load setup-30-10.state 
find 20 177523458535146859467548235289570413267L 
find 21 167384457512496771759109516276368077336L 
find 17 110729897082879120776201402335492356558L 
find 20 131763593857284266796982351932793443180L 
find 10 70131965317042902597452006054611343483L 
find 2 55010619396339166146907631907112648391L 
find 26 212995593095880832545706262342427924369L 
find 17 164045836926125797876491770804014408657L 
find 20 230780926814750577725192175949341165178L 
find 21 6063773325446149626619058130904614602L 
find 18 62048375945793900640707241228107682288L 
find 5 163670139015594477616598708398327724912L 
find 23 41302913165953208511862926749715516L 
find 3 54833343161155887240403908467683937387L 
find 16 205206388848300846078379212736429085100L 
find 0 103563953370422234324247386674651342133L 
find 6 228674846355602245759540235932256625434L 
find 5 74268697435990281121326427186374846266L 
find 0 187375590925432544284197490274371005429L 
find 29 296202308084369238762891228645161274194L 
find 9 16864277264957465604067295180802895052L 
find 15 264973060861165894483213016438614254504L 
find 23 85805419151928610704206255705431426092L 
find 5 287451583385850854385315121162277202438L 
find 28 132398071055872863359848623967409306427L 
find 26 194550562674851577881405661060881145696L 
find 20 133021879891756595764697719956610079379L 
find 27 186382981338257946714530560979228898715L 
find 2 270964653432340248756595461168733099007L 
find 7 103364088281077194175727995728331216325L 
find 2 74189659951377838795469109709084656047L 
find 4 27954620376448409992684527491434412450L 
find 2 277921544561240854860736471703703260546L 
find 16 250359652561692751552014605812899173040L 
find 13 76695246920278574994782509181250789236L 
find 20 241476074067200779627964687662850817304L 
find 19 249345519181577242619223587932816346026L 
find 19 77575503978816636614702489731486354119L 
find 7 321465131824622703135072724352696124719L 
find 17 133246040238790761466570038164454925699L 
find 12 99193044273043691466608570533984764334L 
find 6 121988336634131120820169781003007762043L 
find 10 152366074736879076003653063674104113622L 
find 1 297354346396489162181954801716907660773L 
find 17 338473129540463293954635236472507951673L 
find 19 108480658393212566343193765094891836585L 
find 6 252182273297373415356499215510753255906L 
find 0 23374474956085608384986421057658003111L 
find 13 60481390679329730830808132390909977901L 
find 12 197822472336099199261010090197601838661L 
find 16 166990490728692263466163837465681600903L 
find 0 42893847008625622110757251845608613052L 
find 9 27982005843962591737747358078848205761L 
find 3 298774411672336545482878127361074050212L 
find 0 179132305474577637617766739705272488054L 
find 29 244674454627146554560834606612359871228L 
find 21 211787589933485167571837077743254917405L 
find 23 2824061303692370966078144189753271383L 
find 20 218254966838896422356209125310896349884L 
find 6 271149375966177078541466032038451381274L 
find 23 230340733380239025066157059840505249775L 
find 7 79614934109273856018504580523343493086L 
find 20 25542408840354269849020402277678971142L 
find 12 100758883953944947524349230865585601249L 
find 17 213727730323064914958041164904076441939L 
find 27 142121177250745505608165251921856628696L 
find 14 314916283913715344631661705977192629724L 
find 0 181788776372977604980571331856688679130L 
find 4 150704445896025390096356978214482992342L 
find 7 50274466631068295464192870399741258451L 
find 28 45835927783801036740513554866858885470L 
find 9 302561596923044674441049992129715139714L 
find 22 199166230358049810206926161757584809848L 
find 26 154340683557916753500673265723739628707L 
find 14 65558177321729171185429931864441206878L 
find 0 88563515210682403713896775249272175478L 
find 19 293005822722335668677107739167679024783L 
find 15 269917382355443761343781862945225183030L 
find 19 98658909521735405654853563785184349704L 
find 14 259816609895914147003860211188735240893L 
find 20 114378658527934270197349571256440690350L 
find 16 238820496480112062087481097448265312015L 
find 12 320142494211610034351631215090376042768L 
find 29 203924489487582879592355510493729811908L 
find 13 248492228482225131373281554675768588054L 
find 20 154733723886715323414555333464861287273L 
find 16 91364058370839895465690207990206625186L 
find 13 38489567077119739850495288390569840593L 
find 11 184949595886992686528338557704201185356L 
find 1 6632776573963718827225565936764501029L 
find 9 249188437787931032873213663107206753226L 
find 19 163104705033138065633137904207026638806L 
find 28 156163516002075435813889679404384007413L 
find 5 214235930228699599605551192314606117427L 
find 22 265961652419926804137835407466846467445L 
find 7 137055734419071245477506249704016546971L 
find 5 165037067830482927024002710350973237737L 
find 15 115203629075069000497705980899904833703L 
find 26 135949255740035711908892672878445063687L 
find 10 132632613843946259865191976297316090641L 
exit