1024 32 ['?',-2,-2,6,0,-4,-4,-8,6,-2,8,-8,6,-10,8,-12,-2,14,0,8,-8,-8,10,-6] 
1025 5*a - 35 [-3,4,'?',-4,0,-2,-4,4,6,8,-6,10,'?','?',-4,-12,2,6,4,-2,4,16,8,6] 
1031 -29*a + 10 [-2,-5,-2,-4,3,3,8,6,6,-8,-2,8,4,3,9,-6,-7,12,6,15,10,-13,2,11] 
1045 -29*a + 17 [2,4,'?',8,'?','?','?','?',3,-9,5,2,9,-9,-9,0,-10,2,-12,-9,-4,8,-6,-12] 
1084 -2*a + 34 ['?',1,2,2,1,2,-4,4,6,4,-1,-4,-7,-6,14,-4,-2,-2,6,16,4,-3,4,8]
1100 30*a - 10 ['?',4,'?',-6,'?','?',6,-4,6,10,2,-2,6,2,6,-10,-14,-8,0,-8,4,-8,6,-14] 
1100 30*a - 10 ['?',0,'?',10,'?','?',0,0,10,0,2,-8,2,-8,-10,0,2,2,12,-8,-10,0,-10,10] 
1216 32*a - 8 ['?',-1,1,-8,2,5,'?','?',-2,1,9,-9,2,2,-6,0,-4,8,11,8,11,5,9,0] 
1216 -32*a + 8 ['?',1,1,4,2,3,'?','?',-6,-9,1,9,-10,6,-10,4,8,0,3,8,3,3,1,-8] 
1255 32*a - 11 [0,4,'?',-10,5,0,-1,-2,3,8,-5,-9,-3,-10,9,8,-8,7,13,2,13,-15,2,7] 
1255 -32*a + 11 [0,0,'?',0,-3,2,5,0,5,10,7,7,-3,2,-5,0,2,-13,-3,-8,-5,-5,10,5] 
1331 -33*a + 11 [3,1,1,-1,'?','?',-6,-6,-3,3,4,10,-5,10,-10,-4,-3,3,-12,12,-16,14,-6,-15] 
1331 -33*a + 11 [0,-5,-1,10,'?','?',0,0,0,0,-7,-7,-8,8,5,5,12,-12,-3,-3,-10,10,-15,-15] 
1331 33*a - 11 [0,-1,3,-6,'?','?',-2,6,6,6,9,-3,6,6,-3,-3,-8,12,-15,-3,8,-6,-15,-3] 
1444 -34*a + 18 ['?',-1,-3,-4,6,-3,'?','?',-6,-3,5,-5,-6,6,-6,-12,-8,-8,-9,0,-1,1,9,0] 
1444 34*a - 18 ['?',5,1,0,-2,3,'?','?',-10,-5,-3,-7,-2,2,-10,0,-12,8,7,8,15,-5,-15,0] 
1444 -34*a + 18 ['?',-1,4,9,4,-3,'?','?',-4,-8,0,2,-11,-10,5,-3,0,2,-14,2,12,4,3,9] 
1444 -34*a + 18 ['?',5,-1,10,0,5,'?','?',0,5,-7,5,-10,8,10,10,-10,0,3,0,-5,15,5,0] 
1475 35*a - 25 [-1,-1,'?',-5,-1,-1,-8,-7,9,-9,-8,1,6,11,'?','?',-11,-2,9,6,-3,10,-10,0] 
1475 -35*a + 25 [3,1,'?',-11,3,-3,4,-3,9,-1,-8,-3,-6,-3,'?','?',3,10,-13,-6,-1,6,14,12] 
1475 -35*a + 25 [1,4,'?',8,-4,2,-4,4,6,6,10,4,-6,-10,'?','?',-2,-14,-6,6,-12,-4,-14,12] 
1475 -35*a + 25 [1,1,'?',5,-1,-1,8,7,-9,9,-8,1,6,11,'?','?',-11,-2,9,6,3,-10,10,0] 
1476 -6*a + 42 ['?','?',4,-10,2,0,-4,6,-8,-2,-8,-8,'?','?',6,-14,-8,8,12,8,16,8,6,-14] 
1516 -2*a + 40 ['?',1,0,5,6,0,-1,2,-6,-9,2,8,-6,0,0,6,8,8,-9,-9,-10,11,-15,0] 
1516 2*a - 40 ['?',4,0,-4,3,6,-1,-7,-3,6,-7,-10,3,-9,12,-6,-10,8,0,15,-1,-16,-9,6] 
1539 36*a - 9 [-1,'?',0,-10,-6,0,'?','?',6,0,-4,-4,6,-12,6,-6,2,14,6,-6,-4,8,-6,-12] 
1595 36*a - 23 [-3,-4,'?',-4,'?','?',0,6,'?','?',-8,-10,0,-4,-14,-8,10,-14,4,2,-8,-4,10,-6] 
1600 40 ['?',4,'?',-4,-4,0,0,8,8,0,4,-8,-6,6,-8,0,10,6,4,-8,16,0,8,-8] 
1600 40 ['?',1,'?',-6,1,5,-5,7,-8,0,-6,2,9,1,8,0,10,-14,4,12,-6,10,17,-7] 
1600 40 ['?',-2,'?',6,4,-4,4,4,10,-6,0,8,-6,10,-4,12,-2,-2,-8,0,0,16,-10,-10] 
1600 40 ['?',-1,'?',6,1,5,5,-7,8,0,-6,2,9,1,-8,0,10,-14,4,12,6,-10,-17,7] 
1600 40 ['?',-3,'?',10,1,1,-1,-1,8,8,10,10,-3,-3,-8,-8,10,10,-12,-12,-6,-6,9,9] 
1600 40 ['?',6,'?',-2,4,4,-4,-4,2,2,-8,-8,-6,-6,4,4,-2,-2,0,0,0,0,6,6] 
1600 40 ['?',3,'?',-10,1,1,1,1,-8,-8,10,10,-3,-3,8,8,10,10,-12,-12,6,6,-9,-9] 
1681 41 [-2,2,-1,6,2,-5,2,-3,-6,-1,-2,2,'?','?',1,-12,-8,-12,-6,-9,-1,-2,13,-10] 
1681 37*a - 24 [-2,4,-1,6,2,5,-6,-1,-2,9,10,-4,'?','?',-3,4,-6,8,12,9,-11,4,-1,8] 
1681 37*a - 24 [1,-2,-4,12,5,2,6,-1,1,-3,4,-1,'?','?',9,4,12,8,0,9,-14,-5,-7,-1] 
1756 -38*a + 26 ['?',-1,1,8,-6,-1,-4,-3,3,-2,-5,-3,3,-6,-6,0,6,0,-5,12,-10,8,9,-2] 
1764 42 ['?','?',-2,'?',-2,-2,2,2,6,6,6,6,6,6,8,8,10,10,-14,-14,-4,-4,-10,-10] 
1775 -5*a + 45 [1,-3,'?',-6,-5,-5,4,-7,6,9,-2,-8,-3,6,-11,-3,0,1,'?','?',4,16,12,-16] 
1856 -8*a + 48 ['?',-2,2,10,4,0,4,-4,'?','?',8,8,10,6,-4,0,-6,-10,-4,8,4,-8,10,-14] 
1856 -8*a + 48 ['?',4,-1,1,1,6,-5,8,'?','?',-4,-7,1,0,-4,12,6,8,5,8,1,10,-17,-8] 
1856 -8*a + 48 ['?',4,-4,-2,4,-2,-4,0,'?','?',4,4,10,8,12,-10,4,-6,10,0,-14,16,6,14] 
1856 -8*a + 48 ['?',4,3,5,-3,-2,3,0,'?','?',4,-3,-11,8,12,4,-10,8,-11,0,-7,2,-1,0] 
1900 40*a - 10 ['?',2,'?',4,6,0,'?','?',0,6,-4,-4,12,-6,12,0,-10,-10,0,12,10,-8,18,-6] 
1900 40*a - 10 ['?',-2,'?',0,2,4,'?','?',-4,2,4,0,-12,2,4,0,-2,6,0,-8,6,16,-6,14] 
1900 40*a - 10 ['?',-2,'?',2,0,-4,'?','?',-2,-6,-8,-8,-10,10,4,4,-10,6,8,0,-4,-8,-2,-10] 
1900 40*a - 10 ['?',5,'?',10,-3,2,'?','?',5,0,7,-8,2,-8,5,5,-13,-3,-13,-3,-5,5,-10,10] 
1984 -40*a + 24 ['?',-2,4,-2,0,-2,6,-2,-4,6,'?','?',6,10,0,12,6,-4,-12,0,0,-8,6,10]