Haftungsausschluß.g KontaktUnknown {[0] [0] [0]}diese Dinge liegen außhalb unserer Verantwortung
#############################################################################
##
#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
--> --------------------
