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 := 4;;
(***************)
(* Constraints *)
(***************)
constraints := [
("azim_sum", [1; 2; 3; 6; 7; 9; 10; 11; 12; ], [2144L; 4068L; 2144L; 59L; 28L; 28L; 59L; 166L; 5671L; ]);
("azim_sum_neg", [4; 5; 8; ], [700L; 700L; 8L; ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [8339L; 9014L; 10644L; 9014L; 7223L; 7223L; 9014L; 9014L; 9014L; 9014L; 9014L; 8913L; 9014L; ]);
("sol_sum3_neg", [5; 6; 7; 10; 11; 12; 16; 17; 20; 21; ], [1850L; 28L; 1100L; 1100L; 28L; 1850L; 658L; 28L; 28L; 658L; ]);
("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; ], [8339L; 8339L; 7223L; 5703L; 7223L; 7223L; 8229L; 9014L; 9014L; 9014L; 9014L; 8229L; 7223L; 6523L; 6523L; 6523L; 8421L; 9014L; 9014L; 9014L; 9014L; 8421L; ]);
("ln_def", [0; 1; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [806L; 61L; 61L; 2036L; 2036L; 61L; 61L; 61L; 61L; 61L; 173L; 61L; ]);
("ln_def_neg", [2; ], [1736L; ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [52396L; 56638L; 66881L; 56638L; 45381L; 45381L; 56638L; 56638L; 56638L; 56638L; 56638L; 56002L; 56638L; ]);
("edge_sym_neg", [7; 8; 11; 14; 17; 23; 32; 34; 38; 40; 48; 49; 53; 55; 56; 58; 63; ], [2867L; 422L; 2113L; 422L; 597L; 379L; 379L; 830L; 597L; 701L; 372L; 6L; 27L; 10L; 10L; 10L; 372L; ]);
("edge_sym", [6; 10; 13; 16; 19; 22; 28; 31; 44; 52; 59; 61; 62; ], [1396L; 653L; 1396L; 830L; 379L; 613L; 37L; 613L; 701L; 6L; 27L; 6L; 6L; ]);
("y1_def", [1; 5; 8; 12; 15; 17; 21; 26; 27; 30; 38; 49; 50; 53; 56; 58; 62; 63; 64; ], [1834L; 1834L; 350L; 350L; 771L; 703L; 954L; 4L; 4L; 954L; 1474L; 3L; 36L; 10L; 4L; 4L; 3L; 3L; 250L; ]);
("y1_def_neg", [6; 7; 10; 11; 13; 14; 20; 24; 25; 28; 29; 33; 34; 39; 42; 47; 52; 54; 55; 57; 59; 65; ], [1464L; 1829L; 1582L; 442L; 670L; 2624L; 873L; 6L; 33L; 33L; 6L; 461L; 412L; 614L; 1156L; 614L; 7L; 6L; 6L; 6L; 6L; 214L; ]);
("y2_def_neg", [1; 7; 8; 11; 12; 15; 20; 26; 27; 34; 49; 56; 58; 63; ], [1900L; 753L; 106L; 442L; 106L; 234L; 116L; 1L; 1L; 412L; 1L; 1L; 1L; 1L; ]);
("y2_def", [5; 6; 10; 13; 14; 17; 21; 24; 25; 28; 29; 30; 33; 38; 39; 42; 47; 50; 52; 53; 54; 55; 57; 59; 62; 64; 65; ], [2468L; 1254L; 959L; 406L; 95L; 703L; 255L; 10L; 20L; 20L; 10L; 255L; 296L; 469L; 372L; 701L; 372L; 373L; 11L; 10L; 10L; 10L; 10L; 10L; 22L; 250L; 123L; ]);
("y3_def_neg", [5; 7; 8; 11; 12; 15; 20; 26; 27; 34; 49; 56; 58; 63; ], [1900L; 753L; 106L; 442L; 106L; 234L; 116L; 1L; 1L; 412L; 1L; 1L; 1L; 1L; ]);
("y3_def", [1; 6; 10; 13; 14; 17; 21; 24; 25; 28; 29; 30; 33; 38; 39; 42; 47; 50; 52; 53; 54; 55; 57; 59; 62; 64; 65; ], [2468L; 1254L; 959L; 406L; 95L; 703L; 255L; 10L; 20L; 20L; 10L; 255L; 296L; 469L; 372L; 701L; 372L; 373L; 11L; 10L; 10L; 10L; 10L; 10L; 22L; 250L; 123L; ]);
("y4_def", [8; 11; 12; 15; 17; 18; 21; 25; 26; 27; 28; 30; 32; 35; 36; 38; 41; 42; 45; 49; 56; 58; 59; 63; ], [541L; 1907L; 541L; 1192L; 656L; 384L; 613L; 1L; 348L; 7L; 1L; 613L; 342L; 384L; 1019L; 830L; 225L; 2113L; 225L; 5L; 7L; 7L; 1L; 5L; ]);
("y4_def_neg", [6; 7; 10; 13; 14; 20; 24; 29; 33; 34; 39; 47; 50; 52; 53; 54; 55; 57; 62; 64; 65; ], [2361L; 1570L; 1806L; 765L; 953L; 830L; 19L; 19L; 543L; 286L; 701L; 701L; 371L; 21L; 5L; 19L; 19L; 19L; 27L; 129L; 242L; ]);
("y5_def_neg", [1; 5; 7; 8; 11; 12; 15; 17; 20; 21; 26; 27; 30; 34; 38; 49; 50; 53; 56; 58; 63; 64; ], [1396L; 613L; 399L; 106L; 307L; 106L; 234L; 363L; 6L; 379L; 1L; 1L; 379L; 286L; 597L; 1L; 5L; 5L; 1L; 1L; 1L; 129L; ]);
("y5_def", [6; 10; 13; 14; 24; 25; 28; 29; 33; 39; 42; 47; 52; 54; 55; 57; 59; 62; 65; ], [1254L; 959L; 406L; 449L; 10L; 20L; 20L; 10L; 280L; 372L; 701L; 372L; 11L; 10L; 10L; 10L; 10L; 6L; 124L; ]);
("y6_def_neg", [1; 5; 7; 8; 11; 12; 15; 17; 20; 21; 26; 27; 30; 34; 38; 49; 50; 53; 56; 58; 63; 64; ], [613L; 1396L; 399L; 106L; 307L; 106L; 234L; 363L; 6L; 379L; 1L; 1L; 379L; 286L; 597L; 1L; 5L; 5L; 1L; 1L; 1L; 129L; ]);
("y6_def", [6; 10; 13; 14; 24; 25; 28; 29; 33; 39; 42; 47; 52; 54; 55; 57; 59; 62; 65; ], [1254L; 959L; 406L; 449L; 10L; 20L; 20L; 10L; 280L; 372L; 701L; 372L; 11L; 10L; 10L; 10L; 10L; 6L; 124L; ]);
("azim2c", [1; ], [4068L; ]);
("azim3c", [5; ], [4068L; ]);
("rhazim2c", [1; ], [2305L; ]);
("rhazim3c", [5; ], [2305L; ]);
("RHA", [1; 5; 9; 11; 16; 17; 18; 19; 23; 25; 28; 31; 34; 35; 36; 37; 39; 40; 41; 42; 43; 44; 45; 46; 47; 48; 49; 50; 63; 64; 65; ], [675L; 675L; 1520L; 1520L; 1792L; 1792L; 785L; 785L; 1630L; 1575L; 1575L; 1630L; 785L; 785L; 1792L; 1792L; 1468L; 700L; 2390L; 464L; 700L; 700L; 2390L; 700L; 1468L; 492L; 593L; 243L; 593L; 492L; 243L; ]);
("ineq97", [1; ], [2305L; ]);
("ineq99", [1; ], [4068L; ]);
("ineq101", [1; 5; ], [2819L; 2819L; ]);
("ineq102", [1; 5; ], [8339L; 8339L; ]);
("ineq107", [6; 7; 10; 13; 14; 20; 25; 28; 33; 39; 42; 47; 50; 65; ], [1792L; 1116L; 2636L; 1116L; 1792L; 785L; 56L; 56L; 785L; 1023L; 1926L; 1023L; 349L; 349L; ]);
("ineq108", [8; 12; 15; 21; 26; 27; 30; 38; 49; 56; 58; 63; ], [700L; 700L; 1542L; 1072L; 8L; 8L; 1072L; 1542L; 6L; 8L; 8L; 6L; ]);
("ineq109", [6; 14; 24; 29; 52; 54; 55; 57; 59; 62; ], [1656L; 1656L; 28L; 28L; 31L; 28L; 28L; 28L; 28L; 31L; ]);
("ineq111", [17; 20; 21; 30; 33; 38; 50; 53; 62; 64; ], [1850L; 28L; 1100L; 1100L; 28L; 1850L; 658L; 28L; 28L; 658L; ]);
("ineq112", [7; 11; 14; 20; 34; 50; 65; ], [6442L; 2453L; 6442L; 2290L; 2290L; 25L; 25L; ]);
("ineq114", [15; 38; ], [3891L; 3891L; ]);
("ineq115", [6; 9; 11; 14; 16; 18; 19; 22; 23; 25; 28; 31; 32; 34; 35; 37; 39; 41; 42; 45; 47; 50; 51; 54; 57; 60; 65; ], [780L; 1310L; 1310L; 780L; 3331L; 1304L; 4635L; 1668L; 7346L; 9014L; 9014L; 7346L; 1668L; 4635L; 1304L; 3331L; 2439L; 4084L; 1007L; 4084L; 2439L; 8396L; 9014L; 9014L; 9014L; 9014L; 8396L; ]);
("ineq30", [5; ], [2305L; ]);
("ineq31", [5; ], [4068L; ]);
];;

(***************)
(* Variables   *)
(***************)
target_variables := [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [37416L; 46948L; 50726L; 46948L; 41726L; 41726L; 46948L; 46948L; 46948L; 46948L; 46948L; 42492L; 46948L; ]);
];;

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

variable_bounds := [
("azim_hi", [6; 9; 11; 14; 15; 18; 19; 22; 23; 31; 32; 34; 35; 38; 41; 42; 45; ], [2800L; 600L; 600L; 2800L; 2310L; 3040L; 5100L; 1680L; 5960L; 5960L; 1680L; 5100L; 3040L; 2310L; 5840L; 3820L; 5840L; ]);
("azim_lo", [16; 17; 25; 28; 36; 37; 39; 47; 50; 51; 54; 57; 60; 65; ], [7940L; 10000L; 2360L; 2360L; 10000L; 7940L; 1860L; 1860L; 1040L; 2360L; 2360L; 2360L; 2360L; 1040L; ]);
("rhazim_hi", [6; 14; 16; 17; 25; 28; 36; 37; ], [10000L; 10000L; 10000L; 10000L; 10000L; 10000L; 10000L; 10000L; ]);
("rhazim_lo", [50; 65; ], [10000L; 10000L; ]);
("rho_lo", [0; 1; 2; 3; 6; 7; 8; 9; 10; 12; ], [3952L; 12352L; 26192L; 12352L; 12352L; 12352L; 12352L; 12352L; 12352L; 12352L; ]);
("rho_hi", [4; 5; 11; ], [25536L; 25536L; 1616L; ]);
("tau_lo", [2; 3; 4; 5; 12; 14; ], [10000L; 6300000L; 10000L; 10000L; 10000L; 55160000L; ]);
("y1_lo", [1; 5; 6; 7; 24; 25; 28; 29; 34; 52; 54; 55; 57; 59; ], [5020L; 5020L; 3600L; 1600L; 5800L; 6000L; 6000L; 5800L; 2000L; 2850L; 5800L; 5800L; 5800L; 5800L; ]);
("y1_hi", [10; 11; 13; 14; 20; 33; 39; 42; 47; 50; 53; 62; 64; 65; ], [4000L; 4600L; 4000L; 800L; 4400L; 6400L; 2000L; 4000L; 2000L; 1400L; 6400L; 3550L; 400L; 1000L; ]);
("y2_hi", [1; 6; 10; 11; 13; 14; 20; 21; 24; 25; 28; 29; 30; 33; 39; 47; 49; 52; 53; 54; 55; 57; 59; 63; 64; ], [2920L; 7272L; 2404L; 4600L; 1124L; 1672L; 1015L; 560L; 1892L; 3784L; 3784L; 1892L; 560L; 3015L; 2697L; 2697L; 880L; 2809L; 6400L; 1892L; 1892L; 1892L; 1892L; 880L; 400L; ]);
("y2_lo", [5; 7; 8; 12; 15; 26; 27; 34; 38; 42; 50; 56; 58; 62; 65; ], [4880L; 4476L; 4000L; 4000L; 3840L; 2160L; 2160L; 2000L; 3840L; 1286L; 4589L; 2160L; 2160L; 791L; 4989L; ]);
("y3_lo", [1; 7; 8; 12; 15; 26; 27; 34; 38; 42; 50; 56; 58; 62; 65; ], [4880L; 4476L; 4000L; 4000L; 3840L; 2160L; 2160L; 2000L; 3840L; 1286L; 4589L; 2160L; 2160L; 791L; 4989L; ]);
("y3_hi", [5; 6; 10; 11; 13; 14; 20; 21; 24; 25; 28; 29; 30; 33; 39; 47; 49; 52; 53; 54; 55; 57; 59; 63; 64; ], [2920L; 7272L; 2404L; 4600L; 1124L; 1672L; 1015L; 560L; 1892L; 3784L; 3784L; 1892L; 560L; 3015L; 2697L; 2697L; 880L; 2809L; 6400L; 1892L; 1892L; 1892L; 1892L; 880L; 400L; ]);
("y4_lo", [1; 5; 6; 11; 14; 15; 17; 18; 24; 25; 26; 27; 28; 29; 32; 33; 34; 35; 36; 38; 41; 42; 45; 49; 50; 52; 53; 54; 55; 56; 57; 58; 59; 63; 65; ], [690L; 690L; 8800L; 22140000L; 22141300L; 340L; 10190000L; 3840000L; 1800L; 393600L; 3420000L; 8160L; 393600L; 1800L; 3420000L; 2130L; 2500L; 3840000L; 10190000L; 6340L; 2250000L; 34323100L; 2250000L; 3620L; 1580L; 2350L; 4880L; 1800L; 1800L; 8160L; 1800L; 8160L; 201800L; 3620L; 1900L; ]);
("y4_hi", [7; 8; 10; 11; 12; 13; 17; 20; 21; 26; 30; 39; 47; 62; 64; ], [2900L; 1000L; 3400L; 3750L; 1000L; 5400L; 4000L; 5370L; 560L; 1840L; 560L; 2450L; 2450L; 2770L; 320L; ]);
("y5_hi", [1; 6; 10; 11; 13; 14; 17; 21; 24; 25; 28; 29; 30; 33; 38; 39; 47; 49; 52; 54; 55; 57; 59; 63; 64; ], [2210L; 7272L; 2404L; 3750L; 1124L; 4772L; 4000L; 4560L; 1892L; 3784L; 3784L; 1892L; 4560L; 1735L; 160L; 2697L; 2697L; 880L; 2809L; 1892L; 1892L; 1892L; 1892L; 880L; 320L; ]);
("y5_lo", [1; 5; 7; 8; 12; 15; 20; 26; 27; 34; 42; 50; 53; 56; 58; 62; 65; ], [38670000L; 3360L; 1376L; 4000L; 4000L; 3840L; 765L; 2160L; 2160L; 2500L; 1286L; 919L; 4880L; 2160L; 2160L; 2071L; 1239L; ]);
("y6_lo", [1; 5; 7; 8; 12; 15; 20; 26; 27; 34; 42; 50; 53; 56; 58; 62; 65; ], [3360L; 38670000L; 1376L; 4000L; 4000L; 3840L; 765L; 2160L; 2160L; 2500L; 1286L; 919L; 4880L; 2160L; 2160L; 2071L; 1239L; ]);
("y6_hi", [5; 6; 10; 11; 13; 14; 17; 21; 24; 25; 28; 29; 30; 33; 38; 39; 47; 49; 52; 54; 55; 57; 59; 63; 64; ], [2210L; 7272L; 2404L; 3750L; 1124L; 4772L; 4000L; 4560L; 1892L; 3784L; 3784L; 1892L; 4560L; 1735L; 160L; 2697L; 2697L; 880L; 2809L; 1892L; 1892L; 1892L; 1892L; 880L; 320L; ]);
("ye_hi", [7; 34; 53; ], [10000L; 10000L; 10000L; ]);
("ye_lo", [9; 10; 16; 19; 24; 33; ], [10000L; 10000L; 10000L; 10000L; 10000L; 10000L; ]);
("yn_hi", [0; 1; 2; 3; 6; 7; 9; 10; 12; ], [620L; 6970L; 5016L; 16970L; 6970L; 6970L; 16970L; 6970L; 16970L; ]);
("yn_lo", [4; 5; 8; 11; ], [2280L; 2280L; 13030L; 6790L; ]);
];;