Quelle  spheresizecycles.g   Sprache: unbekannt

#############################################################################
##
#W  spheresizecycles.g            GAP4 Package `RCWA'             Stefan Kohl
##
##  Data library of groups generated by 3 class transpositions which inter-
##  change residue classes with moduli <= 6: part containing sphere size
##  cycles for groups with orbits with bounded sphere sizes, where the
##  orbit growth sequence gets periodic.
##
##  The list 'cyclist' contains lists for each group, with entries
##  as follows:
##
##  cyclist[i][1]: number of group in the database
##  cyclist[i][2]: list of lists of the form [<orbit representative>,
##                 <sphere size cycle>]
##   
##  *** Note that the data may contain errors. ***
##
#############################################################################

return
[[29,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [30,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [34,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [36,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [37,[[4,[1,1,2]],[10,[1,1,2]],[16,[1,1,2]],[22,[1,1,2]],[28,[1,1,2]],
     [34,[1,1,2]],[40,[1,1,2]],[46,[1,1,2]],[52,[1,1,2]],[58,[1,1,2]]]],
 [38,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [40,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [43,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [47,[[4,[1,1,2]],[10,[1,1,2]],[16,[1,1,2]],[22,[1,1,2]],[28,[1,1,2]],
     [34,[1,1,2]],[40,[1,1,2]],[46,[1,1,2]],[52,[1,1,2]],[58,[1,1,2]]]],
 [55,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [57,[[10,[2]],[22,[2]],[34,[2]],[46,[2]],[58,[2]],[70,[2]],[82,[2]],
     [94,[2]],[106,[2]],[118,[2]]]],[58,[[10,fail]]],
 [60,[[10,[2]],[22,[2]],[34,[2]],[46,[2]],[58,[2]],[70,[2]],[82,[2]],
     [94,[2]],[106,[2]],[118,[2]]]],
 [61,[[4,[2]],[16,[2]],[28,[2]],[40,[2]],[52,[2]],[64,[2]],[76,[2]],
     [88,[2]],[100,[2]],[112,[2]]]],[63,[[4,fail]]],[64,[[10,fail]]],
 [65,[[4,[2]],[16,[2]],[28,[2]],[40,[2]],[52,[2]],[64,[2]],[76,[2]],
     [88,[2]],[100,[2]],[112,[2]]]],[66,[[4,fail]]],
 [102,[[0,[1,1,2]],[6,[1,1,2]],[12,[1,1,2]],[18,[1,1,2]],[24,[1,1,2]],
     [30,[1,1,2]],[36,[1,1,2]],[42,[1,1,2]],[48,[1,1,2]],[54,[1,1,2]]]],
 [103,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [104,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [109,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [111,[[2,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [115,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [116,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [117,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [118,[[0,[1,1,2]],[6,[1,1,2]],[12,[1,1,2]],[18,[1,1,2]],[24,[1,1,2]],
     [30,[1,1,2]],[36,[1,1,2]],[42,[1,1,2]],[48,[1,1,2]],[54,[1,1,2]]]],
 [119,[[2,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [122,[[6,[2]],[18,[2]],[30,[2]],[42,[2]],[54,[2]],[66,[2]],[78,[2]],
     [90,[2]],[102,[2]],[114,[2]]]],[123,[[6,fail]]],
 [124,[[6,[2]],[18,[2]],[30,[2]],[42,[2]],[54,[2]],[66,[2]],[78,[2]],
     [90,[2]],[102,[2]],[114,[2]]]],[125,[[6,fail]]],[127,[[0,fail]]],
 [128,[[0,[2]],[12,[2]],[24,[2]],[36,[2]],[48,[2]],[60,[2]],[72,[2]],
     [84,[2]],[96,[2]],[108,[2]]]],
 [132,[[0,[2]],[12,[2]],[24,[2]],[36,[2]],[48,[2]],[60,[2]],[72,[2]],
     [84,[2]],[96,[2]],[108,[2]]]],[133,[[0,fail]]],
 [201,[[0,[1]],[4,[1]],[8,[1]],[12,[1]],[16,[1]],[20,[1]],[24,[1]],
     [28,[1]],[32,[1]],[36,[1]]]],
 [204,[[2,[1]],[6,[1]],[10,[1]],[14,[1]],[18,[1]],[22,[1]],[26,[1]],
     [30,[1]],[34,[1]],[38,[1]]]],
 [206,[[2,[1]],[6,[1]],[10,[1]],[14,[1]],[18,[1]],[22,[1]],[26,[1]],
     [30,[1]],[34,[1]],[38,[1]]]],
 [207,[[0,[1]],[4,[1]],[8,[1]],[12,[1]],[16,[1]],[20,[1]],[24,[1]],
     [28,[1]],[32,[1]],[36,[1]]]],
 [224,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [225,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [233,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [234,[[0,[1]],[4,[1]],[6,[1]],[10,[1]],[12,[1]],[16,[1]],[18,[1]],
     [22,[1]],[24,[1]],[28,[1]]]],
 [235,[[0,[1]],[2,[1]],[6,[1]],[8,[1]],[12,[1]],[14,[1]],[18,[1]],
     [20,[1]],[24,[1]],[26,[1]]]],
 [238,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [240,[[2,[1]],[4,[1]],[8,[1]],[10,[1]],[14,[1]],[16,[1]],[20,[1]],
     [22,[1]],[26,[1]],[28,[1]]]],
 [244,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [245,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [248,[[2,[1]],[4,[1]],[8,[1]],[10,[1]],[14,[1]],[16,[1]],[20,[1]],
     [22,[1]],[26,[1]],[28,[1]]]],
 [249,[[0,[1]],[4,[1]],[6,[1]],[10,[1]],[12,[1]],[16,[1]],[18,[1]],
     [22,[1]],[24,[1]],[28,[1]]]],
 [250,[[0,[1]],[2,[1]],[6,[1]],[8,[1]],[12,[1]],[14,[1]],[18,[1]],
     [20,[1]],[24,[1]],[26,[1]]]],
 [292,[[8,[3,3,4]],[20,[3,3,4]],[32,[3,3,4]],[44,[3,3,4]],[56,[3,3,4]],
     [68,[3,3,4]],[80,[3,3,4]],[92,[3,3,4]],[104,[3,3,4]],[116,[3,3,4]]] 
  ],
 [294,[[4,[3,3,4]],[16,[3,3,4]],[28,[3,3,4]],[40,[3,3,4]],[52,[3,3,4]],
     [64,[3,3,4]],[76,[3,3,4]],[88,[3,3,4]],[100,[3,3,4]],[112,[3,3,4]]] 
  ],
 [295,[[4,[3,3,4]],[16,[3,3,4]],[28,[3,3,4]],[40,[3,3,4]],[52,[3,3,4]],
     [64,[3,3,4]],[76,[3,3,4]],[88,[3,3,4]],[100,[3,3,4]],[112,[3,3,4]]] 
  ],
 [305,[[8,[3,3,4]],[20,[3,3,4]],[32,[3,3,4]],[44,[3,3,4]],[56,[3,3,4]],
     [68,[3,3,4]],[80,[3,3,4]],[92,[3,3,4]],[104,[3,3,4]],[116,[3,3,4]]] 
  ],
 [309,[[0,[3,3,4]],[12,[3,3,4]],[24,[3,3,4]],[36,[3,3,4]],[48,[3,3,4]],
     [60,[3,3,4]],[72,[3,3,4]],[84,[3,3,4]],[96,[3,3,4]],[108,[3,3,4]]]]
  ,
 [310,[[0,[3,3,4]],[12,[3,3,4]],[24,[3,3,4]],[36,[3,3,4]],[48,[3,3,4]],
     [60,[3,3,4]],[72,[3,3,4]],[84,[3,3,4]],[96,[3,3,4]],[108,[3,3,4]]]]
  ,[314,[[0,fail]]],[315,[[4,fail]]],[316,[[4,fail]]],[317,[[0,fail]]],
 [318,[[8,fail]]],[319,[[4,fail]]],[320,[[0,fail]]],[321,[[8,fail]]],
 [322,[[8,fail]]],[323,[[8,fail]]],[324,[[4,fail]]],[325,[[0,fail]]],
 [354,[[8,[3,3,4]],[20,[3,3,4]],[32,[3,3,4]],[44,[3,3,4]],[56,[3,3,4]],
     [68,[3,3,4]],[80,[3,3,4]],[92,[3,3,4]],[104,[3,3,4]],[116,[3,3,4]]] 
  ],
 [356,[[4,[2,2,3]],[16,[2,2,3]],[28,[2,2,3]],[40,[2,2,3]],[52,[2,2,3]],
     [64,[2,2,3]],[76,[2,2,3]],[88,[2,2,3]],[100,[2,2,3]],[112,[2,2,3]]] 
  ],
 [357,[[4,[3,3,4]],[16,[3,3,4]],[28,[3,3,4]],[40,[3,3,4]],[52,[3,3,4]],
     [64,[3,3,4]],[76,[3,3,4]],[88,[3,3,4]],[100,[3,3,4]],[112,[3,3,4]]] 
  ],
 [367,[[8,[2,2,3]],[20,[2,2,3]],[32,[2,2,3]],[44,[2,2,3]],[56,[2,2,3]],
     [68,[2,2,3]],[80,[2,2,3]],[92,[2,2,3]],[104,[2,2,3]],[116,[2,2,3]]] 
  ],
 [371,[[0,[2,2,3]],[12,[2,2,3]],[24,[2,2,3]],[36,[2,2,3]],[48,[2,2,3]],
     [60,[2,2,3]],[72,[2,2,3]],[84,[2,2,3]],[96,[2,2,3]],[108,[2,2,3]]]]
  ,
 [372,[[0,[3,3,4]],[12,[3,3,4]],[24,[3,3,4]],[36,[3,3,4]],[48,[3,3,4]],
     [60,[3,3,4]],[72,[3,3,4]],[84,[3,3,4]],[96,[3,3,4]],[108,[3,3,4]]]]
  ,[376,[[0,fail]]],[377,[[4,fail]]],[378,[[4,fail]]],[379,[[0,fail]]],
 [380,[[8,fail]]],[381,[[4,fail]]],[382,[[0,fail]]],[383,[[8,fail]]],
 [384,[[8,fail]]],[385,[[8,fail]]],[386,[[4,fail]]],[387,[[0,fail]]],
 [388,[[0,[1]],[4,[1]],[8,[1]],[12,[1]],[16,[1]],[20,[1]],[24,[1]],
     [28,[1]],[32,[1]],[36,[1]]]],
 [393,[[0,[2]],[4,[2]],[8,[2]],[12,[2]],[16,[2]],[20,[2]],[24,[2]],
     [28,[2]],[32,[2]],[36,[2]]]],
 [404,[[0,[1]],[4,[1]],[8,[1]],[12,[1]],[16,[1]],[20,[1]],[24,[1]],
     [28,[1]],[32,[1]],[36,[1]]]],
 [407,[[0,[1]],[4,[1]],[8,[1]],[12,[1]],[16,[1]],[20,[1]],[24,[1]],
     [28,[1]],[32,[1]],[36,[1]]]],
 [422,[[0,[1]],[4,[1]],[8,[1]],[12,[1]],[16,[1]],[20,[1]],[24,[1]],
     [28,[1]],[32,[1]],[36,[1]]]],
 [450,[[2,[1]],[6,[1]],[10,[1]],[14,[1]],[18,[1]],[22,[1]],[26,[1]],
     [30,[1]],[34,[1]],[38,[1]]]],
 [452,[[2,[1]],[6,[1]],[10,[1]],[14,[1]],[18,[1]],[22,[1]],[26,[1]],
     [30,[1]],[34,[1]],[38,[1]]]],
 [453,[[0,[1]],[4,[1]],[8,[1]],[12,[1]],[16,[1]],[20,[1]],[24,[1]],
     [28,[1]],[32,[1]],[36,[1]]]],
 [470,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [471,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [479,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [480,[[0,[1]],[4,[1]],[6,[1]],[10,[1]],[12,[1]],[16,[1]],[18,[1]],
     [22,[1]],[24,[1]],[28,[1]]]],
 [481,[[0,[1]],[2,[1]],[6,[1]],[8,[1]],[12,[1]],[14,[1]],[18,[1]],
     [20,[1]],[24,[1]],[26,[1]]]],
 [484,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [486,[[2,[1]],[4,[1]],[8,[1]],[10,[1]],[14,[1]],[16,[1]],[20,[1]],
     [22,[1]],[26,[1]],[28,[1]]]],
 [490,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [491,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [494,[[2,[1]],[4,[1]],[8,[1]],[10,[1]],[14,[1]],[16,[1]],[20,[1]],
     [22,[1]],[26,[1]],[28,[1]]]],
 [495,[[0,[1]],[4,[1]],[6,[1]],[10,[1]],[12,[1]],[16,[1]],[18,[1]],
     [22,[1]],[24,[1]],[28,[1]]]],
 [496,[[0,[1]],[2,[1]],[6,[1]],[8,[1]],[12,[1]],[14,[1]],[18,[1]],
     [20,[1]],[24,[1]],[26,[1]]]],
 [534,[[8,[2,2,3]],[20,[2,2,3]],[32,[2,2,3]],[44,[2,2,3]],[56,[2,2,3]],
     [68,[2,2,3]],[80,[2,2,3]],[92,[2,2,3]],[104,[2,2,3]],[116,[2,2,3]]] 
  ],
 [536,[[4,[3,3,4]],[16,[3,3,4]],[28,[3,3,4]],[40,[3,3,4]],[52,[3,3,4]],
     [64,[3,3,4]],[76,[3,3,4]],[88,[3,3,4]],[100,[3,3,4]],[112,[3,3,4]]] 
  ],
 [537,[[4,[2,2,3]],[16,[2,2,3]],[28,[2,2,3]],[40,[2,2,3]],[52,[2,2,3]],
     [64,[2,2,3]],[76,[2,2,3]],[88,[2,2,3]],[100,[2,2,3]],[112,[2,2,3]]] 
  ],
 [547,[[8,[3,3,4]],[20,[3,3,4]],[32,[3,3,4]],[44,[3,3,4]],[56,[3,3,4]],
     [68,[3,3,4]],[80,[3,3,4]],[92,[3,3,4]],[104,[3,3,4]],[116,[3,3,4]]] 
  ],
 [551,[[0,[3,3,4]],[12,[3,3,4]],[24,[3,3,4]],[36,[3,3,4]],[48,[3,3,4]],
     [60,[3,3,4]],[72,[3,3,4]],[84,[3,3,4]],[96,[3,3,4]],[108,[3,3,4]]]]
  ,
 [552,[[0,[2,2,3]],[12,[2,2,3]],[24,[2,2,3]],[36,[2,2,3]],[48,[2,2,3]],
     [60,[2,2,3]],[72,[2,2,3]],[84,[2,2,3]],[96,[2,2,3]],[108,[2,2,3]]]]
  ,[556,[[0,fail]]],[557,[[4,fail]]],[558,[[4,fail]]],[559,[[0,fail]]],
 [560,[[8,fail]]],[561,[[4,fail]]],[562,[[0,fail]]],[563,[[8,fail]]],
 [564,[[8,fail]]],[565,[[8,fail]]],[566,[[4,fail]]],[567,[[0,fail]]],
 [569,[[2,[2]],[6,[2]],[10,[2]],[14,[2]],[18,[2]],[22,[2]],[26,[2]],
     [30,[2]],[34,[2]],[38,[2]]]],
 [581,[[2,[1]],[6,[1]],[10,[1]],[14,[1]],[18,[1]],[22,[1]],[26,[1]],
     [30,[1]],[34,[1]],[38,[1]]]],
 [584,[[2,[1]],[6,[1]],[10,[1]],[14,[1]],[18,[1]],[22,[1]],[26,[1]],
     [30,[1]],[34,[1]],[38,[1]]]],
 [599,[[2,[1]],[6,[1]],[10,[1]],[14,[1]],[18,[1]],[22,[1]],[26,[1]],
     [30,[1]],[34,[1]],[38,[1]]]],
 [649,[[8,[2,2,3]],[20,[2,2,3]],[32,[2,2,3]],[44,[2,2,3]],[56,[2,2,3]],
     [68,[2,2,3]],[80,[2,2,3]],[92,[2,2,3]],[104,[2,2,3]],[116,[2,2,3]]] 
  ],
 [651,[[4,[2,2,3]],[16,[2,2,3]],[28,[2,2,3]],[40,[2,2,3]],[52,[2,2,3]],
     [64,[2,2,3]],[76,[2,2,3]],[88,[2,2,3]],[100,[2,2,3]],[112,[2,2,3]]] 
  ],
 [652,[[4,[2,2,3]],[16,[2,2,3]],[28,[2,2,3]],[40,[2,2,3]],[52,[2,2,3]],
     [64,[2,2,3]],[76,[2,2,3]],[88,[2,2,3]],[100,[2,2,3]],[112,[2,2,3]]] 
  ],
 [662,[[8,[2,2,3]],[20,[2,2,3]],[32,[2,2,3]],[44,[2,2,3]],[56,[2,2,3]],
     [68,[2,2,3]],[80,[2,2,3]],[92,[2,2,3]],[104,[2,2,3]],[116,[2,2,3]]] 
  ],
 [666,[[0,[2,2,3]],[12,[2,2,3]],[24,[2,2,3]],[36,[2,2,3]],[48,[2,2,3]],
     [60,[2,2,3]],[72,[2,2,3]],[84,[2,2,3]],[96,[2,2,3]],[108,[2,2,3]]]]
  ,
 [667,[[0,[2,2,3]],[12,[2,2,3]],[24,[2,2,3]],[36,[2,2,3]],[48,[2,2,3]],
     [60,[2,2,3]],[72,[2,2,3]],[84,[2,2,3]],[96,[2,2,3]],[108,[2,2,3]]]]
  ,[671,[[0,fail]]],[672,[[4,fail]]],[673,[[4,fail]]],[674,[[0,fail]]],
 [675,[[8,fail]]],[676,[[4,fail]]],[677,[[0,fail]]],[678,[[8,fail]]],
 [679,[[8,fail]]],[680,[[8,fail]]],[681,[[4,fail]]],[682,[[0,fail]]],
 [694,[[2,[1]],[6,[1]],[10,[1]],[14,[1]],[18,[1]],[22,[1]],[26,[1]],
     [30,[1]],[34,[1]],[38,[1]]]],
 [697,[[2,[1]],[6,[1]],[10,[1]],[14,[1]],[18,[1]],[22,[1]],[26,[1]],
     [30,[1]],[34,[1]],[38,[1]]]],
 [712,[[2,[1]],[6,[1]],[10,[1]],[14,[1]],[18,[1]],[22,[1]],[26,[1]],
     [30,[1]],[34,[1]],[38,[1]]]],
 [749,[[0,[1]],[4,[1]],[8,[1]],[12,[1]],[16,[1]],[20,[1]],[24,[1]],
     [28,[1]],[32,[1]],[36,[1]]]],
 [752,[[0,[1]],[4,[1]],[8,[1]],[12,[1]],[16,[1]],[20,[1]],[24,[1]],
     [28,[1]],[32,[1]],[36,[1]]]],
 [767,[[0,[1]],[4,[1]],[8,[1]],[12,[1]],[16,[1]],[20,[1]],[24,[1]],
     [28,[1]],[32,[1]],[36,[1]]]],
 [814,[[8,[1,1,2,2,2]],[28,[1,1,2,2,2]],[38,[1,1,2,2,2]],[58,[1,1,2,2,2]],
     [68,[1,1,2,2,2]],[88,[1,1,2,2,2]],[98,[1,1,2,2,2]],[118,[1,1,2,2,2]],
     [128,[1,1,2,2,2]],[148,[1,1,2,2,2]]]],
 [827,[[8,[1,1,2,2,2]],[28,[1,1,2,2,2]],[38,[1,1,2,2,2]],[58,[1,1,2,2,2]],
     [68,[1,1,2,2,2]],[88,[1,1,2,2,2]],[98,[1,1,2,2,2]],[118,[1,1,2,2,2]],
     [128,[1,1,2,2,2]],[148,[1,1,2,2,2]]]],
 [831,[[8,[1,1,2]],[38,[1,1,2]],[68,[1,1,2]],[98,[1,1,2]],[128,[1,1,2]],
     [158,[1,1,2]],[188,[1,1,2]],[218,[1,1,2]],[248,[1,1,2]]]],
 [832,[[8,[2]],[38,[2]],[68,[2]],[98,[2]],[128,[2]],[158,[2]],[188,[2]],
     [218,[2]],[248,[2]]]],[836,[[12,fail]]],[839,[[12,fail]]],
 [869,[[12,[1,1,2]],[42,[1,1,2]],[72,[1,1,2]],[102,[1,1,2]],[132,[1,1,2]],
     [162,[1,1,2]],[192,[1,1,2]],[222,[1,1,2]],[252,[1,1,2]]]],
 [870,[[12,[2]],[42,[2]],[72,[2]],[102,[2]],[132,[2]],[162,[2]],
     [192,[2]],[222,[2]],[252,[2]]]],
 [884,[[12,[2]],[42,[2]],[72,[2]],[102,[2]],[132,[2]],[162,[2]],
     [192,[2]],[222,[2]],[252,[2]]]],
 [885,[[12,[1,1,2]],[42,[1,1,2]],[72,[1,1,2]],[102,[1,1,2]],[132,[1,1,2]],
     [162,[1,1,2]],[192,[1,1,2]],[222,[1,1,2]],[252,[1,1,2]]]],
 [890,[[16,fail]]],[891,[[16,fail]]],[895,[[6,fail]]],[900,[[6,fail]]],
 [919,[[0,[1,1,1,1,1,1,2]],[20,[1,1,1,1,1,1,2]],[26,[1,1,1,1,1,1,2]],
     [32,[1,1,1,1,1,1,2]],[50,[1,1,1,1,1,1,2]],[56,[1,1,1,1,1,1,2]],
     [62,[1,1,1,1,1,1,2]],[80,[1,1,1,1,1,1,2]],[86,[1,1,1,1,1,1,2]],
     [92,[1,1,1,1,1,1,2]]]],
 [921,[[0,[1]],[16,[2]],[22,[1]],[30,[1]],[46,[2]],[52,[1]],[60,[1]],
     [76,[2]],[82,[1]],[90,[1]]]],
 [922,[[0,[1,1,2]],[16,[2,3,3]],[22,[1,1,2]],[30,[1,1,2]],[46,[2,3,3]],
     [52,[1,1,2]],[60,[1,1,2]],[76,[2,3,3]],[82,[1,1,2]],[90,[1,1,2]]]],
 [932,[[0,[1,1,2,2,2]],[20,[1,1,2,2,2]],[26,[1,1,2,2,2]],[32,[1,1,2,2,2]],
     [50,[1,1,2,2,2]],[56,[1,1,2,2,2]],[62,[1,1,2,2,2]],[80,[1,1,2,2,2]],
     [86,[1,1,2,2,2]],[92,[1,1,2,2,2]]]],
 [936,[[6,[2]],[12,[1,1,2]],[36,[2]],[42,[1,1,2]],[66,[2]],[72,[1,1,2]],
     [96,[2]],[102,[1,1,2]],[126,[2]],[132,[1,1,2]]]],
 [937,[[6,[1,1,2]],[12,[2]],[36,[1,1,2]],[42,[2]],[66,[1,1,2]],[72,[2]],
     [96,[1,1,2]],[102,[2]],[126,[1,1,2]],[132,[2]]]],[941,[[12,fail]]],
 [942,[[16,fail]]],[943,[[16,fail]]],[944,[[12,fail]]],[947,[[6,fail]]],
 [948,[[2,fail]]],[950,[[2,fail]]],[952,[[6,fail]]],
 [970,[[16,[2]],[46,[2]],[76,[2]],[106,[2]],[136,[2]],[166,[2]],
     [196,[2]],[226,[2]]]],
 [972,[[16,[2]],[46,[2]],[76,[2]],[106,[2]],[136,[2]],[166,[2]],
     [196,[2]],[226,[2]]]],
 [973,[[16,[1,1,2]],[46,[1,1,2]],[76,[1,1,2]],[106,[1,1,2]],[136,[1,1,2]],
     [166,[1,1,2]],[196,[1,1,2]],[226,[1,1,2]]]],
 [983,[[16,[1,1,2]],[46,[1,1,2]],[76,[1,1,2]],[106,[1,1,2]],[136,[1,1,2]],
     [166,[1,1,2]],[196,[1,1,2]],[226,[1,1,2]]]],[996,[[20,fail]]],
 [997,[[10,fail]]],[1000,[[20,fail]]],[1002,[[10,fail]]],
 [1020,[[4,[1,1,2]],[20,[2,3,3]],[26,[1,1,2]],[34,[1,1,2]],[50,[2,3,3]],
     [56,[1,1,2]],[64,[1,1,2]],[80,[2,3,3]],[86,[1,1,2]],[94,[1,1,2]]]],
 [1022,[[10,[2]],[16,[1,1,2]],[40,[2]],[46,[1,1,2]],[70,[2]],
     [76,[1,1,2]],[100,[2]],[106,[1,1,2]],[130,[2]],[136,[1,1,2]]]],
 [1023,[[10,[1,1,2]],[16,[2]],[40,[1,1,2]],[46,[2]],[70,[1,1,2]],
     [76,[2]],[100,[1,1,2]],[106,[2]],[130,[1,1,2]],[136,[2]]]],
 [1033,[[4,[1]],[20,[2]],[26,[1]],[34,[1]],[50,[2]],[56,[1]],[64,[1]],
     [80,[2]],[86,[1]],[94,[1]]]],
 [1037,[[0,[1,1,2]],[6,[2,3,3]],[24,[1,1,2]],[30,[1,1,2]],[36,[2,3,3]],
     [54,[1,1,2]],[60,[1,1,2]],[66,[2,3,3]],[84,[1,1,2]],[90,[1,1,2]]]],
 [1038,[[0,[1]],[6,[2]],[24,[1]],[30,[1]],[36,[2]],[54,[1]],[60,[1]],
     [66,[2]],[84,[1]],[90,[1]]]],[1043,[[16,fail]]],[1044,[[16,fail]]],
 [1046,[[20,fail]]],[1047,[[10,fail]]],[1048,[[6,fail]]],[1050,[[20,fail]]],
 [1052,[[10,fail]]],[1053,[[6,fail]]],
 [1071,[[0,[1]],[12,[1,1,2]],[16,[1]],[22,[1]],[30,[1]],[42,[1,1,2]],
     [46,[1]],[52,[1]],[60,[1]],[72,[1,1,2]]]],
 [1072,[[0,[1,1,2]],[12,[1]],[16,[1,1,2]],[22,[1,1,2]],[30,[1,1,2]],
     [42,[1]],[46,[1,1,2]],[52,[1,1,2]],[60,[1,1,2]],[72,[1]]]],
 [1086,[[2,[1,1,2]],[6,[1,1,2]],[12,[1]],[20,[1,1,2]],[32,[1,1,2]],
     [36,[1,1,2]],[42,[1]],[50,[1,1,2]],[62,[1,1,2]],[66,[1,1,2]]]],
 [1087,[[2,[1]],[6,[1]],[12,[1,1,2]],[20,[1]],[32,[1]],[36,[1]],
     [42,[1,1,2]],[50,[1]],[62,[1]],[66,[1]]]],[1092,[[16,fail]]],
 [1093,[[16,fail]]],[1097,[[6,fail]]],[1102,[[6,fail]]],
 [1117,[[20,[1,1,2]],[50,[1,1,2]],[80,[1,1,2]],[110,[1,1,2]],[140,[1,1,2]],
     [170,[1,1,2]],[200,[1,1,2]],[230,[1,1,2]]]],
 [1130,[[20,[2]],[50,[2]],[80,[2]],[110,[2]],[140,[2]],[170,[2]],
     [200,[2]],[230,[2]]]],
 [1134,[[0,[1,1,2,2,2]],[20,[1,1,2,2,2]],[30,[1,1,2,2,2]],[50,[1,1,2,2,2]],
     [60,[1,1,2,2,2]],[80,[1,1,2,2,2]],[90,[1,1,2,2,2]],[110,[1,1,2,2,2]],
     [120,[1,1,2,2,2]],[140,[1,1,2,2,2]]]],
 [1135,[[0,[1,1,2,2,2]],[20,[1,1,2,2,2]],[30,[1,1,2,2,2]],[50,[1,1,2,2,2]],
     [60,[1,1,2,2,2]],[80,[1,1,2,2,2]],[90,[1,1,2,2,2]],[110,[1,1,2,2,2]],
     [120,[1,1,2,2,2]],[140,[1,1,2,2,2]]]],[1146,[[14,fail]]],
 [1148,[[14,fail]]],
 [1164,[[14,[1,1,2]],[20,[2]],[44,[1,1,2]],[50,[2]],[74,[1,1,2]],
     [80,[2]],[104,[1,1,2]],[110,[2]],[134,[1,1,2]],[140,[2]]]],
 [1166,[[4,[1,1,2]],[10,[2,3,3]],[28,[1,1,2]],[34,[1,1,2]],[40,[2,3,3]],
     [58,[1,1,2]],[64,[1,1,2]],[70,[2,3,3]],[88,[1,1,2]],[94,[1,1,2]]]],
 [1167,[[4,[1]],[10,[2]],[28,[1]],[34,[1]],[40,[2]],[58,[1]],[64,[1]],
     [70,[2]],[88,[1]],[94,[1]]]],
 [1177,[[14,[2]],[20,[1,1,2]],[44,[2]],[50,[1,1,2]],[74,[2]],
     [80,[1,1,2]],[104,[2]],[110,[1,1,2]],[134,[2]],[140,[1,1,2]]]],
 [1181,[[0,[1,1,1,1,1,1,2]],[8,[1,1,1,1,1,1,2]],[24,[1,1,1,1,1,1,2]],
     [30,[1,1,1,1,1,1,2]],[38,[1,1,1,1,1,1,2]],[54,[1,1,1,1,1,1,2]],
     [60,[1,1,1,1,1,1,2]],[68,[1,1,1,1,1,1,2]],[84,[1,1,1,1,1,1,2]],
     [90,[1,1,1,1,1,1,2]]]],
 [1182,[[0,[1,1,2,2,2]],[8,[1,1,2,2,2]],[24,[1,1,2,2,2]],[30,[1,1,2,2,2]],
     [38,[1,1,2,2,2]],[54,[1,1,2,2,2]],[60,[1,1,2,2,2]],[68,[1,1,2,2,2]],
     [84,[1,1,2,2,2]],[90,[1,1,2,2,2]]]],[1186,[[0,fail]]],
 [1189,[[0,fail]]],[1190,[[20,fail]]],[1191,[[10,fail]]],[1193,[[14,fail]]],
 [1194,[[20,fail]]],[1195,[[14,fail]]],[1196,[[10,fail]]],
 [1210,[[4,[1,1,2]],[16,[1]],[20,[1,1,2]],[26,[1,1,2]],[34,[1,1,2]],
     [46,[1]],[50,[1,1,2]],[56,[1,1,2]],[64,[1,1,2]],[76,[1]]]],
 [1212,[[6,[1,1,2]],[10,[1,1,2]],[16,[1]],[24,[1,1,2]],[36,[1,1,2]],
     [40,[1,1,2]],[46,[1]],[54,[1,1,2]],[66,[1,1,2]],[70,[1,1,2]]]],
 [1213,[[6,[1]],[10,[1]],[16,[1,1,2]],[24,[1]],[36,[1]],[40,[1]],
     [46,[1,1,2]],[54,[1]],[66,[1]],[70,[1]]]],
 [1223,[[4,[1]],[16,[1,1,2]],[20,[1]],[26,[1]],[34,[1]],[46,[1,1,2]],
     [50,[1]],[56,[1]],[64,[1]],[76,[1,1,2]]]],[1236,[[20,fail]]],
 [1237,[[10,fail]]],[1240,[[20,fail]]],[1242,[[10,fail]]],
 [1257,[[6,[4,5,5]],[22,[4,5,5]],[36,[4,5,5]],[52,[4,5,5]],[66,[4,5,5]],
     [82,[4,5,5]],[96,[4,5,5]],[112,[4,5,5]],[126,[4,5,5]],[142,[4,5,5]] 
    ]],
 [1258,[[6,[4,5,5]],[22,[4,5,5]],[36,[4,5,5]],[52,[4,5,5]],[66,[4,5,5]],
     [82,[4,5,5]],[96,[4,5,5]],[112,[4,5,5]],[126,[4,5,5]],[142,[4,5,5]] 
    ]],
 [1294,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [1295,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [1303,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1304,[[0,[1]],[4,[1]],[6,[1]],[10,[1]],[12,[1]],[16,[1]],[18,[1]],
     [22,[1]],[24,[1]],[28,[1]]]],
 [1305,[[0,[1]],[2,[1]],[6,[1]],[8,[1]],[12,[1]],[14,[1]],[18,[1]],
     [20,[1]],[24,[1]],[26,[1]]]],
 [1308,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [1310,[[2,[1]],[4,[1]],[8,[1]],[10,[1]],[14,[1]],[16,[1]],[20,[1]],
     [22,[1]],[26,[1]],[28,[1]]]],
 [1314,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [1315,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1318,[[2,[1]],[4,[1]],[8,[1]],[10,[1]],[14,[1]],[16,[1]],[20,[1]],
     [22,[1]],[26,[1]],[28,[1]]]],
 [1319,[[0,[1]],[4,[1]],[6,[1]],[10,[1]],[12,[1]],[16,[1]],[18,[1]],
     [22,[1]],[24,[1]],[28,[1]]]],
 [1320,[[0,[1]],[2,[1]],[6,[1]],[8,[1]],[12,[1]],[14,[1]],[18,[1]],
     [20,[1]],[24,[1]],[26,[1]]]],
 [1344,[[0,[1,1,2]],[6,[1,1,2]],[12,[1,1,2]],[18,[1,1,2]],[24,[1,1,2]],
     [30,[1,1,2]],[36,[1,1,2]],[42,[1,1,2]],[48,[1,1,2]],[54,[1,1,2]]]],
 [1345,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1346,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1351,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [1353,[[2,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [1357,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [1358,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1359,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1360,[[0,[1,1,2]],[6,[1,1,2]],[12,[1,1,2]],[18,[1,1,2]],[24,[1,1,2]],
     [30,[1,1,2]],[36,[1,1,2]],[42,[1,1,2]],[48,[1,1,2]],[54,[1,1,2]]]],
 [1361,[[2,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [1364,[[6,[2]],[18,[2]],[30,[2]],[42,[2]],[54,[2]],[66,[2]],[78,[2]],
     [90,[2]],[102,[2]],[114,[2]]]],[1365,[[6,fail]]],
 [1366,[[6,[2]],[18,[2]],[30,[2]],[42,[2]],[54,[2]],[66,[2]],[78,[2]],
     [90,[2]],[102,[2]],[114,[2]]]],[1367,[[6,fail]]],[1369,[[0,fail]]],
 [1370,[[0,[2]],[12,[2]],[24,[2]],[36,[2]],[48,[2]],[60,[2]],[72,[2]],
     [84,[2]],[96,[2]],[108,[2]]]],
 [1374,[[0,[2]],[12,[2]],[24,[2]],[36,[2]],[48,[2]],[60,[2]],[72,[2]],
     [84,[2]],[96,[2]],[108,[2]]]],[1375,[[0,fail]]],
 [1386,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1387,[[0,[1,1,2]],[6,[1,1,2]],[12,[1,1,2]],[18,[1,1,2]],[24,[1,1,2]],
     [30,[1,1,2]],[36,[1,1,2]],[42,[1,1,2]],[48,[1,1,2]],[54,[1,1,2]]]],
 [1388,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1393,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [1395,[[2,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [1399,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [1400,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1401,[[0,[1,1,2]],[6,[1,1,2]],[12,[1,1,2]],[18,[1,1,2]],[24,[1,1,2]],
     [30,[1,1,2]],[36,[1,1,2]],[42,[1,1,2]],[48,[1,1,2]],[54,[1,1,2]]]],
 [1402,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1403,[[2,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],[1406,[[6,fail]]],[1407,[[6,fail]]],
 [1408,[[6,fail]]],[1409,[[6,fail]]],[1411,[[0,fail]]],[1412,[[0,fail]]],
 [1416,[[0,fail]]],[1417,[[0,fail]]],
 [1420,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [1421,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [1429,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1430,[[0,[1]],[4,[1]],[6,[1]],[10,[1]],[12,[1]],[16,[1]],[18,[1]],
     [22,[1]],[24,[1]],[28,[1]]]],
 [1431,[[0,[1]],[2,[1]],[6,[1]],[8,[1]],[12,[1]],[14,[1]],[18,[1]],
     [20,[1]],[24,[1]],[26,[1]]]],
 [1434,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [1436,[[2,[1]],[4,[1]],[8,[1]],[10,[1]],[14,[1]],[16,[1]],[20,[1]],
     [22,[1]],[26,[1]],[28,[1]]]],
 [1440,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [1441,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1444,[[2,[1]],[4,[1]],[8,[1]],[10,[1]],[14,[1]],[16,[1]],[20,[1]],
     [22,[1]],[26,[1]],[28,[1]]]],
 [1445,[[0,[1]],[4,[1]],[6,[1]],[10,[1]],[12,[1]],[16,[1]],[18,[1]],
     [22,[1]],[24,[1]],[28,[1]]]],
 [1446,[[0,[1]],[2,[1]],[6,[1]],[8,[1]],[12,[1]],[14,[1]],[18,[1]],
     [20,[1]],[24,[1]],[26,[1]]]],
 [1467,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1468,[[0,[1,1,2]],[6,[1,1,2]],[12,[1,1,2]],[18,[1,1,2]],[24,[1,1,2]],
     [30,[1,1,2]],[36,[1,1,2]],[42,[1,1,2]],[48,[1,1,2]],[54,[1,1,2]]]],
 [1469,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1474,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [1476,[[2,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [1480,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [1481,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1482,[[0,[1,1,2]],[6,[1,1,2]],[12,[1,1,2]],[18,[1,1,2]],[24,[1,1,2]],
     [30,[1,1,2]],[36,[1,1,2]],[42,[1,1,2]],[48,[1,1,2]],[54,[1,1,2]]]],
 [1483,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1484,[[2,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],[1487,[[6,fail]]],[1488,[[6,fail]]],
 [1489,[[6,fail]]],[1490,[[6,fail]]],[1492,[[0,fail]]],[1493,[[0,fail]]],
 [1497,[[0,fail]]],[1498,[[0,fail]]],
 [1506,[[0,[1,1,2]],[6,[1,1,2]],[12,[1,1,2]],[18,[1,1,2]],[24,[1,1,2]],
     [30,[1,1,2]],[36,[1,1,2]],[42,[1,1,2]],[48,[1,1,2]],[54,[1,1,2]]]],
 [1507,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1508,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1513,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [1515,[[2,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [1519,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [1520,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1521,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1522,[[0,[1,1,2]],[6,[1,1,2]],[12,[1,1,2]],[18,[1,1,2]],[24,[1,1,2]],
     [30,[1,1,2]],[36,[1,1,2]],[42,[1,1,2]],[48,[1,1,2]],[54,[1,1,2]]]],
 [1523,[[2,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],[1526,[[6,fail]]],
 [1527,[[6,[2]],[18,[2]],[30,[2]],[42,[2]],[54,[2]],[66,[2]],[78,[2]],
     [90,[2]],[102,[2]],[114,[2]]]],[1528,[[6,fail]]],
 [1529,[[6,[2]],[18,[2]],[30,[2]],[42,[2]],[54,[2]],[66,[2]],[78,[2]],
     [90,[2]],[102,[2]],[114,[2]]]],
 [1531,[[0,[2]],[12,[2]],[24,[2]],[36,[2]],[48,[2]],[60,[2]],[72,[2]],
     [84,[2]],[96,[2]],[108,[2]]]],[1532,[[0,fail]]],[1536,[[0,fail]]],
 [1537,[[0,[2]],[12,[2]],[24,[2]],[36,[2]],[48,[2]],[60,[2]],[72,[2]],
     [84,[2]],[96,[2]],[108,[2]]]],
 [1539,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1540,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1541,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1542,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1543,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1544,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1545,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1549,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [1550,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1551,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1552,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1554,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1555,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1556,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1568,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1571,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [1572,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1573,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [1576,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1577,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1578,[[0,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [1579,[[0,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [1580,[[0,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [1583,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1586,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [1587,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1589,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1591,[[0,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [1592,[[0,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [1593,[[0,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [1594,[[2,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [1605,[[0,[3]],[8,[3]],[14,[3]],[20,[3]],[26,[3]],[32,[3]],[38,[3]],
     [44,[3]],[50,[3]],[56,[3]]]],
 [1608,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [1609,[[0,[3]],[8,[3]],[14,[3]],[20,[3]],[26,[3]],[32,[3]],[38,[3]],
     [44,[3]],[50,[3]],[56,[3]]]],
 [1610,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [1615,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1617,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1618,[[4,[1,1,2]],[10,[1,1,2]],[16,[1,1,2]],[22,[1,1,2]],[28,[1,1,2]],
     [34,[1,1,2]],[40,[1,1,2]],[46,[1,1,2]],[52,[1,1,2]],[58,[1,1,2]]]],
 [1619,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1621,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1624,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1628,[[4,[1,1,2]],[10,[1,1,2]],[16,[1,1,2]],[22,[1,1,2]],[28,[1,1,2]],
     [34,[1,1,2]],[40,[1,1,2]],[46,[1,1,2]],[52,[1,1,2]],[58,[1,1,2]]]],
 [1636,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1638,[[10,[2]],[22,[2]],[34,[2]],[46,[2]],[58,[2]],[70,[2]],[82,[2]],
     [94,[2]],[106,[2]],[118,[2]]]],[1639,[[10,fail]]],
 [1641,[[10,[2]],[22,[2]],[34,[2]],[46,[2]],[58,[2]],[70,[2]],[82,[2]],
     [94,[2]],[106,[2]],[118,[2]]]],
 [1642,[[4,[2]],[16,[2]],[28,[2]],[40,[2]],[52,[2]],[64,[2]],[76,[2]],
     [88,[2]],[100,[2]],[112,[2]]]],[1644,[[4,fail]]],[1645,[[10,fail]]],
 [1646,[[4,[2]],[16,[2]],[28,[2]],[40,[2]],[52,[2]],[64,[2]],[76,[2]],
     [88,[2]],[100,[2]],[112,[2]]]],[1647,[[4,fail]]],
 [1650,[[4,[1,1,2]],[10,[1,1,2]],[16,[1,1,2]],[22,[1,1,2]],[28,[1,1,2]],
     [34,[1,1,2]],[40,[1,1,2]],[46,[1,1,2]],[52,[1,1,2]],[58,[1,1,2]]]],
 [1652,[[4,[1,1,2]],[10,[1,1,2]],[16,[1,1,2]],[22,[1,1,2]],[28,[1,1,2]],
     [34,[1,1,2]],[40,[1,1,2]],[46,[1,1,2]],[52,[1,1,2]],[58,[1,1,2]]]],
 [1653,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1654,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1656,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1659,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1663,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [1671,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],[1673,[[10,fail]]],[1674,[[10,fail]]],
 [1676,[[10,fail]]],[1677,[[4,fail]]],[1679,[[4,fail]]],[1680,[[10,fail]]],
 [1681,[[4,fail]]],[1682,[[4,fail]]],
 [1684,[[0,[1,1,2]],[8,[1,1,2]],[14,[1,1,2]],[20,[1,1,2]],[26,[1,1,2]],
     [32,[1,1,2]],[38,[1,1,2]],[44,[1,1,2]],[50,[1,1,2]],[56,[1,1,2]]]],
 [1689,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1697,[[0,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [1699,[[2,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [1700,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1701,[[2,[1,1,2]],[8,[1,1,2]],[14,[1,1,2]],[20,[1,1,2]],[26,[1,1,2]],
     [32,[1,1,2]],[38,[1,1,2]],[44,[1,1,2]],[50,[1,1,2]],[56,[1,1,2]]]],
 [1702,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [1704,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1706,[[14,[4]],[38,[4]],[62,[4]],[86,[4]],[110,[4]],[134,[4]],
     [158,[4]],[182,[4]],[206,[4]],[230,[4]]]],[1709,[[14,fail]]],
 [1710,[[14,[4]],[38,[4]],[62,[4]],[86,[4]],[110,[4]],[134,[4]],
     [158,[4]],[182,[4]],[206,[4]],[230,[4]]]],
 [1712,[[8,[4]],[32,[4]],[56,[4]],[80,[4]],[104,[4]],[128,[4]],
     [152,[4]],[176,[4]],[200,[4]],[224,[4]]]],[1713,[[8,fail]]],
 [1714,[[14,fail]]],
 [1715,[[8,[4]],[32,[4]],[56,[4]],[80,[4]],[104,[4]],[128,[4]],
     [152,[4]],[176,[4]],[200,[4]],[224,[4]]]],[1717,[[8,fail]]],
 [1718,[[0,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [1719,[[4,[4]],[10,[4]],[16,[4]],[22,[4]],[28,[4]],[34,[4]],[40,[4]],
     [46,[4]],[52,[4]],[58,[4]]]],
 [1720,[[4,[2,3,3]],[10,[2,3,3]],[16,[2,3,3]],[22,[2,3,3]],[28,[2,3,3]],
     [34,[2,3,3]],[40,[2,3,3]],[46,[2,3,3]],[52,[2,3,3]],[58,[2,3,3]]]],
 [1725,[[4,[1,1,2]],[10,[1,1,2]],[16,[1,1,2]],[22,[1,1,2]],[28,[1,1,2]],
     [34,[1,1,2]],[40,[1,1,2]],[46,[1,1,2]],[52,[1,1,2]],[58,[1,1,2]]]],
 [1726,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1727,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [1729,[[0,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [1731,[[0,[1,1,2]],[8,[1,1,2]],[14,[1,1,2]],[20,[1,1,2]],[26,[1,1,2]],
     [32,[1,1,2]],[38,[1,1,2]],[44,[1,1,2]],[50,[1,1,2]],[56,[1,1,2]]]],
 [1734,[[0,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [1735,[[0,[2,2,4]],[8,[2,3,3]],[14,[2,3,3]],[20,[2,3,3]],[26,[2,3,3]],
     [32,[2,3,3]],[38,[2,3,3]],[44,[2,3,3]],[50,[2,3,3]],[56,[2,3,3]]]],
 [1743,[[20,fail]]],[1746,[[26,fail]]],[1747,[[20,fail]]],[1748,[[26,fail]]],
 [1754,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1762,[[0,[1,1,2]],[8,[1,1,2]],[14,[1,1,2]],[20,[1,1,2]],[26,[1,1,2]],
     [32,[1,1,2]],[38,[1,1,2]],[44,[1,1,2]],[50,[1,1,2]],[56,[1,1,2]]]],
 [1764,[[2,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [1765,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1766,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [1767,[[2,[1,1,2]],[8,[1,1,2]],[14,[1,1,2]],[20,[1,1,2]],[26,[1,1,2]],
     [32,[1,1,2]],[38,[1,1,2]],[44,[1,1,2]],[50,[1,1,2]],[56,[1,1,2]]]],
 [1769,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],[1771,[[14,fail]]],[1774,[[14,fail]]],
 [1775,[[14,fail]]],[1777,[[8,fail]]],[1778,[[8,fail]]],[1779,[[14,fail]]],
 [1780,[[8,fail]]],[1782,[[8,fail]]],
 [1784,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1788,[[4,[1,1,2]],[10,[1,1,2]],[16,[1,1,2]],[22,[1,1,2]],[28,[1,1,2]],
     [34,[1,1,2]],[40,[1,1,2]],[46,[1,1,2]],[52,[1,1,2]],[58,[1,1,2]]]],
 [1789,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1790,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [1793,[[4,[2,2,4]],[10,[2,2,4]],[16,[2,2,4]],[22,[2,2,4]],[28,[2,2,4]],
     [34,[2,2,4]],[40,[2,2,4]],[46,[2,2,4]],[52,[2,2,4]],[58,[2,2,4]]]],
 [1796,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1797,[[0,[2,2,4]],[6,[2,2,4]],[12,[2,2,4]],[18,[2,2,4]],[24,[2,2,4]],
     [30,[2,2,4]],[36,[2,2,4]],[42,[2,2,4]],[48,[2,2,4]],[54,[2,2,4]]]],
 [1798,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],[1803,[[16,fail]]],[1804,[[16,fail]]],
 [1807,[[22,fail]]],[1812,[[22,fail]]],
 [1814,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1818,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [1819,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1820,[[4,[1,1,2]],[10,[1,1,2]],[16,[1,1,2]],[22,[1,1,2]],[28,[1,1,2]],
     [34,[1,1,2]],[40,[1,1,2]],[46,[1,1,2]],[52,[1,1,2]],[58,[1,1,2]]]],
 [1823,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1826,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1827,[[0,[4]],[6,[4]],[12,[4]],[18,[4]],[24,[4]],[30,[4]],[36,[4]],
     [42,[4]],[48,[4]],[54,[4]]]],
 [1828,[[0,[2,3,3]],[6,[2,3,3]],[12,[2,3,3]],[18,[2,3,3]],[24,[2,3,3]],
     [30,[2,3,3]],[36,[2,3,3]],[42,[2,3,3]],[48,[2,3,3]],[54,[2,3,3]]]],
 [1833,[[16,fail]]],[1834,[[16,fail]]],[1837,[[22,fail]]],[1842,[[22,fail]]],
 [1846,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1847,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1849,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1855,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1856,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1857,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1862,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1863,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1866,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1871,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1874,[[0,[1]],[4,[1]],[6,[1]],[10,[1]],[12,[1]],[16,[1]],[18,[1]],
     [22,[1]],[24,[1]],[28,[1]]]],
 [1879,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1881,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1887,[[0,[2]],[4,[2]],[6,[2]],[10,[2]],[12,[2]],[16,[2]],[18,[2]],
     [22,[2]],[24,[2]],[28,[2]]]],
 [1901,[[0,[1]],[2,[1]],[6,[1]],[8,[1]],[12,[1]],[14,[1]],[18,[1]],
     [20,[1]],[24,[1]],[26,[1]]]],
 [1902,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1904,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [1915,[[0,[2]],[2,[2]],[6,[2]],[8,[2]],[12,[2]],[14,[2]],[18,[2]],
     [20,[2]],[24,[2]],[26,[2]]]],
 [1929,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [1931,[[2,[1]],[4,[1]],[8,[1]],[10,[1]],[14,[1]],[16,[1]],[20,[1]],
     [22,[1]],[26,[1]],[28,[1]]]],
 [1935,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [1936,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [1939,[[2,[1]],[4,[1]],[8,[1]],[10,[1]],[14,[1]],[16,[1]],[20,[1]],
     [22,[1]],[26,[1]],[28,[1]]]],
 [1940,[[0,[1]],[4,[1]],[6,[1]],[10,[1]],[12,[1]],[16,[1]],[18,[1]],
     [22,[1]],[24,[1]],[28,[1]]]],
 [1941,[[0,[1]],[2,[1]],[6,[1]],[8,[1]],[12,[1]],[14,[1]],[18,[1]],
     [20,[1]],[24,[1]],[26,[1]]]],
 [1954,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1958,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1966,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],[1968,[[10,fail]]],[1969,[[10,fail]]],
 [1971,[[10,fail]]],[1972,[[4,fail]]],[1974,[[4,fail]]],[1975,[[10,fail]]],
 [1976,[[4,fail]]],[1977,[[4,fail]]],
 [1979,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1982,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [1984,[[2,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [1992,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [1993,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [1996,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [2001,[[4,[2]],[10,[2]],[16,[2]],[22,[2]],[28,[2]],[34,[2]],[40,[2]],
     [46,[2]],[52,[2]],[58,[2]]]],
 [2005,[[4,[1,1,2]],[10,[1,1,2]],[16,[1,1,2]],[22,[1,1,2]],[28,[1,1,2]],
     [34,[1,1,2]],[40,[1,1,2]],[46,[1,1,2]],[52,[1,1,2]],[58,[1,1,2]]]],
 [2013,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],[2015,[[10,fail]]],
 [2016,[[10,[2]],[22,[2]],[34,[2]],[46,[2]],[58,[2]],[70,[2]],[82,[2]],
     [94,[2]],[106,[2]],[118,[2]]]],[2018,[[10,fail]]],[2019,[[4,fail]]],
 [2021,[[4,[2]],[16,[2]],[28,[2]],[40,[2]],[52,[2]],[64,[2]],[76,[2]],
     [88,[2]],[100,[2]],[112,[2]]]],
 [2022,[[10,[2]],[22,[2]],[34,[2]],[46,[2]],[58,[2]],[70,[2]],[82,[2]],
     [94,[2]],[106,[2]],[118,[2]]]],[2023,[[4,fail]]],
 [2024,[[4,[2]],[16,[2]],[28,[2]],[40,[2]],[52,[2]],[64,[2]],[76,[2]],
     [88,[2]],[100,[2]],[112,[2]]]],
 [2033,[[2,[2]],[4,[2]],[8,[2]],[10,[2]],[14,[2]],[16,[2]],[20,[2]],
     [22,[2]],[26,[2]],[28,[2]]]],
 [2048,[[0,[1,1,2]],[8,[1,1,2]],[14,[1,1,2]],[20,[1,1,2]],[26,[1,1,2]],
     [32,[1,1,2]],[38,[1,1,2]],[44,[1,1,2]],[50,[1,1,2]],[56,[1,1,2]]]],
 [2050,[[2,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [2051,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [2052,[[2,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [2053,[[2,[1,1,2]],[8,[1,1,2]],[14,[1,1,2]],[20,[1,1,2]],[26,[1,1,2]],
     [32,[1,1,2]],[38,[1,1,2]],[44,[1,1,2]],[50,[1,1,2]],[56,[1,1,2]]]],
 [2055,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],[2057,[[14,fail]]],[2060,[[14,fail]]],
 [2061,[[14,fail]]],[2063,[[8,fail]]],[2064,[[8,fail]]],[2065,[[14,fail]]],
 [2066,[[8,fail]]],[2068,[[8,fail]]],
 [2069,[[0,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [2072,[[0,[2,3,3]],[8,[2,2,4]],[14,[2,2,4]],[20,[2,2,4]],[26,[2,2,4]],
     [32,[2,2,4]],[38,[2,2,4]],[44,[2,2,4]],[50,[2,2,4]],[56,[2,2,4]]]],
 [2073,[[0,[4]],[8,[4]],[14,[4]],[20,[4]],[26,[4]],[32,[4]],[38,[4]],
     [44,[4]],[50,[4]],[56,[4]]]],[2081,[[20,fail]]],[2084,[[26,fail]]],
 [2085,[[20,fail]]],[2086,[[26,fail]]],
 [2089,[[2,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [2090,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [2091,[[2,[1,1,2]],[8,[1,1,2]],[14,[1,1,2]],[20,[1,1,2]],[26,[1,1,2]],
     [32,[1,1,2]],[38,[1,1,2]],[44,[1,1,2]],[50,[1,1,2]],[56,[1,1,2]]]],
 [2092,[[2,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [2094,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],[2096,[[14,fail]]],
 [2099,[[14,[4]],[38,[4]],[62,[4]],[86,[4]],[110,[4]],[134,[4]],
     [158,[4]],[182,[4]],[206,[4]],[230,[4]]]],[2100,[[14,fail]]],
 [2102,[[8,fail]]],
 [2103,[[8,[4]],[32,[4]],[56,[4]],[80,[4]],[104,[4]],[128,[4]],
     [152,[4]],[176,[4]],[200,[4]],[224,[4]]]],
 [2104,[[14,[4]],[38,[4]],[62,[4]],[86,[4]],[110,[4]],[134,[4]],
     [158,[4]],[182,[4]],[206,[4]],[230,[4]]]],[2105,[[8,fail]]],
 [2107,[[8,[4]],[32,[4]],[56,[4]],[80,[4]],[104,[4]],[128,[4]],
     [152,[4]],[176,[4]],[200,[4]],[224,[4]]]],
 [2109,[[2,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [2110,[[2,[2]],[8,[2]],[14,[2]],[20,[2]],[26,[2]],[32,[2]],[38,[2]],
     [44,[2]],[50,[2]],[56,[2]]]],
 [2114,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [2117,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [2120,[[2,[3]],[8,[3]],[14,[3]],[20,[3]],[26,[3]],[32,[3]],[38,[3]],
     [44,[3]],[50,[3]],[56,[3]]]],
 [2125,[[2,[3]],[8,[3]],[14,[3]],[20,[3]],[26,[3]],[32,[3]],[38,[3]],
     [44,[3]],[50,[3]],[56,[3]]]],
 [2126,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [2127,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [2131,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [2134,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [2137,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [2142,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],[2147,[[12,fail]]],[2150,[[12,fail]]],
 [2153,[[18,fail]]],[2158,[[18,fail]]],[2162,[[12,fail]]],[2165,[[12,fail]]],
 [2168,[[18,fail]]],[2173,[[18,fail]]],
 [2213,[[6,[2]],[18,[2]],[30,[2]],[42,[2]],[54,[2]],[66,[2]],[78,[2]],
     [90,[2]],[102,[2]],[114,[2]]]],[2214,[[6,fail]]],[2216,[[14,fail]]],
 [2217,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [2218,[[0,[2]],[12,[2]],[24,[2]],[36,[2]],[48,[2]],[60,[2]],[72,[2]],
     [84,[2]],[96,[2]],[108,[2]]]],
 [2219,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [2220,[[14,[4]],[38,[4]],[62,[4]],[86,[4]],[110,[4]],[134,[4]],
     [158,[4]],[182,[4]],[206,[4]],[230,[4]]]],[2221,[[2,fail]]],
 [2222,[[0,fail]]],[2223,[[0,fail]]],[2225,[[6,fail]]],[2226,[[10,fail]]],
 [2227,[[4,[2]],[16,[2]],[28,[2]],[40,[2]],[52,[2]],[64,[2]],[76,[2]],
     [88,[2]],[100,[2]],[112,[2]]]],
 [2228,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [2229,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [2230,[[10,[2]],[22,[2]],[34,[2]],[46,[2]],[58,[2]],[70,[2]],[82,[2]],
     [94,[2]],[106,[2]],[118,[2]]]],[2231,[[4,fail]]],[2232,[[4,fail]]],
 [2233,[[0,fail]]],
 [2234,[[6,[2]],[18,[2]],[30,[2]],[42,[2]],[54,[2]],[66,[2]],[78,[2]],
     [90,[2]],[102,[2]],[114,[2]]]],
 [2235,[[10,[2]],[22,[2]],[34,[2]],[46,[2]],[58,[2]],[70,[2]],[82,[2]],
     [94,[2]],[106,[2]],[118,[2]]]],[2236,[[4,fail]]],[2237,[[0,fail]]],
 [2238,[[4,fail]]],[2239,[[10,fail]]],
 [2240,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [2241,[[4,[2]],[16,[2]],[28,[2]],[40,[2]],[52,[2]],[64,[2]],[76,[2]],
     [88,[2]],[100,[2]],[112,[2]]]],
 [2242,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [2243,[[14,[4]],[38,[4]],[62,[4]],[86,[4]],[110,[4]],[134,[4]],
     [158,[4]],[182,[4]],[206,[4]],[230,[4]]]],[2244,[[0,fail]]],
 [2245,[[0,fail]]],[2246,[[2,fail]]],[2247,[[14,fail]]],
 [2248,[[2,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [2249,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [2250,[[0,[2]],[12,[2]],[24,[2]],[36,[2]],[48,[2]],[60,[2]],[72,[2]],
     [84,[2]],[96,[2]],[108,[2]]]],[2251,[[4,fail]]],[2252,[[0,fail]]],
 [2253,[[8,fail]]],
 [2255,[[8,[2]],[20,[2]],[32,[2]],[44,[2]],[56,[2]],[68,[2]],[80,[2]],
     [92,[2]],[104,[2]],[116,[2]]]],
 [2256,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],
 [2257,[[0,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],
 [2258,[[0,[2]],[12,[2]],[24,[2]],[36,[2]],[48,[2]],[60,[2]],[72,[2]],
     [84,[2]],[96,[2]],[108,[2]]]],
 [2259,[[4,[2]],[16,[2]],[28,[2]],[40,[2]],[52,[2]],[64,[2]],[76,[2]],
     [88,[2]],[100,[2]],[112,[2]]]],
 [2260,[[4,[1]],[10,[1]],[16,[1]],[22,[1]],[28,[1]],[34,[1]],[40,[1]],
     [46,[1]],[52,[1]],[58,[1]]]],[2261,[[4,fail]]],[2263,[[0,fail]]],
 [2264,[[8,[4]],[32,[4]],[56,[4]],[80,[4]],[104,[4]],[128,[4]],
     [152,[4]],[176,[4]],[200,[4]],[224,[4]]]],
 [2265,[[0,[1]],[8,[1]],[14,[1]],[20,[1]],[26,[1]],[32,[1]],[38,[1]],
     [44,[1]],[50,[1]],[56,[1]]]],[2266,[[8,fail]]],[2267,[[0,fail]]],
 [2269,[[8,[2]],[20,[2]],[32,[2]],[44,[2]],[56,[2]],[68,[2]],[80,[2]],
     [92,[2]],[104,[2]],[116,[2]]]],[2271,[[4,fail]]],[2272,[[8,fail]]],
 [2273,[[8,fail]]],[2274,[[4,fail]]],[2275,[[0,fail]]],
 [2276,[[4,[2]],[16,[2]],[28,[2]],[40,[2]],[52,[2]],[64,[2]],[76,[2]],
     [88,[2]],[100,[2]],[112,[2]]]],
 [2277,[[8,[4]],[32,[4]],[56,[4]],[80,[4]],[104,[4]],[128,[4]],
     [152,[4]],[176,[4]],[200,[4]],[224,[4]]]],
 [2278,[[0,[2]],[12,[2]],[24,[2]],[36,[2]],[48,[2]],[60,[2]],[72,[2]],
     [84,[2]],[96,[2]],[108,[2]]]],
 [2306,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [2307,[[0,[1,2]],[6,[1,2]],[12,[1,2]],[18,[1,2]],[24,[1,2]],[30,[1,2]],
     [36,[1,2]],[42,[1,2]],[48,[1,2]],[54,[1,2]]]],
 [2311,[[3,[1,2]],[9,[1,2]],[15,[1,2]],[21,[1,2]],[27,[1,2]],[33,[1,2]],
     [39,[1,2]],[45,[1,2]],[51,[1,2]],[57,[1,2]]]],
 [2313,[[3,[1,2]],[9,[1,2]],[15,[1,2]],[21,[1,2]],[27,[1,2]],[33,[1,2]],
     [39,[1,2]],[45,[1,2]],[51,[1,2]],[57,[1,2]]]],
 [2314,[[0,[1,2]],[6,[1,2]],[12,[1,2]],[18,[1,2]],[24,[1,2]],[30,[1,2]],
     [36,[1,2]],[42,[1,2]],[48,[1,2]],[54,[1,2]]]],
 [2315,[[0,[1,2]],[6,[1,2]],[12,[1,2]],[18,[1,2]],[24,[1,2]],[30,[1,2]],
     [36,[1,2]],[42,[1,2]],[48,[1,2]],[54,[1,2]]]],
 [2316,[[3,[2,4]],[9,[2,4]],[15,[2,4]],[21,[2,4]],[27,[2,4]],[33,[2,4]],
     [39,[2,4]],[45,[2,4]],[51,[2,4]],[57,[2,4]]]],
 [2320,[[3,[1,2]],[9,[1,2]],[15,[1,2]],[21,[1,2]],[27,[1,2]],[33,[1,2]],
     [39,[1,2]],[45,[1,2]],[51,[1,2]],[57,[1,2]]]],
 [2322,[[3,[2,4]],[9,[2,4]],[15,[2,4]],[21,[2,4]],[27,[2,4]],[33,[2,4]],
     [39,[2,4]],[45,[2,4]],[51,[2,4]],[57,[2,4]]]],
 [2324,[[3,[1]],[9,[1]],[15,[1]],[21,[1]],[27,[1]],[33,[1]],[39,[1]],
     [45,[1]],[51,[1]],[57,[1]]]],
 [2326,[[3,[1,2]],[9,[1,2]],[15,[1,2]],[21,[1,2]],[27,[1,2]],[33,[1,2]],
     [39,[1,2]],[45,[1,2]],[51,[1,2]],[57,[1,2]]]],
 [2327,[[3,[1]],[9,[1]],[15,[1]],[21,[1]],[27,[1]],[33,[1]],[39,[1]],
     [45,[1]],[51,[1]],[57,[1]]]],
 [2328,[[0,[1,2]],[6,[1,2]],[12,[1,2]],[18,[1,2]],[24,[1,2]],[30,[1,2]],
     [36,[1,2]],[42,[1,2]],[48,[1,2]],[54,[1,2]]]],
 [2329,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [2331,[[0,[2,4]],[6,[2,4]],[12,[2,4]],[18,[2,4]],[24,[2,4]],[30,[2,4]],
     [36,[2,4]],[42,[2,4]],[48,[2,4]],[54,[2,4]]]],
 [2332,[[0,[2,4]],[6,[2,4]],[12,[2,4]],[18,[2,4]],[24,[2,4]],[30,[2,4]],
     [36,[2,4]],[42,[2,4]],[48,[2,4]],[54,[2,4]]]],
 [2333,[[6,[1,2]],[18,[1,2]],[30,[1,2]],[42,[1,2]],[54,[1,2]],[66,[1,2]],
     [78,[1,2]],[90,[1,2]],[102,[1,2]],[114,[1,2]]]],
 [2337,[[9,[1,2]],[21,[1,2]],[33,[1,2]],[45,[1,2]],[57,[1,2]],[69,[1,2]],
     [81,[1,2]],[93,[1,2]],[105,[1,2]],[117,[1,2]]]],
 [2339,[[0,[1,2]],[12,[1,2]],[24,[1,2]],[36,[1,2]],[48,[1,2]],[60,[1,2]],
     [72,[1,2]],[84,[1,2]],[96,[1,2]],[108,[1,2]]]],
 [2342,[[3,[1,2]],[15,[1,2]],[27,[1,2]],[39,[1,2]],[51,[1,2]],[63,[1,2]],
     [75,[1,2]],[87,[1,2]],[99,[1,2]],[111,[1,2]]]],
 [2371,[[0,[1,2]],[6,[1,2]],[12,[1,2]],[18,[1,2]],[24,[1,2]],[30,[1,2]],
     [36,[1,2]],[42,[1,2]],[48,[1,2]],[54,[1,2]]]],
 [2372,[[0,[1,2]],[6,[1,2]],[12,[1,2]],[18,[1,2]],[24,[1,2]],[30,[1,2]],
     [36,[1,2]],[42,[1,2]],[48,[1,2]],[54,[1,2]]]],
 [2376,[[3,[1,2]],[9,[1,2]],[15,[1,2]],[21,[1,2]],[27,[1,2]],[33,[1,2]],
     [39,[1,2]],[45,[1,2]],[51,[1,2]],[57,[1,2]]]],
 [2378,[[3,[1,2]],[9,[1,2]],[15,[1,2]],[21,[1,2]],[27,[1,2]],[33,[1,2]],
     [39,[1,2]],[45,[1,2]],[51,[1,2]],[57,[1,2]]]],
 [2379,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [2380,[[0,[1,2]],[6,[1,2]],[12,[1,2]],[18,[1,2]],[24,[1,2]],[30,[1,2]],
     [36,[1,2]],[42,[1,2]],[48,[1,2]],[54,[1,2]]]],
 [2381,[[3,[3]],[9,[3]],[15,[3]],[21,[3]],[27,[3]],[33,[3]],[39,[3]],
     [45,[3]],[51,[3]],[57,[3]]]],
 [2385,[[3,[1]],[9,[1]],[15,[1]],[21,[1]],[27,[1]],[33,[1]],[39,[1]],
     [45,[1]],[51,[1]],[57,[1]]]],
 [2387,[[3,[2]],[9,[2]],[15,[2]],[21,[2]],[27,[2]],[33,[2]],[39,[2]],
     [45,[2]],[51,[2]],[57,[2]]]],
 [2389,[[3,[1,2]],[9,[1,2]],[15,[1,2]],[21,[1,2]],[27,[1,2]],[33,[1,2]],
     [39,[1,2]],[45,[1,2]],[51,[1,2]],[57,[1,2]]]],
 [2391,[[3,[1]],[9,[1]],[15,[1]],[21,[1]],[27,[1]],[33,[1]],[39,[1]],
     [45,[1]],[51,[1]],[57,[1]]]],
 [2392,[[3,[1,2]],[9,[1,2]],[15,[1,2]],[21,[1,2]],[27,[1,2]],[33,[1,2]],
     [39,[1,2]],[45,[1,2]],[51,[1,2]],[57,[1,2]]]],
 [2393,[[0,[1]],[6,[1]],[12,[1]],[18,[1]],[24,[1]],[30,[1]],[36,[1]],
     [42,[1]],[48,[1]],[54,[1]]]],
 [2394,[[0,[1,2]],[6,[1,2]],[12,[1,2]],[18,[1,2]],[24,[1,2]],[30,[1,2]],
     [36,[1,2]],[42,[1,2]],[48,[1,2]],[54,[1,2]]]],
 [2396,[[0,[2]],[6,[2]],[12,[2]],[18,[2]],[24,[2]],[30,[2]],[36,[2]],
     [42,[2]],[48,[2]],[54,[2]]]],
 [2397,[[0,[3]],[6,[3]],[12,[3]],[18,[3]],[24,[3]],[30,[3]],[36,[3]],
     [42,[3]],[48,[3]],[54,[3]]]],[2398,[[6,fail]]],[2402,[[9,fail]]],
 [2404,[[0,fail]]],[2407,[[3,fail]]],
 [2435,[[6,[1,2]],[18,[1,2]],[30,[1,2]],[42,[1,2]],[54,[1,2]],[66,[1,2]],
     [78,[1,2]],[90,[1,2]],[102,[1,2]],[114,[1,2]]]],
 [2436,[[1,[1]],[6,[1]],[13,[1]],[18,[1]],[25,[1]],[30,[1]],[37,[1]],
     [42,[1]],[49,[1]],[54,[1]]]],
 [2440,[[4,[1,2]],[10,[1,2]],[16,[1,2]],[22,[1,2]],[28,[1,2]],[34,[1,2]],
     [40,[1,2]],[46,[1,2]],[52,[1,2]],[58,[1,2]]]],
 [2442,[[4,[1,2]],[10,[1,2]],[16,[1,2]],[22,[1,2]],[28,[1,2]],[34,[1,2]],
     [40,[1,2]],[46,[1,2]],[52,[1,2]],[58,[1,2]]]],
 [2443,[[6,[1]],[18,[1]],[30,[1]],[42,[1]],[54,[1]],[66,[1]],[78,[1]],
     [90,[1]],[102,[1]],[114,[1]]]],
 [2444,[[1,[1]],[6,[1]],[13,[1]],[18,[1]],[25,[1]],[30,[1]],[37,[1]],
     [42,[1]],[49,[1]],[54,[1]]]],
 [2446,[[1,[2]],[6,[1]],[9,[1]],[13,[2]],[18,[1]],[21,[1]],[25,[2]],
     [30,[1]],[33,[1]],[37,[2]]]],
 [2451,[[0,[1,2]],[10,[1,2]],[13,[1,2]],[22,[1,2]],[25,[1,2]],[34,[1,2]],
     [37,[1,2]],[46,[1,2]],[49,[1,2]],[58,[1,2]]]],
 [2455,[[0,[1,1,1,1,2]],[9,[1,1,1,1,2]],[12,[1,1,1,1,2]],[21,[1,1,1,1,2]],
     [24,[1,1,1,1,2]],[33,[1,1,1,1,2]],[36,[1,1,1,1,2]],[45,[1,1,1,1,2]],
     [48,[1,1,1,1,2]],[57,[1,1,1,1,2]]]],
 [2456,[[0,[1,1,1,1,2]],[9,[1,1,1,1,2]],[12,[1,1,1,1,2]],[21,[1,1,1,1,2]],
     [24,[1,1,1,1,2]],[33,[1,1,1,1,2]],[36,[1,1,1,1,2]],[45,[1,1,1,1,2]],
     [48,[1,1,1,1,2]],[57,[1,1,1,1,2]]]],
 [2461,[[0,[1]],[1,[1]],[6,[2]],[12,[1]],[13,[1]],[18,[2]],[24,[1]],
     [25,[1]],[30,[2]],[36,[1]]]],[2463,[[10,fail]]],[2466,[[10,fail]]],
 [2481,[[1,[1]],[4,[1,2]],[13,[1]],[16,[1,2]],[25,[1]],[28,[1,2]],
     [37,[1]],[40,[1,2]],[49,[1]],[52,[1,2]]]],
 [2498,[[4,[1]],[16,[1]],[28,[1]],[40,[1]],[52,[1]],[64,[1]],[76,[1]],
     [88,[1]],[100,[1]],[112,[1]]]],
 [2499,[[1,[1,2]],[7,[1,2]],[13,[1,2]],[19,[1,2]],[25,[1,2]],[31,[1,2]],
     [37,[1,2]],[43,[1,2]],[49,[1,2]],[55,[1,2]]]],
 [2503,[[4,[1]],[9,[1]],[16,[1]],[21,[1]],[28,[1]],[33,[1]],[40,[1]],
     [45,[1]],[52,[1]],[57,[1]]]],
 [2505,[[4,[1]],[9,[1]],[16,[1]],[21,[1]],[28,[1]],[33,[1]],[40,[1]],
     [45,[1]],[52,[1]],[57,[1]]]],
 [2506,[[4,[1,2]],[16,[1,2]],[28,[1,2]],[40,[1,2]],[52,[1,2]],[64,[1,2]],
     [76,[1,2]],[88,[1,2]],[100,[1,2]],[112,[1,2]]]],
 [2507,[[1,[1,2]],[7,[1,2]],[13,[1,2]],[19,[1,2]],[25,[1,2]],[31,[1,2]],
     [37,[1,2]],[43,[1,2]],[49,[1,2]],[55,[1,2]]]],
 [2508,[[3,[1]],[4,[1]],[9,[2]],[15,[1]],[16,[1]],[21,[2]],[27,[1]],
     [28,[1]],[33,[2]],[39,[1]]]],
 [2512,[[9,[1]],[21,[1]],[33,[1]],[45,[1]],[57,[1]],[69,[1]],[81,[1]],
     [93,[1]],[105,[1]],[117,[1]]]],
 [2516,[[9,[1,2]],[21,[1,2]],[33,[1,2]],[45,[1,2]],[57,[1,2]],[69,[1,2]],
     [81,[1,2]],[93,[1,2]],[105,[1,2]],[117,[1,2]]]],
 [2520,[[0,[1]],[3,[1,2]],[12,[1]],[15,[1,2]],[24,[1]],[27,[1,2]],
     [36,[1]],[39,[1,2]],[48,[1]],[51,[1,2]]]],
 [2521,[[0,[1,2]],[3,[1]],[12,[1,2]],[15,[1]],[24,[1,2]],[27,[1]],
     [36,[1,2]],[39,[1]],[48,[1,2]],[51,[1]]]],
 [2522,[[0,[1]],[4,[2]],[9,[1]],[12,[1]],[16,[2]],[21,[1]],[24,[1]],
     [28,[2]],[33,[1]],[36,[1]]]],
 [2523,[[1,[1,2]],[4,[1,2]],[13,[1,2]],[16,[1,2]],[25,[1,2]],[28,[1,2]],
     [37,[1,2]],[40,[1,2]],[49,[1,2]],[52,[1,2]]]],[2528,[[1,fail]]],
 [2531,[[1,fail]]],
 [2537,[[4,[4]],[16,[4]],[28,[4]],[40,[4]],[52,[4]],[64,[4]],[76,[4]],
     [88,[4]],[100,[4]],[112,[4]]]],
 [2540,[[9,[2,3,4]],[21,[2,3,4]],[33,[2,3,4]],[45,[2,3,4]],[57,[2,3,4]],
     [69,[2,3,4]],[81,[2,3,4]],[93,[2,3,4]],[105,[2,3,4]],[117,[2,3,4]]] 
  ],
 [2560,[[4,[2,3]],[16,[2,3]],[28,[2,3]],[40,[2,3]],[52,[2,3]],[64,[2,3]],
     [76,[2,3]],[88,[2,3]],[100,[2,3]],[112,[2,3]]]],
 [2568,[[4,[2,3]],[16,[2,3]],[28,[2,3]],[40,[2,3]],[52,[2,3]],[64,[2,3]],
     [76,[2,3]],[88,[2,3]],[100,[2,3]],[112,[2,3]]]],
 [2582,[[1,[1]],[13,[1]],[25,[1]],[37,[1]],[49,[1]],[61,[1]],[73,[1]],
     [85,[1]],[97,[1]],[109,[1]]]],
 [2583,[[1,[1,2]],[13,[1,2]],[25,[1,2]],[37,[1,2]],[49,[1,2]],[61,[1,2]],
     [73,[1,2]],[85,[1,2]],[97,[1,2]],[109,[1,2]]]],
 [2585,[[0,[1]],[4,[2]],[6,[1]],[12,[1]],[16,[2]],[18,[1]],[24,[1]],
     [28,[2]],[30,[1]],[36,[1]]]],[2587,[[1,fail]]],[2588,[[9,fail]]],
 [2589,[[6,[1]],[18,[1]],[30,[1]],[42,[1]],[54,[1]],[66,[1]],[78,[1]],
     [90,[1]],[102,[1]],[114,[1]]]],[2592,[[9,fail]]],[2593,[[1,fail]]],
 [2596,[[12,fail]]],[2598,[[0,fail]]],
 [2599,[[4,[1]],[7,[1,2]],[16,[1]],[19,[1,2]],[28,[1]],[31,[1,2]],
     [40,[1]],[43,[1,2]],[52,[1]],[55,[1,2]]]],
 [2606,[[4,[1,1,1,1,1,1,1,2]],[7,[1,1,1,1,1,1,1,2]],[9,[1,1,1,1,1,1,1,2]],
     [19,[1,1,1,1,1,1,1,2]],[21,[1,1,1,1,1,1,1,2]],[27,[2]],[31,[2]],
     [39,[1,1,1,1,1,1,1,2]],[40,[1,1,1,1,1,1,1,2]],[51,[1,1,1,1,1,1,1,2]] 
    ]],
 [2615,[[4,[1]],[7,[1]],[16,[1]],[19,[1]],[28,[1]],[31,[1]],[40,[1]],
     [43,[1]],[52,[1]],[55,[1]]]],
 [2616,[[3,[2]],[7,[1]],[15,[2]],[19,[1]],[27,[2]],[31,[1]],[39,[2]],
     [43,[1]],[51,[2]],[55,[1]]]],
 [2617,[[3,[2]],[7,[1]],[15,[2]],[19,[1]],[27,[2]],[31,[1]],[39,[2]],
     [43,[1]],[51,[2]],[55,[1]]]],
 [2618,[[4,[1]],[7,[2]],[16,[1]],[19,[2]],[28,[1]],[31,[2]],[40,[1]],
     [43,[2]],[52,[1]],[55,[2]]]],
 [2621,[[4,[2]],[7,[2]],[16,[2]],[19,[2]],[28,[2]],[31,[2]],[40,[2]],
     [43,[2]],[52,[2]],[55,[2]]]],
 [2623,[[4,[1]],[7,[1]],[16,[1]],[19,[1]],[28,[1]],[31,[1]],[40,[1]],
     [43,[1]],[52,[1]],[55,[1]]]],
 [2624,[[4,[1]],[7,[2]],[16,[1]],[19,[2]],[28,[1]],[31,[2]],[40,[1]],
     [43,[2]],[52,[1]],[55,[2]]]],
 [2629,[[4,[2]],[7,[2]],[16,[2]],[19,[2]],[28,[2]],[31,[2]],[40,[2]],
     [43,[2]],[52,[2]],[55,[2]]]],
 [2633,[[3,[1,2]],[4,[1]],[9,[1,2]],[15,[1,2]],[16,[1]],[21,[1,2]],
     [27,[1,2]],[28,[1]],[33,[1,2]],[39,[1,2]]]],
 [2634,[[3,[1,2]],[4,[1]],[9,[1,2]],[15,[1,2]],[16,[1]],[21,[1,2]],
     [27,[1,2]],[28,[1]],[33,[1,2]],[39,[1,2]]]],
 [2635,[[3,[2]],[7,[1,2]],[15,[2]],[19,[1,2]],[27,[2]],[31,[1,2]],
     [39,[2]],[43,[1,2]],[51,[2]],[55,[1,2]]]],
 [2636,[[0,[1]],[4,[1]],[7,[1]],[12,[1]],[16,[1]],[19,[1]],[24,[1]],
     [28,[1]],[31,[1]],[36,[1]]]],
 [2637,[[4,[2,3]],[7,[1,2]],[16,[2,3]],[19,[1,2]],[28,[2,3]],[31,[1,2]],
     [40,[2,3]],[43,[1,2]],[52,[2,3]],[55,[1,2]]]],
 [2638,[[0,[2]],[7,[1]],[12,[2]],[19,[1]],[24,[2]],[31,[1]],[36,[2]],
     [43,[1]],[48,[2]],[55,[1]]]],
 [2639,[[3,[2]],[7,[1,2]],[15,[2]],[19,[1,2]],[27,[2]],[31,[1,2]],
     [39,[2]],[43,[1,2]],[51,[2]],[55,[1,2]]]],
 [2640,[[0,[2]],[7,[1]],[12,[2]],[19,[1]],[24,[2]],[31,[1]],[36,[2]],
     [43,[1]],[48,[2]],[55,[1]]]],
 [2641,[[3,[1,2]],[4,[1]],[9,[1,2]],[15,[1,2]],[16,[1]],[21,[1,2]],
     [27,[1,2]],[28,[1]],[33,[1,2]],[39,[1,2]]]],
 [2642,[[3,[1,2]],[4,[1]],[9,[1,2]],[15,[1,2]],[16,[1]],[21,[1,2]],
     [27,[1,2]],[28,[1]],[33,[1,2]],[39,[1,2]]]],
 [2655,[[3,[1]],[7,[1,2]],[15,[1]],[16,[1]],[19,[1,2]],[31,[1,2]],
     [39,[1]],[40,[1]],[43,[1,2]],[51,[1]]]],
 [2656,[[0,[1]],[4,[2]],[16,[2]],[19,[1]],[21,[1]],[27,[1]],[28,[2]],
     [40,[2]],[43,[1]],[52,[2]]]],
 [2658,[[4,[1]],[7,[1]],[16,[1]],[19,[1]],[28,[1]],[31,[1]],[40,[1]],
     [43,[1]],[52,[1]],[55,[1]]]],
 [2664,[[0,[1,2]],[4,[1]],[12,[1,2]],[16,[1]],[24,[1,2]],[28,[1]],
     [36,[1,2]],[40,[1]],[48,[1,2]],[52,[1]]]],
 [2682,[[0,[1]],[7,[1]],[12,[1]],[19,[1]],[24,[1]],[31,[1]],[36,[1]],
     [43,[1]],[48,[1]],[55,[1]]]],
 [2686,[[4,[1,2]],[10,[1,2]],[16,[1,2]],[22,[1,2]],[28,[1,2]],[34,[1,2]],
     [40,[1,2]],[46,[1,2]],[52,[1,2]],[58,[1,2]]]],
 [2688,[[4,[1,2]],[10,[1,2]],[16,[1,2]],[22,[1,2]],[28,[1,2]],[34,[1,2]],
     [40,[1,2]],[46,[1,2]],[52,[1,2]],[58,[1,2]]]],
 [2690,[[0,[1]],[7,[1]],[12,[1]],[19,[1]],[24,[1]],[31,[1]],[36,[1]],
     [43,[1]],[48,[1]],[55,[1]]]],
 [2692,[[0,[1]],[3,[1]],[7,[2]],[12,[1]],[15,[1]],[19,[2]],[24,[1]],
     [27,[1]],[31,[2]],[36,[1]]]],
 [2695,[[7,[1,2]],[19,[1,2]],[31,[1,2]],[43,[1,2]],[55,[1,2]],[67,[1,2]],
     [79,[1,2]],[91,[1,2]],[103,[1,2]],[115,[1,2]]]],
 [2697,[[4,[1,2]],[7,[1,2]],[16,[1,2]],[19,[1,2]],[28,[1,2]],[31,[1,2]],
     [40,[1,2]],[43,[1,2]],[52,[1,2]],[55,[1,2]]]],
 [2699,[[7,[1]],[19,[1]],[31,[1]],[43,[1]],[55,[1]],[67,[1]],[79,[1]],
     [91,[1]],[103,[1]],[115,[1]]]],
 [2701,[[3,[1]],[6,[1,2]],[15,[1]],[18,[1,2]],[27,[1]],[30,[1,2]],
     [39,[1]],[42,[1,2]],[51,[1]],[54,[1,2]]]],
 [2702,[[3,[1,2]],[6,[1]],[15,[1,2]],[18,[1]],[27,[1,2]],[30,[1]],
     [39,[1,2]],[42,[1]],[51,[1,2]],[54,[1]]]],
 [2707,[[0,[2]],[6,[1]],[7,[1]],[12,[2]],[18,[1]],[19,[1]],[24,[2]],
     [30,[1]],[31,[1]],[36,[2]]]],[2713,[[4,fail]]],[2717,[[4,fail]]],
 [2723,[[0,[2]],[12,[2]],[24,[2]],[36,[2]],[48,[2]],[60,[2]],[72,[2]],
     [84,[2]],[96,[2]],[108,[2]]]],
 [2754,[[7,[2,3]],[19,[2,3]],[31,[2,3]],[43,[2,3]],[55,[2,3]],[67,[2,3]],
--> --------------------

--> maximum size reached

--> --------------------