-
Notifications
You must be signed in to change notification settings - Fork 0
/
t500
1588 lines (1588 loc) · 19.9 KB
/
t500
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
p cnf 988 1587
-986 -988 0
-983 -985 0
-982 986 987 0
-981 983 984 0
-978 -980 0
-977 981 0
-977 982 0
-976 978 979 0
-973 -975 0
-972 976 0
-972 977 0
-971 973 974 0
-968 -970 0
-967 971 0
-967 972 0
-966 968 969 0
-963 -965 0
-962 966 0
-962 967 0
-961 963 964 0
-958 -960 0
-957 961 0
-957 962 0
-956 958 959 0
-953 -955 0
-952 956 0
-952 957 0
-951 953 954 0
-948 -950 0
-947 951 0
-947 952 0
-946 948 949 0
-943 -945 0
-942 946 0
-942 947 0
-941 943 944 0
-938 -940 0
-937 941 0
-937 942 0
-936 938 939 0
-933 -935 0
-932 936 0
-932 937 0
-931 933 934 0
-928 -930 0
-927 931 0
-927 932 0
-926 928 929 0
-923 -925 0
-922 926 0
-922 927 0
-921 923 924 0
-918 -920 0
-917 921 0
-917 922 0
-916 918 919 0
-913 -915 0
-912 916 0
-912 917 0
-911 913 914 0
-908 -910 0
-907 911 0
-907 912 0
-906 908 909 0
-903 -905 0
-902 906 0
-902 907 0
-901 903 904 0
-898 -900 0
-897 901 0
-897 902 0
-896 898 899 0
-893 -895 0
-892 896 0
-892 897 0
-891 893 894 0
-888 -890 0
-887 891 0
-887 892 0
-886 888 889 0
-883 -885 0
-882 886 0
-882 887 0
-881 883 884 0
-878 -880 0
-877 881 0
-877 882 0
-876 878 879 0
-873 -875 0
-872 876 0
-872 877 0
-871 873 874 0
-868 -870 0
-867 -869 0
-866 867 0
-866 868 0
-862 -864 0
-861 -863 0
-860 861 0
-860 862 0
-858 865 0
-858 866 0
-857 859 0
-857 860 0
-854 -856 0
-853 -855 0
-852 853 0
-852 854 0
-850 857 858 0
-849 851 0
-849 852 0
-847 849 850 0
-846 -848 0
-845 871 0
-845 872 0
-844 846 847 0
-841 -843 0
-840 844 0
-840 845 0
-839 841 842 0
-836 -838 0
-835 839 0
-835 840 0
-834 836 837 0
-831 -833 0
-830 834 0
-830 835 0
-829 831 832 0
-826 -828 0
-825 829 0
-825 830 0
-824 826 827 0
-821 -823 0
-820 824 0
-820 825 0
-819 821 822 0
-816 -818 0
-815 819 0
-815 820 0
-814 816 817 0
-811 -813 0
-810 814 0
-810 815 0
-809 811 812 0
-806 -808 0
-805 809 0
-805 810 0
-804 806 807 0
-801 -803 0
-800 804 0
-800 805 0
-799 801 802 0
-796 -798 0
-795 799 0
-795 800 0
-794 796 797 0
-791 -793 0
-790 794 0
-790 795 0
-789 791 792 0
-786 -788 0
-785 789 0
-785 790 0
-784 786 787 0
-781 -783 0
-780 784 0
-780 785 0
-779 781 782 0
-776 -778 0
-775 779 0
-775 780 0
-774 776 777 0
-771 -773 0
-770 774 0
-770 775 0
-769 771 772 0
-766 -768 0
-765 769 0
-765 770 0
-764 766 767 0
-761 -763 0
-760 -762 0
-758 760 0
-758 761 0
-757 -759 0
-756 757 0
-756 758 0
-752 -754 0
-751 -753 0
-749 751 0
-749 752 0
-748 -750 0
-747 748 0
-747 749 0
-745 755 0
-745 756 0
-744 746 0
-744 747 0
-741 -743 0
-740 -742 0
-738 740 0
-738 741 0
-737 -739 0
-736 737 0
-736 738 0
-734 744 745 0
-733 735 0
-733 736 0
-730 -732 0
-729 -731 0
-727 729 0
-727 730 0
-726 -728 0
-725 726 0
-725 727 0
-723 733 734 0
-722 724 0
-722 725 0
-720 722 723 0
-719 -721 0
-718 764 0
-718 765 0
-717 719 720 0
-714 -716 0
-713 717 0
-713 718 0
-712 714 715 0
-709 -711 0
-708 712 0
-708 713 0
-707 709 710 0
-704 -706 0
-703 707 0
-703 708 0
-702 704 705 0
-699 -701 0
-698 702 0
-698 703 0
-697 699 700 0
-694 -696 0
-693 697 0
-693 698 0
-692 694 695 0
-689 -691 0
-688 692 0
-688 693 0
-687 689 690 0
-684 -686 0
-683 687 0
-683 688 0
-682 684 685 0
-679 -681 0
-678 682 0
-678 683 0
-677 679 680 0
-674 -676 0
-673 677 0
-673 678 0
-672 674 675 0
-669 -671 0
-668 672 0
-668 673 0
-667 669 670 0
-664 -666 0
-663 667 0
-663 668 0
-662 664 665 0
-659 -661 0
-658 662 0
-658 663 0
-657 659 660 0
-654 -656 0
-653 657 0
-653 658 0
-652 654 655 0
-649 -651 0
-648 652 0
-648 653 0
-647 649 650 0
-644 -646 0
-643 647 0
-643 648 0
-642 644 645 0
-639 -641 0
-638 642 0
-638 643 0
-637 639 640 0
-634 -636 0
-633 637 0
-633 638 0
-632 634 635 0
-629 -631 0
-628 632 0
-628 633 0
-627 629 630 0
-624 -626 0
-623 627 0
-623 628 0
-622 624 625 0
-619 -621 0
-618 622 0
-618 623 0
-617 619 620 0
-614 -616 0
-613 617 0
-613 618 0
-612 614 615 0
-609 -611 0
-608 612 0
-608 613 0
-607 609 610 0
-604 -606 0
-603 607 0
-603 608 0
-602 604 605 0
-599 -601 0
-598 602 0
-598 603 0
-597 599 600 0
-594 -596 0
-593 597 0
-593 598 0
-592 594 595 0
-589 -591 0
-588 592 0
-588 593 0
-587 589 590 0
-584 -586 0
-583 587 0
-583 588 0
-582 584 585 0
-579 -581 0
-578 582 0
-578 583 0
-577 579 580 0
-574 -576 0
-573 577 0
-573 578 0
-572 574 575 0
-569 -571 0
-568 572 0
-568 573 0
-567 569 570 0
-564 -566 0
-563 567 0
-563 568 0
-562 564 565 0
-559 -561 0
-558 562 0
-558 563 0
-557 559 560 0
-554 -556 0
-553 557 0
-553 558 0
-552 554 555 0
-549 -551 0
-548 -550 0
-546 548 0
-546 549 0
-545 -547 0
-543 545 0
-543 546 0
-542 -544 0
-540 542 0
-540 543 0
-539 -541 0
-537 539 0
-537 540 0
-536 -538 0
-535 536 0
-535 537 0
-531 -533 0
-530 -532 0
-528 530 0
-528 531 0
-527 -529 0
-525 527 0
-525 528 0
-524 -526 0
-522 524 0
-522 525 0
-521 -523 0
-519 521 0
-519 522 0
-518 -520 0
-517 518 0
-517 519 0
-515 534 0
-515 535 0
-514 516 0
-514 517 0
-511 -513 0
-510 -512 0
-508 510 0
-508 511 0
-507 -509 0
-505 507 0
-505 508 0
-504 -506 0
-502 504 0
-502 505 0
-501 -503 0
-499 501 0
-499 502 0
-498 -500 0
-497 498 0
-497 499 0
-495 514 515 0
-494 496 0
-494 497 0
-491 -493 0
-490 -492 0
-488 490 0
-488 491 0
-487 -489 0
-485 487 0
-485 488 0
-484 -486 0
-482 484 0
-482 485 0
-481 -483 0
-479 481 0
-479 482 0
-478 -480 0
-477 478 0
-477 479 0
-475 494 495 0
-474 476 0
-474 477 0
-471 -473 0
-470 -472 0
-468 470 0
-468 471 0
-467 -469 0
-465 467 0
-465 468 0
-464 -466 0
-462 464 0
-462 465 0
-461 -463 0
-459 461 0
-459 462 0
-458 -460 0
-457 458 0
-457 459 0
-455 474 475 0
-454 456 0
-454 457 0
-451 -453 0
-450 -452 0
-448 450 0
-448 451 0
-447 -449 0
-445 447 0
-445 448 0
-444 -446 0
-442 444 0
-442 445 0
-441 -443 0
-439 441 0
-439 442 0
-438 -440 0
-437 438 0
-437 439 0
-435 454 455 0
-434 436 0
-434 437 0
-431 -433 0
-430 -432 0
-428 430 0
-428 431 0
-427 -429 0
-425 427 0
-425 428 0
-424 -426 0
-422 424 0
-422 425 0
-421 -423 0
-419 421 0
-419 422 0
-418 -420 0
-417 418 0
-417 419 0
-415 434 435 0
-414 416 0
-414 417 0
-412 414 415 0
-411 -413 0
-410 552 0
-410 553 0
-409 411 412 0
-406 -408 0
-405 409 0
-405 410 0
-404 406 407 0
-401 -403 0
-400 404 0
-400 405 0
-399 401 402 0
-396 -398 0
-395 399 0
-395 400 0
-394 396 397 0
-391 -393 0
-390 394 0
-390 395 0
-389 391 392 0
-386 -388 0
-385 389 0
-385 390 0
-384 386 387 0
-381 -383 0
-380 384 0
-380 385 0
-379 381 382 0
-376 -378 0
-375 379 0
-375 380 0
-374 376 377 0
-371 -373 0
-370 374 0
-370 375 0
-369 371 372 0
-366 -368 0
-365 369 0
-365 370 0
-364 366 367 0
-361 -363 0
-360 364 0
-360 365 0
-359 361 362 0
-356 -358 0
-355 359 0
-355 360 0
-354 356 357 0
-351 -353 0
-350 354 0
-350 355 0
-349 351 352 0
-346 347 348 0
-344 345 346 0
-342 343 344 0
-340 341 342 0
-337 339 340 0
-336 -338 0
-335 349 0
-335 350 0
-334 336 337 0
-331 -333 0
-330 334 0
-330 335 0
-329 331 332 0
-326 -328 0
-325 329 0
-325 330 0
-324 326 327 0
-321 -323 0
-320 324 0
-320 325 0
-319 321 322 0
-316 -318 0
-315 319 0
-315 320 0
-314 316 317 0
-311 -313 0
-310 314 0
-310 315 0
-309 311 312 0
-306 -308 0
-305 309 0
-305 310 0
-304 306 307 0
-301 -303 0
-300 304 0
-300 305 0
-299 301 302 0
-296 -298 0
-295 299 0
-295 300 0
-294 296 297 0
-291 -293 0
-290 294 0
-290 295 0
-289 291 292 0
-286 -288 0
-285 289 0
-285 290 0
-284 286 287 0
-281 -283 0
-280 284 0
-280 285 0
-279 281 282 0
-276 -278 0
-275 279 0
-275 280 0
-274 276 277 0
-271 -273 0
-270 274 0
-270 275 0
-269 271 272 0
-266 -268 0
-265 269 0
-265 270 0
-264 266 267 0
-261 -263 0
-260 264 0
-260 265 0
-259 261 262 0
-256 -258 0
-255 259 0
-255 260 0
-254 256 257 0
-251 -253 0
-250 254 0
-250 255 0
-249 251 252 0
-246 -248 0
-245 249 0
-245 250 0
-244 246 247 0
-241 -243 0
-240 244 0
-240 245 0
-239 241 242 0
-236 -238 0
-235 239 0
-235 240 0
-234 236 237 0
-231 -233 0
-230 234 0
-230 235 0
-229 231 232 0
-226 -228 0
-225 229 0
-225 230 0
-224 226 227 0
-221 -223 0
-220 224 0
-220 225 0
-219 221 222 0
-216 -218 0
-215 219 0
-215 220 0
-214 216 217 0
-211 -213 0
-210 214 0
-210 215 0
-209 211 212 0
-206 -208 0
-205 209 0
-205 210 0
-204 206 207 0
-201 -203 0
-200 204 0
-200 205 0
-199 201 202 0
-196 -198 0
-195 199 0
-195 200 0
-194 196 197 0
-191 -193 0
-190 194 0
-190 195 0
-189 191 192 0
-187 -188 0
-184 -185 0
-182 186 0
-182 187 0
-181 183 0
-181 184 0
-179 181 182 0
-178 -180 0
-177 189 0
-177 190 0
-176 178 179 0
-173 -175 0
-172 176 0
-172 177 0
-171 173 174 0
-168 -170 0
-167 171 0
-167 172 0
-166 168 169 0
-163 -165 0
-162 166 0
-162 167 0
-161 163 164 0
-158 -160 0
-157 161 0
-157 162 0
-156 158 159 0
-153 -155 0
-152 156 0
-152 157 0
-151 153 154 0
-148 -150 0
-147 151 0
-147 152 0
-146 148 149 0
-143 -145 0
-142 146 0
-142 147 0
-141 143 144 0
-138 -140 0
-137 141 0
-137 142 0
-136 138 139 0
-133 -135 0
-132 136 0
-132 137 0
-131 133 134 0
-128 -130 0
-127 131 0
-127 132 0
-126 128 129 0
-123 -125 0
-122 126 0
-122 127 0
-121 123 124 0
-118 -120 0
-117 121 0
-117 122 0
-116 118 119 0
-113 -115 0
-112 116 0
-112 117 0
-111 113 114 0
-108 -110 0
-107 111 0
-107 112 0
-106 108 109 0
-103 -105 0
-102 106 0
-102 107 0
-101 103 104 0
-98 -100 0
-97 101 0
-97 102 0
-96 98 99 0
-93 -95 0
-92 96 0
-92 97 0
-91 93 94 0
-88 -90 0
-87 91 0
-87 92 0
-86 88 89 0
-83 -85 0
-82 86 0
-82 87 0
-81 83 84 0
-78 -80 0
-77 81 0
-77 82 0
-76 78 79 0
-73 -75 0
-72 76 0
-72 77 0
-71 73 74 0
-68 -70 0
-67 71 0
-67 72 0
-66 68 69 0
-63 64 65 0
-61 62 63 0
-59 60 61 0
-57 58 59 0
-55 56 57 0
-53 54 55 0
-51 52 53 0
-49 50 51 0
-46 48 49 0
-45 -47 0
-44 66 0
-44 67 0
-43 45 46 0
-40 -42 0
-39 43 0
-39 44 0
-38 40 41 0
-35 -37 0
-34 38 0
-34 39 0
-33 35 36 0
-30 -32 0
-29 33 0
-29 34 0
-28 30 31 0
-25 -27 0
-24 28 0
-24 29 0
-23 25 26 0
-20 -22 0
-19 23 0
-19 24 0
-18 20 21 0
-15 -17 0
-14 18 0
-14 19 0
-13 15 16 0
-10 -12 0
-9 13 0
-9 14 0
-8 10 11 0
-5 -7 0
-4 8 0
-4 9 0
-3 5 6 0
-2 3 0
-2 4 0
1 0
2 0
2 -3 -4 0
3 -6 0
3 -5 0
4 -8 -9 0
5 7 0
8 -11 0
8 -10 0
9 -13 -14 0
10 12 0
13 -16 0
13 -15 0
14 -18 -19 0
15 17 0
18 -21 0
18 -20 0
19 -23 -24 0
20 22 0
23 -26 0
23 -25 0
24 -28 -29 0
25 27 0
28 -31 0
28 -30 0
29 -33 -34 0
30 32 0
33 -36 0
33 -35 0
34 -38 -39 0
35 37 0
38 -41 0
38 -40 0
39 -43 -44 0
40 42 0
43 -46 0
43 -45 0
44 -66 -67 0
45 47 0
46 -49 0
46 -48 0
49 -51 0
49 -50 0
51 -53 0
51 -52 0
53 -55 0
53 -54 0
55 -57 0
55 -56 0
57 -59 0
57 -58 0
59 -61 0
59 -60 0
61 -63 0
61 -62 0
63 -65 0
63 -64 0
66 -69 0
66 -68 0
67 -71 -72 0
68 70 0
71 -74 0
71 -73 0
72 -76 -77 0
73 75 0
76 -79 0
76 -78 0
77 -81 -82 0
78 80 0
81 -84 0
81 -83 0
82 -86 -87 0
83 85 0
86 -89 0
86 -88 0
87 -91 -92 0
88 90 0
91 -94 0
91 -93 0
92 -96 -97 0
93 95 0
96 -99 0
96 -98 0
97 -101 -102 0
98 100 0
101 -104 0
101 -103 0
102 -106 -107 0
103 105 0
106 -109 0
106 -108 0
107 -111 -112 0
108 110 0
111 -114 0
111 -113 0
112 -116 -117 0
113 115 0
116 -119 0
116 -118 0
117 -121 -122 0
118 120 0
121 -124 0
121 -123 0
122 -126 -127 0
123 125 0
126 -129 0
126 -128 0
127 -131 -132 0
128 130 0
131 -134 0
131 -133 0
132 -136 -137 0
133 135 0
136 -139 0
136 -138 0
137 -141 -142 0
138 140 0
141 -144 0
141 -143 0
142 -146 -147 0
143 145 0
146 -149 0
146 -148 0
147 -151 -152 0
148 150 0
151 -154 0
151 -153 0
152 -156 -157 0
153 155 0
156 -159 0
156 -158 0
157 -161 -162 0
158 160 0
161 -164 0
161 -163 0
162 -166 -167 0
163 165 0
166 -169 0
166 -168 0
167 -171 -172 0
168 170 0
171 -174 0
171 -173 0
172 -176 -177 0
173 175 0
176 -179 0
176 -178 0
177 -189 -190 0
178 180 0
179 -182 0
179 -181 0
181 -183 -184 0
182 -186 -187 0
184 185 0
187 188 0
189 -192 0
189 -191 0
190 -194 -195 0
191 193 0
194 -197 0
194 -196 0
195 -199 -200 0
196 198 0
199 -202 0
199 -201 0
200 -204 -205 0
201 203 0
204 -207 0
204 -206 0
205 -209 -210 0
206 208 0
209 -212 0
209 -211 0
210 -214 -215 0
211 213 0
214 -217 0
214 -216 0
215 -219 -220 0
216 218 0
219 -222 0
219 -221 0
220 -224 -225 0
221 223 0
224 -227 0
224 -226 0
225 -229 -230 0
226 228 0
229 -232 0
229 -231 0