load setup-2-10.state 
find 0 243229196183617891235338150837487366895L 
find 0 193124143372739625298991292167912384199L 
find 0 243756066528562835112922691804842292265L 
find 0 178098198028062661745984346989506858960L 
find 1 81126376652244466252067195780548344952L 
find 1 159977870989410146757668130070401662773L 
find 1 312788734548646137643546284263985752679L 
find 1 145586480234434221269304825645108042017L 
find 0 287957381850135044227815327694183695714L 
find 1 339156737384978912649531026871818057188L 
find 0 308975857003369804321213188703331929656L 
find 0 317340507728643187512834697416486933556L 
find 0 319391654740555516812954456443700627914L 
find 1 310791562249742912799693284132544261350L 
find 1 57953486148347804089142820240271137791L 
find 0 98367905995784324522939593977880201198L 
find 1 251582632454365539790960517211598725526L 
find 1 82565152754186788396287408311863519330L 
find 1 136678614100328807548226626856448389529L 
find 0 232916209985595476102602835943812084180L 
find 1 150780816315882486911412194254709092969L 
find 1 234377167392286378158331746419093491818L 
find 1 283743000226738076178792873044868937306L 
find 0 216411613213414448682289711288718475750L 
find 1 163366425871505037185929285787030788702L 
find 1 45912550540341689018053942429698355263L 
find 1 261369276044564182604937407806083667981L 
find 1 231325730843853705714610176084063569789L 
find 0 46507902634515882297899917168130910087L 
find 1 173023254226079334832948523679088748080L 
find 0 252161273190577993730022558518175500434L 
find 0 11078770461209981058064408018510735074L 
find 0 99763705013692306297530232433787314641L 
find 0 275917529942287297545269769748350265564L 
find 1 66615594560288534725209864251883879318L 
find 0 159979836112840464118426063365994738743L 
find 0 10893613288001185237228711708859276743L 
find 1 19130347799690680834646656537696653486L 
find 1 194636876224486098549111829999167261655L 
find 0 222881548056381013546795171584749192074L 
find 0 266730171447812630066683056866907282571L 
find 1 258511448253228143454004739510732959085L 
find 1 44389770224979113342132909254407327525L 
find 1 193510955030511756058379406240207922791L 
find 0 118768031115934758474617622529328144975L 
find 0 87214302191229689599363994051337059763L 
find 0 45963388320460862779325300816976016721L 
find 1 184976757006591693045616534610817444844L 
find 0 288499377011746364880706967862152853280L 
find 1 224507624087205195403379509803134029961L 
find 1 193224696945969379879616941960374692442L 
find 0 112158352662663207930576365911271385337L 
find 1 20878138366128087469566369970668573723L 
find 0 221733676737099095598219191447121117774L 
find 0 276582038106969373525229393945053309016L 
find 1 131739507981148219216668524483720559718L 
find 1 124960820169558942874964505472651800466L 
find 0 262611596456580402852526372274795865627L 
find 0 52161267454730548823080426130090577146L 
find 0 296266896154253515687946030742886523134L 
find 1 7606101102219821273548747283007209643L 
find 0 55091245205936559871366511931828461604L 
find 1 286569392967602325904879050909488935493L 
find 0 210488358034730604575598331521422934301L 
find 1 232746229313141260669342488653009585927L 
find 0 244427422044462395369689013127003182182L 
find 0 179747420142250705363311971827210379868L 
find 1 183289051244167369535035282629865145597L 
find 1 235369010657442501203950740512245447659L 
find 0 250219643556467523795764610668408886741L 
find 0 309045834776253533485955552364754903965L 
find 0 220802787876405290189414313314894557677L 
find 0 140636669586598022348568688457742257727L 
find 1 255599574561139801016589889121023750654L 
find 0 171932102967334156434567620668665948784L 
find 1 168975243178052624009680299870694699302L 
find 1 172389160959611976195456731000319736034L 
find 0 283314195453213683739305684537572302696L 
find 0 13113280766812227855191582880375582792L 
find 0 319000064832500088983310896449149338250L 
find 0 17160525965597501111052793780344126045L 
find 1 161550208764989566816043400814902464474L 
find 1 58512540679635936933666460894451113224L 
find 0 132052215317692469762484300616044943664L 
find 1 95532421029522889542075628363899287908L 
find 1 333870217977836943108002412649110485994L 
find 1 60446896646226148540033869691892566195L 
find 0 304894473778884080335236575109514415893L 
find 0 33022996735847162770056611182551783328L 
find 1 240334230263001036167638665074565889018L 
find 0 148900011766807251854696473464787194980L 
find 1 34077971031869518015367387812487287407L 
find 0 316584504449713324715188321408097271435L 
find 0 49870108468703062774094378835332473473L 
find 0 286472849564070213933406428386892513845L 
find 1 166148685147417448859382949589332588572L 
find 0 305079364653144876696202123037369929587L 
find 0 60157107405884012708966944782828174880L 
find 0 145603981901239813283765450621068113566L 
find 0 86568951901518869759053177345071135726L 
exit