{"id":"1301.1.3.a","row":1373,"stored":{"file":"master_catalog.json","row":1373,"construction":null,"columns_sha256":null},"parameters":{"n":1301,"k":1,"d":3,"N":331,"r":330,"level":3},"gate":{"string":"0","human":"T0","monomials":[[0]],"sk_key":[[0]],"sk_fingerprint":"bc179efd84e614ba","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,1,2,5,7,9,11,13,14,18,20,24,25,26,27,28,30,32,33,34,36,37,41,43,46,47,48,50,51,53,54,57,60,61,63,65,68,71,72,74,77,79,82],[0,2,3,6,8,10,12,14,15,19,21,25,26,27,28,29,31,33,34,35,37,38,42,44,47,48,49,51,52,54,55,58,61,62,64,66,69,72,73,75,78,80,83],[0,1,2,3,4,5,14,15,16,18,22,24,25,29,33,35,37,38,39,41,45,46,47,49,51,52,54,55,56,57,59,60,61,62,67,68,70,71,72,73,76,77,81,82],[0,2,3,4,5,6,15,16,17,19,23,25,26,30,34,36,38,39,40,42,46,47,48,50,52,53,55,56,57,58,60,61,62,63,68,69,71,72,73,74,77,78,82,83],[0,1,2,3,4,6,9,11,13,14,16,17,25,28,30,31,32,33,34,35,36,39,40,46,49,50,56,58,59,60,62,64,65,68,69,70,71,73,75,77,78,82,83],[0,1,3,4,9,10,11,12,13,15,17,20,24,25,27,28,29,30,31,35,40,43,46,48,53,54,59,66,68,69,70,76,77,78,82,83],[0,1,4,7,9,10,12,16,20,21,24,27,29,31,33,34,37,43,44,46,48,49,50,51,53,55,57,61,63,65,67,68,69,70,72,74,78,82,83],[0,1,7,8,9,10,14,17,18,20,21,22,24,26,27,33,35,36,37,38,41,43,44,45,46,48,49,52,53,56,57,58,60,61,62,63,64,65,66,69,70,72,73,74,75,77,82,83],[0,1,5,7,8,10,13,14,15,19,20,21,22,23,24,26,30,32,33,38,39,41,42,43,44,45,48,49,51,58,59,60,62,64,66,67,68,70,72,73,75,76,77,78,79,82,83],[0,1,5,6,7,8,13,15,16,18,21,22,23,26,28,30,31,32,36,37,39,40,41,42,44,45,47,48,49,51,52,53,54,57,59,67,69,72,73,76,78,80,82,83],[0,1,5,6,8,11,13,16,17,18,19,20,22,23,25,26,28,29,30,31,34,36,38,40,42,45,47,49,51,52,55,57,58,61,63,65,70,71,72,73,81,82,83],[0,1,5,6,11,12,13,17,19,21,23,25,28,29,31,33,34,35,36,39,47,51,52,54,56,57,58,59,60,61,62,63,64,65,66,68,73,77,79,83],[0,1,5,6,9,11,12,22,25,27,28,29,33,35,40,41,43,46,47,50,51,52,54,55,58,59,62,64,66,67,68,69,71,72,77,78,79,80,82],[0,2,6,7,10,12,13,23,26,28,29,30,34,36,41,42,44,47,48,51,52,53,55,56,59,60,63,65,67,68,69,70,72,73,78,79,80,81,83],[0,1,2,3,5,8,9,18,20,25,26,28,29,31,32,33,34,35,36,41,42,45,46,47,49,50,51,52,56,63,64,65,66,69,70,72,73,77,80,81],[0,2,3,4,6,9,10,19,21,26,27,29,30,32,33,34,35,36,37,42,43,46,47,48,50,51,52,53,57,64,65,66,67,70,71,73,74,78,81,82],[0,3,4,5,7,10,11,20,22,27,28,30,31,33,34,35,36,37,38,43,44,47,48,49,51,52,53,54,58,65,66,67,68,71,72,74,75,79,82,83],[0,1,2,4,6,7,8,9,12,13,14,18,20,21,23,24,25,26,27,29,30,31,33,35,38,39,41,43,44,45,46,47,49,51,52,55,57,59,60,61,63,65,66,67,69,71,73,74,75,76,77,79,80,82,83],[0,1,3,8,10,11,15,18,19,20,21,22,31,33,37,39,40,41,42,43,44,45,51,52,54,56,57,58,62,63,64,65,66,67,70,71,75,76,78,79,80,81,82,83],[0,1,4,5,7,12,13,14,16,18,19,21,22,23,24,25,26,27,28,30,33,36,37,38,40,42,44,45,47,48,50,51,52,54,55,58,59,60,61,64,66,67,74,76,80,81,83],[0,1,6,7,8,9,11,15,17,18,19,22,23,29,30,31,32,33,36,38,39,45,47,49,50,52,54,55,56,57,59,62,63,67,71,72,74,75,79,81],[0,2,7,8,9,10,12,16,18,19,20,23,24,30,31,32,33,34,37,39,40,46,48,50,51,53,55,56,57,58,60,63,64,68,72,73,75,76,80,82],[0,3,8,9,10,11,13,17,19,20,21,24,25,31,32,33,34,35,38,40,41,47,49,51,52,54,56,57,58,59,61,64,65,69,73,74,76,77,81,83],[0,1,2,4,5,7,10,12,13,21,22,24,27,28,30,35,37,39,42,43,46,47,51,52,54,55,58,59,61,62,63,66,68,70,71,72,75,78,79],[0,2,3,5,6,8,11,13,14,22,23,25,28,29,31,36,38,40,43,44,47,48,52,53,55,56,59,60,62,63,64,67,69,71,72,73,76,79,80],[0,3,4,6,7,9,12,14,15,23,24,26,29,30,32,37,39,41,44,45,48,49,53,54,56,57,60,61,63,64,65,68,70,72,73,74,77,80,81],[0,4,5,7,8,10,13,15,16,24,25,27,30,31,33,38,40,42,45,46,49,50,54,55,57,58,61,62,64,65,66,69,71,73,74,75,78,81,82],[0,5,6,8,9,11,14,16,17,25,26,28,31,32,34,39,41,43,46,47,50,51,55,56,58,59,62,63,65,66,67,70,72,74,75,76,79,82,83],[0,1,2,5,6,10,11,12,13,14,15,17,20,24,25,28,29,30,34,35,36,37,40,41,42,43,44,46,50,52,53,54,56,59,61,64,65,66,67,72,73,74,75,76,79,80,82,83],[0,1,3,5,6,9,12,15,16,20,21,24,27,28,29,31,32,33,34,35,38,42,44,45,46,48,50,55,61,62,63,66,67,71,72,73,75,76,79,80,81,82,83],[0,1,4,5,6,9,10,11,14,16,17,18,20,21,22,24,26,27,29,35,37,39,41,45,48,49,50,53,54,56,57,60,61,62,64,65,67,71,73,76,79,80,81,83],[0,1,6,9,10,12,13,14,15,17,19,20,21,22,23,24,26,32,33,34,37,38,40,41,42,43,47,48,49,53,55,58,60,62,66,71,79,80,81],[0,2,7,10,11,13,14,15,16,18,20,21,22,23,24,25,27,33,34,35,38,39,41,42,43,44,48,49,50,54,56,59,61,63,67,72,80,81,82],[0,3,8,11,12,14,15,16,17,19,21,22,23,24,25,26,28,34,35,36,39,40,42,43,44,45,49,50,51,55,57,60,62,64,68,73,81,82,83],[0,1,2,4,5,7,11,12,14,15,16,17,22,23,28,29,30,32,33,34,35,40,44,45,47,48,52,53,54,56,57,58,60,68,69,71,72,77,79,83],[0,1,3,6,7,8,9,11,12,14,15,16,17,20,23,25,26,27,28,29,31,32,35,37,43,45,47,49,50,51,55,58,59,60,63,65,68,69,70,71,73,74,77,78,79,80,82],[0,2,4,7,8,9,10,12,13,15,16,17,18,21,24,26,27,28,29,30,32,33,36,38,44,46,48,50,51,52,56,59,60,61,64,66,69,70,71,72,74,75,78,79,80,81,83],[0,1,2,3,7,8,10,16,17,19,20,22,24,26,29,31,32,36,39,41,43,45,46,48,49,50,52,54,62,63,67,68,70,73,74,75,76,77,80,81],[0,2,3,4,8,9,11,17,18,20,21,23,25,27,30,32,33,37,40,42,44,46,47,49,50,51,53,55,63,64,68,69,71,74,75,76,77,78,81,82],[0,3,4,5,9,10,12,18,19,21,22,24,26,28,31,33,34,38,41,43,45,47,48,50,51,52,54,56,64,65,69,70,72,75,76,77,78,79,82,83],[0,1,2,4,6,7,9,10,14,18,19,22,23,24,26,28,29,30,33,35,36,37,39,41,42,43,44,47,49,50,52,54,55,60,61,63,66,68,70,72,73,74,76,78,80,82,83],[0,1,3,8,9,10,13,14,15,18,19,23,26,28,29,31,32,33,38,40,41,42,44,45,46,47,54,55,56,57,60,62,63,64,65,67,68,69,72,73,75,81,82,83],[0,1,4,5,7,10,13,15,16,18,19,25,26,28,29,36,37,39,42,45,50,51,53,54,55,56,58,60,64,66,69,70,71,72,73,76,77,79,83],[0,1,6,7,8,9,13,16,17,18,19,24,25,28,29,32,33,34,36,38,40,41,47,48,50,52,53,55,56,59,60,63,67,68,70,73,78,79,80,82],[0,2,7,8,9,10,14,17,18,19,20,25,26,29,30,33,34,35,37,39,41,42,48,49,51,53,54,56,57,60,61,64,68,69,71,74,79,80,81,83],[0,1,2,3,5,7,8,10,13,14,15,19,21,24,25,28,31,32,33,35,37,38,40,41,42,46,47,48,49,51,52,53,55,58,60,62,63,68,69,70,71,74,75,77,79,80,81],[0,2,3,4,6,8,9,11,14,15,16,20,22,25,26,29,32,33,34,36,38,39,41,42,43,47,48,49,50,52,53,54,56,59,61,63,64,69,70,71,72,75,76,78,80,81,82],[0,3,4,5,7,9,10,12,15,16,17,21,23,26,27,30,33,34,35,37,39,40,42,43,44,48,49,50,51,53,54,55,57,60,62,64,65,70,71,72,73,76,77,79,81,82,83],[0,1,2,4,6,7,8,9,10,14,16,17,20,22,25,26,30,31,32,33,35,37,38,40,44,45,46,47,48,49,52,53,55,56,57,58,60,66,68,73,78,79,80,83],[0,1,3,8,10,13,14,15,17,20,21,23,24,25,28,30,31,37,38,39,43,45,49,51,56,58,59,60,63,65,67,68,69,71,72,77,80,81,82],[0,2,4,9,11,14,15,16,18,21,22,24,25,26,29,31,32,38,39,40,44,46,50,52,57,59,60,61,64,66,68,69,70,72,73,78,81,82,83],[0,1,2,3,7,9,10,11,12,13,14,15,16,17,18,19,20,22,23,24,28,34,36,37,39,40,43,45,46,48,50,54,57,58,62,63,67,68,69,70,72,73,77,83],[0,1,3,4,5,7,8,9,10,12,15,16,17,19,21,23,26,27,28,29,30,32,33,34,35,36,38,40,43,44,48,49,50,53,54,55,57,58,59,60,61,64,65,69,70,72,73,77,78,79,82],[0,2,4,5,6,8,9,10,11,13,16,17,18,20,22,24,27,28,29,30,31,33,34,35,36,37,39,41,44,45,49,50,51,54,55,56,58,59,60,61,62,65,66,70,71,73,74,78,79,80,83],[0,1,2,3,6,10,12,13,17,19,20,21,23,24,26,27,29,31,33,35,38,40,41,42,43,45,47,48,52,53,54,55,56,59,62,65,66,67,68,75,77,80,81,82],[0,2,3,4,7,11,13,14,18,20,21,22,24,25,27,28,30,32,34,36,39,41,42,43,44,46,48,49,53,54,55,56,57,60,63,66,67,68,69,76,78,81,82,83],[0,1,2,3,4,7,8,9,11,12,13,15,18,19,20,21,22,23,24,27,29,30,31,32,34,35,36,40,41,42,44,45,46,48,49,51,53,55,56,58,60,63,64,65,67,69,70,71,72,74,83],[0,1,3,4,7,8,10,11,12,16,18,19,21,22,23,26,27,31,34,35,42,45,48,49,51,52,53,56,59,60,63,64,66,70,73,74,75,77,79,82],[0,2,4,5,8,9,11,12,13,17,19,20,22,23,24,27,28,32,35,36,43,46,49,50,52,53,54,57,60,61,64,65,67,71,74,75,76,78,80,83],[0,1,2,3,6,7,10,11,12,21,23,26,27,29,30,32,34,41,43,44,46,48,55,57,58,60,62,63,66,71,74,75,76,81,82],[0,2,3,4,7,8,11,12,13,22,24,27,28,30,31,33,35,42,44,45,47,49,56,58,59,61,63,64,67,72,75,76,77,82,83],[0,1,2,3,4,7,8,11,12,18,20,23,24,26,27,29,30,31,33,37,41,45,47,51,53,54,59,61,62,63,64,71,72,73,74,76,78,79,82,83],[0,1,3,4,7,8,11,12,14,18,19,20,21,26,31,33,36,37,38,41,42,43,47,50,51,52,53,55,57,61,62,64,68,71,73,75,80,82,83],[0,1,4,7,8,11,12,14,15,18,19,21,22,24,25,26,28,30,33,36,38,39,41,42,44,46,47,50,52,56,57,58,60,61,62,68,69,71,76,77,79,81,82,83],[0,1,7,8,11,12,14,15,16,18,19,22,23,24,28,29,30,31,32,33,36,39,40,41,42,45,46,50,54,58,59,60,62,65,68,69,70,71,74,78,79,80,83],[0,1,5,7,8,11,12,14,15,16,17,18,19,23,26,27,28,29,31,36,40,42,48,50,53,54,55,57,59,65,66,68,69,70,74,75,77,80,81,82],[0,2,6,8,9,12,13,15,16,17,18,19,20,24,27,28,29,30,32,37,41,43,49,51,54,55,56,58,60,66,67,69,70,71,75,76,78,81,82,83],[0,1,2,3,5,10,11,16,17,19,21,24,26,27,29,31,32,34,36,37,38,41,42,43,44,46,47,48,51,52,53,54,55,56,59,60,63,65,67,70,74,76,83],[0,1,3,4,5,6,7,9,12,13,14,17,22,24,26,34,35,36,38,39,41,42,44,45,46,49,50,51,52,55,56,63,64,65,66,72,74,75,79,82],[0,2,4,5,6,7,8,10,13,14,15,18,23,25,27,35,36,37,39,40,42,43,45,46,47,50,51,52,53,56,57,64,65,66,67,73,75,76,80,83],[0,1,2,3,6,8,13,15,16,18,19,20,25,27,30,32,33,34,38,40,44,50,52,58,60,61,63,66,67,71,72,76,79,81,82],[0,2,3,4,7,9,14,16,17,19,20,21,26,28,31,33,34,35,39,41,45,51,53,59,61,62,64,67,68,72,73,77,80,82,83],[0,1,2,3,4,7,8,9,10,11,13,14,15,17,21,22,24,25,26,28,29,30,33,35,37,40,41,42,43,47,48,50,51,52,53,57,61,62,69,71,72,73,77,78,79,81,82,83],[0,1,3,4,7,8,10,12,13,15,16,20,22,23,24,28,29,31,32,33,37,38,42,44,46,47,49,50,52,57,58,60,61,62,65,68,70,71,73,77,78,80,83],[0,1,4,7,8,16,17,18,20,21,23,26,27,28,29,36,37,38,39,41,45,46,54,57,58,59,60,62,65,66,68,69,77,78,81,82],[0,2,5,8,9,17,18,19,21,22,24,27,28,29,30,37,38,39,40,42,46,47,55,58,59,60,61,63,66,67,69,70,78,79,82,83],[0,1,2,3,5,6,7,10,11,13,14,19,22,23,24,26,27,29,31,32,33,34,36,37,38,39,40,46,50,51,53,54,56,57,59,62,63,64,65,67,70,72,74,77,80,82,83],[0,1,3,4,5,6,8,9,12,13,15,18,23,26,35,36,38,39,40,43,46,48,50,52,53,55,58,61,64,66,72,73,74,75,77,78,79,81,82,83],[0,1,4,6,10,11,16,18,19,20,25,26,28,30,32,33,34,39,40,43,44,46,48,49,50,56,57,59,60,61,62,63,67,68,71,72,73,75,76,77,78,80,83],[0,1,9,12,13,14,17,18,19,21,24,25,28,29,30,31,32,35,36,37,40,43,44,45,46,48,49,53,54,58,62,64,65,69,71,73,76,78,81,82],[0,2,10,13,14,15,18,19,20,22,25,26,29,30,31,32,33,36,37,38,41,44,45,46,47,49,50,54,55,59,63,65,66,70,72,74,77,79,82,83],[0,1,2,3,5,7,9,13,15,16,18,19,21,23,24,25,28,31,36,38,39,41,42,43,45,53,54,55,56,57,61,63,64,65,66,67,68,72,73,74,75,77,78,79,80,82,83],[0,1,3,4,5,6,7,8,9,10,11,13,16,17,18,19,22,27,28,29,30,33,34,36,39,40,41,42,44,47,48,50,51,53,55,56,58,60,61,62,63,64,66,67,69,71,72,73,75,76,77,78,80,81,82,83],[0,1,4,6,8,10,12,13,17,19,23,24,25,26,27,29,31,32,33,35,36,40,42,45,46,47,49,50,52,53,56,59,60,62,64,67,70,71,73,76,78,81,83],[0,1],[0,2],[0,3],[0,4],[0,5],[0,6],[0,7],[0,8],[0,9],[0,10],[0,11],[0,12],[0,13],[0,14],[0,15],[0,16],[0,17],[0,18],[0,19],[0,20],[0,21],[0,22],[0,23],[0,24],[0,25],[0,26],[0,27],[0,28],[0,29],[0,30],[0,31],[0,32],[0,33],[0,34],[0,35],[0,36],[0,37],[0,38],[0,39],[0,40],[0,41],[0,42],[0,43],[0,44],[0,45],[0,46],[0,47],[0,48],[0,49],[0,50],[0,51],[0,52],[0,53],[0,54],[0,55],[0,56],[0,57],[0,58],[0,59],[0,60],[0,61],[0,62],[0,63],[0,64],[0,65],[0,66],[0,67],[0,68],[0,69],[0,70],[0,71],[0,72],[0,73],[0,74],[0,75],[0,76],[0,77],[0,78],[0,79],[0,80],[0,81],[0,82],[0,83],[0,1,2,5,7,9,11,13,14,18,20,24,25,26,27,28,30,32,33,34,36,37,41,43,46,47,48,50,51,53,54,57,60,61,63,65,68,71,72,74,77,79,82,330],[0,2,3,6,8,10,12,14,15,19,21,25,26,27,28,29,31,33,34,35,37,38,42,44,47,48,49,51,52,54,55,58,61,62,64,66,69,72,73,75,78,80,83,330],[0,1,2,3,4,5,14,15,16,18,22,24,25,29,33,35,37,38,39,41,45,46,47,49,51,52,54,55,56,57,59,60,61,62,67,68,70,71,72,73,76,77,81,82,330],[0,2,3,4,5,6,15,16,17,19,23,25,26,30,34,36,38,39,40,42,46,47,48,50,52,53,55,56,57,58,60,61,62,63,68,69,71,72,73,74,77,78,82,83,330],[0,1,2,3,4,6,9,11,13,14,16,17,25,28,30,31,32,33,34,35,36,39,40,46,49,50,56,58,59,60,62,64,65,68,69,70,71,73,75,77,78,82,83,330],[0,1,3,4,9,10,11,12,13,15,17,20,24,25,27,28,29,30,31,35,40,43,46,48,53,54,59,66,68,69,70,76,77,78,82,83,330],[0,1,4,7,9,10,12,16,20,21,24,27,29,31,33,34,37,43,44,46,48,49,50,51,53,55,57,61,63,65,67,68,69,70,72,74,78,82,83,330],[0,1,7,8,9,10,14,17,18,20,21,22,24,26,27,33,35,36,37,38,41,43,44,45,46,48,49,52,53,56,57,58,60,61,62,63,64,65,66,69,70,72,73,74,75,77,82,83,330],[0,1,5,7,8,10,13,14,15,19,20,21,22,23,24,26,30,32,33,38,39,41,42,43,44,45,48,49,51,58,59,60,62,64,66,67,68,70,72,73,75,76,77,78,79,82,83,330],[0,1,5,6,7,8,13,15,16,18,21,22,23,26,28,30,31,32,36,37,39,40,41,42,44,45,47,48,49,51,52,53,54,57,59,67,69,72,73,76,78,80,82,83,330],[0,1,5,6,8,11,13,16,17,18,19,20,22,23,25,26,28,29,30,31,34,36,38,40,42,45,47,49,51,52,55,57,58,61,63,65,70,71,72,73,81,82,83,330],[0,1,5,6,11,12,13,17,19,21,23,25,28,29,31,33,34,35,36,39,47,51,52,54,56,57,58,59,60,61,62,63,64,65,66,68,73,77,79,83,330],[0,1,5,6,9,11,12,22,25,27,28,29,33,35,40,41,43,46,47,50,51,52,54,55,58,59,62,64,66,67,68,69,71,72,77,78,79,80,82,330],[0,2,6,7,10,12,13,23,26,28,29,30,34,36,41,42,44,47,48,51,52,53,55,56,59,60,63,65,67,68,69,70,72,73,78,79,80,81,83,330],[0,1,2,3,5,8,9,18,20,25,26,28,29,31,32,33,34,35,36,41,42,45,46,47,49,50,51,52,56,63,64,65,66,69,70,72,73,77,80,81,330],[0,2,3,4,6,9,10,19,21,26,27,29,30,32,33,34,35,36,37,42,43,46,47,48,50,51,52,53,57,64,65,66,67,70,71,73,74,78,81,82,330],[0,3,4,5,7,10,11,20,22,27,28,30,31,33,34,35,36,37,38,43,44,47,48,49,51,52,53,54,58,65,66,67,68,71,72,74,75,79,82,83,330],[0,1,2,4,6,7,8,9,12,13,14,18,20,21,23,24,25,26,27,29,30,31,33,35,38,39,41,43,44,45,46,47,49,51,52,55,57,59,60,61,63,65,66,67,69,71,73,74,75,76,77,79,80,82,83,330],[0,1,3,8,10,11,15,18,19,20,21,22,31,33,37,39,40,41,42,43,44,45,51,52,54,56,57,58,62,63,64,65,66,67,70,71,75,76,78,79,80,81,82,83,330],[0,1,4,5,7,12,13,14,16,18,19,21,22,23,24,25,26,27,28,30,33,36,37,38,40,42,44,45,47,48,50,51,52,54,55,58,59,60,61,64,66,67,74,76,80,81,83,330],[0,1,6,7,8,9,11,15,17,18,19,22,23,29,30,31,32,33,36,38,39,45,47,49,50,52,54,55,56,57,59,62,63,67,71,72,74,75,79,81,330],[0,2,7,8,9,10,12,16,18,19,20,23,24,30,31,32,33,34,37,39,40,46,48,50,51,53,55,56,57,58,60,63,64,68,72,73,75,76,80,82,330],[0,3,8,9,10,11,13,17,19,20,21,24,25,31,32,33,34,35,38,40,41,47,49,51,52,54,56,57,58,59,61,64,65,69,73,74,76,77,81,83,330],[0,1,2,4,5,7,10,12,13,21,22,24,27,28,30,35,37,39,42,43,46,47,51,52,54,55,58,59,61,62,63,66,68,70,71,72,75,78,79,330],[0,2,3,5,6,8,11,13,14,22,23,25,28,29,31,36,38,40,43,44,47,48,52,53,55,56,59,60,62,63,64,67,69,71,72,73,76,79,80,330],[0,3,4,6,7,9,12,14,15,23,24,26,29,30,32,37,39,41,44,45,48,49,53,54,56,57,60,61,63,64,65,68,70,72,73,74,77,80,81,330],[0,4,5,7,8,10,13,15,16,24,25,27,30,31,33,38,40,42,45,46,49,50,54,55,57,58,61,62,64,65,66,69,71,73,74,75,78,81,82,330],[0,5,6,8,9,11,14,16,17,25,26,28,31,32,34,39,41,43,46,47,50,51,55,56,58,59,62,63,65,66,67,70,72,74,75,76,79,82,83,330],[0,1,2,5,6,10,11,12,13,14,15,17,20,24,25,28,29,30,34,35,36,37,40,41,42,43,44,46,50,52,53,54,56,59,61,64,65,66,67,72,73,74,75,76,79,80,82,83,330],[0,1,3,5,6,9,12,15,16,20,21,24,27,28,29,31,32,33,34,35,38,42,44,45,46,48,50,55,61,62,63,66,67,71,72,73,75,76,79,80,81,82,83,330],[0,1,4,5,6,9,10,11,14,16,17,18,20,21,22,24,26,27,29,35,37,39,41,45,48,49,50,53,54,56,57,60,61,62,64,65,67,71,73,76,79,80,81,83,330],[0,1,6,9,10,12,13,14,15,17,19,20,21,22,23,24,26,32,33,34,37,38,40,41,42,43,47,48,49,53,55,58,60,62,66,71,79,80,81,330],[0,2,7,10,11,13,14,15,16,18,20,21,22,23,24,25,27,33,34,35,38,39,41,42,43,44,48,49,50,54,56,59,61,63,67,72,80,81,82,330],[0,3,8,11,12,14,15,16,17,19,21,22,23,24,25,26,28,34,35,36,39,40,42,43,44,45,49,50,51,55,57,60,62,64,68,73,81,82,83,330],[0,1,2,4,5,7,11,12,14,15,16,17,22,23,28,29,30,32,33,34,35,40,44,45,47,48,52,53,54,56,57,58,60,68,69,71,72,77,79,83,330],[0,1,3,6,7,8,9,11,12,14,15,16,17,20,23,25,26,27,28,29,31,32,35,37,43,45,47,49,50,51,55,58,59,60,63,65,68,69,70,71,73,74,77,78,79,80,82,330],[0,2,4,7,8,9,10,12,13,15,16,17,18,21,24,26,27,28,29,30,32,33,36,38,44,46,48,50,51,52,56,59,60,61,64,66,69,70,71,72,74,75,78,79,80,81,83,330],[0,1,2,3,7,8,10,16,17,19,20,22,24,26,29,31,32,36,39,41,43,45,46,48,49,50,52,54,62,63,67,68,70,73,74,75,76,77,80,81,330],[0,2,3,4,8,9,11,17,18,20,21,23,25,27,30,32,33,37,40,42,44,46,47,49,50,51,53,55,63,64,68,69,71,74,75,76,77,78,81,82,330],[0,3,4,5,9,10,12,18,19,21,22,24,26,28,31,33,34,38,41,43,45,47,48,50,51,52,54,56,64,65,69,70,72,75,76,77,78,79,82,83,330],[0,1,2,4,6,7,9,10,14,18,19,22,23,24,26,28,29,30,33,35,36,37,39,41,42,43,44,47,49,50,52,54,55,60,61,63,66,68,70,72,73,74,76,78,80,82,83,330],[0,1,3,8,9,10,13,14,15,18,19,23,26,28,29,31,32,33,38,40,41,42,44,45,46,47,54,55,56,57,60,62,63,64,65,67,68,69,72,73,75,81,82,83,330],[0,1,4,5,7,10,13,15,16,18,19,25,26,28,29,36,37,39,42,45,50,51,53,54,55,56,58,60,64,66,69,70,71,72,73,76,77,79,83,330],[0,1,6,7,8,9,13,16,17,18,19,24,25,28,29,32,33,34,36,38,40,41,47,48,50,52,53,55,56,59,60,63,67,68,70,73,78,79,80,82,330],[0,2,7,8,9,10,14,17,18,19,20,25,26,29,30,33,34,35,37,39,41,42,48,49,51,53,54,56,57,60,61,64,68,69,71,74,79,80,81,83,330],[0,1,2,3,5,7,8,10,13,14,15,19,21,24,25,28,31,32,33,35,37,38,40,41,42,46,47,48,49,51,52,53,55,58,60,62,63,68,69,70,71,74,75,77,79,80,81,330],[0,2,3,4,6,8,9,11,14,15,16,20,22,25,26,29,32,33,34,36,38,39,41,42,43,47,48,49,50,52,53,54,56,59,61,63,64,69,70,71,72,75,76,78,80,81,82,330],[0,3,4,5,7,9,10,12,15,16,17,21,23,26,27,30,33,34,35,37,39,40,42,43,44,48,49,50,51,53,54,55,57,60,62,64,65,70,71,72,73,76,77,79,81,82,83,330],[0,1,2,4,6,7,8,9,10,14,16,17,20,22,25,26,30,31,32,33,35,37,38,40,44,45,46,47,48,49,52,53,55,56,57,58,60,66,68,73,78,79,80,83,330],[0,1,3,8,10,13,14,15,17,20,21,23,24,25,28,30,31,37,38,39,43,45,49,51,56,58,59,60,63,65,67,68,69,71,72,77,80,81,82,330],[0,2,4,9,11,14,15,16,18,21,22,24,25,26,29,31,32,38,39,40,44,46,50,52,57,59,60,61,64,66,68,69,70,72,73,78,81,82,83,330],[0,1,2,3,7,9,10,11,12,13,14,15,16,17,18,19,20,22,23,24,28,34,36,37,39,40,43,45,46,48,50,54,57,58,62,63,67,68,69,70,72,73,77,83,330],[0,1,3,4,5,7,8,9,10,12,15,16,17,19,21,23,26,27,28,29,30,32,33,34,35,36,38,40,43,44,48,49,50,53,54,55,57,58,59,60,61,64,65,69,70,72,73,77,78,79,82,330],[0,2,4,5,6,8,9,10,11,13,16,17,18,20,22,24,27,28,29,30,31,33,34,35,36,37,39,41,44,45,49,50,51,54,55,56,58,59,60,61,62,65,66,70,71,73,74,78,79,80,83,330],[0,1,2,3,6,10,12,13,17,19,20,21,23,24,26,27,29,31,33,35,38,40,41,42,43,45,47,48,52,53,54,55,56,59,62,65,66,67,68,75,77,80,81,82,330],[0,2,3,4,7,11,13,14,18,20,21,22,24,25,27,28,30,32,34,36,39,41,42,43,44,46,48,49,53,54,55,56,57,60,63,66,67,68,69,76,78,81,82,83,330],[0,1,2,3,4,7,8,9,11,12,13,15,18,19,20,21,22,23,24,27,29,30,31,32,34,35,36,40,41,42,44,45,46,48,49,51,53,55,56,58,60,63,64,65,67,69,70,71,72,74,83,330],[0,1,3,4,7,8,10,11,12,16,18,19,21,22,23,26,27,31,34,35,42,45,48,49,51,52,53,56,59,60,63,64,66,70,73,74,75,77,79,82,330],[0,2,4,5,8,9,11,12,13,17,19,20,22,23,24,27,28,32,35,36,43,46,49,50,52,53,54,57,60,61,64,65,67,71,74,75,76,78,80,83,330],[0,1,2,3,6,7,10,11,12,21,23,26,27,29,30,32,34,41,43,44,46,48,55,57,58,60,62,63,66,71,74,75,76,81,82,330],[0,2,3,4,7,8,11,12,13,22,24,27,28,30,31,33,35,42,44,45,47,49,56,58,59,61,63,64,67,72,75,76,77,82,83,330],[0,1,2,3,4,7,8,11,12,18,20,23,24,26,27,29,30,31,33,37,41,45,47,51,53,54,59,61,62,63,64,71,72,73,74,76,78,79,82,83,330],[0,1,3,4,7,8,11,12,14,18,19,20,21,26,31,33,36,37,38,41,42,43,47,50,51,52,53,55,57,61,62,64,68,71,73,75,80,82,83,330],[0,1,4,7,8,11,12,14,15,18,19,21,22,24,25,26,28,30,33,36,38,39,41,42,44,46,47,50,52,56,57,58,60,61,62,68,69,71,76,77,79,81,82,83,330],[0,1,7,8,11,12,14,15,16,18,19,22,23,24,28,29,30,31,32,33,36,39,40,41,42,45,46,50,54,58,59,60,62,65,68,69,70,71,74,78,79,80,83,330],[0,1,5,7,8,11,12,14,15,16,17,18,19,23,26,27,28,29,31,36,40,42,48,50,53,54,55,57,59,65,66,68,69,70,74,75,77,80,81,82,330],[0,2,6,8,9,12,13,15,16,17,18,19,20,24,27,28,29,30,32,37,41,43,49,51,54,55,56,58,60,66,67,69,70,71,75,76,78,81,82,83,330],[0,1,2,3,5,10,11,16,17,19,21,24,26,27,29,31,32,34,36,37,38,41,42,43,44,46,47,48,51,52,53,54,55,56,59,60,63,65,67,70,74,76,83,330],[0,1,3,4,5,6,7,9,12,13,14,17,22,24,26,34,35,36,38,39,41,42,44,45,46,49,50,51,52,55,56,63,64,65,66,72,74,75,79,82,330],[0,2,4,5,6,7,8,10,13,14,15,18,23,25,27,35,36,37,39,40,42,43,45,46,47,50,51,52,53,56,57,64,65,66,67,73,75,76,80,83,330],[0,1,2,3,6,8,13,15,16,18,19,20,25,27,30,32,33,34,38,40,44,50,52,58,60,61,63,66,67,71,72,76,79,81,82,330],[0,2,3,4,7,9,14,16,17,19,20,21,26,28,31,33,34,35,39,41,45,51,53,59,61,62,64,67,68,72,73,77,80,82,83,330],[0,1,2,3,4,7,8,9,10,11,13,14,15,17,21,22,24,25,26,28,29,30,33,35,37,40,41,42,43,47,48,50,51,52,53,57,61,62,69,71,72,73,77,78,79,81,82,83,330],[0,1,3,4,7,8,10,12,13,15,16,20,22,23,24,28,29,31,32,33,37,38,42,44,46,47,49,50,52,57,58,60,61,62,65,68,70,71,73,77,78,80,83,330],[0,1,4,7,8,16,17,18,20,21,23,26,27,28,29,36,37,38,39,41,45,46,54,57,58,59,60,62,65,66,68,69,77,78,81,82,330],[0,2,5,8,9,17,18,19,21,22,24,27,28,29,30,37,38,39,40,42,46,47,55,58,59,60,61,63,66,67,69,70,78,79,82,83,330],[0,1,2,3,5,6,7,10,11,13,14,19,22,23,24,26,27,29,31,32,33,34,36,37,38,39,40,46,50,51,53,54,56,57,59,62,63,64,65,67,70,72,74,77,80,82,83,330],[0,1,3,4,5,6,8,9,12,13,15,18,23,26,35,36,38,39,40,43,46,48,50,52,53,55,58,61,64,66,72,73,74,75,77,78,79,81,82,83,330],[0,1,4,6,10,11,16,18,19,20,25,26,28,30,32,33,34,39,40,43,44,46,48,49,50,56,57,59,60,61,62,63,67,68,71,72,73,75,76,77,78,80,83,330],[0,1,9,12,13,14,17,18,19,21,24,25,28,29,30,31,32,35,36,37,40,43,44,45,46,48,49,53,54,58,62,64,65,69,71,73,76,78,81,82,330],[0,2,10,13,14,15,18,19,20,22,25,26,29,30,31,32,33,36,37,38,41,44,45,46,47,49,50,54,55,59,63,65,66,70,72,74,77,79,82,83,330],[0,1,2,3,5,7,9,13,15,16,18,19,21,23,24,25,28,31,36,38,39,41,42,43,45,53,54,55,56,57,61,63,64,65,66,67,68,72,73,74,75,77,78,79,80,82,83,330],[0,1,3,4,5,6,7,8,9,10,11,13,16,17,18,19,22,27,28,29,30,33,34,36,39,40,41,42,44,47,48,50,51,53,55,56,58,60,61,62,63,64,66,67,69,71,72,73,75,76,77,78,80,81,82,83,330],[0,1,4,6,8,10,12,13,17,19,23,24,25,26,27,29,31,32,33,35,36,40,42,45,46,47,49,50,52,53,56,59,60,62,64,67,70,71,73,76,78,81,83,330],[0,1,330],[0,2,330],[0,3,330],[0,4,330],[0,5,330],[0,6,330],[0,7,330],[0,8,330],[0,9,330],[0,10,330],[0,11,330],[0,12,330],[0,13,330],[0,14,330],[0,15,330],[0,16,330],[0,17,330],[0,18,330],[0,19,330],[0,20,330],[0,21,330],[0,22,330],[0,23,330],[0,24,330],[0,25,330],[0,26,330],[0,27,330],[0,28,330],[0,29,330],[0,30,330],[0,31,330],[0,32,330],[0,33,330],[0,34,330],[0,35,330],[0,36,330],[0,37,330],[0,38,330],[0,39,330],[0,40,330],[0,41,330],[0,42,330],[0,43,330],[0,44,330],[0,45,330],[0,46,330],[0,47,330],[0,48,330],[0,49,330],[0,50,330],[0,51,330],[0,52,330],[0,53,330],[0,54,330],[0,55,330],[0,56,330],[0,57,330],[0,58,330],[0,59,330],[0,60,330],[0,61,330],[0,62,330],[0,63,330],[0,64,330],[0,65,330],[0,66,330],[0,67,330],[0,68,330],[0,69,330],[0,70,330],[0,71,330],[0,72,330],[0,73,330],[0,74,330],[0,75,330],[0,76,330],[0,77,330],[0,78,330],[0,79,330],[0,80,330],[0,81,330],[0,82,330],[0,83,330],[0,84,85,87,92,93,96,97,98,99,101,102,103,104,110,112,113,114,115,116,119,121,126,127,128,132,133,330],[0,85,86,88,93,94,97,98,99,100,102,103,104,105,111,113,114,115,116,117,120,122,127,128,129,133,134,330],[0,84,85,86,89,92,93,94,95,96,97,100,102,105,106,110,113,117,118,119,123,126,127,129,130,132,133,134,330],[0,84,86,90,92,94,95,99,102,104,106,107,110,111,112,113,115,116,118,120,121,124,126,130,131,132,134,330],[0,84,91,92,95,97,98,99,100,101,102,104,105,107,108,110,111,115,117,122,125,126,128,131,330],[0,85,92,93,96,98,99,100,101,102,103,105,106,108,109,111,112,116,118,123,126,127,129,132,330],[0,86,93,94,97,99,100,101,102,103,104,106,107,109,110,112,113,117,119,124,127,128,130,133,330],[0,87,94,95,98,100,101,102,103,104,105,107,108,110,111,113,114,118,120,125,128,129,131,134,330],[0,84,85,87,88,92,93,95,97,98,105,106,108,109,110,111,113,116,127,128,129,130,133,330],[0,85,86,88,89,93,94,96,98,99,106,107,109,110,111,112,114,117,128,129,130,131,134,330],[0,84,85,86,89,90,92,93,94,95,96,98,100,101,102,103,104,107,108,111,114,116,118,119,121,126,127,128,129,130,131,133,330],[0,85,86,87,90,91,93,94,95,96,97,99,101,102,103,104,105,108,109,112,115,117,119,120,122,127,128,129,130,131,132,134,330],[0,84,85,86,88,91,93,94,95,99,100,101,105,106,109,112,114,115,118,119,120,123,126,127,129,130,131,330],[0,85,86,87,89,92,94,95,96,100,101,102,106,107,110,113,115,116,119,120,121,124,127,128,130,131,132,330],[0,86,87,88,90,93,95,96,97,101,102,103,107,108,111,114,116,117,120,121,122,125,128,129,131,132,133,330],[0,87,88,89,91,94,96,97,98,102,103,104,108,109,112,115,117,118,121,122,123,126,129,130,132,133,134,330],[0,84,85,87,88,89,90,93,95,96,101,102,105,109,112,114,115,118,121,122,123,124,126,128,130,131,132,134,330],[0,84,86,87,88,89,90,91,92,93,94,98,99,101,104,106,112,114,121,122,123,124,125,126,128,129,131,330],[0,85,87,88,89,90,91,92,93,94,95,99,100,102,105,107,113,115,122,123,124,125,126,127,129,130,132,330],[0,86,88,89,90,91,92,93,94,95,96,100,101,103,106,108,114,116,123,124,125,126,127,128,130,131,133,330],[0,87,89,90,91,92,93,94,95,96,97,101,102,104,107,109,115,117,124,125,126,127,128,129,131,132,134,330],[0,84,85,87,88,90,91,94,95,99,101,104,105,108,112,113,114,115,118,119,121,125,129,130,330],[0,85,86,88,89,91,92,95,96,100,102,105,106,109,113,114,115,116,119,120,122,126,130,131,330],[0,86,87,89,90,92,93,96,97,101,103,106,107,110,114,115,116,117,120,121,123,127,131,132,330],[0,87,88,90,91,93,94,97,98,102,104,107,108,111,115,116,117,118,121,122,124,128,132,133,330],[0,88,89,91,92,94,95,98,99,103,105,108,109,112,116,117,118,119,122,123,125,129,133,134,330],[0,84,85,87,89,90,95,97,98,100,101,102,103,106,109,112,114,115,116,117,118,120,121,123,124,127,128,130,132,133,134,330],[0,84,86,87,88,90,91,92,93,97,107,112,114,117,118,122,124,125,126,127,129,131,132,134,330],[0,84,88,89,91,94,96,97,99,101,102,103,104,108,110,112,114,116,118,121,123,125,130,330],[0,85,89,90,92,95,97,98,100,102,103,104,105,109,111,113,115,117,119,122,124,126,131,330],[0,86,90,91,93,96,98,99,101,103,104,105,106,110,112,114,116,118,120,123,125,127,132,330],[0,87,91,92,94,97,99,100,102,104,105,106,107,111,113,115,117,119,121,124,126,128,133,330],[0,88,92,93,95,98,100,101,103,105,106,107,108,112,114,116,118,120,122,125,127,129,134,330],[0,84,85,87,89,92,94,97,98,103,106,107,108,109,110,112,114,116,117,123,127,130,132,133,330],[0,85,86,88,90,93,95,98,99,104,107,108,109,110,111,113,115,117,118,124,128,131,133,134,330],[0,84,85,86,89,91,92,93,94,97,98,100,101,102,103,104,105,108,109,111,113,115,118,121,125,126,127,128,129,133,134,330],[0,84,86,90,94,95,96,97,105,106,109,113,115,121,122,129,130,132,133,134,330],[0,84,91,92,93,95,99,101,102,103,104,106,107,112,113,115,119,121,122,123,126,127,128,130,131,132,134,330],[0,84,87,94,97,98,99,100,101,105,107,108,110,112,115,119,120,121,122,123,124,126,129,131,330],[0,85,88,95,98,99,100,101,102,106,108,109,111,113,116,120,121,122,123,124,125,127,130,132,330],[0,86,89,96,99,100,101,102,103,107,109,110,112,114,117,121,122,123,124,125,126,128,131,133,330],[0,87,90,97,100,101,102,103,104,108,110,111,113,115,118,122,123,124,125,126,127,129,132,134,330],[0,84,85,87,88,91,92,93,96,97,99,105,109,110,111,113,115,121,123,124,125,130,132,330],[0,85,86,88,89,92,93,94,97,98,100,106,110,111,112,114,116,122,124,125,126,131,133,330],[0,86,87,89,90,93,94,95,98,99,101,107,111,112,113,115,117,123,125,126,127,132,134,330],[0,84,85,88,90,91,92,93,94,95,97,98,100,101,103,104,108,110,115,118,119,121,124,132,330],[0,85,86,89,91,92,93,94,95,96,98,99,101,102,104,105,109,111,116,119,120,122,125,133,330],[0,86,87,90,92,93,94,95,96,97,99,100,102,103,105,106,110,112,117,120,121,123,126,134,330],[0,84,85,88,91,92,94,95,99,100,102,106,107,110,111,112,114,115,116,118,119,122,124,126,128,132,133,330],[0,85,86,89,92,93,95,96,100,101,103,107,108,111,112,113,115,116,117,119,120,123,125,127,129,133,134,330],[0,84,85,86,90,92,94,98,99,103,108,109,110,115,117,118,119,120,124,127,130,132,133,134,330],[0,84,86,91,92,95,96,97,98,100,101,102,103,109,111,112,113,114,115,118,120,125,126,127,131,132,134,330],[0,84,330],[0,85,330],[0,86,330],[0,87,330],[0,88,330],[0,89,330],[0,90,330],[0,91,330],[0,92,330],[0,93,330],[0,94,330],[0,95,330],[0,96,330],[0,97,330],[0,98,330],[0,99,330],[0,100,330],[0,101,330],[0,102,330],[0,103,330],[0,104,330],[0,105,330],[0,106,330],[0,107,330],[0,108,330],[0,109,330],[0,110,330],[0,111,330],[0,112,330],[0,113,330],[0,114,330],[0,115,330],[0,116,330],[0,117,330],[0,118,330],[0,119,330],[0,120,330],[0,121,330],[0,122,330],[0,123,330],[0,124,330],[0,125,330],[0,126,330],[0,127,330],[0,128,330],[0,129,330],[0,130,330],[0,131,330],[0,132,330],[0,133,330],[0,134,330],[0,84,85,87,92,93,96,97,98,99,101,102,103,104,110,112,113,114,115,116,119,121,126,127,128,132,133,329,330],[0,85,86,88,93,94,97,98,99,100,102,103,104,105,111,113,114,115,116,117,120,122,127,128,129,133,134,329,330],[0,84,85,86,89,92,93,94,95,96,97,100,102,105,106,110,113,117,118,119,123,126,127,129,130,132,133,134,329,330],[0,84,86,90,92,94,95,99,102,104,106,107,110,111,112,113,115,116,118,120,121,124,126,130,131,132,134,329,330],[0,84,91,92,95,97,98,99,100,101,102,104,105,107,108,110,111,115,117,122,125,126,128,131,329,330],[0,85,92,93,96,98,99,100,101,102,103,105,106,108,109,111,112,116,118,123,126,127,129,132,329,330],[0,86,93,94,97,99,100,101,102,103,104,106,107,109,110,112,113,117,119,124,127,128,130,133,329,330],[0,87,94,95,98,100,101,102,103,104,105,107,108,110,111,113,114,118,120,125,128,129,131,134,329,330],[0,84,85,87,88,92,93,95,97,98,105,106,108,109,110,111,113,116,127,128,129,130,133,329,330],[0,85,86,88,89,93,94,96,98,99,106,107,109,110,111,112,114,117,128,129,130,131,134,329,330],[0,84,85,86,89,90,92,93,94,95,96,98,100,101,102,103,104,107,108,111,114,116,118,119,121,126,127,128,129,130,131,133,329,330],[0,85,86,87,90,91,93,94,95,96,97,99,101,102,103,104,105,108,109,112,115,117,119,120,122,127,128,129,130,131,132,134,329,330],[0,84,85,86,88,91,93,94,95,99,100,101,105,106,109,112,114,115,118,119,120,123,126,127,129,130,131,329,330],[0,85,86,87,89,92,94,95,96,100,101,102,106,107,110,113,115,116,119,120,121,124,127,128,130,131,132,329,330],[0,86,87,88,90,93,95,96,97,101,102,103,107,108,111,114,116,117,120,121,122,125,128,129,131,132,133,329,330],[0,87,88,89,91,94,96,97,98,102,103,104,108,109,112,115,117,118,121,122,123,126,129,130,132,133,134,329,330],[0,84,85,87,88,89,90,93,95,96,101,102,105,109,112,114,115,118,121,122,123,124,126,128,130,131,132,134,329,330],[0,84,86,87,88,89,90,91,92,93,94,98,99,101,104,106,112,114,121,122,123,124,125,126,128,129,131,329,330],[0,85,87,88,89,90,91,92,93,94,95,99,100,102,105,107,113,115,122,123,124,125,126,127,129,130,132,329,330],[0,86,88,89,90,91,92,93,94,95,96,100,101,103,106,108,114,116,123,124,125,126,127,128,130,131,133,329,330],[0,87,89,90,91,92,93,94,95,96,97,101,102,104,107,109,115,117,124,125,126,127,128,129,131,132,134,329,330],[0,84,85,87,88,90,91,94,95,99,101,104,105,108,112,113,114,115,118,119,121,125,129,130,329,330],[0,85,86,88,89,91,92,95,96,100,102,105,106,109,113,114,115,116,119,120,122,126,130,131,329,330],[0,86,87,89,90,92,93,96,97,101,103,106,107,110,114,115,116,117,120,121,123,127,131,132,329,330],[0,87,88,90,91,93,94,97,98,102,104,107,108,111,115,116,117,118,121,122,124,128,132,133,329,330],[0,88,89,91,92,94,95,98,99,103,105,108,109,112,116,117,118,119,122,123,125,129,133,134,329,330],[0,84,85,87,89,90,95,97,98,100,101,102,103,106,109,112,114,115,116,117,118,120,121,123,124,127,128,130,132,133,134,329,330],[0,84,86,87,88,90,91,92,93,97,107,112,114,117,118,122,124,125,126,127,129,131,132,134,329,330],[0,84,88,89,91,94,96,97,99,101,102,103,104,108,110,112,114,116,118,121,123,125,130,329,330],[0,85,89,90,92,95,97,98,100,102,103,104,105,109,111,113,115,117,119,122,124,126,131,329,330],[0,86,90,91,93,96,98,99,101,103,104,105,106,110,112,114,116,118,120,123,125,127,132,329,330],[0,87,91,92,94,97,99,100,102,104,105,106,107,111,113,115,117,119,121,124,126,128,133,329,330],[0,88,92,93,95,98,100,101,103,105,106,107,108,112,114,116,118,120,122,125,127,129,134,329,330],[0,84,85,87,89,92,94,97,98,103,106,107,108,109,110,112,114,116,117,123,127,130,132,133,329,330],[0,85,86,88,90,93,95,98,99,104,107,108,109,110,111,113,115,117,118,124,128,131,133,134,329,330],[0,84,85,86,89,91,92,93,94,97,98,100,101,102,103,104,105,108,109,111,113,115,118,121,125,126,127,128,129,133,134,329,330],[0,84,86,90,94,95,96,97,105,106,109,113,115,121,122,129,130,132,133,134,329,330],[0,84,91,92,93,95,99,101,102,103,104,106,107,112,113,115,119,121,122,123,126,127,128,130,131,132,134,329,330],[0,84,87,94,97,98,99,100,101,105,107,108,110,112,115,119,120,121,122,123,124,126,129,131,329,330],[0,85,88,95,98,99,100,101,102,106,108,109,111,113,116,120,121,122,123,124,125,127,130,132,329,330],[0,86,89,96,99,100,101,102,103,107,109,110,112,114,117,121,122,123,124,125,126,128,131,133,329,330],[0,87,90,97,100,101,102,103,104,108,110,111,113,115,118,122,123,124,125,126,127,129,132,134,329,330],[0,84,85,87,88,91,92,93,96,97,99,105,109,110,111,113,115,121,123,124,125,130,132,329,330],[0,85,86,88,89,92,93,94,97,98,100,106,110,111,112,114,116,122,124,125,126,131,133,329,330],[0,86,87,89,90,93,94,95,98,99,101,107,111,112,113,115,117,123,125,126,127,132,134,329,330],[0,84,85,88,90,91,92,93,94,95,97,98,100,101,103,104,108,110,115,118,119,121,124,132,329,330],[0,85,86,89,91,92,93,94,95,96,98,99,101,102,104,105,109,111,116,119,120,122,125,133,329,330],[0,86,87,90,92,93,94,95,96,97,99,100,102,103,105,106,110,112,117,120,121,123,126,134,329,330],[0,84,85,88,91,92,94,95,99,100,102,106,107,110,111,112,114,115,116,118,119,122,124,126,128,132,133,329,330],[0,85,86,89,92,93,95,96,100,101,103,107,108,111,112,113,115,116,117,119,120,123,125,127,129,133,134,329,330],[0,84,85,86,90,92,94,98,99,103,108,109,110,115,117,118,119,120,124,127,130,132,133,134,329,330],[0,84,86,91,92,95,96,97,98,100,101,102,103,109,111,112,113,114,115,118,120,125,126,127,131,132,134,329,330],[0,84,329,330],[0,85,329,330],[0,86,329,330],[0,87,329,330],[0,88,329,330],[0,89,329,330],[0,90,329,330],[0,91,329,330],[0,92,329,330],[0,93,329,330],[0,94,329,330],[0,95,329,330],[0,96,329,330],[0,97,329,330],[0,98,329,330],[0,99,329,330],[0,100,329,330],[0,101,329,330],[0,102,329,330],[0,103,329,330],[0,104,329,330],[0,105,329,330],[0,106,329,330],[0,107,329,330],[0,108,329,330],[0,109,329,330],[0,110,329,330],[0,111,329,330],[0,112,329,330],[0,113,329,330],[0,114,329,330],[0,115,329,330],[0,116,329,330],[0,117,329,330],[0,118,329,330],[0,119,329,330],[0,120,329,330],[0,121,329,330],[0,122,329,330],[0,123,329,330],[0,124,329,330],[0,125,329,330],[0,126,329,330],[0,127,329,330],[0,128,329,330],[0,129,329,330],[0,130,329,330],[0,131,329,330],[0,132,329,330],[0,133,329,330],[0,134,329,330],[0,135,138,139,142,145,146,148,149,153,154,156,160,161,164,165,166,168,169,170,172,173,176,178,180,182,329,330],[0,137,138,140,145,146,149,150,151,152,154,155,156,157,163,165,166,167,168,169,172,174,179,180,181,329,330],[0,135,141,142,145,147,148,149,150,151,152,154,155,157,158,160,161,165,167,172,175,176,178,181,329,330],[0,136,138,142,144,146,147,151,154,156,158,159,162,163,164,165,167,168,170,172,173,176,178,182,183,184,329,330],[0,136,143,144,147,149,150,151,152,153,154,156,157,159,160,162,163,167,169,174,177,178,180,183,329,330],[0,137,144,145,148,150,151,152,153,154,155,157,158,160,161,163,164,168,170,175,178,179,181,184,329,330],[0,138,145,146,149,151,152,153,154,155,156,158,159,161,162,164,165,169,171,176,179,180,182,329,330],[0,135,136,137,138,139,142,144,147,151,152,153,154,156,157,159,161,163,165,166,167,169,171,176,177,179,180,181,182,183,184,329,330],[0,135,138,139,140,142,145,146,147,149,151,155,157,158,163,165,167,168,169,170,171,172,176,180,181,184,329,330],[0,137,138,140,141,145,146,148,150,151,158,159,161,162,163,164,166,169,180,181,182,183,329,330],[0,136,137,138,141,142,144,145,146,147,148,150,152,153,154,155,156,159,160,163,166,168,170,171,173,178,179,180,181,182,183,329,330],[0,135,136,139,143,144,145,147,148,149,150,153,154,156,157,162,164,170,174,176,180,181,183,329,330],[0,135,140,142,143,144,145,147,150,152,153,155,157,158,160,162,164,166,169,175,176,178,181,183,184,329,330],[0,135,136,139,141,142,147,148,150,151,152,153,154,155,158,159,160,161,165,168,169,170,173,180,183,329,330],[0,135,136,137,139,140,144,145,146,147,148,149,150,151,153,154,159,161,162,163,166,167,168,170,171,173,174,176,177,179,180,181,182,183,329,330],[0,139,140,141,143,146,148,149,150,154,155,156,160,161,164,167,169,170,173,174,175,178,181,182,184,329,330],[0,135,138,139,140,141,144,145,146,147,148,150,151,153,154,155,157,160,162,164,166,169,171,172,173,174,175,178,179,180,183,329,330],[0,135,137,139,140,141,143,145,153,155,156,158,160,161,162,164,166,167,169,170,171,172,173,174,175,177,178,179,180,181,182,183,184,329,330],[0,135,136,138,139,140,141,143,145,147,150,152,154,155,157,159,160,161,162,165,169,170,171,172,174,175,177,178,181,329,330],[0,135,136,137,140,141,143,145,147,148,150,151,152,153,158,161,162,166,167,168,169,170,171,172,175,177,178,180,183,184,329,330],[0,139,141,142,143,144,145,146,147,148,149,153,154,156,159,161,167,169,176,177,178,179,180,181,183,184,329,330],[0,136,137,139,140,142,143,146,147,151,153,156,157,160,164,165,166,167,170,171,173,177,181,182,329,330],[0,137,138,140,141,143,144,147,148,152,154,157,158,161,165,166,167,168,171,172,174,178,182,183,329,330],[0,138,139,141,142,144,145,148,149,153,155,158,159,162,166,167,168,169,172,173,175,179,183,184,329,330],[0,139,140,142,143,145,146,149,150,154,156,159,160,163,167,168,169,170,173,174,176,180,184,329,330],[0,135,136,137,138,140,141,142,143,147,157,162,164,167,168,172,174,175,176,177,179,181,182,184,329,330],[0,136,137,139,141,142,147,149,150,152,153,154,155,158,161,164,166,167,168,169,170,172,173,175,176,179,180,182,184,329,330],[0,135,137,139,140,143,145,146,149,150,151,155,159,160,161,162,164,166,167,171,172,174,177,178,181,182,183,329,330],[0,135,137,138,140,141,142,143,144,148,149,150,153,154,156,161,164,166,167,168,169,171,172,173,175,176,177,179,184,329,330],[0,135,136,138,141,146,147,149,151,152,154,156,157,160,162,163,165,170,172,174,178,179,182,183,184,329,330],[0,135,136,137,143,144,145,146,148,153,156,157,158,160,161,164,166,167,168,169,171,175,176,177,182,329,330],[0,135,136,137,138,139,142,143,149,150,152,154,155,156,157,158,159,160,161,162,163,165,170,172,173,178,179,180,182,184,329,330],[0,140,144,145,147,150,152,153,155,157,158,159,160,164,166,168,170,172,174,177,179,181,329,330],[0,136,137,139,141,144,146,149,150,155,158,159,160,161,162,164,166,168,169,175,179,182,184,329,330],[0,135,136,140,144,145,146,147,155,156,159,163,165,171,172,179,180,182,183,184,329,330],[0,136,137,138,141,143,144,145,146,149,150,152,153,154,155,156,157,160,161,163,165,167,170,173,177,178,179,180,181,329,330],[0,135,137,144,147,148,149,150,151,155,157,158,160,162,165,169,170,171,172,173,174,176,179,181,329,330],[0,136,143,144,145,147,151,153,154,155,156,158,159,164,165,167,171,173,174,175,178,179,180,182,183,184,329,330],[0,136,139,146,149,150,151,152,153,157,159,160,162,164,167,171,172,173,174,175,176,178,181,183,329,330],[0,137,140,147,150,151,152,153,154,158,160,161,163,165,168,172,173,174,175,176,177,179,182,184,329,330],[0,138,141,148,151,152,153,154,155,159,161,162,164,166,169,173,174,175,176,177,178,180,183,329,330],[0,135,136,137,138,139,144,146,149,150,151,152,153,154,156,161,163,165,169,171,172,174,175,177,178,181,182,329,330],[0,135,138,139,140,142,143,145,146,148,149,150,155,157,160,163,165,169,170,171,172,173,175,177,179,329,330],[0,135,136,140,141,142,145,149,151,152,155,158,160,161,163,164,166,167,168,169,170,171,172,174,177,178,179,182,183,184,329,330],[0,138,139,141,142,145,146,147,150,151,153,159,163,164,165,167,169,175,177,178,179,184,329,330],[0,136,137,140,142,143,144,145,146,147,149,150,152,153,155,156,160,162,167,170,171,173,176,184,329,330],[0,137,138,141,143,144,145,146,147,148,150,151,153,154,156,157,161,163,168,171,172,174,177,329,330],[0,135,136,137,139,145,147,148,149,150,152,154,157,158,160,161,164,167,170,171,173,175,176,178,179,182,184,329,330],[0,135,138,140,142,143,147,150,152,154,155,158,159,160,161,163,164,166,168,169,172,174,178,179,180,182,329,330],[0,137,138,141,144,145,147,148,152,153,155,159,160,163,164,165,167,168,169,171,172,175,177,179,181,329,330],[0,135,329,330],[0,136,138,143,144,147,148,149,150,152,153,154,155,161,163,164,165,166,167,170,172,177,178,179,183,184,329,330],[0,136,329,330],[0,137,329,330],[0,138,329,330],[0,139,329,330],[0,140,329,330],[0,141,329,330],[0,142,329,330],[0,143,329,330],[0,144,329,330],[0,145,329,330],[0,146,329,330],[0,147,329,330],[0,148,329,330],[0,149,329,330],[0,150,329,330],[0,151,329,330],[0,152,329,330],[0,153,329,330],[0,154,329,330],[0,155,329,330],[0,156,329,330],[0,157,329,330],[0,158,329,330],[0,159,329,330],[0,160,329,330],[0,161,329,330],[0,162,329,330],[0,163,329,330],[0,164,329,330],[0,165,329,330],[0,166,329,330],[0,167,329,330],[0,168,329,330],[0,169,329,330],[0,170,329,330],[0,171,329,330],[0,172,329,330],[0,173,329,330],[0,174,329,330],[0,175,329,330],[0,176,329,330],[0,177,329,330],[0,178,329,330],[0,179,329,330],[0,180,329,330],[0,181,329,330],[0,182,329,330],[0,183,329,330],[0,184,329,330],[0,135,138,139,142,145,146,148,149,153,154,156,160,161,164,165,166,168,169,170,172,173,176,178,180,182,328,329,330],[0,137,138,140,145,146,149,150,151,152,154,155,156,157,163,165,166,167,168,169,172,174,179,180,181,328,329,330],[0,135,141,142,145,147,148,149,150,151,152,154,155,157,158,160,161,165,167,172,175,176,178,181,328,329,330],[0,136,138,142,144,146,147,151,154,156,158,159,162,163,164,165,167,168,170,172,173,176,178,182,183,184,328,329,330],[0,136,143,144,147,149,150,151,152,153,154,156,157,159,160,162,163,167,169,174,177,178,180,183,328,329,330],[0,137,144,145,148,150,151,152,153,154,155,157,158,160,161,163,164,168,170,175,178,179,181,184,328,329,330],[0,138,145,146,149,151,152,153,154,155,156,158,159,161,162,164,165,169,171,176,179,180,182,328,329,330],[0,135,136,137,138,139,142,144,147,151,152,153,154,156,157,159,161,163,165,166,167,169,171,176,177,179,180,181,182,183,184,328,329,330],[0,135,138,139,140,142,145,146,147,149,151,155,157,158,163,165,167,168,169,170,171,172,176,180,181,184,328,329,330],[0,137,138,140,141,145,146,148,150,151,158,159,161,162,163,164,166,169,180,181,182,183,328,329,330],[0,136,137,138,141,142,144,145,146,147,148,150,152,153,154,155,156,159,160,163,166,168,170,171,173,178,179,180,181,182,183,328,329,330],[0,135,136,139,143,144,145,147,148,149,150,153,154,156,157,162,164,170,174,176,180,181,183,328,329,330],[0,135,140,142,143,144,145,147,150,152,153,155,157,158,160,162,164,166,169,175,176,178,181,183,184,328,329,330],[0,135,136,139,141,142,147,148,150,151,152,153,154,155,158,159,160,161,165,168,169,170,173,180,183,328,329,330],[0,135,136,137,139,140,144,145,146,147,148,149,150,151,153,154,159,161,162,163,166,167,168,170,171,173,174,176,177,179,180,181,182,183,328,329,330],[0,139,140,141,143,146,148,149,150,154,155,156,160,161,164,167,169,170,173,174,175,178,181,182,184,328,329,330],[0,135,138,139,140,141,144,145,146,147,148,150,151,153,154,155,157,160,162,164,166,169,171,172,173,174,175,178,179,180,183,328,329,330],[0,135,137,139,140,141,143,145,153,155,156,158,160,161,162,164,166,167,169,170,171,172,173,174,175,177,178,179,180,181,182,183,184,328,329,330],[0,135,136,138,139,140,141,143,145,147,150,152,154,155,157,159,160,161,162,165,169,170,171,172,174,175,177,178,181,328,329,330],[0,135,136,137,140,141,143,145,147,148,150,151,152,153,158,161,162,166,167,168,169,170,171,172,175,177,178,180,183,184,328,329,330],[0,139,141,142,143,144,145,146,147,148,149,153,154,156,159,161,167,169,176,177,178,179,180,181,183,184,328,329,330],[0,136,137,139,140,142,143,146,147,151,153,156,157,160,164,165,166,167,170,171,173,177,181,182,328,329,330],[0,137,138,140,141,143,144,147,148,152,154,157,158,161,165,166,167,168,171,172,174,178,182,183,328,329,330],[0,138,139,141,142,144,145,148,149,153,155,158,159,162,166,167,168,169,172,173,175,179,183,184,328,329,330],[0,139,140,142,143,145,146,149,150,154,156,159,160,163,167,168,169,170,173,174,176,180,184,328,329,330],[0,135,136,137,138,140,141,142,143,147,157,162,164,167,168,172,174,175,176,177,179,181,182,184,328,329,330],[0,136,137,139,141,142,147,149,150,152,153,154,155,158,161,164,166,167,168,169,170,172,173,175,176,179,180,182,184,328,329,330],[0,135,137,139,140,143,145,146,149,150,151,155,159,160,161,162,164,166,167,171,172,174,177,178,181,182,183,328,329,330],[0,135,137,138,140,141,142,143,144,148,149,150,153,154,156,161,164,166,167,168,169,171,172,173,175,176,177,179,184,328,329,330],[0,135,136,138,141,146,147,149,151,152,154,156,157,160,162,163,165,170,172,174,178,179,182,183,184,328,329,330],[0,135,136,137,143,144,145,146,148,153,156,157,158,160,161,164,166,167,168,169,171,175,176,177,182,328,329,330],[0,135,136,137,138,139,142,143,149,150,152,154,155,156,157,158,159,160,161,162,163,165,170,172,173,178,179,180,182,184,328,329,330],[0,140,144,145,147,150,152,153,155,157,158,159,160,164,166,168,170,172,174,177,179,181,328,329,330],[0,136,137,139,141,144,146,149,150,155,158,159,160,161,162,164,166,168,169,175,179,182,184,328,329,330],[0,135,136,140,144,145,146,147,155,156,159,163,165,171,172,179,180,182,183,184,328,329,330],[0,136,137,138,141,143,144,145,146,149,150,152,153,154,155,156,157,160,161,163,165,167,170,173,177,178,179,180,181,328,329,330],[0,135,137,144,147,148,149,150,151,155,157,158,160,162,165,169,170,171,172,173,174,176,179,181,328,329,330],[0,136,143,144,145,147,151,153,154,155,156,158,159,164,165,167,171,173,174,175,178,179,180,182,183,184,328,329,330],[0,136,139,146,149,150,151,152,153,157,159,160,162,164,167,171,172,173,174,175,176,178,181,183,328,329,330],[0,137,140,147,150,151,152,153,154,158,160,161,163,165,168,172,173,174,175,176,177,179,182,184,328,329,330],[0,138,141,148,151,152,153,154,155,159,161,162,164,166,169,173,174,175,176,177,178,180,183,328,329,330],[0,135,136,137,138,139,144,146,149,150,151,152,153,154,156,161,163,165,169,171,172,174,175,177,178,181,182,328,329,330],[0,135,138,139,140,142,143,145,146,148,149,150,155,157,160,163,165,169,170,171,172,173,175,177,179,328,329,330],[0,135,136,140,141,142,145,149,151,152,155,158,160,161,163,164,166,167,168,169,170,171,172,174,177,178,179,182,183,184,328,329,330],[0,138,139,141,142,145,146,147,150,151,153,159,163,164,165,167,169,175,177,178,179,184,328,329,330],[0,136,137,140,142,143,144,145,146,147,149,150,152,153,155,156,160,162,167,170,171,173,176,184,328,329,330],[0,137,138,141,143,144,145,146,147,148,150,151,153,154,156,157,161,163,168,171,172,174,177,328,329,330],[0,135,136,137,139,145,147,148,149,150,152,154,157,158,160,161,164,167,170,171,173,175,176,178,179,182,184,328,329,330],[0,135,138,140,142,143,147,150,152,154,155,158,159,160,161,163,164,166,168,169,172,174,178,179,180,182,328,329,330],[0,137,138,141,144,145,147,148,152,153,155,159,160,163,164,165,167,168,169,171,172,175,177,179,181,328,329,330],[0,135,328,329,330],[0,136,138,143,144,147,148,149,150,152,153,154,155,161,163,164,165,166,167,170,172,177,178,179,183,184,328,329,330],[0,136,328,329,330],[0,137,328,329,330],[0,138,328,329,330],[0,139,328,329,330],[0,140,328,329,330],[0,141,328,329,330],[0,142,328,329,330],[0,143,328,329,330],[0,144,328,329,330],[0,145,328,329,330],[0,146,328,329,330],[0,147,328,329,330],[0,148,328,329,330],[0,149,328,329,330],[0,150,328,329,330],[0,151,328,329,330],[0,152,328,329,330],[0,153,328,329,330],[0,154,328,329,330],[0,155,328,329,330],[0,156,328,329,330],[0,157,328,329,330],[0,158,328,329,330],[0,159,328,329,330],[0,160,328,329,330],[0,161,328,329,330],[0,162,328,329,330],[0,163,328,329,330],[0,164,328,329,330],[0,165,328,329,330],[0,166,328,329,330],[0,167,328,329,330],[0,168,328,329,330],[0,169,328,329,330],[0,170,328,329,330],[0,171,328,329,330],[0,172,328,329,330],[0,173,328,329,330],[0,174,328,329,330],[0,175,328,329,330],[0,176,328,329,330],[0,177,328,329,330],[0,178,328,329,330],[0,179,328,329,330],[0,180,328,329,330],[0,181,328,329,330],[0,182,328,329,330],[0,183,328,329,330],[0,184,328,329,330],[0,185,186,187,189,190,196,198,199,201,203,204,205,206,209,210,211,212,214,215,216,220,221,328,329,330],[0,186,187,188,190,191,197,199,200,202,204,205,206,207,210,211,212,213,215,216,217,221,222,328,329,330],[0,187,188,189,191,192,198,200,201,203,205,206,207,208,211,212,213,214,216,217,218,222,223,328,329,330],[0,185,186,187,188,192,193,196,198,202,203,205,207,208,210,211,213,216,217,218,219,220,221,223,328,329,330],[0,185,188,190,193,194,196,197,198,201,205,208,210,215,216,217,218,219,222,328,329,330],[0,186,189,191,194,195,197,198,199,202,206,209,211,216,217,218,219,220,223,328,329,330],[0,185,186,189,192,195,200,201,204,205,206,207,209,211,214,215,216,217,218,219,328,329,330],[0,186,187,190,193,196,201,202,205,206,207,208,210,212,215,216,217,218,219,220,328,329,330],[0,187,188,191,194,197,202,203,206,207,208,209,211,213,216,217,218,219,220,221,328,329,330],[0,188,189,192,195,198,203,204,207,208,209,210,212,214,217,218,219,220,221,222,328,329,330],[0,189,190,193,196,199,204,205,208,209,210,211,213,215,218,219,220,221,222,223,328,329,330],[0,185,186,187,189,191,194,196,197,198,199,200,201,203,204,215,219,222,223,328,329,330],[0,185,188,189,192,195,196,197,200,202,203,206,209,210,211,212,214,215,221,223,328,329,330],[0,185,187,193,197,199,205,206,207,209,213,214,220,221,222,328,329,330],[0,186,188,194,198,200,206,207,208,210,214,215,221,222,223,328,329,330],[0,185,186,190,195,196,198,203,204,205,206,207,208,210,212,214,220,221,222,223,328,329,330],[0,185,189,190,191,197,198,201,203,207,208,210,212,213,214,216,220,222,223,328,329,330],[0,185,187,189,191,192,196,201,202,203,205,206,208,210,212,213,216,217,220,223,328,329,330],[0,185,187,188,189,192,193,196,197,198,199,201,202,205,207,210,212,213,215,216,217,218,220,328,329,330],[0,186,188,189,190,193,194,197,198,199,200,202,203,206,208,211,213,214,216,217,218,219,221,328,329,330],[0,187,189,190,191,194,195,198,199,200,201,203,204,207,209,212,214,215,217,218,219,220,222,328,329,330],[0,188,190,191,192,195,196,199,200,201,202,204,205,208,210,213,215,216,218,219,220,221,223,328,329,330],[0,185,186,187,190,191,192,193,197,198,199,200,202,204,210,212,215,217,219,222,328,329,330],[0,186,187,188,191,192,193,194,198,199,200,201,203,205,211,213,216,218,220,223,328,329,330],[0,185,186,188,190,192,193,194,195,196,198,200,202,203,205,209,210,211,215,216,217,219,220,328,329,330],[0,186,187,189,191,193,194,195,196,197,199,201,203,204,206,210,211,212,216,217,218,220,221,328,329,330],[0,187,188,190,192,194,195,196,197,198,200,202,204,205,207,211,212,213,217,218,219,221,222,328,329,330],[0,188,189,191,193,195,196,197,198,199,201,203,205,206,208,212,213,214,218,219,220,222,223,328,329,330],[0,185,186,187,192,194,197,200,201,202,203,205,207,210,211,212,213,216,219,223,328,329,330],[0,185,188,189,190,193,195,196,199,202,205,208,209,210,213,215,216,217,221,328,329,330],[0,186,189,190,191,194,196,197,200,203,206,209,210,211,214,216,217,218,222,328,329,330],[0,187,190,191,192,195,197,198,201,204,207,210,211,212,215,217,218,219,223,328,329,330],[0,185,186,187,188,189,190,191,192,193,201,202,203,204,206,208,209,210,213,214,215,218,219,221,328,329,330],[0,186,187,188,189,190,191,192,193,194,202,203,204,205,207,209,210,211,214,215,216,219,220,222,328,329,330],[0,187,188,189,190,191,192,193,194,195,203,204,205,206,208,210,211,212,215,216,217,220,221,223,328,329,330],[0,185,186,187,188,191,192,193,194,195,198,199,201,203,207,210,213,214,215,217,218,220,222,328,329,330],[0,186,187,188,189,192,193,194,195,196,199,200,202,204,208,211,214,215,216,218,219,221,223,328,329,330],[0,185,186,188,193,194,195,197,198,199,200,204,206,210,211,214,217,219,221,222,328,329,330],[0,186,187,189,194,195,196,198,199,200,201,205,207,211,212,215,218,220,222,223,328,329,330],[0,185,186,188,189,195,197,198,200,202,203,204,205,208,209,210,211,213,214,215,219,220,223,328,329,330],[0,185,328,329,330],[0,186,328,329,330],[0,187,328,329,330],[0,188,328,329,330],[0,189,328,329,330],[0,190,328,329,330],[0,191,328,329,330],[0,192,328,329,330],[0,193,328,329,330],[0,194,328,329,330],[0,195,328,329,330],[0,196,328,329,330],[0,197,328,329,330],[0,198,328,329,330],[0,199,328,329,330],[0,200,328,329,330],[0,201,328,329,330],[0,202,328,329,330],[0,203,328,329,330],[0,204,328,329,330],[0,205,328,329,330],[0,206,328,329,330],[0,207,328,329,330],[0,208,328,329,330],[0,209,328,329,330],[0,210,328,329,330],[0,211,328,329,330],[0,212,328,329,330],[0,213,328,329,330],[0,214,328,329,330],[0,215,328,329,330],[0,216,328,329,330],[0,217,328,329,330],[0,218,328,329,330],[0,219,328,329,330],[0,220,328,329,330],[0,221,328,329,330],[0,222,328,329,330],[0,223,328,329,330],[0,185,186,187,189,190,196,198,199,201,203,204,205,206,209,210,211,212,214,215,216,220,221,327,328,329,330],[0,186,187,188,190,191,197,199,200,202,204,205,206,207,210,211,212,213,215,216,217,221,222,327,328,329,330],[0,187,188,189,191,192,198,200,201,203,205,206,207,208,211,212,213,214,216,217,218,222,223,327,328,329,330],[0,185,186,187,188,192,193,196,198,202,203,205,207,208,210,211,213,216,217,218,219,220,221,223,327,328,329,330],[0,185,188,190,193,194,196,197,198,201,205,208,210,215,216,217,218,219,222,327,328,329,330],[0,186,189,191,194,195,197,198,199,202,206,209,211,216,217,218,219,220,223,327,328,329,330],[0,185,186,189,192,195,200,201,204,205,206,207,209,211,214,215,216,217,218,219,327,328,329,330],[0,186,187,190,193,196,201,202,205,206,207,208,210,212,215,216,217,218,219,220,327,328,329,330],[0,187,188,191,194,197,202,203,206,207,208,209,211,213,216,217,218,219,220,221,327,328,329,330],[0,188,189,192,195,198,203,204,207,208,209,210,212,214,217,218,219,220,221,222,327,328,329,330],[0,189,190,193,196,199,204,205,208,209,210,211,213,215,218,219,220,221,222,223,327,328,329,330],[0,185,186,187,189,191,194,196,197,198,199,200,201,203,204,215,219,222,223,327,328,329,330],[0,185,188,189,192,195,196,197,200,202,203,206,209,210,211,212,214,215,221,223,327,328,329,330],[0,185,187,193,197,199,205,206,207,209,213,214,220,221,222,327,328,329,330],[0,186,188,194,198,200,206,207,208,210,214,215,221,222,223,327,328,329,330],[0,185,186,190,195,196,198,203,204,205,206,207,208,210,212,214,220,221,222,223,327,328,329,330],[0,185,189,190,191,197,198,201,203,207,208,210,212,213,214,216,220,222,223,327,328,329,330],[0,185,187,189,191,192,196,201,202,203,205,206,208,210,212,213,216,217,220,223,327,328,329,330],[0,185,187,188,189,192,193,196,197,198,199,201,202,205,207,210,212,213,215,216,217,218,220,327,328,329,330],[0,186,188,189,190,193,194,197,198,199,200,202,203,206,208,211,213,214,216,217,218,219,221,327,328,329,330],[0,187,189,190,191,194,195,198,199,200,201,203,204,207,209,212,214,215,217,218,219,220,222,327,328,329,330],[0,188,190,191,192,195,196,199,200,201,202,204,205,208,210,213,215,216,218,219,220,221,223,327,328,329,330],[0,185,186,187,190,191,192,193,197,198,199,200,202,204,210,212,215,217,219,222,327,328,329,330],[0,186,187,188,191,192,193,194,198,199,200,201,203,205,211,213,216,218,220,223,327,328,329,330],[0,185,186,188,190,192,193,194,195,196,198,200,202,203,205,209,210,211,215,216,217,219,220,327,328,329,330],[0,186,187,189,191,193,194,195,196,197,199,201,203,204,206,210,211,212,216,217,218,220,221,327,328,329,330],[0,187,188,190,192,194,195,196,197,198,200,202,204,205,207,211,212,213,217,218,219,221,222,327,328,329,330],[0,188,189,191,193,195,196,197,198,199,201,203,205,206,208,212,213,214,218,219,220,222,223,327,328,329,330],[0,185,186,187,192,194,197,200,201,202,203,205,207,210,211,212,213,216,219,223,327,328,329,330],[0,185,188,189,190,193,195,196,199,202,205,208,209,210,213,215,216,217,221,327,328,329,330],[0,186,189,190,191,194,196,197,200,203,206,209,210,211,214,216,217,218,222,327,328,329,330],[0,187,190,191,192,195,197,198,201,204,207,210,211,212,215,217,218,219,223,327,328,329,330],[0,185,186,187,188,189,190,191,192,193,201,202,203,204,206,208,209,210,213,214,215,218,219,221,327,328,329,330],[0,186,187,188,189,190,191,192,193,194,202,203,204,205,207,209,210,211,214,215,216,219,220,222,327,328,329,330],[0,187,188,189,190,191,192,193,194,195,203,204,205,206,208,210,211,212,215,216,217,220,221,223,327,328,329,330],[0,185,186,187,188,191,192,193,194,195,198,199,201,203,207,210,213,214,215,217,218,220,222,327,328,329,330],[0,186,187,188,189,192,193,194,195,196,199,200,202,204,208,211,214,215,216,218,219,221,223,327,328,329,330],[0,185,186,188,193,194,195,197,198,199,200,204,206,210,211,214,217,219,221,222,327,328,329,330],[0,186,187,189,194,195,196,198,199,200,201,205,207,211,212,215,218,220,222,223,327,328,329,330],[0,185,186,188,189,195,197,198,200,202,203,204,205,208,209,210,211,213,214,215,219,220,223,327,328,329,330],[0,185,327,328,329,330],[0,186,327,328,329,330],[0,187,327,328,329,330],[0,188,327,328,329,330],[0,189,327,328,329,330],[0,190,327,328,329,330],[0,191,327,328,329,330],[0,192,327,328,329,330],[0,193,327,328,329,330],[0,194,327,328,329,330],[0,195,327,328,329,330],[0,196,327,328,329,330],[0,197,327,328,329,330],[0,198,327,328,329,330],[0,199,327,328,329,330],[0,200,327,328,329,330],[0,201,327,328,329,330],[0,202,327,328,329,330],[0,203,327,328,329,330],[0,204,327,328,329,330],[0,205,327,328,329,330],[0,206,327,328,329,330],[0,207,327,328,329,330],[0,208,327,328,329,330],[0,209,327,328,329,330],[0,210,327,328,329,330],[0,211,327,328,329,330],[0,212,327,328,329,330],[0,213,327,328,329,330],[0,214,327,328,329,330],[0,215,327,328,329,330],[0,216,327,328,329,330],[0,217,327,328,329,330],[0,218,327,328,329,330],[0,219,327,328,329,330],[0,220,327,328,329,330],[0,221,327,328,329,330],[0,222,327,328,329,330],[0,223,327,328,329,330],[0,224,327,328,329,330],[0,225,327,328,329,330],[0,226,255,327,328,329,330],[0,227,327,328,329,330],[0,228,255,327,328,329,330],[0,229,327,328,329,330],[0,230,327,328,329,330],[0,231,255,327,328,329,330],[0,232,327,328,329,330],[0,233,327,328,329,330],[0,234,327,328,329,330],[0,235,255,327,328,329,330],[0,236,255,327,328,329,330],[0,237,255,327,328,329,330],[0,238,327,328,329,330],[0,239,255,327,328,329,330],[0,240,255,327,328,329,330],[0,241,255,327,328,329,330],[0,242,327,328,329,330],[0,243,327,328,329,330],[0,244,327,328,329,330],[0,245,255,327,328,329,330],[0,246,327,328,329,330],[0,247,327,328,329,330],[0,248,255,327,328,329,330],[0,249,255,327,328,329,330],[0,250,255,327,328,329,330],[0,251,255,327,328,329,330],[0,252,255,327,328,329,330],[0,253,327,328,329,330],[0,254,327,328,329,330],[0,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,327,328,329,330],[0,225,228,229,231,232,233,234,235,237,240,241,243,244,246,249,250,252,327,328,329,330],[0,226,229,230,232,233,234,235,236,238,241,242,244,245,247,250,251,253,327,328,329,330],[0,227,230,231,233,234,235,236,237,239,242,243,245,246,248,251,252,254,327,328,329,330],[0,228,231,232,234,235,236,237,238,240,243,244,246,247,249,252,253,327,328,329,330],[0,224,225,226,227,228,230,231,234,240,242,243,246,249,251,252,255,327,328,329,330],[0,224,230,233,234,236,237,238,239,240,242,245,246,248,249,251,254,327,328,329,330],[0,224,226,227,228,229,230,232,233,236,242,244,245,248,251,253,254,255,327,328,329,330],[0,225,227,228,229,230,231,233,234,237,243,245,246,249,252,254,327,328,329,330],[0,224,225,227,233,236,237,239,240,241,242,243,245,248,249,251,252,254,255,327,328,329,330],[0,225,226,228,234,237,238,240,241,242,243,244,246,249,250,252,253,327,328,329,330],[0,224,225,228,230,231,232,233,234,236,237,240,246,248,249,252,327,328,329,330],[0,224,227,228,230,236,239,240,242,243,244,245,246,248,251,252,254,327,328,329,330],[0,224,226,227,230,232,233,234,235,236,238,239,242,248,250,251,254,327,328,329,330],[0,225,227,228,231,233,234,235,236,237,239,240,243,249,251,252,327,328,329,330],[0,224,225,227,230,231,233,239,242,243,245,246,247,248,249,251,254,327,328,329,330],[0,224,227,229,230,233,235,236,237,238,239,241,242,245,251,253,254,327,328,329,330],[0,225,228,230,231,234,236,237,238,239,240,242,243,246,252,254,255,327,328,329,330],[0,224,225,227,228,230,233,234,236,242,245,246,248,249,250,251,252,254,255,327,328,329,330],[0,225,226,228,229,231,234,235,237,243,246,247,249,250,251,252,253,255,327,328,329,330],[0,224,225,228,231,233,234,237,239,240,241,242,243,245,246,249,327,328,329,330],[0,224,227,228,230,231,233,236,237,239,245,248,249,251,252,253,254,327,328,329,330],[0,224,226,227,230,233,235,236,239,241,242,243,244,245,247,248,251,255,327,328,329,330],[0,225,227,228,231,234,236,237,240,242,243,244,245,246,248,249,252,327,328,329,330],[0,226,228,229,232,235,237,238,241,243,244,245,246,247,249,250,253,255,327,328,329,330],[0,227,229,230,233,236,238,239,242,244,245,246,247,248,250,251,254,255,327,328,329,330],[0,228,230,231,234,237,239,240,243,245,246,247,248,249,251,252,327,328,329,330],[0,224,225,226,227,228,230,233,234,236,237,239,242,243,245,251,254,255,327,328,329,330],[0,224,230,232,233,236,239,241,242,245,247,248,249,250,251,253,254,255,327,328,329,330],[0,225,231,233,234,237,240,242,243,246,248,249,250,251,252,254,327,328,329,330],[0,224,225,227,228,229,230,231,233,236,237,239,240,242,245,246,248,254,255,327,328,329,330],[0,225,226,228,229,230,231,232,234,237,238,240,241,243,246,247,249,255,327,328,329,330],[0,224,225,228,234,236,237,240,243,245,246,249,251,252,253,254,327,328,329,330],[0,224,227,228,230,231,232,233,234,236,239,240,242,243,245,248,249,251,327,328,329,330],[0,224,326,327,328,329,330],[0,225,326,327,328,329,330],[0,226,255,326,327,328,329,330],[0,227,326,327,328,329,330],[0,228,255,326,327,328,329,330],[0,229,326,327,328,329,330],[0,230,326,327,328,329,330],[0,231,255,326,327,328,329,330],[0,232,326,327,328,329,330],[0,233,326,327,328,329,330],[0,234,326,327,328,329,330],[0,235,255,326,327,328,329,330],[0,236,255,326,327,328,329,330],[0,237,255,326,327,328,329,330],[0,238,326,327,328,329,330],[0,239,255,326,327,328,329,330],[0,240,255,326,327,328,329,330],[0,241,255,326,327,328,329,330],[0,242,326,327,328,329,330],[0,243,326,327,328,329,330],[0,244,326,327,328,329,330],[0,245,255,326,327,328,329,330],[0,246,326,327,328,329,330],[0,247,326,327,328,329,330],[0,248,255,326,327,328,329,330],[0,249,255,326,327,328,329,330],[0,250,255,326,327,328,329,330],[0,251,255,326,327,328,329,330],[0,252,255,326,327,328,329,330],[0,253,326,327,328,329,330],[0,254,326,327,328,329,330],[0,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,326,327,328,329,330],[0,225,228,229,231,232,233,234,235,237,240,241,243,244,246,249,250,252,326,327,328,329,330],[0,226,229,230,232,233,234,235,236,238,241,242,244,245,247,250,251,253,326,327,328,329,330],[0,227,230,231,233,234,235,236,237,239,242,243,245,246,248,251,252,254,326,327,328,329,330],[0,228,231,232,234,235,236,237,238,240,243,244,246,247,249,252,253,326,327,328,329,330],[0,224,225,226,227,228,230,231,234,240,242,243,246,249,251,252,255,326,327,328,329,330],[0,224,230,233,234,236,237,238,239,240,242,245,246,248,249,251,254,326,327,328,329,330],[0,224,226,227,228,229,230,232,233,236,242,244,245,248,251,253,254,255,326,327,328,329,330],[0,225,227,228,229,230,231,233,234,237,243,245,246,249,252,254,326,327,328,329,330],[0,224,225,227,233,236,237,239,240,241,242,243,245,248,249,251,252,254,255,326,327,328,329,330],[0,225,226,228,234,237,238,240,241,242,243,244,246,249,250,252,253,326,327,328,329,330],[0,224,225,228,230,231,232,233,234,236,237,240,246,248,249,252,326,327,328,329,330],[0,224,227,228,230,236,239,240,242,243,244,245,246,248,251,252,254,326,327,328,329,330],[0,224,226,227,230,232,233,234,235,236,238,239,242,248,250,251,254,326,327,328,329,330],[0,225,227,228,231,233,234,235,236,237,239,240,243,249,251,252,326,327,328,329,330],[0,224,225,227,230,231,233,239,242,243,245,246,247,248,249,251,254,326,327,328,329,330],[0,224,227,229,230,233,235,236,237,238,239,241,242,245,251,253,254,326,327,328,329,330],[0,225,228,230,231,234,236,237,238,239,240,242,243,246,252,254,255,326,327,328,329,330],[0,224,225,227,228,230,233,234,236,242,245,246,248,249,250,251,252,254,255,326,327,328,329,330],[0,225,226,228,229,231,234,235,237,243,246,247,249,250,251,252,253,255,326,327,328,329,330],[0,224,225,228,231,233,234,237,239,240,241,242,243,245,246,249,326,327,328,329,330],[0,224,227,228,230,231,233,236,237,239,245,248,249,251,252,253,254,326,327,328,329,330],[0,224,226,227,230,233,235,236,239,241,242,243,244,245,247,248,251,255,326,327,328,329,330],[0,225,227,228,231,234,236,237,240,242,243,244,245,246,248,249,252,326,327,328,329,330],[0,226,228,229,232,235,237,238,241,243,244,245,246,247,249,250,253,255,326,327,328,329,330],[0,227,229,230,233,236,238,239,242,244,245,246,247,248,250,251,254,255,326,327,328,329,330],[0,228,230,231,234,237,239,240,243,245,246,247,248,249,251,252,326,327,328,329,330],[0,224,225,226,227,228,230,233,234,236,237,239,242,243,245,251,254,255,326,327,328,329,330],[0,224,230,232,233,236,239,241,242,245,247,248,249,250,251,253,254,255,326,327,328,329,330],[0,225,231,233,234,237,240,242,243,246,248,249,250,251,252,254,326,327,328,329,330],[0,224,225,227,228,229,230,231,233,236,237,239,240,242,245,246,248,254,255,326,327,328,329,330],[0,225,226,228,229,230,231,232,234,237,238,240,241,243,246,247,249,255,326,327,328,329,330],[0,224,225,228,234,236,237,240,243,245,246,249,251,252,253,254,326,327,328,329,330],[0,224,227,228,230,231,232,233,234,236,239,240,242,243,245,248,249,251,326,327,328,329,330],[0,256,257,258,259,261,262,263,265,266,268,269,270,274,275,326,327,328,329,330],[0,257,258,259,260,262,263,264,266,267,269,270,271,275,276,326,327,328,329,330],[0,258,259,260,261,263,264,265,267,268,270,271,272,276,277,326,327,328,329,330],[0,259,260,261,262,264,265,266,268,269,271,272,273,277,278,326,327,328,329,330],[0,256,257,258,259,260,267,268,272,273,275,278,326,327,328,329,330],[0,256,260,262,263,265,266,270,273,275,276,326,327,328,329,330],[0,257,261,263,264,266,267,271,274,276,277,326,327,328,329,330],[0,258,262,264,265,267,268,272,275,277,278,326,327,328,329,330],[0,256,257,258,261,262,270,273,274,275,276,278,326,327,328,329,330],[0,256,261,265,266,268,269,270,271,276,277,326,327,328,329,330],[0,257,262,266,267,269,270,271,272,277,278,326,327,328,329,330],[0,256,257,259,261,262,265,266,267,269,271,272,273,274,275,278,326,327,328,329,330],[0,256,259,260,261,265,267,269,272,273,276,326,327,328,329,330],[0,257,260,261,262,266,268,270,273,274,277,326,327,328,329,330],[0,258,261,262,263,267,269,271,274,275,278,326,327,328,329,330],[0,256,257,258,261,264,265,266,269,272,274,276,326,327,328,329,330],[0,257,258,259,262,265,266,267,270,273,275,277,326,327,328,329,330],[0,258,259,260,263,266,267,268,271,274,276,278,326,327,328,329,330],[0,256,257,258,260,262,263,264,265,266,267,270,272,274,277,326,327,328,329,330],[0,257,258,259,261,263,264,265,266,267,268,271,273,275,278,326,327,328,329,330],[0,256,257,260,261,263,264,267,270,272,275,276,326,327,328,329,330],[0,257,258,261,262,264,265,268,271,273,276,277,326,327,328,329,330],[0,258,259,262,263,265,266,269,272,274,277,278,326,327,328,329,330],[0,256,257,258,260,261,262,264,265,267,268,269,273,274,278,326,327,328,329,330],[0,256,326,327,328,329,330],[0,257,326,327,328,329,330],[0,258,326,327,328,329,330],[0,259,326,327,328,329,330],[0,260,326,327,328,329,330],[0,261,326,327,328,329,330],[0,262,326,327,328,329,330],[0,263,326,327,328,329,330],[0,264,326,327,328,329,330],[0,265,326,327,328,329,330],[0,266,326,327,328,329,330],[0,267,326,327,328,329,330],[0,268,326,327,328,329,330],[0,269,326,327,328,329,330],[0,270,326,327,328,329,330],[0,271,326,327,328,329,330],[0,272,326,327,328,329,330],[0,273,326,327,328,329,330],[0,274,326,327,328,329,330],[0,275,326,327,328,329,330],[0,276,326,327,328,329,330],[0,277,326,327,328,329,330],[0,278,326,327,328,329,330],[0,256,257,258,259,261,262,263,265,266,268,269,270,274,275,325,326,327,328,329,330],[0,257,258,259,260,262,263,264,266,267,269,270,271,275,276,325,326,327,328,329,330],[0,258,259,260,261,263,264,265,267,268,270,271,272,276,277,325,326,327,328,329,330],[0,259,260,261,262,264,265,266,268,269,271,272,273,277,278,325,326,327,328,329,330],[0,256,257,258,259,260,267,268,272,273,275,278,325,326,327,328,329,330],[0,256,260,262,263,265,266,270,273,275,276,325,326,327,328,329,330],[0,257,261,263,264,266,267,271,274,276,277,325,326,327,328,329,330],[0,258,262,264,265,267,268,272,275,277,278,325,326,327,328,329,330],[0,256,257,258,261,262,270,273,274,275,276,278,325,326,327,328,329,330],[0,256,261,265,266,268,269,270,271,276,277,325,326,327,328,329,330],[0,257,262,266,267,269,270,271,272,277,278,325,326,327,328,329,330],[0,256,257,259,261,262,265,266,267,269,271,272,273,274,275,278,325,326,327,328,329,330],[0,256,259,260,261,265,267,269,272,273,276,325,326,327,328,329,330],[0,257,260,261,262,266,268,270,273,274,277,325,326,327,328,329,330],[0,258,261,262,263,267,269,271,274,275,278,325,326,327,328,329,330],[0,256,257,258,261,264,265,266,269,272,274,276,325,326,327,328,329,330],[0,257,258,259,262,265,266,267,270,273,275,277,325,326,327,328,329,330],[0,258,259,260,263,266,267,268,271,274,276,278,325,326,327,328,329,330],[0,256,257,258,260,262,263,264,265,266,267,270,272,274,277,325,326,327,328,329,330],[0,257,258,259,261,263,264,265,266,267,268,271,273,275,278,325,326,327,328,329,330],[0,256,257,260,261,263,264,267,270,272,275,276,325,326,327,328,329,330],[0,257,258,261,262,264,265,268,271,273,276,277,325,326,327,328,329,330],[0,258,259,262,263,265,266,269,272,274,277,278,325,326,327,328,329,330],[0,256,257,258,260,261,262,264,265,267,268,269,273,274,278,325,326,327,328,329,330],[0,256,325,326,327,328,329,330],[0,257,325,326,327,328,329,330],[0,258,325,326,327,328,329,330],[0,259,325,326,327,328,329,330],[0,260,325,326,327,328,329,330],[0,261,325,326,327,328,329,330],[0,262,325,326,327,328,329,330],[0,263,325,326,327,328,329,330],[0,264,325,326,327,328,329,330],[0,265,325,326,327,328,329,330],[0,266,325,326,327,328,329,330],[0,267,325,326,327,328,329,330],[0,268,325,326,327,328,329,330],[0,269,325,326,327,328,329,330],[0,270,325,326,327,328,329,330],[0,271,325,326,327,328,329,330],[0,272,325,326,327,328,329,330],[0,273,325,326,327,328,329,330],[0,274,325,326,327,328,329,330],[0,275,325,326,327,328,329,330],[0,276,325,326,327,328,329,330],[0,277,325,326,327,328,329,330],[0,278,325,326,327,328,329,330],[0,280,281,282,284,285,287,288,290,291,292,293,294,295,296,297,325,326,327,328,329,330],[0,279,280,281,282,284,285,287,288,290,291,292,293,294,295,296,297,325,326,327,328,329,330],[0,280,325,326,327,328,329,330],[0,281,325,326,327,328,329,330],[0,282,325,326,327,328,329,330],[0,280,281,282,283,284,285,287,288,290,291,292,293,294,295,296,297,325,326,327,328,329,330],[0,284,325,326,327,328,329,330],[0,285,325,326,327,328,329,330],[0,280,281,282,284,285,286,287,288,290,291,292,293,294,295,296,297,325,326,327,328,329,330],[0,287,325,326,327,328,329,330],[0,288,325,326,327,328,329,330],[0,280,281,282,284,285,287,288,289,290,291,292,293,294,295,296,297,325,326,327,328,329,330],[0,290,325,326,327,328,329,330],[0,291,325,326,327,328,329,330],[0,292,325,326,327,328,329,330],[0,293,325,326,327,328,329,330],[0,294,325,326,327,328,329,330],[0,295,325,326,327,328,329,330],[0,296,325,326,327,328,329,330],[0,297,325,326,327,328,329,330],[0,280,281,282,284,285,287,288,290,291,292,293,294,295,296,297,298,325,326,327,328,329,330],[0,279,281,283,286,287,288,290,291,292,293,294,295,296,297,325,326,327,328,329,330],[0,279,280,283,285,290,291,292,293,294,295,296,297,325,326,327,328,329,330],[0,279,280,281,283,285,287,288,289,292,293,294,295,296,297,325,326,327,328,329,330],[0,279,281,282,283,284,285,286,290,291,292,294,295,296,297,325,326,327,328,329,330],[0,280,284,289,290,291,292,293,295,296,297,325,326,327,328,329,330],[0,279,283,284,286,287,288,289,290,291,293,294,297,325,326,327,328,329,330],[0,279,282,284,285,287,288,291,293,295,296,297,298,325,326,327,328,329,330],[0,282,286,287,288,289,293,295,296,297,298,325,326,327,328,329,330],[0,280,281,283,284,286,287,288,290,291,293,294,296,297,298,325,326,327,328,329,330],[0,282,286,287,288,290,292,293,294,295,296,325,326,327,328,329,330],[0,281,285,286,289,290,292,293,294,297,298,325,326,327,328,329,330],[0,279,280,282,283,284,286,287,289,291,293,294,295,325,326,327,328,329,330],[0,283,284,285,286,288,289,291,293,294,295,325,326,327,328,329,330],[0,279,280,284,286,288,292,294,295,297,298,325,326,327,328,329,330],[0,279,281,282,283,286,288,291,292,294,295,297,298,325,326,327,328,329,330],[0,279,281,282,283,286,288,289,292,325,326,327,328,329,330],[0,280,281,286,287,288,289,291,292,325,326,327,328,329,330],[0,280,281,282,283,285,289,291,292,325,326,327,328,329,330],[0,282,284,285,286,288,289,291,292,325,326,327,328,329,330],[0,279,280,285,286,290,293,294,295,297,298,325,326,327,328,329,330],[0,280,281,282,284,285,287,288,290,291,292,293,294,295,296,297,324,325,326,327,328,329,330],[0,279,280,281,282,284,285,287,288,290,291,292,293,294,295,296,297,324,325,326,327,328,329,330],[0,280,324,325,326,327,328,329,330],[0,281,324,325,326,327,328,329,330],[0,282,324,325,326,327,328,329,330],[0,280,281,282,283,284,285,287,288,290,291,292,293,294,295,296,297,324,325,326,327,328,329,330],[0,284,324,325,326,327,328,329,330],[0,285,324,325,326,327,328,329,330],[0,280,281,282,284,285,286,287,288,290,291,292,293,294,295,296,297,324,325,326,327,328,329,330],[0,287,324,325,326,327,328,329,330],[0,288,324,325,326,327,328,329,330],[0,280,281,282,284,285,287,288,289,290,291,292,293,294,295,296,297,324,325,326,327,328,329,330],[0,290,324,325,326,327,328,329,330],[0,291,324,325,326,327,328,329,330],[0,292,324,325,326,327,328,329,330],[0,293,324,325,326,327,328,329,330],[0,294,324,325,326,327,328,329,330],[0,295,324,325,326,327,328,329,330],[0,296,324,325,326,327,328,329,330],[0,297,324,325,326,327,328,329,330],[0,280,281,282,284,285,287,288,290,291,292,293,294,295,296,297,298,324,325,326,327,328,329,330],[0,279,281,283,286,287,288,290,291,292,293,294,295,296,297,324,325,326,327,328,329,330],[0,279,280,283,285,290,291,292,293,294,295,296,297,324,325,326,327,328,329,330],[0,279,280,281,283,285,287,288,289,292,293,294,295,296,297,324,325,326,327,328,329,330],[0,279,281,282,283,284,285,286,290,291,292,294,295,296,297,324,325,326,327,328,329,330],[0,280,284,289,290,291,292,293,295,296,297,324,325,326,327,328,329,330],[0,279,283,284,286,287,288,289,290,291,293,294,297,324,325,326,327,328,329,330],[0,279,282,284,285,287,288,291,293,295,296,297,298,324,325,326,327,328,329,330],[0,282,286,287,288,289,293,295,296,297,298,324,325,326,327,328,329,330],[0,280,281,283,284,286,287,288,290,291,293,294,296,297,298,324,325,326,327,328,329,330],[0,282,286,287,288,290,292,293,294,295,296,324,325,326,327,328,329,330],[0,281,285,286,289,290,292,293,294,297,298,324,325,326,327,328,329,330],[0,279,280,282,283,284,286,287,289,291,293,294,295,324,325,326,327,328,329,330],[0,283,284,285,286,288,289,291,293,294,295,324,325,326,327,328,329,330],[0,279,280,284,286,288,292,294,295,297,298,324,325,326,327,328,329,330],[0,279,281,282,283,286,288,291,292,294,295,297,298,324,325,326,327,328,329,330],[0,279,281,282,283,286,288,289,292,324,325,326,327,328,329,330],[0,280,281,286,287,288,289,291,292,324,325,326,327,328,329,330],[0,280,281,282,283,285,289,291,292,324,325,326,327,328,329,330],[0,282,284,285,286,288,289,291,292,324,325,326,327,328,329,330],[0,279,280,285,286,290,293,294,295,297,298,324,325,326,327,328,329,330],[0,299,300,304,305,306,308,324,325,326,327,328,329,330],[0,300,301,305,306,307,309,324,325,326,327,328,329,330],[0,299,300,301,302,304,305,307,324,325,326,327,328,329,330],[0,300,301,302,303,305,306,308,324,325,326,327,328,329,330],[0,301,302,303,304,306,307,309,324,325,326,327,328,329,330],[0,299,300,302,303,306,307,324,325,326,327,328,329,330],[0,300,301,303,304,307,308,324,325,326,327,328,329,330],[0,301,302,304,305,308,309,324,325,326,327,328,329,330],[0,299,300,302,303,304,308,309,324,325,326,327,328,329,330],[0,299,301,303,306,308,309,324,325,326,327,328,329,330],[0,299,302,305,306,307,308,309,324,325,326,327,328,329,330],[0,299,303,304,305,307,309,324,325,326,327,328,329,330],[0,299,324,325,326,327,328,329,330],[0,300,324,325,326,327,328,329,330],[0,301,324,325,326,327,328,329,330],[0,302,324,325,326,327,328,329,330],[0,303,324,325,326,327,328,329,330],[0,304,324,325,326,327,328,329,330],[0,305,324,325,326,327,328,329,330],[0,306,324,325,326,327,328,329,330],[0,307,324,325,326,327,328,329,330],[0,308,324,325,326,327,328,329,330],[0,309,324,325,326,327,328,329,330],[0,299,300,304,305,306,308,323,324,325,326,327,328,329,330],[0,300,301,305,306,307,309,323,324,325,326,327,328,329,330],[0,299,300,301,302,304,305,307,323,324,325,326,327,328,329,330],[0,300,301,302,303,305,306,308,323,324,325,326,327,328,329,330],[0,301,302,303,304,306,307,309,323,324,325,326,327,328,329,330],[0,299,300,302,303,306,307,323,324,325,326,327,328,329,330],[0,300,301,303,304,307,308,323,324,325,326,327,328,329,330],[0,301,302,304,305,308,309,323,324,325,326,327,328,329,330],[0,299,300,302,303,304,308,309,323,324,325,326,327,328,329,330],[0,299,301,303,306,308,309,323,324,325,326,327,328,329,330],[0,299,302,305,306,307,308,309,323,324,325,326,327,328,329,330],[0,299,303,304,305,307,309,323,324,325,326,327,328,329,330],[0,299,323,324,325,326,327,328,329,330],[0,300,323,324,325,326,327,328,329,330],[0,301,323,324,325,326,327,328,329,330],[0,302,323,324,325,326,327,328,329,330],[0,303,323,324,325,326,327,328,329,330],[0,304,323,324,325,326,327,328,329,330],[0,305,323,324,325,326,327,328,329,330],[0,306,323,324,325,326,327,328,329,330],[0,307,323,324,325,326,327,328,329,330],[0,308,323,324,325,326,327,328,329,330],[0,309,323,324,325,326,327,328,329,330],[0,311,317,323,324,325,326,327,328,329,330],[0,310,316,317,323,324,325,326,327,328,329,330],[0,310,316,323,324,325,326,327,328,329,330],[0,315,317,323,324,325,326,327,328,329,330],[0,311,312,314,323,324,325,326,327,328,329,330],[0,315,316,323,324,325,326,327,328,329,330],[0,313,317,323,324,325,326,327,328,329,330],[0,310,313,317,323,324,325,326,327,328,329,330],[0,310,313,323,324,325,326,327,328,329,330],[0,312,314,323,324,325,326,327,328,329,330],[0,312,323,324,325,326,327,328,329,330],[0,315,323,324,325,326,327,328,329,330],[0,315,316,317,323,324,325,326,327,328,329,330],[0,311,312,323,324,325,326,327,328,329,330],[0,313,323,324,325,326,327,328,329,330],[0,314,317,323,324,325,326,327,328,329,330],[0,311,314,317,323,324,325,326,327,328,329,330],[0,311,317,322,323,324,325,326,327,328,329,330],[0,310,316,317,322,323,324,325,326,327,328,329,330],[0,310,316,322,323,324,325,326,327,328,329,330],[0,315,317,322,323,324,325,326,327,328,329,330],[0,311,312,314,322,323,324,325,326,327,328,329,330],[0,315,316,322,323,324,325,326,327,328,329,330],[0,313,317,322,323,324,325,326,327,328,329,330],[0,310,313,317,322,323,324,325,326,327,328,329,330],[0,310,313,322,323,324,325,326,327,328,329,330],[0,312,314,322,323,324,325,326,327,328,329,330],[0,312,322,323,324,325,326,327,328,329,330],[0,315,322,323,324,325,326,327,328,329,330],[0,315,316,317,322,323,324,325,326,327,328,329,330],[0,311,312,322,323,324,325,326,327,328,329,330],[0,313,322,323,324,325,326,327,328,329,330],[0,314,317,322,323,324,325,326,327,328,329,330],[0,311,314,317,322,323,324,325,326,327,328,329,330],[0,318,319,322,323,324,325,326,327,328,329,330],[0,319,320,322,323,324,325,326,327,328,329,330],[0,318,319,320,322,323,324,325,326,327,328,329,330],[0,318,320,322,323,324,325,326,327,328,329,330],[0,318,322,323,324,325,326,327,328,329,330],[0,319,322,323,324,325,326,327,328,329,330],[0,320,322,323,324,325,326,327,328,329,330],[0,318,319,321,322,323,324,325,326,327,328,329,330],[0,319,320,321,322,323,324,325,326,327,328,329,330],[0,318,319,320,321,322,323,324,325,326,327,328,329,330],[0,318,320,321,322,323,324,325,326,327,328,329,330],[0,318,321,322,323,324,325,326,327,328,329,330],[0,319,321,322,323,324,325,326,327,328,329,330],[0,320,321,322,323,324,325,326,327,328,329,330],[0,321,322,323,324,325,326,327,328,329,330]]},"distance":{"d":3,"is_exact":false,"upper":21,"witness":[0,167,334,437,540,641,742,821,900,965,1030,1077,1124,1165,1206,1229,1252,1269,1286,1293,1300],"A_d":null,"certified":{"d":21,"is_exact":false,"met":true,"source":"built here by the doubling of Jain and Albert (arXiv:2408.12752) from A. Gong's [[559,1,15]] (github.com/gongaa/RM127, triply-even/): [[167,1,23]] quantum QR code (extended QR [168,84,24]) doubled onto [[967,1,19]]; their doubling theorem (Sec. III) gives d >= min(d_sd, d_tri + 2) = 21, with d_sd at least the classical distance less one (their Lemma 2.4) and the distances of Gong's self-dual [[41,1,9]] and [[65,1,13]] codes proved here by enumerating every word of their stabiliser spaces"}},"clifford":{"kind":"powers","correction":{"S":[[0,2],[135,2],[136,2],[137,2],[138,2],[142,2],[144,2],[146,2],[150,2],[151,2],[155,2],[160,2],[161,2],[162,2],[167,2],[169,2],[170,2],[171,2],[172,2],[176,2],[179,2],[182,2],[184,2],[328,2],[330,1]],"CZ":[[0,330],[135,328],[136,328],[137,328],[138,328],[142,328],[144,328],[146,328],[150,328],[151,328],[155,328],[160,328],[161,328],[162,328],[167,328],[169,328],[170,328],[171,328],[172,328],[176,328],[179,328],[182,328],[184,328]]},"rotation_powers":[[0,7],[1,3],[4,3],[6,3],[8,3],[10,3],[12,3],[13,3],[17,3],[19,3],[23,3],[24,3],[25,3],[26,3],[27,3],[29,3],[31,3],[32,3],[33,3],[35,3],[36,3],[40,3],[42,3],[45,3],[46,3],[47,3],[49,3],[50,3],[52,3],[53,3],[56,3],[59,3],[60,3],[62,3],[64,3],[67,3],[70,3],[71,3],[73,3],[76,3],[78,3],[81,3],[83,3],[167,5],[169,3],[170,3],[172,3],[174,3],[176,3],[178,3],[181,3],[182,3],[183,3],[185,3],[187,3],[188,3],[189,3],[195,3],[197,3],[201,3],[204,3],[205,3],[206,3],[208,3],[210,3],[211,3],[215,3],[218,3],[221,3],[222,3],[224,3],[225,3],[228,3],[230,3],[232,3],[233,3],[235,3],[236,3],[239,3],[241,3],[242,3],[244,3],[246,3],[247,3],[249,3],[251,3],[252,3],[253,3],[254,3],[255,3],[256,3],[257,3],[258,3],[259,3],[260,3],[261,3],[262,3],[263,3],[264,3],[265,3],[266,3],[267,3],[268,3],[269,3],[270,3],[271,3],[272,3],[273,3],[274,3],[275,3],[276,3],[277,3],[278,3],[279,3],[280,3],[281,3],[282,3],[283,3],[284,3],[285,3],[286,3],[287,3],[288,3],[289,3],[290,3],[291,3],[292,3],[293,3],[294,3],[295,3],[296,3],[297,3],[298,3],[299,3],[300,3],[301,3],[302,3],[303,3],[304,3],[305,3],[306,3],[307,3],[308,3],[309,3],[310,3],[311,3],[312,3],[313,3],[314,3],[315,3],[316,3],[317,3],[318,3],[319,3],[320,3],[321,3],[322,3],[323,3],[324,3],[325,3],[326,3],[327,3],[328,3],[329,3],[330,3],[331,3],[332,3],[333,3],[334,3],[336,3],[341,3],[342,3],[345,3],[346,3],[347,3],[348,3],[350,3],[351,3],[352,3],[353,3],[359,3],[361,3],[362,3],[363,3],[364,3],[365,3],[368,3],[370,3],[375,3],[376,3],[377,3],[381,3],[382,3],[384,3],[436,3],[437,3],[439,3],[444,3],[445,3],[448,3],[449,3],[450,3],[451,3],[453,3],[454,3],[455,3],[456,3],[462,3],[464,3],[465,3],[466,3],[467,3],[468,3],[471,3],[473,3],[478,3],[479,3],[480,3],[484,3],[485,3],[487,3],[539,3],[540,3],[542,3],[543,3],[545,3],[547,3],[550,3],[551,3],[553,3],[559,3],[561,3],[565,3],[566,3],[567,3],[568,3],[569,3],[570,3],[571,3],[576,3],[577,3],[578,3],[581,3],[582,3],[583,3],[584,3],[588,3],[591,3],[637,3],[641,3],[643,3],[644,3],[646,3],[648,3],[651,3],[652,3],[654,3],[660,3],[662,3],[666,3],[667,3],[668,3],[669,3],[670,3],[671,3],[672,3],[677,3],[678,3],[679,3],[682,3],[683,3],[684,3],[685,3],[689,3],[692,3],[738,3],[742,3],[743,3],[745,3],[746,3],[752,3],[754,3],[755,3],[757,3],[759,3],[760,3],[761,3],[762,3],[765,3],[766,3],[767,3],[768,3],[770,3],[771,3],[772,3],[776,3],[777,3],[780,3],[820,3],[823,3],[826,3],[827,3],[828,3],[829,3],[830,3],[832,3],[835,3],[837,3],[842,3],[843,3],[848,3],[852,3],[853,3],[854,3],[857,3],[858,3],[860,3],[861,3],[862,3],[863,3],[864,3],[865,3],[866,3],[867,3],[868,3],[869,3],[870,3],[871,3],[872,3],[873,3],[874,3],[875,3],[876,3],[877,3],[878,3],[879,3],[880,3],[881,3],[882,3],[883,3],[884,3],[885,3],[886,3],[887,3],[888,3],[889,3],[890,3],[891,3],[892,3],[893,3],[894,3],[895,3],[896,3],[897,3],[898,3]]},"metrics":{"gamma":6.527223982908521,"gamma_t":6.527223982908521,"gamma_rho":6.527223982908521,"gamma_claim":2.3553409853910026,"gamma_t_claim":2.3553409853910026,"gamma_rho_claim":2.3553409853910026,"v_ex":1,"rate":0.0007686395080707148,"t_count":1,"poly_degree":1,"effective_width":1},"provenance":{"regimes":["Jain-Albert doubling of Gong's codes"],"discovery":"pre-existing","strongest_claim":"a code built here by the doubling method of Jain and Albert (arXiv:2408.12752) from the codes in A. Gong's repository (github.com/gongaa/RM127, triply-even/): her [[559,1,15]] doubled with the self-dual CSS codes of the paper's Table I from distance 17 on (transversal_t_codes/); a verified witness, not a maximum","sources":[{"regime":"Jain-Albert doubling of Gong's codes","file":"transversal_t_codes/factories.json","label":"GJ-1301","N":331,"d":3,"d_is_exact":false,"origin":"S. P. Jain and V. V. Albert, \"Transversal Clifford and T-gate codes of short length and high distance\", IEEE J. Sel. Areas Inf. Theory 6, 127 (2025), arXiv:2408.12752; A. Gong, \"On some K=1 codes admitting strongly transversal T\", note in github.com/gongaa/RM127, triply-even/ (2025)","provenance":"[[167,1,23]] quantum QR code (extended QR [168,84,24]) doubled onto [[967,1,19]]: the doubling method of Jain and Albert (arXiv:2408.12752) applied to the codes in A. Gong's repository (github.com/gongaa/RM127)"}]},"references":[{"key":"jain2025transversal","short":"Jain & Albert (2025)","full":"S. P. Jain and V. V. Albert, \"Transversal Clifford and T-gate codes of short length and high distance,\" IEEE J. Sel. Areas Inf. Theory 6, 127-137 (2025); arXiv:2408.12752.","url":"https://doi.org/10.1109/JSAIT.2025.3570832","date":"2025-05-16"},{"key":"gong2025triply","short":"Gong (2025)","full":"A. Gong, \"On some K=1 codes admitting strongly transversal T,\" note in the RM127 repository, triply-even/ (2025).","url":"https://github.com/gongaa/RM127/tree/main/triply-even","date":"2025-04-10"}]}