\ File written by HiGHS .lp file handler
min
 obj: +1 x1 +1 x2 +1 x3 +1 x4 +1 x5 +1 x6 +1 x7 +1 x8 +1 x9 +1 x10 +1 x11 +1 x12 +1 x13 +1 x14 +1 x15 +1 x16 +1 x17 +1 x18 +1 x19 +1 x20 +1 x21 +1 x22 +1 x23 +1 x24 +1 x25 +1 x26 +1 x27 +1 x28 +1 x29 +1 x30 +1 x31 +1 x32 +1 x33 +1 x34 +1 x35 +1 x36 +1 x37 +1 x38 +1 x39 +1 x40 +1 x41 +1 x42 +1 x43 +1 x44 +1 x45 +1 x46 +1 x47 +1 x48 +1 x49 +1 x50 +1 x51 +1 x52 +1 x53 +1 x54 +1 x55 +1 x56 +1 x57 +1 x58 +1 x59 +1 x60 +1 x61 +1 x62 +1 x63 +1 x64 +1 x65 +1 x66 
st
 con1: +1 x1 +1 x12 +1 x17 = +1
 con2: +1 x2 +1 x12 +1 x13 +1 x17 = +1
 con3: +1 x3 +1 x12 +1 x13 +1 x17 = +1
 con4: +1 x4 +1 x12 +1 x13 +1 x17 = +1
 con5: +1 x13 +1 x17 +1 x18 +1 x22 +1 x26 = +1
 con6: +1 x5 +1 x14 +1 x18 +1 x19 +1 x22 +1 x23 +1 x26 = +1
 con7: +1 x6 +1 x14 +1 x18 +1 x19 +1 x22 +1 x23 +1 x26 = +1
 con8: +1 x7 +1 x14 +1 x18 +1 x19 +1 x22 +1 x23 +1 x26 +1 x37 +1 x41 +1 x45 +1 x49 +1 x53 +1 x57 +1 x61 = +1
 con9: +1 x14 +1 x15 +1 x18 +1 x19 +1 x20 +1 x22 +1 x23 +1 x24 +1 x26 +1 x27 +1 x29 +1 x31 +1 x33 +1 x35 +1 x37 +1 x38 +1 x41 +1 x42 +1 x45 +1 x46 +1 x49 +1 x50 +1 x53 +1 x54 +1 x57 +1 x58 +1 x61 = +1
 con10: +1 x15 +1 x19 +1 x20 +1 x22 +1 x23 +1 x24 +1 x26 +1 x27 +1 x29 +1 x31 +1 x33 +1 x35 +1 x37 +1 x38 +1 x41 +1 x42 +1 x45 +1 x46 +1 x49 +1 x50 +1 x53 +1 x54 +1 x57 +1 x58 +1 x61 +1 x64 +1 x66 = +1
 con11: +1 x15 +1 x20 +1 x23 +1 x24 +1 x26 +1 x27 +1 x29 +1 x31 +1 x33 +1 x35 +1 x37 +1 x38 +1 x41 +1 x42 +1 x45 +1 x46 +1 x49 +1 x50 +1 x53 +1 x54 +1 x57 +1 x58 +1 x61 +1 x62 +1 x64 +1 x65 +1 x66 = +1
 con12: +1 x15 +1 x20 +1 x24 +1 x27 +1 x29 +1 x31 +1 x33 +1 x35 +1 x37 +1 x38 +1 x41 +1 x42 +1 x45 +1 x46 +1 x49 +1 x50 +1 x53 +1 x54 +1 x57 +1 x58 +1 x59 +1 x61 +1 x62 +1 x63 +1 x64 +1 x65 +1 x66 = +1
 con13: +1 x20 +1 x24 +1 x27 +1 x29 +1 x31 +1 x33 +1 x35 +1 x37 +1 x38 +1 x41 +1 x42 +1 x45 +1 x46 +1 x49 +1 x50 +1 x53 +1 x54 +1 x55 +1 x57 +1 x58 +1 x59 +1 x60 +1 x61 +1 x62 +1 x63 +1 x64 +1 x65 +1 x66 = +1
 con14: +1 x24 +1 x27 +1 x29 +1 x31 +1 x33 +1 x35 +1 x37 +1 x38 +1 x41 +1 x42 +1 x45 +1 x46 +1 x49 +1 x50 +1 x51 +1 x53 +1 x54 +1 x55 +1 x56 +1 x57 +1 x58 +1 x59 +1 x60 +1 x61 +1 x62 +1 x63 +1 x64 +1 x65 +1 x66 = +1
 con15: +1 x27 +1 x29 +1 x31 +1 x33 +1 x35 +1 x37 +1 x38 +1 x41 +1 x42 +1 x45 +1 x46 +1 x47 +1 x49 +1 x50 +1 x51 +1 x52 +1 x53 +1 x54 +1 x55 +1 x56 +1 x57 +1 x58 +1 x59 +1 x60 +1 x61 +1 x62 +1 x63 +1 x64 +1 x65 +1 x66 = +1
 con16: +1 x29 +1 x31 +1 x33 +1 x35 +1 x37 +1 x38 +1 x41 +1 x42 +1 x43 +1 x45 +1 x46 +1 x47 +1 x48 +1 x49 +1 x50 +1 x51 +1 x52 +1 x53 +1 x54 +1 x55 +1 x56 +1 x57 +1 x58 +1 x59 +1 x60 +1 x61 +1 x62 +1 x63 +1 x64 +1 x65 +1 x66 = +1
 con17: +1 x31 +1 x33 +1 x35 +1 x37 +1 x38 +1 x39 +1 x41 +1 x42 +1 x43 +1 x44 +1 x45 +1 x46 +1 x47 +1 x48 +1 x49 +1 x50 +1 x51 +1 x52 +1 x53 +1 x54 +1 x55 +1 x56 +1 x57 +1 x58 +1 x59 +1 x60 +1 x61 +1 x62 +1 x63 +1 x64 +1 x65 +1 x66 = +1
 con18: +1 x33 +1 x35 +1 x36 +1 x37 +1 x38 +1 x39 +1 x40 +1 x41 +1 x42 +1 x43 +1 x44 +1 x45 +1 x46 +1 x47 +1 x48 +1 x49 +1 x50 +1 x51 +1 x52 +1 x53 +1 x54 +1 x55 +1 x56 +1 x57 +1 x58 +1 x59 +1 x60 +1 x61 +1 x62 +1 x63 +1 x64 +1 x65 +1 x66 = +1
 con19: +1 x34 +1 x35 +1 x36 +1 x37 +1 x38 +1 x39 +1 x40 +1 x41 +1 x42 +1 x43 +1 x44 +1 x45 +1 x46 +1 x47 +1 x48 +1 x49 +1 x50 +1 x51 +1 x52 +1 x53 +1 x54 +1 x55 +1 x56 +1 x57 +1 x58 +1 x59 +1 x60 +1 x61 +1 x62 +1 x63 +1 x64 +1 x65 +1 x66 = +1
 con20: +1 x32 +1 x34 +1 x36 +1 x38 +1 x39 +1 x40 +1 x41 +1 x42 +1 x43 +1 x44 +1 x45 +1 x46 +1 x47 +1 x48 +1 x49 +1 x50 +1 x51 +1 x52 +1 x53 +1 x54 +1 x55 +1 x56 +1 x57 +1 x58 +1 x59 +1 x60 +1 x61 +1 x62 +1 x63 +1 x64 +1 x65 +1 x66 = +1
 con21: +1 x30 +1 x32 +1 x34 +1 x36 +1 x39 +1 x40 +1 x42 +1 x43 +1 x44 +1 x45 +1 x46 +1 x47 +1 x48 +1 x49 +1 x50 +1 x51 +1 x52 +1 x53 +1 x54 +1 x55 +1 x56 +1 x57 +1 x58 +1 x59 +1 x60 +1 x61 +1 x62 +1 x63 +1 x64 +1 x65 +1 x66 = +1
 con22: +1 x28 +1 x30 +1 x32 +1 x34 +1 x36 +1 x39 +1 x40 +1 x43 +1 x44 +1 x46 +1 x47 +1 x48 +1 x49 +1 x50 +1 x51 +1 x52 +1 x53 +1 x54 +1 x55 +1 x56 +1 x57 +1 x58 +1 x59 +1 x60 +1 x61 +1 x62 +1 x63 +1 x64 +1 x65 +1 x66 = +1
 con23: +1 x25 +1 x28 +1 x30 +1 x32 +1 x34 +1 x36 +1 x39 +1 x40 +1 x43 +1 x44 +1 x47 +1 x48 +1 x50 +1 x51 +1 x52 +1 x53 +1 x54 +1 x55 +1 x56 +1 x57 +1 x58 +1 x59 +1 x60 +1 x61 +1 x62 +1 x63 +1 x64 +1 x65 +1 x66 = +1
 con24: +1 x21 +1 x25 +1 x28 +1 x30 +1 x32 +1 x34 +1 x36 +1 x39 +1 x40 +1 x43 +1 x44 +1 x47 +1 x48 +1 x51 +1 x52 +1 x54 +1 x55 +1 x56 +1 x57 +1 x58 +1 x59 +1 x60 +1 x61 +1 x62 +1 x63 +1 x64 +1 x65 +1 x66 = +1
 con25: +1 x16 +1 x21 +1 x25 +1 x28 +1 x30 +1 x32 +1 x34 +1 x36 +1 x39 +1 x40 +1 x43 +1 x44 +1 x47 +1 x48 +1 x51 +1 x52 +1 x55 +1 x56 +1 x58 +1 x59 +1 x60 +1 x61 +1 x62 +1 x63 +1 x64 +1 x65 +1 x66 = +1
 con26: +1 x8 +1 x16 +1 x21 +1 x25 +1 x28 +1 x30 +1 x32 +1 x34 +1 x36 +1 x39 +1 x40 +1 x43 +1 x44 +1 x47 +1 x48 +1 x51 +1 x52 +1 x55 +1 x56 +1 x59 +1 x60 +1 x62 +1 x63 +1 x64 +1 x65 +1 x66 = +1
 con27: +1 x9 +1 x16 +1 x21 +1 x25 +1 x28 +1 x30 +1 x32 +1 x34 +1 x36 +1 x39 +1 x40 +1 x43 +1 x44 +1 x47 +1 x48 +1 x51 +1 x52 +1 x55 +1 x56 +1 x59 +1 x60 +1 x62 +1 x63 +1 x64 +1 x65 +1 x66 = +1
 con28: +1 x10 +1 x16 +1 x21 +1 x25 +1 x28 +1 x30 +1 x32 +1 x34 +1 x36 +1 x39 +1 x40 +1 x43 +1 x44 +1 x47 +1 x48 +1 x51 +1 x52 +1 x55 +1 x56 +1 x59 +1 x60 +1 x62 +1 x63 +1 x64 +1 x65 +1 x66 = +1
 con29: +1 x11 +1 x40 +1 x44 +1 x48 +1 x52 +1 x56 +1 x60 +1 x63 +1 x65 +1 x66 = +1
