
(31, 0, u'[1,a+1,a,a,0]')
(31, 0, u'[a,-1,a+1,-17*a-11,39*a+24]')
(31, 0, u'[a+1,-a-1,a+1,-1788*a-1105,44001*a+27194]')
(31, 0, u'[1,a+1,a,41*a-70,170*a-276]')
(31, 0, u'[1,a+1,a,31*a-75,141*a-303]')
(31, 0, u'[a,a,a+1,32197*a-52096,3319586*a-5371204]')
(36, 0, u'[a+1,a,a,0,0]')
(36, 0, u'[a+1,a,a,-10*a-10,10*a+10]')
(36, 0, u'[a+1,a,a,-165*a-165,-1683*a-1221]')
(36, 0, u'[a+1,a,a,-5*a-5,-51*a-37]')
(41, 0, u'[0,-a,a,0,0]')
(41, 0, u'[0,-a,a,10*a-40,31*a-113]')
(45, 0, u'[1,1,1,-80,242]')
(45, 0, u'[1,1,1,-5,2]')
(45, 0, u'[1,1,1,0,0]')
(45, 0, u'[1,1,1,-10,-10]')
(45, 0, u'[1,1,1,-135,-660]')
(45, 0, u'[1,1,1,35,-28]')
(45, 0, u'[1,1,1,-2160,-39540]')
(45, 0, u'[1,1,1,-110,-880]')
(45, 0, u'[1,a,a+1,-4976733*a-3075797,-6393196918*a-3951212998]')
(45, 0, u'[a,a+1,1,-4364*a-7739,-255406*a-296465]')
(49, 0, u'[0,-a+1,1,1,0]')
(49, 0, u'[0,-a+1,1,-30*a-29,-102*a-84]')
(55, 0, u'[1,-a+1,1,-a,0]')
(55, 0, u'[1,-a+1,1,-6*a-5,10*a+6]')
(55, 0, u'[a,-a,1,-699*a-432,10856*a+6709]')
(55, 0, u'[a+1,0,a+1,94*a-156,-538*a+870]')
(55, 0, u'[1,-a+1,1,-21*a-25,-54*a-58]')
(55, 0, u'[1,-a+1,1,-26*a-15,-70*a-44]')
(55, 0, u'[1,-a+1,1,54*a,-374*a-198]')
(55, 0, u'[a+1,0,a+1,599*a-1006,8816*a-14217]')
(64, 0, u'[0,a-1,0,-a,0]')
(64, 0, u'[0,-a,0,11*a-16,-17*a+27]')
(64, 0, u'[0,a-1,0,-11*a-5,17*a+10]')
(64, 0, u'[0,a-1,0,-6*a-5,-11*a-7]')
(64, 0, u'[0,-a,0,106*a-171,647*a-1050]')
(64, 0, u'[0,a-1,0,-106*a-65,-647*a-403]')
(71, 0, u'[a,a+1,a,a,0]')
(71, 0, u'[a,a+1,a,6*a-5,-2*a+7]')
(71, 0, u'[a,a+1,a,-14*a-5,-42*a-27]')
(71, 0, u'[a,a+1,a,-4*a-20,-37*a-39]')
(76, 0, u'[a+1,0,1,-a-1,0]')
(76, 0, u'[a+1,0,1,4*a+4,8*a-2]')
(76, 0, u'[a+1,0,1,44*a-196,264*a-1122]')
(76, 0, u'[a,0,1,54685*a-90021,7490886*a-12144063]')
(76, 0, u'[1,0,a,a-2,-a+1]')
(76, 0, u'[a,0,a,-134*a-80,-903*a-561]')
(79, 0, u'[a+1,a-1,a,0,0]')
(79, 0, u'[a+1,a-1,a,5*a-10,5*a-10]')
(79, 0, u'[a,-a,a+1,687*a-1115,10565*a-17095]')
(79, 0, u'[a+1,a-1,a,-5*a-15,-19*a-29]')
(80, 0, u'[0,1,0,-1,0]')
(80, 0, u'[0,1,0,-5*a-11,17*a-1]')
(80, 0, u'[0,1,0,5*a-16,-17*a+16]')
(80, 0, u'[0,1,0,4,4]')
(80, 0, u'[0,1,0,-41,-116]')
(80, 0, u'[0,-a-1,0,2025*a-3281,52269*a-84572]')
(80, 0, u'[0,a+1,0,-2023*a-1257,-54293*a-33560]')
(80, 0, u'[0,1,0,-36,-140]')
(81, 0, u'[1,-1,a,-2*a,a]')
(81, 0, u'[1,-1,a+1,a-2,-2*a+1]')
(81, 0, u'[a,-a-1,a,-128*a-80,921*a+569]')
(81, 0, u'[a+1,1,0,129*a-207,-793*a+1283]')
(81, 0, u'[a,-a-1,a+1,-1153*a-719,-21854*a-13501]')
(81, 0, u'[a+1,1,1,1153*a-1871,23006*a-37225]')
(81, 0, u'[1,-1,a,13*a-15,20*a-26]')
(81, 0, u'[1,-1,a+1,-14*a-2,-21*a-6]')
(89, 0, u'[a,-a,1,-1,0]')
(89, 0, u'[a,-a,1,10*a-16,-16*a+26]')
(89, 0, u'[a,-a,1,10*a-26,32*a-60]')
(89, 0, u'[a,-a,1,15*a-31,12*a-36]')
(95, 0, u'[a,a+1,a,2*a-5,-4*a+2]')
(95, 0, u'[a,a+1,a,2*a,a]')
(95, 0, u'[a,a+1,a,27*a-80,-134*a+267]')
(95, 0, u'[a,a+1,a,-23*a-10,-94*a-35]')
(95, 0, u'[a,a+1,a,-53*a-165,-813*a-451]')
(95, 0, u'[a,a+1,a,-73*a-130,-664*a-723]')
(95, 0, u'[1,1,a,258*a-420,2513*a-4069]')
(95, 0, u'[1,a,0,-84164*a-52017,-14105985*a-8717980]')
(99, 0, u'[a,-a+1,0,-4,3*a-5]')
(99, 0, u'[a,-a+1,0,1,0]')
(99, 0, u'[a,-a+1,0,-15*a-19,48*a+31]')
(99, 0, u'[1,a,a+1,240*a-395,2144*a-3481]')
(99, 0, u'[a+1,-a,0,-2187*a-1363,-59133*a-36564]')
(99, 0, u'[a+1,-1,a+1,26638*a-43105,2494019*a-4035410]')
(100, 0, u'[1,1,1,-3,1]')
(100, 0, u'[1,0,1,-1,-2]')
(100, 0, u'[1,1,1,22,-9]')
(100, 0, u'[1,0,1,-126,-552]')
(100, 0, u'[a+1,a,a+1,-25*a-25,53*a+46]')
(100, 0, u'[a+1,a,a+1,0,0]')
(100, 0, u'[a+1,a,a+1,-15*a-15,-69*a-48]')
(100, 0, u'[a+1,a,a+1,110*a+110,506*a+352]')
(116, 0, u'[1,a-1,a+1,-2*a+3,-1]')
(116, 0, u'[1,a-1,a+1,488*a-1077,7662*a-14347]')
(116, 0, u'[1,-1,a,-a,0]')
(116, 0, u'[1,-1,a,9*a-15,a-33]')
(121, 0, u'[0,-1,1,0,0]')
(121, 0, u'[0,-1,1,-10,-20]')
(121, 0, u'[0,-1,1,-7820,-263580]')
(124, 0, u'[a,-a,a,85*a-139,-436*a+705]')
(124, 0, u'[a+1,a-1,a+1,-1,-a+1]')
(124, 0, u'[a+1,a-1,a+1,-35*a-56,-260*a-117]')
(124, 0, u'[a+1,a-1,a+1,5*a-16,4*a-21]')
(124, 0, u'[a,-a,a,4880*a-7979,199505*a-323066]')
(124, 0, u'[a,a+1,1,-188901*a-116781,-47466544*a-29336020]')
(144, 0, u'[0,-a+1,0,-3*a-2,-2*a-2]')
(144, 0, u'[0,-a+1,0,-48*a-32,-188*a-116]')
(144, 0, u'[0,a,0,48*a-80,188*a-304]')
(144, 0, u'[0,-a+1,0,2*a+3,-13*a-9]')
(145, 0, u'[0,0,a,27*a-43,-80*a+128]')
(145, 0, u'[0,0,a,-30045*a-18562,-2996961*a-1852249]')
(145, 0, u'[a,-a-1,0,1,0]')
(145, 0, u'[a+1,1,a,-256*a-165,2165*a+1343]')
(145, 0, u'[a+1,1,a,-16*a-10,23*a+14]')
(145, 0, u'[a,-a-1,0,15*a-29,42*a-61]')
(145, 0, u'[a,-a-1,0,255*a-454,2543*a-4192]')
(145, 0, u'[a,-a-1,0,15*a-4,97*a-146]')
(145, 0, u'[a+1,1,a+1,205599*a-332667,53727699*a-86933245]')
(145, 0, u'[a+1,1,a,-2041*a-1350,-56352*a-35184]')
(145, 0, u'[0,a+1,a,a+1,0]')
(145, 0, u'[0,a+1,a,-9*a-9,-31*a-23]')
(155, 0, u'[1,a,a,8*a-13,-15*a+23]')
(155, 0, u'[1,a,a,3*a-18,-24*a+11]')
(155, 0, u'[1,a,a,48*a-98,230*a-382]')
(155, 0, u'[a,-a+1,1,-666*a-402,-9803*a-6045]')
(164, 0, u'[a,-1,0,-a-1,a-3]')
(164, 0, u'[a+1,-a-1,0,-128*a-85,-819*a-511]')
(171, 0, u'[a,-a,1,15*a-36,66*a-89]')
(171, 0, u'[a,-a,1,-1,2*a-3]')
(171, 0, u'[a,-a,1,105*a-166,626*a-1023]')
(171, 0, u'[1,-a+1,1,11344*a-18362,702788*a-1137140]')
(176, 0, u'[0,-1,0,-a,0]')
(176, 0, u'[0,-1,0,4*a,-4*a]')
(176, 0, u'[0,-1,0,-61*a-40,-260*a-164]')
(176, 0, u'[0,-1,0,-36*a-80,-196*a-272]')
(179, 0, u'[1,1,a,1,0]')
(179, 0, u'[a+1,a-1,0,20*a-33,42*a-71]')
(180, 0, u'[1,0,1,-289,1862]')
(180, 0, u'[1,0,1,-19,26]')
(180, 0, u'[1,0,1,1,2]')
(180, 0, u'[1,0,1,-69,-194]')
(180, 0, u'[1,0,1,-454,-544]')
(180, 0, u'[1,0,1,-334,-2368]')
(180, 0, u'[1,0,1,-14,-64]')
(180, 0, u'[1,0,1,-5334,-150368]')
(191, 0, u'[a,a-1,1,0,0]')
(191, 0, u'[a,a-1,1,5*a-10,6*a-10]')
(191, 0, u'[a,a-1,1,90*a-170,552*a-858]')
(191, 0, u'[a,a-1,1,-10,4*a-22]')
(196, 0, u'[1,0,1,-11,12]')
(196, 0, u'[1,0,1,-1,0]')
(196, 0, u'[1,0,1,-36,-70]')
(196, 0, u'[1,0,1,4,-6]')
(196, 0, u'[1,0,1,-2731,-55146]')
(196, 0, u'[1,0,1,-171,-874]')
(199, 1, u'[0,a+1,1,a,0]')
(199, 1, u'[0,a+1,1,-9*a,-16*a-15]')
(199, 1, u'[0,-a-1,1,-28663*a-17718,-2768362*a-1710944]')
(199, 0, u'[0,0,1,4*a-9,-6*a+11]')
(199, 0, u'[0,0,1,-317*a-186,-3180*a-1966]')
(199, 0, u'[1,-1,a+1,-a-2,-a-1]')
(199, 0, u'[a+1,1,0,70*a-111,355*a-574]')
(205, 0, u'[a+1,0,a,-22*a-16,48*a+31]')
(205, 0, u'[a+1,0,a,-2*a-1,0]')
(205, 0, u'[a,0,a,104*a-180,656*a-1064]')
(205, 0, u'[a+1,0,a,8*a+4,6*a+1]')
(205, 0, u'[1,-a,a+1,229*a-374,-1948*a+3153]')
(205, 0, u'[a,a-1,0,-4,-5*a+3]')
(205, 0, u'[a,a-1,0,1,0]')
(205, 0, u'[a,a-1,0,-25*a-29,-110*a-77]')
(205, 0, u'[a,a-1,0,-45*a+6,-69*a-160]')
(205, 0, u'[a+1,a,0,-3417*a-2143,-119535*a-73938]')
(209, 0, u'[1,a+1,a+1,-250*a-165,2099*a+1308]')
(209, 0, u'[a+1,-a+1,a+1,-2*a,-a]')
(209, 0, u'[a+1,-a+1,a+1,-2*a-5,1]')
(209, 0, u'[a+1,-a+1,a+1,3*a-15,14*a-26]')
(209, 0, u'[a+1,-a+1,a+1,-47*a,-67*a-159]')
(209, 0, u'[a+1,-a+1,a+1,133*a-190,851*a-1361]')
(209, 0, u'[0,-a-1,a+1,3*a-2,-3]')
(209, 0, u'[0,-a-1,a+1,143*a-242,1011*a-1645]')
(209, 1, u'[a+1,a+1,a+1,a,0]')
(209, 1, u'[a+1,a+1,a+1,6*a-5,-a+8]')
(209, 0, u'[1,0,a+1,2*a-6,-4*a+4]')
(209, 0, u'[1,0,a+1,7*a-11,4*a-11]')
(209, 0, u'[a,0,a+1,-355*a-229,-3979*a-2471]')
(209, 0, u'[1,0,a+1,422*a-801,5771*a-9836]')
(209, 0, u'[1,0,1,a-3,-a+1]')
(209, 0, u'[a,0,1,-43*a-27,-171*a-106]')
(209, 0, u'[a+1,0,1,-4704*a-2907,-188363*a-116415]')
(209, 0, u'[1,0,1,21*a-48,73*a-141]')
(220, 0, u'[a+1,a-1,a,-a-3,-2*a+3]')
(220, 0, u'[a+1,a-1,a,19*a-43,-94*a+131]')
(220, 0, u'[a,-a,a+1,2719*a-4427,-81534*a+131881]')
(220, 0, u'[a+1,a-1,a,39*a-33,-102*a+113]')
(220, 0, u'[a+1,a-1,a,-36*a+2,-79*a-76]')
(220, 0, u'[1,1,0,-2733*a-1703,-83661*a-51718]')
(220, 0, u'[a,a+1,0,-300414*a-185685,-95102489*a-58776542]')
(220, 0, u'[a+1,a-1,a,164*a-1158,2473*a-15012]')
(220, 0, u'[1,-1,a,-4*a-1,3*a+3]')
(220, 0, u'[1,-1,a,6*a-11,-3*a+23]')
(220, 0, u'[1,-1,a,-144*a-206,-1320*a-1288]')
(220, 0, u'[a+1,1,1,5772*a-9400,256067*a-414591]')
(220, 0, u'[a,-a+1,0,-2*a,0]')
(220, 0, u'[a,-a+1,0,8*a,4*a-6]')
(220, 0, u'[a,-a+1,0,-67*a-70,-376*a-311]')
(220, 0, u'[1,a,a+1,1439*a-2354,31583*a-51173]')
(225, 0, u'[0,1,1,2,4]')
(225, 0, u'[0,-1,1,-8,-7]')
(225, 0, u'[0,-a+1,1,-2*a-1,2*a+1]')
(225, 0, u'[0,-a+1,1,8*a+9,-76*a-55]')
(225, 0, u'[a+1,a,a+1,-25*a-25,-119*a-83]')
(225, 0, u'[a+1,a,a+1,0,-4*a-3]')
(225, 0, u'[a+1,a,a+1,-10800*a-10800,758396*a+571497]')
(225, 0, u'[a+1,a,a+1,-675*a-675,11171*a+8547]')
(225, 0, u'[a+1,a,a+1,-50*a-50,46*a+47]')
(225, 0, u'[a,1,1,65146314*a-105408963,-302615596781*a+489642321128]')
(225, 0, u'[a,a,0,-9504680*a-5874303,16858314825*a+10419011887]')
(225, 0, u'[a+1,a,a+1,-550*a-550,15946*a+12097]')
(225, 0, u'[a+1,a,a+1,-400*a-400,-6044*a-4433]')
(225, 0, u'[a+1,a,a+1,175*a+175,1081*a+767]')
(229, 1, u'[a+1,a,0,2*a,1]')
(239, 1, u'[a,-a,a+1,-2,-a]')
(239, 0, u'[1,-a,a,-a,0]')
(239, 0, u'[1,-a,a,-6*a-5,-7*a-4]')
(239, 0, u'[1,-a,a,-91*a-85,-585*a-309]')
(239, 0, u'[1,-a,a,-a-5,-17*a-15]')
(244, 0, u'[a,-a+1,1,-a+1,0]')
(244, 0, u'[a,-a+1,1,4*a-9,8*a-20]')
(244, 0, u'[1,a,a,3149*a-5143,102292*a-165671]')
(245, 1, u'[0,1,1,-1,0]')
(245, 1, u'[0,1,1,9,1]')
(245, 1, u'[0,1,1,-131,-650]')
(251, 1, u'[a,-a-1,1,0,0]')
(256, 0, u'[0,-a+1,0,-6*a-5,11*a+7]')
(256, 0, u'[0,-a+1,0,-a,0]')
(256, 0, u'[0,-a+1,0,-106*a-65,647*a+403]')
(256, 0, u'[0,a,0,106*a-171,-647*a+1050]')
(256, 0, u'[0,-a+1,0,-11*a-5,-17*a-10]')
(256, 0, u'[0,a,0,11*a-16,17*a-27]')
(256, 0, u'[0,-a-1,0,a,0]')
(256, 0, u'[0,-a-1,0,-4*a,8*a+4]')
(256, 0, u'[0,-a-1,0,a-5,-3*a+4]')
(256, 0, u'[0,-a-1,0,6*a-5,3*a-7]')
(256, 0, u'[0,-1,0,277*a-448,-2747*a+4444]')
(256, 0, u'[0,1,0,-277*a-171,-2747*a-1697]')
(256, 0, u'[0,a+1,0,a,0]')
(256, 0, u'[0,a+1,0,6*a-5,-3*a+7]')
(256, 0, u'[0,a+1,0,a-5,3*a-4]')
(256, 0, u'[0,-1,0,-277*a-171,2747*a+1697]')
(256, 0, u'[0,a+1,0,-4*a,-8*a-4]')
(256, 0, u'[0,1,0,277*a-448,2747*a-4444]')
(269, 1, u'[1,-a,a+1,-a-1,0]')
(269, 0, u'[1,-a+1,0,-8*a-4,13*a+8]')
(269, 0, u'[a+1,0,a,84*a-142,464*a-756]')
(271, 0, u'[1,-a+1,a+1,-a,-a]')
(271, 0, u'[1,-a+1,a+1,4*a-10,-6*a+7]')
(271, 0, u'[1,-a+1,a+1,79*a-165,-518*a+758]')
(271, 0, u'[1,-a+1,a+1,9*a-15,6*a-16]')
(275, 0, u'[a,a,a,332*a-536,-3529*a+5713]')
(275, 0, u'[a+1,-a+1,a+1,-a-2,-a-2]')
(275, 0, u'[a+1,-a+1,a+1,-26*a-127,174*a+448]')
(275, 0, u'[a+1,-a+1,a+1,-a-27,4*a-67]')
(275, 0, u'[a,a,a,1332*a-2161,27826*a-45027]')
(275, 0, u'[a+1,-a+1,a+1,-976*a-1052,24329*a+11533]')
(275, 0, u'[a+1,-a+1,a+1,-276*a-2,-2201*a+823]')
(275, 0, u'[1,a+1,a+1,-1251*a-776,-26721*a-16520]')
(279, 0, u'[a,a+1,a,-1,-2*a-2]')
(279, 0, u'[a,a+1,a,-15*a-26,-78*a-77]')
(279, 0, u'[a,-1,a,-1,-a]')
(279, 0, u'[a,-1,a,-5*a-6,-7*a-5]')
(279, 0, u'[1,a+1,a+1,134*a-220,934*a-1514]')
(279, 0, u'[a,-1,a,-95*a-51,-484*a-311]')
(279, 0, u'[a,a,1,-59*a-41,-323*a-201]')
(279, 0, u'[a,a,1,-4*a-1,-7*a-5]')
(289, 1, u'[1,-1,1,-1,0]')
(289, 1, u'[1,-1,1,-6,-4]')
(289, 1, u'[1,-1,1,-91,-310]')
(289, 1, u'[1,-1,1,-1,-14]')
(304, 0, u'[0,-1,0,-a-1,-1]')
(304, 0, u'[0,-1,0,9*a-16,13*a-24]')
(305, 0, u'[a,-1,a,-a-1,0]')
(305, 0, u'[a,-1,a,-a-6,-a-4]')
(305, 0, u'[a,-1,a,4*a-1,-9*a-13]')
(305, 0, u'[1,a+1,a+1,262*a-437,2563*a-4183]')
(311, 1, u'[0,-1,a,0,0]')
(316, 0, u'[a,-a,a+1,2*a-5,-3*a+3]')
(316, 0, u'[a+1,a-1,a,-45*a-25,-200*a-123]')
(316, 0, u'[a,a+1,0,-165937*a-102555,-39086625*a-24156863]')
(319, 1, u'[1,a-1,a,-a,0]')
(319, 1, u'[1,a-1,a,-11*a-5,15*a+9]')
(319, 1, u'[a+1,0,1,-1,0]')
(319, 1, u'[a+1,0,1,-5*a-6,6*a+2]')
(319, 1, u'[1,-a+1,a+1,-673*a-421,10173*a+6278]')
(319, 1, u'[a+1,0,1,-10*a-1,4*a-6]')
(320, 0, u'[0,0,0,-2,1]')
(320, 0, u'[0,0,0,-15*a-7,28*a+22]')
(320, 0, u'[0,0,0,96*a-155,-540*a+874]')
(320, 0, u'[0,0,0,-7,-6]')
(320, 0, u'[0,0,0,-107,-426]')
(320, 0, u'[0,0,0,13,-34]')
(320, 0, u'[0,0,0,-5241*a-3254,-218784*a-135242]')
(320, 0, u'[0,0,0,35967*a-58198,3926128*a-6352610]')
(320, 0, u'[0,-a,0,-4,4*a]')
(320, 0, u'[0,-a,0,1,0]')
(320, 0, u'[0,a-1,0,-235*a-149,2045*a+1270]')
(320, 0, u'[0,-a,0,20*a-44,76*a-128]')
(320, 0, u'[0,-a,0,-60*a-84,-276*a-400]')
(320, 0, u'[0,-a+1,0,2772*a-4480,85404*a-138192]')
(320, 0, u'[0,a-1,0,-4,-4*a+4]')
(320, 0, u'[0,a-1,0,1,0]')
(320, 0, u'[0,-a,0,235*a-384,-2045*a+3315]')
(320, 0, u'[0,a-1,0,-20*a-24,-76*a-52]')
(320, 0, u'[0,a-1,0,60*a-144,276*a-676]')
(320, 0, u'[0,a,0,-2772*a-1708,-85404*a-52788]')
(324, 0, u'[a+1,1,1,-1490*a-1490,37999*a+28499]')
(324, 0, u'[a+1,1,1,-95*a-95,-737*a-553]')
(324, 0, u'[a+1,1,1,-50*a-50,1135*a+851]')
(324, 0, u'[a+1,1,1,-5*a-5,-17*a-13]')
(341, 1, u'[a,-1,0,-a+1,0]')
(341, 1, u'[a,-1,0,4*a-4,-3*a+4]')
(356, 1, u'[1,0,a,-a-1,0]')
(356, 1, u'[1,0,a,-11*a-11,26*a+12]')
(359, 1, u'[0,0,a+1,-a-1,0]')
(359, 0, u'[0,1,a+1,2*a-3,-2*a+1]')
(359, 0, u'[0,1,a+1,-18*a-23,-67*a-57]')
(361, 0, u'[0,1,1,1,0]')
(361, 0, u'[0,1,1,-9,-15]')
(361, 0, u'[0,1,1,-769,-8470]')
(361, 0, u'[a+1,1,0,a+1,0]')
(361, 0, u'[a+1,1,0,-4*a-4,-12*a-9]')
(361, 0, u'[a,-a-1,a,90*a-150,500*a-805]')
(361, 0, u'[a+1,1,0,-89*a-59,-590*a-364]')
(361, 1, u'[0,a,a+1,-1,-a]')
(361, 1, u'[0,a-1,a+1,273*a-445,-2773*a+4482]')
(361, 0, u'[0,a+1,a+1,6*a-30,42*a-49]')
(361, 0, u'[0,1,a+1,8212*a-13328,432444*a-699825]')
(369, 1, u'[0,-a,a,2*a-2,-a+1]')
(369, 0, u'[a+1,-1,a+1,-3*a-2,0]')
(369, 0, u'[a,a+1,1,17*a-26,41*a-67]')
(369, 0, u'[a,a+1,1,257*a-431,2489*a-4075]')
(369, 0, u'[a+1,-1,a+1,12*a+3,-15*a-14]')
(369, 0, u'[1,-a-1,a,4*a-20,27*a-12]')
(369, 0, u'[1,-a-1,a,9*a-15,16*a-26]')
(369, 0, u'[1,-a-1,a,59*a-100,-245*a+447]')
(369, 0, u'[a,1,a+1,-719*a-435,10596*a+6541]')
(380, 0, u'[a,-a,a+1,-a-3,1]')
(380, 0, u'[a+1,a-1,a,-139*a-85,830*a+513]')
(380, 0, u'[a,-a,a+1,14*a-13,21*a-31]')
(380, 0, u'[a,-a,a+1,-26*a-13,93*a-63]')
(380, 0, u'[1,-a+1,a+1,5407*a-8768,232768*a-376663]')
(380, 0, u'[a,-a,a+1,-156*a-1863,-3449*a-31141]')
(380, 0, u'[1,a-1,a,a-2,-1]')
(380, 0, u'[1,a-1,a,21*a-42,56*a-101]')
(380, 0, u'[a,a-1,1,18794*a-30410,1473480*a-2384141]')
(380, 0, u'[a,a,a,-359*a-230,-4249*a-2634]')
(395, 1, u'[a,-a+1,1,-3*a-1,2*a+1]')
(395, 1, u'[a,-a+1,1,-38*a-21,126*a+79]')
(396, 0, u'[1,-a+1,a,-258*a-168,2472*a+1513]')
(396, 0, u'[1,-a+1,a,-18*a-8,40*a+25]')
(396, 0, u'[a+1,a-1,a+1,-196545*a-121472,49998522*a+30900787]')
(396, 0, u'[a+1,0,0,413*a-753,5628*a-8855]')
(396, 0, u'[a+1,0,0,413*a-663,6942*a-10331]')
(396, 0, u'[a,0,0,49435*a-80014,6330026*a-10242231]')
(396, 0, u'[a+1,-a-1,a+1,0,-2*a-1]')
(396, 0, u'[a+1,-a-1,a+1,-230*a-170,-2056*a-1329]')
(396, 0, u'[a,-a,0,-5*a+6,-4*a+9]')
(396, 0, u'[a,-a,0,340*a-564,3728*a-6192]')
(396, 0, u'[1,0,1,21*a-40,-66*a+101]')
(396, 0, u'[a+1,0,1,-9461*a-5848,-535080*a-330697]')
(400, 0, u'[0,-a+1,0,-7*a-6,-6*a-6]')
(400, 0, u'[0,-a+1,0,-207*a-206,2114*a+1534]')
(400, 0, u'[0,-a,0,-26528*a-16408,2502004*a+1546332]')
(400, 0, u'[0,a-1,0,26528*a-42936,-2502004*a+4048336]')
(400, 0, u'[0,-a+1,0,-107*a-81,-681*a-406]')
(400, 0, u'[0,a,0,107*a-188,681*a-1087]')
(400, 0, u'[0,-a+1,0,-182*a-181,2619*a+1919]')
(400, 0, u'[0,-a+1,0,18*a+19,-61*a-41]')
(401, 1, u'[1,-a,1,0,0]')
(404, 1, u'[1,-a-1,0,-a-1,3*a+2]')
(404, 0, u'[a+1,1,a,a-1,-5*a+6]')
(404, 0, u'[1,-1,1,-3019*a-1900,-95396*a-59044]')
(405, 0, u'[1,-1,0,-19440,1048135]')
(405, 0, u'[1,-1,0,-1215,16600]')
(405, 0, u'[1,-1,0,-90,175]')
(405, 0, u'[1,-1,0,-45,-104]')
(405, 0, u'[1,-1,0,0,-5]')
(405, 0, u'[1,-1,1,-44790597*a-27682172,172543844000*a+106637960337]')
(405, 0, u'[a,-a-1,0,-39285*a-69660,6747746*a+7895612]')
(405, 0, u'[1,-1,0,-990,22765]')
(405, 0, u'[1,-1,0,-720,-7259]')
(405, 0, u'[1,-1,0,315,1066]')
(409, 1, u'[1,a+1,a+1,a,0]')
(419, 1, u'[a+1,-a+1,a,-4*a-1,a+1]')
(419, 1, u'[1,-a,1,a-1,0]')
(431, 1, u'[0,-a+1,a,-a,0]')
(431, 0, u'[a,-a+1,a+1,-2*a+1,-a]')
(431, 0, u'[a,-a+1,a+1,8*a-14,19*a-35]')
(431, 0, u'[a+1,-a+1,a,-2*a-1,0]')
(431, 0, u'[a+1,-a+1,a,3*a-11,-7*a+8]')
(431, 0, u'[a,a,a+1,677*a-1104,-10353*a+16735]')
(431, 0, u'[a+1,-a+1,a,13*a-6,-5*a+5]')
(431, 0, u'[0,1,a,32*a-54,-100*a+159]')
(431, 0, u'[0,a+1,a,-602*a-382,-9154*a-5643]')
(441, 0, u'[1,0,0,-39,90]')
(441, 0, u'[1,0,0,-4,-1]')
(441, 0, u'[1,0,0,1,0]')
(441, 0, u'[1,0,0,-49,-136]')
(441, 0, u'[1,0,0,-34,-217]')
(441, 0, u'[1,0,0,-784,-8515]')
(441, 0, u'[a+1,0,0,16128*a-26096,-1178679*a+1907142]')
(441, 0, u'[1,-a+1,a,143*a-239,-938*a+1511]')
(441, 0, u'[a,-a,a,-3,-2*a]')
(441, 0, u'[a+1,a-1,a+1,-2302*a-1429,-65452*a-40441]')
(441, 0, u'[a+1,a,a,-3*a-3,-9*a-6]')
(441, 0, u'[a+1,a,a,2*a+2,-14*a-11]')
(445, 1, u'[a+1,-1,a+1,-2*a-2,-a]')
(445, 1, u'[a+1,-1,a+1,-7*a-7,-12*a-8]')
(445, 1, u'[a,a+1,1,134*a-214,902*a-1462]')
(445, 1, u'[a+1,-1,a+1,-112*a-62,-661*a-420]')
(449, 1, u'[0,a-1,a,-a,0]')
(449, 0, u'[0,1,a+1,a-1,-a]')
(449, 0, u'[0,a+1,a+1,-18*a-9,-61*a-38]')
(451, 1, u'[0,a,a,a+1,0]')
(451, 0, u'[a+1,-1,0,a-1,-a+1]')
(451, 0, u'[a+1,-1,0,-24*a-11,-68*a-38]')
(451, 0, u'[1,-a+1,1,-1,a-2]')
(451, 0, u'[a,-a,1,-27*a-21,-77*a-53]')
(464, 1, u'[0,a-1,0,-a-1,1]')
(464, 1, u'[0,a-1,0,-6*a-1,-7*a-3]')
(464, 0, u'[0,-1,0,-2*a-2,3*a+2]')
(464, 0, u'[0,-1,0,3*a-7,-a+13]')
(464, 0, u'[0,a+1,0,224*a-365,1970*a-3195]')
(464, 0, u'[0,-1,0,43*a-47,-33*a-235]')
(464, 0, u'[0,0,0,-17*a-12,-43*a-26]')
(464, 0, u'[0,0,0,67*a-114,-336*a+538]')
(475, 1, u'[a+1,-1,a+1,-a-2,-a]')
(475, 1, u'[a+1,-1,a+1,4*a-17,-16*a+30]')
(475, 0, u'[a+1,a,0,484*a-809,-6432*a+10440]')
(475, 0, u'[a+1,a,0,9*a-9,-7*a+15]')
(475, 0, u'[a+1,a,0,34*a-59,108*a-180]')
(475, 0, u'[1,a-1,a+1,-1394*a-1023,31487*a+20323]')
(475, 0, u'[1,a-1,a+1,-294*a-173,2777*a+1653]')
(475, 0, u'[a,a,a+1,-160736*a-99351,36970088*a+22848864]')
(475, 0, u'[a+1,a,0,534*a-934,7483*a-12430]')
(475, 0, u'[1,a-1,a+1,-1369*a-1098,31187*a+19198]')
(475, 0, u'[a,a,0,-3,-5*a-3]')
(475, 0, u'[a,a,0,-25*a-53,-155*a-178]')
(479, 0, u'[1,-a-1,a,a-1,-1]')
(479, 0, u'[1,-a-1,a,-4*a-1,-4]')
(484, 0, u'[a+1,-a-1,1,-6*a-6,11*a+8]')
(484, 0, u'[a+1,-a-1,1,39*a+39,-109*a-82]')
(484, 0, u'[a+1,-a-1,1,-6066*a-6066,-323245*a-242434]')
(484, 0, u'[a+1,-1,a+1,-3*a-1,-2*a-1]')
(484, 0, u'[1,a,a+1,-678*a-420,-10592*a-6547]')
(484, 0, u'[a+1,a,a+1,-a-1,-3*a-2]')
(484, 0, u'[a+1,a,a+1,-21*a-21,-95*a-66]')
(484, 0, u'[1,-a,0,2709*a-4384,81957*a-132609]')
(484, 0, u'[1,a-1,0,-2709*a-1675,-81957*a-50652]')
(484, 1, u'[1,1,a+1,-1,-a]')
(484, 1, u'[1,1,a+1,60*a-96,-242*a+388]')
(484, 0, u'[1,-a+1,a+1,-5*a-5,23*a+9]')
(484, 0, u'[a+1,0,1,893*a-1430,15172*a-24603]')
(495, 1, u'[a,a,a,a-1,0]')
(495, 1, u'[a,a,a,6*a-11,-11*a+17]')
(495, 1, u'[a,a,a,101*a-171,-638*a+1018]')
(495, 1, u'[a+1,-a+1,a+1,-81*a-50,378*a+236]')
(495, 0, u'[1,-a+1,a,-3,1]')
(495, 0, u'[1,-a+1,a,-15*a-13,40*a+24]')
(495, 0, u'[a+1,a-1,a+1,-12273*a-7584,772903*a+477680]')
(495, 0, u'[1,-a+1,a,-38,91*a-62]')
(495, 0, u'[a+1,0,0,1919*a-3122,48680*a-78800]')
(495, 0, u'[1,-a+1,a,15*a+12,285*a-101]')
(495, 0, u'[1,-a+1,a,390*a-383,1768*a-5423]')
(495, 0, u'[a,0,0,211264*a-341872,55903043*a-90453129]')
(505, 0, u'[0,a-1,1,-2*a+2,2*a-3]')
(505, 0, u'[0,a-1,1,328*a-538,3266*a-5355]')
(505, 0, u'[1,-a+1,0,-4,4*a-5]')
(505, 0, u'[1,-a+1,0,1,0]')
(505, 0, u'[1,-a+1,0,-20*a-19,68*a+38]')
(505, 0, u'[a+1,0,a,250*a-411,2315*a-3754]')
(509, 1, u'[a,a+1,1,a,0]')
(509, 0, u'[a,-a+1,1,-a-4,a-6]')
(521, 1, u'[a+1,-a+1,0,-a,0]')
(521, 1, u'[a,a,1,11*a-16,18*a-28]')
(524, 1, u'[a,-a+1,a,-a-1,0]')
(529, 0, u'[0,a-1,1,-4*a-3,-6*a-4]')
(531, 1, u'[1,a,a,1,0]')
(531, 1, u'[a,a-1,a,-3,-2*a+3]')
(539, 1, u'[1,-a+1,0,-2*a,a+1]')
(539, 1, u'[1,-a+1,0,-17*a-10,-36*a-25]')
(539, 0, u'[a+1,-a-1,a,-28*a-21,-80*a-51]')
(539, 0, u'[a+1,-a-1,a,-3*a-1,-a-1]')
(541, 1, u'[a,0,a+1,-a,-a]')
(541, 1, u'[a,0,a+1,-a-5,5*a-15]')
(545, 0, u'[a+1,a+1,a,2*a-1,a-1]')
(545, 0, u'[a+1,a+1,a,17*a-26,40*a-66]')
(545, 0, u'[a,1,a,1797*a-2912,44574*a-72128]')
(545, 0, u'[a+1,a+1,a,22*a-21,53*a-67]')
(545, 0, u'[1,-a+1,0,-a-1,0]')
(545, 0, u'[1,-a+1,0,4*a+4,-3*a+1]')
(545, 0, u'[1,-a+1,0,-66*a-56,-333*a-241]')
(545, 0, u'[1,-a+1,0,-71*a-46,-328*a-269]')
(549, 1, u'[a,-1,a+1,-a-1,-a]')
(549, 1, u'[1,a,0,-6*a+2,3*a]')
(549, 0, u'[a+1,-a+1,1,-17*a-32,72*a-7]')
(549, 0, u'[a+1,-a+1,1,3*a+3,8*a+3]')
(549, 0, u'[1,-a-1,0,-a-1,-a+1]')
(549, 0, u'[a,1,1,-219*a-138,-2003*a-1237]')
(551, 1, u'[a,a+1,a+1,a,0]')
(551, 1, u'[a,a+1,a+1,a-5,2*a-5]')
(551, 1, u'[a+1,-1,1,-235*a-145,2010*a+1241]')
(551, 1, u'[1,1,a+1,282*a-459,2862*a-4634]')
(551, 1, u'[1,a+1,1,a,0]')
(551, 1, u'[1,a+1,1,6*a-5,-2*a+6]')
(556, 1, u'[a+1,1,0,a+1,1]')
(571, 1, u'[a,1,1,0,0]')
(576, 0, u'[0,-1,0,-4,4]')
(576, 0, u'[0,-1,0,1,0]')
(576, 0, u'[0,-1,0,-64,220]')
(576, 0, u'[0,-1,0,-24,-36]')
(576, 0, u'[0,-1,0,-384,-2772]')
(576, 0, u'[0,-1,0,16,-180]')
(576, 0, u'[0,-a+1,0,-44*a-40,-196*a-112]')
(576, 0, u'[0,-a+1,0,-4*a,-4*a]')
(576, 0, u'[0,-a-1,0,1024*a-1664,-19072*a+30876]')
(576, 0, u'[0,1,0,a-20,-29*a+12]')
(576, 0, u'[0,1,0,a,-a]')
(576, 0, u'[0,1,0,-119*a-100,-909*a-556]')
(576, 0, u'[0,-a+1,0,-34*a-33,95*a+63]')
(576, 0, u'[0,-a+1,0,6*a+7,7*a+7]')
(580, 0, u'[a,-a,a+1,0,-a-1]')
(580, 0, u'[1,-a+1,a+1,130*a-216,963*a-1563]')
(580, 0, u'[a+1,0,0,-7*a+5,8*a-9]')
(580, 0, u'[a+1,0,0,148*a-200,880*a-1384]')
(589, 1, u'[a+1,a,0,4*a-1,3*a]')
(589, 1, u'[1,a-1,0,a,1]')
(589, 0, u'[a+1,0,a+1,-3*a-3,-5*a-3]')
(589, 0, u'[a+1,0,a+1,-193*a-168,-1862*a-1282]')
(589, 0, u'[1,a+1,1,-a-3,-5*a-5]')
(596, 1, u'[a+1,-1,a,-2*a-4,3]')
(596, 1, u'[a,a+1,0,971*a-1565,17491*a-28313]')
(596, 1, u'[a,a-1,a,0,0]')
(601, 1, u'[0,a+1,a+1,a+1,0]')
(604, 1, u'[a,a-1,a+1,-a-1,-a]')
(604, 1, u'[a+1,a,a+1,-53*a-32,162*a+100]')
(604, 0, u'[1,1,1,a-1,0]')
(604, 0, u'[1,1,1,-9*a+4,-10*a-2]')
(604, 0, u'[a,a+1,1,-2637*a-1648,-81226*a-50237]')
(605, 1, u'[1,-1,0,-59,190]')
(605, 1, u'[1,-1,0,-4,3]')
(605, 1, u'[1,-1,0,1,0]')
(605, 1, u'[1,-1,0,-29,-52]')
(605, 1, u'[a,-a-1,0,-1422*a-878,-29934*a-18511]')
(605, 1, u'[a+1,1,a+1,1422*a-2301,31356*a-50746]')
(605, 0, u'[a+1,a,0,1,0]')
(605, 0, u'[a+1,a,0,-4,-7*a-2]')
(605, 0, u'[a+1,a,0,35*a-34,-84*a+119]')
(605, 0, u'[a+1,a,0,-35*a-54,-238*a-211]')
(605, 0, u'[a+1,a,0,-45*a-29,-207*a-327]')
(605, 0, u'[1,a-1,a+1,-5574*a-3520,-243182*a-150513]')
(605, 1, u'[a+1,-a-1,a+1,-6*a-17,13*a+28]')
(605, 1, u'[a+1,-a-1,a+1,-a-2,0]')
(605, 0, u'[1,1,0,-2,7*a+3]')
(605, 0, u'[1,1,0,-35*a-52,210*a+51]')
(605, 0, u'[a+1,a-1,a,377*a-607,-4405*a+7107]')
(605, 0, u'[1,1,0,-770*a-497,12257*a+7460]')
(605, 0, u'[1,1,0,-260*a-287,-3445*a-1696]')
(605, 0, u'[a+1,a-1,a,1502*a-2457,33106*a-53599]')
(605, 0, u'[1,1,0,-935*a-387,8620*a+7934]')
(605, 0, u'[1,1,0,-4785*a-3467,-204530*a-130554]')
(605, 0, u'[a,a,0,8*a-15,11*a+17]')
(605, 0, u'[a,a,0,3*a-195,847*a-500]')
(620, 1, u'[a+1,-a-1,1,-a-2,a+1]')
(620, 1, u'[a+1,-a-1,1,-21*a-12,57*a+37]')
(620, 0, u'[a+1,-a,1,-a,0]')
(620, 0, u'[a+1,-a,1,4*a-5,2*a-10]')
(620, 0, u'[a,-a+1,1,1932*a-3156,50492*a-81759]')
(639, 1, u'[0,a+1,a,a,0]')
(639, 0, u'[0,1,a,-76*a-53,375*a+235]')
(639, 0, u'[0,-1,a,80172*a-129697,13036100*a-21092964]')
(639, 0, u'[a,-a+1,1,-6,-3*a]')
(639, 0, u'[a,-a+1,1,45*a-81,-171*a+276]')
(639, 0, u'[a,-a+1,1,-1,a-2]')
(639, 0, u'[a+1,-a,1,-256*a-156,-2345*a-1447]')
(641, 1, u'[a+1,-a-1,1,-a,0]')
(641, 0, u'[0,a+1,a+1,2*a-3,-4]')
(649, 1, u'[a,-a-1,a+1,-a-1,0]')
(649, 1, u'[a,-a-1,a+1,-a-6,-4*a+3]')
(649, 1, u'[1,-1,a+1,271*a-438,-2634*a+4258]')
(649, 1, u'[a,-a-1,a+1,-46*a-31,-159*a-88]')
(649, 0, u'[a+1,-a,a+1,-2*a,-a]')
(649, 0, u'[a+1,-a,a+1,3*a-10,9*a-19]')
(649, 0, u'[a+1,0,a+1,-27*a-17,-92*a-57]')
(649, 1, u'[0,-1,a,a-1,-a+1]')
(649, 0, u'[1,a+1,0,-4*a-4,-13*a-9]')
(649, 0, u'[1,a+1,0,a+1,0]')
(649, 0, u'[1,a+1,0,-89*a-64,-620*a-375]')
(649, 0, u'[a+1,-a+1,0,74*a-123,422*a-683]')
(655, 1, u'[a+1,-1,a+1,2*a-8,-7*a+10]')
(655, 1, u'[a,1,1,1,0]')
(655, 0, u'[a+1,0,a+1,a-2,a-1]')
(655, 0, u'[a+1,0,a+1,-4*a-7,1]')
(655, 0, u'[a+1,0,a+1,-9*a-62,-199*a+39]')
(655, 0, u'[a+1,0,a+1,-79*a-32,295*a+191]')
(656, 0, u'[0,a+1,0,a-2,-4*a-1]')
(656, 0, u'[0,a+1,0,-159*a-82,-1220*a-753]')
(671, 1, u'[a+1,1,0,-a+4,-2*a+2]')
(671, 1, u'[a,a,1,0,0]')
(676, 0, u'[1,0,1,0,0]')
(676, 0, u'[1,0,1,-5,-8]')
(676, 0, u'[1,0,1,-460,-3830]')
(676, 1, u'[1,1,a,a-3,-a+1]')
(676, 1, u'[a,a+1,a,-52*a-32,164*a+102]')
(676, 0, u'[1,-1,1,-3,3]')
(676, 0, u'[1,-1,1,-213,-1257]')
(684, 1, u'[a,-a+1,a+1,-66*a-52,332*a+214]')
(684, 1, u'[a,-a+1,a+1,-6*a-2,4*a+4]')
(684, 0, u'[a,-a,a+1,-3*a-18,-18*a-3]')
(684, 0, u'[a,-a,a+1,-3*a+2,-2*a+1]')
(684, 0, u'[a,-a,a+1,87*a-168,-552*a+879]')
(684, 0, u'[a+1,a-1,a,-1024*a-651,-19873*a-12304]')
(695, 1, u'[a,-a,a,-2*a-1,a+1]')
(695, 1, u'[a,a+1,a+1,6*a-7,-5*a+9]')
(695, 1, u'[a,a+1,a+1,-9*a-2,-44*a+20]')
(695, 0, u'[1,0,a,-16*a-11,-39*a-24]')
(695, 0, u'[a+1,-a,a,56*a-99,-255*a+409]')
(695, 0, u'[a+1,-a,a,a-4,2*a-4]')
(695, 0, u'[a,0,a,-1771*a-1094,-43255*a-26733]')
(701, 0, u'[1,0,a,-a,0]')
(701, 0, u'[1,0,a,4*a,-6*a-7]')
(704, 1, u'[0,-a-1,0,0,a+1]')
(704, 1, u'[0,-a-1,0,5*a-5,-3*a+8]')
(704, 1, u'[0,0,0,-3*a-2,3*a+2]')
(704, 1, u'[0,0,0,15*a-26,-36*a+58]')
(704, 1, u'[0,0,0,255*a-406,-2304*a+3726]')
(704, 1, u'[0,0,0,-63*a-47,-312*a-194]')
(704, 1, u'[0,0,0,-1023*a-727,-19856*a-12626]')
(704, 1, u'[0,0,0,-63*a-7,-480*a-306]')
(704, 0, u'[0,a+1,0,-6*a-5,-18*a-12]')
(704, 0, u'[0,1,0,68*a-112,352*a-572]')
(704, 0, u'[0,a-1,0,a-4,-2]')
(704, 0, u'[0,a-1,0,36*a-64,120*a-192]')
(704, 0, u'[0,a-1,0,6*a-9,-11*a+13]')
(704, 0, u'[0,a,0,-122*a-75,-843*a-522]')
(704, 0, u'[0,-a+1,0,-2*a,a+1]')
(704, 0, u'[0,-a+1,0,-7*a-5,-9*a-6]')
(704, 0, u'[0,-a+1,0,-107*a-85,-701*a-410]')
(704, 0, u'[0,a,0,44*a-68,148*a-244]')
(711, 1, u'[0,1,a,-5*a-4,5*a+4]')
(711, 1, u'[0,a-1,a,-a+1,-1]')
(716, 1, u'[a+1,-a-1,a,-3,-a+2]')
(719, 1, u'[a+1,a+1,a,2*a+1,a+1]')
(719, 1, u'[0,a-1,a,3*a-4,-5*a+7]')
(719, 1, u'[1,-a-1,a+1,-7*a-3,14*a+9]')
(719, 0, u'[1,-a,a+1,4*a-8,-5*a+7]')
(719, 0, u'[a,a-1,0,-42*a-27,142*a+89]')
(719, 0, u'[a+1,a,0,-4681*a-2895,179281*a+110801]')
(719, 0, u'[1,-a,a+1,-26*a+27,-22*a+59]')
(719, 0, u'[0,-a-1,a,2*a,-a]')
(719, 0, u'[0,-a-1,a,2*a-10,-13]')
(725, 1, u'[0,-1,a+1,-2*a-2,2*a+2]')
(725, 1, u'[0,a-1,a+1,148*a-246,-1151*a+1868]')
(725, 1, u'[0,a,a+1,2*a+2,-a]')
(725, 0, u'[1,-1,a,2*a-77,176*a-28]')
(725, 0, u'[1,-1,a,27*a-52,91*a-148]')
(725, 0, u'[1,-1,a,2*a-2,a-3]')
(725, 0, u'[a,-a-1,a,-3544*a-2272,125529*a+77866]')
(725, 0, u'[1,-1,a,3452*a-6752,-138149*a+239247]')
(725, 0, u'[1,-1,a+1,-2691333*a-1663335,2541889053*a+1570973833]')
(725, 0, u'[a+1,1,1,3387*a-5493,114900*a-185944]')
(725, 0, u'[1,-1,a,-123*a+173,776*a-703]')
(725, 0, u'[0,0,a+1,-55*a-25,-227*a-103]')
(725, 0, u'[0,0,a+1,57415*a-92810,-7909437*a+12798927]')
(725, 0, u'[0,-a,a+1,2*a-13,7*a-21]')
(729, 1, u'[0,0,1,-30,63]')
(729, 1, u'[0,0,1,0,0]')
(729, 1, u'[0,0,1,0,-7]')
(729, 1, u'[0,0,1,-270,-1708]')
(729, 1, u'[1,-1,a,a-3,-2*a+3]')
(729, 1, u'[a,-a-1,a,-32*a-17,-78*a-48]')
(729, 0, u'[a,-a-1,a+1,-4*a-2,5*a+3]')
(729, 0, u'[1,-1,a+1,13*a-29,33*a-60]')
(729, 0, u'[0,0,a+1,0,-a]')
(729, 0, u'[0,0,a+1,0,6*a-14]')
(739, 1, u'[a,-a-1,a+1,4*a-8,-7*a+10]')
(751, 0, u'[a+1,-a,0,-4*a-6,9*a+2]')
(751, 0, u'[a,-a+1,0,180*a-293,1508*a-2439]')
(755, 1, u'[a+1,-1,a+1,5*a-12,-13*a+20]')
(755, 1, u'[1,0,a+1,-a,-a]')
(755, 1, u'[1,0,a+1,4*a-5,7*a-15]')
(755, 0, u'[1,a,a+1,2*a-3,-2*a+2]')
(755, 0, u'[1,a,a+1,7*a-13,9*a-17]')
(755, 0, u'[1,a,a+1,112*a-198,743*a-1188]')
(755, 0, u'[a,-a+1,0,-54*a-29,-214*a-137]')
(764, 1, u'[1,-a+1,a+1,-3*a-2,2*a+1]')
(764, 1, u'[1,-a+1,a+1,-43*a-22,150*a+97]')
(769, 1, u'[a+1,0,0,a-1,0]')
(769, 1, u'[1,-a+1,a,-12*a-5,-19*a-11]')
(769, 1, u'[a,-a,0,-2*a-2,3*a+2]')
(775, 1, u'[0,a,a,11*a-30,-37*a+71]')
(775, 1, u'[0,a,a,a,0]')
(775, 1, u'[0,1,a,-3,a-1]')
(775, 0, u'[a,a,1,107*a-173,620*a-1002]')
(775, 0, u'[a+1,-a+1,0,-62*a-76,411*a+171]')
(775, 0, u'[1,a+1,0,-8663*a-5338,455336*a+281393]')
(775, 0, u'[a+1,-a+1,0,-12*a-251,-694*a+861]')
(775, 0, u'[0,-a+1,a,-17*a-16,-45*a-30]')
(775, 0, u'[0,a+1,a,6*a-6,1]')
(775, 0, u'[0,a+1,a,206*a-356,1825*a-3024]')
(775, 0, u'[a,-a,0,556*a-910,-7512*a+12147]')
(775, 0, u'[a+1,a-1,1,-a-2,-3*a-2]')
(775, 0, u'[a+1,a-1,1,-26*a-27,-133*a-62]')
(775, 0, u'[1,-a+1,0,61492*a-99493,-8737966*a+14138322]')
(775, 0, u'[a+1,a-1,1,-76*a-227,447*a+1348]')
(775, 0, u'[1,1,a+1,-3413*a-2108,-116137*a-71773]')
(779, 0, u'[a+1,-a+1,1,-3*a+1,-2*a]')
(779, 0, u'[1,a+1,1,-143*a-90,-1140*a-705]')
(779, 1, u'[1,a,1,-1,0]')
(779, 0, u'[0,a+1,a,6*a-7,10*a-15]')
(779, 0, u'[0,a+1,a,436*a-707,5297*a-8596]')
(781, 0, u'[a,-1,a,-2*a,a-1]')
(781, 0, u'[a,-1,a,3*a-10,4*a-8]')
(781, 0, u'[a,-1,a,-2*a-50,-121*a+57]')
(781, 0, u'[a,-1,a,88*a-130,401*a-661]')
(781, 1, u'[1,0,a+1,-3*a-2,-3*a-2]')
(781, 1, u'[1,0,a+1,-38*a-27,-143*a-91]')
(784, 0, u'[0,0,0,-16*a-16,44*a+33]')
(784, 0, u'[0,0,0,-2053*a-1270,53560*a+33102]')
(784, 0, u'[0,0,0,296*a-487,-2984*a+4830]')
(784, 0, u'[0,0,0,-11*a-11,72*a+54]')
(801, 1, u'[1,a-1,0,a-2,0]')
(801, 1, u'[1,a-1,0,-4*a+8,7*a-10]')
(809, 1, u'[a,-a-1,a,-1,0]')
(809, 1, u'[a,-a-1,a,5*a-6,4*a-7]')
(811, 1, u'[a,0,a,-a-1,0]')
(811, 1, u'[a,0,a,4*a+4,-4*a-5]')
(820, 1, u'[1,a+1,0,2*a-1,1]')
(820, 1, u'[1,a+1,0,12*a-31,-34*a+63]')
(829, 1, u'[a,1,a+1,-a,-a]')
(829, 1, u'[a+1,-1,0,-2*a,a]')
(829, 1, u'[a+1,-1,0,3*a-20,4*a-31]')
(829, 1, u'[a,-a+1,a,23*a-39,-55*a+88]')
(829, 1, u'[a+1,-a,a,-164*a-107,-1237*a-753]')
(836, 1, u'[a+1,-a,a,-a,-a+1]')
(836, 0, u'[1,a-1,0,-12*a-4,22*a+10]')
(836, 0, u'[a+1,a,a+1,2015*a-3272,51754*a-84002]')
(836, 0, u'[a,0,1,-a,0]')
(836, 0, u'[a,0,1,4*a,2*a-6]')
(836, 0, u'[a,0,1,104*a-310,946*a-2218]')
(836, 1, u'[1,-a+1,0,3*a-7,7*a-10]')
(836, 1, u'[1,-a+1,0,23*a-47,-69*a+102]')
(836, 1, u'[1,-a+1,0,373*a-757,-5395*a+8016]')
(836, 1, u'[1,-a+1,0,-7*a+23,-327*a+476]')
(836, 0, u'[a,0,0,-23*a-29,77*a+69]')
(836, 0, u'[1,0,0,721*a-1176,-11175*a+18093]')
(836, 0, u'[a,0,0,-28*a-59,-a-78]')
(836, 0, u'[a,0,0,292*a-59,-769*a+882]')
(836, 0, u'[1,0,0,9161*a-15731,534651*a-875694]')
(836, 0, u'[a,0,0,-1348*a-3959,-57589*a-102594]')
(841, 1, u'[a,0,a+1,-a-2,-a]')
(841, 1, u'[a,0,a+1,-11*a-7,15*a+11]')
(845, 1, u'[1,0,0,-1,0]')
(845, 1, u'[1,0,0,4,1]')
(855, 1, u'[a,a-1,a+1,-7*a-5,6*a+4]')
(855, 1, u'[a,a-1,a+1,-2*a,-a-1]')
(855, 1, u'[a,a-1,a+1,-97*a-80,588*a+337]')
(855, 1, u'[1,-a,0,39*a-63,-126*a+207]')
(855, 0, u'[a,a,a+1,-a-3,-3*a-3]')
(855, 0, u'[a+1,-a+1,a,-209*a-128,-1799*a-1112]')
(855, 0, u'[a+1,-1,a,a-3,-2*a+3]')
(855, 0, u'[a+1,-1,a,a-8,2*a-2]')
(855, 0, u'[1,a,a,-208*a-124,1576*a+971]')
(855, 0, u'[a+1,-1,a,46*a-98,209*a-380]')
(855, 0, u'[1,a,a,-1033*a-654,-19938*a-12360]')
(855, 0, u'[a,a+1,0,6224*a-10064,283403*a-458560]')
(855, 0, u'[a+1,-a,a,4*a-8,6*a-11]')
(855, 0, u'[a+1,-a,a,-11*a+7,21*a-44]')
(869, 1, u'[a+1,-a+1,1,a-3,1]')
(869, 1, u'[a+1,-a+1,1,-9*a-8,12*a+11]')
(880, 0, u'[0,0,0,-37*a-26,-136*a-86]')
(880, 0, u'[0,0,0,-a+1,a-2]')
(880, 0, u'[0,1,0,27*a-47,-79*a+127]')
(880, 0, u'[0,1,0,2*a-2,-a+2]')
(880, 0, u'[0,1,0,-18*a+18,11*a-38]')
(880, 0, u'[0,a+1,0,-566*a-373,-8475*a-5269]')
(881, 0, u'[0,1,a,a,0]')
(881, 0, u'[0,1,a,-9*a,-15*a-7]')
(891, 0, u'[1,-1,1,2160*a-3554,-59299*a+96135]')
(891, 0, u'[a,-a-1,1,4*a-42,-41*a+92]')
(891, 0, u'[a,-a-1,1,4*a+3,-5*a+2]')
(891, 0, u'[a+1,1,a+1,-19683*a-12268,1576908*a+974960]')
(891, 0, u'[a+1,1,a,239756*a-387938,-67486715*a+109195812]')
(891, 0, u'[a,-a-1,1,-131*a-177,-1121*a-880]')
(895, 1, u'[0,a+1,a+1,a-4,-2*a+2]')
(895, 1, u'[0,0,a+1,a,0]')
(895, 0, u'[0,-a-1,a+1,15*a-26,-36*a+63]')
(895, 0, u'[0,-a-1,a+1,35*a-26,-33*a+5]')
(899, 0, u'[1,1,0,4*a-7,7*a-12]')
(899, 0, u'[1,1,0,69*a-117,380*a-612]')
(899, 0, u'[1,1,a,-3*a,-2*a-3]')
(899, 0, u'[1,1,a,7*a-15,15*a-32]')
(899, 1, u'[a,1,1,6*a-9,-6*a+10]')
(899, 1, u'[a+1,a+1,1,-5*a-4,-8*a-3]')
(900, 0, u'[a+1,-a-1,1,-93*a-93,-525*a-394]')
(900, 0, u'[a+1,-a-1,1,7*a+7,-45*a-34]')
(900, 0, u'[a+1,-a-1,1,-1668*a-1668,47355*a+35516]')
(900, 0, u'[a+1,-a-1,1,-68*a-68,1275*a+956]')
(900, 0, u'[a+1,-a-1,1,-26668*a-26668,3007355*a+2255516]')
(900, 0, u'[a+1,-a-1,1,-343*a-343,3875*a+2906]')
(900, 0, u'[a+1,-a-1,1,-2268*a-2268,10875*a+8156]')
(900, 0, u'[a+1,-a-1,1,-1443*a-1443,-37245*a-27934]')
(900, 0, u'[1,0,0,-28,272]')
(900, 0, u'[1,0,0,-828,9072]')
(900, 0, u'[1,0,0,-53,-153]')
(900, 0, u'[1,0,0,-3,-3]')
(905, 1, u'[0,-a,a+1,-7*a-3,12*a+10]')
(905, 1, u'[0,-a,a+1,213*a-463,1401*a-4842]')
(905, 1, u'[0,-a+1,a+1,0,-a]')
(905, 0, u'[a+1,-a+1,0,-5*a-14,12*a+11]')
(905, 0, u'[a+1,-a+1,0,-4,a-6]')
(905, 0, u'[a+1,-a+1,0,1,0]')
(905, 0, u'[a+1,-a+1,0,5*a-74,34*a-287]')
(909, 1, u'[a,-a+1,1,0,0]')
(916, 1, u'[a+1,-a,a,1,0]')
(919, 1, u'[a,0,a+1,-a-1,-a]')
(919, 1, u'[a,0,a+1,-a+4,7*a-13]')
(919, 0, u'[a,a,0,a,0]')
(919, 0, u'[a,a,0,-4*a,-6*a-5]')
(931, 1, u'[0,-a-1,1,-4*a-2,10*a+6]')
(944, 0, u'[0,-a-1,0,-a+1,0]')
(944, 0, u'[0,-a-1,0,4*a-4,-4*a]')
(956, 1, u'[a+1,-a+1,a+1,3*a-8,-4*a+5]')
(956, 1, u'[a,1,1,-2*a-3,a+1]')
(956, 0, u'[1,-1,1,85*a-139,434*a-702]')
(956, 0, u'[a,-a-1,1,-a-2,-1]')
(961, 1, u'[0,a,1,2,a-2]')
(961, 1, u'[a+1,-a,0,7*a-23,-24*a+20]')
(961, 1, u'[1,0,0,-594*a-390,-8580*a-5345]')
(961, 1, u'[a+1,-a,0,1017*a-1853,21096*a-35088]')
(961, 1, u'[a,0,0,-66265*a-40952,-9832128*a-6076598]')
(961, 1, u'[a+1,-a,0,652*a-2048,27054*a-32629]')
(961, 1, u'[1,a,a+1,834227*a-1349799,438442396*a-709414712]')
(961, 1, u'[0,-a-1,1,-1,2*a+1]')
(961, 0, u'[0,-a,1,-42*a-53,-192*a-140]')
(964, 1, u'[a,a,a,-a-1,-2*a+1]')
(964, 0, u'[a+1,a-1,a,-4*a-1,a]')
(964, 0, u'[a+1,a-1,a,-9*a-16,-32*a-29]')
(964, 0, u'[a,-a,a+1,2682*a-4688,86629*a-142543]')
(964, 1, u'[a+1,-1,1,-2,-a+1]')
(971, 0, u'[a+1,0,a+1,9*a-17,-19*a+29]')
(971, 0, u'[1,-a+1,1,-84*a-52,-434*a-263]')
(979, 1, u'[a+1,-a+1,a,-2*a-2,a-1]')
(979, 1, u'[a+1,-a+1,a,3*a-7,6]')
(980, 0, u'[1,-1,1,-88,317]')
(980, 0, u'[1,-1,1,-18,-19]')
(980, 0, u'[1,-1,1,2,-3]')
(980, 0, u'[1,-1,1,-268,-1619]')
(991, 1, u'[a+1,1,1,0,0]')
(991, 0, u'[a,1,a,-3*a-3,2*a]')
(991, 0, u'[1,-a-1,a+1,69*a-112,327*a-530]')
(995, 1, u'[a,-1,1,-1,0]')
(995, 1, u'[a,-1,1,5*a-16,16*a-18]')
