Add test graphs

tests/generate/make_graphs.sh

@@ -7,60 +7,39 @@ set -e
 
 SRCDIR="$(dirname $0)"
 
-# Usage: gen_random SEED N M
-gen_random() {
-    python3 $SRCDIR/make_random_graph.py --seed $1 $2 $3 \
-      > graph_rnd_s${1}_n${2}_m${3}.gr
+make_random_graph() {
+    python3 $SRCDIR/make_random_graph.py "$@"
 }
 
-# Usage: gen_slow STRUCTURE N M
-gen_slow() {
-    python3 $SRCDIR/make_slow_graph.py --structure $1 $2 \
-      > graph_slow_${1}_n${2}_m${3}.gr
+make_slow_graph() {
+    python3 $SRCDIR/make_slow_graph.py "$@"
 }
 
+triangles() {
+    python3 $SRCDIR/triangles.py "$@"
+}
 
-gen_random 101 250 31125
-gen_random 102 250 31125
-gen_random 103 250  3952
-gen_random 104 250  3952
-gen_random 105 250  2500
-gen_random 106 250  2500
+make_random_graph --seed 101 1000 10000 > random_n1000_m10000.edge
+make_random_graph --seed 102 2000 10000 > random_n2000_m10000.edge
+make_random_graph --seed 103 4000 10000 > random_n4000_m10000.edge
 
-gen_random 111 500 124750
-gen_random 112 500 124750
-gen_random 113 500  11180
-gen_random 114 500  11180
-gen_random 115 500   5000
-gen_random 116 500   5000
+make_slow_graph chain 1000 > chain_n1000.edge
+make_slow_graph chain 5000 > chain_n5000.edge
+make_slow_graph chain 10000 > chain_n10000.edge
+make_slow_graph chain 20000 > chain_n20000.edge
+make_slow_graph chain 50000 > chain_n50000.edge
+make_slow_graph chain 100000 > chain_n100000.edge
 
-gen_random 121 1000 499500
-gen_random 122 1000 499500
-gen_random 123 1000  31622
-gen_random 124 1000  31622
-gen_random 125 1000  10000
-gen_random 126 1000  10000
+make_slow_graph sparse 1004 > sparse_delta_n1004.edge
+make_slow_graph sparse 2004 > sparse_delta_n2004.edge
+make_slow_graph sparse 5004 > sparse_delta_n5004.edge
+make_slow_graph sparse 10004 > sparse_delta_n10004.edge
+make_slow_graph sparse 20004 > sparse_delta_n20004.edge
+make_slow_graph sparse 40004 > sparse_delta_n40004.edge
 
-gen_random 133 2000   89442
-gen_random 134 2000   89442
-gen_random 135 2000   20000
-gen_random 136 2000   20000
-
-gen_random 143 5000  353553
-gen_random 144 5000  353553
-gen_random 145 5000   50000
-gen_random 146 5000   50000
-
-gen_random 155 10000 100000
-gen_random 156 10000 100000
-
-gen_slow dense    252  4095
-gen_slow dense    500 15875
-gen_slow dense   1000 63000
-gen_slow sparse   252   312
-gen_slow sparse   500   622
-gen_slow sparse  1004  1252
-gen_slow sparse  2004  2502
-gen_slow sparse  5004  6252
-gen_slow sparse 10004 12502
+triangles 334 1 > triangles_n1002.edge
+triangles 1667 1 > triangles_n5001.edge
+triangles 3334 1 > triangles_n10002.edge
+triangles 16667 1 > triangles_n50001.edge
+triangles 33334 1 > triangles_n100002.edge
 

tests/graphs/chain_n1000.out

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

tests/graphs/random_n1000_m10000.out

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

tests/graphs/random_n2000_m10000.out

@@ -0,0 +1,982 @@
+s 812473863
+m 1 517
+m 2 1663
+m 3 1934
+m 4 1382
+m 5 90
+m 6 1327
+m 7 1239
+m 8 568
+m 9 667
+m 10 1350
+m 11 337
+m 12 1783
+m 13 820
+m 14 464
+m 15 779
+m 16 1890
+m 17 685
+m 18 96
+m 19 170
+m 20 1455
+m 21 1233
+m 22 271
+m 23 1692
+m 24 197
+m 25 796
+m 26 236
+m 27 571
+m 28 1091
+m 29 1473
+m 30 989
+m 31 244
+m 32 926
+m 33 1650
+m 34 772
+m 35 1111
+m 36 627
+m 37 584
+m 38 589
+m 39 1020
+m 40 918
+m 41 1288
+m 42 574
+m 43 151
+m 44 1464
+m 45 522
+m 46 175
+m 47 521
+m 48 1631
+m 49 1540
+m 50 980
+m 51 215
+m 52 1047
+m 53 193
+m 54 1058
+m 55 1818
+m 56 1877
+m 57 150
+m 58 1532
+m 59 1831
+m 60 1017
+m 61 727
+m 62 547
+m 63 268
+m 64 591
+m 65 893
+m 66 1247
+m 67 1068
+m 68 113
+m 69 194
+m 70 255
+m 71 349
+m 73 634
+m 74 974
+m 75 947
+m 76 1655
+m 77 210
+m 78 1761
+m 79 1137
+m 80 578
+m 81 1309
+m 82 1666
+m 83 385
+m 84 1396
+m 85 921
+m 86 235
+m 87 1293
+m 88 448
+m 89 328
+m 91 704
+m 92 652
+m 93 809
+m 94 557
+m 95 267
+m 97 445
+m 98 217
+m 99 192
+m 101 394
+m 102 752
+m 103 1076
+m 104 1190
+m 105 663
+m 108 1587
+m 109 1198
+m 110 259
+m 111 1950
+m 112 1640
+m 114 480
+m 115 1082
+m 116 658
+m 117 1780
+m 119 833
+m 120 605
+m 121 601
+m 122 1613
+m 123 742
+m 124 1027
+m 125 760
+m 126 485
+m 127 285
+m 128 606
+m 129 1135
+m 131 514
+m 132 1399
+m 133 1802
+m 134 830
+m 135 539
+m 136 1335
+m 137 322
+m 138 783
+m 139 436
+m 140 1733
+m 141 1838
+m 142 924
+m 143 1538
+m 145 1194
+m 146 691
+m 147 1063
+m 148 806
+m 149 1547
+m 152 305
+m 153 1046
+m 154 791
+m 156 476
+m 157 1741
+m 158 632
+m 159 315
+m 160 656
+m 161 179
+m 163 419
+m 164 1860
+m 165 748
+m 166 661
+m 167 838
+m 168 1310
+m 169 203
+m 172 622
+m 173 1848
+m 174 868
+m 176 439
+m 177 1625
+m 178 382
+m 180 1678
+m 181 881
+m 182 934
+m 183 1388
+m 184 1789
+m 185 1274
+m 186 1433
+m 187 894
+m 188 361
+m 189 1191
+m 190 1931
+m 191 465
+m 195 944
+m 196 715
+m 198 787
+m 199 579
+m 200 775
+m 202 1814
+m 204 1979
+m 205 1125
+m 206 245
+m 207 444
+m 208 1486
+m 209 1470
+m 211 355
+m 212 709
+m 213 258
+m 216 252
+m 218 1201
+m 219 1520
+m 220 336
+m 221 380
+m 223 1513
+m 224 1409
+m 225 612
+m 226 1572
+m 227 455
+m 228 861
+m 229 1594
+m 230 1348
+m 231 409
+m 232 1440
+m 233 1635
+m 234 1929
+m 237 519
+m 238 999
+m 239 558
+m 240 1578
+m 241 637
+m 242 262
+m 247 1389
+m 248 1843
+m 249 1593
+m 250 1788
+m 251 313
+m 253 454
+m 254 925
+m 256 813
+m 257 655
+m 260 1365
+m 261 1411
+m 263 437
+m 264 1079
+m 265 270
+m 266 1133
+m 269 585
+m 272 1836
+m 273 877
+m 274 1322
+m 275 600
+m 276 1904
+m 277 1537
+m 278 1568
+m 279 1204
+m 280 1437
+m 282 1892
+m 283 590
+m 284 986
+m 286 949
+m 287 643
+m 288 1956
+m 289 461
+m 290 507
+m 291 1280
+m 292 745
+m 293 767
+m 295 711
+m 296 477
+m 297 442
+m 298 1534
+m 299 1127
+m 301 381
+m 302 1118
+m 303 1702
+m 304 1345
+m 306 1757
+m 307 1072
+m 309 716
+m 310 1566
+m 311 965
+m 312 573
+m 314 1349
+m 316 344
+m 317 1359
+m 318 1620
+m 319 446
+m 320 1181
+m 321 776
+m 323 933
+m 324 1832
+m 325 1216
+m 327 1431
+m 329 660
+m 330 765
+m 332 1012
+m 333 1373
+m 334 359
+m 335 1140
+m 338 1545
+m 339 408
+m 340 1983
+m 341 405
+m 342 865
+m 343 757
+m 345 1432
+m 346 998
+m 347 523
+m 348 511
+m 350 882
+m 351 1044
+m 352 1180
+m 353 1968
+m 354 509
+m 356 1576
+m 357 1246
+m 358 1260
+m 360 1059
+m 362 1808
+m 363 407
+m 364 1485
+m 365 425
+m 366 635
+m 367 1824
+m 368 1684
+m 369 788
+m 370 1307
+m 371 1984
+m 372 1709
+m 373 486
+m 375 1742
+m 376 1013
+m 377 1494
+m 378 1184
+m 383 598
+m 384 1039
+m 386 531
+m 387 712
+m 388 1869
+m 389 669
+m 390 456
+m 391 1152
+m 392 1114
+m 393 1835
+m 395 1967
+m 396 1312
+m 397 604
+m 398 732
+m 399 1604
+m 400 1026
+m 402 1413
+m 403 1347
+m 404 1740
+m 406 1407
+m 410 1930
+m 411 1846
+m 412 1555
+m 413 1760
+m 414 453
+m 415 1397
+m 416 1103
+m 417 504
+m 418 855
+m 420 878
+m 421 1227
+m 422 744
+m 423 1170
+m 424 1328
+m 426 1560
+m 427 1453
+m 428 1281
+m 429 593
+m 430 1918
+m 431 1806
+m 432 1086
+m 433 1563
+m 434 702
+m 435 957
+m 438 782
+m 440 451
+m 441 645
+m 443 1252
+m 447 1868
+m 449 1617
+m 450 1565
+m 452 1948
+m 457 1622
+m 458 535
+m 459 1014
+m 460 1402
+m 462 1376
+m 463 1774
+m 466 1177
+m 467 1266
+m 468 911
+m 469 823
+m 470 1526
+m 471 492
+m 472 1015
+m 473 994
+m 474 1988
+m 478 1213
+m 479 1299
+m 482 1321
+m 483 1048
+m 484 1487
+m 487 1561
+m 488 1150
+m 489 793
+m 490 872
+m 491 698
+m 493 1405
+m 494 1251
+m 495 1521
+m 496 1272
+m 497 1028
+m 498 555
+m 499 1652
+m 500 815
+m 501 1662
+m 502 1913
+m 503 710
+m 505 1643
+m 506 614
+m 508 1096
+m 510 1203
+m 512 1287
+m 513 1316
+m 515 942
+m 516 1477
+m 518 723
+m 520 542
+m 524 845
+m 525 741
+m 526 832
+m 527 1037
+m 528 1859
+m 529 1496
+m 530 1726
+m 533 1054
+m 534 682
+m 536 644
+m 537 1034
+m 538 1588
+m 540 1591
+m 541 1552
+m 543 688
+m 544 848
+m 545 1462
+m 546 1515
+m 548 1940
+m 549 1209
+m 550 1609
+m 551 1206
+m 552 626
+m 553 1812
+m 554 987
+m 556 777
+m 559 1863
+m 560 1033
+m 561 1763
+m 562 751
+m 563 1297
+m 564 1567
+m 565 1406
+m 566 636
+m 567 1932
+m 569 1942
+m 570 807
+m 572 821
+m 575 678
+m 576 1366
+m 577 1580
+m 580 1710
+m 582 1070
+m 583 953
+m 586 857
+m 587 1258
+m 588 950
+m 592 1493
+m 594 731
+m 595 1844
+m 597 1223
+m 599 1744
+m 602 1286
+m 603 1200
+m 607 836
+m 608 1167
+m 609 853
+m 610 996
+m 611 1884
+m 613 1292
+m 615 1355
+m 616 940
+m 617 1065
+m 618 1236
+m 619 737
+m 620 886
+m 621 1879
+m 623 1839
+m 624 1386
+m 625 1571
+m 628 638
+m 629 1235
+m 630 1575
+m 631 1664
+m 633 1016
+m 639 1097
+m 640 991
+m 641 664
+m 642 895
+m 646 1729
+m 647 1883
+m 648 755
+m 649 672
+m 650 829
+m 651 1336
+m 653 1597
+m 654 1922
+m 657 795
+m 659 803
+m 662 1573
+m 665 1208
+m 666 1489
+m 668 1817
+m 670 1525
+m 671 1730
+m 673 1964
+m 674 1035
+m 675 1653
+m 676 1629
+m 677 1810
+m 679 1990
+m 680 1302
+m 681 1202
+m 684 842
+m 686 1005
+m 687 1670
+m 689 790
+m 690 930
+m 692 1746
+m 693 1122
+m 694 1446
+m 695 1104
+m 696 1970
+m 697 1483
+m 699 1688
+m 700 1423
+m 701 1134
+m 703 1556
+m 705 1295
+m 706 1675
+m 707 929
+m 708 1610
+m 714 1745
+m 717 799
+m 718 846
+m 719 1986
+m 720 979
+m 721 1024
+m 722 1500
+m 724 988
+m 725 856
+m 726 1004
+m 728 984
+m 729 1888
+m 730 1646
+m 733 1361
+m 734 1154
+m 735 1326
+m 736 1820
+m 738 1231
+m 739 1148
+m 740 1124
+m 743 1987
+m 746 956
+m 747 1289
+m 749 1353
+m 750 1427
+m 754 851
+m 758 1275
+m 759 800
+m 761 1992
+m 762 1928
+m 763 1381
+m 764 1109
+m 766 1195
+m 768 1958
+m 769 1642
+m 770 1723
+m 771 967
+m 773 1001
+m 774 939
+m 778 1156
+m 780 1895
+m 781 1192
+m 784 850
+m 785 1750
+m 786 1064
+m 789 1116
+m 792 1903
+m 794 824
+m 797 1712
+m 798 916
+m 801 1334
+m 802 1009
+m 804 884
+m 805 831
+m 808 968
+m 810 1858
+m 811 941
+m 812 1444
+m 814 1450
+m 816 1164
+m 817 1569
+m 818 952
+m 819 1807
+m 822 1654
+m 825 1766
+m 826 871
+m 827 1294
+m 828 1981
+m 834 1412
+m 835 1864
+m 837 1514
+m 839 1682
+m 840 1739
+m 841 1387
+m 843 1731
+m 844 1767
+m 847 972
+m 849 1434
+m 852 1224
+m 854 1536
+m 858 1596
+m 859 1962
+m 860 1163
+m 862 1031
+m 863 1674
+m 864 1018
+m 866 1372
+m 867 1938
+m 869 1508
+m 870 963
+m 873 1259
+m 874 1043
+m 875 1363
+m 876 1291
+m 879 1023
+m 880 1022
+m 883 1263
+m 885 1456
+m 887 1147
+m 888 1038
+m 889 1885
+m 890 1273
+m 891 1158
+m 892 1935
+m 896 1375
+m 897 928
+m 898 1410
+m 899 1255
+m 900 1809
+m 901 1454
+m 902 1612
+m 903 1379
+m 904 1484
+m 905 1886
+m 906 1149
+m 908 1601
+m 909 1166
+m 910 1306
+m 912 1633
+m 913 1188
+m 914 1945
+m 915 1144
+m 917 1088
+m 919 1651
+m 922 1616
+m 923 948
+m 927 1871
+m 931 1497
+m 932 1175
+m 935 1430
+m 936 1337
+m 937 1256
+m 938 1300
+m 943 1541
+m 945 1193
+m 946 1720
+m 951 1728
+m 954 1498
+m 955 1845
+m 958 1590
+m 959 995
+m 960 1383
+m 961 1067
+m 962 1429
+m 964 1416
+m 966 1574
+m 969 1283
+m 970 1003
+m 971 1053
+m 973 1768
+m 975 1449
+m 976 1995
+m 977 1029
+m 978 997
+m 981 1241
+m 982 1098
+m 983 1106
+m 985 1160
+m 990 1080
+m 992 1240
+m 993 1238
+m 1000 1479
+m 1002 1087
+m 1006 1582
+m 1007 1329
+m 1008 1358
+m 1010 1143
+m 1011 1101
+m 1019 1842
+m 1021 1815
+m 1025 1419
+m 1030 1045
+m 1032 1099
+m 1036 1282
+m 1040 1121
+m 1041 1785
+m 1042 1374
+m 1049 1816
+m 1050 1857
+m 1051 1553
+m 1052 1442
+m 1055 1313
+m 1056 1102
+m 1057 1178
+m 1060 1570
+m 1061 1404
+m 1062 1253
+m 1066 1973
+m 1069 1533
+m 1071 1834
+m 1073 1917
+m 1074 1589
+m 1075 1146
+m 1077 1207
+m 1078 1451
+m 1081 1607
+m 1083 1354
+m 1084 1344
+m 1085 1369
+m 1089 1319
+m 1090 1285
+m 1092 1965
+m 1093 1955
+m 1094 1909
+m 1095 1952
+m 1100 1331
+m 1105 1317
+m 1107 1872
+m 1108 1821
+m 1110 1522
+m 1112 1638
+m 1113 1776
+m 1115 1790
+m 1117 1632
+m 1119 1644
+m 1120 1765
+m 1123 1936
+m 1126 1924
+m 1128 1472
+m 1129 1205
+m 1130 1518
+m 1131 1805
+m 1132 1706
+m 1136 1325
+m 1138 1257
+m 1139 1865
+m 1141 1507
+m 1142 1471
+m 1145 1189
+m 1151 1367
+m 1153 1833
+m 1155 1994
+m 1157 1708
+m 1159 1332
+m 1161 1648
+m 1162 1953
+m 1165 1352
+m 1168 1185
+m 1169 1443
+m 1171 1784
+m 1172 1179
+m 1173 1271
+m 1174 1599
+m 1176 1564
+m 1182 1265
+m 1183 1318
+m 1186 1856
+m 1187 1262
+m 1196 1491
+m 1197 1463
+m 1199 1980
+m 1210 1368
+m 1211 1420
+m 1212 1671
+m 1214 1881
+m 1215 1308
+m 1217 1467
+m 1218 1991
+m 1219 1249
+m 1220 1475
+m 1221 1305
+m 1222 1961
+m 1225 1230
+m 1226 1751
+m 1228 1668
+m 1229 1737
+m 1232 1669
+m 1234 1985
+m 1237 1414
+m 1242 1715
+m 1243 1647
+m 1244 1749
+m 1245 1793
+m 1248 1665
+m 1250 1775
+m 1254 1577
+m 1261 1403
+m 1264 1605
+m 1267 1770
+m 1268 1899
+m 1269 1840
+m 1270 1400
+m 1276 1796
+m 1277 1524
+m 1278 1748
+m 1279 1506
+m 1284 1505
+m 1290 1634
+m 1296 1690
+m 1298 1687
+m 1301 1342
+m 1303 1672
+m 1304 1333
+m 1311 1384
+m 1314 1458
+m 1315 1519
+m 1320 1764
+m 1323 1758
+m 1324 1436
+m 1330 1874
+m 1338 1603
+m 1339 1822
+m 1340 1488
+m 1341 1346
+m 1343 1530
+m 1351 1735
+m 1356 1557
+m 1357 1393
+m 1360 1509
+m 1362 1747
+m 1364 1415
+m 1371 1716
+m 1377 1778
+m 1378 1611
+m 1380 1905
+m 1385 1401
+m 1390 1826
+m 1391 1637
+m 1392 1711
+m 1394 1459
+m 1395 1531
+m 1398 1797
+m 1408 1645
+m 1417 1422
+m 1418 1658
+m 1421 1701
+m 1424 1460
+m 1425 1773
+m 1426 1614
+m 1428 1969
+m 1435 1795
+m 1438 1673
+m 1439 1830
+m 1441 1959
+m 1445 1585
+m 1447 1618
+m 1448 1529
+m 1452 1492
+m 1457 1977
+m 1465 1914
+m 1466 1699
+m 1468 1685
+m 1469 1476
+m 1474 1813
+m 1478 1920
+m 1480 1490
+m 1481 1579
+m 1482 1771
+m 1495 1976
+m 1501 1516
+m 1502 1896
+m 1503 1791
+m 1504 1902
+m 1510 1875
+m 1511 1718
+m 1512 1732
+m 1517 1971
+m 1523 1628
+m 1527 1908
+m 1528 1543
+m 1535 1619
+m 1539 1608
+m 1542 1900
+m 1544 1721
+m 1546 1698
+m 1548 1762
+m 1549 1659
+m 1550 1703
+m 1551 1916
+m 1554 1756
+m 1558 1581
+m 1559 1667
+m 1562 1595
+m 1583 1804
+m 1584 1786
+m 1586 1982
+m 1592 1779
+m 1598 1946
+m 1600 1639
+m 1602 1694
+m 1606 1717
+m 1615 1696
+m 1621 1850
+m 1623 1719
+m 1624 1800
+m 1626 1949
+m 1627 1852
+m 1630 1722
+m 1636 1910
+m 1641 1752
+m 1649 1759
+m 1656 1660
+m 1657 1966
+m 1661 1725
+m 1676 1915
+m 1677 1907
+m 1679 1734
+m 1680 1993
+m 1681 1695
+m 1683 1819
+m 1686 1851
+m 1689 1947
+m 1691 1878
+m 1693 1704
+m 1697 1882
+m 1700 1713
+m 1705 1867
+m 1707 1823
+m 1714 1738
+m 1724 1754
+m 1727 1974
+m 1736 1894
+m 1743 1755
+m 1753 1787
+m 1769 1978
+m 1772 1889
+m 1777 1906
+m 1781 1847
+m 1782 1794
+m 1792 1898
+m 1798 1919
+m 1799 2000
+m 1801 1989
+m 1803 1829
+m 1811 1939
+m 1825 1960
+m 1827 1855
+m 1828 1837
+m 1841 1926
+m 1849 1893
+m 1853 1972
+m 1854 1861
+m 1862 1870
+m 1866 1941
+m 1873 1963
+m 1876 1891
+m 1880 1897
+m 1887 1912
+m 1901 1927
+m 1911 1943
+m 1921 1944
+m 1923 1999
+m 1925 1975
+m 1933 1998
+m 1937 1957
+m 1951 1954
+m 1996 1997

tests/graphs/sparse_delta_n1004.out

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

tests/graphs/triangles_n1002.out

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