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

{"protocol": {"domain": {"k": 14, "n": 16384, "n_inv": [0, 0, 0, 1125899906842624], "gen": [3031889642678359569, 10417271495239430450, 14834842016551424055, 876409027634172966], "gen_inv": [7756146931590822994, 14406691054281076052, 1961315019097724502, 632223402038815480]}, "preprocessed": [{"x": [14291120869350357735, 8183425003069119031, 8958543162137828066, 1324057021039913784], "y": [1486175483322301770, 2196776586883326048, 12477859212777810144, 3026548638120136412]}, {"x": [5540210072332261948, 17616557666936015480, 7545486850644500505, 1702082797912688253], "y": [2781734032131437309, 6186316124740343693, 9191177323662773144, 3486167433612377587]}, {"x": [2172722214608230067, 7901661117163121531, 10488961498163261076, 1848621557517622073], "y": [16145082544989072654, 15926398148252833098, 7522206446254068151, 992527194162841204]}, {"x": [11471668285879986932, 3606379419305240017, 4364551188701375740, 2908795092550747340], "y": [15119334246820250000, 7887698447302216035, 9111870271857011115, 3324085316811746511]}, {"x": [15206323289806868873, 3576036435545358824, 16741504574320968827, 2080450004132912407], "y": [76850027896112932, 3932239059085650631, 464091893592206137, 2363145811480744422]}, {"x": [2948049935739018520, 7738404079444273639, 11431405379074663116, 2442943044940596619], "y": [5929742647202400627, 3092823075898918170, 11481927510078125069, 2571002122236474631]}, {"x": [2948049935739018520, 7738404079444273639, 11431405379074663116, 2442943044940596619], "y": [5929742647202400627, 3092823075898918170, 11481927510078125069, 2571002122236474631]}, {"x": [7500523574425941770, 14407126165219627045, 10779246102649340572, 1138225075176620702], "y": [9796936850950411765, 9695520119956391217, 7933697956524588733, 3006870725236738943]}, {"x": [12794406827655599308, 9512212272948875735, 1870516846605692931, 835955688096222902], "y": [13663248663891328064, 1604769431497269120, 11309189081632104017, 1479160912897171791]}, {"x": [873453986222811975, 18416878417355287583, 11869521565599321642, 1642663410207572996], "y": [18284494994390453473, 16445783568537406617, 16666375694574626996, 1870644893098588634]}, {"x": [4667786759266655400, 12126423540098348039, 12457266282730815952, 3217719740152580905], "y": [10018756946142845217, 13052538904155239233, 14923753768912097135, 1397103820607205658]}, {"x": [13944663638768881847, 13209579912005206565, 1651636617779986778, 2257111888123620822], "y": [785600162629240126, 1616999414697388216, 7069562662463845288, 1268735112849376789]}, {"x": [9720723186183074547, 1949238947678000380, 14298886653101064172, 3349800522930317714], "y": [16004047824576613083, 4969351158938746970, 3113084772215618929, 3337726766704394485]}, {"x": [0, 0, 0, 0], "y": [0, 0, 0, 0]}, {"x": [14137624025583798322, 10488786041560806331, 4230606663978693073, 691359822745697217], "y": [3310389986699060007, 1888580493777738024, 4878447641042064034, 2816929765676441820]}, {"x": [14339737310359656894, 8690349829295700337, 12461535789908682052, 1153769927778633795], "y": [6767393962882381883, 12416231154113779944, 3038331842789147270, 2248920690712908086]}, {"x": [1407529035243302827, 1033908063511279575, 16205623590892824778, 3247670801880398305], "y": [15104410672586435279, 4950076752084674355, 9449953640902764801, 1317657324834687097]}, {"x": [4522622535747606775, 16626701160716110479, 12004886065730642803, 128915363119480222], "y": [4605487882711525540, 9594935693497215187, 7791742996505014665, 2842003542081959957]}, {"x": [13070028490485853018, 6563971866627767503, 6379523885813072294, 2543168852368814684], "y": [2498514740484757637, 6025237832640862298, 17362962744488260562, 2070018502146771140]}, {"x": [13144809021364137260, 12294397889507393215, 1412869943745157299, 815030790000999959], "y": [6652409780905974979, 8337689888483798596, 15283457273956554561, 1461510230343921742]}, {"x": [4548271050481420618, 11709673001879715617, 14297844596610181152, 815144723871358720], "y": [12151343528187156580, 9200294815175565489, 4765330286571781421, 2030700535705472840]}, {"x": [17304067692925677750, 10414628395992854645, 6684604816553744635, 2852301735677850655], "y": [14189071746214433765, 2893474218221564087, 8579401528550648689, 1732193987853461776]}, {"x": [4059208096826549608, 6817133447790335837, 14418558167980038031, 2884366995775110156], "y": [3541612802994806739, 4167397038074978934, 17194751949272059556, 1619042066152144503]}, {"x": [17535417986671847299, 16162303644505117367, 15822379667798881515, 1000910807510631569], "y": [2254297649892400982, 3468276205342987707, 11342497110036948517, 1152043961494497309]}, {"x": [4064198316019460243, 247199449686735544, 18255600226565765084, 1933102095594441895], "y": [9699656295065794340, 16535822683711695229, 9694081072612746291, 2011462411933650412]}], "num_instance": [3], "num_witness": [6, 2, 6], "num_challenge": [1, 2, 1], "evaluations": [{"poly": 26, "rotation": 0}, {"poly": 27, "rotation": 0}, {"poly": 28, "rotation": 0}, {"poly": 29, "rotation": 0}, {"poly": 30, "rotation": 0}, {"poly": 29, "rotation": 1}, {"poly": 30, "rotation": 1}, {"poly": 31, "rotation": 0}, {"poly": 30, "rotation": -1}, {"poly": 29, "rotation": -1}, {"poly": 28, "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": 39, "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": 34, "rotation": 0}, {"poly": 34, "rotation": 1}, {"poly": 34, "rotation": -6}, {"poly": 35, "rotation": 0}, {"poly": 35, "rotation": 1}, {"poly": 35, "rotation": -6}, {"poly": 36, "rotation": 0}, {"poly": 36, "rotation": 1}, {"poly": 37, "rotation": 0}, {"poly": 37, "rotation": 1}, {"poly": 32, "rotation": 0}, {"poly": 38, "rotation": 0}, {"poly": 38, "rotation": 1}, {"poly": 33, "rotation": 0}], "queries": [{"poly": 26, "rotation": 0}, {"poly": 27, "rotation": 0}, {"poly": 28, "rotation": 0}, {"poly": 29, "rotation": 0}, {"poly": 30, "rotation": 0}, {"poly": 29, "rotation": 1}, {"poly": 30, "rotation": 1}, {"poly": 31, "rotation": 0}, {"poly": 30, "rotation": -1}, {"poly": 29, "rotation": -1}, {"poly": 28, "rotation": -1}, {"poly": 34, "rotation": 0}, {"poly": 34, "rotation": 1}, {"poly": 35, "rotation": 0}, {"poly": 35, "rotation": 1}, {"poly": 36, "rotation": 0}, {"poly": 36, "rotation": 1}, {"poly": 35, "rotation": -6}, {"poly": 34, "rotation": -6}, {"poly": 37, "rotation": 0}, {"poly": 37, "rotation": 1}, {"poly": 32, "rotation": 0}, {"poly": 38, "rotation": 0}, {"poly": 38, "rotation": 1}, {"poly": 33, "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": 40, "rotation": 0}, {"poly": 39, "rotation": 0}], "quotient": {"chunk_degree": 1, "num_chunk": 5, "numerator": {"DistributePowers": [[{"Product": [{"Polynomial": {"poly": 10, "rotation": 0}}, {"Sum": [{"Sum": [{"Scaled": [{"Product": [{"Product": [{"Product": [{"Sum": [{"Polynomial": {"poly": 29, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}, {"Sum": [{"Polynomial": {"poly": 29, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}]}, {"Product": [{"Sum": [{"Polynomial": {"poly": 29, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}, {"Sum": [{"Polynomial": {"poly": 29, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}]}]}, {"Sum": [{"Polynomial": {"poly": 29, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}]}, [17920654652615044516, 5315228629426935734, 16921197825591404379, 2189197718402122891]]}, {"Scaled": [{"Product": [{"Product": [{"Product": [{"Sum": [{"Polynomial": {"poly": 30, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}, {"Sum": [{"Polynomial": {"poly": 30, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}]}, {"Product": [{"Sum": [{"Polynomial": {"poly": 30, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}, {"Sum": [{"Polynomial": {"poly": 30, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}]}]}, {"Sum": [{"Polynomial": {"poly": 30, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}]}, [14492560017976159917, 4919046997046981090, 263614296871819263, 2759311356546844781]]}]}, {"Negated": {"Polynomial": {"poly": 29, "rotation": 1}}}]}]}, {"Product": [{"Polynomial": {"poly": 10, "rotation": 0}}, {"Sum": [{"Sum": [{"Scaled": [{"Product": [{"Product": [{"Product": [{"Sum": [{"Polynomial": {"poly": 29, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}, {"Sum": [{"Polynomial": {"poly": 29, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}]}, {"Product": [{"Sum": [{"Polynomial": {"poly": 29, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}, {"Sum": [{"Polynomial": {"poly": 29, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}]}]}, {"Sum": [{"Polynomial": {"poly": 29, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}]}, [6011552397623934548, 6038211121966084978, 18341914591778152024, 3351495707820976067]]}, {"Scaled": [{"Product": [{"Product": [{"Product": [{"Sum": [{"Polynomial": {"poly": 30, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}, {"Sum": [{"Polynomial": {"poly": 30, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}]}, {"Product": [{"Sum": [{"Polynomial": {"poly": 30, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}, {"Sum": [{"Polynomial": {"poly": 30, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}]}]}, {"Sum": [{"Polynomial": {"poly": 30, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}]}, [16349074296086608540, 7458233725163740651, 5446347661749231797, 1359884895167300752]]}]}, {"Negated": {"Polynomial": {"poly": 30, "rotation": 1}}}]}]}, {"Product": [{"Polynomial": {"poly": 11, "rotation": 0}}, {"Sum": [{"Product": [{"Product": [{"Product": [{"Sum": [{"Polynomial": {"poly": 29, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}, {"Sum": [{"Polynomial": {"poly": 29, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}]}, {"Product": [{"Sum": [{"Polynomial": {"poly": 29, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}, {"Sum": [{"Polynomial": {"poly": 29, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}]}]}, {"Sum": [{"Polynomial": {"poly": 29, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}]}, {"Negated": {"Polynomial": {"poly": 31, "rotation": 0}}}]}]}, {"Product": [{"Polynomial": {"poly": 11, "rotation": 0}}, {"Sum": [{"Product": [{"Product": [{"Product": [{"Sum": [{"Sum": [{"Scaled": [{"Polynomial": {"poly": 31, "rotation": 0}}, [17920654652615044516, 5315228629426935734, 16921197825591404379, 2189197718402122891]]}, {"Scaled": [{"Sum": [{"Polynomial": {"poly": 30, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}, [14492560017976159917, 4919046997046981090, 263614296871819263, 2759311356546844781]]}]}, {"Polynomial": {"poly": 3, "rotation": 0}}]}, {"Sum": [{"Sum": [{"Scaled": [{"Polynomial": {"poly": 31, "rotation": 0}}, [17920654652615044516, 5315228629426935734, 16921197825591404379, 2189197718402122891]]}, {"Scaled": [{"Sum": [{"Polynomial": {"poly": 30, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}, [14492560017976159917, 4919046997046981090, 263614296871819263, 2759311356546844781]]}]}, {"Polynomial": {"poly": 3, "rotation": 0}}]}]}, {"Product": [{"Sum": [{"Sum": [{"Scaled": [{"Polynomial": {"poly": 31, "rotation": 0}}, [17920654652615044516, 5315228629426935734, 16921197825591404379, 2189197718402122891]]}, {"Scaled": [{"Sum": [{"Polynomial": {"poly": 30, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}, [14492560017976159917, 4919046997046981090, 263614296871819263, 2759311356546844781]]}]}, {"Polynomial": {"poly": 3, "rotation": 0}}]}, {"Sum": [{"Sum": [{"Scaled": [{"Polynomial": {"poly": 31, "rotation": 0}}, [17920654652615044516, 5315228629426935734, 16921197825591404379, 2189197718402122891]]}, {"Scaled": [{"Sum": [{"Polynomial": {"poly": 30, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}, [14492560017976159917, 4919046997046981090, 263614296871819263, 2759311356546844781]]}]}, {"Polynomial": {"poly": 3, "rotation": 0}}]}]}]}, {"Sum": [{"Sum": [{"Scaled": [{"Polynomial": {"poly": 31, "rotation": 0}}, [17920654652615044516, 5315228629426935734, 16921197825591404379, 2189197718402122891]]}, {"Scaled": [{"Sum": [{"Polynomial": {"poly": 30, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}, [14492560017976159917, 4919046997046981090, 263614296871819263, 2759311356546844781]]}]}, {"Polynomial": {"poly": 3, "rotation": 0}}]}]}, {"Negated": {"Sum": [{"Scaled": [{"Polynomial": {"poly": 29, "rotation": 1}}, [7810590202345917679, 4001289811682949179, 14117875529941033743, 551793561812414581]]}, {"Scaled": [{"Polynomial": {"poly": 30, "rotation": 1}}, [1909574960651208565, 5274055703427280399, 9428637225224546100, 962532537166199475]]}]}}]}]}, {"Product": [{"Polynomial": {"poly": 11, "rotation": 0}}, {"Sum": [{"Sum": [{"Sum": [{"Scaled": [{"Polynomial": {"poly": 31, "rotation": 0}}, [6011552397623934548, 6038211121966084978, 18341914591778152024, 3351495707820976067]]}, {"Scaled": [{"Sum": [{"Polynomial": {"poly": 30, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}, [16349074296086608540, 7458233725163740651, 5446347661749231797, 1359884895167300752]]}]}, {"Polynomial": {"poly": 4, "rotation": 0}}]}, {"Negated": {"Sum": [{"Scaled": [{"Polynomial": {"poly": 29, "rotation": 1}}, [6201674473263580600, 11027032022304752699, 11812783833195029048, 426590697376810083]]}, {"Scaled": [{"Polynomial": {"poly": 30, "rotation": 1}}, [9689808325616223960, 4771942582599059852, 18212175210456834468, 3057340747369548698]]}]}}]}]}, {"Product": [{"Product": [{"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": [{"Constant": [7959790035488735211, 12951774245394433045, 16242874202584236123, 560012691975822483]}, {"Negated": {"Polynomial": {"poly": 12, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [1949230679015292902, 16913946402569752895, 5177146667339417225, 1571765431670520771]}, {"Negated": {"Polynomial": {"poly": 12, "rotation": 0}}}]}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 29, "rotation": -1}}, {"Polynomial": {"poly": 29, "rotation": 0}}]}, {"Negated": {"Polynomial": {"poly": 29, "rotation": 1}}}]}]}, {"Product": [{"Product": [{"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": [{"Constant": [7959790035488735211, 12951774245394433045, 16242874202584236123, 560012691975822483]}, {"Negated": {"Polynomial": {"poly": 12, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [1949230679015292902, 16913946402569752895, 5177146667339417225, 1571765431670520771]}, {"Negated": {"Polynomial": {"poly": 12, "rotation": 0}}}]}]}, {"Sum": [{"Polynomial": {"poly": 30, "rotation": -1}}, {"Negated": {"Polynomial": {"poly": 30, "rotation": 1}}}]}]}, {"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": 28, "rotation": 0}}, {"Negated": {"Polynomial": {"poly": 27, "rotation": 0}}}]}]}, {"Product": [{"Product": [{"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": [{"Constant": [7959790035488735211, 12951774245394433045, 16242874202584236123, 560012691975822483]}, {"Negated": {"Polynomial": {"poly": 12, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [1949230679015292902, 16913946402569752895, 5177146667339417225, 1571765431670520771]}, {"Negated": {"Polynomial": {"poly": 12, "rotation": 0}}}]}]}, {"Sum": [{"Polynomial": {"poly": 28, "rotation": 0}}, {"Negated": {"Sum": [{"Polynomial": {"poly": 26, "rotation": 0}}, {"Polynomial": {"poly": 27, "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": 28, "rotation": 0}}, {"Negated": {"Product": [{"Polynomial": {"poly": 26, "rotation": 0}}, {"Polynomial": {"poly": 27, "rotation": 0}}]}}]}]}, {"Product": [{"Product": [{"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}}}]}]}, {"Sum": [{"Constant": [7959790035488735211, 12951774245394433045, 16242874202584236123, 560012691975822483]}, {"Negated": {"Polynomial": {"poly": 12, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [1949230679015292902, 16913946402569752895, 5177146667339417225, 1571765431670520771]}, {"Negated": {"Polynomial": {"poly": 12, "rotation": 0}}}]}]}, {"Sum": [{"Polynomial": {"poly": 28, "rotation": 0}}, {"Negated": {"Sum": [{"Polynomial": {"poly": 26, "rotation": 0}}, {"Negated": {"Polynomial": {"poly": 27, "rotation": 0}}}]}}]}]}, {"Product": [{"Product": [{"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}}}]}]}, {"Sum": [{"Constant": [415066004289224689, 11886516471525959549, 3696305541684646538, 3035258219084094862]}, {"Negated": {"Polynomial": {"poly": 12, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [1949230679015292902, 16913946402569752895, 5177146667339417225, 1571765431670520771]}, {"Negated": {"Polynomial": {"poly": 12, "rotation": 0}}}]}]}, {"Sum": [{"Polynomial": {"poly": 28, "rotation": 0}}, {"Negated": {"Negated": {"Polynomial": {"poly": 27, "rotation": 0}}}}]}]}, {"Product": [{"Product": [{"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}}}]}]}, {"Sum": [{"Constant": [415066004289224689, 11886516471525959549, 3696305541684646538, 3035258219084094862]}, {"Negated": {"Polynomial": {"poly": 12, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [7959790035488735211, 12951774245394433045, 16242874202584236123, 560012691975822483]}, {"Negated": {"Polynomial": {"poly": 12, "rotation": 0}}}]}]}, {"Polynomial": {"poly": 27, "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}}}]}]}, {"Product": [{"Polynomial": {"poly": 27, "rotation": 0}}, {"Sum": [{"Polynomial": {"poly": 27, "rotation": 0}}, {"Negated": {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}}]}]}]}, {"Product": [{"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": [{"Constant": [7959790035488735211, 12951774245394433045, 16242874202584236123, 560012691975822483]}, {"Negated": {"Polynomial": {"poly": 14, "rotation": 0}}}]}]}, {"Sum": [{"Polynomial": {"poly": 28, "rotation": 0}}, {"Negated": {"Sum": [{"Polynomial": {"poly": 28, "rotation": -1}}, {"Sum": [{"Constant": [0, 0, 0, 0]}, {"Product": [{"Polynomial": {"poly": 26, "rotation": 0}}, {"Polynomial": {"poly": 27, "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}}}]}]}, {"Sum": [{"Polynomial": {"poly": 28, "rotation": 0}}, {"Negated": {"Sum": [{"Constant": [0, 0, 0, 0]}, {"Product": [{"Polynomial": {"poly": 26, "rotation": 0}}, {"Polynomial": {"poly": 27, "rotation": 0}}]}]}}]}]}, {"Product": [{"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}}}]}]}, {"Sum": [{"Constant": [7959790035488735211, 12951774245394433045, 16242874202584236123, 560012691975822483]}, {"Negated": {"Polynomial": {"poly": 14, "rotation": 0}}}]}]}, {"Sum": [{"Polynomial": {"poly": 28, "rotation": 0}}, {"Negated": {"Product": [{"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}, {"Polynomial": {"poly": 27, "rotation": 0}}]}}]}]}, {"Product": [{"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": [{"Constant": [7959790035488735211, 12951774245394433045, 16242874202584236123, 560012691975822483]}, {"Negated": {"Polynomial": {"poly": 14, "rotation": 0}}}]}]}, {"Sum": [{"Polynomial": {"poly": 28, "rotation": 0}}, {"Negated": {"Product": [{"Polynomial": {"poly": 28, "rotation": -1}}, {"Product": [{"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}, {"Polynomial": {"poly": 27, "rotation": 0}}]}]}}]}]}, {"Product": [{"Polynomial": {"poly": 15, "rotation": 0}}, {"Sum": [{"Polynomial": {"poly": 28, "rotation": 0}}, {"Negated": {"Sum": [{"Constant": [0, 0, 0, 0]}, {"Polynomial": {"poly": 27, "rotation": 0}}]}}]}]}, {"Product": [{"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}}}]}]}, {"Sum": [{"Constant": [415066004289224689, 11886516471525959549, 3696305541684646538, 3035258219084094862]}, {"Negated": {"Polynomial": {"poly": 14, "rotation": 0}}}]}]}, {"Sum": [{"Polynomial": {"poly": 28, "rotation": 0}}, {"Negated": {"Sum": [{"Polynomial": {"poly": 28, "rotation": -1}}, {"Sum": [{"Constant": [0, 0, 0, 0]}, {"Polynomial": {"poly": 27, "rotation": 0}}]}]}}]}]}, {"Product": [{"CommonPolynomial": {"Lagrange": 0}}, {"Sum": [{"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}, {"Negated": {"Polynomial": {"poly": 34, "rotation": 0}}}]}]}, {"Product": [{"CommonPolynomial": {"Lagrange": -6}}, {"Sum": [{"Product": [{"Polynomial": {"poly": 36, "rotation": 0}}, {"Polynomial": {"poly": 36, "rotation": 0}}]}, {"Negated": {"Polynomial": {"poly": 36, "rotation": 0}}}]}]}, {"Product": [{"CommonPolynomial": {"Lagrange": 0}}, {"Sum": [{"Polynomial": {"poly": 35, "rotation": 0}}, {"Negated": {"Polynomial": {"poly": 34, "rotation": -6}}}]}]}, {"Product": [{"CommonPolynomial": {"Lagrange": 0}}, {"Sum": [{"Polynomial": {"poly": 36, "rotation": 0}}, {"Negated": {"Polynomial": {"poly": 35, "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": 34, "rotation": 1}}, {"Product": [{"Product": [{"Product": [{"Sum": [{"Sum": [{"Polynomial": {"poly": 26, "rotation": 0}}, {"Product": [{"Challenge": 1}, {"Polynomial": {"poly": 16, "rotation": 0}}]}]}, {"Challenge": 2}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 27, "rotation": 0}}, {"Product": [{"Challenge": 1}, {"Polynomial": {"poly": 17, "rotation": 0}}]}]}, {"Challenge": 2}]}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 28, "rotation": 0}}, {"Product": [{"Challenge": 1}, {"Polynomial": {"poly": 18, "rotation": 0}}]}]}, {"Challenge": 2}]}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 0, "rotation": 0}}, {"Product": [{"Challenge": 1}, {"Polynomial": {"poly": 19, "rotation": 0}}]}]}, {"Challenge": 2}]}]}]}, {"Negated": {"Product": [{"Polynomial": {"poly": 34, "rotation": 0}}, {"Product": [{"Product": [{"Product": [{"Sum": [{"Sum": [{"Polynomial": {"poly": 26, "rotation": 0}}, {"Product": [{"Product": [{"Challenge": 1}, {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}]}, {"CommonPolynomial": "Identity"}]}]}, {"Challenge": 2}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 27, "rotation": 0}}, {"Product": [{"Product": [{"Challenge": 1}, {"Constant": [11100302345850292309, 5109383341788583484, 6450182039226333095, 2498166472155664813]}]}, {"CommonPolynomial": "Identity"}]}]}, {"Challenge": 2}]}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 28, "rotation": 0}}, {"Product": [{"Product": [{"Challenge": 1}, {"Constant": [11922143911221101039, 4762855335879493275, 9634852812984583437, 2104342265551292894]}]}, {"CommonPolynomial": "Identity"}]}]}, {"Challenge": 2}]}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 0, "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": 35, "rotation": 1}}, {"Product": [{"Product": [{"Product": [{"Sum": [{"Sum": [{"Polynomial": {"poly": 29, "rotation": 0}}, {"Product": [{"Challenge": 1}, {"Polynomial": {"poly": 20, "rotation": 0}}]}]}, {"Challenge": 2}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 30, "rotation": 0}}, {"Product": [{"Challenge": 1}, {"Polynomial": {"poly": 21, "rotation": 0}}]}]}, {"Challenge": 2}]}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 3, "rotation": 0}}, {"Product": [{"Challenge": 1}, {"Polynomial": {"poly": 22, "rotation": 0}}]}]}, {"Challenge": 2}]}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 25, "rotation": 0}}, {"Product": [{"Challenge": 1}, {"Polynomial": {"poly": 23, "rotation": 0}}]}]}, {"Challenge": 2}]}]}]}, {"Negated": {"Product": [{"Polynomial": {"poly": 35, "rotation": 0}}, {"Product": [{"Product": [{"Product": [{"Sum": [{"Sum": [{"Polynomial": {"poly": 29, "rotation": 0}}, {"Product": [{"Product": [{"Challenge": 1}, {"Constant": [5185504448716010194, 13473122879869045206, 7110214824824105482, 296185565312886903]}]}, {"CommonPolynomial": "Identity"}]}]}, {"Challenge": 2}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 30, "rotation": 0}}, {"Product": [{"Product": [{"Challenge": 1}, {"Constant": [3788189710366593638, 12364756977029776224, 17445039711624853376, 2145282486335891750]}]}, {"CommonPolynomial": "Identity"}]}]}, {"Challenge": 2}]}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 3, "rotation": 0}}, {"Product": [{"Product": [{"Challenge": 1}, {"Constant": [4313891821910826284, 3017229878821944834, 2706732049417028840, 1207705578258863476]}]}, {"CommonPolynomial": "Identity"}]}]}, {"Challenge": 2}]}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 25, "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": 36, "rotation": 1}}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 4, "rotation": 0}}, {"Product": [{"Challenge": 1}, {"Polynomial": {"poly": 24, "rotation": 0}}]}]}, {"Challenge": 2}]}]}, {"Negated": {"Product": [{"Polynomial": {"poly": 36, "rotation": 0}}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 4, "rotation": 0}}, {"Product": [{"Product": [{"Challenge": 1}, {"Constant": [947327445288546289, 6633658715090812498, 7792400788522944294, 875758956749819284]}]}, {"CommonPolynomial": "Identity"}]}]}, {"Challenge": 2}]}]}}]}]}, {"Product": [{"CommonPolynomial": {"Lagrange": 0}}, {"Polynomial": {"poly": 37, "rotation": 0}}]}, {"Product": [{"CommonPolynomial": {"Lagrange": -6}}, {"Polynomial": {"poly": 37, "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": 8, "rotation": 0}}, {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}]}, {"Polynomial": {"poly": 26, "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]}]}]}, {"Sum": [{"Product": [{"Product": [{"Polynomial": {"poly": 8, "rotation": 0}}, {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}]}, {"Polynomial": {"poly": 27, "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": 37, "rotation": 1}}, {"Negated": {"Polynomial": {"poly": 37, "rotation": 0}}}]}]}, {"Negated": {"Sum": [{"Sum": [{"DistributePowers": [[{"Polynomial": {"poly": 5, "rotation": 0}}, {"Polynomial": {"poly": 6, "rotation": 0}}], {"Challenge": 0}]}, {"Challenge": 1}]}, {"Negated": {"Product": [{"Polynomial": {"poly": 32, "rotation": 0}}, {"Sum": [{"DistributePowers": [[{"Sum": [{"Product": [{"Product": [{"Polynomial": {"poly": 8, "rotation": 0}}, {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}]}, {"Polynomial": {"poly": 26, "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]}]}]}, {"Sum": [{"Product": [{"Product": [{"Polynomial": {"poly": 8, "rotation": 0}}, {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}]}, {"Polynomial": {"poly": 27, "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": 38, "rotation": 0}}]}, {"Product": [{"CommonPolynomial": {"Lagrange": -6}}, {"Polynomial": {"poly": 38, "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": 9, "rotation": 0}}, {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}]}, {"Polynomial": {"poly": 26, "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]}]}]}, {"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": [0, 0, 0, 0]}]}]}], {"Challenge": 0}]}, {"Challenge": 1}]}]}, {"Sum": [{"Polynomial": {"poly": 38, "rotation": 1}}, {"Negated": {"Polynomial": {"poly": 38, "rotation": 0}}}]}]}, {"Negated": {"Sum": [{"Sum": [{"DistributePowers": [[{"Polynomial": {"poly": 5, "rotation": 0}}, {"Polynomial": {"poly": 7, "rotation": 0}}], {"Challenge": 0}]}, {"Challenge": 1}]}, {"Negated": {"Product": [{"Polynomial": {"poly": 33, "rotation": 0}}, {"Sum": [{"DistributePowers": [[{"Sum": [{"Product": [{"Product": [{"Polynomial": {"poly": 9, "rotation": 0}}, {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}]}, {"Polynomial": {"poly": 26, "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]}]}]}, {"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": [0, 0, 0, 0]}]}]}], {"Challenge": 0}]}, {"Challenge": 1}]}]}}]}}]}]}], {"Challenge": 3}]}}, "transcript_initial_state": [6466211562784114180, 15298129723147721200, 16444946603994988094, 1186671380796253918], "instance_committing_key": null, "linearization": null, "accumulator_indices": []}, "instances": [[[17236403609878300513, 8975289109583201277, 11033320042856086930, 2298871365537728986], [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287], [4072474832971751158, 13621019950687641747, 8349885009801153069, 3312433242047143324]]], "proof": [43, 39, 228, 157, 103, 18, 244, 196, 2, 126, 195, 220, 36, 234, 38, 8, 143, 214, 84, 17, 165, 178, 229, 124, 252, 15, 215, 242, 6, 112, 227, 77, 3, 68, 74, 201, 175, 190, 6, 235, 49, 123, 252, 109, 194, 214, 155, 216, 247, 195, 97, 149, 129, 98, 226, 207, 107, 22, 227, 158, 185, 253, 230, 12, 41, 233, 222, 126, 17, 125, 36, 147, 172, 126, 150, 19, 210, 227, 82, 243, 140, 12, 222, 166, 123, 116, 224, 50, 190, 185, 92, 168, 94, 192, 187, 209, 29, 108, 228, 252, 3, 215, 126, 201, 96, 238, 246, 201, 253, 95, 149, 72, 125, 242, 122, 99, 81, 99, 148, 1, 244, 22, 58, 85, 55, 183, 119, 98, 38, 53, 210, 176, 220, 162, 151, 222, 141, 187, 180, 29, 98, 219, 1, 250, 189, 12, 170, 26, 11, 163, 232, 23, 148, 40, 55, 193, 174, 11, 78, 12, 37, 23, 126, 161, 237, 201, 118, 148, 13, 253, 101, 154, 68, 65, 5, 228, 91, 24, 0, 152, 17, 149, 166, 251, 140, 211, 149, 68, 32, 142, 32, 203, 40, 234, 201, 240, 123, 194, 252, 226, 5, 193, 87, 157, 63, 107, 203, 181, 161, 193, 171, 60, 100, 140, 109, 251, 11, 4, 115, 179, 70, 22, 91, 69, 18, 4, 40, 180, 115, 191, 247, 16, 110, 190, 143, 60, 190, 81, 44, 112, 158, 201, 18, 120, 149, 8, 153, 27, 45, 68, 215, 63, 142, 69, 168, 230, 0, 34, 45, 182, 84, 237, 192, 60, 9, 81, 245, 22, 222, 77, 143, 75, 245, 77, 229, 90, 19, 136, 93, 31, 53, 145, 156, 113, 184, 92, 246, 157, 7, 232, 60, 4, 96, 199, 5, 72, 213, 6, 163, 104, 97, 176, 108, 228, 105, 89, 89, 180, 186, 237, 7, 31, 121, 222, 1, 233, 254, 121, 243, 166, 29, 38, 235, 185, 67, 10, 95, 187, 240, 53, 136, 161, 63, 155, 12, 168, 12, 8, 131, 138, 237, 47, 5, 253, 33, 42, 82, 103, 162, 78, 8, 218, 33, 122, 83, 225, 203, 75, 136, 74, 192, 238, 131, 13, 197, 117, 232, 210, 135, 107, 15, 138, 29, 140, 160, 105, 214, 232, 67, 114, 214, 124, 4, 175, 16, 93, 173, 227, 24, 141, 86, 76, 32, 152, 238, 198, 132, 139, 43, 183, 44, 199, 75, 45, 230, 244, 150, 101, 23, 175, 113, 77, 162, 79, 44, 202, 46, 65, 86, 84, 134, 123, 114, 198, 25, 249, 214, 231, 11, 251, 88, 252, 205, 98, 178, 91, 32, 31, 141, 75, 255, 57, 160, 146, 26, 2, 75, 247, 48, 34, 107, 27, 26, 153, 40, 142, 102, 124, 146, 0, 110, 40, 41, 55, 11, 67, 223, 106, 18, 107, 177, 34, 132, 226, 9, 210, 228, 52, 47, 121, 25, 139, 67, 51, 166, 228, 54, 23, 31, 138, 77, 122, 247, 98, 93, 254, 5, 59, 189, 246, 45, 167, 116, 169, 204, 6, 165, 254, 6, 81, 200, 87, 27, 66, 55, 226, 82, 174, 142, 165, 130, 27, 222, 61, 73, 6, 187, 106, 206, 145, 84, 229, 173, 0, 134, 13, 43, 72, 110, 74, 132, 242, 212, 52, 8, 177, 24, 240, 152, 110, 9, 175, 163, 100, 94, 204, 171, 251, 76, 73, 121, 214, 109, 83, 215, 117, 52, 26, 230, 23, 85, 233, 70, 29, 236, 127, 38, 166, 183, 191, 209, 42, 90, 224, 37, 133, 187, 100, 47, 229, 153, 174, 124, 134, 61, 253, 17, 57, 187, 99, 125, 125, 80, 39, 192, 127, 226, 65, 39, 141, 143, 202, 163, 121, 198, 19, 26, 58, 164, 215, 9, 107, 125, 86, 136, 233, 60, 73, 236, 187, 151, 244, 189, 141, 146, 161, 209, 192, 200, 99, 4, 106, 162, 202, 194, 118, 208, 84, 236, 226, 231, 224, 218, 181, 186, 199, 234, 51, 65, 245, 67, 213, 236, 61, 139, 173, 191, 164, 250, 119, 243, 85, 26, 242, 218, 161, 113, 98, 11, 9, 80, 141, 181, 237, 228, 101, 210, 19, 148, 154, 124, 157, 76, 220, 249, 124, 92, 194, 217, 185, 211, 122, 234, 102, 9, 153, 250, 5, 255, 172, 238, 59, 22, 250, 237, 74, 36, 136, 152, 83, 158, 117, 80, 252, 205, 211, 219, 253, 16, 136, 157, 76, 17, 45, 19, 162, 44, 32, 250, 134, 164, 215, 113, 143, 240, 174, 138, 82, 111, 5, 161, 254, 28, 186, 101, 239, 245, 186, 84, 52, 164, 184, 48, 224, 227, 29, 136, 164, 30, 21, 255, 121, 162, 44, 177, 215, 1, 65, 64, 49, 159, 250, 39, 13, 59, 26, 142, 65, 244, 184, 40, 91, 18, 187, 225, 0, 196, 26, 132, 1, 19, 70, 247, 12, 150, 23, 208, 54, 157, 42, 48, 253, 59, 205, 107, 78, 19, 167, 206, 11, 83, 136, 203, 229, 207, 22, 118, 236, 77, 128, 252, 223, 47, 63, 23, 213, 247, 199, 184, 177, 9, 113, 159, 67, 116, 24, 224, 83, 226, 215, 65, 28, 35, 162, 161, 93, 82, 29, 27, 31, 63, 62, 164, 130, 4, 73, 226, 87, 111, 103, 175, 109, 255, 218, 242, 254, 122, 198, 209, 112, 29, 219, 228, 86, 161, 95, 131, 231, 154, 135, 103, 203, 243, 109, 124, 86, 25, 133, 232, 254, 162, 103, 133, 164, 207, 255, 50, 179, 157, 96, 164, 230, 71, 244, 38, 87, 241, 55, 130, 39, 81, 200, 46, 226, 84, 249, 45, 137, 12, 116, 245, 191, 188, 78, 243, 199, 25, 47, 209, 199, 68, 21, 172, 236, 26, 60, 167, 28, 62, 21, 222, 164, 50, 73, 231, 138, 243, 69, 28, 3, 10, 241, 45, 156, 35, 165, 247, 100, 92, 9, 195, 90, 232, 232, 218, 186, 250, 14, 238, 249, 109, 194, 112, 158, 77, 214, 113, 169, 188, 141, 9, 113, 9, 115, 89, 96, 101, 248, 166, 117, 127, 197, 111, 90, 233, 8, 157, 147, 126, 244, 150, 239, 124, 37, 185, 161, 152, 62, 69, 91, 234, 6, 54, 80, 30, 188, 2, 139, 43, 238, 153, 26, 131, 133, 118, 76, 64, 85, 167, 133, 127, 176, 252, 139, 131, 26, 52, 41, 111, 88, 103, 8, 197, 169, 69, 153, 6, 154, 84, 97, 95, 177, 154, 120, 163, 99, 108, 113, 101, 200, 176, 187, 48, 36, 27, 168, 153, 76, 135, 112, 141, 153, 170, 4, 3, 174, 74, 36, 12, 207, 215, 14, 236, 222, 161, 12, 124, 50, 106, 170, 117, 21, 139, 199, 151, 116, 163, 69, 84, 126, 80, 211, 117, 166, 126, 130, 42, 169, 9, 17, 44, 32, 6, 3, 151, 0, 139, 48, 241, 205, 129, 170, 144, 234, 35, 113, 146, 184, 232, 237, 251, 78, 142, 126, 74, 249, 233, 96, 150, 80, 80, 224, 18, 210, 80, 224, 161, 148, 152, 178, 153, 144, 83, 231, 173, 7, 228, 50, 147, 153, 161, 252, 24, 251, 83, 236, 67, 68, 71, 15, 96, 39, 44, 91, 33, 128, 243, 116, 94, 228, 6, 204, 222, 36, 110, 138, 169, 204, 86, 177, 87, 216, 12, 236, 183, 45, 72, 14, 154, 72, 75, 225, 36, 141, 164, 5, 20, 134, 41, 84, 254, 224, 70, 99, 209, 151, 183, 3, 177, 99, 72, 59, 111, 180, 255, 157, 38, 99, 217, 177, 62, 25, 54, 151, 186, 181, 135, 157, 22, 13, 25, 146, 181, 242, 101, 26, 126, 4, 111, 147, 2, 113, 241, 191, 200, 3, 124, 248, 251, 208, 24, 222, 38, 175, 1, 239, 71, 134, 141, 126, 35, 70, 252, 173, 17, 73, 34, 178, 197, 63, 133, 72, 188, 250, 128, 168, 77, 144, 19, 69, 37, 47, 72, 232, 136, 137, 119, 97, 206, 234, 170, 113, 37, 142, 208, 55, 214, 158, 105, 223, 40, 210, 211, 252, 208, 250, 15, 36, 247, 65, 47, 29, 247, 88, 24, 244, 8, 248, 179, 243, 164, 119, 29, 33, 1, 220, 223, 230, 94, 249, 136, 63, 198, 91, 234, 80, 34, 73, 132, 230, 69, 34, 91, 147, 159, 194, 194, 128, 84, 170, 15, 69, 116, 194, 167, 208, 22, 234, 139, 2, 150, 35, 79, 95, 141, 172, 204, 60, 249, 23, 70, 6, 1, 224, 26, 4, 252, 239, 255, 48, 250, 48, 56, 196, 139, 217, 236, 85, 47, 67, 17, 143, 119, 225, 21, 154, 185, 102, 56, 49, 189, 74, 53, 38, 101, 246, 84, 122, 205, 42, 203, 196, 7, 50, 169, 139, 219, 209, 244, 152, 20, 224, 232, 134, 6, 103, 72, 179, 149, 157, 102, 12, 250, 27, 236, 61, 73, 255, 211, 241, 51, 120, 142, 140, 239, 159, 148, 23, 102, 93, 222, 105, 6, 69, 205, 199, 66, 42, 94, 61, 121, 137, 189, 144, 37, 251, 214, 21, 79, 230, 216, 171, 27, 100, 18, 72, 160, 198, 56, 6, 216, 241, 31, 146, 21, 32, 57, 123, 128, 156, 188, 26, 66, 34, 138, 189, 251, 204, 26, 119, 0, 25, 88, 13, 103, 66, 219, 41, 173, 111, 215, 41, 150, 38, 6, 22, 9, 204, 79, 91, 98, 37, 102, 39, 85, 19, 72, 206, 77, 43, 129, 148, 141, 141, 132, 119, 248, 203, 155, 43, 154, 38, 68, 250, 213, 21, 166, 86, 13, 126, 250, 120, 45, 200, 6, 144, 215, 124, 243, 205, 20, 118, 108, 0, 154, 204, 60, 91, 235, 81, 243, 31, 39, 114, 23, 217, 30, 5, 189, 220, 8, 15, 65, 7, 112, 87, 99, 189, 27, 122, 101, 11, 184, 174, 99, 56, 171, 129, 30, 74, 217, 183, 149, 69, 229, 133, 253, 51, 47, 193, 41, 65, 6, 167, 120, 89, 106, 84, 107, 254, 171, 36, 163, 122, 224, 219, 216, 199, 42, 34, 46, 130, 202, 145, 225, 118, 213, 71, 10, 98, 5, 86, 54, 241, 19, 224, 191, 117, 5, 242, 34, 110, 140, 148, 33, 201, 35, 111, 31, 23, 207, 14, 148, 207, 40, 128, 121, 233, 233, 222, 203, 87, 121, 210, 36, 128, 3, 192, 28, 136, 244, 13, 168, 79, 200, 12, 194, 165, 170, 163, 210, 47, 176, 48, 33, 248, 131, 175, 45, 105, 168, 49, 150, 123, 187, 249, 77, 20, 46, 176, 189, 144, 230, 160, 66, 157, 111, 149, 100, 184, 104, 7, 61, 104, 1, 2, 49, 157, 201, 225, 1, 130, 253, 96, 95, 114, 161, 69, 67, 220, 46, 176, 189, 144, 230, 160, 66, 157, 111, 149, 100, 184, 104, 7, 61, 104, 1, 2, 49, 157, 201, 225, 1, 130, 253, 96, 95, 114, 161, 69, 67, 220, 42, 149, 57, 229, 176, 78, 165, 196, 227, 25, 171, 160, 170, 56, 205, 200, 165, 162, 248, 199, 212, 22, 51, 144, 159, 28, 168, 8, 39, 184, 23, 184, 18, 238, 18, 15, 196, 29, 67, 7, 56, 65, 127, 193, 148, 168, 14, 29, 198, 49, 248, 62, 29, 70, 66, 111, 15, 65, 21, 36, 4, 164, 116, 39, 36, 104, 135, 176, 2, 194, 114, 142, 254, 92, 93, 148, 189, 17, 152, 199, 40, 252, 251, 226, 140, 125, 111, 65, 165, 9, 47, 173, 209, 67, 95, 196, 43, 78, 59, 207, 103, 126, 73, 132, 81, 38, 242, 141, 166, 128, 45, 199, 227, 211, 64, 120, 24, 118, 107, 69, 233, 38, 226, 57, 228, 160, 179, 226, 46, 19, 28, 93, 112, 84, 127, 52, 63, 115, 131, 127, 183, 35, 117, 165, 243, 136, 245, 223, 246, 4, 90, 137, 31, 115, 165, 154, 94, 159, 28, 127, 38, 251, 198, 249, 52, 79, 57, 136, 141, 12, 73, 219, 112, 101, 135, 45, 60, 185, 33, 166, 15, 69, 69, 119, 63, 111, 91, 53, 170, 26, 227, 140, 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, 11, 204, 214, 170, 238, 208, 218, 41, 219, 177, 199, 66, 6, 177, 76, 250, 83, 175, 56, 76, 236, 173, 249, 53, 222, 212, 241, 22, 137, 164, 52, 249, 44, 174, 152, 46, 111, 182, 252, 175, 120, 206, 28, 70, 36, 46, 94, 112, 70, 29, 232, 197, 40, 134, 140, 191, 229, 138, 248, 173, 142, 89, 235, 253, 18, 140, 235, 111, 180, 195, 130, 201, 227, 97, 109, 3, 194, 53, 31, 50, 74, 28, 158, 94, 74, 118, 114, 13, 232, 207, 236, 178, 37, 1, 60, 216, 29, 84, 241, 72, 54, 193, 178, 90, 35, 147, 136, 209, 57, 134, 20, 205, 123, 28, 249, 216, 166, 233, 104, 117, 31, 131, 83, 16, 135, 182, 212, 30, 27, 3, 254, 18, 27, 240, 224, 55, 214, 16, 63, 246, 243, 219, 115, 186, 162, 187, 108, 67, 170, 95, 179, 172, 56, 197, 206, 10, 13, 100, 228, 91, 11, 78, 49, 137, 133, 6, 28, 56, 12, 126, 219, 250, 91, 251, 12, 11, 94, 137, 11, 35, 220, 94, 167, 108, 214, 98, 199, 60, 202, 124, 3, 248, 7, 43, 2, 10, 242, 152, 181, 35, 158, 231, 247, 90, 29, 154, 226, 17, 6, 214, 29, 208, 78, 177, 32, 92, 70, 197, 167, 7, 96, 14, 172, 40, 30, 75, 201, 213, 180, 208, 186, 201, 31, 38, 75, 127, 193, 25, 246, 183, 170, 202, 62, 41, 81, 179, 76, 22, 114, 3, 240, 162, 226, 163, 233, 53, 15, 144, 19, 238, 180, 255, 244, 190, 6, 216, 210, 70, 144, 194, 25, 200, 213, 68, 69, 156, 6, 27, 37, 115, 210, 9, 45, 95, 104, 252, 109, 90, 13, 47, 56, 48, 141, 215, 101, 1, 78, 147, 172, 68, 162, 109, 119, 213, 114, 1, 94, 0, 31, 79, 45, 64, 146, 170, 125, 255, 14, 180, 188, 62, 47, 232, 6, 232, 190, 162, 117, 235, 27, 28, 52, 119, 56, 155, 5, 244, 252, 95, 20, 92, 15, 71, 228, 76, 7, 158, 205, 150, 239, 72, 135, 166, 46, 30, 7, 33, 48, 53, 139, 0, 42, 159, 34, 238, 242, 20, 132, 181, 138, 234, 69, 67, 49, 209, 152, 12, 106, 77, 186, 184, 145, 175, 38, 127, 38, 40, 144, 129, 126, 165, 118, 168, 135, 148, 175, 173, 161, 131, 28, 23, 181, 82, 25, 31, 102, 177, 194, 93, 141, 28, 114, 5, 163, 76, 78, 86, 36, 29, 135, 153, 25, 95, 182, 1, 62, 2, 127, 179, 179, 21, 83, 69, 17, 121, 189, 195, 229, 20, 129, 51, 40, 70, 41, 182, 228, 171, 232, 5, 42, 229, 188, 255, 47, 99, 150, 32, 183, 56, 226, 201, 153, 181, 252, 130, 138, 142, 50, 43, 83, 197, 24, 206, 244, 131, 105, 140, 11, 197, 216, 247, 45, 229, 85, 0, 57, 170, 220, 162, 110, 162, 49, 108, 4, 97, 92, 172, 65, 241, 140, 91, 225, 49, 170, 199, 144, 11, 139, 61, 111, 214, 196, 255, 34, 5, 80, 66, 115, 227, 124, 90, 218, 175, 31, 67, 29, 241, 109, 94, 52, 58, 107, 59, 202, 248, 160, 181, 53, 187, 221, 76, 161, 98, 168, 161, 16, 151, 138, 98, 172, 245, 34, 122, 245, 234, 141, 60, 193, 230, 95, 66, 184, 81, 78, 139, 27, 57, 93, 123, 12, 29, 131, 7, 60, 27, 129, 251, 12, 123, 138, 29, 136, 168, 177, 141, 158, 217, 15, 146, 3, 90, 126, 201, 254, 125, 69, 116, 105, 190, 235, 255, 132, 160, 201, 149, 231, 148, 206, 75, 32, 197, 145, 0, 173, 83, 158, 23, 161, 152, 245, 15, 94, 188, 237, 251, 185, 196, 14, 205, 71, 121, 122, 115, 168, 238, 131, 233, 7, 140, 118, 162, 23, 221, 101, 190, 100, 136, 78, 36, 17, 101, 218, 44, 89, 24, 167, 35, 137, 197, 78, 117, 166, 129, 212, 145, 92, 157, 44, 20, 0, 193, 238, 108, 6, 62, 168, 10, 44, 92, 107, 70, 94, 28, 210, 49, 26, 189, 94, 115, 231, 252, 78, 8, 136, 96, 61, 251, 242, 70, 239, 125, 198, 4, 103, 213, 41, 169, 226, 26, 247, 34, 206, 141, 253, 236, 79, 35, 1, 58, 147, 129, 228, 132, 116, 197, 171, 149, 229, 21, 65, 129, 191, 206, 76, 83, 87, 12, 37, 91, 105, 16, 106, 60, 157, 33, 182, 144, 27, 101, 116, 83, 118, 95, 183, 85, 191, 97, 9, 102, 68, 46, 228, 31, 153, 53, 194, 51, 82, 188, 26, 220, 105, 80, 63, 88, 110, 26, 154, 122, 203, 252, 70, 207, 76, 24, 77, 9, 189, 162, 58, 173, 195, 151, 11, 133, 194, 187, 251, 150, 119, 127, 28, 8, 229, 164, 32, 227, 8, 117, 178, 91, 175, 137, 42, 205, 249, 54, 66, 17, 56, 144, 48, 16, 91, 165, 169, 166, 125, 1, 198, 155, 58, 11, 14, 65, 6, 246, 192, 31, 22, 66, 61, 82, 137, 127, 110, 205, 71, 8, 217, 104, 231, 10, 43, 200, 65, 106, 25, 53, 103, 22, 173, 35, 163, 186, 40, 172, 0, 150, 15, 32, 104, 142, 218, 170, 35, 207, 17, 13, 96, 174, 27, 44, 53, 60, 221, 240, 108, 59, 49, 134, 202, 213, 51, 247, 134, 199, 43, 188, 142, 254, 252, 35, 102, 34, 221, 132, 208, 255, 166, 213, 221, 24, 17, 148, 215, 13, 16, 24, 61, 189, 217, 41, 121, 11, 54, 200, 203, 151, 36, 227, 227, 124, 163, 114, 38, 53, 26, 137, 83, 82, 141, 103, 97, 37, 215, 14, 55, 188, 130, 98, 140, 169, 11, 217, 45, 225, 247, 3, 111, 209], "transcript_type": "EVM", "split": null}