needs "nobranching_lp.hl";;
module Test_case = struct
let hypermap_string = "119040238600 20 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 3 7 0 8 3 8 0 4 4 8 4 9 10 3 9 4 5 3 9 5 11 3 11 5 6 3 11 6 12 3 12 6 7 3 12 7 8 3 12 8 10 3 11 12 10 3 10 9 11 ";;
let precision = 3;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum", [1; 3; 4; 5; 6; 7; 8; 9; 12; ], [(mk_real_int64 6L); (mk_real_int64 636L); (mk_real_int64 172L); (mk_real_int64 561L); (mk_real_int64 610L); (mk_real_int64 221L); (mk_real_int64 324L); (mk_real_int64 160L); (mk_real_int64 544L); ]);
("azim_sum_neg", [10; ], [(mk_real_int64 115L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 621L); (mk_real_int64 621L); (mk_real_int64 621L); (mk_real_int64 621L); (mk_real_int64 724L); (mk_real_int64 724L); (mk_real_int64 676L); (mk_real_int64 676L); (mk_real_int64 762L); (mk_real_int64 724L); (mk_real_int64 724L); (mk_real_int64 724L); (mk_real_int64 724L); ]);
("sol_sum3_neg", [0; 1; 3; 5; 7; 8; 9; 11; 12; 13; 14; 15; ], [(mk_real_int64 18L); (mk_real_int64 275L); (mk_real_int64 470L); (mk_real_int64 276L); (mk_real_int64 535L); (mk_real_int64 474L); (mk_real_int64 147L); (mk_real_int64 971L); (mk_real_int64 160L); (mk_real_int64 221L); (mk_real_int64 207L); (mk_real_int64 5L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; ], [(mk_real_int64 621L); (mk_real_int64 621L); (mk_real_int64 621L); (mk_real_int64 621L); (mk_real_int64 621L); (mk_real_int64 621L); (mk_real_int64 621L); (mk_real_int64 444L); (mk_real_int64 502L); (mk_real_int64 724L); (mk_real_int64 724L); (mk_real_int64 296L); (mk_real_int64 676L); (mk_real_int64 676L); (mk_real_int64 676L); (mk_real_int64 724L); (mk_real_int64 724L); (mk_real_int64 724L); ]);
("tau_sum4_neg", [0; 1; ], [(mk_real_int64 621L); (mk_real_int64 724L); ]);
("ln_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 315L); (mk_real_int64 315L); (mk_real_int64 315L); (mk_real_int64 240L); (mk_real_int64 202L); (mk_real_int64 202L); (mk_real_int64 255L); (mk_real_int64 255L); (mk_real_int64 160L); (mk_real_int64 202L); (mk_real_int64 202L); (mk_real_int64 202L); (mk_real_int64 202L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 3904L); (mk_real_int64 3904L); (mk_real_int64 3904L); (mk_real_int64 3904L); (mk_real_int64 4548L); (mk_real_int64 4548L); (mk_real_int64 4248L); (mk_real_int64 4248L); (mk_real_int64 4789L); (mk_real_int64 4548L); (mk_real_int64 4548L); (mk_real_int64 4548L); (mk_real_int64 4548L); ]);
("edge_sym", [0; 1; 2; 3; 5; 6; 9; 12; 15; 18; 21; 24; 32; 33; 34; 39; 55; ], [(mk_real_int64 67L); (mk_real_int64 3L); (mk_real_int64 3L); (mk_real_int64 67L); (mk_real_int64 96L); (mk_real_int64 187L); (mk_real_int64 158L); (mk_real_int64 102L); (mk_real_int64 217L); (mk_real_int64 96L); (mk_real_int64 43L); (mk_real_int64 191L); (mk_real_int64 49L); (mk_real_int64 79L); (mk_real_int64 59L); (mk_real_int64 237L); (mk_real_int64 2L); ]);
("edge_sym_neg", [8; 14; 20; 26; 27; 30; 37; 40; 43; 45; 46; 49; 52; 58; ], [(mk_real_int64 96L); (mk_real_int64 163L); (mk_real_int64 96L); (mk_real_int64 3L); (mk_real_int64 79L); (mk_real_int64 71L); (mk_real_int64 49L); (mk_real_int64 259L); (mk_real_int64 217L); (mk_real_int64 230L); (mk_real_int64 196L); (mk_real_int64 43L); (mk_real_int64 113L); (mk_real_int64 78L); ]);
("y1_def_neg", [0; 2; 4; 6; 10; 12; 16; 17; 22; 24; 28; 31; 32; 39; 40; 44; 45; 46; 51; 53; 56; 57; 61; ], [(mk_real_int64 52L); (mk_real_int64 2L); (mk_real_int64 54L); (mk_real_int64 91L); (mk_real_int64 102L); (mk_real_int64 1L); (mk_real_int64 85L); (mk_real_int64 1L); (mk_real_int64 85L); (mk_real_int64 58L); (mk_real_int64 66L); (mk_real_int64 46L); (mk_real_int64 10L); (mk_real_int64 111L); (mk_real_int64 42L); (mk_real_int64 119L); (mk_real_int64 45L); (mk_real_int64 150L); (mk_real_int64 25L); (mk_real_int64 14L); (mk_real_int64 73L); (mk_real_int64 37L); (mk_real_int64 21L); ]);
("y1_def", [5; 8; 14; 15; 20; 21; 25; 27; 29; 30; 35; 43; 47; 52; 54; 55; 58; 59; ], [(mk_real_int64 9L); (mk_real_int64 242L); (mk_real_int64 232L); (mk_real_int64 179L); (mk_real_int64 138L); (mk_real_int64 105L); (mk_real_int64 41L); (mk_real_int64 139L); (mk_real_int64 170L); (mk_real_int64 40L); (mk_real_int64 124L); (mk_real_int64 309L); (mk_real_int64 84L); (mk_real_int64 79L); (mk_real_int64 2L); (mk_real_int64 60L); (mk_real_int64 57L); (mk_real_int64 57L); ]);
("y2_def", [0; 2; 4; 6; 8; 10; 12; 15; 16; 17; 21; 22; 24; 27; 28; 29; 31; 32; 35; 39; 40; 43; 44; 45; 47; 51; 52; 53; 54; 56; 57; 61; ], [(mk_real_int64 67L); (mk_real_int64 3L); (mk_real_int64 83L); (mk_real_int64 100L); (mk_real_int64 63L); (mk_real_int64 100L); (mk_real_int64 2L); (mk_real_int64 179L); (mk_real_int64 101L); (mk_real_int64 2L); (mk_real_int64 105L); (mk_real_int64 101L); (mk_real_int64 90L); (mk_real_int64 242L); (mk_real_int64 40L); (mk_real_int64 170L); (mk_real_int64 59L); (mk_real_int64 12L); (mk_real_int64 35L); (mk_real_int64 172L); (mk_real_int64 65L); (mk_real_int64 328L); (mk_real_int64 157L); (mk_real_int64 225L); (mk_real_int64 84L); (mk_real_int64 38L); (mk_real_int64 79L); (mk_real_int64 21L); (mk_real_int64 2L); (mk_real_int64 40L); (mk_real_int64 58L); (mk_real_int64 33L); ]);
("y2_def_neg", [5; 14; 20; 25; 30; 46; 55; 58; 59; ], [(mk_real_int64 3L); (mk_real_int64 70L); (mk_real_int64 42L); (mk_real_int64 12L); (mk_real_int64 12L); (mk_real_int64 104L); (mk_real_int64 18L); (mk_real_int64 17L); (mk_real_int64 17L); ]);
("y3_def", [0; 2; 4; 6; 8; 10; 12; 15; 16; 17; 21; 22; 24; 27; 28; 29; 31; 32; 35; 39; 40; 43; 44; 45; 47; 51; 52; 53; 54; 56; 57; 61; ], [(mk_real_int64 67L); (mk_real_int64 3L); (mk_real_int64 83L); (mk_real_int64 100L); (mk_real_int64 63L); (mk_real_int64 100L); (mk_real_int64 2L); (mk_real_int64 179L); (mk_real_int64 101L); (mk_real_int64 2L); (mk_real_int64 105L); (mk_real_int64 101L); (mk_real_int64 90L); (mk_real_int64 242L); (mk_real_int64 40L); (mk_real_int64 170L); (mk_real_int64 59L); (mk_real_int64 12L); (mk_real_int64 35L); (mk_real_int64 172L); (mk_real_int64 65L); (mk_real_int64 328L); (mk_real_int64 157L); (mk_real_int64 225L); (mk_real_int64 84L); (mk_real_int64 38L); (mk_real_int64 79L); (mk_real_int64 21L); (mk_real_int64 2L); (mk_real_int64 40L); (mk_real_int64 58L); (mk_real_int64 33L); ]);
("y3_def_neg", [5; 14; 20; 25; 30; 46; 55; 58; 59; ], [(mk_real_int64 3L); (mk_real_int64 70L); (mk_real_int64 42L); (mk_real_int64 12L); (mk_real_int64 12L); (mk_real_int64 104L); (mk_real_int64 18L); (mk_real_int64 17L); (mk_real_int64 17L); ]);
("y4_def", [1; 4; 10; 16; 21; 26; 27; 47; 50; 51; ], [(mk_real_int64 14L); (mk_real_int64 158L); (mk_real_int64 358L); (mk_real_int64 214L); (mk_real_int64 63L); (mk_real_int64 62L); (mk_real_int64 76L); (mk_real_int64 93L); (mk_real_int64 89L); (mk_real_int64 89L); ]);
("y4_def_neg", [0; 2; 6; 8; 11; 12; 13; 17; 18; 20; 23; 24; 25; 31; 32; 35; 36; 37; 38; 39; 43; 44; 45; 46; 48; 49; 53; ], [(mk_real_int64 157L); (mk_real_int64 179L); (mk_real_int64 188L); (mk_real_int64 4L); (mk_real_int64 92L); (mk_real_int64 189L); (mk_real_int64 4L); (mk_real_int64 54L); (mk_real_int64 189L); (mk_real_int64 169L); (mk_real_int64 178L); (mk_real_int64 76L); (mk_real_int64 99L); (mk_real_int64 324L); (mk_real_int64 123L); (mk_real_int64 237L); (mk_real_int64 296L); (mk_real_int64 340L); (mk_real_int64 117L); (mk_real_int64 43L); (mk_real_int64 72L); (mk_real_int64 41L); (mk_real_int64 40L); (mk_real_int64 1L); (mk_real_int64 149L); (mk_real_int64 109L); (mk_real_int64 62L); ]);
("y5_def", [0; 2; 4; 6; 10; 12; 16; 17; 22; 24; 28; 31; 32; 39; 40; 44; 45; 51; 53; 56; 57; 61; ], [(mk_real_int64 67L); (mk_real_int64 3L); (mk_real_int64 83L); (mk_real_int64 90L); (mk_real_int64 100L); (mk_real_int64 2L); (mk_real_int64 101L); (mk_real_int64 2L); (mk_real_int64 101L); (mk_real_int64 90L); (mk_real_int64 40L); (mk_real_int64 59L); (mk_real_int64 12L); (mk_real_int64 172L); (mk_real_int64 65L); (mk_real_int64 157L); (mk_real_int64 133L); (mk_real_int64 38L); (mk_real_int64 21L); (mk_real_int64 49L); (mk_real_int64 58L); (mk_real_int64 33L); ]);
("y5_def_neg", [5; 8; 14; 15; 20; 21; 25; 27; 29; 30; 35; 43; 46; 47; 52; 54; 55; 58; 59; ], [(mk_real_int64 3L); (mk_real_int64 96L); (mk_real_int64 70L); (mk_real_int64 92L); (mk_real_int64 42L); (mk_real_int64 54L); (mk_real_int64 12L); (mk_real_int64 66L); (mk_real_int64 99L); (mk_real_int64 12L); (mk_real_int64 49L); (mk_real_int64 217L); (mk_real_int64 67L); (mk_real_int64 43L); (mk_real_int64 41L); (mk_real_int64 1L); (mk_real_int64 18L); (mk_real_int64 17L); (mk_real_int64 17L); ]);
("y6_def", [0; 2; 4; 6; 10; 11; 12; 13; 16; 17; 22; 23; 24; 28; 31; 32; 39; 40; 44; 45; 47; 50; 51; 53; 56; 57; 60; 61; ], [(mk_real_int64 67L); (mk_real_int64 3L); (mk_real_int64 115L); (mk_real_int64 90L); (mk_real_int64 100L); (mk_real_int64 183L); (mk_real_int64 2L); (mk_real_int64 60L); (mk_real_int64 160L); (mk_real_int64 187L); (mk_real_int64 266L); (mk_real_int64 33L); (mk_real_int64 90L); (mk_real_int64 40L); (mk_real_int64 59L); (mk_real_int64 12L); (mk_real_int64 172L); (mk_real_int64 65L); (mk_real_int64 201L); (mk_real_int64 133L); (mk_real_int64 230L); (mk_real_int64 46L); (mk_real_int64 119L); (mk_real_int64 21L); (mk_real_int64 49L); (mk_real_int64 165L); (mk_real_int64 137L); (mk_real_int64 95L); ]);
("y6_def_neg", [5; 8; 14; 15; 20; 21; 25; 27; 29; 30; 35; 43; 46; 52; 54; 55; 58; 59; ], [(mk_real_int64 3L); (mk_real_int64 96L); (mk_real_int64 70L); (mk_real_int64 92L); (mk_real_int64 42L); (mk_real_int64 54L); (mk_real_int64 12L); (mk_real_int64 66L); (mk_real_int64 99L); (mk_real_int64 12L); (mk_real_int64 49L); (mk_real_int64 217L); (mk_real_int64 67L); (mk_real_int64 41L); (mk_real_int64 1L); (mk_real_int64 18L); (mk_real_int64 17L); (mk_real_int64 17L); ]);
("RHA", [7; 9; 13; 15; 19; 21; 25; 26; 27; 28; 29; 30; 31; 41; 42; 43; 47; 50; 52; 54; ], [(mk_real_int64 103L); (mk_real_int64 103L); (mk_real_int64 103L); (mk_real_int64 55L); (mk_real_int64 55L); (mk_real_int64 55L); (mk_real_int64 232L); (mk_real_int64 177L); (mk_real_int64 211L); (mk_real_int64 149L); (mk_real_int64 119L); (mk_real_int64 221L); (mk_real_int64 38L); (mk_real_int64 428L); (mk_real_int64 428L); (mk_real_int64 361L); (mk_real_int64 48L); (mk_real_int64 48L); (mk_real_int64 86L); (mk_real_int64 38L); ]);
("yy10", [15; 21; 36; ], [(mk_real_int64 49L); (mk_real_int64 116L); (mk_real_int64 234L); ]);
("ineq105", [0; 2; 4; 5; ], [(mk_real_int64 166L); (mk_real_int64 6L); (mk_real_int64 147L); (mk_real_int64 30L); ]);
("ineq106", [2; 6; 12; 18; 23; 24; 35; 36; 38; ], [(mk_real_int64 103L); (mk_real_int64 103L); (mk_real_int64 55L); (mk_real_int64 55L); (mk_real_int64 107L); (mk_real_int64 110L); (mk_real_int64 19L); (mk_real_int64 48L); (mk_real_int64 48L); ]);
("ineq107", [1; 4; 10; 16; 21; 26; 27; 47; 50; 51; ], [(mk_real_int64 18L); (mk_real_int64 275L); (mk_real_int64 463L); (mk_real_int64 276L); (mk_real_int64 82L); (mk_real_int64 80L); (mk_real_int64 135L); (mk_real_int64 120L); (mk_real_int64 115L); (mk_real_int64 115L); ]);
("ineq108", [0; 2; 6; 8; 12; 13; 18; 20; 31; 32; 36; 37; 43; 45; 48; 49; 53; ], [(mk_real_int64 229L); (mk_real_int64 154L); (mk_real_int64 172L); (mk_real_int64 6L); (mk_real_int64 221L); (mk_real_int64 6L); (mk_real_int64 221L); (mk_real_int64 247L); (mk_real_int64 472L); (mk_real_int64 179L); (mk_real_int64 384L); (mk_real_int64 451L); (mk_real_int64 105L); (mk_real_int64 58L); (mk_real_int64 189L); (mk_real_int64 160L); (mk_real_int64 90L); ]);
("ineq110", [2; 4; 11; 17; 23; 25; 27; 35; 37; 39; 44; 46; ], [(mk_real_int64 18L); (mk_real_int64 275L); (mk_real_int64 470L); (mk_real_int64 276L); (mk_real_int64 535L); (mk_real_int64 474L); (mk_real_int64 147L); (mk_real_int64 971L); (mk_real_int64 160L); (mk_real_int64 221L); (mk_real_int64 207L); (mk_real_int64 5L); ]);
("ineq111", [25; 35; 38; 48; ], [(mk_real_int64 53L); (mk_real_int64 268L); (mk_real_int64 676L); (mk_real_int64 158L); ]);
("ineq112", [27; ], [(mk_real_int64 23L); ]);
("ineq113", [39; 43; ], [(mk_real_int64 55L); (mk_real_int64 352L); ]);
("ineq114", [0; 5; 6; 9; 11; 12; 15; 20; 22; 25; 28; 29; 31; 32; 34; 40; 44; 45; 46; 48; 53; ], [(mk_real_int64 621L); (mk_real_int64 621L); (mk_real_int64 621L); (mk_real_int64 309L); (mk_real_int64 312L); (mk_real_int64 621L); (mk_real_int64 621L); (mk_real_int64 621L); (mk_real_int64 444L); (mk_real_int64 450L); (mk_real_int64 40L); (mk_real_int64 661L); (mk_real_int64 141L); (mk_real_int64 583L); (mk_real_int64 28L); (mk_real_int64 621L); (mk_real_int64 324L); (mk_real_int64 153L); (mk_real_int64 571L); (mk_real_int64 566L); (mk_real_int64 724L); ]);
("ineq119", [7; ], [(mk_real_int64 253L); ]);
("ineq120", [0; 4; 5; ], [(mk_real_int64 621L); (mk_real_int64 284L); (mk_real_int64 187L); ]);
];;
(***************)
(* Variables *)
(***************)
let target_variables = [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 1800L); (mk_real_int64 1800L); (mk_real_int64 1800L); (mk_real_int64 76800L); (mk_real_int64 2100L); (mk_real_int64 2100L); (mk_real_int64 1600L); (mk_real_int64 1600L); (mk_real_int64 1925L); (mk_real_int64 2100L); (mk_real_int64 2100L); (mk_real_int64 2100L); (mk_real_int64 2100L); ]);
];;
(*************************)
let variable_bounds = [
("azim_hi", [0; 14; 15; 28; 29; 30; 31; 34; 35; 36; 45; 54; ], [(mk_real_int64 718L); (mk_real_int64 1000L); (mk_real_int64 312L); (mk_real_int64 1000L); (mk_real_int64 700L); (mk_real_int64 1000L); (mk_real_int64 272L); (mk_real_int64 391L); (mk_real_int64 339L); (mk_real_int64 40L); (mk_real_int64 1000L); (mk_real_int64 446L); ]);
("azim_lo", [4; 9; 10; 13; 16; 19; 24; 26; 32; 37; 39; 40; 41; 42; 47; 48; 50; 51; 52; 53; 56; 61; ], [(mk_real_int64 254L); (mk_real_int64 254L); (mk_real_int64 254L); (mk_real_int64 566L); (mk_real_int64 254L); (mk_real_int64 254L); (mk_real_int64 254L); (mk_real_int64 56L); (mk_real_int64 254L); (mk_real_int64 214L); (mk_real_int64 734L); (mk_real_int64 42L); (mk_real_int64 1000L); (mk_real_int64 472L); (mk_real_int64 1245L); (mk_real_int64 254L); (mk_real_int64 1000L); (mk_real_int64 168L); (mk_real_int64 176L); (mk_real_int64 1222L); (mk_real_int64 684L); (mk_real_int64 776L); ]);
("rhazim_lo", [28; 30; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("rho_lo", [0; 1; 2; 3; 6; 7; 8; ], [(mk_real_int64 1636L); (mk_real_int64 1636L); (mk_real_int64 1636L); (mk_real_int64 1636L); (mk_real_int64 16L); (mk_real_int64 16L); (mk_real_int64 592L); ]);
("rho_hi", [4; 5; 9; 10; 11; 12; ], [(mk_real_int64 1616L); (mk_real_int64 1616L); (mk_real_int64 1616L); (mk_real_int64 1616L); (mk_real_int64 1616L); (mk_real_int64 1616L); ]);
("tau_hi", [9; ], [(mk_real_int64 1000L); ]);
("y1_lo", [0; 6; 10; 12; 14; 15; 17; 21; 24; 31; 35; 40; 44; 45; 46; 47; 52; 54; 57; 61; ], [(mk_real_int64 290L); (mk_real_int64 150L); (mk_real_int64 220L); (mk_real_int64 410L); (mk_real_int64 500L); (mk_real_int64 400L); (mk_real_int64 410L); (mk_real_int64 120L); (mk_real_int64 45L); (mk_real_int64 305L); (mk_real_int64 640L); (mk_real_int64 65L); (mk_real_int64 40L); (mk_real_int64 185L); (mk_real_int64 480L); (mk_real_int64 20L); (mk_real_int64 340L); (mk_real_int64 100L); (mk_real_int64 600L); (mk_real_int64 150L); ]);
("y1_hi", [2; 4; 16; 22; 27; 29; 32; 39; 43; 51; 53; 56; 58; 59; ], [(mk_real_int64 110L); (mk_real_int64 185L); (mk_real_int64 65L); (mk_real_int64 65L); (mk_real_int64 100L); (mk_real_int64 580L); (mk_real_int64 550L); (mk_real_int64 80L); (mk_real_int64 340L); (mk_real_int64 325L); (mk_real_int64 370L); (mk_real_int64 145L); (mk_real_int64 500L); (mk_real_int64 500L); ]);
("y2_lo", [0; 2; 8; 14; 15; 16; 21; 22; 24; 25; 30; 39; 43; 45; 46; 47; 52; 54; 55; 58; 59; 61; ], [(mk_real_int64 268L); (mk_real_int64 588L); (mk_real_int64 300L); (mk_real_int64 376L); (mk_real_int64 400L); (mk_real_int64 536L); (mk_real_int64 120L); (mk_real_int64 536L); (mk_real_int64 92L); (mk_real_int64 464L); (mk_real_int64 160L); (mk_real_int64 192L); (mk_real_int64 344L); (mk_real_int64 36L); (mk_real_int64 208L); (mk_real_int64 20L); (mk_real_int64 340L); (mk_real_int64 100L); (mk_real_int64 240L); (mk_real_int64 480L); (mk_real_int64 480L); (mk_real_int64 240L); ]);
("y2_hi", [4; 5; 6; 10; 12; 17; 20; 27; 28; 29; 31; 32; 35; 40; 44; 51; 53; 56; 57; ], [(mk_real_int64 356L); (mk_real_int64 264L); (mk_real_int64 388L); (mk_real_int64 100L); (mk_real_int64 184L); (mk_real_int64 184L); (mk_real_int64 48L); (mk_real_int64 248L); (mk_real_int64 40L); (mk_real_int64 580L); (mk_real_int64 94L); (mk_real_int64 60L); (mk_real_int64 340L); (mk_real_int64 156L); (mk_real_int64 248L); (mk_real_int64 220L); (mk_real_int64 112L); (mk_real_int64 356L); (mk_real_int64 240L); ]);
("y3_lo", [0; 2; 8; 14; 15; 16; 21; 22; 24; 25; 30; 39; 43; 45; 46; 47; 52; 54; 55; 58; 59; 61; ], [(mk_real_int64 268L); (mk_real_int64 588L); (mk_real_int64 300L); (mk_real_int64 376L); (mk_real_int64 400L); (mk_real_int64 536L); (mk_real_int64 120L); (mk_real_int64 536L); (mk_real_int64 92L); (mk_real_int64 464L); (mk_real_int64 160L); (mk_real_int64 192L); (mk_real_int64 344L); (mk_real_int64 36L); (mk_real_int64 208L); (mk_real_int64 20L); (mk_real_int64 340L); (mk_real_int64 100L); (mk_real_int64 240L); (mk_real_int64 480L); (mk_real_int64 480L); (mk_real_int64 240L); ]);
("y3_hi", [4; 5; 6; 10; 12; 17; 20; 27; 28; 29; 31; 32; 35; 40; 44; 51; 53; 56; 57; ], [(mk_real_int64 356L); (mk_real_int64 264L); (mk_real_int64 388L); (mk_real_int64 100L); (mk_real_int64 184L); (mk_real_int64 184L); (mk_real_int64 48L); (mk_real_int64 248L); (mk_real_int64 40L); (mk_real_int64 580L); (mk_real_int64 94L); (mk_real_int64 60L); (mk_real_int64 340L); (mk_real_int64 156L); (mk_real_int64 248L); (mk_real_int64 220L); (mk_real_int64 112L); (mk_real_int64 356L); (mk_real_int64 240L); ]);
("y4_hi", [0; 4; 21; 24; 31; 32; 35; 36; 43; 44; 45; 46; 53; ], [(mk_real_int64 135L); (mk_real_int64 675L); (mk_real_int64 386L); (mk_real_int64 650L); (mk_real_int64 680L); (mk_real_int64 385L); (mk_real_int64 169L); (mk_real_int64 80L); (mk_real_int64 75L); (mk_real_int64 428L); (mk_real_int64 270L); (mk_real_int64 20L); (mk_real_int64 350L); ]);
("y4_lo", [1; 2; 6; 8; 10; 11; 12; 13; 16; 17; 18; 20; 23; 25; 26; 27; 37; 38; 39; 47; 48; 49; 50; 51; ], [(mk_real_int64 86L); (mk_real_int64 573L); (mk_real_int64 375L); (mk_real_int64 110L); (mk_real_int64 101L); (mk_real_int64 120L); (mk_real_int64 60L); (mk_real_int64 110L); (mk_real_int64 652L); (mk_real_int64 96L); (mk_real_int64 60L); (mk_real_int64 195L); (mk_real_int64 155L); (mk_real_int64 529L); (mk_real_int64 160L); (mk_real_int64 457L); (mk_real_int64 295L); (mk_real_int64 380L); (mk_real_int64 316L); (mk_real_int64 240L); (mk_real_int64 215L); (mk_real_int64 600L); (mk_real_int64 105L); (mk_real_int64 105L); ]);
("y5_lo", [0; 2; 14; 15; 16; 21; 22; 24; 25; 29; 30; 35; 39; 45; 46; 47; 55; 58; 59; 61; ], [(mk_real_int64 268L); (mk_real_int64 588L); (mk_real_int64 376L); (mk_real_int64 120L); (mk_real_int64 536L); (mk_real_int64 96L); (mk_real_int64 536L); (mk_real_int64 92L); (mk_real_int64 464L); (mk_real_int64 529L); (mk_real_int64 160L); (mk_real_int64 332L); (mk_real_int64 192L); (mk_real_int64 196L); (mk_real_int64 28L); (mk_real_int64 316L); (mk_real_int64 240L); (mk_real_int64 480L); (mk_real_int64 480L); (mk_real_int64 240L); ]);
("y5_hi", [4; 5; 6; 8; 10; 12; 17; 20; 27; 28; 31; 32; 40; 43; 44; 51; 52; 53; 54; 56; 57; ], [(mk_real_int64 356L); (mk_real_int64 264L); (mk_real_int64 20L); (mk_real_int64 300L); (mk_real_int64 100L); (mk_real_int64 184L); (mk_real_int64 184L); (mk_real_int64 48L); (mk_real_int64 88L); (mk_real_int64 40L); (mk_real_int64 94L); (mk_real_int64 60L); (mk_real_int64 156L); (mk_real_int64 100L); (mk_real_int64 248L); (mk_real_int64 220L); (mk_real_int64 428L); (mk_real_int64 112L); (mk_real_int64 20L); (mk_real_int64 46L); (mk_real_int64 240L); ]);
("y6_lo", [0; 2; 4; 11; 13; 14; 15; 16; 17; 21; 22; 23; 24; 25; 29; 30; 35; 39; 44; 45; 46; 47; 50; 51; 55; 57; 58; 59; 60; 61; ], [(mk_real_int64 268L); (mk_real_int64 588L); (mk_real_int64 32000L); (mk_real_int64 183000L); (mk_real_int64 60000L); (mk_real_int64 376L); (mk_real_int64 120L); (mk_real_int64 60000L); (mk_real_int64 184816L); (mk_real_int64 96L); (mk_real_int64 165536L); (mk_real_int64 33000L); (mk_real_int64 92L); (mk_real_int64 464L); (mk_real_int64 529L); (mk_real_int64 160L); (mk_real_int64 332L); (mk_real_int64 192L); (mk_real_int64 44000L); (mk_real_int64 196L); (mk_real_int64 28L); (mk_real_int64 273316L); (mk_real_int64 46000L); (mk_real_int64 81000L); (mk_real_int64 240L); (mk_real_int64 107000L); (mk_real_int64 480L); (mk_real_int64 480L); (mk_real_int64 137000L); (mk_real_int64 62240L); ]);
("y6_hi", [4; 5; 6; 8; 10; 12; 16; 20; 27; 28; 31; 32; 40; 43; 44; 51; 52; 53; 54; 56; 57; ], [(mk_real_int64 356L); (mk_real_int64 264L); (mk_real_int64 20L); (mk_real_int64 300L); (mk_real_int64 100L); (mk_real_int64 184L); (mk_real_int64 464L); (mk_real_int64 48L); (mk_real_int64 88L); (mk_real_int64 40L); (mk_real_int64 94L); (mk_real_int64 60L); (mk_real_int64 156L); (mk_real_int64 100L); (mk_real_int64 248L); (mk_real_int64 220L); (mk_real_int64 428L); (mk_real_int64 112L); (mk_real_int64 20L); (mk_real_int64 46L); (mk_real_int64 240L); ]);
("ye_hi", [14; 17; 18; 21; 22; 23; 25; 27; 57; 58; ], [(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); ]);
("ye_lo", [5; 16; 32; 33; 46; 51; ], [(mk_real_int64 166000L); (mk_real_int64 1000L); (mk_real_int64 37000L); (mk_real_int64 79000L); (mk_real_int64 54000L); (mk_real_int64 1000L); ]);
("yn_hi", [0; 1; 2; 3; 5; 9; 11; 12; ], [(mk_real_int64 255L); (mk_real_int64 2255L); (mk_real_int64 1255L); (mk_real_int64 480L); (mk_real_int64 554L); (mk_real_int64 554L); (mk_real_int64 554L); (mk_real_int64 1554L); ]);
("yn_lo", [4; 6; 7; 8; 10; ], [(mk_real_int64 2446L); (mk_real_int64 365L); (mk_real_int64 1365L); (mk_real_int64 680L); (mk_real_int64 1446L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;