1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179
| from sympy import * x00= Symbol('x00') x01= Symbol('x01') x02= Symbol('x02') x03= Symbol('x03') x04= Symbol('x04') x05= Symbol('x05') x06= Symbol('x06') x07= Symbol('x07') x08= Symbol('x08') x09= Symbol('x09') x10= Symbol('x10') x11= Symbol('x11') x12= Symbol('x12') x13= Symbol('x13') x14= Symbol('x14') x15= Symbol('x15') x16= Symbol('x16') x17= Symbol('x17') x18= Symbol('x18') x19= Symbol('x19') x20= Symbol('x20') x21= Symbol('x21') x22= Symbol('x22') x23= Symbol('x23') x24= Symbol('x24') x25= Symbol('x25') x26= Symbol('x26') x27= Symbol('x27') x28= Symbol('x28') x29= Symbol('x29') x30= Symbol('x30') x31= Symbol('x31') x32= Symbol('x32') x33= Symbol('x33') x34= Symbol('x34') x35= Symbol('x35') x36= Symbol('x36') x37= Symbol('x37') x38= Symbol('x38') x39= Symbol('x39') x40= Symbol('x40') x41= Symbol('x41') x42= Symbol('x42') x43= Symbol('x43') x44= Symbol('x44') x45= Symbol('x45') x46= Symbol('x46') x47= Symbol('x47') x48= Symbol('x48') x49= Symbol('x49') x50= Symbol('x50') x51= Symbol('x51') x52= Symbol('x52') x53= Symbol('x53') x54= Symbol('x54') x55= Symbol('x55') x56= Symbol('x56') x57= Symbol('x57') x58= Symbol('x58') x59= Symbol('x59') x60= Symbol('x60') x61= Symbol('x61') x62= Symbol('x62') x63= Symbol('x63') x64= Symbol('x64') x65= Symbol('x65') x66= Symbol('x66') x67= Symbol('x67') x68= Symbol('x68') x69= Symbol('x69') x70= Symbol('x70') x71= Symbol('x71') x72= Symbol('x72') x73= Symbol('x73') x74= Symbol('x74') x75= Symbol('x75') x76= Symbol('x76') x77= Symbol('x77') x78= Symbol('x78') x79= Symbol('x79') x80= Symbol('x80') print(solve([ x00+x01+x02+x03+x04+x05+x06+x07+x08-25, x00+x09+x18+x27+x36+x45+x54+x63+x72-25, x00+x01+x02+x09+x10+x11+x18+x19+x20-25, x00*x01*x02*x03*x04*x05*x06*x07*x08-10080, x00*x09*x18*x27*x36*x45*x54*x63*x72-10080, x00*x01*x02*x09*x10*x11*x18*x19*x20-10080, x09+x10+x11+x12+x13+x14+x15+x16+x17-25, x01+x10+x19+x28+x37+x46+x55+x64+x73-25, x03+x04+x05+x12+x13+x14+x21+x22+x23-25, x09*x10*x11*x12*x13*x14*x15*x16*x17-10080, x01*x10*x19*x28*x37*x46*x55*x64*x73-10080, x03*x04*x05*x12*x13*x14*x21*x22*x23-10080, x18+x19+x20+x21+x22+x23+x24+x25+x26-25, x02+x11+x20+x29+x38+x47+x56+x65+x74-25, x06+x07+x08+x15+x16+x17+x24+x25+x26-25, x18*x19*x20*x21*x22*x23*x24*x25*x26-10080, x02*x11*x20*x29*x38*x47*x56*x65*x74-10080, x06*x07*x08*x15*x16*x17*x24*x25*x26-10080, x27+x28+x29+x30+x31+x32+x33+x34+x35-25, x03+x12+x21+x30+x39+x48+x57+x66+x75-25, x27+x28+x29+x36+x37+x38+x45+x46+x47-25, x27*x28*x29*x30*x31*x32*x33*x34*x35-10080, x03*x12*x21*x30*x39*x48*x57*x66*x75-10080, x27*x28*x29*x36*x37*x38*x45*x46*x47-10080, x36+x37+x38+x39+x40+x41+x42+x43+x44-25, x04+x13+x22+x31+x40+x49+x58+x67+x76-25, x30+x31+x32+x39+x40+x41+x48+x49+x50-25, x36*x37*x38*x39*x40*x41*x42*x43*x44-10080, x04*x13*x22*x31*x40*x49*x58*x67*x76-10080, x30*x31*x32*x39*x40*x41*x48*x49*x50-10080, x45+x46+x47+x48+x49+x50+x51+x52+x53-25, x05+x14+x23+x32+x41+x50+x59+x68+x77-25, x33+x34+x35+x42+x43+x44+x51+x52+x53-25, x45*x46*x47*x48*x49*x50*x51*x52*x53-10080, x05*x14*x23*x32*x41*x50*x59*x68*x77-10080, x33*x34*x35*x42*x43*x44*x51*x52*x53-10080, x54+x55+x56+x57+x58+x59+x60+x61+x62-25, x06+x15+x24+x33+x42+x51+x60+x69+x78-25, x54+x55+x56+x63+x64+x65+x72+x73+x74-25, x54*x55*x56*x57*x58*x59*x60*x61*x62-10080, x06*x15*x24*x33*x42*x51*x60*x69*x78-10080, x54*x55*x56*x63*x64*x65*x72*x73*x74-10080, x63+x64+x65+x66+x67+x68+x69+x70+x71-25, x07+x16+x25+x34+x43+x52+x61+x70+x79-25, x57+x58+x59+x66+x67+x68+x75+x76+x77-25, x63*x64*x65*x66*x67*x68*x69*x70*x71-10080, x07*x16*x25*x34*x43*x52*x61*x70*x79-10080, x57*x58*x59*x66*x67*x68*x75*x76*x77-10080, x72+x73+x74+x75+x76+x77+x78+x79+x80-25, x08+x17+x26+x35+x44+x53+x62+x71+x80-25, x60+x61+x62+x69+x70+x71+x78+x79+x80-25, x72*x73*x74*x75*x76*x77*x78*x79*x80-10080, x08*x17*x26*x35*x44*x53*x62*x71*x80-10080, x60*x61*x62*x69*x70*x71*x78*x79*x80-10080, x00-7, x02-5, x03-6, x06+1, x08-4, x09-6, x10-4, x16-2, x17-7, x18-1, x19-2, x20+1, x21-4, x22-7, x25-5, x26-6, x27-2, x28-5, x29-1, x31-6, x35+1, x45+1, x49-5, x51-2, x52-6, x55+1, x58-3, x61-7, x63-5, x65-2, x66-7, x67-4, x70+1, x71-3, x72-3, x74-7, x75-5, x78-4, x80-2, 1-1 ],[x00,x01,x02,x03,x04,x05,x06,x07,x08,x09,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]))
|