// Start with a permutation representation of the subgroup H. This is taken from the ATLAS.

H<x,y>:=PermutationGroup<1755|\[
93,110,21,17,172,37,210,46,28,266,60,34,319,73,337,35,4,396,410,97,3,461,57,491,117,
85,124,9,70,586,143,607,149,12,16,161,6,691,90,725,181,745,188,409,197,8,804,109,781,218,
158,114,470,112,668,238,23,150,253,11,967,135,527,274,140,501,67,1023,292,29,600,72,14,290,754,
323,478,330,684,169,1033,347,961,354,26,1154,369,568,373,39,1220,386,1,567,95,399,20,1249,207,686,
420,992,427,215,1297,436,1295,443,48,2,432,54,895,52,1277,340,25,118,250,1386,500,890,507,27,263,
884,446,483,380,272,1021,455,953,447,62,284,460,561,1034,65,1253,574,31,1103,303,1042,147,706,33,58,
316,723,376,1086,159,584,388,51,155,642,36,973,655,344,315,649,612,577,80,1562,680,5,1570,366,1500,
701,1410,377,545,715,41,1417,383,1111,730,1595,735,43,914,394,928,672,920,194,1478,756,45,589,199,1408,
769,417,1483,486,923,581,99,565,437,7,802,212,1364,810,104,608,820,50,476,453,1636,831,458,733,788,
1644,843,467,1589,856,231,482,477,261,873,1063,878,56,1620,489,1650,548,1139,244,498,1000,904,294,385,119,
1322,748,59,1088,519,1557,939,525,1550,705,234,952,125,1354,960,10,1181,541,792,972,964,130,747,64,1581,
553,766,841,558,1442,418,392,996,136,562,1002,571,922,531,74,1012,69,1604,248,295,631,666,722,398,903,
1040,881,145,1702,1048,606,1149,1056,1461,419,613,974,676,583,165,151,552,1071,13,1125,965,1082,76,1176,639,
1189,1094,1622,1098,78,331,652,1537,1110,1607,1113,15,1130,664,116,341,1147,1128,164,921,538,82,911,677,644,
1112,1232,1144,84,617,688,618,645,1066,1162,698,604,1172,1287,397,174,1312,1184,87,1726,1344,1191,89,374,724,
153,178,1115,660,129,381,742,183,818,249,92,1116,157,757,619,1068,282,393,190,1733,18,365,299,96,1606,
763,1300,1239,1552,682,768,1324,1158,44,19,411,778,413,1252,1084,1256,202,281,310,101,969,794,1614,892,1603,
1274,103,428,518,430,718,111,1290,1271,997,106,209,704,1651,1061,1404,955,108,1522,790,127,134,456,1330,463,
1339,1303,220,838,132,448,1087,223,1080,137,22,554,450,1657,1715,779,228,1532,469,53,1681,871,957,516,1634,
219,233,77,1351,1078,824,232,128,1360,762,204,1055,1363,240,1291,24,492,901,1745,1376,1746,1292,245,1057,121,
66,918,1499,1392,963,1235,123,508,930,1104,1178,1400,1405,937,1659,474,1347,429,255,948,1077,1414,1357,1416,258,
1229,63,1670,1367,551,289,870,1703,1411,808,1214,537,346,694,1192,268,620,980,989,179,721,982,242,891,550,
530,317,276,462,1449,627,1153,279,1320,970,138,285,1006,749,208,816,94,88,569,1305,287,1685,1365,142,575,
1020,168,1379,1474,1025,206,999,314,156,1431,30,1484,1037,198,1058,1399,1093,900,1401,1047,1241,1487,990,926,71,
988,1138,1152,362,605,306,32,216,719,1245,959,167,311,1611,615,1697,355,357,390,542,621,1076,1750,1226,1317,
1509,556,1009,1504,777,296,958,1306,1092,1615,1518,1711,986,325,1662,1524,160,962,350,358,693,987,1107,166,1617,
1223,332,1701,1288,163,951,981,658,1536,379,1123,1676,966,339,1718,297,1132,55,669,1296,1134,192,834,1554,675,
313,349,761,1390,171,1526,405,1744,79,1159,100,687,356,1688,1538,38,979,646,539,889,1043,711,361,1281,954,
176,1283,1182,438,260,148,1185,897,709,1210,697,712,713,1171,180,1395,887,431,609,909,546,298,152,375,40,
1385,1208,1451,806,185,854,1215,224,734,187,1749,949,1409,945,935,758,382,1521,845,42,770,273,252,564,1198,
1108,752,1195,75,1046,196,389,741,1064,1200,678,485,401,879,993,277,1231,406,201,746,1248,1311,1114,975,1452,
776,630,412,466,795,49,1263,1310,1618,936,1748,1266,225,1270,445,1420,269,1425,422,780,1244,1453,1279,998,1510,
1397,211,1018,47,929,729,1624,535,1627,214,1164,1340,1304,1490,1207,566,817,384,1156,217,1368,848,1265,481,1542,
1201,827,1083,1286,1067,222,1708,1308,673,1313,1427,1585,454,1590,1582,278,1605,227,1028,744,1440,1227,822,1275,1377,
1136,1691,1610,731,1653,230,919,1105,893,1090,1583,862,1341,1183,1350,1327,1038,880,1211,532,472,1161,235,1418,942,
876,1553,237,764,868,302,1051,1516,126,1388,1668,717,888,695,122,549,424,859,1672,113,1013,708,1190,1548,593,
493,1506,300,247,1383,1187,1588,1571,720,1258,348,1372,1389,189,1677,1175,1335,502,857,193,345,288,205,1370,1049,
599,1005,191,805,509,1121,1625,1089,1345,740,785,514,938,257,1109,1412,875,1413,1346,739,1124,1547,520,737,1623,
656,262,133,700,442,1546,473,632,611,265,83,643,505,271,321,663,61,1569,421,560,971,270,162,312,774,
1243,1222,1301,692,543,657,547,983,1512,1447,638,647,601,544,598,1331,102,765,1334,995,283,435,799,582,246,
1325,286,1298,1466,927,563,1684,1675,628,1030,1194,291,896,1539,1432,1319,1472,803,1323,576,131,1338,68,1426,580,
1073,1259,844,1131,1010,1665,1482,81,139,1598,1407,588,867,1039,301,1480,146,696,1044,1402,755,595,305,925,1095,
882,1629,1514,1505,487,308,499,590,1507,1502,440,1062,236,759,1202,359,830,391,1069,1359,318,1361,1026,1419,1100,
622,521,480,1276,459,1155,322,828,415,1515,154,457,254,933,860,1560,634,592,327,1050,1635,1471,329,1460,1075,
1374,1531,144,510,858,1106,648,751,940,334,184,351,336,773,378,387,1640,1302,1439,1180,931,1199,661,946,320,
1289,1540,343,1129,338,1029,667,1166,671,1135,851,1137,602,243,1140,1188,1732,1157,353,1737,1545,342,1716,307,1721,
1563,603,557,86,1081,819,1143,408,685,1352,872,360,1551,811,1186,1133,1549,1666,1577,1658,714,363,1375,1393,916,
324,1255,511,1706,1120,267,703,864,368,707,1165,906,1141,326,898,372,540,1513,1011,753,1353,1457,750,1122,760,
826,1065,1203,1712,1613,1544,815,727,1493,710,869,1387,1591,536,732,1693,1529,1567,1709,91,1221,977,651,1469,1415,
624,847,1448,526,1576,767,352,1321,1234,506,1616,1422,1663,403,1739,596,1242,976,796,610,1463,1307,771,98,1698,
1660,414,141,1254,1177,416,1541,910,1027,1371,1652,1565,782,1476,823,787,1314,1446,1730,789,434,1720,1273,426,849,
1079,115,1638,798,1280,699,1597,702,1559,1710,829,364,654,1126,433,490,497,1456,1508,107,670,105,1003,1641,402,
978,1118,452,813,570,633,1247,833,1572,783,772,367,835,1267,1669,1316,625,1318,1016,559,1233,251,1019,407,1001,
1649,866,1366,1477,449,991,1738,1686,994,917,1630,1337,1022,451,812,863,1454,1678,371,934,944,517,1495,1714,865,
479,1160,1196,264,1717,1566,523,1421,1070,484,1072,1450,488,213,573,1328,529,821,1423,924,1260,912,1373,1101,1173,
495,850,1671,578,1380,1486,1586,905,1568,726,120,1212,885,913,679,1592,504,1174,1680,716,1696,801,1398,591,512,
594,1045,1608,441,513,1633,1036,200,738,177,534,941,943,522,1225,524,182,874,1074,791,1358,1237,1369,1465,793,
1024,836,1488,1435,1534,585,1015,1434,1433,1429,1436,1621,1690,1119,846,1520,280,1443,1687,1751,1268,985,1228,555,1362,
728,775,797,1342,1632,1293,1197,1579,1754,1099,309,1719,1246,1699,1424,1004,1503,1587,1224,1564,1097,1017,1656,579,1602,
1264,1329,195,1575,1041,1683,1032,203,587,1519,1381,597,1428,1619,814,1491,1704,1209,1578,1348,1593,1528,1728,503,175,
1664,1060,1467,629,1054,902,1059,1294,626,800,1755,984,1193,1053,1085,883,1523,636,1485,1441,743,444,1517,641,1525,
681,1705,1497,1217,1530,1102,468,1533,1430,1743,659,333,690,1014,1127,1257,825,1543,1206,1146,956,947,899,1167,259,
1163,404,877,674,1731,1646,256,1642,1284,1091,1561,170,1151,1470,1262,1356,1218,1384,968,173,908,1309,1722,1574,1479,
1230,1169,1494,1458,1707,275,840,861,1661,837,1382,1468,907,229,839,1213,1391,1496,1647,186,1637,1282,1035,1734,1694,
1679,1475,425,293,842,400,335,1403,1752,853,614,1747,1205,423,635,1236,650,784,1489,239,1437,328,950,807,932,
1725,809,1695,1052,1336,1631,1455,1406,475,1096,221,1596,1278,1639,1117,1299,1558,1667,226,1645,1556,1594,1723,1326,241,
439,1261,855,1654,1673,1473,464,1170,515,1251,1584,640,1238,1501,1031,1168,1643,886,1315,528,1378,894,1655,1735,1008,
662,915,1343,1601,1394,471,1682,1481,1007,572,1333,1444,689,1740,1438,852,1713,1216,1600,1628,1396,616,1250,1464,1727,
653,304,533,1492,1527,1179,1580,832,1219,1285,637,1204,1692,1349,465,1148,1355,665,1462,1272,1150,1573,1648,1724,1626,
370,1700,1498,1729,1269,1555,1142,395,1599,1674,1736,1145,1332,1240,1689,1741,1742,1535,683,494,496,1612,786,736,623,
1445,1609,1753,1459,1511]
,\[
518,1118,1050,240,1041,1614,1649,1228,1171,470,262,1635,79,1114,1063,160,128,275,626,619,377,253,743,1313,426,
1235,790,633,1599,1375,187,255,553,837,677,391,1555,224,459,351,1421,38,37,612,135,1531,1040,1305,24,307,
27,1160,158,1354,1386,1517,507,759,1733,783,1475,121,168,1458,1523,556,452,1716,1066,288,434,1627,526,748,1466,
1366,102,227,1384,103,1270,364,1252,1351,616,1329,260,216,245,842,56,1038,1099,588,1506,1283,566,652,144,309,
599,1664,1407,1486,290,1199,921,843,19,1209,1544,301,1349,1465,430,1077,1031,708,983,259,1163,73,865,647,610,
1720,325,366,1495,458,298,84,738,750,851,91,171,1285,1587,754,203,1217,1058,516,706,1682,787,1145,438,412,
208,86,975,811,89,1188,1428,1453,1568,1229,958,460,429,731,1337,846,205,1107,55,933,1065,797,454,1393,113,
1295,1379,52,807,967,254,841,1666,515,822,196,1222,1196,1115,416,713,54,78,1518,232,866,608,1316,621,159,
552,881,1579,1500,417,189,395,1343,892,1381,622,732,1136,1173,1206,1312,1446,257,1300,49,1023,68,571,1200,1207,
1013,1503,1326,696,209,105,486,170,211,1256,1253,415,1437,848,801,1331,1590,1616,1037,827,1419,681,1454,1044,384,
306,1245,1541,1089,1158,998,35,1220,267,14,751,532,721,1450,264,605,1504,1238,1589,635,1729,870,447,1367,455,
467,1608,1646,858,1042,826,1684,510,1607,315,1404,449,94,941,1678,972,389,1687,1046,321,890,1681,1420,1413,252,
684,246,630,631,901,894,904,1426,886,580,473,1131,230,1264,668,1334,11,770,244,1081,1364,300,291,1461,609,
96,1606,817,375,1177,767,468,1301,1498,201,169,488,674,1288,1164,409,1667,968,1719,794,617,76,151,1637,284,
719,1175,410,1328,1600,269,362,1181,1397,365,1603,1580,7,1011,1247,1562,1092,966,982,334,760,899,1689,1263,528,
1314,1378,82,1143,959,557,1513,1278,1350,371,1731,1126,1296,1060,146,791,666,1652,785,1734,1488,1481,789,581,370,
810,1422,1174,1243,341,1645,623,830,1266,320,574,280,122,585,1566,932,893,1507,529,175,115,1686,1630,1493,1306,
823,1570,1338,1723,788,1663,994,820,1690,1584,558,1240,1155,1110,390,109,235,1333,176,536,178,304,1276,1467,1396,
871,495,701,573,1676,1448,1186,1294,1170,1214,1696,645,1447,535,1496,1279,565,8,519,525,63,718,496,1538,896,
568,1501,1249,1125,431,1548,1479,1485,874,98,1725,1127,678,107,319,198,1586,1436,1148,799,648,1702,1388,119,1441,
1755,1250,85,1712,1655,607,1665,207,1430,305,584,472,1376,502,1559,1468,194,1543,771,1335,1659,357,1612,1309,583,
413,793,878,534,1015,443,317,342,720,166,582,1201,498,1026,1204,577,1108,1165,1298,129,1368,1474,1730,974,1094,
372,1701,1258,93,1008,333,1020,214,916,1356,190,1558,540,162,1595,161,1073,861,1514,1536,1408,388,629,1162,839,
1605,1552,1194,13,408,1025,603,10,61,1429,346,664,70,909,1130,1168,538,1698,1345,1713,1708,1024,1564,1519,1469,
1427,1112,445,184,1342,734,1251,1737,653,927,326,402,1016,981,499,825,723,856,28,293,1096,1594,663,1113,287,
441,636,272,173,1633,273,597,20,50,1445,911,724,62,1752,594,197,1183,1540,1644,299,139,1749,311,149,1753,
662,1670,127,1034,847,4,51,852,1019,639,179,1028,1492,1318,65,1139,1169,1005,367,337,1740,917,32,1542,1221,
243,218,670,258,1739,435,308,1093,1746,363,929,1532,1304,679,960,143,1352,1232,752,403,829,661,1658,131,1411,
328,1,401,903,806,687,1700,1442,427,1291,1709,920,1561,281,1078,1604,1683,1048,990,419,318,1372,586,374,382,
34,1623,477,22,547,595,373,90,570,352,1323,1629,1639,1284,1452,1191,1000,1007,889,1029,919,1157,1508,600,1087,
746,946,1704,312,694,989,632,952,1510,1014,1596,141,1528,1535,572,1198,1560,1269,1180,263,1308,1100,624,154,957,
379,1327,658,1265,781,1502,575,148,943,907,386,880,421,185,657,1348,331,872,297,944,1324,314,108,67,1520,
656,1297,221,1472,191,1415,697,1069,768,867,914,1483,1153,726,1248,665,453,819,48,1302,869,398,1601,908,503,
876,155,956,1095,310,479,1609,1212,698,1344,295,814,1621,1473,527,692,1117,1679,643,985,464,521,466,354,248,
1281,1622,1385,1732,1341,1545,1129,1499,1234,406,1202,277,147,251,1377,1055,703,1176,898,1135,2,840,1557,1647,905,
714,1088,329,1292,863,500,132,1631,1357,936,1551,984,177,859,397,222,313,167,864,1189,1724,897,1010,1161,900,
283,484,942,634,1233,270,1648,1109,835,1374,1424,831,934,774,857,492,715,43,261,1571,1359,873,1054,1102,736,
249,1511,1660,425,725,77,561,1534,1402,1303,75,504,1718,411,1754,950,1662,1213,104,355,755,1289,1074,101,1211,
1097,1457,110,1137,1246,775,828,97,1735,1111,977,875,1370,1585,1336,1592,1346,157,1521,124,1391,1624,81,219,1070,
302,700,671,690,895,9,578,615,741,1079,483,1382,1193,282,40,1363,1539,548,812,1315,223,1432,716,969,404,
250,1745,1216,1116,285,935,1362,1339,74,821,378,1268,997,385,268,739,1071,215,1047,1470,1355,206,1657,757,1509,
1387,137,1224,1138,210,30,860,749,316,1494,1694,490,1546,31,142,1463,150,204,1340,1365,1257,1443,512,1280,965,
1482,1236,1572,711,186,199,517,1425,1219,1497,541,278,69,271,1027,15,39,448,26,1583,188,598,1035,995,1490,
1156,1455,672,1394,181,353,456,156,1101,350,1680,1286,924,1080,1072,174,1581,423,361,229,1056,1059,41,1576,487,
1150,877,773,338,1197,784,471,542,1159,779,979,1195,1103,87,1022,838,733,451,475,491,862,1184,478,888,912,
954,772,707,1619,1632,140,1602,735,163,628,358,387,1239,1271,834,1553,380,1675,1373,60,1275,1651,494,294,1231,
344,712,992,1287,649,29,855,673,824,446,551,939,638,111,601,279,562,509,1267,1067,614,1515,436,1416,1133,
72,1290,1578,753,804,213,1610,1182,520,1223,1414,676,1476,1237,849,887,1154,1330,369,1530,1017,138,766,815,42,
991,476,1064,1325,809,1728,1051,1640,1717,481,289,1418,1106,564,5,1012,47,514,951,689,987,1039,1311,651,844,
1636,360,332,1613,937,1084,376,962,744,808,183,980,530,745,796,505,1706,742,986,322,1132,1227,106,1668,1218,
1582,650,1075,237,999,1282,1149,1480,1210,58,1672,1320,637,172,439,405,1593,1003,1205,1736,392,1526,1321,833,461,
1529,1625,1021,239,1433,45,442,611,613,1105,134,1398,339,1410,1634,1399,396,620,1395,1693,765,802,1697,80,549,
66,1618,1669,688,818,686,513,469,1477,1464,1626,1478,220,693,948,1120,978,1360,1423,424,465,883,1685,437,563,
722,324,1190,1435,1567,349,347,1547,654,1122,3,217,938,1620,926,747,1438,348,589,1460,1573,740,36,420,1001,
882,182,1707,1401,383,727,884,544,489,587,524,23,537,836,1671,1332,1053,1516,523,963,1563,228,1144,238,117,
1705,1677,1554,1124,545,1742,675,1167,579,474,336,1641,592,1409,533,1565,493,1524,845,130,1319,482,1192,1406,57,
192,1588,705,1172,1062,710,1299,996,1628,1674,961,265,462,1695,1403,695,53,1274,976,699,1638,44,450,627,691,
1431,543,343,1484,591,682,226,1673,1471,152,1527,910,266,971,1751,202,1703,659,1141,906,165,832,1699,728,1412,
126,1750,1417,1642,1550,593,1710,1525,368,640,777,71,1215,1036,6,885,625,99,1033,381,393,769,782,1747,511,
1083,1361,88,359,33,296,225,432,414,1244,795,1179,879,1369,236,1151,407,1262,567,1380,1273,292,400,1166,1575,
1449,1748,193,120,64,1208,1371,1009,399,1260,125,786,930,59,286,1537,136,1057,949,1242,1255,1577,816,1091,1505,
327,1392,576,1068,602,854,145,922,233,1002,606,546,853,813,1225,729,1104,702,340,1654,1741,531,1259,1353,116,
100,1061,1744,21,918,1045,1533,1383,604,792,805,17,418,1090,1439,1254,988,1714,1451,1738,1152,274,180,1389,1043,
554,1226,1440,762,522,669,506,153,247,596,559,1692,913,1617,422,1549,1459,667,234,276,1726,133,1322,1076,1661,
25,955,550,256,763,1272,1085,1121,463,642,737,1489,16,114,1128,1187,356,433,915,555,1004,778,560,323,501,
1185,868,1574,1715,683,1598,1722,1727,330,1261,1522,241,1098,1597,95,539,850,1456,717,1032,1405,902,394,685,660,
1086,1434,1241,618,1653,761,803,1140,655,1721,945,704,1688,931,1400,1052,1390,1123,1006,485,1556,12,1049,947,776,
18,123,231,798,1147,345,440,644,756,925,242,1293,480,212,1462,993,646,444,1310,457,1146,1358,1643,1082,1615,
335,497,118,1487,1307,800,1591,964,923,758,928,1230,164,200,1611,891,953,428,1491,1569,1711,590,1134,1119,195,
1656,303,1018,1203,1691,1512,46,569,508,1142,973,641,709,680,1317,92,1030,1743,1444,764,112,730,780,970,1347,
1178,1650,83,940,1277]
>;

