needs "nobranching_lp.hl";;
module Test_case = struct
let hypermap_string = "206221606034 17 6 0 1 2 3 4 5 4 0 5 6 7 3 6 5 8 3 8 5 4 3 8 4 3 4 6 8 3 9 3 9 3 10 3 10 3 2 3 10 2 11 3 11 2 1 3 11 1 0 3 11 0 12 3 10 11 12 3 9 10 12 3 12 0 7 3 9 12 7 3 7 6 9 ";;
let precision = 3;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum_neg", [1; 2; 5; 6; 7; 10; ], [(mk_real_int64 277L); (mk_real_int64 236L); (mk_real_int64 440L); (mk_real_int64 181L); (mk_real_int64 101L); (mk_real_int64 94L); ]);
("azim_sum", [3; 12; ], [(mk_real_int64 61L); (mk_real_int64 293L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 988L); (mk_real_int64 945L); (mk_real_int64 988L); (mk_real_int64 988L); (mk_real_int64 988L); (mk_real_int64 845L); (mk_real_int64 775L); (mk_real_int64 974L); (mk_real_int64 988L); (mk_real_int64 830L); (mk_real_int64 988L); (mk_real_int64 988L); (mk_real_int64 988L); ]);
("sol_sum3", [1; 6; 7; 12; ], [(mk_real_int64 211L); (mk_real_int64 124L); (mk_real_int64 79L); (mk_real_int64 29L); ]);
("sol_sum3_neg", [3; 9; 10; ], [(mk_real_int64 135L); (mk_real_int64 122L); (mk_real_int64 96L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 929L); (mk_real_int64 945L); (mk_real_int64 752L); (mk_real_int64 914L); (mk_real_int64 974L); (mk_real_int64 594L); (mk_real_int64 719L); (mk_real_int64 673L); (mk_real_int64 607L); (mk_real_int64 708L); (mk_real_int64 734L); (mk_real_int64 830L); (mk_real_int64 814L); (mk_real_int64 893L); ]);
("tau_sum4_neg", [0; 1; ], [(mk_real_int64 988L); (mk_real_int64 988L); ]);
("tau_sum6_neg", [0; ], [(mk_real_int64 988L); ]);
("ln_def_neg", [0; 1; 2; 3; 4; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 89L); (mk_real_int64 41L); (mk_real_int64 89L); (mk_real_int64 89L); (mk_real_int64 89L); (mk_real_int64 74L); (mk_real_int64 89L); (mk_real_int64 13L); (mk_real_int64 89L); (mk_real_int64 89L); (mk_real_int64 89L); ]);
("ln_def", [5; 6; ], [(mk_real_int64 68L); (mk_real_int64 145L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 6206L); (mk_real_int64 5935L); (mk_real_int64 6206L); (mk_real_int64 6206L); (mk_real_int64 6206L); (mk_real_int64 5308L); (mk_real_int64 4870L); (mk_real_int64 6122L); (mk_real_int64 6206L); (mk_real_int64 5217L); (mk_real_int64 6206L); (mk_real_int64 6206L); (mk_real_int64 6206L); ]);
("edge_sym", [2; 3; 15; 24; 31; 37; 39; 40; 43; 46; 52; ], [(mk_real_int64 24L); (mk_real_int64 24L); (mk_real_int64 24L); (mk_real_int64 131L); (mk_real_int64 44L); (mk_real_int64 155L); (mk_real_int64 91L); (mk_real_int64 79L); (mk_real_int64 174L); (mk_real_int64 15L); (mk_real_int64 99L); ]);
("edge_sym_neg", [7; 11; 25; 28; 30; 49; ], [(mk_real_int64 3L); (mk_real_int64 61L); (mk_real_int64 32L); (mk_real_int64 117L); (mk_real_int64 176L); (mk_real_int64 181L); ]);
("y1_def_neg", [3; 10; 11; 13; 14; 15; 17; 28; 29; 30; 33; 37; 40; 41; 44; 45; 48; 49; 50; 52; 54; 55; ], [(mk_real_int64 19L); (mk_real_int64 35L); (mk_real_int64 30L); (mk_real_int64 32L); (mk_real_int64 19L); (mk_real_int64 68L); (mk_real_int64 16L); (mk_real_int64 162L); (mk_real_int64 182L); (mk_real_int64 42L); (mk_real_int64 35L); (mk_real_int64 12L); (mk_real_int64 134L); (mk_real_int64 26L); (mk_real_int64 156L); (mk_real_int64 10L); (mk_real_int64 89L); (mk_real_int64 185L); (mk_real_int64 123L); (mk_real_int64 69L); (mk_real_int64 57L); (mk_real_int64 49L); ]);
("y1_def", [12; 23; 25; 26; 34; 36; 38; 42; 43; 46; ], [(mk_real_int64 2L); (mk_real_int64 51L); (mk_real_int64 17L); (mk_real_int64 50L); (mk_real_int64 95L); (mk_real_int64 84L); (mk_real_int64 7L); (mk_real_int64 118L); (mk_real_int64 46L); (mk_real_int64 36L); ]);
("y2_def", [3; 10; 14; 23; 29; 30; 40; 41; 43; 44; 45; 46; 48; 50; 52; 54; ], [(mk_real_int64 24L); (mk_real_int64 21L); (mk_real_int64 12L); (mk_real_int64 51L); (mk_real_int64 88L); (mk_real_int64 25L); (mk_real_int64 81L); (mk_real_int64 16L); (mk_real_int64 46L); (mk_real_int64 33L); (mk_real_int64 6L); (mk_real_int64 36L); (mk_real_int64 54L); (mk_real_int64 44L); (mk_real_int64 35L); (mk_real_int64 34L); ]);
("y2_def_neg", [11; 12; 13; 15; 17; 25; 26; 28; 33; 34; 36; 37; 38; 42; 49; 55; ], [(mk_real_int64 30L); (mk_real_int64 1L); (mk_real_int64 32L); (mk_real_int64 111L); (mk_real_int64 33L); (mk_real_int64 5L); (mk_real_int64 15L); (mk_real_int64 149L); (mk_real_int64 35L); (mk_real_int64 29L); (mk_real_int64 25L); (mk_real_int64 12L); (mk_real_int64 2L); (mk_real_int64 36L); (mk_real_int64 124L); (mk_real_int64 49L); ]);
("y3_def", [3; 10; 14; 23; 29; 30; 40; 41; 43; 44; 45; 46; 48; 50; 52; 54; ], [(mk_real_int64 24L); (mk_real_int64 21L); (mk_real_int64 12L); (mk_real_int64 51L); (mk_real_int64 88L); (mk_real_int64 25L); (mk_real_int64 81L); (mk_real_int64 16L); (mk_real_int64 46L); (mk_real_int64 33L); (mk_real_int64 6L); (mk_real_int64 36L); (mk_real_int64 54L); (mk_real_int64 44L); (mk_real_int64 35L); (mk_real_int64 34L); ]);
("y3_def_neg", [11; 12; 13; 15; 17; 25; 26; 28; 33; 34; 36; 37; 38; 42; 49; 55; ], [(mk_real_int64 30L); (mk_real_int64 1L); (mk_real_int64 32L); (mk_real_int64 111L); (mk_real_int64 33L); (mk_real_int64 5L); (mk_real_int64 15L); (mk_real_int64 149L); (mk_real_int64 35L); (mk_real_int64 29L); (mk_real_int64 25L); (mk_real_int64 12L); (mk_real_int64 2L); (mk_real_int64 36L); (mk_real_int64 124L); (mk_real_int64 49L); ]);
("y4_def_neg", [0; 1; 4; 5; 9; 14; 15; 16; 26; 27; 29; 30; 31; 32; 34; 35; 36; 38; 40; 41; ], [(mk_real_int64 40L); (mk_real_int64 21L); (mk_real_int64 22L); (mk_real_int64 19L); (mk_real_int64 26L); (mk_real_int64 116L); (mk_real_int64 201L); (mk_real_int64 48L); (mk_real_int64 153L); (mk_real_int64 30L); (mk_real_int64 24L); (mk_real_int64 161L); (mk_real_int64 11L); (mk_real_int64 19L); (mk_real_int64 102L); (mk_real_int64 145L); (mk_real_int64 132L); (mk_real_int64 65L); (mk_real_int64 65L); (mk_real_int64 34L); ]);
("y4_def", [2; 3; 11; 12; 19; 20; 22; 23; 24; 28; ], [(mk_real_int64 3L); (mk_real_int64 68L); (mk_real_int64 26L); (mk_real_int64 78L); (mk_real_int64 29L); (mk_real_int64 147L); (mk_real_int64 129L); (mk_real_int64 25L); (mk_real_int64 10L); (mk_real_int64 182L); ]);
("y5_def", [3; 10; 13; 14; 29; 30; 33; 37; 40; 41; 44; 45; 48; 50; 52; 54; ], [(mk_real_int64 24L); (mk_real_int64 21L); (mk_real_int64 68L); (mk_real_int64 12L); (mk_real_int64 92L); (mk_real_int64 25L); (mk_real_int64 29L); (mk_real_int64 25L); (mk_real_int64 81L); (mk_real_int64 16L); (mk_real_int64 45L); (mk_real_int64 6L); (mk_real_int64 54L); (mk_real_int64 50L); (mk_real_int64 49L); (mk_real_int64 34L); ]);
("y5_def_neg", [11; 12; 15; 17; 23; 25; 26; 28; 34; 36; 38; 42; 43; 46; 49; 55; ], [(mk_real_int64 21L); (mk_real_int64 1L); (mk_real_int64 80L); (mk_real_int64 24L); (mk_real_int64 26L); (mk_real_int64 5L); (mk_real_int64 15L); (mk_real_int64 102L); (mk_real_int64 29L); (mk_real_int64 25L); (mk_real_int64 2L); (mk_real_int64 36L); (mk_real_int64 24L); (mk_real_int64 19L); (mk_real_int64 79L); (mk_real_int64 34L); ]);
("y6_def", [3; 10; 13; 14; 29; 30; 33; 37; 40; 41; 44; 45; 48; 50; 51; 52; 54; ], [(mk_real_int64 24L); (mk_real_int64 21L); (mk_real_int64 68L); (mk_real_int64 12L); (mk_real_int64 92L); (mk_real_int64 25L); (mk_real_int64 29L); (mk_real_int64 25L); (mk_real_int64 81L); (mk_real_int64 16L); (mk_real_int64 45L); (mk_real_int64 6L); (mk_real_int64 79L); (mk_real_int64 50L); (mk_real_int64 264L); (mk_real_int64 49L); (mk_real_int64 34L); ]);
("y6_def_neg", [11; 12; 15; 17; 23; 25; 26; 28; 34; 36; 38; 42; 43; 46; 49; 55; ], [(mk_real_int64 21L); (mk_real_int64 1L); (mk_real_int64 80L); (mk_real_int64 24L); (mk_real_int64 26L); (mk_real_int64 5L); (mk_real_int64 15L); (mk_real_int64 102L); (mk_real_int64 29L); (mk_real_int64 25L); (mk_real_int64 2L); (mk_real_int64 25L); (mk_real_int64 24L); (mk_real_int64 19L); (mk_real_int64 79L); (mk_real_int64 34L); ]);
("RHA", [11; 12; 13; 14; 16; 17; 18; 23; 24; 25; 27; 29; 30; 31; 32; 33; 34; 35; 36; 37; 38; 39; 41; 42; 43; 44; 45; 46; 48; 49; 51; 52; 53; 55; ], [(mk_real_int64 58L); (mk_real_int64 58L); (mk_real_int64 43L); (mk_real_int64 11L); (mk_real_int64 236L); (mk_real_int64 192L); (mk_real_int64 236L); (mk_real_int64 74L); (mk_real_int64 74L); (mk_real_int64 60L); (mk_real_int64 13L); (mk_real_int64 101L); (mk_real_int64 323L); (mk_real_int64 181L); (mk_real_int64 56L); (mk_real_int64 269L); (mk_real_int64 126L); (mk_real_int64 102L); (mk_real_int64 172L); (mk_real_int64 315L); (mk_real_int64 168L); (mk_real_int64 380L); (mk_real_int64 223L); (mk_real_int64 67L); (mk_real_int64 122L); (mk_real_int64 57L); (mk_real_int64 224L); (mk_real_int64 96L); (mk_real_int64 9L); (mk_real_int64 94L); (mk_real_int64 16L); (mk_real_int64 65L); (mk_real_int64 94L); (mk_real_int64 94L); ]);
("yy10", [7; ], [(mk_real_int64 3L); ]);
("tau4", [0; ], [(mk_real_int64 780L); ]);
("tau6", [0; ], [(mk_real_int64 988L); ]);
("ineq105", [3; ], [(mk_real_int64 61L); ]);
("ineq106", [0; 4; 14; 15; 16; 26; 27; 30; 31; 34; 35; 36; 38; 40; ], [(mk_real_int64 58L); (mk_real_int64 32L); (mk_real_int64 13L); (mk_real_int64 279L); (mk_real_int64 70L); (mk_real_int64 223L); (mk_real_int64 43L); (mk_real_int64 196L); (mk_real_int64 16L); (mk_real_int64 148L); (mk_real_int64 63L); (mk_real_int64 173L); (mk_real_int64 108L); (mk_real_int64 94L); ]);
("ineq107", [2; 5; 7; 11; 12; 20; 22; 24; 28; ], [(mk_real_int64 4L); (mk_real_int64 66L); (mk_real_int64 26L); (mk_real_int64 34L); (mk_real_int64 101L); (mk_real_int64 190L); (mk_real_int64 167L); (mk_real_int64 13L); (mk_real_int64 236L); ]);
("ineq109", [3; 19; 23; 38; ], [(mk_real_int64 211L); (mk_real_int64 124L); (mk_real_int64 79L); (mk_real_int64 29L); ]);
("ineq110", [9; 29; 32; ], [(mk_real_int64 135L); (mk_real_int64 122L); (mk_real_int64 96L); ]);
("ineq111", [1; 5; 7; 14; 15; 19; 30; 35; 36; 41; ], [(mk_real_int64 165L); (mk_real_int64 560L); (mk_real_int64 163L); (mk_real_int64 856L); (mk_real_int64 78L); (mk_real_int64 90L); (mk_real_int64 215L); (mk_real_int64 816L); (mk_real_int64 105L); (mk_real_int64 274L); ]);
("ineq112", [7; 22; ], [(mk_real_int64 115L); (mk_real_int64 45L); ]);
("ineq113", [2; 11; ], [(mk_real_int64 671L); (mk_real_int64 543L); ]);
("ineq114", [1; 3; 4; 8; 9; 13; 16; 19; 23; 25; 30; 31; 34; 36; 37; 41; ], [(mk_real_int64 93L); (mk_real_int64 30L); (mk_real_int64 355L); (mk_real_int64 474L); (mk_real_int64 371L); (mk_real_int64 118L); (mk_real_int64 516L); (mk_real_int64 628L); (mk_real_int64 628L); (mk_real_int64 607L); (mk_real_int64 406L); (mk_real_int64 44L); (mk_real_int64 14L); (mk_real_int64 515L); (mk_real_int64 72L); (mk_real_int64 619L); ]);
("ineq119", [3; 5; ], [(mk_real_int64 208L); (mk_real_int64 520L); ]);
("ineq120", [6; 7; ], [(mk_real_int64 80L); (mk_real_int64 387L); ]);
];;
(***************)
(* Variables *)
(***************)
let target_variables = [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 2950L); (mk_real_int64 2375L); (mk_real_int64 2950L); (mk_real_int64 2950L); (mk_real_int64 2950L); (mk_real_int64 3100L); (mk_real_int64 2750L); (mk_real_int64 2650L); (mk_real_int64 2950L); (mk_real_int64 100025L); (mk_real_int64 2950L); (mk_real_int64 2950L); (mk_real_int64 2950L); ]);
];;
(*************************)
let variable_bounds = [
("azim_lo", [9; 18; 21; 27; 36; 37; 39; 48; ], [(mk_real_int64 224L); (mk_real_int64 276L); (mk_real_int64 360L); (mk_real_int64 132L); (mk_real_int64 815L); (mk_real_int64 872L); (mk_real_int64 18L); (mk_real_int64 236L); ]);
("azim_hi", [1; 4; 11; 12; 13; 14; 17; 20; 22; 23; 25; 30; 32; 33; 44; 45; 50; 51; 55; ], [(mk_real_int64 440000L); (mk_real_int64 277000L); (mk_real_int64 218L); (mk_real_int64 211L); (mk_real_int64 780L); (mk_real_int64 230L); (mk_real_int64 695L); (mk_real_int64 440L); (mk_real_int64 346L); (mk_real_int64 246L); (mk_real_int64 1363L); (mk_real_int64 16L); (mk_real_int64 1000L); (mk_real_int64 128L); (mk_real_int64 156L); (mk_real_int64 544L); (mk_real_int64 390L); (mk_real_int64 72L); (mk_real_int64 494L); ]);
("rhazim_lo", [10; 11; 12; 17; 27; 28; 30; 39; 44; 48; 49; 50; 52; 53; 54; 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); (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", [1; 4; ], [(mk_real_int64 143000L); (mk_real_int64 43000L); ]);
("rho_hi", [0; 1; 2; 3; 4; 5; 6; 8; 10; 11; 12; ], [(mk_real_int64 2592L); (mk_real_int64 3380L); (mk_real_int64 2592L); (mk_real_int64 2592L); (mk_real_int64 2592L); (mk_real_int64 1980L); (mk_real_int64 100L); (mk_real_int64 2592L); (mk_real_int64 2592L); (mk_real_int64 2592L); (mk_real_int64 2592L); ]);
("rho_lo", [7; 9; ], [(mk_real_int64 1384L); (mk_real_int64 1280L); ]);
("tau_lo", [5; 9; 12; 13; 15; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 708000L); (mk_real_int64 69000L); (mk_real_int64 122000L); ]);
("y1_hi", [10; 11; 13; 15; 23; 26; 28; 29; 33; 37; 40; 41; 43; 45; 46; 48; 49; 50; 54; ], [(mk_real_int64 200L); (mk_real_int64 300L); (mk_real_int64 139L); (mk_real_int64 200L); (mk_real_int64 300L); (mk_real_int64 500L); (mk_real_int64 120L); (mk_real_int64 560L); (mk_real_int64 76L); (mk_real_int64 71L); (mk_real_int64 200L); (mk_real_int64 200L); (mk_real_int64 360L); (mk_real_int64 400L); (mk_real_int64 480L); (mk_real_int64 200L); (mk_real_int64 320L); (mk_real_int64 300L); (mk_real_int64 600L); ]);
("y1_lo", [3; 14; 17; 36; 38; 44; 52; 55; ], [(mk_real_int64 215L); (mk_real_int64 200L); (mk_real_int64 340L); (mk_real_int64 500L); (mk_real_int64 500L); (mk_real_int64 300L); (mk_real_int64 179L); (mk_real_int64 320L); ]);
("y2_hi", [3; 10; 11; 12; 13; 15; 23; 30; 33; 34; 37; 38; 40; 42; 43; 46; 49; 50; 54; ], [(mk_real_int64 522L); (mk_real_int64 112L); (mk_real_int64 300L); (mk_real_int64 392L); (mk_real_int64 139L); (mk_real_int64 168L); (mk_real_int64 300L); (mk_real_int64 480L); (mk_real_int64 76L); (mk_real_int64 120L); (mk_real_int64 71L); (mk_real_int64 24L); (mk_real_int64 172L); (mk_real_int64 128L); (mk_real_int64 360L); (mk_real_int64 480L); (mk_real_int64 52L); (mk_real_int64 72L); (mk_real_int64 216L); ]);
("y2_lo", [14; 17; 25; 26; 28; 29; 36; 41; 44; 45; 48; 52; 55; ], [(mk_real_int64 352L); (mk_real_int64 292L); (mk_real_int64 168L); (mk_real_int64 352L); (mk_real_int64 348L); (mk_real_int64 484L); (mk_real_int64 384L); (mk_real_int64 348L); (mk_real_int64 356L); (mk_real_int64 176L); (mk_real_int64 128L); (mk_real_int64 67L); (mk_real_int64 320L); ]);
("y3_hi", [3; 10; 11; 12; 13; 15; 23; 30; 33; 34; 37; 38; 40; 42; 43; 46; 49; 50; 54; ], [(mk_real_int64 522L); (mk_real_int64 112L); (mk_real_int64 300L); (mk_real_int64 392L); (mk_real_int64 139L); (mk_real_int64 168L); (mk_real_int64 300L); (mk_real_int64 480L); (mk_real_int64 76L); (mk_real_int64 120L); (mk_real_int64 71L); (mk_real_int64 24L); (mk_real_int64 172L); (mk_real_int64 128L); (mk_real_int64 360L); (mk_real_int64 480L); (mk_real_int64 52L); (mk_real_int64 72L); (mk_real_int64 216L); ]);
("y3_lo", [14; 17; 25; 26; 28; 29; 36; 41; 44; 45; 48; 52; 55; ], [(mk_real_int64 352L); (mk_real_int64 292L); (mk_real_int64 168L); (mk_real_int64 352L); (mk_real_int64 348L); (mk_real_int64 484L); (mk_real_int64 384L); (mk_real_int64 348L); (mk_real_int64 356L); (mk_real_int64 176L); (mk_real_int64 128L); (mk_real_int64 67L); (mk_real_int64 320L); ]);
("y4_hi", [0; 1; 2; 3; 4; 5; 11; 12; 14; 15; 16; 22; 23; 24; 26; 27; 28; 29; 31; 32; 34; 36; 38; 40; ], [(mk_real_int64 270L); (mk_real_int64 375L); (mk_real_int64 92L); (mk_real_int64 364L); (mk_real_int64 80L); (mk_real_int64 18L); (mk_real_int64 282L); (mk_real_int64 73L); (mk_real_int64 95L); (mk_real_int64 135L); (mk_real_int64 50L); (mk_real_int64 91L); (mk_real_int64 596L); (mk_real_int64 49L); (mk_real_int64 245L); (mk_real_int64 545L); (mk_real_int64 428L); (mk_real_int64 88L); (mk_real_int64 40L); (mk_real_int64 184L); (mk_real_int64 620L); (mk_real_int64 370L); (mk_real_int64 416L); (mk_real_int64 610L); ]);
("y4_lo", [7; 9; 19; 20; 30; 35; 41; ], [(mk_real_int64 277L); (mk_real_int64 460L); (mk_real_int64 74L); (mk_real_int64 130L); (mk_real_int64 135L); (mk_real_int64 155L); (mk_real_int64 250L); ]);
("y5_hi", [3; 10; 11; 12; 13; 30; 34; 37; 38; 40; 42; 43; 46; 54; ], [(mk_real_int64 522L); (mk_real_int64 112L); (mk_real_int64 375L); (mk_real_int64 392L); (mk_real_int64 364L); (mk_real_int64 480L); (mk_real_int64 120L); (mk_real_int64 596L); (mk_real_int64 24L); (mk_real_int64 172L); (mk_real_int64 128L); (mk_real_int64 88L); (mk_real_int64 184L); (mk_real_int64 216L); ]);
("y5_lo", [14; 15; 17; 23; 25; 26; 28; 29; 33; 36; 41; 44; 45; 48; 49; 50; 52; 55; ], [(mk_real_int64 352L); (mk_real_int64 32L); (mk_real_int64 327L); (mk_real_int64 460L); (mk_real_int64 168L); (mk_real_int64 352L); (mk_real_int64 268L); (mk_real_int64 194L); (mk_real_int64 74L); (mk_real_int64 384L); (mk_real_int64 348L); (mk_real_int64 531L); (mk_real_int64 176L); (mk_real_int64 128L); (mk_real_int64 68L); (mk_real_int64 153L); (mk_real_int64 292L); (mk_real_int64 250L); ]);
("y6_hi", [3; 10; 11; 12; 13; 30; 34; 37; 38; 40; 43; 46; 54; ], [(mk_real_int64 522L); (mk_real_int64 112L); (mk_real_int64 375L); (mk_real_int64 392L); (mk_real_int64 364L); (mk_real_int64 480L); (mk_real_int64 120L); (mk_real_int64 596L); (mk_real_int64 24L); (mk_real_int64 172L); (mk_real_int64 88L); (mk_real_int64 184L); (mk_real_int64 216L); ]);
("y6_lo", [14; 15; 17; 23; 25; 26; 28; 29; 33; 36; 41; 42; 44; 45; 48; 49; 50; 51; 52; 55; ], [(mk_real_int64 352L); (mk_real_int64 32L); (mk_real_int64 327L); (mk_real_int64 460L); (mk_real_int64 168L); (mk_real_int64 352L); (mk_real_int64 268L); (mk_real_int64 194L); (mk_real_int64 74L); (mk_real_int64 384L); (mk_real_int64 348L); (mk_real_int64 10872L); (mk_real_int64 531L); (mk_real_int64 176L); (mk_real_int64 25128L); (mk_real_int64 68L); (mk_real_int64 153L); (mk_real_int64 264000L); (mk_real_int64 292L); (mk_real_int64 250L); ]);
("ye_lo", [11; 12; 15; 24; 37; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 58000L); (mk_real_int64 163000L); (mk_real_int64 1000L); ]);
("ye_hi", [24; 25; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("yn_hi", [2; 3; 4; 5; 6; 8; 10; 12; ], [(mk_real_int64 236L); (mk_real_int64 1236L); (mk_real_int64 236L); (mk_real_int64 1236L); (mk_real_int64 1165L); (mk_real_int64 236L); (mk_real_int64 236L); (mk_real_int64 236L); ]);
("yn_lo", [0; 1; 7; 9; 11; ], [(mk_real_int64 764L); (mk_real_int64 1116L); (mk_real_int64 2624L); (mk_real_int64 988L); (mk_real_int64 764L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;