model.proof

{"protocol":{"domain":{"k":20,"n":1048576,"n_inv":[0,0,0,17592186044416],"gen":[138401318583551795,9905347880094660640,11718360747020793053,1852013080597357056],"gen_inv":[9091523228542722555,13041570835191812554,1589937418470923934,1254658277821569380]},"preprocessed":[{"x":[6149711547452530378,7154733800698587378,12968955989360172544,51304697497200269],"y":[16280566252846335713,6547163250641555499,10390393828350243975,2736760945909291755]},{"x":[17972666420247815025,14843064969569086715,14882643150390804959,866072816400793572],"y":[17335082614194055878,13921479235471767718,12155716067197961326,2688027929688835749]},{"x":[2087174487518817542,7056284419059223202,558196782389403194,423668649986020435],"y":[9300729342884618265,1736754608495726856,2458118782398736496,1868874850656620707]},{"x":[2657938259218325389,3163692697522916410,10948096116355388412,470777631503440505],"y":[8401242871874861675,11967646139220046220,14480864019478282250,3026327790609780749]},{"x":[2868437012219036650,10956556788951645285,6856428449443856585,2560446119877264692],"y":[15927823198332264450,16443798617393814039,14534600721675039484,812140082273259224]},{"x":[15502821331256049450,4553906681270703686,11111737819691980989,1191892562114434081],"y":[14905644737124275860,11663034119764990074,9315289341247568771,3449713336541344430]},{"x":[14554944985001033456,16582172779045936070,5900136776406371671,1387402192715303214],"y":[5958057013668068892,9982549529468310083,14538090156621282407,1483501905079241755]},{"x":[15372695470810309834,9060169921000211496,1086175456518314668,1821369388325122669],"y":[14770666678081919533,3171420724952215763,14977043041734969618,1068947691445329266]},{"x":[18271219914965449934,7346111857895411848,12715175885755741225,1621729696415350326],"y":[10041718894464060056,3232622656004227146,15128248679233920055,156881884965519811]},{"x":[17645691691572227689,402789951162723162,4145032875186431914,265687001408862612],"y":[3015140152386780507,817282469844951834,17430435702375001442,1318931245353651319]},{"x":[0,0,0,0],"y":[0,0,0,0]},{"x":[17940693868465539164,6543054447893858573,4963195274190617661,2193804583486218324],"y":[15342765758093166370,5502985744834236275,5684792175119319712,1091688379409456245]},{"x":[0,0,0,0],"y":[0,0,0,0]},{"x":[9514784310317059886,8001587671912642526,10536440016366702473,1158663099728912151],"y":[11825228746744865081,3686058488863637535,11267351950806268968,3376339715845932807]},{"x":[0,0,0,0],"y":[0,0,0,0]},{"x":[12672987957433311235,7856386025009871295,13441911341008378362,1938361951563100321],"y":[7994939046169692357,2618747790774776902,16410726516219189476,339408698452187725]},{"x":[0,0,0,0],"y":[0,0,0,0]},{"x":[0,0,0,0],"y":[0,0,0,0]},{"x":[5937891579860979004,4360707437104569247,7565514921543471767,2277439060249151475],"y":[17411833266175101057,16324124399776100369,2028734886386576904,3377259586640119929]},{"x":[12970260808687608376,10563176113224389394,12331299228641479654,1093089588498600902],"y":[9367027437434135231,17996185479913918155,10921047486558151999,2403558463374556372]},{"x":[5110350021706025806,18383485057255842703,4797786270586181145,3241171006246026124],"y":[7103817518313455256,14930740128284368592,17693589203895371936,546583620362938210]},{"x":[14426675829580370899,9443338307630525881,12805529319497833998,1256735169510257955],"y":[3384982419703428882,8564111223802056004,484484836825932271,2119010252431966253]},{"x":[11013979445051757967,14239121473119161683,14076172418549327756,611641124970225363],"y":[14278538742493342596,498747390049376640,604049956083517654,782625221681690518]},{"x":[400279516285294541,127391473530318791,1343204047563785713,1809031240654204958],"y":[7530208206735848957,10122571761855051446,13198920595181410872,318075295636443766]},{"x":[16875859781076595483,7339067791065550550,15411816283114342475,1156443435189095204],"y":[18167337353004748934,15597077741326164416,12706934689553333909,2753869245568525925]},{"x":[14310014817372311468,3637823162031014486,17660805161825867722,2127152664667879126],"y":[12425202127777500577,1221811439930720644,1993495403987546140,184148743054574477]}],"num_instance":[101],"num_witness":[6,6,10],"num_challenge":[1,2,1],"evaluations":[{"poly":27,"rotation":0},{"poly":28,"rotation":0},{"poly":29,"rotation":0},{"poly":30,"rotation":0},{"poly":31,"rotation":0},{"poly":32,"rotation":0},{"poly":31,"rotation":-1},{"poly":0,"rotation":0},{"poly":1,"rotation":0},{"poly":2,"rotation":0},{"poly":3,"rotation":0},{"poly":4,"rotation":0},{"poly":5,"rotation":0},{"poly":6,"rotation":0},{"poly":7,"rotation":0},{"poly":8,"rotation":0},{"poly":9,"rotation":0},{"poly":10,"rotation":0},{"poly":11,"rotation":0},{"poly":12,"rotation":0},{"poly":13,"rotation":0},{"poly":14,"rotation":0},{"poly":15,"rotation":0},{"poly":16,"rotation":0},{"poly":17,"rotation":0},{"poly":48,"rotation":0},{"poly":18,"rotation":0},{"poly":19,"rotation":0},{"poly":20,"rotation":0},{"poly":21,"rotation":0},{"poly":22,"rotation":0},{"poly":23,"rotation":0},{"poly":24,"rotation":0},{"poly":25,"rotation":0},{"poly":39,"rotation":0},{"poly":39,"rotation":1},{"poly":39,"rotation":-6},{"poly":40,"rotation":0},{"poly":40,"rotation":1},{"poly":40,"rotation":-6},{"poly":41,"rotation":0},{"poly":41,"rotation":1},{"poly":42,"rotation":0},{"poly":42,"rotation":1},{"poly":33,"rotation":0},{"poly":43,"rotation":0},{"poly":43,"rotation":1},{"poly":34,"rotation":0},{"poly":44,"rotation":0},{"poly":44,"rotation":1},{"poly":35,"rotation":0},{"poly":45,"rotation":0},{"poly":45,"rotation":1},{"poly":36,"rotation":0},{"poly":46,"rotation":0},{"poly":46,"rotation":1},{"poly":37,"rotation":0},{"poly":47,"rotation":0},{"poly":47,"rotation":1},{"poly":38,"rotation":0}],"queries":[{"poly":27,"rotation":0},{"poly":28,"rotation":0},{"poly":29,"rotation":0},{"poly":30,"rotation":0},{"poly":31,"rotation":0},{"poly":32,"rotation":0},{"poly":31,"rotation":-1},{"poly":39,"rotation":0},{"poly":39,"rotation":1},{"poly":40,"rotation":0},{"poly":40,"rotation":1},{"poly":41,"rotation":0},{"poly":41,"rotation":1},{"poly":40,"rotation":-6},{"poly":39,"rotation":-6},{"poly":42,"rotation":0},{"poly":42,"rotation":1},{"poly":33,"rotation":0},{"poly":43,"rotation":0},{"poly":43,"rotation":1},{"poly":34,"rotation":0},{"poly":44,"rotation":0},{"poly":44,"rotation":1},{"poly":35,"rotation":0},{"poly":45,"rotation":0},{"poly":45,"rotation":1},{"poly":36,"rotation":0},{"poly":46,"rotation":0},{"poly":46,"rotation":1},{"poly":37,"rotation":0},{"poly":47,"rotation":0},{"poly":47,"rotation":1},{"poly":38,"rotation":0},{"poly":0,"rotation":0},{"poly":1,"rotation":0},{"poly":2,"rotation":0},{"poly":3,"rotation":0},{"poly":4,"rotation":0},{"poly":5,"rotation":0},{"poly":6,"rotation":0},{"poly":7,"rotation":0},{"poly":8,"rotation":0},{"poly":9,"rotation":0},{"poly":10,"rotation":0},{"poly":11,"rotation":0},{"poly":12,"rotation":0},{"poly":13,"rotation":0},{"poly":14,"rotation":0},{"poly":15,"rotation":0},{"poly":16,"rotation":0},{"poly":17,"rotation":0},{"poly":18,"rotation":0},{"poly":19,"rotation":0},{"poly":20,"rotation":0},{"poly":21,"rotation":0},{"poly":22,"rotation":0},{"poly":23,"rotation":0},{"poly":24,"rotation":0},{"poly":25,"rotation":0},{"poly":49,"rotation":0},{"poly":48,"rotation":0}],"quotient":{"chunk_degree":1,"num_chunk":4,"numerator":{"DistributePowers":[[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":12,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":12,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":12,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":31,"rotation":0}},{"Negated":{"Polynomial":{"poly":29,"rotation":0}}}]}]},{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":14,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":14,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":14,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":32,"rotation":0}},{"Negated":{"Polynomial":{"poly":30,"rotation":0}}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":11,"rotation":0}},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":11,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":11,"rotation":0}}}]}]},{"Sum":[{"Constant":[7959790035488735211,12951774245394433045,16242874202584236123,560012691975822483]},{"Negated":{"Polynomial":{"poly":11,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":31,"rotation":0}},{"Negated":{"Sum":[{"Polynomial":{"poly":27,"rotation":0}},{"Polynomial":{"poly":29,"rotation":0}}]}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":13,"rotation":0}},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":13,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":13,"rotation":0}}}]}]},{"Sum":[{"Constant":[7959790035488735211,12951774245394433045,16242874202584236123,560012691975822483]},{"Negated":{"Polynomial":{"poly":13,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":32,"rotation":0}},{"Negated":{"Sum":[{"Polynomial":{"poly":28,"rotation":0}},{"Polynomial":{"poly":30,"rotation":0}}]}}]}]},{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":12,"rotation":0}},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":12,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":12,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":31,"rotation":0}},{"Negated":{"Product":[{"Polynomial":{"poly":27,"rotation":0}},{"Polynomial":{"poly":29,"rotation":0}}]}}]}]},{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":14,"rotation":0}},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":14,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":14,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":32,"rotation":0}},{"Negated":{"Product":[{"Polynomial":{"poly":28,"rotation":0}},{"Polynomial":{"poly":30,"rotation":0}}]}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":11,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":11,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":11,"rotation":0}}}]}]},{"Sum":[{"Constant":[7959790035488735211,12951774245394433045,16242874202584236123,560012691975822483]},{"Negated":{"Polynomial":{"poly":11,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":31,"rotation":0}},{"Negated":{"Sum":[{"Polynomial":{"poly":27,"rotation":0}},{"Negated":{"Polynomial":{"poly":29,"rotation":0}}}]}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":13,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":13,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":13,"rotation":0}}}]}]},{"Sum":[{"Constant":[7959790035488735211,12951774245394433045,16242874202584236123,560012691975822483]},{"Negated":{"Polynomial":{"poly":13,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":32,"rotation":0}},{"Negated":{"Sum":[{"Polynomial":{"poly":28,"rotation":0}},{"Negated":{"Polynomial":{"poly":30,"rotation":0}}}]}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":11,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":11,"rotation":0}}}]}]},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":11,"rotation":0}}}]}]},{"Sum":[{"Constant":[7959790035488735211,12951774245394433045,16242874202584236123,560012691975822483]},{"Negated":{"Polynomial":{"poly":11,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":31,"rotation":0}},{"Negated":{"Negated":{"Polynomial":{"poly":29,"rotation":0}}}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":13,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":13,"rotation":0}}}]}]},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":13,"rotation":0}}}]}]},{"Sum":[{"Constant":[7959790035488735211,12951774245394433045,16242874202584236123,560012691975822483]},{"Negated":{"Polynomial":{"poly":13,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":32,"rotation":0}},{"Negated":{"Negated":{"Polynomial":{"poly":30,"rotation":0}}}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":11,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":11,"rotation":0}}}]}]},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":11,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":11,"rotation":0}}}]}]},{"Polynomial":{"poly":29,"rotation":0}}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":13,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":13,"rotation":0}}}]}]},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":13,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":13,"rotation":0}}}]}]},{"Polynomial":{"poly":30,"rotation":0}}]},{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":12,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":12,"rotation":0}}}]}]},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":12,"rotation":0}}}]}]},{"Product":[{"Polynomial":{"poly":29,"rotation":0}},{"Sum":[{"Polynomial":{"poly":29,"rotation":0}},{"Negated":{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}}]}]}]},{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":14,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":14,"rotation":0}}}]}]},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":14,"rotation":0}}}]}]},{"Product":[{"Polynomial":{"poly":30,"rotation":0}},{"Sum":[{"Polynomial":{"poly":30,"rotation":0}},{"Negated":{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}}]}]}]},{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":15,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":15,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":15,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":31,"rotation":0}},{"Negated":{"Sum":[{"Polynomial":{"poly":31,"rotation":-1}},{"Sum":[{"Sum":[{"Constant":[0,0,0,0]},{"Product":[{"Polynomial":{"poly":27,"rotation":0}},{"Polynomial":{"poly":29,"rotation":0}}]}]},{"Product":[{"Polynomial":{"poly":28,"rotation":0}},{"Polynomial":{"poly":30,"rotation":0}}]}]}]}}]}]},{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":15,"rotation":0}},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":15,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":15,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":31,"rotation":0}},{"Negated":{"Sum":[{"Sum":[{"Constant":[0,0,0,0]},{"Product":[{"Polynomial":{"poly":27,"rotation":0}},{"Polynomial":{"poly":29,"rotation":0}}]}]},{"Product":[{"Polynomial":{"poly":28,"rotation":0}},{"Polynomial":{"poly":30,"rotation":0}}]}]}}]}]},{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":15,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":15,"rotation":0}}}]}]},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":15,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":31,"rotation":0}},{"Negated":{"Product":[{"Product":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Polynomial":{"poly":29,"rotation":0}}]},{"Polynomial":{"poly":30,"rotation":0}}]}}]}]},{"Product":[{"Product":[{"Polynomial":{"poly":16,"rotation":0}},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":16,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":31,"rotation":0}},{"Negated":{"Product":[{"Polynomial":{"poly":31,"rotation":-1}},{"Product":[{"Product":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Polynomial":{"poly":29,"rotation":0}}]},{"Polynomial":{"poly":30,"rotation":0}}]}]}}]}]},{"Product":[{"Polynomial":{"poly":17,"rotation":0}},{"Sum":[{"Polynomial":{"poly":31,"rotation":0}},{"Negated":{"Sum":[{"Sum":[{"Constant":[0,0,0,0]},{"Polynomial":{"poly":29,"rotation":0}}]},{"Polynomial":{"poly":30,"rotation":0}}]}}]}]},{"Product":[{"Product":[{"Polynomial":{"poly":16,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":16,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":31,"rotation":0}},{"Negated":{"Sum":[{"Polynomial":{"poly":31,"rotation":-1}},{"Sum":[{"Sum":[{"Constant":[0,0,0,0]},{"Polynomial":{"poly":29,"rotation":0}}]},{"Polynomial":{"poly":30,"rotation":0}}]}]}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":39,"rotation":0}}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":-6}},{"Sum":[{"Product":[{"Polynomial":{"poly":41,"rotation":0}},{"Polynomial":{"poly":41,"rotation":0}}]},{"Negated":{"Polynomial":{"poly":41,"rotation":0}}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":0}},{"Sum":[{"Polynomial":{"poly":40,"rotation":0}},{"Negated":{"Polynomial":{"poly":39,"rotation":-6}}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":0}},{"Sum":[{"Polynomial":{"poly":41,"rotation":0}},{"Negated":{"Polynomial":{"poly":40,"rotation":-6}}}]}]},{"Product":[{"Sum":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"CommonPolynomial":{"Lagrange":-6}}}]},{"Negated":{"Sum":[{"Sum":[{"Sum":[{"Sum":[{"CommonPolynomial":{"Lagrange":-5}},{"CommonPolynomial":{"Lagrange":-4}}]},{"CommonPolynomial":{"Lagrange":-3}}]},{"CommonPolynomial":{"Lagrange":-2}}]},{"CommonPolynomial":{"Lagrange":-1}}]}}]},{"Sum":[{"Product":[{"Polynomial":{"poly":39,"rotation":1}},{"Product":[{"Product":[{"Sum":[{"Sum":[{"Polynomial":{"poly":27,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":18,"rotation":0}}]}]},{"Challenge":2}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":28,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":19,"rotation":0}}]}]},{"Challenge":2}]}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":29,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":20,"rotation":0}}]}]},{"Challenge":2}]}]}]},{"Negated":{"Product":[{"Polynomial":{"poly":39,"rotation":0}},{"Product":[{"Product":[{"Sum":[{"Sum":[{"Polynomial":{"poly":27,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":28,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[11100302345850292309,5109383341788583484,6450182039226333095,2498166472155664813]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":29,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[11922143911221101039,4762855335879493275,9634852812984583437,2104342265551292894]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]}]}]}}]}]},{"Product":[{"Sum":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"CommonPolynomial":{"Lagrange":-6}}}]},{"Negated":{"Sum":[{"Sum":[{"Sum":[{"Sum":[{"CommonPolynomial":{"Lagrange":-5}},{"CommonPolynomial":{"Lagrange":-4}}]},{"CommonPolynomial":{"Lagrange":-3}}]},{"CommonPolynomial":{"Lagrange":-2}}]},{"CommonPolynomial":{"Lagrange":-1}}]}}]},{"Sum":[{"Product":[{"Polynomial":{"poly":40,"rotation":1}},{"Product":[{"Product":[{"Sum":[{"Sum":[{"Polynomial":{"poly":30,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":21,"rotation":0}}]}]},{"Challenge":2}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":31,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":22,"rotation":0}}]}]},{"Challenge":2}]}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":32,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":23,"rotation":0}}]}]},{"Challenge":2}]}]}]},{"Negated":{"Product":[{"Polynomial":{"poly":40,"rotation":0}},{"Product":[{"Product":[{"Sum":[{"Sum":[{"Polynomial":{"poly":30,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[6393076176221150738,7283021187728417300,15472188617747294665,3366061389777165561]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":31,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[5185504448716010194,13473122879869045206,7110214824824105482,296185565312886903]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":32,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[3788189710366593638,12364756977029776224,17445039711624853376,2145282486335891750]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]}]}]}}]}]},{"Product":[{"Sum":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"CommonPolynomial":{"Lagrange":-6}}}]},{"Negated":{"Sum":[{"Sum":[{"Sum":[{"Sum":[{"CommonPolynomial":{"Lagrange":-5}},{"CommonPolynomial":{"Lagrange":-4}}]},{"CommonPolynomial":{"Lagrange":-3}}]},{"CommonPolynomial":{"Lagrange":-2}}]},{"CommonPolynomial":{"Lagrange":-1}}]}}]},{"Sum":[{"Product":[{"Polynomial":{"poly":41,"rotation":1}},{"Product":[{"Sum":[{"Sum":[{"Polynomial":{"poly":0,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":24,"rotation":0}}]}]},{"Challenge":2}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":26,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":25,"rotation":0}}]}]},{"Challenge":2}]}]}]},{"Negated":{"Product":[{"Polynomial":{"poly":41,"rotation":0}},{"Product":[{"Sum":[{"Sum":[{"Polynomial":{"poly":0,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[4313891821910826284,3017229878821944834,2706732049417028840,1207705578258863476]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":26,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[13059828841148723808,11237179000843376725,9900274079592382525,739015709256124487]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]}]}]}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":0}},{"Polynomial":{"poly":42,"rotation":0}}]},{"Product":[{"CommonPolynomial":{"Lagrange":-6}},{"Polynomial":{"poly":42,"rotation":0}}]},{"Product":[{"Sum":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"CommonPolynomial":{"Lagrange":-6}}}]},{"Negated":{"Sum":[{"Sum":[{"Sum":[{"Sum":[{"CommonPolynomial":{"Lagrange":-5}},{"CommonPolynomial":{"Lagrange":-4}}]},{"CommonPolynomial":{"Lagrange":-3}}]},{"CommonPolynomial":{"Lagrange":-2}}]},{"CommonPolynomial":{"Lagrange":-1}}]}}]},{"Sum":[{"Product":[{"Product":[{"Sum":[{"DistributePowers":[[{"Polynomial":{"poly":1,"rotation":0}},{"Polynomial":{"poly":2,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":5,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":27,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":5,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[13237764673901091687,10003316357915239663,15104596328730309461,384830314499864667]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":5,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":29,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":5,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[9036415676624934619,15734997062989629466,10568068443607570725,327913541417277831]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]},{"Sum":[{"Polynomial":{"poly":42,"rotation":1}},{"Negated":{"Polynomial":{"poly":42,"rotation":0}}}]}]},{"Negated":{"Sum":[{"Sum":[{"DistributePowers":[[{"Polynomial":{"poly":1,"rotation":0}},{"Polynomial":{"poly":2,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Negated":{"Product":[{"Polynomial":{"poly":33,"rotation":0}},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":5,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":27,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":5,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[13237764673901091687,10003316357915239663,15104596328730309461,384830314499864667]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":5,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":29,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":5,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[9036415676624934619,15734997062989629466,10568068443607570725,327913541417277831]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]}}]}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":0}},{"Polynomial":{"poly":43,"rotation":0}}]},{"Product":[{"CommonPolynomial":{"Lagrange":-6}},{"Polynomial":{"poly":43,"rotation":0}}]},{"Product":[{"Sum":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"CommonPolynomial":{"Lagrange":-6}}}]},{"Negated":{"Sum":[{"Sum":[{"Sum":[{"Sum":[{"CommonPolynomial":{"Lagrange":-5}},{"CommonPolynomial":{"Lagrange":-4}}]},{"CommonPolynomial":{"Lagrange":-3}}]},{"CommonPolynomial":{"Lagrange":-2}}]},{"CommonPolynomial":{"Lagrange":-1}}]}}]},{"Sum":[{"Product":[{"Product":[{"Sum":[{"DistributePowers":[[{"Polynomial":{"poly":1,"rotation":0}},{"Polynomial":{"poly":2,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":6,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":28,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":6,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[13237764673901091687,10003316357915239663,15104596328730309461,384830314499864667]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":6,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":30,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":6,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[9036415676624934619,15734997062989629466,10568068443607570725,327913541417277831]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]},{"Sum":[{"Polynomial":{"poly":43,"rotation":1}},{"Negated":{"Polynomial":{"poly":43,"rotation":0}}}]}]},{"Negated":{"Sum":[{"Sum":[{"DistributePowers":[[{"Polynomial":{"poly":1,"rotation":0}},{"Polynomial":{"poly":2,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Negated":{"Product":[{"Polynomial":{"poly":34,"rotation":0}},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":6,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":28,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":6,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[13237764673901091687,10003316357915239663,15104596328730309461,384830314499864667]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":6,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":30,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":6,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[9036415676624934619,15734997062989629466,10568068443607570725,327913541417277831]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]}}]}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":0}},{"Polynomial":{"poly":44,"rotation":0}}]},{"Product":[{"CommonPolynomial":{"Lagrange":-6}},{"Polynomial":{"poly":44,"rotation":0}}]},{"Product":[{"Sum":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"CommonPolynomial":{"Lagrange":-6}}}]},{"Negated":{"Sum":[{"Sum":[{"Sum":[{"Sum":[{"CommonPolynomial":{"Lagrange":-5}},{"CommonPolynomial":{"Lagrange":-4}}]},{"CommonPolynomial":{"Lagrange":-3}}]},{"CommonPolynomial":{"Lagrange":-2}}]},{"CommonPolynomial":{"Lagrange":-1}}]}}]},{"Sum":[{"Product":[{"Product":[{"Sum":[{"DistributePowers":[[{"Polynomial":{"poly":1,"rotation":0}},{"Polynomial":{"poly":3,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":7,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":27,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":7,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[13237764673901091687,10003316357915239663,15104596328730309461,384830314499864667]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":7,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":29,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":7,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[0,0,0,0]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]},{"Sum":[{"Polynomial":{"poly":44,"rotation":1}},{"Negated":{"Polynomial":{"poly":44,"rotation":0}}}]}]},{"Negated":{"Sum":[{"Sum":[{"DistributePowers":[[{"Polynomial":{"poly":1,"rotation":0}},{"Polynomial":{"poly":3,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Negated":{"Product":[{"Polynomial":{"poly":35,"rotation":0}},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":7,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":27,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":7,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[13237764673901091687,10003316357915239663,15104596328730309461,384830314499864667]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":7,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":29,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":7,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[0,0,0,0]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]}}]}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":0}},{"Polynomial":{"poly":45,"rotation":0}}]},{"Product":[{"CommonPolynomial":{"Lagrange":-6}},{"Polynomial":{"poly":45,"rotation":0}}]},{"Product":[{"Sum":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"CommonPolynomial":{"Lagrange":-6}}}]},{"Negated":{"Sum":[{"Sum":[{"Sum":[{"Sum":[{"CommonPolynomial":{"Lagrange":-5}},{"CommonPolynomial":{"Lagrange":-4}}]},{"CommonPolynomial":{"Lagrange":-3}}]},{"CommonPolynomial":{"Lagrange":-2}}]},{"CommonPolynomial":{"Lagrange":-1}}]}}]},{"Sum":[{"Product":[{"Product":[{"Sum":[{"DistributePowers":[[{"Polynomial":{"poly":1,"rotation":0}},{"Polynomial":{"poly":3,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":8,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":28,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":8,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[13237764673901091687,10003316357915239663,15104596328730309461,384830314499864667]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":8,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":30,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":8,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[0,0,0,0]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]},{"Sum":[{"Polynomial":{"poly":45,"rotation":1}},{"Negated":{"Polynomial":{"poly":45,"rotation":0}}}]}]},{"Negated":{"Sum":[{"Sum":[{"DistributePowers":[[{"Polynomial":{"poly":1,"rotation":0}},{"Polynomial":{"poly":3,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Negated":{"Product":[{"Polynomial":{"poly":36,"rotation":0}},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":8,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":28,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":8,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[13237764673901091687,10003316357915239663,15104596328730309461,384830314499864667]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":8,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":30,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":8,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[0,0,0,0]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]}}]}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":0}},{"Polynomial":{"poly":46,"rotation":0}}]},{"Product":[{"CommonPolynomial":{"Lagrange":-6}},{"Polynomial":{"poly":46,"rotation":0}}]},{"Product":[{"Sum":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"CommonPolynomial":{"Lagrange":-6}}}]},{"Negated":{"Sum":[{"Sum":[{"Sum":[{"Sum":[{"CommonPolynomial":{"Lagrange":-5}},{"CommonPolynomial":{"Lagrange":-4}}]},{"CommonPolynomial":{"Lagrange":-3}}]},{"CommonPolynomial":{"Lagrange":-2}}]},{"CommonPolynomial":{"Lagrange":-1}}]}}]},{"Sum":[{"Product":[{"Product":[{"Sum":[{"DistributePowers":[[{"Polynomial":{"poly":1,"rotation":0}},{"Polynomial":{"poly":4,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":9,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":27,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":9,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[13237764673901091687,10003316357915239663,15104596328730309461,384830314499864667]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":9,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":29,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":9,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[0,0,0,0]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]},{"Sum":[{"Polynomial":{"poly":46,"rotation":1}},{"Negated":{"Polynomial":{"poly":46,"rotation":0}}}]}]},{"Negated":{"Sum":[{"Sum":[{"DistributePowers":[[{"Polynomial":{"poly":1,"rotation":0}},{"Polynomial":{"poly":4,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Negated":{"Product":[{"Polynomial":{"poly":37,"rotation":0}},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":9,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":27,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":9,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[13237764673901091687,10003316357915239663,15104596328730309461,384830314499864667]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":9,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":29,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":9,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[0,0,0,0]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]}}]}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":0}},{"Polynomial":{"poly":47,"rotation":0}}]},{"Product":[{"CommonPolynomial":{"Lagrange":-6}},{"Polynomial":{"poly":47,"rotation":0}}]},{"Product":[{"Sum":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"CommonPolynomial":{"Lagrange":-6}}}]},{"Negated":{"Sum":[{"Sum":[{"Sum":[{"Sum":[{"CommonPolynomial":{"Lagrange":-5}},{"CommonPolynomial":{"Lagrange":-4}}]},{"CommonPolynomial":{"Lagrange":-3}}]},{"CommonPolynomial":{"Lagrange":-2}}]},{"CommonPolynomial":{"Lagrange":-1}}]}}]},{"Sum":[{"Product":[{"Product":[{"Sum":[{"DistributePowers":[[{"Polynomial":{"poly":1,"rotation":0}},{"Polynomial":{"poly":4,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":10,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":28,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":10,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[13237764673901091687,10003316357915239663,15104596328730309461,384830314499864667]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":10,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":30,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":10,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[0,0,0,0]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]},{"Sum":[{"Polynomial":{"poly":47,"rotation":1}},{"Negated":{"Polynomial":{"poly":47,"rotation":0}}}]}]},{"Negated":{"Sum":[{"Sum":[{"DistributePowers":[[{"Polynomial":{"poly":1,"rotation":0}},{"Polynomial":{"poly":4,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Negated":{"Product":[{"Polynomial":{"poly":38,"rotation":0}},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":10,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":28,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":10,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[13237764673901091687,10003316357915239663,15104596328730309461,384830314499864667]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":10,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":30,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":10,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[0,0,0,0]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]}}]}}]}]}],{"Challenge":3}]}},"transcript_initial_state":[4777769188097292819,8167659998790133672,18267701264238668122,588747547867955630],"instance_committing_key":null,"linearization":null,"accumulator_indices":[]},"instances":[[[0,0,0,0],[0,0,0,0],[0,0,0,0],[0,0,0,0],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[0,0,0,0],[0,0,0,0],[0,0,0,0],[0,0,0,0],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[0,0,0,0],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[0,0,0,0],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[0,0,0,0],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[0,0,0,0],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[0,0,0,0],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[0,0,0,0],[0,0,0,0],[0,0,0,0],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[0,0,0,0],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[0,0,0,0],[0,0,0,0],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[0,0,0,0],[0,0,0,0],[0,0,0,0],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[0,0,0,0],[0,0,0,0],[0,0,0,0],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[17790097641883826870,6734412702664531886,2841569840876135241,970829618422932311],[6835514210936421353,10643412839807884771,3437058592396516096,1568141251780932959]]],"proof":[6,236,204,120,227,217,236,48,189,46,8,198,154,69,173,96,42,171,76,27,236,19,159,0,156,48,172,192,18,80,129,173,37,54,187,189,204,139,85,149,226,218,225,171,72,123,17,86,191,31,105,210,126,241,88,152,91,228,156,63,6,113,131,56,12,242,254,145,94,216,26,176,150,152,230,166,100,9,3,233,40,183,12,214,239,38,200,92,72,102,193,223,170,179,171,22,16,54,186,56,160,111,98,153,5,218,220,239,145,105,199,96,205,86,221,89,131,235,1,129,129,60,178,120,120,236,183,139,11,54,80,207,226,49,165,34,141,22,129,167,76,194,153,91,5,114,205,171,236,201,100,219,242,105,57,4,21,238,250,151,43,211,72,178,107,46,128,18,253,208,222,49,43,80,177,250,169,47,25,113,0,137,110,23,252,198,208,45,134,121,39,231,20,239,215,250,170,66,96,204,238,88,58,17,161,215,239,52,178,200,100,62,0,156,66,30,196,45,133,25,67,117,101,235,6,145,70,120,83,76,43,52,59,0,248,191,165,56,48,82,169,230,83,17,205,167,239,169,36,133,157,196,48,170,62,81,45,106,178,0,254,151,63,88,64,233,200,132,219,99,58,178,180,47,1,243,37,54,101,21,59,179,148,207,42,111,116,201,25,181,61,72,218,30,252,46,235,200,65,86,10,2,168,121,12,54,218,237,247,39,57,253,5,21,225,39,37,136,43,35,19,75,126,56,29,135,232,2,81,5,190,232,225,78,129,80,73,16,110,67,161,202,75,184,98,198,182,36,114,195,16,94,45,215,98,172,117,217,24,245,10,31,244,253,133,234,51,3,223,63,169,151,200,230,81,209,96,94,53,250,64,72,125,96,23,18,239,239,197,123,167,52,147,173,7,23,192,86,48,169,254,136,86,107,138,207,208,21,55,82,175,123,36,44,63,185,7,230,51,24,155,195,23,221,164,223,9,178,129,113,105,200,65,240,178,18,99,186,89,70,219,16,247,147,110,208,93,95,14,35,97,111,204,158,160,46,4,158,187,152,93,119,118,199,241,250,120,169,12,241,250,214,199,40,176,217,101,93,14,61,28,72,31,33,164,116,240,39,19,120,176,56,26,217,139,91,242,252,1,132,50,65,143,197,199,191,19,30,21,120,0,91,30,3,170,8,221,233,45,166,87,67,141,2,195,1,43,162,7,70,197,189,121,255,9,106,25,231,176,172,27,192,17,79,44,53,57,177,251,98,86,101,212,50,234,98,33,18,67,182,48,252,122,64,245,71,153,251,81,28,210,110,223,61,129,175,40,75,244,105,248,169,252,133,79,1,115,182,80,53,135,160,173,179,6,91,36,203,9,243,255,222,205,78,91,203,28,66,35,94,132,67,202,110,72,24,81,180,48,118,166,51,107,230,199,66,44,60,35,191,114,178,255,176,130,194,157,38,193,158,48,50,60,135,251,92,63,227,191,131,148,118,84,236,212,247,150,221,192,35,236,171,97,220,179,41,25,98,214,119,131,17,14,42,189,151,66,65,15,73,40,30,66,173,192,164,191,15,231,89,232,191,48,228,178,124,107,114,138,28,206,93,25,23,43,72,204,142,105,252,15,143,233,113,126,37,126,117,39,9,53,108,253,234,28,191,145,223,213,12,29,35,113,22,214,213,0,112,192,122,195,215,168,249,5,147,119,52,84,109,251,171,46,248,162,202,51,150,5,177,77,64,30,51,75,52,38,143,12,93,250,97,58,51,124,55,10,18,188,229,21,113,24,74,235,142,234,234,213,130,38,162,167,181,168,55,83,95,156,168,37,233,230,26,196,192,153,130,130,179,254,120,20,155,172,36,99,166,32,58,26,249,60,251,247,230,208,87,45,242,225,228,25,245,54,187,65,194,246,130,123,218,11,209,105,71,75,240,61,103,80,22,116,38,130,75,156,142,147,117,160,26,45,15,13,76,221,205,187,18,209,117,189,45,56,131,48,105,98,65,135,201,132,78,15,221,161,7,26,141,100,218,63,27,151,226,46,223,12,192,141,73,19,177,62,191,170,193,75,139,237,76,160,31,185,208,120,215,81,41,73,151,120,56,8,234,143,47,7,91,85,187,240,194,76,243,190,61,62,45,248,57,33,240,88,35,147,173,104,138,9,158,96,164,3,64,181,148,30,36,3,210,235,131,141,195,9,167,169,216,55,214,108,53,194,115,135,46,93,148,56,3,91,221,249,51,99,54,70,16,195,123,2,44,22,4,10,67,126,36,162,4,108,116,183,105,94,150,126,134,4,4,92,62,253,253,215,53,235,133,154,172,200,56,9,207,188,81,14,67,11,167,185,82,53,60,10,131,197,55,193,170,6,111,193,39,69,131,96,251,72,132,193,103,60,89,35,194,171,116,104,12,136,38,81,32,48,127,194,188,178,10,80,156,187,199,251,3,232,236,132,200,35,90,118,77,131,149,14,100,140,129,226,104,139,55,217,138,241,86,12,113,42,164,163,83,113,249,56,54,77,104,225,134,156,68,134,54,143,22,5,155,7,60,227,122,255,174,80,55,145,82,225,35,244,0,14,106,181,173,133,7,229,123,174,124,61,242,209,239,210,120,21,174,108,192,240,200,97,112,246,153,76,204,98,103,107,102,215,180,186,94,26,131,128,13,210,132,177,58,0,63,103,122,20,144,67,84,241,194,180,155,108,88,159,199,173,10,109,89,186,45,53,207,145,93,139,66,174,110,168,3,153,170,122,52,23,214,147,68,80,233,111,156,8,119,127,107,190,72,164,135,82,153,117,27,87,47,62,85,211,178,225,197,209,6,127,58,39,220,185,177,215,73,3,39,160,189,8,59,49,64,224,75,214,104,49,115,91,166,104,219,52,32,65,217,43,62,126,52,11,242,97,20,28,41,65,122,248,27,175,32,12,87,44,61,175,114,167,15,178,13,244,78,63,23,167,100,251,88,10,5,23,179,54,115,132,187,159,120,163,156,42,52,17,77,189,175,2,94,75,180,126,167,169,239,174,192,62,245,209,112,237,29,44,177,83,114,42,213,114,7,36,37,78,115,120,131,207,54,73,164,20,134,180,150,188,232,252,70,59,187,185,249,219,77,28,110,127,244,16,217,154,4,93,36,20,37,209,38,45,204,119,250,188,3,168,57,27,19,145,222,6,63,106,235,111,226,32,255,163,112,208,217,214,179,135,91,95,150,6,176,1,104,252,49,169,5,39,189,133,169,215,177,116,25,43,102,26,23,37,0,129,97,156,170,166,100,206,149,1,133,135,66,58,180,129,205,137,39,21,85,147,146,234,226,242,91,172,217,136,121,24,28,80,129,14,118,255,87,237,12,237,124,223,199,186,21,23,12,114,248,47,145,229,18,199,128,209,100,63,203,125,206,2,76,110,146,44,52,143,67,243,170,63,31,209,127,193,185,4,4,214,9,12,180,187,83,53,192,119,5,34,246,113,74,24,71,47,46,218,219,13,118,182,129,218,160,218,111,199,133,57,138,202,92,80,106,247,45,210,32,27,162,39,0,1,237,38,159,101,199,42,54,24,10,17,198,76,0,194,78,194,211,230,255,32,163,25,183,197,252,240,3,201,193,93,107,117,173,12,209,131,97,232,115,100,112,131,59,6,59,77,9,194,142,129,161,200,23,68,161,234,234,235,39,75,164,157,253,138,47,29,39,193,102,160,61,228,153,214,11,154,188,178,2,94,183,59,107,242,231,85,71,237,142,211,30,120,138,239,148,177,138,27,212,158,136,162,154,122,243,60,63,110,93,106,49,228,30,97,72,253,224,225,233,206,150,247,210,174,14,17,193,192,50,31,11,205,117,14,201,100,127,18,19,234,107,17,8,176,241,93,180,135,65,185,200,245,162,26,8,181,13,105,224,143,150,39,183,31,68,7,21,109,217,68,82,152,173,200,183,144,37,236,180,0,204,236,52,198,20,206,171,0,88,112,115,44,126,27,238,144,151,157,74,172,214,122,80,112,195,196,65,26,9,162,85,187,142,125,254,251,158,62,71,232,52,231,236,7,162,34,234,6,111,255,45,249,165,99,18,47,232,239,79,207,78,170,252,203,60,166,102,235,43,235,67,132,16,249,171,66,171,9,98,27,9,4,137,55,25,92,51,98,103,253,55,207,159,21,9,54,205,61,130,68,89,13,109,29,40,162,180,17,98,10,97,246,226,255,15,83,36,71,78,193,164,81,190,7,151,180,75,106,48,204,162,161,226,100,196,84,64,55,120,20,71,29,24,109,16,9,158,133,69,224,164,186,105,166,180,89,16,211,199,202,237,129,18,165,186,206,168,109,130,177,38,231,144,21,102,193,131,186,240,212,197,178,125,20,95,88,124,228,110,109,214,111,120,191,0,107,252,252,51,63,4,108,194,134,181,11,222,133,45,87,237,100,99,220,38,47,18,99,102,105,132,17,232,1,237,121,162,46,94,156,104,251,173,222,189,4,246,21,248,14,83,45,152,220,126,51,217,98,24,203,237,87,125,21,155,33,13,41,36,96,74,53,124,111,214,19,188,233,199,30,143,188,207,54,226,106,241,35,40,239,10,115,207,225,239,191,10,94,10,243,88,148,94,103,157,101,9,162,16,223,160,29,46,164,166,152,175,198,97,67,160,226,0,56,24,49,66,255,236,1,171,156,42,215,229,115,21,2,74,86,135,201,143,30,193,127,73,103,174,41,196,250,168,97,250,92,218,114,209,118,190,51,154,166,125,1,12,67,81,192,61,170,176,72,124,37,147,120,20,104,21,86,253,69,6,36,50,235,117,147,219,31,248,172,220,203,156,51,4,19,92,183,39,43,215,95,167,28,120,27,50,162,249,107,133,125,152,221,42,153,221,201,40,2,97,132,165,178,172,221,89,189,155,202,74,145,198,153,235,47,17,9,163,78,188,202,174,116,10,52,249,172,59,106,126,107,242,63,164,98,200,68,106,220,56,44,163,127,176,82,61,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,33,5,114,46,241,238,86,215,249,129,145,83,81,254,177,24,32,115,91,78,202,219,20,240,235,239,61,254,26,217,202,83,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,47,165,25,110,51,28,151,85,191,126,163,8,253,40,89,169,58,222,186,114,220,240,172,12,253,71,148,68,8,44,224,175,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,23,137,134,153,178,38,143,239,131,36,97,218,26,175,112,120,26,25,63,245,18,190,153,151,83,225,133,88,234,102,114,24,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,24,246,202,217,222,1,69,99,212,14,9,6,82,51,57,89,135,58,245,3,182,78,152,169,245,219,52,179,178,229,26,142,7,18,192,222,119,139,238,111,89,44,130,232,118,63,47,217,45,152,224,225,50,100,85,15,109,191,50,246,166,103,56,37,10,240,186,113,211,183,101,236,133,242,142,138,212,168,99,224,246,117,43,154,56,6,126,38,98,195,89,245,230,121,138,135,35,245,199,58,135,122,65,3,80,254,61,140,181,137,27,19,210,242,161,236,216,30,187,40,174,180,185,226,236,107,219,4,10,151,232,92,65,123,248,56,27,110,44,245,103,226,255,75,75,80,127,235,40,196,94,164,213,226,115,224,36,125,51,95,35,52,0,132,198,198,145,164,70,119,175,238,46,151,233,198,62,165,128,239,222,119,1,195,79,155,100,203,136,121,205,191,9,189,119,197,174,210,75,181,242,134,53,174,183,48,175,72,149,97,21,61,156,230,175,74,181,158,50,140,178,187,166,6,7,115,86,149,255,162,22,207,102,71,192,65,146,38,72,187,25,170,125,39,140,98,85,92,234,209,191,217,225,132,94,137,4,219,78,4,214,249,95,137,151,244,204,123,137,70,185,113,161,131,111,173,183,180,74,42,60,15,118,124,102,25,53,51,29,58,6,21,158,213,241,187,195,189,79,51,99,91,103,215,236,109,176,172,74,124,249,189,135,217,199,11,240,118,57,199,30,56,231,150,59,170,24,197,199,107,203,87,192,177,64,98,114,138,42,109,255,187,12,61,217,112,131,103,184,223,110,108,25,193,199,211,228,8,227,174,17,247,252,201,161,87,134,31,204,27,106,79,110,127,166,27,53,162,92,242,190,245,175,42,46,201,223,76,54,219,126,71,190,58,123,80,188,72,54,99,130,76,158,108,92,67,12,180,159,241,95,68,192,9,149,139,7,180,117,50,187,118,158,40,11,133,73,81,85,202,14,46,11,51,239,63,27,120,195,115,255,178,57,244,3,181,244,67,42,216,115,118,31,204,55,64,13,242,109,25,238,19,155,15,154,157,106,75,25,0,16,80,191,2,35,161,176,215,92,57,34,156,166,161,14,147,18,95,46,248,248,212,47,77,13,206,168,138,99,251,161,10,107,135,70,89,74,129,233,240,196,75,26,115,3,156,156,137,37,226,127,226,210,193,41,140,31,2,88,221,205,123,225,60,141,135,131,90,32,218,83,41,97,123,5,78,126,157,203,240,240,84,41,154,226,50,22,132,206,199,62,73,210,67,183,219,27,120,112,93,18,38,193,99,161,20,9,239,165,18,65,90,98,58,207,171,245,29,130,63,107,94,9,95,140,61,203,51,179,136,238,129,73,96,182,221,133,47,29,47,79,80,93,41,26,254,55,204,153,9,116,87,223,70,7,3,90,221,137,152,107,248,209,132,167,187,5,8,218,125,24,113,117,128,108,168,54,82,77,209,155,78,178,13,101,128,5,108,84,74,164,19,178,235,57,12,42,238,187,143,125,207,18,126,40,27,172,197,85,246,169,76,133,68,123,21,193,175,174,117,71,120,190,245,154,83,83,171,60,57,24,212,22,113,35,165,193,50,120,27,91,202,160,198,133,149,106,42,219,149,250,33,110,12,248,184,104,150,206,60,213,202,35,233,128,120,23,130,224,76,151,15,208,91,206,138,193,76,179,209,128,140,25,117,156,120,30,250,225,57,199,89,134,218,224,196,58,51,34,66,6,176,98,9,117,210,85,248,190,228,4,29,90,70,63,243,169,146,100,150,105,193,118,57,77,77,21,210,37,0,42,176,222,71,148,2,96,18,17,147,137,108,10,22,118,78,40,36,182,203,183,175,175,202,5,19,171,107,244,231,144,26,33,119,109,136,148,160,149,131,89,43,232,155,82,65,94,47,99,128,97,209,136,248,221,107,162,178,106,226,198,97,201,196,32,232,52,251,214,226,90,209,81,5,176,100,144,211,39,8,196,252,121,92,146,175,92,166,253,70,148,175,204,182,170,116,7,69,45,170,239,253,71,250,195,90,148,48,206,249,240,199,133,105,9,207,73,209,150,62,141,76,208,10,100,192,30,246,45,123,199,194,232,4,25,58,99,117,131,215,82,208,181,42,205,252,193,102,32,116,133,218,216,180,211,172,186,33,176,87,18,39,10,33,145,238,21,3,11,172,68,229,247,229,177,97,16,14,167,161,90,64,16,208,51,171,72,41,221,245,6,209,16,92,70,146,37,206,76,69,67,173,219,142,222,245,32,251,76,194,201,135,38,186,125,8,172,239,39,111,162,124,203,37,21,42,215,98,205,1,16,113,230,185,230,47,251,254,20,102,142,187,121,242,176,250,71,0,186,216,68,237,59,28,82,170,25,209,192,2,61,94,217,146,72,134,209,158,137,160,74,14,44,45,6,147,79,189,179,60,69,24,2,249,112,145,31,147,44,74,26,250,35,154,65,45,1,212,163,209,115,178,201,179,154,144,145,77,65,165,197,170,116,253,26,194,118,175,59,94,46,3,245,26,50,228,183,63,1,169,24,121,118,171,63,139,235,99,176,166,22,30,237,91,114,50,223,0,139,188,189,178,20,44,98,151,142,66,218,3,102,137,209,226,191,228,45,111,107,134,229,128,124,73,215,48,253,72,161,197,64,236,15,229,28,168,159,209,155,233,199,135,242,51,56,6,182,124,0,68,225,93,202,138,154,101,173,246,113,149,30,147,142,241,27,138,11,246,19,176,13,202,47,212,203,213,42,217,133,19,207,19,152,63,233,247,89,221,68,93,175,174,4,253,56,27,146,75],"transcript_type":"EVM","split":null}