{"id":"512.39.6.a","row":1111,"stored":{"file":"master_catalog.json","row":1111,"construction":null,"columns_sha256":null},"parameters":{"n":512,"k":39,"d":6,"N":85,"r":46,"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","human":"CCZ0,1,2\u00b7CCZ3,4,5\u00b7CCZ6,7,8\u00b7CCZ9,10,11\u00b7CCZ12,13,14\u00b7CCZ15,16,17\u00b7CCZ18,19,20\u00b7CCZ21,22,23\u00b7CCZ24,25,26\u00b7CCZ27,28,29\u00b7CCZ30,31,32\u00b7CCZ33,34,35\u00b7CCZ36,37,38","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]],"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]],"sk_fingerprint":"2d19cfbcd02d45c8","sk_canonical_frame":true,"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],[0,1,3,4,6,8,9,10,12,14,16,17,18,19,22,23,24,26,27,28,30,32,34,35,37,38,39,40,41,42,44,45,46,47,48,49,50,52,53,54,55,56,57,59,60,61,62,63,65,66,67,68,69,75,76,77,78,79,80,81,82,83,84],[0,1,3,5,6,7,9,11,13,14,15,16,18,20,22,23,24,26,27,29,31,32,33,34,36,37,39,40,41,42,43,45,46,47,48,49,50,51,53,54,55,56,57,58,60,61,62,63,64,66,67,68,69,71,72,73,74,79,80,81,82,83,84],[0,1,3,6,9,14,16,18,22,23,24,26,27,32,34,37,39,40,41,42,45,46,47,48,49,50,53,54,55,56,57,60,61,62,63,66,67,68,69,79,80,81,82,83,84],[0,1,4,5,6,7,10,11,12,13,15,17,18,20,21,22,24,25,27,28,30,31,33,35,37,38,39,40,41,42,43,44,46,47,48,49,50,51,52,54,55,56,57,58,59,61,62,63,64,65,67,68,69,70,72,73,74,76,77,78,82,83,84],[0,1,4,6,10,12,17,18,22,24,27,28,30,35,37,38,39,40,41,42,44,46,47,48,49,50,52,54,55,56,57,59,61,62,63,65,67,68,69,76,77,78,82,83,84],[0,1,5,6,7,11,13,15,18,20,22,24,27,31,33,37,39,40,41,42,43,46,47,48,49,50,51,54,55,56,57,58,61,62,63,64,67,68,69,72,73,74,82,83,84],[0,1,6,18,22,24,27,37,39,40,41,42,46,47,48,49,50,54,55,56,57,61,62,63,67,68,69,82,83,84],[0,2,3,4,7,8,9,11,12,13,16,17,18,19,21,23,24,25,27,29,31,32,33,35,36,37,39,40,41,42,43,44,45,47,48,49,50,51,52,53,55,56,57,58,59,60,62,63,64,65,66,68,69,70,71,73,74,75,77,78,80,81,84],[0,2,3,5,6,8,10,11,12,14,15,16,19,20,21,22,24,25,27,29,30,31,34,35,36,38,39,40,41,43,44,45,46,47,48,49,51,52,53,54,55,56,58,59,60,61,62,63,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84],[0,2,3,8,11,12,16,19,21,24,25,27,29,31,35,36,39,40,41,43,44,45,47,48,49,51,52,53,55,56,58,59,60,62,63,70,71,73,74,75,77,78,80,81,84],[0,2,4,5,6,8,9,10,13,14,15,17,18,19,21,22,25,26,28,29,30,32,33,34,36,37,39,40,41,42,43,44,45,46,48,49,50,51,52,53,54,56,57,58,59,60,61,63,64,65,66,67,69,70,71,72,74,75,76,78,79,81,83],[0,2,4,8,9,13,17,18,19,21,25,29,32,33,36,37,39,40,41,42,43,44,45,48,49,50,51,52,53,56,57,58,59,60,63,64,65,66,69,70,71,74,75,78,81],[0,2,5,6,8,10,14,15,19,21,22,25,29,30,34,36,39,40,41,43,44,45,46,48,49,51,52,53,54,56,58,59,60,61,63,70,71,72,74,75,76,78,79,81,83],[0,2,8,19,21,25,29,36,39,40,41,43,44,45,48,49,51,52,53,56,58,59,60,63,70,71,74,75,78,81],[0,3,4,8,9,12,16,17,18,19,23,24,27,32,35,37,39,40,41,42,44,45,47,48,49,50,52,53,55,56,57,59,60,62,63,65,66,68,69,75,77,78,80,81,84],[0,3,5,6,11,14,15,16,20,22,24,27,29,31,34,36,39,40,41,43,45,46,47,48,49,51,53,54,55,56,58,60,61,62,63,71,72,73,74,79,80,81,82,83,84],[0,3,6,8,10,12,14,16,19,22,24,27,30,34,35,38,39,40,41,44,45,46,47,48,49,52,53,54,55,56,59,60,61,62,63,75,76,77,78,79,80,81,82,83,84],[0,3,6,14,16,22,24,27,34,39,40,41,45,46,47,48,49,53,54,55,56,60,61,62,63,79,80,81,82,83,84],[0,3,7,9,11,13,16,18,23,24,27,29,31,32,33,36,37,39,40,41,42,43,45,47,48,49,50,51,53,55,56,57,58,60,62,63,64,66,68,69,71,73,74,80,81,84],[0,3,8,12,16,19,24,27,35,39,40,41,44,45,47,48,49,52,53,55,56,59,60,62,63,75,77,78,80,81,84],[0,3,9,16,18,23,24,27,32,37,39,40,41,42,45,47,48,49,50,53,55,56,57,60,62,63,66,68,69,80,81,84],[0,3,11,16,24,27,29,31,36,39,40,41,43,45,47,48,49,51,53,55,56,58,60,62,63,71,73,74,80,81,84],[0,3,16,24,27,39,40,41,45,47,48,49,53,55,56,60,62,63,80,81,84],[0,4,5,6,10,13,15,17,18,21,22,25,28,30,33,37,39,40,41,42,43,44,46,48,49,50,51,52,54,56,57,58,59,61,63,64,65,67,69,70,72,74,76,78,83],[0,4,6,8,9,10,14,17,18,19,22,26,28,30,32,34,37,39,40,41,42,44,45,46,48,49,50,52,53,54,56,57,59,60,61,63,65,66,67,69,75,76,78,79,81,83],[0,4,6,10,17,18,22,28,30,37,39,40,41,42,44,46,48,49,50,52,54,56,57,59,61,63,65,67,69,76,78,83],[0,4,7,11,12,13,17,18,21,24,25,27,31,33,35,37,39,40,41,42,43,44,47,48,49,50,51,52,55,56,57,58,59,62,63,64,65,68,69,70,73,74,77,78,84],[0,4,8,9,17,18,19,32,37,39,40,41,42,44,45,48,49,50,52,53,56,57,59,60,63,65,66,69,75,78,81],[0,4,12,17,18,24,27,35,37,39,40,41,42,44,47,48,49,50,52,55,56,57,59,62,63,65,68,69,77,78,84],[0,4,13,17,18,21,25,33,37,39,40,41,42,43,44,48,49,50,51,52,56,57,58,59,63,64,65,69,70,74,78],[0,4,17,18,37,39,40,41,42,44,48,49,50,52,56,57,59,63,65,69,78],[0,5,6,9,13,14,15,18,22,26,29,32,33,34,36,37,39,40,41,42,43,45,46,48,49,50,51,53,54,56,57,58,60,61,63,64,66,67,69,71,72,74,79,81,83],[0,5,6,10,11,12,15,20,21,22,24,25,27,30,31,35,38,39,40,41,43,44,46,47,48,49,51,52,54,55,56,58,59,61,62,63,70,72,73,74,76,77,78,82,83,84],[0,5,6,10,15,21,22,25,30,39,40,41,43,44,46,48,49,51,52,54,56,58,59,61,63,70,72,74,76,78,83],[0,5,6,11,15,20,22,24,27,31,39,40,41,43,46,47,48,49,51,54,55,56,58,61,62,63,72,73,74,82,83,84],[0,5,6,13,15,18,22,33,37,39,40,41,42,43,46,48,49,50,51,54,56,57,58,61,63,64,67,69,72,74,83],[0,5,6,14,15,22,29,34,36,39,40,41,43,45,46,48,49,51,53,54,56,58,60,61,63,71,72,74,79,81,83],[0,5,6,15,22,39,40,41,43,46,48,49,51,54,56,58,61,63,72,74,83],[0,6,8,10,14,19,22,30,34,39,40,41,44,45,46,48,49,52,53,54,56,59,60,61,63,75,76,78,79,81,83],[0,6,9,14,18,22,26,32,34,37,39,40,41,42,45,46,48,49,50,53,54,56,57,60,61,63,66,67,69,79,81,83],[0,6,10,12,22,24,27,30,35,38,39,40,41,44,46,47,48,49,52,54,55,56,59,61,62,63,76,77,78,82,83,84],[0,6,10,22,30,39,40,41,44,46,48,49,52,54,56,59,61,63,76,78,83],[0,6,14,22,34,39,40,41,45,46,48,49,53,54,56,60,61,63,79,81,83],[0,6,18,22,37,39,40,41,42,46,48,49,50,54,56,57,61,63,67,69,83],[0,6,22,24,27,39,40,41,46,47,48,49,54,55,56,61,62,63,82,83,84],[0,6,22,39,40,41,46,48,49,54,56,61,63,83],[0,7,11,13,18,24,27,31,33,37,39,40,41,42,43,47,48,49,50,51,55,56,57,58,62,63,64,68,69,73,74,84],[0,8,19,39,40,41,44,45,48,49,52,53,56,59,60,63,75,78,81],[0,9,13,18,29,32,33,36,37,39,40,41,42,43,45,48,49,50,51,53,56,57,58,60,63,64,66,69,71,74,81],[0,9,18,32,37,39,40,41,42,45,48,49,50,53,56,57,60,63,66,69,81],[0,11,12,21,24,25,27,31,35,39,40,41,43,44,47,48,49,51,52,55,56,58,59,62,63,70,73,74,77,78,84],[0,11,24,27,31,39,40,41,43,47,48,49,51,55,56,58,62,63,73,74,84],[0,12,24,27,35,39,40,41,44,47,48,49,52,55,56,59,62,63,77,78,84],[0,13,18,33,37,39,40,41,42,43,48,49,50,51,56,57,58,63,64,69,74],[0,18,24,27,37,39,40,41,42,47,48,49,50,55,56,57,62,63,68,69,84],[0,18,37,39,40,41,42,48,49,50,56,57,63,69],[0,21,25,39,40,41,43,44,48,49,51,52,56,58,59,63,70,74,78],[0,24,27,39,40,41,47,48,49,55,56,62,63,84],[0,29,36,39,40,41,43,45,48,49,51,53,56,58,60,63,71,74,81],[0,39,40,41,43,48,49,51,56,58,63,74],[0,39,40,41,44,48,49,52,56,59,63,78],[0,39,40,41,45,48,49,53,56,60,63,81],[0,39,40,41,48,49,56,63],[1,2,3,4,6,7,9,10,12,13,15,16,19,20,21,23,25,26,27,28,30,31,33,34,36,38,39,40,41,42,43,44,45,46,47,49,50,51,52,53,54,55,57,58,59,60,61,62,64,65,66,67,68,70,71,72,73,75,76,77,79,80,82],[1,2,3,5,7,8,9,11,12,14,15,17,18,20,21,23,24,26,28,29,30,32,33,35,36,38,39,40,42,43,44,45,46,47,48,50,51,52,53,54,55,56,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84],[1,2,3,7,9,12,15,20,21,23,26,28,30,33,36,38,39,40,42,43,44,45,46,47,50,51,52,53,54,55,64,65,66,67,68,70,71,72,73,75,76,77,79,80,82],[1,2,4,5,7,8,10,11,13,14,16,17,19,20,22,23,25,26,28,29,31,32,34,35,37,38,39,41,42,43,44,45,46,47,48,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],[1,2,4,7,10,13,16,19,20,23,25,26,28,31,34,38,39,41,42,43,44,45,46,47,57,58,59,60,61,62,64,65,66,67,68,70,71,72,73,75,76,77,79,80,82],[1,2,5,7,8,11,14,17,20,23,26,28,29,32,35,38,39,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],[1,2,7,20,23,26,28,38,39,42,43,44,45,46,47,64,65,66,67,68,70,71,72,73,75,76,77,79,80,82],[1,3,4,6,9,10,12,16,19,23,26,27,28,30,34,38,39,40,41,42,44,45,46,47,49,50,52,53,54,55,57,59,60,61,62,65,66,67,68,75,76,77,79,80,82],[1,3,5,7,9,11,14,15,18,20,23,24,26,29,32,33,36,39,40,42,43,45,46,47,48,50,51,53,54,55,56,64,66,67,68,69,71,72,73,74,79,80,81,82,83,84],[1,3,6,7,9,13,15,16,20,23,26,27,31,33,34,36,39,40,41,42,43,45,46,47,49,50,51,53,54,55,57,58,60,61,62,64,66,67,68,71,72,73,79,80,82],[1,3,6,9,16,23,26,27,34,39,40,41,42,45,46,47,49,50,53,54,55,57,60,61,62,66,67,68,79,80,82],[1,3,7,9,15,20,23,26,33,36,39,40,42,43,45,46,47,50,51,53,54,55,64,66,67,68,71,72,73,79,80,82],[1,3,8,9,12,14,17,18,23,24,26,28,30,32,35,38,39,40,42,44,45,46,47,48,50,52,53,54,55,56,65,66,67,68,69,75,76,77,78,79,80,81,82,83,84],[1,3,9,12,23,26,28,30,38,39,40,42,44,45,46,47,50,52,53,54,55,65,66,67,68,75,76,77,79,80,82],[1,3,9,14,18,23,24,26,32,39,40,42,45,46,47,48,50,53,54,55,56,66,67,68,69,79,80,81,82,83,84],[1,3,9,23,26,39,40,42,45,46,47,50,53,54,55,66,67,68,79,80,82],[1,4,5,7,10,11,13,17,20,22,25,28,31,35,37,38,39,41,42,43,44,46,47,48,57,58,59,61,62,63,64,65,67,68,69,70,72,73,74,76,77,78,82,83,84],[1,4,6,7,10,12,13,15,20,21,25,27,28,30,31,33,38,39,40,41,42,43,44,46,47,49,50,51,52,54,55,57,58,59,61,62,64,65,67,68,70,72,73,76,77,82],[1,4,6,10,12,27,28,30,38,39,40,41,42,44,46,47,49,50,52,54,55,57,59,61,62,65,67,68,76,77,82],[1,4,7,10,13,20,25,28,31,38,39,41,42,43,44,46,47,57,58,59,61,62,64,65,67,68,70,72,73,76,77,82],[1,4,8,10,14,16,17,19,22,23,26,28,32,34,35,37,38,39,41,42,44,45,46,47,48,57,59,60,61,62,63,65,66,67,68,69,75,76,77,78,79,80,81,82,83,84],[1,4,10,16,19,23,26,28,34,38,39,41,42,44,45,46,47,57,59,60,61,62,65,66,67,68,75,76,77,79,80,82],[1,4,10,17,22,28,35,37,38,39,41,42,44,46,47,48,57,59,61,62,63,65,67,68,69,76,77,78,82,83,84],[1,4,10,28,38,39,41,42,44,46,47,57,59,61,62,65,67,68,76,77,82],[1,5,7,11,12,15,17,18,20,21,24,28,30,33,35,38,39,40,42,43,44,46,47,48,50,51,52,54,55,56,64,65,67,68,69,70,72,73,74,76,77,78,82,83,84],[1,5,7,11,13,14,16,20,22,23,26,29,31,32,34,37,39,41,42,43,45,46,47,48,57,58,60,61,62,63,64,66,67,68,69,71,72,73,74,79,80,81,82,83,84],[1,5,7,11,13,20,22,31,37,39,41,42,43,46,47,48,57,58,61,62,63,64,67,68,69,72,73,74,82,83,84],[1,5,7,11,14,20,23,26,29,32,39,42,43,45,46,47,48,64,66,67,68,69,71,72,73,74,79,80,81,82,83,84],[1,5,7,11,15,18,20,24,33,39,40,42,43,46,47,48,50,51,54,55,56,64,67,68,69,72,73,74,82,83,84],[1,5,7,11,17,20,28,35,38,39,42,43,44,46,47,48,64,65,67,68,69,70,72,73,74,76,77,78,82,83,84],[1,5,7,11,20,39,42,43,46,47,48,64,67,68,69,72,73,74,82,83,84],[1,6,7,13,15,20,27,31,33,39,40,41,42,43,46,47,49,50,51,54,55,57,58,61,62,64,67,68,72,73,82],[1,6,27,39,40,41,42,46,47,49,50,54,55,57,61,62,67,68,82],[1,7,12,15,20,21,28,30,33,38,39,40,42,43,44,46,47,50,51,52,54,55,64,65,67,68,70,72,73,76,77,82],[1,7,13,16,20,23,26,31,34,39,41,42,43,45,46,47,57,58,60,61,62,64,66,67,68,71,72,73,79,80,82],[1,7,13,20,31,39,41,42,43,46,47,57,58,61,62,64,67,68,72,73,82],[1,7,15,20,33,39,40,42,43,46,47,50,51,54,55,64,67,68,72,73,82],[1,7,20,23,26,39,42,43,45,46,47,64,66,67,68,71,72,73,79,80,82],[1,7,20,28,38,39,42,43,44,46,47,64,65,67,68,70,72,73,76,77,82],[1,7,20,39,42,43,46,47,64,67,68,72,73,82],[1,8,14,17,23,26,28,32,35,38,39,42,44,45,46,47,48,65,66,67,68,69,75,76,77,78,79,80,81,82,83,84],[1,12,17,18,24,28,30,35,38,39,40,42,44,46,47,48,50,52,54,55,56,65,67,68,69,76,77,78,82,83,84],[1,12,28,30,38,39,40,42,44,46,47,50,52,54,55,65,67,68,76,77,82],[1,14,16,22,23,26,32,34,37,39,41,42,45,46,47,48,57,60,61,62,63,66,67,68,69,79,80,81,82,83,84],[1,14,23,26,32,39,42,45,46,47,48,66,67,68,69,79,80,81,82,83,84],[1,16,23,26,34,39,41,42,45,46,47,57,60,61,62,66,67,68,79,80,82],[1,17,28,35,38,39,42,44,46,47,48,65,67,68,69,76,77,78,82,83,84],[1,18,24,39,40,42,46,47,48,50,54,55,56,67,68,69,82,83,84],[1,22,37,39,41,42,46,47,48,57,61,62,63,67,68,69,82,83,84],[1,23,26,28,38,39,42,44,45,46,47,65,66,67,68,75,76,77,79,80,82],[1,23,26,39,42,45,46,47,66,67,68,79,80,82],[1,28,38,39,42,44,46,47,65,67,68,76,77,82],[1,39,40,42,46,47,50,54,55,67,68,82],[1,39,41,42,46,47,57,61,62,67,68,82],[1,39,42,46,47,48,67,68,69,82,83,84],[1,39,42,46,47,67,68,82],[2,3,4,7,9,12,13,16,19,21,23,25,27,31,33,36,39,40,41,42,43,44,45,47,49,50,51,52,53,55,57,58,59,60,62,64,65,66,68,70,71,73,75,77,80],[2,3,5,8,11,12,14,15,20,21,24,29,30,35,36,38,39,40,43,44,45,46,47,48,51,52,53,54,55,56,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84],[2,3,6,10,12,15,16,19,20,21,25,27,30,31,34,36,38,39,40,41,43,44,45,46,47,49,51,52,53,54,55,58,59,60,61,62,70,71,72,73,75,76,77,79,80,82],[2,3,7,8,9,11,12,17,18,21,23,24,29,32,33,35,36,39,40,42,43,44,45,47,48,50,51,52,53,55,56,64,65,66,68,69,70,71,73,74,75,77,78,80,81,84],[2,3,7,9,12,21,23,33,36,39,40,42,43,44,45,47,50,51,52,53,55,64,65,66,68,70,71,73,75,77,80],[2,3,8,11,12,21,24,29,35,36,39,40,43,44,45,47,48,51,52,53,55,56,70,71,73,74,75,77,78,80,81,84],[2,3,12,15,20,21,30,36,38,39,40,43,44,45,46,47,51,52,53,54,55,70,71,72,73,75,76,77,79,80,82],[2,3,12,16,19,21,25,27,31,36,39,40,41,43,44,45,47,49,51,52,53,55,58,59,60,62,70,71,73,75,77,80],[2,3,12,21,36,39,40,43,44,45,47,51,52,53,55,70,71,73,75,77,80],[2,4,5,8,10,13,14,17,19,22,25,26,28,29,32,34,37,39,41,42,43,44,45,46,48,57,58,59,60,61,63,64,65,66,67,69,70,71,72,74,75,76,78,79,81,83],[2,4,6,9,10,13,15,19,21,25,26,28,30,33,34,36,39,40,41,42,43,44,45,46,49,50,51,52,53,54,57,58,59,60,61,64,65,66,67,70,71,72,75,76,79],[2,4,7,8,11,13,16,17,19,23,25,29,31,32,35,37,39,41,42,43,44,45,47,48,57,58,59,60,62,63,64,65,66,68,69,70,71,73,74,75,77,78,80,81,84],[2,4,7,13,16,19,23,25,31,39,41,42,43,44,45,47,57,58,59,60,62,64,65,66,68,70,71,73,75,77,80],[2,4,8,13,17,19,25,29,32,37,39,41,42,43,44,45,48,57,58,59,60,63,64,65,66,69,70,71,74,75,78,81],[2,4,9,13,19,21,25,33,36,39,40,41,42,43,44,45,49,50,51,52,53,57,58,59,60,64,65,66,70,71,75],[2,4,10,13,19,25,26,28,34,39,41,42,43,44,45,46,57,58,59,60,61,64,65,66,67,70,71,72,75,76,79],[2,4,13,19,25,39,41,42,43,44,45,57,58,59,60,64,65,66,70,71,75],[2,5,8,9,14,15,17,18,21,26,28,29,30,32,33,36,39,40,42,43,44,45,46,48,50,51,52,53,54,56,64,65,66,67,69,70,71,72,74,75,76,78,79,81,83],[2,5,8,10,11,14,16,19,20,22,25,29,31,34,35,38,39,41,43,44,45,46,47,48,58,59,60,61,62,63,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84],[2,5,8,10,14,19,22,25,29,34,39,41,43,44,45,46,48,58,59,60,61,63,70,71,72,74,75,76,78,79,81,83],[2,5,8,11,14,20,29,35,38,39,43,44,45,46,47,48,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84],[2,5,8,14,15,21,29,30,36,39,40,43,44,45,46,48,51,52,53,54,56,70,71,72,74,75,76,78,79,81,83],[2,5,8,14,17,26,28,29,32,39,42,43,44,45,46,48,64,65,66,67,69,70,71,72,74,75,76,78,79,81,83],[2,5,8,14,29,39,43,44,45,46,48,70,71,72,74,75,76,78,79,81,83],[2,6,10,15,19,21,25,30,34,36,39,40,41,43,44,45,46,49,51,52,53,54,58,59,60,61,70,71,72,75,76,79],[2,7,8,11,17,23,29,32,35,39,42,43,44,45,47,48,64,65,66,68,69,70,71,73,74,75,77,78,80,81,84],[2,7,23,39,42,43,44,45,47,64,65,66,68,70,71,73,75,77,80],[2,8,9,17,18,21,29,32,33,36,39,40,42,43,44,45,48,50,51,52,53,56,64,65,66,69,70,71,74,75,78,81],[2,8,11,16,19,25,29,31,35,39,41,43,44,45,47,48,58,59,60,62,63,70,71,73,74,75,77,78,80,81,84],[2,8,11,29,35,39,43,44,45,47,48,70,71,73,74,75,77,78,80,81,84],[2,8,17,29,32,39,42,43,44,45,48,64,65,66,69,70,71,74,75,78,81],[2,8,19,25,29,39,41,43,44,45,48,58,59,60,63,70,71,74,75,78,81],[2,8,21,29,36,39,40,43,44,45,48,51,52,53,56,70,71,74,75,78,81],[2,8,29,39,43,44,45,48,70,71,74,75,78,81],[2,9,15,21,26,28,30,33,36,39,40,42,43,44,45,46,50,51,52,53,54,64,65,66,67,70,71,72,75,76,79],[2,9,21,33,36,39,40,42,43,44,45,50,51,52,53,64,65,66,70,71,75],[2,10,16,19,20,25,31,34,38,39,41,43,44,45,46,47,58,59,60,61,62,70,71,72,73,75,76,77,79,80,82],[2,10,19,25,34,39,41,43,44,45,46,58,59,60,61,70,71,72,75,76,79],[2,15,21,30,36,39,40,43,44,45,46,51,52,53,54,70,71,72,75,76,79],[2,16,19,25,31,39,41,43,44,45,47,58,59,60,62,70,71,73,75,77,80],[2,19,21,25,36,39,40,41,43,44,45,49,51,52,53,58,59,60,70,71,75],[2,19,25,39,41,43,44,45,58,59,60,70,71,75],[2,20,38,39,43,44,45,46,47,70,71,72,73,75,76,77,79,80,82],[2,21,36,39,40,43,44,45,51,52,53,70,71,75],[2,26,28,39,42,43,44,45,46,64,65,66,67,70,71,72,75,76,79],[2,39,42,43,44,45,64,65,66,70,71,75],[2,39,43,44,45,46,70,71,72,75,76,79],[2,39,43,44,45,47,70,71,73,75,77,80],[2,39,43,44,45,70,71,75],[3,4,9,12,16,19,23,27,39,40,41,42,44,45,47,49,50,52,53,55,57,59,60,62,65,66,68,75,77,80],[3,5,11,14,15,20,24,29,36,39,40,43,45,46,47,48,51,53,54,55,56,71,72,73,74,79,80,81,82,83,84],[3,6,10,12,16,19,27,30,34,38,39,40,41,44,45,46,47,49,52,53,54,55,59,60,61,62,75,76,77,79,80,82],[3,6,15,16,20,27,31,34,36,39,40,41,43,45,46,47,49,51,53,54,55,58,60,61,62,71,72,73,79,80,82],[3,6,16,27,34,39,40,41,45,46,47,49,53,54,55,60,61,62,79,80,82],[3,7,9,11,18,23,24,29,32,33,36,39,40,42,43,45,47,48,50,51,53,55,56,64,66,68,69,71,73,74,80,81,84],[3,7,9,13,16,23,27,31,33,36,39,40,41,42,43,45,47,49,50,51,53,55,57,58,60,62,64,66,68,71,73,80],[3,7,9,23,33,36,39,40,42,43,45,47,50,51,53,55,64,66,68,71,73,80],[3,8,9,12,17,18,23,24,32,35,39,40,42,44,45,47,48,50,52,53,55,56,65,66,68,69,75,77,78,80,81,84],[3,8,12,14,24,30,35,38,39,40,44,45,46,47,48,52,53,54,55,56,75,76,77,78,79,80,81,82,83,84],[3,8,12,24,35,39,40,44,45,47,48,52,53,55,56,75,77,78,80,81,84],[3,9,12,23,39,40,42,44,45,47,50,52,53,55,65,66,68,75,77,80],[3,9,16,23,27,39,40,41,42,45,47,49,50,53,55,57,60,62,66,68,80],[3,9,18,23,24,32,39,40,42,45,47,48,50,53,55,56,66,68,69,80,81,84],[3,9,23,39,40,42,45,47,50,53,55,66,68,80],[3,11,24,29,36,39,40,43,45,47,48,51,53,55,56,71,73,74,80,81,84],[3,12,16,19,27,39,40,41,44,45,47,49,52,53,55,59,60,62,75,77,80],[3,12,30,38,39,40,44,45,46,47,52,53,54,55,75,76,77,79,80,82],[3,12,39,40,44,45,47,52,53,55,75,77,80],[3,14,24,39,40,45,46,47,48,53,54,55,56,79,80,81,82,83,84],[3,15,20,36,39,40,43,45,46,47,51,53,54,55,71,72,73,79,80,82],[3,16,27,31,36,39,40,41,43,45,47,49,51,53,55,58,60,62,71,73,80],[3,16,27,39,40,41,45,47,49,53,55,60,62,80],[3,24,39,40,45,47,48,53,55,56,80,81,84],[3,36,39,40,43,45,47,51,53,55,71,73,80],[3,39,40,45,46,47,53,54,55,79,80,82],[3,39,40,45,47,53,55,80],[4,5,10,13,17,22,25,28,37,39,41,42,43,44,46,48,57,58,59,61,63,64,65,67,69,70,72,74,76,78,83],[4,6,9,10,19,26,28,30,34,39,40,41,42,44,45,46,49,50,52,53,54,57,59,60,61,65,66,67,75,76,79],[4,6,10,13,15,21,25,28,30,33,39,40,41,42,43,44,46,49,50,51,52,54,57,58,59,61,64,65,67,70,72,76],[4,6,10,28,30,39,40,41,42,44,46,49,50,52,54,57,59,61,65,67,76],[4,7,11,13,17,25,31,35,37,39,41,42,43,44,47,48,57,58,59,62,63,64,65,68,69,70,73,74,77,78,84],[4,7,12,13,21,25,27,31,33,39,40,41,42,43,44,47,49,50,51,52,55,57,58,59,62,64,65,68,70,73,77],[4,7,13,25,31,39,41,42,43,44,47,57,58,59,62,64,65,68,70,73,77],[4,8,10,14,17,19,22,26,28,32,34,37,39,41,42,44,45,46,48,57,59,60,61,63,65,66,67,69,75,76,78,79,81,83],[4,8,16,17,19,23,32,35,37,39,41,42,44,45,47,48,57,59,60,62,63,65,66,68,69,75,77,78,80,81,84],[4,8,17,19,32,37,39,41,42,44,45,48,57,59,60,63,65,66,69,75,78,81],[4,9,19,39,40,41,42,44,45,49,50,52,53,57,59,60,65,66,75],[4,10,13,25,28,39,41,42,43,44,46,57,58,59,61,64,65,67,70,72,76],[4,10,17,22,28,37,39,41,42,44,46,48,57,59,61,63,65,67,69,76,78,83],[4,10,19,26,28,34,39,41,42,44,45,46,57,59,60,61,65,66,67,75,76,79],[4,10,28,39,41,42,44,46,57,59,61,65,67,76],[4,12,27,39,40,41,42,44,47,49,50,52,55,57,59,62,65,68,77],[4,13,17,25,37,39,41,42,43,44,48,57,58,59,63,64,65,69,70,74,78],[4,13,21,25,33,39,40,41,42,43,44,49,50,51,52,57,58,59,64,65,70],[4,13,25,39,41,42,43,44,57,58,59,64,65,70],[4,16,19,23,39,41,42,44,45,47,57,59,60,62,65,66,68,75,77,80],[4,17,35,37,39,41,42,44,47,48,57,59,62,63,65,68,69,77,78,84],[4,17,37,39,41,42,44,48,57,59,63,65,69,78],[4,19,39,41,42,44,45,57,59,60,65,66,75],[4,39,40,41,42,44,49,50,52,57,59,65],[4,39,41,42,44,47,57,59,62,65,68,77],[4,39,41,42,44,57,59,65],[5,9,14,15,18,26,29,32,33,36,39,40,42,43,45,46,48,50,51,53,54,56,64,66,67,69,71,72,74,79,81,83],[5,10,11,20,22,25,31,35,38,39,41,43,44,46,47,48,58,59,61,62,63,70,72,73,74,76,77,78,82,83,84],[5,10,22,25,39,41,43,44,46,48,58,59,61,63,70,72,74,76,78,83],[5,11,12,15,20,21,24,30,35,38,39,40,43,44,46,47,48,51,52,54,55,56,70,72,73,74,76,77,78,82,83,84],[5,11,14,16,20,22,29,31,34,39,41,43,45,46,47,48,58,60,61,62,63,71,72,73,74,79,80,81,82,83,84],[5,11,14,20,29,39,43,45,46,47,48,71,72,73,74,79,80,81,82,83,84],[5,11,15,20,24,39,40,43,46,47,48,51,54,55,56,72,73,74,82,83,84],[5,11,20,22,31,39,41,43,46,47,48,58,61,62,63,72,73,74,82,83,84],[5,11,20,35,38,39,43,44,46,47,48,70,72,73,74,76,77,78,82,83,84],[5,11,20,39,43,46,47,48,72,73,74,82,83,84],[5,13,14,22,26,29,32,34,37,39,41,42,43,45,46,48,57,58,60,61,63,64,66,67,69,71,72,74,79,81,83],[5,13,22,37,39,41,42,43,46,48,57,58,61,63,64,67,69,72,74,83],[5,14,15,29,36,39,40,43,45,46,48,51,53,54,56,71,72,74,79,81,83],[5,14,22,29,34,39,41,43,45,46,48,58,60,61,63,71,72,74,79,81,83],[5,14,26,29,32,39,42,43,45,46,48,64,66,67,69,71,72,74,79,81,83],[5,14,29,39,43,45,46,48,71,72,74,79,81,83],[5,15,17,18,21,28,30,33,39,40,42,43,44,46,48,50,51,52,54,56,64,65,67,69,70,72,74,76,78,83],[5,15,18,33,39,40,42,43,46,48,50,51,54,56,64,67,69,72,74,83],[5,15,21,30,39,40,43,44,46,48,51,52,54,56,70,72,74,76,78,83],[5,15,39,40,43,46,48,51,54,56,72,74,83],[5,17,28,39,42,43,44,46,48,64,65,67,69,70,72,74,76,78,83],[5,22,39,41,43,46,48,58,61,63,72,74,83],[5,39,42,43,46,48,64,67,69,72,74,83],[5,39,43,44,46,48,70,72,74,76,78,83],[5,39,43,46,48,72,74,83],[6,9,13,15,26,33,34,36,39,40,41,42,43,45,46,49,50,51,53,54,57,58,60,61,64,66,67,71,72,79],[6,9,26,34,39,40,41,42,45,46,49,50,53,54,57,60,61,66,67,79],[6,10,12,15,20,21,25,27,30,31,38,39,40,41,43,44,46,47,49,51,52,54,55,58,59,61,62,70,72,73,76,77,82],[6,10,12,27,30,38,39,40,41,44,46,47,49,52,54,55,59,61,62,76,77,82],[6,10,15,21,25,30,39,40,41,43,44,46,49,51,52,54,58,59,61,70,72,76],[6,10,19,30,34,39,40,41,44,45,46,49,52,53,54,59,60,61,75,76,79],[6,10,30,39,40,41,44,46,49,52,54,59,61,76],[6,13,15,33,39,40,41,42,43,46,49,50,51,54,57,58,61,64,67,72],[6,15,20,27,31,39,40,41,43,46,47,49,51,54,55,58,61,62,72,73,82],[6,15,34,36,39,40,41,43,45,46,49,51,53,54,58,60,61,71,72,79],[6,15,39,40,41,43,46,49,51,54,58,61,72],[6,27,39,40,41,46,47,49,54,55,61,62,82],[6,34,39,40,41,45,46,49,53,54,60,61,79],[6,39,40,41,42,46,49,50,54,57,61,67],[6,39,40,41,46,49,54,61],[7,11,12,17,18,21,24,33,35,39,40,42,43,44,47,48,50,51,52,55,56,64,65,68,69,70,73,74,77,78,84],[7,11,13,16,23,29,31,32,37,39,41,42,43,45,47,48,57,58,60,62,63,64,66,68,69,71,73,74,80,81,84],[7,11,13,31,37,39,41,42,43,47,48,57,58,62,63,64,68,69,73,74,84],[7,11,17,35,39,42,43,44,47,48,64,65,68,69,70,73,74,77,78,84],[7,11,18,24,33,39,40,42,43,47,48,50,51,55,56,64,68,69,73,74,84],[7,11,23,29,32,39,42,43,45,47,48,64,66,68,69,71,73,74,80,81,84],[7,11,39,42,43,47,48,64,68,69,73,74,84],[7,12,21,33,39,40,42,43,44,47,50,51,52,55,64,65,68,70,73,77],[7,13,16,23,31,39,41,42,43,45,47,57,58,60,62,64,66,68,71,73,80],[7,13,27,31,33,39,40,41,42,43,47,49,50,51,55,57,58,62,64,68,73],[7,13,31,39,41,42,43,47,57,58,62,64,68,73],[7,23,39,42,43,45,47,64,66,68,71,73,80],[7,33,39,40,42,43,47,50,51,55,64,68,73],[7,39,42,43,44,47,64,65,68,70,73,77],[7,39,42,43,47,64,68,73],[8,9,14,17,18,26,28,30,32,39,40,42,44,45,46,48,50,52,53,54,56,65,66,67,69,75,76,78,79,81,83],[8,9,17,18,32,39,40,42,44,45,48,50,52,53,56,65,66,69,75,78,81],[8,10,14,16,19,22,34,35,38,39,41,44,45,46,47,48,59,60,61,62,63,75,76,77,78,79,80,81,82,83,84],[8,10,14,19,22,34,39,41,44,45,46,48,59,60,61,63,75,76,78,79,81,83],[8,14,17,26,28,32,39,42,44,45,46,48,65,66,67,69,75,76,78,79,81,83],[8,14,30,39,40,44,45,46,48,52,53,54,56,75,76,78,79,81,83],[8,14,35,38,39,44,45,46,47,48,75,76,77,78,79,80,81,82,83,84],[8,14,39,44,45,46,48,75,76,78,79,81,83],[8,16,19,35,39,41,44,45,47,48,59,60,62,63,75,77,78,80,81,84],[8,17,23,32,35,39,42,44,45,47,48,65,66,68,69,75,77,78,80,81,84],[8,17,32,39,42,44,45,48,65,66,69,75,78,81],[8,19,39,41,44,45,48,59,60,63,75,78,81],[8,35,39,44,45,47,48,75,77,78,80,81,84],[8,39,40,44,45,48,52,53,56,75,78,81],[8,39,44,45,48,75,78,81],[9,13,33,36,39,40,41,42,43,45,49,50,51,53,57,58,60,64,66,71],[9,14,18,26,32,39,40,42,45,46,48,50,53,54,56,66,67,69,79,81,83],[9,15,26,33,36,39,40,42,43,45,46,50,51,53,54,64,66,67,71,72,79],[9,18,29,32,33,36,39,40,42,43,45,48,50,51,53,56,64,66,69,71,74,81],[9,18,32,39,40,42,45,48,50,53,56,66,69,81],[9,26,28,30,39,40,42,44,45,46,50,52,53,54,65,66,67,75,76,79],[9,26,39,40,42,45,46,50,53,54,66,67,79],[9,33,36,39,40,42,43,45,50,51,53,64,66,71],[9,39,40,41,42,45,49,50,53,57,60,66],[9,39,40,42,44,45,50,52,53,65,66,75],[9,39,40,42,45,50,53,66],[10,16,19,34,38,39,41,44,45,46,47,59,60,61,62,75,76,77,79,80,82],[10,19,34,39,41,44,45,46,59,60,61,75,76,79],[10,20,25,31,38,39,41,43,44,46,47,58,59,61,62,70,72,73,76,77,82],[10,22,35,38,39,41,44,46,47,48,59,61,62,63,76,77,78,82,83,84],[10,22,39,41,44,46,48,59,61,63,76,78,83],[10,25,39,41,43,44,46,58,59,61,70,72,76],[10,38,39,41,44,46,47,59,61,62,76,77,82],[10,39,41,44,46,59,61,76],[11,12,21,24,35,39,40,43,44,47,48,51,52,55,56,70,73,74,77,78,84],[11,16,29,31,39,41,43,45,47,48,58,60,62,63,71,73,74,80,81,84],[11,24,39,40,43,47,48,51,55,56,73,74,84],[11,25,31,35,39,41,43,44,47,48,58,59,62,63,70,73,74,77,78,84],[11,29,39,43,45,47,48,71,73,74,80,81,84],[11,31,39,41,43,47,48,58,62,63,73,74,84],[11,35,39,43,44,47,48,70,73,74,77,78,84],[11,39,43,47,48,73,74,84],[12,15,20,21,30,38,39,40,43,44,46,47,51,52,54,55,70,72,73,76,77,82],[12,17,18,24,35,39,40,42,44,47,48,50,52,55,56,65,68,69,77,78,84],[12,21,25,27,31,39,40,41,43,44,47,49,51,52,55,58,59,62,70,73,77],[12,21,39,40,43,44,47,51,52,55,70,73,77],[12,24,30,35,38,39,40,44,46,47,48,52,54,55,56,76,77,78,82,83,84],[12,24,35,39,40,44,47,48,52,55,56,77,78,84],[12,27,39,40,41,44,47,49,52,55,59,62,77],[12,30,38,39,40,44,46,47,52,54,55,76,77,82],[12,39,40,42,44,47,50,52,55,65,68,77],[12,39,40,44,47,52,55,77],[13,26,34,39,41,42,43,45,46,57,58,60,61,64,66,67,71,72,79],[13,29,32,37,39,41,42,43,45,48,57,58,60,63,64,66,69,71,74,81],[13,33,39,40,41,42,43,49,50,51,57,58,64],[13,37,39,41,42,43,48,57,58,63,64,69,74],[13,39,41,42,43,45,57,58,60,64,66,71],[13,39,41,42,43,46,57,58,61,64,67,72],[13,39,41,42,43,57,58,64],[14,16,22,34,39,41,45,46,47,48,60,61,62,63,79,80,81,82,83,84],[14,22,26,32,34,37,39,41,42,45,46,48,57,60,61,63,66,67,69,79,81,83],[14,22,34,39,41,45,46,48,60,61,63,79,81,83],[14,26,32,39,42,45,46,48,66,67,69,79,81,83],[14,39,40,45,46,48,53,54,56,79,81,83],[14,39,45,46,47,48,79,80,81,82,83,84],[14,39,45,46,48,79,81,83],[15,20,39,40,43,46,47,51,54,55,72,73,82],[15,21,28,30,33,39,40,42,43,44,46,50,51,52,54,64,65,67,70,72,76],[15,21,30,39,40,43,44,46,51,52,54,70,72,76],[15,33,39,40,42,43,46,50,51,54,64,67,72],[15,36,39,40,43,45,46,51,53,54,71,72,79],[15,39,40,43,46,51,54,72],[16,19,39,41,44,45,47,59,60,62,75,77,80],[16,20,31,34,39,41,43,45,46,47,58,60,61,62,71,72,73,79,80,82],[16,23,32,37,39,41,42,45,47,48,57,60,62,63,66,68,69,80,81,84],[16,23,39,41,42,45,47,57,60,62,66,68,80],[16,31,39,41,43,45,47,58,60,62,71,73,80],[16,34,39,41,45,46,47,60,61,62,79,80,82],[16,39,41,45,47,48,60,62,63,80,81,84],[16,39,41,45,47,60,62,80],[17,18,21,33,39,40,42,43,44,48,50,51,52,56,64,65,69,70,74,78],[17,18,28,30,39,40,42,44,46,48,50,52,54,56,65,67,69,76,78,83],[17,18,39,40,42,44,48,50,52,56,65,69,78],[17,28,39,42,44,46,48,65,67,69,76,78,83],[17,35,39,42,44,47,48,65,68,69,77,78,84],[17,39,42,43,44,48,64,65,69,70,74,78],[17,39,42,44,48,65,69,78],[18,24,39,40,42,47,48,50,55,56,68,69,84],[18,33,39,40,42,43,48,50,51,56,64,69,74],[18,39,40,42,46,48,50,54,56,67,69,83],[18,39,40,42,48,50,56,69],[19,39,40,41,44,45,49,52,53,59,60,75],[19,39,41,44,45,59,60,75],[20,31,39,41,43,46,47,58,61,62,72,73,82],[20,38,39,43,44,46,47,70,72,73,76,77,82],[20,39,43,45,46,47,71,72,73,79,80,82],[20,39,43,46,47,72,73,82],[21,25,39,40,41,43,44,49,51,52,58,59,70],[21,33,39,40,42,43,44,50,51,52,64,65,70],[21,39,40,43,44,48,51,52,56,70,74,78],[21,39,40,43,44,51,52,70],[22,37,39,41,42,46,48,57,61,63,67,69,83],[22,39,41,46,47,48,61,62,63,82,83,84],[22,39,41,46,48,61,63,83],[23,32,39,42,45,47,48,66,68,69,80,81,84],[23,39,42,44,45,47,65,66,68,75,77,80],[23,39,42,45,47,66,68,80],[24,39,40,46,47,48,54,55,56,82,83,84],[24,39,40,47,48,55,56,84],[25,31,39,41,43,44,47,58,59,62,70,73,77],[25,39,41,43,44,48,58,59,63,70,74,78],[25,39,41,43,44,58,59,70],[26,28,39,42,44,45,46,65,66,67,75,76,79],[26,34,39,41,42,45,46,57,60,61,66,67,79],[26,39,42,43,45,46,64,66,67,71,72,79],[26,39,42,45,46,66,67,79],[27,31,39,40,41,43,47,49,51,55,58,62,73],[27,39,40,41,42,47,49,50,55,57,62,68],[27,39,40,41,47,49,55,62],[28,30,39,40,42,44,46,50,52,54,65,67,76],[28,39,42,43,44,46,64,65,67,70,72,76],[28,39,42,44,46,65,67,76],[29,32,39,42,43,45,48,64,66,69,71,74,81],[29,36,39,40,43,45,48,51,53,56,71,74,81],[29,39,41,43,45,48,58,60,63,71,74,81],[29,39,43,45,48,71,74,81],[30,39,40,44,45,46,52,53,54,75,76,79],[30,39,40,44,46,48,52,54,56,76,78,83],[30,39,40,44,46,52,54,76],[31,39,41,43,47,58,62,73],[32,37,39,41,42,45,48,57,60,63,66,69,81],[32,39,42,45,48,66,69,81],[33,39,40,42,43,50,51,64],[34,39,41,43,45,46,58,60,61,71,72,79],[34,39,41,45,46,60,61,79],[35,38,39,44,46,47,48,76,77,78,82,83,84],[35,39,41,44,47,48,59,62,63,77,78,84],[35,39,44,47,48,77,78,84],[36,39,40,41,43,45,49,51,53,58,60,71],[36,39,40,43,45,51,53,71],[37,39,41,42,47,48,57,62,63,68,69,84],[37,39,41,42,48,57,63,69],[38,39,44,45,46,47,75,76,77,79,80,82],[38,39,44,46,47,76,77,82],[39],[39,40],[39,40,41,42,49,50,57],[39,40,41,43,49,51,58],[39,40,41,44,49,52,59],[39,40,41,45,49,53,60],[39,40,41,49],[39,40,42,44,50,52,65],[39,40,42,46,50,54,67],[39,40,42,47,50,55,68],[39,40,42,50],[39,40,43,47,51,55,73],[39,40,43,48,51,56,74],[39,40,43,51],[39,40,44,45,52,53,75],[39,40,44,48,52,56,78],[39,40,44,52],[39,40,45,46,53,54,79],[39,40,45,48,53,56,81],[39,40,45,53],[39,40,46,47,54,55,82],[39,40,46,48,54,56,83],[39,40,46,54],[39,40,47,55],[39,40,48,56],[39,41],[39,41,42,45,57,60,66],[39,41,42,46,57,61,67],[39,41,42,47,57,62,68],[39,41,42,57],[39,41,43,45,58,60,71],[39,41,43,46,58,61,72],[39,41,43,48,58,63,74],[39,41,43,58],[39,41,44,47,59,62,77],[39,41,44,48,59,63,78],[39,41,44,59],[39,41,45,48,60,63,81],[39,41,45,60],[39,41,46,47,61,62,82],[39,41,46,61],[39,41,47,48,62,63,84],[39,41,47,62],[39,41,48,63],[39,42],[39,42,43,44,64,65,70],[39,42,43,45,64,66,71],[39,42,43,46,64,67,72],[39,42,43,48,64,69,74],[39,42,43,64],[39,42,44,45,65,66,75],[39,42,44,47,65,68,77],[39,42,44,65],[39,42,45,66],[39,42,46,48,67,69,83],[39,42,46,67],[39,42,47,48,68,69,84],[39,42,47,68],[39,42,48,69],[39,43],[39,43,44,46,70,72,76],[39,43,44,47,70,73,77],[39,43,44,48,70,74,78],[39,43,44,70],[39,43,45,46,71,72,79],[39,43,45,47,71,73,80],[39,43,45,71],[39,43,46,72],[39,43,47,73],[39,43,48,74],[39,44],[39,44,45,46,75,76,79],[39,44,45,47,75,77,80],[39,44,45,75],[39,44,46,48,76,78,83],[39,44,46,76],[39,44,47,77],[39,44,48,78],[39,45],[39,45,46,47,79,80,82],[39,45,46,79],[39,45,47,48,80,81,84],[39,45,47,80],[39,45,48,81],[39,46],[39,46,47,48,82,83,84],[39,46,47,82],[39,46,48,83],[39,47],[39,47,48,84],[39,48]]},"distance":{"d":6,"is_exact":false,"upper":8,"witness":[5,142,188,213,243,382,416,463],"A_d":null,"certified":null},"clifford":{"kind":"none","correction":{"S":[],"CZ":[]},"rotation_powers":[]},"metrics":{"gamma":1.4370025793803385,"gamma_t":null,"gamma_rho":1.6632969649112554,"gamma_claim":1.4370025793803385,"gamma_t_claim":null,"gamma_rho_claim":1.6632969649112554,"v_ex":26,"rate":0.076171875,"t_count":null,"poly_degree":null,"effective_width":39},"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:c0b8a4247f38f1d9","N":85,"d":6,"d_is_exact":false,"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"}]}