{"id":"502.92.3.a","row":1074,"stored":{"file":"master_catalog.json","row":1074,"construction":null,"columns_sha256":null},"parameters":{"n":502,"k":92,"d":3,"N":117,"r":25,"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+77+78+79+80+81+82+83+84+85+86+87+88+89+90+91","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\u00b7T77\u00b7T78\u00b7T79\u00b7T80\u00b7T81\u00b7T82\u00b7T83\u00b7T84\u00b7T85\u00b7T86\u00b7T87\u00b7T88\u00b7T89\u00b7T90\u00b7T91","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],[77],[78],[79],[80],[81],[82],[83],[84],[85],[86],[87],[88],[89],[90],[91]],"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],[77],[78],[79],[80],[81],[82],[83],[84],[85],[86],[87],[88],[89],[90],[91]],"sk_fingerprint":"f53bcb3a7478d77e","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,16,20,92,94],[0,16,93],[0,16,93,94],[0,20,92,93],[0,20,92,93,94],[0,94],[1,16,18,20,93,94,97,98],[1,16,18,22,92,93,96,97],[1,16,20,22,93,95,97],[1,16,92,93,94,95,96,97,98],[1,18,20,92,95,96],[1,18,22,94,95,98],[1,20,22,92,94,96,98],[2,16,20,21,22,92,94,95,96,97],[2,16,20,22,92,93,97,98],[2,16,21,92,96,97],[2,16,92,93,94,95,97,98],[2,20,21,22,93,96,98],[2,20,22,94,95],[2,21,93,94,95,96,98],[3,16,18,20,21,92,94,95,97,98],[3,16,18,20,21,92,95,97],[3,16,18,22,93,94,95,96,97],[3,16,18,22,93,95,96,97,98],[3,20,21,22,92,93,94,96],[3,20,21,22,92,93,96,98],[3,94,98],[4,16,20,21,93,95,96,97],[4,16,20,22,92,93,94,95,98],[4,16,21,92,97,98],[4,16,22,94,96],[4,20,21,22,93,94,95,97],[4,20,92,93,95,96,98],[4,21,22,92,94,96,97,98],[5,16,18,20,21,92,94,97],[5,16,18,22,93,96],[5,16,20,22,93,94,95,98],[5,16,21,92,95,96,97,98],[5,18,20,94,95,96,98],[5,18,21,22,92,93,95,97,98],[5,20,21,22,92,93,94,96,97],[6,16,20,21,92,93,94,97],[6,16,20,21,92,93,95,96,97],[6,16,20,21,93,94,96,97,98],[6,16,20,21,93,95,97,98],[6,92,94,95,98],[6,92,96,98],[6,94,95,96],[7,16,18,20,21,22,92,93,94,95,96,98],[7,16,18,20,22,92,94,95,96],[7,16,20,21,92,93,95],[7,16,20,92,95,98],[7,18,21,22,93,94,96],[7,18,22,94,96,98],[7,21,93,98],[8,16,17,20,21,22,93,94,96,98],[8,16,17,20,92,93,95,97],[8,16,17,21,92,93,94,95],[8,16,17,22,93,96,97,98],[8,20,21,94,97],[8,20,22,92,95,96,98],[8,21,22,92,94,95,96,97,98],[9,16,19,20,21,22,92,93,95,96],[9,16,19,20,92,93,94,96,97,98],[9,16,20,21,93,95,96,98],[9,16,20,22,93,94,96,97],[9,19,21,92,94,95,97],[9,19,22,92,98],[9,21,22,94,95,97,98],[10,16,17,20,21,22,93,97],[10,16,17,22,93,94,95],[10,16,20,21,22,92,95,97,98],[10,16,22,92,94,98],[10,17,20,21,92,93,94,97,98],[10,17,92,93,95,98],[10,20,21,94,95,97],[11,16,19,20,21,22,92,93,94,95,96],[11,16,19,20,92,93,95,96,97,98],[11,16,21,22,93,95],[11,16,93,94,95,97,98],[11,19,20,21,22,92,96,97,98],[11,19,20,92,94,96],[11,21,22,94,97,98],[12,17,19,20,92,93,96,97,98],[12,17,19,21,92,93,94,98],[12,17,20,22,93,94,95,96,97,98],[12,17,21,22,93,95,98],[12,19,20,21,22,92,95,96,97],[12,19,22,92,94,95],[12,20,21,94,96,97],[13,16,18,21,22,94,95,96,97,98],[13,16,18,21,92,93,94,95,96,97],[13,16,18,22,93,94,95,96],[13,16,18,92,94,95,96,98],[13,21,22,92,97],[13,21,93,97,98],[13,22,92,93,98],[14,16,17,19,20,22,92,93,94,95,97],[14,16,17,19,21,22,92,93,96],[14,16,19,20,22,92,95],[14,16,19,21,22,92,94,96,97],[14,17,20,21,93,95,96],[14,17,93,94,97],[14,20,21,94,95,96,97],[15,20,21,22,93,94,98],[15,20,21,92,94,97,98],[15,20,22,92,96],[15,20,93,96,97],[15,21,22,94,96,97,98],[15,21,92,93,94,96,98],[15,22,92,93,97],[16,17,19,95,98],[16,17,19,98],[16,17,21,95,97],[16,17,21,96,97],[16,18,22,95,96,97,98],[16,18,22,95,96,98],[16,20,21,96,98],[16,20,22,95,97,98],[16,21,22,96,97,98],[16,95,96],[16,97,98],[17,96],[18,97],[19,95],[20,21,22,95,96,97],[0,16,20,92,100],[23,39,99,100],[0,16,20,39,92,99],[0,16,20,39,92,99,100],[23,100],[24,39,41,43,99,100,103,104],[0,16,20,23,24,41,43,45,92,99,102,103],[24,39,43,45,99,101,103],[0,16,20,23,24,43,92,99,100,101,102,103,104],[0,16,20,23,24,39,41,92,101,102],[24,41,45,100,101,104],[0,16,20,23,24,39,45,92,100,102,104],[0,16,20,23,25,44,45,92,100,101,102,103],[0,16,20,23,25,45,92,99,103,104],[0,16,20,23,25,43,44,92,102,103],[0,16,20,23,25,43,92,99,100,101,103,104],[25,43,44,45,99,102,104],[25,43,45,100,101],[25,44,99,100,101,102,104],[0,16,20,23,26,41,44,92,100,101,103,104],[0,16,20,23,26,41,44,92,101,103],[26,39,41,45,99,100,101,102,103],[26,39,41,45,99,101,102,103,104],[0,16,20,23,26,39,44,45,92,99,100,102],[0,16,20,23,26,39,44,45,92,99,102,104],[26,100,104],[27,39,43,44,99,101,102,103],[0,16,20,23,27,45,92,99,100,101,104],[0,16,20,23,27,43,44,92,103,104],[27,39,45,100,102],[27,43,44,45,99,100,101,103],[0,16,20,23,27,39,92,99,101,102,104],[0,16,20,23,27,39,43,44,45,92,100,102,103,104],[0,16,20,23,28,41,44,92,100,103],[28,39,41,45,99,102],[28,39,43,45,99,100,101,104],[0,16,20,23,28,43,44,92,101,102,103,104],[28,41,43,100,101,102,104],[0,16,20,23,28,39,41,43,44,45,92,99,101,103,104],[0,16,20,23,28,39,44,45,92,99,100,102,103],[0,16,20,23,29,44,92,99,100,103],[0,16,20,23,29,44,92,99,101,102,103],[29,39,43,44,99,100,102,103,104],[29,39,43,44,99,101,103,104],[0,16,20,23,29,39,43,92,100,101,104],[0,16,20,23,29,39,43,92,102,104],[29,100,101,102],[0,16,20,23,30,41,44,45,92,99,100,101,102,104],[0,16,20,23,30,41,45,92,100,101,102],[0,16,20,23,30,44,92,99,101],[0,16,20,23,30,92,101,104],[30,41,44,45,99,100,102],[30,41,45,100,102,104],[30,44,99,104],[31,39,40,43,44,45,99,100,102,104],[0,16,20,23,31,40,92,99,101,103],[0,16,20,23,31,40,43,44,92,99,100,101],[31,39,40,45,99,102,103,104],[31,43,44,100,103],[0,16,20,23,31,39,45,92,101,102,104],[0,16,20,23,31,39,43,44,45,92,100,101,102,103,104],[0,16,20,23,32,42,44,45,92,99,101,102],[0,16,20,23,32,42,92,99,100,102,103,104],[32,39,43,44,99,101,102,104],[32,39,43,45,99,100,102,103],[0,16,20,23,32,39,42,43,44,92,100,101,103],[0,16,20,23,32,39,42,43,45,92,104],[32,44,45,100,101,103,104],[33,39,40,43,44,45,99,103],[33,39,40,45,99,100,101],[0,16,20,23,33,44,45,92,101,103,104],[0,16,20,23,33,43,45,92,100,104],[0,16,20,23,33,39,40,44,92,99,100,103,104],[0,16,20,23,33,39,40,43,92,99,101,104],[33,43,44,100,101,103],[0,16,20,23,34,42,44,45,92,99,100,101,102],[0,16,20,23,34,42,92,99,101,102,103,104],[34,39,44,45,99,101],[34,39,99,100,101,103,104],[0,16,20,23,34,39,42,44,45,92,102,103,104],[0,16,20,23,34,39,42,92,100,102],[34,44,45,100,103,104],[0,16,20,23,35,39,40,42,92,99,102,103,104],[0,16,20,23,35,39,40,42,43,44,92,99,100,104],[35,40,43,45,99,100,101,102,103,104],[35,40,44,45,99,101,104],[0,16,20,23,35,39,42,44,45,92,101,102,103],[0,16,20,23,35,39,42,43,45,92,100,101],[35,43,44,100,102,103],[36,39,41,44,45,100,101,102,103,104],[0,16,20,23,36,41,43,44,92,99,100,101,102,103],[36,39,41,45,99,100,101,102],[0,16,20,23,36,41,43,92,100,101,102,104],[0,16,20,23,36,39,43,44,45,92,103],[36,44,99,103,104],[0,16,20,23,36,39,43,45,92,99,104],[0,16,20,23,37,40,42,45,92,99,100,101,103],[0,16,20,23,37,40,42,43,44,45,92,99,102],[0,16,20,23,37,42,45,92,101],[0,16,20,23,37,42,43,44,45,92,100,102,103],[37,40,43,44,99,101,102],[37,40,99,100,103],[37,43,44,100,101,102,103],[38,43,44,45,99,100,104],[0,16,20,23,38,39,44,92,100,103,104],[0,16,20,23,38,39,45,92,102],[38,43,99,102,103],[38,44,45,100,102,103,104],[0,16,20,23,38,39,43,44,92,99,100,102,104],[0,16,20,23,38,39,43,45,92,99,103],[39,40,42,101,104],[39,40,42,104],[39,40,44,101,103],[39,40,44,102,103],[39,41,45,101,102,103,104],[39,41,45,101,102,104],[39,43,44,102,104],[39,43,45,101,103,104],[39,44,45,102,103,104],[39,101,102],[39,103,104],[40,102],[41,103],[42,101],[43,44,45,101,102,103],[23,39,99,106],[46,62,105,106],[23,39,62,99,105],[23,39,62,99,105,106],[46,106],[47,62,64,66,105,106,109,110],[23,39,46,47,64,66,68,99,105,108,109],[47,62,66,68,105,107,109],[23,39,46,47,66,99,105,106,107,108,109,110],[23,39,46,47,62,64,99,107,108],[47,64,68,106,107,110],[23,39,46,47,62,68,99,106,108,110],[23,39,46,48,67,68,99,106,107,108,109],[23,39,46,48,68,99,105,109,110],[23,39,46,48,66,67,99,108,109],[23,39,46,48,66,99,105,106,107,109,110],[48,66,67,68,105,108,110],[48,66,68,106,107],[48,67,105,106,107,108,110],[23,39,46,49,64,67,99,106,107,109,110],[23,39,46,49,64,67,99,107,109],[49,62,64,68,105,106,107,108,109],[49,62,64,68,105,107,108,109,110],[23,39,46,49,62,67,68,99,105,106,108],[23,39,46,49,62,67,68,99,105,108,110],[49,106,110],[50,62,66,67,105,107,108,109],[23,39,46,50,68,99,105,106,107,110],[23,39,46,50,66,67,99,109,110],[50,62,68,106,108],[50,66,67,68,105,106,107,109],[23,39,46,50,62,99,105,107,108,110],[23,39,46,50,62,66,67,68,99,106,108,109,110],[23,39,46,51,64,67,99,106,109],[51,62,64,68,105,108],[51,62,66,68,105,106,107,110],[23,39,46,51,66,67,99,107,108,109,110],[51,64,66,106,107,108,110],[23,39,46,51,62,64,66,67,68,99,105,107,109,110],[23,39,46,51,62,67,68,99,105,106,108,109],[23,39,46,52,67,99,105,106,109],[23,39,46,52,67,99,105,107,108,109],[52,62,66,67,105,106,108,109,110],[52,62,66,67,105,107,109,110],[23,39,46,52,62,66,99,106,107,110],[23,39,46,52,62,66,99,108,110],[52,106,107,108],[23,39,46,53,64,67,68,99,105,106,107,108,110],[23,39,46,53,64,68,99,106,107,108],[23,39,46,53,67,99,105,107],[23,39,46,53,99,107,110],[53,64,67,68,105,106,108],[53,64,68,106,108,110],[53,67,105,110],[54,62,63,66,67,68,105,106,108,110],[23,39,46,54,63,99,105,107,109],[23,39,46,54,63,66,67,99,105,106,107],[54,62,63,68,105,108,109,110],[54,66,67,106,109],[23,39,46,54,62,68,99,107,108,110],[23,39,46,54,62,66,67,68,99,106,107,108,109,110],[23,39,46,55,65,67,68,99,105,107,108],[23,39,46,55,65,99,105,106,108,109,110],[55,62,66,67,105,107,108,110],[55,62,66,68,105,106,108,109],[23,39,46,55,62,65,66,67,99,106,107,109],[23,39,46,55,62,65,66,68,99,110],[55,67,68,106,107,109,110],[56,62,63,66,67,68,105,109],[56,62,63,68,105,106,107],[23,39,46,56,67,68,99,107,109,110],[23,39,46,56,66,68,99,106,110],[23,39,46,56,62,63,67,99,105,106,109,110],[23,39,46,56,62,63,66,99,105,107,110],[56,66,67,106,107,109],[23,39,46,57,65,67,68,99,105,106,107,108],[23,39,46,57,65,99,105,107,108,109,110],[57,62,67,68,105,107],[57,62,105,106,107,109,110],[23,39,46,57,62,65,67,68,99,108,109,110],[23,39,46,57,62,65,99,106,108],[57,67,68,106,109,110],[23,39,46,58,62,63,65,99,105,108,109,110],[23,39,46,58,62,63,65,66,67,99,105,106,110],[58,63,66,68,105,106,107,108,109,110],[58,63,67,68,105,107,110],[23,39,46,58,62,65,67,68,99,107,108,109],[23,39,46,58,62,65,66,68,99,106,107],[58,66,67,106,108,109],[59,62,64,67,68,106,107,108,109,110],[23,39,46,59,64,66,67,99,105,106,107,108,109],[59,62,64,68,105,106,107,108],[23,39,46,59,64,66,99,106,107,108,110],[23,39,46,59,62,66,67,68,99,109],[59,67,105,109,110],[23,39,46,59,62,66,68,99,105,110],[23,39,46,60,63,65,68,99,105,106,107,109],[23,39,46,60,63,65,66,67,68,99,105,108],[23,39,46,60,65,68,99,107],[23,39,46,60,65,66,67,68,99,106,108,109],[60,63,66,67,105,107,108],[60,63,105,106,109],[60,66,67,106,107,108,109],[61,66,67,68,105,106,110],[23,39,46,61,62,67,99,106,109,110],[23,39,46,61,62,68,99,108],[61,66,105,108,109],[61,67,68,106,108,109,110],[23,39,46,61,62,66,67,99,105,106,108,110],[23,39,46,61,62,66,68,99,105,109],[62,63,65,107,110],[62,63,65,110],[62,63,67,107,109],[62,63,67,108,109],[62,64,68,107,108,109,110],[62,64,68,107,108,110],[62,66,67,108,110],[62,66,68,107,109,110],[62,67,68,108,109,110],[62,107,108],[62,109,110],[63,108],[64,109],[65,107],[66,67,68,107,108,109],[46,62,105,112],[69,85,111],[69,85,111,112],[46,62,85,105,111],[46,62,85,105,111,112],[69,112],[70,85,87,89,111,112,115,116],[46,62,69,70,87,89,91,105,111,114,115],[70,85,89,91,111,113,115],[46,62,69,70,89,105,111,112,113,114,115,116],[46,62,69,70,85,87,105,113,114],[70,87,91,112,113,116],[46,62,69,70,85,91,105,112,114,116],[46,62,69,71,90,91,105,112,113,114,115],[46,62,69,71,91,105,111,115,116],[46,62,69,71,89,90,105,114,115],[46,62,69,71,89,105,111,112,113,115,116],[71,89,90,91,111,114,116],[71,89,91,112,113],[71,90,111,112,113,114,116],[46,62,69,72,87,90,105,112,113,115,116],[46,62,69,72,87,90,105,113,115],[72,85,87,91,111,112,113,114,115],[72,85,87,91,111,113,114,115,116],[46,62,69,72,85,90,91,105,111,112,114],[46,62,69,72,85,90,91,105,111,114,116],[72,112,116],[73,85,89,90,111,113,114,115],[46,62,69,73,91,105,111,112,113,116],[46,62,69,73,89,90,105,115,116],[73,85,91,112,114],[73,89,90,91,111,112,113,115],[46,62,69,73,85,105,111,113,114,116],[46,62,69,73,85,89,90,91,105,112,114,115,116],[46,62,69,74,87,90,105,112,115],[74,85,87,91,111,114],[74,85,89,91,111,112,113,116],[46,62,69,74,89,90,105,113,114,115,116],[74,87,89,112,113,114,116],[46,62,69,74,85,87,89,90,91,105,111,113,115,116],[46,62,69,74,85,90,91,105,111,112,114,115],[46,62,69,75,90,105,111,112,115],[46,62,69,75,90,105,111,113,114,115],[75,85,89,90,111,112,114,115,116],[75,85,89,90,111,113,115,116],[46,62,69,75,85,89,105,112,113,116],[46,62,69,75,85,89,105,114,116],[75,112,113,114],[46,62,69,76,87,90,91,105,111,112,113,114,116],[46,62,69,76,87,91,105,112,113,114],[46,62,69,76,90,105,111,113],[46,62,69,76,105,113,116],[76,87,90,91,111,112,114],[76,87,91,112,114,116],[76,90,111,116],[77,85,86,89,90,91,111,112,114,116],[46,62,69,77,86,105,111,113,115],[46,62,69,77,86,89,90,105,111,112,113],[77,85,86,91,111,114,115,116],[77,89,90,112,115],[46,62,69,77,85,91,105,113,114,116],[46,62,69,77,85,89,90,91,105,112,113,114,115,116],[46,62,69,78,88,90,91,105,111,113,114],[46,62,69,78,88,105,111,112,114,115,116],[78,85,89,90,111,113,114,116],[78,85,89,91,111,112,114,115],[46,62,69,78,85,88,89,90,105,112,113,115],[46,62,69,78,85,88,89,91,105,116],[78,90,91,112,113,115,116],[79,85,86,89,90,91,111,115],[79,85,86,91,111,112,113],[46,62,69,79,90,91,105,113,115,116],[46,62,69,79,89,91,105,112,116],[46,62,69,79,85,86,90,105,111,112,115,116],[46,62,69,79,85,86,89,105,111,113,116],[79,89,90,112,113,115],[46,62,69,80,88,90,91,105,111,112,113,114],[46,62,69,80,88,105,111,113,114,115,116],[80,85,90,91,111,113],[80,85,111,112,113,115,116],[46,62,69,80,85,88,90,91,105,114,115,116],[46,62,69,80,85,88,105,112,114],[80,90,91,112,115,116],[46,62,69,81,85,86,88,105,111,114,115,116],[46,62,69,81,85,86,88,89,90,105,111,112,116],[81,86,89,91,111,112,113,114,115,116],[81,86,90,91,111,113,116],[46,62,69,81,85,88,90,91,105,113,114,115],[46,62,69,81,85,88,89,91,105,112,113],[81,89,90,112,114,115],[82,85,87,90,91,112,113,114,115,116],[46,62,69,82,87,89,90,105,111,112,113,114,115],[82,85,87,91,111,112,113,114],[46,62,69,82,87,89,105,112,113,114,116],[46,62,69,82,85,89,90,91,105,115],[82,90,111,115,116],[46,62,69,82,85,89,91,105,111,116],[46,62,69,83,86,88,91,105,111,112,113,115],[46,62,69,83,86,88,89,90,91,105,111,114],[46,62,69,83,88,91,105,113],[46,62,69,83,88,89,90,91,105,112,114,115],[83,86,89,90,111,113,114],[83,86,111,112,115],[83,89,90,112,113,114,115],[84,89,90,91,111,112,116],[46,62,69,84,85,90,105,112,115,116],[46,62,69,84,85,91,105,114],[84,89,111,114,115],[84,90,91,112,114,115,116],[46,62,69,84,85,89,90,105,111,112,114,116],[46,62,69,84,85,89,91,105,111,115],[85,86,88,113,116],[85,86,88,116],[85,86,90,113,115],[85,86,90,114,115],[85,87,91,113,114,115,116],[85,87,91,113,114,116],[85,89,90,114,116],[85,89,91,113,115,116],[85,90,91,114,115,116],[85,113,114],[85,115,116],[86,114],[87,115],[88,113],[89,90,91,113,114,115]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,1,4],"A_d":10292,"certified":null},"clifford":{"kind":"required","correction":{"S":[[0,2],[1,1],[2,1],[3,1],[4,1],[5,1],[6,1],[7,1],[8,1],[9,1],[10,1],[11,1],[12,1],[13,1],[14,1],[15,1],[17,2],[18,1],[19,3],[20,2],[21,2],[22,2],[23,2],[24,1],[25,1],[26,1],[27,1],[28,1],[29,1],[30,1],[31,1],[32,1],[33,1],[34,1],[35,1],[36,1],[37,1],[38,1],[39,2],[40,2],[41,1],[42,3],[43,3],[44,2],[45,2],[46,2],[47,1],[48,1],[49,1],[50,1],[51,1],[52,1],[53,1],[54,1],[55,1],[56,1],[57,1],[58,1],[59,1],[60,1],[61,1],[62,2],[63,2],[64,1],[65,3],[66,3],[67,2],[68,2],[69,1],[70,1],[71,1],[72,1],[73,1],[74,1],[75,1],[76,1],[77,1],[78,1],[79,1],[80,1],[81,1],[82,1],[83,1],[84,1],[85,1],[86,2],[87,1],[88,3],[89,3],[90,2],[91,2],[92,1],[99,1],[105,1]],"CZ":[[0,16],[0,20],[0,39],[0,41],[0,43],[0,45],[0,92],[16,19],[16,21],[16,39],[16,41],[16,43],[16,45],[16,93],[16,94],[16,96],[16,97],[17,19],[17,21],[17,95],[17,97],[17,98],[18,22],[18,92],[18,93],[18,94],[19,20],[19,22],[19,95],[19,96],[20,21],[20,22],[20,39],[20,41],[20,43],[20,45],[20,95],[20,96],[20,97],[21,22],[21,95],[21,96],[21,98],[22,92],[22,97],[23,41],[23,43],[23,45],[23,62],[23,64],[23,66],[23,68],[23,99],[39,41],[39,42],[39,43],[39,44],[39,45],[39,62],[39,64],[39,66],[39,68],[39,92],[39,100],[39,102],[39,103],[40,42],[40,44],[40,101],[40,103],[40,104],[41,43],[41,45],[41,92],[41,99],[41,100],[42,43],[42,45],[42,101],[42,102],[43,44],[43,92],[43,101],[43,102],[43,103],[44,45],[44,101],[44,102],[44,104],[45,92],[45,103],[46,64],[46,66],[46,68],[46,85],[46,87],[46,89],[46,91],[46,105],[62,64],[62,65],[62,66],[62,67],[62,68],[62,85],[62,87],[62,89],[62,91],[62,99],[62,106],[62,108],[62,109],[63,65],[63,67],[63,107],[63,109],[63,110],[64,66],[64,68],[64,99],[64,105],[64,106],[65,66],[65,68],[65,107],[65,108],[66,67],[66,99],[66,107],[66,108],[66,109],[67,68],[67,107],[67,108],[67,110],[68,99],[68,109],[69,85],[69,87],[69,89],[69,91],[85,87],[85,88],[85,89],[85,90],[85,91],[85,105],[85,111],[85,112],[85,114],[85,115],[86,88],[86,90],[86,113],[86,115],[86,116],[87,89],[87,91],[87,105],[87,111],[87,112],[88,89],[88,91],[88,113],[88,114],[89,90],[89,105],[89,113],[89,114],[89,115],[90,91],[90,113],[90,114],[90,116],[91,105],[91,115]]},"rotation_powers":null},"metrics":{"gamma":1.544504426306572,"gamma_t":null,"gamma_rho":1.544504426306572,"gamma_claim":1.544504426306572,"gamma_t_claim":null,"gamma_rho_claim":1.544504426306572,"v_ex":92,"rate":0.18326693227091634,"t_count":null,"poly_degree":null,"effective_width":92},"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 [[502,92,3]]","N":117,"d":3,"d_is_exact":true,"origin":null,"provenance":"AI search: graph gluing -- four [[127,23,3]] glued along a path of four factories by 3 paired-column contraction(s) (independent ports); construction and witness in master_catalog/imports/2026-09-18_graph_gluing_d3/witnesses/graph_path_n502_k92_d3.json","notes":"Exact A3=10292 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"}]}