#### Keygen (n=1024):
kgseed = 1bb32af5ef1794261c8641df111cb3d9d4a99077ea9759e9f543ff59562cd1b38d237943c826fa33
f = [2,-1,-2,2,0,-2,-1,-2,4,-1,0,-2,-2,4,-3,-4,-1,5,-3,2,0,-1,1,-1,0,-2,2,2,-1,2,1,-1,3,3,-1,0,-1,-2,1,-1,2,-1,5,1,1,4,-1,1,-1,-1,0,2,0,1,-1,2,-1,3,-1,-3,1,2,-2,-2,1,0,-2,-1,4,-3,0,1,0,1,0,2,1,1,0,3,3,-2,2,0,3,0,3,2,0,5,1,-1,4,-3,0,-2,-2,-1,0,-1,4,-1,2,2,-1,-3,-4,-3,-1,2,-1,-1,-1,1,4,-2,0,2,0,0,0,-3,-3,0,-2,3,-2,4,-3,1,2,0,4,1,-2,0,-4,4,0,-1,0,5,2,-3,0,4,2,5,-3,-1,1,1,-3,-1,-3,2,1,-4,-3,3,0,0,1,-1,2,-2,1,-2,0,1,1,2,2,3,1,0,0,2,-1,2,1,-1,-1,1,3,-2,0,-1,0,0,3,1,-1,1,-2,-3,-1,2,-1,0,4,0,0,4,-1,0,2,1,1,0,2,-2,0,-2,-3,0,-2,3,-4,-2,1,2,-1,1,-1,0,1,-2,1,2,-3,1,-3,-2,0,-3,2,2,-1,-2,-4,1,-4,-1,2,-2,-1,2,-1,-1,0,-2,1,4,-1,-3,-2,-1,-1,2,0,-1,-2,-1,-1,-1,4,0,-1,2,-3,1,-1,-2,0,1,0,0,3,-1,1,3,4,3,1,4,-2,3,2,-2,0,1,1,2,-2,-2,1,-1,-1,-1,1,2,0,-2,1,0,-2,0,2,-1,-2,3,2,3,-3,2,0,0,0,4,-2,0,-2,-3,2,1,3,1,0,2,3,1,2,-1,2,2,0,-3,-2,-2,0,1,2,-5,4,-2,1,-1,2,1,-2,1,0,-1,-6,2,2,1,1,-3,0,1,-3,2,1,2,-1,-1,-2,1,2,-3,0,0,1,2,-1,-2,2,0,-3,0,3,-2,0,3,2,2,2,0,2,-1,-1,0,1,-3,1,2,-1,-1,1,-1,0,1,-1,-2,-3,0,0,1,0,0,-3,-1,2,3,6,-1,-4,-2,0,0,-3,0,0,4,-1,2,0,3,1,2,-1,2,-3,0,-4,-1,2,-4,-1,2,-2,-4,5,-1,0,1,2,0,1,-1,1,-1,2,-2,-2,2,-4,2,3,-3,1,-1,2,0,-2,1,2,-3,-1,2,0,0,0,-2,1,1,-4,2,0,2,-4,-4,-2,-1,-1,-1,0,-1,0,0,2,-3,0,-1,-2,1,1,1,1,-4,-2,0,2,-1,0,0,0,-2,1,-1,0,2,0,-1,1,-4,1,0,-2,-3,-4,2,2,-1,2,-1,5,-1,1,-2,1,1,0,2,-2,-2,2,0,0,-1,-1,-4,-2,1,3,1,2,-1,3,0,1,2,-1,1,-2,-3,-1,2,3,3,-2,-3,-2,-1,-2,0,-2,-1,-1,-2,0,2,-1,1,-4,-3,1,-1,2,0,-1,-1,-1,0,-3,1,1,3,-1,3,4,1,2,1,2,-2,1,2,-2,4,4,-2,-2,-1,2,0,3,0,-3,-1,1,0,-1,-1,0,-1,0,-2,-1,3,-1,3,1,0,4,1,-6,-1,-3,0,2,0,-4,-1,-4,1,2,4,-4,-2,0,-2,-3,-1,2,1,-2,-2,2,0,-1,3,1,-4,-2,1,-1,1,2,-1,-2,0,-2,3,0,-2,2,-1,-1,-2,-1,1,-1,-5,1,-1,-1,1,-1,0,-1,3,-1,-3,-1,-3,-2,-2,1,2,1,-1,1,3,-3,-2,2,1,2,1,0,-2,-3,-3,-4,-3,1,2,0,-1,0,3,0,1,-1,1,0,0,1,-3,0,0,1,0,1,4,1,2,-1,-2,0,-1,-1,0,-3,-1,2,3,-1,4,-2,1,5,-2,-1,2,-1,1,0,-1,0,-5,-3,-1,4,-2,1,1,1,4,-1,-2,2,-4,-6,1,3,-2,1,0,1,0,0,-1,0,0,0,0,1,0,0,4,0,1,-1,4,1,2,4,-3,0,2,-4,3,1,0,-2,1,-4,3,-2,1,0,2,-3,-1,-2,-1,1,2,0,-1,-1,-1,4,0,-1,4,-5,-3,1,0,-1,-1,-1,2,1,-3,0,-1,-3,-1,-2,0,0,0,2,0,2,-4,0,-2,2,5,0,0,2,1,-4,3,-1,1,2,0,1,1,2,2,2,-2,-2,-1,0,1,0,2,0,1,3,-1,-2,1,0,1,-2,0,0,-3,-2,-1,2,-1,2,3,-1,0,-3,4,5,-2,-2,-2,-4,1,0,1,-2,0,-1,-4,2,-2,-1,1,-2,-1,0,1,0,1,-3,3,-3,1,-1,-1,1,-2,0,1,-1,2,-1,-1,0,-1,-1,0,0,1,-1,-2,1,0,-1,-1,2,0,-1,4,0,-1,0,-2,-2,1,2,-2,0,-1,3,-2,-1,1,3,2,2,-1,-1,-4,0,1,-1,0,-1,-1,-5,0,-1,1,-2,1,1,-1,2,2,-4,-3,-2,3,-1,0,5,0,1,0,-1,-2,-1,-2,-2,1,1,-4,-1,0,1,-1,-2,-1,0,-2,0,0,1,2,-3,2,3,1,2,-4,3,3,-1,-6,4,4,0,-1,2,4]
g = [1,-1,3,1,-2,1,0,3,-1,1,-3,2,-4,-4,2,4,-1,0,1,-1,1,1,-3,1,1,-2,-2,1,2,1,-1,0,-2,0,0,-1,1,3,-3,-3,0,1,-5,0,-3,-1,-2,-1,-2,3,-1,1,3,-2,-4,2,0,-4,0,1,4,1,0,1,0,2,-1,3,2,0,-1,3,1,-1,3,-1,-3,-1,4,0,0,1,0,2,-3,-2,4,2,0,2,-3,-2,0,1,0,1,-1,-2,0,2,0,-1,-2,2,-1,-1,1,0,2,0,2,1,1,0,2,-1,2,2,1,0,0,-2,-1,0,-4,-1,1,-1,4,4,1,-1,-1,0,-1,-2,2,2,3,4,0,-1,1,4,0,0,1,-3,-1,3,1,0,0,1,3,-3,-5,3,-1,-1,1,2,0,0,-3,2,-1,3,-3,1,-2,1,3,1,0,0,-1,1,-1,2,-2,-1,0,-2,0,0,0,0,1,-2,-1,4,3,-1,1,0,0,5,0,-1,4,-2,-1,3,0,-2,-2,2,4,2,4,-2,1,-3,-2,1,-1,-1,1,1,0,0,3,0,1,0,-1,-3,-3,-1,-4,-2,2,0,1,-2,1,-3,-1,-2,-2,-3,-1,-2,3,-1,1,2,2,2,0,-2,-1,2,-2,-3,1,3,4,0,-3,-2,-1,3,2,2,-4,1,-2,-1,2,0,-1,1,-3,2,3,-3,0,-1,-1,5,2,-2,1,1,0,1,-2,2,-2,5,-4,1,-1,1,-3,2,-1,1,0,-3,-3,0,-4,2,0,-1,0,3,-1,1,2,3,3,3,-3,-5,2,0,-1,-3,3,1,-1,0,2,0,0,2,3,-2,0,-4,1,0,-3,0,3,0,0,-2,0,1,-3,2,4,1,1,-3,3,1,-2,-2,-1,-4,-2,3,-3,2,-1,0,2,2,0,1,-4,0,1,0,2,2,-1,2,-2,0,-1,-1,2,1,1,2,0,3,2,1,3,-1,4,0,-1,0,2,2,-2,-2,0,-1,-1,-2,0,3,2,3,2,1,3,-2,1,0,-1,0,-1,-1,-1,-2,-2,-1,-1,-1,3,1,-3,3,1,3,-3,0,-1,3,0,-3,2,0,0,0,-2,-3,2,1,1,-3,-1,-1,3,0,0,1,2,-1,1,-2,3,-3,1,0,4,-3,0,0,3,1,-2,3,1,2,0,-1,2,0,0,-2,2,0,-3,-2,4,0,-1,-2,-1,0,1,0,1,1,-3,1,1,-1,-1,3,0,0,0,2,2,-2,-3,-4,-5,0,2,1,3,-3,0,1,1,0,0,1,-2,0,-2,-2,1,1,1,1,0,-2,-2,-1,1,-2,-2,-1,3,-1,3,-2,0,-1,0,-2,0,1,2,1,-2,-1,0,-1,-3,1,-1,0,-1,1,-2,-1,2,2,2,-1,-2,2,0,1,0,-3,0,-1,0,1,0,-1,0,0,-1,-1,1,2,1,0,-2,1,1,0,-1,0,-1,0,5,0,-3,3,-1,2,-1,1,-1,2,1,-1,0,1,-3,1,-2,-1,0,-1,-1,-1,0,3,1,1,0,-1,-2,-1,1,4,0,-1,-1,2,-3,-3,3,-1,0,-1,-3,-2,1,3,1,0,0,-1,-3,-4,-1,1,-1,-2,-4,0,-2,3,-2,0,2,0,-2,-4,-1,-1,1,-1,0,1,1,1,0,4,0,-1,0,-3,4,3,-3,1,1,-1,2,3,5,-7,-2,-1,2,-1,-4,4,-1,2,-2,-1,1,2,1,1,1,3,2,2,6,1,0,0,-1,1,-3,-1,2,-1,2,0,0,-1,0,-1,-2,-1,2,1,3,-2,1,0,1,0,3,1,1,-1,-1,2,-2,-1,1,1,1,-2,-3,1,-1,0,-4,-3,-1,0,0,-2,1,1,0,2,3,1,-4,1,2,-1,-1,4,-3,-2,0,0,-1,2,-1,1,-2,-1,1,4,1,3,-1,3,-3,1,0,-3,2,-3,3,2,0,-1,0,0,1,-6,-2,0,-3,0,1,0,-1,3,0,-1,-2,-3,1,-2,3,-2,-1,-3,2,2,2,-1,4,-1,-1,-3,0,4,-2,0,0,0,-1,3,0,-1,-3,-1,-1,-2,-2,0,-4,1,-1,1,2,-2,-1,2,3,-2,1,0,0,-3,-1,-3,-2,0,0,0,-2,2,-1,2,-3,0,-3,2,0,3,2,0,0,0,3,1,2,6,0,-1,-2,0,-2,0,-4,1,-1,-1,2,1,1,-2,1,0,-4,0,-1,-1,-1,-2,4,1,2,-4,-3,0,-2,2,0,0,1,3,-2,-1,3,4,-2,-1,0,-1,-2,2,-1,0,1,0,0,-2,3,0,0,-2,3,-2,2,2,2,2,-1,1,-5,-1,2,-2,1,2,-2,3,1,2,-1,-1,0,-5,3,2,-1,1,-2,2,-1,1,0,-1,-2,2,0,-1,0,0,3,0,-1,1,2,-3,0,-2,-3,-2,1,0,1,-1,-2,-1,1,0,0,4,1,-2,0,1,0,0,1,0,1,7,-2,1,-2,1,3,1,4,1,-2,2,1,2,1,2,0,-1,1,-1,-2,0,0,2,-4,1,-2,-1,0,2,2,0,-1,0,-2,-1,-2,1,0,3,2,2]
F = [20,9,-9,12,-4,-22,-4,8,12,3,15,-5,-11,4,1,12,-24,3,19,-1,23,-2,-8,37,29,-30,16,36,32,14,7,1,-31,-28,-5,-10,11,-1,-33,-23,2,-1,-23,11,-6,-28,-7,-11,-21,5,11,-55,-53,-22,57,-3,-5,-3,-23,-20,0,-11,-14,9,-45,-5,14,-15,-3,-7,-14,8,-16,1,10,25,34,-48,13,13,-2,-2,7,-31,41,-18,-25,11,44,-19,-1,32,12,-32,20,-28,7,-1,-4,23,13,-9,47,5,-5,31,12,-20,-7,41,-12,-20,-21,-14,-41,4,-38,41,-18,-19,2,14,-5,2,-5,23,-24,-22,9,4,-4,-4,-12,62,-29,12,22,11,40,28,-12,-5,-2,-3,-14,22,12,-4,16,-22,32,-6,-28,-24,-7,-31,7,-12,-5,-25,-5,-11,50,-4,13,29,28,5,-17,-8,-13,-4,6,12,13,5,22,-1,-4,7,5,-11,-41,-6,-29,9,-3,-16,9,11,-11,-1,15,-31,14,-2,-11,-9,-6,2,-19,18,-7,14,30,5,0,27,32,4,-30,-22,9,-3,-33,3,13,11,30,-31,-2,12,-22,9,7,11,4,-10,-5,-44,-18,-3,22,0,25,-7,22,61,1,-27,19,5,-5,-1,-24,20,32,3,-2,-30,34,-13,16,14,-21,-1,-15,14,12,4,-9,-20,-23,11,13,-9,4,-6,20,-2,13,-23,-10,-13,1,17,-9,3,-7,-2,-31,-26,24,-12,-19,10,9,-5,40,24,5,-3,-12,-3,-26,5,-15,24,0,-7,-3,-13,15,23,-16,-8,-11,-7,22,-38,-22,34,-4,-12,6,6,-7,15,-21,22,26,-5,-2,8,-4,-15,35,-54,-15,9,-13,21,4,-31,19,-17,34,2,-8,-1,-15,35,-56,-18,34,15,-3,-4,-8,18,-33,-26,-6,25,-8,-27,36,-7,-38,-24,27,-28,18,34,-1,26,17,-3,-34,14,-5,-9,-10,24,2,-6,-8,-29,5,-36,-49,0,-6,-25,25,-5,7,7,6,-16,6,-5,41,-16,-33,3,33,4,0,6,19,17,-7,-1,20,7,25,-2,8,-5,-17,-11,13,-2,-4,21,17,14,12,-12,12,23,-4,25,-9,4,-28,-8,-13,9,21,-1,0,28,-17,16,20,10,14,14,-31,-19,-4,4,2,14,6,-1,24,30,7,10,-22,9,-2,2,-2,29,-18,4,-10,-10,-1,11,-3,-9,-18,-30,1,6,4,-48,-15,-6,-15,0,-25,24,-9,-11,19,12,16,-2,-4,6,-25,-13,-15,23,24,-7,-27,-29,14,-8,-17,24,29,-50,-11,-5,23,21,-25,-10,-16,-12,-8,20,-4,12,-32,4,2,2,6,-25,-10,17,-14,-1,11,3,-21,12,-48,-3,-3,-15,10,-11,18,-16,-11,-3,8,9,-6,-15,2,11,-18,9,-16,14,12,-10,26,-2,33,-9,9,11,15,-39,28,54,20,23,-9,16,26,-13,0,1,20,-14,-6,-1,-42,-30,12,-13,-5,-21,-1,-11,-23,-2,17,33,-19,-10,16,-50,14,-5,25,5,21,-7,1,18,-6,19,6,44,-4,-10,21,6,-5,12,-21,34,-10,-2,1,4,9,2,1,-4,18,13,-20,26,-36,-14,-4,-15,-16,-11,-25,-10,1,8,-13,1,-33,9,8,7,-11,-33,-5,18,-16,-1,23,7,-9,14,0,-18,18,31,-6,-11,-1,-69,-7,-5,-25,7,56,-8,21,-14,19,20,-11,-14,-11,-4,-1,-14,25,5,10,-1,5,25,0,23,-9,26,35,-16,19,16,-24,21,5,50,-3,15,16,-3,-36,2,-36,-9,8,-18,-3,4,21,26,-2,10,20,-7,-2,-29,-26,-21,-7,-13,-24,-8,44,1,46,8,-1,7,30,-14,9,30,-16,-38,10,-9,-8,16,-4,-8,7,-40,8,25,-32,-34,-3,14,-24,-3,-10,-28,-19,3,23,39,52,-14,-7,15,-11,-3,-25,-1,-15,23,-9,7,5,36,18,-12,6,9,9,-5,-27,-33,-41,6,-6,-41,4,-3,-22,-22,-27,-6,-1,-12,-23,-9,22,-22,14,28,13,-38,2,12,-30,-30,5,42,13,4,27,3,-7,-3,-39,12,-11,-14,-3,8,38,4,-9,-46,10,17,-3,3,5,-11,32,-18,-5,11,28,-6,38,-3,15,40,5,-17,16,-35,11,10,8,-32,14,-11,-7,3,19,-31,41,17,-47,10,21,4,19,35,-21,19,-39,-53,40,-1,-10,-14,-9,5,7,-13,1,29,-22,-1,-8,6,27,18,-7,-6,-17,31,-2,4,27,-5,-3,-5,-24,11,-7,30,21,-6,-21,-7,-14,-23,-7,4,-6,9,35,5,-1,-13,5,-14,-22,-11,3,-8,-31,-13,37,19,-6,20,12,-13,20,10,-47,23,1,-15,-26,10,14,2,-27,16,-10,-6,-24,-19,14,-20,16,-20,14,4,-49,-13,22,-15,-6,14,3,38,15,25,15,-6,45,17,-16,24,5,-2,18,52,-9,-5,-9,21,30,-23,-27,10,14,-18,-7,-26,4,9,-23,-43,-19,-1,13,-6,21,37,-12,-12,-6,11,19,-25,27,3,27,-27,-6,17,40,-26,-2,7,6,-36,-9,10,-16,-13,-2,-38,-17,-26,-9,-3,34,-35,-6,13,-13,6,-38,-3,32,5,-5,-16,23,15,-20,6,22,-32,32,23,-38,0]
G = [-27,-63,-28,13,-2,25,23,-4,9,-7,12,28,-13,9,-4,-4,6,17,12,-1,5,-2,7,20,-24,-27,15,7,13,10,6,-30,-19,-15,5,-8,23,10,24,-9,2,-26,28,-9,23,-19,-19,-18,-15,19,-11,-1,-22,-7,8,31,-1,-9,-4,2,-21,-23,-4,-11,6,-12,-12,15,15,17,40,-6,-11,19,-4,9,23,-39,11,-9,23,-3,8,-1,-21,32,25,8,11,-8,-14,10,0,-23,-5,-23,-7,-6,6,-26,12,32,-2,-8,-9,-17,-9,-2,27,9,17,9,21,-24,2,10,6,-6,-21,-2,-17,7,32,21,-13,-6,-13,4,-1,-9,16,13,-25,15,-3,12,-51,47,-6,10,-9,21,5,30,-5,-10,20,43,-11,15,-11,-19,-7,13,-18,13,-24,1,-31,12,-13,-7,29,-12,7,-14,51,-11,11,36,-36,-43,-5,-3,1,-24,-30,-17,-6,-15,-14,3,-13,-19,-1,-25,14,-7,-16,-22,8,-1,18,-12,59,8,-3,0,27,0,17,-17,23,-9,-6,-29,35,-21,12,-18,13,35,13,-25,-5,-6,-16,-42,-1,30,-50,5,16,8,30,-9,39,11,-34,-14,8,1,17,0,13,9,-1,-15,-6,39,-2,7,-36,1,6,2,-10,-15,-27,13,-27,14,-8,8,-16,-13,-17,25,-28,35,-19,-31,2,-4,-15,15,17,22,-8,23,4,0,-8,-16,6,1,28,13,-14,17,42,18,47,3,50,-42,-10,-18,-25,-13,12,6,-23,-13,9,-11,19,-2,-23,-13,21,4,-1,-40,-13,13,6,-22,-7,10,12,-28,-30,-17,6,11,13,-14,1,-11,37,2,-6,-14,1,-22,-44,12,4,21,19,-25,-23,7,-5,25,-2,-13,30,7,24,-5,-12,10,-2,-1,-8,-6,0,9,13,15,3,-2,8,3,-14,5,23,-20,22,7,-16,-1,11,15,-12,2,-27,17,11,-16,-16,20,-28,20,-2,10,-28,6,27,7,23,14,-12,-5,-18,-5,-25,-1,-18,12,-5,11,25,25,-9,-28,-18,19,-5,23,-9,-9,29,4,0,2,-3,5,8,23,2,7,19,15,-4,11,11,24,9,0,6,-6,-10,-4,5,2,21,-4,-2,2,10,-36,18,22,-15,-44,30,-10,3,-24,9,-6,-30,-16,1,-34,16,-39,3,-18,-2,20,-16,-3,-12,-20,2,-5,-20,4,7,4,8,5,26,-4,29,-26,-17,-7,-14,-15,-20,7,-5,9,-6,28,-1,1,-34,6,-7,15,27,4,-11,18,0,23,-2,28,-11,0,5,-9,-6,12,-26,16,-21,25,-1,7,-14,14,22,25,1,15,-4,-14,-2,-9,-10,-20,13,-11,-5,-18,-12,-10,14,14,5,-23,-17,8,1,-17,-19,0,-18,21,26,26,26,-23,11,14,-15,16,-4,-1,4,13,20,6,31,6,4,-29,-26,7,-2,-24,15,-37,18,-22,-38,41,-1,-24,5,0,21,19,-3,1,19,4,-10,25,24,-29,5,-4,-14,-8,-38,-1,-5,-7,-49,2,7,-23,1,-9,31,11,-2,-3,11,-5,-62,15,42,6,13,-20,24,-10,-8,25,-24,-6,-10,-14,1,8,-15,11,-1,1,4,35,17,19,14,2,17,-12,-7,-7,-14,-2,-2,8,-27,22,0,-11,3,-9,-34,-2,-12,-20,-17,-10,29,-7,8,23,23,-11,-23,42,-20,1,-23,-11,35,-6,12,26,-12,-12,49,-8,-32,-20,10,-16,-7,-15,-25,-7,-7,19,15,50,11,20,-3,-5,-4,8,12,-3,30,5,-4,-17,-18,-19,28,-5,-8,6,31,12,-7,-35,-6,-11,-17,-6,17,-18,-5,-2,23,8,-4,19,-18,-28,8,-8,-7,35,15,-16,40,26,37,-25,-5,-34,27,4,19,33,-8,-5,-2,18,-2,-10,5,2,-39,21,-3,-26,1,15,-16,0,-13,-1,0,-6,-5,30,5,23,1,24,-21,-28,40,-1,-18,16,-14,4,19,21,8,-11,-30,-28,-32,-28,-15,-15,17,-54,31,-3,20,11,-30,6,-19,-13,-17,4,2,7,-15,9,-3,4,-28,-18,4,-18,-14,12,9,-8,8,6,21,10,6,-10,39,69,-59,-8,40,11,10,-7,-21,-5,-10,-24,-26,27,-8,-12,49,-25,24,16,13,-50,-14,-23,-1,-10,5,6,10,-3,-3,7,-1,3,-2,5,-5,-11,25,17,11,12,-27,6,-26,-4,-5,13,-20,-14,-4,-6,22,-20,15,-26,7,26,-16,25,-6,15,20,-1,-25,33,-15,3,-16,4,-36,11,21,-15,21,7,18,-30,5,7,6,24,-1,20,27,-20,-2,1,-6,13,-3,-3,16,-17,-23,-20,-7,-2,17,0,-8,-15,-15,-6,-10,-3,14,-19,0,-13,2,28,11,14,47,-32,14,36,-1,-17,-5,-19,-15,6,34,7,-14,-22,11,15,-23,5,28,18,5,-35,24,-4,16,-17,21,-15,27,7,-7,-4,-12,-20,8,14,-38,-1,-9,6,12,-4,2,0,-7,-27,-15,21,6,-7,-9,7,-6,4,-4,2,6,15,3,56,12,-2,-11,-20,-24,7,-35,8,-15,6,18,-17,7,9,0,19,-23,-54,5,-19,37,11,16,10,2,22,19,-5,-21,-24,9,-36,-21,-4,-9,32,20,-16,8,-2,17,6,4,-17,1,-30]
q00 = [8212,-203,-236,115,2,-194,-26,-125,139,-99,-115,-229,334,206,142,398,-29,-285,-216,-163,-69,20,9,-193,174,-39,7,-43,-91,230,-349,152,58,51,-4,65,-492,45,2,-228,-200,204,-154,-42,-12,72,6,335,-168,60,-310,-38,25,-391,-215,-5,211,280,72,397,139,16,110,50,-34,-31,77,31,-71,-353,-236,186,112,112,-125,234,-146,-217,344,-179,62,163,-3,21,102,-121,-109,170,-49,63,127,-88,-15,-210,-50,-243,-157,200,110,314,-191,-174,-153,173,204,64,-210,-50,-21,-184,-21,10,-9,18,90,-214,-139,-179,213,-47,282,111,93,-285,-58,107,128,-269,24,301,-135,-288,-96,-25,262,106,324,115,190,151,-241,-22,140,-77,-78,231,66,-92,101,165,-104,46,-389,-170,-168,-24,-296,-220,223,-374,-33,10,-170,101,61,-51,84,27,-76,60,-26,48,23,-125,-54,-52,-31,-32,-402,118,169,-122,54,92,-217,72,-43,-55,25,285,-488,341,-144,-42,256,217,176,-37,94,-75,-91,236,55,-82,134,63,-80,-4,22,187,162,-246,-191,-86,-33,-39,258,76,-508,-83,102,-54,-357,307,31,-113,256,79,138,7,-117,46,343,-153,-199,16,197,123,-99,43,95,-266,-30,135,196,-26,-27,485,8,-201,101,-85,65,-292,145,3,-52,182,71,-275,373,-74,256,258,341,-209,57,98,69,49,-94,338,127,-111,112,46,-110,-150,-121,209,-272,-107,166,-32,323,210,-225,101,-78,-173,-193,142,-83,-15,26,196,-127,139,89,148,-41,19,-21,68,106,-402,2,254,61,188,-227,312,-46,168,-40,37,-31,-175,95,174,153,-116,-63,-120,343,-10,-173,-72,-181,-220,281,249,-163,61,-43,106,132,-220,-168,102,-44,-15,79,11,160,292,162,-38,-497,18,-180,-208,116,-222,-161,-48,-151,448,-88,-89,-95,-178,18,-192,-269,495,-273,-61,60,-166,-226,235,-217,-7,-59,-175,-202,100,76,-188,115,280,77,44,-229,0,268,-478,-156,240,-28,21,163,-170,72,-54,22,172,-54,174,122,-27,47,333,-91,131,32,24,256,39,6,63,-126,115,45,-82,-104,-53,36,-154,-196,160,-58,153,-18,-100,0,-145,88,323,-218,-78,202,-210,-282,113,118,318,-248,-194,-44,-181,-266,-36,-14,-7,-209,-3,127,168,25,-15,-109,-115,-293,-101,141,-9,-48,112,72,287,71,26,23,-129,-31,204,-214,22,196,117,-227,-250,18,157,-140,-239,101,136,134,141,60,-220,-6,-234,83,41,72,-43,-117,55,181,308,311,-257,70,-311,-214,-49,208,-267,12,-73,-116,-68,-186,188,128,-177,277,-154,0,154,-277,177,-128,-188,186,68,116,73,-12,267,-208,49,214,311,-70,257,-311,-308,-181,-55,117,43,-72,-41,-83,234,6,220,-60,-141,-134,-136,-101,239,140,-157,-18,250,227,-117,-196,-22,214,-204,31,129,-23,-26,-71,-287,-72,-112,48,9,-141,101,293,115,109,15,-25,-168,-127,3,209,7,14,36,266,181,44,194,248,-318,-118,-113,282,210,-202,78,218,-323,-88,145,0,100,18,-153,58,-160,196,154,-36,53,104,82,-45,-115,126,-63,-6,-39,-256,-24,-32,-131,91,-333,-47,27,-122,-174,54,-172,-22,54,-72,170,-163,-21,28,-240,156,478,-268,0,229,-44,-77,-280,-115,188,-76,-100,202,175,59,7,217,-235,226,166,-60,61,273,-495,269,192,-18,178,95,89,88,-448,151,48,161,222,-116,208,180,-18,497,38,-162,-292,-160,-11,-79,15,44,-102,168,220,-132,-106,43,-61,163,-249,-281,220,181,72,173,10,-343,120,63,116,-153,-174,-95,175,31,-37,40,-168,46,-312,227,-188,-61,-254,-2,402,-106,-68,21,-19,41,-148,-89,-139,127,-196,-26,15,83,-142,193,173,78,-101,225,-210,-323,32,-166,107,272,-209,121,150,110,-46,-112,111,-127,-338,94,-49,-69,-98,-57,209,-341,-258,-256,74,-373,275,-71,-182,52,-3,-145,292,-65,85,-101,201,-8,-485,27,26,-196,-135,30,266,-95,-43,99,-123,-197,-16,199,153,-343,-46,117,-7,-138,-79,-256,113,-31,-307,357,54,-102,83,508,-76,-258,39,33,86,191,246,-162,-187,-22,4,80,-63,-134,82,-55,-236,91,75,-94,37,-176,-217,-256,42,144,-341,488,-285,-25,55,43,-72,217,-92,-54,122,-169,-118,402,32,31,52,54,125,-23,-48,26,-60,76,-27,-84,51,-61,-101,170,-10,33,374,-223,220,296,24,168,170,389,-46,104,-165,-101,92,-66,-231,78,77,-140,22,241,-151,-190,-115,-324,-106,-262,25,96,288,135,-301,-24,269,-128,-107,58,285,-93,-111,-282,47,-213,179,139,214,-90,-18,9,-10,21,184,21,50,210,-64,-204,-173,153,174,191,-314,-110,-200,157,243,50,210,15,88,-127,-63,49,-170,109,121,-102,-21,3,-163,-62,179,-344,217,146,-234,125,-112,-112,-186,236,353,71,-31,-77,31,34,-50,-110,-16,-139,-397,-72,-280,-211,5,215,391,-25,38,310,-60,168,-335,-6,-72,12,42,154,-204,200,228,-2,-45,492,-65,4,-51,-58,-152,349,-230,91,43,-7,39,-174,193,-9,-20,69,163,216,285,29,-398,-142,-206,-334,229,115,99,-139,125,26,194,-2,-115,236,203]
q01 = [2592,3126,1739,2448,1279,2307,198,-698,2686,2133,-4236,-441,-5107,-2460,-1946,5363,-1721,-346,2040,1510,804,4112,-2813,2201,-2096,-2869,-1048,-1590,-3790,930,4065,2582,-4954,5607,4295,4730,349,1468,-620,-3143,-7693,-1590,-2374,-2812,1634,100,-2180,832,5208,1121,-5734,-1070,1263,-2323,3353,-1649,-153,2951,-3016,-708,6554,470,5388,-3430,2,4222,-1997,2916,-5205,-1375,-1195,-3430,2208,2658,-2913,1042,-511,-1687,-1889,-1271,257,272,6006,-970,-1249,460,6210,1866,1510,-2602,-4305,7364,-927,631,1486,1182,-822,-1637,-2964,-1087,3746,-5335,-2075,-500,-1312,5498,1622,-1273,1850,-3606,-4265,-5665,3129,2335,-6745,-2390,3819,1056,940,-235,7272,-2921,-4019,742,2127,1108,-1953,-2846,5415,2710,-4232,1805,3433,5310,-1381,-3537,-409,1290,2246,-4423,1497,1594,-5302,4148,-1898,1234,2777,1316,185,-1576,-2868,-1155,-529,2322,-1063,1324,-2777,3865,-1054,-1877,-4149,1814,-260,2201,1001,-26,5172,5494,-3665,-2718,2708,-915,4889,3767,-6516,1127,-5051,-1493,-5684,1739,-3072,-1251,-7268,-980,-1267,-700,-1135,-944,-2595,-3312,3527,-389,175,-2876,-1833,131,1104,-3808,3208,5917,-3281,2725,2241,-4335,4814,-5438,171,-5305,2309,-900,2681,1643,4286,-1577,2779,536,552,2460,2094,-3928,-647,2560,1750,2924,5071,-1902,580,-998,4189,2413,-687,3152,2544,-165,-2110,-2358,-1951,615,-5039,-3813,-253,-3975,1214,-2873,-156,728,3480,1336,-4392,-2320,4323,-2181,-6007,4176,1338,-632,3534,1808,-563,21,-1234,5654,-2371,-4747,-5340,4960,1111,-3377,-408,4947,-157,3109,-980,2928,2485,-1991,-530,223,-2018,-365,623,2883,1481,1678,-1294,668,4705,2286,3133,1034,-2738,3101,2555,-48,-78,-2483,-945,-1851,1915,2921,-3360,1241,1991,-4743,-4091,-674,1894,-3681,-1483,-1250,-5646,-1823,6131,3087,1776,236,-255,-4526,1397,-3273,-839,1865,1689,-6401,1907,-4597,24,-1035,5638,-172,-2709,1417,892,4435,261,-4565,3649,-303,-5598,4083,-2008,-2729,-2633,2558,905,2386,-46,3797,4727,4997,-3428,-3470,-366,2688,337,2782,1457,4051,-1717,-124,3747,-1599,-3608,2346,2741,-5403,2069,-975,5310,306,-110,-4388,1550,1223,-7025,-219,3010,-5322,4391,-4656,3207,2760,-3785,-3209,2622,-5566,-483,-3738,-1932,-1935,2286,-273,-3246,4760,-1125,4318,-2400,4240,-732,2209,3439,-4035,-3225,2643,-2345,-1238,-1044,-1934,-1507,3204,-3703,5111,3595,-2194,-4472,2583,-2241,2252,-1339,5636,235,-1468,-3356,-3791,180,3464,-2097,6221,-3431,2540,-2339,1430,-1890,1936,506,-5070,1611,6396,3360,-7319,2704,465,-3090,-4854,442,-7210,-3602,-3730,-1830,-656,2078,234,-1128,-3803,-3526,-2616,2824,-600,1087,-53,-1299,-2385,4513,-1467,2655,175,981,1322,443,-3727,5804,-1974,456,-3093,4361,-704,-26,5753,-334,-4833,4635,1492,2910,1686,2621,1228,2659,-7128,530,-2092,1438,-5192,3031,445,2710,-1604,3861,3399,-3067,-4693,-4929,2891,-2909,-5034,-3311,3012,-1661,-642,4253,1631,149,4353,933,2002,3046,3996,-1201,2285,428,1215,-6017,-321,-645,5127,-1537,-1744,636,784,-823,5687,72,-3131,-1640,102,-3070,3610,-34,1367,-1886,-1714,3552,5563,-1875,-1016,2233,1196,-2517,1666,5387,-2057,-3322,-6331,3876,5951,-1410,2584,5829,218,1282,-1557,-1017,1682,-3651,-4637,1353,305,445,-966,-4656,5405,-436,-5947,-957,3954,-3705,-2202,566,-1681,-2099,-1949,-964,773,-1649,-3149,-249,4427,2517,1326,-489,490,447,-431,-2177,-1379,-2433,5127,1653,-5547,556,2514,695,-3396,-1300,-2800,-1816,834,-3837,2425,1421,-3662,4466,-2668,3536,4686,997,1951,-1112,-920,-54,-5495,5459,-1029,1223,3575,-998,3169,1827,-1159,805,-2141,993,-2196,3680,804,-4399,1438,-3162,447,131,-356,377,-3978,3395,-2839,684,1691,3169,5274,-1783,-7424,-4913,3672,-2077,299,-526,2462,-691,6262,-4259,493,2083,858,-7056,2747,-1550,2027,4034,-2505,1440,4076,-2885,1846,2342,-1700,-2848,955,-2557,-2257,-391,3499,-1693,54,-3005,-1520,3324,2317,-4908,-4097,963,-2529,-135,3139,-219,3981,6415,-4592,-671,-3760,-1111,-1096,-4288,-735,2806,-3725,3961,-223,3513,-332,-2228,-1071,-79,-1077,785,2005,-2289,-4459,-3939,-148,-2447,-81,4832,-2855,453,-5009,3681,622,-4036,2793,2770,-4017,-1709,1365,-5682,2690,-733,3798,3527,-618,-354,-1942,3589,1649,-3562,3964,2342,-280,-1020,-3203,-2258,6906,3918,-1532,584,181,-3272,3609,2598,4089,2007,-4880,-3539,-190,594,-4301,397,-747,-5168,1557,2911,2451,-3272,-1533,935,2000,-413,178,3236,3389,703,3924,3943,4909,-2378,3466,-1246,-3670,-2357,-5419,-4289,3495,2833,-696,5552,4753,622,-1900,980,-4394,-2473,-62,-2899,2524,1090,2842,2672,4417,5661,-685,3712,4059,-2196,-282,-834,-4365,6042,-2921,-1528,991,2894,2759,-2917,1241,-4094,-1979,2086,-4781,1618,985,-457,-957,-815,-3096,596,-2514,-4644,-288,-2085,-1077,2122,1286,-1804,-1569,-3784,-1792,-4323,-6037,-5166,1747,-1166,-1036,2236,1659,-2161,1389,-2170,-893,-2154,1019,-1245,3519,4171,-2791,1451,3109,1637,3167,3241,-2819,-2239,4417,-1303,-1385,-102,2249,-279,-2333,2830,1069,-2801,-578,-3425,-2554,-641,-2373,1978,1894,83,2513,-844,787,-756,3107,-804,2219,3342,-419,115,-3413,3115,2616,-3447,-700,2059,-1724,3203,-436,-3301,4167,-3388,1293,104,4978,-6486,-1808,-2999,2692,-1898,798,6065,-846,-947,-3219,2135,-4129,-3816,1574,3416,-556,-373,212,1951,2606,1859,-2112,1941,-4102,1107,2659,4586,-997,-1544,1101,3509,-3011,2809,-557,3285,2401,1316,-3633,4223,799,412,-3021,-1577,-1990,2763,-3366,1028,-1295,-49,-5438,201,3828,-1091,-3481,-689,2421,-4989,613,2394,-4977,1859,199,-4449,-627,3016,3777,-1593,-2382,-3762,-4580,-2598,-4017,3303,4644,-4983,-2542,4490,2829,-1201,2676,-1580,4393,-3270,-4715,806,4907,-1169,-334,-2790,-807,3062,2899,5517,5816,-312,2733,-584,4318,-149,-3206,-1289,-2660,-2912,3442,-5160,5032,3247,-335,86,2992,1667,-152]
q11 = [751783,-17967,-13726,42810,18145,-23909,250,-55963,22289,-8075,-20466,-50037,60417,34796,-23973,17571,-4970,-66666,-4503,-39652,-851,-23898,-28241,-76529,-20903,48237,-11424,-870,-9978,28240,-7434,17952,-10559,55293,17267,-45430,-27712,5027,-32221,7229,-25704,29553,-27755,37529,-18525,40969,-11650,38745,-30033,-14501,-72753,24176,30474,-52313,-80206,19386,28642,169,-3193,41764,-1438,31295,-43624,-35551,-32422,23446,-50500,14772,14976,-43440,8062,55501,-1495,14325,-3602,10761,-2058,-14796,-7865,-1029,12653,35302,-2709,14693,59151,-6316,24446,-26152,-36808,6779,-4442,-56854,-39553,-28977,-36374,-25230,-32091,-9034,5955,52834,-39080,-18143,-7604,-14259,34635,-43378,-51636,9416,16335,-58740,52267,5968,23613,21953,-10347,13650,42519,-4973,7253,-141,21749,-41401,-26195,9200,23278,42232,8936,-19791,65147,23685,-24611,-17628,33171,6650,-41058,6411,32758,28043,40930,-29823,-9168,25153,-16190,-20791,-2828,16856,35262,-25315,-6364,68545,-10025,-29636,328,5712,10760,1816,12255,8480,70427,-1026,-24830,12204,10335,-50341,3554,-6030,19114,-18575,1230,6795,-13055,-19949,4592,-81866,-41043,-4009,-44065,-25002,-34628,-28478,26375,11957,-37926,76377,14638,-24494,-31073,3939,5592,11497,-27300,62552,-33371,27621,4336,2996,83030,8448,12386,11181,-6820,34993,-43115,12765,-36057,19569,-29025,-40037,13908,57293,-47434,11995,-16849,22800,416,-29003,17951,18348,-71062,-34644,23784,-11305,-45928,4906,26714,-21242,-4200,77088,36290,3942,-7854,-55938,52351,-38099,-20797,10939,34525,-27712,-16367,5720,42201,-11714,51550,-35651,-8014,-929,-46835,-36956,31023,-52532,-4124,-23041,22269,-23876,41652,-44325,5348,26583,-6236,-36968,23335,46141,11730,10202,66440,16746,62243,17243,9448,41852,-7916,37584,23524,41112,15920,-21215,1830,-31337,-31061,18462,-32590,-1624,3985,-14659,49491,15561,-50679,27328,-55747,-66137,-47938,55109,-64429,37583,-3146,43871,-19841,40709,-21993,41278,33519,-36915,-30858,6407,-25932,-69675,-10600,-16272,-9849,50081,-36791,36522,43648,68207,-35177,-1530,41340,-7962,-1966,-19831,-24903,-5716,-22759,-48394,91035,23473,-9493,-30080,-26962,14477,-22142,-4508,-21488,-8111,-15063,-66732,23278,10338,-4865,3165,12508,-15721,65874,5631,40701,44686,16431,9157,-55772,28640,-14333,-36760,52911,-49848,-8267,22324,-3622,28163,32680,-46600,-22287,-18391,-12637,-42305,-2610,37851,-83198,-27419,3338,-18021,-10332,-26312,-5247,575,11814,-45174,-28794,75372,7793,-51139,31977,54781,-11626,23070,-29871,-27541,42780,-73779,-30839,73792,2919,-8410,59781,-2048,38662,10497,972,37924,6069,38698,-8365,21042,-5994,4196,-30259,-39765,-13660,19541,-9868,12988,60236,-10767,-19033,5194,-29585,-4454,-22475,-58269,-32316,36184,-8452,3654,15743,78450,34087,36824,10365,-43986,42130,45385,-43535,-38614,25213,21666,-40124,3592,15522,-3260,-16608,-45659,1382,33795,-62803,-29383,4071,-32116,-75256,-30115,37278,34246,5460,-336,-7719,32785,9897,-1977,5742,71119,-28334,-15071,3093,17130,88657,-29172,-25031,36803,-18793,52451,-19458,7668,44580,-23363,-22057,-58812,17070,57941,-25442,-30758,31775,-25511,66330,25004,54706,-23331,5305,-29154,-76632,-21138,-11481,-71205,45832,-23879,-112,51217,23033,-34953,74787,-65858,-44777,-15053,36092,-61469,-25889,-34335,-2558,20354,-24391,8357,76694,34815,-16175,-1111,0,1111,16175,-34815,-76694,-8357,24391,-20354,2558,34335,25889,61469,-36092,15053,44777,65858,-74787,34953,-23033,-51217,112,23879,-45832,71205,11481,21138,76632,29154,-5305,23331,-54706,-25004,-66330,25511,-31775,30758,25442,-57941,-17070,58812,22057,23363,-44580,-7668,19458,-52451,18793,-36803,25031,29172,-88657,-17130,-3093,15071,28334,-71119,-5742,1977,-9897,-32785,7719,336,-5460,-34246,-37278,30115,75256,32116,-4071,29383,62803,-33795,-1382,45659,16608,3260,-15522,-3592,40124,-21666,-25213,38614,43535,-45385,-42130,43986,-10365,-36824,-34087,-78450,-15743,-3654,8452,-36184,32316,58269,22475,4454,29585,-5194,19033,10767,-60236,-12988,9868,-19541,13660,39765,30259,-4196,5994,-21042,8365,-38698,-6069,-37924,-972,-10497,-38662,2048,-59781,8410,-2919,-73792,30839,73779,-42780,27541,29871,-23070,11626,-54781,-31977,51139,-7793,-75372,28794,45174,-11814,-575,5247,26312,10332,18021,-3338,27419,83198,-37851,2610,42305,12637,18391,22287,46600,-32680,-28163,3622,-22324,8267,49848,-52911,36760,14333,-28640,55772,-9157,-16431,-44686,-40701,-5631,-65874,15721,-12508,-3165,4865,-10338,-23278,66732,15063,8111,21488,4508,22142,-14477,26962,30080,9493,-23473,-91035,48394,22759,5716,24903,19831,1966,7962,-41340,1530,35177,-68207,-43648,-36522,36791,-50081,9849,16272,10600,69675,25932,-6407,30858,36915,-33519,-41278,21993,-40709,19841,-43871,3146,-37583,64429,-55109,47938,66137,55747,-27328,50679,-15561,-49491,14659,-3985,1624,32590,-18462,31061,31337,-1830,21215,-15920,-41112,-23524,-37584,7916,-41852,-9448,-17243,-62243,-16746,-66440,-10202,-11730,-46141,-23335,36968,6236,-26583,-5348,44325,-41652,23876,-22269,23041,4124,52532,-31023,36956,46835,929,8014,35651,-51550,11714,-42201,-5720,16367,27712,-34525,-10939,20797,38099,-52351,55938,7854,-3942,-36290,-77088,4200,21242,-26714,-4906,45928,11305,-23784,34644,71062,-18348,-17951,29003,-416,-22800,16849,-11995,47434,-57293,-13908,40037,29025,-19569,36057,-12765,43115,-34993,6820,-11181,-12386,-8448,-83030,-2996,-4336,-27621,33371,-62552,27300,-11497,-5592,-3939,31073,24494,-14638,-76377,37926,-11957,-26375,28478,34628,25002,44065,4009,41043,81866,-4592,19949,13055,-6795,-1230,18575,-19114,6030,-3554,50341,-10335,-12204,24830,1026,-70427,-8480,-12255,-1816,-10760,-5712,-328,29636,10025,-68545,6364,25315,-35262,-16856,2828,20791,16190,-25153,9168,29823,-40930,-28043,-32758,-6411,41058,-6650,-33171,17628,24611,-23685,-65147,19791,-8936,-42232,-23278,-9200,26195,41401,-21749,141,-7253,4973,-42519,-13650,10347,-21953,-23613,-5968,-52267,58740,-16335,-9416,51636,43378,-34635,14259,7604,18143,39080,-52834,-5955,9034,32091,25230,36374,28977,39553,56854,4442,-6779,36808,26152,-24446,6316,-59151,-14693,2709,-35302,-12653,1029,7865,14796,2058,-10761,3602,-14325,1495,-55501,-8062,43440,-14976,-14772,50500,-23446,32422,35551,43624,-31295,1438,-41764,3193,-169,-28642,-19386,80206,52313,-30474,-24176,72753,14501,30033,-38745,11650,-40969,18525,-37529,27755,-29553,25704,-7229,32221,-5027,27712,45430,-17267,-55293,10559,-17952,7434,-28240,9978,870,11424,-48237,20903,76529,28241,23898,851,39652,4503,66666,4970,-17571,23973,-34796,-60417,50037,20466,8075,-22289,55963,-250,23909,-18145,-42810,13726,17967]
priv = 1bb32af5ef1794261c8641df111cb3d9d4a99077ea9759e9f543ff59562cd1b38d237943c826fa33065e9ec1f5cedfa73bcadc06fb33a53441a200dcb3c57af733a5f08b93ec8fc8d1c37ed1acf90c7062ef38462ad10c968f1d6f9ea1f1048324c213d5c13bf501a09ecbaac08f29e277f8091595a0f59e87fe54b55bd922853a322124c9f37ff8293504f515f98c6df8d72fbfd4bcb5f9d9230f21b074136fe437fe22496bda206b335a1e9778afb338fb5be101f7415b7b73f96bd779ea8b54ef7c248ebd8a873b27a80cf35d13da11fe2ae2693a07703a9f1feb161410458648d23a7349c3e3c8c19d584aca589f86f7bb84d03b0d39b4e741f0d7a84a5b251cd74237d3252cdc721e10713a3259be5f0c94faf84ce956a6527cf28c1f18bc8391e5f67015645e04c2ab93a49ee7d69f7deab5d285be6d5a262a7b5970f1ec6f5825cb1edb269be344c46273b4a9a1992a37ff56f83dfa929f680cbaa88f597a0b7eb75eed11
pub = e60e9f5a941ded0073b464f9717cb9983cb049bf25e5274da3c9f86c4246662a2942724b37514235ee5336d8dedbf609594a12905bcbc6fff80616333886aea780b2ce4290f18b28938ee3381c7789049500ae79a89ac961fa3c046b2b8c0793a50b623c275f979961111386340be4caa1d77c06b8ea30ccab1186c9fe285426ceaaf0ff5f4e14cb1ce2ea7e8bb50c10c5d44d2988a4558a5cb9dadb71f90a30586b7c1f66a8c4ec5f70c530cd296c6579ba447a5ee7f6d5a09296bd4c6d0b9fc1175fcfde17d9696e7318a2da5977564f0a6430e9291a7b47c6ff0cd62ed67e059a02b34b664dce1f0c3cca41bb176640c52eae5fd21d44a695085252c1180db37d4875020815948b45dc49bf0bbb6d85478f6a7e8304960d0b3892a311fe9251e844116a24f83d2fe22d7a969efbb9d9ecdf57c21ef496e562afaac4769aabf32c202996b0343f7407be1670615e2cfdcc0bf17c19ae98a1bb09c9ec33d6b024c0741bbc55638ad4165bbbbaf636da0062c069fcfddc46274d66039867d10840d890354a94c5b67f072b9d8c8d01093f9a39ac4c920df2c2c8776817e0319545d4622e758b5b2246c36f453aa5884adf357d03865dc190c220f390f3005c654434968a201218221d7911e4051c11b9418603314281ec2d885491083257b9c6481492248af345124385250c090d05253115551a488688e074fb3e505af410106488ac62d949a4430135080b6583c4a88589034615720a412104b116544b11ca20a212e928e5151813619e92164c8910b944ba091930516402aa4c080827224e540a8d212071d2990ecae1b54e6436055144a81031e1b15ca15ca13362143189928cd1362184428cb04a929014807c431fc14fac8df4f41816efe98cc6c449e1d5254bf7bf26a922184ade1b9bd459d910e493fbb0a98676c4c1a6cccabe55f665e55489ecf3baa0da808adc0d103759cde4848dddde91275e0a2fa9940a57454976cd96bffafc4a564e9e846b4c409fe881bcd1f23e7fd325d8cd0f95b216979ba19822ae73c9fc4ccd437d8920dab02c64ff0c644cae7e56b1086ef26f96f93cb86685bf792443c06f262fd07c418dcd8a1ebe85599f778c9e5df1b6a6110cd658d4be62923108d0588451660bef4894119c981c7efcb09a59c7505902f8c13cd95478a54a59a08809b604fe590ab63d01416477f2e0302784d2e6a5080d319edfe99c27359339b90fa25aa3c17c1fe965253e3a57880a88397c846555eb82c0ba3a68a02dbbb94f50017ac727597a48c369f94216749829648c51d9e9580b0d694b932d49b99c38b320104a64024bd866dc01d534583c5026e96740835d50764aa9e419df3ad719ba5337e3b2ff8b33c6f4f2eceac6eb22be731c61afec8cf220507c8b48c7d0941a8c3bcef6b40a2e050d9ee79abea0b82d862872e6c2d58602682ddbcfb74d64f95db4e52a14f091d2434d9e9fe93ab9fc18ee0bce9b608b194e273d340e217643a1d39dce412c6305d1582894a2db807d054c974dcd4909d3c35d9bf1117e133e5b6f0e9d9ca30d711aa63b3d28106b07fbbdd0846cb0ebbc77da1f6573bca1fa876a3698ca85d3a0c7f33f002f3bfeb456173246279d294073d387810206ae4269627c4f55107541bad4ddfcd7a38aa47f894bd542b577163e56636d011a95b7b14d4feb1ea3fa78a14ab56a5481f3bec8d4c6480e1e03b736c22773d28b87208b2c223ef6265ea68b3bee0e44ad604a86375f41b26d286f098fc99428553341e3e21162e7fd0b4672d785c030a31381ebecb691b3b42006431366b12792656143ae5ff34bf203922590461741bdbaa51061a4253fea813a67685bdc8d085ff9030d1241159a6e5fbe52bd4abb39ca6aedc85190d0af19e4d914b81b52e7b5a53d3233e6f512aee0d911d7f766e990151fa53f95402fcd75eaee10cf67a09d7c594940a54b6f3ee7b0b4c3da2f800345e801003ecb27c436df88840e679ad1bf86215cd575ace0ed26f5fdb9b0429da00b21908f2e24ff1c1886c56a231085f84b2a248749c5d45bf12f76349bcebccb8d672636422a03e7c3170c2713f82c559d4be8a9f79b6b808805d80175aac6a274b70e35d1bb170bcd6f5e8d3529d79ad03959fee7575c5e835d531170cc7de58731b221257311fe246092ec926759fc36c85879253e94c5ac6e1a8626f6fe0333961cacd4a067b2da214a7b2368fdf8ae0dae2f3c72a0b14fb4cd268dfaf1eefc4163d86a9cdac0fb7bfc34b43200c38367c810da34fed07b9ebe6ac511bf786b2fa3797b93db52b3b8e0040d11570f8f5a624fe21814e09a5c1ce461ba397cbad2c2ce6a55310acaadb5c7a51956e505c6991edf265db4bf20d1e8ebf47e48d6724c8626e67ffdc3d2f52225338da9fb42855f4f760c7fa743cf992ca4f4f42bd567b79c9462dd5449934ac09c16f1adb045eae6dad4a7845a0f52732784c67006d521ab806e3f49464133a439daf77deff4b16467d3bfee26b02a65f6c8f1eef205544637e24724d0a084410b8378ecbfe250dec2b48d2cc0cb9e70b49507df69eccfcd6f4b98bb5a09657e918ac0be0465115a65246311470eb7006f9060e5072851ba9b3d45744b4f3cef0823afe290687350b5028e76edbac0ae83cc46ce113b358486dc553d6c3ba1697b1c7bd3b24b720508e79a88d58a7451f3b98b43ff507901538ca91ef90736519bf0f9b2584d5824c1f8c7c79c318f62f1cb9644804330f4940cbd4260066b5d7c97a915dc431f03969cc8078b6353b18e5722ece79068777b8a350c0b9d2ba6548c9a26af0c4953e59a6cffd48de17a53ab477a434921088df9b55c27a0fe8a5356c03ee8254429276148416b48928a911084b01150d20c0a2ad164601043092a92b43ad84025045c4b11644115218804121d90984a905004c5122a089596a612159a8320922102858252c03611a745049184100c328572125342878c4c1a6294a390902034ba202108c53026dda98644899c95a8108b0a0aa243b1028505d330c4204a3223848899a251244106870a4c10422422c1a88c5048988848aa224224242958c44820926a28100119614044b388644b28378246381842292530059922124212220d0d4b940507f56034b18aa0290589400425588bd043301891a58b217d4a5030a334528444580741c5a899188a8fc822282044ce40988154a4482993d1140961c60884516122c6b425c40c1962245141465c14912381e88844210e0725d18e18111245821019840d99948460440e419aa428a18f0953aa28044195526611521491849a4919999ac7c411892946888640498323218a975228614532528453891a8c62c28486891221112124a414220ccd24086618251184380d0000000000000000000000000000000000000000000000000000000000000000000000
#### Sign (n=1024):
f = [2,-1,-2,2,0,-2,-1,-2,4,-1,0,-2,-2,4,-3,-4,-1,5,-3,2,0,-1,1,-1,0,-2,2,2,-1,2,1,-1,3,3,-1,0,-1,-2,1,-1,2,-1,5,1,1,4,-1,1,-1,-1,0,2,0,1,-1,2,-1,3,-1,-3,1,2,-2,-2,1,0,-2,-1,4,-3,0,1,0,1,0,2,1,1,0,3,3,-2,2,0,3,0,3,2,0,5,1,-1,4,-3,0,-2,-2,-1,0,-1,4,-1,2,2,-1,-3,-4,-3,-1,2,-1,-1,-1,1,4,-2,0,2,0,0,0,-3,-3,0,-2,3,-2,4,-3,1,2,0,4,1,-2,0,-4,4,0,-1,0,5,2,-3,0,4,2,5,-3,-1,1,1,-3,-1,-3,2,1,-4,-3,3,0,0,1,-1,2,-2,1,-2,0,1,1,2,2,3,1,0,0,2,-1,2,1,-1,-1,1,3,-2,0,-1,0,0,3,1,-1,1,-2,-3,-1,2,-1,0,4,0,0,4,-1,0,2,1,1,0,2,-2,0,-2,-3,0,-2,3,-4,-2,1,2,-1,1,-1,0,1,-2,1,2,-3,1,-3,-2,0,-3,2,2,-1,-2,-4,1,-4,-1,2,-2,-1,2,-1,-1,0,-2,1,4,-1,-3,-2,-1,-1,2,0,-1,-2,-1,-1,-1,4,0,-1,2,-3,1,-1,-2,0,1,0,0,3,-1,1,3,4,3,1,4,-2,3,2,-2,0,1,1,2,-2,-2,1,-1,-1,-1,1,2,0,-2,1,0,-2,0,2,-1,-2,3,2,3,-3,2,0,0,0,4,-2,0,-2,-3,2,1,3,1,0,2,3,1,2,-1,2,2,0,-3,-2,-2,0,1,2,-5,4,-2,1,-1,2,1,-2,1,0,-1,-6,2,2,1,1,-3,0,1,-3,2,1,2,-1,-1,-2,1,2,-3,0,0,1,2,-1,-2,2,0,-3,0,3,-2,0,3,2,2,2,0,2,-1,-1,0,1,-3,1,2,-1,-1,1,-1,0,1,-1,-2,-3,0,0,1,0,0,-3,-1,2,3,6,-1,-4,-2,0,0,-3,0,0,4,-1,2,0,3,1,2,-1,2,-3,0,-4,-1,2,-4,-1,2,-2,-4,5,-1,0,1,2,0,1,-1,1,-1,2,-2,-2,2,-4,2,3,-3,1,-1,2,0,-2,1,2,-3,-1,2,0,0,0,-2,1,1,-4,2,0,2,-4,-4,-2,-1,-1,-1,0,-1,0,0,2,-3,0,-1,-2,1,1,1,1,-4,-2,0,2,-1,0,0,0,-2,1,-1,0,2,0,-1,1,-4,1,0,-2,-3,-4,2,2,-1,2,-1,5,-1,1,-2,1,1,0,2,-2,-2,2,0,0,-1,-1,-4,-2,1,3,1,2,-1,3,0,1,2,-1,1,-2,-3,-1,2,3,3,-2,-3,-2,-1,-2,0,-2,-1,-1,-2,0,2,-1,1,-4,-3,1,-1,2,0,-1,-1,-1,0,-3,1,1,3,-1,3,4,1,2,1,2,-2,1,2,-2,4,4,-2,-2,-1,2,0,3,0,-3,-1,1,0,-1,-1,0,-1,0,-2,-1,3,-1,3,1,0,4,1,-6,-1,-3,0,2,0,-4,-1,-4,1,2,4,-4,-2,0,-2,-3,-1,2,1,-2,-2,2,0,-1,3,1,-4,-2,1,-1,1,2,-1,-2,0,-2,3,0,-2,2,-1,-1,-2,-1,1,-1,-5,1,-1,-1,1,-1,0,-1,3,-1,-3,-1,-3,-2,-2,1,2,1,-1,1,3,-3,-2,2,1,2,1,0,-2,-3,-3,-4,-3,1,2,0,-1,0,3,0,1,-1,1,0,0,1,-3,0,0,1,0,1,4,1,2,-1,-2,0,-1,-1,0,-3,-1,2,3,-1,4,-2,1,5,-2,-1,2,-1,1,0,-1,0,-5,-3,-1,4,-2,1,1,1,4,-1,-2,2,-4,-6,1,3,-2,1,0,1,0,0,-1,0,0,0,0,1,0,0,4,0,1,-1,4,1,2,4,-3,0,2,-4,3,1,0,-2,1,-4,3,-2,1,0,2,-3,-1,-2,-1,1,2,0,-1,-1,-1,4,0,-1,4,-5,-3,1,0,-1,-1,-1,2,1,-3,0,-1,-3,-1,-2,0,0,0,2,0,2,-4,0,-2,2,5,0,0,2,1,-4,3,-1,1,2,0,1,1,2,2,2,-2,-2,-1,0,1,0,2,0,1,3,-1,-2,1,0,1,-2,0,0,-3,-2,-1,2,-1,2,3,-1,0,-3,4,5,-2,-2,-2,-4,1,0,1,-2,0,-1,-4,2,-2,-1,1,-2,-1,0,1,0,1,-3,3,-3,1,-1,-1,1,-2,0,1,-1,2,-1,-1,0,-1,-1,0,0,1,-1,-2,1,0,-1,-1,2,0,-1,4,0,-1,0,-2,-2,1,2,-2,0,-1,3,-2,-1,1,3,2,2,-1,-1,-4,0,1,-1,0,-1,-1,-5,0,-1,1,-2,1,1,-1,2,2,-4,-3,-2,3,-1,0,5,0,1,0,-1,-2,-1,-2,-2,1,1,-4,-1,0,1,-1,-2,-1,0,-2,0,0,1,2,-3,2,3,1,2,-4,3,3,-1,-6,4,4,0,-1,2,4]
g = [1,-1,3,1,-2,1,0,3,-1,1,-3,2,-4,-4,2,4,-1,0,1,-1,1,1,-3,1,1,-2,-2,1,2,1,-1,0,-2,0,0,-1,1,3,-3,-3,0,1,-5,0,-3,-1,-2,-1,-2,3,-1,1,3,-2,-4,2,0,-4,0,1,4,1,0,1,0,2,-1,3,2,0,-1,3,1,-1,3,-1,-3,-1,4,0,0,1,0,2,-3,-2,4,2,0,2,-3,-2,0,1,0,1,-1,-2,0,2,0,-1,-2,2,-1,-1,1,0,2,0,2,1,1,0,2,-1,2,2,1,0,0,-2,-1,0,-4,-1,1,-1,4,4,1,-1,-1,0,-1,-2,2,2,3,4,0,-1,1,4,0,0,1,-3,-1,3,1,0,0,1,3,-3,-5,3,-1,-1,1,2,0,0,-3,2,-1,3,-3,1,-2,1,3,1,0,0,-1,1,-1,2,-2,-1,0,-2,0,0,0,0,1,-2,-1,4,3,-1,1,0,0,5,0,-1,4,-2,-1,3,0,-2,-2,2,4,2,4,-2,1,-3,-2,1,-1,-1,1,1,0,0,3,0,1,0,-1,-3,-3,-1,-4,-2,2,0,1,-2,1,-3,-1,-2,-2,-3,-1,-2,3,-1,1,2,2,2,0,-2,-1,2,-2,-3,1,3,4,0,-3,-2,-1,3,2,2,-4,1,-2,-1,2,0,-1,1,-3,2,3,-3,0,-1,-1,5,2,-2,1,1,0,1,-2,2,-2,5,-4,1,-1,1,-3,2,-1,1,0,-3,-3,0,-4,2,0,-1,0,3,-1,1,2,3,3,3,-3,-5,2,0,-1,-3,3,1,-1,0,2,0,0,2,3,-2,0,-4,1,0,-3,0,3,0,0,-2,0,1,-3,2,4,1,1,-3,3,1,-2,-2,-1,-4,-2,3,-3,2,-1,0,2,2,0,1,-4,0,1,0,2,2,-1,2,-2,0,-1,-1,2,1,1,2,0,3,2,1,3,-1,4,0,-1,0,2,2,-2,-2,0,-1,-1,-2,0,3,2,3,2,1,3,-2,1,0,-1,0,-1,-1,-1,-2,-2,-1,-1,-1,3,1,-3,3,1,3,-3,0,-1,3,0,-3,2,0,0,0,-2,-3,2,1,1,-3,-1,-1,3,0,0,1,2,-1,1,-2,3,-3,1,0,4,-3,0,0,3,1,-2,3,1,2,0,-1,2,0,0,-2,2,0,-3,-2,4,0,-1,-2,-1,0,1,0,1,1,-3,1,1,-1,-1,3,0,0,0,2,2,-2,-3,-4,-5,0,2,1,3,-3,0,1,1,0,0,1,-2,0,-2,-2,1,1,1,1,0,-2,-2,-1,1,-2,-2,-1,3,-1,3,-2,0,-1,0,-2,0,1,2,1,-2,-1,0,-1,-3,1,-1,0,-1,1,-2,-1,2,2,2,-1,-2,2,0,1,0,-3,0,-1,0,1,0,-1,0,0,-1,-1,1,2,1,0,-2,1,1,0,-1,0,-1,0,5,0,-3,3,-1,2,-1,1,-1,2,1,-1,0,1,-3,1,-2,-1,0,-1,-1,-1,0,3,1,1,0,-1,-2,-1,1,4,0,-1,-1,2,-3,-3,3,-1,0,-1,-3,-2,1,3,1,0,0,-1,-3,-4,-1,1,-1,-2,-4,0,-2,3,-2,0,2,0,-2,-4,-1,-1,1,-1,0,1,1,1,0,4,0,-1,0,-3,4,3,-3,1,1,-1,2,3,5,-7,-2,-1,2,-1,-4,4,-1,2,-2,-1,1,2,1,1,1,3,2,2,6,1,0,0,-1,1,-3,-1,2,-1,2,0,0,-1,0,-1,-2,-1,2,1,3,-2,1,0,1,0,3,1,1,-1,-1,2,-2,-1,1,1,1,-2,-3,1,-1,0,-4,-3,-1,0,0,-2,1,1,0,2,3,1,-4,1,2,-1,-1,4,-3,-2,0,0,-1,2,-1,1,-2,-1,1,4,1,3,-1,3,-3,1,0,-3,2,-3,3,2,0,-1,0,0,1,-6,-2,0,-3,0,1,0,-1,3,0,-1,-2,-3,1,-2,3,-2,-1,-3,2,2,2,-1,4,-1,-1,-3,0,4,-2,0,0,0,-1,3,0,-1,-3,-1,-1,-2,-2,0,-4,1,-1,1,2,-2,-1,2,3,-2,1,0,0,-3,-1,-3,-2,0,0,0,-2,2,-1,2,-3,0,-3,2,0,3,2,0,0,0,3,1,2,6,0,-1,-2,0,-2,0,-4,1,-1,-1,2,1,1,-2,1,0,-4,0,-1,-1,-1,-2,4,1,2,-4,-3,0,-2,2,0,0,1,3,-2,-1,3,4,-2,-1,0,-1,-2,2,-1,0,1,0,0,-2,3,0,0,-2,3,-2,2,2,2,2,-1,1,-5,-1,2,-2,1,2,-2,3,1,2,-1,-1,0,-5,3,2,-1,1,-2,2,-1,1,0,-1,-2,2,0,-1,0,0,3,0,-1,1,2,-3,0,-2,-3,-2,1,0,1,-1,-2,-1,1,0,0,4,1,-2,0,1,0,0,1,0,1,7,-2,1,-2,1,3,1,4,1,-2,2,1,2,1,2,0,-1,1,-1,-2,0,0,2,-4,1,-2,-1,0,2,2,0,-1,0,-2,-1,-2,1,0,3,2,2]
F2 = [0,1,1,0,0,0,0,0,0,1,1,1,1,0,1,0,0,1,1,1,1,0,0,1,1,0,0,0,0,0,1,1,1,0,1,0,1,1,1,1,0,1,1,1,0,0,1,1,1,1,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,0,1,1,1,0,0,0,1,0,1,0,0,1,1,0,0,1,1,1,0,1,1,0,1,1,0,0,0,0,0,1,1,0,1,1,1,1,1,1,1,0,0,1,1,0,0,1,0,1,0,0,1,0,1,0,0,1,0,1,1,0,0,1,0,0,0,0,0,1,0,0,1,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,1,1,1,0,1,1,1,1,0,0,1,1,0,1,1,0,1,0,0,0,1,1,0,1,0,1,1,1,1,0,1,1,1,0,1,1,1,1,1,1,0,0,1,1,0,0,1,0,1,0,0,1,0,1,0,0,0,0,1,1,1,1,1,1,0,1,0,0,0,1,1,1,0,0,1,0,0,1,0,0,1,1,0,1,1,1,1,1,1,1,0,0,0,1,0,0,0,1,0,0,1,1,1,0,0,0,1,0,1,1,1,1,0,0,0,0,1,1,0,1,1,1,1,1,1,0,1,0,0,0,1,0,1,1,0,0,1,1,0,1,0,1,1,0,0,1,1,1,1,1,0,0,1,1,0,0,0,0,0,0,0,0,1,1,1,0,0,1,0,0,0,1,1,0,1,1,1,1,0,1,1,1,0,0,0,1,1,1,0,0,0,1,1,0,0,0,1,0,0,1,0,1,0,1,0,0,1,0,0,0,1,0,1,1,0,0,1,1,0,0,0,0,0,1,1,0,1,0,0,1,1,1,1,1,0,0,0,1,1,0,1,1,1,0,0,0,1,1,1,1,0,1,1,0,0,1,1,1,1,0,0,1,1,0,0,0,0,1,0,1,1,0,0,0,1,1,1,1,0,0,1,0,0,0,0,0,1,1,0,0,0,0,0,1,0,0,1,0,0,1,0,0,0,1,0,0,0,0,1,1,1,1,0,0,1,0,0,0,1,0,1,0,1,0,1,1,1,0,0,0,0,0,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,1,1,1,1,0,0,1,1,1,0,1,0,0,1,1,0,1,0,1,0,1,0,1,0,0,0,0,0,0,1,1,1,1,1,1,0,0,0,1,1,0,0,1,0,1,0,0,0,1,0,0,0,1,1,1,1,1,1,0,1,1,1,0,0,0,0,1,1,1,1,1,1,0,0,1,0,0,0,0,1,0,1,0,1,0,0,0,1,0,1,0,1,0,0,1,0,0,0,0,0,1,0,1,1,0,1,0,1,1,1,1,0,1,1,1,1,0,0,1,1,1,1,0,0,0,0,1,0,1,1,1,1,1,1,1,0,0,1,0,1,0,1,0,1,0,1,0,1,1,0,1,1,1,0,1,1,0,1,0,1,0,0,1,1,0,1,1,0,1,0,0,0,1,0,0,1,0,1,0,0,0,0,1,0,1,0,1,1,1,0,0,0,1,0,0,1,1,0,0,1,0,0,0,0,1,0,0,0,0,1,0,0,1,0,0,1,0,0,1,0,0,1,1,1,1,0,0,1,1,1,1,1,1,1,1,1,1,1,0,0,0,0,1,1,1,1,1,1,0,0,1,0,1,0,0,1,0,1,0,1,1,0,0,0,0,1,0,0,0,0,0,1,0,1,0,1,1,1,1,1,0,1,0,1,0,0,0,1,0,0,1,1,1,1,1,0,0,1,1,0,0,0,1,1,0,1,1,0,1,1,0,0,0,0,1,1,1,1,1,1,1,1,0,1,0,1,1,1,1,1,1,0,1,0,0,1,1,1,1,1,1,0,1,0,0,1,0,1,0,1,1,0,0,1,1,1,1,0,1,1,0,1,0,1,1,0,1,1,0,0,1,1,1,1,1,1,0,0,1,1,0,1,1,1,1,0,0,0,1,0,0,1,1,1,1,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,1,1,0,1,0,0,1,0,1,1,1,0,1,1,0,0,1,0,0,0,1,1,1,1,0,1,1,0,0,0,1,0,0,1,1,1,1,1,1,0,1,1,0,0,0,1,1,1,1,1,1,1,0,1,0,0,0,1,0,0,1,0,0,1,0,0,1,0,1,1,0,1,0,1,1,0,0,1,0,1,1,0,1,1,0,0,0,0,0,1,0,0]
G2 = [1,1,0,1,0,1,1,0,1,1,0,0,1,1,0,0,0,1,0,1,1,0,1,0,0,1,1,1,1,0,0,0,1,1,1,0,1,0,0,1,0,0,0,1,1,1,1,0,1,1,1,1,0,1,0,1,1,1,0,0,1,1,0,1,0,0,0,1,1,1,0,0,1,1,0,1,1,1,1,1,1,1,0,1,1,0,1,0,1,0,0,0,0,1,1,1,1,0,0,0,0,0,0,0,1,1,1,0,1,1,1,1,1,0,0,0,0,0,1,0,1,1,0,1,1,0,1,0,1,1,0,1,1,1,1,0,1,1,0,0,1,1,1,0,1,0,0,1,1,1,1,1,1,1,0,1,0,1,1,0,1,1,1,0,1,0,1,1,1,0,0,1,1,1,1,0,0,1,0,1,0,1,1,1,1,1,0,1,0,0,0,1,0,0,1,0,1,0,1,0,1,1,1,1,0,1,1,1,0,0,1,1,1,1,1,0,0,0,1,0,0,1,0,0,0,1,1,1,0,0,0,1,1,0,1,1,1,1,0,1,0,1,0,1,0,0,0,1,1,1,1,0,0,0,0,1,1,1,0,1,1,1,0,0,1,1,1,0,0,1,0,0,0,0,0,1,0,1,0,1,0,0,1,1,0,0,0,0,1,1,0,0,1,1,1,1,1,0,1,1,1,0,1,0,1,1,0,0,1,0,0,0,0,1,0,1,1,0,1,1,1,0,0,0,1,0,0,0,0,1,1,1,1,1,1,1,0,1,0,1,0,1,0,0,0,1,0,0,0,1,1,1,1,0,0,1,0,1,1,0,0,1,0,1,1,1,0,0,1,1,1,0,0,0,0,0,0,0,0,0,1,1,1,0,0,1,0,1,1,1,0,0,1,1,1,1,1,0,0,1,1,1,1,1,1,0,0,0,1,1,0,1,0,1,1,1,0,1,1,0,1,0,0,0,0,0,1,0,1,0,0,0,0,0,0,0,1,0,0,0,1,0,1,0,0,0,1,0,0,1,1,0,0,0,0,1,0,0,0,1,0,0,1,0,0,1,0,0,1,0,1,1,0,1,0,1,1,1,0,0,1,1,0,0,1,1,1,0,1,0,0,1,0,0,1,0,1,1,0,0,0,0,1,1,1,1,0,0,0,1,1,1,0,0,0,1,0,0,1,1,1,0,0,0,0,0,1,1,1,0,1,1,1,0,0,1,0,0,0,1,1,0,1,0,0,1,0,1,0,0,1,0,0,1,0,1,0,0,1,1,0,0,0,1,1,0,1,0,1,1,1,1,1,0,0,1,0,1,1,0,0,0,0,1,1,1,1,0,1,1,1,1,1,1,0,1,1,1,0,1,0,0,1,0,0,0,0,1,0,0,0,0,1,0,1,1,1,1,0,1,1,1,0,0,1,0,1,1,0,0,0,0,1,0,0,1,1,1,0,0,0,0,1,0,1,1,0,1,1,1,1,0,0,1,1,1,1,0,0,0,0,0,1,0,0,0,0,0,1,1,1,1,1,1,1,0,1,0,1,1,0,0,0,1,0,1,0,1,0,1,0,1,0,0,1,0,1,1,0,1,1,0,1,0,1,0,1,0,0,1,0,0,0,0,1,1,1,0,0,0,1,1,1,0,1,0,1,1,0,1,0,0,0,0,1,0,1,1,1,0,1,1,0,0,1,1,0,0,1,0,1,1,1,0,1,0,0,1,0,0,0,0,1,1,0,1,0,0,0,0,1,1,1,0,1,1,0,1,0,0,1,1,1,0,0,1,1,1,1,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,1,1,1,0,0,1,0,1,1,1,0,0,0,1,0,0,1,1,0,0,1,0,0,1,1,0,1,0,0,1,1,1,1,1,0,1,1,1,1,1,1,0,1,0,0,0,1,1,0,0,0,0,0,0,1,0,1,0,0,1,0,1,0,1,1,1,1,1,0,0,0,1,1,1,1,1,0,0,1,1,0,0,1,0,1,0,0,1,0,1,1,1,0,1,1,0,1,0,1,0,0,1,1,0,0,1,0,1,0,1,0,0,1,0,1,0,0,0,1,1,1,1,1,0,0,1,0,0,1,1,1,1,0,0,1,1,0,0,0,1,1,1,1,1,1,0,0,0,0,0,0,1,1,0,0,0,0,0,1,1,1,1,0,1,1,1,0,0,0,0,0,1,1,0,0,0,1,0,0,1,1,0,1,0,0,1,1,1,0,1,1,0,1,1,1,1,0,0,0,0,1,1,1,0,1,0,1,0,1,0,0,0,0,0,1,0,0,1,1,0]
hpub = 5e04c2ab93a49ee7d69f7deab5d285be6d5a262a7b5970f1ec6f5825cb1edb269be344c46273b4a9a1992a37ff56f83dfa929f680cbaa88f597a0b7eb75eed11
# hm = SHAKE256(message || hpub) (64 bytes)
hm = c995a43f79f186f85291982cfee75975855dd24634ebfaf35010af13c7e7e9fe70de28718a06833c22522ba9912c3f373af3ea8893fe96476ff82a722007c9a0
salt = 1672af81afce7d5ce648e83188dfe64d7dd8ea33d966ce4ead9bb06d40008244135ef41c4847bfef
# h = SHAKE256(hm || salt) (2*n bits)
h0 = [1,0,1,1,0,1,0,0,1,0,0,0,0,0,0,0,1,1,1,0,1,1,0,1,1,1,0,0,1,1,0,1,0,0,1,0,0,1,0,0,0,1,1,0,0,0,1,1,1,1,1,1,1,0,0,1,1,1,1,0,0,0,0,1,1,0,0,1,0,0,0,0,1,1,0,0,1,1,1,0,1,0,0,0,1,0,0,0,0,1,1,1,0,1,0,1,1,1,0,0,1,0,1,1,1,0,1,0,1,1,0,1,1,0,1,1,1,1,1,0,1,1,0,1,0,1,1,0,0,1,1,1,1,0,1,0,0,1,0,1,1,0,0,1,0,0,1,1,1,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,1,0,1,1,0,1,0,1,0,0,1,1,0,0,1,0,1,0,1,0,0,1,0,1,1,0,0,0,1,0,0,1,1,0,1,1,1,1,1,0,1,1,0,1,1,0,1,0,1,1,1,0,0,1,1,0,1,0,0,0,1,1,0,1,0,1,1,1,1,0,1,1,1,0,0,0,1,1,1,1,1,1,1,1,0,1,1,0,1,0,1,0,1,1,1,0,1,0,1,0,0,1,0,0,1,1,1,0,1,1,1,0,0,1,1,0,0,0,0,1,1,1,1,0,0,1,1,0,1,1,0,0,1,0,0,1,1,0,1,1,1,1,1,0,1,0,1,0,0,1,0,0,1,0,0,1,1,1,1,1,1,0,1,1,1,1,0,0,0,0,1,1,0,0,0,0,0,1,0,1,1,0,0,1,1,1,1,0,0,0,0,0,0,1,1,0,1,1,0,0,1,1,0,1,0,0,1,0,0,1,1,0,0,1,1,0,1,0,1,1,1,1,0,1,0,1,0,0,0,0,0,0,0,1,0,1,0,1,1,1,0,0,1,0,1,0,0,1,1,1,0,0,0,1,0,0,1,0,0,1,0,1,0,1,1,1,1,0,1,0,0,1,1,0,0,0,1,1,1,0,0,1,0,1,0,1,0,1,1,1,1,1,0,1,1,1,1,0,1,1,1,0,1,0,0,0,1,0,1,1,0,0,1,1,0,0,0,0,1,0,1,0,0,1,1,0,1,1,1,1,1,0,0,0,1,1,1,1,0,1,0,0,1,0,1,0,1,1,0,0,1,0,1,0,1,1,0,0,1,0,0,0,1,1,0,1,0,1,0,0,0,0,1,1,1,0,1,0,0,0,1,0,1,0,1,1,0,0,1,1,0,0,0,0,1,1,1,0,0,1,1,0,0,0,1,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1,1,0,0,0,1,0,0,1,1,1,0,0,1,0,0,1,1,1,1,1,1,1,0,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,0,1,1,0,0,1,0,1,0,1,0,1,1,1,0,0,0,1,0,1,0,1,1,0,1,1,1,1,1,0,0,1,1,0,1,1,1,1,1,1,0,1,0,0,0,1,0,1,0,1,0,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,0,0,0,1,0,1,0,0,0,1,1,1,0,1,0,1,0,1,1,1,1,0,0,0,1,1,0,1,0,0,1,0,0,1,1,1,1,0,1,0,1,1,1,0,1,1,0,0,1,1,0,1,1,1,0,1,1,0,1,0,0,1,1,1,0,1,1,0,1,0,1,1,0,1,0,1,1,0,0,0,0,1,1,0,1,1,1,0,1,0,0,1,1,1,0,0,0,0,0,0,1,0,1,0,0,0,0,1,1,0,1,0,0,1,0,0,1,1,1,1,1,0,0,0,1,0,1,1,1,1,1,1,0,1,0,0,0,0,0,0,0,1,1,0,0,1,0,0,0,1,0,1,0,1,0,1,0,0,0,1,0,1,0,0,0,1,1,1,0,0,1,1,1,1,0,0,1,0,0,1,1,1,1,0,0,0,1,0,0,0,1,0,0,0,1,0,0,1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,1,1,1,0,0,1,1,1,1,1,1,0,0,1,1,0,1,0,1,0,0,0,0,1,1,1,1,0,1,1,1,0,0,1,1,0,1,1,0,0,1,1,1,0,0,0,0,1,1,1,1,1,0,1,1,1,1,0,1,1,0,1,0,1,0,0,0,1,1,1,0,0,1,0,1,1,0,1,0,0,1,0,0,1,1,1,0,1,1,1,0,0,0,0,0,0,0,1,1,1,1,0,1,1,1,0,0,0,1,0,0,0,0,0,0,0,1,1,0,1]
h1 = [0,0,0,0,0,1,0,1,0,1,1,0,0,0,0,0,0,0,1,0,0,1,0,1,1,0,0,1,0,0,1,1,0,1,1,0,1,0,0,0,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,0,1,1,0,1,1,1,1,1,1,1,0,0,1,0,1,0,1,0,0,1,0,1,0,0,0,1,1,1,1,1,1,0,0,1,0,1,0,1,0,1,0,1,1,0,1,0,1,0,1,1,0,0,0,0,0,1,0,0,1,1,1,0,1,0,1,1,0,1,1,1,1,0,0,0,0,1,1,1,1,1,1,0,1,1,1,1,0,1,1,1,1,1,0,0,0,1,1,0,1,1,0,0,1,1,1,0,0,0,0,1,0,1,0,1,0,1,0,1,0,0,1,1,1,1,1,1,1,0,0,1,0,0,0,0,1,1,0,1,0,0,1,0,1,1,0,0,0,0,0,1,1,1,1,0,0,1,1,1,1,1,1,1,1,1,1,1,1,0,0,0,1,1,1,0,1,1,1,0,1,0,0,0,0,0,1,1,0,0,0,1,1,0,0,1,1,0,1,1,0,0,0,1,0,0,0,1,1,0,0,1,1,1,0,1,0,1,1,0,0,0,0,1,0,1,1,1,1,0,1,0,1,1,1,0,1,1,1,1,1,0,1,1,1,0,1,1,1,0,1,0,0,0,0,1,0,1,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,1,0,1,1,0,1,0,0,1,1,0,0,0,0,0,1,1,1,1,1,1,0,1,0,1,0,0,1,1,0,1,1,0,1,0,0,1,0,0,0,1,1,0,0,0,0,0,1,1,1,0,0,1,0,1,0,0,1,1,1,0,1,1,1,0,0,0,0,1,0,1,0,0,0,0,0,0,1,0,1,1,1,1,0,1,1,1,0,0,0,0,0,1,0,1,1,1,0,0,1,1,1,1,0,1,0,0,0,0,1,0,1,1,0,1,0,1,1,0,1,0,1,0,1,1,0,0,1,1,0,1,1,0,1,0,0,1,1,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,1,0,1,0,1,1,0,0,0,0,0,1,0,1,1,1,1,0,0,1,1,0,0,1,1,1,0,0,0,0,0,1,1,1,1,0,0,0,0,1,0,0,1,1,0,0,1,1,0,1,1,0,0,0,0,0,1,0,0,1,1,1,0,1,0,0,0,0,0,1,1,1,0,1,1,0,1,0,1,0,1,0,0,1,1,1,1,1,1,1,0,1,0,1,1,0,0,0,0,0,0,0,0,0,0,1,1,1,0,0,1,1,0,0,0,1,0,0,1,0,1,0,1,1,1,1,0,0,0,1,0,0,1,0,1,1,1,1,0,1,0,0,1,0,1,1,0,1,1,0,0,1,1,1,0,1,1,1,0,1,1,1,0,1,1,0,0,0,0,0,1,0,0,1,1,0,1,1,1,0,0,0,0,1,1,1,1,0,0,0,1,0,1,0,0,1,0,1,0,0,0,0,0,0,1,1,0,0,1,1,0,0,1,0,1,1,1,0,0,0,0,1,1,0,0,0,1,0,0,0,0,1,1,1,1,0,0,0,0,0,1,1,1,0,0,0,0,1,0,0,0,1,1,1,1,0,0,0,0,0,1,0,1,0,1,0,1,1,1,0,1,0,1,0,1,0,0,1,1,1,0,1,0,0,1,0,0,1,1,1,0,1,1,1,1,0,0,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,0,0,0,0,1,0,1,0,0,0,1,0,0,0,1,0,0,0,0,0,1,1,0,1,1,0,0,0,1,1,1,0,1,0,0,1,0,1,0,0,1,1,0,0,0,1,0,1,0,1,1,1,0,1,1,0,0,0,1,1,1,1,0,1,1,0,1,1,0,0,1,0,1,0,0,1,0,0,0,1,0,1,1,0,0,0,0,1,0,1,1,1,0,0,1,0,0,0,1,0,0,1,1,1,0,1,1,0,0,0,1,1,1,0,1,1,1,0,0,1,0,1,1,1,0,0,1,0,1,0,1,1,0,0,1,1,0,0,1,0,1,1,0,0,0,1,1,1,1,1,0,0,1,0,1,0,1,0,1,1,0,1,0,1,0,0,1,1,1,1,1,0,1,1,0,0,0,0,0,1,1,0,0,1,1,1,1,1,0,0,1,0,0,0,1,1,0,0,0,0,1,1,0,1,1,0,0,0,1,1,1,0,0,1,1,0,1,0,0,0,0,1,1,0,0,1]
# t = B*h (mod 2)
t0 = [0,0,0,0,0,1,1,0,0,0,1,0,1,1,0,0,0,0,1,1,0,0,1,0,0,1,0,0,1,0,0,1,1,1,0,0,0,0,0,1,1,1,0,0,0,0,0,0,1,0,0,1,1,0,1,0,1,1,0,1,0,0,1,0,1,0,1,1,0,1,1,1,1,1,0,0,1,1,0,1,0,1,1,1,1,0,0,0,0,0,1,0,1,0,0,0,1,1,1,1,1,0,1,0,0,1,1,1,1,1,0,0,1,0,1,1,1,1,0,0,0,0,1,0,1,1,1,1,0,0,1,1,1,0,0,0,1,1,0,0,0,1,0,0,1,0,1,1,1,0,0,0,0,0,0,0,1,1,0,0,1,1,0,0,1,0,1,1,0,1,0,1,0,1,1,1,0,1,1,1,1,0,1,1,0,1,0,1,0,0,1,1,0,0,1,0,1,0,1,0,1,1,0,1,0,1,1,1,1,1,1,1,1,1,1,0,0,1,1,1,1,0,1,1,1,0,0,0,1,0,1,0,1,0,1,1,0,1,0,0,1,1,1,0,1,0,0,0,1,1,1,1,1,0,0,1,1,1,0,1,0,1,0,0,1,1,1,1,1,0,0,1,0,0,0,0,1,0,0,1,1,1,0,1,0,1,0,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,0,1,1,1,1,1,0,1,0,1,1,0,1,1,1,0,0,0,1,0,0,0,0,0,1,0,0,0,1,1,1,0,0,0,0,0,0,0,0,1,0,0,1,1,1,0,0,1,1,1,1,0,1,0,1,1,1,1,1,0,1,0,1,1,1,1,1,0,0,0,0,1,1,0,1,0,1,1,1,1,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,1,1,0,0,0,0,1,1,1,0,1,1,0,0,0,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0,0,1,0,0,0,1,0,0,1,1,0,1,1,0,1,0,0,0,0,1,0,1,0,1,1,0,1,0,1,1,0,0,1,0,1,1,1,1,0,0,1,0,1,1,0,0,1,1,1,0,0,1,0,1,1,1,0,0,0,0,1,1,1,0,0,1,1,1,0,1,0,0,1,1,1,1,0,1,0,1,1,0,1,1,0,1,1,0,0,1,0,0,1,1,1,1,0,1,1,0,0,0,0,1,1,0,1,1,1,1,0,0,0,1,0,0,1,1,1,1,0,1,1,1,1,0,0,1,0,1,1,1,0,0,0,0,0,1,0,1,0,1,0,1,1,0,1,0,0,1,0,1,0,0,0,0,0,0,1,0,0,1,1,0,0,0,1,0,1,0,1,0,0,1,0,1,1,1,1,0,0,0,0,1,1,0,1,1,0,1,1,0,0,0,1,1,0,0,1,0,1,0,0,0,1,1,0,1,0,0,1,0,1,0,1,0,1,1,0,0,0,0,0,0,1,0,0,1,1,0,0,0,1,1,0,1,1,1,1,1,1,0,0,1,0,0,1,1,1,1,0,1,1,0,1,0,0,0,0,1,0,1,1,0,0,0,0,0,1,0,1,1,1,0,1,1,1,1,0,0,1,1,0,1,0,0,1,1,0,1,0,0,0,1,1,0,0,0,0,0,1,0,1,1,1,1,1,0,0,1,1,0,1,0,0,0,0,1,0,1,0,1,1,1,0,1,1,1,0,0,0,0,0,0,0,0,0,1,1,1,0,0,0,1,0,1,0,1,1,1,1,1,1,1,1,0,1,1,1,1,1,1,1,1,1,0,0,1,1,1,0,1,1,1,1,1,1,0,1,0,1,1,1,1,0,1,1,1,1,0,0,0,1,0,0,0,1,0,0,0,0,1,0,0,1,0,1,0,0,1,1,0,1,0,0,0,1,0,0,1,0,1,0,0,1,1,0,0,0,1,1,0,0,1,0,0,0,1,1,0,0,0,1,0,1,0,1,1,1,1,0,0,1,0,0,1,0,1,1,0,1,1,1,0,1,0,0,0,1,0,0,0,0,1,1,0,0,0,1,0,1,1,0,1,0,0,0,1,0,1,0,0,1,1,1,1,0,1,0,1,1,0,1,0,1,0,0,1,1,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,1,0,1,0,1,1,1,1,1,1,1,0,0,1,0,0,1,1,0,1,0,1,0,1,0,1,0,1,1,0,0,0,1,0,1,0,0,1,0,1,1,0,1,1,0,0,0,1,0,1,0,1,0,1,0,0,0,1,0,1,0,0,1,1,1,0,0,0,1,0]
t1 = [0,0,1,1,1,1,1,0,1,1,1,0,1,1,1,1,1,1,1,0,1,1,0,1,1,1,0,0,1,0,0,1,1,0,1,0,0,1,0,1,1,0,0,0,0,0,0,0,1,0,1,1,1,0,1,1,0,0,0,0,0,0,1,1,1,1,1,1,0,0,1,1,1,1,1,0,0,0,0,1,0,0,0,0,0,1,1,0,1,0,1,1,0,0,1,0,0,0,1,1,1,0,1,1,1,0,0,0,0,1,0,0,1,1,0,1,1,1,1,1,0,0,1,0,1,1,0,1,0,0,0,0,0,1,1,1,0,0,0,0,1,0,0,1,0,1,0,0,1,0,0,0,1,0,1,0,1,0,1,1,1,0,0,1,1,0,0,1,0,0,0,0,0,0,1,0,1,1,1,1,1,1,0,1,1,1,0,1,0,0,1,1,1,1,0,1,0,0,1,0,0,0,1,1,1,0,1,0,1,1,1,0,0,1,0,1,0,0,1,0,1,0,1,0,1,1,0,0,0,0,0,0,0,1,1,0,0,1,0,1,0,1,1,1,0,1,1,1,1,1,1,0,0,0,0,0,0,0,1,0,1,0,1,0,1,0,1,1,0,1,0,0,0,0,0,0,0,0,0,1,0,0,1,1,0,1,1,1,0,0,1,1,0,1,0,0,1,1,1,1,1,1,1,1,1,1,1,0,1,1,0,1,0,0,1,0,0,1,0,1,0,0,1,1,0,1,0,0,0,0,1,0,1,1,0,0,0,0,0,1,1,1,1,0,0,1,0,1,1,1,0,1,1,1,0,1,1,0,1,1,1,0,0,0,1,1,1,0,1,1,1,0,0,0,1,1,0,1,0,1,0,1,1,0,0,0,1,1,0,1,1,1,1,0,0,0,0,0,1,1,0,1,1,0,0,1,1,1,0,0,1,0,1,0,0,0,0,1,0,0,1,1,1,0,0,1,1,1,1,0,1,0,1,1,1,1,0,1,0,0,0,1,1,1,1,1,1,1,0,0,0,1,1,0,1,1,0,1,1,0,1,1,1,1,0,0,0,1,1,1,0,1,0,1,0,1,0,1,1,1,1,0,0,1,1,1,0,1,0,1,1,0,0,0,0,0,1,0,0,1,0,1,1,0,1,1,1,0,0,0,1,0,0,0,1,0,0,0,0,1,0,0,0,1,0,1,0,1,1,0,0,0,0,0,0,1,1,0,1,1,0,1,1,1,0,1,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,1,0,1,0,1,1,0,0,0,0,1,0,0,1,1,1,1,0,1,1,1,1,1,1,1,0,1,0,0,0,1,1,1,0,1,1,0,0,0,1,1,0,1,1,1,1,0,1,1,0,0,0,1,1,1,1,1,1,1,1,0,0,1,1,1,1,1,1,1,0,1,1,1,1,0,0,0,0,1,0,0,1,1,1,1,1,1,1,1,0,1,0,1,1,0,0,0,1,1,0,1,1,0,0,1,0,0,1,1,1,0,1,1,1,0,0,0,1,1,1,0,1,1,1,0,0,1,0,0,0,0,1,1,0,0,1,0,0,0,0,0,1,1,1,0,0,0,0,0,0,1,0,0,1,0,0,0,1,0,0,1,0,0,0,0,0,1,0,0,0,0,1,1,0,0,1,1,1,0,1,0,1,1,1,1,1,0,1,0,0,1,1,1,0,1,1,1,1,1,1,0,1,1,0,0,1,1,0,1,0,0,0,1,1,0,1,0,1,1,1,1,0,1,1,0,1,0,1,1,0,1,1,0,1,1,1,0,1,0,0,0,0,1,0,0,1,0,1,1,0,1,0,0,0,1,1,0,0,1,1,0,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,1,0,1,0,0,1,0,0,1,1,0,1,1,0,0,0,1,0,1,1,1,0,1,1,1,1,1,1,0,1,1,1,1,1,0,0,1,0,1,1,1,0,1,1,0,0,0,0,0,0,0,0,0,0,1,0,1,0,1,0,0,0,0,0,1,1,0,1,1,1,1,0,1,0,1,1,0,0,0,0,1,1,1,1,1,0,0,1,1,0,0,0,0,0,1,1,1,0,0,1,0,1,1,1,1,1,1,0,0,0,1,1,1,1,0,1,0,0,1,1,1,1,1,0,0,1,1,0,1,1,0,0,0,1,0,1,0,1,0,0,1,1,0,1,1,0,0,0,1,0,1,0,0,0,1,1,1,1,0,0,1,1,0,1,0,1,1,0,0,1,1,1,1,1,0,0,0,1,1,1,0]
# (dx0, dx1) = (2*x0, 2*x1)
dx0 = [0,2,-2,0,2,1,1,-2,0,-4,3,2,-7,-1,0,0,2,-2,1,1,-2,-2,5,-2,-6,-5,0,-2,5,-2,0,-1,-1,1,-2,0,-6,0,-2,1,3,1,2,-4,4,2,-2,0,3,0,6,-1,-3,0,-3,4,-1,-3,0,-1,0,-2,1,-2,-1,2,-3,-1,0,-3,-1,1,-3,3,0,4,-1,3,-4,7,-2,-1,3,-3,3,-6,2,-4,0,2,-5,-2,-3,0,0,-2,1,-1,1,1,-3,2,3,2,0,3,1,-3,1,-3,0,-4,-1,0,-1,3,5,-1,4,-2,2,-4,5,2,1,3,3,1,-2,-2,-1,1,1,0,2,0,-1,-3,-4,2,-2,1,2,2,-1,4,-1,5,-1,2,0,0,0,0,-2,0,-5,-5,-2,2,1,1,2,2,-3,0,-1,-5,2,-1,0,1,-2,-1,-3,-1,-2,3,1,-1,1,-2,3,-1,6,-3,2,1,0,-4,-1,-5,2,0,-3,0,3,0,3,0,-1,-5,-2,-3,6,3,5,7,1,-1,-3,3,1,-1,-3,0,2,1,-3,-3,1,-6,-1,-1,-1,-2,0,0,-1,0,1,0,-1,2,-1,1,0,-5,-2,4,-1,-3,-1,0,-1,0,-6,0,3,3,3,7,5,0,2,1,-3,3,-2,3,2,1,-2,2,-5,3,3,3,1,-2,0,-3,0,2,0,2,1,4,-2,3,-1,3,0,3,4,1,-2,-3,3,-1,3,3,1,1,1,-1,-3,-1,-1,-3,-2,-2,4,-3,-3,-1,-3,1,-6,1,2,1,1,6,1,-5,-1,-2,0,4,-3,2,0,4,-2,-2,1,-2,-2,0,-1,1,-1,0,0,2,-4,2,0,0,0,1,4,0,1,1,-1,4,4,-1,1,3,-1,-2,1,-2,3,1,-3,-1,-3,-4,1,-2,3,-1,-3,3,-1,0,-2,-2,0,1,3,-2,-1,0,1,1,-1,-5,-4,6,4,4,-4,-2,0,2,0,5,-2,-4,1,2,2,2,-3,-1,0,2,0,2,1,-3,-3,2,-3,1,0,-2,2,0,-1,3,-3,6,1,-4,-3,1,1,-1,3,0,3,4,-6,1,0,2,2,1,0,-2,1,-7,-2,5,-1,0,-3,2,0,-2,-2,-3,0,1,0,1,-3,-4,-1,-2,-5,3,2,-2,-1,0,3,-1,5,-1,0,-4,3,-4,3,-3,-2,2,3,-3,-1,-2,4,-1,-2,-5,-1,-1,2,2,0,-2,1,-3,-1,4,-2,3,-3,-5,-2,-1,0,4,3,-1,-3,-3,-2,1,2,-1,1,2,3,3,0,-1,5,4,0,1,0,4,-1,1,3,1,0,-1,-1,0,0,-4,2,-3,-1,-2,-7,-5,-1,-1,2,0,0,-1,-2,0,-3,-1,-3,1,-2,1,1,5,-3,0,-4,-1,0,-3,-1,1,0,0,2,-2,0,-3,-2,3,0,1,0,5,-1,2,1,0,-4,1,0,3,0,-2,2,2,0,2,-5,-2,0,-1,3,-2,0,0,3,0,-1,2,1,0,4,1,2,-1,1,1,1,-2,4,0,-4,-1,1,0,-3,-1,2,3,1,-2,-2,0,1,-1,-4,0,-1,0,3,2,-2,4,1,1,-2,-3,-2,0,-1,2,1,0,1,0,-5,1,-4,-4,6,0,0,2,1,2,-6,7,-3,2,-4,0,-3,1,-2,1,-5,1,-1,-1,-1,0,2,-1,0,-2,-5,1,1,3,-2,-1,3,-2,1,-2,2,-2,0,-1,6,-1,1,6,-2,2,2,2,-1,-2,-1,1,-1,2,5,-3,-1,-1,-4,0,3,-5,-2,-3,4,2,-3,3,-2,3,4,-2,4,1,-1,2,2,0,4,-2,-1,0,-3,-3,3,1,3,-4,0,-5,5,6,1,-2,-2,2,4,-1,2,-3,0,1,1,-3,-4,3,-1,3,6,2,-4,-2,-6,2,-4,2,2,5,5,1,2,4,0,1,-2,-3,4,-1,-3,-1,-3,-3,-1,3,1,-2,-1,3,1,-1,1,-1,1,-3,-1,0,0,-3,1,3,0,-3,-3,1,1,1,-1,0,-3,-2,3,-1,5,-3,-2,1,1,-1,1,2,-4,4,1,-2,6,-2,-3,4,2,0,0,-5,-4,0,1,-2,1,4,6,-3,-5,0,-3,0,0,-2,3,2,2,3,0,-1,2,2,5,1,0,-2,6,3,1,4,-2,-1,6,-2,0,3,3,4,-4,6,-5,-8,3,-2,-3,-3,1,-3,2,-2,-1,0,0,-3,2,-5,1,-4,-1,1,1,2,3,0,-2,-2,-1,0,-2,0,-2,-1,1,-2,4,-2,-3,-2,1,3,0,-5,-4,-2,0,1,6,-3,0,2,-1,1,3,1,2,3,-4,-1,1,-2,1,-4,-1,0,2,1,-3,4,2,0,2,0,4,2,-1,-1,4,0,0,-4,2,0,4,-2,-1,0,1,0,-5,3,-1,-1,3,-1,3,2,4,-1,0,-2,-5,3,-4,5,4,-1,2,-3,0,1,0,1,1,0,-2,-2,1,2,1,2,0,3,2,-1,1,0,-1,5,2,0,-4,-3,2,1,-2,1,-4,1,2,0,4,-1,-2,5,8,2,1,3,-1,4,-2,4,1,-2]
dx1 = [6,0,1,3,1,-1,1,-4,-1,-1,3,2,3,-3,-1,-1,3,-1,-3,-4,-1,1,0,-1,3,5,2,2,-3,2,0,1,-1,2,-1,0,2,1,4,1,5,-2,-2,0,0,-2,0,0,1,0,3,-3,1,4,-1,-3,6,0,-2,-2,2,-4,7,-5,7,-5,1,-1,0,0,3,1,-1,-5,-3,0,0,2,-4,-1,6,0,0,4,-2,1,-3,4,-1,0,5,1,4,2,5,0,0,4,-1,-1,-3,-2,3,-3,5,0,4,0,-2,1,0,-4,-3,-1,0,1,-1,-1,1,3,4,2,-5,0,-3,-5,-2,-3,0,-6,4,-2,-4,-5,-1,3,0,-2,-2,4,1,4,-2,3,-4,1,0,2,-1,0,0,0,-3,-2,1,0,1,0,-1,-1,1,0,-2,-1,-1,2,-4,1,2,-2,-4,-2,0,4,-5,0,-1,1,-1,-1,1,1,-2,1,-3,-3,0,3,2,-4,-1,-1,-1,-1,-2,-3,0,2,-3,-4,-2,4,3,-1,-3,4,-1,-2,1,1,3,0,0,3,0,-1,0,2,3,-2,-1,4,3,0,1,3,2,4,-2,-4,-2,-2,4,-3,-1,0,-2,-1,2,7,-2,3,1,-3,0,-3,-1,1,-1,-1,-3,-2,-2,-2,4,2,4,-2,-1,-4,3,-6,1,-2,1,0,-1,-1,-4,1,-2,-2,0,0,-2,4,0,-4,-4,-1,2,0,-3,3,0,-3,5,1,2,-2,-1,1,2,1,-6,0,-1,-1,1,-1,1,-1,-1,-3,1,1,-3,2,1,1,-2,-1,2,0,3,0,0,-1,2,3,6,-4,3,1,0,-1,0,2,2,0,7,0,-3,3,0,4,2,-2,0,3,1,-1,3,-2,-2,3,-4,1,1,-1,2,1,-1,5,2,-3,3,0,-1,-1,3,2,4,0,-3,-5,-3,2,-1,1,-1,-2,0,-2,-1,1,-2,1,4,-3,2,3,1,0,-2,0,1,1,-4,1,3,1,-1,0,-2,0,2,-2,-3,-3,2,-1,-1,-2,0,5,1,1,0,-2,3,0,3,2,-2,2,2,3,2,-2,-1,1,3,0,0,-3,1,1,1,-4,5,-2,1,-1,7,-1,0,7,-2,2,-2,1,1,1,3,1,-1,3,-2,2,-2,3,-1,2,-3,-1,2,-3,1,-4,-1,1,-5,-3,2,2,4,-1,-1,-3,-2,1,2,-1,0,1,0,-1,1,-3,-3,0,0,-1,-1,1,2,1,-2,5,3,0,-4,-2,0,-2,-1,0,-2,1,0,-3,-7,0,-1,3,3,-2,2,0,-5,2,4,-2,-1,2,-2,4,-6,1,4,0,0,5,-4,1,0,3,3,-2,-2,4,2,0,0,-1,3,0,-3,-7,0,1,1,1,0,1,-6,1,-2,2,4,2,0,2,-1,0,0,-2,-4,4,-2,3,-4,0,-2,2,-2,-1,6,1,0,-3,-1,2,2,0,0,-3,0,-2,1,-1,1,-1,0,-1,3,3,5,-3,1,3,-2,1,2,2,2,-1,-1,5,-2,1,3,0,-4,2,3,-3,0,1,1,1,-1,2,7,3,0,-2,0,-1,-3,-3,1,-1,-1,-1,3,-2,0,-3,1,1,3,1,-3,-1,0,1,5,1,1,4,0,2,0,-5,0,0,-3,3,3,-1,-1,-3,-3,1,2,-1,2,1,1,-6,2,4,-1,-3,2,-1,5,-2,-4,5,-2,4,-5,-3,-3,-2,3,-1,3,-6,6,0,-1,-1,-1,-2,3,-1,5,2,0,-1,0,-2,4,0,1,1,0,2,3,0,0,0,2,6,3,3,-1,-2,0,0,0,0,-2,-1,2,-4,-1,2,0,0,1,0,-2,-1,-2,0,-2,0,4,1,0,2,0,0,-5,-1,-4,0,5,-5,1,0,-1,0,1,-1,5,1,3,-2,-1,2,-4,-1,1,-1,2,1,-1,1,-3,5,1,0,-3,1,4,-2,-3,3,0,-1,0,0,0,3,1,0,1,-4,5,3,-1,-1,2,1,-3,0,-1,0,-1,-3,2,-1,-3,0,1,1,-1,2,-1,4,4,6,0,5,0,0,1,0,-1,-1,0,-1,-2,0,4,-9,1,2,0,-5,1,6,0,3,0,1,1,-1,-2,-3,-1,5,3,3,-3,-2,5,-1,2,-1,-2,-2,-1,-2,0,-1,-7,0,1,-1,2,2,2,5,-2,5,1,-1,0,-3,1,1,1,-5,-3,6,-5,1,-3,3,1,2,-4,-5,0,-5,-1,-3,0,3,1,0,2,4,-2,0,-4,-2,-4,-2,0,1,0,1,2,1,0,-4,0,2,-2,-1,3,2,5,5,-3,1,0,-3,0,3,-3,-2,0,0,-6,3,3,1,1,1,-4,4,-1,-1,2,2,-2,2,-2,-5,1,-1,-2,-2,1,0,3,-1,-1,-1,-1,3,2,2,0,1,5,3,-5,2,1,2,2,-1,-1,3,1,-3,0,-2,1,1,0,-1,3,-2,-2,2,-1,0,1,0,1,2,-4,3,-1,-2,-1,-5,-2,-2,4,-1,-2,5,-2,2,0,1,1,1,-3,0,-2,-1,-3,0,-3,2,1,-3,4,-2,-3,3,5,5,-1,0,0,-2,-3,1,-1,0]
l2norm(2*x)^2 = 13280
# w = h1 - 2*s1
w = [-278,-62,-122,-66,-164,191,-136,121,-36,213,165,-242,-362,-92,498,188,-510,286,269,-522,264,59,-244,-111,-129,-70,-234,363,-12,452,309,143,166,-123,77,-94,35,-40,292,-102,54,-147,49,10,231,327,-223,-290,85,-344,-51,55,-253,529,-377,23,91,377,-244,-122,334,242,-191,-495,184,233,-357,-29,-155,273,-151,-269,584,-536,-145,-8,27,614,-319,220,66,31,-80,213,60,190,-230,95,-5,205,-201,333,461,-198,-170,341,-340,-163,214,-527,50,275,264,351,7,-368,-401,48,-297,318,1,-179,532,-8,150,-372,-138,-25,50,164,-213,351,-253,562,231,-224,209,219,-96,169,-115,-333,417,-368,-28,222,162,-383,63,-131,47,217,-283,178,25,-237,-21,505,258,-117,197,-173,85,-243,96,-50,22,429,-27,-26,347,-137,230,178,-183,211,135,40,-316,282,-200,93,186,71,-146,189,164,-341,-66,227,304,608,-131,-51,195,457,103,-101,-287,-76,-214,135,-226,-464,304,96,-495,335,-206,-103,-22,-222,-149,226,69,51,552,-92,-246,126,-130,-281,-143,73,-565,136,-182,-21,325,-55,-359,43,-259,227,511,-193,259,-325,73,-206,562,44,-61,-45,-105,152,-105,-119,411,200,15,-118,200,-56,64,-98,279,3,344,372,-86,-97,-137,244,240,-263,141,-148,-399,-191,268,530,108,151,-244,232,-318,-425,129,62,34,-235,-81,87,-266,-333,-154,145,99,-220,-74,120,180,269,116,-339,155,77,91,368,-149,-432,517,241,149,-48,307,253,227,127,203,64,-139,261,125,394,-61,137,-223,-112,85,-144,-184,-128,92,-281,96,-139,76,116,65,222,-348,246,148,-68,-470,113,156,142,-240,-14,-392,-183,-538,19,103,-414,153,-96,16,-233,-399,474,-308,112,32,-132,401,-185,-373,209,305,-187,-198,79,336,-25,172,10,371,161,-242,-343,223,-434,-33,296,-168,157,284,-50,444,61,63,184,228,-490,-300,144,245,109,521,-96,16,123,366,87,364,294,27,-259,-63,-106,65,123,297,-372,436,-590,122,171,-146,-37,12,38,-352,-50,168,48,149,144,-29,401,9,-63,-70,207,105,-3,228,-90,240,-68,-248,127,-178,159,-323,249,-200,216,293,163,-123,35,-518,431,-180,180,-228,-218,269,-98,-123,15,-434,547,-490,435,-9,-578,-111,-156,51,-338,71,79,142,-524,109,-315,-260,119,-95,178,49,-22,-70,273,119,126,-268,-83,-127,-52,123,-183,199,324,124,-64,-115,-243,-50,-337,109,158,241,74,125,295,450,-258,138,-214,158,229,-166,-35,57,-195,-123,164,244,47,127,-62,390,345,-57,-591,296,-184,-56,162,-14,133,-219,87,467,22,-94,8,356,-223,-380,82,5,-129,-20,-156,-283,-205,-326,-59,357,244,-426,-42,102,-270,-305,-184,-138,-237,-369,41,-114,35,348,202,-88,64,110,-19,-105,213,-76,233,13,316,-37,-154,-77,-238,-173,-44,54,117,-127,-91,-29,151,-227,-147,-70,-239,-62,-587,177,-38,-206,328,262,186,-96,242,-354,208,-140,-311,-39,-475,-32,52,219,-61,98,-106,-176,-187,216,82,229,162,471,-88,47,-27,-257,287,20,-30,238,265,14,642,-7,-132,129,109,-115,-213,-146,-271,52,236,-29,-170,-45,-125,20,-167,97,130,-506,-7,203,201,-134,425,263,205,554,-7,131,161,-440,233,-49,-172,-152,-56,256,248,-287,-246,210,-375,-113,-156,177,-15,9,22,-306,-132,102,-117,37,219,-433,154,-30,202,-7,-90,-137,388,-490,347,32,165,70,316,296,144,-96,242,-139,141,-148,440,-103,487,160,8,-379,-84,113,233,-109,-16,-240,438,316,-393,-413,-46,-302,-92,-219,144,190,254,-254,67,-107,63,-313,-166,-308,-204,240,-34,163,141,573,292,-52,-164,-94,117,-94,-176,-26,-27,231,5,243,146,-100,404,-168,-68,-261,-10,-77,-194,405,418,765,485,-357,46,177,128,-285,-86,227,-346,-90,-67,467,-145,344,-163,204,-264,-455,-180,288,-295,497,-181,-172,43,429,-243,343,70,134,315,-105,-25,33,-60,-21,-321,-257,-410,-120,89,-188,-235,-178,107,0,328,18,-66,-43,-68,-311,-112,-292,80,-183,392,334,212,271,8,-268,162,284,-304,41,75,-198,547,11,108,-240,-66,225,-249,-87,-370,-233,350,46,453,168,97,-296,-374,59,409,294,-262,-370,79,-270,-39,66,329,229,-139,-68,-253,145,2,88,260,-457,55,-121,-23,-156,-89,-101,38,149,-67,-50,168,91,176,15,-232,-32,-297,90,-92,-256,31,500,29,499,318,-96,-50,68,-29,12,-275,343,179,-182,148,29,82,64,-42,-255,38,-154,77,9,387,-132,-373,-71,188,180,134,-107,19,43,-142,-469,61,5,456,204,-135,10,99,-201,279,68,176,-491,160,-83,-494,21,307,-304,0,313,-143,44,-22,-243,458,95,-23,48,152,-188,221,-13,43,309,-143,-396,-146,347,94,375,-150,-237,-18,59,317,32,-225,-156,-5,-120,-308,-153,257,-47,-197,99,164,-359,-419,138,-106,18,-302,-6,-35,-321,246,-14,-125,25,181,613,159,218,-12,275,208,-2,96,-39,-425,-156,-44,-172,46,127,279,282,-143,-609,428,-36,-326,17,-115,-93,46,218,-367,417,190,-75,88,-138,20,-32,73,-311,-2,90,-313]
symbreak = -1
s1 = [-139,-31,-61,-33,-82,96,-68,61,-18,107,83,-121,-181,-46,249,94,-255,143,135,-261,132,30,-122,-55,-64,-35,-117,182,-6,226,155,72,83,-61,39,-47,18,-20,146,-51,27,-73,25,5,116,164,-111,-145,43,-172,-25,28,-126,265,-188,12,46,189,-122,-61,167,121,-95,-247,92,117,-178,-14,-77,137,-75,-134,292,-268,-72,-4,14,307,-159,110,33,16,-40,107,30,95,-115,48,-2,103,-100,167,231,-99,-85,171,-170,-81,107,-263,25,138,132,176,4,-184,-200,24,-148,159,1,-89,266,-4,75,-186,-69,-12,25,82,-106,176,-126,281,116,-112,105,110,-48,85,-57,-166,209,-184,-14,111,81,-191,32,-65,24,109,-141,89,13,-118,-10,253,129,-58,99,-86,43,-121,48,-25,11,215,-13,-13,174,-68,115,89,-91,106,68,20,-158,141,-100,47,93,36,-73,95,82,-170,-33,114,152,304,-65,-25,98,229,52,-50,-143,-38,-107,68,-113,-232,152,48,-247,168,-103,-51,-11,-111,-74,113,35,26,276,-46,-123,63,-65,-140,-71,37,-282,68,-91,-10,163,-27,-179,22,-129,114,256,-96,130,-162,37,-103,281,22,-30,-22,-52,76,-52,-59,206,100,8,-59,100,-28,32,-49,140,2,172,186,-43,-48,-68,122,120,-131,71,-74,-199,-95,134,265,54,76,-122,116,-159,-212,65,31,17,-117,-40,44,-133,-166,-77,73,50,-110,-37,60,90,135,58,-169,78,39,46,184,-74,-216,259,121,75,-24,154,127,114,64,102,32,-69,131,63,197,-30,69,-111,-56,43,-72,-92,-64,46,-140,48,-69,38,58,33,111,-174,123,74,-34,-235,57,78,71,-120,-7,-196,-91,-269,10,52,-207,77,-48,8,-116,-199,237,-154,56,16,-66,201,-92,-186,105,153,-93,-99,40,168,-12,86,5,186,81,-121,-171,112,-217,-16,148,-84,79,142,-25,222,31,32,92,114,-245,-150,72,123,55,261,-48,8,62,183,44,182,147,14,-129,-31,-53,33,62,149,-186,218,-295,61,86,-73,-18,6,19,-176,-25,84,24,75,72,-14,201,5,-31,-35,104,53,-1,114,-45,120,-34,-124,64,-89,80,-161,125,-100,108,147,82,-61,18,-259,216,-90,90,-114,-109,135,-49,-61,8,-217,274,-245,218,-4,-289,-55,-78,26,-169,36,40,71,-262,55,-157,-130,60,-47,89,25,-11,-35,137,60,63,-134,-41,-63,-26,62,-91,100,162,62,-32,-57,-121,-25,-168,55,79,121,37,63,148,225,-129,69,-107,79,115,-83,-17,29,-97,-61,82,122,24,64,-31,195,173,-28,-295,148,-92,-28,81,-7,67,-109,44,234,11,-47,4,178,-111,-190,41,3,-64,-10,-78,-141,-102,-163,-29,179,122,-213,-21,51,-135,-152,-92,-69,-118,-184,21,-57,18,174,101,-44,32,55,-9,-52,107,-38,117,7,158,-18,-77,-38,-119,-86,-22,27,59,-63,-45,-14,76,-113,-73,-35,-119,-31,-293,89,-19,-103,164,131,93,-48,121,-177,104,-70,-155,-19,-237,-16,26,110,-30,49,-53,-88,-93,108,41,115,81,236,-44,24,-13,-128,144,10,-15,119,133,7,321,-3,-66,65,55,-57,-106,-73,-135,26,118,-14,-85,-22,-62,10,-83,49,65,-253,-3,102,101,-67,213,132,103,277,-3,66,81,-220,117,-24,-86,-76,-28,128,124,-143,-123,105,-187,-56,-78,89,-7,5,11,-153,-66,51,-58,19,110,-216,77,-15,101,-3,-45,-68,194,-245,174,16,83,35,158,148,72,-48,121,-69,71,-74,220,-51,244,80,4,-189,-42,57,117,-54,-8,-120,219,158,-196,-206,-23,-151,-46,-109,72,95,127,-127,34,-53,32,-156,-83,-154,-102,120,-17,82,71,287,146,-26,-82,-47,59,-47,-88,-13,-13,116,3,122,73,-50,202,-84,-34,-130,-5,-38,-97,203,209,383,243,-178,23,89,64,-142,-43,114,-173,-45,-33,234,-72,172,-81,102,-132,-227,-90,144,-147,249,-90,-86,22,215,-121,172,35,67,158,-52,-12,17,-30,-10,-160,-128,-205,-60,45,-94,-117,-89,54,0,164,9,-33,-21,-34,-155,-56,-146,40,-91,196,167,106,136,4,-134,81,142,-152,21,38,-99,274,6,54,-120,-33,113,-124,-43,-185,-116,175,23,227,84,49,-148,-187,30,205,147,-131,-185,40,-135,-19,33,165,115,-69,-34,-126,73,1,44,130,-228,28,-60,-11,-78,-44,-50,19,75,-33,-25,84,46,88,8,-116,-16,-148,45,-46,-128,16,250,15,250,159,-48,-25,34,-14,6,-137,172,90,-91,74,15,41,32,-21,-127,19,-77,39,5,194,-66,-186,-35,94,90,67,-53,10,22,-71,-234,31,3,228,102,-67,5,50,-100,140,34,88,-245,80,-41,-247,11,154,-152,0,157,-71,22,-11,-121,229,48,-11,24,76,-94,111,-6,22,155,-71,-198,-73,174,47,188,-75,-118,-9,30,159,16,-112,-78,-2,-60,-154,-76,129,-23,-98,50,82,-179,-209,69,-53,9,-151,-3,-17,-160,123,-7,-62,13,91,307,80,109,-6,138,104,-1,48,-19,-212,-78,-22,-86,23,64,140,141,-71,-304,214,-18,-163,9,-57,-46,23,109,-183,209,95,-37,44,-69,10,-16,37,-155,-1,45,-156]
sig = 1672af81afce7d5ce648e83188dfe64d7dd8ea33d966ce4ead9bb06d40008244135ef41c4847bfef5f39c917aac256ccdc4e44650b963a256d4aa6ca1245c678d3875d5b2a372a9c0e8d9d218c40b42b647c6a69266c098680a3cc90a955545bbd68192f3ea06cc85664feec1759fcdc6fd4a78326ccf332213dbb2c750155ccf9512fdc433fc4aeae09fb1d7e41127b30360e7d861bac84c59121d1a449398edfac37481fb649b58ac7831138f4d13ae1749b7bfe73108497dbbf48db85b821137fbad224c91b921534e942eb8a717db2336e9ff367eed95c1d374ca214e4720cceecb92174aede27c3c1399ea748ad29b41a9942c0c47d60d31760cab0e4c4924929dc67f49bba6f8597d1ddbc910f0258cb644d9df4413e562b0e63cbc530ee30679a4a505d33be1d897c520aca180c606249c74ea912f089c1366aca8a9bc4a346b5fa0f2c4699115a326ab205c8c02784a599595d3533b3ee90884e6e20cc08acaebe838e0b47627846623339ed4dc117d1274b944c22b724af1d3aea9c2e9e5c43be5cda2f0326480c7fd115eebd1edbef2e3061eae1dbee4aa8e6ce711b83c628b4d3bcc86cb4190e05c996a71927a2e862157a84ab30f650d3e360de0772325d21fb5dbc887fb3f6e4001e1dfa55ae99bd8544c6f46214b6204d5278225a03328b873b8041603fb293c44b029669317bc03c8249b4368076a3a1247a143717f06e962962c2ff05ea67be468afe87e3d8793f79f9532150a8cf2c411dc84b3a067843bb99d4b645c6c0b2eae212b2dba7c39f344c2972b34e51b3716d447d57b8e4962b7823f35ad6871731a55d55dbeeb30d0323a2ed9199649243f7e6305a6812fb686e17d317c7a673c4ae18f3438a7317472004c18da788a1d90d55f58a1407bc609642459c9520445b7d55cb06f08e9eea779319c58205733eb957e394023b08b40b4da347216f4e1c0927d310c1a7795d1ff7e60d8d65b52cf2fdbe48839b949538241d9f9445eeee5e0c430f7a122b53181025b844ff1c5f19d0a832cb82eac142e620669094679575e1ec3878f31275c9f7337bdbd1980d90094885da1da11a71aa085144ce5599a264d83718ef2a3ebfd748c593ee359380a38614963311f649c00a23b72bcd1a4f0b88512e86cccfd4b63fa43ffaf762626320aca6294f0a52fec49c8510e4a2a70db46219e93790a650c82323623484da8b76019d612978092b18d3bd85b51905e2bebc5223de07bd4db0674b6085b22443059d5802f4ed46df6c33d4160a0ac0d2d454d505308df15a9198e0edd5dad147b284f2941ad06ebcbaca289290bd8cd4cf5dca5cc8692a2a4b09a1437aeb4a5452619289c9c2d29542d526b2b2a58dac3d4e554dda2a4b6871569191ae0e5b1a6a660a250bdfd13d93ab5494b04a7427b5cb748a5053b58c759dbdd4588dc2d145e4a2949a4da598cab822353c93f924c27ab6c6bbad4a950e5195478818361726f79cafbc592752d5ad8d0c696b3ce54b99e2a4cad36fb3f5571b5ad25219f76ac5cb65b0ae6c6fb18a1456b4a654d6d38b7611d9a455319abb48c4acea29b542f66e8de62282c8ca72944a94448db2fc1457e7338b9429b9706bca683292cca975e2bddbe6c6c84faa6f4759bd38eab2684ca68b57a72853679db2253aa7176a7ab42585982fd13d270000000000000000000000000000000000000000000000000000
#### Verify (n=1024):
salt = 1672af81afce7d5ce648e83188dfe64d7dd8ea33d966ce4ead9bb06d40008244135ef41c4847bfef
s1 = [-139,-31,-61,-33,-82,96,-68,61,-18,107,83,-121,-181,-46,249,94,-255,143,135,-261,132,30,-122,-55,-64,-35,-117,182,-6,226,155,72,83,-61,39,-47,18,-20,146,-51,27,-73,25,5,116,164,-111,-145,43,-172,-25,28,-126,265,-188,12,46,189,-122,-61,167,121,-95,-247,92,117,-178,-14,-77,137,-75,-134,292,-268,-72,-4,14,307,-159,110,33,16,-40,107,30,95,-115,48,-2,103,-100,167,231,-99,-85,171,-170,-81,107,-263,25,138,132,176,4,-184,-200,24,-148,159,1,-89,266,-4,75,-186,-69,-12,25,82,-106,176,-126,281,116,-112,105,110,-48,85,-57,-166,209,-184,-14,111,81,-191,32,-65,24,109,-141,89,13,-118,-10,253,129,-58,99,-86,43,-121,48,-25,11,215,-13,-13,174,-68,115,89,-91,106,68,20,-158,141,-100,47,93,36,-73,95,82,-170,-33,114,152,304,-65,-25,98,229,52,-50,-143,-38,-107,68,-113,-232,152,48,-247,168,-103,-51,-11,-111,-74,113,35,26,276,-46,-123,63,-65,-140,-71,37,-282,68,-91,-10,163,-27,-179,22,-129,114,256,-96,130,-162,37,-103,281,22,-30,-22,-52,76,-52,-59,206,100,8,-59,100,-28,32,-49,140,2,172,186,-43,-48,-68,122,120,-131,71,-74,-199,-95,134,265,54,76,-122,116,-159,-212,65,31,17,-117,-40,44,-133,-166,-77,73,50,-110,-37,60,90,135,58,-169,78,39,46,184,-74,-216,259,121,75,-24,154,127,114,64,102,32,-69,131,63,197,-30,69,-111,-56,43,-72,-92,-64,46,-140,48,-69,38,58,33,111,-174,123,74,-34,-235,57,78,71,-120,-7,-196,-91,-269,10,52,-207,77,-48,8,-116,-199,237,-154,56,16,-66,201,-92,-186,105,153,-93,-99,40,168,-12,86,5,186,81,-121,-171,112,-217,-16,148,-84,79,142,-25,222,31,32,92,114,-245,-150,72,123,55,261,-48,8,62,183,44,182,147,14,-129,-31,-53,33,62,149,-186,218,-295,61,86,-73,-18,6,19,-176,-25,84,24,75,72,-14,201,5,-31,-35,104,53,-1,114,-45,120,-34,-124,64,-89,80,-161,125,-100,108,147,82,-61,18,-259,216,-90,90,-114,-109,135,-49,-61,8,-217,274,-245,218,-4,-289,-55,-78,26,-169,36,40,71,-262,55,-157,-130,60,-47,89,25,-11,-35,137,60,63,-134,-41,-63,-26,62,-91,100,162,62,-32,-57,-121,-25,-168,55,79,121,37,63,148,225,-129,69,-107,79,115,-83,-17,29,-97,-61,82,122,24,64,-31,195,173,-28,-295,148,-92,-28,81,-7,67,-109,44,234,11,-47,4,178,-111,-190,41,3,-64,-10,-78,-141,-102,-163,-29,179,122,-213,-21,51,-135,-152,-92,-69,-118,-184,21,-57,18,174,101,-44,32,55,-9,-52,107,-38,117,7,158,-18,-77,-38,-119,-86,-22,27,59,-63,-45,-14,76,-113,-73,-35,-119,-31,-293,89,-19,-103,164,131,93,-48,121,-177,104,-70,-155,-19,-237,-16,26,110,-30,49,-53,-88,-93,108,41,115,81,236,-44,24,-13,-128,144,10,-15,119,133,7,321,-3,-66,65,55,-57,-106,-73,-135,26,118,-14,-85,-22,-62,10,-83,49,65,-253,-3,102,101,-67,213,132,103,277,-3,66,81,-220,117,-24,-86,-76,-28,128,124,-143,-123,105,-187,-56,-78,89,-7,5,11,-153,-66,51,-58,19,110,-216,77,-15,101,-3,-45,-68,194,-245,174,16,83,35,158,148,72,-48,121,-69,71,-74,220,-51,244,80,4,-189,-42,57,117,-54,-8,-120,219,158,-196,-206,-23,-151,-46,-109,72,95,127,-127,34,-53,32,-156,-83,-154,-102,120,-17,82,71,287,146,-26,-82,-47,59,-47,-88,-13,-13,116,3,122,73,-50,202,-84,-34,-130,-5,-38,-97,203,209,383,243,-178,23,89,64,-142,-43,114,-173,-45,-33,234,-72,172,-81,102,-132,-227,-90,144,-147,249,-90,-86,22,215,-121,172,35,67,158,-52,-12,17,-30,-10,-160,-128,-205,-60,45,-94,-117,-89,54,0,164,9,-33,-21,-34,-155,-56,-146,40,-91,196,167,106,136,4,-134,81,142,-152,21,38,-99,274,6,54,-120,-33,113,-124,-43,-185,-116,175,23,227,84,49,-148,-187,30,205,147,-131,-185,40,-135,-19,33,165,115,-69,-34,-126,73,1,44,130,-228,28,-60,-11,-78,-44,-50,19,75,-33,-25,84,46,88,8,-116,-16,-148,45,-46,-128,16,250,15,250,159,-48,-25,34,-14,6,-137,172,90,-91,74,15,41,32,-21,-127,19,-77,39,5,194,-66,-186,-35,94,90,67,-53,10,22,-71,-234,31,3,228,102,-67,5,50,-100,140,34,88,-245,80,-41,-247,11,154,-152,0,157,-71,22,-11,-121,229,48,-11,24,76,-94,111,-6,22,155,-71,-198,-73,174,47,188,-75,-118,-9,30,159,16,-112,-78,-2,-60,-154,-76,129,-23,-98,50,82,-179,-209,69,-53,9,-151,-3,-17,-160,123,-7,-62,13,91,307,80,109,-6,138,104,-1,48,-19,-212,-78,-22,-86,23,64,140,141,-71,-304,214,-18,-163,9,-57,-46,23,109,-183,209,95,-37,44,-69,10,-16,37,-155,-1,45,-156]
# hm = SHAKE256(message || hpub) (64 bytes)
hm = c995a43f79f186f85291982cfee75975855dd24634ebfaf35010af13c7e7e9fe70de28718a06833c22522ba9912c3f373af3ea8893fe96476ff82a722007c9a0
# h = SHAKE256(hm || salt) (2*n bits)
h0 = [1,0,1,1,0,1,0,0,1,0,0,0,0,0,0,0,1,1,1,0,1,1,0,1,1,1,0,0,1,1,0,1,0,0,1,0,0,1,0,0,0,1,1,0,0,0,1,1,1,1,1,1,1,0,0,1,1,1,1,0,0,0,0,1,1,0,0,1,0,0,0,0,1,1,0,0,1,1,1,0,1,0,0,0,1,0,0,0,0,1,1,1,0,1,0,1,1,1,0,0,1,0,1,1,1,0,1,0,1,1,0,1,1,0,1,1,1,1,1,0,1,1,0,1,0,1,1,0,0,1,1,1,1,0,1,0,0,1,0,1,1,0,0,1,0,0,1,1,1,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,1,0,1,1,0,1,0,1,0,0,1,1,0,0,1,0,1,0,1,0,0,1,0,1,1,0,0,0,1,0,0,1,1,0,1,1,1,1,1,0,1,1,0,1,1,0,1,0,1,1,1,0,0,1,1,0,1,0,0,0,1,1,0,1,0,1,1,1,1,0,1,1,1,0,0,0,1,1,1,1,1,1,1,1,0,1,1,0,1,0,1,0,1,1,1,0,1,0,1,0,0,1,0,0,1,1,1,0,1,1,1,0,0,1,1,0,0,0,0,1,1,1,1,0,0,1,1,0,1,1,0,0,1,0,0,1,1,0,1,1,1,1,1,0,1,0,1,0,0,1,0,0,1,0,0,1,1,1,1,1,1,0,1,1,1,1,0,0,0,0,1,1,0,0,0,0,0,1,0,1,1,0,0,1,1,1,1,0,0,0,0,0,0,1,1,0,1,1,0,0,1,1,0,1,0,0,1,0,0,1,1,0,0,1,1,0,1,0,1,1,1,1,0,1,0,1,0,0,0,0,0,0,0,1,0,1,0,1,1,1,0,0,1,0,1,0,0,1,1,1,0,0,0,1,0,0,1,0,0,1,0,1,0,1,1,1,1,0,1,0,0,1,1,0,0,0,1,1,1,0,0,1,0,1,0,1,0,1,1,1,1,1,0,1,1,1,1,0,1,1,1,0,1,0,0,0,1,0,1,1,0,0,1,1,0,0,0,0,1,0,1,0,0,1,1,0,1,1,1,1,1,0,0,0,1,1,1,1,0,1,0,0,1,0,1,0,1,1,0,0,1,0,1,0,1,1,0,0,1,0,0,0,1,1,0,1,0,1,0,0,0,0,1,1,1,0,1,0,0,0,1,0,1,0,1,1,0,0,1,1,0,0,0,0,1,1,1,0,0,1,1,0,0,0,1,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1,1,0,0,0,1,0,0,1,1,1,0,0,1,0,0,1,1,1,1,1,1,1,0,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,0,1,1,0,0,1,0,1,0,1,0,1,1,1,0,0,0,1,0,1,0,1,1,0,1,1,1,1,1,0,0,1,1,0,1,1,1,1,1,1,0,1,0,0,0,1,0,1,0,1,0,1,1,0,1,1,1,0,0,1,0,1,0,1,1,1,1,0,0,0,1,0,1,0,0,0,1,1,1,0,1,0,1,0,1,1,1,1,0,0,0,1,1,0,1,0,0,1,0,0,1,1,1,1,0,1,0,1,1,1,0,1,1,0,0,1,1,0,1,1,1,0,1,1,0,1,0,0,1,1,1,0,1,1,0,1,0,1,1,0,1,0,1,1,0,0,0,0,1,1,0,1,1,1,0,1,0,0,1,1,1,0,0,0,0,0,0,1,0,1,0,0,0,0,1,1,0,1,0,0,1,0,0,1,1,1,1,1,0,0,0,1,0,1,1,1,1,1,1,0,1,0,0,0,0,0,0,0,1,1,0,0,1,0,0,0,1,0,1,0,1,0,1,0,0,0,1,0,1,0,0,0,1,1,1,0,0,1,1,1,1,0,0,1,0,0,1,1,1,1,0,0,0,1,0,0,0,1,0,0,0,1,0,0,1,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,1,1,1,0,0,1,1,1,1,1,1,0,0,1,1,0,1,0,1,0,0,0,0,1,1,1,1,0,1,1,1,0,0,1,1,0,1,1,0,0,1,1,1,0,0,0,0,1,1,1,1,1,0,1,1,1,1,0,1,1,0,1,0,1,0,0,0,1,1,1,0,0,1,0,1,1,0,1,0,0,1,0,0,1,1,1,0,1,1,1,0,0,0,0,0,0,0,1,1,1,1,0,1,1,1,0,0,0,1,0,0,0,0,0,0,0,1,1,0,1]
h1 = [0,0,0,0,0,1,0,1,0,1,1,0,0,0,0,0,0,0,1,0,0,1,0,1,1,0,0,1,0,0,1,1,0,1,1,0,1,0,0,0,0,1,1,0,1,1,1,0,1,0,1,1,1,1,1,1,1,1,0,0,0,0,1,1,0,1,1,1,1,1,1,1,0,0,1,0,1,0,1,0,0,1,0,1,0,0,0,1,1,1,1,1,1,0,0,1,0,1,0,1,0,1,0,1,1,0,1,0,1,0,1,1,0,0,0,0,0,1,0,0,1,1,1,0,1,0,1,1,0,1,1,1,1,0,0,0,0,1,1,1,1,1,1,0,1,1,1,1,0,1,1,1,1,1,0,0,0,1,1,0,1,1,0,0,1,1,1,0,0,0,0,1,0,1,0,1,0,1,0,1,0,0,1,1,1,1,1,1,1,0,0,1,0,0,0,0,1,1,0,1,0,0,1,0,1,1,0,0,0,0,0,1,1,1,1,0,0,1,1,1,1,1,1,1,1,1,1,1,1,0,0,0,1,1,1,0,1,1,1,0,1,0,0,0,0,0,1,1,0,0,0,1,1,0,0,1,1,0,1,1,0,0,0,1,0,0,0,1,1,0,0,1,1,1,0,1,0,1,1,0,0,0,0,1,0,1,1,1,1,0,1,0,1,1,1,0,1,1,1,1,1,0,1,1,1,0,1,1,1,0,1,0,0,0,0,1,0,1,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,1,0,1,1,0,1,0,0,1,1,0,0,0,0,0,1,1,1,1,1,1,0,1,0,1,0,0,1,1,0,1,1,0,1,0,0,1,0,0,0,1,1,0,0,0,0,0,1,1,1,0,0,1,0,1,0,0,1,1,1,0,1,1,1,0,0,0,0,1,0,1,0,0,0,0,0,0,1,0,1,1,1,1,0,1,1,1,0,0,0,0,0,1,0,1,1,1,0,0,1,1,1,1,0,1,0,0,0,0,1,0,1,1,0,1,0,1,1,0,1,0,1,0,1,1,0,0,1,1,0,1,1,0,1,0,0,1,1,0,0,1,1,0,1,1,1,0,0,0,1,1,0,1,1,0,1,0,1,1,0,0,0,0,0,1,0,1,1,1,1,0,0,1,1,0,0,1,1,1,0,0,0,0,0,1,1,1,1,0,0,0,0,1,0,0,1,1,0,0,1,1,0,1,1,0,0,0,0,0,1,0,0,1,1,1,0,1,0,0,0,0,0,1,1,1,0,1,1,0,1,0,1,0,1,0,0,1,1,1,1,1,1,1,0,1,0,1,1,0,0,0,0,0,0,0,0,0,0,1,1,1,0,0,1,1,0,0,0,1,0,0,1,0,1,0,1,1,1,1,0,0,0,1,0,0,1,0,1,1,1,1,0,1,0,0,1,0,1,1,0,1,1,0,0,1,1,1,0,1,1,1,0,1,1,1,0,1,1,0,0,0,0,0,1,0,0,1,1,0,1,1,1,0,0,0,0,1,1,1,1,0,0,0,1,0,1,0,0,1,0,1,0,0,0,0,0,0,1,1,0,0,1,1,0,0,1,0,1,1,1,0,0,0,0,1,1,0,0,0,1,0,0,0,0,1,1,1,1,0,0,0,0,0,1,1,1,0,0,0,0,1,0,0,0,1,1,1,1,0,0,0,0,0,1,0,1,0,1,0,1,1,1,0,1,0,1,0,1,0,0,1,1,1,0,1,0,0,1,0,0,1,1,1,0,1,1,1,1,0,0,1,1,1,1,0,1,1,1,0,0,1,0,1,0,1,0,0,0,0,1,0,1,0,0,0,1,0,0,0,1,0,0,0,0,0,1,1,0,1,1,0,0,0,1,1,1,0,1,0,0,1,0,1,0,0,1,1,0,0,0,1,0,1,0,1,1,1,0,1,1,0,0,0,1,1,1,1,0,1,1,0,1,1,0,0,1,0,1,0,0,1,0,0,0,1,0,1,1,0,0,0,0,1,0,1,1,1,0,0,1,0,0,0,1,0,0,1,1,1,0,1,1,0,0,0,1,1,1,0,1,1,1,0,0,1,0,1,1,1,0,0,1,0,1,0,1,1,0,0,1,1,0,0,1,0,1,1,0,0,0,1,1,1,1,1,0,0,1,0,1,0,1,0,1,1,0,1,0,1,0,0,1,1,1,1,1,0,1,1,0,0,0,0,0,1,1,0,0,1,1,1,1,1,0,0,1,0,0,0,1,1,0,0,0,0,1,1,0,1,1,0,0,0,1,1,1,0,0,1,1,0,1,0,0,0,0,1,1,0,0,1]
# ft1 = FFT(h1 - 2*s1)
ft1 = [-1657834,-729904,-208492,-3260812,-304474,-653733,-1512783,4391929,-1784427,-314625,1780608,-1075447,-1978676,1666811,-1236319,448593,-369081,-1147920,-129842,-2453339,-3962859,-842524,-1373400,3037216,1186530,2356822,3724386,-2849875,1442770,-432258,-1898915,-4680335,-5765678,4811672,1083726,-3004574,-890697,1647449,-3492882,-2056213,176393,-3336638,1648213,-391159,1817702,-6020651,2450879,-234526,4611904,-662940,-480270,2954393,3768895,754914,-852922,2320962,1580913,723969,478016,1281222,1390142,-2914975,857365,8058499,-1063935,-5026582,818635,-209098,-6304568,-3474262,8232269,-818170,2578362,-3277029,3281169,2130694,-570154,-1920037,-747355,266623,-2668031,-508641,-444632,-2242215,-1216202,-1364036,-2571743,-389034,-1227864,2561164,1663913,2047092,-931802,1506762,2083287,-1902332,2427512,2114901,-212718,-1728827,-1662584,-191653,-544481,-1161046,591682,-521843,6367778,4910606,-1185427,568703,-211830,-2839120,367555,965723,380487,218040,207215,-157599,798813,794461,-213202,-1023724,5786289,-2032837,1522125,4388018,3259586,-16348,-951313,4727753,11835775,3301840,-1433397,-761948,1701921,1870824,-4406604,-575388,1689885,-2825302,3692134,2150357,2596985,2682011,-504178,2497111,696893,-3354767,-1478677,-3301708,604100,-1637237,-3187856,-1597949,-2174389,4084044,-26039,-747709,1127724,1703908,-919530,565041,6524871,-4530497,-1032678,-856177,82319,1137922,-3854,-3195961,1985805,-213500,1194479,1186356,3263674,466175,1379448,562669,172517,385513,2430305,2450045,3984273,5826294,-213575,-609666,-589222,463185,556146,-1664176,5119198,2290746,-1527612,1517172,-3104744,715653,-2197697,-1133950,-2750019,1987330,2606084,464350,-414591,2334439,2400078,-1947694,-1630314,267324,-1709665,-2039179,-2089315,4162120,2849730,2604331,1625767,1698669,-418066,-1612421,-752436,-3189148,-552583,-693133,3082551,1069008,822361,1888043,-3123827,-3963023,-244778,2322562,-3848282,841472,1997071,-476191,-2218169,-643072,-4555541,-968648,310586,-3698396,-758835,-2205007,-3654164,2385460,-1600911,217777,1916013,3483831,5500,1123404,-1522809,-793617,-950708,2745595,227565,1647073,-173178,-751111,-626246,-2590719,-805149,2020722,924364,-1287443,-6522488,4398169,-367039,-6228156,173533,2362766,1230905,-3381473,-1494804,4021291,401351,-85512,3096483,2019825,4321932,1177562,-2252685,-613629,-521199,3626456,-476420,-832594,-3087253,2778722,1213471,-2506167,3352627,16296,705695,202628,-333484,-3140543,1324238,1859008,-2020749,-2258107,-2770269,-891088,-2690546,2060702,-2034303,2515946,-212453,-118331,1250996,870651,7304852,452910,1368083,2812912,-1974231,-251412,-39810,-2971123,-721695,-3169156,-2065204,-3971897,-267910,1203956,6143870,505484,1281456,-1868062,-5337758,626109,7963235,182926,-305755,1822893,-1337890,3392861,2538713,230990,1081829,-740584,165075,4605626,-2333632,3719500,196390,-1018634,-759604,2417989,-1067464,1579629,358480,1738487,1026027,-2314837,82649,-1215716,3158345,-3134187,-1543475,-386992,2862072,-7108595,-6587462,1091152,-849413,-1267490,563508,2099858,3286133,-1402830,-27000,2814887,4614361,-618192,-142140,-801692,4631577,-2593470,-1595577,-518669,-4353478,1749865,-1953007,293096,118361,-842555,-869463,5572792,188687,7028245,638128,-276034,-924556,-32621,-8823229,-1694609,1494092,52865,5758931,-1190165,-850919,538601,1561477,-2890213,1669817,2083713,1663614,-3967921,-1949222,-1521912,-1628684,201570,-2454749,2894988,222797,-1314830,933869,-1417304,2543475,-757262,2565731,1688167,2324599,4376517,11370663,3124863,931795,-714980,-986920,-3998928,2422099,-1118651,-1997233,-1650997,1496805,-2600099,755248,654586,4096387,-3643244,-1609764,1137049,1244344,-8504552,2382391,-797935,719913,3615489,1328680,1691627,-1527042,205805,-230127,4504014,-1483567,-833818,1691990,10406165,-1129660,743145,-236375,-2748861,-3439506,262851,1559363,-4672625,1958066,-4008876,-3238137,-1244994,-394780,924347,-317059,1571673,-3226374,-5446838,-1101303,-3657087,-2357593,-2393505,3198282,-647584,-801006,2994393,-1052623,3474306,-1597430,1494610,-4346988,106970,5294905,459308,254763,-1530325,355374,-512443,-1162554,-2064510,370779,-219566,4683694,-1264497,994018,-620841,4240901,-222751,832927,-2015112,1125744,2722734,3999478,-353814,-2900794,2339803,-4404000,-2628739,-1045249,542809,7139838,-3613210,1734093,-2031830,2101053,307330,-1101196,-560075,-987701,533774,5872,-4616073,1001957,-2133711,621418,-1651751,761256,197804,2692015,4985213,943088,1203949,1338547,-448890,2401643,-1057057,1277664,1043607,-806018,-971120,752101,706556,-3397138,-338824,-3641839,4178947,4289733,-87324,1170678,4918500,-1063548,-2639865,1654463,2364103,46120,-1378025,4747634,1308445,8823,1205332,-969924,-1389398,-810254,1705966,15339,521011,-1497147,1548122,-6137511,-10595575,259971,-6143232,7114718,-2643676,-1553793,148860,-1620144,-3444550,-556833,3903972,-912676,2289620,748344,303948,-853419,2156656,-704580,267430,-1635275,-5495534,-3755739,1017221,6569046,-5018109,-925086,3850053,2677370,1101849,171691,-7493018,-1049481,2517471,-399876,-2178002,700193,3043025,65852,3592166,1143595,-5656693,-4835747,-642647,-3463949,-697987,-624339,172201,535568,-2674788,631615,3847956,-1197174,-805140,24917,-2212210,2450579,2716205,2269843,1055779,-1735577,2326507,-5869707,-1724963,1068667,-1067366,-10722726,-1355639,-2052407,1351093,-1003886,-2028920,4209274,1602233,-170627,-1302502,1806630,2448890,542356,3938379,2907793,-4520721,-167928,729649,1233482,752629,2007277,7008628,-1162474,-7498487,663455,369144,-3654876,-3204311,-1396459,363140,3119532,308397,1094184,146012,2508207,-844342,1540632,183234,253914,187506,635180,1244058,-2789027,-2351040,-3368349,-2261445,-917979,2527860,-744165,233222,5007962,-13388164,-1815690,506207,1107734,-6933864,-2026671,1320372,-6622960,-1318442,-597891,497323,-665122,4069464,-255895,-1941620,-186791,1206032,1569686,1457418,1387509,-4855253,303969,-2840631,1545367,771518,-5190431,3450347,2207116,4603961,-2399962,4295558,-74056,-6154835,5603599,4563515,3190938,-217514,1682552,-1245792,-889501,-431026,-5526604,-2382642,-542017,952971,-3662378,1723232,-1883735,-1645276,-5018228,-2274311,658318,2128775,-3765319,-2401860,6521198,-136889,-2593180,7753542,-550528,-685178,-2930275,-6540760,-614331,-1121302,191779,-522622,-4571709,1053528,-2856943,-2514962,-904666,2244479,-3804704,2193660,1199518,1239507,-2549949,-2093829,7734,-5939356,-3126824,2423235,2909063,3731638,-560721,1045452,350283,-9486,-2570108,1882942,1491517,-3826394,1723069,974266,-3364840,1377174,-3245866,739508,3722162,1998851,1826708,-536946,600583,-663619,4975337,1687198,-312591,-215324,-983967,86853,-1549602,2769734,1784682,-2460050,4064969,1686933,3498531,3526914,-1040703,1595189,-782533,-671973,-163345,6156899,1237930,422754,-977955,-214275,-3783545,2458706,-228470,-834240,-2639555,-751076,-635700,-5853970,-898781,688901,-683891,1664337,182622,3562452,3487354,-270537,-4255286,-1538296,5372203,1221383,-174291,1175987,1610994,1780663,-5096630,-2808896,-2459062,678654,3920622,872625,320978,-6064554,3639454,-4160156,-1108321,-1099119,4027744,-2325260,2291077,-5598208,755090,-2794352,1599940,1750049,1225166,4375725,4885004,2815867,127518,-670830,-712953,-4726096,4223343,896653,-5505500,-2725842,-1119014,1049995,-12060,508610,-840649,-2634717,2036538,738913,478239,-802354,-2787243,2521187,2087928,365672,-3061014,-1666288,2476260,-542990,1064491,777188,-400092,-2744545,-3007460,-562836,-538052,1280222,1766505,-891960,3712497,327655,6715468,-933801,-3355069,-551981,-2549294,3771316,-5021148,-948305,-418553,-831846,1310020,-8378528,879179,-2125247,-11783728,-273502,5102551,412607,-172340,1123331,-1749809,-1081116,5374931,1618742,-2191,-1519349,570501,991140,-4943316,228146,2601350,97118,3993646,-473983,-752780,-121557,1148284,-1614979,-515915,-302950,324050,232654,380313,2162868,2777407,-4938902,-3250071,-813359,1791715,-4057856,2182336,-2807398,-1625790,-2596033,3508362,1132233,-2308477,1339353,1859106,1066261,-36499,1892683,-1993918,-533886,-815956,4824458,2871446,-3478410,-898529,-4335353,-2579463,-970139,-845788,-5336599,-3839651,-274428,-620721,-1973566,-941394,2422788,-1661869,-795010,2331077,758480,-3673794,937784,4777450,1780180,744083,441621,-392433,-126180,-1721558,2006862,-3545188,5501789,-4008565,-3739592,-1253717,-435141,4881249,506147,-281030,1785205,1526806,-12034,2781319,-599595,1717736,56989,3990504,-1841079,386612,-497483,-2250936,3022912]
# first half of q00 only
q00 = [8212,-203,-236,115,2,-194,-26,-125,139,-99,-115,-229,334,206,142,398,-29,-285,-216,-163,-69,20,9,-193,174,-39,7,-43,-91,230,-349,152,58,51,-4,65,-492,45,2,-228,-200,204,-154,-42,-12,72,6,335,-168,60,-310,-38,25,-391,-215,-5,211,280,72,397,139,16,110,50,-34,-31,77,31,-71,-353,-236,186,112,112,-125,234,-146,-217,344,-179,62,163,-3,21,102,-121,-109,170,-49,63,127,-88,-15,-210,-50,-243,-157,200,110,314,-191,-174,-153,173,204,64,-210,-50,-21,-184,-21,10,-9,18,90,-214,-139,-179,213,-47,282,111,93,-285,-58,107,128,-269,24,301,-135,-288,-96,-25,262,106,324,115,190,151,-241,-22,140,-77,-78,231,66,-92,101,165,-104,46,-389,-170,-168,-24,-296,-220,223,-374,-33,10,-170,101,61,-51,84,27,-76,60,-26,48,23,-125,-54,-52,-31,-32,-402,118,169,-122,54,92,-217,72,-43,-55,25,285,-488,341,-144,-42,256,217,176,-37,94,-75,-91,236,55,-82,134,63,-80,-4,22,187,162,-246,-191,-86,-33,-39,258,76,-508,-83,102,-54,-357,307,31,-113,256,79,138,7,-117,46,343,-153,-199,16,197,123,-99,43,95,-266,-30,135,196,-26,-27,485,8,-201,101,-85,65,-292,145,3,-52,182,71,-275,373,-74,256,258,341,-209,57,98,69,49,-94,338,127,-111,112,46,-110,-150,-121,209,-272,-107,166,-32,323,210,-225,101,-78,-173,-193,142,-83,-15,26,196,-127,139,89,148,-41,19,-21,68,106,-402,2,254,61,188,-227,312,-46,168,-40,37,-31,-175,95,174,153,-116,-63,-120,343,-10,-173,-72,-181,-220,281,249,-163,61,-43,106,132,-220,-168,102,-44,-15,79,11,160,292,162,-38,-497,18,-180,-208,116,-222,-161,-48,-151,448,-88,-89,-95,-178,18,-192,-269,495,-273,-61,60,-166,-226,235,-217,-7,-59,-175,-202,100,76,-188,115,280,77,44,-229,0,268,-478,-156,240,-28,21,163,-170,72,-54,22,172,-54,174,122,-27,47,333,-91,131,32,24,256,39,6,63,-126,115,45,-82,-104,-53,36,-154,-196,160,-58,153,-18,-100,0,-145,88,323,-218,-78,202,-210,-282,113,118,318,-248,-194,-44,-181,-266,-36,-14,-7,-209,-3,127,168,25,-15,-109,-115,-293,-101,141,-9,-48,112,72,287,71,26,23,-129,-31,204,-214,22,196,117,-227,-250,18,157,-140,-239,101,136,134,141,60,-220,-6,-234,83,41,72,-43,-117,55,181,308,311,-257,70,-311,-214,-49,208,-267,12,-73,-116,-68,-186,188,128,-177,277,-154]
# fq00 = FFT(q00') (q00' = q00 except that q00'[0] = 0)
fq00 = [-1195818,-6601622,9280826,1292574,11570486,-7353650,5850741,255606,-340729,-3705691,1407098,-5334922,-5899558,4738054,8422,-6220536,-7712127,-4413047,-6385802,678283,-3297680,-1155623,-3943173,2496545,-3674878,932276,3280473,4982211,-5749433,3257534,4160294,2078171,1619768,6695412,4691286,9336386,-5967823,-6010388,-3737382,-3772389,-615815,-729349,-661253,-3385125,-3099520,8696970,4382442,-5769917,1771330,-5159922,-6293479,-844640,4045385,-6720512,-5260083,-1447820,5710312,-4109560,-6270354,6940850,-4407675,-4996651,8944170,14064996,-2673737,14087734,-4014970,952329,13838169,5096500,4096909,-4106998,5376924,-3240465,-3389664,118001,-3812973,-487852,-5539567,-6173851,-4509271,1745783,-5708436,8615026,1709359,-1558440,-4563653,-5231680,9371095,4122526,-5372625,8252600,-3396606,4796238,1831570,774640,-4579813,5506752,-5030542,-6978776,2364778,-1009441,-5548979,-4737839,-3368525,1697598,6488750,-2379428,-571735,5338359,141477,-4362767,-6883351,-4201182,-4221527,8148081,-7076301,1999508,-4981654,865055,137857,575166,-670551,-712921,-4410271,776548,6068862,2887884,1760335,818675,25784244,-3612675,-5697874,2121866,-7040093,-3078105,16547694,-5915316,-2531876,-3435621,-1885030,841139,-5051016,-2599027,1095158,669680,-5172154,3012369,-2994890,520559,-5315993,9293571,891426,2081801,-169918,6408381,3642494,-5203866,-5456520,-2494447,423617,-2519616,3273808,-2722487,37188,5292288,-5562451,-4269215,-2024775,4382434,-309647,-4716778,-3663006,-982966,2173992,-2835309,-4615542,-988656,-7775489,-4280458,6711204,22880899,-2477093,3919892,-5592827,8369901,-7461354,-3902456,8402193,-3414843,-2788187,-7003237,3518881,13189734,-1227398,3317455,-870633,-3904998,-506365,-5434242,-5214163,8981153,-2919277,-1428058,1186218,-5736779,6924590,390776,-6708927,6571598,-5506910,-1295086,1020522,-1142095,-1784269,11216978,-3312899,-1520529,-4901474,7320018,-4280406,-2342569,-1159861,-3195020,-7176685,-5203806,6448214,-3792050,-1070334,4707744,-2467789,-6539923,-4686814,-59011,2508976,687686,9749544,-876430,4875399,10454776,-6376399,-4498697,4720260,8149743,-5479069,1562897,3097884,3796901,2039601,-1281328,-5623405,-5208859,10220511,-2504113,216258,4087625,-6491171,-7136279,-4396746,3514173,-4319520,29072489,-3563699,2427122,6831773,-1523810,-2642846,5145637,-7266803,6855200,-2626093,-1447147,-6362955,6240701,-2305871,-4976278,-2296546,-5761481,6089767,-195863,306276,4188608,-4968037,18532686,986434,-7717357,-2910874,-709739,-6563506,7539930,13109194,4865741,-338630,-2310331,-5024187,-2611295,9116708,-2108742,-1079598,-5293876,-1224111,-5301386,-584820,-934843,8933841,3292778,-2034957,-1971657,-4843163,-7975165,10134603,-1269702,-6392407,1089418,543744,-1197252,-7133317,11300325,-2340909,-2290357,2959321,2556724,-6817412,1148550,1242405,-7461047,-3400089,-6015009,2425335,-2607475,12490742,-6089789,-4893452,-3767600,1133327,202994,2058391,-3599196,6736392,4746913,714450,5488961,-3549308,1457670,-7064847,-5970527,-5721798,-5949321,-4408385,-3166073,-7326886,-110489,-1849779,89473,-4643141,-2325299,2011179,2386705,2428585,-6479607,-692295,14906284,-1835815,-5692747,-635122,2429740,-1439083,2713542,-3022191,-5250075,-6409326,-3592838,6998364,15215971,-8070875,3266907,-4403036,12819968,-4562990,-4594480,-1904810,155365,-6555636,-6810468,-5878850,-1394857,-3622776,198319,-5288582,4865954,-928002,-5281311,6552482,-4860718,13597839,1044067,14950206,389388,8857891,-4341583,-1456085,-1366305,9608146,4296542,3982170,-849652,3987272,16373178,-1717817,-6420733,9052794,-1394493,3349395,-4102521,175909,-4854304,895970,-6096720,12945562,-1245738,-4246098,-2685819,4781688,-1990246,9154911,-2752491,4331896,-4693676,-3089622,1759551,-5149104,-4101251,682983,1098074,-1586284,-2484136,-3507010,-2179417,-2154571,-2641342,-2448534,6477556,152512,8105037,14126110,2432427,1575395,-296687,-1686778,2328748,-882985,2084674,2001341,3728808,3701501,-2454894,-5561306,9898909,3253159,-2830407,190156,-380810,-4080236,1073325,-7357319,-1664498,9651890,-1570021,-6107048,520381,-2776694,-7462675,-4416556,8117364,1658461,8561647,2719632,74930,-4647099,1118942,5860639,-4344346,4877677,-2976495,-5254617,19670599,5625791,-3084400,-1395790,2994783,11209364,-2434958,-180577,4825718,-6176750,-1607602,6384373,-1238085,-4865123,-5411912,-3192145,-5839564,-5909192,-3284754,10748620,-8127715,-5892228,1472178,-6162321,1443115,4359823,-4084721,-5,0,-1,-1,-2,0,-1,-1,-2,0,-2,0,-2,0,0,-1,-3,0,-1,0,-2,0,-1,-1,-2,0,-1,0,-1,-1,-1,-1,-4,0,-1,0,-1,-1,-1,0,-2,-1,-1,0,-1,-1,-1,-1,-3,0,-1,0,-1,-1,-1,-1,-2,0,-1,-1,-1,-1,-1,-1,-4,0,-1,-1,-1,0,-1,-1,-2,-1,-1,0,-2,0,-1,-1,-3,0,-1,-1,-1,0,-1,-1,-2,0,-1,-1,-1,0,-1,-1,-3,0,-1,-1,-2,0,-1,0,-2,0,-1,-1,-1,-1,0,-1,-2,-1,-1,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-4,-1,-1,0,-2,0,-1,-1,-2,0,-1,-1,-1,-1,-1,-1,-2,-1,-1,0,-1,-1,-1,-1,-2,0,-1,0,-2,0,-1,-1,-3,-1,-1,-1,-2,0,-1,0,-2,-1,-1,0,-1,-1,0,-1,-2,-1,-1,0,-1,-1,-1,-1,-2,0,-2,0,-1,0,-1,-1,-3,-1,-1,0,-2,0,-2,0,-2,0,-2,0,-1,-1,0,-1,-3,0,-1,-1,-1,-1,-2,0,-2,0,-1,0,-1,-1,-1,-1,-3,0,-1,-1,-1,-1,-1,0,-2,0,-1,-1,-1,-1,0,-1,-2,-1,-1,0,-2,0,-1,-1,-1,-1,-1,0,-1,-1,0,-3,-5,0,-1,0,-2,0,-1,-1,-2,0,-1,0,-2,0,-1,-1,-3,0,-1,-1,-2,0,-1,0,-3,0,-1,0,-1,-1,0,-1,-3,-1,-1,0,-2,-1,-1,0,-2,-1,-1,0,-2,0,-1,-1,-3,0,-1,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,0,-1,-1,-3,-1,-1,0,-2,0,-1,-1,-2,0,-1,-1,-1,-1,-1,-1,-3,0,-2,0,-2,0,-1,0,-2,-1,-1,0,-1,0,-1,-1,-2,-1,-1,-1,-2,-1,-1,0,-2,-1,-1,0,-1,-1,-1,0,-2,-1,-1,0,-2,0,0,-1,-1,-1,-1,-1,-1,0,-1,-2,-4,-1,-1,0,-1,-1,0,-1,-3,0,-1,-1,-1,-1,-1,0,-3,0,-1,0,-1,-1,-1,-1,-2,-1,0,-1,-1,-1,0,-1,-3,-1,-1,0,-2,-1,-1,0,-2,0,-1,-1,-2,0,-1,0,-2,0,-1,-1,-1,-1,-1,-1,-2,0,-1,-1,-1,-1,-1,-1,-3,-1,-1,0,-2,0,-1,0,-2,-1,-1,0,-1,-1,-1,-1,-2,-1,-1,0,-1,-1,-1,-1,-2,0,-1,-1,-2,0,-1,-1,-2,-1,-1,0,-2,-1,0,-1,-2,0,-1,-1,-2,0,-1,-1,-2,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,0,-1,-1,0,-3]
q01 = [2592,3126,1739,2448,1279,2307,198,-698,2686,2133,-4236,-441,-5107,-2460,-1946,5363,-1721,-346,2040,1510,804,4112,-2813,2201,-2096,-2869,-1048,-1590,-3790,930,4065,2582,-4954,5607,4295,4730,349,1468,-620,-3143,-7693,-1590,-2374,-2812,1634,100,-2180,832,5208,1121,-5734,-1070,1263,-2323,3353,-1649,-153,2951,-3016,-708,6554,470,5388,-3430,2,4222,-1997,2916,-5205,-1375,-1195,-3430,2208,2658,-2913,1042,-511,-1687,-1889,-1271,257,272,6006,-970,-1249,460,6210,1866,1510,-2602,-4305,7364,-927,631,1486,1182,-822,-1637,-2964,-1087,3746,-5335,-2075,-500,-1312,5498,1622,-1273,1850,-3606,-4265,-5665,3129,2335,-6745,-2390,3819,1056,940,-235,7272,-2921,-4019,742,2127,1108,-1953,-2846,5415,2710,-4232,1805,3433,5310,-1381,-3537,-409,1290,2246,-4423,1497,1594,-5302,4148,-1898,1234,2777,1316,185,-1576,-2868,-1155,-529,2322,-1063,1324,-2777,3865,-1054,-1877,-4149,1814,-260,2201,1001,-26,5172,5494,-3665,-2718,2708,-915,4889,3767,-6516,1127,-5051,-1493,-5684,1739,-3072,-1251,-7268,-980,-1267,-700,-1135,-944,-2595,-3312,3527,-389,175,-2876,-1833,131,1104,-3808,3208,5917,-3281,2725,2241,-4335,4814,-5438,171,-5305,2309,-900,2681,1643,4286,-1577,2779,536,552,2460,2094,-3928,-647,2560,1750,2924,5071,-1902,580,-998,4189,2413,-687,3152,2544,-165,-2110,-2358,-1951,615,-5039,-3813,-253,-3975,1214,-2873,-156,728,3480,1336,-4392,-2320,4323,-2181,-6007,4176,1338,-632,3534,1808,-563,21,-1234,5654,-2371,-4747,-5340,4960,1111,-3377,-408,4947,-157,3109,-980,2928,2485,-1991,-530,223,-2018,-365,623,2883,1481,1678,-1294,668,4705,2286,3133,1034,-2738,3101,2555,-48,-78,-2483,-945,-1851,1915,2921,-3360,1241,1991,-4743,-4091,-674,1894,-3681,-1483,-1250,-5646,-1823,6131,3087,1776,236,-255,-4526,1397,-3273,-839,1865,1689,-6401,1907,-4597,24,-1035,5638,-172,-2709,1417,892,4435,261,-4565,3649,-303,-5598,4083,-2008,-2729,-2633,2558,905,2386,-46,3797,4727,4997,-3428,-3470,-366,2688,337,2782,1457,4051,-1717,-124,3747,-1599,-3608,2346,2741,-5403,2069,-975,5310,306,-110,-4388,1550,1223,-7025,-219,3010,-5322,4391,-4656,3207,2760,-3785,-3209,2622,-5566,-483,-3738,-1932,-1935,2286,-273,-3246,4760,-1125,4318,-2400,4240,-732,2209,3439,-4035,-3225,2643,-2345,-1238,-1044,-1934,-1507,3204,-3703,5111,3595,-2194,-4472,2583,-2241,2252,-1339,5636,235,-1468,-3356,-3791,180,3464,-2097,6221,-3431,2540,-2339,1430,-1890,1936,506,-5070,1611,6396,3360,-7319,2704,465,-3090,-4854,442,-7210,-3602,-3730,-1830,-656,2078,234,-1128,-3803,-3526,-2616,2824,-600,1087,-53,-1299,-2385,4513,-1467,2655,175,981,1322,443,-3727,5804,-1974,456,-3093,4361,-704,-26,5753,-334,-4833,4635,1492,2910,1686,2621,1228,2659,-7128,530,-2092,1438,-5192,3031,445,2710,-1604,3861,3399,-3067,-4693,-4929,2891,-2909,-5034,-3311,3012,-1661,-642,4253,1631,149,4353,933,2002,3046,3996,-1201,2285,428,1215,-6017,-321,-645,5127,-1537,-1744,636,784,-823,5687,72,-3131,-1640,102,-3070,3610,-34,1367,-1886,-1714,3552,5563,-1875,-1016,2233,1196,-2517,1666,5387,-2057,-3322,-6331,3876,5951,-1410,2584,5829,218,1282,-1557,-1017,1682,-3651,-4637,1353,305,445,-966,-4656,5405,-436,-5947,-957,3954,-3705,-2202,566,-1681,-2099,-1949,-964,773,-1649,-3149,-249,4427,2517,1326,-489,490,447,-431,-2177,-1379,-2433,5127,1653,-5547,556,2514,695,-3396,-1300,-2800,-1816,834,-3837,2425,1421,-3662,4466,-2668,3536,4686,997,1951,-1112,-920,-54,-5495,5459,-1029,1223,3575,-998,3169,1827,-1159,805,-2141,993,-2196,3680,804,-4399,1438,-3162,447,131,-356,377,-3978,3395,-2839,684,1691,3169,5274,-1783,-7424,-4913,3672,-2077,299,-526,2462,-691,6262,-4259,493,2083,858,-7056,2747,-1550,2027,4034,-2505,1440,4076,-2885,1846,2342,-1700,-2848,955,-2557,-2257,-391,3499,-1693,54,-3005,-1520,3324,2317,-4908,-4097,963,-2529,-135,3139,-219,3981,6415,-4592,-671,-3760,-1111,-1096,-4288,-735,2806,-3725,3961,-223,3513,-332,-2228,-1071,-79,-1077,785,2005,-2289,-4459,-3939,-148,-2447,-81,4832,-2855,453,-5009,3681,622,-4036,2793,2770,-4017,-1709,1365,-5682,2690,-733,3798,3527,-618,-354,-1942,3589,1649,-3562,3964,2342,-280,-1020,-3203,-2258,6906,3918,-1532,584,181,-3272,3609,2598,4089,2007,-4880,-3539,-190,594,-4301,397,-747,-5168,1557,2911,2451,-3272,-1533,935,2000,-413,178,3236,3389,703,3924,3943,4909,-2378,3466,-1246,-3670,-2357,-5419,-4289,3495,2833,-696,5552,4753,622,-1900,980,-4394,-2473,-62,-2899,2524,1090,2842,2672,4417,5661,-685,3712,4059,-2196,-282,-834,-4365,6042,-2921,-1528,991,2894,2759,-2917,1241,-4094,-1979,2086,-4781,1618,985,-457,-957,-815,-3096,596,-2514,-4644,-288,-2085,-1077,2122,1286,-1804,-1569,-3784,-1792,-4323,-6037,-5166,1747,-1166,-1036,2236,1659,-2161,1389,-2170,-893,-2154,1019,-1245,3519,4171,-2791,1451,3109,1637,3167,3241,-2819,-2239,4417,-1303,-1385,-102,2249,-279,-2333,2830,1069,-2801,-578,-3425,-2554,-641,-2373,1978,1894,83,2513,-844,787,-756,3107,-804,2219,3342,-419,115,-3413,3115,2616,-3447,-700,2059,-1724,3203,-436,-3301,4167,-3388,1293,104,4978,-6486,-1808,-2999,2692,-1898,798,6065,-846,-947,-3219,2135,-4129,-3816,1574,3416,-556,-373,212,1951,2606,1859,-2112,1941,-4102,1107,2659,4586,-997,-1544,1101,3509,-3011,2809,-557,3285,2401,1316,-3633,4223,799,412,-3021,-1577,-1990,2763,-3366,1028,-1295,-49,-5438,201,3828,-1091,-3481,-689,2421,-4989,613,2394,-4977,1859,199,-4449,-627,3016,3777,-1593,-2382,-3762,-4580,-2598,-4017,3303,4644,-4983,-2542,4490,2829,-1201,2676,-1580,4393,-3270,-4715,806,4907,-1169,-334,-2790,-807,3062,2899,5517,5816,-312,2733,-584,4318,-149,-3206,-1289,-2660,-2912,3442,-5160,5032,3247,-335,86,2992,1667,-152]
# fq01 = FFT(q01)
fq01 = [-15463,-358248,-5424058,12522669,-1689690,-311247,-226690,-206158,1487760,-1403795,2417110,-744782,1157024,-979493,3254741,412662,-126395,-1245778,-1763340,-1441344,-2718650,-997529,3287092,3698186,-2319623,-4220455,2449638,-3809289,-408562,-3511952,-3668460,7458296,-1139316,9354257,1874044,9707319,-476919,90701,-1562812,585706,-1941770,-1822599,-3271452,1304522,2450988,-8336036,-2942104,902198,1062910,338701,1397520,914755,-583776,232036,-1478510,-1273716,8708953,-317493,-1071924,4939502,1962423,2182811,-3762536,3347406,-2714904,13616337,333204,6491186,7082590,-4602850,14400316,-512267,7190313,2723291,4788360,671213,1697432,2263391,2621488,198937,-241673,-5731600,-1897079,12385659,262259,2993020,430442,803891,-6658609,6069498,89204,-7628382,2010029,-9169823,-4716704,3939590,-596339,2436794,2310269,52080,-4131774,-268936,95835,-118513,126889,-8092358,8807831,-3035558,4812263,5073991,863866,-1090799,38825,-1964367,637574,3198594,237135,688011,-802705,811264,3966961,993853,1593869,-4491487,1556939,-1136369,-8488161,-3210286,-2078186,3444695,-18972251,-1464757,681015,7065976,615515,-496565,8577932,809261,-385001,-2069814,970227,5468538,747744,3560831,4477657,4198788,-1501067,-9786149,1551466,161089,-722339,7635630,825749,6204654,802914,511658,-83761,-1999660,254461,42920,-133169,1311552,-1372107,-2340014,-7359553,3399329,-1607557,976997,-2063046,8348618,1946547,-1006956,1516014,-518792,-3798655,99836,-1869673,954293,-65940,3035826,-6382612,-18211192,442469,-2349689,-591031,2226,-383569,4997489,-1209082,1075706,-2033017,708589,-3176857,-11146437,957287,-2884199,358233,3489651,4735013,-179574,-1488209,1263596,-1642880,-4328355,-1299217,1185171,-4700514,-1734891,-110923,1843109,139819,-850461,3007820,-574920,438616,-6454853,-2174105,-4140050,230076,4043316,1094217,244963,2726200,3578850,496643,-74939,-4854680,-421319,728350,5387015,-949848,522832,-461393,-690426,4576105,-124755,5335740,140650,4906001,8718186,-768575,5104169,-4131729,-7233535,1263245,-6056400,-1049454,2819918,-172631,-3252733,1901982,410153,-9926771,-1818571,-1213120,1563150,-403575,-384289,155219,1742533,-2036853,14812662,907072,3160259,955355,528758,-3689906,4318862,36692,-15594343,-2735843,-683981,327636,-487041,2329170,3440489,-2164739,573066,-11239884,-376522,-15161,-8184865,-1801432,-5303674,-155669,-351761,1104818,-449807,329620,5482605,17100636,4094259,4964392,-3549971,-1911169,-1094170,1481151,-479235,6724670,2496589,270159,91086,-1001126,-4846435,-2497622,3224316,-2311034,-4412730,-454905,238472,-9731406,1292953,11668,4447344,1472415,1613017,-512407,-2032209,2547020,-2569226,-1120511,3370744,1142608,1557527,1284005,-522801,-2075649,-426945,-6565077,-1086926,6469320,828565,3557295,1229779,4445362,-927678,-750157,264923,2410560,2317600,4162020,776563,603655,7028505,316870,-2073593,-2849175,-216742,16237,-2653217,189251,2601297,2150106,-4875870,-931303,-1493892,-2653125,3013793,-4690641,1967065,5328713,-3042778,-679480,1331692,-1800075,-2139114,6491602,-3582024,554509,1179769,-25364,-1152185,-6740921,10687881,58124,-3668932,-2645734,-883452,283301,-83840,2835678,2181261,-1790885,700578,1899764,5921603,-1238069,-5524088,-585814,1514993,136743,770194,1048570,562060,-1935672,4166138,-12236429,-3041421,-16193204,-2018410,-1334761,56068,3824438,3394858,8184606,-2752410,2885128,-6916077,-2659042,-310920,-4050084,-515615,-4182671,567571,5748307,-2438508,192423,-166573,14315900,391278,3020077,-646125,1461385,-2533656,6380659,-3047364,-11859787,-700360,541293,-3860815,1062481,-191096,-3089554,1537130,-5993178,27676,1228723,-4534991,3561701,-1217243,2574374,-1026635,-7560439,3659766,19101303,453134,-1902240,-548186,4398329,-2258630,3669682,2213001,497254,-5542227,8925278,2205718,427813,-7015457,-5916355,1842550,4614826,-2047287,170148,5030530,328982,-1650745,7060985,470904,1052081,-3225282,-746496,-459041,-2069335,9575394,911960,-5422053,-1223064,4817051,-2085454,3835227,-373449,-2551370,-2024682,564534,-2059909,-8772798,5440383,7264951,-1857242,1112239,12462755,2867005,-3291956,-2576509,1041870,1071898,6004736,-2128727,-1133108,1996649,-136751,-954643,464960,-2400038,-1748141,79385,-966581,3821344,1075231,3700898,-4454600,-54703,-557851,-258461,8811839,7129115,2974598,-298171,5848885,-4000029,3204053,1252704,6354104,572012,66888,-213339,750165,-470827,154772,1999504,2373920,-1192695,-2098537,-1075472,489474,209939,743,-2056669,9864611,-24085,-27904,1537108,2951676,5494607,-1375696,5357869,4447973,-20448060,-670151,1276232,1449652,1424051,2368906,-1069113,-3752543,999050,-2290660,422494,10632128,768944,-5829052,181752,-1059581,5476685,5091413,-584051,104510,117227,5042678,1929901,1535742,3116983,71914,786873,2788695,-18302587,3853515,-17761636,990240,415972,-3083545,1242649,-10316057,-1673520,18607635,-2050851,394795,5240487,4773929,-3694780,272386,849566,2319134,937865,-431659,-3064812,4137079,-1354228,-2543920,-890785,-12036516,12148209,268140,1444616,132205,-3325017,1558322,6185540,1177078,-4438740,-431542,210898,-4356967,84462,553357,-726646,-1139679,-4687879,9739688,-884106,1113641,6547643,4316516,361029,89335,563434,-1147254,6305447,-226723,3557750,832188,-4774476,3768261,2332189,4615820,-4464930,1476360,-354523,3092108,8584812,4663409,3344272,-6451910,2785532,-872620,3879572,-970349,5667286,15915207,1346737,1022911,1901326,-2670470,3731469,-1644962,-1897908,-1231160,-7217569,754659,5517360,-1932118,-3482649,-347404,6697216,2317853,-2267628,-1360977,-11182544,-1983631,-247792,179095,5716088,4089135,-1572554,-4509322,1944649,528215,-14115760,1263810,1254121,4855384,2636269,-3635121,1203649,101761,-38994,382334,-247765,712136,1036241,109872,-2612951,4626301,6147792,-1693293,-3897778,-1990071,133008,-10936,-1755889,-2787391,973696,-5192598,154917,-2110267,-17082814,-1834078,-1492916,-5138905,-2268973,-1142428,-2108337,-213225,1305457,2990760,2240195,4155757,-388834,-8293174,6306856,-178874,6271970,2461467,-382754,3703292,192230,-1575789,3990983,1097445,-3962856,-3257402,-798840,-793843,-1026389,-2249129,-2540837,547855,-134949,8988626,885758,2232435,7060632,-71726,581237,417937,-2822215,-2099161,5452524,4023353,510233,-3397156,6159114,-447541,34681,-608090,4536593,930769,124203,679070,-2872932,-968,-3002469,-972939,678638,-5911026,-2569208,367056,1995258,-270338,51151,-3012937,-421041,-344379,-10902777,1094593,-6079802,4766846,-4593994,-3398534,854271,-189206,6215952,-2686891,183517,-828476,-4849035,192179,-424449,354585,1209817,7701685,176476,4053615,684083,799786,-22666056,1701808,16485,3337543,3243671,-76210,-8582718,8741722,-3357207,-1438835,3551504,-641095,2642967,-10413772,2608991,1570041,258629,-802651,-41757,1654893,2180173,4786653,2722813,-992358,-3075265,863701,-105634,1629640,-1090270,-67880,2326423,-3586605,614105,620219,7767889,-1074848,1254874,2648451,-1562881,-195734,171080,3075683,-330232,209673,741005,-5962274,-2365001,-9759049,659052,-874935,-584365,1463934,3324106,5253631,162999,-6156216,610862,-1501654,-5742478,-2960354,3601692,-410868,1177518,-336355,586896,-251891,1551091,432486,3339015,11713559,3192570,845165,-3220104,5131552,5637808,-912477,-886685,-496035,1873167,1141868,-1293198,100039,-3111033,1849748,-1373922,1436162,1010997,-1802878,3061858,-3909579,-2419220,218944,-715414,-3559789,7122998,2029469,845069,-626754,3829432,-500416,115188,-1126728,-633216,-508976,3471993,1168765,-5385616,-3220614,-560451,8002223,863403,2977898,870116,-307702,271862,6037689,-1083808,9981659,1937565,-2390971,-11536282,1066957,-1003337,-6215185,-16499619,-3970617,-1535568,1443660,2987590,-5727648,2174988,-3268682,-1202651,-2681807,440177,-5129244,5970092,681311,-945741,-1715764,-57178,-6251645,559455,-2442818,894854,-474092,6114686,592031,2491291,4120283,6641319,-60328,-2351279,-477043,-3537799,1246030,663263,4475062,207834,2041110,388652,-7907940,-3388241,5103062,-3569393,2028203,-3798502,1077255,-10788444,3251357,-7337749,2497140,2005448,-1037724,2142692,-18722809,1785679,1278833,-2048431,-129191,-2051209,855368,-1841871,8677306,-2948770,1145435,-389174,1539575,-87203,283360,-11146505,3489654,-512580,-3092542,-1492645,-799750,2402602,-6351457,-229809,6582297,-849181,-871891,-1014240,-5746790,314586,-4069619,882265,3378856,-6540519,-2184475,4596884,-424646,-4428071,13462187,1051251,-2552845,1023011,1321396,-601504,-557238,-4597768,-6462279,46549,-890923,4627994,-25424,2790034,1381092,-155523]
# fz = (q01*t1)/q00
fz = [-5538,54013,-62883,127326,-65668,36254,19965,-22723,100383,126846,143486,-48577,-1282,80127,100414,97280,-94113,13791,95263,-46336,129183,139041,-81284,2336,-35682,71390,9983,-66944,62240,-75362,10559,42910,-75074,-2369,-103713,-111808,-64832,-7775,-42239,-7234,33984,34270,-55586,-106242,32447,-4609,13215,-27937,11805,-21411,69024,-103328,25758,11648,-37056,152606,15904,17182,36321,-174592,-47297,-78847,42303,-119265,-19298,-32579,-68994,-47074,68032,-78145,65022,18431,87966,-14817,-16256,-33603,75101,-21598,-31265,-129089,32289,58945,-1857,18559,37662,40318,-73473,12864,134272,118942,-55328,-36448,-56642,86431,-144577,-61282,41632,1631,15808,41791,-60641,72959,-61475,-4450,10015,-20547,-83040,82496,12959,13150,-103361,-62944,-23393,-20548,-25887,9887,-152735,-6241,-108963,-96706,-27681,42208,60543,36384,-69440,19102,67935,-30785,77248,87329,27168,79135,13600,72065,-44064,27328,19454,53534,79487,15072,50143,135616,-52674,95326,-107328,119552,-17950,-7075,-34978,7743,-57024,98433,53118,-9474,18880,53952,24961,-4544,27708,36351,-167008,-36416,-99871,23677,39456,-118530,138078,42399,-120831,181150,46849,-119073,23934,17920,-32098,18656,-35392,-33667,82337,19520,-61665,-97793,24735,26688,-29760,-94112,-4098,131296,72735,-204670,121279,17407,34849,-207552,-44417,-62945,-23842,2560,41694,-15390,-85409,-103778,-65310,65661,35038,-18402,95232,-31520,-64096,17344,801,9023,22432,40094,23454,-75777,65409,11167,-24482,15679,19998,52543,98174,-60161,50269,36189,19199,-101219,71167,-70111,-18723,-19361,-81122,-20161,93151,19679,-40033,78016,-125121,29246,37469,-40355,-866,-49122,-13024,34849,35999,37663,42239,-33312,110368,-85890,-128288,124990,-58913,-21504,-20769,-16928,48158,38656,-107935,29889,156765,-22656,-45508,140766,-7232,-3204,-48993,45599,-36322,84289,78496,132833,134173,-52866,55746,21021,-78689,-16894,-11201,98817,-40446,18656,-19808,29856,2912,29886,-44609,90272,-75361,-45505,141215,-218657,128894,-60224,-65953,-30144,-45121,-50400,-65056,-60482,11871,-95776,5148,48736,-18080,-16897,-59552,-25026,-13727,-146750,-21954,-91616,-9921,20991,73185,-8387,-3393,-92448,-40929,50077,-39840,-22242,61920,-64513,-89569,45792,122590,-70945,-47681,27905,54080,-64512,80928,-54751,-10883,44287,-50754,170306,21503,79006,-65087,10785,-81954,30912,-37761,-32353,-51233,65632,56544,-7680,-38207,31232,-1601,110911,-43775,110753,-50209,-37184,16543,77795,-12287,20098,3361,94048,-4991,-13471,12478,24130,58655,43582,44991,11936,60704,85119,-101184,-141344,-87649,-21247,-25248,-73537,105054,30560,34656,-116447,68992,-14304,20736,-33439,-130112,-16001,85439,-60416,83454,114945,50367,64032,139454,187231,19070,-6497,71585,-101918,-10561,-171328,73568,-28992,-120289,-11070,78528,30624,39392,-116129,66368,-94016,-148928,-62623,-52481,5247,-29537,21887,150975,-3171,-15682,-928,-105985,38306,-72351,-36193,149663,-42944,24159,-31998,-63106,-38049,-81762,32703,70719,94142,-29728,-95201,55259,67136,62527,-42784,33663,-77534,-80129,76642,-96704,-19361,-43295,-9636,59552,-12577,-61825,12512,-102944,-85410,-67361,11327,-25568,52512,-47329,-161217,102303,-18112,-5951,52989,94561,-24065,-21600,-14303,66048,-6719,19742,58143,15872,79425,13823,215871,102303,199681,-108704,89727,9920,20446,29984,-13568,126943,-135840,-58400,-55327,-56993,-37249,29760,72384,7967,-14815,72479,-103838,-15166,21086,-112575,63743,23454,6913,68257,8638,-121951,14176,-11202,-49602,-36133,-54466,-42145,17918,-61282,21344,-42818,45375,-18017,26494,128,-91842,7456,-49891,36479,17949,41022,72608,133696,8383,112063,26431,16159,33567,-27554,-172738,40544,-25026,-48448,-78149,-25056,54719,5727,-25153,168990,-36256,31486,-92418,-45537,-20962,-99011,-12288,113537,-119425,84705,15199,-128481,-49346,-56832,28894,223072,38207,35456,65405,29216,-66112,735,-37442,-81025,-67139,-67777,-140673,51328,26558,15486,39199,45566,-21248,3071,-38817,-151328,-87041,1600,11840,37533,154880,-58241,64861,-17568,10845,-139522,94719,-90914,37952,15615,13662,110497,76190,17888,32,-119266,41694,-51330,148477,23424,-16834,-24674,104128,-82019,144764,-30718,38525,-47457,-121601,55329,87742,-20227,127422,-62592,175326,-7777,-34496,66559,140642,-17792,-68708,5567,39708,-24000,-32928,141088,-25186,-38914,-169088,56190,39392,-44354,-214626,-80257,-134240,-38945,-28930,41887,53149,66211,-14818,-98593,56767,38656,-152289,173473,-101889,-107553,16863,44000,-18145,61408,-40224,-47169,101916,-36097,-15937,93117,1951,-14276,12704,38271,-50336,131072,-40355,23713,20800,-86624,-77537,26209,12415,-96063,33948,-94271,112545,114686,31,31455,-81121,46879,-24129,-20993,76542,-37537,-8385,46752,65728,55295,-80768,-29535,-17121,-42146,46207,-123171,23424,-30560,72511,54175,-25248,-17123,3488,66942,-8194,23168,36641,-93538,56127,-159007,144191,-35521,-13793,-28354,-71681,26719,-18783,-11359,55777,-41473,-992,4605,-14370,3616,53854,-451,80991,-35424,-51135,-79875,-8482,-22687,3519,9312,82275,45536,42434,-34655,-16481,80831,21405,6849,-49279,-8993,1824,88543,-71232,116769,65120,27071,-11040,-60161,37665,-6113,-17601,-42912,-10755,-1571,-18846,65919,12478,-38338,-23745,-80545,14304,-27716,-85984,51935,-52578,-46846,-51935,-82049,84928,19103,-20127,21664,-33344,-9856,35519,-112576,-43389,-39362,-152033,118972,120353,149759,42877,28543,14016,11358,-34208,74878,66527,95935,-131458,49184,132289,-14143,-108513,68447,-9760,-13023,18719,-107265,-80065,73214,-178144,118591,-69088,-4257,-30433,12128,44766,-98655,96896,-30754,45184,247166,1856,23934,154816,-70593,-16704,51423,28319,-34370,-32386,-180511,89343,-79041,5951,-75490,80704,20319,-45825,-58529,72126,-6818,12161,-116417,56002,-21919,80958,-28190,45184,-20801,34111,25632,137441,-181598,49663,14209,4769,18015,121506,41886,16512,-35330,64285,-31423,79681,-145120,-7330,-42272,45727,-114432,49217,48385,7329,-106497,100799,59584,139550,23678,-50690,135873,-97633,-768,-110849,40671,-50177,-32705,123455,-11649,-62336,152000,-141120,-12929,28705,-121312,-43040,-10783,-42530,-111966,51551,46782,-96639,-22112,-140194,134048,-36098,-15040,-116448,125343,37664,7327,19872,-46752,-112513,-69632,-127518,105375,-84480,111519,-28800,133409,51267,-4674,5311,33855,-24097,-41694,-91681,-30433,70398,76256,31197,43040,25663,33790,15327,-3360,-60929,-96607,-121312,9409,-33536,41695,-27490,-39394,99903,-10815,45503,-41664,-2718,35425,-148130,13919,-77985,-42559,173215,33246,60385,48927,-51712,-40416,157342,11391,19552,-63169,55646,-23680,148735,-55809,-28897,14944,-73890,-126079,12799,-55839,68865,24671,100445,-127745,36319,32385,-192,-24161,53312,-121857,-113186,10718,47262,18560,177183,80991,38371,-18432,27454,95552,-38916,-109058,-16255,49793,-14495,14306,-20257,73121,-27649,736,53471,95389,30719,24383,-111361,24224,-37058,10430,135104,59839,-87106,-22849,77054,-32,-44832,-9601,-97759]
# t0 = h0 - 2*s0
t0 = [173,-1688,1965,-3979,2052,-1133,-624,710,-3137,-3964,-4484,1518,40,-2504,-3138,-3040,2941,-431,-2977,1448,-4037,-4345,2540,-73,1115,-2231,-312,2092,-1945,2355,-330,-1341,2346,74,3241,3494,2026,243,1320,226,-1062,-1071,1737,3320,-1014,144,-413,873,-369,669,-2157,3229,-805,-364,1158,-4769,-497,-537,-1135,5456,1478,2464,-1322,3727,603,1018,2156,1471,-2126,2442,-2032,-576,-2749,463,508,1050,-2347,675,977,4034,-1009,-1842,58,-580,-1177,-1260,2296,-402,-4196,-3717,1729,1139,1770,-2701,4518,1915,-1301,-51,-494,-1306,1895,-2280,1921,139,-313,642,2595,-2578,-405,-411,3230,1967,731,642,809,-309,4773,195,3405,3022,865,-1319,-1892,-1137,2170,-597,-2123,962,-2414,-2729,-849,-2473,-425,-2252,1377,-854,-608,-1673,-2484,-471,-1567,-4238,1646,-2979,3354,-3736,561,221,1093,-242,1782,-3076,-1660,296,-590,-1686,-780,142,-866,-1136,5219,1138,3121,-740,-1233,3704,-4315,-1325,3776,-5661,-1464,3721,-748,-560,1003,-583,1106,1052,-2573,-610,1927,3056,-773,-834,930,2941,128,-4103,-2273,6396,-3790,-544,-1089,6486,1388,1967,745,-80,-1303,481,2669,3243,2041,-2052,-1095,575,-2976,985,2003,-542,-25,-282,-701,-1253,-733,2368,-2044,-349,765,-490,-625,-1642,-3068,1880,-1571,-1131,-600,3163,-2224,2191,585,605,2535,630,-2911,-615,1251,-2438,3910,-914,-1171,1261,27,1535,407,-1089,-1125,-1177,-1320,1041,-3449,2684,4009,-3906,1841,672,649,529,-1505,-1208,3373,-934,-4899,708,1422,-4399,226,100,1531,-1425,1135,-2634,-2453,-4151,-4193,1652,-1742,-657,2459,528,350,-3088,1264,-583,619,-933,-91,-934,1394,-2821,2355,1422,-4413,6833,-4028,1882,2061,942,1410,1575,2033,1890,-371,2993,-161,-1523,565,528,1861,782,429,4586,686,2863,310,-656,-2287,262,106,2889,1279,-1565,1245,695,-1935,2016,2799,-1431,-3831,2217,1490,-872,-1690,2016,-2529,1711,340,-1384,1586,-5322,-672,-2469,2034,-337,2561,-966,1180,1011,1601,-2051,-1767,240,1194,-976,50,-3466,1368,-3461,1569,1162,-517,-2431,384,-628,-105,-2939,156,421,-390,-754,-1833,-1362,-1406,-373,-1897,-2660,3162,4417,2739,664,789,2298,-3283,-955,-1083,3639,-2156,447,-648,1045,4066,500,-2670,1888,-2608,-3592,-1574,-2001,-4358,-5851,-596,203,-2237,3185,330,5354,-2299,906,3759,346,-2454,-957,-1231,3629,-2074,2938,4654,1957,1640,-164,923,-684,-4718,99,490,29,3312,-1197,2261,1131,-4677,1342,-755,1000,1972,1189,2555,-1022,-2210,-2942,929,2975,-1727,-2098,-1954,1337,-1052,2423,2504,-2395,3022,605,1353,301,-1861,393,1932,-391,3217,2669,2105,-354,799,-1641,1479,5038,-3197,566,186,-1656,-2955,752,675,447,-2064,210,-617,-1817,-496,-2482,-432,-6746,-3197,-6240,3397,-2804,-310,-639,-937,424,-3967,4245,1825,1729,1781,1164,-930,-2262,-249,463,-2265,3245,474,-659,3518,-1992,-733,-216,-2133,-270,3811,-443,350,1550,1129,1702,1317,-560,1915,-667,1338,-1418,563,-828,-4,2870,-233,1559,-1140,-561,-1282,-2269,-4178,-262,-3502,-826,-505,-1049,861,5398,-1267,782,1514,2442,783,-1710,-179,786,-5281,1133,-984,2888,1423,655,3094,384,-3548,3732,-2647,-475,4015,1542,1776,-903,-6971,-1194,-1108,-2044,-913,2066,-23,1170,2532,2098,2118,4396,-1604,-830,-484,-1225,-1424,664,-96,1213,4729,2720,-50,-370,-1173,-4840,1820,-2027,549,-339,4360,-2960,2841,-1186,-488,-427,-3453,-2381,-559,-1,3727,-1303,1604,-4640,-732,526,771,-3254,2563,-4524,960,-1204,1483,3800,-1729,-2742,632,-3982,1956,-5479,243,1078,-2080,-4395,556,2147,-174,-1241,750,1029,-4409,787,1216,5284,-1756,-1231,1386,6707,2508,4195,1217,904,-1309,-1661,-2069,463,3081,-1774,-1208,4759,-5421,3184,3361,-527,-1375,567,-1919,1257,1474,-3185,1128,498,-2910,-61,446,-397,-1196,1573,-4096,1261,-741,-650,2707,2423,-819,-388,3002,-1061,2946,-3517,-3584,-1,-983,2535,-1465,754,656,-2392,1173,262,-1461,-2054,-1728,2524,923,535,1317,-1444,3849,-732,955,-2266,-1693,789,535,-109,-2092,256,-724,-1145,2923,-1754,4969,-4506,1110,431,886,2240,-835,587,355,-1743,1296,31,-144,449,-113,-1683,14,-2531,1107,1598,2496,265,709,-110,-291,-2571,-1423,-1326,1083,515,-2526,-669,-214,1540,281,-57,-2767,2226,-3649,-2035,-846,345,1880,-1177,191,550,1341,336,49,589,-2060,-390,1198,742,2517,-447,866,2687,-1623,1643,1464,1623,2564,-2654,-597,629,-677,1042,308,-1110,3518,1356,1230,4751,-3718,-3761,-4680,-1340,-892,-438,-355,1069,-2340,-2079,-2998,4108,-1537,-4134,442,3391,-2139,305,407,-585,3352,2502,-2288,5567,-3706,2159,133,951,-379,-1399,3083,-3028,961,-1412,-7724,-58,-748,-4838,2206,522,-1607,-885,1074,1012,5641,-2792,2470,-186,2359,-2522,-635,1432,1829,-2254,213,-380,3638,-1750,685,-2530,881,-1412,650,-1066,-801,-4295,5675,-1552,-444,-149,-563,-3797,-1309,-516,1104,-2009,982,-2490,4535,229,1321,-1429,3576,-1538,-1512,-229,3328,-3150,-1862,-4361,-740,1584,-4246,3051,24,3464,-1271,1568,1022,-3858,364,1948,-4750,4410,404,-897,3791,1345,337,1329,3499,-1611,-1462,3020,691,4381,-4189,1128,470,3639,-3917,-1177,-229,-621,1461,3516,2176,3985,-3293,2640,-3485,900,-4169,-1602,146,-166,-1058,753,1303,2865,951,-2200,-2383,-975,-1345,-802,-1056,-479,105,1904,3019,3791,-294,1048,-1303,859,1231,-3122,338,-1422,1302,85,-1107,4629,-435,2437,1330,-5413,-1039,-1887,-1529,1616,1263,-4917,-356,-611,1974,-1739,740,-4648,1744,903,-467,2309,3940,-400,1745,-2152,-771,-3139,3992,-1135,-1012,6,755,-1666,3808,3537,-335,-1477,-580,-5537,-2531,-1199,576,-858,-2986,1216,3408,508,-1556,453,-447,633,-2285,864,-23,-1671,-2981,-960,-762,3480,-757,1158,-326,-4222,-1870,2722,714,-2408,1,1401,300,3055]
# Qnorm(t)^2 mod 2147473409
qnt = 6799360
# Qnorm(t)^2 mod 2147389441
qnt = 6799360
