import Ġfunction . cur ried Ċ import Ġfunction . unc ur ried Ċ import Ġorg . junit . Test Ċ Ċ class ĠCur ry ing Test Ġ{ ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġcur ry ing Test () Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġfun 1 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 Ġ= Ġfun 1 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 ( 1 , Ġ 2 ) Ġ== Ġcur ried Fun 1 ( 1 )( 2 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 2 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 2 Ġ= Ġfun 2 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 2 ( 1 , Ġ 2 , Ġ 3 ) Ġ== Ġcur ried Fun 2 ( 1 )( 2 )( 3 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 3 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 3 Ġ= Ġfun 3 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 3 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 ) Ġ== Ġcur ried Fun 3 ( 1 )( 2 )( 3 )( 4 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 4 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 4 Ġ= Ġfun 4 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 4 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 ) Ġ== Ġcur ried Fun 4 ( 1 )( 2 )( 3 )( 4 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 5 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 5 Ġ= Ġfun 5 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 5 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 ) Ġ== Ġcur ried Fun 5 ( 1 )( 2 )( 3 )( 4 )( 5 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 6 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 6 Ġ= Ġfun 6 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 6 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 ) Ġ== Ġcur ried Fun 6 ( 1 )( 2 )( 3 )( 4 )( 5 )( 6 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 7 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 7 Ġ= Ġfun 7 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 7 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 ) Ġ== Ġcur ried Fun 7 ( 1 )( 2 )( 3 )( 4 )( 5 )( 6 )( 7 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 8 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 8 Ġ= Ġfun 8 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 8 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 ) Ġ== Ġcur ried Fun 8 ( 1 )( 2 )( 3 )( 4 )( 5 )( 6 )( 7 )( 8 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 9 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 9 Ġ= Ġfun 9 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 9 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 ) Ġ== Ġcur ried Fun 9 ( 1 )( 2 )( 3 )( 4 )( 5 )( 6 )( 7 )( 8 )( 9 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 1 0 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 0 Ġ= Ġfun 1 0 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 0 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 ) Ġ== Ġcur ried Fun 1 0 ( 1 )( 2 )( 3 )( 4 )( 5 )( 6 )( 7 )( 8 )( 9 )( 1 0 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 1 1 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 1 Ġ= Ġfun 1 1 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 1 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 ) Ġ== Ġcur ried Fun 1 1 ( 1 )( 2 )( 3 )( 4 )( 5 )( 6 )( 7 )( 8 )( 9 )( 1 0 )( 1 1 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 1 2 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt , Ġx 1 2 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ+ Ġx 1 2 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 2 Ġ= Ġfun 1 2 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 2 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 ) Ġ== Ġcur ried Fun 1 2 ( 1 )( 2 )( 3 )( 4 )( 5 )( 6 )( 7 )( 8 )( 9 )( 1 0 )( 1 1 )( 1 2 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 1 3 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt , Ġx 1 2 : ĠInt , Ġx 1 3 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ+ Ġx 1 2 Ġ+ Ġx 1 3 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 3 Ġ= Ġfun 1 3 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 3 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 ) Ġ== Ġcur ried Fun 1 3 ( 1 )( 2 )( 3 )( 4 )( 5 )( 6 )( 7 )( 8 )( 9 )( 1 0 )( 1 1 )( 1 2 )( 1 3 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 1 4 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt , Ġx 1 2 : ĠInt , Ġx 1 3 : ĠInt , Ġx 1 4 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ+ Ġx 1 2 Ġ+ Ġx 1 3 Ġ+ Ġx 1 4 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 4 Ġ= Ġfun 1 4 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 4 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 ) Ġ== Ġcur ried Fun 1 4 ( 1 )( 2 )( 3 )( 4 )( 5 )( 6 )( 7 )( 8 )( 9 )( 1 0 )( 1 1 )( 1 2 )( 1 3 )( 1 4 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 1 5 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt , Ġx 1 2 : ĠInt , Ġx 1 3 : ĠInt , Ġx 1 4 : ĠInt , Ġx 1 5 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ+ Ġx 1 2 Ġ+ Ġx 1 3 Ġ+ Ġx 1 4 Ġ+ Ġx 1 5 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 5 Ġ= Ġfun 1 5 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 5 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 ) Ġ== Ġcur ried Fun 1 5 ( 1 )( 2 )( 3 )( 4 )( 5 )( 6 )( 7 )( 8 )( 9 )( 1 0 )( 1 1 )( 1 2 )( 1 3 )( 1 4 )( 1 5 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 1 6 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt , Ġx 1 2 : ĠInt , Ġx 1 3 : ĠInt , Ġx 1 4 : ĠInt , Ġx 1 5 : ĠInt , Ġx 1 6 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ+ Ġx 1 2 Ġ+ Ġx 1 3 Ġ+ Ġx 1 4 Ġ+ Ġx 1 5 Ġ+ Ġx 1 6 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 6 Ġ= Ġfun 1 6 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 6 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 , Ġ 1 6 ) Ġ== Ġcur ried Fun 1 6 ( 1 )( 2 )( 3 )( 4 )( 5 )( 6 )( 7 )( 8 )( 9 )( 1 0 )( 1 1 )( 1 2 )( 1 3 )( 1 4 )( 1 5 )( 1 6 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 1 7 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt , Ġx 1 2 : ĠInt , Ġx 1 3 : ĠInt , Ġx 1 4 : ĠInt , Ġx 1 5 : ĠInt , Ġx 1 6 : ĠInt , Ġx 1 7 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ+ Ġx 1 2 Ġ+ Ġx 1 3 Ġ+ Ġx 1 4 Ġ+ Ġx 1 5 Ġ+ Ġx 1 6 Ġ+ Ġx 1 7 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 7 Ġ= Ġfun 1 7 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 7 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 , Ġ 1 6 , Ġ 1 7 ) Ġ== Ġcur ried Fun 1 7 ( 1 )( 2 )( 3 )( 4 )( 5 )( 6 )( 7 )( 8 )( 9 )( 1 0 )( 1 1 )( 1 2 )( 1 3 )( 1 4 )( 1 5 )( 1 6 )( 1 7 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 1 8 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt , Ġx 1 2 : ĠInt , Ġx 1 3 : ĠInt , Ġx 1 4 : ĠInt , Ġx 1 5 : ĠInt , Ġx 1 6 : ĠInt , Ġx 1 7 : ĠInt , Ġx 1 8 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ+ Ġx 1 2 Ġ+ Ġx 1 3 Ġ+ Ġx 1 4 Ġ+ Ġx 1 5 Ġ+ Ġx 1 6 Ġ+ Ġx 1 7 Ġ+ Ġx 1 8 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 8 Ġ= Ġfun 1 8 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 8 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 , Ġ 1 6 , Ġ 1 7 , Ġ 1 8 ) Ġ== Ġcur ried Fun 1 8 ( 1 )( 2 )( 3 )( 4 )( 5 )( 6 )( 7 )( 8 )( 9 )( 1 0 )( 1 1 )( 1 2 )( 1 3 )( 1 4 )( 1 5 )( 1 6 )( 1 7 )( 1 8 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 1 9 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt , Ġx 1 2 : ĠInt , Ġx 1 3 : ĠInt , Ġx 1 4 : ĠInt , Ġx 1 5 : ĠInt , Ġx 1 6 : ĠInt , Ġx 1 7 : ĠInt , Ġx 1 8 : ĠInt , Ġx 1 9 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ+ Ġx 1 2 Ġ+ Ġx 1 3 Ġ+ Ġx 1 4 Ġ+ Ġx 1 5 Ġ+ Ġx 1 6 Ġ+ Ġx 1 7 Ġ+ Ġx 1 8 Ġ+ Ġx 1 9 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 9 Ġ= Ġfun 1 9 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 9 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 , Ġ 1 6 , Ġ 1 7 , Ġ 1 8 , Ġ 1 9 ) Ġ== Ġcur ried Fun 1 9 ( 1 )( 2 )( 3 )( 4 )( 5 )( 6 )( 7 )( 8 )( 9 )( 1 0 )( 1 1 )( 1 2 )( 1 3 )( 1 4 )( 1 5 )( 1 6 )( 1 7 )( 1 8 )( 1 9 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 2 0 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt , Ġx 1 2 : ĠInt , Ġx 1 3 : ĠInt , Ġx 1 4 : ĠInt , Ġx 1 5 : ĠInt , Ġx 1 6 : ĠInt , Ġx 1 7 : ĠInt , Ġx 1 8 : ĠInt , Ġx 1 9 : ĠInt , Ġx 2 0 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ+ Ġx 1 2 Ġ+ Ġx 1 3 Ġ+ Ġx 1 4 Ġ+ Ġx 1 5 Ġ+ Ġx 1 6 Ġ+ Ġx 1 7 Ġ+ Ġx 1 8 Ġ+ Ġx 1 9 Ġ+ Ġx 2 0 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 2 0 Ġ= Ġfun 2 0 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 2 0 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 , Ġ 1 6 , Ġ 1 7 , Ġ 1 8 , Ġ 1 9 , Ġ 2 0 ) Ġ== Ġcur ried Fun 2 0 ( 1 )( 2 )( 3 )( 4 )( 5 )( 6 )( 7 )( 8 )( 9 )( 1 0 )( 1 1 )( 1 2 )( 1 3 )( 1 4 )( 1 5 )( 1 6 )( 1 7 )( 1 8 )( 1 9 )( 2 0 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 2 1 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt , Ġx 1 2 : ĠInt , Ġx 1 3 : ĠInt , Ġx 1 4 : ĠInt , Ġx 1 5 : ĠInt , Ġx 1 6 : ĠInt , Ġx 1 7 : ĠInt , Ġx 1 8 : ĠInt , Ġx 1 9 : ĠInt , Ġx 2 0 : ĠInt , Ġx 2 1 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ+ Ġx 1 2 Ġ+ Ġx 1 3 Ġ+ Ġx 1 4 Ġ+ Ġx 1 5 Ġ+ Ġx 1 6 Ġ+ Ġx 1 7 Ġ+ Ġx 1 8 Ġ+ Ġx 1 9 Ġ+ Ġx 2 0 Ġ+ Ġx 2 1 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 2 1 Ġ= Ġfun 2 1 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 2 1 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 , Ġ 1 6 , Ġ 1 7 , Ġ 1 8 , Ġ 1 9 , Ġ 2 0 , Ġ 2 1 ) Ġ== Ġcur ried Fun 2 1 ( 1 )( 2 )( 3 )( 4 )( 5 )( 6 )( 7 )( 8 )( 9 )( 1 0 )( 1 1 )( 1 2 )( 1 3 )( 1 4 )( 1 5 )( 1 6 )( 1 7 )( 1 8 )( 1 9 )( 2 0 )( 2 1 )) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġun Cur ried Test () Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġfun 1 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 Ġ= Ġfun 1 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 ( 1 , Ġ 2 ) Ġ== Ġcur ried Fun 1 . unc ur ried ()( 1 , Ġ 2 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 2 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 2 Ġ= Ġfun 2 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 2 ( 1 , Ġ 2 , Ġ 3 ) Ġ== Ġcur ried Fun 2 . unc ur ried ()( 1 , Ġ 2 , Ġ 3 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 3 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 3 Ġ= Ġfun 3 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 3 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 ) Ġ== Ġcur ried Fun 3 . unc ur ried ()( 1 , Ġ 2 , Ġ 3 , Ġ 4 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 4 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 4 Ġ= Ġfun 4 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 4 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 ) Ġ== Ġcur ried Fun 4 . unc ur ried ()( 1 , Ġ 2 , Ġ 3 , Ġ 4 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 5 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 5 Ġ= Ġfun 5 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 5 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 ) Ġ== Ġcur ried Fun 5 . unc ur ried ()( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 6 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 6 Ġ= Ġfun 6 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 6 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 ) Ġ== Ġcur ried Fun 6 . unc ur ried ()( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 7 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 7 Ġ= Ġfun 7 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 7 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 ) Ġ== Ġcur ried Fun 7 . unc ur ried ()( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 8 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 8 Ġ= Ġfun 8 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 8 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 ) Ġ== Ġcur ried Fun 8 . unc ur ried ()( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 9 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 9 Ġ= Ġfun 9 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 9 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 ) Ġ== Ġcur ried Fun 9 . unc ur ried ()( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 1 0 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 0 Ġ= Ġfun 1 0 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 0 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 ) Ġ== Ġcur ried Fun 1 0 . unc ur ried ()( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 1 1 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 1 Ġ= Ġfun 1 1 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 1 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 ) Ġ== Ġcur ried Fun 1 1 . unc ur ried ()( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 1 2 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt , Ġx 1 2 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ+ Ġx 1 2 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 2 Ġ= Ġfun 1 2 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 2 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 ) Ġ== Ġcur ried Fun 1 2 . unc ur ried ()( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 1 3 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt , Ġx 1 2 : ĠInt , Ġx 1 3 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ+ Ġx 1 2 Ġ+ Ġx 1 3 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 3 Ġ= Ġfun 1 3 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 3 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 ) Ġ== Ġcur ried Fun 1 3 . unc ur ried ()( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 1 4 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt , Ġx 1 2 : ĠInt , Ġx 1 3 : ĠInt , Ġx 1 4 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ+ Ġx 1 2 Ġ+ Ġx 1 3 Ġ+ Ġx 1 4 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 4 Ġ= Ġfun 1 4 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 4 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 ) Ġ== Ġcur ried Fun 1 4 . unc ur ried ()( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 1 5 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt , Ġx 1 2 : ĠInt , Ġx 1 3 : ĠInt , Ġx 1 4 : ĠInt , Ġx 1 5 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ+ Ġx 1 2 Ġ+ Ġx 1 3 Ġ+ Ġx 1 4 Ġ+ Ġx 1 5 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 5 Ġ= Ġfun 1 5 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 5 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 ) Ġ== Ġcur ried Fun 1 5 . unc ur ried ()( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 1 6 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt , Ġx 1 2 : ĠInt , Ġx 1 3 : ĠInt , Ġx 1 4 : ĠInt , Ġx 1 5 : ĠInt , Ġx 1 6 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ+ Ġx 1 2 Ġ+ Ġx 1 3 Ġ+ Ġx 1 4 Ġ+ Ġx 1 5 Ġ+ Ġx 1 6 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 6 Ġ= Ġfun 1 6 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 6 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 , Ġ 1 6 ) Ġ== Ġcur ried Fun 1 6 . unc ur ried ()( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 , Ġ 1 6 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 1 7 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt , Ġx 1 2 : ĠInt , Ġx 1 3 : ĠInt , Ġx 1 4 : ĠInt , Ġx 1 5 : ĠInt , Ġx 1 6 : ĠInt , Ġx 1 7 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ+ Ġx 1 2 Ġ+ Ġx 1 3 Ġ+ Ġx 1 4 Ġ+ Ġx 1 5 Ġ+ Ġx 1 6 Ġ+ Ġx 1 7 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 7 Ġ= Ġfun 1 7 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 7 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 , Ġ 1 6 , Ġ 1 7 ) Ġ== Ġcur ried Fun 1 7 . unc ur ried ()( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 , Ġ 1 6 , Ġ 1 7 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 1 8 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt , Ġx 1 2 : ĠInt , Ġx 1 3 : ĠInt , Ġx 1 4 : ĠInt , Ġx 1 5 : ĠInt , Ġx 1 6 : ĠInt , Ġx 1 7 : ĠInt , Ġx 1 8 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ+ Ġx 1 2 Ġ+ Ġx 1 3 Ġ+ Ġx 1 4 Ġ+ Ġx 1 5 Ġ+ Ġx 1 6 Ġ+ Ġx 1 7 Ġ+ Ġx 1 8 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 8 Ġ= Ġfun 1 8 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 8 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 , Ġ 1 6 , Ġ 1 7 , Ġ 1 8 ) Ġ== Ġcur ried Fun 1 8 . unc ur ried ()( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 , Ġ 1 6 , Ġ 1 7 , Ġ 1 8 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 1 9 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt , Ġx 1 2 : ĠInt , Ġx 1 3 : ĠInt , Ġx 1 4 : ĠInt , Ġx 1 5 : ĠInt , Ġx 1 6 : ĠInt , Ġx 1 7 : ĠInt , Ġx 1 8 : ĠInt , Ġx 1 9 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ+ Ġx 1 2 Ġ+ Ġx 1 3 Ġ+ Ġx 1 4 Ġ+ Ġx 1 5 Ġ+ Ġx 1 6 Ġ+ Ġx 1 7 Ġ+ Ġx 1 8 Ġ+ Ġx 1 9 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 1 9 Ġ= Ġfun 1 9 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 1 9 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 , Ġ 1 6 , Ġ 1 7 , Ġ 1 8 , Ġ 1 9 ) Ġ== Ġcur ried Fun 1 9 . unc ur ried ()( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 , Ġ 1 6 , Ġ 1 7 , Ġ 1 8 , Ġ 1 9 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 2 0 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt , Ġx 1 2 : ĠInt , Ġx 1 3 : ĠInt , Ġx 1 4 : ĠInt , Ġx 1 5 : ĠInt , Ġx 1 6 : ĠInt , Ġx 1 7 : ĠInt , Ġx 1 8 : ĠInt , Ġx 1 9 : ĠInt , Ġx 2 0 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ+ Ġx 1 2 Ġ+ Ġx 1 3 Ġ+ Ġx 1 4 Ġ+ Ġx 1 5 Ġ+ Ġx 1 6 Ġ+ Ġx 1 7 Ġ+ Ġx 1 8 Ġ+ Ġx 1 9 Ġ+ Ġx 2 0 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 2 0 Ġ= Ġfun 2 0 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 2 0 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 , Ġ 1 6 , Ġ 1 7 , Ġ 1 8 , Ġ 1 9 , Ġ 2 0 ) Ġ== Ġcur ried Fun 2 0 . unc ur ried ()( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 , Ġ 1 6 , Ġ 1 7 , Ġ 1 8 , Ġ 1 9 , Ġ 2 0 )) ĊĊĠĠĠĠĠĠĠ Ġval Ġfun 2 1 Ġ= Ġ{ Ġx 1 : ĠInt , Ġx 2 : ĠInt , Ġx 3 : ĠInt , Ġx 4 : ĠInt , Ġx 5 : ĠInt , Ġx 6 : ĠInt , Ġx 7 : ĠInt , Ġx 8 : ĠInt , Ġx 9 : ĠInt , Ġx 1 0 : ĠInt , Ġx 1 1 : ĠInt , Ġx 1 2 : ĠInt , Ġx 1 3 : ĠInt , Ġx 1 4 : ĠInt , Ġx 1 5 : ĠInt , Ġx 1 6 : ĠInt , Ġx 1 7 : ĠInt , Ġx 1 8 : ĠInt , Ġx 1 9 : ĠInt , Ġx 2 0 : ĠInt , Ġx 2 1 : ĠInt Ġ-> Ġx 1 Ġ+ Ġx 2 Ġ+ Ġx 3 Ġ+ Ġx 4 Ġ+ Ġx 5 Ġ+ Ġx 6 Ġ+ Ġx 7 Ġ+ Ġx 8 Ġ+ Ġx 9 Ġ+ Ġx 1 0 Ġ+ Ġx 1 1 Ġ+ Ġx 1 2 Ġ+ Ġx 1 3 Ġ+ Ġx 1 4 Ġ+ Ġx 1 5 Ġ+ Ġx 1 6 Ġ+ Ġx 1 7 Ġ+ Ġx 1 8 Ġ+ Ġx 1 9 Ġ+ Ġx 2 0 Ġ+ Ġx 2 1 Ġ} ĊĠĠĠĠĠĠĠ Ġval Ġcur ried Fun 2 1 Ġ= Ġfun 2 1 . cur ried () ĊĠĠĠĠĠĠĠ Ġrequire ( fun 2 1 ( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 , Ġ 1 6 , Ġ 1 7 , Ġ 1 8 , Ġ 1 9 , Ġ 2 0 , Ġ 2 1 ) Ġ== Ġcur ried Fun 2 1 . unc ur ried ()( 1 , Ġ 2 , Ġ 3 , Ġ 4 , Ġ 5 , Ġ 6 , Ġ 7 , Ġ 8 , Ġ 9 , Ġ 1 0 , Ġ 1 1 , Ġ 1 2 , Ġ 1 3 , Ġ 1 4 , Ġ 1 5 , Ġ 1 6 , Ġ 1 7 , Ġ 1 8 , Ġ 1 9 , Ġ 2 0 , Ġ 2 1 )) ĊĠĠĠ Ġ} Ċ }