{"id":"511.89.3.a","row":1110,"stored":{"file":"master_catalog.json","row":1110,"construction":null,"columns_sha256":null},"parameters":{"n":511,"k":89,"d":3,"N":98,"r":9,"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","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","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]],"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]],"sk_fingerprint":"43ba296da48724bb","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,79,80,82,83,84,85,86,89],[0,79,82,83,85,87,88,90],[0,80,84,86,87,88,89,90],[0,79,80,81,83,84,87,88,91],[0,81,82,85,86,87,88,89,91],[0,80,81,82,84,85,90,91],[0,79,81,83,86,89,90,91],[75,83,85,86,87,88,92],[1,79,80,82,86,87,89,92],[33,80,81,82,83,87,88,90,92],[62,64,67,68,70,71,74,76,77,78,79,81,82,83,85,86,87,88,89,90,92],[49,80,82,84,85,86,87,88,91,92],[43,66,68,74,76,79,80,81,83,86,87,88,89,91,92],[31,80,83,84,88,90,91,92],[44,79,81,82,86,87,88,89,90,91,92],[79,81,84,85,93],[2,79,81,82,84,85,86,89,93],[1,80,83,87,88,90,93],[63,65,66,67,72,73,77,78,79,82,87,88,89,90,93],[33,79,82,83,84,85,86,91,93],[21,81,82,83,86,87,88,89,91,93],[62,79,80,83,85,86,88,90,91,93],[27,64,66,68,69,71,74,75,76,77,87,89,90,91,93],[67,79,84,85,86,92,93],[3,80,82,85,86,89,92,93],[32,79,80,81,83,87,88,90,92,93],[1,79,82,83,86,88,89,90,92,93],[16,83,87,88,91,92,93],[62,64,67,68,70,71,74,76,77,78,80,81,82,87,89,91,92,93],[33,79,80,81,84,85,86,87,88,90,91,92,93],[55,65,66,67,69,70,72,74,76,78,84,85,86,88,89,90,91,92,93],[65,82,84,85,86,87,88,94],[4,80,81,83,84,86,89,94],[2,82,83,85,86,87,88,90,94],[61,66,67,70,71,75,80,82,83,84,85,86,89,90,94],[1,81,82,85,86,88,91,94],[42,79,82,83,85,86,87,88,89,91,94],[63,80,82,88,90,91,94],[54,64,65,66,68,69,70,71,75,76,77,78,79,80,83,84,87,89,90,91,94],[77,82,83,84,92,94],[5,79,81,84,85,86,89,92,94],[35,79,80,82,83,85,88,90,92,94],[3,80,81,82,85,89,90,92,94],[48,80,83,86,87,88,91,92,94],[1,79,80,81,85,87,88,89,91,92,94],[32,80,81,86,87,88,90,91,92,94],[26,79,80,83,86,89,90,91,92,94],[73,79,82,83,85,86,93,94],[6,81,85,87,89,93,94],[3,81,86,90,93,94],[2,79,81,83,84,87,88,89,90,93,94],[32,79,83,86,91,93,94],[63,65,66,67,72,73,77,78,79,80,87,89,91,93,94],[1,80,81,82,83,85,86,87,90,91,93,94],[45,64,69,70,72,75,77,79,81,86,89,90,91,93,94],[82,83,84,88,92,93,94],[7,79,81,82,85,86,87,88,89,92,93,94],[34,79,80,81,83,84,85,88,90,92,93,94],[60,64,68,70,71,73,76,77,79,81,82,83,84,86,87,88,89,90,92,93,94],[17,81,82,84,85,91,92,93,94],[20,79,83,85,86,87,88,89,91,92,93,94],[30,79,80,82,84,85,86,88,90,91,92,93,94],[1,79,81,83,85,89,90,91,92,93,94],[80,82,83,84,85,87,95],[8,79,82,83,85,87,88,89,95],[4,79,81,84,87,90,95],[57,64,66,70,73,74,75,79,80,81,82,83,84,85,89,90,95],[2,79,82,84,85,86,91,95],[23,66,69,71,74,76,78,80,86,88,89,91,95],[61,80,82,83,84,86,87,90,91,95],[47,64,65,66,67,68,74,75,77,83,84,87,89,90,91,95],[78,82,86,87,88,92,95],[9,79,80,84,85,86,88,89,92,95],[37,80,81,83,84,90,92,95],[7,83,84,85,87,89,90,92,95],[51,81,83,84,85,87,91,92,95],[60,64,68,70,71,73,76,77,80,81,82,83,85,86,88,89,91,92,95],[34,79,80,81,84,86,88,90,91,92,95],[3,82,85,88,89,90,91,92,95],[72,79,82,84,85,87,88,93,95],[10,81,82,83,84,87,88,89,93,95],[5,81,82,83,85,86,88,90,93,95],[6,80,83,84,86,87,89,90,93,95],[35,81,83,91,93,95],[2,81,89,91,93,95],[3,80,86,88,90,91,93,95],[52,80,81,83,87,89,90,91,93,95],[69,79,82,83,84,86,92,93,95],[11,82,83,84,85,86,87,88,89,92,93,95],[36,79,81,82,86,87,88,90,92,93,95],[56,80,82,83,84,85,86,87,88,89,90,92,93,95],[18,79,80,81,83,87,88,91,92,93,95],[41,79,80,81,82,83,84,86,88,89,91,92,93,95],[28,80,82,83,84,85,86,87,90,91,92,93,95],[24,81,83,85,86,87,89,90,91,92,93,95],[70,83,84,86,87,88,94,95],[12,89,94,95],[6,80,81,83,84,85,86,90,94,95],[4,79,80,83,86,87,89,90,94,95],[3,80,81,88,91,94,95],[61,66,67,70,71,75,85,87,89,91,94,95],[2,79,83,84,87,88,90,91,94,95],[25,85,87,88,89,90,91,94,95],[80,81,84,88,92,94,95],[13,80,83,86,88,89,92,94,95],[39,80,81,82,83,84,85,87,88,90,92,94,95],[58,68,69,71,72,73,74,75,76,77,78,82,83,85,86,87,89,90,92,94,95],[50,82,83,84,85,86,88,91,92,94,95],[22,80,81,82,83,84,86,89,91,92,94,95],[29,80,86,87,90,91,92,94,95],[53,72,74,76,81,82,83,85,87,88,89,90,91,92,94,95],[64,79,86,93,94,95],[14,80,82,83,86,88,89,93,94,95],[7,79,81,82,83,84,86,88,90,93,94,95],[59,68,70,71,72,76,77,82,84,85,86,89,90,93,94,95],[34,83,85,86,91,93,94,95],[40,84,86,87,88,89,91,93,94,95],[60,79,80,84,85,87,90,91,93,94,95],[2,81,82,83,85,86,87,88,89,90,91,93,94,95],[71,79,83,85,87,88,92,93,94,95],[15,65,68,69,70,71,72,74,75,76,77,79,81,86,87,88,89,92,93,94,95],[38,81,84,86,88,90,92,93,94,95],[5,79,82,83,84,88,89,90,92,93,94,95],[19,79,80,81,82,84,85,87,91,92,93,94,95],[3,81,82,85,86,88,89,91,92,93,94,95],[35,79,80,81,82,85,88,90,91,92,93,94,95],[46,64,69,75,77,80,81,82,87,89,90,91,92,93,94,95],[79,80,82,83,84,85,87,96],[16,81,83,89,96],[8,80,81,83,85,86,88,90,96],[49,81,82,86,89,90,96],[4,80,82,85,86,87,88,91,96],[46,64,69,75,77,79,84,85,88,89,91,96],[57,80,85,86,88,90,91,96],[29,64,67,68,69,75,81,83,84,86,88,89,90,91,96],[74,83,84,85,86,92,96],[17,82,86,88,89,92,96],[41,79,82,85,87,88,90,92,96],[15,65,68,69,70,71,72,74,75,76,77,80,82,83,84,87,88,89,90,92,96],[53,81,82,88,91,92,96],[5,79,80,82,83,84,85,89,91,92,96],[38,81,84,86,88,90,91,92,96],[49,80,81,84,85,87,88,89,90,91,92,96],[77,79,83,93,96],[18,79,82,85,86,88,89,93,96],[9,79,81,84,85,90,93,96],[14,79,82,84,87,89,90,93,96],[37,81,84,87,88,91,93,96],[59,68,70,71,72,76,77,80,82,83,86,87,89,91,93,96],[7,80,81,82,87,90,91,93,96],[6,79,83,84,88,89,90,91,93,96],[76,79,85,86,87,88,92,93,96],[19,80,84,89,92,93,96],[40,79,81,82,84,86,87,88,90,92,93,96],[48,80,82,83,84,86,88,89,90,92,93,96],[20,82,84,86,87,88,91,92,93,96],[16,81,87,88,89,91,92,93,96],[24,79,80,81,84,87,88,90,91,92,93,96],[42,87,88,89,90,91,92,93,96],[68,82,85,86,94,96],[20,79,82,83,84,85,89,94,96],[10,80,83,85,86,88,90,94,96],[12,81,84,88,89,90,94,96],[5,80,81,82,83,86,91,94,96],[4,81,82,83,84,85,87,88,89,91,94,96],[6,79,81,83,84,85,87,88,90,91,94,96],[43,66,68,74,76,79,83,86,87,88,89,90,91,94,96],[79,80,81,82,83,92,94,96],[21,79,85,87,89,92,94,96],[43,80,81,90,92,94,96],[50,80,81,82,84,87,88,89,90,92,94,96],[52,79,80,81,83,88,91,92,94,96],[47,64,65,66,67,68,74,75,77,80,81,82,84,85,87,89,91,92,94,96],[25,79,80,82,84,86,87,88,90,91,92,94,96],[7,79,80,85,86,88,89,90,91,92,94,96],[84,86,88,93,94,96],[22,80,81,82,83,84,86,89,93,94,96],[11,79,81,82,83,85,86,90,93,94,96],[51,66,71,75,77,78,81,84,85,86,87,88,89,90,93,94,96],[36,80,82,83,91,93,94,96],[17,81,84,85,86,88,89,91,93,94,96],[56,82,83,84,86,90,91,93,94,96],[48,82,84,87,89,90,91,93,94,96],[77,79,82,84,92,93,94,96],[23,66,69,71,74,76,78,79,80,81,82,89,92,93,94,96],[42,79,82,83,85,86,90,92,93,94,96],[13,85,86,89,90,92,93,94,96],[21,79,81,82,83,85,86,88,91,92,93,94,96],[58,68,69,71,72,73,74,75,76,77,78,79,80,83,84,85,89,91,92,93,94,96],[39,79,80,82,85,86,87,90,91,92,93,94,96],[28,81,83,84,86,87,88,89,90,91,92,93,94,96],[73,82,83,84,85,87,88,95,96],[24,79,80,83,84,85,86,88,89,95,96],[12,81,84,88,90,95,96],[8,79,80,81,82,86,87,89,90,95,96],[6,79,80,86,87,88,91,95,96],[57,64,66,70,73,74,75,79,81,82,83,84,86,88,89,91,95,96],[4,79,80,81,82,84,85,86,88,90,91,95,96],[50,80,81,83,85,86,87,89,90,91,95,96],[66,82,84,86,92,95,96],[25,79,80,82,84,85,86,89,92,95,96],[45,80,81,83,84,86,87,88,90,92,95,96],[54,64,65,66,68,69,70,71,75,76,77,78,79,80,81,82,86,89,90,92,95,96],[55,81,83,85,88,91,92,95,96],[18,80,81,82,83,85,86,87,89,91,92,95,96],[27,80,82,85,87,90,91,92,95,96],[30,65,66,67,69,70,72,75,77,78,80,83,84,85,86,88,89,90,91,92,95,96],[75,79,82,85,93,95,96],[26,81,85,86,87,89,93,95,96],[13,80,83,85,88,90,93,95,96],[55,65,66,67,69,70,72,74,76,78,81,83,84,86,89,90,93,95,96],[39,79,81,83,84,86,88,91,93,95,96],[44,79,80,81,82,83,86,89,91,93,95,96],[58,79,80,82,84,86,87,90,91,93,95,96],[41,80,81,83,84,85,86,87,89,90,91,93,95,96],[75,79,82,83,86,87,88,92,93,95,96],[27,64,66,68,69,71,74,75,76,77,80,82,85,89,92,93,95,96],[44,80,83,87,88,90,92,93,95,96],[9,80,81,86,88,89,90,92,93,95,96],[22,91,92,93,95,96],[7,80,81,82,83,84,85,89,91,92,93,95,96],[37,80,83,87,88,90,91,92,93,95,96],[5,79,80,81,84,86,88,89,90,91,92,93,95,96],[67,83,86,94,95,96],[28,80,81,82,85,88,89,94,95,96],[14,79,80,83,84,86,87,88,90,94,95,96],[53,72,74,76,83,85,87,89,90,94,95,96],[7,79,80,83,84,86,87,88,91,94,95,96],[19,79,81,82,85,87,89,91,94,95,96],[59,80,83,84,85,87,90,91,94,95,96],[4,79,82,83,85,88,89,90,91,94,95,96],[79,80,82,83,84,86,87,92,94,95,96],[29,64,67,68,69,75,80,81,83,84,87,88,89,92,94,95,96],[47,80,81,82,83,85,90,92,94,95,96],[11,79,81,84,87,88,89,90,92,94,95,96],[54,81,82,83,84,86,87,91,92,94,95,96],[56,80,85,87,88,89,91,92,94,95,96],[36,79,80,81,83,86,87,88,90,91,92,94,95,96],[40,79,81,82,89,90,91,92,94,95,96],[73,79,84,86,87,88,93,94,95,96],[30,65,66,67,69,70,72,75,77,78,79,82,83,89,93,94,95,96],[15,79,80,81,82,83,84,86,90,93,94,95,96],[10,80,81,82,84,85,86,87,89,90,93,94,95,96],[38,91,93,94,95,96],[6,79,80,81,85,86,88,89,91,93,94,95,96],[5,80,85,88,90,91,93,94,95,96],[31,66,68,69,71,74,76,77,79,84,85,87,89,90,91,93,94,95,96],[67,79,83,84,85,92,93,94,95,96],[31,66,68,69,71,74,76,77,79,80,83,85,87,88,89,92,93,94,95,96],[46,79,80,81,82,84,85,87,88,90,92,93,94,95,96],[52,79,87,88,89,90,92,93,94,95,96],[23,79,81,82,86,88,91,92,93,94,95,96],[45,64,69,70,72,75,77,79,80,83,84,87,88,89,91,92,93,94,95,96],[26,79,80,81,83,85,87,90,91,92,93,94,95,96],[51,66,71,75,77,78,83,86,88,89,90,91,92,93,94,95,96],[71,79,81,82,84,87,88,97],[32,79,81,83,84,85,86,87,88,89,97],[16,82,83,84,85,86,87,90,97],[33,81,82,83,84,87,88,89,90,97],[8,79,81,82,83,84,85,86,87,91,97],[31,66,68,69,71,74,76,77,79,80,83,84,85,86,88,89,91,97],[49,79,80,82,83,84,86,88,90,91,97],[58,68,69,71,72,73,74,75,76,77,78,79,82,84,85,89,90,91,97],[69,79,81,82,83,84,85,86,92,97],[33,80,84,89,92,97],[49,79,83,85,87,90,92,97],[31,66,68,69,71,74,76,77,79,85,86,89,90,92,97],[57,79,88,91,92,97],[52,82,84,85,87,89,91,92,97],[46,79,80,81,82,83,87,90,91,92,97],[22,79,81,83,84,85,86,87,88,89,90,91,92,97],[70,81,82,83,93,97],[34,79,82,85,88,89,93,97],[17,80,82,83,84,86,87,90,93,97],[30,65,66,67,69,70,72,75,77,78,80,82,83,84,86,89,90,93,97],[41,79,84,86,87,91,93,97],[10,80,82,83,84,85,87,89,91,93,97],[15,80,81,82,83,84,85,86,87,90,91,93,97],[33,79,81,85,86,87,88,89,90,91,93,97],[81,83,84,86,87,92,93,97],[35,80,81,82,83,86,87,89,92,93,97],[48,80,82,83,85,86,87,88,90,92,93,97],[32,80,84,85,86,89,90,92,93,97],[24,79,84,85,87,91,92,93,97],[33,79,80,82,83,85,86,89,91,92,93,97],[16,82,84,85,86,88,90,91,92,93,97],[13,79,84,89,90,91,92,93,97],[78,79,81,85,86,94,97],[36,80,81,83,84,87,88,89,94,97],[18,79,80,81,82,85,87,90,94,97],[28,81,83,84,86,87,88,89,90,94,97],[9,80,83,86,91,94,97],[53,72,74,76,79,80,81,84,85,86,89,91,94,97],[14,79,80,81,82,84,85,88,90,91,94,97],[12,79,81,82,83,84,85,86,87,89,90,91,94,97],[66,79,81,83,87,88,92,94,97],[37,79,83,85,87,89,92,94,97],[51,79,80,82,90,92,94,97],[34,80,81,82,83,84,89,90,92,94,97],[56,79,80,84,85,87,91,92,94,97],[30,65,66,67,69,70,72,75,77,78,79,83,85,88,89,91,92,94,97],[17,80,81,83,85,86,87,90,91,92,94,97],[32,79,80,83,84,85,89,90,91,92,94,97],[68,81,83,84,85,86,87,88,93,94,97],[38,80,82,83,86,87,89,93,94,97],[19,80,81,83,84,85,88,90,93,94,97],[35,79,81,85,86,87,88,89,90,93,94,97],[40,80,82,86,87,88,91,93,94,97],[32,81,84,85,87,88,89,91,93,94,97],[48,82,85,90,91,93,94,97],[23,66,69,71,74,76,78,83,84,88,89,90,91,93,94,97],[64,81,84,92,93,94,97],[39,64,67,68,69,71,74,80,83,85,86,89,92,93,94,97],[50,79,80,81,83,84,87,88,90,92,93,94,97],[29,64,67,68,69,75,81,82,85,87,88,89,90,92,93,94,97],[25,79,83,85,86,87,88,91,92,93,94,97],[11,81,82,87,88,89,91,92,93,94,97],[47,80,81,85,86,87,90,91,92,93,94,97],[59,68,70,71,72,76,77,79,83,84,86,88,89,90,91,92,93,94,97],[74,79,81,83,84,85,87,88,95,97],[40,80,82,84,89,95,97],[20,81,83,86,88,90,95,97],[24,79,81,83,84,86,89,90,95,97],[10,80,81,85,88,91,95,97],[8,81,84,86,88,89,91,95,97],[12,79,81,82,83,84,85,86,87,90,91,95,97],[21,81,84,89,90,91,95,97],[64,79,81,84,86,92,95,97],[41,80,81,82,83,87,88,89,92,95,97],[53,79,80,82,83,84,86,87,88,90,92,95,97],[38,80,81,82,83,84,87,88,89,90,92,95,97],[59,79,82,83,85,88,91,92,95,97],[35,80,82,86,87,89,91,92,95,97],[19,79,82,83,87,88,90,91,92,95,97],[57,64,66,70,73,74,75,80,81,82,83,84,85,88,89,90,91,92,95,97],[69,81,85,93,95,97],[42,82,88,89,93,95,97],[21,82,83,84,86,87,88,90,93,95,97],[39,64,67,68,69,71,74,81,82,84,86,87,88,89,90,93,95,97],[43,82,83,84,86,88,91,93,95,97],[29,64,67,68,69,75,80,81,82,85,86,88,89,91,93,95,97],[50,79,80,81,82,85,86,87,90,91,93,95,97],[14,79,81,83,84,85,86,89,90,91,93,95,97],[76,81,83,86,87,88,92,93,95,97],[43,66,68,74,76,79,80,81,82,84,87,89,92,93,95,97],[52,80,81,82,83,84,85,90,92,93,95,97],[25,79,83,86,89,90,92,93,95,97],[26,79,81,82,83,85,91,92,93,95,97],[54,64,65,66,68,69,70,71,75,76,77,78,79,83,85,88,89,91,92,93,95,97],[45,80,81,83,84,85,88,90,91,92,93,95,97],[34,80,81,82,84,85,86,89,90,91,92,93,95,97],[79,80,82,83,94,95,97],[44,80,81,83,85,86,88,89,94,95,97],[22,79,80,82,85,87,88,90,94,95,97],[37,79,80,81,84,85,87,89,90,94,95,97],[11,81,83,84,85,86,91,94,95,97],[34,79,82,83,86,88,89,91,94,95,97],[51,79,80,81,82,83,84,85,87,90,91,94,95,97],[35,79,83,85,86,87,88,89,90,91,94,95,97],[78,79,81,82,85,87,88,92,94,95,97],[45,64,69,70,72,75,77,79,80,83,84,85,86,88,89,92,94,95,97],[55,79,80,83,85,90,92,94,95,97],[27,64,66,68,69,71,74,75,76,77,86,87,88,89,90,92,94,95,97],[58,79,83,84,86,87,91,92,94,95,97],[9,79,83,84,85,88,89,91,92,94,95,97],[44,79,80,82,83,85,87,90,91,92,94,95,97],[15,65,68,69,70,71,72,74,75,76,77,79,80,82,83,84,85,88,89,90,91,92,94,95,97],[70,81,82,84,86,87,88,93,94,95,97],[46,64,69,75,77,79,83,89,93,94,95,97],[23,80,83,84,86,90,93,94,95,97],[26,80,81,82,85,86,89,90,93,94,95,97],[42,79,83,85,86,87,91,93,94,95,97],[55,65,66,67,69,70,72,74,76,78,79,80,83,84,86,88,89,91,93,94,95,97],[13,79,80,83,84,86,88,90,91,93,94,95,97],[56,79,82,83,86,88,89,90,91,93,94,95,97],[71,81,82,83,84,85,92,93,94,95,97],[47,64,65,66,67,68,74,75,77,80,81,83,84,85,86,89,92,93,94,95,97],[54,80,84,85,87,88,90,92,93,94,95,97],[36,79,80,82,83,84,86,89,90,92,93,94,95,97],[27,86,88,91,92,93,94,95,97],[28,80,81,82,85,88,89,91,92,93,94,95,97],[18,82,83,85,88,90,91,92,93,94,95,97],[20,79,81,85,87,89,90,91,92,93,94,95,97],[81,83,84,86,88,96,97],[48,84,85,87,89,96,97],[24,80,81,85,88,90,96,97],[16,81,82,84,85,86,87,89,90,96,97],[12,79,82,83,85,86,87,88,91,96,97],[49,79,80,81,83,84,88,89,91,96,97],[8,79,80,82,84,87,88,90,91,96,97],[39,64,67,68,69,71,74,79,82,83,87,89,90,91,96,97],[65,79,81,82,83,85,86,87,88,92,96,97],[49,79,81,82,83,85,86,87,89,92,96,97],[57,79,80,85,86,90,92,96,97],[46,64,69,75,77,80,81,82,83,84,85,87,88,89,90,92,96,97],[61,79,84,87,91,92,96,97],[26,79,82,83,86,87,89,91,92,96,97],[23,79,80,81,82,83,84,88,90,91,92,96,97],[11,79,83,85,86,87,88,89,90,91,92,96,97],[68,81,82,83,84,87,88,93,96,97],[50,79,82,83,89,93,96,97],[25,80,82,83,84,85,90,93,96,97],[47,64,65,66,67,68,74,75,77,82,84,86,89,90,93,96,97],[45,85,86,87,91,93,96,97],[36,81,82,84,87,88,89,91,93,96,97],[54,80,81,82,83,85,86,88,90,91,93,96,97],[60,64,68,70,71,73,76,77,81,83,84,85,87,89,90,91,93,96,97],[80,81,83,84,85,86,87,92,93,96,97],[51,66,71,75,77,78,79,80,81,82,84,85,86,87,88,89,92,93,96,97],[56,79,80,82,83,85,86,87,90,92,93,96,97],[17,80,83,84,87,88,89,90,92,93,96,97],[28,91,92,93,96,97],[15,65,68,69,70,71,72,74,75,76,77,81,85,86,88,89,91,92,93,96,97],[41,82,84,85,86,88,90,91,92,93,96,97],[16,81,82,83,84,85,86,88,89,90,91,92,93,96,97],[72,79,81,84,85,86,87,88,94,96,97],[52,79,80,81,82,83,84,85,87,88,89,94,96,97],[26,80,82,87,90,94,96,97],[45,64,69,70,72,75,77,79,81,85,87,89,90,94,96,97],[13,79,84,85,86,91,94,96,97],[27,64,66,68,69,71,74,75,76,77,80,82,85,86,88,89,91,94,96,97],[55,79,80,81,88,90,91,94,96,97],[17,80,81,82,83,85,87,88,89,90,91,94,96,97],[65,79,81,83,84,92,94,96,97],[53,72,74,76,79,80,82,84,85,86,88,89,92,94,96,97],[59,79,80,82,84,87,88,90,92,94,96,97],[19,81,83,85,88,89,90,92,94,96,97],[60,79,82,85,86,88,91,92,94,96,97],[48,80,83,84,85,86,88,89,91,92,94,96,97],[40,79,80,81,84,90,91,92,94,96,97],[61,66,67,70,71,75,79,80,82,83,85,86,87,89,90,91,92,94,96,97],[80,81,82,93,94,96,97],[54,64,65,66,68,69,70,71,75,76,77,78,79,81,82,84,85,86,87,88,89,93,94,96,97],[27,80,82,85,86,87,88,90,93,94,96,97],[18,80,81,86,87,88,89,90,93,94,96,97],[44,79,82,85,88,91,93,94,96,97],[14,80,81,85,87,88,89,91,93,94,96,97],[9,79,80,81,83,84,85,86,90,91,93,94,96,97],[10,82,84,86,87,88,89,90,91,93,94,96,97],[80,82,83,86,87,88,92,93,94,96,97],[55,65,66,67,69,70,72,74,76,78,79,80,81,84,85,86,89,92,93,94,96,97],[58,80,82,83,90,92,93,94,96,97],[44,81,85,86,87,89,90,92,93,94,96,97],[29,82,83,84,85,86,87,91,92,93,94,96,97],[37,79,81,83,84,85,88,89,91,92,93,94,96,97],[22,79,80,82,85,87,88,90,91,92,93,94,96,97],[38,80,81,82,83,84,87,88,89,90,91,92,93,94,96,97],[76,79,81,83,85,95,96,97],[56,79,84,88,89,95,96,97],[28,80,82,83,84,85,86,87,90,95,96,97],[41,79,80,81,83,85,89,90,95,96,97],[14,81,82,83,85,86,87,91,95,96,97],[38,80,82,83,86,87,89,91,95,96,97],[53,79,80,81,83,84,86,87,90,91,95,96,97],[8,80,83,84,85,89,90,91,95,96,97],[74,79,81,86,87,88,92,95,96,97],[57,64,66,70,73,74,75,81,82,83,84,86,89,92,95,96,97],[61,79,80,82,83,86,90,92,95,96,97],[23,66,69,71,74,76,78,79,81,82,83,84,86,89,90,92,95,96,97],[63,79,82,83,84,85,87,91,92,95,96,97],[13,79,80,83,84,85,88,89,91,92,95,96,97],[42,82,87,90,91,92,95,96,97],[36,79,84,86,89,90,91,92,95,96,97],[80,82,87,88,93,95,96,97],[58,68,69,71,72,73,74,75,76,77,78,80,85,86,87,89,93,95,96,97],[29,80,82,83,84,85,90,93,95,96,97],[22,79,81,83,84,85,86,87,88,89,90,93,95,96,97],[47,82,83,86,87,91,93,95,96,97],[51,66,71,75,77,78,79,80,82,83,86,88,89,91,93,95,96,97],[11,79,82,84,90,91,93,95,96,97],[19,79,80,82,83,84,87,88,89,90,91,93,95,96,97],[79,80,83,85,86,88,92,93,95,96,97],[59,68,70,71,72,76,77,79,80,85,86,87,88,89,92,93,95,96,97],[60,80,82,84,86,87,88,90,92,93,95,96,97],[40,79,80,81,86,87,88,89,90,92,93,95,96,97],[30,82,85,88,91,92,93,95,96,97],[24,80,83,86,87,88,89,91,92,93,95,96,97],[20,81,82,83,84,87,90,91,92,93,95,96,97],[63,65,66,67,72,73,77,78,83,84,85,88,89,90,91,92,93,95,96,97],[66,79,81,82,83,84,86,87,88,94,95,96,97],[60,64,68,70,71,73,76,77,79,80,81,83,89,94,95,96,97],[30,79,80,84,86,90,94,95,96,97],[20,79,81,82,84,85,86,88,89,90,94,95,96,97],[15,79,85,87,91,94,95,96,97],[12,79,82,83,85,86,87,88,89,91,94,95,96,97],[10,81,83,86,90,91,94,95,96,97],[62,64,67,68,70,71,74,76,77,78,81,82,85,87,89,90,91,94,95,96,97],[80,81,82,84,85,87,92,94,95,96,97],[61,66,67,70,71,75,79,84,85,89,92,94,95,96,97],[63,79,80,83,84,85,87,88,90,92,94,95,96,97],[42,79,83,85,86,88,89,90,92,94,95,96,97],[62,79,83,86,88,91,92,94,95,96,97],[39,64,67,68,69,71,74,79,80,81,84,85,88,89,91,92,94,95,96,97],[21,79,81,84,85,87,90,91,92,94,95,96,97],[18,79,83,86,89,90,91,92,94,95,96,97],[72,81,82,86,93,94,95,96,97],[62,64,67,68,70,71,74,76,77,78,79,80,81,82,83,86,87,88,89,93,94,95,96,97],[31,80,83,86,87,88,90,93,94,95,96,97],[43,66,68,74,76,79,82,84,87,89,90,93,94,95,96,97],[46,83,84,85,88,91,93,94,95,96,97],[25,80,82,83,84,87,88,89,91,93,94,95,96,97],[52,79,82,84,85,88,90,91,93,94,95,96,97],[37,79,80,85,88,89,90,91,93,94,95,96,97],[79,80,81,82,85,87,92,93,94,95,96,97],[63,65,66,67,72,73,77,78,80,82,83,84,85,89,92,93,94,95,96,97],[62,80,85,90,92,93,94,95,96,97],[21,79,82,83,84,85,86,88,89,90,92,93,94,95,96,97],[31,84,86,87,91,92,93,94,95,96,97],[50,79,84,85,86,88,89,91,92,93,94,95,96,97],[43,80,81,82,83,84,86,88,90,91,92,93,94,95,96,97],[9,81,83,88,89,90,91,92,93,94,95,96,97]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,1,2],"A_d":43435,"certified":null},"clifford":{"kind":"required","correction":{"S":[[0,1],[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],[16,1],[17,1],[18,1],[19,1],[20,1],[21,1],[22,1],[23,1],[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,1],[40,1],[41,1],[42,1],[43,1],[44,1],[45,1],[46,1],[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,1],[63,1],[64,3],[65,3],[66,3],[67,3],[68,3],[69,3],[70,3],[71,3],[72,3],[73,3],[74,3],[75,3],[76,3],[77,3],[78,3],[81,1],[82,2],[83,1],[84,1],[86,2],[87,3],[88,2]],"CZ":[[64,82],[64,83],[64,84],[64,92],[64,94],[65,79],[65,81],[65,84],[65,85],[65,86],[65,87],[65,88],[65,94],[65,96],[65,97],[66,81],[66,84],[66,92],[66,93],[66,94],[66,97],[67,79],[67,81],[67,86],[67,87],[67,88],[67,92],[67,95],[67,96],[67,97],[68,82],[68,83],[68,87],[68,88],[68,92],[68,94],[68,96],[69,83],[69,84],[69,86],[69,87],[69,88],[69,94],[69,95],[70,81],[70,82],[70,85],[70,86],[70,87],[70,88],[70,92],[70,93],[70,97],[71,82],[71,83],[71,84],[71,85],[71,87],[71,88],[71,95],[71,96],[72,81],[72,82],[72,83],[72,85],[72,87],[72,88],[72,92],[72,93],[72,94],[72,95],[72,96],[72,97],[73,79],[73,83],[73,93],[73,96],[74,79],[74,83],[74,93],[74,96],[75,82],[75,84],[75,85],[75,86],[75,87],[75,88],[75,94],[76,79],[76,81],[76,82],[76,83],[76,84],[76,86],[76,87],[76,88],[76,94],[76,95],[76,96],[76,97],[78,81],[78,82],[78,83],[78,85],[78,87],[78,88],[78,92],[78,93],[78,94],[78,95],[78,96],[78,97],[79,82],[79,83],[79,84],[79,85],[79,86],[79,90],[79,91],[79,94],[79,97],[80,81],[80,82],[80,84],[80,86],[80,89],[80,95],[80,96],[81,83],[81,84],[81,86],[81,87],[81,89],[81,90],[81,92],[82,84],[82,88],[82,89],[82,90],[82,91],[82,92],[82,93],[82,95],[82,97],[83,89],[83,91],[83,93],[83,95],[83,96],[83,97],[84,85],[84,87],[84,91],[84,94],[85,88],[85,90],[85,91],[85,93],[85,94],[85,95],[85,96],[86,89],[86,93],[86,95],[86,96],[87,90],[87,91],[87,92],[87,93],[87,97],[88,89],[88,95],[88,97]]},"rotation_powers":null},"metrics":{"gamma":1.5908553349520687,"gamma_t":null,"gamma_rho":1.5908553349520687,"gamma_claim":1.5908553349520687,"gamma_t_claim":null,"gamma_rho_claim":1.5908553349520687,"v_ex":89,"rate":0.17416829745596868,"t_count":null,"poly_degree":null,"effective_width":89},"provenance":{"regimes":["AI search: full-simplex pure-T frames"],"discovery":"AI search","strongest_claim":"widest pure-T frames held at n=511. DOMINATED on rate by the derived direct-sum baseline [[508,92,3]] = 4 x [[127,23,3]], rho = 508/92 = 5.5217. These are WIDTH points, explicitly NOT rate records: beating the baseline at n=511 needs k >= 93.","sources":[{"regime":"AI search: full-simplex pure-T frames","file":"campaigns/2026-09-15_255_511_rate/found/n511_k89_d3_DOMINATED_not_a_record.json","label":"0","N":98,"d":3,"d_is_exact":true,"origin":null,"provenance":"magic-states-AI campaigns/2026-09-15_255_511_rate. gab64 Gabidulin scaffold at r=9 plus rows supplied by the T-R1 reduction (a partial LINE spread of the relaxed rank-6 frame), finished with 10 generic Phi-drop-1 rows (tools/hybrid.py, 15-line seed, certificate cap 91). Supersedes nothing; the campaign's own [[255,43,3]] and [[511,81,3]] predecessors remain valid factories and remain dominated."}]},"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"}]}