load setup-20-10.state 
find 18 135909209063446398235225627241243111123L 
find 18 320390151737336756045885187968633292824L 
find 7 203428848283815431423305883811817395950L 
find 13 100552078517813518319661233157327709601L 
find 14 287353461004738368044896627770935500678L 
find 7 297942675844285181899853123886006445200L 
find 6 13683404158240977621247704593602371126L 
find 19 310783429187110397597645671893918332256L 
find 6 40955446963177021737967629623954589899L 
find 13 301871878999744369638099063002374472901L 
find 9 333624294252652985387445382993439051993L 
find 16 124590672558371224579496814588281666438L 
find 5 168752061236200794691057189513597434537L 
find 12 182693414602050554449646945067892418939L 
find 8 125375969317749246893300479951079773464L 
find 11 84282101379766160835260058210683170012L 
find 1 183369014207662197205389835723682102766L 
find 13 156235681830472794291998696981985574431L 
find 17 46216071027753056110690366680326144641L 
find 2 104137062342940669690220857018807166950L 
find 4 42885223271459027780867965759460941308L 
find 10 97661741478672655339785966670016776771L 
find 11 335450393842734305363117105524891514465L 
find 4 213993751339063274137509139309928001863L 
find 14 66701466667894462444864659626763289048L 
find 6 29255635451443988615383311175230245163L 
find 4 168786779542132913984800341336358895621L 
find 2 14650150000395861356402879555257041460L 
find 0 62674588097120854587274415932931039462L 
find 18 52460243790585233798186967062135676351L 
find 16 219849585098488320127993010760781276093L 
find 5 100073543331700597663946400254918011553L 
find 11 126858462804627412258602206244112385002L 
find 6 218870938636854953194131650531958376347L 
find 18 116609480789721682965760112484916127991L 
find 4 146603172202814431290894255906619677240L 
find 18 195346316557988648391674289665868497776L 
find 9 75089749276977968828414673507098376067L 
find 18 256958999665786699494701891552505773012L 
find 5 197423377689479878393714457883901150911L 
find 8 182029778615281698399314088325039872566L 
find 2 25405769269288379327601440102998298838L 
find 13 254413488256020893098225288742345267809L 
find 12 114348042332438069481994964361836497645L 
find 3 314436529827663751990297327155572582790L 
find 9 10385450077892828969699842179206027905L 
find 1 140195851074581111451128107728598430379L 
find 15 100835285709662929221967507456033435623L 
find 0 294394127932828734010560722660479482110L 
find 19 16866915780252627087401594967290098727L 
find 2 311904547539408121454649588260074278765L 
find 6 315466907574745319954511550663725784413L 
find 11 66375125087452500711766782278830494753L 
find 19 282537798896272933264812215499554597351L 
find 10 54170690462528050668079412658325736906L 
find 12 53553570652628593686600477539555508827L 
find 18 75140852651440606351344157529023060956L 
find 3 159872477343775255061790530247782448163L 
find 0 153226387295868554360546198738143369672L 
find 8 272193752133577940209942542994719242549L 
find 12 320905704211066142826296213935475285480L 
find 0 132369048841301670387053866414497167903L 
find 12 174595655103249905629002514691344413668L 
find 10 274195209774404770974169230528376368499L 
find 16 168515448473939930818351452206827148075L 
find 16 4010248066956381358534919975364770194L 
find 15 173967656104441897846610244307380916342L 
find 18 304167667444744342026820081962294805756L 
find 6 290407435388011189767940593254238854629L 
find 16 23340018397088643274421575370667078798L 
find 6 286825707447688776067060845901849619628L 
find 3 199423295715288819109370819584381966854L 
find 10 301498849618678656816468786898585625437L 
find 14 322169586910775799549616156928687143715L 
find 18 322226594534919485137590252798720912604L 
find 8 99462597468231573072170526375276212794L 
find 15 158083701562902335170527286232876734973L 
find 0 195857877863396578818840101384258031731L 
find 12 79530131521325066319062531887509571699L 
find 3 227849778402499432130996722084275699065L 
find 16 301686437268847408408154795705818291388L 
find 7 11804320577470820614585306977652836389L 
find 6 31097472103797149571376385131171540606L 
find 16 2317929401050688232830003536807692842L 
find 0 4070405442688346404910842492384341473L 
find 6 129818664973607316621152880001884828747L 
find 7 266085781980628644700830537234854426410L 
find 17 202540753402537625740247661355096605550L 
find 9 177231483202005705688757534756516319777L 
find 16 7189691648227028411288421264125201394L 
find 4 282186134752186375956721861678727037295L 
find 0 60257258560152552915038194790451118488L 
find 4 103219980978145970635731973486173870984L 
find 14 88749156110117634798405742575787739684L 
find 9 303073516724180036446425963934748919586L 
find 0 116844480758803845904758540033362833190L 
find 11 32748899077765867455406686509221388616L 
find 15 301413000685470451115255969645367566852L 
find 17 260173683738747267570063484361031636313L 
find 2 154053914459716891355147784684028197311L 
exit