needs "nobranching_lp.hl";; module Test_case = struct let hypermap_string = "196565289721 17 6 0 1 2 3 4 5 3 0 5 6 4 6 5 7 8 3 7 5 4 3 7 4 3 3 8 7 3 3 8 3 9 3 9 3 2 3 9 2 10 3 10 2 1 3 10 1 11 3 11 1 0 4 11 0 6 12 3 12 6 8 3 12 8 9 3 12 9 10 3 10 11 12 ";; let precision = 3;; (***************) (* Constraints *) (***************) let constraints = [ ("azim_sum_neg", [0; 1; 2; 4; 5; 6; 10; 11; ], [(mk_real_int64 111L); (mk_real_int64 626L); (mk_real_int64 385L); (mk_real_int64 41L); (mk_real_int64 39L); (mk_real_int64 56L); (mk_real_int64 145L); (mk_real_int64 235L); ]); ("azim_sum", [8; 9; 12; ], [(mk_real_int64 256L); (mk_real_int64 253L); (mk_real_int64 349L); ]); ("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 1046L); (mk_real_int64 792L); (mk_real_int64 931L); (mk_real_int64 934L); (mk_real_int64 976L); (mk_real_int64 974L); (mk_real_int64 990L); (mk_real_int64 934L); (mk_real_int64 934L); (mk_real_int64 934L); (mk_real_int64 934L); (mk_real_int64 934L); (mk_real_int64 934L); ]); ("sol_sum3", [1; 2; 6; 8; 9; ], [(mk_real_int64 245L); (mk_real_int64 245L); (mk_real_int64 83L); (mk_real_int64 221L); (mk_real_int64 14L); ]); ("sol_sum3_neg", [4; 11; ], [(mk_real_int64 525L); (mk_real_int64 218L); ]); ("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 934L); (mk_real_int64 792L); (mk_real_int64 792L); (mk_real_int64 931L); (mk_real_int64 409L); (mk_real_int64 922L); (mk_real_int64 934L); (mk_real_int64 799L); (mk_real_int64 934L); (mk_real_int64 934L); (mk_real_int64 934L); (mk_real_int64 901L); (mk_real_int64 934L); (mk_real_int64 789L); ]); ("tau_sum4_neg", [0; 1; ], [(mk_real_int64 934L); (mk_real_int64 934L); ]); ("tau_sum6_neg", [0; ], [(mk_real_int64 934L); ]); ("ln_def_neg", [0; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 153L); (mk_real_int64 27L); (mk_real_int64 30L); (mk_real_int64 76L); (mk_real_int64 74L); (mk_real_int64 92L); (mk_real_int64 30L); (mk_real_int64 34L); (mk_real_int64 30L); (mk_real_int64 30L); (mk_real_int64 30L); (mk_real_int64 30L); ]); ("ln_def", [1; ], [(mk_real_int64 127L); ]); ("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 6570L); (mk_real_int64 4973L); (mk_real_int64 5851L); (mk_real_int64 5871L); (mk_real_int64 6131L); (mk_real_int64 6118L); (mk_real_int64 6222L); (mk_real_int64 5871L); (mk_real_int64 5871L); (mk_real_int64 5871L); (mk_real_int64 5871L); (mk_real_int64 5871L); (mk_real_int64 5871L); ]); ("edge_sym", [5; 11; 12; 18; 21; 24; 29; 30; 36; 42; 43; 46; ], [(mk_real_int64 117L); (mk_real_int64 80L); (mk_real_int64 80L); (mk_real_int64 352L); (mk_real_int64 276L); (mk_real_int64 85L); (mk_real_int64 9L); (mk_real_int64 9L); (mk_real_int64 14L); (mk_real_int64 14L); (mk_real_int64 14L); (mk_real_int64 27L); ]); ("edge_sym_neg", [10; 23; 27; 33; 49; 52; ], [(mk_real_int64 352L); (mk_real_int64 11L); (mk_real_int64 68L); (mk_real_int64 27L); (mk_real_int64 125L); (mk_real_int64 69L); ]); ("y1_def_neg", [8; 12; 13; 18; 19; 26; 29; 31; 32; 34; 35; 38; 39; 43; 44; 46; 47; 48; 51; ], [(mk_real_int64 168L); (mk_real_int64 63L); (mk_real_int64 31L); (mk_real_int64 68L); (mk_real_int64 62L); (mk_real_int64 93L); (mk_real_int64 11L); (mk_real_int64 15L); (mk_real_int64 10L); (mk_real_int64 90L); (mk_real_int64 33L); (mk_real_int64 6L); (mk_real_int64 2L); (mk_real_int64 11L); (mk_real_int64 24L); (mk_real_int64 44L); (mk_real_int64 85L); (mk_real_int64 29L); (mk_real_int64 13L); ]); ("y1_def", [15; 17; 20; 24; 30; 36; 49; 52; 54; ], [(mk_real_int64 153L); (mk_real_int64 190L); (mk_real_int64 26L); (mk_real_int64 48L); (mk_real_int64 19L); (mk_real_int64 7L); (mk_real_int64 83L); (mk_real_int64 61L); (mk_real_int64 45L); ]); ("y2_def_neg", [8; 13; 15; 17; 18; 20; 26; 29; 30; 31; 34; 35; 36; 38; 39; 46; 47; 52; 54; ], [(mk_real_int64 168L); (mk_real_int64 31L); (mk_real_int64 95L); (mk_real_int64 58L); (mk_real_int64 68L); (mk_real_int64 225L); (mk_real_int64 81L); (mk_real_int64 11L); (mk_real_int64 22L); (mk_real_int64 22L); (mk_real_int64 82L); (mk_real_int64 33L); (mk_real_int64 2L); (mk_real_int64 6L); (mk_real_int64 2L); (mk_real_int64 21L); (mk_real_int64 53L); (mk_real_int64 34L); (mk_real_int64 14L); ]); ("y2_def", [12; 19; 24; 32; 43; 44; 48; 49; 51; ], [(mk_real_int64 80L); (mk_real_int64 94L); (mk_real_int64 292L); (mk_real_int64 6L); (mk_real_int64 14L); (mk_real_int64 37L); (mk_real_int64 26L); (mk_real_int64 83L); (mk_real_int64 21L); ]); ("y3_def_neg", [8; 13; 15; 17; 18; 20; 26; 29; 30; 31; 34; 35; 36; 38; 39; 46; 47; 52; 54; ], [(mk_real_int64 168L); (mk_real_int64 31L); (mk_real_int64 95L); (mk_real_int64 58L); (mk_real_int64 68L); (mk_real_int64 225L); (mk_real_int64 81L); (mk_real_int64 11L); (mk_real_int64 22L); (mk_real_int64 22L); (mk_real_int64 82L); (mk_real_int64 33L); (mk_real_int64 2L); (mk_real_int64 6L); (mk_real_int64 2L); (mk_real_int64 21L); (mk_real_int64 53L); (mk_real_int64 34L); (mk_real_int64 14L); ]); ("y3_def", [12; 19; 24; 32; 43; 44; 48; 49; 51; ], [(mk_real_int64 80L); (mk_real_int64 94L); (mk_real_int64 292L); (mk_real_int64 6L); (mk_real_int64 14L); (mk_real_int64 37L); (mk_real_int64 26L); (mk_real_int64 83L); (mk_real_int64 21L); ]); ("y4_def_neg", [2; 3; 9; 14; 16; 19; 21; 22; 24; 28; 30; 32; 33; 34; 35; 37; ], [(mk_real_int64 117L); (mk_real_int64 21L); (mk_real_int64 178L); (mk_real_int64 276L); (mk_real_int64 68L); (mk_real_int64 8L); (mk_real_int64 6L); (mk_real_int64 11L); (mk_real_int64 69L); (mk_real_int64 4L); (mk_real_int64 70L); (mk_real_int64 51L); (mk_real_int64 68L); (mk_real_int64 49L); (mk_real_int64 43L); (mk_real_int64 39L); ]); ("y4_def", [5; 7; 8; 10; 20; 25; 26; 29; 38; 40; ], [(mk_real_int64 373L); (mk_real_int64 294L); (mk_real_int64 58L); (mk_real_int64 182L); (mk_real_int64 75L); (mk_real_int64 71L); (mk_real_int64 11L); (mk_real_int64 4L); (mk_real_int64 104L); (mk_real_int64 69L); ]); ("y5_def_neg", [8; 11; 13; 17; 20; 24; 26; 29; 31; 34; 36; 38; 46; 47; 49; 52; 54; ], [(mk_real_int64 117L); (mk_real_int64 352L); (mk_real_int64 21L); (mk_real_int64 58L); (mk_real_int64 174L); (mk_real_int64 11L); (mk_real_int64 55L); (mk_real_int64 8L); (mk_real_int64 15L); (mk_real_int64 56L); (mk_real_int64 2L); (mk_real_int64 4L); (mk_real_int64 10L); (mk_real_int64 33L); (mk_real_int64 43L); (mk_real_int64 30L); (mk_real_int64 14L); ]); ("y5_def", [12; 15; 18; 19; 30; 32; 35; 39; 43; 44; 48; 51; ], [(mk_real_int64 80L); (mk_real_int64 21L); (mk_real_int64 58L); (mk_real_int64 94L); (mk_real_int64 17L); (mk_real_int64 6L); (mk_real_int64 71L); (mk_real_int64 4L); (mk_real_int64 14L); (mk_real_int64 37L); (mk_real_int64 26L); (mk_real_int64 21L); ]); ("y6_def", [7; 12; 15; 18; 19; 25; 28; 30; 32; 35; 39; 43; 44; 48; 51; ], [(mk_real_int64 117L); (mk_real_int64 80L); (mk_real_int64 21L); (mk_real_int64 58L); (mk_real_int64 94L); (mk_real_int64 66L); (mk_real_int64 1L); (mk_real_int64 17L); (mk_real_int64 6L); (mk_real_int64 71L); (mk_real_int64 4L); (mk_real_int64 14L); (mk_real_int64 37L); (mk_real_int64 26L); (mk_real_int64 21L); ]); ("y6_def_neg", [13; 17; 20; 24; 29; 31; 34; 36; 38; 46; 47; 49; 52; 54; ], [(mk_real_int64 21L); (mk_real_int64 58L); (mk_real_int64 174L); (mk_real_int64 11L); (mk_real_int64 8L); (mk_real_int64 15L); (mk_real_int64 56L); (mk_real_int64 2L); (mk_real_int64 4L); (mk_real_int64 10L); (mk_real_int64 10L); (mk_real_int64 43L); (mk_real_int64 30L); (mk_real_int64 14L); ]); ("y8_def_neg", [3; ], [(mk_real_int64 352L); ]); ("RHA", [0; 1; 2; 5; 6; 7; 10; 13; 14; 16; 18; 21; 22; 23; 24; 25; 27; 29; 31; 32; 33; 35; 38; 39; 41; 49; 53; 54; 55; ], [(mk_real_int64 56L); (mk_real_int64 39L); (mk_real_int64 41L); (mk_real_int64 111L); (mk_real_int64 56L); (mk_real_int64 111L); (mk_real_int64 111L); (mk_real_int64 140L); (mk_real_int64 254L); (mk_real_int64 140L); (mk_real_int64 143L); (mk_real_int64 3L); (mk_real_int64 525L); (mk_real_int64 525L); (mk_real_int64 272L); (mk_real_int64 13L); (mk_real_int64 54L); (mk_real_int64 41L); (mk_real_int64 135L); (mk_real_int64 160L); (mk_real_int64 175L); (mk_real_int64 39L); (mk_real_int64 39L); (mk_real_int64 56L); (mk_real_int64 56L); (mk_real_int64 33L); (mk_real_int64 145L); (mk_real_int64 145L); (mk_real_int64 145L); ]); ("RHB", [11; ], [(mk_real_int64 3L); ]); ("tau6", [0; ], [(mk_real_int64 934L); ]); ("ineq105", [9; 13; ], [(mk_real_int64 199L); (mk_real_int64 34L); ]); ("ineq106", [9; 14; 16; 22; 33; 34; ], [(mk_real_int64 3L); (mk_real_int64 253L); (mk_real_int64 13L); (mk_real_int64 17L); (mk_real_int64 33L); (mk_real_int64 33L); ]); ("ineq107", [5; 7; 10; 20; 21; 26; 38; 40; ], [(mk_real_int64 381L); (mk_real_int64 381L); (mk_real_int64 385L); (mk_real_int64 63L); (mk_real_int64 10L); (mk_real_int64 14L); (mk_real_int64 145L); (mk_real_int64 90L); ]); ("ineq108", [9; 24; 30; 32; 34; 37; ], [(mk_real_int64 256L); (mk_real_int64 13L); (mk_real_int64 102L); (mk_real_int64 39L); (mk_real_int64 39L); (mk_real_int64 57L); ]); ("ineq109", [5; 8; 20; 25; 29; ], [(mk_real_int64 245L); (mk_real_int64 245L); (mk_real_int64 83L); (mk_real_int64 221L); (mk_real_int64 14L); ]); ("ineq110", [14; 35; ], [(mk_real_int64 525L); (mk_real_int64 218L); ]); ("ineq111", [2; 3; 8; 10; 16; 19; 21; 24; 28; 32; 33; 38; ], [(mk_real_int64 934L); (mk_real_int64 171L); (mk_real_int64 171L); (mk_real_int64 926L); (mk_real_int64 477L); (mk_real_int64 62L); (mk_real_int64 111L); (mk_real_int64 482L); (mk_real_int64 36L); (mk_real_int64 193L); (mk_real_int64 363L); (mk_real_int64 65L); ]); ("ineq113", [27; ], [(mk_real_int64 854L); ]); ("ineq114", [4; 8; 11; 12; 15; 17; 18; 19; 22; 23; 24; 25; 28; 29; 30; 32; 33; 35; 36; 37; 41; ], [(mk_real_int64 620L); (mk_real_int64 620L); (mk_real_int64 5L); (mk_real_int64 409L); (mk_real_int64 425L); (mk_real_int64 20L); (mk_real_int64 536L); (mk_real_int64 132L); (mk_real_int64 189L); (mk_real_int64 216L); (mk_real_int64 100L); (mk_real_int64 353L); (mk_real_int64 22L); (mk_real_int64 22L); (mk_real_int64 394L); (mk_real_int64 347L); (mk_real_int64 209L); (mk_real_int64 109L); (mk_real_int64 557L); (mk_real_int64 313L); (mk_real_int64 789L); ]); ("ineq119", [2; 4; ], [(mk_real_int64 858L); (mk_real_int64 519L); ]); ("ineq120", [3; 7; ], [(mk_real_int64 76L); (mk_real_int64 415L); ]); ];; (***************) (* Variables *) (***************) let target_variables = [ ("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 3250L); (mk_real_int64 2725L); (mk_real_int64 3075L); (mk_real_int64 2575L); (mk_real_int64 3075L); (mk_real_int64 3350L); (mk_real_int64 3150L); (mk_real_int64 2575L); (mk_real_int64 6575L); (mk_real_int64 2575L); (mk_real_int64 2575L); (mk_real_int64 2575L); (mk_real_int64 2575L); ]); ];; (*************************) let variable_bounds = [ ("azim_lo", [11; 27; 28; 29; 30; 32; 33; 34; 35; 37; 38; 39; 40; 43; 44; 47; 50; 51; 55; ], [(mk_real_int64 146L); (mk_real_int64 480L); (mk_real_int64 464L); (mk_real_int64 368L); (mk_real_int64 1000L); (mk_real_int64 686L); (mk_real_int64 784L); (mk_real_int64 400L); (mk_real_int64 22L); (mk_real_int64 186L); (mk_real_int64 228L); (mk_real_int64 228L); (mk_real_int64 107L); (mk_real_int64 430L); (mk_real_int64 356L); (mk_real_int64 166L); (mk_real_int64 318L); (mk_real_int64 62L); (mk_real_int64 86L); ]); ("azim_hi", [4; 12; 14; 18; 21; 22; 25; 46; 48; 49; ], [(mk_real_int64 626000L); (mk_real_int64 608L); (mk_real_int64 120L); (mk_real_int64 120L); (mk_real_int64 130L); (mk_real_int64 34L); (mk_real_int64 50L); (mk_real_int64 222L); (mk_real_int64 1000L); (mk_real_int64 234L); ]); ("rhazim_lo", [1; 2; 4; 5; 7; 10; 29; 35; 38; ], [(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", [4; 13; 16; 18; 25; 26; ], [(mk_real_int64 143000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]); ("rho_lo", [2; 3; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 596L); (mk_real_int64 1744L); (mk_real_int64 840L); (mk_real_int64 1744L); (mk_real_int64 1744L); (mk_real_int64 1744L); (mk_real_int64 1744L); (mk_real_int64 1744L); (mk_real_int64 1744L); ]); ("rho_hi", [0; 1; 4; 5; ], [(mk_real_int64 3064L); (mk_real_int64 3928L); (mk_real_int64 2184L); (mk_real_int64 2616L); ]); ("tau_hi", [10; 15; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); ]); ("tau_lo", [3; 4; 8; 9; 14; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 204000L); (mk_real_int64 283000L); (mk_real_int64 220000L); ]); ("y1_lo", [8; 20; 24; 26; 29; 30; 32; 35; 38; 39; 47; 49; 51; 52; ], [(mk_real_int64 120L); (mk_real_int64 180L); (mk_real_int64 300L); (mk_real_int64 660L); (mk_real_int64 160L); (mk_real_int64 33L); (mk_real_int64 200L); (mk_real_int64 371L); (mk_real_int64 480L); (mk_real_int64 114L); (mk_real_int64 140L); (mk_real_int64 160L); (mk_real_int64 395L); (mk_real_int64 200L); ]); ("y1_hi", [12; 13; 15; 17; 18; 19; 31; 34; 43; 44; 46; 48; ], [(mk_real_int64 315L); (mk_real_int64 220L); (mk_real_int64 505L); (mk_real_int64 500L); (mk_real_int64 225L); (mk_real_int64 40L); (mk_real_int64 20L); (mk_real_int64 185L); (mk_real_int64 290L); (mk_real_int64 30L); (mk_real_int64 95L); (mk_real_int64 35L); ]); ("y2_lo", [8; 12; 20; 24; 26; 29; 30; 34; 35; 36; 38; 39; 43; 47; 49; 51; ], [(mk_real_int64 120L); (mk_real_int64 2L); (mk_real_int64 200L); (mk_real_int64 408L); (mk_real_int64 128L); (mk_real_int64 160L); (mk_real_int64 109L); (mk_real_int64 28L); (mk_real_int64 371L); (mk_real_int64 128L); (mk_real_int64 480L); (mk_real_int64 114L); (mk_real_int64 332L); (mk_real_int64 328L); (mk_real_int64 160L); (mk_real_int64 252L); ]); ("y2_hi", [13; 15; 17; 18; 19; 31; 32; 44; 46; 48; 52; 54; ], [(mk_real_int64 220L); (mk_real_int64 93L); (mk_real_int64 88L); (mk_real_int64 225L); (mk_real_int64 276L); (mk_real_int64 500L); (mk_real_int64 188L); (mk_real_int64 128L); (mk_real_int64 456L); (mk_real_int64 208L); (mk_real_int64 260L); (mk_real_int64 320L); ]); ("y3_lo", [8; 12; 20; 24; 26; 29; 30; 34; 35; 36; 38; 39; 43; 47; 49; 51; ], [(mk_real_int64 120L); (mk_real_int64 2L); (mk_real_int64 200L); (mk_real_int64 408L); (mk_real_int64 128L); (mk_real_int64 160L); (mk_real_int64 109L); (mk_real_int64 28L); (mk_real_int64 371L); (mk_real_int64 128L); (mk_real_int64 480L); (mk_real_int64 114L); (mk_real_int64 332L); (mk_real_int64 328L); (mk_real_int64 160L); (mk_real_int64 252L); ]); ("y3_hi", [13; 15; 17; 18; 19; 31; 32; 44; 46; 48; 52; 54; ], [(mk_real_int64 220L); (mk_real_int64 93L); (mk_real_int64 88L); (mk_real_int64 225L); (mk_real_int64 276L); (mk_real_int64 500L); (mk_real_int64 188L); (mk_real_int64 128L); (mk_real_int64 456L); (mk_real_int64 208L); (mk_real_int64 260L); (mk_real_int64 320L); ]); ("y4_hi", [2; 5; 7; 8; 9; 19; 20; 25; 29; 30; 32; 33; 35; 40; ], [(mk_real_int64 250L); (mk_real_int64 893L); (mk_real_int64 513L); (mk_real_int64 5L); (mk_real_int64 585L); (mk_real_int64 250L); (mk_real_int64 591L); (mk_real_int64 604L); (mk_real_int64 536L); (mk_real_int64 130L); (mk_real_int64 160L); (mk_real_int64 20L); (mk_real_int64 272L); (mk_real_int64 570L); ]); ("y4_lo", [3; 10; 14; 16; 21; 22; 24; 26; 28; 34; 37; 38; ], [(mk_real_int64 375L); (mk_real_int64 145L); (mk_real_int64 205L); (mk_real_int64 530L); (mk_real_int64 145L); (mk_real_int64 645L); (mk_real_int64 155L); (mk_real_int64 178L); (mk_real_int64 500L); (mk_real_int64 320L); (mk_real_int64 45L); (mk_real_int64 40L); ]); ("y5_hi", [8; 15; 17; 18; 19; 24; 26; 29; 30; 32; 34; 35; 39; 44; 46; 48; 49; 54; ], [(mk_real_int64 250L); (mk_real_int64 468L); (mk_real_int64 88L); (mk_real_int64 5L); (mk_real_int64 276L); (mk_real_int64 192L); (mk_real_int64 107L); (mk_real_int64 250L); (mk_real_int64 316L); (mk_real_int64 188L); (mk_real_int64 482L); (mk_real_int64 604L); (mk_real_int64 536L); (mk_real_int64 128L); (mk_real_int64 71L); (mk_real_int64 208L); (mk_real_int64 272L); (mk_real_int64 320L); ]); ("y5_lo", [12; 13; 20; 31; 36; 38; 43; 47; 51; 52; ], [(mk_real_int64 2L); (mk_real_int64 375L); (mk_real_int64 270L); (mk_real_int64 395L); (mk_real_int64 128L); (mk_real_int64 500L); (mk_real_int64 332L); (mk_real_int64 363L); (mk_real_int64 252L); (mk_real_int64 165L); ]); ("y6_hi", [8; 15; 17; 18; 19; 24; 26; 29; 30; 32; 34; 35; 39; 44; 46; 48; 49; 54; ], [(mk_real_int64 250L); (mk_real_int64 468L); (mk_real_int64 88L); (mk_real_int64 5L); (mk_real_int64 276L); (mk_real_int64 192L); (mk_real_int64 107L); (mk_real_int64 250L); (mk_real_int64 316L); (mk_real_int64 188L); (mk_real_int64 482L); (mk_real_int64 604L); (mk_real_int64 536L); (mk_real_int64 128L); (mk_real_int64 71L); (mk_real_int64 208L); (mk_real_int64 272L); (mk_real_int64 320L); ]); ("y6_lo", [7; 8; 12; 13; 20; 25; 26; 28; 31; 36; 38; 43; 47; 51; 52; ], [(mk_real_int64 117000L); (mk_real_int64 117000L); (mk_real_int64 2L); (mk_real_int64 375L); (mk_real_int64 270L); (mk_real_int64 66000L); (mk_real_int64 55000L); (mk_real_int64 1000L); (mk_real_int64 395L); (mk_real_int64 128L); (mk_real_int64 500L); (mk_real_int64 332L); (mk_real_int64 23363L); (mk_real_int64 252L); (mk_real_int64 165L); ]); ("y8_hi", [3; ], [(mk_real_int64 352000L); ]); ("ye_hi", [33; ], [(mk_real_int64 1000L); ]); ("ye_lo", [5; 24; 34; 36; ], [(mk_real_int64 117000L); (mk_real_int64 96000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]); ("yn_hi", [0; 4; 5; 6; 8; 9; 11; ], [(mk_real_int64 372L); (mk_real_int64 224L); (mk_real_int64 1376L); (mk_real_int64 1008L); (mk_real_int64 1416L); (mk_real_int64 720L); (mk_real_int64 720L); ]); ("yn_lo", [1; 2; 3; 7; 10; 12; ], [(mk_real_int64 221L); (mk_real_int64 52L); (mk_real_int64 280L); (mk_real_int64 280L); (mk_real_int64 280L); (mk_real_int64 1280L); ]); ];; let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;; end;; concl (Test_case.result)