\ No. vars=100 No. cons=400 Density= 0.05 Range of costs= 1 to 10
\ Name of file is pk14w.lp
Maximize
obj:    3 x1 +  7 x2 +  3 x3 +  1 x4 +  9 x5 +  7 x6 +  2 x7 +  1 x8 +  8 x9 +  6 x10
 +  7 x11 +  3 x12 +  3 x13 +  2 x14 +  5 x15 +  1 x16 +  2 x17 + 10 x18 +  3 x19 +  8 x20
 +  8 x21 +  2 x22 +  7 x23 +  9 x24 +  2 x25 +  6 x26 +  8 x27 +  6 x28 +  5 x29 +  8 x30
 +  9 x31 +  9 x32 +  4 x33 +  7 x34 +  7 x35 + 10 x36 +  4 x37 +  8 x38 + 10 x39 +  3 x40
 +  5 x41 +  6 x42 +  9 x43 +  9 x44 + 10 x45 +  4 x46 +  5 x47 +  7 x48 +  9 x49 +  6 x50
 +  5 x51 +  5 x52 +  2 x53 +  2 x54 +  7 x55 +  5 x56 +  3 x57 +  7 x58 +  7 x59 +  9 x60
 +  2 x61 +  9 x62 +  7 x63 +  6 x64 +  8 x65 +  5 x66 +  4 x67 +  9 x68 +  2 x69 +  1 x70
 +  5 x71 +  8 x72 +  2 x73 +  5 x74 +  9 x75 +  6 x76 +  9 x77 +  3 x78 +  6 x79 +  6 x80
 +  4 x81 + 10 x82 +  5 x83 +  6 x84 +  2 x85 +  3 x86 +  3 x87 +  8 x88 +  4 x89 +  3 x90
 +  2 x91 +  3 x92 +  8 x93 +  5 x94 +  9 x95 +  6 x96 + 10 x97 +  4 x98 +  4 x99 +  3 x100
