{"id":"399.77.3.a","row":1017,"stored":{"file":"master_catalog.json","row":1017,"construction":null,"columns_sha256":null},"parameters":{"n":399,"k":77,"d":3,"N":98,"r":21,"level":3},"gate":{"string":"0+1+2+3+4+5+6+7+8+9+10+11+12+13+14+15+16+17+18+19+20+21+22+23+24+25+26+27+28+29+30+31+32+33+34+35+36+37+38+39+40+41+42+43+44+45+46+47+48+49+50+51+52+53+54+55+56+57+58+59+60+61+62+63+64+65+66+67+68+69+70+71+72+73+74+75+76","human":"T0\u00b7T1\u00b7T2\u00b7T3\u00b7T4\u00b7T5\u00b7T6\u00b7T7\u00b7T8\u00b7T9\u00b7T10\u00b7T11\u00b7T12\u00b7T13\u00b7T14\u00b7T15\u00b7T16\u00b7T17\u00b7T18\u00b7T19\u00b7T20\u00b7T21\u00b7T22\u00b7T23\u00b7T24\u00b7T25\u00b7T26\u00b7T27\u00b7T28\u00b7T29\u00b7T30\u00b7T31\u00b7T32\u00b7T33\u00b7T34\u00b7T35\u00b7T36\u00b7T37\u00b7T38\u00b7T39\u00b7T40\u00b7T41\u00b7T42\u00b7T43\u00b7T44\u00b7T45\u00b7T46\u00b7T47\u00b7T48\u00b7T49\u00b7T50\u00b7T51\u00b7T52\u00b7T53\u00b7T54\u00b7T55\u00b7T56\u00b7T57\u00b7T58\u00b7T59\u00b7T60\u00b7T61\u00b7T62\u00b7T63\u00b7T64\u00b7T65\u00b7T66\u00b7T67\u00b7T68\u00b7T69\u00b7T70\u00b7T71\u00b7T72\u00b7T73\u00b7T74\u00b7T75\u00b7T76","monomials":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12],[13],[14],[15],[16],[17],[18],[19],[20],[21],[22],[23],[24],[25],[26],[27],[28],[29],[30],[31],[32],[33],[34],[35],[36],[37],[38],[39],[40],[41],[42],[43],[44],[45],[46],[47],[48],[49],[50],[51],[52],[53],[54],[55],[56],[57],[58],[59],[60],[61],[62],[63],[64],[65],[66],[67],[68],[69],[70],[71],[72],[73],[74],[75],[76]],"sk_key":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12],[13],[14],[15],[16],[17],[18],[19],[20],[21],[22],[23],[24],[25],[26],[27],[28],[29],[30],[31],[32],[33],[34],[35],[36],[37],[38],[39],[40],[41],[42],[43],[44],[45],[46],[47],[48],[49],[50],[51],[52],[53],[54],[55],[56],[57],[58],[59],[60],[61],[62],[63],[64],[65],[66],[67],[68],[69],[70],[71],[72],[73],[74],[75],[76]],"sk_fingerprint":"255a86833e801914","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,1,2,4,5,6,8,9,10,80,81,82],[0,1,2,4,5,6,8,77,78,81,82],[0,1,2,4,5,8,10,78,79,81,82],[0,1,2,4,5,77,78,79,81],[0,1,2,4,7,8,10,79,80,82],[0,1,2,7,9,78,81],[0,1,3,4,5,6,7,8,10,77,80,82],[0,1,3,4,6,7,8,78,79,80,81],[0,1,4,5,6,8,9,77,79,80],[0,1,4,5,7,9,10,77,78,79],[0,1,4,5,8,77,78,80,81],[0,1,5,9,10,78,80,81,82],[0,1,7,9,10,77,78,79,80,81,82],[0,1,9,77,79,82],[0,2,4,5,6,7,8,79,81,82],[0,2,4,6,7,77,78,79,80],[0,2,4,6,7,77,78,80,82],[0,2,5,6,7,79,80,81],[0,2,5,7,8,9,10,77,79],[0,2,6,7,10,77,78,79,82],[0,3,5,6,7,8,10,77,79,80,81,82],[0,3,6,7,8,78,80],[0,4,6,7,8,9,10,77,79,81],[0,4,7,9,10,77,81,82],[0,4,7,78,79,80,82],[0,7,10,78,82],[0,8,9,77,80,81],[1,2,4,5,7,9,10,77,79,81,82],[1,2,4,5,7,9,10,77,81],[1,2,4,5,9,78,80,82],[1,2,4,7,8,78,79,80],[1,2,5,7,8,9,10,78,79,82],[1,2,5,7,8,77,79,80,81],[1,2,6,7,9,77,80,81,82],[1,3,4,5,10,77,78,82],[1,3,4,79,81],[1,5,6,7,8,77,78,79,80,82],[1,6,7,8,10,79,80,81,82],[1,6,7,77,78,80],[1,80,82],[2,4,5,6,8,9,10,78,79,81],[2,4,5,6,8,9,10,78,80,81],[2,4,5,7,8,9,10,79,82],[2,5,6,7,9,77,82],[2,5,7,8,9,77,78],[2,6,7,9,10,78,79,80,81,82],[2,6,9,78,81,82],[3,5,10,77,78,79,81,82],[4,5,7,8,9,77,80],[4,5,10,77,78,81],[5,9,10,77,78,79,80,81],[10,77,78,80,81,82],[10,77,79,80,82],[10,78,79],[10,79,80],[10,80,81],[10,81,82],[11,12,13,15,16,17,19,20,21,85,86,87],[1,4,5,7,9,11,13,17,18,19,20,77,83,86,87],[11,12,13,15,16,19,21,83,84,86,87],[1,4,5,7,9,11,13,18,20,77,83,84,86],[11,12,13,15,18,19,21,84,85,87],[11,12,13,18,20,83,86],[1,4,5,7,9,11,14,17,19,20,21,77,85,87],[11,12,14,15,17,18,19,83,84,85,86],[1,4,5,7,9,11,17,18,19,77,84,85],[1,4,5,7,9,11,21,77,83,84],[1,4,5,7,9,11,18,19,20,77,83,85,86],[11,12,16,20,21,83,85,86,87],[1,4,5,7,9,11,15,16,21,77,83,84,85,86,87],[1,4,5,7,9,11,15,16,18,77,84,87],[11,13,15,16,17,18,19,84,86,87],[1,4,5,7,9,11,12,13,16,17,20,77,83,84,85],[1,4,5,7,9,11,12,13,16,17,20,77,83,85,87],[11,13,16,17,18,84,85,86],[1,4,5,7,9,11,12,13,15,19,21,77,84],[1,4,5,7,9,11,12,13,15,16,17,20,21,77,83,84,87],[1,4,5,7,9,11,12,14,15,17,19,20,21,77,84,85,86,87],[11,14,17,18,19,83,85],[1,4,5,7,9,11,12,16,17,19,21,77,84,86],[1,4,5,7,9,11,12,16,21,77,86,87],[11,15,18,83,84,85,87],[11,18,21,83,87],[1,4,5,7,9,11,12,15,16,18,19,77,85,86],[1,4,5,7,9,13,21,77,84,86,87],[1,4,5,7,9,13,21,77,86],[12,13,15,16,20,83,85,87],[12,13,15,18,19,83,84,85],[12,13,16,18,19,20,21,83,84,87],[1,4,5,7,9,13,15,19,20,77,84,85,86],[1,4,5,7,9,13,15,16,17,77,85,86,87],[1,4,5,7,9,14,18,20,21,77,83,87],[12,14,15,84,86],[1,4,5,7,9,15,17,19,20,77,83,84,85,87],[12,17,18,19,21,84,85,86,87],[1,4,5,7,9,15,16,17,20,77,83,85],[12,85,87],[13,15,16,17,19,20,21,83,84,86],[13,15,16,17,19,20,21,83,85,86],[13,15,16,18,19,20,21,84,87],[1,4,5,7,9,12,13,15,17,77,87],[1,4,5,7,9,12,13,15,19,77,83],[13,17,18,20,21,83,84,85,86,87],[13,17,20,83,86,87],[1,4,5,7,9,12,14,15,18,20,21,77,83,84,86,87],[1,4,5,7,9,12,19,77,85],[1,4,5,7,9,12,18,20,21,77,83,86],[1,4,5,7,9,12,15,18,21,77,83,84,85,86],[1,4,5,7,9,12,15,16,18,20,21,77,83,85,86,87],[1,4,5,7,9,12,15,16,18,20,21,77,84,85,87],[21,83,84],[21,84,85],[21,85,86],[21,86,87],[22,23,24,26,27,28,30,31,32,89,90,91],[0,1,2,4,8,11,12,13,15,19,23,26,28,29,31,78,83,90,91],[11,12,13,15,19,27,32,83,88,90,91],[0,1,2,4,8,11,12,13,15,19,23,26,29,30,31,78,83,88,90],[22,23,24,26,29,30,32,88,89,91],[11,12,13,15,19,26,29,30,31,83,90],[0,1,2,4,8,22,25,28,30,31,32,78,89,91],[11,12,13,15,19,24,25,28,29,83,88,89,90],[0,1,2,4,8,22,28,29,30,78,88,89],[0,1,2,4,8,11,12,13,15,19,23,24,26,30,32,78,83,88],[0,1,2,4,8,11,12,13,15,19,23,24,26,29,31,78,83,89,90],[11,12,13,15,19,24,26,27,30,31,32,83,89,90,91],[0,1,2,4,8,11,12,13,15,19,23,24,27,30,32,78,83,88,89,90,91],[0,1,2,4,8,22,26,27,29,78,88,91],[22,24,26,27,28,29,30,88,90,91],[0,1,2,4,8,11,12,13,15,19,26,27,28,30,31,78,83,88,89],[0,1,2,4,8,11,12,13,15,19,26,27,28,30,31,78,83,89,91],[22,24,27,28,29,88,89,90],[0,1,2,4,8,22,23,24,26,30,32,78,88],[0,1,2,4,8,11,12,13,15,19,27,28,30,31,32,78,83,88,91],[0,1,2,4,8,22,23,25,26,28,30,31,32,78,88,89,90,91],[11,12,13,15,19,23,24,25,26,28,29,83,89],[0,1,2,4,8,22,23,27,28,30,32,78,88,90],[0,1,2,4,8,22,23,27,32,78,90,91],[11,12,13,15,19,23,24,29,30,83,88,89,91],[11,12,13,15,19,23,24,26,29,30,32,83,91],[0,1,2,4,8,22,23,26,27,29,30,78,89,90],[0,1,2,4,8,24,32,78,88,90,91],[0,1,2,4,8,24,32,78,90],[11,12,13,15,19,22,27,30,31,83,89,91],[11,12,13,15,19,22,29,83,88,89],[11,12,13,15,19,22,26,27,29,31,32,83,88,91],[0,1,2,4,8,24,26,30,31,78,88,89,90],[0,1,2,4,8,24,26,27,28,78,89,90,91],[0,1,2,4,8,11,12,13,15,19,22,23,24,25,26,29,30,31,32,78,83,91],[23,25,26,88,90],[0,1,2,4,8,11,12,13,15,19,22,23,24,28,31,78,83,88,89,91],[23,28,29,30,32,88,89,90,91],[0,1,2,4,8,11,12,13,15,19,22,23,24,27,28,30,31,78,83,89],[23,89,91],[11,12,13,15,19,22,23,27,28,31,32,83,88,90],[11,12,13,15,19,22,23,27,28,31,32,83,89,90],[24,26,27,29,30,31,32,88,91],[0,1,2,4,8,23,24,26,28,78,91],[0,1,2,4,8,11,12,13,15,19,22,78,83],[11,12,13,15,19,22,23,26,28,29,30,31,32,83,88,89,90,91],[11,12,13,15,19,22,23,26,28,30,31,83,90,91],[0,1,2,4,8,11,12,13,15,19,22,24,25,29,30,31,32,78,83,88,90,91],[0,1,2,4,8,23,30,78,89],[0,1,2,4,8,11,12,13,15,19,22,24,26,29,30,31,32,78,83,90],[0,1,2,4,8,11,12,13,15,19,22,24,29,30,32,78,83,88,89,90],[0,1,2,4,8,11,12,13,15,19,22,24,27,29,30,31,32,78,83,89,90,91],[0,1,2,4,8,23,26,27,29,31,32,78,88,89,91],[11,12,13,15,19,22,23,24,26,30,32,83,88],[32,88,89],[32,89,90],[32,90,91],[33,34,35,37,38,39,41,42,43,92,93,94],[1,2,4,8,10,12,13,15,19,21,34,37,39,40,42,79,84,93,94],[12,13,15,19,21,23,24,26,30,32,34,35,37,38,41,84,88,93,94],[1,2,4,8,10,12,13,15,19,21,23,24,26,30,32,35,40,42,43,79,84,88,93],[23,24,26,30,32,33,40,88,92,94],[12,13,15,19,21,37,40,41,42,84,93],[1,2,4,8,10,33,36,39,41,42,43,79,92,94],[12,13,15,19,21,23,24,26,30,32,34,36,37,39,40,41,43,84,88,92,93],[1,2,4,8,10,23,24,26,30,32,33,34,35,37,39,40,43,79,88,92],[1,2,4,8,10,12,13,15,19,21,23,24,26,30,32,79,84,88],[1,2,4,8,10,12,13,15,19,21,34,35,37,40,42,79,84,92,93],[12,13,15,19,21,35,37,38,41,42,43,84,92,93,94],[1,2,4,8,10,12,13,15,19,21,23,24,26,30,32,37,38,79,84,88,92,93,94],[1,2,4,8,10,23,24,26,30,32,33,34,35,38,40,41,43,79,88,94],[23,24,26,30,32,33,34,38,39,40,43,88,93,94],[1,2,4,8,10,12,13,15,19,21,23,24,26,30,32,34,35,38,39,42,43,79,84,88,92],[1,2,4,8,10,12,13,15,19,21,37,38,39,41,42,79,84,92,94],[23,24,26,30,32,33,34,37,38,39,40,41,43,88,92,93],[1,2,4,8,10,23,24,26,30,32,33,79,88],[1,2,4,8,10,12,13,15,19,21,23,24,26,30,32,34,35,37,38,39,42,79,84,88,94],[1,2,4,8,10,23,24,26,30,32,33,35,36,39,42,79,88,92,93,94],[12,13,15,19,21,34,35,36,37,39,40,84,92],[1,2,4,8,10,23,24,26,30,32,33,35,37,38,39,79,88,93],[1,2,4,8,10,33,34,38,43,79,93,94],[12,13,15,19,21,23,24,26,30,32,37,40,43,84,88,92,94],[12,13,15,19,21,34,35,37,40,41,43,84,94],[1,2,4,8,10,33,34,37,38,40,41,79,92,93],[1,2,4,8,10,23,24,26,30,32,34,37,41,79,88,93,94],[1,2,4,8,10,35,43,79,93],[12,13,15,19,21,33,38,41,42,84,92,94],[12,13,15,19,21,23,24,26,30,32,33,34,35,37,40,41,43,84,88,92],[12,13,15,19,21,23,24,26,30,32,33,34,35,38,40,41,42,84,88,94],[1,2,4,8,10,23,24,26,30,32,34,42,43,79,88,92,93],[1,2,4,8,10,35,37,38,39,79,92,93,94],[1,2,4,8,10,12,13,15,19,21,33,34,35,36,37,40,41,42,43,79,84,94],[23,24,26,30,32,35,36,41,43,88,93],[1,2,4,8,10,12,13,15,19,21,23,24,26,30,32,33,37,39,41,42,43,79,84,88,92,94],[23,24,26,30,32,35,37,39,40,88,92,93,94],[1,2,4,8,10,12,13,15,19,21,33,34,35,38,39,41,42,79,84,92],[34,92,94],[12,13,15,19,21,23,24,26,30,32,33,35,37,38,39,41,42,84,88,93],[12,13,15,19,21,33,34,38,39,42,43,84,92,93],[23,24,26,30,32,34,38,40,42,88,94],[1,2,4,8,10,34,35,37,39,79,94],[1,2,4,8,10,12,13,15,19,21,33,79,84],[12,13,15,19,21,23,24,26,30,32,33,35,39,40,42,84,88,92,93,94],[12,13,15,19,21,33,34,37,39,41,42,84,93,94],[1,2,4,8,10,12,13,15,19,21,23,24,26,30,32,33,34,36,37,40,42,79,84,88,93,94],[1,2,4,8,10,34,41,79,92],[1,2,4,8,10,12,13,15,19,21,33,35,37,40,41,42,43,79,84,93],[1,2,4,8,10,12,13,15,19,21,23,24,26,30,32,33,34,37,40,79,84,88,92,93],[1,2,4,8,10,12,13,15,19,21,33,35,38,40,41,42,43,79,84,92,93,94],[1,2,4,8,10,23,24,26,30,32,35,38,40,41,42,79,88,92,94],[12,13,15,19,21,23,24,26,30,32,33,84,88],[23,24,26,30,32,34,35,37,41,88,92],[43,92,93],[43,93,94],[33,35,37,38,39,41,42,45,54,92,95,96],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,45,48,50,51,53,80,85,95,96],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,45,46,48,49,52,85,89,95,96],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,46,51,53,54,80,85,89,95],[22,24,26,27,28,30,31,33,35,37,38,39,41,42,46,48,49,50,51,52,53,89,92,96],[11,13,15,16,17,19,20,48,51,52,53,85,95],[0,2,4,5,6,8,9,33,35,37,38,39,41,42,46,47,48,49,54,80,92,96],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,45,46,47,49,51,53,54,85,89,92,95],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,33,35,37,38,39,41,42,45,49,51,52,53,54,80,89,92],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,80,85,89],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,33,35,37,38,39,41,42,44,45,49,50,51,52,80,85,92,95],[11,13,15,16,17,19,20,33,35,37,38,39,41,42,44,50,54,85,92,95,96],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,50,52,53,80,85,89,92,95,96],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,44,45,46,49,51,52,54,80,89,96],[22,24,26,27,28,30,31,44,45,49,50,51,54,89,95,96],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,45,48,52,54,80,85,89,92],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,33,35,37,38,39,41,42,44,46,80,85,92,96],[22,24,26,27,28,30,31,33,35,37,38,39,41,42,45,46,51,53,54,89,92,95],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,44,80,89],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,45,46,48,49,50,53,80,85,89,96],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,33,35,37,38,39,41,42,47,48,49,52,80,89,92,95,96],[11,13,15,16,17,19,20,33,35,37,38,39,41,42,44,45,47,49,51,52,53,85,92],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,44,46,48,49,50,80,89,95],[0,2,4,5,6,8,9,44,45,49,54,80,95,96],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,49,50,51,52,53,54,85,89,92,96],[11,13,15,16,17,19,20,45,46,48,51,52,54,85,96],[0,2,4,5,6,8,9,33,35,37,38,39,41,42,45,46,50,51,53,80,92,95],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,45,48,52,80,89,95,96],[0,2,4,5,6,8,9,46,54,80,95],[11,13,15,16,17,19,20,33,35,37,38,39,41,42,46,48,50,85,92,96],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,45,49,50,51,53,54,85,89,92],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,44,45,46,49,51,52,53,85,89,96],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,45,46,48,49,50,52,54,80,89,92,95],[0,2,4,5,6,8,9,33,35,37,38,39,41,42,44,52,53,80,92,95,96],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,44,45,46,47,48,51,52,53,54,80,85,96],[22,24,26,27,28,30,31,46,47,52,54,89,95],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,46,49,54,80,85,89,92,96],[22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,49,51,52,53,89,92,95,96],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,33,35,37,38,39,41,42,45,48,80,85,92],[33,35,37,38,39,41,42,44,45,46,48,49,50,52,53,92,96],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,44,46,48,49,50,52,53,85,89,95],[11,13,15,16,17,19,20,33,35,37,38,39,41,42,45,46,48,52,54,85,92,95],[22,24,26,27,28,30,31,45,49,51,53,89,96],[0,2,4,5,6,8,9,45,46,48,50,80,96],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,44,80,85],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,48,49,51,52,85,89,92,95,96],[11,13,15,16,17,19,20,44,45,48,50,52,53,85,95,96],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,44,45,47,48,51,53,80,85,89,95,96],[0,2,4,5,6,8,9,33,35,37,38,39,41,42,44,45,46,48,49,50,53,80,92],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,44,46,48,51,52,53,54,80,85,95],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,45,46,49,50,51,52,53,80,85,89,92,95],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,33,35,37,38,39,41,42,48,50,51,54,80,85,92,95,96],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,48,50,51,80,89,92,96],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,44,85,89],[22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,45,49,50,53,89,92],[33,35,37,38,39,41,42,44,46,48,49,50,52,53,54,92,95],[54,95,96],[33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,55,57,59,60,61,63,64,93,95,97],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,44,45,46,48,49,50,52,53,54,55,57,60,62,63,65,81,86,95,97],[11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,44,45,46,48,49,50,52,53,54,55,61,64,65,86,90,95,97],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,44,45,46,48,49,50,52,53,54,55,56,59,60,61,62,63,81,86,90,95],[22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,57,59,60,61,62,63,64,90,93,97],[11,12,13,15,16,17,19,20,21,44,45,46,48,49,50,52,53,54,55,56,57,60,61,62,65,86,95],[0,1,2,4,5,6,8,9,10,33,34,35,37,38,39,41,42,43,57,58,59,60,65,81,93,97],[11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,58,59,61,62,63,86,90,93,95],[0,1,2,4,5,6,8,9,10,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,56,60,62,63,64,65,81,90,93],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,81,86,90],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,57,59,62,64,65,81,86,93,95],[11,12,13,15,16,17,19,20,21,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,56,57,59,60,63,64,86,93,95,97],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,56,59,60,65,81,86,90,93,95,97],[0,1,2,4,5,6,8,9,10,22,23,24,26,27,28,30,31,32,55,56,57,60,62,63,65,81,90,97],[22,23,24,26,27,28,30,31,32,44,45,46,48,49,50,52,53,54,57,59,62,63,64,90,95,97],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,55,56,59,63,65,81,86,90,93],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,33,34,35,37,38,39,41,42,43,55,57,81,86,93,97],[22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,55,59,60,61,62,63,90,93,95],[0,1,2,4,5,6,8,9,10,22,23,24,26,27,28,30,31,32,55,81,90],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,56,57,59,60,61,64,81,86,90,97],[0,1,2,4,5,6,8,9,10,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,55,56,57,58,61,64,65,81,90,93,95,97],[11,12,13,15,16,17,19,20,21,33,34,35,37,38,39,41,42,43,55,56,58,60,62,63,64,86,93],[0,1,2,4,5,6,8,9,10,22,23,24,26,27,28,30,31,32,44,45,46,48,49,50,52,53,54,56,63,64,65,81,90,95],[0,1,2,4,5,6,8,9,10,44,45,46,48,49,50,52,53,54,57,59,61,63,64,81,95,97],[11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,55,57,60,61,62,63,64,65,86,90,93,97],[11,12,13,15,16,17,19,20,21,56,57,59,62,63,65,86,97],[0,1,2,4,5,6,8,9,10,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,55,59,60,62,63,65,81,93,95],[0,1,2,4,5,6,8,9,10,22,23,24,26,27,28,30,31,32,44,45,46,48,49,50,52,53,54,55,57,60,61,64,65,81,90,95,97],[0,1,2,4,5,6,8,9,10,44,45,46,48,49,50,52,53,54,55,56,59,60,61,63,64,81,95],[11,12,13,15,16,17,19,20,21,33,34,35,37,38,39,41,42,43,57,59,61,86,93,97],[11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,56,60,61,62,64,65,86,90,93],[11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,55,56,57,60,62,63,64,86,90,97],[0,1,2,4,5,6,8,9,10,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,64,81,90,93,95],[0,1,2,4,5,6,8,9,10,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,56,57,59,60,61,65,81,93,95,97],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,55,56,57,58,59,62,63,64,65,81,86,97],[22,23,24,26,27,28,30,31,32,44,45,46,48,49,50,52,53,54,55,56,58,59,60,61,64,90,95],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,57,60,65,81,86,90,93,97],[22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,56,57,59,61,62,65,90,93,95,97],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,33,34,35,37,38,39,41,42,43,56,59,81,86,93],[33,34,35,37,38,39,41,42,43,55,56,57,59,60,61,63,64,93,97],[11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,44,45,46,48,49,50,52,53,54,56,65,86,90,95],[11,12,13,15,16,17,19,20,21,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,55,60,61,64,86,93,95],[22,23,24,26,27,28,30,31,32,56,60,62,64,90,97],[0,1,2,4,5,6,8,9,10,56,57,59,61,81,97],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,55,81,86],[11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,55,56,57,61,62,64,65,86,90,93,95,97],[11,12,13,15,16,17,19,20,21,44,45,46,48,49,50,52,53,54,57,60,65,86,95,97],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,44,45,46,48,49,50,52,53,54,57,58,60,61,62,63,65,81,86,90,95,97],[0,1,2,4,5,6,8,9,10,33,34,35,37,38,39,41,42,43,55,56,57,59,60,61,64,81,93],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,44,45,46,48,49,50,52,53,54,56,60,61,62,81,86,95],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,55,59,62,65,81,86,90,93,95],[0,1,2,4,5,6,8,9,10,11,12,13,15,16,17,19,20,21,33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,55,56,57,60,62,63,64,81,86,93,95,97],[0,1,2,4,5,6,8,9,10,22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,55,59,61,62,81,90,93,97],[11,12,13,15,16,17,19,20,21,22,23,24,26,27,28,30,31,32,55,86,90],[22,23,24,26,27,28,30,31,32,33,34,35,37,38,39,41,42,43,55,56,60,61,64,90,93],[33,34,35,37,38,39,41,42,43,44,45,46,48,49,50,52,53,54,56,93,95],[44,45,46,48,49,50,52,53,54,55,56,57,59,60,61,63,64,95,97],[33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,94,96,97],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,44,46,48,49,50,52,53,55,57,59,60,61,63,64,70,72,73,75,76,82,87,96,97],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,44,46,48,49,50,52,53,55,57,59,60,61,63,64,68,70,71,74,76,87,91,96,97],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,44,46,48,49,50,52,53,66,67,70,71,72,73,74,82,87,91,96],[22,24,26,27,28,30,31,33,35,37,38,39,41,42,55,57,59,60,61,63,64,66,73,91,94,97],[11,13,15,16,17,19,20,44,46,48,49,50,52,53,66,67,68,71,72,73,76,87,96],[0,2,4,5,6,8,9,33,35,37,38,39,41,42,55,57,59,60,61,63,64,66,69,72,74,75,76,82,94,97],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,69,70,72,73,74,87,91,94,96],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,33,35,37,38,39,41,42,67,71,73,74,75,76,82,91,94],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,82,87,91],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,33,35,37,38,39,41,42,44,46,48,49,50,52,53,68,70,73,75,76,82,87,94,96],[11,13,15,16,17,19,20,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,66,67,72,87,94,96,97],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,66,67,68,72,74,75,76,82,87,91,94,96,97],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,55,57,59,60,61,63,64,67,70,72,73,75,76,82,91,97],[22,24,26,27,28,30,31,44,46,48,49,50,52,53,55,57,59,60,61,63,64,66,71,72,73,91,96,97],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,66,67,70,74,76,82,87,91,94],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,33,35,37,38,39,41,42,55,57,59,60,61,63,64,70,71,72,74,75,82,87,94,97],[22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,66,70,71,72,73,74,91,94,96],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,66,82,91],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,55,57,59,60,61,63,64,66,67,74,82,87,91,97],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,67,69,70,71,74,76,82,91,94,96,97],[11,13,15,16,17,19,20,33,35,37,38,39,41,42,66,67,69,71,73,74,75,87,94],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,44,46,48,49,50,52,53,67,74,75,76,82,91,96],[0,2,4,5,6,8,9,44,46,48,49,50,52,53,55,57,59,60,61,63,64,66,71,82,96,97],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,55,57,59,60,61,63,64,70,73,76,87,91,94,97],[11,13,15,16,17,19,20,55,57,59,60,61,63,64,66,67,71,72,73,75,76,87,97],[0,2,4,5,6,8,9,33,35,37,38,39,41,42,44,46,48,49,50,52,53,66,70,71,73,74,76,82,94,96],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,44,46,48,49,50,52,53,55,57,59,60,61,63,64,70,74,76,82,91,96,97],[0,2,4,5,6,8,9,44,46,48,49,50,52,53,66,67,70,71,72,74,75,82,96],[11,13,15,16,17,19,20,33,35,37,38,39,41,42,55,57,59,60,61,63,64,66,71,74,75,87,94,97],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,67,71,72,73,75,76,87,91,94],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,55,57,59,60,61,63,64,67,70,72,73,87,91,97],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,75,82,91,94,96],[0,2,4,5,6,8,9,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,66,67,74,75,76,82,94,96,97],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,55,57,59,60,61,63,64,67,69,71,72,73,76,82,87,97],[22,24,26,27,28,30,31,44,46,48,49,50,52,53,66,67,69,70,71,72,75,91,96],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,55,57,59,60,61,63,64,66,70,72,74,75,76,82,87,91,94,97],[22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,66,67,71,73,74,75,76,91,94,96,97],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,33,35,37,38,39,41,42,67,70,82,87,94],[33,35,37,38,39,41,42,55,57,59,60,61,63,64,67,94,97],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,44,46,48,49,50,52,53,67,76,87,91,96],[11,13,15,16,17,19,20,33,35,37,38,39,41,42,44,46,48,49,50,52,53,66,71,72,75,87,94,96],[22,24,26,27,28,30,31,55,57,59,60,61,63,64,66,67,68,70,72,73,74,91,97],[0,2,4,5,6,8,9,55,57,59,60,61,63,64,66,67,71,74,75,82,97],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,66,82,87],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,67,70,71,73,74,76,87,91,94,96,97],[11,13,15,16,17,19,20,44,46,48,49,50,52,53,55,57,59,60,61,63,64,66,70,72,74,75,76,87,96,97],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,44,46,48,49,50,52,53,55,57,59,60,61,63,64,66,69,70,73,75,76,82,87,91,96,97],[0,2,4,5,6,8,9,33,35,37,38,39,41,42,66,67,68,70,71,72,75,82,94],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,44,46,48,49,50,52,53,67,71,72,73,82,87,96],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,22,24,26,27,28,30,31,33,35,37,38,39,41,42,44,46,48,49,50,52,53,66,70,73,76,82,87,91,94,96],[0,2,4,5,6,8,9,11,13,15,16,17,19,20,33,35,37,38,39,41,42,44,46,48,49,50,52,53,55,57,59,60,61,63,64,67,70,72,73,82,87,94,96,97],[0,2,4,5,6,8,9,22,24,26,27,28,30,31,33,35,37,38,39,41,42,55,57,59,60,61,63,64,68,71,73,74,75,82,91,94,97],[11,13,15,16,17,19,20,22,24,26,27,28,30,31,66,87,91],[22,24,26,27,28,30,31,33,35,37,38,39,41,42,66,67,71,72,75,91,94],[33,35,37,38,39,41,42,44,46,48,49,50,52,53,67,94,96],[44,46,48,49,50,52,53,55,57,59,60,61,63,64,67,96,97]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,1,38],"A_d":3395,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,1],[1,1],[2,2],[3,1],[4,2],[6,3],[7,1],[8,3],[9,2],[10,2],[11,1],[13,2],[14,1],[15,1],[16,3],[17,3],[19,3],[20,1],[21,2],[23,3],[24,1],[25,1],[27,3],[28,3],[30,2],[31,1],[32,2],[34,2],[36,1],[37,3],[38,3],[39,3],[41,1],[42,1],[43,1],[44,3],[45,2],[46,3],[47,1],[50,2],[54,1],[55,2],[56,1],[57,2],[58,1],[59,3],[60,1],[61,3],[63,1],[64,3],[66,1],[67,1],[68,1],[69,1],[77,1],[78,1],[79,1],[80,1],[81,1],[82,1],[83,1],[84,1],[85,1],[86,1],[87,1],[88,1],[89,1],[90,1],[91,1],[92,1],[93,1],[94,1],[95,1],[96,1],[97,1]],"CZ":[[0,5],[0,6],[0,7],[0,8],[0,78],[0,80],[0,81],[0,82],[1,2],[1,5],[1,7],[1,8],[1,9],[1,10],[1,77],[1,78],[1,79],[1,81],[2,4],[2,5],[2,6],[2,7],[2,10],[2,78],[2,79],[2,80],[2,81],[2,82],[4,5],[4,7],[4,8],[4,77],[4,78],[4,79],[4,81],[5,7],[5,8],[5,77],[5,82],[6,8],[6,9],[6,80],[7,9],[7,77],[7,80],[7,81],[7,82],[8,10],[8,78],[8,79],[8,80],[8,82],[9,10],[9,77],[9,80],[9,81],[10,79],[10,80],[10,81],[11,16],[11,17],[11,18],[11,19],[11,83],[11,85],[11,86],[11,87],[12,13],[12,15],[12,19],[12,21],[12,83],[12,84],[12,86],[13,15],[13,16],[13,17],[13,18],[13,21],[13,83],[13,84],[13,85],[13,86],[13,87],[15,19],[15,20],[15,83],[15,84],[15,86],[16,19],[16,20],[16,87],[17,19],[17,20],[17,85],[18,85],[18,86],[18,87],[19,21],[19,83],[19,84],[19,85],[19,87],[20,21],[20,85],[20,86],[21,84],[21,85],[21,86],[22,23],[22,24],[22,26],[22,27],[22,28],[22,29],[22,89],[22,90],[22,91],[23,32],[23,88],[23,90],[24,27],[24,28],[24,29],[24,30],[24,32],[24,88],[24,89],[24,90],[24,91],[26,31],[26,88],[26,90],[27,30],[27,31],[27,91],[28,30],[28,31],[28,89],[29,89],[29,90],[29,91],[30,32],[30,88],[30,89],[30,91],[31,32],[31,89],[31,90],[32,88],[32,89],[32,90],[33,34],[33,35],[33,37],[33,38],[33,39],[33,40],[33,48],[33,49],[33,51],[33,54],[33,59],[33,60],[33,62],[33,65],[33,70],[33,71],[33,73],[33,76],[33,92],[33,93],[33,94],[34,35],[34,37],[34,41],[34,59],[34,60],[34,62],[34,65],[34,93],[35,37],[35,38],[35,39],[35,40],[35,48],[35,49],[35,51],[35,54],[35,59],[35,60],[35,62],[35,65],[35,70],[35,71],[35,73],[35,76],[35,92],[35,93],[35,94],[37,41],[37,42],[37,43],[37,48],[37,49],[37,51],[37,54],[37,59],[37,60],[37,62],[37,65],[37,70],[37,71],[37,73],[37,76],[37,93],[38,41],[38,42],[38,48],[38,49],[38,51],[38,54],[38,59],[38,60],[38,62],[38,65],[38,70],[38,71],[38,73],[38,76],[38,94],[39,41],[39,42],[39,48],[39,49],[39,51],[39,54],[39,59],[39,60],[39,62],[39,65],[39,70],[39,71],[39,73],[39,76],[39,92],[40,92],[40,93],[40,94],[41,48],[41,49],[41,51],[41,54],[41,59],[41,60],[41,62],[41,65],[41,70],[41,71],[41,73],[41,76],[41,92],[41,94],[42,43],[42,48],[42,49],[42,51],[42,54],[42,59],[42,60],[42,62],[42,65],[42,70],[42,71],[42,73],[42,76],[42,92],[42,93],[43,59],[43,60],[43,62],[43,65],[43,92],[43,93],[44,45],[44,48],[44,49],[44,52],[44,53],[44,54],[44,60],[44,61],[44,62],[44,63],[44,71],[44,72],[44,73],[44,74],[44,95],[44,96],[45,46],[45,48],[45,52],[45,60],[45,61],[45,62],[45,63],[45,95],[46,48],[46,49],[46,52],[46,53],[46,54],[46,60],[46,61],[46,62],[46,63],[46,71],[46,72],[46,73],[46,74],[46,95],[46,96],[48,49],[48,51],[48,52],[48,53],[48,60],[48,61],[48,62],[48,63],[48,71],[48,72],[48,73],[48,74],[48,92],[48,95],[49,51],[49,52],[49,53],[49,54],[49,60],[49,61],[49,62],[49,63],[49,71],[49,72],[49,73],[49,74],[49,92],[49,96],[50,51],[50,54],[50,60],[50,61],[50,62],[50,63],[50,71],[50,72],[50,73],[50,74],[51,52],[51,53],[51,92],[51,95],[51,96],[52,53],[52,54],[52,60],[52,61],[52,62],[52,63],[52,71],[52,72],[52,73],[52,74],[52,96],[53,60],[53,61],[53,62],[53,63],[53,71],[53,72],[53,73],[53,74],[53,95],[54,60],[54,61],[54,62],[54,63],[54,92],[54,95],[55,57],[55,60],[55,62],[55,63],[55,70],[55,72],[55,73],[55,75],[55,97],[56,62],[56,63],[56,64],[56,65],[57,60],[57,62],[57,63],[57,70],[57,72],[57,73],[57,75],[57,97],[59,60],[59,63],[59,65],[59,70],[59,72],[59,73],[59,75],[59,93],[60,61],[60,64],[60,65],[60,70],[60,72],[60,73],[60,75],[60,93],[60,95],[60,97],[61,63],[61,65],[61,70],[61,72],[61,73],[61,75],[61,95],[62,65],[62,93],[62,95],[62,97],[63,64],[63,65],[63,70],[63,72],[63,73],[63,75],[63,95],[63,97],[64,65],[64,70],[64,72],[64,73],[64,75],[65,93],[67,73],[67,74],[67,75],[67,76],[70,71],[70,72],[70,73],[70,74],[70,75],[70,76],[70,94],[70,97],[71,72],[71,73],[71,74],[71,75],[71,76],[71,94],[71,96],[72,73],[72,74],[72,75],[72,76],[72,96],[72,97],[73,74],[73,75],[73,76],[73,94],[73,96],[73,97],[74,75],[74,76],[74,96],[75,76],[75,97],[76,94]]},"rotation_powers":[[0,7],[1,3],[2,3],[4,3],[5,3],[6,3],[7,7],[8,5],[9,5],[10,5],[13,3],[14,7],[15,3],[16,3],[23,3],[25,3],[30,3],[36,3],[38,3],[39,3],[40,3],[42,3],[44,3],[45,3],[47,3],[51,3],[57,3],[58,5],[60,7],[61,7],[63,3],[64,7],[66,5],[67,5],[71,5],[72,3],[73,3],[76,3],[79,3],[86,3],[89,3],[90,3],[94,3],[97,3],[98,3],[99,3],[104,3],[105,3],[107,3],[109,3],[110,3],[111,3],[112,3],[114,3],[116,3],[117,3],[119,3],[120,3],[121,5],[122,5],[124,5],[125,3],[128,5],[132,3],[134,3],[137,3],[140,3],[144,3],[145,3],[146,3],[147,3],[149,3],[154,3],[155,3],[156,3],[157,3],[158,3],[163,3],[165,3],[167,3],[168,3],[170,3],[171,7],[172,3],[175,5],[176,5],[177,3],[178,5],[182,7],[184,3],[185,7],[186,5],[189,3],[190,3],[191,3],[193,3],[196,3],[197,3],[200,3],[202,3],[206,3],[207,3],[208,3],[209,3],[210,3],[211,3],[213,3],[214,3],[216,3],[219,3],[220,3],[221,3],[223,3],[226,3],[227,3],[228,3],[229,7],[230,3],[231,5],[232,7],[233,3],[234,7],[235,3],[238,5],[239,5],[241,7],[242,7],[243,3],[244,3],[251,3],[253,3],[258,3],[264,3],[266,3],[267,3],[268,3],[270,3],[272,3],[273,3],[275,3],[279,3],[285,7],[286,5],[288,7],[289,7],[291,3],[292,7],[295,5],[299,5],[300,3],[301,3],[304,3],[307,3],[314,3],[317,3],[318,3],[322,3],[325,3],[326,3],[327,3],[332,3],[333,3],[335,3],[337,3],[338,3],[339,3],[340,3],[342,3],[343,5],[344,3],[345,5],[346,5],[348,3],[349,7],[350,3],[352,7],[353,3],[356,5],[357,3],[359,3],[360,3],[362,3],[363,3],[364,3],[365,3],[369,3],[371,3],[372,3],[374,3],[376,3],[377,3],[378,3],[379,3],[381,3],[382,3],[383,3],[387,3],[388,3],[389,3],[391,3],[394,3],[396,3]]},"metrics":{"gamma":1.497485520602237,"gamma_t":null,"gamma_rho":1.497485520602237,"gamma_claim":1.497485520602237,"gamma_t_claim":null,"gamma_rho_claim":1.497485520602237,"v_ex":77,"rate":0.19298245614035087,"t_count":null,"poly_degree":null,"effective_width":77},"provenance":{"regimes":["AI search: graph gluing"],"discovery":"AI search","strongest_claim":"found by an AI search that glues catalogued small factories along a graph of paired-column contractions; exact distance verified from columns; a verified witness, not a maximum","sources":[{"regime":"AI search: graph gluing","file":"master_catalog/imports/2026-09-18_graph_gluing_d3/factories.json","label":"graph gluing [[399,77,3]]","N":98,"d":3,"d_is_exact":true,"origin":null,"provenance":"AI search: graph gluing -- seven [[63,11,3]] glued along K7 by 21 paired-column contraction(s) (independent ports); construction and witness in master_catalog/imports/2026-09-18_graph_gluing_d3/witnesses/graph_complete_n399_k77_d3.json","notes":"Exact A3=3395 independently counted; details in master_catalog/imports/2026-09-18_graph_gluing_d3/README.md. General gluing has prior art; publication novelty is not asserted."}]},"references":[{"key":"jain2026symmetry","short":"Jain et al. (2026)","full":"S. P. Jain, A. Wills, and S. Singh, \"Symmetry and AI-assisted discovery of magic-state factories,\" arXiv:2610.06535 (2026).","url":"https://arxiv.org/abs/2610.06535","date":"2026-10-05"}]}