pdorg_site/talks/cant-c-a-thing/code/ocaml_lists.ml

let rec mapn f lists =
  assert (lists <> []);
  if List.mem [] lists then
    []
  else
    f (List.map List.hd lists) :: mapn f (List.map List.tl lists)
 
let matrix_mul a b =
  List.map
    (fun row ->
      mapn
       (fun column ->
         List.fold_left (+) 0
          (List.map2 ( * ) row column))
       b)
    a



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

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


matrix_mul matrix1 matrix2;;