FPEvalDataset/LeetCodeProblem

1 2module Main = struct3    open OUnit24 5    (* Program start *)6    let minCost (nums: int list) : int =   failwith "Not implemented"7 8    (* Program end *)9 10    (* Test cases *)11    12let test1 _ = assert_equal 12 (minCost [6;2;8;4])13 14let test2 _ = assert_equal 5 (minCost [2;1;3;3])15 16let test3 _ = assert_equal 5 (minCost [558184; 699123; 665132; 129561; 465407; 188054; 571296; 264707; 895833; 530870; 188408; 205446; 319070; 199047; 419054; 224993; 732862; 802389; 249067; 354625; 970628; 365878; 7109; 48467; 858084; 539210; 638358; 27606; 421865; 943755; 980282; 345015; 22560; 78319; 979907; 632714; 755924; 10697; 800884; 599917; 416179; 613199; 3403; 630936; 628709; 324079; 814551; 881211; 793162; 293147; 919295; 154547; 905031; 301250; 717863; 332602; 128753; 759888; 346784; 466566; 450840; 601038; 286109; 680932; 256053; 207170; 37699; 385549; 383259; 808981; 92517; 539289; 905576; 234027; 986272; 692043; 554934; 252177; 76671; 720380; 932735; 745575; 83342; 5358; 565133; 862132; 803964; 61353; 846562; 726131; 787373; 56704; 51873; 817001; 87544; 724422; 699922; 225252; 359123; 98806; 13051; 432439; 437280; 116033; 70668; 141944; 298291; 681786; 231110; 687067; 688255; 490572; 735426; 498004; 1967; 135664; 917912; 738288; 983084; 575691; 59921; 590309; 782815; 444956; 903003; 902780; 474769; 232239; 935954; 234252; 688519; 120525; 8794; 706; 997077; 939190; 971377; 755071; 232032; 624065; 28501; 554964; 122313; 713846; 427260; 679933; 197484; 767171; 289322; 961272; 185375; 47439; 14070; 691915; 754049; 663676; 446481; 950193; 959764; 879516; 8672; 665535; 248378; 327201; 904041; 103607; 437684; 991294; 167938; 510605; 907425; 750010; 673710; 91315; 872537; 246912; 919597; 512366; 501926; 502535; 856743; 810310; 905227; 786461; 812380; 314138; 926264; 263089; 653807; 39039; 492391; 343559; 855992; 637439; 232705; 747613; 82965; 474052; 529105; 736903; 668425; 593965; 813734; 545209; 697750; 818314; 519786; 992912; 511260; 286710; 594029; 66202; 713602; 563843; 100284; 54333; 955660; 268746; 148621; 673760; 670543; 861442; 540994; 180245; 991469; 225692; 173225; 659315; 792744; 777415; 85418; 217991; 310974; 105987; 317451; 222000; 929482; 319008; 546919; 565583; 514628; 377355; 916072; 265724; 729730; 725495; 824406; 301464; 856757; 857206; 516337; 753790; 354521; 177227; 437224; 688378; 477480; 323871; 751705; 469058; 712841; 279418; 98553; 635639; 889339; 585094; 11584; 992206; 963107; 344486; 152960; 150106; 623110; 536372; 423803; 997099; 778744; 976991; 768142; 357600; 46234; 983519; 775588; 255356; 105498; 993947; 813909; 869515; 267122; 749997; 417449; 533813; 474503; 7112; 590373; 573166; 31733; 213535; 430296; 642846; 3522; 813534; 306197; 188128; 758095; 429582; 993315; 224643; 146526; 702186; 735688; 793844; 958499; 889872; 356152; 652026; 333238; 468821; 454089; 20647; 270543; 810124; 697667; 346952; 537437; 376436; 191684; 627414; 208513; 149618; 866692; 616377; 935062; 291701; 574715; 786857; 8796; 176548; 507287; 296095; 254634; 864032; 265026; 353666; 966868; 561185; 102895; 952437; 871799; 890954; 889673; 865461; 882147; 435970; 178279; 176319; 263371; 756000; 119048; 278044; 616157; 266295; 20447; 639965; 277510; 871251; 747843; 12289; 474241; 260770; 440143; 379234; 123540; 646358; 525688; 749639; 451815; 569374; 468095; 352106; 991613; 340520; 97905; 89205; 101035; 297067; 732913; 860523; 424243; 26639; 262943; 798401; 443802; 486862; 548100; 567958; 602381; 776136; 869217; 989386; 460465; 925823; 439424; 452544; 455462; 343151; 951815; 579795; 907003; 990819; 230599; 402039; 746617; 498584; 524681; 842501; 8630; 120653; 474200; 233334; 676089; 580569; 426682; 550875; 427086; 672437; 480799; 711646; 698582; 167610; 401358; 792479; 141461; 834079; 918522; 813772; 169015; 249077; 620467; 294778; 134456; 521777; 866261; 635692; 545897; 954533; 668106; 854540; 570264; 420245; 85769; 242042; 521560; 530041; 613842; 943436; 469512; 737360; 740041; 415399; 357320; 450202; 895811; 616927; 548786; 22669; 629584; 264598; 984851; 601669; 67259; 731927; 528809; 178238; 906391; 308398; 964520; 522481; 251275; 842619; 835213; 146739; 106861; 357703; 583231; 736742; 552163; 96020; 100008; 835185; 661292; 541741; 82451; 915263; 950862; 231381; 415885; 107948; 387024; 816830; 843789; 766932; 300556; 967229; 961457; 899409; 596662; 759485; 707658; 77963; 627412; 353050; 51827; 309683; 209049; 9532; 886873; 623875; 557185; 641276; 147458; 777920; 46281; 524037; 291821; 621972; 766805; 417480; 919106; 639564; 427886; 920687; 994537; 510100; 574858; 951699; 276197; 618440; 202063; 787035; 497768; 539532; 557790; 439911; 495344; 207142; 211397; 883944; 973974; 927601; 664255; 216749; 932257; 996983; 414405; 300946; 994083; 306295; 537337; 900842; 724242; 671062; 276033; 525947; 192010; 143554; 80706; 802827; 831978; 841260; 305035; 200048; 201067; 302208; 113783; 399449; 914357; 551630; 360994; 315846; 501673; 622572; 717400; 76851; 673297; 528264; 830641; 391605; 428391; 94442; 651708; 57336; 738280; 309575; 329855; 555373; 318206; 111124; 76256; 991418])17 18let test4 _ = assert_equal 5 (minCost [554105; 693833; 595447; 824409; 166238; 209598; 371235; 462579; 308503; 841809; 314170; 601108; 556194; 239049; 834063; 332403; 418167; 286919; 594226; 880857; 655902; 91952; 108093; 941712; 376977; 782354; 750808; 337606; 60173; 530259; 71711; 721396; 405812; 957974; 681454; 282942; 26209; 59; 633460; 721875; 602217; 698966; 882718; 765418; 337707; 107835; 608257; 821095; 520788; 758637; 370919; 227809; 242105; 363064; 415151; 546170; 247101; 981987; 518859; 795343; 423449; 413529; 34345; 756024; 849567; 788195; 826722; 636041; 582078; 625218; 36753; 115807; 621707; 541581; 609093; 975507; 241854; 910051; 764706; 676236; 723565; 338634; 239502; 38939; 534258; 305765; 293694; 330160; 655484; 866067; 991948; 326663; 246025; 768912; 411011; 397303; 400643; 93924; 13304; 817932; 153192; 860476; 473848; 233720; 34806; 117898; 121730; 461033; 544057; 446577; 652503; 800089; 847541; 221959; 69576; 33137; 868664; 585274; 274323; 291367; 196182; 138487; 509170; 805694; 727804; 753524; 155990; 307289; 868052; 11605; 563382; 136726; 495717; 744198; 315014; 497319; 809508; 353946; 219777; 479925; 516454; 143364; 429542; 773456; 25885; 716947; 524334; 11575; 439640; 97436; 639087; 127764; 236810; 475610; 841241; 949245; 466775; 778555; 577858; 347316; 151306; 984888; 954621; 125840; 82190; 532815; 805080; 851183; 359568; 69684; 818383; 10409; 664656; 114477; 174801])19 20let test5 _ = assert_equal 5 (minCost [166979; 924662; 155077; 454041; 146035; 126430; 493423; 24272; 884228; 114187; 222946; 688852; 318388; 772357; 669085; 440208; 150024; 155332; 274741; 645829; 466680; 303311; 410975; 869855; 267410; 339329; 803736; 401215; 738503; 669783; 924995; 470880; 188872; 196611; 265861; 940839; 629450; 512891; 622976; 747851; 191607; 872361; 959021; 22017; 813276; 669573; 405226; 717256; 766798; 966444; 475796; 949912; 818801; 431100; 563389; 683591; 691033; 22470; 385225; 671361; 555173; 168908; 325157; 837492; 342952; 750289; 423215; 489581; 194549; 385411; 593487; 162649; 935560; 83315; 94362; 876890; 915692; 229249; 556738; 866368; 236746; 759009; 361543; 700065; 408086; 130468; 604809; 741584; 597574; 290633; 557636; 190009; 723718; 244344; 910615; 579415; 729015; 996705; 385242; 580014; 778715; 906929; 642213; 648196; 101816; 33960; 828751; 853949; 647352; 480044; 291668; 633581; 613218; 25024; 3863; 404553; 794749; 110250; 437345; 920807; 588876; 827114; 208070; 960810; 937275; 959833; 645702; 557198; 298239; 635510; 996065; 193429; 738478; 393262; 805212; 239792; 821901; 450115; 337614; 398863; 668717; 791957; 24056; 929596; 458860; 451583; 878300; 458223; 872802; 733487; 221568; 855260; 208591; 83368; 108822; 954754; 752076; 316203; 279980; 210250; 688795; 221197; 955283; 142914; 704714; 539790; 210365; 371886; 246294; 653194; 358172; 314878; 801370; 902627; 669305; 786322; 545287; 460154; 576772; 929269; 50703; 830066; 174756; 668937; 533323; 278946; 720057; 95260; 14834; 810133; 872218; 831923; 770832; 74270; 204916; 154628; 716205; 682797; 129985; 414049; 523846; 514197; 409170; 558477; 87068; 159128; 527255; 544768; 777387; 190083; 107313; 253027; 223208; 814475; 278932; 383041; 944869; 705495; 742025; 503152; 651901; 507678; 44983; 778497; 15617; 54097; 456916; 229008; 625200; 122747; 124320; 555; 649632; 529407; 828734; 382062; 85636; 655722; 343060; 362064; 386634; 423029; 927103; 68627; 786971; 328720; 258055; 628468; 682581; 978465; 403438; 457950; 333005; 796597; 901564; 188475; 915892; 63147; 421167; 435274; 861333; 486890; 725125; 22029; 720061; 464539; 980828; 689741; 131211; 385545; 806140; 488380; 401288; 809301; 720397; 357862; 561394; 732648; 605622; 640785; 317638; 533499; 751771; 661135; 249210; 291043; 546499; 81994; 670338; 664705; 151117; 527618; 298639; 732661; 186890; 428495; 445404; 726556; 785849; 443393; 598837; 365068; 320167; 789151; 149139; 60260; 958517; 34894; 854877; 324552; 774505; 275372; 602517; 51641; 325846; 90478; 467906; 55572; 994359; 301386; 459515; 355700; 292327; 592878; 120820; 987167; 274510; 310946; 677700; 979271; 723059; 725415; 132686; 550026; 793333; 681066; 530853; 761580; 819323; 628608; 831776; 868365; 159303; 729095; 385017; 750798; 373124; 506494; 574909; 208792; 399616; 576570; 180832; 391099; 247819; 985731; 76579; 231640; 169494; 62334; 235821; 763519; 46668; 373286; 71341; 640015; 272942; 137284; 501872; 704349; 267817; 935543; 714737; 231764; 535484; 265016; 852579; 89231; 661320; 685567; 658512; 294282; 65599; 736159; 253982; 978277; 547344; 690883; 537318; 506651; 327326; 625950; 574751; 962156; 889684; 970865; 514720; 504027; 197956; 37579; 250480; 961474; 531074; 655418; 639492; 400916; 879549; 197732; 382310; 902031; 433198; 60140; 777770; 914011; 489736; 273346; 416176; 314396; 944800; 449846; 931638; 654130; 225725; 257872; 279717; 287834; 649997; 662638; 435214; 817844; 476818; 829821; 419666; 428563; 526122; 319965; 677566; 332112; 329001; 900408; 791796; 391909; 626248; 328073; 611050; 144937; 792702; 472669; 99326; 592986; 251561; 637995; 679661; 363070; 88440; 643140; 517543; 141254; 81238; 490708; 472143; 716623; 413903; 633523; 717449; 312959; 440135; 401884; 304483; 898489; 933108; 454824; 360265; 935528; 288778; 703408; 804452; 639680; 224966; 281467; 61550; 582729; 240722; 886970; 378221; 515918; 937882; 425979; 890993; 484863; 935592; 718145; 707924; 780986; 735919; 717278; 637387; 18086; 650597; 90627; 233206; 501530; 467454; 537809; 849530; 335907; 870473; 963394; 770807; 71806; 806154; 600223; 925301; 217306; 904471; 731401; 393696; 305380; 611901; 930692; 219746; 115583; 195555; 112690; 364220; 271851; 431993; 978293; 982335; 430839; 278546; 993540; 241450; 593638; 895334; 352087; 469925; 131615; 67907; 548507; 341703; 795741; 496517; 707404; 680430; 941998; 959427; 146093; 824253; 657789; 815737; 481336; 985830; 625829; 253325; 291684; 888768; 957929; 536616; 522883; 797091; 775913; 898386; 84756; 996572; 412353; 510016; 963882; 545286; 453235; 894272; 447863; 169291; 28304; 379988; 951934; 114326; 402970; 765888; 311909; 809; 874937; 640564; 278597; 891576; 498216; 584436; 813238; 177858; 207300; 137559; 537621; 891463; 540683; 706600; 941672; 669555; 616235; 774123; 257999; 142808; 637834; 809; 934729; 240776; 875926; 476773; 57203; 508158; 304577; 918124; 221313; 746383; 566922; 6086; 926198; 698111; 860711; 118426; 231459; 35168; 98962; 570396; 878714; 112815; 877806; 3975; 64319; 489215; 104777; 183129; 394212; 349298; 416880; 706630; 315065; 466288; 420598; 560341; 105034; 215840; 630574; 265624; 915761; 679105; 452239; 308351; 483227; 758580; 201359; 354880; 354433; 197992; 160625; 199597; 397389; 106213; 682504; 100905; 521958; 649873; 929053; 694481; 953319; 516601; 5511; 970088; 97309; 362293; 592292; 581788; 356206; 604029; 735921; 156280; 709363; 100788; 619669; 411856; 645981; 171774; 897773; 307975; 447008; 819746; 836980; 442392; 521343; 46551; 53139; 886973; 531702; 672152; 742885; 997014; 82512; 862145; 921269; 633765; 300337; 89974; 805533; 396615; 196410; 987074; 752784; 491216; 88814; 252717; 345148; 57728; 213571; 909780; 369847; 430586; 31880; 658087; 604908; 108577; 838483; 714509; 957235; 910930; 790264; 983451; 284475; 780078; 94153; 556977])21 22let test6 _ = assert_equal 5 (minCost [513225; 401079; 150311; 560502; 222511; 494717; 291008; 664796; 967802; 973681; 581658; 877967; 660355; 424192; 955886; 313140; 800169; 802038; 193465; 861; 883622; 450821; 619220; 754414; 505082; 67419; 12071; 535589; 220709; 275062; 108547; 326626; 934302; 988486; 277522; 72868; 730009; 499506; 982341; 56932; 543441; 842638; 330353; 573389; 363104; 39170; 180552; 913724; 395742; 103600; 264749; 899854; 66177; 935496; 158807; 839509; 127712; 461347; 560860; 330936; 151235; 892935; 590916; 793790; 509707; 337242; 449797; 956714; 118280; 243414; 427874; 291973; 769881; 807966; 256104; 437278; 658403; 999854; 194344; 142073; 99070; 355337; 295266; 169569; 792822; 667255; 744730; 730263; 644005; 268199; 872534; 187905; 89104; 146989; 521049; 485286; 526965; 164865; 760572; 483422; 950143; 845187; 297948; 853627; 687686; 324124; 8561; 758808; 203668; 975414; 960635; 455402; 236803; 773138; 997112; 738837; 565966; 368811; 551510; 455592; 436055; 126995; 610575; 350876; 627683; 797919; 233517; 741209; 141856; 810841; 102940; 428874; 506070; 2344; 129174; 306854; 628122; 219324; 97620; 359907; 547525; 285058; 563368; 67752; 9450; 112626; 505160; 816511; 929644; 585429; 515411; 688015; 750800; 968645; 563421; 829431; 335552; 387022; 12047; 915349; 885865; 229732; 302687; 963955; 924826; 156884; 756636; 196317; 626546; 464206; 992233; 836363; 187766; 714974; 881960; 312857; 352927; 703068; 599895; 409171; 493175; 692326; 503737; 76889; 718937; 234355; 575948; 106134; 5087; 582198; 552473; 396898; 904737; 919668; 335682; 274825; 357182; 456627; 630732; 241854; 897195; 100335; 194018; 132383; 443116; 214722; 759447; 270810; 273058; 444663; 721316; 663299; 592876; 235218; 227458; 342443; 111242; 247546; 593549; 925761; 30127; 338599; 676082; 50689; 888571; 47804; 424968; 275818; 678781; 601782; 996384; 186799; 66297; 324676; 303787; 647743; 958209; 620628; 343750; 103413; 108294; 742948; 314832; 215293; 3259; 364201; 997342; 869858; 214696; 582142; 342784; 344390; 700572; 247944; 216888; 404611; 334935; 820008; 578696; 487008; 731679; 397163; 39856; 712204; 784727; 594454; 639045; 5319; 695900; 523856; 956241; 442835; 315668; 834890; 137640; 183027; 636861; 178914; 725710; 681180; 888106; 362349; 491262; 154208; 701454; 739285; 441314; 26499; 764338; 901095; 199669; 504485; 490224; 732971; 65609; 874820; 203747; 497072; 126518; 942969; 694627; 707911; 10653; 267830; 697084; 330515; 851041; 857243; 668520; 697872; 534423; 316036; 984089; 732077; 443409; 946308; 653760; 366212; 100637; 131537; 102423; 41975; 165454; 385265; 692248; 749186; 441556; 775323; 476632; 364410; 625184; 331665; 211211; 372770; 22031; 403970; 247316; 637407; 384312; 643101; 590722; 382830; 755200; 157912; 905460; 786189; 783189; 220458; 365172; 361425; 442536; 4191; 929119; 904573; 315623; 584663; 132801; 256751; 435356; 743728; 729665; 192841; 455825; 69797; 239511; 774638; 84349; 523059; 837173; 384215; 892333; 53309; 470800; 135832; 893446; 152907; 103194; 182283; 196011; 903471; 166805; 889849; 654766; 351595; 424054; 821580; 482901; 996306; 808757; 558449; 56915; 24280; 843641; 796903; 33321])23 24let test7 _ = assert_equal 5 (minCost [729977; 380597; 580902; 462175; 82559; 603238; 269073; 438416; 889339; 62740; 157004; 690353; 714880; 634085; 751379; 955842; 995096; 618823; 12826; 636917; 19177; 161137; 177252; 106704; 953325; 920512; 224136; 445280; 966685; 4505; 515130; 805059; 449141; 521917; 515863; 283252; 480388; 633355; 793198; 785232; 193244; 639725; 481980; 40887; 893563; 645336; 947695; 984745; 36222; 543688; 591067; 840714; 401398; 714686; 123304; 137524; 197862; 991022; 355414; 27947; 433110; 187671; 360242; 471849; 60751; 499796; 670012; 300398; 155323; 735285; 90988; 795576; 781045; 289499; 386860; 353009; 713844; 973628; 451538; 874202; 851213; 503104; 693339; 492573; 775372; 370880; 870762; 669432; 77711; 314137; 332780; 39912; 643039; 689085; 901452; 937942; 215892; 648322; 48128; 560691; 877151; 255724; 908125; 629707; 579042; 558091; 117958; 957033; 291312; 480216; 758408; 524477; 553695; 150136; 399686; 133204; 543442; 340695; 868909; 962613; 153233; 758210; 812157; 551376; 358484; 716721; 288947; 794293; 426921; 799139; 543562; 835045; 952543; 226116; 363180; 492759; 845718; 91102; 498497; 514475; 718715; 703646; 889016; 616982; 898044; 321696; 723672; 557219; 784618; 558052; 419023; 649832; 898642; 603414; 428431; 881536; 806241; 812150; 768111; 277863; 821398; 764421; 525127; 755966; 618012; 980926; 822777; 702313; 84228; 100619; 775282; 568001; 604895; 985982; 993275; 529486; 415391; 907212; 269175; 975114; 823890; 37718; 879441; 639692; 429548; 124209; 39369; 438707; 680971; 868303; 67525; 674326; 398937; 991509; 772720; 765162; 338740; 465053; 915232; 10241; 395453; 197256; 446251; 7336; 163929; 865906; 809067; 508211; 707275; 234827; 278469; 451152; 372964; 936370; 572806; 613066; 284397; 158723; 315515; 755748; 207796; 559900; 293121; 132635; 413333; 486833; 879024; 452474; 650207; 678199; 699012; 81651; 269920; 927258; 521739; 885269; 478159; 337571; 908370; 454006; 84297; 228415; 323491; 75522; 756522; 691404; 195549; 441826; 765910; 614921; 806930; 813373; 1337; 446268; 516163; 102272; 292627; 64187; 701686; 146665; 675800; 987047; 947120; 59693; 260019; 208776; 92777; 781932; 302401; 288133; 573398; 277575; 5661; 183607; 32786; 153903; 82930; 762150; 429017; 16950; 327370; 171744; 119872; 480638; 920038; 774091; 323687; 779802; 319819; 554697; 154746; 638233; 442378; 924504; 356752; 695332; 950598; 54016; 802831; 150103; 263073; 52502; 482278; 803813; 115632; 169173; 824081; 867686; 769374; 143291; 850371; 198754; 186536; 265255; 628137; 702721; 915015; 345656; 21721; 847144; 717263; 375257; 400254; 117469; 544586; 778859; 72509; 380725; 46635; 748340; 621653; 761081; 510805; 581476; 167017; 419792; 683895; 912993; 518710; 968095; 291409; 836845; 615273; 430285; 627716; 752456; 559316; 859955; 47650; 823760; 780078; 907945; 965624; 645857; 187148; 332945; 560542; 103130; 600468; 332036; 602115; 477022; 960875; 392455; 789060; 719474; 808968; 709676; 910548; 197478; 118157; 608051; 770622; 843431; 778619; 691174; 778648; 172104; 421798; 861327; 61407; 672554; 65771; 161841; 686733; 824147; 791554; 70772; 753272; 1170; 238887; 45767; 562168; 329627; 351240; 437909; 824791; 902800; 499952; 305681; 187483; 232650; 970243; 454384; 899843; 673443; 528301; 174089; 936271; 292339; 464403; 745256; 903671; 566789; 705574; 820295; 640569; 339864; 860166; 794379; 684080; 262153; 852847; 827788; 353654; 65344; 387178; 423813; 127785; 326550; 749626; 88776; 332583; 61196; 82531; 834564; 873843; 674270; 529365; 561007; 49870; 738559; 693545; 328481; 547938; 634856; 949301; 971272; 322172; 87457; 897366; 440174; 258376; 434871; 555035; 849838; 35014; 520745; 573724; 26780; 297175; 5809; 621062; 115630; 507752; 568657; 289502; 764022; 842554; 263653; 288110; 713293; 290380; 906605; 502384; 433022; 193561; 853798; 80063; 568525; 218600; 176154; 436465; 1982; 389045; 825574; 931244; 433804; 705817; 111498; 214666; 926474; 477643; 639857; 731795; 547422; 741937; 611425; 830090; 873408; 915193; 923752; 717423; 884274; 433157; 920251; 995402; 20997; 437246; 859667; 107970; 61226; 418483; 629128; 232574; 312372; 61504; 185013; 263250; 171356; 24605; 943617; 67968; 771402; 130969; 535307; 940801; 824723; 320300; 72441; 423978; 323761; 835652; 411944; 345550; 627382; 117368; 331931; 844310; 109899; 627030; 420092; 54329; 251850; 969535; 437964; 127339; 583336; 903556; 836884; 93857; 503730; 15172; 237852; 867413; 61754; 108197; 723533; 278862; 959438; 35365; 422723; 638631; 81114; 301526; 815463; 978721; 866591; 236385; 567973; 248116; 993788; 971344; 737727; 865241; 669558; 254587; 686658; 440784; 279024; 230724; 408716; 402199; 104982; 706051; 430268; 219684; 432021; 803536; 148529; 326575; 430768; 31947; 563020; 605255; 900400; 934194; 882571; 160734; 913406; 854062; 322563; 576142; 892825; 677145; 844175; 928810; 407359; 722773; 493737; 146133; 956096; 355631; 499591; 600607; 343010; 299509; 129487; 223065; 963116; 243543; 150400; 629268; 898433; 289414; 380149; 12769; 332532; 355734; 370531; 964835; 580991; 744802; 218395; 475770; 885489; 826771; 240393; 482522; 266112; 974551; 473085; 206813; 669190; 323553; 576440; 837796; 616224; 74179; 832274; 16447; 822954; 717239; 193309; 297327; 769939; 996933; 755077; 745282; 80702; 340679; 938215; 757399; 331088; 268308; 235073; 43721; 851214; 972500; 150747; 672308; 746789; 839507; 364701; 620759; 942678; 22865; 341694; 338680; 609638; 998140; 72932; 89360; 924651; 483229; 231871; 342622; 341800; 232180; 120353; 138538; 889129; 307707; 589332; 878676; 667689; 206906; 769920; 901774; 979692; 540862; 63667; 585374; 888895; 875766; 101394; 75597; 434747; 121605; 158886; 299887; 435968; 604695; 383528; 835294; 682344; 823868; 698860; 613691; 160807; 330930; 468342; 599737; 210057; 23399; 443022; 683995; 280159; 820745; 564988; 396633; 741926; 498358; 2628; 575050; 928046; 641173; 678737; 653486; 904603; 629375; 149524; 857965; 220108; 451619; 559893; 737098; 562459; 293805; 614646; 94689; 561970; 547306; 754389; 61387; 727936; 324098; 344; 18011; 674753; 227824; 988555; 706699; 170570; 228401; 149421; 289743; 330309; 115143; 433331; 346706; 73817; 101508; 226301; 453474; 74737; 186556; 545158; 905626; 7477; 284980; 258145; 974536; 558738; 441391; 590999; 541607; 529284; 285803; 883764; 197052; 984960; 826651; 956614; 790008; 332626; 749765; 962235; 187267; 770611; 625166; 975462; 467193; 938265; 902382; 951110; 360478; 169066; 388364; 879706; 497587; 145459; 922848; 165245; 379356; 227457; 57766; 186567; 778148; 228256; 977916; 192634; 309369; 945822; 275365; 765801; 215484; 490241; 208425; 400929; 501767; 869693; 958279; 738297; 788448; 983287; 972091; 534919; 55694; 117094; 172467; 419605; 166030; 862539; 255385; 574906; 147225; 64178; 681593; 848761; 886704; 149199; 763158; 950035; 599460; 926692; 712157; 572741; 773921; 152499; 926543; 540293; 471954; 873400; 304814; 82479; 442431; 547558; 508827; 641640; 778963; 925926; 360071; 513004; 3664; 439482; 992649; 752224; 833867; 159439; 505971; 363329; 694961; 857831; 683937; 708450; 988959; 860161; 222822; 880295; 262890; 648482; 805516; 309240; 948278; 714510; 348191; 350906; 522266; 57135; 653573; 997019; 217064; 864155; 730783; 626155; 440070; 41073; 891960; 602318; 479338; 126830; 455112; 405802; 705583; 181619; 728492; 187870; 118116; 347669; 821939; 77787; 807035; 766925; 846287; 778127; 970303; 551865; 527875; 438027; 38964; 778711; 606443; 568804; 869621; 430122; 715361; 894809; 304463; 129540; 978433; 883355; 677487; 653011; 59716; 540460; 214722; 673604; 615147; 467660; 928904; 738712; 48960; 802084; 812108; 126266; 589444; 499040; 778765; 220181; 598532; 279284; 269957; 829449; 133565; 28024; 593585; 669601; 178726; 954940; 810941; 904517; 847995; 637792; 58195; 489822; 666177; 775263; 833194; 461442; 890303; 691932; 707877])25 26 27    (* Grouping test cases *)28    let suite = "Test Suite for minCost" >::: [29        30  "test1" >:: test1;31  "test2" >:: test2;32  "test3" >:: test3;33  "test4" >:: test4;34  "test5" >:: test5;35  "test6" >:: test6;36  "test7" >:: test7;37    ]38 39 40    (* Running the tests *)41    let () = run_test_tt_main suite42end43