3 1000
682152023 451794314 2028037
1 0 1
0 2 3 727272895 383855815
1 0 2
0 0 1 275132247 358996390
1 1 3
1 0 2
1 0 2
1 1 3
1 0 2
0 1 3 674397137 958197434
0 0 2 863589555 791513591
1 0 2
0 0 2 401242090 794478014
1 1 2
0 0 3 626625486 423006839
1 0 1
1 1 3
0 0 2 227723600 266280591
0 0 2 285284865 907915613
0 1 3 844757181 27279851
1 2 3
1 2 3
1 0 2
1 0 2
1 0 2
1 0 2
1 0 1
1 1 3
1 0 3
0 0 2 458109740 758608226
1 0 3
1 0 2
0 1 3 464996347 459050659
0 1 3 597214910 510226327
0 1 2 43412192 868977854
1 0 2
0 1 2 314300241 161552223
0 1 3 130763530 549763654
0 0 3 123862181 846344645
0 0 3 46147266 639857947
0 1 2 260015622 152536706
1 1 3
0 0 1 433177567 989881169
0 0 3 195162272 969391498
0 1 2 64884461 459208762
0 1 3 688217588 560792314
0 1 3 152225731 99227632
1 1 2
1 2 3
1 2 3
1 0 1
0 1 2 745140974 56268139
0 0 3 204658093 28006754
1 0 3
1 0 3
1 1 3
1 0 3
1 2 3
0 2 3 98992433 243035791
1 0 2
1 1 2
1 1 3
0 0 3 6608578 464022604
0 0 3 617253575 825068049
0 0 2 978633469 905111292
0 0 1 980064652 937789476
0 0 1 763536092 336975230
0 1 3 807004527 389190500
1 0 2
0 0 1 793108761 281288305
1 0 2
0 0 2 424187353 804486637
1 1 3
1 1 2
0 0 2 708077557 90765576
0 0 1 219853291 736616736
1 0 2
1 1 3
1 0 1
0 0 1 28039241 686130638
0 2 3 286421938 348381126
0 0 1 433820207 861275723
1 1 3
0 0 3 452060402 897933554
0 0 2 702028203 224743464
0 2 3 575524420 76108177
1 0 1
1 0 3
0 0 1 566463002 681172143
0 1 3 337985087 486347378
1 1 3
1 2 3
1 0 3
0 0 2 813624951 691649051
1 1 3
1 0 3
1 0 1
0 0 1 617144202 133150763
1 0 3
0 0 3 433606848 43215746
1 0 1
0 2 3 563752000 781857813
0 1 2 320611472 727155376
1 1 2
1 0 2
0 2 3 373156935 114102533
0 2 3 972445778 785060110
1 0 3
0 2 3 372484526 634425797
0 0 2 379011544 299972613
1 0 2
1 0 2
0 0 2 284596921 301422341
1 0 3
0 0 1 9246294 518634012
0 1 3 274768936 348647640
0 0 1 680272034 307300651
1 2 3
0 0 2 417499076 901499443
0 2 3 798998020 548236217
1 0 1
0 2 3 976242166 226544419
1 2 3
0 2 3 514539008 169566498
1 0 3
0 0 1 387302908 502855668
1 2 3
1 1 2
1 0 2
0 0 3 846516945 54422822
1 1 3
1 2 3
1 1 3
1 2 3
0 1 3 663391955 69550558
1 1 2
0 2 3 578716139 76163112
0 0 3 565850083 590791380
0 1 3 16414170 407960965
1 1 2
1 2 3
0 0 1 129251104 436653166
0 0 3 653151243 222757680
1 1 2
0 0 2 771252697 499383243
0 2 3 92465848 365769391
0 1 3 400684389 574053282
0 1 2 430267062 111038877
0 0 3 659612222 752844565
1 1 3
0 0 2 530860712 481744957
1 1 2
1 0 3
1 0 2
0 1 3 420512487 939326259
0 1 2 355009278 576735036
1 2 3
0 1 3 895851277 909664680
0 1 3 283994407 355607742
1 0 2
1 0 3
0 0 1 790261127 197704876
0 0 2 227473336 354972145
1 0 3
0 2 3 924228917 952414871
0 2 3 96757943 345279394
0 0 1 768224080 507129553
0 1 2 440470427 624330802
1 0 2
0 1 2 491907007 562769062
1 0 3
1 1 3
1 2 3
0 0 3 700259065 912266932
0 2 3 286193932 662641044
0 0 2 34144279 201890138
1 1 2
0 2 3 120433263 910337844
1 0 1
1 1 3
0 0 1 504780462 744261654
0 1 2 44708485 86797739
1 1 3
1 0 1
1 1 2
1 2 3
1 1 3
0 2 3 494415945 875817069
0 0 2 376039496 639692848
1 1 2
0 1 3 108548067 451481881
0 0 3 846346047 488250817
0 0 3 705408870 491246676
1 0 1
1 2 3
0 1 2 557809668 278191703
0 1 3 823009356 967949958
1 1 3
1 2 3
0 1 2 293701662 33485587
0 2 3 62304197 738594186
1 1 3
1 0 1
1 1 3
0 2 3 703351678 435125464
0 1 3 64721010 294884590
1 0 1
0 1 2 402768783 348058905
1 0 1
1 0 1
1 0 2
0 1 3 362803245 858150668
1 1 3
1 0 1
0 1 2 576438069 853182073
0 0 1 354179842 430054535
1 0 2
1 0 3
1 1 3
0 2 3 694457664 393515271
0 0 1 571774244 139853651
0 1 3 234895475 246192641
0 1 2 225681733 197695833
0 0 2 347299547 311874252
0 1 2 17702022 787669116
1 0 1
0 2 3 726492304 70147847
0 0 1 801616370 245616013
1 0 1
1 1 2
0 2 3 65211311 110453295
0 0 2 778277114 522012836
0 0 1 159192546 450356301
1 1 2
1 0 3
0 0 2 177443205 461619084
0 0 3 561886834 388138416
1 1 3
1 1 2
0 0 2 720965022 585966380
0 1 2 170507053 921100533
0 2 3 241152274 879948736
1 0 3
1 0 3
0 1 2 433686944 113723641
0 1 3 912861218 890320626
0 1 3 878985002 370746945
0 0 1 82547244 114267292
1 1 2
1 2 3
1 1 2
0 1 3 77386952 378682755
0 2 3 694044873 130585676
0 0 2 435937676 325441569
1 0 1
0 0 1 754220217 396036721
1 0 2
1 0 2
1 0 2
0 0 3 716201385 657005461
1 1 3
0 2 3 637628394 660105891
1 2 3
0 0 3 90970655 955493913
1 1 2
0 1 3 539193012 190874781
0 1 2 844950705 933952024
0 1 3 165837529 793449930
0 0 2 984946210 766651297
1 0 1
1 0 1
1 0 3
0 0 2 155391664 868437441
1 0 1
0 0 2 257766567 639709358
1 0 1
0 2 3 685824386 469488410
1 1 2
1 0 2
0 0 2 731443455 735589433
0 0 2 255164897 929925657
1 0 2
0 0 3 72673734 848685348
1 0 2
1 1 3
0 0 3 503528325 324146325
0 0 2 173831242 96762746
0 1 2 499692604 335225062
1 1 2
0 2 3 240140499 82138311
1 1 3
1 2 3
1 0 2
1 2 3
0 0 1 993588166 912371438
1 1 2
0 1 2 82938853 721875350
1 0 1
0 0 1 458403220 861979970
0 2 3 54934516 423962069
1 0 2
0 1 3 689009391 337916162
0 0 3 157691726 300488211
1 0 2
0 0 2 922835630 642502812
0 1 3 373356244 113081597
0 1 3 821979039 171570644
1 2 3
1 1 2
0 1 3 314068723 370243858
1 1 2
0 0 3 591776116 208575080
0 0 2 463569465 696565029
0 0 1 561246604 816037412
0 1 3 175549578 692811963
0 1 3 983551975 354673442
1 0 2
1 1 3
0 1 3 772538318 209047857
0 1 3 618914967 957521004
1 0 1
0 1 3 613757710 197276768
0 0 3 814320541 374106389
1 1 2
1 0 2
0 0 3 793640063 321789328
0 0 1 57965203 495551114
1 1 2
1 1 3
1 1 3
1 1 2
1 1 3
1 2 3
1 1 3
1 0 1
0 2 3 384230228 177716842
0 1 3 364273510 321516065
0 1 3 398263016 253507674
1 0 1
1 1 2
0 0 1 568633617 583455315
1 0 2
0 0 3 156211276 2923605
1 0 1
0 0 1 904353905 769067307
1 0 2
0 0 2 762666512 462022263
1 1 3
0 1 3 769136868 264389059
0 1 2 563709567 488383413
1 0 2
1 0 2
0 0 1 990258625 704595457
0 0 2 118854637 183490785
0 1 2 879965706 838241018
0 1 2 954980110 368390735
1 2 3
1 0 1
1 0 1
1 0 2
1 0 3
0 1 3 850822564 423874899
0 1 2 456388836 184724277
1 1 3
1 2 3
1 0 1
1 2 3
0 2 3 320661962 193845034
1 0 1
0 0 2 442223275 856817713
0 0 2 670408979 814643062
1 2 3
0 2 3 353069776 41393010
1 1 2
1 0 1
1 1 2
0 2 3 627109942 419201196
0 0 3 288395980 484265422
0 0 3 483790393 805211749
0 0 3 612416730 608160812
1 0 1
1 0 1
0 1 2 489130519 498856412
0 0 1 23737159 691874099
0 1 2 702135170 965064130
0 2 3 330077984 198997816
0 0 1 496291831 357266634
0 0 3 372972339 212529947
0 0 2 927566745 289282539
0 2 3 839905915 463183514
1 0 1
0 0 3 141510979 393406903
0 2 3 325530486 590887790
0 0 3 271711841 732888658
1 0 1
1 0 3
0 1 2 649599846 778239454
0 1 3 986698042 982316512
1 1 2
0 2 3 865234956 575117668
0 1 2 25720455 302730665
1 1 3
1 2 3
1 2 3
1 1 2
0 0 1 652732797 240310986
1 1 2
1 1 3
1 0 1
1 2 3
0 0 2 410740932 313784048
1 1 3
0 0 1 634750663 364609046
1 0 2
1 2 3
0 0 2 646336793 422110944
1 0 1
1 2 3
1 1 3
0 0 2 537585950 209476355
1 0 2
0 2 3 30675189 52919989
0 1 2 619028468 309277966
0 1 3 597216554 610756116
0 1 2 282268719 184012728
1 0 3
1 0 1
0 1 2 256748459 318070943
0 1 2 566898671 45742215
0 2 3 121551853 40625644
1 0 2
0 0 2 735324845 335108676
1 2 3
0 0 2 827442003 837869914
0 2 3 185707675 78499341
0 0 3 725715885 73341907
0 2 3 44417621 495689088
1 0 3
0 0 1 714716600 742191536
1 0 1
1 1 3
0 0 3 497875501 483778916
0 1 2 904565661 457912723
1 1 2
0 2 3 62002460 827893500
1 0 2
0 0 3 974575740 36733809
1 0 3
0 0 2 192615315 380905540
1 0 3
1 0 2
0 1 3 808428243 810658604
0 1 2 941914234 105938333
1 2 3
0 1 2 139718033 485136543
1 0 1
1 1 3
1 2 3
1 1 2
0 1 3 473038812 629547562
0 0 1 677847217 301246439
1 0 1
1 1 2
0 0 2 456460081 329143252
0 0 2 245391620 108460272
1 0 1
1 1 2
1 2 3
0 0 1 184263010 1478415
0 0 2 834442928 844259619
0 0 1 361916237 882411248
0 1 3 1471911 755212680
1 0 2
0 2 3 505832845 757346108
0 0 3 910239075 199702797
1 2 3
1 0 3
0 2 3 761622300 718903495
1 1 2
0 0 2 444232739 489760231
1 0 3
1 0 2
0 1 3 489094337 829525210
1 1 2
0 0 3 580734270 708200367
1 0 3
1 1 2
1 0 1
1 1 2
1 0 2
1 1 3
0 2 3 947503168 542827709
1 0 1
0 0 2 536497881 780299693
1 0 1
1 1 3
0 2 3 159311471 230562158
0 2 3 67611211 360723806
0 1 2 600968437 912451199
0 1 3 210305784 667574418
1 0 2
0 2 3 942859050 127044044
0 1 2 940052227 329302880
1 1 3
1 1 2
1 0 2
0 0 3 642155652 373412818
0 0 3 857231847 422102802
0 0 3 202917158 84607491
1 2 3
1 2 3
1 0 1
0 1 3 133605123 813177
0 0 3 722140868 837322391
1 0 2
0 0 2 455739351 798974404
1 0 3
1 0 3
0 1 2 509935542 495142584
0 2 3 689989625 361196044
1 0 3
1 0 3
0 0 1 993539848 524514322
0 0 1 174108078 980611488
1 0 1
0 0 3 360828768 934222734
1 0 3
1 2 3
1 0 3
1 1 2
0 1 2 794314385 231329534
0 1 2 857300268 479005036
0 2 3 576102604 258454500
1 0 2
1 0 3
1 1 2
0 2 3 429407666 887113548
0 1 3 970339254 220144981
0 0 3 530684761 375021874
0 0 1 377504554 482990690
0 0 2 626202647 627630005
0 1 3 388208443 895320033
1 0 2
0 0 1 930034800 54079967
0 0 1 839753363 986058461
1 2 3
1 0 3
1 1 2
0 0 3 705739412 448082434
1 0 1
1 0 1
0 1 2 829701444 131069417
1 0 3
1 2 3
1 1 3
1 0 2
1 0 2
1 0 2
1 2 3
1 0 3
0 2 3 96522965 414309388
1 1 2
1 0 1
0 0 3 862296126 864778493
0 0 1 326216450 336000200
1 1 3
1 1 3
0 0 1 444067 5044599
0 0 1 663112671 24220425
0 0 2 246027039 299726108
1 0 3
0 0 1 930165393 148425528
1 1 3
1 1 3
1 0 1
1 2 3
0 0 3 51015558 868215446
0 1 2 894987270 21401747
1 1 3
0 0 3 4972245 616932542
1 0 1
0 2 3 319245769 403083163
0 0 2 712610900 112491239
1 0 3
1 1 3
0 1 2 254176558 50851253
1 2 3
1 0 1
0 0 1 318102814 590269357
1 0 2
1 0 1
0 1 2 555584529 350491761
1 1 2
0 1 2 890961066 494037988
0 1 2 193314970 398282223
1 2 3
0 0 3 157486082 91457747
0 0 1 402780499 181357218
0 1 3 327069919 246025042
0 0 2 298146583 73067916
0 1 2 255602005 71478
0 1 3 710818305 877031890
1 0 1
0 0 3 42280579 842942801
1 1 3
1 1 3
0 0 1 246674191 882729580
1 0 2
1 2 3
0 2 3 970363829 216456750
1 1 2
1 1 3
1 0 3
1 1 3
0 0 2 86317534 123401377
0 0 3 25564786 881029098
0 1 2 607616009 703731007
1 1 2
1 0 2
0 0 3 552598763 612059053
0 1 3 904582299 286391824
0 2 3 986101698 299257164
0 1 2 209275067 764029341
1 2 3
0 2 3 265444277 508418870
1 0 1
1 0 3
0 0 3 45761997 985910477
0 0 1 926888397 60009402
1 0 2
0 0 3 36585223 939018412
1 1 3
1 1 2
1 2 3
0 2 3 883319845 57721923
0 1 2 900615179 137167212
0 1 2 503392005 408764350
1 0 1
1 1 2
0 2 3 523304600 855336540
1 1 3
0 2 3 167574355 351386070
1 0 1
0 1 2 177055312 631455226
1 1 3
0 1 3 157618678 749998128
1 0 3
0 0 3 116189007 456669485
1 2 3
0 2 3 403177531 839672984
1 1 2
1 0 1
0 1 3 289497463 203425373
1 0 2
1 1 3
0 0 2 259119201 537136921
1 1 3
0 0 2 62835204 83184659
1 1 3
1 2 3
1 2 3
1 2 3
1 0 1
0 2 3 954612531 421406774
0 0 2 814360325 728806501
0 0 3 109556461 100891979
0 0 3 758625449 151663855
0 1 2 765394668 569142063
1 1 2
0 0 3 421248380 106388581
1 2 3
1 1 3
1 0 1
1 0 2
0 2 3 3765682 479634428
1 2 3
1 0 1
0 0 1 820325075 814930716
1 0 2
0 1 3 488984209 382078963
0 0 2 796232845 631078536
0 0 1 755538619 606889595
1 0 1
0 0 3 561305080 700001730
1 0 1
0 0 2 902243377 906877567
1 0 2
1 1 2
1 0 2
1 0 1
0 0 2 696292722 522577242
0 0 2 43662933 658143132
1 0 3
0 0 1 342518404 750897369
0 0 1 377603292 314583372
0 0 3 637789898 348114890
0 2 3 527465104 248027963
0 0 3 381843184 355950177
1 0 3
1 0 2
0 0 1 335132526 583508801
1 1 2
1 0 2
0 0 2 449682451 21782972
0 2 3 209169873 744565390
0 0 3 424269154 143258425
1 1 3
1 2 3
0 0 1 111438482 29695532
0 0 1 259834974 657496979
1 0 3
0 1 3 114007543 659459763
0 0 1 943562468 995538757
1 1 2
0 2 3 357278627 735114650
1 0 1
1 0 1
0 2 3 934638282 704638135
0 1 3 271103579 734405458
1 0 1
0 0 3 144611326 303127473
0 0 2 782679571 390598135
0 1 2 408234754 50774844
1 0 2
1 1 2
1 0 1
1 1 2
1 2 3
0 1 2 318574774 175465651
1 0 2
1 0 2
0 2 3 518872331 808726475
1 1 3
0 0 2 960026735 123863041
0 1 3 986556553 904029630
1 1 2
1 2 3
1 1 2
0 0 2 172833143 860063815
0 1 2 380299064 497140922
0 0 3 717808754 909401073
1 2 3
0 0 1 383105076 692988654
0 1 2 689129942 399097813
1 0 2
1 1 3
0 1 2 364999113 148804627
1 2 3
0 0 1 610782337 680425862
1 0 3
1 2 3
0 0 1 147544046 43740284
0 0 2 255315849 117544863
0 1 2 147457383 61438114
1 1 2
1 2 3
0 0 1 627965777 807844217
0 0 1 462801316 13556878
1 0 2
1 2 3
0 0 3 663232272 153738926
0 0 1 400167605 97686516
0 1 3 696745814 913061491
0 2 3 997928379 381172293
1 1 3
0 0 2 448245167 754075019
1 1 2
1 1 2
0 1 3 568066373 902091404
1 0 3
1 1 2
1 2 3
1 2 3
1 1 3
0 0 2 44095306 403698640
0 2 3 93781711 485074596
0 1 2 501246500 521026543
0 0 1 223543958 748104207
0 1 3 630975659 828371160
1 0 2
0 0 2 83926900 480903432
1 1 2
1 2 3
1 0 3
0 0 2 815454191 195526283
0 0 3 78164438 64551640
1 2 3
0 1 3 985911774 982538970
1 0 3
0 1 2 89542996 21313432
0 0 3 26016524 56669171
0 0 1 851155110 753231625
0 0 2 952322194 850888857
0 1 3 795909311 604187407
1 0 1
0 0 3 600478081 716445180
1 1 2
1 0 1
0 1 2 924694289 312772012
0 0 3 218229205 639901957
0 0 3 360326577 741183635
0 1 2 691831667 362325700
0 0 3 119073233 856216399
1 1 3
1 0 3
1 2 3
0 0 2 736868787 326568730
1 0 1
1 1 3
1 1 2
0 1 3 36762711 602141469
1 0 3
0 2 3 736761456 466351655
0 0 1 283486693 508750111
1 1 2
0 1 2 91208703 673576732
1 0 3
0 0 3 121562842 172222769
0 1 3 73832262 813430849
0 2 3 426341748 24181835
1 1 3
1 1 2
1 0 3
1 2 3
1 1 3
0 1 3 902349613 743320303
1 0 2
0 1 2 784894455 403755858
1 1 3
0 0 1 365397845 410008329
1 2 3
0 2 3 717214831 960072115
0 1 3 166994461 470282695
1 2 3
0 0 3 737344160 775568720
1 1 3
1 0 3
0 0 2 908476504 157845222
1 2 3
1 0 1
1 0 2
0 2 3 747324944 410877535
0 1 3 961406845 731820126
1 1 3
0 0 2 175641874 960245181
1 1 3
1 0 3
0 1 3 665536775 316210021
0 0 1 854114887 615724810
1 1 3
0 1 3 421773920 951665201
1 0 1
0 0 1 153220734 668963966
1 1 2
1 0 1
0 0 3 399735649 737824761
1 2 3
1 0 2
1 0 3
0 2 3 293658503 614527340
0 0 3 224903851 446599116
1 0 2
0 1 2 537747322 588036070
0 1 3 683217886 946733506
1 0 1
1 0 2
1 0 3
0 1 2 183651598 175056657
1 0 1
1 2 3
0 1 3 903809512 687387417
0 1 3 275918345 729791967
0 1 2 370530888 820476808
1 1 3
0 0 2 902579779 586555076
0 0 3 129645667 68018812
1 2 3
0 2 3 362042555 367913774
1 2 3
1 0 3
1 0 1
1 0 2
1 0 3
1 1 2
0 1 2 292089160 673517506
1 1 2
1 1 3
1 1 2
1 1 3
1 1 2
1 2 3
0 0 1 306994233 416576813
1 0 1
1 0 1
1 1 2
1 0 1
0 0 1 265452892 830709326
0 2 3 268059172 550871627
1 1 3
1 2 3
1 1 2
0 0 1 3856344 317815104
1 1 2
0 2 3 155018738 21177347
1 0 1
1 1 3
0 1 3 552111265 974248460
1 0 3
1 0 1
0 2 3 774604159 434656065
1 2 3
0 2 3 468777125 551279108
1 2 3
0 1 2 913602088 59459141
0 0 2 846502212 223396290
0 0 3 503979124 784464510
0 0 3 156802838 935563246
0 0 1 339324205 252487730
0 0 2 915752256 294833943
0 1 2 921062917 452875536
0 2 3 129413874 503030877
0 1 3 916698717 752444376
0 2 3 808114250 409653026
1 0 2
0 2 3 927684346 175564157
0 1 3 166505032 635585199
1 0 1
0 0 2 978176133 173366859
1 0 2
1 0 1
1 0 1
1 0 1
0 0 2 914323293 843534111
1 0 3
0 0 3 151624032 647670332
1 1 2
1 1 2
1 0 2
0 2 3 63776522 148548123
1 0 3
0 2 3 528948228 241392013
1 2 3
1 0 1
1 1 2
1 2 3
1 0 3
1 1 2
0 0 3 499019154 20790079
1 1 3
0 0 2 74589419 963547997
0 2 3 186751158 523663284
0 2 3 33126333 58724305
1 2 3
1 0 1
1 2 3
0 0 2 222689662 123026159
1 2 3
0 1 3 293330458 830093857
0 2 3 359895611 67602043
1 0 1
1 0 2
1 0 1
0 2 3 96131965 670844800
0 0 3 850440726 1692371
1 2 3
1 2 3
0 0 1 53794433 806848443
0 2 3 517058561 494197022
0 0 2 907070500 643715181
1 2 3
1 1 3
0 0 2 747874670 759036609
0 1 3 296788983 476622761
1 0 2
1 1 2
0 0 2 313852259 864524802
0 1 3 881201201 598284237
1 1 3
1 2 3
1 2 3
0 0 3 730318038 904470798
0 1 2 667294562 44108756
0 2 3 24756746 368128599
1 0 2
1 0 3
0 0 2 366913428 120961351
1 0 2
0 1 2 907389226 528535906
0 1 3 832429492 740789952
1 2 3
0 1 2 166436313 866720972
0 0 3 574257932 920510837
1 0 1
0 0 1 63992275 371121160
0 0 3 841104000 461814533
1 0 1
1 2 3
1 0 3
0 0 2 481930581 293782249
1 1 2