-
Notifications
You must be signed in to change notification settings - Fork 63
/
Copy pathtracks.json
3750 lines (3750 loc) · 400 KB
/
tracks.json
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
[
[[-43, -31, 0], [0, 0, 0], [1, 0, 101], [2, 0, 109], [5, 0, 114], [10, 0, 122], [13, 1, 130], [15, 1, 138],[18, 2, 146], [21, 2, 155], [24, 2, 163], [27, 2, 171], [30, 2, 178], [34, 3, 184], [35, 4, 192], [36, 4, 200],[38, 5, 209], [38, 5, 217], [39, 6, 226], [40, 6, 232], [41, 6, 240], [42, 6, 246], [45, 6, 254], [46, 6, 262],[49, 6, 270], [51, 6, 278], [54, 7, 287], [56, 7, 295], [58, 7, 302], [61, 7, 310], [62, 7, 316], [66, 8, 324],[67, 8, 332], [68, 8, 340], [69, 8, 358], [70, 8, 365], [70, 8, 394], [71, 8, 402], [72, 8, 411], [74, 8, 427],[74, 9, 434], [75, 9, 442], [76, 9, 451], [77, 9, 456], [78, 9, 480], [78, 10, 496], [78, 10, 504], [78, 10, 723]],
[[-31,-19,0],[0,0,0],[1,0,36],[2,0,44],[2,0,52],[4,0,61],[6,0,69],[8,0,77],[14,0,85],[17,0,92],[21,1,99],[25,2,106],[29,2,114],[34,2,122],[39,4,130],[43,4,138],[46,4,146],[53,4,155],[55,5,162],[58,5,168],[60,5,176],[62,5,184],[66,5,192],[67,5,200],[70,5,209],[73,5,217],[76,5,224],[77,5,232],[79,5,238],[81,5,246],[82,5,254],[84,5,263],[85,6,270],[86,6,279],[87,6,286],[89,6,294],[91,6,302],[93,6,308],[94,6,316],[97,6,325],[98,6,332],[99,6,341],[100,6,348],[101,6,356],[101,6,378],[102,6,480],[102,6,488],[104,6,497],[106,6,504],[106,7,511],[107,7,518],[108,7,527],[109,7,535],[110,7,596],[110,7,620],[111,7,628],[112,7,707],[113,7,1165],[114,7,1182],[114,7,1189],[115,7,1257],[116,7,1272],[117,7,1342],[118,7,1460],[118,7,1755]],
[[-31,-29,0],[0,0,0],[0,1,6],[1,1,45],[2,1,52],[2,2,61],[5,2,68],[8,2,76],[12,2,84],[16,4,93],[25,6,100],[30,7,107],[36,8,114],[40,9,123],[43,10,131],[46,10,138],[48,10,146],[49,10,154],[50,10,163],[50,11,169],[51,11,176],[53,11,185],[54,11,193],[56,11,200],[58,12,208],[60,12,216],[62,12,225],[66,12,233],[67,12,239],[69,12,247],[71,12,255],[73,12,270],[74,12,278],[74,12,286],[76,12,295],[78,12,302],[80,12,309],[82,12,317],[82,12,332],[83,12,340],[83,13,372],[84,13,379],[85,13,394],[86,13,410],[86,13,885]],
[[-44,-26,0],[0,0,0],[2,0,69],[4,0,85],[6,0,93],[10,0,100],[17,0,109],[24,0,117],[30,0,125],[38,0,131],[45,0,138],[53,0,147],[58,0,155],[63,0,162],[66,0,170],[69,0,179],[70,0,187],[71,0,249],[73,0,257],[74,0,263],[76,0,271],[78,0,280],[79,0,287],[80,0,295],[81,0,302],[82,0,320],[82,0,334],[83,0,357],[84,0,364],[85,0,373],[86,1,382],[86,1,389],[87,1,403],[88,1,636],[88,2,667],[89,2,885],[90,2,954],[91,1,963],[91,0,995],[92,0,1057],[92,0,1205]],
[[-42,-31,0],[0,0,0],[1,0,53],[2,1,68],[3,1,76],[5,1,84],[7,1,92],[10,1,100],[14,1,107],[18,2,114],[20,2,122],[23,2,130],[28,2,138],[31,2,146],[34,2,155],[37,2,163],[38,2,171],[42,2,178],[45,2,185],[48,2,192],[54,2,200],[57,2,208],[59,2,217],[61,2,225],[63,2,232],[66,2,240],[67,2,247],[69,2,254],[70,2,262],[71,2,270],[72,2,278],[73,2,286],[74,2,303],[74,2,310],[75,2,317],[77,2,324],[78,2,332],[80,2,340],[81,2,350],[82,2,356],[82,2,372],[83,2,526],[84,2,970],[85,2,986],[86,2,992],[87,2,1016],[88,2,1025],[89,2,1040],[90,2,1048],[92,2,1056],[94,1,1064],[98,0,1070],[101,-1,1079],[102,-1,1086],[103,-1,1095],[104,-2,1102],[105,-2,1132],[106,-2,1157],[106,-2,1180],[107,-2,1188],[107,-2,1539]],
[[-40,-37,0],[0,0,0],[2,1,67],[2,2,76],[4,2,83],[6,2,91],[8,4,99],[10,4,106],[13,6,113],[16,6,121],[22,6,129],[28,7,137],[34,8,145],[43,10,154],[52,10,160],[60,10,167],[67,11,175],[74,12,183],[79,12,191],[85,14,200],[88,14,207],[90,14,215],[90,14,224],[92,14,231],[94,14,238],[96,14,245],[99,14,253],[106,14,262],[110,14,269],[115,14,279],[118,14,286],[122,14,293],[124,15,300],[126,15,307],[128,15,315],[129,15,323],[130,15,331],[131,15,340],[133,15,356],[134,15,362],[135,15,369],[138,15,377],[139,15,385],[141,16,394],[145,16,402],[146,16,411],[148,16,418],[150,16,425],[152,16,433],[153,16,440],[155,16,448],[157,16,455],[160,16,463],[163,16,472],[166,16,480],[167,16,488],[169,16,495],[170,16,501],[171,16,518],[172,16,588],[174,16,596],[177,16,603],[178,16,611],[180,16,619],[182,16,627],[183,16,633],[185,17,641],[186,17,649],[186,17,953]],
[[-35,-19,0],[0,0,0],[2,-1,15],[2,-1,21],[5,-2,29],[7,-2,36],[10,-2,44],[13,-2,53],[16,-2,61],[22,-2,68],[25,-2,77],[29,-2,84],[32,-2,91],[34,-2,98],[37,-2,106],[38,-2,114],[40,-2,123],[42,-2,131],[43,-2,139],[44,-2,146],[45,-2,154],[46,-2,161],[47,-2,168],[48,-2,176],[50,-2,185],[51,-3,193],[54,-3,201],[57,-3,208],[59,-3,216],[60,-3,223],[62,-3,230],[63,-3,238],[66,-4,247],[66,-4,254],[67,-4,262],[69,-4,271],[70,-4,278],[70,-4,286],[71,-5,294],[72,-5,300],[74,-5,308],[75,-5,316],[77,-6,324],[80,-6,332],[81,-6,340],[82,-6,348],[82,-6,356],[83,-6,395],[84,-6,691],[85,-6,700],[86,-6,704],[86,-6,721],[86,-6,729],[87,-6,744],[88,-6,783],[90,-6,868],[90,-6,963],[91,-6,2602],[91,-6,3014],[91,-6,3021],[91,-6,3028],[91,-6,3373]],
[[-40,-24,0],[0,0,0],[2,0,69],[4,0,77],[6,0,83],[8,0,91],[11,0,99],[13,0,107],[16,0,115],[18,0,124],[21,0,132],[22,0,139],[25,0,145],[27,0,153],[31,0,161],[34,0,169],[37,0,177],[40,0,185],[43,0,194],[46,0,201],[48,0,209],[50,0,215],[52,0,223],[54,0,231],[56,0,240],[57,0,255],[58,0,263],[59,0,271],[60,0,278],[61,0,285],[64,0,293],[66,0,302],[67,0,309],[69,1,317],[70,1,325],[71,1,333],[72,1,339],[73,1,347],[74,1,363],[74,1,371],[75,1,395],[76,1,403],[77,1,411],[78,1,425],[78,1,442],[78,2,473],[79,2,613],[82,2,619],[82,2,628],[84,2,635],[85,2,643],[86,2,651],[87,2,829],[88,2,838],[89,2,854],[90,2,886],[90,2,915],[90,2,1855]],
[[-32,-16,0],[0,0,0],[1,0,47],[2,-1,60],[4,-1,69],[6,-2,76],[14,-2,86],[18,-2,93],[23,-2,100],[29,-2,108],[33,-2,117],[37,-2,123],[40,-2,131],[43,-2,139],[44,-2,147],[47,-2,155],[50,-2,162],[52,-2,170],[55,-2,179],[60,-2,187],[66,-2,193],[70,-2,201],[73,-2,209],[75,-1,218],[78,-1,225],[78,0,240],[78,0,287],[79,0,294],[80,1,311],[81,1,319],[82,1,327],[83,2,332],[84,2,341],[85,2,349],[86,2,356],[86,2,364],[87,2,418],[88,2,529],[89,2,884],[90,2,1011],[90,2,1461],[91,2,1827],[92,2,1981],[92,1,2067],[93,1,2301],[93,0,2355],[93,0,2797]],
[[-33,-11,0],[0,0,0],[0,1,28],[2,1,44],[4,1,52],[8,1,59],[12,0,67],[22,0,75],[30,-1,81],[38,-2,90],[50,-2,97],[57,-2,106],[63,-2,114],[66,-2,121],[70,-2,129],[72,-2,138],[73,-2,143],[74,-2,152],[74,-2,159],[76,-2,168],[78,-2,176],[79,-2,183],[82,-1,191],[86,0,200],[89,0,208],[92,1,216],[96,1,221],[98,2,229],[103,2,238],[106,2,246],[106,2,253],[108,2,262],[109,2,270],[110,2,278],[111,2,284],[112,2,292],[115,2,300],[118,2,308],[119,2,316],[121,2,324],[122,3,332],[124,3,348],[125,3,354],[126,3,371],[126,3,378],[127,3,393],[128,3,403],[129,3,409],[130,3,418],[132,4,423],[133,4,439],[134,4,448],[134,4,455],[135,4,472],[136,4,502],[137,4,510],[138,5,518],[138,5,525],[139,5,533],[140,5,542],[141,5,550],[142,5,563],[142,5,649],[143,5,666],[144,5,674],[145,5,681],[146,5,695],[146,5,704],[147,5,728],[148,5,735],[149,5,752],[150,5,851],[150,5,859],[151,5,875],[152,5,889],[153,5,967],[155,5,975],[156,5,991],[157,5,999],[158,5,1123],[158,5,1139],[159,5,1148],[160,5,1170],[161,5,1177],[162,5,2632],[162,5,3253]],
[[-38,-27,0],[0,0,0],[0,-1,2],[2,-1,96],[3,-1,104],[5,-1,112],[7,-1,120],[10,-1,129],[12,-1,134],[14,-1,143],[19,-1,150],[22,-1,158],[23,0,166],[24,0,175],[26,0,182],[27,0,190],[29,0,205],[30,0,213],[32,0,220],[34,0,228],[37,0,236],[41,0,244],[43,1,252],[48,1,261],[52,1,266],[54,1,275],[58,1,282],[61,1,290],[63,1,298],[64,1,306],[66,1,314],[66,1,322],[67,1,331],[68,1,337],[70,2,344],[71,2,352],[73,2,360],[74,2,368],[75,2,377],[77,2,384],[78,2,393],[79,2,398],[80,2,406],[81,2,414],[82,2,422],[82,2,430],[83,2,438],[84,2,446],[85,2,455],[87,2,462],[90,2,469],[91,2,477],[95,2,484],[98,2,492],[100,2,500],[101,2,508],[102,2,516],[102,2,524],[103,2,532],[104,2,546],[105,2,554],[106,2,578],[106,2,586],[108,2,602],[109,2,608],[110,2,624],[110,2,632],[111,2,719],[112,2,734],[113,2,810],[113,2,2989]],
[[-17,-18,0],[0,0,0],[0,0,1],[1,0,43],[2,0,51],[2,0,59],[6,0,67],[7,0,76],[8,0,83],[10,0,91],[12,0,98],[13,0,107],[15,0,113],[17,0,121],[18,0,129],[22,0,137],[25,0,145],[28,0,153],[30,0,161],[33,0,168],[36,0,177],[38,0,183],[40,0,192],[43,1,199],[46,1,207],[46,1,215],[48,1,222],[50,1,231],[50,1,239],[51,1,245],[52,1,253],[54,1,262],[57,1,270],[58,1,277],[61,1,285],[62,1,292],[64,1,302],[66,1,309],[67,1,315],[68,1,331],[69,1,339],[70,1,363],[70,1,372],[71,1,385],[72,1,393],[73,1,402],[74,1,409],[74,1,417],[75,1,463],[76,1,603],[77,1,611],[78,1,713],[78,1,736],[79,1,985],[80,1,1670],[81,1,1699],[81,1,2197]],
[[-41,-27,0],[0,0,0],[3,0,379],[6,0,387],[10,0,394],[11,0,404],[14,0,408],[14,0,417],[16,0,424],[18,0,432],[19,0,449],[20,0,459],[21,0,473],[22,0,480],[24,1,494],[26,1,502],[28,2,510],[30,2,519],[33,2,527],[34,2,535],[36,2,540],[38,2,549],[38,3,556],[40,3,564],[41,4,572],[42,4,581],[42,4,589],[43,4,597],[44,5,611],[45,5,619],[46,6,627],[46,6,634],[48,6,642],[49,6,651],[50,6,658],[51,6,667],[53,6,675],[55,6,682],[56,6,689],[58,6,696],[59,6,704],[62,6,712],[64,6,720],[65,6,728],[66,6,737],[69,6,742],[70,6,750],[71,6,758],[72,6,766],[74,6,774],[76,6,782],[77,6,790],[78,6,799],[79,6,806],[82,6,814],[84,6,820],[85,6,828],[87,6,836],[90,6,845],[93,6,852],[94,6,860],[98,6,869],[100,6,876],[102,6,883],[104,6,890],[107,6,898],[109,6,906],[113,6,914],[115,6,923],[118,6,931],[118,6,938],[120,6,946],[122,6,953],[122,6,960],[123,6,968],[124,6,977],[126,6,987],[126,6,992],[127,6,1001],[129,6,1008],[130,6,1015],[130,6,1026],[132,6,1030],[133,6,1040],[137,6,1055],[138,6,1063],[139,6,1071],[141,6,1078],[142,6,1088],[145,6,1101],[146,6,1109],[147,6,1117],[147,5,1124],[148,5,1133],[149,5,1140],[150,5,1154],[150,5,1162],[151,5,1171],[152,5,1179],[153,5,1195],[154,5,1202],[154,4,1233],[155,4,1241],[156,4,1272],[157,4,1295],[158,4,1326],[158,4,1356],[159,4,1445],[160,4,1466],[161,4,1474],[162,4,1488],[162,4,1529],[163,4,1623],[164,4,1645],[165,4,1769],[166,4,1849],[166,4,1862],[167,4,1936],[168,4,2102],[169,4,2258],[169,4,2710]],
[[-40,-23,0],[0,0,0],[1,0,85],[2,0,99],[2,0,107],[5,0,115],[7,-1,123],[10,-1,131],[14,-1,138],[19,-1,146],[22,-1,155],[26,-1,163],[28,-1,169],[29,-1,177],[31,-2,185],[32,-2,193],[34,-2,200],[35,-2,209],[38,-2,217],[41,-2,224],[44,-2,231],[48,-2,238],[52,-2,247],[56,-2,255],[59,-2,263],[62,-2,270],[66,-2,278],[67,-2,286],[69,-3,295],[70,-3,301],[70,-3,309],[71,-3,325],[72,-3,332],[73,-3,341],[76,-3,348],[78,-4,357],[80,-4,363],[82,-4,371],[85,-4,379],[86,-4,387],[87,-4,395],[88,-4,402],[90,-4,411],[91,-4,428],[92,-4,449],[93,-4,457],[94,-4,464],[94,-4,473],[95,-4,482],[96,-4,497],[97,-4,502],[98,-4,519],[99,-4,551],[100,-4,567],[101,-4,581],[102,-4,588],[102,-4,605],[103,-4,621],[103,-5,629],[104,-5,658],[105,-6,682],[106,-6,699],[106,-6,713],[107,-6,798],[108,-6,823],[109,-7,885],[110,-7,894],[110,-8,901],[110,-8,931],[111,-8,955],[111,-9,963],[112,-9,977],[112,-10,992],[113,-10,1009],[114,-10,1025],[114,-10,1080],[115,-10,1095],[116,-10,1116],[117,-10,1344],[117,-10,1935]],
[[-24,-21,0],[0,0,0],[1,0,83],[2,0,91],[6,0,99],[8,0,107],[11,0,115],[14,0,123],[19,0,129],[24,0,137],[29,0,145],[34,0,153],[43,0,161],[49,0,169],[54,0,177],[58,0,185],[62,0,191],[67,1,199],[70,1,207],[74,2,215],[77,2,223],[82,2,231],[85,2,240],[89,2,247],[91,2,256],[94,2,264],[96,3,270],[99,3,278],[102,3,285],[109,4,293],[113,5,301],[117,5,309],[122,6,317],[127,6,326],[131,6,331],[135,7,340],[138,7,347],[142,8,355],[147,10,363],[150,10,372],[152,10,380],[154,10,387],[157,10,393],[158,10,401],[160,10,410],[162,10,417],[163,10,433],[164,10,441],[164,11,449],[165,11,457],[166,11,465],[166,11,472],[167,11,480],[169,11,487],[170,11,495],[172,11,503],[174,11,512],[175,11,519],[178,11,527],[179,11,535],[182,11,542],[183,11,550],[184,11,557],[185,11,565],[185,10,759],[184,10,869],[183,10,875],[182,10,891],[182,10,899],[181,10,908],[180,10,916],[178,10,923],[178,10,937],[177,10,953],[175,10,986],[174,10,993],[174,10,1001],[172,10,1009],[171,10,1015],[170,10,1024],[169,10,1032],[168,10,1094],[168,10,1560]],
[[-45,-27,0],[0,0,0],[0,0,1],[0,1,98],[2,1,107],[2,1,114],[4,1,124],[6,1,128],[7,2,137],[9,2,144],[10,2,152],[12,2,160],[14,2,169],[15,2,176],[18,3,185],[19,3,193],[21,3,199],[22,4,207],[23,4,214],[24,4,222],[26,4,231],[27,4,238],[28,4,246],[31,4,254],[33,4,263],[34,4,269],[36,4,277],[38,4,284],[39,4,292],[42,4,301],[45,4,309],[49,4,316],[50,4,325],[53,4,332],[55,3,339],[57,3,346],[58,3,354],[61,3,362],[62,3,371],[63,3,378],[64,2,387],[65,2,395],[66,2,402],[67,2,409],[70,2,416],[72,2,424],[73,2,433],[75,2,440],[79,2,449],[82,2,457],[83,2,464],[86,2,470],[88,2,478],[89,1,486],[91,1,495],[94,1,503],[97,1,510],[98,1,519],[99,1,527],[101,0,533],[102,0,540],[104,0,548],[106,0,557],[108,0,565],[110,0,573],[112,0,582],[114,-1,589],[115,-1,596],[116,-1,603],[117,-1,610],[118,-1,618],[118,-1,635],[119,-1,643],[120,-1,651],[121,-2,673],[122,-2,680],[122,-2,697],[124,-2,714],[125,-2,729],[126,-2,742],[126,-2,758],[127,-2,775],[128,-2,783],[128,-2,791],[129,-2,891],[129,-2,1575]],
[[-31,-35,0],[0,0,0],[2,0,92],[4,0,99],[6,0,106],[10,0,114],[14,0,123],[18,0,131],[25,0,139],[31,0,148],[41,0,156],[45,0,162],[49,0,169],[53,0,176],[58,0,184],[60,0,193],[62,0,201],[66,0,208],[70,0,218],[74,0,225],[78,1,232],[81,1,238],[84,1,246],[88,2,255],[92,2,263],[96,2,271],[99,2,280],[105,2,287],[108,2,294],[111,2,301],[114,2,308],[118,2,316],[120,2,326],[122,2,334],[124,2,341],[126,2,350],[128,2,357],[129,2,364],[130,2,370],[133,2,378],[134,2,386],[136,2,394],[138,3,402],[140,3,410],[143,3,419],[145,3,426],[146,3,432],[147,3,440],[150,3,448],[150,3,456],[151,3,465],[152,4,473],[154,4,481],[154,4,488],[155,4,502],[154,4,682],[154,4,690],[152,4,698],[150,4,704],[150,4,712],[148,4,721],[146,4,729],[144,4,737],[141,4,745],[138,4,753],[138,5,760],[137,5,769],[136,5,774],[135,5,791],[134,5,807],[134,5,815],[133,5,877],[132,5,885],[131,5,902],[130,5,906],[130,5,915],[129,5,1265],[129,5,1787]],
[[-36,-30,0],[0,0,0],[0,0,1],[2,0,56],[2,0,64],[4,0,71],[6,0,80],[9,0,87],[13,0,96],[18,1,105],[26,1,112],[34,1,120],[44,1,127],[51,1,134],[58,1,141],[63,1,150],[69,1,158],[71,1,166],[77,1,173],[80,1,182],[85,0,189],[89,0,196],[93,0,203],[97,0,211],[102,0,220],[106,0,228],[111,-1,236],[115,-1,245],[121,-1,252],[130,-2,259],[136,-2,265],[140,-2,273],[142,-2,281],[146,-3,290],[148,-3,297],[150,-3,305],[150,-4,314],[152,-4,321],[154,-4,329],[157,-5,343],[158,-5,351],[160,-5,359],[162,-5,368],[163,-5,376],[166,-5,384],[168,-5,391],[169,-5,398],[170,-5,405],[170,-5,413],[171,-5,461],[170,-5,639],[170,-5,678],[169,-5,686],[167,-5,702],[166,-5,710],[166,-5,717],[165,-5,725],[164,-5,734],[163,-5,739],[162,-5,756],[162,-5,780],[161,-5,787],[160,-5,801],[159,-5,818],[158,-5,825],[158,-6,842],[157,-6,858],[155,-6,871],[154,-6,880],[153,-6,888],[152,-6,896],[151,-6,904],[150,-6,920],[150,-6,974],[149,-6,1012],[148,-6,1068],[147,-6,1098],[146,-6,1208],[146,-6,1736]],
[[-40,-18,0],[0,0,0],[0,0,2],[1,0,86],[2,-1,94],[3,-1,103],[5,-1,111],[6,-1,118],[7,-1,126],[9,-1,134],[10,-1,141],[14,-1,148],[16,-1,156],[18,-1,164],[21,0,172],[23,0,181],[26,0,189],[28,1,196],[31,1,204],[37,2,211],[38,2,218],[42,2,226],[45,2,235],[47,2,242],[50,2,250],[52,2,259],[55,2,266],[57,2,273],[61,2,280],[63,2,288],[66,2,296],[69,2,304],[73,2,312],[76,2,321],[79,2,329],[82,2,336],[87,2,342],[90,2,350],[90,2,358],[91,2,366],[92,2,374],[93,2,436],[94,2,445],[94,2,453],[96,2,461],[98,2,468],[101,2,474],[102,2,482],[103,2,490],[105,2,506],[106,1,515],[107,1,530],[108,1,538],[109,1,585],[110,1,592],[110,1,608],[111,1,614],[112,1,622],[113,1,631],[114,1,639],[115,1,646],[117,1,662],[118,1,670],[118,1,676],[119,1,684],[120,1,700],[121,1,716],[122,1,732],[122,1,740],[123,1,754],[124,1,762],[125,1,794],[126,1,810],[126,0,816],[126,0,832],[127,0,878],[128,0,956],[129,0,988],[130,0,1004],[130,-1,1066],[131,-1,1074],[132,-1,1088],[133,-1,1152],[134,-1,1167],[134,-2,1174],[134,-2,1182],[135,-2,1190],[136,-2,1285],[136,-2,1780]],
[[-33,-15,0],[0,0,0],[0,0,1],[2,0,275],[2,0,283],[3,0,292],[4,0,299],[5,0,313],[6,0,320],[6,0,329],[7,0,337],[9,0,345],[10,0,353],[11,0,361],[12,0,367],[14,0,375],[16,0,383],[17,0,390],[18,0,399],[20,0,406],[21,0,415],[22,0,423],[22,0,431],[23,0,437],[25,0,445],[26,0,462],[28,0,469],[30,0,477],[32,0,485],[34,0,493],[37,0,499],[40,0,507],[42,0,515],[44,0,523],[46,0,531],[48,0,539],[49,0,569],[50,0,577],[51,0,601],[52,0,609],[53,0,617],[54,0,625],[55,0,631],[56,0,639],[58,0,647],[58,0,654],[59,0,663],[60,0,671],[61,0,679],[62,0,687],[62,0,695],[63,0,703],[65,0,709],[66,0,717],[67,0,725],[68,0,733],[70,0,741],[72,0,749],[73,0,764],[74,0,771],[74,0,779],[75,1,795],[76,1,803],[77,1,819],[78,1,827],[79,1,841],[80,1,848],[81,1,858],[82,1,865],[83,1,873],[84,1,881],[85,1,889],[86,1,897],[86,1,905],[87,1,911],[88,1,927],[90,1,935],[90,2,951],[91,2,958],[92,2,968],[94,2,981],[95,2,997],[97,2,1006],[98,2,1013],[98,2,1021],[99,2,1029],[100,2,1037],[101,2,1051],[102,2,1059],[102,2,1083],[103,2,1090],[104,2,1113],[105,2,1121],[106,2,1129],[106,3,1136],[107,3,1145],[108,3,1153],[109,3,1175],[110,3,1183],[110,3,1207],[111,3,1215],[112,3,1231],[113,3,1239],[114,3,1253],[114,3,1269],[115,3,1277],[116,3,1301],[117,3,1315],[118,3,1385],[118,3,1401],[119,3,1409],[121,3,1518],[122,3,1525],[122,3,1534],[123,3,1541],[123,4,1549],[124,4,1603],[125,4,1681],[126,4,2303],[126,4,2700]],
[[-29,-29,0],[0,0,0],[2,1,30],[5,1,38],[9,1,46],[17,1,54],[26,1,60],[35,1,68],[51,1,76],[62,1,84],[71,1,93],[79,1,100],[87,1,108],[94,1,116],[101,1,124],[106,1,130],[110,1,138],[117,1,146],[120,1,155],[123,1,162],[126,1,170],[129,1,178],[132,1,186],[134,1,195],[136,1,200],[138,1,208],[141,1,216],[142,1,224],[143,1,232],[146,2,240],[146,2,248],[148,2,256],[149,2,262],[150,2,271],[153,2,279],[154,2,294],[154,2,302],[155,2,310],[155,2,318],[157,2,332],[159,2,348],[162,2,356],[163,2,364],[166,2,372],[168,2,380],[170,2,388],[174,2,396],[177,2,402],[180,2,410],[182,2,418],[183,2,426],[184,2,434],[185,2,450],[186,2,472],[186,2,496],[187,2,504],[188,2,534],[189,2,550],[190,2,558],[191,2,574],[192,2,582],[193,2,599],[194,2,620],[194,2,900]],
[[-40,-23,0],[0,0,0],[2,0,60],[4,-1,67],[6,-1,76],[9,-1,84],[12,-1,92],[16,-1,100],[21,-1,108],[26,-1,113],[37,-1,122],[44,-1,129],[52,-1,137],[59,-1,146],[66,-1,154],[72,-1,162],[78,-1,170],[82,-1,177],[85,0,185],[89,0,192],[91,0,199],[94,0,207],[95,0,217],[97,1,224],[100,1,232],[102,1,240],[105,1,247],[111,1,254],[115,1,261],[118,1,269],[121,1,278],[124,1,286],[126,1,294],[129,1,302],[130,1,309],[130,1,316],[131,1,324],[132,1,331],[133,1,339],[134,1,356],[136,2,364],[138,2,372],[140,2,379],[142,2,386],[144,2,393],[146,2,401],[147,2,410],[148,2,417],[149,2,427],[150,2,434],[150,2,442],[151,2,448],[152,2,455],[154,2,463],[155,2,471],[156,2,480],[158,2,488],[159,2,497],[160,2,503],[162,2,511],[162,2,518],[165,2,525],[166,2,534],[166,2,542],[167,2,550],[168,2,559],[169,2,567],[170,2,573],[171,2,581],[172,2,587],[174,2,595],[174,2,603],[175,2,611],[176,2,619],[177,2,1109],[178,2,2733],[178,2,3184],[179,2,5198],[179,2,5454]],
[[-28,-34,0],[0,0,0],[0,1,23],[2,1,38],[3,2,45],[6,2,54],[10,2,62],[13,2,69],[20,2,78],[25,2,85],[30,2,93],[36,2,102],[42,2,107],[48,2,119],[55,2,124],[62,2,131],[67,2,139],[73,2,147],[77,2,155],[78,2,163],[80,2,169],[82,2,177],[84,2,186],[86,2,194],[89,2,201],[92,2,209],[97,2,217],[100,2,226],[104,2,234],[108,2,240],[111,2,248],[114,2,256],[116,2,263],[118,2,271],[119,2,279],[120,2,288],[122,2,295],[122,2,302],[124,2,309],[125,3,319],[126,3,326],[128,3,333],[130,4,350],[131,4,357],[133,4,366],[134,4,374],[135,4,379],[138,4,388],[141,4,395],[143,4,403],[146,4,411],[152,4,420],[154,4,427],[158,3,436],[160,3,441],[161,3,450],[162,3,458],[164,3,465],[166,3,527],[166,3,535],[167,3,543],[169,3,552],[170,3,560],[170,3,568],[171,3,630],[172,3,659],[172,4,675],[173,4,737],[174,4,832],[174,4,847],[175,4,853],[176,4,931],[177,4,948],[178,4,964],[178,4,972],[179,4,985],[180,4,1181],[181,4,1577],[182,4,1982],[182,4,2105],[183,4,2378],[184,4,2401],[185,5,2572],[185,5,2962]],
[[-37,-20,0],[0,0,0],[0,0,1],[1,0,48],[3,0,57],[6,0,64],[9,0,72],[11,0,80],[14,0,86],[17,0,94],[22,2,102],[25,2,111],[28,2,119],[31,2,126],[35,3,134],[38,3,142],[41,4,150],[44,5,158],[48,5,164],[54,6,172],[57,6,180],[59,6,189],[62,6,196],[63,6,204],[65,7,212],[66,7,220],[68,7,235],[69,7,242],[70,8,266],[70,8,283],[71,8,297],[72,9,304],[73,9,313],[74,9,328],[74,9,336],[76,9,352],[77,10,361],[78,10,367],[79,10,374],[80,10,383],[82,10,391],[82,10,398],[83,10,406],[84,10,414],[85,10,422],[87,10,436],[89,10,453],[90,10,460],[90,10,484],[91,10,600],[92,10,616],[93,10,625],[94,10,631],[94,10,647],[95,10,662],[96,10,810],[97,10,826],[98,10,848],[98,10,856],[98,10,873],[99,10,934],[100,9,951],[101,9,959],[102,8,967],[102,8,973],[103,8,981],[104,8,988],[105,8,996],[106,8,1012],[106,7,1020],[106,6,1035],[107,6,1043],[108,6,1058],[109,6,1091],[109,6,1564]],
[[-36,-8,0],[0,0,0],[1,0,113],[2,0,122],[4,-1,130],[6,-1,137],[9,-1,144],[10,-1,153],[13,-1,160],[16,-1,167],[19,-1,175],[21,-1,183],[23,-1,192],[26,-1,200],[26,-1,208],[29,-1,213],[31,-1,222],[32,-1,230],[36,0,237],[39,0,245],[42,0,255],[46,1,261],[48,1,270],[52,1,279],[55,2,284],[58,2,292],[62,2,299],[66,2,307],[68,2,315],[70,2,324],[71,3,331],[74,3,341],[75,3,345],[77,3,354],[79,4,362],[81,4,369],[84,4,377],[88,4,385],[92,5,394],[97,5,403],[101,5,411],[105,5,416],[109,6,424],[112,6,432],[117,6,439],[120,6,447],[123,6,455],[126,6,464],[127,6,472],[130,6,480],[131,7,487],[133,7,494],[134,7,502],[138,8,509],[139,8,518],[141,8,526],[142,9,535],[143,9,542],[145,9,548],[146,10,556],[147,10,564],[150,10,571],[151,10,579],[152,10,588],[154,11,596],[155,11,604],[157,11,612],[158,11,619],[160,11,626],[161,11,633],[162,11,641],[163,12,649],[164,12,658],[166,12,665],[167,12,681],[168,12,688],[168,13,704],[169,13,712],[170,13,721],[170,13,744],[171,13,751],[172,13,758],[173,13,774],[174,13,790],[174,13,806],[175,13,813],[176,13,827],[177,13,852],[178,13,984],[179,13,1007],[180,13,1022],[181,13,1077],[182,13,1218],[182,13,1227],[184,13,1241],[185,13,1256],[186,13,1264],[186,14,1272],[186,14,1279],[186,14,1770]],
[[-23,-13,0],[0,0,0],[0,0,4],[2,0,100],[7,0,107],[10,0,115],[14,0,124],[18,0,132],[22,0,140],[26,0,146],[30,0,154],[31,0,163],[34,0,170],[37,0,177],[38,0,186],[38,1,194],[40,1,201],[41,2,210],[42,2,216],[44,2,225],[45,2,232],[46,2,240],[50,2,247],[52,2,257],[54,2,264],[56,3,272],[58,3,281],[59,3,286],[61,3,294],[63,3,302],[65,3,309],[67,3,318],[70,3,326],[71,3,334],[74,3,343],[76,3,350],[78,3,356],[81,3,364],[84,3,372],[89,4,380],[91,4,388],[94,4,396],[96,5,404],[98,5,413],[100,5,418],[102,5,427],[103,5,434],[104,5,441],[107,5,450],[109,5,458],[110,5,466],[111,5,474],[114,5,482],[115,5,489],[118,6,496],[119,6,503],[120,6,512],[122,6,521],[124,6,528],[125,6,536],[126,6,544],[127,6,550],[129,6,558],[130,6,566],[132,6,582],[135,6,590],[136,6,599],[138,7,607],[140,7,615],[141,7,621],[142,7,628],[144,8,636],[145,8,643],[146,8,652],[149,9,660],[150,9,677],[151,9,684],[152,9,698],[153,9,705],[154,9,730],[154,9,746],[155,9,767],[156,9,784],[157,9,800],[158,10,822],[158,10,846],[158,10,1694]],
[[-31,-19,0],[0,0,0],[0,1,60],[1,1,98],[1,2,105],[2,2,114],[2,2,122],[3,2,130],[4,2,139],[5,2,144],[6,2,153],[7,2,160],[9,2,167],[10,2,175],[11,2,184],[12,2,192],[14,2,200],[15,2,208],[17,2,214],[18,1,222],[21,1,229],[22,1,237],[26,1,245],[28,1,254],[31,0,262],[33,-1,270],[35,-1,276],[37,-1,284],[38,-1,292],[38,-1,299],[39,-1,307],[40,-1,315],[41,-1,323],[42,-1,332],[42,-2,346],[44,-2,354],[45,-2,362],[46,-2,369],[49,-2,377],[50,-2,386],[53,-3,394],[54,-3,403],[55,-3,409],[56,-4,416],[57,-4,424],[58,-4,431],[58,-4,439],[59,-4,448],[60,-4,464],[61,-4,472],[62,-4,479],[62,-4,487],[63,-4,494],[64,-4,502],[66,-4,509],[66,-4,526],[68,-4,533],[69,-4,546],[71,-4,556],[72,-4,566],[73,-4,580],[74,-4,588],[74,-4,604],[76,-4,721],[78,-4,736],[78,-4,744],[79,-4,750],[80,-4,758],[81,-4,765],[82,-5,782],[82,-5,790],[83,-5,868],[83,-6,882],[84,-6,889],[85,-6,897],[86,-6,907],[87,-6,917],[89,-6,930],[90,-6,938],[90,-6,946],[91,-6,952],[92,-6,969],[93,-6,1108],[94,-6,1140],[94,-6,1606]],
[[-25,-25,0],[0,0,0],[1,0,4],[2,1,19],[3,1,27],[4,1,35],[6,1,43],[6,2,51],[7,2,67],[8,2,74],[9,2,89],[10,2,97],[10,2,106],[11,2,114],[12,2,121],[13,2,128],[14,2,138],[15,2,143],[18,2,151],[19,2,159],[21,2,167],[22,2,175],[26,2,183],[28,2,191],[30,2,199],[34,2,205],[36,2,212],[38,3,221],[40,3,229],[42,3,237],[44,3,246],[48,3,253],[50,3,261],[52,3,268],[54,3,277],[56,3,282],[58,3,290],[59,3,299],[62,4,307],[62,4,315],[64,4,323],[66,4,331],[67,4,345],[69,4,353],[70,4,362],[70,4,368],[71,4,378],[73,4,385],[75,4,393],[76,4,400],[78,4,407],[78,4,415],[80,4,423],[82,4,432],[83,4,447],[84,4,455],[85,4,462],[86,4,471],[86,4,501],[87,4,563],[88,4,571],[89,4,649],[90,4,735],[90,4,797],[91,4,875],[92,4,889],[92,3,905],[93,3,1000],[94,3,1038],[94,2,1078],[95,2,1091],[96,2,1099],[96,1,1114],[97,1,1551],[98,1,1650],[98,1,2017]],
[[-40,-29,0],[0,0,0],[5,0,91],[12,0,98],[18,0,106],[26,1,114],[36,1,122],[41,2,130],[43,2,136],[46,2,144],[50,2,152],[52,2,160],[54,2,169],[56,2,177],[60,3,184],[63,3,192],[66,3,200],[69,4,206],[72,4,214],[75,4,222],[79,4,230],[82,4,239],[85,5,247],[90,5,254],[91,5,262],[93,5,270],[95,5,279],[96,5,284],[97,5,292],[98,5,301],[98,6,309],[100,6,316],[102,6,324],[103,6,332],[105,6,341],[106,7,346],[107,7,354],[108,7,362],[109,8,370],[110,8,378],[110,8,386],[112,8,394],[113,8,402],[114,8,408],[114,9,417],[116,9,425],[117,10,432],[118,10,441],[119,10,448],[121,10,456],[123,10,464],[124,10,473],[125,10,478],[126,10,486],[126,11,494],[126,11,502],[127,11,518],[128,11,526],[130,11,540],[130,11,548],[131,11,564],[132,11,573],[134,12,588],[134,12,596],[135,12,610],[136,12,626],[136,13,635],[137,13,696],[138,13,712],[138,13,720],[139,13,807],[139,14,837],[140,14,930],[141,14,1017],[142,14,1031],[142,14,1046],[143,14,1427],[144,14,1630],[145,14,1661],[146,14,1776],[146,14,1785],[146,14,2180]],
[[-32,-26,0],[0,0,0],[1,0,39],[2,0,53],[4,0,61],[7,0,68],[12,0,76],[18,0,85],[26,0,92],[34,0,101],[43,0,109],[51,1,117],[59,1,123],[73,2,130],[79,3,138],[86,4,146],[93,4,154],[98,5,163],[104,6,170],[109,8,179],[113,9,186],[118,10,193],[126,10,200],[130,11,208],[134,12,217],[140,12,225],[144,13,234],[149,14,241],[151,14,248],[154,14,255],[158,14,263],[162,14,270],[164,14,278],[165,15,287],[167,15,295],[169,15,303],[170,16,311],[170,16,318],[172,16,325],[173,16,332],[174,17,340],[176,17,349],[177,17,357],[178,17,365],[178,18,373],[179,18,582],[180,18,714],[181,17,736],[182,17,753],[182,17,884],[183,17,908],[184,16,930],[185,16,954],[185,15,971],[186,15,1639],[186,15,1935]],
[[-32, -26, 0], [0, 0, 0], [0, 0, 135], [2, 0, 143], [4, 0, 150], [6, 0, 159], [8, 0, 167], [11, 0, 174],
[14, 0, 182], [17, 0, 191], [20, 0, 198], [23, 0, 207], [26, 0, 214], [28, 0, 223], [31, 0, 231],
[34, 0, 238], [37, 0, 247], [38, 0, 253], [40, 0, 263], [43, 0, 269], [45, 0, 278], [48, 0, 285],
[49, 0, 294], [51, 0, 301], [52, 0, 309], [53, -1, 317], [54, -1, 326], [55, -1, 333], [56, -2, 341],
[57, -2, 348], [58, -2, 358], [59, -2, 364], [60, -3, 373], [61, -3, 380], [62, -3, 389], [63, -3, 397],
[64, -3, 404], [64, -3, 414], [65, -4, 420], [65, -4, 428], [66, -4, 435], [66, -4, 445], [66, -4, 451],
[66, -4, 461], [67, -4, 467], [67, -4, 476], [67, -4, 482], [67, -4, 490], [68, -4, 498], [68, -4, 506],
[69, -4, 514], [70, -5, 522], [71, -5, 530], [72, -5, 537], [73, -5, 546], [74, -5, 553], [75, -5, 561],
[76, -5, 569], [76, -5, 577], [77, -5, 585], [77, -5, 593], [78, -5, 601], [78, -5, 609], [78, -5, 617],
[78, -5, 632], [79, -5, 972], [79, -5, 980], [79, -5, 1004], [79, -5, 1028], [80, -5, 1051],
[80, -5, 1075], [80, -5, 1099], [80, -5, 1122], [80, -5, 1261]],
[[-40, -21, 0], [0, 0, 0], [1, 0, 113], [2, 0, 122], [4, 0, 129], [7, 0, 136], [10, 0, 144], [15, 0, 152],
[19, 0, 161], [29, 0, 168], [35, 0, 178], [41, 0, 184], [44, 0, 195], [51, 0, 200], [57, 0, 208],
[63, 0, 216], [68, 0, 224], [74, 0, 231], [80, 0, 239], [85, 0, 247], [87, 0, 254], [91, 0, 263],
[94, 0, 270], [98, 0, 278], [100, 0, 287], [102, 0, 295], [103, 0, 302], [105, 0, 311], [105, 0, 318],
[106, 0, 328], [106, 0, 335], [106, 0, 342], [107, 0, 350], [107, 0, 358], [107, 0, 381], [107, 0, 445],
[108, 0, 453], [109, 0, 461], [109, 0, 470], [111, 0, 479], [113, 0, 485], [115, 0, 495], [116, 0, 500],
[119, 0, 509], [121, 0, 516], [123, 0, 525], [125, 0, 532], [127, 0, 540], [128, 0, 547], [129, 0, 557],
[131, 0, 563], [131, 0, 572], [132, 0, 579], [132, 0, 587], [132, 0, 596], [133, 0, 603], [133, 0, 612],
[133, 0, 619], [133, 0, 880], [133, 0, 896], [132, 0, 904], [132, 0, 912], [132, 0, 919], [132, 0, 929],
[131, 0, 935], [131, 0, 946], [131, 0, 952], [130, 0, 958], [130, 0, 966], [129, 1, 975], [129, 1, 982],
[129, 1, 991], [129, 1, 998], [128, 1, 1007], [128, 1, 1014], [127, 1, 1023], [127, 1, 1029],
[126, 1, 1037], [126, 1, 1046], [125, 1, 1054], [124, 1, 1063], [123, 1, 1069], [123, 1, 1079],
[122, 1, 1085], [121, 1, 1096], [121, 1, 1101], [121, 1, 1110], [120, 1, 1116], [120, 1, 1125],
[120, 1, 1132], [119, 1, 1142], [119, 1, 1156], [119, 1, 1472], [120, 1, 1513], [120, 1, 1561],
[120, 1, 1599], [120, 1, 1622], [121, 1, 1646], [121, 1, 1663], [121, 1, 1686], [121, 1, 1701],
[122, 1, 1717], [122, 1, 1742], [122, 1, 1757], [122, 1, 1797], [123, 1, 1819], [123, 1, 1853],
[123, 1, 1892], [123, 1, 2181]],
[[-37, -39, 0], [0, 0, 0], [0, 0, 1], [0, 0, 176], [1, 0, 182], [3, 0, 190], [5, 0, 199], [8, 0, 206],
[11, 0, 216], [14, 0, 221], [18, 0, 231], [22, 0, 239], [26, 0, 246], [30, 0, 253], [34, 0, 261],
[37, 0, 269], [42, 0, 278], [45, 0, 284], [47, 0, 294], [51, 0, 300], [54, 0, 309], [57, 0, 316],
[60, 1, 325], [64, 1, 332], [65, 1, 342], [68, 1, 348], [71, 1, 356], [73, 1, 366], [75, 1, 373],
[78, 1, 382], [80, 2, 389], [82, 2, 396], [85, 2, 403], [87, 2, 411], [89, 2, 419], [91, 2, 427],
[93, 2, 434], [94, 2, 444], [96, 2, 451], [98, 2, 460], [99, 2, 466], [101, 2, 474], [103, 2, 482],
[104, 2, 491], [106, 2, 500], [108, 2, 506], [109, 2, 516], [111, 2, 522], [112, 2, 532], [114, 2, 537],
[114, 2, 546], [116, 2, 553], [117, 2, 562], [118, 2, 569], [119, 2, 578], [120, 2, 587], [121, 2, 593],
[122, 2, 601], [123, 2, 610], [124, 2, 617], [125, 2, 624], [126, 2, 632], [127, 2, 641], [127, 2, 649],
[128, 2, 656], [128, 2, 666], [129, 2, 672], [129, 2, 683], [130, 2, 688], [131, 2, 697], [131, 2, 703],
[132, 2, 712], [133, 2, 719], [133, 2, 728], [134, 2, 735], [134, 2, 744], [135, 2, 751], [135, 2, 759],
[135, 2, 767], [136, 2, 775], [136, 3, 782], [136, 3, 790], [137, 3, 798], [137, 3, 806], [137, 3, 815],
[137, 3, 832], [138, 3, 901], [138, 3, 1318]],
[[-29, -24, 0], [0, 0, 0], [0, 0, 133], [2, 0, 143], [4, 0, 149], [7, 0, 158], [12, 0, 165], [15, 0, 172],
[20, 0, 181], [24, 0, 188], [29, 0, 197], [34, 0, 203], [39, 0, 214], [44, 0, 220], [50, 0, 229],
[55, 0, 236], [59, 0, 245], [60, 0, 251], [64, 0, 261], [67, 0, 267], [70, 0, 276], [73, 0, 283],
[75, 0, 292], [77, 0, 299], [79, 0, 308], [81, 0, 315], [82, 0, 324], [83, 0, 332], [85, 0, 340],
[86, 0, 348], [87, 0, 355], [88, 0, 363], [89, 0, 371], [91, 0, 379], [92, 0, 386], [94, 0, 395],
[95, 0, 402], [97, 0, 411], [98, 0, 417], [100, 0, 427], [101, 0, 433], [103, 0, 442], [104, 0, 449],
[105, 0, 458], [106, 0, 465], [107, 0, 474], [108, 0, 482], [109, 0, 488], [110, 0, 498], [111, 0, 504],
[112, 0, 516], [113, 0, 520], [114, 0, 529], [114, 0, 536], [114, 0, 545], [115, 0, 552], [115, 0, 560],
[115, 0, 567], [115, 0, 577], [116, 0, 593], [115, 0, 1010], [115, 0, 1018], [115, 0, 1027],
[115, 0, 1042], [115, 0, 1058], [114, 0, 1082], [114, 0, 1114], [114, 0, 1655]],
[[-43, -30, 0], [0, 0, 0], [0, 0, 2], [0, 0, 173], [1, 0, 181], [4, 0, 188], [6, 0, 196], [10, 0, 204],
[15, 0, 212], [20, 0, 220], [26, 0, 229], [30, 0, 236], [35, 0, 244], [39, 0, 252], [43, 0, 262],
[48, 0, 268], [51, 0, 277], [53, 0, 284], [56, 0, 293], [59, 0, 300], [61, 0, 309], [63, 0, 316],
[64, 0, 325], [66, 0, 332], [66, 0, 340], [67, 0, 347], [68, 0, 356], [69, 0, 364], [69, 0, 372],
[69, 0, 381], [70, 0, 387], [70, 0, 398], [70, 0, 402], [70, 0, 428], [71, 0, 434], [71, 0, 444],
[72, 0, 450], [72, 0, 460], [74, 0, 466], [75, 0, 475], [76, 0, 481], [77, 0, 491], [79, 0, 498],
[80, 0, 506], [81, 0, 514], [82, 0, 521], [82, 0, 531], [83, 0, 537], [83, 0, 548], [83, 0, 552],
[84, 0, 563], [84, 0, 578], [84, 0, 1589], [84, 0, 1598], [84, 0, 1610]],
[[-40, -17, 0], [0, 0, 0], [1, 0, 190], [2, 0, 199], [4, 0, 208], [6, 0, 214], [8, 0, 224], [11, 0, 229],
[14, 0, 240], [15, 0, 245], [18, 0, 254], [21, 0, 261], [23, 0, 269], [25, 0, 276], [27, 0, 284],
[28, 0, 292], [29, 0, 300], [30, 0, 308], [31, 0, 317], [32, 0, 325], [33, 0, 332], [34, 0, 341],
[34, 0, 349], [35, 0, 358], [36, 0, 364], [38, 0, 373], [40, 0, 379], [41, 0, 390], [43, 0, 395],
[45, 0, 403], [47, 0, 411], [50, 0, 418], [52, 0, 426], [53, 0, 435], [56, 0, 443], [58, 0, 450],
[59, 0, 458], [61, 0, 466], [62, 0, 474], [63, 0, 482], [64, 0, 490], [65, 0, 497], [66, 0, 507],
[66, 0, 513], [66, 0, 523], [67, 0, 529], [67, 0, 537], [67, 0, 545], [67, 0, 562], [68, 0, 648],
[68, 0, 696], [68, 0, 885], [68, 0, 902], [69, 0, 941], [69, 0, 964], [69, 0, 980], [69, 0, 995],
[70, 0, 1012], [70, 0, 1037], [70, 0, 1053], [70, 0, 1068], [70, 0, 1091], [71, 0, 1115], [71, 0, 1130],
[71, 0, 1162], [71, 0, 1186], [72, 0, 1201], [72, 0, 1234], [72, 0, 1259], [72, 0, 1280], [73, 0, 1337],
[73, 0, 1367], [73, 0, 1408], [73, 0, 1441], [74, 0, 1471], [74, 0, 1503], [74, 0, 1551], [74, 0, 1622],
[74, 0, 1743]],
[[-42, -37, 0], [0, 0, 0], [0, 0, 1], [0, 0, 143], [1, 0, 149], [3, 0, 158], [5, 0, 165], [6, 0, 173],
[9, 0, 180], [11, 0, 188], [14, 0, 197], [17, 0, 204], [19, 0, 212], [24, 0, 221], [27, 0, 228],
[30, 0, 236], [34, 0, 244], [38, 0, 253], [41, 0, 260], [46, 0, 267], [50, 0, 275], [55, 0, 283],
[59, 0, 291], [61, 0, 299], [65, 0, 309], [68, 0, 316], [72, 0, 326], [76, 0, 331], [79, 0, 342],
[82, 0, 347], [85, 0, 357], [88, 0, 362], [91, 0, 371], [93, 0, 378], [96, -1, 388], [99, -1, 394],
[102, -1, 404], [104, -1, 410], [107, -1, 420], [108, -1, 426], [110, -1, 435], [112, -1, 443],
[113, -1, 450], [115, -1, 459], [116, -1, 466], [117, -1, 473], [118, -1, 481], [119, -1, 489],
[120, -1, 497], [120, -1, 505], [121, -1, 513], [122, -1, 521], [122, -1, 529], [123, -1, 536],
[123, -1, 544], [124, -1, 552], [124, -1, 560], [125, -1, 568], [126, -1, 576], [126, -1, 584],
[127, -1, 592], [128, -1, 600], [129, -1, 609], [129, -1, 615], [130, -1, 626], [130, -1, 632],
[131, -1, 640], [131, -1, 647], [132, -1, 656], [133, -1, 663], [133, -1, 673], [133, -1, 679],
[134, -1, 688], [134, -1, 695], [134, -1, 703], [134, -1, 718], [135, -1, 773], [135, -1, 854],
[135, -1, 861], [136, -1, 870], [136, -1, 877], [136, -1, 885], [137, -1, 893], [137, -1, 901],
[137, -1, 910], [137, -1, 916], [138, -1, 932], [138, -1, 1297], [138, -1, 1336], [138, -1, 1376],
[138, -1, 1648]],
[[-41, -28, 0], [0, 0, 0], [1, 0, 142], [2, 0, 149], [4, 0, 158], [6, 0, 165], [9, 0, 172], [12, 0, 180],
[16, 0, 188], [19, 0, 196], [23, 0, 203], [27, 0, 212], [30, 0, 219], [34, 0, 228], [37, 0, 236],
[41, 0, 247], [45, 0, 252], [47, 0, 261], [50, 0, 267], [52, 0, 277], [56, 0, 283], [58, 0, 292],
[61, 0, 299], [63, 0, 309], [65, 0, 315], [67, 0, 324], [68, 0, 330], [70, 0, 340], [72, 0, 347],
[73, 0, 354], [75, 0, 363], [76, 0, 370], [77, 0, 381], [79, 0, 387], [80, 0, 397], [81, 0, 402],
[82, 0, 410], [82, 0, 418], [83, 0, 427], [84, 0, 433], [84, -1, 441], [85, -1, 449], [85, -1, 458],
[86, -1, 465], [87, -1, 475], [87, -1, 481], [88, -1, 489], [88, -1, 498], [89, -1, 504], [89, -1, 514],
[90, -2, 521], [91, -2, 530], [91, -2, 536], [92, -2, 543], [93, -2, 552], [93, -2, 560], [93, -2, 567],
[94, -2, 577], [95, -2, 583], [95, -2, 592], [95, -2, 599], [96, -2, 608], [96, -2, 615], [96, -2, 624],
[96, -2, 631], [97, -2, 638], [97, -2, 664], [97, -2, 697], [97, -2, 965], [98, -2, 972], [98, -2, 981],
[98, -2, 987], [98, -2, 998], [99, -2, 1002], [99, -2, 1011], [99, -2, 1018], [99, -2, 1044],
[100, -2, 1066], [100, -2, 1122], [100, -2, 1169], [100, -2, 1200], [101, -2, 1225], [101, -2, 1249],
[101, -2, 1288], [101, -2, 1328], [101, -2, 1376], [102, -2, 1432], [102, -2, 1477], [102, -2, 1735]],
[[-22, -34, 0], [0, 0, 0], [0, 0, 1], [0, 0, 133], [2, 0, 141], [4, 0, 149], [6, 0, 157], [8, 0, 165],
[12, 0, 175], [14, 0, 180], [17, 0, 191], [20, 0, 197], [21, 0, 207], [25, 0, 213], [28, 0, 222],
[30, 0, 228], [33, 0, 236], [35, 0, 244], [36, 0, 253], [39, 0, 260], [41, 0, 269], [43, 0, 276],
[46, 0, 285], [48, 0, 292], [50, 0, 300], [52, 0, 309], [54, 0, 316], [56, 0, 325], [58, 0, 332],
[60, 0, 341], [62, 0, 348], [63, 0, 358], [65, 0, 363], [66, 0, 372], [67, 0, 378], [68, 0, 386],
[69, 0, 394], [69, 0, 403], [69, 0, 410], [70, 0, 420], [70, 0, 426], [70, 0, 436], [70, 0, 688],
[70, 0, 695], [69, 0, 711], [69, 0, 726], [69, 0, 736], [69, 0, 743], [68, 0, 750], [68, 0, 759],
[68, 0, 766], [68, 0, 775], [67, 0, 792], [67, 0, 798], [67, 0, 813], [67, 0, 829], [66, 0, 854],
[66, 0, 893], [66, 0, 909], [66, 0, 943], [66, 0, 1234], [66, 0, 1279], [66, 0, 1300]],
[[-45, -32, 0], [0, 0, 0], [0, 0, 1], [0, 0, 133], [1, 0, 141], [2, 0, 149], [3, 0, 156], [5, 0, 164],
[7, 0, 173], [9, 0, 181], [11, 0, 188], [14, 0, 196], [17, 0, 205], [20, 0, 212], [23, 0, 221],
[25, 0, 229], [27, 0, 237], [29, 0, 246], [31, 0, 252], [33, 0, 259], [35, 0, 268], [36, 0, 275],
[38, 0, 283], [39, 0, 291], [41, 0, 299], [42, 0, 307], [43, 0, 315], [44, 0, 322], [45, 0, 330],
[45, 0, 338], [46, 0, 346], [46, 0, 354], [46, 0, 363], [47, 0, 370], [47, 0, 379], [47, 0, 386],
[47, 0, 396], [48, 0, 465], [48, 0, 563], [48, 0, 593], [48, 0, 631], [49, 0, 655], [49, 0, 680],
[49, 0, 702], [49, 0, 727], [50, 0, 743], [50, 0, 766], [50, 0, 782], [50, 0, 807], [50, 0, 830],
[50, 0, 1027], [50, 0, 1034], [50, 0, 1049], [50, 1, 1059], [49, 1, 1066], [49, 1, 1074], [49, 1, 1081],
[49, 1, 1102]],
[[-36, -24, 0], [0, 0, 0], [1, 0, 158], [2, 0, 166], [4, 0, 174], [7, 0, 182], [10, 0, 192], [13, 0, 197],
[17, 0, 204], [20, 0, 212], [23, 0, 221], [28, 0, 228], [33, 0, 238], [36, 0, 244], [41, 0, 254],
[46, 0, 260], [51, 0, 269], [54, 0, 276], [59, 0, 285], [64, 0, 292], [70, 0, 301], [75, 0, 308],
[80, 0, 317], [85, 0, 325], [90, 0, 333], [95, 0, 341], [99, 0, 347], [103, -1, 357], [107, -1, 364],
[111, -1, 374], [115, -1, 379], [119, -1, 389], [121, -1, 394], [124, -1, 402], [127, -1, 410],
[130, -1, 418], [132, -1, 426], [134, -2, 434], [136, -2, 442], [137, -2, 450], [138, -2, 458],
[139, -2, 466], [139, -2, 473], [139, -2, 482], [139, -2, 492], [140, -2, 498], [140, -2, 507],
[140, -2, 513], [140, -3, 529], [140, -3, 538], [141, -3, 577], [141, -3, 584], [141, -3, 592],
[142, -3, 600], [143, -3, 608], [144, -3, 617], [144, -3, 625], [145, -3, 633], [145, -3, 641],
[146, -3, 647], [146, -3, 658], [146, -3, 663], [146, -3, 672], [147, -3, 679], [147, -3, 711],
[146, -3, 861], [146, -3, 876], [146, -3, 892], [146, -3, 901], [145, -3, 908], [145, -3, 926],
[145, -3, 933], [145, -3, 948], [144, -3, 964], [144, -3, 979], [144, -3, 995], [144, -3, 1021],
[144, -3, 1027], [143, -3, 1036], [143, -3, 1042], [143, -3, 1068], [143, -3, 1092], [143, -3, 1117],
[142, -3, 1121], [142, -3, 1177], [142, -2, 1242], [142, -2, 1265], [142, -2, 1343], [141, -2, 1376],
[141, -2, 1398], [141, -2, 1430], [141, -2, 1455], [140, -2, 1534], [140, -2, 2019]],
[[-34, -41, 0], [0, 0, 0], [1, 0, 158], [2, 0, 165], [3, 0, 173], [5, 0, 181], [8, 0, 189], [11, 0, 197],
[15, 0, 205], [19, 0, 213], [23, 0, 220], [26, 0, 229], [31, 0, 236], [36, 0, 244], [40, 0, 254],
[44, 0, 261], [49, 0, 271], [53, 0, 276], [57, 0, 285], [61, 0, 292], [64, 0, 301], [67, 0, 308],
[71, 0, 317], [75, 0, 324], [78, 0, 332], [82, 0, 340], [85, 0, 349], [87, 0, 355], [90, 0, 365],
[93, 0, 371], [95, 0, 380], [98, 0, 387], [100, 0, 396], [102, 0, 404], [104, 0, 411], [106, 0, 419],
[107, 0, 426], [109, 0, 435], [111, 0, 442], [112, 0, 451], [114, 0, 457], [115, 0, 466], [117, 0, 473],
[118, 0, 483], [120, 0, 489], [121, 0, 499], [122, 0, 505], [123, 0, 513], [124, 0, 520], [124, 0, 530],
[125, 0, 538], [126, 0, 544], [127, 0, 555], [127, 0, 560], [128, 0, 571], [129, 0, 576], [129, 0, 587],
[130, 0, 592], [130, 0, 602], [131, 0, 608], [131, 0, 617], [132, 0, 624], [133, 0, 633], [133, 0, 639],
[134, 0, 648], [135, 0, 655], [136, 0, 664], [137, 0, 671], [137, 0, 680], [138, 0, 688], [139, 0, 695],
[140, 0, 705], [141, 0, 711], [142, 0, 718], [143, 0, 726], [144, 0, 733], [145, 0, 742], [146, 0, 749],
[147, 0, 757], [148, 0, 765], [148, 0, 774], [149, 0, 783], [149, 0, 789], [150, 0, 798], [150, 0, 805],
[151, 0, 814], [151, 0, 822], [151, 0, 830], [151, 0, 838], [152, 0, 846], [152, 0, 855], [152, 0, 861],
[153, 0, 872], [153, 0, 876], [153, 0, 885], [154, 0, 892], [154, 0, 902], [155, 0, 908], [155, 0, 917],
[155, 0, 924], [156, 0, 933], [156, 0, 940], [156, 0, 948], [156, 0, 956], [157, 0, 964], [157, 0, 971],
[157, 0, 989], [157, 0, 1005], [158, 0, 1034], [158, 0, 1082], [158, 0, 1303], [158, 0, 1418]],
[[-33, -28, 0], [0, 0, 0], [1, 0, 174], [3, 0, 182], [5, 0, 190], [9, 0, 199], [12, 0, 206], [16, 0, 213],
[20, 0, 222], [25, 0, 232], [31, 0, 238], [35, 0, 247], [40, 0, 255], [44, 0, 262], [45, 0, 272],
[49, 0, 277], [52, 0, 285], [54, 0, 292], [56, 0, 303], [59, 0, 308], [61, 0, 318], [62, 0, 324],
[63, 0, 334], [65, 0, 340], [66, 0, 349], [67, 0, 356], [69, 0, 364], [70, 0, 372], [71, 0, 381],
[72, 0, 389], [73, 0, 397], [74, 0, 405], [75, 0, 413], [76, 0, 423], [77, 0, 427], [78, 0, 438],
[79, 0, 443], [79, 0, 453], [80, 0, 458], [81, 0, 467], [82, 0, 474], [83, 0, 483], [84, 0, 490],
[85, 0, 498], [85, 0, 507], [86, 0, 514], [87, 0, 522], [87, 0, 529], [88, 0, 539], [88, 0, 545],
[88, 0, 556], [88, 0, 561], [89, 0, 585], [89, 0, 603], [89, 0, 681], [89, 0, 722], [89, 0, 768],
[89, 0, 806], [90, 0, 838], [90, 0, 869], [90, 0, 885], [90, 0, 909], [91, 0, 924], [91, 0, 940],
[91, 0, 948], [91, 0, 972], [92, 0, 980], [92, 0, 996], [92, 0, 1012], [92, 0, 1027], [93, 0, 1043],
[93, 0, 1067], [93, 0, 1083], [93, 0, 1098], [94, 0, 1130], [94, 0, 1146], [94, 0, 1177], [94, 0, 1217],
[94, 0, 1249], [94, 0, 1388]],
[[-33, -15, 0], [0, 0, 0], [0, 0, 135], [2, 0, 142], [3, 0, 151], [5, 0, 158], [7, 0, 167], [11, 0, 174],
[14, 0, 181], [18, 0, 190], [22, 0, 198], [26, 0, 205], [30, 0, 214], [34, 0, 222], [37, 0, 229],
[40, 0, 237], [43, 0, 245], [46, 0, 254], [49, 0, 261], [50, 0, 271], [53, 0, 277], [56, 0, 286],
[58, 0, 293], [60, 0, 300], [61, 0, 308], [63, 0, 316], [65, 0, 324], [66, 0, 333], [67, -1, 340],
[68, -1, 349], [69, -1, 356], [70, -1, 365], [71, -1, 372], [72, -1, 380], [73, -1, 389], [75, -1, 395],
[76, -1, 405], [77, -1, 411], [78, -2, 419], [80, -2, 427], [81, -2, 436], [82, -2, 442], [83, -2, 450],
[84, -2, 458], [85, -2, 467], [86, -2, 474], [86, -2, 484], [87, -2, 490], [87, -2, 499], [87, -3, 506],
[88, -3, 513], [88, -3, 522], [88, -3, 529], [88, -3, 539], [88, -3, 556], [89, -3, 561], [88, -3, 940],
[88, -3, 956], [88, -3, 973], [88, -3, 996], [88, -3, 1006], [87, -3, 1027], [87, -3, 1068],
[87, -3, 1122], [87, -3, 1405]],
[[-37, -29, 0], [0, 0, 0], [1, 0, 134], [2, 0, 142], [4, 0, 149], [7, 0, 157], [11, 0, 165], [14, 0, 173],
[18, 0, 181], [21, 0, 189], [25, 0, 196], [28, 0, 206], [32, 0, 213], [35, 0, 221], [39, 0, 229],
[42, 0, 237], [45, 0, 246], [48, 0, 253], [50, 0, 262], [53, 0, 268], [55, 0, 276], [58, 0, 283],
[60, 0, 292], [62, 0, 299], [63, 0, 308], [65, 0, 315], [66, 0, 323], [68, 0, 331], [68, 0, 339],
[69, 0, 347], [70, 0, 356], [71, 0, 363], [72, 0, 372], [73, 0, 379], [74, 0, 387], [75, 0, 396],
[76, 0, 404], [76, 0, 413], [77, 0, 418], [78, 0, 426], [79, 0, 433], [80, 0, 441], [81, 0, 449],
[82, 0, 458], [83, 0, 465], [84, 0, 475], [86, 0, 481], [87, 0, 490], [88, 0, 497], [89, 0, 505],
[90, -1, 513], [91, -1, 521], [92, -1, 530], [92, -1, 536], [93, -1, 545], [93, -1, 554], [93, -1, 562],
[94, -1, 568], [94, -1, 579], [94, -1, 584], [94, -1, 593], [95, -1, 624], [95, -1, 830], [95, -1, 837],
[96, -1, 845], [97, -1, 852], [97, -1, 862], [98, -1, 869], [99, -1, 880], [100, -1, 884],
[100, -1, 892], [100, -1, 900], [101, -1, 909], [101, -1, 916], [101, -1, 924], [101, -1, 932],
[102, -1, 941], [102, -1, 1430]],
[[-35, -23, 0], [0, 0, 0], [0, 0, 120], [1, 0, 126], [3, 0, 135], [4, 0, 143], [6, 0, 149], [9, 0, 158],
[13, 0, 166], [16, 0, 174], [20, 0, 183], [24, 0, 191], [28, 0, 198], [32, 0, 208], [38, 0, 215],
[43, 0, 224], [48, 0, 230], [53, 0, 238], [59, 0, 245], [64, 0, 254], [68, 0, 261], [73, 0, 269],
[79, 0, 277], [83, 0, 286], [87, 0, 292], [91, 0, 301], [93, 0, 308], [97, 0, 317], [100, 0, 324],
[103, 0, 333], [105, 0, 341], [107, 0, 349], [109, 0, 357], [111, 0, 365], [112, 0, 373], [113, 0, 379],
[115, 0, 386], [116, 0, 395], [116, 0, 403], [117, 0, 411], [118, 0, 420], [119, 0, 427], [119, 0, 436],
[120, 0, 443], [120, 0, 452], [121, 0, 459], [121, 0, 468], [122, 0, 474], [123, 0, 482], [124, 0, 491],
[124, 0, 498], [125, 0, 508], [126, 0, 514], [126, 0, 525], [127, 0, 530], [128, 0, 538], [129, 0, 545],
[129, 0, 555], [129, 0, 561], [130, 0, 570], [130, 0, 577], [130, 0, 585], [131, 0, 593], [131, 0, 633],
[131, 0, 696], [131, 0, 704], [132, 0, 711], [132, 0, 719], [133, 0, 727], [133, 0, 736], [134, 0, 743],
[134, 0, 750], [135, 0, 758], [135, 0, 766], [136, 0, 774], [136, 0, 782], [136, 0, 792], [136, 0, 798],
[137, 0, 1043], [137, 0, 1053], [137, 0, 1059], [138, 0, 1067], [138, 0, 1075], [139, 0, 1083],
[139, 0, 1092], [139, 0, 1098], [140, 0, 1109], [140, 0, 1114], [140, 0, 1122], [140, 0, 1130],
[140, 0, 1525]],
[[-43, -37, 0], [0, 0, 0], [1, 0, 159], [2, 0, 166], [4, 0, 174], [6, 0, 182], [9, 0, 190], [12, 0, 197],
[16, 0, 205], [19, 0, 213], [24, 0, 221], [29, 0, 229], [34, 0, 237], [39, 0, 244], [44, 0, 254],
[48, 0, 261], [53, 0, 268], [58, 0, 276], [62, 0, 285], [67, 0, 292], [71, 0, 300], [75, 0, 308],
[76, 0, 318], [80, 0, 324], [83, 1, 334], [86, 1, 340], [88, 1, 350], [90, 1, 356], [92, 1, 363],
[94, 1, 372], [96, 1, 381], [98, 1, 389], [99, 1, 397], [100, 1, 405], [102, 1, 411], [103, 1, 420],
[104, 1, 428], [105, 1, 436], [106, 1, 443], [107, 1, 451], [108, 1, 458], [109, 1, 466], [109, 1, 474],
[109, 0, 482], [110, 0, 490], [110, 0, 500], [110, 0, 506], [111, 0, 513], [111, 0, 531], [111, 0, 561],
[111, 0, 603], [111, 0, 609], [112, 0, 697], [112, 0, 744], [112, 0, 784], [112, 0, 806], [112, 0, 816],
[113, 0, 830], [113, 0, 846], [113, 0, 872], [113, 0, 887], [114, 0, 903], [114, 0, 917], [114, 0, 934],
[114, -1, 941], [114, -1, 949], [115, -1, 966], [115, -1, 980], [115, -1, 997], [115, -1, 1013],
[116, -1, 1027], [116, -1, 1044], [116, -1, 1059], [116, -1, 1083], [116, -1, 1123], [116, -1, 1189],
[116, -1, 1440], [116, -1, 1470], [116, -1, 1477], [115, -1, 1485], [115, -1, 1493], [114, -1, 1502],
[114, -1, 1509], [114, -1, 1531]],
[[-29, -44, 0], [0, 0, 0], [0, 0, 1], [1, 0, 144], [2, 0, 152], [4, 0, 160], [6, 0, 168], [9, 0, 176],
[12, 0, 185], [16, 0, 191], [19, 0, 199], [22, 0, 207], [25, 0, 215], [27, 0, 223], [30, 0, 231],
[33, 0, 239], [35, 0, 247], [37, 0, 254], [41, 0, 262], [43, 0, 270], [45, 0, 278], [48, 0, 286],
[50, 0, 294], [53, 0, 302], [56, 0, 310], [60, 0, 318], [63, 0, 325], [64, 0, 334], [67, 0, 341],
[69, 0, 349], [72, 0, 358], [74, 0, 365], [75, 0, 373], [77, -1, 381], [79, -1, 389], [80, -1, 397],
[82, -1, 405], [83, -1, 412], [84, -1, 420], [85, -1, 428], [86, -1, 436], [86, -1, 444], [86, -1, 452],
[87, -1, 460], [87, -1, 468], [87, -1, 476], [87, -1, 484], [88, -1, 531], [88, -1, 587], [88, -1, 618],
[88, -1, 626], [89, -1, 635], [89, -1, 642], [89, -1, 653], [90, -1, 658], [90, -1, 670], [91, -1, 674],
[91, -1, 682], [91, -1, 689], [91, -1, 697], [92, -1, 705], [92, -1, 713], [92, -1, 753], [92, -1, 945],
[92, -1, 969], [91, -1, 990], [91, -1, 1006], [91, 0, 1015], [91, 0, 1031], [90, 0, 1045], [90, 0, 1061],
[90, 0, 1077], [90, 0, 1093], [89, 0, 1109], [89, 0, 1134], [89, 0, 1156], [89, 0, 1204], [88, 0, 1259],
[88, 0, 1306], [88, 0, 1788]],
[[-40, -29, 0], [0, 0, 0], [1, 0, 161], [2, 0, 171], [3, 0, 175], [6, 0, 184], [8, 0, 191], [11, 0, 200],
[15, 0, 207], [19, 0, 216], [22, 0, 222], [26, 0, 232], [29, 0, 239], [33, 0, 248], [37, 0, 255],
[41, 0, 264], [44, 0, 271], [48, 0, 280], [50, 0, 288], [53, 0, 294], [56, 0, 304], [58, 0, 311],
[61, 0, 321], [63, 0, 325], [65, 0, 335], [66, 0, 341], [68, 0, 350], [69, 0, 357], [70, 0, 366],
[71, 0, 373], [72, 0, 382], [72, 0, 388], [73, 0, 397], [74, 0, 405], [75, 0, 413], [75, 0, 420],
[75, 0, 428], [76, 0, 436], [76, 0, 444], [76, 0, 454], [77, 0, 460], [77, 0, 477], [77, 0, 697],
[77, 0, 714], [78, 0, 721], [78, 0, 729], [78, 0, 738], [79, 0, 744], [80, 0, 755], [81, 0, 760],
[81, 0, 771], [82, 0, 777], [82, 0, 785], [83, 0, 791], [83, 0, 801], [84, 0, 807], [84, 0, 815],
[84, 0, 823], [84, 0, 833], [85, 0, 855], [84, 0, 1077], [84, 0, 1085], [84, 0, 1092], [84, 0, 1115],
[84, 0, 1123], [84, 1, 1139], [83, 1, 1149], [83, 1, 1155], [83, 1, 1164], [83, 1, 1172], [83, 1, 1180],
[82, 1, 1194], [82, 1, 1210], [82, 1, 1226], [82, 1, 1238], [82, 1, 1242], [81, 1, 1258], [81, 2, 1282],
[81, 2, 1315], [81, 2, 1372], [81, 2, 1392], [80, 2, 1448], [80, 2, 1471], [80, 2, 1643]],
[[-36, -28, 0], [0, 0, 0], [1, 0, 135], [2, 0, 143], [3, 0, 151], [4, 0, 158], [7, 0, 169], [7, 0, 173],
[9, 0, 182], [10, 0, 189], [12, 0, 198], [13, 0, 205], [15, 0, 214], [16, 0, 221], [17, 0, 230],
[19, 0, 237], [20, 0, 246], [21, 0, 252], [23, 0, 262], [25, 0, 269], [26, 0, 276], [29, 0, 285],
[31, 0, 293], [32, 0, 302], [34, 0, 307], [36, 0, 318], [37, 0, 324], [39, 0, 335], [40, 0, 339],
[41, -1, 347], [42, -1, 355], [43, -1, 363], [44, -1, 371], [45, -1, 379], [46, -1, 387], [47, -1, 396],
[48, -1, 402], [48, -1, 412], [49, -1, 419], [49, -1, 427], [49, -1, 435], [50, -1, 443], [50, -1, 452],
[50, -1, 458], [50, -1, 497], [51, -1, 530], [51, -1, 537], [51, -1, 546], [51, -1, 553], [52, -2, 560],
[53, -2, 569], [54, -2, 577], [55, -2, 585], [56, -2, 594], [57, -2, 602], [58, -2, 608], [59, -2, 615],
[59, -2, 623], [60, -3, 632], [61, -3, 639], [61, -3, 648], [61, -3, 655], [62, -3, 663], [62, -3, 671],
[62, -3, 680], [62, -3, 712], [62, -3, 1029], [62, -2, 1069], [62, -2, 1082], [62, -2, 1122],
[62, -2, 1138], [61, -2, 1170], [61, -2, 1187], [61, -2, 1193], [61, -2, 1234], [61, -2, 1240],
[61, -2, 1296], [61, -1, 1353], [60, -1, 1406], [60, -1, 1470], [60, -1, 1494], [60, -1, 1760]],
[[-42, -22, 0], [0, 0, 0], [0, 0, 2], [0, 0, 126], [2, 0, 140], [3, 0, 148], [4, 0, 157], [6, 0, 165],
[9, 0, 171], [12, 0, 180], [15, 0, 189], [18, 0, 198], [21, 0, 204], [25, 0, 214], [30, 0, 220],
[33, 0, 228], [38, 0, 235], [43, 0, 244], [48, 0, 251], [50, 0, 259], [55, 0, 266], [57, 0, 276],
[63, 0, 282], [64, 0, 291], [69, 0, 298], [73, 0, 307], [76, 0, 314], [79, 0, 323], [80, 0, 331],
[83, 0, 338], [86, 0, 347], [89, 0, 353], [91, 0, 364], [93, 0, 370], [96, 1, 380], [99, 1, 385],
[101, 1, 394], [104, 1, 401], [107, 1, 410], [110, 1, 417], [113, 1, 427], [116, 1, 432], [117, 1, 442],
[120, 2, 448], [123, 2, 458], [125, 2, 465], [128, 2, 473], [129, 2, 481], [131, 3, 488], [133, 3, 497],
[133, 3, 503], [134, 3, 514], [135, 3, 519], [136, 3, 528], [136, 3, 535], [136, 3, 543], [136, 3, 551],
[137, 3, 561], [136, 3, 773], [136, 3, 788], [136, 3, 798], [136, 3, 803], [135, 3, 815], [135, 3, 820],
[134, 3, 829], [134, 3, 835], [134, 3, 844], [133, 3, 851], [133, 3, 859], [133, 3, 867], [133, 3, 874],
[133, 3, 882], [132, 3, 892], [132, 3, 899], [132, 3, 915], [132, 3, 923], [132, 4, 931], [131, 4, 938],
[131, 4, 961], [131, 4, 979], [131, 4, 994], [131, 4, 1016], [131, 4, 1410]],
[[-39, -29, 0], [0, 0, 0], [0, 0, 138], [2, 0, 144], [3, 0, 154], [5, 0, 159], [7, 0, 168], [10, 0, 175],
[13, 0, 184], [17, 0, 192], [21, 0, 201], [25, 0, 207], [28, 0, 215], [32, 0, 223], [36, 0, 232],
[40, 0, 239], [44, 0, 247], [48, 0, 254], [52, 0, 263], [55, 0, 271], [57, 0, 278], [61, 0, 287],
[64, 0, 293], [67, 0, 304], [72, 0, 309], [74, 0, 317], [77, 0, 326], [81, 0, 334], [84, 0, 341],
[87, 0, 349], [89, 1, 357], [92, 1, 365], [95, 1, 373], [98, 1, 382], [102, 1, 389], [103, 1, 397],
[108, 2, 405], [111, 2, 414], [114, 2, 421], [115, 2, 428], [120, 3, 437], [121, 3, 444], [124, 3, 453],
[126, 3, 459], [129, 3, 467], [131, 3, 475], [133, 3, 483], [135, 3, 491], [137, 3, 499], [138, 3, 506],
[139, 3, 514], [141, 3, 522], [142, 3, 530], [143, 3, 538], [144, 3, 546], [145, 3, 554], [146, 3, 562],
[147, 3, 570], [148, 3, 578], [149, 3, 588], [150, 3, 594], [151, 3, 604], [152, 3, 610], [154, 3, 618],
[154, 3, 625], [155, 3, 634], [157, 3, 641], [158, 3, 648], [159, 3, 657], [160, 3, 665], [161, 3, 672],
[162, 3, 680], [163, 3, 688], [164, 3, 696], [164, 3, 705], [165, 3, 712], [165, 3, 721], [166, 3, 729],
[166, 3, 738], [166, 3, 743], [166, 3, 754], [167, 3, 1055], [167, 3, 1060], [167, 3, 1076],
[167, 3, 1085], [168, 3, 1092], [168, 3, 1100], [168, 3, 1117], [168, 3, 1132], [169, 3, 1213],
[169, 3, 1408], [169, 3, 1418], [169, 3, 1424], [170, 3, 1440], [170, 3, 1481], [170, 3, 1764],
[170, 3, 1796], [171, 3, 1820], [171, 3, 1859], [171, 3, 2072], [171, 3, 2089]],
[[-39, -19, 0], [0, 0, 0], [1, 0, 152], [2, 0, 158], [3, 0, 168], [6, 0, 173], [7, 0, 181], [9, 0, 189],
[12, 0, 197], [15, 0, 205], [18, 0, 213], [20, 0, 223], [23, 0, 228], [24, 0, 236], [29, 0, 246],
[32, 0, 253], [34, 0, 261], [35, 0, 268], [40, 0, 277], [41, 0, 285], [43, 0, 292], [46, 0, 301],
[49, 0, 309], [51, 0, 318], [53, 0, 323], [55, 0, 333], [58, 0, 339], [60, 0, 348], [62, 0, 355],
[64, 0, 364], [67, 0, 371], [70, 0, 379], [72, 0, 386], [75, 0, 396], [78, 0, 402], [79, 0, 410],
[82, 1, 418], [85, 1, 426], [87, 1, 435], [89, 1, 443], [91, 1, 451], [92, 1, 458], [94, 1, 468],
[95, 1, 473], [96, 1, 482], [97, 1, 490], [98, 1, 498], [99, 1, 505], [100, 1, 515], [100, 1, 521],
[101, 1, 530], [102, 1, 537], [102, 1, 544], [103, 1, 552], [103, 1, 560], [104, 1, 568], [105, 1, 575],
[106, 1, 585], [107, 1, 591], [108, 1, 601], [109, 1, 607], [111, 1, 618], [112, 1, 624], [112, 1, 634],
[113, 1, 640], [114, 1, 648], [115, 1, 655], [115, 2, 663], [115, 2, 671], [115, 2, 679], [116, 2, 686],
[116, 2, 703], [116, 2, 971], [115, 2, 988], [115, 2, 1003], [115, 2, 1012], [115, 2, 1028],
[114, 2, 1036], [114, 2, 1053], [114, 2, 1059], [114, 2, 1070], [113, 2, 1074], [113, 2, 1090],
[113, 3, 1100], [113, 3, 1115], [112, 3, 1137], [112, 3, 1178], [112, 3, 1193], [112, 3, 1240],
[111, 3, 1588], [111, 3, 1620], [111, 3, 1636], [111, 3, 1659], [110, 3, 1691], [110, 3, 1723],
[110, 3, 1780], [110, 4, 1961], [110, 4, 2037]],
[[-42, -30, 0], [0, 0, 0], [1, 0, 122], [3, 0, 131], [4, 0, 137], [6, 0, 145], [8, 0, 152], [11, 0, 161],
[14, 0, 169], [17, 0, 179], [20, 0, 185], [25, 0, 193], [28, 0, 200], [31, 0, 209], [35, 0, 218],
[38, 0, 224], [41, 0, 234], [44, 0, 241], [47, 0, 250], [51, 0, 256], [52, 0, 264], [55, 0, 272],
[57, 0, 279], [60, 0, 287], [62, 0, 294], [64, 0, 302], [66, 0, 310], [67, 0, 318], [69, 0, 326],
[70, 0, 334], [71, 0, 342], [73, 0, 350], [74, 0, 358], [76, 0, 366], [76, 0, 373], [77, 0, 382],
[78, 0, 389], [79, 0, 397], [79, 0, 405], [80, 0, 413], [80, 0, 421], [80, 0, 429], [80, 0, 437],
[81, 0, 453], [81, 0, 477], [81, 0, 492], [81, 0, 500], [81, 0, 516], [82, 0, 524], [82, 0, 533],
[83, 0, 539], [84, -1, 548], [85, -1, 555], [86, -1, 563], [87, -1, 571], [89, -1, 579], [90, -1, 587],
[91, -1, 595], [91, -1, 603], [92, -1, 610], [92, -1, 619], [93, -1, 626], [93, -1, 634], [93, -1, 642],
[93, -1, 650], [94, -1, 682], [94, -1, 729], [94, -1, 761], [94, -1, 793], [94, -1, 800], [94, -1, 833],
[95, -1, 840], [95, -1, 847], [95, -1, 856], [96, -1, 863], [96, -1, 871], [96, -1, 879], [96, -1, 887],
[97, -1, 895], [97, -1, 903], [97, -1, 911], [97, -1, 934], [98, -1, 1006], [98, -1, 1427],
[97, -1, 1663], [97, -1, 1670], [97, -1, 1683]],
[[-44, -32, 0], [0, 0, 0], [0, 0, 138], [2, 0, 146], [4, 0, 155], [6, 0, 161], [9, 0, 172], [13, 0, 176],
[15, 0, 184], [19, 0, 192], [22, 0, 201], [23, 0, 208], [28, 0, 217], [31, 0, 224], [32, 0, 233],
[34, 0, 239], [38, 0, 247], [40, 0, 255], [41, 0, 263], [45, 0, 271], [46, 0, 279], [49, 0, 287],
[51, 0, 294], [53, 0, 303], [55, 0, 310], [57, 0, 318], [59, 0, 326], [61, 0, 334], [62, 0, 342],
[64, 0, 350], [66, 0, 357], [68, 0, 367], [70, 0, 374], [72, 0, 382], [73, -1, 389], [75, -1, 398],
[77, -1, 405], [78, -1, 415], [79, -1, 422], [81, -1, 429], [82, -1, 438], [82, -1, 446], [83, -1, 455],
[83, -1, 460], [84, -1, 471], [84, -2, 477], [85, -2, 485], [85, -2, 493], [85, -2, 502], [85, -2, 508],
[86, -2, 518], [86, -2, 524], [86, -2, 533], [86, -2, 556], [87, -2, 628], [87, -2, 674], [87, -2, 690],
[87, -2, 698], [88, -2, 706], [88, -2, 714], [88, -2, 722], [89, -2, 730], [89, -2, 738], [89, -2, 745],
[90, -2, 755], [90, -2, 761], [90, -2, 772], [91, -2, 777], [91, -2, 785], [91, -2, 1224]],
[[-39, -30, 0], [0, 0, 0], [0, 0, 3], [0, 0, 134], [3, 0, 141], [7, 0, 151], [9, 0, 155], [14, 0, 168],
[18, 0, 171], [24, 0, 180], [29, 0, 187], [34, 0, 197], [39, 0, 203], [44, 0, 211], [47, 0, 219],
[52, 0, 227], [55, 0, 235], [58, 0, 244], [61, 0, 251], [64, 0, 260], [68, 0, 267], [72, 0, 275],
[76, 0, 283], [78, 0, 291], [82, 0, 301], [85, 0, 306], [87, 0, 315], [89, 0, 324], [91, 0, 330],
[93, 0, 337], [94, 0, 349], [95, 0, 357], [96, 0, 361], [97, 0, 369], [98, 0, 378], [99, 0, 385],
[99, 0, 394], [100, 0, 401], [101, 0, 408], [102, 0, 417], [103, 0, 426], [104, 0, 434], [105, 0, 440],
[106, 0, 450], [107, 0, 457], [108, 0, 465], [109, 1, 472], [111, 1, 480], [112, 1, 487], [112, 1, 496],
[113, 1, 503], [114, 2, 511], [115, 2, 519], [116, 2, 529], [117, 2, 535], [117, 2, 543], [118, 2, 550],
[119, 2, 558], [119, 3, 566], [120, 3, 574], [121, 3, 583], [121, 3, 591], [121, 3, 600], [122, 3, 606],
[122, 3, 616], [122, 3, 622], [123, 3, 631], [123, 3, 637], [123, 3, 647], [123, 3, 653], [124, 3, 679],
[124, 3, 877], [124, 3, 884], [124, 3, 891], [125, 3, 901], [126, 3, 907], [126, 3, 918], [126, 4, 923],
[127, 4, 931], [127, 4, 938], [127, 4, 947], [128, 4, 954], [128, 4, 970], [128, 4, 1035],
[128, 4, 1370]],
[[-25, -25, 0], [0, 0, 0], [1, 0, 168], [4, 0, 173], [6, 0, 182], [13, 0, 188], [16, 0, 197],
[27, 0, 204], [30, 0, 212], [38, 0, 220], [44, 0, 228], [50, 0, 237], [56, 0, 246], [61, 0, 253],
[65, 0, 260], [70, 0, 270], [75, 0, 277], [79, 0, 284], [84, 0, 292], [88, 0, 301], [93, 0, 307],
[97, 0, 317], [100, 0, 323], [104, 0, 330], [106, 0, 338], [109, 0, 348], [112, 0, 355], [114, 0, 365],
[116, 0, 371], [119, 0, 378], [121, 0, 386], [122, 0, 394], [123, 0, 403], [125, 0, 411], [126, 0, 419],
[127, 0, 426], [128, 0, 434], [128, 0, 442], [129, 0, 451], [129, 0, 457], [130, 0, 465], [130, 0, 473],
[130, 0, 483], [130, 0, 489], [131, 0, 498], [131, 0, 505], [131, 0, 512], [131, 0, 520], [132, 0, 528],
[132, 0, 536], [132, 0, 544], [132, 0, 554], [133, 0, 560], [133, 0, 569], [133, 0, 576], [133, 0, 585],
[134, 0, 591], [134, 0, 1230]],
[[-36, -24, 0], [0, 0, 0], [1, 0, 150], [2, 0, 159], [4, 0, 165], [7, 0, 174], [9, 0, 182], [13, 0, 189],
[16, 0, 197], [19, 0, 205], [22, 0, 213], [24, 0, 222], [27, 0, 229], [30, 0, 237], [33, 0, 245],
[35, 0, 253], [38, 0, 261], [41, 0, 270], [44, 0, 278], [46, 0, 285], [48, 0, 294], [51, 0, 302],
[54, 0, 310], [56, 0, 316], [58, 0, 327], [60, 0, 332], [62, 0, 341], [63, 0, 348], [64, 0, 356],
[66, 0, 364], [67, 0, 372], [67, 0, 379], [68, 0, 387], [69, 1, 395], [69, 1, 403], [70, 1, 411],
[71, 1, 421], [72, 1, 428], [72, 1, 435], [73, 1, 444], [74, 1, 451], [75, 1, 461], [76, 1, 466],
[76, 1, 474], [77, 1, 482], [78, 1, 490], [79, 1, 497], [79, 1, 505], [80, 1, 513], [81, 1, 522],
[82, 1, 530], [82, 1, 539], [82, 1, 545], [82, 1, 553], [83, 1, 561], [83, 1, 569], [83, 1, 902],
[83, 1, 928], [83, 1, 942], [84, 1, 957], [84, 1, 964], [84, 1, 972], [84, 1, 988], [84, 1, 1012],
[84, 1, 1029], [85, 1, 1036], [85, 1, 1062], [85, 1, 1099], [85, 1, 1124], [85, 2, 1156], [85, 2, 1195],
[85, 2, 1258], [85, 2, 1346], [85, 2, 1353], [86, 2, 1399], [86, 3, 1415], [86, 3, 1456], [86, 3, 1496],
[86, 3, 1534], [86, 3, 1549], [86, 3, 1787], [86, 3, 1799]],
[[-40, -29, 0], [0, 0, 0], [0, 0, 2], [0, 0, 189], [2, 0, 198], [3, 0, 204], [5, 0, 212], [8, 0, 220],
[13, 0, 228], [18, 0, 236], [25, 0, 244], [29, 0, 253], [41, 0, 260], [50, 0, 269], [59, 0, 278],
[64, 0, 286], [72, 0, 292], [79, 0, 301], [86, 0, 309], [91, 0, 316], [96, 1, 323], [102, 1, 332],
[106, 1, 339], [107, 1, 347], [111, 1, 355], [114, 1, 363], [116, 1, 370], [118, 1, 379], [120, 1, 386],
[122, 1, 395], [123, 1, 402], [125, 1, 410], [126, 1, 419], [127, 1, 426], [128, 1, 436], [129, 1, 443],
[130, 1, 450], [130, 1, 457], [131, 1, 466], [131, 1, 473], [132, 1, 483], [132, 1, 489], [132, 1, 499],
[133, 1, 504], [133, 1, 513], [133, 1, 521], [133, 1, 537], [134, 1, 562], [134, 1, 587], [134, 1, 600],
[134, 1, 607], [135, 1, 617], [135, 1, 623], [135, 1, 632], [136, 1, 639], [136, 1, 648], [136, 1, 655],
[137, 1, 668], [138, 1, 670], [138, 1, 679], [139, 1, 686], [139, 1, 694], [140, 1, 703], [140, 1, 711],
[141, 1, 720], [141, 1, 726], [142, 1, 736], [142, 1, 742], [142, 1, 750], [142, 1, 757], [143, 1, 767],
[143, 1, 774], [143, 1, 782], [143, 1, 789], [144, 1, 799], [144, 1, 805], [144, 1, 831], [144, 1, 853],
[145, 1, 917], [145, 1, 997], [145, 1, 1075], [145, 1, 1262]],
[[-44, -30, 0], [0, 0, 0], [1, 0, 167], [3, 0, 175], [4, 0, 182], [6, 0, 190], [9, 0, 197], [10, 0, 206],
[13, 0, 213], [15, 0, 221], [18, 0, 229], [20, 0, 239], [21, 0, 245], [26, 0, 252], [26, 0, 260],
[29, 0, 268], [32, 0, 276], [33, 0, 284], [35, 0, 294], [37, 0, 300], [39, 0, 308], [40, 0, 316],
[41, 0, 325], [42, 0, 332], [42, 0, 342], [43, 0, 347], [44, 0, 357], [44, 0, 363], [45, 0, 372],
[45, 0, 379], [46, 0, 387], [46, 0, 395], [47, 0, 403], [48, 0, 411], [48, 0, 420], [49, 0, 428],
[50, 0, 436], [50, 0, 444], [50, 0, 450], [51, 0, 458], [51, 0, 466], [51, 0, 476], [52, 0, 482],
[52, 0, 491], [52, 0, 498], [52, 0, 513], [52, 0, 737], [52, 0, 750], [52, 0, 761], [51, 0, 766],
[51, 0, 775], [51, 0, 782], [50, 0, 790], [50, 0, 798], [50, 0, 806], [49, 0, 813], [49, 1, 823],
[48, 1, 830], [48, 1, 838], [48, 1, 845], [48, 1, 854], [47, 1, 862], [47, 1, 869], [47, 1, 878],
[47, 1, 885], [46, 1, 895], [46, 1, 917], [46, 1, 958], [46, 1, 989], [46, 1, 1476]],
[[-45, -30, 0], [0, 0, 0], [1, 0, 149], [2, 0, 156], [7, 0, 163], [9, 0, 171], [13, 0, 179], [17, 0, 187],
[22, 0, 195], [27, 0, 204], [32, 0, 211], [39, 0, 219], [44, 0, 226], [49, 0, 235], [54, 0, 242],
[58, 0, 250], [62, 0, 258], [66, 0, 268], [70, 0, 274], [73, 0, 283], [75, 0, 290], [81, 0, 298],
[82, 0, 306], [85, 0, 314], [88, 0, 321], [90, 0, 332], [93, 0, 338], [95, 0, 347], [97, 0, 354],
[98, 0, 363], [100, 0, 371], [102, 0, 377], [104, 0, 387], [105, 0, 394], [107, 0, 404], [108, 0, 409],
[110, 0, 418], [111, 0, 425], [112, 0, 434], [114, 0, 440], [115, 0, 449], [116, 0, 456], [117, 0, 465],
[118, 0, 472], [119, 0, 481], [120, 0, 488], [121, 0, 496], [122, 0, 505], [122, 0, 512], [123, 0, 521],
[123, 0, 528], [124, 0, 538], [125, 0, 543], [125, 0, 552], [125, 0, 559], [125, 0, 568], [126, 0, 575],
[126, 0, 601], [126, 0, 631], [126, 0, 646], [127, 0, 655], [127, 0, 662], [127, 0, 672], [127, 0, 677],
[128, 0, 688], [128, 0, 693], [128, 0, 709], [128, 0, 741], [128, 1, 838], [128, 1, 1128],
[129, 1, 1215], [129, 1, 1272], [129, 1, 1323]],
[[-41, -26, 0], [0, 0, 0], [1, 0, 121], [3, 0, 129], [6, 0, 137], [9, 0, 144], [12, 0, 152], [15, 0, 160],
[19, 0, 169], [23, 0, 176], [27, 0, 186], [32, 0, 192], [35, 0, 200], [40, 0, 208], [43, 0, 215],
[46, 0, 223], [50, 0, 232], [53, 0, 239], [56, 0, 247], [61, 0, 255], [62, 0, 263], [64, 0, 271],
[67, 0, 279], [69, 0, 287], [70, 0, 295], [72, 0, 303], [73, 0, 310], [74, 0, 319], [74, 0, 326],
[74, 0, 335], [75, 0, 342], [75, 0, 350], [75, 0, 366], [75, 0, 445], [76, 0, 476], [76, 0, 532],
[76, 0, 579], [76, 0, 587], [77, 0, 603], [77, 0, 611], [77, 0, 619], [78, 0, 626], [78, 0, 636],
[79, 0, 643], [79, 0, 654], [80, 0, 659], [80, 0, 667], [80, 0, 674], [80, 0, 682], [81, 0, 690],
[81, 0, 700], [81, 0, 706], [81, 0, 714], [82, 0, 738], [82, 0, 786], [82, 0, 809], [82, 0, 834],
[83, 0, 856], [83, 0, 879], [83, 0, 935], [83, 0, 1001], [83, 0, 1194]],
[[-34, -32, 0], [0, 0, 0], [0, 0, 112], [2, 0, 121], [4, 0, 129], [8, 0, 135], [11, 0, 145], [14, 0, 150],
[19, 0, 162], [22, 0, 168], [26, 0, 175], [31, 0, 183], [35, 0, 191], [39, 0, 198], [43, 0, 206],
[46, 0, 214], [47, 0, 222], [53, 0, 230], [54, 0, 238], [57, 0, 246], [58, 0, 254], [61, 0, 262],
[62, 0, 270], [63, 0, 278], [64, 0, 287], [65, 0, 296], [66, 0, 301], [67, 0, 311], [67, 0, 319],
[67, 0, 325], [67, 0, 333], [68, 0, 341], [68, 0, 365], [68, 0, 412], [68, 0, 499], [68, 0, 524],
[69, 0, 530], [69, 0, 538], [70, 0, 546], [70, 0, 554], [71, 0, 562], [71, 0, 571], [72, 0, 579],
[73, 0, 586], [74, 0, 596], [74, 0, 602], [75, 0, 613], [75, 0, 617], [75, 0, 626], [75, 0, 633],
[76, 0, 641], [76, 0, 648], [76, 0, 656], [76, 0, 681], [77, 0, 746], [77, 0, 785], [77, 0, 824],
[77, 0, 863], [77, 0, 1121]],
[[-29, -29, 0], [0, 0, 0], [0, 0, 189], [2, 0, 197], [3, 0, 205], [5, 0, 213], [8, 0, 221], [10, 0, 228],
[12, 0, 237], [15, 0, 244], [17, 0, 252], [19, 0, 260], [22, 0, 269], [24, 0, 276], [27, 0, 284],
[29, 0, 292], [31, 0, 300], [33, 0, 308], [35, 0, 317], [37, 0, 323], [38, 0, 333], [40, 0, 339],
[41, 0, 347], [42, 0, 355], [44, 0, 363], [45, 0, 371], [46, 0, 379], [46, 0, 387], [47, 0, 394],
[47, 0, 403], [48, 0, 411], [48, 0, 418], [48, 0, 426], [48, 0, 434], [49, 0, 442], [49, 0, 489],
[49, 0, 497], [49, 0, 505], [50, 0, 513], [51, 0, 521], [51, 0, 529], [52, 0, 537], [53, 0, 545],
[54, 0, 553], [55, 0, 560], [55, 0, 569], [56, 0, 577], [57, 0, 584], [57, 0, 592], [58, 0, 601],
[58, 0, 608], [58, 0, 618], [58, 0, 624], [59, 0, 634], [58, 0, 783], [58, 0, 797], [58, 0, 814],
[58, 0, 821], [57, 0, 829], [57, 0, 837], [57, 0, 845], [57, 0, 853], [57, 0, 861], [56, 0, 870],
[56, 0, 886], [56, 0, 894], [56, 1, 903], [56, 1, 912], [55, 1, 917], [55, 1, 940], [55, 1, 956],
[55, 1, 972], [54, 1, 995], [54, 1, 1030], [54, 1, 1052], [54, 1, 1086], [54, 1, 1117], [53, 1, 1123],
[53, 1, 1154], [53, 1, 1170], [53, 1, 1196], [53, 1, 1240], [53, 1, 1273], [52, 1, 1288], [52, 1, 1312],
[52, 2, 1327], [52, 2, 1335], [52, 2, 1351], [51, 2, 1368], [51, 2, 1407], [51, 2, 1439], [51, 2, 1479],
[50, 2, 1511], [50, 2, 1559], [50, 2, 1604], [50, 2, 1848]],
[[-38, -27, 0], [0, 0, 0], [0, 0, 2], [0, 0, 147], [2, 0, 154], [4, 0, 161], [7, 0, 169], [9, 0, 177],
[14, 0, 185], [17, 0, 193], [22, 0, 202], [25, 0, 211], [29, 0, 219], [30, 0, 225], [33, 0, 233],
[36, 0, 241], [38, 0, 249], [39, 0, 256], [41, 0, 264], [43, 0, 272], [44, 0, 280], [45, 0, 288],
[46, 0, 298], [47, 0, 304], [48, 0, 311], [49, 0, 320], [50, 0, 329], [52, 0, 336], [53, 0, 343],
[54, 0, 352], [54, 0, 359], [55, 0, 369], [57, 0, 377], [58, 0, 385], [59, 0, 391], [60, 0, 399],
[61, 0, 407], [62, 0, 416], [62, 0, 423], [63, 0, 430], [64, 0, 438], [64, 0, 448], [64, 0, 454],
[65, 0, 462], [65, 0, 470], [65, 0, 478], [65, 0, 485], [66, 0, 494], [67, 0, 502], [67, 0, 509],
[68, 0, 519], [68, 0, 525], [69, 0, 535], [70, 0, 541], [70, 0, 548], [71, 0, 556], [72, 0, 564],
[72, 0, 572], [72, 0, 580], [73, 0, 588], [73, 0, 595], [73, 0, 603], [73, 0, 611], [74, 0, 635],
[74, 0, 660], [74, 0, 668], [74, 0, 676], [75, 0, 684], [75, 0, 691], [75, 0, 700], [76, 0, 706],
[76, 0, 715], [77, 0, 722], [77, 0, 731], [77, 0, 738], [78, 0, 748], [78, 0, 754], [78, 0, 763],
[78, 0, 770], [79, 0, 786], [79, 0, 1178]],
[[-39, -39, 0], [0, 0, 0], [0, 0, 112], [1, 0, 120], [3, 0, 129], [6, 0, 133], [9, 0, 141], [13, 0, 149],
[17, 0, 157], [21, 0, 165], [27, 0, 173], [31, 0, 181], [36, 0, 189], [41, 0, 197], [46, 0, 205],
[50, 0, 212], [54, 0, 221], [58, 0, 228], [62, 0, 236], [63, 0, 244], [65, 0, 251], [67, 0, 263],
[69, 0, 270], [70, 0, 278], [71, 0, 284], [72, 0, 293], [72, 0, 300], [73, 0, 308], [73, 0, 316],
[73, 0, 323], [73, 0, 373], [74, 0, 412], [74, 0, 435], [74, 0, 460], [74, 0, 474], [75, 0, 491],
[75, 0, 506], [75, 0, 513], [75, 0, 521], [76, 0, 529], [76, 0, 537], [77, 0, 545], [78, 0, 552],
[79, 0, 562], [80, 0, 568], [80, 1, 578], [81, 1, 584], [82, 1, 593], [82, 1, 600], [83, 1, 607],
[83, 1, 615], [83, 1, 623], [83, 1, 631], [84, 1, 680], [84, 1, 751], [84, 1, 774], [84, 1, 781],
[85, 1, 790], [85, 1, 797], [85, 1, 805], [86, 1, 813], [86, 1, 822], [87, 1, 830], [87, 2, 837],
[87, 2, 846], [88, 2, 853], [88, 2, 863], [88, 2, 869], [88, 2, 879], [89, 2, 958], [89, 2, 1005],
[89, 2, 1036], [89, 2, 1051], [90, 2, 1059], [90, 2, 1066], [90, 2, 1076], [91, 2, 1082], [91, 2, 1092],
[91, 2, 1098], [92, 2, 1106], [92, 2, 1113], [93, 2, 1122], [93, 2, 1129], [93, 2, 1137], [93, 2, 1146],
[94, 2, 1170], [94, 2, 1297], [94, 2, 1305], [94, 2, 1313], [95, 2, 1319], [95, 2, 1330], [95, 2, 1335],
[95, 2, 1351], [96, 2, 1367], [95, 2, 1875], [95, 2, 1938], [95, 2, 1968], [94, 2, 2015], [94, 2, 2164]],
[[-30, -36, 0], [0, 0, 0], [0, 0, 155], [2, 0, 161], [3, 0, 169], [5, 0, 177], [8, 0, 184], [11, 0, 192],
[14, 0, 200], [16, 0, 209], [20, 0, 215], [24, 0, 226], [28, 0, 231], [33, 0, 239], [37, 0, 247],
[42, 0, 256], [46, 0, 263], [48, 0, 272], [54, 2, 278], [56, 2, 288], [62, 2, 295], [63, 2, 303],
[68, 3, 310], [69, 3, 319], [72, 3, 326], [75, 3, 334], [77, 4, 342], [79, 4, 350], [81, 4, 359],
[83, 4, 366], [84, 4, 376], [86, 4, 382], [87, 4, 390], [88, 4, 398], [89, 4, 406], [90, 4, 413],
[90, 4, 421], [91, 4, 429], [92, 4, 436], [92, 4, 444], [92, 4, 453], [93, 4, 461], [94, 4, 468],
[94, 4, 476], [94, 4, 484], [95, 4, 492], [96, 4, 500], [96, 4, 508], [97, 4, 516], [98, 4, 525],
[99, 4, 532], [100, 4, 540], [101, 4, 547], [102, 5, 557], [104, 5, 563], [105, 5, 572], [107, 5, 579],
[108, 5, 588], [109, 5, 595], [110, 5, 605], [111, 5, 611], [111, 5, 619], [112, 6, 627], [112, 6, 635],
[112, 6, 642], [112, 6, 651], [113, 6, 938], [113, 6, 944], [114, 6, 950], [114, 6, 960], [115, 6, 966],
[115, 6, 976], [115, 6, 982], [116, 6, 991], [116, 6, 998], [116, 6, 1008], [116, 6, 1014],
[117, 6, 1023], [117, 6, 1056], [117, 6, 1500]],
[[-39, -31, 0], [0, 0, 0], [0, 0, 184], [1, 0, 193], [2, 0, 197], [4, 0, 206], [5, 0, 213], [7, 0, 223],
[9, 0, 229], [11, 0, 237], [14, 0, 244], [17, 0, 254], [18, 0, 260], [23, 0, 268], [24, 0, 277],
[27, 0, 284], [29, 0, 292], [32, 0, 302], [35, 0, 309], [37, 0, 316], [39, 0, 324], [41, 0, 332],
[43, 0, 343], [45, 0, 348], [47, 0, 356], [49, 0, 364], [51, 0, 371], [53, 0, 379], [55, 0, 388],
[56, 0, 395], [58, 0, 402], [60, 0, 410], [61, 0, 420], [62, 0, 426], [63, 0, 434], [65, 0, 442],
[65, 0, 450], [66, 0, 458], [67, 0, 466], [68, 0, 475], [69, 0, 482], [70, 0, 492], [70, 0, 497],
[71, 0, 506], [72, 0, 513], [73, 0, 521], [74, 0, 529], [75, 1, 537], [76, 1, 545], [76, 1, 553],
[77, 1, 560], [78, 1, 570], [79, 1, 576], [80, 1, 585], [81, 1, 593], [82, 1, 600], [83, 1, 608],
[84, 2, 616], [84, 2, 625], [85, 2, 632], [86, 2, 641], [87, 2, 647], [87, 2, 655], [88, 2, 663],
[88, 2, 671], [89, 2, 679], [89, 2, 686], [89, 2, 694], [89, 2, 702], [90, 2, 710], [90, 2, 718],
[90, 2, 784], [90, 2, 1143]],
[[-35, -29, 0], [0, 0, 0], [0, 0, 150], [1, 0, 158], [4, 0, 166], [5, 0, 173], [8, 0, 182], [11, 0, 189],
[14, 0, 199], [17, 0, 205], [21, 0, 216], [25, 0, 222], [29, 0, 229], [33, 0, 237], [37, 0, 245],
[40, 0, 252], [44, 0, 262], [47, 0, 268], [50, 0, 276], [53, 0, 284], [58, 1, 293], [60, 2, 301],
[62, 2, 308], [65, 2, 316], [67, 3, 323], [70, 3, 333], [71, 3, 341], [73, 3, 349], [75, 3, 356],
[76, 3, 363], [77, 3, 371], [78, 3, 379], [79, 3, 387], [80, 3, 395], [81, 3, 402], [83, 3, 411],
[84, 3, 418], [85, 3, 425], [87, 3, 434], [89, 3, 441], [90, 3, 450], [92, 4, 459], [94, 4, 466],
[95, 4, 475], [96, 4, 484], [97, 4, 489], [98, 4, 500], [99, 4, 505], [100, 4, 514], [100, 4, 521],
[101, 4, 529], [101, 4, 537], [101, 4, 544], [102, 4, 552], [102, 4, 560], [102, 4, 568], [102, 4, 577],
[102, 4, 1027], [102, 5, 1066], [102, 5, 1082], [102, 5, 1105], [101, 5, 1121], [101, 5, 1129],
[101, 5, 1137], [101, 5, 1149]],
[[-39, -32, 0], [0, 0, 0], [0, 0, 127], [1, 0, 133], [4, 0, 140], [6, 0, 149], [13, 0, 156], [15, 0, 167],
[20, 0, 172], [25, 0, 183], [30, 0, 187], [41, 0, 195], [49, 0, 203], [55, 0, 211], [60, 0, 219],
[66, 0, 227], [74, 0, 235], [82, 0, 242], [89, 0, 250], [96, 0, 258], [103, 0, 267], [109, 0, 274],
[111, 0, 282], [115, 0, 290], [119, 0, 299], [126, 1, 306], [127, 1, 315], [130, 1, 321], [133, 2, 329],
[135, 2, 338], [138, 2, 345], [139, 2, 353], [141, 2, 361], [142, 3, 369], [143, 3, 377], [144, 3, 385],
[145, 3, 392], [145, 3, 401], [145, 3, 408], [145, 3, 416], [146, 3, 424], [146, 3, 433], [146, 3, 440],
[146, 3, 449], [147, 3, 456], [147, 3, 465], [148, 3, 472], [149, 3, 479], [150, 3, 487], [151, 3, 496],
[152, 3, 503], [153, 3, 511], [155, 3, 519], [156, 3, 527], [157, 3, 535], [159, 4, 543], [160, 4, 551],
[161, 4, 558], [161, 4, 567], [162, 4, 575], [163, 4, 582], [163, 4, 590], [163, 4, 600], [163, 4, 606],
[164, 4, 616], [163, 4, 835], [163, 4, 851], [163, 4, 867], [163, 4, 883], [162, 4, 891], [162, 4, 899],
[162, 4, 907], [162, 4, 916], [161, 5, 922], [161, 5, 932], [161, 5, 938], [161, 5, 946], [160, 5, 962],
[160, 5, 970], [160, 5, 978], [160, 5, 993], [159, 5, 1009], [159, 5, 1017], [159, 5, 1025],
[159, 5, 1049], [159, 5, 1072], [158, 5, 1096], [158, 5, 1120], [158, 5, 1168], [158, 5, 1264],
[158, 5, 2010]],
[[-39, -18, 0], [0, 0, 0], [0, 0, 141], [1, 0, 148], [3, 0, 156], [5, 0, 164], [8, 0, 172], [10, 0, 180],
[13, 0, 188], [15, 0, 198], [18, 0, 204], [21, 0, 212], [24, 0, 219], [26, 0, 230], [29, 0, 236],
[30, 0, 244], [33, 0, 252], [35, 0, 261], [37, 0, 268], [40, 0, 276], [42, 0, 285], [44, 0, 291],
[45, 0, 302], [47, 0, 307], [49, 0, 316], [51, 0, 322], [52, 0, 330], [54, 0, 338], [55, 0, 347],
[56, 0, 354], [58, 0, 363], [59, 0, 370], [60, -1, 378], [61, -1, 385], [62, -1, 396], [64, -1, 402],
[64, -1, 410], [65, -1, 419], [66, -1, 425], [67, -1, 435], [67, -1, 441], [68, -1, 452], [68, -1, 457],
[69, -1, 466], [69, -1, 473], [69, -1, 481], [70, -1, 489], [70, -1, 504], [70, -1, 521], [70, -1, 530],
[71, -1, 537], [71, -1, 544], [72, -1, 552], [72, -1, 560], [73, -1, 568], [74, -1, 576], [75, -2, 584],
[76, -2, 592], [77, -2, 602], [78, -2, 607], [79, -2, 614], [79, -2, 622], [80, -2, 631], [81, -2, 638],
[81, -2, 648], [81, -2, 654], [82, -2, 663], [82, -2, 670], [82, -2, 678], [82, -2, 686], [83, -2, 717],
[83, -2, 940], [83, -2, 949], [83, -2, 955], [84, -2, 963], [84, -2, 970], [84, -2, 978], [84, -2, 986],
[85, -2, 995], [85, -2, 1002], [86, -2, 1010], [86, -2, 1018], [87, -1, 1025], [87, -1, 1035],
[87, -1, 1041], [87, -1, 1054], [88, -1, 1058], [88, -1, 1067], [88, -1, 1098], [88, -1, 1132],
[88, -1, 1505]],
[[-47, -30, 0], [0, 0, 0], [0, 0, 3], [1, 0, 149], [3, 0, 157], [4, 0, 165], [7, 0, 172], [9, 0, 180],
[12, 0, 188], [16, 0, 196], [19, 0, 204], [22, 0, 212], [25, 0, 220], [29, 0, 228], [33, 0, 236],
[37, 0, 244], [41, 0, 251], [44, 0, 260], [46, 0, 268], [49, 0, 275], [52, 0, 283], [54, 0, 291],
[56, 0, 299], [58, 0, 307], [60, 0, 315], [61, 0, 322], [62, 0, 330], [64, 0, 338], [65, 0, 346],
[66, 0, 354], [68, 0, 362], [69, 0, 370], [70, 0, 378], [72, 0, 386], [74, 0, 394], [75, 0, 402],
[76, 0, 411], [78, 0, 417], [79, 0, 426], [80, 0, 433], [82, 0, 441], [83, 0, 449], [84, 0, 457],
[86, 1, 465], [88, 1, 473], [89, 1, 481], [91, 1, 488], [93, 2, 497], [94, 2, 504], [96, 2, 513],
[98, 2, 520], [100, 2, 528], [100, 2, 536], [102, 3, 545], [103, 3, 552], [104, 3, 561], [105, 3, 568],
[106, 3, 576], [107, 3, 584], [108, 3, 591], [109, 4, 599], [110, 4, 607], [111, 4, 615], [111, 4, 623],
[112, 4, 631], [112, 4, 639], [113, 4, 647], [113, 4, 654], [114, 4, 663], [115, 4, 670], [115, 4, 678],
[116, 4, 686], [116, 4, 694], [117, 4, 702], [117, 4, 711], [117, 4, 718], [118, 4, 726], [118, 4, 734],
[118, 4, 742], [118, 4, 749], [118, 4, 1162], [118, 4, 1177], [118, 4, 1194], [117, 4, 1210],
[117, 4, 1226], [117, 4, 1232], [117, 4, 1248], [116, 4, 1280], [116, 4, 1303], [116, 4, 1399],
[116, 4, 1664]],
[[-37, -27, 0], [0, 0, 0], [0, 0, 173], [2, 0, 182], [2, 0, 188], [5, 0, 196], [7, 0, 203], [9, 0, 211],
[12, 0, 219], [15, 0, 228], [18, 0, 235], [23, 0, 245], [26, 0, 250], [30, 0, 258], [33, 0, 266],
[37, 0, 275], [41, 0, 282], [44, 0, 292], [45, 0, 298], [48, 0, 307], [51, 0, 315], [54, 0, 322],
[56, 0, 331], [58, 0, 338], [60, 0, 348], [62, 0, 354], [64, 0, 363], [65, 0, 369], [67, 0, 378],
[68, 0, 385], [70, 0, 394], [71, 0, 400], [72, 0, 411], [73, 0, 417], [74, 0, 425], [74, 0, 433],
[75, 0, 441], [75, 0, 448], [75, 0, 456], [76, 0, 466], [76, 0, 472], [76, 0, 481], [76, 0, 488],
[77, 0, 498], [77, 0, 519], [77, 0, 821], [76, 0, 829], [76, 0, 835], [76, 0, 852], [76, 0, 859],
[75, 0, 867], [75, 0, 874], [75, 0, 883], [74, 0, 891], [74, 0, 908], [74, 0, 917], [74, 0, 923],
[73, 0, 939], [73, 0, 949], [73, 0, 963], [73, 0, 980], [72, 0, 995], [72, 0, 1028], [72, 0, 1059],
[72, 0, 1083], [72, 0, 1115], [72, 0, 1323]],
[[-38, -23, 0], [0, 0, 0], [0, 0, 131], [2, 0, 137], [3, 0, 145], [5, 0, 152], [9, 0, 159], [12, 0, 167],
[16, 0, 176], [20, 0, 183], [25, 0, 193], [28, 0, 200], [33, 0, 208], [37, 0, 215], [41, 0, 223],
[44, 0, 231], [47, 0, 238], [48, 0, 248], [51, 0, 255], [53, 0, 263], [56, 0, 271], [57, 0, 278],
[59, 0, 286], [60, 0, 294], [62, 0, 302], [62, 0, 309], [63, 0, 317], [64, 0, 325], [65, 0, 333],
[65, 0, 341], [66, -1, 349], [67, -1, 357], [68, -1, 365], [68, -1, 373], [69, -1, 381], [71, -1, 388],
[72, -1, 398], [73, -2, 405], [74, -2, 417], [74, -2, 421], [75, -2, 429], [76, -2, 437], [77, -2, 445],
[77, -2, 452], [77, -2, 461], [78, -2, 468], [78, -2, 478], [79, -2, 492], [79, -2, 500], [79, -2, 511],
[79, -2, 529], [80, -2, 532], [80, -2, 539], [81, -2, 554], [81, -2, 556], [82, -2, 562], [83, -2, 571],
[84, -2, 579], [85, -2, 586], [85, -2, 594], [86, -3, 602], [87, -3, 610], [88, -3, 618], [88, -3, 626],
[89, -3, 634], [89, -3, 642], [89, -3, 650], [90, -3, 658], [90, -3, 666], [90, -3, 674], [90, -3, 683],
[91, -3, 690], [91, -3, 699], [91, -3, 705], [91, -3, 714], [92, -3, 721], [92, -3, 731], [92, -3, 737],
[92, -3, 745], [93, -3, 752], [93, -3, 761], [93, -3, 768], [93, -3, 776], [94, -3, 784], [94, -3, 793],
[94, -3, 800], [94, -3, 808], [95, -3, 816], [95, -3, 824], [95, -3, 840], [95, -3, 871],
[95, -3, 1169]],
[[-26, -38, 0], [0, 0, 0], [1, 0, 142], [2, 0, 150], [3, 0, 157], [5, 0, 165], [7, 0, 173], [9, 0, 183],
[12, 0, 189], [14, 0, 198], [17, 0, 206], [20, 0, 214], [24, 0, 221], [25, 0, 229], [28, 0, 237],
[31, 0, 244], [33, 0, 252], [35, 0, 261], [37, 0, 268], [39, 0, 278], [41, 0, 284], [43, 0, 292],
[44, 0, 299], [46, 0, 308], [47, 0, 315], [48, 0, 323], [49, 0, 331], [49, 0, 339], [49, 0, 348],
[50, 0, 356], [50, 0, 364], [50, 0, 371], [50, 0, 405], [51, 0, 460], [51, 0, 475], [51, 0, 483],
[51, 0, 489], [52, 0, 499], [53, 0, 505], [53, 0, 516], [55, 0, 521], [56, 0, 529], [57, 0, 536],
[58, 0, 546], [58, 0, 552], [59, 0, 561], [59, 0, 568], [60, 0, 576], [60, 0, 584], [60, 0, 592],
[60, 0, 600], [61, 0, 608], [61, 0, 624], [61, 0, 666], [61, 0, 687], [62, 0, 695], [62, 0, 702],
[62, 0, 712], [62, 0, 718], [63, 0, 727], [63, 0, 734], [63, 0, 742], [64, 0, 750], [64, 0, 758],
[64, 0, 766], [64, 0, 774], [65, 0, 782], [65, 0, 806], [65, 0, 1179], [65, 0, 1211], [66, 0, 1242],
[66, 0, 1298], [66, 0, 1527], [66, 0, 1542], [65, 0, 1551], [65, 0, 1562]],
[[-33, -37, 0], [0, 0, 0], [1, 0, 138], [2, 0, 143], [3, 0, 150], [5, 0, 158], [7, 0, 166], [9, 0, 174],
[11, 0, 182], [14, 0, 190], [17, 0, 198], [19, 0, 205], [20, 0, 216], [22, 0, 222], [24, 0, 230],
[26, 0, 237], [28, 0, 245], [29, 0, 253], [30, 0, 261], [31, 0, 269], [32, 0, 277], [32, 0, 288],
[33, 0, 293], [34, 0, 304], [34, 0, 308], [34, 0, 318], [34, 0, 324], [35, 0, 332], [35, 0, 412],
[35, 0, 428], [35, 0, 438], [36, 0, 445], [37, 0, 452], [38, 0, 459], [39, 0, 466], [40, 0, 474],
[42, 0, 483], [43, 0, 490], [44, 0, 498], [45, 0, 506], [46, 0, 514], [46, 0, 522], [46, 0, 530],
[47, 0, 537], [47, 0, 545], [47, 0, 554], [47, 0, 587], [48, 0, 635], [48, 0, 650], [48, 0, 656],
[48, 0, 664], [49, 0, 672], [49, 0, 679], [49, 0, 687], [49, 0, 696], [50, 0, 704], [50, 0, 712],
[50, 0, 720], [50, 0, 728], [51, 0, 816], [51, 0, 1205], [51, 0, 1263]],
[[-35, -29, 0], [0, 0, 0], [0, 0, 142], [1, 0, 150], [3, 0, 158], [5, 0, 165], [7, 0, 173], [9, 0, 182],
[12, 0, 189], [16, 0, 199], [19, 0, 205], [22, 0, 213], [25, 0, 221], [29, 0, 229], [30, 0, 237],
[33, 0, 244], [35, 0, 253], [38, 0, 260], [40, 0, 268], [41, 0, 276], [42, 0, 284], [44, 0, 292],
[45, 0, 300], [46, 0, 308], [47, 0, 316], [48, 0, 324], [49, 0, 332], [50, 0, 339], [51, 0, 349],
[52, 0, 355], [53, 0, 363], [54, 0, 371], [55, 0, 379], [56, 0, 387], [57, 0, 395], [57, 0, 403],
[58, 0, 410], [58, 0, 461], [59, 0, 462], [59, 0, 466], [59, 0, 506], [59, 0, 750], [59, 0, 774],
[60, 0, 814], [60, 0, 885], [60, 0, 1238]],
[[-46, -25, 0], [0, 0, 0], [0, 0, 127], [1, 0, 133], [3, 0, 140], [4, 0, 149], [7, 0, 156], [10, 0, 167],
[12, 0, 172], [16, 0, 180], [19, 0, 188], [22, 0, 196], [25, 0, 204], [28, 0, 212], [31, 0, 219],
[32, 0, 227], [35, 0, 235], [37, 0, 243], [39, 0, 251], [41, 0, 259], [43, 0, 267], [44, 0, 274],
[45, 0, 283], [46, 0, 290], [47, 0, 299], [47, 0, 307], [48, 0, 318], [49, 0, 322], [49, 0, 331],
[50, 0, 338], [51, 0, 345], [52, 0, 354], [53, 0, 364], [54, 0, 370], [55, 0, 377], [56, 0, 385],
[57, 0, 393], [58, -1, 401], [59, -1, 409], [60, -1, 417], [61, -1, 425], [62, -1, 434], [62, -1, 441],
[63, -2, 449], [64, -2, 457], [65, -2, 466], [65, -2, 473], [66, -2, 481], [66, -2, 488], [67, -2, 496],
[67, -2, 503], [67, -2, 512], [68, -2, 519], [68, -2, 528], [68, -2, 544], [68, -2, 576], [69, -2, 585],
[69, -3, 591], [69, -3, 600], [70, -3, 607], [71, -3, 617], [71, -3, 623], [71, -3, 630], [72, -3, 638],
[72, -3, 646], [72, -3, 654], [72, -3, 670], [72, -3, 868], [72, -3, 877], [72, -3, 883], [72, -3, 891],
[71, -3, 900], [71, -2, 907], [71, -2, 917], [71, -2, 923], [71, -2, 931], [70, -2, 938], [70, -2, 946],
[70, -2, 954], [70, -2, 962], [70, -2, 979], [69, -2, 996], [69, -2, 1002], [69, -2, 1009],
[69, -2, 1034], [69, -2, 1058], [68, -2, 1085], [68, -1, 1091], [68, -1, 1116], [68, -1, 1136],
[68, -1, 1161], [68, -1, 1185], [67, -1, 1234], [67, -1, 1287], [67, -1, 1609]],
[[-28, -41, 0], [0, 0, 0], [0, 0, 101], [2, 0, 109], [4, 0, 116], [7, 0, 124], [8, 0, 131], [11, 0, 139],
[14, 0, 147], [17, 0, 155], [20, 0, 164], [23, 0, 172], [26, 0, 180], [28, 0, 187], [29, 0, 196],
[31, 0, 203], [33, 0, 213], [35, 0, 218], [36, 0, 227], [37, 0, 234], [39, 0, 243], [39, 0, 250],
[40, 0, 258], [40, 0, 266], [40, 0, 274], [41, 0, 281], [41, 0, 289], [42, 0, 297], [42, 0, 305],
[43, 0, 313], [44, 0, 321], [45, 0, 329], [45, 0, 337], [46, 0, 346], [48, 0, 352], [49, 0, 360],
[50, 0, 368], [51, 0, 376], [53, 0, 384], [54, 0, 392], [55, 0, 400], [56, 0, 408], [56, 0, 416],
[57, 0, 423], [57, 0, 431], [58, 0, 439], [58, 0, 447], [58, 0, 456], [58, 0, 472], [58, 0, 521],
[59, 0, 526], [59, 0, 534], [60, 0, 542], [61, 0, 550], [62, 0, 558], [63, 0, 566], [64, 0, 575],
[65, 0, 582], [66, 0, 590], [67, 0, 598], [68, 0, 605], [69, 0, 614], [70, 0, 622], [71, 0, 630],
[71, 0, 638], [71, 0, 648], [72, 0, 653], [72, 0, 661], [72, 0, 669], [73, 0, 677], [73, 0, 749],
[73, 0, 798], [73, 0, 812], [74, 0, 819], [74, 1, 827], [75, 1, 835], [76, 1, 842], [77, 1, 850],
[77, 1, 859], [78, 1, 866], [79, 1, 874], [80, 1, 882], [80, 1, 890], [81, 1, 898], [81, 1, 906],
[81, 1, 914], [81, 1, 922], [82, 1, 930], [82, 2, 937], [81, 2, 1162], [81, 2, 1183], [81, 2, 1199],
[81, 2, 1208], [80, 2, 1215], [80, 2, 1222], [79, 2, 1230], [79, 2, 1238], [79, 2, 1247], [79, 2, 1253],
[78, 2, 1263], [78, 2, 1269], [78, 2, 1278], [78, 2, 1285], [77, 2, 1294], [77, 2, 1301], [77, 2, 1309],
[77, 2, 1325], [76, 2, 1333], [76, 2, 1350], [76, 2, 1366], [76, 2, 1383], [76, 3, 1399], [75, 3, 1422],
[75, 3, 1462], [75, 3, 1530], [75, 3, 1790]],
[[-24, -34, 0], [0, 0, 0], [0, 0, 105], [2, 0, 110], [4, 0, 118], [6, 0, 126], [9, 0, 134], [12, 0, 141],
[15, 0, 150], [18, 0, 158], [22, 0, 165], [25, 0, 174], [29, 0, 181], [32, 0, 191], [36, 0, 196],
[39, 0, 204], [43, 0, 212], [46, 0, 221], [51, 0, 228], [54, 0, 237], [57, 0, 245], [61, 0, 252],
[64, 0, 260], [66, 0, 268], [71, 0, 284], [75, 0, 292], [77, 0, 301], [81, 0, 308], [87, 0, 332],
[93, 0, 355], [95, 0, 363], [96, 0, 370], [97, 0, 378], [98, 0, 386], [98, 0, 394], [98, 0, 402],
[99, -1, 410], [99, -1, 417], [99, -1, 425], [99, -1, 453], [100, -1, 689], [100, -1, 694],
[101, -1, 703], [102, -1, 710], [103, -1, 719], [103, -1, 726], [104, -1, 734], [105, -1, 742],
[105, -1, 750], [105, -1, 758], [105, -1, 766], [106, -1, 775], [106, -1, 793], [106, 0, 855],
[106, 0, 1260]],
[[-36, -31, 0], [0, 0, 0], [1, 0, 193], [2, 0, 200], [3, 0, 208], [5, 0, 216], [6, 0, 224], [7, 0, 232],
[9, 0, 240], [10, 0, 248], [12, 0, 256], [14, 0, 264], [15, 0, 272], [18, 0, 280], [20, 0, 288],
[21, 0, 295], [22, 0, 304], [24, 0, 311], [25, 0, 319], [27, 0, 327], [28, 0, 335], [29, 0, 343],
[30, 0, 351], [31, 1, 358], [32, 1, 366], [33, 1, 374], [34, 1, 382], [35, 1, 390], [35, 1, 398],
[36, 1, 406], [37, 1, 414], [37, 1, 422], [38, 1, 430], [39, 1, 438], [39, 1, 445], [40, 1, 455],
[40, 1, 462], [41, 1, 469], [41, 1, 477], [41, 1, 485], [42, 1, 493], [42, 1, 501], [42, 1, 509],
[43, 1, 516], [43, 1, 525], [43, 1, 532], [43, 1, 540], [44, 1, 548], [44, 1, 564], [44, 1, 580],
[44, 1, 596], [45, 1, 624], [45, 1, 651], [45, 1, 676], [45, 1, 699], [46, 1, 715], [46, 1, 740],
[46, 1, 755], [46, 1, 761], [47, 1, 778], [47, 1, 805], [47, 1, 817], [47, 1, 842], [48, 1, 864],
[48, 1, 898], [48, 1, 924], [48, 1, 938], [48, 1, 959], [49, 1, 992], [49, 1, 1015], [49, 1, 1048],
[49, 1, 1072], [50, 1, 1094], [50, 1, 1126], [50, 1, 1142], [50, 1, 1172], [51, 1, 1196], [51, 1, 1224],
[51, 1, 1244], [51, 1, 1259], [52, 1, 1285], [52, 1, 1300], [52, 1, 1324], [52, 1, 1371], [52, 1, 1436],
[53, 1, 1491], [53, 1, 1623]],
[[-30, -22, 0], [0, 0, 0], [0, 0, 151], [2, 0, 159], [3, 0, 166], [6, 0, 174], [8, 0, 182], [12, 0, 189],
[16, 0, 198], [21, 0, 206], [29, 0, 214], [32, 0, 222], [38, 0, 230], [45, 0, 238], [51, 0, 245],
[64, 0, 253], [72, 0, 261], [76, 0, 268], [83, 0, 276], [89, 0, 284], [96, 0, 293], [102, 0, 300],
[107, 0, 309], [112, 0, 316], [116, 0, 324], [121, 0, 332], [123, 0, 339], [126, 0, 347], [130, 0, 356],
[132, 0, 363], [134, 0, 371], [137, 0, 380], [139, 0, 387], [140, 0, 400], [142, 0, 403], [144, 0, 412],
[145, 0, 419], [146, 0, 427], [147, 0, 435], [149, 0, 443], [149, 0, 450], [151, 0, 458], [152, 0, 466],
[153, 0, 474], [154, 0, 482], [155, 0, 490], [156, 0, 498], [158, 0, 506], [158, 0, 514], [159, 0, 522],
[159, 0, 531], [160, 0, 538], [160, 0, 548], [160, 0, 553], [161, 0, 561], [161, 0, 569], [161, 0, 585],
[161, 0, 633], [162, 0, 641], [162, 0, 656], [162, 0, 665], [163, 0, 671], [163, 0, 681], [164, 0, 688],
[164, 0, 698], [165, 0, 704], [165, 0, 712], [166, 0, 719], [166, 0, 728], [167, 0, 735], [168, 0, 743],
[168, 0, 751], [168, 0, 759], [169, 0, 766], [169, 0, 774], [169, 0, 782], [169, 0, 799], [170, 0, 857],
[170, 0, 918], [170, 0, 1400], [170, 0, 1441], [170, 0, 1470], [171, 0, 1486], [171, 0, 1529],
[171, 0, 1591], [171, 0, 1604], [171, 0, 1636], [171, 1, 1661], [171, 1, 1895]],
[[-40, -31, 0], [0, 0, 0], [1, 0, 118], [2, 0, 128], [3, 0, 134], [5, 0, 145], [7, 0, 149], [9, 0, 157],
[12, 0, 165], [14, 0, 173], [17, 0, 181], [21, 0, 188], [24, 0, 196], [27, 0, 205], [28, 0, 213],
[32, 0, 221], [34, 0, 228], [37, 0, 236], [38, 0, 244], [40, 0, 252], [43, 0, 262], [44, 0, 268],
[46, 0, 277], [46, 0, 283], [48, 0, 293], [48, 0, 299], [49, 0, 307], [50, 0, 315], [50, 0, 323],
[51, 0, 331], [51, 0, 340], [51, 0, 347], [51, 0, 355], [52, 0, 363], [52, 0, 370], [52, 0, 395],
[52, 0, 445], [53, 0, 467], [53, 0, 476], [53, 0, 481], [54, 0, 489], [55, 0, 497], [56, 0, 505],
[57, 0, 512], [58, 0, 521], [60, 0, 529], [60, 0, 537], [62, 0, 545], [62, 0, 553], [63, 0, 561],
[63, 0, 568], [64, 0, 577], [64, 0, 584], [64, 0, 595], [65, 0, 600], [65, 0, 609], [65, 0, 1130],
[65, 0, 1274], [64, 0, 1280], [64, 0, 1301]],
[[-31, -37, 0], [0, 0, 0], [0, 0, 129], [1, 0, 136], [4, 0, 146], [5, 0, 152], [8, 0, 162], [11, 0, 168],
[15, 0, 176], [18, 0, 184], [22, 0, 192], [26, 0, 200], [30, 0, 207], [34, 0, 215], [39, 0, 223],
[42, 0, 231], [47, 0, 239], [51, 0, 247], [55, 0, 255], [59, 0, 263], [64, 0, 271], [69, 0, 279],
[72, 0, 286], [77, 0, 295], [82, 0, 302], [86, 0, 310], [90, 0, 318], [95, 0, 326], [100, 0, 334],
[105, 0, 342], [107, 0, 350], [114, 0, 358], [118, 0, 366], [120, 0, 373], [125, 0, 381], [126, 0, 389],
[129, 0, 397], [132, 0, 405], [134, 0, 413], [137, 0, 421], [139, 0, 430], [141, 0, 437], [143, 0, 446],
[145, 0, 452], [146, 0, 462], [147, 0, 468], [148, 0, 476], [149, 0, 484], [149, 0, 492], [150, 0, 500],
[150, 0, 508], [151, 0, 516], [151, 0, 524], [151, 0, 540], [151, 0, 575], [152, 0, 582], [152, 0, 587],
[152, 0, 596], [152, 0, 603], [153, 0, 612], [153, 0, 619], [154, 0, 627], [155, 0, 634], [155, 1, 642],
[156, 1, 650], [156, 1, 658], [157, 1, 666], [157, 1, 675], [157, 1, 682], [158, 1, 692], [158, 1, 699],
[158, 1, 705], [158, 1, 796], [158, 2, 865], [158, 2, 898], [158, 2, 1112]],
[[-26, -18, 0], [0, 0, 0], [1, 0, 128], [3, 0, 134], [6, 0, 142], [12, 0, 149], [17, 0, 160],
[23, 0, 165], [30, 0, 173], [34, 0, 181], [47, 0, 189], [55, 0, 197], [65, 0, 205], [69, 0, 212],
[76, 0, 221], [84, 0, 229], [90, 0, 236], [95, 0, 244], [100, 1, 252], [105, 1, 260], [107, 1, 267],
[110, 1, 276], [113, 1, 285], [114, 1, 295], [116, 1, 300], [118, 1, 308], [118, 1, 316], [119, 1, 324],
[119, 1, 331], [119, 1, 339], [120, 1, 347], [120, 1, 354], [120, 1, 396], [120, 1, 450], [121, 1, 460],
[121, 1, 466], [121, 1, 473], [121, 1, 482], [122, 1, 490], [122, 1, 497], [122, 1, 505], [123, 1, 513],
[123, 1, 529], [123, 1, 799], [122, 1, 893], [122, 2, 900], [122, 2, 916], [122, 2, 932], [122, 2, 943],
[121, 2, 948], [121, 2, 955], [121, 2, 968]],
[[-29, -30, 0], [0, 0, 0], [0, 0, 126], [0, 0, 134], [2, 0, 141], [4, 0, 149], [7, 0, 157], [10, 0, 165],
[13, 0, 173], [16, 0, 182], [21, 0, 189], [24, 0, 197], [29, 0, 205], [32, 0, 214], [36, 0, 220],
[41, 0, 227], [45, 0, 235], [48, 0, 244], [52, 0, 252], [53, 0, 260], [56, 0, 268], [59, 0, 276],
[62, 0, 283], [64, 0, 292], [66, 0, 302], [68, 0, 313], [70, 0, 322], [70, 0, 353], [73, 0, 355],
[74, 0, 369], [74, 0, 370], [75, 0, 378], [75, 0, 386], [75, 0, 394], [75, 0, 401], [76, 0, 410],
[76, 0, 417], [76, 0, 445], [76, 0, 466], [77, 0, 491], [77, 0, 500], [77, 0, 514], [77, 0, 520],
[78, 0, 529], [78, 0, 536], [78, 0, 544], [79, 0, 552], [79, 0, 560], [80, 0, 567], [80, 0, 576],
[81, 0, 583], [81, 0, 591], [82, 0, 600], [82, 0, 607], [83, 0, 615], [83, 0, 623], [84, 0, 631],
[84, 0, 639], [84, 0, 649], [85, 0, 655], [85, 0, 664], [85, 0, 670], [86, 0, 680], [86, 0, 686],
[86, 0, 694], [87, 0, 702], [87, 0, 709], [87, 0, 718], [88, 0, 726], [88, 0, 733], [88, 0, 741],
[88, 0, 749], [89, 0, 757], [89, 0, 765], [89, 0, 789], [89, 1, 817], [89, 1, 895], [89, 1, 1201],
[89, 1, 1208], [88, 1, 1224], [88, 1, 1232], [88, 1, 1239], [88, 1, 1251]],
[[-34, -34, 0], [0, 0, 0], [0, 0, 236], [2, 0, 243], [3, 0, 250], [5, 0, 257], [7, 0, 266], [10, 0, 273],
[13, 0, 281], [16, 0, 289], [20, 0, 297], [25, 0, 305], [30, 0, 313], [36, 0, 321], [41, 0, 331],
[47, 1, 337], [52, 1, 347], [59, 2, 352], [66, 2, 360], [73, 2, 368], [79, 3, 377], [86, 3, 385],
[92, 4, 393], [98, 4, 400], [103, 4, 407], [108, 4, 416], [113, 5, 423], [117, 5, 431], [121, 5, 440],
[125, 5, 447], [129, 6, 455], [130, 6, 463], [133, 6, 471], [136, 6, 481], [139, 7, 488], [140, 7, 497],
[142, 7, 503], [144, 7, 513], [145, 7, 519], [146, 7, 527], [148, 7, 535], [148, 7, 543], [149, 8, 550],
[150, 8, 558], [150, 8, 566], [151, 8, 574], [151, 8, 582], [151, 8, 590], [152, 8, 598], [152, 8, 606],
[152, 8, 614], [152, 8, 661], [153, 8, 677], [153, 8, 684], [154, 8, 693], [155, 8, 700], [156, 8, 708],
[157, 8, 716], [158, 8, 725], [159, 8, 732], [160, 8, 740], [161, 8, 748], [162, 8, 755], [163, 8, 763],
[163, 8, 771], [164, 8, 781], [164, 8, 787], [164, 8, 799], [165, 8, 803], [165, 8, 819], [165, 8, 894],
[165, 8, 916], [166, 8, 923], [166, 8, 931], [166, 8, 938], [167, 8, 947], [168, 8, 953], [168, 8, 961],
[169, 8, 969], [169, 8, 978], [170, 8, 985], [170, 8, 992], [170, 8, 1000], [171, 8, 1009],
[171, 8, 1017], [171, 8, 1025], [171, 8, 1032], [171, 8, 1388], [172, 8, 1397], [172, 8, 1404],
[172, 8, 1412], [173, 8, 1419], [173, 8, 1427], [173, 8, 1435], [173, 8, 1443], [174, 8, 1459],
[174, 8, 1803]],
[[-36, -19, 0], [0, 0, 0], [0, 0, 106], [2, 0, 111], [4, 0, 118], [6, 0, 126], [8, 0, 134], [10, 0, 142],
[13, 0, 150], [16, 0, 158], [20, 0, 167], [23, 0, 174], [26, 0, 182], [29, 0, 191], [32, 0, 199],
[36, 0, 208], [39, 0, 214], [42, 0, 221], [46, 0, 229], [47, 0, 239], [50, 0, 245], [53, 0, 253],
[54, 0, 261], [56, 0, 269], [57, 0, 277], [58, 0, 285], [59, 0, 293], [59, 0, 300], [59, 0, 308],
[60, 0, 316], [60, 0, 324], [60, 0, 341], [60, 0, 412], [61, 0, 436], [61, 0, 460], [61, 0, 467],
[61, 0, 476], [62, 0, 482], [62, 0, 491], [62, 0, 498], [62, 0, 510], [63, 0, 522], [63, 0, 546],
[63, 0, 588], [63, 0, 624], [64, 0, 659], [64, 0, 675], [64, 0, 680], [64, 0, 688], [65, 0, 695],
[65, 0, 703], [65, 0, 711], [66, 0, 719], [66, 0, 727], [66, 0, 735], [67, 0, 743], [67, 1, 751],
[67, 1, 759], [68, 1, 766], [68, 1, 775], [68, 1, 809], [68, 1, 1075], [68, 1, 1095]],
[[-38, -31, 0], [0, 0, 0], [0, 0, 177], [2, 0, 183], [3, 0, 190], [5, 0, 198], [8, 0, 206], [10, 0, 214],
[12, 0, 221], [13, 0, 231], [15, 0, 238], [17, 0, 248], [19, 0, 254], [21, 0, 262], [22, 0, 269],
[23, 0, 277], [25, 0, 284], [26, 0, 292], [27, 0, 300], [28, 0, 308], [29, 0, 316], [30, 0, 324],
[31, 0, 332], [32, 0, 341], [33, 0, 348], [33, 0, 356], [34, 0, 363], [35, 0, 372], [35, 0, 380],
[36, 0, 388], [36, 0, 396], [36, 0, 403], [37, 0, 411], [37, 0, 420], [37, 0, 428], [37, 0, 435],
[38, 0, 451], [38, 0, 539], [38, 0, 586], [38, 0, 602], [39, 0, 610], [39, 0, 617], [39, 0, 625],
[39, 0, 638], [40, 0, 646], [40, 0, 653], [41, 0, 659], [42, 0, 701], [43, 1, 705], [43, 1, 711],
[43, 1, 729], [44, 1, 794], [44, 1, 857], [44, 1, 1116]],
[[-36, -34, 0], [0, 0, 0], [0, 0, 4], [1, 0, 143], [2, 0, 151], [4, 0, 157], [6, 0, 165], [9, 0, 173],
[12, 0, 181], [15, 0, 188], [19, 0, 196], [22, 0, 204], [27, 0, 213], [31, 0, 221], [35, 0, 228],
[39, 0, 237], [44, 0, 244], [47, 0, 254], [51, 0, 260], [55, 0, 272], [58, 0, 275], [61, 0, 285],
[65, 0, 291], [68, 0, 299], [70, 0, 308], [75, 0, 316], [76, 0, 323], [79, 0, 332], [81, -1, 339],
[84, -1, 347], [85, -1, 354], [87, -1, 362], [88, -1, 370], [89, -1, 378], [90, -1, 387], [91, -1, 394],
[91, -1, 405], [92, -1, 410], [92, -1, 419], [93, -1, 426], [93, -1, 434], [93, -1, 442], [93, -1, 458],
[94, -2, 513], [94, -2, 539], [94, -2, 546], [95, -2, 554], [95, -2, 560], [96, -2, 569], [97, -2, 575],
[98, -2, 583], [98, -2, 591], [99, -2, 600], [100, -2, 607], [101, -2, 615], [101, -2, 623],
[101, -2, 631], [101, -2, 639], [102, -2, 647], [102, -2, 655], [102, -2, 989], [102, -2, 1105]],
[[-37, -47, 0], [0, 0, 0], [0, 0, 4], [0, 0, 206], [1, 0, 215], [2, 0, 221], [4, 0, 228], [6, 0, 237],
[9, 0, 244], [11, 0, 255], [14, 0, 260], [16, 0, 269], [19, 0, 276], [24, 0, 284], [27, 0, 291],
[29, 0, 299], [32, 0, 307], [34, 0, 315], [36, 0, 323], [39, 0, 331], [40, 0, 338], [42, 0, 347],
[44, 0, 354], [45, 0, 362], [45, 0, 371], [46, 0, 379], [46, 0, 388], [47, 0, 395], [47, 0, 402],
[47, 0, 410], [47, 0, 418], [48, 0, 452], [48, 0, 474], [48, 0, 490], [48, 0, 498], [49, 0, 505],
[49, 0, 513], [50, 0, 522], [51, 0, 529], [52, 0, 539], [52, 0, 545], [53, 0, 554], [53, 0, 560],
[53, 0, 569], [54, 0, 575], [54, 0, 584], [54, 0, 591], [55, 0, 600], [55, 0, 640], [55, 0, 996],
[55, 0, 1042], [55, 0, 1107], [55, 0, 1286]],
[[-49, -40, 0], [0, 0, 0], [0, 0, 166], [2, 0, 175], [3, 0, 181], [6, 0, 189], [9, 0, 196], [13, 0, 204],
[17, 0, 213], [21, 0, 221], [25, 0, 228], [29, 0, 236], [33, 0, 244], [37, 0, 253], [41, 0, 259],
[45, 0, 267], [48, 0, 275], [50, 0, 283], [53, 0, 291], [56, 0, 299], [59, 0, 307], [62, 0, 315],
[64, 0, 324], [66, 0, 332], [68, 0, 340], [70, 0, 347], [72, 1, 354], [75, 1, 362], [77, 1, 370],
[79, 1, 378], [82, 2, 386], [83, 2, 394], [86, 2, 402], [88, 2, 410], [91, 2, 418], [93, 2, 425],
[95, 3, 434], [96, 3, 442], [98, 3, 450], [99, 3, 458], [100, 3, 466], [100, 3, 476], [100, 3, 481],
[101, 3, 490], [101, 3, 496], [101, 3, 513], [101, 3, 968]],
[[-33, -30, 0], [0, 0, 0], [0, 0, 4], [1, 0, 161], [3, 0, 167], [5, 0, 174], [8, 0, 182], [12, 0, 190],
[16, 0, 198], [20, 0, 206], [24, 0, 214], [29, 0, 221], [34, 0, 229], [39, 0, 237], [44, 0, 246],
[49, 0, 254], [53, 0, 262], [57, 0, 270], [58, 0, 281], [62, 0, 331], [78, 0, 333], [80, 0, 340],
[84, -1, 358], [86, -1, 364], [89, -1, 372], [90, -1, 381], [92, -1, 388], [94, -1, 396], [95, -1, 404],
[96, -1, 413], [98, -1, 420], [99, -1, 429], [100, -1, 435], [101, -1, 443], [103, -1, 451],
[105, -1, 459], [106, -1, 467], [108, -1, 475], [110, -1, 482], [111, -1, 491], [113, -1, 498],
[115, -1, 506], [116, -1, 514], [118, -1, 523], [120, -1, 531], [121, -1, 538], [122, -1, 546],
[124, -1, 553], [125, -1, 562], [126, -1, 570], [127, -1, 581], [128, -1, 586], [128, -1, 594],
[129, -1, 601], [129, -1, 610], [130, 0, 617], [130, 0, 625], [130, 0, 632], [130, 0, 641],
[131, 0, 648], [131, 0, 881], [130, 0, 887], [130, 0, 894], [130, 0, 901], [129, 0, 917], [129, 0, 927],
[129, 0, 933], [129, 0, 942], [128, 0, 949], [128, 0, 957], [128, 0, 973], [128, 0, 981], [127, 0, 999],
[127, 0, 1023], [127, 0, 1048], [127, 0, 1054], [127, 0, 1061], [126, 0, 1076], [126, 0, 1100],
[126, 0, 1116], [126, 0, 1148], [125, 0, 1198], [125, 0, 1212], [125, 0, 1245], [125, 0, 1265],
[125, 0, 1306], [125, 0, 1348], [124, 0, 1426], [124, 0, 1471], [124, 0, 1545], [124, 0, 1576],
[124, 0, 2115]],
[[-34, -36, 0], [0, 0, 0], [0, 0, 4], [0, 0, 126], [1, 0, 134], [2, 0, 140], [4, 0, 151], [6, 0, 156],
[8, 0, 163], [11, 0, 171], [13, 0, 179], [16, 0, 187], [19, 0, 195], [21, 0, 203], [24, 0, 211],
[27, 0, 218], [30, 0, 227], [33, 0, 234], [36, 0, 242], [37, 0, 250], [39, 0, 258], [42, 0, 266],
[44, 0, 274], [46, 0, 282], [48, 0, 289], [50, 0, 299], [52, 0, 305], [54, 0, 317], [55, 0, 322],
[57, 0, 330], [58, 1, 337], [60, 1, 345], [61, 1, 353], [62, 1, 361], [64, 1, 369], [65, 1, 376],
[66, 1, 384], [67, 1, 392], [68, 2, 400], [69, 2, 408], [70, 2, 416], [71, 2, 424], [72, 2, 432],
[72, 2, 440], [73, 2, 450], [73, 2, 456], [74, 2, 464], [74, 2, 471], [74, 2, 479], [75, 2, 488],
[75, 2, 495], [75, 2, 503], [75, 2, 511], [76, 2, 519], [76, 2, 527], [76, 2, 535], [77, 2, 543],
[77, 2, 558], [77, 2, 575], [77, 2, 590], [77, 2, 638], [77, 2, 677], [78, 2, 907], [78, 2, 917],
[78, 2, 922], [78, 2, 930], [79, 2, 938], [79, 2, 946], [79, 2, 954], [79, 2, 962], [80, 2, 970],
[80, 2, 977], [80, 2, 985], [81, 2, 993], [81, 2, 1001], [81, 2, 1009], [81, 2, 1017], [82, 2, 1041],
[82, 2, 1306]],
[[-38, -13, 0], [0, 0, 0], [0, 0, 4], [1, 0, 89], [1, 0, 96], [3, 0, 102], [8, 0, 109], [12, 0, 117],
[16, 0, 125], [18, 0, 133], [23, 0, 140], [28, 0, 149], [39, 0, 156], [42, 0, 165], [47, 0, 172],
[53, 0, 180], [59, 0, 188], [64, 0, 197], [69, 0, 205], [74, 0, 212], [79, 0, 221], [84, 0, 227],
[88, 0, 236], [91, 0, 244], [95, 0, 251], [97, 0, 260], [102, 0, 268], [104, 0, 275], [107, 0, 283],
[112, 0, 291], [113, 0, 299], [115, 0, 306], [117, 0, 315], [120, 0, 323], [122, 0, 330], [123, 0, 338],
[125, 0, 346], [127, 0, 355], [128, 0, 363], [130, 0, 372], [131, 0, 378], [132, 0, 386], [133, 0, 394],
[134, 0, 402], [135, 0, 410], [135, 0, 417], [136, 0, 425], [137, 0, 434], [137, 0, 441], [138, 0, 449],
[138, 0, 457], [138, 0, 464], [139, 0, 473], [139, 0, 480], [139, 0, 489], [139, 0, 497], [140, 0, 506],
[140, 0, 524], [140, 0, 888], [140, 1, 918], [139, 1, 933], [139, 1, 943]],
[[-42, -26, 0], [0, 0, 0], [0, 0, 15], [0, 0, 106], [1, 0, 113], [3, 0, 120], [4, 0, 128], [7, 0, 137],
[8, 0, 144], [10, 0, 153], [13, 0, 160], [14, 0, 169], [16, 0, 176], [19, 0, 184], [21, 0, 192],
[23, 0, 199], [24, 0, 208], [28, 0, 216], [29, 0, 225], [31, 0, 231], [33, 0, 239], [35, 0, 247],
[37, 0, 265], [40, 0, 267], [42, 0, 271], [44, 0, 278], [46, 0, 287], [48, 0, 294], [50, 0, 302],
[51, 0, 310], [52, 0, 318], [53, 0, 326], [55, 0, 334], [55, 0, 342], [56, 0, 350], [57, 0, 358],
[57, 0, 365], [58, 0, 373], [58, 0, 381], [59, 0, 390], [59, 0, 398], [59, 0, 406], [59, 0, 413],
[60, 0, 421], [60, 0, 428], [60, 0, 612], [59, 0, 628], [59, 0, 635], [59, 0, 642], [58, 0, 650],
[57, 0, 659], [57, 0, 666], [56, 0, 677], [55, 0, 682], [54, 0, 691], [53, 0, 698], [52, 0, 706],
[50, 0, 713], [49, 0, 721], [47, 0, 729], [45, 0, 737], [44, 0, 745], [43, 0, 761], [42, 1, 810],
[38, 1, 814], [39, 1, 985], [39, 1, 991], [39, 1, 1006], [39, 1, 1014], [40, 1, 1022], [40, 1, 1029],
[40, 1, 1038], [41, 1, 1045], [41, 1, 1053], [41, 1, 1061], [42, 1, 1069], [43, 1, 1077], [43, 1, 1084],
[44, 1, 1093], [44, 1, 1101], [45, 1, 1109], [46, 1, 1117], [46, 1, 1128], [47, 1, 1132], [47, 1, 1141],
[47, 1, 1148], [48, 1, 1157], [48, 1, 1164], [48, 1, 1172], [48, 1, 1180], [49, 1, 1187], [49, 2, 1195],
[49, 2, 1203], [49, 2, 1277], [49, 2, 1695], [49, 2, 1782], [49, 2, 1797], [48, 2, 1813], [48, 2, 1827]],
[[-34, -26, 0], [0, 0, 0], [0, 0, 106], [1, 0, 114], [3, 0, 122], [5, 0, 130], [7, 0, 138], [9, 0, 145],
[12, 0, 154], [15, 0, 161], [18, 0, 169], [20, 0, 177], [23, 0, 185], [25, 0, 193], [28, 0, 201],
[30, 0, 209], [31, 0, 219], [33, 0, 225], [35, 0, 233], [37, 0, 240], [39, 0, 249], [41, 0, 256],
[42, 0, 264], [44, 0, 272], [45, 0, 280], [47, 0, 288], [49, 0, 296], [50, 0, 303], [52, 0, 311],
[54, 0, 319], [55, 0, 327], [57, 0, 335], [59, 0, 343], [60, 0, 352], [62, 0, 358], [63, 0, 366],
[65, 0, 374], [66, 0, 382], [67, 0, 390], [68, 0, 398], [69, 0, 406], [69, 1, 414], [70, 1, 422],
[70, 1, 429], [71, 1, 438], [72, 1, 445], [72, 1, 454], [73, 1, 461], [73, 1, 470], [74, 1, 478],
[74, 1, 486], [75, 1, 493], [75, 1, 503], [76, 1, 510], [76, 1, 519], [77, 1, 525], [78, 1, 533],
[79, 2, 541], [80, 2, 549], [81, 2, 557], [82, 2, 564], [82, 2, 580], [83, 2, 585], [84, 2, 647],
[88, 3, 652], [88, 3, 654], [88, 3, 683], [88, 3, 765], [88, 3, 796], [89, 3, 810], [89, 3, 819],
[89, 3, 825], [89, 3, 834], [90, 3, 841], [90, 3, 849], [90, 3, 857], [90, 3, 865], [91, 3, 873],
[91, 3, 881], [92, 3, 889], [92, 3, 896], [92, 3, 904], [92, 4, 912], [93, 4, 920], [93, 4, 987],
[93, 4, 1241]],
[[-22, -39, 0], [0, 0, 0], [0, 0, 168], [1, 0, 176], [3, 0, 182], [6, 0, 190], [7, 0, 198], [10, 0, 206],
[13, 0, 213], [15, 0, 222], [18, 0, 229], [20, 0, 238], [23, 0, 245], [26, 0, 253], [27, 0, 261],
[32, 0, 268], [34, 0, 277], [36, 0, 284], [38, 0, 294], [41, 0, 300], [43, 0, 310], [44, 0, 317],
[46, 0, 324], [47, 0, 332], [48, 0, 341], [50, 0, 348], [51, 0, 356], [52, 0, 363], [52, 0, 371],
[53, 0, 379], [54, 0, 387], [54, 0, 395], [55, 0, 403], [55, 0, 411], [56, 1, 419], [56, 1, 428],
[56, 1, 435], [56, 1, 444], [57, 1, 450], [57, 1, 458], [57, 1, 467], [57, 1, 475], [58, 1, 482],
[58, 1, 490], [58, 1, 498], [58, 1, 505], [59, 1, 514], [59, 1, 522], [59, 1, 529], [59, 1, 538],
[60, 1, 546], [60, 1, 554], [60, 1, 569], [60, 1, 597], [60, 1, 602], [60, 2, 672], [60, 2, 839],
[60, 2, 854], [60, 2, 862], [59, 2, 879], [59, 2, 885], [59, 2, 894], [58, 2, 910], [58, 2, 917],
[58, 2, 925], [58, 2, 933], [57, 2, 941], [57, 2, 949], [57, 2, 965], [57, 2, 982], [56, 2, 997],
[56, 2, 1020], [56, 2, 1036], [56, 3, 1100], [56, 3, 1397]],
[[-42, -40, 0], [0, 0, 0], [0, 0, 4], [0, 0, 151], [1, 0, 156], [3, 0, 166], [5, 0, 171], [6, 0, 179],
[9, 0, 188], [12, 0, 195], [15, 0, 203], [19, 0, 211], [23, 0, 219], [27, 0, 227], [31, 0, 235],
[35, 0, 242], [40, 0, 250], [43, 0, 260], [49, 0, 267], [53, 0, 274], [59, 0, 282], [64, 0, 290],
[69, 0, 299], [74, 0, 306], [78, 0, 315], [80, 0, 321], [84, 0, 329], [87, 0, 382], [97, 0, 384],
[99, 1, 386], [100, 1, 393], [102, 1, 401], [103, 1, 409], [104, 1, 417], [105, 1, 425], [107, 1, 433],
[108, 2, 440], [108, 2, 449], [109, 2, 456], [110, 2, 465], [110, 2, 472], [111, 2, 480], [112, 2, 489],
[112, 3, 497], [112, 3, 504], [113, 3, 511], [113, 3, 519], [114, 3, 528], [114, 3, 535], [115, 3, 543],
[115, 4, 551], [115, 4, 559], [116, 4, 567], [116, 4, 575], [117, 4, 583], [117, 4, 591], [117, 4, 600],
[118, 4, 607], [118, 4, 618], [119, 4, 622], [119, 4, 631], [119, 5, 638], [120, 5, 645], [120, 5, 653],
[120, 5, 662], [120, 5, 669], [121, 5, 677], [121, 5, 685], [121, 5, 693], [121, 5, 701], [122, 5, 709],
[122, 5, 718], [122, 5, 725], [122, 5, 733], [123, 5, 751], [123, 5, 758], [123, 5, 773], [123, 6, 784],
[123, 6, 788], [124, 6, 797], [124, 6, 814], [124, 6, 820], [124, 6, 828], [125, 6, 836], [125, 6, 852],
[125, 6, 862], [125, 6, 868], [126, 6, 875], [126, 6, 883], [126, 6, 902], [126, 6, 916], [126, 6, 970],
[127, 6, 1448], [127, 6, 1478], [127, 6, 1508], [127, 6, 1548], [128, 6, 1598], [128, 6, 1816]],
[[-38, -23, 0], [0, 0, 0], [1, 0, 152], [2, 0, 158], [3, 0, 170], [4, 0, 174], [6, 0, 182], [8, 0, 189],
[11, 0, 198], [15, 0, 205], [18, 0, 214], [21, 0, 221], [25, 0, 229], [29, 0, 236], [32, 0, 245],
[33, 0, 252], [39, 0, 260], [40, 0, 268], [44, 0, 276], [46, 0, 284], [49, 0, 292], [51, 0, 301],
[53, 0, 308], [56, 0, 317], [58, 0, 323], [59, 0, 332], [61, 0, 339], [62, 0, 347], [63, 0, 355],
[64, 0, 363], [65, 0, 371], [65, 0, 379], [66, 0, 387], [66, 0, 394], [66, 0, 402], [66, 0, 410],
[67, 0, 419], [67, 0, 426], [67, 0, 435], [67, 0, 452], [68, 0, 469], [68, 0, 474], [68, 0, 501],
[68, 0, 514], [69, 0, 521], [69, 0, 530], [69, 0, 537], [70, 0, 545], [70, 0, 553], [71, 0, 561],
[71, 0, 569], [72, 0, 577], [72, 0, 585], [73, 0, 592], [73, 0, 602], [73, 0, 608], [73, 0, 619],
[74, 0, 624], [74, 0, 640], [74, 0, 656], [74, 0, 664], [75, 0, 683], [75, 0, 688], [75, 0, 695],
[75, 0, 703], [76, 0, 711], [76, 0, 719], [76, 0, 727], [77, 0, 735], [78, 0, 742], [78, 0, 752],
[78, 0, 758], [79, 0, 768], [79, 0, 774], [79, 0, 782], [79, 0, 790], [80, 0, 798], [80, 0, 806],
[80, 0, 814], [80, 0, 831], [80, 0, 1237], [80, 0, 1257], [80, 0, 1272], [79, 0, 1283], [79, 0, 1296],
[79, 0, 1304], [79, 0, 1312], [78, 0, 1320], [78, 0, 1327], [78, 1, 1335], [78, 1, 1354], [77, 1, 1360],
[77, 1, 1375], [77, 1, 1393], [77, 1, 1407], [76, 1, 1482], [76, 1, 1518], [76, 1, 1797], [77, 1, 1821],
[77, 1, 1839]],
[[-41, -23, 0], [0, 0, 0], [1, 0, 151], [2, 0, 159], [4, 0, 165], [6, 0, 173], [9, 0, 181], [12, 0, 188],
[15, 0, 198], [18, 0, 204], [23, 0, 212], [27, 0, 220], [31, 0, 228], [35, 0, 236], [39, 0, 244],
[43, 0, 252], [46, 0, 260], [50, 0, 267], [54, 0, 276], [58, 0, 283], [61, 0, 291], [66, 0, 299],
[70, 0, 307], [74, 0, 315], [77, 0, 323], [79, 0, 331], [83, 0, 338], [85, 0, 347], [88, 0, 354],
[91, 0, 362], [93, 0, 371], [96, 0, 379], [98, 0, 436], [108, 0, 439], [110, 0, 443], [111, 0, 449],
[112, 0, 457], [113, 0, 465], [114, 0, 473], [115, 0, 482], [115, 0, 489], [116, 0, 499], [116, 0, 504],
[117, 0, 512], [117, 0, 520], [117, 0, 528], [117, 0, 536], [118, 0, 544], [118, 0, 552], [118, 0, 560],
[118, 0, 567], [119, 0, 575], [119, 0, 584], [119, 0, 591], [119, 0, 607], [120, 0, 634], [120, 1, 640],
[120, 1, 655], [120, 1, 1014], [120, 1, 1020], [121, 1, 1050], [121, 1, 1093], [121, 1, 1122],
[121, 1, 1170], [121, 1, 1345], [121, 1, 1359], [121, 1, 1370]],
[[-35, -25, 0], [0, 0, 0], [1, 0, 155], [2, 0, 167], [3, 0, 171], [6, 0, 182], [9, 0, 187], [13, 0, 196],
[17, 0, 203], [22, 0, 212], [26, 0, 219], [32, 0, 226], [38, 0, 235], [43, 0, 242], [49, 0, 250],
[56, 0, 258], [62, 0, 266], [68, 0, 274], [73, 0, 282], [79, 0, 289], [84, 0, 298], [89, 0, 306],
[91, 0, 316], [95, 0, 322], [98, 0, 330], [101, 0, 337], [103, 0, 345], [105, 0, 353], [107, 0, 361],
[109, 0, 369], [110, 0, 377], [111, 0, 384], [112, 0, 392], [113, -1, 400], [114, -1, 408],
[115, -1, 416], [116, -1, 424], [117, -1, 432], [118, -1, 440], [119, -1, 449], [120, -2, 456],
[121, -2, 466], [122, -2, 471], [123, -2, 479], [124, -2, 487], [125, -2, 496], [126, -2, 503],
[127, -2, 512], [127, -2, 519], [128, -2, 527], [128, -2, 535], [128, -2, 542], [128, -2, 550],
[129, -2, 558], [129, -2, 566], [129, -2, 574], [129, -2, 609], [130, -2, 663], [130, -2, 734],
[130, -2, 1034], [130, -2, 1197]],
[[-34, -32, 0], [0, 0, 0], [0, 0, 3], [1, 0, 223], [2, 0, 231], [3, 0, 240], [5, 0, 247], [7, 0, 255],
[9, 0, 263], [12, 0, 272], [15, 0, 279], [17, 0, 288], [19, 0, 295], [24, 0, 304], [27, 0, 311],
[29, 1, 318], [33, 1, 326], [35, 1, 334], [39, 1, 342], [41, 1, 350], [44, 1, 358], [46, 1, 366],
[49, 1, 374], [51, 2, 382], [53, 2, 390], [56, 2, 398], [58, 2, 406], [60, 2, 413], [61, 2, 421],
[63, 2, 429], [65, 2, 438], [66, 2, 445], [67, 2, 454], [69, 2, 461], [70, 2, 469], [70, 2, 477],
[71, 2, 485], [72, 2, 492], [72, 2, 500], [72, 2, 508], [73, 2, 516], [73, 2, 524], [73, 2, 532],
[73, 2, 540], [74, 2, 588], [74, 2, 643], [74, 2, 666], [74, 2, 674], [75, 2, 682], [75, 2, 690],
[75, 2, 698], [76, 2, 706], [77, 2, 714], [77, 2, 722], [78, 2, 729], [78, 2, 739], [79, 2, 745],
[79, 2, 755], [79, 2, 761], [80, 2, 769], [80, 2, 777], [80, 2, 801], [80, 2, 842], [80, 2, 921],
[80, 2, 959], [81, 2, 991], [81, 2, 1048], [81, 3, 1056], [81, 3, 1089], [81, 3, 1277], [81, 3, 1284],
[80, 3, 1291], [80, 3, 1306]],
[[-37, -30, 0], [0, 0, 0], [0, 0, 165], [2, 0, 171], [2, 0, 179], [4, 0, 187], [6, 0, 195], [8, 0, 204],
[9, 0, 210], [11, 0, 220], [13, 0, 227], [15, 0, 236], [17, 0, 243], [19, 0, 250], [20, 0, 258],
[22, 0, 266], [25, 0, 274], [26, 0, 283], [28, 0, 290], [29, 0, 298], [31, 0, 305], [32, 0, 314],
[33, 0, 321], [34, 0, 330], [35, 0, 338], [36, 0, 346], [37, 0, 354], [37, 0, 361], [38, 0, 369],
[38, 0, 377], [39, 0, 387], [39, 0, 393], [40, 0, 400], [41, 0, 408], [42, 0, 416], [42, 0, 424],
[43, 0, 432], [44, 0, 440], [45, 0, 448], [45, 0, 456], [45, 0, 463], [46, 0, 471], [46, 0, 479],
[46, 0, 487], [47, 0, 495], [47, 0, 503], [47, 0, 511], [47, 0, 586], [48, 0, 634], [48, 0, 664],
[48, 0, 671], [48, 0, 677], [49, 0, 686], [49, 0, 693], [50, 0, 703], [50, 0, 708], [50, 0, 716],
[51, 0, 724], [51, 0, 732], [51, 0, 740], [51, 0, 749], [52, 0, 766], [52, 0, 1042], [51, 0, 1090],
[51, 0, 1298]],
[[-38, -32, 0], [0, 0, 0], [0, 0, 150], [2, 0, 155], [4, 0, 162], [6, 0, 170], [10, 0, 178], [13, 0, 186],
[18, 0, 193], [22, 0, 203], [26, 0, 209], [30, 0, 218], [35, 0, 225], [38, 0, 233], [42, 0, 241],
[45, 0, 250], [46, 0, 257], [49, 0, 264], [51, 0, 272], [53, 0, 281], [55, 0, 288], [57, 0, 297],
[58, 0, 304], [59, 0, 313], [61, 0, 320], [62, 0, 328], [63, 0, 336], [64, 0, 343], [65, 0, 352],
[67, 1, 359], [67, 1, 368], [69, 1, 377], [70, 1, 386], [71, 1, 434], [78, 2, 437], [79, 2, 439],
[80, 2, 447], [82, 3, 454], [82, 3, 462], [83, 3, 470], [84, 3, 478], [85, 3, 486], [86, 3, 494],
[86, 3, 503], [87, 3, 510], [87, 3, 519], [87, 3, 525], [88, 3, 535], [88, 3, 541], [88, 3, 549],
[88, 3, 575], [89, 3, 632], [89, 3, 704], [89, 3, 771], [89, 4, 821], [89, 4, 837], [90, 4, 905],
[90, 4, 971], [90, 4, 995], [90, 4, 1024], [90, 4, 1056], [90, 4, 1274]],
[[-41, -30, 0], [0, 0, 0], [0, 0, 194], [0, 0, 199], [2, 0, 208], [3, 0, 215], [4, 0, 222], [5, 0, 230],
[7, 0, 238], [8, 0, 247], [10, 0, 254], [11, 0, 263], [13, 0, 270], [14, 0, 279], [16, 0, 286],
[18, 0, 295], [19, 0, 301], [20, 0, 310], [22, 0, 317], [23, 0, 325], [24, 0, 333], [25, 0, 342],
[26, 0, 349], [27, 0, 357], [29, 0, 364], [29, 0, 372], [30, 0, 380], [31, 0, 388], [33, 0, 396],
[34, 0, 404], [35, 0, 413], [36, 0, 420], [37, 1, 428], [38, 1, 437], [39, 1, 447], [40, 1, 452],
[41, 1, 459], [41, 1, 467], [42, 1, 475], [43, 1, 483], [44, 1, 491], [45, 1, 499], [45, 1, 507],
[46, 1, 515], [46, 1, 522], [47, 1, 531], [48, 1, 539], [48, 1, 547], [48, 1, 554], [49, 1, 563],
[49, 1, 570], [49, 1, 579], [49, 1, 586], [50, 1, 593], [50, 1, 602], [50, 1, 677], [50, 1, 951],
[50, 1, 958], [49, 1, 973], [49, 1, 981], [49, 1, 999], [49, 1, 1016], [48, 1, 1021], [48, 1, 1037],
[48, 1, 1048], [48, 2, 1052], [48, 2, 1080], [47, 2, 1149], [47, 2, 1206], [47, 2, 1236], [47, 2, 1261],
[47, 2, 1315], [47, 2, 1354], [46, 2, 1396], [46, 2, 1402], [46, 2, 1418], [46, 2, 1449], [46, 2, 1455],
[46, 2, 1471], [45, 2, 1515], [45, 2, 1884], [45, 2, 2085]],
[[-38, -29, 0], [0, 0, 0], [0, 0, 107], [2, 0, 115], [4, 0, 122], [9, 0, 131], [13, 0, 136], [15, 0, 145],
[19, 0, 152], [24, 0, 160], [28, 0, 168], [33, 0, 177], [37, 0, 184], [42, 0, 192], [46, 0, 200],
[50, 0, 207], [53, 0, 215], [56, 0, 224], [58, 0, 231], [60, 0, 239], [64, 0, 248], [65, 0, 255],
[67, 0, 265], [69, 0, 271], [71, 0, 281], [73, 0, 287], [74, 0, 295], [76, 0, 303], [77, 0, 311],
[78, 0, 318], [80, 0, 327], [81, 0, 334], [82, 0, 342], [83, 0, 350], [84, 0, 358], [85, 0, 366],
[86, 0, 373], [86, 0, 382], [87, 0, 389], [88, 0, 398], [88, 0, 406], [89, 0, 415], [89, 0, 422],
[90, 0, 433], [91, 0, 436], [91, 0, 445], [92, 0, 453], [93, 0, 461], [94, 0, 469], [94, 0, 477],
[95, 0, 484], [96, 0, 492], [97, 0, 500], [97, 0, 508], [98, 0, 516], [99, 0, 524], [100, 0, 532],
[100, 0, 540], [101, 0, 548], [102, 0, 555], [103, 0, 565], [103, 0, 571], [103, 0, 582], [104, 0, 587],
[104, 0, 595], [104, 0, 603], [104, 0, 611], [105, 0, 677], [105, 0, 739], [105, 0, 761], [105, 0, 834],
[106, 0, 883], [106, 0, 952], [106, 0, 960], [106, 0, 1150], [105, 0, 1158], [105, 0, 1166],
[105, 0, 1177]],
[[-20, -36, 0], [0, 0, 0], [0, 0, 135], [1, 0, 143], [3, 0, 150], [4, 0, 157], [6, 0, 165], [8, 0, 173],
[11, 0, 181], [15, 0, 188], [19, 0, 197], [23, 0, 204], [26, 0, 213], [30, 0, 221], [34, 0, 230],
[38, 0, 236], [41, 0, 245], [44, 0, 252], [48, 0, 260], [49, 0, 268], [52, 0, 276], [54, 0, 283],
[57, 0, 291], [59, 0, 299], [61, 0, 307], [62, 0, 315], [63, 0, 323], [65, 0, 331], [66, 0, 338],
[67, 0, 347], [68, 0, 355], [69, 0, 364], [70, 0, 370], [71, 0, 379], [71, 0, 386], [72, 0, 394],
[72, 0, 402], [73, 0, 411], [74, 0, 418], [74, 0, 426], [74, 0, 434], [75, 0, 442], [75, 0, 449],
[76, 0, 457], [76, 0, 465], [76, 0, 473], [77, 0, 482], [77, 0, 489], [77, 0, 516], [77, 0, 761],
[78, 0, 783], [78, 0, 825], [78, 0, 864], [78, 0, 901], [78, 0, 942], [78, 0, 956], [79, 0, 989],
[79, 0, 1014], [79, 0, 1067], [79, 1, 1109], [79, 1, 1133], [79, 1, 1164], [79, 1, 1202], [79, 1, 1216]],
[[-37, -27, 0], [0, 0, 0], [0, 0, 227], [2, 0, 234], [4, 0, 242], [6, 0, 250], [8, 0, 257], [11, 0, 265],
[14, 0, 272], [17, 0, 326], [39, 0, 329], [42, 1, 336], [47, 1, 344], [50, 1, 352], [54, 1, 359],
[56, 1, 367], [59, 2, 375], [62, 2, 383], [64, 2, 391], [66, 2, 399], [68, 2, 407], [69, 2, 415],
[71, 2, 423], [73, 3, 431], [74, 3, 439], [75, 3, 446], [76, 3, 454], [77, 3, 463], [78, 3, 470],
[79, 3, 480], [80, 3, 486], [81, 3, 494], [81, 3, 502], [82, 3, 510], [83, 4, 517], [83, 4, 525],
[84, 4, 534], [85, 4, 541], [85, 4, 549], [86, 4, 557], [87, 4, 565], [87, 4, 573], [88, 4, 581],
[89, 4, 589], [90, 5, 597], [91, 5, 604], [92, 5, 613], [93, 5, 620], [93, 5, 630], [94, 5, 636],
[95, 5, 644], [95, 5, 652], [95, 5, 660], [96, 5, 668], [96, 5, 676], [97, 5, 683], [97, 5, 691],
[97, 6, 699], [97, 6, 715], [97, 6, 763], [97, 6, 1314]],
[[-31, -27, 0], [0, 0, 0], [0, 0, 159], [1, 0, 166], [1, 0, 173], [3, 0, 181], [5, 0, 189], [5, 0, 197],
[8, 0, 206], [10, 0, 213], [12, 0, 221], [16, 0, 229], [19, 0, 238], [22, 0, 244], [25, 0, 252],
[28, 0, 260], [32, 0, 268], [33, 0, 276], [38, 0, 284], [42, 0, 292], [45, 0, 299], [48, 0, 307],
[51, 0, 315], [54, 0, 323], [58, 0, 331], [60, 1, 339], [62, 1, 347], [65, 2, 356], [68, 2, 363],
[71, 2, 373], [73, 3, 379], [76, 3, 389], [78, 3, 394], [81, 4, 402], [83, 4, 411], [84, 4, 418],
[86, 4, 426], [88, 4, 435], [89, 4, 442], [90, 4, 450], [92, 4, 458], [93, 4, 465], [94, 4, 473],
[94, 4, 481], [95, 4, 489], [95, 4, 497], [96, 4, 505], [96, 4, 513], [96, 4, 522], [97, 4, 529],
[97, 4, 539], [97, 4, 544], [97, 4, 553], [97, 4, 727], [97, 4, 751], [97, 4, 758], [96, 4, 774],
[96, 4, 783], [96, 4, 791], [96, 4, 798], [95, 4, 806], [95, 4, 814], [95, 4, 823], [95, 4, 840],
[94, 4, 845], [94, 4, 853], [94, 4, 861], [94, 4, 869], [93, 4, 877], [93, 4, 892], [93, 5, 910],
[93, 5, 935], [92, 5, 965], [92, 5, 1008], [92, 5, 1076], [92, 5, 1132], [91, 5, 1226], [91, 5, 1258],
[91, 5, 1280], [91, 5, 1291], [90, 5, 1296], [90, 5, 1306], [90, 5, 1311], [89, 5, 1319], [89, 5, 1327],
[88, 5, 1335], [88, 5, 1343], [88, 5, 1351], [88, 5, 1359], [87, 5, 1367], [88, 5, 1677], [88, 5, 1699],
[88, 5, 1722], [88, 5, 1798], [89, 5, 1801], [89, 5, 2022]],
[[-32, -27, 0], [0, 0, 0], [0, 0, 166], [3, 0, 221], [17, 0, 224], [20, 0, 229], [23, 0, 236],
[27, 0, 245], [30, 0, 253], [34, 0, 260], [38, 0, 268], [42, 0, 276], [46, 0, 284], [47, 0, 292],
[51, 0, 300], [54, 0, 308], [57, 0, 316], [59, 0, 326], [62, 0, 331], [63, 0, 340], [65, 0, 347],
[67, 0, 356], [68, 0, 363], [70, 0, 371], [72, 0, 379], [73, 0, 387], [76, 0, 395], [78, 0, 403],
[80, 0, 411], [82, 0, 419], [84, 0, 426], [86, 0, 434], [88, 0, 442], [90, 0, 450], [92, 0, 459],
[93, 0, 466], [94, 0, 476], [96, 0, 482], [97, 0, 490], [98, 0, 497], [98, 0, 506], [99, 0, 513],
[100, 0, 521], [101, 0, 529], [102, 0, 537], [103, 0, 545], [104, 0, 553], [105, 0, 561], [106, 0, 569],
[106, 0, 577], [107, 1, 584], [108, 1, 592], [109, 1, 601], [109, 1, 610], [110, 1, 616], [111, 1, 625],
[112, 1, 632], [112, 1, 640], [112, 1, 648], [113, 1, 656], [113, 1, 663], [113, 1, 671], [114, 1, 679],
[114, 1, 687], [114, 1, 695], [114, 1, 770], [114, 1, 1006], [115, 1, 1036], [115, 1, 1043],
[115, 1, 1060], [115, 1, 1067], [116, 1, 1076], [116, 1, 1082], [116, 1, 1090], [116, 1, 1098],
[117, 1, 1114], [117, 1, 1139], [117, 1, 1644]],
[[-35, -31, 0], [0, 0, 0], [0, 0, 170], [1, 0, 175], [3, 0, 185], [3, 0, 190], [6, 0, 198], [7, 0, 206],
[8, 0, 214], [10, 0, 222], [12, 0, 230], [13, 0, 238], [15, 0, 245], [17, 0, 253], [19, 0, 261],
[20, 0, 269], [22, 0, 277], [24, 0, 285], [26, 0, 293], [28, 0, 301], [30, 0, 309], [32, 0, 318],
[33, 0, 324], [35, 0, 335], [36, 0, 340], [37, 0, 349], [38, 1, 356], [39, 1, 364], [40, 1, 372],
[40, 1, 380], [41, 1, 388], [41, 1, 395], [42, 1, 404], [42, 1, 411], [43, 1, 419], [43, 1, 427],
[43, 1, 435], [43, 1, 443], [44, 1, 452], [44, 1, 459], [44, 1, 467], [44, 1, 494], [45, 1, 660],
[45, 1, 667], [46, 2, 673], [47, 2, 680], [47, 2, 688], [48, 2, 696], [49, 2, 704], [49, 2, 712],
[50, 2, 720], [50, 2, 727], [51, 2, 736], [51, 3, 743], [51, 3, 752], [51, 3, 759], [51, 3, 804],
[52, 3, 1087], [52, 3, 1118], [52, 3, 1140], [52, 3, 1172], [52, 3, 1253], [52, 3, 1290], [53, 3, 1298],
[53, 3, 1620]],
[[-43, -30, 0], [0, 0, 0], [0, 0, 143], [2, 0, 147], [3, 0, 156], [6, 0, 163], [9, 0, 171], [14, 0, 178],
[17, 0, 186], [22, 0, 194], [26, 0, 202], [30, 0, 210], [34, 0, 218], [39, 0, 226], [43, 0, 233],
[46, 0, 242], [50, 0, 250], [53, 0, 258], [54, 0, 265], [59, 0, 274], [62, 0, 281], [65, 0, 291],
[69, 0, 297], [72, 0, 305], [76, 0, 313], [78, 0, 321], [84, 0, 328], [86, 0, 336], [92, 0, 344],
[93, 0, 353], [96, 0, 360], [101, -1, 368], [104, -1, 376], [107, -1, 384], [110, -1, 392],
[111, -1, 400], [116, -1, 408], [118, -1, 415], [121, -1, 425], [123, -1, 431], [126, -1, 441],
[128, -1, 447], [130, -1, 455], [132, -1, 463], [133, -1, 471], [135, -1, 479], [136, -1, 487],
[137, -1, 494], [138, -1, 503], [140, -1, 510], [141, -1, 518], [142, -1, 526], [143, -1, 534],
[145, -1, 542], [146, -1, 550], [147, -1, 559], [148, -1, 565], [149, -1, 575], [150, -1, 581],
[150, -1, 589], [151, -1, 597], [152, -1, 605], [152, -1, 613], [153, -1, 621], [153, -1, 629],
[154, -1, 637], [154, -1, 645], [154, -1, 654], [155, -1, 661], [155, -1, 749], [155, -1, 752],
[155, -1, 860], [155, -1, 877], [154, -1, 883], [154, -1, 893], [154, -1, 897], [154, -1, 906],
[153, -1, 913], [153, -1, 921], [152, -1, 929], [152, -1, 937], [152, -1, 945], [151, -1, 953],
[151, -1, 961], [151, -1, 969], [150, -1, 977], [150, -1, 985], [149, -1, 993], [149, -1, 1000],
[149, -1, 1009], [149, -1, 1016], [148, -1, 1032], [148, 0, 1043], [148, 0, 1048], [148, 0, 1089],