// CHARACTERISTIC p = 37

j1 := (29*j0^25 + 5*j0^26 + 28*j0^27 + 33*j0^28 + 32*j0^29 + 9*j0^30 +
     9*j0^31 + 19*j0^32 + 27*j0^33 + 28*j0^34 + 14*j0^35 + 35*j0^36 +
     34*j0^37 + 6*j0^38 + 31*j0^39)/(35 + 26*j0 + 16*j0^2 + 20*j0^3);

j2 := (33*j0^1593 + 4*j0^1592 + 35*j0^1591 + 11*j0^1590 + 34*j0^1589 +
    31*j0^1588 + 18*j0^1587 + 25*j0^1586 + 6*j0^1585 + 6*j0^1584 +
    9*j0^1583 + 22*j0^1582 + 31*j0^1581 + 28*j0^1580 + 7*j0^1579 +
    25*j0^1557 + 20*j0^1556 + 6*j0^1555 + 19*j0^1554 + 27*j0^1553 +
    2*j0^1552 + 25*j0^1551 + 11*j0^1550 + 12*j0^1549 + 36*j0^1548 +
    33*j0^1547 + 28*j0^1546 + 5*j0^1545 + 7*j0^1544 + 3*j0^1543 +
    16*j0^1542 + 10*j0^1541 + 11*j0^1540 + 10*j0^1539 + 2*j0^1538 +
    31*j0^1537 + j0^1536 + 11*j0^1535 + 20*j0^1534 + 17*j0^1533 +
    24*j0^1532 + 10*j0^1531 + 30*j0^1530 + 11*j0^1529 + 11*j0^1528 +
    2*j0^1527 + 35*j0^1526 + 9*j0^1525 + 6*j0^1524 + 8*j0^1523 +
    6*j0^1522 + 36*j0^1521 + 18*j0^1520 + 12*j0^1519 + 10*j0^1518 +
    14*j0^1517 + 34*j0^1516 + 25*j0^1515 + 36*j0^1514 + 16*j0^1513 +
    28*j0^1512 + 16*j0^1511 + 30*j0^1510 + 17*j0^1509 + 36*j0^1508 +
    31*j0^1507 + 25*j0^1506 + 15*j0^1504 + 18*j0^1503 + 36*j0^1502 +
    28*j0^1501 + 21*j0^1500 + 28*j0^1499 + 6*j0^1498 + 15*j0^1497 +
    7*j0^1496 + 33*j0^1495 + 22*j0^1494 + 35*j0^1493 + 12*j0^1492 +
    4*j0^1491 + 20*j0^1490 + 35*j0^1489 + 36*j0^1488 + 22*j0^1487 +
    21*j0^1486 + 33*j0^1485 + 16*j0^1484 + 18*j0^1483 + 20*j0^1482 +
    8*j0^1481 + 33*j0^1480 + 25*j0^1479 + 2*j0^1478 + 20*j0^1477 +
    7*j0^1476 + 18*j0^1475 + 35*j0^1474 + 7*j0^1473 + 14*j0^1472 +
    3*j0^1471 + 36*j0^1469 + 31*j0^1468 + 21*j0^1467 + 23*j0^1466 +
    22*j0^1465 + 14*j0^1464 + 7*j0^1463 + 35*j0^1462 + 34*j0^1461 +
    2*j0^1460 + 29*j0^1459 + 5*j0^1458 + 25*j0^1457 + 13*j0^1455 +
    12*j0^1454 + 33*j0^1453 + 16*j0^1452 + 36*j0^1450 + 5*j0^1449 +
    2*j0^1448 + 33*j0^1447 + 23*j0^1446 + 32*j0^1445 + 24*j0^1444 +
    7*j0^1443 + 36*j0^1442 + 7*j0^1441 + 15*j0^1440 + 3*j0^1439 +
    3*j0^1438 + 21*j0^1437 + 6*j0^1436 + 31*j0^1435 + 6*j0^1434 +
    13*j0^1433 + 21*j0^1432 + 23*j0^1431 + 26*j0^1430 + 22*j0^1429 +
    4*j0^1428 + 31*j0^1427 + 34*j0^1426 + 18*j0^1425 + 30*j0^1424 +
    2*j0^1423 + 32*j0^1422 + 10*j0^1421 + 9*j0^1420 + 17*j0^1419 +
    25*j0^1418 + 26*j0^1417 + 26*j0^1416 + 2*j0^1415 + 36*j0^1414 +
    15*j0^1413 + 20*j0^1412 + 27*j0^1411 + 11*j0^1410 + 2*j0^1409 +
    21*j0^1408 + 33*j0^1407 + 32*j0^1406 + 22*j0^1405 + 24*j0^1404 +
    32*j0^1403 + 19*j0^1402 + 5*j0^1400 + 2*j0^1399 + 33*j0^1398 +
    9*j0^1397 + 9*j0^1396 + j0^1395 + 3*j0^1394 + 22*j0^1393 +
    36*j0^1392 + 14*j0^1391 + 21*j0^1390 + 12*j0^1389 + 13*j0^1388 +
    33*j0^1387 + 20*j0^1386 + 23*j0^1385 + 32*j0^1384 + 33*j0^1383 +
    7*j0^1382 + 34*j0^1381 + 26*j0^1380 + 31*j0^1379 + 10*j0^1378 +
    2*j0^1377 + 10*j0^1376 + 19*j0^1375 + 20*j0^1374 + 36*j0^1373 +
    8*j0^1372 + 17*j0^1371 + 26*j0^1370 + 35*j0^1369 + j0^1368 +
    8*j0^1367 + 23*j0^1366 + 24*j0^1364 + 29*j0^1363 + 4*j0^1362 +
    9*j0^1361 + 4*j0^1360 + 9*j0^1359 + 35*j0^1358 + 15*j0^1357 +
    25*j0^1356 + 6*j0^1355 + 8*j0^1354 + 8*j0^1353 + 6*j0^1352 +
    9*j0^1351 + 3*j0^1350 + 23*j0^1349 + 5*j0^1348 + 15*j0^1347 +
    16*j0^1346 + 9*j0^1345 + 13*j0^1344 + 3*j0^1343 + 11*j0^1342 +
    24*j0^1341 + 25*j0^1340 + 6*j0^1339 + 15*j0^1338 + 13*j0^1337 +
    24*j0^1336 + 22*j0^1335 + 4*j0^1334 + 21*j0^1333 + 27*j0^1332 +
    8*j0^1331 + 4*j0^1330 + 13*j0^1329 + 33*j0^1328 + 20*j0^1327 +
    22*j0^1326 + 33*j0^1325 + 10*j0^1324 + 32*j0^1323 + 28*j0^1322 +
    19*j0^1321 + 22*j0^1320 + 33*j0^1319 + 25*j0^1318 + 12*j0^1317 +
    13*j0^1316 + 17*j0^1315 + 12*j0^1314 + 35*j0^1313 + 12*j0^1312 +
    28*j0^1311 + 17*j0^1309 + 30*j0^1308 + 28*j0^1307 + 20*j0^1306 +
    23*j0^1305 + 19*j0^1304 + 23*j0^1303 + 28*j0^1302 + 14*j0^1301 +
    33*j0^1300 + 15*j0^1299 + 10*j0^1298 + 33*j0^1297 + 6*j0^1296 +
    36*j0^1295 + 15*j0^1294 + 10*j0^1293 + 7*j0^1292 + 21*j0^1291 +
    34*j0^1290 + 6*j0^1289 + 8*j0^1288 + 12*j0^1287 + 27*j0^1286 +
    10*j0^1285 + 4*j0^1284 + 27*j0^1283 + 26*j0^1282 + 27*j0^1281 +
    24*j0^1280 + 16*j0^1279 + 13*j0^1278 + j0^1277 + 32*j0^1276 +
    31*j0^1275 + 19*j0^1274 + 31*j0^1273 + 24*j0^1272 + 7*j0^1271 +
    15*j0^1270 + 26*j0^1269 + 2*j0^1268 + 15*j0^1267 + 9*j0^1266 +
    4*j0^1265 + 27*j0^1264 + j0^1263 + 3*j0^1262 + j0^1261 + 5*j0^1260
    + 34*j0^1259 + 31*j0^1258 + 14*j0^1256 + 6*j0^1255 + 12*j0^1254 +
    35*j0^1253 + 21*j0^1252 + 10*j0^1251 + 29*j0^1250 + 30*j0^1249 +
    2*j0^1248 + 35*j0^1247 + 6*j0^1246 + 26*j0^1244 + 21*j0^1243 +
    20*j0^1242 + 19*j0^1241 + 10*j0^1240 + 11*j0^1239 + 11*j0^1238 +
    4*j0^1237 + 33*j0^1236 + 14*j0^1235 + 15*j0^1234 + 4*j0^1233 +
    2*j0^1232 + 17*j0^1231 + 9*j0^1230 + 36*j0^1229 + 18*j0^1228 +
    3*j0^1227 + 11*j0^1226 + 33*j0^1225 + 31*j0^1224 + 35*j0^1223 +
    24*j0^1222 + 15*j0^1221 + 33*j0^1220 + j0^1219 + 33*j0^1218 +
    31*j0^1217 + 15*j0^1216 + 8*j0^1215 + 33*j0^1214 + 3*j0^1213 +
    22*j0^1212 + 25*j0^1211 + 33*j0^1210 + 26*j0^1209 + 27*j0^1208 +
    23*j0^1207 + 6*j0^1206 + 20*j0^1205 + 30*j0^1204 + 10*j0^1203 +
    13*j0^1202 + 19*j0^1201 + 13*j0^1200 + 12*j0^1199 + 14*j0^1198 +
    36*j0^1197 + 22*j0^1196 + 21*j0^1195 + 34*j0^1194 + 28*j0^1193 +
    j0^1192 + 13*j0^1191 + 26*j0^1190 + 25*j0^1189 + 7*j0^1188 +
    10*j0^1187 + 11*j0^1186 + 33*j0^1185 + 9*j0^1184 + 3*j0^1183 +
    8*j0^1182 + 12*j0^1181 + 28*j0^1180 + 29*j0^1179 + 14*j0^1178 +
    25*j0^1177 + 5*j0^1176 + 17*j0^1175 + 15*j0^1174 + 30*j0^1173 +
    15*j0^1172 + 2*j0^1171 + 15*j0^1170 + 5*j0^1169 + 21*j0^1168 +
    6*j0^1167 + 27*j0^1166 + 17*j0^1165 + 11*j0^1163 + 3*j0^1162 +
    27*j0^1161 + 15*j0^1160 + 26*j0^1159 + 6*j0^1158 + 8*j0^1157 +
    31*j0^1156 + 20*j0^1155 + 18*j0^1154 + 24*j0^1153 + 25*j0^1152 +
    29*j0^1151 + 29*j0^1150 + 18*j0^1149 + 17*j0^1148 + 26*j0^1147 +
    28*j0^1146 + 16*j0^1145 + 5*j0^1144 + 13*j0^1143 + 29*j0^1142 +
    28*j0^1141 + 35*j0^1140 + 10*j0^1139 + 31*j0^1138 + 30*j0^1137 +
    6*j0^1136 + 22*j0^1135 + 14*j0^1134 + 19*j0^1133 + 18*j0^1132 +
    12*j0^1131 + 6*j0^1130 + 32*j0^1129 + 31*j0^1128 + 17*j0^1127 +
    9*j0^1126 + 36*j0^1125 + j0^1124 + 24*j0^1123 + 7*j0^1122 +
    26*j0^1121 + 9*j0^1120 + 34*j0^1119 + 15*j0^1118 + 34*j0^1117 +
    11*j0^1116 + 12*j0^1115 + 4*j0^1114 + 3*j0^1113 + 34*j0^1112 +
    5*j0^1111 + 12*j0^1110 + 6*j0^1109 + 33*j0^1108 + 15*j0^1107 +
    36*j0^1106 + 22*j0^1105 + 10*j0^1104 + 16*j0^1103 + 24*j0^1102 +
    35*j0^1101 + j0^1100 + 23*j0^1099 + 33*j0^1098 + 31*j0^1097 +
    27*j0^1096 + 6*j0^1095 + 4*j0^1094 + 20*j0^1093 + 32*j0^1092 +
    17*j0^1091 + 8*j0^1090 + 22*j0^1089 + 13*j0^1088 + 13*j0^1087 +
    10*j0^1086 + 10*j0^1085 + 18*j0^1084 + 33*j0^1083 + 30*j0^1082 +
    12*j0^1081 + 34*j0^1080 + 29*j0^1079 + 28*j0^1078 + 10*j0^1077 +
    28*j0^1076 + 34*j0^1075 + 24*j0^1074 + 18*j0^1073 + 20*j0^1072 +
    29*j0^1071 + 8*j0^1070 + 16*j0^1069 + 9*j0^1068 + 30*j0^1067 +
    8*j0^1066 + 6*j0^1065 + 5*j0^1064 + 18*j0^1063 + 5*j0^1062 +
    36*j0^1061 + 32*j0^1060 + 27*j0^1059 + 4*j0^1058 + 35*j0^1057 +
    36*j0^1056 + 21*j0^1055 + 8*j0^1054 + 19*j0^1053 + 32*j0^1052 +
    4*j0^1051 + j0^1050 + 12*j0^1049 + j0^1048 + 16*j0^1047 +
    28*j0^1046 + 14*j0^1045 + 17*j0^1044 + 14*j0^1043 + 28*j0^1042 +
    20*j0^1041 + 26*j0^1040 + 2*j0^1039 + 10*j0^1038 + 21*j0^1037 +
    25*j0^1036 + 25*j0^1035 + 21*j0^1034 + 9*j0^1033 + 24*j0^1032 +
    31*j0^1031 + 8*j0^1030 + 18*j0^1029 + 15*j0^1028 + 20*j0^1027 +
    14*j0^1026 + 10*j0^1025 + 18*j0^1024 + 13*j0^1023 + 25*j0^1022 +
    4*j0^1021 + 7*j0^1020 + 2*j0^1019 + 9*j0^1018 + 35*j0^1016 +
    31*j0^1015 + 14*j0^1014 + 6*j0^1013 + 36*j0^1012 + 21*j0^1011 +
    26*j0^1010 + 28*j0^1009 + 23*j0^1008 + 34*j0^1007 + 31*j0^1006 +
    31*j0^1005 + 11*j0^1004 + 35*j0^1003 + 22*j0^1002 + 9*j0^1000 +
    9*j0^999 + j0^998 + 21*j0^997 + 29*j0^996 + 32*j0^994 + 13*j0^993
    + 35*j0^992 + 5*j0^991 + 22*j0^990 + 23*j0^989 + 2*j0^988 +
    7*j0^987 + 34*j0^986 + 23*j0^985 + 23*j0^984 + 10*j0^983 +
    26*j0^982 + 21*j0^981 + 25*j0^980 + 8*j0^979 + 4*j0^978 +
    15*j0^977 + 26*j0^976 + 4*j0^975 + 19*j0^974 + 24*j0^973 +
    21*j0^972 + 12*j0^971 + 7*j0^970 + 24*j0^969 + 10*j0^968 +
    9*j0^966 + 34*j0^965 + j0^964 + 30*j0^963 + 19*j0^962 + 2*j0^961 +
    6*j0^960 + 4*j0^959 + 35*j0^958 + 16*j0^956 + 21*j0^955 + 2*j0^954
    + 33*j0^953 + 25*j0^952 + 32*j0^951 + 34*j0^950 + 28*j0^949 +
    11*j0^948 + j0^947 + 22*j0^946 + 24*j0^945 + 19*j0^944 + 10*j0^943
    + 30*j0^942 + 12*j0^940 + 30*j0^939 + 13*j0^938 + 29*j0^937 +
    6*j0^936 + 33*j0^935 + 34*j0^934 + 2*j0^933 + 14*j0^932 +
    28*j0^931 + 24*j0^930 + 9*j0^929 + 2*j0^928 + 10*j0^927 +
    15*j0^926 + 28*j0^925 + 11*j0^924 + 34*j0^923 + 31*j0^922 +
    18*j0^921 + 25*j0^920 + 6*j0^919 + 6*j0^918 + 9*j0^917 + 22*j0^916
    + 31*j0^915 + 28*j0^914 + 7*j0^913 + j0^891 + 23*j0^890 + 5*j0^889
    + 11*j0^888 + 7*j0^854 + 13*j0^853 + 35*j0^852 + 3*j0^851 +
    36*j0^817 + 14*j0^816 + 32*j0^815 + 26*j0^814 + 25*j0^780 +
    20*j0^779 + 14*j0^778 + 16*j0^777 + 16*j0^743 + 35*j0^742 +
    6*j0^741 + 28*j0^740 + 31*j0^706 + 10*j0^705 + 7*j0^704 + 8*j0^703
    + 34*j0^669 + 5*j0^668 + 22*j0^667 + 4*j0^666 + 33*j0^632 +
    19*j0^631 + 17*j0^630 + 30*j0^629 + 3*j0^595 + 32*j0^594 +
    15*j0^593 + 33*j0^592 + 36*j0^558 + 14*j0^557 + 32*j0^556 +
    26*j0^555 + 32*j0^521 + 33*j0^520 + 12*j0^519 + 19*j0^518 +
    4*j0^484 + 18*j0^483 + 20*j0^482 + 7*j0^481)/(j0^225 + 23*j0^224 +
    5*j0^223 + 11*j0^222 + 9*j0^188 + 22*j0^187 + 8*j0^186 + 25*j0^185
    + 21*j0^151 + 2*j0^150 + 31*j0^149 + 9*j0^148 + 30*j0^114 +
    24*j0^113 + 2*j0^112 + 34*j0^111 + 13*j0^77 + 3*j0^76 + 28*j0^75 +
    32*j0^74 + 36*j0^40 + 14*j0^39 + 32*j0^38 + 26*j0^37 + 10*j0^3 +
    8*j0^2 + 13*j0 + 36);


