{"id":"756.32.6.a","row":1214,"stored":{"file":"master_catalog.json","row":1214,"construction":null,"columns_sha256":null},"parameters":{"n":756,"k":32,"d":6,"N":80,"r":48,"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","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","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]],"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]],"sk_fingerprint":"3e528178a1f83e1f","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[32],[34],[32,33,34],[35],[33,35],[32,33,35],[34,35],[32,33,35,36],[32,34,35,36],[33,37],[32,33,35,37],[34,35,37],[33,36,37],[33,34,36,37],[38],[40],[38,39,40],[41],[39,41],[38,39,41],[40,41],[38,39,41,42],[38,40,41,42],[39,43],[38,39,41,43],[40,41,43],[39,42,43],[39,40,42,43],[44],[46],[44,45,46],[47],[45,47],[44,45,47],[46,47],[44,45,47,48],[44,46,47,48],[45,49],[44,45,47,49],[46,47,49],[45,48,49],[45,46,48,49],[50],[52],[50,51,52],[53],[51,53],[50,51,53],[52,53],[50,51,53,54],[50,52,53,54],[51,55],[50,51,53,55],[52,53,55],[51,54,55],[51,52,54,55],[56],[58],[56,57,58],[59],[57,59],[56,57,59],[58,59],[56,57,59,60],[56,58,59,60],[57,61],[56,57,59,61],[58,59,61],[57,60,61],[57,58,60,61],[62],[64],[62,63,64],[65],[63,65],[62,63,65],[64,65],[62,63,65,66],[62,64,65,66],[63,67],[62,63,65,67],[64,65,67],[63,66,67],[63,64,66,67],[68],[70],[68,69,70],[71],[69,71],[68,69,71],[70,71],[68,69,71,72],[68,70,71,72],[69,73],[68,69,71,73],[70,71,73],[69,72,73],[69,70,72,73],[74],[76],[74,75,76],[77],[75,77],[74,75,77],[76,77],[74,75,77,78],[74,76,77,78],[75,79],[74,75,77,79],[76,77,79],[75,78,79],[75,76,78,79],[5,6,7,9,10,11,12,13,15,17,18,21,25,26,27,30,31,32,34,35,37,42,44,47,50,51,52,54,55,56,58,60,63,64,66,67,69,71,74,76,77,78],[0,3,4,5,6,8,9,10,13,14,15,16,17,21,22,24,26,27,28,33,34,35,37,38,43,46,48,49,50,51,54,55,56,58,59,60,61,62,63,64,66,67,70,71,72,73,74,76,77],[0,2,3,5,9,15,17,18,19,20,21,24,27,28,34,36,37,38,44,45,46,49,50,52,53,54,57,58,60,63,65,66,71,73,75,76,78,79],[1,2,4,5,8,9,17,18,19,20,23,24,25,26,27,29,31,32,34,35,36,39,44,47,49,51,52,55,57,59,60,61,63,64,65,67,68,71,72,73,74,75,77,78],[1,7,11,12,14,15,16,18,21,22,23,24,26,29,30,33,35,37,39,42,43,44,45,48,49,50,51,52,53,54,55,58,62,64,66,67,68,69,70,73,74,76,77,78,79],[1,5,6,9,10,13,14,16,17,22,23,24,25,27,29,31,32,33,34,39,43,45,47,48,49,53,56,60,62,63,68,70,71,73,79],[0,1,2,3,6,10,13,14,15,16,18,19,20,21,22,23,25,28,29,31,32,33,36,37,38,39,43,44,46,47,48,50,52,54,56,57,58,62,65,66,68,70,75,76,78],[0,1,2,3,4,7,8,11,13,16,17,18,20,21,22,23,29,30,34,35,36,37,39,40,43,47,49,50,52,58,61,63,64,65,66,68,69,70,71,72,74,75,76,78],[1,4,6,8,10,12,16,17,18,19,21,22,23,24,25,26,28,29,31,32,34,37,38,39,40,42,43,45,46,50,51,52,53,55,56,57,58,61,63,66,67,68,70,71,72,73,76,77,78,79],[1,3,6,10,17,22,23,24,27,31,32,41,42,43,45,46,47,48,49,51,58,60,67,68,69,71,72,73,77],[2,3,4,7,8,11,12,13,15,17,19,20,21,22,27,29,30,31,32,36,37,39,41,43,45,46,47,48,50,51,54,56,57,59,60,61,65,66,67,71,75,76,77],[0,4,5,7,8,9,11,12,13,18,22,24,28,29,30,31,32,34,38,39,41,43,44,47,48,49,51,52,53,56,58,59,61,63,67,73,77,78,79],[0,1,2,4,5,7,8,9,11,14,17,18,20,21,22,23,25,30,33,35,36,37,40,41,42,43,46,47,49,50,51,52,53,56,61,62,64,65,66,67,68,71,74,75,76,77,78,79],[1,2,3,6,7,10,11,13,15,16,18,20,23,24,25,26,27,28,30,34,36,38,40,41,42,47,48,52,53,54,55,58,59,60,63,65,68,70,72,73,75,78,79],[1,2,3,8,9,11,13,14,15,17,21,22,26,27,29,30,31,36,38,40,41,43,44,45,46,48,49,50,53,57,58,60,61,62,64,66,68,70,71,72,75,77],[0,1,2,4,7,9,10,11,12,13,14,17,18,20,21,24,28,30,31,32,37,39,40,41,43,44,45,48,49,52,54,55,56,57,58,60,61,62,64,65,66,67,68,70,71,76,77,78,79],[1,4,6,7,11,13,16,17,21,22,23,24,28,31,32,40,42,43,44,46,47,48,50,51,52,55,57,59,60,63,64,66,69,70,72,73,77,79],[0,1,5,6,12,13,16,19,21,22,23,25,27,28,29,30,31,33,38,40,41,42,45,46,49,50,53,55,57,58,59,61,63,65,66,67,68,69,71,72,74,77,78,79],[3,5,8,10,11,15,17,18,19,20,22,25,26,28,30,33,36,37,39,41,43,44,45,46,47,48,49,50,51,54,55,56,58,60,61,64,68,70,71,72,73,74,75,76,79],[1,2,5,9,10,13,14,18,19,20,21,25,27,28,29,31,33,37,38,39,40,47,51,53,54,55,56,57,62,66,73,74,76,77,79],[2,4,5,6,7,9,10,11,14,16,17,18,19,20,22,23,24,25,27,29,32,33,37,38,39,42,43,44,46,48,50,52,53,54,56,59,60,62,63,64,69,70,72,74,76],[0,3,4,5,6,7,9,12,15,16,17,18,19,20,21,22,25,26,33,34,37,40,41,42,43,44,46,53,55,57,58,59,60,64,67,68,69,70,72,74,75,76,77,78],[0,2,5,8,12,14,17,18,19,20,21,22,23,24,25,27,28,29,30,32,33,34,36,37,38,40,43,44,45,46,47,49,51,52,57,60,61,62,63,64,67,70,71,72,73,74,76,77,78,79],[2,5,7,14,18,19,21,27,28,31,35,36,37,38,45,51,52,53,54,55,61,64,66,71,74,75,77,78,79],[0,3,6,7,8,9,11,12,15,16,17,18,21,23,25,26,27,31,33,35,37,38,42,43,44,45,48,51,52,53,54,59,60,61,62,63,65,66,67,69,70,71,77],[0,1,3,4,8,9,12,13,15,18,22,24,25,26,27,28,32,33,35,37,38,40,45,46,47,50,53,54,55,57,61,62,64,65,67,71,72,73,79],[0,1,3,4,5,6,10,12,13,15,16,17,18,19,21,22,26,29,34,35,36,37,39,41,42,43,44,45,46,47,52,53,55,56,58,59,60,61,62,67,68,69,70,71,72,73,74,77],[2,3,5,6,7,9,11,14,15,16,19,20,22,24,26,28,29,30,31,32,34,35,36,40,42,46,47,48,49,53,54,57,59,64,65,66,69,72,73,74,76,78,79],[2,4,5,6,8,9,10,11,12,13,14,16,17,18,19,21,23,26,27,28,30,32,36,37,39,41,42,45,47,48,55,56,60,61,62,64,66,69,72,74,75,76,77,79],[1,2,5,6,9,12,14,19,23,24,25,27,32,33,34,37,38,40,41,42,44,46,47,48,51,56,57,58,61,62,64,65,66,67,68,70,71,73,75,79],[0,1,3,6,11,13,16,17,22,25,27,28,29,30,32,34,38,41,43,44,47,49,50,51,56,58,63,64,66,68,71,76,77,78,79],[0,2,3,6,7,8,13,14,16,18,19,23,25,26,28,30,33,34,35,38,39,41,42,43,44,45,47,48,49,52,57,58,59,63,65,66,67,69,71,72,74,76],[2,4,7,10,13,14,16,19,21,22,23,24,25,27,28,29,30,32,34,35,36,38,40,42,44,46,48,50,52,55,56,58,59,60,64,70,71,73,76,78,79],[5,6,7,8,9,11,12,17,18,22,24,25,26,29,34,35,37,38,39,40,41,44,45,46,47,50,52,58,59,61,62,66,69,70,71,72,73,74,75,77,78],[0,1,3,5,7,8,9,12,13,16,18,24,26,27,28,30,32,35,37,39,40,43,45,46,49,51,52,56,59,61,62,63,64,68,69,70,72,73,74,75,76,79],[1,2,3,4,5,7,8,10,12,14,15,18,19,23,24,25,26,27,30,36,37,38,41,42,43,44,47,48,49,50,52,53,60,61,64,67,69,71,78],[0,7,9,15,21,22,24,27,29,30,34,39,41,45,47,51,52,53,55,58,62,63,64,67,68,72,74,75],[0,3,5,10,12,14,16,19,20,21,22,24,26,29,30,31,32,33,35,37,38,39,44,45,50,54,55,56,57,59,61,64,66,68,69,70,71,72,75,76,79],[4,7,9,11,14,16,17,19,20,22,24,25,26,27,29,30,31,34,36,39,43,45,49,50,52,54,58,60,62,63,65,66,67,68,69,70,72,76,77],[0,1,3,4,6,7,9,13,14,19,20,24,26,28,31,32,36,38,39,41,44,45,47,51,52,54,56,60,62,64,65,67,69,70,71,72,78,79],[0,1,2,4,5,6,9,11,12,15,16,17,20,21,23,24,26,27,31,32,33,34,36,37,38,40,42,43,44,46,48,49,50,53,54,55,56,57,58,60,61,62,67,68,69,71,73,74,76,77,79],[0,4,11,14,15,16,17,19,20,21,25,26,31,36,41,43,47,49,50,51,53,54,55,60,64,65,66,69,70,74,75,76,77],[0,1,2,6,8,9,10,12,13,14,15,17,19,20,21,22,23,24,26,30,31,33,35,36,38,42,43,49,51,53,54,56,58,60,62,66,67,68,69,70,71,73,75,78],[1,2,5,6,8,10,13,19,23,28,29,31,32,34,35,36,38,39,40,43,45,50,52,53,54,56,58,59,60,61,62,63,64,67,69,73,74,76,77,79],[2,4,5,7,9,15,18,20,21,24,25,26,29,31,32,35,37,38,40,44,45,50,53,55,57,58,60,62,64,70,71,72,73,74,77],[2,3,4,6,7,9,10,12,19,20,22,23,24,26,29,30,32,33,35,36,37,39,40,41,46,50,51,53,54,55,57,59,60,61,63,64,65,68,70,75,77,78],[0,3,6,9,10,14,17,18,19,20,23,24,25,26,28,29,31,32,34,36,38,40,41,42,44,46,49,50,52,54,58,62,64,65,66,70,72,73,76,77,79],[1,2,3,8,12,13,15,18,21,22,25,28,29,30,32,33,34,35,40,41,43,44,46,50,51,52,53,56,60,64,65,67,68,69,71,72,75,76,77,78,79],[1,3,4,5,7,8,9,12,13,20,22,24,26,28,30,31,33,34,37,38,41,43,45,46,51,52,55,56,57,58,62,65,67,68,69,70,73,74,75,76,78,79],[0,1,3,5,6,7,8,10,11,12,14,19,22,23,26,28,29,30,31,32,35,36,37,42,43,44,46,47,50,53,54,55,58,61,66,67,72,75,77],[3,4,11,13,17,18,25,26,28,31,33,35,40,45,46,47,49,51,53,56,57,58,61,64,68,69,74,78],[1,4,7,8,10,14,16,17,18,20,23,25,26,27,28,30,32,33,38,39,41,43,44,48,49,50,51,58,60,62,63,65,67,69,70,73,74,75,76,77,78],[0,3,10,13,15,16,18,20,21,23,25,26,27,28,29,30,31,33,37,40,42,44,46,48,51,55,56,57,59,60,61,64,66,70,71,74,75,76,78],[0,2,3,4,5,7,9,10,13,16,23,24,27,28,30,32,33,35,38,42,45,46,48,50,51,53,56,58,59,61,62,66,72,73,75,76,77,78],[0,1,2,4,5,6,8,11,13,15,16,17,19,20,21,27,28,30,31,32,34,36,37,38,39,40,42,43,44,47,48,49,50,52,54,55,56,61,62,63,64,66,67,68,70,71,73,74,75,77,79],[0,4,10,11,15,16,17,20,21,23,27,29,30,35,37,42,44,45,47,48,49,53,55,58,59,60,66,68,69,70,71,75,76],[0,1,3,4,5,6,11,12,16,19,21,23,24,26,28,29,30,31,33,35,36,38,40,45,48,49,50,51,52,54,55,56,60,61,63,65,67,71,76,78],[0,2,3,4,5,6,7,10,12,13,14,15,19,21,24,27,28,29,31,32,34,35,36,40,41,42,44,45,46,47,49,50,51,54,55,56,57,58,61,63,64,65,66,67,72,73,74,77,78,79],[1,2,3,4,7,10,11,12,16,17,19,20,21,22,23,25,27,28,30,32,35,37,38,39,40,42,45,47,50,52,53,54,56,58,62,63,65,67,73,74,78],[1,3,5,7,8,10,11,13,14,15,16,19,22,24,25,28,29,30,32,33,35,36,37,41,42,43,45,46,47,48,51,52,55,57,58,59,62,64,65,66,67,68,73,75,78,79],[1,4,5,7,8,10,11,12,16,17,20,21,24,26,29,30,32,34,36,39,40,42,43,44,47,50,51,52,53,54,55,56,58,59,60,63,68,71,72,73,75,76,77],[0,3,6,7,8,10,17,19,20,23,28,31,32,33,34,35,38,39,42,43,44,45,47,48,49,53,58,59,61,65,67,68,72,73,75,77,78],[0,1,2,4,6,8,11,12,16,21,22,25,27,30,31,33,34,37,40,43,44,48,49,50,52,54,56,59,61,62,63,68,72,74,75,77],[2,6,9,10,11,12,14,16,18,19,20,24,25,27,29,31,32,35,36,37,39,44,45,46,50,52,60,61,63,66,68,69,72,73,74,75,76,77,78,79],[0,5,7,9,11,12,14,16,17,18,19,22,26,33,35,42,44,45,46,47,48,49,50,51,52,53,55,58,62,63,66,68,69,71,72,75,77,78,79],[0,1,2,7,9,10,12,14,15,18,19,21,23,26,29,30,31,32,33,40,41,43,45,46,47,49,51,56,57,59,61,63,65,70,71,72,75,76,78,79],[1,2,4,6,8,9,13,18,19,22,25,29,30,33,37,38,42,45,50,51,54,58,60,62,64,65,66,68,70,72,73,78],[3,6,7,8,9,10,11,12,13,16,17,18,20,21,23,27,28,29,32,33,35,39,40,47,51,52,53,56,60,63,64,66,67,68,70,72,74],[1,3,8,10,11,15,16,17,19,21,24,25,26,27,28,30,31,32,34,36,37,38,40,41,42,45,48,50,51,52,53,56,57,58,60,61,66,67,69,70,71,72,74,75,78],[0,1,2,4,5,6,7,8,11,12,13,14,16,17,25,26,29,30,35,37,38,44,46,47,48,49,52,53,54,55,60,63,64,65,69,70,71,73,75,77,79],[0,1,2,4,5,7,8,15,17,19,20,23,24,25,26,27,28,30,32,34,39,41,42,44,45,46,48,49,51,54,55,57,59,61,62,66,67,70,72,77],[0,1,2,3,4,6,7,8,9,10,11,14,17,23,24,25,27,28,31,34,35,36,38,40,41,42,44,45,48,49,50,51,52,53,55,57,58,59,60,61,62,63,64,67,68,71,72,73,78,79],[0,3,5,6,7,8,14,15,16,17,18,19,20,21,23,24,26,29,31,32,33,34,36,38,41,43,44,46,47,48,51,53,56,57,59,61,62,64,68,72,79],[1,3,5,7,9,10,11,12,14,15,18,20,23,24,25,26,28,29,35,36,37,38,39,41,42,43,45,46,49,51,52,53,54,56,58,59,60,61,63,64,65,69,72,73,74,79],[0,1,3,5,8,12,14,15,16,17,20,21,25,26,28,30,33,34,36,37,38,40,42,44,45,46,47,48,49,50,53,57,62,64,65,66,69,70,71,74,77,78,79],[2,3,4,7,12,14,16,19,21,23,24,27,32,33,36,37,38,39,40,41,47,50,51,53,54,55,59,61,64,65,67,69,71,72,74,78,79],[0,2,4,5,6,8,12,15,17,18,20,26,27,29,31,34,37,39,40,43,44,46,48,50,54,55,56,57,62,65,67,68,69,71,74,78],[2,6,8,10,13,14,15,16,20,22,23,25,27,28,29,31,33,38,41,42,43,44,46,50,51,52,57,60,66,67,68,69,70,71,72,73,74,75,78,79],[1,3,4,8,10,13,15,18,20,21,22,23,30,36,39,41,44,45,46,47,49,50,51,52,53,54,55,56,57,60,64,69,71,72,73,74,75,77,78],[3,4,5,6,8,10,11,13,14,17,19,22,23,25,26,27,30,34,35,37,38,39,45,51,52,53,55,57,59,62,63,65,67,69,70,72,73,76,77,78],[0,2,5,6,9,12,13,18,22,23,25,26,29,32,36,39,43,44,45,48,51,56,58,59,60,64,66,72,74,76,78,79],[2,3,7,8,9,12,13,14,15,16,17,19,20,21,22,24,25,31,33,34,38,39,41,45,46,47,53,57,58,60,61,62,66,68,74,76,78],[5,7,11,12,14,15,17,20,21,23,24,26,27,28,29,30,31,32,34,35,36,38,40,42,43,44,45,46,47,51,54,60,61,62,63,64,66,67,68,69,72,75,76,77,78],[0,1,2,3,4,5,6,8,9,10,12,15,20,21,25,26,29,30,32,41,43,46,47,48,49,50,52,53,54,55,57,58,59,66,69,71,73,75,76,77,79],[1,2,3,4,5,9,10,15,16,17,18,20,23,24,25,27,30,31,32,33,34,38,40,44,45,47,51,52,61,62,66,68,69,70,71,72,73,74,75,76,78],[2,9,11,12,14,15,16,18,20,24,26,27,28,36,40,41,42,47,48,49,52,54,57,62,64,67,68,69,74,78,79],[2,4,5,6,7,8,9,12,17,21,22,25,26,27,28,32,33,34,35,36,38,39,40,42,44,45,46,47,49,53,54,56,57,63,64,68,70,71,72,73,75,76,77,78],[0,3,4,11,12,13,15,17,18,20,21,22,23,25,27,29,31,37,41,42,43,44,48,49,53,55,58,63,65,68,69,70,75,79],[0,1,2,4,6,7,8,9,10,12,13,14,15,17,18,20,25,29,30,35,37,39,40,42,43,44,46,47,49,51,55,56,58,61,65,66,67,69,70,75,77,78],[0,3,5,6,7,8,12,13,14,16,23,24,27,29,31,32,33,34,35,37,38,39,42,43,45,46,49,52,55,56,58,62,65,67,68,71,72,73,74,76,77],[0,2,3,4,9,13,14,16,17,21,22,23,24,25,26,28,29,31,36,37,40,43,44,47,52,53,54,55,57,58,62,63,64,65,67,70,74,75,78],[0,1,2,3,4,6,11,12,16,18,19,21,26,29,30,33,34,35,37,39,46,50,52,54,55,56,58,59,62,64,65,66,67,69,70,72,73,77],[0,2,4,7,8,10,11,15,19,20,22,23,24,28,29,31,33,34,36,37,42,49,50,51,53,55,57,58,59,61,63,65,67,70,72,73,74],[0,1,4,5,7,11,14,15,16,18,21,22,24,25,26,31,32,33,35,40,41,43,44,47,48,50,53,55,56,60,61,63,65,66,69,70,71,72,74,75,78,79],[2,4,7,9,10,12,13,14,15,18,25,26,29,30,31,34,35,37,38,42,44,45,49,50,51,52,56,58,60,62,69,70,73,75,76],[5,6,8,10,13,14,15,17,18,21,22,27,28,29,30,31,32,33,36,37,39,40,46,47,50,51,52,53,54,57,58,60,62,63,64,68,69,71,72,77,78],[0,2,8,13,15,16,19,22,23,25,27,30,33,35,38,40,41,42,44,45,47,48,49,53,54,55,56,59,60,61,63,64,65,68,72,75,76,78,79],[0,8,9,11,12,13,14,18,19,20,22,23,24,25,26,28,30,33,35,36,38,44,45,52,53,55,56,57,59,60,61,62,63,65,67,69,72,74,75,76],[0,1,5,6,7,11,13,14,16,19,20,21,22,26,27,28,29,31,32,34,38,39,40,45,46,50,51,53,56,60,67,68,69,70,72,74,75,76,77,78,79],[6,8,10,11,13,15,16,20,22,24,28,30,31,34,35,36,42,46,48,53,54,55,56,58,61,63,68,72,73,74,75],[0,1,2,3,6,8,12,13,17,18,21,24,29,30,31,32,33,34,36,38,39,40,41,42,47,48,50,51,52,53,55,57,58,62,63,69,70,71,72,74,76,77,78,79],[0,4,7,8,9,11,15,16,17,18,19,21,22,25,27,29,31,35,36,37,43,47,49,50,54,55,57,59,64,69,73,74,75,76],[0,2,3,4,5,6,8,9,10,11,12,13,14,16,21,22,25,26,29,33,34,36,37,41,43,45,49,50,52,53,55,59,60,61,62,64,67,69,71,72,75,76],[1,2,3,4,7,8,9,10,12,19,20,25,27,28,31,32,33,36,37,38,39,40,41,43,46,49,51,52,55,56,59,61,62,64,68,70,71,74,77,78,79],[0,4,6,7,9,10,13,17,18,19,20,21,24,25,27,28,29,30,34,37,42,43,46,47,48,49,50,53,56,57,58,59,61,63,64,68,69,72,76],[0,2,4,5,6,7,8,15,17,20,22,23,25,26,30,33,39,40,41,43,44,46,48,49,52,56,58,59,60,61,62,64,65,71,75,76,78,79],[0,3,4,6,11,12,14,15,16,18,19,23,24,25,27,28,36,39,40,42,43,44,45,47,49,55,57,59,61,63,64,65,67,68,76,78,79],[0,1,3,4,5,10,11,15,17,18,20,22,27,28,29,30,34,35,37,38,39,41,44,47,49,50,53,54,57,59,60,62,66,67,68,69,72,73,75,76,77,78],[0,3,6,8,9,10,11,13,14,22,25,26,27,29,30,32,36,40,41,43,44,45,46,50,51,55,56,62,64,66,69,70,75,76,79],[1,2,9,10,11,12,14,17,18,21,22,24,25,26,27,31,33,34,38,39,42,43,44,45,46,47,48,52,53,56,57,58,63,64,66,71,72,74,75,77,78],[4,6,9,11,12,18,19,20,23,26,29,31,32,34,35,36,39,41,47,48,49,50,51,53,54,55,57,58,59,62,65,66,67,69,70,72,73,74,78],[4,8,9,10,12,13,15,16,18,19,22,23,24,26,28,29,30,32,39,41,42,46,47,49,50,51,56,57,59,61,62,63,65,66,67,68,69,70,75,78],[1,2,4,5,11,12,13,16,17,19,20,21,22,24,27,31,32,33,35,37,38,39,42,44,46,47,48,49,51,52,56,57,61,64,66,67,68,73,74,75,77,79],[0,1,4,7,9,10,11,17,18,19,22,23,27,28,30,31,33,35,36,37,38,41,43,44,45,46,47,52,54,57,59,62,63,65,66,67,69,70,75,77,78,79],[1,2,3,5,8,9,10,12,13,14,15,19,20,21,22,23,24,25,27,28,34,35,37,39,40,41,44,46,48,49,53,54,58,59,63,66,70,76,77,79],[1,2,3,4,5,6,8,12,24,27,28,29,31,32,34,36,37,39,42,44,45,46,47,48,53,55,58,60,63,64,66,67,70,71,74,76,78,79],[0,2,4,5,6,7,12,14,15,16,18,19,22,24,25,28,29,30,31,35,39,40,43,47,48,51,55,56,60,61,62,63,65,67,68,69,70,71,73,77],[0,1,6,7,11,13,14,15,17,18,20,21,25,27,28,29,30,32,33,37,38,40,42,43,44,46,49,52,55,57,60,62,63,64,65,66,69,70,71,74,75,79],[0,2,3,5,6,7,8,9,10,11,12,17,18,19,22,23,24,29,30,32,33,34,35,38,39,41,42,43,48,52,53,54,55,57,58,59,60,62,64,65,69,71,74,75,76,77],[0,1,2,5,7,8,9,10,12,14,17,21,24,26,27,28,32,35,38,42,45,47,48,50,52,54,55,57,59,60,61,63,66,67,69,70,72,74,77],[0,1,2,3,4,5,7,11,12,15,16,21,23,24,25,26,27,31,33,34,35,40,41,45,48,50,51,53,55,56,58,60,64,66,68,69,72,73,75,76,77],[1,4,8,9,11,12,13,15,20,21,22,23,26,27,30,31,35,37,38,40,41,42,43,44,47,48,49,50,53,55,58,60,61,62,63,64,68,69,72,77,79],[1,3,4,6,9,12,15,16,17,19,23,26,27,28,29,30,31,33,34,36,37,40,41,42,43,44,45,47,48,50,51,52,56,57,62,64,69,70,71,72,73,75,76,78,79],[2,4,5,6,8,10,13,14,16,17,20,21,22,24,25,26,29,30,31,33,35,36,39,42,43,45,46,47,49,50,51,52,53,54,56,57,58,59,62,63,64,66,69,71,72,73,75,77,78],[1,2,4,5,6,10,18,21,22,23,24,25,27,29,31,33,38,41,42,45,46,53,54,55,58,59,60,63,65,67,68,69,71,75],[0,2,5,6,7,9,11,17,19,21,24,25,28,29,30,35,36,37,42,43,44,47,52,53,55,57,58,60,62,66,68,70,71,77,78,79],[0,1,5,6,8,9,15,16,17,18,20,21,23,27,28,31,32,33,36,38,39,41,43,45,46,50,52,53,54,55,58,60,61,62,63,67,68,69,71,73,74,79],[0,3,4,5,13,14,15,18,19,21,22,23,24,26,27,31,32,35,37,39,41,42,43,46,48,50,51,52,53,56,57,59,60,61,63,65,69,71,72,73,75,76],[1,5,6,7,8,9,10,11,12,13,14,16,17,18,19,23,24,28,29,31,33,34,35,40,41,43,47,48,50,52,54,55,57,60,64,65,70,71,73,76],[0,1,2,5,6,7,8,12,24,25,27,28,31,33,36,38,40,42,43,47,49,50,51,52,53,54,57,58,60,61,64,66,68,70,72,73,76,77],[0,1,2,3,4,6,8,10,11,18,20,22,23,24,25,26,27,28,29,33,34,37,41,45,49,53,54,56,57,59,61,62,66,67,71,74,75,76,77,79],[2,3,4,5,9,10,11,15,16,17,21,22,24,25,26,29,31,32,34,36,37,38,39,43,46,49,50,52,55,56,57,58,59,60,63,66,68,69,73,75,76,77],[1,2,3,4,6,7,8,12,13,14,15,18,19,21,22,23,25,26,28,32,33,35,36,37,38,39,40,41,46,47,48,49,54,56,58,59,63,64,65,66,68,69,70,71,75,77],[1,3,4,5,6,8,10,12,13,14,17,21,24,28,30,31,32,36,38,41,44,46,48,49,51,53,54,57,60,61,63,65,66,67,68,71,75,76,78],[0,1,3,4,5,6,7,8,11,15,17,19,20,27,28,29,30,31,34,35,39,40,41,44,45,47,49,51,54,58,60,62,64,66,69,70,71,74,75,78,79],[0,5,8,9,11,12,13,15,16,17,18,19,26,27,30,31,32,34,35,36,37,41,43,44,47,49,50,53,54,55,56,57,58,64,66,67,71,73,74,75,78],[0,2,5,7,8,11,13,19,20,21,23,24,25,26,27,30,31,34,35,36,37,39,40,42,43,44,45,46,50,51,53,54,56,58,62,63,69,70,72,73,75,76,77,78,79],[0,1,2,6,9,10,12,14,16,17,18,20,21,25,26,27,28,29,30,33,36,37,39,41,42,44,45,46,47,48,51,52,53,55,56,57,58,60,62,63,64,65,69,71,72,75,77,78,79],[0,1,2,5,6,14,17,18,19,22,25,27,28,29,31,32,35,36,39,47,48,49,51,52,57,59,61,64,65,66,69,74,75,77],[1,2,3,4,6,13,15,17,21,23,24,25,26,28,29,36,37,41,42,43,46,47,49,50,53,56,60,63,64,66,71,72,73,74,76,77],[0,2,6,7,9,12,20,21,23,24,29,31,32,34,35,37,39,41,42,43,44,46,47,49,50,53,54,55,57,63,64,66,68,69,71,72,74,79],[0,1,7,9,10,13,14,16,17,22,24,26,28,29,31,33,34,35,37,38,39,40,41,42,45,46,47,49,50,51,52,54,58,59,62,64,66,67,68,71,72,75,76],[0,6,7,8,9,14,15,17,18,20,21,25,27,29,34,36,37,39,41,43,46,48,49,50,52,55,59,62,65,66,69,70,71,73,76],[0,1,2,3,6,7,8,11,15,17,19,22,23,25,29,32,34,35,36,38,39,40,41,42,43,44,46,47,48,50,51,52,53,55,59,60,63,65,67,68,69,72,73,76,77],[3,6,9,10,11,12,13,16,17,18,19,26,27,28,33,35,37,42,43,45,47,49,52,55,57,58,59,60,66,68,69,70,71,72,74,75,76,77,79],[0,2,3,7,10,11,13,16,17,18,19,20,21,23,24,26,27,28,29,31,32,33,34,39,41,44,45,46,50,52,53,54,58,59,60,63,64,70,75,76,77],[2,3,6,8,9,10,11,13,14,15,16,19,23,24,25,26,28,31,32,33,36,37,43,44,45,48,49,53,54,55,58,60,62,63,64,65,66,69,71,73,75,77],[1,4,7,8,9,10,11,13,15,17,18,20,21,23,26,27,29,30,31,34,35,36,37,40,42,43,46,47,48,49,50,51,58,59,61,62,63,66,69,73,75,76,78],[1,2,4,7,9,10,11,12,13,14,20,21,24,25,26,29,30,32,34,37,40,43,44,46,49,50,51,52,53,54,57,58,61,64,65,66,68,69,70,72,74,75,78,79],[0,3,5,10,11,12,13,14,16,17,18,20,22,23,32,39,42,43,44,50,51,52,54,55,56,57,58,61,62,66,68,73,74,75,78],[0,1,5,8,9,10,13,14,15,16,18,19,21,23,24,25,31,32,36,37,38,39,40,42,43,44,48,49,50,55,56,58,59,60,61,62,64,65,67,68,71,75,76,77,78,79],[1,5,6,7,10,13,16,17,19,20,23,24,27,29,31,32,34,38,40,41,42,44,46,52,56,58,60,61,64,66,67,68,69,70,73,75,77,78,79],[1,2,4,5,8,9,10,11,12,13,14,15,17,18,19,20,22,23,24,28,30,33,35,36,37,40,41,45,47,48,49,50,53,55,56,57,58,60,64,68,69,70,74,75,77],[0,2,4,5,7,8,11,12,15,16,18,19,20,23,26,29,30,31,34,36,38,39,42,46,48,51,52,53,54,55,56,57,59,60,62,66,67,69,70,71,72,74,76,77],[2,3,4,6,8,13,16,17,19,25,27,28,33,35,36,37,38,40,41,43,44,47,48,49,50,52,53,55,57,58,60,63,68,73,74,75,77,78],[3,4,5,9,10,13,14,18,20,21,24,25,27,28,30,32,33,34,35,36,39,40,41,43,44,45,46,48,51,52,53,55,56,58,60,61,64,65,69,70,74,77,78],[2,3,4,10,11,12,13,16,17,21,22,25,29,31,33,35,37,40,42,43,44,46,49,52,54,55,56,59,60,65,70,75,76,77,79],[2,3,4,5,6,7,11,12,15,18,19,21,23,25,29,32,33,34,35,36,37,38,40,41,42,44,45,46,47,49,50,52,53,54,57,59,61,65,66,70,71,74,75,78,79],[2,7,8,9,13,14,15,20,21,22,23,24,30,31,36,37,39,41,43,46,49,51,53,55,60,63,64,65,66,68,69,70,71,73,74,75,76,77,78],[3,4,6,7,9,14,15,16,17,19,20,21,22,23,24,25,27,28,30,31,33,35,38,39,40,44,46,47,48,50,51,52,57,58,64,65,66,69,70,71,76],[2,6,7,9,10,11,12,13,14,15,19,20,23,24,27,28,29,30,37,38,39,42,43,47,48,49,50,51,54,55,56,57,58,59,60,64,66,69,71,75,77,79],[0,3,5,9,11,12,13,14,15,16,17,19,21,22,25,26,27,30,31,34,36,37,40,41,42,43,44,45,52,53,54,55,56,57,60,64,65,67,69,70,72,75,79],[0,3,5,6,8,9,10,13,14,15,16,17,25,26,28,29,30,34,37,38,40,43,44,45,46,47,48,50,52,55,58,59,60,63,64,67,68,69,72,73,74,75,76,78],[1,4,7,8,9,10,14,15,16,18,19,20,21,22,33,36,37,38,44,45,46,48,49,50,56,60,62,63,64,67,68,69,72,74,79],[1,4,5,9,10,11,12,13,14,17,19,20,22,23,27,28,29,32,33,34,36,37,38,42,43,44,49,50,54,55,56,58,59,61,62,64,65,66,67,69,70,71,72,73,74,77],[1,2,3,5,9,14,16,19,20,21,23,25,27,28,31,32,34,35,36,38,40,46,50,52,58,60,61,62,64,66,67,69,71,72,73,74,75,76,79],[0,1,5,6,8,9,10,11,12,13,14,15,16,18,19,21,22,23,24,26,28,34,35,39,41,42,43,44,47,49,51,53,54,55,58,62,63,64,66,68,69,71,74,75,76],[0,1,3,4,6,8,11,12,15,16,19,20,22,23,25,26,27,30,32,33,36,40,42,45,46,47,48,49,52,54,56,60,61,62,63,65,66,68,70,71,75,76,77,78],[0,4,6,11,12,14,16,17,18,19,21,23,27,30,33,36,38,39,40,41,42,45,46,49,52,53,54,58,60,63,64,65,66,67,72,76,77,78,79],[0,1,2,3,4,7,10,13,15,19,20,24,26,27,28,29,30,31,32,34,35,37,38,45,46,48,50,53,56,59,60,61,62,63,64,68,73,74,75,77],[0,5,7,10,11,14,15,16,17,20,23,24,29,30,32,35,39,40,41,42,43,44,45,47,48,50,54,55,56,60,63,65,66,67,68,75,78,79],[1,2,3,4,5,8,10,11,12,15,16,18,19,21,22,23,24,25,27,28,29,31,33,35,36,38,39,46,47,49,50,51,54,57,60,61,62,63,64,65,69,74,75,76,78],[0,4,6,8,10,11,13,15,16,19,22,23,24,25,26,27,29,30,34,35,37,38,39,43,44,45,46,50,51,52,54,55,57,58,59,64,65,69,72,73,75,78],[8,10,12,13,14,15,17,18,21,22,24,25,26,29,33,34,35,36,37,40,41,42,43,44,49,50,51,53,55,57,59,60,63,66,67,69,73,75,76,77,79],[0,5,7,8,11,12,13,16,18,20,21,22,23,25,26,30,32,33,34,36,37,39,45,47,48,49,51,53,54,56,57,59,65,68,69,73,76,77,78],[0,2,4,5,7,9,10,11,12,14,15,18,19,20,21,22,24,28,33,35,38,39,41,42,43,47,48,49,52,53,56,57,58,59,60,61,62,64,65,67,69,70,73,74],[0,2,6,9,11,14,22,27,28,29,32,36,39,41,42,44,46,50,55,57,59,60,61,62,65,67,68,69,70,72,73,74,75,76,77],[0,2,3,6,9,10,12,13,16,19,20,22,23,26,27,28,29,32,33,34,35,36,38,39,40,41,43,47,48,51,53,55,57,58,60,61,64,65,66,67,71,72,73,74,75,77,78],[1,5,8,9,12,13,14,15,16,17,19,20,23,24,25,26,27,30,31,32,33,34,36,38,39,42,43,45,48,50,52,55,60,62,64,65,69,71,73,78,79],[0,1,7,8,9,10,11,12,13,19,25,26,27,29,31,33,34,35,36,38,40,41,44,47,52,54,56,62,63,64,66,67,68,69,71,73,75],[3,4,5,6,7,8,10,11,12,16,17,22,23,25,27,32,33,35,37,41,43,44,50,52,53,56,57,60,62,63,67,70,71,72,73,76,78,79],[0,1,2,5,6,8,11,12,13,15,16,17,19,20,22,23,24,25,26,28,29,30,31,33,34,38,41,43,44,45,46,48,52,57,59,61,64,67,68,70,71,72,74,75,76,77,78,79],[0,2,4,8,10,15,17,19,20,21,22,23,26,31,32,33,34,35,36,39,42,46,47,48,51,52,55,57,58,59,60,61,64,66,70,71,72,73,78],[0,3,4,5,6,7,9,11,14,16,23,24,25,26,27,28,30,31,32,38,40,41,43,44,47,51,52,54,56,57,58,62,65,66,67,68,69,71,74,79],[1,3,4,10,11,14,15,16,19,20,21,25,26,28,33,34,35,36,37,38,41,44,48,49,50,51,53,54,57,59,60,61,62,66,69,72,73,74],[0,1,5,6,7,8,11,12,14,15,17,18,19,20,22,23,24,25,27,28,29,31,32,33,39,41,42,44,45,48,52,53,55,56,57,58,59,63,66,67,68,69,70,72,75],[0,2,4,9,11,12,14,15,18,19,20,23,25,26,28,29,30,31,32,33,37,40,41,43,44,45,46,48,49,50,51,52,58,59,63,64,65,69,72,75,78,79],[8,9,10,11,12,14,17,18,21,22,25,28,29,30,34,35,36,37,39,40,41,42,43,44,45,47,49,50,55,57,60,61,63,65,66,69,70,71,73,75,79],[1,3,4,8,9,12,15,16,17,18,19,20,22,26,29,30,33,38,39,40,42,43,45,47,48,51,53,54,55,59,62,63,65,70,71,72,74,75,79],[0,1,3,4,6,8,10,11,13,14,15,16,17,18,22,23,24,28,32,33,35,36,37,39,41,46,47,53,54,55,56,58,59,61,62,63,64,65,66,67,68,75,76,79],[2,4,6,10,13,15,18,24,25,31,33,35,36,38,42,44,49,50,52,56,59,61,63,65,66,67,68,69,70,71,74,75,76,78,79],[2,4,6,7,8,9,13,14,16,18,19,20,23,24,25,30,31,32,33,34,35,37,38,39,40,41,42,45,47,49,53,54,58,59,60,61,63,64,66,67,68,69,71,72,77,78,79],[1,5,8,9,10,11,12,13,16,19,20,21,23,26,27,28,29,30,31,32,33,36,37,38,39,40,42,44,46,49,51,54,56,58,59,66,72,73,75,77,79],[3,4,5,8,9,12,13,14,15,23,25,27,29,30,31,32,34,35,39,40,41,42,46,48,50,53,56,57,58,60,61,62,69,74,75,77,79],[0,1,2,3,7,8,12,14,15,18,19,20,21,29,31,35,37,38,39,41,43,44,46,47,50,56,57,61,62,63,66,70,72,73,76,77,78,79],[1,2,4,5,6,8,9,11,12,15,16,18,19,20,21,23,24,25,26,27,28,29,30,32,35,37,39,40,46,50,51,52,54,58,61,63,65,67,68,69,70,71,72,73,74,76,77,78],[1,4,7,9,13,16,19,23,24,25,30,31,34,40,41,43,44,45,46,47,50,51,52,54,56,57,59,60,61,63,64,65,66,67,68,69,71,77],[0,1,2,3,4,5,7,8,9,10,11,13,14,17,21,22,23,24,25,31,35,36,39,41,43,49,50,54,55,56,57,59,60,62,63,64,71,72,73,78,79],[1,2,3,4,6,7,9,10,11,12,13,20,21,22,24,27,30,31,36,38,39,42,43,44,45,46,47,48,49,51,52,53,54,56,58,59,61,63,65,66,67,68,69,70,71,73,79],[0,1,2,3,4,5,8,9,10,11,12,15,16,18,20,24,25,27,30,31,36,37,38,40,42,44,51,55,56,57,58,60,61,62,63,64,65,68,72,73,74,79],[2,3,6,7,10,11,13,14,15,17,18,19,25,30,34,35,36,37,43,44,48,51,53,54,57,59,60,61,64,65,68,70,71,73,74,77,78,79],[1,2,3,4,6,9,10,11,14,15,16,17,18,23,24,31,35,36,37,40,41,45,46,47,48,50,52,53,56,63,66,67,69,70,73,74,78,79],[7,12,13,14,15,16,17,18,20,21,22,23,27,30,35,37,38,39,40,41,42,43,44,49,50,51,54,58,59,61,65,68,71,74,78],[4,5,7,12,13,14,15,18,20,21,22,24,25,28,31,32,35,36,38,39,40,43,44,46,47,48,53,56,57,58,59,61,62,64,65,67,70,74,75,78,79],[2,3,4,5,6,7,10,11,13,14,15,16,18,19,23,24,27,28,31,32,34,35,41,42,43,44,46,47,49,50,56,59,60,61,62,65,67,73,74,75,77,78],[1,2,4,5,7,9,10,14,15,16,20,21,23,26,27,29,33,34,35,38,39,43,44,45,46,48,50,51,54,55,60,64,65,66,67,68,71,72,76,77,78],[0,1,3,4,8,9,11,12,13,14,16,18,19,21,26,29,33,35,36,37,39,41,42,44,47,48,51,52,58,59,60,62,64,65,68,69,73,74,76,78,79],[0,2,6,7,8,10,14,16,18,19,20,22,24,26,27,29,30,31,33,35,37,38,41,43,45,46,49,53,54,56,60,61,62,63,64,66,67,70,71,74,76,78],[3,4,6,11,12,13,14,15,17,22,25,26,27,28,29,32,33,34,35,37,41,46,48,51,52,54,55,57,58,59,60,61,62,63,67,68,69,71,72,73,75,76,77,78],[0,1,2,5,6,7,8,9,10,12,15,21,23,24,26,27,28,29,31,32,33,34,36,37,39,43,46,48,49,50,51,52,56,58,61,64,67,68,69,75,76,77,79],[0,3,5,9,13,19,20,23,26,27,28,29,34,35,37,40,44,45,46,48,50,51,52,53,57,58,59,60,61,62,63,65,66,67,71,74,75,77],[0,1,3,4,5,6,7,9,10,12,13,14,15,17,18,19,21,27,28,29,33,35,37,41,42,44,48,49,55,56,57,58,62,63,65,66,72,73,77,78,79],[0,2,3,5,6,7,8,9,13,14,15,16,17,18,26,27,28,31,32,33,36,37,42,45,46,47,48,50,51,52,53,54,55,57,59,60,61,62,64,65,67,73,74,75,76,77,79],[0,1,4,5,6,7,8,11,12,13,14,15,16,20,22,26,27,28,29,31,32,34,36,42,43,45,49,50,56,57,58,59,62,63,64,66,67,68,73,74,78,79],[2,3,6,7,9,10,11,14,15,21,22,23,26,29,37,40,41,42,43,45,47,48,50,54,58,59,63,65,66,67,68,71,72,73,74,76,77,79],[0,2,5,6,7,10,11,13,14,15,19,20,21,22,27,28,34,35,41,42,43,44,46,47,51,52,53,54,57,60,61,62,68,72,73,75,76,79],[3,8,9,10,11,16,17,18,19,20,21,22,26,31,32,33,34,35,36,37,41,43,44,45,48,50,55,59,64,65,67,68,72,74,77],[0,1,3,8,9,10,11,16,17,18,22,24,27,28,29,32,33,34,37,38,41,42,47,50,52,53,54,56,58,59,61,62,63,64,65,67,68,69,72,73,76],[0,1,2,3,6,7,9,10,11,14,15,19,20,22,23,24,27,28,31,35,36,37,38,40,41,44,50,52,53,55,56,59,61,62,65,66,67,68,69,71,72,79],[0,1,3,5,6,10,11,13,14,16,17,19,20,25,30,31,32,33,37,39,40,41,44,45,48,49,50,51,52,54,58,59,60,61,66,70,71,72,74,77,78],[0,4,5,7,8,9,10,12,13,15,17,20,22,23,25,30,33,35,36,39,41,42,43,45,46,50,53,54,56,58,59,64,65,66,68,70,72,73,74,75,79],[2,3,4,6,10,12,14,16,18,20,22,23,25,26,27,28,30,31,32,35,37,39,41,43,47,48,51,52,55,56,57,58,60,61,62,66,67,68,70,72,76,77],[0,2,7,8,9,10,11,15,18,21,24,25,29,30,31,35,38,39,40,41,43,45,46,48,49,52,54,56,57,61,63,64,65,66,67,69,70,71,72,74,75,77,78,79],[1,2,3,4,5,6,8,11,12,13,14,17,19,24,25,27,28,30,31,33,37,38,39,40,42,43,44,45,46,52,54,55,58,61,62,64,67,69,70,71,73,74,75],[0,1,5,6,9,12,13,15,16,18,19,23,26,32,33,34,35,36,38,39,41,43,45,47,48,49,51,52,53,54,55,60,61,62,68,73,74,75,76,77,79],[0,1,5,7,10,11,12,13,14,18,20,21,22,26,27,28,29,32,39,41,42,43,44,45,46,47,48,50,51,52,56,57,61,64,69,70,75,79],[0,3,4,5,11,12,14,16,17,19,21,23,29,30,33,34,35,36,37,40,41,43,45,47,49,51,53,54,55,57,62,63,64,70,76,77,78,79],[0,1,3,7,8,10,13,14,19,20,21,22,24,29,31,32,33,38,40,42,43,44,45,46,47,48,49,50,51,52,53,57,58,65,70,71,74,76],[1,4,5,6,8,9,12,13,14,15,17,19,21,24,27,28,29,30,31,32,33,37,41,48,49,52,53,56,57,58,60,63,65,68,69,70,71,73,76,78,79],[0,4,8,14,16,17,18,21,23,24,26,27,28,29,30,31,34,35,36,37,38,39,43,45,47,51,54,55,56,57,58,61,62,63,65,69,70,71,74,75,77,78],[3,5,8,11,12,18,19,24,26,27,28,31,33,38,39,40,41,49,53,56,58,61,64,65,69,71,74,75,76,79],[0,1,7,9,10,12,14,15,17,19,23,24,25,26,29,30,32,33,35,36,37,38,41,46,48,49,50,52,53,55,56,57,59,61,62,63,65,66,69,70,72,78],[0,3,4,6,7,10,11,12,13,18,19,21,23,24,25,33,35,36,39,40,41,46,49,50,53,55,56,59,60,62,64,65,66,68,69,72,73,74,75],[2,3,7,8,13,15,19,20,26,28,29,30,32,33,34,35,37,41,43,45,48,49,52,53,54,55,56,59,63,67,68,69,72,75,76,79],[2,5,6,9,10,12,13,14,16,18,19,21,22,23,24,28,30,31,32,33,36,37,39,40,42,43,44,45,46,48,49,50,52,53,56,57,58,59,60,61,62,63,65,67,69,70,71,72,73,76,77],[0,2,3,4,6,9,10,11,13,17,18,22,24,28,29,31,32,34,35,39,41,42,44,46,47,48,50,51,52,54,55,56,58,59,60,61,64,65,67,69,71,72,73,78,79],[1,2,3,4,9,10,12,13,16,18,20,21,25,26,27,29,30,31,35,37,39,46,47,50,51,55,56,58,63,66,67,68,69,71,74,76,77,79],[0,2,3,4,5,7,9,11,14,16,22,25,28,30,31,32,35,37,41,42,43,44,45,48,52,55,57,58,61,63,64,66,67,68,70,71,74,75,76,77],[1,2,4,5,8,9,11,13,19,20,22,23,30,32,33,35,37,38,39,40,41,42,45,46,47,48,49,51,53,54,55,56,66,67,68,69,70,71,73,74,79],[1,3,4,5,8,9,10,14,15,16,17,18,22,24,25,30,31,33,35,36,37,38,44,45,46,50,51,52,53,54,58,62,63,67,69,73,75,76],[0,1,4,7,8,10,15,17,19,20,21,23,25,26,34,35,37,39,40,41,42,43,45,47,48,49,51,53,55,56,57,58,63,70,71,72,73,76],[3,4,5,7,9,10,12,14,16,17,18,23,25,27,28,32,34,36,37,38,39,44,45,46,47,50,51,52,53,54,55,59,63,64,68,70,76,77],[0,1,2,5,8,9,10,11,12,13,17,21,23,24,25,26,27,28,31,35,38,39,43,46,47,54,55,57,59,62,63,64,66,70,72,73,74,75,76,77,79],[0,4,10,12,17,19,20,21,22,24,25,26,27,28,30,31,32,33,37,40,41,42,43,45,48,49,51,53,56,57,59,62,63,64,67,68,69,71,72,75,76,77],[1,7,8,12,15,22,23,24,27,28,30,31,32,33,34,35,39,47,55,58,59,62,64,67,68,69,70,73,75,77],[3,4,5,8,10,11,13,14,19,21,23,25,26,28,29,30,32,35,38,39,41,42,43,44,46,47,49,52,54,55,56,57,59,60,62,63,65,67,72,75,76,78],[0,2,3,4,7,8,9,14,15,17,19,22,23,28,29,33,34,35,39,41,42,44,47,49,52,55,56,58,59,60,62,65,66,68,69,74,75,78,79],[3,6,7,9,11,12,16,23,24,25,26,30,35,37,38,39,40,41,43,46,47,48,49,51,54,55,57,61,62,65,69,70,73,74,75,78],[1,2,6,8,9,10,13,14,17,18,19,20,22,23,24,26,27,28,33,34,36,37,38,39,42,43,44,46,47,50,51,52,54,55,56,57,59,61,62,63,64,65,66,67,70,71,75,76,77,78,79],[0,2,4,6,7,9,13,14,15,18,21,22,24,25,27,28,33,35,36,38,40,41,44,45,46,48,49,50,52,53,54,58,59,61,62,64,65,66,67,72,73,75,77,78,79],[0,5,6,7,8,9,13,14,16,17,20,22,25,26,27,29,30,31,33,41,43,44,45,49,52,53,57,60,61,62,64,68,70,71,73,74,75,77],[0,1,3,4,6,7,10,13,15,18,20,24,26,27,29,35,36,37,38,41,43,46,49,50,51,54,57,58,60,61,63,64,67,68,69,70,71,74,76,77],[1,3,8,10,11,12,13,15,19,20,22,24,26,27,30,32,33,35,37,39,41,43,44,45,46,47,50,52,54,58,59,60,61,63,66,68,70,72,73,74,75,78,79],[0,5,7,9,10,11,12,14,15,16,18,19,20,23,25,26,27,28,29,30,31,33,35,36,37,39,40,41,42,43,49,50,52,53,54,55,56,57,59,62,64,65,67,68,69,70,71,72,73,74,75,77,79],[0,3,4,5,7,13,14,15,16,21,23,29,30,34,35,37,38,39,41,43,44,45,46,47,48,49,51,52,54,57,60,61,62,65,68,70,72,74,76,77],[1,2,3,6,7,10,13,15,16,17,19,20,21,26,28,29,31,32,34,36,37,38,40,41,42,43,44,51,53,54,55,56,57,58,60,63,65,66,69,70,71,72,73,75,76,78],[2,3,4,6,7,8,9,10,13,16,17,18,19,20,22,24,25,26,29,30,35,39,44,48,52,57,60,64,65,67,68,73,74,75],[1,2,4,6,7,9,11,12,15,16,17,18,25,27,29,32,33,37,41,43,45,46,47,48,50,54,57,58,59,61,63,64,65,66,67,70,72,78,79],[0,1,2,3,5,6,9,11,12,13,14,17,18,21,23,25,27,30,32,33,34,35,38,39,44,49,50,51,52,58,59,60,62,63,64,66,67,68,74,76,77,78,79],[0,1,2,4,7,8,9,14,16,20,21,23,24,25,28,32,35,39,42,44,46,47,48,52,55,56,63,65,68,71,73,76,77,78],[2,5,9,10,11,12,19,22,25,26,27,28,29,33,34,35,38,39,42,44,46,47,49,50,51,52,55,56,57,58,59,62,66,68,71,75,79],[0,2,3,4,6,7,8,10,12,13,14,18,19,22,24,26,28,29,35,37,39,41,44,45,46,48,52,54,56,57,59,60,62,63,64,65,66,68,70,73,76,77],[0,3,4,10,11,13,14,16,17,18,19,21,26,27,30,31,33,34,36,37,38,40,41,42,44,47,48,50,51,53,54,55,60,61,62,63,64,66,69,70,71,73,74,77,79],[5,7,10,11,15,17,18,19,23,26,27,29,31,33,35,36,39,40,42,43,45,46,49,50,52,53,55,57,63,64,65,66,68,69,71,72,73,76,79],[2,3,4,7,10,11,13,15,17,19,20,21,22,23,26,27,33,42,43,46,48,50,55,58,60,61,62,63,65,67,71,72,79],[0,2,3,4,5,9,12,13,14,16,17,18,21,22,25,28,29,30,31,35,36,37,39,40,41,46,48,49,52,53,54,56,57,58,59,60,61,63,64,68,69,70,73,74,75,77],[5,7,8,9,11,12,14,15,16,18,23,26,28,30,31,33,35,37,38,39,41,43,44,46,48,50,51,52,53,57,60,64,65,66,67,68,69,72,73,74,76,78,79],[1,3,4,8,10,11,13,14,15,16,19,20,22,23,24,25,26,27,29,30,31,33,34,35,36,37,39,41,42,43,44,46,47,48,49,55,56,58,59,61,62,63,65,68,69,71,73,74,75,76,77,78,79],[0,1,3,4,7,9,10,11,17,19,20,25,26,32,33,35,37,40,41,43,45,46,48,50,51,52,53,54,55,56,59,63,66,67,68,70,71,74,76,78],[2,3,5,6,7,9,11,14,16,17,20,21,23,24,25,27,30,32,34,35,36,37,38,40,42,43,45,47,48,49,50,57,59,60,62,63,64,66,69,70,72,75,76,77,78,79],[0,2,3,6,7,9,12,13,14,16,18,20,21,22,23,25,26,28,29,30,33,41,46,50,54,58,59,61,63,66,68,69,74,79],[0,2,3,5,6,8,11,13,15,20,21,22,25,29,31,35,37,38,39,43,44,48,51,52,53,54,57,58,59,60,61,63,64,65,67,72,73,76,78],[1,2,4,5,6,7,8,9,10,13,15,17,19,21,22,26,29,31,32,33,38,39,40,41,44,45,46,50,55,56,57,58,60,61,64,65,66,68,70,71,72,73,74],[0,3,4,5,6,10,12,13,16,17,19,20,24,28,29,33,36,38,41,46,49,50,52,53,54,57,59,62,70,71,72,74,77,79],[1,6,8,13,14,15,18,23,24,25,29,30,31,32,33,36,39,40,41,44,45,46,49,50,52,53,55,56,60,62,63,64,65,69,73,74,77],[0,2,3,4,6,7,8,9,10,12,14,18,22,23,24,25,28,30,33,35,41,43,46,48,50,51,52,54,56,57,58,59,60,62,63,65,66,70,71,74,76,79],[0,4,7,9,10,14,15,17,20,21,22,23,26,27,30,31,32,34,35,36,39,40,42,43,44,45,47,48,49,50,53,54,56,57,58,60,66,67,68,71,73,75,76,77,79],[1,3,11,14,15,19,21,22,23,25,27,30,31,33,34,36,37,39,41,42,44,46,47,49,51,52,55,57,58,59,60,63,70,73,74,75,77,78,79],[0,3,6,7,9,11,14,15,16,17,18,19,21,23,30,31,36,37,39,44,49,52,54,56,57,59,61,64,66,67,73,77,78],[0,1,4,6,7,8,9,10,13,17,18,20,21,22,24,25,26,27,29,33,34,35,41,42,43,46,47,48,52,54,55,57,58,62,63,64,65,66,67,68,69,71,74,75,76,79],[5,6,8,9,13,14,16,18,20,21,23,24,25,26,28,30,31,32,33,35,36,37,40,43,44,46,47,48,49,53,54,56,59,62,64,68,69,73,77,79],[0,3,4,5,8,9,16,17,22,26,27,28,30,31,32,33,35,36,39,41,42,44,45,46,47,50,54,58,60,61,64,65,66,69,71,75,78,79],[0,2,3,5,6,7,8,11,15,16,20,21,24,25,26,27,29,30,32,34,35,37,38,39,42,44,46,48,49,50,55,56,57,58,61,62,63,64,66,70,71,74,75,79],[1,2,5,6,7,8,9,11,14,16,17,18,19,22,23,29,30,31,32,33,34,36,37,40,42,43,44,45,46,47,48,50,51,55,56,59,61,65,66,67,70,72,74,76,79],[1,4,6,9,13,15,19,26,31,33,35,36,37,38,41,42,47,48,50,51,53,56,57,60,61,63,64,66,67,68,72,73,76,77,78],[1,4,5,8,14,15,16,18,19,20,21,23,24,25,28,30,32,38,40,41,42,43,44,46,49,50,51,54,57,59,60,61,62,63,66,67,69,72,76,78,79],[0,1,2,3,4,6,7,11,14,18,19,23,26,27,28,29,34,35,37,39,40,41,43,48,51,54,55,56,58,59,60,64,67,69,70,71,72,74,75,76,78],[0,1,2,3,4,5,6,8,9,12,17,20,21,23,25,28,30,32,33,34,35,37,40,42,45,47,48,50,52,54,59,61,63,69,71,72,73,75,76,77,78,79],[1,4,5,6,7,8,11,12,13,14,15,17,18,20,21,25,27,29,30,31,32,35,36,37,38,39,43,45,48,52,53,55,57,58,66,68,70,72,74,76,78,79],[1,3,5,10,11,12,14,16,19,20,22,23,24,25,26,27,29,36,38,39,40,41,42,43,44,47,48,49,52,55,57,58,59,60,61,64,65,67,70,72,73,74,76,77,79],[2,3,5,7,10,12,13,14,16,17,21,23,27,28,34,35,36,38,39,40,41,43,44,45,47,48,50,51,52,53,54,57,58,59,60,62,66,68,69,79],[0,6,8,10,11,12,13,14,15,17,20,23,24,25,26,28,29,30,32,36,37,40,41,42,43,45,46,47,49,51,52,53,54,55,56,59,60,61,63,64,68,69,70,71,74,75],[0,1,2,5,6,9,10,11,15,17,18,20,22,23,25,26,27,29,33,34,35,36,37,39,40,42,45,46,51,55,58,59,61,62,64,65,66,70,71,72,74,75,76,79],[1,2,3,4,6,8,10,11,15,16,18,20,23,25,28,29,30,31,32,34,37,40,41,44,47,50,51,54,55,59,60,62,69,70,72,74,76,78],[1,2,9,10,12,13,16,17,19,20,22,24,26,27,28,29,30,34,37,38,39,41,42,43,47,48,50,52,53,54,55,56,58,62,65,71,73,74,75,79],[0,1,4,7,12,13,18,20,21,24,26,27,30,31,33,35,36,38,39,41,42,44,48,50,51,52,53,58,59,60,64,66,67,69,72,73,75,77],[1,2,3,4,6,7,11,12,15,16,17,20,25,26,28,29,30,31,32,33,36,38,40,41,43,44,49,50,52,54,55,56,57,58,60,62,63,64,67,68,69,73,76,77],[1,2,3,5,6,10,12,13,15,18,19,20,21,22,23,25,26,27,34,36,37,38,39,40,42,43,44,45,49,50,51,52,53,54,59,60,61,62,65,67,68,70,73,76,78],[0,2,5,9,11,13,23,27,30,32,35,36,39,41,42,43,44,45,47,53,54,57,58,60,61,62,63,66,67,70,71,72,74,78,79],[0,1,5,10,11,12,16,17,19,20,22,23,24,26,28,29,32,34,35,36,37,38,44,45,48,50,52,55,56,57,60,61,63,65,66,67,70,72,73,75,78],[0,2,3,4,5,6,7,10,15,19,22,23,24,25,30,31,33,34,35,37,40,41,43,45,48,49,54,58,61,62,64,65,66,68,69,70,72,75,76,77,78],[0,1,2,4,5,6,7,8,12,13,16,17,19,21,24,26,29,34,36,38,39,40,41,43,44,46,48,51,53,54,57,65,67,69,70,71,72,73,75,77,78,79],[0,1,2,3,5,8,9,10,11,12,15,16,17,21,22,25,26,27,29,31,32,33,37,38,41,42,43,46,47,49,51,54,60,63,64,68,70,72,73,74,76,78],[1,5,7,8,10,14,15,16,18,19,20,23,25,28,29,30,31,32,33,34,35,36,37,42,46,49,50,53,54,55,58,59,61,63,64,65,66,67,68,70,71,73,76,78,79],[1,3,6,7,8,9,10,14,17,19,20,21,24,31,32,33,34,35,37,40,41,42,44,45,46,47,48,50,51,53,54,56,60,63,64,65,66,73,74,75],[2,4,8,9,10,11,12,14,15,16,19,21,24,25,26,28,29,30,34,35,36,37,38,42,43,45,46,47,48,49,51,52,53,55,57,58,62,65,66,67,68,69,74,75,76,77],[1,2,4,5,6,11,13,14,15,16,18,19,21,22,25,29,30,31,33,34,36,39,40,41,42,43,45,49,51,52,56,58,59,60,64,65,67,68,69,70,73,76,77,78],[0,2,5,6,7,11,12,14,15,16,19,20,22,24,25,26,27,29,34,35,38,40,43,44,45,48,49,50,53,56,65,66,68,70,72,75,76,78],[2,3,4,5,8,9,11,14,15,16,18,19,20,22,23,25,26,27,28,32,33,34,41,43,45,46,48,50,51,52,54,55,58,61,62,65,67,69,73,75,78,79],[0,1,3,4,5,10,12,16,18,19,20,21,22,24,25,26,30,31,36,39,42,43,44,46,48,49,50,51,54,55,57,59,60,63,64,66,67,69,70,71,74,75,76,77,79],[1,3,4,7,8,9,12,17,18,20,22,23,25,28,29,30,32,33,34,35,36,38,39,43,44,47,48,50,52,53,54,56,57,60,64,67,68,69,71,75,77],[1,2,4,5,7,10,11,13,15,17,18,19,21,24,25,30,37,38,40,43,45,47,49,51,52,55,58,60,61,62,64,65,67,70,71,72,75,76,77,78],[0,1,3,5,13,14,19,20,22,27,29,30,31,35,37,40,41,42,48,50,51,52,53,54,55,56,59,60,63,64,66,68,69,71,72,73,74,77],[0,1,2,4,8,9,11,13,15,16,18,23,25,26,28,29,30,31,32,33,34,35,37,40,42,43,45,46,53,56,58,59,60,61,62,63,64,65,66,67,68,71,72,74,75,77,78,79],[0,2,3,7,11,12,13,15,16,17,20,22,26,31,36,37,38,39,40,42,44,45,46,47,48,50,52,54,57,58,59,61,62,63,65,66,69,72,74,78,79],[0,1,2,3,4,5,8,9,11,13,14,16,18,22,23,24,27,28,29,33,34,35,37,39,40,41,42,43,44,45,48,50,52,58,60,62,64,67,68,73,74,75,76],[0,3,4,7,8,9,12,13,15,17,18,19,22,23,24,26,28,30,33,34,36,37,38,40,42,43,46,47,48,50,51,52,53,55,56,57,61,65,67,71,74,75,76,77,78,79],[0,2,6,7,8,10,11,15,17,20,21,22,23,26,29,31,32,33,35,38,40,41,43,44,48,51,56,57,58,59,60,61,62,63,64,65,69,70,72,75,76,77,79],[0,1,2,3,6,9,11,13,14,15,16,24,27,28,29,30,31,34,35,37,43,44,46,47,49,50,51,54,56,57,58,59,61,62,63,65,71,73,75],[0,2,4,6,7,8,11,12,13,14,15,16,17,18,20,22,23,24,25,27,31,32,33,36,37,38,39,46,48,49,51,52,53,58,59,60,61,62,63,64,65,67,68,69,73,77],[0,2,3,5,6,7,8,10,11,14,17,20,21,23,24,25,27,29,30,33,35,38,39,40,43,46,50,51,52,53,57,58,60,62,64,66,69,70,71,73,75,78],[1,2,4,6,7,8,11,12,14,16,17,18,19,22,23,26,27,29,31,33,35,36,38,40,42,44,48,49,52,53,54,55,58,59,62,63,67,73,74,76,77,78,79],[0,1,6,7,10,11,12,13,15,16,18,19,20,22,23,24,29,30,31,35,37,38,39,40,44,45,46,48,49,51,52,54,56,59,61,64,67,69,72,73,75,79],[0,1,4,5,7,8,14,16,17,18,20,22,23,26,27,28,29,30,33,36,37,42,44,45,48,49,50,52,54,55,57,58,60,61,63,65,66,68,69,70,71,73,75,76,77],[0,3,5,7,8,12,13,16,18,19,21,22,24,25,26,29,32,33,37,38,39,40,41,42,44,46,47,48,50,53,54,58,61,62,63,66,69,71,74,75,77],[0,1,3,5,6,9,11,14,15,17,21,22,23,26,28,29,32,34,37,43,45,46,49,51,53,55,56,58,59,61,64,66,67,69,70,71,72,76,77,78],[1,4,5,7,9,10,16,18,23,25,26,27,31,34,35,36,41,43,44,45,46,47,48,49,54,57,58,60,62,65,66,68,71,74,75,77,78,79],[0,4,5,6,9,11,12,13,15,19,20,22,24,25,26,27,29,30,34,36,37,38,39,40,41,43,47,51,52,56,57,58,59,60,61,62,64,65,66,67,68,69,71,72,73,74,77,78],[3,4,6,7,8,9,11,15,16,18,20,21,27,30,32,33,34,36,42,43,44,46,48,50,51,52,53,54,56,57,59,60,63,64,65,67,68,72,73,75,78],[0,1,4,5,6,7,9,10,12,13,15,18,19,20,22,24,25,28,31,33,34,35,36,37,39,40,41,43,44,46,50,51,54,56,58,61,64,66,68,69,70,74,79],[0,3,4,7,8,9,11,12,13,18,19,21,22,23,24,26,28,30,32,34,36,37,39,40,42,43,44,45,46,47,49,52,53,54,59,61,62,63,67,68,69,70,71,72,73,77],[2,3,4,6,11,12,14,15,16,17,18,19,21,25,27,30,32,34,35,37,38,39,41,45,50,54,56,57,58,59,62,63,64,65,66,67,69,70,71,73,75,76,78],[2,4,5,6,7,9,10,11,13,15,20,24,25,26,27,28,31,37,40,41,43,44,45,48,50,52,53,55,56,57,59,62,63,64,65,67,69,77,79],[0,2,3,4,6,8,9,10,11,12,15,16,18,19,20,21,22,27,28,29,31,32,33,38,39,42,43,45,46,47,52,54,55,56,57,58,59,61,64,65,66,67,71,74,75,79],[1,2,3,4,6,7,10,12,14,15,16,17,19,21,25,26,28,29,31,32,33,34,37,39,41,44,45,46,47,52,56,58,60,63,64,66,69,72,75,76,77,79],[0,2,3,5,6,8,10,12,15,18,19,20,21,22,23,25,27,30,31,32,34,36,39,41,42,46,47,48,49,50,54,55,56,57,61,64,65,68,70,71,72,73,79],[0,3,5,6,8,12,19,22,23,24,26,27,28,29,30,33,34,35,36,37,38,47,48,50,51,52,54,56,57,58,67,68,71,78],[0,1,3,8,10,12,13,14,15,18,20,25,26,27,28,30,32,33,34,40,44,48,50,54,55,60,63,70,72,73,74,79],[0,2,3,7,9,11,12,18,19,20,29,33,35,36,37,38,39,40,44,49,51,52,53,54,56,57,58,59,60,62,63,68,69,70,73,74],[0,1,6,9,13,14,15,16,18,19,21,23,26,29,30,32,33,34,35,41,44,45,49,51,55,61,64,68,71,73,75],[2,3,5,7,10,11,12,16,18,19,21,22,24,25,26,29,30,34,35,39,41,44,45,47,51,53,54,59,61,62,64,67,68,69,72,73,75,78,79],[0,2,6,7,8,10,11,16,18,21,23,25,27,28,33,36,37,38,39,41,44,45,48,50,52,53,56,57,58,59,61,62,64,69,71,72,73,75,79],[3,6,8,9,10,12,16,19,20,21,23,25,27,28,29,35,40,41,45,48,49,50,51,54,60,61,63,64,68,70,71,72,74,75,79],[0,1,3,4,10,11,12,14,17,18,19,21,22,24,25,28,30,31,32,34,35,37,38,39,41,42,44,46,48,53,57,58,59,61,62,64,65,71,73,75,76,79],[0,1,2,3,4,5,6,7,8,9,10,12,14,17,19,20,21,23,25,26,27,31,32,35,37,38,40,41,42,46,47,49,50,57,58,60,61,63,64,65,67,69,70,74,75,76,78,79],[0,1,3,4,6,12,14,15,17,18,23,24,26,28,30,34,35,36,37,39,43,46,49,50,51,54,55,56,57,59,62,66,67,69,70,71,72,73,77,78,79],[0,4,5,6,8,9,13,16,17,21,22,23,26,27,30,32,34,35,38,39,41,43,44,45,46,47,48,51,52,58,59,61,62,64,66,69,70,71,72,75,77,79],[2,3,4,5,6,7,8,11,12,13,16,17,18,19,20,21,22,23,26,27,29,30,32,33,34,36,37,40,41,43,45,46,47,48,49,53,54,56,57,60,61,63,64,66,68,71,72,73,74,75,77,79],[0,2,7,8,15,16,18,19,22,26,27,28,31,32,33,37,39,42,43,45,49,51,52,54,55,57,59,62,65,66,67,70,71,73,76,77,78,79],[1,2,3,7,10,12,13,14,16,19,20,22,25,30,31,34,37,39,40,42,43,44,45,48,49,50,51,52,57,59,60,62,63,65,66,67,71,72,74,76,77,78],[1,2,4,7,8,12,18,19,23,24,25,26,28,30,31,32,39,40,41,42,43,44,45,46,48,53,54,61,62,63,64,72,74,77],[4,5,7,8,9,10,11,12,14,16,22,24,26,29,30,31,34,38,39,40,44,48,49,50,54,57,66,68,73,76,78,79],[3,4,6,7,8,13,15,16,22,23,25,32,33,34,39,41,42,43,45,46,47,48,50,55,56,57,62,63,64,65,66,68,74,75,76,79],[2,4,5,9,10,11,13,17,19,20,22,23,25,26,30,35,38,39,40,41,45,49,50,51,55,58,67,69,74,77,79],[1,3,6,7,8,14,15,17,18,20,22,23,25,26,28,29,30,33,35,40,41,45,47,48,50,51,53,56,58,61,65,67,69,72,73,74,75,78,79],[2,3,4,6,12,14,15,17,19,20,22,24,29,31,32,33,35,39,42,43,44,46,47,50,51,54,56,58,62,63,64,65,67,69,73,75,77,78,79],[2,7,8,12,13,14,16,17,19,20,23,24,25,29,31,34,35,41,44,45,48,51,54,55,57,58,66,67,68,69,73,74,76,77,78],[0,4,5,7,8,10,14,15,17,18,21,22,23,24,26,27,28,29,32,33,35,36,38,40,41,43,47,50,52,54,56,58,59,63,64,65,67,69,70,73,77,79],[0,1,2,3,4,5,6,7,8,10,12,13,14,16,17,19,21,23,27,29,30,31,32,34,35,36,38,41,43,44,52,53,55,57,58,59,61,63,64,66,67,68,69,70,72,73,75,76],[0,2,4,5,7,8,10,11,19,21,22,24,26,28,30,33,37,40,41,42,43,44,45,48,49,52,55,56,60,61,62,63,65,71,72,73,75,76,77,78,79],[0,1,2,4,9,12,13,17,18,19,20,21,26,30,31,32,33,35,37,38,40,41,45,46,50,51,52,53,54,56,58,60,64,65,67,69,71,73,75,76,77,78],[0,1,2,3,6,7,8,9,12,15,16,17,18,19,20,21,22,23,25,26,30,31,34,35,37,38,39,40,42,43,47,48,51,52,53,54,55,57,58,60,62,63,66,67,68,69,71,73,74,77,78,79],[3,4,6,11,12,18,20,22,23,24,27,30,31,33,36,37,38,39,43,45,46,48,49,51,55,56,59,60,61,63,65,70,71,72,73,76,77,79],[3,5,6,7,8,9,10,14,16,18,20,23,26,27,29,33,34,36,37,40,43,44,45,46,50,51,54,55,56,57,59,60,61,63,65,66,68,70,71,72,77,78],[1,5,7,8,9,14,16,19,20,26,28,29,32,33,36,38,40,41,44,45,46,48,52,53,54,58,59,63,64,65,67,70,71,74,78],[0,2,4,5,7,9,11,13,14,16,22,23,24,26,29,31,32,35,37,40,41,43,44,48,49,50,53,59,61,63,64,67,71,73,74,76,79],[0,2,5,10,12,13,15,17,18,20,21,22,24,26,27,30,33,34,35,38,39,40,42,43,45,46,47,48,50,54,55,60,61,62,63,65,66,67,72,73,75,76],[0,1,5,8,10,11,12,14,15,16,17,18,19,22,24,25,26,28,30,31,33,36,38,41,42,45,49,50,51,54,56,60,62,64,65,68,72,75,77],[0,4,14,16,21,22,23,24,25,27,33,34,37,38,39,40,41,45,47,48,50,51,52,54,55,56,58,63,64,65,66,67,68,70,77,78,79],[0,1,4,5,7,8,9,19,20,21,22,23,24,25,26,27,28,29,32,34,36,37,39,44,46,47,50,51,53,55,56,59,66,68,71,74,77,79],[1,2,4,7,8,9,10,12,13,15,17,18,19,23,25,28,29,30,32,33,35,36,37,38,40,42,43,44,45,48,51,53,54,56,59,60,61,62,63,65,67,68,71,72,73,74,75,76,77,79],[0,3,5,6,7,10,11,13,14,15,17,20,21,27,30,31,32,36,38,42,43,47,52,53,57,59,61,62,63,65,69,71,73,74,76,77,78,79],[1,2,3,5,6,8,9,11,12,16,18,19,20,22,24,28,29,31,34,35,38,39,41,44,50,55,57,58,60,63,64,65,66,69,70,72,75,77,79],[0,1,3,9,10,12,15,17,18,21,23,25,26,27,29,30,32,34,35,36,37,42,43,44,45,48,49,51,53,55,57,60,64,69,72,75,77,78],[1,3,7,11,20,21,22,23,24,26,27,31,34,35,36,37,40,43,45,46,50,52,55,56,57,58,59,62,63,64,67,68,69,70,71,74],[0,1,2,3,5,7,10,11,12,13,15,17,18,23,30,31,33,36,37,38,39,42,47,48,52,54,56,57,58,59,60,61,64,65,66,68,69,70,71,72,73,74,75,76],[0,4,6,8,11,12,13,14,18,19,21,22,24,27,28,31,32,35,36,38,39,45,46,48,49,50,52,53,56,60,61,62,63,64,65,66,68,72,73,75,76,77],[2,5,6,7,8,9,12,16,18,19,21,23,26,27,28,29,36,37,38,39,40,41,43,44,45,46,52,56,59,60,62,65,66,67,68,71,72,74,75,77,79],[1,3,5,10,12,13,16,20,23,24,25,30,32,34,35,38,39,42,46,47,48,50,51,52,54,57,58,59,61,64,65,68,72,76,77],[0,1,3,4,6,9,10,13,15,18,19,20,25,27,28,30,34,35,37,38,41,43,44,47,50,54,55,57,58,61,65,67,68,70,73,77,79],[1,4,6,8,9,11,14,16,17,18,21,22,26,28,30,31,32,33,34,36,37,39,40,41,44,48,49,51,52,53,54,56,57,59,60,61,66,67,69,70,78,79],[1,4,5,8,10,11,12,14,15,18,20,21,22,23,24,26,27,28,29,30,32,35,36,39,42,44,45,48,51,55,56,58,59,62,66,69,71,74,78],[0,4,10,17,18,19,20,28,29,31,32,33,34,35,39,40,43,44,45,46,48,49,51,53,54,57,58,59,60,61,62,64,71,72,73,74,76],[0,1,3,4,5,12,13,16,17,18,19,23,24,25,28,29,30,31,33,38,40,42,43,44,45,47,49,50,52,53,60,62,65,68,71,73,74,77],[0,3,5,6,8,9,11,12,13,14,19,21,22,23,24,25,26,29,32,34,36,37,38,39,41,42,43,45,47,48,50,51,54,56,57,59,61,62,65,66,67,68,69,70,71,73,74,77,78,79],[1,2,3,4,7,9,10,11,14,15,16,17,21,26,27,31,32,36,37,38,42,46,47,53,56,57,59,63,65,67,68,70,71,72,73,75,77,79],[1,2,5,6,7,8,12,13,15,16,18,20,22,23,24,25,27,28,32,33,35,40,41,44,49,50,57,58,59,60,63,64,66,69,71,73,75,76,78],[4,5,7,8,11,13,14,17,19,21,22,25,26,29,30,31,36,37,38,40,41,42,43,45,47,49,50,51,54,55,58,63,66,69,71,72,75,78],[3,5,7,15,16,17,18,19,27,28,30,31,34,37,40,41,42,43,44,46,49,51,52,56,57,58,61,62,63,64,65,68,74,75,76,77],[1,3,4,5,6,7,8,9,11,14,15,19,21,22,26,27,32,33,36,39,42,43,46,48,53,54,58,59,60,62,63,64,65,66,67,68,69,70,74,75,76,77,78,79],[0,2,4,8,9,10,12,15,17,18,22,23,24,27,28,31,32,33,38,41,42,44,46,47,51,52,54,55,56,57,58,59,60,62,66,67,69,70,71,74,78,79],[1,2,3,6,8,12,13,17,19,20,22,23,24,25,30,31,32,33,34,35,37,42,43,46,50,51,52,56,59,60,61,62,65,66,68,69,71,73,74,77,78],[2,3,4,6,7,8,10,11,13,15,17,19,20,21,25,29,30,31,36,39,45,47,49,50,51,53,61,66,67,68,69,70,74,78],[1,4,5,6,10,12,13,15,19,24,25,26,27,28,29,30,32,37,40,41,45,46,47,48,49,53,54,55,57,62,63,67,72,74,76,79],[0,1,2,4,6,7,8,9,11,13,18,20,21,22,23,25,26,27,29,32,41,44,45,47,49,50,51,52,53,55,56,57,63,68,69,70,71,72,75,76],[5,11,13,19,20,24,25,26,27,28,29,33,41,42,44,46,47,48,49,50,54,55,58,63,64,73,75,77],[0,3,4,6,9,11,12,17,18,19,20,22,23,26,27,31,33,36,37,39,40,41,42,45,50,52,53,55,56,58,61,62,63,64,66,71,73,77,78,79],[0,2,7,8,9,10,12,13,15,18,21,22,23,25,26,27,29,30,33,37,40,41,42,47,49,51,52,55,56,58,62,63,64,67,68,69,70,71,73,74,77,79],[1,4,6,10,11,12,15,20,30,32,33,37,40,42,44,45,50,53,57,58,62,64,67,72,73,74,75,76,77,79],[6,7,9,11,13,14,15,19,20,22,28,31,33,34,37,40,41,43,45,48,52,56,58,59,62,63,65,67,69,70,71,73,74,76,77,78,79],[0,1,3,6,7,10,11,13,14,17,18,20,23,26,27,28,30,32,33,34,36,37,39,40,43,44,45,48,55,57,58,59,61,62,65,66,69,70,72,73,75,77,79],[0,1,2,3,4,5,6,7,11,16,17,18,20,21,23,25,26,30,35,36,37,38,39,40,43,45,47,50,53,54,56,60,61,62,65,68,69,71,75,77,78],[0,1,8,10,11,15,16,18,20,23,24,25,27,28,31,33,35,37,38,40,41,42,43,44,46,47,48,50,51,55,56,58,60,62,63,64,65,66,67,70,71,73,74],[2,4,6,7,9,10,13,15,16,21,22,24,26,28,29,31,32,33,35,37,38,40,42,43,45,46,48,49,52,53,57,58,60,62,64,65,66,67,68,69,72,73,74,75,76],[1,3,4,5,7,8,10,12,14,16,17,19,27,28,29,31,34,35,36,37,38,39,40,42,48,49,50,51,53,54,55,56,59,60,61,62,64,69,71,75,76,77],[3,6,7,8,13,14,15,16,17,24,25,26,30,31,32,34,35,36,38,39,41,42,45,46,47,50,51,56,57,59,60,61,63,64,67,69,71,72,74,75,77,79],[0,2,3,6,7,9,11,12,14,15,16,17,21,23,25,26,27,29,33,42,44,45,47,51,53,55,60,61,67,68,72,74,75,76],[0,1,2,5,8,9,11,14,23,24,25,26,28,29,30,31,34,35,38,43,47,48,49,51,52,53,54,55,56,57,61,63,68,70,73,78],[0,2,3,4,5,6,9,12,13,15,16,17,18,19,22,25,29,30,31,35,38,44,45,46,47,49,50,51,53,55,57,62,63,69,70,74,75,76,77,78],[1,9,15,16,23,24,25,28,29,30,31,35,36,39,44,48,49,50,52,53,54,55,57,58,64,69,71,79],[0,2,4,7,8,13,15,16,18,19,21,22,23,27,30,31,33,34,35,36,39,42,43,44,46,47,49,51,56,57,58,60,62,64,67,71,72,73,77,79],[3,4,6,8,9,11,12,13,14,17,18,19,22,25,26,29,30,31,34,35,36,39,43,45,46,49,53,55,56,57,58,61,62,64,68,71,73,74,75,76,77,79],[0,2,5,8,11,14,15,16,26,34,36,38,39,43,44,47,50,51,56,58,61,63,64,68,69,70,71,73,78,79],[2,3,9,10,11,13,15,16,18,23,24,27,34,35,37,39,40,43,46,51,54,56,57,59,61,62,64,65,68,70,71,72,73,75,76,77,79],[2,3,4,5,7,9,10,14,15,16,19,21,22,24,26,30,31,33,34,37,38,39,40,42,43,49,50,51,54,56,59,60,63,64,65,67,69,71,73,75,76,78,79],[0,1,2,3,4,5,6,7,15,16,17,19,20,21,22,26,29,30,32,33,34,37,41,42,43,44,47,48,51,53,56,59,62,66,67,69,71,72,74,75,77],[4,5,11,12,14,15,16,19,20,22,24,27,28,29,31,32,34,35,36,37,39,41,43,44,45,49,50,52,53,54,56,57,58,59,60,61,62,64,66,68,76,77,79],[0,2,3,6,9,11,13,14,17,18,20,24,25,27,28,30,32,34,36,37,38,39,41,43,46,47,51,52,54,55,56,58,59,60,61,63,64,66,68,69,70,74,75,78,79],[0,1,3,5,7,8,10,12,14,20,21,23,24,25,27,31,32,33,34,36,40,41,42,43,44,45,47,48,49,54,55,56,58,62,65,66,67,69,70,71,75,77],[2,3,7,9,10,11,12,20,21,26,27,28,29,30,32,33,35,36,38,40,41,42,44,45,51,52,53,57,58,61,62,63,65,66,67,68,69,71,73,75,77,78],[1,2,3,7,8,9,19,20,21,23,27,32,33,34,38,39,42,45,47,50,53,54,55,56,57,59,63,65,66,68,69,70,71,77],[0,1,2,6,9,11,12,15,18,21,22,23,26,29,31,36,38,41,43,46,47,48,49,50,51,52,54,59,60,61,62,64,65,66,73,78,79],[1,6,7,10,12,14,15,18,19,23,26,27,28,29,31,32,33,34,35,36,39,40,41,47,49,50,52,55,56,57,58,59,61,62,65,67,68,69,70,71,72,73,79],[0,1,4,6,7,8,10,11,13,14,16,18,19,24,26,27,30,31,37,39,42,44,47,48,49,50,51,52,53,55,56,60,61,62,63,65,66,67,68,74,79],[3,4,6,7,13,16,18,19,20,22,23,24,26,27,28,30,31,35,37,39,40,43,44,45,46,49,52,55,56,58,59,61,62,64,66,68,72,74,77,78,79],[1,2,4,6,8,9,13,16,18,21,22,24,26,28,30,31,32,33,34,35,37,38,40,42,43,44,46,47,49,50,52,53,54,57,58,61,62,63,64,65,69,70,71,72,74,78,79],[2,4,7,8,9,10,12,13,14,15,16,19,21,22,23,24,27,29,30,36,37,38,39,41,42,43,44,46,53,54,55,56,59,63,64,67,68,73,74,78],[0,3,5,6,7,10,11,12,13,14,15,17,18,19,21,25,26,27,28,31,33,34,35,37,38,42,44,45,46,47,48,50,51,58,62,65,66,67,68,70,71,72,74,75,78,79],[0,2,5,7,8,9,11,13,17,19,20,25,27,29,33,34,36,37,40,41,44,46,47,48,49,50,51,52,53,54,61,63,65,68,70,71,73,74,75,77,78],[2,5,6,9,10,13,15,17,18,25,26,28,30,31,32,33,35,38,40,41,42,43,44,45,47,48,49,50,51,52,54,55,56,59,60,62,63,68,69,70,72,76,77,78],[0,3,4,5,11,14,15,16,17,20,21,23,24,25,28,34,35,37,40,41,42,43,47,50,55,56,57,61,63,67,68,71,72,74,76,78,79],[0,1,3,4,5,6,7,10,11,12,16,17,18,19,20,21,24,25,26,27,29,31,32,33,36,37,39,42,43,49,52,58,59,62,63,65,69,70,73,74,76,78],[0,1,3,4,6,7,8,11,12,13,14,16,18,19,22,24,26,27,28,31,33,35,38,41,42,44,47,50,53,55,56,57,59,60,61,62,64,66,67,70,72,75,76,77,78],[2,3,4,7,8,9,13,14,15,16,19,21,23,24,27,28,29,33,35,36,42,43,44,46,48,49,51,52,53,54,55,56,57,65,67,70,72,73,75,76,77,79],[3,5,6,7,12,13,16,17,19,23,31,32,33,36,38,39,40,44,47,48,49,51,53,57,59,60,62,63,65,71,74,75,76,77],[2,4,5,6,8,11,13,15,17,18,19,22,25,27,30,32,35,37,42,44,45,46,48,52,53,54,55,56,58,59,60,65,66,67,72,73,79],[2,3,5,8,10,11,14,19,22,23,24,25,27,30,31,33,34,35,38,39,40,41,42,44,46,49,53,55,56,59,61,62,63,64,65,67,73,74,75,76,77,78,79],[0,2,3,4,5,9,10,12,14,15,20,22,23,26,27,28,30,31,33,36,43,44,45,46,47,49,50,53,54,55,56,57,59,60,61,62,66,67,68,73,74],[0,2,3,7,9,16,18,19,20,22,23,24,26,27,28,30,31,33,34,37,41,43,46,49,50,51,52,55,56,58,60,62,64,65,67,68,71,72,73,74,78],[0,2,5,6,9,12,13,17,18,20,22,24,26,27,28,30,32,34,36,37,38,39,40,41,43,44,46,47,48,50,52,53,55,56,57,58,59,63,64,67,68,72,73,75,76,77,78],[0,3,6,8,9,10,11,12,13,14,17,18,19,20,23,25,26,28,31,32,33,35,36,37,42,43,47,48,49,50,52,57,58,61,62,65,68,72,74,79],[1,2,3,4,7,8,9,10,11,14,15,17,21,22,23,24,27,29,30,31,32,36,39,40,41,43,44,45,50,51,52,53,54,56,59,60,61,64,68,69,72,73,74,76,77,78],[1,3,4,6,9,12,13,15,16,21,23,25,29,31,34,35,39,40,42,43,44,45,46,47,48,50,52,53,54,55,57,59,67,68,69,71,72,74,76,77,79],[1,2,6,9,11,13,14,21,22,24,26,27,29,30,32,34,35,36,37,38,39,41,44,45,46,48,49,50,51,53,54,55,56,57,62,65,66,70,71,72,74,75,76,78],[0,1,4,7,10,11,15,16,17,19,20,21,24,28,29,34,35,36,37,40,41,43,44,49,53,57,61,62,63,67,68,70,72,73,74,77,78],[0,1,2,3,4,5,7,8,14,15,16,17,20,21,22,23,25,27,28,29,30,31,33,36,37,38,39,42,43,46,55,56,57,59,64,65,68,70,72,75,76,79],[0,2,3,4,5,7,8,9,10,12,15,18,20,22,23,24,27,28,30,31,32,35,36,39,41,44,47,49,50,53,56,58,60,61,62,63,65,66,67,69,70,71,72,76,78],[0,3,6,7,9,10,11,12,13,17,19,20,23,24,25,28,31,36,37,39,41,42,45,46,47,48,49,50,52,54,55,59,61,62,63,69,70,71,73,76,78,79],[0,1,2,5,10,14,18,20,21,22,25,27,28,30,32,33,35,36,37,40,41,44,45,46,52,53,54,55,58,59,60,61,62,63,64,66,67,68,69,74,75,76],[1,2,5,6,10,11,12,13,14,15,18,19,20,22,24,25,27,29,31,32,33,35,36,41,43,48,50,51,53,56,57,59,62,63,66,67,71,78],[2,4,5,13,14,21,25,30,31,32,34,35,37,42,43,44,45,46,47,48,51,54,55,57,60,61,62,64,65,66,68,69,70,71,74,75,76,77,78],[2,3,4,7,8,12,13,15,16,21,22,25,28,31,32,33,34,36,37,38,42,49,50,51,52,54,56,57,58,60,63,64,67,72,79],[0,3,5,6,7,8,11,13,14,16,19,21,22,24,29,31,33,35,36,37,38,40,47,49,51,54,57,60,62,63,64,65,66,67,70,72,77,79],[1,2,3,6,7,8,10,11,13,16,18,19,20,24,25,27,28,29,30,31,32,38,41,44,45,46,47,49,51,52,53,55,57,58,59,61,65,68,69,70,72,74,75,76,77,79],[1,3,4,5,6,7,8,10,11,14,16,18,19,20,21,24,27,28,29,34,35,37,38,41,42,43,48,49,52,53,54,58,59,60,62,64,66,71,72,78,79],[0,1,3,4,5,6,7,8,9,10,12,16,17,18,20,22,23,25,26,27,28,30,31,32,33,34,35,37,39,41,43,45,46,47,49,50,56,62,64,68,69,70,72,73,75,76,77,79],[3,5,6,7,8,9,12,13,16,17,23,25,26,30,32,35,36,37,39,40,42,45,46,48,49,50,51,52,53,56,57,58,59,62,63,64,65,67,68,69,71,72,73,75,76,78,79],[1,6,7,10,12,13,18,20,22,28,29,36,39,42,44,45,47,50,51,53,54,56,57,59,60,63,68,70,74,75,77],[0,3,4,5,6,8,14,15,16,22,27,28,29,30,31,34,35,36,38,39,40,41,46,47,49,54,55,60,61,62,63,66,69,70,72,76,77,79],[0,2,3,6,8,13,15,16,21,22,25,27,28,29,32,36,37,38,39,40,41,42,43,44,45,48,49,51,57,63,64,65,68,71,72,74,75,78,79],[0,1,2,4,5,6,7,9,10,11,17,18,19,20,23,24,26,28,33,34,35,36,37,38,42,43,45,47,52,54,55,58,60,61,62,63,64,65,68,70,73,75,77],[0,4,7,9,12,13,14,15,17,22,23,25,26,27,28,29,31,32,34,37,38,41,42,45,47,48,50,51,52,53,54,55,56,57,58,59,60,61,64,65,66,67,68,70,71,73,75,77,78],[1,4,5,6,10,14,16,17,18,22,24,26,29,31,34,35,38,39,41,42,43,46,47,48,49,50,51,52,56,57,58,60,61,64,65,66,67,68,69,70,74,75],[1,2,5,6,8,9,10,11,14,15,16,18,22,23,25,27,28,29,31,35,37,38,39,41,42,44,45,47,54,56,57,60,61,62,63,65,72,77],[0,1,6,9,10,17,26,27,29,36,37,38,40,41,43,45,48,49,50,51,52,53,54,56,58,59,60,63,66,67,68,69,70,71,72,74,75,76,77],[0,3,6,7,8,9,11,12,17,18,20,24,27,29,32,36,38,39,40,42,43,44,45,46,48,55,57,58,61,62,63,64,66,73,78],[1,2,3,4,7,9,10,12,15,17,18,20,23,25,27,28,32,34,39,41,42,43,45,48,53,55,56,57,58,59,60,61,63,66,71,73,76,78],[2,3,5,6,7,9,12,14,15,16,20,22,23,24,25,26,27,28,29,31,32,35,38,45,46,47,49,50,51,52,53,55,59,63,64,65,67,68,69,70,71,73,74,75,76,78],[0,1,2,3,5,7,10,12,14,15,16,17,20,22,23,24,25,28,31,32,35,36,37,40,41,43,46,47,48,54,55,56,58,60,64,65,66,72,73,77,78],[0,1,2,3,4,5,7,8,12,13,14,16,18,19,20,21,22,24,26,27,29,30,31,33,35,37,38,39,40,41,43,44,51,52,53,55,56,58,62,69,70,71,73,74,75,76,78,79],[1,2,3,7,8,9,12,13,19,20,21,26,29,30,33,34,36,38,41,42,43,44,45,46,47,51,52,54,55,56,57,58,59,61,62,63,64,65,69,70,72,73,74,75,77,78,79],[2,3,5,8,9,14,16,18,22,24,25,33,36,42,44,45,47,48,50,51,53,57,62,63,65,66,68,69,71,74,76],[0,1,2,4,7,10,11,12,18,20,24,25,26,27,31,32,33,34,35,40,41,42,48,49,52,53,55,56,57,60,66,67,70,71,73,75,76,78],[2,4,6,7,9,11,12,17,18,20,24,25,29,31,32,33,34,35,36,37,38,42,43,45,50,51,54,55,57,58,59,63,68,69,72,73,74,77,78],[0,1,2,3,4,5,6,13,14,15,16,19,21,22,23,24,28,30,32,36,37,39,40,41,42,43,46,48,49,51,53,56,57,58,59,64,66,67,69,71,74,76,79],[0,3,4,8,9,10,11,13,18,19,21,24,25,27,29,30,31,32,35,36,38,40,43,44,45,46,47,48,49,51,53,54,58,59,60,61,62,63,64,65,66,67,69,71,72,74,76,77,79],[0,1,4,5,8,10,11,12,15,20,21,25,26,27,28,29,31,34,36,38,41,43,44,45,46,50,51,52,55,56,59,62,63,66,68,69,71,74,75,78,79],[0,3,8,9,10,13,17,19,26,28,29,30,32,35,36,37,39,40,42,43,48,51,54,58,60,61,62,65,67,71,72,73,74,75,77,79],[1,4,5,6,7,8,10,11,16,17,19,20,21,22,23,26,28,30,32,36,40,43,44,45,46,47,48,52,53,54,56,57,58,61,63,64,65,68,69,70,71,73,74,76,77],[0,1,2,4,9,12,14,18,19,20,24,27,29,30,33,36,37,38,40,41,43,49,52,55,56,59,61,63,66,68,72,73,75,76,78],[0,1,2,3,4,6,7,8,10,13,14,15,16,18,19,20,22,23,24,25,26,28,29,30,31,33,34,35,39,40,42,47,49,50,52,53,56,57,60,61,63,64,67,68,70,71,73,74,75],[2,3,5,6,7,11,12,13,14,16,18,19,21,22,23,24,27,30,33,35,36,38,39,40,41,42,43,44,45,46,47,49,51,53,55,57,59,60,61,62,64,66,67,69,70,73,78,79],[1,2,3,4,8,10,12,13,14,17,18,20,24,26,27,28,32,33,35,38,39,41,42,48,49,51,52,54,55,56,58,59,60,62,63,65,66,67,68,71,74,76,77,78,79],[1,3,4,6,10,11,14,16,19,20,22,24,25,26,27,28,30,31,32,33,34,35,36,37,38,40,43,45,46,47,49,50,51,55,59,61,62,66,70,76,77,78],[0,1,3,4,7,10,11,12,14,15,17,20,23,24,26,28,29,33,35,36,37,41,43,45,46,48,49,53,54,57,58,64,65,73,75,79],[0,4,5,7,8,9,10,11,12,16,18,19,20,21,23,24,25,29,31,33,34,36,37,38,39,40,41,44,45,47,51,53,54,55,57,58,59,60,61,62,64,65,66,67,68,71,72,76,77],[0,2,4,7,12,14,15,16,20,23,26,28,29,30,36,38,39,41,46,47,49,50,53,54,55,57,58,59,60,64,65,66,67,68,69,73,74,77,79],[0,1,2,5,6,8,10,11,12,14,15,17,19,21,22,29,32,38,39,40,41,43,44,45,48,49,50,52,55,56,59,60,61,63,66,67,70,71,76,79],[0,1,2,8,9,11,13,16,19,24,26,28,29,32,33,36,38,40,42,45,47,50,51,54,55,58,59,61,62,65,66,68,69,71,72,73,79],[1,2,3,10,11,16,17,24,30,33,35,37,38,39,43,45,47,48,50,55,59,60,66,67,68,69,74,75,77],[0,1,4,5,8,11,12,14,15,16,17,24,25,27,29,30,31,32,35,37,40,42,44,45,46,49,50,51,52,56,57,60,62,65,68,69,72,73,74,75,77],[4,7,9,12,13,14,21,23,24,25,26,30,33,34,36,37,38,41,42,43,45,48,54,56,59,61,64,66,67,68,69,71,73,77,78,79],[0,1,2,3,5,12,14,15,16,17,18,19,20,21,23,24,26,30,34,37,38,42,46,47,48,50,51,52,53,54,57,58,59,62,63,64,67,68,70,71,74,75,76,77,79],[0,4,5,6,8,10,13,16,22,23,25,26,28,31,32,34,35,37,39,42,43,46,49,55,57,60,62,65,67,69,70,72,74,78,79],[0,2,3,4,5,6,7,9,10,11,12,14,16,18,19,20,22,23,24,25,26,27,28,29,30,33,34,36,39,40,41,44,46,47,53,55,57,58,61,62,63,66,67,68,69,74,76,77,79],[1,2,3,6,7,8,9,10,15,17,18,19,20,22,23,26,28,31,32,33,34,35,36,37,39,41,42,45,47,49,50,51,52,53,55,56,58,60,61,63,65,66,67,72,73,75,76,79],[0,5,6,7,8,9,10,12,14,16,21,22,24,28,30,31,32,33,35,36,38,39,41,45,46,48,49,54,55,56,57,59,60,61,62,64,65,66,68,70,71,72,73,74,77],[0,2,5,7,10,14,15,16,18,20,23,24,26,27,28,29,30,31,32,34,37,38,39,40,41,42,43,44,45,49,51,52,53,55,56,60,65,67,70,71,72,76],[0,3,4,5,7,8,10,11,14,15,16,19,21,24,25,28,30,35,37,39,41,42,43,47,48,51,52,54,55,58,59,63,64,69,73,79],[0,1,3,4,8,12,13,14,15,16,17,19,20,22,23,25,27,28,29,32,33,34,35,39,40,42,43,45,47,48,49,50,51,53,56,58,59,60,61,63,64,65,66,67,70,71,74,77,78],[0,3,4,6,8,10,11,16,19,20,24,25,26,30,32,33,35,42,44,47,48,49,52,53,55,58,59,60,61,63,64,65,66,68,71,73,74,75,79],[1,2,4,5,6,8,10,11,12,14,15,17,18,21,23,25,32,33,34,35,37,38,44,46,49,50,51,54,55,57,60,61,62,65,66,67,70,73,76,77],[4,5,6,9,12,13,15,20,23,24,25,28,30,32,34,36,38,39,42,44,45,48,49,51,53,56,59,60,64,65,67,73,74,75,77,78,79],[5,6,7,14,15,20,21,26,28,32,33,37,39,41,43,44,49,51,53,54,60,61,65,66,68,69,71,74,75],[0,3,6,8,9,10,11,12,18,20,21,25,26,30,31,33,36,38,39,40,41,42,43,44,45,48,50,51,52,55,56,57,58,59,60,61,65,66,67,68,69,75,76,77,78],[1,6,7,8,9,11,12,13,14,15,16,18,20,21,24,25,29,32,34,35,37,38,39,44,47,49,51,54,56,57,62,63,66,71,74,76],[8,10,12,16,18,19,20,23,25,26,27,28,29,30,32,35,38,40,41,42,43,45,46,47,52,53,54,56,58,59,60,61,63,67,68,69,70,71,74,77,78,79],[0,2,4,8,9,10,13,14,15,16,17,18,20,21,23,25,26,27,33,35,36,38,39,40,45,48,52,55,56,57,58,62,63,64,67,72,74,75,77],[1,2,3,4,7,9,10,12,16,17,19,21,24,26,28,31,34,35,37,39,40,45,46,49,50,52,53,57,58,63,64,65,67,70,72,74,77,79],[0,1,2,4,6,7,8,11,16,17,18,19,20,24,25,28,30,33,34,35,36,37,38,41,42,43,44,46,48,49,51,53,55,56,59,60,61,63,64,66,68,69,70,72,74,75,76,78,79],[0,1,2,4,6,7,10,11,12,17,23,24,26,27,29,32,33,34,36,37,40,44,45,47,48,49,51,52,54,55,58,64,66,67,71,72,75,76,77],[2,4,5,6,9,11,12,14,19,20,21,24,25,26,33,35,39,40,42,43,44,48,50,51,55,57,58,60,61,65,66,68,69,70,72,73,79],[0,2,3,4,5,12,14,16,20,23,24,25,26,27,28,29,31,32,36,40,42,43,46,47,53,54,58,60,61,63,68,69,71,72,73,74,75,76],[0,6,9,10,11,12,14,15,17,18,19,22,23,25,28,29,30,31,32,33,34,35,36,39,40,41,42,44,46,47,48,49,51,53,54,55,57,58,59,60,62,64,66,68,70,74,76,77],[0,2,3,4,9,10,13,16,18,19,22,25,27,28,29,32,33,34,36,39,40,43,46,47,48,49,50,53,54,55,57,58,61,63,65,69,70,72,77,78],[0,2,3,4,8,9,12,13,20,22,23,26,30,33,34,35,36,38,39,41,42,45,48,49,50,52,55,56,57,59,60,65,67,68,71,72,74,79],[1,5,6,7,8,10,11,15,16,19,21,22,23,25,26,29,31,32,33,35,37,38,42,44,47,48,50,51,54,55,56,60,62,63,65,66,68,70,73,75,77,78],[5,9,10,12,13,14,18,19,20,22,23,24,26,31,33,34,39,42,48,49,50,55,57,60,65,68,70,71,73,74,75,76,77,78],[2,4,7,8,12,13,14,15,16,17,22,26,27,29,30,32,33,34,35,36,37,39,42,44,45,46,49,50,51,54,59,60,61,62,63,64,65,66,67,69,70,71,72,74,75],[2,3,5,8,9,10,11,12,13,15,16,17,20,22,25,28,29,32,33,38,40,41,43,45,48,50,53,55,56,57,60,62,63,68,70,77],[8,12,14,16,19,20,22,23,24,25,26,29,30,31,32,34,35,36,37,38,41,46,47,48,51,52,53,57,61,62,64,65,66,67,68,71,72,73,74,75,76,77],[0,4,6,9,10,11,12,13,14,16,17,19,20,21,22,29,30,31,32,33,34,39,41,42,46,49,51,54,56,57,58,61,62,63,64,68,69,71,78],[0,3,5,6,7,8,13,14,17,20,21,23,24,27,28,30,33,34,40,41,43,44,46,47,51,52,55,57,58,59,61,63,64,68,71,73,76,78],[0,2,3,4,5,6,12,15,16,20,21,22,23,24,26,28,29,32,35,36,37,39,40,41,42,43,45,47,49,50,52,54,55,57,58,60,62,65,66,67,68,69,70,72,73,74,75,76,78],[0,2,3,4,5,6,8,14,15,19,21,25,28,30,31,34,38,39,40,42,43,45,46,48,49,50,51,53,54,55,58,60,61,64,69,70,71,77,78],[0,1,2,6,8,10,13,15,16,17,23,28,29,30,33,34,36,37,39,41,44,45,49,50,54,59,60,63,64,66,67,73,74,75,76,78,79],[0,1,4,6,7,8,10,16,19,20,24,25,27,28,29,30,31,34,36,37,38,42,47,48,52,53,57,64,66,67,68,69,70,74,75,77,78,79],[2,4,8,10,11,13,14,15,18,19,21,22,23,24,25,26,27,29,33,34,35,36,38,39,40,41,42,45,47,48,49,50,52,53,54,55,56,58,60,63,64,65,66,68,70,71,74,76],[0,4,6,7,9,13,14,18,20,22,23,24,25,29,31,33,34,37,38,39,40,42,44,47,48,49,52,53,54,55,57,59,63,64,67,71,72,75,76,78],[0,4,6,7,8,9,12,13,16,18,19,26,30,32,33,35,36,39,40,41,42,44,46,49,51,54,55,59,61,62,63,65,66,68,73,74,77,78],[1,2,3,5,11,12,14,15,17,18,19,20,23,25,27,29,30,32,36,38,39,41,43,44,45,48,49,50,53,54,56,57,59,60,62,66,69,71,72,74,76,79],[1,8,9,10,13,14,16,18,19,22,23,27,28,30,33,36,39,40,44,49,54,55,59,63,66,68,69,70,71,72,74,76,77,79],[0,1,2,4,6,7,10,12,14,20,25,26,29,30,32,34,35,36,38,39,41,42,43,46,47,49,51,52,56,60,61,62,63,66,67,68,70,71,72,73,75,79],[1,2,4,5,6,8,10,12,13,16,17,20,22,24,27,29,31,32,34,35,38,39,41,42,45,47,49,52,54,56,57,58,61,62,63,65,67,68,69,70,71,75,76,77],[2,4,6,7,8,10,11,12,17,18,21,23,24,26,28,29,33,34,36,37,38,40,41,43,44,45,48,49,53,54,56,58,62,64,65,68,70,72,73,74,75,77],[2,3,5,8,9,10,12,13,14,15,17,19,21,25,31,32,33,35,36,38,39,40,42,43,44,46,48,53,55,57,58,59,63,64,66,68,69,70,71,72,76,77,78],[0,3,4,6,8,9,11,15,16,17,18,19,22,23,27,28,29,30,32,34,35,36,37,39,41,42,43,49,51,55,56,58,59,60,62,63,71,72,74,75,77,78,79],[1,2,3,7,8,9,10,11,12,14,15,16,17,18,19,20,22,23,25,26,27,28,37,38,46,47,52,55,58,59,61,66,67,68,70,73,74,77,78],[1,3,4,6,9,14,15,16,19,20,21,22,24,25,27,29,33,34,36,40,41,43,44,45,46,47,48,49,52,53,54,55,56,59,61,62,64,65,66,67,72,75,78],[0,1,3,6,7,11,13,17,18,22,23,25,26,27,31,32,33,34,36,38,39,40,41,43,44,45,46,49,50,52,54,55,60,61,64,65,66,69,71,72,74,79],[3,6,7,8,13,14,20,21,22,24,26,27,28,30,31,34,35,36,37,38,41,42,43,47,48,49,50,51,53,55,58,63,67,69,72,77],[1,4,5,6,7,9,10,11,12,15,16,17,18,24,25,26,27,31,35,42,44,45,49,50,53,55,56,57,59,61,64,65,68,71,72,73,75,76,78],[0,3,8,10,11,12,13,16,18,19,20,21,24,25,27,29,30,33,34,35,40,41,42,45,47,48,50,51,52,58,60,62,65,67,68,69,71,72,77,79],[0,2,3,4,6,7,13,16,17,19,20,23,25,26,27,28,30,35,36,37,38,42,43,44,47,49,50,51,52,53,54,56,60,64,67,69,70,71,73,74,75,79],[0,1,2,4,5,7,8,11,13,14,17,18,19,20,24,25,26,27,28,32,33,34,35,36,37,39,40,41,42,43,47,53,54,55,56,57,58,60,61,67,69,70,75,76,77,79],[0,6,7,10,11,12,14,16,18,19,22,25,26,28,29,31,33,36,37,38,40,43,45,49,52,53,55,60,62,63,65,68,71,79],[0,2,3,4,5,6,8,10,14,16,25,26,29,30,32,33,35,36,37,38,40,41,42,45,46,52,53,55,56,57,60,61,62,66,67,69,73,74,76,77,78,79],[0,1,2,5,6,8,9,12,14,16,18,20,21,25,27,28,31,32,33,35,36,38,40,41,46,48,51,53,55,56,57,59,61,62,63,64,67,69,70,71,74,75,76,77],[0,2,3,6,8,12,14,15,17,19,21,22,24,25,28,30,32,34,35,37,39,40,42,43,47,48,50,51,54,55,56,58,59,62,64,68,69,71,74,76,78,79],[1,6,7,8,9,10,11,12,13,14,17,21,23,27,29,32,33,34,36,37,38,39,41,42,47,49,50,52,54,57,58,60,63,64,65,70,71,72,74,75,76,77,78],[0,2,4,7,11,12,13,15,18,19,20,21,22,23,24,25,26,31,33,35,36,37,38,40,41,42,43,45,49,55,56,57,62,64,65,66,68,69,71,72,73,77,78],[3,5,6,7,8,10,11,12,13,14,15,16,18,19,20,21,22,23,24,29,30,31,32,43,46,49,52,53,60,61,64,65,67,68,71,72,74,76,79],[0,2,5,7,10,11,13,16,17,18,20,23,25,28,29,31,34,35,37,39,40,42,46,47,48,49,50,51,52,53,54,55,56,58,59,60,61,62,65,67,69,72,78],[2,3,4,5,7,9,15,18,19,21,22,27,29,30,31,32,33,34,35,37,38,39,40,42,44,46,48,49,50,51,52,55,58,59,60,66,67,68,73,75,77,78],[2,3,7,9,10,12,16,17,18,24,26,27,28,30,31,32,35,36,37,40,41,42,43,44,45,47,49,53,54,55,57,61,64,71,75,78],[0,1,2,3,5,8,11,13,14,15,20,21,22,27,28,29,30,31,36,41,44,47,49,50,51,55,58,59,62,63,65,67,69,70,72,74,77,78,79],[4,7,8,9,12,14,15,16,17,20,22,23,25,26,28,29,31,34,35,36,39,40,41,44,45,46,51,53,54,56,59,61,64,66,71,73,74,75,77,78],[0,2,3,4,6,7,9,16,19,20,21,23,24,26,29,30,31,32,36,37,41,42,43,44,45,46,47,48,50,53,55,58,61,62,66,68,69,73,75,76,77,79],[0,1,3,4,5,6,9,10,12,15,16,21,22,23,24,28,29,30,31,33,34,35,36,37,38,39,40,41,42,43,47,48,49,53,61,62,63,64,66,67,69,70,71,73,75,76],[2,3,4,8,10,14,15,18,20,22,23,24,25,27,29,30,32,34,37,39,42,43,46,47,49,51,55,56,57,59,66,73,74,77],[3,4,5,10,11,13,15,16,17,18,20,24,27,29,30,32,34,35,36,37,39,44,46,48,49,54,55,58,59,61,64,66,70,72,75,76],[0,2,3,4,5,11,13,17,18,20,21,22,23,24,25,27,28,29,32,33,34,35,40,41,44,45,46,47,48,49,50,51,55,57,59,61,62,65,66,67,68,71,72,73,76,78],[0,4,7,10,11,12,13,14,15,18,20,24,26,27,29,30,31,32,34,36,37,41,44,46,48,51,56,57,60,61,62,66,68,72,77,78],[0,1,3,4,5,7,10,11,14,18,19,21,22,23,24,25,29,30,31,32,33,34,35,36,41,42,45,46,47,48,49,51,52,56,58,60,63,66,67,69,72,73,77,79],[0,1,2,3,5,10,12,13,16,19,20,26,27,28,30,35,36,39,40,41,42,44,49,50,51,52,54,61,63,64,65,69,70,71,75,79],[0,1,2,4,11,12,15,17,18,19,24,26,28,29,32,34,37,40,41,42,46,48,50,51,52,55,58,59,63,65,66,69,71,72,76,79],[1,2,7,10,13,14,17,19,20,27,28,30,31,36,40,42,44,50,52,55,56,57,58,59,60,61,62,63,65,68,69,71,76,77,78,79],[0,4,5,8,11,12,16,17,19,20,22,24,25,27,28,29,30,33,35,36,40,41,43,44,47,49,50,51,53,55,56,57,58,61,62,63,64,65,66,67,68,69,70,71,72,73,74,76,78,79],[3,4,7,8,11,14,19,20,22,24,25,26,27,28,29,30,31,33,36,39,40,43,44,47,50,53,54,59,60,61,63,65,66,67,69,71,72,73,74,75,77,79],[2,3,6,7,9,13,15,17,20,22,23,24,25,27,29,32,35,36,37,38,39,40,43,44,46,49,50,53,56,57,61,63,64,66,67,69,70,72,73,74,77,79],[0,1,2,3,6,9,14,16,19,21,24,29,31,32,33,35,36,38,40,41,42,43,45,46,47,49,50,51,52,53,54,55,57,59,60,66,72,74,75,76],[1,2,3,4,6,7,9,10,11,12,13,15,16,18,19,20,21,26,27,30,33,34,35,37,38,40,42,43,44,45,47,48,49,50,52,53,54,55,56,59,61,62,68,74,75,76,77,78],[1,3,5,6,7,8,9,13,16,17,18,23,24,26,29,30,33,34,38,39,40,42,47,48,50,52,59,62,63,66,68,69,72,77,78,79],[0,1,2,4,6,7,8,9,11,16,20,21,22,25,26,27,28,30,32,35,38,39,41,42,44,45,46,49,51,52,55,57,61,63,65,67,69,71,73,76,77,79],[0,1,7,9,11,14,15,16,20,21,22,25,26,28,31,33,38,40,41,42,43,48,49,50,52,54,55,58,60,64,65,67,69,70,76,78],[0,1,4,6,7,9,15,16,17,18,19,21,22,24,25,28,29,31,34,35,38,39,40,41,44,45,49,50,51,52,53,54,55,56,59,60,61,63,65,67,70,72,74,77,78,79],[0,3,4,8,9,10,11,14,15,16,22,25,26,27,28,30,31,35,38,40,42,43,45,50,52,54,56,60,62,63,66,67,71,72,74,78],[0,1,3,4,5,7,10,14,15,17,18,19,22,23,25,26,27,28,29,35,36,38,39,40,41,42,45,46,51,52,53,54,55,57,60,61,62,64,66,71,73,75,78,79],[1,4,5,6,7,8,9,14,16,20,23,24,26,30,31,33,34,35,36,41,42,44,45,46,48,50,55,57,58,59,67,69,73,75,76,77],[0,4,5,6,8,11,15,21,22,23,24,25,28,30,34,35,36,38,40,43,44,45,46,49,52,54,57,59,60,64,65,70,73,75,77,78],[3,5,6,9,10,14,16,21,23,24,26,27,31,34,36,42,44,46,49,50,56,57,59,62,63,64,65,66,67,70,71,72,73,74,75,77],[0,1,4,8,12,15,16,18,20,21,23,24,25,26,28,29,31,34,35,37,39,41,42,44,45,47,49,50,53,55,56,57,58,59,60,61,62,63,64,67,68,70,72,73,74,75,76,77,78,79],[0,3,7,10,12,15,16,18,23,24,25,26,27,28,29,30,31,33,34,37,39,42,44,47,48,50,53,57,59,60,61,65,66,67,68,69,71,73,75,77,78,79],[2,3,6,7,9,11,13,16,18,19,21,25,28,29,31,32,33,34,37,38,41,42,43,44,47,50,52,55,57,58,60,61,62,63,67,68,71,73,75,76,78,79],[2,4,5,6,7,10,13,17,20,23,25,27,28,32,34,35,36,37,38,39,41,42,44,45,46,47,48,49,51,52,53,55,60,63,65,66,68,69,70,78],[0,2,3,5,6,7,8,9,11,13,14,15,16,17,20,22,23,26,30,31,32,34,36,37,39,40,41,43,44,46,47,48,49,50,51,53,54,55,56,62,65,67,68,69,70,71,72,74],[1,2,3,5,7,9,12,13,19,20,21,22,25,26,28,30,32,33,34,36,39,40,44,46,53,54,56,57,60,65,71,72,73,74,75,78],[0,2,3,4,5,6,12,13,15,16,17,18,20,24,26,29,30,31,32,33,35,36,38,41,45,46,49,50,51,52,55,57,59,61,63,67,70,71,73,75,77,79],[0,7,10,12,13,18,19,22,26,31,32,33,36,38,39,42,43,44,46,47,49,51,52,54,59,60,64,70,72,75,76,77,79],[1,2,4,5,6,8,10,19,22,23,26,27,28,29,30,32,35,37,38,39,41,43,45,46,47,49,50,52,54,55,56,60,65,66,68,71,72,73,75,76,79],[2,3,5,7,8,10,11,12,13,14,15,18,19,29,31,33,34,35,38,40,41,46,48,49,50,53,54,56,61,66,68,72,74,75,77,78,79],[3,4,5,6,8,9,10,12,18,19,20,24,28,29,30,33,36,39,40,42,44,46,47,48,51,53,55,56,57,61,66,67,69,72,73,74,76,77],[0,1,5,8,9,11,12,14,15,18,20,23,24,27,29,33,34,37,38,39,45,47,49,54,56,57,59,64,65,66,67,69,70,71,75,76,77,78,79],[1,5,7,8,9,10,11,13,14,15,19,20,22,23,24,26,27,29,31,32,34,36,37,42,43,44,45,46,51,52,56,57,60,65,66,67,69,71,72,78],[1,2,3,9,12,18,20,22,23,24,26,27,32,33,35,36,37,38,40,41,42,43,44,45,48,49,50,51,52,53,54,57,60,61,65,67,68,69,71,74,75,77,79],[1,3,7,11,12,14,16,19,20,21,22,24,25,26,31,32,36,40,41,42,46,47,48,49,50,51,54,56,58,60,62,65,66,68,69,70,71,72,73,74,75,77],[0,1,2,5,7,8,12,15,16,19,20,21,24,25,29,31,34,35,39,43,44,46,49,52,53,54,58,59,61,62,64,65,69,71,72,73,75,76,77,78],[0,1,2,4,9,10,11,12,13,15,17,22,26,28,32,34,35,36,37,40,41,44,50,54,58,61,63,64,65,69,70,72,73,76],[1,2,3,5,6,7,8,10,11,12,15,17,20,24,29,30,31,34,35,36,37,38,41,43,44,48,49,50,52,53,55,56,57,58,59,60,63,65,66,67,72,74,75,76,79],[1,6,13,14,17,18,19,20,24,30,33,36,37,40,43,44,46,52,54,55,57,58,59,60,61,63,65,67,68,76,77,78],[0,1,2,3,4,5,8,11,16,17,21,22,23,25,26,27,28,29,32,35,36,43,45,47,48,49,52,57,61,62,63,64,65,67,68,69,72,74,75,76,77,78],[0,3,6,10,11,16,17,19,21,25,30,36,37,38,39,41,46,48,50,54,55,56,57,60,61,62,63,64,66,67,69,71,73,74,77,78,79],[3,4,8,9,14,18,22,23,27,30,32,33,36,37,38,39,42,45,46,48,50,52,53,55,58,65,66,69,70,71,73,76,78],[0,1,2,5,6,12,14,18,19,23,24,25,26,30,31,32,33,35,37,38,41,43,44,46,48,49,51,52,53,55,59,60,62,66,69,70,73,74,77,78,79],[1,3,6,7,8,9,10,11,12,14,15,22,23,25,27,32,34,35,39,40,41,44,47,48,52,54,55,60,62,67,68,69,71,72,73,74,78],[0,1,2,7,8,12,13,14,16,22,23,24,25,26,28,33,34,36,39,42,45,47,49,50,52,53,54,60,61,62,63,67,68,70,71,75,78,79],[1,4,5,8,10,11,12,13,15,16,19,22,25,28,31,32,33,39,40,43,48,51,53,55,58,59,60,61,62,63,65,69,70,71,72,73,75,76,77],[1,3,5,9,10,11,12,13,14,15,16,18,19,23,25,27,28,30,31,36,37,38,40,42,43,45,46,50,51,52,59,60,61,62,63,66,72,75,77,78],[5,6,7,8,13,16,18,19,22,28,30,31,32,34,35,36,37,38,39,41,42,43,44,45,46,47,48,50,51,54,55,59,61,63,66,67,68,69,71,73,74,75,77],[3,5,7,8,10,15,16,17,18,20,23,27,28,29,30,34,35,36,38,42,44,45,48,52,53,54,55,56,59,60,62,64,66,68,69,71,74,75,76,77,78,79],[1,3,4,5,6,8,11,12,16,17,20,23,25,27,28,29,33,37,40,41,46,47,48,50,52,55,56,58,59,64,65,67,69,70,71,72,75,77,78,79],[0,4,5,6,8,9,11,13,14,15,18,21,24,30,34,35,38,40,41,42,43,44,48,50,57,58,59,64,67,70,75,76,78,79],[1,2,3,5,6,7,8,11,12,14,15,16,21,25,26,27,28,32,35,37,40,41,42,43,44,46,47,49,50,54,55,57,59,60,61,62,63,64,65,66,68,69,70,73,78],[2,5,9,10,16,21,22,23,26,28,34,37,39,42,43,46,48,49,50,52,57,59,61,63,64,65,66,67,70,71,72,74],[0,1,4,5,6,7,12,15,17,18,19,20,21,24,25,29,30,31,37,38,41,42,46,51,53,54,55,56,57,58,59,61,63,67,68,69,70,71,72,74,75,78],[2,4,7,14,15,17,20,21,23,26,29,32,33,35,42,43,44,48,49,52,54,56,57,58,60,61,62,63,66,67,68,71,72,73,75,77,79],[1,6,14,17,18,21,22,23,24,25,26,27,28,30,31,32,34,35,36,38,43,44,45,47,52,53,54,55,56,57,59,61,62,68,71,74,77,78],[1,2,6,7,8,11,13,14,17,19,22,24,25,27,29,30,31,32,34,35,39,40,47,48,49,50,51,53,57,59,60,61,64,70,72,73,74,76,78],[0,1,8,10,11,12,13,15,16,17,22,24,26,33,34,36,37,40,44,45,46,47,49,51,54,55,58,59,61,62,63,64,68,69,70,73,75,76,79],[0,3,4,9,10,12,14,15,19,20,23,24,25,26,30,32,33,35,36,40,41,44,48,49,50,51,52,54,56,58,60,61,65,68,71,73,74,75,77,79],[1,2,3,4,7,9,14,16,17,18,20,21,22,25,26,28,29,30,32,34,35,36,37,38,39,40,41,43,44,46,47,49,51,54,59,63,65,68,69,72,73,74],[2,3,4,6,7,9,16,20,23,24,27,29,31,37,39,40,41,45,46,49,51,52,53,55,56,57,61,62,63,65,69,71,72,73,77,78],[0,1,2,3,4,6,7,8,9,10,11,12,13,15,17,20,22,23,26,27,29,31,33,34,36,39,41,44,47,52,53,54,56,57,58,59,64,65,68,70,71,72,75,76,77,78,79],[0,1,2,3,4,5,6,8,9,10,11,13,14,15,19,20,21,22,23,25,27,28,29,32,33,34,36,39,40,42,46,50,56,59,62,63,65,66,71,73,75,76,77],[1,2,3,4,5,9,12,16,18,19,20,22,29,30,31,34,35,36,37,38,39,42,43,49,50,51,52,53,57,58,59,62,64,65,66,69,70,74,78,79],[2,3,6,9,11,12,15,19,20,21,25,26,27,28,30,35,38,39,42,44,47,48,50,51,53,54,59,61,63,67,69,70,71,72,73,75,76],[0,1,2,4,10,11,17,18,22,25,26,30,31,33,34,35,39,40,41,42,43,44,45,49,54,55,57,58,60,61,62,63,65,67,69,70,71,72,76,78,79],[2,4,8,12,13,15,16,18,24,25,30,31,35,36,37,39,41,42,43,46,47,51,57,59,60,64,65,67,68,71,72,73,75,78],[0,1,2,3,5,6,7,8,9,10,12,13,14,16,20,22,24,26,27,30,31,32,33,34,35,36,37,38,39,41,44,45,47,48,49,52,54,55,57,63,66,67,70,71,73,78],[0,3,5,9,10,11,12,16,17,19,20,25,26,29,33,36,37,38,40,41,44,45,50,51,52,53,54,55,59,60,61,63,64,66,67,71,72,74,76],[2,5,10,17,18,19,21,22,24,26,27,28,29,30,31,32,37,38,40,41,42,46,47,48,49,50,51,53,56,62,63,65,67,68,71,72,74,77],[2,3,5,6,9,10,12,15,18,21,23,25,26,27,28,29,31,33,34,38,40,41,44,45,47,53,54,55,58,63,65,66,67,68,70,72,76,78,79],[4,5,8,9,11,12,14,15,18,20,21,28,30,34,39,40,42,43,45,48,49,50,51,52,53,55,56,57,58,64,65,67,69,70,73,74,75,76,79],[0,4,7,8,10,11,13,14,16,19,23,26,28,29,30,34,35,38,39,41,42,44,45,46,48,50,54,55,59,62,64,66,67,68,69,71,73,74,77,79],[0,3,5,6,7,10,13,16,17,18,20,21,22,24,25,26,29,30,32,33,34,35,37,38,40,41,42,43,45,48,50,52,53,55,57,59,65,68,74,75,78,79],[0,2,3,6,7,13,16,19,20,25,27,28,31,33,34,35,43,45,46,47,49,51,52,55,56,57,59,62,63,67,71,72,75,77,78,79],[0,2,3,4,5,6,7,8,9,11,12,13,14,15,16,18,19,21,25,27,30,31,33,35,39,40,42,46,47,48,50,53,58,59,62,63,64,65,69,70,71,72,73,74,76,77,78],[0,1,2,4,5,6,7,9,10,11,12,13,14,15,16,17,18,19,23,24,25,29,31,33,34,36,38,39,40,42,44,52,56,57,59,60,62,65,69,70,71,77,79],[0,1,5,6,7,8,13,16,18,20,22,23,25,26,27,32,33,36,37,40,41,42,43,44,45,46,47,55,56,58,59,60,63,64,65,68,72,73,75,76],[2,6,7,8,11,13,15,16,17,23,24,26,29,30,31,32,33,36,41,44,45,47,48,50,53,54,57,61,65,67,69,70,75,76,77,78,79],[0,4,5,6,14,15,18,21,22,26,27,29,30,33,34,35,36,37,39,40,41,48,49,50,51,55,56,57,59,61,63,64,66,67,70,72,73,75,76,77,78],[0,6,8,9,11,12,20,22,26,27,28,29,33,35,36,37,41,42,43,45,52,53,58,59,61,63,65,66,69,72,74,77,78,79],[1,2,3,4,5,6,7,8,9,10,12,13,14,16,18,20,26,27,28,30,31,32,33,35,38,39,40,41,42,43,46,48,49,50,51,53,54,55,57,60,61,63,72,76,77,79],[1,4,7,8,13,14,15,16,20,21,23,25,29,30,32,34,35,39,42,43,44,45,46,47,48,49,50,51,57,58,60,61,65,66,67,68,70,77,78]]},"distance":{"d":6,"is_exact":false,"upper":null,"witness":null,"A_d":null,"certified":{"d":9,"is_exact":false,"met":false,"source":"gamma frontier release record weighted_sources_756_32_9 (gamma_frontier_release/frontier.json, distance_kind lower_bound, Z distance)"}},"clifford":{"kind":"required","correction":{"S":[[1,3],[2,3],[3,2],[5,3],[6,3],[7,2],[9,1],[10,1],[11,2],[13,1],[14,1],[15,2],[16,2],[17,1],[18,1],[20,2],[21,1],[22,1],[25,3],[26,3],[29,3],[30,3],[33,2],[36,2],[39,2],[42,2],[45,2],[49,2],[51,2],[55,2],[59,2],[65,2],[70,2],[71,2],[72,2],[73,2],[76,2],[77,2],[78,2],[79,2]],"CZ":[[0,1],[0,2],[0,3],[0,4],[0,5],[0,6],[0,7],[0,8],[0,9],[0,13],[0,14],[0,17],[0,22],[0,24],[0,27],[0,28],[0,35],[0,36],[0,37],[0,39],[0,41],[0,42],[0,43],[0,44],[0,46],[0,47],[0,51],[0,53],[0,54],[0,55],[0,56],[0,57],[0,58],[0,61],[0,64],[0,65],[0,66],[0,68],[0,71],[0,72],[0,73],[0,74],[0,76],[0,78],[0,79],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[1,8],[1,11],[1,14],[1,19],[1,23],[1,25],[1,26],[1,28],[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,48],[1,50],[1,51],[1,52],[1,53],[1,55],[1,59],[1,61],[1,65],[1,66],[1,67],[1,70],[1,75],[1,76],[1,77],[1,78],[1,79],[2,4],[2,5],[2,9],[2,12],[2,14],[2,15],[2,16],[2,17],[2,20],[2,25],[2,28],[2,30],[2,32],[2,33],[2,35],[2,38],[2,39],[2,41],[2,43],[2,44],[2,45],[2,46],[2,51],[2,57],[2,58],[2,61],[2,62],[2,63],[2,64],[2,66],[2,67],[2,74],[2,76],[2,78],[2,79],[3,4],[3,5],[3,8],[3,10],[3,11],[3,13],[3,14],[3,15],[3,16],[3,18],[3,19],[3,20],[3,21],[3,22],[3,23],[3,25],[3,26],[3,27],[3,28],[3,32],[3,35],[3,37],[3,39],[3,41],[3,46],[3,51],[3,52],[3,53],[3,54],[3,55],[3,56],[3,57],[3,59],[3,61],[3,66],[3,70],[3,73],[3,75],[3,77],[3,78],[4,5],[4,6],[4,7],[4,9],[4,10],[4,12],[4,13],[4,18],[4,21],[4,24],[4,28],[4,31],[4,33],[4,35],[4,36],[4,37],[4,41],[4,42],[4,43],[4,45],[4,47],[4,48],[4,49],[4,50],[4,52],[4,53],[4,58],[4,59],[4,60],[4,62],[4,63],[4,64],[4,67],[4,68],[4,70],[4,72],[4,73],[4,74],[4,77],[4,78],[4,79],[5,6],[5,7],[5,10],[5,12],[5,15],[5,19],[5,23],[5,24],[5,29],[5,30],[5,32],[5,33],[5,34],[5,35],[5,36],[5,37],[5,39],[5,40],[5,41],[5,42],[5,43],[5,44],[5,45],[5,46],[5,47],[5,49],[5,50],[5,51],[5,54],[5,59],[5,60],[5,61],[5,65],[5,67],[5,69],[5,70],[5,71],[5,72],[5,73],[5,76],[6,8],[6,10],[6,11],[6,13],[6,16],[6,20],[6,21],[6,24],[6,26],[6,29],[6,32],[6,33],[6,35],[6,37],[6,38],[6,39],[6,41],[6,45],[6,50],[6,51],[6,52],[6,56],[6,57],[6,58],[6,60],[6,61],[6,63],[6,64],[6,67],[6,68],[6,70],[6,72],[6,73],[7,9],[7,10],[7,11],[7,12],[7,14],[7,15],[7,16],[7,17],[7,18],[7,19],[7,20],[7,22],[7,23],[7,24],[7,29],[7,30],[7,31],[7,33],[7,35],[7,38],[7,41],[7,43],[7,45],[7,46],[7,47],[7,48],[7,49],[7,52],[7,60],[7,62],[7,63],[7,65],[7,67],[7,69],[7,71],[7,72],[7,76],[7,79],[8,11],[8,12],[8,15],[8,16],[8,18],[8,22],[8,23],[8,24],[8,25],[8,26],[8,27],[8,28],[8,30],[8,31],[8,34],[8,35],[8,37],[8,40],[8,41],[8,42],[8,46],[8,47],[8,48],[8,49],[8,50],[8,52],[8,53],[8,56],[8,58],[8,60],[8,62],[8,65],[8,66],[8,67],[8,68],[8,72],[8,76],[8,77],[8,78],[8,79],[9,10],[9,17],[9,18],[9,19],[9,23],[9,25],[9,26],[9,27],[9,29],[9,30],[9,31],[9,32],[9,33],[9,35],[9,36],[9,37],[9,38],[9,39],[9,40],[9,42],[9,43],[9,44],[9,45],[9,48],[9,52],[9,53],[9,54],[9,55],[9,57],[9,60],[9,61],[9,62],[9,63],[9,68],[9,69],[9,70],[9,73],[9,74],[9,76],[9,77],[10,11],[10,15],[10,16],[10,20],[10,21],[10,22],[10,25],[10,26],[10,32],[10,33],[10,35],[10,37],[10,40],[10,43],[10,51],[10,54],[10,56],[10,59],[10,61],[10,62],[10,65],[10,68],[10,72],[10,73],[10,74],[10,78],[11,12],[11,14],[11,18],[11,21],[11,24],[11,26],[11,31],[11,33],[11,37],[11,38],[11,48],[11,50],[11,51],[11,53],[11,54],[11,55],[11,57],[11,59],[11,60],[11,61],[11,62],[11,63],[11,64],[11,66],[11,67],[11,71],[11,73],[11,76],[11,78],[12,15],[12,18],[12,19],[12,20],[12,22],[12,24],[12,26],[12,27],[12,28],[12,29],[12,30],[12,31],[12,34],[12,35],[12,36],[12,40],[12,41],[12,43],[12,44],[12,46],[12,47],[12,52],[12,53],[12,54],[12,55],[12,56],[12,59],[12,60],[12,61],[12,62],[12,64],[12,66],[12,70],[12,71],[12,72],[12,73],[12,74],[12,78],[13,14],[13,19],[13,21],[13,22],[13,23],[13,25],[13,26],[13,27],[13,29],[13,30],[13,31],[13,32],[13,33],[13,34],[13,36],[13,37],[13,38],[13,39],[13,41],[13,42],[13,43],[13,46],[13,47],[13,48],[13,49],[13,50],[13,51],[13,54],[13,56],[13,57],[13,63],[13,66],[13,67],[13,68],[13,70],[13,71],[13,74],[13,75],[13,76],[13,79],[14,15],[14,16],[14,17],[14,18],[14,20],[14,29],[14,30],[14,34],[14,37],[14,38],[14,39],[14,41],[14,43],[14,45],[14,48],[14,56],[14,59],[14,62],[14,65],[14,67],[14,68],[14,72],[14,74],[14,78],[14,79],[15,17],[15,22],[15,27],[15,28],[15,30],[15,32],[15,39],[15,43],[15,44],[15,45],[15,47],[15,48],[15,49],[15,54],[15,56],[15,57],[15,58],[15,60],[15,61],[15,63],[15,65],[15,66],[15,67],[15,70],[15,72],[15,77],[15,79],[16,19],[16,22],[16,23],[16,24],[16,25],[16,28],[16,29],[16,31],[16,32],[16,34],[16,38],[16,40],[16,41],[16,43],[16,46],[16,49],[16,50],[16,53],[16,55],[16,57],[16,58],[16,59],[16,63],[16,65],[16,66],[16,68],[16,69],[16,71],[16,77],[16,78],[17,21],[17,25],[17,31],[17,35],[17,36],[17,39],[17,42],[17,44],[17,45],[17,48],[17,49],[17,53],[17,54],[17,57],[17,60],[17,62],[17,63],[17,65],[17,68],[17,71],[17,73],[17,75],[17,79],[18,19],[18,20],[18,22],[18,23],[18,24],[18,27],[18,31],[18,32],[18,37],[18,39],[18,40],[18,41],[18,43],[18,44],[18,46],[18,47],[18,48],[18,51],[18,52],[18,53],[18,54],[18,55],[18,57],[18,58],[18,59],[18,62],[18,63],[18,65],[18,68],[18,69],[18,71],[18,72],[18,73],[18,74],[18,76],[18,77],[18,78],[19,20],[19,22],[19,24],[19,29],[19,30],[19,33],[19,35],[19,38],[19,39],[19,43],[19,47],[19,48],[19,49],[19,50],[19,52],[19,58],[19,59],[19,62],[19,65],[19,69],[19,70],[19,71],[19,73],[19,74],[19,75],[19,77],[19,78],[19,79],[20,23],[20,24],[20,25],[20,27],[20,28],[20,29],[20,32],[20,34],[20,35],[20,37],[20,38],[20,40],[20,44],[20,47],[20,49],[20,52],[20,55],[20,57],[20,59],[20,60],[20,63],[20,64],[20,65],[20,71],[20,72],[20,74],[20,75],[20,77],[21,27],[21,29],[21,33],[21,36],[21,41],[21,42],[21,47],[21,48],[21,50],[21,51],[21,54],[21,55],[21,56],[21,57],[21,59],[21,63],[21,66],[21,69],[21,73],[21,74],[21,77],[21,79],[22,23],[22,27],[22,28],[22,31],[22,33],[22,34],[22,35],[22,37],[22,38],[22,43],[22,45],[22,46],[22,47],[22,48],[22,49],[22,50],[22,52],[22,53],[22,54],[22,56],[22,57],[22,59],[22,63],[22,64],[22,65],[22,68],[22,70],[22,71],[22,72],[22,74],[22,75],[22,77],[22,78],[22,79],[23,25],[23,26],[23,28],[23,32],[23,33],[23,37],[23,39],[23,41],[23,44],[23,46],[23,53],[23,54],[23,55],[23,56],[23,59],[23,64],[23,65],[23,68],[23,69],[23,71],[23,72],[23,73],[23,75],[23,76],[23,77],[23,79],[24,25],[24,26],[24,27],[24,28],[24,32],[24,34],[24,37],[24,38],[24,41],[24,42],[24,47],[24,48],[24,51],[24,52],[24,53],[24,54],[24,56],[24,57],[24,58],[24,60],[24,61],[24,66],[24,67],[24,69],[24,70],[24,71],[24,72],[24,73],[24,74],[24,76],[24,79],[25,26],[25,27],[25,31],[25,32],[25,33],[25,34],[25,35],[25,36],[25,37],[25,38],[25,39],[25,40],[25,41],[25,42],[25,43],[25,44],[25,45],[25,47],[25,49],[25,52],[25,54],[25,56],[25,57],[25,59],[25,61],[25,62],[25,63],[25,66],[25,67],[25,68],[25,70],[25,71],[25,72],[25,73],[25,75],[25,76],[25,78],[25,79],[26,27],[26,30],[26,35],[26,36],[26,37],[26,38],[26,41],[26,42],[26,43],[26,45],[26,49],[26,50],[26,51],[26,56],[26,57],[26,58],[26,59],[26,60],[26,65],[26,66],[26,69],[26,70],[26,78],[27,29],[27,32],[27,35],[27,38],[27,39],[27,40],[27,44],[27,47],[27,48],[27,50],[27,51],[27,52],[27,53],[27,54],[27,55],[27,56],[27,59],[27,60],[27,62],[27,64],[27,65],[27,67],[27,68],[27,70],[27,72],[27,73],[27,74],[27,75],[27,76],[27,77],[28,29],[28,30],[28,31],[28,32],[28,35],[28,36],[28,38],[28,40],[28,43],[28,45],[28,46],[28,47],[28,48],[28,53],[28,54],[28,60],[28,61],[28,62],[28,63],[28,64],[28,66],[28,67],[28,68],[28,70],[28,73],[28,75],[28,76],[28,77],[28,78],[28,79],[29,30],[29,31],[29,32],[29,33],[29,34],[29,35],[29,36],[29,37],[29,38],[29,39],[29,40],[29,41],[29,42],[29,43],[29,46],[29,48],[29,50],[29,51],[29,53],[29,55],[29,56],[29,57],[29,60],[29,61],[29,62],[29,63],[29,65],[29,67],[29,69],[29,70],[29,72],[29,73],[29,74],[29,76],[29,77],[29,78],[29,79],[30,31],[30,32],[30,35],[30,36],[30,37],[30,41],[30,42],[30,43],[30,44],[30,45],[30,51],[30,55],[30,59],[30,60],[30,62],[30,63],[30,64],[30,65],[30,66],[30,72],[30,75],[30,76],[31,32],[31,33],[31,34],[31,38],[31,41],[31,44],[31,45],[31,46],[31,47],[31,48],[31,49],[31,50],[31,53],[31,54],[31,56],[31,58],[31,59],[31,61],[31,62],[31,65],[31,66],[31,68],[31,69],[31,70],[31,71],[31,74],[31,76],[31,78],[31,79],[32,33],[32,38],[32,39],[32,40],[32,41],[32,45],[32,47],[32,50],[32,51],[32,53],[32,56],[32,59],[32,63],[32,64],[32,65],[32,67],[32,72],[32,73],[32,76],[32,79],[33,34],[33,38],[33,40],[33,41],[33,43],[33,44],[33,46],[33,50],[33,52],[33,55],[33,56],[33,59],[33,60],[33,64],[33,67],[33,71],[33,74],[33,75],[33,76],[33,77],[33,78],[34,36],[34,37],[34,38],[34,39],[34,42],[34,43],[34,44],[34,45],[34,46],[34,47],[34,49],[34,50],[34,55],[34,56],[34,57],[34,60],[34,61],[34,62],[34,63],[34,64],[34,65],[34,66],[34,67],[34,68],[34,69],[34,71],[34,72],[34,73],[34,74],[34,76],[34,79],[35,36],[35,38],[35,39],[35,45],[35,47],[35,49],[35,50],[35,51],[35,53],[35,55],[35,56],[35,61],[35,68],[35,69],[35,70],[35,71],[35,72],[35,74],[35,75],[35,76],[35,78],[36,40],[36,42],[36,43],[36,44],[36,45],[36,47],[36,48],[36,50],[36,51],[36,52],[36,54],[36,55],[36,56],[36,57],[36,58],[36,60],[36,66],[36,67],[36,69],[36,70],[36,71],[36,72],[36,78],[36,79],[37,39],[37,40],[37,42],[37,43],[37,49],[37,53],[37,54],[37,59],[37,61],[37,62],[37,65],[37,70],[37,71],[37,72],[37,73],[37,74],[37,75],[37,76],[37,77],[37,78],[37,79],[38,39],[38,44],[38,45],[38,47],[38,51],[38,53],[38,57],[38,58],[38,59],[38,61],[38,62],[38,65],[38,70],[38,73],[38,78],[38,79],[39,40],[39,44],[39,46],[39,49],[39,50],[39,52],[39,58],[39,61],[39,62],[39,65],[39,66],[39,68],[39,69],[39,70],[39,71],[39,72],[39,77],[40,42],[40,43],[40,44],[40,49],[40,50],[40,51],[40,52],[40,53],[40,55],[40,56],[40,57],[40,58],[40,59],[40,60],[40,61],[40,62],[40,63],[40,66],[40,67],[40,68],[40,70],[40,73],[40,74],[40,75],[40,77],[40,78],[40,79],[41,42],[41,44],[41,45],[41,47],[41,49],[41,51],[41,53],[41,55],[41,62],[41,67],[41,68],[41,69],[41,70],[41,72],[41,74],[41,75],[41,76],[41,77],[41,78],[42,44],[42,45],[42,46],[42,48],[42,49],[42,50],[42,51],[42,53],[42,54],[42,60],[42,61],[42,62],[42,63],[42,64],[42,66],[42,72],[42,73],[42,75],[42,76],[42,77],[42,78],[43,47],[43,48],[43,55],[43,56],[43,59],[43,65],[43,67],[43,68],[43,69],[43,70],[43,71],[43,72],[43,73],[43,76],[43,77],[43,78],[43,79],[44,46],[44,47],[44,48],[44,50],[44,51],[44,53],[44,55],[44,56],[44,58],[44,59],[44,60],[44,63],[44,64],[44,65],[44,66],[44,68],[44,71],[44,73],[44,75],[44,76],[44,77],[44,78],[44,79],[45,46],[45,47],[45,48],[45,50],[45,51],[45,53],[45,55],[45,56],[45,57],[45,58],[45,60],[45,61],[45,62],[45,66],[45,67],[45,71],[45,73],[45,74],[45,75],[45,76],[45,79],[46,47],[46,48],[46,49],[46,52],[46,54],[46,55],[46,56],[46,57],[46,58],[46,59],[46,62],[46,64],[46,66],[46,69],[46,71],[46,72],[46,74],[46,75],[46,76],[46,78],[46,79],[47,48],[47,50],[47,51],[47,53],[47,56],[47,57],[47,58],[47,59],[47,60],[47,61],[47,62],[47,64],[47,65],[47,68],[47,70],[47,71],[47,73],[47,75],[47,77],[47,79],[48,49],[48,52],[48,55],[48,56],[48,57],[48,58],[48,60],[48,63],[48,67],[48,71],[48,74],[48,75],[48,76],[48,79],[49,50],[49,51],[49,52],[49,54],[49,56],[49,57],[49,58],[49,59],[49,60],[49,62],[49,63],[49,64],[49,67],[49,69],[49,72],[49,74],[49,79],[50,52],[50,53],[50,54],[50,57],[50,58],[50,59],[50,60],[50,62],[50,64],[50,65],[50,66],[50,69],[50,70],[50,71],[50,72],[50,73],[50,74],[50,77],[50,79],[51,52],[51,53],[51,54],[51,56],[51,60],[51,61],[51,62],[51,63],[51,64],[51,66],[51,67],[51,68],[51,69],[51,70],[51,73],[51,77],[51,79],[52,53],[52,54],[52,55],[52,56],[52,58],[52,60],[52,62],[52,63],[52,64],[52,65],[52,68],[52,69],[52,70],[52,72],[52,73],[52,75],[52,77],[52,78],[53,54],[53,56],[53,58],[53,59],[53,62],[53,63],[53,64],[53,65],[53,66],[53,67],[53,69],[53,71],[53,73],[53,74],[53,76],[53,77],[53,79],[54,55],[54,57],[54,61],[54,62],[54,63],[54,64],[54,66],[54,68],[54,69],[54,70],[54,73],[54,77],[55,56],[55,57],[55,58],[55,61],[55,62],[55,63],[55,64],[55,65],[55,66],[55,68],[55,73],[55,75],[55,78],[56,57],[56,58],[56,59],[56,61],[56,62],[56,64],[56,68],[56,71],[56,72],[56,73],[56,74],[56,75],[56,77],[57,58],[57,59],[57,63],[57,65],[57,68],[57,71],[57,74],[57,75],[57,76],[58,61],[58,62],[58,64],[58,65],[58,66],[58,69],[58,71],[58,72],[58,75],[58,79],[59,61],[59,63],[59,64],[59,65],[59,66],[59,68],[59,70],[59,72],[59,74],[59,75],[59,77],[59,79],[60,64],[60,65],[60,66],[60,73],[60,74],[60,75],[60,77],[60,79],[61,68],[61,69],[61,72],[61,74],[61,76],[61,77],[62,63],[62,64],[62,65],[62,67],[62,68],[62,69],[62,71],[62,74],[62,77],[62,78],[62,79],[63,64],[63,65],[63,68],[63,69],[63,70],[63,74],[63,77],[64,67],[64,69],[64,73],[64,75],[64,77],[64,78],[65,67],[65,68],[65,69],[65,71],[65,73],[65,74],[65,76],[65,78],[66,68],[66,69],[66,71],[66,73],[66,79],[67,68],[67,70],[67,71],[67,74],[67,75],[67,78],[68,70],[68,72],[68,75],[68,76],[68,78],[69,71],[69,73],[69,74],[69,76],[69,77],[69,78],[70,71],[70,72],[70,74],[70,75],[70,77],[70,79],[71,75],[71,76],[71,77],[71,78],[72,74],[72,75],[72,77],[73,76],[73,79],[74,76],[74,78],[75,77],[75,79],[76,77],[76,78]]},"rotation_powers":null},"metrics":{"gamma":1.7649162890944423,"gamma_t":null,"gamma_rho":1.7649162890944423,"gamma_claim":1.4392272442235248,"gamma_t_claim":null,"gamma_rho_claim":1.4392272442235248,"v_ex":32,"rate":0.042328042328042326,"t_count":null,"poly_degree":null,"effective_width":32},"provenance":{"regimes":["AI search (gamma frontier): from Wills parent codes"],"discovery":"AI search","strongest_claim":"built from one of Wills's parent codes (weighted Reed-Muller, restricted-light or one-heavy) by searched punctures, paired-column contractions or logical-pair checks, in the pure-T distillation-exponent release (gamma = log(n/k)/log d, n < 1000); a verified witness, not a maximum -- only the release's own frontier points are the lowest gamma it knows","sources":[{"regime":"AI search (gamma frontier): from Wills parent codes","file":"gamma_frontier_release/protocols/weighted_sources_756_32_9.json","label":"weighted_sources_756_32_9","N":80,"d":6,"d_is_exact":false,"origin":"Triorthogonal; matrix verified","provenance":"gamma frontier release record weighted_sources_756_32_9 (source catalogue id weighted_sources_756_32_9); construction: Triorthogonal; matrix verified; matrix 0129c9c47d049a17...; the release states d=9 (lower_bound), gamma=1.4392272442235248 (certified_upper_bound)","notes":"matrix gamma_frontier_release/matrices/0129c9c47d049a17dceb9026e43fad5aff14a11ce6a83c7a6cb59438483fe5ef.matrix"}]},"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"}]}