{"id":"511.81.3.a","row":1108,"stored":{"file":"master_catalog.json","row":1108,"construction":null,"columns_sha256":null},"parameters":{"n":511,"k":81,"d":3,"N":90,"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","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","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]],"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]],"sk_fingerprint":"7e4e7496d169a4ff","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,65,66,67,71,72,73,74,76,77,78,79,81,83],[0,65,66,70,72,74,76,77,78,82],[0,65,67,69,70,76,77,78,79,83],[0,65,69,71,73,76,77,78,81,82],[0,66,67,69,72,74,79,82,83],[0,66,69,70,71,72,73,74,81],[0,67,70,71,73,79,81,82,83],[1,64,66,67,73,74,76,78,79,81,84],[1,64,66,69,72,73,74,75,77,78,79,82,83,85,86],[1,64,67,68,72,74,75,76,77,79,80,81,83,84,86],[1,64,68,69,74,79,80,82,85],[1,66,67,68,69,73,76,78,80,81,82,84,85],[1,66,68,72,73,75,77,78,80,83,86],[1,67,69,72,75,76,77,81,82,83,84,85,86],[2,64,65,66,67,69,71,73,74,75,77,79,80,81,82,85,86],[2,64,65,66,67,72,74,75,76,77,79,83,87],[2,64,65,68,69,72,74,78,82,83,86,87],[2,64,65,68,71,73,74,76,78,80,81,85],[2,66,67,68,69,75,76,77,78,79,82,86],[2,66,67,68,71,72,73,75,77,78,79,80,81,83,85,87],[2,69,71,72,73,76,80,81,82,83,85,86,87],[3,64,65,66,67,70,72,74,75,78,79,80,81,83,84,85,86,87],[3,64,65,67,70,72,75,77,82,85,86],[3,64,66,68,69,70,74,76,77,78,80,83,86,87],[3,64,68,69,70,76,79,81,82,84,86],[3,65,66,67,68,69,72,74,75,76,78,80,82,83,85,87],[3,65,67,68,69,72,75,76,77,79,81,84,85],[3,66,74,77,78,79,80,81,82,83,84,87],[4,64,65,66,67,68,71,75,76,79,82,83,87,88],[4,64,65,66,69,73,75,76,77,78,79,82,87],[4,64,67,68,69,71,79,81,82,86,87],[4,64,73,77,78,79,81,82,83,86,87,88],[4,65,66,67,68,71,73,75,76,77,78,81,86],[4,65,66,69,75,76,81,83,86,88],[4,67,68,69,71,73,77,78,83,88],[5,64,65,66,68,69,70,72,73,75,76,77,78,79,80,81,84,86],[5,64,65,66,69,75,80,81,82,84,85,86,87],[5,64,66,68,69,71,74,76,78,80,81,83,84,88],[5,64,66,69,70,71,72,73,74,77,79,80,81,82,83,84,85,87,88],[5,65,68,71,74,75,76,78,82,83,85,86,87,88],[5,65,70,71,72,73,74,75,77,79,83,86,88],[5,68,70,72,73,76,77,78,79,82,85,87],[6,64,66,67,68,70,72,73,74,77,78,79,80,82,86,87],[6,64,66,67,69,70,72,76,79,80,81,82,83,85,88],[6,64,67,68,70,71,72,74,75,77,79,83,87,88],[6,64,67,69,70,71,72,73,75,76,78,79,81,85,86],[6,66,68,69,71,74,75,76,77,80,81,82,85,87],[6,66,71,73,75,78,80,82,83,86,88],[6,68,69,73,74,76,77,78,81,83,85,86,87,88],[7,64,65,69,71,73,81,83,84,85,87,88],[7,64,65,69,71,75,80,83,86,87,88],[7,64,67,71,73,74,76,78,79,80,82,83,85,88],[7,64,67,71,74,75,76,78,79,81,82,83,84,86,88],[7,65,67,69,73,74,75,76,78,79,82,85,86,87],[7,65,67,69,74,76,78,79,80,81,82,84,87],[7,73,75,80,81,84,85,86],[8,64,66,68,69,73,75,76,78,82,83,88,89],[8,64,66,68,72,75,76,78,80,81,82,87,88],[8,64,66,69,71,72,73,76,83,89],[8,64,66,71,76,80,81,87],[8,68,69,71,73,75,78,80,81,82,83,87,88,89],[8,68,71,72,75,78,82,88],[8,69,72,73,80,81,83,87,89],[9,64,65,66,67,68,70,71,73,74,76,77,78,83,86,89],[9,64,65,66,69,70,71,75,76,77,82,85,88],[9,64,65,67,71,72,75,77,80,81,82,84,85,87,88],[9,64,65,68,69,71,72,73,74,77,78,80,81,83,84,86,87,89],[9,66,67,69,70,72,76,80,81,84,87],[9,66,68,70,72,73,74,75,76,78,80,81,82,83,84,85,86,87,88,89],[9,67,68,69,73,74,75,78,82,83,85,86,88,89],[10,65,66,67,69,72,73,74,76,80,82,83,86,87,88,89],[10,65,66,68,69,72,74,77,78,80,81,83,85,89],[10,65,67,69,70,71,72,73,75,76,77,80,82,86,88],[10,65,68,69,70,71,72,75,78,80,81,85,87],[10,66,67,68,70,71,73,74,75,76,78,81,82,83,85,86,88,89],[10,66,70,71,74,75,77,83,87,89],[10,67,68,73,76,77,78,81,82,85,86,87,88],[11,64,65,67,68,75,76,77,78,79,81,84,85,87],[11,64,65,69,71,73,74,76,78,80,82,83,85,87,88,89],[11,64,66,67,68,72,73,74,76,82,85,86,88],[11,64,66,69,71,72,75,76,77,79,80,81,83,84,85,86,89],[11,65,66,67,68,69,71,72,78,80,83,86,87,89],[11,65,66,72,73,74,75,77,78,79,81,82,84,86,87,88],[11,67,68,69,71,73,74,75,77,79,80,81,82,83,84,88,89],[12,64,65,66,67,68,69,70,71,72,74,76,77,78,79,80,81,86,87],[12,64,65,68,69,70,72,73,76,77,80,83,88,89],[12,64,66,67,68,69,70,75,76,77,78,79,81,82,83,86,89],[12,64,68,69,70,71,73,74,75,76,77,82,87,88],[12,65,66,67,72,73,75,78,79,80,81,82,86,88],[12,65,71,72,74,75,80,82,83,87,89],[12,66,67,71,73,74,78,79,81,83,86,87,88,89],[13,64,65,66,67,71,72,74,80,82,83,85,86,87,89],[13,64,65,66,67,79,80,81,83,84,87,88,89],[13,64,67,68,71,72,76,79,81,82,83,84,85,89],[13,64,67,68,74,76,83,86,88,89],[13,65,66,68,71,72,76,80,82,85,87,88],[13,65,66,68,74,76,79,80,81,84,86,87],[13,71,72,74,79,81,82,84,85,86,88],[14,64,65,67,71,72,73,76,78,79,82,86,87,88],[14,64,65,71,72,74,75,76,78,79,81,82,85,88],[14,64,67,68,72,79,80,82,83,86,89],[14,64,68,72,73,74,75,79,80,81,82,83,85,87,89],[14,65,67,68,71,74,75,76,78,80,81,83,85,86,88,89],[14,65,68,71,73,76,78,80,83,87,88,89],[14,67,73,74,75,81,85,86,87],[15,64,66,67,68,71,72,73,74,76,78,81,82,84,88],[15,64,66,68,69,70,71,73,77,81,82,83,84,86,87,89],[15,64,67,77,81,83,84,85,88,89],[15,64,69,70,72,74,76,78,81,84,85,86,87],[15,66,67,68,69,70,71,73,82,85,86,87,88],[15,66,68,71,72,73,74,76,77,78,82,83,85,89],[15,67,69,70,72,74,76,77,78,83,86,87,88,89],[16,64,65,66,67,68,69,71,72,73,77,78,80,81,82,88,89],[16,64,65,66,67,70,72,77,81,82,83,84,85,88,89],[16,64,66,67,68,69,70,73,78,79,82,83,84,85,89],[16,64,66,67,71,79,80,82,89],[16,65,68,69,72,73,77,78,79,81,88],[16,65,70,71,72,77,79,80,81,83,84,85,88],[16,68,69,70,71,73,78,80,83,84,85],[17,64,65,67,68,70,71,73,75,76,77,81,84,88],[17,64,65,67,69,71,76,77,78,79,80,81,82,83,86,88,89],[17,64,68,70,72,76,77,80,81,83,85,86,88],[17,64,69,72,73,75,76,77,78,79,81,82,84,85,88,89],[17,65,67,68,69,70,71,72,78,79,82,85,89],[17,65,67,71,72,73,75,80,83,84,85,86],[17,68,69,70,73,75,78,79,80,82,83,84,86,89],[18,64,65,66,68,69,70,71,72,74,75,78,79,80,82,86,89],[18,64,65,69,73,74,76,77,79,80,81,82,83,84,86,87,88,89],[18,64,66,70,73,76,78,80,81,85,88],[18,64,68,71,72,75,77,80,83,84,85,87],[18,65,66,69,70,74,77,78,79,82,83,84,85,86,87,89],[18,65,68,69,71,72,73,74,75,76,79,81,82,85,86,88,89],[18,66,68,70,71,72,73,75,76,77,78,81,83,84,87,88],[19,64,65,66,70,71,72,73,75,76,77,79,80,81,82,83,85,87,88,89],[19,64,65,66,70,72,73,74,76,78,79,81,83,86,87,88],[19,64,65,67,69,70,71,74,77,78,79,80,83,84,85,86,87],[19,64,65,67,69,70,75,79,82,83,84,87,89],[19,66,67,69,71,72,73,76,77,80,81,84,85,88],[19,66,67,69,72,73,74,75,76,78,81,82,84,86,88,89],[19,71,74,75,77,78,80,82,85,86,89],[20,65,66,67,69,70,74,75,76,78,81,83,84,85,86],[20,65,66,69,73,83,84,85,88],[20,65,67,70,71,72,74,75,77,78,82,83,84,85,87,88,89],[20,65,71,72,73,76,77,81,82,83,84,85,86,87,89],[20,66,67,69,70,71,72,73,74,75,77,78,82,87,89],[20,66,69,71,72,76,77,81,82,86,87,88,89],[20,67,70,73,74,75,76,78,81,86,88],[21,64,65,66,70,71,72,73,75,76,77,79,82,83,84,86,87,88,89],[21,64,65,67,68,71,73,74,75,77,78,82,85,87,89],[21,64,66,67,68,69,70,71,76,78,81,83,85],[21,64,69,71,72,74,79,81,84,86,88],[21,65,66,69,70,73,74,75,76,77,81,82,83,87,89],[21,65,67,68,69,72,73,75,77,78,79,81,82,84,85,86,87,88,89],[21,66,67,68,70,72,74,76,78,79,83,84,85,86,88],[22,64,65,66,67,68,69,75,76,77,81,85,86,88],[22,64,65,66,70,72,74,75,77,78,79,83,84,85,87,88],[22,64,67,69,71,72,74,75,76,77,79,81,82,85,87,88,89],[22,64,68,70,71,75,77,78,82,83,84,85,86,88,89],[22,65,66,67,69,70,71,76,78,81,82,83,84,89],[22,65,66,68,71,72,74,79,82,86,87,89],[22,67,68,69,70,72,74,76,78,79,81,83,84,86,87],[23,64,65,66,68,69,73,75,81,82,84,87,88,89],[23,64,65,67,69,70,71,72,75,78,79,81,83,87],[23,64,66,67,68,69,72,73,74,76,78,80,83,84,85,86,87,88],[23,64,69,70,71,74,76,79,80,82,85,86,87,89],[23,65,66,68,70,71,73,74,75,76,79,80,81,84,85,86,88],[23,65,67,72,74,75,76,78,80,81,82,83,85,86,89],[23,66,67,68,70,71,72,73,78,79,82,83,84,88,89],[24,64,65,67,68,69,72,73,76,77,83,84,85,89],[24,64,65,67,68,70,74,78,79,82,88,89],[24,64,65,68,69,72,73,77,78,79,81,82,83,84,85,87],[24,64,65,68,70,74,76,81,87,88],[24,67,69,70,72,73,74,77,81,83,84,85,87,88,89],[24,67,76,78,79,81,82,87,89],[24,69,70,72,73,74,76,77,78,79,82,83,84,85,88],[25,64,65,66,68,70,71,73,74,79,80,81,82,83,86,87],[25,64,65,67,68,69,70,71,72,73,76,78,81,83,85,86,87,88,89],[25,64,66,67,69,70,72,73,76,77,82,83,84,86,88],[25,64,70,73,74,77,78,79,80,83,84,85,86,89],[25,65,66,68,71,77,78,81,82,84,85,87,89],[25,65,67,68,69,71,72,74,76,77,79,80,81,84,87,88],[25,66,67,69,72,74,76,78,79,80,82,85,88,89],[26,64,65,66,67,68,70,75,77,78,79,81,82,83,84,86],[26,64,65,67,68,69,70,72,74,76,78,79,82,83,84,85,86,87,88],[26,64,66,74,76,77,78,79,80,81,82,85,86,87,89],[26,64,69,72,75,78,79,80,82,86,88,89],[26,65,66,67,68,69,70,72,77,80,81,83,84,88,89],[26,65,67,68,70,74,75,76,80,83,84,85,87,89],[26,66,69,72,74,75,76,77,81,85,87,88],[27,64,65,67,68,69,71,72,74,75,77,81,82,83,85],[27,64,65,67,68,71,74,77,80,81,82,84,86,87,89],[27,64,66,67,69,70,71,72,74,75,78,80,81,83,86,88,89],[27,64,66,67,70,71,74,78,81,84,85,87,88],[27,65,66,68,69,70,72,75,77,78,82,83,84,87,88],[27,65,66,68,70,77,78,80,82,85,86,88,89],[27,69,72,75,80,83,84,85,86,87,89],[28,64,65,66,68,70,71,74,75,80,82,83,84,85,87],[28,64,65,68,70,74,76,77,80,81,82,86,89],[28,64,66,67,69,71,72,75,76,78,83,84,85,88,89],[28,64,67,69,72,77,78,81,86,87,88],[28,65,66,67,68,69,70,71,72,74,75,77,78,80,81,82,83,84,85,86,88],[28,65,67,68,69,70,72,74,76,78,80,82,87,88,89],[28,66,71,75,76,77,81,83,84,85,86,87,89],[29,64,65,66,68,70,73,75,76,78,80,81,83,85,87,89],[29,64,65,66,68,71,73,75,77,78,80,83,84,85,86,88,89],[29,64,66,67,70,71,74,75,76,77,79,80,81,82,84,85,86,89],[29,64,66,67,74,75,79,80,82,85,87,88,89],[29,65,67,68,70,73,74,76,78,79,81,82,83,88],[29,65,67,68,71,73,74,77,78,79,82,83,84,86,87],[29,70,71,76,77,81,84,86,87,88],[30,65,66,67,68,70,78,81,85,86,87,88],[30,65,66,67,68,73,74,80,81,82,85,89],[30,65,68,70,71,74,75,76,77,81,83,84,86,89],[30,65,68,71,73,75,76,77,78,80,81,82,83,84,87,88],[30,66,67,70,71,73,75,76,77,80,82,83,84,85,86],[30,66,67,71,74,75,76,77,78,83,84,85,87,88,89],[30,70,73,74,78,80,82,86,87,88,89],[31,64,65,69,71,72,76,78,79,81,84,85,86,87,88],[31,64,65,69,72,73,74,80,82,85,86,87,88,89],[31,64,70,71,73,76,79,80,82,83,84],[31,64,70,74,78,81,83,89],[31,65,69,70,71,72,74,76,79,83,84,85,86,87,88,89],[31,65,69,70,72,73,78,80,81,82,83,85,86,87,88],[31,71,73,74,76,78,79,80,81,82,84,89],[32,64,65,66,67,69,73,77,81,89],[32,64,65,66,68,69,70,71,72,73,74,76,77,78,80,81,82,84,85,89],[32,64,65,67,68,69,71,72,74,76,77,78,79,80,82,83,84,86],[32,64,65,69,70,77,79,83,85,86],[32,66,67,70,73,79,81,83,85,86,89],[32,66,68,71,72,73,74,76,78,79,80,81,82,83,84,86,89],[32,67,68,70,71,72,74,76,78,80,82,84,85],[33,64,65,66,67,68,70,71,74,76,79,81,83,84,85,89],[33,64,65,66,67,69,71,74,77,79,82,84],[33,64,67,68,72,73,74,76,77,80,83,85],[33,64,67,69,70,72,73,74,80,81,82,89],[33,65,66,68,69,71,72,73,76,79,80,82,83,84,85],[33,65,66,70,71,72,73,77,79,80,81,84,89],[33,68,69,70,76,77,81,82,83,85,89],[34,65,67,68,69,70,71,72,73,75,77,79,80,81,82,84,86,89],[34,65,67,68,70,73,74,75,76,79,81,83,86,87,89],[34,65,69,71,75,76,80,82,84,85,86],[34,65,72,74,75,77,83,85,86,87],[34,67,68,69,70,71,73,74,79,80,81,82,83,84,85,87,89],[34,67,68,70,72,73,76,77,79,81,85,89],[34,69,71,72,74,76,77,80,82,83,84,87],[35,64,66,67,69,71,72,82,83,84,85,86,87],[35,64,66,68,70,71,72,75,79,82,84,86],[35,64,67,70,71,73,75,76,78,79,80,81,83,84,87,89],[35,64,68,69,71,73,76,78,80,81,84,85,89],[35,66,67,68,72,73,76,78,80,81,82,83,86,87,89],[35,66,69,70,72,73,75,76,78,79,80,81,82,85,86,89],[35,67,68,69,70,75,79,83,85,87],[36,64,66,67,68,70,72,74,75,77,79,80,81,82,83,84,87,88,89],[36,64,66,68,69,71,73,74,75,83,85,86,88],[36,64,67,68,69,71,73,75,80,82,84,85,87],[36,64,68,70,72,75,77,79,81,86,89],[36,66,67,74,80,82,83,84,86,87,88],[36,66,69,70,71,72,73,74,77,79,81,83,85,88,89],[36,67,69,70,71,72,73,77,79,80,81,82,84,85,86,87,89],[37,64,65,66,67,70,71,72,73,77,80,83,85,88],[37,64,65,68,69,70,72,74,75,76,77,78,81,83,84,85,86,88,89],[37,64,66,67,68,69,71,73,74,81,82,83,85,86,87,88,89],[37,64,75,76,78,80,82,83,84,85,87,88],[37,65,66,67,70,71,72,73,75,76,77,78,82,84,87],[37,65,68,69,70,72,74,77,80,81,82,86,87,89],[37,66,67,68,69,71,73,74,75,76,78,80,81,84,86,89],[38,64,65,66,68,73,74,76,77,78,82,83,84,88],[38,64,65,70,71,72,73,74,77,82,84,85,86,87],[38,64,66,68,69,75,76,78,79,81,82,83,84,85,86,88,89],[38,64,69,70,71,72,75,79,81,82,84,87,89],[38,65,66,68,69,70,71,72,73,74,75,76,77,78,79,81,83,87,88,89],[38,65,69,73,74,75,77,79,81,85,86,89],[38,66,68,70,71,72,76,78,83,85,86,87,88],[39,64,65,66,67,68,69,70,71,72,73,79,80,81,82,85,87,89],[39,64,65,67,70,71,72,73,74,75,76,77,78,81,84,85,86,89],[39,64,66,69,70,71,72,75,77,80,81,83,84,86,87,88,89],[39,64,68,70,71,72,74,76,78,79,81,82,83,88,89],[39,65,66,67,69,73,74,76,78,80,83,85,87,88],[39,65,67,68,73,75,77,79,82,83,84,85,86,88],[39,66,68,69,74,75,76,77,78,79,80,82,84,86,87],[40,65,66,67,70,72,74,75,77,79,81,87,89],[40,65,66,67,72,75,77,78,80,82,84,85,88],[40,65,66,69,70,71,73,75,77,80,81,83,85,86,87],[40,65,66,69,71,73,74,75,77,78,79,82,83,84,86,88,89],[40,67,69,70,71,72,73,78,81,82,83,84,86,87,88],[40,67,69,71,72,73,74,79,80,83,85,86,89],[40,70,74,78,79,80,81,82,84,85,87,88,89],[41,64,65,66,69,71,74,75,78,79,81,84,87,89],[41,64,65,67,69,71,73,75,77,79,80,82,83,84,85,88,89],[41,64,66,68,69,70,73,74,75,76,77,78,79,80,81,83,84,85,87],[41,64,67,68,69,70,75,76,79,82,84,88],[41,65,66,67,68,70,71,74,76,78,81,82,87,88,89],[41,65,68,70,71,73,76,77,80,83,85,89],[41,66,67,73,74,77,78,80,81,82,83,85,87,88],[42,64,66,67,70,71,73,74,76,77,79,83,85,86,87,89],[42,64,66,67,70,76,77,79,80,81,82,84,86,87,88,89],[42,64,67,68,69,71,73,75,77,80,82,83,84,87,88,89],[42,64,67,68,69,74,75,77,81,85,87,89],[42,66,68,69,70,71,73,75,76,79,81,83,86],[42,66,68,69,70,74,75,76,79,80,82,84,85,86,88],[42,71,73,74,80,81,82,83,84,85,88],[43,64,65,68,69,70,73,74,76,77,78,79,81,83,84],[43,64,65,68,72,73,75,76,77,79,82,84,86,88],[43,64,65,69,71,72,73,75,76,77,78,79,83,85,87,89],[43,64,65,70,71,73,74,76,77,79,81,82,85,86,87,88,89],[43,68,69,71,78,82,83,84,85,86,87,88,89],[43,68,70,71,72,74,75,81,84,85,87,89],[43,69,70,72,74,75,78,81,82,83,86,88],[44,64,65,66,67,69,70,71,74,76,80,82,84,85,87,88],[44,64,65,67,68,70,71,74,76,78,79,81,82,84,85,86,88,89],[44,64,66,69,71,72,73,74,75,78,79,81,82,83,84],[44,64,68,71,72,73,74,75,80,82,83,84,86,87,89],[44,65,66,67,68,69,70,72,73,75,76,83,85,86,88,89],[44,65,67,70,72,73,75,76,78,79,80,81,83,85,87,88],[44,66,68,69,78,79,80,81,86,87,89],[45,64,66,67,68,70,71,73,74,77,79,80,81,84,86,87,89],[45,64,66,70,71,72,75,78,80,81,82,86,88,89],[45,64,67,68,70,71,76,78,81,83,84,85,86,87,88],[45,64,70,71,72,73,74,75,76,77,79,81,82,83,85,86],[45,66,67,68,72,75,76,80,82,83,84,85,87,89],[45,66,73,74,76,77,78,79,80,83,85,88,89],[45,67,68,72,73,74,75,77,78,79,82,84,87,88],[46,64,65,66,67,68,70,75,76,80,83,85,86,87,88,89],[46,64,65,72,74,75,81,85,86,87,89],[46,64,66,68,70,72,73,74,75,78,80,82,84,85,86,87,88],[46,64,67,73,75,76,78,81,82,83,84,85,86,87],[46,65,66,68,70,73,78,80,81,82,84,88,89],[46,65,67,72,73,74,76,78,82,83,84,89],[46,66,67,68,70,72,74,76,80,81,83,88],[47,64,65,66,67,72,73,74,75,78,82,83,84,85,86,89],[47,64,65,66,70,71,72,73,74,75,76,77,78,80,81,83,84,86,88],[47,64,66,67,69,70,72,74,76,79,80,83,85,87,88,89],[47,64,66,69,71,72,74,77,79,81,82,83,87],[47,65,67,69,71,73,75,77,78,79,81,84,85,86,87,89],[47,65,69,70,73,75,76,78,79,80,82,84,86,87,88],[47,67,70,71,76,77,80,81,82,85,88,89],[48,64,65,66,68,73,74,75,76,78,80,81,82,83,85,86,88],[48,64,65,68,73,79,80,82,84,85,89],[48,64,66,67,68,69,70,71,75,76,79,83,84,86],[48,64,67,68,69,70,71,74,78,81,88,89],[48,65,66,67,69,70,71,73,75,76,80,82,83,85,86,89],[48,65,67,69,70,71,73,74,78,79,80,81,82,84,85,88],[48,66,74,75,76,78,79,81,83,84,86,88,89],[49,64,65,66,68,69,70,71,72,73,74,81,82,83,84,88],[49,64,65,66,71,72,73,74,77,78,79,80,83,84],[49,64,65,68,71,73,74,77,80,81,83,88,89],[49,64,65,69,70,71,73,74,78,79,82,83,89],[49,66,68,72,78,79,81,84,88,89],[49,66,69,70,72,77,80,82,84,89],[49,68,69,70,77,78,79,80,81,82,88],[50,64,65,66,69,70,71,77,78,80,81,82,84,86,88],[50,64,65,67,68,69,70,72,73,74,75,80,81,82,83,87,88],[50,64,66,68,69,70,71,75,77,80,82,83,85,87,89],[50,64,67,69,70,72,73,74,78,80,82,84,85,86,89],[50,65,66,67,71,72,73,74,77,81,85,88,89],[50,65,68,75,78,81,83,84,85,86,87,88,89],[50,66,67,68,71,72,73,74,75,77,78,83,84,86,87],[51,64,65,66,67,71,74,77,81,82,83,84,85,86,87,88],[51,64,65,66,69,70,73,74,78,81,84,85,88,89],[51,64,67,68,69,70,73,75,80,81,82,85,86,88],[51,64,68,71,75,77,78,80,81,83,85,87,88,89],[51,65,66,67,68,74,75,78,80,82,84,86,89],[51,65,66,68,69,70,71,73,74,75,77,80,83,84,87],[51,67,69,70,71,73,77,78,82,83,86,87,89],[52,64,65,67,69,73,74,75,80,83,84,86,88],[52,64,65,71,72,73,81,86,88,89],[52,64,67,68,70,72,76,79,82,83,85,86,87,88,89],[52,64,68,69,70,71,74,75,76,79,80,81,82,84,85,86,87,88],[52,65,67,68,70,71,73,76,79,81,82,83,85,87],[52,65,68,69,70,72,73,74,75,76,79,80,82,84,85,87,89],[52,67,69,71,72,74,75,80,81,83,84,89],[53,64,65,66,67,69,70,74,76,79,80,81,82,86,87,88],[53,64,65,67,68,69,71,72,73,76,80,81,83,86,89],[53,64,66,71,74,77,79,80,82,84,87,89],[53,64,68,70,72,73,77,80,83,84,88],[53,65,66,67,68,69,72,73,74,76,77,79,81,82,83,84,86,87],[53,65,67,69,70,71,76,77,81,84,86,88,89],[53,66,68,70,71,72,73,74,79,82,83,87,88,89],[54,65,66,67,68,69,71,72,73,75,80,81,83,84,85,87,89],[54,65,66,68,69,70,71,72,73,74,75,77,78,79,81,82,83,86],[54,65,67,70,72,76,77,83,84,86,87,88],[54,65,72,74,76,78,79,80,82,83,85,88,89],[54,66,67,68,69,71,73,74,75,76,78,79,81,82,84,87,88],[54,66,68,69,70,71,73,75,76,77,80,81,85,86,88,89],[54,67,70,74,77,78,79,80,82,84,85,86,87,89],[55,64,65,66,68,69,70,72,73,74,75,77,78,79,80,82,84,86,87,89],[55,64,65,66,70,72,73,75,77,78,80,82,83,86,88,89],[55,64,66,67,68,72,78,79,80,81,84,85,86,88,89],[55,64,66,67,69,72,74,78,80,81,83,85,86,87,89],[55,65,67,68,70,73,75,77,79,81,82,83,84,85],[55,65,67,69,70,73,74,75,77,81,82,85,87,88],[55,68,69,74,79,83,84,87,88],[56,64,65,66,67,69,70,74,76,77,79,81,82,83,85,86,87,89],[56,64,65,68,69,70,71,72,73,75,76,77,78,82,83,85,86,88],[56,64,66,67,68,70,72,74,75,76,77,78,79,80,81,82,84,85,87],[56,64,70,71,73,76,77,80,82,84,85,88,89],[56,65,66,67,69,71,73,74,79,80,81,83,84,86,87,88],[56,65,68,69,72,75,78,80,83,84,86,89],[56,66,67,68,71,72,73,74,75,78,79,81,87,88,89],[57,64,65,66,67,71,72,73,74,77,80,81,82,83,84,87,89],[57,64,65,70,71,72,74,79,81,82,87],[57,64,66,67,68,69,73,75,78,79,80,81,83,87,88],[57,64,68,69,70,75,77,78,81,84,87,88,89],[57,65,66,67,68,69,70,71,72,73,74,75,78,80,82,83,88],[57,65,68,69,71,72,74,75,77,78,79,82,84,88,89],[57,66,67,70,73,77,79,80,83,84,89],[58,64,65,66,67,68,69,71,72,76,77,80,82,84,85,86,88,89],[58,64,65,66,67,69,70,71,75,78,79,81,85,87,88,89],[58,64,65,66,68,70,75,76,77,78,79,83,84,86,87,89],[58,64,65,66,72,80,81,82,83,89],[58,67,68,69,71,76,77,81,83,84,85,86,88],[58,67,69,70,71,72,75,78,79,80,82,83,85,87,88],[58,68,70,72,75,76,77,78,79,80,81,82,84,86,87],[59,64,65,67,69,70,71,73,79,80,81,82,83,84,85,86,89],[59,64,65,69,73,75,76,77,81,83,85,88],[59,64,66,67,69,72,74,75,78,79,80,83,84,87,89],[59,64,66,69,70,71,72,74,76,77,78,82,83,86,87,88],[59,65,66,67,72,73,74,76,77,78,79,80,81,84,85,87,88,89],[59,65,66,70,71,72,73,74,75,78,81,82,85,86,87],[59,67,70,71,75,76,77,79,80,82,84,86,88,89],[60,65,66,69,71,74,76,78,79,80,81,82,83,85,88,89],[60,65,66,70,72,73,74,75,78,81,82,84,85,86],[60,65,68,69,70,71,73,79,80,81,86,87,88,89],[60,65,68,72,75,76,81,83,84,87],[60,66,68,69,71,72,74,75,78,79,80,82,84,85,87,88,89],[60,66,68,70,73,74,76,78,82,83,85,86,87],[60,69,70,71,72,73,75,76,79,80,83,84,86,88,89],[61,64,65,67,72,74,75,78,81,84,86,87,88,89],[61,64,65,68,70,71,73,75,76,82,84,87,88,89],[61,64,67,70,74,75,77,78,79,82,83,87],[61,64,68,71,72,73,75,76,77,79,81,83,86,87],[61,65,67,68,71,73,74,76,77,78,79,83,84,88,89],[61,65,70,72,77,79,81,82,83,84,86,88,89],[61,67,68,70,71,72,73,74,76,78,81,82,86],[62,64,65,66,67,68,70,73,82,83,85],[62,64,65,67,70,74,76,77,79,80,81,82,84],[62,64,66,68,71,72,74,79,81,85,86,87,88,89],[62,64,71,72,73,76,77,80,83,84,86,87,88,89],[62,65,66,67,68,70,71,72,76,77,80,82,84,85,86,87,88,89],[62,65,67,70,71,72,73,74,79,81,82,83,86,87,88,89],[62,66,68,73,74,76,77,79,80,81,83,84,85],[63,64,65,66,71,72,73,74,77,80,81,83,85,86],[63,64,65,68,69,70,71,72,73,74,77,78,83,84,87,88,89],[63,64,66,68,70,71,72,75,76,77,78,81,82,85],[63,64,69,71,72,75,76,77,80,82,84,86,87,88,89],[63,65,66,69,73,74,75,76,81,82,83,84,85,87,88,89],[63,65,68,70,73,74,75,76,78,80,82,83,86],[63,66,68,69,70,78,80,81,84,85,86,87,88,89],[64,65,66,67,68,69,71,72,73,75,77,80,87,88],[64,65,66,67,68,70,73,74,76,78,79,80,84,87,88],[64,65,66,67,74,79,84,85,86,89],[64,65,66,68,70,72,74,75,78,84,85,89],[64,65,66,68,70,72,74,77,78,79,85],[64,65,66,69,70,73,75,76,78,79,80,86,88,89],[64,65,66,69,71,72,73,74,76,85,86,87,89],[64,65,67,68,70,71,73,74,77,85,86,88],[64,65,67,68,73,74,75,77,79,80,86,87],[64,65,67,69,70,71,73,76,77,80,84,86,87,88,89],[64,65,67,69,72,73,75,76,78,84,85,87,88],[64,65,67,70,71,72,73,89],[64,65,67,72,76,85,87,88,89],[64,65,68,69,70,71,72,74,75,76,78,79,80,84,86,87],[64,65,68,71,73,75,79,80,84,86],[64,65,71,78,79,84,85,88,89],[64,66,67,68,69,72,76,77,78,79,80,84,88],[64,66,67,69,71,72,73,75,86,88],[64,66,67,70,71,74,75,76,86,87,88],[64,66,68,71,72,76,77,84,87,88,89],[64,66,68,72,75,78,80,88,89],[64,66,70,76,77,79,80,84,86,88],[64,66,71,74,75,84,85,86,87],[64,67,68,69,84,86,87,89],[64,67,68,70,71,72,73,75,76,78,79,85,87,89],[64,67,69,70,71,74,75,76,78,79,84,85,86,88,89],[64,67,70,71,72,76,79,80,84],[64,68,71,76,77,78,79,80,86,89],[64,69,70,72,75,87],[64,69,70,73,76,78,79,80,85,86,87,88,89],[64,70,72,73,74,77,78,79,80,84,87,89],[65,66,67,68,69,70,71,72,73,75,76,77,78,79,80,84,85,87],[65,66,67,68,69,70,73,74,76,87,88,89],[65,66,67,68,69,71,74,76,77,78,80,84,85],[65,66,67,70,72,76,78,79,84,85,86,87,89],[65,66,67,71,72,73,75,76,79,84,86,88,89],[65,66,68,69,72,75,77,78,79,80,84,85,86,88],[65,66,68,71,74,76,80,88],[65,66,69,70,71,72,74,76,80,85,86,89],[65,66,72,73,74,75,76,77,78,80,86,87,88,89],[65,67,68,69,70,72,73,75,77,80,86],[65,67,68,69,71,72,75,78,79,85,86,87,88],[65,68,70,76,77,78,79,80,84,85,86,87,88],[65,69,71,73,74,75,76,84,85,87,88,89],[65,69,71,73,77,78,87,89],[65,69,73,76,78,80,84,89],[66,67,68,69,71,75,76,77,78,79,85,89],[66,67,69,70,72,74,78,79,80,85,86,87],[66,67,73,74,77,85,86],[66,68,69,70,71,73,76,77,78,80,84,88,89],[66,68,69,70,73,75,80,84,85,87,89],[66,68,73,75,77,79,80,85,87],[66,69,70,71,72,74,77,78,84,85,86],[66,69,73,74,76,78,79,84,86,87,88],[67,68,69,70,72,77,78,84,86,89],[67,68,71,72,78,80,84,85,86,87,88,89],[67,68,71,73,74,75,80,84,87],[67,69,70,74,75,76,77,79,80,85,88,89],[67,70,73,78,80,84,85,88],[68,70,72,73,74,79,86,87,89],[68,71,72,74,75,76,78,79,80,85,86,88,89],[69,71,72,74,75,77,85,88],[70,73,75,76,78,80,85,87,88]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,1,6],"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,1],[65,1],[66,3],[67,3],[68,1],[69,1],[70,1],[71,1],[72,1],[73,3],[74,3],[75,2],[76,2]],"CZ":[[64,70],[64,72],[64,73],[64,74],[64,77],[64,80],[65,67],[65,68],[65,71],[65,72],[65,74],[65,75],[65,76],[65,77],[65,78],[66,68],[66,71],[66,73],[66,74],[66,75],[66,76],[66,78],[66,79],[67,70],[67,71],[67,75],[67,76],[67,78],[67,80],[67,81],[67,82],[67,83],[67,84],[67,85],[68,70],[68,71],[68,72],[68,73],[68,74],[68,75],[68,81],[68,82],[68,85],[68,86],[68,87],[69,71],[69,72],[69,73],[69,75],[69,77],[69,79],[69,80],[70,74],[70,77],[70,82],[70,83],[70,84],[70,85],[70,87],[70,88],[71,72],[71,73],[71,75],[71,78],[71,80],[71,81],[71,82],[71,83],[71,84],[71,85],[71,87],[71,88],[71,89],[72,75],[72,76],[72,77],[72,78],[72,80],[72,83],[72,86],[72,87],[72,88],[73,74],[73,76],[73,77],[73,80],[73,83],[73,84],[73,85],[73,86],[73,87],[73,88],[74,76],[74,80],[74,82],[74,83],[74,85],[75,76],[75,79],[75,81],[75,83],[75,84],[75,88],[75,89],[76,79],[76,81],[76,82],[76,83],[76,84],[76,86],[76,88],[76,89],[77,78],[77,81],[77,82],[77,84],[77,86],[77,88],[78,81],[78,83],[78,84],[78,85],[78,86],[78,87],[78,88],[78,89],[79,80],[79,81],[79,82],[79,83],[79,84],[79,85],[79,86],[80,81],[80,82],[80,84],[80,86]]},"rotation_powers":null},"metrics":{"gamma":1.6765882327461465,"gamma_t":null,"gamma_rho":1.6765882327461465,"gamma_claim":1.6765882327461465,"gamma_t_claim":null,"gamma_rho_claim":1.6765882327461465,"v_ex":81,"rate":0.15851272015655576,"t_count":null,"poly_degree":null,"effective_width":81},"provenance":{"regimes":["AI search: pure-T width campaign n=255, 511"],"discovery":"AI search","strongest_claim":"new [[n,k,d]] classes at n=255 and n=511 (the n=511 one the first at d=3 there) -- pure disjoint T^k, verified from columns. NOT rate records: both are strictly dominated by direct sums of the catalogued [[127,23,3]] (rho 5.5217) -- 2 copies give [[254,46,3]] and 4 give [[508,92,3]], each with FEWER inputs and MORE outputs than the row here. Beating the derived baseline needs k>=47 at n=255 and k>=93 at n=511.","sources":[{"regime":"AI search: pure-T width campaign n=255, 511","file":"magic-states-AI/master_catalogue/master_catalogue.jsonl","label":"msAI:666908d25bcb8172","N":90,"d":3,"d_is_exact":true,"origin":"magic-states-AI/master_catalogue/master_catalogue.jsonl","provenance":"merged from magic-states-AI/master_catalogue/master_catalogue.jsonl; the submitting file was a run scratchpad (/private/tmp/claude-501/-Users-shubhamjain-Documents-Claude-remote-magic-states-AI/25937cc1-0367-40c1-acc9-031067b831d4/scratchpad/msai_255_511.jsonl) and is not a path this repository or any other keeps","notes":"campaigns/2026-09-14_255_511_width"}]},"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"}]}