load setup-1-10.state 
find 0 47146816720153401632934983082079832545L 
find 0 86307174617430996908190545757781177112L 
find 0 272724048356821930356494348151686183347L 
find 0 339409696155844611773893293499621334554L 
find 0 336959946518882355379464761637008561777L 
find 0 32783603714486563238100321440107729507L 
find 0 265319838812521330855923742696242972860L 
find 0 57025676279889527050656822206649829621L 
find 0 200994585480738695585414398767367966073L 
find 0 337442807686209458831376684469392447217L 
find 0 178968219441819180677508882344005685859L 
find 0 225215437529505390487175834137160643286L 
find 0 209518276042312590325584703189141732623L 
find 0 272321503601424116930431099565138275256L 
find 0 32754227469856500704298278201089797508L 
find 0 12769757101973960324775866858271671577L 
find 0 114172734761680723545474039539616523389L 
find 0 51194309364581141258412903421909205625L 
find 0 92121773917475887204359152047093505748L 
find 0 204077475812477788279788909841232851802L 
find 0 43746180551027011605081117549636071499L 
find 0 92942551180081757792860288575392198997L 
find 0 292270285760572158986529113554312138723L 
find 0 228945544027556050909289892638391904279L 
find 0 12109245946339114635677190026428386698L 
find 0 144429336134328343595465876470437555501L 
find 0 75035115810694886088264841047816819021L 
find 0 38723940138704116399206262528282321216L 
find 0 13277186694281461073529701051755454529L 
find 0 193177598728443316143691727296593149163L 
find 0 8746504587437178772480270769127520628L 
find 0 167426450775020033952579708243231044032L 
find 0 37883837127108442513692325219632310531L 
find 0 304266478609329343769214998976288216709L 
find 0 183595622492366890532709389079173000915L 
find 0 83383608482502137382377002595258300339L 
find 0 271108391212580783004669169081767410132L 
find 0 65499947313430875157796021343045749938L 
find 0 271977545722341777444807260963455408092L 
find 0 255903409799248405601280415591880952268L 
find 0 119295971259905399410728845606084764265L 
find 0 267702789637006334916620420255853850418L 
find 0 291244114396516757009546259566165897852L 
find 0 284907408600248163870081111672006964036L 
find 0 129778597591083264369270249040237613856L 
find 0 199244054872331944437941435973480542614L 
find 0 74014984804235971502602339604232716592L 
find 0 176136611715371397999702618193712583130L 
find 0 216668528634242499471431840149250002538L 
find 0 300913252018368152451338981363893210295L 
find 0 129000612345747077943328569686855653649L 
find 0 191198554215013010852582209287804593817L 
find 0 67133951393985717937009395948449814363L 
find 0 248504550567561819540806511669759151941L 
find 0 187472499604411791231476171513821071211L 
find 0 229691640868999385932231339084545107093L 
find 0 322213868795418007183959968615105743003L 
find 0 17930348816442394233927119397053329397L 
find 0 230632536640915990108909395391013841028L 
find 0 209601558902916711481456714483699509511L 
find 0 148612982839255905751579345561684501855L 
find 0 260422735789629891168557849831189816473L 
find 0 114744605538255555465342510947572688359L 
find 0 1158396691507265546312607086702431789L 
find 0 208186579143528435102745901878083814554L 
find 0 262796077623374198187601039117548261745L 
find 0 298273811501847996578776495559176711725L 
find 0 233420019371891987309769578444913299814L 
find 0 4934928634407498726334609314771340887L 
find 0 72733462444629324236116190036535040708L 
find 0 120177475852121056104551881570800068887L 
find 0 277923491848623889057393212731806859322L 
find 0 93777265653201299603996411291381014062L 
find 0 98142542821537080511352181487932182902L 
find 0 239110418999754760052596986778493778229L 
find 0 29935293499995950232762654893527775979L 
find 0 251844562324638398977450305261404019657L 
find 0 105102513400975289848955400690160957516L 
find 0 251303526072176709802604172397067335474L 
find 0 93270232938711656119191359019558790777L 
find 0 246616538021153612111063197235014961543L 
find 0 162929617051719427554207927063525589582L 
find 0 243585068085713931506381705299914995456L 
find 0 242282874965144813648470951866619297936L 
find 0 276064031378800870823653784063186488925L 
find 0 260427490071889601872727704126353551116L 
find 0 74007676428260552732125439778055976722L 
find 0 28297380275351478341013347963197630595L 
find 0 71060241030867633052295868463957578587L 
find 0 22281349320072733217540574765191879294L 
find 0 259466412024393009678475733902986285486L 
find 0 227312908108427387562487741539143882592L 
find 0 225458078555511588751136882572514226185L 
find 0 153134184205340016374508087968403659111L 
find 0 216421031601201369217151090655503041042L 
find 0 19888897244713599125520136065001770842L 
find 0 229735316168426562782579083866989652744L 
find 0 124395605108330719697837073847147841032L 
find 0 231129202694764392526064245479234272448L 
find 0 272122380315490098501264946119458887615L 
exit