load setup-80-10.state 
find 73 226605609506033016381095983802592975999L 
find 25 142244720377906733644711327542728263766L 
find 42 259913775468029094569962890761862896859L 
find 66 181593134583331849178856976103535840291L 
find 35 31298057763856165970657620135497084510L 
find 33 307747975933290627112436824302681033555L 
find 7 123892159351905832718067007535835524747L 
find 14 151614808678449633996852361236016178940L 
find 64 114027682549082171299170684882849198443L 
find 44 332563757260815087311559654257862376439L 
find 71 276334795742857896821767699596022373405L 
find 52 52536950996433541592010791145382685640L 
find 60 299538053688646754621407615851137309585L 
find 60 92444138074737811127368651366129908628L 
find 27 58826804243794959785548609539021849505L 
find 75 70420223285423558075741169265955207683L 
find 40 101756646781768384595698615200159439407L 
find 41 270687797182645383032792973981653521042L 
find 44 251586167157609481402246927191403659069L 
find 35 334468521259945425870718747149187717952L 
find 23 139771411026310462951196148291337578292L 
find 67 43614064939935198866382892615946756570L 
find 79 137508687272020775668276141853063042676L 
find 16 35715573350695284334111106428295782937L 
find 56 203953062916014334065248221936987100882L 
find 18 329778216920621432449488510716710809675L 
find 36 168041865869044788494491380403404626791L 
find 66 83056385989994338256288423105551828767L 
find 29 131598016632227429625737474249125091094L 
find 19 50592954882710260606403426290925543390L 
find 63 208152221576775719119320524146354071057L 
find 1 3239345616919593499373504690911401871L 
find 10 126301390969750755124755123086763152868L 
find 1 202778411262692271358342804484213203099L 
find 5 96291419233569176803044095806967152440L 
find 49 243285222649784359669163796241083118949L 
find 79 284143254696924767140324995166945084695L 
find 79 52992571593294578797755463410384858534L 
find 60 210596332980100839634684382475411234991L 
find 66 13279788703512117212869281379709023938L 
find 19 124273187364248808732699258094480539004L 
find 18 278480833986086171704762293382061859251L 
find 46 4294677380965623961052645346277455696L 
find 38 12665844582629614654982523308252190867L 
find 39 163659488604732968272124244567449208895L 
find 18 28804146189879907157920012750288994453L 
find 70 123670787558729067246566213192430274940L 
find 66 18781132075467423500202738779378888455L 
find 48 136638545600793106433803041211813211322L 
find 56 105012060450591266368481930059632728730L 
find 65 227963892360648418868108828393415029331L 
find 47 191654917420418493239346429969729551666L 
find 47 144817802384979421749488366690905453530L 
find 62 88707306106490430852196492683310120565L 
find 4 154772268521441363891440613721909205496L 
find 0 261735398457973487115438123055927222970L 
find 2 219828774448812743006924922240676010517L 
find 48 324813255974370632430925165858120223303L 
find 4 199444652575309268744400863270285278992L 
find 6 31778248614967757665756428432523854918L 
find 30 47711654183839639767094643464337487966L 
find 69 23689391340929131109521312570299706955L 
find 36 75895917491419479174867861375958429993L 
find 49 201071413079561556122463880356449424979L 
find 77 156434002418262839862173956749386939712L 
find 45 10359573962931949273108210676366191047L 
find 39 146917058291969448026235311319545548036L 
find 63 311710715509254775724046319191480122108L 
find 63 314124961663415201339011066528209211319L 
find 47 217934413756176522778906643011829394324L 
find 18 17164128520581543393414493268126561683L 
find 19 38295159330898472889508547101185754690L 
find 57 120326904821871724095537889168221791191L 
find 53 208247954865802697323796965883757360711L 
find 34 23870096394061022136104473995191848413L 
find 79 216690565517208897195030469890912800366L 
find 49 301736022764919311812966305827370018648L 
find 52 81420562241905588907420163856292159953L 
find 30 96680447110328042831527828842246296926L 
find 77 182624310900052388449435075656469471829L 
find 66 338176306703188677584231326005503674266L 
find 20 148418632535084654133742727007615041862L 
find 76 127398906517194341188121838466210681458L 
find 76 298737562344818399859690228172625406730L 
find 73 70495242774171013114792230615208343104L 
find 20 41604743574355628659331286293544689830L 
find 17 252747915258511975586912633068950300566L 
find 79 39332835696900234471317348878557538050L 
find 74 190118444283743860983229106711364985100L 
find 10 241957941286315481157925167419735291718L 
find 47 107882605328368863809194681518832013854L 
find 5 263662417074636142488034064437945524583L 
find 14 58751040930145902191279326025545969258L 
find 62 239412509553628123479585514984822089692L 
find 73 206896150975705604800378230249828892221L 
find 33 193677811913626601338597363138927636868L 
find 20 82352494254897215041403935674642405794L 
find 32 295047622573152785161523652823215593758L 
find 31 188321110992029267970403220107506395975L 
find 41 70583296899712039131211831358097142764L 
exit