needs "nobranching_lp.hl";;
module Test_case = struct
let hypermap_string = "97685954266 21 6 0 1 2 3 4 5 4 0 5 6 7 3 6 5 4 3 6 4 8 3 8 4 9 3 9 4 3 3 9 3 10 3 10 3 11 3 11 3 2 3 11 2 1 3 11 1 12 3 12 1 0 3 12 0 13 3 13 0 7 3 13 7 14 3 14 7 8 3 7 6 8 3 14 8 9 3 14 9 10 4 12 13 14 10 3 10 11 12 ";;
let precision = 3;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum_neg", [3; 7; 8; 9; ], [(mk_real_int64 162L); (mk_real_int64 137L); (mk_real_int64 53L); (mk_real_int64 120L); ]);
("azim_sum", [10; 11; 14; ], [(mk_real_int64 53L); (mk_real_int64 279L); (mk_real_int64 56L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 961L); (mk_real_int64 1227L); (mk_real_int64 1227L); (mk_real_int64 750L); (mk_real_int64 1227L); (mk_real_int64 1227L); (mk_real_int64 1101L); (mk_real_int64 961L); (mk_real_int64 961L); (mk_real_int64 1196L); (mk_real_int64 1101L); (mk_real_int64 1196L); (mk_real_int64 1196L); (mk_real_int64 932L); (mk_real_int64 1196L); ]);
("sol_sum3", [1; 2; 14; 15; ], [(mk_real_int64 53L); (mk_real_int64 53L); (mk_real_int64 53L); (mk_real_int64 22L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; ], [(mk_real_int64 857L); (mk_real_int64 961L); (mk_real_int64 961L); (mk_real_int64 1196L); (mk_real_int64 1196L); (mk_real_int64 932L); (mk_real_int64 750L); (mk_real_int64 750L); (mk_real_int64 932L); (mk_real_int64 1196L); (mk_real_int64 1146L); (mk_real_int64 1101L); (mk_real_int64 1101L); (mk_real_int64 961L); (mk_real_int64 961L); (mk_real_int64 961L); (mk_real_int64 1196L); (mk_real_int64 932L); ]);
("tau_sum4_neg", [0; 1; ], [(mk_real_int64 961L); (mk_real_int64 1196L); ]);
("tau_sum6_neg", [0; ], [(mk_real_int64 1227L); ]);
("ln_def_neg", [0; 1; 2; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 60L); (mk_real_int64 353L); (mk_real_int64 353L); (mk_real_int64 353L); (mk_real_int64 353L); (mk_real_int64 214L); (mk_real_int64 60L); (mk_real_int64 60L); (mk_real_int64 318L); (mk_real_int64 214L); (mk_real_int64 318L); (mk_real_int64 318L); (mk_real_int64 28L); (mk_real_int64 318L); ]);
("ln_def", [3; ], [(mk_real_int64 173L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 6041L); (mk_real_int64 7712L); (mk_real_int64 7712L); (mk_real_int64 4711L); (mk_real_int64 7712L); (mk_real_int64 7712L); (mk_real_int64 6918L); (mk_real_int64 6041L); (mk_real_int64 6041L); (mk_real_int64 7513L); (mk_real_int64 6918L); (mk_real_int64 7513L); (mk_real_int64 7513L); (mk_real_int64 5856L); (mk_real_int64 7513L); ]);
("edge_sym", [12; 14; 17; 33; 35; 57; ], [(mk_real_int64 41L); (mk_real_int64 36L); (mk_real_int64 66L); (mk_real_int64 228L); (mk_real_int64 107L); (mk_real_int64 111L); ]);
("edge_sym_neg", [15; 18; 21; 23; 24; 26; 30; 39; 41; 45; 47; 50; 51; ], [(mk_real_int64 109L); (mk_real_int64 213L); (mk_real_int64 178L); (mk_real_int64 46L); (mk_real_int64 189L); (mk_real_int64 231L); (mk_real_int64 161L); (mk_real_int64 139L); (mk_real_int64 121L); (mk_real_int64 205L); (mk_real_int64 99L); (mk_real_int64 196L); (mk_real_int64 10L); ]);
("y1_def_neg", [11; 12; 14; 17; 18; 20; 21; 23; 25; 26; 28; 29; 31; 33; 35; 36; 37; 38; 39; 40; 41; 42; 43; 44; 46; 48; 49; 50; 52; 54; 55; 57; 58; 59; ], [(mk_real_int64 63L); (mk_real_int64 48L); (mk_real_int64 147L); (mk_real_int64 317L); (mk_real_int64 109L); (mk_real_int64 19L); (mk_real_int64 234L); (mk_real_int64 234L); (mk_real_int64 158L); (mk_real_int64 121L); (mk_real_int64 109L); (mk_real_int64 202L); (mk_real_int64 45L); (mk_real_int64 251L); (mk_real_int64 345L); (mk_real_int64 171L); (mk_real_int64 13L); (mk_real_int64 234L); (mk_real_int64 19L); (mk_real_int64 20L); (mk_real_int64 49L); (mk_real_int64 185L); (mk_real_int64 12L); (mk_real_int64 274L); (mk_real_int64 12L); (mk_real_int64 91L); (mk_real_int64 141L); (mk_real_int64 103L); (mk_real_int64 160L); (mk_real_int64 8L); (mk_real_int64 141L); (mk_real_int64 172L); (mk_real_int64 2L); (mk_real_int64 78L); ]);
("y1_def", [10; 13; 19; 22; 30; 32; 51; 53; 56; ], [(mk_real_int64 16L); (mk_real_int64 42L); (mk_real_int64 60L); (mk_real_int64 60L); (mk_real_int64 81L); (mk_real_int64 81L); (mk_real_int64 27L); (mk_real_int64 42L); (mk_real_int64 16L); ]);
("y2_def", [11; 18; 20; 25; 28; 29; 31; 33; 36; 37; 39; 40; 41; 43; 46; 49; 55; 58; ], [(mk_real_int64 38L); (mk_real_int64 53L); (mk_real_int64 11L); (mk_real_int64 96L); (mk_real_int64 66L); (mk_real_int64 20L); (mk_real_int64 27L); (mk_real_int64 58L); (mk_real_int64 116L); (mk_real_int64 20L); (mk_real_int64 11L); (mk_real_int64 12L); (mk_real_int64 30L); (mk_real_int64 19L); (mk_real_int64 19L); (mk_real_int64 85L); (mk_real_int64 85L); (mk_real_int64 3L); ]);
("y2_def_neg", [10; 12; 13; 14; 17; 19; 21; 22; 23; 26; 30; 32; 35; 38; 42; 44; 48; 50; 51; 52; 53; 54; 56; 57; 59; ], [(mk_real_int64 5L); (mk_real_int64 48L); (mk_real_int64 13L); (mk_real_int64 84L); (mk_real_int64 61L); (mk_real_int64 18L); (mk_real_int64 204L); (mk_real_int64 18L); (mk_real_int64 204L); (mk_real_int64 80L); (mk_real_int64 25L); (mk_real_int64 25L); (mk_real_int64 60L); (mk_real_int64 204L); (mk_real_int64 185L); (mk_real_int64 152L); (mk_real_int64 91L); (mk_real_int64 48L); (mk_real_int64 8L); (mk_real_int64 114L); (mk_real_int64 13L); (mk_real_int64 8L); (mk_real_int64 5L); (mk_real_int64 40L); (mk_real_int64 156L); ]);
("y3_def", [11; 18; 20; 25; 28; 29; 31; 33; 36; 37; 39; 40; 41; 43; 46; 49; 55; 58; ], [(mk_real_int64 38L); (mk_real_int64 53L); (mk_real_int64 11L); (mk_real_int64 96L); (mk_real_int64 66L); (mk_real_int64 20L); (mk_real_int64 27L); (mk_real_int64 58L); (mk_real_int64 116L); (mk_real_int64 20L); (mk_real_int64 11L); (mk_real_int64 12L); (mk_real_int64 30L); (mk_real_int64 19L); (mk_real_int64 19L); (mk_real_int64 85L); (mk_real_int64 85L); (mk_real_int64 3L); ]);
("y3_def_neg", [10; 12; 13; 14; 17; 19; 21; 22; 23; 26; 30; 32; 35; 38; 42; 44; 48; 50; 51; 52; 53; 54; 56; 57; 59; ], [(mk_real_int64 5L); (mk_real_int64 48L); (mk_real_int64 13L); (mk_real_int64 84L); (mk_real_int64 61L); (mk_real_int64 18L); (mk_real_int64 204L); (mk_real_int64 18L); (mk_real_int64 204L); (mk_real_int64 80L); (mk_real_int64 25L); (mk_real_int64 25L); (mk_real_int64 60L); (mk_real_int64 204L); (mk_real_int64 185L); (mk_real_int64 152L); (mk_real_int64 91L); (mk_real_int64 48L); (mk_real_int64 8L); (mk_real_int64 114L); (mk_real_int64 13L); (mk_real_int64 8L); (mk_real_int64 5L); (mk_real_int64 40L); (mk_real_int64 156L); ]);
("y4_def_neg", [1; 2; 4; 7; 8; 10; 11; 13; 15; 16; 18; 19; 21; 23; 25; 26; 27; 28; 29; 30; 31; 32; 33; 34; 36; 38; 39; 40; 42; 45; 47; 48; 49; ], [(mk_real_int64 72L); (mk_real_int64 33L); (mk_real_int64 97L); (mk_real_int64 292L); (mk_real_int64 98L); (mk_real_int64 22L); (mk_real_int64 171L); (mk_real_int64 171L); (mk_real_int64 181L); (mk_real_int64 96L); (mk_real_int64 125L); (mk_real_int64 202L); (mk_real_int64 51L); (mk_real_int64 260L); (mk_real_int64 319L); (mk_real_int64 219L); (mk_real_int64 38L); (mk_real_int64 171L); (mk_real_int64 22L); (mk_real_int64 22L); (mk_real_int64 56L); (mk_real_int64 129L); (mk_real_int64 36L); (mk_real_int64 224L); (mk_real_int64 36L); (mk_real_int64 63L); (mk_real_int64 161L); (mk_real_int64 87L); (mk_real_int64 124L); (mk_real_int64 161L); (mk_real_int64 147L); (mk_real_int64 6L); (mk_real_int64 3L); ]);
("y4_def", [0; 3; 9; 12; 20; 22; 41; 43; 44; 46; ], [(mk_real_int64 25L); (mk_real_int64 65L); (mk_real_int64 92L); (mk_real_int64 92L); (mk_real_int64 125L); (mk_real_int64 125L); (mk_real_int64 41L); (mk_real_int64 65L); (mk_real_int64 17L); (mk_real_int64 25L); ]);
("y5_def", [11; 18; 20; 25; 28; 29; 31; 33; 36; 37; 39; 40; 41; 43; 46; 49; 54; 55; 58; ], [(mk_real_int64 38L); (mk_real_int64 78L); (mk_real_int64 11L); (mk_real_int64 96L); (mk_real_int64 66L); (mk_real_int64 39L); (mk_real_int64 27L); (mk_real_int64 76L); (mk_real_int64 116L); (mk_real_int64 20L); (mk_real_int64 11L); (mk_real_int64 12L); (mk_real_int64 30L); (mk_real_int64 19L); (mk_real_int64 19L); (mk_real_int64 85L); (mk_real_int64 17L); (mk_real_int64 85L); (mk_real_int64 3L); ]);
("y5_def_neg", [10; 12; 13; 14; 17; 19; 21; 22; 23; 26; 30; 32; 35; 38; 42; 44; 48; 50; 51; 52; 53; 56; 57; 59; ], [(mk_real_int64 5L); (mk_real_int64 33L); (mk_real_int64 13L); (mk_real_int64 29L); (mk_real_int64 13L); (mk_real_int64 18L); (mk_real_int64 138L); (mk_real_int64 18L); (mk_real_int64 138L); (mk_real_int64 50L); (mk_real_int64 25L); (mk_real_int64 25L); (mk_real_int64 9L); (mk_real_int64 138L); (mk_real_int64 129L); (mk_real_int64 92L); (mk_real_int64 63L); (mk_real_int64 27L); (mk_real_int64 8L); (mk_real_int64 74L); (mk_real_int64 13L); (mk_real_int64 5L); (mk_real_int64 4L); (mk_real_int64 114L); ]);
("y6_def", [11; 16; 18; 19; 20; 22; 25; 28; 29; 31; 33; 36; 37; 38; 39; 40; 41; 42; 43; 44; 46; 49; 53; 54; 55; 56; 57; 58; 59; ], [(mk_real_int64 38L); (mk_real_int64 74L); (mk_real_int64 78L); (mk_real_int64 94L); (mk_real_int64 46L); (mk_real_int64 316L); (mk_real_int64 96L); (mk_real_int64 66L); (mk_real_int64 149L); (mk_real_int64 445L); (mk_real_int64 76L); (mk_real_int64 116L); (mk_real_int64 52L); (mk_real_int64 27L); (mk_real_int64 11L); (mk_real_int64 238L); (mk_real_int64 30L); (mk_real_int64 44L); (mk_real_int64 213L); (mk_real_int64 36L); (mk_real_int64 268L); (mk_real_int64 85L); (mk_real_int64 216L); (mk_real_int64 205L); (mk_real_int64 161L); (mk_real_int64 377L); (mk_real_int64 1L); (mk_real_int64 3L); (mk_real_int64 195L); ]);
("y6_def_neg", [10; 12; 13; 14; 17; 21; 23; 26; 30; 32; 35; 48; 50; 51; 52; ], [(mk_real_int64 5L); (mk_real_int64 33L); (mk_real_int64 13L); (mk_real_int64 29L); (mk_real_int64 13L); (mk_real_int64 138L); (mk_real_int64 138L); (mk_real_int64 50L); (mk_real_int64 25L); (mk_real_int64 25L); (mk_real_int64 9L); (mk_real_int64 19L); (mk_real_int64 27L); (mk_real_int64 8L); (mk_real_int64 4L); ]);
("RHA", [6; 9; 10; 12; 14; 18; 26; 29; 31; 33; 40; 48; 50; 52; 57; 65; 67; ], [(mk_real_int64 266L); (mk_real_int64 140L); (mk_real_int64 105L); (mk_real_int64 371L); (mk_real_int64 201L); (mk_real_int64 66L); (mk_real_int64 252L); (mk_real_int64 247L); (mk_real_int64 108L); (mk_real_int64 157L); (mk_real_int64 17L); (mk_real_int64 95L); (mk_real_int64 83L); (mk_real_int64 92L); (mk_real_int64 98L); (mk_real_int64 264L); (mk_real_int64 264L); ]);
("RHB", [5; 42; 62; ], [(mk_real_int64 266L); (mk_real_int64 45L); (mk_real_int64 95L); ]);
("yy10", [11; ], [(mk_real_int64 30L); ]);
("tau4", [0; 1; ], [(mk_real_int64 123L); (mk_real_int64 624L); ]);
("tau6", [0; ], [(mk_real_int64 1227L); ]);
("ineq106", [1; 4; 7; 8; 10; 11; 13; 15; 16; 18; 19; 21; 23; 25; 26; 28; 29; 30; 31; 34; 39; 40; 42; 45; 47; ], [(mk_real_int64 105L); (mk_real_int64 65L); (mk_real_int64 266L); (mk_real_int64 168L); (mk_real_int64 32L); (mk_real_int64 32L); (mk_real_int64 32L); (mk_real_int64 264L); (mk_real_int64 43L); (mk_real_int64 182L); (mk_real_int64 231L); (mk_real_int64 75L); (mk_real_int64 320L); (mk_real_int64 295L); (mk_real_int64 264L); (mk_real_int64 32L); (mk_real_int64 32L); (mk_real_int64 33L); (mk_real_int64 82L); (mk_real_int64 126L); (mk_real_int64 234L); (mk_real_int64 57L); (mk_real_int64 48L); (mk_real_int64 234L); (mk_real_int64 136L); ]);
("ineq107", [0; 3; 9; 12; 20; 22; 41; 43; 46; 49; ], [(mk_real_int64 33L); (mk_real_int64 84L); (mk_real_int64 120L); (mk_real_int64 120L); (mk_real_int64 162L); (mk_real_int64 162L); (mk_real_int64 53L); (mk_real_int64 84L); (mk_real_int64 32L); (mk_real_int64 120L); ]);
("ineq108", [26; 27; 33; 36; 48; ], [(mk_real_int64 56L); (mk_real_int64 56L); (mk_real_int64 53L); (mk_real_int64 53L); (mk_real_int64 8L); ]);
("ineq109", [4; 8; 44; 47; ], [(mk_real_int64 53L); (mk_real_int64 53L); (mk_real_int64 53L); (mk_real_int64 22L); ]);
("ineq111", [2; 4; 7; 11; 13; 16; 19; 23; 25; 28; 32; 34; 38; 40; 42; 47; 49; ], [(mk_real_int64 265L); (mk_real_int64 555L); (mk_real_int64 876L); (mk_real_int64 1196L); (mk_real_int64 1196L); (mk_real_int64 530L); (mk_real_int64 355L); (mk_real_int64 327L); (mk_real_int64 932L); (mk_real_int64 1196L); (mk_real_int64 1029L); (mk_real_int64 1101L); (mk_real_int64 504L); (mk_real_int64 384L); (mk_real_int64 730L); (mk_real_int64 482L); (mk_real_int64 764L); ]);
("ineq114", [2; 4; 7; 16; 19; 21; 23; 30; 38; 39; 40; 42; 45; 48; 51; 53; ], [(mk_real_int64 592L); (mk_real_int64 406L); (mk_real_int64 85L); (mk_real_int64 402L); (mk_real_int64 394L); (mk_real_int64 172L); (mk_real_int64 251L); (mk_real_int64 117L); (mk_real_int64 597L); (mk_real_int64 445L); (mk_real_int64 133L); (mk_real_int64 232L); (mk_real_int64 480L); (mk_real_int64 432L); (mk_real_int64 421L); (mk_real_int64 511L); ]);
("ineq119", [2; 5; ], [(mk_real_int64 303L); (mk_real_int64 130L); ]);
("ineq120", [0; 3; 4; 6; ], [(mk_real_int64 351L); (mk_real_int64 184L); (mk_real_int64 74L); (mk_real_int64 368L); ]);
];;
(***************)
(* Variables *)
(***************)
let target_variables = [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 2825L); (mk_real_int64 3400L); (mk_real_int64 3400L); (mk_real_int64 2575L); (mk_real_int64 3400L); (mk_real_int64 3400L); (mk_real_int64 3350L); (mk_real_int64 2825L); (mk_real_int64 2825L); (mk_real_int64 3225L); (mk_real_int64 3350L); (mk_real_int64 3225L); (mk_real_int64 3225L); (mk_real_int64 3200L); (mk_real_int64 3225L); ]);
];;
(*************************)
let variable_bounds = [
("azim_hi", [2; 5; 6; 14; 17; 18; 33; 40; 50; 52; 61; ], [(mk_real_int64 162000L); (mk_real_int64 313000L); (mk_real_int64 58L); (mk_real_int64 156L); (mk_real_int64 210L); (mk_real_int64 1000L); (mk_real_int64 126L); (mk_real_int64 242L); (mk_real_int64 258L); (mk_real_int64 232L); (mk_real_int64 92L); ]);
("azim_lo", [5; 8; 9; 10; 12; 26; 29; 31; 42; 48; 49; 55; 56; 58; 62; 63; 65; 67; ], [(mk_real_int64 184L); (mk_real_int64 259L); (mk_real_int64 528L); (mk_real_int64 1000L); (mk_real_int64 408L); (mk_real_int64 348L); (mk_real_int64 356L); (mk_real_int64 328L); (mk_real_int64 80L); (mk_real_int64 278L); (mk_real_int64 430L); (mk_real_int64 520L); (mk_real_int64 1000L); (mk_real_int64 568L); (mk_real_int64 170L); (mk_real_int64 56L); (mk_real_int64 454L); (mk_real_int64 114L); ]);
("rhazim_hi", [2; 10; 11; 12; 20; 21; 23; 29; 31; 38; 39; 41; ], [(mk_real_int64 477000L); (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", [18; 49; 55; 57; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("rho_lo", [0; 1; 2; 4; 5; 7; 8; ], [(mk_real_int64 2076L); (mk_real_int64 1532L); (mk_real_int64 1532L); (mk_real_int64 1532L); (mk_real_int64 1532L); (mk_real_int64 2076L); (mk_real_int64 2076L); ]);
("rho_hi", [3; 6; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 2000L); (mk_real_int64 684L); (mk_real_int64 2664L); (mk_real_int64 684L); (mk_real_int64 2664L); (mk_real_int64 2664L); (mk_real_int64 688L); (mk_real_int64 2664L); ]);
("tau_lo", [8; ], [(mk_real_int64 1000L); ]);
("tau_hi", [15; 16; 17; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("y1_lo", [17; 20; 21; 23; 25; 26; 28; 29; 36; 37; 38; 39; 41; 42; 43; 46; 50; 51; 52; 54; ], [(mk_real_int64 280L); (mk_real_int64 200L); (mk_real_int64 480L); (mk_real_int64 480L); (mk_real_int64 400L); (mk_real_int64 200L); (mk_real_int64 200L); (mk_real_int64 500L); (mk_real_int64 560L); (mk_real_int64 160L); (mk_real_int64 480L); (mk_real_int64 200L); (mk_real_int64 200L); (mk_real_int64 220L); (mk_real_int64 455L); (mk_real_int64 455L); (mk_real_int64 320L); (mk_real_int64 500L); (mk_real_int64 200L); (mk_real_int64 3L); ]);
("y1_hi", [10; 12; 14; 18; 33; 35; 40; 44; 48; 49; 55; 57; 58; 59; ], [(mk_real_int64 500L); (mk_real_int64 300L); (mk_real_int64 97L); (mk_real_int64 197L); (mk_real_int64 140L); (mk_real_int64 240L); (mk_real_int64 200L); (mk_real_int64 220L); (mk_real_int64 280L); (mk_real_int64 600L); (mk_real_int64 600L); (mk_real_int64 318L); (mk_real_int64 120L); (mk_real_int64 480L); ]);
("y2_hi", [11; 12; 13; 17; 18; 20; 21; 23; 25; 26; 28; 29; 30; 31; 32; 36; 37; 38; 39; 40; 43; 46; 48; 49; 52; 53; 55; 56; 59; ], [(mk_real_int64 220L); (mk_real_int64 300L); (mk_real_int64 232L); (mk_real_int64 144L); (mk_real_int64 149L); (mk_real_int64 648L); (mk_real_int64 368L); (mk_real_int64 368L); (mk_real_int64 96L); (mk_real_int64 252L); (mk_real_int64 248L); (mk_real_int64 184L); (mk_real_int64 376L); (mk_real_int64 300L); (mk_real_int64 376L); (mk_real_int64 480L); (mk_real_int64 384L); (mk_real_int64 368L); (mk_real_int64 648L); (mk_real_int64 12L); (mk_real_int64 292L); (mk_real_int64 292L); (mk_real_int64 280L); (mk_real_int64 176L); (mk_real_int64 72L); (mk_real_int64 232L); (mk_real_int64 176L); (mk_real_int64 136L); (mk_real_int64 240L); ]);
("y2_lo", [10; 14; 19; 22; 33; 35; 41; 42; 44; 50; 51; 54; 57; 58; ], [(mk_real_int64 16L); (mk_real_int64 243L); (mk_real_int64 240L); (mk_real_int64 240L); (mk_real_int64 380L); (mk_real_int64 380L); (mk_real_int64 152L); (mk_real_int64 220L); (mk_real_int64 316L); (mk_real_int64 372L); (mk_real_int64 56L); (mk_real_int64 3L); (mk_real_int64 578L); (mk_real_int64 88L); ]);
("y3_hi", [11; 12; 13; 17; 18; 20; 21; 23; 25; 26; 28; 29; 30; 31; 32; 36; 37; 38; 39; 40; 43; 46; 48; 49; 52; 53; 55; 56; 59; ], [(mk_real_int64 220L); (mk_real_int64 300L); (mk_real_int64 232L); (mk_real_int64 144L); (mk_real_int64 149L); (mk_real_int64 648L); (mk_real_int64 368L); (mk_real_int64 368L); (mk_real_int64 96L); (mk_real_int64 252L); (mk_real_int64 248L); (mk_real_int64 184L); (mk_real_int64 376L); (mk_real_int64 300L); (mk_real_int64 376L); (mk_real_int64 480L); (mk_real_int64 384L); (mk_real_int64 368L); (mk_real_int64 648L); (mk_real_int64 12L); (mk_real_int64 292L); (mk_real_int64 292L); (mk_real_int64 280L); (mk_real_int64 176L); (mk_real_int64 72L); (mk_real_int64 232L); (mk_real_int64 176L); (mk_real_int64 136L); (mk_real_int64 240L); ]);
("y3_lo", [10; 14; 19; 22; 33; 35; 41; 42; 44; 50; 51; 54; 57; 58; ], [(mk_real_int64 16L); (mk_real_int64 243L); (mk_real_int64 240L); (mk_real_int64 240L); (mk_real_int64 380L); (mk_real_int64 380L); (mk_real_int64 152L); (mk_real_int64 220L); (mk_real_int64 316L); (mk_real_int64 372L); (mk_real_int64 56L); (mk_real_int64 3L); (mk_real_int64 578L); (mk_real_int64 88L); ]);
("y4_hi", [0; 1; 4; 7; 8; 9; 10; 12; 15; 16; 18; 20; 22; 25; 29; 32; 34; 39; 44; 45; 47; 48; 49; ], [(mk_real_int64 509L); (mk_real_int64 75L); (mk_real_int64 272L); (mk_real_int64 290L); (mk_real_int64 92L); (mk_real_int64 760L); (mk_real_int64 80L); (mk_real_int64 760L); (mk_real_int64 160L); (mk_real_int64 295L); (mk_real_int64 330L); (mk_real_int64 226L); (mk_real_int64 226L); (mk_real_int64 425L); (mk_real_int64 80L); (mk_real_int64 375L); (mk_real_int64 65L); (mk_real_int64 710L); (mk_real_int64 172L); (mk_real_int64 710L); (mk_real_int64 718L); (mk_real_int64 520L); (mk_real_int64 260L); ]);
("y4_lo", [2; 3; 11; 13; 19; 21; 23; 26; 27; 28; 30; 31; 33; 36; 40; 41; 42; 43; 46; ], [(mk_real_int64 125L); (mk_real_int64 68L); (mk_real_int64 420L); (mk_real_int64 420L); (mk_real_int64 610L); (mk_real_int64 375L); (mk_real_int64 75L); (mk_real_int64 200L); (mk_real_int64 360L); (mk_real_int64 420L); (mk_real_int64 605L); (mk_real_int64 170L); (mk_real_int64 305L); (mk_real_int64 305L); (mk_real_int64 45L); (mk_real_int64 31L); (mk_real_int64 130L); (mk_real_int64 68L); (mk_real_int64 264L); ]);
("y5_hi", [11; 13; 14; 17; 18; 20; 21; 23; 25; 28; 29; 30; 31; 32; 36; 37; 38; 39; 40; 42; 43; 44; 46; 49; 52; 53; 54; 55; 56; 57; 59; ], [(mk_real_int64 220L); (mk_real_int64 232L); (mk_real_int64 457L); (mk_real_int64 324L); (mk_real_int64 324L); (mk_real_int64 648L); (mk_real_int64 148L); (mk_real_int64 148L); (mk_real_int64 96L); (mk_real_int64 248L); (mk_real_int64 709L); (mk_real_int64 376L); (mk_real_int64 300L); (mk_real_int64 376L); (mk_real_int64 480L); (mk_real_int64 384L); (mk_real_int64 148L); (mk_real_int64 648L); (mk_real_int64 12L); (mk_real_int64 375L); (mk_real_int64 292L); (mk_real_int64 239L); (mk_real_int64 292L); (mk_real_int64 176L); (mk_real_int64 222L); (mk_real_int64 232L); (mk_real_int64 172L); (mk_real_int64 176L); (mk_real_int64 136L); (mk_real_int64 382L); (mk_real_int64 260L); ]);
("y5_lo", [10; 12; 19; 22; 26; 33; 35; 41; 50; 51; 58; ], [(mk_real_int64 16L); (mk_real_int64 125L); (mk_real_int64 240L); (mk_real_int64 240L); (mk_real_int64 598L); (mk_real_int64 395L); (mk_real_int64 120L); (mk_real_int64 152L); (mk_real_int64 252L); (mk_real_int64 56L); (mk_real_int64 88L); ]);
("y6_hi", [11; 13; 14; 17; 18; 21; 23; 25; 28; 29; 30; 31; 32; 36; 37; 38; 39; 40; 42; 43; 44; 46; 49; 53; 54; 55; 56; 59; ], [(mk_real_int64 220L); (mk_real_int64 232L); (mk_real_int64 457L); (mk_real_int64 324L); (mk_real_int64 324L); (mk_real_int64 148L); (mk_real_int64 148L); (mk_real_int64 96L); (mk_real_int64 248L); (mk_real_int64 709L); (mk_real_int64 376L); (mk_real_int64 300L); (mk_real_int64 376L); (mk_real_int64 480L); (mk_real_int64 384L); (mk_real_int64 148L); (mk_real_int64 648L); (mk_real_int64 12L); (mk_real_int64 375L); (mk_real_int64 292L); (mk_real_int64 239L); (mk_real_int64 292L); (mk_real_int64 176L); (mk_real_int64 232L); (mk_real_int64 172L); (mk_real_int64 176L); (mk_real_int64 136L); (mk_real_int64 260L); ]);
("y6_lo", [10; 12; 16; 19; 20; 22; 26; 29; 31; 33; 35; 37; 38; 40; 41; 42; 43; 44; 46; 48; 50; 51; 52; 53; 54; 55; 56; 57; 58; 59; ], [(mk_real_int64 16L); (mk_real_int64 125L); (mk_real_int64 74000L); (mk_real_int64 112240L); (mk_real_int64 34352L); (mk_real_int64 334240L); (mk_real_int64 598L); (mk_real_int64 110000L); (mk_real_int64 418000L); (mk_real_int64 395L); (mk_real_int64 120L); (mk_real_int64 32000L); (mk_real_int64 165000L); (mk_real_int64 226000L); (mk_real_int64 152L); (mk_real_int64 173000L); (mk_real_int64 194000L); (mk_real_int64 128000L); (mk_real_int64 249000L); (mk_real_int64 44000L); (mk_real_int64 252L); (mk_real_int64 56L); (mk_real_int64 69778L); (mk_real_int64 229000L); (mk_real_int64 188000L); (mk_real_int64 76000L); (mk_real_int64 382000L); (mk_real_int64 4618L); (mk_real_int64 88L); (mk_real_int64 309000L); ]);
("ye_lo", [12; 13; 15; 16; 17; 18; 28; 29; 31; 36; 37; 39; 55; 56; ], [(mk_real_int64 151000L); (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 203000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("yn_lo", [0; 1; 4; 5; 6; 7; 9; 11; 12; 13; 14; ], [(mk_real_int64 560L); (mk_real_int64 828L); (mk_real_int64 1828L); (mk_real_int64 828L); (mk_real_int64 264L); (mk_real_int64 560L); (mk_real_int64 2168L); (mk_real_int64 1168L); (mk_real_int64 1168L); (mk_real_int64 128L); (mk_real_int64 168L); ]);
("yn_hi", [2; 3; 8; 10; ], [(mk_real_int64 172L); (mk_real_int64 321L); (mk_real_int64 440L); (mk_real_int64 1736L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;