Translate more C constructs, categorize identifiers and add (self|yy). prefixes to...

[c_to_python.git] / ansi_c_yyparse.py

import lr1dfa

# GENERATE LALR1 BEGIN
lalr1 = lr1dfa.LR1DFA([([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 59, 60,
123, 124, 126, 127, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267,
285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300,
301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316,
317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331], [
-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 179, -1, 14, -1, 16, -1, 487, -1,
18, 20, 22, 24, 26, 28, -1, 30, 32, -1, 34, 36, 38, 40, 42, 44, 46, 48, 50, 52,
54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, -1, 86, 88, 90,
-1, 92, 94, 96, 98, 100, 102, 104, 106, 108, 110, 112, 114, 116, 118, 120], [1,
6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72,
74, 77, 89, 91, 93, 96, 98, 100, 105, 110, 116, 133, 135, 137, 153, 155, 161,
162, 168, 172, 174, 176, 226, 227, 243, 245, 247, 249, 264], [-1, 61, 62, -1,
63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, -1, 79,
80, 81, -1, 82, 83, 84, -1, 85, 86, 87, 88, -1, 89, -1, 90, -1, 91, 92, 93, -1,
94, 95, 96, 97, 98, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126,
127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327,
328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22,
24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13,
18, 26, 30, 42, 44, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 100, 101, -1]),
([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261,
262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [-1, 2, -1,
4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32,
-1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 264],
[-1, 61, 62, -1, 63, 64, -1, 65, -1, 100, 102, -1]), ([33, 34, 38, 39, 40, 41,
42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267,
285, 286, 287, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305,
306, 307, 308, 309, 310, 311, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6,
-1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 34, 36,
-1, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, -1,
110, 112, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59,
62, 64, 66, 68, 70, 72, 74, 77, 89, 91, 93, 116, 133, 135, 137, 143, 145, 147,
153, 155, 161, 162, 168, 172, 197, 198, 264], [-1, 61, 62, -1, 63, 64, -1, 65,
-1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, -1, 79, -1, 103, -1,
104, 87, 88, -1, 105, 106, -1, 89, -1, 90, -1, 107, -1, 108, -1]), ([33, 34,
38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261, 262, 263,
264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6,
-1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1,
110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 264], [-1, 61, 62,
-1, 63, 64, -1, 65, -1, 100, 109, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44,
45, 46, 126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287,
325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1,
198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9,
10, 12, 13, 18, 26, 30, 42, 44, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 100,
110, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259,
260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [
-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28,
-1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30,
42, 44, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 100, 111, -1]), ([33, 34,
38, 39, 40, 41, 42, 43, 44, 45, 46, 59, 60, 123, 124, 125, 126, 127, 258, 259,
260, 261, 262, 263, 264, 265, 266, 267, 285, 286, 287, 288, 289, 290, 291, 292,
293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308,
309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324,
325, 326, 327, 328, 329, 330, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12,
-1, 179, -1, 14, -1, 487, 16, -1, 18, 20, 22, 24, 26, 28, -1, 30, 32, -1, 34,
36, 38, 40, 42, 44, 46, 48, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74,
76, 78, 80, 82, 84, -1, 86, 88, 90, -1, 92, 94, 96, 98, 100, 102, 104, 106,
108, 110, 112, 114, 116, 118, 120], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44,
48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 91, 93, 96, 98, 100, 105,
110, 116, 133, 135, 137, 153, 155, 161, 162, 168, 172, 174, 176, 226, 227, 243,
245, 247, 249, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70,
71, 72, 73, 74, 75, 76, 77, 78, -1, 79, 80, 81, -1, 82, 83, 84, -1, 85, 86, 87,
88, -1, 89, -1, 90, -1, 91, 92, 93, -1, 94, 95, 112, 97, 98, -1]), ([33, 34,
38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261, 262, 263,
264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6,
-1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1,
110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 264], [-1, 61, 62,
-1, 63, 64, -1, 65, -1, 100, 113, -1]), ([37, 39, 40, 41, 42, 48, 58, 59, 64,
91, 92, 94, 95, 124, 125, 264, 285, 331], [-1, 3, -1, 3, -1, 3, -1, 228, 3, -1,
3, -1, 3, -1, 3, -1, 3, -1], [264], [-1]), ([37, 39, 40, 48, 58, 64, 91, 92,
93, 95, 124, 126, 264, 285, 331], [-1, 13, -1, 13, -1, 13, -1, 13, -1, 13, -1,
13, -1, 13, -1], [264], [-1]), ([37, 39, 40, 48, 58, 64, 91, 92, 93, 95, 124,
126, 264, 285, 331], [-1, 15, -1, 15, -1, 15, -1, 15, -1, 15, -1, 15, -1, 15,
-1], [264], [-1]), ([37, 39, 40, 48, 58, 64, 91, 92, 93, 95, 124, 126, 264,
285, 331], [-1, 21, -1, 21, -1, 21, -1, 21, -1, 21, -1, 21, -1, 21, -1], [264],
[-1]), ([37, 39, 40, 48, 58, 64, 91, 92, 93, 95, 124, 126, 264, 285, 331], [-1,
23, -1, 23, -1, 23, -1, 23, -1, 23, -1, 23, -1, 23, -1], [264], [-1]), ([33,
34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261, 262, 263,
264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 230,
-1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1,
110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 264], [-1, 61, 62, -1,
63, 64, -1, 65, -1, 116, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46,
126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326,
327, 328, 331], [-1, 2, -1, 4, -1, 234, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20,
22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12,
13, 18, 26, 30, 42, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 118, -1]), ([33,
34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261, 262, 263,
264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 234,
-1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1,
110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 264], [-1, 61, 62, -1,
63, 64, -1, 65, -1, 119, -1]), ([40, 43, 44, 45, 58, 60, 91, 92, 258, 259, 285,
286, 287, 311, 324, 325, 326, 327, 328, 329, 330, 331], [-1, 265, -1, 265, -1,
265, -1, 265, -1, 265, -1, 265, -1, 265, -1, 265, -1, 265, -1, 265, -1, 265], [
264], [-1]), ([37, 39, 40, 48, 58, 64, 91, 92, 93, 95, 124, 126, 264, 285, 331
], [-1, 17, -1, 17, -1, 17, -1, 17, -1, 17, -1, 17, -1, 17, -1], [264], [-1]),
([40, 43, 44, 45, 59, 60, 91, 92, 258, 259, 285, 286, 287, 311, 324, 325, 326,
327, 328, 329, 330, 331], [-1, 221, -1, 221, -1, 221, -1, 221, -1, 221, -1,
221, -1, 221, -1, 221, -1, 221, -1, 221, -1, 221], [264], [-1]), ([40, 43, 44,
45, 59, 60, 91, 92, 258, 259, 285, 286, 287, 311, 324, 325, 326, 327, 328, 329,
330, 331], [-1, 223, -1, 223, -1, 223, -1, 223, -1, 223, -1, 223, -1, 223, -1,
223, -1, 223, -1, 223, -1, 223], [264], [-1]), ([40, 43, 44, 45, 59, 60, 91,
92, 258, 259, 285, 286, 287, 311, 324, 325, 326, 327, 328, 329, 330, 331], [-1,
225, -1, 225, -1, 225, -1, 225, -1, 225, -1, 225, -1, 225, -1, 225, -1, 225,
-1, 225, -1, 225], [264], [-1]), ([40, 43, 44, 45, 59, 60, 91, 92, 258, 259,
285, 286, 287, 311, 324, 325, 326, 327, 328, 329, 330, 331], [-1, 229, -1, 229,
-1, 229, -1, 229, -1, 229, -1, 229, -1, 229, -1, 229, -1, 229, -1, 229, -1, 229
], [264], [-1]), ([40, 43, 44, 45, 59, 60, 91, 92, 258, 259, 285, 286, 287,
311, 324, 325, 326, 327, 328, 329, 330, 331], [-1, 231, -1, 231, -1, 231, -1,
231, -1, 231, -1, 231, -1, 231, -1, 231, -1, 231, -1, 231, -1, 231], [264], [-1
]), ([40, 43, 44, 45, 59, 60, 91, 92, 258, 259, 285, 286, 287, 311, 324, 325,
326, 327, 328, 329, 330, 331], [-1, 345, -1, 345, -1, 345, -1, 345, -1, 345,
-1, 345, -1, 345, -1, 345, -1, 345, -1, 345, -1, 345], [264], [-1]), ([33, 34,
38, 39, 40, 46, 58, 60, 91, 92, 93, 94, 126, 127, 258, 264, 265, 267, 285, 311,
324, 329, 330, 331], [-1, 337, -1, 337, -1, 337, -1, 337, -1, 337, -1, 337, -1,
337, -1, 337, -1, 337, -1, 337, -1, 337, -1, 337], [264], [-1]), ([33, 34, 38,
39, 40, 46, 58, 60, 91, 92, 93, 94, 126, 127, 258, 264, 265, 267, 285, 311,
324, 329, 330, 331], [-1, 339, -1, 339, -1, 339, -1, 339, -1, 339, -1, 339, -1,
339, -1, 339, -1, 339, -1, 339, -1, 339, -1, 339], [264], [-1]), ([33, 34, 38,
39, 40, 46, 58, 60, 91, 92, 93, 94, 126, 127, 258, 264, 265, 267, 285, 311,
324, 329, 330, 331], [-1, 341, -1, 341, -1, 341, -1, 341, -1, 341, -1, 341, -1,
341, -1, 341, -1, 341, -1, 341, -1, 341, -1, 341], [264], [-1]), ([40, 43, 44,
45, 58, 60, 91, 92, 258, 259, 285, 286, 287, 311, 324, 325, 326, 327, 328, 329,
330, 331], [-1, 251, -1, 251, -1, 251, -1, 251, -1, 251, -1, 251, -1, 251, -1,
251, -1, 251, -1, 251, -1, 251], [264], [-1]), ([40, 43, 44, 45, 58, 60, 91,
92, 258, 259, 285, 286, 287, 311, 324, 325, 326, 327, 328, 329, 330, 331], [-1,
235, -1, 235, -1, 235, -1, 235, -1, 235, -1, 235, -1, 235, -1, 235, -1, 235,
-1, 235, -1, 235], [264], [-1]), ([40, 43, 44, 45, 58, 60, 91, 92, 258, 259,
285, 286, 287, 311, 324, 325, 326, 327, 328, 329, 330, 331], [-1, 237, -1, 237,
-1, 237, -1, 237, -1, 237, -1, 237, -1, 237, -1, 237, -1, 237, -1, 237, -1, 237
], [264], [-1]), ([40, 43, 44, 45, 58, 60, 91, 92, 258, 259, 285, 286, 287,
311, 324, 325, 326, 327, 328, 329, 330, 331], [-1, 239, -1, 239, -1, 239, -1,
239, -1, 239, -1, 239, -1, 239, -1, 239, -1, 239, -1, 239, -1, 239], [264], [-1
]), ([40, 43, 44, 45, 58, 60, 91, 92, 258, 259, 285, 286, 287, 311, 324, 325,
326, 327, 328, 329, 330, 331], [-1, 241, -1, 241, -1, 241, -1, 241, -1, 241,
-1, 241, -1, 241, -1, 241, -1, 241, -1, 241, -1, 241], [264], [-1]), ([40, 43,
44, 45, 58, 60, 91, 92, 258, 259, 285, 286, 287, 311, 324, 325, 326, 327, 328,
329, 330, 331], [-1, 247, -1, 247, -1, 247, -1, 247, -1, 247, -1, 247, -1, 247,
-1, 247, -1, 247, -1, 247, -1, 247], [264], [-1]), ([40, 43, 44, 45, 58, 60,
91, 92, 258, 259, 285, 286, 287, 311, 324, 325, 326, 327, 328, 329, 330, 331],
[-1, 249, -1, 249, -1, 249, -1, 249, -1, 249, -1, 249, -1, 249, -1, 249, -1,
249, -1, 249, -1, 249], [264], [-1]), ([40, 43, 44, 45, 58, 60, 91, 92, 258,
259, 285, 286, 287, 311, 324, 325, 326, 327, 328, 329, 330, 331], [-1, 243, -1,
243, -1, 243, -1, 243, -1, 243, -1, 243, -1, 243, -1, 243, -1, 243, -1, 243,
-1, 243], [264], [-1]), ([40, 43, 44, 45, 58, 60, 91, 92, 258, 259, 285, 286,
287, 311, 324, 325, 326, 327, 328, 329, 330, 331], [-1, 245, -1, 245, -1, 245,
-1, 245, -1, 245, -1, 245, -1, 245, -1, 245, -1, 245, -1, 245, -1, 245], [264],
[-1]), ([40, 43, 44, 45, 58, 60, 91, 92, 258, 259, 285, 286, 287, 311, 324,
325, 326, 327, 328, 329, 330, 331], [-1, 233, -1, 233, -1, 233, -1, 233, -1,
233, -1, 233, -1, 233, -1, 233, -1, 233, -1, 233, -1, 233], [264], [-1]), ([40,
43, 44, 45, 58, 60, 91, 92, 258, 259, 285, 286, 287, 311, 324, 325, 326, 327,
328, 329, 330, 331], [-1, 253, -1, 253, -1, 253, -1, 253, -1, 253, -1, 253, -1,
253, -1, 253, -1, 253, -1, 253, -1, 253], [264], [-1]), ([40, 43, 44, 45, 58,
60, 91, 92, 258, 259, 285, 286, 287, 311, 324, 325, 326, 327, 328, 329, 330,
331], [-1, 255, -1, 255, -1, 255, -1, 255, -1, 255, -1, 255, -1, 255, -1, 255,
-1, 255, -1, 255, -1, 255], [264], [-1]), ([123, 124, 258, 259, 331], [-1, 521,
-1, 240, -1], [260, 262, 264], [-1, 121, -1]), ([123, 124, 258, 259, 331], [-1,
521, -1, 244, -1], [260, 262, 264], [-1, 123, -1]), ([123, 124, 258, 259, 331],
[-1, 521, -1, 248, -1], [260, 262, 264], [-1, 125, -1]), ([33, 34, 38, 39, 40,
41, 42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266,
267, 286, 287, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1,
12, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114,
-1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68,
70, 72, 74, 95, 96, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 100, 67, 68, 69,
70, 71, 72, 73, 74, 75, 76, 77, 126, -1, 127, -1]), ([58, 59, 331], [-1, 256,
-1], [264], [-1]), ([40, 41, 331], [-1, 258, -1], [264], [-1]), ([40, 41, 331],
[-1, 260, -1], [264], [-1]), ([40, 41, 331], [-1, 262, -1], [264], [-1]), ([33,
34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 59, 60, 123, 124, 126, 127, 258, 259,
260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 312, 313, 314, 315, 316, 317,
318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1,
6, -1, 8, 10, -1, 12, -1, 179, -1, 14, -1, 16, -1, 18, 20, 22, 24, 26, 28, -1,
30, 32, -1, 36, -1, 86, 88, 90, -1, 92, 94, 96, 98, 100, 102, 104, 106, -1,
110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59,
62, 64, 66, 68, 70, 72, 74, 77, 89, 91, 93, 227, 243, 264], [-1, 61, 62, -1,
63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, -1, 79,
80, 81, -1, 132, -1]), ([40, 41, 331], [-1, 266, -1], [264], [-1]), ([258, 259,
331], [-1, 268, -1], [264], [-1]), ([59, 60, 331], [-1, 270, -1], [264], [-1]),
([59, 60, 331], [-1, 272, -1], [264], [-1]), ([33, 34, 38, 39, 40, 41, 42, 43,
44, 45, 46, 59, 60, 126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267,
286, 287, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12,
-1, 179, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1,
114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66,
68, 70, 72, 74, 77, 89, 91, 93, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 66,
67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, -1, 79, 137, 81, -1]), ([40,
41, 331], [-1, 276, -1], [264], [-1]), ([40, 41, 331], [-1, 278, -1], [264], [
-1]), ([40, 41, 43, 44, 45, 58, 60, 91, 92, 258, 259, 285, 286, 287, 311, 324,
325, 326, 327, 328, 329, 330, 331], [-1, 280, 343, -1, 343, -1, 343, -1, 343,
-1, 343, -1, 343, -1, 343, -1, 343, -1, 343, -1, 343, -1, 343], [264], [-1]), (
[40, 41, 331], [-1, 282, -1], [264], [-1]), ([40, 43, 44, 45, 59, 60, 91, 92,
258, 259, 285, 286, 287, 311, 324, 325, 326, 327, 328, 329, 330, 331], [-1,
347, -1, 347, -1, 347, -1, 347, -1, 347, -1, 347, -1, 347, -1, 347, -1, 347,
-1, 347, -1, 347], [264], [-1]), ([40, 41, 331], [-1, 284, -1], [264], [-1]), (
[40, 43, 44, 45, 59, 60, 91, 92, 258, 259, 285, 286, 287, 311, 324, 325, 326,
327, 328, 329, 330, 331], [-1, 227, -1, 227, -1, 227, -1, 227, -1, 227, -1,
227, -1, 227, -1, 227, -1, 227, -1, 227, -1, 227], [264], [-1]), ([37, 39, 40,
48, 58, 64, 91, 92, 93, 95, 124, 126, 264, 285, 331], [-1, 37, -1, 37, -1, 37,
-1, 37, -1, 37, -1, 37, -1, 37, -1], [264], [-1]), ([37, 39, 40, 48, 58, 64,
91, 92, 93, 95, 124, 126, 264, 285, 331], [-1, 5, -1, 5, -1, 5, -1, 5, -1, 5,
-1, 5, -1, 5, -1], [264], [-1]), ([37, 39, 40, 48, 58, 64, 91, 92, 93, 95, 124,
126, 264, 285, 331], [-1, 7, -1, 7, -1, 7, -1, 7, -1, 7, -1, 7, -1, 7, -1], [
264], [-1]), ([37, 39, 40, 48, 58, 64, 91, 92, 93, 95, 124, 126, 264, 285, 331
], [-1, 11, -1, 11, -1, 11, -1, 11, -1, 11, -1, 11, -1, 11, -1], [264], [-1]),
([37, 39, 40, 41, 46, 47, 48, 58, 64, 91, 92, 93, 95, 124, 126, 264, 265, 266,
267, 285, 331], [-1, 61, -1, 286, 61, 288, 61, -1, 61, -1, 290, -1, 61, -1, 61,
-1, 292, 294, 296, 61, -1], [264], [-1]), ([37, 39, 41, 46, 47, 48, 58, 61, 62,
64, 93, 95, 124, 126, 267, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284,
285, 331], [-1, 85, -1, 85, -1, 85, -1, 85, 298, 85, -1, 85, -1, 85, -1, 85,
300, 302, 304, 306, 308, 310, 312, 314, 316, 318, -1], [264], [-1]), ([37, 39,
41, 46, 47, 48, 58, 61, 62, 64, 93, 95, 124, 126, 267, 275, 331], [-1, 89, -1,
89, -1, 89, -1, 89, -1, 89, -1, 89, -1, 89, -1, 89, -1], [264], [-1]), ([37,
38, 39, 41, 42, 43, 46, 47, 48, 58, 61, 62, 64, 93, 95, 124, 126, 267, 275, 331
], [-1, 320, 97, -1, 97, 322, 97, -1, 324, -1, 97, -1, 97, -1, 97, -1, 97, -1,
97, -1], [264], [-1]), ([38, 39, 41, 42, 43, 44, 45, 46, 58, 61, 62, 64, 93,
95, 124, 126, 267, 275, 331], [-1, 103, -1, 103, -1, 326, 103, 328, -1, 103,
-1, 103, -1, 103, -1, 103, -1, 103, -1], [264], [-1]), ([38, 39, 41, 42, 44,
45, 58, 61, 62, 64, 93, 95, 124, 126, 267, 268, 269, 275, 331], [-1, 109, -1,
109, -1, 109, -1, 109, -1, 109, -1, 109, -1, 109, -1, 330, 332, 109, -1], [264
], [-1]), ([38, 39, 41, 42, 44, 45, 58, 60, 61, 62, 63, 64, 93, 95, 124, 126,
269, 270, 271, 275, 331], [-1, 119, -1, 119, -1, 119, -1, 119, 334, -1, 336,
119, -1, 119, -1, 119, -1, 338, 340, 119, -1], [264], [-1]), ([38, 39, 41, 42,
44, 45, 58, 60, 63, 64, 93, 95, 124, 126, 271, 272, 273, 275, 331], [-1, 125,
-1, 125, -1, 125, -1, 125, -1, 125, -1, 125, -1, 125, -1, 342, 344, 125, -1], [
264], [-1]), ([38, 39, 41, 42, 44, 45, 58, 60, 63, 64, 93, 95, 124, 126, 273,
275, 331], [-1, 346, -1, 129, -1, 129, -1, 129, -1, 129, -1, 129, -1, 129, -1,
129, -1], [264], [-1]), ([41, 42, 44, 45, 58, 60, 63, 64, 93, 94, 95, 124, 126,
273, 275, 331], [-1, 133, -1, 133, -1, 133, -1, 133, -1, 133, 348, -1, 133, -1,
133, -1], [264], [-1]), ([41, 42, 44, 45, 58, 60, 63, 64, 93, 94, 124, 125,
126, 273, 275, 331], [-1, 137, -1, 137, -1, 137, -1, 137, -1, 137, -1, 350,
137, -1, 137, -1], [264], [-1]), ([41, 42, 44, 45, 58, 60, 63, 64, 93, 94, 125,
126, 273, 274, 275, 331], [-1, 141, -1, 141, -1, 141, -1, 141, -1, 141, -1,
141, -1, 352, 141, -1], [264], [-1]), ([41, 42, 44, 45, 58, 60, 63, 64, 93, 94,
125, 126, 274, 275, 331], [-1, 145, -1, 145, -1, 145, -1, 354, -1, 145, -1,
145, -1, 356, -1], [264], [-1]), ([41, 42, 44, 45, 58, 60, 93, 94, 125, 126,
331], [-1, 155, -1, 155, -1, 155, -1, 155, -1, 155, -1], [264], [-1]), ([41,
42, 44, 45, 58, 60, 93, 94, 331], [-1, 183, -1, 183, -1, 183, -1, 183, -1], [
264], [-1]), ([59, 60, 331], [-1, 358, -1], [264], [-1]), ([41, 42, 44, 45, 59,
60, 331], [-1, 181, -1, 360, -1, 181, -1], [264], [-1]), ([33, 34, 38, 39, 40,
41, 42, 44, 45, 46, 59, 60, 123, 124, 125, 127, 256, 257, 258, 264, 265, 267,
285, 311, 312, 315, 316, 331], [-1, 495, -1, 495, -1, 495, -1, 495, -1, 495,
-1, 495, -1, 495, -1, 495, -1, 495, -1, 495, -1, 495, -1, 495, -1, 495, -1, 495
], [264], [-1]), ([40, 41, 42, 43, 59, 60, 258, 259, 285, 286, 287, 288, 289,
290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305,
306, 307, 308, 309, 310, 311, 324, 325, 326, 327, 328, 329, 330, 331], [-1,
362, -1, 364, -1, 211, -1, 366, -1, 34, -1, 38, 40, 42, 44, 46, 48, 50, 52, 54,
56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, -1, 108, -1, 112,
-1, 116, -1, 120], [100, 105, 107, 109, 110, 116, 133, 135, 137, 153, 155, 161,
162, 168, 172, 174, 176, 178, 180, 185, 264], [-1, 184, 185, 186, 187, 85, 86,
87, 88, -1, 89, -1, 90, -1, 91, 92, 93, -1, 188, 189, -1]), ([40, 43, 44, 45,
59, 60, 91, 92, 258, 259, 285, 286, 287, 311, 324, 325, 326, 327, 328, 329,
330, 331], [-1, 197, -1, 197, -1, 197, -1, 197, -1, 197, -1, 197, -1, 197, -1,
197, -1, 197, -1, 197, -1, 197], [264], [-1]), ([40, 43, 44, 45, 59, 60, 91,
92, 258, 259, 285, 286, 287, 311, 324, 325, 326, 327, 328, 329, 330, 331], [-1,
201, -1, 201, -1, 201, -1, 201, -1, 201, -1, 201, -1, 201, -1, 201, -1, 201,
-1, 201, -1, 201], [264], [-1]), ([40, 43, 44, 45, 59, 60, 91, 92, 258, 259,
285, 286, 287, 311, 324, 325, 326, 327, 328, 329, 330, 331], [-1, 203, -1, 203,
-1, 203, -1, 203, -1, 203, -1, 203, -1, 203, -1, 203, -1, 203, -1, 203, -1, 203
], [264], [-1]), ([40, 43, 44, 45, 58, 60, 91, 92, 258, 259, 285, 286, 287,
311, 324, 325, 326, 327, 328, 329, 330, 331], [-1, 259, -1, 259, -1, 259, -1,
259, -1, 259, -1, 259, -1, 259, -1, 259, -1, 259, -1, 259, -1, 259], [264], [-1
]), ([40, 43, 44, 45, 58, 60, 91, 92, 258, 259, 285, 286, 287, 311, 324, 325,
326, 327, 328, 329, 330, 331], [-1, 261, -1, 261, -1, 261, -1, 261, -1, 261,
-1, 261, -1, 261, -1, 261, -1, 261, -1, 261, -1, 261], [264], [-1]), ([40, 43,
44, 45, 58, 60, 91, 92, 258, 259, 285, 286, 287, 311, 324, 325, 326, 327, 328,
329, 330, 331], [-1, 263, -1, 263, -1, 263, -1, 263, -1, 263, -1, 263, -1, 263,
-1, 263, -1, 263, -1, 263, -1, 263], [264], [-1]), ([40, 43, 44, 45, 58, 60,
91, 92, 258, 259, 285, 286, 287, 311, 324, 325, 326, 327, 328, 329, 330, 331],
[-1, 257, -1, 257, -1, 257, -1, 257, -1, 257, -1, 257, -1, 257, -1, 257, -1,
257, -1, 257, -1, 257], [264], [-1]), ([40, 43, 44, 45, 59, 60, 91, 92, 258,
259, 285, 286, 287, 311, 324, 325, 326, 327, 328, 329, 330, 331], [-1, 205, -1,
205, -1, 205, -1, 205, -1, 205, -1, 205, -1, 205, -1, 205, -1, 205, -1, 205,
-1, 205], [264], [-1]), ([40, 43, 44, 45, 59, 60, 91, 92, 258, 259, 285, 286,
287, 311, 324, 325, 326, 327, 328, 329, 330, 331], [-1, 207, -1, 207, -1, 207,
-1, 207, -1, 207, -1, 207, -1, 207, -1, 207, -1, 207, -1, 207, -1, 207], [264],
[-1]), ([40, 43, 44, 45, 59, 60, 91, 92, 258, 259, 285, 286, 287, 311, 324,
325, 326, 327, 328, 329, 330, 331], [-1, 209, -1, 209, -1, 209, -1, 209, -1,
209, -1, 209, -1, 209, -1, 209, -1, 209, -1, 209, -1, 209], [264], [-1]), ([33,
34, 38, 39, 40, 41, 42, 44, 45, 46, 59, 60, 123, 124, 125, 127, 256, 257, 258,
264, 265, 267, 285, 311, 312, 315, 316, 331], [-1, 195, -1, 195, -1, 195, -1,
195, -1, 195, -1, 195, -1, 195, -1, 195, -1, 195, -1, 195, -1, 195, -1, 195,
-1, 195, -1, 195], [264], [-1]), ([33, 34, 38, 39, 40, 41, 42, 44, 45, 46, 59,
60, 123, 124, 125, 127, 256, 257, 258, 264, 265, 267, 285, 311, 312, 315, 316,
331], [-1, 497, -1, 497, -1, 497, -1, 497, -1, 497, -1, 497, -1, 497, -1, 497,
-1, 497, -1, 497, -1, 497, -1, 497, -1, 497, -1, 497], [264], [-1]), ([256,
257, 331], [-1, 1, -1], [264], [-1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45,
46, 59, 60, 123, 124, 125, 126, 127, 256, 257, 258, 259, 260, 261, 262, 263,
264, 265, 266, 267, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296,
297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312,
313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328,
329, 330, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 179, -1, 14, -1,
489, 16, -1, 489, -1, 18, 20, 22, 24, 26, 28, -1, 30, 32, -1, 34, 36, 38, 40,
42, 44, 46, 48, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80,
82, 84, -1, 86, 88, 90, -1, 92, 94, 96, 98, 100, 102, 104, 106, 108, 110, 112,
114, 116, 118, 120], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59,
62, 64, 66, 68, 70, 72, 74, 77, 89, 91, 93, 96, 98, 100, 105, 110, 116, 133,
135, 137, 153, 155, 161, 162, 168, 172, 174, 176, 226, 227, 243, 247, 249, 264
], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75,
76, 77, 78, -1, 79, 80, 81, -1, 82, 83, 84, -1, 85, 86, 87, 88, -1, 89, -1, 90,
-1, 91, 92, 93, -1, 94, 95, -1, 190, -1]), ([33, 34, 38, 39, 40, 41, 42, 44,
45, 46, 59, 60, 123, 124, 125, 127, 256, 257, 258, 264, 265, 267, 285, 311,
312, 315, 316, 331], [-1, 491, -1, 491, -1, 491, -1, 491, -1, 491, -1, 491, -1,
491, -1, 491, -1, 491, -1, 491, -1, 491, -1, 491, -1, 491, -1, 491], [264], [-1
]), ([37, 39, 40, 48, 58, 64, 91, 92, 93, 95, 124, 126, 264, 285, 331], [-1, 3,
-1, 3, -1, 3, -1, 3, -1, 3, -1, 3, -1, 3, -1], [264], [-1]), ([37, 39, 41, 46,
47, 48, 58, 64, 93, 95, 124, 126, 267, 285, 331], [-1, 85, -1, 85, -1, 85, -1,
85, -1, 85, -1, 85, -1, 85, -1], [264], [-1]), ([37, 39, 41, 46, 47, 48, 58,
64, 93, 95, 124, 126, 267, 285, 331], [-1, 77, -1, 77, -1, 77, -1, 77, -1, 77,
-1, 77, -1, 77, -1], [264], [-1]), ([37, 39, 41, 46, 47, 48, 58, 64, 93, 95,
124, 126, 267, 285, 331], [-1, 67, -1, 67, -1, 67, -1, 67, -1, 67, -1, 67, -1,
67, -1], [264], [-1]), ([41, 42, 44, 45, 331], [-1, 382, -1, 360, -1], [264], [
-1]), ([40, 43, 58, 60, 91, 92, 258, 259, 285, 286, 293, 311, 326, 327, 331], [
-1, 291, -1, 291, -1, 291, -1, 291, -1, 291, -1, 291, -1, 291, -1], [264], [-1]
), ([40, 41, 42, 43, 58, 59, 91, 92, 285, 286, 293, 294, 295, 296, 297, 298,
299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 326, 327, 331
], [-1, 384, 401, 386, -1, 401, -1, 388, -1, 34, -1, 50, 52, 54, 56, 58, 60,
62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, -1, 112, -1], [116, 133, 135,
137, 145, 147, 153, 155, 161, 162, 168, 172, 198, 200, 202, 210, 264], [-1,
104, 87, 88, -1, 195, -1, 89, -1, 90, -1, 107, -1, 196, 197, 198, -1]), ([40,
43, 58, 60, 91, 92, 258, 259, 285, 286, 293, 311, 326, 327, 331], [-1, 287, -1,
287, -1, 287, -1, 287, -1, 287, -1, 287, -1, 287, -1], [264], [-1]), ([40, 43,
58, 60, 91, 92, 258, 259, 285, 286, 293, 311, 326, 327, 331], [-1, 293, -1,
293, -1, 293, -1, 293, -1, 293, -1, 293, -1, 293, -1], [264], [-1]), ([41, 42,
331], [-1, 398, -1], [264], [-1]), ([37, 39, 41, 46, 47, 48, 58, 64, 93, 95,
124, 126, 267, 285, 331], [-1, 69, -1, 69, -1, 69, -1, 69, -1, 69, -1, 69, -1,
69, -1], [264], [-1]), ([37, 39, 41, 46, 47, 48, 58, 64, 93, 95, 124, 126, 267,
285, 331], [-1, 71, -1, 71, -1, 71, -1, 71, -1, 71, -1, 71, -1, 71, -1], [264],
[-1]), ([37, 39, 41, 46, 47, 48, 58, 64, 93, 95, 124, 126, 267, 285, 331], [-1,
73, -1, 73, -1, 73, -1, 73, -1, 73, -1, 73, -1, 73, -1], [264], [-1]), ([125,
126, 331], [-1, 400, -1], [264], [-1]), ([37, 39, 41, 46, 47, 48, 58, 64, 93,
95, 124, 126, 267, 285, 331], [-1, 75, -1, 75, -1, 75, -1, 75, -1, 75, -1, 75,
-1, 75, -1], [264], [-1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 59,
60, 123, 124, 126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286,
287, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326,
327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 179, -1, 14, -1,
16, -1, 18, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 86, 88, 90, -1, 92, 94,
96, 98, 100, 102, 104, 106, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18,
26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 91, 93,
227, 243, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71,
72, 73, 74, 75, 76, 77, 78, -1, 79, 80, 81, -1, 201, -1]), ([33, 34, 38, 39,
40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261, 262, 263, 264, 265,
266, 267, 285, 286, 287, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303,
304, 305, 306, 307, 308, 309, 310, 311, 325, 326, 327, 328, 331], [-1, 2, -1,
4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32,
-1, 34, 36, -1, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80,
82, 84, -1, 110, 112, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48,
51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 91, 93, 116, 133, 135, 137,
143, 145, 147, 153, 155, 161, 162, 168, 172, 197, 198, 264], [-1, 61, 62, -1,
63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, -1, 79,
-1, 103, -1, 104, 87, 88, -1, 105, 106, -1, 89, -1, 90, -1, 107, -1, 202, -1]),
([37, 39, 41, 46, 47, 48, 58, 64, 93, 95, 124, 126, 267, 285, 331], [-1, 79,
-1, 79, -1, 79, -1, 79, -1, 79, -1, 79, -1, 79, -1], [264], [-1]), ([33, 34,
38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261, 262, 263,
264, 265, 266, 267, 285, 286, 287, 293, 294, 295, 296, 297, 298, 299, 300, 301,
302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 325, 326, 327, 328, 331], [
-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28,
-1, 30, 32, -1, 34, 36, -1, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74,
76, 78, 80, 82, 84, -1, 110, 112, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30,
42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 91, 93, 116, 133,
135, 137, 143, 145, 147, 153, 155, 161, 162, 168, 172, 197, 198, 264], [-1, 61,
62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78,
-1, 79, -1, 103, -1, 104, 87, 88, -1, 105, 106, -1, 89, -1, 90, -1, 107, -1,
203, -1]), ([37, 39, 41, 46, 47, 48, 58, 64, 93, 95, 124, 126, 267, 285, 331],
[-1, 63, -1, 63, -1, 63, -1, 63, -1, 63, -1, 63, -1, 63, -1], [264], [-1]), ([
37, 39, 41, 46, 47, 48, 58, 64, 93, 95, 124, 126, 267, 285, 331], [-1, 65, -1,
65, -1, 65, -1, 65, -1, 65, -1, 65, -1, 65, -1], [264], [-1]), ([40, 43, 44,
45, 58, 60, 91, 92, 123, 124, 258, 259, 285, 286, 287, 311, 324, 325, 326, 327,
328, 329, 330, 331], [-1, 269, -1, 269, -1, 269, -1, 269, -1, 523, -1, 269, -1,
269, -1, 269, -1, 269, -1, 269, -1, 269, -1, 269], [264], [-1]), ([123, 124,
331], [-1, 408, -1], [264], [-1]), ([40, 43, 44, 45, 58, 60, 91, 92, 123, 124,
258, 259, 285, 286, 287, 311, 324, 325, 326, 327, 328, 329, 330, 331], [-1,
273, -1, 273, -1, 273, -1, 273, -1, 523, -1, 273, -1, 273, -1, 273, -1, 273,
-1, 273, -1, 273, -1, 273], [264], [-1]), ([123, 124, 331], [-1, 410, -1], [264
], [-1]), ([40, 43, 44, 45, 58, 60, 91, 92, 123, 124, 258, 259, 285, 286, 287,
311, 324, 325, 326, 327, 328, 329, 330, 331], [-1, 309, -1, 309, -1, 309, -1,
309, -1, 523, -1, 309, -1, 309, -1, 309, -1, 309, -1, 309, -1, 309, -1, 309], [
264], [-1]), ([123, 124, 331], [-1, 412, -1], [264], [-1]), ([41, 42, 44, 45,
58, 60, 93, 94, 125, 126, 331], [-1, 191, -1, 191, -1, 191, -1, 191, -1, 191,
-1], [264], [-1]), ([58, 59, 331], [-1, 414, -1], [264], [-1]), ([33, 34, 38,
39, 40, 41, 42, 43, 44, 45, 46, 59, 60, 123, 124, 126, 127, 258, 259, 260, 261,
262, 263, 264, 265, 266, 267, 286, 287, 312, 313, 314, 315, 316, 317, 318, 319,
320, 321, 322, 323, 324, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 8,
10, -1, 12, -1, 179, -1, 14, -1, 16, -1, 18, 20, 22, 24, 26, 28, -1, 30, 32,
-1, 36, -1, 86, 88, 90, -1, 92, 94, 96, 98, 100, 102, 104, 106, -1, 110, -1,
114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66,
68, 70, 72, 74, 77, 89, 91, 93, 227, 243, 264], [-1, 61, 62, -1, 63, 64, -1,
65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, -1, 79, 80, 81, -1,
208, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259,
260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [
-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28,
-1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30,
42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 91, 93, 264], [-1,
61, 62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77,
78, -1, 79, -1, 209, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126,
127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327,
328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22,
24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13,
18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 91, 93,
264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74,
75, 76, 77, 78, -1, 79, -1, 210, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44,
45, 46, 126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287,
325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1,
198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9,
10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77,
89, 91, 93, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71,
72, 73, 74, 75, 76, 77, 78, -1, 79, -1, 211, -1]), ([317, 318, 331], [-1, 424,
-1], [264], [-1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 59, 60, 126,
127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 285, 286, 287, 288, 289,
290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305,
306, 307, 308, 309, 310, 311, 324, 325, 326, 327, 328, 329, 330, 331], [-1, 2,
-1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 179, -1, 16, -1, 198, 20, 22, 24, 26, 28,
-1, 30, 32, -1, 34, 36, 38, 40, 42, 44, 46, 48, 50, 52, 54, 56, 58, 60, 62, 64,
66, 68, 70, 72, 74, 76, 78, 80, 82, 84, -1, 108, 110, 112, 114, 116, 118, 120],
[1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70,
72, 74, 77, 89, 91, 93, 96, 98, 100, 105, 110, 116, 133, 135, 137, 153, 155,
161, 162, 168, 172, 174, 176, 226, 227, 264], [-1, 61, 62, -1, 63, 64, -1, 65,
-1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, -1, 79, 213, 81, -1,
214, 83, 84, -1, 85, 86, 87, 88, -1, 89, -1, 90, -1, 91, 92, 93, -1, 94, -1]),
([59, 60, 331], [-1, 430, -1], [264], [-1]), ([33, 34, 38, 39, 40, 41, 42, 44,
45, 46, 59, 60, 123, 124, 125, 127, 256, 257, 258, 264, 265, 267, 285, 311,
312, 331], [-1, 481, -1, 481, -1, 481, -1, 481, -1, 481, -1, 481, -1, 481, -1,
481, -1, 481, -1, 481, -1, 481, -1, 481, -1, 481], [264], [-1]), ([33, 34, 38,
39, 40, 41, 42, 44, 45, 46, 59, 60, 123, 124, 125, 127, 256, 257, 258, 264,
265, 267, 285, 311, 312, 331], [-1, 483, -1, 483, -1, 483, -1, 483, -1, 483,
-1, 483, -1, 483, -1, 483, -1, 483, -1, 483, -1, 483, -1, 483, -1, 483], [264],
[-1]), ([59, 60, 331], [-1, 432, -1], [264], [-1]), ([33, 34, 38, 39, 40, 41,
42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267,
285, 286, 287, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305,
306, 307, 308, 309, 310, 311, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6,
-1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 34, 36,
-1, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, -1,
110, 112, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59,
62, 64, 66, 68, 70, 72, 74, 95, 96, 116, 133, 135, 137, 143, 145, 147, 153,
155, 161, 162, 168, 172, 197, 198, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1,
100, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 126, -1, 217, -1, 104, 87, 88,
-1, 105, 106, -1, 89, -1, 90, -1, 107, -1, 218, -1]), ([285, 286, 293, 294,
295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310,
311, 326, 327, 331], [-1, 34, -1, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70,
72, 74, 76, 78, 80, 82, 84, -1, 112, -1], [116, 133, 135, 137, 143, 145, 147,
153, 155, 161, 162, 168, 172, 197, 198, 264], [-1, 104, 87, 88, -1, 105, 106,
-1, 89, -1, 90, -1, 107, -1, 219, -1]), ([285, 286, 293, 294, 295, 296, 297,
298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 326, 327,
331], [-1, 34, -1, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78,
80, 82, 84, -1, 112, -1], [116, 133, 135, 137, 143, 145, 147, 153, 155, 161,
162, 168, 172, 197, 198, 264], [-1, 104, 87, 88, -1, 105, 106, -1, 89, -1, 90,
-1, 107, -1, 220, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127,
258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328,
331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 264], [-1, 61,
62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78,
-1, 221, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258,
259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331
], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 95, 96, 264], [-1, 61,
62, -1, 63, 64, -1, 65, -1, 100, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77,
126, -1, 222, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127,
258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328,
331], [-1, 2, -1, 4, -1, 6, 53, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
28, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 264], [-1,
61, 62, -1, 63, 64, -1, 65, 223, 224, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75,
76, 77, 78, -1, 225, -1]), ([258, 259, 331], [-1, 452, -1], [264], [-1]), ([33,
34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261, 262, 263,
264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6,
-1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1,
110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59,
62, 64, 66, 68, 70, 72, 74, 77, 89, 91, 93, 264], [-1, 61, 62, -1, 63, 64, -1,
65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, -1, 79, -1, 227, -1
]), ([258, 259, 331], [-1, 456, -1], [264], [-1]), ([37, 39, 40, 48, 58, 64,
91, 92, 93, 95, 124, 126, 264, 285, 331], [-1, 47, -1, 47, -1, 47, -1, 47, -1,
47, -1, 47, -1, 47, -1], [264], [-1]), ([37, 39, 40, 48, 58, 64, 91, 92, 93,
95, 124, 126, 264, 285, 331], [-1, 49, -1, 49, -1, 49, -1, 49, -1, 49, -1, 49,
-1, 49, -1], [264], [-1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126,
127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327,
328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22,
24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13,
18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 264], [
-1, 61, 62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76,
77, 78, -1, 229, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127,
258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328,
331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 264], [-1, 61,
62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78,
-1, 230, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258,
259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331
], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 264], [-1, 61,
62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78,
-1, 231, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258,
259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331
], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 264], [-1, 61,
62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78,
-1, 232, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258,
259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331
], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 264], [-1, 61,
62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78,
-1, 233, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258,
259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331
], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 264], [-1, 61,
62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78,
-1, 234, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258,
259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331
], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 264], [-1, 61,
62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78,
-1, 235, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258,
259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331
], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 264], [-1, 61,
62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78,
-1, 236, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258,
259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331
], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 264], [-1, 61,
62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78,
-1, 237, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258,
259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331
], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 264], [-1, 61,
62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78,
-1, 238, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258,
259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331
], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 264], [-1, 61,
62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78,
-1, 239, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258,
259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331
], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 100, 240, -1]), ([33,
34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261, 262, 263,
264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6,
-1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1,
110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 264], [-1, 61, 62,
-1, 63, 64, -1, 65, -1, 100, 241, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44,
45, 46, 126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287,
325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1,
198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9,
10, 12, 13, 18, 26, 30, 42, 44, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 100,
242, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259,
260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [
-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28,
-1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30,
42, 44, 48, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 100, 67, 243, -1]), ([
33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261, 262,
263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1,
6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36,
-1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 264], [-1,
61, 62, -1, 63, 64, -1, 65, -1, 100, 67, 244, -1]), ([33, 34, 38, 39, 40, 41,
42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267,
286, 287, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12,
-1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1],
[1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 264], [-1, 61, 62, -1, 63,
64, -1, 65, -1, 100, 67, 68, 245, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44,
45, 46, 126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287,
325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1,
198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9,
10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 264], [-1, 61, 62, -1, 63, 64, -1, 65,
-1, 100, 67, 68, 246, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126,
127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327,
328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22,
24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13,
18, 26, 30, 42, 44, 48, 51, 54, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 100,
67, 68, 69, 247, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127,
258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328,
331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 48, 51, 54, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 100, 67, 68,
69, 248, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258,
259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331
], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 48, 51, 54, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 100, 67, 68,
69, 249, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258,
259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331
], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 48, 51, 54, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 100, 67, 68,
69, 250, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258,
259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331
], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 48, 51, 54, 59, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 100, 67,
68, 69, 70, 251, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127,
258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328,
331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 48, 51, 54, 59, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 100, 67,
68, 69, 70, 252, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127,
258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328,
331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 48, 51, 54, 59, 62, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 100,
67, 68, 69, 70, 71, 253, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46,
126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326,
327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20,
22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12,
13, 18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 264], [-1, 61, 62, -1, 63, 64,
-1, 65, -1, 100, 67, 68, 69, 70, 71, 72, 254, -1]), ([33, 34, 38, 39, 40, 41,
42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267,
286, 287, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12,
-1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1],
[1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 264], [
-1, 61, 62, -1, 63, 64, -1, 65, -1, 100, 67, 68, 69, 70, 71, 72, 73, 255, -1]),
([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261,
262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [-1, 2, -1,
4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32,
-1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48,
51, 54, 59, 62, 64, 66, 68, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 100, 67,
68, 69, 70, 71, 72, 73, 74, 256, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44,
45, 46, 126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287,
325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1,
198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9,
10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77,
89, 91, 93, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71,
72, 73, 74, 75, 76, 77, 78, -1, 79, -1, 257, -1]), ([33, 34, 38, 39, 40, 41,
42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267,
286, 287, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12,
-1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1],
[1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70,
264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 100, 67, 68, 69, 70, 71, 72, 73, 74,
75, 258, -1]), ([33, 34, 38, 39, 40, 41, 42, 44, 45, 46, 59, 60, 123, 124, 125,
127, 256, 257, 258, 264, 265, 267, 285, 311, 312, 331], [-1, 463, -1, 463, -1,
463, -1, 463, -1, 463, -1, 463, -1, 463, -1, 463, -1, 463, -1, 463, -1, 463,
-1, 463, -1, 463], [264], [-1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46,
126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326,
327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20,
22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12,
13, 18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 264
], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75,
76, 77, 78, -1, 259, -1]), ([40, 41, 42, 43, 258, 259, 331], [-1, 362, -1, 364,
-1, 366, -1], [178, 180, 185, 264], [-1, 260, 189, -1]), ([40, 41, 42, 43, 258,
259, 293, 294, 295, 296, 326, 327, 331], [-1, 371, -1, 371, -1, 371, -1, 50,
52, 54, -1, 522, -1], [168, 172, 185, 187, 189, 264], [-1, 262, -1, 263, 264,
-1]), ([40, 42, 44, 45, 58, 60, 61, 62, 91, 92, 331], [-1, 361, -1, 361, -1,
361, -1, 361, -1, 361, -1], [264], [-1]), ([40, 43, 44, 45, 59, 60, 91, 92,
258, 259, 285, 286, 287, 311, 324, 325, 326, 327, 328, 329, 330, 331], [-1,
199, -1, 199, -1, 199, -1, 199, -1, 199, -1, 199, -1, 199, -1, 199, -1, 199,
-1, 199, -1, 199], [264], [-1]), ([59, 60, 331], [-1, 530, -1], [264], [-1]), (
[44, 45, 59, 60, 331], [-1, 532, -1, 213, -1], [264], [-1]), ([44, 45, 59, 60,
331], [-1, 215, -1, 215, -1], [264], [-1]), ([44, 45, 59, 60, 61, 62, 331], [
-1, 421, -1, 421, -1, 534, -1], [210, 212, 264], [-1, 268, -1]), ([40, 41, 42,
44, 45, 58, 60, 61, 62, 91, 92, 331], [-1, 538, 357, -1, 357, -1, 357, -1, 357,
-1, 540, -1], [264], [-1]), ([33, 34, 38, 39, 40, 41, 42, 44, 45, 46, 59, 60,
123, 124, 125, 127, 256, 257, 258, 264, 265, 267, 285, 311, 312, 315, 316, 331
], [-1, 493, -1, 493, -1, 493, -1, 493, -1, 493, -1, 493, -1, 493, -1, 493, -1,
493, -1, 493, -1, 493, -1, 493, -1, 493, -1, 493], [264], [-1]), ([37, 39, 40,
48, 58, 64, 91, 92, 93, 95, 124, 126, 264, 285, 331], [-1, 9, -1, 9, -1, 9, -1,
9, -1, 9, -1, 9, -1, 9, -1], [264], [-1]), ([40, 41, 42, 43, 91, 92, 285, 286,
287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302,
303, 304, 305, 306, 307, 308, 309, 310, 311, 324, 325, 326, 327, 328, 329, 330,
331], [-1, 384, 542, 544, -1, 388, -1, 34, -1, 38, 40, 42, 44, 46, 48, 50, 52,
54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, -1, 108, -1,
112, -1, 116, -1, 120], [98, 100, 105, 110, 116, 133, 135, 137, 153, 155, 161,
162, 168, 172, 174, 176, 189, 191, 193, 202, 210, 264], [-1, 273, 84, -1, 85,
86, 87, 88, -1, 89, -1, 90, -1, 91, 92, 93, -1, 274, 275, -1, 276, -1]), ([40,
43, 58, 59, 91, 92, 293, 294, 295, 296, 326, 327, 331], [-1, 371, -1, 371, -1,
371, -1, 50, 52, 54, -1, 522, -1], [168, 172, 185, 187, 189, 264], [-1, 262,
-1, 277, 264, -1]), ([33, 34, 38, 39, 40, 41, 42, 44, 45, 46, 93, 94, 126, 127,
258, 264, 265, 267, 286, 287, 289, 290, 293, 294, 295, 296, 325, 326, 327, 328,
331], [-1, 325, -1, 325, -1, 325, -1, 325, -1, 325, -1, 325, -1, 325, -1, 325,
-1, 325, -1, 325, -1, 556, -1, 50, 52, 54, -1, 325, 522, 325, -1], [162, 164,
166, 168, 172, 264], [-1, 279, 280, 281, 282, -1]), ([40, 43, 58, 60, 91, 92,
258, 259, 285, 286, 293, 311, 326, 327, 331], [-1, 289, -1, 289, -1, 289, -1,
289, -1, 289, -1, 289, -1, 289, -1], [264], [-1]), ([41, 42, 58, 59, 331], [-1,
395, -1, 395, -1], [264], [-1]), ([41, 42, 44, 45, 58, 59, 331], [-1, 397, -1,
397, -1, 397, -1], [264], [-1]), ([40, 41, 42, 44, 45, 58, 59, 91, 92, 331], [
-1, 566, 403, -1, 403, -1, 403, -1, 568, -1], [264], [-1]), ([33, 34, 38, 39,
40, 41, 42, 43, 44, 45, 46, 123, 124, 126, 127, 258, 259, 260, 261, 262, 263,
264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6,
-1, 8, 10, -1, 12, -1, 570, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32,
-1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 264],
[-1, 61, 62, -1, 63, 64, -1, 65, -1, 100, 286, -1]), ([33, 34, 38, 39, 40, 41,
42, 44, 45, 46, 59, 60, 123, 124, 125, 127, 256, 257, 258, 264, 265, 267, 285,
311, 312, 331], [-1, 461, -1, 461, -1, 461, -1, 461, -1, 461, -1, 461, -1, 461,
-1, 461, -1, 461, -1, 461, -1, 461, -1, 461, -1, 461], [264], [-1]), ([33, 34,
38, 39, 40, 41, 42, 44, 45, 46, 59, 60, 123, 124, 125, 127, 256, 257, 258, 264,
265, 267, 285, 311, 312, 331], [-1, 455, -1, 455, -1, 455, -1, 455, -1, 455,
-1, 455, -1, 455, -1, 455, -1, 455, -1, 455, -1, 455, -1, 455, -1, 455], [264],
[-1]), ([41, 42, 331], [-1, 574, -1], [264], [-1]), ([41, 42, 331], [-1, 576,
-1], [264], [-1]), ([125, 126, 285, 286, 293, 294, 295, 296, 297, 298, 299,
300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 326, 327, 329, 330,
331], [-1, 275, -1, 34, -1, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74,
76, 78, 80, 82, 84, -1, 112, -1, 118, -1], [116, 133, 135, 137, 139, 141, 143,
145, 147, 153, 155, 161, 162, 168, 172, 226, 227, 264], [-1, 104, 87, 88, 289,
290, 291, 292, 106, -1, 89, -1, 90, -1, 107, -1, 293, -1]), ([125, 126, 285,
286, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307,
308, 309, 310, 311, 326, 327, 329, 330, 331], [-1, 275, -1, 34, -1, 50, 52, 54,
56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, -1, 112, -1, 118,
-1], [116, 133, 135, 137, 139, 141, 143, 145, 147, 153, 155, 161, 162, 168,
172, 226, 227, 264], [-1, 104, 87, 88, 294, 290, 291, 292, 106, -1, 89, -1, 90,
-1, 107, -1, 293, -1]), ([125, 126, 258, 259, 331], [-1, 311, -1, 590, -1], [9,
10, 155, 158, 160, 161, 264], [-1, 296, -1, 297, 298, 299, -1]), ([33, 34, 38,
39, 40, 41, 42, 43, 44, 45, 46, 59, 60, 123, 124, 126, 127, 258, 259, 260, 261,
262, 263, 264, 265, 266, 267, 286, 287, 312, 313, 314, 315, 316, 317, 318, 319,
320, 321, 322, 323, 324, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 8,
10, -1, 12, -1, 179, -1, 14, -1, 16, -1, 18, 20, 22, 24, 26, 28, -1, 30, 32,
-1, 36, -1, 86, 88, 90, -1, 92, 94, 96, 98, 100, 102, 104, 106, -1, 110, -1,
114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66,
68, 70, 72, 74, 77, 89, 91, 93, 227, 243, 264], [-1, 61, 62, -1, 63, 64, -1,
65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, -1, 79, 80, 81, -1,
300, -1]), ([33, 34, 38, 39, 40, 41, 42, 44, 45, 46, 59, 60, 123, 124, 125,
127, 256, 257, 258, 264, 265, 267, 285, 311, 312, 331], [-1, 459, -1, 459, -1,
459, -1, 459, -1, 459, -1, 459, -1, 459, -1, 459, -1, 459, -1, 459, -1, 459,
-1, 459, -1, 459], [264], [-1]), ([41, 42, 44, 45, 331], [-1, 602, -1, 360, -1
], [264], [-1]), ([41, 42, 44, 45, 331], [-1, 604, -1, 360, -1], [264], [-1]),
([41, 42, 44, 45, 331], [-1, 606, -1, 360, -1], [264], [-1]), ([40, 41, 331], [
-1, 608, -1], [264], [-1]), ([59, 60, 331], [-1, 610, -1], [264], [-1]), ([33,
34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 59, 60, 126, 127, 258, 259, 260, 261,
262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [-1, 2, -1,
4, -1, 6, -1, 8, 10, -1, 12, -1, 179, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1,
30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42,
44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 91, 93, 264], [-1, 61,
62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78,
-1, 79, 306, 81, -1]), ([33, 34, 38, 39, 40, 41, 42, 44, 45, 46, 59, 60, 123,
124, 125, 127, 256, 257, 258, 264, 265, 267, 285, 311, 312, 331], [-1, 479, -1,
479, -1, 479, -1, 479, -1, 479, -1, 479, -1, 479, -1, 479, -1, 479, -1, 479,
-1, 479, -1, 479, -1, 479], [264], [-1]), ([33, 34, 38, 39, 40, 41, 42, 44, 45,
46, 59, 60, 123, 124, 125, 127, 256, 257, 258, 264, 265, 267, 285, 311, 312,
331], [-1, 485, -1, 485, -1, 485, -1, 485, -1, 485, -1, 485, -1, 485, -1, 485,
-1, 485, -1, 485, -1, 485, -1, 485, -1, 485], [264], [-1]), ([41, 42, 331], [
-1, 614, -1], [264], [-1]), ([41, 42, 331], [-1, 616, -1], [264], [-1]), ([41,
42, 331], [-1, 618, -1], [264], [-1]), ([41, 42, 331], [-1, 620, -1], [264], [
-1]), ([44, 45, 331], [-1, 622, -1], [264], [-1]), ([44, 45, 331], [-1, 624, -1
], [264], [-1]), ([41, 42, 331], [-1, 626, -1], [264], [-1]), ([41, 42, 44, 45,
331], [-1, 55, -1, 628, -1], [264], [-1]), ([41, 42, 44, 45, 331], [-1, 57, -1,
57, -1], [264], [-1]), ([37, 39, 40, 48, 58, 64, 91, 92, 93, 95, 124, 126, 264,
285, 331], [-1, 43, -1, 43, -1, 43, -1, 43, -1, 43, -1, 43, -1, 43, -1], [264],
[-1]), ([44, 45, 93, 94, 331], [-1, 360, -1, 630, -1], [264], [-1]), ([37, 39,
40, 48, 58, 64, 91, 92, 93, 95, 124, 126, 264, 285, 331], [-1, 45, -1, 45, -1,
45, -1, 45, -1, 45, -1, 45, -1, 45, -1], [264], [-1]), ([41, 42, 44, 45, 58,
60, 93, 94, 125, 126, 331], [-1, 157, -1, 157, -1, 157, -1, 157, -1, 157, -1],
[264], [-1]), ([41, 42, 44, 45, 58, 60, 93, 94, 125, 126, 331], [-1, 159, -1,
159, -1, 159, -1, 159, -1, 159, -1], [264], [-1]), ([41, 42, 44, 45, 58, 60,
93, 94, 125, 126, 331], [-1, 161, -1, 161, -1, 161, -1, 161, -1, 161, -1], [264
], [-1]), ([41, 42, 44, 45, 58, 60, 93, 94, 125, 126, 331], [-1, 163, -1, 163,
-1, 163, -1, 163, -1, 163, -1], [264], [-1]), ([41, 42, 44, 45, 58, 60, 93, 94,
125, 126, 331], [-1, 165, -1, 165, -1, 165, -1, 165, -1, 165, -1], [264], [-1]
), ([41, 42, 44, 45, 58, 60, 93, 94, 125, 126, 331], [-1, 167, -1, 167, -1,
167, -1, 167, -1, 167, -1], [264], [-1]), ([41, 42, 44, 45, 58, 60, 93, 94,
125, 126, 331], [-1, 169, -1, 169, -1, 169, -1, 169, -1, 169, -1], [264], [-1]
), ([41, 42, 44, 45, 58, 60, 93, 94, 125, 126, 331], [-1, 171, -1, 171, -1,
171, -1, 171, -1, 171, -1], [264], [-1]), ([41, 42, 44, 45, 58, 60, 93, 94,
125, 126, 331], [-1, 173, -1, 173, -1, 173, -1, 173, -1, 173, -1], [264], [-1]
), ([41, 42, 44, 45, 58, 60, 93, 94, 125, 126, 331], [-1, 175, -1, 175, -1,
175, -1, 175, -1, 175, -1], [264], [-1]), ([41, 42, 44, 45, 58, 60, 93, 94,
125, 126, 331], [-1, 177, -1, 177, -1, 177, -1, 177, -1, 177, -1], [264], [-1]
), ([37, 39, 41, 46, 47, 48, 58, 61, 62, 64, 93, 95, 124, 126, 267, 275, 331],
[-1, 95, -1, 95, -1, 95, -1, 95, -1, 95, -1, 95, -1, 95, -1, 95, -1], [264], [
-1]), ([37, 39, 41, 46, 47, 48, 58, 61, 62, 64, 93, 95, 124, 126, 267, 275, 331
], [-1, 91, -1, 91, -1, 91, -1, 91, -1, 91, -1, 91, -1, 91, -1, 91, -1], [264],
[-1]), ([37, 39, 41, 46, 47, 48, 58, 61, 62, 64, 93, 95, 124, 126, 267, 275,
331], [-1, 93, -1, 93, -1, 93, -1, 93, -1, 93, -1, 93, -1, 93, -1, 93, -1], [
264], [-1]), ([37, 38, 39, 41, 42, 43, 46, 47, 48, 58, 61, 62, 64, 93, 95, 124,
126, 267, 275, 331], [-1, 320, 99, -1, 99, 322, 99, -1, 324, -1, 99, -1, 99,
-1, 99, -1, 99, -1, 99, -1], [264], [-1]), ([37, 38, 39, 41, 42, 43, 46, 47,
48, 58, 61, 62, 64, 93, 95, 124, 126, 267, 275, 331], [-1, 320, 101, -1, 101,
322, 101, -1, 324, -1, 101, -1, 101, -1, 101, -1, 101, -1, 101, -1], [264], [-1
]), ([38, 39, 41, 42, 43, 44, 45, 46, 58, 61, 62, 64, 93, 95, 124, 126, 267,
275, 331], [-1, 105, -1, 105, -1, 326, 105, 328, -1, 105, -1, 105, -1, 105, -1,
105, -1, 105, -1], [264], [-1]), ([38, 39, 41, 42, 43, 44, 45, 46, 58, 61, 62,
64, 93, 95, 124, 126, 267, 275, 331], [-1, 107, -1, 107, -1, 326, 107, 328, -1,
107, -1, 107, -1, 107, -1, 107, -1, 107, -1], [264], [-1]), ([38, 39, 41, 42,
44, 45, 58, 61, 62, 64, 93, 95, 124, 126, 267, 268, 269, 275, 331], [-1, 111,
-1, 111, -1, 111, -1, 111, -1, 111, -1, 111, -1, 111, -1, 330, 332, 111, -1], [
264], [-1]), ([38, 39, 41, 42, 44, 45, 58, 61, 62, 64, 93, 95, 124, 126, 267,
268, 269, 275, 331], [-1, 113, -1, 113, -1, 113, -1, 113, -1, 113, -1, 113, -1,
113, -1, 330, 332, 113, -1], [264], [-1]), ([38, 39, 41, 42, 44, 45, 58, 61,
62, 64, 93, 95, 124, 126, 267, 268, 269, 275, 331], [-1, 115, -1, 115, -1, 115,
-1, 115, -1, 115, -1, 115, -1, 115, -1, 330, 332, 115, -1], [264], [-1]), ([38,
39, 41, 42, 44, 45, 58, 61, 62, 64, 93, 95, 124, 126, 267, 268, 269, 275, 331],
[-1, 117, -1, 117, -1, 117, -1, 117, -1, 117, -1, 117, -1, 117, -1, 330, 332,
117, -1], [264], [-1]), ([38, 39, 41, 42, 44, 45, 58, 60, 61, 62, 63, 64, 93,
95, 124, 126, 269, 270, 271, 275, 331], [-1, 121, -1, 121, -1, 121, -1, 121,
334, -1, 336, 121, -1, 121, -1, 121, -1, 338, 340, 121, -1], [264], [-1]), ([
38, 39, 41, 42, 44, 45, 58, 60, 61, 62, 63, 64, 93, 95, 124, 126, 269, 270,
271, 275, 331], [-1, 123, -1, 123, -1, 123, -1, 123, 334, -1, 336, 123, -1,
123, -1, 123, -1, 338, 340, 123, -1], [264], [-1]), ([38, 39, 41, 42, 44, 45,
58, 60, 63, 64, 93, 95, 124, 126, 271, 272, 273, 275, 331], [-1, 127, -1, 127,
-1, 127, -1, 127, -1, 127, -1, 127, -1, 127, -1, 342, 344, 127, -1], [264], [-1
]), ([38, 39, 41, 42, 44, 45, 58, 60, 63, 64, 93, 95, 124, 126, 273, 275, 331],
[-1, 346, -1, 131, -1, 131, -1, 131, -1, 131, -1, 131, -1, 131, -1, 131, -1], [
264], [-1]), ([41, 42, 44, 45, 58, 60, 63, 64, 93, 94, 95, 124, 126, 273, 275,
331], [-1, 135, -1, 135, -1, 135, -1, 135, -1, 135, 348, -1, 135, -1, 135, -1],
[264], [-1]), ([41, 42, 44, 45, 58, 60, 63, 64, 93, 94, 124, 125, 126, 273,
275, 331], [-1, 139, -1, 139, -1, 139, -1, 139, -1, 139, -1, 350, 139, -1, 139,
-1], [264], [-1]), ([44, 45, 58, 59, 331], [-1, 360, -1, 632, -1], [264], [-1]
), ([41, 42, 44, 45, 58, 60, 63, 64, 93, 94, 125, 126, 273, 274, 275, 331], [
-1, 143, -1, 143, -1, 143, -1, 143, -1, 143, -1, 143, -1, 352, 143, -1], [264],
[-1]), ([41, 42, 44, 45, 58, 60, 93, 94, 331], [-1, 185, -1, 185, -1, 185, -1,
185, -1], [264], [-1]), ([41, 42, 331], [-1, 634, -1], [264], [-1]), ([33, 34,
38, 39, 40, 46, 58, 59, 91, 92, 93, 94, 126, 127, 258, 264, 265, 267, 286, 287,
289, 290, 293, 296, 325, 328, 331], [-1, 343, -1, 343, -1, 343, -1, 343, -1,
343, -1, 343, -1, 343, -1, 343, -1, 343, -1, 343, -1, 343, -1, 343, -1, 343, -1
], [264], [-1]), ([40, 43, 44, 45, 58, 59, 91, 92, 258, 259, 293, 296, 326,
327, 331], [-1, 375, -1, 375, -1, 375, -1, 375, -1, 375, -1, 375, -1, 375, -1],
[264], [-1]), ([40, 41, 42, 43, 258, 259, 331], [-1, 362, -1, 364, -1, 366, -1
], [178, 180, 185, 264], [-1, 318, 189, -1]), ([40, 43, 44, 45, 58, 59, 91, 92,
258, 259, 293, 294, 295, 296, 326, 327, 331], [-1, 373, -1, 373, -1, 373, -1,
373, -1, 373, -1, 50, 52, 54, -1, 522, -1], [168, 172, 264], [-1, 319, -1]), ([
33, 34, 38, 39, 40, 41, 42, 44, 45, 46, 59, 60, 123, 124, 125, 127, 256, 257,
258, 264, 265, 267, 285, 311, 312, 315, 316, 331], [-1, 193, -1, 193, -1, 193,
-1, 193, -1, 193, -1, 193, -1, 193, -1, 193, -1, 193, -1, 193, -1, 193, -1,
193, -1, 193, -1, 193], [264], [-1]), ([40, 41, 42, 43, 258, 259, 331], [-1,
362, -1, 364, -1, 366, -1], [109, 110, 178, 180, 185, 264], [-1, 320, -1, 188,
189, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 123, 124, 126, 127,
258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328,
331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 642, -1, 16, -1, 198, 20,
22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12,
13, 18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89,
212, 214, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71,
72, 73, 74, 75, 76, 77, 78, -1, 322, -1, 323, -1]), ([44, 45, 59, 60, 331], [
-1, 219, -1, 219, -1], [264], [-1]), ([41, 42, 258, 259, 285, 286, 287, 288,
289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304,
305, 306, 307, 308, 309, 310, 311, 324, 325, 326, 327, 328, 329, 330, 331], [
-1, 387, -1, 648, -1, 34, -1, 38, 40, 42, 44, 46, 48, 50, 52, 54, 56, 58, 60,
62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, -1, 108, -1, 112, -1, 116, -1,
120], [98, 100, 105, 110, 116, 133, 135, 137, 153, 155, 161, 162, 168, 172,
174, 176, 189, 191, 193, 195, 197, 264], [-1, 273, 84, -1, 85, 86, 87, 88, -1,
89, -1, 90, -1, 91, 92, 93, -1, 325, 275, 326, 327, -1]), ([33, 34, 38, 39, 40,
41, 42, 44, 45, 46, 93, 94, 126, 127, 258, 264, 265, 267, 286, 287, 289, 290,
293, 294, 295, 296, 325, 326, 327, 328, 331], [-1, 325, -1, 325, -1, 325, -1,
325, -1, 325, -1, 325, -1, 325, -1, 325, -1, 325, -1, 325, -1, 556, -1, 50, 52,
54, -1, 325, 522, 325, -1], [162, 164, 166, 168, 172, 264], [-1, 328, 280, 281,
282, -1]), ([40, 42, 44, 45, 58, 59, 91, 92, 331], [-1, 411, -1, 411, -1, 411,
-1, 411, -1], [264], [-1]), ([40, 43, 91, 92, 293, 294, 295, 296, 326, 327, 331
], [-1, 371, -1, 371, -1, 50, 52, 54, -1, 522, -1], [168, 172, 185, 187, 189,
264], [-1, 262, -1, 329, 264, -1]), ([40, 41, 42, 43, 44, 45, 91, 92, 258, 259,
285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300,
301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 324, 325, 326, 327, 328,
329, 330, 331], [-1, 660, 401, 662, -1, 401, -1, 388, -1, 366, -1, 34, -1, 38,
40, 42, 44, 46, 48, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78,
80, 82, 84, -1, 108, -1, 112, -1, 116, -1, 120], [100, 105, 110, 116, 133, 135,
137, 153, 155, 161, 162, 168, 172, 174, 176, 178, 180, 185, 198, 200, 202, 210,
264], [-1, 184, -1, 85, 86, 87, 88, -1, 89, -1, 90, -1, 91, 92, 93, -1, 332,
189, -1, 333, 197, 198, -1]), ([41, 42, 44, 45, 331], [-1, 525, -1, 668, -1], [
262, 264], [-1, 335]), ([41, 42, 44, 45, 331], [-1, 379, -1, 379, -1], [264], [
-1]), ([40, 41, 42, 91, 92, 331], [-1, 566, 672, -1, 568, -1], [264], [-1]), ([
40, 41, 42, 43, 58, 59, 91, 92, 331], [-1, 384, 401, 386, -1, 401, -1, 388, -1
], [198, 200, 202, 210, 264], [-1, 337, 197, 198, -1]), ([33, 34, 38, 39, 40,
41, 42, 44, 45, 46, 93, 94, 126, 127, 258, 264, 265, 267, 286, 287, 289, 290,
293, 296, 325, 328, 331], [-1, 335, -1, 335, -1, 335, -1, 335, -1, 335, -1,
335, -1, 335, -1, 335, -1, 335, -1, 335, -1, 335, -1, 335, -1, 335, -1], [264],
[-1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 93, 94, 126, 127, 258,
259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331
], [-1, 2, -1, 4, -1, 6, -1, 676, 10, -1, 12, -1, 149, -1, 16, -1, 198, 20, 22,
24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13,
18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 264], [
-1, 61, 62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76,
77, 78, 339, 340, -1]), ([33, 34, 38, 39, 40, 41, 42, 44, 45, 46, 93, 94, 126,
127, 258, 264, 265, 267, 286, 287, 289, 290, 293, 294, 295, 296, 325, 326, 327,
328, 331], [-1, 327, -1, 327, -1, 327, -1, 327, -1, 327, -1, 327, -1, 327, -1,
327, -1, 327, -1, 327, -1, 556, -1, 50, 52, 54, -1, 327, 522, 327, -1], [166,
168, 172, 264], [-1, 341, 282, -1]), ([33, 34, 38, 39, 40, 41, 42, 44, 45, 46,
93, 94, 126, 127, 258, 264, 265, 267, 286, 287, 289, 290, 293, 296, 325, 328,
331], [-1, 329, -1, 329, -1, 329, -1, 329, -1, 329, -1, 329, -1, 329, -1, 329,
-1, 329, -1, 329, -1, 329, -1, 329, -1, 329, -1], [264], [-1]), ([33, 34, 38,
39, 40, 41, 42, 44, 45, 46, 93, 94, 126, 127, 258, 264, 265, 267, 286, 287,
289, 290, 293, 296, 325, 328, 331], [-1, 333, -1, 333, -1, 333, -1, 333, -1,
333, -1, 333, -1, 333, -1, 333, -1, 333, -1, 333, -1, 333, -1, 333, -1, 333, -1
], [264], [-1]), ([41, 42, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294,
295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310,
311, 324, 325, 326, 327, 328, 329, 330, 331], [-1, 684, -1, 34, -1, 38, 40, 42,
44, 46, 48, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82,
84, -1, 108, -1, 112, -1, 116, -1, 120], [98, 100, 105, 110, 116, 133, 135,
137, 153, 155, 161, 162, 168, 172, 174, 176, 189, 191, 193, 264], [-1, 273, 84,
-1, 85, 86, 87, 88, -1, 89, -1, 90, -1, 91, 92, 93, -1, 343, 275, -1]), ([33,
34, 38, 39, 40, 41, 42, 44, 45, 46, 93, 94, 126, 127, 258, 264, 265, 267, 286,
287, 289, 290, 293, 294, 295, 296, 325, 326, 327, 328, 331], [-1, 325, -1, 325,
-1, 325, -1, 325, -1, 325, -1, 325, -1, 325, -1, 325, -1, 325, -1, 325, -1,
556, -1, 50, 52, 54, -1, 325, 522, 325, -1], [162, 164, 166, 168, 172, 264], [
-1, 344, 280, 281, 282, -1]), ([33, 34, 38, 39, 40, 41, 42, 44, 45, 46, 47, 91,
92, 123, 124, 125, 126, 127, 258, 264, 265, 267, 286, 287, 325, 326, 327, 328,
331], [-1, 441, -1, 441, -1, 441, -1, 441, -1, 441, 690, -1, 692, -1, 441, -1,
429, 441, -1, 441, -1, 441, -1, 441, -1, 441, -1, 441, -1], [214, 217, 219,
220, 222, 224, 226, 264], [-1, 347, 348, 349, 350, 351, 352, -1]), ([37, 39,
41, 46, 47, 48, 58, 64, 93, 95, 124, 126, 267, 285, 331], [-1, 87, -1, 87, -1,
87, -1, 87, -1, 87, -1, 87, -1, 87, -1], [264], [-1]), ([37, 39, 41, 46, 47,
48, 58, 64, 93, 95, 123, 124, 126, 267, 285, 331], [-1, 81, -1, 81, -1, 81, -1,
81, -1, 81, -1, 570, 81, -1, 81, -1], [264], [-1]), ([123, 124, 331], [-1, 570,
-1], [264], [-1]), ([125, 126, 331], [-1, 706, -1], [264], [-1]), ([125, 126,
285, 286, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306,
307, 308, 309, 310, 311, 326, 327, 329, 330, 331], [-1, 277, -1, 34, -1, 50,
52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, -1, 112,
-1, 118, -1], [116, 133, 135, 137, 141, 143, 145, 147, 153, 155, 161, 162, 168,
172, 226, 227, 264], [-1, 104, 87, 88, -1, 354, 292, 106, -1, 89, -1, 90, -1,
107, -1, 293, -1]), ([125, 126, 285, 286, 293, 311, 326, 327, 329, 330, 331], [
-1, 279, -1, 279, -1, 279, -1, 279, -1, 279, -1], [264], [-1]), ([40, 41, 42,
43, 58, 59, 60, 258, 259, 285, 286, 293, 294, 295, 296, 297, 298, 299, 300,
301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 326, 327, 331], [-1,
362, -1, 364, -1, 353, 295, -1, 366, -1, 34, -1, 50, 52, 54, 56, 58, 60, 62,
64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, -1, 112, -1], [116, 133, 135, 137,
145, 147, 149, 151, 153, 155, 161, 162, 168, 172, 176, 178, 180, 185, 264], [
-1, 104, 87, 88, -1, 195, 355, 356, 357, 89, -1, 90, -1, 107, -1, 358, 359,
189, -1]), ([125, 126, 285, 286, 293, 311, 326, 327, 329, 330, 331], [-1, 285,
-1, 285, -1, 285, -1, 285, -1, 285, -1], [264], [-1]), ([125, 126, 331], [-1,
720, -1], [264], [-1]), ([44, 45, 61, 62, 125, 126, 331], [-1, 19, -1, 19, -1,
19, -1], [264], [-1]), ([44, 45, 61, 62, 125, 126, 331], [-1, 187, -1, 722, -1,
187, -1], [93, 95, 264], [-1, 362, -1]), ([125, 126, 331], [-1, 726, -1], [264
], [-1]), ([44, 45, 125, 126, 331], [-1, 728, -1, 313, -1], [264], [-1]), ([44,
45, 125, 126, 331], [-1, 317, -1, 317, -1], [264], [-1]), ([33, 34, 38, 39, 40,
41, 42, 44, 45, 46, 59, 60, 123, 124, 125, 127, 256, 257, 258, 264, 265, 267,
285, 311, 312, 331], [-1, 457, -1, 457, -1, 457, -1, 457, -1, 457, -1, 457, -1,
457, -1, 457, -1, 457, -1, 457, -1, 457, -1, 457, -1, 457], [264], [-1]), ([33,
34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 59, 60, 123, 124, 126, 127, 258, 259,
260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 312, 313, 314, 315, 316, 317,
318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1,
6, -1, 8, 10, -1, 12, -1, 179, -1, 14, -1, 16, -1, 18, 20, 22, 24, 26, 28, -1,
30, 32, -1, 36, -1, 86, 88, 90, -1, 92, 94, 96, 98, 100, 102, 104, 106, -1,
110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59,
62, 64, 66, 68, 70, 72, 74, 77, 89, 91, 93, 227, 243, 264], [-1, 61, 62, -1,
63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, -1, 79,
80, 81, -1, 365, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 59, 60,
123, 124, 126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287,
312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327,
328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 179, -1, 14, -1, 16,
-1, 18, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 86, 88, 90, -1, 92, 94, 96,
98, 100, 102, 104, 106, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 91, 93, 227,
243, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73,
74, 75, 76, 77, 78, -1, 79, 80, 81, -1, 366, -1]), ([33, 34, 38, 39, 40, 41,
42, 43, 44, 45, 46, 59, 60, 123, 124, 126, 127, 258, 259, 260, 261, 262, 263,
264, 265, 266, 267, 286, 287, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321,
322, 323, 324, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1,
12, -1, 179, -1, 14, -1, 16, -1, 18, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36,
-1, 86, 88, 90, -1, 92, 94, 96, 98, 100, 102, 104, 106, -1, 110, -1, 114, -1],
[1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70,
72, 74, 77, 89, 91, 93, 227, 243, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1,
66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, -1, 79, 80, 81, -1, 367, -1
]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261,
262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [-1, 2, -1,
4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32,
-1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48,
51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 91, 93, 264], [-1, 61, 62, -1,
63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, -1, 79,
-1, 368, -1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 59, 60, 126, 127,
258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328,
331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 179, -1, 16, -1, 198, 20,
22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12,
13, 18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 91,
93, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73,
74, 75, 76, 77, 78, -1, 79, 369, 81, -1]), ([59, 60, 331], [-1, 740, -1], [264
], [-1]), ([40, 43, 44, 45, 59, 60, 91, 92, 258, 259, 285, 286, 287, 311, 324,
325, 326, 327, 328, 329, 330, 331], [-1, 351, -1, 351, -1, 351, -1, 351, -1,
351, -1, 351, -1, 351, -1, 351, -1, 351, -1, 351, -1, 351], [264], [-1]), ([40,
43, 44, 45, 59, 60, 91, 92, 258, 259, 285, 286, 287, 311, 324, 325, 326, 327,
328, 329, 330, 331], [-1, 349, -1, 349, -1, 349, -1, 349, -1, 349, -1, 349, -1,
349, -1, 349, -1, 349, -1, 349, -1, 349], [264], [-1]), ([37, 39, 41, 46, 47,
48, 58, 64, 93, 95, 124, 126, 267, 285, 331], [-1, 83, -1, 83, -1, 83, -1, 83,
-1, 83, -1, 83, -1, 83, -1], [264], [-1]), ([40, 43, 44, 45, 58, 60, 91, 92,
258, 259, 285, 286, 287, 311, 324, 325, 326, 327, 328, 329, 330, 331], [-1,
323, -1, 323, -1, 323, -1, 323, -1, 323, -1, 323, -1, 323, -1, 323, -1, 323,
-1, 323, -1, 323], [264], [-1]), ([285, 286, 293, 294, 295, 296, 297, 298, 299,
300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 313, 314, 326, 327,
331], [-1, 34, -1, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78,
80, 82, 84, -1, 742, -1, 112, -1], [13, 15, 16, 18, 116, 133, 135, 137, 143,
145, 147, 153, 155, 161, 162, 168, 172, 197, 198, 264], [-1, 372, 373, 374, -1,
104, 87, 88, -1, 105, 106, -1, 89, -1, 90, -1, 107, -1, 375, -1]), ([261, 262,
331], [-1, 752, -1], [264], [-1]), ([37, 39, 40, 48, 58, 64, 91, 92, 93, 95,
124, 126, 264, 285, 331], [-1, 41, -1, 41, -1, 41, -1, 41, -1, 41, -1, 41, -1,
41, -1], [264], [-1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127,
258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328,
331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26,
28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26,
30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 264], [-1, 61,
62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78,
-1, 377, -1]), ([37, 39, 40, 48, 58, 64, 91, 92, 93, 95, 124, 126, 264, 285,
331], [-1, 39, -1, 39, -1, 39, -1, 39, -1, 39, -1, 39, -1, 39, -1], [264], [-1]
), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261,
262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [-1, 2, -1,
4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32,
-1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48,
51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 264], [-1, 61, 62, -1, 63, 64, -1, 65,
-1, 100, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 378, -1]), ([40, 42, 44,
45, 58, 60, 61, 62, 91, 92, 331], [-1, 363, -1, 363, -1, 363, -1, 363, -1, 363,
-1], [264], [-1]), ([41, 42, 44, 45, 58, 60, 61, 62, 331], [-1, 359, -1, 359,
-1, 359, -1, 359, -1], [264], [-1]), ([40, 43, 44, 45, 58, 59, 91, 92, 258,
259, 293, 296, 326, 327, 331], [-1, 377, -1, 377, -1, 377, -1, 377, -1, 377,
-1, 377, -1, 377, -1], [264], [-1]), ([44, 45, 59, 60, 331], [-1, 217, -1, 217,
-1], [264], [-1]), ([33, 34, 38, 39, 40, 41, 42, 44, 45, 46, 47, 91, 92, 123,
124, 125, 126, 127, 258, 264, 265, 267, 286, 287, 325, 326, 327, 328, 331], [
-1, 441, -1, 441, -1, 441, -1, 441, -1, 441, 690, -1, 692, -1, 441, -1, 429,
441, -1, 441, -1, 441, -1, 441, -1, 441, -1, 441, -1], [214, 217, 219, 220,
222, 224, 226, 264], [-1, 379, 348, 349, 350, 351, 352, -1]), ([44, 45, 59, 60,
125, 126, 331], [-1, 427, -1, 427, -1, 427, -1], [264], [-1]), ([44, 45, 59,
60, 331], [-1, 423, -1, 423, -1], [264], [-1]), ([41, 42, 44, 45, 331], [-1,
391, -1, 391, -1], [264], [-1]), ([41, 42, 44, 45, 331], [-1, 525, -1, 668, -1
], [262, 264], [-1, 380]), ([41, 42, 331], [-1, 762, -1], [264], [-1]), ([41,
42, 44, 45, 331], [-1, 389, -1, 764, -1], [264], [-1]), ([33, 34, 38, 39, 40,
41, 42, 43, 44, 45, 46, 93, 94, 126, 127, 258, 259, 260, 261, 262, 263, 264,
265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6, -1,
676, 10, -1, 12, -1, 149, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32, -1,
36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51,
54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 264], [-1, 61, 62, -1, 63, 64, -1,
65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 383, 340, -1]), ([
40, 41, 42, 43, 91, 92, 331], [-1, 384, 401, 386, -1, 388, -1], [198, 200, 202,
210, 264], [-1, 384, 197, 198, -1]), ([40, 41, 42, 43, 91, 92, 258, 259, 285,
286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301,
302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 324, 325, 326, 327, 328, 329,
330, 331], [-1, 660, 542, 770, -1, 388, -1, 366, -1, 34, -1, 38, 40, 42, 44,
46, 48, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84,
-1, 108, -1, 112, -1, 116, -1, 120], [98, 100, 105, 110, 116, 133, 135, 137,
153, 155, 161, 162, 168, 172, 174, 176, 178, 180, 185, 189, 191, 193, 202, 210,
264], [-1, 273, 84, -1, 85, 86, 87, 88, -1, 89, -1, 90, -1, 91, 92, 93, -1,
260, 189, -1, 274, 275, -1, 276, -1]), ([40, 43, 44, 45, 91, 92, 258, 259, 293,
294, 295, 296, 326, 327, 331], [-1, 371, -1, 371, -1, 371, -1, 371, -1, 50, 52,
54, -1, 522, -1], [168, 172, 185, 187, 189, 264], [-1, 262, -1, 386, 264, -1]),
([41, 42, 44, 45, 331], [-1, 383, -1, 383, -1], [264], [-1]), ([41, 42, 44, 45,
331], [-1, 385, -1, 385, -1], [264], [-1]), ([285, 286, 287, 288, 289, 290,
291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306,
307, 308, 309, 310, 311, 312, 324, 325, 326, 327, 328, 329, 330, 331], [-1, 34,
-1, 38, 40, 42, 44, 46, 48, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74,
76, 78, 80, 82, 84, 774, -1, 108, -1, 112, -1, 116, -1, 120], [98, 100, 105,
110, 116, 133, 135, 137, 153, 155, 161, 162, 168, 172, 174, 176, 191, 193, 264
], [-1, 273, 84, -1, 85, 86, 87, 88, -1, 89, -1, 90, -1, 91, 92, 93, -1, 388,
-1]), ([41, 42, 331], [-1, 778, -1], [264], [-1]), ([40, 42, 44, 45, 58, 59,
91, 92, 331], [-1, 405, -1, 405, -1, 405, -1, 405, -1], [264], [-1]), ([41, 42,
44, 45, 58, 59, 331], [-1, 399, -1, 399, -1, 399, -1], [264], [-1]), ([33, 34,
38, 39, 40, 41, 42, 43, 44, 45, 46, 93, 94, 126, 127, 258, 259, 260, 261, 262,
263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1,
6, -1, 8, 10, -1, 12, -1, 151, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32,
-1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 264],
[-1, 61, 62, -1, 63, 64, -1, 65, -1, 100, 109, -1]), ([93, 94, 331], [-1, 780,
-1], [264], [-1]), ([93, 94, 331], [-1, 153, -1], [264], [-1]), ([33, 34, 38,
39, 40, 41, 42, 44, 45, 46, 93, 94, 126, 127, 258, 264, 265, 267, 286, 287,
289, 290, 293, 296, 325, 328, 331], [-1, 331, -1, 331, -1, 331, -1, 331, -1,
331, -1, 331, -1, 331, -1, 331, -1, 331, -1, 331, -1, 331, -1, 331, -1, 331, -1
], [264], [-1]), ([40, 42, 44, 45, 58, 59, 91, 92, 331], [-1, 417, -1, 417, -1,
417, -1, 417, -1], [264], [-1]), ([41, 42, 44, 45, 331], [-1, 525, -1, 668, -1
], [262, 264], [-1, 391]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 93,
94, 126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325,
326, 327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 676, 10, -1, 12, -1, 149, -1,
16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1,
6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72,
74, 77, 89, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71,
72, 73, 74, 75, 76, 77, 78, 392, 340, -1]), ([258, 259, 331], [-1, 786, -1], [
264], [-1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259,
260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [
-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28,
-1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30,
42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 95, 96, 264], [-1, 61, 62,
-1, 63, 64, -1, 65, -1, 100, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 126,
-1, 394, -1]), ([125, 126, 331], [-1, 790, -1], [264], [-1]), ([44, 45, 125,
126, 331], [-1, 792, -1, 431, -1], [264], [-1]), ([44, 45, 125, 126, 331], [-1,
435, -1, 435, -1], [264], [-1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46,
123, 124, 126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287,
325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 642, -1,
16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1,
6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72,
74, 77, 89, 212, 214, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 66, 67, 68,
69, 70, 71, 72, 73, 74, 75, 76, 77, 78, -1, 322, -1, 397, -1]), ([46, 47, 61,
62, 91, 92, 331], [-1, 690, -1, 796, -1, 692, -1], [224, 226, 264], [-1, 399,
-1]), ([46, 47, 61, 62, 91, 92, 331], [-1, 445, -1, 445, -1, 445, -1], [264], [
-1]), ([40, 43, 44, 45, 58, 60, 91, 92, 258, 259, 285, 286, 287, 311, 324, 325,
326, 327, 328, 329, 330, 331], [-1, 267, -1, 267, -1, 267, -1, 267, -1, 267,
-1, 267, -1, 267, -1, 267, -1, 267, -1, 267, -1, 267], [264], [-1]), ([125,
126, 285, 286, 293, 311, 326, 327, 329, 330, 331], [-1, 281, -1, 281, -1, 281,
-1, 281, -1, 281, -1], [264], [-1]), ([59, 60, 331], [-1, 800, -1], [264], [-1]
), ([44, 45, 59, 60, 331], [-1, 802, -1, 297, -1], [264], [-1]), ([44, 45, 59,
60, 331], [-1, 299, -1, 299, -1], [264], [-1]), ([58, 59, 331], [-1, 804, -1],
[264], [-1]), ([44, 45, 58, 59, 60, 331], [-1, 305, -1, 355, 305, -1], [264], [
-1]), ([40, 43, 44, 45, 58, 60, 91, 92, 258, 259, 285, 286, 287, 311, 324, 325,
326, 327, 328, 329, 330, 331], [-1, 271, -1, 271, -1, 271, -1, 271, -1, 271,
-1, 271, -1, 271, -1, 271, -1, 271, -1, 271, -1, 271], [264], [-1]), ([33, 34,
38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261, 262, 263,
264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6,
-1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1,
110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59,
62, 64, 66, 68, 70, 72, 74, 95, 96, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1,
100, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 126, -1, 403, -1]), ([44, 45,
125, 126, 331], [-1, 321, -1, 321, -1], [264], [-1]), ([40, 43, 44, 45, 58, 60,
91, 92, 258, 259, 285, 286, 287, 311, 324, 325, 326, 327, 328, 329, 330, 331],
[-1, 307, -1, 307, -1, 307, -1, 307, -1, 307, -1, 307, -1, 307, -1, 307, -1,
307, -1, 307, -1, 307], [264], [-1]), ([125, 126, 258, 259, 331], [-1, 315, -1,
590, -1], [9, 10, 160, 161, 264], [-1, 296, -1, 404, -1]), ([33, 34, 38, 39,
40, 41, 42, 44, 45, 46, 59, 60, 123, 124, 125, 127, 256, 257, 258, 264, 265,
267, 285, 311, 312, 315, 316, 331], [-1, 467, -1, 467, -1, 467, -1, 467, -1,
467, -1, 467, -1, 467, -1, 467, -1, 467, -1, 467, -1, 467, -1, 467, -1, 467,
810, 467], [264], [-1]), ([33, 34, 38, 39, 40, 41, 42, 44, 45, 46, 59, 60, 123,
124, 125, 127, 256, 257, 258, 264, 265, 267, 285, 311, 312, 331], [-1, 469, -1,
469, -1, 469, -1, 469, -1, 469, -1, 469, -1, 469, -1, 469, -1, 469, -1, 469,
-1, 469, -1, 469, -1, 469], [264], [-1]), ([33, 34, 38, 39, 40, 41, 42, 44, 45,
46, 59, 60, 123, 124, 125, 127, 256, 257, 258, 264, 265, 267, 285, 311, 312,
331], [-1, 471, -1, 471, -1, 471, -1, 471, -1, 471, -1, 471, -1, 471, -1, 471,
-1, 471, -1, 471, -1, 471, -1, 471, -1, 471], [264], [-1]), ([41, 42, 44, 45,
331], [-1, 812, -1, 360, -1], [264], [-1]), ([59, 60, 331], [-1, 814, -1], [264
], [-1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259,
260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [
-1, 2, -1, 4, -1, 6, 179, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28,
-1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30,
42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 91, 93, 264], [-1,
61, 62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77,
78, -1, 79, 408, 81, -1]), ([58, 59, 331], [-1, 35, -1], [264], [-1]), ([41,
42, 44, 45, 331], [-1, 818, -1, 820, -1], [264], [-1]), ([41, 42, 44, 45, 331],
[-1, 27, -1, 27, -1], [264], [-1]), ([58, 59, 331], [-1, 822, -1], [264], [-1]
), ([58, 59, 331], [-1, 33, -1], [264], [-1]), ([41, 42, 331], [-1, 824, -1], [
264], [-1]), ([41, 42, 44, 45, 331], [-1, 59, -1, 59, -1], [264], [-1]), ([41,
42, 44, 45, 58, 60, 93, 94, 125, 126, 331], [-1, 147, -1, 147, -1, 147, -1,
147, -1, 147, -1], [264], [-1]), ([125, 126, 331], [-1, 826, -1], [264], [-1]),
([41, 42, 331], [-1, 828, -1], [264], [-1]), ([40, 42, 44, 45, 58, 60, 61, 62,
91, 92, 331], [-1, 367, -1, 367, -1, 367, -1, 367, -1, 367, -1], [264], [-1]),
([258, 259, 331], [-1, 830, -1], [264], [-1]), ([93, 94, 331], [-1, 832, -1], [
264], [-1]), ([41, 42, 331], [-1, 834, -1], [264], [-1]), ([40, 43, 91, 92,
258, 259, 293, 294, 295, 296, 326, 327, 331], [-1, 371, -1, 371, -1, 371, -1,
50, 52, 54, -1, 522, -1], [168, 172, 185, 187, 189, 264], [-1, 262, -1, 418,
264, -1]), ([40, 41, 42, 43, 44, 45, 91, 92, 258, 259, 331], [-1, 660, 401,
662, -1, 401, -1, 388, -1, 366, -1], [178, 180, 185, 198, 200, 202, 210, 264],
[-1, 318, 189, -1, 337, 197, 198, -1]), ([41, 42, 331], [-1, 527, -1], [264], [
-1]), ([41, 42, 44, 45, 331], [-1, 381, -1, 381, -1], [264], [-1]), ([40, 42,
44, 45, 58, 59, 91, 92, 331], [-1, 413, -1, 413, -1, 413, -1, 413, -1], [264],
[-1]), ([40, 42, 44, 45, 58, 59, 91, 92, 331], [-1, 409, -1, 409, -1, 409, -1,
409, -1], [264], [-1]), ([41, 42, 331], [-1, 838, -1], [264], [-1]), ([93, 94,
331], [-1, 840, -1], [264], [-1]), ([46, 47, 61, 62, 91, 92, 331], [-1, 451,
-1, 451, -1, 451, -1], [264], [-1]), ([93, 94, 331], [-1, 842, -1], [264], [-1]
), ([37, 39, 40, 48, 58, 64, 91, 92, 93, 95, 124, 126, 264, 285, 331], [-1, 51,
-1, 51, -1, 51, -1, 51, -1, 51, -1, 51, -1, 51, -1], [264], [-1]), ([33, 34,
38, 39, 40, 41, 42, 44, 45, 46, 47, 91, 92, 123, 124, 125, 126, 127, 258, 264,
265, 267, 286, 287, 325, 326, 327, 328, 331], [-1, 441, -1, 441, -1, 441, -1,
441, -1, 441, 690, -1, 692, -1, 441, -1, 433, 441, -1, 441, -1, 441, -1, 441,
-1, 441, -1, 441, -1], [219, 220, 222, 224, 226, 264], [-1, 422, 350, 351, 352,
-1]), ([44, 45, 125, 126, 331], [-1, 439, -1, 439, -1], [264], [-1]), ([33, 34,
38, 39, 40, 41, 42, 44, 45, 46, 123, 124, 126, 127, 258, 264, 265, 267, 286,
287, 325, 326, 327, 328, 331], [-1, 443, -1, 443, -1, 443, -1, 443, -1, 443,
-1, 443, -1, 443, -1, 443, -1, 443, -1, 443, -1, 443, -1, 443, -1], [264], [-1]
), ([46, 47, 61, 62, 91, 92, 331], [-1, 447, -1, 447, -1, 447, -1], [264], [-1]
), ([125, 126, 285, 286, 293, 311, 326, 327, 329, 330, 331], [-1, 283, -1, 283,
-1, 283, -1, 283, -1, 283, -1], [264], [-1]), ([40, 41, 42, 43, 58, 59, 258,
259, 331], [-1, 362, -1, 364, -1, 353, -1, 366, -1], [151, 153, 176, 178, 180,
185, 264], [-1, 423, -1, 358, 359, 189, -1]), ([33, 34, 38, 39, 40, 41, 42, 43,
44, 45, 46, 126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286,
287, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 16,
-1, 198, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 110, -1, 114, -1], [1, 6,
9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74,
95, 96, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 100, 67, 68, 69, 70, 71, 72,
73, 74, 75, 76, 77, 126, -1, 424, -1]), ([44, 45, 125, 126, 331], [-1, 189, -1,
189, -1], [264], [-1]), ([44, 45, 125, 126, 331], [-1, 319, -1, 319, -1], [264
], [-1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 59, 60, 123, 124, 126,
127, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 286, 287, 312, 313, 314,
315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 331], [
-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 179, -1, 14, -1, 16, -1, 18, 20,
22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 86, 88, 90, -1, 92, 94, 96, 98, 100,
102, 104, 106, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44,
48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 91, 93, 227, 243, 264], [
-1, 61, 62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76,
77, 78, -1, 79, 80, 81, -1, 425, -1]), ([59, 60, 331], [-1, 852, -1], [264], [
-1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259, 260,
261, 262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [-1, 2,
-1, 4, -1, 6, 179, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30,
32, -1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44,
48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 91, 93, 264], [-1, 61, 62,
-1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, -1,
79, 427, 81, -1]), ([41, 42, 331], [-1, 856, -1], [264], [-1]), ([37, 39, 40,
48, 58, 64, 91, 92, 93, 95, 124, 126, 264, 285, 331], [-1, 25, -1, 25, -1, 25,
-1, 25, -1, 25, -1, 25, -1, 25, -1], [264], [-1]), ([285, 286, 293, 294, 295,
296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311,
313, 314, 326, 327, 331], [-1, 34, -1, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68,
70, 72, 74, 76, 78, 80, 82, 84, -1, 742, -1, 112, -1], [15, 16, 18, 116, 133,
135, 137, 143, 145, 147, 153, 155, 161, 162, 168, 172, 197, 198, 264], [-1,
429, 374, -1, 104, 87, 88, -1, 105, 106, -1, 89, -1, 90, -1, 107, -1, 375, -1]
), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45, 46, 126, 127, 258, 259, 260, 261,
262, 263, 264, 265, 266, 267, 286, 287, 325, 326, 327, 328, 331], [-1, 2, -1,
4, -1, 6, -1, 8, 10, -1, 12, -1, 16, -1, 198, 20, 22, 24, 26, 28, -1, 30, 32,
-1, 36, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48,
51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 264], [-1, 61, 62, -1, 63, 64,
-1, 65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, -1, 430, -1]),
([59, 60, 331], [-1, 862, -1], [264], [-1]), ([44, 45, 59, 60, 125, 126, 331],
[-1, 425, -1, 425, -1, 425, -1], [264], [-1]), ([40, 42, 44, 45, 58, 60, 61,
62, 91, 92, 331], [-1, 369, -1, 369, -1, 369, -1, 369, -1, 369, -1], [264], [-1
]), ([41, 42, 44, 45, 331], [-1, 393, -1, 393, -1], [264], [-1]), ([40, 42, 44,
45, 58, 60, 61, 62, 91, 92, 331], [-1, 365, -1, 365, -1, 365, -1, 365, -1, 365,
-1], [264], [-1]), ([40, 42, 44, 45, 58, 59, 91, 92, 331], [-1, 407, -1, 407,
-1, 407, -1, 407, -1], [264], [-1]), ([40, 41, 42, 43, 91, 92, 258, 259, 331],
[-1, 660, 401, 662, -1, 388, -1, 366, -1], [178, 180, 185, 198, 200, 202, 210,
264], [-1, 318, 189, -1, 384, 197, 198, -1]), ([40, 42, 44, 45, 58, 59, 91, 92,
331], [-1, 419, -1, 419, -1, 419, -1, 419, -1], [264], [-1]), ([40, 42, 44, 45,
58, 59, 91, 92, 331], [-1, 415, -1, 415, -1, 415, -1, 415, -1], [264], [-1]), (
[46, 47, 61, 62, 91, 92, 331], [-1, 449, -1, 449, -1, 449, -1], [264], [-1]), (
[44, 45, 125, 126, 331], [-1, 437, -1, 437, -1], [264], [-1]), ([44, 45, 59,
60, 331], [-1, 301, -1, 301, -1], [264], [-1]), ([44, 45, 59, 60, 331], [-1,
303, -1, 303, -1], [264], [-1]), ([33, 34, 38, 39, 40, 41, 42, 44, 45, 46, 59,
60, 123, 124, 125, 127, 256, 257, 258, 264, 265, 267, 285, 311, 312, 331], [-1,
465, -1, 465, -1, 465, -1, 465, -1, 465, -1, 465, -1, 465, -1, 465, -1, 465,
-1, 465, -1, 465, -1, 465, -1, 465], [264], [-1]), ([33, 34, 38, 39, 40, 41,
42, 44, 45, 46, 59, 60, 123, 124, 125, 127, 256, 257, 258, 264, 265, 267, 285,
311, 312, 331], [-1, 473, -1, 473, -1, 473, -1, 473, -1, 473, -1, 473, -1, 473,
-1, 473, -1, 473, -1, 473, -1, 473, -1, 473, -1, 473], [264], [-1]), ([41, 42,
331], [-1, 864, -1], [264], [-1]), ([33, 34, 38, 39, 40, 41, 42, 43, 44, 45,
46, 59, 60, 123, 124, 126, 127, 258, 259, 260, 261, 262, 263, 264, 265, 266,
267, 286, 287, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324,
325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 8, 10, -1, 12, -1, 179, -1,
14, -1, 16, -1, 18, 20, 22, 24, 26, 28, -1, 30, 32, -1, 36, -1, 86, 88, 90, -1,
92, 94, 96, 98, 100, 102, 104, 106, -1, 110, -1, 114, -1], [1, 6, 9, 10, 12,
13, 18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66, 68, 70, 72, 74, 77, 89, 91,
93, 227, 243, 264], [-1, 61, 62, -1, 63, 64, -1, 65, -1, 66, 67, 68, 69, 70,
71, 72, 73, 74, 75, 76, 77, 78, -1, 79, 80, 81, -1, 433, -1]), ([41, 42, 44,
45, 331], [-1, 29, -1, 29, -1], [264], [-1]), ([41, 42, 44, 45, 331], [-1, 31,
-1, 31, -1], [264], [-1]), ([33, 34, 38, 39, 40, 41, 42, 44, 45, 46, 59, 60,
123, 124, 125, 127, 256, 257, 258, 264, 265, 267, 285, 311, 312, 315, 316, 331
], [-1, 453, -1, 453, -1, 453, -1, 453, -1, 453, -1, 453, -1, 453, -1, 453, -1,
453, -1, 453, -1, 453, -1, 453, -1, 453, -1, 453], [264], [-1]), ([33, 34, 38,
39, 40, 41, 42, 43, 44, 45, 46, 59, 60, 123, 124, 126, 127, 258, 259, 260, 261,
262, 263, 264, 265, 266, 267, 286, 287, 312, 313, 314, 315, 316, 317, 318, 319,
320, 321, 322, 323, 324, 325, 326, 327, 328, 331], [-1, 2, -1, 4, -1, 6, -1, 8,
10, -1, 12, -1, 179, -1, 14, -1, 16, -1, 18, 20, 22, 24, 26, 28, -1, 30, 32,
-1, 36, -1, 86, 88, 90, -1, 92, 94, 96, 98, 100, 102, 104, 106, -1, 110, -1,
114, -1], [1, 6, 9, 10, 12, 13, 18, 26, 30, 42, 44, 48, 51, 54, 59, 62, 64, 66,
68, 70, 72, 74, 77, 89, 91, 93, 227, 243, 264], [-1, 61, 62, -1, 63, 64, -1,
65, -1, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, -1, 79, 80, 81, -1,
434, -1]), ([33, 34, 38, 39, 40, 41, 42, 44, 45, 46, 59, 60, 123, 124, 125,
127, 256, 257, 258, 264, 265, 267, 285, 311, 312, 331], [-1, 477, -1, 477, -1,
477, -1, 477, -1, 477, -1, 477, -1, 477, -1, 477, -1, 477, -1, 477, -1, 477,
-1, 477, -1, 477], [264], [-1]), ([33, 34, 38, 39, 40, 41, 42, 44, 45, 46, 59,
60, 123, 124, 125, 127, 256, 257, 258, 264, 265, 267, 285, 311, 312, 331], [-1,
475, -1, 475, -1, 475, -1, 475, -1, 475, -1, 475, -1, 475, -1, 475, -1, 475,
-1, 475, -1, 475, -1, 475, -1, 475], [264], [-1])], [(1, []), (1, [(0, 1,
'ExpressionIdentifier', {})]), (1, []), (1, []), (3, []), (1, []), (1, []), (1,
[]), (1, []), (1, []), (1, []), (1, [(0, 1, 'ExpressionFunctionName', {})]), (
6, [(0, 6, 'GenericSelection', {}), (4, 1, 'GenericAssociationList', {})]), (1,
[]), (3, []), (3, [(0, 3, 'GenericAssociation', {})]), (1, []), (1, [(0, 1,
'DefaultTypeName', {})]), (1, []), (4, [(0, 4, 'ExpressionIndex', {})]), (4, [(
0, 4, 'ExpressionCall', {}), (2, 1, 'ArgumentExpressionList', {})]), (3, [(0,
3, 'ExpressionField', {})]), (3, [(0, 3, 'ExpressionFieldDereference', {})]), (
2, [(0, 2, 'ExpressionPostIncrement', {})]), (2, [(0, 2,
'ExpressionPostDecrement', {})]), (6, [(0, 6, 'ExpressionArray', {}), (4, 1,
'DesignatorInitializerList', {})]), (0, []), (1, []), (1, []), (3, []), (1, []
), (2, [(0, 2, 'ExpressionPreIncrement', {})]), (2, [(0, 2,
'ExpressionPreDecrement', {})]), (2, [(0, 2, 'ExpressionAddressOf', {})]), (2,
[(0, 2, 'ExpressionDereference', {})]), (2, [(0, 2, 'ExpressionPlus', {})]), (
2, [(0, 2, 'ExpressionMinus', {})]), (2, [(0, 2, 'ExpressionBitwiseNot', {})]),
(2, [(0, 2, 'ExpressionLogicalNot', {})]), (2, [(0, 2,
'ExpressionSizeOfExpression', {})]), (4, [(0, 4, 'ExpressionSizeOfType', {})]),
(4, [(0, 4, 'ExpressionAlignOfType', {})]), (1, []), (4, [(0, 4,
'ExpressionCast', {})]), (1, []), (3, [(0, 3, 'ExpressionMultiply', {})]), (3,
[(0, 3, 'ExpressionDivide', {})]), (3, [(0, 3, 'ExpressionModulo', {})]), (1, [
]), (3, [(0, 3, 'ExpressionAdd', {})]), (3, [(0, 3, 'ExpressionSubtract', {})]
), (1, []), (3, [(0, 3, 'ExpressionShiftLeft', {})]), (3, [(0, 3,
'ExpressionShiftRight', {})]), (1, []), (3, [(0, 3, 'ExpressionLessThan', {})]
), (3, [(0, 3, 'ExpressionGreaterThan', {})]), (3, [(0, 3,
'ExpressionLessThanOrEqual', {})]), (3, [(0, 3, 'ExpressionGreaterThanOrEqual',
{})]), (1, []), (3, [(0, 3, 'ExpressionEqual', {})]), (3, [(0, 3,
'ExpressionNotEqual', {})]), (1, []), (3, [(0, 3, 'ExpressionBitwiseAnd', {})]
), (1, []), (3, [(0, 3, 'ExpressionExclusiveOr', {})]), (1, []), (3, [(0, 3,
'ExpressionBitwiseOr', {})]), (1, []), (3, [(0, 3, 'ExpressionLogicalAnd', {})]
), (1, []), (3, [(0, 3, 'ExpressionLogicalOr', {})]), (1, []), (5, [(0, 5,
'ExpressionConditional', {})]), (0, [(0, 0, 'ExpressionEmpty', {})]), (1, [(0,
1, 'ExpressionAsterisk', {})]), (1, []), (1, []), (3, [(0, 3,
'ExpressionAssignment', {})]), (3, [(0, 3, 'ExpressionMultiplyAssignment', {})]
), (3, [(0, 3, 'ExpressionDivideAssignment', {})]), (3, [(0, 3,
'ExpressionModuloAssignment', {})]), (3, [(0, 3, 'ExpressionAddAssignment', {})
]), (3, [(0, 3, 'ExpressionSubtractAssignment', {})]), (3, [(0, 3,
'ExpressionLeftShiftAssignment', {})]), (3, [(0, 3,
'ExpressionRightShiftAssignment', {})]), (3, [(0, 3,
'ExpressionBitwiseAndAssignment', {})]), (3, [(0, 3,
'ExpressionExclusiveOrAssignment', {})]), (3, [(0, 3,
'ExpressionBitwiseOrAssignment', {})]), (0, [(0, 0, 'ExpressionEmpty', {})]), (
1, []), (1, []), (3, [(0, 3, 'ExpressionComma', {})]), (0, [(0, 0,
'ExpressionEmpty', {})]), (2, []), (1, []), (3, [(0, 3, 'Declaration', {}), (0,
1, 'DeclarationSpecifierList', {}), (1, 1, 'InitDeclaratorList', {})]), (1, []
), (1, []), (2, []), (1, []), (1, []), (1, []), (1, []), (1, []), (0, []), (1,
[]), (1, []), (3, []), (2, [(0, 2, 'InitDeclarator', {})]), (1, [(0, 1,
'StorageClassSpecifier', {'n': '0'})]), (1, [(0, 1, 'StorageClassSpecifier', {
'n': '1'})]), (1, [(0, 1, 'StorageClassSpecifier', {'n': '2'})]), (1, [(0, 1,
'StorageClassSpecifier', {'n': '3'})]), (1, [(0, 1, 'StorageClassSpecifier', {
'n': '4'})]), (1, [(0, 1, 'StorageClassSpecifier', {'n': '5'})]), (1, [(0, 1,
'TypeSpecifier', {'n': '0'})]), (1, [(0, 1, 'TypeSpecifier', {'n': '1'})]), (1,
[(0, 1, 'TypeSpecifier', {'n': '2'})]), (1, [(0, 1, 'TypeSpecifier', {'n': '3'}
)]), (1, [(0, 1, 'TypeSpecifier', {'n': '4'})]), (1, [(0, 1, 'TypeSpecifier', {
'n': '5'})]), (1, [(0, 1, 'TypeSpecifier', {'n': '6'})]), (1, [(0, 1,
'TypeSpecifier', {'n': '7'})]), (1, [(0, 1, 'TypeSpecifier', {'n': '8'})]), (1,
[(0, 1, 'TypeSpecifier', {'n': '9'})]), (1, [(0, 1, 'TypeSpecifier', {'n': '10'
})]), (1, [(0, 1, 'TypeSpecifier', {'n': '11'})]), (1, []), (1, []), (1, []), (
1, []), (1, []), (5, [(0, 5, 'StructSpecifier', {}), (3, 1,
'StructDeclarationList', {})]), (2, [(0, 2, 'StructSpecifier', {})]), (5, [(0,
5, 'UnionSpecifier', {}), (3, 1, 'StructDeclarationList', {})]), (2, [(0, 2,
'UnionSpecifier', {})]), (0, []), (1, []), (1, []), (2, []), (3, [(0, 3,
'StructDeclaration', {}), (0, 1, 'SpecifierQualifierList', {}), (1, 1,
'StructDeclaratorList', {})]), (1, []), (1, []), (2, []), (1, []), (1, []), (0,
[]), (1, []), (1, []), (3, []), (3, [(0, 3, 'StructDeclarator', {})]), (1, []),
(5, [(0, 5, 'EnumSpecifier', {}), (3, 1, 'EnumeratorList', {})]), (2, [(0, 2,
'EnumSpecifier', {})]), (0, []), (1, []), (2, []), (1, []), (3, []), (2, [(0,
2, 'Enumerator', {})]), (4, []), (0, []), (1, []), (1, []), (2, []), (1, []), (
1, [(0, 1, 'StorageClassSpecifier', {'n': '2'})]), (1, [(0, 1, 'TypeQualifier',
{'n': '0'})]), (1, [(0, 1, 'TypeQualifier', {'n': '1'})]), (1, [(0, 1,
'TypeQualifier', {'n': '2'})]), (1, [(0, 1, 'TypeQualifier', {'n': '3'})]), (1,
[(0, 1, 'FunctionSpecifier', {'n': '0'})]), (1, [(0, 1, 'FunctionSpecifier', {
'n': '1'})]), (4, [(0, 4, 'AlignAsType', {})]), (4, [(0, 4,
'AlignAsExpression', {})]), (0, [(0, 0, 'DeclaratorEmpty', {})]), (1, []), (1,
[]), (3, [(0, 3, 'DeclaratorPointer', {}), (1, 1, 'TypeQualifierList', {})]), (
1, [(0, 1, 'DeclaratorIdentifier', {})]), (3, []), (5, [(0, 5,
'DeclaratorArray', {}), (2, 1, 'TypeQualifierOrStaticList', {})]), (4, [(0, 4,
'DeclaratorFunctionOldStyle', {}), (2, 1, 'IdentifierList', {})]), (5, [(0, 5,
'DeclaratorFunction', {}), (2, 1, 'ParameterDeclarationList', {})]), (0, []), (
1, []), (1, []), (2, []), (1, []), (3, []), (2, [(0, 2, 'ParameterDeclaration',
{}), (0, 1, 'DeclarationSpecifierList', {})]), (2, [(0, 2,
'ParameterDeclaration', {}), (0, 1, 'DeclarationSpecifierList', {})]), (0, []),
(1, []), (1, []), (3, []), (2, [(0, 2, 'TypeName', {}), (0, 1,
'SpecifierQualifierList', {})]), (1, []), (3, [(0, 3, 'DeclaratorPointer', {}),
(1, 1, 'TypeQualifierList', {})]), (0, [(0, 0, 'DeclaratorAbstract', {})]), (1,
[]), (3, []), (5, [(1, 3, 'DeclaratorPointer', {}), (2, 1, 'TypeQualifierList',
{})]), (4, [(0, 5, 'DeclaratorArray', {}), (0, 0, 'DeclaratorAbstract', {}), (
1, 1, 'TypeQualifierOrStaticList', {})]), (2, [(0, 5, 'DeclaratorFunction', {}
), (0, 0, 'DeclaratorAbstract', {}), (1, 0, 'ParameterDeclarationList', {}), (
1, 0, 'CommaEllipsisEmpty', {})]), (4, [(0, 5, 'DeclaratorFunction', {}), (0,
0, 'DeclaratorAbstract', {}), (1, 1, 'ParameterDeclarationList', {})]), (5, [(
0, 5, 'DeclaratorArray', {}), (2, 1, 'TypeQualifierOrStaticList', {})]), (3, [(
0, 5, 'DeclaratorFunction', {}), (2, 0, 'ParameterDeclarationList', {}), (2, 0,
'CommaEllipsisEmpty', {})]), (5, [(0, 5, 'DeclaratorFunction', {}), (2, 1,
'ParameterDeclarationList', {})]), (0, [(0, 0, 'EqualsInitializerEmpty', {})]),
(2, []), (3, [(1, 1, 'DesignatorInitializerList', {})]), (1, []), (0, []), (1,
[]), (2, []), (1, []), (3, []), (2, [(0, 2, 'DesignatorInitializer', {}), (0,
1, 'DesignatorList', {})]), (0, []), (2, []), (1, []), (2, []), (3, [(0, 3,
'DesignatorIndex', {})]), (2, [(0, 2, 'DesignatorField', {})]), (7, [(0, 7,
'StaticAssertDeclaration', {})]), (3, [(0, 3, 'StatementLabel', {})]), (4, [(0,
4, 'StatementCase', {})]), (3, [(0, 3, 'StatementDefault', {})]), (3, [(0, 3,
'StatementBlock', {}), (1, 1, 'BlockItemList', {})]), (2, [(0, 2,
'StatementExpression', {})]), (7, [(0, 7, 'StatementIfElse', {})]), (5, [(0, 5,
'StatementIf', {})]), (5, [(0, 5, 'StatementSwitch', {})]), (5, [(0, 5,
'StatementWhile', {})]), (7, [(0, 7, 'StatementDoWhile', {})]), (9, [(0, 9,
'StatementFor', {})]), (8, [(0, 8, 'StatementFor', {})]), (3, [(0, 3,
'StatementGoto', {})]), (2, [(0, 2, 'StatementContinue', {})]), (2, [(0, 2,
'StatementBreak', {})]), (3, [(0, 3, 'StatementReturn', {})]), (0, []), (1, []
), (1, []), (2, []), (1, []), (1, []), (0, []), (1, []), (1, []), (2, []), (1,
[]), (1, []), (6, [(0, 6, 'FunctionDefinition', {}), (0, 1,
'DeclarationSpecifierList', {}), (2, 1, 'DeclarationList', {}), (4, 1,
'BlockItemList', {})]), (0, []), (1, []), (1, []), (2, []), (0, [(0, 0,
'IdentifierEmpty', {})]), (1, []), (0, [(0, 0, 'CommaEllipsisEmpty', {})]), (2,
[(0, 2, 'CommaEllipsis', {})])], 331, 256)
# GENERATE END

def yyparse(root, pos, off, factory, yylex_iter):
  lalr1.yyparse(root, pos, off, factory, yylex_iter)

if __name__ == '__main__':
  import ast 
  import ansi_c_yylex
  import element
  import work
  import sys
  import xml.etree.ElementTree

  root = element.Element('root')
  yyparse(
    root,
    0,
    0,
    ast.factory,
    ansi_c_yylex.yylex(
      root,
      0,
      0,
      ast.factory,
      work.yychunk_line(root, sys.stdin)
    )
  )
  xml.etree.ElementTree.dump(root)