zk-stats-demo/public/assets/model.pf

{"protocol":{"domain":{"k":16,"n":65536,"n_inv":[0,0,0,281474976710656],"gen":[10665003933121099792,16013842553938886812,14966897021558231939,3021016341478837347],"gen_inv":[15493876725954368108,15326722116879892753,4526420089858947292,2029352475764425065]},"preprocessed":[{"x":[1150707089003850264,16431723627058385718,7455539662848331247,2239607577812630311],"y":[17244360999468887752,11130727052569026946,5476109640673916618,2235509560927490762]},{"x":[15377971487414070124,10430583030644772387,13949894744348714628,84091289930683805],"y":[6289957566064819674,4838856450418422989,15087162137299226342,22370109200116448]},{"x":[7250547465443678985,8871211281403421081,13777721178200395954,919802625399627729],"y":[11272608901125548323,6142629284246115185,12296240490618605611,1762955291902343760]},{"x":[7872560932200590259,2439968327762813729,3637265924288196729,158318554031949419],"y":[12882330431555048521,12047060321667340840,9910279608000011493,1981130244287758082]},{"x":[14953897250713625787,7034703945617116619,3193123953542286687,1581111839474332309],"y":[11615426658735564576,14787066176959680150,15562677073757386445,552053130874226544]},{"x":[10543063270503642926,16060750076314864105,6678891459394729560,2703612559348984034],"y":[9950018750714855921,5390711992844810683,6539497251637864928,1018686111255318886]},{"x":[1024746501688838270,261641765887815075,12961714246938933812,112630559820679379],"y":[14338347968076490304,7306680706306238624,10531254585318172248,2188271717311834334]},{"x":[9515948686391263275,3829894898645754563,4426375952914218912,2520387575538827455],"y":[6851445449154874005,12865335709138881737,16100941238143348847,2973433635753120469]},{"x":[2022143769381096990,12179875849146888808,15204226048039641940,766921683019900091],"y":[14013847087517618841,17630956956862480460,5138414569975018519,2834252802420880678]},{"x":[10238519301696773970,9731616464134933733,2911125041255028666,2665557073408627800],"y":[11198733553201711786,13205702443615410046,6268703653560583855,1282952787326771206]},{"x":[9594089931223691501,4825974355831230738,10365007994120504193,1050128856438020530],"y":[5803284999551229984,17890806461656515414,5637989654266243286,2560253277663652535]},{"x":[3066985816698849652,10592127738445097085,4600353975772306605,2378663724428544016],"y":[10418868622479626275,2922781030672770367,7262405814749358911,3340304490952008956]},{"x":[14791055652625760944,18024796619944067094,16815810527479619687,2914943445619049503],"y":[4698796568384465888,17477975335511357875,2969671922201568477,2375358478920626609]},{"x":[5509230085002188953,7435856331959120026,9710232288981635724,1180474406856478631],"y":[7096885822123367505,13200062553198700787,2431458810975326735,2386819172144368226]},{"x":[0,0,0,0],"y":[0,0,0,0]},{"x":[6274170459049289628,8057752905819243664,1830611162907553393,3106806546812506998],"y":[1508485261688161866,5637813228925769124,4486996515981348715,1595229311435750400]},{"x":[13948568190174637932,8094230465502171225,12608619047357781403,1540271066006041599],"y":[13937963773850328710,4193249953125778703,8602445794327397499,263307979960645193]},{"x":[2339991136056504874,14195046973434971782,11712041473915100938,2608212034056201033],"y":[424214791528358651,14882709380148367105,81084913962051174,1200936169015887002]},{"x":[2479032516479220757,1211397677931571439,11608535282683458340,2162764154864213574],"y":[1127263894710567997,8852630856124566961,2442379048511302996,1966558695841444170]},{"x":[1022793445795759310,2632281820513344364,15779969643740828937,1980656317618360834],"y":[1317945322104064472,2621260731467630153,5727938469118186868,1292648781548991373]},{"x":[11495890193144602052,16038798879764984683,8323624787327609195,2538072838768085667],"y":[4214039004050234292,7498498101635299401,15319526088481142696,1330690188457182999]},{"x":[4733433903131267094,1878322080396187785,13781689433757962465,3044667380369496979],"y":[9947328073816586838,5071768497809157403,17468598763682866135,1172429138375905766]},{"x":[17302432615080579645,5807869454943927720,7891255125650846288,2543404208891036499],"y":[12769555091382873763,11485193082066590118,17455386960926046611,262140173553264354]},{"x":[7813471412271868989,15397666475782968738,836570858588452840,651137576495200792],"y":[5994013988162115634,15065420534328125990,10590445382195645755,331066058080267423]},{"x":[8748960643118267739,1703744394111757206,406847449009846746,2519603234089721765],"y":[13561779076093039053,12652728119414160698,15656113245830630691,3065869100217654505]},{"x":[14890917710778884530,2948101656216224274,17672956624150720661,2150697118771884038],"y":[272892439283251579,10433225615820586669,4056762869201865944,2348161896962422752]},{"x":[15889229121881362791,13114908710462607936,16860515120893505006,2444756570619949245],"y":[5148839957444642963,339680631731847218,9170639413264458151,795214061381398851]},{"x":[9926916962428168625,16712710790880511863,12075635964313579292,209772373122298959],"y":[13674682180895447937,4486435406632672785,5478990950453052426,1005313803411256228]},{"x":[12655874905877323016,13391006315534166483,1573151362875381507,809053189196019297],"y":[3525642172267065297,9795387823151606777,9661116471497061608,716486435884114378]},{"x":[5275381967201253926,10001675259076444764,17357414872445949250,3428820199503322051],"y":[7178936549358814374,9197400033596879433,11398435325035422467,2047297535890065655]},{"x":[2745338031040278300,10002315455744682761,13013655602444197272,1996266264552202156],"y":[10623376647365293565,609101261446028420,7958354165430430473,354460456306151360]},{"x":[6808744260324526559,676315754293690093,11458264514996084778,2813094633926620701],"y":[14209721006829220989,1968485393453239068,4319322714403175026,2899715212019178413]},{"x":[10138295033342180775,4844113097259190849,9614321718374246888,563735963867910781],"y":[8899098709447405231,16779557776112609168,13489812743810331482,1787126269404514115]},{"x":[3366221433648362017,8193931550971056404,9402163466299275914,453153298780526615],"y":[17052539408029022314,10807955147150686164,4414216183280044019,166268172627960138]},{"x":[8568589260609075232,13076067587168425383,16372800054618585105,402815412036025107],"y":[6877341528348020851,11965625491630871456,4692023647533184131,657222102314380323]}],"num_instance":[3],"num_witness":[9,6,10],"num_challenge":[1,2,1],"evaluations":[{"poly":36,"rotation":0},{"poly":37,"rotation":0},{"poly":38,"rotation":0},{"poly":39,"rotation":0},{"poly":40,"rotation":0},{"poly":41,"rotation":0},{"poly":42,"rotation":0},{"poly":43,"rotation":0},{"poly":42,"rotation":1},{"poly":43,"rotation":1},{"poly":44,"rotation":0},{"poly":43,"rotation":-1},{"poly":42,"rotation":-1},{"poly":40,"rotation":-1},{"poly":0,"rotation":0},{"poly":3,"rotation":0},{"poly":4,"rotation":0},{"poly":1,"rotation":0},{"poly":2,"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":60,"rotation":0},{"poly":23,"rotation":0},{"poly":24,"rotation":0},{"poly":25,"rotation":0},{"poly":26,"rotation":0},{"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":33,"rotation":0},{"poly":34,"rotation":0},{"poly":51,"rotation":0},{"poly":51,"rotation":1},{"poly":51,"rotation":-6},{"poly":52,"rotation":0},{"poly":52,"rotation":1},{"poly":52,"rotation":-6},{"poly":53,"rotation":0},{"poly":53,"rotation":1},{"poly":54,"rotation":0},{"poly":54,"rotation":1},{"poly":45,"rotation":0},{"poly":55,"rotation":0},{"poly":55,"rotation":1},{"poly":46,"rotation":0},{"poly":56,"rotation":0},{"poly":56,"rotation":1},{"poly":47,"rotation":0},{"poly":57,"rotation":0},{"poly":57,"rotation":1},{"poly":48,"rotation":0},{"poly":58,"rotation":0},{"poly":58,"rotation":1},{"poly":49,"rotation":0},{"poly":59,"rotation":0},{"poly":59,"rotation":1},{"poly":50,"rotation":0}],"queries":[{"poly":36,"rotation":0},{"poly":37,"rotation":0},{"poly":38,"rotation":0},{"poly":39,"rotation":0},{"poly":40,"rotation":0},{"poly":41,"rotation":0},{"poly":42,"rotation":0},{"poly":43,"rotation":0},{"poly":42,"rotation":1},{"poly":43,"rotation":1},{"poly":44,"rotation":0},{"poly":43,"rotation":-1},{"poly":42,"rotation":-1},{"poly":40,"rotation":-1},{"poly":51,"rotation":0},{"poly":51,"rotation":1},{"poly":52,"rotation":0},{"poly":52,"rotation":1},{"poly":53,"rotation":0},{"poly":53,"rotation":1},{"poly":52,"rotation":-6},{"poly":51,"rotation":-6},{"poly":54,"rotation":0},{"poly":54,"rotation":1},{"poly":45,"rotation":0},{"poly":55,"rotation":0},{"poly":55,"rotation":1},{"poly":46,"rotation":0},{"poly":56,"rotation":0},{"poly":56,"rotation":1},{"poly":47,"rotation":0},{"poly":57,"rotation":0},{"poly":57,"rotation":1},{"poly":48,"rotation":0},{"poly":58,"rotation":0},{"poly":58,"rotation":1},{"poly":49,"rotation":0},{"poly":59,"rotation":0},{"poly":59,"rotation":1},{"poly":50,"rotation":0},{"poly":0,"rotation":0},{"poly":3,"rotation":0},{"poly":4,"rotation":0},{"poly":1,"rotation":0},{"poly":2,"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":26,"rotation":0},{"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":33,"rotation":0},{"poly":34,"rotation":0},{"poly":61,"rotation":0},{"poly":60,"rotation":0}],"quotient":{"chunk_degree":1,"num_chunk":5,"numerator":{"DistributePowers":[[{"Product":[{"Polynomial":{"poly":15,"rotation":0}},{"Sum":[{"Sum":[{"Scaled":[{"Product":[{"Product":[{"Product":[{"Sum":[{"Polynomial":{"poly":42,"rotation":0}},{"Polynomial":{"poly":1,"rotation":0}}]},{"Sum":[{"Polynomial":{"poly":42,"rotation":0}},{"Polynomial":{"poly":1,"rotation":0}}]}]},{"Product":[{"Sum":[{"Polynomial":{"poly":42,"rotation":0}},{"Polynomial":{"poly":1,"rotation":0}}]},{"Sum":[{"Polynomial":{"poly":42,"rotation":0}},{"Polynomial":{"poly":1,"rotation":0}}]}]}]},{"Sum":[{"Polynomial":{"poly":42,"rotation":0}},{"Polynomial":{"poly":1,"rotation":0}}]}]},[17920654652615044516,5315228629426935734,16921197825591404379,2189197718402122891]]},{"Scaled":[{"Product":[{"Product":[{"Product":[{"Sum":[{"Polynomial":{"poly":43,"rotation":0}},{"Polynomial":{"poly":2,"rotation":0}}]},{"Sum":[{"Polynomial":{"poly":43,"rotation":0}},{"Polynomial":{"poly":2,"rotation":0}}]}]},{"Product":[{"Sum":[{"Polynomial":{"poly":43,"rotation":0}},{"Polynomial":{"poly":2,"rotation":0}}]},{"Sum":[{"Polynomial":{"poly":43,"rotation":0}},{"Polynomial":{"poly":2,"rotation":0}}]}]}]},{"Sum":[{"Polynomial":{"poly":43,"rotation":0}},{"Polynomial":{"poly":2,"rotation":0}}]}]},[14492560017976159917,4919046997046981090,263614296871819263,2759311356546844781]]}]},{"Negated":{"Polynomial":{"poly":42,"rotation":1}}}]}]},{"Product":[{"Polynomial":{"poly":15,"rotation":0}},{"Sum":[{"Sum":[{"Scaled":[{"Product":[{"Product":[{"Product":[{"Sum":[{"Polynomial":{"poly":42,"rotation":0}},{"Polynomial":{"poly":1,"rotation":0}}]},{"Sum":[{"Polynomial":{"poly":42,"rotation":0}},{"Polynomial":{"poly":1,"rotation":0}}]}]},{"Product":[{"Sum":[{"Polynomial":{"poly":42,"rotation":0}},{"Polynomial":{"poly":1,"rotation":0}}]},{"Sum":[{"Polynomial":{"poly":42,"rotation":0}},{"Polynomial":{"poly":1,"rotation":0}}]}]}]},{"Sum":[{"Polynomial":{"poly":42,"rotation":0}},{"Polynomial":{"poly":1,"rotation":0}}]}]},[6011552397623934548,6038211121966084978,18341914591778152024,3351495707820976067]]},{"Scaled":[{"Product":[{"Product":[{"Product":[{"Sum":[{"Polynomial":{"poly":43,"rotation":0}},{"Polynomial":{"poly":2,"rotation":0}}]},{"Sum":[{"Polynomial":{"poly":43,"rotation":0}},{"Polynomial":{"poly":2,"rotation":0}}]}]},{"Product":[{"Sum":[{"Polynomial":{"poly":43,"rotation":0}},{"Polynomial":{"poly":2,"rotation":0}}]},{"Sum":[{"Polynomial":{"poly":43,"rotation":0}},{"Polynomial":{"poly":2,"rotation":0}}]}]}]},{"Sum":[{"Polynomial":{"poly":43,"rotation":0}},{"Polynomial":{"poly":2,"rotation":0}}]}]},[16349074296086608540,7458233725163740651,5446347661749231797,1359884895167300752]]}]},{"Negated":{"Polynomial":{"poly":43,"rotation":1}}}]}]},{"Product":[{"Polynomial":{"poly":16,"rotation":0}},{"Sum":[{"Product":[{"Product":[{"Product":[{"Sum":[{"Polynomial":{"poly":42,"rotation":0}},{"Polynomial":{"poly":1,"rotation":0}}]},{"Sum":[{"Polynomial":{"poly":42,"rotation":0}},{"Polynomial":{"poly":1,"rotation":0}}]}]},{"Product":[{"Sum":[{"Polynomial":{"poly":42,"rotation":0}},{"Polynomial":{"poly":1,"rotation":0}}]},{"Sum":[{"Polynomial":{"poly":42,"rotation":0}},{"Polynomial":{"poly":1,"rotation":0}}]}]}]},{"Sum":[{"Polynomial":{"poly":42,"rotation":0}},{"Polynomial":{"poly":1,"rotation":0}}]}]},{"Negated":{"Polynomial":{"poly":44,"rotation":0}}}]}]},{"Product":[{"Polynomial":{"poly":16,"rotation":0}},{"Sum":[{"Product":[{"Product":[{"Product":[{"Sum":[{"Sum":[{"Scaled":[{"Polynomial":{"poly":44,"rotation":0}},[17920654652615044516,5315228629426935734,16921197825591404379,2189197718402122891]]},{"Scaled":[{"Sum":[{"Polynomial":{"poly":43,"rotation":0}},{"Polynomial":{"poly":2,"rotation":0}}]},[14492560017976159917,4919046997046981090,263614296871819263,2759311356546844781]]}]},{"Polynomial":{"poly":3,"rotation":0}}]},{"Sum":[{"Sum":[{"Scaled":[{"Polynomial":{"poly":44,"rotation":0}},[17920654652615044516,5315228629426935734,16921197825591404379,2189197718402122891]]},{"Scaled":[{"Sum":[{"Polynomial":{"poly":43,"rotation":0}},{"Polynomial":{"poly":2,"rotation":0}}]},[14492560017976159917,4919046997046981090,263614296871819263,2759311356546844781]]}]},{"Polynomial":{"poly":3,"rotation":0}}]}]},{"Product":[{"Sum":[{"Sum":[{"Scaled":[{"Polynomial":{"poly":44,"rotation":0}},[17920654652615044516,5315228629426935734,16921197825591404379,2189197718402122891]]},{"Scaled":[{"Sum":[{"Polynomial":{"poly":43,"rotation":0}},{"Polynomial":{"poly":2,"rotation":0}}]},[14492560017976159917,4919046997046981090,263614296871819263,2759311356546844781]]}]},{"Polynomial":{"poly":3,"rotation":0}}]},{"Sum":[{"Sum":[{"Scaled":[{"Polynomial":{"poly":44,"rotation":0}},[17920654652615044516,5315228629426935734,16921197825591404379,2189197718402122891]]},{"Scaled":[{"Sum":[{"Polynomial":{"poly":43,"rotation":0}},{"Polynomial":{"poly":2,"rotation":0}}]},[14492560017976159917,4919046997046981090,263614296871819263,2759311356546844781]]}]},{"Polynomial":{"poly":3,"rotation":0}}]}]}]},{"Sum":[{"Sum":[{"Scaled":[{"Polynomial":{"poly":44,"rotation":0}},[17920654652615044516,5315228629426935734,16921197825591404379,2189197718402122891]]},{"Scaled":[{"Sum":[{"Polynomial":{"poly":43,"rotation":0}},{"Polynomial":{"poly":2,"rotation":0}}]},[14492560017976159917,4919046997046981090,263614296871819263,2759311356546844781]]}]},{"Polynomial":{"poly":3,"rotation":0}}]}]},{"Negated":{"Sum":[{"Scaled":[{"Polynomial":{"poly":42,"rotation":1}},[7810590202345917679,4001289811682949179,14117875529941033743,551793561812414581]]},{"Scaled":[{"Polynomial":{"poly":43,"rotation":1}},[1909574960651208565,5274055703427280399,9428637225224546100,962532537166199475]]}]}}]}]},{"Product":[{"Polynomial":{"poly":16,"rotation":0}},{"Sum":[{"Sum":[{"Sum":[{"Scaled":[{"Polynomial":{"poly":44,"rotation":0}},[6011552397623934548,6038211121966084978,18341914591778152024,3351495707820976067]]},{"Scaled":[{"Sum":[{"Polynomial":{"poly":43,"rotation":0}},{"Polynomial":{"poly":2,"rotation":0}}]},[16349074296086608540,7458233725163740651,5446347661749231797,1359884895167300752]]}]},{"Polynomial":{"poly":4,"rotation":0}}]},{"Negated":{"Sum":[{"Scaled":[{"Polynomial":{"poly":42,"rotation":1}},[6201674473263580600,11027032022304752699,11812783833195029048,426590697376810083]]},{"Scaled":[{"Polynomial":{"poly":43,"rotation":1}},[9689808325616223960,4771942582599059852,18212175210456834468,3057340747369548698]]}]}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":17,"rotation":0}},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Constant":[7959790035488735211,12951774245394433045,16242874202584236123,560012691975822483]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Constant":[1949230679015292902,16913946402569752895,5177146667339417225,1571765431670520771]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":42,"rotation":-1}},{"Polynomial":{"poly":42,"rotation":0}}]},{"Negated":{"Polynomial":{"poly":42,"rotation":1}}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":17,"rotation":0}},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Constant":[7959790035488735211,12951774245394433045,16242874202584236123,560012691975822483]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Constant":[1949230679015292902,16913946402569752895,5177146667339417225,1571765431670520771]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":43,"rotation":-1}},{"Negated":{"Polynomial":{"poly":43,"rotation":1}}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":17,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Constant":[7959790035488735211,12951774245394433045,16242874202584236123,560012691975822483]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":40,"rotation":0}},{"Negated":{"Polynomial":{"poly":38,"rotation":0}}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":20,"rotation":0}},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":20,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":20,"rotation":0}}}]}]},{"Sum":[{"Constant":[7959790035488735211,12951774245394433045,16242874202584236123,560012691975822483]},{"Negated":{"Polynomial":{"poly":20,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":41,"rotation":0}},{"Negated":{"Polynomial":{"poly":39,"rotation":0}}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":17,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Constant":[7959790035488735211,12951774245394433045,16242874202584236123,560012691975822483]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Constant":[1949230679015292902,16913946402569752895,5177146667339417225,1571765431670520771]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":40,"rotation":0}},{"Negated":{"Sum":[{"Polynomial":{"poly":36,"rotation":0}},{"Polynomial":{"poly":38,"rotation":0}}]}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":18,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":18,"rotation":0}}}]}]},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":18,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":18,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":41,"rotation":0}},{"Negated":{"Sum":[{"Polynomial":{"poly":37,"rotation":0}},{"Polynomial":{"poly":39,"rotation":0}}]}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":18,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":18,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":18,"rotation":0}}}]}]},{"Sum":[{"Constant":[7959790035488735211,12951774245394433045,16242874202584236123,560012691975822483]},{"Negated":{"Polynomial":{"poly":18,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":40,"rotation":0}},{"Negated":{"Product":[{"Polynomial":{"poly":36,"rotation":0}},{"Polynomial":{"poly":38,"rotation":0}}]}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":19,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":19,"rotation":0}}}]}]},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":19,"rotation":0}}}]}]},{"Sum":[{"Constant":[7959790035488735211,12951774245394433045,16242874202584236123,560012691975822483]},{"Negated":{"Polynomial":{"poly":19,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":41,"rotation":0}},{"Negated":{"Product":[{"Polynomial":{"poly":37,"rotation":0}},{"Polynomial":{"poly":39,"rotation":0}}]}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":18,"rotation":0}},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":18,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":18,"rotation":0}}}]}]},{"Sum":[{"Constant":[7959790035488735211,12951774245394433045,16242874202584236123,560012691975822483]},{"Negated":{"Polynomial":{"poly":18,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":40,"rotation":0}},{"Negated":{"Sum":[{"Polynomial":{"poly":36,"rotation":0}},{"Negated":{"Polynomial":{"poly":38,"rotation":0}}}]}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":19,"rotation":0}},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":19,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":19,"rotation":0}}}]}]},{"Sum":[{"Constant":[7959790035488735211,12951774245394433045,16242874202584236123,560012691975822483]},{"Negated":{"Polynomial":{"poly":19,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":41,"rotation":0}},{"Negated":{"Sum":[{"Polynomial":{"poly":37,"rotation":0}},{"Negated":{"Polynomial":{"poly":39,"rotation":0}}}]}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":17,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Constant":[7959790035488735211,12951774245394433045,16242874202584236123,560012691975822483]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Constant":[1949230679015292902,16913946402569752895,5177146667339417225,1571765431670520771]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":40,"rotation":0}},{"Negated":{"Negated":{"Polynomial":{"poly":38,"rotation":0}}}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":19,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":19,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":19,"rotation":0}}}]}]},{"Sum":[{"Constant":[7959790035488735211,12951774245394433045,16242874202584236123,560012691975822483]},{"Negated":{"Polynomial":{"poly":19,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":41,"rotation":0}},{"Negated":{"Negated":{"Polynomial":{"poly":39,"rotation":0}}}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":17,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Sum":[{"Constant":[1949230679015292902,16913946402569752895,5177146667339417225,1571765431670520771]},{"Negated":{"Polynomial":{"poly":17,"rotation":0}}}]}]},{"Polynomial":{"poly":38,"rotation":0}}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":19,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":19,"rotation":0}}}]}]},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":19,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":19,"rotation":0}}}]}]},{"Polynomial":{"poly":39,"rotation":0}}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":18,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":18,"rotation":0}}}]}]},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":18,"rotation":0}}}]}]},{"Sum":[{"Constant":[7959790035488735211,12951774245394433045,16242874202584236123,560012691975822483]},{"Negated":{"Polynomial":{"poly":18,"rotation":0}}}]}]},{"Product":[{"Polynomial":{"poly":38,"rotation":0}},{"Sum":[{"Polynomial":{"poly":38,"rotation":0}},{"Negated":{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}}]}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":20,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":20,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":20,"rotation":0}}}]}]},{"Sum":[{"Constant":[7959790035488735211,12951774245394433045,16242874202584236123,560012691975822483]},{"Negated":{"Polynomial":{"poly":20,"rotation":0}}}]}]},{"Product":[{"Polynomial":{"poly":39,"rotation":0}},{"Sum":[{"Polynomial":{"poly":39,"rotation":0}},{"Negated":{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}}]}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":20,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":20,"rotation":0}}}]}]},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":20,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":20,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":40,"rotation":0}},{"Negated":{"Sum":[{"Polynomial":{"poly":40,"rotation":-1}},{"Sum":[{"Sum":[{"Constant":[0,0,0,0]},{"Product":[{"Polynomial":{"poly":36,"rotation":0}},{"Polynomial":{"poly":38,"rotation":0}}]}]},{"Product":[{"Polynomial":{"poly":37,"rotation":0}},{"Polynomial":{"poly":39,"rotation":0}}]}]}]}}]}]},{"Product":[{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":20,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":20,"rotation":0}}}]}]},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":20,"rotation":0}}}]}]},{"Sum":[{"Constant":[7959790035488735211,12951774245394433045,16242874202584236123,560012691975822483]},{"Negated":{"Polynomial":{"poly":20,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":40,"rotation":0}},{"Negated":{"Sum":[{"Sum":[{"Constant":[0,0,0,0]},{"Product":[{"Polynomial":{"poly":36,"rotation":0}},{"Polynomial":{"poly":38,"rotation":0}}]}]},{"Product":[{"Polynomial":{"poly":37,"rotation":0}},{"Polynomial":{"poly":39,"rotation":0}}]}]}}]}]},{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":21,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":21,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":21,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":40,"rotation":0}},{"Negated":{"Product":[{"Product":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Polynomial":{"poly":38,"rotation":0}}]},{"Polynomial":{"poly":39,"rotation":0}}]}}]}]},{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":21,"rotation":0}},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":21,"rotation":0}}}]}]},{"Sum":[{"Constant":[415066004289224689,11886516471525959549,3696305541684646538,3035258219084094862]},{"Negated":{"Polynomial":{"poly":21,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":40,"rotation":0}},{"Negated":{"Product":[{"Polynomial":{"poly":40,"rotation":-1}},{"Product":[{"Product":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Polynomial":{"poly":38,"rotation":0}}]},{"Polynomial":{"poly":39,"rotation":0}}]}]}}]}]},{"Product":[{"Polynomial":{"poly":22,"rotation":0}},{"Sum":[{"Polynomial":{"poly":40,"rotation":0}},{"Negated":{"Sum":[{"Sum":[{"Constant":[0,0,0,0]},{"Polynomial":{"poly":38,"rotation":0}}]},{"Polynomial":{"poly":39,"rotation":0}}]}}]}]},{"Product":[{"Product":[{"Product":[{"Polynomial":{"poly":21,"rotation":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":21,"rotation":0}}}]}]},{"Sum":[{"Constant":[6425625360762666998,7924344314350639699,14762033076929465436,2023505479389396574]},{"Negated":{"Polynomial":{"poly":21,"rotation":0}}}]}]},{"Sum":[{"Polynomial":{"poly":40,"rotation":0}},{"Negated":{"Sum":[{"Polynomial":{"poly":40,"rotation":-1}},{"Sum":[{"Sum":[{"Constant":[0,0,0,0]},{"Polynomial":{"poly":38,"rotation":0}}]},{"Polynomial":{"poly":39,"rotation":0}}]}]}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":0}},{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Polynomial":{"poly":51,"rotation":0}}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":-6}},{"Sum":[{"Product":[{"Polynomial":{"poly":53,"rotation":0}},{"Polynomial":{"poly":53,"rotation":0}}]},{"Negated":{"Polynomial":{"poly":53,"rotation":0}}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":0}},{"Sum":[{"Polynomial":{"poly":52,"rotation":0}},{"Negated":{"Polynomial":{"poly":51,"rotation":-6}}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":0}},{"Sum":[{"Polynomial":{"poly":53,"rotation":0}},{"Negated":{"Polynomial":{"poly":52,"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":51,"rotation":1}},{"Product":[{"Product":[{"Product":[{"Sum":[{"Sum":[{"Polynomial":{"poly":36,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":23,"rotation":0}}]}]},{"Challenge":2}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":37,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":24,"rotation":0}}]}]},{"Challenge":2}]}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":38,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":25,"rotation":0}}]}]},{"Challenge":2}]}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":39,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":26,"rotation":0}}]}]},{"Challenge":2}]}]}]},{"Negated":{"Product":[{"Polynomial":{"poly":51,"rotation":0}},{"Product":[{"Product":[{"Product":[{"Sum":[{"Sum":[{"Polynomial":{"poly":36,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":37,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[11100302345850292309,5109383341788583484,6450182039226333095,2498166472155664813]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":38,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[11922143911221101039,4762855335879493275,9634852812984583437,2104342265551292894]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":39,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[6393076176221150738,7283021187728417300,15472188617747294665,3366061389777165561]}]},{"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":52,"rotation":1}},{"Product":[{"Product":[{"Product":[{"Sum":[{"Sum":[{"Polynomial":{"poly":40,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":27,"rotation":0}}]}]},{"Challenge":2}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":41,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":28,"rotation":0}}]}]},{"Challenge":2}]}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":0,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":29,"rotation":0}}]}]},{"Challenge":2}]}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":42,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":30,"rotation":0}}]}]},{"Challenge":2}]}]}]},{"Negated":{"Product":[{"Polynomial":{"poly":52,"rotation":0}},{"Product":[{"Product":[{"Product":[{"Sum":[{"Sum":[{"Polynomial":{"poly":40,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[5185504448716010194,13473122879869045206,7110214824824105482,296185565312886903]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":41,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[3788189710366593638,12364756977029776224,17445039711624853376,2145282486335891750]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":0,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[4313891821910826284,3017229878821944834,2706732049417028840,1207705578258863476]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":42,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[13059828841148723808,11237179000843376725,9900274079592382525,739015709256124487]}]},{"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":53,"rotation":1}},{"Product":[{"Product":[{"Product":[{"Sum":[{"Sum":[{"Polynomial":{"poly":43,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":31,"rotation":0}}]}]},{"Challenge":2}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":3,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":32,"rotation":0}}]}]},{"Challenge":2}]}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":35,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":33,"rotation":0}}]}]},{"Challenge":2}]}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":4,"rotation":0}},{"Product":[{"Challenge":1},{"Polynomial":{"poly":34,"rotation":0}}]}]},{"Challenge":2}]}]}]},{"Negated":{"Product":[{"Polynomial":{"poly":53,"rotation":0}},{"Product":[{"Product":[{"Product":[{"Sum":[{"Sum":[{"Polynomial":{"poly":43,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[947327445288546289,6633658715090812498,7792400788522944294,875758956749819284]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":3,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[2788990174394533115,9204716720148362418,15758501491271216730,431483529013261679]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":35,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[3043464298765149624,7830830335845225197,17589932313605217923,1892554422400253291]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]}]},{"Sum":[{"Sum":[{"Polynomial":{"poly":4,"rotation":0}},{"Product":[{"Product":[{"Challenge":1},{"Constant":[10875558109273429414,3645203790673140449,497716407510263058,839321645983581201]}]},{"CommonPolynomial":"Identity"}]}]},{"Challenge":2}]}]}]}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":0}},{"Polynomial":{"poly":54,"rotation":0}}]},{"Product":[{"CommonPolynomial":{"Lagrange":-6}},{"Polynomial":{"poly":54,"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":5,"rotation":0}},{"Polynomial":{"poly":6,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":9,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":36,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":9,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[10871017411373565679,10410213435951679225,9223476965599477329,2621570979983847909]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":9,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":38,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":9,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[12467187348372584722,10933445021064718743,4057714985675217419,865427286819122756]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]},{"Sum":[{"Polynomial":{"poly":54,"rotation":1}},{"Negated":{"Polynomial":{"poly":54,"rotation":0}}}]}]},{"Negated":{"Sum":[{"Sum":[{"DistributePowers":[[{"Polynomial":{"poly":5,"rotation":0}},{"Polynomial":{"poly":6,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Negated":{"Product":[{"Polynomial":{"poly":45,"rotation":0}},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":9,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":36,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":9,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[10871017411373565679,10410213435951679225,9223476965599477329,2621570979983847909]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":9,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":38,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":9,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[12467187348372584722,10933445021064718743,4057714985675217419,865427286819122756]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]}}]}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":0}},{"Polynomial":{"poly":55,"rotation":0}}]},{"Product":[{"CommonPolynomial":{"Lagrange":-6}},{"Polynomial":{"poly":55,"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":5,"rotation":0}},{"Polynomial":{"poly":6,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":10,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":37,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":10,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[10871017411373565679,10410213435951679225,9223476965599477329,2621570979983847909]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":10,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":39,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":10,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[12467187348372584722,10933445021064718743,4057714985675217419,865427286819122756]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]},{"Sum":[{"Polynomial":{"poly":55,"rotation":1}},{"Negated":{"Polynomial":{"poly":55,"rotation":0}}}]}]},{"Negated":{"Sum":[{"Sum":[{"DistributePowers":[[{"Polynomial":{"poly":5,"rotation":0}},{"Polynomial":{"poly":6,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Negated":{"Product":[{"Polynomial":{"poly":46,"rotation":0}},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":10,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":37,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":10,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[10871017411373565679,10410213435951679225,9223476965599477329,2621570979983847909]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":10,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":39,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":10,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[12467187348372584722,10933445021064718743,4057714985675217419,865427286819122756]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]}}]}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":0}},{"Polynomial":{"poly":56,"rotation":0}}]},{"Product":[{"CommonPolynomial":{"Lagrange":-6}},{"Polynomial":{"poly":56,"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":5,"rotation":0}},{"Polynomial":{"poly":7,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":11,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":36,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":11,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[10871017411373565679,10410213435951679225,9223476965599477329,2621570979983847909]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":11,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":38,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":11,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[0,0,0,0]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]},{"Sum":[{"Polynomial":{"poly":56,"rotation":1}},{"Negated":{"Polynomial":{"poly":56,"rotation":0}}}]}]},{"Negated":{"Sum":[{"Sum":[{"DistributePowers":[[{"Polynomial":{"poly":5,"rotation":0}},{"Polynomial":{"poly":7,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Negated":{"Product":[{"Polynomial":{"poly":47,"rotation":0}},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":11,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":36,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":11,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[10871017411373565679,10410213435951679225,9223476965599477329,2621570979983847909]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":11,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":38,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":11,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[0,0,0,0]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]}}]}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":0}},{"Polynomial":{"poly":57,"rotation":0}}]},{"Product":[{"CommonPolynomial":{"Lagrange":-6}},{"Polynomial":{"poly":57,"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":5,"rotation":0}},{"Polynomial":{"poly":7,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":12,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":37,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":12,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[10871017411373565679,10410213435951679225,9223476965599477329,2621570979983847909]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":12,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":39,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":12,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[0,0,0,0]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]},{"Sum":[{"Polynomial":{"poly":57,"rotation":1}},{"Negated":{"Polynomial":{"poly":57,"rotation":0}}}]}]},{"Negated":{"Sum":[{"Sum":[{"DistributePowers":[[{"Polynomial":{"poly":5,"rotation":0}},{"Polynomial":{"poly":7,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Negated":{"Product":[{"Polynomial":{"poly":48,"rotation":0}},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":12,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":37,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":12,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[10871017411373565679,10410213435951679225,9223476965599477329,2621570979983847909]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":12,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":39,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":12,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[0,0,0,0]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]}}]}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":0}},{"Polynomial":{"poly":58,"rotation":0}}]},{"Product":[{"CommonPolynomial":{"Lagrange":-6}},{"Polynomial":{"poly":58,"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":5,"rotation":0}},{"Polynomial":{"poly":8,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":13,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":36,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":13,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[10871017411373565679,10410213435951679225,9223476965599477329,2621570979983847909]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":13,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":38,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":13,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[0,0,0,0]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]},{"Sum":[{"Polynomial":{"poly":58,"rotation":1}},{"Negated":{"Polynomial":{"poly":58,"rotation":0}}}]}]},{"Negated":{"Sum":[{"Sum":[{"DistributePowers":[[{"Polynomial":{"poly":5,"rotation":0}},{"Polynomial":{"poly":8,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Negated":{"Product":[{"Polynomial":{"poly":49,"rotation":0}},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":13,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":36,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":13,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[10871017411373565679,10410213435951679225,9223476965599477329,2621570979983847909]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":13,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":38,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":13,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[0,0,0,0]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]}}]}}]}]},{"Product":[{"CommonPolynomial":{"Lagrange":0}},{"Polynomial":{"poly":59,"rotation":0}}]},{"Product":[{"CommonPolynomial":{"Lagrange":-6}},{"Polynomial":{"poly":59,"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":5,"rotation":0}},{"Polynomial":{"poly":8,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":14,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":37,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":14,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[10871017411373565679,10410213435951679225,9223476965599477329,2621570979983847909]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":14,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":39,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":14,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[0,0,0,0]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]},{"Sum":[{"Polynomial":{"poly":59,"rotation":1}},{"Negated":{"Polynomial":{"poly":59,"rotation":0}}}]}]},{"Negated":{"Sum":[{"Sum":[{"DistributePowers":[[{"Polynomial":{"poly":5,"rotation":0}},{"Polynomial":{"poly":8,"rotation":0}}],{"Challenge":0}]},{"Challenge":1}]},{"Negated":{"Product":[{"Polynomial":{"poly":50,"rotation":0}},{"Sum":[{"DistributePowers":[[{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":14,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":37,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":14,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[10871017411373565679,10410213435951679225,9223476965599477329,2621570979983847909]}]}]},{"Sum":[{"Product":[{"Product":[{"Polynomial":{"poly":14,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]},{"Polynomial":{"poly":39,"rotation":0}}]},{"Product":[{"Sum":[{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]},{"Negated":{"Product":[{"Polynomial":{"poly":14,"rotation":0}},{"Constant":[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287]}]}}]},{"Constant":[0,0,0,0]}]}]}],{"Challenge":0}]},{"Challenge":1}]}]}}]}}]}]}],{"Challenge":3}]}},"transcript_initial_state":[17094117695747860878,18378656070485716253,10832842075565181732,2115262029161524461],"instance_committing_key":null,"linearization":null,"accumulator_indices":[]},"instances":[[[3042937791208075219,8157070662846698822,3804781648660056856,172406108020799675],[12436184717236109307,3962172157175319849,7381016538464732718,1011752739694698287],[18341455175509539295,12796101019039945164,1607286914885633240,1929881192315725821]]],"proof":[1,249,72,94,52,132,226,125,225,98,98,40,99,253,207,41,207,129,153,58,2,61,96,11,32,23,59,55,202,109,115,57,42,45,107,238,33,170,58,0,161,43,224,48,245,124,242,253,103,195,186,1,130,241,168,121,181,57,69,153,60,47,32,128,46,237,30,238,210,71,99,241,209,7,6,25,236,190,151,180,124,62,218,177,214,248,154,6,109,214,246,198,191,224,211,246,12,38,226,105,56,89,251,43,231,81,211,130,211,82,221,178,69,112,203,166,41,160,123,197,90,88,179,49,113,130,90,241,16,110,101,232,191,177,81,97,172,83,123,90,20,99,201,147,232,219,251,56,221,60,65,12,100,7,149,135,246,254,85,192,36,245,120,202,112,221,119,0,128,14,37,207,101,17,116,228,63,163,221,235,212,232,3,109,187,76,140,38,22,253,38,65,8,78,163,23,20,30,207,171,131,190,128,62,18,37,74,118,110,53,213,38,169,182,225,3,93,156,113,176,104,234,139,77,18,93,53,82,70,57,100,72,85,42,170,217,205,130,196,5,104,38,159,150,172,182,105,71,197,213,178,140,119,51,28,66,15,129,111,37,41,177,176,216,139,9,195,154,48,28,102,101,176,75,219,235,64,111,252,66,64,96,23,105,158,231,194,196,46,252,7,254,198,4,20,155,248,199,135,217,26,202,99,74,193,174,148,180,38,85,188,180,128,83,92,237,150,16,229,49,27,40,219,103,4,241,139,87,60,242,22,19,33,247,89,52,160,229,172,126,81,177,132,5,67,203,212,2,116,113,163,145,3,107,247,96,157,64,104,194,121,63,43,187,36,184,48,191,140,172,69,24,181,63,195,40,138,89,136,55,187,7,214,15,32,85,51,78,124,144,96,20,68,13,217,68,54,141,57,238,69,17,242,123,131,23,201,91,13,236,252,31,64,215,177,40,36,84,73,157,46,157,181,200,216,101,123,183,9,76,46,218,77,159,46,204,88,213,153,69,246,19,130,154,130,102,39,103,30,253,249,217,152,181,154,165,231,62,65,201,61,49,63,242,222,136,221,132,214,62,250,86,182,202,191,231,34,93,48,205,32,175,247,239,7,225,75,130,208,0,221,203,199,241,228,187,14,158,145,106,143,223,25,35,125,22,225,84,31,147,202,85,12,97,22,24,139,99,57,58,164,17,207,8,168,86,100,83,166,175,223,25,203,85,242,241,6,182,149,137,248,194,27,45,13,79,233,199,206,194,64,58,107,186,232,34,22,2,231,163,238,69,44,154,42,32,174,90,243,237,170,2,91,157,139,38,11,212,162,80,35,189,200,239,90,150,156,161,195,77,155,225,26,53,188,29,72,71,107,237,174,196,240,231,152,184,49,0,19,208,160,246,153,200,165,198,84,5,91,125,74,143,178,25,21,150,80,245,44,112,116,203,140,205,230,203,26,159,48,205,41,144,248,182,18,97,56,101,110,243,184,143,23,62,77,191,103,216,210,95,226,244,244,20,78,151,55,166,210,125,210,140,37,36,158,4,116,104,30,122,100,184,97,234,102,65,192,79,180,192,37,116,74,23,189,196,67,216,225,236,140,21,218,132,23,232,178,178,84,133,79,190,215,10,28,39,5,115,9,146,92,116,117,77,38,156,177,54,5,93,176,122,32,250,147,13,17,24,80,119,14,198,116,175,241,50,214,0,188,180,85,28,73,53,156,6,160,46,225,49,35,56,98,8,145,133,110,78,28,218,113,89,193,18,57,24,64,111,150,223,141,56,79,192,127,38,192,164,222,219,164,144,167,19,164,248,184,193,27,146,7,66,113,20,235,151,182,56,165,153,100,132,193,148,71,112,195,35,94,77,128,177,71,128,30,66,65,106,10,226,143,48,16,110,45,199,82,153,73,156,13,160,89,122,14,63,72,113,187,81,144,97,70,106,134,103,69,123,117,111,96,115,93,131,32,253,103,192,151,100,135,28,218,181,232,67,238,218,29,37,117,244,100,190,13,30,111,247,207,1,134,239,166,60,87,40,16,146,63,193,127,37,15,103,234,125,128,63,186,185,224,72,116,247,32,151,182,132,108,34,163,195,246,62,137,145,175,110,41,252,19,246,212,19,38,77,81,182,135,227,17,202,133,164,45,69,200,74,161,26,228,1,168,35,242,15,249,198,236,65,14,203,83,74,255,172,112,50,180,229,180,105,19,246,216,21,67,81,2,5,38,41,138,42,208,46,25,13,91,160,26,46,24,247,23,30,111,105,208,86,67,115,225,226,179,38,195,125,23,71,143,229,101,140,168,225,33,167,17,245,1,202,247,199,22,59,234,105,148,17,128,222,51,181,191,201,168,136,82,28,170,148,19,226,94,43,4,244,202,141,43,62,247,217,22,71,9,89,118,163,82,110,63,234,46,15,177,233,146,31,15,0,46,109,44,102,162,123,114,251,129,41,99,190,109,26,161,15,43,221,31,155,83,173,189,56,58,229,203,229,147,17,209,8,19,150,43,185,192,111,27,58,148,131,87,78,144,250,215,37,9,72,163,108,16,112,66,226,157,38,204,130,63,149,200,176,201,148,172,69,166,197,174,63,133,246,192,78,62,20,81,102,18,218,6,41,121,190,79,60,177,206,80,111,29,205,225,178,41,42,232,86,46,154,44,240,44,128,108,175,200,213,211,135,23,40,193,117,241,209,177,179,123,16,141,122,183,160,133,178,70,97,236,45,109,227,194,226,93,195,217,235,103,254,9,180,34,167,167,108,57,166,55,205,252,185,215,168,135,63,81,233,123,6,210,75,157,200,193,147,41,201,14,148,245,188,84,234,9,26,125,184,34,229,64,248,78,218,202,216,11,216,229,163,163,79,9,237,94,171,173,250,62,45,20,28,92,158,47,57,42,115,250,150,27,110,35,231,83,120,116,3,156,66,181,84,114,190,241,17,81,85,252,52,118,125,27,208,69,145,185,250,21,204,0,251,82,221,169,140,101,106,74,213,34,170,177,6,189,4,250,100,22,23,3,2,111,229,99,72,157,72,215,16,23,200,163,122,49,88,55,17,87,0,13,189,246,207,100,254,248,253,119,39,7,15,26,175,207,83,26,28,199,34,86,128,18,82,180,240,93,73,158,36,145,169,191,12,66,175,240,248,200,185,70,24,126,125,129,239,0,231,52,151,104,147,145,12,10,239,200,196,199,36,106,40,87,128,159,220,228,183,180,33,192,139,110,108,172,138,38,208,231,58,61,87,219,221,58,21,29,64,75,190,113,153,58,212,73,126,151,23,112,218,188,94,220,91,100,50,203,76,75,223,35,248,188,228,41,28,133,242,26,149,81,30,102,57,254,181,240,66,141,41,149,9,45,28,28,211,103,173,202,74,117,54,215,246,244,131,169,119,124,202,27,86,82,234,158,16,238,145,63,111,50,2,20,55,85,143,251,242,58,4,199,218,70,220,167,158,25,67,13,210,113,223,36,211,124,164,254,2,6,225,142,39,183,100,160,154,107,88,142,89,105,34,126,199,48,10,118,6,138,17,242,165,150,11,45,20,241,10,115,137,222,45,122,94,241,222,149,69,114,107,197,154,84,5,181,3,14,9,102,245,94,64,229,113,139,161,24,75,189,184,50,188,101,77,114,15,40,58,184,117,69,125,177,188,175,209,60,117,229,129,227,41,13,102,50,78,12,128,32,150,33,207,20,67,64,240,37,208,206,66,163,181,56,67,242,230,25,202,120,219,167,75,120,93,62,192,167,154,199,192,21,247,35,242,134,185,243,122,36,34,158,182,33,232,127,48,236,78,187,162,8,31,28,158,202,24,253,204,34,221,48,24,46,219,173,134,248,200,26,234,187,74,185,238,230,70,77,130,9,194,24,235,227,183,49,96,209,118,235,48,172,61,52,173,2,53,198,250,210,240,80,124,79,236,55,191,163,93,121,83,156,129,153,39,64,32,105,177,130,241,97,169,57,46,61,107,19,79,107,16,94,71,25,2,142,172,45,62,138,46,201,253,11,187,246,59,3,6,28,205,38,102,123,76,232,170,16,118,30,172,64,116,207,88,166,119,97,186,253,194,155,243,104,128,213,75,13,84,161,61,42,92,109,236,209,138,69,212,224,28,42,239,238,21,73,21,7,188,179,77,62,238,237,64,211,175,10,225,118,228,42,239,169,167,228,246,39,51,88,15,227,203,45,169,82,139,127,134,90,203,109,217,2,95,83,5,210,2,34,71,235,217,17,194,222,129,196,121,75,6,191,4,6,145,23,209,21,81,204,251,69,128,114,37,73,191,175,231,124,80,191,10,56,144,165,234,20,240,62,247,215,187,228,108,61,98,14,245,13,243,11,165,122,59,250,189,84,99,16,14,71,118,241,222,53,215,138,113,198,238,134,42,197,46,139,147,119,163,13,148,42,151,140,90,124,120,145,218,81,191,39,19,200,123,251,23,20,145,175,33,178,137,176,200,211,193,242,26,122,184,12,237,166,160,178,237,108,101,104,203,231,107,204,248,178,97,53,114,82,24,16,106,196,86,42,246,101,50,53,221,120,205,0,122,55,143,27,211,55,14,90,65,117,188,97,42,215,122,8,75,29,187,26,26,251,168,164,189,63,195,136,35,213,215,19,211,74,142,86,193,2,76,110,246,13,231,58,219,138,212,160,22,229,146,56,187,2,251,36,240,1,248,64,154,240,198,1,191,17,4,79,66,249,126,235,2,158,54,156,254,188,85,149,46,102,203,74,177,215,141,19,54,244,195,177,81,248,78,28,137,78,8,175,9,112,227,127,20,248,249,112,178,233,69,78,110,160,209,204,215,9,180,147,90,128,85,233,180,118,75,48,40,173,129,65,31,244,43,6,103,205,171,192,13,131,190,163,217,198,146,126,211,229,94,93,178,39,52,119,181,218,31,11,70,198,35,231,193,134,110,18,204,0,229,21,237,239,103,114,211,192,16,54,161,98,46,178,251,11,117,91,0,42,39,20,237,232,210,98,102,132,147,17,33,123,236,247,42,115,58,128,2,97,68,236,207,60,123,52,119,250,47,225,111,114,23,7,233,85,213,95,18,199,220,39,241,115,20,65,94,181,230,135,191,140,91,78,244,15,174,219,84,217,74,222,252,234,107,26,6,164,106,66,90,19,5,211,239,8,72,42,0,83,163,203,163,51,96,33,59,81,125,241,237,34,127,39,188,184,159,37,80,172,198,175,33,183,125,101,5,61,12,155,82,187,183,248,192,105,180,125,29,119,232,105,12,53,7,232,77,238,95,7,229,87,161,43,9,92,25,130,38,239,19,193,55,253,51,16,170,216,38,52,162,223,38,96,169,224,129,59,14,27,174,11,245,5,94,176,78,18,129,17,216,212,165,95,221,123,214,85,150,222,80,148,134,49,24,63,19,182,15,240,106,190,245,31,239,80,6,154,10,93,163,106,44,151,131,102,69,20,195,184,38,62,128,193,55,174,64,110,142,223,85,109,110,24,213,6,105,242,73,207,66,135,60,120,244,130,114,130,72,199,216,157,54,9,129,74,245,107,70,237,150,87,133,113,145,121,96,3,206,207,216,153,176,100,97,71,221,74,47,140,12,124,91,181,18,63,180,7,6,136,30,183,121,116,83,160,146,233,177,38,222,124,243,68,218,111,160,44,112,151,104,11,233,193,204,69,247,126,190,226,100,39,234,137,64,55,69,252,247,154,33,24,219,160,107,151,243,183,6,105,127,145,153,164,186,26,246,143,168,179,203,197,3,141,37,82,27,219,75,56,137,206,163,28,206,87,106,231,147,210,64,16,93,155,180,1,255,63,190,130,84,252,63,13,67,210,30,46,27,95,159,178,128,144,38,10,87,78,64,34,134,204,165,143,72,145,163,173,25,146,53,24,169,176,31,42,190,180,188,82,101,89,36,93,225,8,100,23,75,177,253,31,98,194,140,180,56,91,13,45,125,123,198,208,119,203,59,204,219,155,101,104,153,149,39,26,70,6,99,9,62,84,168,228,14,203,95,46,179,70,216,242,100,146,134,208,140,164,244,193,84,73,98,30,2,193,110,198,83,220,69,12,102,0,86,43,231,155,212,240,99,10,182,200,157,168,40,8,212,191,242,29,188,40,139,46,56,162,59,20,170,53,167,46,148,48,169,242,87,221,165,79,121,198,75,235,40,46,219,2,195,131,43,37,20,89,196,202,18,84,128,137,224,16,222,26,81,51,65,244,164,159,141,182,222,121,209,45,250,161,86,226,135,205,113,76,136,113,156,79,222,244,3,207,42,128,128,24,34,209,66,138,145,63,53,158,15,38,20,240,79,125,65,217,194,81,222,3,178,65,66,218,166,211,137,174,112,206,191,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,32,128,225,55,248,61,205,35,217,241,162,6,200,147,150,78,17,255,15,124,218,193,40,204,61,174,74,113,162,15,248,73,20,157,45,58,36,186,232,114,251,184,71,108,181,230,13,85,193,23,58,77,238,199,187,11,112,45,80,229,224,63,106,55,39,59,71,168,17,167,100,63,205,165,100,30,106,6,28,237,56,61,128,106,29,182,73,40,141,252,49,95,160,150,152,56,0,68,236,155,67,110,37,10,155,52,36,16,163,55,208,18,57,255,131,251,12,95,84,253,138,133,231,228,67,187,222,196,18,206,144,73,106,20,85,125,158,145,176,14,244,31,49,185,131,150,98,182,40,186,62,242,229,162,67,30,131,102,4,55,20,112,183,59,221,196,177,133,184,60,246,6,88,188,22,15,170,88,198,110,206,94,123,35,120,104,203,182,52,180,189,171,18,90,89,116,63,210,185,141,5,29,59,151,242,199,59,83,184,124,132,246,146,68,170,109,128,104,77,52,236,83,238,94,38,112,241,172,86,174,41,49,204,103,181,63,10,219,118,62,131,28,47,191,28,238,15,126,58,124,45,53,96,142,97,43,41,177,143,225,27,234,119,76,181,168,115,248,1,87,86,231,250,40,200,249,16,87,255,61,249,247,67,76,143,41,226,57,6,227,248,194,183,138,40,213,77,246,188,61,255,23,220,124,188,23,2,97,138,152,98,101,253,248,147,2,163,151,141,187,21,91,170,0,47,198,43,177,250,109,110,250,72,163,2,169,43,104,227,231,70,137,54,52,129,107,212,224,225,213,135,243,13,71,39,154,78,71,251,167,74,62,65,184,9,40,49,114,24,130,254,108,39,101,34,86,40,193,9,251,170,249,8,184,26,191,80,27,131,247,34,34,86,45,120,199,119,112,8,215,170,31,85,226,71,215,164,79,204,200,158,143,52,149,16,34,39,15,218,119,102,122,234,85,112,222,254,83,242,106,201,242,79,94,60,198,12,95,12,146,92,202,51,159,227,45,132,231,41,199,152,177,79,126,244,29,41,240,130,199,27,89,120,110,235,237,62,169,45,98,22,39,140,45,155,88,119,109,83,67,31,92,235,64,161,148,88,193,198,224,200,10,36,111,200,205,217,84,250,153,192,234,194,80,84,87,146,183,230,145,217,194,0,19,184,53,46,98,22,21,98,153,117,79,190,163,76,136,156,153,167,167,173,94,166,75,150,58,171,241,79,69,144,54,20,16,207,25,88,190,99,114,77,75,86,7,230,2,73,170,6,233,108,26,212,246,132,210,14,244,139,151,183,13,217,7,6,36,214,126,30,102,147,43,98,229,30,99,2,185,125,108,212,32,130,99,216,176,2,129,144,165,161,16,60,64,250,213,47,90,42,20,121,149,51,19,56,24,57,254,104,225,158,80,243,12,159,130,244,17,102,243,172,116,2,254,59,42,133,21,34,130,206,179,175,46,47,149,120,184,92,188,198,225,91,130,205,13,133,180,104,232,182,121,72,134,239,110,108,127,190,28,46,200,59,23,99,83,43,140,241,249,90,126,116,224,250,153,124,254,110,105,164,0,74,8,142,123,51,0,47,238,82,253,5,52,193,186,146,85,249,113,95,220,26,18,147,44,140,248,249,223,193,48,14,100,213,83,19,125,33,207,42,56,143,93,15,98,244,30,223,58,202,47,118,25,145,75,63,76,68,238,246,125,183,26,162,40,151,253,53,145,66,32,31,32,47,164,36,234,75,216,16,14,70,94,144,3,136,75,148,231,93,145,38,199,247,2,33,119,198,148,124,117,158,101,29,135,174,86,21,54,169,15,252,233,199,87,114,21,33,158,65,68,223,26,133,245,15,7,96,151,169,108,63,93,255,193,165,59,218,66,39,57,229,140,247,221,3,32,123,250,122,126,220,103,130,180,146,76,13,135,60,210,228,113,238,20,20,21,77,92,59,138,41,99,226,203,153,149,134,183,147,56,188,198,154,158,217,179,239,132,68,245,78,5,3,126,4,38,80,99,139,112,187,234,43,231,84,237,140,85,244,123,131,193,94,103,254,177,221,183,199,224,118,196,120,110,95,98,33,154,32,31,68,25,135,201,28,118,196,46,121,129,114,138,113,207,187,69,48,191,246,51,133,92,145,114,183,118,55,21,118,234,237,24,169,114,117,100,8,130,62,163,126,126,50,91,63,226,39,25,153,158,214,221,66,207,79,76,97,153,10,229,189,182,106,154,160,131,62,34,24,88,84,197,15,212,86,248,83,161,235,235,240,15,96,39,227,59,164,11,159,65,41,170,191,238,0,67,237,177,205,226,26,225,27,119,24,223,111,190,38,231,7,128,252,109,15,116,224,34,239,234,121,85,40,200,136,215,135,115,57,6,53,140,18,208,98,38,24,180,124,86,95,146,76,227,243,224,235,174,171,76,40,127,28,210,149,117,246,119,16,219,153,203,157,243,33,98,177,207,192,185,157,179,86,220,32,11,44,177,102,116,55,48,11,110,46,181,141,103,10,205,195,128,5,38,195,93,9,167,75,206,134,2,217,83,27,217,251,97,1,212,133,97,242,217,187,214,165,146,205,74,94,192,18,86,173,198,252,219,1,159,79,120,26,248,136,146,96,230,187,86,181,110,211,1,103,131,247,68,46,163,52,188,48,66,25,141,82,105,98,128,8,171,166,159,216,249,196,108,228,104,140,33,190,57,129,223,161,201,31,19,130,6,110,39,106,57,149,236,163,196,234,21,48,68,165,128,239,26,115,128,2,233,12,69,166,232,166,144,140,87,239,90,45,222,44,149,203,228,17,186,176,206,26,12,1,17,28,182,179,170,143,237,236,21,158,111,110,61,237,202,248,58,250,49,55,8,108,159,121,92,171,12,40,111,109,78,41,167,16,224,43,2,239,23,48,193,18,2,4,106,249,137,235,189,94,148,90,33,30,172,186,250,33,2,133,106,201,52,10,181,39,136,107,131,71,144,137,127,221,71,212,6,13,196,136,153,114,17,119,170,62,126,146,229,201,166,173,36,116,231,17,141,177,72,72,120,198,15,210,237,135,117,245,158,136,156,234,120,8,25,190,19,172,227,166,217,225,3,75,96,251,250,4,142,97,196,112,35,96,95,182,225,16,133,161,45,240,255,229,72,9,96,5,78,250,21,214,187,29,231,27,139,211,207,30,197,138,230,91,82,185,68,16,67,147,58,137,49,31,147,25,250,79,182,37,30,130,207,109,60,121,156,115,1,178,65,2,110,151,52,95,211,201,94,166,57,36,66,60,36,156,234,159,216,122,171,225,42,142,88,119,237,71,255,91,36,14,43,19,16,176,111,106,20,124,45,216,4,51,119,50,95,148,16,243,220,30,183,51,210,164,100,174,40,62,142,160,107,174,176,48,37,199,99,192,234,146,166,105,243,55,71,253,189,210,186,79,161,248,229,29,178,116,23,179,164,121,77,51,1,92,43,40,136,49,229,57,199,90,69,130,83,163,33,40,136,181,113,224,53,200,143,103,28,27,23,191,122,44,235,8,141,108,67,33,98,232,74,130,28,35,130,136,6,191,181,233,52,82,19,99,236,147,21,44,239,222,119,231,246,36,66,120,26,191,0,33,63,227,38,63,69,39,68,156,188,210,103,191,220,36,156,47,198,255,25,3,154,196,230,72,163,95,165,57,18,103,124],"transcript_type":"EVM","split":null}