diff --git a/public/assets/kzg.srs b/public/assets/kzg.srs
index e3a454d..5163112 100644
Binary files a/public/assets/kzg.srs and b/public/assets/kzg.srs differ
diff --git a/public/assets/model.onnx b/public/assets/model.onnx
index 2dec4b0..3add59e 100644
Binary files a/public/assets/model.onnx and b/public/assets/model.onnx differ
diff --git a/public/assets/model.pf b/public/assets/model.pf
index 99a7827..29c9284 100644
--- a/public/assets/model.pf
+++ b/public/assets/model.pf
@@ -1 +1 @@
-{"protocol": {"domain": {"k": 17, "n": 131072, "n_inv": [0, 0, 0, 140737488355328], "gen": [10328996839774307296, 3137371740708723579, 14560387799605567379, 2967229345595982336], "gen_inv": [10576018011517079560, 9716248366216130094, 7306589758931143380, 3472459677849482257]}, "preprocessed": [{"x": [884019656470137155, 16784214617069672924, 11559683606510341574, 2873617249346154828], "y": [14405080475996727319, 1344498810318067030, 5642133550407007780, 3049093636277921868]}, {"x": [6017119240030354457, 13754593670067849478, 11737898117943685314, 2932568830043688015], "y": [4870218506308775400, 11400165136105611017, 6252932127920916180, 1321337230120499361]}, {"x": [8530810842336755898, 1131967981006201003, 6280183884262975232, 2817577013099773722], "y": [13895798822242062445, 8000443663593529778, 13480779159062817187, 2776339687503036596]}, {"x": [8748468570233716140, 1513589060010689625, 8522706182812852810, 2235495351023457202], "y": [12721309015027384481, 6619705912308317398, 17321344516607760762, 1750651937945130801]}, {"x": [3236995085942010092, 6834712099237005707, 2868852239566396674, 133932571104155712], "y": [9263075086120941901, 9095752120180161601, 2100427598502441095, 1323505109281200288]}, {"x": [6768162957596430012, 5949840704017239875, 6334156182319647193, 3181448961747650320], "y": [1449525986721560925, 1750338297337752298, 2949068926359836682, 3242498236784557254]}, {"x": [6768162957596430012, 5949840704017239875, 6334156182319647193, 3181448961747650320], "y": [1449525986721560925, 1750338297337752298, 2949068926359836682, 3242498236784557254]}, {"x": [5824363518861427554, 17331178770624335522, 15354164193108043879, 604080630108460617], "y": [8394433772535014219, 10014721651369446442, 2719700062389410369, 814296517317758816]}, {"x": [0, 0, 0, 0], "y": [0, 0, 0, 0]}, {"x": [7255737699675092113, 4166765680214446408, 17333977328830766906, 206473351256347789], "y": [17130076680384309724, 6680887755861894302, 6687697594277388977, 2680597330258683117]}, {"x": [0, 0, 0, 0], "y": [0, 0, 0, 0]}, {"x": [1847577665117625629, 11452980824213748490, 12953697192837398714, 2422433307429669818], "y": [8686232241533027048, 18294162120428134896, 16176308171237773395, 1686954545562782846]}, {"x": [4163533291985053653, 6305995318452179960, 17611213734975230978, 1343354915204134223], "y": [5548903639807158925, 3312004020053322525, 13767008721817490812, 1541855349959845257]}, {"x": [15199196502347950174, 3778600883099721335, 252288681007779277, 3074652594213294502], "y": [18006469415022821580, 10427827957755658324, 9344044262818265514, 3099756039615815291]}, {"x": [9396321402644062632, 17977692422683076944, 12550535619678535328, 2309479432820154921], "y": [16318954793607179188, 17050425402406540897, 12434543327380906796, 1970961576939542110]}, {"x": [0, 0, 0, 0], "y": [0, 0, 0, 0]}, {"x": [0, 0, 0, 0], "y": [0, 0, 0, 0]}, {"x": [0, 0, 0, 0], "y": [0, 0, 0, 0]}, {"x": [10876133770580688767, 13825617905091336523, 17385049689627636190, 2628089833226483204], "y": [253434900446278879, 9487050654625077416, 8658559922499213267, 2069476212631296247]}, {"x": [14901714432148260579, 9016744985472956641, 4983048617399457461, 840355848886643587], "y": [16667544790055706190, 8945333793695352195, 246526429529613942, 207340831436407355]}, {"x": [2822443629047828142, 15095316231589418295, 898761426156023393, 727695673868393087], "y": [11788824503111860116, 8160694623910813129, 2258946438159503360, 2959682645236558699]}, {"x": [14835847022348310196, 10286945868564075134, 1676168391200666788, 1643072871161312631], "y": [14990070967561634558, 9988271977694069345, 6153641113710398049, 3105355724609628582]}, {"x": [8251949646368487442, 2449350178175453631, 322518173451119761, 3444383529367772914], "y": [15120905383049636549, 603057652686040616, 16227631167544601694, 1530598186635026013]}, {"x": [4831413063947794646, 11346931679957485853, 17459924275626895747, 3181869372108508905], "y": [18338947365513636317, 15340994137008627682, 9054931225366192799, 1187118051489411113]}, {"x": [17977034720511988304, 11483172256660395706, 11318132370727609828, 316106096532201186], "y": [11286155823660117721, 11610035169381013562, 5895375847700315831, 2261740140807384737]}, {"x": [12209926898877764485, 14205063127401765585, 11783656852042790764, 2638108486289165555], "y": [1563315491823920405, 12911486258977564253, 17941313977066754199, 3160851609422111039]}, {"x": [17896245427198954854, 15790862092142337851, 12261678868523705731, 775082369087294023], "y": [8595758528781509297, 8114193358200052132, 4943027267060399794, 2554113030527390498]}, {"x": [14239070271443924404, 12190361612900075903, 9544411470513855425, 1110958222638445254], "y": [4690004628501614282, 5975449490037076212, 15640418465736910141, 1314169290303432979]}, {"x": [2815797972680921979, 10579755811077713945, 9020251176047283620, 732603843703932779], "y": [1687244549886701526, 7813449237523348554, 11910456553380533753, 1943492150862142595]}, {"x": [10138295033342180775, 4844113097259190849, 9614321718374246888, 563735963867910781], "y": [8899098709447405231, 16779557776112609168, 13489812743810331482, 1787126269404514115]}, {"x": [11813731843537673000, 3320269652151448770, 15715252055352162883, 1298710719228399563], "y": [16140985406149543176, 16040384509938617781, 4682789857785622630, 1954824873736351891]}, {"x": [8568589260609075232, 13076067587168425383, 16372800054618585105, 402815412036025107], "y": [6877341528348020851, 11965625491630871456, 4692023647533184131, 657222102314380323]}], "num_instance": [3], "num_witness": [9, 4, 8], "num_challenge": [1, 2, 1], "evaluations": [{"poly": 33, "rotation": 0}, {"poly": 34, "rotation": 0}, {"poly": 35, "rotation": 0}, {"poly": 36, "rotation": 0}, {"poly": 37, "rotation": 0}, {"poly": 38, "rotation": 0}, {"poly": 39, "rotation": 0}, {"poly": 40, "rotation": 0}, {"poly": 39, "rotation": 1}, {"poly": 40, "rotation": 1}, {"poly": 41, "rotation": 0}, {"poly": 40, "rotation": -1}, {"poly": 39, "rotation": -1}, {"poly": 37, "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": 53, "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": 46, "rotation": 0}, {"poly": 46, "rotation": 1}, {"poly": 46, "rotation": -6}, {"poly": 47, "rotation": 0}, {"poly": 47, "rotation": 1}, {"poly": 47, "rotation": -6}, {"poly": 48, "rotation": 0}, {"poly": 48, "rotation": 1}, {"poly": 49, "rotation": 0}, {"poly": 49, "rotation": 1}, {"poly": 42, "rotation": 0}, {"poly": 50, "rotation": 0}, {"poly": 50, "rotation": 1}, {"poly": 43, "rotation": 0}, {"poly": 51, "rotation": 0}, {"poly": 51, "rotation": 1}, {"poly": 44, "rotation": 0}, {"poly": 52, "rotation": 0}, {"poly": 52, "rotation": 1}, {"poly": 45, "rotation": 0}], "queries": [{"poly": 33, "rotation": 0}, {"poly": 34, "rotation": 0}, {"poly": 35, "rotation": 0}, {"poly": 36, "rotation": 0}, {"poly": 37, "rotation": 0}, {"poly": 38, "rotation": 0}, {"poly": 39, "rotation": 0}, {"poly": 40, "rotation": 0}, {"poly": 39, "rotation": 1}, {"poly": 40, "rotation": 1}, {"poly": 41, "rotation": 0}, {"poly": 40, "rotation": -1}, {"poly": 39, "rotation": -1}, {"poly": 37, "rotation": -1}, {"poly": 46, "rotation": 0}, {"poly": 46, "rotation": 1}, {"poly": 47, "rotation": 0}, {"poly": 47, "rotation": 1}, {"poly": 48, "rotation": 0}, {"poly": 48, "rotation": 1}, {"poly": 47, "rotation": -6}, {"poly": 46, "rotation": -6}, {"poly": 49, "rotation": 0}, {"poly": 49, "rotation": 1}, {"poly": 42, "rotation": 0}, {"poly": 50, "rotation": 0}, {"poly": 50, "rotation": 1}, {"poly": 43, "rotation": 0}, {"poly": 51, "rotation": 0}, {"poly": 51, "rotation": 1}, {"poly": 44, "rotation": 0}, {"poly": 52, "rotation": 0}, {"poly": 52, "rotation": 1}, {"poly": 45, "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": 54, "rotation": 0}, {"poly": 53, "rotation": 0}], "quotient": {"chunk_degree": 1, "num_chunk": 5, "numerator": {"DistributePowers": [[{"Product": [{"Polynomial": {"poly": 12, "rotation": 0}}, {"Sum": [{"Sum": [{"Scaled": [{"Product": [{"Product": [{"Product": [{"Sum": [{"Polynomial": {"poly": 39, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}, {"Sum": [{"Polynomial": {"poly": 39, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}]}, {"Product": [{"Sum": [{"Polynomial": {"poly": 39, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}, {"Sum": [{"Polynomial": {"poly": 39, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}]}]}, {"Sum": [{"Polynomial": {"poly": 39, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}]}, [17920654652615044516, 5315228629426935734, 16921197825591404379, 2189197718402122891]]}, {"Scaled": [{"Product": [{"Product": [{"Product": [{"Sum": [{"Polynomial": {"poly": 40, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}, {"Sum": [{"Polynomial": {"poly": 40, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}]}, {"Product": [{"Sum": [{"Polynomial": {"poly": 40, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}, {"Sum": [{"Polynomial": {"poly": 40, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}]}]}, {"Sum": [{"Polynomial": {"poly": 40, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}]}, [14492560017976159917, 4919046997046981090, 263614296871819263, 2759311356546844781]]}]}, {"Negated": {"Polynomial": {"poly": 39, "rotation": 1}}}]}]}, {"Product": [{"Polynomial": {"poly": 12, "rotation": 0}}, {"Sum": [{"Sum": [{"Scaled": [{"Product": [{"Product": [{"Product": [{"Sum": [{"Polynomial": {"poly": 39, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}, {"Sum": [{"Polynomial": {"poly": 39, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}]}, {"Product": [{"Sum": [{"Polynomial": {"poly": 39, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}, {"Sum": [{"Polynomial": {"poly": 39, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}]}]}, {"Sum": [{"Polynomial": {"poly": 39, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}]}, [6011552397623934548, 6038211121966084978, 18341914591778152024, 3351495707820976067]]}, {"Scaled": [{"Product": [{"Product": [{"Product": [{"Sum": [{"Polynomial": {"poly": 40, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}, {"Sum": [{"Polynomial": {"poly": 40, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}]}, {"Product": [{"Sum": [{"Polynomial": {"poly": 40, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}, {"Sum": [{"Polynomial": {"poly": 40, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}]}]}, {"Sum": [{"Polynomial": {"poly": 40, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}]}, [16349074296086608540, 7458233725163740651, 5446347661749231797, 1359884895167300752]]}]}, {"Negated": {"Polynomial": {"poly": 40, "rotation": 1}}}]}]}, {"Product": [{"Polynomial": {"poly": 13, "rotation": 0}}, {"Sum": [{"Product": [{"Product": [{"Product": [{"Sum": [{"Polynomial": {"poly": 39, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}, {"Sum": [{"Polynomial": {"poly": 39, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}]}, {"Product": [{"Sum": [{"Polynomial": {"poly": 39, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}, {"Sum": [{"Polynomial": {"poly": 39, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}]}]}, {"Sum": [{"Polynomial": {"poly": 39, "rotation": 0}}, {"Polynomial": {"poly": 1, "rotation": 0}}]}]}, {"Negated": {"Polynomial": {"poly": 41, "rotation": 0}}}]}]}, {"Product": [{"Polynomial": {"poly": 13, "rotation": 0}}, {"Sum": [{"Product": [{"Product": [{"Product": [{"Sum": [{"Sum": [{"Scaled": [{"Polynomial": {"poly": 41, "rotation": 0}}, [17920654652615044516, 5315228629426935734, 16921197825591404379, 2189197718402122891]]}, {"Scaled": [{"Sum": [{"Polynomial": {"poly": 40, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}, [14492560017976159917, 4919046997046981090, 263614296871819263, 2759311356546844781]]}]}, {"Polynomial": {"poly": 3, "rotation": 0}}]}, {"Sum": [{"Sum": [{"Scaled": [{"Polynomial": {"poly": 41, "rotation": 0}}, [17920654652615044516, 5315228629426935734, 16921197825591404379, 2189197718402122891]]}, {"Scaled": [{"Sum": [{"Polynomial": {"poly": 40, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}, [14492560017976159917, 4919046997046981090, 263614296871819263, 2759311356546844781]]}]}, {"Polynomial": {"poly": 3, "rotation": 0}}]}]}, {"Product": [{"Sum": [{"Sum": [{"Scaled": [{"Polynomial": {"poly": 41, "rotation": 0}}, [17920654652615044516, 5315228629426935734, 16921197825591404379, 2189197718402122891]]}, {"Scaled": [{"Sum": [{"Polynomial": {"poly": 40, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}, [14492560017976159917, 4919046997046981090, 263614296871819263, 2759311356546844781]]}]}, {"Polynomial": {"poly": 3, "rotation": 0}}]}, {"Sum": [{"Sum": [{"Scaled": [{"Polynomial": {"poly": 41, "rotation": 0}}, [17920654652615044516, 5315228629426935734, 16921197825591404379, 2189197718402122891]]}, {"Scaled": [{"Sum": [{"Polynomial": {"poly": 40, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}, [14492560017976159917, 4919046997046981090, 263614296871819263, 2759311356546844781]]}]}, {"Polynomial": {"poly": 3, "rotation": 0}}]}]}]}, {"Sum": [{"Sum": [{"Scaled": [{"Polynomial": {"poly": 41, "rotation": 0}}, [17920654652615044516, 5315228629426935734, 16921197825591404379, 2189197718402122891]]}, {"Scaled": [{"Sum": [{"Polynomial": {"poly": 40, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}, [14492560017976159917, 4919046997046981090, 263614296871819263, 2759311356546844781]]}]}, {"Polynomial": {"poly": 3, "rotation": 0}}]}]}, {"Negated": {"Sum": [{"Scaled": [{"Polynomial": {"poly": 39, "rotation": 1}}, [7810590202345917679, 4001289811682949179, 14117875529941033743, 551793561812414581]]}, {"Scaled": [{"Polynomial": {"poly": 40, "rotation": 1}}, [1909574960651208565, 5274055703427280399, 9428637225224546100, 962532537166199475]]}]}}]}]}, {"Product": [{"Polynomial": {"poly": 13, "rotation": 0}}, {"Sum": [{"Sum": [{"Sum": [{"Scaled": [{"Polynomial": {"poly": 41, "rotation": 0}}, [6011552397623934548, 6038211121966084978, 18341914591778152024, 3351495707820976067]]}, {"Scaled": [{"Sum": [{"Polynomial": {"poly": 40, "rotation": 0}}, {"Polynomial": {"poly": 2, "rotation": 0}}]}, [16349074296086608540, 7458233725163740651, 5446347661749231797, 1359884895167300752]]}]}, {"Polynomial": {"poly": 4, "rotation": 0}}]}, {"Negated": {"Sum": [{"Scaled": [{"Polynomial": {"poly": 39, "rotation": 1}}, [6201674473263580600, 11027032022304752699, 11812783833195029048, 426590697376810083]]}, {"Scaled": [{"Polynomial": {"poly": 40, "rotation": 1}}, [9689808325616223960, 4771942582599059852, 18212175210456834468, 3057340747369548698]]}]}}]}]}, {"Product": [{"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": [{"Constant": [1949230679015292902, 16913946402569752895, 5177146667339417225, 1571765431670520771]}, {"Negated": {"Polynomial": {"poly": 14, "rotation": 0}}}]}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 39, "rotation": -1}}, {"Polynomial": {"poly": 39, "rotation": 0}}]}, {"Negated": {"Polynomial": {"poly": 39, "rotation": 1}}}]}]}, {"Product": [{"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": [{"Constant": [1949230679015292902, 16913946402569752895, 5177146667339417225, 1571765431670520771]}, {"Negated": {"Polynomial": {"poly": 14, "rotation": 0}}}]}]}, {"Sum": [{"Polynomial": {"poly": 40, "rotation": -1}}, {"Negated": {"Polynomial": {"poly": 40, "rotation": 1}}}]}]}, {"Product": [{"Product": [{"Product": [{"Product": [{"Polynomial": {"poly": 15, "rotation": 0}}, {"Sum": [{"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}, {"Negated": {"Polynomial": {"poly": 15, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [415066004289224689, 11886516471525959549, 3696305541684646538, 3035258219084094862]}, {"Negated": {"Polynomial": {"poly": 15, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [7959790035488735211, 12951774245394433045, 16242874202584236123, 560012691975822483]}, {"Negated": {"Polynomial": {"poly": 15, "rotation": 0}}}]}]}, {"Sum": [{"Polynomial": {"poly": 37, "rotation": 0}}, {"Negated": {"Polynomial": {"poly": 35, "rotation": 0}}}]}]}, {"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": [{"Polynomial": {"poly": 38, "rotation": 0}}, {"Negated": {"Polynomial": {"poly": 36, "rotation": 0}}}]}]}, {"Product": [{"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": [{"Constant": [1949230679015292902, 16913946402569752895, 5177146667339417225, 1571765431670520771]}, {"Negated": {"Polynomial": {"poly": 14, "rotation": 0}}}]}]}, {"Sum": [{"Polynomial": {"poly": 37, "rotation": 0}}, {"Negated": {"Sum": [{"Polynomial": {"poly": 33, "rotation": 0}}, {"Polynomial": {"poly": 35, "rotation": 0}}]}}]}]}, {"Product": [{"Product": [{"Product": [{"Product": [{"Polynomial": {"poly": 15, "rotation": 0}}, {"Sum": [{"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}, {"Negated": {"Polynomial": {"poly": 15, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [6425625360762666998, 7924344314350639699, 14762033076929465436, 2023505479389396574]}, {"Negated": {"Polynomial": {"poly": 15, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [415066004289224689, 11886516471525959549, 3696305541684646538, 3035258219084094862]}, {"Negated": {"Polynomial": {"poly": 15, "rotation": 0}}}]}]}, {"Sum": [{"Polynomial": {"poly": 38, "rotation": 0}}, {"Negated": {"Sum": [{"Polynomial": {"poly": 34, "rotation": 0}}, {"Polynomial": {"poly": 36, "rotation": 0}}]}}]}]}, {"Product": [{"Product": [{"Product": [{"Product": [{"Polynomial": {"poly": 15, "rotation": 0}}, {"Sum": [{"Constant": [6425625360762666998, 7924344314350639699, 14762033076929465436, 2023505479389396574]}, {"Negated": {"Polynomial": {"poly": 15, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [415066004289224689, 11886516471525959549, 3696305541684646538, 3035258219084094862]}, {"Negated": {"Polynomial": {"poly": 15, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [7959790035488735211, 12951774245394433045, 16242874202584236123, 560012691975822483]}, {"Negated": {"Polynomial": {"poly": 15, "rotation": 0}}}]}]}, {"Sum": [{"Polynomial": {"poly": 37, "rotation": 0}}, {"Negated": {"Product": [{"Polynomial": {"poly": 33, "rotation": 0}}, {"Polynomial": {"poly": 35, "rotation": 0}}]}}]}]}, {"Product": [{"Product": [{"Product": [{"Product": [{"Polynomial": {"poly": 16, "rotation": 0}}, {"Sum": [{"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}, {"Negated": {"Polynomial": {"poly": 16, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [6425625360762666998, 7924344314350639699, 14762033076929465436, 2023505479389396574]}, {"Negated": {"Polynomial": {"poly": 16, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [7959790035488735211, 12951774245394433045, 16242874202584236123, 560012691975822483]}, {"Negated": {"Polynomial": {"poly": 16, "rotation": 0}}}]}]}, {"Sum": [{"Polynomial": {"poly": 38, "rotation": 0}}, {"Negated": {"Product": [{"Polynomial": {"poly": 34, "rotation": 0}}, {"Polynomial": {"poly": 36, "rotation": 0}}]}}]}]}, {"Product": [{"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": [{"Constant": [1949230679015292902, 16913946402569752895, 5177146667339417225, 1571765431670520771]}, {"Negated": {"Polynomial": {"poly": 14, "rotation": 0}}}]}]}, {"Sum": [{"Polynomial": {"poly": 37, "rotation": 0}}, {"Negated": {"Sum": [{"Polynomial": {"poly": 33, "rotation": 0}}, {"Negated": {"Polynomial": {"poly": 35, "rotation": 0}}}]}}]}]}, {"Product": [{"Product": [{"Product": [{"Product": [{"Polynomial": {"poly": 16, "rotation": 0}}, {"Sum": [{"Constant": [6425625360762666998, 7924344314350639699, 14762033076929465436, 2023505479389396574]}, {"Negated": {"Polynomial": {"poly": 16, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [415066004289224689, 11886516471525959549, 3696305541684646538, 3035258219084094862]}, {"Negated": {"Polynomial": {"poly": 16, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [7959790035488735211, 12951774245394433045, 16242874202584236123, 560012691975822483]}, {"Negated": {"Polynomial": {"poly": 16, "rotation": 0}}}]}]}, {"Sum": [{"Polynomial": {"poly": 38, "rotation": 0}}, {"Negated": {"Sum": [{"Polynomial": {"poly": 34, "rotation": 0}}, {"Negated": {"Polynomial": {"poly": 36, "rotation": 0}}}]}}]}]}, {"Product": [{"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": [{"Constant": [1949230679015292902, 16913946402569752895, 5177146667339417225, 1571765431670520771]}, {"Negated": {"Polynomial": {"poly": 14, "rotation": 0}}}]}]}, {"Sum": [{"Polynomial": {"poly": 37, "rotation": 0}}, {"Negated": {"Negated": {"Polynomial": {"poly": 35, "rotation": 0}}}}]}]}, {"Product": [{"Product": [{"Product": [{"Product": [{"Polynomial": {"poly": 16, "rotation": 0}}, {"Sum": [{"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}, {"Negated": {"Polynomial": {"poly": 16, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [415066004289224689, 11886516471525959549, 3696305541684646538, 3035258219084094862]}, {"Negated": {"Polynomial": {"poly": 16, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [7959790035488735211, 12951774245394433045, 16242874202584236123, 560012691975822483]}, {"Negated": {"Polynomial": {"poly": 16, "rotation": 0}}}]}]}, {"Sum": [{"Polynomial": {"poly": 38, "rotation": 0}}, {"Negated": {"Negated": {"Polynomial": {"poly": 36, "rotation": 0}}}}]}]}, {"Product": [{"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": [{"Constant": [7959790035488735211, 12951774245394433045, 16242874202584236123, 560012691975822483]}, {"Negated": {"Polynomial": {"poly": 14, "rotation": 0}}}]}]}, {"Polynomial": {"poly": 35, "rotation": 0}}]}, {"Product": [{"Product": [{"Product": [{"Product": [{"Polynomial": {"poly": 16, "rotation": 0}}, {"Sum": [{"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}, {"Negated": {"Polynomial": {"poly": 16, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [6425625360762666998, 7924344314350639699, 14762033076929465436, 2023505479389396574]}, {"Negated": {"Polynomial": {"poly": 16, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [415066004289224689, 11886516471525959549, 3696305541684646538, 3035258219084094862]}, {"Negated": {"Polynomial": {"poly": 16, "rotation": 0}}}]}]}, {"Polynomial": {"poly": 36, "rotation": 0}}]}, {"Product": [{"Product": [{"Product": [{"Product": [{"Polynomial": {"poly": 15, "rotation": 0}}, {"Sum": [{"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}, {"Negated": {"Polynomial": {"poly": 15, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [6425625360762666998, 7924344314350639699, 14762033076929465436, 2023505479389396574]}, {"Negated": {"Polynomial": {"poly": 15, "rotation": 0}}}]}]}, {"Sum": [{"Constant": [7959790035488735211, 12951774245394433045, 16242874202584236123, 560012691975822483]}, {"Negated": {"Polynomial": {"poly": 15, "rotation": 0}}}]}]}, {"Product": [{"Polynomial": {"poly": 35, "rotation": 0}}, {"Sum": [{"Polynomial": {"poly": 35, "rotation": 0}}, {"Negated": {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}}]}]}]}, {"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}}}]}]}, {"Product": [{"Polynomial": {"poly": 36, "rotation": 0}}, {"Sum": [{"Polynomial": {"poly": 36, "rotation": 0}}, {"Negated": {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}}]}]}]}, {"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": [{"Polynomial": {"poly": 37, "rotation": 0}}, {"Negated": {"Sum": [{"Polynomial": {"poly": 37, "rotation": -1}}, {"Sum": [{"Sum": [{"Constant": [0, 0, 0, 0]}, {"Product": [{"Polynomial": {"poly": 33, "rotation": 0}}, {"Polynomial": {"poly": 35, "rotation": 0}}]}]}, {"Product": [{"Polynomial": {"poly": 34, "rotation": 0}}, {"Polynomial": {"poly": 36, "rotation": 0}}]}]}]}}]}]}, {"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": [{"Polynomial": {"poly": 37, "rotation": 0}}, {"Negated": {"Sum": [{"Sum": [{"Constant": [0, 0, 0, 0]}, {"Product": [{"Polynomial": {"poly": 33, "rotation": 0}}, {"Polynomial": {"poly": 35, "rotation": 0}}]}]}, {"Product": [{"Polynomial": {"poly": 34, "rotation": 0}}, {"Polynomial": {"poly": 36, "rotation": 0}}]}]}}]}]}, {"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": [{"Polynomial": {"poly": 37, "rotation": 0}}, {"Negated": {"Product": [{"Product": [{"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}, {"Polynomial": {"poly": 35, "rotation": 0}}]}, {"Polynomial": {"poly": 36, "rotation": 0}}]}}]}]}, {"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": [{"Polynomial": {"poly": 37, "rotation": 0}}, {"Negated": {"Product": [{"Polynomial": {"poly": 37, "rotation": -1}}, {"Product": [{"Product": [{"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}, {"Polynomial": {"poly": 35, "rotation": 0}}]}, {"Polynomial": {"poly": 36, "rotation": 0}}]}]}}]}]}, {"Product": [{"Polynomial": {"poly": 19, "rotation": 0}}, {"Sum": [{"Polynomial": {"poly": 37, "rotation": 0}}, {"Negated": {"Sum": [{"Sum": [{"Constant": [0, 0, 0, 0]}, {"Polynomial": {"poly": 35, "rotation": 0}}]}, {"Polynomial": {"poly": 36, "rotation": 0}}]}}]}]}, {"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": [{"Polynomial": {"poly": 37, "rotation": 0}}, {"Negated": {"Sum": [{"Polynomial": {"poly": 37, "rotation": -1}}, {"Sum": [{"Sum": [{"Constant": [0, 0, 0, 0]}, {"Polynomial": {"poly": 35, "rotation": 0}}]}, {"Polynomial": {"poly": 36, "rotation": 0}}]}]}}]}]}, {"Product": [{"CommonPolynomial": {"Lagrange": 0}}, {"Sum": [{"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}, {"Negated": {"Polynomial": {"poly": 46, "rotation": 0}}}]}]}, {"Product": [{"CommonPolynomial": {"Lagrange": -6}}, {"Sum": [{"Product": [{"Polynomial": {"poly": 48, "rotation": 0}}, {"Polynomial": {"poly": 48, "rotation": 0}}]}, {"Negated": {"Polynomial": {"poly": 48, "rotation": 0}}}]}]}, {"Product": [{"CommonPolynomial": {"Lagrange": 0}}, {"Sum": [{"Polynomial": {"poly": 47, "rotation": 0}}, {"Negated": {"Polynomial": {"poly": 46, "rotation": -6}}}]}]}, {"Product": [{"CommonPolynomial": {"Lagrange": 0}}, {"Sum": [{"Polynomial": {"poly": 48, "rotation": 0}}, {"Negated": {"Polynomial": {"poly": 47, "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": 46, "rotation": 1}}, {"Product": [{"Product": [{"Product": [{"Sum": [{"Sum": [{"Polynomial": {"poly": 33, "rotation": 0}}, {"Product": [{"Challenge": 1}, {"Polynomial": {"poly": 20, "rotation": 0}}]}]}, {"Challenge": 2}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 34, "rotation": 0}}, {"Product": [{"Challenge": 1}, {"Polynomial": {"poly": 21, "rotation": 0}}]}]}, {"Challenge": 2}]}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 35, "rotation": 0}}, {"Product": [{"Challenge": 1}, {"Polynomial": {"poly": 22, "rotation": 0}}]}]}, {"Challenge": 2}]}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 36, "rotation": 0}}, {"Product": [{"Challenge": 1}, {"Polynomial": {"poly": 23, "rotation": 0}}]}]}, {"Challenge": 2}]}]}]}, {"Negated": {"Product": [{"Polynomial": {"poly": 46, "rotation": 0}}, {"Product": [{"Product": [{"Product": [{"Sum": [{"Sum": [{"Polynomial": {"poly": 33, "rotation": 0}}, {"Product": [{"Product": [{"Challenge": 1}, {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}]}, {"CommonPolynomial": "Identity"}]}]}, {"Challenge": 2}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 34, "rotation": 0}}, {"Product": [{"Product": [{"Challenge": 1}, {"Constant": [11100302345850292309, 5109383341788583484, 6450182039226333095, 2498166472155664813]}]}, {"CommonPolynomial": "Identity"}]}]}, {"Challenge": 2}]}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 35, "rotation": 0}}, {"Product": [{"Product": [{"Challenge": 1}, {"Constant": [11922143911221101039, 4762855335879493275, 9634852812984583437, 2104342265551292894]}]}, {"CommonPolynomial": "Identity"}]}]}, {"Challenge": 2}]}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 36, "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": 47, "rotation": 1}}, {"Product": [{"Product": [{"Product": [{"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": 0, "rotation": 0}}, {"Product": [{"Challenge": 1}, {"Polynomial": {"poly": 26, "rotation": 0}}]}]}, {"Challenge": 2}]}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 39, "rotation": 0}}, {"Product": [{"Challenge": 1}, {"Polynomial": {"poly": 27, "rotation": 0}}]}]}, {"Challenge": 2}]}]}]}, {"Negated": {"Product": [{"Polynomial": {"poly": 47, "rotation": 0}}, {"Product": [{"Product": [{"Product": [{"Sum": [{"Sum": [{"Polynomial": {"poly": 37, "rotation": 0}}, {"Product": [{"Product": [{"Challenge": 1}, {"Constant": [5185504448716010194, 13473122879869045206, 7110214824824105482, 296185565312886903]}]}, {"CommonPolynomial": "Identity"}]}]}, {"Challenge": 2}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 38, "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": 39, "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": 48, "rotation": 1}}, {"Product": [{"Product": [{"Product": [{"Sum": [{"Sum": [{"Polynomial": {"poly": 40, "rotation": 0}}, {"Product": [{"Challenge": 1}, {"Polynomial": {"poly": 28, "rotation": 0}}]}]}, {"Challenge": 2}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 3, "rotation": 0}}, {"Product": [{"Challenge": 1}, {"Polynomial": {"poly": 29, "rotation": 0}}]}]}, {"Challenge": 2}]}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 32, "rotation": 0}}, {"Product": [{"Challenge": 1}, {"Polynomial": {"poly": 30, "rotation": 0}}]}]}, {"Challenge": 2}]}]}, {"Sum": [{"Sum": [{"Polynomial": {"poly": 4, "rotation": 0}}, {"Product": [{"Challenge": 1}, {"Polynomial": {"poly": 31, "rotation": 0}}]}]}, {"Challenge": 2}]}]}]}, {"Negated": {"Product": [{"Polynomial": {"poly": 48, "rotation": 0}}, {"Product": [{"Product": [{"Product": [{"Sum": [{"Sum": [{"Polynomial": {"poly": 40, "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": 32, "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": 49, "rotation": 0}}]}, {"Product": [{"CommonPolynomial": {"Lagrange": -6}}, {"Polynomial": {"poly": 49, "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": 33, "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": 35, "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": 49, "rotation": 1}}, {"Negated": {"Polynomial": {"poly": 49, "rotation": 0}}}]}]}, {"Negated": {"Sum": [{"Sum": [{"DistributePowers": [[{"Polynomial": {"poly": 5, "rotation": 0}}, {"Polynomial": {"poly": 6, "rotation": 0}}], {"Challenge": 0}]}, {"Challenge": 1}]}, {"Negated": {"Product": [{"Polynomial": {"poly": 42, "rotation": 0}}, {"Sum": [{"DistributePowers": [[{"Sum": [{"Product": [{"Product": [{"Polynomial": {"poly": 8, "rotation": 0}}, {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}]}, {"Polynomial": {"poly": 33, "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": 35, "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": 50, "rotation": 0}}]}, {"Product": [{"CommonPolynomial": {"Lagrange": -6}}, {"Polynomial": {"poly": 50, "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": 34, "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": 36, "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": 50, "rotation": 1}}, {"Negated": {"Polynomial": {"poly": 50, "rotation": 0}}}]}]}, {"Negated": {"Sum": [{"Sum": [{"DistributePowers": [[{"Polynomial": {"poly": 5, "rotation": 0}}, {"Polynomial": {"poly": 6, "rotation": 0}}], {"Challenge": 0}]}, {"Challenge": 1}]}, {"Negated": {"Product": [{"Polynomial": {"poly": 43, "rotation": 0}}, {"Sum": [{"DistributePowers": [[{"Sum": [{"Product": [{"Product": [{"Polynomial": {"poly": 9, "rotation": 0}}, {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}]}, {"Polynomial": {"poly": 34, "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": 36, "rotation": 0}}]}, {"Product": [{"Sum": [{"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}, {"Negated": {"Product": [{"Polynomial": {"poly": 9, "rotation": 0}}, {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}]}}]}, {"Constant": [0, 0, 0, 0]}]}]}], {"Challenge": 0}]}, {"Challenge": 1}]}]}}]}}]}]}, {"Product": [{"CommonPolynomial": {"Lagrange": 0}}, {"Polynomial": {"poly": 51, "rotation": 0}}]}, {"Product": [{"CommonPolynomial": {"Lagrange": -6}}, {"Polynomial": {"poly": 51, "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": 10, "rotation": 0}}, {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}]}, {"Polynomial": {"poly": 33, "rotation": 0}}]}, {"Product": [{"Sum": [{"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}, {"Negated": {"Product": [{"Polynomial": {"poly": 10, "rotation": 0}}, {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}]}}]}, {"Constant": [0, 0, 0, 0]}]}]}, {"Sum": [{"Product": [{"Product": [{"Polynomial": {"poly": 10, "rotation": 0}}, {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}]}, {"Polynomial": {"poly": 35, "rotation": 0}}]}, {"Product": [{"Sum": [{"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}, {"Negated": {"Product": [{"Polynomial": {"poly": 10, "rotation": 0}}, {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}]}}]}, {"Constant": [0, 0, 0, 0]}]}]}], {"Challenge": 0}]}, {"Challenge": 1}]}]}, {"Sum": [{"Polynomial": {"poly": 51, "rotation": 1}}, {"Negated": {"Polynomial": {"poly": 51, "rotation": 0}}}]}]}, {"Negated": {"Sum": [{"Sum": [{"DistributePowers": [[{"Polynomial": {"poly": 5, "rotation": 0}}, {"Polynomial": {"poly": 7, "rotation": 0}}], {"Challenge": 0}]}, {"Challenge": 1}]}, {"Negated": {"Product": [{"Polynomial": {"poly": 44, "rotation": 0}}, {"Sum": [{"DistributePowers": [[{"Sum": [{"Product": [{"Product": [{"Polynomial": {"poly": 10, "rotation": 0}}, {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}]}, {"Polynomial": {"poly": 33, "rotation": 0}}]}, {"Product": [{"Sum": [{"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}, {"Negated": {"Product": [{"Polynomial": {"poly": 10, "rotation": 0}}, {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}]}}]}, {"Constant": [0, 0, 0, 0]}]}]}, {"Sum": [{"Product": [{"Product": [{"Polynomial": {"poly": 10, "rotation": 0}}, {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}]}, {"Polynomial": {"poly": 35, "rotation": 0}}]}, {"Product": [{"Sum": [{"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}, {"Negated": {"Product": [{"Polynomial": {"poly": 10, "rotation": 0}}, {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}]}}]}, {"Constant": [0, 0, 0, 0]}]}]}], {"Challenge": 0}]}, {"Challenge": 1}]}]}}]}}]}]}, {"Product": [{"CommonPolynomial": {"Lagrange": 0}}, {"Polynomial": {"poly": 52, "rotation": 0}}]}, {"Product": [{"CommonPolynomial": {"Lagrange": -6}}, {"Polynomial": {"poly": 52, "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": 34, "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]}]}]}, {"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": [0, 0, 0, 0]}]}]}], {"Challenge": 0}]}, {"Challenge": 1}]}]}, {"Sum": [{"Polynomial": {"poly": 52, "rotation": 1}}, {"Negated": {"Polynomial": {"poly": 52, "rotation": 0}}}]}]}, {"Negated": {"Sum": [{"Sum": [{"DistributePowers": [[{"Polynomial": {"poly": 5, "rotation": 0}}, {"Polynomial": {"poly": 7, "rotation": 0}}], {"Challenge": 0}]}, {"Challenge": 1}]}, {"Negated": {"Product": [{"Polynomial": {"poly": 45, "rotation": 0}}, {"Sum": [{"DistributePowers": [[{"Sum": [{"Product": [{"Product": [{"Polynomial": {"poly": 11, "rotation": 0}}, {"Constant": [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287]}]}, {"Polynomial": {"poly": 34, "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]}]}]}, {"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": [0, 0, 0, 0]}]}]}], {"Challenge": 0}]}, {"Challenge": 1}]}]}}]}}]}]}], {"Challenge": 3}]}}, "transcript_initial_state": [15784662247452687332, 4807325854192453947, 17772617962926655776, 896930559517836219], "instance_committing_key": null, "linearization": null, "accumulator_indices": []}, "instances": [[[12773529019820117503, 7223165032241168505, 6388811546753741567, 1325363978837834469], [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287], [16786317935227369385, 14902782627515003040, 10724224566905464545, 2090478068756351935]]], "proof": [21, 160, 88, 122, 161, 120, 81, 133, 33, 20, 5, 16, 184, 246, 153, 93, 163, 93, 34, 158, 227, 85, 64, 160, 47, 230, 38, 237, 170, 136, 216, 240, 14, 24, 21, 238, 54, 158, 69, 57, 23, 246, 124, 151, 250, 37, 64, 175, 14, 235, 238, 149, 35, 59, 65, 68, 201, 132, 192, 80, 159, 88, 242, 49, 9, 157, 109, 171, 25, 230, 98, 240, 87, 18, 191, 98, 148, 96, 145, 60, 242, 166, 236, 110, 132, 238, 116, 149, 168, 134, 38, 160, 65, 18, 205, 36, 23, 189, 197, 9, 76, 129, 184, 228, 117, 151, 6, 5, 11, 139, 204, 84, 68, 217, 14, 20, 246, 104, 228, 249, 167, 48, 135, 145, 189, 46, 175, 81, 4, 219, 165, 236, 234, 92, 227, 75, 172, 22, 220, 53, 247, 174, 134, 36, 235, 184, 119, 3, 106, 88, 158, 192, 35, 245, 82, 77, 149, 88, 191, 48, 11, 94, 89, 178, 240, 138, 97, 12, 125, 91, 234, 194, 43, 121, 253, 116, 6, 52, 215, 71, 61, 96, 22, 252, 1, 218, 122, 136, 70, 209, 211, 150, 40, 150, 181, 139, 169, 196, 220, 196, 246, 67, 163, 210, 198, 159, 30, 170, 106, 66, 81, 174, 67, 105, 181, 235, 7, 122, 49, 224, 226, 99, 108, 35, 15, 37, 131, 13, 241, 24, 131, 47, 191, 216, 141, 141, 154, 221, 144, 160, 234, 100, 136, 96, 176, 208, 119, 169, 231, 163, 55, 179, 224, 250, 175, 167, 35, 118, 177, 102, 212, 52, 86, 105, 91, 0, 86, 254, 175, 68, 253, 27, 67, 187, 16, 60, 100, 137, 253, 19, 6, 230, 155, 163, 234, 142, 152, 76, 24, 134, 145, 177, 189, 73, 3, 79, 15, 231, 227, 210, 49, 249, 31, 209, 143, 27, 213, 212, 147, 227, 25, 105, 127, 251, 202, 104, 252, 94, 88, 120, 48, 48, 176, 149, 62, 123, 214, 245, 113, 104, 250, 211, 21, 20, 50, 113, 45, 139, 129, 218, 204, 38, 242, 221, 62, 41, 159, 21, 154, 37, 236, 52, 12, 81, 226, 65, 28, 6, 15, 178, 78, 18, 221, 237, 230, 81, 94, 214, 1, 131, 97, 11, 230, 126, 107, 65, 205, 217, 251, 106, 198, 203, 87, 54, 3, 133, 62, 150, 156, 97, 68, 238, 196, 155, 144, 77, 47, 98, 122, 113, 53, 47, 77, 194, 38, 151, 203, 193, 187, 212, 66, 189, 15, 42, 211, 61, 17, 217, 182, 87, 113, 48, 53, 162, 188, 64, 222, 166, 232, 226, 101, 24, 225, 134, 189, 106, 231, 43, 236, 101, 156, 13, 103, 63, 28, 74, 174, 124, 39, 102, 99, 162, 130, 141, 131, 240, 203, 224, 158, 250, 231, 192, 86, 67, 248, 98, 151, 181, 188, 72, 58, 163, 159, 25, 171, 243, 42, 205, 157, 87, 26, 152, 214, 185, 18, 146, 1, 70, 34, 125, 47, 150, 196, 170, 206, 246, 217, 25, 116, 164, 214, 75, 162, 42, 202, 82, 102, 134, 223, 242, 6, 39, 45, 158, 45, 231, 198, 94, 243, 151, 201, 130, 68, 121, 111, 180, 237, 110, 242, 149, 105, 138, 85, 158, 15, 185, 160, 17, 15, 91, 98, 163, 236, 4, 22, 29, 53, 161, 240, 123, 50, 145, 206, 37, 76, 35, 250, 132, 85, 53, 169, 65, 22, 141, 113, 187, 8, 225, 11, 143, 135, 103, 3, 175, 240, 31, 30, 254, 97, 231, 107, 161, 143, 129, 134, 126, 82, 64, 147, 8, 77, 206, 21, 27, 83, 248, 44, 79, 147, 23, 83, 211, 151, 140, 189, 170, 53, 25, 31, 49, 212, 103, 56, 211, 51, 20, 44, 34, 95, 83, 37, 39, 59, 106, 34, 234, 215, 38, 180, 78, 225, 117, 178, 176, 221, 212, 80, 114, 239, 196, 30, 254, 97, 231, 107, 161, 143, 129, 134, 126, 82, 64, 147, 8, 77, 206, 21, 27, 83, 248, 44, 79, 147, 23, 83, 211, 151, 140, 189, 170, 53, 25, 31, 49, 212, 103, 56, 211, 51, 20, 44, 34, 95, 83, 37, 39, 59, 106, 34, 234, 215, 38, 180, 78, 225, 117, 178, 176, 221, 212, 80, 114, 239, 196, 30, 254, 97, 231, 107, 161, 143, 129, 134, 126, 82, 64, 147, 8, 77, 206, 21, 27, 83, 248, 44, 79, 147, 23, 83, 211, 151, 140, 189, 170, 53, 25, 31, 49, 212, 103, 56, 211, 51, 20, 44, 34, 95, 83, 37, 39, 59, 106, 34, 234, 215, 38, 180, 78, 225, 117, 178, 176, 221, 212, 80, 114, 239, 196, 25, 54, 116, 72, 37, 135, 114, 132, 79, 14, 193, 189, 158, 73, 118, 190, 59, 27, 154, 226, 170, 120, 96, 66, 7, 136, 150, 127, 76, 96, 61, 20, 25, 166, 88, 40, 95, 48, 207, 124, 144, 155, 125, 74, 40, 152, 221, 138, 164, 238, 18, 230, 101, 148, 250, 78, 208, 191, 115, 218, 251, 106, 107, 121, 9, 246, 145, 193, 228, 26, 16, 16, 100, 45, 25, 4, 234, 221, 235, 64, 142, 27, 239, 67, 86, 106, 148, 149, 207, 31, 8, 98, 25, 127, 36, 28, 30, 162, 96, 115, 218, 103, 63, 178, 113, 113, 200, 164, 40, 90, 191, 62, 226, 71, 72, 124, 177, 63, 246, 74, 146, 145, 43, 200, 64, 253, 129, 131, 18, 193, 147, 126, 197, 235, 237, 5, 103, 55, 228, 209, 224, 240, 190, 124, 42, 24, 219, 23, 116, 75, 100, 195, 86, 159, 71, 21, 111, 255, 229, 50, 20, 242, 160, 155, 227, 136, 208, 200, 106, 148, 100, 21, 197, 175, 69, 60, 127, 137, 94, 9, 183, 229, 175, 102, 210, 184, 125, 191, 92, 221, 246, 115, 28, 113, 20, 45, 179, 231, 176, 42, 102, 33, 10, 246, 25, 213, 61, 195, 184, 255, 36, 85, 155, 27, 63, 9, 225, 219, 11, 55, 239, 180, 57, 250, 43, 143, 44, 46, 85, 78, 1, 23, 93, 206, 133, 53, 31, 122, 213, 62, 169, 39, 76, 32, 178, 156, 57, 122, 166, 205, 211, 29, 109, 89, 182, 229, 33, 169, 216, 177, 246, 223, 34, 150, 118, 140, 220, 119, 1, 18, 237, 84, 72, 197, 197, 181, 158, 241, 146, 100, 119, 135, 103, 248, 125, 183, 172, 140, 44, 63, 191, 99, 93, 118, 220, 236, 152, 96, 135, 243, 49, 167, 213, 172, 145, 171, 174, 71, 102, 38, 163, 238, 72, 118, 123, 40, 139, 129, 72, 146, 26, 193, 35, 51, 62, 33, 44, 223, 63, 93, 116, 116, 39, 173, 211, 48, 126, 180, 58, 104, 172, 240, 95, 97, 79, 216, 250, 79, 250, 18, 87, 44, 38, 128, 112, 156, 169, 15, 172, 93, 102, 100, 192, 34, 112, 246, 248, 251, 154, 216, 193, 193, 52, 16, 208, 67, 140, 54, 211, 163, 239, 185, 49, 40, 28, 191, 191, 239, 11, 169, 109, 95, 164, 3, 45, 67, 245, 210, 123, 113, 1, 48, 148, 107, 43, 2, 196, 4, 176, 62, 80, 62, 50, 209, 252, 144, 2, 242, 48, 100, 0, 39, 149, 2, 169, 119, 158, 242, 43, 239, 56, 63, 183, 84, 166, 148, 29, 41, 212, 97, 231, 10, 232, 112, 50, 177, 234, 101, 39, 41, 210, 208, 32, 29, 239, 123, 27, 61, 7, 48, 109, 94, 212, 57, 144, 179, 222, 137, 64, 231, 251, 64, 15, 158, 173, 185, 186, 200, 41, 189, 2, 29, 186, 134, 173, 127, 142, 81, 38, 40, 84, 234, 110, 92, 120, 212, 214, 89, 113, 15, 186, 51, 241, 140, 249, 151, 151, 47, 226, 21, 189, 13, 28, 237, 93, 83, 157, 82, 7, 39, 67, 146, 23, 178, 2, 179, 144, 179, 13, 179, 226, 222, 54, 81, 39, 231, 137, 69, 247, 149, 137, 14, 34, 72, 25, 141, 170, 148, 38, 95, 112, 236, 109, 183, 118, 43, 79, 136, 239, 204, 48, 138, 186, 6, 93, 96, 125, 89, 44, 1, 161, 209, 65, 46, 36, 240, 30, 119, 8, 50, 171, 19, 205, 155, 4, 186, 118, 84, 179, 15, 62, 245, 233, 232, 117, 188, 220, 107, 51, 88, 38, 80, 221, 143, 137, 176, 223, 117, 33, 61, 254, 136, 94, 67, 7, 194, 161, 216, 103, 72, 183, 94, 149, 25, 95, 119, 176, 228, 58, 202, 162, 139, 61, 218, 126, 218, 188, 170, 106, 244, 20, 230, 185, 94, 253, 238, 87, 210, 179, 61, 90, 4, 130, 27, 223, 119, 46, 115, 135, 16, 99, 19, 188, 217, 229, 241, 172, 186, 107, 119, 70, 23, 14, 74, 153, 135, 143, 16, 243, 237, 248, 14, 117, 119, 201, 147, 113, 77, 63, 254, 240, 195, 133, 70, 148, 67, 132, 240, 103, 66, 218, 54, 101, 7, 7, 7, 159, 120, 247, 133, 50, 245, 194, 132, 195, 50, 255, 102, 145, 23, 91, 3, 68, 72, 55, 216, 158, 13, 191, 219, 97, 230, 3, 36, 123, 170, 45, 71, 249, 52, 68, 71, 41, 104, 73, 114, 155, 91, 24, 60, 138, 222, 94, 158, 80, 11, 113, 211, 139, 93, 151, 237, 227, 246, 67, 191, 61, 234, 30, 120, 43, 237, 29, 176, 241, 103, 108, 134, 44, 125, 71, 55, 245, 52, 48, 215, 129, 155, 82, 196, 130, 17, 64, 33, 74, 180, 118, 175, 183, 202, 41, 180, 251, 40, 105, 109, 227, 94, 255, 126, 162, 40, 81, 29, 211, 182, 147, 53, 44, 60, 184, 157, 254, 35, 189, 133, 115, 64, 12, 251, 121, 61, 35, 109, 90, 88, 235, 172, 255, 3, 44, 205, 68, 83, 20, 104, 121, 141, 108, 241, 243, 150, 46, 50, 188, 19, 63, 48, 193, 125, 98, 190, 126, 221, 38, 31, 122, 151, 21, 65, 158, 190, 138, 101, 63, 21, 144, 241, 118, 53, 98, 217, 142, 83, 145, 186, 86, 140, 131, 152, 73, 86, 30, 233, 108, 125, 34, 219, 42, 253, 253, 157, 135, 96, 91, 249, 14, 202, 158, 98, 90, 241, 161, 247, 192, 11, 205, 161, 202, 223, 31, 133, 200, 253, 94, 89, 86, 233, 37, 239, 22, 119, 173, 36, 99, 199, 86, 14, 1, 205, 237, 172, 171, 127, 207, 3, 196, 188, 190, 110, 111, 104, 89, 64, 57, 148, 209, 75, 64, 177, 40, 148, 108, 93, 188, 149, 185, 250, 100, 175, 62, 149, 83, 214, 88, 135, 82, 208, 100, 147, 138, 170, 118, 25, 5, 129, 195, 218, 76, 166, 129, 45, 46, 218, 2, 34, 197, 228, 156, 29, 210, 63, 93, 200, 56, 112, 29, 248, 51, 165, 25, 78, 96, 183, 228, 174, 120, 186, 202, 73, 231, 227, 99, 46, 37, 56, 35, 43, 206, 102, 77, 212, 226, 198, 139, 210, 58, 213, 182, 229, 8, 122, 177, 17, 138, 159, 71, 162, 111, 10, 103, 28, 4, 9, 134, 69, 26, 219, 117, 28, 3, 0, 21, 55, 13, 217, 19, 127, 68, 148, 167, 214, 70, 177, 164, 98, 231, 5, 62, 218, 101, 120, 147, 209, 24, 217, 0, 246, 18, 251, 210, 41, 127, 187, 234, 157, 161, 244, 243, 0, 197, 51, 208, 47, 137, 32, 73, 106, 21, 104, 253, 6, 159, 87, 23, 138, 150, 250, 235, 51, 41, 245, 106, 150, 28, 98, 148, 209, 102, 177, 25, 159, 146, 69, 103, 16, 15, 239, 9, 243, 135, 217, 130, 229, 138, 144, 11, 46, 80, 226, 247, 153, 8, 15, 190, 250, 67, 39, 247, 124, 4, 138, 219, 55, 198, 195, 178, 130, 71, 163, 159, 32, 183, 14, 224, 28, 26, 145, 149, 21, 11, 251, 224, 86, 43, 130, 222, 184, 178, 139, 57, 57, 224, 233, 215, 113, 25, 193, 68, 155, 91, 105, 70, 34, 212, 160, 154, 145, 107, 252, 152, 237, 23, 54, 93, 137, 39, 176, 192, 135, 46, 200, 37, 215, 100, 254, 110, 92, 255, 142, 238, 235, 189, 112, 120, 32, 80, 127, 66, 247, 227, 120, 49, 230, 123, 61, 65, 159, 43, 66, 193, 227, 160, 190, 150, 93, 52, 126, 17, 235, 73, 134, 13, 161, 245, 149, 242, 214, 22, 15, 100, 199, 105, 220, 202, 23, 235, 53, 174, 174, 45, 109, 88, 129, 29, 254, 195, 17, 95, 143, 13, 97, 63, 130, 55, 91, 196, 35, 214, 114, 92, 35, 99, 6, 77, 204, 60, 184, 129, 176, 147, 168, 15, 125, 72, 120, 2, 143, 3, 206, 48, 155, 252, 11, 162, 216, 64, 65, 83, 144, 49, 217, 186, 80, 204, 110, 236, 96, 172, 127, 89, 76, 209, 161, 14, 40, 156, 212, 210, 38, 55, 176, 24, 58, 91, 169, 20, 96, 244, 150, 195, 221, 171, 222, 38, 138, 133, 20, 130, 70, 95, 6, 233, 29, 15, 132, 17, 224, 153, 16, 118, 228, 6, 185, 171, 143, 186, 62, 105, 184, 90, 7, 252, 109, 88, 185, 47, 150, 152, 194, 127, 196, 139, 116, 39, 140, 86, 52, 0, 122, 213, 210, 176, 118, 241, 5, 165, 16, 64, 102, 252, 255, 86, 248, 37, 15, 117, 85, 70, 21, 121, 179, 22, 105, 235, 231, 199, 72, 165, 48, 22, 89, 18, 172, 26, 222, 87, 151, 59, 5, 212, 187, 173, 10, 78, 5, 36, 221, 248, 185, 173, 38, 103, 37, 86, 206, 204, 150, 171, 42, 188, 162, 6, 231, 224, 63, 219, 189, 235, 82, 9, 4, 132, 83, 226, 85, 28, 224, 33, 133, 87, 202, 239, 55, 5, 28, 44, 78, 253, 132, 206, 118, 236, 84, 19, 141, 47, 216, 165, 114, 102, 5, 143, 107, 189, 217, 146, 182, 158, 223, 90, 51, 38, 53, 249, 96, 169, 222, 132, 8, 66, 245, 243, 220, 173, 60, 19, 141, 47, 216, 165, 114, 102, 5, 143, 107, 189, 217, 146, 182, 158, 223, 90, 51, 38, 53, 249, 96, 169, 222, 132, 8, 66, 245, 243, 220, 173, 60, 3, 154, 221, 2, 190, 186, 149, 112, 59, 38, 143, 4, 245, 67, 150, 240, 155, 44, 56, 187, 73, 87, 191, 217, 241, 75, 209, 141, 60, 126, 215, 229, 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, 1, 152, 7, 221, 70, 35, 19, 51, 73, 171, 163, 172, 165, 93, 140, 248, 47, 165, 134, 187, 1, 217, 167, 58, 88, 240, 32, 164, 175, 118, 34, 182, 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, 21, 72, 172, 20, 163, 37, 232, 96, 0, 96, 188, 137, 14, 140, 180, 71, 44, 68, 173, 127, 40, 222, 58, 107, 234, 222, 92, 168, 96, 24, 184, 233, 36, 81, 144, 128, 18, 196, 182, 177, 217, 83, 58, 139, 76, 191, 183, 184, 8, 43, 144, 38, 236, 64, 135, 223, 20, 161, 112, 102, 102, 7, 122, 44, 43, 64, 222, 60, 162, 116, 169, 121, 41, 88, 214, 101, 165, 249, 120, 95, 58, 145, 181, 54, 49, 74, 237, 102, 59, 235, 252, 23, 115, 232, 102, 246, 24, 233, 212, 183, 190, 224, 56, 91, 226, 199, 52, 111, 196, 227, 205, 205, 120, 70, 193, 222, 138, 161, 210, 216, 183, 218, 35, 58, 199, 49, 245, 224, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 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, 35, 80, 167, 66, 182, 54, 213, 235, 93, 201, 114, 249, 206, 140, 131, 24, 103, 237, 101, 52, 115, 139, 30, 225, 78, 165, 236, 183, 41, 9, 17, 51, 32, 148, 41, 138, 19, 254, 128, 100, 72, 222, 214, 250, 89, 195, 231, 197, 33, 84, 97, 104, 77, 75, 46, 84, 117, 112, 145, 90, 246, 84, 98, 199, 23, 181, 74, 225, 227, 47, 2, 200, 13, 112, 12, 127, 210, 95, 86, 185, 199, 69, 22, 110, 245, 8, 86, 225, 36, 5, 231, 119, 22, 232, 255, 104, 32, 113, 47, 38, 140, 111, 20, 175, 237, 19, 20, 12, 149, 18, 254, 119, 10, 178, 235, 200, 41, 250, 71, 92, 78, 151, 117, 42, 228, 15, 59, 75, 40, 89, 130, 244, 146, 74, 50, 159, 85, 137, 205, 233, 243, 120, 55, 198, 181, 215, 233, 246, 147, 130, 145, 65, 184, 194, 14, 69, 232, 154, 128, 97, 9, 231, 228, 163, 174, 19, 47, 184, 56, 62, 12, 20, 167, 187, 219, 115, 12, 215, 51, 119, 192, 33, 107, 41, 245, 254, 175, 161, 42, 204, 9, 129, 2, 228, 93, 102, 128, 154, 31, 27, 31, 6, 176, 128, 173, 219, 227, 125, 235, 167, 234, 225, 80, 92, 208, 44, 109, 115, 78, 19, 255, 121, 76, 0, 6, 59, 31, 139, 222, 95, 99, 245, 150, 173, 135, 201, 44, 166, 218, 45, 194, 242, 4, 233, 65, 159, 4, 135, 185, 177, 248, 54, 170, 123, 31, 134, 2, 5, 181, 198, 102, 183, 41, 106, 35, 55, 61, 91, 139, 168, 67, 26, 90, 171, 241, 150, 212, 67, 138, 56, 131, 6, 245, 251, 218, 26, 120, 189, 8, 139, 8, 4, 98, 183, 91, 21, 212, 117, 138, 179, 160, 187, 244, 90, 12, 86, 143, 82, 121, 177, 18, 0, 4, 73, 181, 54, 90, 109, 31, 35, 30, 132, 70, 116, 186, 36, 157, 123, 83, 233, 63, 69, 93, 185, 237, 43, 238, 40, 165, 186, 136, 208, 246, 92, 172, 160, 112, 9, 46, 25, 121, 128, 24, 47, 40, 220, 86, 211, 150, 199, 111, 10, 31, 74, 38, 197, 52, 62, 143, 11, 243, 97, 39, 166, 162, 171, 205, 240, 204, 125, 66, 90, 232, 175, 47, 99, 62, 111, 131, 158, 22, 81, 153, 243, 14, 173, 89, 80, 63, 165, 41, 17, 14, 133, 127, 141, 109, 152, 4, 62, 31, 91, 211, 53, 249, 151, 38, 162, 122, 35, 158, 46, 167, 13, 35, 114, 103, 99, 33, 132, 140, 77, 128, 165, 20, 91, 119, 224, 145, 192, 250, 215, 127, 5, 15, 174, 105, 227, 38, 91, 10, 111, 5, 92, 9, 65, 184, 109, 48, 219, 101, 103, 144, 142, 69, 169, 44, 225, 148, 67, 29, 26, 144, 53, 33, 50, 89, 22, 37, 255, 29, 92, 245, 117, 134, 12, 220, 125, 150, 175, 255, 228, 29, 105, 53, 123, 233, 1, 176, 75, 138, 65, 96, 32, 192, 236, 242, 5, 46, 119, 59, 243, 12, 215, 70, 94, 76, 211, 80, 25, 126, 15, 177, 239, 215, 50, 83, 195, 210, 64, 84, 89, 150, 132, 178, 6, 193, 78, 28, 116, 8, 173, 29, 103, 41, 168, 228, 236, 163, 61, 132, 165, 131, 191, 89, 237, 246, 58, 52, 201, 94, 229, 221, 107, 91, 118, 181, 92, 208, 57, 72, 171, 71, 140, 96, 105, 23, 28, 115, 128, 7, 97, 18, 63, 133, 8, 245, 30, 213, 14, 143, 78, 26, 81, 71, 182, 201, 166, 124, 225, 161, 76, 21, 89, 253, 204, 185, 129, 13, 196, 161, 204, 83, 222, 161, 96, 15, 152, 49, 214, 126, 12, 235, 23, 208, 95, 189, 115, 70, 36, 184, 209, 72, 167, 122, 174, 48, 64, 39, 163, 41, 22, 115, 69, 228, 249, 164, 203, 0, 177, 115, 17, 90, 208, 181, 141, 247, 174, 190, 138, 57, 244, 94, 41, 147, 79, 111, 123, 156, 50, 5, 246, 17, 204, 187, 204, 227, 247, 193, 109, 62, 86, 102, 83, 127, 92, 184, 173, 116, 83, 57, 212, 94, 87, 10, 121, 44, 240, 201, 2, 168, 56, 71, 80, 30, 79, 154, 191, 100, 186, 58, 150, 253, 208, 119, 201, 123, 13, 144, 6, 149, 54, 157, 43, 39, 185, 134, 28, 102, 219, 126, 94, 235, 191, 28, 98, 45, 36, 146, 134, 166, 74, 235, 230, 145, 73, 213, 249, 144, 157, 182, 252, 188, 254, 42, 193, 86, 143, 146, 96, 24, 219, 219, 152, 209, 233, 221, 201, 19, 178, 97, 70, 112, 120, 134, 85, 30, 91, 174, 109, 197, 242, 119, 176, 132, 182, 202, 71, 96, 248, 79, 83, 195, 160, 141, 252, 109, 188, 127, 211, 35, 191, 159, 58, 42, 88, 72, 146, 56, 141, 81, 5, 96, 200, 215, 104, 125, 73, 54, 129, 20, 41, 63, 19, 236, 1, 155, 14, 213, 165, 224, 47, 43, 28, 178, 146, 147, 94, 79, 96, 31, 229, 13, 133, 220, 175, 17, 156, 12, 49, 175, 118, 157, 90, 111, 245, 35, 106, 236, 192, 201, 29, 6, 95, 5, 246, 248, 232, 199, 136, 136, 91, 233, 17, 246, 147, 183, 218, 201, 221, 98, 158, 161, 91, 119, 169, 206, 54, 180, 39, 164, 16, 20, 87, 146, 169, 35, 191, 159, 58, 42, 88, 72, 146, 56, 141, 81, 5, 96, 200, 215, 104, 125, 73, 54, 129, 20, 41, 63, 19, 236, 1, 155, 14, 213, 165, 224, 47, 14, 125, 34, 114, 125, 87, 8, 105, 17, 128, 80, 226, 121, 214, 137, 192, 185, 200, 97, 3, 118, 124, 118, 106, 193, 156, 119, 235, 209, 153, 58, 181, 36, 244, 246, 84, 100, 75, 220, 44, 87, 135, 31, 69, 170, 104, 4, 144, 196, 11, 179, 74, 231, 0, 14, 112, 242, 44, 234, 151, 222, 177, 124, 37, 35, 191, 159, 58, 42, 88, 72, 146, 56, 141, 81, 5, 96, 200, 215, 104, 125, 73, 54, 129, 20, 41, 63, 19, 236, 1, 155, 14, 213, 165, 224, 47, 28, 110, 105, 176, 49, 159, 57, 82, 43, 223, 3, 38, 166, 116, 59, 160, 255, 113, 179, 38, 150, 148, 230, 89, 179, 201, 183, 223, 9, 81, 11, 111, 19, 141, 44, 108, 138, 114, 136, 188, 148, 200, 208, 232, 191, 114, 112, 107, 163, 245, 165, 22, 156, 201, 220, 14, 38, 163, 66, 168, 98, 147, 245, 182, 30, 235, 117, 165, 202, 99, 207, 6, 15, 203, 154, 102, 113, 43, 50, 86, 22, 155, 96, 221, 35, 125, 103, 16, 41, 20, 68, 155, 229, 7, 241, 142, 37, 91, 49, 145, 214, 9, 83, 215, 217, 30, 56, 97, 76, 89, 158, 4, 7, 156, 120, 188, 88, 89, 73, 18, 160, 229, 174, 143, 171, 20, 186, 224, 7, 225, 202, 238, 40, 121, 14, 79, 48, 9, 49, 33, 125, 233, 211, 77, 216, 35, 50, 37, 90, 205, 146, 188, 243, 254, 133, 174, 14, 138, 106, 210, 43, 0, 37, 15, 143, 126, 249, 106, 108, 223, 121, 109, 178, 194, 189, 50, 83, 143, 61, 212, 115, 216, 52, 180, 66, 4, 200, 207, 6, 16, 248, 209, 21, 223, 80, 69, 148, 159, 162, 151, 224, 120, 18, 122, 71, 93, 70, 16, 222, 227, 158, 42, 62, 150, 126, 86, 85, 181, 145, 172, 26, 72, 188, 3], "transcript_type": "EVM", "split": null}
\ No newline at end of file
+{"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}
\ No newline at end of file
diff --git a/public/assets/model.vk b/public/assets/model.vk
index 5d71efa..9204170 100644
Binary files a/public/assets/model.vk and b/public/assets/model.vk differ
diff --git a/public/assets/settings.json b/public/assets/settings.json
index ee86ec7..dc8da4e 100644
--- a/public/assets/settings.json
+++ b/public/assets/settings.json
@@ -1 +1 @@
-{"run_args":{"tolerance":{"val":0.0,"scale":1.0},"input_scale":8,"param_scale":8,"scale_rebase_multiplier":10,"lookup_range":[0,76754],"logrows":17,"num_inner_cols":2,"variables":[["batch_size",1]],"input_visibility":{"Hashed":{"hash_is_public":true,"outlets":[]}},"output_visibility":"Public","param_visibility":"Private"},"num_rows":14432,"total_assignments":606,"total_const_size":0,"model_instance_shapes":[[1],[1]],"model_output_scales":[0,8],"model_input_scales":[8],"module_sizes":{"kzg":[],"poseidon":[14432,[1]],"elgamal":[0,[0]]},"required_lookups":["Abs",{"GreaterThan":{"a":0.0}}],"check_mode":"UNSAFE","version":"7.0.0","num_blinding_factors":null}
\ No newline at end of file
+{"run_args":{"tolerance":{"val":0.0,"scale":1.0},"input_scale":8,"param_scale":8,"scale_rebase_multiplier":10,"lookup_range":[-25112,24986],"logrows":16,"num_inner_cols":2,"variables":[["batch_size",1]],"input_visibility":{"Hashed":{"hash_is_public":true,"outlets":[]}},"output_visibility":"Public","param_visibility":"Private"},"num_rows":14432,"total_assignments":12049,"total_const_size":1816,"model_instance_shapes":[[1],[1]],"model_output_scales":[0,8],"model_input_scales":[8],"module_sizes":{"kzg":[],"poseidon":[14432,[1]],"elgamal":[0,[0]]},"required_lookups":["Abs",{"GreaterThan":{"a":0.0}},"KroneckerDelta"],"check_mode":"UNSAFE","version":"7.0.0","num_blinding_factors":null}
\ No newline at end of file
diff --git a/public/assets/template.ipynb b/public/assets/template.ipynb
index 537c677..d73cbef 100644
--- a/public/assets/template.ipynb
+++ b/public/assets/template.ipynb
@@ -2,32 +2,34 @@
  "cells": [
   {
    "cell_type": "code",
-   "execution_count": 15,
+   "execution_count": 39,
    "metadata": {},
    "outputs": [],
    "source": [
     "import os\n",
     "from zkstats.core import (\n",
-    "    prover_setup,\n",
+    "    prover_gen_settings,\n",
     "    prover_gen_proof,\n",
+    "    verifier_setup,\n",
     "    verifier_verify,\n",
     ")\n",
-    "\n",
-    "\n",
-    "# FIXME: fill this in\n",
-    "data_path = \"/path/to/data\"\n",
+    "from zkstats.computation import computation_to_model\n",
     "\n",
     "cwd = os.getcwd()\n",
     "\n",
+    "# FIXME: fill this in with the path to your data\n",
+    "data_path = f\"{cwd}/data.json\"\n",
+    "\n",
+    "# Paths to the output files\n",
     "output_dir = f\"{cwd}/out\"\n",
     "os.makedirs(output_dir, exist_ok=True)\n",
     "model_onnx_path = f\"{output_dir}/model.onnx\"\n",
     "compiled_model_path = f\"{output_dir}/model.compiled\"\n",
+    "\n",
     "pk_path = f\"{output_dir}/model.pk\"\n",
     "vk_path = f\"{output_dir}/model.vk\"\n",
     "proof_path = f\"{output_dir}/model.pf\"\n",
     "settings_path = f\"{output_dir}/settings.json\"\n",
-    "srs_path = f\"{output_dir}/kzg.srs\"\n",
     "witness_path = f\"{output_dir}/witness.json\"\n",
     "comb_data_path = f\"{output_dir}/comb_data.json\""
    ]
@@ -36,37 +38,67 @@
    "cell_type": "markdown",
    "metadata": {},
    "source": [
-    "## User-defined model\n",
+    "## User-defined Computation\n",
     "\n",
-    "FIXME: The following code snippet is entirely from the user. You must check if the code only uses zkstats functions. Also, the computation must not leak any information about the private data."
+    "A computation should be of type `TComputation`. For example, the following code snippet defines a computation that computes the sum of the private data.\n",
+    "\n",
+    "```python\n",
+    "def computation(state: State, x: list[torch.Tensor]):\n",
+    "    out_0 = state.median(x[0])\n",
+    "    out_1 = state.median(x[1])\n",
+    "    return state.mean(torch.tensor([out_0, out_1]).reshape(1,-1,1))\n",
+    "```\n",
+    "\n",
+    "FIXME: The following code snippet is entirely from the user. You MUST check\n",
+    "1. the code only performs zkstats-related operations.\n",
+    "2. the computation must not leak any information about the private data."
    ]
   },
   {
    "cell_type": "code",
-   "execution_count": 16,
+   "execution_count": 40,
    "metadata": {},
    "outputs": [],
-   "source": []
+   "source": [
+    "# This is just a dummy computation. Replace it with user's computation\n",
+    "#\n",
+    "# import torch\n",
+    "# from zkstats.computation import State\n",
+    "#\n",
+    "# def computation(state: State, x: list[torch.Tensor]):\n",
+    "#     x_0 = x[0]\n",
+    "#     out_0 = state.median(x_0)\n",
+    "#     out_1 = state.median(x_0)\n",
+    "#     return state.mean(torch.tensor([out_0, out_1]).reshape(1,-1,1))"
+   ]
   },
   {
    "cell_type": "markdown",
    "metadata": {},
    "source": [
-    "Generate settings and the proof using your data and user's computation.\n"
+    "Generate settings and setup with user's computation."
    ]
   },
   {
    "cell_type": "code",
-   "execution_count": 17,
+   "execution_count": 41,
    "metadata": {},
    "outputs": [
+    {
+     "name": "stderr",
+     "output_type": "stream",
+     "text": [
+      "/var/folders/t3/5psrvr1x0w1_6n9kx2n7d9700000gn/T/ipykernel_97835/3906390486.py:5: TracerWarning: torch.tensor results are registered as constants in the trace. You can safely ignore this warning if you use this function to create tensors out of constant variables that would be the same every time you call this function. In any other case, this might cause the trace to be incorrect.\n",
+      "  return state.mean(torch.tensor([out_0, out_1]).reshape(1,-1,1))\n",
+      "/var/folders/t3/5psrvr1x0w1_6n9kx2n7d9700000gn/T/ipykernel_97835/3906390486.py:5: TracerWarning: Converting a tensor to a Python float might cause the trace to be incorrect. We can't record the data flow of Python values, so this value will be treated as a constant in the future. This means that the trace might not generalize to other inputs!\n",
+      "  return state.mean(torch.tensor([out_0, out_1]).reshape(1,-1,1))\n"
+     ]
+    },
     {
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "==== Generate & Calibrate Setting ====\n",
-      "scale:  default\n",
-      "setting:  {\"run_args\":{\"tolerance\":{\"val\":0.0,\"scale\":1.0},\"input_scale\":8,\"param_scale\":8,\"scale_rebase_multiplier\":10,\"lookup_range\":[0,76754],\"logrows\":17,\"num_inner_cols\":2,\"variables\":[[\"batch_size\",1]],\"input_visibility\":{\"Hashed\":{\"hash_is_public\":true,\"outlets\":[]}},\"output_visibility\":\"Public\",\"param_visibility\":\"Private\"},\"num_rows\":14432,\"total_assignments\":606,\"total_const_size\":0,\"model_instance_shapes\":[[1],[1]],\"model_output_scales\":[0,8],\"model_input_scales\":[8],\"module_sizes\":{\"kzg\":[],\"poseidon\":[14432,[1]],\"elgamal\":[0,[0]]},\"required_lookups\":[\"Abs\",{\"GreaterThan\":{\"a\":0.0}}],\"check_mode\":\"UNSAFE\",\"version\":\"5.4.2\",\"num_blinding_factors\":null}\n"
+      "==== Generate & Calibrate Setting ====\n"
      ]
     },
     {
@@ -81,6 +113,8 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
+      "scale:  default\n",
+      "setting:  {\"run_args\":{\"tolerance\":{\"val\":0.0,\"scale\":1.0},\"input_scale\":8,\"param_scale\":8,\"scale_rebase_multiplier\":10,\"lookup_range\":[-25112,24986],\"logrows\":16,\"num_inner_cols\":2,\"variables\":[[\"batch_size\",1]],\"input_visibility\":{\"Hashed\":{\"hash_is_public\":true,\"outlets\":[]}},\"output_visibility\":\"Public\",\"param_visibility\":\"Private\"},\"num_rows\":14432,\"total_assignments\":12049,\"total_const_size\":1816,\"model_instance_shapes\":[[1],[1]],\"model_output_scales\":[0,8],\"model_input_scales\":[8],\"module_sizes\":{\"kzg\":[],\"poseidon\":[14432,[1]],\"elgamal\":[0,[0]]},\"required_lookups\":[\"Abs\",{\"GreaterThan\":{\"a\":0.0}},\"KroneckerDelta\"],\"check_mode\":\"UNSAFE\",\"version\":\"7.0.0\",\"num_blinding_factors\":null}\n",
       "==== setting up ezkl ====\n"
      ]
     },
@@ -96,40 +130,43 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "Time setup: 18.83721113204956 seconds\n"
+      "Time setup: 12.489933013916016 seconds\n"
      ]
     }
    ],
    "source": [
-    "prover_setup(\n",
+    "_, model = computation_to_model(computation)\n",
+    "prover_gen_settings(\n",
     "    [data_path],\n",
     "    comb_data_path,\n",
-    "    Model,\n",
+    "    model,\n",
     "    model_onnx_path,\n",
-    "    compiled_model_path,\n",
     "    \"default\",\n",
     "    \"resources\",\n",
     "    settings_path,\n",
-    "    srs_path,\n",
-    "    vk_path,\n",
-    "    pk_path,\n",
-    ")"
+    ")\n",
+    "verifier_setup(model_onnx_path, compiled_model_path, settings_path, vk_path, pk_path)"
+   ]
+  },
+  {
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "Generate proof with your data and user's computation."
    ]
   },
   {
    "cell_type": "code",
-   "execution_count": 18,
+   "execution_count": 42,
    "metadata": {},
    "outputs": [
     {
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "!@# compiled_model exists? True\n",
-      "!@# compiled_model exists? True\n",
       "==== Generating Witness ====\n",
       "witness boolean:  1.0\n",
-      "witness result 1 : 49.96875\n",
+      "witness result 1 : 49.55078125\n",
       "==== Generating Proof ====\n"
      ]
     },
@@ -140,6 +177,14 @@
       "spawning module 0\n",
       "spawning module 2\n"
      ]
+    },
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "proof:  {'instances': [[[3042937791208075219, 8157070662846698822, 3804781648660056856, 172406108020799675], [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287], [18341455175509539295, 12796101019039945164, 1607286914885633240, 1929881192315725821]]], 'proof': '01f9485e3484e27de162622863fdcf29cf81993a023d600b20173b37ca6d73392a2d6bee21aa3a00a12be030f57cf2fd67c3ba0182f1a879b53945993c2f20802eed1eeed24763f1d1070619ecbe97b47c3edab1d6f89a066dd6f6c6bfe0d3f60c26e2693859fb2be751d382d352ddb24570cba629a07bc55a58b33171825af1106e65e8bfb15161ac537b5a1463c993e8dbfb38dd3c410c64079587f6fe55c024f578ca70dd7700800e25cf651174e43fa3ddebd4e8036dbb4c8c2616fd2641084ea317141ecfab83be803e12254a766e35d526a9b6e1035d9c71b068ea8b4d125d355246396448552aaad9cd82c40568269f96acb66947c5d5b28c77331c420f816f2529b1b0d88b09c39a301c6665b04bdbeb406ffc42406017699ee7c2c42efc07fec604149bf8c787d91aca634ac1ae94b42655bcb480535ced9610e5311b28db6704f18b573cf2161321f75934a0e5ac7e51b1840543cbd4027471a391036bf7609d4068c2793f2bbb24b830bf8cac4518b53fc3288a598837bb07d60f2055334e7c906014440dd944368d39ee4511f27b8317c95b0decfc1f40d7b1282454499d2e9db5c8d8657bb7094c2eda4d9f2ecc58d59945f613829a826627671efdf9d998b59aa5e73e41c93d313ff2de88dd84d63efa56b6cabfe7225d30cd20aff7ef07e14b82d000ddcbc7f1e4bb0e9e916a8fdf19237d16e1541f93ca550c6116188b63393aa411cf08a8566453a6afdf19cb55f2f106b69589f8c21b2d0d4fe9c7cec2403a6bbae8221602e7a3ee452c9a2a20ae5af3edaa025b9d8b260bd4a25023bdc8ef5a969ca1c34d9be11a35bc1d48476bedaec4f0e798b8310013d0a0f699c8a5c654055b7d4a8fb219159650f52c7074cb8ccde6cb1a9f30cd2990f8b6126138656ef3b88f173e4dbf67d8d25fe2f4f4144e9737a6d27dd28c25249e0474681e7a64b861ea6641c04fb4c025744a17bdc443d8e1ec8c15da8417e8b2b254854fbed70a1c27057309925c74754d269cb136055db07a20fa930d111850770ec674aff132d600bcb4551c49359c06a02ee1312338620891856e4e1cda7159c1123918406f96df8d384fc07f26c0a4dedba490a713a4f8b8c11b9207427114eb97b638a5996484c1944770c3235e4d80b147801e42416a0ae28f30106e2dc75299499c0da0597a0e3f4871bb519061466a8667457b756f60735d8320fd67c09764871cdab5e843eeda1d2575f464be0d1e6ff7cf0186efa63c572810923fc17f250f67ea7d803fbab9e04874f72097b6846c22a3c3f63e8991af6e29fc13f6d413264d51b687e311ca85a42d45c84aa11ae401a823f20ff9c6ec410ecb534affac7032b4e5b46913f6d8154351020526298a2ad02e190d5ba01a2e18f7171e6f69d0564373e1e2b326c37d17478fe5658ca8e121a711f501caf7c7163bea69941180de33b5bfc9a888521caa9413e25e2b04f4ca8d2b3ef7d91647095976a3526e3fea2e0fb1e9921f0f002e6d2c66a27b72fb812963be6d1aa10f2bdd1f9b53adbd383ae5cbe59311d10813962bb9c06f1b3a9483574e90fad7250948a36c107042e29d26cc823f95c8b0c994ac45a6c5ae3f85f6c04e3e14516612da062979be4f3cb1ce506f1dcde1b2292ae8562e9a2cf02c806cafc8d5d3871728c175f1d1b1b37b108d7ab7a085b24661ec2d6de3c2e25dc3d9eb67fe09b422a7a76c39a637cdfcb9d7a8873f51e97b06d24b9dc8c19329c90e94f5bc54ea091a7db822e540f84edacad80bd8e5a3a34f09ed5eabadfa3e2d141c5c9e2f392a73fa961b6e23e7537874039c42b55472bef1115155fc34767d1bd04591b9fa15cc00fb52dda98c656a4ad522aab106bd04fa64161703026fe563489d48d71017c8a37a3158371157000dbdf6cf64fef8fd7727070f1aafcf531a1cc72256801252b4f05d499e2491a9bf0c42aff0f8c8b946187e7d81ef00e734976893910c0aefc8c4c7246a2857809fdce4b7b421c08b6e6cac8a26d0e73a3d57dbdd3a151d404bbe71993ad4497e971770dabc5edc5b6432cb4c4bdf23f8bce4291c85f21a95511e6639feb5f0428d2995092d1c1cd367adca4a7536d7f6f483a9777cca1b5652ea9e10ee913f6f32021437558ffbf23a04c7da46dca79e19430dd271df24d37ca4fe0206e18e27b764a09a6b588e5969227ec7300a76068a11f2a5960b2d14f10a7389de2d7a5ef1de9545726bc59a5405b5030e0966f55e40e5718ba1184bbdb832bc654d720f283ab875457db1bcafd13c75e581e3290d66324e0c80209621cf144340f025d0ce42a3b53843f2e619ca78dba74b785d3ec0a79ac7c015f723f286b9f37a24229eb621e87f30ec4ebba2081f1c9eca18fdcc22dd30182edbad86f8c81aeabb4ab9eee6464d8209c218ebe3b73160d176eb30ac3d34ad0235c6fad2f0507c4fec37bfa35d79539c819927402069b182f161a9392e3d6b134f6b105e4719028eac2d3e8a2ec9fd0bbbf63b03061ccd26667b4ce8aa10761eac4074cf58a67761bafdc29bf36880d54b0d54a13d2a5c6decd18a45d4e01c2aefee15491507bcb34d3eeeed40d3af0ae176e42aefa9a7e4f62733580fe3cb2da9528b7f865acb6dd9025f5305d2022247ebd911c2de81c4794b06bf04069117d11551ccfb4580722549bfafe77c50bf0a3890a5ea14f03ef7d7bbe46c3d620ef50df30ba57a3bfabd5463100e4776f1de35d78a71c6ee862ac52e8b9377a30d942a978c5a7c7891da51bf2713c87bfb171491af21b289b0c8d3c1f21a7ab80ceda6a0b2ed6c6568cbe76bccf8b26135725218106ac4562af6653235dd78cd007a378f1bd3370e5a4175bc612ad77a084b1dbb1a1afba8a4bd3fc38823d5d713d34a8e56c1024c6ef60de73adb8ad4a016e59238bb02fb24f001f8409af0c601bf11044f42f97eeb029e369cfebc55952e66cb4ab1d78d1336f4c3b151f84e1c894e08af0970e37f14f8f970b2e9454e6ea0d1ccd709b4935a8055e9b4764b3028ad81411ff42b0667cdabc00d83bea3d9c6927ed3e55e5db2273477b5da1f0b46c623e7c1866e12cc00e515edef6772d3c01036a1622eb2fb0b755b002a2714ede8d26266849311217becf72a733a80026144eccf3c7b3477fa2fe16f721707e955d55f12c7dc27f17314415eb5e687bf8c5b4ef40faedb54d94adefcea6b1a06a46a425a1305d3ef08482a0053a3cba33360213b517df1ed227f27bcb89f2550acc6af21b77d65053d0c9b52bbb7f8c069b47d1d77e8690c3507e84dee5f07e557a12b095c198226ef13c137fd3310aad82634a2df2660a9e0813b0e1bae0bf5055eb04e128111d8d4a55fdd7bd65596de50948631183f13b60ff06abef51fef50069a0a5da36a2c9783664514c3b8263e80c137ae406e8edf556d6e18d50669f249cf42873c78f482728248c7d89d3609814af56b46ed9657857191796003cecfd899b0646147dd4a2f8c0c7c5bb5123fb40706881eb7797453a092e9b126de7cf344da6fa02c7097680be9c1cc45f77ebee26427ea89403745fcf79a2118dba06b97f3b706697f9199a4ba1af68fa8b3cbc5038d25521bdb4b3889cea31cce576ae793d240105d9bb401ff3fbe8254fc3f0d43d21e2e1b5f9fb28090260a574e402286cca58f4891a3ad19923518a9b01f2abeb4bc526559245de10864174bb1fd1f62c28cb4385b0d2d7d7bc6d077cb3bccdb9b65689995271a460663093e54a8e40ecb5f2eb346d8f2649286d08ca4f4c15449621e02c16ec653dc450c6600562be79bd4f0630ab6c89da82808d4bff21dbc288b2e38a23b14aa35a72e9430a9f257dda54f79c64beb282edb02c3832b251459c4ca12548089e010de1a513341f4a49f8db6de79d12dfaa156e287cd714c88719c4fdef403cf2a80801822d1428a913f359e0f2614f04f7d41d9c251de03b24142daa6d389ae70cebf00000000000000000000000000000000000000000000000000000000000000002080e137f83dcd23d9f1a206c893964e11ff0f7cdac128cc3dae4a71a20ff849149d2d3a24bae872fbb8476cb5e60d55c1173a4deec7bb0b702d50e5e03f6a37273b47a811a7643fcda5641e6a061ced383d806a1db649288dfc315fa09698380044ec9b436e250a9b342410a337d01239ff83fb0c5f54fd8a85e7e443bbdec412ce90496a14557d9e91b00ef41f31b9839662b628ba3ef2e5a2431e836604371470b73bddc4b185b83cf60658bc160faa58c66ece5e7b237868cbb634b4bdab125a59743fd2b98d051d3b97f2c73b53b87c84f69244aa6d80684d34ec53ee5e2670f1ac56ae2931cc67b53f0adb763e831c2fbf1cee0f7e3a7c2d35608e612b29b18fe11bea774cb5a873f8015756e7fa28c8f91057ff3df9f7434c8f29e23906e3f8c2b78a28d54df6bc3dff17dc7cbc1702618a986265fdf89302a3978dbb155baa002fc62bb1fa6d6efa48a302a92b68e3e746893634816bd4e0e1d587f30d47279a4e47fba74a3e41b8092831721882fe6c2765225628c109fbaaf908b81abf501b83f72222562d78c7777008d7aa1f55e247d7a44fccc89e8f34951022270fda77667aea5570defe53f26ac9f24f5e3cc60c5f0c925cca339fe32d84e729c798b14f7ef41d29f082c71b59786eebed3ea92d6216278c2d9b58776d53431f5ceb40a19458c1c6e0c80a246fc8cdd954fa99c0eac250545792b7e691d9c20013b8352e6216156299754fbea34c889c99a7a7ad5ea64b963aabf14f4590361410cf1958be63724d4b5607e60249aa06e96c1ad4f684d20ef48b97b70dd9070624d67e1e66932b62e51e6302b97d6cd4208263d8b0028190a5a1103c40fad52f5a2a1479953313381839fe68e19e50f30c9f82f41166f3ac7402fe3b2a85152282ceb3af2e2f9578b85cbcc6e15b82cd0d85b468e8b6794886ef6e6c7fbe1c2ec83b1763532b8cf1f95a7e74e0fa997cfe6e69a4004a088e7b33002fee52fd0534c1ba9255f9715fdc1a12932c8cf8f9dfc1300e64d553137d21cf2a388f5d0f62f41edf3aca2f7619914b3f4c44eef67db71aa22897fd359142201f202fa424ea4bd8100e465e9003884b94e75d9126c7f7022177c6947c759e651d87ae561536a90ffce9c7577215219e4144df1a85f50f076097a96c3f5dffc1a53bda422739e58cf7dd03207bfa7a7edc6782b4924c0d873cd2e471ee1414154d5c3b8a2963e2cb999586b79338bcc69a9ed9b3ef8444f54e05037e042650638b70bbea2be754ed8c55f47b83c15e67feb1ddb7c7e076c4786e5f62219a201f441987c91c76c42e7981728a71cfbb4530bff633855c9172b776371576eaed18a972756408823ea37e7e325b3fe22719999ed6dd42cf4f4c61990ae5bdb66a9aa0833e22185854c50fd456f853a1ebebf00f6027e33ba40b9f4129aabfee0043edb1cde21ae11b7718df6fbe26e70780fc6d0f74e022efea795528c888d787733906358c12d0622618b47c565f924ce3f3e0ebaeab4c287f1cd29575f67710db99cb9df32162b1cfc0b99db356dc200b2cb1667437300b6e2eb58d670acdc3800526c35d09a74bce8602d9531bd9fb6101d48561f2d9bbd6a592cd4a5ec01256adc6fcdb019f4f781af8889260e6bb56b56ed3016783f7442ea334bc3042198d5269628008aba69fd8f9c46ce4688c21be3981dfa1c91f1382066e276a3995eca3c4ea153044a580ef1a738002e90c45a6e8a6908c57ef5a2dde2c95cbe411bab0ce1a0c01111cb6b3aa8fedec159e6f6e3dedcaf83afa3137086c9f795cab0c286f6d4e29a710e02b02ef1730c11202046af989ebbd5e945a211eacbafa2102856ac9340ab527886b834790897fdd47d4060dc48899721177aa3e7e92e5c9a6ad2474e7118db1484878c60fd2ed8775f59e889cea780819be13ace3a6d9e1034b60fbfa048e61c47023605fb6e11085a12df0ffe5480960054efa15d6bb1de71b8bd3cf1ec58ae65b52b9441043933a89311f9319fa4fb6251e82cf6d3c799c7301b241026e97345fd3c95ea63924423c249cea9fd87aabe12a8e5877ed47ff5b240e2b1310b06f6a147c2dd8043377325f9410f3dc1eb733d2a464ae283e8ea06baeb03025c763c0ea92a669f33747fdbdd2ba4fa1f8e51db27417b3a4794d33015c2b288831e539c75a458253a3212888b571e035c88f671c1b17bf7a2ceb088d6c432162e84a821c23828806bfb5e934521363ec93152cefde77e7f62442781abf00213fe3263f4527449cbcd267bfdc249c2fc6ff19039ac4e648a35fa53912677c', 'transcript_type': 'EVM'}\n",
+      "Time gen prf: 17.092010021209717 seconds\n"
+     ]
     }
    ],
    "source": [
@@ -151,8 +196,7 @@
     "    settings_path,\n",
     "    proof_path,\n",
     "    pk_path,\n",
-    "    srs_path,\n",
-    ")"
+    ")\n"
    ]
   },
   {
@@ -164,11 +208,23 @@
   },
   {
    "cell_type": "code",
-   "execution_count": null,
+   "execution_count": 43,
    "metadata": {},
-   "outputs": [],
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "!@# res:  True\n",
+      "prf instances:  [[[3042937791208075219, 8157070662846698822, 3804781648660056856, 172406108020799675], [12436184717236109307, 3962172157175319849, 7381016538464732718, 1011752739694698287], [18341455175509539295, 12796101019039945164, 1607286914885633240, 1929881192315725821]]]\n",
+      "num_inputs:  1\n",
+      "proof boolean:  1.0\n",
+      "proof result 0 : 49.55078125\n"
+     ]
+    }
+   ],
    "source": [
-    "verifier_verify(proof_path, settings_path, vk_path, srs_path)"
+    "verifier_verify(proof_path, settings_path, vk_path)"
    ]
   },
   {
@@ -180,16 +236,26 @@
   },
   {
    "cell_type": "code",
-   "execution_count": null,
+   "execution_count": 44,
    "metadata": {},
-   "outputs": [],
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "Model onnx:\t\t /Users/mhchia/projects/work/pse/demo-next/public/assets/out/model.onnx\n",
+      "Settings:\t\t /Users/mhchia/projects/work/pse/demo-next/public/assets/out/settings.json\n",
+      "Proof:\t\t\t /Users/mhchia/projects/work/pse/demo-next/public/assets/out/model.pf\n",
+      "Verification key:\t /Users/mhchia/projects/work/pse/demo-next/public/assets/out/model.vk\n"
+     ]
+    }
+   ],
    "source": [
-    "model_onnx_path, settings_path, proof_path, vk_path, srs_path\n",
+    "model_onnx_path, settings_path, proof_path, vk_path\n",
     "print(\"Model onnx:\\t\\t\", model_onnx_path)\n",
     "print(\"Settings:\\t\\t\", settings_path)\n",
     "print(\"Proof:\\t\\t\\t\", proof_path)\n",
-    "print(\"Verification key:\\t\", vk_path)\n",
-    "print(\"Srs:\\t\\t\\t\", srs_path)"
+    "print(\"Verification key:\\t\", vk_path)"
    ]
   }
  ],
diff --git a/src/app/page.tsx b/src/app/page.tsx
index 8eb18b9..02f3f53 100644
--- a/src/app/page.tsx
+++ b/src/app/page.tsx
@@ -30,8 +30,14 @@ export async function generateJupyterNotebookForComputation(computation: string,
 async function exampleDownloadNotebook() {
   const name = "mean";
   const date = Date.now();
-  const computation = `from zkstats.models import MeanModel
-Model = MeanModel`
+  const computation = `import torch
+from zkstats.computation import State
+
+def computation(state: State, x: list[torch.Tensor]):
+    x_0 = x[0]
+    out_0 = state.median(x_0)
+    out_1 = state.median(x_0)
+    return state.mean(torch.tensor([out_0, out_1]).reshape(1,-1,1))`
   const notebook = await generateJupyterNotebookForComputation(computation, templateNotebook)
   // Download for testing
   const element = document.createElement("a");