B := Matrix(399, 399, {(65, 226) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (102,
159) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (176, 121) = 1024*as^5, (198, 259)
= 512*as^5*cs^2+512*as^5*ks^2-512*as^5*ms^2, (288, 60) = -1024*as^5, (328, 159)
= -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (366, 366) = 1024*as^5, (15, 242) = 
512*as^5*cs^2+512*as^5*ks^2-512*as^5*ms^2, (87, 39) = -512*as^5*fs^2-512*as^5*
gs^2+512*as^5*js^2, (204, 371) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (281, 
314) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (282, 201) = 512*as^6+512*as
^4*gs^2-512*as^4*hs^2, (371, 204) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (234
, 316) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (272, 272) = -1024*as^5, (23, 
332) = 512*as^6+512*as^4*ks^2-512*as^4*ls^2, (29, 29) = -512*as^6-512*as^4*gs^2
+512*as^4*hs^2, (113, 318) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (28, 299) =
-512*as^6+512*as^4*bs^2-512*as^4*cs^2, (85, 276) = 512*as^5*cs^2+512*as^5*gs^2-\
512*as^5*is^2, (177, 292) = -1024*as^5, (198, 172) = 512*as^6+512*as^4*ks^2-512
*as^4*ls^2, (347, 184) = -1024*as^5, (44, 192) = 512*as^6+512*as^4*gs^2-512*as^
4*hs^2, (139, 318) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (163, 285) = 1024*
as^5, (200, 317) = -1024*as^5, (260, 260) = 512*as^6-512*as^4*bs^2+512*as^4*cs^
2, (318, 139) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (359, 16) = 1024*as^5, (
383, 64) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (386, 370) = -1024*as^5, (396,
151) = 512*as^5*fs^2+512*as^5*ks^2-512*as^5*ns^2, (43, 43) = -1024*as^5, (43, 
391) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (93, 258) = -512*as^6+512*as^4*bs
^2-512*as^4*cs^2, (106, 331) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (327, 327
) = 1024*as^5*cs^2, (92, 312) = 1024*as^5*cs^2, (95, 95) = 1024*as^5, (158, 211
) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (216, 216) = 512*as^6-512*as^4*bs^2+
512*as^4*cs^2, (253, 253) = 1024*as^5*cs^2, (306, 306) = 512*as^5*cs^2-512*as^5
*es^2+512*as^5*fs^2, (382, 299) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (24, 
251) = 512*as^5*cs^2+512*as^5*ks^2-512*as^5*ms^2, (181, 143) = 1024*as^5, (283,
66) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (383, 333) = 512*as^6-512*as^4*bs^
2+512*as^4*cs^2, (13, 351) = 1024*as^5*cs^2, (76, 135) = 512*as^6-512*as^4*bs^2
+512*as^4*cs^2, (78, 78) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (305, 96) = 
512*as^6+512*as^4*gs^2-512*as^4*hs^2, (21, 69) = -512*as^5*fs^2-512*as^5*gs^2+
512*as^5*js^2, (29, 72) = -512*as^5*fs^2-512*as^5*gs^2+512*as^5*js^2, (37, 362)
= -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (81, 353) = 512*as^5*cs^2+512*as^5*gs^
2-512*as^5*is^2, (157, 238) = 1024*as^5*cs^2, (281, 49) = -512*as^5*fs^2-512*as
^5*ks^2+512*as^5*ns^2, (316, 164) = 1024*as^5, (237, 376) = -512*as^6+512*as^4*
bs^2-512*as^4*cs^2, (255, 230) = 1024*as^5*cs^2, (308, 287) = -1024*as^5*cs^2,
(82, 291) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (85, 71) = -512*as^5*fs^2-\
512*as^5*gs^2+512*as^5*js^2, (124, 178) = 1024*as^5*cs^2, (196, 109) = -512*as^
6-512*as^4*ks^2+512*as^4*ls^2, (10, 184) = -122880*as^4*vo, (19, 49) = 1024*as^
5*ks^2, (20, 33) = 1024*as^5*ks^2, (44, 321) = -512*as^6+512*as^4*ds^2-512*as^4
*fs^2, (78, 355) = 512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (135, 135) = -512
*as^6+512*as^4*ds^2-512*as^4*fs^2, (160, 160) = -512*as^6+512*as^4*ds^2-512*as^
4*fs^2, (228, 228) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (324, 86) = 512*as^
6+512*as^4*gs^2-512*as^4*hs^2, (389, 19) = 1024*as^5, (15, 105) = 512*as^6+512*
as^4*ks^2-512*as^4*ls^2, (23, 249) = 512*as^5*cs^2+512*as^5*ks^2-512*as^5*ms^2,
(38, 391) = -1024*as^5*cs^2, (67, 190) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2,
(141, 141) = 1024*as^5, (210, 246) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (328
, 285) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (328, 383) = -512*as^5*fs^2-512
*as^5*ks^2+512*as^5*ns^2, (37, 203) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (
41, 245) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (208, 365) = -512*as^6+512*as
^4*ds^2-512*as^4*fs^2, (211, 211) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (251
, 283) = -1024*as^5, (261, 261) = 1024*as^5, (272, 198) = 512*as^6-512*as^4*ds^
2+512*as^4*fs^2, (301, 169) = 1024*as^5, (339, 339) = 512*as^6-512*as^4*bs^2+
512*as^4*cs^2, (366, 391) = 512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (384, 
174) = -1024*as^5, (89, 157) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (246, 396
) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (271, 280) = 512*as^6-512*as^4*
bs^2+512*as^4*cs^2, (294, 257) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (
318, 175) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (322, 331) = -1024*as^5, (
399, 255) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (190, 398) = 512*as^5*fs^2+
512*as^5*gs^2-512*as^5*js^2, (243, 325) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2,
(280, 201) = 512*as^5*fs^2+512*as^5*gs^2-512*as^5*js^2, (324, 149) = -1024*as^5
, (358, 252) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (24, 250) = -512*as^5*cs^2
-512*as^5*ks^2+512*as^5*ms^2, (31, 31) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2,
(69, 21) = -1024*as^5, (115, 41) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (267,
379) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (291, 291) = -1024*as^5, (305, 183
) = -512*as^5*fs^2-512*as^5*gs^2+512*as^5*js^2, (330, 214) = -512*as^5*cs^2-512
*as^5*gs^2+512*as^5*is^2, (331, 220) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs
^2, (23, 248) = -512*as^5*cs^2-512*as^5*ks^2+512*as^5*ms^2, (86, 86) = -512*as^
6-512*as^4*gs^2+512*as^4*hs^2, (112, 41) = 512*as^5*fs^2+512*as^5*gs^2-512*as^5
*js^2, (195, 195) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (230, 342) = 1024*as
^5, (286, 384) = -512*as^6-512*as^4*ks^2+512*as^4*ls^2, (358, 41) = -512*as^6-\
512*as^4*ks^2+512*as^4*ls^2, (363, 373) = 1024*as^5, (390, 367) = 512*as^5*cs^2
-512*as^5*es^2+512*as^5*fs^2, (241, 274) = 1024*as^5, (339, 260) = -1024*as^5*
cs^2, (60, 334) = 1024*as^5*cs^2, (106, 39) = -512*as^6-512*as^4*gs^2+512*as^4*
hs^2, (344, 327) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (392, 25) = 512*
as^6-512*as^4*ds^2+512*as^4*fs^2, (8, 247) = 1024*as^5*cs^2, (18, 198) = -512*
as^5*fs^2-512*as^5*ks^2+512*as^5*ns^2, (125, 125) = -512*as^6+512*as^4*bs^2-512
*as^4*cs^2, (146, 322) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (153, 153) = -\
1024*as^5, (316, 372) = 512*as^5*cs^2+512*as^5*ks^2-512*as^5*ms^2, (381, 329) =
512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (396, 108) = 512*as^6+512*as^4*gs^2-\
512*as^4*hs^2, (23, 333) = -512*as^6-512*as^4*ks^2+512*as^4*ls^2, (58, 21) = -\
512*as^6-512*as^4*gs^2+512*as^4*hs^2, (66, 66) = 1024*as^5, (122, 123) = 512*as
^6-512*as^4*ds^2+512*as^4*fs^2, (200, 200) = 512*as^6-512*as^4*bs^2+512*as^4*cs
^2, (325, 187) = 1024*as^5, (348, 253) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2,
(372, 202) = -1024*as^5, (375, 51) = -512*as^5*fs^2-512*as^5*gs^2+512*as^5*js^2
, (376, 376) = 1024*as^5*cs^2, (393, 272) = -512*as^6+512*as^4*bs^2-512*as^4*cs
^2, (15, 157) = -1024*as^5, (68, 186) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*
fs^2, (84, 275) = 512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (112, 112) = 512*
as^6+512*as^4*gs^2-512*as^4*hs^2, (145, 231) = 1024*as^5*fs^2, (166, 369) = 512
*as^6-512*as^4*ds^2+512*as^4*fs^2, (168, 168) = -1024*as^5, (179, 179) = -512*
as^6+512*as^4*ds^2-512*as^4*fs^2, (33, 5) = -512*as^6+512*as^4*ds^2-512*as^4*fs
^2, (300, 160) = -1024*as^5, (337, 336) = 1024*as^5, (369, 34) = -512*as^6-512*
as^4*gs^2+512*as^4*hs^2, (392, 321) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (
112, 150) = -1024*as^5*fs^2, (135, 281) = -1024*as^5, (318, 189) = -1024*as^5*
fs^2, (374, 394) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (5, 119) = 512*
as^6-512*as^4*bs^2+512*as^4*cs^2, (7, 256) = 1024*as^5*cs^2, (16, 16) = -512*as
^6-512*as^4*ks^2+512*as^4*ls^2, (21, 21) = 1024*as^5*gs^2, (44, 173) = 512*as^6
-512*as^4*ds^2+512*as^4*fs^2, (81, 257) = -512*as^5*fs^2-512*as^5*gs^2+512*as^5
*js^2, (106, 106) = -1024*as^5, (139, 139) = 1024*as^5, (208, 192) = -1024*as^5
, (231, 4) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (266, 151) = -1024*as^5, (
276, 276) = 1024*as^5, (332, 224) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (80,
295) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (83, 183) = 1024*as^5*gs^2, (91, 
201) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (104, 283) = 1024*as^5, (140, 140
) = 1024*as^5, (312, 208) = -512*as^5*cs^2-512*as^5*ks^2+512*as^5*ms^2, (329, 
329) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (355, 286) = 512*as^6-512*as^4*bs
^2+512*as^4*cs^2, (369, 365) = 1024*as^5*gs^2, (381, 285) = -512*as^6-512*as^4*
gs^2+512*as^4*hs^2, (23, 223) = -512*as^5*fs^2-512*as^5*ks^2+512*as^5*ns^2, (
208, 395) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (235, 196) = 512*as^5*cs^2-\
512*as^5*es^2+512*as^5*fs^2, (243, 222) = -512*as^5*cs^2+512*as^5*es^2-512*as^5
*fs^2, (265, 265) = -1024*as^5, (286, 286) = 1024*as^5, (305, 287) = -512*as^5*
cs^2+512*as^5*es^2-512*as^5*fs^2, (307, 310) = 512*as^6-512*as^4*ds^2+512*as^4*
fs^2, (328, 101) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (365, 395) = 512*as^6
-512*as^4*bs^2+512*as^4*cs^2, (371, 321) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2
, (391, 368) = -512*as^5*fs^2-512*as^5*gs^2+512*as^5*js^2, (78, 294) = -1024*as
^5*cs^2, (87, 331) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (284, 284) = 
1024*as^5, (383, 329) = 1024*as^5*cs^2, (12, 42) = -122880*as^4*vo, (240, 343)
= 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (256, 109) = 512*as^6-512*as^4*ds^2+512
*as^4*fs^2, (332, 332) = -1024*as^5, (347, 304) = -512*as^5*cs^2+512*as^5*es^2-\
512*as^5*fs^2, (354, 291) = 1024*as^5, (371, 365) = -512*as^5*cs^2-512*as^5*gs^
2+512*as^5*is^2, (395, 167) = 512*as^6+512*as^4*ks^2-512*as^4*ls^2, (15, 106) =
-512*as^6-512*as^4*ks^2+512*as^4*ls^2, (55, 297) = 512*as^6+512*as^4*gs^2-512*
as^4*hs^2, (91, 312) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (133, 133) = 1024*
as^5, (162, 126) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (222, 222) = -512*as^
6+512*as^4*bs^2-512*as^4*cs^2, (328, 284) = 512*as^6-512*as^4*ds^2+512*as^4*fs^
2, (106, 107) = -1024*as^5, (160, 381) = 512*as^5*cs^2-512*as^5*es^2+512*as^5*
fs^2, (251, 251) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (333, 333) = -512*as^
6+512*as^4*bs^2-512*as^4*cs^2, (362, 362) = -1024*as^5, (394, 183) = -512*as^6-\
512*as^4*gs^2+512*as^4*hs^2, (19, 179) = -1024*as^5, (277, 155) = -1024*as^5, (
306, 275) = -1024*as^5*cs^2, (346, 289) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2,
(387, 48) = 1024*as^5, (389, 234) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (44,
392) = -1024*as^5*fs^2, (55, 133) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (141,
302) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (172, 259) = -512*as^6+512*as^4*
bs^2-512*as^4*cs^2, (337, 337) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (24, 241
) = -1024*as^5, (31, 344) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (145, 
125) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (185, 126) = -1024*as^5, (
191, 391) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (196, 261) = 512*as^5*cs^2+
512*as^5*ks^2-512*as^5*ms^2, (280, 260) = 512*as^5*cs^2+512*as^5*ks^2-512*as^5*
ms^2, (296, 156) = 1024*as^5, (330, 105) = -512*as^6+512*as^4*ds^2-512*as^4*fs^
2, (377, 150) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (396, 266) = 512*as^5*cs^
2+512*as^5*ks^2-512*as^5*ms^2, (57, 295) = -512*as^5*cs^2+512*as^5*es^2-512*as^
5*fs^2, (274, 355) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (31, 295) = 512*as^
5*cs^2+512*as^5*gs^2-512*as^5*is^2, (65, 65) = 1024*as^5, (77, 343) = 1024*as^5
*cs^2, (89, 295) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (115, 319) = 512*as^6
-512*as^4*bs^2+512*as^4*cs^2, (146, 323) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2
, (190, 174) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (226, 158) = 512*as^6+512
*as^4*gs^2-512*as^4*hs^2, (324, 210) = 512*as^5*cs^2+512*as^5*ks^2-512*as^5*ms^
2, (16, 40) = -512*as^5*gs^2-512*as^5*ks^2+512*as^5*os^2, (17, 247) = -1024*as^
5, (20, 235) = -512*as^5*cs^2-512*as^5*ks^2+512*as^5*ms^2, (34, 173) = -1024*as
^5, (232, 282) = -1024*as^5, (234, 234) = 1024*as^5, (243, 221) = 512*as^5*cs^2
-512*as^5*es^2+512*as^5*fs^2, (265, 319) = 1024*as^5, (310, 307) = 512*as^5*cs^
2+512*as^5*gs^2-512*as^5*is^2, (341, 293) = 1024*as^5*cs^2, (144, 183) = -512*
as^6+512*as^4*bs^2-512*as^4*cs^2, (171, 383) = 512*as^6+512*as^4*gs^2-512*as^4*
hs^2, (215, 326) = 1024*as^5, (71, 71) = -1024*as^5, (87, 87) = -512*as^6-512*
as^4*gs^2+512*as^4*hs^2, (282, 369) = -512*as^6-512*as^4*ks^2+512*as^4*ls^2, (
303, 338) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (308, 183) = -512*as^5*cs^2-\
512*as^5*gs^2+512*as^5*is^2, (328, 329) = 512*as^5*cs^2-512*as^5*es^2+512*as^5*
fs^2, (350, 254) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (398, 114) = -512*as^
6-512*as^4*ks^2+512*as^4*ls^2, (1, 2) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2,
(11, 347) = 1024*as^5*cs^2, (36, 51) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (
73, 280) = -1024*as^5*cs^2, (154, 337) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2,
(308, 97) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (335, 165) = 512*as^6+512*as^
4*gs^2-512*as^4*hs^2, (2, 2) = 1024*as^5, (65, 225) = -512*as^6+512*as^4*bs^2-\
512*as^4*cs^2, (114, 207) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (120, 256) =
-512*as^6+512*as^4*bs^2-512*as^4*cs^2, (127, 127) = -512*as^6+512*as^4*ds^2-512
*as^4*fs^2, (232, 232) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (256, 50) = 
1024*as^5*fs^2, (302, 154) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (332, 249)
= -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (34, 204) = -1024*as^5, (34, 321) = 
1024*as^5, (47, 47) = -1024*as^5, (48, 361) = 512*as^5*fs^2+512*as^5*gs^2-512*
as^5*js^2, (91, 91) = 1024*as^5, (114, 114) = 1024*as^5, (391, 391) = 512*as^5*
cs^2+512*as^5*gs^2-512*as^5*is^2, (56, 241) = 1024*as^5*gs^2, (164, 316) = -512
*as^6+512*as^4*bs^2-512*as^4*cs^2, (166, 339) = 1024*as^5, (175, 383) = -512*as
^6+512*as^4*ds^2-512*as^4*fs^2, (209, 393) = 512*as^5*cs^2-512*as^5*es^2+512*as
^5*fs^2, (225, 226) = -1024*as^5, (323, 331) = 512*as^6-512*as^4*bs^2+512*as^4*
cs^2, (353, 290) = -1024*as^5, (18, 258) = -512*as^5*gs^2-512*as^5*ks^2+512*as^
5*os^2, (51, 389) = -1024*as^5*cs^2, (79, 156) = -512*as^5*fs^2-512*as^5*gs^2+
512*as^5*js^2, (91, 138) = -1024*as^5, (221, 222) = 512*as^6-512*as^4*bs^2+512*
as^4*cs^2, (380, 40) = -1024*as^5, (27, 398) = 512*as^5*cs^2-512*as^5*es^2+512*
as^5*fs^2, (78, 131) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (305, 269) = 512*
as^6-512*as^4*ds^2+512*as^4*fs^2, (308, 269) = 512*as^6-512*as^4*bs^2+512*as^4*
cs^2, (42, 111) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (52, 47) = -512*as^6-\
512*as^4*gs^2+512*as^4*hs^2, (254, 350) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2
, (328, 102) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (361, 373) = 512*as^6-512*
as^4*bs^2+512*as^4*cs^2, (396, 117) = -512*as^6-512*as^4*ks^2+512*as^4*ls^2, (
17, 282) = -512*as^6-512*as^4*ks^2+512*as^4*ls^2, (163, 329) = -512*as^6+512*as
^4*bs^2-512*as^4*cs^2, (292, 292) = 1024*as^5, (305, 134) = -512*as^6+512*as^4*
ds^2-512*as^4*fs^2, (361, 363) = -1024*as^5*cs^2, (24, 286) = -512*as^6-512*as^
4*ks^2+512*as^4*ls^2, (84, 84) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (208, 
44) = 1024*as^5, (219, 322) = -1024*as^5, (316, 103) = 512*as^6+512*as^4*ks^2-\
512*as^4*ls^2, (32, 281) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (96, 308) = -\
512*as^6+512*as^4*bs^2-512*as^4*cs^2, (119, 256) = -512*as^5*cs^2+512*as^5*es^2
-512*as^5*fs^2, (294, 290) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (320, 320)
= 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (28, 28) = 512*as^6-512*as^4*ds^2+512*
as^4*fs^2, (87, 107) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (111, 111) = 1024
*as^5, (268, 268) = -1024*as^5, (276, 141) = 512*as^6-512*as^4*ds^2+512*as^4*fs
^2, (312, 201) = 1024*as^5, (334, 288) = 1024*as^5, (371, 371) = 1024*as^5*cs^2
, (118, 197) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (174, 398) = -1024*as^5*
fs^2, (180, 203) = -1024*as^5, (287, 287) = 1024*as^5*cs^2, (393, 93) = -512*as
^6-512*as^4*gs^2+512*as^4*hs^2, (240, 293) = -512*as^6+512*as^4*bs^2-512*as^4*
cs^2, (283, 226) = 512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (328, 216) = 512*
as^5*cs^2+512*as^5*ks^2-512*as^5*ms^2, (15, 107) = -512*as^6-512*as^4*ks^2+512*
as^4*ls^2, (53, 53) = 1024*as^5, (310, 99) = 512*as^6+512*as^4*gs^2-512*as^4*hs
^2, (16, 244) = 512*as^5*cs^2+512*as^5*ks^2-512*as^5*ms^2, (136, 136) = 1024*as
^5, (145, 254) = -122880*as^4*vo, (177, 177) = -512*as^6+512*as^4*ds^2-512*as^4
*fs^2, (279, 238) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (281, 110) = -\
512*as^6-512*as^4*ks^2+512*as^4*ls^2, (398, 104) = 512*as^6+512*as^4*gs^2-512*
as^4*hs^2, (18, 233) = -512*as^5*cs^2-512*as^5*ks^2+512*as^5*ms^2, (39, 267) =
512*as^6-512*as^4*bs^2+512*as^4*cs^2, (73, 73) = 512*as^6-512*as^4*ds^2+512*as^
4*fs^2, (145, 3) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (301, 383) = -512*as^
6+512*as^4*bs^2-512*as^4*cs^2, (330, 147) = -1024*as^5*fs^2, (332, 23) = 1024*
as^5, (395, 282) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (100, 100) = -1024*as^
5, (129, 306) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (225, 326) = -512*as^6-\
512*as^4*ks^2+512*as^4*ls^2, (328, 300) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2,
(330, 87) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (353, 81) = 1024*as^5, (398,
382) = 1024*as^5*gs^2, (4, 231) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (92, 
201) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (133, 273) = -1024*as^5, (
279, 279) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (298, 347) = -512*as^6+512*
as^4*bs^2-512*as^4*cs^2, (71, 302) = 1024*as^5*cs^2, (164, 199) = 1024*as^5*cs^
2, (257, 241) = -1024*as^5, (280, 339) = -512*as^6-512*as^4*ks^2+512*as^4*ls^2,
(282, 118) = -1024*as^5, (395, 201) = 512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2
, (104, 226) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (324, 148) = 1024*as^5, (
328, 212) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (128, 188) = 1024*as^5*
cs^2, (168, 370) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (224, 224) = -512*as^5
*cs^2+512*as^5*es^2-512*as^5*fs^2, (278, 335) = -512*as^6+512*as^4*bs^2-512*as^
4*cs^2, (34, 371) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (81, 290) = -512*as^6
-512*as^4*gs^2+512*as^4*hs^2, (358, 146) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2
, (74, 198) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (214, 267) = 512*as^6-512*
as^4*ds^2+512*as^4*fs^2, (242, 242) = 1024*as^5, (249, 249) = -512*as^6+512*as^
4*bs^2-512*as^4*cs^2, (320, 169) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (355,
382) = 512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (369, 204) = 512*as^6+512*as^
4*gs^2-512*as^4*hs^2, (110, 49) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (132, 
240) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (147, 147) = -1024*as^5, (219, 
323) = 1024*as^5, (237, 237) = 1024*as^5, (332, 328) = -512*as^6+512*as^4*bs^2-\
512*as^4*cs^2, (354, 357) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (7, 120) = -\
512*as^6+512*as^4*bs^2-512*as^4*cs^2, (95, 314) = 512*as^6-512*as^4*bs^2+512*as
^4*cs^2, (139, 206) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (155, 6) = -512*as^
6+512*as^4*ds^2-512*as^4*fs^2, (162, 185) = 512*as^5*cs^2-512*as^5*es^2+512*as^
5*fs^2, (233, 272) = 1024*as^5, (335, 20) = 1024*as^5, (345, 345) = -512*as^6+
512*as^4*ds^2-512*as^4*fs^2, (356, 356) = 1024*as^5, (357, 343) = -512*as^6+512
*as^4*bs^2-512*as^4*cs^2, (384, 398) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (
386, 366) = 1024*as^5*gs^2, (126, 162) = 1024*as^5, (171, 318) = 512*as^6-512*
as^4*bs^2+512*as^4*cs^2, (190, 190) = -1024*as^5, (277, 228) = 1024*as^5*cs^2,
(319, 242) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (357, 297) = 1024*as^5
, (388, 388) = -1024*as^5, (10, 298) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (
46, 366) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (86, 149) = 1024*as^5, (114, 
384) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (185, 185) = 512*as^6-512*as^4*bs^
2+512*as^4*cs^2, (360, 390) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (20, 165) =
-512*as^5*gs^2-512*as^5*ks^2+512*as^5*os^2, (270, 275) = 512*as^6-512*as^4*bs^2
+512*as^4*cs^2, (312, 365) = -512*as^5*gs^2-512*as^5*ks^2+512*as^5*os^2, (385,
33) = -1024*as^5, (82, 82) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (142, 142) =
-1024*as^5, (163, 249) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (243, 324) = -\
512*as^6+512*as^4*ds^2-512*as^4*fs^2, (332, 248) = 512*as^6-512*as^4*bs^2+512*
as^4*cs^2, (343, 383) = -122880*as^4*vo, (359, 149) = -512*as^6+512*as^4*ds^2-\
512*as^4*fs^2, (377, 116) = -1024*as^5, (382, 211) = 512*as^5*cs^2-512*as^5*es^
2+512*as^5*fs^2, (225, 215) = 512*as^5*cs^2+512*as^5*ks^2-512*as^5*ms^2, (250,
251) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (338, 152) = 1024*as^5*fs^2, (148,
324) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (198, 198) = 1024*as^5, (236, 262)
= -1024*as^5, (281, 164) = 512*as^5*fs^2+512*as^5*gs^2-512*as^5*js^2, (336, 30)
= 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (338, 99) = -512*as^6+512*as^4*ds^2-512
*as^4*fs^2, (392, 208) = 1024*as^5*cs^2, (3, 125) = 512*as^6-512*as^4*bs^2+512*
as^4*cs^2, (151, 128) = -1024*as^5, (171, 189) = -512*as^6+512*as^4*ds^2-512*as
^4*fs^2, (272, 258) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (358, 331) = 512*as
^6-512*as^4*bs^2+512*as^4*cs^2, (373, 363) = 512*as^5*cs^2-512*as^5*es^2+512*as
^5*fs^2, (394, 83) = 1024*as^5, (215, 215) = -512*as^6+512*as^4*bs^2-512*as^4*
cs^2, (252, 379) = 512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (269, 287) = -512
*as^6+512*as^4*bs^2-512*as^4*cs^2, (324, 111) = -512*as^6-512*as^4*ks^2+512*as^
4*ls^2, (330, 146) = 1024*as^5*fs^2, (386, 393) = -512*as^5*fs^2-512*as^5*gs^2+
512*as^5*js^2, (393, 258) = 512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (179, 10
) = 1024*as^5, (202, 194) = -1024*as^5, (207, 190) = -512*as^5*cs^2+512*as^5*es
^2-512*as^5*fs^2, (232, 271) = 1024*as^5, (331, 331) = 1024*as^5, (9, 177) = 
1024*as^5*fs^2, (59, 288) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (110, 262) =
-512*as^6+512*as^4*bs^2-512*as^4*cs^2, (179, 347) = 512*as^6-512*as^4*bs^2+512*
as^4*cs^2, (328, 328) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (371, 208)
= -1024*as^5*cs^2, (113, 189) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (128, 151
) = -1024*as^5, (166, 260) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (190, 326)
= 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (325, 397) = -512*as^6+512*as^4*bs^2-\
512*as^4*cs^2, (386, 209) = 512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (387, 
387) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (394, 305) = 512*as^6-512*as^4*ds^
2+512*as^4*fs^2, (83, 278) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (195, 135) =
-1024*as^5, (229, 229) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (295, 279) = 
1024*as^5, (335, 235) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (348, 349) = -\
1024*as^5, (358, 330) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (16, 21) = -1024
*as^5, (311, 393) = 512*as^5*fs^2+512*as^5*ks^2-512*as^5*ns^2, (22, 348) = 512*
as^6-512*as^4*bs^2+512*as^4*cs^2, (53, 218) = 512*as^6-512*as^4*bs^2+512*as^4*
cs^2, (170, 170) = 1024*as^5, (178, 178) = -512*as^6+512*as^4*bs^2-512*as^4*cs^
2, (204, 321) = 1024*as^5, (262, 375) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2,
(335, 70) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (358, 15) = 1024*as^5, (49,
49) = 1024*as^5, (142, 303) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (143, 181)
= 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (174, 326) = -512*as^6+512*as^4*ds^2-\
512*as^4*fs^2, (180, 364) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (280, 
197) = 1024*as^5*fs^2, (299, 28) = 1024*as^5, (333, 381) = -512*as^5*cs^2-512*
as^5*gs^2+512*as^5*is^2, (349, 349) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (
383, 249) = -1024*as^5*cs^2, (15, 15) = -512*as^6-512*as^4*ks^2+512*as^4*ls^2,
(59, 255) = 1024*as^5*fs^2, (134, 287) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2,
(247, 277) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (181, 304) = -512*as^6+512*
as^4*bs^2-512*as^4*cs^2, (203, 390) = -1024*as^5*cs^2, (219, 220) = -512*as^6+
512*as^4*bs^2-512*as^4*cs^2, (221, 221) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2
, (286, 382) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (346, 352) = -1024*as^5*cs
^2, (394, 134) = -1024*as^5, (36, 202) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2,
(76, 195) = 1024*as^5*cs^2, (131, 241) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2,
(154, 154) = 1024*as^5, (231, 145) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (
281, 262) = 512*as^5*cs^2+512*as^5*ks^2-512*as^5*ms^2, (332, 329) = 512*as^6-\
512*as^4*bs^2+512*as^4*cs^2, (368, 38) = -1024*as^5, (396, 149) = -512*as^5*fs^
2-512*as^5*gs^2+512*as^5*js^2, (160, 300) = 512*as^6-512*as^4*bs^2+512*as^4*cs^
2, (264, 359) = -1024*as^5, (351, 177) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2,
(134, 269) = -1024*as^5, (177, 351) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (
225, 225) = 1024*as^5, (243, 244) = -1024*as^5, (244, 268) = 512*as^6+512*as^4*
gs^2-512*as^4*hs^2, (322, 220) = 512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (
330, 107) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (332, 285) = -1024*as^5, (383
, 248) = 1024*as^5*cs^2, (179, 298) = -1024*as^5, (263, 385) = -512*as^6+512*as
^4*bs^2-512*as^4*cs^2, (328, 301) = -512*as^6-512*as^4*ks^2+512*as^4*ls^2, (333
, 224) = 512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (130, 305) = -512*as^6+512*
as^4*bs^2-512*as^4*cs^2, (213, 54) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (303
, 277) = -1024*as^5, (322, 322) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (22, 12
) = 1024*as^5, (30, 276) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (47, 394) = -\
512*as^6+512*as^4*bs^2-512*as^4*cs^2, (183, 308) = 512*as^6-512*as^4*bs^2+512*
as^4*cs^2, (257, 353) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (279, 345)
= 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (316, 36) = 512*as^6+512*as^4*ks^2-512*
as^4*ls^2, (367, 388) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (37, 37) = 1024*
as^5, (61, 318) = -1024*as^5*cs^2, (116, 217) = 512*as^6-512*as^4*bs^2+512*as^4
*cs^2, (234, 236) = 512*as^6+512*as^4*ks^2-512*as^4*ls^2, (329, 285) = 1024*as^
5, (333, 249) = 1024*as^5*cs^2, (375, 361) = 1024*as^5*gs^2, (34, 208) = -512*
as^6+512*as^4*bs^2-512*as^4*cs^2, (214, 214) = 1024*as^5, (265, 193) = -512*as^
5*cs^2+512*as^5*es^2-512*as^5*fs^2, (279, 295) = -1024*as^5, (365, 192) = -1024
*as^5, (369, 392) = -512*as^5*fs^2-512*as^5*gs^2+512*as^5*js^2, (6, 6) = 1024*
as^5, (16, 42) = 1024*as^5*ks^2, (79, 79) = 512*as^6+512*as^4*gs^2-512*as^4*hs^
2, (128, 128) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (171, 206) = -512*as^6+
512*as^4*bs^2-512*as^4*cs^2, (241, 56) = 1024*as^5, (303, 142) = -512*as^6+512*
as^4*ds^2-512*as^4*fs^2, (313, 200) = -1024*as^5*cs^2, (316, 361) = -512*as^5*
gs^2-512*as^5*ks^2+512*as^5*os^2, (383, 328) = -1024*as^5*cs^2, (16, 243) = -\
512*as^5*cs^2-512*as^5*ks^2+512*as^5*ms^2, (138, 92) = -1024*as^5, (139, 320) =
-1024*as^5, (186, 137) = -1024*as^5, (209, 366) = -512*as^5*cs^2-512*as^5*gs^2+
512*as^5*is^2, (248, 249) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (303, 228) =
-512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (311, 258) = 1024*as^5, (312, 392)
= 512*as^5*fs^2+512*as^5*ks^2-512*as^5*ns^2, (319, 147) = -512*as^5*fs^2-512*as
^5*gs^2+512*as^5*js^2, (383, 63) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (395,
271) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (61, 61) = -512*as^6+512*as^4*ds^
2-512*as^4*fs^2, (105, 331) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (278, 287)
= 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (280, 280) = 512*as^5*cs^2-512*as^5*es^
2+512*as^5*fs^2, (361, 361) = 1024*as^5, (394, 269) = 1024*as^5, (77, 354) = 
512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (280, 91) = -512*as^6-512*as^4*gs^2+
512*as^4*hs^2, (286, 104) = 1024*as^5, (297, 357) = -1024*as^5*cs^2, (306, 270)
= 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (335, 33) = -512*as^6-512*as^4*ks^2+512
*as^4*ls^2, (355, 384) = -512*as^5*cs^2-512*as^5*ks^2+512*as^5*ms^2, (370, 315)
= 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (389, 32) = -1024*as^5, (104, 251) = 
512*as^6-512*as^4*bs^2+512*as^4*cs^2, (105, 105) = 1024*as^5, (109, 50) = 512*
as^6-512*as^4*ds^2+512*as^4*fs^2, (171, 139) = -1024*as^5, (163, 224) = 512*as^
6-512*as^4*ds^2+512*as^4*fs^2, (217, 377) = -512*as^5*cs^2+512*as^5*es^2-512*as
^5*fs^2, (311, 35) = 512*as^6+512*as^4*ks^2-512*as^4*ls^2, (394, 335) = 512*as^
6-512*as^4*bs^2+512*as^4*cs^2, (51, 51) = 1024*as^5, (111, 53) = 512*as^6-512*
as^4*ds^2+512*as^4*fs^2, (196, 50) = -512*as^5*fs^2-512*as^5*ks^2+512*as^5*ns^2
, (247, 72) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (258, 186) = -1024*as^5*fs^
2, (80, 89) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (176, 176) = -512*as^6+512
*as^4*bs^2-512*as^4*cs^2, (205, 209) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (
225, 399) = 512*as^5*fs^2+512*as^5*gs^2-512*as^5*js^2, (289, 352) = 512*as^6-\
512*as^4*bs^2+512*as^4*cs^2, (294, 75) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2,
(302, 336) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (57, 31) = 512*as^6-512*as^4
*ds^2+512*as^4*fs^2, (94, 162) = -1024*as^5*fs^2, (140, 207) = 512*as^6-512*as^
4*bs^2+512*as^4*cs^2, (184, 11) = -1024*as^5, (320, 318) = 1024*as^5*cs^2, (14,
229) = 1024*as^5*cs^2, (17, 118) = 512*as^6+512*as^4*ks^2-512*as^4*ls^2, (45, 
45) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (54, 187) = 512*as^6-512*as^4*bs^2+
512*as^4*cs^2, (104, 104) = -1024*as^5, (253, 349) = -512*as^6+512*as^4*bs^2-\
512*as^4*cs^2, (266, 53) = 512*as^5*fs^2+512*as^5*gs^2-512*as^5*js^2, (278, 269
) = -1024*as^5, (287, 130) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (305, 308) =
512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (151, 188) = 512*as^6-512*as^4*bs^2+
512*as^4*cs^2, (156, 356) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (232, 
280) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (240, 354) = 512*as^6-512*as^4*ds
^2+512*as^4*fs^2, (252, 219) = 512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (302,
71) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (308, 305) = 512*as^5*cs^2-512*as^5
*es^2+512*as^5*fs^2, (28, 211) = 1024*as^5*cs^2, (63, 284) = -512*as^6+512*as^4
*bs^2-512*as^4*cs^2, (64, 64) = -1024*as^5, (68, 137) = -512*as^6+512*as^4*bs^2
-512*as^4*cs^2, (118, 280) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (174, 384)
= 1024*as^5, (244, 380) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (340, 229
) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (342, 294) = 512*as^6-512*as^4*
bs^2+512*as^4*cs^2, (343, 14) = 1024*as^5, (395, 92) = -512*as^6-512*as^4*gs^2+
512*as^4*hs^2, (156, 156) = 1024*as^5*fs^2, (158, 299) = 1024*as^5, (183, 144)
= -1024*as^5, (209, 26) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (330, 217) = 
512*as^5*cs^2+512*as^5*ks^2-512*as^5*ms^2, (334, 334) = -512*as^6+512*as^4*bs^2
-512*as^4*cs^2, (19, 164) = -512*as^5*gs^2-512*as^5*ks^2+512*as^5*os^2, (75, 75
) = -1024*as^5, (227, 227) = 512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (231, 
125) = 1024*as^5*cs^2, (312, 34) = 512*as^6+512*as^4*ks^2-512*as^4*ls^2, (391,
191) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (395, 369) = -512*as^5*cs^2-512*
as^5*ks^2+512*as^5*ms^2, (55, 240) = 1024*as^5*gs^2, (81, 81) = 512*as^6+512*as
^4*gs^2-512*as^4*hs^2, (82, 240) = -512*as^5*fs^2-512*as^5*gs^2+512*as^5*js^2,
(204, 204) = -1024*as^5, (225, 158) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (
248, 332) = 1024*as^5, (358, 147) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (375
, 36) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (394, 287) = -512*as^6+512*as^4*
bs^2-512*as^4*cs^2, (35, 205) = -1024*as^5, (37, 52) = 512*as^6-512*as^4*ds^2+
512*as^4*fs^2, (373, 373) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (383, 223) =
512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (247, 29) = 1024*as^5, (267, 267) =
-1024*as^5, (275, 270) = 1024*as^5, (391, 393) = 1024*as^5, (398, 384) = -512*
as^5*gs^2-512*as^5*ks^2+512*as^5*os^2, (23, 381) = -512*as^5*gs^2-512*as^5*ks^2
+512*as^5*os^2, (24, 384) = 1024*as^5*ks^2, (92, 92) = 512*as^6-512*as^4*ds^2+
512*as^4*fs^2, (154, 227) = -1024*as^5*cs^2, (202, 389) = 512*as^6-512*as^4*bs^
2+512*as^4*cs^2, (227, 337) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (229, 341)
= 1024*as^5, (333, 64) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (352, 346) = 
1024*as^5, (395, 73) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (48, 51) = -1024*
as^5*fs^2, (228, 338) = 1024*as^5, (240, 133) = -1024*as^5, (249, 285) = -1024*
as^5, (386, 35) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (190, 215) = -512*as^5
*cs^2-512*as^5*gs^2+512*as^5*is^2, (192, 45) = -1024*as^5, (203, 52) = 1024*as^
5, (238, 345) = -1024*as^5, (244, 222) = 512*as^5*cs^2-512*as^5*es^2+512*as^5*
fs^2, (248, 248) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (304, 306) = 1024*as^
5, (315, 153) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (370, 259) = -512*as^5*cs
^2+512*as^5*es^2-512*as^5*fs^2, (124, 154) = -122880*as^4*vo, (180, 180) = -512
*as^6+512*as^4*ds^2-512*as^4*fs^2, (280, 118) = -512*as^6+512*as^4*ds^2-512*as^
4*fs^2, (306, 129) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (381, 318) = -512*
as^5*cs^2-512*as^5*ks^2+512*as^5*ms^2, (387, 361) = -512*as^6+512*as^4*ds^2-512
*as^4*fs^2, (62, 181) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (101, 102)
= -1024*as^5, (173, 173) = -1024*as^5, (173, 208) = -512*as^6+512*as^4*bs^2-512
*as^4*cs^2, (186, 311) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (207, 67) = 512*
as^6-512*as^4*ds^2+512*as^4*fs^2, (280, 166) = 512*as^6+512*as^4*ks^2-512*as^4*
ls^2, (322, 330) = 1024*as^5, (354, 82) = -1024*as^5, (383, 160) = -512*as^6-\
512*as^4*gs^2+512*as^4*hs^2, (100, 154) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2,
(175, 216) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (196, 94) = -512*as^6-512*as
^4*gs^2+512*as^4*hs^2, (319, 41) = -512*as^5*gs^2-512*as^5*ks^2+512*as^5*os^2,
(332, 284) = 1024*as^5, (354, 240) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (380
, 380) = 1024*as^5*cs^2, (389, 76) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (1,
1) = 1024*as^5*fs^2, (103, 51) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (120, 
120) = 1024*as^5, (159, 381) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (280, 271)
= -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (61, 139) = 512*as^6-512*as^4*bs^2+512
*as^4*cs^2, (69, 346) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (137, 68) = -\
1024*as^5, (163, 163) = 1024*as^5, (211, 299) = 1024*as^5, (322, 323) = -512*as
^6+512*as^4*ds^2-512*as^4*fs^2, (327, 89) = -1024*as^5, (359, 148) = 512*as^6-\
512*as^4*ds^2+512*as^4*fs^2, (72, 142) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2,
(94, 94) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (212, 212) = -512*as^6+512*as^
4*bs^2-512*as^4*cs^2, (219, 219) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (239,
289) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (279, 327) = 512*as^5*cs^2-512*as
^5*es^2+512*as^5*fs^2, (323, 107) = 1024*as^5, (332, 223) = 512*as^6-512*as^4*
ds^2+512*as^4*fs^2, (336, 276) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (
203, 180) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (235, 317) = -512*as^6-512*as
^4*gs^2+512*as^4*hs^2, (391, 43) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (11, 
298) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (14, 1) = -1024*as^5, (23, 224) =
512*as^5*fs^2+512*as^5*ks^2-512*as^5*ns^2, (34, 365) = -512*as^6-512*as^4*gs^2+
512*as^4*hs^2, (35, 209) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (57, 80) = 
512*as^6+512*as^4*gs^2-512*as^4*hs^2, (63, 224) = 512*as^5*cs^2-512*as^5*es^2+
512*as^5*fs^2, (77, 132) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (159, 212) =
-512*as^6+512*as^4*bs^2-512*as^4*cs^2, (231, 231) = -512*as^5*cs^2+512*as^5*es^
2-512*as^5*fs^2, (145, 145) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (306, 184)
= -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (353, 353) = 512*as^6-512*as^4*bs
^2+512*as^4*cs^2, (376, 237) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (383, 285
) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (17, 280) = -512*as^5*cs^2-512*as^5*
ks^2+512*as^5*ms^2, (29, 277) = 512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (52,
360) = 512*as^5*fs^2+512*as^5*gs^2-512*as^5*js^2, (170, 384) = -512*as^6+512*as
^4*bs^2-512*as^4*cs^2, (235, 136) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (258,
90) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (261, 263) = 512*as^6-512*as^4*ds^2
+512*as^4*fs^2, (306, 98) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (379, 80) = -\
1024*as^5, (32, 32) = 1024*as^5, (77, 273) = 512*as^6-512*as^4*bs^2+512*as^4*cs
^2, (78, 274) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (122, 122) = 1024*as^5, (
321, 321) = 1024*as^5, (377, 319) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (133
, 293) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (349, 348) = 1024*as^5, (15, 147
) = 512*as^5*fs^2+512*as^5*ks^2-512*as^5*ns^2, (48, 387) = -512*as^5*cs^2-512*
as^5*gs^2+512*as^5*is^2, (56, 294) = 512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2,
(117, 117) = 1024*as^5, (241, 355) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (253
, 22) = -1024*as^5, (381, 139) = 512*as^6+512*as^4*ks^2-512*as^4*ls^2, (62, 143
) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (345, 358) = -1024*as^5, (397, 356)
= 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (22, 22) = -512*as^6+512*as^4*ds^2-512*
as^4*fs^2, (23, 383) = 1024*as^5*ks^2, (24, 382) = -512*as^5*gs^2-512*as^5*ks^2
+512*as^5*os^2, (97, 144) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (101, 101) =
1024*as^5, (150, 193) = -1024*as^5*cs^2, (189, 189) = 512*as^6-512*as^4*bs^2+
512*as^4*cs^2, (286, 226) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (330, 112) =
-512*as^6-512*as^4*ks^2+512*as^4*ls^2, (369, 208) = 512*as^5*cs^2+512*as^5*gs^2
-512*as^5*is^2, (393, 168) = 512*as^6+512*as^4*ks^2-512*as^4*ls^2, (2, 340) = 
512*as^6-512*as^4*bs^2+512*as^4*cs^2, (146, 219) = 1024*as^5*cs^2, (197, 197) =
512*as^6-512*as^4*bs^2+512*as^4*cs^2, (284, 329) = 512*as^6-512*as^4*bs^2+512*
as^4*cs^2, (320, 189) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (347, 88) =
-512*as^6+512*as^4*ds^2-512*as^4*fs^2, (381, 381) = 1024*as^5*gs^2, (385, 203)
= 512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (70, 196) = -1024*as^5*cs^2, (77,
293) = -1024*as^5*cs^2, (83, 83) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (102,
212) = 512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (155, 8) = 1024*as^5*fs^2, (
171, 113) = 1024*as^5, (255, 255) = -122880*as^4*vo, (273, 273) = 1024*as^5, (
280, 138) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (395, 197) = 512*as^5*cs^2-\
512*as^5*es^2+512*as^5*fs^2, (89, 344) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2,
(123, 247) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (196, 313) = -512*as^5*cs^2
-512*as^5*gs^2+512*as^5*is^2, (218, 218) = 1024*as^5, (296, 264) = -1024*as^5*
cs^2, (296, 359) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (318, 383) = 512*as^5*
fs^2+512*as^5*gs^2-512*as^5*js^2, (393, 233) = 1024*as^5*cs^2, (44, 44) = -512*
as^6-512*as^4*gs^2+512*as^4*hs^2, (50, 263) = 512*as^6-512*as^4*bs^2+512*as^4*
cs^2, (74, 74) = 1024*as^5, (89, 31) = 1024*as^5, (90, 311) = -512*as^6+512*as^
4*bs^2-512*as^4*cs^2, (213, 213) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (252,
220) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (337, 302) = 512*as^5*cs^2-\
512*as^5*es^2+512*as^5*fs^2, (383, 332) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2
, (5, 5) = 1024*as^5, (85, 30) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (235, 
200) = 512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (293, 132) = -1024*as^5, (314
, 199) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (326, 398) = 512*as^6-512*
as^4*bs^2+512*as^4*cs^2, (355, 283) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (
359, 244) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (41, 41) = -1024*as^5, (41,
377) = 1024*as^5*cs^2, (115, 150) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (157
, 157) = -1024*as^5, (172, 315) = 1024*as^5, (239, 346) = 512*as^6+512*as^4*gs^
2-512*as^4*hs^2, (375, 103) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (1, 340) =
-512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (17, 197) = -512*as^5*fs^2-512*as^5
*ks^2+512*as^5*ns^2, (115, 116) = 1024*as^5, (150, 150) = 1024*as^5, (167, 369)
= -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (172, 172) = -1024*as^5, (175, 301) =
-1024*as^5, (222, 325) = 1024*as^5, (399, 59) = 1024*as^5, (21, 296) = 512*as^5
*cs^2+512*as^5*gs^2-512*as^5*is^2, (161, 161) = -1024*as^5, (184, 179) = 512*as
^6-512*as^4*bs^2+512*as^4*cs^2, (235, 376) = -512*as^5*cs^2-512*as^5*ks^2+512*
as^5*ms^2, (257, 257) = 1024*as^5*fs^2, (283, 161) = 512*as^6+512*as^4*gs^2-512
*as^4*hs^2, (317, 203) = -512*as^5*cs^2-512*as^5*ks^2+512*as^5*ms^2, (339, 167)
= -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (394, 278) = -1024*as^5, (63, 329) = -\
1024*as^5*cs^2, (73, 271) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (196, 70) = -\
1024*as^5, (265, 377) = 512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (292, 351) =
-512*as^6+512*as^4*bs^2-512*as^4*cs^2, (333, 329) = -1024*as^5*cs^2, (349, 253)
= -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (58, 296) = -512*as^6+512*as^4*bs
^2-512*as^4*cs^2, (106, 147) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (220, 323)
= 1024*as^5, (246, 218) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (297, 240) = 
512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (362, 364) = 1024*as^5*cs^2, (384, 
326) = 1024*as^5, (9, 292) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (31, 231) =
-1024*as^5, (102, 224) = 1024*as^5*fs^2, (107, 39) = 512*as^6-512*as^4*ds^2+512
*as^4*fs^2, (148, 325) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (304, 88) = 512
*as^6+512*as^4*gs^2-512*as^4*hs^2, (362, 374) = -512*as^6+512*as^4*bs^2-512*as^
4*cs^2, (378, 246) = -1024*as^5, (62, 62) = 512*as^6-512*as^4*ds^2+512*as^4*fs^
2, (90, 90) = -1024*as^5, (101, 329) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (
121, 49) = -122880*as^4*vo, (188, 188) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*
fs^2, (225, 299) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (285, 285) = -1024*as^
5, (286, 251) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (96, 96) = -1024*as^5, (
119, 119) = 1024*as^5, (192, 365) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (210,
42) = 1024*as^5, (234, 195) = 512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (275,
275) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (321, 208) = -512*as^6+512*as^4*
bs^2-512*as^4*cs^2, (372, 372) = 1024*as^5, (21, 253) = -122880*as^4*vo, (71, 
141) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (148, 148) = 1024*as^5, (157, 345
) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (205, 205) = -1024*as^5, (285, 102)
= 1024*as^5, (310, 72) = 1024*as^5, (315, 259) = 1024*as^5*cs^2, (374, 360) = 
1024*as^5*fs^2, (390, 394) = -1024*as^5, (45, 192) = -512*as^6+512*as^4*bs^2-\
512*as^4*cs^2, (188, 266) = -1024*as^5, (279, 344) = 1024*as^5, (382, 158) = 
512*as^6-512*as^4*ds^2+512*as^4*fs^2, (383, 284) = 512*as^6-512*as^4*bs^2+512*
as^4*cs^2, (56, 274) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (72, 72) = 1024*
as^5, (127, 319) = -1024*as^5, (165, 313) = -512*as^6+512*as^4*bs^2-512*as^4*cs
^2, (175, 175) = 1024*as^5, (209, 209) = -1024*as^5*cs^2, (221, 324) = 1024*as^
5, (252, 323) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (156, 79) = -512*as^6+512
*as^4*ds^2-512*as^4*fs^2, (171, 320) = 1024*as^5, (209, 46) = 512*as^6+512*as^4
*gs^2-512*as^4*hs^2, (281, 76) = -1024*as^5*fs^2, (286, 283) = -1024*as^5, (305
, 144) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (312, 173) = -512*as^6-512*as^4
*ks^2+512*as^4*ls^2, (347, 143) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (372, 
373) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (383, 383) = -512*as^5*cs^2-512*as
^5*ks^2+512*as^5*ms^2, (15, 41) = 1024*as^5*ks^2, (16, 149) = 512*as^5*fs^2+512
*as^5*ks^2-512*as^5*ns^2, (101, 223) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (
164, 164) = -1024*as^5, (254, 254) = 1024*as^5*cs^2, (258, 258) = 1024*as^5, (
285, 224) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (375, 372) = -512*as^5*cs^2-\
512*as^5*gs^2+512*as^5*is^2, (398, 207) = 512*as^5*cs^2+512*as^5*ks^2-512*as^5*
ms^2, (67, 67) = -1024*as^5, (108, 149) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2,
(126, 126) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (319, 39) = 1024*as^5*gs^2,
(355, 161) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (80, 31) = -1024*as^5, (108
, 40) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (242, 323) = -512*as^6+512*as^4*
ds^2-512*as^4*fs^2, (1, 14) = -122880*as^4*vo, (15, 146) = -512*as^5*fs^2-512*
as^5*ks^2+512*as^5*ns^2, (19, 32) = 512*as^6+512*as^4*ks^2-512*as^4*ls^2, (63,
63) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (82, 293) = -512*as^5*cs^2+512*as^5
*es^2-512*as^5*fs^2, (84, 306) = -512*as^5*fs^2-512*as^5*gs^2+512*as^5*js^2, (
109, 109) = 1024*as^5, (240, 297) = -1024*as^5, (42, 53) = -1024*as^5*fs^2, (
124, 124) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (194, 202) = 1024*as^5, (224
, 285) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (261, 385) = -512*as^5*cs^2+512
*as^5*es^2-512*as^5*fs^2, (23, 163) = 512*as^6+512*as^4*ks^2-512*as^4*ls^2, (23
, 329) = -512*as^5*cs^2-512*as^5*ks^2+512*as^5*ms^2, (32, 76) = 512*as^6-512*as
^4*ds^2+512*as^4*fs^2, (35, 35) = 1024*as^5, (213, 86) = 1024*as^5, (235, 237)
= 512*as^6+512*as^4*ks^2-512*as^4*ls^2, (283, 382) = -512*as^5*cs^2-512*as^5*gs
^2+512*as^5*is^2, (381, 163) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (58, 58)
= 1024*as^5, (63, 223) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (272, 370)
= -512*as^6-512*as^4*ks^2+512*as^4*ls^2, (275, 306) = 512*as^6-512*as^4*ds^2+
512*as^4*fs^2, (281, 95) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (286, 24) = 
1024*as^5, (297, 77) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (30, 71) = -512*
as^6+512*as^4*ds^2-512*as^4*fs^2, (44, 395) = -512*as^5*cs^2-512*as^5*gs^2+512*
as^5*is^2, (102, 300) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (206, 318) = 512
*as^6-512*as^4*bs^2+512*as^4*cs^2, (239, 352) = 512*as^5*cs^2-512*as^5*es^2+512
*as^5*fs^2, (244, 244) = 1024*as^5, (356, 264) = -512*as^5*cs^2+512*as^5*es^2-\
512*as^5*fs^2, (358, 105) = -1024*as^5, (359, 243) = 512*as^6-512*as^4*bs^2+512
*as^4*cs^2, (7, 7) = -1024*as^5, (313, 317) = 512*as^6-512*as^4*bs^2+512*as^4*
cs^2, (77, 77) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (207, 170) = -512*as^6-\
512*as^4*gs^2+512*as^4*hs^2, (379, 358) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2
, (398, 226) = -512*as^5*fs^2-512*as^5*gs^2+512*as^5*js^2, (11, 179) = -512*as^
5*cs^2+512*as^5*es^2-512*as^5*fs^2, (40, 86) = -512*as^6+512*as^4*ds^2-512*as^4
*fs^2, (90, 186) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (147, 220) = 1024*as^5
*cs^2, (188, 246) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (307, 182) = -512*as
^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (48, 202) = 512*as^5*cs^2-512*as^5*es^2+
512*as^5*fs^2, (116, 112) = -1024*as^5, (159, 159) = -1024*as^5, (76, 76) = 
1024*as^5, (105, 107) = -1024*as^5, (236, 375) = 512*as^5*cs^2-512*as^5*es^2+
512*as^5*fs^2, (388, 367) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (119, 120) =
512*as^6-512*as^4*ds^2+512*as^4*fs^2, (149, 149) = 1024*as^5, (152, 152) = 1024
*as^5, (197, 73) = -1024*as^5, (271, 271) = -1024*as^5, (381, 320) = -512*as^6-\
512*as^4*ks^2+512*as^4*ls^2, (75, 257) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2,
(101, 284) = -1024*as^5, (122, 247) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^
2, (161, 382) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (194, 194) = 512*as^6-512
*as^4*ds^2+512*as^4*fs^2, (247, 155) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (
345, 238) = 512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (398, 251) = -512*as^5*
cs^2-512*as^5*gs^2+512*as^5*is^2, (5, 7) = -512*as^6+512*as^4*ds^2-512*as^4*fs^
2, (115, 115) = 1024*as^5, (187, 187) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (
243, 246) = 512*as^6+512*as^4*ks^2-512*as^4*ls^2, (256, 261) = -512*as^5*cs^2+
512*as^5*es^2-512*as^5*fs^2, (23, 328) = 512*as^5*cs^2+512*as^5*ks^2-512*as^5*
ms^2, (56, 355) = -512*as^5*fs^2-512*as^5*gs^2+512*as^5*js^2, (68, 68) = 512*as
^6-512*as^4*ds^2+512*as^4*fs^2, (87, 214) = 512*as^5*cs^2+512*as^5*gs^2-512*as^
5*is^2, (194, 389) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (212, 300) = 
1024*as^5, (223, 63) = -1024*as^5, (252, 322) = -512*as^6+512*as^4*ds^2-512*as^
4*fs^2, (263, 263) = 1024*as^5, (346, 69) = 1024*as^5, (358, 39) = 512*as^6+512
*as^4*gs^2-512*as^4*hs^2, (385, 362) = 1024*as^5*gs^2, (20, 70) = 512*as^5*fs^2
+512*as^5*ks^2-512*as^5*ns^2, (26, 393) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2,
(77, 240) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (269, 269) = 1024*as^5,
(280, 369) = -512*as^5*fs^2-512*as^5*ks^2+512*as^5*ns^2, (373, 387) = -1024*as^
5, (103, 202) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (156, 21) = -1024*as^5,
(250, 250) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (254, 41) = -122880*as^4*vo
, (266, 210) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (283, 283) = 512*as^
6-512*as^4*bs^2+512*as^4*cs^2, (33, 119) = -512*as^5*cs^2+512*as^5*es^2-512*as^
5*fs^2, (111, 210) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (159, 300) = 1024*
as^5, (178, 124) = 1024*as^5, (242, 379) = -512*as^5*cs^2-512*as^5*gs^2+512*as^
5*is^2, (282, 280) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (311, 205) = -512*as
^6-512*as^4*ks^2+512*as^4*ls^2, (393, 370) = -512*as^5*cs^2-512*as^5*ks^2+512*
as^5*ms^2, (319, 115) = -512*as^6-512*as^4*ks^2+512*as^4*ls^2, (171, 171) = -\
1024*as^5, (290, 290) = 1024*as^5, (317, 362) = -512*as^5*gs^2-512*as^5*ks^2+
512*as^5*os^2, (381, 333) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (20, 20) = -\
512*as^6-512*as^4*ks^2+512*as^4*ls^2, (35, 366) = -512*as^6-512*as^4*gs^2+512*
as^4*hs^2, (214, 379) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (223, 224)
= -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (248, 333) = -1024*as^5, (364, 374) =
-1024*as^5, (23, 285) = 512*as^6+512*as^4*ks^2-512*as^4*ls^2, (29, 369) = -\
122880*as^4*vo, (38, 38) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (165, 94) = -\
1024*as^5, (199, 199) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (221, 325) = -\
1024*as^5, (260, 339) = -1024*as^5, (286, 225) = 512*as^6-512*as^4*ds^2+512*as^
4*fs^2, (308, 278) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (336, 154) = -512*
as^5*fs^2-512*as^5*gs^2+512*as^5*js^2, (10, 179) = 1024*as^5*fs^2, (73, 197) =
-512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (117, 151) = -512*as^6+512*as^4*ds^
2-512*as^4*fs^2, (180, 390) = 512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (196,
162) = 512*as^5*fs^2+512*as^5*gs^2-512*as^5*js^2, (240, 273) = 1024*as^5, (242,
331) = -1024*as^5, (287, 269) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (320, 61
) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (322, 219) = -512*as^5*cs^2+512*as^5*
es^2-512*as^5*fs^2, (39, 39) = 1024*as^5, (357, 293) = 512*as^6-512*as^4*bs^2+
512*as^4*cs^2, (15, 331) = -512*as^5*cs^2-512*as^5*ks^2+512*as^5*ms^2, (31, 157
) = 1024*as^5*gs^2, (85, 154) = 1024*as^5*gs^2, (103, 103) = 1024*as^5, (206, 
139) = -1024*as^5, (257, 290) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (395, 232
) = 1024*as^5*cs^2, (15, 252) = -512*as^5*cs^2-512*as^5*ks^2+512*as^5*ms^2, (29
, 155) = 1024*as^5*gs^2, (264, 264) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (
307, 307) = 1024*as^5, (370, 172) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (40,
54) = -1024*as^5*fs^2, (101, 328) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (155,
122) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (155, 155) = -122880*as^4*vo
, (224, 64) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (281, 32) = -512*as^6+512*
as^4*ds^2-512*as^4*fs^2, (308, 335) = 1024*as^5*cs^2, (314, 314) = 1024*as^5, (
324, 213) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (369, 369) = -1024*as^5
, (389, 49) = -512*as^6-512*as^4*ks^2+512*as^4*ls^2, (13, 177) = -512*as^5*cs^2
+512*as^5*es^2-512*as^5*fs^2, (53, 396) = -1024*as^5*cs^2, (82, 354) = 1024*as^
5*fs^2, (162, 313) = -1024*as^5, (19, 281) = -512*as^5*cs^2-512*as^5*ks^2+512*
as^5*ms^2, (36, 372) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (55, 55) = -512*as
^6-512*as^4*gs^2+512*as^4*hs^2, (177, 9) = 1024*as^5, (249, 329) = 512*as^6-512
*as^4*bs^2+512*as^4*cs^2, (293, 354) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (
302, 30) = 1024*as^5, (371, 25) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (381,
189) = 512*as^5*fs^2+512*as^5*ks^2-512*as^5*ns^2, (381, 383) = -512*as^5*gs^2-\
512*as^5*ks^2+512*as^5*os^2, (15, 330) = 512*as^5*cs^2+512*as^5*ks^2-512*as^5*
ms^2, (20, 183) = -122880*as^4*vo, (33, 33) = -122880*as^4*vo, (129, 129) = 
1024*as^5, (316, 51) = 512*as^5*fs^2+512*as^5*ks^2-512*as^5*ns^2, (27, 215) = -\
1024*as^5*cs^2, (70, 70) = -1024*as^5, (84, 184) = 1024*as^5*gs^2, (105, 330) =
512*as^6-512*as^4*bs^2+512*as^4*cs^2, (332, 101) = -1024*as^5, (399, 288) = -\
1024*as^5, (399, 334) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (15, 39) = -512*
as^5*gs^2-512*as^5*ks^2+512*as^5*os^2, (34, 392) = 512*as^6-512*as^4*ds^2+512*
as^4*fs^2, (48, 48) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (83, 335) = -512*
as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (102, 329) = -512*as^5*cs^2+512*as^5*es^
2-512*as^5*fs^2, (123, 123) = 1024*as^5, (130, 130) = 1024*as^5, (158, 399) = 
512*as^6-512*as^4*ds^2+512*as^4*fs^2, (207, 207) = -1024*as^5*cs^2, (249, 333)
= 1024*as^5, (282, 232) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (304, 181) = -\
512*as^5*fs^2-512*as^5*gs^2+512*as^5*js^2, (381, 206) = 512*as^5*cs^2+512*as^5*
ks^2-512*as^5*ms^2, (23, 284) = -512*as^6-512*as^4*ks^2+512*as^4*ls^2, (82, 273
) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (117, 42) = 512*as^6+512*as^4*gs^2-\
512*as^4*hs^2, (146, 147) = 1024*as^5, (191, 191) = 1024*as^5, (226, 211) = 512
*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (16, 148) = -512*as^5*fs^2-512*as^5*ks^
2+512*as^5*ns^2, (101, 224) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (101, 285)
= 1024*as^5, (134, 134) = 1024*as^5, (201, 312) = -512*as^6+512*as^4*bs^2-512*
as^4*cs^2, (233, 233) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (364, 364) = 512
*as^6-512*as^4*bs^2+512*as^4*cs^2, (43, 368) = 512*as^6-512*as^4*ds^2+512*as^4*
fs^2, (390, 388) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (31, 89) = -512*as^5*
fs^2-512*as^5*gs^2+512*as^5*js^2, (88, 143) = -1024*as^5, (225, 174) = 512*as^6
+512*as^4*ks^2-512*as^4*ls^2, (259, 259) = -512*as^6+512*as^4*bs^2-512*as^4*cs^
2, (319, 319) = -512*as^5*cs^2-512*as^5*ks^2+512*as^5*ms^2, (342, 274) = -1024*
as^5, (55, 343) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (303, 303) = 512*
as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (320, 139) = -512*as^6+512*as^4*bs^2-512
*as^4*cs^2, (328, 175) = 512*as^6+512*as^4*ks^2-512*as^4*ls^2, (379, 157) = 512
*as^6-512*as^4*ds^2+512*as^4*fs^2, (3, 145) = -1024*as^5, (23, 101) = 512*as^6+
512*as^4*ks^2-512*as^4*ls^2, (36, 103) = 1024*as^5, (55, 293) = 512*as^5*cs^2+
512*as^5*gs^2-512*as^5*is^2, (59, 384) = -122880*as^4*vo, (118, 271) = 1024*as^
5, (319, 107) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (359, 42) = -512*as^6-512
*as^4*ks^2+512*as^4*ls^2, (397, 79) = 1024*as^5, (398, 140) = 512*as^6+512*as^4
*ks^2-512*as^4*ls^2, (36, 36) = 1024*as^5, (87, 147) = 1024*as^5*fs^2, (99, 152
) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (174, 174) = 512*as^6-512*as^4*ds^2+
512*as^4*fs^2, (198, 311) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (248, 
284) = -1024*as^5, (356, 359) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (384, 215
) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (39, 379) = -1024*as^5*cs^2, (85, 
336) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (106, 242) = 512*as^6-512*as
^4*bs^2+512*as^4*cs^2, (144, 97) = 1024*as^5, (262, 236) = 1024*as^5, (270, 270
) = -1024*as^5, (319, 331) = 512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (3, 231
) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (44, 208) = 512*as^5*cs^2-512*as^5*
es^2+512*as^5*fs^2, (54, 397) = -1024*as^5*cs^2, (244, 325) = -512*as^6+512*as^
4*ds^2-512*as^4*fs^2, (332, 383) = -512*as^6-512*as^4*ks^2+512*as^4*ls^2, (18,
370) = 1024*as^5*ks^2, (78, 241) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2,
(188, 128) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (323, 147) = -512*as^6+512*
as^4*ds^2-512*as^4*fs^2, (366, 43) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (369
, 173) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (372, 194) = -512*as^6+512*as^4*
ds^2-512*as^4*fs^2, (398, 190) = 512*as^5*fs^2+512*as^5*ks^2-512*as^5*ns^2, (
105, 147) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (137, 186) = 512*as^6-512*as^
4*bs^2+512*as^4*cs^2, (275, 84) = 1024*as^5, (290, 353) = -512*as^6+512*as^4*bs
^2-512*as^4*cs^2, (341, 354) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (24,
104) = -512*as^6-512*as^4*ks^2+512*as^4*ls^2, (30, 30) = -1024*as^5, (49, 236)
= 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (51, 194) = 512*as^6-512*as^4*bs^2+512*
as^4*cs^2, (160, 212) = -1024*as^5*cs^2, (318, 216) = -512*as^5*cs^2-512*as^5*
gs^2+512*as^5*is^2, (337, 141) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (396, 
40) = 1024*as^5*gs^2, (10, 347) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (
12, 12) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (12, 348) = -512*as^5*cs^2+512
*as^5*es^2-512*as^5*fs^2, (48, 103) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (
63, 285) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (143, 62) = -1024*as^5, (169,
169) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (224, 329) = 1024*as^5*cs^2, (288,
255) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (304, 304) = 512*as^5*cs^2+512*as^
5*gs^2-512*as^5*is^2, (347, 181) = 1024*as^5*fs^2, (366, 368) = -1024*as^5*fs^2
, (98, 98) = -1024*as^5, (99, 307) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (121
, 176) = 1024*as^5*cs^2, (125, 145) = 1024*as^5, (309, 337) = 1024*as^5, (383,
169) = 512*as^6+512*as^4*ks^2-512*as^4*ls^2, (16, 108) = -512*as^6-512*as^4*ks^
2+512*as^4*ls^2, (27, 27) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (82, 357) =
512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (330, 331) = 512*as^5*cs^2-512*as^5*
es^2+512*as^5*fs^2, (34, 34) = 1024*as^5, (148, 222) = 1024*as^5*cs^2, (241, 
294) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (282, 17) = 1024*as^5, (291, 357)
= 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (317, 165) = 1024*as^5, (358, 107) = 
1024*as^5, (28, 399) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (52, 52) = -\
1024*as^5, (243, 378) = -512*as^5*cs^2-512*as^5*ks^2+512*as^5*ms^2, (393, 198)
= 512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (45, 395) = 1024*as^5*cs^2, (187,
397) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (259, 315) = 1024*as^5, (285
, 329) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (350, 350) = 1024*as^5, (355, 
170) = 512*as^6+512*as^4*ks^2-512*as^4*ls^2, (9, 351) = -512*as^5*cs^2+512*as^5
*es^2-512*as^5*fs^2, (18, 18) = -512*as^6-512*as^4*ks^2+512*as^4*ls^2, (38, 191
) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (50, 385) = -1024*as^5*cs^2, (58, 69)
= 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (226, 226) = 1024*as^5, (355, 225) = 
512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (363, 363) = -512*as^6+512*as^4*bs^2
-512*as^4*cs^2, (375, 49) = -1024*as^5, (19, 234) = -512*as^5*cs^2-512*as^5*ks^
2+512*as^5*ms^2, (57, 157) = -512*as^5*fs^2-512*as^5*gs^2+512*as^5*js^2, (83, 
269) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (89, 57) = 1024*as^5, (121, 121)
= -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (138, 201) = 512*as^6-512*as^4*bs^2+
512*as^4*cs^2, (225, 211) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (284, 
285) = -1024*as^5, (344, 295) = 1024*as^5, (383, 224) = -512*as^5*cs^2+512*as^5
*es^2-512*as^5*fs^2, (52, 394) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (
102, 381) = -512*as^5*fs^2-512*as^5*gs^2+512*as^5*js^2, (385, 52) = -512*as^5*
fs^2-512*as^5*gs^2+512*as^5*js^2, (77, 297) = -512*as^6+512*as^4*bs^2-512*as^4*
cs^2, (204, 208) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (289, 289) = -1024*as
^5, (297, 291) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (319, 116) = -512*as^6-\
512*as^4*ks^2+512*as^4*ls^2, (330, 39) = 512*as^5*fs^2+512*as^5*gs^2-512*as^5*
js^2, (341, 273) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (13, 13) = 512*as^6-\
512*as^4*ds^2+512*as^4*fs^2, (44, 365) = 512*as^5*fs^2+512*as^5*gs^2-512*as^5*
js^2, (40, 213) = 512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (55, 273) = -512*
as^6-512*as^4*gs^2+512*as^4*hs^2, (198, 315) = -512*as^6-512*as^4*ks^2+512*as^4
*ls^2, (201, 138) = 1024*as^5, (220, 220) = -512*as^6+512*as^4*bs^2-512*as^4*cs
^2, (241, 241) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (265, 245) = -512*as^6-\
512*as^4*gs^2+512*as^4*hs^2, (324, 53) = -512*as^5*fs^2-512*as^5*ks^2+512*as^5*
ns^2, (333, 160) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (336, 309) = 512*as^5*
cs^2+512*as^5*gs^2-512*as^5*is^2, (38, 368) = 512*as^5*cs^2-512*as^5*es^2+512*
as^5*fs^2, (69, 239) = 1024*as^5*cs^2, (114, 140) = -1024*as^5, (360, 180) = -\
1024*as^5, (23, 23) = -512*as^6-512*as^4*ks^2+512*as^4*ls^2, (167, 167) = 1024*
as^5, (272, 233) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (317, 52) = 512*as^5*
fs^2+512*as^5*ks^2-512*as^5*ns^2, (332, 102) = 1024*as^5, (338, 155) = -1024*as
^5, (6, 8) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (21, 58) = -512*as^6-512*as
^4*gs^2+512*as^4*hs^2, (63, 328) = 1024*as^5*cs^2, (99, 99) = 1024*as^5, (112,
217) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (113, 139) = 1024*as^5, (218
, 396) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (252, 245) = 512*as^6+512*as^4*
ks^2-512*as^4*ls^2, (318, 301) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (374, 
362) = -1024*as^5, (396, 244) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (56
, 230) = -1024*as^5, (68, 311) = 1024*as^5*cs^2, (146, 146) = -1024*as^5, (355,
226) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (24, 283) = 512*as^6+512*as^
4*ks^2-512*as^4*ls^2, (66, 226) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (88, 
181) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (108, 244) = 512*as^6-512*as^4*bs
^2+512*as^4*cs^2, (357, 273) = -1024*as^5, (60, 60) = 512*as^6-512*as^4*ds^2+
512*as^4*fs^2, (70, 136) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (96, 183) = 
512*as^6-512*as^4*ds^2+512*as^4*fs^2, (115, 265) = -512*as^6+512*as^4*bs^2-512*
as^4*cs^2, (163, 333) = -1024*as^5, (217, 245) = 512*as^6-512*as^4*ds^2+512*as^
4*fs^2, (258, 311) = 512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (332, 333) = 
1024*as^5, (376, 33) = -1024*as^5, (24, 226) = 512*as^5*fs^2+512*as^5*ks^2-512*
as^5*ns^2, (117, 266) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (153, 386) = 512
*as^6-512*as^4*bs^2+512*as^4*cs^2, (166, 166) = -1024*as^5, (266, 111) = 512*as
^6+512*as^4*gs^2-512*as^4*hs^2, (275, 184) = -512*as^6-512*as^4*gs^2+512*as^4*
hs^2, (310, 152) = -512*as^5*fs^2-512*as^5*gs^2+512*as^5*js^2, (316, 202) = -\
512*as^5*cs^2-512*as^5*ks^2+512*as^5*ms^2, (382, 382) = 1024*as^5, (24, 24) = -\
512*as^6-512*as^4*ks^2+512*as^4*ls^2, (83, 134) = 512*as^6+512*as^4*gs^2-512*as
^4*hs^2, (83, 287) = 512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (112, 116) = 
512*as^6-512*as^4*ds^2+512*as^4*fs^2, (207, 140) = -512*as^6+512*as^4*bs^2-512*
as^4*cs^2, (243, 268) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (340, 340) = 
1024*as^5, (375, 202) = 512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (396, 42) =
-512*as^5*gs^2-512*as^5*ks^2+512*as^5*os^2, (17, 271) = 512*as^6+512*as^4*ks^2-\
512*as^4*ls^2, (100, 309) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (242, 267) =
512*as^6+512*as^4*gs^2-512*as^4*hs^2, (277, 338) = -512*as^6+512*as^4*bs^2-512*
as^4*cs^2, (337, 276) = -1024*as^5, (381, 102) = 512*as^6+512*as^4*gs^2-512*as^
4*hs^2, (88, 88) = 1024*as^5, (98, 184) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2,
(107, 214) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (134, 305) = -512*as^6+512*
as^4*ds^2-512*as^4*fs^2, (150, 127) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (
284, 328) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (302, 276) = -512*as^6+512*
as^4*bs^2-512*as^4*cs^2, (359, 108) = 1024*as^5, (23, 102) = -512*as^6-512*as^4
*ks^2+512*as^4*ls^2, (149, 325) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (276, 
302) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (319, 106) = 512*as^6+512*as
^4*gs^2-512*as^4*hs^2, (105, 146) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (173
, 392) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (281, 281) = 512*as^5*cs^2-512*
as^5*es^2+512*as^5*fs^2, (327, 279) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (
337, 227) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (381, 249) = -512*as^5*
cs^2-512*as^5*gs^2+512*as^5*is^2, (385, 37) = -512*as^6-512*as^4*gs^2+512*as^4*
hs^2, (81, 355) = 1024*as^5, (85, 85) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2,
(90, 137) = 1024*as^5, (102, 285) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (199,
316) = -1024*as^5, (234, 281) = 1024*as^5, (282, 271) = -1024*as^5, (311, 209)
= -512*as^5*cs^2-512*as^5*ks^2+512*as^5*ms^2, (328, 223) = 1024*as^5*fs^2, (25,
25) = 1024*as^5, (116, 41) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (118, 118)
= 1024*as^5, (258, 137) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (14, 341) = -\
512*as^6+512*as^4*bs^2-512*as^4*cs^2, (17, 232) = -512*as^5*cs^2-512*as^5*ks^2+
512*as^5*ms^2, (62, 304) = 1024*as^5*cs^2, (86, 213) = 512*as^5*cs^2+512*as^5*
gs^2-512*as^5*is^2, (148, 221) = -1024*as^5*cs^2, (169, 383) = -512*as^5*cs^2+
512*as^5*es^2-512*as^5*fs^2, (198, 137) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2,
(314, 316) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (320, 206) = -1024*as^5*cs^2
, (398, 283) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (17, 201) = -512*as^5*gs^
2-512*as^5*ks^2+512*as^5*os^2, (85, 177) = -1024*as^5, (94, 313) = 512*as^5*cs^
2-512*as^5*es^2+512*as^5*fs^2, (126, 185) = -1024*as^5*cs^2, (189, 61) = -1024*
as^5, (252, 330) = -1024*as^5, (328, 381) = 512*as^5*fs^2+512*as^5*gs^2-512*as^
5*js^2, (19, 19) = -512*as^6-512*as^4*ks^2+512*as^4*ls^2, (79, 69) = 1024*as^5,
(149, 222) = -1024*as^5*cs^2, (169, 301) = -512*as^6+512*as^4*bs^2-512*as^4*cs^
2, (389, 164) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (13, 292) = -512*as^6+512
*as^4*bs^2-512*as^4*cs^2, (114, 190) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (
273, 293) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (315, 386) = -512*as^5*cs^2+
512*as^5*es^2-512*as^5*fs^2, (381, 113) = -512*as^6-512*as^4*ks^2+512*as^4*ls^2
, (235, 235) = 1024*as^5, (252, 331) = 1024*as^5, (294, 353) = 1024*as^5*cs^2,
(313, 165) = 1024*as^5, (317, 37) = 512*as^6+512*as^4*ks^2-512*as^4*ls^2, (319,
265) = 512*as^5*cs^2+512*as^5*ks^2-512*as^5*ms^2, (9, 370) = -122880*as^4*vo, (
65, 66) = -1024*as^5, (82, 133) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (83, 
305) = -512*as^5*fs^2-512*as^5*gs^2+512*as^5*js^2, (133, 354) = -512*as^6+512*
as^4*ds^2-512*as^4*fs^2, (136, 196) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (
188, 378) = 512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (250, 286) = -1024*as^5,
(355, 251) = -1024*as^5*cs^2, (382, 399) = -1024*as^5*fs^2, (6, 122) = 512*as^6
-512*as^4*bs^2+512*as^4*cs^2, (17, 369) = 1024*as^5*ks^2, (112, 319) = 512*as^5
*cs^2-512*as^5*es^2+512*as^5*fs^2, (180, 374) = 512*as^6+512*as^4*gs^2-512*as^4
*hs^2, (187, 213) = 1024*as^5, (193, 127) = -1024*as^5, (324, 54) = 512*as^5*fs
^2+512*as^5*gs^2-512*as^5*js^2, (374, 47) = -512*as^6+512*as^4*ds^2-512*as^4*fs
^2, (11, 11) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (26, 26) = -1024*as^5, (
131, 78) = -1024*as^5, (245, 245) = 1024*as^5, (336, 71) = 1024*as^5*fs^2, (370
, 386) = 1024*as^5*fs^2, (371, 392) = 512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2
, (42, 42) = 1024*as^5, (59, 334) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2,
(63, 64) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (252, 252) = 1024*as^5, (252,
377) = -512*as^5*cs^2-512*as^5*ks^2+512*as^5*ms^2, (299, 399) = -512*as^6+512*
as^4*bs^2-512*as^4*cs^2, (319, 150) = 512*as^5*fs^2+512*as^5*ks^2-512*as^5*ns^2
, (330, 41) = -512*as^5*fs^2-512*as^5*ks^2+512*as^5*ns^2, (367, 360) = 1024*as^
5, (107, 87) = 1024*as^5, (146, 220) = -1024*as^5*cs^2, (148, 149) = -1024*as^5
, (234, 199) = 512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (238, 238) = 512*as^6
-512*as^4*bs^2+512*as^4*cs^2, (243, 380) = 512*as^5*cs^2+512*as^5*gs^2-512*as^5
*is^2, (248, 285) = 1024*as^5, (274, 131) = 1024*as^5, (312, 204) = -512*as^6-\
512*as^4*ks^2+512*as^4*ls^2, (318, 113) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2,
(381, 224) = -512*as^5*fs^2-512*as^5*gs^2+512*as^5*js^2, (36, 361) = -512*as^6-\
512*as^4*gs^2+512*as^4*hs^2, (56, 56) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2,
(193, 193) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (295, 327) = -512*as^6+512*
as^4*bs^2-512*as^4*cs^2, (312, 371) = 512*as^5*cs^2+512*as^5*ks^2-512*as^5*ms^2
, (330, 330) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (355, 66) = 512*as^6
-512*as^4*ds^2+512*as^4*fs^2, (97, 308) = -1024*as^5*cs^2, (108, 108) = -1024*
as^5, (152, 182) = -1024*as^5*cs^2, (239, 296) = -1024*as^5, (252, 267) = -512*
as^6-512*as^4*gs^2+512*as^4*hs^2, (256, 33) = -1024*as^5, (278, 278) = 1024*as^
5, (378, 378) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (386, 205) = 512*as^6+512
*as^4*gs^2-512*as^4*hs^2, (2, 1) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (158,
158) = -1024*as^5, (395, 280) = 1024*as^5*cs^2, (33, 7) = 1024*as^5*fs^2, (55,
229) = -1024*as^5, (64, 224) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (84, 270)
= -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (86, 54) = -512*as^5*fs^2-512*as^5*gs^
2+512*as^5*js^2, (255, 342) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (286, 250)
= 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (338, 307) = -512*as^5*cs^2+512*as^5*es
^2-512*as^5*fs^2, (353, 257) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (358, 106
) = 1024*as^5, (163, 381) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (198, 386) =
-512*as^5*fs^2-512*as^5*ks^2+512*as^5*ns^2, (305, 305) = 1024*as^5*fs^2, (332,
381) = 512*as^6+512*as^4*gs^2-512*as^4*hs^2, (3, 3) = 1024*as^5, (47, 360) = 
512*as^6-512*as^4*ds^2+512*as^4*fs^2, (94, 165) = 1024*as^5, (110, 110) = 1024*
as^5, (230, 230) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (240, 240) = -512*as^
6-512*as^4*gs^2+512*as^4*hs^2, (309, 227) = -512*as^6+512*as^4*bs^2-512*as^4*cs
^2, (312, 321) = 512*as^6+512*as^4*ks^2-512*as^4*ls^2, (318, 318) = 512*as^5*cs
^2-512*as^5*es^2+512*as^5*fs^2, (344, 279) = 512*as^6-512*as^4*ds^2+512*as^4*fs
^2, (10, 10) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (88, 304) = 512*as^6-512*
as^4*bs^2+512*as^4*cs^2, (216, 301) = -1024*as^5, (246, 210) = 1024*as^5, (248,
328) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (272, 18) = 1024*as^5, (300, 381)
= 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (27, 326) = 512*as^6-512*as^4*bs^2+512*
as^4*cs^2, (135, 195) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (207, 384)
= 512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (225, 398) = -512*as^5*fs^2-512*as
^5*ks^2+512*as^5*ns^2, (239, 239) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2,
(340, 341) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (359, 40) = 512*as^6+512*as^
4*gs^2-512*as^4*hs^2, (372, 389) = 512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (
57, 89) = 1024*as^5*fs^2, (79, 356) = 512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2
, (104, 382) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (132, 77) = 1024*as^5, (
210, 378) = -1024*as^5*cs^2, (252, 242) = -1024*as^5, (282, 197) = 512*as^6-512
*as^4*ds^2+512*as^4*fs^2, (298, 298) = 1024*as^5, (331, 323) = 512*as^6-512*as^
4*ds^2+512*as^4*fs^2, (369, 371) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2,
(42, 210) = 512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (226, 299) = -512*as^6-\
512*as^4*gs^2+512*as^4*hs^2, (245, 377) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2
, (366, 191) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (12, 22) = 1024*as^5*fs^2
, (31, 57) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (55, 354) = -512*as^5*fs^2-\
512*as^5*gs^2+512*as^5*js^2, (72, 303) = -1024*as^5*cs^2, (97, 97) = -512*as^6+
512*as^4*ds^2-512*as^4*fs^2, (102, 102) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2
, (147, 323) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (182, 310) = 1024*as^5, (
265, 127) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (280, 312) = -512*as^5*cs^2-\
512*as^5*gs^2+512*as^5*is^2, (282, 282) = 1024*as^5, (304, 143) = -512*as^6-512
*as^4*gs^2+512*as^4*hs^2, (352, 239) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (
369, 321) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (370, 370) = -1024*as^5, (
372, 363) = -512*as^5*cs^2-512*as^5*gs^2+512*as^5*is^2, (152, 310) = 512*as^6-\
512*as^4*bs^2+512*as^4*cs^2, (163, 102) = -1024*as^5, (169, 216) = 1024*as^5*cs
^2, (234, 135) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (315, 315) = -512*as^6+
512*as^4*bs^2-512*as^4*cs^2, (332, 163) = -1024*as^5, (341, 132) = 512*as^6-512
*as^4*ds^2+512*as^4*fs^2, (355, 65) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (
18, 178) = -1024*as^5, (18, 272) = 512*as^6+512*as^4*ks^2-512*as^4*ls^2, (46, 
46) = -1024*as^5, (57, 358) = 512*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (60, 
255) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (236, 236) = -512*as^6+512*
as^4*ds^2-512*as^4*fs^2, (333, 285) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (
351, 13) = -1024*as^5, (9, 9) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (19, 76)
= 512*as^5*fs^2+512*as^5*ks^2-512*as^5*ns^2, (49, 375) = -1024*as^5*cs^2, (96,
144) = 1024*as^5, (234, 375) = -512*as^5*cs^2-512*as^5*ks^2+512*as^5*ms^2, (248
, 329) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (320, 383) = 512*as^5*cs^2+512*
as^5*gs^2-512*as^5*is^2, (339, 369) = 512*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2
, (381, 171) = 512*as^6+512*as^4*ks^2-512*as^4*ls^2, (113, 113) = -1024*as^5, (
257, 81) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (302, 85) = 1024*as^5, (328,
224) = -1024*as^5*fs^2, (389, 281) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (43,
191) = 1024*as^5, (50, 50) = 1024*as^5, (308, 130) = -512*as^6+512*as^4*ds^2-\
512*as^4*fs^2, (367, 367) = -1024*as^5*cs^2, (4, 4) = -1024*as^5, (24, 225) = -\
512*as^5*fs^2-512*as^5*ks^2+512*as^5*ns^2, (59, 59) = -512*as^6+512*as^4*ds^2-\
512*as^4*fs^2, (93, 93) = 1024*as^5, (109, 261) = -512*as^6+512*as^4*bs^2-512*
as^4*cs^2, (165, 162) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (311, 366) = -512
*as^5*gs^2-512*as^5*ks^2+512*as^5*os^2, (336, 100) = 512*as^6+512*as^4*gs^2-512
*as^4*hs^2, (368, 368) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (383, 381) = 512
*as^5*cs^2+512*as^5*gs^2-512*as^5*is^2, (54, 54) = 1024*as^5, (61, 189) = 512*
as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (83, 256) = -1024*as^5, (173, 321) = 
1024*as^5, (355, 250) = 1024*as^5*cs^2, (40, 40) = 1024*as^5, (172, 386) = 512*
as^6-512*as^4*ds^2+512*as^4*fs^2, (326, 27) = -1024*as^5, (380, 268) = -512*as^
6+512*as^4*bs^2-512*as^4*cs^2, (397, 156) = -512*as^6+512*as^4*ds^2-512*as^4*fs
^2, (8, 8) = -1024*as^5, (8, 123) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (17,
17) = -512*as^6-512*as^4*ks^2+512*as^4*ls^2, (174, 215) = 512*as^5*cs^2-512*as^
5*es^2+512*as^5*fs^2, (209, 205) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (223,
223) = 512*as^6-512*as^4*bs^2+512*as^4*cs^2, (268, 380) = 512*as^6-512*as^4*bs^
2+512*as^4*cs^2, (393, 74) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (35, 393) =
512*as^6-512*as^4*ds^2+512*as^4*fs^2, (92, 138) = -512*as^6+512*as^4*bs^2-512*
as^4*cs^2, (182, 182) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (242, 220) = 512
*as^5*cs^2-512*as^5*es^2+512*as^5*fs^2, (250, 283) = 1024*as^5, (287, 305) = -\
512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (371, 45) = 512*as^6+512*as^4*gs^2-\
512*as^4*hs^2, (392, 392) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (60, 
288) = -512*as^6+512*as^4*bs^2-512*as^4*cs^2, (97, 183) = 512*as^5*cs^2-512*as^
5*es^2+512*as^5*fs^2, (198, 90) = -512*as^6-512*as^4*gs^2+512*as^4*hs^2, (198,
186) = 512*as^5*fs^2+512*as^5*gs^2-512*as^5*js^2, (217, 217) = 1024*as^5, (227,
309) = -1024*as^5, (243, 243) = 1024*as^5, (283, 251) = 1024*as^5*cs^2, (84, 
176) = -1024*as^5, (95, 164) = -512*as^6+512*as^4*ds^2-512*as^4*fs^2, (226, 399
) = -512*as^5*fs^2-512*as^5*gs^2+512*as^5*js^2, (358, 242) = -512*as^6+512*as^4
*bs^2-512*as^4*cs^2, (23, 240) = -1024*as^5, (25, 392) = -512*as^6+512*as^4*bs^
2-512*as^4*cs^2, (45, 365) = -512*as^5*cs^2+512*as^5*es^2-512*as^5*fs^2, (89, 
89) = 512*as^6-512*as^4*ds^2+512*as^4*fs^2, (127, 193) = 512*as^5*cs^2-512*as^5
*es^2+512*as^5*fs^2, (223, 64) = 1024*as^5, (240, 55) = 1024*as^5}, storage = 
sparse);
