[Cbc] Question about ILP solving problem
Christoph Cullmann
cullmann at absint.de
Sun Sep 28 16:06:29 EDT 2008
Hi,
attached is a rather simple generated infeasible ILP, where cbc using clp
fails to solve it in reasonable time with the defaults out of sample2.cpp. Any
idea, how to improve that with other settings? The libglpk solver gets the
infeasibility shown in some seconds.
cu
Christoph
--
-------------------------------------- Christoph Cullmann ---------
AbsInt Angewandte Informatik GmbH Email: cullmann at AbsInt.com
Science Park 1 Tel: +49-681-38360-22
66123 Saarbrücken Fax: +49-681-38360-20
GERMANY WWW: http://www.AbsInt.com
--------------------------------------------------------------------
Geschäftsführung: Dr.-Ing. Christian Ferdinand
Eingetragen im Handelsregister des Amtsgerichts Saarbrücken, HRB 11234
-------------- next part --------------
\ Generated automatically by libpathan-0.99-pre90986 on Sun Sep 28 11:40:24 GMT 2008
\ Objective Function
Maximize
obj: 7 xcde +8 xbda +7 xca7 +7 xc9f +10 xbdd +6 xe09 +7 xc1d
+6 xe0b +8 xe0a +10 xbe1 +7 xcda +26 xa11 +5 xc46 +5 xc0e +7 xc47
+8 xe08 +5 xc20 +5 xc92 +26 xa13 +7 xc4b +7 xc6b +8 xa1f +49 x1798
+21 x1809 +17 xdca +9 x95c +7 xc4d +26 x9ff +10 xbe5 +26 xa0b +7 xca3
+8 xa1b +5 xbcf +14 x13a3 +7 xbfd +7 xc5b +7 xc67 +5 x166e +7 xc95
+10 xbd7 +5 xc2c +7 xc9b +7 x1269 +7 xc15 +7 xc37 +7 xc75 +8 xa17
+7 xc69 +10 xbd9 +28 x1235 +7 xc01 +73 x16dc +5 xfde +5 xc28 +7 xcb3
+7 x1688 +10 xbdf +7 xc53 +17 xce3 +5 x9be +26 x9fd +6 xe0f +9 x137f
+21 x16b5 +6 xe17 +7 xc03 +7 xca9 +7 xcc8 +7 xc45 +7 xc19 +8 xa25
+7 xc8f +8 xbdc +10 xbe7 +6 xe01 +7 xcdc +8 xa27 +7 xcad +7 xc0d
+7 xccc +5 xc58 +17 x48 +7 xc13 +7 xcab +7 x825 +5 xc38 +17 xcec
+21 x16b9 +5 xbcb +7 xc1f +5 xebf +9 x9f8 +12 x14d6 +15 x13aa +5 xebd
+12 x7f4 +7 xc21 +5 xbc3 +21 x16c7 +26 xa01 +5 xc82 +8 xa1d +5 x21c
+117 x17d0 +73 x16d7 +28 x1875 +7 xbf3 +8 xa21 +73 x601 +7 xcd6 +8 xbd4
+15 x13a8 +5 xbb9 +5 xbfc +5 x9a8 +26 xa05 +5 xbcd +66 x1190 +7 xc97
+8 xa2b +8 xe02 +8 xd2b +7 xc7b +7 xcce +36 x17c9 +24 xf74 +5 x1ec
+5 xbbb +7 xc65 +6 xe15 +25 xf31 +8 xa19 +7 x126d +10 x1375 +8 xd33
+5 x203 +98 x925 +28 x1829 +7 xc99 +5 xebc +7 xc39 +8 xe14 +5 xc62
+10 x1619 +3 xbc8 +7 xc73 +7 xc5d +5 x3b8 +4 x138d +5 x9d4 +5 xc4c
+26 xa07 +10 x1379 +5 x1388 +5 x67 +7 xc07 +5 x138c +7 xc63 +7 xc8b
+6 xe03 +7 x126f +25 xf32 +13 x743 +14 xe55 +7 xc81 +8 xd1e +5 xc88
+8 xe0e +7 xc9d +7 xc17 +7 xc41 +7 xbfb +7 xcb1 +5 x1386 +10 x137b
+21 x16b0 +16 x102c +7 x49e +8 xbd2 +8 xe12 +7 xc35 +8 xbd8 +75 x1806
+117 x182e +10 x1589 +57 x1705 +17 xce4 +7 xc05 +8 xa29 +66 x16d9 +25 xf29
+7 x16aa +117 x187a +63 x1707 +7 x126b +14 x13a5 +7 x1267 +26 xa0f +75 x17d1
+7 xc27 +61 x183c +19 x9d9 +5 xc68 +8 xfa7 +73 x11ba +5 x166c +25 xf33
+24 xa02 +8 xd29 +49 x11fd +24 xa16 +7 xc0f +5 x1f0 +8 x1e6 +24 x64b
+49 x1772 +5 x1e9 +24 x96 +17 x9a1 +7 xc2d +17 x301 +11 xdfc +77 x145
+17 xdc5 +8 xd35 +8 xa2f +57 x62a +8 xe0c +26 xa09 +7 xc0b +24 x1256
+7 xc29 +5 xbc1 +8 x1e0 +5 xc36 +7 xcaf +24 xf77 +17 x38e +5 xc08
+113 x716 +25 xf35 +17 xcd5 +8 xd31 +49 x61e +14 x127b +9 x93 +36 x89b
+41 xbb4 +5 xc9c +7 xcd0 +5 xc32 +17 xe8d +21 x15eb +7 xc2f +8 x46a
+54 x7ba +3 xbc0 +7 xc51 +7 x169c +5 x20e +5 x9bc +24 x447 +5 xbb7
+7 xc7f +5 xfdc +16 x4c5 +18 xd6a +63 x5fa +21 x1033 +24 xa06 +5 xc74
+3 xbb8 +8 xd2f +18 xd6f +41 xbb5 +10 x15b6 +49 x1204 +47 x1567 +19 x824
+45 x737 +10 x160b +8 xfab +41 xbb2 +5 xc8c +5 x8 +49 x120e +21 x1017
+49 x1200 +28 x636 +7 xc59 +7 xbf5 +3 x9a9 +5 xc14 +66 x1701 +18 xd6c
+26 xa03 +7 xfe2 +17 x268 +18 xd6b +21 x16b7 +12 x1457 +26 x9f0 +5 xfdd
+7 xcd2 +8 xd2d +7 xc61 +10 xbe9 +18 x155f +14 x1284 +54 x144c +75 x1873
+39 x753 +66 x16d6 +24 x9a +7 x1689 +7 xc43 +11 xdfd +12 x148c +113 x71d
+10 x8e8 +7 x13c5 +5 xbc5 +5 xc72 +13 x13af +12 x14d2 +8 xbe6 +49 x61f
+5 x220 +7 xcd8 +5 x1f4 +10 x8ac +7 xc8d +66 x11ea +17 xcdb +7 xc93
+8 xd27 +18 x290 +5 x1384 +18 x2c0 +5 xc12 +10 x15b2 +3 x1cf +18 x15d6
+3 x1d4 +5 x1eb +17 xe88 +77 xafa +60 x1686 +5 x212 +24 xa10 +5 x231
+8 xd39 +5 x9aa +21 x16b2 +11 x337 +7 x40 +53 x156f +13 x9f6 +14 x13a4
+5 x241 +7 xc71 +5 xc02 +15 x1260 +21 x16b6 +39 x13c2 +66 x11b8 +11 xdfa
+5 xc18 +10 x1603 +5 x1690 +7 xbf7 +7 xca5 +7 x16af +28 x8a4 +5 xfdb
+7 xc11 +17 xce9 +12 x14cc +5 x9ae +24 x443 +7 xfea +3 xbc4 +3 x9bb
+5 x22f +7 xbf9 +98 x166a +3 x1d2 +7 xc3f +24 xa0a +8 xe10 +8 x29b
+9 x1383 +7 xcca +10 x1610 +117 x1835 +7 xff8 +73 x16cd +6 xe05 +5 xbbd
+3 x9ab +46 x1397 +28 x1239 +66 x16d4 +5 x21a +28 x9a7 +10 x1377 +5 xc70
+17 xce5 +8 xd3b +5 xc7e +19 x9a0 +12 x1473 +24 x1253 +5 x1691 +9 x9f3
+17 xdb9 +49 x11a8 +8 xd23 +66 x1131 +26 xa0d +10 x1648 +5 x9d6 +5 xbc9
+7 xc55 +8 xbe4 +5 x216 +7 xc3b +12 x14ce +63 x16d0 +7 x13cc +28 x1237
+49 x17a0 +8 xa23 +7 xc79 +5 xc9e +5 x9ba +x1 +7 xbff +24 x98
+8 xe00 +5 xc94 +5 x209 +9 x722 +5 xc3e +8 xd25 +10 x15fb +46 x1393
+117 x162a +4 x1387 +14 x1281 +7 x168a +45 x139f +5 xc2a +7 xbed +10 xbe3
+17 x264 +14 x13dc +54 x1448 +8 xe18 +113 x1374 +7 xc77 +21 x17d4 +12 x1470
+3 x1d0 +19 x9a2 +66 x16de +24 x1257 +77 xafd +26 xa15 +7 xfe7 +41 xbb1
+10 x1616 +5 xec1 +5 x9 +8 xa2d +46 x139b +5 xc54 +10 x15f5 +21 x1036
+49 x802 +7 xc6f +7 x168f +39 x13c3 +3 x55 +75 x187b +6 xe19 +7 xc23
+61 x1551 +49 x1210 +10 x158b +12 x14c0 +7 xc57 +5 xc40 +10 x1546 +17 x38f
+73 x1228 +43 x9f7 +18 x15e7 +8 xd37 +4 x1696 +10 x164b +8 xd1f +5 xc98
+13 x13ad +23 x885 +14 x13a2 +6 xe07 +5 x491 +43 x92 +24 xf75 +5 x9b8
+49 x14de +10 x8a7 +7 x9ef +10 x15b5 +14 x762 +10 x15b9 +18 x2ce +5 x233
+10 x15bb +77 xafc +5 xc64 +7 xff4 +10 x884 +10 x15ff +75 x182f +73 x610
+11 x31a +14 x369 +45 x13a1 +66 x11d5 +17 x302 +3 xbce +20 x7d +7 xc87
+77 x149 +4 x1389 +5 xc8e +24 xa0 +41 xbb0 +63 x609 +5 xc66 +24 xa0c
+5 xc6e +7 xc25 +3 xbba +12 x14c6 +8 x1e5 +3 xbd0 +3 xbca +9 x1382
+7 x24f +75 x8c8 +25 xf34 +8 xbe2 +28 x1565 +5 xc44 +10 x1601 +63 x5dc
+16 x1024 +24 x1254 +49 x616 +12 x14c4 +16 x102a +5 xc6c +21 x1012 +9 x1380
+17 xced +21 x1633 +54 x144e +10 x15f7 +7 xbf1 +12 x1493 +75 x15e4 +8 xfa9
+17 xce6 +46 x1395 +5 x239 +7 xce0 +15 x740 +7 xcd4 +28 x9a5 +16 x102e
+19 x9d8 +5 x236 +10 x8e9 +8 xbe0 +10 x1608 +49 x61a +10 x8f4 +7 x79
+10 x8e2 +14 x36a +113 x1371 +21 x1525 +7 xc91 +4 x943 +49 x619 +18 x15c7
+57 x5fd +45 x735 +8 xe06 +12 x1496 +14 xe59 +12 x813 +5 xc60 +5 xbee
+5 x21e +7 x25b +7 x16ad +49 x80a +7 x25a +13 x747 +5 xfdf +16 x1026
+3 xbcc +8 x297 +63 x16d5 +7 x13ca +7 xfec +49 x14e5 +31 x821 +10 x15fd
+5 xc50 +28 x8da +14 x13dd +117 x8ba +17 xce2 +57 x11ee +66 x626 +5 xc4e
+18 x17d2 +5 x950 +5 x23e +5 xc1a +5 xbf2 +54 x1443 +5 xc16 +49 x1206
+7 xbef +7 xc49 +5 xc22 +66 x11c2 +24 x9f +49 x612 +8 x296 +5 xc6a
+13 x745 +6 xe0d +8 xe04 +10 x15f1 +5 x20b +10 x8f0 +63 x622 +7 xc5f
+5 xc0a +7 xc4f +10 x8df +7 xcb9 +7 xc33 +46 x1399 +5 xc7a +5 xc00
+5 xc76 +24 x95 +15 x13a7 +7 x758 +14 x1283 +7 xc89 +21 x16c6 +5 xc10
+5 xc1c +28 x1641 +14 xe56 +7 xff2 +17 x390 +49 x620 +45 x1394 +10 xbd5
+12 x815 +5 xc26 +57 x11f7 +12 x148e +57 x16d3 +7 x94f +10 xbd1 +10 x1581
+39 x13c0 +17 xe8c +57 x16d8 +66 x16cc +8 xbd6 +6 xe11 +28 x1231 +9 xc
+7 xc09 -28 x94a +5 x22d +17 xdc7 +5 x20f +14 x763 +7 xca1 +5 xc2e
+10 xbd3 +10 x1502 +8 x46e +6 xe13 +5 x200 +5 xc04 +113 x1373 +21 x1832
+23 x15ec +28 x1808 +77 x148 +7 xcb7 +13 x84 +24 xa0e +12 x14ca +21 x187e
+7 xc7d +10 x154d +10 xbdb +5 x1f7 +4 x1391 +5 xbfa +5 xbc7 +5 x23c
+10 x160f +8 xd20 +4 x138e +39 x751 +10 x1587 +5 xbf8 +8 xfa8 +117 x15c3
+5 x215 +5 xbec +7 xbeb +5 x3b6 +14 x13a6 +11 x325 +28 x15d9 +21 x4bc
+7 xc1b +7 xcb5 +10 x1612 +5 x138a +7 xc2b +60 x937 +49 x1198 +5 xbbf
+66 x16cf +8 xe16 +41 xbb3 +7 xfe6 +18 x1807 +5 xc86 +5 xc5c +7 xc31
+21 x16b8 +14 xe54 +14 x13d9 +14 x662 +24 xf73 +7 xc3d +7 x75b +10 x137d
+17 x261 +5 x952
Subject To
\ Constant in Objective Function
x1 = 56
\ Constraints
-x94a >= -1
-x17c9 -x8 +x94a = 0
x8 -x156f -x9 = 0
x9 -x950 -x94f = 0
-x7d +x950 -x952 = 0
-x89b +x952 -xc = 0
-x9f0 -x1565 +x94f = 0
-x95c -x1567 +x1565 = 0
-x95c +x9f3 -xc = 0
-x17c9 -x89b -x9f0 -x1567 -x156f +x40 -x9f3
-x7d +x94a = 1
x17c9 -x9a1 -x9a0 = 0
-x48 +x89b -x9a2 = 0
x9a1 -x92 -x9a5 = 0
x48 -x9a7 -x9f7 = 0
-x9a8 -x9a9 +x9a5 = 0
x9a7 -x9aa -x9ab = 0
-x67 +x9a9 -x885 = 0
x9ab -x9ae -x15ec = 0
-x55 +x885 -x9b8 = 0
-x9ba -x9bb +x15ec = 0
-x9bc -x1551 +x55 = 0
-x9be -x183c +x9bb = 0
-x9bc -x9b8 +x84 = 0
-x9be +x9f6 -x9ba = 0
x67 -x9d4 -x9d8 = 0
-x9d9 +x9ae -x9d6 = 0
-x9a8 -x9d4 +x93 -x9a0 = 0
x9f8 -x9d6 -x9aa -x9a2 = 0
-x93 -x92 -x1551 +x79 -x9d8 -x84 = 0
-x9f8 -x9d9 -x183c -x9f6 +x9ef -x9f7 = 0
-x1284 -x127b +x9f4 -x1281 -x662 -x1283 = 0
-x753 +x9f5 -x13c2 -x13c3 -x751 -x13c0 = 0
-x16a0 -x169f -x16a1 -x16a3 -x16a2 +xfea = 0
-x16a7 -x16a4 -x16a8 -x16a5 -x16a6 +xfec = 0
-x9fd +x9f0 -x95 = 0
-x9ff -x96 +x156f = 0
-xa01 -xa02 +x7d = 0
-xa03 +x9f3 -x98 = 0
-xa05 +x9f4 -xa06 = 0
-xa07 -x9a +x9f5 = 0
-xa09 +x9f6 -xa0a = 0
-xa0b +x9f7 -xa0c = 0
x9f8 -xa0d -xa0e = 0
-xa0f -xa10 +x84 = 0
-xa11 +x92 -x9f = 0
-xa13 +x93 -xa0 = 0
-xa16 +x824 -xa15 = 0
-xa17 -x162a +x95 = 0
-xa19 +x96 -x1835 = 0
-xa1b +xa02 -x182e = 0
-xa1d -x17d0 +x98 = 0
-xa1f +xa06 -x15c3 = 0
-xa21 +x9a -x8ba = 0
-xafa +xa0a -xa23 = 0
-xa25 -x145 +xa0c = 0
-xa27 -xafc +xa0e = 0
-xa29 +xa10 -xafd = 0
-xa2b +x9f -x148 = 0
xa0 -xa2d -x149 = 0
xa16 -x187a -xa2f = 0
-x11ba -x1873 +x162a = 0
x1835 -x610 -x15e4 = 0
-x16dc +x182e -x182f = 0
x17d0 -x17d1 -x16cd = 0
-x16d7 -x8c8 +x15c3 = 0
-x601 -x1806 +x8ba = 0
xafa -x443 -xbb0 = 0
x145 -xbb1 -xf73 = 0
-xf74 -xbb2 +xafc = 0
xafd -xf75 -xbb3 = 0
-xbb4 -x447 +x148 = 0
-xf77 -xbb5 +x149 = 0
x187a -x187b -x1228 = 0
x1873 -xbb7 -xbb8 = 0
-xbb9 -xbba +x15e4 = 0
-xbbb -x1cf +x182f = 0
x17d1 -xbbd -x1d0 = 0
-xbc0 +x8c8 -xbbf = 0
x1806 -xbc1 -x1d2 = 0
-xbc3 -xbc4 +xbb0 = 0
-x1d4 -xbc5 +xbb1 = 0
-xbc8 +xbb2 -xbc7 = 0
-xbc9 -xbca +xbb3 = 0
-xbcb +xbb4 -xbcc = 0
-xbcd +xbb5 -xbce = 0
-xbcf +x187b -xbd0 = 0
-xbd2 +xbb8 -xbd1 = 0
-xbd4 +xbba -xbd3 = 0
x1cf -xbd5 -xbd6 = 0
-xbd7 -xbd8 +x1d0 = 0
-xbda -xbd9 +xbc0 = 0
-xbdc +x1d2 -xbdb = 0
-xbdd -x1e0 +xbc4 = 0
-xbdf +x1d4 -xbe0 = 0
-xbe1 +xbc8 -xbe2 = 0
-xbe4 -xbe3 +xbca = 0
-xbe5 -xbe6 +xbcc = 0
-xbe7 -x1e5 +xbce = 0
-x1e6 -xbe9 +xbd0 = 0
xbd2 -xbeb -xbec = 0
xbd4 -xbed -xbee = 0
-x1e9 -xbef +xbd6 = 0
xbd8 -xbf1 -xbf2 = 0
xbda -xbf3 -x1eb = 0
xbdc -x1ec -xbf5 = 0
x1e0 -xbf7 -xbf8 = 0
-xbf9 +xbe0 -xbfa = 0
-xbfc -xbfb +xbe2 = 0
-xbfd -x1f0 +xbe4 = 0
xbe6 -xbff -xc00 = 0
-xc01 -xc02 +x1e5 = 0
-xc03 +x1e6 -xc04 = 0
-xc05 -x1f4 +xbec = 0
-xc07 -xc08 +xbee = 0
x1e9 -xc09 -xc0a = 0
-xc0b +xbf2 -x1f7 = 0
-xc0e -xc0d +x1eb = 0
x1ec -xc0f -xc10 = 0
-xc12 -xc11 +xbf8 = 0
-xc13 -xc14 +xbfa = 0
-xc15 +xbfc -xc16 = 0
-xc17 +x1f0 -xc18 = 0
-xc19 -xc1a +xc00 = 0
xc02 -xc1b -xc1c = 0
-xc1d +xc04 -x200 = 0
-xc20 -xc1f +x1f4 = 0
-xc21 +xc08 -xc22 = 0
-x203 -xc23 +xc0a = 0
-xc25 +x1f7 -xc26 = 0
xc0e -xc28 -xc27 = 0
-xc29 -xc2a +xc10 = 0
-xc2c +xc12 -xc2b = 0
-xc2d +xc14 -xc2e = 0
-xc2f -x209 +xc16 = 0
-xc32 +xc18 -xc31 = 0
xc1a -x20b -xc33 = 0
-xc35 -xc36 +xc1c = 0
-xc37 -xc38 +x200 = 0
xc20 -xc39 -x20e = 0
-xc3b +xc22 -x20f = 0
x203 -xc3e -xc3d = 0
-xc3f -xc40 +xc26 = 0
xc28 -xc41 -x212 = 0
-xc43 +xc2a -xc44 = 0
-xc46 +xc2c -xc45 = 0
-xc47 -x215 +xc2e = 0
-x216 +x209 -xc49 = 0
-xc4b -xc4c +xc32 = 0
-xc4d -xc4e +x20b = 0
xc36 -xc50 -xc4f = 0
xc38 -xc51 -x21a = 0
-xc53 +x20e -xc54 = 0
-x21c -xc55 +x20f = 0
-xc58 +xc3e -xc57 = 0
-xc59 +xc40 -x21e = 0
-xc5b +x212 -xc5c = 0
-xc5d -x220 +xc44 = 0
xc46 -xc60 -xc5f = 0
-xc62 -xc61 +x215 = 0
-xc63 +x216 -xc64 = 0
-xc65 +xc4c -xc66 = 0
-xc67 -xc68 +xc4e = 0
-xc69 -xc6a +xc50 = 0
-xc6b +x21a -xc6c = 0
xc54 -xc6e -x24f = 0
x21c -xc70 -xc6f = 0
xc58 -xc72 -xc71 = 0
-xc73 -xc74 +x21e = 0
-xc75 +xc5c -xc76 = 0
x220 -xc77 -x22d = 0
-xc79 +xc60 -xc7a = 0
-xc7b +xc62 -x22f = 0
-xc7e +xc64 -xc7d = 0
-xc7f -x231 +xc66 = 0
-xc82 -xc81 +xc68 = 0
-x233 -x25a +xc6a = 0
xc6c -x25b -xc86 = 0
-xc88 +xc6e -xc87 = 0
xc70 -x236 -xc89 = 0
-xc8b -xc8c +xc72 = 0
xc74 -xc8d -xc8e = 0
-xc8f -x239 +xc76 = 0
-xc92 -xc91 +x22d = 0
-xc93 -xc94 +xc7a = 0
-xc95 +x22f -x23c = 0
-xc97 +xc7e -xc98 = 0
-xc99 +x231 -x23e = 0
-xc9b +xc82 -xc9c = 0
-xc9d -xc9e +x233 = 0
-xc9f -x241 +xc86 = 0
xc88 -x11b8 -xca1 = 0
-xca3 -x1190 +x236 = 0
xc8c -x11ea -xca5 = 0
-xca7 +xc8e -x16cc = 0
-xca9 -x16d6 +x239 = 0
xc92 -xcab -x11d5 = 0
-xcad -xe88 +xc94 = 0
-xcaf -x38e +x23c = 0
-xcb1 -x38f +xc98 = 0
-xcb3 +x23e -x390 = 0
xc9c -xe8c -xcb5 = 0
-xe8d +xc9e -xcb7 = 0
x241 -x11c2 -xcb9 = 0
-xcc8 -xce2 +x24f = 0
-xce3 -xcca +xc6f = 0
-xccc -xce4 +xc71 = 0
-xcce +xc73 -xce5 = 0
xc75 -xcd0 -xce6 = 0
-xcd2 +xc77 -x261 = 0
-xcd5 +xc79 -xcd4 = 0
-xcd6 +xc7b -xce9 = 0
-xcd8 -x264 +xc7d = 0
-xcda +xc7f -xcdb = 0
-xcdc -xcec +xc81 = 0
-xcde +x25a -xced = 0
-x268 +x25b -xce0 = 0
-xc53 -xc39 +x290 -xc87 -xbeb = 0
-xbed -xc55 -xc3b +x15e7 -xc89 = 0
-xc8b +x15d6 -xc57 -xbef -xc3d = 0
-xc8d -xc59 -xc3f -xbf1 +x17d2 = 0
-xc5b -xc8f -xbf3 -xc41 +x15c7 = 0
-xc5d -xc43 -xbf5 -xc91 +x1807 = 0
-xc45 -xc93 -xbf7 +x296 -xc5f = 0
-xc95 -xc47 -xc61 -xbf9 +x297 = 0
-xc97 +xd1e -xbfb -xc63 -xc49 = 0
-xc4b -xbfd -xc65 -xc99 +xd1f = 0
-xc9b -xc67 -xc4d -xbff +xd20 = 0
-xc69 -xc01 -xc9d +x29b -xc4f = 0
-xc9f -xc6b -xc03 -xc51 +x155f = 0
-x1875 +x290 -xd23 = 0
-xd25 +x15e7 -x8da = 0
-xd27 +x15d6 -x15d9 = 0
-xd29 -x8a4 +x17d2 = 0
-xd2b -x1829 +x15c7 = 0
-xd2d +x1807 -x1808 = 0
-xd6a -xd2f +x296 = 0
-xd31 -xd6b +x297 = 0
-xd33 +xd1e -xd6c = 0
-xd35 -x2c0 +xd1f = 0
-x2ce -xd37 +xd20 = 0
-xd6f -xd39 +x29b = 0
x155f -xd3b -x1641 = 0
x1875 -x1701 -x1633 = 0
-x15eb -x16de +x8da = 0
-x16d9 +x15d9 -x1832 = 0
x8a4 -x1131 -x17d4 = 0
x1829 -x16d4 -x1525 = 0
-x1809 -x16cf +x1808 = 0
-xdc5 +xd6a -x325 = 0
xd6b -xdb9 -xdfa = 0
xd6c -x31a -xdc7 = 0
-xdfc -x301 +x2c0 = 0
-xdfd -x302 +x2ce = 0
-xdca +xd6f -x337 = 0
-x626 +x1641 -x187e = 0
-xe01 -xe00 +x1633 = 0
-xe02 -xe03 +x15eb = 0
-xe05 +x1832 -xe04 = 0
x17d4 -xe07 -xe06 = 0
-xe08 -xe09 +x1525 = 0
-xe0a -xe0b +x1809 = 0
-xe0c -xe0d +x325 = 0
-xe0f -xe0e +xdfa = 0
-xe10 +x31a -xe11 = 0
-xe12 +xdfc -xe13 = 0
-xe15 -xe14 +xdfd = 0
-xe17 +x337 -xe16 = 0
-xe18 -xe19 +x187e = 0
-xe01 -xc1f -xc05 +x622 -xbd1 -xca1 = 0
-xca3 -xc21 -xc07 -xe03 +x5dc -xbd3 = 0
-xe05 -xca5 +x609 -xc23 -xbd5 -xc09 = 0
-xbd7 -xca7 -xc0b +x5fa -xc25 -xe07 = 0
-xe09 -xc0d -xbd9 -xca9 -xc27 +x16d5 = 0
-xe0b -xcab -xc0f -xc29 +x16d0 -xbdb = 0
-xbdd -xcad -xc11 -xe0d +xe54 -xc2b = 0
-xe0f -xbdf -xc13 +xe55 -xc2d -xcaf = 0
-xc15 -xbe1 -xcb1 -xc2f +xe56 -xe11 = 0
-xcb3 -xc17 -xbe3 +x369 -xc31 -xe13 = 0
-xbe5 -xc19 -xe15 +x36a -xc33 -xcb5 = 0
-xe17 -xbe7 -xc35 +xe59 -xc1b -xcb7 = 0
-xc1d -xc37 +x1707 -xbe9 -xe19 -xcb9 = 0
-x11b8 +x16c6 -x622 = 0
-x1190 -x5dc +x16b8 = 0
-x11ea +x16b6 -x609 = 0
x16b0 -x5fa -x16cc = 0
-x16d6 +x1017 -x16d5 = 0
-x16d0 +x16b2 -x11d5 = 0
xebc -xe88 -xe54 = 0
xebd -xe55 -x38e = 0
-x38f +x3b6 -xe56 = 0
xebf -x369 -x390 = 0
x3b8 -x36a -xe8c = 0
-xe8d +xec1 -xe59 = 0
-x1707 +x1033 -x11c2 = 0
-xcc8 -x1701 -xe00 -xd23 +x14de -xce2 -x16c6 = 0
-xce3 -xe02 -xcca -xd25 -x16de +x80a -x16b8 = 0
-xccc -x16d9 -xce4 -xd27 -x16b6 +x17a0 -xe04 = 0
-xcce -x16b0 -xd29 +x1772 -x1131 -xce5 -xe06 = 0
-xe08 -xd2b -xcd0 -x1017 -x16d4 +x802 -xce6 = 0
x1798 -xe0a -xd2d -xcd2 -x16b2 -x16cf -x261 = 0
xf31 -xebc -xe0c -xcd5 -xdc5 -xd2f -xcd4 = 0
-xebd -xcd6 +xf32 -xe0e -xd31 -xce9 -xdb9 = 0
-xd33 +xf33 -xcd8 -xe10 -x264 -x3b6 -xdc7 = 0
-xcda -xebf -xe12 -x301 -xd35 -xcdb +xf34 = 0
-xcdc -xcec -x3b8 -xe14 +xf35 -x302 -xd37 = 0
-xcde -xdca +xf29 -xd39 -xec1 -xced -xe16 = 0
-x1033 -x268 -xd3b -xe18 -xce0 -x626 +x14e5 = 0
-xa17 -x9fd +x1705 = 0
-x9ff -xa19 +x11f7 = 0
-xa1b -xa01 +x11ee = 0
-xa1d -xa03 +x5fd = 0
-xa1f -xa05 +x16d8 = 0
-xa21 -xa07 +x16d3 = 0
x46a -xa09 -xa23 = 0
-xa0b -xa25 +xfa7 = 0
-xa27 -xa0d +xfa8 = 0
-xa0f -xa29 +xfa9 = 0
-xa11 -xa2b +x46e = 0
-xa13 +xfab -xa2d = 0
-xa2f +x62a -xa15 = 0
x16c7 -x11ba -x1705 = 0
x16b9 -x610 -x11f7 = 0
-x16dc +x16b7 -x11ee = 0
-x16cd +x1012 -x5fd = 0
x16b5 -x16d7 -x16d8 = 0
-x601 +x4bc -x16d3 = 0
-x46a -x443 +x491 = 0
-xfa7 +xfdb -xf73 = 0
-xf74 +xfdc -xfa8 = 0
xfdd -xf75 -xfa9 = 0
xfde -x447 -x46e = 0
-xf77 -xfab +xfdf = 0
-x62a +x1036 -x1228 = 0
-x16c7 -xbb7 +xfe2 -x14de = 0
-xbb9 -x16b9 +x169c -x80a = 0
-xbbb -x16b7 -x17a0 +xfe6 = 0
-x1772 -xbbd +xfe7 -x1012 = 0
-x16b5 +xfea -x802 -xbbf = 0
-x1798 -xbc1 +xfec -x4bc = 0
-xbc3 -xf31 +x49e -x491 = 0
x16aa -xf32 -xbc5 -xfdb = 0
-xf33 -xfdc +xff2 -xbc7 = 0
-xfdd -xbc9 +xff4 -xf34 = 0
-xfde -xbcb -xf35 +x16ad = 0
-xbcd -xf29 +xff8 -xfdf = 0
-xbcf +x16af -x1036 -x14e5 = 0
-xec1 +x1024 -x3b6 = 0
-xfdc -xfdf +x1026 = 0
-xebd -x3b8 +x4c5 = 0
-xfde -xfdb +x102a = 0
-xebf -xebc +x102c = 0
-xfdd -x491 +x102e = 0
-x16bb +x1024 -x16ba = 0
-x16bd -x16bc +x1026 = 0
-x16bf +x4c5 -x16be = 0
-x16c1 -x16c0 +x102a = 0
-x16c2 +x102c -x16c3 = 0
-x16c5 -x16c4 +x102e = 0
-xdca +x612 -xdc7 = 0
-xe59 -xe56 +x1198 = 0
x11fd -xe8d -x38f = 0
-xf74 -xf77 +x1200 = 0
-xfab +x616 -xfa8 = 0
x1204 -xdb9 -x302 = 0
-xe55 -x36a +x1206 = 0
-x38e +x619 -xe8c = 0
-x447 +x61a -xf73 = 0
-xfa7 +x11a8 -x46e = 0
-xdc5 -x301 +x120e = 0
x1210 -x369 -xe54 = 0
x61e -xe88 -x390 = 0
x61f -x443 -xf75 = 0
-x46a -xfa9 +x620 = 0
-x16e3 +x612 -x16e4 = 0
-x16e5 -x16e6 +x1198 = 0
x11fd -x16e8 -x16e7 = 0
x1200 -x16e9 -x16ea = 0
-x16ec -x16eb +x616 = 0
-x16ee +x1204 -x16ed = 0
-x16f0 -x16ef +x1206 = 0
-x16f1 -x16f2 +x619 = 0
x61a -x16f3 -x16f4 = 0
-x16f5 -x16f6 +x11a8 = 0
-x16f8 -x16f7 +x120e = 0
-x16fa -x16f9 +x1210 = 0
x61e -x16fc -x16fb = 0
-x16fd -x16fe +x61f = 0
-x16ff -x1700 +x620 = 0
-x1705 -x62a +x122b -x11a8 -x5fd -x616 -x11ee
-x16d3 -x620 -x11f7 -x16d8 = 0
-x16dc -x601 -x16d7 -x11ba -x61f -x1200 -x16cd
-x1228 +x631 -x610 -x61a = 0
-x1190 -x11fd -x61e -x16d6 -x11ea -x11b8 -x11d5
+x632 -x619 -x11c2 -x16cc = 0
-x1707 +x122e -x5fa -x16d0 -x1210 -x609 -x5dc
-x1206 -x16d5 -x622 -x1198 = 0
-x16d9 -x1701 -x1204 -x120e -x16d4 -x1131 -x16de
-x626 -x612 -x16cf +x62f = 0
-x1712 -x1710 -x170f -x1711 -x170b +x13c5 -x170d
-x1714 -x1713 -x170c -x170e = 0
-x171e -x171d -x1716 -x171a -x1719 -x1718 -x171c
-x171b -x1715 +x758 -x1717 = 0
-x1724 -x1726 -x1720 -x1721 -x1722 -x1727 -x1725
-x1723 -x171f +x13ca -x1728 = 0
-x1732 -x1731 -x172f -x172e -x172a -x172b +x13cc
-x172d -x1730 -x1729 -x172c = 0
-x1734 -x1739 -x1733 -x1736 -x1738 -x173a -x173b
-x1735 -x1737 -x173c +x75b = 0
x122b -x13c0 -x1231 = 0
-x636 -x753 +x631 = 0
-x1235 -x13c2 +x632 = 0
x122e -x1237 -x13c3 = 0
-x1239 +x62f -x751 = 0
-x743 -x1253 +x1231 = 0
x636 -x13ad -x1254 = 0
x1235 -x64b -x745 = 0
-x1256 -x13af +x1237 = 0
x1239 -x1257 -x747 = 0
x1253 -x13a7 -x13d9 = 0
-x13a8 -x762 +x1254 = 0
x64b -x740 -x763 = 0
-x13aa +x1256 -x13dc = 0
-x1260 +x1257 -x13dd = 0
-x1267 -x662 +x13d9 = 0
-x1269 -x1281 +x762 = 0
-x126b -x127b +x763 = 0
-x126d +x13dc -x1283 = 0
-x126f -x1284 +x13dd = 0
-x1267 +x716 -x662 = 0
-x1269 -x1281 +x1371 = 0
-x126b -x127b +x71d = 0
-x126d +x1373 -x1283 = 0
-x126f -x1284 +x1374 = 0
-x137f -x1375 +x716 = 0
-x1377 -x1380 +x1371 = 0
-x1379 +x71d -x722 = 0
-x137b -x1382 +x1373 = 0
-x1383 +x1374 -x137d = 0
-x137f -x1375 +x725 = 0
x725 -x1384 -x138e = 0
x726 -x1377 -x1380 = 0
-x1386 +x726 -x1387 = 0
-x1379 -x722 +x727 = 0
-x1388 -x1389 +x727 = 0
-x137b +x728 -x1382 = 0
x728 -x1391 -x138a = 0
-x1383 +x729 -x137d = 0
-x138c -x138d +x729 = 0
x72f -x1384 -x138e = 0
x72f -x1393 -x1394 = 0
-x1386 -x1387 +x730 = 0
-x735 +x730 -x1395 = 0
-x1388 -x1389 +x731 = 0
-x1397 -x139f +x731 = 0
x732 -x1391 -x138a = 0
x732 -x737 -x1399 = 0
-x138d +x733 -x138c = 0
x733 -x13a1 -x139b = 0
-x1393 +x13a2 -x1394 = 0
x13a3 -x735 -x1395 = 0
-x1397 +x13a4 -x139f = 0
x13a5 -x737 -x1399 = 0
-x139b -x13a1 +x13a6 = 0
-x743 +x13c5 -x13a2 -x13c0 -x13a7 = 0
-x13a3 -x13a8 -x753 -x13ad +x758 = 0
-x13a4 -x13c2 -x740 +x13ca -x745 = 0
-x13aa -x13a5 -x13af +x13cc -x13c3 = 0
-x1260 -x751 -x747 +x75b -x13a6 = 0
-x1705 -x62a -x11a8 +x1448 -x5fd -x616 -x11ee
-x620 -x16d3 -x11f7 -x16d8 = 0
-x16dc -x16d7 -x601 -x11ba -x61f -x1200 -x16cd
-x610 -x1228 -x61a +x1443 = 0
-x1190 -x11fd -x61e -x16d6 -x11ea +x144c -x11b8
-x11d5 -x619 -x11c2 -x16cc = 0
-x1707 -x5fa -x16d0 -x1210 -x609 +x144e -x5dc
-x16d5 -x1206 -x622 -x1198 = 0
-x16d9 +x7ba -x1701 -x1204 -x120e -x1131 -x16d4
-x16de -x626 -x612 -x16cf = 0
-x1745 -x173e -x1742 -x1746 -x173f -x1740 -x173d
-x1744 +x1448 -x1743 -x1741 = 0
-x174d -x174e -x174b -x1749 -x1748 -x1747 -x174c
-x1750 +x1443 -x174f -x174a = 0
-x1757 -x1753 -x1751 -x175a -x1754 -x1759 -x1752
+x144c -x1756 -x1755 -x1758 = 0
-x1762 -x175d -x1760 -x175b -x175c -x175e -x1763
+x144e -x1764 -x175f -x1761 = 0
-x176b -x176d -x1769 -x176c -x1765 -x1767 +x7ba
-x1766 -x176a -x1768 -x176e = 0
-x71d +x148c -x716 -x1374 -x1371 -x1373 = 0
-x71d -x716 -x1374 -x1371 +x148e -x1373 = 0
-x71d +x1457 -x716 -x1374 -x1371 -x1373 = 0
x7f4 -x71d -x716 -x1374 -x1371 -x1373 = 0
-x71d -x716 -x1374 +x1493 -x1371 -x1373 = 0
-x71d -x716 -x1374 +x1496 -x1371 -x1373 = 0
-xbb5 -xbb2 +x14c0 = 0
-xbb5 -xbb2 +x1470 = 0
-xf33 -xf29 +x14c4 = 0
-xf29 -xf33 +x14c6 = 0
-xbb4 +x1473 -xbb1 = 0
-xbb4 -xbb1 +x14ca = 0
-xf32 -xf35 +x14cc = 0
-xf32 -xf35 +x14ce = 0
-xbb0 +x813 -xbb3 = 0
x14d2 -xbb0 -xbb3 = 0
-xf31 -xf34 +x815 = 0
x14d6 -xf31 -xf34 = 0
-x1777 -x1773 -x1774 -x1776 +x148c -x1775 = 0
-x177b -x1778 -x1779 -x177c -x177a +x148e = 0
-x1780 -x177d -x177e +x1457 -x177f -x1781 = 0
-x1784 -x1785 +x7f4 -x1782 -x1786 -x1783 = 0
-x1787 -x1789 -x178a -x1788 +x1493 -x178b = 0
-x1790 -x178f -x178c -x178d -x178e +x1496 = 0
-x17a5 -x17a6 +x14c0 = 0
-x17a7 -x17a8 +x1470 = 0
-x17a9 -x17aa +x14c4 = 0
x14c6 -x17ab -x17ac = 0
-x17ad -x17ae +x1473 = 0
-x17af -x17b0 +x14ca = 0
-x17b1 +x14cc -x17b2 = 0
x14ce -x17b4 -x17b3 = 0
-x17b6 -x17b5 +x813 = 0
-x17b7 +x14d2 -x17b8 = 0
-x17ba +x815 -x17b9 = 0
-x17bc -x17bb +x14d6 = 0
-x824 +x1567 -x821 = 0
x825 -x824 -x821 = 0
-x64b -x1256 -x1253 -x1257 -x1254 +x1581 = 0
-x71d -x716 -x1374 +x8a7 -x1371 -x1373 = 0
-x71d -x716 -x1374 -x1371 -x1373 +x1502 = 0
-x71d -x716 -x1374 -x1371 +x1587 -x1373 = 0
x1589 -x71d -x716 -x1374 -x1371 -x1373 = 0
-x71d -x716 -x1374 +x158b -x1371 -x1373 = 0
x8ac -x71d -x716 -x1374 -x1371 -x1373 = 0
-x144c -x7ba +x15b2 -x1448 -x144e -x1443 = 0
-x144c -x7ba +x15b5 -x1448 -x144e -x1443 = 0
x15b6 -x144c -x7ba -x1448 -x144e -x1443 = 0
-x144c -x7ba +x15b9 -x1448 -x144e -x1443 = 0
-x144c -x7ba -x1448 +x15bb -x144e -x1443 = 0
-xafc -x149 +x15f1 = 0
-xafc -x149 +x8df = 0
-xafc +x15f5 -x149 = 0
-x149 -xafc +x15f7 = 0
-xbb5 -xbb2 +x8e2 = 0
-xd1e -x29b +x15fb = 0
-xd6c -xd6f +x15fd = 0
-x337 -x31a +x15ff = 0
-x145 +x1601 -x148 = 0
-x145 +x1603 -x148 = 0
-x145 +x8e8 -x148 = 0
-x145 +x8e9 -x148 = 0
-xbb4 -xbb1 +x1608 = 0
x160b -x297 -xd20 = 0
-xd6b +x1546 -x2ce = 0
-xdfd -xdfa +x160f = 0
-xafa +x1610 -xafd = 0
-xafa -xafd +x1612 = 0
-xafa -xafd +x8f0 = 0
-xafa -xafd +x1616 = 0
x1619 -xbb0 -xbb3 = 0
-xd1f -x296 +x154d = 0
-xd6a -x2c0 +x8f4 = 0
-xdfc +x884 -x325 = 0
-x17d9 -x17d6 -x17d8 -x17d7 -x17d5 +x1581 = 0
-x17dc -x17de -x17db -x17dd +x8a7 -x17da = 0
-x17e0 -x17df -x17e2 -x17e1 -x17e3 +x1502 = 0
-x17e6 -x17e4 -x17e5 -x17e7 -x17e8 +x1587 = 0
-x17eb -x17e9 +x1589 -x17ed -x17ea -x17ec = 0
-x17f0 -x17ee -x17f2 -x17ef +x158b -x17f1 = 0
-x17f7 -x17f3 -x17f5 +x8ac -x17f4 -x17f6 = 0
-x180b -x180e -x180a +x15b2 -x180c -x180d = 0
-x1811 -x1810 -x1813 -x1812 +x15b5 -x180f = 0
-x1818 +x15b6 -x1814 -x1817 -x1816 -x1815 = 0
-x181b +x15b9 -x181a -x181d -x1819 -x181c = 0
-x1821 -x1820 -x1822 -x181f +x15bb -x181e = 0
-x183d -x183e +x15f1 = 0
-x183f -x1840 +x8df = 0
-x1841 +x15f5 -x1842 = 0
-x1843 -x1844 +x15f7 = 0
-x1846 -x1845 +x8e2 = 0
-x1848 +x15fb -x1847 = 0
-x1849 -x184a +x15fd = 0
-x184b -x184c +x15ff = 0
-x184e +x1601 -x184d = 0
-x184f -x1850 +x1603 = 0
-x1851 +x8e8 -x1852 = 0
-x1853 +x8e9 -x1854 = 0
-x1855 +x1608 -x1856 = 0
-x1857 +x160b -x1858 = 0
-x185a +x1546 -x1859 = 0
-x185c -x185b +x160f = 0
-x185e -x185d +x1610 = 0
-x1860 -x185f +x1612 = 0
-x1862 -x1861 +x8f0 = 0
-x1864 +x1616 -x1863 = 0
x1619 -x1866 -x1865 = 0
-x1868 -x1867 +x154d = 0
-x1869 -x186a +x8f4 = 0
-x186c -x186b +x884 = 0
-x762 -x13dc +x1644 -x13dd -x763 -x13d9 = 0
-x1696 -x943 +x90b = 0
x1647 -x1648 -x1696 = 0
-x1881 +x1647 -x187f -x1880 -x1882 -x1883 = 0
x164a -x164b -x943 = 0
x164a -x1884 -x1885 = 0
-x166a -x1648 +x1644 = 0
-x925 -x164b +x90b = 0
-x166c +x166a -x1690 = 0
-x166e +x925 -x1691 = 0
-x166c +x1686 -x1690 = 0
-x166e -x1691 +x937 = 0
-x1688 +x1686 -x1689 = 0
-x168a -x168f +x937 = 0
-x1688 -x1689 +x1696 = 0
-x168a -x168f +x943 = 0
2 x762 +2 x13dc -x1696 -x943 +2 x13dd +2 x13d9 +2 x763 >= 0
\ Lower Bounds
Bounds
xcde >= 0
xbda >= 0
x16a4 >= 0
x185e >= 0
xca7 >= 0
xc9f >= 0
xbdd >= 0
xe09 >= 0
xc1d >= 0
xe0b >= 0
x177b >= 0
x72f >= 0
xe0a >= 0
x1712 >= 0
xbe1 >= 0
xcda >= 0
xa11 >= 0
xc46 >= 0
xe08 >= 0
xc47 >= 0
xc0e >= 0
x16f8 >= 0
x171e >= 0
x164a >= 0
x1784 >= 0
xc20 >= 0
xc92 >= 0
xa13 >= 0
xc4b >= 0
x1868 >= 0
x17e6 >= 0
xc6b >= 0
x16a7 >= 0
x1862 >= 0
x1757 >= 0
x176b >= 0
xa1f >= 0
x17de >= 0
x1734 >= 0
x1798 >= 0
x1710 >= 0
x1809 >= 0
x17bc >= 0
x1821 >= 0
x16a0 >= 0
x185a >= 0
x17f7 >= 0
xdca >= 0
x1745 >= 0
x95c >= 0
xc4d >= 0
x9ff >= 0
xbe5 >= 0
xca3 >= 0
xa0b >= 0
xa1b >= 0
xbcf >= 0
x170f >= 0
x1787 >= 0
x1753 >= 0
x17a7 >= 0
x13a3 >= 0
x17e0 >= 0
xbfd >= 0
xc5b >= 0
x17d9 >= 0
xc67 >= 0
x16c5 >= 0
x166e >= 0
x185c >= 0
xc95 >= 0
xbd7 >= 0
xc2c >= 0
xc9b >= 0
x17dc >= 0
x183f >= 0
x1269 >= 0
x16bf >= 0
xc15 >= 0
x17eb >= 0
xc37 >= 0
xc75 >= 0
x1739 >= 0
x17f3 >= 0
xc69 >= 0
xa17 >= 0
x17df >= 0
x1724 >= 0
x16ff >= 0
xbd9 >= 0
x16f7 >= 0
x1881 >= 0
x1235 >= 0
xc01 >= 0
x16dc >= 0
x180e >= 0
x184f >= 0
xfde >= 0
x174d >= 0
x1846 >= 0
xc28 >= 0
x16bb >= 0
x1751 >= 0
xcb3 >= 0
x1726 >= 0
x1688 >= 0
xbdf >= 0
x171d >= 0
xc53 >= 0
x17a8 >= 0
x176d >= 0
xce3 >= 0
x16fa >= 0
x9be >= 0
x9fd >= 0
x1732 >= 0
x17e4 >= 0
x1742 >= 0
xe0f >= 0
x16fd >= 0
x137f >= 0
x17b6 >= 0
x16b5 >= 0
x1769 >= 0
xe17 >= 0
x173e >= 0
x16a8 >= 0
x178f >= 0
xc03 >= 0
xca9 >= 0
x1720 >= 0
xcc8 >= 0
xc45 >= 0
xc19 >= 0
x16c2 >= 0
xa25 >= 0
xc8f >= 0
x1762 >= 0
x1843 >= 0
xbdc >= 0
x17db >= 0
x180b >= 0
x169f >= 0
xbe7 >= 0
xe01 >= 0
x1790 >= 0
xcdc >= 0
xa27 >= 0
x175d >= 0
x1785 >= 0
x1731 >= 0
x186c >= 0
xcad >= 0
xc0d >= 0
x1711 >= 0
xccc >= 0
x1789 >= 0
xc58 >= 0
x48 >= 0
x172f >= 0
x1736 >= 0
x16f9 >= 0
xc13 >= 0
x1869 >= 0
x174e >= 0
x1822 >= 0
xcab >= 0
x825 >= 0
xc38 >= 0
xcec >= 0
x16b9 >= 0
x16fe >= 0
xbcb >= 0
xc1f >= 0
x170b >= 0
x1811 >= 0
xebf >= 0
x9f8 >= 0
x17af >= 0
x1861 >= 0
x13aa >= 0
x14d6 >= 0
x17d6 >= 0
xebd >= 0
x1647 >= 0
x175a >= 0
x7f4 >= 0
xc21 >= 0
xbc3 >= 0
x16c7 >= 0
x1733 >= 0
xa01 >= 0
x1840 >= 0
xc82 >= 0
x21c >= 0
xa1d >= 0
x17d0 >= 0
x16d7 >= 0
x1875 >= 0
xa21 >= 0
xbf3 >= 0
x601 >= 0
xcd6 >= 0
x184b >= 0
x184c >= 0
xbd4 >= 0
x13a8 >= 0
xbb9 >= 0
x17e9 >= 0
xbfc >= 0
x9a8 >= 0
x186a >= 0
x178a >= 0
x181b >= 0
xa05 >= 0
xbcd >= 0
x177d >= 0
x1190 >= 0
x174b >= 0
xc97 >= 0
x1782 >= 0
x1820 >= 0
xa2b >= 0
xe02 >= 0
xd2b >= 0
xc7b >= 0
xcce >= 0
x180a >= 0
x17c9 >= 0
xf74 >= 0
x1ec >= 0
x17ad >= 0
xbbb >= 0
x17f0 >= 0
xc65 >= 0
x17a5 >= 0
xe15 >= 0
xf31 >= 0
xa19 >= 0
x126d >= 0
xd33 >= 0
x1375 >= 0
x203 >= 0
x1850 >= 0
x1754 >= 0
x17bb >= 0
x925 >= 0
x1829 >= 0
x16a1 >= 0
x1780 >= 0
xebc >= 0
xc99 >= 0
x171a >= 0
xc39 >= 0
xe14 >= 0
x16a5 >= 0
x1716 >= 0
xc62 >= 0
x16bd >= 0
x1619 >= 0
xbc8 >= 0
x1746 >= 0
xc73 >= 0
xc5d >= 0
x1721 >= 0
x1760 >= 0
x3b8 >= 0
x1844 >= 0
x175c >= 0
x138d >= 0
x9d4 >= 0
xc4c >= 0
xa07 >= 0
x16ec >= 0
x16a3 >= 0
x1379 >= 0
x1765 >= 0
x1388 >= 0
x1818 >= 0
x1777 >= 0
x67 >= 0
xc07 >= 0
x175b >= 0
x138c >= 0
xc63 >= 0
x1759 >= 0
xc8b >= 0
xe03 >= 0
x177e >= 0
x126f >= 0
x16bc >= 0
x16e3 >= 0
xf32 >= 0
x1767 >= 0
x743 >= 0
x17ae >= 0
x1849 >= 0
xe55 >= 0
xd1e >= 0
xc81 >= 0
x173f >= 0
x17d8 >= 0
xe0e >= 0
xc88 >= 0
xc9d >= 0
xc41 >= 0
xbfb >= 0
xc17 >= 0
x1841 >= 0
x17dd >= 0
x16c3 >= 0
x176c >= 0
xcb1 >= 0
x1386 >= 0
x137b >= 0
x185d >= 0
x16b0 >= 0
x16a6 >= 0
x102c >= 0
x1857 >= 0
x49e >= 0
x172e >= 0
xbd2 >= 0
x1864 >= 0
xe12 >= 0
xc35 >= 0
x733 >= 0
xbd8 >= 0
x1806 >= 0
x182e >= 0
x1705 >= 0
x1786 >= 0
x17ba >= 0
x1589 >= 0
xce4 >= 0
xa29 >= 0
xc05 >= 0
x1740 >= 0
x16d9 >= 0
x1738 >= 0
xf29 >= 0
x732 >= 0
x16aa >= 0
x1707 >= 0
x187a >= 0
x126b >= 0
x13a5 >= 0
x1267 >= 0
x17d1 >= 0
xa0f >= 0
xc27 >= 0
x183c >= 0
x16c1 >= 0
xc68 >= 0
x9d9 >= 0
xfa7 >= 0
x11ba >= 0
x1727 >= 0
xf33 >= 0
x17b0 >= 0
x166c >= 0
x17b1 >= 0
xa02 >= 0
x11fd >= 0
xd29 >= 0
x178c >= 0
x1722 >= 0
xa16 >= 0
xc0f >= 0
x1f0 >= 0
x1e6 >= 0
x1810 >= 0
x64b >= 0
x1772 >= 0
x96 >= 0
x1e9 >= 0
x9a1 >= 0
x17e7 >= 0
x301 >= 0
xc2d >= 0
xdfc >= 0
x16a2 >= 0
xdc5 >= 0
x145 >= 0
xd35 >= 0
x178d >= 0
xa2f >= 0
xe0c >= 0
xc0b >= 0
x62a >= 0
xa09 >= 0
x1256 >= 0
xc29 >= 0
xbc1 >= 0
x1e0 >= 0
xc36 >= 0
x16f5 >= 0
xcaf >= 0
x122e >= 0
xf77 >= 0
x16ee >= 0
x38e >= 0
xc08 >= 0
x716 >= 0
xcd5 >= 0
xf35 >= 0
xd31 >= 0
x61e >= 0
x127b >= 0
x1725 >= 0
x17e5 >= 0
x1851 >= 0
x89b >= 0
x93 >= 0
x9f4 >= 0
xbb4 >= 0
xc9c >= 0
xcd0 >= 0
xe8d >= 0
xc32 >= 0
x15eb >= 0
x16f6 >= 0
xc2f >= 0
x46a >= 0
x1788 >= 0
x7ba >= 0
x17ed >= 0
x17b7 >= 0
x1845 >= 0
xbc0 >= 0
x175e >= 0
x16fc >= 0
x1719 >= 0
xc51 >= 0
x169c >= 0
x20e >= 0
x16c0 >= 0
x9bc >= 0
x17a9 >= 0
x447 >= 0
xbb7 >= 0
x1774 >= 0
x16c4 >= 0
xc7f >= 0
x1749 >= 0
xfdc >= 0
x17b5 >= 0
x1778 >= 0
x181f >= 0
x4c5 >= 0
x1033 >= 0
xd6a >= 0
x5fa >= 0
xa06 >= 0
xc74 >= 0
x1752 >= 0
x1866 >= 0
xd6f >= 0
xd2f >= 0
xbb8 >= 0
xbb5 >= 0
x1779 >= 0
x16eb >= 0
x15b6 >= 0
x1718 >= 0
x186b >= 0
x1204 >= 0
x824 >= 0
x1567 >= 0
x737 >= 0
x160b >= 0
x173a >= 0
x725 >= 0
x1776 >= 0
xbb2 >= 0
xfab >= 0
x184a >= 0
xc8c >= 0
x8 >= 0
x120e >= 0
x16be >= 0
x17d7 >= 0
x1017 >= 0
x1200 >= 0
x17ea >= 0
x636 >= 0
xc59 >= 0
xbf5 >= 0
x9a9 >= 0
xc14 >= 0
xd6c >= 0
x1701 >= 0
xa03 >= 0
x17ee >= 0
x268 >= 0
x16b7 >= 0
xfe2 >= 0
xd6b >= 0
x1457 >= 0
x1773 >= 0
x9f0 >= 0
xfdd >= 0
xcd2 >= 0
xd2d >= 0
x1756 >= 0
xc61 >= 0
x155f >= 0
xbe9 >= 0
x1284 >= 0
x144c >= 0
x753 >= 0
x16f1 >= 0
x1860 >= 0
x1873 >= 0
x16d6 >= 0
x9a >= 0
x1689 >= 0
xc43 >= 0
xdfd >= 0
x71d >= 0
x148c >= 0
x8e8 >= 0
x13c5 >= 0
xbe6 >= 0
x14d2 >= 0
xc72 >= 0
xbc5 >= 0
x13af >= 0
x17e2 >= 0
x220 >= 0
x61f >= 0
x183d >= 0
xcd8 >= 0
x17a6 >= 0
x1f4 >= 0
x170d >= 0
x8ac >= 0
xcdb >= 0
x11ea >= 0
x17f5 >= 0
x290 >= 0
xc93 >= 0
xc8d >= 0
xd27 >= 0
x177c >= 0
x17f2 >= 0
x185b >= 0
x2c0 >= 0
xc12 >= 0
x1384 >= 0
x15b2 >= 0
x1748 >= 0
x1cf >= 0
x15d6 >= 0
x1eb >= 0
xe88 >= 0
x1d4 >= 0
xafa >= 0
x1686 >= 0
x212 >= 0
x17ec >= 0
xd39 >= 0
xa10 >= 0
x17e1 >= 0
x231 >= 0
x337 >= 0
x9aa >= 0
x16b2 >= 0
x40 >= 0
x172a >= 0
x156f >= 0
x187f >= 0
x9f6 >= 0
x241 >= 0
x16f0 >= 0
x13a4 >= 0
xc71 >= 0
xc02 >= 0
x1755 >= 0
x173b >= 0
x1260 >= 0
x16b6 >= 0
x13c2 >= 0
x180c >= 0
xdfa >= 0
x11b8 >= 0
xc18 >= 0
x726 >= 0
x1603 >= 0
x1690 >= 0
xbf7 >= 0
xca5 >= 0
x16af >= 0
x8a4 >= 0
xfdb >= 0
xc11 >= 0
xce9 >= 0
x14cc >= 0
x172b >= 0
x173d >= 0
x9ae >= 0
x16e5 >= 0
xfea >= 0
x443 >= 0
xbc4 >= 0
x9bb >= 0
x22f >= 0
x166a >= 0
xbf9 >= 0
x1880 >= 0
x1d2 >= 0
xc3f >= 0
x17ef >= 0
xa0a >= 0
xe10 >= 0
x29b >= 0
x16f2 >= 0
x1383 >= 0
x1813 >= 0
x17f4 >= 0
xcca >= 0
x1766 >= 0
x1610 >= 0
x1835 >= 0
x171c >= 0
x178e >= 0
xff8 >= 0
xe05 >= 0
x16cd >= 0
x9ab >= 0
xbbd >= 0
x17e8 >= 0
x1848 >= 0
x184e >= 0
x172d >= 0
x1397 >= 0
x16e9 >= 0
x1239 >= 0
x16d4 >= 0
x21a >= 0
x9a7 >= 0
x1377 >= 0
xc70 >= 0
xce5 >= 0
xd3b >= 0
x171b >= 0
xc7e >= 0
x9a0 >= 0
x1814 >= 0
x17d5 >= 0
x1473 >= 0
x1253 >= 0
x1691 >= 0
x9f3 >= 0
xdb9 >= 0
x1131 >= 0
xd23 >= 0
x11a8 >= 0
xa0d >= 0
x185f >= 0
x9d6 >= 0
x1648 >= 0
xbc9 >= 0
xc55 >= 0
xbe4 >= 0
x1763 >= 0
x216 >= 0
xc3b >= 0
x1700 >= 0
x1747 >= 0
x14ce >= 0
x16d0 >= 0
x13cc >= 0
x1237 >= 0
x17a0 >= 0
xc79 >= 0
xa23 >= 0
x1744 >= 0
xc9e >= 0
x9ba >= 0
x728 >= 0
x9f5 >= 0
x16ef >= 0
xbff >= 0
xe00 >= 0
xc94 >= 0
x98 >= 0
xc3e >= 0
x209 >= 0
x722 >= 0
xd25 >= 0
x15fb >= 0
x1393 >= 0
x122b >= 0
x162a >= 0
x1812 >= 0
x1387 >= 0
x1281 >= 0
x168a >= 0
x139f >= 0
xbed >= 0
xc2a >= 0
x264 >= 0
xbe3 >= 0
x1855 >= 0
x1817 >= 0
x13dc >= 0
xe18 >= 0
x1448 >= 0
x1374 >= 0
xc77 >= 0
x17d4 >= 0
x1470 >= 0
x9a2 >= 0
x1d0 >= 0
x16de >= 0
xafd >= 0
x1257 >= 0
x180f >= 0
xa15 >= 0
xfe7 >= 0
x16ea >= 0
xbb1 >= 0
x1616 >= 0
x1853 >= 0
xec1 >= 0
x17aa >= 0
xa2d >= 0
x9 >= 0
x139b >= 0
xc54 >= 0
x1036 >= 0
x15f5 >= 0
x802 >= 0
xc6f >= 0
x168f >= 0
x55 >= 0
x13c3 >= 0
x187b >= 0
xe19 >= 0
x17f6 >= 0
x1867 >= 0
xc23 >= 0
x183e >= 0
x1551 >= 0
x1210 >= 0
x158b >= 0
x181d >= 0
x14c0 >= 0
xc57 >= 0
x631 >= 0
xc40 >= 0
x17b2 >= 0
x1546 >= 0
x38f >= 0
x1228 >= 0
x15e7 >= 0
x9f7 >= 0
xd37 >= 0
x1696 >= 0
x164b >= 0
xd1f >= 0
xc98 >= 0
x885 >= 0
x13ad >= 0
x17b4 >= 0
xe07 >= 0
x13a2 >= 0
x1816 >= 0
x174c >= 0
x491 >= 0
x729 >= 0
x9b8 >= 0
x92 >= 0
xf75 >= 0
x14de >= 0
x8a7 >= 0
x9ef >= 0
x15b5 >= 0
x181a >= 0
x2ce >= 0
x762 >= 0
x15b9 >= 0
x233 >= 0
x15bb >= 0
xc64 >= 0
xafc >= 0
xff4 >= 0
x15ff >= 0
x884 >= 0
x1781 >= 0
x182f >= 0
x610 >= 0
x31a >= 0
x369 >= 0
x11d5 >= 0
x13a1 >= 0
x302 >= 0
x7d >= 0
xbce >= 0
xc87 >= 0
x149 >= 0
xc8e >= 0
x16e6 >= 0
x1389 >= 0
x1743 >= 0
xa0 >= 0
x609 >= 0
xc66 >= 0
xbb0 >= 0
xa0c >= 0
xc6e >= 0
x177f >= 0
xbba >= 0
xc25 >= 0
x14c6 >= 0
x1e5 >= 0
xbd0 >= 0
xbca >= 0
x24f >= 0
x1382 >= 0
x8c8 >= 0
xbe2 >= 0
xf34 >= 0
x17ab >= 0
x1847 >= 0
x1565 >= 0
x1750 >= 0
x178b >= 0
xc44 >= 0
x1775 >= 0
x1601 >= 0
x5dc >= 0
x16e8 >= 0
x1024 >= 0
x1254 >= 0
x1854 >= 0
x616 >= 0
x14c4 >= 0
xc6c >= 0
x1012 >= 0
x102a >= 0
x177a >= 0
x1380 >= 0
xced >= 0
x1633 >= 0
x144e >= 0
x171f >= 0
x15f7 >= 0
xbf1 >= 0
x1493 >= 0
x181e >= 0
x15e4 >= 0
xfa9 >= 0
xce6 >= 0
x1723 >= 0
x1395 >= 0
x239 >= 0
xce0 >= 0
x16ba >= 0
xcd4 >= 0
x740 >= 0
x9a5 >= 0
x9d8 >= 0
x102e >= 0
x1852 >= 0
x1865 >= 0
x632 >= 0
x236 >= 0
x8e9 >= 0
xbe0 >= 0
x1608 >= 0
x61a >= 0
x1863 >= 0
x79 >= 0
x8f4 >= 0
x36a >= 0
x8e2 >= 0
x1714 >= 0
x1371 >= 0
x1525 >= 0
xc91 >= 0
x943 >= 0
x619 >= 0
x17e3 >= 0
x15c7 >= 0
x5fd >= 0
x735 >= 0
xe06 >= 0
x16ed >= 0
x16f3 >= 0
x1496 >= 0
x17da >= 0
xe59 >= 0
x1882 >= 0
x1735 >= 0
x1713 >= 0
x813 >= 0
xc60 >= 0
xbee >= 0
x1842 >= 0
x25b >= 0
x21e >= 0
x16ad >= 0
x80a >= 0
x25a >= 0
x17f1 >= 0
xfdf >= 0
x747 >= 0
x1026 >= 0
x1815 >= 0
x297 >= 0
xbcc >= 0
x16d5 >= 0
xfec >= 0
x13ca >= 0
x14e5 >= 0
x821 >= 0
xc50 >= 0
x15fd >= 0
x8da >= 0
x13dd >= 0
x1819 >= 0
x8ba >= 0
x1715 >= 0
x1730 >= 0
x1644 >= 0
xce2 >= 0
x626 >= 0
x11ee >= 0
x731 >= 0
x174f >= 0
x1758 >= 0
xc4e >= 0
x17d2 >= 0
x170c >= 0
x727 >= 0
x23e >= 0
x950 >= 0
xc1a >= 0
x173c >= 0
x1764 >= 0
xbf2 >= 0
x1443 >= 0
x1729 >= 0
xc16 >= 0
x1206 >= 0
x1737 >= 0
xbef >= 0
x181c >= 0
xc49 >= 0
xc22 >= 0
x730 >= 0
x11c2 >= 0
x9f >= 0
x612 >= 0
x1883 >= 0
x296 >= 0
xc6a >= 0
xe0d >= 0
x745 >= 0
x17b8 >= 0
xe04 >= 0
x15f1 >= 0
x20b >= 0
x8f0 >= 0
x622 >= 0
xc5f >= 0
x175f >= 0
xc0a >= 0
xc4f >= 0
x8df >= 0
xcb9 >= 0
xc33 >= 0
x1399 >= 0
x184d >= 0
xc7a >= 0
xc76 >= 0
xc00 >= 0
x95 >= 0
x13a7 >= 0
xc89 >= 0
x1283 >= 0
x758 >= 0
x172c >= 0
x16c6 >= 0
xc10 >= 0
xc1c >= 0
xe56 >= 0
x1641 >= 0
xff2 >= 0
x390 >= 0
x620 >= 0
xbd5 >= 0
x1394 >= 0
x815 >= 0
xc26 >= 0
x11f7 >= 0
x174a >= 0
x148e >= 0
x16d3 >= 0
x94f >= 0
xbd1 >= 0
x16e4 >= 0
x1741 >= 0
x1581 >= 0
x13c0 >= 0
xe8c >= 0
x16cc >= 0
x16d8 >= 0
xbd6 >= 0
xe11 >= 0
x1231 >= 0
x17b9 >= 0
x1761 >= 0
xc >= 0
x17b3 >= 0
x94a >= 0
xc09 >= 0
xdc7 >= 0
x22d >= 0
x20f >= 0
x176a >= 0
xca1 >= 0
x763 >= 0
xc2e >= 0
x1768 >= 0
xbd3 >= 0
x46e >= 0
x1502 >= 0
xe13 >= 0
x200 >= 0
x16e7 >= 0
xc04 >= 0
x170e >= 0
x1373 >= 0
x1858 >= 0
x1832 >= 0
x15ec >= 0
x1808 >= 0
x148 >= 0
xcb7 >= 0
xa0e >= 0
x84 >= 0
x90b >= 0
x14ca >= 0
x187e >= 0
xc7d >= 0
x154d >= 0
xbdb >= 0
x1f7 >= 0
x1391 >= 0
xbc7 >= 0
xbfa >= 0
x23c >= 0
x160f >= 0
xd20 >= 0
x751 >= 0
x1728 >= 0
x138e >= 0
x1587 >= 0
xbf8 >= 0
xfa8 >= 0
x215 >= 0
x15c3 >= 0
xbeb >= 0
xbec >= 0
x16fb >= 0
x62f >= 0
x3b6 >= 0
x13a6 >= 0
x325 >= 0
x180d >= 0
x15d9 >= 0
xc1b >= 0
x4bc >= 0
xcb5 >= 0
x1859 >= 0
xc2b >= 0
x138a >= 0
x1612 >= 0
x937 >= 0
xbbf >= 0
x1198 >= 0
x16cf >= 0
x1884 >= 0
xe16 >= 0
xbb3 >= 0
x1807 >= 0
xfe6 >= 0
xc86 >= 0
x1717 >= 0
x1856 >= 0
xc5c >= 0
xc31 >= 0
x176e >= 0
x1783 >= 0
x16b8 >= 0
x17ac >= 0
x1885 >= 0
xe54 >= 0
x13d9 >= 0
x662 >= 0
xf73 >= 0
xc3d >= 0
x75b >= 0
x261 >= 0
x137d >= 0
x952 >= 0
x16f4 >= 0
\ Integer Requirements: ILP
Generals
x1
xcde xbda x16a4 x185e xca7 xc9f xbdd xe09 xc1d xe0b
x177b x72f xe0a x1712 xbe1 xcda xa11 xc46 xe08 xc47
xc0e x16f8 x171e x164a x1784 xc20 xc92 xa13 xc4b x1868
x17e6 xc6b x16a7 x1862 x1757 x176b xa1f x17de x1734 x1798
x1710 x1809 x17bc x1821 x16a0 x185a x17f7 xdca x1745 x95c
xc4d x9ff xbe5 xca3 xa0b xa1b xbcf x170f x1787 x1753
x17a7 x13a3 x17e0 xbfd xc5b x17d9 xc67 x16c5 x166e x185c
xc95 xbd7 xc2c xc9b x17dc x183f x1269 x16bf xc15 x17eb
xc37 xc75 x1739 x17f3 xc69 xa17 x17df x1724 x16ff xbd9
x16f7 x1881 x1235 xc01 x16dc x180e x184f xfde x174d x1846
xc28 x16bb x1751 xcb3 x1726 x1688 xbdf x171d xc53 x17a8
x176d xce3 x16fa x9be x9fd x1732 x17e4 x1742 xe0f x16fd
x137f x17b6 x16b5 x1769 xe17 x173e x16a8 x178f xc03 xca9
x1720 xcc8 xc45 xc19 x16c2 xa25 xc8f x1762 x1843 xbdc
x17db x180b x169f xbe7 xe01 x1790 xcdc xa27 x175d x1785
x1731 x186c xcad xc0d x1711 xccc x1789 xc58 x48 x172f
x1736 x16f9 xc13 x1869 x174e x1822 xcab x825 xc38 xcec
x16b9 x16fe xbcb xc1f x170b x1811 xebf x9f8 x17af x1861
x13aa x14d6 x17d6 xebd x1647 x175a x7f4 xc21 xbc3 x16c7
x1733 xa01 x1840 xc82 x21c xa1d x17d0 x16d7 x1875 xa21
xbf3 x601 xcd6 x184b x184c xbd4 x13a8 xbb9 x17e9 xbfc
x9a8 x186a x178a x181b xa05 xbcd x177d x1190 x174b xc97
x1782 x1820 xa2b xe02 xd2b xc7b xcce x180a x17c9 xf74
x1ec x17ad xbbb x17f0 xc65 x17a5 xe15 xf31 xa19 x126d
xd33 x1375 x203 x1850 x1754 x17bb x925 x1829 x16a1 x1780
xebc xc99 x171a xc39 xe14 x16a5 x1716 xc62 x16bd x1619
xbc8 x1746 xc73 xc5d x1721 x1760 x3b8 x1844 x175c x138d
x9d4 xc4c xa07 x16ec x16a3 x1379 x1765 x1388 x1818 x1777
x67 xc07 x175b x138c xc63 x1759 xc8b xe03 x177e x126f
x16bc x16e3 xf32 x1767 x743 x17ae x1849 xe55 xd1e xc81
x173f x17d8 xe0e xc88 xc9d xc41 xbfb xc17 x1841 x17dd
x16c3 x176c xcb1 x1386 x137b x185d x16b0 x16a6 x102c x1857
x49e x172e xbd2 x1864 xe12 xc35 x733 xbd8 x1806 x182e
x1705 x1786 x17ba x1589 xce4 xa29 xc05 x1740 x16d9 x1738
xf29 x732 x16aa x1707 x187a x126b x13a5 x1267 x17d1 xa0f
xc27 x183c x16c1 xc68 x9d9 xfa7 x11ba x1727 xf33 x17b0
x166c x17b1 xa02 x11fd xd29 x178c x1722 xa16 xc0f x1f0
x1e6 x1810 x64b x1772 x96 x1e9 x9a1 x17e7 x301 xc2d
xdfc x16a2 xdc5 x145 xd35 x178d xa2f xe0c xc0b x62a
xa09 x1256 xc29 xbc1 x1e0 xc36 x16f5 xcaf x122e xf77
x16ee x38e xc08 x716 xcd5 xf35 xd31 x61e x127b x1725
x17e5 x1851 x89b x93 x9f4 xbb4 xc9c xcd0 xe8d xc32
x15eb x16f6 xc2f x46a x1788 x7ba x17ed x17b7 x1845 xbc0
x175e x16fc x1719 xc51 x169c x20e x16c0 x9bc x17a9 x447
xbb7 x1774 x16c4 xc7f x1749 xfdc x17b5 x1778 x181f x4c5
x1033 xd6a x5fa xa06 xc74 x1752 x1866 xd6f xd2f xbb8
xbb5 x1779 x16eb x15b6 x1718 x186b x1204 x824 x1567 x737
x160b x173a x725 x1776 xbb2 xfab x184a xc8c x8 x120e
x16be x17d7 x1017 x1200 x17ea x636 xc59 xbf5 x9a9 xc14
xd6c x1701 xa03 x17ee x268 x16b7 xfe2 xd6b x1457 x1773
x9f0 xfdd xcd2 xd2d x1756 xc61 x155f xbe9 x1284 x144c
x753 x16f1 x1860 x1873 x16d6 x9a x1689 xc43 xdfd x71d
x148c x8e8 x13c5 xbe6 x14d2 xc72 xbc5 x13af x17e2 x220
x61f x183d xcd8 x17a6 x1f4 x170d x8ac xcdb x11ea x17f5
x290 xc93 xc8d xd27 x177c x17f2 x185b x2c0 xc12 x1384
x15b2 x1748 x1cf x15d6 x1eb xe88 x1d4 xafa x1686 x212
x17ec xd39 xa10 x17e1 x231 x337 x9aa x16b2 x40 x172a
x156f x187f x9f6 x241 x16f0 x13a4 xc71 xc02 x1755 x173b
x1260 x16b6 x13c2 x180c xdfa x11b8 xc18 x726 x1603 x1690
xbf7 xca5 x16af x8a4 xfdb xc11 xce9 x14cc x172b x173d
x9ae x16e5 xfea x443 xbc4 x9bb x22f x166a xbf9 x1880
x1d2 xc3f x17ef xa0a xe10 x29b x16f2 x1383 x1813 x17f4
xcca x1766 x1610 x1835 x171c x178e xff8 xe05 x16cd x9ab
xbbd x17e8 x1848 x184e x172d x1397 x16e9 x1239 x16d4 x21a
x9a7 x1377 xc70 xce5 xd3b x171b xc7e x9a0 x1814 x17d5
x1473 x1253 x1691 x9f3 xdb9 x1131 xd23 x11a8 xa0d x185f
x9d6 x1648 xbc9 xc55 xbe4 x1763 x216 xc3b x1700 x1747
x14ce x16d0 x13cc x1237 x17a0 xc79 xa23 x1744 xc9e x9ba
x728 x9f5 x16ef xbff xe00 xc94 x98 xc3e x209 x722
xd25 x15fb x1393 x122b x162a x1812 x1387 x1281 x168a x139f
xbed xc2a x264 xbe3 x1855 x1817 x13dc xe18 x1448 x1374
xc77 x17d4 x1470 x9a2 x1d0 x16de xafd x1257 x180f xa15
xfe7 x16ea xbb1 x1616 x1853 xec1 x17aa xa2d x9 x139b
xc54 x1036 x15f5 x802 xc6f x168f x55 x13c3 x187b xe19
x17f6 x1867 xc23 x183e x1551 x1210 x158b x181d x14c0 xc57
x631 xc40 x17b2 x1546 x38f x1228 x15e7 x9f7 xd37 x1696
x164b xd1f xc98 x885 x13ad x17b4 xe07 x13a2 x1816 x174c
x491 x729 x9b8 x92 xf75 x14de x8a7 x9ef x15b5 x181a
x2ce x762 x15b9 x233 x15bb xc64 xafc xff4 x15ff x884
x1781 x182f x610 x31a x369 x11d5 x13a1 x302 x7d xbce
xc87 x149 xc8e x16e6 x1389 x1743 xa0 x609 xc66 xbb0
xa0c xc6e x177f xbba xc25 x14c6 x1e5 xbd0 xbca x24f
x1382 x8c8 xbe2 xf34 x17ab x1847 x1565 x1750 x178b xc44
x1775 x1601 x5dc x16e8 x1024 x1254 x1854 x616 x14c4 xc6c
x1012 x102a x177a x1380 xced x1633 x144e x171f x15f7 xbf1
x1493 x181e x15e4 xfa9 xce6 x1723 x1395 x239 xce0 x16ba
xcd4 x740 x9a5 x9d8 x102e x1852 x1865 x632 x236 x8e9
xbe0 x1608 x61a x1863 x79 x8f4 x36a x8e2 x1714 x1371
x1525 xc91 x943 x619 x17e3 x15c7 x5fd x735 xe06 x16ed
x16f3 x1496 x17da xe59 x1882 x1735 x1713 x813 xc60 xbee
x1842 x25b x21e x16ad x80a x25a x17f1 xfdf x747 x1026
x1815 x297 xbcc x16d5 xfec x13ca x14e5 x821 xc50 x15fd
x8da x13dd x1819 x8ba x1715 x1730 x1644 xce2 x626 x11ee
x731 x174f x1758 xc4e x17d2 x170c x727 x23e x950 xc1a
x173c x1764 xbf2 x1443 x1729 xc16 x1206 x1737 xbef x181c
xc49 xc22 x730 x11c2 x9f x612 x1883 x296 xc6a xe0d
x745 x17b8 xe04 x15f1 x20b x8f0 x622 xc5f x175f xc0a
xc4f x8df xcb9 xc33 x1399 x184d xc7a xc76 xc00 x95
x13a7 xc89 x1283 x758 x172c x16c6 xc10 xc1c xe56 x1641
xff2 x390 x620 xbd5 x1394 x815 xc26 x11f7 x174a x148e
x16d3 x94f xbd1 x16e4 x1741 x1581 x13c0 xe8c x16cc x16d8
xbd6 xe11 x1231 x17b9 x1761 xc x17b3 x94a xc09 xdc7
x22d x20f x176a xca1 x763 xc2e x1768 xbd3 x46e x1502
xe13 x200 x16e7 xc04 x170e x1373 x1858 x1832 x15ec x1808
x148 xcb7 xa0e x84 x90b x14ca x187e xc7d x154d xbdb
x1f7 x1391 xbc7 xbfa x23c x160f xd20 x751 x1728 x138e
x1587 xbf8 xfa8 x215 x15c3 xbeb xbec x16fb x62f x3b6
x13a6 x325 x180d x15d9 xc1b x4bc xcb5 x1859 xc2b x138a
x1612 x937 xbbf x1198 x16cf x1884 xe16 xbb3 x1807 xfe6
xc86 x1717 x1856 xc5c xc31 x176e x1783 x16b8 x17ac x1885
xe54 x13d9 x662 xf73 xc3d x75b x261 x137d x952 x16f4
\ Statistics:
\ SuperCFG: #nodes=0, #edges=0
\ SuperCG: #nodes=1251, #edges=2964
\ ILP: #variables=768, #constraints=595
\ Ich will eine Maschine sein,
\ Arme zu greifen, Beine zu gehen,
\ Kein Schmerz, kein Gedanke.
End
More information about the Cbc
mailing list