Subject To
c1:   x43 + x76 + x87  <= 1
c2:   x22 + x25 + x49 + x61  <= 1
c3:   x59 + x86  <= 1
c4:   x61 + x77 + x92 + x97  <= 1
c5:   x11 + x15 + x16 + x21 + x22 + x25 + x99  <= 1
c6:   x15 + x73 + x100  <= 1
c7:   x36 + x45 + x57 + x81 + x96  <= 1
c8:   x22 + x23 + x27 + x67 + x96  <= 1
c9:   x18 + x72  <= 1
c10:   x6 + x58 + x73 + x76 + x90 + x91  <= 1
c11:   x32 + x55 + x62 + x72 + x73 + x82 + x90  <= 1
c12:   x47 + x77  <= 1
c13:   x38 + x41 + x43 + x71 + x79 + x94 + x97  <= 1
c14:   x12 + x22 + x91  <= 1
c15:   x18 + x38  <= 1
c16:   x22 + x44 + x53  <= 1
c17:   x1 + x23 + x48 + x77 + x87  <= 1
c18:   x5 + x19 + x29 + x52  <= 1
c19:   x53 + x84 + x88 + x99  <= 1
c20:   x8 + x18 + x23 + x46 + x52 + x72 + x97  <= 1
c21:   x18 + x41 + x50 + x63 + x79 + x86 + x96  <= 1
c22:   x70  <= 1
c23:   x15 + x38 + x42 + x79  <= 1
c24:   x10 + x18 + x23  <= 1
c25:   x2 + x7 + x16 + x25 + x53 + x57 + x92  <= 1
c26:   x8 + x16 + x41 + x47 + x65 + x76  <= 1
c27:   x3 + x27  <= 1
c28:   x37 + x44 + x45 + x51 + x85  <= 1
c29:   x6 + x65 + x90 + x100  <= 1
c30:   x73  <= 1
c31:   x9 + x15 + x34 + x38 + x45 + x47 + x55 + x71 + x95  <= 1
c32:   x7 + x13 + x18  <= 1
c33:   x28 + x43 + x72 + x76  <= 1
c34:   x14 + x68 + x69 + x75 + x87  <= 1
c35:   x15 + x19 + x33 + x60 + x79  <= 1
c36:   x14 + x21  <= 1
c37:   x44 + x45  <= 1
c38:   x1 + x19 + x20 + x39 + x97  <= 1
c39:   x15 + x63 + x66 + x69 + x77  <= 1
c40:   x13 + x15 + x24 + x37 + x46 + x57 + x59 + x77 + x87  <= 1
c41:   x12 + x40 + x51 + x67 + x73 + x78  <= 1
c42:   x3 + x32 + x33 + x36 + x51 + x61 + x71  <= 1
c43:   x21 + x26 + x43 + x55 + x64 + x78  <= 1
c44:   x14 + x48  <= 1
c45:   x31 + x62 + x70  <= 1
c46:   x25 + x85 + x90 + x91 + x98  <= 1
c47:   x7 + x48 + x50 + x51 + x55 + x64 + x70 + x85  <= 1
c48:   x10 + x35 + x75 + x96  <= 1
c49:   x3 + x12 + x31 + x34 + x56 + x70  <= 1
c50:   x3 + x39 + x46 + x47 + x48 + x52 + x61 + x68 + x72 + x81  <= 1
c51:   x13 + x45  <= 1
c52:   x15 + x71 + x76 + x84  <= 1
c53:   x17 + x47  <= 1
c54:   x63 + x66 + x69 + x85 + x99  <= 1
c55:   x4 + x5 + x8 + x71 + x79 + x87 + x96  <= 1
c56:   x7 + x13 + x30 + x55 + x67 + x75 + x83  <= 1
c57:   x30 + x44 + x71 + x73  <= 1
c58:   x39 + x68  <= 1
c59:   x9 + x23 + x38 + x43 + x49 + x62 + x96  <= 1
c60:   x1 + x13 + x15 + x17 + x22 + x39 + x47 + x48 + x76 + x93  <= 1
c61:   x2 + x24 + x25 + x33 + x46 + x68 + x73 + x88  <= 1
c62:   x21 + x28 + x41 + x75 + x77  <= 1
c63:   x37 + x98 + x99  <= 1
c64:   x24 + x36 + x37 + x51 + x54 + x96  <= 1
c65:   x4 + x18 + x95  <= 1
c66:   x4 + x67 + x79  <= 1
c67:   x4 + x21 + x43 + x45 + x49 + x61  <= 1
c68:   x25 + x36 + x38 + x61  <= 1
c69:   x12 + x18 + x20 + x40 + x49 + x63 + x65 + x84  <= 1
c70:   x13 + x19 + x35 + x37 + x56 + x63 + x100  <= 1
c71:   x11 + x38 + x66 + x78  <= 1
c72:   x4 + x10 + x35 + x49 + x54 + x73 + x96  <= 1
c73:   x4 + x27 + x31 + x44 + x47 + x62  <= 1
c74:   x2 + x54 + x70 + x91  <= 1
c75:   x6 + x29 + x61 + x82 + x86  <= 1
c76:   x1 + x50 + x79 + x86 + x91  <= 1
c77:   x32 + x53 + x64 + x83 + x87  <= 1
c78:   x29 + x52 + x99 + x100  <= 1
c79:   x7 + x50 + x87  <= 1
c80:   x3 + x58 + x71  <= 1
c81:   x21 + x30 + x37 + x45 + x73 + x76 + x92 + x100  <= 1
c82:   x4 + x5 + x28 + x31 + x59  <= 1
c83:   x43 + x54 + x61 + x75 + x81 + x82  <= 1
c84:   x32 + x39 + x45 + x69  <= 1
c85:   x2 + x6 + x21 + x36 + x51 + x57 + x62 + x81 + x98  <= 1
c86:   x1 + x5 + x22 + x33 + x34 + x63 + x69 + x78  <= 1
c87:   x4 + x6 + x8 + x16 + x21 + x54 + x64 + x80 + x91  <= 1
c88:   x61 + x84  <= 1
c89:   x31 + x32 + x48 + x88 + x97  <= 1
c90:   x20 + x48 + x56  <= 1
c91:   x20 + x26 + x28 + x47 + x56 + x59 + x69  <= 1
c92:   x17 + x30 + x32 + x46  <= 1
c93:   x80 + x96  <= 1
c94:   x24 + x52 + x55 + x67 + x80 + x96  <= 1
c95:   x48 + x73 + x100  <= 1
c96:   x6 + x8 + x23 + x33 + x70 + x80 + x86 + x87 + x93 + x94  <= 1
c97:   x35 + x54 + x90 + x100  <= 1
c98:   x30 + x55 + x61 + x88  <= 1
c99:   x21 + x25 + x26 + x28 + x29 + x46 + x62 + x80 + x83  <= 1
c100:   x24 + x32 + x36 + x37 + x89 + x99  <= 1
c101:   x4 + x14 + x84 + x85 + x96  <= 1
c102:   x3 + x13 + x93 + x95  <= 1
c103:   x11 + x21 + x22 + x36 + x39 + x45 + x52 + x73 + x86 + x90
 + x91  <= 1
