FAILED
ERROR: unsatisfied constraint on line 9
	-1393>=21072

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