needs "nobranching_lp.hl";;
module Test_case = struct
let hypermap_string = "245859035526 23 4 0 1 2 3 3 0 3 4 3 4 3 5 3 5 3 2 4 5 2 6 7 3 6 2 1 3 6 1 8 3 8 1 9 3 9 1 0 3 9 0 10 4 10 0 4 11 3 11 4 5 3 11 5 7 3 7 6 12 3 12 6 8 3 12 8 13 3 13 8 9 3 13 9 10 3 13 10 14 3 14 10 11 3 12 13 14 3 7 12 14 3 14 11 7 ";;
let precision = 3;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum", [1; 2; 3; 4; 8; 9; 11; 14; ], [(mk_real_int64 25L); (mk_real_int64 136L); (mk_real_int64 585L); (mk_real_int64 1L); (mk_real_int64 163L); (mk_real_int64 142L); (mk_real_int64 71L); (mk_real_int64 481L); ]);
("azim_sum_neg", [5; 7; 12; ], [(mk_real_int64 80L); (mk_real_int64 3L); (mk_real_int64 41L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 1077L); (mk_real_int64 1077L); (mk_real_int64 1098L); (mk_real_int64 1150L); (mk_real_int64 1076L); (mk_real_int64 1178L); (mk_real_int64 1098L); (mk_real_int64 804L); (mk_real_int64 1098L); (mk_real_int64 1150L); (mk_real_int64 804L); (mk_real_int64 961L); (mk_real_int64 1079L); (mk_real_int64 1150L); (mk_real_int64 1098L); ]);
("sol_sum3_neg", [6; 7; 10; 18; ], [(mk_real_int64 136L); (mk_real_int64 194L); (mk_real_int64 137L); (mk_real_int64 71L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; 18; 19; ], [(mk_real_int64 1077L); (mk_real_int64 1077L); (mk_real_int64 1077L); (mk_real_int64 1098L); (mk_real_int64 804L); (mk_real_int64 804L); (mk_real_int64 1098L); (mk_real_int64 1098L); (mk_real_int64 1077L); (mk_real_int64 1098L); (mk_real_int64 961L); (mk_real_int64 804L); (mk_real_int64 804L); (mk_real_int64 804L); (mk_real_int64 804L); (mk_real_int64 804L); (mk_real_int64 1079L); (mk_real_int64 804L); (mk_real_int64 961L); (mk_real_int64 1079L); ]);
("tau_sum4_neg", [0; 1; 2; ], [(mk_real_int64 1077L); (mk_real_int64 1098L); (mk_real_int64 1150L); ]);
("ln_def_neg", [0; 1; 2; 3; 4; 5; 6; 8; 9; 11; 12; 13; 14; ], [(mk_real_int64 187L); (mk_real_int64 187L); (mk_real_int64 210L); (mk_real_int64 267L); (mk_real_int64 186L); (mk_real_int64 298L); (mk_real_int64 210L); (mk_real_int64 210L); (mk_real_int64 267L); (mk_real_int64 60L); (mk_real_int64 190L); (mk_real_int64 267L); (mk_real_int64 210L); ]);
("ln_def", [7; 10; ], [(mk_real_int64 114L); (mk_real_int64 114L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 6765L); (mk_real_int64 6765L); (mk_real_int64 6896L); (mk_real_int64 7223L); (mk_real_int64 6758L); (mk_real_int64 7399L); (mk_real_int64 6896L); (mk_real_int64 5050L); (mk_real_int64 6896L); (mk_real_int64 7223L); (mk_real_int64 5050L); (mk_real_int64 6038L); (mk_real_int64 6781L); (mk_real_int64 7223L); (mk_real_int64 6896L); ]);
("edge_sym", [1; 2; 21; 24; 28; 50; 53; 58; 62; 65; 68; ], [(mk_real_int64 110L); (mk_real_int64 121L); (mk_real_int64 3L); (mk_real_int64 202L); (mk_real_int64 28L); (mk_real_int64 191L); (mk_real_int64 20L); (mk_real_int64 135L); (mk_real_int64 35L); (mk_real_int64 55L); (mk_real_int64 67L); ]);
("edge_sym_neg", [5; 8; 9; 19; 22; 25; 31; 38; 41; 43; 44; 47; 49; 56; 59; ], [(mk_real_int64 20L); (mk_real_int64 130L); (mk_real_int64 130L); (mk_real_int64 110L); (mk_real_int64 196L); (mk_real_int64 109L); (mk_real_int64 430L); (mk_real_int64 116L); (mk_real_int64 22L); (mk_real_int64 61L); (mk_real_int64 61L); (mk_real_int64 246L); (mk_real_int64 55L); (mk_real_int64 114L); (mk_real_int64 205L); ]);
("y1_def_neg", [2; 4; 6; 9; 12; 19; 20; 21; 22; 24; 25; 26; 28; 30; 38; 39; 40; 43; 45; 46; 48; 51; 53; 55; 56; 58; 59; 61; 62; 63; 65; 66; 68; 70; 71; ], [(mk_real_int64 8L); (mk_real_int64 11L); (mk_real_int64 10L); (mk_real_int64 188L); (mk_real_int64 194L); (mk_real_int64 158L); (mk_real_int64 60L); (mk_real_int64 174L); (mk_real_int64 47L); (mk_real_int64 176L); (mk_real_int64 320L); (mk_real_int64 6L); (mk_real_int64 334L); (mk_real_int64 289L); (mk_real_int64 167L); (mk_real_int64 31L); (mk_real_int64 59L); (mk_real_int64 35L); (mk_real_int64 27L); (mk_real_int64 265L); (mk_real_int64 79L); (mk_real_int64 61L); (mk_real_int64 100L); (mk_real_int64 176L); (mk_real_int64 266L); (mk_real_int64 292L); (mk_real_int64 141L); (mk_real_int64 196L); (mk_real_int64 42L); (mk_real_int64 91L); (mk_real_int64 263L); (mk_real_int64 151L); (mk_real_int64 177L); (mk_real_int64 31L); (mk_real_int64 61L); ]);
("y1_def", [23; 27; 29; 31; 44; 47; 49; 52; 60; 69; ], [(mk_real_int64 1L); (mk_real_int64 52L); (mk_real_int64 15L); (mk_real_int64 74L); (mk_real_int64 85L); (mk_real_int64 1L); (mk_real_int64 1L); (mk_real_int64 1L); (mk_real_int64 21L); (mk_real_int64 21L); ]);
("y2_def", [2; 4; 20; 21; 24; 25; 26; 27; 31; 39; 44; 45; 46; 53; 55; 56; 58; 59; 62; 63; 66; 70; ], [(mk_real_int64 10L); (mk_real_int64 7L); (mk_real_int64 36L); (mk_real_int64 105L); (mk_real_int64 107L); (mk_real_int64 61L); (mk_real_int64 10L); (mk_real_int64 52L); (mk_real_int64 74L); (mk_real_int64 19L); (mk_real_int64 42L); (mk_real_int64 16L); (mk_real_int64 15L); (mk_real_int64 61L); (mk_real_int64 107L); (mk_real_int64 69L); (mk_real_int64 20L); (mk_real_int64 85L); (mk_real_int64 26L); (mk_real_int64 55L); (mk_real_int64 226L); (mk_real_int64 19L); ]);
("y2_def_neg", [6; 9; 12; 19; 22; 28; 29; 30; 38; 40; 43; 48; 51; 60; 61; 65; 68; 69; 71; ], [(mk_real_int64 10L); (mk_real_int64 188L); (mk_real_int64 179L); (mk_real_int64 158L); (mk_real_int64 49L); (mk_real_int64 15L); (mk_real_int64 5L); (mk_real_int64 41L); (mk_real_int64 167L); (mk_real_int64 59L); (mk_real_int64 35L); (mk_real_int64 79L); (mk_real_int64 61L); (mk_real_int64 6L); (mk_real_int64 128L); (mk_real_int64 37L); (mk_real_int64 171L); (mk_real_int64 6L); (mk_real_int64 44L); ]);
("y3_def", [2; 4; 20; 21; 24; 25; 26; 27; 31; 39; 44; 45; 46; 53; 55; 56; 58; 59; 62; 63; 66; 70; ], [(mk_real_int64 10L); (mk_real_int64 7L); (mk_real_int64 36L); (mk_real_int64 105L); (mk_real_int64 107L); (mk_real_int64 61L); (mk_real_int64 10L); (mk_real_int64 52L); (mk_real_int64 74L); (mk_real_int64 19L); (mk_real_int64 42L); (mk_real_int64 16L); (mk_real_int64 15L); (mk_real_int64 61L); (mk_real_int64 107L); (mk_real_int64 69L); (mk_real_int64 20L); (mk_real_int64 85L); (mk_real_int64 26L); (mk_real_int64 55L); (mk_real_int64 226L); (mk_real_int64 19L); ]);
("y3_def_neg", [6; 9; 12; 19; 22; 28; 29; 30; 38; 40; 43; 48; 51; 60; 61; 65; 68; 69; 71; ], [(mk_real_int64 10L); (mk_real_int64 188L); (mk_real_int64 179L); (mk_real_int64 158L); (mk_real_int64 49L); (mk_real_int64 15L); (mk_real_int64 5L); (mk_real_int64 41L); (mk_real_int64 167L); (mk_real_int64 59L); (mk_real_int64 35L); (mk_real_int64 79L); (mk_real_int64 61L); (mk_real_int64 6L); (mk_real_int64 128L); (mk_real_int64 37L); (mk_real_int64 171L); (mk_real_int64 6L); (mk_real_int64 44L); ]);
("y4_def_neg", [0; 2; 5; 8; 11; 12; 13; 14; 16; 17; 18; 19; 20; 22; 23; 26; 27; 28; 31; 33; 34; 36; 39; 41; 43; 44; 46; 47; 49; 50; 51; 53; 54; 56; 58; 59; ], [(mk_real_int64 13L); (mk_real_int64 7L); (mk_real_int64 130L); (mk_real_int64 147L); (mk_real_int64 110L); (mk_real_int64 68L); (mk_real_int64 198L); (mk_real_int64 32L); (mk_real_int64 201L); (mk_real_int64 386L); (mk_real_int64 19L); (mk_real_int64 27L); (mk_real_int64 481L); (mk_real_int64 388L); (mk_real_int64 38L); (mk_real_int64 116L); (mk_real_int64 36L); (mk_real_int64 41L); (mk_real_int64 24L); (mk_real_int64 30L); (mk_real_int64 262L); (mk_real_int64 55L); (mk_real_int64 43L); (mk_real_int64 114L); (mk_real_int64 201L); (mk_real_int64 279L); (mk_real_int64 290L); (mk_real_int64 160L); (mk_real_int64 155L); (mk_real_int64 48L); (mk_real_int64 104L); (mk_real_int64 246L); (mk_real_int64 389L); (mk_real_int64 124L); (mk_real_int64 35L); (mk_real_int64 48L); ]);
("y4_def", [15; 21; 32; 35; 37; 40; 48; 57; ], [(mk_real_int64 2L); (mk_real_int64 24L); (mk_real_int64 24L); (mk_real_int64 2L); (mk_real_int64 2L); (mk_real_int64 2L); (mk_real_int64 32L); (mk_real_int64 32L); ]);
("y5_def", [2; 4; 20; 21; 24; 25; 26; 28; 30; 39; 45; 46; 53; 55; 56; 58; 59; 62; 63; 66; 70; ], [(mk_real_int64 10L); (mk_real_int64 7L); (mk_real_int64 36L); (mk_real_int64 105L); (mk_real_int64 107L); (mk_real_int64 93L); (mk_real_int64 10L); (mk_real_int64 45L); (mk_real_int64 14L); (mk_real_int64 19L); (mk_real_int64 16L); (mk_real_int64 43L); (mk_real_int64 61L); (mk_real_int64 107L); (mk_real_int64 87L); (mk_real_int64 50L); (mk_real_int64 85L); (mk_real_int64 26L); (mk_real_int64 55L); (mk_real_int64 185L); (mk_real_int64 19L); ]);
("y5_def_neg", [6; 9; 12; 19; 22; 27; 29; 31; 38; 40; 43; 44; 48; 51; 60; 61; 68; 69; 71; ], [(mk_real_int64 7L); (mk_real_int64 130L); (mk_real_int64 121L); (mk_real_int64 110L); (mk_real_int64 34L); (mk_real_int64 27L); (mk_real_int64 5L); (mk_real_int64 38L); (mk_real_int64 116L); (mk_real_int64 41L); (mk_real_int64 24L); (mk_real_int64 37L); (mk_real_int64 55L); (mk_real_int64 43L); (mk_real_int64 6L); (mk_real_int64 81L); (mk_real_int64 118L); (mk_real_int64 6L); (mk_real_int64 28L); ]);
("y6_def", [2; 4; 10; 17; 20; 21; 23; 24; 25; 26; 28; 30; 36; 37; 39; 40; 45; 46; 48; 51; 52; 53; 54; 55; 56; 57; 58; 59; 62; 63; 64; 66; 67; 70; ], [(mk_real_int64 10L); (mk_real_int64 7L); (mk_real_int64 278L); (mk_real_int64 110L); (mk_real_int64 36L); (mk_real_int64 105L); (mk_real_int64 277L); (mk_real_int64 107L); (mk_real_int64 93L); (mk_real_int64 305L); (mk_real_int64 45L); (mk_real_int64 14L); (mk_real_int64 116L); (mk_real_int64 246L); (mk_real_int64 157L); (mk_real_int64 36L); (mk_real_int64 16L); (mk_real_int64 227L); (mk_real_int64 247L); (mk_real_int64 170L); (mk_real_int64 91L); (mk_real_int64 61L); (mk_real_int64 152L); (mk_real_int64 343L); (mk_real_int64 87L); (mk_real_int64 225L); (mk_real_int64 50L); (mk_real_int64 85L); (mk_real_int64 26L); (mk_real_int64 55L); (mk_real_int64 308L); (mk_real_int64 185L); (mk_real_int64 451L); (mk_real_int64 19L); ]);
("y6_def_neg", [6; 9; 19; 22; 27; 29; 31; 38; 43; 44; 60; 61; 68; 69; 71; ], [(mk_real_int64 7L); (mk_real_int64 130L); (mk_real_int64 110L); (mk_real_int64 34L); (mk_real_int64 27L); (mk_real_int64 5L); (mk_real_int64 38L); (mk_real_int64 116L); (mk_real_int64 24L); (mk_real_int64 37L); (mk_real_int64 6L); (mk_real_int64 57L); (mk_real_int64 118L); (mk_real_int64 6L); (mk_real_int64 26L); ]);
("RHA", [0; 1; 4; 9; 10; 13; 20; 21; 31; 36; 38; 40; 42; 43; 45; 46; 48; 53; 58; 59; 63; 65; 68; 70; ], [(mk_real_int64 73L); (mk_real_int64 21L); (mk_real_int64 54L); (mk_real_int64 101L); (mk_real_int64 101L); (mk_real_int64 80L); (mk_real_int64 194L); (mk_real_int64 5L); (mk_real_int64 52L); (mk_real_int64 73L); (mk_real_int64 101L); (mk_real_int64 80L); (mk_real_int64 137L); (mk_real_int64 137L); (mk_real_int64 113L); (mk_real_int64 3L); (mk_real_int64 157L); (mk_real_int64 127L); (mk_real_int64 21L); (mk_real_int64 41L); (mk_real_int64 6L); (mk_real_int64 41L); (mk_real_int64 112L); (mk_real_int64 19L); ]);
("RHB", [6; 7; 14; 18; 34; 37; ], [(mk_real_int64 1L); (mk_real_int64 1L); (mk_real_int64 21L); (mk_real_int64 21L); (mk_real_int64 74L); (mk_real_int64 1L); ]);
("tau4", [1; ], [(mk_real_int64 462L); ]);
("ineq105", [2; ], [(mk_real_int64 25L); ]);
("ineq106", [0; 12; 13; 16; 17; 20; 22; 27; 33; 34; 41; 43; 44; 46; 47; 49; 50; 51; 53; 54; 56; 58; 59; ], [(mk_real_int64 19L); (mk_real_int64 100L); (mk_real_int64 289L); (mk_real_int64 294L); (mk_real_int64 294L); (mk_real_int64 52L); (mk_real_int64 52L); (mk_real_int64 52L); (mk_real_int64 44L); (mk_real_int64 290L); (mk_real_int64 167L); (mk_real_int64 294L); (mk_real_int64 346L); (mk_real_int64 324L); (mk_real_int64 234L); (mk_real_int64 70L); (mk_real_int64 70L); (mk_real_int64 151L); (mk_real_int64 234L); (mk_real_int64 137L); (mk_real_int64 6L); (mk_real_int64 51L); (mk_real_int64 18L); ]);
("ineq107", [14; 15; 21; 32; 35; 37; 40; 48; 57; ], [(mk_real_int64 3L); (mk_real_int64 3L); (mk_real_int64 31L); (mk_real_int64 66L); (mk_real_int64 3L); (mk_real_int64 3L); (mk_real_int64 3L); (mk_real_int64 41L); (mk_real_int64 41L); ]);
("ineq108", [8; 17; 18; 20; 22; 44; 54; ], [(mk_real_int64 25L); (mk_real_int64 163L); (mk_real_int64 27L); (mk_real_int64 449L); (mk_real_int64 331L); (mk_real_int64 3L); (mk_real_int64 410L); ]);
("ineq110", [19; 23; 32; 54; ], [(mk_real_int64 136L); (mk_real_int64 194L); (mk_real_int64 137L); (mk_real_int64 71L); ]);
("ineq111", [2; 5; 8; 11; 14; 17; 20; 22; 26; 28; 31; 34; 36; 39; 44; 46; 49; 53; 56; 59; ], [(mk_real_int64 55L); (mk_real_int64 1043L); (mk_real_int64 1043L); (mk_real_int64 880L); (mk_real_int64 269L); (mk_real_int64 586L); (mk_real_int64 1098L); (mk_real_int64 1001L); (mk_real_int64 927L); (mk_real_int64 329L); (mk_real_int64 192L); (mk_real_int64 505L); (mk_real_int64 439L); (mk_real_int64 340L); (mk_real_int64 321L); (mk_real_int64 543L); (mk_real_int64 853L); (mk_real_int64 681L); (mk_real_int64 961L); (mk_real_int64 280L); ]);
("ineq114", [0; 5; 6; 11; 12; 13; 16; 22; 24; 26; 29; 30; 33; 34; 36; 41; 43; 44; 46; 49; 51; 58; 59; ], [(mk_real_int64 1021L); (mk_real_int64 33L); (mk_real_int64 33L); (mk_real_int64 217L); (mk_real_int64 310L); (mk_real_int64 225L); (mk_real_int64 217L); (mk_real_int64 97L); (mk_real_int64 116L); (mk_real_int64 33L); (mk_real_int64 769L); (mk_real_int64 769L); (mk_real_int64 294L); (mk_real_int64 5L); (mk_real_int64 364L); (mk_real_int64 464L); (mk_real_int64 261L); (mk_real_int64 222L); (mk_real_int64 261L); (mk_real_int64 227L); (mk_real_int64 122L); (mk_real_int64 30L); (mk_real_int64 769L); ]);
("ineq119", [10; ], [(mk_real_int64 189L); ]);
("ineq120", [0; 1; 7; 8; 9; ], [(mk_real_int64 869L); (mk_real_int64 207L); (mk_real_int64 635L); (mk_real_int64 187L); (mk_real_int64 773L); ]);
];;
(***************)
(* Variables *)
(***************)
let target_variables = [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 3125L); (mk_real_int64 3125L); (mk_real_int64 3200L); (mk_real_int64 2975L); (mk_real_int64 3350L); (mk_real_int64 3175L); (mk_real_int64 3200L); (mk_real_int64 2250L); (mk_real_int64 3200L); (mk_real_int64 2975L); (mk_real_int64 2250L); (mk_real_int64 3350L); (mk_real_int64 3325L); (mk_real_int64 2975L); (mk_real_int64 3200L); ]);
];;
(*************************)
let variable_bounds = [
("azim_hi", [0; 4; 6; 7; 16; 20; 30; 33; 34; 37; 41; 42; 45; 46; 53; 55; 58; 61; 71; ], [(mk_real_int64 702L); (mk_real_int64 146L); (mk_real_int64 176L); (mk_real_int64 176L); (mk_real_int64 330L); (mk_real_int64 60L); (mk_real_int64 722L); (mk_real_int64 934L); (mk_real_int64 407L); (mk_real_int64 176L); (mk_real_int64 394L); (mk_real_int64 394L); (mk_real_int64 44L); (mk_real_int64 130L); (mk_real_int64 464L); (mk_real_int64 386L); (mk_real_int64 386L); (mk_real_int64 102L); (mk_real_int64 394L); ]);
("azim_lo", [1; 9; 10; 14; 18; 19; 21; 24; 32; 36; 38; 48; 56; 63; 70; ], [(mk_real_int64 94L); (mk_real_int64 342L); (mk_real_int64 342L); (mk_real_int64 304L); (mk_real_int64 304L); (mk_real_int64 158L); (mk_real_int64 150L); (mk_real_int64 158L); (mk_real_int64 254L); (mk_real_int64 384L); (mk_real_int64 342L); (mk_real_int64 136L); (mk_real_int64 28L); (mk_real_int64 628L); (mk_real_int64 220L); ]);
("rhazim_lo", [46; 58; 61; 62; 70; 71; ], [(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_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 13; 14; ], [(mk_real_int64 2868L); (mk_real_int64 2868L); (mk_real_int64 3832L); (mk_real_int64 3600L); (mk_real_int64 3584L); (mk_real_int64 3552L); (mk_real_int64 3832L); (mk_real_int64 2336L); (mk_real_int64 3832L); (mk_real_int64 3600L); (mk_real_int64 2336L); (mk_real_int64 924L); (mk_real_int64 3600L); (mk_real_int64 3832L); ]);
("rho_lo", [12; ], [(mk_real_int64 564L); ]);
("tau_lo", [0; 1; 2; 3; 4; 5; 7; 10; 11; 15; 20; ], [(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); ]);
("tau_hi", [19; ], [(mk_real_int64 1000L); ]);
("y1_lo", [4; 19; 24; 25; 26; 27; 28; 30; 31; 39; 40; 48; 51; 53; 55; 56; 58; 60; 66; 69; 71; ], [(mk_real_int64 400L); (mk_real_int64 400L); (mk_real_int64 400L); (mk_real_int64 185L); (mk_real_int64 345L); (mk_real_int64 320L); (mk_real_int64 355L); (mk_real_int64 165L); (mk_real_int64 280L); (mk_real_int64 200L); (mk_real_int64 220L); (mk_real_int64 20L); (mk_real_int64 200L); (mk_real_int64 200L); (mk_real_int64 400L); (mk_real_int64 85L); (mk_real_int64 140L); (mk_real_int64 500L); (mk_real_int64 570L); (mk_real_int64 500L); (mk_real_int64 200L); ]);
("y1_hi", [2; 6; 9; 12; 21; 22; 23; 29; 38; 43; 44; 45; 46; 47; 49; 52; 59; 61; 63; 65; 68; 70; ], [(mk_real_int64 125L); (mk_real_int64 100L); (mk_real_int64 260L); (mk_real_int64 385L); (mk_real_int64 600L); (mk_real_int64 80L); (mk_real_int64 500L); (mk_real_int64 500L); (mk_real_int64 140L); (mk_real_int64 440L); (mk_real_int64 60L); (mk_real_int64 600L); (mk_real_int64 100L); (mk_real_int64 500L); (mk_real_int64 500L); (mk_real_int64 500L); (mk_real_int64 600L); (mk_real_int64 460L); (mk_real_int64 400L); (mk_real_int64 20L); (mk_real_int64 420L); (mk_real_int64 400L); ]);
("y2_lo", [4; 19; 23; 25; 26; 27; 28; 31; 39; 40; 46; 47; 48; 49; 51; 52; 53; 60; 61; 62; 63; 65; 69; 70; ], [(mk_real_int64 84L); (mk_real_int64 400L); (mk_real_int64 456L); (mk_real_int64 132L); (mk_real_int64 172L); (mk_real_int64 320L); (mk_real_int64 276L); (mk_real_int64 280L); (mk_real_int64 72L); (mk_real_int64 220L); (mk_real_int64 340L); (mk_real_int64 456L); (mk_real_int64 20L); (mk_real_int64 456L); (mk_real_int64 200L); (mk_real_int64 456L); (mk_real_int64 212L); (mk_real_int64 232L); (mk_real_int64 60L); (mk_real_int64 520L); (mk_real_int64 36L); (mk_real_int64 404L); (mk_real_int64 232L); (mk_real_int64 436L); ]);
("y2_hi", [2; 6; 9; 12; 20; 21; 22; 24; 29; 30; 38; 43; 44; 45; 55; 56; 58; 59; 66; 68; 71; ], [(mk_real_int64 50L); (mk_real_int64 100L); (mk_real_int64 260L); (mk_real_int64 360L); (mk_real_int64 400L); (mk_real_int64 196L); (mk_real_int64 124L); (mk_real_int64 16L); (mk_real_int64 288L); (mk_real_int64 232L); (mk_real_int64 140L); (mk_real_int64 440L); (mk_real_int64 28L); (mk_real_int64 16L); (mk_real_int64 16L); (mk_real_int64 256L); (mk_real_int64 196L); (mk_real_int64 176L); (mk_real_int64 88L); (mk_real_int64 204L); (mk_real_int64 152L); ]);
("y3_lo", [4; 19; 23; 25; 26; 27; 28; 31; 39; 40; 46; 47; 48; 49; 51; 52; 53; 60; 61; 62; 63; 65; 69; 70; ], [(mk_real_int64 84L); (mk_real_int64 400L); (mk_real_int64 456L); (mk_real_int64 132L); (mk_real_int64 172L); (mk_real_int64 320L); (mk_real_int64 276L); (mk_real_int64 280L); (mk_real_int64 72L); (mk_real_int64 220L); (mk_real_int64 340L); (mk_real_int64 456L); (mk_real_int64 20L); (mk_real_int64 456L); (mk_real_int64 200L); (mk_real_int64 456L); (mk_real_int64 212L); (mk_real_int64 232L); (mk_real_int64 60L); (mk_real_int64 520L); (mk_real_int64 36L); (mk_real_int64 404L); (mk_real_int64 232L); (mk_real_int64 436L); ]);
("y3_hi", [2; 6; 9; 12; 20; 21; 22; 24; 29; 30; 38; 43; 44; 45; 55; 56; 58; 59; 66; 68; 71; ], [(mk_real_int64 50L); (mk_real_int64 100L); (mk_real_int64 260L); (mk_real_int64 360L); (mk_real_int64 400L); (mk_real_int64 196L); (mk_real_int64 124L); (mk_real_int64 16L); (mk_real_int64 288L); (mk_real_int64 232L); (mk_real_int64 140L); (mk_real_int64 440L); (mk_real_int64 28L); (mk_real_int64 16L); (mk_real_int64 16L); (mk_real_int64 256L); (mk_real_int64 196L); (mk_real_int64 176L); (mk_real_int64 88L); (mk_real_int64 204L); (mk_real_int64 152L); ]);
("y4_lo", [0; 5; 8; 12; 16; 17; 21; 23; 28; 33; 41; 43; 44; 47; 48; 56; 57; ], [(mk_real_int64 15L); (mk_real_int64 375L); (mk_real_int64 500L); (mk_real_int64 500L); (mk_real_int64 390L); (mk_real_int64 295L); (mk_real_int64 37L); (mk_real_int64 24L); (mk_real_int64 125L); (mk_real_int64 140L); (mk_real_int64 395L); (mk_real_int64 390L); (mk_real_int64 190L); (mk_real_int64 290L); (mk_real_int64 307L); (mk_real_int64 235L); (mk_real_int64 307L); ]);
("y4_hi", [2; 13; 14; 15; 18; 19; 20; 22; 26; 27; 32; 34; 35; 36; 37; 39; 40; 46; 49; 50; 51; 53; 54; 58; 59; ], [(mk_real_int64 125L); (mk_real_int64 35L); (mk_real_int64 694L); (mk_real_int64 319L); (mk_real_int64 505L); (mk_real_int64 344L); (mk_real_int64 565L); (mk_real_int64 520L); (mk_real_int64 125L); (mk_real_int64 380L); (mk_real_int64 166L); (mk_real_int64 225L); (mk_real_int64 319L); (mk_real_int64 125L); (mk_real_int64 319L); (mk_real_int64 500L); (mk_real_int64 319L); (mk_real_int64 185L); (mk_real_int64 425L); (mk_real_int64 50L); (mk_real_int64 565L); (mk_real_int64 585L); (mk_real_int64 389L); (mk_real_int64 65L); (mk_real_int64 670L); ]);
("y5_lo", [4; 9; 12; 22; 23; 26; 31; 39; 40; 46; 47; 49; 52; 53; 56; 60; 61; 62; 63; 69; 70; 71; ], [(mk_real_int64 84L); (mk_real_int64 375L); (mk_real_int64 275L); (mk_real_int64 81L); (mk_real_int64 456L); (mk_real_int64 172L); (mk_real_int64 24L); (mk_real_int64 72L); (mk_real_int64 125L); (mk_real_int64 565L); (mk_real_int64 456L); (mk_real_int64 456L); (mk_real_int64 456L); (mk_real_int64 212L); (mk_real_int64 89L); (mk_real_int64 232L); (mk_real_int64 145L); (mk_real_int64 520L); (mk_real_int64 36L); (mk_real_int64 232L); (mk_real_int64 436L); (mk_real_int64 448L); ]);
("y5_hi", [2; 6; 20; 21; 24; 25; 27; 28; 29; 30; 38; 44; 45; 48; 51; 55; 58; 59; 65; 66; 68; ], [(mk_real_int64 50L); (mk_real_int64 125L); (mk_real_int64 400L); (mk_real_int64 196L); (mk_real_int64 16L); (mk_real_int64 98L); (mk_real_int64 344L); (mk_real_int64 114L); (mk_real_int64 288L); (mk_real_int64 287L); (mk_real_int64 125L); (mk_real_int64 116L); (mk_real_int64 16L); (mk_real_int64 125L); (mk_real_int64 500L); (mk_real_int64 16L); (mk_real_int64 61L); (mk_real_int64 176L); (mk_real_int64 51L); (mk_real_int64 192L); (mk_real_int64 59L); ]);
("y6_lo", [4; 9; 10; 12; 17; 22; 23; 26; 31; 36; 37; 39; 40; 46; 47; 48; 49; 51; 52; 53; 54; 55; 56; 57; 60; 61; 62; 63; 64; 67; 69; 70; 71; ], [(mk_real_int64 84L); (mk_real_int64 375L); (mk_real_int64 278000L); (mk_real_int64 121275L); (mk_real_int64 110000L); (mk_real_int64 81L); (mk_real_int64 277456L); (mk_real_int64 295172L); (mk_real_int64 24L); (mk_real_int64 116000L); (mk_real_int64 246000L); (mk_real_int64 138072L); (mk_real_int64 77125L); (mk_real_int64 184565L); (mk_real_int64 456L); (mk_real_int64 302000L); (mk_real_int64 456L); (mk_real_int64 213000L); (mk_real_int64 91456L); (mk_real_int64 212L); (mk_real_int64 152000L); (mk_real_int64 236000L); (mk_real_int64 89L); (mk_real_int64 225000L); (mk_real_int64 232L); (mk_real_int64 24145L); (mk_real_int64 520L); (mk_real_int64 36L); (mk_real_int64 308000L); (mk_real_int64 451000L); (mk_real_int64 232L); (mk_real_int64 436L); (mk_real_int64 3000L); ]);
("y6_hi", [2; 6; 20; 21; 24; 25; 27; 28; 29; 30; 38; 44; 45; 48; 51; 55; 58; 59; 65; 66; 68; 71; ], [(mk_real_int64 50L); (mk_real_int64 125L); (mk_real_int64 400L); (mk_real_int64 196L); (mk_real_int64 16L); (mk_real_int64 98L); (mk_real_int64 344L); (mk_real_int64 114L); (mk_real_int64 288L); (mk_real_int64 287L); (mk_real_int64 125L); (mk_real_int64 116L); (mk_real_int64 16L); (mk_real_int64 125L); (mk_real_int64 500L); (mk_real_int64 16L); (mk_real_int64 61L); (mk_real_int64 176L); (mk_real_int64 51L); (mk_real_int64 192L); (mk_real_int64 59L); (mk_real_int64 552L); ]);
("ye_hi", [2; 10; 23; 25; 46; 48; 51; 57; 61; 62; 70; ], [(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); ]);
("ye_lo", [1; 2; 7; 20; 26; 27; 29; 31; 50; 62; 64; 67; ], [(mk_real_int64 100000L); (mk_real_int64 112000L); (mk_real_int64 150000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 244000L); (mk_real_int64 171000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("yn_hi", [2; 3; 6; 8; 10; 11; 12; 14; ], [(mk_real_int64 1040L); (mk_real_int64 708L); (mk_real_int64 40L); (mk_real_int64 2040L); (mk_real_int64 778L); (mk_real_int64 1440L); (mk_real_int64 560L); (mk_real_int64 1040L); ]);
("yn_lo", [0; 1; 4; 5; 7; 9; 13; ], [(mk_real_int64 212L); (mk_real_int64 212L); (mk_real_int64 136L); (mk_real_int64 648L); (mk_real_int64 1222L); (mk_real_int64 292L); (mk_real_int64 292L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;