c104:   x35 + x42 + x49 + x57 + x58 + x76 + x94  <= 1
c105:   x27 + x36 + x37 + x49 + x55 + x58 + x61 + x80  <= 1
c106:   x23 + x28 + x30 + x56 + x66 + x74 + x93 + x97  <= 1
c107:   x3 + x15 + x35 + x40 + x52 + x53 + x58 + x79  <= 1
c108:   x7 + x10 + x23 + x34 + x78 + x83 + x89 + x92 + x97  <= 1
c109:   x35 + x61  <= 1
c110:   x24 + x62 + x63 + x79 + x85 + x86 + x88  <= 1
c111:   x79  <= 1
c112:   x40 + x57 + x62 + x93  <= 1
c113:   x18 + x52 + x54 + x56 + x60 + x78 + x82 + x86  <= 1
c114:   x2 + x13 + x22 + x30 + x54 + x63 + x96  <= 1
c115:   x19 + x30 + x38 + x39 + x40 + x45 + x79  <= 1
c116:   x41 + x52 + x74 + x76 + x88  <= 1
c117:   x11 + x39 + x66 + x69 + x79  <= 1
c118:   x8 + x21 + x47 + x76  <= 1
c119:   x28 + x45 + x75 + x80 + x85  <= 1
c120:   x28 + x32 + x66  <= 1
c121:   x1 + x8 + x11 + x24  <= 1
c122:   x17 + x22 + x59 + x73 + x79  <= 1
c123:   x1 + x40 + x45 + x61 + x62 + x79 + x87  <= 1
c124:   x8 + x64 + x66 + x70 + x71 + x84  <= 1
c125:   x12 + x26 + x41 + x42 + x58 + x64 + x68  <= 1
c126:   x27 + x37 + x62 + x92  <= 1
c127:   x17 + x40 + x62 + x64 + x67 + x80 + x84 + x87  <= 1
c128:   x13 + x35 + x55 + x61 + x66 + x87 + x92  <= 1
c129:   x32 + x36 + x58 + x62  <= 1
c130:   x33 + x50 + x76 + x79  <= 1
c131:   x18 + x29 + x56  <= 1
c132:   x14 + x62 + x68 + x99  <= 1
c133:   x45 + x46 + x66  <= 1
c134:   x17 + x54 + x78 + x83  <= 1
c135:   x5 + x17 + x50 + x68 + x80 + x93  <= 1
c136:   x29 + x35 + x54 + x59 + x92  <= 1
c137:   x11 + x46 + x63 + x64 + x82  <= 1
c138:   x45 + x58 + x66 + x67 + x68 + x77 + x98  <= 1
c139:   x28 + x58 + x79 + x81 + x85 + x95 + x96 + x100  <= 1
c140:   x19 + x23 + x27 + x32 + x43 + x48 + x58 + x95 + x98  <= 1
c141:   x3 + x20 + x52 + x59 + x60 + x61 + x62 + x97  <= 1
c142:   x18 + x39 + x48 + x80 + x88  <= 1
c143:   x12 + x19 + x30 + x66 + x88  <= 1
c144:   x3 + x44 + x47 + x84  <= 1
c145:   x23 + x25 + x34 + x66 + x70 + x97  <= 1
c146:   x12 + x31 + x42 + x61 + x70 + x74 + x87  <= 1
c147:   x52 + x68 + x73 + x89  <= 1
c148:   x31 + x44  <= 1
c149:   x10 + x21 + x38 + x43 + x100  <= 1
c150:   x10 + x68  <= 1
c151:   x58 + x69 + x72 + x79  <= 1
c152:   x13 + x20 + x94  <= 1
c153:   x22 + x32 + x42 + x93  <= 1
c154:   x8 + x9 + x25 + x27 + x37 + x95  <= 1
c155:   x44 + x69 + x76 + x92  <= 1
c156:   x1 + x5 + x36 + x78 + x80 + x91  <= 1
c157:   x37 + x55 + x67 + x78 + x80  <= 1
c158:   x25 + x60  <= 1
c159:   x1 + x18 + x42  <= 1
c160:   x69 + x81 + x83  <= 1
c161:   x44 + x72 + x82  <= 1
c162:   x3 + x4 + x9 + x21 + x98  <= 1
c163:   x34 + x70 + x76 + x80  <= 1
c164:   x1 + x5 + x21 + x60 + x67 + x73 + x81 + x83 + x88  <= 1
c165:   x29 + x75 + x76 + x86 + x88 + x96  <= 1
c166:   x51 + x53  <= 1
c167:   x72  <= 1
c168:   x7 + x22 + x29 + x42 + x56 + x96  <= 1
c169:   x15 + x18 + x65 + x97  <= 1
c170:   x5 + x57 + x78 + x80 + x86 + x93  <= 1
c171:   x9 + x23 + x37 + x65 + x72 + x91  <= 1
c172:   x11 + x65 + x76 + x81 + x88 + x93  <= 1
c173:   x1 + x3 + x4 + x19 + x20 + x47 + x48 + x53 + x59 + x100  <= 1
c174:   x33 + x54 + x90  <= 1
c175:   x11 + x20 + x30  <= 1
c176:   x1 + x5 + x15 + x35 + x38 + x41 + x50 + x58 + x70 + x84  <= 1
c177:   x14 + x19 + x38 + x64 + x100  <= 1
c178:   x37 + x100  <= 1
c179:   x21 + x63 + x87 + x89  <= 1
c180:   x2 + x58 + x78 + x96  <= 1
c181:   x10  <= 1
c182:   x1 + x23 + x24 + x76 + x78 + x90  <= 1
c183:   x8 + x48 + x69 + x73 + x75 + x82 + x83 + x84 + x90  <= 1
c184:   x5 + x13 + x28 + x43 + x62  <= 1
c185:   x16 + x19 + x27 + x50 + x55 + x64 + x78 + x89  <= 1
c186:   x12 + x19 + x20 + x31 + x50 + x68 + x96  <= 1
c187:   x10 + x38 + x51 + x61  <= 1
c188:   x61 + x76  <= 1
c189:   x6 + x11 + x15 + x52  <= 1
c190:   x22 + x23 + x28 + x34 + x47 + x48 + x59 + x83  <= 1
c191:   x16 + x55 + x68  <= 1
c192:   x26 + x47 + x66 + x87  <= 1
c193:   x13 + x45 + x61 + x76 + x86 + x94  <= 1
c194:   x31 + x55 + x66 + x73 + x78  <= 1
c195:   x32 + x37 + x60 + x91  <= 1
c196:   x14 + x15 + x46 + x92 + x99  <= 1
c197:   x13 + x31 + x47 + x55 + x63 + x87  <= 1
c198:   x1 + x7 + x9 + x34 + x78 + x81  <= 1
c199:   x5 + x22 + x55 + x94  <= 1
c200:   x3 + x34 + x55  <= 1
c201:   x31 + x56 + x68 + x86 + x99  <= 1
c202:   x2 + x16 + x18 + x19 + x32 + x51 + x60 + x69 + x72 + x91  <= 1
c203:   x7 + x23 + x35 + x57 + x90 + x94 + x100  <= 1
c204:   x7 + x19 + x26 + x48 + x54 + x70 + x92  <= 1
c205:   x15 + x17 + x52 + x62 + x69 + x98  <= 1
c206:   x18 + x23 + x44 + x53 + x61 + x78 + x92 + x94 + x97  <= 1
c207:   x21  <= 1
c208:   x30 + x47 + x78  <= 1
c209:   x57 + x78 + x85  <= 1
c210:   x26 + x27 + x60 + x69 + x91  <= 1
c211:   x41 + x49  <= 1
c212:   x41 + x67 + x79  <= 1
c213:   x26 + x41 + x55 + x89  <= 1
c214:   x59 + x86  <= 1
c215:   x51 + x70 + x71 + x99  <= 1
c216:   x16 + x37 + x43 + x44 + x67 + x85  <= 1
c217:   x11 + x33 + x77 + x87  <= 1
c218:   x5 + x19 + x22 + x30 + x36 + x46 + x51 + x66 + x67  <= 1
c219:   x27 + x41 + x90  <= 1
c220:   x35 + x42 + x87  <= 1
c221:   x1 + x51 + x65  <= 1
c222:   x4 + x5 + x33 + x39 + x40 + x64 + x75 + x90 + x93  <= 1
c223:   x7 + x17 + x45 + x81 + x83 + x86 + x88  <= 1
c224:   x70  <= 1
c225:   x53  <= 1
c226:   x9 + x51 + x67 + x82 + x83 + x87  <= 1
c227:   x57  <= 1
c228:   x9 + x28 + x49 + x89  <= 1
c229:   x11 + x22 + x28 + x30 + x53  <= 1
c230:   x15 + x19 + x22 + x39 + x52 + x89 + x96 + x97  <= 1
c231:   x11 + x44 + x47 + x66 + x77 + x84 + x89  <= 1
c232:   x29 + x33 + x44 + x85  <= 1
c233:   x4 + x49 + x63  <= 1
c234:   x11 + x21 + x23 + x46 + x50 + x56 + x92  <= 1
c235:   x4 + x26 + x59 + x69 + x96  <= 1
c237:   x3 + x38 + x64 + x83 + x94  <= 1
c238:   x6 + x63 + x83  <= 1
c239:   x41 + x54 + x56 + x63 + x66 + x69 + x95  <= 1
c240:   x22 + x24 + x41 + x72 + x89  <= 1
c241:   x61  <= 1
c242:   x15 + x22 + x29 + x38 + x43 + x54 + x59  <= 1
c243:   x16 + x39 + x59 + x70 + x75 + x76 + x92 + x99 + x100  <= 1
c244:   x4 + x5 + x18 + x75 + x93  <= 1
c245:   x10 + x69 + x70  <= 1
c246:   x9 + x23 + x25 + x28 + x46 + x56 + x88 + x91  <= 1
c247:   x11 + x42 + x57 + x58 + x64 + x72 + x90  <= 1
c248:   x41 + x68 + x90  <= 1
c249:   x14 + x33 + x48  <= 1
c250:   x18 + x30 + x77  <= 1
c251:   x16 + x32 + x41 + x57 + x99  <= 1
c252:   x17 + x19 + x22 + x35 + x51 + x65  <= 1
c253:   x3 + x18 + x20 + x26 + x46 + x47 + x89  <= 1
c254:   x15 + x43 + x60 + x61  <= 1
c255:   x13 + x23 + x25 + x51 + x53 + x75 + x88  <= 1
c256:   x42 + x58 + x60  <= 1
c257:   x10 + x34 + x47 + x54 + x57 + x72 + x73 + x81 + x100  <= 1
c258:   x29 + x79  <= 1
c259:   x40 + x55 + x76 + x98  <= 1
c260:   x8 + x21 + x24 + x44 + x73 + x90  <= 1
c261:   x2 + x3 + x8  <= 1
c262:   x48 + x53 + x63 + x64 + x73 + x77 + x79 + x87  <= 1
c263:   x21 + x33 + x70 + x78 + x90 + x94  <= 1
c264:   x28 + x32 + x34  <= 1
c265:   x40  <= 1
c266:   x8 + x34 + x40 + x44 + x59 + x74 + x97 + x99  <= 1
c268:   x22 + x23 + x24 + x52 + x64  <= 1
c269:   x14 + x21 + x22 + x36 + x50 + x51 + x91 + x100  <= 1
c270:   x3 + x36 + x44 + x47 + x73 + x81 + x83  <= 1
c271:   x61 + x74 + x80  <= 1
c272:   x27 + x37 + x70 + x75 + x77  <= 1
c273:   x2 + x24 + x30 + x49 + x62 + x69 + x70 + x96  <= 1
c274:   x46  <= 1
c275:   x26 + x33 + x44 + x57  <= 1
c276:   x2 + x15 + x18 + x78 + x82  <= 1
c277:   x4 + x10 + x53 + x70 + x72 + x95  <= 1
c278:   x1 + x6  <= 1
c279:   x7 + x18 + x40 + x42 + x69  <= 1
c280:   x5 + x6 + x11 + x50 + x70 + x80 + x89  <= 1
c281:   x52 + x58 + x78  <= 1
c282:   x10 + x18 + x23 + x27 + x66 + x70 + x83  <= 1
c283:   x39 + x42 + x49 + x87  <= 1
c284:   x13 + x24 + x64  <= 1
c285:   x25 + x76 + x80  <= 1
c286:   x31 + x59 + x63 + x65 + x80 + x94  <= 1
c287:   x6 + x20 + x36 + x48 + x66 + x77  <= 1
c288:   x51 + x53 + x65 + x72  <= 1
c289:   x37 + x100  <= 1
c290:   x36 + x44 + x51 + x66 + x78 + x97  <= 1
c291:   x4 + x76  <= 1
c292:   x13 + x36 + x41 + x50 + x60 + x81  <= 1
c293:   x7 + x13 + x20 + x36  <= 1
c294:   x33 + x59 + x67 + x96  <= 1
c295:   x22 + x35 + x46 + x66 + x72 + x84  <= 1
c296:   x76  <= 1
c297:   x4 + x39 + x75 + x77 + x91  <= 1
c298:   x34 + x60 + x77 + x78 + x96  <= 1
c299:   x9 + x35 + x95  <= 1
c300:   x15 + x51 + x55 + x64 + x83  <= 1
c301:   x42 + x61 + x65 + x94  <= 1
c302:   x15 + x42 + x43 + x58 + x70 + x88 + x89  <= 1
c303:   x14 + x16 + x29 + x78 + x79  <= 1
c304:   x4 + x8 + x12 + x77  <= 1
c305:   x6 + x21 + x35 + x39 + x77 + x99  <= 1
c306:   x23 + x26 + x41 + x44 + x60 + x67 + x74  <= 1
c307:   x98  <= 1
c308:   x29 + x34 + x63 + x98 + x99  <= 1
c309:   x71 + x76 + x86  <= 1
c310:   x12 + x74 + x88  <= 1
c311:   x5 + x24 + x51 + x67  <= 1
c312:   x2 + x20 + x36 + x67 + x75 + x86 + x90  <= 1
c313:   x24 + x41 + x58 + x59  <= 1
c314:   x35 + x41 + x89 + x90 + x93  <= 1
c315:   x6 + x14 + x19 + x47  <= 1
c316:   x37 + x74 + x81 + x88 + x99  <= 1
c317:   x7 + x22 + x38 + x49 + x86 + x95  <= 1
c318:   x3 + x92  <= 1
c319:   x16 + x33 + x38 + x39 + x61 + x89 + x90 + x98  <= 1
c320:   x5 + x6 + x29 + x77 + x86 + x99  <= 1
c321:   x3 + x11 + x12 + x27 + x39 + x67 + x69 + x70 + x78 + x86
 + x92  <= 1
