-
Notifications
You must be signed in to change notification settings - Fork 133
/
transdefs.js
3512 lines (3512 loc) · 259 KB
/
transdefs.js
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
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
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
var transdefs = [
['t0', 357, 558, 217, [1450, 1510, 5143, 5320],[228, 297, 16, 3, 4238] ],
['t1', 1608, 657, 349, [5424, 5629, 548, 922],[1007, 1079, 17, 5, 17477] ],
['t2', 412, 558, 1146, [3867, 3899, 2465, 2642],[194, 192, 16, 3, 3016] ],
['t3', 558, 558, 943, [7907, 7990, 9237, 9311],[121, 157, 18, 2, 2489] ],
['t4', 826, 230, 657, [1893, 1910, 530, 927],[397, 397, 17, 1, 6817] ],
['t5', 82, 558, 1319, [8489, 8527, 6063, 6388],[347, 345, 17, 3, 5780] ],
['t6', 821, 289, 1514, [6029, 6049, 762, 791],[29, 29, 20, 1, 598] ],
['t7', 558, 558, 1171, [7282, 7300, 9212, 9329],[117, 117, 18, 1, 2208] ],
['t8', 945, 558, 1199, [7302, 7622, 3402, 3430],[326, 326, 16, 3, 5480] ],
['t9', 710, 524, 1548, [1629, 1647, 1796, 1826],[30, 30, 18, 1, 546] ],
['t10', 190, 558, 220, [1435, 1458, 4798, 4969],[174, 174, 15, 4, 2678] ],
['t11', 38, 1247, 657, [897, 1058, 4652, 4668],[161, 161, 16, 1, 2668] ],
['t12', 1248, 189, 558, [2725, 2741, 3733, 3886],[153, 153, 16, 1, 2420] ],
['t13', 1248, 558, 155, [2725, 2741, 3623, 3702],[79, 79, 16, 1, 1253] ],
['t14', 943, 558, 346, [1192, 1209, 9271, 9388],[117, 117, 17, 1, 1970] ],
['t15', 1140, 148, 657, [2018, 2098, 556, 927],[822, 754, 18, 3, 14167] ],
['t16', 1540, 508, 558, [849, 887, 7188, 7351],[222, 188, 15, 4, 3178] ],
['t17', 710, 32, 1082, [7063, 7084, 5377, 5407],[30, 30, 21, 1, 641] ],
['t18', 710, 1451, 212, [4546, 4565, 767, 795],[28, 28, 19, 1, 531] ],
['t19', 1247, 558, 534, [4350, 4371, 4375, 4560],[185, 187, 15, 3, 2976] ],
['t20', 943, 1162, 272, [4924, 4955, 5008, 5031],[31, 31, 23, 1, 718] ],
['t21', 943, 983, 418, [2277, 2297, 4006, 4035],[29, 29, 20, 1, 583] ],
['t22', 248, 1615, 468, [505, 576, 9202, 9294],[187, 188, 17, 5, 3324] ],
['t23', 248, 472, 395, [271, 385, 9077, 9099],[116, 115, 16, 3, 1944] ],
['t24', 710, 1495, 348, [7373, 7394, 5351, 5380],[29, 29, 21, 1, 583] ],
['t25', 1096, 1100, 558, [1373, 1434, 3928, 4213],[420, 350, 18, 3, 6848] ],
['t26', 1096, 558, 1660, [1267, 1285, 4048, 4139],[91, 91, 18, 1, 1697] ],
['t27', 1096, 855, 657, [1197, 1241, 3940, 3957],[44, 44, 17, 1, 739] ],
['t28', 1503, 558, 744, [6928, 6974, 4477, 4570],[125, 126, 13, 3, 1726] ],
['t29', 44, 1616, 558, [7842, 8005, 5305, 5327],[164, 164, 16, 3, 2873] ],
['t30', 78, 651, 375, [3362, 3377, 2554, 2642],[88, 88, 15, 1, 1289] ],
['t31', 78, 558, 65, [3371, 3388, 2436, 2502],[66, 66, 17, 1, 1126] ],
['t32', 710, 928, 1378, [8565, 8590, 7720, 7778],[58, 58, 25, 1, 1419] ],
['t33', 710, 1309, 74, [8565, 8590, 7876, 7934],[58, 58, 25, 1, 1426] ],
['t34', 943, 518, 115, [1826, 1845, 1667, 1697],[30, 30, 19, 1, 551] ],
['t35', 32, 558, 31, [7114, 7136, 5419, 5575],[158, 157, 15, 3, 2563] ],
['t36', 943, 1405, 657, [2216, 2274, 2363, 2380],[58, 58, 17, 1, 991] ],
['t37', 943, 973, 1603, [2274, 2293, 2431, 2460],[29, 29, 19, 1, 578] ],
['t38', 347, 510, 558, [5961, 5978, 7291, 7357],[66, 66, 17, 1, 1123] ],
['t39', 710, 1667, 883, [4037, 4056, 762, 794],[29, 32, 20, 2, 549] ],
['t40', 706, 1456, 558, [291, 399, 8750, 8841],[339, 303, 18, 6, 5649] ],
['t41', 1174, 307, 558, [8294, 8389, 5212, 5235],[96, 96, 17, 3, 1691] ],
['t42', 1622, 558, 409, [8252, 8282, 7239, 7410],[185, 184, 17, 5, 3138] ],
['t43', 192, 25, 558, [3304, 3340, 6084, 6173],[110, 107, 16, 3, 1818] ],
['t44', 1490, 558, 606, [3994, 4078, 2450, 2552],[199, 299, 16, 4, 4095] ],
['t45', 943, 1148, 767, [1829, 1849, 3625, 3655],[30, 30, 20, 1, 574] ],
['t46', 549, 1150, 1248, [2626, 2660, 3597, 3617],[34, 30, 21, 2, 621] ],
['t47', 549, 1287, 1332, [2626, 2657, 3215, 3234],[31, 29, 19, 2, 555] ],
['t48', 549, 1680, 1188, [2624, 2654, 2834, 2852],[30, 30, 18, 1, 539] ],
['t49', 549, 1142, 1405, [2626, 2653, 2407, 2427],[27, 27, 20, 1, 551] ],
['t50', 353, 794, 558, [7250, 7462, 3611, 3653],[254, 222, 16, 2, 3694] ],
['t51', 353, 794, 558, [7495, 7727, 3542, 3626],[467, 533, 16, 5, 8071] ],
['t52', 593, 558, 1700, [2128, 2146, 4377, 4618],[241, 241, 14, 3, 3608] ],
['t53', 549, 1167, 54, [2627, 2657, 3982, 4001],[30, 30, 19, 1, 562] ],
['t54', 600, 613, 1362, [4441, 4513, 4007, 4127],[211, 177, 16, 4, 3128] ],
['t55', 549, 530, 166, [2625, 2654, 2023, 2044],[28, 29, 21, 2, 593] ],
['t56', 549, 1627, 1336, [2623, 2652, 1643, 1663],[29, 29, 20, 1, 592] ],
['t57', 948, 558, 1400, [5638, 5672, 2574, 2664],[124, 89, 17, 2, 1893] ],
['t58', 264, 1092, 480, [2472, 2507, 6381, 6562],[182, 216, 17, 2, 3461] ],
['t59', 1582, 632, 558, [1927, 1963, 7255, 7324],[105, 71, 17, 2, 1500] ],
['t60', 584, 558, 923, [5470, 5485, 2867, 2950],[83, 83, 15, 1, 1266] ],
['t61', 1003, 274, 136, [3430, 3446, 2981, 3069],[88, 88, 16, 1, 1412] ],
['t62', 1003, 860, 558, [3440, 3477, 2888, 2956],[105, 71, 17, 2, 1473] ],
['t63', 943, 1347, 1527, [4286, 4315, 5010, 5033],[29, 29, 23, 1, 653] ],
['t64', 68, 558, 331, [3993, 4076, 1683, 1785],[199, 297, 16, 4, 4090] ],
['t65', 558, 945, 558, [8298, 8423, 3215, 3239],[131, 127, 16, 5, 2494] ],
['t66', 1457, 1644, 1495, [7447, 7464, 5260, 5342],[82, 82, 17, 1, 1347] ],
['t67', 1485, 1066, 558, [7097, 7114, 3409, 3503],[94, 94, 17, 1, 1542] ],
['t68', 1485, 558, 1066, [7050, 7094, 3345, 3402],[71, 101, 15, 2, 1332] ],
['t69', 1485, 1066, 558, [6991, 7047, 3256, 3340],[122, 123, 17, 3, 2021] ],
['t70', 1077, 558, 1622, [8400, 8417, 6660, 6736],[76, 76, 17, 1, 1300] ],
['t71', 1077, 667, 558, [8353, 8370, 6660, 6736],[76, 76, 17, 1, 1300] ],
['t72', 325, 115, 1336, [1865, 1894, 1645, 1663],[29, 29, 18, 1, 541] ],
['t73', 710, 920, 785, [1929, 1944, 6753, 6781],[28, 28, 15, 1, 428] ],
['t74', 1318, 748, 558, [3103, 3118, 1417, 1462],[45, 45, 15, 1, 714] ],
['t75', 362, 304, 657, [2896, 2925, 1373, 1393],[29, 29, 20, 1, 590] ],
['t76', 127, 421, 657, [4629, 4645, 9220, 9388],[168, 168, 16, 1, 2706] ],
['t77', 325, 989, 1405, [1867, 1896, 2408, 2428],[29, 29, 20, 1, 591] ],
['t78', 53, 558, 790, [6716, 6733, 7579, 7645],[66, 66, 17, 1, 1098] ],
['t79', 763, 558, 1068, [2592, 2610, 4377, 4569],[192, 192, 15, 3, 2909] ],
['t80', 1088, 558, 147, [7161, 7499, 2358, 2398],[356, 359, 16, 5, 6292] ],
['t81', 1088, 558, 1463, [6983, 7129, 2358, 2373],[146, 146, 15, 1, 2281] ],
['t82', 1042, 1370, 493, [6471, 6531, 4863, 4882],[60, 60, 19, 1, 1165] ],
['t83', 1042, 1473, 1421, [6377, 6437, 4863, 4882],[60, 60, 19, 1, 1165] ],
['t84', 943, 513, 443, [6972, 7004, 6269, 6289],[32, 32, 20, 1, 634] ],
['t85', 943, 1673, 1646, [6942, 6962, 5975, 6006],[31, 31, 20, 1, 606] ],
['t86', 943, 490, 1516, [7245, 7265, 2599, 2632],[33, 33, 20, 1, 668] ],
['t87', 311, 856, 558, [5602, 5618, 4127, 4237],[110, 110, 16, 1, 1734] ],
['t88', 311, 835, 558, [5635, 5667, 3954, 4073],[151, 119, 16, 2, 2171] ],
['t89', 783, 558, 1158, [5895, 5910, 3373, 3471],[98, 98, 15, 1, 1465] ],
['t90', 783, 558, 1704, [5848, 5870, 3357, 3494],[139, 138, 15, 3, 2225] ],
['t91', 783, 558, 1253, [5848, 5870, 3288, 3342],[56, 56, 15, 3, 957] ],
['t92', 381, 230, 558, [1499, 1604, 651, 667],[105, 105, 16, 1, 1650] ],
['t93', 381, 230, 558, [1373, 1408, 651, 667],[35, 35, 16, 1, 540] ],
['t94', 381, 230, 558, [1477, 1494, 237, 644],[407, 407, 17, 1, 6594] ],
['t95', 381, 558, 230, [1415, 1434, 237, 644],[407, 407, 19, 1, 7593] ],
['t96', 381, 230, 558, [1354, 1371, 237, 644],[407, 407, 17, 1, 6993] ],
['t97', 381, 558, 230, [1291, 1308, 237, 644],[407, 407, 17, 1, 7193] ],
['t98', 381, 230, 558, [1229, 1244, 237, 644],[407, 407, 15, 1, 6194] ],
['t99', 152, 558, 1343, [2709, 2725, 5508, 5583],[75, 75, 16, 1, 1185] ],
['t100', 555, 371, 558, [3458, 3496, 4090, 4130],[78, 46, 16, 2, 1004] ],
['t101', 810, 558, 207, [5621, 5635, 2947, 3029],[82, 82, 14, 1, 1182] ],
['t102', 819, 501, 558, [5495, 5548, 6443, 6513],[106, 106, 17, 3, 1860] ],
['t103', 1148, 1138, 558, [1858, 1879, 3690, 3773],[84, 84, 16, 3, 1465] ],
['t104', 963, 657, 672, [6253, 6458, 546, 920],[1010, 1081, 16, 5, 17851] ],
['t105', 967, 202, 558, [2367, 2385, 6173, 6288],[115, 115, 18, 1, 2087] ],
['t106', 1691, 972, 558, [3704, 3727, 3137, 3271],[136, 136, 17, 3, 2378] ],
['t107', 1342, 1563, 558, [4271, 4294, 7511, 7633],[124, 125, 17, 3, 2175] ],
['t108', 786, 844, 558, [1592, 1607, 7551, 7622],[71, 71, 15, 1, 1037] ],
['t109', 422, 657, 1296, [3751, 3768, 916, 959],[43, 43, 17, 1, 710] ],
['t110', 422, 1346, 558, [3734, 3760, 783, 887],[108, 108, 17, 3, 1893] ],
['t111', 422, 359, 558, [3743, 4041, 677, 768],[372, 372, 17, 3, 6233] ],
['t112', 984, 1680, 558, [2661, 2678, 2884, 2915],[31, 31, 17, 1, 538] ],
['t113', 1410, 558, 365, [8461, 8500, 6990, 7080],[113, 113, 16, 3, 1863] ],
['t114', 403, 558, 1145, [2687, 2747, 7145, 7198],[111, 79, 17, 3, 1400] ],
['t115', 527, 746, 558, [6920, 6942, 3604, 3770],[167, 168, 15, 3, 2672] ],
['t116', 1610, 972, 1372, [3652, 3693, 2964, 3089],[133, 166, 16, 2, 2490] ],
['t117', 710, 653, 1497, [7029, 7061, 7196, 7215],[32, 32, 19, 1, 626] ],
['t118', 429, 489, 558, [6919, 6936, 832, 999],[167, 167, 17, 1, 2715] ],
['t119', 467, 558, 10, [4652, 4667, 5974, 6043],[69, 69, 15, 1, 1017] ],
['t120', 460, 692, 558, [1834, 1858, 4831, 4957],[130, 129, 15, 3, 2110] ],
['t121', 536, 558, 1647, [6154, 6190, 1307, 1430],[143, 143, 16, 3, 2252] ],
['t122', 917, 1358, 558, [2167, 2203, 7239, 7355],[135, 138, 15, 3, 2104] ],
['t123', 821, 429, 514, [6834, 6850, 749, 779],[30, 30, 16, 1, 494] ],
['t124', 744, 558, 1268, [7189, 7282, 4396, 4477],[141, 174, 16, 2, 2682] ],
['t125', 710, 430, 1570, [5886, 5919, 5321, 5341],[33, 33, 20, 1, 672] ],
['t126', 943, 1179, 393, [4238, 4265, 2564, 2583],[27, 27, 19, 1, 522] ],
['t127', 1700, 998, 1188, [2125, 2144, 2888, 2929],[41, 41, 19, 1, 777] ],
['t128', 1700, 1389, 1287, [2126, 2145, 3271, 3313],[42, 42, 19, 1, 794] ],
['t129', 1369, 558, 1462, [5630, 5647, 4720, 4782],[62, 62, 17, 1, 1021] ],
['t130', 1369, 657, 438, [5629, 5653, 4609, 4634],[24, 24, 25, 1, 579] ],
['t131', 925, 558, 816, [6147, 6181, 6929, 7051],[140, 141, 15, 3, 2235] ],
['t132', 1700, 721, 1001, [2121, 2140, 1313, 1354],[41, 41, 19, 1, 807] ],
['t133', 1700, 618, 1336, [2121, 2142, 1694, 1736],[42, 42, 20, 1, 873] ],
['t134', 818, 1043, 558, [5751, 5767, 4719, 4783],[64, 64, 16, 1, 1040] ],
['t135', 818, 657, 414, [5772, 5797, 4609, 4636],[25, 25, 27, 1, 644] ],
['t136', 1700, 3, 1405, [2122, 2143, 2460, 2502],[42, 42, 21, 1, 881] ],
['t137', 270, 1426, 558, [6297, 6373, 6103, 6138],[111, 76, 17, 2, 1588] ],
['t138', 1678, 477, 1559, [2753, 2769, 2159, 2310],[151, 151, 16, 1, 2442] ],
['t139', 1678, 558, 1632, [2769, 2786, 2054, 2133],[79, 79, 17, 1, 1321] ],
['t140', 710, 1590, 1083, [8567, 8588, 8187, 8245],[58, 58, 21, 1, 1191] ],
['t141', 589, 558, 1017, [2033, 2057, 2114, 2198],[85, 85, 18, 4, 1476] ],
['t142', 710, 1424, 1066, [6986, 7038, 3364, 3446],[112, 186, 19, 3, 2764] ],
['t143', 1420, 1455, 558, [4232, 4248, 7575, 7648],[73, 73, 16, 1, 1185] ],
['t144', 1420, 397, 558, [4215, 4254, 7488, 7551],[102, 68, 17, 2, 1473] ],
['t145', 493, 789, 558, [6860, 6882, 1349, 1454],[106, 107, 15, 3, 1695] ],
['t146', 640, 884, 558, [3092, 3108, 2874, 2946],[72, 72, 16, 1, 1133] ],
['t147', 1108, 558, 624, [2460, 2509, 3997, 4095],[137, 171, 18, 4, 2640] ],
['t148', 154, 558, 75, [3934, 3996, 4730, 4745],[62, 62, 15, 1, 938] ],
['t149', 154, 657, 129, [3934, 3957, 4572, 4595],[23, 23, 23, 1, 514] ],
['t150', 787, 558, 605, [3465, 3517, 6456, 6620],[184, 216, 16, 4, 3232] ],
['t151', 1247, 558, 325, [1836, 1857, 4378, 4562],[185, 185, 16, 3, 2988] ],
['t152', 1582, 604, 558, [2732, 2769, 7561, 7631],[107, 76, 15, 2, 1462] ],
['t153', 1670, 1010, 558, [5643, 5676, 4150, 4231],[82, 114, 16, 2, 1587] ],
['t154', 798, 82, 657, [7825, 8185, 3537, 3712],[1576, 1528, 16, 23, 25427] ],
['t155', 798, 82, 657, [7825, 8185, 3341, 3518],[1580, 1518, 15, 23, 26458] ],
['t156', 453, 1264, 558, [5688, 5704, 1419, 1528],[109, 109, 16, 1, 1704] ],
['t157', 28, 567, 558, [1478, 1564, 1279, 1401],[240, 236, 17, 6, 4140] ],
['t158', 121, 558, 1548, [1682, 1733, 1658, 1836],[196, 225, 17, 3, 3477] ],
['t159', 285, 1225, 558, [5140, 5203, 7233, 7323],[194, 123, 17, 3, 2864] ],
['t160', 1134, 558, 70, [1665, 1682, 5468, 5562],[94, 94, 17, 1, 1587] ],
['t161', 706, 1366, 558, [291, 357, 8852, 9012],[290, 261, 16, 4, 4575] ],
['t162', 272, 952, 558, [4517, 4575, 5202, 5301],[141, 140, 16, 3, 2389] ],
['t163', 715, 426, 558, [5982, 5999, 1403, 1514],[111, 111, 17, 1, 1865] ],
['t164', 715, 914, 558, [5925, 5967, 1238, 1354],[158, 126, 16, 2, 2327] ],
['t165', 761, 711, 739, [4379, 4394, 1585, 1670],[85, 85, 15, 1, 1290] ],
['t166', 1296, 657, 399, [3472, 3548, 551, 925],[758, 824, 15, 3, 12131] ],
['t167', 1453, 657, 373, [7114, 7156, 2087, 2104],[42, 42, 17, 2, 711] ],
['t168', 1312, 558, 264, [620, 724, 7642, 7690],[120, 152, 16, 2, 2227] ],
['t169', 646, 558, 812, [6353, 6393, 6704, 6833],[153, 154, 15, 3, 2544] ],
['t170', 943, 1513, 210, [1505, 1524, 2180, 2209],[29, 29, 19, 1, 577] ],
['t171', 379, 1500, 1706, [5925, 5941, 4138, 4238],[100, 100, 16, 1, 1684] ],
['t172', 379, 558, 1345, [5925, 5941, 4025, 4081],[56, 56, 16, 1, 938] ],
['t173', 813, 1101, 1508, [4506, 4541, 6800, 6998],[216, 215, 17, 3, 3775] ],
['t174', 4, 558, 11, [4342, 4364, 7560, 7644],[86, 86, 16, 3, 1557] ],
['t175', 819, 1380, 558, [5989, 6007, 6058, 6189],[131, 131, 18, 1, 2311] ],
['t176', 714, 214, 657, [3859, 3883, 4574, 4597],[24, 24, 23, 1, 527] ],
['t177', 43, 818, 558, [5805, 5821, 4800, 4860],[60, 60, 16, 1, 984] ],
['t178', 1520, 558, 1107, [3127, 3151, 7497, 7588],[96, 96, 13, 3, 1461] ],
['t179', 1002, 558, 1130, [3265, 3280, 6388, 6470],[82, 82, 15, 1, 1264] ],
['t180', 943, 779, 805, [2528, 2559, 5014, 5036],[31, 31, 22, 1, 685] ],
['t181', 710, 1141, 101, [3287, 3316, 5041, 5062],[29, 29, 21, 1, 593] ],
['t182', 943, 408, 1308, [3493, 3511, 1057, 1087],[30, 29, 18, 2, 535] ],
['t183', 1581, 1480, 379, [5941, 6028, 4862, 5148],[365, 397, 15, 6, 6133] ],
['t184', 347, 558, 191, [6668, 6689, 7302, 7378],[78, 77, 15, 3, 1259] ],
['t185', 1537, 1116, 558, [7095, 7111, 1836, 1928],[92, 92, 16, 1, 1503] ],
['t186', 1537, 558, 1116, [7048, 7090, 1770, 1827],[69, 99, 15, 2, 1315] ],
['t187', 1537, 1116, 558, [6986, 7042, 1680, 1765],[124, 125, 16, 4, 2024] ],
['t188', 1624, 169, 558, [1574, 1612, 6816, 6928],[150, 117, 17, 3, 2142] ],
['t189', 408, 938, 558, [3766, 4092, 1066, 1083],[326, 326, 17, 1, 5713] ],
['t190', 1576, 1125, 558, [8136, 8330, 8168, 8203],[229, 194, 17, 2, 3676] ],
['t191', 943, 1609, 1394, [8481, 8510, 7697, 7716],[29, 29, 19, 1, 545] ],
['t192', 205, 453, 558, [5466, 5481, 1294, 1374],[80, 80, 15, 1, 1227] ],
['t193', 309, 558, 368, [6609, 6625, 7579, 7645],[66, 66, 16, 1, 1100] ],
['t194', 1544, 405, 1172, [2898, 2915, 5716, 5854],[138, 138, 17, 1, 2264] ],
['t195', 1720, 558, 373, [7207, 7530, 2094, 2129],[328, 360, 16, 4, 5384] ],
['t196', 1720, 657, 612, [7207, 7224, 2037, 2080],[43, 43, 17, 1, 710] ],
['t197', 1088, 1076, 657, [7116, 7156, 2469, 2486],[40, 40, 17, 2, 672] ],
['t198', 646, 558, 773, [5278, 5343, 6258, 6322],[95, 129, 17, 2, 1955] ],
['t199', 982, 558, 1141, [3278, 3316, 5124, 5261],[142, 175, 16, 2, 2341] ],
['t200', 1135, 558, 1203, [4505, 4532, 2160, 2265],[111, 110, 16, 3, 1829] ],
['t201', 1135, 558, 1629, [4516, 4532, 2088, 2134],[46, 46, 16, 1, 729] ],
['t202', 1258, 558, 813, [4444, 4487, 7168, 7232],[107, 73, 17, 2, 1549] ],
['t203', 248, 558, 720, [4834, 4879, 6711, 6775],[109, 76, 20, 3, 1621] ],
['t204', 1045, 558, 1371, [8293, 8388, 4946, 4968],[97, 97, 15, 3, 1621] ],
['t205', 999, 558, 1237, [4781, 4884, 648, 661],[103, 103, 13, 1, 1418] ],
['t206', 999, 1237, 558, [4656, 4689, 648, 661],[33, 33, 13, 1, 454] ],
['t207', 999, 558, 1237, [4760, 4776, 228, 637],[409, 409, 16, 1, 6719] ],
['t208', 999, 558, 1237, [4698, 4714, 228, 637],[409, 409, 16, 1, 6537] ],
['t209', 999, 1237, 558, [4636, 4652, 228, 637],[409, 409, 16, 1, 6365] ],
['t210', 999, 558, 1237, [4574, 4589, 228, 637],[409, 409, 15, 1, 6365] ],
['t211', 999, 1237, 558, [4511, 4528, 228, 637],[409, 409, 17, 1, 6729] ],
['t212', 943, 561, 29, [3688, 3709, 5953, 5985],[32, 32, 21, 1, 662] ],
['t213', 867, 558, 876, [4323, 4339, 3671, 3715],[44, 44, 16, 1, 712] ],
['t214', 1173, 558, 1717, [1004, 1021, 7579, 7653],[74, 74, 17, 1, 1319] ],
['t215', 1146, 206, 558, [6836, 6863, 4530, 4835],[310, 309, 16, 3, 5228] ],
['t216', 76, 558, 1106, [1347, 1363, 7578, 7653],[75, 75, 16, 1, 1177] ],
['t217', 241, 558, 1033, [4031, 4092, 4730, 4745],[61, 61, 15, 1, 909] ],
['t218', 241, 657, 1015, [4069, 4092, 4572, 4594],[23, 23, 22, 1, 504] ],
['t219', 995, 975, 886, [3507, 3524, 9241, 9357],[116, 116, 17, 1, 1951] ],
['t220', 201, 558, 1371, [8293, 8388, 4887, 4911],[97, 97, 17, 3, 1771] ],
['t221', 273, 558, 272, [5307, 5355, 7520, 7629],[116, 152, 17, 5, 2329] ],
['t222', 846, 307, 558, [8294, 8391, 5171, 5194],[102, 104, 17, 3, 1770] ],
['t223', 879, 1183, 541, [8563, 8583, 8503, 8559],[56, 56, 20, 1, 1129] ],
['t224', 827, 558, 380, [7790, 7930, 6786, 6802],[140, 140, 16, 1, 2268] ],
['t225', 1061, 558, 124, [5557, 5574, 2858, 2970],[112, 112, 17, 1, 1945] ],
['t226', 654, 332, 1403, [2361, 2390, 4104, 4122],[29, 29, 18, 1, 548] ],
['t227', 943, 1108, 657, [6858, 6878, 3917, 3972],[55, 55, 20, 1, 1110] ],
['t228', 621, 558, 355, [2128, 2152, 4786, 4959],[177, 176, 15, 3, 2764] ],
['t229', 1035, 558, 251, [7741, 7824, 4411, 4679],[321, 351, 15, 4, 5777] ],
['t230', 1606, 188, 558, [400, 537, 8816, 8880],[162, 194, 16, 4, 2982] ],
['t231', 41, 407, 719, [6749, 6770, 3921, 4028],[107, 107, 19, 1, 2010] ],
['t232', 41, 52, 87, [6749, 6768, 3537, 3647],[110, 110, 18, 1, 1976] ],
['t233', 41, 1651, 1424, [6749, 6768, 3156, 3265],[109, 109, 19, 1, 2005] ],
['t234', 41, 315, 1661, [6749, 6767, 2772, 2881],[109, 109, 18, 1, 2058] ],
['t235', 41, 1160, 1095, [6747, 6766, 2347, 2456],[109, 109, 19, 1, 2049] ],
['t236', 41, 483, 1387, [6747, 6766, 1965, 2072],[107, 107, 19, 1, 2031] ],
['t237', 41, 13, 1014, [6746, 6765, 1580, 1689],[109, 109, 19, 1, 2087] ],
['t238', 41, 1539, 1147, [6745, 6764, 1199, 1306],[107, 107, 19, 1, 1988] ],
['t239', 370, 558, 689, [2214, 2281, 7494, 7511],[67, 67, 17, 1, 1121] ],
['t240', 805, 558, 1534, [2531, 2553, 4834, 4959],[127, 127, 15, 3, 1955] ],
['t241', 943, 326, 1136, [4707, 4726, 1807, 1836],[29, 29, 19, 1, 555] ],
['t242', 943, 1117, 170, [1727, 1756, 5354, 5370],[29, 29, 16, 1, 457] ],
['t243', 710, 797, 873, [6930, 6958, 2634, 2654],[28, 28, 20, 1, 564] ],
['t244', 1382, 558, 1087, [1781, 1796, 5979, 6116],[137, 137, 15, 1, 2051] ],
['t245', 960, 1178, 558, [2859, 2881, 6307, 6437],[131, 132, 15, 3, 2143] ],
['t246', 977, 1628, 316, [2754, 2771, 4114, 4266],[152, 152, 17, 1, 2474] ],
['t247', 977, 558, 143, [2771, 2787, 4011, 4090],[79, 79, 16, 1, 1341] ],
['t248', 874, 1098, 166, [2340, 2371, 2078, 2097],[31, 31, 19, 1, 562] ],
['t249', 874, 1212, 1336, [2340, 2370, 1697, 1715],[30, 30, 17, 1, 543] ],
['t250', 874, 1532, 1188, [2343, 2373, 2888, 2906],[30, 30, 18, 1, 540] ],
['t251', 874, 1405, 1702, [2341, 2371, 2461, 2480],[30, 30, 19, 1, 562] ],
['t252', 874, 183, 1150, [2344, 2375, 3651, 3670],[31, 31, 19, 1, 585] ],
['t253', 874, 81, 1287, [2344, 2374, 3269, 3288],[30, 30, 19, 1, 570] ],
['t254', 781, 802, 558, [7672, 7686, 4696, 4793],[97, 97, 14, 1, 1394] ],
['t255', 1525, 558, 406, [3367, 3383, 4128, 4216],[88, 88, 16, 1, 1447] ],
['t256', 1525, 558, 555, [3334, 3350, 4058, 4102],[44, 44, 16, 1, 711] ],
['t257', 647, 427, 558, [3330, 3347, 2161, 2229],[68, 68, 17, 1, 1160] ],
['t258', 1372, 1425, 558, [3338, 3354, 2874, 2940],[66, 66, 16, 1, 982] ],
['t259', 943, 242, 1648, [2005, 2027, 2859, 2888],[29, 29, 22, 1, 619] ],
['t260', 710, 931, 1674, [3600, 3630, 5040, 5061],[30, 30, 21, 1, 659] ],
['t261', 710, 1526, 1450, [3753, 3782, 5040, 5061],[29, 29, 21, 1, 617] ],
['t262', 1273, 638, 558, [2688, 2728, 7515, 7583],[108, 72, 17, 3, 1520] ],
['t263', 512, 558, 154, [3974, 4008, 4785, 4954],[186, 186, 17, 3, 3074] ],
['t264', 1247, 874, 558, [2300, 2321, 4377, 4563],[187, 187, 16, 3, 3021] ],
['t265', 1427, 558, 1448, [5170, 5202, 5518, 5592],[106, 72, 17, 2, 1465] ],
['t266', 223, 558, 1357, [4018, 4111, 6294, 6530],[300, 371, 18, 5, 5782] ],
['t267', 1219, 558, 1002, [3763, 3807, 6719, 6806],[131, 97, 17, 2, 1868] ],
['t268', 1042, 1108, 687, [7046, 7109, 4761, 4781],[62, 63, 20, 2, 1226] ],
['t269', 943, 604, 1477, [2997, 3027, 5014, 5036],[30, 30, 22, 1, 652] ],
['t270', 206, 367, 1082, [6845, 6861, 5442, 5533],[91, 91, 16, 1, 1478] ],
['t271', 265, 818, 558, [5748, 5771, 4842, 4971],[130, 132, 17, 3, 2276] ],
['t272', 1575, 558, 971, [547, 702, 8524, 8579],[193, 194, 16, 3, 3189] ],
['t273', 105, 371, 406, [3396, 3413, 4128, 4216],[88, 88, 17, 1, 1468] ],
['t274', 105, 558, 555, [3418, 3435, 4009, 4076],[67, 67, 17, 1, 1145] ],
['t275', 631, 558, 1323, [5283, 5297, 4704, 4766],[62, 62, 14, 1, 902] ],
['t276', 631, 657, 283, [5283, 5304, 4594, 4617],[21, 21, 23, 1, 495] ],
['t277', 544, 267, 558, [1931, 1947, 6977, 7049],[72, 72, 16, 1, 1168] ],
['t278', 1482, 616, 558, [1747, 1764, 7551, 7622],[71, 71, 17, 2, 1174] ],
['t279', 943, 657, 1437, [6559, 6576, 2601, 2656],[55, 55, 17, 1, 931] ],
['t280', 101, 558, 1364, [3284, 3317, 4786, 4958],[189, 188, 16, 3, 3118] ],
['t281', 985, 558, 844, [1542, 1558, 7550, 7622],[72, 72, 16, 1, 1089] ],
['t282', 1262, 558, 1151, [4693, 4722, 5974, 6128],[168, 169, 14, 3, 2453] ],
['t283', 654, 618, 1212, [2357, 2386, 1764, 1784],[29, 29, 20, 1, 569] ],
['t284', 654, 280, 1098, [2357, 2386, 2147, 2167],[29, 29, 20, 1, 591] ],
['t285', 654, 3, 1702, [2358, 2387, 2528, 2548],[29, 29, 20, 1, 584] ],
['t286', 654, 998, 1532, [2360, 2389, 2955, 2977],[29, 29, 22, 1, 641] ],
['t287', 654, 1389, 81, [2361, 2390, 3337, 3356],[29, 29, 19, 1, 548] ],
['t288', 654, 694, 183, [2362, 2391, 3719, 3740],[29, 29, 21, 1, 605] ],
['t289', 315, 558, 883, [4081, 4096, 754, 941],[187, 187, 15, 1, 2717] ],
['t290', 1307, 558, 178, [1479, 1565, 1662, 1784],[237, 241, 16, 6, 4057] ],
['t291', 281, 558, 347, [7791, 7808, 7542, 7609],[67, 67, 17, 1, 1175] ],
['t292', 781, 553, 558, [6663, 6731, 6061, 6113],[103, 102, 17, 3, 1716] ],
['t293', 1413, 558, 1235, [5453, 5473, 4371, 4613],[243, 242, 17, 3, 4221] ],
['t294', 764, 558, 1649, [2563, 2579, 7208, 7292],[84, 84, 16, 1, 1349] ],
['t295', 1212, 558, 1187, [2276, 2291, 1742, 1824],[83, 82, 14, 2, 1194] ],
['t296', 710, 719, 1597, [6986, 7040, 4129, 4213],[116, 190, 18, 3, 2813] ],
['t297', 1410, 558, 1605, [8425, 8453, 7241, 7410],[182, 184, 13, 5, 2643] ],
['t298', 279, 455, 558, [6984, 6999, 5435, 5588],[153, 153, 15, 1, 2412] ],
['t299', 943, 407, 657, [5126, 5144, 3983, 4042],[59, 59, 18, 1, 1042] ],
['t300', 730, 1724, 558, [1970, 2008, 1788, 1908],[158, 124, 17, 2, 2407] ],
['t301', 612, 558, 175, [8248, 8819, 1703, 1720],[571, 571, 17, 1, 9507] ],
['t302', 612, 558, 175, [7830, 8219, 1703, 1720],[389, 389, 17, 1, 6472] ],
['t303', 612, 558, 175, [8226, 8242, 1602, 1633],[31, 31, 16, 1, 505] ],
['t304', 612, 558, 175, [8247, 8497, 1583, 1661],[500, 563, 15, 5, 8312] ],
['t305', 612, 175, 558, [8226, 8242, 1486, 1513],[27, 27, 16, 1, 434] ],
['t306', 612, 175, 558, [8247, 8494, 1466, 1543],[557, 499, 14, 5, 7695] ],
['t307', 612, 558, 175, [8226, 8496, 1352, 1429],[531, 628, 16, 6, 9219] ],
['t308', 445, 558, 317, [908, 926, 6555, 6677],[122, 122, 18, 1, 2135] ],
['t309', 445, 558, 417, [911, 1044, 6441, 6510],[202, 166, 18, 2, 3104] ],
['t310', 445, 558, 417, [911, 1047, 6353, 6368],[136, 136, 15, 1, 2005] ],
['t311', 710, 127, 558, [4782, 4817, 9234, 9530],[313, 314, 17, 3, 5367] ],
['t312', 445, 539, 558, [234, 687, 6154, 6171],[453, 453, 17, 1, 7519] ],
['t313', 445, 558, 539, [234, 687, 6092, 6108],[453, 453, 16, 1, 7317] ],
['t314', 445, 539, 558, [234, 687, 6031, 6046],[453, 453, 15, 1, 7114] ],
['t315', 445, 558, 539, [234, 687, 5969, 5984],[453, 453, 15, 1, 7114] ],
['t316', 445, 558, 539, [234, 687, 5907, 5922],[453, 453, 15, 1, 6505] ],
['t317', 768, 287, 558, [2832, 2850, 841, 1005],[164, 164, 18, 1, 2965] ],
['t318', 1382, 1215, 558, [4499, 4567, 6519, 6703],[362, 433, 16, 5, 6746] ],
['t319', 1220, 558, 547, [3390, 3406, 2171, 2259],[88, 88, 16, 1, 1402] ],
['t320', 1220, 817, 558, [3390, 3406, 2101, 2146],[45, 45, 16, 1, 719] ],
['t321', 1015, 1637, 1242, [4058, 4096, 3455, 3476],[38, 38, 21, 1, 791] ],
['t322', 1015, 1282, 872, [4059, 4097, 3838, 3859],[38, 38, 21, 1, 791] ],
['t323', 1015, 413, 401, [4061, 4100, 4220, 4240],[39, 39, 20, 1, 762] ],
['t324', 784, 558, 1464, [2256, 2275, 7587, 7653],[66, 66, 19, 1, 1210] ],
['t325', 67, 558, 501, [5429, 5516, 7315, 7381],[153, 122, 15, 2, 2095] ],
['t326', 1699, 558, 913, [5402, 5419, 9175, 9286],[111, 111, 17, 1, 1828] ],
['t327', 447, 261, 558, [5807, 5846, 7571, 7644],[112, 77, 17, 2, 1621] ],
['t328', 425, 388, 558, [3744, 3759, 3755, 3832],[76, 77, 15, 2, 1136] ],
['t329', 801, 564, 54, [1772, 1805, 3983, 4002],[33, 33, 19, 1, 600] ],
['t330', 347, 335, 558, [6233, 6289, 7221, 7381],[235, 203, 17, 4, 3669] ],
['t331', 1602, 558, 1596, [4526, 4549, 4782, 4955],[177, 176, 15, 3, 2785] ],
['t332', 182, 442, 558, [4959, 5043, 5236, 5292],[125, 124, 15, 4, 1882] ],
['t333', 746, 657, 798, [7119, 7160, 3659, 3676],[41, 41, 17, 2, 704] ],
['t334', 943, 261, 729, [5676, 5707, 7122, 7143],[31, 31, 21, 1, 633] ],
['t335', 710, 959, 323, [6032, 6050, 5623, 5654],[31, 31, 18, 1, 551] ],
['t336', 710, 1183, 1605, [8596, 8617, 8503, 8561],[56, 58, 21, 2, 1171] ],
['t337', 1595, 1181, 793, [8605, 8684, 5623, 5639],[79, 79, 16, 2, 1213] ],
['t338', 1227, 488, 558, [6159, 6201, 3971, 4097],[154, 152, 15, 3, 2284] ],
['t339', 0, 182, 558, [4783, 4798, 6174, 6245],[71, 71, 15, 1, 1098] ],
['t340', 1452, 861, 558, [267, 371, 7345, 7428],[227, 156, 17, 3, 3352] ],
['t341', 575, 558, 1000, [3622, 3678, 7519, 7631],[161, 190, 15, 4, 2508] ],
['t342', 1708, 558, 1055, [5822, 5885, 5895, 5952],[90, 120, 15, 2, 1603] ],
['t343', 1305, 558, 921, [3596, 3652, 4354, 4589],[290, 317, 16, 4, 4627] ],
['t344', 525, 800, 558, [4875, 4890, 4704, 4767],[63, 63, 15, 1, 1001] ],
['t345', 525, 1331, 657, [4845, 4869, 4594, 4617],[24, 24, 23, 1, 550] ],
['t346', 1130, 80, 558, [3862, 3919, 5140, 5215],[128, 100, 14, 4, 1634] ],
['t347', 1381, 558, 980, [3760, 3776, 7544, 7633],[89, 89, 16, 1, 1449] ],
['t348', 328, 1133, 558, [8123, 8212, 8758, 8827],[162, 191, 14, 4, 2615] ],
['t349', 328, 558, 194, [8364, 8523, 8661, 8684],[161, 161, 17, 3, 2811] ],
['t350', 66, 451, 558, [270, 585, 3747, 3761],[315, 315, 14, 1, 4349] ],
['t351', 66, 451, 558, [654, 730, 3310, 3742],[859, 924, 15, 4, 14212] ],
['t352', 66, 451, 558, [778, 795, 3313, 3742],[429, 429, 17, 1, 7215] ],
['t353', 66, 451, 558, [260, 606, 3310, 3742],[737, 779, 18, 3, 13095] ],
['t354', 943, 558, 48, [5174, 5239, 1120, 1140],[65, 65, 20, 1, 1242] ],
['t355', 943, 558, 741, [5260, 5327, 1115, 1133],[67, 67, 18, 1, 1248] ],
['t356', 1341, 600, 558, [4256, 4277, 3300, 3492],[193, 193, 16, 3, 3257] ],
['t357', 712, 558, 300, [3351, 3407, 7448, 7505],[84, 113, 14, 2, 1428] ],
['t358', 1108, 558, 1224, [7082, 7106, 4537, 4709],[175, 176, 16, 4, 2847] ],
['t359', 335, 1303, 1397, [947, 964, 7265, 7413],[148, 148, 17, 1, 2518] ],
['t360', 253, 279, 558, [6765, 6827, 5664, 5700],[64, 98, 17, 2, 1410] ],
['t361', 253, 1692, 558, [6749, 6767, 5487, 5572],[85, 86, 14, 3, 1302] ],
['t362', 1129, 657, 943, [6654, 6672, 9206, 9376],[170, 170, 18, 1, 3163] ],
['t363', 1333, 906, 558, [3810, 3842, 4783, 4957],[191, 189, 16, 3, 3110] ],
['t364', 558, 82, 558, [8275, 8403, 3289, 3315],[132, 132, 19, 5, 2688] ],
['t365', 1081, 558, 605, [3434, 3470, 6439, 6620],[199, 202, 16, 3, 3257] ],
['t366', 1530, 558, 1198, [7398, 7419, 5930, 6083],[153, 154, 17, 3, 2600] ],
['t367', 424, 657, 248, [5810, 5825, 6623, 6667],[44, 44, 15, 1, 670] ],
['t368', 614, 558, 1178, [2901, 2937, 6521, 6652],[134, 167, 16, 2, 2467] ],
['t369', 198, 248, 558, [5768, 5806, 6513, 6834],[343, 342, 17, 4, 5975] ],
['t370', 198, 424, 558, [5789, 5849, 6392, 6500],[151, 153, 16, 3, 2568] ],
['t371', 335, 1717, 1604, [1069, 1084, 7265, 7413],[148, 148, 15, 1, 2305] ],
['t372', 437, 413, 977, [2558, 2585, 4202, 4221],[27, 27, 19, 2, 518] ],
['t373', 926, 558, 1054, [1778, 1793, 5468, 5562],[94, 94, 15, 1, 1393] ],
['t374', 1700, 694, 1150, [2127, 2146, 3654, 3695],[41, 41, 19, 2, 802] ],
['t375', 869, 558, 349, [5737, 5769, 643, 658],[32, 32, 15, 1, 483] ],
['t376', 869, 558, 349, [5541, 5643, 643, 658],[102, 102, 15, 1, 1507] ],
['t377', 869, 349, 558, [5654, 5667, 225, 634],[409, 409, 13, 1, 5636] ],
['t378', 869, 558, 349, [5716, 5730, 225, 634],[409, 409, 14, 1, 5834] ],
['t379', 869, 349, 558, [5778, 5793, 225, 635],[410, 410, 15, 1, 6239] ],
['t380', 869, 349, 558, [5839, 5857, 225, 635],[410, 410, 18, 1, 7414] ],
['t381', 869, 349, 558, [5901, 5918, 224, 635],[411, 411, 17, 1, 7028] ],
['t382', 1076, 657, 1393, [7821, 8181, 1992, 2168],[1527, 1579, 16, 23, 24970] ],
['t383', 1076, 657, 1393, [7821, 8181, 1797, 1974],[1509, 1574, 16, 23, 25893] ],
['t384', 1611, 558, 641, [5921, 5959, 1428, 1514],[124, 92, 16, 2, 1744] ],
['t385', 1700, 280, 166, [2122, 2142, 2077, 2119],[42, 42, 20, 1, 846] ],
['t386', 244, 558, 544, [2415, 2454, 7218, 7326],[127, 166, 17, 4, 2605] ],
['t387', 1144, 757, 939, [3626, 3642, 2373, 2505],[132, 132, 16, 1, 2037] ],
['t388', 248, 1456, 428, [272, 385, 8711, 8733],[115, 114, 16, 3, 1970] ],
['t389', 248, 12, 1091, [272, 398, 8386, 8405],[126, 126, 19, 1, 2299] ],
['t390', 248, 558, 16, [263, 371, 8102, 8151],[140, 139, 17, 3, 2450] ],
['t391', 82, 213, 558, [7301, 7622, 3784, 3814],[330, 328, 15, 3, 5212] ],
['t392', 170, 558, 686, [1608, 1752, 5187, 5294],[217, 251, 17, 2, 4057] ],
['t393', 601, 558, 280, [2215, 2231, 2102, 2213],[111, 111, 16, 1, 1750] ],
['t394', 943, 1654, 162, [4709, 4727, 2999, 3029],[30, 30, 18, 1, 531] ],
['t395', 821, 705, 1062, [1296, 1324, 817, 836],[28, 28, 19, 1, 538] ],
['t396', 521, 6, 558, [2299, 2321, 4834, 4959],[127, 127, 15, 3, 1956] ],
['t397', 317, 657, 417, [937, 954, 6415, 6456],[41, 41, 17, 1, 738] ],
['t398', 203, 558, 52, [4992, 5011, 3609, 3665],[56, 56, 19, 1, 1093] ],
['t399', 353, 558, 1076, [7099, 7457, 2510, 2547],[378, 380, 16, 3, 5979] ],
['t400', 353, 558, 1076, [7490, 7688, 2482, 2560],[425, 355, 15, 5, 6115] ],
['t401', 353, 558, 1463, [6983, 7075, 2385, 2494],[182, 184, 17, 3, 3147] ],
['t402', 710, 1553, 845, [6346, 6366, 6373, 6402],[29, 29, 20, 1, 603] ],
['t403', 1109, 1358, 558, [2228, 2264, 7266, 7377],[147, 115, 16, 2, 2112] ],
['t404', 650, 558, 1281, [8181, 8216, 6063, 6396],[344, 353, 19, 4, 5359] ],
['t405', 427, 558, 500, [3279, 3324, 1911, 1926],[45, 45, 15, 1, 701] ],
['t406', 427, 112, 1314, [3232, 3254, 1713, 1845],[132, 133, 17, 3, 2228] ],
['t407', 943, 878, 462, [5329, 5360, 5008, 5031],[31, 31, 23, 1, 688] ],
['t408', 330, 807, 558, [1719, 1759, 9221, 9280],[99, 64, 17, 2, 1457] ],
['t409', 1258, 558, 1716, [6439, 6454, 7053, 7148],[95, 95, 15, 1, 1478] ],
['t410', 48, 584, 315, [5194, 5228, 2827, 2845],[33, 34, 18, 2, 594] ],
['t411', 48, 502, 1651, [5194, 5228, 3209, 3227],[34, 34, 18, 1, 604] ],
['t412', 48, 49, 483, [5193, 5227, 2020, 2037],[34, 34, 17, 1, 594] ],
['t413', 48, 948, 1160, [5193, 5226, 2402, 2419],[33, 33, 17, 1, 572] ],
['t414', 48, 205, 1539, [5190, 5224, 1252, 1270],[34, 34, 18, 1, 585] ],
['t415', 48, 1551, 13, [5192, 5226, 1635, 1652],[34, 34, 17, 1, 575] ],
['t416', 943, 1336, 657, [2215, 2272, 1600, 1616],[57, 57, 16, 1, 907] ],
['t417', 943, 1187, 1029, [2273, 2293, 1667, 1697],[30, 30, 20, 1, 582] ],
['t418', 1503, 558, 1383, [2457, 2507, 2040, 2139],[138, 174, 17, 5, 2647] ],
['t419', 821, 1667, 92, [4005, 4025, 765, 794],[29, 29, 20, 1, 581] ],
['t420', 943, 1090, 1683, [4631, 4663, 5010, 5032],[32, 30, 22, 2, 636] ],
['t421', 762, 558, 1018, [4224, 4268, 1264, 1342],[88, 122, 17, 2, 1767] ],
['t422', 135, 421, 558, [4335, 4418, 9203, 9765],[791, 865, 18, 5, 15739] ],
['t423', 135, 421, 558, [4567, 4585, 9176, 9765],[589, 589, 18, 1, 10559] ],
['t424', 135, 558, 421, [4506, 4521, 9176, 9765],[589, 589, 15, 1, 9050] ],
['t425', 135, 421, 558, [4444, 4461, 9176, 9765],[589, 589, 17, 1, 10056] ],
['t426', 943, 1160, 657, [6515, 6531, 2337, 2392],[55, 55, 16, 1, 868] ],
['t427', 943, 1630, 657, [6515, 6531, 2260, 2318],[58, 58, 16, 1, 922] ],
['t428', 440, 366, 1012, [4852, 4868, 7490, 7632],[142, 142, 16, 1, 2293] ],
['t429', 668, 1143, 558, [4663, 4680, 838, 1002],[164, 164, 17, 1, 2742] ],
['t430', 1162, 21, 558, [4927, 4951, 4827, 4952],[128, 130, 16, 3, 2135] ],
['t431', 943, 474, 15, [6018, 6049, 2600, 2620],[31, 31, 20, 1, 646] ],
['t432', 1263, 1169, 54, [1950, 1983, 3982, 4002],[33, 33, 20, 1, 672] ],
['t433', 962, 558, 1035, [7856, 7913, 4464, 4711],[290, 288, 16, 5, 4798] ],
['t434', 1523, 963, 558, [6352, 6633, 974, 988],[281, 281, 14, 1, 4068] ],
['t435', 1523, 635, 657, [6175, 6225, 745, 762],[50, 50, 17, 1, 840] ],
['t436', 1260, 1413, 558, [5396, 5414, 4705, 4767],[62, 62, 18, 1, 1072] ],
['t437', 1260, 657, 1235, [5397, 5422, 4594, 4617],[25, 25, 22, 1, 564] ],
['t438', 220, 558, 130, [1379, 1395, 4721, 4785],[64, 64, 16, 1, 1065] ],
['t439', 220, 639, 657, [1377, 1402, 4612, 4633],[25, 25, 21, 1, 508] ],
['t440', 400, 558, 102, [8045, 8353, 9318, 9337],[308, 308, 19, 1, 5912] ],
['t441', 400, 657, 1696, [8380, 8397, 9203, 9253],[50, 50, 17, 1, 829] ],
['t442', 834, 558, 1696, [8426, 8443, 9203, 9555],[352, 352, 17, 1, 5698] ],
['t443', 834, 558, 400, [8431, 8447, 9089, 9178],[89, 89, 16, 1, 1408] ],
['t444', 777, 1561, 558, [2033, 2055, 1350, 1432],[83, 83, 16, 4, 1442] ],
['t445', 604, 656, 558, [2837, 2854, 5170, 5305],[135, 135, 17, 1, 2294] ],
['t446', 1545, 1443, 657, [2971, 3177, 553, 925],[1078, 1004, 17, 5, 17909] ],
['t447', 1246, 558, 1012, [4882, 4916, 7499, 7632],[150, 152, 16, 4, 2366] ],
['t448', 1334, 558, 949, [5598, 5615, 2554, 2664],[110, 110, 16, 1, 1803] ],
['t449', 1334, 558, 1406, [5630, 5665, 2380, 2500],[122, 155, 16, 3, 2240] ],
['t450', 859, 977, 1108, [2516, 2533, 4162, 4192],[29, 30, 17, 2, 512] ],
['t451', 710, 402, 187, [8196, 8229, 9036, 9054],[33, 33, 18, 1, 596] ],
['t452', 358, 558, 1129, [6855, 6871, 9603, 9701],[98, 98, 16, 1, 1615] ],
['t453', 358, 558, 1129, [6900, 6916, 9258, 9701],[443, 443, 16, 1, 6763] ],
['t454', 943, 1717, 1113, [1485, 1516, 5027, 5049],[31, 31, 22, 1, 692] ],
['t455', 1263, 871, 1001, [1945, 1979, 1260, 1280],[34, 34, 20, 1, 700] ],
['t456', 943, 657, 52, [5009, 5024, 3517, 3576],[59, 59, 15, 1, 907] ],
['t457', 943, 568, 498, [7244, 7263, 2215, 2250],[35, 35, 19, 1, 642] ],
['t458', 1250, 138, 558, [1370, 1431, 2780, 3065],[422, 352, 18, 3, 6895] ],
['t459', 1250, 990, 558, [1264, 1283, 2900, 2989],[89, 89, 19, 1, 1663] ],
['t460', 1250, 1041, 657, [1216, 1260, 2792, 2809],[44, 44, 17, 1, 729] ],
['t461', 1011, 558, 1214, [7830, 7941, 6505, 6523],[111, 111, 18, 1, 1938] ],
['t462', 1655, 558, 182, [4895, 4911, 5583, 5651],[68, 68, 16, 1, 1094] ],
['t463', 1136, 1356, 558, [4689, 4706, 1635, 1745],[110, 110, 17, 1, 1831] ],
['t464', 378, 909, 558, [720, 792, 9175, 9307],[200, 165, 17, 4, 3134] ],
['t465', 35, 71, 558, [2419, 2434, 4712, 4774],[62, 62, 15, 1, 928] ],
['t466', 35, 654, 657, [2441, 2466, 4599, 4624],[25, 25, 25, 1, 593] ],
['t467', 554, 1180, 558, [7374, 7483, 7273, 7295],[110, 111, 16, 3, 1806] ],
['t468', 554, 558, 964, [7353, 7463, 7162, 7184],[112, 112, 15, 3, 1812] ],
['t469', 787, 1304, 558, [3484, 3539, 6747, 6827],[135, 103, 16, 2, 1843] ],
['t470', 967, 1347, 558, [3879, 3895, 6111, 6187],[76, 76, 16, 1, 1268] ],
['t471', 967, 558, 104, [3857, 3895, 5992, 6096],[126, 125, 16, 4, 2128] ],
['t472', 710, 571, 343, [8567, 8590, 8031, 8089],[58, 58, 23, 1, 1336] ],
['t473', 943, 207, 1061, [5550, 5579, 3026, 3049],[30, 29, 21, 2, 587] ],
['t474', 980, 473, 1004, [3735, 3804, 6864, 6991],[180, 177, 17, 4, 3056] ],
['t475', 89, 558, 958, [2670, 2738, 9176, 9447],[358, 392, 19, 4, 6573] ],
['t476', 963, 657, 672, [6505, 6581, 546, 920],[760, 824, 15, 3, 12124] ],
['t477', 1240, 863, 558, [6239, 6284, 4398, 4626],[240, 274, 16, 4, 4254] ],
['t478', 943, 164, 333, [3724, 3753, 1207, 1227],[29, 29, 20, 1, 572] ],
['t479', 174, 558, 1197, [3410, 3449, 1741, 1791],[57, 89, 16, 2, 1167] ],
['t480', 781, 558, 1170, [7635, 7653, 4939, 5002],[63, 63, 18, 1, 1133] ],
['t481', 670, 1417, 657, [2421, 2484, 9138, 9158],[63, 63, 20, 1, 1202] ],
['t482', 994, 558, 1443, [2952, 3055, 648, 663],[103, 103, 15, 1, 1572] ],
['t483', 994, 1443, 558, [2827, 2860, 648, 663],[33, 33, 15, 1, 503] ],
['t484', 994, 558, 1443, [2928, 2945, 232, 640],[408, 408, 17, 1, 6947] ],
['t485', 994, 558, 1443, [2867, 2883, 232, 640],[408, 408, 16, 1, 6722] ],
['t486', 994, 1443, 558, [2805, 2821, 232, 640],[408, 408, 16, 1, 6501] ],
['t487', 994, 558, 1443, [2743, 2757, 232, 640],[408, 408, 14, 1, 6052] ],
['t488', 994, 1443, 558, [2681, 2696, 232, 640],[408, 408, 15, 1, 6276] ],
['t489', 1439, 558, 518, [1792, 1830, 1789, 1908],[123, 157, 17, 2, 2398] ],
['t490', 654, 1435, 721, [2356, 2385, 1381, 1402],[29, 29, 21, 1, 591] ],
['t491', 13, 558, 880, [5957, 5973, 752, 940],[188, 188, 16, 1, 3066] ],
['t492', 670, 747, 558, [2500, 2629, 9138, 9721],[694, 692, 19, 3, 11603] ],
['t493', 1472, 1480, 558, [5850, 5887, 4820, 5202],[398, 399, 15, 5, 6195] ],
['t494', 1587, 1294, 558, [8668, 8707, 6931, 7014],[104, 106, 17, 3, 1882] ],
['t495', 1587, 558, 1083, [8597, 8627, 7240, 7410],[184, 183, 16, 5, 3044] ],
['t496', 1628, 1285, 942, [3238, 3259, 4051, 4185],[135, 135, 15, 3, 2233] ],
['t497', 506, 558, 877, [4276, 4320, 5461, 5573],[125, 156, 15, 2, 2238] ],
['t498', 824, 1278, 1642, [4624, 4688, 5399, 5558],[208, 208, 15, 3, 3194] ],
['t499', 59, 722, 1084, [2874, 2891, 1795, 1825],[30, 30, 17, 1, 547] ],
['t500', 1396, 1347, 558, [4247, 4290, 7199, 7289],[133, 98, 17, 2, 1933] ],
['t501', 1676, 558, 634, [1251, 1359, 2409, 2612],[279, 351, 18, 3, 5436] ],
['t502', 1676, 86, 657, [1378, 1396, 2368, 2422],[54, 54, 18, 1, 957] ],
['t503', 943, 194, 310, [8545, 8564, 8630, 8662],[32, 32, 19, 1, 636] ],
['t504', 118, 1092, 558, [2423, 2466, 6333, 6513],[207, 206, 16, 3, 3408] ],
['t505', 1176, 558, 572, [5501, 5554, 5494, 5647],[190, 190, 16, 3, 2975] ],
['t506', 1336, 61, 558, [4447, 4537, 1550, 1600],[110, 140, 15, 2, 1891] ],
['t507', 1100, 268, 558, [652, 730, 3807, 4236],[849, 919, 17, 4, 15024] ],
['t508', 1100, 268, 558, [244, 609, 3807, 4236],[1059, 1163, 17, 4, 18500] ],
['t509', 1100, 268, 558, [777, 796, 3810, 4236],[426, 426, 19, 1, 8070] ],
['t510', 712, 558, 383, [3001, 3036, 7246, 7345],[113, 115, 18, 4, 1973] ],
['t511', 1337, 1560, 558, [3467, 3482, 7558, 7623],[65, 65, 15, 1, 988] ],
['t512', 1603, 558, 3, [2215, 2231, 2485, 2596],[111, 111, 16, 1, 1831] ],
['t513', 443, 1422, 754, [7050, 7063, 6031, 6223],[192, 192, 13, 1, 2620] ],
['t514', 443, 558, 755, [7082, 7163, 5930, 6021],[153, 155, 18, 3, 2613] ],
['t515', 943, 496, 601, [2273, 2293, 2049, 2078],[29, 29, 20, 1, 578] ],
['t516', 1223, 225, 558, [2652, 2667, 4712, 4773],[61, 61, 15, 1, 911] ],
['t517', 1223, 657, 859, [2674, 2698, 4600, 4624],[24, 24, 24, 1, 600] ],
['t518', 337, 895, 558, [8135, 8330, 7854, 7897],[238, 202, 18, 2, 3861] ],
['t519', 1225, 558, 1222, [3968, 4031, 7206, 7267],[89, 124, 17, 2, 1845] ],
['t520', 710, 87, 870, [6986, 7040, 3744, 3828],[118, 192, 18, 3, 2832] ],
['t521', 1015, 684, 1414, [4056, 4096, 3074, 3093],[40, 40, 19, 1, 761] ],
['t522', 1015, 1437, 606, [4057, 4095, 2649, 2667],[38, 38, 18, 1, 696] ],
['t523', 943, 844, 459, [1947, 1978, 5015, 5038],[31, 31, 23, 1, 713] ],
['t524', 175, 568, 558, [7296, 7616, 2210, 2239],[327, 326, 16, 3, 5323] ],
['t525', 1517, 916, 558, [5457, 5501, 5923, 6052],[158, 157, 15, 3, 2422] ],
['t526', 1015, 765, 1299, [4054, 4092, 1427, 1446],[38, 38, 19, 1, 726] ],
['t527', 1015, 1630, 314, [4057, 4095, 2266, 2286],[38, 38, 20, 1, 791] ],
['t528', 1015, 121, 331, [4056, 4094, 1882, 1903],[38, 38, 21, 1, 809] ],
['t529', 293, 1402, 57, [5506, 5536, 3202, 3330],[140, 142, 17, 3, 2358] ],
['t530', 293, 207, 356, [5660, 5676, 2990, 3100],[110, 110, 15, 2, 1737] ],
['t531', 293, 810, 558, [5660, 5676, 2878, 2931],[53, 53, 16, 1, 839] ],
['t532', 335, 734, 1106, [1411, 1426, 7247, 7396],[149, 149, 15, 1, 2355] ],
['t533', 807, 330, 558, [1688, 1705, 9280, 9341],[61, 61, 17, 1, 1041] ],
['t534', 990, 1041, 558, [1203, 1311, 2836, 3039],[351, 282, 17, 3, 5424] ],
['t535', 990, 138, 657, [1329, 1347, 2794, 2848],[54, 54, 18, 1, 957] ],
['t536', 1357, 558, 1575, [630, 728, 8413, 8451],[100, 136, 18, 2, 2096] ],
['t537', 1097, 558, 1475, [4577, 4614, 3000, 3043],[49, 80, 15, 2, 998] ],
['t538', 59, 740, 1691, [2875, 2894, 3371, 3401],[30, 30, 19, 1, 603] ],
['t539', 787, 51, 29, [3634, 3649, 6072, 6225],[153, 153, 15, 1, 2303] ],
['t540', 1635, 558, 203, [4640, 4659, 4373, 4613],[240, 243, 16, 3, 3992] ],
['t541', 710, 1641, 237, [8627, 8644, 8796, 8852],[56, 56, 17, 1, 994] ],
['t542', 710, 724, 409, [8627, 8644, 8699, 8757],[58, 58, 17, 1, 1032] ],
['t543', 1662, 1426, 845, [6397, 6413, 6061, 6160],[99, 99, 16, 1, 1543] ],
['t544', 267, 558, 80, [3832, 3848, 5122, 5215],[93, 93, 16, 1, 1519] ],
['t545', 206, 387, 916, [5524, 5580, 5901, 6162],[300, 302, 16, 3, 5060] ],
['t546', 59, 649, 1071, [2875, 2893, 2986, 3017],[31, 31, 18, 1, 566] ],
['t547', 505, 22, 1572, [3397, 3412, 3364, 3452],[88, 88, 15, 1, 1259] ],
['t548', 505, 558, 193, [3416, 3433, 3246, 3312],[66, 66, 17, 1, 1137] ],
['t549', 943, 1071, 495, [3992, 4021, 3004, 3023],[29, 29, 19, 1, 552] ],
['t550', 1109, 1130, 558, [3306, 3323, 6909, 6983],[74, 74, 17, 1, 1308] ],
['t551', 1417, 1163, 558, [2336, 2352, 9183, 9737],[554, 554, 16, 1, 8822] ],
['t552', 1417, 558, 1163, [2274, 2288, 9183, 9737],[554, 554, 14, 1, 8126] ],
['t553', 1417, 1163, 558, [2212, 2228, 9183, 9737],[554, 554, 16, 1, 8822] ],
['t554', 1417, 558, 1163, [2151, 2166, 9183, 9737],[554, 554, 15, 1, 8358] ],
['t555', 1417, 1163, 558, [2088, 2104, 9111, 9370],[259, 259, 16, 2, 4192] ],
['t556', 943, 718, 116, [7249, 7269, 4171, 4206],[35, 35, 20, 1, 684] ],
['t557', 1236, 165, 558, [3255, 3277, 2119, 2250],[132, 132, 17, 3, 2260] ],
['t558', 8, 1584, 345, [4360, 4392, 2897, 3009],[127, 127, 17, 3, 2146] ],
['t559', 1634, 558, 37, [7164, 7504, 3164, 3205],[359, 361, 16, 5, 6319] ],
['t560', 1634, 558, 224, [6984, 7132, 3164, 3180],[148, 148, 16, 1, 2312] ],
['t561', 10, 176, 558, [4761, 4804, 5554, 5636],[125, 94, 15, 2, 1619] ],
['t562', 55, 628, 558, [4685, 4721, 4826, 4952],[149, 146, 14, 3, 2097] ],
['t563', 1614, 299, 1616, [7842, 7920, 5347, 5365],[78, 78, 18, 1, 1388] ],
['t564', 925, 558, 335, [6183, 6218, 7199, 7399],[220, 220, 15, 3, 3430] ],
['t565', 664, 558, 1697, [7738, 7756, 7266, 7345],[79, 79, 18, 1, 1370] ],
['t566', 1465, 558, 1134, [300, 394, 6783, 6798],[94, 94, 15, 1, 1421] ],
['t567', 1459, 122, 558, [3733, 3769, 1725, 1796],[107, 74, 16, 2, 1458] ],
['t568', 1459, 1030, 558, [3691, 3707, 1642, 1771],[129, 129, 16, 1, 1969] ],
['t569', 772, 558, 1305, [3610, 3670, 4731, 4746],[60, 60, 15, 1, 911] ],
['t570', 772, 657, 921, [3644, 3670, 4573, 4595],[26, 26, 22, 1, 574] ],
['t571', 1098, 558, 496, [2276, 2293, 2123, 2206],[84, 83, 16, 2, 1249] ],
['t572', 1079, 481, 558, [6158, 6200, 3206, 3330],[152, 149, 15, 3, 2421] ],
['t573', 943, 534, 558, [4512, 4579, 1117, 1137],[67, 67, 19, 2, 1170] ],
['t574', 459, 625, 558, [1951, 1973, 4831, 4957],[128, 128, 15, 3, 1975] ],
['t575', 43, 830, 558, [4406, 4424, 4781, 4847],[66, 66, 17, 2, 1042] ],
['t576', 558, 103, 558, [1384, 1404, 9258, 9386],[128, 128, 20, 1, 2536] ],
['t577', 755, 566, 580, [7510, 7524, 4726, 4827],[101, 98, 15, 2, 1417] ],
['t578', 1634, 520, 657, [7118, 7159, 3276, 3294],[41, 41, 18, 2, 702] ],
['t579', 732, 558, 17, [7273, 7366, 7041, 7057],[93, 93, 16, 1, 1463] ],
['t580', 732, 558, 1536, [7381, 7555, 7029, 7057],[176, 177, 17, 5, 3216] ],
['t581', 710, 248, 1679, [3970, 4001, 5999, 6015],[31, 31, 16, 1, 489] ],
['t582', 710, 223, 1215, [4136, 4165, 6423, 6443],[29, 29, 20, 1, 597] ],
['t583', 748, 1327, 558, [3329, 3344, 1396, 1461],[65, 65, 15, 1, 977] ],
['t584', 1078, 558, 511, [6476, 6493, 5976, 6137],[161, 161, 17, 1, 2634] ],
['t585', 863, 1108, 719, [6793, 6812, 3885, 3993],[108, 108, 19, 1, 2002] ],
['t586', 863, 991, 87, [6793, 6812, 3502, 3611],[109, 109, 19, 1, 2013] ],
['t587', 863, 1473, 1424, [6793, 6812, 3119, 3229],[110, 110, 19, 1, 2034] ],
['t588', 863, 1302, 1661, [6793, 6809, 2738, 2846],[108, 108, 16, 1, 1723] ],
['t589', 863, 892, 1095, [6790, 6809, 2311, 2420],[109, 109, 19, 1, 2098] ],
['t590', 863, 1503, 1387, [6790, 6809, 1930, 2038],[108, 108, 19, 1, 2077] ],
['t591', 863, 833, 1014, [6790, 6808, 1546, 1653],[107, 107, 18, 1, 1902] ],
['t592', 863, 493, 1147, [6790, 6808, 1162, 1272],[110, 110, 18, 1, 1912] ],
['t593', 1374, 1368, 558, [623, 740, 8237, 8266],[123, 124, 17, 3, 2123] ],
['t594', 322, 657, 1493, [833, 1142, 663, 739],[611, 673, 15, 3, 9926] ],
['t595', 322, 1493, 657, [833, 1159, 559, 638],[692, 625, 17, 3, 11648] ],
['t596', 322, 1493, 657, [877, 1159, 458, 537],[624, 553, 17, 3, 10089] ],
['t597', 322, 1493, 657, [877, 1159, 353, 433],[619, 551, 16, 3, 9278] ],
['t598', 1536, 558, 1233, [1020, 1055, 7746, 7762],[35, 35, 15, 2, 525] ],
['t599', 1536, 558, 286, [1820, 1855, 7744, 7760],[35, 35, 15, 2, 528] ],
['t600', 1536, 558, 382, [923, 957, 7746, 7761],[34, 34, 15, 1, 517] ],
['t601', 1536, 558, 1173, [971, 1006, 7746, 7761],[35, 35, 15, 1, 531] ],
['t602', 1536, 558, 1543, [1285, 1320, 7745, 7760],[35, 35, 15, 1, 530] ],
['t603', 1536, 558, 76, [1334, 1369, 7745, 7760],[35, 35, 15, 1, 537] ],
['t604', 1536, 1658, 558, [1382, 1417, 7745, 7760],[35, 35, 15, 1, 523] ],
['t605', 1536, 245, 558, [1479, 1515, 7745, 7760],[36, 36, 15, 1, 537] ],
['t606', 1536, 985, 558, [1527, 1563, 7745, 7760],[36, 36, 15, 1, 538] ],
['t607', 1536, 558, 682, [1673, 1709, 7744, 7760],[36, 36, 15, 1, 532] ],
['t608', 1536, 558, 665, [1772, 1806, 7744, 7759],[34, 34, 15, 1, 513] ],
['t609', 1536, 558, 271, [1986, 2023, 7744, 7759],[37, 37, 15, 1, 553] ],
['t610', 1536, 558, 552, [2084, 2119, 7744, 7759],[35, 35, 15, 1, 540] ],
['t611', 1536, 1623, 558, [2376, 2411, 7743, 7758],[35, 35, 15, 1, 532] ],
['t612', 1536, 403, 558, [2523, 2558, 7743, 7758],[35, 35, 15, 1, 539] ],
['t613', 1536, 1273, 558, [2619, 2656, 7743, 7758],[37, 37, 15, 1, 553] ],
['t614', 1536, 558, 1337, [3419, 3454, 7741, 7757],[35, 35, 15, 1, 530] ],
['t615', 1536, 558, 1355, [3467, 3502, 7741, 7757],[35, 35, 15, 1, 527] ],
['t616', 1536, 558, 787, [3516, 3551, 7741, 7756],[35, 35, 15, 1, 525] ],
['t617', 1536, 558, 575, [3564, 3599, 7741, 7756],[35, 35, 15, 1, 533] ],
['t618', 1536, 558, 257, [3925, 3959, 7741, 7756],[34, 34, 15, 1, 516] ],
['t619', 1536, 179, 558, [4120, 4155, 7740, 7755],[35, 35, 15, 1, 525] ],
['t620', 1536, 131, 558, [4170, 4203, 7740, 7755],[33, 33, 15, 1, 512] ],
['t621', 1536, 1420, 558, [4217, 4253, 7740, 7755],[36, 36, 15, 1, 547] ],
['t622', 1536, 558, 1342, [4265, 4300, 7740, 7755],[35, 35, 15, 1, 519] ],
['t623', 1536, 558, 4, [4315, 4349, 7740, 7755],[34, 34, 15, 1, 519] ],
['t624', 1536, 558, 1396, [4363, 4398, 7740, 7755],[35, 35, 15, 1, 519] ],
['t625', 1536, 558, 167, [4412, 4447, 7740, 7755],[35, 35, 15, 1, 523] ],
['t626', 1536, 558, 303, [4461, 4496, 7740, 7755],[35, 35, 15, 1, 523] ],
['t627', 1536, 1504, 558, [4510, 4543, 7740, 7755],[33, 33, 15, 1, 499] ],
['t628', 1536, 1721, 558, [4724, 4758, 7739, 7754],[34, 34, 15, 1, 522] ],
['t629', 1536, 1074, 558, [4821, 4856, 7739, 7754],[35, 35, 15, 1, 533] ],
['t630', 1536, 558, 1478, [5503, 5536, 7738, 7753],[33, 33, 15, 1, 499] ],
['t631', 1536, 558, 594, [5550, 5585, 7738, 7753],[35, 35, 15, 1, 518] ],
['t632', 1536, 558, 1292, [6810, 6845, 7736, 7751],[35, 35, 15, 1, 524] ],
['t633', 1536, 558, 1114, [6955, 6990, 7735, 7751],[35, 35, 15, 1, 530] ],
['t634', 1536, 558, 1476, [7101, 7137, 7735, 7750],[36, 36, 15, 1, 539] ],
['t635', 1536, 1226, 558, [7150, 7184, 7735, 7750],[34, 34, 15, 1, 512] ],
['t636', 1536, 1419, 558, [7559, 7593, 7734, 7750],[34, 34, 15, 1, 503] ],
['t637', 943, 573, 1491, [1829, 1847, 3242, 3272],[30, 30, 18, 1, 548] ],
['t638', 236, 558, 272, [4600, 4647, 6616, 6666],[60, 97, 18, 2, 1460] ],
['t639', 587, 558, 299, [7775, 7829, 5584, 5601],[54, 54, 17, 1, 955] ],
['t640', 337, 1466, 558, [3614, 3647, 7974, 7989],[33, 33, 15, 2, 497] ],
['t641', 337, 1601, 558, [776, 810, 7979, 7994],[34, 34, 15, 1, 513] ],
['t642', 337, 558, 1173, [972, 1007, 7978, 7993],[35, 35, 15, 1, 531] ],
['t643', 337, 558, 1562, [1187, 1223, 7978, 7993],[36, 36, 15, 1, 531] ],
['t644', 337, 558, 1543, [1286, 1320, 7978, 7993],[34, 34, 15, 1, 520] ],
['t645', 337, 558, 1540, [1431, 1466, 7977, 7993],[35, 35, 15, 1, 521] ],
['t646', 337, 558, 245, [1482, 1515, 7977, 7992],[33, 33, 15, 1, 500] ],
['t647', 337, 985, 558, [1530, 1564, 7977, 7992],[34, 34, 15, 1, 521] ],
['t648', 337, 682, 558, [1675, 1711, 7977, 7992],[36, 36, 15, 1, 540] ],
['t649', 337, 665, 558, [1772, 1806, 7977, 7992],[34, 34, 15, 1, 518] ],
['t650', 337, 558, 286, [1820, 1854, 7977, 7992],[34, 34, 15, 1, 523] ],
['t651', 337, 558, 271, [1986, 2021, 7976, 7992],[35, 35, 16, 1, 535] ],
['t652', 337, 558, 370, [2035, 2071, 7976, 7992],[36, 36, 15, 1, 546] ],
['t653', 337, 558, 403, [2523, 2558, 7976, 7991],[35, 35, 15, 1, 525] ],
['t654', 337, 558, 804, [2835, 2870, 7975, 7990],[35, 35, 15, 2, 524] ],
['t655', 337, 712, 558, [3370, 3405, 7974, 7989],[35, 35, 15, 1, 526] ],
['t656', 337, 546, 558, [3781, 3815, 7973, 7989],[34, 34, 15, 1, 508] ],
['t657', 337, 776, 558, [3830, 3864, 7973, 7988],[34, 34, 15, 1, 512] ],
['t658', 337, 558, 257, [3927, 3960, 7973, 7988],[33, 33, 15, 1, 508] ],
['t659', 337, 558, 179, [4120, 4155, 7973, 7988],[35, 35, 15, 1, 516] ],
['t660', 337, 558, 1420, [4218, 4253, 7973, 7988],[35, 35, 15, 1, 529] ],
['t661', 337, 558, 4, [4316, 4350, 7972, 7988],[34, 34, 16, 1, 512] ],
['t662', 337, 167, 558, [4412, 4448, 7972, 7987],[36, 36, 15, 1, 533] ],
['t663', 337, 303, 558, [4461, 4495, 7972, 7987],[34, 34, 15, 1, 516] ],
['t664', 337, 1504, 558, [4509, 4544, 7972, 7987],[35, 35, 15, 1, 533] ],
['t665', 337, 487, 558, [4918, 4953, 7971, 7987],[35, 35, 15, 1, 525] ],
['t666', 337, 558, 579, [4966, 5001, 7971, 7986],[35, 35, 15, 1, 525] ],
['t667', 337, 558, 145, [5015, 5051, 7971, 7986],[36, 36, 15, 1, 548] ],
['t668', 337, 558, 259, [5960, 5996, 7970, 7985],[36, 36, 15, 1, 540] ],
['t669', 337, 558, 517, [6155, 6190, 7969, 7984],[35, 35, 15, 1, 529] ],
['t670', 337, 352, 558, [6204, 6239, 7969, 7984],[35, 35, 15, 1, 529] ],
['t671', 337, 750, 558, [6253, 6288, 7969, 7984],[35, 35, 15, 1, 529] ],
['t672', 337, 528, 558, [6495, 6530, 7969, 7984],[35, 35, 15, 1, 538] ],
['t673', 337, 691, 558, [6760, 6795, 7968, 7983],[35, 35, 15, 1, 527] ],
['t674', 337, 558, 1646, [6906, 6941, 7968, 7983],[35, 35, 15, 1, 527] ],
['t675', 337, 558, 1114, [6954, 6989, 7968, 7983],[35, 35, 15, 1, 524] ],
['t676', 337, 558, 1476, [7101, 7135, 7968, 7983],[34, 34, 15, 1, 527] ],
['t677', 337, 558, 1226, [7149, 7184, 7968, 7983],[35, 35, 15, 1, 532] ],
['t678', 337, 1665, 558, [7342, 7376, 7967, 7982],[34, 34, 15, 1, 517] ],
['t679', 337, 840, 558, [7606, 7642, 7967, 7982],[36, 36, 15, 1, 544] ],
['t680', 337, 1164, 558, [7898, 7932, 7966, 7982],[34, 34, 16, 1, 547] ],
['t681', 943, 473, 848, [3004, 3022, 6374, 6406],[32, 32, 18, 1, 569] ],
['t682', 943, 614, 389, [3004, 3022, 6532, 6562],[30, 30, 18, 1, 510] ],
['t683', 1359, 558, 249, [5926, 5961, 3000, 3085],[120, 87, 16, 2, 1682] ],
['t684', 943, 960, 1081, [3004, 3022, 6434, 6464],[30, 30, 18, 1, 515] ],
['t685', 248, 1154, 558, [5927, 5994, 5850, 5953],[170, 138, 16, 4, 2530] ],
['t686', 248, 180, 558, [5366, 5410, 6481, 6556],[119, 85, 17, 2, 1755] ],
['t687', 1202, 558, 1367, [5598, 5614, 3360, 3472],[112, 112, 16, 1, 1764] ],
['t688', 1202, 558, 57, [5631, 5664, 3188, 3308],[121, 153, 16, 2, 2208] ],
['t689', 307, 558, 620, [8630, 8731, 4970, 4986],[101, 101, 16, 1, 1662] ],
['t690', 784, 558, 256, [2746, 2762, 6062, 6140],[78, 78, 16, 1, 1213] ],
['t691', 1551, 558, 278, [5639, 5671, 1809, 1898],[121, 87, 17, 2, 1702] ],
['t692', 567, 171, 558, [1416, 1477, 1205, 1490],[423, 353, 18, 3, 6884] ],
['t693', 567, 1026, 558, [1310, 1329, 1325, 1415],[90, 90, 19, 1, 1663] ],
['t694', 567, 657, 322, [1254, 1300, 1217, 1234],[46, 45, 17, 2, 759] ],
['t695', 551, 558, 8, [4330, 4347, 2758, 2851],[93, 93, 17, 1, 1548] ],
['t696', 943, 1620, 1125, [8480, 8509, 8165, 8183],[29, 29, 18, 1, 543] ],
['t697', 558, 1297, 558, [662, 794, 9557, 9578],[132, 132, 21, 1, 2764] ],
['t698', 832, 1275, 558, [6018, 6102, 5218, 5394],[260, 228, 16, 4, 4075] ],
['t699', 491, 437, 558, [3066, 3081, 4377, 4567],[190, 190, 15, 1, 2812] ],
['t700', 1502, 642, 558, [1372, 1433, 3162, 3447],[420, 350, 18, 3, 6870] ],
['t701', 1502, 951, 558, [1266, 1284, 3283, 3372],[89, 89, 18, 1, 1663] ],
['t702', 1502, 1152, 657, [1195, 1237, 3175, 3191],[42, 42, 16, 1, 710] ],
['t703', 892, 744, 558, [6899, 6913, 4477, 4570],[93, 93, 14, 1, 1316] ],
['t704', 79, 911, 696, [1527, 1661, 5502, 5630],[245, 244, 17, 3, 4178] ],
['t705', 943, 277, 893, [3992, 4020, 2194, 2215],[28, 28, 21, 1, 591] ],
['t706', 412, 1257, 558, [3779, 3795, 2341, 2436],[95, 95, 16, 1, 1497] ],
['t707', 1714, 1189, 262, [1706, 1748, 6783, 6947],[191, 191, 15, 5, 2848] ],
['t708', 1241, 177, 558, [3089, 3105, 1299, 1370],[71, 71, 16, 1, 1089] ],
['t709', 833, 558, 351, [2457, 2505, 1659, 1754],[134, 167, 17, 4, 2577] ],
['t710', 43, 558, 1541, [3060, 3075, 4790, 4853],[63, 63, 15, 1, 941] ],
['t711', 1529, 558, 91, [3120, 3152, 4784, 4959],[190, 191, 16, 3, 3126] ],
['t712', 167, 558, 11, [4438, 4473, 7559, 7645],[104, 103, 17, 3, 1752] ],
['t713', 710, 854, 1395, [3806, 3825, 9341, 9372],[31, 31, 19, 1, 579] ],
['t714', 1126, 1290, 558, [321, 431, 7173, 7187],[110, 110, 14, 1, 1555] ],
['t715', 699, 1556, 986, [4268, 4294, 4163, 4248],[89, 88, 18, 3, 1714] ],
['t716', 699, 867, 558, [4276, 4311, 4058, 4125],[102, 67, 17, 2, 1481] ],
['t717', 1057, 1649, 558, [2596, 2643, 7208, 7292],[114, 116, 16, 3, 1819] ],
['t718', 1070, 558, 1538, [5694, 5709, 3756, 3863],[107, 107, 15, 1, 1541] ],
['t719', 1070, 1334, 558, [5734, 5755, 3739, 3876],[138, 138, 16, 3, 2282] ],
['t720', 1070, 558, 200, [5732, 5755, 3671, 3723],[54, 54, 16, 3, 947] ],
['t721', 1112, 382, 558, [923, 959, 8325, 8340],[36, 36, 15, 1, 535] ],
['t722', 1112, 1233, 558, [1020, 1055, 8325, 8340],[35, 35, 15, 1, 528] ],
['t723', 1112, 84, 558, [1237, 1273, 8324, 8340],[36, 36, 15, 1, 542] ],
['t724', 1112, 1543, 558, [1286, 1323, 8324, 8340],[37, 37, 15, 1, 562] ],
['t725', 1112, 76, 558, [1334, 1372, 8324, 8339],[38, 38, 15, 1, 561] ],
['t726', 1112, 1658, 558, [1384, 1418, 8324, 8339],[34, 34, 15, 1, 523] ],
['t727', 1112, 786, 558, [1579, 1613, 8324, 8339],[34, 34, 15, 1, 523] ],
['t728', 1112, 1664, 558, [1627, 1661, 8324, 8339],[34, 34, 15, 1, 513] ],
['t729', 1112, 1482, 558, [1724, 1760, 8324, 8339],[36, 36, 15, 1, 542] ],
['t730', 1112, 286, 558, [1820, 1855, 8323, 8339],[35, 35, 16, 1, 523] ],
['t731', 1112, 271, 558, [1988, 2023, 8323, 8338],[35, 35, 15, 1, 531] ],
['t732', 1112, 370, 558, [2035, 2072, 8323, 8338],[37, 37, 15, 1, 554] ],
['t733', 1112, 552, 558, [2084, 2120, 8323, 8338],[36, 36, 15, 1, 547] ],
['t734', 1112, 1612, 558, [2133, 2169, 8323, 8338],[36, 36, 15, 1, 541] ],
['t735', 1112, 1487, 558, [2182, 2217, 8323, 8338],[35, 35, 15, 1, 531] ],
['t736', 1112, 784, 558, [2231, 2266, 8323, 8338],[35, 35, 15, 1, 531] ],
['t737', 1112, 764, 558, [2425, 2461, 8322, 8338],[36, 36, 16, 1, 538] ],
['t738', 1112, 1057, 558, [2474, 2509, 8322, 8337],[35, 35, 15, 1, 528] ],
['t739', 1112, 1582, 558, [2669, 2704, 8322, 8337],[35, 35, 15, 1, 530] ],
['t740', 1112, 1031, 558, [2716, 2752, 8322, 8337],[36, 36, 15, 2, 535] ],
['t741', 1112, 804, 558, [2835, 2871, 8322, 8337],[36, 36, 15, 2, 545] ],
['t742', 1112, 1311, 558, [2884, 2919, 8322, 8337],[35, 35, 15, 1, 527] ],
['t743', 1112, 1428, 558, [2933, 2968, 8322, 8337],[35, 35, 15, 1, 527] ],
['t744', 1112, 1520, 558, [3126, 3162, 8321, 8336],[36, 36, 15, 1, 536] ],
['t745', 1112, 1259, 558, [3225, 3260, 8321, 8336],[35, 35, 15, 1, 536] ],
['t746', 1112, 857, 558, [3321, 3357, 8321, 8336],[36, 36, 15, 1, 541] ],
['t747', 1112, 712, 558, [3370, 3405, 8321, 8336],[35, 35, 15, 1, 527] ],
['t748', 1112, 1337, 558, [3419, 3454, 8321, 8336],[35, 35, 15, 1, 536] ],
['t749', 1112, 1381, 558, [3732, 3767, 8320, 8335],[35, 35, 15, 1, 521] ],
['t750', 1112, 776, 558, [3830, 3864, 8320, 8335],[34, 34, 15, 1, 521] ],
['t751', 1112, 157, 558, [3879, 3913, 8320, 8335],[34, 34, 15, 1, 514] ],
['t752', 1112, 1324, 558, [4073, 4108, 8320, 8335],[35, 35, 15, 1, 518] ],
['t753', 1112, 179, 558, [4122, 4157, 8319, 8335],[35, 35, 15, 1, 533] ],
['t754', 1112, 131, 558, [4171, 4206, 8319, 8335],[35, 35, 16, 1, 518] ],
['t755', 1112, 4, 558, [4317, 4351, 8319, 8334],[34, 34, 15, 1, 518] ],
['t756', 1112, 1396, 558, [4366, 4399, 8319, 8334],[33, 33, 15, 1, 501] ],
['t757', 1112, 167, 558, [4413, 4447, 8319, 8334],[34, 34, 15, 1, 514] ],
['t758', 1112, 303, 558, [4463, 4496, 8319, 8334],[33, 33, 15, 1, 496] ],
['t759', 1112, 1086, 558, [4773, 4808, 8318, 8334],[35, 35, 15, 1, 533] ],
['t760', 1112, 1074, 558, [4821, 4856, 8318, 8333],[35, 35, 15, 1, 528] ],
['t761', 1112, 487, 558, [4920, 4954, 8318, 8333],[34, 34, 15, 1, 519] ],
['t762', 1112, 579, 558, [4968, 5003, 8318, 8333],[35, 35, 15, 1, 519] ],
['t763', 1112, 0, 558, [5357, 5392, 8317, 8333],[35, 35, 15, 1, 528] ],
['t764', 1112, 1478, 558, [5503, 5536, 8317, 8332],[33, 33, 15, 1, 497] ],
['t765', 1112, 594, 558, [5550, 5585, 8317, 8332],[35, 35, 15, 1, 520] ],
['t766', 1112, 1210, 558, [5599, 5634, 8317, 8332],[35, 35, 15, 1, 528] ],
['t767', 1112, 1557, 558, [5912, 5947, 8316, 8332],[35, 35, 16, 1, 531] ],
['t768', 1112, 259, 558, [5960, 5997, 8316, 8331],[37, 37, 15, 1, 553] ],
['t769', 1112, 1052, 558, [6010, 6046, 8316, 8331],[36, 36, 15, 1, 537] ],
['t770', 1112, 791, 558, [6108, 6142, 8316, 8331],[34, 34, 15, 1, 514] ],
['t771', 1112, 352, 558, [6205, 6240, 8316, 8331],[35, 35, 15, 1, 529] ],
['t772', 1112, 750, 558, [6254, 6289, 8316, 8331],[35, 35, 15, 1, 527] ],
['t773', 1112, 932, 558, [6302, 6338, 8316, 8331],[36, 36, 15, 1, 546] ],
['t774', 1112, 1589, 558, [6351, 6387, 8316, 8331],[36, 36, 15, 1, 536] ],
['t775', 1112, 446, 558, [6447, 6483, 8315, 8331],[36, 36, 15, 1, 549] ],
['t776', 1112, 528, 558, [6496, 6531, 8315, 8331],[35, 35, 16, 1, 536] ],
['t777', 1112, 309, 558, [6615, 6650, 8315, 8330],[35, 35, 15, 1, 532] ],
['t778', 1112, 1430, 558, [6664, 6699, 8315, 8330],[35, 35, 15, 1, 529] ],
['t779', 1112, 1646, 558, [6907, 6942, 8315, 8330],[35, 35, 15, 1, 532] ],
['t780', 1112, 1476, 558, [7100, 7136, 8314, 8330],[36, 36, 15, 1, 534] ],
['t781', 1112, 1226, 558, [7150, 7185, 8314, 8329],[35, 35, 15, 1, 529] ],
['t782', 1112, 1569, 558, [7198, 7233, 8314, 8329],[35, 35, 15, 1, 538] ],
['t783', 1112, 950, 558, [7294, 7330, 8314, 8329],[36, 36, 15, 1, 543] ],
['t784', 1112, 1665, 558, [7343, 7377, 8314, 8329],[34, 34, 15, 1, 515] ],
['t785', 1112, 1710, 558, [7391, 7426, 8314, 8329],[35, 35, 15, 2, 525] ],
['t786', 1112, 1050, 558, [7509, 7544, 8314, 8329],[35, 35, 15, 2, 530] ],
['t787', 1112, 607, 558, [7657, 7692, 8313, 8329],[35, 35, 15, 1, 531] ],
['t788', 1112, 219, 558, [7705, 7740, 8313, 8329],[35, 35, 16, 1, 532] ],
['t789', 1300, 1384, 558, [8174, 8474, 8065, 8089],[307, 306, 18, 7, 5486] ],
['t790', 710, 416, 1016, [1583, 1605, 3755, 3784],[29, 29, 22, 1, 615] ],
['t791', 276, 558, 1637, [3996, 4079, 3257, 3359],[200, 298, 16, 4, 4112] ],
['t792', 1544, 586, 1330, [5336, 5360, 5756, 5872],[118, 118, 16, 3, 1966] ],
['t793', 1544, 586, 1330, [5323, 5340, 5691, 5726],[35, 35, 17, 1, 588] ],
['t794', 943, 1607, 318, [7684, 7703, 4869, 4900],[31, 31, 19, 2, 590] ],
['t795', 1328, 558, 1466, [3615, 3648, 8435, 8451],[33, 34, 15, 2, 501] ],
['t796', 1328, 271, 558, [1988, 2023, 8438, 8453],[35, 35, 15, 1, 525] ],
['t797', 1328, 370, 558, [2036, 2071, 8438, 8453],[35, 35, 15, 1, 525] ],
['t798', 1328, 558, 552, [2086, 2120, 8438, 8453],[34, 34, 15, 1, 514] ],
['t799', 1328, 558, 1612, [2134, 2169, 8438, 8453],[35, 35, 15, 1, 531] ],
['t800', 1328, 558, 1487, [2182, 2218, 8437, 8453],[36, 36, 16, 1, 545] ],
['t801', 1328, 558, 784, [2231, 2266, 8437, 8453],[35, 35, 15, 1, 534] ],
['t802', 1328, 558, 244, [2281, 2316, 8437, 8452],[35, 35, 15, 1, 528] ],
['t803', 1328, 558, 1623, [2377, 2413, 8437, 8452],[36, 36, 15, 1, 551] ],
['t804', 1328, 764, 558, [2426, 2462, 8437, 8452],[36, 36, 15, 1, 548] ],
['t805', 1328, 403, 558, [2523, 2559, 8437, 8452],[36, 36, 15, 1, 542] ],
['t806', 1328, 558, 1582, [2669, 2704, 8437, 8452],[35, 35, 15, 1, 535] ],
['t807', 1328, 558, 1031, [2716, 2751, 8437, 8452],[35, 35, 15, 2, 526] ],
['t808', 1328, 558, 804, [2835, 2870, 8436, 8451],[35, 35, 15, 2, 524] ],
['t809', 1328, 558, 1311, [2884, 2919, 8436, 8451],[35, 35, 15, 1, 532] ],
['t810', 1328, 558, 1520, [3128, 3162, 8436, 8451],[34, 34, 15, 1, 516] ],
['t811', 1328, 558, 857, [3322, 3358, 8435, 8451],[36, 36, 15, 1, 542] ],
['t812', 1328, 712, 558, [3371, 3407, 8435, 8451],[36, 36, 15, 1, 532] ],
['t813', 1328, 558, 1381, [3733, 3768, 8435, 8450],[35, 35, 15, 1, 528] ],
['t814', 1328, 558, 546, [3782, 3816, 8435, 8450],[34, 34, 15, 1, 523] ],
['t815', 1328, 558, 776, [3830, 3866, 8435, 8450],[36, 36, 15, 1, 537] ],
['t816', 1328, 558, 157, [3879, 3914, 8435, 8450],[35, 35, 15, 1, 528] ],
['t817', 1328, 558, 1243, [3977, 4011, 8434, 8450],[34, 34, 15, 1, 518] ],
['t818', 1328, 558, 1324, [4074, 4109, 8434, 8449],[35, 35, 15, 1, 518] ],
['t819', 1328, 131, 558, [4171, 4206, 8434, 8449],[35, 35, 15, 1, 528] ],
['t820', 1328, 1396, 558, [4365, 4400, 8434, 8449],[35, 35, 15, 1, 531] ],
['t821', 1328, 558, 303, [4462, 4497, 8434, 8449],[35, 35, 15, 1, 535] ],
['t822', 1328, 558, 1504, [4511, 4546, 8433, 8449],[35, 35, 16, 1, 531] ],
['t823', 1328, 558, 1086, [4773, 4808, 8433, 8448],[35, 35, 15, 1, 531] ],
['t824', 1328, 558, 1074, [4822, 4857, 8433, 8448],[35, 35, 15, 1, 528] ],
['t825', 1328, 558, 1246, [4871, 4906, 8433, 8448],[35, 35, 15, 1, 524] ],
['t826', 1328, 558, 487, [4920, 4955, 8433, 8448],[35, 35, 15, 1, 537] ],
['t827', 1328, 579, 558, [4968, 5003, 8433, 8448],[35, 35, 15, 1, 518] ],
['t828', 1328, 0, 558, [5357, 5391, 8432, 8447],[34, 34, 15, 1, 513] ],
['t829', 1328, 558, 1478, [5503, 5537, 8432, 8447],[34, 34, 15, 1, 508] ],
['t830', 1328, 558, 594, [5550, 5586, 8432, 8447],[36, 36, 15, 1, 541] ],
['t831', 1328, 558, 1557, [5912, 5947, 8431, 8446],[35, 35, 15, 1, 532] ],
['t832', 1328, 558, 259, [5960, 5997, 8431, 8446],[37, 37, 15, 1, 548] ],
['t833', 1328, 558, 1052, [6010, 6046, 8431, 8446],[36, 36, 15, 1, 542] ],
['t834', 1328, 558, 791, [6107, 6143, 8431, 8446],[36, 36, 15, 1, 533] ],
['t835', 1328, 352, 558, [6207, 6240, 8431, 8446],[33, 33, 15, 1, 507] ],
['t836', 1328, 750, 558, [6254, 6290, 8430, 8446],[36, 36, 16, 1, 536] ],
['t837', 1328, 558, 932, [6303, 6338, 8430, 8446],[35, 35, 15, 1, 533] ],
['t838', 1328, 558, 1589, [6351, 6387, 8430, 8445],[36, 36, 15, 1, 533] ],
['t839', 1328, 558, 446, [6448, 6483, 8430, 8445],[35, 35, 15, 1, 530] ],
['t840', 1328, 558, 528, [6496, 6531, 8430, 8445],[35, 35, 15, 1, 528] ],
['t841', 1328, 558, 309, [6614, 6650, 8430, 8445],[36, 36, 15, 1, 530] ],
['t842', 1328, 558, 1430, [6663, 6698, 8430, 8445],[35, 35, 15, 1, 530] ],
['t843', 1328, 691, 558, [6761, 6796, 8430, 8445],[35, 35, 15, 1, 524] ],
['t844', 1328, 1292, 558, [6809, 6844, 8429, 8445],[35, 35, 15, 1, 530] ],
['t845', 1328, 558, 1646, [6906, 6942, 8429, 8444],[36, 36, 15, 1, 543] ],
['t846', 1328, 558, 1114, [6955, 6990, 8429, 8444],[35, 35, 15, 1, 521] ],
['t847', 1328, 558, 1476, [7101, 7136, 8429, 8444],[35, 35, 15, 1, 537] ],
['t848', 1328, 558, 1226, [7150, 7185, 8429, 8444],[35, 35, 15, 1, 530] ],
['t849', 1328, 558, 1569, [7198, 7233, 8429, 8444],[35, 35, 15, 1, 533] ],
['t850', 1328, 558, 1665, [7343, 7378, 8429, 8444],[35, 35, 15, 1, 521] ],
['t851', 1328, 1050, 558, [7511, 7545, 8428, 8443],[34, 34, 15, 2, 514] ],
['t852', 1328, 558, 1174, [7808, 7885, 8428, 8443],[77, 77, 15, 1, 1169] ],
['t853', 1063, 558, 1310, [3269, 3285, 2480, 2610],[130, 130, 16, 1, 2122] ],
['t854', 963, 672, 657, [6627, 6644, 521, 920],[399, 399, 17, 1, 6991] ],
['t855', 840, 558, 846, [8175, 8192, 4644, 4710],[66, 66, 17, 1, 1133] ],
['t856', 1131, 558, 187, [6160, 6176, 6570, 6788],[218, 218, 16, 1, 3382] ],
['t857', 243, 566, 802, [7703, 7716, 4696, 4793],[97, 97, 13, 1, 1265] ],
['t858', 216, 516, 558, [3745, 3783, 3637, 3697],[98, 69, 14, 2, 1231] ],
['t859', 216, 1610, 558, [3701, 3716, 3610, 3677],[67, 67, 15, 1, 1028] ],
['t860', 1299, 558, 1046, [1683, 1731, 1275, 1449],[190, 219, 17, 3, 3152] ],
['t861', 1107, 389, 558, [3043, 3107, 7345, 7394],[81, 113, 16, 2, 1548] ],
['t862', 639, 416, 107, [1548, 1564, 3755, 3784],[29, 29, 16, 1, 472] ],
['t863', 1007, 558, 1334, [5875, 5892, 4436, 4572],[136, 136, 17, 1, 2231] ],
['t864', 1673, 558, 754, [6998, 7015, 6019, 6119],[100, 100, 17, 1, 1700] ],
['t865', 639, 1636, 707, [1548, 1564, 3373, 3402],[29, 29, 16, 1, 488] ],
['t866', 573, 1484, 558, [1858, 1881, 3307, 3393],[87, 87, 17, 4, 1512] ],
['t867', 1241, 558, 1013, [3388, 3406, 1405, 1494],[89, 89, 18, 1, 1521] ],
['t868', 1241, 558, 1217, [3388, 3406, 1336, 1381],[45, 45, 18, 1, 772] ],
['t869', 291, 558, 1157, [6006, 6021, 4720, 4783],[63, 63, 15, 1, 952] ],
['t870', 291, 657, 1564, [6000, 6024, 4612, 4633],[24, 24, 21, 1, 512] ],
['t871', 1524, 1225, 558, [5214, 5267, 7542, 7618],[128, 97, 16, 3, 1805] ],
['t872', 1721, 558, 10, [4766, 4800, 6453, 6558],[112, 142, 15, 4, 2057] ],
['t873', 278, 558, 1488, [5716, 5732, 1734, 1792],[58, 58, 16, 1, 922] ],
['t874', 462, 558, 1278, [4654, 4719, 5399, 5558],[208, 206, 17, 3, 3409] ],
['t875', 599, 725, 558, [4018, 4070, 5209, 5371],[197, 198, 16, 3, 3223] ],
['t876', 692, 441, 558, [1838, 1853, 4711, 4772],[61, 61, 15, 1, 907] ],
['t877', 692, 325, 657, [1859, 1882, 4600, 4625],[23, 23, 25, 1, 571] ],
['t878', 1259, 558, 300, [3271, 3317, 7462, 7529],[82, 113, 15, 2, 1520] ],
['t879', 760, 1350, 558, [2487, 2503, 5169, 5279],[110, 110, 16, 1, 1757] ],
['t880', 1473, 558, 458, [2460, 2508, 3232, 3329],[135, 169, 17, 5, 2606] ],
['t881', 820, 27, 558, [5408, 5445, 2458, 2578],[141, 143, 15, 3, 2204] ],
['t882', 383, 917, 558, [2205, 2221, 7149, 7216],[67, 67, 16, 1, 1069] ],
['t883', 622, 558, 386, [5925, 5960, 2192, 2279],[122, 89, 16, 2, 1726] ],
['t884', 248, 1649, 558, [3139, 3156, 7099, 7192],[93, 93, 17, 1, 1576] ],
['t885', 16, 472, 1366, [288, 386, 8999, 9055],[154, 119, 20, 3, 2424] ],
['t886', 899, 558, 850, [5767, 5810, 5385, 5553],[194, 194, 17, 3, 3258] ],
['t887', 353, 558, 147, [7245, 7458, 2420, 2463],[223, 256, 16, 2, 3707] ],
['t888', 353, 558, 147, [7489, 7723, 2352, 2436],[536, 471, 16, 5, 8106] ],
['t889', 1385, 558, 347, [7745, 7777, 7524, 7609],[95, 94, 16, 3, 1647] ],
['t890', 710, 1132, 1087, [1861, 1878, 5936, 5964],[28, 28, 17, 1, 475] ],
['t891', 248, 1180, 558, [7393, 7500, 7324, 7340],[107, 107, 16, 1, 1761] ],
['t892', 943, 1373, 188, [432, 461, 9061, 9081],[29, 29, 20, 1, 579] ],
['t893', 817, 486, 558, [3469, 3509, 2134, 2173],[79, 48, 15, 2, 995] ],
['t894', 997, 657, 963, [6285, 6304, 913, 955],[42, 42, 19, 1, 770] ],
['t895', 997, 1523, 558, [6294, 6319, 778, 883],[108, 108, 17, 3, 1814] ],
['t896', 997, 635, 558, [6014, 6311, 675, 762],[367, 369, 16, 3, 5572] ],
['t897', 225, 859, 558, [2707, 2725, 4377, 4568],[191, 191, 14, 3, 2897] ],
['t898', 640, 136, 558, [3401, 3416, 2981, 3069],[88, 88, 15, 1, 1328] ],
['t899', 640, 860, 558, [3401, 3416, 2912, 2956],[44, 44, 15, 1, 669] ],
['t900', 155, 1021, 558, [3200, 3224, 3736, 3790],[55, 55, 18, 3, 1043] ],
['t901', 155, 425, 558, [3200, 3218, 3676, 3721],[45, 45, 18, 1, 806] ],
['t902', 440, 558, 1555, [3195, 3210, 7455, 7588],[133, 133, 15, 1, 2049] ],
['t903', 432, 1686, 558, [4509, 4525, 3000, 3086],[86, 86, 16, 1, 1401] ],
['t904', 432, 1097, 558, [4509, 4535, 2896, 2963],[72, 73, 15, 3, 1178] ],
['t905', 635, 558, 672, [6233, 6338, 642, 656],[105, 105, 14, 1, 1461] ],
['t906', 635, 672, 558, [6109, 6141, 642, 656],[32, 32, 14, 1, 450] ],
['t907', 635, 558, 672, [5966, 5982, 224, 634],[410, 410, 16, 1, 6684] ],
['t908', 635, 672, 558, [6026, 6043, 224, 634],[410, 410, 17, 1, 6848] ],
['t909', 635, 558, 672, [6087, 6104, 224, 634],[410, 410, 17, 1, 6851] ],
['t910', 635, 672, 558, [6151, 6166, 223, 633],[410, 410, 15, 1, 6205] ],
['t911', 635, 672, 558, [6214, 6229, 223, 633],[410, 410, 15, 1, 6368] ],
['t912', 43, 558, 1534, [2590, 2606, 4790, 4853],[63, 63, 16, 1, 1039] ],
['t913', 967, 1330, 558, [5378, 5394, 5690, 5872],[181, 182, 16, 2, 2925] ],
['t914', 181, 721, 558, [2214, 2229, 1337, 1448],[111, 111, 15, 1, 1700] ],
['t915', 943, 1225, 683, [4093, 4122, 5723, 5743],[29, 29, 20, 1, 595] ],
['t916', 726, 558, 630, [5577, 5678, 7185, 7250],[133, 166, 16, 4, 2418] ],
['t917', 1195, 558, 1191, [1250, 1358, 1643, 1846],[282, 352, 18, 3, 5486] ],
['t918', 1195, 1254, 657, [1376, 1394, 1602, 1654],[52, 52, 18, 1, 919] ],
['t919', 771, 1055, 558, [5889, 5906, 5671, 5736],[65, 65, 17, 1, 1075] ],
['t920', 221, 251, 558, [7700, 7764, 4393, 4606],[261, 260, 16, 3, 4354] ],
['t921', 221, 558, 251, [7744, 7762, 4281, 4360],[79, 79, 18, 1, 1368] ],
['t922', 248, 558, 372, [2778, 2797, 5933, 6005],[72, 72, 19, 1, 1350] ],
['t923', 248, 1365, 1085, [2765, 2782, 5760, 5860],[100, 100, 17, 1, 1759] ],
['t924', 943, 359, 92, [3937, 3964, 750, 769],[27, 27, 19, 1, 534] ],
['t925', 710, 626, 756, [7334, 7361, 5764, 5784],[27, 27, 20, 1, 552] ],
['t926', 710, 457, 823, [6932, 6961, 3058, 3079],[29, 29, 20, 2, 587] ],
['t927', 255, 558, 741, [5105, 5124, 4373, 4561],[190, 190, 17, 4, 3213] ],
['t928', 1140, 148, 657, [1956, 1972, 530, 927],[397, 397, 16, 1, 6467] ],
['t929', 1288, 1634, 558, [6918, 6941, 3221, 3387],[167, 168, 16, 3, 2663] ],
['t930', 383, 558, 1040, [2963, 2980, 7065, 7229],[164, 164, 17, 1, 2885] ],
['t931', 383, 1040, 558, [2963, 2980, 6910, 6986],[76, 76, 17, 1, 1331] ],
['t932', 1637, 558, 699, [4197, 4230, 3585, 3679],[127, 93, 17, 2, 1896] ],
['t933', 270, 1445, 1495, [7650, 7667, 5334, 5412],[78, 78, 17, 1, 1328] ],
['t934', 1593, 558, 1552, [3513, 3573, 4731, 4746],[60, 60, 15, 1, 928] ],
['t935', 1593, 362, 657, [3513, 3532, 4573, 4596],[19, 19, 23, 1, 441] ],
['t936', 1666, 1525, 957, [3056, 3076, 4130, 4158],[28, 28, 20, 1, 574] ],
['t937', 1666, 250, 953, [3050, 3070, 3684, 3711],[27, 27, 20, 1, 548] ],
['t938', 1666, 701, 740, [3055, 3073, 3365, 3395],[30, 30, 18, 1, 533] ],
['t939', 1666, 884, 1071, [3048, 3066, 2917, 2946],[29, 29, 18, 1, 508] ],
['t940', 1666, 308, 296, [3053, 3071, 2556, 2584],[28, 28, 18, 1, 504] ],
['t941', 1666, 1469, 277, [3046, 3064, 2109, 2137],[28, 28, 18, 1, 499] ],
['t942', 1666, 1459, 722, [3052, 3071, 1790, 1820],[30, 30, 19, 1, 567] ],
['t943', 1666, 304, 177, [3045, 3064, 1343, 1370],[27, 27, 19, 1, 516] ],
['t944', 341, 558, 256, [5430, 5463, 7545, 7644],[114, 115, 17, 3, 1978] ],
['t945', 16, 1558, 428, [289, 383, 8637, 8689],[111, 146, 18, 3, 2289] ],
['t946', 691, 252, 591, [6776, 6851, 7413, 7489],[139, 205, 16, 3, 2761] ],
['t947', 558, 558, 1672, [5605, 5624, 9574, 9688],[114, 114, 19, 1, 2139] ],
['t948', 439, 1053, 558, [3688, 3703, 6433, 6582],[149, 149, 15, 1, 2285] ],
['t949', 156, 558, 786, [1576, 1612, 7695, 7711],[36, 36, 16, 1, 585] ],
['t950', 156, 558, 1664, [1624, 1659, 7694, 7711],[35, 35, 16, 1, 569] ],
['t951', 156, 558, 1482, [1721, 1755, 7694, 7711],[34, 34, 17, 1, 555] ],
['t952', 156, 558, 1243, [3972, 4008, 7690, 7706],[34, 36, 16, 2, 561] ],
['t953', 156, 558, 822, [4022, 4057, 7690, 7706],[35, 35, 16, 1, 563] ],
['t954', 156, 1324, 558, [4071, 4108, 7690, 7706],[37, 35, 16, 2, 571] ],
['t955', 156, 558, 1646, [6907, 6941, 7684, 7701],[34, 34, 17, 1, 546] ],
['t956', 156, 1155, 558, [7050, 7090, 7684, 7700],[40, 35, 16, 2, 572] ],
['t957', 156, 558, 301, [7244, 7282, 7684, 7700],[35, 38, 16, 2, 566] ],
['t958', 156, 558, 950, [7295, 7330, 7684, 7700],[35, 35, 16, 1, 574] ],
['t959', 156, 558, 1665, [7344, 7379, 7684, 7700],[35, 35, 16, 1, 561] ],
['t960', 156, 558, 1710, [7391, 7426, 7684, 7700],[35, 35, 16, 1, 563] ],
['t961', 943, 1302, 657, [6856, 6876, 2769, 2826],[57, 57, 20, 1, 1163] ],
['t962', 943, 1694, 1, [2007, 2028, 3242, 3272],[30, 30, 21, 1, 625] ],
['t963', 874, 54, 1403, [2344, 2374, 4036, 4055],[30, 30, 19, 1, 570] ],
['t964', 1120, 558, 137, [6679, 6693, 6972, 7058],[86, 86, 14, 1, 1203] ],
['t965', 558, 1171, 558, [4997, 5090, 9364, 9428],[157, 119, 19, 2, 2653] ],
['t966', 833, 744, 558, [6643, 6696, 4526, 4616],[129, 129, 14, 3, 1880] ],
['t967', 368, 218, 558, [6434, 6485, 7506, 7565],[110, 77, 16, 2, 1510] ],
['t968', 623, 319, 1707, [3615, 3631, 3978, 4113],[135, 135, 16, 1, 2088] ],
['t969', 623, 388, 558, [3625, 3673, 3829, 3880],[67, 99, 16, 2, 1319] ],
['t970', 1578, 1368, 558, [279, 364, 7933, 7977],[129, 94, 17, 2, 1942] ],
['t971', 1027, 558, 476, [2763, 2785, 4833, 4959],[128, 128, 15, 3, 1966] ],
['t972', 1589, 368, 558, [6376, 6392, 7579, 7645],[66, 66, 16, 1, 1117] ],
['t973', 1589, 104, 558, [6440, 6456, 6887, 6992],[105, 105, 16, 1, 1682] ],
['t974', 153, 558, 1096, [1435, 1521, 4003, 4124],[235, 235, 18, 5, 4315] ],
['t975', 440, 1352, 558, [6348, 6373, 6955, 7081],[129, 129, 15, 3, 2091] ],
['t976', 440, 104, 558, [6440, 6465, 6763, 6856],[96, 95, 16, 3, 1628] ],
['t977', 440, 812, 558, [6392, 6443, 6734, 6857],[174, 139, 17, 4, 2590] ],
['t978', 1585, 558, 962, [7930, 7944, 4464, 4554],[90, 90, 14, 1, 1295] ],
['t979', 1398, 1489, 558, [3152, 3225, 1088, 1172],[157, 124, 16, 2, 2359] ],
['t980', 258, 1103, 1106, [1359, 1375, 7247, 7394],[147, 147, 16, 1, 2354] ],
['t981', 979, 1347, 558, [3864, 3881, 6930, 7004],[74, 74, 17, 1, 1267] ],
['t982', 370, 558, 1464, [2035, 2052, 7587, 7653],[66, 66, 17, 1, 1153] ],
['t983', 955, 558, 1671, [8653, 8708, 6561, 6769],[245, 246, 17, 8, 4380] ],
['t984', 1343, 911, 558, [2647, 2697, 5449, 5637],[278, 211, 16, 3, 4224] ],
['t985', 790, 558, 434, [6064, 6091, 7238, 7322],[94, 95, 16, 3, 1544] ],
['t986', 1054, 558, 70, [1717, 1733, 5468, 5562],[94, 94, 16, 1, 1537] ],
['t987', 1543, 558, 1106, [1286, 1302, 7578, 7653],[75, 75, 16, 1, 1177] ],
['t988', 1150, 320, 558, [4491, 4530, 3487, 3590],[113, 143, 16, 4, 2052] ],
['t989', 283, 1108, 488, [6225, 6243, 3977, 4011],[34, 34, 18, 1, 601] ],
['t990', 775, 657, 1608, [5580, 5598, 913, 957],[44, 44, 18, 2, 772] ],
['t991', 775, 1423, 558, [5564, 5589, 779, 882],[107, 106, 17, 3, 1826] ],
['t992', 775, 869, 558, [5571, 5871, 675, 763],[370, 372, 17, 3, 6205] ],
['t993', 283, 1473, 481, [6224, 6243, 3210, 3243],[33, 33, 19, 1, 633] ],
['t994', 1164, 340, 558, [7808, 7904, 6359, 6394],[115, 115, 16, 3, 1793] ],
['t995', 248, 558, 1382, [328, 468, 7475, 7567],[215, 217, 16, 3, 3444] ],
['t996', 575, 673, 1053, [3623, 3673, 6448, 6582],[149, 184, 17, 2, 2766] ],
['t997', 879, 703, 927, [8535, 8556, 8344, 8403],[59, 59, 21, 1, 1255] ],
['t998', 415, 931, 558, [3654, 3670, 5168, 5300],[132, 132, 16, 1, 2090] ],