needs "nobranching_lp.hl";;
module Test_case = struct
let hypermap_string = "156615503428 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 8 3 8 1 0 3 8 0 9 3 9 0 4 3 9 4 10 3 10 4 5 3 10 5 6 3 10 6 11 3 11 6 7 3 11 7 12 3 12 7 8 3 12 8 9 4 9 10 11 12 ";;
let precision = 5;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum", [2; 3; 6; 9; 10; ], [(mk_real_int64 7251L); (mk_real_int64 2090L); (mk_real_int64 68046L); (mk_real_int64 2090L); (mk_real_int64 7251L); ]);
("azim_sum_neg", [0; 4; 5; 8; 12; ], [(mk_real_int64 38048L); (mk_real_int64 20368L); (mk_real_int64 3914L); (mk_real_int64 20368L); (mk_real_int64 38048L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 94972L); (mk_real_int64 94972L); (mk_real_int64 94972L); (mk_real_int64 94972L); (mk_real_int64 94972L); (mk_real_int64 98886L); (mk_real_int64 89946L); (mk_real_int64 94972L); (mk_real_int64 94972L); (mk_real_int64 94972L); (mk_real_int64 94972L); (mk_real_int64 94972L); (mk_real_int64 94972L); ]);
("sol_sum3", [0; 1; 16; 17; ], [(mk_real_int64 20368L); (mk_real_int64 38017L); (mk_real_int64 38017L); (mk_real_int64 20368L); ]);
("sol_sum3_neg", [3; 4; 5; 7; 8; 9; 10; 12; 13; 14; ], [(mk_real_int64 5027L); (mk_real_int64 11768L); (mk_real_int64 13137L); (mk_real_int64 2093L); (mk_real_int64 21477L); (mk_real_int64 21477L); (mk_real_int64 2093L); (mk_real_int64 13137L); (mk_real_int64 11768L); (mk_real_int64 5027L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; ], [(mk_real_int64 94972L); (mk_real_int64 94972L); (mk_real_int64 94972L); (mk_real_int64 89946L); (mk_real_int64 89946L); (mk_real_int64 89086L); (mk_real_int64 78136L); (mk_real_int64 94969L); (mk_real_int64 61901L); (mk_real_int64 61901L); (mk_real_int64 94969L); (mk_real_int64 78136L); (mk_real_int64 89086L); (mk_real_int64 89946L); (mk_real_int64 89946L); (mk_real_int64 94972L); (mk_real_int64 94972L); (mk_real_int64 94972L); ]);
("tau_sum4_neg", [0; 1; ], [(mk_real_int64 94972L); (mk_real_int64 94972L); ]);
("ln_def_neg", [0; 1; 2; 3; 4; 5; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 4714L); (mk_real_int64 4714L); (mk_real_int64 4714L); (mk_real_int64 4714L); (mk_real_int64 4714L); (mk_real_int64 9028L); (mk_real_int64 9028L); (mk_real_int64 4714L); (mk_real_int64 4714L); (mk_real_int64 4714L); (mk_real_int64 4714L); (mk_real_int64 4714L); ]);
("ln_def", [6; ], [(mk_real_int64 829L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 596727L); (mk_real_int64 596727L); (mk_real_int64 596727L); (mk_real_int64 596727L); (mk_real_int64 596727L); (mk_real_int64 621317L); (mk_real_int64 565145L); (mk_real_int64 596727L); (mk_real_int64 596727L); (mk_real_int64 596727L); (mk_real_int64 596727L); (mk_real_int64 596727L); (mk_real_int64 596727L); ]);
("edge_sym", [0; 1; 3; 6; 8; 9; 12; 14; 15; 18; 23; 39; 42; 54; ], [(mk_real_int64 412L); (mk_real_int64 412L); (mk_real_int64 2000L); (mk_real_int64 14354L); (mk_real_int64 11526L); (mk_real_int64 15826L); (mk_real_int64 17540L); (mk_real_int64 3677L); (mk_real_int64 3677L); (mk_real_int64 3073L); (mk_real_int64 409L); (mk_real_int64 3677L); (mk_real_int64 3030L); (mk_real_int64 11526L); ]);
("edge_sym_neg", [5; 20; 21; 24; 27; 30; 35; 36; 44; 45; 48; 50; ], [(mk_real_int64 11526L); (mk_real_int64 3677L); (mk_real_int64 3677L); (mk_real_int64 15826L); (mk_real_int64 409L); (mk_real_int64 14354L); (mk_real_int64 409L); (mk_real_int64 412L); (mk_real_int64 3677L); (mk_real_int64 412L); (mk_real_int64 17540L); (mk_real_int64 17655L); ]);
("y1_def_neg", [1; 4; 5; 6; 7; 8; 12; 15; 18; 23; 25; 29; 31; 33; 35; 37; 39; 43; 47; 48; 52; 54; 56; 57; 59; ], [(mk_real_int64 323L); (mk_real_int64 2134L); (mk_real_int64 4409L); (mk_real_int64 3076L); (mk_real_int64 5741L); (mk_real_int64 1073L); (mk_real_int64 17095L); (mk_real_int64 8639L); (mk_real_int64 306L); (mk_real_int64 16035L); (mk_real_int64 2L); (mk_real_int64 9320L); (mk_real_int64 8211L); (mk_real_int64 1109L); (mk_real_int64 2L); (mk_real_int64 9287L); (mk_real_int64 6748L); (mk_real_int64 306L); (mk_real_int64 4753L); (mk_real_int64 3886L); (mk_real_int64 1073L); (mk_real_int64 5741L); (mk_real_int64 3076L); (mk_real_int64 15383L); (mk_real_int64 323L); ]);
("y1_def", [11; 13; 17; 20; 21; 24; 27; 30; 32; 36; 38; 41; 45; 46; 51; 55; ], [(mk_real_int64 19024L); (mk_real_int64 1910L); (mk_real_int64 7831L); (mk_real_int64 4992L); (mk_real_int64 3626L); (mk_real_int64 1766L); (mk_real_int64 795L); (mk_real_int64 8161L); (mk_real_int64 8161L); (mk_real_int64 795L); (mk_real_int64 1766L); (mk_real_int64 8618L); (mk_real_int64 7831L); (mk_real_int64 1910L); (mk_real_int64 1929L); (mk_real_int64 8840L); ]);
("y2_def", [1; 4; 13; 15; 17; 18; 20; 25; 27; 29; 30; 31; 32; 35; 36; 37; 41; 43; 45; 46; 47; 59; ], [(mk_real_int64 412L); (mk_real_int64 3305L); (mk_real_int64 1910L); (mk_real_int64 3475L); (mk_real_int64 3450L); (mk_real_int64 186L); (mk_real_int64 4992L); (mk_real_int64 1L); (mk_real_int64 795L); (mk_real_int64 3871L); (mk_real_int64 8161L); (mk_real_int64 4980L); (mk_real_int64 8161L); (mk_real_int64 1L); (mk_real_int64 795L); (mk_real_int64 5633L); (mk_real_int64 3890L); (mk_real_int64 186L); (mk_real_int64 3450L); (mk_real_int64 1910L); (mk_real_int64 7361L); (mk_real_int64 412L); ]);
("y2_def_neg", [5; 6; 7; 8; 11; 12; 21; 23; 24; 33; 38; 39; 48; 51; 52; 54; 55; 56; 57; ], [(mk_real_int64 15936L); (mk_real_int64 3076L); (mk_real_int64 5741L); (mk_real_int64 1093L); (mk_real_int64 5783L); (mk_real_int64 17095L); (mk_real_int64 1102L); (mk_real_int64 1116L); (mk_real_int64 537L); (mk_real_int64 1109L); (mk_real_int64 537L); (mk_real_int64 6748L); (mk_real_int64 3886L); (mk_real_int64 22878L); (mk_real_int64 1093L); (mk_real_int64 5741L); (mk_real_int64 2687L); (mk_real_int64 3076L); (mk_real_int64 9944L); ]);
("y3_def", [1; 4; 13; 15; 17; 18; 20; 25; 27; 29; 30; 31; 32; 35; 36; 37; 41; 43; 45; 46; 47; 59; ], [(mk_real_int64 412L); (mk_real_int64 3305L); (mk_real_int64 1910L); (mk_real_int64 3475L); (mk_real_int64 3450L); (mk_real_int64 186L); (mk_real_int64 4992L); (mk_real_int64 1L); (mk_real_int64 795L); (mk_real_int64 3871L); (mk_real_int64 8161L); (mk_real_int64 4980L); (mk_real_int64 8161L); (mk_real_int64 1L); (mk_real_int64 795L); (mk_real_int64 5633L); (mk_real_int64 3890L); (mk_real_int64 186L); (mk_real_int64 3450L); (mk_real_int64 1910L); (mk_real_int64 7361L); (mk_real_int64 412L); ]);
("y3_def_neg", [5; 6; 7; 8; 11; 12; 21; 23; 24; 33; 38; 39; 48; 51; 52; 54; 55; 56; 57; ], [(mk_real_int64 15936L); (mk_real_int64 3076L); (mk_real_int64 5741L); (mk_real_int64 1093L); (mk_real_int64 5783L); (mk_real_int64 17095L); (mk_real_int64 1102L); (mk_real_int64 1116L); (mk_real_int64 537L); (mk_real_int64 1109L); (mk_real_int64 537L); (mk_real_int64 6748L); (mk_real_int64 3886L); (mk_real_int64 22878L); (mk_real_int64 1093L); (mk_real_int64 5741L); (mk_real_int64 2687L); (mk_real_int64 3076L); (mk_real_int64 9944L); ]);
("y4_def", [1; 2; 3; 7; 13; 17; 20; 34; 37; 41; 47; 50; 51; 52; ], [(mk_real_int64 4466L); (mk_real_int64 6583L); (mk_real_int64 12287L); (mk_real_int64 29411L); (mk_real_int64 2887L); (mk_real_int64 5605L); (mk_real_int64 2731L); (mk_real_int64 2731L); (mk_real_int64 3030L); (mk_real_int64 2887L); (mk_real_int64 17540L); (mk_real_int64 12287L); (mk_real_int64 13666L); (mk_real_int64 6583L); ]);
("y4_def_neg", [0; 4; 8; 9; 11; 14; 16; 19; 21; 23; 25; 26; 27; 28; 29; 31; 32; 33; 35; 39; 42; 43; 44; 48; 53; ], [(mk_real_int64 6222L); (mk_real_int64 732L); (mk_real_int64 11872L); (mk_real_int64 985L); (mk_real_int64 16554L); (mk_real_int64 349L); (mk_real_int64 2575L); (mk_real_int64 15289L); (mk_real_int64 2L); (mk_real_int64 410L); (mk_real_int64 10145L); (mk_real_int64 4209L); (mk_real_int64 9374L); (mk_real_int64 4209L); (mk_real_int64 770L); (mk_real_int64 2L); (mk_real_int64 410L); (mk_real_int64 10603L); (mk_real_int64 4686L); (mk_real_int64 349L); (mk_real_int64 985L); (mk_real_int64 13856L); (mk_real_int64 2699L); (mk_real_int64 732L); (mk_real_int64 15422L); ]);
("y5_def", [1; 4; 6; 7; 15; 18; 23; 25; 29; 31; 35; 37; 43; 47; 54; 56; 59; ], [(mk_real_int64 412L); (mk_real_int64 3305L); (mk_real_int64 6583L); (mk_real_int64 12287L); (mk_real_int64 4662L); (mk_real_int64 186L); (mk_real_int64 946L); (mk_real_int64 1L); (mk_real_int64 4209L); (mk_real_int64 4980L); (mk_real_int64 1L); (mk_real_int64 5633L); (mk_real_int64 186L); (mk_real_int64 7361L); (mk_real_int64 12287L); (mk_real_int64 6583L); (mk_real_int64 412L); ]);
("y5_def_neg", [5; 8; 11; 12; 13; 17; 20; 21; 24; 27; 30; 32; 33; 36; 38; 39; 41; 45; 46; 48; 51; 52; 55; 57; ], [(mk_real_int64 11888L); (mk_real_int64 761L); (mk_real_int64 5783L); (mk_real_int64 11872L); (mk_real_int64 985L); (mk_real_int64 3328L); (mk_real_int64 2575L); (mk_real_int64 1102L); (mk_real_int64 537L); (mk_real_int64 410L); (mk_real_int64 4209L); (mk_real_int64 4209L); (mk_real_int64 770L); (mk_real_int64 410L); (mk_real_int64 537L); (mk_real_int64 4686L); (mk_real_int64 3677L); (mk_real_int64 3328L); (mk_real_int64 985L); (mk_real_int64 2699L); (mk_real_int64 17655L); (mk_real_int64 761L); (mk_real_int64 2687L); (mk_real_int64 5895L); ]);
("y6_def", [1; 4; 6; 7; 10; 11; 15; 18; 23; 25; 28; 29; 31; 34; 35; 37; 43; 47; 52; 53; 54; 56; 59; ], [(mk_real_int64 412L); (mk_real_int64 3305L); (mk_real_int64 6583L); (mk_real_int64 12287L); (mk_real_int64 6128L); (mk_real_int64 11872L); (mk_real_int64 4662L); (mk_real_int64 186L); (mk_real_int64 946L); (mk_real_int64 1L); (mk_real_int64 409L); (mk_real_int64 4209L); (mk_real_int64 4980L); (mk_real_int64 409L); (mk_real_int64 1L); (mk_real_int64 5633L); (mk_real_int64 186L); (mk_real_int64 7361L); (mk_real_int64 5368L); (mk_real_int64 4271L); (mk_real_int64 12287L); (mk_real_int64 6583L); (mk_real_int64 412L); ]);
("y6_def_neg", [5; 8; 12; 13; 17; 20; 21; 24; 27; 30; 32; 33; 36; 38; 39; 41; 45; 46; 48; 55; 57; ], [(mk_real_int64 11888L); (mk_real_int64 761L); (mk_real_int64 11872L); (mk_real_int64 985L); (mk_real_int64 598L); (mk_real_int64 2575L); (mk_real_int64 1102L); (mk_real_int64 537L); (mk_real_int64 410L); (mk_real_int64 4209L); (mk_real_int64 4209L); (mk_real_int64 770L); (mk_real_int64 410L); (mk_real_int64 537L); (mk_real_int64 4686L); (mk_real_int64 3677L); (mk_real_int64 598L); (mk_real_int64 985L); (mk_real_int64 2699L); (mk_real_int64 2687L); (mk_real_int64 3896L); ]);
("RHA", [9; 10; 13; 14; 17; 18; 19; 20; 21; 22; 23; 24; 26; 27; 28; 29; 30; 31; 32; 33; 34; 36; 37; 38; 39; 40; 41; 42; 43; 45; 46; 48; ], [(mk_real_int64 3914L); (mk_real_int64 3914L); (mk_real_int64 8940L); (mk_real_int64 5027L); (mk_real_int64 5027L); (mk_real_int64 4516L); (mk_real_int64 859L); (mk_real_int64 5886L); (mk_real_int64 5886L); (mk_real_int64 16836L); (mk_real_int64 1357L); (mk_real_int64 16836L); (mk_real_int64 3L); (mk_real_int64 3L); (mk_real_int64 33071L); (mk_real_int64 19387L); (mk_real_int64 33071L); (mk_real_int64 19387L); (mk_real_int64 33071L); (mk_real_int64 33071L); (mk_real_int64 3L); (mk_real_int64 3L); (mk_real_int64 1357L); (mk_real_int64 16836L); (mk_real_int64 20749L); (mk_real_int64 5886L); (mk_real_int64 9799L); (mk_real_int64 859L); (mk_real_int64 4516L); (mk_real_int64 5027L); (mk_real_int64 5027L); (mk_real_int64 5027L); ]);
("yy10", [19; 43; ], [(mk_real_int64 6103L); (mk_real_int64 6103L); ]);
("ineq105", [1; 5; ], [(mk_real_int64 1026L); (mk_real_int64 1026L); ]);
("ineq106", [14; 19; 21; 25; 27; 31; 33; 39; ], [(mk_real_int64 510L); (mk_real_int64 15478L); (mk_real_int64 3L); (mk_real_int64 13685L); (mk_real_int64 13685L); (mk_real_int64 3L); (mk_real_int64 15478L); (mk_real_int64 510L); ]);
("ineq107", [1; 4; 7; 13; 17; 20; 34; 37; 41; 47; 48; 51; ], [(mk_real_int64 17680L); (mk_real_int64 31L); (mk_real_int64 38048L); (mk_real_int64 6718L); (mk_real_int64 7251L); (mk_real_int64 3533L); (mk_real_int64 3533L); (mk_real_int64 7251L); (mk_real_int64 6718L); (mk_real_int64 38048L); (mk_real_int64 31L); (mk_real_int64 17680L); ]);
("ineq108", [0; 11; 43; 53; ], [(mk_real_int64 9083L); (mk_real_int64 20227L); (mk_real_int64 20227L); (mk_real_int64 9083L); ]);
("ineq109", [2; 3; 50; 52; ], [(mk_real_int64 20368L); (mk_real_int64 38017L); (mk_real_int64 38017L); (mk_real_int64 20368L); ]);
("ineq110", [9; 13; 16; 23; 26; 28; 32; 37; 41; 42; ], [(mk_real_int64 5027L); (mk_real_int64 11768L); (mk_real_int64 13137L); (mk_real_int64 2093L); (mk_real_int64 21477L); (mk_real_int64 21477L); (mk_real_int64 2093L); (mk_real_int64 13137L); (mk_real_int64 11768L); (mk_real_int64 5027L); ]);
("ineq111", [1; 4; 8; 11; 19; 25; 29; 35; 44; 47; 48; 53; ], [(mk_real_int64 73604L); (mk_real_int64 6049L); (mk_real_int64 94972L); (mk_real_int64 21588L); (mk_real_int64 37491L); (mk_real_int64 6163L); (mk_real_int64 6163L); (mk_real_int64 37491L); (mk_real_int64 21588L); (mk_real_int64 94972L); (mk_real_int64 6049L); (mk_real_int64 73604L); ]);
("ineq112", [13; 41; ], [(mk_real_int64 45L); (mk_real_int64 45L); ]);
("ineq113", [21; 24; 29; 31; ], [(mk_real_int64 86725L); (mk_real_int64 33877L); (mk_real_int64 33877L); (mk_real_int64 86725L); ]);
("ineq114", [0; 3; 5; 11; 12; 15; 18; 19; 22; 26; 28; 32; 33; 35; 38; 40; 43; 49; 50; 53; ], [(mk_real_int64 21368L); (mk_real_int64 28193L); (mk_real_int64 60730L); (mk_real_int64 68357L); (mk_real_int64 89901L); (mk_real_int64 89086L); (mk_real_int64 26894L); (mk_real_int64 13752L); (mk_real_int64 8244L); (mk_real_int64 21861L); (mk_real_int64 21861L); (mk_real_int64 8244L); (mk_real_int64 13752L); (mk_real_int64 26894L); (mk_real_int64 89086L); (mk_real_int64 89901L); (mk_real_int64 68357L); (mk_real_int64 60730L); (mk_real_int64 28193L); (mk_real_int64 21368L); ]);
("ineq119", [3; 7; ], [(mk_real_int64 83991L); (mk_real_int64 83991L); ]);
("ineq120", [0; 1; 4; 5; ], [(mk_real_int64 2760L); (mk_real_int64 8221L); (mk_real_int64 2760L); (mk_real_int64 8221L); ]);
];;
(***************)
(* Variables *)
(***************)
let target_variables = [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 631331L); (mk_real_int64 631331L); (mk_real_int64 631331L); (mk_real_int64 631331L); (mk_real_int64 631331L); (mk_real_int64 550601L); (mk_real_int64 500685L); (mk_real_int64 432031331L); (mk_real_int64 631331L); (mk_real_int64 631331L); (mk_real_int64 631331L); (mk_real_int64 631331L); (mk_real_int64 631331L); ]);
];;
(*************************)
let variable_bounds = [
("azim_hi", [0; 1; 3; 4; 13; 16; 17; 18; 23; 30; 32; 37; 39; 41; 43; 44; 45; 57; 58; 59; 61; ], [(mk_real_int64 14800L); (mk_real_int64 76330L); (mk_real_int64 7700L); (mk_real_int64 136800L); (mk_real_int64 100000L); (mk_real_int64 2600L); (mk_real_int64 18500L); (mk_real_int64 100000L); (mk_real_int64 75200L); (mk_real_int64 98600L); (mk_real_int64 98600L); (mk_real_int64 75200L); (mk_real_int64 64400L); (mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 2600L); (mk_real_int64 18500L); (mk_real_int64 136800L); (mk_real_int64 14800L); (mk_real_int64 76330L); (mk_real_int64 7700L); ]);
("azim_lo", [7; 9; 15; 19; 22; 24; 25; 26; 28; 33; 35; 36; 38; 42; 47; 53; 54; ], [(mk_real_int64 18200L); (mk_real_int64 2000L); (mk_real_int64 51800L); (mk_real_int64 16400L); (mk_real_int64 35600L); (mk_real_int64 100000L); (mk_real_int64 77500L); (mk_real_int64 25600L); (mk_real_int64 14300L); (mk_real_int64 14300L); (mk_real_int64 77500L); (mk_real_int64 25600L); (mk_real_int64 100000L); (mk_real_int64 16400L); (mk_real_int64 51800L); (mk_real_int64 2000L); (mk_real_int64 18200L); ]);
("rhazim_hi", [14; 17; 29; 31; 45; 46; 48; ], [(mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); ]);
("rhazim_lo", [19; 23; 37; 39; 41; 42; ], [(mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); ]);
("rho_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 12068L); (mk_real_int64 12068L); (mk_real_int64 12068L); (mk_real_int64 12068L); (mk_real_int64 12068L); (mk_real_int64 252634L); (mk_real_int64 280774L); (mk_real_int64 12068L); (mk_real_int64 12068L); (mk_real_int64 12068L); (mk_real_int64 12068L); (mk_real_int64 12068L); (mk_real_int64 12068L); ]);
("tau_hi", [7; 12; ], [(mk_real_int64 100000L); (mk_real_int64 100000L); ]);
("tau_lo", [4; 15; ], [(mk_real_int64 100000L); (mk_real_int64 100000L); ]);
("y1_lo", [1; 4; 8; 15; 17; 21; 23; 29; 33; 39; 41; 45; 47; 52; 57; 59; ], [(mk_real_int64 19000L); (mk_real_int64 50500L); (mk_real_int64 32000L); (mk_real_int64 18500L); (mk_real_int64 16000L); (mk_real_int64 50000L); (mk_real_int64 18000L); (mk_real_int64 34000L); (mk_real_int64 34000L); (mk_real_int64 38000L); (mk_real_int64 44000L); (mk_real_int64 16000L); (mk_real_int64 34500L); (mk_real_int64 32000L); (mk_real_int64 22500L); (mk_real_int64 19000L); ]);
("y1_hi", [5; 6; 7; 12; 13; 20; 24; 25; 27; 30; 32; 35; 36; 37; 38; 46; 48; 51; 54; 56; ], [(mk_real_int64 28000L); (mk_real_int64 43200L); (mk_real_int64 43300L); (mk_real_int64 4000L); (mk_real_int64 26000L); (mk_real_int64 6000L); (mk_real_int64 50000L); (mk_real_int64 20000L); (mk_real_int64 34000L); (mk_real_int64 26000L); (mk_real_int64 26000L); (mk_real_int64 20000L); (mk_real_int64 34000L); (mk_real_int64 20000L); (mk_real_int64 50000L); (mk_real_int64 26000L); (mk_real_int64 16000L); (mk_real_int64 4000L); (mk_real_int64 43300L); (mk_real_int64 43200L); ]);
("y2_hi", [1; 4; 6; 7; 12; 13; 17; 20; 23; 25; 27; 30; 32; 35; 36; 45; 46; 48; 54; 56; 57; 59; ], [(mk_real_int64 45200L); (mk_real_int64 30370L); (mk_real_int64 43200L); (mk_real_int64 43300L); (mk_real_int64 4000L); (mk_real_int64 26000L); (mk_real_int64 70400L); (mk_real_int64 6000L); (mk_real_int64 6420L); (mk_real_int64 9170L); (mk_real_int64 34000L); (mk_real_int64 26000L); (mk_real_int64 26000L); (mk_real_int64 9170L); (mk_real_int64 34000L); (mk_real_int64 70400L); (mk_real_int64 26000L); (mk_real_int64 16000L); (mk_real_int64 43300L); (mk_real_int64 43200L); (mk_real_int64 58370L); (mk_real_int64 45200L); ]);
("y2_lo", [5; 8; 11; 15; 18; 21; 24; 29; 31; 33; 37; 38; 39; 41; 43; 47; 51; 52; 55; ], [(mk_real_int64 8000L); (mk_real_int64 53200L); (mk_real_int64 29600L); (mk_real_int64 23470L); (mk_real_int64 41100L); (mk_real_int64 15200L); (mk_real_int64 1600L); (mk_real_int64 36850L); (mk_real_int64 2850L); (mk_real_int64 34000L); (mk_real_int64 55580L); (mk_real_int64 1600L); (mk_real_int64 38000L); (mk_real_int64 9200L); (mk_real_int64 41100L); (mk_real_int64 39470L); (mk_real_int64 25600L); (mk_real_int64 53200L); (mk_real_int64 36000L); ]);
("y3_hi", [1; 4; 6; 7; 12; 13; 17; 20; 23; 25; 27; 30; 32; 35; 36; 45; 46; 48; 54; 56; 57; 59; ], [(mk_real_int64 45200L); (mk_real_int64 30370L); (mk_real_int64 43200L); (mk_real_int64 43300L); (mk_real_int64 4000L); (mk_real_int64 26000L); (mk_real_int64 70400L); (mk_real_int64 6000L); (mk_real_int64 6420L); (mk_real_int64 9170L); (mk_real_int64 34000L); (mk_real_int64 26000L); (mk_real_int64 26000L); (mk_real_int64 9170L); (mk_real_int64 34000L); (mk_real_int64 70400L); (mk_real_int64 26000L); (mk_real_int64 16000L); (mk_real_int64 43300L); (mk_real_int64 43200L); (mk_real_int64 58370L); (mk_real_int64 45200L); ]);
("y3_lo", [5; 8; 11; 15; 18; 21; 24; 29; 31; 33; 37; 38; 39; 41; 43; 47; 51; 52; 55; ], [(mk_real_int64 8000L); (mk_real_int64 53200L); (mk_real_int64 29600L); (mk_real_int64 23470L); (mk_real_int64 41100L); (mk_real_int64 15200L); (mk_real_int64 1600L); (mk_real_int64 36850L); (mk_real_int64 2850L); (mk_real_int64 34000L); (mk_real_int64 55580L); (mk_real_int64 1600L); (mk_real_int64 38000L); (mk_real_int64 9200L); (mk_real_int64 41100L); (mk_real_int64 39470L); (mk_real_int64 25600L); (mk_real_int64 53200L); (mk_real_int64 36000L); ]);
("y4_hi", [0; 1; 3; 7; 8; 11; 16; 17; 19; 20; 25; 33; 34; 37; 43; 44; 50; 51; ], [(mk_real_int64 14500L); (mk_real_int64 14000L); (mk_real_int64 9440L); (mk_real_int64 10400L); (mk_real_int64 50000L); (mk_real_int64 500L); (mk_real_int64 14800L); (mk_real_int64 2300L); (mk_real_int64 19500L); (mk_real_int64 900L); (mk_real_int64 40000L); (mk_real_int64 57000L); (mk_real_int64 900L); (mk_real_int64 17100L); (mk_real_int64 50500L); (mk_real_int64 50000L); (mk_real_int64 9440L); (mk_real_int64 64000L); ]);
("y4_lo", [2; 4; 9; 13; 14; 21; 23; 26; 27; 28; 29; 31; 32; 35; 39; 41; 42; 47; 48; 52; 53; ], [(mk_real_int64 6240L); (mk_real_int64 16200L); (mk_real_int64 29200L); (mk_real_int64 51400L); (mk_real_int64 35000L); (mk_real_int64 5500L); (mk_real_int64 22800L); (mk_real_int64 49200L); (mk_real_int64 22500L); (mk_real_int64 49200L); (mk_real_int64 37500L); (mk_real_int64 5500L); (mk_real_int64 22800L); (mk_real_int64 37500L); (mk_real_int64 35000L); (mk_real_int64 51400L); (mk_real_int64 29200L); (mk_real_int64 39600L); (mk_real_int64 16200L); (mk_real_int64 6240L); (mk_real_int64 35500L); ]);
("y5_hi", [1; 4; 5; 7; 8; 12; 15; 17; 20; 23; 25; 29; 35; 45; 48; 51; 52; 54; 59; ], [(mk_real_int64 45200L); (mk_real_int64 30370L); (mk_real_int64 14000L); (mk_real_int64 9440L); (mk_real_int64 16300L); (mk_real_int64 50000L); (mk_real_int64 10530L); (mk_real_int64 33600L); (mk_real_int64 14800L); (mk_real_int64 6920L); (mk_real_int64 9170L); (mk_real_int64 59650L); (mk_real_int64 9170L); (mk_real_int64 33600L); (mk_real_int64 50000L); (mk_real_int64 20400L); (mk_real_int64 16300L); (mk_real_int64 9440L); (mk_real_int64 45200L); ]);
("y5_lo", [6; 11; 13; 18; 21; 24; 27; 30; 31; 32; 33; 36; 37; 38; 39; 41; 43; 46; 47; 55; 56; 57; ], [(mk_real_int64 6240L); (mk_real_int64 29600L); (mk_real_int64 29200L); (mk_real_int64 41100L); (mk_real_int64 15200L); (mk_real_int64 1600L); (mk_real_int64 22800L); (mk_real_int64 49200L); (mk_real_int64 2850L); (mk_real_int64 49200L); (mk_real_int64 37500L); (mk_real_int64 22800L); (mk_real_int64 55580L); (mk_real_int64 1600L); (mk_real_int64 37500L); (mk_real_int64 400L); (mk_real_int64 41100L); (mk_real_int64 29200L); (mk_real_int64 39470L); (mk_real_int64 36000L); (mk_real_int64 6240L); (mk_real_int64 19630L); ]);
("y6_hi", [1; 4; 5; 7; 8; 12; 15; 17; 20; 23; 25; 29; 35; 45; 48; 51; 54; 57; 59; ], [(mk_real_int64 45200L); (mk_real_int64 30370L); (mk_real_int64 14000L); (mk_real_int64 9440L); (mk_real_int64 16300L); (mk_real_int64 50000L); (mk_real_int64 10530L); (mk_real_int64 33600L); (mk_real_int64 14800L); (mk_real_int64 6920L); (mk_real_int64 9170L); (mk_real_int64 59650L); (mk_real_int64 9170L); (mk_real_int64 33600L); (mk_real_int64 50000L); (mk_real_int64 20400L); (mk_real_int64 9440L); (mk_real_int64 80370L); (mk_real_int64 45200L); ]);
("y6_lo", [6; 10; 11; 13; 17; 18; 21; 24; 27; 28; 30; 31; 32; 33; 34; 36; 37; 38; 39; 41; 43; 45; 46; 47; 51; 52; 53; 55; 56; 57; ], [(mk_real_int64 6240L); (mk_real_int64 612800000L); (mk_real_int64 1765529600L); (mk_real_int64 29200L); (mk_real_int64 273000000L); (mk_real_int64 41100L); (mk_real_int64 15200L); (mk_real_int64 1600L); (mk_real_int64 22800L); (mk_real_int64 40900000L); (mk_real_int64 49200L); (mk_real_int64 2850L); (mk_real_int64 49200L); (mk_real_int64 37500L); (mk_real_int64 40900000L); (mk_real_int64 22800L); (mk_real_int64 55580L); (mk_real_int64 1600L); (mk_real_int64 37500L); (mk_real_int64 400L); (mk_real_int64 41100L); (mk_real_int64 273000000L); (mk_real_int64 29200L); (mk_real_int64 39470L); (mk_real_int64 1765500000L); (mk_real_int64 612883700L); (mk_real_int64 427100000L); (mk_real_int64 36000L); (mk_real_int64 6240L); (mk_real_int64 200000000L); ]);
("ye_hi", [13; 31; 32; 33; 37; 39; ], [(mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); ]);
("ye_lo", [3; 5; 9; 10; 12; ], [(mk_real_int64 200000000L); (mk_real_int64 100000L); (mk_real_int64 427100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); ]);
("yn_hi", [0; 1; 2; 3; 4; 5; 9; 10; 11; 12; ], [(mk_real_int64 39912L); (mk_real_int64 139912L); (mk_real_int64 39912L); (mk_real_int64 39912L); (mk_real_int64 39912L); (mk_real_int64 56624L); (mk_real_int64 39912L); (mk_real_int64 39912L); (mk_real_int64 139912L); (mk_real_int64 39912L); ]);
("yn_lo", [6; 7; 8; ], [(mk_real_int64 22503L); (mk_real_int64 43376L); (mk_real_int64 60088L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;