@powerlang/egg-js
Version:
A Smalltalk VM that runs on top of JavaScript
603 lines • 237 kB
JSON
{
"objects" : [
[1, [9, 10, 1236], [1228, 31710]],
[2, [83, 84, 79, 78, 0], [1233, 49222]],
[1, [11, 12], [1455, 24611]],
[1, [13, 14, 1689], [1679, 35289]],
[1, [15, 16], [1678, 64804]],
[1, [17, 11, 18], [1243, 32402]],
[1, [19, 20], [1678, 16201]],
[1, [15, 21], [1678, 42604]],
[1, [], [1559, 45250]],
[1, [1422, 0, 23, 24, 1689, 1520, 1689, 25, 26, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [22, 63106]],
[1, [17, 27], [1427, 21302]],
[3, 10],
[1, [2, 1476, 1625, 1689, 1689, 1665, 1520, 1504, 1362, 1229, 1689, 1689, 1689, 1689, 1630, 1487, 1689, 1658, 1689, 1689], [1421, 10651]],
[3, 43],
[1, [3, 1689, 1689, 1689, 28, 1689, 29, 1689, 30, 1689, 1689, 31, 1689, 32, 1689, 1689, 1689, 1689, 33, 1689, 1689, 1689, 34, 35, 1689, 36, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 37, 1689, 1689, 38, 1689, 1689, 1689, 39, 40, 1689, 41, 1689, 1689, 1689, 1689, 42, 43, 44, 1689, 45, 1689, 1689, 1689, 46, 47, 48, 49, 1689, 1689, 50, 1689, 1689, 51, 52, 53, 54, 1689, 1689, 1689, 1689, 55, 56, 57, 58, 1689, 59, 1689, 60, 61, 1689, 1689, 62, 1689, 1689, 1689, 1689, 1689, 63, 64, 1689, 65, 66, 1689, 1689, 67, 1689, 1689, 1689, 1689, 1689, 68, 1689, 1689, 69, 70, 1689], [1421, 44293]],
[3, 0],
[1, [4, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1421, 61258]],
[3, 1],
[1, [9, 71, 72, 73, 74, 75, 76, 77, 78, 79], [1559, 30629]],
[3, 35],
[1, [6, 80, 81, 82, 83, 84, 85, 86, 1689, 87, 88, 89, 90, 91, 92, 93, 1689, 94, 1689, 1689, 1689, 1689, 1689, 1689, 95, 96, 1689, 1689, 1689, 1689, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114], [1421, 33306]],
[1, [7, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1421, 16653]],
[1, [115, 116, 1607], [1228, 63420]],
[3, 16394],
[1, [1689, 117, 118, 1689, 1689, 1689], [1657, 39246]],
[1, [], [1559, 65178]],
[1, [1, 1689, 2, 3, 1689, 4, 5, 6, 7, 8], [0, 19623]],
[1, [10, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1646, 119, 1689, 1689, 1689, 1689], [1380, 40859]],
[1, [1345, 1340], [1255, 62981]],
[1, [1520, 9], [1255, 49866]],
[1, [1652, 1514], [1255, 24933]],
[1, [1492, 1591], [1255, 35194]],
[1, [1579, 1382], [1255, 17597]],
[1, [1603, 1631], [1255, 39830]],
[1, [1335, 1369], [1255, 19915]],
[1, [1472, 1433], [1255, 40749]],
[1, [1588, 1650], [1255, 63070]],
[1, [1504, 76], [1255, 31535]],
[1, [1404, 1467], [1255, 33887]],
[1, [1544, 1286], [1255, 64487]],
[1, [1232, 1237], [1255, 50235]],
[1, [1496, 1313], [1255, 56277]],
[1, [1291, 1258], [1255, 54306]],
[1, [1344, 1636], [1255, 27153]],
[1, [1292, 1680], [1255, 36032]],
[1, [1268, 1394], [1255, 18016]],
[1, [1390, 1639], [1255, 9008]],
[1, [1362, 74], [1255, 4504]],
[1, [1625, 71], [1255, 2252]],
[1, [1487, 75], [1255, 1126]],
[1, [1360, 1592], [1255, 563]],
[1, [1494, 1422], [1255, 47313]],
[1, [1265, 1402], [1255, 58784]],
[1, [1274, 1575], [1255, 29392]],
[1, [1381, 1230], [1255, 14696]],
[1, [1398, 1393], [1255, 7348]],
[1, [1328, 1474], [1255, 3674]],
[1, [1391, 1431], [1255, 1837]],
[1, [1600, 1556], [1255, 47710]],
[1, [1412, 1254], [1255, 23855]],
[1, [1665, 72], [1255, 38751]],
[1, [1476, 73], [1255, 62055]],
[1, [1658, 77], [1255, 49403]],
[1, [1615, 1279], [1255, 55733]],
[1, [1229, 78], [1255, 54546]],
[1, [1589, 1413], [1255, 27273]],
[1, [1327, 1525], [1255, 35980]],
[1, [1630, 79], [1255, 17990]],
[1, [1614, 1244], [1255, 8995]],
[1, [1691, 1633], [1255, 43097]],
[1, [1341, 1435], [1255, 60900]],
[1, [1254, 121, 122, 1689, 1689, 1625, 1689, 25, 26, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [120, 31553]],
[1, [1254, 124, 122, 1689, 1689, 1665, 1689, 25, 26, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [123, 33896]],
[1, [1254, 126, 127, 128, 129, 1476, 1689, 25, 26, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [125, 16948]],
[1, [73, 131, 127, 132, 1689, 1362, 1689, 25, 26, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [130, 8474]],
[1, [1254, 134, 135, 136, 137, 1487, 1689, 25, 26, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [133, 4237]],
[1, [1435, 139, 135, 140, 141, 1504, 1689, 25, 26, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [138, 45454]],
[1, [1254, 143, 144, 145, 146, 1658, 1689, 25, 26, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [142, 22727]],
[1, [1254, 148, 149, 150, 151, 1229, 1689, 152, 26, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [147, 38315]],
[1, [1435, 154, 149, 1689, 1689, 1630, 1689, 25, 26, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [153, 62237]],
[1, [1544, 155], [1255, 30450]],
[1, [1328, 156], [1255, 15225]],
[1, [1306, 157], [1255, 42100]],
[1, [1589, 158], [1255, 21050]],
[1, [1588, 159], [1255, 10525]],
[1, [1391, 160], [1255, 44358]],
[1, [1292, 161], [1255, 22179]],
[1, [1404, 162], [1255, 37529]],
[1, [1356, 163], [1255, 61572]],
[1, [1614, 164], [1255, 30786]],
[1, [1532, 165], [1255, 15393]],
[1, [1512, 166], [1255, 42968]],
[1, [1600, 167], [1255, 21484]],
[1, [1567, 168], [1255, 10742]],
[1, [1265, 169], [1255, 5371]],
[1, [1268, 170], [1255, 46005]],
[1, [1496, 171], [1255, 57362]],
[1, [1508, 172], [1255, 28681]],
[1, [1691, 173], [1255, 33228]],
[1, [1372, 174], [1255, 16614]],
[1, [1486, 175], [1255, 8307]],
[1, [1390, 176], [1255, 43505]],
[1, [1273, 177], [1255, 60720]],
[1, [1472, 178], [1255, 30360]],
[1, [1345, 179], [1255, 15180]],
[1, [1412, 180], [1255, 7590]],
[1, [1381, 181], [1255, 3795]],
[1, [1360, 182], [1255, 48801]],
[1, [1492, 183], [1255, 59032]],
[1, [1622, 184], [1255, 29516]],
[1, [1615, 185], [1255, 14758]],
[1, [1329, 186], [1255, 7379]],
[1, [1533, 187], [1255, 47009]],
[1, [1652, 188], [1255, 57880]],
[1, [1274, 189], [1255, 28940]],
[1, [1551, 22, 190, 1689, 1689, 9], [1405, 14470]],
[1, [15, 191], [1427, 7235]],
[1, [17, 192, 193], [1243, 47081]],
[1, [17, 192, 194], [1243, 57916]],
[1, [195, 1689, 196, 9, 1646, 197, 1344, 1270, 1612, 1471, 1349, 1327, 1341, 1614, 1589, 1472, 1652, 1268, 1274, 1615, 1345, 1391, 1360, 1494, 1496, 1588, 1265, 1544, 1381, 1292, 1328, 1492, 1600, 1335, 1291], [1604, 28958]],
[1, [198, 199, 1247], [1228, 15855]],
[1, [71, 200, 1443], [1228, 42815]],
[3, 16384],
[1, [201, 202, 1247], [1228, 59991]],
[1, [72, 203, 1443], [1228, 52451]],
[1, [204, 205, 1247], [1228, 57273]],
[1, [73, 206, 1443], [1228, 54804]],
[3, 16386],
[1, [1689, 207, 208, 1689, 1689, 1689], [1657, 60175]],
[1, [209, 210], [1559, 52303]],
[1, [211, 212, 125], [1228, 27402]],
[1, [74, 213, 126], [1228, 13701]],
[1, [1689, 214, 215, 1689, 1689, 1689], [1657, 57327]],
[1, [216, 217, 1247], [1228, 41738]],
[1, [75, 218, 1443], [1228, 20869]],
[3, 16390],
[1, [1689, 219, 220, 1689, 1689, 1689], [1657, 54847]],
[1, [221, 222, 223, 224, 225, 226], [1559, 53975]],
[1, [227, 228, 1584], [1228, 37130]],
[1, [76, 229, 1676], [1228, 18565]],
[1, [1689, 230, 231, 1689, 1689, 1689], [1657, 53411]],
[1, [232], [1559, 53657]],
[1, [233, 234, 1247], [1228, 40330]],
[1, [77, 235, 1443], [1228, 20165]],
[3, 16385],
[1, [1689, 236, 237, 1689, 1689, 1689], [1657, 53508]],
[1, [238], [1559, 26754]],
[1, [239, 240, 1247], [1228, 40618]],
[1, [78, 241, 1443], [1228, 20309]],
[3, 16389],
[1, [1689, 242, 243, 1689, 1689, 1689], [1657, 13377]],
[1, [244, 245, 246, 247, 248], [1559, 41960]],
[1, [249], [1559, 20980]],
[1, [250, 251, 1584], [1228, 40546]],
[1, [79, 252, 1676], [1228, 20273]],
[1, [17, 17, 253], [1243, 10490]],
[1, [17, 17, 254], [1243, 5245]],
[1, [17, 192, 255], [1243, 46070]],
[1, [17, 17, 256], [1243, 23035]],
[1, [17, 17, 257], [1243, 38197]],
[1, [17, 17, 258], [1243, 62290]],
[1, [17, 17, 259], [1243, 31145]],
[1, [17, 192, 260], [1243, 34076]],
[1, [17, 17, 261], [1243, 17038]],
[1, [17, 17, 262], [1243, 8519]],
[1, [17, 192, 263], [1243, 43371]],
[1, [17, 17, 264], [1243, 60797]],
[1, [17, 17, 265], [1243, 53110]],
[1, [17, 17, 266], [1243, 26555]],
[1, [17, 192, 267], [1243, 35349]],
[1, [17, 17, 268], [1243, 64706]],
[1, [17, 17, 269], [1243, 32353]],
[1, [17, 192, 270], [1243, 34552]],
[1, [17, 17, 271], [1243, 17276]],
[1, [17, 17, 272], [1243, 8638]],
[1, [17, 273, 274], [1243, 4319]],
[1, [17, 17, 275], [1243, 45479]],
[1, [17, 17, 276], [1243, 57627]],
[1, [17, 192, 277], [1243, 51525]],
[1, [17, 17, 278], [1243, 56682]],
[1, [17, 279, 280], [1243, 28341]],
[1, [17, 17, 281], [1243, 36498]],
[1, [17, 192, 282], [1243, 18249]],
[1, [17, 17, 283], [1243, 39532]],
[1, [17, 17, 284], [1243, 19766]],
[1, [17, 17, 285], [1243, 9883]],
[1, [17, 17, 286], [1243, 43653]],
[1, [17, 17, 287], [1243, 60554]],
[1, [17, 17, 288], [1243, 30277]],
[1, [17, 17, 289], [1243, 33514]],
[3, 16402],
[1, [116, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1380, 16757]],
[3, 2],
[1, [1444, 1357, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 39282]],
[1, [290, 291, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 19641]],
[3, 10485760],
[2, [101, 1, 109, 1, 106, 105, 0, 2, 103, 14, 1, 1, 104, 0, 1, 2, 3, 2, 104, 0, 1, 105, 0, 5, 104, 6, 1, 106, 105, 0, 2, 103, 14, 1, 1, 104, 0, 23, 24, 3, 2, 104, 0, 1, 104, 7, 3, 2, 104, 0, 2, 104, 8, 3, 2, 104, 0, 3, 104, 9, 3, 2, 104, 0, 4, 104, 10, 3, 2, 104, 0, 5, 104, 11, 3, 2, 104, 0, 6, 104, 12, 3, 2, 104, 0, 7, 104, 13, 3, 2, 104, 0, 8, 104, 14, 3, 2, 104, 0, 9, 104, 15, 3, 2, 104, 0, 10, 104, 16, 3, 2, 104, 0, 11, 104, 17, 3, 2, 104, 0, 12, 104, 18, 3, 2, 104, 0, 13, 104, 19, 3, 2, 104, 0, 14, 104, 20, 3, 2, 104, 0, 15, 104, 21, 3, 2, 104, 0, 16, 104, 22, 3, 2, 104, 0, 17, 104, 23, 3, 2, 104, 0, 18, 104, 24, 3, 2, 104, 0, 19, 104, 25, 3, 2, 104, 0, 20, 104, 26, 3, 2, 104, 0, 21, 104, 27, 3, 2, 104, 0, 22, 104, 28, 3, 2, 104, 0, 23, 104, 29, 4, 0, 4, 0], [1683, 40852]],
[2, [105, 109, 112, 111, 114, 116, 115, 13, 9, 94, 123, 13, 9, 9, 35, 75, 101, 114, 110, 101, 108, 32, 45, 62, 32, 123, 35, 69, 114, 114, 111, 114, 46, 32, 35, 65, 115, 115, 111, 99, 105, 97, 116, 105, 111, 110, 46, 32, 35, 66, 111, 111, 108, 101, 97, 110, 46, 32, 35, 66, 121, 116, 101, 65, 114, 114, 97, 121, 46, 32, 35, 67, 108, 111, 115, 117, 114, 101, 46, 32, 35, 67, 111, 108, 108, 101, 99, 116, 105, 111, 110, 46, 32, 35, 68, 97, 116, 101, 46, 32, 35, 68, 105, 99, 116, 105, 111, 110, 97, 114, 121, 46, 32, 13, 9, 9, 35, 72, 97, 115, 104, 101, 100, 67, 111, 108, 108, 101, 99, 116, 105, 111, 110, 46, 32, 35, 73, 110, 116, 101, 103, 101, 114, 46, 32, 35, 73, 110, 116, 101, 114, 118, 97, 108, 46, 32, 35, 77, 111, 100, 117, 108, 101, 46, 32, 35, 78, 117, 109, 98, 101, 114, 46, 32, 35, 79, 114, 100, 101, 114, 101, 100, 68, 105, 99, 116, 105, 111, 110, 97, 114, 121, 46, 32, 35, 80, 111, 105, 110, 116, 46, 32, 35, 83, 101, 113, 117, 101, 110, 99, 101, 97, 98, 108, 101, 67, 111, 108, 108, 101, 99, 116, 105, 111, 110, 46, 13, 9, 9, 35, 83, 116, 114, 105, 110, 103, 46, 32, 35, 83, 121, 109, 98, 111, 108, 46, 32, 35, 84, 105, 109, 101, 46, 32, 35, 84, 105, 109, 101, 115, 116, 97, 109, 112, 46, 32, 35, 85, 110, 100, 101, 102, 105, 110, 101, 100, 79, 98, 106, 101, 99, 116, 46, 32, 35, 73, 100, 101, 110, 116, 105, 116, 121, 68, 105, 99, 116, 105, 111, 110, 97, 114, 121, 46, 32, 35, 77, 101, 115, 115, 97, 103, 101, 78, 111, 116, 85, 110, 100, 101, 114, 115, 116, 111, 111, 100, 125, 46, 13, 9, 125, 0], [1233, 20426]],
[1, [1338, 120, 190, 292, 1689, 71], [1405, 10213]],
[1, [293, 294], [1427, 43578]],
[1, [15, 295], [1427, 21789]],
[1, [1338, 123, 190, 296, 1689, 72], [1405, 37702]],
[1, [297, 298], [1427, 18851]],
[1, [15, 299], [1427, 40217]],
[1, [1338, 125, 190, 300, 1689, 73], [1405, 63300]],
[1, [17, 301], [1427, 31650]],
[1, [302, 303], [1427, 15825]],
[1, [17, 273, 304], [1243, 42784]],
[1, [17, 273, 305], [1243, 21392]],
[2, [119, 114, 105, 116, 101, 114, 0], [1233, 10696]],
[2, [102, 105, 114, 115, 116, 0], [1233, 5348]],
[1, [204, 130, 190, 1689, 1689, 74], [1405, 2674]],
[1, [15, 306], [1427, 1337]],
[1, [17, 307], [1427, 47956]],
[1, [17, 192, 308], [1243, 23978]],
[1, [17, 192, 309], [1243, 11989]],
[1, [1338, 133, 190, 310, 1689, 75], [1405, 44706]],
[1, [17, 311], [1427, 22353]],
[1, [312, 313], [1427, 37472]],
[1, [17, 314, 315], [1243, 18736]],
[1, [17, 314, 316], [1243, 9368]],
[2, [115, 116, 114, 101, 97, 109, 0], [1233, 4684]],
[2, [111, 98, 106, 101, 99, 116, 115, 0], [1233, 2342]],
[2, [99, 108, 97, 115, 115, 101, 115, 0], [1233, 1171]],
[2, [117, 110, 114, 101, 115, 111, 108, 118, 101, 100, 0], [1233, 48001]],
[2, [115, 116, 114, 105, 110, 103, 83, 116, 114, 101, 97, 109, 0], [1233, 58376]],
[2, [114, 101, 102, 101, 114, 101, 110, 99, 101, 115, 0], [1233, 29188]],
[1, [1458, 138, 190, 317, 1689, 76], [1405, 14594]],
[1, [17, 318], [1427, 7297]],
[1, [279, 319], [1427, 23492]],
[1, [17, 273, 320], [1243, 5873]],
[1, [17, 273, 321], [1243, 45744]],
[2, [112, 111, 115, 105, 116, 105, 111, 110, 0], [1233, 22872]],
[1, [1338, 142, 190, 322, 1689, 77], [1405, 11436]],
[1, [17, 323], [1427, 5718]],
[1, [297, 324], [1427, 2859]],
[1, [17, 302, 325], [1243, 48221]],
[1, [17, 302, 326], [1243, 59366]],
[2, [105, 110, 100, 101, 120, 0], [1233, 29683]],
[1, [1338, 147, 190, 327, 1689, 78], [1405, 32817]],
[1, [302, 328], [1427, 63952]],
[1, [329, 330], [1427, 31976]],
[1, [17, 331, 332], [1243, 15988]],
[1, [17, 331, 333], [1243, 7994]],
[2, [115, 116, 114, 101, 97, 109, 0], [1233, 3997]],
[2, [115, 116, 111, 110, 67, 104, 97, 114, 97, 99, 116, 101, 114, 115, 0], [1233, 48646]],
[2, [106, 115, 111, 110, 0], [1233, 24323]],
[2, [105, 110, 100, 101, 110, 116, 0], [1233, 38473]],
[2, [111, 98, 106, 101, 99, 116, 115, 0], [1233, 62188]],
[1, [192, 334, 1689], [1679, 31094]],
[1, [1458, 153, 190, 1689, 1689, 79], [1405, 15547]],
[1, [15, 335], [1427, 42901]],
[1, [15, 336], [1427, 59906]],
[1, [337, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 29953]],
[1, [338, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 33608]],
[1, [339, 340, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 16804]],
[1, [341, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 8402]],
[1, [342, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 4201]],
[1, [343, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 45564]],
[1, [344, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 22782]],
[1, [345, 346, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 11391]],
[1, [347, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 45047]],
[1, [348, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 60979]],
[1, [349, 350, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 52945]],
[1, [351, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 56992]],
[1, [352, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 28496]],
[1, [353, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 14248]],
[1, [354, 355, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 7124]],
[1, [356, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 3562]],
[1, [357, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 1781]],
[1, [358, 359, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 47794]],
[1, [360, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 23897]],
[1, [361, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 38756]],
[3, 3],
[1, [362, 363, 364, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 19378]],
[1, [365, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 9689]],
[1, [366, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 43812]],
[1, [367, 368, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 21906]],
[1, [369, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 10953]],
[3, 4],
[1, [370, 371, 372, 373, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 44204]],
[1, [374, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 22102]],
[1, [375, 376, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 11051]],
[1, [377, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 44125]],
[1, [378, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 61414]],
[1, [379, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 30707]],
[1, [380, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 33329]],
[1, [381, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 63696]],
[1, [382, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 31848]],
[1, [383, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 15924]],
[1, [17, 15, 384], [1243, 7962]],
[1, [17, 17, 385], [1243, 3981]],
[1, [1689, 386, 387, 1689, 1689, 1689], [1657, 48654]],
[3, 17],
[1, [199, 1661, 388, 1282, 389, 1689, 1689, 1689, 1689, 1363, 390, 1689, 1689, 1518, 391, 1689, 1689, 1485, 392, 1262, 393, 1501, 394, 1453, 395, 1311, 396, 1689, 1689, 1689, 1689, 1689, 1689, 1602, 397, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1296, 398, 1428, 399, 1429, 400, 1534, 401, 1689, 1689, 1689, 1689, 1316, 402, 1246, 403, 1629, 404, 1689, 1689], [1380, 24327]],
[1, [200, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1380, 38475]],
[1, [1689, 405, 406, 1689, 1689, 1689], [1657, 62189]],
[3, 6],
[1, [202, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1363, 407, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1602, 408, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1428, 409, 1429, 410, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1246, 411, 1629, 412, 1689, 1689, 1689, 1689], [1380, 49342]],
[1, [203, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1380, 24671]],
[1, [1689, 413, 414, 1689, 1689, 1689], [1657, 35303]],
[1, [205, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1641, 415], [1380, 64827]],
[3, 5],
[1, [206, 1641, 416, 1620, 417, 1612, 418, 1689, 1689, 1689, 1689, 1264, 419, 1689, 1689, 1300, 420], [1380, 51029]],
[1, [1444, 1688, 1694, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 55906]],
[1, [421, 422, 423, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 27953]],
[1, [212, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1380, 36688]],
[1, [213, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1300, 424], [1380, 18344]],
[1, [1444, 1688, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 9172]],
[1, [425, 426, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 4586]],
[1, [1689, 427, 428, 1689, 1689, 1689], [1657, 2293]],
[1, [217, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1641, 429], [1380, 48562]],
[3, 54],
[1, [218, 1689, 1689, 1689, 1689, 1555, 430, 1689, 1689, 1689, 1689, 1689, 1689, 1609, 431, 1689, 1689, 1423, 432, 1689, 1689, 1689, 1689, 1689, 1689, 1473, 433, 1689, 1689, 1689, 1689, 1689, 1689, 1483, 434, 1251, 435, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1272, 436, 1240, 437, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1582, 438, 1346, 439, 1449, 440, 1365, 441, 1689, 1689, 1689, 1689, 1689, 1689, 1294, 442, 1384, 443, 1572, 444, 1264, 445, 1280, 446, 1642, 447, 1675, 448, 1312, 449, 1387, 450, 1693, 451, 1503, 452, 1475, 453, 1231, 454, 1441, 455, 1593, 456, 1674, 457, 1506, 458, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1529, 459, 1553, 460, 1276, 461, 1641, 462, 1493, 463, 1576, 464, 1689, 1689, 1689, 1689, 1305, 465, 1358, 466, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1497, 467, 1399, 468, 1581, 469, 1450, 470, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1468, 471, 1371, 472, 1689, 1689, 1689, 1689, 1333, 473, 1689, 1689, 1689, 1689, 1689, 1689, 1324, 474, 1689, 1689, 1689, 1689, 1689, 1689, 1500, 475, 1626, 476, 1689, 1689, 1689, 1689, 1619, 477, 1248, 478, 1689, 1689, 1495, 479, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1585, 480, 1334, 481, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1539, 482, 1689, 1689, 1509, 483, 1689, 1689], [1380, 24281]],
[3, 11],
[1, [1444, 1667, 1320, 1297, 1354, 1660, 1694, 1540, 1688, 1481, 1343, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 38564]],
[1, [484, 485, 486, 487, 488, 489, 490, 491, 492, 493, 494, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 19282]],
[1, [1689, 495, 496, 1689, 1689, 1689], [1657, 43804]],
[1, [228, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1628, 497], [1380, 21902]],
[1, [229, 1695, 498, 1689, 1689, 1689, 1689, 1307, 499, 1490, 500, 1689, 1689, 1689, 1689, 1535, 501], [1380, 10951]],
[1, [1444, 1688, 1290, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 44203]],
[1, [502, 503, 504, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 61341]],
[1, [1689, 505, 506, 1689, 1689, 1689], [1657, 52742]],
[1, [234, 1689, 1689, 1326, 507, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1380, 26371]],
[1, [235, 1689, 1689, 1260, 508, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1400, 509, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1466, 510, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1594, 511, 1326, 512, 1689, 1689, 1411, 513, 1689, 1689, 1689, 1689, 1689, 1689], [1380, 35401]],
[1, [1444, 1654, 1688, 1320, 1577, 1689, 1689, 1689, 1689, 1689], [1559, 64748]],
[1, [514, 515, 516, 517, 518, 1689, 1689, 1689, 1689, 1689], [1559, 32374]],
[1, [1689, 519, 520, 1689, 1689, 1689], [1657, 16187]],
[1, [240, 1689, 1689, 1245, 521, 1560, 522, 1689, 1689, 1689, 1689, 1264, 523, 1248, 524, 1641, 525], [1380, 42581]],
[3, 37],
[1, [241, 1689, 1689, 1689, 1689, 1689, 1689, 1499, 526, 1689, 1689, 1689, 1689, 1689, 1689, 1673, 527, 1257, 528, 1295, 529, 1252, 530, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1580, 531, 1689, 1689, 1601, 532, 1689, 1689, 1689, 1689, 1689, 1689, 1337, 533, 1689, 1689, 1662, 534, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1287, 535, 1689, 1689, 1300, 536, 1689, 1689, 1689, 1689, 1689, 1689, 1537, 537, 1689, 1689, 1264, 538, 1689, 1689, 1277, 539, 1355, 540, 1689, 1689, 1689, 1689, 1663, 541, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1379, 542, 1256, 543, 1285, 544, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1641, 545, 1445, 546, 1347, 547, 1689, 1689, 1325, 548, 1403, 549, 1358, 550, 1689, 1689, 1536, 551, 1689, 1689, 1269, 552, 1689, 1689, 1595, 553, 1385, 554, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1549, 555, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1596, 556, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1495, 557, 1689, 1689, 1689, 1689, 1689, 1689, 1570, 558, 1689, 1689, 1605, 559, 1689, 1689, 1689, 1689, 1689, 1689, 1590, 560, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1519, 561, 1509, 562], [1380, 60130]],
[3, 8],
[1, [1444, 1297, 1354, 1376, 1660, 1694, 1688, 1540, 1689, 1689], [1559, 30065]],
[1, [563, 564, 565, 566, 567, 568, 569, 570, 1689, 1689], [1559, 33648]],
[1, [249, 1689, 1689, 1689, 1689, 1689, 571, 572], [1421, 16824]],
[1, [251, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1380, 8412]],
[1, [252, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1380, 4206]],
[1, [573, 1689, 574, 1286, 1406, 575, 1323, 1275, 1516, 1485, 1625, 1325, 1406], [1604, 2103]],
[1, [573, 1689, 576, 1474, 1406, 577, 1257, 1563], [1604, 48595]],
[1, [573, 1689, 578, 1565, 1263, 579, 1303, 1640, 1675], [1604, 59169]],
[1, [580, 1689, 581, 1565, 1367, 582, 1456, 1557], [1604, 51800]],
[1, [573, 1689, 583, 1413, 1406, 584, 1385], [1604, 25900]],
[1, [585, 1689, 586, 1650, 1406, 587, 1285, 588, 1605], [1604, 12950]],
[1, [573, 1689, 589, 1431, 1406, 590, 1536], [1604, 6475]],
[1, [573, 1689, 591, 1680, 1406, 592, 1499], [1604, 46445]],
[1, [15, 1689, 593, 1467, 1332, 594, 1691], [1604, 58238]],
[1, [573, 1689, 595, 1467, 1406, 596, 1257, 1573, 1638], [1604, 29119]],
[1, [573, 1689, 597, 1318, 1263, 598, 1623, 1655, 1675], [1604, 33047]],
[1, [573, 1689, 599, 1244, 1406, 600, 1595], [1604, 63811]],
[1, [573, 1689, 601, 1442, 1263, 602, 1303, 1640, 1675], [1604, 50537]],
[1, [603, 1689, 604, 1442, 1303, 605, 1241, 1430, 606, 1515, 1328, 1323, 1644, 1686, 1331, 607, 1469, 1672, 1557, 1477, 1336, 608, 609, 1561, 1513, 1510, 1436, 1439, 1415, 1692, 1482, 610, 1550, 1260, 1555, 1348, 1457, 1545, 1666, 1395, 1283, 1492, 1351, 1274, 1424, 1460, 1624], [1604, 56188]],
[1, [611, 1689, 612, 1417, 1263, 613, 1531, 1232, 1408, 614, 1251, 615, 1519, 1434, 1466, 1620, 1344, 1270, 1612, 1471, 1439, 1684, 616, 1593, 1484, 1610], [1604, 28094]],
[1, [617, 1689, 618, 1556, 1406, 619, 1403], [1604, 14047]],
[1, [573, 1689, 620, 1426, 1263, 621, 1388, 1675], [1604, 41639]],
[1, [585, 1689, 622, 1402, 1263, 623, 1251, 624, 1434, 1260, 1505, 1386], [1604, 59547]],
[1, [585, 1689, 625, 1402, 1406, 626, 1252, 627, 1620, 1505, 1386], [1604, 52613]],
[1, [585, 1689, 628, 1394, 1406, 629, 1285, 630, 1601], [1604, 57098]],
[1, [573, 1689, 631, 1313, 1406, 632, 1277, 1632], [1604, 28549]],
[1, [573, 1689, 633, 1308, 1263, 634, 1253, 1675], [1604, 36362]],
[1, [573, 1689, 635, 1308, 1253, 636, 1517, 1637, 1430, 1253, 1270, 1538, 1640], [1604, 18181]],
[1, [573, 1689, 637, 1633, 1406, 638, 1257, 1573], [1604, 39498]],
[1, [573, 1689, 639, 1527, 1263, 640, 1531, 1263, 1471], [1604, 19749]],
[1, [573, 1689, 641, 1338, 1263, 642, 1531, 1263, 1471], [1604, 40794]],
[1, [195, 1689, 643, 1338, 1669, 644, 1392], [1604, 20397]],
[1, [195, 1689, 645, 1338, 1332, 646, 1309], [1604, 40478]],
[1, [573, 1689, 647, 1639, 1406, 648, 1257, 1480], [1604, 20239]],
[1, [649, 1689, 650, 1648, 1263, 651, 1623, 1655, 1675, 1516], [1604, 40527]],
[1, [652, 1689, 653, 1433, 1253, 654, 655, 1543, 1430, 1377, 1315, 1555, 656, 1358, 657, 1432, 1685, 658, 1612, 1439], [1604, 63215]],
[1, [573, 1689, 659, 1433, 1406, 660, 1257, 1618], [1604, 49855]],
[1, [195, 1689, 661, 1340, 1368, 662, 1583], [1604, 55447]],
[1, [573, 1689, 663, 1254, 1263, 664, 1323, 1566, 1516, 1358, 665, 1231], [1604, 54659]],
[1, [15, 1689, 666, 1254, 1466, 667], [1604, 54025]],
[1, [573, 1689, 668, 1254, 1406, 669, 1323, 1566, 1516, 1358, 670, 1570], [1604, 53324]],
[1, [15, 1689, 671, 1254, 1368, 672], [1604, 26662]],
[1, [573, 1689, 673, 1230, 1406, 674, 1663], [1604, 13331]],
[1, [573, 1689, 675, 1592, 1263, 676, 1231], [1604, 41921]],
[1, [573, 1689, 677, 1592, 1406, 678, 1570], [1604, 59432]],
[1, [573, 1689, 679, 1591, 1406, 680, 1257, 1261], [1604, 29716]],
[1, [617, 1689, 681, 1671, 1263, 682, 1484, 1675], [1604, 14858]],
[1, [585, 1689, 683, 1279, 1406, 684, 1323, 1275, 1516, 1262, 1625, 1537, 1285, 685, 1605], [1604, 7429]],
[1, [686, 1689, 687, 1613, 1263, 688, 1531, 1251, 689, 1620, 1434, 1466, 1334], [1604, 46922]],
[1, [686, 1689, 690, 1314, 1263, 691, 1531, 1553, 692, 1612, 1434, 1569, 1466, 1572], [1604, 23461]],
[1, [693, 1689, 694, 1514, 1461, 695, 1323, 1366, 1278, 1459, 1383], [1604, 37914]],
[1, [573, 1689, 696, 1575, 1406, 697, 1257, 1586], [1604, 18957]],
[1, [1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 40142]],
[1, [1646, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689, 1689], [1559, 20071]],
[1, [17, 273, 698], [1243, 40699]],
[1, [17, 273, 699], [1243, 63157]],
[1, [585, 1689, 700, 198, 1661, 701, 1408, 1381, 702, 1501], [1604, 49810]],
[1, [703, 1689, 704, 198, 1282, 705, 1614], [1604, 24905]],
[1, [693, 1689, 706, 198, 1363, 707, 1311, 1641, 1519], [1604, 35180]],
[1, [195, 1689, 708, 198, 1518, 709, 1531, 1487], [1604, 17590]],
[1, [703, 1689, 710, 198, 1485, 711, 1344], [1604, 8795]],
[1, [703, 1689, 712, 198, 1262, 713, 1615], [1604, 43237]],
[1, [693, 1689, 714, 198, 1501, 715, 1296, 1641, 1519], [1604, 60858]],
[1, [15, 1689, 716, 198, 1453, 717, 1317], [1604, 30429]],
[1, [195, 1689, 718, 198, 1311, 719, 1531, 1229], [1604, 33446]],
[1, [585, 1689, 720, 198, 1602, 721, 1408, 1381, 722, 1363], [1604, 16723]],
[1, [195, 1689, 723, 198, 1296, 724, 1256, 1531, 1229], [1604, 39265]],
[1, [573, 1689, 725, 198, 1428, 726, 1555, 1641, 1518], [1604, 62840]],
[1, [573, 1689, 727, 198, 1429, 728, 1428, 1640], [1604, 31420]],
[1, [585, 1689, 729, 198, 1534, 730, 1408, 1381, 731, 1316], [1604, 15710]],
[1, [693, 1689, 732, 198, 1316, 733, 1296, 1641, 1519], [1604, 7855]],
[1, [693, 1689, 734, 198, 1246, 735, 1519, 1641, 1311], [1604, 46751]],
[1, [585, 1689, 736, 198, 1629, 737, 1408, 1381, 738, 1246], [1604, 57991]],
[1, [17, 192, 739], [1243, 51339]],
[1, [17, 192, 740], [1243, 56717]],
[1, [693, 1689, 741, 201, 1363, 742, 1316, 1625], [1604, 55054]],
[1, [573, 1689, 743, 201, 1602, 744, 1534, 1625], [1604, 27527]],
[1, [573, 1689, 745, 201, 1428, 746, 1428, 1625], [1604, 35851]],
[1, [573, 1689, 747, 201, 1429, 748, 1429, 1625], [1604, 65485]],
[1, [693, 1689, 749, 201, 1246, 750, 1501, 1625], [1604, 50734]],
[1, [573, 1689, 751, 201, 1629, 752, 1661, 1625], [1604, 25367]],
[1, [17, 192, 753], [1243, 34883]],
[1, [17, 192, 754], [1243, 65001]],
[1, [573, 1689, 755, 204, 1641, 756, 1641, 1531], [1604, 51004]],
[1, [757, 1689, 758, 73, 1641, 759, 1311], [1604, 25502]],
[1, [573, 1689, 760, 73, 1620, 761, 1323, 1484, 1300, 1519, 1311], [1604, 12751]],
[1, [693, 1689, 762, 73, 1612, 763, 1323, 1484, 1300, 1347, 1311], [1604, 41263]],
[1, [195, 1689, 764, 73, 1264, 765, 1264, 1484], [1604, 59743]],
[1, [195, 1689, 766, 73, 1300, 767, 1300, 1311], [1604, 52583]],
[1, [17, 15, 768], [1243, 57211]],
[1, [17, 279, 769], [1243, 54901]],
[1, [17, 17, 770], [1243, 54002]],
[1, [195, 1689, 771, 74, 1300, 772, 1311, 1300, 1662], [1604, 27001]],
[1, [17, 15, 773], [1243, 36212]],
[1, [17, 17, 774], [1243, 18106]],
[1, [17, 192, 775], [1243, 9053]],
[1, [17, 192, 776], [1243, 43110]],
[1, [573, 1689, 777, 216, 1641, 778, 1641, 1531], [1604, 21555]],
[1, [779, 1689, 780, 75, 1555, 781, 1497, 1399, 1434, 1608, 1651, 1626, 1310, 1260, 1358, 782, 1684, 1238, 783, 1368], [1604, 37841]],
[1, [573, 1689, 784, 75, 1609, 785, 1623, 1238], [1604, 61472]],
[1, [195, 1689, 786, 75, 1423, 787, 1323, 1452, 1260, 1555, 1418, 1301, 1289, 1483, 1358, 788], [1604, 30736]],
[1, [789, 1689, 790, 75, 1473, 791, 1310, 1503, 1418, 1395, 1555, 1434, 1409, 1685, 1358, 792], [1604, 15368]],
[1, [789, 1689, 793, 75, 1483, 794, 1473, 1542, 1439, 1432], [1604, 7684]],
[1, [649, 1689, 795, 75, 1251, 796, 1581, 1523, 1434, 1642, 1464, 1249, 1503, 1418, 1461, 1399, 1439, 1645, 1358, 797], [1604, 3842]],
[1, [573, 1689, 798, 75, 1272, 799, 1323, 1370, 1284, 1396, 800, 1509, 1647, 1462], [1604, 1921]],
[1, [801, 1689, 802, 75, 1240, 803, 804, 805, 1543, 1430, 1623, 1434, 1452, 1260, 1550, 1418, 1484, 1419, 1469, 1497, 1647], [1604, 47624]],
[1, [789, 1689, 806, 75, 1582, 807, 1555, 1418, 1434, 1482, 808, 1260, 1401, 1304, 1390, 1548, 1478, 1627, 1578, 1420, 1662, 1568, 1321, 1289, 1441, 1358, 1336, 809, 1480], [1604, 23812]],
[1, [649, 1689, 810, 75, 1346, 811, 1623, 1238, 1594, 1610, 1323, 1260, 1430, 1612, 1571, 1438, 1465, 1620], [1604, 11906]],
[1, [649, 1689, 812, 75, 1449, 813, 1623, 1238, 1610, 1322, 1571, 1438], [1604, 5953]],
[1, [573, 1689, 814, 75, 1365, 815, 1651, 1685, 1609, 1594], [1604, 45672]],
[1, [693, 1689, 816, 75, 1294, 817, 1612, 1238, 1594], [1604, 22836]],
[1, [195, 1689, 818, 75, 1384, 819, 1500], [1604, 11418]],
[1, [820, 1689, 821, 75, 1572, 822, 1434, 1370, 1298, 1531, 1232, 1620, 1344, 1270, 1612, 1471, 1541], [1604, 5709]],
[1, [195, 1689, 823, 75, 1264, 824, 1264, 1238, 1531, 1335, 1606, 1651], [1604, 45806]],
[1, [825, 1689, 826, 75, 1280, 827, 1434, 1598, 828, 1644, 1418, 1497, 1437], [1604, 22903]],
[1, [585, 1689, 829, 75, 1642, 830, 1644, 1418, 1434, 831, 1497, 1471], [1604, 38259]],
[1, [832, 1689, 833, 75, 1675, 834, 1251, 835, 1434, 1260], [1604, 62321]],
[1, [649, 1689, 836, 75, 1312, 837, 1484, 1434, 1275, 1656, 1449, 1541, 1371, 1690, 1346, 1358, 838], [1604, 49264]],
[1, [649, 1689, 839, 75, 1387, 840, 1439, 1430, 1238, 1612], [1604, 24632]],
[1, [779, 1689, 841, 75, 1693, 842, 1272, 843, 1361, 1452, 1562, 1503, 1418, 1450, 1550, 1519, 1555, 1497, 1468, 1664], [1604, 12316]],
[1, [195, 1689, 844, 75, 1503, 845, 1503, 1418], [1604, 6158]],
[1, [846, 1689, 847, 75, 1475, 848, 1439, 1430, 1238, 1326, 1658, 1612], [1604, 3079]],
[1, [686, 1689, 849, 75, 1231, 850, 1553, 851, 1266, 1434, 1466, 1674, 1439], [1604, 49099]],
[1, [852, 1689, 853, 75, 1441, 854, 1483, 1323, 1569, 1366, 1608, 1423, 1439, 1557, 1685, 1470, 1390], [1604, 58925]],
[1, [855, 1689, 856, 75, 1593, 857, 1434, 1370, 1298, 1531, 1232, 1323, 1344, 1270, 1612, 1471, 1690, 1620], [1604, 51934]],
[1, [820, 1689, 858, 75, 1674, 859, 1434, 1370, 1298, 1531, 1232, 1620, 1344, 1270, 1612, 1471, 1656, 1594], [1604, 25967]],
[1, [789, 1689, 860, 75, 1506, 861, 1581, 1267, 1576, 1497, 1651, 1439, 1326, 1658], [1604, 35711]],
[1, [862, 1689, 863, 75, 1529, 864, 1475, 1531, 1232, 1408, 1485, 1625, 865, 1251, 866, 1519, 1434, 1466, 1620, 1344, 1270, 1612, 1471, 1439, 1684, 867, 1593, 1484, 1610, 1294], [1604, 64631]],
[1, [868, 1689, 869, 75, 1553, 870, 1581, 1634, 1434, 1642, 1552, 1249, 1503, 1418, 1585, 1545, 1399, 1383, 1645, 1358, 871], [1604, 51187]],
[1, [846, 1689, 872, 75, 1276, 873, 1644, 1418, 1414, 1310, 1348, 1361, 1452, 1562, 1503, 1451, 1550, 1439, 1557, 1668, 1555, 1434, 1353, 1546], [1604, 55857]],
[1, [757, 1689, 874, 75, 1641, 875, 1418], [1604, 54480]],
[1, [846, 1689, 876, 75, 1493, 877, 1644, 1418, 1414, 1576, 1434, 1686, 1439, 1324, 1569, 1271, 1511, 1557, 1276, 1353, 1497], [1604, 27240]],
[1, [789, 1689, 878, 75, 1576, 879, 1361, 1452, 1562, 1503, 1418, 1451, 1550, 1439, 1557, 1668, 1555], [1604, 13620]],
[1, [832, 1689, 880, 75, 1305, 881, 1531, 1262, 1625, 1387, 1553, 882, 1612, 1434, 1569, 1466, 1572], [1604, 6810]],
[1, [883, 1689, 884, 75, 1358, 885, 1564, 886, 1479, 1418, 1291, 887, 1628, 1504], [1604, 3405]],
[1, [195, 1689, 888, 75, 1497, 889, 1558, 1418], [1604, 49006]],
[1, [789, 1689, 890, 75, 1399, 891, 1585, 1323, 1642, 1545, 1521, 1282, 1625, 1399], [1604, 24503]],
[1, [573, 1689, 892, 75, 1581, 893, 1310, 1642, 1358, 1336, 1480, 894], [1604, 38419]],
[1, [617, 1689, 895, 75, 1450, 896, 1482, 897], [1604, 62145]],
[1, [898, 1689, 899, 75, 1468, 900, 1242, 1677, 1655, 1681, 1606, 901, 1682, 1364, 1412, 902, 1452, 1562, 1653, 1260, 1332, 903, 1307, 1341, 1336, 904], [1604, 49320]],
[1, [905, 1689, 906, 75, 1371, 907, 1323, 1466, 1610, 1623, 1238, 1594, 1319, 1293, 1571, 1310, 1275, 1416, 1235, 1612], [1604, 24660]],
[1, [789, 1689, 908, 75, 1333, 909, 1555, 1418, 1323, 1260, 1301, 1582], [1604, 12330]],
[1, [846, 1689, 910, 75, 1324, 911, 912, 1361, 1452, 1562, 1503, 1418, 1451, 1550, 1439, 1557, 1668, 1555, 913, 1448], [1604, 6165]],
[1, [914, 1689, 915, 75, 1500, 916, 1555, 1418, 1310, 1569, 1260, 1528, 1373, 1358, 917, 1272, 918, 1249, 1503, 1550, 1519, 1333, 1581], [1604, 46530]],
[1, [195, 1689, 919, 75, 1626, 920, 1361, 1608, 1430, 1298, 1312, 1407, 1651, 1685], [1604, 23265]],
[1, [921, 1689, 922, 75, 1619, 923, 1564, 924, 1475, 1693, 1263, 1294, 1341, 925, 1358, 1336, 926, 1488], [1604, 38072]],
[1, [617, 1689, 927, 75, 1248, 928, 1569, 1489, 1482, 929], [1604, 19036]],
[1, [195, 1689, 930, 75, 1495, 931, 1434, 1370, 1418, 1495], [1604, 9518]],
[1, [932, 1689, 933, 75, 1585, 934, 1310, 1503, 1418, 1550, 1240, 935, 1434, 1489, 1619, 1260, 1634, 1305, 1523, 1529, 1569, 1528, 1373, 1384, 1522, 1539, 1267, 1506, 1414, 1451, 1493, 1358, 936], [1604, 4759]],
[1, [693, 1689, 937, 75, 1334, 938, 1593], [1604, 45187]],
[1, [779, 1689, 939, 75, 1539, 940, 1581, 1522, 1434, 1260, 1550, 1418, 1528, 1664, 1500, 1272, 941, 1361, 1452, 1562, 1503, 1248, 1519, 1555, 1310, 1621, 1497, 1358, 942], [1604, 57737]],
[1, [195, 1689, 943, 75, 1509, 944, 1651, 1239, 1238, 1298], [1604, 51468]],
[1, [17, 15, 945], [1243, 25734]],
[1, [17, 279, 946], [1243, 12867]],
[1, [17, 17, 947], [1243, 41193]],
[1, [17, 17, 948], [1243, 59836]],
[1, [17, 949, 950], [1243, 29918]],
[1, [17, 17, 951], [1243, 14959]],
[1, [17, 17, 952], [1243, 42239]],
[1, [17, 17, 953], [1243, 60343]],
[1, [17, 192, 954], [1243, 52243]],
[1, [17, 955, 956], [1243, 57281]],
[1, [17, 957, 958], [1243, 54824]],
[1, [17, 192, 959], [1243, 27412]],
[1, [17, 192, 960], [1243, 13706]],
[1, [693, 1689, 961, 227, 1628, 962, 1531, 1535, 1307, 1471], [1604, 6853]],
[1, [963, 1689, 964, 76, 1695, 965, 1491, 1479, 1695, 1408, 1381, 966, 1342, 967, 1480, 1352], [1604, 46250]],
[1, [573, 1689, 968, 76, 1307, 969, 1425, 1259], [1604, 23125]],
[1, [703, 1689, 970, 76, 1490, 971, 1479], [1604, 38114]],
[1, [757, 1689, 972, 76, 1535, 973, 1479], [1604, 19057]],
[1, [17, 15, 974], [1243, 40176]],
[1, [17, 273, 975], [1243, 20088]],
[1, [17, 17, 976], [1243, 10044]],
[1, [17, 192, 977], [1243, 5022]],
[1, [17, 192, 978], [1243, 2511]],
[1, [573, 1689, 979, 233, 1326, 980, 1326, 1531], [1604, 48431]],
[1, [573, 1689, 981, 77, 1260, 982, 1452, 1275, 1516, 1260, 1594], [1604, 59231]],
[1, [573, 1689, 983, 77, 1400, 984, 1400, 1519, 1687, 1302, 1594, 1454], [1604, 51815]],
[1, [15, 1689, 985, 77, 1466, 986], [1604, 56571]],
[1, [703, 1689, 987, 77, 1594, 988, 1594], [1604, 55221]],
[1, [757, 1689, 989, 77, 1326, 990, 1594], [1604, 53778]],
[1, [195, 1689, 991, 77, 1411, 992, 1411, 1594], [1604, 26889]],
[1, [17, 15, 993], [1243, 36172]],
[1, [17, 192, 994], [1243, 18086]],
[1, [17, 192, 995], [1243, 9043]],
[1, [17, 17, 996], [1243, 43105]],
[1, [17, 17, 997], [1243, 60920]],
[1, [17, 279, 998], [1243, 30460]],
[1, [17, 279, 999], [1243, 15230]],
[1, [789, 1689, 1000, 239, 1245, 1001, 1397, 1270, 1344, 1543, 1612, 1439, 1670, 1002, 1003, 1004, 1005, 1006, 1007, 1008], [1604, 7615]],
[1, [846, 1689, 1009, 239, 1560, 1010, 1299, 1649, 1472, 1543, 1359, 1685, 1434, 1248, 1612], [1604, 46871]],
[1, [195, 1689, 1011, 239, 1264, 1012, 1245, 1560], [1604, 57923]],
[1, [617, 1689, 1013, 239, 1248, 1014, 1482, 1015], [1604, 51433]],
[1, [573, 1689, 1016, 239, 1641, 1017, 1641, 1531], [1604, 56764]],
[1, [573, 1689, 1018, 78, 1499, 1019, 1434, 1659, 1663, 1519, 1418, 1522, 1323, 1337, 1342, 1269], [1604, 28382]],
[1, [1020, 1689, 1021, 78, 1673, 1022, 1547, 1238, 1323, 1370, 1612, 1439, 1430, 1437, 1434, 1659, 1358, 1023, 1355], [1604, 14191]],
[1, [825, 1689, 1024, 78, 1257, 1025, 1285, 1026, 1519, 1418, 1523, 1464], [1604, 41599]],
[1, [905, 1689, 1027, 78, 1295, 1028, 1323, 1375, 1379, 1685, 1439, 1538, 1524, 1358, 1029], [1604, 59639]],
[1, [1030, 1689, 1031, 78, 1252, 1032, 1285, 1033, 1641, 1476, 1519, 1418, 1523, 1549, 1034, 1647, 1464], [1604, 52659]],
[1, [703, 1689, 1035, 78, 1580, 1036, 1491, 1580, 1397], [1604, 57105]],
[1, [1037, 1689, 1038, 78, 1601, 1039, 1519, 1418, 1523, 1434, 1498, 1549, 1040, 1662, 1554, 1041, 1042, 1300, 1464], [1604, 54848]],
[1, [868, 1689, 1043, 78, 1337, 1044, 1434, 1621, 1543, 1430, 1623, 1299, 1439, 1635, 1310, 1260], [1604, 27424]],
[1, [195, 1689, 1045, 78, 1662, 1046, 1446, 1418, 1447], [1604, 13712]],
[1, [868, 1689, 1047, 78, 1287, 1048, 1288, 1323, 1452, 1366, 1623, 1580, 1439, 1281, 1569, 1275, 1670, 1659, 1260, 1528, 1519, 1418, 1342, 1295], [1604, 6856]],
[1, [195, 1689, 1049, 78, 1300, 1050, 1342, 1418, 1051], [1604, 3428]],
[1, [585, 1689, 1052, 78, 1537, 1053, 1673, 1054, 1605], [1604, 1714]],
[1, [195, 1689, 1055, 78, 1264, 1056, 1264, 1418, 1396, 1057, 1580, 1397, 1447, 1659, 1238, 1531, 1335], [1604, 857]],
[1, [573, 1689, 1058, 78, 1277, 1059, 1410, 1418], [1604, 47204]],
[1, [573, 1689, 1060, 78, 1355, 1061, 1418, 1519, 1267, 1302], [1604, 23602]],
[1, [573, 1689, 1062, 78, 1663, 1063, 1269], [1604, 11801]],
[1, [649, 1689, 1064, 78, 1379, 1065, 1342, 1418, 1066, 1587, 1502], [1604, 44740]],
[1, [573, 1689, 1067, 78, 1256, 1068, 1659, 1323, 1590, 1528, 1670, 1373, 1069, 1070], [1604, 22370]],
[1, [825, 1689, 1071, 78, 1285, 1072, 1434, 1611, 1659, 1250, 1516, 1344, 1262, 1625, 1358, 1073, 1673, 1074, 1323, 1653, 1075, 1309, 1418, 1342, 1352, 1437], [1604, 11185]],
[1, [757, 1689, 1076, 78, 1641, 1077, 1418], [1604, 44048]],
[1, [1030, 1689, 1078, 78, 1445, 1079, 1285, 1080, 1641, 1362, 1519, 1418, 1634, 1549, 1081, 1662, 1647, 1552], [1604, 22024]],
[1, [693, 1689, 1082, 78, 1347, 1083, 1519, 1342, 1418, 1084], [1604, 11012]],
[1, [585, 1689, 1085, 78, 1325, 1086, 1673, 1087, 1601], [1604, 5506]],
[1, [789, 1689, 1088, 78, 1403, 1089, 1434, 1659, 1090, 1302, 1418], [1604, 2753]],
[1, [573, 1689, 1091, 78, 1358, 1092, 1307, 1630], [1604, 48296]],
[1, [573, 1689, 1093, 78, 1536, 1094, 1302, 1418], [1604, 24148]],
[1, [1095, 1689, 1096, 78, 1269, 1097, 1323, 1659, 1373, 1528, 1519, 1418, 1684, 1098, 1287], [1604, 12074]],
[1, [573, 1689, 1099, 78, 1595, 1100, 1434, 1659, 1358, 1101, 1347, 1416, 1437], [1604, 6037]],
[1, [573, 1689, 1102, 78, 1385, 1103, 1302, 1418], [1604, 45570]],
[1, [573, 1689, 1104, 78, 1549, 1105, 1447, 1439, 1437, 1685], [1604, 22785]],
[1, [195, 1689, 1106, 78, 1596, 1107, 1323, 1275, 1580, 1397, 1507], [1604, 38216]],
[1, [195, 1689, 1108, 78, 1495, 1109, 1434, 1370, 1418, 1495], [1604, 19108]],
[1, [1110, 1689, 1111, 78, 1570, 1112, 1392, 1516, 1434, 1621, 1285, 1113, 1605, 1114, 1445, 1115, 1684, 1116, 1242, 1350, 1612, 1664], [1604, 9554]],
[1, [1117, 1689, 1118, 78, 1605, 1119, 1519, 1418, 1634, 1434, 1498, 1260, 1430, 1549, 1120, 1310, 1662, 1374, 1121, 1323, 1300, 1347, 1552], [1604, 4777]],
[1, [693, 1689, 1122, 78, 1590, 1123, 1517, 1526, 1440, 1275, 1670, 1366, 1288, 1612, 1596, 1439], [1604, 45212]],
[1, [573, 1689, 1124, 78, 1519, 1125, 1406], [1604, 22606]],
[1, [195, 1689, 1126, 78, 1509, 1127, 1239, 1238], [1604, 11303]],
[1, [17, 15, 1128], [1243, 45019]],
[1, [17, 17, 1129], [1243, 60965]],
[1, [17, 955, 1130], [1243, 52954]],
[1, [17, 293, 1131], [1243, 26477]],
[1, [17, 17, 1132], [1243, 35454]],
[1, [17, 17, 1133], [1243, 17727]],
[1, [17, 273, 1134], [1243, 39767]],
[1, [17, 17, 1135], [1243, 62563]],
[1, [1397, 1689], [1255, 50169]],
[1, [1299, 1689], [1255, 55348]],
[3, 10485761],
[2, [101, 1, 105, 1, 1, 105, 0, 2, 105, 0, 3, 103, 6, 0, 1, 105, 0, 4, 103, 14, 5, 0, 2, 102, 1, 0, 1, 105, 0, 6, 103, 4, 1, 254, 1, 103, 6, 102, 1, 0, 1, 105, 0, 7, 103, 7, 1, 103, 4, 1, 254], [1683, 27674]],
[2, [115, 116, 111, 110, 79, 110, 58, 32, 97, 83, 84, 79, 78, 87, 114, 105, 116, 101, 114, 13, 9, 115, 101, 108, 102, 32, 99, 108, 97, 115, 115, 32, 61, 61, 32, 83, 84, 79, 78, 32, 108, 105, 115, 116, 67, 108, 97, 115, 115, 13, 9, 9, 105, 102, 84, 114, 117, 101, 58, 32, 91, 97, 83, 84, 79, 78, 87, 114, 105, 116, 101, 114, 32, 119, 114, 105, 116, 101, 76, 105, 115, 116, 58, 32, 115, 101, 108, 102, 93, 13, 9, 9, 105, 102, 70, 97, 108, 115, 101, 58, 32, 91, 115, 117, 112, 101, 114, 32, 115, 116, 111, 110, 79, 110, 58, 32, 97, 83, 84, 79, 78, 87, 114, 105, 116, 101, 114, 93, 0], [1233, 13837]],
[2, [101, 1, 105, 0, 1, 103, 4, 1, 254, 2, 103, 6, 105, 0, 2, 103, 6, 0], [1683, 41678]],
[2, [115, 116, 111, 110, 79, 110, 58, 32, 97, 83, 84, 79, 78, 87, 114, 105, 116, 101, 114, 13, 9, 97, 83, 84, 79, 78, 87, 114, 105, 116, 101, 114, 32, 119, 114, 105, 116, 101, 79, 98, 106, 101, 99, 116, 58, 32, 115, 101, 108, 102, 32, 108, 105, 115, 116, 83, 105, 110, 103, 108, 101, 116, 111, 110, 58, 32, 115, 101, 108, 102, 32, 104, 104, 109, 109, 115, 115, 109, 115, 0], [1233, 20839]],
[2, [101, 1, 109, 1, 105, 0, 1, 103, 6, 1, 105, 0, 2, 105, 0, 3, 103, 4, 1, 254, 0, 0], [1683, 37243]],
[2, [102, 114, 111, 109, 83, 116, 111, 110, 58, 32, 115, 116, 111, 110, 82, 101, 97, 100, 101, 114, 13, 9, 94, 115, 101, 108, 102, 32, 114, 101, 97, 100, 70, 114, 111, 109, 73, 115, 111, 56, 54, 48, 49, 58, 32, 115, 116, 111, 110, 82, 101, 97, 100, 101, 114, 32, 112, 97, 114, 115, 101, 76, 105, 115, 116, 83, 105, 110, 103, 108, 101, 116, 111, 110, 32, 114, 101, 97, 100, 83, 116, 114, 101, 97, 109, 0], [1233, 49522]],
[3, 10485767],
[2, [101, 1, 109, 1, 105, 0, 1, 103, 6, 8, 103, 4, 3, 254, 103, 4, 2, 254, 103, 4, 1, 254, 103, 4, 4, 254, 103, 4, 5, 254, 103, 4, 6, 254, 104, 0, 0, 105, 0, 2, 103, 4, 7, 254, 1, 104, 0, 60], [1683, 24761]],
[2, [121, 101, 97, 114, 58, 32, 121, 121, 121, 121, 13, 109, 111, 110, 116, 104, 58, 32, 109, 13, 100, 97, 121, 58, 32, 100, 100, 13, 104, 111, 117, 114, 58, 32, 104, 104, 13, 109, 105, 110, 117, 116, 101, 58, 32, 109, 109, 13, 115, 101, 99, 111, 110, 100, 58, 32, 115, 115, 13, 111, 102, 102, 115, 101, 116, 58, 32, 104, 13, 9, 94, 115, 101, 108, 102, 13, 9, 9, 110, 101, 119, 68, 97, 121, 58, 32, 100, 100, 13, 9, 9, 109, 111, 110, 116, 104, 58, 32, 109, 13, 9, 9, 121, 101, 97, 114, 58, 32, 121, 121, 121, 121, 13, 9, 9, 104, 111, 117, 114, 115, 58, 32, 104, 104, 13, 9, 9, 109, 105, 110, 117, 116, 101, 115, 58, 32, 109, 109, 13, 9, 9, 115, 101, 99, 111, 110, 100, 115, 58, 32, 115, 115, 13, 9, 9, 109, 105, 108, 108, 105, 115, 101, 99, 111, 110, 100, 115, 58, 32, 48, 13, 9, 9, 111, 102, 102, 115, 101, 116, 58, 32, 104, 32, 42, 32, 54, 48, 0], [1233, 35220]],
[2, [101, 1, 105, 0, 1, 103, 4, 1, 254, 1, 103, 6], [1683, 17610]],
[2, [115, 116, 111, 110, 79, 110, 58, 32, 97, 83, 84, 79, 78, 87, 114, 105, 116, 101, 114, 13, 9, 97, 83, 84, 79, 78, 87, 114, 105, 116, 101, 114, 32, 119, 114, 105, 116, 101, 66, 111, 111, 108, 101, 97, 110, 58, 32, 115, 101, 108, 102, 0], [1233, 8805]],
[3, 10485825],
[2, [101, 1, 105, 0, 1, 103, 4, 1, 254, 2, 103, 6, 102, 0, 2, 3, 0, 1, 1, 1, 105, 0, 3, 103, 4, 2, 0, 1, 103, 6], [1683, 43258]],
[2, [115, 116, 111, 110, 79, 110, 58, 32, 97, 83, 84, 79, 78, 87, 114, 105, 116, 101, 114, 13, 9, 97, 83, 84, 79, 78, 87, 114, 105, 116, 101, 114, 32, 119, 114, 105, 116, 101, 79, 98, 106, 101, 99, 116, 58, 32, 115, 101, 108, 102, 32, 100, 111, 58, 32, 91, 97, 83, 84, 79, 78, 87, 114, 105, 116, 101, 114, 32, 101, 110, 99, 111, 100, 101, 77, 97, 112, 58, 32, 115, 101, 108, 102, 93, 0], [1233, 21629]],
[1, [1136, 1689, 1137], [1597, 37878]],
[2, [101, 1, 105, 0, 1, 103, 4, 1, 254, 1, 103, 6], [1683, 18939]],
[2, [115, 116, 111, 110, 79, 110, 58, 32, 97, 83, 84, 79, 78, 87, 114, 105, 116, 101, 114, 13, 9, 97, 83, 84, 79, 78, 87, 114, 105, 116, 101, 114, 32, 119, 114, 105, 116, 101, 73, 110, 116, 101, 103, 101, 114, 58, 32, 115, 101, 108, 102, 0], [1233, 40245]],
[2, [101, 1, 105, 0, 1, 103, 4, 1, 254, 1, 103, 6], [1683, 63314]],
[2, [115, 116, 111, 110, 79, 110, 58, 32, 97, 83, 84, 79, 78, 87, 114, 105, 116, 101, 114, 13, 9, 97, 83, 84, 79, 78, 87, 114, 105, 116, 101, 114, 32, 119, 114, 105, 116, 101, 83, 121, 109, 98, 111, 108, 58, 32, 115, 101, 108, 102, 0], [1233, 31657]],
[2, [101, 1, 109, 1, 104, 1], [1683, 33820]],
[2, [115, 116, 111, 110, 78, 97, 109, 101, 13, 9, 94, 35, 67, 108, 97, 115, 115, 0], [1233, 16910]],
[2, [101, 1, 105, 0, 1, 103, 4, 1, 254, 2, 103, 6, 105, 0, 2, 105, 0, 3, 103, 6, 0, 0], [1683, 8455]],
[2, [115, 116, 111, 110, 79, 110, 58, 32, 97, 83, 84, 79, 78, 87, 114, 105, 116, 101, 114, 13, 9, 97, 83, 84, 79, 78, 87, 114, 105, 116, 101, 114, 32, 119, 114, 105, 116, 101, 79, 98, 106, 101, 99, 116, 58, 32, 115, 101, 108, 102, 32, 108, 105, 115, 116, 83, 105, 110, 103, 108, 101, 116, 111, 110, 58, 32, 115, 101, 108, 102, 32, 105, 110, 115, 116, 97, 110, 99, 101, 67, 108, 97, 115, 115, 32, 115, 121, 109, 98, 111, 108, 0], [1233, 43339]],
[2, [101, 1, 109, 1, 105, 0, 1, 103, 14, 2, 1, 105, 0, 3, 103, 4, 1, 254, 0], [1683, 60781]],
[2, [102, 114, 111, 109, 83, 116, 111, 110, 58, 32, 115, 116, 111, 110, 82, 101, 97, 100, 101, 114, 13, 9, 94, 83, 109, 97, 108, 108, 116, 97, 108, 107, 32, 97, 116, 58, 32, 115, 116, 111, 110, 82, 101, 97, 100, 101, 114, 32, 112, 97, 114, 115, 101, 76, 105, 115, 116, 83, 105, 110, 103, 108, 101, 116, 111, 110, 0], [1233, 26559]],
[2, [101, 1, 105, 0, 1, 103, 4, 1, 254, 1, 103, 6], [1683, 35351]],
[2, [115,