needs "nobranching_lp.hl";;

module Test_case = struct
let hypermap_string = "4436579732 19 4 0 1 2 3 3 0 3 4 3 4 3 5 3 5 3 2 3 5 2 6 3 6 2 1 3 6 1 7 3 7 1 0 4 7 0 8 9 3 8 0 4 3 8 4 10 3 10 4 5 4 10 5 6 11 3 11 6 7 3 11 7 9 3 9 8 12 3 12 8 10 3 12 10 11 3 11 9 12 ";;
let precision = 3;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum", [3; 10; ], [(mk_real_int64 141L); (mk_real_int64 2L); ]);
("azim_sum_neg", [0; 1; 2; 4; 8; 11; 12; ], [(mk_real_int64 58L); (mk_real_int64 94L); (mk_real_int64 53L); (mk_real_int64 5L); (mk_real_int64 61L); (mk_real_int64 341L); (mk_real_int64 271L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 605L); (mk_real_int64 642L); (mk_real_int64 601L); (mk_real_int64 940L); (mk_real_int64 940L); (mk_real_int64 1142L); (mk_real_int64 1142L); (mk_real_int64 940L); (mk_real_int64 1001L); (mk_real_int64 1142L); (mk_real_int64 1142L); (mk_real_int64 940L); (mk_real_int64 860L); ]);
("sol_sum3_neg", [0; 1; 3; 5; 6; 10; ], [(mk_real_int64 180L); (mk_real_int64 269L); (mk_real_int64 347L); (mk_real_int64 314L); (mk_real_int64 186L); (mk_real_int64 202L); ]);
("sol_sum3", [12; 15; ], [(mk_real_int64 271L); (mk_real_int64 271L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; ], [(mk_real_int64 605L); (mk_real_int64 605L); (mk_real_int64 548L); (mk_real_int64 642L); (mk_real_int64 548L); (mk_real_int64 601L); (mk_real_int64 601L); (mk_real_int64 935L); (mk_real_int64 940L); (mk_real_int64 935L); (mk_real_int64 940L); (mk_real_int64 940L); (mk_real_int64 860L); (mk_real_int64 860L); (mk_real_int64 860L); (mk_real_int64 860L); ]);
("tau_sum4_neg", [0; 1; 2; ], [(mk_real_int64 548L); (mk_real_int64 940L); (mk_real_int64 1142L); ]);
("ln_def_neg", [3; 4; 5; 6; 7; 8; 9; 10; 11; ], [(mk_real_int64 36L); (mk_real_int64 36L); (mk_real_int64 259L); (mk_real_int64 259L); (mk_real_int64 36L); (mk_real_int64 103L); (mk_real_int64 259L); (mk_real_int64 259L); (mk_real_int64 36L); ]);
("ln_def", [0; 1; 2; 12; ], [(mk_real_int64 332L); (mk_real_int64 292L); (mk_real_int64 338L); (mk_real_int64 52L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 3804L); (mk_real_int64 4034L); (mk_real_int64 3774L); (mk_real_int64 5903L); (mk_real_int64 5903L); (mk_real_int64 7174L); (mk_real_int64 7174L); (mk_real_int64 5903L); (mk_real_int64 6287L); (mk_real_int64 7174L); (mk_real_int64 7174L); (mk_real_int64 5903L); (mk_real_int64 5401L); ]);
("edge_sym", [0; 3; 6; 9; 12; 15; 18; 21; 49; 50; 53; ], [(mk_real_int64 47L); (mk_real_int64 47L); (mk_real_int64 112L); (mk_real_int64 217L); (mk_real_int64 148L); (mk_real_int64 251L); (mk_real_int64 148L); (mk_real_int64 189L); (mk_real_int64 44L); (mk_real_int64 54L); (mk_real_int64 21L); ]);
("edge_sym_neg", [5; 8; 14; 20; 27; 34; 41; 44; 47; 56; ], [(mk_real_int64 116L); (mk_real_int64 148L); (mk_real_int64 148L); (mk_real_int64 137L); (mk_real_int64 54L); (mk_real_int64 77L); (mk_real_int64 229L); (mk_real_int64 187L); (mk_real_int64 123L); (mk_real_int64 113L); ]);
("y1_def_neg", [0; 7; 9; 10; 12; 16; 17; 19; 29; 31; 33; 34; 35; 36; 42; 45; 48; 49; 50; 53; 55; 57; 58; ], [(mk_real_int64 37L); (mk_real_int64 36L); (mk_real_int64 28L); (mk_real_int64 356L); (mk_real_int64 99L); (mk_real_int64 356L); (mk_real_int64 99L); (mk_real_int64 35L); (mk_real_int64 49L); (mk_real_int64 56L); (mk_real_int64 95L); (mk_real_int64 44L); (mk_real_int64 124L); (mk_real_int64 109L); (mk_real_int64 170L); (mk_real_int64 110L); (mk_real_int64 6L); (mk_real_int64 54L); (mk_real_int64 41L); (mk_real_int64 50L); (mk_real_int64 52L); (mk_real_int64 148L); (mk_real_int64 47L); ]);
("y1_def", [4; 5; 8; 14; 15; 20; 21; 23; 24; 44; 47; 51; 54; ], [(mk_real_int64 29L); (mk_real_int64 119L); (mk_real_int64 163L); (mk_real_int64 195L); (mk_real_int64 132L); (mk_real_int64 181L); (mk_real_int64 114L); (mk_real_int64 120L); (mk_real_int64 29L); (mk_real_int64 178L); (mk_real_int64 171L); (mk_real_int64 30L); (mk_real_int64 119L); ]);
("y2_def", [0; 4; 7; 9; 10; 15; 16; 21; 24; 29; 34; 35; 44; 48; 53; 55; 57; ], [(mk_real_int64 47L); (mk_real_int64 92L); (mk_real_int64 22L); (mk_real_int64 79L); (mk_real_int64 216L); (mk_real_int64 132L); (mk_real_int64 216L); (mk_real_int64 123L); (mk_real_int64 96L); (mk_real_int64 39L); (mk_real_int64 27L); (mk_real_int64 75L); (mk_real_int64 46L); (mk_real_int64 4L); (mk_real_int64 30L); (mk_real_int64 32L); (mk_real_int64 18L); ]);
("y2_def_neg", [5; 8; 12; 14; 17; 19; 20; 23; 31; 33; 36; 42; 45; 47; 49; 50; 51; 54; 58; ], [(mk_real_int64 36L); (mk_real_int64 50L); (mk_real_int64 99L); (mk_real_int64 86L); (mk_real_int64 99L); (mk_real_int64 35L); (mk_real_int64 55L); (mk_real_int64 36L); (mk_real_int64 56L); (mk_real_int64 51L); (mk_real_int64 109L); (mk_real_int64 168L); (mk_real_int64 110L); (mk_real_int64 52L); (mk_real_int64 54L); (mk_real_int64 41L); (mk_real_int64 9L); (mk_real_int64 58L); (mk_real_int64 37L); ]);
("y3_def", [0; 4; 7; 9; 10; 15; 16; 21; 24; 29; 34; 35; 44; 48; 53; 55; 57; ], [(mk_real_int64 47L); (mk_real_int64 92L); (mk_real_int64 22L); (mk_real_int64 79L); (mk_real_int64 216L); (mk_real_int64 132L); (mk_real_int64 216L); (mk_real_int64 123L); (mk_real_int64 96L); (mk_real_int64 39L); (mk_real_int64 27L); (mk_real_int64 75L); (mk_real_int64 46L); (mk_real_int64 4L); (mk_real_int64 30L); (mk_real_int64 32L); (mk_real_int64 18L); ]);
("y3_def_neg", [5; 8; 12; 14; 17; 19; 20; 23; 31; 33; 36; 42; 45; 47; 49; 50; 51; 54; 58; ], [(mk_real_int64 36L); (mk_real_int64 50L); (mk_real_int64 99L); (mk_real_int64 86L); (mk_real_int64 99L); (mk_real_int64 35L); (mk_real_int64 55L); (mk_real_int64 36L); (mk_real_int64 56L); (mk_real_int64 51L); (mk_real_int64 109L); (mk_real_int64 168L); (mk_real_int64 110L); (mk_real_int64 52L); (mk_real_int64 54L); (mk_real_int64 41L); (mk_real_int64 9L); (mk_real_int64 58L); (mk_real_int64 37L); ]);
("y4_def", [1; 4; 10; 16; 19; 32; 35; 38; 39; 42; 46; ], [(mk_real_int64 183L); (mk_real_int64 252L); (mk_real_int64 319L); (mk_real_int64 280L); (mk_real_int64 185L); (mk_real_int64 117L); (mk_real_int64 264L); (mk_real_int64 88L); (mk_real_int64 47L); (mk_real_int64 198L); (mk_real_int64 81L); ]);
("y4_def_neg", [0; 3; 5; 6; 8; 11; 12; 13; 15; 17; 20; 21; 23; 25; 26; 27; 28; 30; 33; 36; 37; 41; 43; 45; ], [(mk_real_int64 80L); (mk_real_int64 41L); (mk_real_int64 173L); (mk_real_int64 407L); (mk_real_int64 68L); (mk_real_int64 68L); (mk_real_int64 407L); (mk_real_int64 68L); (mk_real_int64 24L); (mk_real_int64 68L); (mk_real_int64 85L); (mk_real_int64 73L); (mk_real_int64 39L); (mk_real_int64 104L); (mk_real_int64 51L); (mk_real_int64 142L); (mk_real_int64 75L); (mk_real_int64 119L); (mk_real_int64 77L); (mk_real_int64 7L); (mk_real_int64 37L); (mk_real_int64 57L); (mk_real_int64 60L); (mk_real_int64 149L); ]);
("y5_def", [0; 7; 10; 16; 29; 34; 35; 48; 50; 53; 55; 57; 58; ], [(mk_real_int64 47L); (mk_real_int64 22L); (mk_real_int64 216L); (mk_real_int64 216L); (mk_real_int64 39L); (mk_real_int64 27L); (mk_real_int64 75L); (mk_real_int64 4L); (mk_real_int64 88L); (mk_real_int64 30L); (mk_real_int64 32L); (mk_real_int64 32L); (mk_real_int64 91L); ]);
("y5_def_neg", [4; 5; 8; 9; 12; 14; 15; 17; 19; 20; 21; 23; 24; 28; 31; 33; 36; 40; 42; 44; 45; 47; 49; 51; 54; ], [(mk_real_int64 11L); (mk_real_int64 36L); (mk_real_int64 50L); (mk_real_int64 57L); (mk_real_int64 68L); (mk_real_int64 80L); (mk_real_int64 68L); (mk_real_int64 68L); (mk_real_int64 24L); (mk_real_int64 55L); (mk_real_int64 58L); (mk_real_int64 36L); (mk_real_int64 11L); (mk_real_int64 54L); (mk_real_int64 39L); (mk_real_int64 27L); (mk_real_int64 75L); (mk_real_int64 251L); (mk_real_int64 117L); (mk_real_int64 70L); (mk_real_int64 77L); (mk_real_int64 52L); (mk_real_int64 37L); (mk_real_int64 9L); (mk_real_int64 53L); ]);
("y6_def", [0; 7; 10; 11; 16; 17; 22; 29; 32; 34; 35; 46; 48; 50; 51; 53; 55; 57; 58; ], [(mk_real_int64 47L); (mk_real_int64 339L); (mk_real_int64 216L); (mk_real_int64 475L); (mk_real_int64 216L); (mk_real_int64 407L); (mk_real_int64 258L); (mk_real_int64 39L); (mk_real_int64 78L); (mk_real_int64 27L); (mk_real_int64 75L); (mk_real_int64 129L); (mk_real_int64 4L); (mk_real_int64 88L); (mk_real_int64 14L); (mk_real_int64 30L); (mk_real_int64 32L); (mk_real_int64 32L); (mk_real_int64 95L); ]);
("y6_def_neg", [4; 5; 8; 9; 12; 14; 15; 19; 20; 21; 23; 24; 31; 33; 36; 42; 44; 45; 47; 49; 54; ], [(mk_real_int64 11L); (mk_real_int64 36L); (mk_real_int64 50L); (mk_real_int64 57L); (mk_real_int64 68L); (mk_real_int64 80L); (mk_real_int64 68L); (mk_real_int64 24L); (mk_real_int64 55L); (mk_real_int64 58L); (mk_real_int64 36L); (mk_real_int64 11L); (mk_real_int64 39L); (mk_real_int64 27L); (mk_real_int64 75L); (mk_real_int64 117L); (mk_real_int64 70L); (mk_real_int64 77L); (mk_real_int64 46L); (mk_real_int64 37L); (mk_real_int64 53L); ]);
("y8_def_neg", [4; 11; ], [(mk_real_int64 54L); (mk_real_int64 251L); ]);
("RHA", [0; 1; 2; 3; 4; 6; 7; 9; 11; 12; 13; 15; 17; 18; 19; 21; 22; 24; 27; 30; 31; 32; 34; 36; 37; 42; 43; 45; 48; 49; 52; 53; 55; 56; 57; 58; ], [(mk_real_int64 392L); (mk_real_int64 53L); (mk_real_int64 94L); (mk_real_int64 58L); (mk_real_int64 268L); (mk_real_int64 334L); (mk_real_int64 274L); (mk_real_int64 426L); (mk_real_int64 58L); (mk_real_int64 94L); (mk_real_int64 500L); (mk_real_int64 500L); (mk_real_int64 94L); (mk_real_int64 53L); (mk_real_int64 541L); (mk_real_int64 329L); (mk_real_int64 339L); (mk_real_int64 269L); (mk_real_int64 61L); (mk_real_int64 5L); (mk_real_int64 5L); (mk_real_int64 61L); (mk_real_int64 128L); (mk_real_int64 5L); (mk_real_int64 207L); (mk_real_int64 200L); (mk_real_int64 202L); (mk_real_int64 202L); (mk_real_int64 70L); (mk_real_int64 141L); (mk_real_int64 141L); (mk_real_int64 199L); (mk_real_int64 195L); (mk_real_int64 282L); (mk_real_int64 110L); (mk_real_int64 70L); ]);
("yy10", [6; 21; 24; 41; ], [(mk_real_int64 61L); (mk_real_int64 8L); (mk_real_int64 174L); (mk_real_int64 229L); ]);
("tau4", [2; ], [(mk_real_int64 1139L); ]);
("ineq105", [0; ], [(mk_real_int64 118L); ]);
("ineq106", [0; 3; 5; 6; 12; 17; 20; 21; 26; 27; 30; 36; 41; 43; 45; 46; ], [(mk_real_int64 66L); (mk_real_int64 60L); (mk_real_int64 111L); (mk_real_int64 594L); (mk_real_int64 594L); (mk_real_int64 10L); (mk_real_int64 70L); (mk_real_int64 66L); (mk_real_int64 74L); (mk_real_int64 207L); (mk_real_int64 2L); (mk_real_int64 10L); (mk_real_int64 84L); (mk_real_int64 87L); (mk_real_int64 172L); (mk_real_int64 10L); ]);
("ineq107", [1; 4; 10; 16; 19; 32; 35; 39; 42; ], [(mk_real_int64 237L); (mk_real_int64 327L); (mk_real_int64 430L); (mk_real_int64 362L); (mk_real_int64 239L); (mk_real_int64 202L); (mk_real_int64 341L); (mk_real_int64 61L); (mk_real_int64 271L); ]);
("ineq108", [21; 25; ], [(mk_real_int64 40L); (mk_real_int64 74L); ]);
("ineq109", [38; 46; ], [(mk_real_int64 271L); (mk_real_int64 271L); ]);
("ineq110", [0; 5; 11; 17; 20; 32; ], [(mk_real_int64 180L); (mk_real_int64 269L); (mk_real_int64 347L); (mk_real_int64 314L); (mk_real_int64 186L); (mk_real_int64 202L); ]);
("ineq111", [5; 8; 10; 13; 15; 23; 25; 28; 30; 33; 37; 42; 45; ], [(mk_real_int64 355L); (mk_real_int64 548L); (mk_real_int64 113L); (mk_real_int64 548L); (mk_real_int64 194L); (mk_real_int64 310L); (mk_real_int64 431L); (mk_real_int64 603L); (mk_real_int64 940L); (mk_real_int64 613L); (mk_real_int64 299L); (mk_real_int64 94L); (mk_real_int64 247L); ]);
("ineq112", [39; ], [(mk_real_int64 415L); ]);
("ineq113", [10; 16; 21; 25; ], [(mk_real_int64 42L); (mk_real_int64 21L); (mk_real_int64 391L); (mk_real_int64 304L); ]);
("ineq114", [0; 2; 5; 9; 11; 15; 17; 18; 20; 22; 26; 29; 33; 37; 40; 41; 43; 44; 45; ], [(mk_real_int64 367L); (mk_real_int64 239L); (mk_real_int64 250L); (mk_real_int64 244L); (mk_real_int64 244L); (mk_real_int64 362L); (mk_real_int64 24L); (mk_real_int64 244L); (mk_real_int64 357L); (mk_real_int64 233L); (mk_real_int64 205L); (mk_real_int64 331L); (mk_real_int64 326L); (mk_real_int64 561L); (mk_real_int64 128L); (mk_real_int64 317L); (mk_real_int64 312L); (mk_real_int64 454L); (mk_real_int64 612L); ]);
("ineq119", [7; ], [(mk_real_int64 753L); ]);
("ineq120", [0; 5; 11; ], [(mk_real_int64 548L); (mk_real_int64 186L); (mk_real_int64 3L); ]);
];;

