FAILED
ERROR: unsatisfied constraint on line 7
	78>=80

Falsified constraint is:
+1*x1[=0] +1*x2[=0] +1*x3[=0] +1*x4[=0] +1*x5[=0] +1*x6[=0] +1*x7[=0] +1*x8[=0] +1*x9[=0] +1*x10[=0] +1*x11[=0] +1*x12[=0] +1*x13[=0] +1*x14[=0] +1*x15[=0] +1*x16[=0] +1*x17[=0] +1*x18[=0] +1*x19[=0] +1*x20[=0] +1*x21[=0] +1*x22[=0] +1*x23[=0] +1*x24[=0] +1*x25[=0] +1*x26[=0] +1*x27[=0] +1*x28[=0] +1*x29[=0] +1*x30[=0] +1*x31[=0] +1*x32[=0] +1*x33[=0] +1*x34[=0] +1*x35[=0] +1*x36[=0] +1*x37[=0] +1*x38[=0] +1*x39[=0] +1*x40[=0] +1*x41[=0] +1*x42[=0] +1*x43[=0] +1*x44[=0] +1*x45[=0] +1*x46[=0] +1*x47[=0] +1*x48[=0] +1*x49[=0] +1*x50[=0] +1*x51[=0] +1*x52[=0] +1*x53[=0] +1*x54[=0] +1*x55[=0] +1*x56[=0] +1*x57[=0] +1*x58[=0] +1*x59[=0] +1*x60[=0] +1*x61[=1] +1*x62[=0] +1*x63[=0] +1*x64[=0] +1*x65[=0] +1*x66[=0] +1*x67[=0] +1*x68[=0] +1*x69[=0] +1*x70[=0] +1*x71[=0] +1*x72[=0] +1*x73[=0] +1*x74[=0] +1*x75[=0] +1*x76[=0] +1*x77[=0] +1*x78[=0] +1*x79[=0] +1*x80[=0] +1*x81[=0] +1*x82[=0] +1*x83[=0] +1*x84[=0] +1*x85[=0] +1*x86[=0] +1*x87[=0] +1*x88[=0] +1*x89[=0] +1*x90[=0] +1*x91[=0] +1*x92[=0] +1*x93[=0] +1*x94[=0] +1*x95[=0] +1*x96[=0] +1*x97[=0] +1*x98[=0] +1*x99[=0] +1*x100[=0] +1*x101[=0] +1*x102[=0] +1*x103[=0] +1*x104[=0] +1*x105[=0] +1*x106[=0] +1*x107[=0] +1*x108[=1] +1*x109[=0] +1*x110[=0] +1*x111[=0] +1*x112[=0] +1*x113[=0] +1*x114[=0] +1*x115[=0] +1*x116[=0] +1*x117[=0] +1*x118[=0] +1*x119[=0] +1*x120[=0] +1*x121[=0] +1*x122[=0] +1*x123[=0] +1*x124[=0] +1*x125[=0] +1*x126[=0] +1*x127[=0] +1*x128[=0] +1*x129[=0] +1*x130[=0] +1*x131[=0] +1*x132[=0] +1*x133[=0] +1*x134[=0] +1*x135[=0] +1*x136[=0] +1*x137[=0] +1*x138[=0] +1*x139[=0] +1*x140[=0] +1*x141[=0] +1*x142[=0] +1*x143[=0] +1*x144[=0] +1*x145[=0] +1*x146[=0] +1*x147[=0] +1*x148[=0] +1*x149[=0] +1*x150[=0] +1*x151[=0] +1*x152[=0] +1*x153[=0] +1*x154[=0] +1*x155[=0] +1*x156[=0] +1*x157[=0] +1*x158[=0] +1*x159[=0] +1*x160[=0] +1*x161[=0] +1*x162[=0] +1*x163[=0] +1*x164[=0] +1*x165[=0] +1*x166[=0] +1*x167[=0] +1*x168[=0] +1*x169[=0] +1*x170[=1] +1*x171[=0] +1*x172[=0] +1*x173[=0] +1*x174[=0] +1*x175[=0] +1*x176[=0] +1*x177[=0] +1*x178[=0] +1*x179[=0] +1*x180[=0] +1*x181[=0] +1*x182[=0] +1*x183[=0] +1*x184[=0] +1*x185[=0] +1*x186[=0] +1*x187[=0] +1*x188[=0] +1*x189[=0] +1*x190[=0] +1*x191[=0] +1*x192[=0] +1*x193[=0] +1*x194[=0] +1*x195[=0] +1*x196[=0] +1*x197[=0] +1*x198[=0] +1*x199[=0] +1*x200[=0] +1*x201[=0] +1*x202[=0] +1*x203[=0] +1*x204[=0] +1*x205[=0] +1*x206[=0] +1*x207[=0] +1*x208[=0] +1*x209[=0] +1*x210[=0] +1*x211[=0] +1*x212[=0] +1*x213[=0] +1*x214[=0] +1*x215[=0] +1*x216[=0] +1*x217[=0] +1*x218[=0] +1*x219[=0] +1*x220[=0] +1*x221[=0] +1*x222[=0] +1*x223[=0] +1*x224[=0] +1*x225[=0] +1*x226[=0] +1*x227[=0] +1*x228[=0] +1*x229[=0] +1*x230[=0] +1*x231[=0] +1*x232[=0] +1*x233[=0] +1*x234[=0] +1*x235[=0] +1*x236[=0] +1*x237[=0] +1*x238[=0] +1*x239[=0] +1*x240[=0] +1*x241[=0] +1*x242[=0] +1*x243[=0] +1*x244[=0] +1*x245[=0] +1*x246[=0] +1*x247[=0] +1*x248[=0] +1*x249[=0] +1*x250[=0] +1*x251[=0] +1*x252[=0] +1*x253[=0] +1*x254[=0] +1*x255[=0] +1*x256[=0] +1*x257[=0] +1*x258[=0] +1*x259[=0] +1*x260[=0] +1*x261[=0] +1*x262[=0] +1*x263[=0] +1*x264[=0] +1*x265[=0] +1*x266[=0] +1*x267[=0] +1*x268[=0] +1*x269[=0] +1*x270[=0] +1*x271[=0] +1*x272[=0] +1*x273[=0] +1*x274[=0] +1*x275[=0] +1*x276[=0] +1*x277[=0] +1*x278[=0] +1*x279[=0] +1*x280[=0] +1*x281[=1] +1*x282[=0] +1*x283[=0] +1*x284[=0] +1*x285[=0] +1*x286[=0] +1*x287[=0] +1*x288[=0] +1*x289[=0] +1*x290[=0] +1*x291[=0] +1*x292[=0] +1*x293[=0] +1*x294[=0] +1*x295[=0] +1*x296[=0] +1*x297[=0] +1*x298[=0] +1*x299[=0] +1*x300[=0] +1*x301[=0] +1*x302[=0] +1*x303[=0] +1*x304[=0] +1*x305[=0] +1*x306[=0] +1*x307[=0] +1*x308[=0] +1*x309[=0] +1*x310[=0] +1*x311[=0] +1*x312[=0] +1*x313[=0] +1*x314[=0] +1*x315[=0] +1*x316[=0] +1*x317[=0] +1*x318[=0] +1*x319[=0] +1*x320[=0] +1*x321[=0] +1*x322[=0] +1*x323[=0] +1*x324[=0] +1*x325[=0] +1*x326[=0] +1*x327[=0] +1*x328[=0] +1*x329[=0] +1*x330[=0] +1*x331[=0] +1*x332[=0] +1*x333[=0] +1*x334[=0] +1*x335[=0] +1*x336[=0] +1*x337[=0] +1*x338[=0] +1*x339[=0] +1*x340[=1] +1*x341[=0] +1*x342[=0] +1*x343[=0] +1*x344[=0] +1*x345[=0] +1*x346[=0] +1*x347[=0] +1*x348[=0] +1*x349[=0] +1*x350[=0] +1*x351[=0] +1*x352[=0] +1*x353[=0] +1*x354[=0] +1*x355[=0] +1*x356[=0] +1*x357[=0] +1*x358[=0] +1*x359[=0] +1*x360[=0] +1*x361[=0] +1*x362[=0] +1*x363[=0] +1*x364[=0] +1*x365[=0] +1*x366[=0] +1*x367[=0] +1*x368[=0] +1*x369[=0] +1*x370[=0] +1*x371[=0] +1*x372[=0] +1*x373[=0] +1*x374[=0] +1*x375[=0] +1*x376[=0] +1*x377[=0] +1*x378[=0] +1*x379[=0] +1*x380[=0] +1*x381[=0] +1*x382[=0] +1*x383[=0] +1*x384[=0] +1*x385[=0] +1*x386[=0] +1*x387[=0] +1*x388[=0] +1*x389[=0] +1*x390[=0] +1*x391[=0] +1*x392[=0] +1*x393[=0] +1*x394[=0] +1*x395[=0] +1*x396[=0] +1*x397[=0] +1*x398[=0] +1*x399[=0] +1*x400[=0] +1*x401[=0] +1*x402[=0] +1*x403[=0] +1*x404[=0] +1*x405[=0] +1*x406[=0] +1*x407[=0] +1*x408[=0] +1*x409[=0] +1*x410[=0] +1*x411[=0] +1*x412[=0] +1*x413[=0] +1*x414[=0] +1*x415[=0] +1*x416[=0] +1*x417[=0] +1*x418[=0] +1*x419[=0] +1*x420[=0] +1*x421[=0] +1*x422[=0] +1*x423[=0] +1*x424[=0] +1*x425[=0] +1*x426[=0] +1*x427[=0] +1*x428[=0] +1*x429[=0] +1*x430[=0] +1*x431[=0] +1*x432[=0] +1*x433[=0] +1*x434[=0] +1*x435[=0] +1*x436[=0] +1*x437[=0] +1*x438[=0] +1*x439[=0] +1*x440[=0] +1*x441[=0] +1*x442[=0] +1*x443[=0] +1*x444[=0] +1*x445[=0] +1*x446[=0] +1*x447[=0] +1*x448[=0] +1*x449[=0] +1*x450[=0] +1*x451[=0] +1*x452[=0] +1*x453[=0] +1*x454[=0] +1*x455[=0] +1*x456[=0] +1*x457[=0] +1*x458[=0] +1*x459[=0] +1*x460[=0] +1*x461[=0] +1*x462[=0] +1*x463[=0] +1*x464[=0] +1*x465[=0] +1*x466[=0] +1*x467[=1] +1*x468[=0] +1*x469[=0] +1*x470[=0] +1*x471[=0] +1*x472[=0] +1*x473[=0] +1*x474[=0] +1*x475[=0] +1*x476[=0] +1*x477[=0] +1*x478[=0] +1*x479[=0] +1*x480[=0] +1*x481[=0] +1*x482[=0] +1*x483[=0] +1*x484[=0] +1*x485[=0] +1*x486[=0] +1*x487[=0] +1*x488[=0] +1*x489[=0] +1*x490[=0] +1*x491[=0] +1*x492[=0] +1*x493[=0] +1*x494[=0] +1*x495[=0] +1*x496[=0] +1*x497[=0] +1*x498[=0] +1*x499[=0] +1*x500[=0] +1*x501[=0] +1*x502[=0] +1*x503[=0] +1*x504[=0] +1*x505[=0] +1*x506[=0] +1*x507[=0] +1*x508[=0] +1*x509[=0] +1*x510[=0] +1*x511[=0] +1*x512[=0] +1*x513[=0] +1*x514[=0] +1*x515[=0] +1*x516[=0] +1*x517[=0] +1*x518[=0] +1*x519[=0] +1*x520[=0] +1*x521[=0] +1*x522[=0] +1*x523[=0] +1*x524[=0] +1*x525[=0] +1*x526[=0] +1*x527[=0] +1*x528[=0] +1*x529[=0] +1*x530[=0] +1*x531[=0] +1*x532[=0] +1*x533[=0] +1*x534[=0] +1*x535[=0] +1*x536[=0] +1*x537[=0] +1*x538[=0] +1*x539[=0] +1*x540[=0] +1*x541[=0] +1*x542[=0] +1*x543[=0] +1*x544[=0] +1*x545[=0] +1*x546[=0] +1*x547[=0] +1*x548[=0] +1*x549[=0] +1*x550[=0] +1*x551[=0] +1*x552[=0] +1*x553[=0] +1*x554[=0] +1*x555[=0] +1*x556[=0] +1*x557[=0] +1*x558[=0] +1*x559[=0] +1*x560[=0] +1*x561[=0] +1*x562[=0] +1*x563[=0] +1*x564[=0] +1*x565[=0] +1*x566[=0] +1*x567[=0] +1*x568[=0] +1*x569[=0] +1*x570[=0] +1*x571[=0] +1*x572[=0] +1*x573[=0] +1*x574[=0] +1*x575[=0] +1*x576[=0] +1*x577[=0] +1*x578[=0] +1*x579[=0] +1*x580[=0] +1*x581[=0] +1*x582[=0] +1*x583[=0] +1*x584[=1] +1*x585[=0] +1*x586[=0] +1*x587[=0] +1*x588[=0] +1*x589[=0] +1*x590[=0] +1*x591[=0] +1*x592[=0] +1*x593[=0] +1*x594[=0] +1*x595[=0] +1*x596[=0] +1*x597[=0] +1*x598[=0] +1*x599[=0] +1*x600[=0] +1*x601[=0] +1*x602[=0] +1*x603[=0] +1*x604[=0] +1*x605[=0] +1*x606[=0] +1*x607[=0] +1*x608[=0] +1*x609[=0] +1*x610[=0] +1*x611[=0] +1*x612[=0] +1*x613[=0] +1*x614[=0] +1*x615[=0] +1*x616[=0] +1*x617[=0] +1*x618[=0] +1*x619[=0] +1*x620[=0] +1*x621[=0] +1*x622[=0] +1*x623[=0] +1*x624[=0] +1*x625[=0] +1*x626[=0] +1*x627[=0] +1*x628[=0] +1*x629[=0] +1*x630[=0] +1*x631[=0] +1*x632[=0] +1*x633[=0] +1*x634[=0] +1*x635[=0] +1*x636[=0] +1*x637[=0] +1*x638[=0] +1*x639[=0] +1*x640[=0] +1*x641[=0] +1*x642[=0] +1*x643[=0] +1*x644[=0] +1*x645[=0] +1*x646[=0] +1*x647[=0] +1*x648[=0] +1*x649[=0] +1*x650[=0] +1*x651[=0] +1*x652[=0] +1*x653[=0] +1*x654[=0] +1*x655[=0] +1*x656[=0] +1*x657[=0] +1*x658[=0] +1*x659[=0] +1*x660[=0] +1*x661[=0] +1*x662[=0] +1*x663[=0] +1*x664[=0] +1*x665[=0] +1*x666[=0] +1*x667[=0] +1*x668[=0] +1*x669[=0] +1*x670[=0] +1*x671[=0] +1*x672[=0] +1*x673[=0] +1*x674[=0] +1*x675[=0] +1*x676[=0] +1*x677[=0] +1*x678[=0] +1*x679[=0] +1*x680[=0] +1*x681[=0] +1*x682[=0] +1*x683[=0] +1*x684[=0] +1*x685[=0] +1*x686[=0] +1*x687[=0] +1*x688[=0] +1*x689[=0] +1*x690[=0] +1*x691[=0] +1*x692[=0] +1*x693[=0] +1*x694[=0] +1*x695[=0] +1*x696[=0] +1*x697[=1] +1*x698[=0] +1*x699[=0] +1*x700[=0] +1*x701[=0] +1*x702[=0] +1*x703[=0] +1*x704[=0] +1*x705[=0] +1*x706[=0] +1*x707[=0] +1*x708[=0] +1*x709[=0] +1*x710[=0] +1*x711[=0] +1*x712[=0] +1*x713[=0] +1*x714[=0] +1*x715[=0] +1*x716[=0] +1*x717[=0] +1*x718[=0] +1*x719[=0] +1*x720[=0] +1*x721[=0] +1*x722[=0] +1*x723[=0] +1*x724[=0] +1*x725[=0] +1*x726[=0] +1*x727[=0] +1*x728[=0] +1*x729[=0] +1*x730[=0] +1*x731[=0] +1*x732[=0] +1*x733[=0] +1*x734[=0] +1*x735[=0] +1*x736[=0] +1*x737[=0] +1*x738[=0] +1*x739[=0] +1*x740[=0] +1*x741[=0] +1*x742[=0] +1*x743[=0] +1*x744[=0] +1*x745[=0] +1*x746[=0] +1*x747[=0] +1*x748[=0] +1*x749[=0] +1*x750[=0] +1*x751[=0] +1*x752[=0] +1*x753[=0] +1*x754[=0] +1*x755[=0] +1*x756[=0] +1*x757[=0] +1*x758[=0] +1*x759[=0] +1*x760[=0] +1*x761[=0] +1*x762[=0] +1*x763[=0] +1*x764[=0] +1*x765[=0] +1*x766[=0] +1*x767[=0] +1*x768[=0] +1*x769[=0] +1*x770[=0] +1*x771[=0] +1*x772[=0] +1*x773[=0] +1*x774[=0] +1*x775[=0] +1*x776[=0] +1*x777[=0] +1*x778[=0] +1*x779[=0] +1*x780[=1] +1*x781[=0] +1*x782[=0] +1*x783[=0] +1*x784[=0] +1*x785[=0] +1*x786[=0] +1*x787[=0] +1*x788[=0] +1*x789[=0] +1*x790[=0] +1*x791[=0] +1*x792[=0] +1*x793[=0] +1*x794[=0] +1*x795[=0] +1*x796[=0] +1*x797[=0] +1*x798[=0] +1*x799[=0] +1*x800[=0] +1*x801[=0] +1*x802[=0] +1*x803[=0] +1*x804[=0] +1*x805[=0] +1*x806[=0] +1*x807[=0] +1*x808[=0] +1*x809[=0] +1*x810[=0] +1*x811[=0] +1*x812[=0] +1*x813[=0] +1*x814[=0] +1*x815[=0] +1*x816[=0] +1*x817[=0] +1*x818[=0] +1*x819[=0] +1*x820[=0] +1*x821[=0] +1*x822[=0] +1*x823[=0] +1*x824[=0] +1*x825[=0] +1*x826[=0] +1*x827[=0] +1*x828[=0] +1*x829[=0] +1*x830[=0] +1*x831[=0] +1*x832[=0] +1*x833[=0] +1*x834[=0] +1*x835[=0] +1*x836[=0] +1*x837[=0] +1*x838[=0] +1*x839[=0] +1*x840[=0] +1*x841[=0] +1*x842[=0] +1*x843[=0] +1*x844[=0] +1*x845[=0] +1*x846[=0] +1*x847[=1] +1*x848[=0] +1*x849[=0] +1*x850[=0] +1*x851[=0] +1*x852[=0] +1*x853[=0] +1*x854[=0] +1*x855[=0] +1*x856[=0] +1*x857[=0] +1*x858[=0] +1*x859[=0] +1*x860[=0] +1*x861[=0] +1*x862[=0] +1*x863[=0] +1*x864[=0] +1*x865[=0] +1*x866[=0] +1*x867[=0] +1*x868[=0] +1*x869[=0] +1*x870[=0] +1*x871[=0] +1*x872[=0] +1*x873[=0] +1*x874[=0] +1*x875[=0] +1*x876[=0] +1*x877[=0] +1*x878[=0] +1*x879[=0] +1*x880[=0] +1*x881[=0] +1*x882[=0] +1*x883[=0] +1*x884[=0] +1*x885[=0] +1*x886[=0] +1*x887[=0] +1*x888[=0] +1*x889[=0] +1*x890[=0] +1*x891[=0] +1*x892[=0] +1*x893[=0] +1*x894[=0] +1*x895[=0] +1*x896[=0] +1*x897[=0] +1*x898[=0] +1*x899[=0] +1*x900[=0] +1*x901[=0] +1*x902[=0] +1*x903[=0] +1*x904[=0] +1*x905[=0] +1*x906[=0] +1*x907[=0] +1*x908[=0] +1*x909[=0] +1*x910[=0] +1*x911[=0] +1*x912[=0] +1*x913[=0] +1*x914[=0] +1*x915[=0] +1*x916[=0] +1*x917[=0] +1*x918[=0] +1*x919[=0] +1*x920[=0] +1*x921[=0] +1*x922[=1] +1*x923[=0] +1*x924[=0] +1*x925[=0] +1*x926[=0] +1*x927[=0] +1*x928[=0] +1*x929[=0] +1*x930[=0] +1*x931[=0] +1*x932[=0] +1*x933[=0] +1*x934[=0] +1*x935[=0] +1*x936[=0] +1*x937[=0] +1*x938[=0] +1*x939[=0] +1*x940[=0] +1*x941[=0] +1*x942[=0] +1*x943[=0] +1*x944[=0] +1*x945[=0] +1*x946[=0] +1*x947[=0] +1*x948[=0] +1*x949[=0] +1*x950[=0] +1*x951[=0] +1*x952[=0] +1*x953[=0] +1*x954[=0] +1*x955[=0] +1*x956[=0] +1*x957[=0] +1*x958[=0] +1*x959[=0] +1*x960[=0] +1*x961[=0] +1*x962[=0] +1*x963[=0] +1*x964[=0] +1*x965[=0] +1*x966[=0] +1*x967[=0] +1*x968[=0] +1*x969[=0] +1*x970[=0] +1*x971[=0] +1*x972[=0] +1*x973[=0] +1*x974[=0] +1*x975[=0] +1*x976[=0] +1*x977[=0] +1*x978[=0] +1*x979[=0] +1*x980[=0] +1*x981[=0] +1*x982[=0] +1*x983[=0] +1*x984[=0] +1*x985[=0] +1*x986[=0] +1*x987[=0] +1*x988[=0] +1*x989[=0] +1*x990[=0] +1*x991[=0] +1*x992[=0] +1*x993[=0] +1*x994[=0] +1*x995[=0] +1*x996[=0] +1*x997[=0] +1*x998[=0] +1*x999[=0] +1*x1000[=0] +1*x1001[=0] +1*x1002[=0] +1*x1003[=0] +1*x1004[=0] +1*x1005[=0] +1*x1006[=0] +1*x1007[=0] +1*x1008[=1] +1*x1009[=0] +1*x1010[=0] +1*x1011[=0] +1*x1012[=0] +1*x1013[=0] +1*x1014[=0] +1*x1015[=0] +1*x1016[=0] +1*x1017[=0] +1*x1018[=0] +1*x1019[=0] +1*x1020[=0] +1*x1021[=0] +1*x1022[=0] +1*x1023[=0] +1*x1024[=0] +1*x1025[=0] +1*x1026[=0] +1*x1027[=0] +1*x1028[=0] +1*x1029[=0] +1*x1030[=0] +1*x1031[=0] +1*x1032[=0] +1*x1033[=0] +1*x1034[=0] +1*x1035[=0] +1*x1036[=0] +1*x1037[=0] +1*x1038[=0] +1*x1039[=0] +1*x1040[=0] +1*x1041[=0] +1*x1042[=0] +1*x1043[=0] +1*x1044[=0] +1*x1045[=0] +1*x1046[=0] +1*x1047[=0] +1*x1048[=0] +1*x1049[=0] +1*x1050[=0] +1*x1051[=0] +1*x1052[=0] +1*x1053[=0] +1*x1054[=0] +1*x1055[=0] +1*x1056[=0] +1*x1057[=0] +1*x1058[=0] +1*x1059[=0] +1*x1060[=0] +1*x1061[=0] +1*x1062[=0] +1*x1063[=0] +1*x1064[=0] +1*x1065[=0] +1*x1066[=0] +1*x1067[=0] +1*x1068[=0] +1*x1069[=0] +1*x1070[=0] +1*x1071[=0] +1*x1072[=0] +1*x1073[=0] +1*x1074[=1] +1*x1075[=0] +1*x1076[=0] +1*x1077[=0] +1*x1078[=0] +1*x1079[=0] +1*x1080[=0] +1*x1081[=0] +1*x1082[=0] +1*x1083[=0] +1*x1084[=0] +1*x1085[=0] +1*x1086[=0] +1*x1087[=0] +1*x1088[=0] +1*x1089[=0] +1*x1090[=0] +1*x1091[=0] +1*x1092[=0] +1*x1093[=0] +1*x1094[=0] +1*x1095[=0] +1*x1096[=0] +1*x1097[=0] +1*x1098[=0] +1*x1099[=0] +1*x1100[=0] +1*x1101[=0] +1*x1102[=0] +1*x1103[=0] +1*x1104[=0] +1*x1105[=0] +1*x1106[=0] +1*x1107[=0] +1*x1108[=0] +1*x1109[=0] +1*x1110[=0] +1*x1111[=0] +1*x1112[=0] +1*x1113[=0] +1*x1114[=0] +1*x1115[=0] +1*x1116[=0] +1*x1117[=0] +1*x1118[=0] +1*x1119[=0] +1*x1120[=0] +1*x1121[=0] +1*x1122[=0] +1*x1123[=0] +1*x1124[=1] +1*x1125[=0] +1*x1126[=0] +1*x1127[=0] +1*x1128[=0] +1*x1129[=0] +1*x1130[=0] +1*x1131[=0] +1*x1132[=0] +1*x1133[=0] +1*x1134[=0] +1*x1135[=0] +1*x1136[=0] +1*x1137[=0] +1*x1138[=0] +1*x1139[=0] +1*x1140[=0] +1*x1141[=0] +1*x1142[=0] +1*x1143[=0] +1*x1144[=0] +1*x1145[=0] +1*x1146[=0] +1*x1147[=0] +1*x1148[=0] +1*x1149[=0] +1*x1150[=0] +1*x1151[=0] +1*x1152[=0] +1*x1153[=0] +1*x1154[=0] +1*x1155[=0] +1*x1156[=0] +1*x1157[=0] +1*x1158[=0] +1*x1159[=0] +1*x1160[=0] +1*x1161[=0] +1*x1162[=0] +1*x1163[=0] +1*x1164[=0] +1*x1165[=0] +1*x1166[=0] +1*x1167[=0] +1*x1168[=0] +1*x1169[=0] +1*x1170[=0] +1*x1171[=0] +1*x1172[=0] +1*x1173[=0] +1*x1174[=0] +1*x1175[=0] +1*x1176[=0] +1*x1177[=0] +1*x1178[=0] +1*x1179[=0] +1*x1180[=0] +1*x1181[=0] +1*x1182[=0] +1*x1183[=0] +1*x1184[=0] +1*x1185[=0] +1*x1186[=0] +1*x1187[=0] +1*x1188[=0] +1*x1189[=0] +1*x1190[=0] +1*x1191[=0] +1*x1192[=0] +1*x1193[=0] +1*x1194[=0] +1*x1195[=0] +1*x1196[=0] +1*x1197[=0] +1*x1198[=0] +1*x1199[=0] +1*x1200[=0] +1*x1201[=0] +1*x1202[=0] +1*x1203[=0] +1*x1204[=0] +1*x1205[=0] +1*x1206[=0] +1*x1207[=0] +1*x1208[=0] +1*x1209[=0] +1*x1210[=0] +1*x1211[=0] +1*x1212[=0] +1*x1213[=0] +1*x1214[=0] +1*x1215[=0] +1*x1216[=0] +1*x1217[=0] +1*x1218[=0] +1*x1219[=0] +1*x1220[=0] +1*x1221[=0] +1*x1222[=0] +1*x1223[=0] +1*x1224[=0] +1*x1225[=0] +1*x1226[=0] +1*x1227[=0] +1*x1228[=0] +1*x1229[=0] +1*x1230[=0] +1*x1231[=0] +1*x1232[=0] +1*x1233[=0] +1*x1234[=0] +1*x1235[=0] +1*x1236[=0] +1*x1237[=0] +1*x1238[=0] +1*x1239[=0] +1*x1240[=0] +1*x1241[=0] +1*x1242[=0] +1*x1243[=0] +1*x1244[=0] +1*x1245[=0] +1*x1246[=0] +1*x1247[=0] +1*x1248[=0] +1*x1249[=0] +1*x1250[=0] +1*x1251[=0] +1*x1252[=0] +1*x1253[=0] +1*x1254[=0] +1*x1255[=0] +1*x1256[=1] +1*x1257[=0] +1*x1258[=0] +1*x1259[=0] +1*x1260[=0] +1*x1261[=0] +1*x1262[=0] +1*x1263[=0] +1*x1264[=0] +1*x1265[=0] +1*x1266[=0] +1*x1267[=0] +1*x1268[=0] +1*x1269[=0] +1*x1270[=0] +1*x1271[=0] +1*x1272[=0] +1*x1273[=0] +1*x1274[=0] +1*x1275[=0] +1*x1276[=0] +1*x1277[=0] +1*x1278[=0] +1*x1279[=0] +1*x1280[=0] +1*x1281[=0] +1*x1282[=0] +1*x1283[=0] +1*x1284[=0] +1*x1285[=0] +1*x1286[=0] +1*x1287[=0] +1*x1288[=0] +1*x1289[=0] +1*x1290[=0] +1*x1291[=0] +1*x1292[=0] +1*x1293[=0] +1*x1294[=0] +1*x1295[=0] +1*x1296[=0] +1*x1297[=0] +1*x1298[=0] +1*x1299[=0] +1*x1300[=0] +1*x1301[=0] +1*x1302[=0] +1*x1303[=0] +1*x1304[=0] +1*x1305[=0] +1*x1306[=0] +1*x1307[=0] +1*x1308[=0] +1*x1309[=0] +1*x1310[=0] +1*x1311[=0] +1*x1312[=0] +1*x1313[=0] +1*x1314[=0] +1*x1315[=0] +1*x1316[=0] +1*x1317[=0] +1*x1318[=0] +1*x1319[=0] +1*x1320[=0] +1*x1321[=0] +1*x1322[=0] +1*x1323[=0] +1*x1324[=0] +1*x1325[=0] +1*x1326[=0] +1*x1327[=0] +1*x1328[=0] +1*x1329[=0] +1*x1330[=0] +1*x1331[=0] +1*x1332[=0] +1*x1333[=0] +1*x1334[=0] +1*x1335[=0] +1*x1336[=0] +1*x1337[=0] +1*x1338[=0] +1*x1339[=0] +1*x1340[=0] +1*x1341[=0] +1*x1342[=0] +1*x1343[=0] +1*x1344[=0] +1*x1345[=0] +1*x1346[=0] +1*x1347[=0] +1*x1348[=0] +1*x1349[=0] +1*x1350[=0] +1*x1351[=0] +1*x1352[=0] +1*x1353[=0] +1*x1354[=0] +1*x1355[=1] +1*x1356[=0] +1*x1357[=0] +1*x1358[=0] +1*x1359[=0] +1*x1360[=0] +1*x1361[=0] +1*x1362[=0] +1*x1363[=0] +1*x1364[=0] +1*x1365[=0] +1*x1366[=0] +1*x1367[=0] +1*x1368[=0] +1*x1369[=0] +1*x1370[=0] +1*x1371[=0] +1*x1372[=0] +1*x1373[=0] +1*x1374[=0] +1*x1375[=0] +1*x1376[=0] +1*x1377[=0] +1*x1378[=0] +1*x1379[=0] +1*x1380[=0] +1*x1381[=0] +1*x1382[=0] +1*x1383[=0] +1*x1384[=0] +1*x1385[=0] +1*x1386[=0] +1*x1387[=0] +1*x1388[=0] +1*x1389[=0] +1*x1390[=0] +1*x1391[=0] +1*x1392[=0] +1*x1393[=0] +1*x1394[=0] +1*x1395[=0] +1*x1396[=0] +1*x1397[=0] +1*x1398[=0] +1*x1399[=0] +1*x1400[=0] +1*x1401[=0] +1*x1402[=0] +1*x1403[=0] +1*x1404[=0] +1*x1405[=0] +1*x1406[=0] +1*x1407[=0] +1*x1408[=0] +1*x1409[=0] +1*x1410[=0] +1*x1411[=0] +1*x1412[=0] +1*x1413[=0] +1*x1414[=0] +1*x1415[=0] +1*x1416[=0] +1*x1417[=0] +1*x1418[=0] +1*x1419[=0] +1*x1420[=0] +1*x1421[=0] +1*x1422[=0] +1*x1423[=0] +1*x1424[=1] +1*x1425[=0] +1*x1426[=0] +1*x1427[=0] +1*x1428[=0] +1*x1429[=0] +1*x1430[=0] +1*x1431[=0] +1*x1432[=0] +1*x1433[=0] +1*x1434[=0] +1*x1435[=0] +1*x1436[=0] +1*x1437[=0] +1*x1438[=0] +1*x1439[=0] +1*x1440[=0] +1*x1441[=0] +1*x1442[=0] +1*x1443[=0] +1*x1444[=0] +1*x1445[=0] +1*x1446[=0] +1*x1447[=0] +1*x1448[=0] +1*x1449[=0] +1*x1450[=0] +1*x1451[=0] +1*x1452[=0] +1*x1453[=0] +1*x1454[=0] +1*x1455[=0] +1*x1456[=0] +1*x1457[=0] +1*x1458[=0] +1*x1459[=0] +1*x1460[=0] +1*x1461[=0] +1*x1462[=0] +1*x1463[=0] +1*x1464[=0] +1*x1465[=0] +1*x1466[=0] +1*x1467[=1] +1*x1468[=0] +1*x1469[=0] +1*x1470[=0] +1*x1471[=0] +1*x1472[=0] +1*x1473[=0] +1*x1474[=0] +1*x1475[=0] +1*x1476[=0] +1*x1477[=0] +1*x1478[=0] +1*x1479[=0] +1*x1480[=0] +1*x1481[=0] +1*x1482[=0] +1*x1483[=0] +1*x1484[=0] +1*x1485[=0] +1*x1486[=0] +1*x1487[=0] +1*x1488[=0] +1*x1489[=0] +1*x1490[=0] +1*x1491[=0] +1*x1492[=0] +1*x1493[=0] +1*x1494[=0] +1*x1495[=0] +1*x1496[=0] +1*x1497[=0] +1*x1498[=0] +1*x1499[=0] +1*x1500[=0] +1*x1501[=0] +1*x1502[=0] +1*x1503[=0] +1*x1504[=0] +1*x1505[=0] +1*x1506[=0] +1*x1507[=0] +1*x1508[=0] +1*x1509[=0] +1*x1510[=0] +1*x1511[=0] +1*x1512[=0] +1*x1513[=0] +1*x1514[=0] +1*x1515[=0] +1*x1516[=0] +1*x1517[=0] +1*x1518[=0] +1*x1519[=0] +1*x1520[=0] +1*x1521[=0] +1*x1522[=0] +1*x1523[=0] +1*x1524[=0] +1*x1525[=0] +1*x1526[=0] +1*x1527[=0] +1*x1528[=0] +1*x1529[=0] +1*x1530[=0] +1*x1531[=0] +1*x1532[=0] +1*x1533[=0] +1*x1534[=0] +1*x1535[=0] +1*x1536[=0] +1*x1537[=0] +1*x1538[=0] +1*x1539[=0] +1*x1540[=0] +1*x1541[=0] +1*x1542[=0] +1*x1543[=0] +1*x1544[=0] +1*x1545[=0] +1*x1546[=0] +1*x1547[=0] +1*x1548[=0] +1*x1549[=0] +1*x1550[=0] +1*x1551[=0] +1*x1552[=0] +1*x1553[=0] +1*x1554[=0] +1*x1555[=0] +1*x1556[=0] +1*x1557[=0] +1*x1558[=0] +1*x1559[=0] +1*x1560[=0] +1*x1561[=0] +1*x1562[=0] +1*x1563[=0] +1*x1564[=0] +1*x1565[=0] +1*x1566[=0] +1*x1567[=0] +1*x1568[=0] +1*x1569[=1] +1*x1570[=0] +1*x1571[=0] +1*x1572[=0] +1*x1573[=0] +1*x1574[=0] +1*x1575[=0] +1*x1576[=0] +1*x1577[=0] +1*x1578[=0] +1*x1579[=0] +1*x1580[=0] +1*x1581[=0] +1*x1582[=0] +1*x1583[=0] +1*x1584[=0] +1*x1585[=0] +1*x1586[=0] +1*x1587[=0] +1*x1588[=0] +1*x1589[=0] +1*x1590[=0] +1*x1591[=0] +1*x1592[=0] +1*x1593[=0] +1*x1594[=0] +1*x1595[=0] +1*x1596[=0] +1*x1597[=0] +1*x1598[=0] +1*x1599[=0] +1*x1600[=0] +1*x1601[=0] +1*x1602[=0] +1*x1603[=0] +1*x1604[=0] +1*x1605[=0] +1*x1606[=0] +1*x1607[=0] +1*x1608[=0] +1*x1609[=0] +1*x1610[=0] +1*x1611[=0] +1*x1612[=0] +1*x1613[=0] +1*x1614[=0] +1*x1615[=0] +1*x1616[=0] +1*x1617[=0] +1*x1618[=0] +1*x1619[=0] +1*x1620[=0] +1*x1621[=0] +1*x1622[=0] +1*x1623[=0] +1*x1624[=0] +1*x1625[=0] +1*x1626[=0] +1*x1627[=0] +1*x1628[=0] +1*x1629[=0] +1*x1630[=0] +1*x1631[=0] +1*x1632[=0] +1*x1633[=0] +1*x1634[=0] +1*x1635[=0] +1*x1636[=0] +1*x1637[=0] +1*x1638[=0] +1*x1639[=0] +1*x1640[=0] +1*x1641[=0] +1*x1642[=0] +1*x1643[=0] +1*x1644[=0] +1*x1645[=0] +1*x1646[=0] +1*x1647[=0] +1*x1648[=0] +1*x1649[=0] +1*x1650[=0] +1*x1651[=0] +1*x1652[=0] +1*x1653[=0] +1*x1654[=0] +1*x1655[=0] +1*x1656[=0] +1*x1657[=0] +1*x1658[=0] +1*x1659[=0] +1*x1660[=0] +1*x1661[=0] +1*x1662[=0] +1*x1663[=0] +1*x1664[=0] +1*x1665[=0] +1*x1666[=0] +1*x1667[=0] +1*x1668[=0] +1*x1669[=0] +1*x1670[=0] +1*x1671[=0] +1*x1672[=0] +1*x1673[=0] +1*x1674[=0] +1*x1675[=0] +1*x1676[=1] +1*x1677[=0] +1*x1678[=0] +1*x1679[=0] +1*x1680[=0] +1*x1681[=0] +1*x1682[=0] +1*x1683[=0] +1*x1684[=0] +1*x1685[=0] +1*x1686[=0] +1*x1687[=0] +1*x1688[=0] +1*x1689[=0] +1*x1690[=0] +1*x1691[=0] +1*x1692[=0] +1*x1693[=0] +1*x1694[=0] +1*x1695[=0] +1*x1696[=0] +1*x1697[=0] +1*x1698[=0] +1*x1699[=0] +1*x1700[=0] +1*x1701[=0] +1*x1702[=0] +1*x1703[=0] +1*x1704[=0] +1*x1705[=0] +1*x1706[=0] +1*x1707[=0] +1*x1708[=0] +1*x1709[=0] +1*x1710[=0] +1*x1711[=0] +1*x1712[=0] +1*x1713[=0] +1*x1714[=0] +1*x1715[=0] +1*x1716[=0] +1*x1717[=0] +1*x1718[=0] +1*x1719[=0] +1*x1720[=0] +1*x1721[=0] +1*x1722[=0] +1*x1723[=0] +1*x1724[=0] +1*x1725[=0] +1*x1726[=0] +1*x1727[=0] +1*x1728[=0] +1*x1729[=0] +1*x1730[=0] +1*x1731[=0] +1*x1732[=0] +1*x1733[=0] +1*x1734[=0] +1*x1735[=0] +1*x1736[=0] +1*x1737[=0] +1*x1738[=0] +1*x1739[=0] +1*x1740[=0] +1*x1741[=0] +1*x1742[=0] +1*x1743[=0] +1*x1744[=0] +1*x1745[=0] +1*x1746[=0] +1*x1747[=0] +1*x1748[=0] +1*x1749[=0] +1*x1750[=0] +1*x1751[=0] +1*x1752[=0] +1*x1753[=0] +1*x1754[=0] +1*x1755[=0] +1*x1756[=0] +1*x1757[=0] +1*x1758[=1] +1*x1759[=0] +1*x1760[=0] +1*x1761[=0] +1*x1762[=0] +1*x1763[=0] +1*x1764[=0] +1*x1765[=0] +1*x1766[=1] +1*x1767[=0] +1*x1768[=0] +1*x1769[=0] +1*x1770[=0] +1*x1771[=0] +1*x1772[=0] +1*x1773[=0] +1*x1774[=0] +1*x1775[=0] +1*x1776[=0] +1*x1777[=0] +1*x1778[=0] +1*x1779[=0] +1*x1780[=0] +1*x1781[=0] +1*x1782[=0] +1*x1783[=0] +1*x1784[=0] +1*x1785[=0] +1*x1786[=0] +1*x1787[=0] +1*x1788[=0] +1*x1789[=0] +1*x1790[=0] +1*x1791[=0] +1*x1792[=0] +1*x1793[=0] +1*x1794[=0] +1*x1795[=0] +1*x1796[=0] +1*x1797[=0] +1*x1798[=0] +1*x1799[=0] +1*x1800[=0] +1*x1801[=0] +1*x1802[=0] +1*x1803[=0] +1*x1804[=0] +1*x1805[=0] +1*x1806[=0] +1*x1807[=0] +1*x1808[=0] +1*x1809[=0] +1*x1810[=0] +1*x1811[=0] +1*x1812[=0] +1*x1813[=0] +1*x1814[=0] +1*x1815[=0] +1*x1816[=0] +1*x1817[=0] +1*x1818[=0] +1*x1819[=0] +1*x1820[=0] +1*x1821[=0] +1*x1822[=0] +1*x1823[=0] +1*x1824[=0] +1*x1825[=0] +1*x1826[=0] +1*x1827[=0] +1*x1828[=0] +1*x1829[=0] +1*x1830[=0] +1*x1831[=0] +1*x1832[=0] +1*x1833[=0] +1*x1834[=0] +1*x1835[=0] +1*x1836[=0] +1*x1837[=0] +1*x1838[=0] +1*x1839[=0] +1*x1840[=0] +1*x1841[=0] +1*x1842[=0] +1*x1843[=0] +1*x1844[=0] +1*x1845[=0] +1*x1846[=0] +1*x1847[=0] +1*x1848[=0] +1*x1849[=0] +1*x1850[=0] +1*x1851[=0] +1*x1852[=0] +1*x1853[=0] +1*x1854[=0] +1*x1855[=0] +1*x1856[=0] +1*x1857[=0] +1*x1858[=0] +1*x1859[=0] +1*x1860[=0] +1*x1861[=0] +1*x1862[=0] +1*x1863[=0] +1*x1864[=0] +1*x1865[=0] +1*x1866[=0] +1*x1867[=0] +1*x1868[=0] +1*x1869[=0] +1*x1870[=0] +1*x1871[=0] +1*x1872[=0] +1*x1873[=0] +1*x1874[=0] +1*x1875[=0] +1*x1876[=0] +1*x1877[=0] +1*x1878[=0] +1*x1879[=0] +1*x1880[=0] +1*x1881[=0] +1*x1882[=0] +1*x1883[=0] +1*x1884[=0] +1*x1885[=0] +1*x1886[=0] +1*x1887[=0] +1*x1888[=0] +1*x1889[=0] +1*x1890[=0] +1*x1891[=0] +1*x1892[=0] +1*x1893[=0] +1*x1894[=0] +1*x1895[=0] +1*x1896[=0] +1*x1897[=0] +1*x1898[=0] +1*x1899[=0] +1*x1900[=0] +1*x1901[=0] +1*x1902[=0] +1*x1903[=0] +1*x1904[=0] +1*x1905[=0] +1*x1906[=0] +1*x1907[=0] +1*x1908[=0] +1*x1909[=0] +1*x1910[=0] +1*x1911[=0] +1*x1912[=0] +1*x1913[=0] +1*x1914[=0] +1*x1915[=0] +1*x1916[=0] +1*x1917[=0] +1*x1918[=0] +1*x1919[=0] +1*x1920[=0] +1*x1921[=0] +1*x1922[=0] +1*x1923[=0] +1*x1924[=0] +1*x1925[=0] +1*x1926[=0] +1*x1927[=0] +1*x1928[=0] +1*x1929[=0] +1*x1930[=0] +1*x1931[=0] +1*x1932[=0] +1*x1933[=0] +1*x1934[=0] +1*x1935[=0] +1*x1936[=0] +1*x1937[=1] +1*x1938[=0] +1*x1939[=0] +1*x1940[=0] +1*x1941[=0] +1*x1942[=0] +1*x1943[=0] +1*x1944[=0] +1*x1945[=0] +1*x1946[=0] +1*x1947[=0] +1*x1948[=0] +1*x1949[=0] +1*x1950[=0] +1*x1951[=0] +1*x1952[=0] +1*x1953[=0] +1*x1954[=0] +1*x1955[=0] +1*x1956[=0] +1*x1957[=0] +1*x1958[=0] +1*x1959[=0] +1*x1960[=0] +1*x1961[=0] +1*x1962[=0] +1*x1963[=0] +1*x1964[=0] +1*x1965[=0] +1*x1966[=0] +1*x1967[=0] +1*x1968[=0] +1*x1969[=0] +1*x1970[=0] +1*x1971[=0] +1*x1972[=0] +1*x1973[=0] +1*x1974[=0] +1*x1975[=0] +1*x1976[=0] +1*x1977[=0] +1*x1978[=0] +1*x1979[=0] +1*x1980[=0] +1*x1981[=0] +1*x1982[=0] +1*x1983[=0] +1*x1984[=0] +1*x1985[=0] +1*x1986[=0] +1*x1987[=0] +1*x1988[=0] +1*x1989[=0] +1*x1990[=0] +1*x1991[=0] +1*x1992[=0] +1*x1993[=0] +1*x1994[=0] +1*x1995[=0] +1*x1996[=0] +1*x1997[=0] +1*x1998[=0] +1*x1999[=0] +1*x2000[=0] +1*x2001[=0] +1*x2002[=0] +1*x2003[=0] +1*x2004[=0] +1*x2005[=0] +1*x2006[=0] +1*x2007[=0] +1*x2008[=0] +1*x2009[=0] +1*x2010[=0] +1*x2011[=0] +1*x2012[=0] +1*x2013[=0] +1*x2014[=0] +1*x2015[=0] +1*x2016[=0] +1*x2017[=0] +1*x2018[=0] +1*x2019[=0] +1*x2020[=0] +1*x2021[=0] +1*x2022[=0] +1*x2023[=0] +1*x2024[=0] +1*x2025[=0] +1*x2026[=0] +1*x2027[=0] +1*x2028[=0] +1*x2029[=0] +1*x2030[=0] +1*x2031[=1] +1*x2032[=0] +1*x2033[=0] +1*x2034[=0] +1*x2035[=0] +1*x2036[=0] +1*x2037[=0] +1*x2038[=0] +1*x2039[=0] +1*x2040[=0] +1*x2041[=0] +1*x2042[=0] +1*x2043[=0] +1*x2044[=0] +1*x2045[=0] +1*x2046[=0] +1*x2047[=0] +1*x2048[=0] +1*x2049[=0] +1*x2050[=0] +1*x2051[=0] +1*x2052[=0] +1*x2053[=0] +1*x2054[=0] +1*x2055[=0] +1*x2056[=0] +1*x2057[=0] +1*x2058[=0] +1*x2059[=0] +1*x2060[=0] +1*x2061[=0] +1*x2062[=0] +1*x2063[=0] +1*x2064[=0] +1*x2065[=0] +1*x2066[=0] +1*x2067[=0] +1*x2068[=0] +1*x2069[=0] +1*x2070[=0] +1*x2071[=0] +1*x2072[=0] +1*x2073[=0] +1*x2074[=0] +1*x2075[=0] +1*x2076[=0] +1*x2077[=0] +1*x2078[=0] +1*x2079[=0] +1*x2080[=0] +1*x2081[=0] +1*x2082[=0] +1*x2083[=0] +1*x2084[=0] +1*x2085[=0] +1*x2086[=0] +1*x2087[=0] +1*x2088[=0] +1*x2089[=0] +1*x2090[=0] +1*x2091[=0] +1*x2092[=0] +1*x2093[=0] +1*x2094[=0] +1*x2095[=0] +1*x2096[=0] +1*x2097[=0] +1*x2098[=0] +1*x2099[=0] +1*x2100[=0] +1*x2101[=0] +1*x2102[=0] +1*x2103[=0] +1*x2104[=0] +1*x2105[=0] +1*x2106[=0] +1*x2107[=0] +1*x2108[=0] +1*x2109[=0] +1*x2110[=0] +1*x2111[=0] +1*x2112[=0] +1*x2113[=0] +1*x2114[=0] +1*x2115[=0] +1*x2116[=0] +1*x2117[=0] +1*x2118[=0] +1*x2119[=0] +1*x2120[=0] +1*x2121[=0] +1*x2122[=0] +1*x2123[=0] +1*x2124[=0] +1*x2125[=0] +1*x2126[=0] +1*x2127[=0] +1*x2128[=0] +1*x2129[=0] +1*x2130[=0] +1*x2131[=0] +1*x2132[=0] +1*x2133[=0] +1*x2134[=0] +1*x2135[=0] +1*x2136[=0] +1*x2137[=0] +1*x2138[=0] +1*x2139[=0] +1*x2140[=0] +1*x2141[=0] +1*x2142[=0] +1*x2143[=0] +1*x2144[=0] +1*x2145[=0] +1*x2146[=0] +1*x2147[=0] +1*x2148[=0] +1*x2149[=0] +1*x2150[=0] +1*x2151[=0] +1*x2152[=1] +1*x2153[=0] +1*x2154[=0] +1*x2155[=0] +1*x2156[=0] +1*x2157[=0] +1*x2158[=0] +1*x2159[=0] +1*x2160[=0] +1*x2161[=0] +1*x2162[=0] +1*x2163[=0] +1*x2164[=0] +1*x2165[=0] +1*x2166[=0] +1*x2167[=0] +1*x2168[=0] +1*x2169[=0] +1*x2170[=0] +1*x2171[=0] +1*x2172[=0] +1*x2173[=0] +1*x2174[=0] +1*x2175[=0] +1*x2176[=0] +1*x2177[=0] +1*x2178[=0] +1*x2179[=1] +1*x2180[=0] +1*x2181[=0] +1*x2182[=0] +1*x2183[=0] +1*x2184[=0] +1*x2185[=0] +1*x2186[=0] +1*x2187[=0] +1*x2188[=0] +1*x2189[=0] +1*x2190[=0] +1*x2191[=0] +1*x2192[=0] +1*x2193[=0] +1*x2194[=0] +1*x2195[=0] +1*x2196[=0] +1*x2197[=0] +1*x2198[=0] +1*x2199[=0] +1*x2200[=0] +1*x2201[=0] +1*x2202[=0] +1*x2203[=0] +1*x2204[=0] +1*x2205[=0] +1*x2206[=0] +1*x2207[=0] +1*x2208[=0] +1*x2209[=0] +1*x2210[=0] +1*x2211[=0] +1*x2212[=0] +1*x2213[=0] +1*x2214[=0] +1*x2215[=0] +1*x2216[=0] +1*x2217[=0] +1*x2218[=0] +1*x2219[=0] +1*x2220[=0] +1*x2221[=0] +1*x2222[=0] +1*x2223[=0] +1*x2224[=0] +1*x2225[=0] +1*x2226[=0] +1*x2227[=0] +1*x2228[=0] +1*x2229[=0] +1*x2230[=0] +1*x2231[=0] +1*x2232[=0] +1*x2233[=0] +1*x2234[=0] +1*x2235[=0] +1*x2236[=0] +1*x2237[=0] +1*x2238[=0] +1*x2239[=0] +1*x2240[=0] +1*x2241[=0] +1*x2242[=0] +1*x2243[=0] +1*x2244[=0] +1*x2245[=0] +1*x2246[=0] +1*x2247[=0] +1*x2248[=0] +1*x2249[=0] +1*x2250[=0] +1*x2251[=0] +1*x2252[=0] +1*x2253[=0] +1*x2254[=0] +1*x2255[=0] +1*x2256[=0] +1*x2257[=0] +1*x2258[=0] +1*x2259[=0] +1*x2260[=0] +1*x2261[=0] +1*x2262[=0] +1*x2263[=1] +1*x2264[=0] +1*x2265[=0] +1*x2266[=0] +1*x2267[=0] +1*x2268[=0] +1*x2269[=0] +1*x2270[=0] +1*x2271[=0] +1*x2272[=0] +1*x2273[=0] +1*x2274[=0] +1*x2275[=0] +1*x2276[=0] +1*x2277[=0] +1*x2278[=0] +1*x2279[=0] +1*x2280[=0] +1*x2281[=0] +1*x2282[=0] +1*x2283[=0] +1*x2284[=0] +1*x2285[=0] +1*x2286[=0] +1*x2287[=0] +1*x2288[=0] +1*x2289[=0] +1*x2290[=0] +1*x2291[=0] +1*x2292[=0] +1*x2293[=0] +1*x2294[=0] +1*x2295[=0] +1*x2296[=0] +1*x2297[=0] +1*x2298[=0] +1*x2299[=0] +1*x2300[=0] +1*x2301[=0] +1*x2302[=0] +1*x2303[=0] +1*x2304[=0] +1*x2305[=0] +1*x2306[=0] +1*x2307[=0] +1*x2308[=0] +1*x2309[=0] +1*x2310[=0] +1*x2311[=0] +1*x2312[=0] +1*x2313[=0] +1*x2314[=0] +1*x2315[=0] +1*x2316[=0] +1*x2317[=0] +1*x2318[=0] +1*x2319[=0] +1*x2320[=0] +1*x2321[=0] +1*x2322[=0] +1*x2323[=0] +1*x2324[=0] +1*x2325[=0] +1*x2326[=0] +1*x2327[=0] +1*x2328[=0] +1*x2329[=0] +1*x2330[=0] +1*x2331[=0] +1*x2332[=0] +1*x2333[=0] +1*x2334[=0] +1*x2335[=0] +1*x2336[=0] +1*x2337[=0] +1*x2338[=0] +1*x2339[=0] +1*x2340[=0] +1*x2341[=0] +1*x2342[=0] +1*x2343[=0] +1*x2344[=0] +1*x2345[=0] +1*x2346[=0] +1*x2347[=0] +1*x2348[=0] +1*x2349[=0] +1*x2350[=0] +1*x2351[=0] +1*x2352[=0] +1*x2353[=0] +1*x2354[=0] +1*x2355[=0] +1*x2356[=0] +1*x2357[=0] +1*x2358[=0] +1*x2359[=0] +1*x2360[=0] +1*x2361[=0] +1*x2362[=0] +1*x2363[=0] +1*x2364[=0] +1*x2365[=0] +1*x2366[=0] +1*x2367[=0] +1*x2368[=0] +1*x2369[=0] +1*x2370[=0] +1*x2371[=0] +1*x2372[=0] +1*x2373[=0] +1*x2374[=1] +1*x2375[=0] +1*x2376[=0] +1*x2377[=0] +1*x2378[=0] +1*x2379[=0] +1*x2380[=0] +1*x2381[=0] +1*x2382[=0] +1*x2383[=0] +1*x2384[=0] +1*x2385[=0] +1*x2386[=0] +1*x2387[=0] +1*x2388[=0] +1*x2389[=0] +1*x2390[=0] +1*x2391[=0] +1*x2392[=0] +1*x2393[=0] +1*x2394[=0] +1*x2395[=0] +1*x2396[=0] +1*x2397[=0] +1*x2398[=0] +1*x2399[=0] +1*x2400[=0] +1*x2401[=0] +1*x2402[=0] +1*x2403[=0] +1*x2404[=0] +1*x2405[=0] +1*x2406[=0] +1*x2407[=0] +1*x2408[=0] +1*x2409[=0] +1*x2410[=0] +1*x2411[=0] +1*x2412[=0] +1*x2413[=0] +1*x2414[=0] +1*x2415[=0] +1*x2416[=0] +1*x2417[=0] +1*x2418[=0] +1*x2419[=0] +1*x2420[=0] +1*x2421[=0] +1*x2422[=0] +1*x2423[=0] +1*x2424[=0] +1*x2425[=0] +1*x2426[=0] +1*x2427[=0] +1*x2428[=0] +1*x2429[=0] +1*x2430[=0] +1*x2431[=0] +1*x2432[=0] +1*x2433[=0] +1*x2434[=0] +1*x2435[=0] +1*x2436[=0] +1*x2437[=0] +1*x2438[=0] +1*x2439[=0] +1*x2440[=0] +1*x2441[=0] +1*x2442[=0] +1*x2443[=0] +1*x2444[=0] +1*x2445[=1] +1*x2446[=0] +1*x2447[=0] +1*x2448[=0] +1*x2449[=0] +1*x2450[=0] +1*x2451[=0] +1*x2452[=0] +1*x2453[=0] +1*x2454[=0] +1*x2455[=0] +1*x2456[=0] +1*x2457[=0] +1*x2458[=0] +1*x2459[=0] +1*x2460[=0] +1*x2461[=0] +1*x2462[=0] +1*x2463[=0] +1*x2464[=0] +1*x2465[=0] +1*x2466[=0] +1*x2467[=0] +1*x2468[=0] +1*x2469[=0] +1*x2470[=0] +1*x2471[=0] +1*x2472[=0] +1*x2473[=0] +1*x2474[=0] +1*x2475[=0] +1*x2476[=0] +1*x2477[=0] +1*x2478[=0] +1*x2479[=0] +1*x2480[=0] +1*x2481[=0] +1*x2482[=0] +1*x2483[=0] +1*x2484[=0] +1*x2485[=0] +1*x2486[=0] +1*x2487[=0] +1*x2488[=0] +1*x2489[=0] +1*x2490[=0] +1*x2491[=0] +1*x2492[=0] +1*x2493[=0] +1*x2494[=0] +1*x2495[=0] +1*x2496[=0] +1*x2497[=0] +1*x2498[=0] +1*x2499[=0] +1*x2500[=0] +1*x2501[=0] +1*x2502[=0] +1*x2503[=0] +1*x2504[=0] +1*x2505[=0] +1*x2506[=0] +1*x2507[=0] +1*x2508[=0] +1*x2509[=0] +1*x2510[=0] +1*x2511[=0] +1*x2512[=0] +1*x2513[=0] +1*x2514[=0] +1*x2515[=0] +1*x2516[=0] +1*x2517[=0] +1*x2518[=0] +1*x2519[=0] +1*x2520[=0] +1*x2521[=0] +1*x2522[=0] +1*x2523[=0] +1*x2524[=0] +1*x2525[=0] +1*x2526[=0] +1*x2527[=0] +1*x2528[=0] +1*x2529[=0] +1*x2530[=0] +1*x2531[=0] +1*x2532[=0] +1*x2533[=0] +1*x2534[=0] +1*x2535[=0] +1*x2536[=0] +1*x2537[=0] +1*x2538[=0] +1*x2539[=0] +1*x2540[=0] +1*x2541[=0] +1*x2542[=0] +1*x2543[=0] +1*x2544[=0] +1*x2545[=0] +1*x2546[=0] +1*x2547[=0] +1*x2548[=0] +1*x2549[=0] +1*x2550[=0] +1*x2551[=0] +1*x2552[=0] +1*x2553[=0] +1*x2554[=0] +1*x2555[=0] +1*x2556[=0] +1*x2557[=0] +1*x2558[=0] +1*x2559[=1] +1*x2560[=0] +1*x2561[=0] +1*x2562[=0] +1*x2563[=0] +1*x2564[=0] +1*x2565[=0] +1*x2566[=0] +1*x2567[=0] +1*x2568[=0] +1*x2569[=0] +1*x2570[=0] +1*x2571[=0] +1*x2572[=0] +1*x2573[=0] +1*x2574[=0] +1*x2575[=0] +1*x2576[=0] +1*x2577[=0] +1*x2578[=0] +1*x2579[=0] +1*x2580[=0] +1*x2581[=0] +1*x2582[=0] +1*x2583[=0] +1*x2584[=0] +1*x2585[=0] +1*x2586[=0] +1*x2587[=0] +1*x2588[=0] +1*x2589[=0] +1*x2590[=0] +1*x2591[=0] +1*x2592[=0] +1*x2593[=0] +1*x2594[=0] +1*x2595[=0] +1*x2596[=0] +1*x2597[=0] +1*x2598[=0] +1*x2599[=0] +1*x2600[=0] +1*x2601[=0] +1*x2602[=0] +1*x2603[=0] +1*x2604[=0] +1*x2605[=0] +1*x2606[=1] +1*x2607[=0] +1*x2608[=0] +1*x2609[=0] +1*x2610[=0] +1*x2611[=0] +1*x2612[=0] +1*x2613[=0] +1*x2614[=0] +1*x2615[=0] +1*x2616[=0] +1*x2617[=0] +1*x2618[=0] +1*x2619[=0] +1*x2620[=0] +1*x2621[=0] +1*x2622[=0] +1*x2623[=0] +1*x2624[=0] +1*x2625[=0] +1*x2626[=0] +1*x2627[=0] +1*x2628[=0] +1*x2629[=0] +1*x2630[=0] +1*x2631[=0] +1*x2632[=0] +1*x2633[=0] +1*x2634[=0] +1*x2635[=0] +1*x2636[=0] +1*x2637[=0] +1*x2638[=0] +1*x2639[=0] +1*x2640[=0] +1*x2641[=0] +1*x2642[=0] +1*x2643[=0] +1*x2644[=0] +1*x2645[=0] +1*x2646[=0] +1*x2647[=0] +1*x2648[=0] +1*x2649[=1] +1*x2650[=0] +1*x2651[=0] +1*x2652[=0] +1*x2653[=0] +1*x2654[=0] +1*x2655[=0] +1*x2656[=0] +1*x2657[=0] +1*x2658[=0] +1*x2659[=0] +1*x2660[=0] +1*x2661[=0] +1*x2662[=0] +1*x2663[=0] +1*x2664[=0] +1*x2665[=0] +1*x2666[=0] +1*x2667[=0] +1*x2668[=0] +1*x2669[=0] +1*x2670[=0] +1*x2671[=0] +1*x2672[=0] +1*x2673[=0] +1*x2674[=0] +1*x2675[=0] +1*x2676[=0] +1*x2677[=0] +1*x2678[=0] +1*x2679[=0] +1*x2680[=0] +1*x2681[=0] +1*x2682[=0] +1*x2683[=0] +1*x2684[=0] +1*x2685[=0] +1*x2686[=0] +1*x2687[=0] +1*x2688[=0] +1*x2689[=0] +1*x2690[=0] +1*x2691[=0] +1*x2692[=0] +1*x2693[=0] +1*x2694[=0] +1*x2695[=0] +1*x2696[=0] +1*x2697[=0] +1*x2698[=0] +1*x2699[=0] +1*x2700[=0] +1*x2701[=0] +1*x2702[=0] +1*x2703[=0] +1*x2704[=0] +1*x2705[=0] +1*x2706[=0] +1*x2707[=0] +1*x2708[=0] +1*x2709[=0] +1*x2710[=0] +1*x2711[=0] +1*x2712[=0] +1*x2713[=0] +1*x2714[=0] +1*x2715[=0] +1*x2716[=0] +1*x2717[=0] +1*x2718[=0] +1*x2719[=0] +1*x2720[=0] +1*x2721[=0] +1*x2722[=0] +1*x2723[=0] +1*x2724[=0] +1*x2725[=0] +1*x2726[=0] +1*x2727[=0] +1*x2728[=0] +1*x2729[=0] +1*x2730[=0] +1*x2731[=0] +1*x2732[=0] +1*x2733[=0] +1*x2734[=0] +1*x2735[=1] +1*x2736[=0] +1*x2737[=0] +1*x2738[=0] +1*x2739[=0] +1*x2740[=0] +1*x2741[=0] +1*x2742[=0] +1*x2743[=0] +1*x2744[=0] +1*x2745[=0] +1*x2746[=0] +1*x2747[=0] +1*x2748[=0] +1*x2749[=0] +1*x2750[=0] +1*x2751[=0] +1*x2752[=0] +1*x2753[=0] +1*x2754[=0] +1*x2755[=0] +1*x2756[=0] +1*x2757[=0] +1*x2758[=0] +1*x2759[=0] +1*x2760[=0] +1*x2761[=0] +1*x2762[=0] +1*x2763[=0] +1*x2764[=0] +1*x2765[=0] +1*x2766[=0] +1*x2767[=0] +1*x2768[=0] +1*x2769[=0] +1*x2770[=0] +1*x2771[=0] +1*x2772[=0] +1*x2773[=0] +1*x2774[=0] +1*x2775[=0] +1*x2776[=0] +1*x2777[=0] +1*x2778[=0] +1*x2779[=0] +1*x2780[=0] +1*x2781[=0] +1*x2782[=0] +1*x2783[=0] +1*x2784[=0] +1*x2785[=0] +1*x2786[=0] +1*x2787[=0] +1*x2788[=0] +1*x2789[=0] +1*x2790[=0] +1*x2791[=0] +1*x2792[=0] +1*x2793[=0] +1*x2794[=0] +1*x2795[=0] +1*x2796[=0] +1*x2797[=0] +1*x2798[=0] +1*x2799[=0] +1*x2800[=0] +1*x2801[=0] +1*x2802[=0] +1*x2803[=0] +1*x2804[=0] +1*x2805[=0] +1*x2806[=0] +1*x2807[=0] +1*x2808[=0] +1*x2809[=0] +1*x2810[=0] +1*x2811[=0] +1*x2812[=0] +1*x2813[=0] +1*x2814[=0] +1*x2815[=0] +1*x2816[=0] +1*x2817[=0] +1*x2818[=0] +1*x2819[=0] +1*x2820[=0] +1*x2821[=0] +1*x2822[=0] +1*x2823[=0] +1*x2824[=0] +1*x2825[=0] +1*x2826[=0] +1*x2827[=0] +1*x2828[=0] +1*x2829[=0] +1*x2830[=0] +1*x2831[=0] +1*x2832[=0] +1*x2833[=0] +1*x2834[=0] +1*x2835[=0] +1*x2836[=0] +1*x2837[=0] +1*x2838[=0] +1*x2839[=0] +1*x2840[=0] +1*x2841[=0] +1*x2842[=0] +1*x2843[=0] +1*x2844[=0] +1*x2845[=0] +1*x2846[=0] +1*x2847[=0] +1*x2848[=0] +1*x2849[=0] +1*x2850[=0] +1*x2851[=0] +1*x2852[=0] +1*x2853[=1] +1*x2854[=0] +1*x2855[=0] +1*x2856[=0] +1*x2857[=0] +1*x2858[=0] +1*x2859[=0] +1*x2860[=0] +1*x2861[=0] +1*x2862[=0] +1*x2863[=0] +1*x2864[=0] +1*x2865[=0] +1*x2866[=0] +1*x2867[=0] +1*x2868[=0] +1*x2869[=0] +1*x2870[=0] +1*x2871[=0] +1*x2872[=0] +1*x2873[=0] +1*x2874[=0] +1*x2875[=0] +1*x2876[=0] +1*x2877[=0] +1*x2878[=0] +1*x2879[=0] +1*x2880[=0] +1*x2881[=0] +1*x2882[=0] +1*x2883[=0] +1*x2884[=0] +1*x2885[=0] +1*x2886[=0] +1*x2887[=0] +1*x2888[=0] +1*x2889[=0] +1*x2890[=0] +1*x2891[=0] +1*x2892[=0] +1*x2893[=0] +1*x2894[=0] +1*x2895[=0] +1*x2896[=0] +1*x2897[=0] +1*x2898[=0] +1*x2899[=0] +1*x2900[=0] +1*x2901[=0] +1*x2902[=0] +1*x2903[=0] +1*x2904[=0] +1*x2905[=0] +1*x2906[=0] +1*x2907[=0] +1*x2908[=0] +1*x2909[=0] +1*x2910[=0] +1*x2911[=0] +1*x2912[=0] +1*x2913[=0] +1*x2914[=0] +1*x2915[=0] +1*x2916[=0] +1*x2917[=0] +1*x2918[=0] +1*x2919[=0] +1*x2920[=0] +1*x2921[=0] +1*x2922[=0] +1*x2923[=0] +1*x2924[=0] +1*x2925[=0] +1*x2926[=0] +1*x2927[=0] +1*x2928[=0] +1*x2929[=0] +1*x2930[=0] +1*x2931[=0] +1*x2932[=0] +1*x2933[=0] +1*x2934[=0] +1*x2935[=0] +1*x2936[=0] +1*x2937[=0] +1*x2938[=1] +1*x2939[=0] +1*x2940[=0] +1*x2941[=0] +1*x2942[=0] +1*x2943[=0] +1*x2944[=0] +1*x2945[=0] +1*x2946[=0] +1*x2947[=0] +1*x2948[=0] +1*x2949[=0] +1*x2950[=0] +1*x2951[=0] +1*x2952[=0] +1*x2953[=0] +1*x2954[=0] +1*x2955[=0] +1*x2956[=0] +1*x2957[=0] +1*x2958[=0] +1*x2959[=0] +1*x2960[=0] +1*x2961[=0] +1*x2962[=0] +1*x2963[=0] +1*x2964[=0] +1*x2965[=0] +1*x2966[=0] +1*x2967[=0] +1*x2968[=0] +1*x2969[=0] +1*x2970[=0] +1*x2971[=0] +1*x2972[=0] +1*x2973[=0] +1*x2974[=0] +1*x2975[=0] +1*x2976[=0] +1*x2977[=0] +1*x2978[=0] +1*x2979[=0] +1*x2980[=0] +1*x2981[=0] +1*x2982[=0] +1*x2983[=0] +1*x2984[=0] +1*x2985[=0] +1*x2986[=0] +1*x2987[=0] +1*x2988[=0] +1*x2989[=0] +1*x2990[=0] +1*x2991[=0] +1*x2992[=0] +1*x2993[=1] +1*x2994[=0] +1*x2995[=0] +1*x2996[=0] +1*x2997[=0] +1*x2998[=0] +1*x2999[=0] +1*x3000[=0] +1*x3001[=0] +1*x3002[=0] +1*x3003[=0] +1*x3004[=0] +1*x3005[=0] +1*x3006[=0] +1*x3007[=0] +1*x3008[=0] +1*x3009[=0] +1*x3010[=0] +1*x3011[=0] +1*x3012[=0] +1*x3013[=0] +1*x3014[=0] +1*x3015[=0] +1*x3016[=0] +1*x3017[=0] +1*x3018[=0] +1*x3019[=0] +1*x3020[=0] +1*x3021[=0] +1*x3022[=0] +1*x3023[=0] +1*x3024[=0] +1*x3025[=0] +1*x3026[=0] +1*x3027[=0] +1*x3028[=0] +1*x3029[=0] +1*x3030[=0] +1*x3031[=0] +1*x3032[=0] +1*x3033[=0] +1*x3034[=0] +1*x3035[=0] +1*x3036[=0] +1*x3037[=0] +1*x3038[=0] +1*x3039[=0] +1*x3040[=0] +1*x3041[=0] +1*x3042[=0] +1*x3043[=0] +1*x3044[=0] +1*x3045[=0] +1*x3046[=0] +1*x3047[=0] +1*x3048[=0] +1*x3049[=0] +1*x3050[=0] +1*x3051[=0] +1*x3052[=0] +1*x3053[=0] +1*x3054[=0] +1*x3055[=0] +1*x3056[=0] +1*x3057[=0] +1*x3058[=0] +1*x3059[=0] +1*x3060[=0] +1*x3061[=0] +1*x3062[=0] +1*x3063[=0] +1*x3064[=0] +1*x3065[=0] +1*x3066[=0] +1*x3067[=0] +1*x3068[=0] +1*x3069[=0] +1*x3070[=0] +1*x3071[=0] +1*x3072[=0] +1*x3073[=0] +1*x3074[=0] +1*x3075[=0] +1*x3076[=0] +1*x3077[=0] +1*x3078[=0] +1*x3079[=1] +1*x3080[=0] +1*x3081[=0] +1*x3082[=0] +1*x3083[=0] +1*x3084[=0] +1*x3085[=0] +1*x3086[=0] +1*x3087[=0] +1*x3088[=0] +1*x3089[=0] +1*x3090[=0] +1*x3091[=0] +1*x3092[=0] +1*x3093[=0] +1*x3094[=0] +1*x3095[=0] +1*x3096[=0] +1*x3097[=0] +1*x3098[=0] +1*x3099[=0] +1*x3100[=0] +1*x3101[=0] +1*x3102[=0] +1*x3103[=0] +1*x3104[=0] +1*x3105[=0] +1*x3106[=0] +1*x3107[=0] +1*x3108[=0] +1*x3109[=0] +1*x3110[=0] +1*x3111[=0] +1*x3112[=0] +1*x3113[=0] +1*x3114[=0] +1*x3115[=0] +1*x3116[=0] +1*x3117[=0] +1*x3118[=0] +1*x3119[=0] +1*x3120[=0] +1*x3121[=0] +1*x3122[=0] +1*x3123[=0] +1*x3124[=0] +1*x3125[=0] +1*x3126[=0] +1*x3127[=0] +1*x3128[=0] +1*x3129[=0] +1*x3130[=0] +1*x3131[=0] +1*x3132[=0] +1*x3133[=0] +1*x3134[=0] +1*x3135[=0] +1*x3136[=0] +1*x3137[=0] +1*x3138[=0] +1*x3139[=0] +1*x3140[=0] +1*x3141[=0] +1*x3142[=0] +1*x3143[=0] +1*x3144[=0] +1*x3145[=0] +1*x3146[=0] +1*x3147[=0] +1*x3148[=0] +1*x3149[=0] +1*x3150[=0] +1*x3151[=0] +1*x3152[=0] +1*x3153[=0] +1*x3154[=0] +1*x3155[=0] +1*x3156[=0] +1*x3157[=0] +1*x3158[=0] +1*x3159[=0] +1*x3160[=0] +1*x3161[=0] +1*x3162[=0] +1*x3163[=0] +1*x3164[=0] +1*x3165[=0] +1*x3166[=0] +1*x3167[=0] +1*x3168[=0] +1*x3169[=0] +1*x3170[=0] +1*x3171[=0] +1*x3172[=0] +1*x3173[=0] +1*x3174[=0] +1*x3175[=0] +1*x3176[=0] +1*x3177[=0] +1*x3178[=0] +1*x3179[=0] +1*x3180[=0] +1*x3181[=0] +1*x3182[=1] +1*x3183[=0] +1*x3184[=0] +1*x3185[=0] +1*x3186[=0] +1*x3187[=0] +1*x3188[=0] +1*x3189[=0] +1*x3190[=0] +1*x3191[=0] +1*x3192[=0] +1*x3193[=0] +1*x3194[=0] +1*x3195[=0] +1*x3196[=0] +1*x3197[=0] +1*x3198[=0] +1*x3199[=0] +1*x3200[=0] +1*x3201[=0] +1*x3202[=0] +1*x3203[=0] +1*x3204[=0] +1*x3205[=0] +1*x3206[=0] +1*x3207[=0] +1*x3208[=0] +1*x3209[=0] +1*x3210[=0] +1*x3211[=0] +1*x3212[=0] +1*x3213[=0] +1*x3214[=0] +1*x3215[=0] +1*x3216[=0] +1*x3217[=0] +1*x3218[=0] +1*x3219[=0] +1*x3220[=0] +1*x3221[=0] +1*x3222[=0] +1*x3223[=0] +1*x3224[=0] +1*x3225[=0] +1*x3226[=0] +1*x3227[=0] +1*x3228[=0] +1*x3229[=0] +1*x3230[=0] +1*x3231[=0] +1*x3232[=0] +1*x3233[=0] +1*x3234[=0] +1*x3235[=0] +1*x3236[=0] +1*x3237[=0] +1*x3238[=0] +1*x3239[=0] +1*x3240[=0] +1*x3241[=0] +1*x3242[=0] +1*x3243[=0] +1*x3244[=0] +1*x3245[=0] +1*x3246[=0] +1*x3247[=0] +1*x3248[=0] +1*x3249[=0] +1*x3250[=0] +1*x3251[=0] +1*x3252[=0] +1*x3253[=0] +1*x3254[=0] +1*x3255[=0] +1*x3256[=0] +1*x3257[=0] +1*x3258[=0] +1*x3259[=0] +1*x3260[=0] +1*x3261[=0] +1*x3262[=0] +1*x3263[=0] +1*x3264[=0] +1*x3265[=0] +1*x3266[=0] +1*x3267[=0] +1*x3268[=0] +1*x3269[=0] +1*x3270[=0] +1*x3271[=0] +1*x3272[=0] +1*x3273[=0] +1*x3274[=1] +1*x3275[=0] +1*x3276[=0] +1*x3277[=0] +1*x3278[=0] +1*x3279[=0] +1*x3280[=0] +1*x3281[=0] +1*x3282[=0] +1*x3283[=0] +1*x3284[=0] +1*x3285[=0] +1*x3286[=0] +1*x3287[=0] +1*x3288[=0] +1*x3289[=0] +1*x3290[=0] +1*x3291[=0] +1*x3292[=0] +1*x3293[=0] +1*x3294[=0] +1*x3295[=0] +1*x3296[=0] +1*x3297[=0] +1*x3298[=0] +1*x3299[=0] +1*x3300[=0] +1*x3301[=0] +1*x3302[=0] +1*x3303[=0] +1*x3304[=0] +1*x3305[=0] +1*x3306[=0] +1*x3307[=0] +1*x3308[=0] +1*x3309[=0] +1*x3310[=0] +1*x3311[=0] +1*x3312[=0] +1*x3313[=0] +1*x3314[=0] +1*x3315[=0] +1*x3316[=0] +1*x3317[=0] +1*x3318[=0] +1*x3319[=0] +1*x3320[=0] +1*x3321[=0] +1*x3322[=0] +1*x3323[=1] +1*x3324[=0] +1*x3325[=0] +1*x3326[=0] +1*x3327[=0] +1*x3328[=0] +1*x3329[=0] +1*x3330[=0] +1*x3331[=0] +1*x3332[=0] +1*x3333[=0] +1*x3334[=0] +1*x3335[=0] +1*x3336[=0] +1*x3337[=0] +1*x3338[=0] +1*x3339[=0] +1*x3340[=0] +1*x3341[=0] +1*x3342[=0] +1*x3343[=0] +1*x3344[=0] +1*x3345[=0] +1*x3346[=0] +1*x3347[=0] +1*x3348[=0] +1*x3349[=0] +1*x3350[=0] +1*x3351[=0] +1*x3352[=0] +1*x3353[=0] +1*x3354[=0] +1*x3355[=0] +1*x3356[=0] +1*x3357[=0] +1*x3358[=0] +1*x3359[=0] +1*x3360[=0] +1*x3361[=0] +1*x3362[=0] +1*x3363[=0] +1*x3364[=0] +1*x3365[=0] +1*x3366[=0] +1*x3367[=0] +1*x3368[=0] +1*x3369[=0] +1*x3370[=0] +1*x3371[=0] +1*x3372[=0] +1*x3373[=0] +1*x3374[=0] +1*x3375[=0] +1*x3376[=0] +1*x3377[=0] +1*x3378[=0] +1*x3379[=0] +1*x3380[=0] +1*x3381[=0] +1*x3382[=0] +1*x3383[=0] +1*x3384[=0] +1*x3385[=0] +1*x3386[=0] +1*x3387[=0] +1*x3388[=0] +1*x3389[=0] +1*x3390[=0] +1*x3391[=0] +1*x3392[=0] +1*x3393[=0] +1*x3394[=0] +1*x3395[=0] +1*x3396[=0] +1*x3397[=0] +1*x3398[=0] +1*x3399[=0] +1*x3400[=0] +1*x3401[=0] +1*x3402[=0] +1*x3403[=0] +1*x3404[=0] +1*x3405[=0] +1*x3406[=0] +1*x3407[=0] +1*x3408[=0] +1*x3409[=0] +1*x3410[=0] +1*x3411[=0] +1*x3412[=0] +1*x3413[=0] +1*x3414[=0] +1*x3415[=0] +1*x3416[=0] +1*x3417[=0] +1*x3418[=0] +1*x3419[=0] +1*x3420[=0] +1*x3421[=0] +1*x3422[=0] +1*x3423[=0] +1*x3424[=0] +1*x3425[=0] +1*x3426[=1] +1*x3427[=0] +1*x3428[=0] +1*x3429[=0] +1*x3430[=0] +1*x3431[=0] +1*x3432[=0] +1*x3433[=0] +1*x3434[=0] +1*x3435[=0] +1*x3436[=0] +1*x3437[=0] +1*x3438[=0] +1*x3439[=0] +1*x3440[=0] +1*x3441[=0] +1*x3442[=0] +1*x3443[=0] +1*x3444[=0] +1*x3445[=0] +1*x3446[=0] +1*x3447[=1] +1*x3448[=0] +1*x3449[=0] +1*x3450[=0] +1*x3451[=0] +1*x3452[=0] +1*x3453[=0] +1*x3454[=0] +1*x3455[=0] +1*x3456[=0] +1*x3457[=0] +1*x3458[=0] +1*x3459[=0] +1*x3460[=0] +1*x3461[=0] +1*x3462[=0] +1*x3463[=0] +1*x3464[=0] +1*x3465[=0] +1*x3466[=0] +1*x3467[=0] +1*x3468[=0] +1*x3469[=0] +1*x3470[=0] +1*x3471[=0] +1*x3472[=0] +1*x3473[=0] +1*x3474[=0] +1*x3475[=0] +1*x3476[=0] +1*x3477[=0] +1*x3478[=0] +1*x3479[=0] +1*x3480[=0] +1*x3481[=0] +1*x3482[=0] +1*x3483[=0] +1*x3484[=0] +1*x3485[=0] +1*x3486[=0] +1*x3487[=0] +1*x3488[=0] +1*x3489[=0] +1*x3490[=0] +1*x3491[=0] +1*x3492[=0] +1*x3493[=0] +1*x3494[=0] +1*x3495[=0] +1*x3496[=0] +1*x3497[=0] +1*x3498[=0] +1*x3499[=0] +1*x3500[=0] +1*x3501[=0] +1*x3502[=0] +1*x3503[=0] +1*x3504[=0] +1*x3505[=0] +1*x3506[=0] +1*x3507[=0] +1*x3508[=0] +1*x3509[=0] +1*x3510[=0] +1*x3511[=0] +1*x3512[=0] +1*x3513[=0] +1*x3514[=0] +1*x3515[=0] +1*x3516[=0] +1*x3517[=0] +1*x3518[=0] +1*x3519[=0] +1*x3520[=0] +1*x3521[=0] +1*x3522[=0] +1*x3523[=0] +1*x3524[=0] +1*x3525[=0] +1*x3526[=0] +1*x3527[=0] +1*x3528[=0] +1*x3529[=0] +1*x3530[=0] +1*x3531[=0] +1*x3532[=0] +1*x3533[=0] +1*x3534[=0] +1*x3535[=0] +1*x3536[=0] +1*x3537[=0] +1*x3538[=0] +1*x3539[=0] +1*x3540[=0] +1*x3541[=0] +1*x3542[=0] +1*x3543[=0] +1*x3544[=0] +1*x3545[=0] +1*x3546[=0] +1*x3547[=0] +1*x3548[=0] +1*x3549[=0] +1*x3550[=1] +1*x3551[=0] +1*x3552[=0] +1*x3553[=0] +1*x3554[=0] +1*x3555[=0] +1*x3556[=0] +1*x3557[=0] +1*x3558[=0] +1*x3559[=0] +1*x3560[=0] +1*x3561[=0] +1*x3562[=0] +1*x3563[=0] +1*x3564[=0] +1*x3565[=0] +1*x3566[=0] +1*x3567[=0] +1*x3568[=0] +1*x3569[=0] +1*x3570[=0] +1*x3571[=0] +1*x3572[=0] +1*x3573[=0] +1*x3574[=0] +1*x3575[=0] +1*x3576[=0] +1*x3577[=0] +1*x3578[=0] +1*x3579[=0] +1*x3580[=0] +1*x3581[=0] +1*x3582[=0] +1*x3583[=0] +1*x3584[=0] +1*x3585[=0] +1*x3586[=0] +1*x3587[=0] +1*x3588[=0] +1*x3589[=0] +1*x3590[=0] +1*x3591[=0] +1*x3592[=0] +1*x3593[=0] +1*x3594[=0] +1*x3595[=0] +1*x3596[=0] +1*x3597[=0] +1*x3598[=0] +1*x3599[=0] +1*x3600[=0] +1*x3601[=0] +1*x3602[=0] +1*x3603[=0] +1*x3604[=0] +1*x3605[=0] +1*x3606[=0] +1*x3607[=0] +1*x3608[=0] +1*x3609[=0] +1*x3610[=0] +1*x3611[=0] +1*x3612[=0] +1*x3613[=0] +1*x3614[=0] +1*x3615[=0] +1*x3616[=0] +1*x3617[=0] +1*x3618[=0] +1*x3619[=0] +1*x3620[=0] +1*x3621[=0] +1*x3622[=0] +1*x3623[=0] +1*x3624[=0] +1*x3625[=0] +1*x3626[=0] +1*x3627[=0] +1*x3628[=0] +1*x3629[=0] +1*x3630[=0] +1*x3631[=0] +1*x3632[=0] +1*x3633[=0] +1*x3634[=0] +1*x3635[=0] +1*x3636[=0] +1*x3637[=0] +1*x3638[=0] +1*x3639[=0] +1*x3640[=0] +1*x3641[=0] +1*x3642[=0] +1*x3643[=0] +1*x3644[=0] +1*x3645[=0] +1*x3646[=0] +1*x3647[=0] +1*x3648[=0] +1*x3649[=0] +1*x3650[=0] +1*x3651[=0] +1*x3652[=0] +1*x3653[=0] +1*x3654[=0] +1*x3655[=0] +1*x3656[=0] +1*x3657[=0] +1*x3658[=0] +1*x3659[=0] +1*x3660[=0] +1*x3661[=0] +1*x3662[=0] +1*x3663[=0] +1*x3664[=0] +1*x3665[=0] +1*x3666[=0] +1*x3667[=0] +1*x3668[=0] +1*x3669[=0] +1*x3670[=0] +1*x3671[=0] +1*x3672[=0] +1*x3673[=0] +1*x3674[=0] +1*x3675[=0] +1*x3676[=0] +1*x3677[=1] +1*x3678[=0] +1*x3679[=0] +1*x3680[=0] +1*x3681[=0] +1*x3682[=0] +1*x3683[=0] +1*x3684[=0] +1*x3685[=0] +1*x3686[=0] +1*x3687[=0] +1*x3688[=0] +1*x3689[=0] +1*x3690[=0] +1*x3691[=0] +1*x3692[=0] +1*x3693[=0] +1*x3694[=0] +1*x3695[=0] +1*x3696[=1] +1*x3697[=0] +1*x3698[=0] +1*x3699[=0] +1*x3700[=0] +1*x3701[=0] +1*x3702[=0] +1*x3703[=0] +1*x3704[=0] +1*x3705[=0] +1*x3706[=0] +1*x3707[=0] +1*x3708[=0] +1*x3709[=0] +1*x3710[=0] +1*x3711[=0] +1*x3712[=0] +1*x3713[=0] +1*x3714[=0] +1*x3715[=0] +1*x3716[=0] +1*x3717[=0] +1*x3718[=0] +1*x3719[=0] +1*x3720[=0] +1*x3721[=0] +1*x3722[=0] +1*x3723[=0] +1*x3724[=0] +1*x3725[=0] +1*x3726[=0] +1*x3727[=0] +1*x3728[=0] +1*x3729[=0] +1*x3730[=0] +1*x3731[=0] +1*x3732[=0] +1*x3733[=0] +1*x3734[=0] +1*x3735[=0] +1*x3736[=0] +1*x3737[=0] +1*x3738[=0] +1*x3739[=0] +1*x3740[=0] +1*x3741[=0] +1*x3742[=0] +1*x3743[=0] +1*x3744[=0] +1*x3745[=0] +1*x3746[=0] +1*x3747[=0] +1*x3748[=0] +1*x3749[=0] +1*x3750[=0] +1*x3751[=0] +1*x3752[=0] +1*x3753[=0] +1*x3754[=0] +1*x3755[=0] +1*x3756[=0] +1*x3757[=0] +1*x3758[=0] +1*x3759[=0] +1*x3760[=0] +1*x3761[=0] +1*x3762[=0] +1*x3763[=0] +1*x3764[=0] +1*x3765[=0] +1*x3766[=0] +1*x3767[=0] +1*x3768[=0] +1*x3769[=0] +1*x3770[=0] +1*x3771[=0] +1*x3772[=0] +1*x3773[=0] +1*x3774[=0] +1*x3775[=0] +1*x3776[=0] +1*x3777[=0] +1*x3778[=0] +1*x3779[=0] +1*x3780[=0] +1*x3781[=0] +1*x3782[=0] +1*x3783[=0] +1*x3784[=0] +1*x3785[=0] +1*x3786[=1] +1*x3787[=0] +1*x3788[=0] +1*x3789[=0] +1*x3790[=0] +1*x3791[=0] +1*x3792[=0] +1*x3793[=0] +1*x3794[=0] +1*x3795[=0] +1*x3796[=0] +1*x3797[=0] +1*x3798[=0] +1*x3799[=0] +1*x3800[=0] +1*x3801[=0] +1*x3802[=0] +1*x3803[=0] +1*x3804[=0] +1*x3805[=0] +1*x3806[=0] +1*x3807[=0] +1*x3808[=0] +1*x3809[=0] +1*x3810[=0] +1*x3811[=0] +1*x3812[=0] +1*x3813[=0] +1*x3814[=0] +1*x3815[=0] +1*x3816[=0] +1*x3817[=0] +1*x3818[=0] +1*x3819[=0] +1*x3820[=0] +1*x3821[=0] +1*x3822[=0] +1*x3823[=0] +1*x3824[=0] +1*x3825[=0] +1*x3826[=0] +1*x3827[=0] +1*x3828[=0] +1*x3829[=0] +1*x3830[=0] +1*x3831[=0] +1*x3832[=0] +1*x3833[=0] +1*x3834[=0] +1*x3835[=0] +1*x3836[=0] +1*x3837[=0] +1*x3838[=0] +1*x3839[=0] +1*x3840[=0] +1*x3841[=0] +1*x3842[=0] +1*x3843[=0] +1*x3844[=0] +1*x3845[=0] +1*x3846[=0] +1*x3847[=0] +1*x3848[=0] +1*x3849[=0] +1*x3850[=0] +1*x3851[=0] +1*x3852[=0] +1*x3853[=0] +1*x3854[=0] +1*x3855[=0] +1*x3856[=0] +1*x3857[=0] +1*x3858[=0] +1*x3859[=0] +1*x3860[=0] +1*x3861[=0] +1*x3862[=0] +1*x3863[=0] +1*x3864[=0] +1*x3865[=0] +1*x3866[=0] +1*x3867[=0] +1*x3868[=0] +1*x3869[=0] +1*x3870[=0] +1*x3871[=0] +1*x3872[=0] +1*x3873[=0] +1*x3874[=0] +1*x3875[=0] +1*x3876[=0] +1*x3877[=0] +1*x3878[=0] +1*x3879[=0] +1*x3880[=0] +1*x3881[=0] +1*x3882[=0] +1*x3883[=0] +1*x3884[=0] +1*x3885[=0] +1*x3886[=0] +1*x3887[=0] +1*x3888[=0] +1*x3889[=0] +1*x3890[=0] +1*x3891[=0] +1*x3892[=0] +1*x3893[=0] +1*x3894[=0] +1*x3895[=1] +1*x3896[=0] +1*x3897[=0] +1*x3898[=0] +1*x3899[=0] +1*x3900[=0] +1*x3901[=0] +1*x3902[=0] +1*x3903[=0] +1*x3904[=0] +1*x3905[=0] +1*x3906[=0] +1*x3907[=0] +1*x3908[=0] +1*x3909[=0] +1*x3910[=0] +1*x3911[=0] +1*x3912[=0] +1*x3913[=0] +1*x3914[=0] +1*x3915[=0] +1*x3916[=0] +1*x3917[=0] +1*x3918[=0] +1*x3919[=0] +1*x3920[=0] +1*x3921[=0] +1*x3922[=0] +1*x3923[=0] +1*x3924[=0] +1*x3925[=0] +1*x3926[=0] +1*x3927[=0] +1*x3928[=0] +1*x3929[=0] +1*x3930[=0] +1*x3931[=0] +1*x3932[=0] +1*x3933[=0] +1*x3934[=1] +1*x3935[=0] +1*x3936[=0] +1*x3937[=0] +1*x3938[=0] +1*x3939[=0] +1*x3940[=0] +1*x3941[=0] +1*x3942[=0] +1*x3943[=0] +1*x3944[=0] +1*x3945[=0] +1*x3946[=0] +1*x3947[=0] +1*x3948[=0] +1*x3949[=0] +1*x3950[=0] +1*x3951[=0] +1*x3952[=0] +1*x3953[=0] +1*x3954[=0] +1*x3955[=0] +1*x3956[=0] +1*x3957[=0] +1*x3958[=0] +1*x3959[=0] +1*x3960[=0] +1*x3961[=0] +1*x3962[=0] +1*x3963[=0] +1*x3964[=0] +1*x3965[=0] +1*x3966[=0] +1*x3967[=0] +1*x3968[=0] +1*x3969[=0] +1*x3970[=0] +1*x3971[=0] +1*x3972[=0] +1*x3973[=0] +1*x3974[=0] +1*x3975[=0] +1*x3976[=0] +1*x3977[=0] +1*x3978[=0] +1*x3979[=0] +1*x3980[=0] +1*x3981[=0] +1*x3982[=0] +1*x3983[=0] +1*x3984[=0] +1*x3985[=0] +1*x3986[=0] +1*x3987[=0] +1*x3988[=0] +1*x3989[=0] +1*x3990[=0] +1*x3991[=0] +1*x3992[=0] +1*x3993[=0] +1*x3994[=0] +1*x3995[=0] +1*x3996[=0] +1*x3997[=0] +1*x3998[=0] +1*x3999[=0] +1*x4000[=0] +1*x4001[=0] +1*x4002[=0] +1*x4003[=0] +1*x4004[=0] +1*x4005[=0] +1*x4006[=0] +1*x4007[=0] +1*x4008[=0] +1*x4009[=0] +1*x4010[=0] +1*x4011[=0] +1*x4012[=0] +1*x4013[=0] +1*x4014[=0] +1*x4015[=0] +1*x4016[=0] +1*x4017[=0] +1*x4018[=0] +1*x4019[=0] +1*x4020[=0] +1*x4021[=0] +1*x4022[=0] +1*x4023[=0] +1*x4024[=0] +1*x4025[=0] +1*x4026[=0] +1*x4027[=0] +1*x4028[=0] +1*x4029[=0] +1*x4030[=0] +1*x4031[=0] +1*x4032[=0] +1*x4033[=0] +1*x4034[=0] +1*x4035[=0] +1*x4036[=0] +1*x4037[=0] +1*x4038[=0] +1*x4039[=0] +1*x4040[=0] +1*x4041[=0] +1*x4042[=0] +1*x4043[=0] +1*x4044[=0] +1*x4045[=0] +1*x4046[=0] +1*x4047[=0] +1*x4048[=0] +1*x4049[=0] +1*x4050[=0] +1*x4051[=0] +1*x4052[=0] +1*x4053[=0] +1*x4054[=0] +1*x4055[=0] +1*x4056[=0] +1*x4057[=0] +1*x4058[=0] +1*x4059[=0] +1*x4060[=0] +1*x4061[=0] +1*x4062[=0] +1*x4063[=0] +1*x4064[=0] +1*x4065[=0] +1*x4066[=0] +1*x4067[=0] +1*x4068[=0] +1*x4069[=1] +1*x4070[=0] +1*x4071[=0] +1*x4072[=0] +1*x4073[=0] +1*x4074[=0] +1*x4075[=0] +1*x4076[=0] +1*x4077[=0] +1*x4078[=0] +1*x4079[=0] +1*x4080[=0] +1*x4081[=0] +1*x4082[=0] +1*x4083[=0] +1*x4084[=0] +1*x4085[=0] +1*x4086[=0] +1*x4087[=0] +1*x4088[=0] +1*x4089[=0] +1*x4090[=0] +1*x4091[=0] +1*x4092[=0] +1*x4093[=0] +1*x4094[=0] +1*x4095[=0] +1*x4096[=0] +1*x4097[=0] +1*x4098[=0] +1*x4099[=0] +1*x4100[=0] +1*x4101[=0] +1*x4102[=0] +1*x4103[=0] +1*x4104[=0] +1*x4105[=0] +1*x4106[=0] +1*x4107[=0] +1*x4108[=0] +1*x4109[=0] +1*x4110[=0] +1*x4111[=0] +1*x4112[=0] +1*x4113[=0] +1*x4114[=0] +1*x4115[=0] +1*x4116[=1] +1*x4117[=0] +1*x4118[=0] +1*x4119[=0] +1*x4120[=0] +1*x4121[=0] +1*x4122[=0] +1*x4123[=0] +1*x4124[=0] +1*x4125[=0] +1*x4126[=0] +1*x4127[=0] +1*x4128[=0] +1*x4129[=0] +1*x4130[=0] +1*x4131[=0] +1*x4132[=0] +1*x4133[=0] +1*x4134[=0] +1*x4135[=0] +1*x4136[=0] +1*x4137[=0] +1*x4138[=0] +1*x4139[=0] +1*x4140[=0] +1*x4141[=0] +1*x4142[=0] +1*x4143[=0] +1*x4144[=0] +1*x4145[=0] +1*x4146[=0] +1*x4147[=0] +1*x4148[=0] +1*x4149[=0] +1*x4150[=0] +1*x4151[=0] +1*x4152[=0] +1*x4153[=0] +1*x4154[=0] +1*x4155[=0] +1*x4156[=0] +1*x4157[=0] +1*x4158[=0] +1*x4159[=0] +1*x4160[=0] +1*x4161[=0] +1*x4162[=0] +1*x4163[=0] +1*x4164[=0] +1*x4165[=0] +1*x4166[=0] +1*x4167[=0] +1*x4168[=0] +1*x4169[=0] +1*x4170[=0] +1*x4171[=0] +1*x4172[=0] +1*x4173[=0] +1*x4174[=0] +1*x4175[=0] +1*x4176[=0] +1*x4177[=0] +1*x4178[=0] +1*x4179[=0] +1*x4180[=0] +1*x4181[=0] +1*x4182[=0] +1*x4183[=0] +1*x4184[=0] +1*x4185[=0] +1*x4186[=0] +1*x4187[=0] +1*x4188[=0] +1*x4189[=0] +1*x4190[=0] +1*x4191[=0] +1*x4192[=0] +1*x4193[=0] +1*x4194[=0] +1*x4195[=0] +1*x4196[=0] +1*x4197[=0] +1*x4198[=0] +1*x4199[=0] +1*x4200[=0] +1*x4201[=0] +1*x4202[=0] +1*x4203[=0] +1*x4204[=0] +1*x4205[=0] +1*x4206[=0] +1*x4207[=0] +1*x4208[=0] +1*x4209[=0] +1*x4210[=0] +1*x4211[=0] +1*x4212[=0] +1*x4213[=0] +1*x4214[=0] +1*x4215[=0] +1*x4216[=0] +1*x4217[=0] +1*x4218[=0] +1*x4219[=0] +1*x4220[=0] +1*x4221[=0] +1*x4222[=0] +1*x4223[=0] +1*x4224[=0] +1*x4225[=0] +1*x4226[=0] +1*x4227[=0] +1*x4228[=0] +1*x4229[=0] +1*x4230[=0] +1*x4231[=0] +1*x4232[=0] +1*x4233[=0] +1*x4234[=0] +1*x4235[=0] +1*x4236[=0] +1*x4237[=0] +1*x4238[=0] +1*x4239[=0] +1*x4240[=1] +1*x4241[=1] +1*x4242[=0] +1*x4243[=0] +1*x4244[=0] +1*x4245[=0] +1*x4246[=0] +1*x4247[=0] +1*x4248[=0] +1*x4249[=0] +1*x4250[=0] +1*x4251[=0] +1*x4252[=0] +1*x4253[=0] +1*x4254[=0] +1*x4255[=0] +1*x4256[=0] +1*x4257[=0] +1*x4258[=0] +1*x4259[=0] +1*x4260[=0] +1*x4261[=0] +1*x4262[=0] +1*x4263[=0] +1*x4264[=0] +1*x4265[=0] +1*x4266[=0] +1*x4267[=0] +1*x4268[=0] +1*x4269[=0] +1*x4270[=0] +1*x4271[=0] +1*x4272[=0] +1*x4273[=0] +1*x4274[=0] +1*x4275[=0] +1*x4276[=0] +1*x4277[=0] +1*x4278[=0] +1*x4279[=0] +1*x4280[=0] +1*x4281[=0] +1*x4282[=0] +1*x4283[=0] +1*x4284[=0] +1*x4285[=0] +1*x4286[=0] +1*x4287[=0] +1*x4288[=0] +1*x4289[=0] +1*x4290[=0] +1*x4291[=0] +1*x4292[=0] +1*x4293[=0] +1*x4294[=0] +1*x4295[=0] +1*x4296[=0] +1*x4297[=0] +1*x4298[=0] +1*x4299[=0] +1*x4300[=0] +1*x4301[=0] +1*x4302[=0] +1*x4303[=0] +1*x4304[=0] +1*x4305[=0] +1*x4306[=0] +1*x4307[=0] +1*x4308[=0] +1*x4309[=0] +1*x4310[=0] +1*x4311[=0] +1*x4312[=0] +1*x4313[=0] +1*x4314[=0] +1*x4315[=0] +1*x4316[=0] +1*x4317[=0] +1*x4318[=0] +1*x4319[=0] +1*x4320[=0] +1*x4321[=0] +1*x4322[=0] +1*x4323[=0] +1*x4324[=0] +1*x4325[=0] +1*x4326[=0] +1*x4327[=0] +1*x4328[=0] +1*x4329[=0] +1*x4330[=0] +1*x4331[=0] +1*x4332[=0] +1*x4333[=0] +1*x4334[=0] +1*x4335[=0] +1*x4336[=0] +1*x4337[=0] +1*x4338[=0] +1*x4339[=0] +1*x4340[=0] +1*x4341[=0] +1*x4342[=0] +1*x4343[=0] +1*x4344[=0] +1*x4345[=1] +1*x4346[=0] +1*x4347[=0] +1*x4348[=0] +1*x4349[=0] +1*x4350[=0] +1*x4351[=0] +1*x4352[=0] +1*x4353[=0] +1*x4354[=0] +1*x4355[=0] +1*x4356[=0] +1*x4357[=0] +1*x4358[=0] +1*x4359[=0] +1*x4360[=0] +1*x4361[=0] +1*x4362[=0] +1*x4363[=0] +1*x4364[=0] +1*x4365[=0] +1*x4366[=0] +1*x4367[=0] +1*x4368[=0] +1*x4369[=0] +1*x4370[=0] +1*x4371[=0] +1*x4372[=0] +1*x4373[=0] +1*x4374[=0] +1*x4375[=0] +1*x4376[=0] +1*x4377[=0] +1*x4378[=0] +1*x4379[=0] +1*x4380[=0] +1*x4381[=0] +1*x4382[=0] +1*x4383[=0] +1*x4384[=0] +1*x4385[=0] +1*x4386[=0] +1*x4387[=0] +1*x4388[=0] +1*x4389[=0] +1*x4390[=0] +1*x4391[=0] +1*x4392[=0] +1*x4393[=0] +1*x4394[=0] +1*x4395[=0] +1*x4396[=0] +1*x4397[=0] +1*x4398[=0] +1*x4399[=0] +1*x4400[=0] +1*x4401[=0] +1*x4402[=0] +1*x4403[=0] +1*x4404[=0] +1*x4405[=0] +1*x4406[=0] +1*x4407[=0] +1*x4408[=0] +1*x4409[=0] +1*x4410[=0] +1*x4411[=0] +1*x4412[=0] +1*x4413[=0] +1*x4414[=0] +1*x4415[=0] +1*x4416[=0] +1*x4417[=0] +1*x4418[=0] +1*x4419[=0] +1*x4420[=0] +1*x4421[=0] +1*x4422[=0] +1*x4423[=0] +1*x4424[=0] +1*x4425[=0] +1*x4426[=0] +1*x4427[=0] +1*x4428[=0] +1*x4429[=0] +1*x4430[=0] +1*x4431[=0] +1*x4432[=0] +1*x4433[=0] +1*x4434[=0] +1*x4435[=0] +1*x4436[=0] +1*x4437[=0] +1*x4438[=0] +1*x4439[=0] +1*x4440[=0] +1*x4441[=0] +1*x4442[=0] +1*x4443[=0] +1*x4444[=0] +1*x4445[=0] +1*x4446[=0] +1*x4447[=0] +1*x4448[=0] +1*x4449[=0] +1*x4450[=0] +1*x4451[=0] +1*x4452[=0] +1*x4453[=0] +1*x4454[=0] +1*x4455[=0] +1*x4456[=0] +1*x4457[=0] +1*x4458[=0] +1*x4459[=0] +1*x4460[=0] +1*x4461[=0] +1*x4462[=0] +1*x4463[=0] +1*x4464[=0] +1*x4465[=0] +1*x4466[=0] +1*x4467[=0] +1*x4468[=1] +1*x4469[=0] +1*x4470[=0] +1*x4471[=0] +1*x4472[=0] +1*x4473[=0] +1*x4474[=0] +1*x4475[=0] +1*x4476[=0] +1*x4477[=0] +1*x4478[=0] +1*x4479[=0] +1*x4480[=0] +1*x4481[=0] +1*x4482[=0] +1*x4483[=0] +1*x4484[=0] +1*x4485[=0] +1*x4486[=0] +1*x4487[=0] +1*x4488[=1] +1*x4489[=0] +1*x4490[=0] +1*x4491[=0] +1*x4492[=0] +1*x4493[=0] +1*x4494[=0] +1*x4495[=0] +1*x4496[=0] +1*x4497[=0] +1*x4498[=0] +1*x4499[=0] +1*x4500[=0] +1*x4501[=0] +1*x4502[=0] +1*x4503[=0] +1*x4504[=0] +1*x4505[=0] +1*x4506[=0] +1*x4507[=0] +1*x4508[=0] +1*x4509[=0] +1*x4510[=0] +1*x4511[=0] +1*x4512[=0] +1*x4513[=0] +1*x4514[=0] +1*x4515[=0] +1*x4516[=0] +1*x4517[=0] +1*x4518[=0] +1*x4519[=0] +1*x4520[=0] +1*x4521[=0] +1*x4522[=0] +1*x4523[=0] +1*x4524[=0] +1*x4525[=0] +1*x4526[=0] +1*x4527[=0] +1*x4528[=0] +1*x4529[=0] +1*x4530[=0] +1*x4531[=0] +1*x4532[=0] +1*x4533[=0] +1*x4534[=0] +1*x4535[=0] +1*x4536[=0] +1*x4537[=0] +1*x4538[=0] +1*x4539[=0] +1*x4540[=0] +1*x4541[=0] +1*x4542[=0] +1*x4543[=0] +1*x4544[=0] +1*x4545[=0] +1*x4546[=0] +1*x4547[=0] +1*x4548[=0] +1*x4549[=0] +1*x4550[=0] +1*x4551[=0] +1*x4552[=0] +1*x4553[=0] +1*x4554[=0] +1*x4555[=0] +1*x4556[=0] +1*x4557[=0] +1*x4558[=0] +1*x4559[=0] +1*x4560[=0] +1*x4561[=0] +1*x4562[=1] +1*x4563[=0] +1*x4564[=0] +1*x4565[=0] +1*x4566[=0] +1*x4567[=0] +1*x4568[=0] +1*x4569[=0] +1*x4570[=0] +1*x4571[=0] +1*x4572[=0] +1*x4573[=0] +1*x4574[=0] +1*x4575[=0] +1*x4576[=0] +1*x4577[=0] +1*x4578[=0] +1*x4579[=0] +1*x4580[=0] +1*x4581[=0] +1*x4582[=0] +1*x4583[=0] +1*x4584[=0] +1*x4585[=0] +1*x4586[=0] +1*x4587[=0] +1*x4588[=0] +1*x4589[=0] +1*x4590[=0] +1*x4591[=0] +1*x4592[=0] +1*x4593[=0] +1*x4594[=0] +1*x4595[=0] +1*x4596[=0] +1*x4597[=0] +1*x4598[=0] +1*x4599[=0] +1*x4600[=0] +1*x4601[=0] +1*x4602[=0] +1*x4603[=0] +1*x4604[=0] +1*x4605[=0] +1*x4606[=0] +1*x4607[=0] +1*x4608[=0] +1*x4609[=0] +1*x4610[=0] +1*x4611[=0] +1*x4612[=0] +1*x4613[=0] +1*x4614[=0] +1*x4615[=0] +1*x4616[=0] +1*x4617[=0] +1*x4618[=0] +1*x4619[=0] +1*x4620[=0] +1*x4621[=0] +1*x4622[=0] +1*x4623[=0] +1*x4624[=0] +1*x4625[=0] +1*x4626[=0] +1*x4627[=0] +1*x4628[=0] +1*x4629[=0] +1*x4630[=0] +1*x4631[=0] +1*x4632[=0] +1*x4633[=0] +1*x4634[=0] +1*x4635[=0] +1*x4636[=0] +1*x4637[=0] +1*x4638[=0] +1*x4639[=0] +1*x4640[=0] +1*x4641[=0] +1*x4642[=0] +1*x4643[=0] +1*x4644[=0] +1*x4645[=0] +1*x4646[=0] +1*x4647[=0] +1*x4648[=0] +1*x4649[=0] +1*x4650[=0] +1*x4651[=0] +1*x4652[=0] +1*x4653[=0] +1*x4654[=0] +1*x4655[=0] +1*x4656[=0] +1*x4657[=0] +1*x4658[=0] +1*x4659[=0] +1*x4660[=0] +1*x4661[=0] +1*x4662[=0] +1*x4663[=0] +1*x4664[=0] +1*x4665[=0] +1*x4666[=0] +1*x4667[=0] +1*x4668[=0] +1*x4669[=0] +1*x4670[=0] +1*x4671[=0] +1*x4672[=1] +1*x4673[=0] +1*x4674[=0] +1*x4675[=0] +1*x4676[=0] +1*x4677[=0] +1*x4678[=0] +1*x4679[=0] +1*x4680[=0] +1*x4681[=0] +1*x4682[=0] +1*x4683[=0] +1*x4684[=0] +1*x4685[=0] +1*x4686[=0] +1*x4687[=0] +1*x4688[=0] +1*x4689[=0] +1*x4690[=0] +1*x4691[=0] +1*x4692[=0] +1*x4693[=0] +1*x4694[=0] +1*x4695[=0] +1*x4696[=0] +1*x4697[=0] +1*x4698[=0] +1*x4699[=0] +1*x4700[=0] +1*x4701[=0] +1*x4702[=0] +1*x4703[=0] +1*x4704[=0] +1*x4705[=0] +1*x4706[=0] +1*x4707[=0] +1*x4708[=0] +1*x4709[=0] +1*x4710[=0] +1*x4711[=0] +1*x4712[=0] +1*x4713[=0] +1*x4714[=0] +1*x4715[=0] +1*x4716[=0] +1*x4717[=0] +1*x4718[=0] +1*x4719[=0] +1*x4720[=0] +1*x4721[=0] +1*x4722[=0] +1*x4723[=0] +1*x4724[=0] +1*x4725[=0] +1*x4726[=0] +1*x4727[=0] +1*x4728[=0] +1*x4729[=0] +1*x4730[=0] +1*x4731[=0] +1*x4732[=0] +1*x4733[=0] +1*x4734[=0] +1*x4735[=0] +1*x4736[=0] +1*x4737[=0] +1*x4738[=0] +1*x4739[=0] +1*x4740[=0] +1*x4741[=0] +1*x4742[=0] +1*x4743[=0] +1*x4744[=0] +1*x4745[=0] +1*x4746[=0] +1*x4747[=0] +1*x4748[=0] +1*x4749[=0] +1*x4750[=0] +1*x4751[=0] +1*x4752[=0] +1*x4753[=0] +1*x4754[=0] +1*x4755[=0] +1*x4756[=0] +1*x4757[=0] +1*x4758[=0] +1*x4759[=0] +1*x4760[=0] +1*x4761[=0] +1*x4762[=0] +1*x4763[=0] +1*x4764[=0] +1*x4765[=0] +1*x4766[=0] +1*x4767[=0] +1*x4768[=0] +1*x4769[=0] +1*x4770[=0] +1*x4771[=0] +1*x4772[=0] +1*x4773[=0] +1*x4774[=0] +1*x4775[=0] +1*x4776[=0] +1*x4777[=0] +1*x4778[=0] +1*x4779[=1] +1*x4780[=0] +1*x4781[=0] +1*x4782[=0] +1*x4783[=0] +1*x4784[=0] +1*x4785[=0] +1*x4786[=0] +1*x4787[=0] +1*x4788[=0] +1*x4789[=0] +1*x4790[=0] +1*x4791[=0] +1*x4792[=0] +1*x4793[=0] +1*x4794[=0] +1*x4795[=0] +1*x4796[=0] +1*x4797[=0] +1*x4798[=0] +1*x4799[=0] +1*x4800[=0] +1*x4801[=0] +1*x4802[=0] +1*x4803[=0] +1*x4804[=0] +1*x4805[=0] +1*x4806[=0] +1*x4807[=0] +1*x4808[=0] +1*x4809[=0] +1*x4810[=0] +1*x4811[=0] +1*x4812[=0] +1*x4813[=0] +1*x4814[=0] +1*x4815[=0] +1*x4816[=0] +1*x4817[=0] +1*x4818[=0] +1*x4819[=0] +1*x4820[=0] +1*x4821[=0] +1*x4822[=0] +1*x4823[=0] +1*x4824[=0] +1*x4825[=0] +1*x4826[=0] +1*x4827[=0] +1*x4828[=0] +1*x4829[=0] +1*x4830[=0] +1*x4831[=0] +1*x4832[=0] +1*x4833[=0] +1*x4834[=0] +1*x4835[=0] +1*x4836[=0] +1*x4837[=0] +1*x4838[=0] +1*x4839[=0] +1*x4840[=0] +1*x4841[=0] +1*x4842[=0] +1*x4843[=0] +1*x4844[=0] +1*x4845[=0] +1*x4846[=0] +1*x4847[=0] +1*x4848[=0] +1*x4849[=0] +1*x4850[=0] +1*x4851[=0] +1*x4852[=0] +1*x4853[=0] +1*x4854[=0] +1*x4855[=0] +1*x4856[=0] +1*x4857[=0] +1*x4858[=0] +1*x4859[=0] +1*x4860[=0] +1*x4861[=0] +1*x4862[=0] +1*x4863[=0] +1*x4864[=0] +1*x4865[=1] +1*x4866[=0] +1*x4867[=0] +1*x4868[=0] +1*x4869[=0] +1*x4870[=0] +1*x4871[=0] +1*x4872[=0] +1*x4873[=0] +1*x4874[=0] +1*x4875[=0] +1*x4876[=0] +1*x4877[=0] +1*x4878[=0] +1*x4879[=0] +1*x4880[=0] +1*x4881[=0] +1*x4882[=0] +1*x4883[=0] +1*x4884[=0] +1*x4885[=0] +1*x4886[=0] +1*x4887[=0] +1*x4888[=0] +1*x4889[=0] +1*x4890[=0] +1*x4891[=0] +1*x4892[=0] +1*x4893[=0] +1*x4894[=0] +1*x4895[=0] +1*x4896[=0] +1*x4897[=0] +1*x4898[=0] +1*x4899[=0] +1*x4900[=0] +1*x4901[=0] +1*x4902[=0] +1*x4903[=0] +1*x4904[=0] +1*x4905[=0] +1*x4906[=0] +1*x4907[=0] +1*x4908[=0] +1*x4909[=0] +1*x4910[=0] +1*x4911[=0] +1*x4912[=0] +1*x4913[=0] +1*x4914[=0] +1*x4915[=0] +1*x4916[=0] +1*x4917[=0] +1*x4918[=0] +1*x4919[=0] +1*x4920[=0] +1*x4921[=0] +1*x4922[=0] +1*x4923[=0] +1*x4924[=1] +1*x4925[=0] +1*x4926[=0] +1*x4927[=0] +1*x4928[=0] +1*x4929[=0] +1*x4930[=0] +1*x4931[=0] +1*x4932[=0] +1*x4933[=0] +1*x4934[=0] +1*x4935[=0] +1*x4936[=0] +1*x4937[=0] +1*x4938[=0] +1*x4939[=0] +1*x4940[=0] +1*x4941[=0] +1*x4942[=0] +1*x4943[=0] +1*x4944[=0] +1*x4945[=0] +1*x4946[=0] +1*x4947[=0] +1*x4948[=0] +1*x4949[=0] +1*x4950[=0] +1*x4951[=0] +1*x4952[=0] +1*x4953[=0] +1*x4954[=0] +1*x4955[=0] +1*x4956[=0] +1*x4957[=0] +1*x4958[=0] +1*x4959[=0] +1*x4960[=0] +1*x4961[=0] +1*x4962[=0] +1*x4963[=0] +1*x4964[=0] +1*x4965[=0] +1*x4966[=0] +1*x4967[=0] +1*x4968[=0] +1*x4969[=0] +1*x4970[=0] +1*x4971[=0] +1*x4972[=0] +1*x4973[=0] +1*x4974[=0] +1*x4975[=0] +1*x4976[=0] +1*x4977[=0] +1*x4978[=0] +1*x4979[=0] +1*x4980[=0] +1*x4981[=0] +1*x4982[=0] +1*x4983[=0] +1*x4984[=0] +1*x4985[=0] +1*x4986[=0] +1*x4987[=0] +1*x4988[=0] +1*x4989[=0] +1*x4990[=0] +1*x4991[=0] +1*x4992[=0] +1*x4993[=0] +1*x4994[=0] +1*x4995[=0] +1*x4996[=0] +1*x4997[=0] +1*x4998[=0] +1*x4999[=0] +1*x5000[=0] +1*x5001[=0] +1*x5002[=0] +1*x5003[=0] +1*x5004[=0] +1*x5005[=0] +1*x5006[=0] +1*x5007[=0] +1*x5008[=0] +1*x5009[=0] +1*x5010[=0] +1*x5011[=0] +1*x5012[=0] +1*x5013[=0] +1*x5014[=0] +1*x5015[=0] +1*x5016[=0] +1*x5017[=0] +1*x5018[=0] +1*x5019[=0] +1*x5020[=0] +1*x5021[=0] +1*x5022[=0] +1*x5023[=0] +1*x5024[=0] +1*x5025[=0] +1*x5026[=0] +1*x5027[=0] +1*x5028[=0] +1*x5029[=0] +1*x5030[=0] +1*x5031[=0] +1*x5032[=0] +1*x5033[=1] +1*x5034[=0] +1*x5035[=0] +1*x5036[=0] +1*x5037[=0] +1*x5038[=0] +1*x5039[=0] +1*x5040[=0] +1*x5041[=0] +1*x5042[=0] +1*x5043[=0] +1*x5044[=0] +1*x5045[=0] +1*x5046[=0] +1*x5047[=0] +1*x5048[=0] +1*x5049[=0] +1*x5050[=0] +1*x5051[=0] +1*x5052[=0] +1*x5053[=0] +1*x5054[=0] +1*x5055[=0] +1*x5056[=0] +1*x5057[=0] +1*x5058[=0] +1*x5059[=0] +1*x5060[=0] +1*x5061[=0] +1*x5062[=1] +1*x5063[=0] +1*x5064[=0] +1*x5065[=0] +1*x5066[=0] +1*x5067[=0] +1*x5068[=0] +1*x5069[=0] +1*x5070[=0] +1*x5071[=0] +1*x5072[=0] +1*x5073[=0] +1*x5074[=0] +1*x5075[=0] +1*x5076[=0] +1*x5077[=0] +1*x5078[=0] +1*x5079[=0] +1*x5080[=0] +1*x5081[=0] +1*x5082[=0] +1*x5083[=0] +1*x5084[=0] +1*x5085[=0] +1*x5086[=0] +1*x5087[=0] +1*x5088[=0] +1*x5089[=0] +1*x5090[=0] +1*x5091[=0] +1*x5092[=0] +1*x5093[=0] +1*x5094[=0] +1*x5095[=0] +1*x5096[=0] +1*x5097[=0] +1*x5098[=0] +1*x5099[=0] +1*x5100[=0] +1*x5101[=0] +1*x5102[=0] +1*x5103[=0] +1*x5104[=0] +1*x5105[=0] +1*x5106[=0] +1*x5107[=0] +1*x5108[=0] +1*x5109[=0] +1*x5110[=0] +1*x5111[=0] +1*x5112[=0] +1*x5113[=0] +1*x5114[=0] +1*x5115[=0] +1*x5116[=0] +1*x5117[=0] +1*x5118[=0] +1*x5119[=0] +1*x5120[=0] +1*x5121[=0] +1*x5122[=0] +1*x5123[=1] +1*x5124[=0] +1*x5125[=0] +1*x5126[=0] +1*x5127[=0] +1*x5128[=0] +1*x5129[=0] +1*x5130[=0] +1*x5131[=0] +1*x5132[=0] +1*x5133[=0] +1*x5134[=0] +1*x5135[=0] +1*x5136[=0] +1*x5137[=0] +1*x5138[=0] +1*x5139[=0] +1*x5140[=0] +1*x5141[=0] +1*x5142[=0] +1*x5143[=0] +1*x5144[=0] +1*x5145[=0] +1*x5146[=0] +1*x5147[=0] +1*x5148[=0] +1*x5149[=0] +1*x5150[=0] +1*x5151[=0] +1*x5152[=0] +1*x5153[=0] +1*x5154[=0] +1*x5155[=0] +1*x5156[=0] +1*x5157[=0] +1*x5158[=0] +1*x5159[=0] +1*x5160[=0] +1*x5161[=0] +1*x5162[=0] +1*x5163[=0] +1*x5164[=0] +1*x5165[=0] +1*x5166[=0] +1*x5167[=0] +1*x5168[=0] +1*x5169[=0] +1*x5170[=0] +1*x5171[=0] +1*x5172[=0] +1*x5173[=0] +1*x5174[=0] +1*x5175[=0] +1*x5176[=0] +1*x5177[=0] +1*x5178[=0] +1*x5179[=0] +1*x5180[=0] +1*x5181[=0] +1*x5182[=0] +1*x5183[=0] +1*x5184[=0] +1*x5185[=0] +1*x5186[=0] +1*x5187[=0] +1*x5188[=0] +1*x5189[=0] +1*x5190[=0] +1*x5191[=0] +1*x5192[=0] +1*x5193[=0] +1*x5194[=0] +1*x5195[=0] +1*x5196[=0] +1*x5197[=0] +1*x5198[=0] +1*x5199[=0] +1*x5200[=0] +1*x5201[=0] +1*x5202[=0] +1*x5203[=0] +1*x5204[=0] +1*x5205[=0] +1*x5206[=0] +1*x5207[=0] +1*x5208[=0] +1*x5209[=0] +1*x5210[=0] +1*x5211[=0] +1*x5212[=0] +1*x5213[=0] +1*x5214[=0] +1*x5215[=0] +1*x5216[=0] +1*x5217[=0] +1*x5218[=0] +1*x5219[=0] +1*x5220[=0] +1*x5221[=0] +1*x5222[=0] +1*x5223[=0] +1*x5224[=0] +1*x5225[=0] +1*x5226[=0] +1*x5227[=0] +1*x5228[=0] +1*x5229[=0] +1*x5230[=0] +1*x5231[=0] +1*x5232[=0] +1*x5233[=0] +1*x5234[=0] +1*x5235[=0] +1*x5236[=0] +1*x5237[=1] +1*x5238[=0] +1*x5239[=0] +1*x5240[=0] +1*x5241[=0] +1*x5242[=0] +1*x5243[=0] +1*x5244[=0] +1*x5245[=0] +1*x5246[=0] +1*x5247[=0] +1*x5248[=0] +1*x5249[=0] +1*x5250[=0] +1*x5251[=0] +1*x5252[=0] +1*x5253[=0] +1*x5254[=0] +1*x5255[=0] +1*x5256[=0] +1*x5257[=0] +1*x5258[=0] +1*x5259[=0] +1*x5260[=0] +1*x5261[=0] +1*x5262[=0] +1*x5263[=0] +1*x5264[=0] +1*x5265[=0] +1*x5266[=0] +1*x5267[=0] +1*x5268[=0] +1*x5269[=0] +1*x5270[=0] +1*x5271[=0] +1*x5272[=0] +1*x5273[=0] +1*x5274[=0] +1*x5275[=0] +1*x5276[=0] +1*x5277[=0] +1*x5278[=0] +1*x5279[=0] +1*x5280[=0] +1*x5281[=0] +1*x5282[=0] +1*x5283[=0] +1*x5284[=0] +1*x5285[=0] +1*x5286[=0] +1*x5287[=0] +1*x5288[=0] +1*x5289[=0] +1*x5290[=0] +1*x5291[=0] +1*x5292[=0] +1*x5293[=0] +1*x5294[=0] +1*x5295[=0] +1*x5296[=0] +1*x5297[=0] +1*x5298[=0] +1*x5299[=0] +1*x5300[=0] +1*x5301[=0] +1*x5302[=0] +1*x5303[=0] +1*x5304[=0] +1*x5305[=0] +1*x5306[=0] +1*x5307[=0] +1*x5308[=0] +1*x5309[=0] +1*x5310[=0] +1*x5311[=0] +1*x5312[=0] +1*x5313[=0] +1*x5314[=0] +1*x5315[=0] +1*x5316[=0] +1*x5317[=0] +1*x5318[=0] +1*x5319[=0] +1*x5320[=0] +1*x5321[=0] +1*x5322[=0] +1*x5323[=0] +1*x5324[=0] +1*x5325[=0] +1*x5326[=0] +1*x5327[=0] +1*x5328[=0] +1*x5329[=0] +1*x5330[=0] +1*x5331[=0] +1*x5332[=0] +1*x5333[=0] +1*x5334[=0] +1*x5335[=0] +1*x5336[=0] +1*x5337[=0] +1*x5338[=0] +1*x5339[=0] +1*x5340[=0] +1*x5341[=0] +1*x5342[=0] +1*x5343[=1] +1*x5344[=0] +1*x5345[=0] +1*x5346[=0] +1*x5347[=0] +1*x5348[=0] +1*x5349[=0] +1*x5350[=0] +1*x5351[=0] +1*x5352[=0] +1*x5353[=0] +1*x5354[=0] +1*x5355[=0] +1*x5356[=0] +1*x5357[=0] +1*x5358[=0] +1*x5359[=0] +1*x5360[=0] +1*x5361[=0] +1*x5362[=0] +1*x5363[=0] +1*x5364[=0] +1*x5365[=0] +1*x5366[=0] +1*x5367[=0] +1*x5368[=0] +1*x5369[=0] +1*x5370[=0] +1*x5371[=0] +1*x5372[=0] +1*x5373[=0] +1*x5374[=0] +1*x5375[=0] +1*x5376[=0] +1*x5377[=0] +1*x5378[=0] +1*x5379[=0] +1*x5380[=0] +1*x5381[=0] +1*x5382[=0] +1*x5383[=0] +1*x5384[=0] +1*x5385[=0] +1*x5386[=0] +1*x5387[=0] +1*x5388[=0] +1*x5389[=0] +1*x5390[=0] +1*x5391[=0] +1*x5392[=0] +1*x5393[=0] +1*x5394[=0] +1*x5395[=0] +1*x5396[=0] +1*x5397[=0] +1*x5398[=0] +1*x5399[=0] +1*x5400[=0] +1*x5401[=0] +1*x5402[=0] +1*x5403[=0] +1*x5404[=0] +1*x5405[=0] +1*x5406[=0] +1*x5407[=0] +1*x5408[=0] +1*x5409[=0] +1*x5410[=0] +1*x5411[=0] +1*x5412[=0] +1*x5413[=0] +1*x5414[=0] +1*x5415[=0] +1*x5416[=0] +1*x5417[=0] +1*x5418[=0] +1*x5419[=0] +1*x5420[=0] +1*x5421[=0] +1*x5422[=0] +1*x5423[=0] +1*x5424[=0] +1*x5425[=0] +1*x5426[=0] +1*x5427[=0] +1*x5428[=0] +1*x5429[=0] +1*x5430[=0] +1*x5431[=1] +1*x5432[=0] +1*x5433[=0] +1*x5434[=0] +1*x5435[=0] +1*x5436[=0] +1*x5437[=0] +1*x5438[=0] +1*x5439[=0] +1*x5440[=0] +1*x5441[=0] +1*x5442[=0] +1*x5443[=0] +1*x5444[=0] +1*x5445[=0] +1*x5446[=0] +1*x5447[=0] +1*x5448[=0] +1*x5449[=0] +1*x5450[=0] +1*x5451[=0] +1*x5452[=0] +1*x5453[=0] +1*x5454[=0] +1*x5455[=0] +1*x5456[=0] +1*x5457[=0] +1*x5458[=0] +1*x5459[=0] +1*x5460[=0] +1*x5461[=0] +1*x5462[=0] +1*x5463[=0] +1*x5464[=0] +1*x5465[=0] +1*x5466[=0] +1*x5467[=0] +1*x5468[=0] +1*x5469[=1] +1*x5470[=0] +1*x5471[=0] +1*x5472[=0] +1*x5473[=0] +1*x5474[=0] +1*x5475[=0] +1*x5476[=0] +1*x5477[=0] +1*x5478[=0] +1*x5479[=0] +1*x5480[=0] +1*x5481[=0] +1*x5482[=0] +1*x5483[=0] +1*x5484[=0] +1*x5485[=0] +1*x5486[=0] +1*x5487[=0] +1*x5488[=0] +1*x5489[=0] +1*x5490[=0] +1*x5491[=0] +1*x5492[=0] +1*x5493[=0] +1*x5494[=0] +1*x5495[=0] +1*x5496[=0] +1*x5497[=0] +1*x5498[=0] +1*x5499[=0] +1*x5500[=0] +1*x5501[=0] +1*x5502[=0] +1*x5503[=0] +1*x5504[=0] +1*x5505[=0] +1*x5506[=0] +1*x5507[=0] +1*x5508[=0] +1*x5509[=0] +1*x5510[=0] +1*x5511[=0] +1*x5512[=0] +1*x5513[=0] +1*x5514[=0] +1*x5515[=0] +1*x5516[=0] +1*x5517[=0] +1*x5518[=0] +1*x5519[=0] +1*x5520[=0] +1*x5521[=0] +1*x5522[=0] +1*x5523[=0] +1*x5524[=0] +1*x5525[=0] +1*x5526[=0] +1*x5527[=0] +1*x5528[=0] +1*x5529[=0] +1*x5530[=0] +1*x5531[=0] +1*x5532[=0] +1*x5533[=1] +1*x5534[=0] +1*x5535[=0] +1*x5536[=0] +1*x5537[=0] +1*x5538[=0] +1*x5539[=0] +1*x5540[=0] +1*x5541[=0] +1*x5542[=0] +1*x5543[=0] +1*x5544[=0] +1*x5545[=0] +1*x5546[=0] +1*x5547[=0] +1*x5548[=0] +1*x5549[=0] +1*x5550[=0] +1*x5551[=0] +1*x5552[=0] +1*x5553[=0] +1*x5554[=0] +1*x5555[=0] +1*x5556[=0] +1*x5557[=0] +1*x5558[=0] +1*x5559[=0] +1*x5560[=0] +1*x5561[=0] +1*x5562[=0] +1*x5563[=0] +1*x5564[=0] +1*x5565[=0] +1*x5566[=0] +1*x5567[=0] +1*x5568[=0] +1*x5569[=0] +1*x5570[=0] +1*x5571[=0] +1*x5572[=0] +1*x5573[=0] +1*x5574[=0] +1*x5575[=0] +1*x5576[=0] +1*x5577[=0] +1*x5578[=0] +1*x5579[=0] +1*x5580[=0] +1*x5581[=0] +1*x5582[=0] +1*x5583[=0] +1*x5584[=0] +1*x5585[=0] +1*x5586[=0] +1*x5587[=0] +1*x5588[=0] +1*x5589[=0] +1*x5590[=0] +1*x5591[=0] +1*x5592[=0] +1*x5593[=0] +1*x5594[=0] +1*x5595[=0] +1*x5596[=0] +1*x5597[=0] +1*x5598[=0] +1*x5599[=0] +1*x5600[=0] +1*x5601[=0] +1*x5602[=0] +1*x5603[=0] +1*x5604[=0] +1*x5605[=0] +1*x5606[=0] +1*x5607[=0] +1*x5608[=0] +1*x5609[=0] +1*x5610[=0] +1*x5611[=0] +1*x5612[=0] +1*x5613[=0] +1*x5614[=0] +1*x5615[=0] +1*x5616[=0] +1*x5617[=0] +1*x5618[=0] +1*x5619[=0] +1*x5620[=0] +1*x5621[=0] +1*x5622[=0] +1*x5623[=0] +1*x5624[=0] +1*x5625[=0] +1*x5626[=0] +1*x5627[=0] +1*x5628[=0] +1*x5629[=0] +1*x5630[=0] +1*x5631[=0] +1*x5632[=0] +1*x5633[=0] +1*x5634[=0] +1*x5635[=0] +1*x5636[=0] +1*x5637[=0] +1*x5638[=0] +1*x5639[=0] +1*x5640[=0] +1*x5641[=0] +1*x5642[=0] +1*x5643[=0] +1*x5644[=0] +1*x5645[=0] +1*x5646[=0] +1*x5647[=0] +1*x5648[=0] +1*x5649[=0] +1*x5650[=1] +1*x5651[=0] +1*x5652[=0] +1*x5653[=0] +1*x5654[=0] +1*x5655[=0] +1*x5656[=0] +1*x5657[=0] +1*x5658[=0] +1*x5659[=0] +1*x5660[=0] +1*x5661[=0] +1*x5662[=0] +1*x5663[=0] +1*x5664[=0] +1*x5665[=0] +1*x5666[=0] +1*x5667[=0] +1*x5668[=0] +1*x5669[=0] +1*x5670[=0] +1*x5671[=0] +1*x5672[=0] +1*x5673[=0] +1*x5674[=0] +1*x5675[=0] +1*x5676[=0] +1*x5677[=0] +1*x5678[=0] +1*x5679[=0] +1*x5680[=0] +1*x5681[=0] +1*x5682[=0] +1*x5683[=0] +1*x5684[=0] +1*x5685[=0] +1*x5686[=0] +1*x5687[=0] +1*x5688[=0] +1*x5689[=0] +1*x5690[=0] +1*x5691[=0] +1*x5692[=0] +1*x5693[=0] +1*x5694[=0] +1*x5695[=0] +1*x5696[=0] +1*x5697[=0] +1*x5698[=0] +1*x5699[=0] +1*x5700[=0] +1*x5701[=1] +1*x5702[=0] +1*x5703[=0] +1*x5704[=0] +1*x5705[=0] +1*x5706[=0] +1*x5707[=0] +1*x5708[=0] +1*x5709[=0] +1*x5710[=0] +1*x5711[=0] +1*x5712[=0] +1*x5713[=0] +1*x5714[=0] +1*x5715[=0] +1*x5716[=0] +1*x5717[=0] +1*x5718[=0] +1*x5719[=0] +1*x5720[=0] +1*x5721[=0] +1*x5722[=0] +1*x5723[=0] +1*x5724[=0] +1*x5725[=0] +1*x5726[=0] +1*x5727[=0] +1*x5728[=0] +1*x5729[=0] +1*x5730[=0] +1*x5731[=0] +1*x5732[=0] +1*x5733[=0] +1*x5734[=0] +1*x5735[=0] +1*x5736[=0] +1*x5737[=0] +1*x5738[=0] +1*x5739[=0] +1*x5740[=0] +1*x5741[=0] +1*x5742[=0] +1*x5743[=0] +1*x5744[=0] +1*x5745[=0] +1*x5746[=0] +1*x5747[=0] +1*x5748[=0] +1*x5749[=0] +1*x5750[=0] +1*x5751[=0] +1*x5752[=0] +1*x5753[=0] +1*x5754[=0] +1*x5755[=0] +1*x5756[=0] +1*x5757[=0] +1*x5758[=0] +1*x5759[=0] +1*x5760[=0] +1*x5761[=0] +1*x5762[=0] +1*x5763[=0] +1*x5764[=0] +1*x5765[=0] +1*x5766[=0] +1*x5767[=0] +1*x5768[=0] +1*x5769[=0] +1*x5770[=0] +1*x5771[=0] +1*x5772[=0] +1*x5773[=0] +1*x5774[=0] +1*x5775[=0] +1*x5776[=0] +1*x5777[=0] +1*x5778[=0] +1*x5779[=0] +1*x5780[=0] +1*x5781[=0] +1*x5782[=0] +1*x5783[=0] +1*x5784[=0] +1*x5785[=0] +1*x5786[=0] +1*x5787[=0] +1*x5788[=0] +1*x5789[=0] +1*x5790[=0] +1*x5791[=0] +1*x5792[=0] +1*x5793[=0] +1*x5794[=0] +1*x5795[=0] +1*x5796[=0] +1*x5797[=0] +1*x5798[=0] +1*x5799[=0] +1*x5800[=1] +1*x5801[=0] +1*x5802[=0] +1*x5803[=0] +1*x5804[=0] +1*x5805[=0] +1*x5806[=0] +1*x5807[=0] +1*x5808[=0] +1*x5809[=0] +1*x5810[=0] +1*x5811[=0] +1*x5812[=0] +1*x5813[=0] +1*x5814[=0] +1*x5815[=0] +1*x5816[=0] +1*x5817[=0] +1*x5818[=0] +1*x5819[=0] +1*x5820[=0] +1*x5821[=0] +1*x5822[=0] +1*x5823[=0] +1*x5824[=0] +1*x5825[=0] +1*x5826[=0] +1*x5827[=0] +1*x5828[=0] +1*x5829[=0] +1*x5830[=0] +1*x5831[=0] +1*x5832[=0] +1*x5833[=0] +1*x5834[=0] +1*x5835[=0] +1*x5836[=0] +1*x5837[=0] +1*x5838[=0] +1*x5839[=0] +1*x5840[=0] +1*x5841[=0] +1*x5842[=0] +1*x5843[=0] +1*x5844[=0] +1*x5845[=0] +1*x5846[=0] +1*x5847[=0] +1*x5848[=0] +1*x5849[=0] +1*x5850[=0] +1*x5851[=0] +1*x5852[=0] +1*x5853[=0] +1*x5854[=0] +1*x5855[=0] +1*x5856[=0] +1*x5857[=0] +1*x5858[=0] +1*x5859[=0] +1*x5860[=0] +1*x5861[=0] +1*x5862[=0] +1*x5863[=0] +1*x5864[=0] +1*x5865[=0] +1*x5866[=0] +1*x5867[=0] +1*x5868[=0] +1*x5869[=0] +1*x5870[=0] +1*x5871[=0] +1*x5872[=0] +1*x5873[=0] +1*x5874[=0] +1*x5875[=0] +1*x5876[=0] +1*x5877[=0] +1*x5878[=0] +1*x5879[=0] +1*x5880[=0] +1*x5881[=0] +1*x5882[=0] +1*x5883[=0] +1*x5884[=0] +1*x5885[=0] +1*x5886[=0] +1*x5887[=0] +1*x5888[=0] +1*x5889[=0] +1*x5890[=0] +1*x5891[=1] +1*x5892[=0] +1*x5893[=0] +1*x5894[=0] +1*x5895[=0] +1*x5896[=0] +1*x5897[=0] +1*x5898[=0] +1*x5899[=0] +1*x5900[=0] +1*x5901[=0] +1*x5902[=0] +1*x5903[=0] +1*x5904[=0] +1*x5905[=0] +1*x5906[=0] +1*x5907[=0] +1*x5908[=0] +1*x5909[=0] +1*x5910[=0] +1*x5911[=0] +1*x5912[=0] +1*x5913[=0] +1*x5914[=0] +1*x5915[=0] +1*x5916[=0] +1*x5917[=0] +1*x5918[=0] +1*x5919[=0] +1*x5920[=0] +1*x5921[=0] +1*x5922[=0] +1*x5923[=0] +1*x5924[=0] +1*x5925[=0] +1*x5926[=0] +1*x5927[=0] +1*x5928[=0] +1*x5929[=0] +1*x5930[=0] +1*x5931[=0] +1*x5932[=1] +1*x5933[=0] +1*x5934[=0] +1*x5935[=0] +1*x5936[=0] +1*x5937[=0] +1*x5938[=0] +1*x5939[=0] +1*x5940[=0] +1*x5941[=0] +1*x5942[=0] +1*x5943[=0] +1*x5944[=0] +1*x5945[=0] +1*x5946[=0] +1*x5947[=0] +1*x5948[=0] +1*x5949[=0] +1*x5950[=0] +1*x5951[=0] +1*x5952[=0] +1*x5953[=0] +1*x5954[=0] +1*x5955[=0] +1*x5956[=0] +1*x5957[=0] +1*x5958[=0] +1*x5959[=0] +1*x5960[=0] +1*x5961[=0] +1*x5962[=0] +1*x5963[=0] +1*x5964[=0] +1*x5965[=0] +1*x5966[=0] +1*x5967[=0] +1*x5968[=0] +1*x5969[=0] +1*x5970[=0] +1*x5971[=0] +1*x5972[=0] +1*x5973[=0] +1*x5974[=0] +1*x5975[=0] +1*x5976[=0] +1*x5977[=0] +1*x5978[=0] +1*x5979[=0] +1*x5980[=0] +1*x5981[=0] +1*x5982[=0] +1*x5983[=0] +1*x5984[=0] +1*x5985[=0] +1*x5986[=0] +1*x5987[=0] +1*x5988[=0] +1*x5989[=0] +1*x5990[=0] +1*x5991[=0] +1*x5992[=0] +1*x5993[=0] +1*x5994[=0] +1*x5995[=0] +1*x5996[=0] +1*x5997[=0] +1*x5998[=0] +1*x5999[=0] +1*x6000[=0] +1*x6001[=0] +1*x6002[=0] +1*x6003[=0] +1*x6004[=0] +1*x6005[=0] +1*x6006[=0] +1*x6007[=0] +1*x6008[=0] +1*x6009[=0] +1*x6010[=0] +1*x6011[=0] +1*x6012[=0] +1*x6013[=0] +1*x6014[=0] +1*x6015[=0] +1*x6016[=0] +1*x6017[=0] +1*x6018[=0] +1*x6019[=0] +1*x6020[=0] +1*x6021[=0] +1*x6022[=0] +1*x6023[=0] +1*x6024[=0] +1*x6025[=0] +1*x6026[=0] +1*x6027[=0] +1*x6028[=0] +1*x6029[=0] +1*x6030[=0] +1*x6031[=0] +1*x6032[=0] +1*x6033[=0] +1*x6034[=0] +1*x6035[=0] +1*x6036[=0] +1*x6037[=0] +1*x6038[=1] +1*x6039[=0] +1*x6040[=0] +1*x6041[=0] +1*x6042[=0] +1*x6043[=0] +1*x6044[=0] +1*x6045[=0] +1*x6046[=0] +1*x6047[=0] +1*x6048[=0] +1*x6049[=0] +1*x6050[=0] +1*x6051[=0] +1*x6052[=0] +1*x6053[=0] +1*x6054[=0] +1*x6055[=0] +1*x6056[=0] +1*x6057[=0] +1*x6058[=0] +1*x6059[=0] +1*x6060[=0] +1*x6061[=0] +1*x6062[=0] +1*x6063[=0] +1*x6064[=0] +1*x6065[=0] +1*x6066[=0] +1*x6067[=0] +1*x6068[=0] +1*x6069[=0] +1*x6070[=0] +1*x6071[=0] +1*x6072[=0] +1*x6073[=0] +1*x6074[=0] +1*x6075[=0] +1*x6076[=0] +1*x6077[=0] +1*x6078[=0] +1*x6079[=0] +1*x6080[=0] +1*x6081[=0] +1*x6082[=0] +1*x6083[=0] +1*x6084[=0] +1*x6085[=0] +1*x6086[=0] +1*x6087[=0] +1*x6088[=0] +1*x6089[=0] +1*x6090[=0] +1*x6091[=0] +1*x6092[=0] +1*x6093[=0] +1*x6094[=0] +1*x6095[=0] +1*x6096[=0] +1*x6097[=0] +1*x6098[=0] +1*x6099[=0] +1*x6100[=0] +1*x6101[=0] +1*x6102[=0] +1*x6103[=0] +1*x6104[=0] +1*x6105[=0] +1*x6106[=0] +1*x6107[=0] +1*x6108[=0] +1*x6109[=0] +1*x6110[=0] +1*x6111[=0] +1*x6112[=0] +1*x6113[=0] +1*x6114[=0] +1*x6115[=0] +1*x6116[=0] +1*x6117[=0] +1*x6118[=0] +1*x6119[=0] +1*x6120[=0] +1*x6121[=0] +1*x6122[=0] +1*x6123[=0] +1*x6124[=0] +1*x6125[=0] +1*x6126[=0] +1*x6127[=0] +1*x6128[=0] +1*x6129[=0] +1*x6130[=0] +1*x6131[=0] +1*x6132[=0] +1*x6133[=0] +1*x6134[=0] +1*x6135[=0] +1*x6136[=0] +1*x6137[=0] +1*x6138[=0] +1*x6139[=0] +1*x6140[=0] +1*x6141[=0] +1*x6142[=0] +1*x6143[=0] +1*x6144[=0] +1*x6145[=0] +1*x6146[=0] +1*x6147[=0] +1*x6148[=0] +1*x6149[=0] +1*x6150[=1] +1*x6151[=0] +1*x6152[=0] +1*x6153[=0] +1*x6154[=0] +1*x6155[=0] +1*x6156[=0] +1*x6157[=0] +1*x6158[=0] +1*x6159[=0] +1*x6160[=0] +1*x6161[=0] +1*x6162[=0] +1*x6163[=0] +1*x6164[=0] +1*x6165[=0] +1*x6166[=0] +1*x6167[=0] +1*x6168[=0] +1*x6169[=0] +1*x6170[=0] +1*x6171[=0] +1*x6172[=0] +1*x6173[=0] +1*x6174[=0] +1*x6175[=0] +1*x6176[=0] +1*x6177[=0] +1*x6178[=1] +1*x6179[=0] +1*x6180[=0] +1*x6181[=0] +1*x6182[=0] +1*x6183[=0] +1*x6184[=0] +1*x6185[=0] +1*x6186[=0] +1*x6187[=0] +1*x6188[=0] +1*x6189[=0] +1*x6190[=0] +1*x6191[=0] +1*x6192[=0] +1*x6193[=0] +1*x6194[=0] +1*x6195[=0] +1*x6196[=0] +1*x6197[=0] +1*x6198[=0] +1*x6199[=0] +1*x6200[=0] +1*x6201[=0] +1*x6202[=0] +1*x6203[=0] +1*x6204[=0] +1*x6205[=0] +1*x6206[=0] +1*x6207[=0] +1*x6208[=0] +1*x6209[=0] +1*x6210[=0] +1*x6211[=0] +1*x6212[=0] +1*x6213[=0] +1*x6214[=0] +1*x6215[=0] +1*x6216[=0] +1*x6217[=0] +1*x6218[=0] +1*x6219[=0] +1*x6220[=0] +1*x6221[=0] +1*x6222[=0] +1*x6223[=0] +1*x6224[=0] +1*x6225[=0] +1*x6226[=0] +1*x6227[=0] +1*x6228[=0] +1*x6229[=0] +1*x6230[=0] +1*x6231[=0] +1*x6232[=0] +1*x6233[=0] +1*x6234[=0] +1*x6235[=0] +1*x6236[=0] +1*x6237[=0] +1*x6238[=0] +1*x6239[=0] +1*x6240[=0] +1*x6241[=0] +1*x6242[=0] +1*x6243[=0] +1*x6244[=0] +1*x6245[=0] +1*x6246[=0] +1*x6247[=0] +1*x6248[=0] +1*x6249[=0] +1*x6250[=0] +1*x6251[=1] +1*x6252[=0] +1*x6253[=0] +1*x6254[=0] +1*x6255[=0] +1*x6256[=0] +1*x6257[=0] +1*x6258[=0] +1*x6259[=0] +1*x6260[=0] +1*x6261[=0] +1*x6262[=0] +1*x6263[=0] +1*x6264[=0] +1*x6265[=0] +1*x6266[=0] +1*x6267[=0] +1*x6268[=0] +1*x6269[=0] +1*x6270[=0] +1*x6271[=0] +1*x6272[=0] +1*x6273[=0] +1*x6274[=0] +1*x6275[=0] +1*x6276[=0] +1*x6277[=0] +1*x6278[=0] +1*x6279[=0] +1*x6280[=0] +1*x6281[=0] +1*x6282[=0] +1*x6283[=0] +1*x6284[=0] +1*x6285[=0] +1*x6286[=0] +1*x6287[=0] +1*x6288[=0] +1*x6289[=0] +1*x6290[=0] +1*x6291[=0] +1*x6292[=0] +1*x6293[=0] +1*x6294[=0] +1*x6295[=0] +1*x6296[=0] +1*x6297[=0] +1*x6298[=0] +1*x6299[=0] +1*x6300[=0] +1*x6301[=0] +1*x6302[=0] +1*x6303[=0] +1*x6304[=0] +1*x6305[=0] +1*x6306[=0] +1*x6307[=0] +1*x6308[=0] +1*x6309[=0] +1*x6310[=0] +1*x6311[=0] +1*x6312[=0] +1*x6313[=0] +1*x6314[=0] +1*x6315[=0] +1*x6316[=0] +1*x6317[=0] +1*x6318[=0] +1*x6319[=0] +1*x6320[=0] +1*x6321[=0] +1*x6322[=0] +1*x6323[=0] +1*x6324[=0] +1*x6325[=0] +1*x6326[=0] +1*x6327[=0] +1*x6328[=0] +1*x6329[=0] +1*x6330[=0] +1*x6331[=0] +1*x6332[=0] +1*x6333[=0] +1*x6334[=0] +1*x6335[=0] +1*x6336[=0] +1*x6337[=0] +1*x6338[=0] +1*x6339[=0] +1*x6340[=0] +1*x6341[=0] +1*x6342[=0] +1*x6343[=0] +1*x6344[=0] +1*x6345[=0] +1*x6346[=0] +1*x6347[=0] +1*x6348[=0] +1*x6349[=0] +1*x6350[=0] +1*x6351[=0] +1*x6352[=0] +1*x6353[=0] +1*x6354[=0] +1*x6355[=0] +1*x6356[=0] +1*x6357[=0] +1*x6358[=0] +1*x6359[=0] +1*x6360[=0] +1*x6361[=0] +1*x6362[=0] +1*x6363[=0] +1*x6364[=0] +1*x6365[=0] +1*x6366[=0] +1*x6367[=0] +1*x6368[=0] +1*x6369[=0] +1*x6370[=0] +1*x6371[=0] +1*x6372[=1] +1*x6373[=0] +1*x6374[=0] +1*x6375[=0] +1*x6376[=0] +1*x6377[=0] +1*x6378[=0] +1*x6379[=0] +1*x6380[=0] +1*x6381[=0] +1*x6382[=0] +1*x6383[=0] +1*x6384[=0] +1*x6385[=0] +1*x6386[=0] +1*x6387[=0] +1*x6388[=0] +1*x6389[=0] +1*x6390[=0] +1*x6391[=0] +1*x6392[=0] +1*x6393[=0] +1*x6394[=0] +1*x6395[=0] +1*x6396[=0] +1*x6397[=0] +1*x6398[=0] +1*x6399[=0] +1*x6400[=0] >= 80