7 1000
841413509 58432763 698722376 544666771 190469745 876171369 379243778
1 0
0 0 3 15779399 235571671
0 2 4 334186325 871792615
0 1 4 773724787 890750921
0 4 7 731548594 333369101
1 6
0 4 6 740717565 971314582
1 6
1 0
0 0 6 41403750 125575027
0 0 4 69883319 790728897
1 0
1 2
0 0 1 610309603 658926499
1 4
1 3
0 0 1 907663521 583405069
1 6
0 2 4 414896146 472450640
0 2 3 197405679 202002600
0 2 7 259831156 25739586
1 0
0 2 7 1054008 204508732
0 4 5 864288494 478244878
0 0 6 64604266 311045258
1 3
1 1
1 0
0 1 2 712578980 464765598
1 2
1 4
0 0 1 652025027 336730758
1 2
0 3 4 855261929 125890355
1 2
0 5 7 84581936 130094436
1 0
0 3 7 494460141 39212087
0 4 7 780851700 495222039
0 1 6 923664327 461683077
0 1 5 907966287 735720535
0 5 6 94311861 551151685
0 0 7 110303953 534503882
1 3
1 0
0 1 5 644080768 661106370
1 4
1 6
1 3
0 1 4 520236749 660668816
0 1 3 958376898 108151073
0 1 3 454593839 486724854
0 6 7 482687296 948622807
1 2
1 6
1 3
1 2
1 6
0 1 5 260749568 913895773
1 1
0 1 6 45714369 703190045
1 0
0 0 4 65396057 515658911
1 4
0 0 7 986878720 404008302
1 1
1 2
0 0 1 685603165 347829190
0 5 7 424233774 917861687
1 2
0 1 3 964060226 983956965
1 0
0 0 1 944532301 315710323
1 4
0 2 4 762877584 482767834
1 4
1 5
1 4
1 1
0 0 3 591406356 272213787
0 5 6 368119855 139693948
0 1 3 289139893 195162818
0 0 5 286135937 439764928
0 2 7 662757694 87372739
0 3 6 344941307 928350714
0 4 5 716274456 23338242
0 6 7 686926516 534220184
1 3
0 0 5 76100345 404644946
0 3 7 939660083 759798479
0 0 2 587471272 215952748
0 1 6 840136247 48489925
0 1 7 979513062 451234179
1 5
1 3
0 2 5 390390869 61100104
0 3 7 867974975 78047137
1 1
0 4 7 57428320 51187278
1 1
0 1 4 155468642 737096841
1 5
0 5 7 687622885 42545076
1 4
1 5
1 4
0 0 5 677832587 821262488
0 1 4 938069903 732624692
0 2 3 42569429 439896210
0 0 3 164460256 259076096
0 1 5 47030096 945433733
1 3
0 4 5 624946760 948158314
1 0
1 5
0 0 3 228629902 561441011
1 2
1 1
0 1 7 215553476 313640879
0 0 6 61572361 765995326
1 6
0 0 1 960553727 244017874
1 4
1 6
1 6
1 6
0 5 7 268740547 254949489
0 1 2 399044802 620757832
1 6
1 1
0 3 6 163226167 521606532
0 1 4 381094858 541626560
1 0
1 4
1 1
1 1
1 3
0 0 5 839369016 218653926
1 2
0 1 4 742369927 652387459
0 5 7 886324212 921658598
1 1
1 0
0 3 6 368479350 392861216
0 4 5 43543106 649024491
1 0
0 3 4 885836097 848895859
0 1 3 533341371 480358000
0 1 3 857233924 276460833
0 3 7 606729745 462068078
1 4
0 4 5 877541909 842479166
0 2 3 946874521 86472124
1 2
1 2
0 0 4 924995745 784328737
0 1 2 67370931 570404063
0 6 7 3089795 459370348
1 3
1 6
1 6
0 1 6 488445634 316326725
1 6
0 0 2 40259413 312592103
0 0 7 275280914 525079780
1 0
1 1
1 2
1 3
0 6 7 883742803 468064925
1 0
1 4
0 3 7 470265926 691012306
0 2 6 494639941 267509196
0 3 6 555993477 636613346
1 3
1 4
1 4
1 2
0 4 7 983672624 760935267
1 3
1 6
0 2 5 363754628 57084900
0 1 2 917038332 917813673
0 3 5 52840610 149503555
0 3 4 505877961 334955935
0 2 4 722891033 341032463
1 2
0 1 5 329202678 270971498
0 3 7 961778191 927981021
0 5 7 196794023 771516330
1 3
1 6
1 3
0 0 3 588063868 159762313
0 3 7 185060545 189560227
0 2 5 475426261 148080018
0 0 7 955342283 457299081
0 4 5 534313233 955269318
1 5
1 0
0 3 4 637127224 184572662
0 0 6 851331646 314073761
0 0 4 1792671 216215971
0 1 6 700890245 48842509
0 4 7 568857075 229596417
0 2 6 53624713 193928567
0 4 7 816955781 835400890
0 4 7 840805011 9541980
1 3
1 0
0 3 7 609915423 151003948
1 0
1 2
0 3 6 185086576 317418931
1 0
0 1 5 744623652 220821189
0 1 5 755533326 505984794
1 3
0 1 7 111532329 758627862
1 5
0 4 5 233814187 875191595
1 4
1 4
0 2 4 562244698 532677641
0 3 5 233606625 671159268
1 6
1 5
1 6
1 5
1 4
1 1
0 2 4 718914176 145925414
0 2 3 394845948 313939703
1 5
1 3
1 5
1 6
0 1 5 962648498 60427008
0 5 6 896363395 650917461
0 0 2 564110847 386062879
0 0 4 508358198 463942566
1 3
0 1 7 34774023 583999132
1 3
0 1 7 712249742 275042069
1 1
0 1 6 692776011 814507106
1 3
0 0 5 957908433 473876222
1 5
0 3 4 73476856 851262985
0 4 5 429403940 119687639
1 0
1 6
1 2
1 4
1 3
0 6 7 801623051 658885106
1 5
1 6
1 2
0 4 6 962311703 351627753
0 4 6 366382366 171996792
0 5 7 977127868 455789028
1 1
1 3
0 0 6 367847562 320209957
1 6
1 6
1 0
1 5
1 2
0 0 2 836452072 35039080
1 4
0 4 7 94122535 300561493
0 5 7 887039430 232235099
1 3
1 3
0 1 5 368701254 161012777
0 5 7 383049571 148520982
1 6
0 1 2 118931753 286561749
1 1
0 0 4 683604257 473287433
0 1 7 974080318 499651304
1 2
0 0 2 630967758 342964023
0 0 4 438525703 31040462
1 4
1 1
0 0 1 499170143 352457346
0 2 5 139859911 638013886
0 1 5 566540922 442717583
0 3 6 8200054 830205819
1 1
0 5 6 76004014 623570849
1 6
1 4
1 0
1 0
1 4
0 1 3 179945227 754676147
1 1
1 4
1 6
1 4
0 2 6 422038801 583630468
1 6
0 1 5 970118375 786839419
0 1 7 235453357 705420073
1 4
0 1 6 303667277 813290269
0 0 5 719401955 387893194
0 3 4 316293010 967422643
0 6 7 965860549 4986282
1 3
0 0 4 613023314 123678278
0 0 5 36328664 481827365
1 3
0 3 7 947400814 931302833
1 2
1 2
0 0 4 474885338 296139751
1 5
0 0 1 410634917 125439801
0 1 2 418517 351266984
0 0 2 952831745 173828545
0 1 5 698902785 192994350
0 0 4 565557271 374852427
0 4 5 350493406 237459862
0 0 5 859559230 173267770
0 0 1 722821860 614040999
0 1 3 976825365 452716906
0 4 5 686463595 150657086
1 0
1 6
0 0 5 897595306 357263280
1 5
1 3
1 1
0 3 6 336990121 534242413
1 2
1 4
1 2
1 1
0 4 5 129900745 31068369
1 2
0 2 5 728443381 92423754
1 6
0 0 2 744862546 703236498
1 5
1 2
0 2 3 32523702 689835149
1 3
1 0
1 5
0 2 5 987550898 974000189
1 4
1 0
1 3
1 5
1 5
0 2 6 920102773 154090635
0 3 4 232979356 454513251
0 0 6 221069048 405161151
1 4
1 0
0 0 5 868180971 692151525
1 1
1 6
0 1 7 386124652 884875985
0 5 6 825746413 462403978
0 2 3 766425828 126289337
0 2 7 17221135 156443355
1 2
0 5 6 469438631 283654255
0 4 6 902206632 148821604
1 6
1 2
1 0
0 4 5 372422279 448377
0 2 4 438077100 660190094
0 4 5 335100833 551873375
1 5
1 4
0 1 3 861079558 346210908
1 6
1 4
0 3 7 81699127 629328876
1 4
1 0
0 0 3 718418087 669461830
1 1
1 3
0 2 4 760762951 222918568
1 6
1 6
0 0 4 75834540 595404074
0 2 5 843543449 166965380
1 3
1 3
1 1
1 5
0 4 6 791127539 447479434
1 6
0 0 6 993280231 154121257
0 1 3 733236393 393675711
0 1 3 878883020 977864360
1 5
1 4
1 0
1 4
0 1 7 114369884 282039517
0 1 3 37495042 711636750
0 5 6 74459690 267626660
1 2
1 3
1 3
1 4
1 0
1 2
0 0 4 251523675 888763488
1 0
1 5
0 2 5 698214042 926944585
1 2
0 5 6 704032546 951497583
0 4 5 974086644 248080490
0 4 6 895285605 627842264
0 3 7 44623542 820310904
0 1 5 763208441 155303297
1 0
0 2 3 866549899 4593953
1 5
1 0
0 1 4 885293411 725301238
1 0
1 1
1 1
1 0
0 1 7 785075385 675767255
0 4 5 800533730 261385291
0 4 5 140039149 379629188
0 2 5 503472157 335979978
0 4 6 967469293 950784432
1 1
0 1 6 889871990 809284072
0 0 6 121456412 559005648
0 1 3 578212930 844010911
1 3
0 0 1 121535820 420435120
0 6 7 99574524 102502017
0 0 5 315461899 623886238
0 2 7 41093657 382655977
0 0 7 247222521 278513975
1 6
1 1
0 3 7 347489170 576814658
0 3 7 828563157 118916959
0 2 6 593307470 344839758
0 1 4 510797611 709627829
1 5
1 3
0 3 5 577552872 777656411
0 0 2 628608982 376011245
0 2 6 96835243 530999995
1 0
1 1
0 0 1 46203765 577958923
0 3 7 902256811 899395370
0 4 5 789487245 683266121
0 4 7 717370855 307538996
1 5
0 3 5 309991692 254667998
0 6 7 669175060 771160287
0 5 6 677854231 359792976
0 3 4 6756877 666940762
0 0 2 863523433 457811802
0 0 1 129580985 517721026
0 5 7 601815316 228360976
0 0 5 155718529 297625241
1 1
1 4
1 4
1 3
0 3 5 19206521 366568063
1 2
0 0 2 616534035 401292410
0 0 7 604230099 223160216
0 0 7 642566253 359972101
0 3 4 530857442 627022414
0 5 6 52783566 975466082
0 6 7 889182186 541309974
0 1 7 603829517 517049209
1 3
1 0
0 2 7 617784060 556398423
1 0
0 0 2 773043182 741852888
0 1 5 846569816 502559027
0 0 4 978734454 923523246
0 2 6 74652520 211861448
1 6
0 3 7 895714634 398084582
0 0 3 773468828 742830009
0 1 6 389834868 768325224
1 1
1 5
1 1
1 3
1 1
0 1 4 302388261 472322611
1 3
0 0 1 72285522 158959774
0 1 3 797374407 960354966
1 4
0 0 6 764964615 894451348
0 5 6 27319625 540525026
0 1 5 270971901 443066273
0 2 7 625754768 434752863
0 5 6 698601523 922579225
1 3
0 5 6 567843594 610581001
0 3 6 683543383 552851261
0 4 7 968106957 123224773
0 1 4 429080386 182908684
0 4 5 734944850 798632300
0 1 7 347293685 83265902
1 6
1 2
1 6
0 1 6 282212920 34527430
0 6 7 578871338 952284115
1 2
0 1 7 415605670 109326215
0 0 4 71416125 669957193
1 5
0 2 6 944323680 418626589
1 3
1 2
1 1
0 0 6 78522194 587372208
1 4
0 2 5 298116256 228626724
1 2
1 5
1 0
1 0
0 2 4 162792979 992735796
1 2
1 4
1 1
1 0
0 2 7 822151054 358162693
1 0
1 3
0 0 4 918266337 557650768
1 1
0 0 3 331378730 293633156
0 1 6 754356061 618687984
1 0
0 4 7 467718407 720607999
0 1 6 149086202 788077725
1 4
0 0 3 636553149 157006273
0 3 7 598104267 586852734
0 3 6 145708694 190517866
1 2
1 2
0 3 4 773224195 951599593
0 2 7 918587167 798063908
0 2 7 479500654 994956894
0 3 6 500054183 642288520
1 4
1 2
0 1 2 795109478 649014872
0 2 6 199330707 846715140
1 0
1 6
1 5
0 2 3 73193370 289052552
0 1 5 89820384 874264909
1 5
1 4
0 0 5 331628019 565072594
1 5
0 0 5 251901415 487199539
1 5
1 4
0 6 7 262149002 366634073
1 3
1 4
0 4 6 118722223 866369782
0 4 5 584036427 956707098
1 3
0 5 6 969655522 856953456
0 4 5 928415108 278402655
0 1 4 256450840 258363373
0 0 1 80301832 797302850
0 2 5 221172661 553366393
1 3
0 2 4 964925439 161264559
1 2
0 5 7 34673346 405549702
0 1 7 686620923 522980400
0 5 6 558041478 456474483
1 6
0 2 4 158528770 160716741
1 3
0 2 4 585084859 448586887
1 2
0 2 5 743191780 157580026
0 0 4 90318279 989144736
0 1 6 481468312 163244534
0 2 6 273994864 285251789
0 0 1 104609542 162715650
0 0 1 198445356 612110153
0 1 7 367234948 811991711
0 0 2 832885669 655421825
0 4 6 256807362 659744907
0 2 4 582045851 768701087
0 3 6 875828652 675758790
1 4
1 6
0 5 7 553174629 777123072
0 2 5 849423061 757637696
1 2
1 3
0 3 4 616160517 862409078
1 1
0 0 3 19395597 841638359
1 5
0 1 5 985258377 351244387
1 3
1 3
0 4 6 563509048 759619297
0 0 2 313980558 346422237
0 2 7 692991404 656770472
0 3 7 247069564 321416341
1 5
0 0 1 328038978 114100698
1 0
1 4
1 4
0 3 5 103258702 20881353
0 3 6 881160601 322058258
0 0 1 973124305 876497312
1 6
0 0 6 394480659 560682793
0 3 6 100386721 611377692
0 0 5 313499396 732840828
1 6
1 4
0 1 7 862567247 113939840
0 0 1 121889091 489258072
1 1
1 0
1 3
0 0 7 783609389 966660122
1 6
0 6 7 290208473 655430622
0 3 4 83439726 313915311
1 3
0 6 7 645629747 172849595
1 3
0 0 5 578989052 277299020
1 4
1 0
1 4
1 6
1 3
0 3 4 841070692 577818562
0 0 6 728561716 163023914
0 0 3 741397042 639882967
0 2 4 294289951 40585441
1 4
1 6
0 1 2 260208487 885093004
0 3 6 911647728 727928119
1 2
1 2
0 6 7 541214032 12909309
0 1 6 27168248 753500466
0 2 3 824742358 204873977
1 1
1 4
0 0 3 961108967 496957748
0 5 6 806773061 758934323
1 0
1 6
1 3
0 2 5 482658715 268396075
1 1
0 6 7 596485390 431685447
0 2 4 770674966 327389031
1 1
1 6
0 2 7 332481450 313504403
1 0
0 3 6 351415252 610548936
0 0 7 799101974 334746545
0 0 4 861068097 692842221
0 1 4 180688898 334329062
1 6
1 2
0 3 6 315033639 550746968
0 6 7 458575932 650376040
0 1 2 631337145 382004897
0 0 5 95205807 250048501
0 0 6 188422501 752425430
0 3 7 2906052 343625650
1 4
0 2 5 780958841 617828411
0 0 2 967216655 960743574
0 2 7 855363870 556442664
0 0 1 9048139 390494809
0 3 5 515711218 109562920
1 5
1 4
1 2
0 5 7 777641370 50239448
1 4
1 6
0 0 3 811554666 925880703
0 5 6 691257095 701547370
1 0
0 0 6 992523651 164628344
0 3 6 122692772 824143963
1 6
1 1
1 6
0 2 7 5825740 755985970
1 1
0 6 7 714081151 962366492
0 0 3 690265191 114597509
1 3
1 1
1 6
0 2 3 84470523 707153851
1 1
1 3
0 0 2 83886968 899260559
0 0 5 76086809 145048759
1 3
1 2
0 5 6 463046258 660666001
1 0
0 3 7 704249289 659317739
0 3 7 30662760 224491182
0 2 7 382801035 230809459
1 0
1 2
0 4 5 867588510 518671325
1 1
0 5 6 692308924 960996127
1 1
0 1 6 730750688 511383525
0 0 2 541550209 70984979
0 5 6 914368607 649624426
1 6
1 6
1 3
1 1
1 1
1 6
1 3
1 4
1 3
1 1
1 4
0 0 5 907741022 269305276
0 5 6 786548061 987960988
1 3
0 3 6 23477349 562045323
0 6 7 932149428 149623636
0 3 6 934105242 923449963
0 1 7 261330750 800627123
0 1 4 659803597 706540408
0 4 6 570160959 814275575
0 1 2 460084901 339645317
1 4
1 6
1 5
0 1 7 71439150 483580037
1 0
1 1
1 3
1 6
0 6 7 744596730 915529822
1 2
0 0 7 821784954 248267788
1 1
1 2
1 4
0 1 7 822130064 818996561
0 3 5 571596318 197599965
1 3
0 0 5 595264818 115551239
1 1
0 0 2 133323333 636079756
1 5
1 6
1 3
1 0
0 6 7 304666238 924062621
1 1
1 0
1 1
0 2 3 544792822 492464754
0 0 1 958955879 957271832
0 1 3 476881037 595618382
1 1
0 3 4 731037652 67642069
1 4
1 1
0 3 5 439517972 7665337
1 0
0 5 6 613489814 400114196
1 3
1 2
0 1 4 487842759 642127422
1 3
0 0 1 702586729 763530832
0 1 3 424201335 111697669
1 0
0 2 5 484637533 804557756
0 4 6 43346096 18035174
1 6
0 2 6 52954491 937383529
0 3 7 721083125 308710738
0 5 7 522787348 678648250
0 1 4 226682479 608038289
1 6
0 0 5 772490147 443291054
1 2
1 4
1 3
0 0 1 920917780 193226034
0 3 5 515053161 567761771
1 0
0 2 6 544336899 695975418
1 6
1 1
1 5
1 6
1 3
0 3 5 418632532 324208112
0 0 4 68935487 690312294
1 0
0 2 6 778560624 543346714
0 3 5 151665026 353562560
0 1 3 280608315 914666830
0 6 7 662658415 510979930
0 3 6 519167767 286662692
1 5
1 4
0 0 3 162971014 396490638
0 2 4 436239073 41695088
0 0 7 518623331 476015448
0 0 4 163158095 477847918
0 0 5 686076301 881148371
1 5
1 1
1 3
1 6
0 1 5 56298447 483314114
0 4 6 398365003 624474642
0 1 4 20574731 539262665
0 2 7 729643418 666249199
0 1 5 169204217 893292713
1 2
0 4 5 725718992 434434496
1 3
1 0
0 1 5 52641861 111292696
0 4 5 510636514 633157529
1 0
1 0
0 1 5 45280853 753185328
1 5
1 0
0 4 5 877090808 5798714
1 1
0 3 7 760735760 217237570
0 5 7 692785727 705158994
1 5
0 3 4 395307502 979785477
0 1 4 386922170 637795075
1 5
0 1 7 340653191 919763130
0 2 6 888104808 967820344
0 0 2 567877418 534744317
1 4
0 2 3 994992558 621168862
1 4
1 6
0 1 4 469059901 548520636
1 0
0 3 7 446415053 112344888
1 6
1 1
1 3
0 1 4 129457995 435177293
0 3 6 593259229 69863865
1 1
1 6
0 0 4 599506232 343849024
0 1 4 306031537 215354215
0 2 5 636750778 704964102
1 5
1 4
0 1 2 817397824 132694077
0 2 6 644630993 840158528
1 4
0 6 7 331565642 926955757
1 1
1 6
0 2 3 320288234 117187792
1 3
1 3
0 4 7 853960114 800092532
0 1 3 798896480 897867522
0 2 6 651448560 798144002
1 5
0 6 7 9090086 518532646
0 1 5 473872438 660599312
0 0 6 164188096 636293346
1 0
0 2 3 797187128 695892863
1 2
0 1 3 748420117 674151398
1 5
1 5
1 0
1 0
1 1
0 1 6 780851316 99161663
0 3 7 789918419 941393180
1 4
1 0
0 1 5 950946643 154562644
0 0 2 761408403 146274627
0 1 4 382649715 270485080
0 0 1 517071659 698689847
0 2 7 151213525 749546837
0 1 5 451435717 180378904
1 6
1 3
0 2 6 470130335 121139758
0 0 7 449893787 457217205
0 0 4 514177354 516737269
0 1 6 209476952 65461400
0 2 7 862176182 867821632
1 2
0 1 4 841747321 708336940
0 3 7 473175241 513668332
0 3 6 813779200 793819342
0 0 6 382824533 944174677
0 5 7 346739284 341313240
1 0
0 1 2 166812041 461351401
0 3 5 496911442 477153969
0 1 3 847869291 32677215
0 5 7 74362385 723573421
1 5
0 5 6 241313512 994188
1 5
1 6
0 3 4 715625252 177301119
1 0
1 2
0 4 5 453278000 982879476
1 3
1 6
0 6 7 11868617 539545376
0 1 7 336545655 317840727
0 2 5 885933416 48767853
1 3
0 1 7 312210310 427803667
0 2 5 324859813 157394703
0 2 5 256049718 835785534
1 4
0 1 4 411658804 684050736
1 3
0 4 5 794861959 387689529
1 2
0 1 3 475025839 275554238
1 2
0 4 5 350467734 20004462
1 5
1 6
0 1 2 699341761 146116010
0 2 3 375831540 854667293
0 5 6 649238634 279401651
0 4 7 49044234 22287452
1 3
1 2
1 2
0 1 5 946176170 374807967