// Now we need a 248-dimensional module for H.

F:=GF(3);

m1:=CambridgeMatrix(1,F,248,[
"01221211212102120211202121210122102202121221202101121111122110100100020111222100210100022011000212222202101211210102101222102221210001001022020222002112122112110211021002120222201211002200101102112101120101021022002020222210200221112102001200002210",
"22012112010020002211220222222120101000211212022201110212100022102022222002020112002010220011021210220020002222101100212211101210110102112212100021122112221122202121010010120220112022222122101110021210111101012021112122110100102202100112102120000120",
"21100222120012200002010212201012200001220120101111010220010200211120101101102210111221200010212202101211210201000220000222021022200020102210222111120121010120101112002221000101021021002221120021200120012101112221001020120100212121202211002221011022",
"20212010211001002012222201220010120012022011010100122012010002200201212002102022122221022102111021110221222020221120110122001012102110111201200012221022212122000011221201100002212212011200212201121002221111101002211112101210211211122102211000222100",
"00021122011001110210102011112002212101022210111201111012221020111201010200222022201212101020200222111212012201002202000200112022211210122011221211200212102000120020220022020120002220120122011222100101021010202221010000020220221011022111200100021220",
"02220002021220201000220102011020122121210221212011210212210110002020010222212201211220211102102110020122200201212002210000111011112202220121112120212000101121111020220011201021120121120021112011022011002201220002022202002210201200111002000001202001",
"11201021012122022222112022021101200112201102221102012112112201201102220211111010022100112120021120200011002220000202022120202020202010122201221212002222012121221201102021000120112000210000102010211100201211021121102222111220120201211021012102000222",
"11010200121112222202211221000122100021000012200001120011201020102111100000201220121101122102120200212210220012000201201001221020110110220220021211111210221102211022000002221221100001120021110221001021020020122012221212020200010122220121202100221011",
"22221102002220221110222112211022121200212012001000001022102212112211200002202202101011211102212211112002110201010011012022101200100111001210001010100012122100220021222200210110212212201121210000210100010120202021210110202200100102120212010012100001",
"00200202002122210201200010222202101111210221111111221020222102012202001102022201010000211100122000022000020212101121202000112112021201220101010100211022211202011211022122110121102202010121201110200011200211220220202110020222201211021201011221212121",
"00020121221210102120200200210120002021110110200202110111011201000020000010012110000120201120120021111221101022000020000000220220000000221001120121002222201000212211120221111002120211212202002121111220201212102222002122012011212121221012110110100111",
"21101100122011221101102102201211020010110122200122000201001111211221202021012122001001012200100111220122222222112211210220221212210221120021201120122122020220200000222221022022000110011022200102110022201221021122002012011200020120212111200102000111",
"11022110120201112020110102200111020222000001122200202120221102000212122220201110121022210212120010120122102001200110100211011212112111020111020111200212022002020022121221210102021002022021212200021000202011202002212102021101002210200120112210110212",
"02201222000020222201120110201002111122121222120012002211112201121112022202212101101012111200200022210100200200101001012001001212200122121201102200220210022221001010122122212012022000202102121220002111211011022201221212011001221202012200121020022112",
"12010102022011210200121001100222112221110210212120200111211010011011202101122020022002100001210201120021020111022201200111010121210220000012202010122201010212100120112112221021100201222212112101000221101021020111022010201120102112011200221212012022",
"21010020211222022110122122120121122120210020002010110220100212200002111022210222121011011211201020200211001202221010002202211111010110010121120221110002202102122221011020220111202112100100222212210011001121210111220102010121200120202021020000221112",
"10100100221111001121122101211211111211110002122101011010002102201210202220212010112121102021020011011220010121120122220222110210001120102122111020011121221110012111000121101202000110020000022202102001111112210121010221121000111001200102200011021211",
"02110021202200102021122022000102021102201222010122122020022101222021101111000121202120100100211122221102200100022202100101001122000010221012002102201100201002001200021111001000210020110011100002000002002210121201122211001002102221211202200211210202",
"20002210100110012121102022022020112201020000020212101120212211110210211202211010120201002022120201001100120101010120120201022202222200101210010221010000111200010212001222211010201101122222000212201012222102120102010111202221122220221111221221100200",
"22112102010201212001102010110101022111221100022210220100000101222221202222110112010202010201102101221012211000002010111011012110110000022010202002221211200220020102000200111100121011111111101101011200000211210001100221011200212012120012220111120200",
"01021111002022121001201101000210202120122221120112222212101122120221200101112101111022001121021020111021020012010112202221000011110210102122000000121212002201112220100002110002201101200202011212101100002011202001200222111201021212200021222012120120",
"20210120010102020121201210020001022002001112121122001111201011211110202120020111221021220112020122122210221122101110120220212010001221210211111120100200000212220010212011222210120222202100012110222100011211010210001112120212221201021110201210220202",
"22211110221122202212202021021120011021101210101210022001021021110202111211001102201120020202022000111100010210122020022022221012012100020000222001121002220212010001221012202002102110011221022111010012011212112121021222200101002022001021220020112001",
"02222211100021001101201101022212002101001202212120222120211001201222020112210001112122110200112202020210200102202102101120002012211120122020122100011111201002220212210011011212101020121222120221121001201011121010010101202222220221222122102001200101",
"20102220012100002100221021020120122120220101101100222011201001020122002022202102122100201011211111201201121121200012220110200111112012012121020210221202101221221201122111000020101210210101001222102020110221220010000001222212100221011121012121120120",
"00210010220220221200000011221201022202220202122212010200012110120100021201000222002020020112220211020221110002011011010000100221022102020000201200220112022002021121222102121021121221110112110221200100200212110200102202112102021220010201222210010010",
"21202021210100221221002221121022101110001121200111222220002011122121121112202021201211000112222222001012101202002020002112020210202010000021000101221001102012212111010222211011221120112212111201022100001012112002202201121002121100201221222222120212",
"02021201200020221221000221001220000020101010222100121202110100210202100100010222122121202221210210120122021102210001010100212122011122222020022222102002020200101002102110221001111110100010001022200210002121110120120010022012212010021100212120111102",
"20021201221002002101012200012121112021222212201102111101110110222010121100012110020102000220120000220100211021021002110022020002200001111210101101121112222021010100211101220102202121021202212020212201202211001221111110010222000110221212112100201122",
"22211220212200000012200022102221001210010110002001212111012200122211021102222111001222002220001110222020002112202011020102120020201101121012221212210112100200010211101122012020211222122202010000110212122211011020101022112020000120001110111002112012",
"11020220222012001021200210210102100001021022110210210101122202000222220010200012201220020111211010122022021202022222221100201120220201100021221221111101021211220010021022220220102101000120111020111020021222110102210021122221112220101012011101021111",
"00202201110021000010021210010212221200120202220120221202022211222221012201200020110202010212101010102220011222020202211010021010100101212010022001101102011201202102220102222221100211111100010211010122202010001120110100002122101011200222210100121021",
"12001201100202202211200211222101000111100021100222120001021111111200222120002001211120112210122020022120012100010121122101102200122020111210212122210001221111111022200201012000212000020010102122202112021000101222112022210201222222201112010022111210",
"20222021000121101200111212222110121102222122110102122020121202020102221210001021212022221220121220222110111122102220020121211002011212001212121100222200201020111220100120000101122120011100022011202001220012110220221011210102021221020102011200212111",
"02100211220212222120110102211121221200210121220110210000022221222212221101020122111200100200120102200200010112202102201111200200221102110211001221222100101100000010001200210202200020111010012221022110002210220111001121111211102200010210000222121122",
"00001022211211022021102221011112222121010121011020200011200201212101000001122010211022212021100212211100201222011011212000100011110202220012220222021200001011022100122101222222210022001122212012022020210012211122221012222200020002010220000100221110",
"11121110101000210010211012122120001022201202110022222222212022210201110101120011101200202021221001220212121201221200101110020201202201200222200000120012012010121022110001102122122211222000222100102010100200120012200111022020211112222212110001112100",
"11122101201210221112202002022002201002002102200222000021012112000022201002222011021202011120102122120102101120121012101021101010001110212202212211022012120121000122100002000220212110100112121121211112102022012200100001022202100211220111210211200000",
"10221020002000020102011021120221100121121220112022012000120101010002112102101000000210010010200011101210021210011201102120111111222021202011202121222101021112100102112202021212110122221010210122011022210221201002101022001001002110201122011221002001",
"12022100110121121211201000211100121102202220000121110212120120201201211010021202001121202110201112200212001110020111212210121000020111112012002202201000120202021210011221110200012000222100201111002010222101022222021021110211222002102111101002000011",
"12000211020012210110211000122110020100211221020222010221102222220110010022112122021101121021222100202102022021112121102201222211202100222010012212221002012121000100121101020110121021100021101121201200202000110101111011010202201000211120121012002122",
"02000010011210222011022000010021012211100011120201002012011211110220121012112000211001211210002100122020202112111202122220011101102212022122010111110202010021120210110120021202000021121000021121022021001120001010110211112211222111201100220121200011",
"11220211202022201122100220122022120202222102001111111010200011101211200000120221112011212001200001110200202011121022101202000221021022100001012110221221111101212000022212200120210020010221212122211012222212022120210221201211101212000000000210202222",
"11000112110020211010220000220210121120100200220102201100112202111102122022112001011011001021200100112012001200222100202200222022210120012201111102120121201002102220020112122012012201110102020020220121222020100201012101112212102011202111201012101211",
"20210000111021012010212112212101022221101110011100200201012210102012010021111112221101112220212212011021011002200021110002111122120011200022001100212101010012001202200110000002101121002112222101001121010201121021120111212212121001221000011221200121",
"22102100011100020002122000212221210112011112220110010012000120010002222210200221222221210012120011102221122020012001221101202101121102012001112010022112210211112101120010101100102001210022200221211101121221220122102002112212121100122102201122201111",
"12200200022120122122022001221011012100220221021000011100100011122112012212111101002000002202001220220210022012211200201210102002020212212000200201112010012220210211012010111112101000222120001120120002220112000002101010210221111201101220120000221201",
"10111020120021102122010020002112011121101000021111102221200010102121022222110201112111122212202111222121111111120211122100211220221201212121202100200102200022212101012202002022102210201222212211102111100111011212221020220222001201121200122122201111",
"22001100021121011121220021020000121012202211122002122011001221021010220221110121212221111201121200200112001200222020211100221110022122122011110110211102101002101211211111112001000000102202010010001202010110210012211202220100002201010021210122212102",
"11120212001020202201210120100111021120211210000102102012100112121100001001012210011102102121022122102222011112000111110001121111200221020002211101021222000202000200222221000210200002210022202022002112110220220120200000222220020202202111122201001010",
"11001010120222101110110211210002111212212212002011121010211202211121100111211110020010222220110011212221012100021102112120211210111002200200210010112002222210111222002022101200020111112100012212221121220210100120002221220001020210120121011221021012",
"10002221202112012122220011021021111102001201102201010220110221110211011221012220102101120202010122002120120020101200101112001110121011212000022111122211210120102112202112010222021202200010121220122111110021011202220121022020202000202002122021020210",
"11111000012220121222110000211002210111100201222002211200212110021122120221012020012201020020221221102110110121111000211220222211101011121022210122110221200112201000211010112211010122221202001112022222212020011112002210210102122112002210222220101111",
"21001210200111212101102110220120022022211012010020022010102022212122122120202102121110210101210221010222111022201122021021212010121222000011210020120111221110112202222010101221000201022112001020001000120212020111011122212220001221010222220101011122",
"00201021111111212220000110121000102020211112221220012011100102212001001222100122201110010220002010211020102010202121212122221212201100210012212012002210102111001210101101122012102020200112100120020002002010202122021022012210221112020101102001211122",
"11000122211012211102000100120220001111122110201012222211200212020011102222200012001110000020102220021200010222011121111122111000212002211101011110222222221112110102002200112022101121210211012102012220001221110220002211020200110211212220102211020011",
"11020212221020121012212120020201002111001111122212022210110110211112201110021012221120020012120002202111020200001221110020101011212121020201002022120020002011120001011021201012212210220201101220201011120120212222221112011122100020210022021110111021",
"10220200222212211202221202102011221211112022120210211120010212012000102110110210122010101120112111220110211112020221100222210110122202102201222201111011210201011002121122200220000022202222112110022211111222022200212000001111222000100202210200102100",
"02012212021001111022022010221222011112121020101112112111101122012110100220012100220122101112122202021002122211122222102100010120222012022002121010100010201110102202200210211010120010121121000112002100100112111102122121000002002222212102012102212102",
"10010200010220110022110020220222010020000110220000211112112020221110101211110020101010112111102212201002200102211211221002101112211101102101200211102010202221200021101010001220012101022111000111200200110000102110201100101011111201221212210112201220",
"12102012121112001121121022200022111102222222112021202121200002200102212222212010222202222000000000200100100211110020001020212110001001022120111101122221112010101002220200000021222221002021122121022011112212001112200021112110202122202102201211120220",
"10212012110012022221001011111110101010120220112100011110021000022210010021010211011122020202211112100002012210210010222101201002221110211100212000010120010200220022120111112002122222020022210202001120002021102120212211001102220212002122102020001021",
"01100121202001011211122120222011222211102222012011110120201122011110102121011102120122011011120111200222221122202020120202211000222121220121221022111012201120101122100211021002012220112121200112120221210102000120110202011210012012000121222000122220",
"02220122111020010012000112120022221020220221020111002100120220010120101021001221120120101000210022211211220010111121220012010121112202112110212212120110200221222000211122110010011222200101211211111010222020202102012112101100000210220210220012002001",
"01112001110011211021220012010212220022201221020211011212210121200200120120110112000100100202211211101210222201200022111021220012210221020210120021112112112112201111020121110100012222220010201211112110122010122110022111202101121100121121222201102110",
"10112102201100220110022022202000121021201200000101222022121001011012002101011001102000012222001002211210110211102202210022221202102201210112012022021002000101000020110101001200100200212211101201022222010201201022022001102111202222102222002101011222",
"02202201210212001100011122212010120200122112102020121022210202010222211200111022112010010011001101221212112202211220021120222020101012110012120202200012022120220200010112220010012121100222110111212001102101202102220222220010202220220201211202211020",
"10020210011111012210102000011021012111112100211001000020100010102102110020101022010110202202021211102201000202020100120101220001211110120201010102020012020120012201020101110200121212210202011110201101112102121012010100201002020012202200212202010002",
"22021201112121221200102201202220222002200210101012000122120200222022200000001210221102220112100200100020102222102101212102102212011221112111001220102002212122011002121211202210120011221020211100112111221211100120200020211020120122212010112000011112",
"02101212101212122100220210122022021022121101222010211121222100111122021101210012221020010102000201100010110222010022222111212202011220002121220202101012002122020121010100211011221210122220022221112102101202002101102110022111021121202002121220101121",
"21211212000112101220221100121220020011000120002000202220201100021002000112221120120011111200121211202220011222012112000022121212011212100022121011211001110211121111210010000120102002221112111220122021101201100011120200000102211022212210211012020221",
"11222112210200221122102022210001210102222200222220202112220000022111110122211021200202101100211221012012111212001201222211120021120021202210101220212020112111011000212002220222011200201002001002210022101110211220210111210110122010200122101211210201",
"00012120211200201201100000122201101201020100121210200212111110201011122102112200012212100200000022000112110200022202222021020220122112210222002022210120221010020002212020000200220011212021102201120122220100100010212110100110110000112012001211222021",
"21202210011020210010021000011020021001222022021122002001112211210121122020001002210020121011221012001020201122121201220100022111210012021121122101022100100021111000112010111000012122002212010122110202101202212021001210122011021212021221012221211100",
"01111110212010110001001222002200012221112122212101212001202000110112020022110022101211202212200022110121121200210210120102002021002120212011020012011102201200222011122200121011011120002012102201101111120021012112202210200202120200102022011122022100",
"01002102111220221121002010001011201222221112021110021102202010002020111012221011012001120012102101022011101021001121200121202201200111102121221111222211020221011002111211212020101220111122211111120101102010201111012101220101202221022211212022211021",
"10002102212200100011120121001200001012110101211101211120000011211210220221200121200121001222112120100211011200120010010210100000221211110010110012000210022012000111202200200210012012101022002202100102012211022101002121210212110110220202222200111020",
"22101012202021110011010102012101200022201221000011010010112000111220101002001002221222020122022012111121121022101001021210200020211122020220122020011002022122022012211111012012001012212122200211001120000211210121112100211222002211100100002112210202",
"21111002001100102102110010021220112111011100110101122220020210001011000202222222220201011212012111011000010101222202110102202110000211012220002212011111012112220202001112222122010022021001202221121112210121100100020010002202101010222221111121220112",
"01200101222222102220112012222010212120010220010220000020110002001102101111200211202001002100201011010020001121012221110020202001010121010112110002100120221001111101000000210202200000202111112102020022210011120111220102101100011001102212002202212220",
"11122210110111220200222020220012111010200211201102120220202210222001010102110221001222211122222201101122120100022111001022212022022012110221011222220222122212112121220210002210202221102111020101220001121001012021010021210220210211202012100221110001",
"20201020021200110000212001121212021120221100200012001210201012100201012111112111110222210020011111000100012101100201120210202221122220000021121102000212000102102000200021002002200022101202100021210112111002212211020011220002010000200101121000111210",
"20022200012020001222011000121102021202021120110020010100112110101102121021021210001100210020020222212202012012022022121100200120200010210102000111211210220201200010222212102210200222211201000102001011100222110002220000110012220112111022001120220001",
"11210122102002102222010012100011011111021111211101021222212012212002201112102020022011022122201210210101000010110222210202120222101100010112220012011202010002122020211202211110001010212001001111002101222020100012221120212201222111020101101201102121",
"21002111200102021210210112021211101021210122021120002000101200212211020100000212102221112000110100021111010001100002202102210012102022011111122011200101121222011112122012221221212001120221201201212200020211001002010201011221001220222001110112022221",
"10220010011210010011210202000120121012120202122210011020210020100222002121010012222000222211020202000220011122022212211221100221002000012100011100110221112220001011120011202221210021112010111002200121110220211211001012012012021000100012211001010100",
"22122112110120020021001022020101200201220020022010200002100020001121121100121200221121210011020020000202000112121020121111212122001120110111121210202022202111101202010000011020101120220211111000220111010002112022111110000202020121100100220000012120",
"02110202221110121221011220120111201220000212121202200222201020211121120120101020010200120211220020021201002211212020001010121122220220102102100010121222212210200122010221200220212201212111012022221110221101212220021201012100221202020210000022101002",
"22221010202220001100111012210002101222012100222210020121100022012101211002012001202002222011202221210020012211112100102222112121120000210001122000010222102121110210112110221122011110221100122020022020002202200022010102010210011010221102022021002011",
"12021201220210112112002000221112101220210102110101221202010211020022222010212200200020010002111212102210010211110002222101221000222012111020200211111022211020102010011202102001121110011201002102021112112102222012020202011221022212000100120221112211",
"12212112000122101210120010210012212111111012001112122212211021101020210121202120102012210122222222210122022120010211100100102001211200010201012021120011021201200001220102020220201210221020011211001201022200122201000201021120221100120022222201201021",
"00212102000122202200022102212100100021020112200220112011000111002201010222200001220112022121102011111122202110011021111120120100100112110102210212211022120002212202100022110100221211210110002121011212101120221121120210022201021201021222022021011220",
"01121002220001210212112122221012000100022002200112010202001102112001110220110212102102000210222221112201100000111102122101010022202120011110121022020112012120011200201112010201201111111001020220122222111201121221121021221202111200100000011220021020",
"01211220222100112102112122122021121022122102201021201012211221101212100010001021100122012000002211101010121221200011120101002202221222212220020222011011001210201001012120112200220101222110011121021102221121201122021101021001110002101011201010201211",
"11120020111001020210212220200102120111211210110101120101222202101201102111100111021000201201211010000202221122100220122112001000210020000022002112222020221022101010102010022200100101021200000221201102121122222221110211101212020122101022220221000010",
"00112102221221211221121221122021222211210221222011001012122221220221011021201111200002001010201100010101020020021211012021212211221110220012121202212001112011221121121002011200222021110201020112012112010221221101100212201002022011001002002201120222",
"20101202202210021102100110001110211002122202221211202002002101101100212220222111002002200111000222200221022101210211010102121210020110101002221112001210122210201111012212000101201101021121000201001202020112001210011211002021022101221112012102112010",
"00110212021021020000020210221000200212101002220002020120221120010020200212200002220110110122011011110101110112001001021202112221212220001100210220000010012001101220110012021002001202000212201100022112201112212111021100011210020101011221221002120220",
"11101020011002000220101212102101212110020000212021120010020120022001112022002202120000202122000122021202000100120012101010220200210200211012002110100122222120010022221212002100211200000020101210110101102010020222020211011100012101222220000122100122",
"00011222120222021020112010210112102101112120212022121221212112221201211102102122212200100012220201101100112102021101222202100200221002210202002010000111000022020101001110200211121110202212200210220120212100211000100110110111122112222122010022220000",
"12000020001200221110020220011021120212222012111022202120221111202221101120222201120221222002221022210101221011000112211000121201100020000112111120200101211202011121122020110100221011120100001100022212102000122100110200210222120112001010000020120202",
"20221111002201011001200022012222011000111000122220000011220121220122210021222212112000012210002121221121101210110100012020112122200102221220020022022100021101022221012112222101011222021012000120102211210111110111221110122200201211200110210120011221",
"01122201221111000020221022010010111201200012011022110120121201222102121111101021110112212212221100012001102202110002101000022121100212000000222001222020111001220210202210022221100212121001002112120220202110120221120220021010120200120211200111202100",
"00011010110110021002101002021212012011111000101212222201212011010212220011011102122202210002201202211010221021122010202110011012112112011022222100120002222012000210221102000002101012112000022222112022222122201022120200202120102002122100120022002220",
"22200102000222120111210202010001002022011012212122022201000122022222221022010202021200022201202011211220210121211221202001211201220202202020222010110000002111012022110211201021220020112220102112102221010012221122201221102021021221011122121201002202",
"21101222220102022211012221010211120111020022122100002002001221212222022111111100000102220121110001000010022111202122221210212221200102021100120020200102020021020111120202022122222021101212222001210211022000220221020002200202220001201112011202201122",
"01100211220222111202202201122011100221120222211221000200102200121120211102222221120211100012000012110012220202111012122112022212012222002021212210122010112222122100112211111100022212120220112212202011010220020221202021120010201110102111220120222100",
"00211221011210122000010102100202122221111202120120201202120002011010202121012211111020100110001002002220202010001210011221221211112110221120110211112020101211120112012001100121200112000121221012120121002110121000201211002022022202012120100001101112",
"02121102202212122021212100120201122200012210000201012000120001212021100022122102100010001121010102001202222010012201210211200001021002021101111110010010122022102012122120100001001211020222220020110010222222201011222012101012100122200212001112110121",
"00000102022021222200122211112100021121210202102212200101200022012122211110202200202100020100212122022011022221121200000010111010100001001010120200112222112121002021212202102010112012000212121221111021002221211121001100011112221112100012221200210112",
"21221011202101100122221011121022211022210202221000200212122121101222211100101010012201112200111021010111001210102201102021211111202211000201022020110102212102102221210121220112010211211110210012212100012212001100200111120200001120211020002021001120",
"02000112121022012120201012202012010020101011222221000011010210221002110201120111201001111010121210022201001211200121200211000212212010020122121212012112200101100212202100120220211120011200012012222022222222021010202111020022010001111111022122220211",
"11212210102022001111222110021101011021111000012221010212002022201200120201012212021212101020022021102112122100101212212212201200111210110110210010210202221000001222020100002101200120220020100212122210102010222021210112202221101000102222001011022000",
"11002122022201221001202110021110001211222020100221220212221022001002222002121202201210011201202120200021110000012200000201200120112022222220002002020101001122111201001100122200102121222021012101201012020120220102020210001110102022101100201010112002",
"22002101222000112120122101211010111111002020211002100210122001012011022020121001202102112221121222010212021202222202120111200002002011122022100021222002201011112010022012211211112110100110021122111000102112111112212112122000021122001010200200011000",
"10221211210112221011020202101212122221110122111020110001200111011221212221200010021111211001112121200221221011212201021220112221012220102220211000012021011020202020121010021210100101011012212020202111221002111022200010221010021020222220010102011021",
"10210120000020212102210101002120222021002102111110102002010011200222212011200200220002200020011201202120111010200112000001121222122220011112100202222000201021020220000212021222222102122100011100220211211020121022011012010112102001100122021002011212",
"22121212111121212000200220200112000200112021120211000112011212221210021020010122120110002212022211021122011012101110110222211220010220112102101102011102220020220000212121220221221212011110102110002001221002102202101202010012000202122100212121011111",
"01120011120101210010201121221100021220021222000211101002022000020120111222110111001010112221202101000211111002020202122122100212011220112202002222200001022000002111222112102212202222211000100120212112121021200211211000000102220010021121101222120010",
"20102000112201020122122110121021020221222120120021222110211122020000021011200212002001102220200112201002002112012000111100002022121201121122222112102210020201002012201210211022102200101002011201220210021010200022021000220220100001021220201222112210",
"10020202020202001112101100200010011212001211220101001000112121221202002022112011000002120002201112111212001002222011202012012110021220212011121122120112211020022122120221212122102222202112221002110121211110022201111121021001202210222121001111100021",
"02002222112112022120112212220211010220021212122100100212101222122121100012221020202211102212020021012000000200100120102011012222000202210211010022221120222111010120201201001211002202222121022200201002011112000011220201220210001222120212102010112212",
"11102002200121110021020101100012010001222101111011120220221122111201010212010011120012212221201012221112201211201112120000100112121101001102011220001112012101012022201210002000020121212200102220101112112011000020111120200022022012012221001122112211",
"00101101020022010111200011220110202221201101202100110211221101210022210112222202000201202021112202221221100021101212221202101120211121100222222110010100000201110111002201022012122101022000200011111100121222202200020022212102112120002200011212021012",
"02022121100000011001201110012222210212122111110101120021002000101221112110011011221110202210101021120011100001010122022210021121001122201221210220000221001221001202100011012202011002002110101101210002200200110212112102011122100210202001101222211022",
"22221002101220102120221200222110022010111010001222110211212222001100022200011222100110211000102212120212000110012110212200102122020212100002212222121201121100102001120110201122022212022022220101111212102222212101102121001200102101221200200122110000",
"11012021001000221120101120201022202110222121022102012000111120012220222010112001110002111212100021000122120010210212100000122200022002221222121121220000022200110212002101012200020211021122211202220020002201010210121002222100211222212002102112111020",
"22221212111001111011100110201202121121200201000120001000210110001022100000110001202221100000122200110222112020022122122002120221211220121112111022212022100012100021121020111000002112220201111020122201112120112022221001200202011110001022121012011012",
"21021010101221002010010120202120211110121110010112102102020200021112000212012112011101000012000021002112002011012210220111002021111212201022000210210000210112012221220012102100022122111202120101021221201111022111201020120022112021121012210210020200",
"02021112122020100221010111201201211100110020000211111200102010102202210002102221022022222100212011100222010110122120010201001102111110022002112100011012121120020102012121212022121000000120012110021210002010211001212110022111101202100221120221001200",
"01211022011202000000222001210210101112222022220000201022200000201212020010110112012102100110000222121011011211100002001111020121001012211221121012021211220122111201011011120011112101221100021122120220200001011212011022220101011111100021121220121111",
"02102222010000021110121202201211222012212210222102212000102122011021101012000120202112112020101022121110201120202000020200212110102120120021010110001101021022222012200010122201100122102210210020221020020100100201121101020122011120002221022122010112",
"20010222102021101011210002210112102212200212221201220001021221111002022122210102101212011112101002121120011002210020001122201221122120202011210122000110202211121022122212112201020221000221210011100112100220000200212222201110212222202211010010210010",
"10021011100112212011122202200201211102112020110021011002200120220110002021121001221100121021212212200211012002121110102222002010001212100200211212000002201101012200221020111021111022222110022001002020002200112011121201200122211120020220220110000210",
"20021221000021001011112020201112011122100202121021001222202111121100010220202201201211122100020112002000022012202121100022010011121022112201012211100021020201002212101010010122201020212202010112011121221020121102200200011100011101102120201021210202",
"12000210102020222112001102201111111212010011101221120211020020111201020021110111110120211101010102000120020020000102111102020212221111002101202201120111222222021121210102011101211002002102020221100022210221211020001111222110100012201011012001012121",
"21112220201221110011212120021021100112000111202222020221200001111102121002002110202220011121221111110020102020201221020101220112111201210010211020221110120000102110212210220221022002220002120220112000000102210120001021222111220102100222101210101200",
"20020111001201022210011122112112001022011211002222210211011100012122210020022020221200012201110210120002112010101222122200222200200212211101000001100122002112202010200121111000002221220002122021000212102222201101001001011010122000111001110212111122",
"00200010000102021202120121000212220010100110012022022020210200100020121112122221200112221210211110022220112210022201002010220021000011120010200002210021200000000111212001101202200001022222110200012120221001002102202201101012020112022012120122110120",
"10222210220101221211021020102112112121110021210221110202121021122201011021222222020110020112122200211220120120111210221001100212221002120021200120221100220100022011000012012020022021120220000212201102021101022111010100122221102011202122012010201101",
"01121121021212122121101220112120102100010000220021021100110101012220022201022212210002110022221220121211100010202212010100220111112022120120201200220012222122122221202201020210112222021002200122201011210202102111001011000002201200100122022022221102",
"10200021002211010102011001110021122020102111201111211120211011220010122101112222121011121211100112110221111122011000021211001211021210011000122100112020210000111110220120211002202202002021121011020012021202211120110011011010211101201001111202210010",
"22110112221220202022210001220110201001100120122211101020022002011000111111200120210001011200220221222120212001210210001010002122202000222101021112011220210111010122222002012000001202201211021201120012112210222020102211222100121011120211120122100200",
"10002121110100021100102100010022212222211122201212200110002201211202022200220011202122102212111202100220100120110211102200022201011022021212210010211120102112012020000100122220122200201011010021001201201010020122110211120100012110002000000111111021",
"20011112022102022122102020221000220022211011110200002021202121222221211022121021000222201210002002211100202100121201101110021101010121001121111202110222211112222012220001100111002000101222110221212001002002220100211201110020222122001102002121111122",
"11221210112220110012212122012021020211011020121210020022022020221202101220110121000210221002221020222112012210221022200010221022220102012121211222102212210021120110121010022000211121122221202110100012110201222000211210000112211220012000122002111000",
"10222001110112212222221022222202010100220012202011012120102021121110112010100020220221110020211001222112001101122212002110001120211002002000221102122022210110001120112010202210000021211112000011001020001211112011120020201112010012120210100120000112",
"11201211110102022210220112101111012121120211201210001110022001020000100001002112221111000201200200010221022111220111202002010120001001211022121021021010221001202212002112010020221211210112000120002200201210122122000021111210210212101002201121000001",
"01010120010022221201111112021211211101201022112222021122011010112110222101112121121000110120111210021101001010100211120020101011102120222001110002010020122021102002110121110022000210201012210220120012212010220110200101021211201120111020021120220222",
"21210112220221001002102222001220001022110222120212200121121002202022111201221022010200221110000000121010011101201121021000200010222011120020202121102110011210111102211110001220202020110202102110201020200221022212020201211002000201210010100120200120",
"21211210011020121121002210210121111121111111100101220200200021010212220101222000110212110122212121112001010122101012100120011001000010000022100211112002001021121112200001200002121100221102122200101020201201221001000211110022010121122100220010101100",
"21020212201100120221220021122110102011201112011012000102002102202122100002112000101202000020111012012100102122100111200001012210120221110010101220112110200010210222101200021220122011101211012002011101100001020111011102211111120210020210201110100011",
"21222212010221100102100021202210110022001212001211112022100022100200202011020100222101001022212020010002120010011002110220011100110101002221010122121222120001110110210000010112102122011021211002001022200000221222211211212112012220222001110120010122",
"11102100020020211211220011221211010020212102200200220001201001202222020021000021021012200122021122112022021220020101022211222001120110012020022002110020100202112010002101020010210221222021200200211101220212101202021012202201012121221111210100020211",
"12021011020122101000010112110100020202010221112120112201021011122201100221200011112201100100200202222221121021021202100201200100200200211022212022212002221212211102000011021112001020011100100001012211021100200101200022002111121202002120002102220120",
"21110111112021222212022001200021000022210201111200221210211121112220111010201012001221102100121002201221102012201201221112200222000221211022210100112111100210011220012120010211100200222202011202121120120201012020020121001002210211010212021222202010",
"10120211220012220202011111010222211220002121220202120221001011212121200201102212100102122021000102211200000000020211001221202201202122120221001020201011210101201021101102201001120102002220121120212022102120200121220201101211000121212201111011220100",
"10001010010101202210201012012102222120012011202210222100211202021111202001211020011221101200002221212212111002020101101110202021101022212222111122002221020201020002211012111222202011212111121011202010111011012202100122012010211212212222100201110022",
"10221220001201122202202201111021122020120211002001101001010012020012001211221200121222120200221110001102120012121010201221121202001010012221101120100201210010100211010210111002221112212022102220201011212001212120100010211020101000201210011010112221",
"12001011111211010101020211202121211202010011102022211201211112000102020022201111121212012010021211001001022112112220200012221010201102011001112002020021202011011000020222220201212102200201222121112122111102222110122221010220002101222211112201122121",
"02212211102102022111121102120212120212222002222000121102120121021002210121120122112110111220202221110022020121220000210221012211202200122011000111120120211222002002122101101021112012222222110200101011200222110212101112002020110022002110010111012021",
"02022102201001201210110002022021021202110200101102002111211010211220112122212121220200021210220022222001000012022010120012202202112101210202202110020221001121122021200210212222002100100121201000212100111020000201101010111220000010220200000000220202",
"00201002210120120000000210222220211212122012100001202020222012212012222221100222010121210121200011222021120002012120002102212200101110120021121122211201011102020220000001001101122222221100111011212211010100022220002022020101210120020111002012110211",
"02221002121221101002101100121000111222102020211222011102210222000002120111122201011220001000101120121200002211212220000200112022100110211122022101010011220001221100202220021112000100011112111212022200000110201010222211010112002211000120010220210121",
"21111201012212112122010100122021222211210112022121022122200011111202022201221222202120210022020220011011201012022100010212220020002012111111100120110212111020112022020111021111211110011001112222110100202021101022120002210101000202201101222020101111",
"12002002122111202000011002120222011212211102022000022011022210020222102120011200000222101020022121110201100222212022122210212121002221012020220221210011111111111212001110002102201120120200112121021122121121210110220112210111110211022021111021121111",
"00110220000002021120101201100211111121220102212110001001022011220111110000010001010021012000010021222100112122111220102220112001110111021101020002200112201011220202010212101220221221010221212121121122001101212020002121001011020010111121010102122112",
"10210121121012211220220021222221022001102211120022020011012100201122012121110000111102212121010012101221212000010211122100022110120222011001100011220222221110201202202120111020112112122102002220111120002211102102210200211101120101201112120222122211",
"12211001020200111201222000110221000100111100200202012211022121210011100000200220111222200102100120102211011001102020111020111120020111211110112001120112022102220210112111020000111010202222120212122200212010210120021001222001012011122020011110100001",
"12222020002021010100011112222202021110102210201121220122100010110211200020000220211200210120122000212010212112001021011021200101221211102022022220012201211001121112110020211012101121120220121012211220020012102112220200101221212020201001020100212002",
"02000212111010001220111101100122000002020211100221100121010220212122122111022102020201222102212201010202200210100101202212210211021020112120120111021002000000022022120112221201220202210220021201011020102020000101020200210211200020200212101021221221",
"20010122012101201111201002200202101121210212102001202212222111221020021120112001022121011112102112201211100212002221102201202110221212111011011021101100222212022220200202211021200012122010202012112220121020121002120121201021100111221221102021212211",
"11101011111100101110121021011101210210201101202011000122220100110101101022201112202111021102010221220011212111020012121001112011112002211011102020222222001201112000120111122220120202022100201210212011222202221001201102122111121221201102012221000220",
"10120120221121200200200200221012111120000200002211211011010211111021010210202101021112021221202102120020100022100211202212112122120201202100221011222111012112020102022112222210111000122111221112212120101222011012012222000000211121011221112222202010",
"12121010100120111112121111200221121210200121200000102122120100201001100000211210212101220022112120202211122012021120220021101002220200102011200122012000011012100001002111120022200012100020221202200202022101202111222112110100200122022010102022022122",
"11001210220200002221100020011200010010212211021101202120220110001022102112101220201102121010201111222122021101212010121202121021101201112212212222121102222121120020022011001102001012122210111121021010000121102002212222000011212012221010101002220200",
"10210111211000022010222122010121120111021112221121011220202111122002001102222000221120200122220202012210112200021210100110011121111022220011112120201010101002122212021110212112101101110102220111011022020221121120022100201121202101001021220001222012",
"02101010120201112220211022022211211112120112121100020110012210200010220200001220210110002111200101120102211012201020220222202121122001101110200002211222220201122210100022000011221211220201110001201120101022211210121101211120210212120122222202222211",
"00211112121221022210111120111010102220221210020122012010020000021220102121221022110122012210120202201210211010010102202012002221011120100200022002000021202200021201202020202121101012120211022111121102102121212222020221001222000112111020010202002210",
"10001110010122212122200101201020111011202210011012212110100020010021002101002012002122020211212120111101221011110022002222010022201012220202121122210122001012211220110221120022100122022121122101210200212202001111100112111021201201210221112222222100",
"21211022111222121022112021112012202021210211211010222201010202112221010201111121010100010000121120010000110001101202202211011111110201122111210021211010021002101220000111011202221002111221110202112022100121120002202222220012011011111212021120002001",
"21100020221101012002220222111011021202211002110202111000100211021022200021201201012010112022020210102001100212210202120020200012020001112222200010120211121120202120222021120111201100010110020212021210200212212212210002101111110221201120002010112101",
"12021202212001022001010111002221212022010002220211101121121022112001022001211101221110221002110212221001012101210122022211101122111100200012211221201002201002201221211120121011120001120011100010211012120110111120001022101202020022210121112000012000",
"10022001022101011121102202000101100221220210112122212110010200002100221201012200112002201212111211012210020202212120210102022102021200022220020101212022212102220112012210202011021202200020012102220201022201020201202210000210222002201201220112121002",
"20101022002010112202211101222122022110011001012011011210210222221200121210222021021000200100020201022201002110201122211100022202110120001202222020112010012200110111210121212122211101022122101000100012210011100100222100111211122212122002002202210211",
"00021012112011202122202001110022220101021111000212100002202102102011210000010212020100220200121110111201212112201102011001212210220110201210222021222101201010201000102000111200010222120212212101210111010201010222212201222201220101200201112011111211",
"11210200101011202121001100122200100200110011101021210210202200200222122210002022202020002221121212022000122011011101202201211000100002221010210120212202002011211201112120001022111111002021021120202221011201101012200100221010002222000000102120112100",
"22112112010101111121012201220111210121001100121001102110020102212210121102010102021210020111101001021200220001222102011101021121000121200210001121221220122102101120120000121201012111002012221020121212210012101122020200211111121122022202212112220002",
"20022100022202201211012121011111010112010201000021022210000012111011001000212122010122001121112210011002201022120201122112110121100121120020210211220211100201022112000022122211010101201020012220012112012111101022112212002021122200101122020212211021",
"20221012110011011222120022122021112100010200111002001101121201202212201112122220221100110120010102201221011210000212002200010121020121210012001010010010021120210221020101020021011011101101121111011100012002200011002201111000021102122211220222212112",
"00101211022020101201101000010022011122021121011111010102010010011102110221210021021012001010200210122202020012020112011121222022112212000212020212211002002002100200220200120222100222112022010021201010202020102102221020022212012221200021001102120001",
"02022110010200211022102010010211201022012111120220122201221202022200121220120222000001021100121121112120012110112021010202212222020122122112220211001110212210021100100010110121210221201010102112022221121200220221022210002100212120221102011020101021",
"20120020111222210102210022220221021201210022101002211012222220002102101111222021102112012000112020011201002012111011021102022001212211111122011012110010020121201010111001110220101022212101000010022100220122111000020011200222020001020020201112222122",
"02212012201220101000202211212011001020000110200002110121120110012001121220102011202110111020202202101002220120000100102221012202100221212000022122211100012010011101111200021022001001020120000010220022202002200002121002010000210200110000001120222012",
"21110022120122101122000010201220201022210110110100012100011210101101000201200201122110000212022121111000000100010122121100001201121020012010002102111211012200220101012002001121211021211010000000210200102001011221020212002121121222122212002000101000",
"12201221222020101100112120222200111010101002002110022220200111122002101220000112210221211011222002010022120202100020020010201212002020221100222010210212011121001021221222001022212222102211100022222011220020021012121020020020101212221112120200021200",
"01022001100120020110010022100012201121021211000001111010212122101001111220120002212022102011020022101121212100121212012100012120112011110011002012102222110102002221220001212202020201201200112010011210111200021210211221001111120201012100200120202012",
"20000011200011120111201002112001200020000210101101112001200222211120012002200111210101111022200110002201220011122010222211222021122120101101111220221022122012220201211020022000012001022000200222111001221210201011212110002121100220120220002202020100",
"21012120111001111220221000210220021102122012011101001211021000210021012201110202001201122111101002022010200102112011221012102220221001011111101111011012010222101020021022100011122200111021000000101001002100110210222010211101021020012220002212120221",
"11200121112222021020221210121020200121222201100111001210022222111020200021100110221210011002012112110001102021211012011200102002002110010210012021210221012002022021022210201201122112102001111002211022120100101120112212011211000212212021111102210212",
"11201020120200210211011110022220221010110120122110202200210221202011002000011201121221022201101011020001000102101011002111201202121100020210002122000221221101210101222201010010012220220120121122222100112100212022220021110010200112012121212100022221",
"20222221211202211012012100020012111121222100102121212201222022202022221120202202121012222211220100010210122110222202012200201122221001211112022222100020211221221200221011110001022021011001101212121110000022000001022112212200020210012200200110010022",
"22220222211121012200200212220220200200202102020010211022111120021211102012020121200000211000111110220122020022102111111000010011202012001202111011120022221122122022021111000122020101212002211020221100021100111102102012100102200002020110211010012202",
"22200000100020002202112010011220002022222222121102022222122101100200022220122220002202212100002110210022210222222121112002101020100010202002210210001212110010120100200212122121012101220111111000112012222110221211011002020112011002022200222200120212",
"01100111212012212010111102211111222211010001210201002220001020021201201112110121201222120211121022011112212011022101201120102221000120122110202010110210010012011121012220002100010200122010200020202200122000211120101101112010120211220022121101122202",
"11122201122222200010102021212002102022102221220110200120120101001210110221110201100010122111200211222011012021102222220222101121020200211201222022102001100112210220011021122021202221110200002222101202001010011012012020012212122022210210110210122201",
"10010010222020110210122220210111000112001012202120021101200021010100221221122010220110101021212220021012111120010121111210011121100200021121211112001011100122022111211021001002021212210222102202220012200212120202122020100201001222222112212112122020",
"00102200000210001212212201010222210221002222120200221220002100101211201111221110110011101221011012200222111220120020100011102200010212202101002112121021020211001111222002000220102112011220002100002002100222221201221000020102000101020220221202222222",
"11211011001201121112211120122200110002012211012122102022202122002002221112001111000012022222010001202211220200220220022001012022000012100200022002120210021011011011021000002021212122022110211022001220102101022221120002221101111120002221122001202101",
"22201120012211000001101210121121020112221021220101021020211021112121011221200022010112120012202020101210101120000210201101112211122111001200221010221220101022120102111200111220121122000222210211212220202101211101120200201120200221022000211002221121",
"01110010200210102022211220021201121100112201202220102120020200100221010122200220000120201200000221010022121121220020122012120110210022022121101120111101120110020121120122000001122102020211000000111220112102101002101200001012011000221221010112201221",
"22202220110112211001021010121210100120111221012110121200222122111101202111122112111210122012010211220022000120122211010121121000002021010111011211121120201010202201201001110100201011200222010102101020112011000002101200121010020000010012120210200210",
"10002021221110110202212121211201222002112021011112100002022110011102120200002001220221121201220122102111110122210210002001100022202011002001122101110010001112102010012212110211110022201022002121212100021222110201220012212220220110201000002011000121",
"21020100121212021200102221112022220211212210110011110021200020112201201002121001220112000210112121200120220120101012022021121002200222122020111210221211112222200201001110102220011210222210021000220021211111010222220001011101121001221202111201210100",
"22211122122122100211221111122210111001101110221122112200022222212112021221020021111112012012202101201000211220222012011122002111202000112221221022112020111112122202100101122110122201011212202010101111120121010210120101002212212220200000121020222010",
"22001100201210222211000100121010012012201200121022020112022221211220220001210200000012212121100102110110012101121212212102100201010020111210010201022220202211011101021111122210202200111000102120111221100222200000011010021102000021212210220101000112",
"20212200100220222122201220012222111101002222111021010102011111011200021002200200120200100010112100101222110200020211010002011200212112202112221022001102020210202210011200220210001020102200221100222212110110220200101221022112121010122110101100212120",
"21122011001011112020011221021222202122200220210212002121211120001002222021121202001101010002110002101022222112011202112020022111222222221102001102100101000011210210112211110212011110022120211111122202101212121010012200000211202010022202201100101111",
"20120010201222121012220122121121100202221020010101100202110010110101010200100120022222212202120022002221021000211111220020211122202200121201201200111211101112000122221120122010002222200022121001122010110121221010121112221201202202112020110022102022",
"21101220200121222121121000110121221112122012020012010212010111200202200210102100212121110121001020201112120112101022011001020211222221200022210002111210210220012112112000022012211222002221002020211000200022102221111012001211220000110122200121211201",
"02201002210020101112112022122022120022112221122200122112220221010211201111122212210012201121222201020120000011110222112220002022110022021122111000122220101120110210101020021112210120110010002212201112122101010110021101022021002222102022022121202002",
"21102001002020221221010000022002020122121021121001001011001122212120120220012110002011120221202122212020110202112222010200211100222211210202012012110212121022002022220021210200211001112000101212210211101121120102001111012122122001110010212212121021",
"10112200002002122210120212210000002212111011211102011221120121121111222111020202020121101000122221222010102102011000102000122002221120222220220012110110210020100212011102002122221100112201120202021021002001101010010221200112001022010020100012020010",
"10120102121201221222012000000011011210101200001021011220221101000022021021100210212110102222120120102001001122110202010110200002100122000012201100220101100011201001000020220102101201100021122012122211222111010012011121201021012202202101220000121220",
"01221202211202200010122111111001200211210101110001110201011211221100210201001002120002112111202222010110212011202120212102212211211201211101000122210100022010112002102110012000002221212022000011111021020221112001012122022120122002010122100122022120",
"10022211211122220210011021102001010000010220002210202021210012222010002101102220121021212202002020212201021021002212100210222001100012022002002001211222101210101121021021020201010121111012202112012001210020122010200222000110112111002010121011210011",
"10100112011122220001002100100202112201102121222010100102222212102212201101121022110100112101200221212122102211221202011111221200222210202220112211102000122110122221101102022220121202211010002012202101000112022020012001200121002022122020110102021012",
"12002220212100211120011211020011111101111222111102022100020121221210111200201121121012212200101021120221021122220112210201101010101102102011002101220210211111111202222212211011012211222222112002000210222011200010121021200110100100110201202121221011",
"11101110100102212000220011210100000222221201002200222121112201200111111011020011212120120110212200122122221021221120110021210001020121102202122201221202201210111101102201112021220222110201222210101122122102022102122121222221120001110002200020111210",
"12122120201220212212201010122000201111221102110011200210120020202201110210000222121200100120111022100111112000212201001201111112121002120011202002000002222200000101120012022000212021012122010201212121002110222220210212101221210222012100222222122111",
"22121020011120202110112020222101001000100122002012220220210110212002011102112000121112011022110021221200002201110011111010121212111110211201000202002022022010102202011211101000211100101112102001001012221111120020202120021002110022010202122211112202",
"20022211121102002210002000211010100111202021011112102221212110100102021210100112021202121201121102010220100002002110202022011102000111002112220120021122221011210212212201102010212002122120102221201212010210201202000101212002222011120222202100021200",
"20111122220112200000212221111012201010200220200212220211021120011020021101012020022021102102011212022201022021201022011120101010211211102122212111111221121101212110222112122012210200020201102020201000012120202011021211020210122202221220111102120121",
"10101112212121200010120001120220210102000122211021012200120120000112202002221220002211210121101221022011201211001022111111210000202020212000001010012011210111000122202201120201020022222010122001101000021201200020210120011000221220011022112211010112",
"22112011020211011101120010110201201111201121202221020020120010121120221021200102212010200200101212010000222002100200221000202020112212022020122110012022201101122111202221001022222220212002122101100002212011012220200020112011001221010101001011112022",
"10012112212002012100011210210211001020111011121011220202000221021200210002122110021101211210022210111001121012201022122000201210111210210020211110000122200011022102110201122112222020011111021120222100011100120010121122000122110002020201222100101210",
"12122100200220210012212110221011121121022211112102102111022200200201122011010010222021022000202200121202001202110010002202221012221001220122221220102022212112102011112111112111020201110012201200000201200102111002100100212202212202111002011121011200",
"22000221000222101112101100100211121011111102101101110022122112000121111110111121201212200220112220000000022120120022211212100011120010200022222100212001120202011102102002220122001001200020111111220100102110021220202002020220221200201202201102212001",
"02212112002010212011222121202102011020202010000102121120020100010000110101210022100102122020100012000111021012211001121011022222010212011212212212020121220010121012221121122121102110202121201020210201112020001202011101122222110121112011122212110110",
"01010011120111222120020100021202211122221120111002100002111222010111222202220020202001022020120101102121110201222120201012022202112222201200002002012022120202122211102101110011022210010221121201200120101121022022121121220112122020112022111021101121",
"22122122002102000202200022122112110211102000100021020001102210211220112120112000112000220121101002111011212202201010202102121010101120210110102021010011101011112001211211002110221000112112222222202212200010222200121110111202000122221022001020221120",
"10110010121021010111111021112101002011000122121211000101021112220100012110202201121111020001002111000222120102220102010001110012211001111122122210121010220202120120010101120202222012200110101210020210220222202120212221010020202121100201110222012222",
"02112222010212022212012011012101210110021202012202210122021221120120021122102121210102111201021100000022100012202101112010020011012210000002022102112022022001012000121022111212202220120010211010210011020211101000221010002101021220002200101211222012",
"20121212112220102122210121201112001111120012121021121102102102002212121020202212002001120201212122210002101201101210022122210221220110001000210120200010202122100201121200201002111212011112122102221211221002110111210221011100121021000100121100102101",
"21211211102020002021021001100210212200201210010022202022122200011112012010011021011011201210212111202011010112110220101200010012220220100000120212100011221211112200221122201201221120202102100012201220000100112102121111020111110012221201212100122020",
"22212101121000012201022002002001000112111020002010112202022201212210010200202010022122101022201011022202220000201012111212110111121212111002012000021001111211210120101222020000020101001022102100120022222120202220112210221220012222011201202212021010",
"10210102222110001022200102102201202221021011212211112000110100012100011120212221200100201002011222201111110100022121212001002010200011221112112122120220112100222110202002012022200001202110202002201200212200002202002200121210101212101122210100120022",
"20102211010101221211000120220001120211101222000221110021010120202112012020200221112101101110002202010021011010201102211022112110122221220020010100002012102012011011111122200122111210110200220122111101100112210000212122211002010012001012221202111210"]);