(***************)
(* Variables   *)
(***************)
let target_variables = [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 2300L); (mk_real_int64 2050L); (mk_real_int64 1550L); (mk_real_int64 2975L); (mk_real_int64 2975L); (mk_real_int64 3550L); (mk_real_int64 3550L); (mk_real_int64 2975L); (mk_real_int64 2775L); (mk_real_int64 3550L); (mk_real_int64 3550L); (mk_real_int64 2975L); (mk_real_int64 2825L); ]);
];;

(*************************)

let variable_bounds = [
("azim_hi", [0; 4; 5; 6; 14; 21; 33; 34; 37; 41; 45; 49; 52; 55; 56; 57; ], [(mk_real_int64 384L); (mk_real_int64 742L); (mk_real_int64 1000L); (mk_real_int64 614L); (mk_real_int64 122L); (mk_real_int64 24L); (mk_real_int64 264L); (mk_real_int64 330L); (mk_real_int64 206L); (mk_real_int64 274L); (mk_real_int64 76L); (mk_real_int64 186L); (mk_real_int64 128L); (mk_real_int64 312L); (mk_real_int64 204L); (mk_real_int64 112L); ]);
("azim_lo", [9; 13; 15; 19; 20; 22; 24; 26; 28; 29; 30; 51; 53; ], [(mk_real_int64 500L); (mk_real_int64 256L); (mk_real_int64 256L); (mk_real_int64 388L); (mk_real_int64 439L); (mk_real_int64 256L); (mk_real_int64 518L); (mk_real_int64 12L); (mk_real_int64 109L); (mk_real_int64 269L); (mk_real_int64 142L); (mk_real_int64 405L); (mk_real_int64 558L); ]);
("rhazim_lo", [4; 6; 7; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("rhazim_hi", [3; 11; 53; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("rho_hi", [1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 328L); (mk_real_int64 2684L); (mk_real_int64 3960L); (mk_real_int64 3960L); (mk_real_int64 2328L); (mk_real_int64 2328L); (mk_real_int64 3960L); (mk_real_int64 3284L); (mk_real_int64 2328L); (mk_real_int64 2328L); (mk_real_int64 3960L); (mk_real_int64 3240L); ]);
("rho_lo", [0; ], [(mk_real_int64 2180L); ]);
("tau_hi", [1; 4; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("tau_lo", [8; 9; 11; 14; 18; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("y1_lo", [0; 4; 5; 9; 10; 14; 15; 16; 21; 23; 24; 34; 35; 42; 44; 45; 47; 53; 54; 55; ], [(mk_real_int64 170L); (mk_real_int64 200L); (mk_real_int64 500L); (mk_real_int64 280L); (mk_real_int64 400L); (mk_real_int64 340L); (mk_real_int64 140L); (mk_real_int64 400L); (mk_real_int64 680L); (mk_real_int64 500L); (mk_real_int64 320L); (mk_real_int64 400L); (mk_real_int64 200L); (mk_real_int64 400L); (mk_real_int64 240L); (mk_real_int64 340L); (mk_real_int64 500L); (mk_real_int64 400L); (mk_real_int64 420L); (mk_real_int64 200L); ]);
("y1_hi", [8; 12; 17; 19; 31; 33; 36; 49; 50; 51; 57; 58; ], [(mk_real_int64 500L); (mk_real_int64 360L); (mk_real_int64 360L); (mk_real_int64 80L); (mk_real_int64 200L); (mk_real_int64 30L); (mk_real_int64 460L); (mk_real_int64 180L); (mk_real_int64 79L); (mk_real_int64 500L); (mk_real_int64 340L); (mk_real_int64 79L); ]);
("y2_hi", [0; 4; 8; 10; 12; 14; 16; 17; 19; 24; 31; 33; 35; 36; 44; 47; 49; 50; 53; 57; ], [(mk_real_int64 436L); (mk_real_int64 424L); (mk_real_int64 296L); (mk_real_int64 216L); (mk_real_int64 360L); (mk_real_int64 300L); (mk_real_int64 216L); (mk_real_int64 360L); (mk_real_int64 80L); (mk_real_int64 160L); (mk_real_int64 200L); (mk_real_int64 356L); (mk_real_int64 348L); (mk_real_int64 460L); (mk_real_int64 56L); (mk_real_int64 168L); (mk_real_int64 180L); (mk_real_int64 79L); (mk_real_int64 576L); (mk_real_int64 148L); ]);
("y2_lo", [5; 7; 9; 15; 20; 21; 23; 29; 34; 42; 45; 48; 51; 54; 55; 58; ], [(mk_real_int64 24L); (mk_real_int64 160L); (mk_real_int64 276L); (mk_real_int64 140L); (mk_real_int64 24L); (mk_real_int64 40L); (mk_real_int64 328L); (mk_real_int64 416L); (mk_real_int64 64L); (mk_real_int64 472L); (mk_real_int64 340L); (mk_real_int64 360L); (mk_real_int64 272L); (mk_real_int64 112L); (mk_real_int64 332L); (mk_real_int64 281L); ]);
("y3_hi", [0; 4; 8; 10; 12; 14; 16; 17; 19; 24; 31; 33; 35; 36; 44; 47; 49; 50; 53; 57; ], [(mk_real_int64 436L); (mk_real_int64 424L); (mk_real_int64 296L); (mk_real_int64 216L); (mk_real_int64 360L); (mk_real_int64 300L); (mk_real_int64 216L); (mk_real_int64 360L); (mk_real_int64 80L); (mk_real_int64 160L); (mk_real_int64 200L); (mk_real_int64 356L); (mk_real_int64 348L); (mk_real_int64 460L); (mk_real_int64 56L); (mk_real_int64 168L); (mk_real_int64 180L); (mk_real_int64 79L); (mk_real_int64 576L); (mk_real_int64 148L); ]);
("y3_lo", [5; 7; 9; 15; 20; 21; 23; 29; 34; 42; 45; 48; 51; 54; 55; 58; ], [(mk_real_int64 24L); (mk_real_int64 160L); (mk_real_int64 276L); (mk_real_int64 140L); (mk_real_int64 24L); (mk_real_int64 40L); (mk_real_int64 328L); (mk_real_int64 416L); (mk_real_int64 64L); (mk_real_int64 472L); (mk_real_int64 340L); (mk_real_int64 360L); (mk_real_int64 272L); (mk_real_int64 112L); (mk_real_int64 332L); (mk_real_int64 281L); ]);
("y4_lo", [0; 3; 5; 8; 10; 11; 13; 15; 16; 17; 19; 25; 28; 32; 35; 37; 38; 41; 42; 46; ], [(mk_real_int64 490L); (mk_real_int64 100L); (mk_real_int64 134L); (mk_real_int64 500L); (mk_real_int64 735L); (mk_real_int64 12L); (mk_real_int64 500L); (mk_real_int64 250L); (mk_real_int64 174L); (mk_real_int64 394L); (mk_real_int64 253L); (mk_real_int64 565L); (mk_real_int64 375L); (mk_real_int64 446L); (mk_real_int64 407L); (mk_real_int64 375L); (mk_real_int64 196L); (mk_real_int64 540L); (mk_real_int64 267L); (mk_real_int64 46L); ]);
("y4_hi", [1; 4; 6; 12; 20; 21; 23; 26; 27; 30; 33; 36; 39; 43; 45; ], [(mk_real_int64 201L); (mk_real_int64 771L); (mk_real_int64 110L); (mk_real_int64 110L); (mk_real_int64 594L); (mk_real_int64 390L); (mk_real_int64 250L); (mk_real_int64 310L); (mk_real_int64 205L); (mk_real_int64 130L); (mk_real_int64 375L); (mk_real_int64 150L); (mk_real_int64 153L); (mk_real_int64 405L); (mk_real_int64 305L); ]);
("y5_hi", [0; 8; 9; 10; 14; 16; 21; 24; 31; 33; 35; 42; 45; 47; 53; 54; 58; ], [(mk_real_int64 436L); (mk_real_int64 296L); (mk_real_int64 305L); (mk_real_int64 216L); (mk_real_int64 515L); (mk_real_int64 216L); (mk_real_int64 96L); (mk_real_int64 24L); (mk_real_int64 250L); (mk_real_int64 61L); (mk_real_int64 348L); (mk_real_int64 228L); (mk_real_int64 375L); (mk_real_int64 168L); (mk_real_int64 576L); (mk_real_int64 58L); (mk_real_int64 444L); ]);
("y5_lo", [4; 5; 7; 12; 15; 17; 19; 20; 23; 29; 34; 36; 44; 48; 49; 50; 51; 55; 57; ], [(mk_real_int64 256L); (mk_real_int64 24L); (mk_real_int64 160L); (mk_real_int64 500L); (mk_real_int64 12L); (mk_real_int64 500L); (mk_real_int64 250L); (mk_real_int64 24L); (mk_real_int64 328L); (mk_real_int64 416L); (mk_real_int64 64L); (mk_real_int64 375L); (mk_real_int64 296L); (mk_real_int64 360L); (mk_real_int64 375L); (mk_real_int64 196L); (mk_real_int64 272L); (mk_real_int64 332L); (mk_real_int64 267L); ]);
("y6_hi", [0; 8; 9; 10; 14; 16; 21; 24; 31; 33; 35; 42; 45; 47; 53; 54; 58; ], [(mk_real_int64 436L); (mk_real_int64 296L); (mk_real_int64 305L); (mk_real_int64 216L); (mk_real_int64 515L); (mk_real_int64 216L); (mk_real_int64 96L); (mk_real_int64 24L); (mk_real_int64 250L); (mk_real_int64 61L); (mk_real_int64 348L); (mk_real_int64 228L); (mk_real_int64 375L); (mk_real_int64 168L); (mk_real_int64 576L); (mk_real_int64 58L); (mk_real_int64 444L); ]);
("y6_lo", [4; 5; 7; 11; 12; 15; 17; 19; 20; 22; 23; 29; 32; 34; 36; 44; 46; 47; 48; 49; 50; 51; 55; 57; 58; ], [(mk_real_int64 256L); (mk_real_int64 24L); (mk_real_int64 317160L); (mk_real_int64 475000L); (mk_real_int64 500L); (mk_real_int64 12L); (mk_real_int64 475500L); (mk_real_int64 250L); (mk_real_int64 24L); (mk_real_int64 258000L); (mk_real_int64 328L); (mk_real_int64 416L); (mk_real_int64 78000L); (mk_real_int64 64L); (mk_real_int64 375L); (mk_real_int64 296L); (mk_real_int64 129000L); (mk_real_int64 6000L); (mk_real_int64 360L); (mk_real_int64 375L); (mk_real_int64 196L); (mk_real_int64 23272L); (mk_real_int64 332L); (mk_real_int64 267L); (mk_real_int64 4000L); ]);
("y8_hi", [4; 11; ], [(mk_real_int64 54000L); (mk_real_int64 251000L); ]);
("ye_hi", [19; 21; 48; 50; 51; 55; ], [(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", [6; ], [(mk_real_int64 1000L); ]);
("yn_hi", [0; 3; 6; 7; 9; 10; 11; 12; ], [(mk_real_int64 564L); (mk_real_int64 1264L); (mk_real_int64 316L); (mk_real_int64 1264L); (mk_real_int64 1316L); (mk_real_int64 1316L); (mk_real_int64 264L); (mk_real_int64 1004L); ]);
("yn_lo", [1; 2; 4; 5; 8; ], [(mk_real_int64 516L); (mk_real_int64 974L); (mk_real_int64 736L); (mk_real_int64 684L); (mk_real_int64 828L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;
end;;

concl (Test_case.result)