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; 3; 4; 5; 6; 7; 9; 10; 11; 12; ], [2879L; 1902L; 1916L; 1916L; 6317L; 1761L; 1761L; 6317L; 6317L; 7559L; ]); ("azim_sum_neg", [8; ], [1191L; ]); ("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [7411L; 7411L; 7411L; 8388L; 7411L; 7411L; 5777L; 5777L; 5777L; 5777L; 5777L; 5873L; 5777L; ]); ("sol_sum3_neg", [4; 5; 6; 9; 10; 11; 12; 13; 14; 15; 16; 17; 18; 19; 20; ], [4513L; 3607L; 1761L; 1761L; 3607L; 4513L; 3550L; 1916L; 3550L; 6317L; 3943L; 1761L; 1761L; 3943L; 6317L; ]); ("tau_sum3_neg", [1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; 18; 19; 20; ], [7411L; 7411L; 7411L; 5777L; 5777L; 5650L; 5777L; 5777L; 5650L; 5777L; 5777L; 5777L; 5873L; 5777L; 5777L; 5777L; 5777L; 5777L; 5777L; 5777L; ]); ("tau_sum4_neg", [0; ], [7411L; ]); ("ln_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [1829L; 856L; 1829L; 751L; 1829L; 1829L; 3630L; 3630L; 3630L; 3630L; 3630L; 3525L; 3630L; ]); ("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [46565L; 46565L; 46565L; 52705L; 46565L; 46565L; 36298L; 36298L; 36298L; 36298L; 36298L; 36898L; 36298L; ]); ("edge_sym_neg", [4; 8; 9; 11; 14; 15; 20; 21; 23; 29; 30; 36; 38; 42; 46; 47; 48; 50; 51; 53; 56; 59; 61; ], [1664L; 346L; 77L; 1664L; 720L; 917L; 1664L; 919L; 183L; 473L; 340L; 917L; 372L; 284L; 1677L; 1778L; 1677L; 240L; 2731L; 2288L; 2288L; 240L; 37L; ]); ("edge_sym", [5; 6; 12; 17; 26; 32; 57; 60; ], [346L; 346L; 346L; 340L; 919L; 720L; 2731L; 1778L; ]); ("y1_def", [13; 17; 18; 20; 24; 25; 30; 31; 33; 35; 36; 39; 44; 48; 49; 51; 54; 56; 59; 62; ], [1821L; 1371L; 923L; 539L; 458L; 596L; 338L; 923L; 1371L; 1715L; 107L; 933L; 1349L; 1718L; 1498L; 1091L; 2145L; 2145L; 2589L; 2343L; ]); ("y1_def_neg", [0; 2; 6; 7; 8; 9; 10; 19; 21; 23; 26; 27; 28; 37; 40; 41; 42; 43; 45; 46; 50; 52; 55; 60; 63; ], [1555L; 1555L; 956L; 60L; 379L; 60L; 956L; 76L; 348L; 155L; 155L; 138L; 424L; 92L; 428L; 306L; 923L; 416L; 92L; 57L; 558L; 513L; 513L; 558L; 683L; ]); ("y2_def", [0; 2; 6; 7; 9; 10; 13; 17; 19; 20; 23; 26; 30; 33; 35; 37; 39; 40; 41; 42; 43; 44; 45; 46; 48; 49; 50; 52; 54; 55; 56; 59; 60; 62; ], [1664L; 1664L; 191L; 93L; 93L; 191L; 1683L; 1371L; 46L; 870L; 94L; 94L; 870L; 1371L; 1715L; 142L; 1940L; 663L; 1177L; 560L; 591L; 1349L; 142L; 35L; 1718L; 1498L; 864L; 794L; 220L; 794L; 220L; 1167L; 864L; 2435L; ]); ("y2_def_neg", [8; 18; 21; 24; 25; 27; 28; 31; 36; 51; 63; ], [379L; 281L; 348L; 319L; 181L; 138L; 302L; 281L; 32L; 332L; 683L; ]); ("y3_def", [0; 2; 6; 7; 9; 10; 13; 17; 19; 20; 23; 26; 30; 33; 35; 37; 39; 40; 41; 42; 43; 44; 45; 46; 48; 49; 50; 52; 54; 55; 56; 59; 60; 62; ], [1664L; 1664L; 191L; 93L; 93L; 191L; 1683L; 1371L; 46L; 870L; 94L; 94L; 870L; 1371L; 1715L; 142L; 1940L; 663L; 1177L; 560L; 591L; 1349L; 142L; 35L; 1718L; 1498L; 864L; 794L; 220L; 794L; 220L; 1167L; 864L; 2435L; ]); ("y3_def_neg", [8; 18; 21; 24; 25; 27; 28; 31; 36; 51; 63; ], [379L; 281L; 348L; 319L; 181L; 138L; 302L; 281L; 32L; 332L; 683L; ]); ("y4_def_neg", [6; 7; 8; 9; 10; 13; 17; 19; 20; 21; 23; 26; 27; 28; 30; 33; 35; 37; 39; 40; 41; 42; 43; 44; 45; 46; 48; 49; 50; 52; 55; 60; 62; 63; ], [1664L; 175L; 263L; 175L; 1664L; 720L; 707L; 87L; 723L; 242L; 177L; 177L; 96L; 329L; 723L; 707L; 885L; 267L; 1808L; 1247L; 1506L; 1054L; 1112L; 696L; 267L; 65L; 1712L; 773L; 1626L; 1494L; 1494L; 1626L; 1304L; 474L; ]); ("y4_def", [18; 24; 25; 31; 36; 51; 54; 56; 59; ], [1427L; 825L; 921L; 1427L; 165L; 1686L; 1937L; 1937L; 914L; ]); ("y5_def_neg", [1; 8; 13; 17; 18; 20; 21; 24; 25; 27; 28; 30; 31; 33; 35; 36; 39; 44; 48; 49; 51; 54; 56; 59; 62; 63; ], [1191L; 263L; 917L; 707L; 281L; 144L; 242L; 277L; 181L; 96L; 196L; 144L; 281L; 707L; 885L; 32L; 105L; 696L; 1712L; 773L; 332L; 794L; 794L; 1104L; 1203L; 474L; ]); ("y5_def", [0; 2; 6; 7; 9; 10; 19; 23; 26; 37; 40; 41; 42; 43; 45; 46; 50; 52; 55; 60; ], [1664L; 1664L; 346L; 93L; 93L; 346L; 46L; 94L; 94L; 142L; 663L; 108L; 560L; 591L; 142L; 35L; 864L; 794L; 794L; 864L; ]); ("y6_def_neg", [8; 13; 17; 18; 20; 21; 28; 30; 35; 36; 39; 48; 49; 51; 54; 56; 59; 63; ], [263L; 346L; 707L; 281L; 144L; 242L; 196L; 144L; 313L; 32L; 105L; 1712L; 773L; 332L; 794L; 794L; 1104L; 474L; ]); ("y6_def", [0; 2; 6; 7; 9; 10; 19; 23; 24; 25; 26; 27; 31; 33; 37; 40; 41; 42; 43; 44; 45; 46; 50; 52; 55; 60; 61; 62; ], [1664L; 1664L; 346L; 93L; 93L; 346L; 46L; 94L; 2465L; 185L; 94L; 2646L; 1047L; 521L; 2725L; 1318L; 765L; 560L; 1246L; 1887L; 1783L; 35L; 864L; 794L; 794L; 864L; 1641L; 2152L; ]); ("y8_def_neg", [2; ], [1191L; ]); ("RHA", [0; 4; 13; 14; 17; 20; 21; 23; 26; 29; 30; 32; 35; 36; 38; 44; ], [977L; 977L; 1634L; 1634L; 1634L; 1761L; 1761L; 1376L; 1376L; 1761L; 2186L; 2611L; 2611L; 1634L; 1634L; 1634L; ]); ("yy10", [20; ], [1191L; ]); ("ineq104", [0; 2; ], [2879L; 2879L; ]); ("ineq107", [15; 19; 22; 24; 26; 35; 37; 38; 39; 42; 58; ], [127L; 258L; 258L; 127L; 552L; 96L; 1538L; 1538L; 96L; 96L; 96L; ]); ("ineq108", [9; 14; 20; 21; 27; 32; 47; 50; 52; 55; ], [213L; 1846L; 1191L; 1191L; 1846L; 213L; 2182L; 2952L; 2952L; 2182L; ]); ("ineq109", [2; 3; 5; 6; 16; 33; 35; 36; 39; 41; 46; 48; 51; 56; ], [1916L; 256L; 256L; 1916L; 552L; 390L; 1528L; 1821L; 1528L; 390L; 2374L; 2182L; 2182L; 2374L; ]); ("ineq111", [9; 13; 16; 26; 29; 31; 35; 37; 40; 44; 45; 50; 52; 55; 58; ], [4513L; 3607L; 1761L; 1761L; 3607L; 4513L; 3550L; 1916L; 3550L; 6317L; 3943L; 1761L; 1761L; 3943L; 6317L; ]); ("ineq112", [2; 4; 6; 17; 20; 23; 24; 37; 44; 59; ], [2812L; 2108L; 2812L; 1934L; 766L; 766L; 1934L; 614L; 3793L; 3793L; ]); ("ineq114", [9; 32; ], [2895L; 2895L; ]); ("ineq115", [0; 3; 5; 8; 11; 12; 13; 16; 18; 19; 22; 23; 26; 28; 29; 30; 33; 35; 36; 39; 41; 44; 45; 48; 51; 54; 59; ], [4599L; 2652L; 2652L; 4599L; 2882L; 4329L; 1448L; 3716L; 2813L; 2198L; 2198L; 2813L; 3716L; 1448L; 4329L; 2882L; 3797L; 1980L; 4121L; 1980L; 3797L; 1984L; 5777L; 5777L; 5777L; 5777L; 1984L; ]); ("ineq118", [3; ], [7411L; ]); ];; (***************) (* Variables *) (***************) target_variables := [ ("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [34990L; 9764990L; 34990L; 45430L; 34990L; 34990L; 33308L; 33308L; 33308L; 33308L; 33308L; 30908L; 33308L; ]); ];; (*************************) variable_bounds := [ ("azim_hi", [7; 9; 13; 15; 17; 32; 34; 36; 39; 43; 49; 52; 55; 58; ], [1520L; 1520L; 1950L; 1320L; 4480L; 4480L; 1320L; 1950L; 4800L; 4800L; 4020L; 4020L; 4020L; 4020L; ]); ("azim_lo", [4; 12; 16; 20; 22; 23; 26; 27; 30; 33; 37; 40; 45; 48; 63; ], [260L; 260L; 460L; 7840L; 620L; 520L; 520L; 620L; 7840L; 460L; 780L; 2540L; 780L; 160L; 160L; ]); ("rho_lo", [0; 1; 2; 3; 4; 5; ], [2048L; 2048L; 2048L; 15184L; 2048L; 2048L; ]); ("rho_hi", [6; 7; 8; 9; 10; 11; 12; ], [464L; 464L; 464L; 464L; 464L; 32336L; 464L; ]); ("tau_lo", [13; ], [11380000L; ]); ("tau_hi", [2; ], [10000L; ]); ("y1_hi", [0; 2; 13; 20; 23; 26; 27; 37; 40; 41; 42; 45; 49; 50; 52; 54; 55; 56; 59; 60; 63; ], [3400L; 3400L; 4400L; 4600L; 2000L; 2000L; 1200L; 3500L; 650L; 7600L; 2000L; 3500L; 3400L; 1100L; 2300L; 1800L; 2300L; 1800L; 3400L; 1100L; 2600L; ]); ("y1_lo", [6; 7; 8; 9; 10; 17; 19; 21; 24; 25; 28; 30; 33; 35; 36; 39; 43; 46; 48; 62; ], [4200L; 1600L; 4400L; 1600L; 4200L; 3400L; 2000L; 1200L; 3800L; 5000L; 3200L; 200L; 3400L; 600L; 5000L; 6800L; 6800L; 6000L; 2800L; 1400L; ]); ("y2_hi", [0; 2; 6; 7; 9; 10; 18; 19; 20; 24; 27; 28; 30; 31; 41; 49; 51; 52; 54; 55; 56; 62; 63; ], [620L; 620L; 724L; 1584L; 1584L; 724L; 4080L; 2153L; 528L; 880L; 1200L; 953L; 528L; 4080L; 2382L; 3400L; 3360L; 298L; 4760L; 298L; 4760L; 3944L; 2600L; ]); ("y2_lo", [8; 13; 17; 21; 23; 25; 26; 33; 35; 36; 37; 39; 40; 42; 43; 45; 46; 48; 50; 59; 60; ], [4400L; 4360L; 3400L; 1200L; 1138L; 320L; 1138L; 3400L; 600L; 3760L; 790L; 264L; 3381L; 3218L; 264L; 790L; 656L; 2800L; 1014L; 3240L; 1014L; ]); ("y3_hi", [0; 2; 6; 7; 9; 10; 18; 19; 20; 24; 27; 28; 30; 31; 41; 49; 51; 52; 54; 55; 56; 62; 63; ], [620L; 620L; 724L; 1584L; 1584L; 724L; 4080L; 2153L; 528L; 880L; 1200L; 953L; 528L; 4080L; 2382L; 3400L; 3360L; 298L; 4760L; 298L; 4760L; 3944L; 2600L; ]); ("y3_lo", [8; 13; 17; 21; 23; 25; 26; 33; 35; 36; 37; 39; 40; 42; 43; 45; 46; 48; 50; 59; 60; ], [4400L; 4360L; 3400L; 1200L; 1138L; 320L; 1138L; 3400L; 600L; 3760L; 790L; 264L; 3381L; 3218L; 264L; 790L; 656L; 2800L; 1014L; 3240L; 1014L; ]); ("y4_hi", [6; 10; 13; 17; 19; 21; 23; 26; 27; 28; 33; 35; 41; 42; 44; 49; 51; 62; ], [400L; 400L; 1010L; 280L; 50L; 2500L; 2700L; 2700L; 2500L; 2550L; 280L; 4520L; 1840L; 4700L; 2000L; 1720L; 6860L; 1080L; ]); ("y4_lo", [7; 8; 9; 18; 20; 24; 25; 30; 31; 36; 37; 39; 40; 43; 45; 46; 48; 50; 52; 54; 55; 56; 59; 60; 63; ], [3600L; 5000L; 3600L; 420L; 2760L; 1070L; 3570L; 2760L; 420L; 3510L; 1500L; 2400L; 3850L; 4400L; 1500L; 7600L; 2570L; 1900L; 6700L; 2600L; 6700L; 2600L; 1420L; 1900L; 1250L; ]); ("y5_hi", [0; 2; 7; 9; 13; 17; 18; 19; 21; 24; 27; 28; 31; 33; 35; 39; 44; 49; 51; 52; 54; 55; 56; ], [620L; 620L; 1584L; 1584L; 760L; 280L; 4080L; 2153L; 2500L; 2180L; 2500L; 4653L; 4080L; 280L; 4520L; 1736L; 2000L; 1720L; 3360L; 298L; 1400L; 298L; 1400L; ]); ("y5_lo", [6; 8; 10; 20; 23; 25; 26; 30; 36; 37; 40; 41; 42; 43; 45; 46; 48; 50; 59; 60; 62; 63; ], [2676L; 5000L; 2676L; 2832L; 1138L; 320L; 1138L; 2832L; 3760L; 790L; 3381L; 6078L; 3218L; 264L; 790L; 656L; 2570L; 1014L; 4920L; 1014L; 1976L; 1250L; ]); ("y6_hi", [0; 2; 7; 9; 13; 17; 18; 19; 21; 24; 27; 28; 33; 39; 40; 43; 44; 49; 51; 52; 54; 55; 56; ], [620L; 620L; 1584L; 1584L; 760L; 280L; 4080L; 2153L; 2500L; 2180L; 2500L; 4653L; 280L; 1736L; 6619L; 9736L; 2000L; 1720L; 3360L; 298L; 1400L; 298L; 1400L; ]); ("y6_lo", [6; 8; 10; 13; 20; 23; 24; 25; 26; 27; 30; 31; 33; 35; 36; 37; 40; 41; 42; 43; 44; 45; 46; 48; 50; 59; 60; 61; 62; 63; ], [2676L; 5000L; 2676L; 5710000L; 2832L; 1138L; 27420000L; 3660320L; 1138L; 27420000L; 2832L; 13275920L; 12280000L; 5715480L; 3760L; 25830790L; 6560000L; 6576078L; 3218L; 6560000L; 25830000L; 16410790L; 656L; 2570L; 1014L; 4920L; 1014L; 16410000L; 33551976L; 1250L; ]); ("y8_hi", [2; ], [11910000L; ]); ("ye_hi", [7; 8; 35; 41; 42; 45; 47; 58; 61; 62; ], [10000L; 10000L; 10000L; 10000L; 10000L; 10000L; 10000L; 10000L; 10000L; 10000L; ]); ("ye_lo", [17; 18; 43; 49; 50; ], [13280000L; 12280000L; 10000L; 10000L; 10000L; ]); ("yn_hi", [3; 4; 5; 6; 7; 8; 9; 10; 11; ], [8270L; 18330L; 8330L; 15100L; 15100L; 15100L; 15100L; 15100L; 14250L; ]); ("yn_lo", [0; 1; 2; 12; ], [1670L; 880L; 11670L; 4900L; ]); ];;