c322:   x28 + x38 + x74  <= 1
c323:   x10 + x28 + x34 + x67  <= 1
c324:   x5 + x22 + x39 + x91 + x92 + x100  <= 1
c325:   x16 + x64 + x94  <= 1
c326:   x19  <= 1
c327:   x11 + x36 + x75 + x87 + x89  <= 1
c328:   x42 + x54 + x55 + x70 + x83 + x98 + x100  <= 1
c329:   x37 + x49 + x55  <= 1
c330:   x18 + x28 + x31 + x34 + x37 + x42 + x44 + x46 + x83  <= 1
c331:   x13 + x20 + x21 + x29  <= 1
c332:   x12 + x19 + x27 + x40 + x43 + x62 + x90  <= 1
c333:   x1 + x39 + x62 + x78 + x87  <= 1
c334:   x6 + x8 + x17 + x23 + x24 + x33 + x47 + x62 + x68 + x91  <= 1
c335:   x38 + x54 + x66 + x69 + x79 + x90  <= 1
c336:   x10 + x14 + x35 + x36 + x48 + x50 + x61 + x74 + x83 + x90
 + x93 + x96 + x100  <= 1
c337:   x6 + x9 + x12 + x19 + x30 + x39 + x77 + x82 + x100  <= 1
c338:   x12 + x20 + x23 + x24 + x29 + x41 + x42 + x50 + x51 + x72
 + x76 + x93  <= 1
