
'124'
'10*a-4'
'[a+1,a-1,a+1,5*a-16,4*a-21]'
'matrix(6,[0,2,3,3,0,0,2,0,0,0,3,3,3,0,0,0,0,2,3,0,0,0,2,0,0,3,0,2,0,0,0,3,2,0,0,0])'
'124'
'10*a-4'
'[a+1,a-1,a+1,-35*a-56,-260*a-117]'
'matrix(6,[0,2,3,3,0,0,2,0,0,0,3,3,3,0,0,0,0,2,3,0,0,0,2,0,0,3,0,2,0,0,0,3,2,0,0,0])'
'124'
'10*a-4'
'[a+1,a-1,a+1,-1,-a+1]'
'matrix(6,[0,2,3,3,0,0,2,0,0,0,3,3,3,0,0,0,0,2,3,0,0,0,2,0,0,3,0,2,0,0,0,3,2,0,0,0])'
'124'
'10*a-4'
'[a+1,a-1,a+1,465*a-1316,8192*a-18821]'
'matrix(6,[0,2,3,3,0,0,2,0,0,0,3,3,3,0,0,0,0,2,3,0,0,0,2,0,0,3,0,2,0,0,0,3,2,0,0,0])'
'124'
'10*a-4'
'[a+1,a-1,a+1,-3305*a-3646,-139218*a-109925]'
'matrix(6,[0,2,3,3,0,0,2,0,0,0,3,3,3,0,0,0,0,2,3,0,0,0,2,0,0,3,0,2,0,0,0,3,2,0,0,0])'
'124'
'10*a-4'
'[a+1,a-1,a+1,10*a-21,-33*a+51]'
'matrix(6,[0,2,3,3,0,0,2,0,0,0,3,3,3,0,0,0,0,2,3,0,0,0,2,0,0,3,0,2,0,0,0,3,2,0,0,0])'
'144'
'12'
'[0,-a+1,0,2*a+3,-13*a-9]'
'matrix(4,[0,2,0,0,2,0,2,2,0,2,0,0,0,2,0,0])'
'144'
'12'
'[0,-a+1,0,-3*a-2,-2*a-2]'
'matrix(4,[0,2,0,0,2,0,2,2,0,2,0,0,0,2,0,0])'
'144'
'12'
'[0,-a+1,0,-48*a-32,-188*a-116]'
'matrix(4,[0,2,0,0,2,0,2,2,0,2,0,0,0,2,0,0])'
'144'
'12'
'[0,-a+1,0,-3*a-17,31*a-14]'
'matrix(4,[0,2,0,0,2,0,2,2,0,2,0,0,0,2,0,0])'
'145'
'-11*a+8'
'[0,a+1,a,-9*a-9,-31*a-23]'
'matrix(2,[0,3,3,0])'
'145'
'-11*a+8'
'[0,a+1,a,a+1,0]'
'matrix(2,[0,3,3,0])'
'179'
'12*a-7'
'[a+1,a-1,0,20*a-33,42*a-71]'
'matrix(2,[0,3,3,0])'
'179'
'12*a-7'
'[a+1,a-1,0,2,a-1]'
'matrix(2,[0,3,3,0])'
'180'
'12*a-6'
'[1,0,1,-19,26]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'180'
'12*a-6'
'[1,0,1,-69,-194]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'180'
'12*a-6'
'[1,0,1,1,2]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'180'
'12*a-6'
'[1,0,1,-289,1862]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'180'
'12*a-6'
'[1,0,1,-334,-2368]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'180'
'12*a-6'
'[1,0,1,-5334,-150368]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'180'
'12*a-6'
'[1,0,1,-14,-64]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'180'
'12*a-6'
'[1,0,1,-454,-544]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'196'
'14'
'[1,0,1,4,-6]'
'matrix(6,[0,2,3,3,0,0,2,0,0,0,3,3,3,0,0,0,2,0,3,0,0,0,0,2,0,3,2,0,0,0,0,3,0,2,0,0])'
'196'
'14'
'[1,0,1,-36,-70]'
'matrix(6,[0,2,3,3,0,0,2,0,0,0,3,3,3,0,0,0,2,0,3,0,0,0,0,2,0,3,2,0,0,0,0,3,0,2,0,0])'
'196'
'14'
'[1,0,1,-171,-874]'
'matrix(6,[0,2,3,3,0,0,2,0,0,0,3,3,3,0,0,0,2,0,3,0,0,0,0,2,0,3,2,0,0,0,0,3,0,2,0,0])'
'196'
'14'
'[1,0,1,-1,0]'
'matrix(6,[0,2,3,3,0,0,2,0,0,0,3,3,3,0,0,0,2,0,3,0,0,0,0,2,0,3,2,0,0,0,0,3,0,2,0,0])'
'196'
'14'
'[1,0,1,-2731,-55146]'
'matrix(6,[0,2,3,3,0,0,2,0,0,0,3,3,3,0,0,0,2,0,3,0,0,0,0,2,0,3,2,0,0,0,0,3,0,2,0,0])'
'196'
'14'
'[1,0,1,-11,12]'
'matrix(6,[0,2,3,3,0,0,2,0,0,0,3,3,3,0,0,0,2,0,3,0,0,0,0,2,0,3,2,0,0,0,0,3,0,2,0,0])'
'199'
'-3*a+16'
'[0,a+1,1,-9*a,-16*a-15]'
'matrix(3,[0,3,3,3,0,0,3,0,0])'
'199'
'-3*a+16'
'[0,a+1,1,-539*a-490,-8858*a-6256]'
'matrix(3,[0,3,3,3,0,0,3,0,0])'
'199'
'-3*a+16'
'[0,a+1,1,a,0]'
'matrix(3,[0,3,3,3,0,0,3,0,0])'
'205'
'-13*a+4'
'[a+1,0,a,8*a+4,6*a+1]'
'matrix(4,[0,2,3,0,2,0,0,3,3,0,0,2,0,3,2,0])'
'205'
'-13*a+4'
'[a+1,0,a,-17*a-46,21*a-69]'
'matrix(4,[0,2,3,0,2,0,0,3,3,0,0,2,0,3,2,0])'
'205'
'-13*a+4'
'[a+1,0,a,-2*a-1,0]'
'matrix(4,[0,2,3,0,2,0,0,3,3,0,0,2,0,3,2,0])'
'205'
'-13*a+4'
'[a+1,0,a,-22*a-16,48*a+31]'
'matrix(4,[0,2,3,0,2,0,0,3,3,0,0,2,0,3,2,0])'
'209'
'-a-14'
'[a+1,-a+1,a+1,-2*a-5,1]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,2,2,2,0,0,0,0,0,2,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0,0])'
'209'
'-a-14'
'[a+1,-a+1,a+1,3*a-15,14*a-26]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,2,2,2,0,0,0,0,0,2,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0,0])'
'209'
'-a-14'
'[a+1,-a+1,a+1,-7*a-75,30*a+212]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,2,2,2,0,0,0,0,0,2,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0,0])'
'209'
'-a-14'
'[a+1,-a+1,a+1,-2*a,-a]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,2,2,2,0,0,0,0,0,2,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0,0])'
'209'
'-a-14'
'[a+1,-a+1,a+1,-47*a,-67*a-159]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,2,2,2,0,0,0,0,0,2,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0,0])'
'209'
'-a-14'
'[a+1,-a+1,a+1,133*a-190,851*a-1361]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,2,2,2,0,0,0,0,0,2,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0,0])'
'225'
'15'
'[a+1,a,a+1,-25*a-25,-119*a-83]'
'matrix(10,[0,2,2,2,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0])'
'225'
'15'
'[a+1,a,a+1,-400*a-400,-6044*a-4433]'
'matrix(10,[0,2,2,2,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0])'
'225'
'15'
'[a+1,a,a+1,0,-4*a-3]'
'matrix(10,[0,2,2,2,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0])'
'225'
'15'
'[a+1,a,a+1,-50*a-50,46*a+47]'
'matrix(10,[0,2,2,2,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0])'
'225'
'15'
'[a+1,a,a+1,175*a+175,1081*a+767]'
'matrix(10,[0,2,2,2,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0])'
'225'
'15'
'[a+1,a,a+1,-675*a-675,11171*a+8547]'
'matrix(10,[0,2,2,2,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0])'
'225'
'15'
'[a+1,a,a+1,-550*a-550,15946*a+12097]'
'matrix(10,[0,2,2,2,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0])'
'225'
'15'
'[a+1,a,a+1,-10800*a-10800,758396*a+571497]'
'matrix(10,[0,2,2,2,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0])'
'225'
'15'
'[a+1,a,a+1,16875*a-55575,-2120029*a+5229447]'
'matrix(10,[0,2,2,2,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0])'
'225'
'15'
'[a+1,a,a+1,-200475*a-128025,52107221*a+32306847]'
'matrix(10,[0,2,2,2,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,2,0,0])'
'239'
'a+15'
'[1,-a,a,-6*a-5,-7*a-4]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'239'
'a+15'
'[1,-a,a,-91*a-85,-585*a-309]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'239'
'a+15'
'[1,-a,a,-a-5,-17*a-15]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'239'
'a+15'
'[1,-a,a,-a,0]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'244'
'14*a-6'
'[a,-a+1,1,4*a-9,8*a-20]'
'matrix(3,[0,3,3,3,0,0,3,0,0])'
'244'
'14*a-6'
'[a,-a+1,1,-a+1,0]'
'matrix(3,[0,3,3,3,0,0,3,0,0])'
'244'
'14*a-6'
'[a,-a+1,1,314*a-839,4956*a-10332]'
'matrix(3,[0,3,3,3,0,0,3,0,0])'
'275'
'15*a-10'
'[a,a,a,332*a-536,-3529*a+5713]'
'matrix(8,[0,2,3,0,0,0,0,0,2,0,0,2,2,3,0,0,3,0,0,0,0,2,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,3,2,0,0,0,2,2,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0])'
'275'
'15*a-10'
'[a,a,a,332*a-561,-3274*a+5323]'
'matrix(8,[0,2,3,0,0,0,0,0,2,0,0,2,2,3,0,0,3,0,0,0,0,2,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,3,2,0,0,0,2,2,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0])'
'275'
'15*a-10'
'[a,a,a,7*a-11,a-2]'
'matrix(8,[0,2,3,0,0,0,0,0,2,0,0,2,2,3,0,0,3,0,0,0,0,2,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,3,2,0,0,0,2,2,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0])'
'275'
'15*a-10'
'[a,a,a,-543*a+814,-16774*a+26948]'
'matrix(8,[0,2,3,0,0,0,0,0,2,0,0,2,2,3,0,0,3,0,0,0,0,2,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,3,2,0,0,0,2,2,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0])'
'275'
'15*a-10'
'[a,a,a,1207*a-2336,27046*a-41162]'
'matrix(8,[0,2,3,0,0,0,0,0,2,0,0,2,2,3,0,0,3,0,0,0,0,2,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,3,2,0,0,0,2,2,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0])'
'275'
'15*a-10'
'[a,a,a,82*a-136,421*a-687]'
'matrix(8,[0,2,3,0,0,0,0,0,2,0,0,2,2,3,0,0,3,0,0,0,0,2,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,3,2,0,0,0,2,2,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0])'
'275'
'15*a-10'
'[a,a,a,32*a-111,596*a-1187]'
'matrix(8,[0,2,3,0,0,0,0,0,2,0,0,2,2,3,0,0,3,0,0,0,0,2,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,3,2,0,0,0,2,2,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0])'
'275'
'15*a-10'
'[a,a,a,1332*a-2161,27826*a-45027]'
'matrix(8,[0,2,3,0,0,0,0,0,2,0,0,2,2,3,0,0,3,0,0,0,0,2,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,3,2,0,0,0,2,2,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0])'
'275'
'-15*a+10'
'[a+1,-a+1,a+1,-a-27,4*a-67]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'275'
'-15*a+10'
'[a+1,-a+1,a+1,-176*a-127,-1446*a-992]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'275'
'-15*a+10'
'[a+1,-a+1,a+1,-a-2,-a-2]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'275'
'-15*a+10'
'[a+1,-a+1,a+1,174*a-327,1674*a-2702]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'275'
'-15*a+10'
'[a+1,-a+1,a+1,-26*a-127,174*a+448]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'275'
'-15*a+10'
'[a+1,-a+1,a+1,-276*a-2,-2201*a+823]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'275'
'-15*a+10'
'[a+1,-a+1,a+1,49*a-77,-146*a+283]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'275'
'-15*a+10'
'[a+1,-a+1,a+1,-976*a-1052,24329*a+11533]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'304'
'-16*a+12'
'[0,-1,0,9*a-16,13*a-24]'
'matrix(2,[0,2,2,0])'
'304'
'-16*a+12'
'[0,-1,0,-a-1,-1]'
'matrix(2,[0,2,2,0])'
'320'
'16*a-8'
'[0,a-1,0,-4,-4*a+4]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,2,2,2,0,0,0,0,0,2,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0,0])'
'320'
'16*a-8'
'[0,a-1,0,-20*a-24,-76*a-52]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,2,2,2,0,0,0,0,0,2,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0,0])'
'320'
'16*a-8'
'[0,a-1,0,20*a-64,-108*a+236]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,2,2,2,0,0,0,0,0,2,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0,0])'
'320'
'16*a-8'
'[0,a-1,0,1,0]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,2,2,2,0,0,0,0,0,2,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0,0])'
'320'
'16*a-8'
'[0,a-1,0,-420*a-224,-4716*a-3012]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,2,2,2,0,0,0,0,0,2,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0,0])'
'320'
'16*a-8'
'[0,a-1,0,60*a-144,276*a-676]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,2,2,2,0,0,0,0,0,2,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0,0])'
'341'
'-4*a+21'
'[a,-1,0,4*a-4,-3*a+4]'
'matrix(2,[0,2,2,0])'
'341'
'-4*a+21'
'[a,-1,0,-a+1,0]'
'matrix(2,[0,2,2,0])'
'359'
'17*a-10'
'[0,1,a+1,-18*a-23,-67*a-57]'
'matrix(2,[0,3,3,0])'
'359'
'17*a-10'
'[0,1,a+1,2*a-3,-2*a+1]'
'matrix(2,[0,3,3,0])'
'361'
'17*a-8'
'[0,a+1,a+1,6*a-30,42*a-49]'
'matrix(2,[0,3,3,0])'
'361'
'17*a-8'
'[0,a+1,a+1,1076*a-2020,23185*a-39565]'
'matrix(2,[0,3,3,0])'
'369'
'3*a+18'
'[1,-a-1,a,4*a-20,27*a-12]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'369'
'3*a+18'
'[1,-a-1,a,59*a-100,-245*a+447]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'369'
'3*a+18'
'[1,-a-1,a,9*a-15,16*a-26]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'369'
'3*a+18'
'[1,-a-1,a,-131*a-20,783*a+285]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'380'
'4*a-22'
'[a,-a,a+1,14*a-13,21*a-31]'
'matrix(6,[0,2,3,3,0,0,2,0,0,0,3,3,3,0,0,0,0,2,3,0,0,0,2,0,0,3,0,2,0,0,0,3,2,0,0,0])'
'380'
'4*a-22'
'[a,-a,a+1,-26*a-13,93*a-63]'
'matrix(6,[0,2,3,3,0,0,2,0,0,0,3,3,3,0,0,0,0,2,3,0,0,0,2,0,0,3,0,2,0,0,0,3,2,0,0,0])'
'380'
'4*a-22'
'[a,-a,a+1,-a-3,1]'
'matrix(6,[0,2,3,3,0,0,2,0,0,0,3,3,3,0,0,0,0,2,3,0,0,0,2,0,0,3,0,2,0,0,0,3,2,0,0,0])'
'380'
'4*a-22'
'[a,-a,a+1,734*a-1313,12693*a-21163]'
'matrix(6,[0,2,3,3,0,0,2,0,0,0,3,3,3,0,0,0,0,2,3,0,0,0,2,0,0,3,0,2,0,0,0,3,2,0,0,0])'
'380'
'4*a-22'
'[a,-a,a+1,-156*a-1863,-3449*a-31141]'
'matrix(6,[0,2,3,3,0,0,2,0,0,0,3,3,3,0,0,0,0,2,3,0,0,0,2,0,0,3,0,2,0,0,0,3,2,0,0,0])'
'380'
'4*a-22'
'[a,-a,a+1,-21*a-13,56*a+39]'
'matrix(6,[0,2,3,3,0,0,2,0,0,0,3,3,3,0,0,0,0,2,3,0,0,0,2,0,0,3,0,2,0,0,0,3,2,0,0,0])'
'431'
'-19*a+14'
'[a,-a+1,a+1,8*a-14,19*a-35]'
'matrix(2,[0,3,3,0])'
'431'
'-19*a+14'
'[a,-a+1,a+1,-2*a+1,-a]'
'matrix(2,[0,3,3,0])'
'441'
'21'
'[a+1,a,a,2*a+2,-14*a-11]'
'matrix(2,[0,2,2,0])'
'441'
'21'
'[a+1,a,a,-3*a-3,-9*a-6]'
'matrix(2,[0,2,2,0])'
'445'
'-19*a+7'
'[a,a+1,1,134*a-214,902*a-1462]'
'matrix(4,[0,2,0,0,2,0,2,2,0,2,0,0,0,2,0,0])'
'445'
'-19*a+7'
'[a,a+1,1,9*a-14,12*a-22]'
'matrix(4,[0,2,0,0,2,0,2,2,0,2,0,0,0,2,0,0])'
'445'
'-19*a+7'
'[a,a+1,1,-36*a+26,18*a-146]'
'matrix(4,[0,2,0,0,2,0,2,2,0,2,0,0,0,2,0,0])'
'445'
'-19*a+7'
'[a,a+1,1,4*a-4,-2*a+4]'
'matrix(4,[0,2,0,0,2,0,2,2,0,2,0,0,0,2,0,0])'
'445'
'-19*a+7'
'[a+1,-1,a+1,-7*a-7,-12*a-8]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'445'
'-19*a+7'
'[a+1,-1,a+1,-112*a-62,-661*a-420]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'445'
'-19*a+7'
'[a+1,-1,a+1,-2*a-2,-a]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'445'
'-19*a+7'
'[a+1,-1,a+1,18*a-32,13*a-88]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'451'
'-19*a+9'
'[a+1,-1,0,-24*a-11,-68*a-38]'
'matrix(2,[0,3,3,0])'
'451'
'-19*a+9'
'[a+1,-1,0,a-1,-a+1]'
'matrix(2,[0,3,3,0])'
'464'
'4*a+20'
'[0,-1,0,3*a-7,-a+13]'
'matrix(4,[0,2,3,0,2,0,0,3,3,0,0,2,0,3,2,0])'
'464'
'4*a+20'
'[0,-1,0,-2*a-2,3*a+2]'
'matrix(4,[0,2,3,0,2,0,0,3,3,0,0,2,0,3,2,0])'
'464'
'4*a+20'
'[0,-1,0,43*a-47,-33*a-235]'
'matrix(4,[0,2,3,0,2,0,0,3,3,0,0,2,0,3,2,0])'
'464'
'4*a+20'
'[0,-1,0,18*a-62,71*a-174]'
'matrix(4,[0,2,3,0,2,0,0,3,3,0,0,2,0,3,2,0])'
'475'
'-20*a+15'
'[a+1,-1,a+1,4*a-17,-16*a+30]'
'matrix(2,[0,2,2,0])'
'475'
'-20*a+15'
'[a+1,-1,a+1,-a-2,-a]'
'matrix(2,[0,2,2,0])'
'475'
'20*a-15'
'[a,a,0,-25*a-53,-155*a-178]'
'matrix(2,[0,2,2,0])'
'475'
'20*a-15'
'[a,a,0,-3,-5*a-3]'
'matrix(2,[0,2,2,0])'
'484'
'22'
'[a+1,a,a+1,-21*a-21,-95*a-66]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'484'
'22'
'[a+1,a,a+1,-391*a-251,-4961*a-3070]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'484'
'22'
'[a+1,a,a+1,-a-1,-3*a-2]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'484'
'22'
'[a+1,a,a+1,29*a-111,163*a-438]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'484'
'20*a-6'
'[1,-a+1,a+1,-5*a-5,23*a+9]'
'matrix(2,[0,3,3,0])'
'484'
'20*a-6'
'[1,-a+1,a+1,175*a-180,416*a-1815]'
'matrix(2,[0,3,3,0])'
'495'
'3*a+21'
'[1,-a+1,a,-15*a-13,40*a+24]'
'matrix(8,[0,2,2,2,0,0,0,0,2,0,0,0,2,2,0,0,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,2,0,0,0,0,2,2,0,2,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,2,0,0,0])'
'495'
'3*a+21'
'[1,-a+1,a,-38,91*a-62]'
'matrix(8,[0,2,2,2,0,0,0,0,2,0,0,0,2,2,0,0,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,2,0,0,0,0,2,2,0,2,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,2,0,0,0])'
'495'
'3*a+21'
'[1,-a+1,a,-3,1]'
'matrix(8,[0,2,2,2,0,0,0,0,2,0,0,0,2,2,0,0,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,2,0,0,0,0,2,2,0,2,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,2,0,0,0])'
'495'
'3*a+21'
'[1,-a+1,a,-270*a-148,2449*a+1542]'
'matrix(8,[0,2,2,2,0,0,0,0,2,0,0,0,2,2,0,0,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,2,0,0,0,0,2,2,0,2,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,2,0,0,0])'
'495'
'3*a+21'
'[1,-a+1,a,225*a-488,2701*a-4787]'
'matrix(8,[0,2,2,2,0,0,0,0,2,0,0,0,2,2,0,0,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,2,0,0,0,0,2,2,0,2,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,2,0,0,0])'
'495'
'3*a+21'
'[1,-a+1,a,15*a+12,285*a-101]'
'matrix(8,[0,2,2,2,0,0,0,0,2,0,0,0,2,2,0,0,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,2,0,0,0,0,2,2,0,2,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,2,0,0,0])'
'495'
'3*a+21'
'[1,-a+1,a,390*a-383,1768*a-5423]'
'matrix(8,[0,2,2,2,0,0,0,0,2,0,0,0,2,2,0,0,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,2,0,0,0,0,2,2,0,2,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,2,0,0,0])'
'495'
'3*a+21'
'[1,-a+1,a,3660*a-7793,162574*a-293951]'
'matrix(8,[0,2,2,2,0,0,0,0,2,0,0,0,2,2,0,0,2,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,2,0,0,0,0,2,2,0,2,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,2,0,0,0])'
'495'
'3*a+21'
'[a,a,a,6*a-11,-11*a+17]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'495'
'3*a+21'
'[a,a,a,101*a-171,-638*a+1018]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'495'
'3*a+21'
'[a,a,a,a-1,0]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'495'
'3*a+21'
'[a,a,a,-9*a-11,-8*a+44]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'505'
'a+22'
'[1,-a+1,0,-4,4*a-5]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'505'
'a+22'
'[1,-a+1,0,20*a-69,116*a-268]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'505'
'a+22'
'[1,-a+1,0,-20*a-19,68*a+38]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'505'
'a+22'
'[1,-a+1,0,1,0]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'539'
'-21*a+14'
'[1,-a+1,0,-17*a-10,-36*a-25]'
'matrix(2,[0,3,3,0])'
'539'
'-21*a+14'
'[1,-a+1,0,-2*a,a+1]'
'matrix(2,[0,3,3,0])'
'545'
'-21*a+13'
'[1,-a+1,0,4*a+4,-3*a+1]'
'matrix(4,[0,2,3,0,2,0,0,3,3,0,0,2,0,3,2,0])'
'545'
'-21*a+13'
'[1,-a+1,0,-a-1,0]'
'matrix(4,[0,2,3,0,2,0,0,3,3,0,0,2,0,3,2,0])'
'545'
'-21*a+13'
'[1,-a+1,0,-71*a-46,-328*a-269]'
'matrix(4,[0,2,3,0,2,0,0,3,3,0,0,2,0,3,2,0])'
'545'
'-21*a+13'
'[1,-a+1,0,-66*a-56,-333*a-241]'
'matrix(4,[0,2,3,0,2,0,0,3,3,0,0,2,0,3,2,0])'
'549'
'-21*a+9'
'[a+1,-a+1,1,3*a+3,8*a+3]'
'matrix(2,[0,2,2,0])'
'549'
'-21*a+9'
'[a+1,-a+1,1,-17*a-32,72*a-7]'
'matrix(2,[0,2,2,0])'
'576'
'24'
'[0,-a+1,0,-34*a-33,95*a+63]'
'matrix(2,[0,2,2,0])'
'576'
'24'
'[0,-a+1,0,6*a+7,7*a+7]'
'matrix(2,[0,2,2,0])'
'580'
'22*a-16'
'[a+1,0,0,-7*a+5,8*a-9]'
'matrix(2,[0,3,3,0])'
'580'
'22*a-16'
'[a+1,0,0,148*a-200,880*a-1384]'
'matrix(2,[0,3,3,0])'
'605'
'22*a-11'
'[a+1,a,0,-4,-7*a-2]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,2,2,2,0,0,0,0,0,2,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0,0])'
'605'
'22*a-11'
'[a+1,a,0,-35*a-54,-238*a-211]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,2,2,2,0,0,0,0,0,2,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0,0])'
'605'
'22*a-11'
'[a+1,a,0,35*a-34,-84*a+119]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,2,2,2,0,0,0,0,0,2,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0,0])'
'605'
'22*a-11'
'[a+1,a,0,1,0]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,2,2,2,0,0,0,0,0,2,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0,0])'
'605'
'22*a-11'
'[a+1,a,0,-585*a-879,-12393*a-12091]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,2,2,2,0,0,0,0,0,2,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0,0])'
'605'
'22*a-11'
'[a+1,a,0,-45*a-29,-207*a-327]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,2,2,2,0,0,0,0,0,2,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0,0])'
'605'
'4*a+23'
'[a,a,0,8*a-15,11*a+17]'
'matrix(2,[0,2,2,0])'
'605'
'4*a+23'
'[a,a,0,3*a-195,847*a-500]'
'matrix(2,[0,2,2,0])'
'620'
'2*a+24'
'[a+1,-a,1,4*a-5,2*a-10]'
'matrix(3,[0,3,3,3,0,0,3,0,0])'
'620'
'2*a+24'
'[a+1,-a,1,-a,0]'
'matrix(3,[0,3,3,3,0,0,3,0,0])'
'620'
'2*a+24'
'[a+1,-a,1,194*a-515,2326*a-4858]'
'matrix(3,[0,3,3,3,0,0,3,0,0])'
'639'
'3*a+24'
'[a,-a+1,1,-6,-3*a]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'639'
'3*a+24'
'[a,-a+1,1,-45*a-11,-151*a-48]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'639'
'3*a+24'
'[a,-a+1,1,45*a-81,-171*a+276]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'639'
'3*a+24'
'[a,-a+1,1,-1,a-2]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'649'
'a+25'
'[a+1,-a,a+1,3*a-10,9*a-19]'
'matrix(2,[0,3,3,0])'
'649'
'a+25'
'[a+1,-a,a+1,-2*a,-a]'
'matrix(2,[0,3,3,0])'
'649'
'-23*a+15'
'[1,a+1,0,-4*a-4,-13*a-9]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'649'
'-23*a+15'
'[1,a+1,0,-89*a-64,-620*a-375]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'649'
'-23*a+15'
'[1,a+1,0,a+1,0]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'649'
'-23*a+15'
'[1,a+1,0,a-24,22*a-39]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'704'
'24*a-16'
'[0,-a+1,0,-7*a-5,-9*a-6]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'704'
'24*a-16'
'[0,-a+1,0,-107*a-85,-701*a-410]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'704'
'24*a-16'
'[0,-a+1,0,13*a-5,-37*a-50]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'704'
'24*a-16'
'[0,-a+1,0,-2*a,a+1]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'719'
'24*a-13'
'[0,-a-1,a,2*a-10,-13]'
'matrix(2,[0,3,3,0])'
'719'
'24*a-13'
'[0,-a-1,a,2*a,-a]'
'matrix(2,[0,3,3,0])'
'725'
'5*a+25'
'[0,a-1,a+1,148*a-246,-1151*a+1868]'
'matrix(2,[0,3,3,0])'
'725'
'5*a+25'
'[0,a-1,a+1,-2*a+4,-6*a+8]'
'matrix(2,[0,3,3,0])'
'755'
'a+27'
'[1,0,a+1,4*a-5,7*a-15]'
'matrix(2,[0,3,3,0])'
'755'
'a+27'
'[1,0,a+1,-a,-a]'
'matrix(2,[0,3,3,0])'
'775'
'25*a-10'
'[a+1,a-1,1,-26*a-27,-133*a-62]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,0,0,2,0,0,0,2,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0])'
'775'
'25*a-10'
'[a+1,a-1,1,-501*a-302,-6803*a-4152]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,0,0,2,0,0,0,2,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0])'
'775'
'25*a-10'
'[a+1,a-1,1,49*a-152,-583*a+688]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,0,0,2,0,0,0,2,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0])'
'775'
'25*a-10'
'[a+1,a-1,1,-a-2,-3*a-2]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,0,0,2,0,0,0,2,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0])'
'775'
'25*a-10'
'[a+1,a-1,1,1374*a-2077,-28413*a+44928]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,0,0,2,0,0,0,2,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0])'
'775'
'25*a-10'
'[a+1,a-1,1,-76*a-227,447*a+1348]'
'matrix(6,[0,2,2,2,0,0,2,0,0,0,0,0,2,0,0,0,2,2,2,0,0,0,0,0,0,0,2,0,0,0,0,0,2,0,0,0])'
'779'
'-2*a+29'
'[0,a+1,a,6*a-7,10*a-15]'
'matrix(2,[0,3,3,0])'
'779'
'-2*a+29'
'[0,a+1,a,436*a-707,5297*a-8596]'
'matrix(2,[0,3,3,0])'
'781'
'-5*a+31'
'[a,-1,a,3*a-10,4*a-8]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'781'
'-5*a+31'
'[a,-1,a,-2*a-50,-121*a+57]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'781'
'-5*a+31'
'[a,-1,a,-2*a,a-1]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'781'
'-5*a+31'
'[a,-1,a,88*a-130,401*a-661]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'801'
'3*a+27'
'[1,a-1,0,-4*a+8,7*a-10]'
'matrix(2,[0,2,2,0])'
'801'
'3*a+27'
'[1,a-1,0,a-2,0]'
'matrix(2,[0,2,2,0])'
'829'
'-26*a+17'
'[a+1,-1,0,3*a-20,4*a-31]'
'matrix(2,[0,3,3,0])'
'829'
'-26*a+17'
'[a+1,-1,0,-2*a,a]'
'matrix(2,[0,3,3,0])'
'836'
'-2*a-28'
'[a,0,1,4*a,2*a-6]'
'matrix(3,[0,3,3,3,0,0,3,0,0])'
'836'
'-2*a-28'
'[a,0,1,-a,0]'
'matrix(3,[0,3,3,3,0,0,3,0,0])'
'836'
'-2*a-28'
'[a,0,1,104*a-310,946*a-2218]'
'matrix(3,[0,3,3,3,0,0,3,0,0])'
'855'
'6*a-33'
'[a,a-1,a+1,-7*a-5,6*a+4]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'855'
'6*a-33'
'[a,a-1,a+1,3*a-10,12*a+31]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'855'
'6*a-33'
'[a,a-1,a+1,-2*a,-a-1]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'855'
'6*a-33'
'[a,a-1,a+1,-97*a-80,588*a+337]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'869'
'a+29'
'[a+1,-a+1,1,-9*a-8,12*a+11]'
'matrix(2,[0,2,2,0])'
'869'
'a+29'
'[a+1,-a+1,1,a-3,1]'
'matrix(2,[0,2,2,0])'
'880'
'4*a+28'
'[0,1,0,27*a-47,-79*a+127]'
'matrix(4,[0,2,3,0,2,0,0,3,3,0,0,2,0,3,2,0])'
'880'
'4*a+28'
'[0,1,0,2*a-2,-a+2]'
'matrix(4,[0,2,3,0,2,0,0,3,3,0,0,2,0,3,2,0])'
'880'
'4*a+28'
'[0,1,0,-13*a-167,-223*a-697]'
'matrix(4,[0,2,3,0,2,0,0,3,3,0,0,2,0,3,2,0])'
'880'
'4*a+28'
'[0,1,0,-18*a+18,11*a-38]'
'matrix(4,[0,2,3,0,2,0,0,3,3,0,0,2,0,3,2,0])'
'899'
'-27*a+10'
'[1,1,a,7*a-15,15*a-32]'
'matrix(2,[0,2,2,0])'
'899'
'-27*a+10'
'[1,1,a,-3*a,-2*a-3]'
'matrix(2,[0,2,2,0])'
'899'
'-5*a+33'
'[a+1,a+1,1,-5*a-4,-8*a-3]'
'matrix(2,[0,2,2,0])'
'899'
'-5*a+33'
'[a+1,a+1,1,5*a+1,4*a+3]'
'matrix(2,[0,2,2,0])'
'900'
'30'
'[a+1,-a-1,1,-93*a-93,-525*a-394]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'900'
'30'
'[a+1,-a-1,1,-1443*a-1443,-37245*a-27934]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'900'
'30'
'[a+1,-a-1,1,7*a+7,-45*a-34]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'900'
'30'
'[a+1,-a-1,1,-343*a-343,3875*a+2906]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'900'
'30'
'[a+1,-a-1,1,-1668*a-1668,47355*a+35516]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'900'
'30'
'[a+1,-a-1,1,-2268*a-2268,10875*a+8156]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'900'
'30'
'[a+1,-a-1,1,-68*a-68,1275*a+956]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'900'
'30'
'[a+1,-a-1,1,-26668*a-26668,3007355*a+2255516]'
'matrix(8,[0,2,2,2,3,0,0,0,2,0,0,0,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,3,0,0,0,0,2,2,2,0,3,0,0,2,0,0,0,0,0,3,0,2,0,0,0,0,0,0,3,2,0,0,0])'
'905'
'27*a-16'
'[a+1,-a+1,0,-4,a-6]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'905'
'27*a-16'
'[a+1,-a+1,0,5*a-74,34*a-287]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'905'
'27*a-16'
'[a+1,-a+1,0,-5*a-14,12*a+11]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'905'
'27*a-16'
'[a+1,-a+1,0,1,0]'
'matrix(4,[0,2,2,2,2,0,0,0,2,0,0,0,2,0,0,0])'
'979'
'-6*a-29'
'[a+1,-a+1,a,3*a-7,6]'
'matrix(2,[0,2,2,0])'
'979'
'-6*a-29'
'[a+1,-a+1,a,-2*a-2,a-1]'
'matrix(2,[0,2,2,0])'
