needs "nobranching_lp.hl";; module Test_case = struct let hypermap_string = "25168582633 18 4 0 1 2 3 4 0 3 4 5 3 4 3 2 3 4 2 6 4 6 2 7 8 3 7 2 1 3 7 1 9 4 9 1 0 10 3 10 0 5 3 10 5 11 3 11 5 4 3 11 4 6 3 11 6 12 3 12 6 8 3 10 11 12 3 9 10 12 3 9 12 8 3 8 7 9 ";; let precision = 4;; (***************) (* Constraints *) (***************) let constraints = [ ("azim_sum", [1; 5; 6; 7; 8; 9; 12; ], [(mk_real_int64 4000L); (mk_real_int64 3909L); (mk_real_int64 4411L); (mk_real_int64 47L); (mk_real_int64 2639L); (mk_real_int64 437L); (mk_real_int64 4271L); ]); ("azim_sum_neg", [0; 4; 10; 11; ], [(mk_real_int64 299L); (mk_real_int64 1121L); (mk_real_int64 68L); (mk_real_int64 69L); ]); ("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 7899L); (mk_real_int64 9126L); (mk_real_int64 9126L); (mk_real_int64 9126L); (mk_real_int64 9020L); (mk_real_int64 9126L); (mk_real_int64 9126L); (mk_real_int64 9020L); (mk_real_int64 9126L); (mk_real_int64 8972L); (mk_real_int64 8558L); (mk_real_int64 8627L); (mk_real_int64 9126L); ]); ("sol_sum3_neg", [1; 2; 3; 7; 8; 11; ], [(mk_real_int64 3909L); (mk_real_int64 691L); (mk_real_int64 181L); (mk_real_int64 47L); (mk_real_int64 815L); (mk_real_int64 2793L); ]); ("sol_sum3", [5; 6; ], [(mk_real_int64 973L); (mk_real_int64 132L); ]); ("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 7899L); (mk_real_int64 9126L); (mk_real_int64 7867L); (mk_real_int64 8627L); (mk_real_int64 9020L); (mk_real_int64 9020L); (mk_real_int64 9020L); (mk_real_int64 9020L); (mk_real_int64 8594L); (mk_real_int64 8490L); (mk_real_int64 8972L); (mk_real_int64 8972L); (mk_real_int64 8558L); (mk_real_int64 8558L); ]); ("tau_sum4_neg", [0; 1; 2; 3; ], [(mk_real_int64 9126L); (mk_real_int64 7899L); (mk_real_int64 8558L); (mk_real_int64 9126L); ]); ("ln_def_neg", [1; 2; 3; 5; 6; 8; 12; ], [(mk_real_int64 62L); (mk_real_int64 62L); (mk_real_int64 62L); (mk_real_int64 62L); (mk_real_int64 62L); (mk_real_int64 62L); (mk_real_int64 62L); ]); ("ln_def", [0; 4; 7; 9; 10; 11; ], [(mk_real_int64 1290L); (mk_real_int64 55L); (mk_real_int64 55L); (mk_real_int64 108L); (mk_real_int64 564L); (mk_real_int64 488L); ]); ("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 49633L); (mk_real_int64 57339L); (mk_real_int64 57339L); (mk_real_int64 57339L); (mk_real_int64 56675L); (mk_real_int64 57339L); (mk_real_int64 57339L); (mk_real_int64 56675L); (mk_real_int64 57339L); (mk_real_int64 56372L); (mk_real_int64 53771L); (mk_real_int64 54207L); (mk_real_int64 57339L); ]); ("edge_sym", [5; 6; 10; 15; 17; 20; 32; 33; 36; 45; ], [(mk_real_int64 354L); (mk_real_int64 354L); (mk_real_int64 2218L); (mk_real_int64 596L); (mk_real_int64 683L); (mk_real_int64 42L); (mk_real_int64 111L); (mk_real_int64 247L); (mk_real_int64 561L); (mk_real_int64 281L); ]); ("edge_sym_neg", [12; 13; 23; 30; 39; 41; 42; 48; 51; 54; ], [(mk_real_int64 1278L); (mk_real_int64 1787L); (mk_real_int64 42L); (mk_real_int64 111L); (mk_real_int64 318L); (mk_real_int64 281L); (mk_real_int64 95L); (mk_real_int64 386L); (mk_real_int64 655L); (mk_real_int64 190L); ]); ("y1_def_neg", [6; 8; 10; 12; 13; 14; 15; 19; 20; 29; 30; 32; 33; 36; 38; 39; 40; 43; 47; 48; 52; 53; 55; 57; ], [(mk_real_int64 277L); (mk_real_int64 882L); (mk_real_int64 1307L); (mk_real_int64 22L); (mk_real_int64 275L); (mk_real_int64 535L); (mk_real_int64 467L); (mk_real_int64 102L); (mk_real_int64 78L); (mk_real_int64 63L); (mk_real_int64 55L); (mk_real_int64 187L); (mk_real_int64 147L); (mk_real_int64 63L); (mk_real_int64 468L); (mk_real_int64 1234L); (mk_real_int64 106L); (mk_real_int64 469L); (mk_real_int64 784L); (mk_real_int64 103L); (mk_real_int64 611L); (mk_real_int64 248L); (mk_real_int64 278L); (mk_real_int64 341L); ]); ("y1_def", [9; 21; 22; 35; 42; 49; 51; 54; ], [(mk_real_int64 124L); (mk_real_int64 23L); (mk_real_int64 69L); (mk_real_int64 64L); (mk_real_int64 310L); (mk_real_int64 1061L); (mk_real_int64 354L); (mk_real_int64 34L); ]); ("y2_def", [6; 8; 10; 12; 13; 14; 15; 20; 22; 29; 36; 38; 39; 40; 42; 43; 48; 49; 52; 53; 57; ], [(mk_real_int64 354L); (mk_real_int64 673L); (mk_real_int64 1331L); (mk_real_int64 33L); (mk_real_int64 25L); (mk_real_int64 683L); (mk_real_int64 596L); (mk_real_int64 469L); (mk_real_int64 69L); (mk_real_int64 38L); (mk_real_int64 38L); (mk_real_int64 665L); (mk_real_int64 834L); (mk_real_int64 64L); (mk_real_int64 310L); (mk_real_int64 257L); (mk_real_int64 159L); (mk_real_int64 1061L); (mk_real_int64 32L); (mk_real_int64 151L); (mk_real_int64 207L); ]); ("y2_def_neg", [9; 19; 21; 30; 32; 33; 35; 47; 51; 54; 55; ], [(mk_real_int64 72L); (mk_real_int64 102L); (mk_real_int64 7L); (mk_real_int64 55L); (mk_real_int64 283L); (mk_real_int64 147L); (mk_real_int64 580L); (mk_real_int64 784L); (mk_real_int64 108L); (mk_real_int64 10L); (mk_real_int64 323L); ]); ("y3_def", [6; 8; 10; 12; 13; 14; 15; 20; 22; 29; 36; 38; 39; 40; 42; 43; 48; 49; 52; 53; 57; ], [(mk_real_int64 354L); (mk_real_int64 673L); (mk_real_int64 1331L); (mk_real_int64 33L); (mk_real_int64 25L); (mk_real_int64 683L); (mk_real_int64 596L); (mk_real_int64 469L); (mk_real_int64 69L); (mk_real_int64 38L); (mk_real_int64 38L); (mk_real_int64 665L); (mk_real_int64 834L); (mk_real_int64 64L); (mk_real_int64 310L); (mk_real_int64 257L); (mk_real_int64 159L); (mk_real_int64 1061L); (mk_real_int64 32L); (mk_real_int64 151L); (mk_real_int64 207L); ]); ("y3_def_neg", [9; 19; 21; 30; 32; 33; 35; 47; 51; 54; 55; ], [(mk_real_int64 72L); (mk_real_int64 102L); (mk_real_int64 7L); (mk_real_int64 55L); (mk_real_int64 283L); (mk_real_int64 147L); (mk_real_int64 580L); (mk_real_int64 784L); (mk_real_int64 108L); (mk_real_int64 10L); (mk_real_int64 323L); ]); ("y4_def", [1; 9; 17; 19; 35; 38; ], [(mk_real_int64 213L); (mk_real_int64 35L); (mk_real_int64 315L); (mk_real_int64 522L); (mk_real_int64 547L); (mk_real_int64 53L); ]); ("y4_def_neg", [0; 2; 4; 5; 7; 8; 10; 13; 14; 16; 20; 22; 23; 24; 26; 27; 31; 32; 33; 36; 37; 39; 41; ], [(mk_real_int64 1267L); (mk_real_int64 2505L); (mk_real_int64 63L); (mk_real_int64 2251L); (mk_real_int64 71L); (mk_real_int64 524L); (mk_real_int64 35L); (mk_real_int64 72L); (mk_real_int64 38L); (mk_real_int64 67L); (mk_real_int64 72L); (mk_real_int64 1252L); (mk_real_int64 2620L); (mk_real_int64 121L); (mk_real_int64 160L); (mk_real_int64 683L); (mk_real_int64 545L); (mk_real_int64 299L); (mk_real_int64 547L); (mk_real_int64 661L); (mk_real_int64 284L); (mk_real_int64 164L); (mk_real_int64 389L); ]); ("y5_def", [6; 8; 10; 12; 14; 15; 20; 29; 33; 36; 38; 39; 40; 43; 48; 52; 53; 57; ], [(mk_real_int64 354L); (mk_real_int64 673L); (mk_real_int64 1331L); (mk_real_int64 33L); (mk_real_int64 683L); (mk_real_int64 596L); (mk_real_int64 71L); (mk_real_int64 38L); (mk_real_int64 315L); (mk_real_int64 38L); (mk_real_int64 665L); (mk_real_int64 934L); (mk_real_int64 64L); (mk_real_int64 281L); (mk_real_int64 159L); (mk_real_int64 103L); (mk_real_int64 151L); (mk_real_int64 207L); ]); ("y5_def_neg", [9; 13; 19; 21; 22; 30; 32; 35; 42; 47; 49; 51; 54; 55; ], [(mk_real_int64 64L); (mk_real_int64 1724L); (mk_real_int64 71L); (mk_real_int64 7L); (mk_real_int64 35L); (mk_real_int64 38L); (mk_real_int64 204L); (mk_real_int64 392L); (mk_real_int64 160L); (mk_real_int64 545L); (mk_real_int64 547L); (mk_real_int64 108L); (mk_real_int64 10L); (mk_real_int64 227L); ]); ("y6_def", [6; 8; 10; 12; 14; 15; 20; 29; 33; 34; 36; 37; 38; 39; 40; 43; 46; 48; 50; 52; 53; 55; 57; ], [(mk_real_int64 354L); (mk_real_int64 2215L); (mk_real_int64 1331L); (mk_real_int64 33L); (mk_real_int64 683L); (mk_real_int64 596L); (mk_real_int64 114L); (mk_real_int64 38L); (mk_real_int64 315L); (mk_real_int64 354L); (mk_real_int64 38L); (mk_real_int64 1394L); (mk_real_int64 853L); (mk_real_int64 934L); (mk_real_int64 477L); (mk_real_int64 281L); (mk_real_int64 596L); (mk_real_int64 159L); (mk_real_int64 1041L); (mk_real_int64 452L); (mk_real_int64 390L); (mk_real_int64 389L); (mk_real_int64 418L); ]); ("y6_def_neg", [9; 13; 19; 21; 22; 30; 32; 35; 42; 47; 49; 51; 54; ], [(mk_real_int64 64L); (mk_real_int64 1724L); (mk_real_int64 71L); (mk_real_int64 7L); (mk_real_int64 35L); (mk_real_int64 38L); (mk_real_int64 204L); (mk_real_int64 392L); (mk_real_int64 160L); (mk_real_int64 63L); (mk_real_int64 547L); (mk_real_int64 108L); (mk_real_int64 10L); ]); ("RHA", [4; 6; 7; 14; 15; 16; 18; 19; 20; 22; 23; 28; 31; 40; 41; 42; 44; 45; 46; 47; 49; 50; 56; ], [(mk_real_int64 1226L); (mk_real_int64 1226L); (mk_real_int64 1121L); (mk_real_int64 568L); (mk_real_int64 568L); (mk_real_int64 69L); (mk_real_int64 761L); (mk_real_int64 1259L); (mk_real_int64 691L); (mk_real_int64 498L); (mk_real_int64 498L); (mk_real_int64 106L); (mk_real_int64 106L); (mk_real_int64 250L); (mk_real_int64 532L); (mk_real_int64 378L); (mk_real_int64 636L); (mk_real_int64 68L); (mk_real_int64 154L); (mk_real_int64 48L); (mk_real_int64 154L); (mk_real_int64 154L); (mk_real_int64 69L); ]); ("RHB", [3; ], [(mk_real_int64 1226L); ]); ("ineq105", [6; 8; 9; ], [(mk_real_int64 880L); (mk_real_int64 1698L); (mk_real_int64 1482L); ]); ("ineq106", [0; 2; 8; 13; 20; 22; 23; 24; 27; 36; 37; 41; ], [(mk_real_int64 1226L); (mk_real_int64 1226L); (mk_real_int64 568L); (mk_real_int64 106L); (mk_real_int64 106L); (mk_real_int64 106L); (mk_real_int64 106L); (mk_real_int64 177L); (mk_real_int64 482L); (mk_real_int64 568L); (mk_real_int64 414L); (mk_real_int64 568L); ]); ("ineq107", [1; 9; 16; 19; 35; 38; 39; ], [(mk_real_int64 299L); (mk_real_int64 46L); (mk_real_int64 148L); (mk_real_int64 988L); (mk_real_int64 708L); (mk_real_int64 68L); (mk_real_int64 68L); ]); ("ineq108", [0; 2; 4; 5; 22; 23; 27; 32; 36; ], [(mk_real_int64 624L); (mk_real_int64 2431L); (mk_real_int64 92L); (mk_real_int64 502L); (mk_real_int64 1722L); (mk_real_int64 3283L); (mk_real_int64 437L); (mk_real_int64 437L); (mk_real_int64 161L); ]); ("ineq109", [17; 19; ], [(mk_real_int64 973L); (mk_real_int64 132L); ]); ("ineq110", [5; 8; 10; 23; 26; 33; ], [(mk_real_int64 3909L); (mk_real_int64 691L); (mk_real_int64 181L); (mk_real_int64 47L); (mk_real_int64 815L); (mk_real_int64 2793L); ]); ("ineq111", [1; 5; 7; 14; 16; 19; 23; 27; 31; 36; 39; ], [(mk_real_int64 145L); (mk_real_int64 9126L); (mk_real_int64 569L); (mk_real_int64 308L); (mk_real_int64 1450L); (mk_real_int64 2278L); (mk_real_int64 2316L); (mk_real_int64 428L); (mk_real_int64 4357L); (mk_real_int64 1294L); (mk_real_int64 1734L); ]); ("ineq113", [9; 14; 24; 35; ], [(mk_real_int64 788L); (mk_real_int64 4327L); (mk_real_int64 1999L); (mk_real_int64 6365L); ]); ("ineq114", [0; 2; 7; 10; 11; 12; 15; 17; 18; 20; 22; 23; 25; 28; 30; 31; 33; 36; 37; 41; ], [(mk_real_int64 5248L); (mk_real_int64 2507L); (mk_real_int64 7297L); (mk_real_int64 508L); (mk_real_int64 7331L); (mk_real_int64 4385L); (mk_real_int64 5940L); (mk_real_int64 1630L); (mk_real_int64 287L); (mk_real_int64 6455L); (mk_real_int64 3418L); (mk_real_int64 1727L); (mk_real_int64 6595L); (mk_real_int64 8062L); (mk_real_int64 4462L); (mk_real_int64 153L); (mk_real_int64 2607L); (mk_real_int64 6567L); (mk_real_int64 697L); (mk_real_int64 6823L); ]); ("ineq119", [3; 5; 11; ], [(mk_real_int64 3843L); (mk_real_int64 661L); (mk_real_int64 150L); ]); ("ineq120", [2; 4; 6; 8; 9; 12; 15; ], [(mk_real_int64 5282L); (mk_real_int64 1619L); (mk_real_int64 5619L); (mk_real_int64 4332L); (mk_real_int64 4076L); (mk_real_int64 5640L); (mk_real_int64 3485L); ]); ];; (***************) (* Variables *) (***************) let target_variables = [ ("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 43718L); (mk_real_int64 47394L); (mk_real_int64 47394L); (mk_real_int64 47394L); (mk_real_int64 42050L); (mk_real_int64 47394L); (mk_real_int64 47394L); (mk_real_int64 42050L); (mk_real_int64 47394L); (mk_real_int64 43512L); (mk_real_int64 45666L); (mk_real_int64 40922L); (mk_real_int64 47394L); ]); ];; (*************************) let variable_bounds = [ ("azim_hi", [2; 4; 6; 8; 10; 12; 15; 17; 22; 23; 24; 27; 28; 30; 31; 33; 34; 35; 39; 40; 41; 46; 47; 52; 57; ], [(mk_real_int64 586L); (mk_real_int64 687L); (mk_real_int64 2687L); (mk_real_int64 2480L); (mk_real_int64 3820L); (mk_real_int64 10000L); (mk_real_int64 7548L); (mk_real_int64 500L); (mk_real_int64 10080L); (mk_real_int64 12060L); (mk_real_int64 1720L); (mk_real_int64 1905L); (mk_real_int64 100L); (mk_real_int64 3070L); (mk_real_int64 4400L); (mk_real_int64 3800L); (mk_real_int64 6620L); (mk_real_int64 10000L); (mk_real_int64 1020L); (mk_real_int64 2590L); (mk_real_int64 4700L); (mk_real_int64 2120L); (mk_real_int64 7780L); (mk_real_int64 9420L); (mk_real_int64 1980L); ]); ("azim_lo", [3; 5; 14; 18; 19; 21; 36; 38; 44; 49; 51; 53; ], [(mk_real_int64 7160L); (mk_real_int64 4330L); (mk_real_int64 3764L); (mk_real_int64 10000L); (mk_real_int64 780L); (mk_real_int64 920L); (mk_real_int64 1700L); (mk_real_int64 3320L); (mk_real_int64 1880L); (mk_real_int64 180L); (mk_real_int64 5350L); (mk_real_int64 6780L); ]); ("rhazim_lo", [4; 6; 8; 10; 22; 23; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]); ("rhazim_hi", [3; 18; 40; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]); ("rho_hi", [1; 2; 3; 5; 6; 8; 9; 10; 12; ], [(mk_real_int64 14832L); (mk_real_int64 14832L); (mk_real_int64 14832L); (mk_real_int64 14832L); (mk_real_int64 14832L); (mk_real_int64 14832L); (mk_real_int64 8704L); (mk_real_int64 6256L); (mk_real_int64 14832L); ]); ("rho_lo", [0; 4; 7; 11; ], [(mk_real_int64 20032L); (mk_real_int64 5360L); (mk_real_int64 5360L); (mk_real_int64 18336L); ]); ("tau_lo", [0; 5; 7; 11; 17; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 15600000L); (mk_real_int64 10000L); ]); ("tau_hi", [2; 11; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); ]); ("y1_lo", [6; 8; 9; 13; 19; 20; 22; 29; 30; 36; 38; 39; 40; 42; 47; 52; 53; 55; ], [(mk_real_int64 2000L); (mk_real_int64 2400L); (mk_real_int64 6000L); (mk_real_int64 2300L); (mk_real_int64 4200L); (mk_real_int64 2200L); (mk_real_int64 2200L); (mk_real_int64 6000L); (mk_real_int64 4400L); (mk_real_int64 6000L); (mk_real_int64 2700L); (mk_real_int64 1250L); (mk_real_int64 2000L); (mk_real_int64 3000L); (mk_real_int64 2600L); (mk_real_int64 5550L); (mk_real_int64 4000L); (mk_real_int64 1200L); ]); ("y1_hi", [10; 12; 14; 15; 33; 35; 43; 48; 49; 57; ], [(mk_real_int64 1150L); (mk_real_int64 3800L); (mk_real_int64 1300L); (mk_real_int64 1700L); (mk_real_int64 770L); (mk_real_int64 280L); (mk_real_int64 650L); (mk_real_int64 3050L); (mk_real_int64 3400L); (mk_real_int64 2000L); ]); ("y2_hi", [8; 9; 12; 13; 20; 21; 29; 33; 36; 38; 39; 40; 43; 48; 49; 51; 52; 55; ], [(mk_real_int64 2150L); (mk_real_int64 4520L); (mk_real_int64 4788L); (mk_real_int64 4178L); (mk_real_int64 2752L); (mk_real_int64 80L); (mk_real_int64 5734L); (mk_real_int64 770L); (mk_real_int64 5734L); (mk_real_int64 2092L); (mk_real_int64 2371L); (mk_real_int64 4103L); (mk_real_int64 3841L); (mk_real_int64 243L); (mk_real_int64 3400L); (mk_real_int64 3840L); (mk_real_int64 3631L); (mk_real_int64 5440L); ]); ("y2_lo", [6; 10; 14; 15; 19; 22; 30; 32; 35; 42; 47; 53; 54; 57; ], [(mk_real_int64 2400L); (mk_real_int64 2177L); (mk_real_int64 4040L); (mk_real_int64 2360L); (mk_real_int64 4200L); (mk_real_int64 2200L); (mk_real_int64 4400L); (mk_real_int64 4960L); (mk_real_int64 1480L); (mk_real_int64 3000L); (mk_real_int64 2600L); (mk_real_int64 3454L); (mk_real_int64 3360L); (mk_real_int64 3048L); ]); ("y3_hi", [8; 9; 12; 13; 20; 21; 29; 33; 36; 38; 39; 40; 43; 48; 49; 51; 52; 55; ], [(mk_real_int64 2150L); (mk_real_int64 4520L); (mk_real_int64 4788L); (mk_real_int64 4178L); (mk_real_int64 2752L); (mk_real_int64 80L); (mk_real_int64 5734L); (mk_real_int64 770L); (mk_real_int64 5734L); (mk_real_int64 2092L); (mk_real_int64 2371L); (mk_real_int64 4103L); (mk_real_int64 3841L); (mk_real_int64 243L); (mk_real_int64 3400L); (mk_real_int64 3840L); (mk_real_int64 3631L); (mk_real_int64 5440L); ]); ("y3_lo", [6; 10; 14; 15; 19; 22; 30; 32; 35; 42; 47; 53; 54; 57; ], [(mk_real_int64 2400L); (mk_real_int64 2177L); (mk_real_int64 4040L); (mk_real_int64 2360L); (mk_real_int64 4200L); (mk_real_int64 2200L); (mk_real_int64 4400L); (mk_real_int64 4960L); (mk_real_int64 1480L); (mk_real_int64 3000L); (mk_real_int64 2600L); (mk_real_int64 3454L); (mk_real_int64 3360L); (mk_real_int64 3048L); ]); ("y4_lo", [0; 2; 4; 7; 8; 10; 13; 14; 17; 19; 20; 22; 23; 24; 27; 32; 33; 36; 38; 39; 41; ], [(mk_real_int64 2500L); (mk_real_int64 450L); (mk_real_int64 200L); (mk_real_int64 1250L); (mk_real_int64 5160L); (mk_real_int64 4760L); (mk_real_int64 6100L); (mk_real_int64 5000L); (mk_real_int64 5264L); (mk_real_int64 3636L); (mk_real_int64 6100L); (mk_real_int64 1800L); (mk_real_int64 1770L); (mk_real_int64 2450L); (mk_real_int64 150L); (mk_real_int64 3450L); (mk_real_int64 4280L); (mk_real_int64 1150L); (mk_real_int64 4360L); (mk_real_int64 1860L); (mk_real_int64 800L); ]); ("y4_hi", [1; 5; 9; 16; 26; 31; 35; 37; ], [(mk_real_int64 20L); (mk_real_int64 2160L); (mk_real_int64 5580L); (mk_real_int64 1540L); (mk_real_int64 2600L); (mk_real_int64 3750L); (mk_real_int64 2840L); (mk_real_int64 4100L); ]); ("y5_hi", [8; 9; 12; 20; 21; 29; 32; 36; 38; 39; 40; 42; 47; 48; 51; 52; ], [(mk_real_int64 2150L); (mk_real_int64 4270L); (mk_real_int64 4788L); (mk_real_int64 2592L); (mk_real_int64 80L); (mk_real_int64 5734L); (mk_real_int64 2540L); (mk_real_int64 5734L); (mk_real_int64 2092L); (mk_real_int64 5451L); (mk_real_int64 4103L); (mk_real_int64 2600L); (mk_real_int64 3750L); (mk_real_int64 243L); (mk_real_int64 3840L); (mk_real_int64 5331L); ]); ("y5_lo", [6; 10; 13; 14; 15; 19; 22; 30; 33; 35; 43; 49; 53; 54; 55; 57; ], [(mk_real_int64 2400L); (mk_real_int64 2177L); (mk_real_int64 2362L); (mk_real_int64 4040L); (mk_real_int64 2360L); (mk_real_int64 1250L); (mk_real_int64 4760L); (mk_real_int64 5000L); (mk_real_int64 5264L); (mk_real_int64 2636L); (mk_real_int64 759L); (mk_real_int64 4280L); (mk_real_int64 3454L); (mk_real_int64 3360L); (mk_real_int64 860L); (mk_real_int64 3048L); ]); ("y6_hi", [8; 9; 12; 21; 29; 32; 36; 38; 39; 40; 42; 48; 51; 52; 53; ], [(mk_real_int64 2150L); (mk_real_int64 4270L); (mk_real_int64 4788L); (mk_real_int64 80L); (mk_real_int64 5734L); (mk_real_int64 2540L); (mk_real_int64 5734L); (mk_real_int64 2092L); (mk_real_int64 5451L); (mk_real_int64 4103L); (mk_real_int64 2600L); (mk_real_int64 243L); (mk_real_int64 3840L); (mk_real_int64 5331L); (mk_real_int64 6546L); ]); ("y6_lo", [6; 8; 10; 13; 14; 15; 19; 20; 22; 30; 33; 34; 35; 37; 38; 40; 43; 46; 47; 49; 50; 52; 53; 54; 55; 57; ], [(mk_real_int64 2400L); (mk_real_int64 15420000L); (mk_real_int64 2177L); (mk_real_int64 2362L); (mk_real_int64 4040L); (mk_real_int64 2360L); (mk_real_int64 1250L); (mk_real_int64 427408L); (mk_real_int64 4760L); (mk_real_int64 5000L); (mk_real_int64 5264L); (mk_real_int64 3540000L); (mk_real_int64 2636L); (mk_real_int64 13940000L); (mk_real_int64 1880000L); (mk_real_int64 4130000L); (mk_real_int64 759L); (mk_real_int64 5960000L); (mk_real_int64 4816250L); (mk_real_int64 4280L); (mk_real_int64 10410000L); (mk_real_int64 3490000L); (mk_real_int64 2400000L); (mk_real_int64 3360L); (mk_real_int64 6160860L); (mk_real_int64 2113048L); ]); ("ye_lo", [10; 12; 36; 40; 42; 46; 54; ], [(mk_real_int64 10000L); (mk_real_int64 4130000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]); ("ye_hi", [14; 18; 20; 30; 33; 34; 47; 52; 56; 57; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]); ("yn_hi", [0; 2; 3; 5; 6; 7; 8; 10; 11; 12; ], [(mk_real_int64 13300L); (mk_real_int64 12322L); (mk_real_int64 12322L); (mk_real_int64 2322L); (mk_real_int64 2322L); (mk_real_int64 2350L); (mk_real_int64 2322L); (mk_real_int64 14280L); (mk_real_int64 5760L); (mk_real_int64 2322L); ]); ("yn_lo", [1; 4; 9; ], [(mk_real_int64 7678L); (mk_real_int64 7650L); (mk_real_int64 6840L); ]); ];; let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;; end;; concl (Test_case.result)