{"id":"742.36.6.a","row":1209,"stored":{"file":"master_catalog.json","row":1209,"construction":null,"columns_sha256":null},"parameters":{"n":742,"k":36,"d":6,"N":78,"r":42,"level":3},"gate":{"string":"0+1+2+3+4+5+6+7+8+9+10+11+12+13+14+15+16+17+18+19+20+21+22+23+24+25+26+27+28+29+30+31+32+33+34+35","human":"T0\u00b7T1\u00b7T2\u00b7T3\u00b7T4\u00b7T5\u00b7T6\u00b7T7\u00b7T8\u00b7T9\u00b7T10\u00b7T11\u00b7T12\u00b7T13\u00b7T14\u00b7T15\u00b7T16\u00b7T17\u00b7T18\u00b7T19\u00b7T20\u00b7T21\u00b7T22\u00b7T23\u00b7T24\u00b7T25\u00b7T26\u00b7T27\u00b7T28\u00b7T29\u00b7T30\u00b7T31\u00b7T32\u00b7T33\u00b7T34\u00b7T35","monomials":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12],[13],[14],[15],[16],[17],[18],[19],[20],[21],[22],[23],[24],[25],[26],[27],[28],[29],[30],[31],[32],[33],[34],[35]],"sk_key":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12],[13],[14],[15],[16],[17],[18],[19],[20],[21],[22],[23],[24],[25],[26],[27],[28],[29],[30],[31],[32],[33],[34],[35]],"sk_fingerprint":"3b36115a70649ee6","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[36],[38],[36,37,38],[39],[37,39],[36,37,39],[38,39],[36,37,39,40],[36,38,39,40],[37,41],[36,37,39,41],[38,39,41],[37,40,41],[37,38,40,41],[42],[44],[42,43,44],[45],[43,45],[42,43,45],[44,45],[42,43,45,46],[42,44,45,46],[43,47],[42,43,45,47],[44,45,47],[43,46,47],[43,44,46,47],[48],[50],[48,49,50],[51],[49,51],[48,49,51],[50,51],[48,49,51,52],[48,50,51,52],[49,53],[48,49,51,53],[50,51,53],[49,52,53],[49,50,52,53],[54],[56],[54,55,56],[57],[55,57],[54,55,57],[56,57],[54,55,57,58],[54,56,57,58],[55,59],[54,55,57,59],[56,57,59],[55,58,59],[55,56,58,59],[60],[62],[60,61,62],[63],[61,63],[60,61,63],[62,63],[60,61,63,64],[60,62,63,64],[61,65],[60,61,63,65],[62,63,65],[61,64,65],[61,62,64,65],[66],[68],[66,67,68],[69],[67,69],[66,67,69],[68,69],[66,67,69,70],[66,68,69,70],[67,71],[66,67,69,71],[68,69,71],[67,70,71],[67,68,70,71],[72],[74],[72,73,74],[75],[73,75],[72,73,75],[74,75],[72,73,75,76],[72,74,75,76],[73,77],[72,73,75,77],[74,75,77],[73,76,77],[73,74,76,77],[5,6,7,9,10,11,12,13,15,17,18,21,25,26,27,30,31,34,35,40,42,45,48,49,50,52,53,54,56,58,61,62,64,65,67,69,72,74,75,76],[0,3,4,5,6,8,9,10,13,14,15,16,17,21,22,24,26,27,28,33,36,41,44,46,47,48,49,52,53,54,56,57,58,59,60,61,62,64,65,68,69,70,71,72,74,75],[0,2,3,5,9,15,17,18,19,20,21,24,27,28,32,33,34,36,42,43,44,47,48,50,51,52,55,56,58,61,63,64,69,71,73,74,76,77],[1,2,4,5,8,9,17,18,19,20,23,24,25,26,27,29,31,37,42,45,47,49,50,53,55,57,58,59,61,62,63,65,66,69,70,71,72,73,75,76],[1,7,11,12,14,15,16,18,21,22,23,24,26,29,30,32,35,37,40,41,42,43,46,47,48,49,50,51,52,53,56,60,62,64,65,66,67,68,71,72,74,75,76,77],[1,5,6,9,10,13,14,16,17,22,23,24,25,27,29,31,32,34,37,41,43,45,46,47,51,54,58,60,61,66,68,69,71,77],[0,1,2,3,6,10,13,14,15,16,18,19,20,21,22,23,25,28,29,31,33,36,37,41,42,44,45,46,48,50,52,54,55,56,60,63,64,66,68,73,74,76],[0,1,2,3,4,7,8,11,13,16,17,18,20,21,22,23,29,30,37,38,41,45,47,48,50,56,59,61,62,63,64,66,67,68,69,70,72,73,74,76],[1,4,6,8,10,12,16,17,18,19,21,22,23,24,25,26,28,29,31,32,33,35,36,37,38,40,41,43,44,48,49,50,51,53,54,55,56,59,61,64,65,66,68,69,70,71,74,75,76,77],[1,3,6,10,17,22,23,24,27,31,32,33,34,35,39,40,41,43,44,45,46,47,49,56,58,65,66,67,69,70,71,75],[2,3,4,7,8,11,12,13,15,17,19,20,21,22,27,29,30,31,32,33,37,39,41,43,44,45,46,48,49,52,54,55,57,58,59,63,64,65,69,73,74,75],[0,4,5,7,8,9,11,12,13,18,22,24,28,29,30,31,34,36,37,39,41,42,45,46,47,49,50,51,54,56,57,59,61,65,71,75,76,77],[0,1,2,4,5,7,8,9,11,14,17,18,20,21,22,23,25,30,33,35,38,39,40,41,44,45,47,48,49,50,51,54,59,60,62,63,64,65,66,69,72,73,74,75,76,77],[1,2,3,6,7,10,11,13,15,16,18,20,23,24,25,26,27,28,30,35,36,38,39,40,45,46,50,51,52,53,56,57,58,61,63,66,68,70,71,73,76,77],[1,2,3,8,9,11,13,14,15,17,21,22,26,27,29,30,31,32,33,36,38,39,41,42,43,44,46,47,48,51,55,56,58,59,60,62,64,66,68,69,70,73,75],[0,1,2,4,7,9,10,11,12,13,14,17,18,20,21,24,28,30,31,37,38,39,41,42,43,46,47,50,52,53,54,55,56,58,59,60,62,63,64,65,66,68,69,74,75,76,77],[1,4,6,7,11,13,16,17,21,22,23,24,28,31,32,33,34,35,38,40,41,42,44,45,46,48,49,50,53,55,57,58,61,62,64,67,68,70,71,75,77],[0,1,5,6,12,13,16,19,21,22,23,25,27,28,29,30,31,32,36,38,39,40,43,44,47,48,51,53,55,56,57,59,61,63,64,65,66,67,69,70,72,75,76,77],[3,5,8,10,11,15,17,18,19,20,22,25,26,28,30,32,34,35,37,39,41,42,43,44,45,46,47,48,49,52,53,54,56,58,59,62,66,68,69,70,71,72,73,74,77],[1,2,5,9,10,13,14,18,19,20,21,25,27,28,29,31,33,34,35,36,37,38,45,49,51,52,53,54,55,60,64,71,72,74,75,77],[2,4,5,6,7,9,10,11,14,16,17,18,19,20,22,23,24,25,27,29,32,36,37,40,41,42,44,46,48,50,51,52,54,57,58,60,61,62,67,68,70,72,74],[0,3,4,5,6,7,9,12,15,16,17,18,19,20,21,22,25,26,32,34,38,39,40,41,42,44,51,53,55,56,57,58,62,65,66,67,68,70,72,73,74,75,76],[0,2,5,8,12,14,17,18,19,20,21,22,23,24,25,27,28,29,30,32,35,36,38,41,42,43,44,45,47,49,50,55,58,59,60,61,62,65,68,69,70,71,72,74,75,76,77],[2,5,7,14,18,19,21,27,28,31,32,33,35,36,43,49,50,51,52,53,59,62,64,69,72,73,75,76,77],[0,3,6,7,8,9,11,12,15,16,17,18,21,23,25,26,27,31,32,35,36,40,41,42,43,46,49,50,51,52,57,58,59,60,61,63,64,65,67,68,69,75],[0,1,3,4,8,9,12,13,15,18,22,24,25,26,27,28,33,34,36,38,43,44,45,48,51,52,53,55,59,60,62,63,65,69,70,71,77],[0,1,3,4,5,6,10,12,13,15,16,17,18,19,21,22,26,29,37,39,40,41,42,43,44,45,50,51,53,54,56,57,58,59,60,65,66,67,68,69,70,71,72,75],[2,3,5,6,7,9,11,14,15,16,19,20,22,24,26,28,29,30,31,38,40,44,45,46,47,51,52,55,57,62,63,64,67,70,71,72,74,76,77],[2,4,5,6,8,9,10,11,12,13,14,16,17,18,19,21,23,26,27,28,30,32,33,37,39,40,43,45,46,53,54,58,59,60,62,64,67,70,72,73,74,75,77],[1,2,5,6,9,12,14,19,23,24,25,27,33,35,36,38,39,40,42,44,45,46,49,54,55,56,59,60,62,63,64,65,66,68,69,71,73,77],[0,1,3,6,11,13,16,17,22,25,27,28,29,30,34,36,39,41,42,45,47,48,49,54,56,61,62,64,66,69,74,75,76,77],[0,2,3,6,7,8,13,14,16,18,19,23,25,26,28,30,32,34,35,36,37,39,40,41,42,43,45,46,47,50,55,56,57,61,63,64,65,67,69,70,72,74],[2,4,7,10,13,14,16,19,21,22,23,24,25,27,28,29,30,36,38,40,42,44,46,48,50,53,54,56,57,58,62,68,69,71,74,76,77],[5,6,7,8,9,11,12,17,18,22,24,25,26,29,32,33,36,37,38,39,42,43,44,45,48,50,56,57,59,60,64,67,68,69,70,71,72,73,75,76],[0,1,3,5,7,8,9,12,13,16,18,24,26,27,28,30,32,33,34,37,38,41,43,44,47,49,50,54,57,59,60,61,62,66,67,68,70,71,72,73,74,77],[1,2,3,4,5,7,8,10,12,14,15,18,19,23,24,25,26,27,30,34,35,36,39,40,41,42,45,46,47,48,50,51,58,59,62,65,67,69,76],[0,7,9,15,21,22,24,27,29,30,32,33,35,37,39,43,45,49,50,51,53,56,60,61,62,65,66,70,72,73],[0,3,5,10,12,14,16,19,20,21,22,24,26,29,30,31,33,34,36,37,42,43,48,52,53,54,55,57,59,62,64,66,67,68,69,70,73,74,77],[4,7,9,11,14,16,17,19,20,22,24,25,26,27,29,30,31,35,37,41,43,47,48,50,52,56,58,60,61,63,64,65,66,67,68,70,74,75],[0,1,3,4,6,7,9,13,14,19,20,24,26,28,31,34,35,36,37,39,42,43,45,49,50,52,54,58,60,62,63,65,67,68,69,70,76,77],[0,1,2,4,5,6,9,11,12,15,16,17,20,21,23,24,26,27,31,32,35,36,38,40,41,42,44,46,47,48,51,52,53,54,55,56,58,59,60,65,66,67,69,71,72,74,75,77],[0,4,11,14,15,16,17,19,20,21,25,26,31,32,33,39,41,45,47,48,49,51,52,53,58,62,63,64,67,68,72,73,74,75],[0,1,2,6,8,9,10,12,13,14,15,17,19,20,21,22,23,24,26,30,31,32,34,36,40,41,47,49,51,52,54,56,58,60,64,65,66,67,68,69,71,73,76],[1,2,5,6,8,10,13,19,23,28,29,31,36,37,38,41,43,48,50,51,52,54,56,57,58,59,60,61,62,65,67,71,72,74,75,77],[2,4,5,7,9,15,18,20,21,24,25,26,29,31,32,33,34,36,38,42,43,48,51,53,55,56,58,60,62,68,69,70,71,72,75],[2,3,4,6,7,9,10,12,19,20,22,23,24,26,29,30,32,34,37,38,39,44,48,49,51,52,53,55,57,58,59,61,62,63,66,68,73,75,76],[0,3,6,9,10,14,17,18,19,20,23,24,25,26,28,29,31,32,33,34,36,38,39,40,42,44,47,48,50,52,56,60,62,63,64,68,70,71,74,75,77],[1,2,3,8,12,13,15,18,21,22,25,28,29,30,33,38,39,41,42,44,48,49,50,51,54,58,62,63,65,66,67,69,70,73,74,75,76,77],[1,3,4,5,7,8,9,12,13,20,22,24,26,28,30,31,32,34,36,39,41,43,44,49,50,53,54,55,56,60,63,65,66,67,68,71,72,73,74,76,77],[0,1,3,5,6,7,8,10,11,12,14,19,22,23,26,28,29,30,31,34,40,41,42,44,45,48,51,52,53,56,59,64,65,70,73,75],[3,4,11,13,17,18,25,26,28,31,33,34,38,43,44,45,47,49,51,54,55,56,59,62,66,67,72,76],[1,4,7,8,10,14,16,17,18,20,23,25,26,27,28,30,33,34,35,36,37,39,41,42,46,47,48,49,56,58,60,61,63,65,67,68,71,72,73,74,75,76],[0,3,10,13,15,16,18,20,21,23,25,26,27,28,29,30,31,33,34,35,38,40,42,44,46,49,53,54,55,57,58,59,62,64,68,69,72,73,74,76],[0,2,3,4,5,7,9,10,13,16,23,24,27,28,30,32,35,36,40,43,44,46,48,49,51,54,56,57,59,60,64,70,71,73,74,75,76],[0,1,2,4,5,6,8,11,13,15,16,17,19,20,21,27,28,30,31,35,36,37,38,40,41,42,45,46,47,48,50,52,53,54,59,60,61,62,64,65,66,68,69,71,72,73,75,77],[0,4,10,11,15,16,17,20,21,23,27,29,30,35,40,42,43,45,46,47,51,53,56,57,58,64,66,67,68,69,73,74],[0,1,3,4,5,6,11,12,16,19,21,23,24,26,28,29,30,31,32,34,36,38,43,46,47,48,49,50,52,53,54,58,59,61,63,65,69,74,76],[0,2,3,4,5,6,7,10,12,13,14,15,19,21,24,27,28,29,31,38,39,40,42,43,44,45,47,48,49,52,53,54,55,56,59,61,62,63,64,65,70,71,72,75,76,77],[1,2,3,4,7,10,11,12,16,17,19,20,21,22,23,25,27,28,30,32,33,34,36,37,38,40,43,45,48,50,51,52,54,56,60,61,63,65,71,72,76],[1,3,5,7,8,10,11,13,14,15,16,19,22,24,25,28,29,30,32,34,39,40,41,43,44,45,46,49,50,53,55,56,57,60,62,63,64,65,66,71,73,76,77],[1,4,5,7,8,10,11,12,16,17,20,21,24,26,29,30,32,33,34,37,38,40,41,42,45,48,49,50,51,52,53,54,56,57,58,61,66,69,70,71,73,74,75],[0,3,6,7,8,10,17,19,20,23,28,31,33,36,37,40,41,42,43,45,46,47,51,56,57,59,63,65,66,70,71,73,75,76],[0,1,2,4,6,8,11,12,16,21,22,25,27,30,31,32,34,38,41,42,46,47,48,50,52,54,57,59,60,61,66,70,72,73,75],[2,6,9,10,11,12,14,16,18,19,20,24,25,27,29,31,34,37,42,43,44,48,50,58,59,61,64,66,67,70,71,72,73,74,75,76,77],[0,5,7,9,11,12,14,16,17,18,19,22,26,33,34,40,42,43,44,45,46,47,48,49,50,51,53,56,60,61,64,66,67,69,70,73,75,76,77],[0,1,2,7,9,10,12,14,15,18,19,21,23,26,29,30,31,33,34,35,38,39,41,43,44,45,47,49,54,55,57,59,61,63,68,69,70,73,74,76,77],[1,2,4,6,8,9,13,18,19,22,25,29,30,33,34,35,36,40,43,48,49,52,56,58,60,62,63,64,66,68,70,71,76],[3,6,7,8,9,10,11,12,13,16,17,18,20,21,23,27,28,29,32,35,37,38,45,49,50,51,54,58,61,62,64,65,66,68,70,72],[1,3,8,10,11,15,16,17,19,21,24,25,26,27,28,30,31,35,36,38,39,40,43,46,48,49,50,51,54,55,56,58,59,64,65,67,68,69,70,72,73,76],[0,1,2,4,5,6,7,8,11,12,13,14,16,17,25,26,29,30,35,36,42,44,45,46,47,50,51,52,53,58,61,62,63,67,68,69,71,73,75,77],[0,1,2,4,5,7,8,15,17,19,20,23,24,25,26,27,28,30,34,37,39,40,42,43,44,46,47,49,52,53,55,57,59,60,64,65,68,70,75],[0,1,2,3,4,6,7,8,9,10,11,14,17,23,24,25,27,28,31,32,33,34,35,36,38,39,40,42,43,46,47,48,49,50,51,53,55,56,57,58,59,60,61,62,65,66,69,70,71,76,77],[0,3,5,6,7,8,14,15,16,17,18,19,20,21,23,24,26,29,31,33,34,36,39,41,42,44,45,46,49,51,54,55,57,59,60,62,66,70,77],[1,3,5,7,9,10,11,12,14,15,18,20,23,24,25,26,28,29,32,33,35,36,37,39,40,41,43,44,47,49,50,51,52,54,56,57,58,59,61,62,63,67,70,71,72,77],[0,1,3,5,8,12,14,15,16,17,20,21,25,26,28,30,33,34,36,38,40,42,43,44,45,46,47,48,51,55,60,62,63,64,67,68,69,72,75,76,77],[2,3,4,7,12,14,16,19,21,23,24,27,33,36,37,38,39,45,48,49,51,52,53,57,59,62,63,65,67,69,70,72,76,77],[0,2,4,5,6,8,12,15,17,18,20,26,27,29,31,34,37,38,41,42,44,46,48,52,53,54,55,60,63,65,66,67,69,72,76],[2,6,8,10,13,14,15,16,20,22,23,25,27,28,29,31,32,36,39,40,41,42,44,48,49,50,55,58,64,65,66,67,68,69,70,71,72,73,76,77],[1,3,4,8,10,13,15,18,20,21,22,23,30,32,33,37,39,42,43,44,45,47,48,49,50,51,52,53,54,55,58,62,67,69,70,71,72,73,75,76],[3,4,5,6,8,10,11,13,14,17,19,22,23,25,26,27,30,32,33,36,37,43,49,50,51,53,55,57,60,61,63,65,67,68,70,71,74,75,76],[0,2,5,6,9,12,13,18,22,23,25,26,29,34,35,37,41,42,43,46,49,54,56,57,58,62,64,70,72,74,76,77],[2,3,7,8,9,12,13,14,15,16,17,19,20,21,22,24,25,31,33,35,36,37,39,43,44,45,51,55,56,58,59,60,64,66,72,74,76],[5,7,11,12,14,15,17,20,21,23,24,26,27,28,29,30,31,36,38,40,41,42,43,44,45,49,52,58,59,60,61,62,64,65,66,67,70,73,74,75,76],[0,1,2,3,4,5,6,8,9,10,12,15,20,21,25,26,29,30,32,33,34,35,39,41,44,45,46,47,48,50,51,52,53,55,56,57,64,67,69,71,73,74,75,77],[1,2,3,4,5,9,10,15,16,17,18,20,23,24,25,27,30,31,32,34,36,38,42,43,45,49,50,59,60,64,66,67,68,69,70,71,72,73,74,76],[2,9,11,12,14,15,16,18,20,24,26,27,28,32,33,38,39,40,45,46,47,50,52,55,60,62,65,66,67,72,76,77],[2,4,5,6,7,8,9,12,17,21,22,25,26,27,28,32,36,37,38,40,42,43,44,45,47,51,52,54,55,61,62,66,68,69,70,71,73,74,75,76],[0,3,4,11,12,13,15,17,18,20,21,22,23,25,27,29,31,32,33,34,35,39,40,41,42,46,47,51,53,56,61,63,66,67,68,73,77],[0,1,2,4,6,7,8,9,10,12,13,14,15,17,18,20,25,29,30,35,37,38,40,41,42,44,45,47,49,53,54,56,59,63,64,65,67,68,73,75,76],[0,3,5,6,7,8,12,13,14,16,23,24,27,29,31,32,34,35,36,37,40,41,43,44,47,50,53,54,56,60,63,65,66,69,70,71,72,74,75],[0,2,3,4,9,13,14,16,17,21,22,23,24,25,26,28,29,31,34,35,38,41,42,45,50,51,52,53,55,56,60,61,62,63,65,68,72,73,76],[0,1,2,3,4,6,11,12,16,18,19,21,26,29,30,33,37,44,48,50,52,53,54,56,57,60,62,63,64,65,67,68,70,71,75],[0,2,4,7,8,10,11,15,19,20,22,23,24,28,29,31,33,34,40,47,48,49,51,53,55,56,57,59,61,63,65,68,70,71,72],[0,1,4,5,7,11,14,15,16,18,21,22,24,25,26,31,32,35,38,39,41,42,45,46,48,51,53,54,58,59,61,63,64,67,68,69,70,72,73,76,77],[2,4,7,9,10,12,13,14,15,18,25,26,29,30,31,32,33,36,40,42,43,47,48,49,50,54,56,58,60,67,68,71,73,74],[5,6,8,10,13,14,15,17,18,21,22,27,28,29,30,31,33,37,38,44,45,48,49,50,51,52,55,56,58,60,61,62,66,67,69,70,75,76],[0,2,8,13,15,16,19,22,23,25,27,30,33,34,36,38,39,40,42,43,45,46,47,51,52,53,54,57,58,59,61,62,63,66,70,73,74,76,77],[0,8,9,11,12,13,14,18,19,20,22,23,24,25,26,28,30,32,34,36,42,43,50,51,53,54,55,57,58,59,60,61,63,65,67,70,72,73,74],[0,1,5,6,7,11,13,14,16,19,20,21,22,26,27,28,29,31,34,36,37,38,43,44,48,49,51,54,58,65,66,67,68,70,72,73,74,75,76,77],[6,8,10,11,13,15,16,20,22,24,28,30,31,32,33,34,35,40,44,46,51,52,53,54,56,59,61,66,70,71,72,73],[0,1,2,3,6,8,12,13,17,18,21,24,29,30,31,33,34,36,37,38,39,40,45,46,48,49,50,51,53,55,56,60,61,67,68,69,70,72,74,75,76,77],[0,4,7,8,9,11,15,16,17,18,19,21,22,25,27,29,31,32,33,35,41,45,47,48,52,53,55,57,62,67,71,72,73,74],[0,2,3,4,5,6,8,9,10,11,12,13,14,16,21,22,25,26,29,33,34,39,41,43,47,48,50,51,53,57,58,59,60,62,65,67,69,70,73,74],[1,2,3,4,7,8,9,10,12,19,20,25,27,28,31,33,36,37,38,39,41,44,47,49,50,53,54,57,59,60,62,66,68,69,72,75,76,77],[0,4,6,7,9,10,13,17,18,19,20,21,24,25,27,28,29,30,34,40,41,44,45,46,47,48,51,54,55,56,57,59,61,62,66,67,70,74],[0,2,4,5,6,7,8,15,17,20,22,23,25,26,30,32,37,38,39,41,42,44,46,47,50,54,56,57,58,59,60,62,63,69,73,74,76,77],[0,3,4,6,11,12,14,15,16,18,19,23,24,25,27,28,32,33,37,38,40,41,42,43,45,47,53,55,57,59,61,62,63,65,66,74,76,77],[0,1,3,4,5,10,11,15,17,18,20,22,27,28,29,30,32,33,36,37,39,42,45,47,48,51,52,55,57,58,60,64,65,66,67,70,71,73,74,75,76],[0,3,6,8,9,10,11,13,14,22,25,26,27,29,30,34,35,38,39,41,42,43,44,48,49,53,54,60,62,64,67,68,73,74,77],[1,2,9,10,11,12,14,17,18,21,22,24,25,26,27,31,33,35,36,37,40,41,42,43,44,45,46,50,51,54,55,56,61,62,64,69,70,72,73,75,76],[4,6,9,11,12,18,19,20,23,26,29,31,37,39,45,46,47,48,49,51,52,53,55,56,57,60,63,64,65,67,68,70,71,72,76],[4,8,9,10,12,13,15,16,18,19,22,23,24,26,28,29,30,32,33,34,35,37,39,40,44,45,47,48,49,54,55,57,59,60,61,63,64,65,66,67,68,73,76],[1,2,4,5,11,12,13,16,17,19,20,21,22,24,27,31,33,34,36,37,40,42,44,45,46,47,49,50,54,55,59,62,64,65,66,71,72,73,75,77],[0,1,4,7,9,10,11,17,18,19,22,23,27,28,30,31,33,35,36,39,41,42,43,44,45,50,52,55,57,60,61,63,64,65,67,68,73,75,76,77],[1,2,3,5,8,9,10,12,13,14,15,19,20,21,22,23,24,25,27,28,32,33,37,38,39,42,44,46,47,51,52,56,57,61,64,68,74,75,77],[1,2,3,4,5,6,8,12,24,27,28,29,31,35,37,40,42,43,44,45,46,51,53,56,58,61,62,64,65,68,69,72,74,76,77],[0,2,4,5,6,7,12,14,15,16,18,19,22,24,25,28,29,30,31,32,33,34,37,38,41,45,46,49,53,54,58,59,60,61,63,65,66,67,68,69,71,75],[0,1,6,7,11,13,14,15,17,18,20,21,25,27,28,29,30,32,36,38,40,41,42,44,47,50,53,55,58,60,61,62,63,64,67,68,69,72,73,77],[0,2,3,5,6,7,8,9,10,11,12,17,18,19,22,23,24,29,30,33,36,37,39,40,41,46,50,51,52,53,55,56,57,58,60,62,63,67,69,72,73,74,75],[0,1,2,5,7,8,9,10,12,14,17,21,24,26,27,28,35,36,40,43,45,46,48,50,52,53,55,57,58,59,61,64,65,67,68,70,72,75],[0,1,2,3,4,5,7,11,12,15,16,21,23,24,25,26,27,31,32,34,35,38,39,43,46,48,49,51,53,54,56,58,62,64,66,67,70,71,73,74,75],[1,4,8,9,11,12,13,15,20,21,22,23,26,27,30,31,35,36,38,39,40,41,42,45,46,47,48,51,53,56,58,59,60,61,62,66,67,70,75,77],[1,3,4,6,9,12,15,16,17,19,23,26,27,28,29,30,31,33,34,38,39,40,41,42,43,45,46,48,49,50,54,55,60,62,67,68,69,70,71,73,74,76,77],[2,4,5,6,8,10,13,14,16,17,20,21,22,24,25,26,29,30,31,32,34,37,40,41,43,44,45,47,48,49,50,51,52,54,55,56,57,60,61,62,64,67,69,70,71,73,75,76],[1,2,4,5,6,10,18,21,22,23,24,25,27,29,31,32,36,39,40,43,44,51,52,53,56,57,58,61,63,65,66,67,69,73],[0,2,5,6,7,9,11,17,19,21,24,25,28,29,30,32,33,35,40,41,42,45,50,51,53,55,56,58,60,64,66,68,69,75,76,77],[0,1,5,6,8,9,15,16,17,18,20,21,23,27,28,31,32,34,35,36,37,39,41,43,44,48,50,51,52,53,56,58,59,60,61,65,66,67,69,71,72,77],[0,3,4,5,13,14,15,18,19,21,22,23,24,26,27,31,32,33,34,37,39,40,41,44,46,48,49,50,51,54,55,57,58,59,61,63,67,69,70,71,73,74],[1,5,6,7,8,9,10,11,12,13,14,16,17,18,19,23,24,28,29,31,32,34,35,38,39,41,45,46,48,50,52,53,55,58,62,63,68,69,71,74],[0,1,2,5,6,7,8,12,24,25,27,28,31,33,36,38,40,41,45,47,48,49,50,51,52,55,56,58,59,62,64,66,68,70,71,74,75],[0,1,2,3,4,6,8,10,11,18,20,22,23,24,25,26,27,28,29,32,34,39,43,47,51,52,54,55,57,59,60,64,65,69,72,73,74,75,77],[2,3,4,5,9,10,11,15,16,17,21,22,24,25,26,29,31,35,36,37,41,44,47,48,50,53,54,55,56,57,58,61,64,66,67,71,73,74,75],[1,2,3,4,6,7,8,12,13,14,15,18,19,21,22,23,25,26,28,32,34,36,37,38,39,44,45,46,47,52,54,56,57,61,62,63,64,66,67,68,69,73,75],[1,3,4,5,6,8,10,12,13,14,17,21,24,28,30,31,34,35,36,39,42,44,46,47,49,51,52,55,58,59,61,63,64,65,66,69,73,74,76],[0,1,3,4,5,6,7,8,11,15,17,19,20,27,28,29,30,31,34,35,37,38,39,42,43,45,47,49,52,56,58,60,62,64,67,68,69,72,73,76,77],[0,5,8,9,11,12,13,15,16,17,18,19,26,27,30,31,32,33,34,35,39,41,42,45,47,48,51,52,53,54,55,56,62,64,65,69,71,72,73,76],[0,2,5,7,8,11,13,19,20,21,23,24,25,26,27,30,31,37,38,40,41,42,43,44,48,49,51,52,54,56,60,61,67,68,70,71,73,74,75,76,77],[0,1,2,6,9,10,12,14,16,17,18,20,21,25,26,27,28,29,30,32,34,35,37,39,40,42,43,44,45,46,49,50,51,53,54,55,56,58,60,61,62,63,67,69,70,73,75,76,77],[0,1,2,5,6,14,17,18,19,22,25,27,28,29,31,32,33,35,37,45,46,47,49,50,55,57,59,62,63,64,67,72,73,75],[1,2,3,4,6,13,15,17,21,23,24,25,26,28,29,34,35,39,40,41,44,45,47,48,51,54,58,61,62,64,69,70,71,72,74,75],[0,2,6,7,9,12,20,21,23,24,29,31,34,35,37,39,40,41,42,44,45,47,48,51,52,53,55,61,62,64,66,67,69,70,72,77],[0,1,7,9,10,13,14,16,17,22,24,26,28,29,31,33,36,37,38,39,40,43,44,45,47,48,49,50,52,56,57,60,62,64,65,66,69,70,73,74],[0,6,7,8,9,14,15,17,18,20,21,25,27,29,32,33,34,37,39,41,44,46,47,48,50,53,57,60,63,64,67,68,69,71,74],[0,1,2,3,6,7,8,11,15,17,19,22,23,25,29,36,37,38,39,40,41,42,44,45,46,48,49,50,51,53,57,58,61,63,65,66,67,70,71,74,75],[3,6,9,10,11,12,13,16,17,18,19,26,27,28,32,35,40,41,43,45,47,50,53,55,56,57,58,64,66,67,68,69,70,72,73,74,75,77],[0,2,3,7,10,11,13,16,17,18,19,20,21,23,24,26,27,28,29,31,32,34,37,39,42,43,44,48,50,51,52,56,57,58,61,62,68,73,74,75],[2,3,6,8,9,10,11,13,14,15,16,19,23,24,25,26,28,31,33,41,42,43,46,47,51,52,53,56,58,60,61,62,63,64,67,69,71,73,75],[1,4,7,8,9,10,11,13,15,17,18,20,21,23,26,27,29,30,31,38,40,41,44,45,46,47,48,49,56,57,59,60,61,64,67,71,73,74,76],[1,2,4,7,9,10,11,12,13,14,20,21,24,25,26,29,30,32,33,35,38,41,42,44,47,48,49,50,51,52,55,56,59,62,63,64,66,67,68,70,72,73,76,77],[0,3,5,10,11,12,13,14,16,17,18,20,22,23,32,33,34,35,37,40,41,42,48,49,50,52,53,54,55,56,59,60,64,66,71,72,73,76],[0,1,5,8,9,10,13,14,15,16,18,19,21,23,24,25,31,32,33,36,37,38,40,41,42,46,47,48,53,54,56,57,58,59,60,62,63,65,66,69,73,74,75,76,77],[1,5,6,7,10,13,16,17,19,20,23,24,27,29,31,34,36,38,39,40,42,44,50,54,56,58,59,62,64,65,66,67,68,71,73,75,76,77],[1,2,4,5,8,9,10,11,12,13,14,15,17,18,19,20,22,23,24,28,30,33,35,38,39,43,45,46,47,48,51,53,54,55,56,58,62,66,67,68,72,73,75],[0,2,4,5,7,8,11,12,15,16,18,19,20,23,26,29,30,31,35,36,37,40,44,46,49,50,51,52,53,54,55,57,58,60,64,65,67,68,69,70,72,74,75],[2,3,4,6,8,13,16,17,19,25,27,28,33,35,36,38,39,41,42,45,46,47,48,50,51,53,55,56,58,61,66,71,72,73,75,76],[3,4,5,9,10,13,14,18,20,21,24,25,27,28,30,32,37,38,39,41,42,43,44,46,49,50,51,53,54,56,58,59,62,63,67,68,72,75,76],[2,3,4,10,11,12,13,16,17,21,22,25,29,31,32,35,38,40,41,42,44,47,50,52,53,54,57,58,63,68,73,74,75,77],[2,3,4,5,6,7,11,12,15,18,19,21,23,25,29,33,34,35,36,38,39,40,42,43,44,45,47,48,50,51,52,55,57,59,63,64,68,69,72,73,76,77],[2,7,8,9,13,14,15,20,21,22,23,24,30,31,34,35,37,39,41,44,47,49,51,53,58,61,62,63,64,66,67,68,69,71,72,73,74,75,76],[3,4,6,7,9,14,15,16,17,19,20,21,22,23,24,25,27,28,30,31,33,34,36,37,38,42,44,45,46,48,49,50,55,56,62,63,64,67,68,69,74],[2,6,7,9,10,11,12,13,14,15,19,20,23,24,27,28,29,30,32,33,34,35,36,37,40,41,45,46,47,48,49,52,53,54,55,56,57,58,62,64,67,69,73,75,77],[0,3,5,9,11,12,13,14,15,16,17,19,21,22,25,26,27,30,31,32,33,34,38,39,40,41,42,43,50,51,52,53,54,55,58,62,63,65,67,68,70,73,77],[0,3,5,6,8,9,10,13,14,15,16,17,25,26,28,29,30,34,36,38,41,42,43,44,45,46,48,50,53,56,57,58,61,62,65,66,67,70,71,72,73,74,76],[1,4,7,8,9,10,14,15,16,18,19,20,21,22,32,34,35,36,42,43,44,46,47,48,54,58,60,61,62,65,66,67,70,72,77],[1,4,5,9,10,11,12,13,14,17,19,20,22,23,27,28,29,32,35,36,40,41,42,47,48,52,53,54,56,57,59,60,62,63,64,65,67,68,69,70,71,72,75],[1,2,3,5,9,14,16,19,20,21,23,25,27,28,31,36,38,44,48,50,56,58,59,60,62,64,65,67,69,70,71,72,73,74,77],[0,1,5,6,8,9,10,11,12,13,14,15,16,18,19,21,22,23,24,26,28,34,35,37,39,40,41,42,45,47,49,51,52,53,56,60,61,62,64,66,67,69,72,73,74],[0,1,3,4,6,8,11,12,15,16,19,20,22,23,25,26,27,30,32,34,35,38,40,43,44,45,46,47,50,52,54,58,59,60,61,63,64,66,68,69,73,74,75,76],[0,4,6,11,12,14,16,17,18,19,21,23,27,30,33,36,37,38,39,40,43,44,47,50,51,52,56,58,61,62,63,64,65,70,74,75,76,77],[0,1,2,3,4,7,10,13,15,19,20,24,26,27,28,29,30,31,34,35,36,43,44,46,48,51,54,57,58,59,60,61,62,66,71,72,73,75],[0,5,7,10,11,14,15,16,17,20,23,24,29,30,35,37,38,39,40,41,42,43,45,46,48,52,53,54,58,61,63,64,65,66,73,76,77],[1,2,3,4,5,8,10,11,12,15,16,18,19,21,22,23,24,25,27,28,29,31,32,34,36,37,44,45,47,48,49,52,55,58,59,60,61,62,63,67,72,73,74,76],[0,4,6,8,10,11,13,15,16,19,22,23,24,25,26,27,29,30,32,33,36,37,41,42,43,44,48,49,50,52,53,55,56,57,62,63,67,70,71,73,76],[8,10,12,13,14,15,17,18,21,22,24,25,26,29,32,38,39,40,41,42,47,48,49,51,53,55,57,58,61,64,65,67,71,73,74,75,77],[0,5,7,8,11,12,13,16,18,20,21,22,23,25,26,30,32,35,37,43,45,46,47,49,51,52,54,55,57,63,66,67,71,74,75,76],[0,2,4,5,7,9,10,11,12,14,15,18,19,20,21,22,24,28,33,34,36,37,39,40,41,45,46,47,50,51,54,55,56,57,58,59,60,62,63,65,67,68,71,72],[0,2,6,9,11,14,22,27,28,29,34,35,37,39,40,42,44,48,53,55,57,58,59,60,63,65,66,67,68,70,71,72,73,74,75],[0,2,3,6,9,10,12,13,16,19,20,22,23,26,27,28,29,32,36,37,38,39,41,45,46,49,51,53,55,56,58,59,62,63,64,65,69,70,71,72,73,75,76],[1,5,8,9,12,13,14,15,16,17,19,20,23,24,25,26,27,30,31,33,34,36,37,40,41,43,46,48,50,53,58,60,62,63,67,69,71,76,77],[0,1,7,8,9,10,11,12,13,19,25,26,27,29,31,33,34,35,36,38,39,42,45,50,52,54,60,61,62,64,65,66,67,69,71,73],[3,4,5,6,7,8,10,11,12,16,17,22,23,25,27,33,34,39,41,42,48,50,51,54,55,58,60,61,65,68,69,70,71,74,76,77],[0,1,2,5,6,8,11,12,13,15,16,17,19,20,22,23,24,25,26,28,29,30,31,33,35,36,39,41,42,43,44,46,50,55,57,59,62,65,66,68,69,70,72,73,74,75,76,77],[0,2,4,8,10,15,17,19,20,21,22,23,26,31,32,37,40,44,45,46,49,50,53,55,56,57,58,59,62,64,68,69,70,71,76],[0,3,4,5,6,7,9,11,14,16,23,24,25,26,27,28,30,31,32,33,34,35,36,38,39,41,42,45,49,50,52,54,55,56,60,63,64,65,66,67,69,72,77],[1,3,4,10,11,14,15,16,19,20,21,25,26,28,32,36,39,42,46,47,48,49,51,52,55,57,58,59,60,64,67,70,71,72],[0,1,5,6,7,8,11,12,14,15,17,18,19,20,22,23,24,25,27,28,29,31,33,34,35,37,39,40,42,43,46,50,51,53,54,55,56,57,61,64,65,66,67,68,70,73],[0,2,4,9,11,12,14,15,18,19,20,23,25,26,28,29,30,31,32,38,39,41,42,43,44,46,47,48,49,50,56,57,61,62,63,67,70,73,76,77],[8,9,10,11,12,14,17,18,21,22,25,28,29,30,37,38,39,40,41,42,43,45,47,48,53,55,58,59,61,63,64,67,68,69,71,73,77],[1,3,4,8,9,12,15,16,17,18,19,20,22,26,29,30,32,36,37,38,40,41,43,45,46,49,51,52,53,57,60,61,63,68,69,70,72,73,77],[0,1,3,4,6,8,10,11,13,14,15,16,17,18,22,23,24,28,32,34,37,39,44,45,51,52,53,54,56,57,59,60,61,62,63,64,65,66,73,74,77],[2,4,6,10,13,15,18,24,25,31,32,34,36,40,42,47,48,50,54,57,59,61,63,64,65,66,67,68,69,72,73,74,76,77],[2,4,6,7,8,9,13,14,16,18,19,20,23,24,25,30,31,32,34,35,36,37,38,39,40,43,45,47,51,52,56,57,58,59,61,62,64,65,66,67,69,70,75,76,77],[1,5,8,9,10,11,12,13,16,19,20,21,23,26,27,28,29,30,31,33,36,37,38,40,42,44,47,49,52,54,56,57,64,70,71,73,75,77],[3,4,5,8,9,12,13,14,15,23,25,27,29,30,31,32,33,37,38,39,40,44,46,48,51,54,55,56,58,59,60,67,72,73,75,77],[0,1,2,3,7,8,12,14,15,18,19,20,21,29,31,35,36,37,39,41,42,44,45,48,54,55,59,60,61,64,68,70,71,74,75,76,77],[1,2,4,5,6,8,9,11,12,15,16,18,19,20,21,23,24,25,26,27,28,29,30,32,33,34,37,38,44,48,49,50,52,56,59,61,63,65,66,67,68,69,70,71,72,74,75,76],[1,4,7,9,13,16,19,23,24,25,30,31,32,33,35,38,39,41,42,43,44,45,48,49,50,52,54,55,57,58,59,61,62,63,64,65,66,67,69,75],[0,1,2,3,4,5,7,8,9,10,11,13,14,17,21,22,23,24,25,31,34,37,39,41,47,48,52,53,54,55,57,58,60,61,62,69,70,71,76,77],[1,2,3,4,6,7,9,10,11,12,13,20,21,22,24,27,30,31,32,33,36,37,40,41,42,43,44,45,46,47,49,50,51,52,54,56,57,59,61,63,64,65,66,67,68,69,71,77],[0,1,2,3,4,5,8,9,10,11,12,15,16,18,20,24,25,27,30,31,34,35,36,38,40,42,49,53,54,55,56,58,59,60,61,62,63,66,70,71,72,77],[2,3,6,7,10,11,13,14,15,17,18,19,25,30,41,42,46,49,51,52,55,57,58,59,62,63,66,68,69,71,72,75,76,77],[1,2,3,4,6,9,10,11,14,15,16,17,18,23,24,31,32,33,35,38,39,43,44,45,46,48,50,51,54,61,64,65,67,68,71,72,76,77],[7,12,13,14,15,16,17,18,20,21,22,23,27,30,35,36,37,38,39,40,41,42,47,48,49,52,56,57,59,63,66,69,72,76],[4,5,7,12,13,14,15,18,20,21,22,24,25,28,31,32,33,35,36,37,38,41,42,44,45,46,51,54,55,56,57,59,60,62,63,65,68,72,73,76,77],[2,3,4,5,6,7,10,11,13,14,15,16,18,19,23,24,27,28,31,32,33,39,40,41,42,44,45,47,48,54,57,58,59,60,63,65,71,72,73,75,76],[1,2,4,5,7,9,10,14,15,16,20,21,23,26,27,29,32,34,35,36,37,41,42,43,44,46,48,49,52,53,58,62,63,64,65,66,69,70,74,75,76],[0,1,3,4,8,9,11,12,13,14,16,18,19,21,26,29,33,35,37,39,40,42,45,46,49,50,56,57,58,60,62,63,66,67,71,72,74,76,77],[0,2,6,7,8,10,14,16,18,19,20,22,24,26,27,29,30,31,32,35,36,39,41,43,44,47,51,52,54,58,59,60,61,62,64,65,68,69,72,74,76],[3,4,6,11,12,13,14,15,17,22,25,26,27,28,29,32,34,35,39,44,46,49,50,52,53,55,56,57,58,59,60,61,65,66,67,69,70,71,73,74,75,76],[0,1,2,5,6,7,8,9,10,12,15,21,23,24,26,27,28,29,31,32,35,37,41,44,46,47,48,49,50,54,56,59,62,65,66,67,73,74,75,77],[0,3,5,9,13,19,20,23,26,27,28,29,32,33,38,42,43,44,46,48,49,50,51,55,56,57,58,59,60,61,63,64,65,69,72,73,75],[0,1,3,4,5,6,7,9,10,12,13,14,15,17,18,19,21,27,28,29,32,35,39,40,42,46,47,53,54,55,56,60,61,63,64,70,71,75,76,77],[0,2,3,5,6,7,8,9,13,14,15,16,17,18,26,27,28,31,33,40,43,44,45,46,48,49,50,51,52,53,55,57,58,59,60,62,63,65,71,72,73,74,75,77],[0,1,4,5,6,7,8,11,12,13,14,15,16,20,22,26,27,28,29,31,32,33,34,40,41,43,47,48,54,55,56,57,60,61,62,64,65,66,71,72,76,77],[2,3,6,7,9,10,11,14,15,21,22,23,26,29,32,33,34,35,38,39,40,41,43,45,46,48,52,56,57,61,63,64,65,66,69,70,71,72,74,75,77],[0,2,5,6,7,10,11,13,14,15,19,20,21,22,27,28,34,35,39,40,41,42,44,45,49,50,51,52,55,58,59,60,66,70,71,73,74,77],[3,8,9,10,11,16,17,18,19,20,21,22,26,31,33,34,35,39,41,42,43,46,48,53,57,62,63,65,66,70,72,75],[0,1,3,8,9,10,11,16,17,18,22,24,27,28,29,33,35,36,39,40,45,48,50,51,52,54,56,57,59,60,61,62,63,65,66,67,70,71,74],[0,1,2,3,6,7,9,10,11,14,15,19,20,22,23,24,27,28,31,32,33,35,36,38,39,42,48,50,51,53,54,57,59,60,63,64,65,66,67,69,70,77],[0,1,3,5,6,10,11,13,14,16,17,19,20,25,30,31,32,37,38,39,42,43,46,47,48,49,50,52,56,57,58,59,64,68,69,70,72,75,76],[0,4,5,7,8,9,10,12,13,15,17,20,22,23,25,30,32,34,37,39,40,41,43,44,48,51,52,54,56,57,62,63,64,66,68,70,71,72,73,77],[2,3,4,6,10,12,14,16,18,20,22,23,25,26,27,28,30,31,32,33,34,37,39,41,45,46,49,50,53,54,55,56,58,59,60,64,65,66,68,70,74,75],[0,2,7,8,9,10,11,15,18,21,24,25,29,30,31,32,33,34,36,37,38,39,41,43,44,46,47,50,52,54,55,59,61,62,63,64,65,67,68,69,70,72,73,75,76,77],[1,2,3,4,5,6,8,11,12,13,14,17,19,24,25,27,28,30,31,33,34,35,36,37,38,40,41,42,43,44,50,52,53,56,59,60,62,65,67,68,69,71,72,73],[0,1,5,6,9,12,13,15,16,18,19,23,26,32,36,37,39,41,43,45,46,47,49,50,51,52,53,58,59,60,66,71,72,73,74,75,77],[0,1,5,7,10,11,12,13,14,18,20,21,22,26,27,28,29,32,33,34,35,37,39,40,41,42,43,44,45,46,48,49,50,54,55,59,62,67,68,73,77],[0,3,4,5,11,12,14,16,17,19,21,23,29,30,32,38,39,41,43,45,47,49,51,52,53,55,60,61,62,68,74,75,76,77],[0,1,3,7,8,10,13,14,19,20,21,22,24,29,31,33,34,35,36,38,40,41,42,43,44,45,46,47,48,49,50,51,55,56,63,68,69,72,74],[1,4,5,6,8,9,12,13,14,15,17,19,21,24,27,28,29,30,31,32,39,46,47,50,51,54,55,56,58,61,63,66,67,68,69,71,74,76,77],[0,4,8,14,16,17,18,21,23,24,26,27,28,29,30,31,36,37,41,43,45,49,52,53,54,55,56,59,60,61,63,67,68,69,72,73,75,76],[3,5,8,11,12,18,19,24,26,27,28,31,32,36,37,38,39,47,51,54,56,59,62,63,67,69,72,73,74,77],[0,1,7,9,10,12,14,15,17,19,23,24,25,26,29,30,32,34,36,39,44,46,47,48,50,51,53,54,55,57,59,60,61,63,64,67,68,70,76],[0,3,4,6,7,10,11,12,13,18,19,21,23,24,25,32,34,37,38,39,44,47,48,51,53,54,57,58,60,62,63,64,66,67,70,71,72,73],[2,3,7,8,13,15,19,20,26,28,29,30,32,34,35,39,41,43,46,47,50,51,52,53,54,57,61,65,66,67,70,73,74,77],[2,5,6,9,10,12,13,14,16,18,19,21,22,23,24,28,30,31,33,37,38,40,41,42,43,44,46,47,48,50,51,54,55,56,57,58,59,60,61,63,65,67,68,69,70,71,74,75],[0,2,3,4,6,9,10,11,13,17,18,22,24,28,29,31,32,33,37,39,40,42,44,45,46,48,49,50,52,53,54,56,57,58,59,62,63,65,67,69,70,71,76,77],[1,2,3,4,9,10,12,13,16,18,20,21,25,26,27,29,30,31,35,37,44,45,48,49,53,54,56,61,64,65,66,67,69,72,74,75,77],[0,2,3,4,5,7,9,11,14,16,22,25,28,30,31,32,33,34,39,40,41,42,43,46,50,53,55,56,59,61,62,64,65,66,68,69,72,73,74,75],[1,2,4,5,8,9,11,13,19,20,22,23,30,33,34,36,37,38,39,40,43,44,45,46,47,49,51,52,53,54,64,65,66,67,68,69,71,72,77],[1,3,4,5,8,9,10,14,15,16,17,18,22,24,25,30,31,33,35,36,42,43,44,48,49,50,51,52,56,60,61,65,67,71,73,74],[0,1,4,7,8,10,15,17,19,20,21,23,25,26,32,33,37,38,39,40,41,43,45,46,47,49,51,53,54,55,56,61,68,69,70,71,74],[3,4,5,7,9,10,12,14,16,17,18,23,25,27,28,35,36,37,42,43,44,45,48,49,50,51,52,53,57,61,62,66,68,74,75],[0,1,2,5,8,9,10,11,12,13,17,21,23,24,25,26,27,28,31,32,33,34,36,37,41,44,45,52,53,55,57,60,61,62,64,68,70,71,72,73,74,75,77],[0,4,10,12,17,19,20,21,22,24,25,26,27,28,30,31,32,38,39,40,41,43,46,47,49,51,54,55,57,60,61,62,65,66,67,69,70,73,74,75],[1,7,8,12,15,22,23,24,27,28,30,31,33,37,45,53,56,57,60,62,65,66,67,68,71,73,75],[3,4,5,8,10,11,13,14,19,21,23,25,26,28,29,30,35,36,37,39,40,41,42,44,45,47,50,52,53,54,55,57,58,60,61,63,65,70,73,74,76],[0,2,3,4,7,8,9,14,15,17,19,22,23,28,29,32,34,35,37,39,40,42,45,47,50,53,54,56,57,58,60,63,64,66,67,72,73,76,77],[3,6,7,9,11,12,16,23,24,25,26,30,35,36,37,38,39,41,44,45,46,47,49,52,53,55,59,60,63,67,68,71,72,73,76],[1,2,6,8,9,10,13,14,17,18,19,20,22,23,24,26,27,28,33,34,36,37,40,41,42,44,45,48,49,50,52,53,54,55,57,59,60,61,62,63,64,65,68,69,73,74,75,76,77],[0,2,4,6,7,9,13,14,15,18,21,22,24,25,27,28,32,34,36,38,39,42,43,44,46,47,48,50,51,52,56,57,59,60,62,63,64,65,70,71,73,75,76,77],[0,5,6,7,8,9,13,14,16,17,20,22,25,26,27,29,30,31,32,39,41,42,43,47,50,51,55,58,59,60,62,66,68,69,71,72,73,75],[0,1,3,4,6,7,10,13,15,18,20,24,26,27,29,32,33,35,36,39,41,44,47,48,49,52,55,56,58,59,61,62,65,66,67,68,69,72,74,75],[1,3,8,10,11,12,13,15,19,20,22,24,26,27,30,33,34,37,39,41,42,43,44,45,48,50,52,56,57,58,59,61,64,66,68,70,71,72,73,76,77],[0,5,7,9,10,11,12,14,15,16,18,19,20,23,25,26,27,28,29,30,31,33,35,37,38,39,40,41,47,48,50,51,52,53,54,55,57,60,62,63,65,66,67,68,69,70,71,72,73,75,77],[0,3,4,5,7,13,14,15,16,21,23,29,30,32,33,36,37,39,41,42,43,44,45,46,47,49,50,52,55,58,59,60,63,66,68,70,72,74,75],[1,2,3,6,7,10,13,15,16,17,19,20,21,26,28,29,31,35,36,38,39,40,41,42,49,51,52,53,54,55,56,58,61,63,64,67,68,69,70,71,73,74,76],[2,3,4,6,7,8,9,10,13,16,17,18,19,20,22,24,25,26,29,30,32,33,34,37,42,46,50,55,58,62,63,65,66,71,72,73],[1,2,4,6,7,9,11,12,15,16,17,18,25,27,29,32,39,41,43,44,45,46,48,52,55,56,57,59,61,62,63,64,65,68,70,76,77],[0,1,2,3,5,6,9,11,12,13,14,17,18,21,23,25,27,30,33,36,37,42,47,48,49,50,56,57,58,60,61,62,64,65,66,72,74,75,76,77],[0,1,2,4,7,8,9,14,16,20,21,23,24,25,28,35,37,40,42,44,45,46,50,53,54,61,63,66,69,71,74,75,76],[2,5,9,10,11,12,19,22,25,26,27,28,29,32,34,35,36,37,40,42,44,45,47,48,49,50,53,54,55,56,57,60,64,66,69,73,77],[0,2,3,4,6,7,8,10,12,13,14,18,19,22,24,26,28,29,35,37,39,42,43,44,46,50,52,54,55,57,58,60,61,62,63,64,66,68,71,74,75],[0,3,4,10,11,13,14,16,17,18,19,21,26,27,30,31,33,34,36,38,39,40,42,45,46,48,49,51,52,53,58,59,60,61,62,64,67,68,69,71,72,75,77],[5,7,10,11,15,17,18,19,23,26,27,29,31,32,34,37,38,40,41,43,44,47,48,50,51,53,55,61,62,63,64,66,67,69,70,71,74,77],[2,3,4,7,10,11,13,15,17,19,20,21,22,23,26,27,32,40,41,44,46,48,53,56,58,59,60,61,63,65,69,70,77],[0,2,3,4,5,9,12,13,14,16,17,18,21,22,25,28,29,30,31,32,33,35,37,38,39,44,46,47,50,51,52,54,55,56,57,58,59,61,62,66,67,68,71,72,73,75],[5,7,8,9,11,12,14,15,16,18,23,26,28,30,31,32,35,36,37,39,41,42,44,46,48,49,50,51,55,58,62,63,64,65,66,67,70,71,72,74,76,77],[1,3,4,8,10,11,13,14,15,16,19,20,22,23,24,25,26,27,29,30,31,32,37,39,40,41,42,44,45,46,47,53,54,56,57,59,60,61,63,66,67,69,71,72,73,74,75,76,77],[0,1,3,4,7,9,10,11,17,19,20,25,26,33,34,38,39,41,43,44,46,48,49,50,51,52,53,54,57,61,64,65,66,68,69,72,74,76],[2,3,5,6,7,9,11,14,16,17,20,21,23,24,25,27,30,32,33,34,35,36,38,40,41,43,45,46,47,48,55,57,58,60,61,62,64,67,68,70,73,74,75,76,77],[0,2,3,6,7,9,12,13,14,16,18,20,21,22,23,25,26,28,29,30,32,39,44,48,52,56,57,59,61,64,66,67,72,77],[0,2,3,5,6,8,11,13,15,20,21,22,25,29,31,35,36,37,41,42,46,49,50,51,52,55,56,57,58,59,61,62,63,65,70,71,74,76],[1,2,4,5,6,7,8,9,10,13,15,17,19,21,22,26,29,31,33,34,35,36,37,38,39,42,43,44,48,53,54,55,56,58,59,62,63,64,66,68,69,70,71,72],[0,3,4,5,6,10,12,13,16,17,19,20,24,28,29,33,36,39,44,47,48,50,51,52,55,57,60,68,69,70,72,75,77],[1,6,8,13,14,15,18,23,24,25,29,30,31,32,34,35,37,38,39,42,43,44,47,48,50,51,53,54,58,60,61,62,63,67,71,72,75],[0,2,3,4,6,7,8,9,10,12,14,18,22,23,24,25,28,30,33,34,39,41,44,46,48,49,50,52,54,55,56,57,58,60,61,63,64,68,69,72,74,77],[0,4,7,9,10,14,15,17,20,21,22,23,26,27,30,31,37,38,40,41,42,43,45,46,47,48,51,52,54,55,56,58,64,65,66,69,71,73,74,75,77],[1,3,11,14,15,19,21,22,23,25,27,30,31,33,34,37,39,40,42,44,45,47,49,50,53,55,56,57,58,61,68,71,72,73,75,76,77],[0,3,6,7,9,11,14,15,16,17,18,19,21,23,30,31,34,35,37,42,47,50,52,54,55,57,59,62,64,65,71,75,76],[0,1,4,6,7,8,9,10,13,17,18,20,21,22,24,25,26,27,29,32,34,35,39,40,41,44,45,46,50,52,53,55,56,60,61,62,63,64,65,66,67,69,72,73,74,77],[5,6,8,9,13,14,16,18,20,21,23,24,25,26,28,30,31,32,34,38,41,42,44,45,46,47,51,52,54,57,60,62,66,67,71,75,77],[0,3,4,5,8,9,16,17,22,26,27,28,30,31,33,35,37,39,40,42,43,44,45,48,52,56,58,59,62,63,64,67,69,73,76,77],[0,2,3,5,6,7,8,11,15,16,20,21,24,25,26,27,29,30,34,35,36,37,40,42,44,46,47,48,53,54,55,56,59,60,61,62,64,68,69,72,73,77],[1,2,5,6,7,8,9,11,14,16,17,18,19,22,23,29,30,31,32,35,38,40,41,42,43,44,45,46,48,49,53,54,57,59,63,64,65,68,70,72,74,77],[1,4,6,9,13,15,19,26,31,33,35,36,39,40,45,46,48,49,51,54,55,58,59,61,62,64,65,66,70,71,74,75,76],[1,4,5,8,14,15,16,18,19,20,21,23,24,25,28,30,32,33,34,35,36,38,39,40,41,42,44,47,48,49,52,55,57,58,59,60,61,64,65,67,70,74,76,77],[0,1,2,3,4,6,7,11,14,18,19,23,26,27,28,29,32,33,37,38,39,41,46,49,52,53,54,56,57,58,62,65,67,68,69,70,72,73,74,76],[0,1,2,3,4,5,6,8,9,12,17,20,21,23,25,28,30,32,34,35,38,40,43,45,46,48,50,52,57,59,61,67,69,70,71,73,74,75,76,77],[1,4,5,6,7,8,11,12,13,14,15,17,18,20,21,25,27,29,30,31,34,36,37,41,43,46,50,51,53,55,56,64,66,68,70,72,74,76,77],[1,3,5,10,11,12,14,16,19,20,22,23,24,25,26,27,29,32,33,36,37,38,39,40,41,42,45,46,47,50,53,55,56,57,58,59,62,63,65,68,70,71,72,74,75,77],[2,3,5,7,10,12,13,14,16,17,21,23,27,28,32,33,34,35,36,37,38,39,41,42,43,45,46,48,49,50,51,52,55,56,57,58,60,64,66,67,77],[0,6,8,10,11,12,13,14,15,17,20,23,24,25,26,28,29,30,32,33,38,39,40,41,43,44,45,47,49,50,51,52,53,54,57,58,59,61,62,66,67,68,69,72,73],[0,1,2,5,6,9,10,11,15,17,18,20,22,23,25,26,27,29,32,37,38,40,43,44,49,53,56,57,59,60,62,63,64,68,69,70,72,73,74,77],[1,2,3,4,6,8,10,11,15,16,18,20,23,25,28,29,30,31,32,33,35,38,39,42,45,48,49,52,53,57,58,60,67,68,70,72,74,76],[1,2,9,10,12,13,16,17,19,20,22,24,26,27,28,29,30,34,36,37,39,40,41,45,46,48,50,51,52,53,54,56,60,63,69,71,72,73,77],[0,1,4,7,12,13,18,20,21,24,26,27,30,31,32,34,36,37,39,40,42,46,48,49,50,51,56,57,58,62,64,65,67,70,71,73,75],[1,2,3,4,6,7,11,12,15,16,17,20,25,26,28,29,30,31,32,34,35,36,38,39,41,42,47,48,50,52,53,54,55,56,58,60,61,62,65,66,67,71,74,75],[1,2,3,5,6,10,12,13,15,18,19,20,21,22,23,25,26,27,32,33,34,36,37,38,40,41,42,43,47,48,49,50,51,52,57,58,59,60,63,65,66,68,71,74,76],[0,2,5,9,11,13,23,27,30,32,33,35,37,39,40,41,42,43,45,51,52,55,56,58,59,60,61,64,65,68,69,70,72,76,77],[0,1,5,10,11,12,16,17,19,20,22,23,24,26,28,29,32,33,34,35,36,42,43,46,48,50,53,54,55,58,59,61,63,64,65,68,70,71,73,76],[0,2,3,4,5,6,7,10,15,19,22,23,24,25,30,31,33,38,39,41,43,46,47,52,56,59,60,62,63,64,66,67,68,70,73,74,75,76],[0,1,2,4,5,6,7,8,12,13,16,17,19,21,24,26,29,35,36,37,38,39,41,42,44,46,49,51,52,55,63,65,67,68,69,70,71,73,75,76,77],[0,1,2,3,5,8,9,10,11,12,15,16,17,21,22,25,26,27,29,31,32,36,39,40,41,44,45,47,49,52,58,61,62,66,68,70,71,72,74,76],[1,5,7,8,10,14,15,16,18,19,20,23,25,28,29,30,31,33,34,35,40,44,47,48,51,52,53,56,57,59,61,62,63,64,65,66,68,69,71,74,76,77],[1,3,6,7,8,9,10,14,17,19,20,21,24,31,32,34,35,38,39,40,42,43,44,45,46,48,49,51,52,54,58,61,62,63,64,71,72,73],[2,4,8,9,10,11,12,14,15,16,19,21,24,25,26,28,29,30,36,40,41,43,44,45,46,47,49,50,51,53,55,56,60,63,64,65,66,67,72,73,74,75],[1,2,4,5,6,11,13,14,15,16,18,19,21,22,25,29,30,31,32,35,37,38,39,40,41,43,47,49,50,54,56,57,58,62,63,65,66,67,68,71,74,75,76],[0,2,5,6,7,11,12,14,15,16,19,20,22,24,25,26,27,29,34,35,36,38,41,42,43,46,47,48,51,54,63,64,66,68,70,73,74,76],[2,3,4,5,8,9,11,14,15,16,18,19,20,22,23,25,26,27,28,32,34,39,41,43,44,46,48,49,50,52,53,56,59,60,63,65,67,71,73,76,77],[0,1,3,4,5,10,12,16,18,19,20,21,22,24,25,26,30,31,32,33,37,40,41,42,44,46,47,48,49,52,53,55,57,58,61,62,64,65,67,68,69,72,73,74,75,77],[1,3,4,7,8,9,12,17,18,20,22,23,25,28,29,30,32,36,37,41,42,45,46,48,50,51,52,54,55,58,62,65,66,67,69,73,75],[1,2,4,5,7,10,11,13,15,17,18,19,21,24,25,30,32,33,34,35,36,38,41,43,45,47,49,50,53,56,58,59,60,62,63,65,68,69,70,73,74,75,76],[0,1,3,5,13,14,19,20,22,27,29,30,31,35,38,39,40,46,48,49,50,51,52,53,54,57,58,61,62,64,66,67,69,70,71,72,75],[0,1,2,4,8,9,11,13,15,16,18,23,25,26,28,29,30,31,32,34,35,38,40,41,43,44,51,54,56,57,58,59,60,61,62,63,64,65,66,69,70,72,73,75,76,77],[0,2,3,7,11,12,13,15,16,17,20,22,26,31,34,35,36,37,38,40,42,43,44,45,46,48,50,52,55,56,57,59,60,61,63,64,67,70,72,76,77],[0,1,2,3,4,5,8,9,11,13,14,16,18,22,23,24,27,28,29,33,37,38,39,40,41,42,43,46,48,50,56,58,60,62,65,66,71,72,73,74],[0,3,4,7,8,9,12,13,15,17,18,19,22,23,24,26,28,30,33,34,36,38,40,41,44,45,46,48,49,50,51,53,54,55,59,63,65,69,72,73,74,75,76,77],[0,2,6,7,8,10,11,15,17,20,21,22,23,26,29,31,32,35,36,38,39,41,42,46,49,54,55,56,57,58,59,60,61,62,63,67,68,70,73,74,75,77],[0,1,2,3,6,9,11,13,14,15,16,24,27,28,29,30,31,32,33,41,42,44,45,47,48,49,52,54,55,56,57,59,60,61,63,69,71,73],[0,2,4,6,7,8,11,12,13,14,15,16,17,18,20,22,23,24,25,27,31,33,36,37,44,46,47,49,50,51,56,57,58,59,60,61,62,63,65,66,67,71,75],[0,2,3,5,6,7,8,10,11,14,17,20,21,23,24,25,27,29,30,33,34,36,37,38,41,44,48,49,50,51,55,56,58,60,62,64,67,68,69,71,73,76],[1,2,4,6,7,8,11,12,14,16,17,18,19,22,23,26,27,29,31,32,34,36,38,40,42,46,47,50,51,52,53,56,57,60,61,65,71,72,74,75,76,77],[0,1,6,7,10,11,12,13,15,16,18,19,20,22,23,24,29,30,31,35,36,37,38,42,43,44,46,47,49,50,52,54,57,59,62,65,67,70,71,73,77],[0,1,4,5,7,8,14,16,17,18,20,22,23,26,27,28,29,30,32,34,35,40,42,43,46,47,48,50,52,53,55,56,58,59,61,63,64,66,67,68,69,71,73,74,75],[0,3,5,7,8,12,13,16,18,19,21,22,24,25,26,29,32,36,37,38,39,40,42,44,45,46,48,51,52,56,59,60,61,64,67,69,72,73,75],[0,1,3,5,6,9,11,14,15,17,21,22,23,26,28,29,32,33,35,41,43,44,47,49,51,53,54,56,57,59,62,64,65,67,68,69,70,74,75,76],[1,4,5,7,9,10,16,18,23,25,26,27,31,32,33,34,35,39,41,42,43,44,45,46,47,52,55,56,58,60,63,64,66,69,72,73,75,76,77],[0,4,5,6,9,11,12,13,15,19,20,22,24,25,26,27,29,30,32,33,34,36,37,38,39,41,45,49,50,54,55,56,57,58,59,60,62,63,64,65,66,67,69,70,71,72,75,76],[3,4,6,7,8,9,11,15,16,18,20,21,27,30,33,34,40,41,42,44,46,48,49,50,51,52,54,55,57,58,61,62,63,65,66,70,71,73,76],[0,1,4,5,6,7,9,10,12,13,15,18,19,20,22,24,25,28,31,32,37,38,39,41,42,44,48,49,52,54,56,59,62,64,66,67,68,72,77],[0,3,4,7,8,9,11,12,13,18,19,21,22,23,24,26,28,30,35,37,38,40,41,42,43,44,45,47,50,51,52,57,59,60,61,65,66,67,68,69,70,71,75],[2,3,4,6,11,12,14,15,16,17,18,19,21,25,27,30,34,35,36,37,39,43,48,52,54,55,56,57,60,61,62,63,64,65,67,68,69,71,73,74,76],[2,4,5,6,7,9,10,11,13,15,20,24,25,26,27,28,31,32,33,34,35,38,39,41,42,43,46,48,50,51,53,54,55,57,60,61,62,63,65,67,75,77],[0,2,3,4,6,8,9,10,11,12,15,16,18,19,20,21,22,27,28,29,31,33,34,35,36,37,40,41,43,44,45,50,52,53,54,55,56,57,59,62,63,64,65,69,72,73,77],[1,2,3,4,6,7,10,12,14,15,16,17,19,21,25,26,28,29,31,33,35,37,39,42,43,44,45,50,54,56,58,61,62,64,67,70,73,74,75,77],[0,2,3,5,6,8,10,12,15,18,19,20,21,22,23,25,27,30,31,32,33,34,37,39,40,44,45,46,47,48,52,53,54,55,59,62,63,66,68,69,70,71,77],[0,3,5,6,8,12,19,22,23,24,26,27,28,29,30,32,36,45,46,48,49,50,52,54,55,56,65,66,69,76],[0,1,3,8,10,12,13,14,15,18,20,25,26,27,28,30,32,34,38,42,46,48,52,53,58,61,68,70,71,72,77],[0,2,3,7,9,11,12,18,19,20,29,33,35,36,37,38,42,47,49,50,51,52,54,55,56,57,58,60,61,66,67,68,71,72],[0,1,6,9,13,14,15,16,18,19,21,23,26,29,30,33,39,42,43,47,49,53,59,62,66,69,71,73],[2,3,5,7,10,11,12,16,18,19,21,22,24,25,26,29,30,34,35,37,39,42,43,45,49,51,52,57,59,60,62,65,66,67,70,71,73,76,77],[0,2,6,7,8,10,11,16,18,21,23,25,27,28,32,34,35,36,37,39,42,43,46,48,50,51,54,55,56,57,59,60,62,67,69,70,71,73,77],[3,6,8,9,10,12,16,19,20,21,23,25,27,28,29,32,33,34,38,39,43,46,47,48,49,52,58,59,61,62,66,68,69,70,72,73,77],[0,1,3,4,10,11,12,14,17,18,19,21,22,24,25,28,30,31,34,35,36,37,39,40,42,44,46,51,55,56,57,59,60,62,63,69,71,73,74,77],[0,1,2,3,4,5,6,7,8,9,10,12,14,17,19,20,21,23,25,26,27,31,32,33,34,36,38,39,40,44,45,47,48,55,56,58,59,61,62,63,65,67,68,72,73,74,76,77],[0,1,3,4,6,12,14,15,17,18,23,24,26,28,30,37,41,44,47,48,49,52,53,54,55,57,60,64,65,67,68,69,70,71,75,76,77],[0,4,5,6,8,9,13,16,17,21,22,23,26,27,30,32,33,36,37,39,41,42,43,44,45,46,49,50,56,57,59,60,62,64,67,68,69,70,73,75,77],[2,3,4,5,6,7,8,11,12,13,16,17,18,19,20,21,22,23,26,27,29,30,32,35,38,39,41,43,44,45,46,47,51,52,54,55,58,59,61,62,64,66,69,70,71,72,73,75,77],[0,2,7,8,15,16,18,19,22,26,27,28,31,32,37,40,41,43,47,49,50,52,53,55,57,60,63,64,65,68,69,71,74,75,76,77],[1,2,3,7,10,12,13,14,16,19,20,22,25,30,31,34,37,38,40,41,42,43,46,47,48,49,50,55,57,58,60,61,63,64,65,69,70,72,74,75,76],[1,2,4,7,8,12,18,19,23,24,25,26,28,30,31,32,33,34,35,37,38,39,40,41,42,43,44,46,51,52,59,60,61,62,70,72,75],[4,5,7,8,9,10,11,12,14,16,22,24,26,29,30,31,32,33,35,36,37,38,42,46,47,48,52,55,64,66,71,74,76,77],[3,4,6,7,8,13,15,16,22,23,25,32,34,37,39,40,41,43,44,45,46,48,53,54,55,60,61,62,63,64,66,72,73,74,77],[2,4,5,9,10,11,13,17,19,20,22,23,25,26,30,32,33,34,36,37,38,39,43,47,48,49,53,56,65,67,72,75,77],[1,3,6,7,8,14,15,17,18,20,22,23,25,26,28,29,30,33,34,38,39,43,45,46,48,49,51,54,56,59,63,65,67,70,71,72,73,76,77],[2,3,4,6,12,14,15,17,19,20,22,24,29,31,32,35,37,40,41,42,44,45,48,49,52,54,56,60,61,62,63,65,67,71,73,75,76,77],[2,7,8,12,13,14,16,17,19,20,23,24,25,29,31,34,35,39,42,43,46,49,52,53,55,56,64,65,66,67,71,72,74,75,76],[0,4,5,7,8,10,14,15,17,18,21,22,23,24,26,27,28,29,33,35,36,38,39,41,45,48,50,52,54,56,57,61,62,63,65,67,68,71,75,77],[0,1,2,3,4,5,6,7,8,10,12,13,14,16,17,19,21,23,27,29,30,31,36,39,41,42,50,51,53,55,56,57,59,61,62,64,65,66,67,68,70,71,73,74],[0,2,4,5,7,8,10,11,19,21,22,24,26,28,30,33,34,35,38,39,40,41,42,43,46,47,50,53,54,58,59,60,61,63,69,70,71,73,74,75,76,77],[0,1,2,4,9,12,13,17,18,19,20,21,26,30,31,33,34,36,38,39,43,44,48,49,50,51,52,54,56,58,62,63,65,67,69,71,73,74,75,76],[0,1,2,3,6,7,8,9,12,15,16,17,18,19,20,21,22,23,25,26,30,31,32,33,36,37,38,40,41,45,46,49,50,51,52,53,55,56,58,60,61,64,65,66,67,69,71,72,75,76,77],[3,4,6,11,12,18,20,22,23,24,27,30,31,32,34,35,36,37,41,43,44,46,47,49,53,54,57,58,59,61,63,68,69,70,71,74,75,77],[3,5,6,7,8,9,10,14,16,18,20,23,26,27,29,33,34,38,41,42,43,44,48,49,52,53,54,55,57,58,59,61,63,64,66,68,69,70,75,76],[1,5,7,8,9,14,16,19,20,26,28,29,32,34,35,36,38,39,42,43,44,46,50,51,52,56,57,61,62,63,65,68,69,72,76],[0,2,4,5,7,9,11,13,14,16,22,23,24,26,29,31,32,33,34,38,39,41,42,46,47,48,51,57,59,61,62,65,69,71,72,74,77],[0,2,5,10,12,13,15,17,18,20,21,22,24,26,27,30,32,34,35,36,37,38,40,41,43,44,45,46,48,52,53,58,59,60,61,63,64,65,70,71,73,74],[0,1,5,8,10,11,12,14,15,16,17,18,19,22,24,25,26,28,30,31,33,36,39,40,43,47,48,49,52,54,58,60,62,63,66,70,73,75],[0,4,14,16,21,22,23,24,25,27,32,34,36,37,38,39,43,45,46,48,49,50,52,53,54,56,61,62,63,64,65,66,68,75,76,77],[0,1,4,5,7,8,9,19,20,21,22,23,24,25,26,27,28,29,35,37,42,44,45,48,49,51,53,54,57,64,66,69,72,75,77],[1,2,4,7,8,9,10,12,13,15,17,18,19,23,25,28,29,30,32,34,36,38,40,41,42,43,46,49,51,52,54,57,58,59,60,61,63,65,66,69,70,71,72,73,74,75,77],[0,3,5,6,7,10,11,13,14,15,17,20,21,27,30,31,34,35,36,40,41,45,50,51,55,57,59,60,61,63,67,69,71,72,74,75,76,77],[1,2,3,5,6,8,9,11,12,16,18,19,20,22,24,28,29,31,34,35,36,37,39,42,48,53,55,56,58,61,62,63,64,67,68,70,73,75,77],[0,1,3,9,10,12,15,17,18,21,23,25,26,27,29,30,32,33,34,35,40,41,42,43,46,47,49,51,53,55,58,62,67,70,73,75,76],[1,3,7,11,20,21,22,23,24,26,27,31,38,41,43,44,48,50,53,54,55,56,57,60,61,62,65,66,67,68,69,72],[0,1,2,3,5,7,10,11,12,13,15,17,18,23,30,31,32,34,35,36,37,40,45,46,50,52,54,55,56,57,58,59,62,63,64,66,67,68,69,70,71,72,73,74],[0,4,6,8,11,12,13,14,18,19,21,22,24,27,28,31,32,33,35,36,37,43,44,46,47,48,50,51,54,58,59,60,61,62,63,64,66,70,71,73,74,75],[2,5,6,7,8,9,12,16,18,19,21,23,26,27,28,29,34,35,36,37,38,39,41,42,43,44,50,54,57,58,60,63,64,65,66,69,70,72,73,75,77],[1,3,5,10,12,13,16,20,23,24,25,30,32,33,36,37,40,44,45,46,48,49,50,52,55,56,57,59,62,63,66,70,74,75],[0,1,3,4,6,9,10,13,15,18,19,20,25,27,28,30,32,33,36,39,41,42,45,48,52,53,55,56,59,63,65,66,68,71,75,77],[1,4,6,8,9,11,14,16,17,18,21,22,26,28,30,31,32,35,37,38,39,42,46,47,49,50,51,52,54,55,57,58,59,64,65,67,68,76,77],[1,4,5,8,10,11,12,14,15,18,20,21,22,23,24,26,27,28,29,30,32,33,35,37,40,42,43,46,49,53,54,56,57,60,64,67,69,72,76],[0,4,10,17,18,19,20,28,29,31,33,37,38,41,42,43,44,46,47,49,51,52,55,56,57,58,59,60,62,69,70,71,72,74],[0,1,3,4,5,12,13,16,17,18,19,23,24,25,28,29,30,31,32,36,38,40,41,42,43,45,47,48,50,51,58,60,63,66,69,71,72,75],[0,3,5,6,8,9,11,12,13,14,19,21,22,23,24,25,26,29,35,36,37,39,40,41,43,45,46,48,49,52,54,55,57,59,60,63,64,65,66,67,68,69,71,72,75,76,77],[1,2,3,4,7,9,10,11,14,15,16,17,21,26,27,31,32,33,36,40,44,45,51,54,55,57,61,63,65,66,68,69,70,71,73,75,77],[1,2,5,6,7,8,12,13,15,16,18,20,22,23,24,25,27,28,32,35,38,39,42,47,48,55,56,57,58,61,62,64,67,69,71,73,74,76],[4,5,7,8,11,13,14,17,19,21,22,25,26,29,30,31,34,35,36,38,39,40,41,43,45,47,48,49,52,53,56,61,64,67,69,70,73,76],[3,5,7,15,16,17,18,19,27,28,30,31,34,38,39,40,41,42,44,47,49,50,54,55,56,59,60,61,62,63,66,72,73,74,75],[1,3,4,5,6,7,8,9,11,14,15,19,21,22,26,27,32,34,35,37,40,41,44,46,51,52,56,57,58,60,61,62,63,64,65,66,67,68,72,73,74,75,76,77],[0,2,4,8,9,10,12,15,17,18,22,23,24,27,28,31,33,34,35,36,39,40,42,44,45,49,50,52,53,54,55,56,57,58,60,64,65,67,68,69,72,76,77],[1,2,3,6,8,12,13,17,19,20,22,23,24,25,30,31,32,34,35,40,41,44,48,49,50,54,57,58,59,60,63,64,66,67,69,71,72,75,76],[2,3,4,6,7,8,10,11,13,15,17,19,20,21,25,29,30,31,32,33,37,43,45,47,48,49,51,59,64,65,66,67,68,72,76],[1,4,5,6,10,12,13,15,19,24,25,26,27,28,29,30,38,39,43,44,45,46,47,51,52,53,55,60,61,65,70,72,74,77],[0,1,2,4,6,7,8,9,11,13,18,20,21,22,23,25,26,27,29,32,33,34,35,39,42,43,45,47,48,49,50,51,53,54,55,61,66,67,68,69,70,73,74],[5,11,13,19,20,24,25,26,27,28,29,32,39,40,42,44,45,46,47,48,52,53,56,61,62,71,73,75],[0,3,4,6,9,11,12,17,18,19,20,22,23,26,27,31,32,34,35,37,38,39,40,43,48,50,51,53,54,56,59,60,61,62,64,69,71,75,76,77],[0,2,7,8,9,10,12,13,15,18,21,22,23,25,26,27,29,30,33,34,35,38,39,40,45,47,49,50,53,54,56,60,61,62,65,66,67,68,69,71,72,75,77],[1,4,6,10,11,12,15,20,30,32,38,40,42,43,48,51,55,56,60,62,65,70,71,72,73,74,75,77],[6,7,9,11,13,14,15,19,20,22,28,31,32,34,38,39,41,43,46,50,54,56,57,60,61,63,65,67,68,69,71,72,74,75,76,77],[0,1,3,6,7,10,11,13,14,17,18,20,23,26,27,28,30,32,35,37,38,41,42,43,46,53,55,56,57,59,60,63,64,67,68,70,71,73,75,77],[0,1,2,3,4,5,6,7,11,16,17,18,20,21,23,25,26,30,32,33,35,36,37,38,41,43,45,48,51,52,54,58,59,60,63,66,67,69,73,75,76],[0,1,8,10,11,15,16,18,20,23,24,25,27,28,31,32,35,36,38,39,40,41,42,44,45,46,48,49,53,54,56,58,60,61,62,63,64,65,68,69,71,72],[2,4,6,7,9,10,13,15,16,21,22,24,26,28,29,31,33,34,36,38,40,41,43,44,46,47,50,51,55,56,58,60,62,63,64,65,66,67,70,71,72,73,74],[1,3,4,5,7,8,10,12,14,16,17,19,27,28,29,31,36,37,38,40,46,47,48,49,51,52,53,54,57,58,59,60,62,67,69,73,74,75],[3,6,7,8,13,14,15,16,17,24,25,26,30,31,36,37,39,40,43,44,45,48,49,54,55,57,58,59,61,62,65,67,69,70,72,73,75,77],[0,2,3,6,7,9,11,12,14,15,16,17,21,23,25,26,27,29,32,40,42,43,45,49,51,53,58,59,65,66,70,72,73,74],[0,1,2,5,8,9,11,14,23,24,25,26,28,29,30,31,34,35,36,41,45,46,47,49,50,51,52,53,54,55,59,61,66,68,71,76],[0,2,3,4,5,6,9,12,13,15,16,17,18,19,22,25,29,30,31,32,33,34,36,42,43,44,45,47,48,49,51,53,55,60,61,67,68,72,73,74,75,76],[1,9,15,16,23,24,25,28,29,30,31,34,37,42,46,47,48,50,51,52,53,55,56,62,67,69,77],[0,2,4,7,8,13,15,16,18,19,21,22,23,27,30,31,33,34,35,37,40,41,42,44,45,47,49,54,55,56,58,60,62,65,69,70,71,75,77],[3,4,6,8,9,11,12,13,14,17,18,19,22,25,26,29,30,31,32,33,34,35,37,41,43,44,47,51,53,54,55,56,59,60,62,66,69,71,72,73,74,75,77],[0,2,5,8,11,14,15,16,26,35,36,37,41,42,45,48,49,54,56,59,61,62,66,67,68,69,71,76,77],[2,3,9,10,11,13,15,16,18,23,24,27,32,33,37,38,41,44,49,52,54,55,57,59,60,62,63,66,68,69,70,71,73,74,75,77],[2,3,4,5,7,9,10,14,15,16,19,21,22,24,26,30,31,32,34,36,37,38,40,41,47,48,49,52,54,57,58,61,62,63,65,67,69,71,73,74,76,77],[0,1,2,3,4,5,6,7,15,16,17,19,20,21,22,26,29,30,33,35,39,40,41,42,45,46,49,51,54,57,60,64,65,67,69,70,72,73,75],[4,5,11,12,14,15,16,19,20,22,24,27,28,29,31,32,33,34,35,37,39,41,42,43,47,48,50,51,52,54,55,56,57,58,59,60,62,64,66,74,75,77],[0,2,3,6,9,11,13,14,17,18,20,24,25,27,28,30,35,36,37,39,41,44,45,49,50,52,53,54,56,57,58,59,61,62,64,66,67,68,72,73,76,77],[0,1,3,5,7,8,10,12,14,20,21,23,24,25,27,31,33,34,38,39,40,41,42,43,45,46,47,52,53,54,56,60,63,64,65,67,68,69,73,75],[2,3,7,9,10,11,12,20,21,26,27,28,29,30,33,35,36,38,39,40,42,43,49,50,51,55,56,59,60,61,63,64,65,66,67,69,71,73,75,76],[1,2,3,7,8,9,19,20,21,23,27,32,34,36,37,40,43,45,48,51,52,53,54,55,57,61,63,64,66,67,68,69,75],[0,1,2,6,9,11,12,15,18,21,22,23,26,29,31,32,33,36,39,41,44,45,46,47,48,49,50,52,57,58,59,60,62,63,64,71,76,77],[1,6,7,10,12,14,15,18,19,23,26,27,28,29,31,32,37,38,39,45,47,48,50,53,54,55,56,57,59,60,63,65,66,67,68,69,70,71,77],[0,1,4,6,7,8,10,11,13,14,16,18,19,24,26,27,30,31,32,33,34,35,37,40,42,45,46,47,48,49,50,51,53,54,58,59,60,61,63,64,65,66,72,77],[3,4,6,7,13,16,18,19,20,22,23,24,26,27,28,30,31,35,37,38,41,42,43,44,47,50,53,54,56,57,59,60,62,64,66,70,72,75,76,77],[1,2,4,6,8,9,13,16,18,21,22,24,26,28,30,31,32,34,35,36,38,40,41,42,44,45,47,48,50,51,52,55,56,59,60,61,62,63,67,68,69,70,72,76,77],[2,4,7,8,9,10,12,13,14,15,16,19,21,22,23,24,27,29,30,34,35,36,37,39,40,41,42,44,51,52,53,54,57,61,62,65,66,71,72,76],[0,3,5,6,7,10,11,12,13,14,15,17,18,19,21,25,26,27,28,31,33,36,40,42,43,44,45,46,48,49,56,60,63,64,65,66,68,69,70,72,73,76,77],[0,2,5,7,8,9,11,13,17,19,20,25,27,29,33,34,38,39,42,44,45,46,47,48,49,50,51,52,59,61,63,66,68,69,71,72,73,75,76],[2,5,6,9,10,13,15,17,18,25,26,28,30,31,32,35,36,38,39,40,41,42,43,45,46,47,48,49,50,52,53,54,57,58,60,61,66,67,68,70,74,75,76],[0,3,4,5,11,14,15,16,17,20,21,23,24,25,28,32,33,38,39,40,41,45,48,53,54,55,59,61,65,66,69,70,72,74,76,77],[0,1,3,4,5,6,7,10,11,12,16,17,18,19,20,21,24,25,26,27,29,31,33,37,40,41,47,50,56,57,60,61,63,67,68,71,72,74,76],[0,1,3,4,6,7,8,11,12,13,14,16,18,19,22,24,26,27,28,31,33,34,36,39,40,42,45,48,51,53,54,55,57,58,59,60,62,64,65,68,70,73,74,75,76],[2,3,4,7,8,9,13,14,15,16,19,21,23,24,27,28,29,32,34,40,41,42,44,46,47,49,50,51,52,53,54,55,63,65,68,70,71,73,74,75,77],[3,5,6,7,12,13,16,17,19,23,31,32,34,35,36,37,38,42,45,46,47,49,51,55,57,58,60,61,63,69,72,73,74,75],[2,4,5,6,8,11,13,15,17,18,19,22,25,27,30,32,33,34,40,42,43,44,46,50,51,52,53,54,56,57,58,63,64,65,70,71,77],[2,3,5,8,10,11,14,19,22,23,24,25,27,30,31,32,34,35,36,37,38,39,40,42,44,47,51,53,54,57,59,60,61,62,63,65,71,72,73,74,75,76,77],[0,2,3,4,5,9,10,12,14,15,20,22,23,26,27,28,30,31,33,41,42,43,44,45,47,48,51,52,53,54,55,57,58,59,60,64,65,66,71,72],[0,2,3,7,9,16,18,19,20,22,23,24,26,27,28,30,31,32,34,39,41,44,47,48,49,50,53,54,56,58,60,62,63,65,66,69,70,71,72,76],[0,2,5,6,9,12,13,17,18,20,22,24,26,27,28,30,35,36,37,38,39,41,42,44,45,46,48,50,51,53,54,55,56,57,61,62,65,66,70,71,73,74,75,76],[0,3,6,8,9,10,11,12,13,14,17,18,19,20,23,25,26,28,31,32,34,40,41,45,46,47,48,50,55,56,59,60,63,66,70,72,77],[1,2,3,4,7,8,9,10,11,14,15,17,21,22,23,24,27,29,30,31,34,35,37,38,39,41,42,43,48,49,50,51,52,54,57,58,59,62,66,67,70,71,72,74,75,76],[1,3,4,6,9,12,13,15,16,21,23,25,29,31,34,35,37,38,40,41,42,43,44,45,46,48,50,51,52,53,55,57,65,66,67,69,70,72,74,75,77],[1,2,6,9,11,13,14,21,22,24,26,27,29,30,32,33,34,35,36,37,39,42,43,44,46,47,48,49,51,52,53,54,55,60,63,64,68,69,70,72,73,74,76],[0,1,4,7,10,11,15,16,17,19,20,21,24,28,29,38,39,41,42,47,51,55,59,60,61,65,66,68,70,71,72,75,76],[0,1,2,3,4,5,7,8,14,15,16,17,20,21,22,23,25,27,28,29,30,31,32,34,35,36,37,40,41,44,53,54,55,57,62,63,66,68,70,73,74,77],[0,2,3,4,5,7,8,9,10,12,15,18,20,22,23,24,27,28,30,31,32,33,35,37,39,42,45,47,48,51,54,56,58,59,60,61,63,64,65,67,68,69,70,74,76],[0,3,6,7,9,10,11,12,13,17,19,20,23,24,25,28,31,34,35,37,39,40,43,44,45,46,47,48,50,52,53,57,59,60,61,67,68,69,71,74,76,77],[0,1,2,5,10,14,18,20,21,22,25,27,28,30,32,34,38,39,42,43,44,50,51,52,53,56,57,58,59,60,61,62,64,65,66,67,72,73,74],[1,2,5,6,10,11,12,13,14,15,18,19,20,22,24,25,27,29,31,33,35,39,41,46,48,49,51,54,55,57,60,61,64,65,69,76],[2,4,5,13,14,21,25,30,31,34,35,40,41,42,43,44,45,46,49,52,53,55,58,59,60,62,63,64,66,67,68,69,72,73,74,75,76],[2,3,4,7,8,12,13,15,16,21,22,25,28,31,32,35,36,40,47,48,49,50,52,54,55,56,58,61,62,65,70,77],[0,3,5,6,7,8,11,13,14,16,19,21,22,24,29,31,33,35,36,38,45,47,49,52,55,58,60,61,62,63,64,65,68,70,75,77],[1,2,3,6,7,8,10,11,13,16,18,19,20,24,25,27,28,29,30,31,32,33,34,35,36,39,42,43,44,45,47,49,50,51,53,55,56,57,59,63,66,67,68,70,72,73,74,75,77],[1,3,4,5,6,7,8,10,11,14,16,18,19,20,21,24,27,28,29,32,33,36,39,40,41,46,47,50,51,52,56,57,58,60,62,64,69,70,76,77],[0,1,3,4,5,6,7,8,9,10,12,16,17,18,20,22,23,25,26,27,28,30,31,32,34,35,37,39,41,43,44,45,47,48,54,60,62,66,67,68,70,71,73,74,75,77],[3,5,6,7,8,9,12,13,16,17,23,25,26,30,34,37,38,40,43,44,46,47,48,49,50,51,54,55,56,57,60,61,62,63,65,66,67,69,70,71,73,74,76,77],[1,6,7,10,12,13,18,20,22,28,29,32,33,37,40,42,43,45,48,49,51,52,54,55,57,58,61,66,68,72,73,75],[0,3,4,5,6,8,14,15,16,22,27,28,29,30,31,32,33,34,35,36,37,38,39,44,45,47,52,53,58,59,60,61,64,67,68,70,74,75,77],[0,2,3,6,8,13,15,16,21,22,25,27,28,29,32,33,36,37,38,39,40,41,42,43,46,47,49,55,61,62,63,66,69,70,72,73,76,77],[0,1,2,4,5,6,7,9,10,11,17,18,19,20,23,24,26,28,32,36,40,41,43,45,50,52,53,56,58,59,60,61,62,63,66,68,71,73,75],[0,4,7,9,12,13,14,15,17,22,23,25,26,27,28,29,31,32,33,35,36,39,40,43,45,46,48,49,50,51,52,53,54,55,56,57,58,59,62,63,64,65,66,68,69,71,73,75,76],[1,4,5,6,10,14,16,17,18,22,24,26,29,31,34,35,36,37,39,40,41,44,45,46,47,48,49,50,54,55,56,58,59,62,63,64,65,66,67,68,72,73],[1,2,5,6,8,9,10,11,14,15,16,18,22,23,25,27,28,29,31,35,36,37,39,40,42,43,45,52,54,55,58,59,60,61,63,70,75],[0,1,6,9,10,17,26,27,29,34,35,36,38,39,41,43,46,47,48,49,50,51,52,54,56,57,58,61,64,65,66,67,68,69,70,72,73,74,75],[0,3,6,7,8,9,11,12,17,18,20,24,27,29,34,35,36,37,38,40,41,42,43,44,46,53,55,56,59,60,61,62,64,71,76],[1,2,3,4,7,9,10,12,15,17,18,20,23,25,27,28,34,37,39,40,41,43,46,51,53,54,55,56,57,58,59,61,64,69,71,74,76],[2,3,5,6,7,9,12,14,15,16,20,22,23,24,25,26,27,28,29,31,35,36,43,44,45,47,48,49,50,51,53,57,61,62,63,65,66,67,68,69,71,72,73,74,76],[0,1,2,3,5,7,10,12,14,15,16,17,20,22,23,24,25,28,31,34,38,39,41,44,45,46,52,53,54,56,58,62,63,64,70,71,75,76],[0,1,2,3,4,5,7,8,12,13,14,16,18,19,20,21,22,24,26,27,29,30,31,32,35,36,37,38,39,41,42,49,50,51,53,54,56,60,67,68,69,71,72,73,74,76,77],[1,2,3,7,8,9,12,13,19,20,21,26,29,30,32,35,36,39,40,41,42,43,44,45,49,50,52,53,54,55,56,57,59,60,61,62,63,67,68,70,71,72,73,75,76,77],[2,3,5,8,9,14,16,18,22,24,25,33,40,42,43,45,46,48,49,51,55,60,61,63,64,66,67,69,72,74],[0,1,2,4,7,10,11,12,18,20,24,25,26,27,31,33,38,39,40,46,47,50,51,53,54,55,58,64,65,68,69,71,73,74,76],[2,4,6,7,9,11,12,17,18,20,24,25,29,31,33,34,35,36,40,41,43,48,49,52,53,55,56,57,61,66,67,70,71,72,75,76],[0,1,2,3,4,5,6,13,14,15,16,19,21,22,23,24,28,30,32,33,37,38,39,40,41,44,46,47,49,51,54,55,56,57,62,64,65,67,69,72,74,77],[0,3,4,8,9,10,11,13,18,19,21,24,25,27,29,30,31,32,33,35,36,38,41,42,43,44,45,46,47,49,51,52,56,57,58,59,60,61,62,63,64,65,67,69,70,72,74,75,77],[0,1,4,5,8,10,11,12,15,20,21,25,26,27,28,29,31,35,36,39,41,42,43,44,48,49,50,53,54,57,60,61,64,66,67,69,72,73,76,77],[0,3,8,9,10,13,17,19,26,28,29,30,34,37,38,40,41,46,49,52,56,58,59,60,63,65,69,70,71,72,73,75,77],[1,4,5,6,7,8,10,11,16,17,19,20,21,22,23,26,28,30,34,35,38,41,42,43,44,45,46,50,51,52,54,55,56,59,61,62,63,66,67,68,69,71,72,74,75],[0,1,2,4,9,12,14,18,19,20,24,27,29,30,32,34,35,36,38,39,41,47,50,53,54,57,59,61,64,66,70,71,73,74,76],[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,32,34,35,37,38,40,45,47,48,50,51,54,55,58,59,61,62,65,66,68,69,71,72,73],[2,3,5,6,7,11,12,13,14,16,18,19,21,22,23,24,27,30,32,34,36,37,38,39,40,41,42,43,44,45,47,49,51,53,55,57,58,59,60,62,64,65,67,68,71,76,77],[1,2,3,4,8,10,12,13,14,17,18,20,24,26,27,28,32,35,36,37,39,40,46,47,49,50,52,53,54,56,57,58,60,61,63,64,65,66,69,72,74,75,76,77],[1,3,4,6,10,11,14,16,19,20,22,24,25,26,27,28,30,31,33,34,35,36,38,41,43,44,45,47,48,49,53,57,59,60,64,68,74,75,76],[0,1,3,4,7,10,11,12,14,15,17,20,23,24,26,28,29,33,35,39,41,43,44,46,47,51,52,55,56,62,63,71,73,77],[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,42,43,45,49,51,52,53,55,56,57,58,59,60,62,63,64,65,66,69,70,74,75],[0,2,4,7,12,14,15,16,20,23,26,28,29,30,32,33,36,37,39,44,45,47,48,51,52,53,55,56,57,58,62,63,64,65,66,67,71,72,75,77],[0,1,2,5,6,8,10,11,12,14,15,17,19,21,22,29,32,33,34,35,36,37,38,39,41,42,43,46,47,48,50,53,54,57,58,59,61,64,65,68,69,74,77],[0,1,2,8,9,11,13,16,19,24,26,28,29,32,34,35,36,38,40,43,45,48,49,52,53,56,57,59,60,63,64,66,67,69,70,71,77],[1,2,3,10,11,16,17,24,30,32,35,36,37,41,43,45,46,48,53,57,58,64,65,66,67,72,73,75],[0,1,4,5,8,11,12,14,15,16,17,24,25,27,29,30,31,32,33,34,38,40,42,43,44,47,48,49,50,54,55,58,60,63,66,67,70,71,72,73,75],[4,7,9,12,13,14,21,23,24,25,26,30,33,34,36,39,40,41,43,46,52,54,57,59,62,64,65,66,67,69,71,75,76,77],[0,1,2,3,5,12,14,15,16,17,18,19,20,21,23,24,26,30,34,36,40,44,45,46,48,49,50,51,52,55,56,57,60,61,62,65,66,68,69,72,73,74,75,77],[0,4,5,6,8,10,13,16,22,23,25,26,28,31,34,35,37,40,41,44,47,53,55,58,60,63,65,67,68,70,72,76,77],[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,32,35,37,38,39,42,44,45,51,53,55,56,59,60,61,64,65,66,67,72,74,75,77],[1,2,3,6,7,8,9,10,15,17,18,19,20,22,23,26,28,31,33,34,35,37,39,40,43,45,47,48,49,50,51,53,54,56,58,59,61,63,64,65,70,71,73,74,77],[0,5,6,7,8,9,10,12,14,16,21,22,24,28,30,31,33,35,36,37,39,43,44,46,47,52,53,54,55,57,58,59,60,62,63,64,66,68,69,70,71,72,75],[0,2,5,7,10,14,15,16,18,20,23,24,26,27,28,29,30,31,32,33,35,36,37,38,39,40,41,42,43,47,49,50,51,53,54,58,63,65,68,69,70,74],[0,3,4,5,7,8,10,11,14,15,16,19,21,24,25,28,30,35,37,39,40,41,45,46,49,50,52,53,56,57,61,62,67,71,77],[0,1,3,4,8,12,13,14,15,16,17,19,20,22,23,25,27,28,29,33,37,38,40,41,43,45,46,47,48,49,51,54,56,57,58,59,61,62,63,64,65,68,69,72,75,76],[0,3,4,6,8,10,11,16,19,20,24,25,26,30,32,35,40,42,45,46,47,50,51,53,56,57,58,59,61,62,63,64,66,69,71,72,73,77],[1,2,4,5,6,8,10,11,12,14,15,17,18,21,23,25,32,34,35,36,42,44,47,48,49,52,53,55,58,59,60,63,64,65,68,71,74,75],[4,5,6,9,12,13,15,20,23,24,25,28,30,32,33,34,36,37,40,42,43,46,47,49,51,54,57,58,62,63,65,71,72,73,75,76,77],[5,6,7,14,15,20,21,26,28,32,37,39,41,42,47,49,51,52,58,59,63,64,66,67,69,72,73],[0,3,6,8,9,10,11,12,18,20,21,25,26,30,31,33,36,37,38,39,40,41,42,43,46,48,49,50,53,54,55,56,57,58,59,63,64,65,66,67,73,74,75,76],[1,6,7,8,9,11,12,13,14,15,16,18,20,21,24,25,29,34,35,36,37,42,45,47,49,52,54,55,60,61,64,69,72,74],[8,10,12,16,18,19,20,23,25,26,27,28,29,30,35,36,38,39,40,41,43,44,45,50,51,52,54,56,57,58,59,61,65,66,67,68,69,72,75,76,77],[0,2,4,8,9,10,13,14,15,16,17,18,20,21,23,25,26,27,32,34,36,37,38,43,46,50,53,54,55,56,60,61,62,65,70,72,73,75],[1,2,3,4,7,9,10,12,16,17,19,21,24,26,28,31,32,33,37,38,43,44,47,48,50,51,55,56,61,62,63,65,68,70,72,75,77],[0,1,2,4,6,7,8,11,16,17,18,19,20,24,25,28,30,32,36,39,40,41,42,44,46,47,49,51,53,54,57,58,59,61,62,64,66,67,68,70,72,73,74,76,77],[0,1,2,4,6,7,10,11,12,17,23,24,26,27,29,32,35,38,42,43,45,46,47,49,50,52,53,56,62,64,65,69,70,73,74,75],[2,4,5,6,9,11,12,14,19,20,21,24,25,26,33,34,37,38,40,41,42,46,48,49,53,55,56,58,59,63,64,66,67,68,70,71,77],[0,2,3,4,5,12,14,16,20,23,24,25,26,27,28,29,31,34,35,38,40,41,44,45,51,52,56,58,59,61,66,67,69,70,71,72,73,74],[0,6,9,10,11,12,14,15,17,18,19,22,23,25,28,29,30,31,32,37,38,39,40,42,44,45,46,47,49,51,52,53,55,56,57,58,60,62,64,66,68,72,74,75],[0,2,3,4,9,10,13,16,18,19,22,25,27,28,29,33,34,37,38,41,44,45,46,47,48,51,52,53,55,56,59,61,63,67,68,70,75,76],[0,2,3,4,8,9,12,13,20,22,23,26,30,33,34,35,36,37,39,40,43,46,47,48,50,53,54,55,57,58,63,65,66,69,70,72,77],[1,5,6,7,8,10,11,15,16,19,21,22,23,25,26,29,31,33,34,36,40,42,45,46,48,49,52,53,54,58,60,61,63,64,66,68,71,73,75,76],[5,9,10,12,13,14,18,19,20,22,23,24,26,31,33,35,37,40,46,47,48,53,55,58,63,66,68,69,71,72,73,74,75,76],[2,4,7,8,12,13,14,15,16,17,22,26,27,29,30,33,34,35,37,40,42,43,44,47,48,49,52,57,58,59,60,61,62,63,64,65,67,68,69,70,72,73],[2,3,5,8,9,10,11,12,13,15,16,17,20,22,25,28,29,33,34,35,36,38,39,41,43,46,48,51,53,54,55,58,60,61,66,68,75],[8,12,14,16,19,20,22,23,24,25,26,29,30,31,32,33,34,35,36,39,44,45,46,49,50,51,55,59,60,62,63,64,65,66,69,70,71,72,73,74,75],[0,4,6,9,10,11,12,13,14,16,17,19,20,21,22,29,30,31,32,34,37,39,40,44,47,49,52,54,55,56,59,60,61,62,66,67,69,76],[0,3,5,6,7,8,13,14,17,20,21,23,24,27,28,30,33,35,38,39,41,42,44,45,49,50,53,55,56,57,59,61,62,66,69,71,74,76],[0,2,3,4,5,6,12,15,16,20,21,22,23,24,26,28,29,34,37,38,39,40,41,43,45,47,48,50,52,53,55,56,58,60,63,64,65,66,67,68,70,71,72,73,74,76],[0,2,3,4,5,6,8,14,15,19,21,25,28,30,31,32,33,35,36,37,38,40,41,43,44,46,47,48,49,51,52,53,56,58,59,62,67,68,69,75,76],[0,1,2,6,8,10,13,15,16,17,23,28,29,30,33,34,37,39,42,43,47,48,52,57,58,61,62,64,65,71,72,73,74,76,77],[0,1,4,6,7,8,10,16,19,20,24,25,27,28,29,30,31,32,33,34,36,40,45,46,50,51,55,62,64,65,66,67,68,72,73,75,76,77],[2,4,8,10,11,13,14,15,18,19,21,22,23,24,25,26,27,29,33,34,35,36,37,38,39,40,43,45,46,47,48,50,51,52,53,54,56,58,61,62,63,64,66,68,69,72,74],[0,4,6,7,9,13,14,18,20,22,23,24,25,29,31,32,34,36,37,38,40,42,45,46,47,50,51,52,53,55,57,61,62,65,69,70,73,74,76],[0,4,6,7,8,9,12,13,16,18,19,26,30,33,35,37,38,39,40,42,44,47,49,52,53,57,59,60,61,63,64,66,71,72,75,76],[1,2,3,5,11,12,14,15,17,18,19,20,23,25,27,29,30,34,35,36,37,39,41,42,43,46,47,48,51,52,54,55,57,58,60,64,67,69,70,72,74,77],[1,8,9,10,13,14,16,18,19,22,23,27,28,30,33,37,38,42,47,52,53,57,61,64,66,67,68,69,70,72,74,75,77],[0,1,2,4,6,7,10,12,14,20,25,26,29,30,36,37,39,40,41,44,45,47,49,50,54,58,59,60,61,64,65,66,68,69,70,71,73,77],[1,2,4,5,6,8,10,12,13,16,17,20,22,24,27,29,31,32,33,36,37,39,40,43,45,47,50,52,54,55,56,59,60,61,63,65,66,67,68,69,73,74,75],[2,4,6,7,8,10,11,12,17,18,21,23,24,26,28,29,33,34,36,38,39,41,42,43,46,47,51,52,54,56,60,62,63,66,68,70,71,72,73,75],[2,3,5,8,9,10,12,13,14,15,17,19,21,25,31,33,35,36,37,38,40,41,42,44,46,51,53,55,56,57,61,62,64,66,67,68,69,70,74,75,76],[0,3,4,6,8,9,11,15,16,17,18,19,22,23,27,28,29,30,32,33,34,35,37,39,40,41,47,49,53,54,56,57,58,60,61,69,70,72,73,75,76,77],[1,2,3,7,8,9,10,11,12,14,15,16,17,18,19,20,22,23,25,26,27,28,32,33,34,35,36,44,45,50,53,56,57,59,64,65,66,68,71,72,75,76],[1,3,4,6,9,14,15,16,19,20,21,22,24,25,27,29,32,35,38,39,41,42,43,44,45,46,47,50,51,52,53,54,57,59,60,62,63,64,65,70,73,76],[0,1,3,6,7,11,13,17,18,22,23,25,26,27,31,33,34,36,37,38,39,41,42,43,44,47,48,50,52,53,58,59,62,63,64,67,69,70,72,77],[3,6,7,8,13,14,20,21,22,24,26,27,28,30,31,36,39,40,41,45,46,47,48,49,51,53,56,61,65,67,70,75],[1,4,5,6,7,9,10,11,12,15,16,17,18,24,25,26,27,31,32,33,34,40,42,43,47,48,51,53,54,55,57,59,62,63,66,69,70,71,73,74,76],[0,3,8,10,11,12,13,16,18,19,20,21,24,25,27,29,30,32,34,35,38,39,40,43,45,46,48,49,50,56,58,60,63,65,66,67,69,70,75,77],[0,2,3,4,6,7,13,16,17,19,20,23,25,26,27,28,30,32,33,35,36,40,41,42,45,47,48,49,50,51,52,54,58,62,65,67,68,69,71,72,73,77],[0,1,2,4,5,7,8,11,13,14,17,18,19,20,24,25,26,27,28,33,34,35,37,38,39,40,41,45,51,52,53,54,55,56,58,59,65,67,68,73,74,75,77],[0,6,7,10,11,12,14,16,18,19,22,25,26,28,29,31,32,34,35,36,38,41,43,47,50,51,53,58,60,61,63,66,69,77],[0,2,3,4,5,6,8,10,14,16,25,26,29,30,32,34,36,38,39,40,43,44,50,51,53,54,55,58,59,60,64,65,67,71,72,74,75,76,77],[0,1,2,5,6,8,9,12,14,16,18,20,21,25,27,28,31,33,35,36,38,39,44,46,49,51,53,54,55,57,59,60,61,62,65,67,68,69,72,73,74,75],[0,2,3,6,8,12,14,15,17,19,21,22,24,25,28,30,34,35,37,38,40,41,45,46,48,49,52,53,54,56,57,60,62,66,67,69,72,74,76,77],[1,6,7,8,9,10,11,12,13,14,17,21,23,27,29,32,35,36,37,39,40,45,47,48,50,52,55,56,58,61,62,63,68,69,70,72,73,74,75,76],[0,2,4,7,11,12,13,15,18,19,20,21,22,23,24,25,26,31,33,35,36,38,39,40,41,43,47,53,54,55,60,62,63,64,66,67,69,70,71,75,76],[3,5,6,7,8,10,11,12,13,14,15,16,18,19,20,21,22,23,24,29,30,31,32,33,34,35,41,44,47,50,51,58,59,62,63,65,66,69,70,72,74,77],[0,2,5,7,10,11,13,16,17,18,20,23,25,28,29,31,32,33,37,38,40,44,45,46,47,48,49,50,51,52,53,54,56,57,58,59,60,63,65,67,70,76],[2,3,4,5,7,9,15,18,19,21,22,27,29,30,31,32,34,35,36,37,38,40,42,44,46,47,48,49,50,53,56,57,58,64,65,66,71,73,75,76],[2,3,7,9,10,12,16,17,18,24,26,27,28,30,31,34,38,39,40,41,42,43,45,47,51,52,53,55,59,62,69,73,76],[0,1,2,3,5,8,11,13,14,15,20,21,22,27,28,29,30,31,32,33,39,42,45,47,48,49,53,56,57,60,61,63,65,67,68,70,72,75,76,77],[4,7,8,9,12,14,15,16,17,20,22,23,25,26,28,29,31,32,33,34,35,37,38,39,42,43,44,49,51,52,54,57,59,62,64,69,71,72,73,75,76],[0,2,3,4,6,7,9,16,19,20,21,23,24,26,29,30,31,32,33,39,40,41,42,43,44,45,46,48,51,53,56,59,60,64,66,67,71,73,74,75,77],[0,1,3,4,5,6,9,10,12,15,16,21,22,23,24,28,29,30,31,32,36,37,38,39,40,41,45,46,47,51,59,60,61,62,64,65,67,68,69,71,73,74],[2,3,4,8,10,14,15,18,20,22,23,24,25,27,29,30,32,33,35,37,40,41,44,45,47,49,53,54,55,57,64,71,72,75],[3,4,5,10,11,13,15,16,17,18,20,24,27,29,30,32,33,34,35,37,42,44,46,47,52,53,56,57,59,62,64,68,70,73,74],[0,2,3,4,5,11,13,17,18,20,21,22,23,24,25,27,28,29,33,38,39,42,43,44,45,46,47,48,49,53,55,57,59,60,63,64,65,66,69,70,71,74,76],[0,4,7,10,11,12,13,14,15,18,20,24,26,27,29,30,31,35,39,42,44,46,49,54,55,58,59,60,64,66,70,75,76],[0,1,3,4,5,7,10,11,14,18,19,21,22,23,24,25,29,30,31,32,39,40,43,44,45,46,47,49,50,54,56,58,61,64,65,67,70,71,75,77],[0,1,2,3,5,10,12,13,16,19,20,26,27,28,30,34,37,38,39,40,42,47,48,49,50,52,59,61,62,63,67,68,69,73,77],[0,1,2,4,11,12,15,17,18,19,24,26,28,29,32,33,35,38,39,40,44,46,48,49,50,53,56,57,61,63,64,67,69,70,74,77],[1,2,7,10,13,14,17,19,20,27,28,30,31,32,33,38,40,42,48,50,53,54,55,56,57,58,59,60,61,63,66,67,69,74,75,76,77],[0,4,5,8,11,12,16,17,19,20,22,24,25,27,28,29,30,32,34,38,39,41,42,45,47,48,49,51,53,54,55,56,59,60,61,62,63,64,65,66,67,68,69,70,71,72,74,76,77],[3,4,7,8,11,14,19,20,22,24,25,26,27,28,29,30,31,33,37,38,41,42,45,48,51,52,57,58,59,61,63,64,65,67,69,70,71,72,73,75,77],[2,3,6,7,9,13,15,17,20,22,23,24,25,27,29,34,36,37,38,41,42,44,47,48,51,54,55,59,61,62,64,65,67,68,70,71,72,75,77],[0,1,2,3,6,9,14,16,19,21,24,29,31,33,35,36,38,39,40,41,43,44,45,47,48,49,50,51,52,53,55,57,58,64,70,72,73,74],[1,2,3,4,6,7,9,10,11,12,13,15,16,18,19,20,21,26,27,30,33,36,38,40,41,42,43,45,46,47,48,50,51,52,53,54,57,59,60,66,72,73,74,75,76],[1,3,5,6,7,8,9,13,16,17,18,23,24,26,29,30,33,35,36,37,38,40,45,46,48,50,57,60,61,64,66,67,70,75,76,77],[0,1,2,4,6,7,8,9,11,16,20,21,22,25,26,27,28,30,35,36,37,39,40,42,43,44,47,49,50,53,55,59,61,63,65,67,69,71,74,75,77],[0,1,7,9,11,14,15,16,20,21,22,25,26,28,31,32,36,38,39,40,41,46,47,48,50,52,53,56,58,62,63,65,67,68,74,76],[0,1,4,6,7,9,15,16,17,18,19,21,22,24,25,28,29,31,34,35,36,37,38,39,42,43,47,48,49,50,51,52,53,54,57,58,59,61,63,65,68,70,72,75,76,77],[0,3,4,8,9,10,11,14,15,16,22,25,26,27,28,30,31,32,33,34,36,38,40,41,43,48,50,52,54,58,60,61,64,65,69,70,72,76],[0,1,3,4,5,7,10,14,15,17,18,19,22,23,25,26,27,28,29,34,36,37,38,39,40,43,44,49,50,51,52,53,55,58,59,60,62,64,69,71,73,76,77],[1,4,5,6,7,8,9,14,16,20,23,24,26,30,31,33,34,35,39,40,42,43,44,46,48,53,55,56,57,65,67,71,73,74,75],[0,4,5,6,8,11,15,21,22,23,24,25,28,30,32,33,34,35,36,38,41,42,43,44,47,50,52,55,57,58,62,63,68,71,73,75,76],[3,5,6,9,10,14,16,21,23,24,26,27,31,35,40,42,44,47,48,54,55,57,60,61,62,63,64,65,68,69,70,71,72,73,75],[0,1,4,8,12,15,16,18,20,21,23,24,25,26,28,29,31,32,33,37,39,40,42,43,45,47,48,51,53,54,55,56,57,58,59,60,61,62,65,66,68,70,71,72,73,74,75,76,77],[0,3,7,10,12,15,16,18,23,24,25,26,27,28,29,30,31,32,34,37,40,42,45,46,48,51,55,57,58,59,63,64,65,66,67,69,71,73,75,76,77],[2,3,6,7,9,11,13,16,18,19,21,25,28,29,31,33,35,36,39,40,41,42,45,48,50,53,55,56,58,59,60,61,65,66,69,71,73,74,76,77],[2,4,5,6,7,10,13,17,20,23,25,27,28,32,33,34,35,36,37,39,40,42,43,44,45,46,47,49,50,51,53,58,61,63,64,66,67,68,76],[0,2,3,5,6,7,8,9,11,13,14,15,16,17,20,22,23,26,30,31,35,37,38,39,41,42,44,45,46,47,48,49,51,52,53,54,60,63,65,66,67,68,69,70,72],[1,2,3,5,7,9,12,13,19,20,21,22,25,26,28,30,33,34,37,38,42,44,51,52,54,55,58,63,69,70,71,72,73,76],[0,2,3,4,5,6,12,13,15,16,17,18,20,24,26,29,30,31,33,35,36,39,43,44,47,48,49,50,53,55,57,59,61,65,68,69,71,73,75,77],[0,7,10,12,13,18,19,22,26,31,32,34,35,36,37,40,41,42,44,45,47,49,50,52,57,58,62,68,70,73,74,75,77],[1,2,4,5,6,8,10,19,22,23,26,27,28,29,30,32,33,34,36,37,39,41,43,44,45,47,48,50,52,53,54,58,63,64,66,69,70,71,73,74,77],[2,3,5,7,8,10,11,12,13,14,15,18,19,29,31,32,34,35,36,38,39,44,46,47,48,51,52,54,59,64,66,70,72,73,75,76,77],[3,4,5,6,8,9,10,12,18,19,20,24,28,29,30,33,37,38,40,42,44,45,46,49,51,53,54,55,59,64,65,67,70,71,72,74,75],[0,1,5,8,9,11,12,14,15,18,20,23,24,27,29,32,34,36,37,43,45,47,52,54,55,57,62,63,64,65,67,68,69,73,74,75,76,77],[1,5,7,8,9,10,11,13,14,15,19,20,22,23,24,26,27,29,31,35,40,41,42,43,44,49,50,54,55,58,63,64,65,67,69,70,76],[1,2,3,9,12,18,20,22,23,24,26,27,32,34,36,38,39,40,41,42,43,46,47,48,49,50,51,52,55,58,59,63,65,66,67,69,72,73,75,77],[1,3,7,11,12,14,16,19,20,21,22,24,25,26,31,34,35,38,39,40,44,45,46,47,48,49,52,54,56,58,60,63,64,66,67,68,69,70,71,72,73,75],[0,1,2,5,7,8,12,15,16,19,20,21,24,25,29,31,34,35,37,41,42,44,47,50,51,52,56,57,59,60,62,63,67,69,70,71,73,74,75,76],[0,1,2,4,9,10,11,12,13,15,17,22,26,28,32,33,34,35,38,39,42,48,52,56,59,61,62,63,67,68,70,71,74],[1,2,3,5,6,7,8,10,11,12,15,17,20,24,29,30,31,36,39,41,42,46,47,48,50,51,53,54,55,56,57,58,61,63,64,65,70,72,73,74,77],[1,6,13,14,17,18,19,20,24,30,32,34,35,38,41,42,44,50,52,53,55,56,57,58,59,61,63,65,66,74,75,76],[0,1,2,3,4,5,8,11,16,17,21,22,23,25,26,27,28,29,32,33,35,41,43,45,46,47,50,55,59,60,61,62,63,65,66,67,70,72,73,74,75,76],[0,3,6,10,11,16,17,19,21,25,30,34,35,36,37,39,44,46,48,52,53,54,55,58,59,60,61,62,64,65,67,69,71,72,75,76,77],[3,4,8,9,14,18,22,23,27,30,33,36,37,40,43,44,46,48,50,51,53,56,63,64,67,68,69,71,74,76],[0,1,2,5,6,12,14,18,19,23,24,25,26,30,31,33,34,36,39,41,42,44,46,47,49,50,51,53,57,58,60,64,67,68,71,72,75,76,77],[1,3,6,7,8,9,10,11,12,14,15,22,23,25,27,32,33,37,38,39,42,45,46,50,52,53,58,60,65,66,67,69,70,71,72,76],[0,1,2,7,8,12,13,14,16,22,23,24,25,26,28,32,35,37,40,43,45,47,48,50,51,52,58,59,60,61,65,66,68,69,73,76,77],[1,4,5,8,10,11,12,13,15,16,19,22,25,28,31,33,34,35,37,38,41,46,49,51,53,56,57,58,59,60,61,63,67,68,69,70,71,73,74,75],[1,3,5,9,10,11,12,13,14,15,16,18,19,23,25,27,28,30,31,34,35,36,38,40,41,43,44,48,49,50,57,58,59,60,61,64,70,73,75,76],[5,6,7,8,13,16,18,19,22,28,30,31,32,33,34,35,36,37,39,40,41,42,43,44,45,46,48,49,52,53,57,59,61,64,65,66,67,69,71,72,73,75],[3,5,7,8,10,15,16,17,18,20,23,27,28,29,30,32,33,34,35,36,40,42,43,46,50,51,52,53,54,57,58,60,62,64,66,67,69,72,73,74,75,76,77],[1,3,4,5,6,8,11,12,16,17,20,23,25,27,28,29,33,34,35,38,39,44,45,46,48,50,53,54,56,57,62,63,65,67,68,69,70,73,75,76,77],[0,4,5,6,8,9,11,13,14,15,18,21,24,30,34,35,36,38,39,40,41,42,46,48,55,56,57,62,65,68,73,74,76,77],[1,2,3,5,6,7,8,11,12,14,15,16,21,25,26,27,28,32,33,34,38,39,40,41,42,44,45,47,48,52,53,55,57,58,59,60,61,62,63,64,66,67,68,71,76],[2,5,9,10,16,21,22,23,26,28,34,37,40,41,44,46,47,48,50,55,57,59,61,62,63,64,65,68,69,70,72],[0,1,4,5,6,7,12,15,17,18,19,20,21,24,25,29,30,31,32,33,34,35,36,39,40,44,49,51,52,53,54,55,56,57,59,61,65,66,67,68,69,70,72,73,76],[2,4,7,14,15,17,20,21,23,26,29,32,35,40,41,42,46,47,50,52,54,55,56,58,59,60,61,64,65,66,69,70,71,73,75,77],[1,6,14,17,18,21,22,23,24,25,26,27,28,30,31,36,41,42,43,45,50,51,52,53,54,55,57,59,60,66,69,72,75,76],[1,2,6,7,8,11,13,14,17,19,22,24,25,27,29,30,31,32,33,37,38,45,46,47,48,49,51,55,57,58,59,62,68,70,71,72,74,76],[0,1,8,10,11,12,13,15,16,17,22,24,26,33,34,38,42,43,44,45,47,49,52,53,56,57,59,60,61,62,66,67,68,71,73,74,77],[0,3,4,9,10,12,14,15,19,20,23,24,25,26,30,33,35,38,39,42,46,47,48,49,50,52,54,56,58,59,63,66,69,71,72,73,75,77],[1,2,3,4,7,9,14,16,17,18,20,21,22,25,26,28,29,30,32,33,34,35,36,37,38,39,41,42,44,45,47,49,52,57,61,63,66,67,70,71,72],[2,3,4,6,7,9,16,20,23,24,27,29,31,32,33,34,35,37,38,39,43,44,47,49,50,51,53,54,55,59,60,61,63,67,69,70,71,75,76],[0,1,2,3,4,6,7,8,9,10,11,12,13,15,17,20,22,23,26,27,29,31,32,35,37,39,42,45,50,51,52,54,55,56,57,62,63,66,68,69,70,73,74,75,76,77],[0,1,2,3,4,5,6,8,9,10,11,13,14,15,19,20,21,22,23,25,27,28,29,33,34,37,38,40,44,48,54,57,60,61,63,64,69,71,73,74,75],[1,2,3,4,5,9,12,16,18,19,20,22,29,30,31,36,37,40,41,47,48,49,50,51,55,56,57,60,62,63,64,67,68,72,76,77],[2,3,6,9,11,12,15,19,20,21,25,26,27,28,30,32,33,34,36,37,40,42,45,46,48,49,51,52,57,59,61,65,67,68,69,70,71,73,74],[0,1,2,4,10,11,17,18,22,25,26,30,31,32,34,35,37,38,39,40,41,42,43,47,52,53,55,56,58,59,60,61,63,65,67,68,69,70,74,76,77],[2,4,8,12,13,15,16,18,24,25,30,31,32,33,35,37,39,40,41,44,45,49,55,57,58,62,63,65,66,69,70,71,73,76],[0,1,2,3,5,6,7,8,9,10,12,13,14,16,20,22,24,26,27,30,31,33,34,35,36,37,39,42,43,45,46,47,50,52,53,55,61,64,65,68,69,71,76],[0,3,5,9,10,11,12,16,17,19,20,25,26,29,32,34,35,36,38,39,42,43,48,49,50,51,52,53,57,58,59,61,62,64,65,69,70,72,74],[2,5,10,17,18,19,21,22,24,26,27,28,29,30,31,36,38,39,40,44,45,46,47,48,49,51,54,60,61,63,65,66,69,70,72,75],[2,3,5,6,9,10,12,15,18,21,23,25,26,27,28,29,31,33,35,36,38,39,42,43,45,51,52,53,56,61,63,64,65,66,68,70,74,76,77],[4,5,8,9,11,12,14,15,18,20,21,28,30,32,33,35,37,38,40,41,43,46,47,48,49,50,51,53,54,55,56,62,63,65,67,68,71,72,73,74,77],[0,4,7,8,10,11,13,14,16,19,23,26,28,29,30,34,35,36,37,39,40,42,43,44,46,48,52,53,57,60,62,64,65,66,67,69,71,72,75,77],[0,3,5,6,7,10,13,16,17,18,20,21,22,24,25,26,29,30,32,34,35,36,38,39,40,41,43,46,48,50,51,53,55,57,63,66,72,73,76,77],[0,2,3,6,7,13,16,19,20,25,27,28,31,32,34,35,41,43,44,45,47,49,50,53,54,55,57,60,61,65,69,70,73,75,76,77],[0,2,3,4,5,6,7,8,9,11,12,13,14,15,16,18,19,21,25,27,30,31,33,34,37,38,40,44,45,46,48,51,56,57,60,61,62,63,67,68,69,70,71,72,74,75,76],[0,1,2,4,5,6,7,9,10,11,12,13,14,15,16,17,18,19,23,24,25,29,31,32,35,36,37,38,40,42,50,54,55,57,58,60,63,67,68,69,75,77],[0,1,5,6,7,8,13,16,18,20,22,23,25,26,27,33,38,39,40,41,42,43,44,45,53,54,56,57,58,61,62,63,66,70,71,73,74],[2,6,7,8,11,13,15,16,17,23,24,26,29,30,31,32,34,35,39,42,43,45,46,48,51,52,55,59,63,65,67,68,73,74,75,76,77],[0,4,5,6,14,15,18,21,22,26,27,29,30,32,37,38,39,46,47,48,49,53,54,55,57,59,61,62,64,65,68,70,71,73,74,75,76],[0,6,8,9,11,12,20,22,26,27,28,29,33,35,39,40,41,43,50,51,56,57,59,61,63,64,67,70,72,75,76,77],[1,2,3,4,5,6,7,8,9,10,12,13,14,16,18,20,26,27,28,30,31,32,35,36,37,38,39,40,41,44,46,47,48,49,51,52,53,55,58,59,61,70,74,75,77],[1,4,7,8,13,14,15,16,20,21,23,25,29,30,32,33,37,40,41,42,43,44,45,46,47,48,49,55,56,58,59,63,64,65,66,68,75,76]]},"distance":{"d":6,"is_exact":false,"upper":null,"witness":null,"A_d":null,"certified":{"d":8,"is_exact":false,"met":false,"source":"gamma frontier release record weighted_sources_742_36_8 (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],[32,2],[33,1],[34,1],[35,2],[37,2],[40,2],[43,2],[47,2],[49,2],[53,2],[57,2],[63,2],[68,2],[69,2],[70,2],[71,2],[74,2],[75,2],[76,2],[77,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,32],[0,33],[0,35],[0,37],[0,39],[0,40],[0,41],[0,42],[0,44],[0,45],[0,49],[0,51],[0,52],[0,53],[0,54],[0,55],[0,56],[0,59],[0,62],[0,63],[0,64],[0,66],[0,69],[0,70],[0,71],[0,72],[0,74],[0,76],[0,77],[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,32],[1,36],[1,37],[1,38],[1,39],[1,40],[1,41],[1,42],[1,43],[1,46],[1,48],[1,49],[1,50],[1,51],[1,53],[1,57],[1,59],[1,63],[1,64],[1,65],[1,68],[1,73],[1,74],[1,75],[1,76],[1,77],[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,35],[2,36],[2,37],[2,39],[2,41],[2,42],[2,43],[2,44],[2,49],[2,55],[2,56],[2,59],[2,60],[2,61],[2,62],[2,64],[2,65],[2,72],[2,74],[2,76],[2,77],[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,33],[3,34],[3,37],[3,39],[3,44],[3,49],[3,50],[3,51],[3,52],[3,53],[3,54],[3,55],[3,57],[3,59],[3,64],[3,68],[3,71],[3,73],[3,75],[3,76],[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,39],[4,40],[4,41],[4,43],[4,45],[4,46],[4,47],[4,48],[4,50],[4,51],[4,56],[4,57],[4,58],[4,60],[4,61],[4,62],[4,65],[4,66],[4,68],[4,70],[4,71],[4,72],[4,75],[4,76],[4,77],[5,6],[5,7],[5,10],[5,12],[5,15],[5,19],[5,23],[5,24],[5,29],[5,30],[5,33],[5,34],[5,35],[5,37],[5,38],[5,39],[5,40],[5,41],[5,42],[5,43],[5,44],[5,45],[5,47],[5,48],[5,49],[5,52],[5,57],[5,58],[5,59],[5,63],[5,65],[5,67],[5,68],[5,69],[5,70],[5,71],[5,74],[6,8],[6,10],[6,11],[6,13],[6,16],[6,20],[6,21],[6,24],[6,26],[6,29],[6,33],[6,34],[6,36],[6,37],[6,39],[6,43],[6,48],[6,49],[6,50],[6,54],[6,55],[6,56],[6,58],[6,59],[6,61],[6,62],[6,65],[6,66],[6,68],[6,70],[6,71],[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,34],[7,36],[7,39],[7,41],[7,43],[7,44],[7,45],[7,46],[7,47],[7,50],[7,58],[7,60],[7,61],[7,63],[7,65],[7,67],[7,69],[7,70],[7,74],[7,77],[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,32],[8,33],[8,38],[8,39],[8,40],[8,44],[8,45],[8,46],[8,47],[8,48],[8,50],[8,51],[8,54],[8,56],[8,58],[8,60],[8,63],[8,64],[8,65],[8,66],[8,70],[8,74],[8,75],[8,76],[8,77],[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,34],[9,36],[9,37],[9,38],[9,40],[9,41],[9,42],[9,43],[9,46],[9,50],[9,51],[9,52],[9,53],[9,55],[9,58],[9,59],[9,60],[9,61],[9,66],[9,67],[9,68],[9,71],[9,72],[9,74],[9,75],[10,11],[10,15],[10,16],[10,20],[10,21],[10,22],[10,25],[10,26],[10,33],[10,34],[10,38],[10,41],[10,49],[10,52],[10,54],[10,57],[10,59],[10,60],[10,63],[10,66],[10,70],[10,71],[10,72],[10,76],[11,12],[11,14],[11,18],[11,21],[11,24],[11,26],[11,31],[11,33],[11,34],[11,35],[11,36],[11,46],[11,48],[11,49],[11,51],[11,52],[11,53],[11,55],[11,57],[11,58],[11,59],[11,60],[11,61],[11,62],[11,64],[11,65],[11,69],[11,71],[11,74],[11,76],[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,32],[12,33],[12,34],[12,35],[12,38],[12,39],[12,41],[12,42],[12,44],[12,45],[12,50],[12,51],[12,52],[12,53],[12,54],[12,57],[12,58],[12,59],[12,60],[12,62],[12,64],[12,68],[12,69],[12,70],[12,71],[12,72],[12,76],[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,35],[13,36],[13,37],[13,39],[13,40],[13,41],[13,44],[13,45],[13,46],[13,47],[13,48],[13,49],[13,52],[13,54],[13,55],[13,61],[13,64],[13,65],[13,66],[13,68],[13,69],[13,72],[13,73],[13,74],[13,77],[14,15],[14,16],[14,17],[14,18],[14,20],[14,29],[14,30],[14,34],[14,36],[14,37],[14,39],[14,41],[14,43],[14,46],[14,54],[14,57],[14,60],[14,63],[14,65],[14,66],[14,70],[14,72],[14,76],[14,77],[15,17],[15,22],[15,27],[15,28],[15,30],[15,32],[15,33],[15,34],[15,35],[15,37],[15,41],[15,42],[15,43],[15,45],[15,46],[15,47],[15,52],[15,54],[15,55],[15,56],[15,58],[15,59],[15,61],[15,63],[15,64],[15,65],[15,68],[15,70],[15,75],[15,77],[16,19],[16,22],[16,23],[16,24],[16,25],[16,28],[16,29],[16,31],[16,34],[16,36],[16,38],[16,39],[16,41],[16,44],[16,47],[16,48],[16,51],[16,53],[16,55],[16,56],[16,57],[16,61],[16,63],[16,64],[16,66],[16,67],[16,69],[16,75],[16,76],[17,21],[17,25],[17,31],[17,34],[17,37],[17,40],[17,42],[17,43],[17,46],[17,47],[17,51],[17,52],[17,55],[17,58],[17,60],[17,61],[17,63],[17,66],[17,69],[17,71],[17,73],[17,77],[18,19],[18,20],[18,22],[18,23],[18,24],[18,27],[18,31],[18,37],[18,38],[18,39],[18,41],[18,42],[18,44],[18,45],[18,46],[18,49],[18,50],[18,51],[18,52],[18,53],[18,55],[18,56],[18,57],[18,60],[18,61],[18,63],[18,66],[18,67],[18,69],[18,70],[18,71],[18,72],[18,74],[18,75],[18,76],[19,20],[19,22],[19,24],[19,29],[19,30],[19,33],[19,34],[19,36],[19,37],[19,41],[19,45],[19,46],[19,47],[19,48],[19,50],[19,56],[19,57],[19,60],[19,63],[19,67],[19,68],[19,69],[19,71],[19,72],[19,73],[19,75],[19,76],[19,77],[20,23],[20,24],[20,25],[20,27],[20,28],[20,29],[20,34],[20,35],[20,36],[20,38],[20,42],[20,45],[20,47],[20,50],[20,53],[20,55],[20,57],[20,58],[20,61],[20,62],[20,63],[20,69],[20,70],[20,72],[20,73],[20,75],[21,27],[21,29],[21,33],[21,39],[21,40],[21,45],[21,46],[21,48],[21,49],[21,52],[21,53],[21,54],[21,55],[21,57],[21,61],[21,64],[21,67],[21,71],[21,72],[21,75],[21,77],[22,23],[22,27],[22,28],[22,31],[22,33],[22,36],[22,41],[22,43],[22,44],[22,45],[22,46],[22,47],[22,48],[22,50],[22,51],[22,52],[22,54],[22,55],[22,57],[22,61],[22,62],[22,63],[22,66],[22,68],[22,69],[22,70],[22,72],[22,73],[22,75],[22,76],[22,77],[23,25],[23,26],[23,28],[23,32],[23,37],[23,39],[23,42],[23,44],[23,51],[23,52],[23,53],[23,54],[23,57],[23,62],[23,63],[23,66],[23,67],[23,69],[23,70],[23,71],[23,73],[23,74],[23,75],[23,77],[24,25],[24,26],[24,27],[24,28],[24,32],[24,33],[24,35],[24,36],[24,39],[24,40],[24,45],[24,46],[24,49],[24,50],[24,51],[24,52],[24,54],[24,55],[24,56],[24,58],[24,59],[24,64],[24,65],[24,67],[24,68],[24,69],[24,70],[24,71],[24,72],[24,74],[24,77],[25,26],[25,27],[25,31],[25,33],[25,34],[25,35],[25,36],[25,37],[25,38],[25,39],[25,40],[25,41],[25,42],[25,43],[25,45],[25,47],[25,50],[25,52],[25,54],[25,55],[25,57],[25,59],[25,60],[25,61],[25,64],[25,65],[25,66],[25,68],[25,69],[25,70],[25,71],[25,73],[25,74],[25,76],[25,77],[26,27],[26,30],[26,32],[26,33],[26,35],[26,36],[26,39],[26,40],[26,41],[26,43],[26,47],[26,48],[26,49],[26,54],[26,55],[26,56],[26,57],[26,58],[26,63],[26,64],[26,67],[26,68],[26,76],[27,29],[27,35],[27,36],[27,37],[27,38],[27,42],[27,45],[27,46],[27,48],[27,49],[27,50],[27,51],[27,52],[27,53],[27,54],[27,57],[27,58],[27,60],[27,62],[27,63],[27,65],[27,66],[27,68],[27,70],[27,71],[27,72],[27,73],[27,74],[27,75],[28,29],[28,30],[28,31],[28,32],[28,33],[28,35],[28,36],[28,38],[28,41],[28,43],[28,44],[28,45],[28,46],[28,51],[28,52],[28,58],[28,59],[28,60],[28,61],[28,62],[28,64],[28,65],[28,66],[28,68],[28,71],[28,73],[28,74],[28,75],[28,76],[28,77],[29,30],[29,31],[29,33],[29,34],[29,35],[29,36],[29,37],[29,38],[29,39],[29,40],[29,41],[29,44],[29,46],[29,48],[29,49],[29,51],[29,53],[29,54],[29,55],[29,58],[29,59],[29,60],[29,61],[29,63],[29,65],[29,67],[29,68],[29,70],[29,71],[29,72],[29,74],[29,75],[29,76],[29,77],[30,31],[30,34],[30,39],[30,40],[30,41],[30,42],[30,43],[30,49],[30,53],[30,57],[30,58],[30,60],[30,61],[30,62],[30,63],[30,64],[30,70],[30,73],[30,74],[31,32],[31,34],[31,36],[31,39],[31,42],[31,43],[31,44],[31,45],[31,46],[31,47],[31,48],[31,51],[31,52],[31,54],[31,56],[31,57],[31,59],[31,60],[31,63],[31,64],[31,66],[31,67],[31,68],[31,69],[31,72],[31,74],[31,76],[31,77],[32,34],[32,35],[32,40],[32,42],[32,46],[32,47],[32,48],[32,49],[32,51],[32,54],[32,56],[32,57],[32,58],[32,59],[32,62],[32,63],[32,67],[32,68],[32,69],[32,70],[32,71],[32,73],[32,74],[33,34],[33,35],[33,36],[33,38],[33,39],[33,40],[33,41],[33,44],[33,46],[33,47],[33,49],[33,50],[33,51],[33,53],[33,56],[33,59],[33,63],[33,65],[33,67],[33,68],[33,70],[33,71],[33,72],[33,75],[33,76],[34,35],[34,37],[34,39],[34,40],[34,41],[34,51],[34,52],[34,53],[34,60],[34,61],[34,62],[34,65],[34,66],[34,67],[34,70],[34,74],[34,75],[35,37],[35,39],[35,42],[35,44],[35,49],[35,52],[35,53],[35,55],[35,58],[35,63],[35,64],[35,66],[35,67],[35,68],[35,70],[35,71],[35,73],[35,74],[35,75],[35,76],[35,77],[36,37],[36,42],[36,43],[36,45],[36,49],[36,51],[36,55],[36,56],[36,57],[36,59],[36,60],[36,63],[36,68],[36,71],[36,76],[36,77],[37,38],[37,42],[37,44],[37,47],[37,48],[37,50],[37,56],[37,59],[37,60],[37,63],[37,64],[37,66],[37,67],[37,68],[37,69],[37,70],[37,75],[38,40],[38,41],[38,42],[38,47],[38,48],[38,49],[38,50],[38,51],[38,53],[38,54],[38,55],[38,56],[38,57],[38,58],[38,59],[38,60],[38,61],[38,64],[38,65],[38,66],[38,68],[38,71],[38,72],[38,73],[38,75],[38,76],[38,77],[39,40],[39,42],[39,43],[39,45],[39,47],[39,49],[39,51],[39,53],[39,60],[39,65],[39,66],[39,67],[39,68],[39,70],[39,72],[39,73],[39,74],[39,75],[39,76],[40,42],[40,43],[40,44],[40,46],[40,47],[40,48],[40,49],[40,51],[40,52],[40,58],[40,59],[40,60],[40,61],[40,62],[40,64],[40,70],[40,71],[40,73],[40,74],[40,75],[40,76],[41,45],[41,46],[41,53],[41,54],[41,57],[41,63],[41,65],[41,66],[41,67],[41,68],[41,69],[41,70],[41,71],[41,74],[41,75],[41,76],[41,77],[42,44],[42,45],[42,46],[42,48],[42,49],[42,51],[42,53],[42,54],[42,56],[42,57],[42,58],[42,61],[42,62],[42,63],[42,64],[42,66],[42,69],[42,71],[42,73],[42,74],[42,75],[42,76],[42,77],[43,44],[43,45],[43,46],[43,48],[43,49],[43,51],[43,53],[43,54],[43,55],[43,56],[43,58],[43,59],[43,60],[43,64],[43,65],[43,69],[43,71],[43,72],[43,73],[43,74],[43,77],[44,45],[44,46],[44,47],[44,50],[44,52],[44,53],[44,54],[44,55],[44,56],[44,57],[44,60],[44,62],[44,64],[44,67],[44,69],[44,70],[44,72],[44,73],[44,74],[44,76],[44,77],[45,46],[45,48],[45,49],[45,51],[45,54],[45,55],[45,56],[45,57],[45,58],[45,59],[45,60],[45,62],[45,63],[45,66],[45,68],[45,69],[45,71],[45,73],[45,75],[45,77],[46,47],[46,50],[46,53],[46,54],[46,55],[46,56],[46,58],[46,61],[46,65],[46,69],[46,72],[46,73],[46,74],[46,77],[47,48],[47,49],[47,50],[47,52],[47,54],[47,55],[47,56],[47,57],[47,58],[47,60],[47,61],[47,62],[47,65],[47,67],[47,70],[47,72],[47,77],[48,50],[48,51],[48,52],[48,55],[48,56],[48,57],[48,58],[48,60],[48,62],[48,63],[48,64],[48,67],[48,68],[48,69],[48,70],[48,71],[48,72],[48,75],[48,77],[49,50],[49,51],[49,52],[49,54],[49,58],[49,59],[49,60],[49,61],[49,62],[49,64],[49,65],[49,66],[49,67],[49,68],[49,71],[49,75],[49,77],[50,51],[50,52],[50,53],[50,54],[50,56],[50,58],[50,60],[50,61],[50,62],[50,63],[50,66],[50,67],[50,68],[50,70],[50,71],[50,73],[50,75],[50,76],[51,52],[51,54],[51,56],[51,57],[51,60],[51,61],[51,62],[51,63],[51,64],[51,65],[51,67],[51,69],[51,71],[51,72],[51,74],[51,75],[51,77],[52,53],[52,55],[52,59],[52,60],[52,61],[52,62],[52,64],[52,66],[52,67],[52,68],[52,71],[52,75],[53,54],[53,55],[53,56],[53,59],[53,60],[53,61],[53,62],[53,63],[53,64],[53,66],[53,71],[53,73],[53,76],[54,55],[54,56],[54,57],[54,59],[54,60],[54,62],[54,66],[54,69],[54,70],[54,71],[54,72],[54,73],[54,75],[55,56],[55,57],[55,61],[55,63],[55,66],[55,69],[55,72],[55,73],[55,74],[56,59],[56,60],[56,62],[56,63],[56,64],[56,67],[56,69],[56,70],[56,73],[56,77],[57,59],[57,61],[57,62],[57,63],[57,64],[57,66],[57,68],[57,70],[57,72],[57,73],[57,75],[57,77],[58,62],[58,63],[58,64],[58,71],[58,72],[58,73],[58,75],[58,77],[59,66],[59,67],[59,70],[59,72],[59,74],[59,75],[60,61],[60,62],[60,63],[60,65],[60,66],[60,67],[60,69],[60,72],[60,75],[60,76],[60,77],[61,62],[61,63],[61,66],[61,67],[61,68],[61,72],[61,75],[62,65],[62,67],[62,71],[62,73],[62,75],[62,76],[63,65],[63,66],[63,67],[63,69],[63,71],[63,72],[63,74],[63,76],[64,66],[64,67],[64,69],[64,71],[64,77],[65,66],[65,68],[65,69],[65,72],[65,73],[65,76],[66,68],[66,70],[66,73],[66,74],[66,76],[67,69],[67,71],[67,72],[67,74],[67,75],[67,76],[68,69],[68,70],[68,72],[68,73],[68,75],[68,77],[69,73],[69,74],[69,75],[69,76],[70,72],[70,73],[70,75],[71,74],[71,77],[72,74],[72,76],[73,75],[73,77],[74,75],[74,76]]},"rotation_powers":null},"metrics":{"gamma":1.6887480472001586,"gamma_t":null,"gamma_rho":1.6887480472001586,"gamma_claim":1.4551167917261638,"gamma_t_claim":null,"gamma_rho_claim":1.4551167917261638,"v_ex":36,"rate":0.04851752021563342,"t_count":null,"poly_degree":null,"effective_width":36},"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_742_36_8.json","label":"weighted_sources_742_36_8","N":78,"d":6,"d_is_exact":false,"origin":"Triorthogonal; matrix verified","provenance":"gamma frontier release record weighted_sources_742_36_8 (source catalogue id weighted_sources_742_36_8); construction: Triorthogonal; matrix verified; matrix fa76ff0d4c1757d4...; the release states d=8 (lower_bound), gamma=1.4551167917261638 (certified_upper_bound)","notes":"matrix gamma_frontier_release/matrices/fa76ff0d4c1757d4b94862278119908f7b16ea51c5c0fbcf9546b5511872efc7.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"}]}