|
corelg.Linc:=[ [ "A", 2, 1, [ [ 1, 1 ], [ 4, 1 ], [ 7, 1 ] ], [ [ 1, 1 ] ] ],
[ "A", 2, 2, [ [ 1, 1 ], [ 4, 1 ], [ 7, 1 ] ], [ [ 7, 1 ] ] ],
[ "A", 2, 2, [ [ 2, 1 ], [ 5, 1 ], [ 8, 1 ] ], [ [ 2, 1 ] ] ],
[ "A", 2, 3, [ [ 1, 1, 4, 1 ], [ 2, 1, 5, -1 ], [ 3, 1, 8, 2 ] ],
[ [ 1, 1, 4, 1 ] ] ],
[ "A", 2, 1,
[ [ 1, 1, 6, 1, 8, (-1)*Sqroot(2) ], [ 2, 1, 7, 2, 8, 1 ],
[ 3, 1, 4, -1, 5, (-1)*Sqroot(2) ] ],
[ [ 1, 1, 2, Sqroot(2), 6, 1, 7, 2*Sqroot(2) ] ] ],
[ "A", 2, 3, [ [ 1, 1 ], [ 4, 1 ], [ 7, 1 ] ], [ [ 1, 1 ] ] ],
[ "A", 2, 2, [ [ 1, 1, 4, -1 ], [ 2, 1 ], [ 3, 1, 6, -1 ] ], [ [ 2, 1 ] ] ]
, [ "A", 2, 3, [ [ 1, 1 ], [ 2, 1 ], [ 3, 1 ] ], [ [ 1, 1 ] ] ],
[ "B", 2, 1, [ [ 1, 1 ], [ 4, 1 ], [ 5, 1 ], [ 8, 1 ], [ 9, 1 ], [ 10, 1 ]
], [ [ 1, 1 ], [ 4, 1 ] ] ],
[ "B", 2, 2, [ [ 1, 1 ], [ 4, 1 ], [ 5, 1 ], [ 8, 1 ], [ 9, 1 ], [ 10, 1 ]
], [ [ 9, 1 ], [ 10, 1 ] ] ],
[ "B", 2, 2,
[ [ 1, 1, 4, 1 ], [ 2, 1 ], [ 5, 1, 8, -1 ], [ 6, 1 ], [ 7, 1 ],
[ 10, 1 ] ], [ [ 1, 1, 4, 1 ], [ 2, 1 ] ] ],
[ "B", 2, 3,
[ [ 1, 1, 4, 1 ], [ 2, 1 ], [ 5, 1, 8, -1 ], [ 6, 1 ], [ 7, 1 ],
[ 10, 1 ] ], [ [ 1, 1, 4, 1 ], [ 2, 1 ] ] ],
[ "B", 2, 3, [ [ 1, 1 ], [ 4, 1 ], [ 5, 1 ], [ 8, 1 ], [ 9, 1 ], [ 10, 1 ]
], [ [ 1, 1 ], [ 4, 1 ] ] ],
[ "B", 2, 1,
[ [ 1, 1, 4, -3 ], [ 5, 1, 7, 1/2*Sqroot(3) ],
[ 6, 1, 9, 2/3*Sqroot(3) ] ], [ [ 1, 1, 4, -3 ] ] ],
[ "B", 2, 2,
[ [ 1, 1, 4, -1, 5, (-1)*Sqroot(3), 7, -1, 8, (-1)*Sqroot(3) ],
[ 2, 1, 9, 1, 10, 1/2 ],
[ 3, 1, 4, (-2)*Sqroot(3), 5, -2, 7, (-1)*Sqroot(3), 8, -4 ] ],
[ [ 2, 1, 9, 1, 10, 1/2 ] ] ],
[ "B", 2, 1, [ [ 2, 1 ], [ 6, 1 ], [ 10, 1 ] ], [ [ 10, 1 ] ] ],
[ "B", 2, 2, [ [ 1, 1, 4, -1 ], [ 2, 1 ], [ 3, 1 ] ], [ [ 2, 1 ] ] ],
[ "B", 2, 2, [ [ 1, 1, 4, 1 ], [ 5, 1, 8, 1 ], [ 9, 1, 10, 1/2 ] ],
[ [ 9, 1, 10, 1/2 ] ] ],
[ "B", 2, 2, [ [ 2, 1 ], [ 6, 1 ], [ 10, 1 ] ], [ [ 2, 1 ] ] ],
[ "B", 2, 3, [ [ 1, 1, 4, 1 ], [ 5, 1, 8, 1 ], [ 9, 1, 10, 1/2 ] ],
[ [ 9, 1, 10, 1/2 ] ] ],
[ "B", 2, 3, [ [ 1, 1, 4, -1 ], [ 2, 1 ], [ 3, 1 ] ], [ [ 1, 1, 4, -1 ] ] ]
,
[ "G", 2, 1,
[ [ 2, 1 ], [ 5, 1 ], [ 6, 1 ], [ 8, 1 ], [ 11, 1 ], [ 12, 1 ],
[ 13, 1 ], [ 14, 1 ] ], [ [ 2, 1 ], [ 13, 1, 14, 3/2 ] ] ],
[ "G", 2, 1,
[ [ 1, 1 ], [ 6, 1 ], [ 7, 1 ], [ 12, 1 ], [ 13, 1 ], [ 14, 1 ] ],
[ [ 1, 1 ], [ 6, 1 ] ] ],
[ "G", 2, 2,
[ [ 1, 1, 6, -1 ], [ 2, 1 ], [ 3, 1, 5, -1 ], [ 4, 1 ],
[ 7, 1, 12, 1 ], [ 8, 1 ], [ 9, 1, 11, 1 ], [ 14, 1 ] ],
[ [ 1, 1, 6, -1 ], [ 2, 1, 4, 1/3 ] ] ],
[ "G", 2, 2,
[ [ 2, 1 ], [ 5, 1 ], [ 6, 1 ], [ 8, 1 ], [ 11, 1 ], [ 12, 1 ],
[ 13, 1 ], [ 14, 1 ] ], [ [ 6, 1 ], [ 13, 1 ] ] ],
[ "G", 2, 2,
[ [ 2, 1 ], [ 4, 1 ], [ 8, 1 ], [ 10, 1 ], [ 13, 1 ], [ 14, 1 ] ],
[ [ 13, 1 ], [ 14, 1 ] ] ],
[ "G", 2, 2,
[ [ 1, 1 ], [ 6, 1 ], [ 7, 1 ], [ 12, 1 ], [ 13, 1 ], [ 14, 1 ] ],
[ [ 1, 1 ], [ 6, 1 ] ] ],
[ "G", 2, 1,
[ [ 1, 1, 6, -5 ], [ 7, 1, 9, (-1/6)*Sqroot(15), 11, 1/6*Sqroot(15) ],
[ 8, 1, 10, -1, 13, 2/5*Sqroot(15) ] ], [ [ 1, 1, 6, -5 ] ] ],
[ "G", 2, 2,
[ [ 1, 1, 6, 2 ],
[ 2, 1, 4, -1, 8, (-3/5)*Sqroot(15), 10, (-1/5)*Sqroot(15) ],
[ 3, 1, 5, -1, 9, 1/5*Sqroot(15), 11, 3/5*Sqroot(15) ] ],
[ [ 1, 1, 6, 2 ] ] ],
[ "A", 3, 1,
[ [ 1, 1 ], [ 2, 1 ], [ 4, 1 ], [ 7, 1 ], [ 8, 1 ], [ 10, 1 ],
[ 13, 1 ], [ 14, 1 ] ], [ [ 1, 1 ], [ 13, 1, 14, 2 ] ] ],
[ "A", 3, 2,
[ [ 1, 1 ], [ 2, 1, 11, 1 ], [ 3, 1, 14, -2, 15, -1 ], [ 4, 1, 12, 1 ],
[ 5, 1, 8, -1 ], [ 6, 1, 10, -1 ], [ 7, 1 ], [ 13, 1 ] ],
[ [ 2, 1, 11, 1 ], [ 3, 1, 13, -4, 14, -2, 15, -1 ] ] ],
[ "A", 3, 2,
[ [ 2, 1 ], [ 3, 1 ], [ 5, 1 ], [ 8, 1 ], [ 9, 1 ], [ 11, 1 ],
[ 14, 1 ], [ 15, 1 ] ], [ [ 2, 1 ], [ 14, 1, 15, 2 ] ] ],
[ "A", 3, 3,
[ [ 1, 1 ], [ 5, 1 ], [ 6, 1 ], [ 7, 1 ], [ 11, 1 ], [ 12, 1 ],
[ 13, 1 ], [ 14, 1, 15, 1 ] ],
[ [ 1, 1 ], [ 13, 1, 14, 2, 15, 2 ] ] ],
[ "A", 3, 3,
[ [ 3, 1 ], [ 4, 1 ], [ 6, 1 ], [ 9, 1 ], [ 10, 1 ], [ 12, 1 ],
[ 13, 1, 14, 1 ], [ 15, 1 ] ],
[ [ 3, 1 ], [ 13, 1, 14, 1, 15, 1/2 ] ] ],
[ "A", 3, 5,
[ [ 1, 1, 10, 1 ], [ 2, 1, 15, 2 ], [ 3, 1, 11, 1 ], [ 4, 1, 7, -1 ],
[ 5, 1, 9, -1 ], [ 6, 1 ], [ 12, 1 ], [ 13, 1, 14, 1/2 ] ],
[ [ 1, 1, 10, 1 ], [ 2, 1, 6, -3, 15, 2 ] ] ],
[ "A", 3, 1,
[ [ 1, 1 ], [ 2, 1, 6, 1 ], [ 3, 1 ], [ 4, 1, 5, -1 ], [ 7, 1 ],
[ 8, 1, 12, -1 ], [ 9, 1 ], [ 10, 1, 11, 1 ], [ 13, 1 ], [ 15, 1 ]
], [ [ 1, 1 ], [ 3, 1 ] ] ],
[ "A", 3, 4,
[ [ 1, 1 ], [ 2, 1 ], [ 4, 1 ], [ 6, 1 ], [ 7, 1 ], [ 8, 1 ],
[ 10, 1 ], [ 12, 1 ], [ 13, 1 ], [ 14, 1 ] ],
[ [ 1, 1 ], [ 2, 1, 6, -1 ] ] ],
[ "A", 3, 3,
[ [ 1, 1, 3, -1 ], [ 2, 1 ], [ 4, 1, 5, 1 ], [ 6, 1 ], [ 7, 1, 9, -1 ],
[ 8, 1 ], [ 10, 1, 11, 1 ], [ 12, 1 ], [ 13, 1, 15, 1 ], [ 14, 1 ]
], [ [ 1, 1, 3, -1 ], [ 13, 1, 14, 2, 15, 1 ] ] ],
[ "A", 3, 5,
[ [ 1, 1 ], [ 2, 1, 6, -1 ], [ 3, 1 ], [ 4, 1 ], [ 7, 1 ],
[ 8, 1, 12, 1 ], [ 9, 1 ], [ 11, 1 ], [ 13, 1 ], [ 15, 1 ] ],
[ [ 1, 1 ], [ 4, 1 ] ] ],
[ "A", 3, 3,
[ [ 1, 1 ], [ 2, 1, 6, -1 ], [ 3, 1 ], [ 4, 1, 5, 1 ], [ 7, 1 ],
[ 8, 1, 12, 1 ], [ 9, 1 ], [ 10, 1, 11, -1 ], [ 13, 1 ], [ 15, 1 ]
], [ [ 1, 1 ], [ 3, 1 ] ] ],
[ "A", 3, 4,
[ [ 2, 1 ], [ 3, 1 ], [ 5, 1 ], [ 6, 1 ], [ 8, 1 ], [ 9, 1 ],
[ 11, 1 ], [ 12, 1 ], [ 13, 1 ], [ 14, 1 ] ],
[ [ 2, 1 ], [ 6, 1 ] ] ],
[ "A", 3, 5,
[ [ 1, 1 ], [ 4, 1 ], [ 7, 1 ], [ 10, 1 ], [ 13, 1 ], [ 14, 1 ] ],
[ [ 1, 1 ], [ 4, 1 ] ] ],
[ "A", 3, 1,
[ [ 1, 1, 3, -1 ], [ 2, 1, 6, 1 ], [ 7, 1, 9, 1 ], [ 8, 1, 12, 1 ],
[ 13, 1, 15, -1 ], [ 14, 1, 15, 1 ] ],
[ [ 1, 1, 3, -1 ], [ 2, 1, 6, 1 ] ] ],
[ "A", 3, 4,
[ [ 2, 1 ], [ 6, 1 ], [ 7, 1 ], [ 9, 1 ], [ 10, 1 ], [ 11, 1 ] ],
[ [ 2, 1 ], [ 6, 1 ] ] ],
[ "A", 3, 3,
[ [ 1, 1, 3, -1 ], [ 4, 1, 5, -1 ], [ 7, 1, 9, -1 ], [ 10, 1, 11, -1 ],
[ 13, 1, 15, 1 ], [ 14, 1 ] ],
[ [ 1, 1, 3, -1 ], [ 13, 1, 14, 2, 15, 1 ] ] ],
[ "A", 3, 5, [ [ 1, 1 ], [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ] ]
, [ [ 1, 1 ], [ 4, 1 ] ] ],
[ "A", 3, 3, [ [ 1, 1 ], [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ] ]
, [ [ 1, 1 ], [ 3, 1 ] ] ],
[ "A", 3, 1,
[ [ 1, 1 ], [ 3, 1 ], [ 7, 1 ], [ 9, 1 ], [ 13, 1 ], [ 15, 1 ] ],
[ [ 3, 1 ], [ 7, 1 ] ] ],
[ "A", 3, 2,
[ [ 1, 1 ], [ 3, 1 ], [ 7, 1 ], [ 9, 1 ], [ 13, 1 ], [ 15, 1 ] ],
[ [ 3, 1 ], [ 13, 1 ] ] ],
[ "A", 3, 3,
[ [ 1, 1, 3, -1 ], [ 2, 1, 6, -1 ], [ 4, 1, 5, 1 ], [ 7, 1, 9, 1 ],
[ 10, 1, 11, -1 ], [ 13, 1, 15, -1 ] ],
[ [ 4, 1, 5, 1 ], [ 7, 1, 9, 1 ] ] ],
[ "A", 3, 3,
[ [ 2, 1 ], [ 6, 1 ], [ 8, 1 ], [ 12, 1 ], [ 13, 1, 15, 1 ], [ 14, 1 ]
], [ [ 13, 1, 15, 1 ], [ 14, 1 ] ] ],
[ "A", 3, 3,
[ [ 1, 1 ], [ 3, 1 ], [ 7, 1 ], [ 9, 1 ], [ 13, 1 ], [ 15, 1 ] ],
[ [ 3, 1 ], [ 13, 1 ] ] ],
[ "A", 3, 4,
[ [ 2, 1, 6, -1 ], [ 3, 1 ], [ 5, 1 ], [ 7, 1 ], [ 10, 1 ], [ 15, 1 ] ]
, [ [ 5, 1 ], [ 7, 1 ] ] ],
[ "A", 3, 4,
[ [ 2, 1 ], [ 6, 1 ], [ 8, 1 ], [ 12, 1 ], [ 13, 1 ], [ 14, 1 ] ],
[ [ 13, 1 ], [ 14, 1 ] ] ],
[ "A", 3, 5,
[ [ 2, 1, 6, -1 ], [ 3, 1 ], [ 4, 1 ], [ 7, 1 ], [ 11, 1 ], [ 15, 1 ] ]
, [ [ 4, 1 ], [ 7, 1 ] ] ],
[ "A", 3, 5,
[ [ 2, 1, 6, 1 ], [ 4, 1 ], [ 8, 1, 12, 1 ], [ 9, 1 ], [ 10, 1 ],
[ 13, 1, 14, 1 ] ], [ [ 8, 1, 12, 1 ], [ 10, 1 ] ] ],
[ "A", 3, 5,
[ [ 1, 1 ], [ 2, 1, 6, 1 ], [ 5, 1 ], [ 7, 1 ], [ 8, 1, 12, -1 ],
[ 13, 1 ] ], [ [ 2, 1, 6, 1 ], [ 7, 1 ] ] ],
[ "B", 3, 1,
[ [ 1, 1 ], [ 3, 1 ], [ 9, 1 ], [ 10, 1 ], [ 12, 1 ], [ 18, 1 ],
[ 19, 1 ], [ 20, 1 ], [ 21, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 9, 1 ] ] ],
[ "B", 3, 1,
[ [ 1, 1 ], [ 2, 1 ], [ 4, 1 ], [ 7, 1 ], [ 8, 1 ], [ 9, 1 ],
[ 10, 1 ], [ 11, 1 ], [ 13, 1 ], [ 16, 1 ], [ 17, 1 ], [ 18, 1 ],
[ 19, 1 ], [ 20, 1 ], [ 21, 1 ] ],
[ [ 1, 1 ], [ 9, 1 ], [ 21, 1 ] ] ],
[ "B", 3, 2,
[ [ 1, 1 ], [ 3, 1 ], [ 9, 1 ], [ 10, 1 ], [ 12, 1 ], [ 18, 1 ],
[ 19, 1 ], [ 20, 1 ], [ 21, 1 ] ],
[ [ 3, 1 ], [ 19, 1 ], [ 20, 1, 21, 1/2 ] ] ],
[ "B", 3, 2,
[ [ 1, 1 ], [ 3, 1 ], [ 9, 1 ], [ 11, 1 ], [ 13, 1 ], [ 14, 1 ],
[ 15, 1 ], [ 16, 1 ], [ 17, 1 ] ],
[ [ 1, 1, 9, 1 ], [ 3, 1 ], [ 11, 1, 16, 1 ] ] ],
[ "B", 3, 2,
[ [ 1, 1, 9, 1 ], [ 2, 1, 7, -1 ], [ 3, 1 ], [ 5, 1 ],
[ 10, 1, 18, 1 ], [ 11, 1, 16, 1 ], [ 12, 1 ], [ 19, 1, 20, 1 ],
[ 21, 1 ] ],
[ [ 2, 1, 7, -1 ], [ 12, 1 ], [ 19, 1, 20, 1, 21, 1/2 ] ] ],
[ "B", 3, 2,
[ [ 1, 1 ], [ 2, 1, 7, -1 ], [ 3, 1 ], [ 4, 1, 8, -1 ], [ 5, 1 ],
[ 6, 1 ], [ 9, 1 ], [ 10, 1 ], [ 11, 1, 16, -1 ],
[ 13, 1, 17, -1 ], [ 14, 1 ], [ 15, 1 ], [ 18, 1 ], [ 19, 1 ],
[ 20, 1, 21, 1/2 ] ],
[ [ 2, 1, 7, -1 ], [ 14, 1 ], [ 19, 1, 20, 1, 21, 1/2 ] ] ],
[ "B", 3, 2,
[ [ 1, 1, 9, 1 ], [ 2, 1 ], [ 3, 1 ], [ 4, 1, 8, 1 ], [ 5, 1 ],
[ 7, 1 ], [ 10, 1, 18, -1 ], [ 11, 1 ], [ 12, 1 ],
[ 13, 1, 17, -1 ], [ 14, 1 ], [ 15, 1 ], [ 16, 1 ], [ 20, 1 ],
[ 21, 1 ] ], [ [ 2, 1 ], [ 7, 1 ], [ 15, 1 ] ] ],
[ "B", 3, 3,
[ [ 2, 1 ], [ 6, 1 ], [ 7, 1 ], [ 11, 1 ], [ 15, 1 ], [ 16, 1 ],
[ 19, 1 ], [ 20, 1 ], [ 21, 1 ] ],
[ [ 19, 1 ], [ 20, 1 ], [ 21, 1 ] ] ],
[ "B", 3, 3,
[ [ 1, 1, 9, 1 ], [ 2, 1 ], [ 3, 1 ], [ 4, 1, 8, 1 ], [ 5, 1 ],
[ 7, 1 ], [ 10, 1, 18, 1 ], [ 13, 1, 17, 1 ],
[ 19, 1, 20, 1, 21, 1/2 ] ],
[ [ 1, 1, 9, 1 ], [ 3, 1 ], [ 13, 1, 17, 1 ] ] ],
[ "B", 3, 3,
[ [ 1, 1, 9, 1 ], [ 3, 1 ], [ 4, 1, 8, -1 ], [ 6, 1 ],
[ 10, 1, 18, -1 ], [ 12, 1 ], [ 13, 1, 17, 1 ], [ 20, 1 ],
[ 21, 1 ] ], [ [ 1, 1, 9, 1 ], [ 3, 1 ], [ 13, 1, 17, 1 ] ] ],
[ "B", 3, 3,
[ [ 1, 1 ], [ 3, 1 ], [ 9, 1 ], [ 10, 1 ], [ 12, 1 ], [ 18, 1 ],
[ 19, 1 ], [ 20, 1 ], [ 21, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 9, 1 ] ] ],
[ "B", 3, 3,
[ [ 1, 1, 9, -1 ], [ 2, 1 ], [ 3, 1 ], [ 4, 1, 8, -1 ], [ 5, 1 ],
[ 6, 1 ], [ 7, 1 ], [ 10, 1, 18, 1 ], [ 11, 1 ], [ 12, 1 ],
[ 13, 1, 17, 1 ], [ 14, 1 ], [ 16, 1 ], [ 20, 1 ], [ 21, 1 ] ],
[ [ 1, 1, 9, -1 ], [ 2, 1, 7, 1 ], [ 3, 1 ] ] ],
[ "B", 3, 3,
[ [ 1, 1 ], [ 2, 1 ], [ 4, 1 ], [ 7, 1 ], [ 8, 1 ], [ 9, 1 ],
[ 10, 1 ], [ 11, 1 ], [ 13, 1 ], [ 16, 1 ], [ 17, 1 ], [ 18, 1 ],
[ 19, 1 ], [ 20, 1 ], [ 21, 1 ] ],
[ [ 1, 1 ], [ 9, 1 ], [ 21, 1 ] ] ],
[ "B", 3, 4,
[ [ 1, 1 ], [ 3, 1 ], [ 9, 1 ], [ 11, 1 ], [ 13, 1 ], [ 14, 1 ],
[ 15, 1 ], [ 16, 1 ], [ 17, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 9, 1 ] ] ],
[ "B", 3, 4,
[ [ 1, 1 ], [ 3, 1 ], [ 9, 1 ], [ 10, 1 ], [ 12, 1 ], [ 18, 1 ],
[ 19, 1 ], [ 20, 1 ], [ 21, 1 ] ],
[ [ 1, 1 ], [ 9, 1 ], [ 21, 1 ] ] ],
[ "B", 3, 4,
[ [ 1, 1 ], [ 2, 1, 7, -1 ], [ 3, 1 ], [ 4, 1, 8, -1 ], [ 5, 1 ],
[ 6, 1 ], [ 9, 1 ], [ 10, 1 ], [ 11, 1, 16, -1 ],
[ 13, 1, 17, -1 ], [ 14, 1 ], [ 15, 1 ], [ 18, 1 ], [ 19, 1 ],
[ 20, 1, 21, 1/2 ] ], [ [ 1, 1 ], [ 3, 1 ], [ 9, 1 ] ] ],
[ "B", 3, 4,
[ [ 1, 1 ], [ 2, 1 ], [ 4, 1 ], [ 7, 1 ], [ 8, 1 ], [ 9, 1 ],
[ 10, 1 ], [ 11, 1 ], [ 13, 1 ], [ 16, 1 ], [ 17, 1 ], [ 18, 1 ],
[ 19, 1 ], [ 20, 1 ], [ 21, 1 ] ],
[ [ 1, 1 ], [ 9, 1 ], [ 21, 1 ] ] ],
[ "B", 3, 1,
[ [ 1, 1, 3, 1 ], [ 2, 1, 6, 1 ], [ 4, 1 ], [ 5, 1, 8, 1 ], [ 7, 1 ],
[ 9, 1 ], [ 10, 1, 12, -1 ], [ 11, 1, 15, 1 ], [ 13, 1 ],
[ 14, 1, 17, 1 ], [ 16, 1 ], [ 18, 1 ], [ 19, 1, 21, -1 ],
[ 20, 1, 21, 1 ] ], [ [ 1, 1, 3, 1 ], [ 9, 1 ] ] ],
[ "B", 3, 3,
[ [ 1, 1 ], [ 2, 1, 6, -1 ], [ 3, 1, 9, 1 ], [ 4, 1, 5, 1 ], [ 7, 1 ],
[ 8, 1 ], [ 10, 1 ], [ 11, 1, 15, 1 ], [ 12, 1, 18, 1 ],
[ 13, 1, 14, -1 ], [ 16, 1 ], [ 17, 1 ], [ 19, 1 ],
[ 20, 1, 21, 1 ] ], [ [ 1, 1 ], [ 3, 1, 9, 1 ] ] ],
[ "B", 3, 1,
[ [ 2, 1 ], [ 3, 1 ], [ 5, 1 ], [ 7, 1 ], [ 11, 1 ], [ 12, 1 ],
[ 14, 1 ], [ 16, 1 ], [ 20, 1 ], [ 21, 1 ] ],
[ [ 11, 1 ], [ 20, 1, 21, 1 ] ] ],
[ "B", 3, 2,
[ [ 1, 1, 9, -1 ], [ 2, 1, 7, -1 ], [ 3, 1 ], [ 4, 1, 8, -1 ],
[ 5, 1 ], [ 6, 1 ], [ 11, 1, 16, 1 ], [ 12, 1 ], [ 13, 1, 17, 1 ],
[ 21, 1 ] ], [ [ 2, 1, 7, -1 ], [ 12, 1 ] ] ],
[ "B", 3, 2,
[ [ 1, 1 ], [ 2, 1, 7, 1 ], [ 4, 1, 8, 1 ], [ 9, 1 ], [ 10, 1 ],
[ 11, 1, 16, 1 ], [ 13, 1, 17, 1 ], [ 18, 1 ], [ 19, 1 ],
[ 20, 1, 21, 1/2 ] ], [ [ 19, 1 ], [ 20, 1, 21, 1/2 ] ] ],
[ "B", 3, 2,
[ [ 2, 1 ], [ 3, 1 ], [ 5, 1 ], [ 7, 1 ], [ 11, 1 ], [ 12, 1 ],
[ 14, 1 ], [ 16, 1 ], [ 20, 1 ], [ 21, 1 ] ],
[ [ 5, 1 ], [ 21, 1 ] ] ],
[ "B", 3, 3,
[ [ 1, 1, 9, -1 ], [ 2, 1, 7, -1 ], [ 3, 1 ], [ 4, 1, 8, -1 ],
[ 5, 1 ], [ 6, 1 ], [ 10, 1, 18, -1 ], [ 13, 1, 17, -1 ],
[ 15, 1 ], [ 19, 1, 20, 1, 21, 1/2 ] ],
[ [ 3, 1 ], [ 10, 1, 18, -1 ] ] ],
[ "B", 3, 3,
[ [ 2, 1 ], [ 3, 1 ], [ 5, 1 ], [ 7, 1 ], [ 11, 1 ], [ 12, 1 ],
[ 14, 1 ], [ 16, 1 ], [ 20, 1 ], [ 21, 1 ] ],
[ [ 12, 1 ], [ 20, 1, 21, 1/2 ] ] ],
[ "B", 3, 3,
[ [ 1, 1 ], [ 5, 1 ], [ 6, 1 ], [ 9, 1 ], [ 10, 1 ], [ 14, 1 ],
[ 15, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1, 21, 1/2 ] ],
[ [ 19, 1 ], [ 20, 1, 21, 1/2 ] ] ],
[ "B", 3, 4,
[ [ 1, 1 ], [ 2, 1, 7, 1 ], [ 4, 1, 8, 1 ], [ 9, 1 ], [ 10, 1 ],
[ 11, 1, 16, 1 ], [ 13, 1, 17, 1 ], [ 18, 1 ], [ 19, 1 ],
[ 20, 1, 21, 1/2 ] ], [ [ 1, 1, 9, 1 ], [ 13, 1, 17, 1 ] ] ],
[ "B", 3, 4,
[ [ 1, 1, 9, 1 ], [ 2, 1, 7, 1 ], [ 3, 1 ], [ 4, 1, 8, 1 ],
[ 11, 1, 16, -1 ], [ 12, 1 ], [ 13, 1, 17, -1 ], [ 14, 1 ],
[ 15, 1 ], [ 21, 1 ] ], [ [ 2, 1, 7, 1 ], [ 13, 1, 17, -1 ] ] ],
[ "C", 3, 1,
[ [ 1, 1 ], [ 2, 1 ], [ 4, 1 ], [ 10, 1 ], [ 11, 1 ], [ 13, 1 ],
[ 19, 1 ], [ 20, 1 ] ], [ [ 1, 1 ], [ 19, 1, 20, 2 ] ] ],
[ "C", 3, 1,
[ [ 2, 1 ], [ 3, 1 ], [ 5, 1 ], [ 7, 1 ], [ 9, 1 ], [ 11, 1 ],
[ 12, 1 ], [ 14, 1 ], [ 16, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ],
[ 21, 1 ] ], [ [ 2, 1 ], [ 3, 1, 7, 1 ], [ 9, 1 ] ] ],
[ "C", 3, 2,
[ [ 1, 1 ], [ 3, 1, 9, 1 ], [ 7, 1, 9, -1 ], [ 8, 1 ], [ 11, 1 ],
[ 13, 1 ], [ 14, 1 ], [ 15, 1 ] ],
[ [ 3, 1, 9, 1 ], [ 7, 1, 9, -1 ] ] ],
[ "C", 3, 2,
[ [ 1, 1 ], [ 3, 1 ], [ 7, 1 ], [ 8, 1 ], [ 9, 1 ], [ 10, 1 ],
[ 12, 1 ], [ 16, 1 ], [ 17, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ],
[ 21, 1 ] ], [ [ 3, 1 ], [ 7, 1 ], [ 9, 1 ] ] ],
[ "C", 3, 2,
[ [ 2, 1 ], [ 3, 1 ], [ 5, 1 ], [ 7, 1 ], [ 9, 1 ], [ 11, 1 ],
[ 12, 1 ], [ 14, 1 ], [ 16, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ],
[ 21, 1 ] ], [ [ 2, 1 ], [ 3, 1, 7, 1 ], [ 9, 1 ] ] ],
[ "C", 3, 3,
[ [ 1, 1 ], [ 2, 1 ], [ 3, 1, 9, -1 ], [ 4, 1 ], [ 5, 1 ], [ 6, 1 ],
[ 7, 1, 9, -1 ], [ 8, 1 ] ],
[ [ 1, 1 ], [ 3, 1, 7, -1/2, 9, -1/2 ] ] ],
[ "C", 3, 3,
[ [ 1, 1, 13, -1 ], [ 2, 1, 19, 2, 21, -2 ], [ 3, 1, 7, 1 ],
[ 4, 1, 10, 1 ], [ 6, 1, 17, 1 ], [ 8, 1, 15, -1 ],
[ 12, 1, 16, 1 ], [ 20, 1, 21, 2 ] ],
[ [ 1, 1, 13, -1 ], [ 2, 1, 19, 2, 20, 5, 21, 8 ] ] ],
[ "C", 3, 3,
[ [ 1, 1 ], [ 2, 1 ], [ 4, 1 ], [ 10, 1 ], [ 11, 1 ], [ 13, 1 ],
[ 19, 1 ], [ 20, 1 ] ], [ [ 1, 1 ], [ 19, 1, 20, 2 ] ] ],
[ "C", 3, 3,
[ [ 1, 1 ], [ 3, 1 ], [ 7, 1 ], [ 8, 1 ], [ 9, 1 ], [ 10, 1 ],
[ 12, 1 ], [ 16, 1 ], [ 17, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ],
[ 21, 1 ] ], [ [ 1, 1 ], [ 19, 1, 20, 2 ], [ 21, 1 ] ] ],
[ "C", 3, 1,
[ [ 2, 1, 13, -1, 19, 1/2*Sqroot(5), 21, 3/2 ],
[ 3, 1, 7, -1, 9, 1, 17, -4 ],
[ 5, 1, 12, 3/2, 15, -1, 16, 1/2*Sqroot(5), 18, 1/2*Sqroot(5) ] ],
[ [ 2, 1, 13, -1, 19, 1/2*Sqroot(5), 21, 3/2 ] ] ],
[ "C", 3, 3,
[ [ 1, 1, 19, 3/2, 20, 3, 21, 3/2 ],
[ 5, 1, 7, -6/13, 8, (-3/26)*Sqroot(10), 9, 6/13, 14,
(-4/13)*Sqroot(10), 15, -3/13, 16, (-3/26)*Sqroot(10), 17,
6/13, 18, 3/26*Sqroot(10) ],
[ 6, 1, 7, (-3/26)*Sqroot(10), 8, 6/13, 9, 3/26*Sqroot(10), 14,
3/13, 15, (-4/13)*Sqroot(10), 16, 6/13, 17, 3/26*Sqroot(10),
18, -6/13 ] ], [ [ 1, 1, 19, 3/2, 20, 3, 21, 3/2 ] ] ],
[ "C", 3, 1,
[ [ 3, 1, 7, -1, 9, 1 ], [ 4, 1 ], [ 12, 1, 16, 1, 18, 1 ], [ 14, 1 ],
[ 17, 1 ], [ 19, 1, 21, 1 ] ], [ [ 3, 1, 7, -1, 9, 1 ], [ 4, 1 ] ]
],
[ "C", 3, 2,
[ [ 3, 1, 7, -1, 9, 1 ], [ 6, 1 ], [ 10, 1 ], [ 12, 1, 16, 1, 18, -1 ],
[ 14, 1 ], [ 19, 1, 20, 2, 21, 1 ] ],
[ [ 3, 1, 7, -1, 9, 1 ], [ 14, 1 ] ] ],
[ "C", 3, 3,
[ [ 1, 1, 21, -1 ], [ 5, 1, 15, 1, 16, Sqroot(2), 18, Sqroot(2) ],
[ 6, 1, 9, (-2/3)*Sqroot(2), 14, 1/3, 17, 1/3*Sqroot(2) ],
[ 7, 1, 9, 1/3, 14, 2/3*Sqroot(2), 17, 1/3 ],
[ 8, 1, 15, 2*Sqroot(2), 16, 1, 18, 3 ], [ 19, 1, 20, 2, 21, -1 ] ]
, [ [ 1, 1, 21, -1 ], [ 19, 1, 20, 2, 21, -1 ] ] ],
[ "A", 4, 1,
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 7, 1 ], [ 11, 1 ], [ 13, 1 ],
[ 14, 1 ], [ 17, 1 ], [ 21, 1 ], [ 23, 1 ], [ 24, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 23, 1, 24, 2 ] ] ],
[ "A", 4, 1,
[ [ 1, 1 ], [ 2, 1 ], [ 3, 1 ], [ 5, 1 ], [ 6, 1 ], [ 8, 1 ],
[ 11, 1 ], [ 12, 1 ], [ 13, 1 ], [ 15, 1 ], [ 16, 1 ], [ 18, 1 ],
[ 21, 1 ], [ 22, 1 ], [ 23, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 21, 1, 22, 2, 23, 1 ] ] ],
[ "A", 4, 2,
[ [ 1, 1 ], [ 2, 1, 16, 1 ], [ 3, 1, 23, -1, 24, -2 ],
[ 4, 1, 17, -1 ], [ 5, 1, 18, 1 ], [ 6, 1, 12, -1 ],
[ 7, 1, 14, 1 ], [ 8, 1, 15, -1 ], [ 11, 1 ], [ 21, 1 ],
[ 22, 1, 24, -1 ] ],
[ [ 2, 1, 16, 1 ], [ 3, 1, 21, -4, 22, -2, 23, -1 ], [ 4, 1, 17, -1 ]
] ],
[ "A", 4, 2,
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 7, 1 ], [ 11, 1 ], [ 13, 1 ],
[ 14, 1 ], [ 17, 1 ], [ 21, 1 ], [ 23, 1 ], [ 24, 1 ] ],
[ [ 3, 1 ], [ 21, 1 ], [ 23, 1, 24, 2 ] ] ],
[ "A", 4, 2,
[ [ 1, 1 ], [ 2, 1, 16, -1 ], [ 3, 1, 23, -1, 24, -2 ],
[ 4, 1, 17, -1 ], [ 5, 1, 18, -1 ], [ 6, 1, 12, 1 ],
[ 7, 1, 14, 1 ], [ 8, 1, 15, 1 ], [ 9, 1 ], [ 10, 1 ], [ 11, 1 ],
[ 19, 1 ], [ 20, 1 ], [ 21, 1 ], [ 22, 1, 23, 1, 24, 1 ] ],
[ [ 2, 1, 16, -1 ], [ 3, 1, 22, -2, 23, -3, 24, -4 ],
[ 21, 1, 22, 1, 23, 1, 24, 1 ] ] ],
[ "A", 4, 2,
[ [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 6, 1 ], [ 7, 1 ], [ 9, 1 ],
[ 12, 1 ], [ 13, 1 ], [ 14, 1 ], [ 16, 1 ], [ 17, 1 ], [ 19, 1 ],
[ 22, 1 ], [ 23, 1 ], [ 24, 1 ] ],
[ [ 2, 1 ], [ 4, 1 ], [ 22, 1, 23, 2, 24, 1 ] ] ],
[ "A", 4, 3,
[ [ 2, 1 ], [ 7, 1 ], [ 8, 1 ], [ 9, 1 ], [ 12, 1 ], [ 17, 1 ],
[ 18, 1 ], [ 19, 1 ], [ 21, 1, 24, -1 ], [ 22, 1 ],
[ 23, 1, 24, 1 ] ],
[ [ 7, 1 ], [ 21, 1, 23, 1/2, 24, -1/2 ], [ 22, 1, 23, 1/2, 24, 1/2 ]
] ],
[ "A", 4, 3,
[ [ 1, 1 ], [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 11, 1 ], [ 16, 1 ],
[ 17, 1 ], [ 18, 1 ], [ 21, 1 ], [ 22, 1, 24, -1 ],
[ 23, 1, 24, 1 ] ],
[ [ 1, 1 ], [ 7, 1 ], [ 21, 1, 22, 2, 23, 2 ] ] ],
[ "A", 4, 3,
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 7, 1 ], [ 11, 1 ], [ 13, 1 ],
[ 14, 1 ], [ 17, 1 ], [ 21, 1 ], [ 23, 1 ], [ 24, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 23, 1, 24, 2 ] ] ],
[ "A", 4, 3,
[ [ 1, 1 ], [ 2, 1 ], [ 3, 1 ], [ 5, 1 ], [ 6, 1 ], [ 8, 1 ],
[ 11, 1 ], [ 12, 1 ], [ 13, 1 ], [ 15, 1 ], [ 16, 1 ], [ 18, 1 ],
[ 21, 1 ], [ 22, 1 ], [ 23, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 21, 1, 22, 2, 23, 1 ] ] ],
[ "A", 4, 3,
[ [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 7, 1 ], [ 8, 1 ], [ 10, 1 ],
[ 13, 1 ], [ 14, 1 ], [ 15, 1 ], [ 17, 1 ], [ 18, 1 ], [ 20, 1 ],
[ 21, 1, 22, 1 ], [ 23, 1 ], [ 24, 1 ] ],
[ [ 3, 1 ], [ 21, 1, 22, 1, 24, -1 ], [ 23, 1, 24, 2 ] ] ],
[ "A", 4, 4,
[ [ 2, 1, 12, -1 ], [ 3, 1, 13, 1 ], [ 4, 1 ], [ 5, 1, 15, 1 ],
[ 6, 1, 23, -2 ], [ 7, 1, 17, -1 ], [ 8, 1 ], [ 10, 1, 23, -2 ],
[ 11, 1 ], [ 19, 1 ], [ 24, 1 ] ],
[ [ 2, 1, 12, -1 ], [ 6, 1, 10, -2, 23, 2, 24, 4 ], [ 8, 1, 11, 1 ] ] ]
,
[ "A", 4, 4,
[ [ 1, 1, 18, -1 ], [ 2, 1, 12, 1 ], [ 3, 1, 13, -1 ],
[ 4, 1, 19, -1 ], [ 5, 1 ], [ 6, 1, 24, -2 ], [ 7, 1 ],
[ 8, 1, 11, 1 ], [ 9, 1, 14, 1 ], [ 10, 1 ], [ 15, 1 ], [ 17, 1 ],
[ 20, 1 ], [ 21, 1, 22, 1 ], [ 23, 1, 24, 1 ] ],
[ [ 1, 1, 18, -1 ], [ 5, 1, 15, -1 ], [ 6, 1, 10, -2, 23, 2 ] ] ],
[ "A", 4, 1,
[ [ 1, 1, 20, -1, 23, Sqroot(2) ],
[ 2, 1, 11, Sqroot(2), 13, 1, 17, -1, 19, -1 ],
[ 3, 1, 21, -2, 22, -2, 23, -1 ],
[ 4, 1, 11, (-1)*Sqroot(2), 13, -1, 16, -1, 19, -1 ],
[ 5, 1, 12, (-1)*Sqroot(2), 14, Sqroot(2), 18, -1, 22,
(-1)*Sqroot(2), 23, (-1)*Sqroot(2), 24, (-1)*Sqroot(2) ],
[ 6, 1, 14, -1, 20, Sqroot(2), 22, 1, 24, 1 ],
[ 7, 1, 12, -1, 20, Sqroot(2), 22, -1, 23, -2, 24, -1 ],
[ 8, 1, 15, 1, 16, Sqroot(2), 17, Sqroot(2), 19, Sqroot(2) ],
[ 9, 1, 21, -2, 22, -3, 23, -1, 24, 1 ],
[ 10, 1, 11, 1, 13, Sqroot(2) ] ],
[ [ 1, 1, 6, 1/2*Sqroot(2), 7, 1/2*Sqroot(2), 12, (-1/2)*Sqroot(2),
14, (-1/2)*Sqroot(2), 20, 1 ],
[ 2, 1, 4, 1, 8, Sqroot(2), 10, Sqroot(2), 11, Sqroot(2), 13, 2,
15, Sqroot(2), 16, 1, 17, 1 ] ] ],
[ "A", 4, 4,
[ [ 1, 1 ], [ 2, 1 ], [ 5, 1 ], [ 8, 1 ], [ 11, 1 ], [ 12, 1 ],
[ 15, 1 ], [ 18, 1 ], [ 21, 1 ], [ 22, 1 ] ],
[ [ 1, 1 ], [ 8, 1 ] ] ],
[ "A", 4, 3,
[ [ 1, 1 ], [ 2, 1, 16, -1, 19, Sqroot(2) ], [ 3, 1, 23, -1, 24, -2 ],
[ 4, 1, 17, 1, 23, Sqroot(2) ], [ 5, 1, 18, -1, 20, Sqroot(2) ],
[ 6, 1, 12, -1, 16, -2, 19, Sqroot(2) ],
[ 7, 1, 13, (-1)*Sqroot(2), 14, -1 ],
[ 8, 1, 15, -1, 18, -2, 20, Sqroot(2) ],
[ 9, 1, 12, Sqroot(2), 16, Sqroot(2), 19, -1 ],
[ 10, 1, 15, Sqroot(2), 18, Sqroot(2), 20, -1 ] ],
[ [ 1, 1 ], [ 3, 1, 23, -1, 24, -2 ] ] ],
[ "A", 4, 4,
[ [ 2, 1 ], [ 3, 1 ], [ 6, 1 ], [ 10, 1 ], [ 11, 1 ], [ 14, 1 ],
[ 15, 1 ], [ 17, 1 ], [ 18, 1 ], [ 19, 1 ] ],
[ [ 2, 1 ], [ 11, 1, 18, 1 ] ] ],
[ "A", 4, 2,
[ [ 1, 1, 8, -1 ], [ 2, 1, 4, -1 ], [ 3, 1, 9, 1 ], [ 5, 1, 10, 1 ],
[ 11, 1, 18, 1 ], [ 12, 1, 14, 1 ], [ 13, 1, 19, 1 ],
[ 15, 1, 20, -1 ], [ 22, 1, 24, -1 ], [ 23, 1, 24, 1 ] ],
[ [ 2, 1, 4, -1 ], [ 3, 1, 9, 1 ] ] ],
[ "A", 4, 4,
[ [ 1, 1, 8, -1 ], [ 2, 1 ], [ 4, 1, 9, -1 ], [ 5, 1 ], [ 7, 1 ],
[ 10, 1 ], [ 11, 1, 18, 1 ], [ 12, 1 ], [ 14, 1, 19, 1 ],
[ 22, 1 ] ], [ [ 1, 1, 8, -1 ], [ 12, 1 ] ] ],
[ "B", 4, 1,
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 7, 1 ], [ 10, 1 ], [ 16, 1 ],
[ 17, 1 ], [ 19, 1 ], [ 20, 1 ], [ 23, 1 ], [ 26, 1 ], [ 32, 1 ],
[ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 10, 1 ], [ 16, 1 ] ] ],
[ "B", 4, 1,
[ [ 1, 1 ], [ 2, 1 ], [ 4, 1 ], [ 5, 1 ], [ 14, 1 ], [ 15, 1 ],
[ 16, 1 ], [ 17, 1 ], [ 18, 1 ], [ 20, 1 ], [ 21, 1 ], [ 30, 1 ],
[ 31, 1 ], [ 32, 1 ], [ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1 ], [ 4, 1 ], [ 16, 1 ], [ 35, 1, 36, 1/2 ] ] ],
[ "B", 4, 1,
[ [ 1, 1 ], [ 2, 1 ], [ 3, 1 ], [ 5, 1 ], [ 6, 1 ], [ 8, 1 ],
[ 10, 1 ], [ 12, 1 ], [ 13, 1 ], [ 14, 1 ], [ 15, 1 ], [ 16, 1 ],
[ 17, 1 ], [ 18, 1 ], [ 19, 1 ], [ 21, 1 ], [ 22, 1 ], [ 24, 1 ],
[ 26, 1 ], [ 28, 1 ], [ 29, 1 ], [ 30, 1 ], [ 31, 1 ], [ 32, 1 ],
[ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 10, 1 ], [ 16, 1 ] ] ],
[ "B", 4, 2,
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 7, 1 ], [ 10, 1 ], [ 16, 1 ],
[ 17, 1 ], [ 19, 1 ], [ 20, 1 ], [ 23, 1 ], [ 26, 1 ], [ 32, 1 ],
[ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 3, 1 ], [ 10, 1 ], [ 33, 1 ], [ 34, 1, 35, 1, 36, 1/2 ] ] ],
[ "B", 4, 2,
[ [ 1, 1 ], [ 3, 1 ], [ 9, 1 ], [ 10, 1 ], [ 11, 1 ], [ 16, 1 ],
[ 17, 1 ], [ 19, 1 ], [ 25, 1 ], [ 26, 1 ], [ 27, 1 ], [ 32, 1 ],
[ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 3, 1 ], [ 9, 1 ], [ 10, 1 ], [ 33, 1, 34, 1, 35, 1, 36, 1/2 ] ] ],
[ "B", 4, 2,
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 7, 1 ], [ 10, 1 ], [ 16, 1 ],
[ 18, 1 ], [ 21, 1 ], [ 22, 1 ], [ 24, 1 ], [ 25, 1 ], [ 27, 1 ],
[ 28, 1 ], [ 29, 1 ], [ 30, 1 ], [ 31, 1 ] ],
[ [ 1, 1, 16, -1 ], [ 3, 1 ], [ 10, 1 ], [ 25, 1 ] ] ],
[ "B", 4, 2,
[ [ 1, 1 ], [ 2, 1, 14, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1, 15, 1 ],
[ 6, 1, 12, 1 ], [ 7, 1 ], [ 8, 1, 13, 1 ], [ 10, 1 ], [ 16, 1 ],
[ 17, 1 ], [ 18, 1, 30, 1 ], [ 21, 1, 31, 1 ], [ 22, 1, 28, 1 ],
[ 24, 1, 29, 1 ], [ 32, 1 ], [ 33, 1 ], [ 34, 1, 35, 1, 36, 1/2 ] ]
,
[ [ 2, 1, 14, 1 ], [ 4, 1 ], [ 22, 1, 28, 1 ],
[ 33, 1, 34, 1, 35, 1, 36, 1/2 ] ] ],
[ "B", 4, 2,
[ [ 1, 1 ], [ 2, 1, 14, -1 ], [ 3, 1 ], [ 5, 1, 15, -1 ],
[ 6, 1, 12, -1 ], [ 8, 1, 13, -1 ], [ 10, 1 ], [ 16, 1 ],
[ 18, 1, 30, 1 ], [ 19, 1 ], [ 21, 1, 31, 1 ], [ 22, 1, 28, 1 ],
[ 24, 1, 29, 1 ], [ 25, 1 ], [ 26, 1 ], [ 27, 1 ], [ 35, 1 ],
[ 36, 1 ] ],
[ [ 2, 1, 14, -1 ], [ 3, 1, 10, 1 ], [ 8, 1, 13, -1 ], [ 25, 1 ] ] ],
[ "B", 4, 2,
[ [ 1, 1, 16, 1 ], [ 2, 1, 14, -1 ], [ 3, 1 ], [ 4, 1 ],
[ 6, 1, 12, -1 ], [ 7, 1 ], [ 9, 1 ], [ 10, 1 ], [ 17, 1, 32, 1 ],
[ 18, 1, 30, 1 ], [ 19, 1 ], [ 20, 1 ], [ 22, 1, 28, 1 ],
[ 23, 1 ], [ 26, 1 ], [ 33, 1, 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 2, 1, 14, -1 ], [ 3, 1, 10, 1 ], [ 4, 1 ],
[ 33, 1, 34, 1, 35, 1, 36, 1/2 ] ] ],
[ "B", 4, 2,
[ [ 1, 1 ], [ 2, 1 ], [ 3, 1 ], [ 5, 1 ], [ 6, 1 ], [ 8, 1 ],
[ 10, 1 ], [ 12, 1 ], [ 13, 1 ], [ 14, 1 ], [ 15, 1 ], [ 16, 1 ],
[ 17, 1 ], [ 18, 1 ], [ 19, 1 ], [ 21, 1 ], [ 22, 1 ], [ 24, 1 ],
[ 26, 1 ], [ 28, 1 ], [ 29, 1 ], [ 30, 1 ], [ 31, 1 ], [ 32, 1 ],
[ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 2, 1 ], [ 14, 1 ], [ 33, 1, 34, 1, 35, 1 ], [ 36, 1 ] ] ],
[ "B", 4, 2,
[ [ 1, 1, 16, 1 ], [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1, 15, 1 ],
[ 6, 1 ], [ 7, 1 ], [ 8, 1, 13, 1 ], [ 9, 1 ], [ 10, 1 ],
[ 12, 1 ], [ 14, 1 ], [ 17, 1, 32, -1 ], [ 18, 1 ], [ 19, 1 ],
[ 20, 1 ], [ 21, 1, 31, -1 ], [ 22, 1 ], [ 23, 1 ],
[ 24, 1, 29, -1 ], [ 25, 1 ], [ 26, 1 ], [ 27, 1 ], [ 28, 1 ],
[ 30, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 2, 1 ], [ 4, 1 ], [ 8, 1, 13, 1 ], [ 14, 1 ] ] ],
[ "B", 4, 3,
[ [ 2, 1 ], [ 4, 1 ], [ 8, 1 ], [ 11, 1 ], [ 13, 1 ], [ 14, 1 ],
[ 18, 1 ], [ 20, 1 ], [ 24, 1 ], [ 27, 1 ], [ 29, 1 ], [ 30, 1 ],
[ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 4, 1 ], [ 33, 1 ], [ 34, 1 ], [ 35, 1, 36, 1/2 ] ] ],
[ "B", 4, 3,
[ [ 1, 1, 16, -1 ], [ 2, 1 ], [ 4, 1 ], [ 5, 1, 15, -1 ],
[ 8, 1, 13, 1 ], [ 14, 1 ], [ 17, 1, 32, 1 ], [ 18, 1 ],
[ 20, 1 ], [ 21, 1, 31, 1 ], [ 24, 1, 29, -1 ], [ 27, 1 ],
[ 30, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1, 16, -1 ], [ 4, 1 ], [ 8, 1, 13, 1 ], [ 35, 1, 36, 1/2 ] ] ],
[ "B", 4, 3,
[ [ 1, 1, 16, -1 ], [ 3, 1, 10, 1 ], [ 5, 1, 15, 1 ], [ 6, 1, 12, -1 ],
[ 7, 1 ], [ 8, 1 ], [ 13, 1 ], [ 17, 1, 32, 1 ], [ 19, 1, 26, 1 ],
[ 20, 1 ], [ 21, 1, 31, -1 ], [ 22, 1, 28, -1 ], [ 23, 1 ],
[ 27, 1 ], [ 34, 1 ], [ 35, 1, 36, 1/2 ] ],
[ [ 1, 1, 16, -1 ], [ 3, 1, 10, 1 ], [ 7, 1 ], [ 22, 1, 28, -1 ] ] ],
[ "B", 4, 3,
[ [ 1, 1 ], [ 3, 1, 10, -1 ], [ 4, 1 ], [ 6, 1, 12, 1 ], [ 7, 1 ],
[ 8, 1, 13, 1 ], [ 16, 1 ], [ 17, 1 ], [ 19, 1, 26, -1 ],
[ 22, 1, 28, 1 ], [ 23, 1 ], [ 24, 1, 29, 1 ], [ 32, 1 ],
[ 33, 1 ], [ 34, 1 ], [ 35, 1, 36, 1/2 ] ],
[ [ 1, 1 ], [ 3, 1, 10, -1 ], [ 16, 1 ], [ 23, 1 ] ] ],
[ "B", 4, 3,
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 7, 1 ], [ 10, 1 ], [ 16, 1 ],
[ 17, 1 ], [ 19, 1 ], [ 20, 1 ], [ 23, 1 ], [ 26, 1 ], [ 32, 1 ],
[ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 10, 1 ], [ 16, 1 ] ] ],
[ "B", 4, 3,
[ [ 1, 1, 16, 1 ], [ 2, 1 ], [ 3, 1, 10, 1 ], [ 4, 1 ],
[ 5, 1, 15, 1 ], [ 6, 1, 12, 1 ], [ 8, 1 ], [ 11, 1 ], [ 13, 1 ],
[ 14, 1 ], [ 17, 1, 32, -1 ], [ 18, 1 ], [ 19, 1, 26, 1 ],
[ 21, 1, 31, -1 ], [ 22, 1, 28, 1 ], [ 30, 1 ], [ 34, 1 ],
[ 35, 1, 36, 1/2 ] ],
[ [ 1, 1, 16, 1 ], [ 2, 1, 14, -1 ], [ 3, 1, 10, 1 ], [ 4, 1 ] ] ],
[ "B", 4, 3,
[ [ 2, 1 ], [ 3, 1, 10, -1 ], [ 4, 1 ], [ 6, 1, 12, -1 ], [ 7, 1 ],
[ 8, 1, 13, 1 ], [ 9, 1 ], [ 14, 1 ], [ 18, 1 ], [ 19, 1, 26, -1 ],
[ 22, 1, 28, -1 ], [ 23, 1 ], [ 24, 1, 29, 1 ], [ 25, 1 ],
[ 30, 1 ], [ 33, 1 ], [ 34, 1 ], [ 35, 1, 36, 1/2 ] ],
[ [ 3, 1, 10, -1 ], [ 23, 1 ], [ 33, 1 ], [ 34, 1, 35, 1, 36, 1/2 ] ] ]
,
[ "B", 4, 3,
[ [ 1, 1 ], [ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 12, 1 ], [ 13, 1 ],
[ 16, 1 ], [ 17, 1 ], [ 22, 1 ], [ 23, 1 ], [ 24, 1 ], [ 28, 1 ],
[ 29, 1 ], [ 32, 1 ], [ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1 ], [ 7, 1 ], [ 16, 1 ], [ 36, 1 ] ] ],
[ "B", 4, 3,
[ [ 1, 1, 16, -1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1, 15, 1 ], [ 7, 1 ],
[ 8, 1, 13, 1 ], [ 10, 1 ], [ 17, 1, 32, 1 ], [ 19, 1 ],
[ 20, 1 ], [ 21, 1, 31, -1 ], [ 23, 1 ], [ 24, 1, 29, -1 ],
[ 26, 1 ], [ 27, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1, 16, -1 ], [ 3, 1 ], [ 10, 1 ], [ 27, 1 ] ] ],
[ "B", 4, 3,
[ [ 1, 1 ], [ 2, 1 ], [ 3, 1 ], [ 5, 1 ], [ 6, 1 ], [ 8, 1 ],
[ 10, 1 ], [ 12, 1 ], [ 13, 1 ], [ 14, 1 ], [ 15, 1 ], [ 16, 1 ],
[ 17, 1 ], [ 18, 1 ], [ 19, 1 ], [ 21, 1 ], [ 22, 1 ], [ 24, 1 ],
[ 26, 1 ], [ 28, 1 ], [ 29, 1 ], [ 30, 1 ], [ 31, 1 ], [ 32, 1 ],
[ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 10, 1 ], [ 16, 1 ] ] ],
[ "B", 4, 3,
[ [ 1, 1, 16, 1 ], [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1, 15, 1 ],
[ 6, 1 ], [ 7, 1 ], [ 8, 1, 13, 1 ], [ 9, 1 ], [ 10, 1 ],
[ 12, 1 ], [ 14, 1 ], [ 17, 1, 32, -1 ], [ 18, 1 ], [ 19, 1 ],
[ 20, 1 ], [ 21, 1, 31, -1 ], [ 22, 1 ], [ 23, 1 ],
[ 24, 1, 29, -1 ], [ 25, 1 ], [ 26, 1 ], [ 27, 1 ], [ 28, 1 ],
[ 30, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1, 16, 1 ], [ 3, 1 ], [ 9, 1 ], [ 10, 1 ] ] ],
[ "B", 4, 4,
[ [ 1, 1 ], [ 3, 1 ], [ 9, 1 ], [ 10, 1 ], [ 11, 1 ], [ 16, 1 ],
[ 17, 1 ], [ 19, 1 ], [ 25, 1 ], [ 26, 1 ], [ 27, 1 ], [ 32, 1 ],
[ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1 ], [ 16, 1 ], [ 35, 1 ], [ 36, 1 ] ] ],
[ "B", 4, 4,
[ [ 1, 1, 16, 1 ], [ 3, 1 ], [ 5, 1, 15, -1 ], [ 8, 1, 13, -1 ],
[ 9, 1 ], [ 10, 1 ], [ 17, 1, 32, -1 ], [ 19, 1 ],
[ 21, 1, 31, 1 ], [ 24, 1, 29, 1 ], [ 25, 1 ], [ 26, 1 ],
[ 27, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1, 16, 1 ], [ 5, 1, 15, -1 ], [ 9, 1 ], [ 36, 1 ] ] ],
[ "B", 4, 4,
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 7, 1 ], [ 10, 1 ], [ 16, 1 ],
[ 17, 1 ], [ 19, 1 ], [ 20, 1 ], [ 23, 1 ], [ 26, 1 ], [ 32, 1 ],
[ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1 ], [ 4, 1 ], [ 16, 1 ], [ 35, 1, 36, 1/2 ] ] ],
[ "B", 4, 4,
[ [ 1, 1, 16, 1 ], [ 2, 1, 14, 1 ], [ 4, 1 ], [ 5, 1 ],
[ 6, 1, 12, -1 ], [ 9, 1 ], [ 15, 1 ], [ 17, 1, 32, 1 ],
[ 18, 1, 30, -1 ], [ 20, 1 ], [ 21, 1 ], [ 22, 1, 28, 1 ],
[ 31, 1 ], [ 33, 1, 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1, 16, 1 ], [ 4, 1 ], [ 5, 1, 15, -1 ], [ 22, 1, 28, 1 ] ] ],
[ "B", 4, 4,
[ [ 1, 1, 16, 1 ], [ 2, 1, 14, -1 ], [ 3, 1 ], [ 4, 1 ],
[ 6, 1, 12, -1 ], [ 7, 1 ], [ 9, 1 ], [ 10, 1 ], [ 17, 1, 32, 1 ],
[ 18, 1, 30, 1 ], [ 19, 1 ], [ 20, 1 ], [ 22, 1, 28, 1 ],
[ 23, 1 ], [ 26, 1 ], [ 33, 1, 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1, 16, 1 ], [ 2, 1, 14, -1 ], [ 3, 1, 10, 1 ], [ 4, 1 ] ] ],
[ "B", 4, 4,
[ [ 1, 1 ], [ 2, 1, 14, 1 ], [ 3, 1 ], [ 5, 1, 15, 1 ],
[ 6, 1, 12, 1 ], [ 8, 1, 13, 1 ], [ 9, 1 ], [ 10, 1 ], [ 11, 1 ],
[ 16, 1 ], [ 18, 1, 30, -1 ], [ 19, 1 ], [ 21, 1, 31, -1 ],
[ 22, 1, 28, -1 ], [ 24, 1, 29, -1 ], [ 26, 1 ], [ 35, 1 ],
[ 36, 1 ] ], [ [ 1, 1 ], [ 16, 1 ], [ 35, 1 ], [ 36, 1 ] ] ],
[ "B", 4, 4,
[ [ 1, 1 ], [ 2, 1, 14, -1 ], [ 3, 1 ], [ 5, 1, 15, -1 ],
[ 6, 1, 12, -1 ], [ 8, 1, 13, -1 ], [ 10, 1 ], [ 16, 1 ],
[ 17, 1 ], [ 18, 1, 30, -1 ], [ 20, 1 ], [ 21, 1, 31, -1 ],
[ 22, 1, 28, -1 ], [ 23, 1 ], [ 24, 1, 29, -1 ], [ 32, 1 ],
[ 33, 1 ], [ 34, 1, 35, 1, 36, 1/2 ] ],
[ [ 1, 1 ], [ 3, 1, 10, -1 ], [ 16, 1 ], [ 20, 1 ] ] ],
[ "B", 4, 4,
[ [ 1, 1 ], [ 2, 1 ], [ 4, 1 ], [ 5, 1 ], [ 14, 1 ], [ 15, 1 ],
[ 16, 1 ], [ 17, 1 ], [ 18, 1 ], [ 20, 1 ], [ 21, 1 ], [ 30, 1 ],
[ 31, 1 ], [ 32, 1 ], [ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1 ], [ 4, 1 ], [ 16, 1 ], [ 35, 1, 36, 1/2 ] ] ],
[ "B", 4, 4,
[ [ 1, 1, 16, 1 ], [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1, 15, 1 ],
[ 6, 1 ], [ 7, 1 ], [ 8, 1, 13, 1 ], [ 9, 1 ], [ 10, 1 ],
[ 12, 1 ], [ 14, 1 ], [ 17, 1, 32, -1 ], [ 18, 1 ], [ 19, 1 ],
[ 20, 1 ], [ 21, 1, 31, -1 ], [ 22, 1 ], [ 23, 1 ],
[ 24, 1, 29, -1 ], [ 25, 1 ], [ 26, 1 ], [ 27, 1 ], [ 28, 1 ],
[ 30, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1, 16, 1 ], [ 2, 1, 14, -1 ], [ 3, 1, 10, 1 ], [ 4, 1 ] ] ],
[ "B", 4, 4,
[ [ 1, 1 ], [ 2, 1 ], [ 3, 1 ], [ 5, 1 ], [ 6, 1 ], [ 8, 1 ],
[ 10, 1 ], [ 12, 1 ], [ 13, 1 ], [ 14, 1 ], [ 15, 1 ], [ 16, 1 ],
[ 17, 1 ], [ 18, 1 ], [ 19, 1 ], [ 21, 1 ], [ 22, 1 ], [ 24, 1 ],
[ 26, 1 ], [ 28, 1 ], [ 29, 1 ], [ 30, 1 ], [ 31, 1 ], [ 32, 1 ],
[ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1 ], [ 16, 1 ], [ 35, 1 ], [ 36, 1 ] ] ],
[ "B", 4, 5,
[ [ 1, 1 ], [ 2, 1, 14, -1 ], [ 3, 1, 10, 1 ], [ 4, 1 ],
[ 5, 1, 15, -1 ], [ 16, 1 ], [ 17, 1 ], [ 18, 1, 30, -1 ],
[ 19, 1, 26, -1 ], [ 20, 1 ], [ 21, 1, 31, -1 ], [ 23, 1 ],
[ 32, 1 ], [ 33, 1 ], [ 34, 1, 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1 ], [ 3, 1, 10, 1 ], [ 4, 1 ], [ 16, 1 ] ] ],
[ "B", 4, 5,
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 7, 1 ], [ 10, 1 ], [ 16, 1 ],
[ 17, 1 ], [ 19, 1 ], [ 20, 1 ], [ 23, 1 ], [ 26, 1 ], [ 32, 1 ],
[ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 10, 1 ], [ 16, 1 ] ] ],
[ "B", 4, 5,
[ [ 1, 1 ], [ 2, 1 ], [ 3, 1, 10, 1 ], [ 4, 1 ], [ 5, 1 ],
[ 6, 1, 12, 1 ], [ 8, 1, 13, 1 ], [ 14, 1 ], [ 15, 1 ], [ 16, 1 ],
[ 19, 1, 26, -1 ], [ 20, 1 ], [ 22, 1, 28, -1 ], [ 23, 1 ],
[ 24, 1, 29, -1 ], [ 25, 1 ], [ 27, 1 ], [ 36, 1 ] ],
[ [ 1, 1 ], [ 3, 1, 10, 1 ], [ 4, 1 ], [ 16, 1 ] ] ],
[ "B", 4, 5,
[ [ 1, 1 ], [ 2, 1, 14, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1, 15, 1 ],
[ 6, 1, 12, 1 ], [ 7, 1 ], [ 8, 1, 13, 1 ], [ 10, 1 ], [ 16, 1 ],
[ 17, 1 ], [ 18, 1, 30, 1 ], [ 21, 1, 31, 1 ], [ 22, 1, 28, 1 ],
[ 24, 1, 29, 1 ], [ 32, 1 ], [ 33, 1 ], [ 34, 1, 35, 1, 36, 1/2 ] ]
, [ [ 1, 1 ], [ 3, 1 ], [ 10, 1 ], [ 16, 1 ] ] ],
[ "B", 4, 5,
[ [ 1, 1 ], [ 2, 1, 14, 1 ], [ 3, 1, 10, 1 ], [ 4, 1 ],
[ 5, 1, 15, 1 ], [ 6, 1 ], [ 8, 1 ], [ 9, 1 ], [ 11, 1 ],
[ 12, 1 ], [ 13, 1 ], [ 16, 1 ], [ 17, 1 ], [ 18, 1, 30, 1 ],
[ 19, 1, 26, -1 ], [ 20, 1 ], [ 21, 1, 31, 1 ], [ 22, 1 ],
[ 23, 1 ], [ 24, 1 ], [ 25, 1 ], [ 27, 1 ], [ 28, 1 ], [ 29, 1 ],
[ 32, 1 ], [ 33, 1 ], [ 34, 1, 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1 ], [ 3, 1, 10, 1 ], [ 4, 1 ], [ 16, 1 ] ] ],
[ "B", 4, 5,
[ [ 1, 1 ], [ 2, 1 ], [ 3, 1 ], [ 5, 1 ], [ 6, 1 ], [ 8, 1 ],
[ 10, 1 ], [ 12, 1 ], [ 13, 1 ], [ 14, 1 ], [ 15, 1 ], [ 16, 1 ],
[ 17, 1 ], [ 18, 1 ], [ 19, 1 ], [ 21, 1 ], [ 22, 1 ], [ 24, 1 ],
[ 26, 1 ], [ 28, 1 ], [ 29, 1 ], [ 30, 1 ], [ 31, 1 ], [ 32, 1 ],
[ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 10, 1 ], [ 16, 1 ] ] ],
[ "B", 4, 1,
[ [ 1, 1, 3, 1, 10, -3, 16, -7 ],
[ 17, 1, 18, (-1/4)*Sqroot(7), 19, 3/2, 23, 1/2*Sqroot(5), 24,
(-1/4)*Sqroot(7), 29, 1/4*Sqroot(7), 30, 1/4*Sqroot(7) ],
[ 20, 1, 21, 1/10*Sqroot(35), 22, (-1/10)*Sqroot(35), 28,
1/10*Sqroot(35), 31, (-1/10)*Sqroot(35), 33, 2/5*Sqroot(5),
35, 3/5*Sqroot(5) ] ], [ [ 1, 1, 3, 1, 10, -3, 16, -7 ] ] ],
[ "B", 4, 3,
[ [ 1, 1, 3, 1, 10, -3, 16, 2 ],
[ 2, 1, 8, 1, 11, 2/7*Sqroot(35), 13, 1, 14, 1, 18, 1/7*Sqroot(7),
24, (-1/7)*Sqroot(7), 29, (-5/7)*Sqroot(7), 30, 5/7*Sqroot(7) ]
,
[ 5, 1, 6, -1, 9, 2/7*Sqroot(35), 12, -1, 15, 1, 21,
5/7*Sqroot(7), 22, 5/7*Sqroot(7), 28, 1/7*Sqroot(7), 31,
1/7*Sqroot(7) ] ], [ [ 1, 1, 3, 1, 10, -3, 16, 2 ] ] ],
[ "B", 4, 1,
[ [ 1, 1, 10, 2, 16, 5 ],
[ 2, 1, 8, -1, 13, 1, 14, -1, 17, -2, 23, (-1)*Sqroot(2) ],
[ 3, 1, 10, -1, 16, -2 ],
[ 5, 1, 6, 1, 12, -1, 15, -1, 20, (-1)*Sqroot(2), 33, 2 ],
[ 9, 1, 12, Sqroot(2), 15, Sqroot(2), 20, 1, 33, (-1)*Sqroot(2),
35, (-1)*Sqroot(2), 36, (-1)*Sqroot(2) ],
[ 11, 1, 13, (-1)*Sqroot(2), 14, Sqroot(2), 17, Sqroot(2), 23, 1,
26, (-1)*Sqroot(2) ] ],
[ [ 1, 1, 10, 2, 16, 5 ], [ 3, 1, 10, -1, 16, -2 ] ] ],
[ "B", 4, 4,
[ [ 1, 1, 16, 1, 18, 2, 20, Sqroot(2), 21, -1, 31, -1 ],
[ 2, 1, 4, -1, 33, 3, 34, 3, 35, 3, 36, 3/2 ],
[ 3, 1, 9, -1 + Sqroot(2), 10, 3 + (-2)*Sqroot(2), 11,
1 + (-1)*Sqroot(2), 24, -1 + Sqroot(2), 29, 1 + (-1)*Sqroot(2)
], [ 5, 1, 15, 1, 17, 1, 32, 1, 34, 2, 36, (-1)*Sqroot(2) ],
[ 6, 1, 7, 1 + Sqroot(2), 8, -1 + (-1)*Sqroot(2), 12,
3 + 2*Sqroot(2), 13, 1 + Sqroot(2), 27, -1 + (-1)*Sqroot(2) ],
[ 14, 1, 33, 1, 34, 1, 35, 1, 36, 1/2 ] ],
[ [ 1, 1, 16, 1, 18, 2, 20, Sqroot(2), 21, -1, 31, -1 ],
[ 14, 1, 33, 1, 34, 1, 35, 1, 36, 1/2 ] ] ],
[ "B", 4, 3,
[ [ 1, 1, 10, -2, 16, 1 ],
[ 2, 1, 8, 1, 13, -1, 14, -1, 18, -1, 24, -1, 27, (-1)*Sqroot(2),
29, -1, 30, -1 ], [ 3, 1, 10, -1, 16, 1 ],
[ 5, 1, 6, -1, 12, 1, 15, -1, 21, 1, 22, -1, 25, Sqroot(2), 28,
-1, 31, 1 ],
[ 9, 1, 12, Sqroot(2), 15, (-1)*Sqroot(2), 22, (-1)*Sqroot(2), 25,
1, 31, Sqroot(2) ],
[ 11, 1, 13, (-1)*Sqroot(2), 14, (-1)*Sqroot(2), 24,
(-1)*Sqroot(2), 27, -1, 30, (-1)*Sqroot(2) ] ],
[ [ 1, 1, 10, -2, 16, 1 ], [ 3, 1, 10, -1, 16, 1 ] ] ],
[ "B", 4, 1,
[ [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 6, 1 ], [ 7, 1 ], [ 9, 1 ],
[ 10, 1 ], [ 12, 1 ], [ 14, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ],
[ 22, 1 ], [ 23, 1 ], [ 25, 1 ], [ 26, 1 ], [ 28, 1 ], [ 30, 1 ],
[ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 10, 1 ], [ 25, 1 ], [ 35, 1 ] ] ],
[ "B", 4, 2,
[ [ 1, 1, 16, -1 ], [ 2, 1, 14, -1 ], [ 3, 1 ], [ 4, 1 ],
[ 5, 1, 15, -1 ], [ 6, 1, 12, -1 ], [ 7, 1 ], [ 8, 1, 13, -1 ],
[ 9, 1 ], [ 10, 1 ], [ 11, 1 ], [ 18, 1, 30, 1 ], [ 19, 1 ],
[ 20, 1 ], [ 21, 1, 31, 1 ], [ 22, 1, 28, 1 ], [ 23, 1 ],
[ 24, 1, 29, 1 ], [ 26, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 2, 1, 14, -1 ], [ 3, 1, 10, 1 ], [ 4, 1 ] ] ],
[ "B", 4, 2,
[ [ 1, 1 ], [ 2, 1, 14, 1 ], [ 3, 1, 10, 1 ], [ 5, 1, 15, 1 ],
[ 6, 1, 12, 1 ], [ 8, 1, 13, 1 ], [ 9, 1 ], [ 11, 1 ], [ 16, 1 ],
[ 17, 1 ], [ 18, 1, 30, 1 ], [ 20, 1 ], [ 21, 1, 31, 1 ],
[ 22, 1, 28, 1 ], [ 23, 1 ], [ 24, 1, 29, 1 ], [ 25, 1 ],
[ 27, 1 ], [ 32, 1 ], [ 33, 1 ], [ 34, 1, 35, 1, 36, 1/2 ] ],
[ [ 2, 1, 14, 1 ], [ 20, 1 ], [ 33, 1, 34, 1, 35, 1, 36, 1/2 ] ] ],
[ "B", 4, 2,
[ [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 6, 1 ], [ 7, 1 ], [ 9, 1 ],
[ 10, 1 ], [ 12, 1 ], [ 14, 1 ], [ 18, 1 ], [ 19, 1 ], [ 20, 1 ],
[ 22, 1 ], [ 23, 1 ], [ 25, 1 ], [ 26, 1 ], [ 28, 1 ], [ 30, 1 ],
[ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 2, 1 ], [ 4, 1 ], [ 30, 1 ] ] ],
[ "B", 4, 3,
[ [ 1, 1, 16, -1 ], [ 2, 1, 14, -1 ], [ 3, 1, 10, -1 ], [ 4, 1 ],
[ 5, 1, 15, -1 ], [ 6, 1, 12, -1 ], [ 7, 1 ], [ 8, 1 ], [ 9, 1 ],
[ 11, 1 ], [ 13, 1 ], [ 17, 1, 32, -1 ], [ 19, 1, 26, 1 ],
[ 20, 1 ], [ 21, 1, 31, -1 ], [ 22, 1, 28, 1 ], [ 24, 1 ],
[ 27, 1 ], [ 29, 1 ], [ 33, 1, 34, 1, 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1, 16, -1 ], [ 7, 1 ], [ 36, 1 ] ] ],
[ "B", 4, 3,
[ [ 1, 1 ], [ 2, 1 ], [ 3, 1, 10, 1 ], [ 5, 1 ], [ 6, 1, 12, 1 ],
[ 8, 1, 13, 1 ], [ 14, 1 ], [ 15, 1 ], [ 16, 1 ], [ 17, 1 ],
[ 18, 1 ], [ 19, 1, 26, 1 ], [ 21, 1 ], [ 22, 1, 28, 1 ],
[ 24, 1, 29, 1 ], [ 30, 1 ], [ 31, 1 ], [ 32, 1 ], [ 33, 1 ],
[ 34, 1 ], [ 35, 1, 36, 1/2 ] ],
[ [ 3, 1, 10, 1 ], [ 16, 1 ], [ 33, 1 ] ] ],
[ "B", 4, 3,
[ [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 7, 1 ], [ 8, 1 ], [ 10, 1 ],
[ 11, 1 ], [ 13, 1 ], [ 15, 1 ], [ 19, 1 ], [ 20, 1 ], [ 21, 1 ],
[ 23, 1 ], [ 24, 1 ], [ 26, 1 ], [ 27, 1 ], [ 29, 1 ], [ 31, 1 ],
[ 33, 1, 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 4, 1 ], [ 19, 1, 26, 1 ], [ 33, 1, 34, 1, 35, 1, 36, 1/2 ] ] ],
[ "B", 4, 4,
[ [ 1, 1 ], [ 2, 1, 14, -1 ], [ 3, 1, 10, -1 ], [ 4, 1 ],
[ 5, 1, 15, -1 ], [ 6, 1, 12, -1 ], [ 7, 1 ], [ 8, 1, 13, -1 ],
[ 9, 1 ], [ 11, 1 ], [ 16, 1 ], [ 17, 1 ], [ 18, 1, 30, -1 ],
[ 21, 1, 31, -1 ], [ 22, 1, 28, -1 ], [ 24, 1, 29, -1 ],
[ 25, 1 ], [ 27, 1 ], [ 32, 1 ], [ 33, 1 ],
[ 34, 1, 35, 1, 36, 1/2 ] ],
[ [ 4, 1 ], [ 5, 1, 15, -1 ], [ 34, 1, 35, 1, 36, 1/2 ] ] ],
[ "B", 4, 4,
[ [ 1, 1, 16, -1 ], [ 2, 1, 14, -1 ], [ 3, 1 ], [ 4, 1 ],
[ 5, 1, 15, -1 ], [ 6, 1, 12, -1 ], [ 7, 1 ], [ 8, 1, 13, -1 ],
[ 9, 1 ], [ 10, 1 ], [ 11, 1 ], [ 18, 1, 30, 1 ], [ 19, 1 ],
[ 20, 1 ], [ 21, 1, 31, 1 ], [ 22, 1, 28, 1 ], [ 23, 1 ],
[ 24, 1, 29, 1 ], [ 26, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 5, 1, 15, -1 ], [ 18, 1, 30, 1 ], [ 20, 1 ] ] ],
[ "B", 4, 4,
[ [ 1, 1 ], [ 2, 1 ], [ 5, 1 ], [ 7, 1 ], [ 9, 1 ], [ 11, 1 ],
[ 14, 1 ], [ 15, 1 ], [ 16, 1 ], [ 17, 1 ], [ 18, 1 ], [ 21, 1 ],
[ 23, 1 ], [ 25, 1 ], [ 27, 1 ], [ 30, 1 ], [ 31, 1 ], [ 32, 1 ],
[ 33, 1 ], [ 34, 1 ], [ 35, 1, 36, 1/2 ] ],
[ [ 2, 1, 14, -1 ], [ 5, 1, 15, 1 ], [ 17, 1, 32, 1 ] ] ],
[ "B", 4, 5,
[ [ 1, 1 ], [ 2, 1 ], [ 3, 1, 10, 1 ], [ 5, 1 ], [ 6, 1, 12, 1 ],
[ 8, 1, 13, 1 ], [ 14, 1 ], [ 15, 1 ], [ 16, 1 ], [ 17, 1 ],
[ 18, 1 ], [ 19, 1, 26, 1 ], [ 21, 1 ], [ 22, 1, 28, 1 ],
[ 24, 1, 29, 1 ], [ 30, 1 ], [ 31, 1 ], [ 32, 1 ], [ 33, 1 ],
[ 34, 1 ], [ 35, 1, 36, 1/2 ] ],
[ [ 17, 1 ], [ 19, 1, 26, 1 ], [ 32, 1 ] ] ],
[ "B", 4, 5,
[ [ 1, 1 ], [ 2, 1, 14, -1 ], [ 3, 1, 10, -1 ], [ 4, 1 ],
[ 5, 1, 15, -1 ], [ 6, 1, 12, -1 ], [ 7, 1 ], [ 8, 1, 13, -1 ],
[ 9, 1 ], [ 11, 1 ], [ 16, 1 ], [ 17, 1 ], [ 18, 1, 30, -1 ],
[ 21, 1, 31, -1 ], [ 22, 1, 28, -1 ], [ 24, 1, 29, -1 ],
[ 25, 1 ], [ 27, 1 ], [ 32, 1 ], [ 33, 1 ],
[ 34, 1, 35, 1, 36, 1/2 ] ],
[ [ 3, 1, 10, -1 ], [ 17, 1 ], [ 32, 1 ] ] ],
[ "C", 4, 1,
[ [ 1, 1 ], [ 2, 1 ], [ 3, 1 ], [ 5, 1 ], [ 6, 1 ], [ 8, 1 ],
[ 17, 1 ], [ 18, 1 ], [ 19, 1 ], [ 21, 1 ], [ 22, 1 ], [ 24, 1 ],
[ 33, 1 ], [ 34, 1 ], [ 35, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 33, 1, 34, 2, 35, 1 ] ] ],
[ "C", 4, 1,
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 7, 1 ], [ 10, 1 ], [ 14, 1 ],
[ 15, 1 ], [ 16, 1 ], [ 17, 1 ], [ 19, 1 ], [ 20, 1 ], [ 23, 1 ],
[ 26, 1 ], [ 30, 1 ], [ 31, 1 ], [ 32, 1 ], [ 33, 1 ], [ 34, 1 ],
[ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1, 10, 1 ], [ 14, 1, 16, 1 ] ] ],
[ "C", 4, 1,
[ [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 6, 1 ], [ 7, 1 ], [ 9, 1 ],
[ 10, 1 ], [ 12, 1 ], [ 14, 1 ], [ 16, 1 ], [ 18, 1 ], [ 19, 1 ],
[ 20, 1 ], [ 22, 1 ], [ 23, 1 ], [ 25, 1 ], [ 26, 1 ], [ 28, 1 ],
[ 30, 1 ], [ 32, 1 ], [ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 2, 1 ], [ 4, 1 ], [ 10, 1, 14, 1 ], [ 16, 1 ] ] ],
[ "C", 4, 2,
[ [ 1, 1 ], [ 2, 1, 9, 1 ], [ 3, 1, 16, 2 ], [ 4, 1, 10, 1 ],
[ 5, 1, 11, 1 ], [ 6, 1, 12, -1 ], [ 8, 1, 13, -1 ],
[ 14, 1, 16, -1 ], [ 15, 1 ], [ 18, 1, 25, -1 ], [ 20, 1, 26, 1 ],
[ 21, 1, 27, -1 ], [ 22, 1, 28, 1 ], [ 24, 1, 29, 1 ],
[ 35, 1, 36, 2 ] ],
[ [ 2, 1, 9, 1 ], [ 3, 1, 14, -1, 16, 3 ],
[ 4, 1, 10, 1, 14, 1, 16, -1 ] ] ],
[ "C", 4, 2,
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 7, 1 ], [ 10, 1 ], [ 14, 1 ],
[ 15, 1 ], [ 16, 1 ], [ 17, 1 ], [ 19, 1 ], [ 20, 1 ], [ 23, 1 ],
[ 26, 1 ], [ 30, 1 ], [ 31, 1 ], [ 32, 1 ], [ 33, 1 ], [ 34, 1 ],
[ 35, 1 ], [ 36, 1 ] ],
[ [ 3, 1 ], [ 4, 1, 10, 1 ], [ 14, 1 ], [ 16, 1 ] ] ],
[ "C", 4, 2,
[ [ 1, 1 ], [ 2, 1, 9, -1 ], [ 3, 1 ], [ 4, 1, 10, 1 ],
[ 5, 1, 11, -1 ], [ 6, 1, 12, 1 ], [ 8, 1, 13, 1 ], [ 14, 1 ],
[ 15, 1 ], [ 16, 1 ], [ 17, 1 ], [ 18, 1, 25, -1 ], [ 19, 1 ],
[ 20, 1, 26, -1 ], [ 21, 1, 27, -1 ], [ 22, 1, 28, 1 ], [ 23, 1 ],
[ 24, 1, 29, 1 ], [ 30, 1 ], [ 31, 1 ], [ 32, 1 ], [ 33, 1 ],
[ 34, 1, 36, 1 ], [ 35, 1 ] ],
[ [ 2, 1, 9, -1 ], [ 3, 1, 14, 1 ], [ 4, 1, 10, 1, 14, 1 ], [ 16, 1 ]
] ],
[ "C", 4, 2,
[ [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 6, 1 ], [ 7, 1 ], [ 9, 1 ],
[ 10, 1 ], [ 12, 1 ], [ 14, 1 ], [ 16, 1 ], [ 18, 1 ], [ 19, 1 ],
[ 20, 1 ], [ 22, 1 ], [ 23, 1 ], [ 25, 1 ], [ 26, 1 ], [ 28, 1 ],
[ 30, 1 ], [ 32, 1 ], [ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 2, 1 ], [ 4, 1 ], [ 10, 1, 14, 1 ], [ 16, 1 ] ] ],
[ "C", 4, 3,
[ [ 1, 1, 3, -1 ], [ 2, 1, 8, -1 ], [ 4, 1, 16, 1 ], [ 5, 1, 6, 1 ],
[ 7, 1, 15, 1 ], [ 9, 1, 13, -1 ], [ 10, 1, 14, 1 ],
[ 17, 1, 19, 1 ], [ 20, 1, 32, 1 ], [ 21, 1, 22, -1 ],
[ 23, 1, 31, 1 ], [ 25, 1, 29, -1 ], [ 26, 1, 30, 1 ],
[ 33, 1, 35, -1 ], [ 34, 1, 35, 2, 36, 2 ] ],
[ [ 1, 1, 3, -1 ], [ 4, 1, 10, 1, 14, 1, 16, 1 ], [ 9, 1, 13, -1 ] ] ],
[ "C", 4, 3,
[ [ 2, 1 ], [ 4, 1, 16, -1 ], [ 8, 1 ], [ 10, 1, 16, 1 ], [ 11, 1 ],
[ 12, 1 ], [ 14, 1, 16, 1 ], [ 17, 1 ], [ 19, 1 ], [ 21, 1 ],
[ 22, 1 ], [ 23, 1 ], [ 25, 1 ], [ 29, 1 ], [ 31, 1 ] ],
[ [ 4, 1, 16, -1 ], [ 10, 1, 16, 1 ], [ 14, 1, 16, 1 ] ] ],
[ "C", 4, 3,
[ [ 2, 1 ], [ 4, 1 ], [ 8, 1 ], [ 10, 1 ], [ 11, 1 ], [ 12, 1 ],
[ 14, 1 ], [ 16, 1 ], [ 18, 1 ], [ 20, 1 ], [ 24, 1 ], [ 26, 1 ],
[ 27, 1 ], [ 28, 1 ], [ 30, 1 ], [ 32, 1 ], [ 33, 1 ], [ 34, 1 ],
[ 35, 1 ], [ 36, 1 ] ],
[ [ 4, 1 ], [ 10, 1 ], [ 14, 1 ], [ 16, 1 ] ] ],
[ "C", 4, 3,
[ [ 1, 1, 3, -1 ], [ 2, 1 ], [ 4, 1, 16, 1 ], [ 5, 1, 6, 1 ],
[ 7, 1, 15, 1 ], [ 8, 1 ], [ 9, 1, 13, -1 ], [ 10, 1, 14, 1 ],
[ 17, 1, 19, -1 ], [ 18, 1 ], [ 20, 1, 32, -1 ], [ 21, 1, 22, 1 ],
[ 23, 1, 31, -1 ], [ 24, 1 ], [ 25, 1, 29, 1 ], [ 26, 1, 30, -1 ],
[ 27, 1 ], [ 28, 1 ], [ 33, 1, 35, 1 ], [ 34, 1 ] ],
[ [ 1, 1, 3, -1 ], [ 2, 1, 8, 1 ], [ 4, 1, 10, 1, 14, 1, 16, 1 ],
[ 9, 1, 13, -1 ] ] ],
[ "C", 4, 3,
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 7, 1 ], [ 10, 1 ], [ 14, 1 ],
[ 15, 1 ], [ 16, 1 ], [ 17, 1 ], [ 19, 1 ], [ 20, 1 ], [ 23, 1 ],
[ 26, 1 ], [ 30, 1 ], [ 31, 1 ], [ 32, 1 ], [ 33, 1 ], [ 34, 1 ],
[ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1, 10, 1 ], [ 14, 1, 16, 1 ] ] ],
[ "C", 4, 3,
[ [ 1, 1 ], [ 4, 1 ], [ 6, 1 ], [ 8, 1 ], [ 9, 1 ], [ 10, 1 ],
[ 11, 1 ], [ 14, 1 ], [ 15, 1 ], [ 16, 1 ], [ 17, 1 ], [ 20, 1 ],
[ 22, 1 ], [ 24, 1 ], [ 25, 1 ], [ 26, 1 ], [ 27, 1 ], [ 30, 1 ],
[ 31, 1 ], [ 32, 1 ], [ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1 ], [ 4, 1 ], [ 10, 1 ], [ 14, 1, 16, 1 ] ] ],
[ "C", 4, 3,
[ [ 3, 1 ], [ 4, 1 ], [ 5, 1 ], [ 7, 1 ], [ 8, 1 ], [ 10, 1 ],
[ 11, 1 ], [ 13, 1 ], [ 14, 1 ], [ 16, 1 ], [ 19, 1 ], [ 20, 1 ],
[ 21, 1 ], [ 23, 1 ], [ 24, 1 ], [ 26, 1 ], [ 27, 1 ], [ 29, 1 ],
[ 30, 1 ], [ 32, 1 ], [ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 3, 1 ], [ 4, 1, 10, 1 ], [ 14, 1 ], [ 16, 1 ] ] ],
[ "C", 4, 4,
[ [ 1, 1 ], [ 2, 1 ], [ 3, 1 ], [ 4, 1, 16, -1 ], [ 5, 1 ], [ 6, 1 ],
[ 7, 1 ], [ 8, 1 ], [ 9, 1 ], [ 10, 1, 16, -1 ], [ 11, 1 ],
[ 12, 1 ], [ 13, 1 ], [ 14, 1, 16, -1 ], [ 15, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1, 10, 1, 14, -1, 16, -1 ] ] ],
[ "C", 4, 4,
[ [ 1, 1, 3, 1 ], [ 2, 1, 8, 1 ], [ 4, 1, 10, 1 ], [ 5, 1, 6, -1 ],
[ 9, 1, 13, -1 ], [ 11, 1, 12, 1 ], [ 14, 1, 16, 1 ],
[ 18, 1, 24, 1 ], [ 20, 1, 26, 1 ], [ 21, 1, 22, -1 ],
[ 25, 1, 29, -1 ], [ 27, 1, 28, 1 ], [ 30, 1, 32, 1 ],
[ 33, 1, 34, 2, 36, -2 ], [ 35, 1, 36, 2 ] ],
[ [ 1, 1, 3, 1 ], [ 33, 1, 34, 2, 36, -2 ], [ 35, 1, 36, 2 ] ] ],
[ "C", 4, 4,
[ [ 1, 1 ], [ 2, 1, 22, -1 ], [ 3, 1, 34, 2, 36, -2 ], [ 4, 1, 10, 1 ],
[ 5, 1, 24, -1 ], [ 6, 1, 18, 1 ], [ 8, 1, 21, 1 ],
[ 9, 1, 28, 1 ], [ 11, 1, 29, 1 ], [ 12, 1, 25, -1 ],
[ 13, 1, 27, -1 ], [ 17, 1 ], [ 20, 1, 26, 1 ], [ 33, 1 ],
[ 35, 1, 36, 2 ] ],
[ [ 1, 1 ], [ 3, 1, 33, 1, 34, 2, 36, -2 ], [ 35, 1, 36, 2 ] ] ],
[ "C", 4, 4,
[ [ 1, 1 ], [ 2, 1 ], [ 3, 1 ], [ 5, 1 ], [ 6, 1 ], [ 8, 1 ],
[ 17, 1 ], [ 18, 1 ], [ 19, 1 ], [ 21, 1 ], [ 22, 1 ], [ 24, 1 ],
[ 33, 1 ], [ 34, 1 ], [ 35, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 33, 1, 34, 2, 35, 1 ] ] ],
[ "C", 4, 4,
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 7, 1 ], [ 10, 1 ], [ 14, 1 ],
[ 15, 1 ], [ 16, 1 ], [ 17, 1 ], [ 19, 1 ], [ 20, 1 ], [ 23, 1 ],
[ 26, 1 ], [ 30, 1 ], [ 31, 1 ], [ 32, 1 ], [ 33, 1 ], [ 34, 1 ],
[ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 33, 1, 34, 2, 36, -2 ], [ 35, 1, 36, 2 ] ] ],
[ "C", 4, 4,
[ [ 1, 1 ], [ 2, 1, 8, -1 ], [ 3, 1 ], [ 4, 1, 10, 1 ],
[ 5, 1, 6, 1 ], [ 9, 1, 13, 1 ], [ 11, 1, 12, -1 ],
[ 14, 1, 16, 1 ], [ 17, 1 ], [ 18, 1, 24, 1 ], [ 19, 1 ],
[ 20, 1, 26, -1 ], [ 21, 1, 22, -1 ], [ 23, 1 ], [ 25, 1, 29, -1 ],
[ 27, 1, 28, 1 ], [ 30, 1, 32, -1 ], [ 31, 1 ], [ 33, 1 ],
[ 35, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1, 10, 1 ], [ 14, 1, 16, 1 ] ] ],
[ "C", 4, 4,
[ [ 1, 1 ], [ 2, 1 ], [ 4, 1 ], [ 5, 1 ], [ 10, 1 ], [ 12, 1 ],
[ 13, 1 ], [ 14, 1 ], [ 15, 1 ], [ 16, 1 ], [ 17, 1 ], [ 18, 1 ],
[ 20, 1 ], [ 21, 1 ], [ 26, 1 ], [ 28, 1 ], [ 29, 1 ], [ 30, 1 ],
[ 31, 1 ], [ 32, 1 ], [ 33, 1 ], [ 34, 1 ], [ 35, 1 ], [ 36, 1 ] ],
[ [ 1, 1 ], [ 33, 1, 34, 2 ], [ 35, 1 ], [ 36, 1 ] ] ],
[ "C", 4, 1,
[
[ 2, 1, 3, (-2/3)*Sqroot(3), 8, 1, 21, -1, 22, 1, 33, 1/3*Sqroot(21),
35, 2/3*Sqroot(3) + Sqroot(5), 36, 4/3*Sqroot(3) ],
[ 4, 1, 10, -1, 14, 1, 16, -1, 23, 2, 31, 6 ],
[ 7, 1, 11, (-1/2)*Sqroot(3), 12, 1/2*Sqroot(3), 20,
1 + 1/2*Sqroot(15), 25, (-1/2)*Sqroot(3), 26,
-1 + 1/2*Sqroot(15), 29, (-1/2)*Sqroot(3), 30, 1/2*Sqroot(7),
32, 1/2*Sqroot(7) ] ],
[
[ 2, 1, 3, (-2/3)*Sqroot(3), 8, 1, 21, -1, 22, 1, 33, 1/3*Sqroot(21),
35, 2/3*Sqroot(3) + Sqroot(5), 36, 4/3*Sqroot(3) ] ] ],
[ "C", 4, 4,
[ [ 1, 1, 3, 1, 33, 5/2, 34, 5, 35, 7/2, 36, 2 ],
[ 4, 1, 9, (-1/4)*Sqroot(7) + 1/4*Sqroot(15), 10, -1, 11,
(-1/2)*Sqroot(3), 12, (-1/2)*Sqroot(3), 13,
(-1/4)*Sqroot(7) + 1/4*Sqroot(15), 23, 1, 25, (-1/2)*Sqroot(3),
27, (-1/4)*Sqroot(7) + (-1/4)*Sqroot(15), 28,
1/4*Sqroot(7) + 1/4*Sqroot(15), 29, 1/2*Sqroot(3) ],
[ 7, 1, 9, (-1/2)*Sqroot(3), 11, 1/4*Sqroot(7) + 1/4*Sqroot(15),
12, (-1/4)*Sqroot(7) + (-1/4)*Sqroot(15), 13, 1/2*Sqroot(3),
20, -1, 25, (-1/4)*Sqroot(7) + 1/4*Sqroot(15), 26, 1, 27,
1/2*Sqroot(3), 28, 1/2*Sqroot(3), 29,
(-1/4)*Sqroot(7) + 1/4*Sqroot(15) ] ],
[ [ 1, 1, 3, 1, 33, 5/2, 34, 5, 35, 7/2, 36, 2 ] ] ],
[ "C", 4, 1,
[ [ 4, 1, 16, -1 ], [ 10, 1, 16, -1 ], [ 14, 1, 16, -1 ],
[ 17, 1, 19, -1 ], [ 18, 1, 24, -1 ], [ 21, 1, 22, -1 ],
[ 23, 1, 31, 1 ], [ 25, 1, 29, 1 ], [ 27, 1, 28, 1 ] ],
[ [ 4, 1, 16, -1 ], [ 10, 1, 16, -1 ], [ 14, 1, 16, -1 ] ] ],
[ "C", 4, 4,
[ [ 1, 1, 3, -1 ], [ 2, 1, 8, 1 ], [ 9, 1, 13, -1 ], [ 17, 1, 19, 1 ],
[ 18, 1, 24, 1 ], [ 25, 1, 29, -1 ], [ 33, 1, 36, 2 ],
[ 34, 1, 36, -2 ], [ 35, 1, 36, 2 ] ],
[ [ 1, 1, 3, -1 ], [ 2, 1, 8, 1 ], [ 33, 1, 34, 2, 35, 3, 36, 4 ] ] ],
[ "C", 4, 3,
[ [ 4, 1, 14, -1/2, 16, 1/2 ], [ 5, 1, 8, 1 ],
[ 10, 1, 14, -1/2, 16, 1/2 ], [ 11, 1, 13, -1 ], [ 18, 1, 22, -1 ],
[ 19, 1, 33, -1 ], [ 23, 1, 30, 1, 32, 1 ], [ 25, 1, 28, 1 ],
[ 31, 1 ] ],
[ [ 4, 1, 14, -1/2, 16, 1/2 ], [ 10, 1, 14, -1/2, 16, 1/2 ], [ 31, 1 ]
] ],
[ "C", 4, 4,
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1, 10, 1, 14, 1, 16, 1 ], [ 9, 1 ],
[ 11, 1 ], [ 12, 1 ], [ 13, 1 ], [ 20, 1, 26, 1, 30, -1, 32, -1 ],
[ 33, 1, 34, 2, 35, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 33, 1, 34, 2, 35, 1 ] ] ],
[ "D", 4, 1,
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 12, 1 ], [ 13, 1 ], [ 15, 1 ],
[ 16, 1 ], [ 24, 1 ], [ 25, 1 ], [ 26, 1 ], [ 27, 1 ], [ 28, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 12, 1 ] ] ],
[ "D", 4, 2,
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 12, 1 ], [ 13, 1 ], [ 15, 1 ],
[ 16, 1 ], [ 24, 1 ], [ 25, 1 ], [ 26, 1 ], [ 27, 1 ], [ 28, 1 ] ],
[ [ 1, 1 ], [ 4, 1 ], [ 25, 1, 26, 2, 28, 1 ], [ 27, 1 ] ] ],
[ "D", 4, 2,
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 12, 1 ], [ 14, 1 ], [ 17, 1 ],
[ 18, 1 ], [ 19, 1 ], [ 20, 1 ], [ 21, 1 ], [ 22, 1 ], [ 23, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 12, 1 ] ] ],
[ "D", 4, 3,
[ [ 2, 1 ], [ 8, 1 ], [ 9, 1 ], [ 10, 1 ], [ 14, 1 ], [ 20, 1 ],
[ 21, 1 ], [ 22, 1 ], [ 25, 1 ], [ 26, 1 ], [ 27, 1 ], [ 28, 1 ] ],
[ [ 25, 1 ], [ 26, 1 ], [ 27, 1 ], [ 28, 1 ] ] ],
[ "D", 4, 3,
[ [ 1, 1, 12, -1 ], [ 2, 1 ], [ 3, 1, 4, -1 ], [ 5, 1, 11, -1 ],
[ 6, 1, 7, -1 ], [ 10, 1 ], [ 13, 1, 24, -1 ], [ 15, 1, 16, 1 ],
[ 17, 1, 23, -1 ], [ 18, 1, 19, 1 ], [ 25, 1, 26, 1, 28, 1 ],
[ 27, 1, 28, -1 ] ],
[ [ 1, 1, 12, -1 ], [ 3, 1, 4, -1 ], [ 17, 1, 23, -1 ],
[ 18, 1, 19, 1 ] ] ],
[ "D", 4, 3,
[ [ 1, 1, 3, -1 ], [ 4, 1, 12, -1 ], [ 5, 1, 6, -1 ], [ 7, 1, 11, -1 ],
[ 9, 1 ], [ 10, 1 ], [ 13, 1, 15, -1 ], [ 16, 1, 24, 1 ],
[ 17, 1, 18, -1 ], [ 19, 1, 23, 1 ], [ 25, 1, 27, 1 ], [ 26, 1 ] ],
[ [ 1, 1, 3, -1 ], [ 4, 1, 12, -1 ], [ 17, 1, 18, -1 ],
[ 19, 1, 23, 1 ] ] ],
[ "D", 4, 3,
[ [ 1, 1, 4, 1 ], [ 2, 1 ], [ 3, 1, 12, 1 ], [ 5, 1, 7, -1 ],
[ 6, 1, 11, -1 ], [ 9, 1 ], [ 13, 1, 16, -1 ], [ 15, 1, 24, 1 ],
[ 17, 1, 19, 1 ], [ 18, 1, 23, -1 ], [ 25, 1, 28, -1 ],
[ 26, 1, 27, 1, 28, 1 ] ],
[ [ 1, 1, 4, 1 ], [ 3, 1, 12, 1 ], [ 17, 1, 19, 1 ], [ 18, 1, 23, -1 ]
] ],
[ "D", 4, 3,
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 12, 1 ], [ 13, 1 ], [ 15, 1 ],
[ 16, 1 ], [ 24, 1 ], [ 25, 1 ], [ 26, 1 ], [ 27, 1 ], [ 28, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 12, 1 ] ] ],
[ "D", 4, 4,
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 12, 1 ], [ 13, 1 ], [ 15, 1 ],
[ 16, 1 ], [ 24, 1 ], [ 25, 1 ], [ 26, 1 ], [ 27, 1 ], [ 28, 1 ] ],
[ [ 3, 1 ], [ 4, 1 ], [ 25, 1 ], [ 26, 1, 27, 1 ] ] ],
[ "D", 4, 4,
[ [ 1, 1, 12, 1 ], [ 2, 1, 10, -1 ], [ 3, 1 ], [ 6, 1 ], [ 7, 1 ],
[ 8, 1 ], [ 13, 1, 24, 1 ], [ 14, 1, 22, 1 ], [ 15, 1 ],
[ 20, 1 ], [ 25, 1, 26, 1 ], [ 27, 1 ] ],
[ [ 2, 1, 10, -1 ], [ 8, 1 ], [ 13, 1, 24, 1 ], [ 15, 1 ] ] ],
[ "D", 4, 5,
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 12, 1 ], [ 13, 1 ], [ 15, 1 ],
[ 16, 1 ], [ 24, 1 ], [ 25, 1 ], [ 26, 1 ], [ 27, 1 ], [ 28, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 4, 1 ], [ 12, 1 ] ] ],
[ "D", 4, 1,
[ [ 1, 1, 3, 1, 4, 1 ],
[ 2, 1, 6, Sqroot(3), 9, 1, 10, 2, 11, (-1)*Sqroot(3) ],
[ 5, 1, 6, -1, 9, (-1)*Sqroot(3), 10, (-1)*Sqroot(3), 11, 2 ],
[ 12, 1 ],
[ 13, 1, 16, 1, 25, 1/3*Sqroot(3), 27, (-2/3)*Sqroot(3), 28,
(-1/3)*Sqroot(3) ], [ 14, 1, 20, -3, 21, 1, 22, -1 ],
[ 15, 1, 16, 1, 25, 2/3*Sqroot(3), 27, (-1/3)*Sqroot(3), 28,
1/3*Sqroot(3) ], [ 17, 1, 18, -1, 19, 3, 23, -1 ] ],
[ [ 1, 1, 3, 1, 4, 1 ], [ 12, 1 ] ] ],
[ "D", 4, 3,
[ [ 1, 1, 3, 1, 4, 1 ], [ 2, 1, 8, -1/3, 9, -1/3, 10, 1/3 ],
[ 5, 1, 6, -1, 7, -1, 11, 3 ], [ 12, 1 ],
[ 13, 1, 16, -1, 25, (-1/3)*Sqroot(3), 27, 2/3*Sqroot(3), 28,
(-1/3)*Sqroot(3) ],
[ 15, 1, 16, -1, 25, (-2/3)*Sqroot(3), 27, 1/3*Sqroot(3), 28,
1/3*Sqroot(3) ],
[ 17, 1, 19, 1, 20, 1/3*Sqroot(3), 21, (-2/3)*Sqroot(3), 22,
(-1/3)*Sqroot(3) ],
[ 18, 1, 19, -1, 20, 1/3*Sqroot(3), 21, 1/3*Sqroot(3), 22,
2/3*Sqroot(3) ] ], [ [ 1, 1, 3, 1, 4, 1 ], [ 12, 1 ] ] ],
[ "D", 4, 4,
[ [ 1, 1, 5, 1/2*Sqroot(3), 7, (-1)*Sqroot(3), 11, 1/6*Sqroot(3), 28,
(-2/3)*Sqroot(3) ], [ 2, 1, 8, -2, 10, -1, 15, -4 ],
[ 3, 1, 14, -1/4, 20, 1/2, 22, 5/4, 25, 1/2*Sqroot(3) ],
[ 4, 1, 7, (-1)*Sqroot(3), 11, 1/3*Sqroot(3), 12, -1, 21, 1, 28,
(-1/3)*Sqroot(3) ],
[ 6, 1, 14, 1/4*Sqroot(3), 20, 1/2*Sqroot(3), 22, (-1/4)*Sqroot(3),
25, -1/2, 26, -2, 27, -1 ],
[ 9, 1, 19, 1/3*Sqroot(3), 23, 1/3*Sqroot(3) ],
[ 13, 1, 17, (-1/2)*Sqroot(3), 19, (-1/3)*Sqroot(3), 23,
(-5/6)*Sqroot(3), 24, -1 ],
[ 16, 1, 17, (-1/4)*Sqroot(3), 19, (-1/6)*Sqroot(3), 23,
(-5/12)*Sqroot(3) ] ],
[ [ 2, 1, 8, -2, 10, -1, 15, -4 ], [ 13, 1, 16, -2, 24, -1 ] ] ],
[ "D", 4, 1,
[ [ 1, 1 ], [ 3, 1, 4, 1 ], [ 6, 1, 7, -1 ], [ 8, 1, 9, -1 ],
[ 12, 1 ], [ 13, 1 ], [ 15, 1, 16, 1 ], [ 18, 1, 19, -1 ],
[ 20, 1, 21, -1 ], [ 24, 1 ], [ 25, 1 ], [ 26, 1 ],
[ 27, 1, 28, 1 ] ], [ [ 1, 1 ], [ 3, 1, 4, 1 ], [ 12, 1 ] ] ],
[ "D", 4, 4,
[ [ 2, 1 ], [ 3, 1 ], [ 6, 1 ], [ 8, 1 ], [ 10, 1 ], [ 14, 1 ],
[ 15, 1 ], [ 18, 1 ], [ 20, 1 ], [ 22, 1 ], [ 25, 1 ], [ 26, 1 ],
[ 27, 1 ] ], [ [ 2, 1 ], [ 8, 1 ], [ 10, 1 ] ] ],
[ "D", 4, 2,
[ [ 1, 1, 4, 1 ], [ 3, 1 ], [ 5, 1, 7, 1 ], [ 8, 1, 10, 1 ],
[ 12, 1 ], [ 13, 1, 16, 1 ], [ 15, 1 ], [ 17, 1, 19, 1 ],
[ 20, 1, 22, 1 ], [ 24, 1 ], [ 25, 1, 28, 1 ], [ 26, 1 ],
[ 27, 1 ] ],
[ [ 1, 1, 4, 1 ], [ 5, 1, 7, 1 ], [ 25, 1, 26, 2, 27, 2, 28, 1 ] ] ],
[ "D", 4, 4,
[ [ 1, 1, 12, -1 ], [ 2, 1 ], [ 5, 1, 11, -1 ], [ 8, 1 ], [ 10, 1 ],
[ 13, 1, 24, -1 ], [ 15, 1 ], [ 16, 1 ], [ 17, 1, 23, -1 ],
[ 18, 1 ], [ 19, 1 ], [ 20, 1 ], [ 25, 1, 26, 1, 27, 1 ] ],
[ [ 2, 1 ], [ 8, 1 ], [ 10, 1 ] ] ],
[ "D", 4, 3,
[ [ 1, 1 ], [ 3, 1, 4, 1 ], [ 6, 1, 7, -1 ], [ 8, 1, 9, -1 ],
[ 12, 1 ], [ 13, 1 ], [ 15, 1, 16, 1 ], [ 18, 1, 19, -1 ],
[ 20, 1, 21, -1 ], [ 24, 1 ], [ 25, 1 ], [ 26, 1 ],
[ 27, 1, 28, 1 ] ], [ [ 1, 1 ], [ 3, 1, 4, 1 ], [ 12, 1 ] ] ],
[ "D", 4, 5,
[ [ 1, 1 ], [ 4, 1 ], [ 6, 1 ], [ 8, 1 ], [ 12, 1 ], [ 14, 1 ],
[ 15, 1 ], [ 17, 1 ], [ 19, 1 ], [ 21, 1 ], [ 22, 1 ], [ 23, 1 ],
[ 28, 1 ] ], [ [ 1, 1 ], [ 12, 1 ], [ 15, 1 ] ] ],
[ "D", 4, 2,
[ [ 1, 1 ], [ 2, 1, 9, -1 ], [ 3, 1, 12, -1 ], [ 4, 1 ],
[ 5, 1, 7, 1 ], [ 13, 1 ], [ 14, 1, 21, 1 ], [ 15, 1, 24, -1 ],
[ 16, 1 ], [ 17, 1, 19, -1 ], [ 25, 1 ], [ 26, 1, 27, 1 ],
[ 28, 1 ] ], [ [ 1, 1 ], [ 4, 1 ], [ 25, 1, 26, 2, 27, 2, 28, 1 ]
] ],
[ "D", 4, 5,
[ [ 1, 1 ], [ 2, 1, 10, -1 ], [ 3, 1 ], [ 5, 1, 11, -1 ], [ 6, 1 ],
[ 7, 1 ], [ 8, 1 ], [ 9, 1 ], [ 12, 1 ], [ 14, 1, 22, 1 ],
[ 15, 1 ], [ 17, 1, 23, 1 ], [ 27, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 12, 1 ] ] ],
[ "D", 4, 3,
[ [ 1, 1, 12, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1, 11, -1 ],
[ 8, 1, 9, 1 ], [ 13, 1, 24, 1 ], [ 14, 1 ], [ 17, 1, 23, -1 ],
[ 18, 1 ], [ 19, 1 ], [ 20, 1, 21, 1 ], [ 22, 1 ],
[ 25, 1, 26, 1, 27, 1/2, 28, 1/2 ] ],
[ [ 1, 1, 12, 1 ], [ 3, 1 ], [ 4, 1 ] ] ],
[ "D", 4, 4,
[ [ 1, 1 ], [ 3, 1 ], [ 7, 1 ], [ 8, 1 ], [ 12, 1 ], [ 14, 1 ],
[ 16, 1 ], [ 17, 1 ], [ 18, 1 ], [ 21, 1 ], [ 22, 1 ], [ 23, 1 ],
[ 28, 1 ] ], [ [ 3, 1 ], [ 8, 1 ], [ 14, 1, 22, 1 ] ] ],
[ "D", 4, 2,
[ [ 1, 1 ], [ 2, 1, 9, 1 ], [ 3, 1, 12, -1 ], [ 4, 1 ],
[ 5, 1, 7, -1 ], [ 6, 1 ], [ 8, 1 ], [ 10, 1 ], [ 11, 1 ],
[ 14, 1, 21, 1 ], [ 15, 1, 24, 1 ], [ 17, 1, 19, -1 ],
[ 25, 1, 26, 2, 28, 1 ] ],
[ [ 1, 1 ], [ 4, 1 ], [ 25, 1, 26, 2, 28, 1 ] ] ],
[ "D", 4, 4,
[ [ 1, 1, 12, 1 ], [ 2, 1 ], [ 5, 1, 11, 1 ], [ 9, 1 ], [ 10, 1 ],
[ 13, 1, 24, -1 ], [ 14, 1 ], [ 17, 1, 23, -1 ], [ 20, 1 ],
[ 22, 1 ], [ 26, 1 ], [ 27, 1 ], [ 28, 1 ] ],
[ [ 2, 1 ], [ 10, 1 ], [ 20, 1 ] ] ],
[ "D", 4, 1,
[ [ 1, 1 ], [ 2, 1, 10, -1 ], [ 3, 1, 4, 1 ], [ 5, 1, 11, -1 ],
[ 6, 1 ], [ 7, 1 ], [ 8, 1 ], [ 9, 1 ], [ 12, 1 ], [ 13, 1 ],
[ 14, 1, 22, -1 ], [ 15, 1, 16, -1 ], [ 17, 1, 23, -1 ],
[ 18, 1 ], [ 19, 1 ], [ 20, 1 ], [ 21, 1 ], [ 24, 1 ], [ 25, 1 ],
[ 26, 1, 28, 1 ], [ 27, 1, 28, -1 ] ],
[ [ 1, 1 ], [ 3, 1, 4, 1 ], [ 12, 1 ] ] ],
[ "D", 4, 5,
[ [ 1, 1 ], [ 2, 1 ], [ 3, 1 ], [ 5, 1 ], [ 6, 1 ], [ 8, 1 ],
[ 10, 1 ], [ 11, 1 ], [ 12, 1 ], [ 13, 1 ], [ 14, 1 ], [ 15, 1 ],
[ 17, 1 ], [ 18, 1 ], [ 20, 1 ], [ 22, 1 ], [ 23, 1 ], [ 24, 1 ],
[ 25, 1 ], [ 26, 1 ], [ 27, 1 ] ],
[ [ 1, 1 ], [ 3, 1 ], [ 12, 1 ] ] ],
[ "D", 4, 2,
[ [ 1, 1 ], [ 2, 1, 9, -1 ], [ 3, 1, 12, 1 ], [ 4, 1 ],
[ 5, 1, 7, 1 ], [ 6, 1 ], [ 8, 1 ], [ 10, 1 ], [ 11, 1 ],
[ 13, 1 ], [ 14, 1, 21, 1 ], [ 15, 1, 24, 1 ], [ 16, 1 ],
[ 17, 1, 19, -1 ], [ 18, 1 ], [ 20, 1 ], [ 22, 1 ], [ 23, 1 ],
[ 25, 1 ], [ 26, 1, 27, 1 ], [ 28, 1 ] ],
[ [ 1, 1 ], [ 4, 1 ], [ 25, 1, 26, 2, 27, 2, 28, 1 ] ] ],
[ "D", 4, 4,
[ [ 1, 1, 12, -1 ], [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1, 11, -1 ],
[ 6, 1 ], [ 7, 1 ], [ 9, 1 ], [ 10, 1 ], [ 13, 1, 24, 1 ],
[ 14, 1 ], [ 15, 1 ], [ 16, 1 ], [ 17, 1, 23, 1 ], [ 18, 1 ],
[ 19, 1 ], [ 20, 1 ], [ 22, 1 ], [ 26, 1 ], [ 27, 1 ], [ 28, 1 ] ],
[ [ 2, 1 ], [ 10, 1 ], [ 20, 1 ] ] ],
[ "D", 4, 3,
[ [ 1, 1, 12, 1 ], [ 2, 1, 10, 1 ], [ 3, 1 ], [ 4, 1 ], [ 5, 1 ],
[ 6, 1, 7, -1 ], [ 8, 1 ], [ 9, 1 ], [ 11, 1 ], [ 13, 1, 24, 1 ],
[ 14, 1, 22, -1 ], [ 15, 1 ], [ 16, 1 ], [ 17, 1 ],
[ 18, 1, 19, 1 ], [ 20, 1 ], [ 21, 1 ], [ 23, 1 ],
[ 25, 1, 26, 1 ], [ 27, 1 ], [ 28, 1 ] ],
--> --------------------
--> maximum size reached
--> --------------------
[ Dauer der Verarbeitung: 0.32 Sekunden
(vorverarbeitet)
]
|