bounds
 x1 <= 1
 x2 <= 1
 x3 <= 1
 x4 <= 1
 x5 <= 1
 x6 <= 1
 x7 <= 1
 x8 <= 1
 x9 <= 1
 x10 <= 1
 x11 <= 1
 x12 <= 1
 x13 <= 1
 x14 <= 1
 x15 <= 1
 x16 <= 1
 x17 <= 1
 x18 <= 1
 x19 <= 1
 x20 <= 1
 x21 <= 1
 x22 <= 1
 x23 <= 1
 x24 <= 1
 x25 <= 1
 x26 <= 1
 x27 <= 1
 x28 <= 1
 x29 <= 1
 x30 <= 1
 x31 <= 1
 x32 <= 1
 x33 <= 1
 x34 <= 1
 x35 <= 1
 x36 <= 1
 x37 <= 1
 x38 <= 1
 x39 <= 1
 x40 <= 1
 x41 <= 1
 x42 <= 1
 x43 <= 1
 x44 <= 1
 x45 <= 1
 x46 <= 1
 x47 <= 1
 x48 <= 1
 x49 <= 1
 x50 <= 1
 x51 <= 1
 x52 <= 1
 x53 <= 1
 x54 <= 1
 x55 <= 1
 x56 <= 1
 x57 <= 1
 x58 <= 1
 x59 <= 1
 x60 <= 1
 x61 <= 1
 x62 <= 1
 x63 <= 1
 x64 <= 1
 x65 <= 1
 x66 <= 1
bin
 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
gen
semi
end