atemerev / icfpc2013 Goto Github PK

challenge = "(lambda (x_48736) (fold (shl1 (plus (if0 (and (shr1 (shl1 (shl1 x_48736))) 1) 1 x_48736) x_48736)) x_48736 (lambda (x_48737 x_48738) (plus (shr4 x_48737) x_48738))))"

Generated program: And One (If MainArg Zero (If MainArg Zero MainArg)) which is equivalent to And One MainArg (which apparently wasn't generated)

To reproduce:
сlient solve-exact 16 "and if0 not or shl1 shr16 shr4" "([9109764189119939331,6818300578044174151,17384048449713003284,409605325706061362,5896917308668905398,7888238219259382178,16847977563828141316,5535784720060370725,2236735494332136231,13305007310275612668,12813318345463711949,5896206253442140688,15670242532607316299,17267917832867093220,1020534779710405241,12048607241385193618,8050865214623055818,6460385167250134506,5469949361724343474,13900646785515303538,162367822234810611,16782850862780625104,15113568662461138522,699314765707889232,7351501933256914050,18391800900785029083,9430308032969041730,4272890966755972521,14738166217524882610,14274200164728402121,14885363007503059341,17456472207701437923,3225410326122351205,6459213743641166859,7580797367843732586,7663857176078843518,4478527059486131213,12378376662003369315,15354084246450356264,3882883807726390485,8695692710834753010,9612475278294686545,8756292412382519860,4023953875220556493,3624953757829680544,13704728917192934170,9055152473692374998,12694988598058410740,11785041346563476755,8187621617660532581,13209388126519854030,17900721523119981773,17387365103990379793,13023023181850877946,3789769884552266239,6422840649999882551,15141815076600841850,3256668531542011966,402812682569450401,4446868586415837719,13979293748908033486,14413650946704745961,7476321478695490084,3721157485248814698,18029761710222983902,14117726028417852376,3628609816196775378,14470150668765230565,5123776047399506968,2549571397483248957,16587337110412553876,12339272725668472151,4117004379808396000,14791885482584327463,10405440487214223138,1592948815897023322,6196009062270336653,10780561495824806783,14106985365625709452,16874533478829127936,16566688090773943874,16021493241635534269,845307299141679943,16227826063753766215,12643054249182853946,13191969057658247962,3009703659274802112,4259552918561117566,11243402591678266843,10300373027177738753,3930645807789290162,1205112057338375197,1571251107214775894,5960876436578427729,11235331530707210286,15927904720559378251,15839307463794914327,9131963102594112395,757378173997257132,16134657786117859154,11384408604927490251,390232248685042934,13593680949761684372,12741539964128139820,5083337212026287612,16664399471484947490,13834207602872333130,3753926933108684011,11907054976582470991,14663593161348462662,16934509335142809396,4482647068477512786,3997076247599085047,4411385983815097934,479498597899910032,3780997616967068493,11820340226744778047,12772596406608939867,8100748625166302472,13219155810526282390,7652929080203591714,2447295463534226323,5611496897307967496,4440317711908497996,8200689210603268046,11228911107880119902,6035132255506830727,548332088033774365,2846934894483365539,15634499949211826688,13202171351297493438,2626484996530692386,13592871211173050353,2335536650086700548,16961443166987011871,1707686047351991230,8564325383416129140,2771218742909638585,842061871819245888,16641837043814470335,15233887220730270906,17233842384441762051,15850560894990331517,10471221706510203418,8873086724818332180,16472545420754125993,17228831829202168346,5741286585111712101,15349059843925799910,12892299508816654510,16507923920343776305,11856918535360392077,17216240799024296381,10794691194333894649,14829914655349315696,11011674496580951562,12651618890162660406,1605362211666599768,2150004139486628836,14896490517577040037,7415994843444664782,2710306386249041729,7659892775242985842,13842886823837780755,10583196171140549871,8898010094212008510,11267840423650837645,6565868223505131969,14877398467661704264,6292906396050747127,9864962151422434275,11707939709210892039,1472410204261744883,1563181947857958051,15553240406090089301,17229604146021725090,3117721099812329424,17985201289148893362,2196378664300962638,5900764870575285083,8833414126218255036,9975665064923276053,12569222922249696033,18224135089547734601,3278213577252361190,6811238552486506425,16967003064463933989,12245513387892274867,16624922249218647909,7518481600035927356,17667007618598055444,12421405785364127407,3342982320803981108,11013369058787406922,15628911968944220173,15036844936004032464,16950459392905218183,13571111612275286542,3479965519173159437,3375550685047252952,13853998344935688275,868911329633201854,16632629313936042975,17074121819172940292,15425714690736508257,362738652099559916,5380109664307420631,4904565595926221562,17226357996190323868,4463810695620296993,14017652576077221496,736602501757696555,4319071050664185973,13001608349995701215,15979605525575777461,4492675470361370162,17443062937383601204,13630014953319525652,12664782076466969796,10692608520074050417,10990461612996652518,4273618016451279452,16550558508459117372,8685098350238065182,13928310764112472718,6789680798840583114,8588823290516450818,13981601747701922529,4329326330583223747,2494794559389713718,4765239106196599472,12972752728703891593,15741393235525467674,4439447296967444141,11795796871789670490,3586918535888598046,9329498881689010051,61292103838955194,11563471008764949276,2334749091286590762,8010202442754767812,10822276890237720697,4124656734127869902,4779001284913326282,7345278995768946380,12966147408129016754,3017588912286082252,17066864098848881518,5024652794665183260,11593506565530278719,11430289357277434977,1050961906281449284,2920399264468913321,2753696974207149099,14698283278342285304,15155631486672701586],[1,1,0,0,0,0,0,1,1,0,1,0,1,0,1,0,0,0,0,0,1,0,0,0,0,1,0,1,0,1,1,1,1,1,0,0,1,1,0,1,0,1,0,1,0,0,0,0,1,1,0,1,1,0,1,1,0,0,1,1,0,1,0,0,0,0,0,1,0,1,0,1,0,1,0,0,1,1,0,0,0,1,1,1,0,0,0,0,1,1,0,1,0,1,0,1,1,1,0,0,1,0,0,0,0,0,0,1,1,0,0,0,1,0,0,1,1,1,0,0,0,1,0,0,0,0,1,1,1,0,0,0,1,0,1,0,0,1,0,1,0,1,1,0,0,1,0,1,0,0,1,1,1,1,0,0,0,0,0,1,0,1,0,1,1,0,1,1,0,1,1,1,1,1,1,0,0,0,0,1,0,1,1,1,0,1,1,1,1,0,0,1,0,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,0,1,0,1,1,1,1,0,0,0,0,1,0,0,0,0,0,0,0,1,1,0,0,1,0,1,0,0,1,0,0,0,0,1,0,0,0,0,0,0,0,1,1,0,1,1,0,0])"

However, this is no longer reproducible, for some reason.

TrainingResponse {challenge = "(lambda (x_13216) (fold (plus x_13216 x_13216) (shr4 x_13216) (lambda (x_13217 x_13218) (if0 x_13217 x_13217 x_13218))))", trainingId = "x5lOp9NW8Qss8NNcPmwwBJ4A", trainingSize = 12, trainingOps = ["fold","if0","plus","shr4"]}

client low-level-solve eHpHVew70mw3Ni5wAzaS2lfK 14 "if0 or shr4 tfold xor"

возвращает
client: Couldn't find any program matching conditions at all!

training task:
{"id":"eHpHVew70mw3Ni5wAzaS2lfK","size":14,"operators":["if0","or","shr4","tfold","xor"],"challenge":"(lambda (x_17901) (fold x_17901 0 (lambda (x_17901 x_17902) (if0 (xor (or x_17902 (shr4 x_17901)) x_17901) 0 x_17901))))"}

TrainingResponse {challenge = "(lambda (x_38505) (fold x_38505 0 (lambda (x_38505 x_38506) (xor (if0 (shr4 (shr1 x_38506)) (if0 (shl1 (plus (shr1 x_38506) x_38505)) x_38506 x_38505) 1) x_38506))))", trainingId = "LxlIvaiUP0QfBXzHr6VGW63N", trainingSize = 20, trainingOps = ["if0","plus","shl1","shr1","shr4","tfold","xor"]}
Fold {foldArg = MainArg, foldSeed = Zero, foldBody = Xor Fold2Arg (If {ifCond = Shr1 (Shr4 Fold2Arg), ifTrue = Fold1Arg, ifFalse = One})}
Mismatch on 3390671887897460737 : 52 instead of 53

после этого дооолго (>5 минут) думаем

Fold {foldArg = MainArg, foldSeed = Zero, foldBody = Xor Fold2Arg (If {ifCond = Shr1 (Shr4 Fold2Arg), ifTrue = If {ifCond = Fold1Arg, ifTrue = Fold2Arg, ifFalse = Fold1Arg}, ifFalse = One})}
Mismatch on 26273382400 : 0 instead of 28

после этого опять доооооолго думаем

rainingResponse {challenge = "(lambda (x_12630) (plus (if0 (and (not (shr1 1)) (shl1 x_12630)) 1 x_12630) x_12630))", trainingId = "UhHOA4SnRGAGhAR5tBlbX1OH", trainingSize = 12, trainingOps = ["and","if0","not","plus","shl1","shr1"]}
INOUTS saved into script UhHOA4SnRGAGhAR5tBlbX1OH.solve-exact
RESTRICTION: allowed left/right zeros: (0,1)
ExpC {cached = MWord64 18219528378239878662, expr = Shl1 (ExpC {cached = MWord64 9109764189119939331, expr = MainArg})}
Got 429 - Try again later, sleeping ...
Retrying
Mismatch on 0 : 0 instead of 1
INOUTS saved into script UhHOA4SnRGAGhAR5tBlbX1OH.solve-exact
RESTRICTION: allowed left/right zeros: (0,0)
client: Nothing has been found

client solve-exact 12 "and if0 not plus shl1 shr1" "([0,9109764189119939331,6818300578044174151,17384048449713003284,409605325706061362,5896917308668905398,7888238219259382178,16847977563828141316,5535784720060370725,2236735494332136231,13305007310275612668,12813318345463711949,5896206253442140688,15670242532607316299,17267917832867093220,1020534779710405241,12048607241385193618,8050865214623055818,6460385167250134506,5469949361724343474,13900646785515303538,162367822234810611,16782850862780625104,15113568662461138522,699314765707889232,7351501933256914050,18391800900785029083,9430308032969041730,4272890966755972521,14738166217524882610,14274200164728402121,14885363007503059341,17456472207701437923,3225410326122351205,6459213743641166859,7580797367843732586,7663857176078843518,4478527059486131213,12378376662003369315,15354084246450356264,3882883807726390485,8695692710834753010,9612475278294686545,8756292412382519860,4023953875220556493,3624953757829680544,13704728917192934170,9055152473692374998,12694988598058410740,11785041346563476755,8187621617660532581,13209388126519854030,17900721523119981773,17387365103990379793,13023023181850877946,3789769884552266239,6422840649999882551,15141815076600841850,3256668531542011966,402812682569450401,4446868586415837719,13979293748908033486,14413650946704745961,7476321478695490084,3721157485248814698,18029761710222983902,14117726028417852376,3628609816196775378,14470150668765230565,5123776047399506968,2549571397483248957,16587337110412553876,12339272725668472151,4117004379808396000,14791885482584327463,10405440487214223138,1592948815897023322,6196009062270336653,10780561495824806783,14106985365625709452,16874533478829127936,16566688090773943874,16021493241635534269,845307299141679943,16227826063753766215,12643054249182853946,13191969057658247962,3009703659274802112,4259552918561117566,11243402591678266843,10300373027177738753,3930645807789290162,1205112057338375197,1571251107214775894,5960876436578427729,11235331530707210286,15927904720559378251,15839307463794914327,9131963102594112395,757378173997257132,16134657786117859154,11384408604927490251,390232248685042934,13593680949761684372,12741539964128139820,5083337212026287612,16664399471484947490,13834207602872333130,3753926933108684011,11907054976582470991,14663593161348462662,16934509335142809396,4482647068477512786,3997076247599085047,4411385983815097934,479498597899910032,3780997616967068493,11820340226744778047,12772596406608939867,8100748625166302472,13219155810526282390,7652929080203591714,2447295463534226323,5611496897307967496,4440317711908497996,8200689210603268046,11228911107880119902,6035132255506830727,548332088033774365,2846934894483365539,15634499949211826688,13202171351297493438,2626484996530692386,13592871211173050353,2335536650086700548,16961443166987011871,1707686047351991230,8564325383416129140,2771218742909638585,842061871819245888,16641837043814470335,15233887220730270906,17233842384441762051,15850560894990331517,10471221706510203418,8873086724818332180,16472545420754125993,17228831829202168346,5741286585111712101,15349059843925799910,12892299508816654510,16507923920343776305,11856918535360392077,17216240799024296381,10794691194333894649,14829914655349315696,11011674496580951562,12651618890162660406,1605362211666599768,2150004139486628836,14896490517577040037,7415994843444664782,2710306386249041729,7659892775242985842,13842886823837780755,10583196171140549871,8898010094212008510,11267840423650837645,6565868223505131969,14877398467661704264,6292906396050747127,9864962151422434275,11707939709210892039,1472410204261744883,1563181947857958051,15553240406090089301,17229604146021725090,3117721099812329424,17985201289148893362,2196378664300962638,5900764870575285083,8833414126218255036,9975665064923276053,12569222922249696033,18224135089547734601,3278213577252361190,6811238552486506425,16967003064463933989,12245513387892274867,16624922249218647909,7518481600035927356,17667007618598055444,12421405785364127407,3342982320803981108,11013369058787406922,15628911968944220173,15036844936004032464,16950459392905218183,13571111612275286542,3479965519173159437,3375550685047252952,13853998344935688275,868911329633201854,16632629313936042975,17074121819172940292,15425714690736508257,362738652099559916,5380109664307420631,4904565595926221562,17226357996190323868,4463810695620296993,14017652576077221496,736602501757696555,4319071050664185973,13001608349995701215,15979605525575777461,4492675470361370162,17443062937383601204,13630014953319525652,12664782076466969796,10692608520074050417,10990461612996652518,4273618016451279452,16550558508459117372,8685098350238065182,13928310764112472718,6789680798840583114,8588823290516450818,13981601747701922529,4329326330583223747,2494794559389713718,4765239106196599472,12972752728703891593,15741393235525467674,4439447296967444141,11795796871789670490,3586918535888598046,9329498881689010051,61292103838955194,11563471008764949276,2334749091286590762,8010202442754767812,10822276890237720697,4124656734127869902,4779001284913326282,7345278995768946380,12966147408129016754,3017588912286082252,17066864098848881518,5024652794665183260,11593506565530278719,11430289357277434977,1050961906281449284,2920399264468913321,2753696974207149099,14698283278342285304,15155631486672701586],[1,18219528378239878662,13636601156088348302,16321352825716454952,819210651412122724,11793834617337810796,15776476438518764356,15249211053946731016,11071569440120741450,4473470988664272462,8163270546841673720,7179892617217872282,11792412506884281376,12893740991505080982,16089091592024634824,2041069559420810482,5650470409060835620,16101730429246111636,12920770334500269012,10939898723448686948,9354549497321055460,324735644469621222,15118957651851698592,11780393251212725428,1398629531415778464,14703003866513828100,18336857727860506550,413871992228531844,8545781933511945042,11029588361340213604,10101656255747252626,11323981941296567066,16466200341693324230,6450820652244702410,12918427487282333718,15161594735687465172,15327714352157687036,8957054118972262426,6310009250297187014,12261424419191160912,7765767615452780970,17391385421669506020,778206482879821474,17512584824765039720,8047907750441112986,7249907515659361088,8962713760676316724,18110304947384749996,6943233122407269864,5123338619417401894,16375243235321065162,7972032179330156444,17354698972530411930,16327986134271207970,7599302289992204276,7579539769104532478,12845681299999765102,11836886079492132084,6513337063084023932,805625365138900802,8893737172831675438,9511843424106515356,10380557819699940306,14952642957390980168,7442314970497629396,17612779346736416188,9788707983126153136,7257219632393550756,10493557263820909514,10247552094799013936,5099142794966497914,14727930147115556136,6231801377627392686,8234008759616792000,11137026891459103310,2364136900718894660,3185897631794046644,12392018124540673306,3114378917940061950,9767226657541867288,15302322883948704256,14686632107838336132,13596242409561516922,1690614598283359886,14008908053797980814,6839364424656156276,7937194041606944308,6019407318549604224,8519105837122235132,4040061109646982070,2154001980645925890,7861291615578580324,2410224114676750394,3142502214429551788,11921752873156855458,4023918987704868956,13409065367409204886,13231870853880277038,18263926205188224790,1514756347994514264,13822571498526166692,4322073136145428886,780464497370085868,8740617825813817128,7036335854546728024,10166674424052575224,14882054869260343364,9221671132035114644,7507853866217368022,5367365879455390366,10880442248987373708,15422274596576067176,8965294136955025572,7994152495198170094,8822771967630195868,958997195799820064,7561995233934136986,5193936379780004478,7098448739508328118,16201497250332604944,7991567547343013164,15305858160407183428,4894590927068452646,11222993794615934992,8880635423816995992,16401378421206536092,4011078142050688188,12070264511013661454,1096664176067548730,5693869788966731078,12822255824714101760,7957598628885435260,5252969993061384772,8738998348636549090,4671073300173401096,15476142260264472126,3415372094703982460,17128650766832258280,5542437485819277170,1684123743638491776,14836930013919389054,12021030367750990196,16020940695173972486,13254377716271111418,2495699339310855220,17746173449636664360,14498346767798700370,16010919584694785076,11482573170223424202,12251375614142048204,7337854943923757404,14569103766978000994,5267092997011232538,15985737524339041146,3142638314958237682,11213085236989079776,3576604919452351508,6856493706615769196,3210724423333199536,4300008278973257672,11346236961444528458,14831989686889329564,5420612772498083458,15319785550485971684,9239029573966009894,2719648268571548126,17796020188424017020,4088936773592123674,13131736447010263938,11308052861613856912,12585812792101494254,1283180229135316934,4969135344712232462,2944820408523489766,3126363895715916102,12659736738470626986,16012464218333898564,6235442199624658848,17523658504588235108,4392757328601925276,11801529741150570166,17666828252436510072,1504586056137000490,6691701770789840450,18001526105385917586,6556427154504722380,13622477104973012850,15487262055218316362,6044282702074998118,14803100424727744202,15036963200071854712,16887271163486559272,6396067497018703198,6685964641607962216,3579994043865262228,12811079864178888730,11626945798298513312,15454174712100884750,8695479150841021468,6959931038346318874,6751101370094505904,9261252616161824934,1737822659266403708,14818514554162534334,15701499564636328968,12404685307763464898,725477304199119832,10760219328614841262,9809131191852443124,16005971918671096120,8927621391240593986,9588561078444891376,1473205003515393110,8638142101328371946,7556472626281850814,13512466977442003306,8985350940722740324,16439381801057650792,8813285832929499688,6882820079224387976,2938472966438549218,3534179152283753420,8547236032902558904,14654372943208683128,17370196700476130364,9409877454515393820,13579361597681166228,17177646581032901636,9516459421694293442,8658652661166447494,4989589118779427436,9530478212393198944,7498761383698231570,13036042397341383732,8878894593934888282,5144849669869789364,7173837071777196092,212253689668468486,122584207677910388,4680197943820346936,4669498182573181524,16020404885509535624,3197809706765889778,8249313468255739804,9558002569826652564,14690557991537892760,7485550742548481892,6035177824572164504,15686984123988211420,10049305589330366520,4740269057351005822,4413834640845318338,2101923812562898568,5840798528937826642,5507393948414298198,10949822482975018992,11864518899635851556])"

TrainingResponse {challenge = "(lambda (x_12961) (fold x_12961 0 (lambda (x_12961 x_12962) (if0 (or x_12961 x_12962) x_12961 (not x_12961)))))", trainingId = "zKIfd5q7ohUUzNdTK0uzG7pK", trainingSize = 12, trainingOps = ["if0","not","or","tfold"]}
INOUTS saved into script zKIfd5q7ohUUzNdTK0uzG7pK.solve-exact
RESTRICTION: allowed left/right zeros: (0,0)
ExpC {cached = MWord64 18446744073709551489, expr = Fold {foldArg = ExpC {cached = MWord64 9109764189119939331, expr = MainArg}, foldSeed = ExpC {cached = MWord64 0, expr = Zero}, foldBody = ExpC {cached = MWord64 1306896099427793925, expr = Not (ExpC {cached = MWord64 1306896099427793925, expr = Fold1Arg})}}}
Mismatch on 0 : 18446744073709551615 instead of 0
INOUTS saved into script zKIfd5q7ohUUzNdTK0uzG7pK.solve-exact
RESTRICTION: allowed left/right zeros: (0,0)
client: Nothing has been found

TrainingResponse {challenge = "(lambda (x_19294) (and (plus (and (if0 (xor (or (shl1 x_19294) x_19294) x_19294) x_19294 1) x_19294) x_19294) x_19294))", trainingId = "9t47koxNrha5MF6E4FQAGl9l", trainingSize = 16, trainingOps = ["and","if0","or","plus","shl1","xor"]}

Nothing has been found

Мы даже не доходим до засылания первого варианта

TrainingResponse {challenge = "(lambda (x_12376) (and (if0 (and (shl1 x_12376) (not (shr16 x_12376))) 1 x_12376) 1))", trainingId = "D3Di0jItTbqshKBXzRoAADDV", trainingSize = 12, trainingOps = ["and","if0","not","shl1","shr16"]}
INOUTS saved into script D3Di0jItTbqshKBXzRoAADDV.solve-exact
RESTRICTION: allowed left/right zeros: (63,0)
ExpC {cached = MWord64 1, expr = And (ExpC {cached = MWord64 1, expr = One}) (ExpC {cached = MWord64 9109764189119939331, expr = MainArg})}
Mismatch on 0 : 0 instead of 1
INOUTS saved into script D3Di0jItTbqshKBXzRoAADDV.solve-exact
RESTRICTION: allowed left/right zeros: (63,0)
ExpC {cached = MWord64 1, expr = If {ifCond = ExpC {cached = MWord64 9109764189119939331, expr = MainArg}, ifTrue = ExpC {cached = MWord64 1, expr = One}, ifFalse = ExpC {cached = MWord64 1, expr = And (ExpC {cached = MWord64 1, expr = One}) (ExpC {cached = MWord64 9109764189119939331, expr = MainArg})}}}
Mismatch on 9223372036854775808 : 0 instead of 1
INOUTS saved into script D3Di0jItTbqshKBXzRoAADDV.solve-exact
RESTRICTION: allowed left/right zeros: (63,0)
ExpC {cached = MWord64 1, expr = If {ifCond = ExpC {cached = MWord64 18219528378239878662, expr = Shl1 (ExpC {cached = MWord64 9109764189119939331, expr = MainArg})}, ifTrue = ExpC {cached = MWord64 1, expr = One}, ifFalse = ExpC {cached = MWord64 1, expr = And (ExpC {cached = MWord64 1, expr = One}) (ExpC {cached = MWord64 9109764189119939331, expr = MainArg})}}}
Mismatch on 9223442405598953472 : 0 instead of 1
INOUTS saved into script D3Di0jItTbqshKBXzRoAADDV.solve-exact
RESTRICTION: allowed left/right zeros: (63,0)
ExpC {cached = MWord64 1, expr = If {ifCond = ExpC {cached = MWord64 8955478241192247810, expr = And (ExpC {cached = MWord64 9109764189119939331, expr = MainArg}) (ExpC {cached = MWord64 18219528378239878662, expr = Shl1 (ExpC {cached = MWord64 9109764189119939331, expr = MainArg})})}, ifTrue = ExpC {cached = MWord64 1, expr = One}, ifFalse = ExpC {cached = MWord64 1, expr = And (ExpC {cached = MWord64 1, expr = One}) (ExpC {cached = MWord64 9109764189119939331, expr = MainArg})}}}
Mismatch on 536870912 : 1 instead of 0
INOUTS saved into script D3Di0jItTbqshKBXzRoAADDV.solve-exact
RESTRICTION: allowed left/right zeros: (63,0)
client: Nothing has been found

TrainingResponse {challenge = "(lambda (x_11781) (fold x_11781 0 (lambda (x_11781 x_11782) (xor (shl1 (shr16 (shl1 (not 0)))) x_11781))))", trainingId = "CPb820ZSVzXOEzMRnaaPimtC", trainingSize = 12, trainingOps = ["not","shl1","shr16","tfold","xor"]}

INOUTS to reproduce with client solve-exact: not shl1 shr16 tfold xor
([9109764189119939331,6818300578044174151,17384048449713003284,409605325706061362,5896917308668905398,7888238219259382178,16847977563828141316,5535784720060370725,2236735494332136231,13305007310275612668,12813318345463711949,5896206253442140688,15670242532607316299,17267917832867093220,1020534779710405241,12048607241385193618,8050865214623055818,6460385167250134506,5469949361724343474,13900646785515303538,162367822234810611,16782850862780625104,15113568662461138522,699314765707889232,7351501933256914050,18391800900785029083,9430308032969041730,4272890966755972521,14738166217524882610,14274200164728402121,14885363007503059341,17456472207701437923,3225410326122351205,6459213743641166859,7580797367843732586,7663857176078843518,4478527059486131213,12378376662003369315,15354084246450356264,3882883807726390485,8695692710834753010,9612475278294686545,8756292412382519860,4023953875220556493,3624953757829680544,13704728917192934170,9055152473692374998,12694988598058410740,11785041346563476755,8187621617660532581,13209388126519854030,17900721523119981773,17387365103990379793,13023023181850877946,3789769884552266239,6422840649999882551,15141815076600841850,3256668531542011966,402812682569450401,4446868586415837719,13979293748908033486,14413650946704745961,7476321478695490084,3721157485248814698,18029761710222983902,14117726028417852376,3628609816196775378,14470150668765230565,5123776047399506968,2549571397483248957,16587337110412553876,12339272725668472151,4117004379808396000,14791885482584327463,10405440487214223138,1592948815897023322,6196009062270336653,10780561495824806783,14106985365625709452,16874533478829127936,16566688090773943874,16021493241635534269,845307299141679943,16227826063753766215,12643054249182853946,13191969057658247962,3009703659274802112,4259552918561117566,11243402591678266843,10300373027177738753,3930645807789290162,1205112057338375197,1571251107214775894,5960876436578427729,11235331530707210286,15927904720559378251,15839307463794914327,9131963102594112395,757378173997257132,16134657786117859154,11384408604927490251,390232248685042934,13593680949761684372,12741539964128139820,5083337212026287612,16664399471484947490,13834207602872333130,3753926933108684011,11907054976582470991,14663593161348462662,16934509335142809396,4482647068477512786,3997076247599085047,4411385983815097934,479498597899910032,3780997616967068493,11820340226744778047,12772596406608939867,8100748625166302472,13219155810526282390,7652929080203591714,2447295463534226323,5611496897307967496,4440317711908497996,8200689210603268046,11228911107880119902,6035132255506830727,548332088033774365,2846934894483365539,15634499949211826688,13202171351297493438,2626484996530692386,13592871211173050353,2335536650086700548,16961443166987011871,1707686047351991230,8564325383416129140,2771218742909638585,842061871819245888,16641837043814470335,15233887220730270906,17233842384441762051,15850560894990331517,10471221706510203418,8873086724818332180,16472545420754125993,17228831829202168346,5741286585111712101,15349059843925799910,12892299508816654510,16507923920343776305,11856918535360392077,17216240799024296381,10794691194333894649,14829914655349315696,11011674496580951562,12651618890162660406,1605362211666599768,2150004139486628836,14896490517577040037,7415994843444664782,2710306386249041729,7659892775242985842,13842886823837780755,10583196171140549871,8898010094212008510,11267840423650837645,6565868223505131969,14877398467661704264,6292906396050747127,9864962151422434275,11707939709210892039,1472410204261744883,1563181947857958051,15553240406090089301,17229604146021725090,3117721099812329424,17985201289148893362,2196378664300962638,5900764870575285083,8833414126218255036,9975665064923276053,12569222922249696033,18224135089547734601,3278213577252361190,6811238552486506425,16967003064463933989,12245513387892274867,16624922249218647909,7518481600035927356,17667007618598055444,12421405785364127407,3342982320803981108,11013369058787406922,15628911968944220173,15036844936004032464,16950459392905218183,13571111612275286542,3479965519173159437,3375550685047252952,13853998344935688275,868911329633201854,16632629313936042975,17074121819172940292,15425714690736508257,362738652099559916,5380109664307420631,4904565595926221562,17226357996190323868,4463810695620296993,14017652576077221496,736602501757696555,4319071050664185973,13001608349995701215,15979605525575777461,4492675470361370162,17443062937383601204,13630014953319525652,12664782076466969796,10692608520074050417,10990461612996652518,4273618016451279452,16550558508459117372,8685098350238065182,13928310764112472718,6789680798840583114,8588823290516450818,13981601747701922529,4329326330583223747,2494794559389713718,4765239106196599472,12972752728703891593,15741393235525467674,4439447296967444141,11795796871789670490,3586918535888598046,9329498881689010051,61292103838955194,11563471008764949276,2334749091286590762,8010202442754767812,10822276890237720697,4124656734127869902,4779001284913326282,7345278995768946380,12966147408129016754,3017588912286082252,17066864098848881518,5024652794665183260,11593506565530278719,11430289357277434977,1050961906281449284,2920399264468913321,2753696974207149099,14698283278342285304,15155631486672701586],[562949953421184,562949953421216,562949953421071,562949953421307,562949953421231,562949953421203,562949953421079,562949953421234,562949953421281,562949953421126,562949953421135,562949953421231,562949953421095,562949953421073,562949953421296,562949953421145,562949953421201,562949953421223,562949953421237,562949953421118,562949953421308,562949953421078,562949953421103,562949953421303,562949953421208,562949953421057,562949953421180,562949953421253,562949953421106,562949953421112,562949953421104,562949953421068,562949953421266,562949953421223,562949953421207,562949953421204,562949953421248,562949953421141,562949953421099,562949953421259,562949953421190,562949953421179,562949953421191,562949953421257,562949953421260,562949953421120,562949953421187,562949953421134,562949953421149,562949953421199,562949953421129,562949953421062,562949953421071,562949953421130,562949953421258,562949953421223,562949953421100,562949953421267,562949953421307,562949953421251,562949953421116,562949953421110,562949953421209,562949953421261,562949953421060,562949953421117,562949953421260,562949953421110,562949953421241,562949953421277,562949953421080,562949953421141,562949953421255,562949953421107,562949953421166,562949953421288,562949953421227,562949953421163,562949953421117,562949953421076,562949953421083,562949953421088,562949953421301,562949953421087,562949953421137,562949953421129,562949953421271,562949953421253,562949953421154,562949953421168,562949953421256,562949953421294,562949953421291,562949953421228,562949953421157,562949953421091,562949953421093,562949953421184,562949953421300,562949953421089,562949953421155,562949953421307,562949953421122,562949953421134,562949953421240,562949953421081,562949953421121,562949953421258,562949953421147,562949953421109,562949953421077,562949953421248,562949953421257,562949953421251,562949953421304,562949953421258,562949953421146,562949953421135,562949953421198,562949953421129,562949953421204,562949953421279,562949953421235,562949953421251,562949953421199,562949953421157,562949953421229,562949953421305,562949953421273,562949953421094,562949953421129,562949953421274,562949953421122,562949953421278,562949953421077,562949953421289,562949953421192,562949953421272,562949953421301,562949953421080,562949953421101,562949953421073,562949953421093,562949953421167,562949953421189,562949953421082,562949953421073,562949953421233,562949953421099,562949953421132,562949953421083,562949953421146,562949953421072,562949953421163,562949953421107,562949953421158,562949953421137,562949953421288,562949953421283,562949953421104,562949953421208,562949953421275,562949953421204,562949953421118,562949953421164,562949953421189,562949953421154,562949953421221,562949953421104,562949953421225,562949953421174,562949953421148,562949953421290,562949953421291,562949953421097,562949953421073,562949953421269,562949953421063,562949953421280,562949953421231,562949953421188,562949953421172,562949953421136,562949953421058,562949953421267,562949953421216,562949953421077,562949953421143,562949953421080,562949953421206,562949953421067,562949953421138,562949953421264,562949953421158,562949953421094,562949953421102,562949953421077,562949953421122,562949953421262,562949953421264,562949953421118,562949953421298,562949953421080,562949953421074,562949953421096,562949953421307,562949953421236,562949953421242,562949953421073,562949953421251,562949953421116,562949953421300,562949953421253,562949953421130,562949953421091,562949953421248,562949953421068,562949953421123,562949953421137,562949953421162,562949953421158,562949953421253,562949953421083,562949953421190,562949953421119,562949953421216,562949953421193,562949953421116,562949953421250,562949953421276,562949953421244,562949953421130,562949953421092,562949953421251,562949953421149,562949953421263,562949953421183,562949953421310,562949953421150,562949953421278,562949953421201,562949953421160,562949953421255,562949953421244,562949953421211,562949953421133,562949953421271,562949953421074,562949953421243,562949953421150,562949953421152,562949953421296,562949953421270,562949953421272,562949953421109,562949953421100])

RESTRICTION: allowed left/right zeros: (15,0)

И nothing has been found

TrainingResponse {challenge = "(lambda (x_12435) (shr4 (shr1 (if0 (plus (or (shl1 x_12435) x_12435) 1) 0 x_12435))))", trainingId = "vElwhvbyv9ZXjqccs9d0BKiB", trainingSize = 12, trainingOps = ["if0","or","plus","shl1","shr1","shr4"]}
Got 429 - Try again later, sleeping ...
Retrying
INOUTS saved into script vElwhvbyv9ZXjqccs9d0BKiB.solve-exact
RESTRICTION: allowed left/right zeros: (5,0)
ExpC {cached = MWord64 284680130909998104, expr = Shr1 (ExpC {cached = MWord64 569360261819996208, expr = Shr4 (ExpC {cached = MWord64 9109764189119939331, expr = MainArg})})}
Mismatch on 9223372036837933045 : 288230376151185407 instead of 0
INOUTS saved into script vElwhvbyv9ZXjqccs9d0BKiB.solve-exact
RESTRICTION: allowed left/right zeros: (5,0)
client: Nothing has been found

client solve-exact 12 "if0 or plus shl1 shr1 shr4" "([9223372036837933045,9109764189119939331,6818300578044174151,17384048449713003284,409605325706061362,5896917308668905398,7888238219259382178,16847977563828141316,5535784720060370725,2236735494332136231,13305007310275612668,12813318345463711949,5896206253442140688,15670242532607316299,17267917832867093220,1020534779710405241,12048607241385193618,8050865214623055818,6460385167250134506,5469949361724343474,13900646785515303538,162367822234810611,16782850862780625104,15113568662461138522,699314765707889232,7351501933256914050,18391800900785029083,9430308032969041730,4272890966755972521,14738166217524882610,14274200164728402121,14885363007503059341,17456472207701437923,3225410326122351205,6459213743641166859,7580797367843732586,7663857176078843518,4478527059486131213,12378376662003369315,15354084246450356264,3882883807726390485,8695692710834753010,9612475278294686545,8756292412382519860,4023953875220556493,3624953757829680544,13704728917192934170,9055152473692374998,12694988598058410740,11785041346563476755,8187621617660532581,13209388126519854030,17900721523119981773,17387365103990379793,13023023181850877946,3789769884552266239,6422840649999882551,15141815076600841850,3256668531542011966,402812682569450401,4446868586415837719,13979293748908033486,14413650946704745961,7476321478695490084,3721157485248814698,18029761710222983902,14117726028417852376,3628609816196775378,14470150668765230565,5123776047399506968,2549571397483248957,16587337110412553876,12339272725668472151,4117004379808396000,14791885482584327463,10405440487214223138,1592948815897023322,6196009062270336653,10780561495824806783,14106985365625709452,16874533478829127936,16566688090773943874,16021493241635534269,845307299141679943,16227826063753766215,12643054249182853946,13191969057658247962,3009703659274802112,4259552918561117566,11243402591678266843,10300373027177738753,3930645807789290162,1205112057338375197,1571251107214775894,5960876436578427729,11235331530707210286,15927904720559378251,15839307463794914327,9131963102594112395,757378173997257132,16134657786117859154,11384408604927490251,390232248685042934,13593680949761684372,12741539964128139820,5083337212026287612,16664399471484947490,13834207602872333130,3753926933108684011,11907054976582470991,14663593161348462662,16934509335142809396,4482647068477512786,3997076247599085047,4411385983815097934,479498597899910032,3780997616967068493,11820340226744778047,12772596406608939867,8100748625166302472,13219155810526282390,7652929080203591714,2447295463534226323,5611496897307967496,4440317711908497996,8200689210603268046,11228911107880119902,6035132255506830727,548332088033774365,2846934894483365539,15634499949211826688,13202171351297493438,2626484996530692386,13592871211173050353,2335536650086700548,16961443166987011871,1707686047351991230,8564325383416129140,2771218742909638585,842061871819245888,16641837043814470335,15233887220730270906,17233842384441762051,15850560894990331517,10471221706510203418,8873086724818332180,16472545420754125993,17228831829202168346,5741286585111712101,15349059843925799910,12892299508816654510,16507923920343776305,11856918535360392077,17216240799024296381,10794691194333894649,14829914655349315696,11011674496580951562,12651618890162660406,1605362211666599768,2150004139486628836,14896490517577040037,7415994843444664782,2710306386249041729,7659892775242985842,13842886823837780755,10583196171140549871,8898010094212008510,11267840423650837645,6565868223505131969,14877398467661704264,6292906396050747127,9864962151422434275,11707939709210892039,1472410204261744883,1563181947857958051,15553240406090089301,17229604146021725090,3117721099812329424,17985201289148893362,2196378664300962638,5900764870575285083,8833414126218255036,9975665064923276053,12569222922249696033,18224135089547734601,3278213577252361190,6811238552486506425,16967003064463933989,12245513387892274867,16624922249218647909,7518481600035927356,17667007618598055444,12421405785364127407,3342982320803981108,11013369058787406922,15628911968944220173,15036844936004032464,16950459392905218183,13571111612275286542,3479965519173159437,3375550685047252952,13853998344935688275,868911329633201854,16632629313936042975,17074121819172940292,15425714690736508257,362738652099559916,5380109664307420631,4904565595926221562,17226357996190323868,4463810695620296993,14017652576077221496,736602501757696555,4319071050664185973,13001608349995701215,15979605525575777461,4492675470361370162,17443062937383601204,13630014953319525652,12664782076466969796,10692608520074050417,10990461612996652518,4273618016451279452,16550558508459117372,8685098350238065182,13928310764112472718,6789680798840583114,8588823290516450818,13981601747701922529,4329326330583223747,2494794559389713718,4765239106196599472,12972752728703891593,15741393235525467674,4439447296967444141,11795796871789670490,3586918535888598046,9329498881689010051,61292103838955194,11563471008764949276,2334749091286590762,8010202442754767812,10822276890237720697,4124656734127869902,4779001284913326282,7345278995768946380,12966147408129016754,3017588912286082252,17066864098848881518,5024652794665183260,11593506565530278719,11430289357277434977,1050961906281449284,2920399264468913321,2753696974207149099,14698283278342285304,15155631486672701586],[0,284680130909998104,213071893063880442,543251514053531352,12800166428314417,184278665895903293,246507444351855693,526499298869629416,172993272501886585,69897984197879257,415781478446112895,400416198295740998,184256445420066896,489695079143978634,539622432277096663,31891711865950163,376518976293287300,251589537956970494,201887036476566703,170935917553885733,434395212047353235,5073994444837831,524464089461894534,472299020701910578,21853586428371538,229734435414278564,574743778149532158,294697126030282554,133527842711124141,460567694297652581,446068755147762566,465167593984470604,545514756490669935,100794072691323475,201850429488786464,236899917745116643,239495536752463859,139953970608941600,386824270687605291,479815132701573633,121340118991449702,271740397213586031,300389852446708954,273634137886953745,125748558600642390,113279804932177517,428272778662279192,282973514802886718,396718393689325335,368282542080108648,255863175551891643,412793378953745438,559397547597499430,543355159499699368,406969474432839935,118430308892258319,200713770312496329,473181721143776307,101770891610687873,12587896330295325,138964643325494928,436852929653376046,450426592084523311,233635046209234065,116286171414025459,563430053444468246,441178938388057886,113394056756149230,452192208398913455,160118001481234592,79674106171351529,518354284700392308,385602272677139754,128656386869012375,462246421330760233,325170015225444473,49779650496781978,193625283195948020,336892546744525211,440843292675803420,527329171213410248,517709002836685746,500671663801110445,26415853098177498,507119564492305194,395095445286964185,412249033051820248,94053239352337566,133111028705034923,351356330989945838,321886657099304336,122832681493415317,37659751791824224,49101597100461746,186277388643075866,351104110334600321,497747022517480570,494978358243591072,285373846956066012,23668067937414285,504208055816183098,355762768903984070,12194757771407591,424802529680052636,398173123879004369,158854287875821487,520762483483904609,432318987589760410,117310216659646375,372095468018202218,458237286292139458,529203416723212793,140082720889922274,124908632737471407,137855811994221810,14984331184372188,118156175530220890,369385632085774313,399143637706529370,253148394536446952,413098619078946324,239154033756362241,76477983235444572,175359278040873984,138759928497140562,256271537831352126,350903472121253746,188597882984588460,17135377751055448,88966715452605173,488578123412869584,412567854728046669,82077656141584137,424777225349157823,72985520315209392,530045098968344120,53365188979749725,267635168231754035,86600585715926205,26314433494351434,520057407619202197,476058975647820965,538557574513805064,495330027968447859,327225678328443856,277283960150572880,514767044398566437,538400994662567760,179415205784741003,479658120122681247,402884359650520453,515872622510743009,370528704230012252,538007524969509261,337334099822934207,463434832979666115,344114828018154736,395363090317583137,50167569114581242,67187629358957151,465515328674282501,231749838857645774,84697074570282554,239371649226343307,432590213244930648,330724880348142183,278062815444125265,352120013239088676,205183381984535374,464918702114428258,196653324876585847,308280067231951071,365873115912840376,46012818883179527,48849435870561189,486038762690315290,538425129563178909,97428784369135294,562037540285902917,68636833259405082,184398902205477658,276044191444320469,311739533278852376,392788216320303001,569504221548366706,102444174289136287,212851204765203325,530218845764497937,382672293371633589,519528820288082747,234952550001122729,552093988081189232,388168930792628981,104468197525124409,344167783087106466,488403499029506880,469901404250126014,529701856028288068,424097237883602704,108748922474161232,105485958907726654,432937448279240258,27153479051037557,519769666060501342,533566306849154384,482053584085515883,11335582878111247,168128427009606894,153267674872694423,538323687380947620,139494084238134281,438051643002413171,23018828179928017,134970970333255811,406300260937365662,499362672674243045,140396108448792817,545095716793237537,425937967291235176,395774439889592806,334144016252314075,343451925406145391,133550563014102482,517204953389347417,271409323444939536,435259711378514772,212177524963768222,268400727828639088,436925054615685079,135291447830725742,77962329980928553,148913722068643733,405398522771996612,491918538610170864,138732728030232629,368618652243427202,112091204246518688,291546840052781564,1915378244967349,361358469023904664,72960909102705961,250318826336086494,338196152819928771,128895522941495934,149343790153541446,229539968617779574,405192106504031773,94299653508940070,533339503089027547,157020399833286976,362297080172821209,357196542414919843,32842559571295290,91262477014653541,86053030443973409,459321352448196415,473613483958521924])"

TrainingResponse {challenge = "(lambda (x_16942) (fold (plus (shl1 1) x_16942) 0 (lambda (x_16943 x_16944) (if0 x_16943 x_16944 x_16943))))", trainingId = "1RE5tkuRPAX3qqJFgOhmUCQA", trainingSize = 12, trainingOps = ["fold","if0","plus","shl1"]}
INOUTS saved into script 1RE5tkuRPAX3qqJFgOhmUCQA.solve-exact
RESTRICTION: allowed left/right zeros: (56,0)
ExpC {cached = MWord64 126, expr = Fold {foldArg = ExpC {cached = MWord64 9109764189119939331, expr = MainArg}, foldSeed = ExpC {cached = MWord64 0, expr = Zero}, foldBody = ExpC {cached = MWord64 1306896099427793925, expr = If {ifCond = ExpC {cached = MWord64 1306896099427793925, expr = Fold1Arg}, ifTrue = ExpC {cached = MWord64 1306896099427793925, expr = Fold2Arg}, ifFalse = ExpC {cached = MWord64 1306896099427793925, expr = Fold1Arg}}}}}
Got 429 - Try again later, sleeping ...
Retrying
Mismatch on 589822 : 8 instead of 9
INOUTS saved into script 1RE5tkuRPAX3qqJFgOhmUCQA.solve-exact
RESTRICTION: allowed left/right zeros: (56,0)
client: Nothing has been found

client solve-exact 12 "fold if0 plus shl1" "([589822,9109764189119939331,6818300578044174151,17384048449713003284,409605325706061362,5896917308668905398,7888238219259382178,16847977563828141316,5535784720060370725,2236735494332136231,13305007310275612668,12813318345463711949,5896206253442140688,15670242532607316299,17267917832867093220,1020534779710405241,12048607241385193618,8050865214623055818,6460385167250134506,5469949361724343474,13900646785515303538,162367822234810611,16782850862780625104,15113568662461138522,699314765707889232,7351501933256914050,18391800900785029083,9430308032969041730,4272890966755972521,14738166217524882610,14274200164728402121,14885363007503059341,17456472207701437923,3225410326122351205,6459213743641166859,7580797367843732586,7663857176078843518,4478527059486131213,12378376662003369315,15354084246450356264,3882883807726390485,8695692710834753010,9612475278294686545,8756292412382519860,4023953875220556493,3624953757829680544,13704728917192934170,9055152473692374998,12694988598058410740,11785041346563476755,8187621617660532581,13209388126519854030,17900721523119981773,17387365103990379793,13023023181850877946,3789769884552266239,6422840649999882551,15141815076600841850,3256668531542011966,402812682569450401,4446868586415837719,13979293748908033486,14413650946704745961,7476321478695490084,3721157485248814698,18029761710222983902,14117726028417852376,3628609816196775378,14470150668765230565,5123776047399506968,2549571397483248957,16587337110412553876,12339272725668472151,4117004379808396000,14791885482584327463,10405440487214223138,1592948815897023322,6196009062270336653,10780561495824806783,14106985365625709452,16874533478829127936,16566688090773943874,16021493241635534269,845307299141679943,16227826063753766215,12643054249182853946,13191969057658247962,3009703659274802112,4259552918561117566,11243402591678266843,10300373027177738753,3930645807789290162,1205112057338375197,1571251107214775894,5960876436578427729,11235331530707210286,15927904720559378251,15839307463794914327,9131963102594112395,757378173997257132,16134657786117859154,11384408604927490251,390232248685042934,13593680949761684372,12741539964128139820,5083337212026287612,16664399471484947490,13834207602872333130,3753926933108684011,11907054976582470991,14663593161348462662,16934509335142809396,4482647068477512786,3997076247599085047,4411385983815097934,479498597899910032,3780997616967068493,11820340226744778047,12772596406608939867,8100748625166302472,13219155810526282390,7652929080203591714,2447295463534226323,5611496897307967496,4440317711908497996,8200689210603268046,11228911107880119902,6035132255506830727,548332088033774365,2846934894483365539,15634499949211826688,13202171351297493438,2626484996530692386,13592871211173050353,2335536650086700548,16961443166987011871,1707686047351991230,8564325383416129140,2771218742909638585,842061871819245888,16641837043814470335,15233887220730270906,17233842384441762051,15850560894990331517,10471221706510203418,8873086724818332180,16472545420754125993,17228831829202168346,5741286585111712101,15349059843925799910,12892299508816654510,16507923920343776305,11856918535360392077,17216240799024296381,10794691194333894649,14829914655349315696,11011674496580951562,12651618890162660406,1605362211666599768,2150004139486628836,14896490517577040037,7415994843444664782,2710306386249041729,7659892775242985842,13842886823837780755,10583196171140549871,8898010094212008510,11267840423650837645,6565868223505131969,14877398467661704264,6292906396050747127,9864962151422434275,11707939709210892039,1472410204261744883,1563181947857958051,15553240406090089301,17229604146021725090,3117721099812329424,17985201289148893362,2196378664300962638,5900764870575285083,8833414126218255036,9975665064923276053,12569222922249696033,18224135089547734601,3278213577252361190,6811238552486506425,16967003064463933989,12245513387892274867,16624922249218647909,7518481600035927356,17667007618598055444,12421405785364127407,3342982320803981108,11013369058787406922,15628911968944220173,15036844936004032464,16950459392905218183,13571111612275286542,3479965519173159437,3375550685047252952,13853998344935688275,868911329633201854,16632629313936042975,17074121819172940292,15425714690736508257,362738652099559916,5380109664307420631,4904565595926221562,17226357996190323868,4463810695620296993,14017652576077221496,736602501757696555,4319071050664185973,13001608349995701215,15979605525575777461,4492675470361370162,17443062937383601204,13630014953319525652,12664782076466969796,10692608520074050417,10990461612996652518,4273618016451279452,16550558508459117372,8685098350238065182,13928310764112472718,6789680798840583114,8588823290516450818,13981601747701922529,4329326330583223747,2494794559389713718,4765239106196599472,12972752728703891593,15741393235525467674,4439447296967444141,11795796871789670490,3586918535888598046,9329498881689010051,61292103838955194,11563471008764949276,2334749091286590762,8010202442754767812,10822276890237720697,4124656734127869902,4779001284913326282,7345278995768946380,12966147408129016754,3017588912286082252,17066864098848881518,5024652794665183260,11593506565530278719,11430289357277434977,1050961906281449284,2920399264468913321,2753696974207149099,14698283278342285304,15155631486672701586],[9,126,94,241,5,81,109,233,76,31,184,177,81,217,239,14,167,111,89,75,192,2,232,209,9,102,255,130,59,204,198,206,242,44,89,105,106,62,171,213,53,120,133,121,55,50,190,125,176,163,113,183,248,241,180,52,89,210,45,5,61,194,200,103,51,250,195,50,200,71,35,230,171,57,205,144,22,85,149,195,234,229,222,11,225,175,183,41,59,156,142,54,16,21,82,155,221,219,126,10,223,157,5,188,176,70,231,191,52,165,203,235,62,55,61,6,52,164,177,112,183,106,33,77,61,113,155,83,7,39,216,183,36,188,32,235,23,118,38,11,230,211,239,219,145,123,228,239,79,213,178,229,164,238,149,205,152,175,22,29,206,102,37,106,192,146,123,156,91,206,87,136,162,20,21,215,239,43,249,30,81,122,138,174,252,45,94,235,169,230,104,245,172,46,152,216,208,235,188,48,46,192,12,230,236,214,5,74,68,239,61,194,10,59,180,221,62,242,189,175,148,152,59,229,120,193,94,119,194,60,34,66,180,218,61,163,49,129,217,160,32,111,150,57,66,101,179,41,236,69,160,158,14,40,38,203,210])"

TrainingResponse {challenge = "(lambda (x_37967) (fold x_37967 0 (lambda (x_37967 x_37968) (xor (xor (xor (if0 (plus (shr1 (shr4 x_37968)) (not x_37967)) 1 x_37968) x_37968) 0) x_37967))))", trainingId = "F3Xy2hpnQCsmZpy60AY5HjdY", trainingSize = 20, trainingOps = ["if0","not","plus","shr1","shr4","tfold","xor"]}

ExpC {cached = Just 126, size = 5, expr = Fold {foldArg = ExpC {cached = Just 9109764189119939331, size = 1, expr = MainArg}, foldSeed = ExpC {cached = Just 0, size = 1, expr = Zero}, foldBody = ExpC {cached = Nothing, size = 1, expr = Fold1Arg}}}

Mismatch on 255580382681433540 : 3 instead of 142

и всё ....

А надо бы останавливаться, как только мы поняли, что генерим (and 0 ...), (plus 0 ...) и так далее

jkff@jkff-laptop ~/projects/icfp/src $ client train-solve 15
TrainingResponse {challenge = "(lambda (x_33456) (fold (or (shr16 (xor x_33456 1)) (shl1 1)) x_33456 (lambda (x_33457 x_33458) (if0 x_33457 x_33458 x_33457))))", trainingId = "dLG8yDzQ3yy02hshLlVntltM", trainingSize = 15, trainingOps = ["fold","if0","or","shl1","shr16","xor"]}
INOUTS to reproduce with client solve-exact: ([9109764189119939331,6818300578044174151,17384048449713003284,409605325706061362,5896917308668905398,7888238219259382178,16847977563828141316,5535784720060370725,2236735494332136231,13305007310275612668,12813318345463711949,5896206253442140688,15670242532607316299,17267917832867093220,1020534779710405241,12048607241385193618,8050865214623055818,6460385167250134506,5469949361724343474,13900646785515303538,162367822234810611,16782850862780625104,15113568662461138522,699314765707889232,7351501933256914050,18391800900785029083,9430308032969041730,4272890966755972521,14738166217524882610,14274200164728402121,14885363007503059341,17456472207701437923,3225410326122351205,6459213743641166859,7580797367843732586,7663857176078843518,4478527059486131213,12378376662003369315,15354084246450356264,3882883807726390485,8695692710834753010,9612475278294686545,8756292412382519860,4023953875220556493,3624953757829680544,13704728917192934170,9055152473692374998,12694988598058410740,11785041346563476755,8187621617660532581,13209388126519854030,17900721523119981773,17387365103990379793,13023023181850877946,3789769884552266239,6422840649999882551,15141815076600841850,3256668531542011966,402812682569450401,4446868586415837719,13979293748908033486,14413650946704745961,7476321478695490084,3721157485248814698,18029761710222983902,14117726028417852376,3628609816196775378,14470150668765230565,5123776047399506968,2549571397483248957,16587337110412553876,12339272725668472151,4117004379808396000,14791885482584327463,10405440487214223138,1592948815897023322,6196009062270336653,10780561495824806783,14106985365625709452,16874533478829127936,16566688090773943874,16021493241635534269,845307299141679943,16227826063753766215,12643054249182853946,13191969057658247962,3009703659274802112,4259552918561117566,11243402591678266843,10300373027177738753,3930645807789290162,1205112057338375197,1571251107214775894,5960876436578427729,11235331530707210286,15927904720559378251,15839307463794914327,9131963102594112395,757378173997257132,16134657786117859154,11384408604927490251,390232248685042934,13593680949761684372,12741539964128139820,5083337212026287612,16664399471484947490,13834207602872333130,3753926933108684011,11907054976582470991,14663593161348462662,16934509335142809396,4482647068477512786,3997076247599085047,4411385983815097934,479498597899910032,3780997616967068493,11820340226744778047,12772596406608939867,8100748625166302472,13219155810526282390,7652929080203591714,2447295463534226323,5611496897307967496,4440317711908497996,8200689210603268046,11228911107880119902,6035132255506830727,548332088033774365,2846934894483365539,15634499949211826688,13202171351297493438,2626484996530692386,13592871211173050353,2335536650086700548,16961443166987011871,1707686047351991230,8564325383416129140,2771218742909638585,842061871819245888,16641837043814470335,15233887220730270906,17233842384441762051,15850560894990331517,10471221706510203418,8873086724818332180,16472545420754125993,17228831829202168346,5741286585111712101,15349059843925799910,12892299508816654510,16507923920343776305,11856918535360392077,17216240799024296381,10794691194333894649,14829914655349315696,11011674496580951562,12651618890162660406,1605362211666599768,2150004139486628836,14896490517577040037,7415994843444664782,2710306386249041729,7659892775242985842,13842886823837780755,10583196171140549871,8898010094212008510,11267840423650837645,6565868223505131969,14877398467661704264,6292906396050747127,9864962151422434275,11707939709210892039,1472410204261744883,1563181947857958051,15553240406090089301,17229604146021725090,3117721099812329424,17985201289148893362,2196378664300962638,5900764870575285083,8833414126218255036,9975665064923276053,12569222922249696033,18224135089547734601,3278213577252361190,6811238552486506425,16967003064463933989,12245513387892274867,16624922249218647909,7518481600035927356,17667007618598055444,12421405785364127407,3342982320803981108,11013369058787406922,15628911968944220173,15036844936004032464,16950459392905218183,13571111612275286542,3479965519173159437,3375550685047252952,13853998344935688275,868911329633201854,16632629313936042975,17074121819172940292,15425714690736508257,362738652099559916,5380109664307420631,4904565595926221562,17226357996190323868,4463810695620296993,14017652576077221496,736602501757696555,4319071050664185973,13001608349995701215,15979605525575777461,4492675470361370162,17443062937383601204,13630014953319525652,12664782076466969796,10692608520074050417,10990461612996652518,4273618016451279452,16550558508459117372,8685098350238065182,13928310764112472718,6789680798840583114,8588823290516450818,13981601747701922529,4329326330583223747,2494794559389713718,4765239106196599472,12972752728703891593,15741393235525467674,4439447296967444141,11795796871789670490,3586918535888598046,9329498881689010051,61292103838955194,11563471008764949276,2334749091286590762,8010202442754767812,10822276890237720697,4124656734127869902,4779001284913326282,7345278995768946380,12966147408129016754,3017588912286082252,17066864098848881518,5024652794665183260,11593506565530278719,11430289357277434977,1050961906281449284,2920399264468913321,2753696974207149099,14698283278342285304,15155631486672701586],[126,94,241,5,81,109,233,76,31,184,177,81,217,239,14,167,111,89,75,192,2,232,209,9,102,255,130,59,204,198,206,242,44,89,105,106,62,171,213,53,120,133,121,55,50,190,125,176,163,113,183,248,241,180,52,89,210,45,5,61,194,200,103,51,250,195,50,200,71,35,230,171,57,205,144,22,85,149,195,234,229,222,11,225,175,183,41,59,156,142,54,16,21,82,155,221,219,126,10,223,157,5,188,176,70,231,191,52,165,203,235,62,55,61,6,52,164,177,112,183,106,33,77,61,113,155,83,7,39,216,183,36,188,32,235,23,118,38,11,230,211,239,219,145,123,228,239,79,213,178,229,164,238,149,205,152,175,22,29,206,102,37,106,192,146,123,156,91,206,87,136,162,20,21,215,239,43,249,30,81,122,138,174,252,45,94,235,169,230,104,245,172,46,152,216,208,235,188,48,46,192,12,230,236,214,5,74,68,239,61,194,10,59,180,221,62,242,189,175,148,152,59,229,120,193,94,119,194,60,34,66,180,218,61,163,49,129,217,160,32,111,150,57,66,101,179,41,236,69,160,158,14,40,38,203,210])
ExpC {cached = MWord64 126, expr = Fold {foldArg = ExpC {cached = MWord64 9109764189119939331, expr = MainArg}, foldSeed = ExpC {cached = MWord64 0, expr = Zero}, foldBody = ExpC {cached = MWord64 1306896099427793925, expr = If {ifCond = ExpC {cached = MWord64 1306896099427793925, expr = Fold1Arg}, ifTrue = ExpC {cached = MWord64 1306896099427793925, expr = Fold2Arg}, ifFalse = ExpC {cached = MWord64 1306896099427793925, expr = Fold1Arg}}}}}
Mismatch on 128 : 128 instead of 2
INOUTS to reproduce with client solve-exact: ([128,9109764189119939331,6818300578044174151,17384048449713003284,409605325706061362,5896917308668905398,7888238219259382178,16847977563828141316,5535784720060370725,2236735494332136231,13305007310275612668,12813318345463711949,5896206253442140688,15670242532607316299,17267917832867093220,1020534779710405241,12048607241385193618,8050865214623055818,6460385167250134506,5469949361724343474,13900646785515303538,162367822234810611,16782850862780625104,15113568662461138522,699314765707889232,7351501933256914050,18391800900785029083,9430308032969041730,4272890966755972521,14738166217524882610,14274200164728402121,14885363007503059341,17456472207701437923,3225410326122351205,6459213743641166859,7580797367843732586,7663857176078843518,4478527059486131213,12378376662003369315,15354084246450356264,3882883807726390485,8695692710834753010,9612475278294686545,8756292412382519860,4023953875220556493,3624953757829680544,13704728917192934170,9055152473692374998,12694988598058410740,11785041346563476755,8187621617660532581,13209388126519854030,17900721523119981773,17387365103990379793,13023023181850877946,3789769884552266239,6422840649999882551,15141815076600841850,3256668531542011966,402812682569450401,4446868586415837719,13979293748908033486,14413650946704745961,7476321478695490084,3721157485248814698,18029761710222983902,14117726028417852376,3628609816196775378,14470150668765230565,5123776047399506968,2549571397483248957,16587337110412553876,12339272725668472151,4117004379808396000,14791885482584327463,10405440487214223138,1592948815897023322,6196009062270336653,10780561495824806783,14106985365625709452,16874533478829127936,16566688090773943874,16021493241635534269,845307299141679943,16227826063753766215,12643054249182853946,13191969057658247962,3009703659274802112,4259552918561117566,11243402591678266843,10300373027177738753,3930645807789290162,1205112057338375197,1571251107214775894,5960876436578427729,11235331530707210286,15927904720559378251,15839307463794914327,9131963102594112395,757378173997257132,16134657786117859154,11384408604927490251,390232248685042934,13593680949761684372,12741539964128139820,5083337212026287612,16664399471484947490,13834207602872333130,3753926933108684011,11907054976582470991,14663593161348462662,16934509335142809396,4482647068477512786,3997076247599085047,4411385983815097934,479498597899910032,3780997616967068493,11820340226744778047,12772596406608939867,8100748625166302472,13219155810526282390,7652929080203591714,2447295463534226323,5611496897307967496,4440317711908497996,8200689210603268046,11228911107880119902,6035132255506830727,548332088033774365,2846934894483365539,15634499949211826688,13202171351297493438,2626484996530692386,13592871211173050353,2335536650086700548,16961443166987011871,1707686047351991230,8564325383416129140,2771218742909638585,842061871819245888,16641837043814470335,15233887220730270906,17233842384441762051,15850560894990331517,10471221706510203418,8873086724818332180,16472545420754125993,17228831829202168346,5741286585111712101,15349059843925799910,12892299508816654510,16507923920343776305,11856918535360392077,17216240799024296381,10794691194333894649,14829914655349315696,11011674496580951562,12651618890162660406,1605362211666599768,2150004139486628836,14896490517577040037,7415994843444664782,2710306386249041729,7659892775242985842,13842886823837780755,10583196171140549871,8898010094212008510,11267840423650837645,6565868223505131969,14877398467661704264,6292906396050747127,9864962151422434275,11707939709210892039,1472410204261744883,1563181947857958051,15553240406090089301,17229604146021725090,3117721099812329424,17985201289148893362,2196378664300962638,5900764870575285083,8833414126218255036,9975665064923276053,12569222922249696033,18224135089547734601,3278213577252361190,6811238552486506425,16967003064463933989,12245513387892274867,16624922249218647909,7518481600035927356,17667007618598055444,12421405785364127407,3342982320803981108,11013369058787406922,15628911968944220173,15036844936004032464,16950459392905218183,13571111612275286542,3479965519173159437,3375550685047252952,13853998344935688275,868911329633201854,16632629313936042975,17074121819172940292,15425714690736508257,362738652099559916,5380109664307420631,4904565595926221562,17226357996190323868,4463810695620296993,14017652576077221496,736602501757696555,4319071050664185973,13001608349995701215,15979605525575777461,4492675470361370162,17443062937383601204,13630014953319525652,12664782076466969796,10692608520074050417,10990461612996652518,4273618016451279452,16550558508459117372,8685098350238065182,13928310764112472718,6789680798840583114,8588823290516450818,13981601747701922529,4329326330583223747,2494794559389713718,4765239106196599472,12972752728703891593,15741393235525467674,4439447296967444141,11795796871789670490,3586918535888598046,9329498881689010051,61292103838955194,11563471008764949276,2334749091286590762,8010202442754767812,10822276890237720697,4124656734127869902,4779001284913326282,7345278995768946380,12966147408129016754,3017588912286082252,17066864098848881518,5024652794665183260,11593506565530278719,11430289357277434977,1050961906281449284,2920399264468913321,2753696974207149099,14698283278342285304,15155631486672701586],[2,126,94,241,5,81,109,233,76,31,184,177,81,217,239,14,167,111,89,75,192,2,232,209,9,102,255,130,59,204,198,206,242,44,89,105,106,62,171,213,53,120,133,121,55,50,190,125,176,163,113,183,248,241,180,52,89,210,45,5,61,194,200,103,51,250,195,50,200,71,35,230,171,57,205,144,22,85,149,195,234,229,222,11,225,175,183,41,59,156,142,54,16,21,82,155,221,219,126,10,223,157,5,188,176,70,231,191,52,165,203,235,62,55,61,6,52,164,177,112,183,106,33,77,61,113,155,83,7,39,216,183,36,188,32,235,23,118,38,11,230,211,239,219,145,123,228,239,79,213,178,229,164,238,149,205,152,175,22,29,206,102,37,106,192,146,123,156,91,206,87,136,162,20,21,215,239,43,249,30,81,122,138,174,252,45,94,235,169,230,104,245,172,46,152,216,208,235,188,48,46,192,12,230,236,214,5,74,68,239,61,194,10,59,180,221,62,242,189,175,148,152,59,229,120,193,94,119,194,60,34,66,180,218,61,163,49,129,217,160,32,111,150,57,66,101,179,41,236,69,160,158,14,40,38,203,210])
ExpC {cached = MWord64 126, expr = Fold {foldArg = ExpC {cached = MWord64 139003970170897, expr = Shr16 (ExpC {cached = MWord64 9109764189119939331, expr = MainArg})}, foldSeed = ExpC {cached = MWord64 2, expr = Shl1 (ExpC {cached = MWord64 1, expr = One})}, foldBody = ExpC {cached = MWord64 1306896099427793925, expr = If {ifCond = ExpC {cached = MWord64 1306896099427793925, expr = Fold1Arg}, ifTrue = ExpC {cached = MWord64 1306896099427793925, expr = Fold2Arg}, ifFalse = ExpC {cached = MWord64 1306896099427793925, expr = Fold1Arg}}}}}
Mismatch on 262144 : 4 instead of 6
INOUTS to reproduce with client solve-exact: ([262144,128,9109764189119939331,6818300578044174151,17384048449713003284,409605325706061362,5896917308668905398,7888238219259382178,16847977563828141316,5535784720060370725,2236735494332136231,13305007310275612668,12813318345463711949,5896206253442140688,15670242532607316299,17267917832867093220,1020534779710405241,12048607241385193618,8050865214623055818,6460385167250134506,5469949361724343474,13900646785515303538,162367822234810611,16782850862780625104,15113568662461138522,699314765707889232,7351501933256914050,18391800900785029083,9430308032969041730,4272890966755972521,14738166217524882610,14274200164728402121,14885363007503059341,17456472207701437923,3225410326122351205,6459213743641166859,7580797367843732586,7663857176078843518,4478527059486131213,12378376662003369315,15354084246450356264,3882883807726390485,8695692710834753010,9612475278294686545,8756292412382519860,4023953875220556493,3624953757829680544,13704728917192934170,9055152473692374998,12694988598058410740,11785041346563476755,8187621617660532581,13209388126519854030,17900721523119981773,17387365103990379793,13023023181850877946,3789769884552266239,6422840649999882551,15141815076600841850,3256668531542011966,402812682569450401,4446868586415837719,13979293748908033486,14413650946704745961,7476321478695490084,3721157485248814698,18029761710222983902,14117726028417852376,3628609816196775378,14470150668765230565,5123776047399506968,2549571397483248957,16587337110412553876,12339272725668472151,4117004379808396000,14791885482584327463,10405440487214223138,1592948815897023322,6196009062270336653,10780561495824806783,14106985365625709452,16874533478829127936,16566688090773943874,16021493241635534269,845307299141679943,16227826063753766215,12643054249182853946,13191969057658247962,3009703659274802112,4259552918561117566,11243402591678266843,10300373027177738753,3930645807789290162,1205112057338375197,1571251107214775894,5960876436578427729,11235331530707210286,15927904720559378251,15839307463794914327,9131963102594112395,757378173997257132,16134657786117859154,11384408604927490251,390232248685042934,13593680949761684372,12741539964128139820,5083337212026287612,16664399471484947490,13834207602872333130,3753926933108684011,11907054976582470991,14663593161348462662,16934509335142809396,4482647068477512786,3997076247599085047,4411385983815097934,479498597899910032,3780997616967068493,11820340226744778047,12772596406608939867,8100748625166302472,13219155810526282390,7652929080203591714,2447295463534226323,5611496897307967496,4440317711908497996,8200689210603268046,11228911107880119902,6035132255506830727,548332088033774365,2846934894483365539,15634499949211826688,13202171351297493438,2626484996530692386,13592871211173050353,2335536650086700548,16961443166987011871,1707686047351991230,8564325383416129140,2771218742909638585,842061871819245888,16641837043814470335,15233887220730270906,17233842384441762051,15850560894990331517,10471221706510203418,8873086724818332180,16472545420754125993,17228831829202168346,5741286585111712101,15349059843925799910,12892299508816654510,16507923920343776305,11856918535360392077,17216240799024296381,10794691194333894649,14829914655349315696,11011674496580951562,12651618890162660406,1605362211666599768,2150004139486628836,14896490517577040037,7415994843444664782,2710306386249041729,7659892775242985842,13842886823837780755,10583196171140549871,8898010094212008510,11267840423650837645,6565868223505131969,14877398467661704264,6292906396050747127,9864962151422434275,11707939709210892039,1472410204261744883,1563181947857958051,15553240406090089301,17229604146021725090,3117721099812329424,17985201289148893362,2196378664300962638,5900764870575285083,8833414126218255036,9975665064923276053,12569222922249696033,18224135089547734601,3278213577252361190,6811238552486506425,16967003064463933989,12245513387892274867,16624922249218647909,7518481600035927356,17667007618598055444,12421405785364127407,3342982320803981108,11013369058787406922,15628911968944220173,15036844936004032464,16950459392905218183,13571111612275286542,3479965519173159437,3375550685047252952,13853998344935688275,868911329633201854,16632629313936042975,17074121819172940292,15425714690736508257,362738652099559916,5380109664307420631,4904565595926221562,17226357996190323868,4463810695620296993,14017652576077221496,736602501757696555,4319071050664185973,13001608349995701215,15979605525575777461,4492675470361370162,17443062937383601204,13630014953319525652,12664782076466969796,10692608520074050417,10990461612996652518,4273618016451279452,16550558508459117372,8685098350238065182,13928310764112472718,6789680798840583114,8588823290516450818,13981601747701922529,4329326330583223747,2494794559389713718,4765239106196599472,12972752728703891593,15741393235525467674,4439447296967444141,11795796871789670490,3586918535888598046,9329498881689010051,61292103838955194,11563471008764949276,2334749091286590762,8010202442754767812,10822276890237720697,4124656734127869902,4779001284913326282,7345278995768946380,12966147408129016754,3017588912286082252,17066864098848881518,5024652794665183260,11593506565530278719,11430289357277434977,1050961906281449284,2920399264468913321,2753696974207149099,14698283278342285304,15155631486672701586],[6,2,126,94,241,5,81,109,233,76,31,184,177,81,217,239,14,167,111,89,75,192,2,232,209,9,102,255,130,59,204,198,206,242,44,89,105,106,62,171,213,53,120,133,121,55,50,190,125,176,163,113,183,248,241,180,52,89,210,45,5,61,194,200,103,51,250,195,50,200,71,35,230,171,57,205,144,22,85,149,195,234,229,222,11,225,175,183,41,59,156,142,54,16,21,82,155,221,219,126,10,223,157,5,188,176,70,231,191,52,165,203,235,62,55,61,6,52,164,177,112,183,106,33,77,61,113,155,83,7,39,216,183,36,188,32,235,23,118,38,11,230,211,239,219,145,123,228,239,79,213,178,229,164,238,149,205,152,175,22,29,206,102,37,106,192,146,123,156,91,206,87,136,162,20,21,215,239,43,249,30,81,122,138,174,252,45,94,235,169,230,104,245,172,46,152,216,208,235,188,48,46,192,12,230,236,214,5,74,68,239,61,194,10,59,180,221,62,242,189,175,148,152,59,229,120,193,94,119,194,60,34,66,180,218,61,163,49,129,217,160,32,111,150,57,66,101,179,41,236,69,160,158,14,40,38,203,210])
^C