needs "nobranching_lp.hl";; module Test_case = struct let hypermap_string = "209986500083 17 6 0 1 2 3 4 5 5 0 5 6 7 8 3 6 5 4 3 6 4 9 3 9 4 10 3 10 4 3 3 10 3 11 3 11 3 12 3 12 3 2 3 12 2 1 3 12 1 0 3 11 12 0 3 11 0 8 3 10 11 8 3 9 10 8 3 9 8 7 3 7 6 9 ";; let precision = 3;; (***************) (* Constraints *) (***************) let constraints = [ ("azim_sum_neg", [3; 4; 5; 10; 11; ], [(mk_real_int64 1122L); (mk_real_int64 1122L); (mk_real_int64 201L); (mk_real_int64 423L); (mk_real_int64 17L); ]); ("azim_sum", [1; 7; 8; 9; ], [(mk_real_int64 68L); (mk_real_int64 188L); (mk_real_int64 234L); (mk_real_int64 171L); ]); ("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 952L); (mk_real_int64 993L); (mk_real_int64 952L); (mk_real_int64 623L); (mk_real_int64 623L); (mk_real_int64 623L); (mk_real_int64 952L); (mk_real_int64 927L); (mk_real_int64 927L); (mk_real_int64 952L); (mk_real_int64 711L); (mk_real_int64 970L); (mk_real_int64 711L); ]); ("sol_sum3_neg", [2; 3; 4; 9; 10; 11; 12; ], [(mk_real_int64 350L); (mk_real_int64 307L); (mk_real_int64 180L); (mk_real_int64 909L); (mk_real_int64 171L); (mk_real_int64 196L); (mk_real_int64 188L); ]); ("sol_sum3", [7; 14; ], [(mk_real_int64 1122L); (mk_real_int64 102L); ]); ("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 952L); (mk_real_int64 711L); (mk_real_int64 711L); (mk_real_int64 754L); (mk_real_int64 772L); (mk_real_int64 586L); (mk_real_int64 423L); (mk_real_int64 623L); (mk_real_int64 423L); (mk_real_int64 27L); (mk_real_int64 782L); (mk_real_int64 927L); (mk_real_int64 575L); (mk_real_int64 711L); (mk_real_int64 711L); ]); ("tau_sum5_neg", [0; ], [(mk_real_int64 952L); ]); ("tau_sum6_neg", [0; ], [(mk_real_int64 952L); ]); ("ln_def_neg", [0; 1; 2; 6; 7; 8; 9; 11; ], [(mk_real_int64 50L); (mk_real_int64 95L); (mk_real_int64 50L); (mk_real_int64 50L); (mk_real_int64 22L); (mk_real_int64 35L); (mk_real_int64 50L); (mk_real_int64 69L); ]); ("ln_def", [3; 4; 5; 10; 12; ], [(mk_real_int64 313L); (mk_real_int64 313L); (mk_real_int64 313L); (mk_real_int64 216L); (mk_real_int64 216L); ]); ("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 5985L); (mk_real_int64 6239L); (mk_real_int64 5985L); (mk_real_int64 3917L); (mk_real_int64 3917L); (mk_real_int64 3917L); (mk_real_int64 5985L); (mk_real_int64 5825L); (mk_real_int64 5825L); (mk_real_int64 5985L); (mk_real_int64 4470L); (mk_real_int64 6093L); (mk_real_int64 4470L); ]); ("edge_sym", [3; 4; 9; 10; 15; 18; 25; 28; 34; 37; 40; ], [(mk_real_int64 44L); (mk_real_int64 44L); (mk_real_int64 69L); (mk_real_int64 69L); (mk_real_int64 100L); (mk_real_int64 91L); (mk_real_int64 44L); (mk_real_int64 191L); (mk_real_int64 556L); (mk_real_int64 852L); (mk_real_int64 210L); ]); ("edge_sym_neg", [13; 16; 19; 22; 24; 27; 31; 43; 46; 49; 52; ], [(mk_real_int64 89L); (mk_real_int64 281L); (mk_real_int64 100L); (mk_real_int64 44L); (mk_real_int64 319L); (mk_real_int64 388L); (mk_real_int64 556L); (mk_real_int64 30L); (mk_real_int64 148L); (mk_real_int64 317L); (mk_real_int64 69L); ]); ("y1_def_neg", [4; 10; 11; 15; 16; 22; 23; 25; 26; 30; 32; 34; 37; 38; 41; 43; 45; 48; 50; ], [(mk_real_int64 34L); (mk_real_int64 54L); (mk_real_int64 140L); (mk_real_int64 186L); (mk_real_int64 57L); (mk_real_int64 27L); (mk_real_int64 56L); (mk_real_int64 37L); (mk_real_int64 249L); (mk_real_int64 394L); (mk_real_int64 125L); (mk_real_int64 169L); (mk_real_int64 394L); (mk_real_int64 108L); (mk_real_int64 22L); (mk_real_int64 207L); (mk_real_int64 65L); (mk_real_int64 150L); (mk_real_int64 8L); ]); ("y1_def", [17; 19; 20; 28; 31; 36; 39; 42; 47; 52; 53; ], [(mk_real_int64 103L); (mk_real_int64 133L); (mk_real_int64 117L); (mk_real_int64 82L); (mk_real_int64 461L); (mk_real_int64 461L); (mk_real_int64 602L); (mk_real_int64 65L); (mk_real_int64 26L); (mk_real_int64 209L); (mk_real_int64 145L); ]); ("y2_def", [4; 10; 15; 19; 20; 22; 23; 26; 30; 32; 37; 38; 39; 41; 42; 48; ], [(mk_real_int64 44L); (mk_real_int64 69L); (mk_real_int64 128L); (mk_real_int64 133L); (mk_real_int64 117L); (mk_real_int64 16L); (mk_real_int64 173L); (mk_real_int64 193L); (mk_real_int64 117L); (mk_real_int64 193L); (mk_real_int64 117L); (mk_real_int64 66L); (mk_real_int64 267L); (mk_real_int64 13L); (mk_real_int64 65L); (mk_real_int64 216L); ]); ("y2_def_neg", [11; 16; 17; 25; 28; 31; 34; 36; 43; 45; 47; 50; 52; 53; ], [(mk_real_int64 140L); (mk_real_int64 57L); (mk_real_int64 31L); (mk_real_int64 37L); (mk_real_int64 25L); (mk_real_int64 140L); (mk_real_int64 169L); (mk_real_int64 140L); (mk_real_int64 42L); (mk_real_int64 51L); (mk_real_int64 8L); (mk_real_int64 8L); (mk_real_int64 63L); (mk_real_int64 64L); ]); ("y3_def", [4; 10; 15; 19; 20; 22; 23; 26; 30; 32; 37; 38; 39; 41; 42; 48; ], [(mk_real_int64 44L); (mk_real_int64 69L); (mk_real_int64 128L); (mk_real_int64 133L); (mk_real_int64 117L); (mk_real_int64 16L); (mk_real_int64 173L); (mk_real_int64 193L); (mk_real_int64 117L); (mk_real_int64 193L); (mk_real_int64 117L); (mk_real_int64 66L); (mk_real_int64 267L); (mk_real_int64 13L); (mk_real_int64 65L); (mk_real_int64 216L); ]); ("y3_def_neg", [11; 16; 17; 25; 28; 31; 34; 36; 43; 45; 47; 50; 52; 53; ], [(mk_real_int64 140L); (mk_real_int64 57L); (mk_real_int64 31L); (mk_real_int64 37L); (mk_real_int64 25L); (mk_real_int64 140L); (mk_real_int64 169L); (mk_real_int64 140L); (mk_real_int64 42L); (mk_real_int64 51L); (mk_real_int64 8L); (mk_real_int64 8L); (mk_real_int64 63L); (mk_real_int64 64L); ]); ("y4_def_neg", [0; 4; 5; 8; 9; 11; 12; 14; 15; 19; 21; 26; 27; 30; 31; 32; 34; 37; 39; ], [(mk_real_int64 97L); (mk_real_int64 241L); (mk_real_int64 40L); (mk_real_int64 69L); (mk_real_int64 60L); (mk_real_int64 31L); (mk_real_int64 232L); (mk_real_int64 26L); (mk_real_int64 363L); (mk_real_int64 416L); (mk_real_int64 364L); (mk_real_int64 416L); (mk_real_int64 123L); (mk_real_int64 25L); (mk_real_int64 33L); (mk_real_int64 189L); (mk_real_int64 148L); (mk_real_int64 309L); (mk_real_int64 5L); ]); ("y4_def", [6; 17; 20; 23; 25; 28; 36; 41; 42; ], [(mk_real_int64 160L); (mk_real_int64 126L); (mk_real_int64 712L); (mk_real_int64 363L); (mk_real_int64 712L); (mk_real_int64 218L); (mk_real_int64 40L); (mk_real_int64 322L); (mk_real_int64 281L); ]); ("y5_def", [4; 10; 15; 22; 23; 26; 30; 32; 34; 37; 38; 41; 48; ], [(mk_real_int64 44L); (mk_real_int64 69L); (mk_real_int64 128L); (mk_real_int64 16L); (mk_real_int64 69L); (mk_real_int64 193L); (mk_real_int64 140L); (mk_real_int64 193L); (mk_real_int64 363L); (mk_real_int64 140L); (mk_real_int64 66L); (mk_real_int64 13L); (mk_real_int64 108L); ]); ("y5_def_neg", [11; 16; 17; 19; 20; 25; 28; 31; 36; 39; 42; 43; 45; 47; 50; 52; 53; ], [(mk_real_int64 97L); (mk_real_int64 40L); (mk_real_int64 31L); (mk_real_int64 69L); (mk_real_int64 60L); (mk_real_int64 26L); (mk_real_int64 25L); (mk_real_int64 140L); (mk_real_int64 140L); (mk_real_int64 256L); (mk_real_int64 33L); (mk_real_int64 10L); (mk_real_int64 123L); (mk_real_int64 8L); (mk_real_int64 5L); (mk_real_int64 63L); (mk_real_int64 16L); ]); ("y6_def", [4; 10; 12; 15; 22; 23; 26; 30; 32; 33; 34; 37; 38; 41; 44; 48; 55; ], [(mk_real_int64 44L); (mk_real_int64 69L); (mk_real_int64 54L); (mk_real_int64 128L); (mk_real_int64 16L); (mk_real_int64 69L); (mk_real_int64 193L); (mk_real_int64 140L); (mk_real_int64 193L); (mk_real_int64 1L); (mk_real_int64 363L); (mk_real_int64 140L); (mk_real_int64 66L); (mk_real_int64 13L); (mk_real_int64 80L); (mk_real_int64 108L); (mk_real_int64 84L); ]); ("y6_def_neg", [16; 17; 19; 20; 25; 28; 31; 36; 39; 42; 43; 45; 47; 50; 52; ], [(mk_real_int64 40L); (mk_real_int64 31L); (mk_real_int64 69L); (mk_real_int64 60L); (mk_real_int64 26L); (mk_real_int64 25L); (mk_real_int64 140L); (mk_real_int64 140L); (mk_real_int64 256L); (mk_real_int64 33L); (mk_real_int64 10L); (mk_real_int64 123L); (mk_real_int64 8L); (mk_real_int64 5L); (mk_real_int64 63L); ]); ("RHA", [4; 8; 11; 13; 14; 18; 19; 20; 21; 22; 24; 25; 27; 28; 29; 31; 35; 36; 38; 39; 40; 41; 42; 46; 47; 49; 51; 54; ], [(mk_real_int64 40L); (mk_real_int64 17L); (mk_real_int64 17L); (mk_real_int64 40L); (mk_real_int64 258L); (mk_real_int64 281L); (mk_real_int64 216L); (mk_real_int64 173L); (mk_real_int64 239L); (mk_real_int64 153L); (mk_real_int64 180L); (mk_real_int64 155L); (mk_real_int64 367L); (mk_real_int64 38L); (mk_real_int64 201L); (mk_real_int64 201L); (mk_real_int64 201L); (mk_real_int64 201L); (mk_real_int64 720L); (mk_real_int64 597L); (mk_real_int64 926L); (mk_real_int64 109L); (mk_real_int64 171L); (mk_real_int64 25L); (mk_real_int64 136L); (mk_real_int64 377L); (mk_real_int64 241L); (mk_real_int64 258L); ]); ("RHB", [1; 2; ], [(mk_real_int64 329L); (mk_real_int64 329L); ]); ("yy10", [24; 29; 39; 40; ], [(mk_real_int64 61L); (mk_real_int64 464L); (mk_real_int64 473L); (mk_real_int64 74L); ]); ("tau5", [0; ], [(mk_real_int64 952L); ]); ("tau6", [0; ], [(mk_real_int64 952L); ]); ("ineq105", [4; 10; ], [(mk_real_int64 109L); (mk_real_int64 171L); ]); ("ineq106", [4; 11; 12; 15; 19; 26; 27; 30; 32; 37; ], [(mk_real_int64 281L); (mk_real_int64 45L); (mk_real_int64 155L); (mk_real_int64 341L); (mk_real_int64 530L); (mk_real_int64 530L); (mk_real_int64 180L); (mk_real_int64 36L); (mk_real_int64 171L); (mk_real_int64 352L); ]); ("ineq107", [6; 17; 20; 25; 28; 36; 41; 42; ], [(mk_real_int64 207L); (mk_real_int64 163L); (mk_real_int64 921L); (mk_real_int64 921L); (mk_real_int64 513L); (mk_real_int64 52L); (mk_real_int64 417L); (mk_real_int64 321L); ]); ("ineq108", [4; 12; 15; 21; 34; 37; ], [(mk_real_int64 71L); (mk_real_int64 133L); (mk_real_int64 188L); (mk_real_int64 531L); (mk_real_int64 23L); (mk_real_int64 46L); ]); ("ineq109", [23; 42; ], [(mk_real_int64 1122L); (mk_real_int64 102L); ]); ("ineq110", [8; 9; 12; 28; 31; 34; 37; ], [(mk_real_int64 350L); (mk_real_int64 307L); (mk_real_int64 180L); (mk_real_int64 909L); (mk_real_int64 171L); (mk_real_int64 196L); (mk_real_int64 188L); ]); ("ineq111", [0; 5; 14; 19; 26; 32; 34; 39; ], [(mk_real_int64 779L); (mk_real_int64 316L); (mk_real_int64 205L); (mk_real_int64 423L); (mk_real_int64 423L); (mk_real_int64 579L); (mk_real_int64 747L); (mk_real_int64 42L); ]); ("ineq112", [41; ], [(mk_real_int64 11L); ]); ("ineq113", [4; 6; 11; 12; 34; ], [(mk_real_int64 10L); (mk_real_int64 552L); (mk_real_int64 595L); (mk_real_int64 306L); (mk_real_int64 120L); ]); ("ineq114", [2; 3; 8; 9; 14; 16; 21; 29; 30; 33; 38; 40; 43; 44; ], [(mk_real_int64 174L); (mk_real_int64 385L); (mk_real_int64 159L); (mk_real_int64 159L); (mk_real_int64 261L); (mk_real_int64 586L); (mk_real_int64 623L); (mk_real_int64 27L); (mk_real_int64 202L); (mk_real_int64 60L); (mk_real_int64 575L); (mk_real_int64 658L); (mk_real_int64 548L); (mk_real_int64 163L); ]); ];; (***************) (* Variables *) (***************) let target_variables = [ ("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 2625L); (mk_real_int64 3175L); (mk_real_int64 2625L); (mk_real_int64 1525L); (mk_real_int64 1525L); (mk_real_int64 1525L); (mk_real_int64 2625L); (mk_real_int64 2625L); (mk_real_int64 15625L); (mk_real_int64 2625L); (mk_real_int64 1750L); (mk_real_int64 2725L); (mk_real_int64 1750L); ]); ];; (*************************) let variable_bounds = [ ("azim_lo", [1; 2; 19; 20; 22; 23; 27; 32; 40; 44; 45; 49; 51; ], [(mk_real_int64 96L); (mk_real_int64 96L); (mk_real_int64 466L); (mk_real_int64 466L); (mk_real_int64 105L); (mk_real_int64 254L); (mk_real_int64 164L); (mk_real_int64 2L); (mk_real_int64 98L); (mk_real_int64 440L); (mk_real_int64 80L); (mk_real_int64 50L); (mk_real_int64 92L); ]); ("azim_hi", [1; 2; 4; 9; 13; 14; 15; 17; 18; 25; 38; 41; 52; 54; 55; ], [(mk_real_int64 1509000L); (mk_real_int64 1509000L); (mk_real_int64 1000L); (mk_real_int64 423000L); (mk_real_int64 924L); (mk_real_int64 10L); (mk_real_int64 410L); (mk_real_int64 32L); (mk_real_int64 1000L); (mk_real_int64 386L); (mk_real_int64 1000L); (mk_real_int64 452L); (mk_real_int64 423L); (mk_real_int64 48L); (mk_real_int64 38L); ]); ("rhazim_hi", [9; 27; 28; 29; 30; 31; 35; 36; 37; 39; 40; 42; 43; ], [(mk_real_int64 241000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]); ("rhazim_lo", [4; 8; 11; 13; 14; 15; 18; 54; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]); ("rho_lo", [0; 2; 3; 4; 5; 6; 9; 10; 12; ], [(mk_real_int64 2632L); (mk_real_int64 2632L); (mk_real_int64 2068L); (mk_real_int64 2068L); (mk_real_int64 2068L); (mk_real_int64 2632L); (mk_real_int64 2632L); (mk_real_int64 2076L); (mk_real_int64 2076L); ]); ("rho_hi", [1; 7; 8; 11; ], [(mk_real_int64 1012L); (mk_real_int64 268L); (mk_real_int64 268L); (mk_real_int64 2480L); ]); ("tau_lo", [12; ], [(mk_real_int64 1000L); ]); ("tau_hi", [2; ], [(mk_real_int64 1000L); ]); ("y1_lo", [4; 11; 20; 28; 30; 31; 34; 36; 37; 39; 42; 45; 48; 52; ], [(mk_real_int64 335L); (mk_real_int64 220L); (mk_real_int64 340L); (mk_real_int64 500L); (mk_real_int64 140L); (mk_real_int64 500L); (mk_real_int64 422L); (mk_real_int64 500L); (mk_real_int64 140L); (mk_real_int64 80L); (mk_real_int64 20L); (mk_real_int64 385L); (mk_real_int64 570L); (mk_real_int64 500L); ]); ("y1_hi", [10; 15; 16; 17; 23; 25; 26; 32; 41; 43; 50; 53; ], [(mk_real_int64 135L); (mk_real_int64 715L); (mk_real_int64 120L); (mk_real_int64 500L); (mk_real_int64 145L); (mk_real_int64 100L); (mk_real_int64 220L); (mk_real_int64 215L); (mk_real_int64 400L); (mk_real_int64 180L); (mk_real_int64 440L); (mk_real_int64 98L); ]); ("y2_lo", [4; 10; 11; 17; 20; 26; 30; 34; 37; 38; 42; 45; 52; 53; ], [(mk_real_int64 182L); (mk_real_int64 258L); (mk_real_int64 220L); (mk_real_int64 464L); (mk_real_int64 340L); (mk_real_int64 444L); (mk_real_int64 220L); (mk_real_int64 422L); (mk_real_int64 220L); (mk_real_int64 480L); (mk_real_int64 20L); (mk_real_int64 608L); (mk_real_int64 384L); (mk_real_int64 194L); ]); ("y2_hi", [15; 16; 22; 23; 25; 28; 31; 32; 36; 39; 41; 43; 47; 48; 50; ], [(mk_real_int64 128L); (mk_real_int64 120L); (mk_real_int64 380L); (mk_real_int64 232L); (mk_real_int64 100L); (mk_real_int64 224L); (mk_real_int64 8L); (mk_real_int64 284L); (mk_real_int64 8L); (mk_real_int64 444L); (mk_real_int64 104L); (mk_real_int64 24L); (mk_real_int64 96L); (mk_real_int64 312L); (mk_real_int64 440L); ]); ("y3_lo", [4; 10; 11; 17; 20; 26; 30; 34; 37; 38; 42; 45; 52; 53; ], [(mk_real_int64 182L); (mk_real_int64 258L); (mk_real_int64 220L); (mk_real_int64 464L); (mk_real_int64 340L); (mk_real_int64 444L); (mk_real_int64 220L); (mk_real_int64 422L); (mk_real_int64 220L); (mk_real_int64 480L); (mk_real_int64 20L); (mk_real_int64 608L); (mk_real_int64 384L); (mk_real_int64 194L); ]); ("y3_hi", [15; 16; 22; 23; 25; 28; 31; 32; 36; 39; 41; 43; 47; 48; 50; ], [(mk_real_int64 128L); (mk_real_int64 120L); (mk_real_int64 380L); (mk_real_int64 232L); (mk_real_int64 100L); (mk_real_int64 224L); (mk_real_int64 8L); (mk_real_int64 284L); (mk_real_int64 8L); (mk_real_int64 444L); (mk_real_int64 104L); (mk_real_int64 24L); (mk_real_int64 96L); (mk_real_int64 312L); (mk_real_int64 440L); ]); ("y4_hi", [5; 6; 8; 11; 14; 15; 19; 21; 23; 26; 28; 30; 34; 36; 41; 42; ], [(mk_real_int64 500L); (mk_real_int64 11L); (mk_real_int64 400L); (mk_real_int64 175L); (mk_real_int64 375L); (mk_real_int64 635L); (mk_real_int64 75L); (mk_real_int64 265L); (mk_real_int64 528L); (mk_real_int64 75L); (mk_real_int64 385L); (mk_real_int64 340L); (mk_real_int64 454L); (mk_real_int64 196L); (mk_real_int64 341L); (mk_real_int64 181L); ]); ("y4_lo", [0; 4; 9; 12; 17; 20; 25; 27; 31; 32; 37; 39; ], [(mk_real_int64 375L); (mk_real_int64 120L); (mk_real_int64 172L); (mk_real_int64 560L); (mk_real_int64 1L); (mk_real_int64 67L); (mk_real_int64 67L); (mk_real_int64 300L); (mk_real_int64 516L); (mk_real_int64 510L); (mk_real_int64 478L); (mk_real_int64 250L); ]); ("y5_hi", [15; 16; 19; 22; 23; 25; 28; 30; 31; 32; 34; 36; 37; 41; 47; 48; 53; ], [(mk_real_int64 128L); (mk_real_int64 500L); (mk_real_int64 400L); (mk_real_int64 380L); (mk_real_int64 552L); (mk_real_int64 375L); (mk_real_int64 224L); (mk_real_int64 45L); (mk_real_int64 8L); (mk_real_int64 284L); (mk_real_int64 528L); (mk_real_int64 8L); (mk_real_int64 45L); (mk_real_int64 104L); (mk_real_int64 96L); (mk_real_int64 24L); (mk_real_int64 256L); ]); ("y5_lo", [4; 10; 11; 17; 20; 26; 38; 39; 42; 43; 45; 50; 52; ], [(mk_real_int64 182L); (mk_real_int64 258L); (mk_real_int64 375L); (mk_real_int64 464L); (mk_real_int64 172L); (mk_real_int64 444L); (mk_real_int64 480L); (mk_real_int64 140L); (mk_real_int64 516L); (mk_real_int64 131L); (mk_real_int64 419L); (mk_real_int64 250L); (mk_real_int64 384L); ]); ("y6_hi", [15; 16; 19; 22; 23; 25; 28; 30; 31; 32; 34; 36; 37; 41; 47; 48; 53; ], [(mk_real_int64 128L); (mk_real_int64 500L); (mk_real_int64 400L); (mk_real_int64 380L); (mk_real_int64 552L); (mk_real_int64 375L); (mk_real_int64 224L); (mk_real_int64 45L); (mk_real_int64 8L); (mk_real_int64 284L); (mk_real_int64 528L); (mk_real_int64 8L); (mk_real_int64 45L); (mk_real_int64 104L); (mk_real_int64 96L); (mk_real_int64 24L); (mk_real_int64 256L); ]); ("y6_lo", [4; 10; 11; 12; 17; 20; 26; 33; 38; 39; 42; 43; 44; 45; 50; 52; 53; 55; ], [(mk_real_int64 182L); (mk_real_int64 258L); (mk_real_int64 97375L); (mk_real_int64 54000L); (mk_real_int64 464L); (mk_real_int64 172L); (mk_real_int64 444L); (mk_real_int64 1000L); (mk_real_int64 480L); (mk_real_int64 140L); (mk_real_int64 516L); (mk_real_int64 131L); (mk_real_int64 80000L); (mk_real_int64 419L); (mk_real_int64 250L); (mk_real_int64 384L); (mk_real_int64 16000L); (mk_real_int64 84000L); ]); ("ye_hi", [12; 13; 38; 41; 42; 44; 45; 51; 52; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]); ("ye_lo", [13; 14; 15; 23; 25; 28; 45; 55; ], [(mk_real_int64 9000L); (mk_real_int64 1000L); (mk_real_int64 12000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 23000L); (mk_real_int64 154000L); (mk_real_int64 1000L); ]); ("yn_hi", [0; 1; 2; 3; 4; 5; 6; 8; ], [(mk_real_int64 200L); (mk_real_int64 780L); (mk_real_int64 200L); (mk_real_int64 101L); (mk_real_int64 101L); (mk_real_int64 1101L); (mk_real_int64 200L); (mk_real_int64 340L); ]); ("yn_lo", [7; 9; 10; 11; 12; ], [(mk_real_int64 672L); (mk_real_int64 800L); (mk_real_int64 368L); (mk_real_int64 244L); (mk_real_int64 1368L); ]); ];; let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;; end;; concl (Test_case.result)