m2:=CambridgeMatrix(1,F,248,[
"00122112221120112100101022100202202122222101101220020200210002022121021110021211000002110111102112121220112100021002010110020012202101222001112110200100021211020000120122221222012111110220010022021010112120010010020021020102202001001011011222202001",
"20200220120010100200212210112021020112021122012022011012000001111210210102002200012120120201022121200120111120002100020200020112102120202211110021211012012102201222011201221100122200010010101011212211111122000011110101001110022000020200121101020022",
"20011201120101122210200201212202020211120001201111021220211202010002020222000202112122020202100200011102222011121201100112000221110201211200011000122101012121122012200021210222012002112220101210102020022011210111101222221011000220110010222112112102",
"01012210022120221012211200011201201200000002212200222010210101002100210010201100202021102121100002010100111000101110200000212121202012211110012021100212221010212211011112210221000100200122120201110101100000001012112000022121001202221200220221211111",
"10000201121011211021012200121022002002020222202200201102221200100201021000012000210121202211020210102210222001102011120120022002112001121201100100001021111120200221220112022011000120200000210121110120112100002220212012111101010211020012011121110102",
"10222111110111011212022202012112211202221210112201002021211121211210211122210020220002201021111112221101110121001202020222022011001120010211122120111200221012000020112012220022201202002212020211200210121020122221002002121021200022201212210222100102",
"02110200111000221122201101001110100112210211010011002100201101120022110101222121012110121002210022200202021002210020111101111012210101000200011010100102221210110100010222101100111221100000122011112220102211221011221102211111122212012220010022200012",
"11222200122012111201112000200020002121021112211012211101112201200112211211010222110021002120011202001011021220102220100010210112020122021111200010121201211000201000020210220022220012212022102020011120122220211100102001100102212120021201102101121110",
"20222122110020220100122210220212222202020122022100022002212210212201110020020020212010112121010110012012022200102112200022112022200020112001122021120011022220002110011011202222220220102221110222202022201210020221210210020122011122002121222200202122",
"11011222202121022021111211210120102101002100012110021102002210221211212101111001000121110010011120200001220220022212202200110020202120111012212002122221010012000201100002101110100221010202011110120021021000102122120022210011000100202111021200001101",
"02202012221220112012202201021001011000102212010011000012212101002020110021000122212122001222202221212112221000021112011100210002002200021000201220000222011100021002110102220010212100221202111020021001011112012200010222110120101012210002212200112121",
"02100002202111002210110102112020110222200120120212000202111200222102001100112102201122021101002021101222122200100010112001202122000102221120122021120212100021200110200211200212112000110120221212021121020021021110112011122012122221112021102211210020",
"22011201100001102000211222121202021221100011201022000000012102021121010102210020021200100212022012111002201100021210112111012020102221200100101210121002002120011002110110122101212121020022202202211222211110020122101012221002212112202002011012020010",
"21111112000010010011100201101211100020200221121100020101120211012100002101122100020100212222022212200202011001210010210021011210110111010210210122200110100220010120001000110020022200012012210221212111012202111221201022101200020220121001111011202022",
"21221022110021021101110000200120202010102111010120120011100120202111012002120001002200001011211120010210020112001120002002121010212021201120220101111020010022022111111120211121100212000101221221112001100102112112211110110210211012101101020120100002",
"20101211201222000011120220022021202111212012111000221102220212022021102012221001121121001220111110020120212001020110120222211020111122010112010012021020112222201202101200211001001022200110220011210002020012222001101000121202101210022222212210222000",
"00201122010121120022022200221200011100100211010102221110021010122011200000011122112101000020120111011101010200202100101002201221221000211220222012221200020101001122202121011211220000102222000211010010212002011011222200001222222101210020101221200010",
"10120112021102121120211221121121212010020222010212121210022102202221222211202222021001220010000210110102122210210201102211111121001002121101201112200210022212001201202111101001020002001002122220102122110011110102220001211210211002012101102202120211",
"22021122202010022000000220110120121211122102101211102222111110100201221011101110020021210221022100212222222020201220011111002020201121122102122022211121102022111202210002221201201110122022221210001022020220020100201012121011121222101010120210020212",
"11001202110121200101001222211120002012101000220010212122110120101201020221100020001201222101201112012120011000221211222100021201222120201000010111111020012021110121101021021201211101201211001121210210211201201112221222112200120000002220020111221120",
"01002122120121022010212022001121102200012022111012212200020122122000100200110102111121110212001000212222210111222000212012222222002111121022220111020212122100120110112000120001121000001201001002010010112202220020220211121222110112022021211220101002",
"21220101212000112212220002022011020200102221211001222012200200120101111122101010101221100011010202210021011122021220020100122101121021010222220101222001112110011011221222120221001010012111002222111021002110211000121101010011000110122122122221111020",
"00012120112010121011212011221001011110202000011201210111010100202122222020121122122001021022201102002100110221222000102111221211210210000210221121000101202210200001220021221001002101122012201200002012121010210011222101110212210202220011102022011000",
"10201100222102110110111201110221210121101202012200100202021210101122120210011212011011012110000002100200000210201201101120100220100012212122110100210110211002221012212221121200011001120001120021111000222011101011020220211021221111100120222021122112",
"20101112222120212101120202212210112112111010022212221211020212221102000211110210220102202120112120000010200120210122111010020020010200212212112210011102101212120021010112121022120210020010220212012012012102002012201110021011001110122202112022121100",
"12122012001110021102202200201012000101120220101210212100211212221111112110001100102002102122100110001110120002111202111122121001200100022202212122111121120220012120102020001002212220001202201101100200100020101000012221021201212022021221112102121011",
"20000112021212002112201211220200001102100112000022201010222120022012120012112111202010211020111010022221001002221220201012100011120002102201021022020021120022212002101010011022120211021110121221200112200222020202211112122210100100012112202101110200",
"21210100112101002111212022002020022122122012122121101211012120212200002121121221111121201101102221001021110101112020002201021021022222010121202210112022000021010011001022211211100210112211001110021022021022011112021222101210111211012011202101000002",
"22122212212220000221220010010120211002120102021110112100121102122211102221022221112210012102012112002222202210020012220222100220002122020210001112122001211111120010021000121100100221020021201101121100122221102110200022101212001001221110020000211011",
"22200210200201002210002201010021201111120110020011210100000001211021122020002001120021021002000210110200012110020122112010222102002202001210111102021120011122111200221210222101111000222202120200202201021201120002221220120112202011211121001211002202",
"01012100000211210010111222210212122212001112120110222002101121212002112110000220020011200210010210012020111011210011202002020120220022222100110100120001210220020120101210121200110002002110200202211222120210110212121102120210022200211222122002120011",
"20000101011210120111211200020220120200202002102222200002001021201010211112002111200221001201211002200111101122200001012011010222201202112021001120121220010100211000100000011221110022111102110102000020201021011122200001212001011021111220200101210201",
"12000102211110221021000110100121012212102011022022121021021021010212221120222202022020120200100100212011020012002000110120100210022022210202122010110200211121221221201221000210101112222211210210221220112121100111200012102120121111002202011020110101",
"21121121020212001110101002020211100101221011012010011101202020122111021200211120021212000012220201020222111202202100120121102120012112200202200101021002212101001000102111112212100102011002012100111101212221021001222100011122122100012210222200100102",
"12102121002002010121220222021021121110111121112012012001102002110011221200001102001011202011120002000112120201222221121011221121001121122012022010021120020220202022010202120100221111101112220010210021111200100211122211221110100101210201111121221022",
"11222110120020012122010222122200002022011121012210222002200111102211221102120221101222100020000021102012001010201022020222002011211101110022211102210210210200021122000112110111100121111102111020210112101002201200202020210202011022020000002212020101",
"20010012022010210121121101110011200010121112121112012002102000221111221020101110000111001222011011022100222101210122012002121102220212202010221200120222211210201111000022112000211111212221200211102221002021020202111100202102121020111012220220200122",
"21220101220001200001000110200102112001212220122102120102022012021001222021010200201000202010020201000101202121200220001002121201122200200020102221101102001110220001010222012200110200100111212012021202211222212002022121111222000210121021101221222020",
"10112000000112211211012120021210100000112200020021221001211201111200022002010012000021201021012101112011100010101012102110111200011201220202212021221101020010222210210022222011022002012001012201211222202112201001221000021122012121101102202121000111",
"02022210220202022110102202022010221112121100012022120200100222112011110201202112202200120120002102221120001110122220000100221000110010010221210000111210011200011201121120022201001022211012101122202121121202202012101020222201110001022202011211020222",
"21122112022201111222211011112120020021200121100010211211120011210110220212112221001102002220222012111211111212102002221002100212011220202202022000022210201212220102100001212021221120001021122010011110000121001020111122011101102220011010201021121221",
"10101100120220200112011212011220122020001010011201020021011020002220010120021112010202122110212012200202110201002202112201020100022220122122201021220021022010202022122220200220110211212210011121111102120120011000011211202210120222220221111002212221",
"01000121000002000210020010102110100010222211012011221100021111100201000022100122221002012110011112202101010221200100102212220121001222111020211101100100002012200110110010111001022221000000221101001121101201122002002012120110020220022112201011011120",
"01021001000221010102102201110000111112001222221112100122212000210102111101001000021120122212222120211022220012022002100101212001122102222212011202021002111112211020010211020120001012020201112001021210201022010101100002022110100102121011101012001122",
"10100100001000010010102221121021102010220110001021001220001221101110201022211012120212202122101021020022122221020002200001120112011111201022202120120022011101121210102222002021102201100220200210022002112110212211221212001012221200001020021101100200",
"11022110210001111112021222120121111022001122220222000010202222120021222020010110021220222021000002112202121021022100220121200002010100222200022001212210122122022121102000201201020100100000101112022010111222120000002002020220122010000122010100222212",
"10012111101220221220021202201020020211201101011121020200110012101021021210110111011202022022101000212201112012200011012221110000000020001020121120210111012200002102222212222011012200122210210212002111010020200220002020022110001221102222020002000200",
"10001021201110000110102022112222201011102012101212011021101112110202101212022101012001002012202112011010110201002202000220011022012202102011220020221111202012101111110000201122121211012111101220221120211101102020212022101211001021110220222211021200",
"12001210211000021112110000120012012201112212222110221110011021021121102200210101100221012022222121210110001201100111200220021212000110012211010011120212122222101111001201000211200012220010101200000201121120201010222100200201011202101121202020010221",
"20210211221000022101012221220222222010021212011121202221020222121121022011220001220222111101220122222000200011220000221002221101000102101200110000000122112211011212010022212102000222000011220220201022010220012021011021222200121201102202120211201000",
"22112100112212220210201222102220120220012201021012221112112121211002211121122220210120112111102201201000200120221200020000122102021220120210210200111012100000220000011222002211201200122022120012002000102102211000002212111112010101101002012022111221",
"12210220010211002101121111112200000010112002202211122220221112212111000200222220010011002221000221002012222202100210210122220022020010011122101022010021121201222012211121121101122020002202022011121212201211212202122121201001221010100211100222100010",
"22021222100012022112022211211120200111121221002210102000001020022102101120221210111202110021011000212010212110022112100000100101202000120222020111101111102202011212012012001012210010022022020222122121020010220210120222220221201000101101112021022021",
"01222212110121201010101120221202110210001212121012222121202000012200010010010012222220122121100122220200121210120020011000210111002102110102211110002100002112020011220112210102100110211021211211012010220011120101101200001110010100102102202012100021",
"10012022211211110100120022001121122221120012022000202112101210112210111100201010202000210011101200021111121201102122002111110210002202111222210212120110010212110112111201221222220101201222100200011100021110012212110122120200220202201110021210221011",
"12221212120011021221121122221201200220010211022220001120220212021212022200201002201012011221201001020211220022200010100112021212022011122002120012102021202101021112221210022110001122122112100002222110100011112021210100022211221101201101110010221210",
"00111022201111122211011121001121111222220211210120011001122110201212222122220120021220001210112121202002110210120010211121121011222102212200012212201110121110121022120212112100122100100212012020201021200020102222211102110201011222222110111221012110",
"11102120201112011222020000111121121111021002201020221101122221122011202001121000201202120202110000010201110102102211021202102220000101211220002112210111112011020211210000211211101002221202102201222101012210121020102000200111100111100121211010100002",
"00122222111202221001120211020002200102021111220022210122000212010111012010111122202221000010001222122201001012112210201211022110100222011101222212122011210122110121200120201220222001212221111011001202011010220202021001112110211112001121201102100112",
"02101202012220210010002011001002021222212220020211222222011001201022102011210120222220001200202020110101202002021221020102212211000100202020222010220200122201210100200102000001012102220111000121022112102000120012021010012210222010222200201021122111",
"02221002021001220122112001021222210012010111222110110222220111111110210211201112111002221212010212211221122211002210011120202112220101120222211010222222021001022111011222001221222101210210211021200101110012221221210010101100221012211011112102221101",
"10221021121100002212111222211020021101202012010110112221001121021010000201021210221202021211011000120022110120211212110022221211101212012011012100200000121201102220011200100011221211110021012100020100120012202101222021110000020121121001211202102010",
"11010001210010010222022002000202021001201110101021121001002022222021011111200212211020201122200201121020211202211000221000202020112222211010212020101122112220200101102020201211201020222211210112002122122020102220212212010020020000200222120220110010",
"22010212012200021201102021121010011102212202111201211022100110021012212110100220011220001120010201002022000122111010122010000200101202000002012212120002010021010211001012111122202221101022202000020100000120120122122221021022021210222202221120000112",
"12202212222012111110202010211002201001110222011222001110210101211202010121211020022222020011021222112220011001122011222212010022102202101201221020012012201211111110100110022102110001212012020101112101221102112220221112112202122222012210221122202112",
"22210221212010200212211110002211002021221222022110020221201201010222122012210002020011112222012010010111120102012200222102021110210210122210222010222122001111110122122102221221201220212120120001012211110020121000022000221001110002100100211221000012",
"01100100200000002120020000122012210020012210212221021122000201211121202022020001210020112020112120201212210012210010010121120122100220000020012202201002111201021111122121210202120100120121011010010021202000202210202220212211110212222120222202000000",
"20111010211211021000200100000210122001020212012022222112021002202222021101121010021210210210221001102121010101202212222010111111022101220201200002102010212221212022102122210002010111100121022202122220000111020122102222012020202101120011120021011012",
"02012120111201222220012222012011221222000121011101102102001211211102011021022002120012010120121110221222212002220220122021110100102000111111000122220001210002001212202000022222012210022021020101212100020212210200110110011021022000000121002212100210",
"12100000001122020010000121102220202211011112120112202102220122200022011102220021112101201012210020220200110020012110021110010200021000010211120011001011010121020112102201212020122202112100222010020010121011211101220211101220020200002021221220101202",
"01020011000000201112000000110100022202221011000211120012201002020022211111112211100022000001121001102101120222122122010201210200010120220011010121101002001002012122121011110122201220002100001220222012122112112022121102000202022212210222102122212012",
"10221210120011121201122221021110122221201020202001001000002200210220002020022000011000111012102201022000221020012122200102121202222122202100110122100201010011021112212212120012120000202001011100220212210002211122110022202221101021221101121020110210",
"12200212001202200012121001021021002021000122212110200120021122012022212112002012020011011222100102111012201210000100222000001220202222221202001011202121222200210221000122021211210112111112221221201121022220000201122101010221212200111210201021122020",
"12112101021101121101010020102200112110001221220202200221102110012111111000101002112210112211100000222111200201021002220111002121200201000002201011202220002000002122012222011210001110022011111021011210002221020000201201122110010121100012001000112022",
"11021212102200121112210220011220101021110212210000221220011200100211101211001010201101211221221011012201221011221220012120011002122020020122210221201100120220020112200020200221100022212012001200210120220111202220110110220201012112200222021012220120",
"21000221120221200210222122021102101112000122121120120201020120012120120110212101020101110001202121101020212002000210221100211201200020212202012000110201012020122222222110201011202222022121100221202111000212012100211202212022211222201001001111110102",
"12121120101122201122202202002202121222010202201110112210010100122110221210110220021011102120202102110000121110220202221200020121211122112212101011010102221012110222101000102011022100202200021012010002010222000101102101102012020011001121100012211021",
"01111111202021002111102210110010210220111101202110200020110121211200022200021000111112211001012210121112210211010110220100202011001201000221001010000110102001020102002222112012021120210210022110022211112022122000021020100121112222110100202011021020",
"00210021212122222201202110210122002100020001001120020112212221110011000000022220111022110011222212200121111221111012210220111010220110112010212210220121102202212101011120010000022000111222220111111020012002122102112101101021211110012001221220110221",
"11221212002202210021120012201111111000201201210202002102101101200201011222202102201202020111021012112221222011112220012212010202022020102012112112022200120210012201002211022022110111111121211112110002100210120102200121221221022112211111110020020001",
"20210020102211220020210112102121220020011100221110110002200021001122001200121201101012111112201202120101202222001102102001001222202202021122120200101012202012021111002122212102010012101022011011000112001110200021021002101202200202201110021010212210",
"10212102222120100002120212012211110011100220222221221212020122202120020220100212020222002121011111112222122001022011200101111201200002221202120110010022120200221102202210210122012022121221221200021200021101222100012011100022000220012210100021001202",
"00011120111012011002211120211211100220102120200000011020112220021121101110100100011202110110011101102001122220110122110010112011121011010021221012112111222100101201022210120121010221011120201102122121112001200222120200200210101111111112211202000102",
"20200021200222001220101210121111120112221222021111100011020112121201200212020200021200102121121112010200211110211120221220210222020121020020110002012221011202002211211210211210020102001100000102012110000020202120000221010001122110122112021111220220",
"20212100210120001201022101120020221001000010020011002002101111001122021212202110121011000211002112022122000020212021201220010021100020001110100021211121001211201021121012101022011110220110020002022122000200112021202200102210212201100212101201211000",
"10222101112002212222120201010100122210022100022200021201001102022100012202102200101100100021021000102210021120122201012021000112012100210001122002011001101210111011110210200100010012120000220221120111120011021022101012000000101000022010211121100212",
"01222101021001212120121100111010001002102211210012201120202201201020221011012222210200001200121120110210221021110110200112012121001110120012001221112121020011010202022020012012220120220100101000100210200011101120201212012001120221200200112220011220",
"02020212101220022211011100011110121211122112022010002000211022211020011012202022102021022011001000102002222010201011202012121021101021020121012210122021100020022201202200010221011120021211100100021201120210020201000101111202102212222200222220022021",
"22122200220201111122210211221011022011100022102201222121010011210020100220012001101102001012111100212022222022120221201101001000212201222211222001101220201221122212010201011011101202210110221101111010011102212210110021000102011201210101221011000112",
"01121122121201200021122211122011001120102100102101000121120011012221001201212110120111122102221101110211120211212001000101021010102102011100012021102111001101100012010012120200221210002001000202002112101022110022222222221020202211000100011112210112",
"00022211111220200101210022100102201222110010121222001210211022121212222112100110122121010021100201000122011221120212212100011111022011221220211001220221201200110110122210210010012221212110222111101000010102012221112000111122112000100011121002210222",
"00100112202220122201010211011221001222220021010021212201211012212201011100101120202210000220220222020100012212010122222120102001001121021202012001011221012000212102222100100122001100222000021110102021210122200212201110002222112001011221122002201101",
"01112111011002220221200001110020221212021210110110001210001122122110102012001222212202110202011000112021011120000001021002021021101012202120122200021002212020121002110112221201110102200011222010202121022011100022002202001211020220211012221202002220",
"20012220122001122112211001020202120021111210221010120001111101101202110110102012022222212212022002002222110212111211012220222202210020122200001001122010120112010201211000201102101010220011100002001112021122200010120021000011122010210102102020000110",
"02112112200221102011112221001020201212110122202211200002002102021021211222212100000120001022002112010120102122202220102120201102002221121022001000020001022222010221012120212222022220011211101001020202221110122020211002202010212100202122110021112220",
"11112102100002220102000101101101112211110120211012220200212101001020220211220021022012221000200010210202021021021102000002110021012020102221202111112110112002111112201200121221020200200122111120022110122100101000212201120001112012122021021202101011",
"00112012221202210110012212012100120022121101000221120202222021200111221121220221220020212110120012111120012211012021221011011100112120222210120102200202001201111001011200220012121112122122112001102201120111011111202010110100010100020112001211111102",
"12110111011210110122100002211001101220201200102121212002020220222100021101122010222200011010102222200011122010201112110212200222012000121101021120202101222100221011011221210001021220200201001211120122100021010122222000210121021012222020002212012000",
"21002211111210112001200221101022112100101100120202020210211100201011101100202210021120221100011211222011100001022001102110202202101001210221202011122201012101122000110001122020121100210010220210010102020210011121221111000022220212221001210220201012",
"22222211210201102011002202100110002101011110122110000220001202110110122102011011000212002201001202110102011101201100100001220022002220112222222020000220001122211101222000112120112101220111112121201120001020210111222112110012011012011110112111020020",
"01112022000022211001122112011200220211021122211121202022211022000202200201122010201120211110010220122110120201212100002211210211101122022221101100122212000110020202200100100022222110200011021021200111010122121221111101210111002201212012212002011011",
"20211211222201121102221110211102122210112220222201021121010012200010020221021012012011201101102011200212100122022211021002020110022201010002000211012221012000002212220000111220102120101211010100102020000220201022110110211211120001020101021112201020",
"02221002202202010211222101101222211202221002210212001200220100122212102221201122021122110022021202110021110211220221222210211011101221111012210001110121022022211111120212112221001112110110100112120020221211201010111101210112002201112022110102012120",
"20200012001212111122021222002210122012000012022012111221220121022222110212000012120022120202121002011111001112010201220111210101220212200222120211221021221110111022221111002012200022211101222100201112121101012100021121002001102111111100211012202120",
"10122000221001022000020202210111020010210221021012022010121102021221211011001002220012110111120211020012021221002021110100110022022022222210110011200212222222011002002110202022200222021112022221222002102110000021011100212202001020001022111102111200",
"12010021020112100001121101010100110120021222002202112102122100210121120221021202210220022100012020121122001220112112110011202011010221010000120210110022022011020021200111211002000121200200212010101122121210212021011222100100221200111122211120210122",
"10100120021100020002100002010000002022112001012212222100211000100021200020201002012200101220011122211102122222122200211212000000212022022002202011101201100122122222012101110122200211222011002222212211222210220110200202000002202111120121222201111010",
"01222202011110201211201101120100011102002221202222221021011200011011010212012122020001010112002210110112221000211110201000002220001122122011201020011001220212200020201221220120201210200212111222001222200221112110111200222021102112211000222211120001",
"02121210110220022012121222012102201000202021120000120122000201001200012210222222201012102101220010011212212211020212120000012000000010022011112012222001100210110202012200210222121001102220201010201012102010021210002212010112221211000222010201102112",
"01200111220101012002102121202022112120210212102111110100000121020111100221102121002210221102101112000000112102121022011211101020222020212111002222111211102022001020100012102100102220012120222021011020000012120002210202021100221122102222022211012101",
"00221120000010110000201020221022101002010221011000222110110110210212210211022120002022012011011220212211222101210221101202222100110101011110110220221122022010000122012120121100000200022220012002001101112112110201110101112221211200121210110012202200",
"20022202011112002012010212000122202122101210000012120121211120121010111002220012110121020121220200111102121202022122102110200110001112122200000211211220201022101221210202201100002022120201202122021002002122122012002022220000010121002000012221110222",
"10100202002002021100122110111021012102002220012220221220121102201221000022200101210122120100022222010200010121102121121101220201220121210000120102202200012120211220201022020122022222102000202221221111111022101022220121011111212022021001202100121022",
"12120001112112212220120110222220112211021012110021000002101202002111202120122212220102210220102101112001101021211022001221011211002210121221211021111021020001020100111100121101221110110012212202012222010002211110021100012211102022022012021102010102",
"21011111010201210222020210002022201001211001201110212101021212211101012110122202102002212102102102010000102011120200202122020121221001200102100111120221112200202122112010200102202010001001211202101021021201222221002011021212002102111022022101010201",
"22120121101002100000012120120120221202200102211002211202010012021201202222221000222210000121002021012220121102010111100110011220121210020202202111120102012111220120211210000110121022222121110011000120002022022201110022112002112022012021210212002101",
"21101010121120021102201011020202202202012110211010100110120210101212122212020220021000020001122110020121021112120222220001210121110011222002021001200021122022220021201022020121011111011020010211102122221002212102112100121101000111121212212010110201",
"01002102000010000001221122102202221110210010002101202211021002012220220220220000002001212020111102011120112000001020002120121111220211001101202222212212111212020020210220112122202112201012102102212102211111002221021221221102122020001021112001000000",
"02100002101022112122201110212211111100012012120210120220220210111001001120221002110102001021201002120022002222001100011120100002122121002122211222002000110012011212101111212212221100100210212221200001200022101212021210221100221211010220012211200110",
"22222121121211112022010202101210222200100021012011112201022010002110222021200212102120022022220210111000202210002022112022100210121121212021112111010110201101000110120011110000121100102021220021000202100021122110110211022222000220022012112011112122",
"20201001111211220120021101221210221121110010102101220012201210211220021112202220200010010002022101020211201102202200011120210221200201211112102210200010112002211220010122110211211110010112121222110122011111102002102000120120021012210012110102211220",
"22120210200100010010010120200111210201120022110222101002221021012202212002022111110001102201020201222111221221101101100102102011201010112000100021000220022020002111002000110022021122222211012121110100012002012010110111112211010022112100020112121000",
"02102021001210012111200202110222020111102000102021200120122010201100121221022201001112102012100002021000221012220102201022122111101100210021020011111212111022121200010010120122202211212121001002210202010210001210200010101011210011211012201020221100",
"22111111001212112210100110001100001011102012112001212201000222220022221010211002020122001201110022110120122102012100201220220021001000110110101000000201100110221121112222102120210120102021000101201112221100112022112020002012202211211210210011012100",
"12220002010022200100022221002000002210011012222202202021010022012020100120000102200110101200020221102212110121221021201011020202011200010200211121021111121120212121200101121220212201201222101020202122221222022120110120112122010012021120121210122222",
"10221020100020101012211011211200021100120001222010000022111201012220012102220002022211120101112120011020222220100110210202102022210012021210102222010010002100011012110012210201012011220211212000210110002101101100012120121002020022102110112110010111",
"00211021221222202101221120000110002212211211121222010001112220201120112121200202221220111000200001002021101222110201001010002110200211211120002111200200122200000111112220210112210101100212122101101010202002110022210220002122110120121212000112222000",
"20202001110110001000112112101021120120101222222002100110212110212211110220012220210200001111011002100022011101110121021000202210212121122211112000002020010110000020111112222202202111001210110220200021011222210011212011110111201002000210022010001222",
"00211200222102110000202022222120221102110010021222000221000002220002211000222102212121221202202001212111201111221201002102021120000010120101202100210212112212011000222101211110011020221121022201011112021111201201110121011012000122122002001202002121",
"01112210202201111020202220101002011010120111221102010010221102121101021201211010122211111120102120211120022211120200020220212121110220021112121100210211102200122221222220121202012012112021220222110102122000002022120121121122012121021020101100120001",
"11211210202120110110210021110022120111011212021110020220210102102210020112001001120110010122211012012200022022012210020201220202122001221210221122001120001000221020012112022120001011200102121100220211201001010101201220022200021211122111121211222112",
"12202100122112211101010012211020010110202221120100202100200222102212212011222022101101111000002202121110122201100000112112211220020012002210011011201120120200122100212211122102122211222101100201211102101211110220220111222112102121011122112201200102",
"02202002020120221002222110201112121222202020201221021020020102102100212211101000022100112002021100120201202021201021022210012211010211110211222121222110011012111112010002110202100021021201000022120111202002201200211011101211220012110212010012101002",
"10122200020220110012120200110120011021222021121012220000011010001110122012111000120120201010100021200201101212021022102111010101220220002011222020010022211120121102200011001221100212110000222220200200010121122021021022111010111210100110110202211221",
"11222222121220022112020002211001012001200100100221001101202222011221200102200122202211211102111101200202222212012222111121001222100020021001020010202220212000002112001012120212100010122101122211200201111001202010110002001022201221102200021201122011",
"21200212122122022111221201202000002000102122001201212100111111021100100211211120011022121010202212102101012020110010120110021220111222221110110111000011220010022012211100202022022100200022201211010000001111222201012011011120221100120222121011001100",
"22001202100201110200202121020100100222111020111101221011022002020111110201012100202202020011221211100112211021111110012200112100201112121021122000221011202220012101010121020120101120012022010212011210110021201220001102002210011200200122002102200011",
"02010010222021122021202210110021000200000211122100210100001010002201000121102112110000121211220111021212221021221201002002200012100111220101022122102212010220202101212110222111121202002012212222200120001202002220011211021022012212112002100021110022",
"02012112120002101201111012101102020022212011101021102102120202200201102002220011220112020112200211211221020200212121022202022120202022102220122112212010111010121022102221200100101200112210012220120021201011122212022210212002011021210012101200102100",
"00220200211110011111202100121220220000000212202221201202011200001121121001211212220020201121111022011210000221011112110000010210011012002011222001111111201210102102012001001122022201212100001101110002020120101221111000020002021111100121012210022110",
"02120200111001001222022222220210201002212002210022200221011221110010222201102220011022211201001111100222012000001211001220010102001201022210210020210122102210110211102200011220202201020100210120111021120100121002121022020100101212221012211101020021",
"11112002211210201210002000020011021210210011022111001220010002200200111210202110001020122211200100010211112212221121010210112022102100212020201010022001011121102220201000011220010112201210101101221122210102002001100112210011120202002010210122122100",
"10201011102011200112010200220001111222101001122012201211000021121022200210022212210221002202022212021100111210112001000111211021211221001000200211212000122120210020101012011210222100112101011022211002212101122201001012000020110000121100221122010011",
"22111100211121000211101210212210001222022221221210120000101120221200100210110020122100012201012111102201011211121212200021021122001112002110002010000200021012220022102121100120112021012001022000100010012002110020202000011111100122101200212112120210",
"22200221200212211001111220011102212121000021120000111120211222120201002212222212220220022100102012010201100120111020100022222100100022011222022022120212220210002111120001222200112001201011111220211220100122122020201220200020200221220012221121002201",
"20121201221011010000122021120022102112000220100002011100100101012020210220000001211110210221201211121012022221021200000012210020121202121101121212220122022212220211102102112200220120122010022210010002222022202222211001122021002221011200112102102002",
"10200011200200122120110121200020012011121202211102212212011021121002100112002112202120000100220022122222202002002021102012201102222022212012010010110201212201110001222020101010010010002210200011210221120000122002222012201001200010210011120102010121",
"10011120002102111021001101212111000201210122122021220111112222211211111112202202122110111220110120022011111020221211111210212022010011000022222002201111022210002112002012121221110212010112211022001101221010112020121202122011111201222012002200220210",
"21222210220222101212110001200001020021222100110121002221110001022112110210212221220001101112101020000012102221212122212201222012101200101021010112112212211100201010020011122212102110100212212111010002212221202100111011200020101221202211111011112122",
"02000101212021121210001200102010021121202120012212220110001112020121100202121010221222102001221122112102011221121000110202210100000110200221011222121201002112121110201121011001102111002200021020102222102012201122002122020202122210120012111122222220",
"10112110201220012010212220112012220020101011202111102122112011002212002001111000212200011202011210211202120001220012220100010211121020100020122120221002110010222201021112221111121102210012101220211121001000211102220121200101111221122012211011212110",
"01021021022211021220011121222110220122102110110200102200002222010102121021122220222221200112012111221001120102002002012221111102010210200010000001012110222121220121221012120102211022221100200120120000010212120102120102012122202121022001022121100200",
"22000112210022222110212010001110020121101211212001021122111002120001110022022200021020012120211011002120022121020210120011221122021121111201020121220112111121222002112210001212222201100100100001112021212222221102021112011110102220222210220121102201",
"00002121112121002201211110001000110002111200201001212200002100100210000121112200110212220210211201010102011000002210111101102111112222112212121100101201101120202022000212212122221211022110021122212122010210020000112202202001112021012121222222222000",
"22111211012122122200202100001122110102110021102211011021021211211000111122211120021121002200222101112010102221021120121012210010001011210210210121020120201001022021000212011122102020102100101120120201212010011010120110121211211000001202011102202022",
"02001211210201002021000021001122112222021202000110110101212210211211221221222222011222122011012202010201002012122201100100120002202201200121120221110102012222000002011222022220021111002110011120201021000210121000221121120110111120212011102211112212",
"10112112101220110101121200202211112021110010002022220011012122100022011000110121012011120022221220220221011200100112000200222022011212002112002111020221221022001012110212100222220021022001101200022021211121001101221022012212022002100000110200020200",
"20100121212020202110201120210011212200002201201102102001122111211122100222210211220022210111011022020120102012200100122222010112000002021110201110120021101120101102110102122002110221000020022100002011202002101002201002101111120221100212220112220212",
"22010012122220020101011222220022122202010120212012212200102102020110110212210001220020010010001210222121112120001021110200021221002001222112102121000110202012010020221002101102201202212102011212220211101020122221121211221002002202201200210202202001",
"00201021110202221212011020121211021200212020200122110012211201120221210000200102110001011222221200111110120202110012220221212022210022201011001210001022112001010212100201212000020001222221210220200021202121001122211202021122110021212222201011110021",
"20101101010020211000221202000000010012102210002101220011120102221021110220120211202012201011102122011220112020111100121101101102112211100001020112112212200201010012202021220202220021112200100001002110001000112211220201120002022122021210101022102101",
"11212121102122122001212121201212101202210121210020011000022000002211110210102102220201202210110100210112022000120011010101012110122021210211021010101111212021011120221002111110012222110221222211210210122221001112121121121220022001011201021112222021",
"00122211010101200212121021112011110122012001202100201000020102001201202210020220220122202201121021202010021211210112122112111012120100001202120012121101120100110111121212001001121202111220020010120112120020212022211111211110100220120202021210121022",
"02112122222222000121022110100121100120210112122222211211122112200022012212220222012000120221122101022222112220102002212011000102021011111012012102020120020101122222001220100101010212111122222122120100022100211021201111100201220121202020200022000222",
"21110121112221200002002100102112021020022202012012120012111122121101111221020001212101101102201011022112012100202011002022212212101220112011121111211200200112111222010021010112112020110122000012220012101000020201020110122121212001101102222222001101",
"12222012202000010212222212020012022220210112000020120200000102112212220010101022202120201212101020021100212001000122120200012210001111020011000200211021102220100100210212002121112122221010111021211012211201100221110201120111000220000010021121211002",
"00210121011020200110210010002001221201102120200210221221112102112220020021021202211021200110221021202101012201220000201212122122212111021000212211000220000111202010112120102001110121112002200202020122111112221111111022002111012020220000012022201220",
"02101122111211210100122200001222112102220200012121122200122121220112020220021101210112020221221021222201101221121111220102120111012212202102122120022101022101122002211000010120111012112120201111121001010211022121101201212000121001211211110122221200",
"22112122021022122121000212022112001020020202202201120211000211111010220122021221211000210121200002100111212111211201111112212021111101012012011111210122222110100202221022211200001121202122202211102202100202002010222102110222200101221100020122102111",
"11002022202120000120210111222101001011101211001221122200221210112200121201211020221211120201212202110101202200100220222121000021112201020020000002101222102210000100001002211100101120110022202100211201101102020102112002111020221112001111201112010121",
"11011202222101201102021202002210121110220202120210012201120010102210112211121221120102020211002221010111200212202021122012200022120021200100001222022001110202211010111010000020102200010000020021122221021202021110201021201021100121221101200010102110",
"20102100001101022200201101210020221122201120001122122212121002120202122002021222222020220012101101221202001011000102020212211102021101211021100011012112111011022010002012211212202221111200012211120022222110212012201022200010021210021111211111122200",
"20212002011222000122110012121110010000220201112000010220200112101222012012200202002202021101210020001012010011112111111222221121101022022102112001210200221210112102011110022102222102000111200220012220211100022110021222222010020120100011120120121212",
"11212201021012101002101120201211110122001201012010222201100212100221002212200211002100002210122202121010102122212012221000102020222011122210200012010200220212120101001020111022101002202021220020200011202101110021200002212112022122210110100102222111",
"22121111200001211022101121121111111122110120210100101202210020202021112200212022000221112102110012012122220211211002100101221100111221002121211211101010200120021210100001212000211210020010022122020000210202202212111221010000111222210122000101101112",
"12220000021120011111220220222000221000102121121112221201110102111101001202102121210012011102021221222012122122111122222101021112100212201222020210012210000102220010211221001021111100001001212221110110120201111110110220111211200222101202110221021210",
"02121112021201120211201212212012122000202211022122011000122201122011102101211112020200101211010201022111101020201200101020210110100000110202110100212200021210102112222002011021020001201000002212000212011102022022220221201112002211201120111221100100",
"10010022020020000221110121121201101021211001220101020202001222111110021221212001220212221002220110002100020100102021100110200202022001001210011111222211110102221210111212011100010110012110212200002002000001000211021212021001110011221110002022220212",
"22002101102122011221001121112100000222202010022012002022102210022010121211010021212122002100002111112110112020222002210202101210200012100012212220102000200121102112010201110022110110110121010202211112000122020012201010001122021011210122112000101102",
"22011222201102012110020010010101220110012210000001211220121110002000010220110212210020211222102221221101110202001110111200212202211120210101112211012020200200012202100122121121001200011212020110022010120211002021011200202111101002112120220010000012",
"20212122112120000120212212201100001120202221000211221112202210222202102100110111111212221100121101100101121001001001200022021121201220121122001102000121200000021120101022221120112120102010210111222211200200111010102221210120202110220021222012002000",
"11011021020120110101200222202112110101120000121021120022120100212121102122012102010012010212020002221210000201201021112112012211200112111022212201102200012110021212111220000101211101022021020121220112002010021012111221221101000112202112000021022002",
"01012021220012010022120010122021111221021222021122222010101111102021022120210121021022020121112012220110001202022201202201220110001020201120220220202202211222022020200111121221201121002022222011122111202210120002000100000121200222212011200000222221",
"22012021011121222010200102012101110201211020111001102200101212000011121022021111221102022201121010220202011101011111111100011001112011222010021000011020102011011221000221121221110102200100122100012022021210022101021000122110200200100010120022102102",
"10012011222021021212120201112002110112022012002012100211210021211202212012100002100021122112200002021110012201002202001122020120202120210111021122200010022011111111120001001122222222010202012211022202121122000222212120210212100022011120110022210022",
"21210120202220100011021221121210121002211120122100202010200112121112200000101210221202111220110021212020112221110111111121201222010221202220222022121111012220200202110000212020012000222111121101001000121120021212000112122122211021111211120112100020",
"20202100200002122222222100002220020022210222111211221122222000101002121002002002210012000110020201111012012020001100011102002020010012010202121122101121121100020010112111021210012120002211120221022001021022222202121212021222101121201200220010120121",
"01202120211110022101220001210120112002000102211012012201101012011020122110121002220222112222200022102100000020011220121102011120100022110000012110211120122002101021111220010212020121011011220110121010210201102122022210222112022020022201220210122200",
"12012021010210120001211211210122110001201220202001001011121212222021222120110222012000212200211001001101002200022101200201021211000202010202212101021022010211100010100022211211121011102210101122202222220021120211220000011110101102122110200002201122",
"20000120011000222101201100122000100202002011212200100020122200111102211120120211101111220102022021122221010220021201010111211020120120221121100021211110202101210222012211201201221102201001000112020212102212200101100110000010000221022012000201221012",
"10220020212012121021201222001210200022210111000102112121002012000110112122012021121222000011202020212100012202000012002221220110000110121220200120021201201120102210122021010211012001101201100011222020101012111010220021202111102012221002010022021000",
"20011102211122101122201100222022021012202210002101112000101012212121002001221212211210111201222201121002212122022021121100022222112001000211220012221011121211122220212002220221110122201112210222110112102001210010020010200100222000221210220220102001",
"21201220101000022012002010201202012011120021020001220102000212022212111010022020022110101110011002012120121212120011020100112012202110202201110011120220200112111210200021211101101110012012222101102202001211220121211221120020022012222110112201101100",
"01012212201221210012211221021210222220001020202121112010121122101111000212120121200000022201112100212220011112102020202102000210120211010120011211220120212121012020020202112220121112221111120200010221021022120010010200012020120112200110210022110120",
"01111220101010120101021120012021202000022022121022121101200202021100100201022020210101002112202112201221022011112012022212222021201022120212111010120111112011011102220000002012202120120012021211202102111021102100012121100211101020002212201121011011",
"21002112111011200122221121002001001201221100002101200121222202000200001020112200210201120210202100001122211202110012112120212200120121010211200102220011122200021002022020102221100001000220102120012212202020222122000020112121020211221102000100200010",
"22210020202201101210201211220001201021020220111011010001111201101000111222001101002110201110110110202220201212201100122221021000112220210122100021121112111122100012111122201210202210120020002110120200010020220122101111202112122111220111100100122110",
"22202202220010122001112212022200210210211112012210010022021201112001120021002001002110000102220002212102221100021220012222012221000112020102201111122000021022102202200012011210021121120000002202011012110211102221210000012011012111002110221220211221",
"20012201010122110102202101101111120202012221010212221021010210201101101110221200202100012012210200201211100200012210011012220112022201001221210101122222212021010021101211000202021212102221010011020002222110000020001220111200021220202022121000010212",
"22112020020221020100202110012202111120121120210111122011211201211121120122120022122121102022122000010021122011021000102112220102021101001002100202200221210212212220001200202021210220011210101201100121121000111101020002100120021002100210120002100000",
"21211220002122200022201112100020012212001212100112212000202002112100011112001020221122220211201122200022110011020001111102002111210221000202112200201222111201102100020022121102012021121001200121012012120121221100100011110220110211100220201221110222",
"11010020112210221201202110010112012210001002201221010102100011200022012121122101011100110000212022111112122112222011211110220212020112001111211112012112120020212100002222221011201220121001001012220101202010101211021210212211210102000010002120001210",
"01101011002121000201101012002120000102000201120122121120100112100101220210201221220110211001011120101122010012000000101122220222221000111201012200002121121100220022111011101220220200221200202001120100000101121101022212201202212220012200112012202121",
"22222002122000121222111122111002200222010122020210222120120121210211201211200110220002202022011010101200212122222201111110012112220021111010020222201011200210120101001201221200200010011022011100100000022212112120220002110110020011012201122110221022",
"11100001001202221201020011111002101020001220100222022100001110121020000220001102100002221000011101220121000110020021021021200112000021121000202022220001100202121201212012120001121202221021100000221022102101011010121002210021010021111001122120101100",
"01210010102211001120221110120222210100110001012000211112212001020011122220101000021011022020202001000221001102212021001222101121110220112011011222211122120021010021201121220122121102112102122220112111101210211011212211212112101011212100121212111012",
"01110200111212001222011021202120121221212210212211001201000121202200222022001110221212001210011102012002200201111112112111102210112112021222020002000101102102122012100102121000221222000011000001202122002122100211011200212012100001211102120020222211",
"02022022020011101100200102210010012222012121110000011222102202211221200110120210010100222112102021221212101012001201220211022012022222012201021211222121200110020011111220011120220201011112122202021202110020101220200021210201221110201112111202000011",
"21220002010101120022100112212112220221112021002022222200221120111001112112220100011002012121122200221012220110211000211100120120022110011020110220121212100102101121021100102001000201012111020212010112112002101220101120020212102012101210121012201020",
"22111121200022111020020212000210102222010110011200210122012212221102022212221221102100111122021122110102120202012110011100100021220111212202122121022101220111111022010000222010220120122200201021121122101010022120112021211200021210001100212210100110",
"02022212101221102001222000122102122100201202021021201112001112020021200000001002111222021222222111012221002010110021220102011220201011102000020122001001212200020212100110020222101222112111101022011001021111122121000002102110120202220010120221101220",
"21212210002210200121211021011012202022120121012002220100001201021101012011012211212220010121002211220211020200222102202210111110021012112001022022100010100102100120112000102022202202201020221220002020012121021202221112021211122000021002101001020001",
"20110210110120011010220010220121110002212001120122221100121220221010200222100022102011210100111221102212010101211212200200201211021122021101021100101021201210020202220022211221202012210220020012210022011001120201122211211101002121221212202101002012",
"01220221110201102120202020000120202121020210012111102201022011220111011121102200022210220101100111121010200121112020100121101110101022010210220222101000020120121212210101010010112011121002102210112001002010201020201122122200021000202120120200011012",
"12120100010100120212021220120112120112202201011011111010012110212221100001022100021121102211210021102200220100111202110202002021201210010220211001221112110002120101212020201010121020022202200220020110222222110220021012120021200220001020000102110112",
"10110201022210202020002010221211120110120010200201112212212200220212212001102110210002222022021221121011220022120021002210020012122202200111021022002212010211202111020122000210102201222100220021121102122020002020010111012212012110122021220020210112",
"22122100022110010112012220221101101112112202201212222000201122222101120210111221221200000010020201210202100111212000011122212112200112222001122022111222200012021222122222012012020011122212211222001201010000000202011111012211222222012210212212221222",
"01201101021010222122012220210112111022022202100211102221211001112100020110020211110200211220121001122002101010120220200221122010022101202200200221112020101221022211121022221112102010120011220221222120111121102201022200010211000022022220021122020120",
"10210121022011210221110001010112100101000122111100021222002021100200100021222101220201100221111121200110102012202111001011011021111110202002200220220012102002212012012111022120000120110220222221102011022211012110102102101011101200122021001020112000",
"21011020200120211222021222012211221011202010122021120222210000122222000020111002022021220102122002201012112010121222012220001220200002100012202102222021102101201010012210100220002002020211111001100010211201200121001011112110020021122120210012002221",
"11022020220102222100000222101011100120210211102000202201200001111022220011120202110201010001111022120222120102201122200000000221112000212221010200120002212111002220202221021111111111122210212110120021110100222211001001020220111010011110002200110222",
"22011121111121021120020111120121222011220021011120101020102220202011021200020220102022220222120001010210211010012222002102022220000011112211121001201202222001021112002122112101101112002221101100111221022220122122221011022010010001001122010011012222",
"21202220201001221011112002201211102000110221201011211102110212202112001211010210020202110010012020111200201022110201202001110011020101012110210212102001121222220101101222200120202202122010002122000000120120011122001200011012212002100122020200211021",
"21111112121121020220010000220202021120112202211001120212012100000202111202222001020102121121022202100002120021110010001102210110101221101210102112211201111110111101222211211111111021021002020110202011202221222122202111222011202002011212021100102021",
"22100100002222002222211202012021221021202100101122212200101222111110100121111020222110012112210122111201010002020011122112111211200002122102101100120111110011112100120102212221212111000210110011220101112211101012210122210122221110221120121000212222",
"00022010102100022120201122220011022002121202211202001111112221110102000100000022022212000201102200022110220120011010210210220122220220022120112220212012120222120001021010122121122112010022121011121000201211102000001010022122010211210101021010012100",
"02211111011221121010122200211102210112121202111012201201020220002101101022021010022122212102121222220020002221102201202021022102022020211001001220001201001021000012101202002211212011220122010211202012000021201020221200210202210222211201222111201112",
"21120112022112101111112212120021122201211021120121021001001112221112121102222221022010001222210202111000011200122202010102122201012220201122002000122102101220002022202022011102221012200020110000201101112020221022011020020011121102121202022210102011",
"11101011012012120112201222011101220022100002121222022020220020100020110201110222111201211012202001200210011020001001101211202122210010012122100220000201222101020010001212021222222110102021101021121102020211112220021200000221121122222210201012200211",
"11012222121211222002010011002021200102000202210111012211002101222121000211120010100100222212202000120100210020011012101010211211002021221221100012201210110001001200012211020100020211110220211110011012122122102201122102111202022122122011202112022022",
"00020011112222112211000220222102020100011210210212111021221212010210212002120021121011120102222112002211120200011012220012200020112000120211112101000020110022021212022210002212222110111102122200110002111102022212012112021112220210012202011110211021",
"21220210100121220221222212120020010010121102212211201012012000022021202000010111221212022122200202100021001122221120112210002222111002110002222010220211220120011021210020211011220222001022011002110112012021102022210122001020210010122000012100022002",
"01121212102121121201121110102122000102102121000012102120012010012102022010112022120022222012002120121001010121122000121102112212210120120220002020212110122220001001021021000011110001022212002102110202221000102011222201201002111022012010021102012011",
"10122020210210200211102112202101000200001212221210121210011000200200021022110120101110202002021200020210120210112122221022202002212100002222112011122002222012211000222022121012210210122000121012212220011211210000010100000122120222010120211021210011",
"22011012201122201111210011112021001110011210011110112020001102110111120020011211211000121010121202112100122211111110212221220110012101201221222000010222001102122220102122002112112100001220021021022201111101200000122120002211202200210021221101020021",
"02110002101121112002121012120200221200000222212022200221010022001000110021102121102200010100002120102022000012222112101122022222012120002211001021012211000201200110111000010100202122212221002200012002110211122220011120112102000110122021212110001102",
"10121120210102200201210020100212112011100011011210122002000121001220110202012122212110201002011100100110220212122202121021211021010212020222221100211200122111001112111110210202022102100222101011002220202011120121211010122010001000221202101011000220",
"11212201000100120102202200210222002220201100011000210222101122200012000010120110221210122010110112120010220021110212122001022200120120011202212212100102110110021110221010110221222211012110221212101022210120100001121210200202122222202220112221121212",
"11212022120120100222001000012012022021022020122222101112201102000010011010122211011202120011100111020221112201121110220221122020000112021002001100111101112212010120120111221020221120212102112002211220010102210002022101100000122120011020011220110212",
"11220210101210111011011120220100220010002210120111112112222022012110112202201122100110111220100002100111010021121212212100202120012001010102010200222220012212200022121211101002212112101200011210010221222221012022221002121110101110101200202020021202",
"02102000222010201101201212220011221200022111112002220210201111222000212211021201112011101012101120100120011000101120010021012001101111120102122101100011202210220000121002101111001212112101211210220022122111002102001021101212111120112121110110011212",
"00012011212201202222021210112010120201002201011001001220112112212020002000120220200001112201221011200002220122210111002221112112110201002001012011120012202011011021201220211111100211010222221211211100110002211212122110201121120120100110000122020111",
"11101221012000111021210221210012020121012200001021022001110120220021200220211222202021100100002012000012111211102210102112210222220210021201102220002211010010021000210220202010222220010021020002021221212100120201002200201221111010221211120012122120",
"11020121201201111012100211022212012021020001101202112010111001222120112120110102212122021112111201211221011010220221100001200200022011112122221000112201222022110010101001020222022122122221101122011212112021011102200111002000200002201110221022201011",
"12012202201112011221022100011110100210102110112211100112011202001020222120001001220122101221222020210120222200220120021001211112112210211122220122222200021122001100222100101101011000022221220001202210121222120222101110201002101220002222110222101100",
"21021202101001002211211101202011102120002210010021100100212002021121110121212002211112202021002021001001112101202011002021202222022112201122112120111221200100210210022002111200000002221210211222021110210021102121020111220210120002101012221010122221",
"11102110100220112122122101102010200022101200120011221000211000101000001112101000100012221211211010012021220022220120102221201010210000210220211002002021021120220120222021122011000011202022011112011201101220121010202020122012021001000202121110221010",
"10121111102121112021000210000101111222001221201221120212120112101000010102021222021201210202101112010001022022210100101002110220002122111020202020120011012022121110210012222022221112021012021210122002011112111221020100202100210121120000020210111021"]);

