{"fixed_parameters":{"parameters":{"num_columns_under_copy_permutation":56,"num_witness_columns":74,"num_constant_columns":4,"max_allowed_constraint_degree":8},"lookup_parameters":"NoLookup","domain_size":8192,"total_tables_len":0,"public_inputs_locations":[[0,6733],[1,6733],[2,6733],[3,6733]],"extra_constant_polys_for_selectors":4,"table_ids_column_idxes":[],"quotient_degree":8,"selectors_placement":{"Fork":{"left":{"GateOnly":{"gate_idx":2,"num_constants":0,"degree":7,"needs_selector":true,"is_lookup":false}},"right":{"Fork":{"left":{"Fork":{"left":{"Fork":{"left":{"GateOnly":{"gate_idx":5,"num_constants":4,"degree":3,"needs_selector":true,"is_lookup":false}},"right":{"Fork":{"left":{"Fork":{"left":{"GateOnly":{"gate_idx":1,"num_constants":0,"degree":2,"needs_selector":true,"is_lookup":false}},"right":{"GateOnly":{"gate_idx":6,"num_constants":0,"degree":2,"needs_selector":true,"is_lookup":false}}}},"right":{"Fork":{"left":{"GateOnly":{"gate_idx":3,"num_constants":0,"degree":2,"needs_selector":true,"is_lookup":false}},"right":{"GateOnly":{"gate_idx":7,"num_constants":0,"degree":2,"needs_selector":true,"is_lookup":false}}}}}}}},"right":{"Fork":{"left":{"GateOnly":{"gate_idx":10,"num_constants":4,"degree":2,"needs_selector":true,"is_lookup":false}},"right":{"Fork":{"left":{"GateOnly":{"gate_idx":8,"num_constants":0,"degree":2,"needs_selector":true,"is_lookup":false}},"right":{"GateOnly":{"gate_idx":9,"num_constants":0,"degree":0,"needs_selector":true,"is_lookup":false}}}}}}}},"right":{"Fork":{"left":{"GateOnly":{"gate_idx":4,"num_constants":2,"degree":3,"needs_selector":true,"is_lookup":false}},"right":{"GateOnly":{"gate_idx":0,"num_constants":4,"degree":1,"needs_selector":true,"is_lookup":false}}}}}}}},"fri_lde_factor":512,"cap_size":16},"setup_merkle_tree_cap":[[9400114821788111997,10174379440924306667,12099785726708360652,9995400590381780863],[2334378296910867976,14006318746156115451,16966411770863229696,2899374804263086329],[13822297067659526350,14667208503042377032,3901634748477769399,5237329451203241158],[2586121173484242473,11697284038356613029,933626477645488623,4599736293977604254],[2099670334582336055,3867195468067995229,1115393177006802932,17639487306608701688],[12497937328284772458,13045474460076936702,11906095630145949253,12475772063205231450],[10690784528608045399,13410967387714879575,7726413202767880516,9288245855805206575],[3539994800961587790,6358856348854604088,15934964182027145108,17612693035095380814],[15320048271571873010,7318515779740656203,16551198107996515404,6635393580670140790],[16738837543350324276,16049813959567686449,11823231679317452251,1275441427763795787],[5580643534274018706,9000840914232989267,12531761183229264149,4026853604008981495],[500330480493177138,12068418998446814996,7613708346169355437,14920496053936789366],[3015803821525017736,5151067154241752995,1324640746013551862,10307241715122259745],[10021469121326611699,17467435142856295548,1039423927477390376,632745729880326265],[11776136768439302726,4279926929655131504,3811308792013066876,16279215791269006257],[15579697034529609667,15382304918960613875,10214350428255480911,5169960457284274758]]}