diff --git a/plonky2/examples/.gitignore b/plonky2/examples/.gitignore new file mode 100644 index 00000000..763d40c2 --- /dev/null +++ b/plonky2/examples/.gitignore @@ -0,0 +1,3 @@ +.DS_Store +false.rs +lookup_bigger.rs diff --git a/plonky2/src/plonk/prover.rs b/plonky2/src/plonk/prover.rs index e4af9cd1..0cea8af5 100644 --- a/plonky2/src/plonk/prover.rs +++ b/plonky2/src/plonk/prover.rs @@ -1,4 +1,5 @@ //! plonky2 prover implementation. +#![allow(non_snake_case)] #[cfg(not(feature = "std"))] use alloc::{format, vec, vec::Vec}; @@ -138,6 +139,31 @@ struct ThingsToExport { // circuit_digest: Vec, } +fn fmap_Vec(f: &dyn Fn(&A) -> B, input: &Vec) -> Vec { + let v: Vec = input.iter().map(f).collect(); + v +} + +fn fmap_VecVec(f: &dyn Fn(&A) -> B, input: &Vec>) -> Vec> { + input.iter().map( |xs| fmap_Vec(f,xs) ).collect() +} + +fn field_to_string(x : &F) -> String { + format!("{}",x) +} + +fn fmap_ThingsToExport(f: &dyn Fn(&A) -> B, input: &ThingsToExport) -> ThingsToExport { + let output = ThingsToExport { + gates: input.gates.clone(), + selector_vector: input.selector_vector.clone(), + gate_selector_columns: fmap_VecVec( f , &input.gate_selector_columns ), + lookup_selectors_columns: fmap_VecVec( f , &input.lookup_selectors_columns ), + constants_columns: fmap_VecVec( f , &input.constants_columns ), + matrix: fmap_VecVec( f , &input.matrix ), + }; + output +} + // the idea is to export the witness (plus some more information), // so that third-party tools can for example visualize it fn collect_things_to_export, C: GenericConfig, const D: usize>( @@ -266,8 +292,9 @@ where match &prover_options.export_witness { None => (), Some(fname) => { - let things_to_export = collect_things_to_export::( &common_data, &prover_data, &witness ); - write_json_file(&fname, &things_to_export)?; + let to_export_felt : ThingsToExport = collect_things_to_export::( &common_data, &prover_data, &witness ); + let to_export_str : ThingsToExport = fmap_ThingsToExport( &field_to_string , &to_export_felt ); + write_json_file(&fname, &to_export_str)?; println!("exported witness to `{}`",fname); }, } diff --git a/tooling/web/json/fibonacci_witness.json b/tooling/web/json/fibonacci_witness.json index 29da03b9..95a0fb9f 100644 --- a/tooling/web/json/fibonacci_witness.json +++ b/tooling/web/json/fibonacci_witness.json @@ -1 +1 @@ -{"gates":["ConstantGate:2","PublicInputGate","ArithmeticGate:20","PoseidonGate:12"],"selector_vector":[2,2,2,2,2,3,1,0],"gate_selector_columns":[[2,2,2,2,2,4294967295,1,0],[4294967295,4294967295,4294967295,4294967295,4294967295,3,4294967295,4294967295]],"lookup_selectors_columns":[],"constants_columns":[[1,1,1,1,1,0,0,0],[1,1,1,1,1,0,0,1]],"matrix":[[0,6765,102334155,1548008755920,23416728348467685,0,8416658900775745054,0],[1,1,1,1,1,1,12574228347150446423,1],[1,10946,165580141,2504730781961,37889062373143906,3736710860384812976,9629056739760131473,0],[1,17711,267914296,4052739537881,61305790721611591,0,3119289788404190010,0],[1,10946,165580141,2504730781961,37889062373143906,0,0,0],[1,1,1,1,1,0,0,0],[1,17711,267914296,4052739537881,61305790721611591,0,0,0],[2,28657,433494437,6557470319842,99194853094755497,0,0,0],[1,17711,267914296,4052739537881,61305790721611591,0,0,0],[1,1,1,1,1,0,0,0],[2,28657,433494437,6557470319842,99194853094755497,0,0,0],[3,46368,701408733,10610209857723,160500643816367088,0,0,0],[2,28657,433494437,6557470319842,99194853094755497,8416658900775745054,0,0],[1,1,1,1,1,12574228347150446423,0,0],[3,46368,701408733,10610209857723,160500643816367088,9629056739760131473,0,0],[5,75025,1134903170,17167680177565,259695496911122585,3119289788404190010,0,0],[3,46368,701408733,10610209857723,160500643816367088,14861960955103405647,0,0],[1,1,1,1,1,372802127489869527,0,0],[5,75025,1134903170,17167680177565,259695496911122585,17949976003686161308,0,0],[8,121393,1836311903,27777890035288,420196140727489673,1857324986026215171,0,0],[5,75025,1134903170,17167680177565,259695496911122585,5971167677106193079,0,0],[1,1,1,1,1,11693818845587106938,0,0],[8,121393,1836311903,27777890035288,420196140727489673,2069952246609707872,0,0],[13,196418,2971215073,44945570212853,679891637638612258,217879661521314238,0,0],[8,121393,1836311903,27777890035288,420196140727489673,0,0,0],[1,1,1,1,1,0,0,0],[13,196418,2971215073,44945570212853,679891637638612258,0,0,0],[21,317811,4807526976,72723460248141,1100087778366101931,0,0,0],[13,196418,2971215073,44945570212853,679891637638612258,0,0,0],[1,1,1,1,1,10040222711290671429,0,0],[21,317811,4807526976,72723460248141,1100087778366101931,14620731031104971238,0,0],[34,514229,7778742049,117669030460994,1779979416004714189,17044025898016030703,0,0],[21,317811,4807526976,72723460248141,1100087778366101931,7238567237932994928,0,0],[1,1,1,1,1,15906345692884439372,0,0],[34,514229,7778742049,117669030460994,1779979416004714189,5144700563978952905,0,0],[55,832040,12586269025,190392490709135,2880067194370816120,8166204101423404765,0,0],[34,514229,7778742049,117669030460994,1779979416004714189,477486086501229569,0,0],[1,1,1,1,1,9608939408992013865,0,0],[55,832040,12586269025,190392490709135,2880067194370816120,3967372222851101859,0,0],[89,1346269,20365011074,308061521170129,4660046610375530309,6747904536878816765,0,0],[55,832040,12586269025,190392490709135,2880067194370816120,10676707001551177325,0,0],[1,1,1,1,1,15582639502207228120,0,0],[89,1346269,20365011074,308061521170129,4660046610375530309,13686409820604502173,0,0],[144,2178309,32951280099,498454011879264,7540113804746346429,1567790829695590004,0,0],[89,1346269,20365011074,308061521170129,4660046610375530309,17435189342848201979,0,0],[1,1,1,1,1,6880593622141894941,0,0],[144,2178309,32951280099,498454011879264,7540113804746346429,8426833217377909941,0,0],[233,3524578,53316291173,806515533049393,12200160415121876738,1750952861857697999,0,0],[144,2178309,32951280099,498454011879264,7540113804746346429,7363947565712320428,0,0],[1,1,1,1,1,3124824639148633302,0,0],[233,3524578,53316291173,806515533049393,12200160415121876738,9815057002508797666,0,0],[377,5702887,86267571272,1304969544928657,1293530150453638846,8800225758791566091,0,0],[233,3524578,53316291173,806515533049393,12200160415121876738,15770247867912269728,0,0],[1,1,1,1,1,3135653937829880960,0,0],[377,5702887,86267571272,1304969544928657,1293530150453638846,15779646663237235129,0,0],[610,9227465,139583862445,2111485077978050,13493690565575515584,6797675489104882722,0,0],[377,5702887,86267571272,1304969544928657,1293530150453638846,2449041418020548842,0,0],[1,1,1,1,1,7190423305376289408,0,0],[610,9227465,139583862445,2111485077978050,13493690565575515584,17337800908067952557,0,0],[987,14930352,225851433717,3416454622906707,14787220716029154430,5830228614653198906,0,0],[610,9227465,139583862445,2111485077978050,13493690565575515584,8884464056103704513,0,0],[1,1,1,1,1,5363825021791947577,0,0],[987,14930352,225851433717,3416454622906707,14787220716029154430,15220052284474590997,0,0],[1597,24157817,365435296162,5527939700884757,9834167212190085693,8505277843539538987,0,0],[987,14930352,225851433717,3416454622906707,14787220716029154430,9904213084008489739,0,0],[1,1,1,1,1,16267234471440708648,0,0],[1597,24157817,365435296162,5527939700884757,9834167212190085693,7397784185928096775,0,0],[2584,39088169,591286729879,8944394323791464,6174643858804655802,18428755921504058133,0,0],[1597,24157817,365435296162,5527939700884757,9834167212190085693,3337122630204711140,0,0],[1,1,1,1,1,16198616623652854046,0,0],[2584,39088169,591286729879,8944394323791464,6174643858804655802,15666646868790223685,0,0],[4181,63245986,956722026041,14472334024676221,16008811070994741495,8026155603046169528,0,0],[2584,39088169,591286729879,8944394323791464,6174643858804655802,8469751101646333747,0,0],[1,1,1,1,1,9164013103097068803,0,0],[4181,63245986,956722026041,14472334024676221,16008811070994741495,12400986561189304806,0,0],[6765,102334155,1548008755920,23416728348467685,3736710860384812976,16077058258931765567,0,0],[4181,63245986,956722026041,14472334024676221,0,11379947257449814103,0,0],[1,1,1,1,0,15535488051570816465,0,0],[6765,102334155,1548008755920,23416728348467685,0,15881106855513562765,0,0],[10946,165580141,2504730781961,37889062373143906,0,7781013937409781090,0,0],[0,0,0,0,0,1225792993053954782,0,0],[0,0,0,0,0,17643850961762156539,0,0],[0,0,0,0,0,4033881532651059650,0,0],[0,0,0,0,0,10550305237523993157,0,0],[0,0,0,0,0,8184211280336425828,0,0],[0,0,0,0,0,562906072670039007,0,0],[0,0,0,0,0,6362129067496863546,0,0],[0,0,0,0,0,6526337289101062663,0,0],[0,0,0,0,0,6490233936458245575,0,0],[0,0,0,0,0,12891963448702135799,0,0],[0,0,0,0,0,17760427698633916708,0,0],[0,0,0,0,0,6497795749681618804,0,0],[0,0,0,0,0,12827959275124201763,0,0],[0,0,0,0,0,11113378605033148767,0,0],[0,0,0,0,0,6569703523987102558,0,0],[0,0,0,0,0,7995489224595613381,0,0],[0,0,0,0,0,13387871631798397469,0,0],[0,0,0,0,0,10659905477666838737,0,0],[0,0,0,0,0,1840186988953944109,0,0],[0,0,0,0,0,15890763427816250250,0,0],[0,0,0,0,0,1029740517934924290,0,0],[0,0,0,0,0,7078942175277198294,0,0],[0,0,0,0,0,8493243431220293997,0,0],[0,0,0,0,0,15522877625405579026,0,0],[0,0,0,0,0,16496651246651191648,0,0],[0,0,0,0,0,4444069363249625691,0,0],[0,0,0,0,0,14026344929456590691,0,0],[0,0,0,0,0,15722697891119137492,0,0],[0,0,0,0,0,7060126015483727731,0,0],[0,0,0,0,0,10519195180224552510,0,0],[0,0,0,0,0,13821269625316219387,0,0],[0,0,0,0,0,10658689852821575241,0,0],[0,0,0,0,0,2174261422963674768,0,0],[0,0,0,0,0,11010238115484875126,0,0],[0,0,0,0,0,3344493737477086936,0,0],[0,0,0,0,0,3169819264478121565,0,0],[0,0,0,0,0,10548892680228605962,0,0],[0,0,0,0,0,8054855812681440344,0,0],[0,0,0,0,0,2292458712761356147,0,0],[0,0,0,0,0,5641640176540904214,0,0],[0,0,0,0,0,6920691066608171985,0,0],[0,0,0,0,0,14203798936975626124,0,0],[0,0,0,0,0,5973321330466181466,0,0],[0,0,0,0,0,1089446532694553977,0,0],[0,0,0,0,0,8112981925793197878,0,0],[0,0,0,0,0,6317657525109977570,0,0],[0,0,0,0,0,8259326469873680154,0,0],[0,0,0,0,0,18293467284009711799,0,0],[0,0,0,0,0,8616308775836730292,0,0],[0,0,0,0,0,2919873196638644821,0,0],[0,0,0,0,0,3445369750894310746,0,0],[0,0,0,0,0,976214721355428342,0,0],[0,0,0,0,0,4717957757685036884,0,0],[0,0,0,0,0,4723399287518688581,0,0],[0,0,0,0,0,11331936104580144288,0,0]]} \ No newline at end of file +{"gates":["ConstantGate:2","PublicInputGate","ArithmeticGate:20","PoseidonGate:12"],"selector_vector":[2,2,2,2,2,3,1,0],"gate_selector_columns":[["2","2","2","2","2","4294967295","1","0"],["4294967295","4294967295","4294967295","4294967295","4294967295","3","4294967295","4294967295"]],"lookup_selectors_columns":[],"constants_columns":[["1","1","1","1","1","0","0","0"],["1","1","1","1","1","0","0","1"]],"matrix":[["0","6765","102334155","1548008755920","23416728348467685","0","8416658900775745054","0"],["1","1","1","1","1","1","12574228347150446423","1"],["1","10946","165580141","2504730781961","37889062373143906","3736710860384812976","9629056739760131473","0"],["1","17711","267914296","4052739537881","61305790721611591","0","3119289788404190010","0"],["1","10946","165580141","2504730781961","37889062373143906","0","0","0"],["1","1","1","1","1","0","0","0"],["1","17711","267914296","4052739537881","61305790721611591","0","0","0"],["2","28657","433494437","6557470319842","99194853094755497","0","0","0"],["1","17711","267914296","4052739537881","61305790721611591","0","0","0"],["1","1","1","1","1","0","0","0"],["2","28657","433494437","6557470319842","99194853094755497","0","0","0"],["3","46368","701408733","10610209857723","160500643816367088","0","0","0"],["2","28657","433494437","6557470319842","99194853094755497","8416658900775745054","0","0"],["1","1","1","1","1","12574228347150446423","0","0"],["3","46368","701408733","10610209857723","160500643816367088","9629056739760131473","0","0"],["5","75025","1134903170","17167680177565","259695496911122585","3119289788404190010","0","0"],["3","46368","701408733","10610209857723","160500643816367088","14861960955103405647","0","0"],["1","1","1","1","1","372802127489869527","0","0"],["5","75025","1134903170","17167680177565","259695496911122585","17949976003686161308","0","0"],["8","121393","1836311903","27777890035288","420196140727489673","1857324986026215171","0","0"],["5","75025","1134903170","17167680177565","259695496911122585","5971167677106193079","0","0"],["1","1","1","1","1","11693818845587106938","0","0"],["8","121393","1836311903","27777890035288","420196140727489673","2069952246609707872","0","0"],["13","196418","2971215073","44945570212853","679891637638612258","217879661521314238","0","0"],["8","121393","1836311903","27777890035288","420196140727489673","0","0","0"],["1","1","1","1","1","0","0","0"],["13","196418","2971215073","44945570212853","679891637638612258","0","0","0"],["21","317811","4807526976","72723460248141","1100087778366101931","0","0","0"],["13","196418","2971215073","44945570212853","679891637638612258","0","0","0"],["1","1","1","1","1","10040222711290671429","0","0"],["21","317811","4807526976","72723460248141","1100087778366101931","14620731031104971238","0","0"],["34","514229","7778742049","117669030460994","1779979416004714189","17044025898016030703","0","0"],["21","317811","4807526976","72723460248141","1100087778366101931","7238567237932994928","0","0"],["1","1","1","1","1","15906345692884439372","0","0"],["34","514229","7778742049","117669030460994","1779979416004714189","5144700563978952905","0","0"],["55","832040","12586269025","190392490709135","2880067194370816120","8166204101423404765","0","0"],["34","514229","7778742049","117669030460994","1779979416004714189","477486086501229569","0","0"],["1","1","1","1","1","9608939408992013865","0","0"],["55","832040","12586269025","190392490709135","2880067194370816120","3967372222851101859","0","0"],["89","1346269","20365011074","308061521170129","4660046610375530309","6747904536878816765","0","0"],["55","832040","12586269025","190392490709135","2880067194370816120","10676707001551177325","0","0"],["1","1","1","1","1","15582639502207228120","0","0"],["89","1346269","20365011074","308061521170129","4660046610375530309","13686409820604502173","0","0"],["144","2178309","32951280099","498454011879264","7540113804746346429","1567790829695590004","0","0"],["89","1346269","20365011074","308061521170129","4660046610375530309","17435189342848201979","0","0"],["1","1","1","1","1","6880593622141894941","0","0"],["144","2178309","32951280099","498454011879264","7540113804746346429","8426833217377909941","0","0"],["233","3524578","53316291173","806515533049393","12200160415121876738","1750952861857697999","0","0"],["144","2178309","32951280099","498454011879264","7540113804746346429","7363947565712320428","0","0"],["1","1","1","1","1","3124824639148633302","0","0"],["233","3524578","53316291173","806515533049393","12200160415121876738","9815057002508797666","0","0"],["377","5702887","86267571272","1304969544928657","1293530150453638846","8800225758791566091","0","0"],["233","3524578","53316291173","806515533049393","12200160415121876738","15770247867912269728","0","0"],["1","1","1","1","1","3135653937829880960","0","0"],["377","5702887","86267571272","1304969544928657","1293530150453638846","15779646663237235129","0","0"],["610","9227465","139583862445","2111485077978050","13493690565575515584","6797675489104882722","0","0"],["377","5702887","86267571272","1304969544928657","1293530150453638846","2449041418020548842","0","0"],["1","1","1","1","1","7190423305376289408","0","0"],["610","9227465","139583862445","2111485077978050","13493690565575515584","17337800908067952557","0","0"],["987","14930352","225851433717","3416454622906707","14787220716029154430","5830228614653198906","0","0"],["610","9227465","139583862445","2111485077978050","13493690565575515584","8884464056103704513","0","0"],["1","1","1","1","1","5363825021791947577","0","0"],["987","14930352","225851433717","3416454622906707","14787220716029154430","15220052284474590997","0","0"],["1597","24157817","365435296162","5527939700884757","9834167212190085693","8505277843539538987","0","0"],["987","14930352","225851433717","3416454622906707","14787220716029154430","9904213084008489739","0","0"],["1","1","1","1","1","16267234471440708648","0","0"],["1597","24157817","365435296162","5527939700884757","9834167212190085693","7397784185928096775","0","0"],["2584","39088169","591286729879","8944394323791464","6174643858804655802","18428755921504058133","0","0"],["1597","24157817","365435296162","5527939700884757","9834167212190085693","3337122630204711140","0","0"],["1","1","1","1","1","16198616623652854046","0","0"],["2584","39088169","591286729879","8944394323791464","6174643858804655802","15666646868790223685","0","0"],["4181","63245986","956722026041","14472334024676221","16008811070994741495","8026155603046169528","0","0"],["2584","39088169","591286729879","8944394323791464","6174643858804655802","8469751101646333747","0","0"],["1","1","1","1","1","9164013103097068803","0","0"],["4181","63245986","956722026041","14472334024676221","16008811070994741495","12400986561189304806","0","0"],["6765","102334155","1548008755920","23416728348467685","3736710860384812976","16077058258931765567","0","0"],["4181","63245986","956722026041","14472334024676221","0","11379947257449814103","0","0"],["1","1","1","1","0","15535488051570816465","0","0"],["6765","102334155","1548008755920","23416728348467685","0","15881106855513562765","0","0"],["10946","165580141","2504730781961","37889062373143906","0","7781013937409781090","0","0"],["0","0","0","0","0","1225792993053954782","0","0"],["0","0","0","0","0","17643850961762156539","0","0"],["0","0","0","0","0","4033881532651059650","0","0"],["0","0","0","0","0","10550305237523993157","0","0"],["0","0","0","0","0","8184211280336425828","0","0"],["0","0","0","0","0","562906072670039007","0","0"],["0","0","0","0","0","6362129067496863546","0","0"],["0","0","0","0","0","6526337289101062663","0","0"],["0","0","0","0","0","6490233936458245575","0","0"],["0","0","0","0","0","12891963448702135799","0","0"],["0","0","0","0","0","17760427698633916708","0","0"],["0","0","0","0","0","6497795749681618804","0","0"],["0","0","0","0","0","12827959275124201763","0","0"],["0","0","0","0","0","11113378605033148767","0","0"],["0","0","0","0","0","6569703523987102558","0","0"],["0","0","0","0","0","7995489224595613381","0","0"],["0","0","0","0","0","13387871631798397469","0","0"],["0","0","0","0","0","10659905477666838737","0","0"],["0","0","0","0","0","1840186988953944109","0","0"],["0","0","0","0","0","15890763427816250250","0","0"],["0","0","0","0","0","1029740517934924290","0","0"],["0","0","0","0","0","7078942175277198294","0","0"],["0","0","0","0","0","8493243431220293997","0","0"],["0","0","0","0","0","15522877625405579026","0","0"],["0","0","0","0","0","16496651246651191648","0","0"],["0","0","0","0","0","4444069363249625691","0","0"],["0","0","0","0","0","14026344929456590691","0","0"],["0","0","0","0","0","15722697891119137492","0","0"],["0","0","0","0","0","7060126015483727731","0","0"],["0","0","0","0","0","10519195180224552510","0","0"],["0","0","0","0","0","13821269625316219387","0","0"],["0","0","0","0","0","10658689852821575241","0","0"],["0","0","0","0","0","2174261422963674768","0","0"],["0","0","0","0","0","11010238115484875126","0","0"],["0","0","0","0","0","3344493737477086936","0","0"],["0","0","0","0","0","3169819264478121565","0","0"],["0","0","0","0","0","10548892680228605962","0","0"],["0","0","0","0","0","8054855812681440344","0","0"],["0","0","0","0","0","2292458712761356147","0","0"],["0","0","0","0","0","5641640176540904214","0","0"],["0","0","0","0","0","6920691066608171985","0","0"],["0","0","0","0","0","14203798936975626124","0","0"],["0","0","0","0","0","5973321330466181466","0","0"],["0","0","0","0","0","1089446532694553977","0","0"],["0","0","0","0","0","8112981925793197878","0","0"],["0","0","0","0","0","6317657525109977570","0","0"],["0","0","0","0","0","8259326469873680154","0","0"],["0","0","0","0","0","18293467284009711799","0","0"],["0","0","0","0","0","8616308775836730292","0","0"],["0","0","0","0","0","2919873196638644821","0","0"],["0","0","0","0","0","3445369750894310746","0","0"],["0","0","0","0","0","976214721355428342","0","0"],["0","0","0","0","0","4717957757685036884","0","0"],["0","0","0","0","0","4723399287518688581","0","0"],["0","0","0","0","0","11331936104580144288","0","0"]]} \ No newline at end of file diff --git a/tooling/web/json/lookup_witness.json b/tooling/web/json/lookup_witness.json index d3d7caa4..c3df554a 100644 --- a/tooling/web/json/lookup_witness.json +++ b/tooling/web/json/lookup_witness.json @@ -1 +1 @@ -{"gates":["LookupGate:40","LookupTableGate:26","NoopGate","ConstantGate:2","PublicInputGate","ArithmeticGate:20","PoseidonGate:12"],"selector_vector":[5,5,6,4,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,3,3,3,3,3,2],"gate_selector_columns":[[5,5,4294967295,4,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,3,3,3,3,3,2],[4294967295,4294967295,6,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295,4294967295]],"lookup_selectors_columns":[[0,0,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0],[0,0,0,0,1,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,1,0,0,0,0,0,0],[0,0,0,0,1,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,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]],"constants_columns":[[1,1,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,2,4,6,8,0],[1,1,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,3,5,7,9,0]],"matrix":[[1,989,210,4601819047774343738,199,3539,3329,3109,2879,2689,2467,2281,2081,1873,1663,1483,1289,1093,919,739,571,401,241,103,2,0,0,2,4,6,8,0],[210,1,199,9284424728117671267,45,494,468,442,416,390,364,338,312,286,260,234,208,182,156,130,104,78,52,26,0,0,1,3,5,7,9,0],[199,262,1854,7409375103472159365,409,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,30,0,0,0,0,0,0,0],[409,1251,11440,6569778897557037641,79,3541,3331,3119,2887,2693,2473,2287,2083,1877,1667,1487,1291,1097,929,743,577,409,251,107,3,0,0,0,0,0,0,0],[199,8,0,0,619,495,469,443,417,391,365,339,313,287,261,235,209,183,157,131,105,79,53,27,1,0,0,0,0,0,0,0],[1,210,0,0,113,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0],[409,199,0,0,829,3547,3343,3121,2897,2699,2477,2293,2087,1879,1669,1489,1297,1103,937,751,587,419,257,109,5,0,0,0,0,0,0,0],[608,1879,0,0,144,496,470,444,418,392,366,340,314,288,262,236,210,184,158,132,106,80,54,28,2,0,0,0,0,0,0,0],[45,7472,0,0,1039,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,1,0,0,174,3557,3347,3137,2903,2707,2503,2297,2089,1889,1693,1493,1301,1109,941,757,593,421,263,113,7,0,0,0,0,0,0,0],[79,1879,0,0,1249,497,471,445,419,393,367,341,315,289,263,237,211,185,159,133,107,81,55,29,3,0,0,0,0,0,0,0],[124,9351,0,0,203,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[2,1251,4601819047774343738,0,1459,3559,3359,3163,2909,2711,2521,2309,2099,1901,1697,1499,1303,1117,947,761,599,431,269,127,11,0,0,0,0,0,0,0],[210,1,9284424728117671267,0,231,498,472,446,420,394,368,342,316,290,264,238,212,186,160,134,108,82,56,30,4,0,0,0,0,0,0,0],[199,288,7409375103472159365,0,1669,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],[619,1539,6569778897557037641,0,262,3571,3361,3167,2917,2713,2531,2311,2111,1907,1699,1511,1307,1123,953,769,601,433,271,131,13,0,0,0,0,0,0,0],[608,9,15085040408331506455,0,1879,499,473,447,421,395,369,343,317,291,265,239,213,187,161,135,109,83,57,31,5,0,0,0,0,0,0,0],[1,210,488314491132798586,0,288,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],[619,199,12393673842135220116,0,2089,3581,3371,3169,2927,2719,2539,2333,2113,1913,1709,1523,1319,1129,967,773,607,439,277,137,17,0,0,0,0,0,0,0],[1227,2089,8452007975177855864,0,315,500,474,448,422,396,370,344,318,292,266,240,214,188,162,136,110,84,58,32,6,0,0,0,0,0,0,0],[124,9351,5843066238768001775,0,2,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,1,5115094596305881316,0,0,3583,3373,3181,2939,2729,2543,2339,2129,1931,1721,1531,1321,1151,971,787,613,443,281,139,19,0,0,0,0,0,0,0],[113,2089,17259066695168245272,0,2,501,475,449,423,397,371,345,319,293,267,241,215,189,163,137,111,85,59,33,7,0,0,0,0,0,0,0],[237,11440,2129319673084535805,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],[3,1539,0,0,2,3593,3389,3187,2953,2731,2549,2341,2131,1933,1723,1543,1327,1153,977,797,617,449,283,149,23,0,0,0,0,0,0,0],[210,1,0,0,0,502,476,450,424,398,372,346,320,294,268,242,216,190,164,138,112,86,60,34,8,0,0,0,0,0,0,0],[199,315,0,0,2,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],[829,1854,0,0,0,3607,3391,3191,2957,2741,2551,2347,2137,1949,1733,1549,1361,1163,983,809,619,457,293,151,29,0,0,0,0,0,0,0],[1227,0,0,0,2,503,477,451,425,399,373,347,321,295,269,243,217,191,165,139,113,87,61,35,9,0,0,0,0,0,0,0],[1,0,7017893171499839300,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0],[829,0,4882788163121742263,0,2,3613,3407,3203,2963,2749,2557,2351,2141,1951,1741,1553,1367,1171,991,811,631,461,307,157,31,0,0,0,0,0,0,0],[2056,0,3175581835715052780,0,0,504,478,452,426,400,374,348,322,296,270,244,218,192,166,140,114,88,62,36,10,0,0,0,0,0,0,0],[237,0,764950602060971381,0,2,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,0,3745727777326304997,0,0,3617,3413,3209,2969,2753,2579,2357,2143,1973,1747,1559,1373,1181,997,821,641,463,311,163,37,0,0,0,0,0,0,0],[144,0,8759306495516641917,0,2,505,479,453,427,401,375,349,323,297,271,245,219,193,167,141,115,89,63,37,11,0,0,0,0,0,0,0],[381,0,16556060616425992997,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],[4,0,5965521344186175914,0,2,3623,3433,3217,2971,2767,2591,2371,2153,1979,1753,1567,1381,1187,1009,823,643,467,313,167,41,0,0,0,0,0,0,0],[210,0,18130771000277997640,0,0,506,480,454,428,402,376,350,324,298,272,246,220,194,168,142,116,90,64,38,12,0,0,0,0,0,0,0],[199,0,5255537183810498403,0,2,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],[1039,0,18069823966254917028,0,0,3631,3449,3221,2999,2777,2593,2377,2161,1987,1759,1571,1399,1193,1013,827,647,479,317,173,43,0,0,0,0,0,0,0],[2056,0,11320540435391092122,0,2,507,481,455,429,403,377,351,325,299,273,247,221,195,169,143,117,91,65,39,13,0,0,0,0,0,0,0],[1,0,435027022659657235,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],[1039,0,1286587503402635788,0,2,3637,3457,3229,3001,2789,2609,2381,2179,1993,1777,1579,1409,1201,1019,829,653,487,331,179,47,0,0,0,0,0,0,0],[3095,0,15524264847597308788,0,0,508,482,456,430,404,378,352,326,300,274,248,222,196,170,144,118,92,66,40,14,0,0,0,0,0,0,0],[381,0,8935636671393912016,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,11222836627109380690,0,0,3643,3461,3251,3011,2791,2617,2383,2203,1997,1783,1583,1423,1213,1021,839,659,491,337,181,53,0,0,0,0,0,0,0],[174,0,14519955749421469180,0,2,509,483,457,431,405,379,353,327,301,275,249,223,197,171,145,119,93,67,41,15,0,0,0,0,0,0,0],[555,0,14486591658137165540,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],[5,0,15404145468212953973,0,2,3659,3463,3253,3019,2797,2621,2389,2207,1999,1787,1597,1427,1217,1031,853,661,499,347,191,59,0,0,0,0,0,0,0],[210,0,5542184845608815708,0,0,510,484,458,432,406,380,354,328,302,276,250,224,198,172,146,120,94,68,42,16,0,0,0,0,0,0,0],[199,0,14238556892135957953,0,2,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],[1249,0,14146330539371392548,0,0,3671,3467,3257,3023,2801,2633,2393,2213,2003,1789,1601,1429,1223,1033,857,673,503,349,193,61,0,0,0,0,0,0,0],[3095,0,16009769555010349759,0,2,511,485,459,433,407,381,355,329,303,277,251,225,199,173,147,121,95,69,43,17,0,0,0,0,0,0,0],[1,0,4898049631496635620,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],[1249,0,13188841533758355881,0,2,0,3469,3259,3037,2803,2647,2399,2221,2011,1801,1607,1433,1229,1039,859,677,509,353,197,67,0,0,0,0,0,0,0],[4344,0,3689658952003638619,0,0,0,486,460,434,408,382,356,330,304,278,252,226,200,174,148,122,96,70,44,18,0,0,0,0,0,0,0],[555,0,18025930886644788188,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0],[1,0,13751387306704431240,0,0,0,3491,3271,3041,2819,2657,2411,2237,2017,1811,1609,1439,1231,1049,863,683,521,359,199,71,0,0,0,0,0,0,0],[203,0,1473141697614140899,0,2,0,487,461,435,409,383,357,331,305,279,253,227,201,175,149,123,97,71,45,19,0,0,0,0,0,0,0],[758,0,12621333237011582102,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0],[6,0,13485019156490265994,0,2,0,3499,3299,3049,2833,2659,2417,2239,2027,1823,1613,1447,1237,1051,877,691,523,367,211,73,0,0,0,0,0,0,0],[210,0,1156517423643744853,0,0,0,488,462,436,410,384,358,332,306,280,254,228,202,176,150,124,98,72,46,20,0,0,0,0,0,0,0],[199,0,181851254440633455,0,2,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],[1459,0,17312089958954280922,0,0,0,3511,3301,3061,2837,2663,2423,2243,2029,1831,1619,1451,1249,1061,881,701,541,373,223,79,0,0,0,0,0,0,0],[4344,0,1517008161052047105,0,2,0,489,463,437,411,385,359,333,307,281,255,229,203,177,151,125,99,73,47,21,0,0,0,0,0,0,0],[1,0,9672468242681175863,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[1459,0,1343878938500108116,0,2,0,3517,3307,3067,2843,2671,2437,2251,2039,1847,1621,1453,1259,1063,883,709,547,379,227,83,0,0,0,0,0,0,0],[5803,0,8584477622754537188,0,0,0,490,464,438,412,386,360,334,308,282,256,230,204,178,152,126,100,74,48,22,0,0,0,0,0,0,0],[758,0,12228682831808118324,0,2,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,0,17668648671831554585,0,0,0,3527,3313,3079,2851,2677,2441,2267,2053,1861,1627,1459,1277,1069,887,719,557,383,229,89,0,0,0,0,0,0,0],[231,0,14700003892182351336,0,2,0,491,465,439,413,387,361,335,309,283,257,231,205,179,153,127,101,75,49,23,0,0,0,0,0,0,0],[989,0,617966705453220923,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[7,0,937133531836548517,0,2,0,3529,3319,3083,2857,2683,2447,2269,2063,1867,1637,1471,1279,1087,907,727,563,389,233,97,0,0,0,0,0,0,0],[210,0,6742510167904083341,0,0,0,492,466,440,414,388,362,336,310,284,258,232,206,180,154,128,102,76,50,24,0,0,0,0,0,0,0],[199,0,17134635740230111340,0,2,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],[1669,0,9108680822373369787,0,0,0,3533,3323,3089,2861,2687,2459,2273,2069,1871,1657,1481,1283,1091,911,733,569,397,239,101,0,0,0,0,0,0,0],[5803,0,16550909764637899911,0,2,0,493,467,441,415,389,363,337,311,285,259,233,207,181,155,129,103,77,51,25,0,0,0,0,0,0,0],[1,0,7436712001148158693,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],[1669,0,256205314842203320,0,2,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],[7472,0,7976893166980171693,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,3294414182795338912,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,10629380326888464431,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,10965386824795285604,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,16580269766603961508,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,7081170191930415462,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,381307495885208396,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,11932338890327294610,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,7943922424945436927,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,1356209259737028615,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,9686499502336256849,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,14185401620502514371,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,14525350591386907402,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,16174966815064726157,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,4597294708103049064,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,8140299135400446575,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,13794753086841857347,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,2241041278393919561,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,8289219537838690270,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,823597923857216372,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,8103900730341474847,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,3901225314336218149,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,11961022605790926417,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,6016822306250094533,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,9139298751831861554,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,213400138394106660,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,6259406545409643520,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,14260021141567171556,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,4374816455822456400,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,13966210279958166634,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,1725313968750515219,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,8903494261937866510,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,10831885624052065615,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,9683929612847379814,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,14065908482739460769,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,5569978174269184675,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,8045969578281302085,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,9447216028941965124,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,11883785987246910104,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,4401962237608612124,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,1509999318285604330,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,5980292828683614171,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,17295352549468725573,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,5123326422423265999,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,15728015560999139260,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,4724187432461175180,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,14893952206814687238,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,316456214706582908,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,15342274545351413482,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,13919793037093762578,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,9645801232492508797,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,3563678755708640732,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,10094996241642241518,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,5393738275170507032,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,17493883008068174620,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,15756498557682406521,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]]} \ No newline at end of file +{"gates":["LookupGate:40","LookupTableGate:26","NoopGate","ConstantGate:2","PublicInputGate","ArithmeticGate:20","PoseidonGate:12"],"selector_vector":[5,5,6,4,0,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,2,3,3,3,3,3,2],"gate_selector_columns":[["5","5","4294967295","4","0","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","2","3","3","3","3","3","2"],["4294967295","4294967295","6","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295","4294967295"]],"lookup_selectors_columns":[["0","0","0","0","0","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","1","0","0","0","0","0","0","0"],["0","0","0","0","1","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","1","0","0","0","0","0","0"],["0","0","0","0","1","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","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"]],"constants_columns":[["1","1","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","2","4","6","8","0"],["1","1","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","3","5","7","9","0"]],"matrix":[["1","989","210","4601819047774343738","199","3539","3329","3109","2879","2689","2467","2281","2081","1873","1663","1483","1289","1093","919","739","571","401","241","103","2","0","0","2","4","6","8","0"],["210","1","199","9284424728117671267","45","494","468","442","416","390","364","338","312","286","260","234","208","182","156","130","104","78","52","26","0","0","1","3","5","7","9","0"],["199","262","1854","7409375103472159365","409","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","30","0","0","0","0","0","0","0"],["409","1251","11440","6569778897557037641","79","3541","3331","3119","2887","2693","2473","2287","2083","1877","1667","1487","1291","1097","929","743","577","409","251","107","3","0","0","0","0","0","0","0"],["199","8","0","0","619","495","469","443","417","391","365","339","313","287","261","235","209","183","157","131","105","79","53","27","1","0","0","0","0","0","0","0"],["1","210","0","0","113","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0"],["409","199","0","0","829","3547","3343","3121","2897","2699","2477","2293","2087","1879","1669","1489","1297","1103","937","751","587","419","257","109","5","0","0","0","0","0","0","0"],["608","1879","0","0","144","496","470","444","418","392","366","340","314","288","262","236","210","184","158","132","106","80","54","28","2","0","0","0","0","0","0","0"],["45","7472","0","0","1039","0","0","0","0","0","0","0","0","1","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["1","1","0","0","174","3557","3347","3137","2903","2707","2503","2297","2089","1889","1693","1493","1301","1109","941","757","593","421","263","113","7","0","0","0","0","0","0","0"],["79","1879","0","0","1249","497","471","445","419","393","367","341","315","289","263","237","211","185","159","133","107","81","55","29","3","0","0","0","0","0","0","0"],["124","9351","0","0","203","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["2","1251","4601819047774343738","0","1459","3559","3359","3163","2909","2711","2521","2309","2099","1901","1697","1499","1303","1117","947","761","599","431","269","127","11","0","0","0","0","0","0","0"],["210","1","9284424728117671267","0","231","498","472","446","420","394","368","342","316","290","264","238","212","186","160","134","108","82","56","30","4","0","0","0","0","0","0","0"],["199","288","7409375103472159365","0","1669","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"],["619","1539","6569778897557037641","0","262","3571","3361","3167","2917","2713","2531","2311","2111","1907","1699","1511","1307","1123","953","769","601","433","271","131","13","0","0","0","0","0","0","0"],["608","9","15085040408331506455","0","1879","499","473","447","421","395","369","343","317","291","265","239","213","187","161","135","109","83","57","31","5","0","0","0","0","0","0","0"],["1","210","488314491132798586","0","288","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"],["619","199","12393673842135220116","0","2089","3581","3371","3169","2927","2719","2539","2333","2113","1913","1709","1523","1319","1129","967","773","607","439","277","137","17","0","0","0","0","0","0","0"],["1227","2089","8452007975177855864","0","315","500","474","448","422","396","370","344","318","292","266","240","214","188","162","136","110","84","58","32","6","0","0","0","0","0","0","0"],["124","9351","5843066238768001775","0","2","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","1","5115094596305881316","0","0","3583","3373","3181","2939","2729","2543","2339","2129","1931","1721","1531","1321","1151","971","787","613","443","281","139","19","0","0","0","0","0","0","0"],["113","2089","17259066695168245272","0","2","501","475","449","423","397","371","345","319","293","267","241","215","189","163","137","111","85","59","33","7","0","0","0","0","0","0","0"],["237","11440","2129319673084535805","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"],["3","1539","0","0","2","3593","3389","3187","2953","2731","2549","2341","2131","1933","1723","1543","1327","1153","977","797","617","449","283","149","23","0","0","0","0","0","0","0"],["210","1","0","0","0","502","476","450","424","398","372","346","320","294","268","242","216","190","164","138","112","86","60","34","8","0","0","0","0","0","0","0"],["199","315","0","0","2","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"],["829","1854","0","0","0","3607","3391","3191","2957","2741","2551","2347","2137","1949","1733","1549","1361","1163","983","809","619","457","293","151","29","0","0","0","0","0","0","0"],["1227","0","0","0","2","503","477","451","425","399","373","347","321","295","269","243","217","191","165","139","113","87","61","35","9","0","0","0","0","0","0","0"],["1","0","7017893171499839300","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0"],["829","0","4882788163121742263","0","2","3613","3407","3203","2963","2749","2557","2351","2141","1951","1741","1553","1367","1171","991","811","631","461","307","157","31","0","0","0","0","0","0","0"],["2056","0","3175581835715052780","0","0","504","478","452","426","400","374","348","322","296","270","244","218","192","166","140","114","88","62","36","10","0","0","0","0","0","0","0"],["237","0","764950602060971381","0","2","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","0","3745727777326304997","0","0","3617","3413","3209","2969","2753","2579","2357","2143","1973","1747","1559","1373","1181","997","821","641","463","311","163","37","0","0","0","0","0","0","0"],["144","0","8759306495516641917","0","2","505","479","453","427","401","375","349","323","297","271","245","219","193","167","141","115","89","63","37","11","0","0","0","0","0","0","0"],["381","0","16556060616425992997","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"],["4","0","5965521344186175914","0","2","3623","3433","3217","2971","2767","2591","2371","2153","1979","1753","1567","1381","1187","1009","823","643","467","313","167","41","0","0","0","0","0","0","0"],["210","0","18130771000277997640","0","0","506","480","454","428","402","376","350","324","298","272","246","220","194","168","142","116","90","64","38","12","0","0","0","0","0","0","0"],["199","0","5255537183810498403","0","2","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"],["1039","0","18069823966254917028","0","0","3631","3449","3221","2999","2777","2593","2377","2161","1987","1759","1571","1399","1193","1013","827","647","479","317","173","43","0","0","0","0","0","0","0"],["2056","0","11320540435391092122","0","2","507","481","455","429","403","377","351","325","299","273","247","221","195","169","143","117","91","65","39","13","0","0","0","0","0","0","0"],["1","0","435027022659657235","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"],["1039","0","1286587503402635788","0","2","3637","3457","3229","3001","2789","2609","2381","2179","1993","1777","1579","1409","1201","1019","829","653","487","331","179","47","0","0","0","0","0","0","0"],["3095","0","15524264847597308788","0","0","508","482","456","430","404","378","352","326","300","274","248","222","196","170","144","118","92","66","40","14","0","0","0","0","0","0","0"],["381","0","8935636671393912016","0","2","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0"],["1","0","11222836627109380690","0","0","3643","3461","3251","3011","2791","2617","2383","2203","1997","1783","1583","1423","1213","1021","839","659","491","337","181","53","0","0","0","0","0","0","0"],["174","0","14519955749421469180","0","2","509","483","457","431","405","379","353","327","301","275","249","223","197","171","145","119","93","67","41","15","0","0","0","0","0","0","0"],["555","0","14486591658137165540","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"],["5","0","15404145468212953973","0","2","3659","3463","3253","3019","2797","2621","2389","2207","1999","1787","1597","1427","1217","1031","853","661","499","347","191","59","0","0","0","0","0","0","0"],["210","0","5542184845608815708","0","0","510","484","458","432","406","380","354","328","302","276","250","224","198","172","146","120","94","68","42","16","0","0","0","0","0","0","0"],["199","0","14238556892135957953","0","2","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"],["1249","0","14146330539371392548","0","0","3671","3467","3257","3023","2801","2633","2393","2213","2003","1789","1601","1429","1223","1033","857","673","503","349","193","61","0","0","0","0","0","0","0"],["3095","0","16009769555010349759","0","2","511","485","459","433","407","381","355","329","303","277","251","225","199","173","147","121","95","69","43","17","0","0","0","0","0","0","0"],["1","0","4898049631496635620","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"],["1249","0","13188841533758355881","0","2","0","3469","3259","3037","2803","2647","2399","2221","2011","1801","1607","1433","1229","1039","859","677","509","353","197","67","0","0","0","0","0","0","0"],["4344","0","3689658952003638619","0","0","0","486","460","434","408","382","356","330","304","278","252","226","200","174","148","122","96","70","44","18","0","0","0","0","0","0","0"],["555","0","18025930886644788188","0","2","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0"],["1","0","13751387306704431240","0","0","0","3491","3271","3041","2819","2657","2411","2237","2017","1811","1609","1439","1231","1049","863","683","521","359","199","71","0","0","0","0","0","0","0"],["203","0","1473141697614140899","0","2","0","487","461","435","409","383","357","331","305","279","253","227","201","175","149","123","97","71","45","19","0","0","0","0","0","0","0"],["758","0","12621333237011582102","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0"],["6","0","13485019156490265994","0","2","0","3499","3299","3049","2833","2659","2417","2239","2027","1823","1613","1447","1237","1051","877","691","523","367","211","73","0","0","0","0","0","0","0"],["210","0","1156517423643744853","0","0","0","488","462","436","410","384","358","332","306","280","254","228","202","176","150","124","98","72","46","20","0","0","0","0","0","0","0"],["199","0","181851254440633455","0","2","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"],["1459","0","17312089958954280922","0","0","0","3511","3301","3061","2837","2663","2423","2243","2029","1831","1619","1451","1249","1061","881","701","541","373","223","79","0","0","0","0","0","0","0"],["4344","0","1517008161052047105","0","2","0","489","463","437","411","385","359","333","307","281","255","229","203","177","151","125","99","73","47","21","0","0","0","0","0","0","0"],["1","0","9672468242681175863","0","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["1459","0","1343878938500108116","0","2","0","3517","3307","3067","2843","2671","2437","2251","2039","1847","1621","1453","1259","1063","883","709","547","379","227","83","0","0","0","0","0","0","0"],["5803","0","8584477622754537188","0","0","0","490","464","438","412","386","360","334","308","282","256","230","204","178","152","126","100","74","48","22","0","0","0","0","0","0","0"],["758","0","12228682831808118324","0","2","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","0","17668648671831554585","0","0","0","3527","3313","3079","2851","2677","2441","2267","2053","1861","1627","1459","1277","1069","887","719","557","383","229","89","0","0","0","0","0","0","0"],["231","0","14700003892182351336","0","2","0","491","465","439","413","387","361","335","309","283","257","231","205","179","153","127","101","75","49","23","0","0","0","0","0","0","0"],["989","0","617966705453220923","0","0","0","0","0","0","0","0","0","0","0","0","0","1","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["7","0","937133531836548517","0","2","0","3529","3319","3083","2857","2683","2447","2269","2063","1867","1637","1471","1279","1087","907","727","563","389","233","97","0","0","0","0","0","0","0"],["210","0","6742510167904083341","0","0","0","492","466","440","414","388","362","336","310","284","258","232","206","180","154","128","102","76","50","24","0","0","0","0","0","0","0"],["199","0","17134635740230111340","0","2","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"],["1669","0","9108680822373369787","0","0","0","3533","3323","3089","2861","2687","2459","2273","2069","1871","1657","1481","1283","1091","911","733","569","397","239","101","0","0","0","0","0","0","0"],["5803","0","16550909764637899911","0","2","0","493","467","441","415","389","363","337","311","285","259","233","207","181","155","129","103","77","51","25","0","0","0","0","0","0","0"],["1","0","7436712001148158693","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"],["1669","0","256205314842203320","0","2","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"],["7472","0","7976893166980171693","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","3294414182795338912","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","10629380326888464431","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","10965386824795285604","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","16580269766603961508","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","7081170191930415462","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","381307495885208396","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","11932338890327294610","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","7943922424945436927","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","1356209259737028615","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","9686499502336256849","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","14185401620502514371","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","14525350591386907402","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","16174966815064726157","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","4597294708103049064","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","8140299135400446575","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","13794753086841857347","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","2241041278393919561","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","8289219537838690270","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","823597923857216372","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","8103900730341474847","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","3901225314336218149","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","11961022605790926417","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","6016822306250094533","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","9139298751831861554","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","213400138394106660","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","6259406545409643520","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","14260021141567171556","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","4374816455822456400","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","13966210279958166634","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","1725313968750515219","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","8903494261937866510","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","10831885624052065615","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","9683929612847379814","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","14065908482739460769","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","5569978174269184675","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","8045969578281302085","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","9447216028941965124","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","11883785987246910104","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","4401962237608612124","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","1509999318285604330","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","5980292828683614171","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","17295352549468725573","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","5123326422423265999","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","15728015560999139260","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","4724187432461175180","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","14893952206814687238","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","316456214706582908","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","15342274545351413482","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","13919793037093762578","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","9645801232492508797","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","3563678755708640732","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","10094996241642241518","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","5393738275170507032","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","17493883008068174620","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","15756498557682406521","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"]]} \ No newline at end of file diff --git a/tooling/web/witness_view.js b/tooling/web/witness_view.js index c6abe0e9..d23c2934 100644 --- a/tooling/web/witness_view.js +++ b/tooling/web/witness_view.js @@ -251,6 +251,21 @@ function cell_hover(row,column) { el_gate.style.background = gate_colors[sel]; } +// parseInt behaves like seriously WTF here... +function myParseInt(what) { + if (typeof what == "string") { + return parseInt(what); + } + else { + return what; + } +} + +// from String to BigInt +function convertMatrix(matrix) { + return matrix.map( (vector) => vector.map(BigInt) ); +} + function initialize_from_witness(fname,json) { //console.log(json); @@ -259,8 +274,8 @@ function initialize_from_witness(fname,json) { // these are global variables! gates = json.gates; - matrix = json.matrix; - selectors = json.selector_vector; + matrix = convertMatrix(json.matrix); + selectors = json.selector_vector.map(myParseInt); ngates = gates.length; nrows = selectors.length; ncolumns = matrix.length