M:=GModule(H,[m1,m2]);

EM:=ExteriorSquare(M);

homs:=AHom(EM,M);

f1:=homs.1;
f2:=homs.2;
f3:=homs.3;

f1:=[[f1[i,j]:j in [1..NumberOfColumns(f1)]]:i in [1..NumberOfRows(f1)]];

f2:=[[f2[i,j]:j in [1..NumberOfColumns(f2)]]:i in [1..NumberOfRows(f2)]];

f3:=[[f3[i,j]:j in [1..NumberOfColumns(f3)]]:i in [1..NumberOfRows(f3)]];

R<a,b,c>:=PolynomialRing(GF(3),3);

ff:=[[a*f1[i,j]+b*f2[i,j]+c*f3[i,j]:j in [1..#f1[1]]]:i in [1..#f1]];


function ScalMult(l,X)
return [l*i:i in X];
end function;

function AddSeqs(X)
return [&+[i[j]:i in X]:j in [1..#X[1]]];
end function;

seqs:=&cat[[[i,j]:i in [1..j-1]]:j in [2..Dimension(M)]];

function ProdElts(u,v,f)
return AddSeqs([ScalMult(u[seqs[i,1]]*v[seqs[i,2]]-u[seqs[i,2]]*v[seqs[i,1]],f[i]):i in [1..#seqs]]);
end function;

function TestJacobi(u,v,w,f)
uv:=ProdElts(u,v,f);
vw:=ProdElts(v,w,f);
wu:=ProdElts(w,u,f);
uvw:=ProdElts(uv,w,f);
vwu:=ProdElts(vw,u,f);
wuv:=ProdElts(wu,v,f);
return AddSeqs([uvw,vwu,wuv]);
end function;

u:=M.1; v:=M.2; w:=M.3;
p:=TestJacobi(u,v,w,ff);
p[246] eq a^2;
p[45] eq (b+c)^2;
