hypermap_string := "21943083135 21 4 0 1 2 3 3 0 3 4 3 4 3 5 3 5 3 2 3 5 2 6 3 6 2 7 3 7 2 1 3 7 1 8 3 8 1 9 3 9 1 0 3 9 0 10 3 10 0 4 3 10 4 11 3 11 4 5 3 11 5 6 3 11 6 12 3 12 6 7 3 12 7 8 3 12 8 9 3 12 9 10 3 10 11 12 ";;
precision := 3;;
(***************)
(* Constraints *)
(***************)
constraints := [
("azim_sum", [2; 4; 5; 6; 10; 11; 12; ], [266L; 52L; 52L; 107L; 107L; 100L; 487L; ]);
("azim_sum_neg", [7; 8; 9; ], [16L; 60L; 16L; ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [390L; 985L; 1150L; 985L; 499L; 499L; 768L; 872L; 856L; 872L; 768L; 747L; 869L; ]);
("sol_sum3_neg", [5; 6; 11; 12; 13; 14; 15; 16; 17; 20; 21; ], [699L; 131L; 131L; 699L; 52L; 52L; 52L; 179L; 107L; 107L; 179L; ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; 18; 19; 20; 21; ], [985L; 390L; 390L; 390L; 390L; 176L; 744L; 872L; 856L; 856L; 872L; 744L; 176L; 499L; 499L; 499L; 696L; 768L; 856L; 856L; 768L; 696L; ]);
("ln_def_neg", [1; 2; 3; ], [86L; 268L; 86L; ]);
("ln_def", [0; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [570L; 449L; 449L; 153L; 39L; 56L; 39L; 153L; 177L; 42L; ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [2452L; 6191L; 7227L; 6191L; 3138L; 3138L; 4827L; 5477L; 5377L; 5477L; 4827L; 4691L; 5458L; ]);
("edge_sym", [6; 7; 8; 11; 13; 14; 16; 19; 22; 28; 31; 44; 49; 56; 59; ], [186L; 13L; 186L; 28L; 186L; 186L; 113L; 21L; 68L; 55L; 68L; 97L; 6L; 5L; 24L; ]);
("edge_sym_neg", [2; 10; 17; 23; 32; 34; 38; 40; 48; 52; 53; 55; 58; 61; 62; 63; ], [472L; 13L; 186L; 66L; 21L; 113L; 186L; 235L; 104L; 24L; 24L; 5L; 5L; 24L; 6L; 104L; ]);
("y1_def", [5; 15; 21; 26; 27; 30; 38; 44; 48; 49; 53; 56; 58; 61; 64; 65; ], [695L; 428L; 8L; 30L; 30L; 8L; 428L; 20L; 3L; 68L; 50L; 15L; 15L; 50L; 3L; 9L; ]);
("y1_def_neg", [1; 6; 9; 11; 14; 20; 22; 23; 25; 28; 31; 32; 33; 39; 40; 42; 45; 47; 50; ], [384L; 307L; 23L; 23L; 307L; 27L; 68L; 81L; 15L; 15L; 54L; 95L; 27L; 154L; 5L; 160L; 5L; 154L; 60L; ]);
("y2_def", [1; 6; 9; 11; 14; 15; 20; 22; 23; 25; 28; 31; 32; 33; 38; 39; 42; 44; 47; 49; 50; 53; 61; 65; ], [60L; 186L; 14L; 14L; 186L; 216L; 96L; 41L; 7L; 9L; 9L; 33L; 15L; 96L; 216L; 138L; 107L; 20L; 138L; 68L; 36L; 38L; 38L; 104L; ]);
("y2_def_neg", [5; 21; 26; 27; 30; 40; 45; 48; 56; 58; 64; ], [167L; 2L; 9L; 9L; 2L; 5L; 5L; 1L; 5L; 5L; 1L; ]);
("y3_def", [1; 6; 9; 11; 14; 15; 20; 22; 23; 25; 28; 31; 32; 33; 38; 39; 42; 44; 47; 49; 50; 53; 61; 65; ], [60L; 186L; 14L; 14L; 186L; 216L; 96L; 41L; 7L; 9L; 9L; 33L; 15L; 96L; 216L; 138L; 107L; 20L; 138L; 68L; 36L; 38L; 38L; 104L; ]);
("y3_def_neg", [5; 21; 26; 27; 30; 40; 45; 48; 56; 58; 64; ], [167L; 2L; 9L; 9L; 2L; 5L; 5L; 1L; 5L; 5L; 1L; ]);
("y4_def_neg", [1; 9; 11; 20; 22; 23; 25; 31; 32; 33; 39; 40; 42; 47; 49; 50; 53; 61; 65; ], [472L; 27L; 27L; 113L; 78L; 60L; 17L; 41L; 86L; 113L; 232L; 4L; 18L; 94L; 35L; 68L; 6L; 6L; 103L; ]);
("y4_def", [5; 6; 14; 15; 19; 21; 26; 27; 28; 30; 34; 38; 41; 44; 45; 48; 55; 56; 58; 64; ], [472L; 13L; 13L; 113L; 3L; 12L; 57L; 46L; 14L; 12L; 3L; 113L; 82L; 128L; 79L; 5L; 9L; 24L; 24L; 5L; ]);
("y5_def_neg", [1; 5; 15; 21; 26; 27; 30; 38; 40; 44; 45; 48; 49; 53; 56; 58; 61; 64; ], [68L; 186L; 186L; 2L; 9L; 9L; 2L; 186L; 4L; 10L; 4L; 1L; 35L; 24L; 5L; 5L; 24L; 1L; ]);
("y5_def", [6; 9; 11; 14; 20; 22; 23; 25; 28; 31; 32; 33; 39; 42; 47; 50; 65; ], [186L; 14L; 14L; 186L; 21L; 41L; 15L; 9L; 9L; 33L; 23L; 21L; 108L; 107L; 108L; 36L; 1L; ]);
("y6_def_neg", [1; 5; 15; 21; 27; 30; 38; 40; 44; 45; 48; 49; 53; 56; 58; 61; 64; ], [68L; 186L; 186L; 2L; 9L; 2L; 186L; 4L; 10L; 4L; 1L; 35L; 24L; 5L; 5L; 24L; 1L; ]);
("y6_def", [6; 9; 11; 14; 20; 22; 23; 25; 26; 28; 31; 32; 33; 39; 42; 47; 50; 65; ], [186L; 14L; 14L; 186L; 21L; 41L; 15L; 9L; 22L; 9L; 33L; 23L; 21L; 108L; 107L; 108L; 36L; 1L; ]);
("rhazim2c", [5; ], [595L; ]);
("rhazim3c", [5; ], [595L; ]);
("RHA", [6; 8; 9; 11; 12; 14; 15; 16; 17; 18; 19; 23; 24; 25; 28; 29; 31; 34; 35; 36; 37; 38; 41; 45; 48; 49; 50; 51; 53; 54; 55; 57; 59; 60; 61; 63; 64; 65; ], [83L; 109L; 70L; 70L; 109L; 83L; 323L; 809L; 592L; 24L; 241L; 188L; 16L; 270L; 270L; 16L; 188L; 241L; 24L; 592L; 809L; 323L; 247L; 247L; 51L; 72L; 74L; 100L; 103L; 13L; 16L; 13L; 16L; 100L; 103L; 72L; 51L; 74L; ]);
("yy15", [1; ], [71L; ]);
("ineq97", [5; ], [595L; ]);
("ineq98", [1; ], [165L; ]);
("ineq101", [1; ], [266L; ]);
("ineq102", [1; 5; ], [985L; 390L; ]);
("ineq107", [6; 9; 11; 14; 20; 22; 23; 25; 28; 31; 32; 33; 39; 42; 47; 50; 65; ], [512L; 39L; 39L; 512L; 128L; 114L; 91L; 25L; 25L; 91L; 114L; 128L; 269L; 247L; 269L; 99L; 99L; ]);
("ineq108", [15; 21; 26; 27; 30; 38; 48; 53; 56; 58; 61; 64; ], [324L; 16L; 60L; 60L; 16L; 324L; 6L; 19L; 31L; 31L; 19L; 6L; ]);
("ineq109", [39; 42; 47; ], [55L; 48L; 55L; ]);
("ineq111", [15; 20; 33; 38; 39; 44; 47; 49; 53; 61; 65; ], [699L; 131L; 131L; 699L; 52L; 52L; 52L; 179L; 107L; 107L; 179L; ]);
("ineq112", [23; 32; 40; 45; ], [146L; 146L; 28L; 28L; ]);
("ineq113", [56; 58; ], [57L; 57L; ]);
("ineq114", [20; 33; 48; 64; ], [568L; 568L; 86L; 86L; ]);
("ineq115", [6; 8; 9; 11; 12; 14; 16; 19; 23; 25; 28; 31; 34; 37; 41; 45; 50; 51; 54; 57; 60; 65; ], [133L; 257L; 195L; 195L; 257L; 133L; 176L; 176L; 725L; 856L; 856L; 725L; 176L; 176L; 471L; 471L; 610L; 768L; 799L; 799L; 768L; 610L; ]);
("ineq30", [5; ], [595L; ]);
];;

(***************)
(* Variables   *)
(***************)
target_variables := [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [900L; 2575L; 3275L; 2575L; 1850L; 1850L; 2275L; 2525L; 3025L; 2525L; 2275L; 2075L; 2850L; ]);
];;

(*************************)

variable_bounds := [
("azim_hi", [6; 9; 11; 14; 16; 19; 34; 37; 51; 53; 54; 56; 57; 58; 60; 61; ], [258L; 70L; 70L; 258L; 176L; 176L; 176L; 176L; 768L; 1000L; 174L; 101L; 174L; 101L; 768L; 1000L; ]);
("azim_lo", [8; 12; 20; 23; 25; 28; 31; 33; 41; 45; 48; 50; 64; 65; ], [118L; 118L; 112L; 150L; 144L; 144L; 150L; 112L; 154L; 154L; 274L; 140L; 274L; 140L; ]);
("rhazim_hi", [22; 23; 25; 28; 31; 32; ], [1000L; 1000L; 1000L; 1000L; 1000L; 1000L; ]);
("rhazim_lo", [41; 42; 45; 51; 53; 60; 61; ], [1000L; 1000L; 1000L; 1000L; 1000L; 1000L; 1000L; ]);
("rho_lo", [0; 1; 2; 3; 4; 5; 6; 10; ], [1240L; 1260L; 400L; 1260L; 2284L; 2284L; 888L; 888L; ]);
("rho_hi", [7; 8; 9; 11; 12; ], [2648L; 2104L; 2648L; 3148L; 2796L; ]);
("tau_lo", [7; 10; 14; ], [1000L; 1000L; 499000L; ]);
("y1_lo", [1; 6; 9; 11; 14; 15; 20; 22; 31; 33; 38; 39; 40; 44; 45; 47; 65; ], [280L; 200L; 400L; 400L; 200L; 380L; 20L; 400L; 600L; 20L; 380L; 565L; 40L; 240L; 40L; 565L; 380L; ]);
("y1_hi", [5; 23; 32; 42; 49; 50; 53; 56; 58; 61; ], [630L; 120L; 320L; 520L; 20L; 600L; 160L; 500L; 500L; 160L; ]);
("y2_hi", [6; 9; 11; 14; 15; 20; 22; 25; 28; 31; 32; 33; 38; 42; 48; 49; 50; 56; 58; 64; 65; ], [368L; 196L; 196L; 368L; 372L; 372L; 496L; 100L; 100L; 124L; 216L; 372L; 372L; 380L; 88L; 20L; 36L; 288L; 288L; 88L; 56L; ]);
("y2_lo", [1; 5; 21; 23; 26; 27; 30; 39; 40; 44; 45; 47; 53; 61; ], [286L; 420L; 432L; 156L; 120L; 120L; 432L; 304L; 40L; 240L; 40L; 304L; 228L; 228L; ]);
("y3_hi", [6; 9; 11; 14; 15; 20; 22; 25; 28; 31; 32; 33; 38; 42; 48; 49; 50; 56; 58; 64; 65; ], [368L; 196L; 196L; 368L; 372L; 372L; 496L; 100L; 100L; 124L; 216L; 372L; 372L; 380L; 88L; 20L; 36L; 288L; 288L; 88L; 56L; ]);
("y3_lo", [1; 5; 21; 23; 26; 27; 30; 39; 40; 44; 45; 47; 53; 61; ], [286L; 420L; 432L; 156L; 120L; 120L; 432L; 304L; 40L; 240L; 40L; 304L; 228L; 228L; ]);
("y4_lo", [5; 6; 14; 19; 20; 22; 23; 25; 26; 28; 31; 32; 33; 34; 39; 41; 42; 44; 45; 47; 48; 49; 53; 55; 56; 58; 61; 64; ], [360L; 363720L; 363720L; 3000L; 356L; 90L; 21000L; 125L; 10620L; 31125L; 21335L; 10340L; 356L; 3000L; 132L; 82000L; 184075L; 138192L; 82500L; 138132L; 362L; 84L; 285L; 9000L; 37L; 37L; 285L; 362L; ]);
("y4_hi", [1; 9; 11; 15; 21; 23; 27; 30; 38; 40; 50; 65; ], [177L; 285L; 285L; 448L; 368L; 415L; 380L; 368L; 448L; 500L; 185L; 101L; ]);
("y5_hi", [6; 9; 11; 14; 22; 25; 28; 31; 32; 40; 42; 45; 48; 50; 53; 56; 58; 61; 64; ], [368L; 196L; 196L; 368L; 496L; 100L; 100L; 124L; 246L; 500L; 380L; 500L; 88L; 36L; 140L; 288L; 288L; 140L; 88L; ]);
("y5_lo", [1; 5; 15; 20; 21; 23; 26; 27; 30; 33; 38; 39; 44; 47; 49; 65; ], [236L; 277325L; 252L; 84L; 432L; 126L; 120L; 120L; 432L; 84L; 252L; 256L; 192L; 256L; 84L; 48L; ]);
("y6_hi", [6; 9; 11; 14; 22; 25; 28; 31; 32; 40; 42; 45; 48; 50; 53; 56; 58; 61; 64; ], [368L; 196L; 196L; 368L; 496L; 100L; 100L; 124L; 246L; 500L; 380L; 500L; 88L; 36L; 140L; 288L; 288L; 140L; 88L; ]);
("y6_lo", [1; 5; 15; 20; 21; 23; 26; 27; 30; 33; 38; 39; 44; 47; 49; 65; ], [236L; 277325L; 252L; 84L; 432L; 126L; 31120L; 120L; 432L; 84L; 252L; 256L; 192L; 256L; 84L; 48L; ]);
("ye_hi", [23; 32; 46; ], [1000L; 1000L; 1000L; ]);
("ye_lo", [40; 45; 56; ], [1000L; 1000L; 1000L; ]);
("yn_lo", [0; 3; 6; 7; 9; 10; 11; ], [1110L; 536L; 219L; 997L; 997L; 219L; 371L; ]);
("yn_hi", [1; 2; 4; 5; 8; 12; ], [464L; 632L; 1573L; 1573L; 312L; 234L; ]);
];;