[Cbc] Assertion failure, stable 2.2 branch
Christoph Cullmann
cullmann at absint.de
Tue Apr 7 03:18:16 EDT 2009
Hi,
I get the following assertion with the attached file:
CglProbing.cpp:3404: int CglProbing::probe(const OsiSolverInterface&,
const OsiRowCutDebugger*, OsiCuts&, double*, double*, CoinPackedMatrix*,
CoinPackedMatrix*, const CoinBigIndex*, const int*, const double*, const
double*, const char*, double*, double*, int*, CglTreeInfo*) const: Assertion
`(markIt&8)!=0' failed.
Compiled with VC 2008 SP1.
Greetings
Christoph
--
-------------------------------------- Christoph Cullmann ---------
AbsInt Angewandte Informatik GmbH Email: cullmann at AbsInt.de
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-pre104950 on Thu Apr 2 12:02:04 GMT 2009
\ Objective Function
Maximize
obj: xbda +13 xaf1 +4 x1019 +9 xe09 +3 xb33 +6 x7bf +5 xb32
+9 x7dc +36 xdf3 +7 xda0 +x850 +3 x8b5 +9 xc4b +11 x91b +x90a
+11 xec8 +9 x103b +5 x6df +5 x9d3 +13 xca2 +xf63 +9 xe2a +10 xf5f
+8 xd1d +5 x103d +9 xb47 +9 x1077 +51 xc80 +3 xc15 +11 xc3a +4 xb0d
+12 x6f3 +3 x1042 +16 x70b +x93a +x8d3 +8 xad5 +7 xe63 +9 xb2e
+8 xc83 +x8b2 +6 xada +2 xed3 +7 x1009 +9 x8be +9 x6e7 +62 x7e3
+xaaf +11 x7fb +11 x996 +18 xf94 +15 xb51 +21 x98e +3 xc0d +13 xc58
+16 xc13 +17 xfd3 +x9b1 +64 x7ec +3 x799 +3 x770 +5 xfe5 +11 xebe
+9 x75d +8 xec5 +23 xa90 +51 xc82 +xa1d +40 x8a1 +40 x8ad +11 xef5
+13 xac6 +30 xbfc +19 x8c +9 x97a +5 x1037 +9 x897 +8 xd0c +9 xc97
+4 x721 +11 xca0 +13 xe37 +9 x768 +21 x2cd +37 xf31 +38 x4f3 +6 xb2c
+27 xdad +22 x914 +x925 +36 xdd9 +6 x1031 +3 xb3b +59 xe14 +7 xd6d
+27 xd7b +8 x9c1 +9 xe23 +13 xa36 +x888 +21 x8dc +5 x7be +3 x958
+3 xa07 +x846 +8 xd01 +161 xe91 +8 xcd9 +9 xc07 +7 xc63 +29 xb98
+9 xcf7 +x8ef +23 x921 +7 xd94 +13 xb80 +8 xc9d +7 x1034 +10 xf16
+30 xbfb +3 x823 +xa04 +6 xd67 +20 x4a +3 x853 +8 xd28 +40 x9de
+5 xb30 +3 xa08 +16 xa26 +2 xad8 +28 x717 +59 xc35 +8 x7a8 +36 xdb2
+xf71 +28 x732 +xa72 +3 x93d +3 xbf0 +222 x1051 +3 x8d7 +5 x1b9
+14 x1b2 +xf19 +5 xb38 +77 x1e6 +x9fa +5 x8c6 +x96b +3 x90d
+3 xa53 +20 xe9 +11 x831 +9 xd35 +x83b +18 xbc1 +3 x86f +3 x7bb
+3 x9e6 +27 xd55 +9 x787 +xf35 +3 x96e +64 x74a +16 xb7e +4 x746
+3 xb3d +51 xc9c +5 xa4e +3 xa76 +6 x7ba +14 xf7b +2 x58e +7 x318
+5 x81d +161 xe90 +13 x9bc +3 x1038 +3 x1040 +19 xa2 +7 x687 +21 xa7c
+6 x4b4 +10 xd92 +38 x4c5 +9 x1033 +3 xab3 +40 xd2f +11 x46d +96 x4f0
+3 x824 +x8fd +29 xf7f +x930 +xa2a +13 x9bd +15 x363 +5 x15d
+4 xb06 +16 xf12 +41 x990 +10 xd6c +17 xef0 +40 x860 +15 x34b +3 xa55
+119 xdfd +37 x74 +62 x7e9 +9 x754 +3 x93e +xa44 +103 x81c +5 x166
+59 xe2e +x8a5 +57 x104a +14 xad9 +42 xd5d +87 xffb +13 xa5d +3 x8d6
+20 xb6e +28 x1d4 +13 x949 +3 x785 +2 x101d +3 x5f9 +20 x701 +11 x9aa
+42 xd91 +11 xe4a +5 x1035 +17 xf4e +11 x317 +8 xc0c +22 x944 +14 xbf7
+7 x313 +14 xc11 +49 xf00 +201 xed1 +x805 +57 x65c +20 x6b4 +5 x9e0
+27 xda6 +7 x1041 +5 x125 +30 xfb8 +83 xcd1 +xb85 +9 xe10 +x820
+13 xe58 +6 x487 +14 xcca +8 xce7 +4 x2ff +3 x128 +103 x80f +40 xa3f
+15 xbbd +13 x442 +19 x9b +49 xb64 +29 xff7 -215 xae6 +x9e3 +17 xfe8
+35 xa0d +x9d6 +5 x373 +10 x3aa +37 x728 +3 xb31 +x1 +2 x6dd
+xa68 +42 xd9c +4 x73b +15 xeeb +23 x9c8 +9 xc90 +11 x8e5 +5 x6e1
+27 xd74 +9 xc2a +103 x8f8 +59 x508 +10 x1061 +3 xb8 +13 xca4 +6 x58d
+5 x245 +3 xa75 +8 xcc5 +119 x4f7 +13 xe36 +11 xb5a +xa51 +5 xa6f
+5 x270 +20 xafd +3 xb39 +21 x183 +83 x428 +13 xabb +3 xa2d +11 xc54
+3 x1036 +9 x1107 +7 x55 +11 xe19 +3 xa2e +5 x1105 +5 x198 +14 x58f
+9 x791 +27 x4a5 +13 xc57 +5 x19b +21 x294 +5 x9f7 +13 xecc +16 xca6
+65 x885 +5 x104c +8 x530 +42 x491 +3 xf75 +23 x9ef +118 x2ce +14 x99b
+103 x906 +20 xafc +29 xff4 +16 x884 +7 x31a +5 x11d5 +15 x385 +83 xd07
+6 x772 +8 x7b3 +11 xf54 +65 x968 +10 x5ce +xaa5 +8 x3d6 +3 x9e7
+51 x404 +40 xcf2 +3 xf38 +11 xede +9 xc44 +2 xad4 +14 xcdf +38 x4f2
+2 xadb +9 xdbe +17 x7a3 +6 x7b4 +23 x8ec +14 xced +8 xe47 +5 x6e4
+38 xdb6 +18 xfa9 +40 x9d2 +8 x51a +18 xb55 +12 x6f1 +37 xf14 +96 xdaf
+16 xa18 +21 xace +3 x3b0 +14 x8e9 +13 xaf8 +3 x32 +87 xffd +3 x7b0
+29 xade +4 x312 +59 x6d +37 x118 +35 x2a7 +22 xadc +13 xba4 +x813
+3 x6e2 +52 xaac +6 xbc +52 x25b +13 x7b6 +40 xcf3 +8 x297 +8 xed4
+6 xd8e +59 xc50 +77 x151 +6 x79b +3 x688 +64 x7ed +3 xab2 +329 xad2
+10 xd9f +30 x626 +5 xc1a +x8c9 +6 xad7 +6 xc16 +10 xd5f +3 xbef
+13 x6cc +59 x3c4 +5 xa65 +5 x1001 +20 xf0b +118 x296 +29 x33e +20 x6d0
+10 xf6e +66 x710 +3 x14e +59 xc4f +59 x71e +41 x8df +18 xd3c +40 xa4b
+37 xf5 +5 x17b +11 x2d4 +2 x2f8 +9 xc76 +64 x95 +9 x985 +6 xc10
+x99d +13 xe56 +49 x5c2 +15 x390 +83 xd14 +21 x98d +11 xe33 +19 x76f
+16 x704 +9 xb36 +49 xb8d +7 x26 +3 x366 +15 xf4a +19 x78c +14 xf40
+3 xc09 +13 x94a +14 x20f +3 x7a9 +5 xfa4 +9 xf89 +11 x46e +3 xc5
+35 x2a9 +13 x6b0 +9 x7ae +11 x103a +4 xb13 +8 xcb7 +12 x6fc +35 xa0e
+29 x603 +3 xbaa +5 x5e0 +4 x1032 +9 xc7d +3 x75c +11 xbc7 +40 x469
+19 x751 +xbec +9 xd4b +9 x9c +13 x45a +6 xc1b +19 x798 +4 x72a
+59 xe2f +3 x8b6 +40 x85f +36 xd7f +3 x90e +5 x937 +16 x879 +8 xe16
+14 xbb3 +4 xb17 +23 xa85 +11 xc86 +12 x6fa +9 xc31 +14 xcbc +11 xe54
+xba8 +9 x1043 +7 xd61 +13 x584 +19 x75b +3 x5d2
Subject To
\ Constant in Objective Function
x1 = 461
\ Constraints
x10 -x6b4 = 1
x10 -x6b4 -x6b0 = 0
x6af -x6b4 -x6b0 = 0
x6af -x105a -x1059 = 0
-x26 >= -1
-x26 +x21 -x6d0 = 0
-x6cc +x21 -x6d0 = 0
-x6cc +x6cb -x6d0 = 0
-x105f -x105e +x6cb = 0
-x6dd >= -1
-x6df -x6dd -x32 = -1
-x6e1 +x32 -x6e2 = 0
-x6e1 -x79d +x6e4 = 0
x1061 -xade -x6e4 = 0
-x6df -x6dd +x36 -x6e2 = 0
-x6e7 +x36 -x710 = 0
-x6f3 -x6f1 +x710 = 0
-x70b -x6f3 +x1062 -x4a = 0
-x70b -x4a +x6f1 = 0
-x70b -x4a -x701 +x42 -x704 = 0
x42 -x6fa -x6fc = 0
x6fb -x701 -x704 -x6fc = 0
-x1065 -x1066 +x6fb -x1063 -x1064 = 0
-x701 -x704 +x6fa = 0
-x6e7 +x55 -x710 = 0
-x717 +x55 -x71e = 0
-x799 -x717 -x785 +x1068 -x95 = 0
-x721 +x71e -x78c = 0
-x721 +x728 -x791 -x79b = 0
x728 -x9b -x72a = 0
-x787 +x95 -x72a -x9c = 0
x67 -x74a -x95 = 0
x67 -x732 -x6d = 0
-x770 -x732 -x74a +x731 -x75c = 0
-x106c +x731 -x106b = 0
-x8c -x73b +x6d = 0
-x768 +x74 -x73b -x772 = 0
-x746 +x74 -x751 = 0
-x75d -x746 +x74a -x754 = 0
-x754 +x751 -x75b = 0
-x75d +x75b -x75c = 0
x8c -x768 -x76f = 0
-x770 -x772 +x76f = 0
-xa2 +x9b -x9c = 0
-x787 +xa2 -x785 = 0
-x791 +x78c -x798 = 0
-x799 -x79b +x798 = 0
x55 -x79d -xade = 0
-xadc +xade -x7a3 = 0
-xada -xb8 +x7a3 = 0
-x7a8 +xb8 -xbc = 0
-x7be -x7a8 -x7b3 +x7a9 = 0
x1077 -xad2 -x7a9 = 0
xbd -xbc -xadb = 0
xbd -xad9 -x7ae = 0
-xad7 -x7b0 +x7ae = 0
-x7b3 -x7b4 +x7b0 = 0
-xad8 +xc2 -x7b4 = 0
xc2 -x7b6 -x2d4 = 0
xc4 -x7b6 -x2d4 = 0
-xad5 +xc4 -xc5 = 0
-x7ba -x7bb +xc5 = 0
-x7bf -x7be +x7bb = 0
-x7bf +xad2 -xad4 = 0
3 xad2 >= 0
3 xad2 >= 0
-x1078 +3 xad2 -x1079 = 0
-xe9 +x7d9 -xad2 = 0
-x7dc -xe9 +x7d9 = 0
-x7dc -xe9 +x7db = 0
-x107b -x107c +x7db = 0
-x7e3 +xe9 -x7ed = 0
-x7e3 -x7ed +x7e2 = 0
-x7ec -x7ed +x7e6 = 0
-x7ec -x7e9 +x7e6 = 0
-x7ec +x7e8 -x7e9 = 0
x7e8 -x107e -x107f = 0
-x7fb +xad2 -xf5 = 0
-x860 -x805 +xf5 = 0
-x860 +x80f -x85f = 0
-x1082 -x1083 +x80f = 0
-x824 +x860 -x813 = 0
-x824 +x1084 -x813 = 0
-x823 +x81d -x824 = 0
-x81d +x81c -x125 = 0
x81c -x1085 -x1086 = 0
-x823 +x81d -x820 = 0
x81f -x823 -x820 = 0
x81f -x1087 -x1088 = 0
x112 -x860 -x85f = 0
-x831 +x112 -x118 = 0
-x83b +x118 -x85f = 0
-x846 -x128 +x85f = 0
-x846 -x128 +x108b = 0
-x853 -x128 +x125 = 0
-x850 -x853 +x125 = 0
-x850 -x853 +x84f = 0
-x108d +x84f -x108c = 0
-x831 -x83b +x830 -x85f = 0
-x1090 +x830 -x108f = 0
-x7fb +x1091 -x860 -x805 = 0
-x86f +xad2 -x151 = 0
-x86f -x297 +x1093 = 0
-x1e6 -x151 +x879 = 0
-x1095 -x1094 +x879 = 0
x885 -x151 -x14e = 0
-x968 -x885 +x884 = 0
-x1097 -x1096 +x884 = 0
-x888 +x885 -x14e = 0
x887 -x888 -x14e = 0
x887 -x1098 -x1099 = 0
-x2ce +x151 -x8df = 0
-x897 -x183 +x8df = 0
-x897 +x896 -x183 = 0
-x98e +x15d -x183 = 0
x8a1 -x8c6 -x15d = 0
x8a1 -x109c -x109d = 0
x15d -x8a5 -x8b6 = 0
-x8a5 +x8a4 -x8b6 = 0
-x109f +x8a4 -x109e = 0
-x8b5 +x166 -x8b6 = 0
x8ad -x166 -x17b = 0
-x10a1 +x8ad -x10a0 = 0
-x8b5 -x8b2 +x166 = 0
-x8b5 +x8b1 -x8b2 = 0
x8b1 -x10a2 -x10a3 = 0
-x8dc +x16e -x183 = 0
-x8be -x8dc +x16e = 0
-x8be +x8bd -x8dc = 0
-x10a5 +x8bd -x10a4 = 0
-x8dc +x8c6 -x98d = 0
x8c6 -x8d7 -x8c9 = 0
-x8d7 +x8c8 -x8c9 = 0
-x10a6 +x8c8 -x10a7 = 0
-x8d7 -x8d6 +x17b = 0
-x8d3 -x8d6 +x17b = 0
-x8d3 -x8d6 +x8d2 = 0
-x10a9 -x10a8 +x8d2 = 0
-x2ce +x297 -x8df = 0
-x8e5 +x297 -x8e9 = 0
-x99b +x8ec -x8e9 = 0
-x10aa -x10ab +x8ec = 0
-x8ef +x8e9 -x94a = 0
-x9bd +x198 -x94a = 0
-x1b9 +x8f8 -x198 = 0
-x10ac -x10ad +x8f8 = 0
-x8fd +x198 -x90e = 0
x8fc -x8fd -x90e = 0
-x10af +x8fc -x10ae = 0
-x90d +x19b -x90e = 0
-x19b +x906 -x937 = 0
-x10b0 +x906 -x10b1 = 0
-x90a -x90d +x19b = 0
-x90a +x909 -x90d = 0
x909 -x10b2 -x10b3 = 0
x914 -x9bd -x94a = 0
-x10b5 +x914 -x10b4 = 0
-x949 -x94a +x919 = 0
-x91b -x1b2 +x919 = 0
x921 -x1b2 -x20f = 0
x921 -x10b6 -x10b7 = 0
-x925 +x1b2 -x949 = 0
x1b9 -x9bc -x949 = 0
x1b9 -x93e -x930 = 0
-x930 -x93e +x92f = 0
-x10b8 -x10b9 +x92f = 0
-x93d -x93e +x937 = 0
-x93a -x93d +x937 = 0
-x93a -x93d +x939 = 0
-x10bb +x939 -x10ba = 0
-x9bc -x949 +x944 = 0
-x10bc +x944 -x10bd = 0
-x91b -x925 -x949 +x91a = 0
-x10be -x10bf +x91a = 0
-x8ef -x8e5 +x10c0 -x94a = 0
-x9c1 +x1d4 -x297 = 0
-x958 -x1e6 +x1d4 = 0
x957 -x9c1 -x958 = 0
x957 -x10c3 -x10c2 = 0
-x1e6 -x96e +x968 = 0
-x96e -x96b +x968 = 0
-x96e -x96b +x96a = 0
-x10c5 +x96a -x10c4 = 0
x1e6 -x990 -x296 = 0
-x98e -x97a +x990 = 0
-x98e -x97a +x10c7 = 0
-x98e +x982 -x98d = 0
x982 -x98d -x985 = 0
x984 -x98d -x985 = 0
-x10c9 +x984 -x10c8 = 0
x9c1 -x990 -x296 = 0
-x996 +x9c1 -x99b = 0
-x9bd +x99b -x99d = 0
-x9bc -x9bd +x20b = 0
-x9aa -x20f +x20b = 0
-x9b1 -x9bc +x20f = 0
-x9b1 +x9a9 -x9bc -x9aa = 0
x9a9 -x10ca -x10cb = 0
-x996 -x9bd +x10cc -x99d = 0
-x9c8 +x296 -xa0e = 0
x9c7 -x9c8 -xa0e = 0
x9d3 -x2a9 -xa0e = 0
-x9d3 -x9f7 +x9d2 = 0
-x10cf -x10ce +x9d2 = 0
x9d3 -x9d6 -x9e7 = 0
-x9d6 -x9e7 +x9d5 = 0
-x10d0 -x10d1 +x9d5 = 0
-x9e6 +x9e0 -x9e7 = 0
x9de -x9e0 -x245 = 0
x9de -x10d3 -x10d2 = 0
-x9e6 +x9e0 -x9e3 = 0
x9e2 -x9e6 -x9e3 = 0
x9e2 -x10d4 -x10d5 = 0
x9ec -xa0d -xa0e = 0
x9ec -xa0d -x9ef = 0
-xa0d -x9ef +x9ee = 0
-x10d6 +x9ee -x10d7 = 0
-xa0d +x9f7 -x2a7 = 0
-xa08 -x9fa +x9f7 = 0
x9f9 -xa08 -x9fa = 0
x9f9 -x10d9 -x10d8 = 0
-xa07 -xa08 +x245 = 0
-xa04 -xa07 +x245 = 0
-xa07 -xa04 +xa03 = 0
xa03 -x10da -x10db = 0
-x2ce -x296 +xa18 = 0
-x10dd +xa18 -x10dc = 0
-xa1d -xa2e +x296 = 0
-xa1d -xa2e +x10de = 0
-xa2e -xa2d +x25b = 0
xa26 -xaac -x25b = 0
-x10e0 -x10df +xa26 = 0
-xa2a -xa2d +x25b = 0
xa29 -xa2a -xa2d = 0
-x10e2 +xa29 -x10e1 = 0
-xa36 -xa7c +x296 = 0
-xa36 -xa7c +x10e3 = 0
-x2cd -xa7c +x270 = 0
xa3f -x270 -xa65 = 0
xa3f -x10e5 -x10e4 = 0
-xa55 -xa44 +x270 = 0
-xa55 -xa44 +xa43 = 0
-x10e7 +xa43 -x10e6 = 0
xa4e -xa53 -xa55 = 0
-xa4e -xa6f +xa4b = 0
-x10e8 -x10e9 +xa4b = 0
-xa53 +xa4e -xa51 = 0
xa50 -xa53 -xa51 = 0
-x10ea +xa50 -x10eb = 0
-xa7c -x294 +x280 = 0
-xa5d -x294 +x280 = 0
xa5c -xa5d -x294 = 0
xa5c -x10ed -x10ec = 0
-x294 +xa65 -xace = 0
-xa76 -xa68 +xa65 = 0
-xa76 -xa68 +xa67 = 0
-x10ef +xa67 -x10ee = 0
-xa76 -xa75 +xa6f = 0
-xa72 +xa6f -xa75 = 0
xa71 -xa72 -xa75 = 0
-x10f0 +xa71 -x10f1 = 0
x2ce -x2a9 -xa85 = 0
x10f2 -x2a9 -xa85 = 0
x2a2 -x2a7 -x2a9 = 0
-xa90 +x2a2 -x2a7 = 0
xa8f -xa90 -x2a7 = 0
xa8f -x10f3 -x10f4 = 0
-xab3 -xaa5 +x2ce = 0
x10f5 -xab3 -xaa5 = 0
-xab3 -xab2 +xaac = 0
-xaaf -xab2 +xaac = 0
-xaaf +xaae -xab2 = 0
-x10f6 -x10f7 +xaae = 0
-x2cd +x2ce -xabb = 0
-x2cd -xabb +x10f8 = 0
-x2cd +x2c5 -xace = 0
-xac6 +x2c5 -xace = 0
-xac6 -xace +xac5 = 0
-x10fa -x10f9 +xac5 = 0
-xad5 -x7ba +xad4 = 0
xad8 -xad9 -xad7 = 0
-xada +xadb -xadc = 0
-xae6 >= -1
-x1051 +xae6 +x2e7 = 1
-xaf1 -xafd +x2e7 = 0
-xaf1 -xafd +xaf0 = 0
-x10fc -x10fd +xaf0 = 0
-xafc -xafd +xaf5 = 0
-xafc +xaf5 -xaf8 = 0
xaf7 -xafc -xaf8 = 0
xaf7 -x10fe -x10ff = 0
-xb06 -xae6 -x2f8 = -1
x2fa -x101d -x2f8 = 0
-xb0d +x2fa -xb17 = 0
-xb0d +xb0c -xb17 = 0
-x1101 +xb0c -x1102 = 0
-x2ff +xb10 -xb17 = 0
-x2ff +xb10 -xb13 = 0
xb12 -x2ff -xb13 = 0
-x1104 +xb12 -x1103 = 0
-xb06 +x1105 -x2f8 = 0
-xb2c -xae6 -x312 = -1
-xb2e -x313 +x312 = 0
-xb30 +x313 -xb31 = 0
-xb32 -xb33 +xb31 = 0
-xb32 -xb2e -xb30 +x317 = 0
-x318 +x317 -xb36 = 0
-xb38 +x318 -xb39 = 0
-xb3b -x31a +xb39 = 0
xb3d -x31a -x1001 = 0
-xb3d -x65c +x1107 = 0
-xb3b -xb38 +x65c -xb36 = 0
-x104a -x65c +xb44 = 0
-xb47 -xffd +xb44 = 0
xb46 -xb47 -xffd = 0
-x1108 -x1109 +xb46 = 0
xb51 -xffb -xffd = 0
-x110b +xb51 -x110a = 0
-xbfc +xffd -xb55 = 0
-xbfc -xb55 +x110c = 0
-xbfc -xfb8 +xb5a = 0
-x110d -x110e +xb5a = 0
-xbfc +x34b -xfb8 = 0
-x34b +xb64 -x385 = 0
-x1110 +xb64 -x110f = 0
-x34b -x385 +x33e = 0
-xb98 +xb6e -x33e = 0
-x1111 -x1112 +xb6e = 0
-x1113 -x1114 +x33e = 0
xb80 -x34b -x385 = 0
-xb80 +xb7e -xba4 = 0
-x1116 +xb7e -x1115 = 0
-x1118 +xb80 -x1117 = 0
x34b -xb85 -x366 = 0
xb84 -xb85 -x366 = 0
xb84 -x111a -x1119 = 0
x363 -x366 -xbaa = 0
-x363 +xb8d -x390 = 0
-x111b -x111c +xb8d = 0
xb98 -x363 -x390 = 0
-x111d +xb98 -x111e = 0
-x363 +xba4 -x390 = 0
-x1120 +xba4 -x111f = 0
x363 -xbaa -xba8 = 0
xba7 -xbaa -xba8 = 0
xba7 -x1122 -x1121 = 0
-xbfc -xfb8 +xbb3 = 0
-x1124 -x1123 +xbb3 = 0
-xbfc -xbfb +x373 = 0
-x373 +xbbd -xfa4 = 0
xbbd -x1126 -x1125 = 0
-xbfb -xbc1 +x373 = 0
-xbfb +xbc0 -xbc1 = 0
-x1128 -x1127 +xbc0 = 0
-xbfb -x626 +xbc7 = 0
-x1129 -x112a +xbc7 = 0
-xbfb +x385 -x626 = 0
-xbda -xbf0 +x385 = 0
-xbda +xbd9 -xbf0 = 0
xbd9 -x112c -x112b = 0
-xbf0 -xbef +x390 = 0
-xbef +x390 -xbec = 0
-xbef +xbeb -xbec = 0
-x112e -x112d +xbeb = 0
-xbfb +xbf7 -x626 = 0
-x112f -x1130 +xbf7 = 0
-xffb +x3a4 -xffd = 0
-xc07 -x58f +x3a4 = 0
xc07 -x58d -xc09 = 0
-xc0c +xc09 -xc10 = 0
xc0d -xc0c -xc1a = 0
-xc0d +x3aa -xed1 = 0
-x1132 +x3aa -x1131 = 0
x3ac -x58e -xc10 = 0
x3ac -xc13 -xc11 = 0
-xc13 +x3ae -xc11 = 0
-xc15 +x3ae -xed4 = 0
xc15 -x3b0 -xc16 = 0
-xc1a +x3b0 -xc1b = 0
-xed3 +xed1 -xc1b = 0
-2 xed1 -xe47 +x3bc = 0
-xc2a -x3c4 +x3bc = 0
xc29 -xc2a -x3c4 = 0
-x1133 -x1135 +xc29 -x1134 = 0
-xc35 -x3c4 +xc2e = 0
-xc35 +xc2e -xc31 = 0
xc30 -xc35 -xc31 = 0
-x1137 +xc30 -x1136 = 0
-xc3a -xc58 +xed1 = 0
-xc3a -xc58 +x1138 = 0
-xc58 -xc57 +x3d6 = 0
-xec5 +x3cb -x530 -x3d6 = 0
x3cb -xc50 -xc44 = 0
xc43 -xc50 -xc44 = 0
-x113a -x113b -x1139 +xc43 = 0
x3d0 -xc50 -xc4f = 0
-xc4b +x3d0 -xc4f = 0
-xc4b +xc4a -xc4f = 0
-x113d +xc4a -x113c = 0
-xc57 +x3d6 -xc54 = 0
xc53 -xc57 -xc54 = 0
xc53 -x113e -x113f = 0
-xc63 -xe91 +xed1 = 0
-xe91 -xc63 +x1141 = 0
-xe91 -xe90 +xca6 = 0
xc83 -xed1 -xca6 = 0
xc83 -xc82 -xc76 = 0
x1142 -xc82 -xc76 = 0
-xc80 -xc82 +xc7a = 0
-xc80 +xc7a -xc7d = 0
xc7c -xc80 -xc7d = 0
xc7c -x1143 -x1144 = 0
xc83 -xca4 -xc86 = 0
xc85 -xca4 -xc86 = 0
-x1146 -x1145 +xc85 = 0
-xca2 +xc9d -xca4 = 0
xc9d -xc9c -xc90 = 0
x1147 -xc9c -xc90 = 0
-xc9c -x404 +x401 = 0
-xc97 -x404 +x401 = 0
xc96 -xc97 -x404 = 0
xc96 -x1148 -x1149 = 0
-xca2 -xca0 +xc9d = 0
xc9f -xca2 -xca0 = 0
xc9f -x114a -x114b = 0
-x114c -x114d +xca6 = 0
-xe91 -xe90 +xd3c = 0
-xed1 +x442 -xd3c = 0
x442 -xcd1 -xcb7 = 0
x114e -xcd1 -xcb7 = 0
-xcd1 -xd07 +xcbc = 0
-x114f -x1150 +xcbc = 0
-xcd1 -x428 +xcc2 = 0
-x428 -xcc5 +xcc2 = 0
xcc4 -x428 -xcc5 = 0
-x1152 -x1151 +xcc4 = 0
xcca -x428 -xd14 = 0
-x1153 +xcca -x1154 = 0
-xcd9 +x442 -xcf3 = 0
-xcd9 +xcd8 -xcf3 = 0
-xcf3 +xcdf -x469 = 0
-x1156 +xcdf -x1157 = 0
-xcf3 -xcf2 +x437 = 0
-xce7 -xcf2 +x437 = 0
-xce7 +xce6 -xcf2 = 0
-x1158 -x1159 +xce6 = 0
-xd2f -xcf2 +xced = 0
-x115b -x115a +xced = 0
-xcf7 +x442 -x46e = 0
-xcf7 -x46e +xcf6 = 0
-x115c -x115d +xcf6 = 0
-x46d +x45a -x46e = 0
-xd01 -xd07 +x45a = 0
-xd01 -xd07 +x115e = 0
-xd07 -xd14 +xd09 = 0
-xd0c -xd14 +xd09 = 0
xd0b -xd0c -xd14 = 0
xd0b -x115f -x1160 = 0
-xd1d +x45a -x469 = 0
-xd1d +x1161 -x469 = 0
-xd2f +x462 -x469 = 0
-xd28 -xd2f +x462 = 0
-xd28 -xd2f +xd27 = 0
-x1162 +xd27 -x1163 = 0
-xd35 -x46d +x45a = 0
-xd35 -x46d +xd34 = 0
-x1164 -x1165 +xd34 = 0
-x1166 -x1167 +xd3c = 0
-xe91 -xe90 +xd48 = 0
xd48 -xdfd -xd4b = 0
xd4a -xdfd -xd4b = 0
xd4a -x1169 -x116a = 0
xd55 -xdfd -x4f7 = 0
-x116b -x116c +xd55 = 0
-xdfd +x487 -x4f7 = 0
-xd5d +x487 -xd61 = 0
-xd5d +xd5f -xd61 = 0
-x116e -x116d +xd5f = 0
xd67 -xdfd -x4f7 = 0
-xd6d +xd67 -x491 = 0
-xd6d +xd6c -x491 = 0
xd6c -x116f -x1170 = 0
-xdfd +xd74 -x4f7 = 0
-x1172 -x1171 +xd74 = 0
xd7b -xdfd -x4f7 = 0
-x1173 -x1174 +xd7b = 0
xdfd -xdb6 -xd7f = 0
-xdb6 +x1175 -xd7f = 0
-x4c5 +xdaf -xdb6 = 0
-x4f0 +x4a5 -xdaf = 0
-x1176 +x4a5 -x1177 = 0
-x4f0 +xd8e -xdaf = 0
-xd94 -xd91 +xd8e = 0
-xd94 +xd92 -xd91 = 0
-x1179 -x1178 +xd92 = 0
-x4f0 +x4b4 -xdaf = 0
-xda0 +x4b4 -xd9c = 0
-xda0 -xd9c +xd9f = 0
-x117a +xd9f -x117b = 0
-x4f0 +xda6 -xdaf = 0
-x117c -x117d +xda6 = 0
xdad -x4f0 -xdaf = 0
-x117e +xdad -x117f = 0
-xdb2 -x4c5 +xdaf = 0
-xdb2 -x4c5 +xdb1 = 0
-x1181 -x1180 +xdb1 = 0
-xdfd +x4ca -x4f7 = 0
x4ca -x4f7 -xdbe = 0
xdbd -x4f7 -xdbe = 0
xdbd -x1183 -x1182 = 0
-x4f3 -xdd9 +x4f7 = 0
-x4f3 -xdd9 +xdd8 = 0
-x4f3 +x4f0 -x4f2 = 0
-xdf3 +x4f0 -x4f2 = 0
-xdf3 +xdf2 -x4f2 = 0
-x1185 -x1186 +xdf2 = 0
-xe91 -xe90 +xe16 = 0
-xe09 -x508 +xe16 = 0
-xe09 -x508 +x1187 = 0
-xe14 -x508 +xe0d = 0
-xe14 -xe10 +xe0d = 0
xe0f -xe14 -xe10 = 0
-x1189 +xe0f -x1188 = 0
-xe37 -xe19 +xe16 = 0
-xe37 +xe18 -xe19 = 0
-x118a -x118b +xe18 = 0
-xe37 -xe36 +x51a = 0
-xe23 +x51a -xe2f = 0
xe22 -xe23 -xe2f = 0
-xe2e +xe27 -xe2f = 0
-xe2a -xe2e +xe27 = 0
xe29 -xe2a -xe2e = 0
xe29 -x118e -x118d = 0
-xe36 +x51a -xe33 = 0
xe32 -xe36 -xe33 = 0
xe32 -x1190 -x118f = 0
-xe91 -xe90 +xe47 = 0
-xe4a -xe58 +xe47 = 0
xe49 -xe58 -xe4a = 0
xe49 -x1193 -x1192 = 0
-xe58 +x530 -xe56 = 0
x530 -xe56 -xe54 = 0
xe53 -xe56 -xe54 = 0
xe53 -x1194 -x1195 = 0
-xe91 -xe90 +xe60 = 0
-xe63 -xe90 +xe60 = 0
xe62 -xe63 -xe90 = 0
xe62 -x1197 -x1198 = 0
-xebe +xed1 -xecc = 0
-xebe -xecc +x119f = 0
xec5 -xecc -x584 = 0
-xec8 +xec5 -x584 = 0
-xec8 +xec7 -x584 = 0
-x11a1 -x11a0 +xec7 = 0
xed3 -xc16 -xed4 = 0
x58e -x58f -x58d = 0
-xffb +xede -xffd = 0
-x11a3 +xede -x11a4 = 0
-xffb +xeeb -xffd = 0
-x11a6 -x11a7 +xeeb = 0
-xef0 +xffd -x603 = 0
-xef0 +xeef -x603 = 0
xef5 -xff7 -x603 = 0
xef5 -x11a9 -x11aa = 0
xf16 -xff7 -x603 = 0
-xf5f -xf16 +xf00 = 0
-x11ac +xf00 -x11ab = 0
-xf5f -xf16 +xf14 = 0
-xf31 -xf14 +xf0b = 0
-x11ad -x11ae +xf0b = 0
-xf31 +xf12 -xf14 = 0
-x11b0 -x11af +xf12 = 0
-x11b2 -x11b1 +xf14 = 0
xf16 -xf19 -x5d2 = 0
-xf19 +xf18 -x5d2 = 0
-x11b4 -x11b3 +xf18 = 0
x5ce -xf38 -x5d2 = 0
-x5ce -xf6e +x5c2 = 0
-x11b6 -x11b5 +x5c2 = 0
xf31 -x5ce -xf6e = 0
xf31 -x11b8 -x11b7 = 0
-xf35 +x5ce -xf38 = 0
-xf35 +xf34 -xf38 = 0
-x11ba +xf34 -x11b9 = 0
-xff7 -x603 +xf40 = 0
-x11bb -x11bc +xf40 = 0
-xf7f -x603 +x5e0 = 0
-xfe5 +xf4a -x5e0 = 0
-x11bd -x11be +xf4a = 0
-xf7f -xf4e +x5e0 = 0
xf4d -xf7f -xf4e = 0
xf4d -x11bf -x11c0 = 0
-xf7f -xff4 +xf54 = 0
xf54 -x11c2 -x11c1 = 0
xf5f -xf7f -xff4 = 0
-xf63 +xf5f -xf75 = 0
-xf63 +xf62 -xf75 = 0
-x11c4 -x11c3 +xf62 = 0
-x5f9 -xf75 +xf6e = 0
-xf71 -x5f9 +xf6e = 0
xf70 -xf71 -x5f9 = 0
-x11c5 +xf70 -x11c6 = 0
xf7b -xf7f -xff4 = 0
-x11c8 -x11c7 +xf7b = 0
x608 -xffb -xffd = 0
-xffb +x608 -xf89 = 0
-xffb +xf88 -xf89 = 0
-x11ca -x11c9 +xf88 = 0
-xf94 +xffb -xfb8 = 0
-xf94 +x11cb -xfb8 = 0
-xfb8 -x626 +xfa4 = 0
-x626 -xfa9 +xfa4 = 0
-x626 -xfa9 +xfa8 = 0
-x11cd -x11cc +xfa8 = 0
-xfd3 +xffb -xff7 = 0
-xfd3 -xff7 +x11cf = 0
xfe5 -xff7 -xff4 = 0
xfe5 -xfe8 -xff4 = 0
-xfe8 -xff4 +xfe7 = 0
-x11d0 -x11d1 +xfe7 = 0
-xb33 -xb2c +x1001 = 0
-x1051 +xae6 +x662 = 1
-x1009 -x1051 +x662 = 0
-x1009 +x1008 -x1051 = 0
-x11d3 +x1008 -x11d2 = 0
-x1019 +x1051 -x101d = 0
-x1019 -x101d +x11d5 = 0
-x1031 +x1051 -x1032 = 0
-x1034 -x1033 +x1032 = 0
x1034 -x1035 -x1036 = 0
-x1037 -x1038 +x1036 = 0
-x1037 -x1033 -x1035 +x103a = 0
-x103b -x687 +x103a = 0
-x103d +x687 -x688 = 0
-x1040 -x1041 +x688 = 0
x1042 -x1041 -x104c = 0
-x1042 -x104a +x1043 = 0
-x103b -x103d +x104a -x1040 = 0
-x1031 -x1038 +x104c = 0
-3 xed1 +xecc +x584 = 0
-x98e +100 x990 -x98d >= 0
100 x9bd -x90d +100 x94a -x90e >= 0
-x74a +100 x55 -x95 >= 0
-x860 +100 xad2 -x85f >= 0
99 x1e6 -x96e >= 0
-x8b5 +100 x98e +100 x183 -x8b6 >= 0
-x8d7 +100 x8dc -x8d6 +100 x98d >= 0
2 xad2 >= 0
-xbf0 +100 xbfb +100 x626 -xbef >= 0
100 x2cd +100 xa7c -xa53 -xa55 >= 0
xe37 -3 xe91 -3 xe90 +xe36 = 0
-xc35 +200 xed1 +100 xe47 -x3c4 >= 0
-x6b4 >= -99
-x8dc -x183 +100 x8df >= 0
100 x104a +100 x65c -xffb -xffd >= 0
-xa76 +100 x294 -xa75 +100 xace >= 0
-xab3 +100 x2ce -xab2 >= 0
-x93d -x93e +100 x9bc +100 x949 >= 0
-x9c1 -x297 +100 xad2 >= 0
99 x151 -x14e >= 0
-xd2f +100 x45a -x469 >= 0
100 x2ce -x2a7 -x2a9 >= 0
100 xf7f -x5f9 -xf75 +100 xff4 >= 0
xc58 -3 xed1 +xc57 = 0
-xbfc -xbfb +100 xffd >= 0
-x853 -x128 +100 x85f >= 0
-xa08 -xa07 +100 xa0d +100 x2a7 >= 0
100 xffb -xfb8 -x626 >= 0
-x823 +100 x860 -x824 >= 0
-x9e6 -x9e7 +100 xa0e +100 x2a9 >= 0
100 xdfd -x4c5 -xdb6 >= 0
-xe2e +100 x51a -xe2f >= 0
100 xec5 +100 x530 +100 x3d6 -xc50 -xc4f >= 0
-xc80 +100 xc83 -xc82 >= 0
-x4f3 +100 x4f7 -x4f2 >= 0
100 x442 -xcd1 -x428 >= 0
-xa0d +100 x296 -xa0e >= 0
-xa2e -xa2d +100 x296 >= 0
100 x1051 -100 xae6 -xafd -xafc >= -100
-x1051 +xae6 >= -99
100 xffb -xff7 -xff4 >= 0
-x46d +100 xed1 -x46e +100 xd3c >= 0
-xe91 -xe90 +100 xed1 >= 0
-x949 +100 x297 -x94a >= 0
100 x9c1 -x9bc -x9bd >= 0
-3 xe91 -3 xe90 +xe58 +xe56 = 0
-xa7c -x294 +100 x296 >= 0
x7ec -3 xe9 +x7ed = 0
-xd07 -xd14 +100 x45a >= 0
-x2ff +100 x101d -xb17 +100 x2f8 >= 0
100 xe91 -xdfd +100 xe90 -x4f7 >= 0
100 xbfc +100 xfb8 -x366 -xbaa >= 0
-xf7f +100 xffd -x603 >= 0
100 xc9d -xc9c -x404 >= 0
xca2 -3 xed1 +xca4 -3 xca6 = 0
-xe9 +99 xad2 >= 0
100 x442 -xcf3 -xcf2 >= 0
-x26 -x6d0 >= -100
-x70b -x4a -x701 +100 x710 -x704 >= 0
-x2cd +100 x2ce -xace >= 0
100 xff7 -xf38 -x5d2 +100 x603 >= 0
-xe14 -x508 +100 xe16 >= 0
\ Lower Bounds
Bounds
xe49 >= 0
xbda >= 0
xe53 >= 0
xaf1 >= 0
x10b0 >= 0
xc9f >= 0
x1019 >= 0
xe09 >= 0
x1181 >= 0
xb33 >= 0
x10be >= 0
x11ca >= 0
xa8f >= 0
x7bf >= 0
x10ac >= 0
x1142 >= 0
x1147 >= 0
x11c5 >= 0
x10ad >= 0
xb32 >= 0
x7dc >= 0
xda0 >= 0
xdf3 >= 0
x1193 >= 0
x850 >= 0
x11ad >= 0
x10d1 >= 0
x8b5 >= 0
x1065 >= 0
x11a1 >= 0
xc4b >= 0
x116e >= 0
x91b >= 0
xc96 >= 0
x1108 >= 0
x90a >= 0
x11ac >= 0
x11c4 >= 0
xec8 >= 0
x103b >= 0
x10fa >= 0
x10bb >= 0
x1164 >= 0
xc7c >= 0
x11b2 >= 0
x1109 >= 0
x6df >= 0
x10d0 >= 0
x9d3 >= 0
x1129 >= 0
xe29 >= 0
x1066 >= 0
x10af >= 0
x957 >= 0
x1158 >= 0
xca2 >= 0
x1111 >= 0
x6af >= 0
xf63 >= 0
x10b5 >= 0
x1189 >= 0
xe2a >= 0
x1194 >= 0
x1173 >= 0
x1152 >= 0
xf5f >= 0
x11a6 >= 0
x1101 >= 0
x10c5 >= 0
x117c >= 0
x10e0 >= 0
x113d >= 0
xd1d >= 0
x103d >= 0
xf70 >= 0
xb47 >= 0
x1118 >= 0
x11bd >= 0
x11ae >= 0
x1151 >= 0
x1183 >= 0
x1077 >= 0
xc80 >= 0
x10a9 >= 0
x1185 >= 0
xdbd >= 0
x11b1 >= 0
x1110 >= 0
xc15 >= 0
x112c >= 0
x110b >= 0
xe62 >= 0
x1104 >= 0
xc3a >= 0
xb0d >= 0
x114f >= 0
x1112 >= 0
xbd9 >= 0
x6f3 >= 0
x9e2 >= 0
x887 >= 0
x1179 >= 0
x1042 >= 0
x10a5 >= 0
x114c >= 0
x1166 >= 0
x10a1 >= 0
x70b >= 0
x1097 >= 0
x10b8 >= 0
x93a >= 0
x115c >= 0
x8d3 >= 0
x113a >= 0
x11c8 >= 0
xb46 >= 0
x111b >= 0
x1137 >= 0
xad5 >= 0
xc53 >= 0
xe63 >= 0
x112a >= 0
x11be >= 0
x1132 >= 0
x108d >= 0
x8b1 >= 0
xb2e >= 0
xc83 >= 0
xe0f >= 0
x8b2 >= 0
xada >= 0
xed3 >= 0
x1009 >= 0
x116d >= 0
x11b4 >= 0
x8be >= 0
x6e7 >= 0
x7e3 >= 0
xaaf >= 0
x10a6 >= 0
x1176 >= 0
x10c9 >= 0
x7fb >= 0
x11d3 >= 0
x1172 >= 0
x11b0 >= 0
x996 >= 0
x10fc >= 0
x10d5 >= 0
x10d4 >= 0
xe32 >= 0
x110d >= 0
xf94 >= 0
xb0c >= 0
xb51 >= 0
x98e >= 0
x118e >= 0
x10f0 >= 0
xc0d >= 0
xc58 >= 0
x1113 >= 0
x1174 >= 0
xc13 >= 0
x1195 >= 0
x1133 >= 0
xfd3 >= 0
x9b1 >= 0
x1135 >= 0
x117e >= 0
xb84 >= 0
x3ac >= 0
x11c7 >= 0
x11b6 >= 0
x9f9 >= 0
xa71 >= 0
x7ec >= 0
x799 >= 0
x770 >= 0
x10f9 >= 0
xfe5 >= 0
x10f6 >= 0
xebe >= 0
x75d >= 0
xec5 >= 0
x115b >= 0
xa90 >= 0
xc82 >= 0
xa1d >= 0
x1165 >= 0
x11bb >= 0
x8a1 >= 0
x113e >= 0
x8ad >= 0
x1159 >= 0
x10fd >= 0
xef5 >= 0
x10ef >= 0
xac6 >= 0
x10a8 >= 0
xc30 >= 0
xbfc >= 0
x8c >= 0
x97a >= 0
x1037 >= 0
x897 >= 0
x1146 >= 0
xd0c >= 0
x1190 >= 0
x909 >= 0
xaf7 >= 0
xc97 >= 0
x721 >= 0
x1143 >= 0
x115d >= 0
x8fc >= 0
x1178 >= 0
xd4a >= 0
x984 >= 0
x1096 >= 0
xc4a >= 0
xca0 >= 0
x10f7 >= 0
x117d >= 0
x1128 >= 0
xd0b >= 0
xe37 >= 0
x1062 >= 0
x1090 >= 0
x11af >= 0
x11a0 >= 0
x768 >= 0
x11b3 >= 0
x10f5 >= 0
xe22 >= 0
x2cd >= 0
xf31 >= 0
x1122 >= 0
x4f3 >= 0
xb2c >= 0
x1116 >= 0
x10df >= 0
xdad >= 0
x111a >= 0
x914 >= 0
x10b9 >= 0
x925 >= 0
xdd9 >= 0
xba7 >= 0
x1031 >= 0
xb3b >= 0
x111d >= 0
x10ea >= 0
xd6d >= 0
xe14 >= 0
xd7b >= 0
x9c1 >= 0
xa50 >= 0
xe23 >= 0
xa36 >= 0
x1127 >= 0
x11cd >= 0
x10d3 >= 0
x106c >= 0
x888 >= 0
x10bc >= 0
x115a >= 0
x7be >= 0
x8dc >= 0
x116b >= 0
x958 >= 0
x1186 >= 0
x118a >= 0
xa07 >= 0
x846 >= 0
xd01 >= 0
x10dd >= 0
x107b >= 0
xe91 >= 0
x1008 >= 0
xcd9 >= 0
x112e >= 0
x67 >= 0
xc07 >= 0
x11c3 >= 0
xc63 >= 0
x1098 >= 0
xb98 >= 0
xa5c >= 0
xcf7 >= 0
x1144 >= 0
x10e2 >= 0
x11a3 >= 0
x105a >= 0
x8ef >= 0
x921 >= 0
xd94 >= 0
xb80 >= 0
x8bd >= 0
x105f >= 0
x1182 >= 0
x10e7 >= 0
x10c8 >= 0
x1087 >= 0
xc9d >= 0
x10a2 >= 0
xf16 >= 0
x1034 >= 0
xbfb >= 0
x1156 >= 0
x1139 >= 0
x1171 >= 0
x823 >= 0
xa04 >= 0
xd67 >= 0
x4a >= 0
x853 >= 0
x81f >= 0
xd28 >= 0
x2a2 >= 0
x9de >= 0
x114d >= 0
xb30 >= 0
xa08 >= 0
xa26 >= 0
xad8 >= 0
x717 >= 0
x113b >= 0
x10aa >= 0
x11d0 >= 0
x7a8 >= 0
xc35 >= 0
x1082 >= 0
xdb2 >= 0
x116c >= 0
xa29 >= 0
xf71 >= 0
x10d6 >= 0
x732 >= 0
x6fb >= 0
x10b2 >= 0
x1153 >= 0
x11b5 >= 0
x11c9 >= 0
xa72 >= 0
x109c >= 0
x93d >= 0
xbf0 >= 0
x1051 >= 0
x115f >= 0
x8d7 >= 0
x11ba >= 0
x1b9 >= 0
x1b2 >= 0
x10ed >= 0
xf19 >= 0
xb38 >= 0
x1e6 >= 0
x1150 >= 0
x9fa >= 0
x8c6 >= 0
x1197 >= 0
x109f >= 0
x96b >= 0
x90d >= 0
x117a >= 0
xa53 >= 0
x10c3 >= 0
xe9 >= 0
x1145 >= 0
x831 >= 0
xd35 >= 0
x10b3 >= 0
x83b >= 0
xc29 >= 0
xbd >= 0
xbc1 >= 0
x86f >= 0
x1083 >= 0
x1141 >= 0
x7bb >= 0
x1102 >= 0
x10ab >= 0
x1117 >= 0
x9e6 >= 0
x787 >= 0
xd55 >= 0
xf35 >= 0
xc4 >= 0
x96e >= 0
x1063 >= 0
x74a >= 0
xb7e >= 0
x746 >= 0
xb3d >= 0
xc9c >= 0
x109d >= 0
x10 >= 0
xa76 >= 0
xa4e >= 0
x16e >= 0
x11a7 >= 0
x7ba >= 0
xf7b >= 0
x58e >= 0
xbc0 >= 0
x110e >= 0
x11bc >= 0
x318 >= 0
x81d >= 0
xf4d >= 0
xe90 >= 0
xdf2 >= 0
x1064 >= 0
x1162 >= 0
x9bc >= 0
x1038 >= 0
x1040 >= 0
xa2 >= 0
x687 >= 0
xa7c >= 0
x4b4 >= 0
x1088 >= 0
xd92 >= 0
x4c5 >= 0
x1033 >= 0
xab3 >= 0
x11cb >= 0
x112b >= 0
xd2f >= 0
x1136 >= 0
x46d >= 0
x896 >= 0
x4f0 >= 0
x824 >= 0
x4ca >= 0
x1091 >= 0
x8fd >= 0
xf7f >= 0
x84f >= 0
x930 >= 0
x1103 >= 0
xa2a >= 0
x9bd >= 0
x939 >= 0
xd48 >= 0
x1130 >= 0
x363 >= 0
x15d >= 0
xb06 >= 0
xf12 >= 0
x112 >= 0
x990 >= 0
x9a9 >= 0
x608 >= 0
xd34 >= 0
x1114 >= 0
xb12 >= 0
xd6c >= 0
xa03 >= 0
x11d1 >= 0
x112f >= 0
x9c7 >= 0
xef0 >= 0
x118f >= 0
x1085 >= 0
x860 >= 0
xc2 >= 0
x1163 >= 0
x1121 >= 0
x34b >= 0
x1148 >= 0
xa55 >= 0
xc43 >= 0
xcc4 >= 0
xdfd >= 0
x110a >= 0
x74 >= 0
x7e9 >= 0
x754 >= 0
x93e >= 0
x7e8 >= 0
x10ec >= 0
xcd8 >= 0
xa44 >= 0
x81c >= 0
x166 >= 0
x1115 >= 0
xe2e >= 0
xd27 >= 0
x2fa >= 0
x104a >= 0
x8a5 >= 0
xad9 >= 0
xffb >= 0
xd5d >= 0
xa5d >= 0
x10ca >= 0
x8d6 >= 0
xb6e >= 0
x1d4 >= 0
x10f1 >= 0
x949 >= 0
x785 >= 0
x10bf >= 0
xec7 >= 0
x5f9 >= 0
x101d >= 0
x701 >= 0
x1124 >= 0
x9aa >= 0
xd91 >= 0
xe4a >= 0
x1035 >= 0
xf4e >= 0
x11cc >= 0
x3d0 >= 0
x317 >= 0
xc0c >= 0
x944 >= 0
x9ec >= 0
x11b8 >= 0
x1095 >= 0
xbf7 >= 0
x8a4 >= 0
x112d >= 0
x313 >= 0
xc11 >= 0
x114b >= 0
xf00 >= 0
x107c >= 0
x10b7 >= 0
xed1 >= 0
x805 >= 0
x65c >= 0
x6b4 >= 0
x9e0 >= 0
x10cf >= 0
x10e5 >= 0
xda6 >= 0
x114e >= 0
xfb8 >= 0
x125 >= 0
x114a >= 0
xcd1 >= 0
xf88 >= 0
x1041 >= 0
xb85 >= 0
x36 >= 0
x3ae >= 0
xe10 >= 0
x10d9 >= 0
x96a >= 0
x820 >= 0
xe58 >= 0
x487 >= 0
xcca >= 0
x2ff >= 0
x128 >= 0
xce7 >= 0
x10c2 >= 0
x1180 >= 0
x80f >= 0
x110f >= 0
xa3f >= 0
xbbd >= 0
x1120 >= 0
x442 >= 0
x10b6 >= 0
x1138 >= 0
x9b >= 0
xff7 >= 0
xb64 >= 0
xae6 >= 0
x9e3 >= 0
x1160 >= 0
xfe8 >= 0
x1131 >= 0
xa0d >= 0
x373 >= 0
x9d6 >= 0
x118b >= 0
x10d2 >= 0
x8d2 >= 0
x7d9 >= 0
x3cb >= 0
x3aa >= 0
x10ba >= 0
x728 >= 0
xc85 >= 0
xa43 >= 0
x1161 >= 0
xb31 >= 0
x10e8 >= 0
x6dd >= 0
xa68 >= 0
x1078 >= 0
x1059 >= 0
xd9c >= 0
xf62 >= 0
x73b >= 0
xeeb >= 0
x9c8 >= 0
xdb1 >= 0
xc90 >= 0
x830 >= 0
x6e1 >= 0
x8e5 >= 0
xc2a >= 0
xd74 >= 0
x8f8 >= 0
x508 >= 0
x1061 >= 0
xb8 >= 0
x1169 >= 0
xca4 >= 0
xe18 >= 0
x245 >= 0
x58d >= 0
xa75 >= 0
xcc5 >= 0
xe36 >= 0
x4f7 >= 0
xb5a >= 0
xa51 >= 0
xafd >= 0
xa6f >= 0
x270 >= 0
x107f >= 0
xfe7 >= 0
xeef >= 0
xb39 >= 0
x183 >= 0
x428 >= 0
x1119 >= 0
xabb >= 0
xa2d >= 0
x10b1 >= 0
xc54 >= 0
x1036 >= 0
x1123 >= 0
x1107 >= 0
x10da >= 0
x55 >= 0
xa2e >= 0
xe19 >= 0
x1105 >= 0
x79d >= 0
x10ce >= 0
x198 >= 0
x2c5 >= 0
x791 >= 0
x108f >= 0
x58f >= 0
x4a5 >= 0
x1126 >= 0
xc57 >= 0
x294 >= 0
x19b >= 0
x108c >= 0
x107e >= 0
x9f7 >= 0
xecc >= 0
xca6 >= 0
x108b >= 0
x885 >= 0
x113c >= 0
xdd8 >= 0
x462 >= 0
x118d >= 0
x104c >= 0
xb10 >= 0
x530 >= 0
x491 >= 0
xaae >= 0
xf75 >= 0
x9ef >= 0
x2ce >= 0
x10ae >= 0
x99b >= 0
x906 >= 0
xafc >= 0
xff4 >= 0
x884 >= 0
x113f >= 0
x31a >= 0
x11d5 >= 0
x385 >= 0
x11d2 >= 0
xd07 >= 0
x772 >= 0
x7b3 >= 0
x968 >= 0
x11a9 >= 0
xf54 >= 0
xaa5 >= 0
x5ce >= 0
x3d6 >= 0
x10e9 >= 0
x1177 >= 0
x9e7 >= 0
x404 >= 0
x8c8 >= 0
xcf2 >= 0
x1125 >= 0
xf34 >= 0
x11b9 >= 0
xf38 >= 0
xad4 >= 0
xc44 >= 0
xede >= 0
x11b7 >= 0
xcdf >= 0
x4f2 >= 0
xadb >= 0
x7a3 >= 0
xdbe >= 0
x7b4 >= 0
x10e3 >= 0
x8ec >= 0
x982 >= 0
xced >= 0
x10cc >= 0
x1084 >= 0
x42 >= 0
x10c7 >= 0
x6e4 >= 0
xe47 >= 0
x9d2 >= 0
xdb6 >= 0
xfa9 >= 0
x10a4 >= 0
x51a >= 0
xce6 >= 0
xb55 >= 0
x6f1 >= 0
xf14 >= 0
x10b4 >= 0
xdaf >= 0
xa18 >= 0
xace >= 0
xaf8 >= 0
x8e9 >= 0
x3b0 >= 0
xf18 >= 0
x32 >= 0
x106b >= 0
x11bf >= 0
xffd >= 0
x10e1 >= 0
x1157 >= 0
x7b0 >= 0
xade >= 0
x312 >= 0
x111e >= 0
x6d >= 0
x118 >= 0
x2a7 >= 0
x1094 >= 0
xb44 >= 0
xe27 >= 0
xadc >= 0
x1086 >= 0
x111c >= 0
xba4 >= 0
x10e4 >= 0
xaac >= 0
x813 >= 0
x6e2 >= 0
xbc >= 0
x10cb >= 0
x105e >= 0
x25b >= 0
x7b6 >= 0
x10c0 >= 0
x1192 >= 0
xaf0 >= 0
xcf3 >= 0
x297 >= 0
x10c4 >= 0
x1068 >= 0
xed4 >= 0
xd8e >= 0
x117f >= 0
x7e6 >= 0
x1093 >= 0
x11ab >= 0
xc50 >= 0
x151 >= 0
x10f2 >= 0
x688 >= 0
x79b >= 0
x1188 >= 0
x3a4 >= 0
x7ed >= 0
xab2 >= 0
xad2 >= 0
xd9f >= 0
x10f4 >= 0
x626 >= 0
x731 >= 0
x8c9 >= 0
xc1a >= 0
xad7 >= 0
xc16 >= 0
x10f3 >= 0
xbef >= 0
xaf5 >= 0
x6cc >= 0
xd5f >= 0
x3c4 >= 0
x1001 >= 0
xa65 >= 0
x10fe >= 0
xf0b >= 0
x11c2 >= 0
x33e >= 0
x10f8 >= 0
x296 >= 0
x1167 >= 0
xe0d >= 0
x20b >= 0
x6d0 >= 0
x109e >= 0
x10d7 >= 0
xf6e >= 0
x10db >= 0
x9ee >= 0
x710 >= 0
x14e >= 0
x71e >= 0
xc4f >= 0
x8df >= 0
xd3c >= 0
x11cf >= 0
xa4b >= 0
xf5 >= 0
x17b >= 0
x10bd >= 0
x10ff >= 0
x10de >= 0
x2d4 >= 0
x91a >= 0
xc7a >= 0
x2f8 >= 0
xc76 >= 0
x95 >= 0
x919 >= 0
x10eb >= 0
x1149 >= 0
x985 >= 0
xc10 >= 0
x99d >= 0
xe56 >= 0
x5c2 >= 0
x390 >= 0
xd14 >= 0
x1175 >= 0
x1079 >= 0
x98d >= 0
xe33 >= 0
xa67 >= 0
x76f >= 0
x10d8 >= 0
x9d5 >= 0
x704 >= 0
xb36 >= 0
xb8d >= 0
x2e7 >= 0
x119f >= 0
x26 >= 0
x11a4 >= 0
x366 >= 0
x110c >= 0
xf4a >= 0
xd09 >= 0
x10a0 >= 0
x78c >= 0
x1187 >= 0
xac5 >= 0
x94a >= 0
xc09 >= 0
xf40 >= 0
x280 >= 0
x20f >= 0
x11c1 >= 0
x7a9 >= 0
x21 >= 0
xc2e >= 0
xfa4 >= 0
x115e >= 0
xf89 >= 0
x46e >= 0
x117b >= 0
xc5 >= 0
x11aa >= 0
x111f >= 0
x2a9 >= 0
x6b0 >= 0
xb13 >= 0
x7ae >= 0
x103a >= 0
x401 >= 0
x6fc >= 0
xcb7 >= 0
xa0e >= 0
x10ee >= 0
x603 >= 0
xbaa >= 0
x10dc >= 0
x5e0 >= 0
x1032 >= 0
x11c0 >= 0
xc7d >= 0
x75c >= 0
x10a7 >= 0
xbc7 >= 0
x469 >= 0
x751 >= 0
xcc2 >= 0
xfa8 >= 0
xbeb >= 0
xbec >= 0
xd4b >= 0
x92f >= 0
x9c >= 0
x45a >= 0
x7db >= 0
x798 >= 0
xc1b >= 0
x72a >= 0
xe2f >= 0
x85f >= 0
x8b6 >= 0
x437 >= 0
xd7f >= 0
x6cb >= 0
x11c6 >= 0
x90e >= 0
x937 >= 0
x116a >= 0
x1198 >= 0
x879 >= 0
xcf6 >= 0
x116f >= 0
x7e2 >= 0
xe16 >= 0
xbb3 >= 0
xb17 >= 0
xa85 >= 0
x6fa >= 0
x1134 >= 0
xc86 >= 0
x3bc >= 0
xc31 >= 0
x1099 >= 0
xcbc >= 0
x1154 >= 0
xe54 >= 0
xba8 >= 0
x1043 >= 0
x1170 >= 0
xe60 >= 0
x662 >= 0
x10e6 >= 0
xd61 >= 0
x584 >= 0
x75b >= 0
x10a3 >= 0
x5d2 >= 0
\ Integer Requirements: ILP
Generals
x1
xe49 xbda xe53 xaf1 x10b0 xc9f x1019 xe09 x1181 xb33
x10be x11ca xa8f x7bf x10ac x1142 x1147 x11c5 x10ad xb32
x7dc xda0 xdf3 x1193 x850 x11ad x10d1 x8b5 x1065 x11a1
xc4b x116e x91b xc96 x1108 x90a x11ac x11c4 xec8 x103b
x10fa x10bb x1164 xc7c x11b2 x1109 x6df x10d0 x9d3 x1129
xe29 x1066 x10af x957 x1158 xca2 x1111 x6af xf63 x10b5
x1189 xe2a x1194 x1173 x1152 xf5f x11a6 x1101 x10c5 x117c
x10e0 x113d xd1d x103d xf70 xb47 x1118 x11bd x11ae x1151
x1183 x1077 xc80 x10a9 x1185 xdbd x11b1 x1110 xc15 x112c
x110b xe62 x1104 xc3a xb0d x114f x1112 xbd9 x6f3 x9e2
x887 x1179 x1042 x10a5 x114c x1166 x10a1 x70b x1097 x10b8
x93a x115c x8d3 x113a x11c8 xb46 x111b x1137 xad5 xc53
xe63 x112a x11be x1132 x108d x8b1 xb2e xc83 xe0f x8b2
xada xed3 x1009 x116d x11b4 x8be x6e7 x7e3 xaaf x10a6
x1176 x10c9 x7fb x11d3 x1172 x11b0 x996 x10fc x10d5 x10d4
xe32 x110d xf94 xb0c xb51 x98e x118e x10f0 xc0d xc58
x1113 x1174 xc13 x1195 x1133 xfd3 x9b1 x1135 x117e xb84
x3ac x11c7 x11b6 x9f9 xa71 x7ec x799 x770 x10f9 xfe5
x10f6 xebe x75d xec5 x115b xa90 xc82 xa1d x1165 x11bb
x8a1 x113e x8ad x1159 x10fd xef5 x10ef xac6 x10a8 xc30
xbfc x8c x97a x1037 x897 x1146 xd0c x1190 x909 xaf7
xc97 x721 x1143 x115d x8fc x1178 xd4a x984 x1096 xc4a
xca0 x10f7 x117d x1128 xd0b xe37 x1062 x1090 x11af x11a0
x768 x11b3 x10f5 xe22 x2cd xf31 x1122 x4f3 xb2c x1116
x10df xdad x111a x914 x10b9 x925 xdd9 xba7 x1031 xb3b
x111d x10ea xd6d xe14 xd7b x9c1 xa50 xe23 xa36 x1127
x11cd x10d3 x106c x888 x10bc x115a x7be x8dc x116b x958
x1186 x118a xa07 x846 xd01 x10dd x107b xe91 x1008 xcd9
x112e x67 xc07 x11c3 xc63 x1098 xb98 xa5c xcf7 x1144
x10e2 x11a3 x105a x8ef x921 xd94 xb80 x8bd x105f x1182
x10e7 x10c8 x1087 xc9d x10a2 xf16 x1034 xbfb x1156 x1139
x1171 x823 xa04 xd67 x4a x853 x81f xd28 x2a2 x9de
x114d xb30 xa08 xa26 xad8 x717 x113b x10aa x11d0 x7a8
xc35 x1082 xdb2 x116c xa29 xf71 x10d6 x732 x6fb x10b2
x1153 x11b5 x11c9 xa72 x109c x93d xbf0 x1051 x115f x8d7
x11ba x1b9 x1b2 x10ed xf19 xb38 x1e6 x1150 x9fa x8c6
x1197 x109f x96b x90d x117a xa53 x10c3 xe9 x1145 x831
xd35 x10b3 x83b xc29 xbd xbc1 x86f x1083 x1141 x7bb
x1102 x10ab x1117 x9e6 x787 xd55 xf35 xc4 x96e x1063
x74a xb7e x746 xb3d xc9c x109d x10 xa76 xa4e x16e
x11a7 x7ba xf7b x58e xbc0 x110e x11bc x318 x81d xf4d
xe90 xdf2 x1064 x1162 x9bc x1038 x1040 xa2 x687 xa7c
x4b4 x1088 xd92 x4c5 x1033 xab3 x11cb x112b xd2f x1136
x46d x896 x4f0 x824 x4ca x1091 x8fd xf7f x84f x930
x1103 xa2a x9bd x939 xd48 x1130 x363 x15d xb06 xf12
x112 x990 x9a9 x608 xd34 x1114 xb12 xd6c xa03 x11d1
x112f x9c7 xef0 x118f x1085 x860 xc2 x1163 x1121 x34b
x1148 xa55 xc43 xcc4 xdfd x110a x74 x7e9 x754 x93e
x7e8 x10ec xcd8 xa44 x81c x166 x1115 xe2e xd27 x2fa
x104a x8a5 xad9 xffb xd5d xa5d x10ca x8d6 xb6e x1d4
x10f1 x949 x785 x10bf xec7 x5f9 x101d x701 x1124 x9aa
xd91 xe4a x1035 xf4e x11cc x3d0 x317 xc0c x944 x9ec
x11b8 x1095 xbf7 x8a4 x112d x313 xc11 x114b xf00 x107c
x10b7 xed1 x805 x65c x6b4 x9e0 x10cf x10e5 xda6 x114e
xfb8 x125 x114a xcd1 xf88 x1041 xb85 x36 x3ae xe10
x10d9 x96a x820 xe58 x487 xcca x2ff x128 xce7 x10c2
x1180 x80f x110f xa3f xbbd x1120 x442 x10b6 x1138 x9b
xff7 xb64 xae6 x9e3 x1160 xfe8 x1131 xa0d x373 x9d6
x118b x10d2 x8d2 x7d9 x3cb x3aa x10ba x728 xc85 xa43
x1161 xb31 x10e8 x6dd xa68 x1078 x1059 xd9c xf62 x73b
xeeb x9c8 xdb1 xc90 x830 x6e1 x8e5 xc2a xd74 x8f8
x508 x1061 xb8 x1169 xca4 xe18 x245 x58d xa75 xcc5
xe36 x4f7 xb5a xa51 xafd xa6f x270 x107f xfe7 xeef
xb39 x183 x428 x1119 xabb xa2d x10b1 xc54 x1036 x1123
x1107 x10da x55 xa2e xe19 x1105 x79d x10ce x198 x2c5
x791 x108f x58f x4a5 x1126 xc57 x294 x19b x108c x107e
x9f7 xecc xca6 x108b x885 x113c xdd8 x462 x118d x104c
xb10 x530 x491 xaae xf75 x9ef x2ce x10ae x99b x906
xafc xff4 x884 x113f x31a x11d5 x385 x11d2 xd07 x772
x7b3 x968 x11a9 xf54 xaa5 x5ce x3d6 x10e9 x1177 x9e7
x404 x8c8 xcf2 x1125 xf34 x11b9 xf38 xad4 xc44 xede
x11b7 xcdf x4f2 xadb x7a3 xdbe x7b4 x10e3 x8ec x982
xced x10cc x1084 x42 x10c7 x6e4 xe47 x9d2 xdb6 xfa9
x10a4 x51a xce6 xb55 x6f1 xf14 x10b4 xdaf xa18 xace
xaf8 x8e9 x3b0 xf18 x32 x106b x11bf xffd x10e1 x1157
x7b0 xade x312 x111e x6d x118 x2a7 x1094 xb44 xe27
xadc x1086 x111c xba4 x10e4 xaac x813 x6e2 xbc x10cb
x105e x25b x7b6 x10c0 x1192 xaf0 xcf3 x297 x10c4 x1068
xed4 xd8e x117f x7e6 x1093 x11ab xc50 x151 x10f2 x688
x79b x1188 x3a4 x7ed xab2 xad2 xd9f x10f4 x626 x731
x8c9 xc1a xad7 xc16 x10f3 xbef xaf5 x6cc xd5f x3c4
x1001 xa65 x10fe xf0b x11c2 x33e x10f8 x296 x1167 xe0d
x20b x6d0 x109e x10d7 xf6e x10db x9ee x710 x14e x71e
xc4f x8df xd3c x11cf xa4b xf5 x17b x10bd x10ff x10de
x2d4 x91a xc7a x2f8 xc76 x95 x919 x10eb x1149 x985
xc10 x99d xe56 x5c2 x390 xd14 x1175 x1079 x98d xe33
xa67 x76f x10d8 x9d5 x704 xb36 xb8d x2e7 x119f x26
x11a4 x366 x110c xf4a xd09 x10a0 x78c x1187 xac5 x94a
xc09 xf40 x280 x20f x11c1 x7a9 x21 xc2e xfa4 x115e
xf89 x46e x117b xc5 x11aa x111f x2a9 x6b0 xb13 x7ae
x103a x401 x6fc xcb7 xa0e x10ee x603 xbaa x10dc x5e0
x1032 x11c0 xc7d x75c x10a7 xbc7 x469 x751 xcc2 xfa8
xbeb xbec xd4b x92f x9c x45a x7db x798 xc1b x72a
xe2f x85f x8b6 x437 xd7f x6cb x11c6 x90e x937 x116a
x1198 x879 xcf6 x116f x7e2 xe16 xbb3 xb17 xa85 x6fa
x1134 xc86 x3bc xc31 x1099 xcbc x1154 xe54 xba8 x1043
x1170 xe60 x662 x10e6 xd61 x584 x75b x10a3 x5d2
\ Statistics:
\ SuperCFG: #nodes=0, #edges=0
\ SuperCG: #nodes=1002, #edges=2304
\ ILP: #variables=508, #constraints=702
\ Ich will eine Maschine sein,
\ Arme zu greifen, Beine zu gehen,
\ Kein Schmerz, kein Gedanke.
End
More information about the Cbc
mailing list