needs "nobranching_lp.hl";;
module Test_case = struct
let hypermap_string = "125719999821 19 4 0 1 2 3 4 0 3 4 5 3 4 3 6 3 6 3 7 3 7 3 2 3 7 2 8 3 8 2 1 3 8 1 9 3 9 1 0 3 9 0 10 3 10 0 5 3 10 5 11 3 11 5 4 3 11 4 12 3 12 4 6 3 12 6 7 3 12 7 8 4 11 12 8 9 3 9 10 11 ";;
let precision = 3;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum_neg", [1; 2; 4; 6; 7; 11; ], [(mk_real_int64 244L); (mk_real_int64 94L); (mk_real_int64 339L); (mk_real_int64 120L); (mk_real_int64 157L); (mk_real_int64 249L); ]);
("azim_sum", [0; ], [(mk_real_int64 113L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 929L); (mk_real_int64 925L); (mk_real_int64 1019L); (mk_real_int64 953L); (mk_real_int64 929L); (mk_real_int64 929L); (mk_real_int64 663L); (mk_real_int64 819L); (mk_real_int64 1131L); (mk_real_int64 1131L); (mk_real_int64 1131L); (mk_real_int64 822L); (mk_real_int64 1131L); ]);
("sol_sum3_neg", [0; 11; 12; 14; ], [(mk_real_int64 153L); (mk_real_int64 200L); (mk_real_int64 156L); (mk_real_int64 175L); ]);
("sol_sum3", [3; 4; 8; 9; ], [(mk_real_int64 157L); (mk_real_int64 29L); (mk_real_int64 249L); (mk_real_int64 249L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; ], [(mk_real_int64 663L); (mk_real_int64 663L); (mk_real_int64 663L); (mk_real_int64 819L); (mk_real_int64 925L); (mk_real_int64 925L); (mk_real_int64 953L); (mk_real_int64 822L); (mk_real_int64 822L); (mk_real_int64 822L); (mk_real_int64 929L); (mk_real_int64 929L); (mk_real_int64 663L); (mk_real_int64 663L); (mk_real_int64 819L); (mk_real_int64 822L); ]);
("tau_sum4_neg", [0; 1; 2; ], [(mk_real_int64 925L); (mk_real_int64 929L); (mk_real_int64 1131L); ]);
("ln_def_neg", [0; 1; 2; 3; 4; 5; 8; 9; 10; 12; ], [(mk_real_int64 25L); (mk_real_int64 20L); (mk_real_int64 124L); (mk_real_int64 51L); (mk_real_int64 25L); (mk_real_int64 25L); (mk_real_int64 247L); (mk_real_int64 247L); (mk_real_int64 247L); (mk_real_int64 247L); ]);
("ln_def", [6; 7; 11; ], [(mk_real_int64 270L); (mk_real_int64 97L); (mk_real_int64 94L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 5840L); (mk_real_int64 5814L); (mk_real_int64 6404L); (mk_real_int64 5987L); (mk_real_int64 5840L); (mk_real_int64 5840L); (mk_real_int64 4163L); (mk_real_int64 5146L); (mk_real_int64 7103L); (mk_real_int64 7103L); (mk_real_int64 7103L); (mk_real_int64 5163L); (mk_real_int64 7103L); ]);
("edge_sym_neg", [5; 7; 9; 10; 13; 28; 30; 42; 46; 56; ], [(mk_real_int64 104L); (mk_real_int64 60L); (mk_real_int64 5L); (mk_real_int64 129L); (mk_real_int64 14L); (mk_real_int64 130L); (mk_real_int64 62L); (mk_real_int64 186L); (mk_real_int64 69L); (mk_real_int64 230L); ]);
("edge_sym", [12; 18; 19; 22; 34; 36; 37; 40; 49; ], [(mk_real_int64 20L); (mk_real_int64 58L); (mk_real_int64 38L); (mk_real_int64 215L); (mk_real_int64 60L); (mk_real_int64 128L); (mk_real_int64 109L); (mk_real_int64 186L); (mk_real_int64 181L); ]);
("y1_def_neg", [9; 15; 16; 18; 19; 20; 21; 25; 26; 27; 29; 32; 33; 34; 36; 37; 41; 43; 47; 48; 52; 57; ], [(mk_real_int64 13L); (mk_real_int64 10L); (mk_real_int64 11L); (mk_real_int64 11L); (mk_real_int64 85L); (mk_real_int64 107L); (mk_real_int64 39L); (mk_real_int64 231L); (mk_real_int64 110L); (mk_real_int64 39L); (mk_real_int64 36L); (mk_real_int64 38L); (mk_real_int64 39L); (mk_real_int64 11L); (mk_real_int64 54L); (mk_real_int64 154L); (mk_real_int64 1L); (mk_real_int64 168L); (mk_real_int64 281L); (mk_real_int64 59L); (mk_real_int64 15L); (mk_real_int64 62L); ]);
("y1_def", [10; 11; 31; 39; 42; 44; 46; 51; 58; ], [(mk_real_int64 59L); (mk_real_int64 46L); (mk_real_int64 70L); (mk_real_int64 60L); (mk_real_int64 176L); (mk_real_int64 54L); (mk_real_int64 138L); (mk_real_int64 80L); (mk_real_int64 125L); ]);
("y2_def", [9; 16; 18; 20; 27; 29; 34; 37; 42; 44; 47; 52; 57; ], [(mk_real_int64 101L); (mk_real_int64 7L); (mk_real_int64 7L); (mk_real_int64 65L); (mk_real_int64 24L); (mk_real_int64 22L); (mk_real_int64 6L); (mk_real_int64 33L); (mk_real_int64 46L); (mk_real_int64 62L); (mk_real_int64 170L); (mk_real_int64 116L); (mk_real_int64 38L); ]);
("y2_def_neg", [10; 11; 15; 19; 21; 25; 26; 31; 32; 33; 36; 39; 43; 46; 48; 51; 58; ], [(mk_real_int64 18L); (mk_real_int64 14L); (mk_real_int64 10L); (mk_real_int64 32L); (mk_real_int64 179L); (mk_real_int64 33L); (mk_real_int64 52L); (mk_real_int64 21L); (mk_real_int64 38L); (mk_real_int64 39L); (mk_real_int64 37L); (mk_real_int64 161L); (mk_real_int64 167L); (mk_real_int64 42L); (mk_real_int64 138L); (mk_real_int64 62L); (mk_real_int64 38L); ]);
("y3_def", [9; 16; 18; 20; 27; 29; 34; 37; 42; 44; 47; 52; 57; ], [(mk_real_int64 101L); (mk_real_int64 7L); (mk_real_int64 7L); (mk_real_int64 65L); (mk_real_int64 24L); (mk_real_int64 22L); (mk_real_int64 6L); (mk_real_int64 33L); (mk_real_int64 46L); (mk_real_int64 62L); (mk_real_int64 170L); (mk_real_int64 116L); (mk_real_int64 38L); ]);
("y3_def_neg", [10; 11; 15; 19; 21; 25; 26; 31; 32; 33; 36; 39; 43; 46; 48; 51; 58; ], [(mk_real_int64 18L); (mk_real_int64 14L); (mk_real_int64 10L); (mk_real_int64 32L); (mk_real_int64 179L); (mk_real_int64 33L); (mk_real_int64 52L); (mk_real_int64 21L); (mk_real_int64 38L); (mk_real_int64 39L); (mk_real_int64 37L); (mk_real_int64 161L); (mk_real_int64 167L); (mk_real_int64 42L); (mk_real_int64 138L); (mk_real_int64 62L); (mk_real_int64 38L); ]);
("y4_def_neg", [1; 7; 8; 10; 11; 12; 17; 18; 19; 21; 25; 26; 28; 29; 33; 35; 36; 39; 44; 45; ], [(mk_real_int64 111L); (mk_real_int64 7L); (mk_real_int64 13L); (mk_real_int64 13L); (mk_real_int64 7L); (mk_real_int64 122L); (mk_real_int64 215L); (mk_real_int64 92L); (mk_real_int64 44L); (mk_real_int64 41L); (mk_real_int64 27L); (mk_real_int64 12L); (mk_real_int64 42L); (mk_real_int64 52L); (mk_real_int64 1L); (mk_real_int64 117L); (mk_real_int64 37L); (mk_real_int64 321L); (mk_real_int64 128L); (mk_real_int64 71L); ]);
("y4_def", [2; 3; 13; 23; 24; 31; 34; 38; 40; 43; 46; ], [(mk_real_int64 91L); (mk_real_int64 72L); (mk_real_int64 77L); (mk_real_int64 109L); (mk_real_int64 81L); (mk_real_int64 186L); (mk_real_int64 115L); (mk_real_int64 213L); (mk_real_int64 10L); (mk_real_int64 148L); (mk_real_int64 193L); ]);
("y5_def", [9; 16; 18; 19; 20; 27; 29; 32; 34; 37; 47; 52; 57; ], [(mk_real_int64 13L); (mk_real_int64 7L); (mk_real_int64 7L); (mk_real_int64 51L); (mk_real_int64 65L); (mk_real_int64 24L); (mk_real_int64 22L); (mk_real_int64 81L); (mk_real_int64 6L); (mk_real_int64 151L); (mk_real_int64 170L); (mk_real_int64 15L); (mk_real_int64 38L); ]);
("y5_def_neg", [10; 11; 15; 21; 26; 31; 33; 36; 39; 42; 43; 44; 46; 48; 51; 53; 58; ], [(mk_real_int64 18L); (mk_real_int64 14L); (mk_real_int64 7L); (mk_real_int64 122L); (mk_real_int64 29L); (mk_real_int64 21L); (mk_real_int64 27L); (mk_real_int64 24L); (mk_real_int64 128L); (mk_real_int64 70L); (mk_real_int64 116L); (mk_real_int64 27L); (mk_real_int64 42L); (mk_real_int64 101L); (mk_real_int64 53L); (mk_real_int64 230L); (mk_real_int64 38L); ]);
("y6_def", [9; 11; 16; 18; 19; 20; 21; 27; 29; 32; 34; 35; 37; 45; 47; 48; 52; 57; ], [(mk_real_int64 13L); (mk_real_int64 5L); (mk_real_int64 7L); (mk_real_int64 7L); (mk_real_int64 51L); (mk_real_int64 65L); (mk_real_int64 122L); (mk_real_int64 92L); (mk_real_int64 22L); (mk_real_int64 101L); (mk_real_int64 6L); (mk_real_int64 16L); (mk_real_int64 151L); (mk_real_int64 208L); (mk_real_int64 170L); (mk_real_int64 335L); (mk_real_int64 15L); (mk_real_int64 38L); ]);
("y6_def_neg", [10; 15; 26; 31; 33; 36; 42; 43; 44; 46; 51; 58; ], [(mk_real_int64 18L); (mk_real_int64 7L); (mk_real_int64 24L); (mk_real_int64 21L); (mk_real_int64 27L); (mk_real_int64 24L); (mk_real_int64 70L); (mk_real_int64 116L); (mk_real_int64 27L); (mk_real_int64 42L); (mk_real_int64 53L); (mk_real_int64 38L); ]);
("y8_def_neg", [9; ], [(mk_real_int64 230L); ]);
("RHA", [0; 1; 3; 4; 8; 9; 12; 13; 14; 15; 16; 18; 19; 20; 22; 23; 24; 26; 27; 29; 30; 33; 34; 36; 37; 38; 41; 43; 44; 45; 49; 50; 52; 57; 59; ], [(mk_real_int64 28L); (mk_real_int64 94L); (mk_real_int64 4L); (mk_real_int64 23L); (mk_real_int64 267L); (mk_real_int64 149L); (mk_real_int64 267L); (mk_real_int64 157L); (mk_real_int64 157L); (mk_real_int64 267L); (mk_real_int64 244L); (mk_real_int64 87L); (mk_real_int64 257L); (mk_real_int64 27L); (mk_real_int64 94L); (mk_real_int64 205L); (mk_real_int64 94L); (mk_real_int64 117L); (mk_real_int64 1L); (mk_real_int64 249L); (mk_real_int64 131L); (mk_real_int64 131L); (mk_real_int64 90L); (mk_real_int64 90L); (mk_real_int64 115L); (mk_real_int64 201L); (mk_real_int64 200L); (mk_real_int64 200L); (mk_real_int64 459L); (mk_real_int64 267L); (mk_real_int64 157L); (mk_real_int64 311L); (mk_real_int64 175L); (mk_real_int64 205L); (mk_real_int64 309L); ]);
("yy10", [5; 7; 12; 28; 52; ], [(mk_real_int64 104L); (mk_real_int64 60L); (mk_real_int64 52L); (mk_real_int64 57L); (mk_real_int64 163L); ]);
("tau4", [0; 2; ], [(mk_real_int64 195L); (mk_real_int64 1131L); ]);
("ineq106", [1; 8; 10; 11; 12; 17; 18; 19; 21; 26; 28; 29; 33; 35; 36; 39; 44; 45; ], [(mk_real_int64 118L); (mk_real_int64 19L); (mk_real_int64 19L); (mk_real_int64 55L); (mk_real_int64 178L); (mk_real_int64 205L); (mk_real_int64 60L); (mk_real_int64 65L); (mk_real_int64 59L); (mk_real_int64 18L); (mk_real_int64 18L); (mk_real_int64 194L); (mk_real_int64 1L); (mk_real_int64 1L); (mk_real_int64 9L); (mk_real_int64 468L); (mk_real_int64 136L); (mk_real_int64 104L); ]);
("ineq107", [2; 3; 13; 23; 31; 34; 38; 40; 43; 46; ], [(mk_real_int64 118L); (mk_real_int64 93L); (mk_real_int64 215L); (mk_real_int64 141L); (mk_real_int64 339L); (mk_real_int64 200L); (mk_real_int64 276L); (mk_real_int64 120L); (mk_real_int64 217L); (mk_real_int64 249L); ]);
("ineq109", [11; 13; 24; 29; ], [(mk_real_int64 157L); (mk_real_int64 29L); (mk_real_int64 249L); (mk_real_int64 249L); ]);
("ineq110", [1; 34; 36; 44; ], [(mk_real_int64 153L); (mk_real_int64 200L); (mk_real_int64 156L); (mk_real_int64 175L); ]);
("ineq111", [7; 11; 13; 17; 18; 25; 28; 31; 35; 40; 43; 47; ], [(mk_real_int64 55L); (mk_real_int64 159L); (mk_real_int64 790L); (mk_real_int64 597L); (mk_real_int64 409L); (mk_real_int64 214L); (mk_real_int64 240L); (mk_real_int64 608L); (mk_real_int64 929L); (mk_real_int64 663L); (mk_real_int64 159L); (mk_real_int64 1L); ]);
("ineq112", [2; 3; 23; ], [(mk_real_int64 307L); (mk_real_int64 55L); (mk_real_int64 214L); ]);
("ineq113", [19; 43; ], [(mk_real_int64 357L); (mk_real_int64 442L); ]);
("ineq114", [0; 1; 4; 7; 11; 12; 14; 15; 18; 21; 22; 25; 29; 30; 36; 37; 42; 45; 47; ], [(mk_real_int64 181L); (mk_real_int64 174L); (mk_real_int64 608L); (mk_real_int64 608L); (mk_real_int64 660L); (mk_real_int64 89L); (mk_real_int64 46L); (mk_real_int64 328L); (mk_real_int64 187L); (mk_real_int64 398L); (mk_real_int64 210L); (mk_real_int64 608L); (mk_real_int64 582L); (mk_real_int64 321L); (mk_real_int64 485L); (mk_real_int64 178L); (mk_real_int64 217L); (mk_real_int64 328L); (mk_real_int64 493L); ]);
("ineq119", [2; 7; ], [(mk_real_int64 539L); (mk_real_int64 749L); ]);
("ineq120", [0; 3; 4; 5; ], [(mk_real_int64 36L); (mk_real_int64 155L); (mk_real_int64 31L); (mk_real_int64 150L); ]);
];;
(***************)
(* Variables *)
(***************)
let target_variables = [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 3000L); (mk_real_int64 2550L); (mk_real_int64 3300L); (mk_real_int64 3275L); (mk_real_int64 3000L); (mk_real_int64 3000L); (mk_real_int64 1475L); (mk_real_int64 2450L); (mk_real_int64 3975L); (mk_real_int64 3975L); (mk_real_int64 3975L); (mk_real_int64 2475L); (mk_real_int64 3975L); ]);
];;
(*************************)
let variable_bounds = [
("azim_lo", [0; 2; 7; 8; 9; 10; 11; 19; 20; 22; 31; 38; 50; 59; ], [(mk_real_int64 712L); (mk_real_int64 167L); (mk_real_int64 297L); (mk_real_int64 694L); (mk_real_int64 76L); (mk_real_int64 649L); (mk_real_int64 885L); (mk_real_int64 840L); (mk_real_int64 286L); (mk_real_int64 204L); (mk_real_int64 498L); (mk_real_int64 54L); (mk_real_int64 158L); (mk_real_int64 382L); ]);
("azim_hi", [3; 4; 5; 12; 15; 23; 26; 27; 29; 30; 33; 37; 44; 45; 51; 57; ], [(mk_real_int64 490L); (mk_real_int64 498L); (mk_real_int64 700L); (mk_real_int64 608L); (mk_real_int64 608L); (mk_real_int64 328L); (mk_real_int64 62L); (mk_real_int64 537L); (mk_real_int64 148L); (mk_real_int64 460L); (mk_real_int64 608L); (mk_real_int64 332L); (mk_real_int64 610L); (mk_real_int64 428L); (mk_real_int64 522L); (mk_real_int64 328L); ]);
("rhazim_lo", [4; 20; 23; 25; 26; 29; 38; 41; 43; 50; 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); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("rhazim_hi", [8; 9; 12; 13; 14; 15; 16; 34; 36; 45; 49; ], [(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); ]);
("rho_hi", [3; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 1652L); (mk_real_int64 3292L); (mk_real_int64 596L); (mk_real_int64 4204L); (mk_real_int64 4204L); (mk_real_int64 4204L); (mk_real_int64 2448L); (mk_real_int64 4204L); ]);
("rho_lo", [0; 1; 2; 4; 5; ], [(mk_real_int64 2164L); (mk_real_int64 1300L); (mk_real_int64 604L); (mk_real_int64 2164L); (mk_real_int64 2164L); ]);
("tau_hi", [1; ], [(mk_real_int64 1000L); ]);
("tau_lo", [2; 16; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("y1_hi", [9; 11; 15; 20; 25; 26; 29; 31; 32; 33; 34; 37; 39; 41; 43; 47; ], [(mk_real_int64 340L); (mk_real_int64 500L); (mk_real_int64 100L); (mk_real_int64 200L); (mk_real_int64 540L); (mk_real_int64 380L); (mk_real_int64 600L); (mk_real_int64 500L); (mk_real_int64 401L); (mk_real_int64 480L); (mk_real_int64 200L); (mk_real_int64 1L); (mk_real_int64 60L); (mk_real_int64 400L); (mk_real_int64 180L); (mk_real_int64 200L); ]);
("y1_lo", [16; 18; 19; 21; 44; 48; 51; 52; 57; 58; 59; ], [(mk_real_int64 400L); (mk_real_int64 400L); (mk_real_int64 327L); (mk_real_int64 79L); (mk_real_int64 120L); (mk_real_int64 340L); (mk_real_int64 120L); (mk_real_int64 100L); (mk_real_int64 400L); (mk_real_int64 500L); (mk_real_int64 180L); ]);
("y2_hi", [9; 10; 15; 25; 26; 32; 33; 34; 36; 37; 39; 41; 43; 44; 46; 47; 48; 51; 52; 58; ], [(mk_real_int64 92L); (mk_real_int64 64L); (mk_real_int64 100L); (mk_real_int64 160L); (mk_real_int64 220L); (mk_real_int64 401L); (mk_real_int64 480L); (mk_real_int64 552L); (mk_real_int64 352L); (mk_real_int64 17L); (mk_real_int64 32L); (mk_real_int64 364L); (mk_real_int64 144L); (mk_real_int64 556L); (mk_real_int64 48L); (mk_real_int64 352L); (mk_real_int64 420L); (mk_real_int64 396L); (mk_real_int64 4L); (mk_real_int64 152L); ]);
("y2_lo", [11; 16; 18; 19; 20; 21; 27; 29; 31; 42; 57; 59; ], [(mk_real_int64 136L); (mk_real_int64 84L); (mk_real_int64 84L); (mk_real_int64 307L); (mk_real_int64 208L); (mk_real_int64 259L); (mk_real_int64 340L); (mk_real_int64 524L); (mk_real_int64 432L); (mk_real_int64 400L); (mk_real_int64 144L); (mk_real_int64 180L); ]);
("y3_hi", [9; 10; 15; 25; 26; 32; 33; 34; 36; 37; 39; 41; 43; 44; 46; 47; 48; 51; 52; 58; ], [(mk_real_int64 92L); (mk_real_int64 64L); (mk_real_int64 100L); (mk_real_int64 160L); (mk_real_int64 220L); (mk_real_int64 401L); (mk_real_int64 480L); (mk_real_int64 552L); (mk_real_int64 352L); (mk_real_int64 17L); (mk_real_int64 32L); (mk_real_int64 364L); (mk_real_int64 144L); (mk_real_int64 556L); (mk_real_int64 48L); (mk_real_int64 352L); (mk_real_int64 420L); (mk_real_int64 396L); (mk_real_int64 4L); (mk_real_int64 152L); ]);
("y3_lo", [11; 16; 18; 19; 20; 21; 27; 29; 31; 42; 57; 59; ], [(mk_real_int64 136L); (mk_real_int64 84L); (mk_real_int64 84L); (mk_real_int64 307L); (mk_real_int64 208L); (mk_real_int64 259L); (mk_real_int64 340L); (mk_real_int64 524L); (mk_real_int64 432L); (mk_real_int64 400L); (mk_real_int64 144L); (mk_real_int64 180L); ]);
("y4_hi", [1; 2; 7; 11; 12; 21; 25; 31; 33; 34; 35; 36; 38; 39; 44; ], [(mk_real_int64 182L); (mk_real_int64 214L); (mk_real_int64 125L); (mk_real_int64 318L); (mk_real_int64 70L); (mk_real_int64 585L); (mk_real_int64 250L); (mk_real_int64 47L); (mk_real_int64 315L); (mk_real_int64 400L); (mk_real_int64 190L); (mk_real_int64 259L); (mk_real_int64 348L); (mk_real_int64 420L); (mk_real_int64 540L); ]);
("y4_lo", [3; 8; 10; 13; 17; 18; 19; 23; 24; 26; 28; 29; 40; 43; 45; 46; 47; ], [(mk_real_int64 111L); (mk_real_int64 15L); (mk_real_int64 15L); (mk_real_int64 159L); (mk_real_int64 50L); (mk_real_int64 225L); (mk_real_int64 525L); (mk_real_int64 7L); (mk_real_int64 324L); (mk_real_int64 330L); (mk_real_int64 330L); (mk_real_int64 214L); (mk_real_int64 115L); (mk_real_int64 134L); (mk_real_int64 240L); (mk_real_int64 523L); (mk_real_int64 125L); ]);
("y5_hi", [10; 15; 19; 33; 34; 36; 37; 39; 41; 42; 43; 46; 47; 51; 52; 58; ], [(mk_real_int64 64L); (mk_real_int64 125L); (mk_real_int64 13L); (mk_real_int64 250L); (mk_real_int64 552L); (mk_real_int64 552L); (mk_real_int64 292L); (mk_real_int64 472L); (mk_real_int64 364L); (mk_real_int64 400L); (mk_real_int64 239L); (mk_real_int64 48L); (mk_real_int64 352L); (mk_real_int64 141L); (mk_real_int64 204L); (mk_real_int64 152L); ]);
("y5_lo", [9; 11; 16; 18; 20; 21; 25; 26; 27; 29; 31; 32; 44; 48; 57; 59; ], [(mk_real_int64 36L); (mk_real_int64 136L); (mk_real_int64 84L); (mk_real_int64 84L); (mk_real_int64 208L); (mk_real_int64 34L); (mk_real_int64 5L); (mk_real_int64 285L); (mk_real_int64 340L); (mk_real_int64 524L); (mk_real_int64 432L); (mk_real_int64 324L); (mk_real_int64 300L); (mk_real_int64 115L); (mk_real_int64 144L); (mk_real_int64 125L); ]);
("y6_hi", [10; 15; 19; 27; 32; 33; 34; 36; 37; 39; 41; 42; 43; 46; 47; 51; 52; 58; ], [(mk_real_int64 64L); (mk_real_int64 125L); (mk_real_int64 13L); (mk_real_int64 660L); (mk_real_int64 676L); (mk_real_int64 250L); (mk_real_int64 552L); (mk_real_int64 552L); (mk_real_int64 292L); (mk_real_int64 472L); (mk_real_int64 364L); (mk_real_int64 400L); (mk_real_int64 239L); (mk_real_int64 48L); (mk_real_int64 352L); (mk_real_int64 141L); (mk_real_int64 204L); (mk_real_int64 152L); ]);
("y6_lo", [9; 11; 16; 18; 20; 21; 25; 26; 27; 29; 31; 32; 35; 39; 44; 45; 48; 57; 59; ], [(mk_real_int64 36L); (mk_real_int64 19136L); (mk_real_int64 84L); (mk_real_int64 84L); (mk_real_int64 208L); (mk_real_int64 244034L); (mk_real_int64 5L); (mk_real_int64 5285L); (mk_real_int64 69000L); (mk_real_int64 524L); (mk_real_int64 432L); (mk_real_int64 21000L); (mk_real_int64 16000L); (mk_real_int64 128000L); (mk_real_int64 300L); (mk_real_int64 208000L); (mk_real_int64 436115L); (mk_real_int64 144L); (mk_real_int64 125L); ]);
("y8_hi", [9; ], [(mk_real_int64 230000L); ]);
("ye_hi", [20; 22; 29; 31; 59; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("ye_lo", [22; 36; 41; 42; 43; 49; ], [(mk_real_int64 74000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("yn_hi", [0; 1; 2; 3; 8; 9; 10; 12; ], [(mk_real_int64 100L); (mk_real_int64 480L); (mk_real_int64 576L); (mk_real_int64 124L); (mk_real_int64 228L); (mk_real_int64 1228L); (mk_real_int64 1228L); (mk_real_int64 1228L); ]);
("yn_lo", [4; 5; 6; 7; 11; ], [(mk_real_int64 900L); (mk_real_int64 900L); (mk_real_int64 2210L); (mk_real_int64 531L); (mk_real_int64 762L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;