\ Generated automatically by libpathan-0.99-pre90481 on Wed Sep 24 17:50:34 GMT 2008 \ Objective Function Maximize obj: 8 xe49 +8 xf8e +9 x1d67 +3 x155b +5 x10b0 +9 x121c +7 xdc8 +8 xf3f +5 x10be +5 x11ca +8 xf2d +5 x10ac +9 x143d +7 xe0a +9 x1712 +5 x1142 +5 x1048 +9 x1498 +7 xd93 +8 xf39 +7 xee2 +7 xe08 +9 x16f8 +9 x1492 +7 xe67 +8 xdf3 +8 xdb0 +5 x118c +9 x1708 +8 xfee +5 x1050 +9 x121f +5 x116e +7 xf7c +3 x1547 +5 x1108 +5 x119c +5 x1140 +8 xdd7 +9 x1497 +5 x11ac +3 x1757 +5 x1046 +5 x11c4 +8 xec8 +8 xf21 +8 xf1b +5 x10fa +9 x1485 +5 x119e +5 x1164 +8 xf60 +9 x143e +5 x11b2 +5 x10d0 +5 x108e +8 xe29 +5 x1066 +8 xf36 +5 x1158 +8 xf87 +5 x1074 +8 xf63 +3 x1583 +9 x170f +8 xef7 +5 x1194 +3 x1753 +3 x1555 +5 x1076 +5 x1152 +5 x11a6 +5 x11a2 +5 x117c +7 xdc0 +5 x10e0 +9 x1431 +9 x1202 +5 x1118 +7 xdbf +5 x11ae +5 x1058 +3 x1559 +9 x144b +7 xd9e +3 x1563 +8 xdd4 +9 x11e5 +3 x1571 +3 x15a1 +8 xe85 +5 x1110 +8 x100b +8 xf9f +5 x112c +9 x1467 +5 x1104 +5 x108a +8 xf15 +8 xebb +5 x1112 +8 xfe4 +8 xf0c +3 x159d +8 xfcf +5 x1042 +5 x114c +5 x1166 +8 x1005 +8 xea9 +113 xc84 +8 xfde +9 x1422 +5 x10b8 +5 x115c +8 xda8 +8 xfb1 +8 xde0 +8 xfa2 +9 x1d74 +5 x11c8 +5 x113a +9 x1450 +8 xdda +7 xda2 +5 x112a +3 x1553 +5 x11be +9 x1408 +5 x1132 +8 xfd8 +9 x146c +8 xed3 +9 x140c +7 xd8f +7 xdbc +5 x11b4 +8 xfd2 +8 xe8b +8 xf30 +8 xfd9 +8 xe34 +7 xdcb +5 x1176 +5 x10a6 +8 xf97 +8 xec4 +7 xdce +5 x1172 +5 x11b0 +8 xdba +8 xeb2 +8 xf0f +3 x1549 +8 xe9d +5 x10fc +3 x1579 +8 xda7 +8 xf45 +5 x10d4 +41 x1c00 +7 xe76 +8 xe01 +8 xfc7 +5 x106e +8 xf66 +8 xfed +8 xfc3 +5 x1056 +7 xedf +3 x156d +8 xfcc +8 xe61 +8 xf24 +8 xeb8 +8 xefa +5 x103c +5 x118e +5 x10f0 +9 x149a +5 x1174 +9 x16f9 +8 xf1e +19 x8b7 +3 x174e +8 xfd3 +8 xdfe +9 x140b +9 x124a +5 x117e +5 x11b6 +9 x1446 +8 x382 +3 x159f +9 x146a +8 xe3a +7 xf81 +8 xeaf +3 x1591 +3 x156b +5 x10f6 +9 x3cf +8 xebe +5 x1044 +5 x1080 +8 xec5 +8 xed6 +5 x1052 +34 xc82 +5 x103e +9 x1495 +7 xe79 +8 xdf5 +5 x113e +7 x30e +3 x1569 +8 x334 +3 x155d +8 xef5 +8 x358 +5 x10a8 +5 x105c +8 xeac +9 x142b +8 xfb7 +7 xf6f +5 x1146 +3 x174b +5 x1190 +19 x8af +8 xe02 +3 x1545 +5 x1178 +3 x1593 +9 x5c5 +3 x1543 +7 xee5 +7 xe74 +5 x1096 +8 xff9 +5 x104e +7 x2fb +8 x100f +3 x841 +8 xe8f +9 x1d63 +5 x1128 +8 xe37 +8 x375 +5 x1062 +5 x1090 +5 x11a0 +7 xe70 +7 xe73 +8 xf84 +8 xfc4 +8 xe22 +7 xdcf +8 x372 +5 x1122 +8 xdb3 +9 x1472 +8 xfc0 +7 x39b +8 xe26 +5 x1116 +8 xdad +8 x3a1 +5 x111a +3 x1754 +3 x1829 +8 xebc +9 x171a +8 xf42 +7 xd95 +3 x158d +5 x10ea +7 xe14 +9 x1716 +8 xfa5 +8 xf93 +9 x90f +9 x1d62 +8 xff1 +9 x1479 +9 x1406 +8 xe23 +8 xf09 +7 xf7e +9 x230 +3 x1760 +9 x902 +9 x1437 +3 x1837 +5 x106c +5 x10bc +5 x1070 +5 x115a +8 x339 +5 x118a +5 x1186 +8 xff0 +5 x119a +216 x1da0 +8 xe91 +8 x1008 +8 xfba +3 x157b +9 x1219 +3 x1765 +8 xff6 +8 xdfb +3 x1777 +8 xe4c +5 x112e +3 x175b +3 x1759 +5 x1098 +9 x146f +8 xf2a +5 x1054 +5 x1144 +5 x10e2 +7 xf72 +5 x1184 +5 x105a +8 xea4 +9 x125c +9 x1404 +8 xe55 +5 x1182 +7 xe0e +5 x10c8 +9 x1087 +7 x33f +5 x10a2 +9 x148f +8 xf16 +5 x1034 +5 x1156 +7 xf6c +9 x1438 +5 x10c6 +9 x142d +9 x149b +9 x12b2 +8 x3c9 +3 x176c +8 xfb4 +7 xee8 +9 x146b +5 x102c +7 xd9b +9 x1709 +9 x3e4 +5 x10aa +216 x1d88 +9 x11d7 +5 x11d0 +5 x1082 +3 x1589 +5 x116c +9 x1705 +5 x1028 +3 x1573 +5 x10d6 +8 xefd +5 x10b2 +9 x1707 +9 x126b +3 x1599 +5 x109c +9 x568 +9 x11f6 +8 xf04 +8 xf69 +5 x1014 +3 x1561 +9 x1270 +5 x1072 +7 xe6d +8 xfff +9 xd71 +5 x11ba +8 xf33 +9 x1294 +8 xfc1 +9 x18dd +15 x178c +7 xee9 +8 xf19 +5 x1018 +7 xef1 +3 x1597 +9 x911 +3 x1585 +5 x1150 +3 x157d +7 xe7a +8 xfae +8 xde3 +3 x1772 +7 xedd +5 x117a +9 x11d6 +7 xdc5 +9 x5a5 +9 x48a +8 xf27 +8 x35d +8 xfc6 +9 x1459 +8 x327 +9 x16f5 +5 x1102 +9 x5d8 +8 xe82 +9 xd31 +9 x1475 +8 xffc +9 x1213 +7 xdc9 +9 x16f6 +3 x154f +9 x1441 +7 xf7b +3 x175e +7 x309 +5 x11bc +5 x110e +8 x35b +8 x318 +9 x1719 +8 xdf2 +8 xded +9 x1433 +5 x1064 +5 x1162 +9 x1455 +8 xe25 +5 x1038 +8 xfa0 +3 x1774 +5 x1040 +8 xfd6 +5 x1092 +8 xf43 +3 x1749 +216 xa7c +7 xf6d +59 xc7f +5 x1022 +9 x1915 +3 x1778 +7 xd92 +5 x1088 +3 x181f +9 xd6a +9 x1411 +9 x1423 +8 xfac +3 x1779 +8 xdf9 +9 x145c +5 x1136 +8 xe7d +9 x1718 +9 x11f8 +3 x1567 +8 xf8d +7 xf7f +8 xe8e +9 x11fa +9 x149f +7 xd98 +9 xd48 +8 xdef +3 x1776 +8 xfab +9 x145d +7 xd8c +5 x1130 +9 x1d64 +9 x8cc +9 x18d8 +9 xc8c +7 xeee +9 x18da +9 x141a +8 xf57 +8 xf12 +7 xda1 +8 xe86 +8 xe28 +9 x11e7 +9 x1416 +7 xe6b +13 x1d78 +8 xe3e +9 x590 +8 xea6 +8 xe5e +5 x1114 +9 x5e5 +9 xd6c +9 x1701 +8 xfe2 +5 x101a +3 x1773 +9 x1457 +9 x3f8 +8 xead +3 x1756 +9 x1242 +9 xd06 +3 x155f +5 x1106 +9 x144c +6 x16f1 +9 x145f +5 x1016 +8 xf5d +9 x2cf +8 x34b +5 x1148 +8 x349 +8 x1002 +5 x110a +8 x3c8 +8 xfaf +9 x7e0 +3 x1575 +5 x10ec +9 x170d +13 x1d68 +41 x72 +8 xe2e +9 x11ea +9 x7d3 +7 xe77 +3 x157f +8 xf5b +9 x1468 -3 x17f2 +5 x104a +8 xdf8 +9 x1442 +3 x1557 +5 x10ca +9 x148b +8 xe88 +8 xe40 +5 x101e +9 x1474 +8 xe1c +8 xed0 +9 x5a1 +8 xf22 +8 xec7 +9 x101d +9 x11e9 +8 x315 +5 x1124 +8 xe4a +8 x337 +7 x1d79 +3 x156f +8 xf4e +8 xfe1 +8 x338 +9 x5e8 +5 x11cc +9 x29a +8 xfa3 +3 x1755 +8 x32f +8 xeb5 +8 xe9a +5 x11b8 +9 x1232 +9 x1409 +8 x386 +9 x1d65 +8 xde4 +8 xfdb +3 x154b +8 x313 +9 x14a0 +8 xf00 +8 xdaa +5 x107c +8 xed1 +8 xed9 +9 x1d5a +8 x3a7 +8 xf96 +9 x135e +9 x59d +8 xfea +9 x5d0 +9 x5d3 +8 xf4b +41 x1c04 +8 xf46 +5 x114e +8 xf88 +5 x114a +34 x125 +9 xcd1 +9 x5ba +9 x1315 +7 xe10 +9 x10d9 +9 x5de +8 xe58 +9 x3f0 -3 x17f4 +9 x1421 +3 x1766 +8 xfd0 +8 xf9a +5 x10c2 +9 x593 +5 x1180 +7 xef2 +9 x149d +9 x1444 +5 x1120 +8 xdd5 +8 xf6a +8 xea3 +9 x442 +8 xde6 +8 xe5b +5 x1168 +8 xf5a +5 x10b6 +5 x1138 +9 x1d7f +9 x5fc +8 x33d +8 xda4 +7 xe6a +8 x350 +8 xff7 +9 x566 +9 x1480 +9 x12a0 +5 x1160 +9 x142a +9 x1473 +8 xed7 +8 x383 +8 xfe8 +9 x1424 +8 xdb9 +5 x11a8 +7 x39e +9 x18e7 +8 xe52 +5 x10d2 +8 x34f +9 x1483 +9 x1700 +8 xef8 +9 x7d9 +8 x3cb +9 x5b5 +8 x3aa +9 x14a1 +5 x10ba -6 x1539 +9 x16d0 +8 xf10 +3 x1744 +9 x58a +8 x100e +8 x32e +3 x1577 +8 xe1f +6 x16ef +x1 +5 x10e8 +8 xf90 +5 x1078 +8 xf1c +8 xf25 +7 xeeb +8 x38d +9 x11d4 +7 x343 +8 x355 +8 xdb1 +9 x55b +5 x106a +3 x844 +8 xf37 +9 x1448 +9 x11e4 +8 xdb4 +9 x58d +8 xe3d +9 x1470 +9 x1478 +8 x352 +9 x142c +9 x5bd +9 x1257 +8 xfe7 +7 xeef +7 x307 +9 xcff +8 xe9b +8 xff3 +8 xec1 +7 xdcc +9 x14a7 +13 x17aa +9 x10b1 +5 x1036 +9 x140d +5 x10da +9 x127a +9 x18fd +7 xe19 +41 xb92 -3 x17f6 +9 x14a4 +3 x1551 +9 x1904 +8 xf85 +3 x158b +5 x10ce +9 x1210 +3 x181d +7 xf78 +8 xfd5 +5 x1126 +8 x38f +8 xf8a +5 x108c +5 x107e +9 xd37 +8 xfbd +9 x145e +5 x113c +8 xe2b +8 xdd8 +7 xe07 +9 x462 +5 x104c +3 x174c +9 x12a6 +13 x1d58 +8 xf06 +7 xf75 +19 x8a7 +5 x10ae +9 x149e +8 xf1f +8 xff4 +8 x316 +5 x1060 +6 x7c7 +8 x3c1 +9 x1521 +9 x14a2 +8 xf91 +8 x31a +9 x1456 +9 x1488 +9 x1427 +9 x1702 +9 x11d5 +8 x302 +5 x11d2 +9 x2a6 +3 xc8e +8 xf4c +3 x1743 +8 xf54 +8 x31d +9 x1428 +9 x3d6 +9 x10e9 +9 x91d +8 x35a +8 xde9 +8 x371 +3 x819 +7 xd96 +8 xf34 +9 x1275 +9 x59e +9 x548 +3 x1847 +8 x1011 +9 x18b1 +9 x1429 +3 x1565 +3 x1750 +3 x1775 +5 x101c -6 x1537 +9 x1453 +5 x1024 +216 x1b97 +6 x7c8 +7 xd8d +9 x267 +9 x7d8 +5 x102a +8 x1012 +9 x142e +3 x177a +8 xdec +9 x7b4 +7 xe64 +9 x144e +5 x10cc +9 x173 +7 x39a +9 x14a6 +5 x1084 +9 x147b +8 xe47 +9 x1493 +8 x35e +8 xfa9 +8 xdb6 +9 x3df +5 x10a4 +7 xe68 +8 x32c +8 x305 +9 x5d5 +5 x10b4 +8 xe46 +9 x7e7 +8 xda5 +9 x101f +8 xf64 +9 xcd4 -6 x153d +9 x1d6b +5 x102e +8 xddd +8 xea1 +9 x1351 +8 xe80 +8 x3b0 +8 xf18 +9 x140e +9 x1476 +8 xffd +9 x5af +9 x7d6 +9 x18d3 +8 xf0a +9 x10e1 +7 x36a +8 xdab +9 x12b3 +9 x1714 +41 x1bff +9 x106d +3 x1833 +9 x1432 +5 x111e +9 x1703 +7 x30a +8 x359 +9 x2a7 +216 x1bb2 +5 x1094 +8 xf03 +9 x16f3 +8 xfc9 +5 x11ce +9 x1496 +7 x368 +8 xfb2 +8 xe59 +5 x1086 +5 x111c +216 x1d90 +5 x1020 +5 x10e4 +9 x1713 +7 x36c +5 x105e +9 x1901 +5 x10c0 +5 x1192 +8 xe5c +8 xfdf +5 x1026 +9 x18e3 +5 x1068 +8 xf01 +5 x10c4 +9 x559 +8 xed4 +9 x7e6 +3 x821 +9 x11e6 +9 x18f8 +3 x837 +5 x10f2 +5 x1188 +8 x3a4 +9 x1440 +7 xd90 +3 x1819 +9 x1261 +3 x1595 +9 x1715 +9 x42a +5 x107a +7 xd9f +3 x158f +7 xe1a +8 xfb5 +5 x10f4 +8 x3b1 +3 x1758 +3 x174f +13 x92c +9 x170c +3 x1764 +9 x1443 +9 x18dc +9 x484 +5 x10fe +5 x11c2 +8 xe38 +8 xecd +8 xeaa +8 x33e +5 x10f8 +7 xe0d +8 xe41 +7 x15f1 +7 xe04 +8 xfbe +8 xe97 +5 x109e +175 x123 +3 x175f +8 x379 +8 x361 +8 x393 -6 x1541 +9 xcb9 +7 x15ba +9 x1465 +9 x1914 +7 x321 +3 x159b +9 x5fe +5 x10de +8 xf49 +8 xe3b +7 x15f4 +9 x919 +8 xf51 +8 xe7c +9 x5d6 +8 xe56 +8 x390 +13 x1d80 +9 x140a +9 x1460 +9 x190a +8 xf52 +9 x148e +8 x311 +3 x174a +5 x10d8 +8 xfcd +41 xb8d +9 x1447 +9 x5ed +8 x3bf +3 x1581 +5 x1196 +9 x18e5 +8 xe8c +5 x11a4 +8 x366 +9 x130b +5 x110c +9 x496 +9 x599 +9 x1205 +8 xf48 +9 x190c +216 x1bad +8 xf28 +3 x826 +9 x7da +7 xe11 +9 x1509 +5 x10a0 +8 xe31 +3 x1761 +8 x100c +8 xf40 +3 x176a +3 x1768 +9 x2b6 +5 x115e +9 x148d +7 xe13 +8 xf9c +7 x2fc +9 x4e7 +5 x11aa +8 xf67 +9 x170e +3 x83f +41 x76 +7 x342 +5 x103a +8 x31c +5 x1100 +5 x10ee +9 x90b +9 x5e0 +5 x10dc +5 x1032 +8 xdde +5 x11c0 +8 xe43 +3 x154d +9 x1418 +8 xf3c +8 xffa +41 x69 +8 xea0 +9 x569 +9 x12ac +7 x15e2 +3 x1587 +9 x56d +9 x1425 +8 xfa8 +3 x843 +9 x16fb +9 xd4b +8 x3b6 +5 x109a +8 xf99 +7 x325 +9 x4bc +9 x7db +8 xe7f +8 xe94 +8 xe2f +8 xf5e +7 x15c2 +15 x85f +5 x11c6 +8 x387 +8 x377 +8 x362 +5 x1198 +5 x116a +9 x1426 +9 x879 +7 xee3 +9 x7e2 +9 x141b +7 xe16 +3 x1807 +117 xc86 +9 x1717 +5 x1134 +8 x3bc +7 x398 +3 x176e +15 x17ac +9 x1099 +5 x1154 +9 xcbc +7 xdc2 +9 x3fa +9 x141c +8 xef4 +9 x5da +216 x1da8 +5 x1170 +7 x31f +8 xe20 +9 x510 +8 x3ca +9 xd61 +7 xf73 +5 x10e6 +7 xdd1 +9 x584 +9 x5d2 +9 x145a +7 xedc +8 xf2b +9 x1462 +8 xe4f +5 x1030 +8 x34e +9 x16f4 +8 xeca Subject To \ Constant in Objective Function x1 = 1837 \ Constraints -x1da0 -x1d88 -xa7c +xb92 -x1bb2 -x1b97 -x1d90 -x1bad -x1da8 = 0 -x1da0 -x1d88 -xa7c -x1bb2 -x1d90 -x1b97 -x1bad -x1da8 +x76 = 0 -x1da0 -x1d88 -xa7c +x1c04 -x1d90 -x1b97 -x1bb2 -x1bad -x1da8 = 0 -x1da0 -x1d88 -xa7c -x1d90 -x1bb2 -x1b97 +xb8d -x1bad -x1da8 = 0 -x1da0 -x1d88 -xa7c -x1d90 -x1bb2 -x1b97 -x1bad -x1da8 +x69 = 0 -x1da0 -x1d88 -xa7c +x72 -x1d90 -x1b97 -x1bb2 -x1bad -x1da8 = 0 x1c00 -x1da0 -x1d88 -xa7c -x1bb2 -x1b97 -x1d90 -x1bad -x1da8 = 0 -x1da0 -x1d88 -xa7c -x1d90 +x1bff -x1b97 -x1bb2 -x1bad -x1da8 = 0 -x1bbb -x1bb7 -x1bba -x1bb8 -x1bbd -x1bbc -x1bb9 +xb92 -x1bbe = 0 -x1bc3 -x1bc6 -x1bc0 -x1bc4 -x1bc5 -x1bbf -x1bc1 -x1bc2 +x76 = 0 -x1bcb -x1bca -x1bce -x1bc8 -x1bcc -x1bc9 +x1c04 -x1bc7 -x1bcd = 0 -x1bd2 -x1bcf -x1bd1 -x1bd6 -x1bd4 -x1bd3 -x1bd5 -x1bd0 +xb8d = 0 -x1bdd -x1bdb -x1bda -x1bdc -x1bd8 -x1bd7 -x1bd9 +x69 -x1bde = 0 -x1be4 -x1be0 +x72 -x1be3 -x1be6 -x1bdf -x1be5 -x1be1 -x1be2 = 0 -x1bec -x1bee -x1bea +x1c00 -x1be9 -x1be7 -x1beb -x1be8 -x1bed = 0 -x1bf6 -x1bf3 -x1bf2 -x1bf1 -x1bf4 +x1bff -x1bef -x1bf0 -x1bf5 = 0 -x1da0 -x1d88 -xa7c +x78 -x1d90 -x1b97 -x1bb2 -x1bad -x1da8 = 0 -x1c0c -x1c0a -x1c0d -x1c08 -x1c0b -x1c07 -x1c0e +x78 -x1c09 = 0 x178c -x16f1 -x16ef +x1539 -x7c7 +x153d -x7c8 +x1537 +x1541 = 32 -x16f8 -x16f9 -x16f5 -x16f6 -x7d3 -x7d6 -x16f3 +x85f -x16f4 = 0 -x1701 -x7d9 -x1700 -x1702 -x7d8 -x7da -x16fb -x7db +x17ac = 0 -x1708 -x1705 -x1709 -x1707 -x7e0 +x8a7 -x1703 -x7e6 -x7e2 = 0 -x1712 -x170f +x8af -x170d -x16d0 -x7b4 -x7e7 -x170c -x170e = 0 x8b7 -x171a -x1716 -x1719 -x1718 -x1714 -x1713 -x1715 -x1717 = 0 -x1c14 -x1c15 -x1c16 -x1c10 -x1c12 -x1c17 -x1c11 -x1c13 = -8 -x1c1a -x1c1d +x178c -x1c1f -x1c1e -x1c1b -x1c18 -x1c19 -x1c1c = 0 -x1c27 -x1c21 -x1c22 -x1c26 -x1c24 -x1c23 -x1c20 +x85f -x1c25 = 0 -x1c28 -x1c2e -x1c2a -x1c2c -x1c2d -x1c29 -x1c2b +x17ac -x1c2f = 0 -x1c37 -x1c33 -x1c35 -x1c31 -x1c30 -x1c36 -x1c32 +x8a7 -x1c34 = 0 -x1c3a -x1c3c +x8af -x1c3f -x1c39 -x1c3e -x1c38 -x1c3b -x1c3d = 0 x8b7 -x1c47 -x1c45 -x1c46 -x1c42 -x1c43 -x1c44 -x1c40 -x1c41 = 0 -x1da0 -x1d88 -xa7c -x1d90 +x122 -x1b97 -x1bb2 -x1bad -x1da8 = 0 -x1c58 -x1c5f -x1c5a -x1c5e +xc8c -x1c5c -x1c5b -x1c59 -x1c5d = 0 -xc7f +x122 -x123 = 0 -xc82 +xc7f -x125 = 0 -xc84 +x125 -xc86 = 0 -xc84 -xc82 +xc8e = 0 xc8c -xc8e -x123 -xc86 = 0 -x3cf -x1014 +x1c62 +xd75 = 8 -x1016 -x11d4 +xd76 -xd77 = 0 x1c64 +xd7b -x1018 -x11d5 = 8 -x101a -x11d6 +x1c65 -xd7d = 0 xd81 -x11d7 -x101c +xd7f = 8 xd84 -x101d -x101e +x1c67 = 8 xd87 -x101f +xd85 -x1020 = 8 -x1022 +x1c69 -x3d6 +x2f6 = 8 -xd8c -x12b3 +xd8b -x1024 = 0 -xd8f -x1404 +xd8e -x1026 = 0 -x1028 -xd92 +xd91 -x559 = 0 -x1406 -xd95 +xd94 -x102a = 0 -x102c -xd98 -x55b +x1c6e = 0 -x1408 -xd9b -x102e +x1c6f = 0 -xd9e +x1c70 -x1409 -x1030 = 0 x1c71 -xda1 -x140a -x1032 = 0 -x1034 -xda4 +x1c72 -x3df = 0 -xda7 -x11e4 -x1036 +x1c73 = 0 -x11e5 -x1038 -xdaa +x1c74 = 0 -xdad +xdac -x11e6 -x103a = 0 -xdb0 -x103c -x11e7 +xdaf = 0 -xdb3 -x103e -x3e4 +x1c77 = 0 -x1040 +x1c78 -x11e9 -xdb6 = 0 -x1042 -x11ea -xdb9 +xdb8 = 0 -xdbc -x1044 -x140b +x1c7a = 0 -xdbf -x1046 -x140c +x1c7b = 0 -x1048 +x1c7c -x140d -xdc2 = 0 x1c7d -x104a -xdc5 -x140e = 0 -xdc8 -x104c -xcb9 +xdc7 = 0 -xdcb -x104e +x1c7f -x4bc = 0 -x1050 -xdce +xdcd -x1411 = 0 -x1052 +xdd0 -x566 -xdd1 = 0 -xdd4 -x230 -x1054 +x1c82 = 0 -xdd7 -x1056 -x3f0 +xdd6 = 0 -x1058 -xdda +xdd9 -x568 = 0 -x11f6 -x105a +xddc -xddd = 0 -xde0 -x105c +xddf -x569 = 0 x1c87 -x11f8 -xde3 -x105e = 0 -x1416 -xde6 -x1060 +x1c88 = 0 -x1062 -x11fa +xde8 -xde9 = 0 -x1064 +xdeb -xdec -xcbc = 0 -x1066 -x3f8 -xdef +xdee = 0 -xdf2 +xdf1 -x1068 -x1418 = 0 x1c8d -xdf5 -x106a -x3fa = 0 -x106c -xdf8 +x1c8e -x56d = 0 -x106e -xdfb +xdfa -x106d = 0 -xdfe -x1070 +x1c90 -x141a = 0 -x1202 -xe01 -x1072 +xe00 = 0 -x1074 +x1c92 -x141b -xe04 = 0 -x1076 +xe06 -xe07 -x141c = 0 -xe0a +x1c94 -x1078 -x1205 = 0 x1c95 -x173 -xe0d -x107a = 0 x1c96 -x107c -xe10 -xcd4 = 0 x1c97 -xcd1 -x107e -xe13 = 0 -x1080 +xe15 -x1421 -xe16 = 0 -x1422 -x1082 -xe19 +x1c99 = 0 -x1423 +xe1b -xe1c -x1084 = 0 -xe1f -x1424 +xe1e -x1086 = 0 -xe22 -x1087 -x1088 +x1c9c = 0 -x108a -xe25 +x1c9d -x1425 = 0 -xe28 +xe27 -x108c -x1426 = 0 -x108e +x1c9f -xe2b -x1210 = 0 -x1090 +x1ca0 -xe2e -x1427 = 0 x1ca1 -x1092 -x1428 -xe31 = 0 -xe34 -x1213 -x1094 +xe33 = 0 -x1096 -xe37 +xe36 -x1429 = 0 -xe3a -x1098 +x1ca4 -x142a = 0 x1ca5 -xe3d -x1099 -x109a = 0 -x142b -x109c -xe40 +xe3f = 0 x1ca7 -x142c -xe43 -x109e = 0 -x1219 -xe46 +x1ca8 -x10a0 = 0 -xe49 -x142d -x10a2 +xe48 = 0 -xe4c +x1caa -x142e -x10a4 = 0 -x121c -x10a6 +xe4e -xe4f = 0 -x10a8 -xe52 +x1cac -x130b = 0 -xe55 -x10aa -x584 +xe54 = 0 -x121f -x10ac +x1cae -xe58 = 0 -x1431 -xe5b -x10ae +x1caf = 0 -x10b0 +x1cb0 -xe5e -x1432 = 0 -xe61 -x10b2 -x10b1 +xe60 = 0 -x1433 +x1cb2 -xe64 -x10b4 = 0 -xe67 +x1cb3 -x1315 -x10b6 = 0 -x10b8 -xe6a +x1cb4 -xcff = 0 -xe6d -x58a +xe6c -x10ba = 0 -x1437 -xe70 -x10bc +x1cb6 = 0 -x10be -xe73 -x1438 +xe72 = 0 -xe76 +xe75 -x58d -x10c0 = 0 -xe79 +x1cb9 -x10c2 -x267 = 0 -x4e7 +x1cba -x10c4 -xe7c = 0 x1cbb -x10c6 -x590 -xe7f = 0 -x143d +x1cbc -x10c8 -xe82 = 0 -xe85 +xe84 -x10ca -x42a = 0 -x143e +xe87 -xe88 -x10cc = 0 -xe8b +xe8a -x593 -x10ce = 0 -x10d0 -xe8e +xe8d -x1440 = 0 -xe91 -x1232 -x10d2 +x1cc1 = 0 -x10d4 +x1cc2 -x1441 -xe94 = 0 -x10d6 -x1442 +x1cc3 -xe97 = 0 xe99 -xe9a -x1443 -x10d8 = 0 -xe9d -x10d9 -x10da +xe9c = 0 -x1444 +x1cc6 -xea0 -x10dc = 0 x1cc7 -xea3 -x599 -x10de = 0 -x10e0 -x1446 -xea6 +x1cc8 = 0 -xea9 -x10e2 -x10e1 +x1cc9 = 0 x1cca -xeac -x10e4 -x1447 = 0 -xeaf +xeae -x1448 -x10e6 = 0 -xeb2 -x59d +x1ccc -x10e8 = 0 -x10ea +xeb4 -xeb5 -x10e9 = 0 -xeb8 -x10ec +xeb7 -x59e = 0 -x144b -xebb +xeba -x10ee = 0 -x10f0 -xebe -x144c +x1cd0 = 0 x1cd1 -x1242 -xec1 -x10f2 = 0 -xec4 +x1cd2 -x5a1 -x10f4 = 0 -x10f6 +x1cd3 -xec7 -x144e = 0 -xd06 +x1cd4 -x10f8 -xeca = 0 -x10fa -x442 -xecd +x1cd5 = 0 -x10fc -x1450 -xed0 +xecf = 0 -xed3 +xed2 -x5a5 -x10fe = 0 -xed6 +xed5 -x1351 -x1100 = 0 x1cd9 -x124a -x1102 -xed9 = 0 -x1104 +xedb -x1453 -xedc = 0 -xedf -x1106 -xd31 +x1cdb = 0 -x1108 -xee2 +x1cdc -x1455 = 0 -xee5 -x110a +x1cdd -x1456 = 0 -xee8 -x1457 +x1cde -x110c = 0 xeea -x110e -x135e -xeeb = 0 -x1110 +x1ce0 -x1459 -xeee = 0 -x1112 -xef1 +x1ce1 -x145a = 0 x1ce2 -x1114 -x5af -xef4 = 0 -xef7 +x1ce3 -x1116 -x145c = 0 -x1118 -xefa -x145d +xef9 = 0 -x111a -xefd -x145e +x1ce5 = 0 x1ce6 -xf00 -x1257 -x111c = 0 -x145f -xf03 +x1ce7 -x111e = 0 -x1120 -xf06 +x1ce8 -x1460 = 0 -xf09 -x1122 +x1ce9 -x5b5 = 0 -xf0c -x1124 +xf0b -x1462 = 0 -xf0f -x125c -x1126 +x1ceb = 0 -x1128 -xf12 -x29a +xf11 = 0 -xf15 -x112a +xf14 -x510 = 0 -x112c +x1cee -xf18 -x1465 = 0 -xf1b +x1cef -x112e -x5ba = 0 -xf1e +x1cf0 -x1130 -x1261 = 0 -xf21 -x1132 -x1467 +x1cf1 = 0 -xf24 -x1468 +xf23 -x1134 = 0 -x1136 -xf27 -x5bd +xf26 = 0 -x146a -xf2a +x1cf4 -x1138 = 0 -xf2d -x113a +xf2c -x462 = 0 -xf30 -x146b -x113c +xf2f = 0 -x146c -x113e -xf33 +x1cf7 = 0 -x1140 -xf36 -x2a6 +x1cf8 = 0 -x1142 -xf39 -x2a7 +x1cf9 = 0 -x126b -x1144 +x1cfa -xf3c = 0 -xf3f -x1146 -x146f +xf3e = 0 -xf42 -x1148 -x1470 +x1cfc = 0 -xf45 -x5c5 +xf44 -x114a = 0 -x114c -x1472 +x1cfe -xf48 = 0 -x1270 -xf4b -x114e +xf4a = 0 -x1150 +x1d00 -x1473 -xf4e = 0 -x1152 -x1474 +x1d01 -xf51 = 0 -x1475 -xf54 +x1d02 -x1154 = 0 -x1156 -xf57 +xf56 -x1476 = 0 -x1158 +x1d04 -xf5a -x1275 = 0 -x115a +xf5c -xf5d -xd37 = 0 -xf60 -x115c +x1d06 -x1478 = 0 -xf63 -x1479 +x1d07 -x115e = 0 -xf66 -x1160 +x1d08 -x2b6 = 0 -xf69 -x1162 -x127a +x1d09 = 0 -x1164 -xf6c -x147b +x1d0a = 0 -x1166 -xf6f -x5d0 +xf6e = 0 -xf72 -x1168 +x1d0c -xd61 = 0 x1d0d -xf75 -x5d2 -x116a = 0 -x116c +xf77 -x5d3 -xf78 = 0 -x116e +x1d0f -xf7b -x1480 = 0 -xf7e +x1d10 -x5d5 -x1170 = 0 -x1172 -xf81 +x1d11 -x5d6 = 0 -xf84 -x1174 -x1483 +xf83 = 0 -xf87 +x1d13 -x1176 -x5d8 = 0 -x1485 -x1178 -xf8a +xf89 = 0 x1d15 -xf8d -x117a -x5da = 0 -x117c -xd48 +x1d16 -xf90 = 0 -xf93 -x117e -x484 +x1d17 = 0 x1d18 -x1180 -xf96 -x1488 = 0 x1d19 -x1182 -xd4b -xf99 = 0 -x1184 -x5de +x1d1a -xf9c = 0 -xf9f -x1186 +x1d1b -x148b = 0 x1d1c -xfa2 -x1188 -x5e0 = 0 -xfa5 -x118a -x48a +xfa4 = 0 -x118c +xfa7 -x148d -xfa8 = 0 x1d1f -x118e -xfab -x148e = 0 -x1190 -xfae -x148f +xfad = 0 -xfb1 +x1d21 -x2cf -x1192 = 0 -x1194 -xfb4 -x5e5 +x1d22 = 0 -xfb7 -x1294 +x1d23 -x1196 = 0 -x1492 -xfba +xfb9 -x1198 = 0 -x119a -xfbd +xfbc -x1493 = 0 -x119c -xfc0 -x5e8 +xfbf = 0 -x119e -xfc3 -x1495 +xfc2 = 0 -x11a0 -xfc6 -x1496 +x1d28 = 0 x1d29 -x11a2 -xfc9 -x496 = 0 -x1497 -xfcc +xfcb -x11a4 = 0 -x11a6 -x1498 -xfcf +xfce = 0 -xfd2 +x1d2c -x11a8 -x5ed = 0 -x149a +x1d2d -xfd5 -x11aa = 0 -x11ac -xfd8 -x149b +x1d2e = 0 -x11ae +x1d2f -xfdb -x12a0 = 0 -x11b0 -xfde -x548 +x1d30 = 0 -x11b2 -xfe1 -x149d +x1d31 = 0 -x11b4 -xfe4 -x149e +x1d32 = 0 -x11b6 -x149f -xfe7 +xfe6 = 0 x1d34 -xfea -x14a0 -x11b8 = 0 -xfed -x11ba -x12a6 +x1d35 = 0 -xff0 +x1d36 -x11bc -x14a1 = 0 -x11be -x14a2 -xff3 +x1d37 = 0 -xff6 -xd6a +x1d38 -x11c0 = 0 -xff9 +x1d39 -x14a4 -x11c2 = 0 -x11c4 -xd6c -xffc +xffb = 0 -xfff -x11c6 +x1d3b -x12ac = 0 -x11c8 -x1002 -x14a6 +x1001 = 0 -x11ca -x1005 +x1d3d -x14a7 = 0 -x1008 -x11cc -x5fc +x1d3e = 0 -x100b -xd71 +x1d3f -x11ce = 0 -x11d0 -x100e +x1d40 -x5fe = 0 -x12b2 +x1010 -x11d2 -x1011 = 0 -xd75 >= -8 -xd77 >= -8 -xd7b >= -8 -xd7d >= -8 -xd81 >= -8 -xd84 >= -8 -xd87 >= -8 -x2f6 >= -8 x178c -xd8c -xd8d = 0 -xd8f +x18d3 -xd90 = 0 -xd93 -xd92 +x8cc = 0 -xd95 +x18d8 -xd96 = 0 -x2fb +x18da -xd98 = 0 -xd9b +x18dc -x2fc = 0 -xd9e +x18dd -xd9f = 0 -xda2 -xda1 +x1d58 = 0 -xda4 -xda5 +x140a = 0 -xda8 -xda7 +x1409 = 0 x1408 -xdaa -xdab = 0 -xdad +x55b -x302 = 0 -xdb0 +x1406 -xdb1 = 0 -xdb3 -xdb4 +x559 = 0 x1404 -x305 -xdb6 = 0 -xdba -xdb9 +x12b3 = 0 -xdbc -x307 +x85f = 0 -xdc0 -xdbf +x1d5a = 0 x902 -x309 -xdc2 = 0 -xdc5 -x30a +x18e3 = 0 -xdc8 -xdc9 +x18e5 = 0 -xdcb +x18e7 -xdcc = 0 -xdce -xdcf +x1509 = 0 -x30e +x17aa -xdd1 = 0 -xdd4 +x566 -xdd5 = 0 -xdd7 +x230 -xdd8 = 0 -xdda +x1411 -x311 = 0 x568 -xddd -xdde = 0 -xde0 -x313 +x4bc = 0 -xde3 -xde4 +x569 = 0 -x315 -xde6 +xcb9 = 0 x1416 -x316 -xde9 = 0 -xded +x140e -xdec = 0 -x318 -xdef +xcbc = 0 -xdf3 -xdf2 +x140d = 0 -xdf5 -x31a +x1418 = 0 x140c -xdf9 -xdf8 = 0 -xdfb -x31c +x56d = 0 -xdfe +x140b -x31d = 0 -xe01 -xe02 +x141a = 0 x17ac -x31f -xe04 = 0 -xe08 +x1d62 -xe07 = 0 -xe0a +x1d63 -x321 = 0 -xe0e +x1d64 -xe0d = 0 x1d65 -xe10 -xe11 = 0 -xe14 +x90b -xe13 = 0 x1d67 -x325 -xe16 = 0 x1d68 -xe19 -xe1a = 0 x1422 -x327 -xe1c = 0 x1423 -xe1f -xe20 = 0 -xe22 -xe23 +x1424 = 0 -xe26 -xe25 +x1421 = 0 -xe29 -xe28 +x1425 = 0 -xe2b -x32c +x1426 = 0 -xe2e +xcd1 -xe2f = 0 -x32e +x1427 -xe31 = 0 -xe34 -x32f +x1428 = 0 -xe37 +xcd4 -xe38 = 0 -xe3a +x1429 -xe3b = 0 -xe3e +x142a -xe3d = 0 -xe40 +x173 -xe41 = 0 -x334 +x142b -xe43 = 0 x142c -xe46 -xe47 = 0 -xe49 -xe4a +x1205 = 0 x142d -xe4c -x337 = 0 -x338 +x142e -xe4f = 0 -x339 -xe52 +x141c = 0 -xe55 +x130b -xe56 = 0 -xe58 -xe59 +x584 = 0 -xe5b -xe5c +x141b = 0 x1431 -xe5e -x33d = 0 -xe61 -x33e +x1432 = 0 -x33f +x8a7 -xe64 = 0 -xe67 +x18f8 -xe68 = 0 -xe6b -xe6a +x1d6b = 0 x90f -xe6d -x342 = 0 -xe70 -x343 +x18fd = 0 -xe73 -xe74 +x911 = 0 -xe76 -xe77 +x1901 = 0 -xe79 -xe7a +x92c = 0 -xe7d +x267 -xe7c = 0 -xe80 +x4e7 -xe7f = 0 -xe82 -x349 +x590 = 0 x143d -xe85 -xe86 = 0 -x34b -xe88 +x58d = 0 x143e -xe8b -xe8c = 0 -xe8f -xe8e +x593 = 0 -xe91 +x1440 -x34e = 0 x1438 -x34f -xe94 = 0 x1441 -x350 -xe97 = 0 x1442 -xe9a -xe9b = 0 -xe9d -x352 +x1443 = 0 x1437 -xea1 -xea0 = 0 -xea4 +x1444 -xea3 = 0 -xea6 -x355 +x599 = 0 -xea9 +x1446 -xeaa = 0 -xeac -xead +x58a = 0 -xeaf -x358 +x1447 = 0 -xeb2 +x1448 -x359 = 0 x59d -xeb5 -x35a = 0 -xeb8 -x35b +xcff = 0 -xebb -xebc +x59e = 0 x144b -xebe -x35d = 0 x144c -xec1 -x35e = 0 -xec4 -xec5 +x1315 = 0 -xec8 -xec7 +x5a1 = 0 x144e -x361 -xeca = 0 xd06 -xecd -x362 = 0 x1433 -xed0 -xed1 = 0 x1450 -xed3 -xed4 = 0 -xed6 +x5a5 -xed7 = 0 -xed9 +x1351 -x366 = 0 x8af -xedd -xedc = 0 -xedf +x1904 -x368 = 0 -xee2 +x879 -xee3 = 0 x1d74 -xee5 -x36a = 0 -xee8 -xee9 +x190a = 0 -xeeb -x36c +x190c = 0 -xeee +x1521 -xeef = 0 -xef1 +x1d78 -xef2 = 0 -xef5 +x145a -xef4 = 0 -xef7 -xef8 +x5af = 0 -xefa +x145c -x371 = 0 -x372 -xefd +x145d = 0 -xf00 +x145e -xf01 = 0 -xf04 +x1459 -xf03 = 0 -x375 +x145f -xf06 = 0 -xf09 -xf0a +x1460 = 0 -xf0c +x5b5 -x377 = 0 -xf0f -xf10 +x1462 = 0 -xf12 +x135e -x379 = 0 -xf15 -xf16 +x29a = 0 -xf19 -xf18 +x510 = 0 -xf1b -xf1c +x1465 = 0 -xf1e +x5ba -xf1f = 0 -xf21 -xf22 +x1457 = 0 x1467 -xf24 -xf25 = 0 -xf27 +x1468 -xf28 = 0 -xf2a +x5bd -xf2b = 0 -xf2d -x382 +x146a = 0 -xf30 -x383 +x1456 = 0 x146b -xf33 -xf34 = 0 -xf36 +x146c -xf37 = 0 -xf39 -x386 +x2a6 = 0 x2a7 -x387 -xf3c = 0 -xf3f +x1455 -xf40 = 0 -xf42 +x146f -xf43 = 0 -xf45 -xf46 +x1470 = 0 x5c5 -xf48 -xf49 = 0 x1472 -xf4b -xf4c = 0 xd31 -xf4e -x38d = 0 x1473 -xf51 -xf52 = 0 x1474 -x38f -xf54 = 0 x1475 -xf57 -x390 = 0 -xf5b -xf5a +x1476 = 0 -xf5d +x1453 -xf5e = 0 -xf60 +xd37 -x393 = 0 -xf63 +x1478 -xf64 = 0 -xf66 +x1479 -xf67 = 0 -xf69 -xf6a +x2b6 = 0 x8b7 -xf6c -xf6d = 0 -xf6f -x398 +x919 = 0 -xf72 +x18b1 -xf73 = 0 -xf75 -x39a +x1914 = 0 -x39b +x1915 -xf78 = 0 -xf7c -xf7b +x91d = 0 -xf7e -xf7f +x1d7f = 0 -xf81 -x39e +x1d80 = 0 -xf84 -xf85 +x5d6 = 0 -xf87 +x1483 -xf88 = 0 -x3a1 +x5d8 -xf8a = 0 -xf8e +x1485 -xf8d = 0 -xf90 -xf91 +x5da = 0 -xf93 +xd48 -x3a4 = 0 -xf97 -xf96 +x5d5 = 0 -xf9a +x1488 -xf99 = 0 -x3a7 +xd4b -xf9c = 0 -xf9f -xfa0 +x5de = 0 -xfa2 +x148b -xfa3 = 0 -xfa5 -x3aa +x5e0 = 0 x1480 -xfa9 -xfa8 = 0 -xfab -xfac +x148d = 0 -xfae -xfaf +x148e = 0 -xfb1 +x148f -xfb2 = 0 -xfb4 +x2cf -xfb5 = 0 -xfb7 +x5e5 -x3b0 = 0 -xfba +x5d3 -x3b1 = 0 x1492 -xfbd -xfbe = 0 -xfc0 -xfc1 +x1493 = 0 -xfc3 -xfc4 +x5e8 = 0 -xfc7 +x1495 -xfc6 = 0 x1496 -xfc9 -x3b6 = 0 -xfcc +x5d2 -xfcd = 0 x1497 -xfcf -xfd0 = 0 x1498 -xfd2 -xfd3 = 0 -xfd6 -xfd5 +x5ed = 0 -xfd8 -xfd9 +x149a = 0 x149b -xfdb -x3bc = 0 -xfde -xfdf +xd61 = 0 -xfe2 -xfe1 +x548 = 0 -xfe4 +x149d -x3bf = 0 -xfe8 +x149e -xfe7 = 0 x149f -xfea -x3c1 = 0 -xfee -xfed +x14a0 = 0 -xff0 -xff1 +x5d0 = 0 x14a1 -xff3 -xff4 = 0 -xff6 -xff7 +x14a2 = 0 -xff9 +xd6a -xffa = 0 -xffc +x14a4 -xffd = 0 -xfff +xd6c -x3c8 = 0 -x3c9 -x1002 +x147b = 0 -x1005 +x14a6 -x3ca = 0 -x1008 -x3cb +x14a7 = 0 -x100b +x5fc -x100c = 0 -x100f +xd71 -x100e = 0 -x1011 -x1012 +x5fe = 0 -x3cf -x1014 +xd75 = 0 -x1016 -x11d4 -xd77 = -8 xd7b -x1018 -x11d5 = 0 -x11d6 -x101a -xd7d = -8 -x11d7 +xd81 -x101c = 0 -x101e +xd84 -x101d = 0 xd87 -x101f -x1020 = 0 -x1022 -x3d6 +x2f6 = 0 -x12b3 +xd8d -x1024 = 0 -x1404 -x1026 +xd90 = 0 xd93 -x1028 -x559 = 0 -x1406 +xd96 -x102a = 0 x2fb -x102c -x55b = 0 -x1408 -x102e +x2fc = 0 -x1409 +xd9f -x1030 = 0 xda2 -x140a -x1032 = 0 -x1034 -x3df +xda5 = 0 xda8 -x11e4 -x1036 = 0 -x11e5 -x1038 +xdab = 0 x302 -x11e6 -x103a = 0 -x103c -x11e7 +xdb1 = 0 -x103e -x3e4 +xdb4 = 0 -x1040 -x11e9 +x305 = 0 -x1042 +xdba -x11ea = 0 -x140b -x1044 +x307 = 0 -x1046 +xdc0 -x140c = 0 -x1048 +x309 -x140d = 0 -x104a -x140e +x30a = 0 xdc9 -x104c -xcb9 = 0 -x104e +xdcc -x4bc = 0 -x1050 +xdcf -x1411 = 0 x30e -x1052 -x566 = 0 -x1054 -x230 +xdd5 = 0 -x1056 -x3f0 +xdd8 = 0 -x1058 -x568 +x311 = 0 -x105a -x11f6 +xdde = 0 -x105c +x313 -x569 = 0 -x11f8 +xde4 -x105e = 0 -x1416 +x315 -x1060 = 0 -x1062 -x11fa +x316 = 0 -x1064 +xded -xcbc = 0 -x1066 +x318 -x3f8 = 0 xdf3 -x1068 -x1418 = 0 -x106a +x31a -x3fa = 0 -x106c +xdf9 -x56d = 0 -x106e -x106d +x31c = 0 -x1070 -x141a +x31d = 0 -x1202 +xe02 -x1072 = 0 -x1074 +x31f -x141b = 0 -x1076 +xe08 -x141c = 0 -x1078 -x1205 +x321 = 0 xe0e -x107a -x173 = 0 -x107c -xcd4 +xe11 = 0 xe14 -xcd1 -x107e = 0 -x1080 -x1421 +x325 = 0 -x1422 -x1082 +xe1a = 0 x327 -x1423 -x1084 = 0 -x1424 -x1086 +xe20 = 0 xe23 -x1087 -x1088 = 0 -x108a +xe26 -x1425 = 0 xe29 -x108c -x1426 = 0 -x108e -x1210 +x32c = 0 -x1090 -x1427 +xe2f = 0 -x1092 +x32e -x1428 = 0 -x1213 +x32f -x1094 = 0 -x1096 -x1429 +xe38 = 0 -x1098 -x142a +xe3b = 0 xe3e -x1099 -x109a = 0 -x142b -x109c +xe41 = 0 x334 -x142c -x109e = 0 -x1219 +xe47 -x10a0 = 0 -x142d -x10a2 +xe4a = 0 x337 -x10a4 -x142e = 0 -x121c -x10a6 +x338 = 0 -x10a8 +x339 -x130b = 0 -x10aa -x584 +xe56 = 0 -x10ac -x121f +xe59 = 0 -x1431 -x10ae +xe5c = 0 -x10b0 +x33d -x1432 = 0 -x10b2 -x10b1 +x33e = 0 x33f -x1433 -x10b4 = 0 -x1315 -x10b6 +xe68 = 0 -x10b8 +xe6b -xcff = 0 -x58a -x10ba +x342 = 0 -x1437 -x10bc +x343 = 0 -x10be +xe74 -x1438 = 0 xe77 -x58d -x10c0 = 0 xe7a -x10c2 -x267 = 0 xe7d -x10c4 -x4e7 = 0 -x10c6 -x590 +xe80 = 0 -x143d -x10c8 +x349 = 0 xe86 -x10ca -x42a = 0 -x143e +x34b -x10cc = 0 -x593 -x10ce +xe8c = 0 -x10d0 +xe8f -x1440 = 0 -x1232 -x10d2 +x34e = 0 -x10d4 -x1441 +x34f = 0 -x10d6 -x1442 +x350 = 0 xe9b -x1443 -x10d8 = 0 -x10d9 +x352 -x10da = 0 -x1444 +xea1 -x10dc = 0 xea4 -x599 -x10de = 0 -x10e0 -x1446 +x355 = 0 -x10e2 +xeaa -x10e1 = 0 xead -x10e4 -x1447 = 0 x358 -x1448 -x10e6 = 0 -x59d -x10e8 +x359 = 0 -x10ea +x35a -x10e9 = 0 x35b -x10ec -x59e = 0 -x144b +xebc -x10ee = 0 -x10f0 +x35d -x144c = 0 -x1242 +x35e -x10f2 = 0 xec5 -x5a1 -x10f4 = 0 xec8 -x10f6 -x144e = 0 -xd06 -x10f8 +x361 = 0 -x10fa -x442 +x362 = 0 -x1450 -x10fc +xed1 = 0 -x5a5 +xed4 -x10fe = 0 xed7 -x1351 -x1100 = 0 -x124a -x1102 +x366 = 0 -x1104 +xedd -x1453 = 0 -xd31 -x1106 +x368 = 0 -x1108 -x1455 +xee3 = 0 -x110a -x1456 +x36a = 0 xee9 -x1457 -x110c = 0 -x110e -x135e +x36c = 0 -x1110 -x1459 +xeef = 0 -x1112 +xef2 -x145a = 0 xef5 -x1114 -x5af = 0 -x1116 -x145c +xef8 = 0 -x1118 -x145d +x371 = 0 x372 -x111a -x145e = 0 -x1257 +xf01 -x111c = 0 xf04 -x145f -x111e = 0 x375 -x1120 -x1460 = 0 -x1122 -x5b5 +xf0a = 0 -x1124 -x1462 +x377 = 0 -x125c +xf10 -x1126 = 0 -x1128 -x29a +x379 = 0 -x112a +xf16 -x510 = 0 -x112c +xf19 -x1465 = 0 -x112e -x5ba +xf1c = 0 -x1130 +xf1f -x1261 = 0 -x1132 -x1467 +xf22 = 0 -x1468 +xf25 -x1134 = 0 -x1136 -x5bd +xf28 = 0 -x146a -x1138 +xf2b = 0 -x113a +x382 -x462 = 0 -x146b +x383 -x113c = 0 -x146c -x113e +xf34 = 0 -x1140 +xf37 -x2a6 = 0 -x1142 +x386 -x2a7 = 0 -x1144 -x126b +x387 = 0 -x1146 -x146f +xf40 = 0 xf43 -x1148 -x1470 = 0 -x5c5 +xf46 -x114a = 0 -x114c -x1472 +xf49 = 0 -x1270 -x114e +xf4c = 0 -x1150 -x1473 +x38d = 0 -x1152 -x1474 +xf52 = 0 -x1475 +x38f -x1154 = 0 -x1156 -x1476 +x390 = 0 -x1158 +xf5b -x1275 = 0 -x115a -xd37 +xf5e = 0 -x115c -x1478 +x393 = 0 -x1479 +xf64 -x115e = 0 -x1160 +xf67 -x2b6 = 0 -x1162 +xf6a -x127a = 0 -x1164 +xf6d -x147b = 0 -x1166 -x5d0 +x398 = 0 -x1168 +xf73 -xd61 = 0 x39a -x5d2 -x116a = 0 x39b -x116c -x5d3 = 0 -x116e +xf7c -x1480 = 0 xf7f -x5d5 -x1170 = 0 -x1172 +x39e -x5d6 = 0 -x1174 -x1483 +xf85 = 0 -x1176 -x5d8 +xf88 = 0 -x1485 +x3a1 -x1178 = 0 xf8e -x117a -x5da = 0 -x117c -xd48 +xf91 = 0 -x117e -x484 +x3a4 = 0 xf97 -x1180 -x1488 = 0 -x1182 +xf9a -xd4b = 0 -x1184 -x5de +x3a7 = 0 -x1186 +xfa0 -x148b = 0 xfa3 -x1188 -x5e0 = 0 -x118a -x48a +x3aa = 0 -x118c +xfa9 -x148d = 0 -x118e +xfac -x148e = 0 -x1190 -x148f +xfaf = 0 -x2cf +xfb2 -x1192 = 0 -x1194 -x5e5 +xfb5 = 0 -x1294 +x3b0 -x1196 = 0 -x1492 +x3b1 -x1198 = 0 -x119a -x1493 +xfbe = 0 -x119c +xfc1 -x5e8 = 0 -x119e +xfc4 -x1495 = 0 xfc7 -x11a0 -x1496 = 0 -x11a2 -x496 +x3b6 = 0 -x1497 +xfcd -x11a4 = 0 -x1498 -x11a6 +xfd0 = 0 xfd3 -x11a8 -x5ed = 0 -x149a +xfd6 -x11aa = 0 -x11ac +xfd9 -x149b = 0 -x11ae -x12a0 +x3bc = 0 -x11b0 -x548 +xfdf = 0 -x11b2 +xfe2 -x149d = 0 -x11b4 -x149e +x3bf = 0 -x11b6 -x149f +xfe8 = 0 -x11b8 -x14a0 +x3c1 = 0 xfee -x11ba -x12a6 = 0 xff1 -x11bc -x14a1 = 0 -x11be -x14a2 +xff4 = 0 -xd6a +xff7 -x11c0 = 0 -x14a4 -x11c2 +xffa = 0 -x11c4 -xd6c +xffd = 0 x3c8 -x12ac -x11c6 = 0 -x11c8 +x3c9 -x14a6 = 0 -x11ca -x14a7 +x3ca = 0 -x5fc +x3cb -x11cc = 0 -xd71 -x11ce +x100c = 0 x100f -x11d0 -x5fe = 0 -x12b2 -x11d2 +x1012 = 0 -x7c7 >= -8 -x7c8 >= -8 -x1537 >= -8 -x1539 >= -8 -x16ef >= -8 -x153d >= -8 -x16f1 >= -8 -x1541 >= -8 -x174b -x17fc +x68f = 0 -x1543 +x68f -x16f3 = 0 x690 -x17fe -x174c = 0 x690 -x1545 -x16f4 = 0 x691 -x1800 -x821 = 0 -x1547 -x16f5 +x691 = 0 -x174e -x1802 +x692 = 0 -x1549 -x16f6 +x692 = 0 x693 -x174f -x1804 = 0 -x7d3 +x693 -x154b = 0 x694 -x1806 -x1750 = 0 -x16f8 +x694 -x154d = 0 x695 -x1807 -x1808 = 0 -x16f9 +x695 -x154f = 0 x696 -x180a -x826 = 0 x696 -x1551 -x7d6 = 0 -x1753 +x697 -x180c = 0 x697 -x1553 -x16fb = 0 -x180e -x1754 +x698 = 0 -x1555 +x698 -x7d8 = 0 x699 -x1810 -x1755 = 0 x699 -x1557 -x7d9 = 0 x69a -x1756 -x1812 = 0 -x1559 +x69a -x7da = 0 -x1757 -x1814 +x69b = 0 -x155b +x69b -x7db = 0 x69c -x1816 -x1758 = 0 x69c -x155d -x1700 = 0 -x1818 -x1759 +x69d = 0 -x1701 -x155f +x69d = 0 x69e -x181a -x1819 = 0 -x1561 +x69e -x1702 = 0 x69f -x175b -x181c = 0 -x1563 +x69f -x1703 = 0 -x181d +x6a0 -x181e = 0 -x7e0 +x6a0 -x1565 = 0 -x1820 -x181f +x6a1 = 0 -x1705 -x1567 +x6a1 = 0 x6a2 -x1822 -x175e = 0 x6a2 -x1569 -x7e2 = 0 -x1824 +x6a3 -x175f = 0 -x156b -x1707 +x6a3 = 0 -x1760 +x6a4 -x1826 = 0 -x1708 -x156d +x6a4 = 0 -x1828 +x6a5 -x1761 = 0 -x1709 +x6a5 -x156f = 0 -x1829 +x6a6 -x182a = 0 -x1571 +x6a6 -x7e6 = 0 -x182c +x6a7 -x837 = 0 -x1573 +x6a7 -x7e7 = 0 x6a8 -x182e -x1764 = 0 x6a8 -x1575 -x170c = 0 -x1830 +x6a9 -x1765 = 0 x6a9 -x170d -x1577 = 0 x6aa -x1766 -x1832 = 0 -x1579 +x6aa -x170e = 0 -x1834 +x6ab -x1833 = 0 -x170f -x157b +x6ab = 0 -x1836 +x6ac -x1768 = 0 -x157d -x7b4 +x6ac = 0 x6ad -x1838 -x1837 = 0 x6ad -x157f -x16d0 = 0 -x183a +x6ae -x176a = 0 -x1712 +x6ae -x1581 = 0 x6af -x183c -x83f = 0 x6af -x1583 -x1713 = 0 -x176c -x183e +x6b0 = 0 -x1585 -x1714 +x6b0 = 0 x6b1 -x841 -x1840 = 0 x6b1 -x1715 -x1587 = 0 x6b2 -x1842 -x176e = 0 x6b2 -x1716 -x1589 = 0 x6b3 -x1844 -x843 = 0 x6b3 -x158b -x1717 = 0 -x1846 +x6b4 -x844 = 0 -x158d -x1718 +x6b4 = 0 x6b5 -x1848 -x1847 = 0 x6b5 -x1719 -x158f = 0 -x1772 -x184a +x6b6 = 0 -x171a -x1591 +x6b6 = 0 -x184c -x1773 +x6b7 = 0 -x1593 -x1bb2 +x6b7 = 0 -x1774 -x184e +x6b8 = 0 -xa7c -x1595 +x6b8 = 0 x6b9 -x1850 -x1775 = 0 x6b9 -x1597 -x1bad = 0 -x1776 +x6ba -x1852 = 0 -x1599 +x6ba -x1da8 = 0 x6bb -x1777 -x1854 = 0 x6bb -x1da0 -x159b = 0 -x1778 +x6bc -x1856 = 0 -x159d -x1b97 +x6bc = 0 x6bd -x1779 -x1858 = 0 x6bd -x159f -x1d90 = 0 -x185a +x6be -x177a = 0 x6be -x15a1 -x1d88 = 0 -x1543 -x16f3 +x18d3 = 0 -x1545 +x8cc -x16f4 = 0 -x1547 -x16f5 +x18d8 = 0 -x1549 -x16f6 +x18da = 0 -x7d3 -x154b +x18dc = 0 -x16f8 +x18dd -x154d = 0 -x16f9 -x154f +x1d58 = 0 -x1551 -x7d6 +x15ba = 0 -x1553 +x1d5a -x16fb = 0 -x1555 +x902 -x7d8 = 0 -x1557 -x7d9 +x18e3 = 0 -x1559 -x7da +x18e5 = 0 -x155b +x18e7 -x7db = 0 -x155d -x1700 +x1509 = 0 -x1701 -x155f +x17aa = 0 -x1561 -x1702 +x15c2 = 0 -x1563 +x1d62 -x1703 = 0 x1d63 -x7e0 -x1565 = 0 -x1705 -x1567 +x1d64 = 0 -x1569 +x1d65 -x7e2 = 0 -x156b -x1707 +x90b = 0 -x1708 +x1d67 -x156d = 0 -x1709 +x1d68 -x156f = 0 -x1571 -x7e6 +x15f1 = 0 -x1573 +x18f8 -x7e7 = 0 -x1575 +x1d6b -x170c = 0 x90f -x170d -x1577 = 0 -x1579 +x18fd -x170e = 0 -x170f -x157b +x911 = 0 -x157d -x7b4 +x1901 = 0 -x157f -x16d0 +x92c = 0 -x1712 +x15f4 -x1581 = 0 -x1583 +x1904 -x1713 = 0 -x1585 -x1714 +x879 = 0 x1d74 -x1715 -x1587 = 0 -x1716 -x1589 +x190a = 0 -x158b +x190c -x1717 = 0 -x158d -x1718 +x1521 = 0 -x1719 +x1d78 -x158f = 0 -x171a -x1591 +x1d79 = 0 -x1593 -x1bb2 +x919 = 0 -xa7c +x18b1 -x1595 = 0 -x1597 -x1bad +x1914 = 0 -x1599 +x1915 -x1da8 = 0 -x1da0 +x91d -x159b = 0 -x159d +x1d7f -x1b97 = 0 -x159f -x1d90 +x1d80 = 0 -x15a1 -x1d88 +x15e2 = 0 -x1743 >= -8 -x1744 >= -8 -x819 >= -8 -x17f2 >= -8 -x17f4 >= -8 -x17f6 >= -8 -x1749 >= -8 -x174a >= -8 -x174b -x17fc +x178c = 0 -x17fe -x174c +x18d3 = 0 x8cc -x1800 -x821 = 0 -x174e -x1802 +x18d8 = 0 x18da -x174f -x1804 = 0 -x1806 +x18dc -x1750 = 0 x18dd -x1807 -x1808 = 0 -x180a +x1d58 -x826 = 0 -x1753 -x180c +x85f = 0 -x180e -x1754 +x1d5a = 0 x902 -x1810 -x1755 = 0 -x1756 -x1812 +x18e3 = 0 -x1757 -x1814 +x18e5 = 0 x18e7 -x1816 -x1758 = 0 -x1818 -x1759 +x1509 = 0 x17aa -x181a -x1819 = 0 -x175b -x181c +x17ac = 0 x1d62 -x181d -x181e = 0 x1d63 -x1820 -x181f = 0 -x1822 -x175e +x1d64 = 0 -x1824 +x1d65 -x175f = 0 -x1760 -x1826 +x90b = 0 -x1828 +x1d67 -x1761 = 0 -x1829 +x1d68 -x182a = 0 -x182c +x8a7 -x837 = 0 -x182e +x18f8 -x1764 = 0 -x1830 -x1765 +x1d6b = 0 x90f -x1766 -x1832 = 0 -x1834 +x18fd -x1833 = 0 -x1836 +x911 -x1768 = 0 -x1838 -x1837 +x1901 = 0 -x183a +x92c -x176a = 0 x8af -x183c -x83f = 0 -x176c -x183e +x1904 = 0 -x841 -x1840 +x879 = 0 x1d74 -x1842 -x176e = 0 -x1844 -x843 +x190a = 0 -x1846 -x844 +x190c = 0 -x1848 +x1521 -x1847 = 0 -x1772 -x184a +x1d78 = 0 x8b7 -x184c -x1773 = 0 -x1774 -x184e +x919 = 0 -x1850 -x1775 +x18b1 = 0 -x1776 -x1852 +x1914 = 0 -x1777 +x1915 -x1854 = 0 -x1778 +x91d -x1856 = 0 -x1779 +x1d7f -x1858 = 0 -x185a -x177a +x1d80 = 0 x145f +x1459 +x5b5 +x1460 +x1462 >= 0 -x145f -x1459 -x5b5 +5 x1521 -x1460 -x1462 >= 0 x59d +x58a +x1448 +x1447 >= 0 4 x90f -x59d -x58a -x1448 -x1447 >= 0 x1472 +x5c5 +x146f +x1455 +x1470 >= 0 -x1472 -x5c5 -x146f -x1455 -x1470 +5 x879 >= 0 x1409 >= 0 x18dd -x1409 >= 0 x140a >= 0 x1d58 -x140a >= 0 x142b +x142c +x173 >= 0 -x142b +3 x1d64 -x142c -x173 >= 0 xd06 +x1315 +x5a1 +x144e >= 0 -xd06 -x1315 -x5a1 -x144e +4 x18f8 >= 0 x148f +x2cf +x5e5 +x1480 +x148d +x148e >= 0 -x148f -x2cf -x5e5 -x1480 +6 x91d -x148e -x148d >= 0 x1406 >= 0 -x1406 +x18d8 >= 0 x559 >= 0 x8cc -x559 >= 0 x1416 +xcb9 >= 0 -x1416 +2 x18e5 -xcb9 >= 0 x143d +x590 +x267 +x4e7 >= 0 -x143d -x590 -x267 +4 x92c -x4e7 >= 0 x1492 +x1495 +x5d3 +x5e8 +x1493 +x1496 >= 0 -x1492 -x1495 +6 x1915 -x5d3 -x5e8 -x1493 -x1496 >= 0 x55b >= 0 x18da -x55b >= 0 x146c +x146b +x2a6 +x1456 +x2a7 >= 0 -x146c +5 x1d74 -x146b -x2a6 -x1456 -x2a7 >= 0 x1438 +x1441 +x1442 +x1443 >= 0 4 x911 -x1438 -x1441 -x1442 -x1443 >= 0 xd71 +x5fc +x14a7 +x14a6 +x147b +x5fe >= 0 6 x8b7 -xd71 -x5fc -x14a7 -x14a6 -x147b -x5fe >= 0 x1421 +x1426 +x1425 >= 0 3 x1d67 -x1421 -x1425 -x1426 >= 0 x142d +x142e +x1205 >= 0 3 x1d63 -x142d -x142e -x1205 >= 0 x143e +x593 +x58d +x1440 >= 0 -x143e -x593 -x58d -x1440 +4 x1901 >= 0 x142a +xcd4 +x1429 >= 0 -x142a +3 x1d65 -x1429 -xcd4 >= 0 x230 +x566 >= 0 -x230 -x566 +2 x17aa >= 0 x569 +x4bc >= 0 2 x18e7 -x569 -x4bc >= 0 x12b3 >= 0 x178c -x12b3 >= 0 xd6c +xd6a +x14a1 +x5d0 +x14a2 +x14a4 >= 0 -xd6a -xd6c -x5d0 -x14a1 -x14a2 -x14a4 +6 x919 >= 0 x144b +x144c +xcff +x59e >= 0 -x144b -x144c -xcff -x59e +4 x1d6b >= 0 x29a +x135e +x5ba +x1465 +x510 >= 0 -x29a -x135e -x5ba +5 x190c -x1465 -x510 >= 0 x140d +x1418 >= 0 2 x902 -x140d -x1418 >= 0 x140b +x141a >= 0 -x140b -x141a +2 x85f >= 0 xcd1 +x1427 +x1428 >= 0 -xcd1 -x1428 -x1427 +3 x90b >= 0 x1408 >= 0 -x1408 +x18dc >= 0 x568 +x1411 >= 0 -x568 -x1411 +2 x1509 >= 0 x1485 +xd48 +x5d8 +x1483 +x5d6 +x5da >= 0 -x1485 -x5d8 -xd48 -x1483 -x5d6 +6 x1d80 -x5da >= 0 x1450 +x5a5 +x1433 +x1351 >= 0 -x1450 -x5a5 -x1433 +4 x8a7 -x1351 >= 0 x1467 +x146a +x1457 +x1468 +x5bd >= 0 -x1467 -x146a -x1457 -x1468 -x5bd +5 x190a >= 0 x141c +x130b +x584 >= 0 3 x1d62 -x141c -x130b -x584 >= 0 x145c +x145d +x145e +x5af +x145a >= 0 5 x1d78 -x145c -x145d -x145e -x5af -x145a >= 0 x5de +x148b +x1488 +x5d5 +x5e0 +xd4b >= 0 -x148b -x5de +6 x1d7f -x1488 -x5d5 -xd4b -x5e0 >= 0 x1497 +x1498 +x149a +x149b +x5d2 +x5ed >= 0 -x1498 -x1497 -x149a -x149b +6 x1914 -x5ed -x5d2 >= 0 x140c +x56d >= 0 -x140c +2 x1d5a -x56d >= 0 xd31 +x1475 +x1474 +x1473 +x1476 >= 0 -xd31 -x1475 -x1474 -x1473 +5 x1904 -x1476 >= 0 x1422 +x1423 +x1424 >= 0 -x1422 +3 x1d68 -x1423 -x1424 >= 0 x1404 >= 0 -x1404 +x18d3 >= 0 x1437 +x1446 +x1444 +x599 >= 0 -x1437 -x1446 -x1444 +4 x18fd -x599 >= 0 xcbc +x140e >= 0 -x140e +2 x18e3 -xcbc >= 0 x1479 +x1478 +xd37 +x1453 +x2b6 >= 0 -x1479 +5 x8af -x1478 -xd37 -x1453 -x2b6 >= 0 x149f +x14a0 +x149d +x149e +x548 +xd61 >= 0 -x149f -x149d -x14a0 -x149e -x548 +6 x18b1 -xd61 >= 0 x1431 +x1432 +x141b >= 0 -x1431 -x1432 -x141b +3 x17ac >= 0 \ Lower Bounds Bounds xe49 >= 0 xf8e >= 0 x1d67 >= 0 x1be4 >= 0 x155b >= 0 x10b0 >= 0 x1c37 >= 0 xdc8 >= 0 x1c8d >= 0 x121c >= 0 xf3f >= 0 x10be >= 0 x11ca >= 0 xf2d >= 0 x10ac >= 0 x143d >= 0 xe0a >= 0 x1142 >= 0 x1712 >= 0 x1048 >= 0 x1d2f >= 0 x1c94 >= 0 xd93 >= 0 x1498 >= 0 xf39 >= 0 xee2 >= 0 xe08 >= 0 x16f8 >= 0 x1492 >= 0 x1c15 >= 0 xe67 >= 0 xdf3 >= 0 xdb0 >= 0 x6ad >= 0 x118c >= 0 x1c14 >= 0 x1bcb >= 0 x1708 >= 0 xfee >= 0 x1050 >= 0 x1d13 >= 0 x121f >= 0 x1bd2 >= 0 x116e >= 0 x183a >= 0 xf7c >= 0 x690 >= 0 x6a8 >= 0 x1547 >= 0 x1108 >= 0 x1bec >= 0 x119c >= 0 xdd7 >= 0 x1140 >= 0 x1497 >= 0 x11ac >= 0 x1757 >= 0 x11c4 >= 0 x1046 >= 0 xec8 >= 0 xf21 >= 0 x1bbb >= 0 xf1b >= 0 x10fa >= 0 x6bd >= 0 x1485 >= 0 x119e >= 0 x1164 >= 0 xf60 >= 0 x143e >= 0 x11b2 >= 0 x1c0c >= 0 x6b2 >= 0 x6a2 >= 0 x6b1 >= 0 x10d0 >= 0 x185a >= 0 x108e >= 0 x1bc3 >= 0 xe29 >= 0 x1066 >= 0 xf36 >= 0 x1158 >= 0 x1d34 >= 0 x1828 >= 0 x1d1f >= 0 x1d0f >= 0 xf87 >= 0 x1074 >= 0 x6af >= 0 xf63 >= 0 x1583 >= 0 x170f >= 0 xef7 >= 0 x1194 >= 0 x1753 >= 0 x1076 >= 0 x1555 >= 0 x1152 >= 0 x11a6 >= 0 x1bc6 >= 0 x11a2 >= 0 x117c >= 0 x10e0 >= 0 xdc0 >= 0 x1431 >= 0 x1bb7 >= 0 x1202 >= 0 x1118 >= 0 xdbf >= 0 x1bc0 >= 0 x1bca >= 0 x1d29 >= 0 x11ae >= 0 x1058 >= 0 x1c96 >= 0 x1bea >= 0 x1559 >= 0 x144b >= 0 xd9e >= 0 x1563 >= 0 xdd4 >= 0 x11e5 >= 0 x1bee >= 0 x1571 >= 0 x15a1 >= 0 xe85 >= 0 x1110 >= 0 x100b >= 0 xf9f >= 0 x112c >= 0 x1467 >= 0 x1cd1 >= 0 x1c10 >= 0 x1104 >= 0 x1c5f >= 0 x108a >= 0 xf15 >= 0 x696 >= 0 x1c58 >= 0 xebb >= 0 x1c0a >= 0 x1112 >= 0 xfe4 >= 0 xf0c >= 0 x159d >= 0 x1bc4 >= 0 xfcf >= 0 x1ce2 >= 0 x1042 >= 0 x114c >= 0 x1cd2 >= 0 x1bcf >= 0 x1166 >= 0 x1bdd >= 0 x1005 >= 0 x1c33 >= 0 xea9 >= 0 x180e >= 0 xc84 >= 0 xfde >= 0 x1846 >= 0 x1422 >= 0 x10b8 >= 0 x115c >= 0 xda8 >= 0 xfb1 >= 0 x1c1a >= 0 xde0 >= 0 x697 >= 0 xfa2 >= 0 x1c16 >= 0 x1d74 >= 0 x11c8 >= 0 x113a >= 0 x6be >= 0 x1450 >= 0 xdda >= 0 xda2 >= 0 x112a >= 0 x11be >= 0 x1553 >= 0 x1408 >= 0 x1132 >= 0 x1be0 >= 0 x69c >= 0 x1c28 >= 0 xfd8 >= 0 x1c87 >= 0 x1c2e >= 0 x146c >= 0 x1d15 >= 0 x1c64 >= 0 xed3 >= 0 x140c >= 0 x6bb >= 0 xd8f >= 0 x11b4 >= 0 xdbc >= 0 xfd2 >= 0 xe8b >= 0 xf30 >= 0 xfd9 >= 0 xe34 >= 0 x1cca >= 0 xdcb >= 0 x1176 >= 0 x10a6 >= 0 xf97 >= 0 x1172 >= 0 xec4 >= 0 xdce >= 0 x11b0 >= 0 xdba >= 0 x1d1c >= 0 x1c5a >= 0 xeb2 >= 0 xf0f >= 0 xe9d >= 0 x1549 >= 0 x10fc >= 0 x1bd1 >= 0 x1579 >= 0 xda7 >= 0 xf45 >= 0 x10d4 >= 0 x1c00 >= 0 xe76 >= 0 xe01 >= 0 x1c3a >= 0 xfc7 >= 0 x106e >= 0 xf66 >= 0 xfed >= 0 xfc3 >= 0 x1056 >= 0 xedf >= 0 x156d >= 0 x1c1d >= 0 xfcc >= 0 xe61 >= 0 xf24 >= 0 xeb8 >= 0 xefa >= 0 x103c >= 0 x1bc5 >= 0 x118e >= 0 x10f0 >= 0 x1be9 >= 0 x149a >= 0 x1174 >= 0 x16f9 >= 0 xf1e >= 0 x8b7 >= 0 x174e >= 0 x1cb9 >= 0 x1cb3 >= 0 xfd3 >= 0 x1822 >= 0 xdfe >= 0 x1830 >= 0 x140b >= 0 x1cef >= 0 x124a >= 0 x1c31 >= 0 x117e >= 0 x11b6 >= 0 x1446 >= 0 x382 >= 0 x146a >= 0 x159f >= 0 xe3a >= 0 xf81 >= 0 x1c35 >= 0 x6b9 >= 0 xeaf >= 0 x1cc2 >= 0 x1591 >= 0 x1d06 >= 0 xdcd >= 0 x156b >= 0 x10f6 >= 0 x1bda >= 0 xebe >= 0 x3cf >= 0 x1044 >= 0 x1080 >= 0 xe84 >= 0 xec5 >= 0 xed6 >= 0 x1ca1 >= 0 x1052 >= 0 x1840 >= 0 xc82 >= 0 x103e >= 0 x1495 >= 0 x1c97 >= 0 xe79 >= 0 x113e >= 0 xdf5 >= 0 x30e >= 0 x334 >= 0 x1569 >= 0 x1bdb >= 0 x155d >= 0 x184c >= 0 xef5 >= 0 x1824 >= 0 x358 >= 0 x10a8 >= 0 x105c >= 0 x1d21 >= 0 x1c0d >= 0 xeac >= 0 x142b >= 0 xfb7 >= 0 x1bf6 >= 0 xed2 >= 0 xf6f >= 0 x1146 >= 0 x174b >= 0 x1190 >= 0 x1c3f >= 0 x1820 >= 0 x8af >= 0 xe99 >= 0 xe02 >= 0 x1545 >= 0 x1178 >= 0 x1593 >= 0 x5c5 >= 0 x1cd9 >= 0 xee5 >= 0 x1543 >= 0 x1bba >= 0 xe74 >= 0 x1bce >= 0 x1096 >= 0 xff9 >= 0 x104e >= 0 x180a >= 0 x2fb >= 0 x1cbc >= 0 x100f >= 0 x1c7d >= 0 x841 >= 0 xf44 >= 0 xe8f >= 0 x1d63 >= 0 x1c47 >= 0 x695 >= 0 x1128 >= 0 xe37 >= 0 x375 >= 0 xeea >= 0 x1062 >= 0 x1c12 >= 0 x1090 >= 0 x11a0 >= 0 xe70 >= 0 xe73 >= 0 x1cae >= 0 x1838 >= 0 xf84 >= 0 xe15 >= 0 xfc4 >= 0 xe22 >= 0 xdcf >= 0 x1122 >= 0 x372 >= 0 xdb3 >= 0 x1472 >= 0 xfc0 >= 0 x39b >= 0 x1116 >= 0 xe26 >= 0 x1cb0 >= 0 xdad >= 0 x1cc7 >= 0 x3a1 >= 0 x111a >= 0 x1850 >= 0 x1ce3 >= 0 x1754 >= 0 xdd9 >= 0 x1829 >= 0 x1c3c >= 0 x1bd8 >= 0 xebc >= 0 x171a >= 0 xf42 >= 0 xd95 >= 0 x158d >= 0 x10ea >= 0 xe14 >= 0 x1716 >= 0 xd7b >= 0 xfa5 >= 0 xf93 >= 0 x90f >= 0 x1479 >= 0 x1d62 >= 0 xff1 >= 0 x1406 >= 0 xe23 >= 0 x1bdc >= 0 xf09 >= 0 xf7e >= 0 x230 >= 0 x182c >= 0 x1760 >= 0 x902 >= 0 x1437 >= 0 x1837 >= 0 x6b5 >= 0 x106c >= 0 x1bd4 >= 0 x1070 >= 0 x10bc >= 0 x115a >= 0 x1844 >= 0 x339 >= 0 x118a >= 0 x1186 >= 0 xff0 >= 0 x119a >= 0 x1da0 >= 0 xe91 >= 0 x1008 >= 0 xfba >= 0 x157b >= 0 x1219 >= 0 x1765 >= 0 xff6 >= 0 xdfb >= 0 x1818 >= 0 x1777 >= 0 x112e >= 0 xe4c >= 0 x175b >= 0 x1bbf >= 0 x1759 >= 0 x1836 >= 0 x1098 >= 0 xdd0 >= 0 x1c27 >= 0 x146f >= 0 x6a9 >= 0 x1cf1 >= 0 xe87 >= 0 xf2a >= 0 x1054 >= 0 x1834 >= 0 x699 >= 0 x1144 >= 0 x1cf0 >= 0 x10e2 >= 0 xf72 >= 0 x1184 >= 0 x1ca5 >= 0 x105a >= 0 xea4 >= 0 x1c08 >= 0 x125c >= 0 x1404 >= 0 x1bd6 >= 0 xd94 >= 0 xe55 >= 0 x69f >= 0 x1182 >= 0 x1c39 >= 0 x1c5e >= 0 x1c30 >= 0 x1c46 >= 0 xe0e >= 0 x10c8 >= 0 x1087 >= 0 x1c21 >= 0 x33f >= 0 x10a2 >= 0 x148f >= 0 x1034 >= 0 xf16 >= 0 x1156 >= 0 x1bd7 >= 0 xf6c >= 0 x1438 >= 0 x6b3 >= 0 x10c6 >= 0 x142d >= 0 x694 >= 0 x149b >= 0 x1cdc >= 0 x1ce6 >= 0 x1c36 >= 0 x12b2 >= 0 x1c9f >= 0 x3c9 >= 0 x176c >= 0 xddc >= 0 xfb4 >= 0 x1c45 >= 0 xee8 >= 0 x1bc8 >= 0 x146b >= 0 x102c >= 0 xd9b >= 0 xf5c >= 0 xfce >= 0 x1709 >= 0 x3e4 >= 0 x1d88 >= 0 x10aa >= 0 x11d7 >= 0 x6a6 >= 0 x1be7 >= 0 x11d0 >= 0 x1c42 >= 0 x1c2a >= 0 x1082 >= 0 x1806 >= 0 x182e >= 0 x1589 >= 0 x116c >= 0 x1705 >= 0 x1028 >= 0 x17fc >= 0 x1573 >= 0 x10d6 >= 0 x1ca7 >= 0 xefd >= 0 x1c0b >= 0 x10b2 >= 0 xeb4 >= 0 x1bf3 >= 0 x698 >= 0 x1707 >= 0 x6aa >= 0 x126b >= 0 x1cbb >= 0 x1599 >= 0 x568 >= 0 x109c >= 0 x11f6 >= 0 xf04 >= 0 x1802 >= 0 xf69 >= 0 x1014 >= 0 x183c >= 0 x1561 >= 0 x6ab >= 0 x1270 >= 0 xfa7 >= 0 x1072 >= 0 xf2c >= 0 xe6d >= 0 xd71 >= 0 xfff >= 0 x11ba >= 0 xf33 >= 0 x1294 >= 0 xfc1 >= 0 x1d19 >= 0 x18dd >= 0 x1c07 >= 0 x178c >= 0 x1cd3 >= 0 x1c32 >= 0 xee9 >= 0 xf19 >= 0 x1ce9 >= 0 xef1 >= 0 x1018 >= 0 x1597 >= 0 x911 >= 0 xe8a >= 0 x1585 >= 0 x1150 >= 0 x1c1f >= 0 x157d >= 0 x1810 >= 0 xfae >= 0 xe7a >= 0 xd81 >= 0 xde3 >= 0 x1772 >= 0 x1c78 >= 0 xedd >= 0 x117a >= 0 x1c26 >= 0 x11d6 >= 0 x1cfe >= 0 x5a5 >= 0 xdc5 >= 0 x48a >= 0 xf27 >= 0 x35d >= 0 xfc6 >= 0 x1459 >= 0 x1c69 >= 0 x327 >= 0 xeae >= 0 x16f5 >= 0 x1102 >= 0 x5d8 >= 0 xf77 >= 0 xe82 >= 0 x1d04 >= 0 xd31 >= 0 x1475 >= 0 xffc >= 0 x1d18 >= 0 x1d10 >= 0 x1beb >= 0 x1213 >= 0 xe8d >= 0 x16f6 >= 0 xdc9 >= 0 x154f >= 0 x1cee >= 0 x1c7c >= 0 x1441 >= 0 xf7b >= 0 x1bbd >= 0 x1ce0 >= 0 x1c92 >= 0 x175e >= 0 x11bc >= 0 x309 >= 0 x110e >= 0 xdeb >= 0 x1c95 >= 0 x1c43 >= 0 x35b >= 0 x318 >= 0 x1bf2 >= 0 xddf >= 0 x1c2c >= 0 x1719 >= 0 x1d1b >= 0 x1d11 >= 0 xded >= 0 xdf2 >= 0 x1162 >= 0 x1064 >= 0 x1433 >= 0 x1455 >= 0 xe25 >= 0 x1038 >= 0 x1c44 >= 0 xfa0 >= 0 xeba >= 0 x1c71 >= 0 x1c22 >= 0 x1774 >= 0 x1040 >= 0 xfd6 >= 0 x1092 >= 0 xf43 >= 0 xc7f >= 0 xa7c >= 0 xf6d >= 0 x1749 >= 0 x1d3f >= 0 x6a3 >= 0 x691 >= 0 x1bb8 >= 0 x1022 >= 0 x1915 >= 0 xd92 >= 0 x1778 >= 0 x1088 >= 0 x181f >= 0 xd6a >= 0 x1c62 >= 0 x1411 >= 0 x1423 >= 0 x69e >= 0 xfac >= 0 x1779 >= 0 x145c >= 0 xdf9 >= 0 x1136 >= 0 xe7d >= 0 x1718 >= 0 x1be3 >= 0 x11f8 >= 0 x1567 >= 0 xf8d >= 0 xe8e >= 0 xf7f >= 0 x11fa >= 0 x149f >= 0 xd98 >= 0 xd48 >= 0 xdef >= 0 x1776 >= 0 xfab >= 0 x145d >= 0 x184a >= 0 xd8c >= 0 x1d36 >= 0 x1130 >= 0 x8cc >= 0 xde8 >= 0 x1d64 >= 0 x693 >= 0 x18d8 >= 0 xc8c >= 0 xeee >= 0 x18da >= 0 xf57 >= 0 x141a >= 0 xf12 >= 0 x1ca0 >= 0 xda1 >= 0 xe86 >= 0 xe28 >= 0 x11e7 >= 0 x1c17 >= 0 x1416 >= 0 x1d78 >= 0 xe6b >= 0 x17fe >= 0 xea6 >= 0 x590 >= 0 xe3e >= 0 x69a >= 0 xe5e >= 0 x5e5 >= 0 x1114 >= 0 xd6c >= 0 x1701 >= 0 x1c0e >= 0 x1d3d >= 0 xd87 >= 0 x101a >= 0 x1bf1 >= 0 xfe2 >= 0 x6a5 >= 0 x3f8 >= 0 x1773 >= 0 x1457 >= 0 x1d2d >= 0 xead >= 0 x1756 >= 0 x1c90 >= 0 x1242 >= 0 x1c11 >= 0 xd06 >= 0 x155f >= 0 x1c70 >= 0 x1106 >= 0 x144c >= 0 x1bcc >= 0 x16f1 >= 0 x145f >= 0 x1016 >= 0 x1d2c >= 0 xf5d >= 0 x2cf >= 0 x1148 >= 0 x34b >= 0 x1cf4 >= 0 x349 >= 0 x1002 >= 0 x1c3e >= 0 x110a >= 0 xfaf >= 0 x3c8 >= 0 x7e0 >= 0 xe1b >= 0 x1575 >= 0 x10ec >= 0 x170d >= 0 x1d68 >= 0 x72 >= 0 xe2e >= 0 x11ea >= 0 x1c40 >= 0 x7d3 >= 0 xe77 >= 0 x157f >= 0 x1468 >= 0 xf5b >= 0 x104a >= 0 x17f2 >= 0 xdf8 >= 0 x1442 >= 0 xffb >= 0 x1557 >= 0 x10ca >= 0 x148b >= 0 x1c1e >= 0 x1c8e >= 0 xe88 >= 0 x1c5c >= 0 xe40 >= 0 x101e >= 0 x1474 >= 0 xe1c >= 0 x1bbc >= 0 xed0 >= 0 x5a1 >= 0 xec7 >= 0 x1bc1 >= 0 xf22 >= 0 x101d >= 0 x11e9 >= 0 x315 >= 0 x1124 >= 0 xd91 >= 0 x337 >= 0 xe4a >= 0 x1d79 >= 0 x156f >= 0 xfe1 >= 0 xf4e >= 0 x338 >= 0 x5e8 >= 0 x11cc >= 0 x29a >= 0 xfa3 >= 0 x1d39 >= 0 xf3e >= 0 x1755 >= 0 x32f >= 0 xed5 >= 0 xeb5 >= 0 xe9a >= 0 x1c24 >= 0 x1bc9 >= 0 x180c >= 0 x11b8 >= 0 xdfa >= 0 x1232 >= 0 x1409 >= 0 x386 >= 0 x1cdd >= 0 xde4 >= 0 x1d65 >= 0 xfdb >= 0 x313 >= 0 x154b >= 0 x1ccc >= 0 x14a0 >= 0 xf00 >= 0 xdaa >= 0 x107c >= 0 x1d00 >= 0 xed9 >= 0 xed1 >= 0 x1d5a >= 0 x3a7 >= 0 xf96 >= 0 x6b4 >= 0 x1ce1 >= 0 x135e >= 0 x59d >= 0 x1c23 >= 0 xfea >= 0 x5d0 >= 0 x5d3 >= 0 xf4b >= 0 x1c04 >= 0 x114e >= 0 xf46 >= 0 x114a >= 0 x125 >= 0 xcd1 >= 0 xf88 >= 0 x1d1a >= 0 x5ba >= 0 x1cfa >= 0 x1315 >= 0 x1c65 >= 0 xe10 >= 0 x10d9 >= 0 x5de >= 0 xe58 >= 0 x1d16 >= 0 x68f >= 0 x6a7 >= 0 x3f0 >= 0 xe4e >= 0 x17f4 >= 0 x1421 >= 0 x1766 >= 0 x1ca4 >= 0 x78 >= 0 xfd0 >= 0 x593 >= 0 xf9a >= 0 x1180 >= 0 x10c2 >= 0 xef2 >= 0 x1cde >= 0 x149d >= 0 x1444 >= 0 x1120 >= 0 xdd5 >= 0 xf6a >= 0 x1848 >= 0 xea3 >= 0 x184e >= 0 xde6 >= 0 x6ba >= 0 x442 >= 0 xe5b >= 0 x1d22 >= 0 x1d40 >= 0 x1cac >= 0 x1168 >= 0 x1c18 >= 0 xf5a >= 0 x10b6 >= 0 x1138 >= 0 x1d7f >= 0 x5fc >= 0 x1c20 >= 0 x33d >= 0 xda4 >= 0 xe6a >= 0 x350 >= 0 x1cb6 >= 0 xff7 >= 0 x566 >= 0 x1826 >= 0 x1480 >= 0 x1814 >= 0 x1c77 >= 0 x12a0 >= 0 x142a >= 0 x1160 >= 0 x1473 >= 0 xd84 >= 0 x1c1b >= 0 x1cb4 >= 0 xed7 >= 0 x383 >= 0 xdb9 >= 0 x1424 >= 0 xfe8 >= 0 x11a8 >= 0 xd7d >= 0 x39e >= 0 x18e7 >= 0 x1bc2 >= 0 xf11 >= 0 xe6c >= 0 x10d2 >= 0 xe52 >= 0 x6a4 >= 0 x1d0d >= 0 x34f >= 0 x1483 >= 0 x1700 >= 0 x7d9 >= 0 xef8 >= 0 x3cb >= 0 x1d08 >= 0 x5b5 >= 0 x3aa >= 0 x14a1 >= 0 x1539 >= 0 x10ba >= 0 x16d0 >= 0 xf10 >= 0 x58a >= 0 x1744 >= 0 xe75 >= 0 x1cb2 >= 0 x1bb9 >= 0 x100e >= 0 x32e >= 0 xe1f >= 0 x1577 >= 0 x1cd4 >= 0 x16ef >= 0 x10e8 >= 0 xf90 >= 0 xe00 >= 0 x1078 >= 0 xf1c >= 0 x1bc7 >= 0 x1d31 >= 0 xf25 >= 0 xeeb >= 0 x355 >= 0 x38d >= 0 x11d4 >= 0 x343 >= 0 x1812 >= 0 xdb1 >= 0 x55b >= 0 x1c38 >= 0 xedb >= 0 x692 >= 0 x1bd3 >= 0 x106a >= 0 x844 >= 0 xf37 >= 0 x1448 >= 0 x11e4 >= 0 x58d >= 0 xdb4 >= 0 xe3d >= 0 x1470 >= 0 xf26 >= 0 xe36 >= 0 x1478 >= 0 x1c09 >= 0 x352 >= 0 x5bd >= 0 x1257 >= 0 x142c >= 0 xe1e >= 0 xfe7 >= 0 xeef >= 0 x307 >= 0 xcff >= 0 xe9b >= 0 xe72 >= 0 xff3 >= 0 x1800 >= 0 xec1 >= 0 xdcc >= 0 x14a7 >= 0 xd76 >= 0 x17aa >= 0 xfb9 >= 0 xeb7 >= 0 x10b1 >= 0 x1c6e >= 0 x1036 >= 0 x140d >= 0 x10da >= 0 x1bf4 >= 0 x127a >= 0 x1cf8 >= 0 x18fd >= 0 xb92 >= 0 xe19 >= 0 x17f6 >= 0 x183e >= 0 x14a4 >= 0 xdb8 >= 0 x1904 >= 0 x1551 >= 0 xf85 >= 0 x10ce >= 0 x1210 >= 0 x181d >= 0 x158b >= 0 xf78 >= 0 xfd5 >= 0 x1126 >= 0 x1c2d >= 0 x182a >= 0 x38f >= 0 xf8a >= 0 x1be6 >= 0 x108c >= 0 x107e >= 0 x1cdb >= 0 xd37 >= 0 x145e >= 0 xfbd >= 0 x113c >= 0 xe2b >= 0 x1c74 >= 0 xdd8 >= 0 xe07 >= 0 x1caf >= 0 x1816 >= 0 x462 >= 0 x104c >= 0 x174c >= 0 x1d58 >= 0 x12a6 >= 0 xf06 >= 0 xf75 >= 0 x8a7 >= 0 x181a >= 0 x1c67 >= 0 xf56 >= 0 x10ae >= 0 x149e >= 0 x1ce7 >= 0 xf1f >= 0 x1ca8 >= 0 x316 >= 0 xff4 >= 0 x7c7 >= 0 x1060 >= 0 x3c1 >= 0 x1521 >= 0 x14a2 >= 0 xf91 >= 0 x1bd5 >= 0 x31a >= 0 x1456 >= 0 x1488 >= 0 x1427 >= 0 x11d5 >= 0 x1702 >= 0 x302 >= 0 x11d2 >= 0 x2a6 >= 0 xecf >= 0 xc8e >= 0 x1c72 >= 0 xf4c >= 0 x1743 >= 0 xf54 >= 0 xfbc >= 0 x31d >= 0 x1428 >= 0 x1c82 >= 0 x3d6 >= 0 x1c3b >= 0 x10e9 >= 0 x6ae >= 0 x1c5b >= 0 x35a >= 0 x91d >= 0 x1bcd >= 0 xde9 >= 0 x1c3d >= 0 x371 >= 0 x819 >= 0 xd96 >= 0 xf34 >= 0 x1275 >= 0 x59e >= 0 x548 >= 0 x1d38 >= 0 x1847 >= 0 x1011 >= 0 xfbf >= 0 x18b1 >= 0 x1429 >= 0 x1565 >= 0 x1750 >= 0 x69b >= 0 x1775 >= 0 xfcb >= 0 x101c >= 0 x1537 >= 0 x1c7a >= 0 x1caa >= 0 x1453 >= 0 x1024 >= 0 x1b97 >= 0 x1854 >= 0 x1bdf >= 0 x7c8 >= 0 xd8d >= 0 x1cfc >= 0 x267 >= 0 x7d8 >= 0 x102a >= 0 x1be5 >= 0 x1012 >= 0 x177a >= 0 xdec >= 0 x142e >= 0 x2f6 >= 0 x7b4 >= 0 x1ceb >= 0 xe64 >= 0 x122 >= 0 xe48 >= 0 xd8b >= 0 x6a1 >= 0 x144e >= 0 x10cc >= 0 x173 >= 0 x14a6 >= 0 x1084 >= 0 x39a >= 0 x147b >= 0 xe47 >= 0 x1493 >= 0 x181e >= 0 x35e >= 0 x1bd0 >= 0 xfa9 >= 0 xdb6 >= 0 x6b7 >= 0 x3df >= 0 x10a4 >= 0 x1ce5 >= 0 x1d23 >= 0 x1c9d >= 0 xe68 >= 0 x1c59 >= 0 xf14 >= 0 x32c >= 0 x5d5 >= 0 x10b4 >= 0 x305 >= 0 xe46 >= 0 x1cc1 >= 0 x7e7 >= 0 xdaf >= 0 xda5 >= 0 x101f >= 0 xf64 >= 0 x153d >= 0 xcd4 >= 0 x1d6b >= 0 x102e >= 0 x1852 >= 0 xddd >= 0 xea1 >= 0 x1351 >= 0 xe80 >= 0 x3b0 >= 0 x1cf7 >= 0 xf18 >= 0 x1cc8 >= 0 x1476 >= 0 x140e >= 0 x1c88 >= 0 xffd >= 0 x5af >= 0 x7d6 >= 0 x18d3 >= 0 xf0a >= 0 x10e1 >= 0 xdab >= 0 x36a >= 0 x12b3 >= 0 x1bbe >= 0 x1be8 >= 0 xd85 >= 0 x1714 >= 0 xf2f >= 0 x1bff >= 0 x1010 >= 0 x106d >= 0 xdd6 >= 0 x1833 >= 0 x1432 >= 0 x1be1 >= 0 x111e >= 0 x1703 >= 0 x30a >= 0 x359 >= 0 x2a7 >= 0 x1bb2 >= 0 xe06 >= 0 x1094 >= 0 xf03 >= 0 xfc9 >= 0 x16f3 >= 0 xe27 >= 0 x11ce >= 0 x1496 >= 0 x368 >= 0 xe59 >= 0 xfb2 >= 0 x6ac >= 0 x1086 >= 0 x111c >= 0 x1020 >= 0 x1d90 >= 0 x10e4 >= 0 x1713 >= 0 x36c >= 0 x105e >= 0 x1842 >= 0 xfc2 >= 0 x1901 >= 0 xfad >= 0 x1c13 >= 0 x1bed >= 0 x10c0 >= 0 x1192 >= 0 xe3f >= 0 x1c73 >= 0 xe5c >= 0 x1d09 >= 0 x1d02 >= 0 xfdf >= 0 x1026 >= 0 x18e3 >= 0 x1068 >= 0 x10c4 >= 0 xf01 >= 0 x559 >= 0 xed4 >= 0 x6a0 >= 0 x1cba >= 0 xd8e >= 0 x7e6 >= 0 x821 >= 0 x11e6 >= 0 x18f8 >= 0 x837 >= 0 x6bc >= 0 x1d3b >= 0 x10f2 >= 0 x1188 >= 0 x1c99 >= 0 x3a4 >= 0 xd90 >= 0 x1440 >= 0 x1d3e >= 0 x1c7f >= 0 x1819 >= 0 x1261 >= 0 x1d30 >= 0 x1595 >= 0 x1715 >= 0 x42a >= 0 x107a >= 0 xd9f >= 0 x158f >= 0 xe1a >= 0 xfb5 >= 0 x10f4 >= 0 x1bd9 >= 0 x3b1 >= 0 x174f >= 0 x1758 >= 0 x1c29 >= 0 x92c >= 0 x170c >= 0 x1764 >= 0 x1bef >= 0 x1443 >= 0 x1cc3 >= 0 x18dc >= 0 xd77 >= 0 x181c >= 0 x1c34 >= 0 x1001 >= 0 x484 >= 0 x10fe >= 0 x11c2 >= 0 xf0b >= 0 xe38 >= 0 xecd >= 0 xeaa >= 0 x10f8 >= 0 x1cd0 >= 0 x33e >= 0 xe0d >= 0 xe41 >= 0 xe04 >= 0 x15f1 >= 0 xfbe >= 0 xf23 >= 0 x1d07 >= 0 xe97 >= 0 x109e >= 0 x123 >= 0 x6b8 >= 0 x1d17 >= 0 x175f >= 0 xf6e >= 0 x1d28 >= 0 x379 >= 0 x69d >= 0 x361 >= 0 x393 >= 0 x1541 >= 0 xcb9 >= 0 x15ba >= 0 x1465 >= 0 xef9 >= 0 x1914 >= 0 x321 >= 0 x1bf0 >= 0 x159b >= 0 x5fe >= 0 x10de >= 0 xf49 >= 0 xe3b >= 0 x15f4 >= 0 x1c2b >= 0 xf51 >= 0 x919 >= 0 xe7c >= 0 x5d6 >= 0 xe56 >= 0 x390 >= 0 x1804 >= 0 x1d0c >= 0 x140a >= 0 xe33 >= 0 x1d80 >= 0 x1460 >= 0 x190a >= 0 xf52 >= 0 x148e >= 0 x1cd5 >= 0 x311 >= 0 x174a >= 0 x10d8 >= 0 x1c5d >= 0 xfcd >= 0 x1d2e >= 0 x1c6f >= 0 xb8d >= 0 x5ed >= 0 x1d01 >= 0 x1447 >= 0 x1196 >= 0 x1cf9 >= 0 x3bf >= 0 x1581 >= 0 x18e5 >= 0 xe8c >= 0 x11a4 >= 0 xf4a >= 0 x130b >= 0 x366 >= 0 x110c >= 0 x496 >= 0 x1bf5 >= 0 x599 >= 0 xf48 >= 0 x1cc6 >= 0 x1205 >= 0 x190c >= 0 x1bad >= 0 xf28 >= 0 x7da >= 0 xe11 >= 0 x826 >= 0 x10a0 >= 0 x1509 >= 0 xe31 >= 0 x1761 >= 0 x100c >= 0 x1c19 >= 0 xf40 >= 0 xdc7 >= 0 x1c9c >= 0 x176a >= 0 xdf1 >= 0 x1768 >= 0 x2b6 >= 0 xf89 >= 0 xfa4 >= 0 x115e >= 0 x1d32 >= 0 x148d >= 0 xe13 >= 0 xf9c >= 0 x2fc >= 0 x4e7 >= 0 x11aa >= 0 xf67 >= 0 x170e >= 0 x1858 >= 0 x1832 >= 0 xdac >= 0 x83f >= 0 x6b0 >= 0 x76 >= 0 x342 >= 0 xdee >= 0 x103a >= 0 x31c >= 0 x1808 >= 0 x1100 >= 0 x10ee >= 0 x90b >= 0 x5e0 >= 0 x10dc >= 0 x1032 >= 0 xdde >= 0 x11c0 >= 0 xe43 >= 0 x154d >= 0 xf3c >= 0 x1418 >= 0 x1c7b >= 0 xffa >= 0 x1c41 >= 0 x69 >= 0 x1cc9 >= 0 xea0 >= 0 xe9c >= 0 x1c2f >= 0 x12ac >= 0 x569 >= 0 x15e2 >= 0 x1587 >= 0 x56d >= 0 x1425 >= 0 xfa8 >= 0 x16fb >= 0 x843 >= 0 xd4b >= 0 x109a >= 0 x3b6 >= 0 xf99 >= 0 xd75 >= 0 x325 >= 0 x7db >= 0 x4bc >= 0 x1ce8 >= 0 xe7f >= 0 xe94 >= 0 xe2f >= 0 xf5e >= 0 x1c1c >= 0 x15c2 >= 0 xd7f >= 0 x85f >= 0 x11c6 >= 0 x387 >= 0 x6b6 >= 0 x1198 >= 0 x116a >= 0 x362 >= 0 x377 >= 0 x1426 >= 0 x1d0a >= 0 x879 >= 0 xee3 >= 0 x7e2 >= 0 x141b >= 0 xe16 >= 0 xfe6 >= 0 x1807 >= 0 xc86 >= 0 x1717 >= 0 x1134 >= 0 x1856 >= 0 x398 >= 0 x3bc >= 0 x176e >= 0 x17ac >= 0 x1154 >= 0 x1099 >= 0 xcbc >= 0 xdc2 >= 0 x3fa >= 0 x1d35 >= 0 x1bde >= 0 x141c >= 0 x1be2 >= 0 xef4 >= 0 xe54 >= 0 x5da >= 0 x1da8 >= 0 x1170 >= 0 x1c25 >= 0 xe60 >= 0 x1d37 >= 0 x31f >= 0 xe20 >= 0 x510 >= 0 xd61 >= 0 x3ca >= 0 x10e6 >= 0 xf73 >= 0 xdd1 >= 0 x584 >= 0 xf83 >= 0 x5d2 >= 0 x145a >= 0 xedc >= 0 xf2b >= 0 x1462 >= 0 x1030 >= 0 xe4f >= 0 xeca >= 0 x16f4 >= 0 x34e >= 0 \ Integer Requirements: ILP Generals x1 xe49 xf8e x1d67 x1be4 x155b x10b0 x1c37 xdc8 x1c8d x121c xf3f x10be x11ca xf2d x10ac x143d xe0a x1142 x1712 x1048 x1d2f x1c94 xd93 x1498 xf39 xee2 xe08 x16f8 x1492 x1c15 xe67 xdf3 xdb0 x6ad x118c x1c14 x1bcb x1708 xfee x1050 x1d13 x121f x1bd2 x116e x183a xf7c x690 x6a8 x1547 x1108 x1bec x119c xdd7 x1140 x1497 x11ac x1757 x11c4 x1046 xec8 xf21 x1bbb xf1b x10fa x6bd x1485 x119e x1164 xf60 x143e x11b2 x1c0c x6b2 x6a2 x6b1 x10d0 x185a x108e x1bc3 xe29 x1066 xf36 x1158 x1d34 x1828 x1d1f x1d0f xf87 x1074 x6af xf63 x1583 x170f xef7 x1194 x1753 x1076 x1555 x1152 x11a6 x1bc6 x11a2 x117c x10e0 xdc0 x1431 x1bb7 x1202 x1118 xdbf x1bc0 x1bca x1d29 x11ae x1058 x1c96 x1bea x1559 x144b xd9e x1563 xdd4 x11e5 x1bee x1571 x15a1 xe85 x1110 x100b xf9f x112c x1467 x1cd1 x1c10 x1104 x1c5f x108a xf15 x696 x1c58 xebb x1c0a x1112 xfe4 xf0c x159d x1bc4 xfcf x1ce2 x1042 x114c x1cd2 x1bcf x1166 x1bdd x1005 x1c33 xea9 x180e xc84 xfde x1846 x1422 x10b8 x115c xda8 xfb1 x1c1a xde0 x697 xfa2 x1c16 x1d74 x11c8 x113a x6be x1450 xdda xda2 x112a x11be x1553 x1408 x1132 x1be0 x69c x1c28 xfd8 x1c87 x1c2e x146c x1d15 x1c64 xed3 x140c x6bb xd8f x11b4 xdbc xfd2 xe8b xf30 xfd9 xe34 x1cca xdcb x1176 x10a6 xf97 x1172 xec4 xdce x11b0 xdba x1d1c x1c5a xeb2 xf0f xe9d x1549 x10fc x1bd1 x1579 xda7 xf45 x10d4 x1c00 xe76 xe01 x1c3a xfc7 x106e xf66 xfed xfc3 x1056 xedf x156d x1c1d xfcc xe61 xf24 xeb8 xefa x103c x1bc5 x118e x10f0 x1be9 x149a x1174 x16f9 xf1e x8b7 x174e x1cb9 x1cb3 xfd3 x1822 xdfe x1830 x140b x1cef x124a x1c31 x117e x11b6 x1446 x382 x146a x159f xe3a xf81 x1c35 x6b9 xeaf x1cc2 x1591 x1d06 xdcd x156b x10f6 x1bda xebe x3cf x1044 x1080 xe84 xec5 xed6 x1ca1 x1052 x1840 xc82 x103e x1495 x1c97 xe79 x113e xdf5 x30e x334 x1569 x1bdb x155d x184c xef5 x1824 x358 x10a8 x105c x1d21 x1c0d xeac x142b xfb7 x1bf6 xed2 xf6f x1146 x174b x1190 x1c3f x1820 x8af xe99 xe02 x1545 x1178 x1593 x5c5 x1cd9 xee5 x1543 x1bba xe74 x1bce x1096 xff9 x104e x180a x2fb x1cbc x100f x1c7d x841 xf44 xe8f x1d63 x1c47 x695 x1128 xe37 x375 xeea x1062 x1c12 x1090 x11a0 xe70 xe73 x1cae x1838 xf84 xe15 xfc4 xe22 xdcf x1122 x372 xdb3 x1472 xfc0 x39b x1116 xe26 x1cb0 xdad x1cc7 x3a1 x111a x1850 x1ce3 x1754 xdd9 x1829 x1c3c x1bd8 xebc x171a xf42 xd95 x158d x10ea xe14 x1716 xd7b xfa5 xf93 x90f x1479 x1d62 xff1 x1406 xe23 x1bdc xf09 xf7e x230 x182c x1760 x902 x1437 x1837 x6b5 x106c x1bd4 x1070 x10bc x115a x1844 x339 x118a x1186 xff0 x119a x1da0 xe91 x1008 xfba x157b x1219 x1765 xff6 xdfb x1818 x1777 x112e xe4c x175b x1bbf x1759 x1836 x1098 xdd0 x1c27 x146f x6a9 x1cf1 xe87 xf2a x1054 x1834 x699 x1144 x1cf0 x10e2 xf72 x1184 x1ca5 x105a xea4 x1c08 x125c x1404 x1bd6 xd94 xe55 x69f x1182 x1c39 x1c5e x1c30 x1c46 xe0e x10c8 x1087 x1c21 x33f x10a2 x148f x1034 xf16 x1156 x1bd7 xf6c x1438 x6b3 x10c6 x142d x694 x149b x1cdc x1ce6 x1c36 x12b2 x1c9f x3c9 x176c xddc xfb4 x1c45 xee8 x1bc8 x146b x102c xd9b xf5c xfce x1709 x3e4 x1d88 x10aa x11d7 x6a6 x1be7 x11d0 x1c42 x1c2a x1082 x1806 x182e x1589 x116c x1705 x1028 x17fc x1573 x10d6 x1ca7 xefd x1c0b x10b2 xeb4 x1bf3 x698 x1707 x6aa x126b x1cbb x1599 x568 x109c x11f6 xf04 x1802 xf69 x1014 x183c x1561 x6ab x1270 xfa7 x1072 xf2c xe6d xd71 xfff x11ba xf33 x1294 xfc1 x1d19 x18dd x1c07 x178c x1cd3 x1c32 xee9 xf19 x1ce9 xef1 x1018 x1597 x911 xe8a x1585 x1150 x1c1f x157d x1810 xfae xe7a xd81 xde3 x1772 x1c78 xedd x117a x1c26 x11d6 x1cfe x5a5 xdc5 x48a xf27 x35d xfc6 x1459 x1c69 x327 xeae x16f5 x1102 x5d8 xf77 xe82 x1d04 xd31 x1475 xffc x1d18 x1d10 x1beb x1213 xe8d x16f6 xdc9 x154f x1cee x1c7c x1441 xf7b x1bbd x1ce0 x1c92 x175e x11bc x309 x110e xdeb x1c95 x1c43 x35b x318 x1bf2 xddf x1c2c x1719 x1d1b x1d11 xded xdf2 x1162 x1064 x1433 x1455 xe25 x1038 x1c44 xfa0 xeba x1c71 x1c22 x1774 x1040 xfd6 x1092 xf43 xc7f xa7c xf6d x1749 x1d3f x6a3 x691 x1bb8 x1022 x1915 xd92 x1778 x1088 x181f xd6a x1c62 x1411 x1423 x69e xfac x1779 x145c xdf9 x1136 xe7d x1718 x1be3 x11f8 x1567 xf8d xe8e xf7f x11fa x149f xd98 xd48 xdef x1776 xfab x145d x184a xd8c x1d36 x1130 x8cc xde8 x1d64 x693 x18d8 xc8c xeee x18da xf57 x141a xf12 x1ca0 xda1 xe86 xe28 x11e7 x1c17 x1416 x1d78 xe6b x17fe xea6 x590 xe3e x69a xe5e x5e5 x1114 xd6c x1701 x1c0e x1d3d xd87 x101a x1bf1 xfe2 x6a5 x3f8 x1773 x1457 x1d2d xead x1756 x1c90 x1242 x1c11 xd06 x155f x1c70 x1106 x144c x1bcc x16f1 x145f x1016 x1d2c xf5d x2cf x1148 x34b x1cf4 x349 x1002 x1c3e x110a xfaf x3c8 x7e0 xe1b x1575 x10ec x170d x1d68 x72 xe2e x11ea x1c40 x7d3 xe77 x157f x1468 xf5b x104a x17f2 xdf8 x1442 xffb x1557 x10ca x148b x1c1e x1c8e xe88 x1c5c xe40 x101e x1474 xe1c x1bbc xed0 x5a1 xec7 x1bc1 xf22 x101d x11e9 x315 x1124 xd91 x337 xe4a x1d79 x156f xfe1 xf4e x338 x5e8 x11cc x29a xfa3 x1d39 xf3e x1755 x32f xed5 xeb5 xe9a x1c24 x1bc9 x180c x11b8 xdfa x1232 x1409 x386 x1cdd xde4 x1d65 xfdb x313 x154b x1ccc x14a0 xf00 xdaa x107c x1d00 xed9 xed1 x1d5a x3a7 xf96 x6b4 x1ce1 x135e x59d x1c23 xfea x5d0 x5d3 xf4b x1c04 x114e xf46 x114a x125 xcd1 xf88 x1d1a x5ba x1cfa x1315 x1c65 xe10 x10d9 x5de xe58 x1d16 x68f x6a7 x3f0 xe4e x17f4 x1421 x1766 x1ca4 x78 xfd0 x593 xf9a x1180 x10c2 xef2 x1cde x149d x1444 x1120 xdd5 xf6a x1848 xea3 x184e xde6 x6ba x442 xe5b x1d22 x1d40 x1cac x1168 x1c18 xf5a x10b6 x1138 x1d7f x5fc x1c20 x33d xda4 xe6a x350 x1cb6 xff7 x566 x1826 x1480 x1814 x1c77 x12a0 x142a x1160 x1473 xd84 x1c1b x1cb4 xed7 x383 xdb9 x1424 xfe8 x11a8 xd7d x39e x18e7 x1bc2 xf11 xe6c x10d2 xe52 x6a4 x1d0d x34f x1483 x1700 x7d9 xef8 x3cb x1d08 x5b5 x3aa x14a1 x1539 x10ba x16d0 xf10 x58a x1744 xe75 x1cb2 x1bb9 x100e x32e xe1f x1577 x1cd4 x16ef x10e8 xf90 xe00 x1078 xf1c x1bc7 x1d31 xf25 xeeb x355 x38d x11d4 x343 x1812 xdb1 x55b x1c38 xedb x692 x1bd3 x106a x844 xf37 x1448 x11e4 x58d xdb4 xe3d x1470 xf26 xe36 x1478 x1c09 x352 x5bd x1257 x142c xe1e xfe7 xeef x307 xcff xe9b xe72 xff3 x1800 xec1 xdcc x14a7 xd76 x17aa xfb9 xeb7 x10b1 x1c6e x1036 x140d x10da x1bf4 x127a x1cf8 x18fd xb92 xe19 x17f6 x183e x14a4 xdb8 x1904 x1551 xf85 x10ce x1210 x181d x158b xf78 xfd5 x1126 x1c2d x182a x38f xf8a x1be6 x108c x107e x1cdb xd37 x145e xfbd x113c xe2b x1c74 xdd8 xe07 x1caf x1816 x462 x104c x174c x1d58 x12a6 xf06 xf75 x8a7 x181a x1c67 xf56 x10ae x149e x1ce7 xf1f x1ca8 x316 xff4 x7c7 x1060 x3c1 x1521 x14a2 xf91 x1bd5 x31a x1456 x1488 x1427 x11d5 x1702 x302 x11d2 x2a6 xecf xc8e x1c72 xf4c x1743 xf54 xfbc x31d x1428 x1c82 x3d6 x1c3b x10e9 x6ae x1c5b x35a x91d x1bcd xde9 x1c3d x371 x819 xd96 xf34 x1275 x59e x548 x1d38 x1847 x1011 xfbf x18b1 x1429 x1565 x1750 x69b x1775 xfcb x101c x1537 x1c7a x1caa x1453 x1024 x1b97 x1854 x1bdf x7c8 xd8d x1cfc x267 x7d8 x102a x1be5 x1012 x177a xdec x142e x2f6 x7b4 x1ceb xe64 x122 xe48 xd8b x6a1 x144e x10cc x173 x14a6 x1084 x39a x147b xe47 x1493 x181e x35e x1bd0 xfa9 xdb6 x6b7 x3df x10a4 x1ce5 x1d23 x1c9d xe68 x1c59 xf14 x32c x5d5 x10b4 x305 xe46 x1cc1 x7e7 xdaf xda5 x101f xf64 x153d xcd4 x1d6b x102e x1852 xddd xea1 x1351 xe80 x3b0 x1cf7 xf18 x1cc8 x1476 x140e x1c88 xffd x5af x7d6 x18d3 xf0a x10e1 xdab x36a x12b3 x1bbe x1be8 xd85 x1714 xf2f x1bff x1010 x106d xdd6 x1833 x1432 x1be1 x111e x1703 x30a x359 x2a7 x1bb2 xe06 x1094 xf03 xfc9 x16f3 xe27 x11ce x1496 x368 xe59 xfb2 x6ac x1086 x111c x1020 x1d90 x10e4 x1713 x36c x105e x1842 xfc2 x1901 xfad x1c13 x1bed x10c0 x1192 xe3f x1c73 xe5c x1d09 x1d02 xfdf x1026 x18e3 x1068 x10c4 xf01 x559 xed4 x6a0 x1cba xd8e x7e6 x821 x11e6 x18f8 x837 x6bc x1d3b x10f2 x1188 x1c99 x3a4 xd90 x1440 x1d3e x1c7f x1819 x1261 x1d30 x1595 x1715 x42a x107a xd9f x158f xe1a xfb5 x10f4 x1bd9 x3b1 x174f x1758 x1c29 x92c x170c x1764 x1bef x1443 x1cc3 x18dc xd77 x181c x1c34 x1001 x484 x10fe x11c2 xf0b xe38 xecd xeaa x10f8 x1cd0 x33e xe0d xe41 xe04 x15f1 xfbe xf23 x1d07 xe97 x109e x123 x6b8 x1d17 x175f xf6e x1d28 x379 x69d x361 x393 x1541 xcb9 x15ba x1465 xef9 x1914 x321 x1bf0 x159b x5fe x10de xf49 xe3b x15f4 x1c2b xf51 x919 xe7c x5d6 xe56 x390 x1804 x1d0c x140a xe33 x1d80 x1460 x190a xf52 x148e x1cd5 x311 x174a x10d8 x1c5d xfcd x1d2e x1c6f xb8d x5ed x1d01 x1447 x1196 x1cf9 x3bf x1581 x18e5 xe8c x11a4 xf4a x130b x366 x110c x496 x1bf5 x599 xf48 x1cc6 x1205 x190c x1bad xf28 x7da xe11 x826 x10a0 x1509 xe31 x1761 x100c x1c19 xf40 xdc7 x1c9c x176a xdf1 x1768 x2b6 xf89 xfa4 x115e x1d32 x148d xe13 xf9c x2fc x4e7 x11aa xf67 x170e x1858 x1832 xdac x83f x6b0 x76 x342 xdee x103a x31c x1808 x1100 x10ee x90b x5e0 x10dc x1032 xdde x11c0 xe43 x154d xf3c x1418 x1c7b xffa x1c41 x69 x1cc9 xea0 xe9c x1c2f x12ac x569 x15e2 x1587 x56d x1425 xfa8 x16fb x843 xd4b x109a x3b6 xf99 xd75 x325 x7db x4bc x1ce8 xe7f xe94 xe2f xf5e x1c1c x15c2 xd7f x85f x11c6 x387 x6b6 x1198 x116a x362 x377 x1426 x1d0a x879 xee3 x7e2 x141b xe16 xfe6 x1807 xc86 x1717 x1134 x1856 x398 x3bc x176e x17ac x1154 x1099 xcbc xdc2 x3fa x1d35 x1bde x141c x1be2 xef4 xe54 x5da x1da8 x1170 x1c25 xe60 x1d37 x31f xe20 x510 xd61 x3ca x10e6 xf73 xdd1 x584 xf83 x5d2 x145a xedc xf2b x1462 x1030 xe4f xeca x16f4 x34e \ Statistics: \ SuperCFG: #nodes=0, #edges=0 \ SuperCG: #nodes=1460, #edges=3156 \ ILP: #variables=1110, #constraints=1014 \ Ich will eine Maschine sein, \ Arme zu greifen, Beine zu gehen, \ Kein Schmerz, kein Gedanke. End