
(u'36a', u'a1', u'[a+1,a,a,0,0]', u'[a+1,a,a,0,0]')
(u'36a', u'a2', u'[a+1,a,a,-10*a-10,10*a+10]', u'[a+1,a,a,-10*a-10,10*a+10]')
(u'36a', u'a3', u'[a+1,a,a,-165*a-165,-1683*a-1221]', u'[a+1,a,a,-165*a-165,-1683*a-1221]')
(u'36a', u'a4', u'[a+1,a,a,-5*a-5,-51*a-37]', u'[a+1,a,a,-5*a-5,-51*a-37]')
(u'45a', u'a1', u'[1,1,1,-80,242]', u'[1,1,1,-80,242]')
(u'45a', u'a2', u'[1,1,1,-5,2]', u'[1,1,1,-5,2]')
(u'45a', u'a3', u'[1,1,1,0,0]', u'[1,1,1,0,0]')
(u'45a', u'a4', u'[1,1,1,-10,-10]', u'[1,1,1,-10,-10]')
(u'45a', u'a5', u'[1,1,1,-135,-660]', u'[1,1,1,-135,-660]')
(u'45a', u'a6', u'[1,1,1,35,-28]', u'[1,1,1,35,-28]')
(u'45a', u'a7', u'[1,1,1,-2160,-39540]', u'[1,1,1,-2160,-39540]')
(u'45a', u'a8', u'[1,1,1,-110,-880]', u'[1,1,1,-110,-880]')
(u'45a', u'a10', u'[1,-a+1,a,4976732*a-8052529,6393196917*a-10344409915]', u'[1,-a+1,a,4976732*a-8052529,6393196917*a-10344409915]')
(u'49a', u'a1', u'[0,-a+1,1,1,0]', u'[0,-a+1,1,1,0]')
(u'49a', u'a2', u'[0,-a+1,1,-30*a-29,-102*a-84]', u'[0,-a+1,1,-30*a-29,-102*a-84]')
(u'64a', u'a1', u'[0,a-1,0,-a,0]', u'[0,a-1,0,-a,0]')
(u'64a', u'a3', u'[0,a-1,0,-11*a-5,17*a+10]', u'[0,a-1,0,-11*a-5,17*a+10]')
(u'64a', u'a4', u'[0,a-1,0,-6*a-5,-11*a-7]', u'[0,a-1,0,-6*a-5,-11*a-7]')
(u'64a', u'a5', u'[0,-a,0,106*a-171,647*a-1050]', u'[0,-a,0,106*a-171,647*a-1050]')
(u'80a', u'a1', u'[0,1,0,-1,0]', u'[0,1,0,-1,0]')
(u'80a', u'a2', u'[0,1,0,-5*a-11,17*a-1]', u'[0,1,0,-5*a-11,17*a-1]')
(u'80a', u'a4', u'[0,1,0,4,4]', u'[0,1,0,4,4]')
(u'80a', u'a5', u'[0,1,0,-41,-116]', u'[0,1,0,-41,-116]')
(u'80a', u'a6', u'[0,-a-1,0,2025*a-3281,52269*a-84572]', u'[0,-a-1,0,2025*a-3281,52269*a-84572]')
(u'80a', u'a8', u'[0,1,0,-36,-140]', u'[0,1,0,-36,-140]')
(u'81a', u'a5', u'[a,-a-1,a+1,-1153*a-719,-21854*a-13501]', u'[a,-a-1,a+1,-1153*a-719,-21854*a-13501]')
(u'100a', u'a1', u'[1,1,1,-3,1]', u'[1,1,1,-3,1]')
(u'100a', u'a2', u'[1,0,1,-1,-2]', u'[1,0,1,-1,-2]')
(u'100a', u'a3', u'[1,1,1,22,-9]', u'[1,1,1,22,-9]')
(u'100a', u'a4', u'[1,0,1,-126,-552]', u'[1,0,1,-126,-552]')
(u'100a', u'b1', u'[a+1,a,a+1,-25*a-25,53*a+46]', u'[a+1,a,a+1,-25*a-25,53*a+46]')
(u'100a', u'b2', u'[a+1,a,a+1,0,0]', u'[a+1,a,a+1,0,0]')
(u'100a', u'b3', u'[a+1,a,a+1,-15*a-15,-69*a-48]', u'[a+1,a,a+1,-15*a-15,-69*a-48]')
(u'100a', u'b4', u'[a+1,a,a+1,110*a+110,506*a+352]', u'[a+1,a,a+1,110*a+110,506*a+352]')
(u'121a', u'a1', u'[0,-1,1,0,0]', u'[0,-1,1,0,0]')
(u'121a', u'a2', u'[0,-1,1,-10,-20]', u'[0,-1,1,-10,-20]')
(u'121a', u'a3', u'[0,-1,1,-7820,-263580]', u'[0,-1,1,-7820,-263580]')
(u'144a', u'a1', u'[0,-a+1,0,-3*a-2,-2*a-2]', u'[0,-a+1,0,-3*a-2,-2*a-2]')
(u'144a', u'a3', u'[0,a,0,48*a-80,188*a-304]', u'[0,a,0,48*a-80,188*a-304]')
(u'144a', u'a4', u'[0,-a+1,0,2*a+3,-13*a-9]', u'[0,-a+1,0,2*a+3,-13*a-9]')
(u'180a', u'a1', u'[1,0,1,-289,1862]', u'[1,0,1,-289,1862]')
(u'180a', u'a2', u'[1,0,1,-19,26]', u'[1,0,1,-19,26]')
(u'180a', u'a3', u'[1,0,1,1,2]', u'[1,0,1,1,2]')
(u'180a', u'a4', u'[1,0,1,-69,-194]', u'[1,0,1,-69,-194]')
(u'180a', u'a5', u'[1,0,1,-454,-544]', u'[1,0,1,-454,-544]')
(u'180a', u'a6', u'[1,0,1,-334,-2368]', u'[1,0,1,-334,-2368]')
(u'180a', u'a7', u'[1,0,1,-14,-64]', u'[1,0,1,-14,-64]')
(u'180a', u'a8', u'[1,0,1,-5334,-150368]', u'[1,0,1,-5334,-150368]')
(u'196a', u'a1', u'[1,0,1,-11,12]', u'[1,0,1,-11,12]')
(u'196a', u'a2', u'[1,0,1,-1,0]', u'[1,0,1,-1,0]')
(u'196a', u'a3', u'[1,0,1,-36,-70]', u'[1,0,1,-36,-70]')
(u'196a', u'a4', u'[1,0,1,4,-6]', u'[1,0,1,4,-6]')
(u'196a', u'a5', u'[1,0,1,-2731,-55146]', u'[1,0,1,-2731,-55146]')
(u'196a', u'a6', u'[1,0,1,-171,-874]', u'[1,0,1,-171,-874]')
(u'225a', u'a1', u'[0,1,1,2,4]', u'[0,1,1,2,4]')
(u'225a', u'a2', u'[0,-1,1,-8,-7]', u'[0,-1,1,-8,-7]')
(u'225a', u'b1', u'[0,-a+1,1,-2*a-1,2*a+1]', u'[0,-a+1,1,-2*a-1,2*a+1]')
(u'225a', u'b2', u'[0,-a+1,1,8*a+9,-76*a-55]', u'[0,-a+1,1,8*a+9,-76*a-55]')
(u'225a', u'c1', u'[a+1,a,a+1,-25*a-25,-119*a-83]', u'[a+1,a,a+1,-25*a-25,-119*a-83]')
(u'225a', u'c2', u'[a+1,a,a+1,0,-4*a-3]', u'[a+1,a,a+1,0,-4*a-3]')
(u'225a', u'c3', u'[a+1,a,a+1,-10800*a-10800,758396*a+571497]', u'[a+1,a,a+1,-10800*a-10800,758396*a+571497]')
(u'225a', u'c4', u'[a+1,a,a+1,-675*a-675,11171*a+8547]', u'[a+1,a,a+1,-675*a-675,11171*a+8547]')
(u'225a', u'c5', u'[a+1,a,a+1,-50*a-50,46*a+47]', u'[a+1,a,a+1,-50*a-50,46*a+47]')
(u'225a', u'c7', u'[a,a,0,-9504680*a-5874303,16858314825*a+10419011887]', u'[a,a,0,-9504680*a-5874303,16858314825*a+10419011887]')
(u'225a', u'c8', u'[a+1,a,a+1,-550*a-550,15946*a+12097]', u'[a+1,a,a+1,-550*a-550,15946*a+12097]')
(u'225a', u'c9', u'[a+1,a,a+1,-400*a-400,-6044*a-4433]', u'[a+1,a,a+1,-400*a-400,-6044*a-4433]')
(u'225a', u'c10', u'[a+1,a,a+1,175*a+175,1081*a+767]', u'[a+1,a,a+1,175*a+175,1081*a+767]')
(u'245a', u'a1', u'[0,1,1,-1,0]', u'[0,1,1,-1,0]')
(u'245a', u'a2', u'[0,1,1,9,1]', u'[0,1,1,9,1]')
(u'245a', u'a3', u'[0,1,1,-131,-650]', u'[0,1,1,-131,-650]')
(u'256a', u'a1', u'[0,-a+1,0,-6*a-5,11*a+7]', u'[0,-a+1,0,-6*a-5,11*a+7]')
(u'256a', u'a2', u'[0,-a+1,0,-a,0]', u'[0,-a+1,0,-a,0]')
(u'256a', u'a3', u'[0,-a+1,0,-106*a-65,647*a+403]', u'[0,-a+1,0,-106*a-65,647*a+403]')
(u'256a', u'c4', u'[0,-1,0,-277*a-171,2747*a+1697]', u'[0,-1,0,-277*a-171,2747*a+1697]')
(u'289a', u'a1', u'[1,-1,1,-1,0]', u'[1,-1,1,-1,0]')
(u'289a', u'a2', u'[1,-1,1,-6,-4]', u'[1,-1,1,-6,-4]')
(u'289a', u'a3', u'[1,-1,1,-91,-310]', u'[1,-1,1,-91,-310]')
(u'289a', u'a4', u'[1,-1,1,-1,-14]', u'[1,-1,1,-1,-14]')
(u'320a', u'a1', u'[0,0,0,-2,1]', u'[0,0,0,-2,1]')
(u'320a', u'a2', u'[0,0,0,-15*a-7,28*a+22]', u'[0,0,0,-15*a-7,28*a+22]')
(u'320a', u'a4', u'[0,0,0,-7,-6]', u'[0,0,0,-7,-6]')
(u'320a', u'a5', u'[0,0,0,-107,-426]', u'[0,0,0,-107,-426]')
(u'320a', u'a6', u'[0,0,0,13,-34]', u'[0,0,0,13,-34]')
(u'320a', u'a8', u'[0,0,0,35967*a-58198,3926128*a-6352610]', u'[0,0,0,35967*a-58198,3926128*a-6352610]')
(u'324a', u'a1', u'[a+1,1,1,-1490*a-1490,37999*a+28499]', u'[a+1,1,1,-1490*a-1490,37999*a+28499]')
(u'324a', u'a2', u'[a+1,1,1,-95*a-95,-737*a-553]', u'[a+1,1,1,-95*a-95,-737*a-553]')
(u'324a', u'a3', u'[a+1,1,1,-50*a-50,1135*a+851]', u'[a+1,1,1,-50*a-50,1135*a+851]')
(u'324a', u'a4', u'[a+1,1,1,-5*a-5,-17*a-13]', u'[a+1,1,1,-5*a-5,-17*a-13]')
(u'361a', u'a1', u'[0,1,1,1,0]', u'[0,1,1,1,0]')
(u'361a', u'a2', u'[0,1,1,-9,-15]', u'[0,1,1,-9,-15]')
(u'361a', u'a3', u'[0,1,1,-769,-8470]', u'[0,1,1,-769,-8470]')
(u'361a', u'b1', u'[a+1,1,0,a+1,0]', u'[a+1,1,0,a+1,0]')
(u'361a', u'b2', u'[a+1,1,0,-4*a-4,-12*a-9]', u'[a+1,1,0,-4*a-4,-12*a-9]')
(u'361a', u'b3', u'[a,-a-1,a,90*a-150,500*a-805]', u'[a,-a-1,a,90*a-150,500*a-805]')
(u'400a', u'a1', u'[0,-a+1,0,-7*a-6,-6*a-6]', u'[0,-a+1,0,-7*a-6,-6*a-6]')
(u'400a', u'a2', u'[0,-a+1,0,-207*a-206,2114*a+1534]', u'[0,-a+1,0,-207*a-206,2114*a+1534]')
(u'400a', u'a3', u'[0,-a,0,-26528*a-16408,2502004*a+1546332]', u'[0,-a,0,-26528*a-16408,2502004*a+1546332]')
(u'400a', u'a6', u'[0,a,0,107*a-188,681*a-1087]', u'[0,a,0,107*a-188,681*a-1087]')
(u'400a', u'a7', u'[0,-a+1,0,-182*a-181,2619*a+1919]', u'[0,-a+1,0,-182*a-181,2619*a+1919]')
(u'400a', u'a8', u'[0,-a+1,0,18*a+19,-61*a-41]', u'[0,-a+1,0,18*a+19,-61*a-41]')
(u'405a', u'a1', u'[1,-1,0,-19440,1048135]', u'[1,-1,0,-19440,1048135]')
(u'405a', u'a2', u'[1,-1,0,-1215,16600]', u'[1,-1,0,-1215,16600]')
(u'405a', u'a3', u'[1,-1,0,-90,175]', u'[1,-1,0,-90,175]')
(u'405a', u'a4', u'[1,-1,0,-45,-104]', u'[1,-1,0,-45,-104]')
(u'405a', u'a5', u'[1,-1,0,0,-5]', u'[1,-1,0,0,-5]')
(u'405a', u'a6', u'[1,-1,1,-44790597*a-27682172,172543844000*a+106637960337]', u'[1,-1,1,-44790597*a-27682172,172543844000*a+106637960337]')
(u'405a', u'a8', u'[1,-1,0,-990,22765]', u'[1,-1,0,-990,22765]')
(u'405a', u'a9', u'[1,-1,0,-720,-7259]', u'[1,-1,0,-720,-7259]')
(u'405a', u'a10', u'[1,-1,0,315,1066]', u'[1,-1,0,315,1066]')
(u'441a', u'a1', u'[1,0,0,-39,90]', u'[1,0,0,-39,90]')
(u'441a', u'a2', u'[1,0,0,-4,-1]', u'[1,0,0,-4,-1]')
(u'441a', u'a3', u'[1,0,0,1,0]', u'[1,0,0,1,0]')
(u'441a', u'a4', u'[1,0,0,-49,-136]', u'[1,0,0,-49,-136]')
(u'441a', u'a5', u'[1,0,0,-34,-217]', u'[1,0,0,-34,-217]')
(u'441a', u'a6', u'[1,0,0,-784,-8515]', u'[1,0,0,-784,-8515]')
(u'441a', u'c1', u'[a+1,a,a,-3*a-3,-9*a-6]', u'[a+1,a,a,-3*a-3,-9*a-6]')
(u'441a', u'c2', u'[a+1,a,a,2*a+2,-14*a-11]', u'[a+1,a,a,2*a+2,-14*a-11]')
(u'484a', u'a1', u'[a+1,-a-1,1,-6*a-6,11*a+8]', u'[a+1,-a-1,1,-6*a-6,11*a+8]')
(u'484a', u'a2', u'[a+1,-a-1,1,39*a+39,-109*a-82]', u'[a+1,-a-1,1,39*a+39,-109*a-82]')
(u'484a', u'a3', u'[a+1,-a-1,1,-6066*a-6066,-323245*a-242434]', u'[a+1,-a-1,1,-6066*a-6066,-323245*a-242434]')
(u'484a', u'c1', u'[a+1,a,a+1,-a-1,-3*a-2]', u'[a+1,a,a+1,-a-1,-3*a-2]')
(u'484a', u'c2', u'[a+1,a,a+1,-21*a-21,-95*a-66]', u'[a+1,a,a+1,-21*a-21,-95*a-66]')
(u'484a', u'c3', u'[1,-a,0,2709*a-4384,81957*a-132609]', u'[1,-a,0,2709*a-4384,81957*a-132609]')
(u'484a', u'd1', u'[a+1,1,0,-2*a-2,-16*a-12]', u'[a+1,1,0,-2*a-2,-16*a-12]')
(u'529a', u'a1', u'[0,a-1,1,-4*a-3,-6*a-4]', u'[0,a-1,1,-4*a-3,-6*a-4]')
(u'576a', u'a1', u'[0,-1,0,-4,4]', u'[0,-1,0,-4,4]')
(u'576a', u'a2', u'[0,-1,0,1,0]', u'[0,-1,0,1,0]')
(u'576a', u'a3', u'[0,-1,0,-64,220]', u'[0,-1,0,-64,220]')
(u'576a', u'a4', u'[0,-1,0,-24,-36]', u'[0,-1,0,-24,-36]')
(u'576a', u'a5', u'[0,-1,0,-384,-2772]', u'[0,-1,0,-384,-2772]')
(u'576a', u'a6', u'[0,-1,0,16,-180]', u'[0,-1,0,16,-180]')
(u'576a', u'd1', u'[0,-a+1,0,-34*a-33,95*a+63]', u'[0,-a+1,0,-34*a-33,95*a+63]')
(u'576a', u'd2', u'[0,-a+1,0,6*a+7,7*a+7]', u'[0,-a+1,0,6*a+7,7*a+7]')
(u'605a', u'a1', u'[1,-1,0,-59,190]', u'[1,-1,0,-59,190]')
(u'605a', u'a2', u'[1,-1,0,-4,3]', u'[1,-1,0,-4,3]')
(u'605a', u'a3', u'[1,-1,0,1,0]', u'[1,-1,0,1,0]')
(u'605a', u'a4', u'[1,-1,0,-29,-52]', u'[1,-1,0,-29,-52]')
(u'605a', u'a6', u'[a+1,1,a+1,1422*a-2301,31356*a-50746]', u'[a+1,1,a+1,1422*a-2301,31356*a-50746]')
(u'676a', u'a1', u'[1,0,1,0,0]', u'[1,0,1,0,0]')
(u'676a', u'a2', u'[1,0,1,-5,-8]', u'[1,0,1,-5,-8]')
(u'676a', u'a3', u'[1,0,1,-460,-3830]', u'[1,0,1,-460,-3830]')
(u'676a', u'c1', u'[1,-1,1,-3,3]', u'[1,-1,1,-3,3]')
(u'676a', u'c2', u'[1,-1,1,-213,-1257]', u'[1,-1,1,-213,-1257]')
(u'729a', u'a1', u'[0,0,1,-30,63]', u'[0,0,1,-30,63]')
(u'729a', u'a2', u'[0,0,1,0,0]', u'[0,0,1,0,0]')
(u'729a', u'a3', u'[0,0,1,0,-7]', u'[0,0,1,0,-7]')
(u'729a', u'a4', u'[0,0,1,-270,-1708]', u'[0,0,1,-270,-1708]')
(u'784a', u'a1', u'[0,0,0,-8*a-8,-16*a-12]', u'[0,0,0,-8*a-8,-16*a-12]')
(u'784a', u'b1', u'[0,0,0,-16*a-16,44*a+33]', u'[0,0,0,-16*a-16,44*a+33]')
(u'784a', u'b4', u'[0,0,0,-11*a-11,72*a+54]', u'[0,0,0,-11*a-11,72*a+54]')
(u'845a', u'a1', u'[1,0,0,-1,0]', u'[1,0,0,-1,0]')
(u'845a', u'a2', u'[1,0,0,4,1]', u'[1,0,0,4,1]')
(u'900a', u'a1', u'[a+1,-a-1,1,-93*a-93,-525*a-394]', u'[a+1,-a-1,1,-93*a-93,-525*a-394]')
(u'900a', u'a2', u'[a+1,-a-1,1,7*a+7,-45*a-34]', u'[a+1,-a-1,1,7*a+7,-45*a-34]')
(u'900a', u'a3', u'[a+1,-a-1,1,-1668*a-1668,47355*a+35516]', u'[a+1,-a-1,1,-1668*a-1668,47355*a+35516]')
(u'900a', u'a4', u'[a+1,-a-1,1,-68*a-68,1275*a+956]', u'[a+1,-a-1,1,-68*a-68,1275*a+956]')
(u'900a', u'a5', u'[a+1,-a-1,1,-26668*a-26668,3007355*a+2255516]', u'[a+1,-a-1,1,-26668*a-26668,3007355*a+2255516]')
(u'900a', u'a6', u'[a+1,-a-1,1,-343*a-343,3875*a+2906]', u'[a+1,-a-1,1,-343*a-343,3875*a+2906]')
(u'900a', u'a7', u'[a+1,-a-1,1,-2268*a-2268,10875*a+8156]', u'[a+1,-a-1,1,-2268*a-2268,10875*a+8156]')
(u'900a', u'a8', u'[a+1,-a-1,1,-1443*a-1443,-37245*a-27934]', u'[a+1,-a-1,1,-1443*a-1443,-37245*a-27934]')
(u'900a', u'b1', u'[1,0,0,-28,272]', u'[1,0,0,-28,272]')
(u'900a', u'b2', u'[1,0,0,-828,9072]', u'[1,0,0,-828,9072]')
(u'900a', u'b3', u'[1,0,0,-53,-153]', u'[1,0,0,-53,-153]')
(u'900a', u'b4', u'[1,0,0,-3,-3]', u'[1,0,0,-3,-3]')
(u'980a', u'a1', u'[1,-1,1,-88,317]', u'[1,-1,1,-88,317]')
(u'980a', u'a2', u'[1,-1,1,-18,-19]', u'[1,-1,1,-18,-19]')
(u'980a', u'a3', u'[1,-1,1,2,-3]', u'[1,-1,1,2,-3]')
(u'980a', u'a4', u'[1,-1,1,-268,-1619]', u'[1,-1,1,-268,-1619]')
