plonky2/tooling/web/json/lookup_witness.json

{"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],"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,21