load setup-9-10.state 
find 0 294743692883633500214267433537437551763L 
find 8 197753002762879473216774453903578160995L 
find 3 71600447312227450127561819885494754118L 
find 0 204505688314832941618643209898313236426L 
find 5 242337330424126502605337941451035834457L 
find 0 63858765545315459441792444428634264140L 
find 3 113707565157263266603336680400292720321L 
find 1 167416707277709872814658297382408912889L 
find 3 338565446822384062736993643077387109078L 
find 0 188223312155017070719110094432044389804L 
find 6 100359192118725386318069540382646450968L 
find 6 297996050832981161539909572695010240931L 
find 7 47959011017278079716918865015931618595L 
find 0 221475744610968084931163703116582698971L 
find 6 54247895517808893634763508483355096530L 
find 4 27768769000545920080228672291177909257L 
find 6 302239889321257853608723340922268232510L 
find 3 158040296217396434856586276688143062280L 
find 7 89369186117206702189263544548609184019L 
find 2 80254884627834460500913548986397660831L 
find 3 175586425166459591221915445785598225010L 
find 6 278445584819762469573374746538880633498L 
find 0 316263310319647633100435913077553031683L 
find 1 49689501690072407082506229458712551083L 
find 8 86625241887785288563592758495303119554L 
find 6 76050406681972365771048127363579402677L 
find 4 389879026452378873703972313359144272L 
find 3 145748171809482130133386803914192302451L 
find 5 278543368501974810983032129252135585527L 
find 0 69983644275285743126829848339575845874L 
find 6 285290450604230658582059838403693974510L 
find 3 168308308266157273004661212949869888093L 
find 6 16228450924190560433308240205080392545L 
find 8 289885981265034772344724597626213876095L 
find 2 91266787814163290588266361008743655772L 
find 5 18180464636513100814705542685711753766L 
find 3 180828729929672018073852512255863079506L 
find 4 194921822523450494795011110703010846500L 
find 1 126434937717105034684950867485347544931L 
find 0 214883967292881242967587742861095946791L 
find 5 215351710707373667112006937069601167517L 
find 1 112718265464711581964285161849386476173L 
find 8 292759459826145966866686961746942523749L 
find 8 308581758333577988491058172909549987967L 
find 4 251019245944861472871827314529641753409L 
find 3 10732529746490546610221637610183985250L 
find 6 36796994569497115967446657555338601222L 
find 3 178358791781459184113642052677860375914L 
find 2 216879461938560578515746136160122978532L 
find 8 135374736920860526007208706007754407598L 
find 0 112570801824972072531662893022163612912L 
find 1 308312523735253270763493070356771079738L 
find 5 59536814956473152986805891533834426518L 
find 6 271381676516794761064654025429299404121L 
find 4 40625127245902877839855241824156935685L 
find 5 2271598613476297348084294412448918755L 
find 3 274912713481267891955326543080063900855L 
find 6 218778783202151625341986693847292854713L 
find 5 177453356547554796568549041045246685113L 
find 0 19500265530598715858041684535928671903L 
find 3 310433314334178130038767025299419253480L 
find 4 9258488459379181413460496876060880991L 
find 0 120874143458925724046203484503957323456L 
find 0 229198925896160610911845416457618214004L 
find 6 220677398390190946501888397995682617287L 
find 0 329467663749851950348998941715988258903L 
find 0 76151526464015447124168122693280433010L 
find 2 174885026075218060125437488430877181823L 
find 2 16046537484170029316343206809464699685L 
find 3 246543850239758082683310327135572535567L 
find 1 277602242560743059156686459100755442073L 
find 7 196797759281140987372758420741405677938L 
find 4 259257859536852011528292286392361968354L 
find 5 166491480365951675724760461099389706843L 
find 8 281679870352931837136494464213176893353L 
find 7 10827168362092664604649217934189252107L 
find 1 46301034023912345470456697851812173043L 
find 0 72852446620510321118728155098953491379L 
find 0 274048512353081621345792896144373488856L 
find 2 26691695895721472035787270747505115454L 
find 3 95829739400153485206442116416677056287L 
find 1 20644267276656500013716205281960281095L 
find 0 1439907522137132556338934529580072251L 
find 8 64455095984812428060613359553886908785L 
find 7 272506382902170408254988427222020626546L 
find 5 236709029847397103899331941911470389612L 
find 8 95579139471580098506677009614091730902L 
find 3 104193047118982352219308630010260316631L 
find 5 192174327046664702637289591144317342893L 
find 1 336065266942359669857951587858942617203L 
find 4 132366575902518454216052107456864796091L 
find 5 219651167911309808114020919222548040895L 
find 2 20474482388245125063357774966623505617L 
find 6 180191314469834736498459734741163541116L 
find 3 149771043070086317491757121379660218323L 
find 7 130022904141242284712410065116811185975L 
find 1 297959619456147706034778484712674990821L 
find 6 272389616730684971969364594972628729460L 
find 1 84274330428583555204022573840219299008L 
find 5 176471287435760798062782572907005914724L 
exit