{"id":"256.84.4.a","row":927,"stored":{"file":"master_catalog.json","row":927,"construction":null,"columns_sha256":null},"parameters":{"n":256,"k":84,"d":4,"N":93,"r":9,"level":3},"gate":{"string":"0,64,83+0,65,82+0,66,81+0,67,80+0,68,79+0,69,78+0,70,77+0,71,76+0,72,75+0,73,74+1,54,83+1,55,82+1,56,81+1,57,80+1,58,79+1,59,78+1,60,77+1,61,76+1,62,75+1,63,74+2,50,83+2,51,82+2,52,81+2,53,80+2,58,73+2,59,72+2,60,71+2,61,70+2,62,69+2,63,68+3,49,83+3,51,79+3,52,78+3,53,77+3,55,73+3,56,72+3,57,71+3,61,67+3,62,66+3,63,65+4,49,82+4,50,79+4,52,76+4,53,75+4,54,73+4,56,70+4,57,69+4,59,67+4,60,66+4,63,64+5,49,81+5,50,78+5,51,76+5,53,74+5,54,72+5,55,70+5,57,68+5,58,67+5,60,65+5,62,64+6,49,80+6,50,77+6,51,75+6,52,74+6,54,71+6,55,69+6,56,68+6,58,66+6,59,65+6,61,64+7,39,83+7,40,82+7,41,81+7,42,80+7,43,79+7,44,78+7,45,77+7,46,76+7,47,75+7,48,74+8,35,83+8,36,82+8,37,81+8,38,80+8,43,73+8,44,72+8,45,71+8,46,70+8,47,69+8,48,68+9,34,83+9,36,79+9,37,78+9,38,77+9,40,73+9,41,72+9,42,71+9,46,67+9,47,66+9,48,65+10,34,82+10,35,79+10,37,76+10,38,75+10,39,73+10,41,70+10,42,69+10,44,67+10,45,66+10,48,64+11,34,81+11,35,78+11,36,76+11,38,74+11,39,72+11,40,70+11,42,68+11,43,67+11,45,65+11,47,64+12,34,80+12,35,77+12,36,75+12,37,74+12,39,71+12,40,69+12,41,68+12,43,66+12,44,65+12,46,64+13,30,83+13,31,82+13,32,81+13,33,80+13,43,63+13,44,62+13,45,61+13,46,60+13,47,59+13,48,58+14,29,83+14,31,79+14,32,78+14,33,77+14,40,63+14,41,62+14,42,61+14,46,57+14,47,56+14,48,55+15,29,82+15,30,79+15,32,76+15,33,75+15,39,63+15,41,60+15,42,59+15,44,57+15,45,56+15,48,54+16,29,81+16,30,78+16,31,76+16,33,74+16,39,62+16,40,60+16,42,58+16,43,57+16,45,55+16,47,54+17,29,80+17,30,77+17,31,75+17,32,74+17,39,61+17,40,59+17,41,58+17,43,56+17,44,55+17,46,54+18,28,83+18,31,73+18,32,72+18,33,71+18,36,63+18,37,62+18,38,61+18,46,53+18,47,52+18,48,51+19,28,82+19,30,73+19,32,70+19,33,69+19,35,63+19,37,60+19,38,59+19,44,53+19,45,52+19,48,50+20,28,81+20,30,72+20,31,70+20,33,68+20,35,62+20,36,60+20,38,58+20,43,53+20,45,51+20,47,50+21,28,80+21,30,71+21,31,69+21,32,68+21,35,61+21,36,59+21,37,58+21,43,52+21,44,51+21,46,50+22,28,79+22,29,73+22,32,67+22,33,66+22,34,63+22,37,57+22,38,56+22,41,53+22,42,52+22,48,49+23,28,78+23,29,72+23,31,67+23,33,65+23,34,62+23,36,57+23,38,55+23,40,53+23,42,51+23,47,49+24,28,77+24,29,71+24,31,66+24,32,65+24,34,61+24,36,56+24,37,55+24,40,52+24,41,51+24,46,49+25,28,76+25,29,70+25,30,67+25,33,64+25,34,60+25,35,57+25,38,54+25,39,53+25,42,50+25,45,49+26,28,75+26,29,69+26,30,66+26,32,64+26,34,59+26,35,56+26,37,54+26,39,52+26,41,50+26,44,49+27,28,74+27,29,68+27,30,65+27,31,64+27,34,58+27,35,55+27,36,54+27,39,51+27,40,50+27,43,49+28,39,83+28,40,82+28,41,81+28,42,80+28,43,79+28,44,78+28,45,77+28,46,76+28,47,75+28,48,74+28,54,83+28,55,82+28,56,81+28,57,80+28,58,79+28,59,78+28,60,77+28,61,76+28,62,75+28,63,74+28,64,83+28,65,82+28,66,81+28,67,80+28,68,79+28,69,78+28,70,77+28,71,76+28,72,75+28,73,74+28,74,79+28,74,82+28,74,83+28,75,78+28,75,81+28,75,83+28,76,77+28,76,80+28,76,83+28,77,81+28,77,82+28,78,80+28,78,82+28,79,80+28,79,81+29,35,83+29,36,82+29,37,81+29,38,80+29,43,73+29,44,72+29,45,71+29,46,70+29,47,69+29,48,68+29,50,83+29,51,82+29,52,81+29,53,80+29,58,73+29,59,72+29,60,71+29,61,70+29,62,69+29,63,68+29,64,83+29,65,82+29,66,81+29,67,80+29,68,73+29,68,79+29,68,82+29,68,83+29,69,72+29,69,78+29,69,81+29,69,83+29,70,71+29,70,77+29,70,80+29,70,83+29,71,76+29,71,81+29,71,82+29,72,75+29,72,80+29,72,82+29,73,74+29,73,80+29,73,81+30,34,83+30,36,79+30,37,78+30,38,77+30,40,73+30,41,72+30,42,71+30,46,67+30,47,66+30,48,65+30,49,83+30,51,79+30,52,78+30,53,77+30,55,73+30,56,72+30,57,71+30,61,67+30,62,66+30,63,65+30,64,83+30,65,73+30,65,79+30,65,82+30,65,83+30,66,72+30,66,78+30,66,81+30,66,83+30,67,71+30,67,77+30,67,80+30,67,83+30,68,79+30,69,78+30,70,77+30,71,76+30,71,78+30,71,79+30,72,75+30,72,77+30,72,79+30,73,74+30,73,77+30,73,78+31,34,82+31,35,79+31,37,76+31,38,75+31,39,73+31,41,70+31,42,69+31,44,67+31,45,66+31,48,64+31,49,82+31,50,79+31,52,76+31,53,75+31,54,73+31,56,70+31,57,69+31,59,67+31,60,66+31,63,64+31,64,73+31,64,79+31,64,82+31,64,83+31,65,82+31,66,70+31,66,76+31,66,81+31,66,82+31,67,69+31,67,75+31,67,80+31,67,82+31,68,79+31,69,76+31,69,78+31,69,79+31,70,75+31,70,77+31,70,79+31,71,76+31,72,75+31,73,74+31,73,75+31,73,76+32,34,81+32,35,78+32,36,76+32,38,74+32,39,72+32,40,70+32,42,68+32,43,67+32,45,65+32,47,64+32,49,81+32,50,78+32,51,76+32,53,74+32,54,72+32,55,70+32,57,68+32,58,67+32,60,65+32,62,64+32,64,72+32,64,78+32,64,81+32,64,83+32,65,70+32,65,76+32,65,81+32,65,82+32,66,81+32,67,68+32,67,74+32,67,80+32,67,81+32,68,76+32,68,78+32,68,79+32,69,78+32,70,74+32,70,77+32,70,78+32,71,76+32,72,74+32,72,75+32,72,76+32,73,74+33,34,80+33,35,77+33,36,75+33,37,74+33,39,71+33,40,69+33,41,68+33,43,66+33,44,65+33,46,64+33,49,80+33,50,77+33,51,75+33,52,74+33,54,71+33,55,69+33,56,68+33,58,66+33,59,65+33,61,64+33,64,71+33,64,77+33,64,80+33,64,83+33,65,69+33,65,75+33,65,80+33,65,82+33,66,68+33,66,74+33,66,80+33,66,81+33,67,80+33,68,75+33,68,77+33,68,79+33,69,74+33,69,77+33,69,78+33,70,77+33,71,74+33,71,75+33,71,76+33,72,75+33,73,74+34,43,63+34,44,62+34,45,61+34,46,60+34,47,59+34,48,58+34,50,83+34,51,82+34,52,81+34,53,80+34,54,83+34,55,82+34,56,81+34,57,80+34,58,63+34,58,73+34,58,79+34,58,82+34,58,83+34,59,62+34,59,72+34,59,78+34,59,81+34,59,83+34,60,61+34,60,71+34,60,77+34,60,80+34,60,83+34,61,70+34,61,76+34,61,81+34,61,82+34,62,69+34,62,75+34,62,80+34,62,82+34,63,68+34,63,74+34,63,80+34,63,81+35,40,63+35,41,62+35,42,61+35,46,57+35,47,56+35,48,55+35,49,83+35,51,79+35,52,78+35,53,77+35,54,83+35,55,63+35,55,73+35,55,79+35,55,82+35,55,83+35,56,62+35,56,72+35,56,78+35,56,81+35,56,83+35,57,61+35,57,71+35,57,77+35,57,80+35,57,83+35,58,79+35,59,78+35,60,77+35,61,67+35,61,76+35,61,78+35,61,79+35,62,66+35,62,75+35,62,77+35,62,79+35,63,65+35,63,74+35,63,77+35,63,78+36,39,63+36,41,60+36,42,59+36,44,57+36,45,56+36,48,54+36,49,82+36,50,79+36,52,76+36,53,75+36,54,63+36,54,73+36,54,79+36,54,82+36,54,83+36,55,82+36,56,60+36,56,70+36,56,76+36,56,81+36,56,82+36,57,59+36,57,69+36,57,75+36,57,80+36,57,82+36,58,79+36,59,67+36,59,76+36,59,78+36,59,79+36,60,66+36,60,75+36,60,77+36,60,79+36,61,76+36,62,75+36,63,64+36,63,74+36,63,75+36,63,76+37,39,62+37,40,60+37,42,58+37,43,57+37,45,55+37,47,54+37,49,81+37,50,78+37,51,76+37,53,74+37,54,62+37,54,72+37,54,78+37,54,81+37,54,83+37,55,60+37,55,70+37,55,76+37,55,81+37,55,82+37,56,81+37,57,58+37,57,68+37,57,74+37,57,80+37,57,81+37,58,67+37,58,76+37,58,78+37,58,79+37,59,78+37,60,65+37,60,74+37,60,77+37,60,78+37,61,76+37,62,64+37,62,74+37,62,75+37,62,76+37,63,74+38,39,61+38,40,59+38,41,58+38,43,56+38,44,55+38,46,54+38,49,80+38,50,77+38,51,75+38,52,74+38,54,61+38,54,71+38,54,77+38,54,80+38,54,83+38,55,59+38,55,69+38,55,75+38,55,80+38,55,82+38,56,58+38,56,68+38,56,74+38,56,80+38,56,81+38,57,80+38,58,66+38,58,75+38,58,77+38,58,79+38,59,65+38,59,74+38,59,77+38,59,78+38,60,77+38,61,64+38,61,74+38,61,75+38,61,76+38,62,75+38,63,74+39,46,53+39,47,52+39,48,51+39,49,83+39,50,83+39,51,63+39,51,73+39,51,79+39,51,82+39,51,83+39,52,62+39,52,72+39,52,78+39,52,81+39,52,83+39,53,61+39,53,71+39,53,77+39,53,80+39,53,83+39,55,73+39,56,72+39,57,71+39,58,73+39,59,72+39,60,71+39,61,67+39,61,70+39,61,72+39,61,73+39,62,66+39,62,69+39,62,71+39,62,73+39,63,65+39,63,68+39,63,71+39,63,72+40,44,53+40,45,52+40,48,50+40,49,82+40,50,63+40,50,73+40,50,79+40,50,82+40,50,83+40,51,82+40,52,60+40,52,70+40,52,76+40,52,81+40,52,82+40,53,59+40,53,69+40,53,75+40,53,80+40,53,82+40,54,73+40,56,70+40,57,69+40,58,73+40,59,67+40,59,70+40,59,72+40,59,73+40,60,66+40,60,69+40,60,71+40,60,73+40,61,70+40,62,69+40,63,64+40,63,68+40,63,69+40,63,70+41,43,53+41,45,51+41,47,50+41,49,81+41,50,62+41,50,72+41,50,78+41,50,81+41,50,83+41,51,60+41,51,70+41,51,76+41,51,81+41,51,82+41,52,81+41,53,58+41,53,68+41,53,74+41,53,80+41,53,81+41,54,72+41,55,70+41,57,68+41,58,67+41,58,70+41,58,72+41,58,73+41,59,72+41,60,65+41,60,68+41,60,71+41,60,72+41,61,70+41,62,64+41,62,68+41,62,69+41,62,70+41,63,68+42,43,52+42,44,51+42,46,50+42,49,80+42,50,61+42,50,71+42,50,77+42,50,80+42,50,83+42,51,59+42,51,69+42,51,75+42,51,80+42,51,82+42,52,58+42,52,68+42,52,74+42,52,80+42,52,81+42,53,80+42,54,71+42,55,69+42,56,68+42,58,66+42,58,69+42,58,71+42,58,73+42,59,65+42,59,68+42,59,71+42,59,72+42,60,71+42,61,64+42,61,68+42,61,69+42,61,70+42,62,69+42,63,68+43,48,49+43,49,63+43,49,73+43,49,79+43,49,82+43,49,83+43,50,79+43,51,79+43,52,57+43,52,67+43,52,76+43,52,78+43,52,79+43,53,56+43,53,66+43,53,75+43,53,77+43,53,79+43,54,73+43,55,73+43,56,67+43,56,70+43,56,72+43,56,73+43,57,66+43,57,69+43,57,71+43,57,73+43,59,67+43,60,66+43,61,67+43,62,66+43,63,64+43,63,65+43,63,66+43,63,67+44,47,49+44,49,62+44,49,72+44,49,78+44,49,81+44,49,83+44,50,78+44,51,57+44,51,67+44,51,76+44,51,78+44,51,79+44,52,78+44,53,55+44,53,65+44,53,74+44,53,77+44,53,78+44,54,72+44,55,67+44,55,70+44,55,72+44,55,73+44,56,72+44,57,65+44,57,68+44,57,71+44,57,72+44,58,67+44,60,65+44,61,67+44,62,64+44,62,65+44,62,66+44,62,67+44,63,65+45,46,49+45,49,61+45,49,71+45,49,77+45,49,80+45,49,83+45,50,77+45,51,56+45,51,66+45,51,75+45,51,77+45,51,79+45,52,55+45,52,65+45,52,74+45,52,77+45,52,78+45,53,77+45,54,71+45,55,66+45,55,69+45,55,71+45,55,73+45,56,65+45,56,68+45,56,71+45,56,72+45,57,71+45,58,66+45,59,65+45,61,64+45,61,65+45,61,66+45,61,67+45,62,66+45,63,65+46,49,60+46,49,70+46,49,76+46,49,81+46,49,82+46,50,57+46,50,67+46,50,76+46,50,78+46,50,79+46,51,76+46,52,76+46,53,54+46,53,64+46,53,74+46,53,75+46,53,76+46,54,67+46,54,70+46,54,72+46,54,73+46,55,70+46,56,70+46,57,64+46,57,68+46,57,69+46,57,70+46,58,67+46,59,67+46,60,64+46,60,65+46,60,66+46,60,67+46,62,64+46,63,64+47,49,59+47,49,69+47,49,75+47,49,80+47,49,82+47,50,56+47,50,66+47,50,75+47,50,77+47,50,79+47,51,75+47,52,54+47,52,64+47,52,74+47,52,75+47,52,76+47,53,75+47,54,66+47,54,69+47,54,71+47,54,73+47,55,69+47,56,64+47,56,68+47,56,69+47,56,70+47,57,69+47,58,66+47,59,64+47,59,65+47,59,66+47,59,67+47,60,66+47,61,64+47,63,64+48,49,58+48,49,68+48,49,74+48,49,80+48,49,81+48,50,55+48,50,65+48,50,74+48,50,77+48,50,78+48,51,54+48,51,64+48,51,74+48,51,75+48,51,76+48,52,74+48,53,74+48,54,65+48,54,68+48,54,71+48,54,72+48,55,64+48,55,68+48,55,69+48,55,70+48,56,68+48,57,68+48,58,64+48,58,65+48,58,66+48,58,67+48,59,65+48,60,65+48,61,64+48,62,64","human":"CCZ0,64,83\u00b7CCZ0,65,82\u00b7CCZ0,66,81\u00b7CCZ0,67,80\u00b7CCZ0,68,79\u00b7CCZ0,69,78\u00b7CCZ0,70,77\u00b7CCZ0,71,76\u00b7CCZ0,72,75\u00b7CCZ0,73,74\u00b7CCZ1,54,83\u00b7CCZ1,55,82\u00b7CCZ1,56,81\u00b7CCZ1,57,80\u00b7CCZ1,58,79\u00b7CCZ1,59,78\u00b7CCZ1,60,77\u00b7CCZ1,61,76\u00b7CCZ1,62,75\u00b7CCZ1,63,74\u00b7CCZ2,50,83\u00b7CCZ2,51,82\u00b7CCZ2,52,81\u00b7CCZ2,53,80\u00b7CCZ2,58,73\u00b7CCZ2,59,72\u00b7CCZ2,60,71\u00b7CCZ2,61,70\u00b7CCZ2,62,69\u00b7CCZ2,63,68\u00b7CCZ3,49,83\u00b7CCZ3,51,79\u00b7CCZ3,52,78\u00b7CCZ3,53,77\u00b7CCZ3,55,73\u00b7CCZ3,56,72\u00b7CCZ3,57,71\u00b7CCZ3,61,67\u00b7CCZ3,62,66\u00b7CCZ3,63,65\u00b7CCZ4,49,82\u00b7CCZ4,50,79\u00b7CCZ4,52,76\u00b7CCZ4,53,75\u00b7CCZ4,54,73\u00b7CCZ4,56,70\u00b7CCZ4,57,69\u00b7CCZ4,59,67\u00b7CCZ4,60,66\u00b7CCZ4,63,64\u00b7CCZ5,49,81\u00b7CCZ5,50,78\u00b7CCZ5,51,76\u00b7CCZ5,53,74\u00b7CCZ5,54,72\u00b7CCZ5,55,70\u00b7CCZ5,57,68\u00b7CCZ5,58,67\u00b7CCZ5,60,65\u00b7CCZ5,62,64\u00b7CCZ6,49,80\u00b7CCZ6,50,77\u00b7CCZ6,51,75\u00b7CCZ6,52,74\u00b7CCZ6,54,71\u00b7CCZ6,55,69\u00b7CCZ6,56,68\u00b7CCZ6,58,66\u00b7CCZ6,59,65\u00b7CCZ6,61,64\u00b7CCZ7,39,83\u00b7CCZ7,40,82\u00b7CCZ7,41,81\u00b7CCZ7,42,80\u00b7CCZ7,43,79\u00b7CCZ7,44,78\u00b7CCZ7,45,77\u00b7CCZ7,46,76\u00b7CCZ7,47,75\u00b7CCZ7,48,74\u00b7CCZ8,35,83\u00b7CCZ8,36,82\u00b7CCZ8,37,81\u00b7CCZ8,38,80\u00b7CCZ8,43,73\u00b7CCZ8,44,72\u00b7CCZ8,45,71\u00b7CCZ8,46,70\u00b7CCZ8,47,69\u00b7CCZ8,48,68\u00b7CCZ9,34,83\u00b7CCZ9,36,79\u00b7CCZ9,37,78\u00b7CCZ9,38,77\u00b7CCZ9,40,73\u00b7CCZ9,41,72\u00b7CCZ9,42,71\u00b7CCZ9,46,67\u00b7CCZ9,47,66\u00b7CCZ9,48,65\u00b7CCZ10,34,82\u00b7CCZ10,35,79\u00b7CCZ10,37,76\u00b7CCZ10,38,75\u00b7CCZ10,39,73\u00b7CCZ10,41,70\u00b7CCZ10,42,69\u00b7CCZ10,44,67\u00b7CCZ10,45,66\u00b7CCZ10,48,64\u00b7CCZ11,34,81\u00b7CCZ11,35,78\u00b7CCZ11,36,76\u00b7CCZ11,38,74\u00b7CCZ11,39,72\u00b7CCZ11,40,70\u00b7CCZ11,42,68\u00b7CCZ11,43,67\u00b7CCZ11,45,65\u00b7CCZ11,47,64\u00b7CCZ12,34,80\u00b7CCZ12,35,77\u00b7CCZ12,36,75\u00b7CCZ12,37,74\u00b7CCZ12,39,71\u00b7CCZ12,40,69\u00b7CCZ12,41,68\u00b7CCZ12,43,66\u00b7CCZ12,44,65\u00b7CCZ12,46,64\u00b7CCZ13,30,83\u00b7CCZ13,31,82\u00b7CCZ13,32,81\u00b7CCZ13,33,80\u00b7CCZ13,43,63\u00b7CCZ13,44,62\u00b7CCZ13,45,61\u00b7CCZ13,46,60\u00b7CCZ13,47,59\u00b7CCZ13,48,58\u00b7CCZ14,29,83\u00b7CCZ14,31,79\u00b7CCZ14,32,78\u00b7CCZ14,33,77\u00b7CCZ14,40,63\u00b7CCZ14,41,62\u00b7CCZ14,42,61\u00b7CCZ14,46,57\u00b7CCZ14,47,56\u00b7CCZ14,48,55\u00b7CCZ15,29,82\u00b7CCZ15,30,79\u00b7CCZ15,32,76\u00b7CCZ15,33,75\u00b7CCZ15,39,63\u00b7CCZ15,41,60\u00b7CCZ15,42,59\u00b7CCZ15,44,57\u00b7CCZ15,45,56\u00b7CCZ15,48,54\u00b7CCZ16,29,81\u00b7CCZ16,30,78\u00b7CCZ16,31,76\u00b7CCZ16,33,74\u00b7CCZ16,39,62\u00b7CCZ16,40,60\u00b7CCZ16,42,58\u00b7CCZ16,43,57\u00b7CCZ16,45,55\u00b7CCZ16,47,54\u00b7CCZ17,29,80\u00b7CCZ17,30,77\u00b7CCZ17,31,75\u00b7CCZ17,32,74\u00b7CCZ17,39,61\u00b7CCZ17,40,59\u00b7CCZ17,41,58\u00b7CCZ17,43,56\u00b7CCZ17,44,55\u00b7CCZ17,46,54\u00b7CCZ18,28,83\u00b7CCZ18,31,73\u00b7CCZ18,32,72\u00b7CCZ18,33,71\u00b7CCZ18,36,63\u00b7CCZ18,37,62\u00b7CCZ18,38,61\u00b7CCZ18,46,53\u00b7CCZ18,47,52\u00b7CCZ18,48,51\u00b7CCZ19,28,82\u00b7CCZ19,30,73\u00b7CCZ19,32,70\u00b7CCZ19,33,69\u00b7CCZ19,35,63\u00b7CCZ19,37,60\u00b7CCZ19,38,59\u00b7CCZ19,44,53\u00b7CCZ19,45,52\u00b7CCZ19,48,50\u00b7CCZ20,28,81\u00b7CCZ20,30,72\u00b7CCZ20,31,70\u00b7CCZ20,33,68\u00b7CCZ20,35,62\u00b7CCZ20,36,60\u00b7CCZ20,38,58\u00b7CCZ20,43,53\u00b7CCZ20,45,51\u00b7CCZ20,47,50\u00b7CCZ21,28,80\u00b7CCZ21,30,71\u00b7CCZ21,31,69\u00b7CCZ21,32,68\u00b7CCZ21,35,61\u00b7CCZ21,36,59\u00b7CCZ21,37,58\u00b7CCZ21,43,52\u00b7CCZ21,44,51\u00b7CCZ21,46,50\u00b7CCZ22,28,79\u00b7CCZ22,29,73\u00b7CCZ22,32,67\u00b7CCZ22,33,66\u00b7CCZ22,34,63\u00b7CCZ22,37,57\u00b7CCZ22,38,56\u00b7CCZ22,41,53\u00b7CCZ22,42,52\u00b7CCZ22,48,49\u00b7CCZ23,28,78\u00b7CCZ23,29,72\u00b7CCZ23,31,67\u00b7CCZ23,33,65\u00b7CCZ23,34,62\u00b7CCZ23,36,57\u00b7CCZ23,38,55\u00b7CCZ23,40,53\u00b7CCZ23,42,51\u00b7CCZ23,47,49\u00b7CCZ24,28,77\u00b7CCZ24,29,71\u00b7CCZ24,31,66\u00b7CCZ24,32,65\u00b7CCZ24,34,61\u00b7CCZ24,36,56\u00b7CCZ24,37,55\u00b7CCZ24,40,52\u00b7CCZ24,41,51\u00b7CCZ24,46,49\u00b7CCZ25,28,76\u00b7CCZ25,29,70\u00b7CCZ25,30,67\u00b7CCZ25,33,64\u00b7CCZ25,34,60\u00b7CCZ25,35,57\u00b7CCZ25,38,54\u00b7CCZ25,39,53\u00b7CCZ25,42,50\u00b7CCZ25,45,49\u00b7CCZ26,28,75\u00b7CCZ26,29,69\u00b7CCZ26,30,66\u00b7CCZ26,32,64\u00b7CCZ26,34,59\u00b7CCZ26,35,56\u00b7CCZ26,37,54\u00b7CCZ26,39,52\u00b7CCZ26,41,50\u00b7CCZ26,44,49\u00b7CCZ27,28,74\u00b7CCZ27,29,68\u00b7CCZ27,30,65\u00b7CCZ27,31,64\u00b7CCZ27,34,58\u00b7CCZ27,35,55\u00b7CCZ27,36,54\u00b7CCZ27,39,51\u00b7CCZ27,40,50\u00b7CCZ27,43,49\u00b7CCZ28,39,83\u00b7CCZ28,40,82\u00b7CCZ28,41,81\u00b7CCZ28,42,80\u00b7CCZ28,43,79\u00b7CCZ28,44,78\u00b7CCZ28,45,77\u00b7CCZ28,46,76\u00b7CCZ28,47,75\u00b7CCZ28,48,74\u00b7CCZ28,54,83\u00b7CCZ28,55,82\u00b7CCZ28,56,81\u00b7CCZ28,57,80\u00b7CCZ28,58,79\u00b7CCZ28,59,78\u00b7CCZ28,60,77\u00b7CCZ28,61,76\u00b7CCZ28,62,75\u00b7CCZ28,63,74\u00b7CCZ28,64,83\u00b7CCZ28,65,82\u00b7CCZ28,66,81\u00b7CCZ28,67,80\u00b7CCZ28,68,79\u00b7CCZ28,69,78\u00b7CCZ28,70,77\u00b7CCZ28,71,76\u00b7CCZ28,72,75\u00b7CCZ28,73,74\u00b7CCZ28,74,79\u00b7CCZ28,74,82\u00b7CCZ28,74,83\u00b7CCZ28,75,78\u00b7CCZ28,75,81\u00b7CCZ28,75,83\u00b7CCZ28,76,77\u00b7CCZ28,76,80\u00b7CCZ28,76,83\u00b7CCZ28,77,81\u00b7CCZ28,77,82\u00b7CCZ28,78,80\u00b7CCZ28,78,82\u00b7CCZ28,79,80\u00b7CCZ28,79,81\u00b7CCZ29,35,83\u00b7CCZ29,36,82\u00b7CCZ29,37,81\u00b7CCZ29,38,80\u00b7CCZ29,43,73\u00b7CCZ29,44,72\u00b7CCZ29,45,71\u00b7CCZ29,46,70\u00b7CCZ29,47,69\u00b7CCZ29,48,68\u00b7CCZ29,50,83\u00b7CCZ29,51,82\u00b7CCZ29,52,81\u00b7CCZ29,53,80\u00b7CCZ29,58,73\u00b7CCZ29,59,72\u00b7CCZ29,60,71\u00b7CCZ29,61,70\u00b7CCZ29,62,69\u00b7CCZ29,63,68\u00b7CCZ29,64,83\u00b7CCZ29,65,82\u00b7CCZ29,66,81\u00b7CCZ29,67,80\u00b7CCZ29,68,73\u00b7CCZ29,68,79\u00b7CCZ29,68,82\u00b7CCZ29,68,83\u00b7CCZ29,69,72\u00b7CCZ29,69,78\u00b7CCZ29,69,81\u00b7CCZ29,69,83\u00b7CCZ29,70,71\u00b7CCZ29,70,77\u00b7CCZ29,70,80\u00b7CCZ29,70,83\u00b7CCZ29,71,76\u00b7CCZ29,71,81\u00b7CCZ29,71,82\u00b7CCZ29,72,75\u00b7CCZ29,72,80\u00b7CCZ29,72,82\u00b7CCZ29,73,74\u00b7CCZ29,73,80\u00b7CCZ29,73,81\u00b7CCZ30,34,83\u00b7CCZ30,36,79\u00b7CCZ30,37,78\u00b7CCZ30,38,77\u00b7CCZ30,40,73\u00b7CCZ30,41,72\u00b7CCZ30,42,71\u00b7CCZ30,46,67\u00b7CCZ30,47,66\u00b7CCZ30,48,65\u00b7CCZ30,49,83\u00b7CCZ30,51,79\u00b7CCZ30,52,78\u00b7CCZ30,53,77\u00b7CCZ30,55,73\u00b7CCZ30,56,72\u00b7CCZ30,57,71\u00b7CCZ30,61,67\u00b7CCZ30,62,66\u00b7CCZ30,63,65\u00b7CCZ30,64,83\u00b7CCZ30,65,73\u00b7CCZ30,65,79\u00b7CCZ30,65,82\u00b7CCZ30,65,83\u00b7CCZ30,66,72\u00b7CCZ30,66,78\u00b7CCZ30,66,81\u00b7CCZ30,66,83\u00b7CCZ30,67,71\u00b7CCZ30,67,77\u00b7CCZ30,67,80\u00b7CCZ30,67,83\u00b7CCZ30,68,79\u00b7CCZ30,69,78\u00b7CCZ30,70,77\u00b7CCZ30,71,76\u00b7CCZ30,71,78\u00b7CCZ30,71,79\u00b7CCZ30,72,75\u00b7CCZ30,72,77\u00b7CCZ30,72,79\u00b7CCZ30,73,74\u00b7CCZ30,73,77\u00b7CCZ30,73,78\u00b7CCZ31,34,82\u00b7CCZ31,35,79\u00b7CCZ31,37,76\u00b7CCZ31,38,75\u00b7CCZ31,39,73\u00b7CCZ31,41,70\u00b7CCZ31,42,69\u00b7CCZ31,44,67\u00b7CCZ31,45,66\u00b7CCZ31,48,64\u00b7CCZ31,49,82\u00b7CCZ31,50,79\u00b7CCZ31,52,76\u00b7CCZ31,53,75\u00b7CCZ31,54,73\u00b7CCZ31,56,70\u00b7CCZ31,57,69\u00b7CCZ31,59,67\u00b7CCZ31,60,66\u00b7CCZ31,63,64\u00b7CCZ31,64,73\u00b7CCZ31,64,79\u00b7CCZ31,64,82\u00b7CCZ31,64,83\u00b7CCZ31,65,82\u00b7CCZ31,66,70\u00b7CCZ31,66,76\u00b7CCZ31,66,81\u00b7CCZ31,66,82\u00b7CCZ31,67,69\u00b7CCZ31,67,75\u00b7CCZ31,67,80\u00b7CCZ31,67,82\u00b7CCZ31,68,79\u00b7CCZ31,69,76\u00b7CCZ31,69,78\u00b7CCZ31,69,79\u00b7CCZ31,70,75\u00b7CCZ31,70,77\u00b7CCZ31,70,79\u00b7CCZ31,71,76\u00b7CCZ31,72,75\u00b7CCZ31,73,74\u00b7CCZ31,73,75\u00b7CCZ31,73,76\u00b7CCZ32,34,81\u00b7CCZ32,35,78\u00b7CCZ32,36,76\u00b7CCZ32,38,74\u00b7CCZ32,39,72\u00b7CCZ32,40,70\u00b7CCZ32,42,68\u00b7CCZ32,43,67\u00b7CCZ32,45,65\u00b7CCZ32,47,64\u00b7CCZ32,49,81\u00b7CCZ32,50,78\u00b7CCZ32,51,76\u00b7CCZ32,53,74\u00b7CCZ32,54,72\u00b7CCZ32,55,70\u00b7CCZ32,57,68\u00b7CCZ32,58,67\u00b7CCZ32,60,65\u00b7CCZ32,62,64\u00b7CCZ32,64,72\u00b7CCZ32,64,78\u00b7CCZ32,64,81\u00b7CCZ32,64,83\u00b7CCZ32,65,70\u00b7CCZ32,65,76\u00b7CCZ32,65,81\u00b7CCZ32,65,82\u00b7CCZ32,66,81\u00b7CCZ32,67,68\u00b7CCZ32,67,74\u00b7CCZ32,67,80\u00b7CCZ32,67,81\u00b7CCZ32,68,76\u00b7CCZ32,68,78\u00b7CCZ32,68,79\u00b7CCZ32,69,78\u00b7CCZ32,70,74\u00b7CCZ32,70,77\u00b7CCZ32,70,78\u00b7CCZ32,71,76\u00b7CCZ32,72,74\u00b7CCZ32,72,75\u00b7CCZ32,72,76\u00b7CCZ32,73,74\u00b7CCZ33,34,80\u00b7CCZ33,35,77\u00b7CCZ33,36,75\u00b7CCZ33,37,74\u00b7CCZ33,39,71\u00b7CCZ33,40,69\u00b7CCZ33,41,68\u00b7CCZ33,43,66\u00b7CCZ33,44,65\u00b7CCZ33,46,64\u00b7CCZ33,49,80\u00b7CCZ33,50,77\u00b7CCZ33,51,75\u00b7CCZ33,52,74\u00b7CCZ33,54,71\u00b7CCZ33,55,69\u00b7CCZ33,56,68\u00b7CCZ33,58,66\u00b7CCZ33,59,65\u00b7CCZ33,61,64\u00b7CCZ33,64,71\u00b7CCZ33,64,77\u00b7CCZ33,64,80\u00b7CCZ33,64,83\u00b7CCZ33,65,69\u00b7CCZ33,65,75\u00b7CCZ33,65,80\u00b7CCZ33,65,82\u00b7CCZ33,66,68\u00b7CCZ33,66,74\u00b7CCZ33,66,80\u00b7CCZ33,66,81\u00b7CCZ33,67,80\u00b7CCZ33,68,75\u00b7CCZ33,68,77\u00b7CCZ33,68,79\u00b7CCZ33,69,74\u00b7CCZ33,69,77\u00b7CCZ33,69,78\u00b7CCZ33,70,77\u00b7CCZ33,71,74\u00b7CCZ33,71,75\u00b7CCZ33,71,76\u00b7CCZ33,72,75\u00b7CCZ33,73,74\u00b7CCZ34,43,63\u00b7CCZ34,44,62\u00b7CCZ34,45,61\u00b7CCZ34,46,60\u00b7CCZ34,47,59\u00b7CCZ34,48,58\u00b7CCZ34,50,83\u00b7CCZ34,51,82\u00b7CCZ34,52,81\u00b7CCZ34,53,80\u00b7CCZ34,54,83\u00b7CCZ34,55,82\u00b7CCZ34,56,81\u00b7CCZ34,57,80\u00b7CCZ34,58,63\u00b7CCZ34,58,73\u00b7CCZ34,58,79\u00b7CCZ34,58,82\u00b7CCZ34,58,83\u00b7CCZ34,59,62\u00b7CCZ34,59,72\u00b7CCZ34,59,78\u00b7CCZ34,59,81\u00b7CCZ34,59,83\u00b7CCZ34,60,61\u00b7CCZ34,60,71\u00b7CCZ34,60,77\u00b7CCZ34,60,80\u00b7CCZ34,60,83\u00b7CCZ34,61,70\u00b7CCZ34,61,76\u00b7CCZ34,61,81\u00b7CCZ34,61,82\u00b7CCZ34,62,69\u00b7CCZ34,62,75\u00b7CCZ34,62,80\u00b7CCZ34,62,82\u00b7CCZ34,63,68\u00b7CCZ34,63,74\u00b7CCZ34,63,80\u00b7CCZ34,63,81\u00b7CCZ35,40,63\u00b7CCZ35,41,62\u00b7CCZ35,42,61\u00b7CCZ35,46,57\u00b7CCZ35,47,56\u00b7CCZ35,48,55\u00b7CCZ35,49,83\u00b7CCZ35,51,79\u00b7CCZ35,52,78\u00b7CCZ35,53,77\u00b7CCZ35,54,83\u00b7CCZ35,55,63\u00b7CCZ35,55,73\u00b7CCZ35,55,79\u00b7CCZ35,55,82\u00b7CCZ35,55,83\u00b7CCZ35,56,62\u00b7CCZ35,56,72\u00b7CCZ35,56,78\u00b7CCZ35,56,81\u00b7CCZ35,56,83\u00b7CCZ35,57,61\u00b7CCZ35,57,71\u00b7CCZ35,57,77\u00b7CCZ35,57,80\u00b7CCZ35,57,83\u00b7CCZ35,58,79\u00b7CCZ35,59,78\u00b7CCZ35,60,77\u00b7CCZ35,61,67\u00b7CCZ35,61,76\u00b7CCZ35,61,78\u00b7CCZ35,61,79\u00b7CCZ35,62,66\u00b7CCZ35,62,75\u00b7CCZ35,62,77\u00b7CCZ35,62,79\u00b7CCZ35,63,65\u00b7CCZ35,63,74\u00b7CCZ35,63,77\u00b7CCZ35,63,78\u00b7CCZ36,39,63\u00b7CCZ36,41,60\u00b7CCZ36,42,59\u00b7CCZ36,44,57\u00b7CCZ36,45,56\u00b7CCZ36,48,54\u00b7CCZ36,49,82\u00b7CCZ36,50,79\u00b7CCZ36,52,76\u00b7CCZ36,53,75\u00b7CCZ36,54,63\u00b7CCZ36,54,73\u00b7CCZ36,54,79\u00b7CCZ36,54,82\u00b7CCZ36,54,83\u00b7CCZ36,55,82\u00b7CCZ36,56,60\u00b7CCZ36,56,70\u00b7CCZ36,56,76\u00b7CCZ36,56,81\u00b7CCZ36,56,82\u00b7CCZ36,57,59\u00b7CCZ36,57,69\u00b7CCZ36,57,75\u00b7CCZ36,57,80\u00b7CCZ36,57,82\u00b7CCZ36,58,79\u00b7CCZ36,59,67\u00b7CCZ36,59,76\u00b7CCZ36,59,78\u00b7CCZ36,59,79\u00b7CCZ36,60,66\u00b7CCZ36,60,75\u00b7CCZ36,60,77\u00b7CCZ36,60,79\u00b7CCZ36,61,76\u00b7CCZ36,62,75\u00b7CCZ36,63,64\u00b7CCZ36,63,74\u00b7CCZ36,63,75\u00b7CCZ36,63,76\u00b7CCZ37,39,62\u00b7CCZ37,40,60\u00b7CCZ37,42,58\u00b7CCZ37,43,57\u00b7CCZ37,45,55\u00b7CCZ37,47,54\u00b7CCZ37,49,81\u00b7CCZ37,50,78\u00b7CCZ37,51,76\u00b7CCZ37,53,74\u00b7CCZ37,54,62\u00b7CCZ37,54,72\u00b7CCZ37,54,78\u00b7CCZ37,54,81\u00b7CCZ37,54,83\u00b7CCZ37,55,60\u00b7CCZ37,55,70\u00b7CCZ37,55,76\u00b7CCZ37,55,81\u00b7CCZ37,55,82\u00b7CCZ37,56,81\u00b7CCZ37,57,58\u00b7CCZ37,57,68\u00b7CCZ37,57,74\u00b7CCZ37,57,80\u00b7CCZ37,57,81\u00b7CCZ37,58,67\u00b7CCZ37,58,76\u00b7CCZ37,58,78\u00b7CCZ37,58,79\u00b7CCZ37,59,78\u00b7CCZ37,60,65\u00b7CCZ37,60,74\u00b7CCZ37,60,77\u00b7CCZ37,60,78\u00b7CCZ37,61,76\u00b7CCZ37,62,64\u00b7CCZ37,62,74\u00b7CCZ37,62,75\u00b7CCZ37,62,76\u00b7CCZ37,63,74\u00b7CCZ38,39,61\u00b7CCZ38,40,59\u00b7CCZ38,41,58\u00b7CCZ38,43,56\u00b7CCZ38,44,55\u00b7CCZ38,46,54\u00b7CCZ38,49,80\u00b7CCZ38,50,77\u00b7CCZ38,51,75\u00b7CCZ38,52,74\u00b7CCZ38,54,61\u00b7CCZ38,54,71\u00b7CCZ38,54,77\u00b7CCZ38,54,80\u00b7CCZ38,54,83\u00b7CCZ38,55,59\u00b7CCZ38,55,69\u00b7CCZ38,55,75\u00b7CCZ38,55,80\u00b7CCZ38,55,82\u00b7CCZ38,56,58\u00b7CCZ38,56,68\u00b7CCZ38,56,74\u00b7CCZ38,56,80\u00b7CCZ38,56,81\u00b7CCZ38,57,80\u00b7CCZ38,58,66\u00b7CCZ38,58,75\u00b7CCZ38,58,77\u00b7CCZ38,58,79\u00b7CCZ38,59,65\u00b7CCZ38,59,74\u00b7CCZ38,59,77\u00b7CCZ38,59,78\u00b7CCZ38,60,77\u00b7CCZ38,61,64\u00b7CCZ38,61,74\u00b7CCZ38,61,75\u00b7CCZ38,61,76\u00b7CCZ38,62,75\u00b7CCZ38,63,74\u00b7CCZ39,46,53\u00b7CCZ39,47,52\u00b7CCZ39,48,51\u00b7CCZ39,49,83\u00b7CCZ39,50,83\u00b7CCZ39,51,63\u00b7CCZ39,51,73\u00b7CCZ39,51,79\u00b7CCZ39,51,82\u00b7CCZ39,51,83\u00b7CCZ39,52,62\u00b7CCZ39,52,72\u00b7CCZ39,52,78\u00b7CCZ39,52,81\u00b7CCZ39,52,83\u00b7CCZ39,53,61\u00b7CCZ39,53,71\u00b7CCZ39,53,77\u00b7CCZ39,53,80\u00b7CCZ39,53,83\u00b7CCZ39,55,73\u00b7CCZ39,56,72\u00b7CCZ39,57,71\u00b7CCZ39,58,73\u00b7CCZ39,59,72\u00b7CCZ39,60,71\u00b7CCZ39,61,67\u00b7CCZ39,61,70\u00b7CCZ39,61,72\u00b7CCZ39,61,73\u00b7CCZ39,62,66\u00b7CCZ39,62,69\u00b7CCZ39,62,71\u00b7CCZ39,62,73\u00b7CCZ39,63,65\u00b7CCZ39,63,68\u00b7CCZ39,63,71\u00b7CCZ39,63,72\u00b7CCZ40,44,53\u00b7CCZ40,45,52\u00b7CCZ40,48,50\u00b7CCZ40,49,82\u00b7CCZ40,50,63\u00b7CCZ40,50,73\u00b7CCZ40,50,79\u00b7CCZ40,50,82\u00b7CCZ40,50,83\u00b7CCZ40,51,82\u00b7CCZ40,52,60\u00b7CCZ40,52,70\u00b7CCZ40,52,76\u00b7CCZ40,52,81\u00b7CCZ40,52,82\u00b7CCZ40,53,59\u00b7CCZ40,53,69\u00b7CCZ40,53,75\u00b7CCZ40,53,80\u00b7CCZ40,53,82\u00b7CCZ40,54,73\u00b7CCZ40,56,70\u00b7CCZ40,57,69\u00b7CCZ40,58,73\u00b7CCZ40,59,67\u00b7CCZ40,59,70\u00b7CCZ40,59,72\u00b7CCZ40,59,73\u00b7CCZ40,60,66\u00b7CCZ40,60,69\u00b7CCZ40,60,71\u00b7CCZ40,60,73\u00b7CCZ40,61,70\u00b7CCZ40,62,69\u00b7CCZ40,63,64\u00b7CCZ40,63,68\u00b7CCZ40,63,69\u00b7CCZ40,63,70\u00b7CCZ41,43,53\u00b7CCZ41,45,51\u00b7CCZ41,47,50\u00b7CCZ41,49,81\u00b7CCZ41,50,62\u00b7CCZ41,50,72\u00b7CCZ41,50,78\u00b7CCZ41,50,81\u00b7CCZ41,50,83\u00b7CCZ41,51,60\u00b7CCZ41,51,70\u00b7CCZ41,51,76\u00b7CCZ41,51,81\u00b7CCZ41,51,82\u00b7CCZ41,52,81\u00b7CCZ41,53,58\u00b7CCZ41,53,68\u00b7CCZ41,53,74\u00b7CCZ41,53,80\u00b7CCZ41,53,81\u00b7CCZ41,54,72\u00b7CCZ41,55,70\u00b7CCZ41,57,68\u00b7CCZ41,58,67\u00b7CCZ41,58,70\u00b7CCZ41,58,72\u00b7CCZ41,58,73\u00b7CCZ41,59,72\u00b7CCZ41,60,65\u00b7CCZ41,60,68\u00b7CCZ41,60,71\u00b7CCZ41,60,72\u00b7CCZ41,61,70\u00b7CCZ41,62,64\u00b7CCZ41,62,68\u00b7CCZ41,62,69\u00b7CCZ41,62,70\u00b7CCZ41,63,68\u00b7CCZ42,43,52\u00b7CCZ42,44,51\u00b7CCZ42,46,50\u00b7CCZ42,49,80\u00b7CCZ42,50,61\u00b7CCZ42,50,71\u00b7CCZ42,50,77\u00b7CCZ42,50,80\u00b7CCZ42,50,83\u00b7CCZ42,51,59\u00b7CCZ42,51,69\u00b7CCZ42,51,75\u00b7CCZ42,51,80\u00b7CCZ42,51,82\u00b7CCZ42,52,58\u00b7CCZ42,52,68\u00b7CCZ42,52,74\u00b7CCZ42,52,80\u00b7CCZ42,52,81\u00b7CCZ42,53,80\u00b7CCZ42,54,71\u00b7CCZ42,55,69\u00b7CCZ42,56,68\u00b7CCZ42,58,66\u00b7CCZ42,58,69\u00b7CCZ42,58,71\u00b7CCZ42,58,73\u00b7CCZ42,59,65\u00b7CCZ42,59,68\u00b7CCZ42,59,71\u00b7CCZ42,59,72\u00b7CCZ42,60,71\u00b7CCZ42,61,64\u00b7CCZ42,61,68\u00b7CCZ42,61,69\u00b7CCZ42,61,70\u00b7CCZ42,62,69\u00b7CCZ42,63,68\u00b7CCZ43,48,49\u00b7CCZ43,49,63\u00b7CCZ43,49,73\u00b7CCZ43,49,79\u00b7CCZ43,49,82\u00b7CCZ43,49,83\u00b7CCZ43,50,79\u00b7CCZ43,51,79\u00b7CCZ43,52,57\u00b7CCZ43,52,67\u00b7CCZ43,52,76\u00b7CCZ43,52,78\u00b7CCZ43,52,79\u00b7CCZ43,53,56\u00b7CCZ43,53,66\u00b7CCZ43,53,75\u00b7CCZ43,53,77\u00b7CCZ43,53,79\u00b7CCZ43,54,73\u00b7CCZ43,55,73\u00b7CCZ43,56,67\u00b7CCZ43,56,70\u00b7CCZ43,56,72\u00b7CCZ43,56,73\u00b7CCZ43,57,66\u00b7CCZ43,57,69\u00b7CCZ43,57,71\u00b7CCZ43,57,73\u00b7CCZ43,59,67\u00b7CCZ43,60,66\u00b7CCZ43,61,67\u00b7CCZ43,62,66\u00b7CCZ43,63,64\u00b7CCZ43,63,65\u00b7CCZ43,63,66\u00b7CCZ43,63,67\u00b7CCZ44,47,49\u00b7CCZ44,49,62\u00b7CCZ44,49,72\u00b7CCZ44,49,78\u00b7CCZ44,49,81\u00b7CCZ44,49,83\u00b7CCZ44,50,78\u00b7CCZ44,51,57\u00b7CCZ44,51,67\u00b7CCZ44,51,76\u00b7CCZ44,51,78\u00b7CCZ44,51,79\u00b7CCZ44,52,78\u00b7CCZ44,53,55\u00b7CCZ44,53,65\u00b7CCZ44,53,74\u00b7CCZ44,53,77\u00b7CCZ44,53,78\u00b7CCZ44,54,72\u00b7CCZ44,55,67\u00b7CCZ44,55,70\u00b7CCZ44,55,72\u00b7CCZ44,55,73\u00b7CCZ44,56,72\u00b7CCZ44,57,65\u00b7CCZ44,57,68\u00b7CCZ44,57,71\u00b7CCZ44,57,72\u00b7CCZ44,58,67\u00b7CCZ44,60,65\u00b7CCZ44,61,67\u00b7CCZ44,62,64\u00b7CCZ44,62,65\u00b7CCZ44,62,66\u00b7CCZ44,62,67\u00b7CCZ44,63,65\u00b7CCZ45,46,49\u00b7CCZ45,49,61\u00b7CCZ45,49,71\u00b7CCZ45,49,77\u00b7CCZ45,49,80\u00b7CCZ45,49,83\u00b7CCZ45,50,77\u00b7CCZ45,51,56\u00b7CCZ45,51,66\u00b7CCZ45,51,75\u00b7CCZ45,51,77\u00b7CCZ45,51,79\u00b7CCZ45,52,55\u00b7CCZ45,52,65\u00b7CCZ45,52,74\u00b7CCZ45,52,77\u00b7CCZ45,52,78\u00b7CCZ45,53,77\u00b7CCZ45,54,71\u00b7CCZ45,55,66\u00b7CCZ45,55,69\u00b7CCZ45,55,71\u00b7CCZ45,55,73\u00b7CCZ45,56,65\u00b7CCZ45,56,68\u00b7CCZ45,56,71\u00b7CCZ45,56,72\u00b7CCZ45,57,71\u00b7CCZ45,58,66\u00b7CCZ45,59,65\u00b7CCZ45,61,64\u00b7CCZ45,61,65\u00b7CCZ45,61,66\u00b7CCZ45,61,67\u00b7CCZ45,62,66\u00b7CCZ45,63,65\u00b7CCZ46,49,60\u00b7CCZ46,49,70\u00b7CCZ46,49,76\u00b7CCZ46,49,81\u00b7CCZ46,49,82\u00b7CCZ46,50,57\u00b7CCZ46,50,67\u00b7CCZ46,50,76\u00b7CCZ46,50,78\u00b7CCZ46,50,79\u00b7CCZ46,51,76\u00b7CCZ46,52,76\u00b7CCZ46,53,54\u00b7CCZ46,53,64\u00b7CCZ46,53,74\u00b7CCZ46,53,75\u00b7CCZ46,53,76\u00b7CCZ46,54,67\u00b7CCZ46,54,70\u00b7CCZ46,54,72\u00b7CCZ46,54,73\u00b7CCZ46,55,70\u00b7CCZ46,56,70\u00b7CCZ46,57,64\u00b7CCZ46,57,68\u00b7CCZ46,57,69\u00b7CCZ46,57,70\u00b7CCZ46,58,67\u00b7CCZ46,59,67\u00b7CCZ46,60,64\u00b7CCZ46,60,65\u00b7CCZ46,60,66\u00b7CCZ46,60,67\u00b7CCZ46,62,64\u00b7CCZ46,63,64\u00b7CCZ47,49,59\u00b7CCZ47,49,69\u00b7CCZ47,49,75\u00b7CCZ47,49,80\u00b7CCZ47,49,82\u00b7CCZ47,50,56\u00b7CCZ47,50,66\u00b7CCZ47,50,75\u00b7CCZ47,50,77\u00b7CCZ47,50,79\u00b7CCZ47,51,75\u00b7CCZ47,52,54\u00b7CCZ47,52,64\u00b7CCZ47,52,74\u00b7CCZ47,52,75\u00b7CCZ47,52,76\u00b7CCZ47,53,75\u00b7CCZ47,54,66\u00b7CCZ47,54,69\u00b7CCZ47,54,71\u00b7CCZ47,54,73\u00b7CCZ47,55,69\u00b7CCZ47,56,64\u00b7CCZ47,56,68\u00b7CCZ47,56,69\u00b7CCZ47,56,70\u00b7CCZ47,57,69\u00b7CCZ47,58,66\u00b7CCZ47,59,64\u00b7CCZ47,59,65\u00b7CCZ47,59,66\u00b7CCZ47,59,67\u00b7CCZ47,60,66\u00b7CCZ47,61,64\u00b7CCZ47,63,64\u00b7CCZ48,49,58\u00b7CCZ48,49,68\u00b7CCZ48,49,74\u00b7CCZ48,49,80\u00b7CCZ48,49,81\u00b7CCZ48,50,55\u00b7CCZ48,50,65\u00b7CCZ48,50,74\u00b7CCZ48,50,77\u00b7CCZ48,50,78\u00b7CCZ48,51,54\u00b7CCZ48,51,64\u00b7CCZ48,51,74\u00b7CCZ48,51,75\u00b7CCZ48,51,76\u00b7CCZ48,52,74\u00b7CCZ48,53,74\u00b7CCZ48,54,65\u00b7CCZ48,54,68\u00b7CCZ48,54,71\u00b7CCZ48,54,72\u00b7CCZ48,55,64\u00b7CCZ48,55,68\u00b7CCZ48,55,69\u00b7CCZ48,55,70\u00b7CCZ48,56,68\u00b7CCZ48,57,68\u00b7CCZ48,58,64\u00b7CCZ48,58,65\u00b7CCZ48,58,66\u00b7CCZ48,58,67\u00b7CCZ48,59,65\u00b7CCZ48,60,65\u00b7CCZ48,61,64\u00b7CCZ48,62,64","monomials":[[0,64,83],[0,65,82],[0,66,81],[0,67,80],[0,68,79],[0,69,78],[0,70,77],[0,71,76],[0,72,75],[0,73,74],[1,54,83],[1,55,82],[1,56,81],[1,57,80],[1,58,79],[1,59,78],[1,60,77],[1,61,76],[1,62,75],[1,63,74],[2,50,83],[2,51,82],[2,52,81],[2,53,80],[2,58,73],[2,59,72],[2,60,71],[2,61,70],[2,62,69],[2,63,68],[3,49,83],[3,51,79],[3,52,78],[3,53,77],[3,55,73],[3,56,72],[3,57,71],[3,61,67],[3,62,66],[3,63,65],[4,49,82],[4,50,79],[4,52,76],[4,53,75],[4,54,73],[4,56,70],[4,57,69],[4,59,67],[4,60,66],[4,63,64],[5,49,81],[5,50,78],[5,51,76],[5,53,74],[5,54,72],[5,55,70],[5,57,68],[5,58,67],[5,60,65],[5,62,64],[6,49,80],[6,50,77],[6,51,75],[6,52,74],[6,54,71],[6,55,69],[6,56,68],[6,58,66],[6,59,65],[6,61,64],[7,39,83],[7,40,82],[7,41,81],[7,42,80],[7,43,79],[7,44,78],[7,45,77],[7,46,76],[7,47,75],[7,48,74],[8,35,83],[8,36,82],[8,37,81],[8,38,80],[8,43,73],[8,44,72],[8,45,71],[8,46,70],[8,47,69],[8,48,68],[9,34,83],[9,36,79],[9,37,78],[9,38,77],[9,40,73],[9,41,72],[9,42,71],[9,46,67],[9,47,66],[9,48,65],[10,34,82],[10,35,79],[10,37,76],[10,38,75],[10,39,73],[10,41,70],[10,42,69],[10,44,67],[10,45,66],[10,48,64],[11,34,81],[11,35,78],[11,36,76],[11,38,74],[11,39,72],[11,40,70],[11,42,68],[11,43,67],[11,45,65],[11,47,64],[12,34,80],[12,35,77],[12,36,75],[12,37,74],[12,39,71],[12,40,69],[12,41,68],[12,43,66],[12,44,65],[12,46,64],[13,30,83],[13,31,82],[13,32,81],[13,33,80],[13,43,63],[13,44,62],[13,45,61],[13,46,60],[13,47,59],[13,48,58],[14,29,83],[14,31,79],[14,32,78],[14,33,77],[14,40,63],[14,41,62],[14,42,61],[14,46,57],[14,47,56],[14,48,55],[15,29,82],[15,30,79],[15,32,76],[15,33,75],[15,39,63],[15,41,60],[15,42,59],[15,44,57],[15,45,56],[15,48,54],[16,29,81],[16,30,78],[16,31,76],[16,33,74],[16,39,62],[16,40,60],[16,42,58],[16,43,57],[16,45,55],[16,47,54],[17,29,80],[17,30,77],[17,31,75],[17,32,74],[17,39,61],[17,40,59],[17,41,58],[17,43,56],[17,44,55],[17,46,54],[18,28,83],[18,31,73],[18,32,72],[18,33,71],[18,36,63],[18,37,62],[18,38,61],[18,46,53],[18,47,52],[18,48,51],[19,28,82],[19,30,73],[19,32,70],[19,33,69],[19,35,63],[19,37,60],[19,38,59],[19,44,53],[19,45,52],[19,48,50],[20,28,81],[20,30,72],[20,31,70],[20,33,68],[20,35,62],[20,36,60],[20,38,58],[20,43,53],[20,45,51],[20,47,50],[21,28,80],[21,30,71],[21,31,69],[21,32,68],[21,35,61],[21,36,59],[21,37,58],[21,43,52],[21,44,51],[21,46,50],[22,28,79],[22,29,73],[22,32,67],[22,33,66],[22,34,63],[22,37,57],[22,38,56],[22,41,53],[22,42,52],[22,48,49],[23,28,78],[23,29,72],[23,31,67],[23,33,65],[23,34,62],[23,36,57],[23,38,55],[23,40,53],[23,42,51],[23,47,49],[24,28,77],[24,29,71],[24,31,66],[24,32,65],[24,34,61],[24,36,56],[24,37,55],[24,40,52],[24,41,51],[24,46,49],[25,28,76],[25,29,70],[25,30,67],[25,33,64],[25,34,60],[25,35,57],[25,38,54],[25,39,53],[25,42,50],[25,45,49],[26,28,75],[26,29,69],[26,30,66],[26,32,64],[26,34,59],[26,35,56],[26,37,54],[26,39,52],[26,41,50],[26,44,49],[27,28,74],[27,29,68],[27,30,65],[27,31,64],[27,34,58],[27,35,55],[27,36,54],[27,39,51],[27,40,50],[27,43,49],[28,39,83],[28,40,82],[28,41,81],[28,42,80],[28,43,79],[28,44,78],[28,45,77],[28,46,76],[28,47,75],[28,48,74],[28,54,83],[28,55,82],[28,56,81],[28,57,80],[28,58,79],[28,59,78],[28,60,77],[28,61,76],[28,62,75],[28,63,74],[28,64,83],[28,65,82],[28,66,81],[28,67,80],[28,68,79],[28,69,78],[28,70,77],[28,71,76],[28,72,75],[28,73,74],[28,74,79],[28,74,82],[28,74,83],[28,75,78],[28,75,81],[28,75,83],[28,76,77],[28,76,80],[28,76,83],[28,77,81],[28,77,82],[28,78,80],[28,78,82],[28,79,80],[28,79,81],[29,35,83],[29,36,82],[29,37,81],[29,38,80],[29,43,73],[29,44,72],[29,45,71],[29,46,70],[29,47,69],[29,48,68],[29,50,83],[29,51,82],[29,52,81],[29,53,80],[29,58,73],[29,59,72],[29,60,71],[29,61,70],[29,62,69],[29,63,68],[29,64,83],[29,65,82],[29,66,81],[29,67,80],[29,68,73],[29,68,79],[29,68,82],[29,68,83],[29,69,72],[29,69,78],[29,69,81],[29,69,83],[29,70,71],[29,70,77],[29,70,80],[29,70,83],[29,71,76],[29,71,81],[29,71,82],[29,72,75],[29,72,80],[29,72,82],[29,73,74],[29,73,80],[29,73,81],[30,34,83],[30,36,79],[30,37,78],[30,38,77],[30,40,73],[30,41,72],[30,42,71],[30,46,67],[30,47,66],[30,48,65],[30,49,83],[30,51,79],[30,52,78],[30,53,77],[30,55,73],[30,56,72],[30,57,71],[30,61,67],[30,62,66],[30,63,65],[30,64,83],[30,65,73],[30,65,79],[30,65,82],[30,65,83],[30,66,72],[30,66,78],[30,66,81],[30,66,83],[30,67,71],[30,67,77],[30,67,80],[30,67,83],[30,68,79],[30,69,78],[30,70,77],[30,71,76],[30,71,78],[30,71,79],[30,72,75],[30,72,77],[30,72,79],[30,73,74],[30,73,77],[30,73,78],[31,34,82],[31,35,79],[31,37,76],[31,38,75],[31,39,73],[31,41,70],[31,42,69],[31,44,67],[31,45,66],[31,48,64],[31,49,82],[31,50,79],[31,52,76],[31,53,75],[31,54,73],[31,56,70],[31,57,69],[31,59,67],[31,60,66],[31,63,64],[31,64,73],[31,64,79],[31,64,82],[31,64,83],[31,65,82],[31,66,70],[31,66,76],[31,66,81],[31,66,82],[31,67,69],[31,67,75],[31,67,80],[31,67,82],[31,68,79],[31,69,76],[31,69,78],[31,69,79],[31,70,75],[31,70,77],[31,70,79],[31,71,76],[31,72,75],[31,73,74],[31,73,75],[31,73,76],[32,34,81],[32,35,78],[32,36,76],[32,38,74],[32,39,72],[32,40,70],[32,42,68],[32,43,67],[32,45,65],[32,47,64],[32,49,81],[32,50,78],[32,51,76],[32,53,74],[32,54,72],[32,55,70],[32,57,68],[32,58,67],[32,60,65],[32,62,64],[32,64,72],[32,64,78],[32,64,81],[32,64,83],[32,65,70],[32,65,76],[32,65,81],[32,65,82],[32,66,81],[32,67,68],[32,67,74],[32,67,80],[32,67,81],[32,68,76],[32,68,78],[32,68,79],[32,69,78],[32,70,74],[32,70,77],[32,70,78],[32,71,76],[32,72,74],[32,72,75],[32,72,76],[32,73,74],[33,34,80],[33,35,77],[33,36,75],[33,37,74],[33,39,71],[33,40,69],[33,41,68],[33,43,66],[33,44,65],[33,46,64],[33,49,80],[33,50,77],[33,51,75],[33,52,74],[33,54,71],[33,55,69],[33,56,68],[33,58,66],[33,59,65],[33,61,64],[33,64,71],[33,64,77],[33,64,80],[33,64,83],[33,65,69],[33,65,75],[33,65,80],[33,65,82],[33,66,68],[33,66,74],[33,66,80],[33,66,81],[33,67,80],[33,68,75],[33,68,77],[33,68,79],[33,69,74],[33,69,77],[33,69,78],[33,70,77],[33,71,74],[33,71,75],[33,71,76],[33,72,75],[33,73,74],[34,43,63],[34,44,62],[34,45,61],[34,46,60],[34,47,59],[34,48,58],[34,50,83],[34,51,82],[34,52,81],[34,53,80],[34,54,83],[34,55,82],[34,56,81],[34,57,80],[34,58,63],[34,58,73],[34,58,79],[34,58,82],[34,58,83],[34,59,62],[34,59,72],[34,59,78],[34,59,81],[34,59,83],[34,60,61],[34,60,71],[34,60,77],[34,60,80],[34,60,83],[34,61,70],[34,61,76],[34,61,81],[34,61,82],[34,62,69],[34,62,75],[34,62,80],[34,62,82],[34,63,68],[34,63,74],[34,63,80],[34,63,81],[35,40,63],[35,41,62],[35,42,61],[35,46,57],[35,47,56],[35,48,55],[35,49,83],[35,51,79],[35,52,78],[35,53,77],[35,54,83],[35,55,63],[35,55,73],[35,55,79],[35,55,82],[35,55,83],[35,56,62],[35,56,72],[35,56,78],[35,56,81],[35,56,83],[35,57,61],[35,57,71],[35,57,77],[35,57,80],[35,57,83],[35,58,79],[35,59,78],[35,60,77],[35,61,67],[35,61,76],[35,61,78],[35,61,79],[35,62,66],[35,62,75],[35,62,77],[35,62,79],[35,63,65],[35,63,74],[35,63,77],[35,63,78],[36,39,63],[36,41,60],[36,42,59],[36,44,57],[36,45,56],[36,48,54],[36,49,82],[36,50,79],[36,52,76],[36,53,75],[36,54,63],[36,54,73],[36,54,79],[36,54,82],[36,54,83],[36,55,82],[36,56,60],[36,56,70],[36,56,76],[36,56,81],[36,56,82],[36,57,59],[36,57,69],[36,57,75],[36,57,80],[36,57,82],[36,58,79],[36,59,67],[36,59,76],[36,59,78],[36,59,79],[36,60,66],[36,60,75],[36,60,77],[36,60,79],[36,61,76],[36,62,75],[36,63,64],[36,63,74],[36,63,75],[36,63,76],[37,39,62],[37,40,60],[37,42,58],[37,43,57],[37,45,55],[37,47,54],[37,49,81],[37,50,78],[37,51,76],[37,53,74],[37,54,62],[37,54,72],[37,54,78],[37,54,81],[37,54,83],[37,55,60],[37,55,70],[37,55,76],[37,55,81],[37,55,82],[37,56,81],[37,57,58],[37,57,68],[37,57,74],[37,57,80],[37,57,81],[37,58,67],[37,58,76],[37,58,78],[37,58,79],[37,59,78],[37,60,65],[37,60,74],[37,60,77],[37,60,78],[37,61,76],[37,62,64],[37,62,74],[37,62,75],[37,62,76],[37,63,74],[38,39,61],[38,40,59],[38,41,58],[38,43,56],[38,44,55],[38,46,54],[38,49,80],[38,50,77],[38,51,75],[38,52,74],[38,54,61],[38,54,71],[38,54,77],[38,54,80],[38,54,83],[38,55,59],[38,55,69],[38,55,75],[38,55,80],[38,55,82],[38,56,58],[38,56,68],[38,56,74],[38,56,80],[38,56,81],[38,57,80],[38,58,66],[38,58,75],[38,58,77],[38,58,79],[38,59,65],[38,59,74],[38,59,77],[38,59,78],[38,60,77],[38,61,64],[38,61,74],[38,61,75],[38,61,76],[38,62,75],[38,63,74],[39,46,53],[39,47,52],[39,48,51],[39,49,83],[39,50,83],[39,51,63],[39,51,73],[39,51,79],[39,51,82],[39,51,83],[39,52,62],[39,52,72],[39,52,78],[39,52,81],[39,52,83],[39,53,61],[39,53,71],[39,53,77],[39,53,80],[39,53,83],[39,55,73],[39,56,72],[39,57,71],[39,58,73],[39,59,72],[39,60,71],[39,61,67],[39,61,70],[39,61,72],[39,61,73],[39,62,66],[39,62,69],[39,62,71],[39,62,73],[39,63,65],[39,63,68],[39,63,71],[39,63,72],[40,44,53],[40,45,52],[40,48,50],[40,49,82],[40,50,63],[40,50,73],[40,50,79],[40,50,82],[40,50,83],[40,51,82],[40,52,60],[40,52,70],[40,52,76],[40,52,81],[40,52,82],[40,53,59],[40,53,69],[40,53,75],[40,53,80],[40,53,82],[40,54,73],[40,56,70],[40,57,69],[40,58,73],[40,59,67],[40,59,70],[40,59,72],[40,59,73],[40,60,66],[40,60,69],[40,60,71],[40,60,73],[40,61,70],[40,62,69],[40,63,64],[40,63,68],[40,63,69],[40,63,70],[41,43,53],[41,45,51],[41,47,50],[41,49,81],[41,50,62],[41,50,72],[41,50,78],[41,50,81],[41,50,83],[41,51,60],[41,51,70],[41,51,76],[41,51,81],[41,51,82],[41,52,81],[41,53,58],[41,53,68],[41,53,74],[41,53,80],[41,53,81],[41,54,72],[41,55,70],[41,57,68],[41,58,67],[41,58,70],[41,58,72],[41,58,73],[41,59,72],[41,60,65],[41,60,68],[41,60,71],[41,60,72],[41,61,70],[41,62,64],[41,62,68],[41,62,69],[41,62,70],[41,63,68],[42,43,52],[42,44,51],[42,46,50],[42,49,80],[42,50,61],[42,50,71],[42,50,77],[42,50,80],[42,50,83],[42,51,59],[42,51,69],[42,51,75],[42,51,80],[42,51,82],[42,52,58],[42,52,68],[42,52,74],[42,52,80],[42,52,81],[42,53,80],[42,54,71],[42,55,69],[42,56,68],[42,58,66],[42,58,69],[42,58,71],[42,58,73],[42,59,65],[42,59,68],[42,59,71],[42,59,72],[42,60,71],[42,61,64],[42,61,68],[42,61,69],[42,61,70],[42,62,69],[42,63,68],[43,48,49],[43,49,63],[43,49,73],[43,49,79],[43,49,82],[43,49,83],[43,50,79],[43,51,79],[43,52,57],[43,52,67],[43,52,76],[43,52,78],[43,52,79],[43,53,56],[43,53,66],[43,53,75],[43,53,77],[43,53,79],[43,54,73],[43,55,73],[43,56,67],[43,56,70],[43,56,72],[43,56,73],[43,57,66],[43,57,69],[43,57,71],[43,57,73],[43,59,67],[43,60,66],[43,61,67],[43,62,66],[43,63,64],[43,63,65],[43,63,66],[43,63,67],[44,47,49],[44,49,62],[44,49,72],[44,49,78],[44,49,81],[44,49,83],[44,50,78],[44,51,57],[44,51,67],[44,51,76],[44,51,78],[44,51,79],[44,52,78],[44,53,55],[44,53,65],[44,53,74],[44,53,77],[44,53,78],[44,54,72],[44,55,67],[44,55,70],[44,55,72],[44,55,73],[44,56,72],[44,57,65],[44,57,68],[44,57,71],[44,57,72],[44,58,67],[44,60,65],[44,61,67],[44,62,64],[44,62,65],[44,62,66],[44,62,67],[44,63,65],[45,46,49],[45,49,61],[45,49,71],[45,49,77],[45,49,80],[45,49,83],[45,50,77],[45,51,56],[45,51,66],[45,51,75],[45,51,77],[45,51,79],[45,52,55],[45,52,65],[45,52,74],[45,52,77],[45,52,78],[45,53,77],[45,54,71],[45,55,66],[45,55,69],[45,55,71],[45,55,73],[45,56,65],[45,56,68],[45,56,71],[45,56,72],[45,57,71],[45,58,66],[45,59,65],[45,61,64],[45,61,65],[45,61,66],[45,61,67],[45,62,66],[45,63,65],[46,49,60],[46,49,70],[46,49,76],[46,49,81],[46,49,82],[46,50,57],[46,50,67],[46,50,76],[46,50,78],[46,50,79],[46,51,76],[46,52,76],[46,53,54],[46,53,64],[46,53,74],[46,53,75],[46,53,76],[46,54,67],[46,54,70],[46,54,72],[46,54,73],[46,55,70],[46,56,70],[46,57,64],[46,57,68],[46,57,69],[46,57,70],[46,58,67],[46,59,67],[46,60,64],[46,60,65],[46,60,66],[46,60,67],[46,62,64],[46,63,64],[47,49,59],[47,49,69],[47,49,75],[47,49,80],[47,49,82],[47,50,56],[47,50,66],[47,50,75],[47,50,77],[47,50,79],[47,51,75],[47,52,54],[47,52,64],[47,52,74],[47,52,75],[47,52,76],[47,53,75],[47,54,66],[47,54,69],[47,54,71],[47,54,73],[47,55,69],[47,56,64],[47,56,68],[47,56,69],[47,56,70],[47,57,69],[47,58,66],[47,59,64],[47,59,65],[47,59,66],[47,59,67],[47,60,66],[47,61,64],[47,63,64],[48,49,58],[48,49,68],[48,49,74],[48,49,80],[48,49,81],[48,50,55],[48,50,65],[48,50,74],[48,50,77],[48,50,78],[48,51,54],[48,51,64],[48,51,74],[48,51,75],[48,51,76],[48,52,74],[48,53,74],[48,54,65],[48,54,68],[48,54,71],[48,54,72],[48,55,64],[48,55,68],[48,55,69],[48,55,70],[48,56,68],[48,57,68],[48,58,64],[48,58,65],[48,58,66],[48,58,67],[48,59,65],[48,60,65],[48,61,64],[48,62,64]],"sk_key":null,"sk_fingerprint":"b5fa145a1032159a","sk_canonical_frame":false,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[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,92],[0,1,2,3,4,5,7,8,9,10,11,13,14,15,16,18,19,20,22,23,25,28,29,30,31,32,34,35,36,37,39,40,41,43,44,46,49,50,51,52,54,55,56,58,59,61,64,65,66,68,69,71,74,75,77,80,84,85,86,87,88,89,90,91],[0,1,2,3,4,6,7,8,9,10,12,13,14,15,17,18,19,21,22,24,26,28,29,30,31,33,34,35,36,38,39,40,42,43,45,47,49,50,51,53,54,55,57,58,60,62,64,65,67,68,70,72,74,76,78,81,84,85,86,87,88,89,90,92],[0,1,2,3,4,7,8,9,10,13,14,15,18,19,22,28,29,30,31,34,35,36,39,40,43,49,50,51,54,55,58,64,65,68,74,84,85,86,87,88,89,90],[0,1,2,3,5,6,7,8,9,11,12,13,14,16,17,18,20,21,23,24,27,28,29,30,32,33,34,35,37,38,39,41,42,44,45,48,49,50,52,53,54,56,57,59,60,63,64,66,67,69,70,73,75,76,79,82,84,85,86,87,88,89,91,92],[0,1,2,3,5,7,8,9,11,13,14,16,18,20,23,28,29,30,32,34,35,37,39,41,44,49,50,52,54,56,59,64,66,69,75,84,85,86,87,88,89,91],[0,1,2,3,6,7,8,9,12,13,14,17,18,21,24,28,29,30,33,34,35,38,39,42,45,49,50,53,54,57,60,64,67,70,76,84,85,86,87,88,89,92],[0,1,2,3,7,8,9,13,14,18,28,29,30,34,35,39,49,50,54,64,84,85,86,87,88,89],[0,1,2,4,5,6,7,8,10,11,12,13,15,16,17,19,20,21,25,26,27,28,29,31,32,33,34,36,37,38,40,41,42,46,47,48,49,51,52,53,55,56,57,61,62,63,65,66,67,71,72,73,77,78,79,83,84,85,86,87,88,90,91,92],[0,1,2,4,5,7,8,10,11,13,15,16,19,20,25,28,29,31,32,34,36,37,40,41,46,49,51,52,55,56,61,65,66,71,77,84,85,86,87,88,90,91],[0,1,2,4,6,7,8,10,12,13,15,17,19,21,26,28,29,31,33,34,36,38,40,42,47,49,51,53,55,57,62,65,67,72,78,84,85,86,87,88,90,92],[0,1,2,4,7,8,10,13,15,19,28,29,31,34,36,40,49,51,55,65,84,85,86,87,88,90],[0,1,2,5,6,7,8,11,12,13,16,17,20,21,27,28,29,32,33,34,37,38,41,42,48,49,52,53,56,57,63,66,67,73,79,84,85,86,87,88,91,92],[0,1,2,5,7,8,11,13,16,20,28,29,32,34,37,41,49,52,56,66,84,85,86,87,88,91],[0,1,2,6,7,8,12,13,17,21,28,29,33,34,38,42,49,53,57,67,84,85,86,87,88,92],[0,1,2,7,8,13,28,29,34,49,84,85,86,87,88],[0,1,3,4,5,6,7,9,10,11,12,14,15,16,17,22,23,24,25,26,27,28,30,31,32,33,35,36,37,38,43,44,45,46,47,48,50,51,52,53,58,59,60,61,62,63,68,69,70,71,72,73,80,81,82,83,84,85,86,87,89,90,91,92],[0,1,3,4,5,7,9,10,11,14,15,16,22,23,25,28,30,31,32,35,36,37,43,44,46,50,51,52,58,59,61,68,69,71,80,84,85,86,87,89,90,91],[0,1,3,4,6,7,9,10,12,14,15,17,22,24,26,28,30,31,33,35,36,38,43,45,47,50,51,53,58,60,62,68,70,72,81,84,85,86,87,89,90,92],[0,1,3,4,7,9,10,14,15,22,28,30,31,35,36,43,50,51,58,68,84,85,86,87,89,90],[0,1,3,5,6,7,9,11,12,14,16,17,23,24,27,28,30,32,33,35,37,38,44,45,48,50,52,53,59,60,63,69,70,73,82,84,85,86,87,89,91,92],[0,1,3,5,7,9,11,14,16,23,28,30,32,35,37,44,50,52,59,69,84,85,86,87,89,91],[0,1,3,6,7,9,12,14,17,24,28,30,33,35,38,45,50,53,60,70,84,85,86,87,89,92],[0,1,3,7,9,14,28,30,35,50,84,85,86,87,89],[0,1,4,5,6,7,10,11,12,15,16,17,25,26,27,28,31,32,33,36,37,38,46,47,48,51,52,53,61,62,63,71,72,73,83,84,85,86,87,90,91,92],[0,1,4,5,7,10,11,15,16,25,28,31,32,36,37,46,51,52,61,71,84,85,86,87,90,91],[0,1,4,6,7,10,12,15,17,26,28,31,33,36,38,47,51,53,62,72,84,85,86,87,90,92],[0,1,4,7,10,15,28,31,36,51,84,85,86,87,90],[0,1,5,6,7,11,12,16,17,27,28,32,33,37,38,48,52,53,63,73,84,85,86,87,91,92],[0,1,5,7,11,16,28,32,37,52,84,85,86,87,91],[0,1,6,7,12,17,28,33,38,53,84,85,86,87,92],[0,1,7,28,84,85,86,87],[0,2,3,4,5,6,8,9,10,11,12,18,19,20,21,22,23,24,25,26,27,29,30,31,32,33,39,40,41,42,43,44,45,46,47,48,54,55,56,57,58,59,60,61,62,63,74,75,76,77,78,79,80,81,82,83,84,85,86,88,89,90,91,92],[0,2,3,4,5,8,9,10,11,18,19,20,22,23,25,29,30,31,32,39,40,41,43,44,46,54,55,56,58,59,61,74,75,77,80,84,85,86,88,89,90,91],[0,2,3,4,6,8,9,10,12,18,19,21,22,24,26,29,30,31,33,39,40,42,43,45,47,54,55,57,58,60,62,74,76,78,81,84,85,86,88,89,90,92],[0,2,3,4,8,9,10,18,19,22,29,30,31,39,40,43,54,55,58,74,84,85,86,88,89,90],[0,2,3,5,6,8,9,11,12,18,20,21,23,24,27,29,30,32,33,39,41,42,44,45,48,54,56,57,59,60,63,75,76,79,82,84,85,86,88,89,91,92],[0,2,3,5,8,9,11,18,20,23,29,30,32,39,41,44,54,56,59,75,84,85,86,88,89,91],[0,2,3,6,8,9,12,18,21,24,29,30,33,39,42,45,54,57,60,76,84,85,86,88,89,92],[0,2,3,8,9,18,29,30,39,54,84,85,86,88,89],[0,2,4,5,6,8,10,11,12,19,20,21,25,26,27,29,31,32,33,40,41,42,46,47,48,55,56,57,61,62,63,77,78,79,83,84,85,86,88,90,91,92],[0,2,4,5,8,10,11,19,20,25,29,31,32,40,41,46,55,56,61,77,84,85,86,88,90,91],[0,2,4,6,8,10,12,19,21,26,29,31,33,40,42,47,55,57,62,78,84,85,86,88,90,92],[0,2,4,8,10,19,29,31,40,55,84,85,86,88,90],[0,2,5,6,8,11,12,20,21,27,29,32,33,41,42,48,56,57,63,79,84,85,86,88,91,92],[0,2,5,8,11,20,29,32,41,56,84,85,86,88,91],[0,2,6,8,12,21,29,33,42,57,84,85,86,88,92],[0,2,8,29,84,85,86,88],[0,3,4,5,6,9,10,11,12,22,23,24,25,26,27,30,31,32,33,43,44,45,46,47,48,58,59,60,61,62,63,80,81,82,83,84,85,86,89,90,91,92],[0,3,4,5,9,10,11,22,23,25,30,31,32,43,44,46,58,59,61,80,84,85,86,89,90,91],[0,3,4,6,9,10,12,22,24,26,30,31,33,43,45,47,58,60,62,81,84,85,86,89,90,92],[0,3,4,9,10,22,30,31,43,58,84,85,86,89,90],[0,3,5,6,9,11,12,23,24,27,30,32,33,44,45,48,59,60,63,82,84,85,86,89,91,92],[0,3,5,9,11,23,30,32,44,59,84,85,86,89,91],[0,3,6,9,12,24,30,33,45,60,84,85,86,89,92],[0,3,9,30,84,85,86,89],[0,4,5,6,10,11,12,25,26,27,31,32,33,46,47,48,61,62,63,83,84,85,86,90,91,92],[0,4,5,10,11,25,31,32,46,61,84,85,86,90,91],[0,4,6,10,12,26,31,33,47,62,84,85,86,90,92],[0,4,10,31,84,85,86,90],[0,5,6,11,12,27,32,33,48,63,84,85,86,91,92],[0,5,11,32,84,85,86,91],[0,6,12,33,84,85,86,92],[0,84,85,86],[1,2,3,4,5,6,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,87,88,89,90,91,92],[1,2,3,4,5,13,14,15,16,18,19,20,22,23,25,34,35,36,37,39,40,41,43,44,46,64,65,66,68,69,71,74,75,77,80,84,85,87,88,89,90,91],[1,2,3,4,6,13,14,15,17,18,19,21,22,24,26,34,35,36,38,39,40,42,43,45,47,64,65,67,68,70,72,74,76,78,81,84,85,87,88,89,90,92],[1,2,3,4,13,14,15,18,19,22,34,35,36,39,40,43,64,65,68,74,84,85,87,88,89,90],[1,2,3,5,6,13,14,16,17,18,20,21,23,24,27,34,35,37,38,39,41,42,44,45,48,64,66,67,69,70,73,75,76,79,82,84,85,87,88,89,91,92],[1,2,3,5,13,14,16,18,20,23,34,35,37,39,41,44,64,66,69,75,84,85,87,88,89,91],[1,2,3,6,13,14,17,18,21,24,34,35,38,39,42,45,64,67,70,76,84,85,87,88,89,92],[1,2,3,13,14,18,34,35,39,64,84,85,87,88,89],[1,2,4,5,6,13,15,16,17,19,20,21,25,26,27,34,36,37,38,40,41,42,46,47,48,65,66,67,71,72,73,77,78,79,83,84,85,87,88,90,91,92],[1,2,4,5,13,15,16,19,20,25,34,36,37,40,41,46,65,66,71,77,84,85,87,88,90,91],[1,2,4,6,13,15,17,19,21,26,34,36,38,40,42,47,65,67,72,78,84,85,87,88,90,92],[1,2,4,13,15,19,34,36,40,65,84,85,87,88,90],[1,2,5,6,13,16,17,20,21,27,34,37,38,41,42,48,66,67,73,79,84,85,87,88,91,92],[1,2,5,13,16,20,34,37,41,66,84,85,87,88,91],[1,2,6,13,17,21,34,38,42,67,84,85,87,88,92],[1,2,13,34,84,85,87,88],[1,3,4,5,6,14,15,16,17,22,23,24,25,26,27,35,36,37,38,43,44,45,46,47,48,68,69,70,71,72,73,80,81,82,83,84,85,87,89,90,91,92],[1,3,4,5,14,15,16,22,23,25,35,36,37,43,44,46,68,69,71,80,84,85,87,89,90,91],[1,3,4,6,14,15,17,22,24,26,35,36,38,43,45,47,68,70,72,81,84,85,87,89,90,92],[1,3,4,14,15,22,35,36,43,68,84,85,87,89,90],[1,3,5,6,14,16,17,23,24,27,35,37,38,44,45,48,69,70,73,82,84,85,87,89,91,92],[1,3,5,14,16,23,35,37,44,69,84,85,87,89,91],[1,3,6,14,17,24,35,38,45,70,84,85,87,89,92],[1,3,14,35,84,85,87,89],[1,4,5,6,15,16,17,25,26,27,36,37,38,46,47,48,71,72,73,83,84,85,87,90,91,92],[1,4,5,15,16,25,36,37,46,71,84,85,87,90,91],[1,4,6,15,17,26,36,38,47,72,84,85,87,90,92],[1,4,15,36,84,85,87,90],[1,5,6,16,17,27,37,38,48,73,84,85,87,91,92],[1,5,16,37,84,85,87,91],[1,6,17,38,84,85,87,92],[1,84,85,87],[2,3,4,5,6,18,19,20,21,22,23,24,25,26,27,39,40,41,42,43,44,45,46,47,48,74,75,76,77,78,79,80,81,82,83,84,85,88,89,90,91,92],[2,3,4,5,18,19,20,22,23,25,39,40,41,43,44,46,74,75,77,80,84,85,88,89,90,91],[2,3,4,6,18,19,21,22,24,26,39,40,42,43,45,47,74,76,78,81,84,85,88,89,90,92],[2,3,4,18,19,22,39,40,43,74,84,85,88,89,90],[2,3,5,6,18,20,21,23,24,27,39,41,42,44,45,48,75,76,79,82,84,85,88,89,91,92],[2,3,5,18,20,23,39,41,44,75,84,85,88,89,91],[2,3,6,18,21,24,39,42,45,76,84,85,88,89,92],[2,3,18,39,84,85,88,89],[2,4,5,6,19,20,21,25,26,27,40,41,42,46,47,48,77,78,79,83,84,85,88,90,91,92],[2,4,5,19,20,25,40,41,46,77,84,85,88,90,91],[2,4,6,19,21,26,40,42,47,78,84,85,88,90,92],[2,4,19,40,84,85,88,90],[2,5,6,20,21,27,41,42,48,79,84,85,88,91,92],[2,5,20,41,84,85,88,91],[2,6,21,42,84,85,88,92],[2,84,85,88],[3,4,5,6,22,23,24,25,26,27,43,44,45,46,47,48,80,81,82,83,84,85,89,90,91,92],[3,4,5,22,23,25,43,44,46,80,84,85,89,90,91],[3,4,6,22,24,26,43,45,47,81,84,85,89,90,92],[3,4,22,43,84,85,89,90],[3,5,6,23,24,27,44,45,48,82,84,85,89,91,92],[3,5,23,44,84,85,89,91],[3,6,24,45,84,85,89,92],[3,84,85,89],[4,5,6,25,26,27,46,47,48,83,84,85,90,91,92],[4,5,25,46,84,85,90,91],[4,6,26,47,84,85,90,92],[4,84,85,90],[5,6,27,48,84,85,91,92],[5,84,85,91],[6,84,85,92],[7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,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,86,87,88,89,90,91,92],[7,8,9,10,11,13,14,15,16,18,19,20,22,23,25,49,50,51,52,54,55,56,58,59,61,64,65,66,68,69,71,74,75,77,80,84,86,87,88,89,90,91],[7,8,9,10,12,13,14,15,17,18,19,21,22,24,26,49,50,51,53,54,55,57,58,60,62,64,65,67,68,70,72,74,76,78,81,84,86,87,88,89,90,92],[7,8,9,10,13,14,15,18,19,22,49,50,51,54,55,58,64,65,68,74,84,86,87,88,89,90],[7,8,9,11,12,13,14,16,17,18,20,21,23,24,27,49,50,52,53,54,56,57,59,60,63,64,66,67,69,70,73,75,76,79,82,84,86,87,88,89,91,92],[7,8,9,11,13,14,16,18,20,23,49,50,52,54,56,59,64,66,69,75,84,86,87,88,89,91],[7,8,9,12,13,14,17,18,21,24,49,50,53,54,57,60,64,67,70,76,84,86,87,88,89,92],[7,8,9,13,14,18,49,50,54,64,84,86,87,88,89],[7,8,10,11,12,13,15,16,17,19,20,21,25,26,27,49,51,52,53,55,56,57,61,62,63,65,66,67,71,72,73,77,78,79,83,84,86,87,88,90,91,92],[7,8,10,11,13,15,16,19,20,25,49,51,52,55,56,61,65,66,71,77,84,86,87,88,90,91],[7,8,10,12,13,15,17,19,21,26,49,51,53,55,57,62,65,67,72,78,84,86,87,88,90,92],[7,8,10,13,15,19,49,51,55,65,84,86,87,88,90],[7,8,11,12,13,16,17,20,21,27,49,52,53,56,57,63,66,67,73,79,84,86,87,88,91,92],[7,8,11,13,16,20,49,52,56,66,84,86,87,88,91],[7,8,12,13,17,21,49,53,57,67,84,86,87,88,92],[7,8,13,49,84,86,87,88],[7,9,10,11,12,14,15,16,17,22,23,24,25,26,27,50,51,52,53,58,59,60,61,62,63,68,69,70,71,72,73,80,81,82,83,84,86,87,89,90,91,92],[7,9,10,11,14,15,16,22,23,25,50,51,52,58,59,61,68,69,71,80,84,86,87,89,90,91],[7,9,10,12,14,15,17,22,24,26,50,51,53,58,60,62,68,70,72,81,84,86,87,89,90,92],[7,9,10,14,15,22,50,51,58,68,84,86,87,89,90],[7,9,11,12,14,16,17,23,24,27,50,52,53,59,60,63,69,70,73,82,84,86,87,89,91,92],[7,9,11,14,16,23,50,52,59,69,84,86,87,89,91],[7,9,12,14,17,24,50,53,60,70,84,86,87,89,92],[7,9,14,50,84,86,87,89],[7,10,11,12,15,16,17,25,26,27,51,52,53,61,62,63,71,72,73,83,84,86,87,90,91,92],[7,10,11,15,16,25,51,52,61,71,84,86,87,90,91],[7,10,12,15,17,26,51,53,62,72,84,86,87,90,92],[7,10,15,51,84,86,87,90],[7,11,12,16,17,27,52,53,63,73,84,86,87,91,92],[7,11,16,52,84,86,87,91],[7,12,17,53,84,86,87,92],[7,84,86,87],[8,9,10,11,12,18,19,20,21,22,23,24,25,26,27,54,55,56,57,58,59,60,61,62,63,74,75,76,77,78,79,80,81,82,83,84,86,88,89,90,91,92],[8,9,10,11,18,19,20,22,23,25,54,55,56,58,59,61,74,75,77,80,84,86,88,89,90,91],[8,9,10,12,18,19,21,22,24,26,54,55,57,58,60,62,74,76,78,81,84,86,88,89,90,92],[8,9,10,18,19,22,54,55,58,74,84,86,88,89,90],[8,9,11,12,18,20,21,23,24,27,54,56,57,59,60,63,75,76,79,82,84,86,88,89,91,92],[8,9,11,18,20,23,54,56,59,75,84,86,88,89,91],[8,9,12,18,21,24,54,57,60,76,84,86,88,89,92],[8,9,18,54,84,86,88,89],[8,10,11,12,19,20,21,25,26,27,55,56,57,61,62,63,77,78,79,83,84,86,88,90,91,92],[8,10,11,19,20,25,55,56,61,77,84,86,88,90,91],[8,10,12,19,21,26,55,57,62,78,84,86,88,90,92],[8,10,19,55,84,86,88,90],[8,11,12,20,21,27,56,57,63,79,84,86,88,91,92],[8,11,20,56,84,86,88,91],[8,12,21,57,84,86,88,92],[8,84,86,88],[9,10,11,12,22,23,24,25,26,27,58,59,60,61,62,63,80,81,82,83,84,86,89,90,91,92],[9,10,11,22,23,25,58,59,61,80,84,86,89,90,91],[9,10,12,22,24,26,58,60,62,81,84,86,89,90,92],[9,10,22,58,84,86,89,90],[9,11,12,23,24,27,59,60,63,82,84,86,89,91,92],[9,11,23,59,84,86,89,91],[9,12,24,60,84,86,89,92],[9,84,86,89],[10,11,12,25,26,27,61,62,63,83,84,86,90,91,92],[10,11,25,61,84,86,90,91],[10,12,26,62,84,86,90,92],[10,84,86,90],[11,12,27,63,84,86,91,92],[11,84,86,91],[12,84,86,92],[13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,87,88,89,90,91,92],[13,14,15,16,18,19,20,22,23,25,64,65,66,68,69,71,74,75,77,80,84,87,88,89,90,91],[13,14,15,17,18,19,21,22,24,26,64,65,67,68,70,72,74,76,78,81,84,87,88,89,90,92],[13,14,15,18,19,22,64,65,68,74,84,87,88,89,90],[13,14,16,17,18,20,21,23,24,27,64,66,67,69,70,73,75,76,79,82,84,87,88,89,91,92],[13,14,16,18,20,23,64,66,69,75,84,87,88,89,91],[13,14,17,18,21,24,64,67,70,76,84,87,88,89,92],[13,14,18,64,84,87,88,89],[13,15,16,17,19,20,21,25,26,27,65,66,67,71,72,73,77,78,79,83,84,87,88,90,91,92],[13,15,16,19,20,25,65,66,71,77,84,87,88,90,91],[13,15,17,19,21,26,65,67,72,78,84,87,88,90,92],[13,15,19,65,84,87,88,90],[13,16,17,20,21,27,66,67,73,79,84,87,88,91,92],[13,16,20,66,84,87,88,91],[13,17,21,67,84,87,88,92],[13,84,87,88],[14,15,16,17,22,23,24,25,26,27,68,69,70,71,72,73,80,81,82,83,84,87,89,90,91,92],[14,15,16,22,23,25,68,69,71,80,84,87,89,90,91],[14,15,17,22,24,26,68,70,72,81,84,87,89,90,92],[14,15,22,68,84,87,89,90],[14,16,17,23,24,27,69,70,73,82,84,87,89,91,92],[14,16,23,69,84,87,89,91],[14,17,24,70,84,87,89,92],[14,84,87,89],[15,16,17,25,26,27,71,72,73,83,84,87,90,91,92],[15,16,25,71,84,87,90,91],[15,17,26,72,84,87,90,92],[15,84,87,90],[16,17,27,73,84,87,91,92],[16,84,87,91],[17,84,87,92],[18,19,20,21,22,23,24,25,26,27,74,75,76,77,78,79,80,81,82,83,84,88,89,90,91,92],[18,19,20,22,23,25,74,75,77,80,84,88,89,90,91],[18,19,21,22,24,26,74,76,78,81,84,88,89,90,92],[18,19,22,74,84,88,89,90],[18,20,21,23,24,27,75,76,79,82,84,88,89,91,92],[18,20,23,75,84,88,89,91],[18,21,24,76,84,88,89,92],[18,84,88,89],[19,20,21,25,26,27,77,78,79,83,84,88,90,91,92],[19,20,25,77,84,88,90,91],[19,21,26,78,84,88,90,92],[19,84,88,90],[20,21,27,79,84,88,91,92],[20,84,88,91],[21,84,88,92],[22,23,24,25,26,27,80,81,82,83,84,89,90,91,92],[22,23,25,80,84,89,90,91],[22,24,26,81,84,89,90,92],[22,84,89,90],[23,24,27,82,84,89,91,92],[23,84,89,91],[24,84,89,92],[25,26,27,83,84,90,91,92],[25,84,90,91],[26,84,90,92],[27,84,91,92],[84],[84,85],[84,86],[84,87],[84,88],[84,89],[84,90],[84,91],[84,92]]},"distance":{"d":4,"is_exact":true,"upper":4,"witness":[0,1,2,3],"A_d":690880,"certified":null},"clifford":{"kind":"none","correction":{"S":[],"CZ":[]},"rotation_powers":[]},"metrics":{"gamma":0.8038412886106198,"gamma_t":null,"gamma_rho":null,"gamma_claim":0.8038412886106198,"gamma_t_claim":null,"gamma_rho_claim":null,"v_ex":null,"rate":0.328125,"t_count":null,"poly_degree":null,"effective_width":84},"provenance":{"regimes":["AI search"],"discovery":"AI search","strongest_claim":"found by an AI search campaign; a verified witness, not a maximum","sources":[{"regime":"AI search","file":"/private/tmp/claude-501/-Users-shubhamjain-Documents-Claude-remote-magic-states-AI/25937cc1-0367-40c1-acc9-031067b831d4/scratchpad/msai_for_merge.jsonl","label":"msAI:49c31ede38ccccc5","N":93,"d":4,"d_is_exact":true,"origin":"magic-states-AI/master_catalogue/master_catalogue.jsonl","provenance":"magic-states-AI/master_catalogue/master_catalogue.jsonl","notes":"gamma_campaign"}]},"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"}]}