c339:   x2 + x44 + x47 + x55 + x63 + x87  <= 1
c340:   x1 + x35 + x72  <= 1
c341:   x7 + x31 + x33 + x64  <= 1
c342:   x5 + x8 + x38 + x57 + x77  <= 1
c343:   x37 + x46 + x52 + x57 + x60 + x61 + x77  <= 1
c344:   x12 + x40 + x50 + x57 + x61 + x80  <= 1
c345:   x2 + x17 + x20 + x35 + x45 + x56 + x95  <= 1
c346:   x7 + x59 + x63 + x76  <= 1
c347:   x9 + x45 + x57 + x77 + x94 + x96  <= 1
c348:   x24 + x42 + x84 + x91  <= 1
c349:   x8 + x54 + x58 + x73 + x76  <= 1
c350:   x55  <= 1
c351:   x14 + x50 + x68 + x74 + x83  <= 1
c352:   x46 + x68 + x75 + x97  <= 1
c353:   x9 + x52 + x61 + x71 + x72 + x77 + x94  <= 1
c354:   x12 + x29 + x48 + x56 + x68 + x75  <= 1
c355:   x29 + x66 + x74 + x88  <= 1
c356:   x17 + x22 + x37 + x49 + x53 + x63 + x64 + x98  <= 1
c357:   x6 + x45 + x56 + x77 + x85  <= 1
c358:   x8 + x9 + x24 + x41 + x49 + x50 + x77 + x90  <= 1
c359:   x59  <= 1
c360:   x13 + x25 + x95  <= 1
c361:   x7 + x9 + x37 + x82  <= 1
c362:   x2 + x6 + x11 + x37 + x90 + x96  <= 1
c363:   x34 + x36 + x48 + x75 + x100  <= 1
c364:   x6 + x20 + x66 + x68 + x71 + x77 + x80 + x84  <= 1
c365:   x16 + x30 + x39 + x88 + x92 + x96 + x98  <= 1
c366:   x67  <= 1
c367:   x25 + x68 + x76  <= 1
c368:   x9 + x41 + x54 + x59 + x83 + x87  <= 1
c369:   x19 + x21 + x37 + x56 + x75  <= 1
c370:   x67 + x94 + x100  <= 1
c371:   x10 + x19 + x23 + x29 + x30 + x53 + x62 + x63 + x64 + x99  <= 1
c372:   x33 + x85 + x87  <= 1
c373:   x2 + x4 + x46 + x58  <= 1
c374:   x30 + x60 + x69 + x96  <= 1
c375:   x2 + x58 + x59 + x87 + x96  <= 1
c376:   x49 + x56 + x87  <= 1
c377:   x22 + x25 + x43 + x49 + x77 + x96  <= 1
c378:   x38 + x77 + x91  <= 1
c379:   x70 + x75 + x84 + x95  <= 1
c380:   x6 + x14 + x16 + x21 + x29 + x32 + x47 + x50 + x89  <= 1
c381:   x7 + x23 + x48 + x99  <= 1
c382:   x2 + x57 + x68 + x77  <= 1
c383:   x20 + x37 + x81  <= 1
c384:   x8 + x18 + x19 + x36 + x47 + x69 + x76  <= 1
c385:   x6 + x13 + x21 + x55 + x73 + x76 + x86 + x87  <= 1
c386:   x28 + x47 + x78 + x85  <= 1
c387:   x18 + x28 + x33 + x35 + x64 + x68  <= 1
c388:   x39 + x72  <= 1
c389:   x3 + x41 + x48 + x59 + x83  <= 1
c390:   x5 + x30 + x48 + x50 + x55  <= 1
c391:   x1 + x26 + x29 + x68 + x73 + x78 + x82  <= 1
c392:   x2 + x14 + x20 + x48 + x49 + x62 + x75  <= 1
c393:   x1 + x17 + x43 + x81  <= 1
c394:   x14 + x24 + x25 + x28 + x49 + x67 + x80  <= 1
c395:   x3 + x4 + x14 + x16 + x27 + x50 + x65 + x67 + x96  <= 1
c396:   x9 + x63  <= 1
c397:   x37 + x44  <= 1
c398:   x16 + x57 + x67 + x94  <= 1
c399:   x21 + x29 + x40 + x45 + x67 + x75  <= 1
c400:   x3 + x14 + x16 + x78 + x95  <= 1
INTEGERS
 x1
 x2
 x3
 x4
 x5
 x6
 x7
 x8
 x9
 x10
 x11
 x12
 x13
 x14
 x15
 x16
 x17
 x18
 x19
 x20
 x21
 x22
 x23
 x24
 x25
 x26
 x27
 x28
 x29
 x30
 x31
 x32
 x33
 x34
 x35
 x36
 x37
 x38
 x39
 x40
 x41
 x42
 x43
 x44
 x45
 x46
 x47
 x48
 x49
 x50
 x51
 x52
 x53
 x54
 x55
 x56
 x57
 x58
 x59
 x60
 x61
 x62
 x63
 x64
 x65
 x66
 x67
 x68
 x69
 x70
 x71
 x72
 x73
 x74
 x75
 x76
 x77
 x78
 x79
 x80
 x81
 x82
 x83
 x84
 x85
 x86
 x87
 x88
 x89
 x90
 x91
 x92
 x93
 x94
 x95
 x96
 x97
 x98
 x99
 x100
End