{"id":"511.85.3.a","row":1109,"stored":{"file":"master_catalog.json","row":1109,"construction":null,"columns_sha256":null},"parameters":{"n":511,"k":85,"d":3,"N":94,"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","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","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]],"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]],"sk_fingerprint":"6d09b803779ffe5e","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,85],[0,86],[0,85,86],[0,87],[0,85,87],[0,86,87],[0,85,86,87],[76,88],[1,85,88],[33,86,88],[62,65,66,68,70,76,79,80,84,85,86,88],[49,87,88],[43,67,68,69,71,72,75,78,84,85,87,88],[31,86,87,88],[44,85,86,87,88],[64,89],[2,85,89],[1,86,89],[63,64,66,67,70,71,72,73,75,76,78,79,81,83,84,85,86,89],[33,87,89],[21,85,87,89],[62,86,87,89],[27,65,68,69,70,71,72,74,75,77,79,80,82,85,86,87,89],[82,88,89],[3,85,88,89],[32,86,88,89],[1,85,86,88,89],[16,87,88,89],[62,65,66,68,70,76,79,80,84,85,87,88,89],[33,86,87,88,89],[55,64,68,69,70,71,72,78,81,83,84,85,86,87,88,89],[77,90],[4,85,90],[2,86,90],[61,65,66,69,70,71,76,80,81,85,86,90],[1,87,90],[42,85,87,90],[63,86,87,90],[54,64,65,66,67,70,71,73,74,79,82,83,84,85,86,87,90],[79,88,90],[5,85,88,90],[35,86,88,90],[3,85,86,88,90],[48,87,88,90],[1,85,87,88,90],[32,86,87,88,90],[26,85,86,87,88,90],[65,89,90],[6,85,89,90],[3,86,89,90],[2,85,86,89,90],[32,87,89,90],[63,64,66,67,70,71,72,73,75,76,78,79,81,83,84,85,87,89,90],[1,86,87,89,90],[45,67,73,74,77,80,81,82,84,85,86,87,89,90],[70,88,89,90],[7,85,88,89,90],[34,86,88,89,90],[60,64,70,71,75,77,78,82,83,85,86,88,89,90],[17,87,88,89,90],[20,85,87,88,89,90],[30,86,87,88,89,90],[1,85,86,87,88,89,90],[74,91],[8,85,91],[4,86,91],[57,64,65,69,71,74,75,76,79,80,83,85,86,91],[2,87,91],[23,70,71,73,75,76,78,79,82,83,84,85,87,91],[61,86,87,91],[47,66,67,68,69,71,72,73,74,75,76,78,79,81,83,85,86,87,91],[81,88,91],[9,85,88,91],[37,86,88,91],[7,85,86,88,91],[51,87,88,91],[60,64,70,71,75,77,78,82,83,85,87,88,91],[34,86,87,88,91],[3,85,86,87,88,91],[77,89,91],[10,85,89,91],[5,86,89,91],[6,85,86,89,91],[35,87,89,91],[2,85,87,89,91],[3,86,87,89,91],[52,85,86,87,89,91],[73,88,89,91],[11,85,88,89,91],[36,86,88,89,91],[56,85,86,88,89,91],[18,87,88,89,91],[41,85,87,88,89,91],[28,86,87,88,89,91],[24,85,86,87,88,89,91],[66,90,91],[12,85,90,91],[6,86,90,91],[4,85,86,90,91],[3,87,90,91],[61,65,66,69,70,71,76,80,81,85,87,90,91],[2,86,87,90,91],[25,85,86,87,90,91],[80,88,90,91],[13,85,88,90,91],[39,86,88,90,91],[58,68,70,73,75,80,81,82,83,85,86,88,90,91],[50,87,88,90,91],[22,85,87,88,90,91],[29,86,87,88,90,91],[53,66,69,71,72,73,74,78,80,81,83,85,86,87,88,90,91],[77,89,90,91],[14,85,89,90,91],[7,86,89,90,91],[59,64,73,74,75,76,78,82,83,85,86,89,90,91],[34,87,89,90,91],[40,85,87,89,90,91],[60,86,87,89,90,91],[2,85,86,87,89,90,91],[83,88,89,90,91],[15,66,67,69,70,72,73,74,76,78,82,83,84,85,88,89,90,91],[38,86,88,89,90,91],[5,85,86,88,89,90,91],[19,87,88,89,90,91],[3,85,87,88,89,90,91],[35,86,87,88,89,90,91],[46,65,71,72,76,79,80,81,82,83,84,85,86,87,88,89,90,91],[66,92],[16,85,92],[8,86,92],[49,85,86,92],[4,87,92],[46,65,71,72,76,79,80,81,82,83,84,85,87,92],[57,86,87,92],[29,67,69,72,74,79,81,83,84,85,86,87,92],[78,88,92],[17,85,88,92],[41,86,88,92],[15,66,67,69,70,72,73,74,76,78,82,83,84,85,86,88,92],[53,87,88,92],[5,85,87,88,92],[38,86,87,88,92],[49,85,86,87,88,92],[80,89,92],[18,85,89,92],[9,86,89,92],[14,85,86,89,92],[37,87,89,92],[59,64,73,74,75,76,78,82,83,85,87,89,92],[7,86,87,89,92],[6,85,86,87,89,92],[84,88,89,92],[19,85,88,89,92],[40,86,88,89,92],[48,85,86,88,89,92],[20,87,88,89,92],[16,85,87,88,89,92],[24,86,87,88,89,92],[42,85,86,87,88,89,92],[67,90,92],[20,85,90,92],[10,86,90,92],[12,85,86,90,92],[5,87,90,92],[4,85,87,90,92],[6,86,87,90,92],[43,67,68,69,71,72,75,78,84,85,86,87,90,92],[74,88,90,92],[21,85,88,90,92],[43,86,88,90,92],[50,85,86,88,90,92],[52,87,88,90,92],[47,66,67,68,69,71,72,73,74,75,76,78,79,81,83,85,87,88,90,92],[25,86,87,88,90,92],[7,85,86,87,88,90,92],[72,89,90,92],[22,85,89,90,92],[11,86,89,90,92],[51,67,68,69,71,74,75,77,80,81,82,83,84,85,86,89,90,92],[36,87,89,90,92],[17,85,87,89,90,92],[56,86,87,89,90,92],[48,85,86,87,89,90,92],[81,88,89,90,92],[23,70,71,73,75,76,78,79,82,83,84,85,88,89,90,92],[42,86,88,89,90,92],[13,85,86,88,89,90,92],[21,87,88,89,90,92],[58,68,70,73,75,80,81,82,83,85,87,88,89,90,92],[39,86,87,88,89,90,92],[28,85,86,87,88,89,90,92],[68,91,92],[24,85,91,92],[12,86,91,92],[8,85,86,91,92],[6,87,91,92],[57,64,65,69,71,74,75,76,79,80,83,85,87,91,92],[4,86,87,91,92],[50,85,86,87,91,92],[71,88,91,92],[25,85,88,91,92],[45,86,88,91,92],[54,64,65,66,67,70,71,73,74,79,82,83,84,85,86,88,91,92],[55,87,88,91,92],[18,85,87,88,91,92],[27,86,87,88,91,92],[30,65,67,71,72,74,77,78,79,80,84,85,86,87,88,91,92],[69,89,91,92],[26,85,89,91,92],[13,86,89,91,92],[55,64,68,69,70,71,72,78,81,83,84,85,86,89,91,92],[39,87,89,91,92],[44,85,87,89,91,92],[58,86,87,89,91,92],[41,85,86,87,89,91,92],[75,88,89,91,92],[27,65,68,69,70,71,72,74,75,77,79,80,82,85,88,89,91,92],[44,86,88,89,91,92],[9,85,86,88,89,91,92],[22,87,88,89,91,92],[7,85,87,88,89,91,92],[37,86,87,88,89,91,92],[5,85,86,87,88,89,91,92],[66,90,91,92],[28,85,90,91,92],[14,86,90,91,92],[53,66,69,71,72,73,74,78,80,81,83,85,86,90,91,92],[7,87,90,91,92],[19,85,87,90,91,92],[59,86,87,90,91,92],[4,85,86,87,90,91,92],[74,88,90,91,92],[29,67,69,72,74,79,81,83,84,85,88,90,91,92],[47,86,88,90,91,92],[11,85,86,88,90,91,92],[54,87,88,90,91,92],[56,85,87,88,90,91,92],[36,86,87,88,90,91,92],[40,85,86,87,88,90,91,92],[81,89,90,91,92],[30,65,67,71,72,74,77,78,79,80,84,85,89,90,91,92],[15,86,89,90,91,92],[10,85,86,89,90,91,92],[38,87,89,90,91,92],[6,85,87,89,90,91,92],[5,86,87,89,90,91,92],[31,66,67,68,69,70,71,78,81,82,83,85,86,87,89,90,91,92],[80,88,89,90,91,92],[31,66,67,68,69,70,71,78,81,82,83,85,88,89,90,91,92],[46,86,88,89,90,91,92],[52,85,86,88,89,90,91,92],[23,87,88,89,90,91,92],[45,67,73,74,77,80,81,82,84,85,87,88,89,90,91,92],[26,86,87,88,89,90,91,92],[51,67,68,69,71,74,75,77,80,81,82,83,84,85,86,87,88,89,90,91,92],[70,93],[32,85,93],[16,86,93],[33,85,86,93],[8,87,93],[31,66,67,68,69,70,71,78,81,82,83,85,87,93],[49,86,87,93],[58,68,70,73,75,80,81,82,83,85,86,87,93],[68,88,93],[33,85,88,93],[49,86,88,93],[31,66,67,68,69,70,71,78,81,82,83,85,86,88,93],[57,87,88,93],[52,85,87,88,93],[46,86,87,88,93],[22,85,86,87,88,93],[84,89,93],[34,85,89,93],[17,86,89,93],[30,65,67,71,72,74,77,78,79,80,84,85,86,89,93],[41,87,89,93],[10,85,87,89,93],[15,86,87,89,93],[33,85,86,87,89,93],[75,88,89,93],[35,85,88,89,93],[48,86,88,89,93],[32,85,86,88,89,93],[24,87,88,89,93],[33,85,87,88,89,93],[16,86,87,88,89,93],[13,85,86,87,88,89,93],[67,90,93],[36,85,90,93],[18,86,90,93],[28,85,86,90,93],[9,87,90,93],[53,66,69,71,72,73,74,78,80,81,83,85,87,90,93],[14,86,87,90,93],[12,85,86,87,90,93],[82,88,90,93],[37,85,88,90,93],[51,86,88,90,93],[34,85,86,88,90,93],[56,87,88,90,93],[30,65,67,71,72,74,77,78,79,80,84,85,87,88,90,93],[17,86,87,88,90,93],[32,85,86,87,88,90,93],[82,89,90,93],[38,85,89,90,93],[19,86,89,90,93],[35,85,86,89,90,93],[40,87,89,90,93],[32,85,87,89,90,93],[48,86,87,89,90,93],[23,70,71,73,75,76,78,79,82,83,84,85,86,87,89,90,93],[70,88,89,90,93],[39,65,69,70,71,73,74,76,77,78,81,82,83,85,88,89,90,93],[50,86,88,89,90,93],[29,67,69,72,74,79,81,83,84,85,86,88,89,90,93],[25,87,88,89,90,93],[11,85,87,88,89,90,93],[47,86,87,88,89,90,93],[59,64,73,74,75,76,78,82,83,85,86,87,88,89,90,93],[64,91,93],[40,85,91,93],[20,86,91,93],[24,85,86,91,93],[10,87,91,93],[8,85,87,91,93],[12,86,87,91,93],[21,85,86,87,91,93],[65,88,91,93],[41,85,88,91,93],[53,86,88,91,93],[38,85,86,88,91,93],[59,87,88,91,93],[35,85,87,88,91,93],[19,86,87,88,91,93],[57,64,65,69,71,74,75,76,79,80,83,85,86,87,88,91,93],[64,89,91,93],[42,85,89,91,93],[21,86,89,91,93],[39,65,69,70,71,73,74,76,77,78,81,82,83,85,86,89,91,93],[43,87,89,91,93],[29,67,69,72,74,79,81,83,84,85,87,89,91,93],[50,86,87,89,91,93],[14,85,86,87,89,91,93],[72,88,89,91,93],[43,67,68,69,71,72,75,78,84,85,88,89,91,93],[52,86,88,89,91,93],[25,85,86,88,89,91,93],[26,87,88,89,91,93],[54,64,65,66,67,70,71,73,74,79,82,83,84,85,87,88,89,91,93],[45,86,87,88,89,91,93],[34,85,86,87,88,89,91,93],[69,90,91,93],[44,85,90,91,93],[22,86,90,91,93],[37,85,86,90,91,93],[11,87,90,91,93],[34,85,87,90,91,93],[51,86,87,90,91,93],[35,85,86,87,90,91,93],[78,88,90,91,93],[45,67,73,74,77,80,81,82,84,85,88,90,91,93],[55,86,88,90,91,93],[27,65,68,69,70,71,72,74,75,77,79,80,82,85,86,88,90,91,93],[58,87,88,90,91,93],[9,85,87,88,90,91,93],[44,86,87,88,90,91,93],[15,66,67,69,70,72,73,74,76,78,82,83,84,85,86,87,88,90,91,93],[71,89,90,91,93],[46,65,71,72,76,79,80,81,82,83,84,85,89,90,91,93],[23,86,89,90,91,93],[26,85,86,89,90,91,93],[42,87,89,90,91,93],[55,64,68,69,70,71,72,78,81,83,84,85,87,89,90,91,93],[13,86,87,89,90,91,93],[56,85,86,87,89,90,91,93],[65,88,89,90,91,93],[47,66,67,68,69,71,72,73,74,75,76,78,79,81,83,85,88,89,90,91,93],[54,86,88,89,90,91,93],[36,85,86,88,89,90,91,93],[27,87,88,89,90,91,93],[28,85,87,88,89,90,91,93],[18,86,87,88,89,90,91,93],[20,85,86,87,88,89,90,91,93],[67,92,93],[48,85,92,93],[24,86,92,93],[16,85,86,92,93],[12,87,92,93],[49,85,87,92,93],[8,86,87,92,93],[39,65,69,70,71,73,74,76,77,78,81,82,83,85,86,87,92,93],[84,88,92,93],[49,85,88,92,93],[57,86,88,92,93],[46,65,71,72,76,79,80,81,82,83,84,85,86,88,92,93],[61,87,88,92,93],[26,85,87,88,92,93],[23,86,87,88,92,93],[11,85,86,87,88,92,93],[76,89,92,93],[50,85,89,92,93],[25,86,89,92,93],[47,66,67,68,69,71,72,73,74,75,76,78,79,81,83,85,86,89,92,93],[45,87,89,92,93],[36,85,87,89,92,93],[54,86,87,89,92,93],[60,64,70,71,75,77,78,82,83,85,86,87,89,92,93],[76,88,89,92,93],[51,67,68,69,71,74,75,77,80,81,82,83,84,85,88,89,92,93],[56,86,88,89,92,93],[17,85,86,88,89,92,93],[28,87,88,89,92,93],[15,66,67,69,70,72,73,74,76,78,82,83,84,85,87,88,89,92,93],[41,86,87,88,89,92,93],[16,85,86,87,88,89,92,93],[73,90,92,93],[52,85,90,92,93],[26,86,90,92,93],[45,67,73,74,77,80,81,82,84,85,86,90,92,93],[13,87,90,92,93],[27,65,68,69,70,71,72,74,75,77,79,80,82,85,87,90,92,93],[55,86,87,90,92,93],[17,85,86,87,90,92,93],[83,88,90,92,93],[53,66,69,71,72,73,74,78,80,81,83,85,88,90,92,93],[59,86,88,90,92,93],[19,85,86,88,90,92,93],[60,87,88,90,92,93],[48,85,87,88,90,92,93],[40,86,87,88,90,92,93],[61,65,66,69,70,71,76,80,81,85,86,87,88,90,92,93],[69,89,90,92,93],[54,64,65,66,67,70,71,73,74,79,82,83,84,85,89,90,92,93],[27,86,89,90,92,93],[18,85,86,89,90,92,93],[44,87,89,90,92,93],[14,85,87,89,90,92,93],[9,86,87,89,90,92,93],[10,85,86,87,89,90,92,93],[71,88,89,90,92,93],[55,64,68,69,70,71,72,78,81,83,84,85,88,89,90,92,93],[58,86,88,89,90,92,93],[44,85,86,88,89,90,92,93],[29,87,88,89,90,92,93],[37,85,87,88,89,90,92,93],[22,86,87,88,89,90,92,93],[38,85,86,87,88,89,90,92,93],[75,91,92,93],[56,85,91,92,93],[28,86,91,92,93],[41,85,86,91,92,93],[14,87,91,92,93],[38,85,87,91,92,93],[53,86,87,91,92,93],[8,85,86,87,91,92,93],[68,88,91,92,93],[57,64,65,69,71,74,75,76,79,80,83,85,88,91,92,93],[61,86,88,91,92,93],[23,70,71,73,75,76,78,79,82,83,84,85,86,88,91,92,93],[63,87,88,91,92,93],[13,85,87,88,91,92,93],[42,86,87,88,91,92,93],[36,85,86,87,88,91,92,93],[83,89,91,92,93],[58,68,70,73,75,80,81,82,83,85,89,91,92,93],[29,86,89,91,92,93],[22,85,86,89,91,92,93],[47,87,89,91,92,93],[51,67,68,69,71,74,75,77,80,81,82,83,84,85,87,89,91,92,93],[11,86,87,89,91,92,93],[19,85,86,87,89,91,92,93],[79,88,89,91,92,93],[59,64,73,74,75,76,78,82,83,85,88,89,91,92,93],[60,86,88,89,91,92,93],[40,85,86,88,89,91,92,93],[30,87,88,89,91,92,93],[24,85,87,88,89,91,92,93],[20,86,87,88,89,91,92,93],[63,64,66,67,70,71,72,73,75,76,78,79,81,83,84,85,86,87,88,89,91,92,93],[78,90,91,92,93],[60,64,70,71,75,77,78,82,83,85,90,91,92,93],[30,86,90,91,92,93],[20,85,86,90,91,92,93],[15,87,90,91,92,93],[12,85,87,90,91,92,93],[10,86,87,90,91,92,93],[62,65,66,68,70,76,79,80,84,85,86,87,90,91,92,93],[72,88,90,91,92,93],[61,65,66,69,70,71,76,80,81,85,88,90,91,92,93],[63,86,88,90,91,92,93],[42,85,86,88,90,91,92,93],[62,87,88,90,91,92,93],[39,65,69,70,71,73,74,76,77,78,81,82,83,85,87,88,90,91,92,93],[21,86,87,88,90,91,92,93],[18,85,86,87,88,90,91,92,93],[79,89,90,91,92,93],[62,65,66,68,70,76,79,80,84,85,89,90,91,92,93],[31,86,89,90,91,92,93],[43,67,68,69,71,72,75,78,84,85,86,89,90,91,92,93],[46,87,89,90,91,92,93],[25,85,87,89,90,91,92,93],[52,86,87,89,90,91,92,93],[37,85,86,87,89,90,91,92,93],[73,88,89,90,91,92,93],[63,64,66,67,70,71,72,73,75,76,78,79,81,83,84,85,88,89,90,91,92,93],[62,86,88,89,90,91,92,93],[21,85,86,88,89,90,91,92,93],[31,87,88,89,90,91,92,93],[50,85,87,88,89,90,91,92,93],[43,86,87,88,89,90,91,92,93],[9,85,86,87,88,89,90,91,92,93]]},"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],[79,3],[80,3],[81,3],[82,3],[83,3],[84,3]],"CZ":[[64,89],[64,90],[64,93],[65,88],[65,89],[65,90],[66,88],[66,89],[66,90],[66,91],[66,92],[67,88],[67,93],[68,88],[68,91],[68,93],[69,88],[71,88],[71,89],[72,91],[72,92],[72,93],[73,90],[73,91],[73,92],[74,93],[75,88],[75,89],[75,90],[75,93],[76,89],[76,91],[76,92],[77,91],[77,92],[77,93],[78,91],[78,92],[79,88],[79,89],[79,92],[79,93],[80,88],[80,89],[80,90],[81,88],[81,91],[81,93],[82,89],[82,92],[83,89],[83,90],[84,90],[84,93]]},"rotation_powers":null},"metrics":{"gamma":1.6327127888656536,"gamma_t":null,"gamma_rho":1.6327127888656536,"gamma_claim":1.6327127888656536,"gamma_t_claim":null,"gamma_rho_claim":1.6327127888656536,"v_ex":85,"rate":0.16634050880626222,"t_count":null,"poly_degree":null,"effective_width":85},"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_k85_d3_DOMINATED_not_a_record.json","label":"1","N":94,"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), the full 21-line spread and no search at all (tools/linebuild.py). 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"}]}