@powerlang/egg-js
Version:
A Smalltalk VM that runs on top of JavaScript
831 lines • 716 kB
JSON
{
"objects" : [
[1, [9, 10, 4641], [4261, 49659]],
[2, [67, 111, 109, 112, 105, 108, 101, 114, 0], [4264, 10490]],
[1, [11, 12], [4291, 46070]],
[1, [13, 14, 4696], [4707, 23035]],
[1, [15, 16], [4584, 38197]],
[1, [17, 11, 18], [4938, 62290]],
[1, [17, 19], [4584, 31145]],
[1, [15, 20], [4584, 34076]],
[1, [], [4234, 17038]],
[1, [4336, 0, 22, 23, 4696, 4109, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [21, 17990]],
[1, [26, 27], [4246, 43371]],
[3, 58],
[1, [2, 4650, 4696, 4092, 4696, 4728, 4696, 4696, 4132, 4696, 4696, 4696, 4520, 4696, 4696, 4730, 4487, 4197, 4817, 4109, 4528, 4267, 4240, 4352, 4618, 4779, 4696, 4696, 4696, 4280, 4696, 4696, 4623, 4621, 4592, 4459, 4696, 4611, 4687, 4696, 4166, 4696, 4696, 4096, 4103, 4696, 4539, 4696, 4696, 4696, 4444, 4200, 4709, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4373, 4523, 4490, 4645, 4696, 4930, 4195, 4696, 4895, 4696, 4696, 4696, 4696, 4744, 4696, 4185, 4326, 4615, 4673, 4727, 4947, 4294, 4079, 4935, 4399, 4254, 4826, 4212, 4640, 4696, 4696, 4696, 4696, 4403, 4691, 4696, 4847, 4696, 4696, 4775, 4266, 4314, 4696, 4696, 4696, 4696, 4696], [4236, 32353]],
[3, 82],
[1, [3, 28, 4696, 4696, 4696, 29, 4696, 4696, 30, 4696, 31, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 32, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 33, 4696, 4696, 4696, 4696, 34, 35, 4696, 36, 37, 38, 39, 4696, 4696, 40, 41, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 42, 43, 44, 45, 46, 47, 4696, 4696, 4696, 4696, 4696, 48, 49, 4696, 50, 4696, 4696, 4696, 4696, 51, 4696, 4696, 52, 53, 54, 4696, 4696, 4696, 4696, 4696, 55, 56, 57, 4696, 58, 59, 4696, 4696, 4696, 4696, 60, 61, 62, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 63, 4696, 64, 65, 66, 4696, 4696, 67, 68, 69, 70, 4696, 71, 72, 4696, 73, 74, 75, 76, 4696, 4696, 4696, 77, 4696, 78, 79, 80, 81, 4696, 4696, 82, 4696, 4696, 83, 4696, 4696, 4696, 84, 4696, 4696, 4696, 4696, 4696, 85, 86, 87, 4696, 88, 89, 90, 91, 4696, 4696, 4696, 4696, 4696, 4696, 92, 4696, 4696, 4696, 4696, 4696, 93, 4696, 94, 4696, 4696, 4696, 4696, 95, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 96, 97, 98, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 99, 100, 101, 4696, 4696, 4696, 4696, 102, 4696, 4696, 103, 4696, 4696, 4696, 4696, 4696, 4696, 104, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 105, 4696, 4696, 4696, 4696, 4696, 106, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 107, 4696, 108, 109, 4696, 4696, 4696], [4236, 8638]],
[3, 0],
[1, [4, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4236, 57627]],
[3, 1],
[1, [9, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4234, 28341]],
[1, [6, 4696, 167, 4696, 4696, 4696, 4696, 4696], [4236, 36498]],
[1, [7, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4236, 18249]],
[1, [168, 169, 4807], [4261, 61543]],
[3, 16394],
[1, [4696, 170, 171, 4696, 4696, 4696], [4464, 9883]],
[1, [], [4234, 43653]],
[1, [1, 4696, 2, 3, 4696, 4, 5, 6, 7, 8], [0, 60554]],
[3, 3],
[1, [10, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4150, 172, 4871, 173, 4722, 174], [4384, 16757]],
[1, [4731, 4631], [4559, 10213]],
[1, [4709, 149], [4559, 43578]],
[1, [4730, 137], [4559, 21789]],
[1, [4254, 135], [4559, 37702]],
[1, [4136, 4560], [4559, 18851]],
[1, [4212, 162], [4559, 40217]],
[1, [4665, 175], [4559, 63300]],
[1, [4687, 113], [4559, 31650]],
[1, [4280, 153], [4559, 15825]],
[1, [4109, 9], [4559, 42784]],
[1, [4623, 116], [4559, 21392]],
[1, [4728, 136], [4559, 10696]],
[1, [4103, 139], [4559, 5348]],
[1, [4314, 122], [4559, 2674]],
[1, [4200, 133], [4559, 1337]],
[1, [4727, 142], [4559, 47956]],
[1, [4817, 120], [4559, 23978]],
[1, [4134, 176], [4559, 11989]],
[1, [4775, 144], [4559, 44706]],
[1, [4673, 115], [4559, 22353]],
[1, [4194, 4336], [4559, 37472]],
[1, [4930, 138], [4559, 18736]],
[1, [4197, 114], [4559, 9368]],
[1, [4490, 145], [4559, 4684]],
[1, [4826, 146], [4559, 2342]],
[1, [4523, 156], [4559, 1171]],
[1, [4650, 159], [4559, 48001]],
[1, [4287, 4626], [4559, 58376]],
[1, [4618, 121], [4559, 29188]],
[1, [4611, 161], [4559, 14594]],
[1, [4224, 4916], [4559, 7297]],
[1, [4399, 154], [4559, 46984]],
[1, [4166, 151], [4559, 23492]],
[1, [4240, 158], [4559, 11746]],
[1, [4195, 147], [4559, 5873]],
[1, [4242, 4160], [4559, 45744]],
[1, [4267, 126], [4559, 22872]],
[1, [4132, 124], [4559, 11436]],
[1, [4402, 4545], [4559, 5718]],
[1, [4621, 155], [4559, 2859]],
[1, [4096, 131], [4559, 48221]],
[1, [4897, 4283], [4559, 59366]],
[1, [4847, 118], [4559, 29683]],
[1, [4405, 4360], [4559, 32817]],
[1, [4905, 4209], [4559, 63952]],
[1, [4520, 130], [4559, 31976]],
[1, [4112, 4480], [4559, 15988]],
[1, [4539, 141], [4559, 7994]],
[1, [4795, 4834], [4559, 3997]],
[1, [4429, 4256], [4559, 48646]],
[1, [4079, 125], [4559, 24323]],
[1, [4895, 150], [4559, 38473]],
[1, [4935, 127], [4559, 62188]],
[1, [4800, 4460], [4559, 31094]],
[1, [4956, 26], [4559, 15547]],
[1, [4403, 128], [4559, 42901]],
[1, [4890, 15], [4559, 59906]],
[1, [4373, 148], [4559, 29953]],
[1, [4592, 140], [4559, 33608]],
[1, [4352, 164], [4559, 16804]],
[1, [4326, 134], [4559, 8402]],
[1, [4779, 165], [4559, 4201]],
[1, [4691, 166], [4559, 45564]],
[1, [4744, 157], [4559, 22782]],
[1, [4528, 111], [4559, 11391]],
[1, [4770, 4591], [4559, 45047]],
[1, [4645, 160], [4559, 60979]],
[1, [4640, 132], [4559, 52945]],
[1, [4615, 117], [4559, 56992]],
[1, [4708, 4243], [4559, 28496]],
[1, [4266, 129], [4559, 14248]],
[1, [4459, 163], [4559, 7124]],
[1, [4954, 4713], [4559, 3562]],
[1, [4092, 110], [4559, 1781]],
[1, [4185, 119], [4559, 47794]],
[1, [4294, 112], [4559, 23897]],
[1, [4487, 143], [4559, 38756]],
[1, [4865, 4819], [4559, 19378]],
[1, [4444, 123], [4559, 9689]],
[1, [4111, 17], [4559, 43812]],
[1, [4370, 4238], [4559, 21906]],
[1, [4947, 152], [4559, 10953]],
[1, [4834, 178, 179, 180, 181, 4092, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [177, 8995]],
[1, [110, 183, 184, 185, 186, 4528, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [182, 43097]],
[1, [111, 188, 184, 189, 4696, 4294, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [187, 60900]],
[1, [4834, 191, 192, 193, 4696, 4687, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [190, 30450]],
[1, [113, 195, 192, 196, 4696, 4197, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [194, 15225]],
[1, [114, 198, 192, 199, 4696, 4673, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [197, 42100]],
[1, [113, 201, 179, 202, 203, 4623, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [200, 21050]],
[1, [4834, 205, 206, 207, 208, 4615, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [204, 10525]],
[1, [117, 210, 211, 212, 213, 4847, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [209, 44358]],
[1, [110, 215, 179, 216, 4696, 4185, 4696, 217, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [214, 22179]],
[1, [110, 219, 179, 220, 4696, 4817, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [218, 37529]],
[1, [120, 222, 179, 223, 4696, 4618, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [221, 61572]],
[1, [4834, 225, 179, 226, 227, 4314, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [224, 30786]],
[1, [114, 229, 192, 230, 4696, 4444, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [228, 15393]],
[1, [4834, 232, 179, 233, 234, 4132, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [231, 42968]],
[1, [117, 236, 237, 238, 239, 4079, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [235, 21484]],
[1, [119, 241, 242, 243, 244, 4267, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [240, 10742]],
[1, [120, 246, 179, 247, 4696, 4935, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [245, 5371]],
[1, [4834, 249, 250, 251, 252, 4403, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [248, 46005]],
[1, [128, 254, 250, 255, 4696, 4266, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [253, 57362]],
[1, [129, 257, 206, 258, 259, 4520, 4696, 260, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [256, 28681]],
[1, [129, 262, 211, 263, 264, 4096, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [261, 33228]],
[1, [131, 266, 267, 268, 269, 4640, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [265, 16614]],
[1, [129, 271, 272, 273, 274, 4200, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [270, 8307]],
[1, [129, 276, 237, 277, 278, 4326, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [275, 43505]],
[1, [134, 280, 211, 281, 282, 4254, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [279, 60720]],
[1, [129, 284, 206, 285, 286, 4728, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [283, 30360]],
[1, [129, 288, 184, 289, 290, 4730, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [287, 15180]],
[1, [4916, 292, 293, 294, 295, 4930, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [291, 7590]],
[1, [4834, 297, 184, 298, 299, 4103, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [296, 3795]],
[1, [4834, 301, 250, 302, 303, 4592, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [300, 48801]],
[1, [128, 305, 184, 306, 307, 4539, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [304, 59032]],
[1, [141, 309, 184, 310, 4696, 4727, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [308, 29516]],
[1, [128, 312, 250, 313, 4696, 4487, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [311, 14758]],
[1, [4209, 315, 316, 317, 4696, 4775, 4696, 318, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [314, 7379]],
[1, [129, 320, 272, 321, 322, 4490, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [319, 47009]],
[1, [138, 324, 293, 4696, 4696, 4826, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [323, 57880]],
[1, [129, 326, 184, 327, 328, 4195, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [325, 28940]],
[1, [131, 330, 22, 331, 332, 4373, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [329, 14470]],
[1, [147, 334, 184, 335, 4696, 4709, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [333, 7235]],
[1, [4834, 337, 192, 338, 4696, 4895, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [336, 47081]],
[1, [128, 340, 206, 341, 342, 4166, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [339, 57916]],
[1, [129, 344, 272, 345, 346, 4947, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [343, 28958]],
[1, [129, 348, 272, 349, 350, 4280, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [347, 14479]],
[1, [150, 352, 179, 353, 354, 4399, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [351, 42383]],
[1, [4834, 356, 211, 357, 358, 4621, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [355, 60175]],
[1, [4834, 360, 184, 361, 362, 4523, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [359, 52303]],
[1, [4834, 364, 242, 365, 366, 4744, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [363, 57327]],
[1, [147, 368, 184, 369, 4696, 4240, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [367, 54847]],
[1, [141, 371, 184, 372, 4696, 4650, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [370, 53975]],
[1, [138, 374, 267, 375, 376, 4645, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [373, 53411]],
[1, [110, 378, 179, 379, 4696, 4611, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [377, 53657]],
[1, [122, 381, 179, 382, 4696, 4212, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [380, 53508]],
[1, [161, 384, 179, 385, 4696, 4459, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [383, 26754]],
[1, [111, 387, 184, 388, 4696, 4352, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [386, 13377]],
[1, [150, 390, 250, 391, 392, 4779, 4696, 393, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [389, 41960]],
[1, [120, 395, 179, 396, 4696, 4691, 4696, 24, 25, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [394, 20980]],
[1, [4708, 397], [4559, 44204]],
[1, [4104, 21, 398, 4696, 4696, 9], [4701, 22102]],
[1, [15, 399], [4246, 11051]],
[1, [17, 175, 400], [4938, 33329]],
[1, [17, 175, 401], [4938, 63696]],
[1, [402, 4696, 403, 9, 4150, 404, 4770, 4799, 4699, 4466, 4579, 4429, 405], [4107, 7962]],
[1, [402, 4696, 406, 9, 4871, 407, 4871, 4779, 4875, 4824, 4722], [4107, 3981]],
[1, [402, 4696, 408, 9, 4722, 409, 4828, 4699, 4890, 4111, 4134, 4956, 4665], [4107, 48654]],
[3, 4],
[3, 2],
[1, [410, 411, 4745], [4261, 55605]],
[1, [110, 412, 4325], [4261, 54610]],
[3, 16385],
[1, [4696, 413, 414, 4696, 4696, 4696], [4464, 27953]],
[1, [415], [4234, 36688]],
[1, [416, 417, 177], [4261, 27305]],
[1, [111, 418, 178], [4261, 35996]],
[3, 16388],
[1, [4696, 419, 420, 4696, 4696, 4696], [4464, 18344]],
[1, [421, 422, 423], [4234, 9172]],
[1, [424, 425, 182], [4261, 17998]],
[1, [112, 426, 183], [4261, 8999]],
[1, [4696, 427, 428, 4696, 4696, 4696], [4464, 4586]],
[1, [429, 430, 4745], [4261, 43099]],
[1, [113, 431, 4325], [4261, 60901]],
[3, 16384],
[1, [4696, 432, 433, 4696, 4696, 4696], [4464, 2293]],
[1, [434, 435, 190], [4261, 53050]],
[1, [114, 436, 191], [4261, 26525]],
[1, [4696, 437, 438, 4696, 4696, 4696], [4464, 48562]],
[1, [439, 440, 194], [4261, 35334]],
[1, [115, 441, 195], [4261, 17667]],
[1, [4696, 442, 443, 4696, 4696, 4696], [4464, 24281]],
[1, [444, 445, 190], [4261, 39753]],
[1, [116, 446, 191], [4261, 62572]],
[1, [4696, 447, 448, 4696, 4696, 4696], [4464, 38564]],
[1, [449], [4234, 19282]],
[1, [450, 451, 4745], [4261, 31286]],
[1, [117, 452, 4325], [4261, 15643]],
[3, 16390],
[1, [4696, 453, 454, 4696, 4696, 4696], [4464, 9641]],
[1, [455, 456, 457, 458, 459, 460], [4234, 43804]],
[1, [461, 462, 204], [4261, 42821]],
[1, [118, 463, 205], [4261, 60010]],
[3, 16392],
[1, [4696, 464, 465, 4696, 4696, 4696], [4464, 21902]],
[1, [466, 467], [4234, 10951]],
[1, [468, 469, 177], [4261, 30005]],
[1, [119, 470, 178], [4261, 33618]],
[1, [4696, 471, 472, 4696, 4696, 4696], [4464, 44203]],
[1, [473], [4234, 61341]],
[1, [474, 475, 177], [4261, 16809]],
[1, [120, 476, 178], [4261, 39196]],
[1, [4696, 477, 478, 4696, 4696, 4696], [4464, 52742]],
[1, [479, 480, 218], [4261, 19598]],
[1, [121, 481, 219], [4261, 9799]],
[1, [4696, 482, 483, 4696, 4696, 4696], [4464, 26371]],
[1, [484, 485, 4745], [4261, 43755]],
[1, [122, 486, 4325], [4261, 60605]],
[1, [4696, 487, 488, 4696, 4696, 4696], [4464, 35401]],
[1, [489], [4234, 64748]],
[1, [490, 491, 194], [4261, 53142]],
[1, [123, 492, 195], [4261, 26571]],
[1, [4696, 493, 494, 4696, 4696, 4696], [4464, 32374]],
[1, [495, 496, 4745], [4261, 35373]],
[1, [124, 497, 4325], [4261, 64734]],
[1, [4696, 498, 499, 4696, 4696, 4696], [4464, 16187]],
[1, [500], [4234, 42581]],
[1, [501, 502, 204], [4261, 32367]],
[1, [125, 503, 205], [4261, 34559]],
[3, 16391],
[1, [4696, 504, 505, 4696, 4696, 4696], [4464, 60130]],
[1, [506], [4234, 30065]],
[1, [507, 508, 214], [4261, 64183]],
[1, [126, 509, 215], [4261, 50323]],
[3, 16386],
[1, [4696, 510, 511, 4696, 4696, 4696], [4464, 33648]],
[1, [512], [4234, 16824]],
[1, [513, 514, 218], [4261, 56193]],
[1, [127, 515, 219], [4261, 54280]],
[1, [4696, 516, 517, 4696, 4696, 4696], [4464, 8412]],
[1, [518, 519, 4745], [4261, 27140]],
[1, [128, 520, 4325], [4261, 13570]],
[3, 16387],
[1, [4696, 521, 522, 4696, 4696, 4696], [4464, 4206]],
[1, [523, 524, 525], [4234, 2103]],
[1, [526, 527, 248], [4261, 6785]],
[1, [129, 528, 249], [4261, 46216]],
[1, [4696, 529, 530, 4696, 4696, 4696], [4464, 48595]],
[1, [531, 532, 253], [4261, 23108]],
[1, [130, 533, 254], [4261, 11554]],
[1, [4696, 534, 535, 4696, 4696, 4696], [4464, 59169]],
[1, [536, 537, 538], [4234, 51800]],
[1, [539], [4234, 25900]],
[1, [540, 541, 253], [4261, 5777]],
[1, [131, 542, 254], [4261, 45696]],
[1, [4696, 543, 544, 4696, 4696, 4696], [4464, 12950]],
[1, [545, 546, 547, 548, 549], [4234, 6475]],
[1, [550, 551, 261], [4261, 22848]],
[1, [132, 552, 262], [4261, 11424]],
[3, 16395],
[1, [4696, 553, 554, 4696, 4696, 4696], [4464, 46445]],
[1, [555, 556, 557], [4234, 58238]],
[1, [558, 559, 253], [4261, 5712]],
[1, [133, 560, 254], [4261, 2856]],
[3, 16389],
[1, [4696, 561, 562, 4696, 4696, 4696], [4464, 29119]],
[1, [563, 564], [4234, 33047]],
[1, [565, 566, 253], [4261, 1428]],
[1, [134, 567, 254], [4261, 714]],
[1, [4696, 568, 569, 4696, 4696, 4696], [4464, 63811]],
[1, [570, 571, 572, 573], [4234, 50537]],
[1, [574, 575, 275], [4261, 357]],
[1, [135, 576, 276], [4261, 47482]],
[1, [4696, 577, 578, 4696, 4696, 4696], [4464, 56188]],
[1, [579], [4234, 28094]],
[1, [580, 581, 253], [4261, 23741]],
[1, [136, 582, 254], [4261, 38806]],
[1, [4696, 583, 584, 4696, 4696, 4696], [4464, 14047]],
[1, [585, 586, 587], [4234, 41639]],
[1, [588, 589, 253], [4261, 19403]],
[1, [137, 590, 254], [4261, 39981]],
[1, [4696, 591, 592, 4696, 4696, 4696], [4464, 59547]],
[1, [593], [4234, 52613]],
[1, [594, 595, 4813], [4261, 63454]],
[1, [138, 596, 4102], [4261, 31727]],
[3, 16393],
[1, [4696, 597, 598, 4696, 4696, 4696], [4464, 57098]],
[1, [599, 600, 601, 602], [4234, 28549]],
[1, [603, 604, 4745], [4261, 33855]],
[1, [139, 605, 4325], [4261, 64471]],
[1, [4696, 606, 607, 4696, 4696, 4696], [4464, 36362]],
[1, [608, 609, 610, 611], [4234, 18181]],
[1, [612, 613, 4745], [4261, 50211]],
[1, [140, 614, 4325], [4261, 56281]],
[1, [4696, 615, 616, 4696, 4696, 4696], [4464, 39498]],
[1, [617, 618, 619], [4234, 19749]],
[1, [620, 621, 248], [4261, 54308]],
[1, [141, 622, 249], [4261, 27154]],
[1, [4696, 623, 624, 4696, 4696, 4696], [4464, 40794]],
[1, [625], [4234, 20397]],
[1, [626, 627, 304], [4261, 13577]],
[1, [142, 628, 305], [4261, 41804]],
[1, [4696, 629, 630, 4696, 4696, 4696], [4464, 40478]],
[1, [631, 632, 248], [4261, 20902]],
[1, [143, 633, 249], [4261, 10451]],
[1, [4696, 634, 635, 4696, 4696, 4696], [4464, 20239]],
[1, [636, 637, 4438], [4261, 44449]],
[1, [144, 638, 4573], [4261, 61208]],
[3, 8192],
[1, [4696, 639, 640, 4696, 4696, 4696], [4464, 40527]],
[1, [641], [4234, 63215]],
[1, [642, 643, 253], [4261, 30604]],
[1, [145, 644, 254], [4261, 15302]],
[1, [4696, 645, 646, 4696, 4696, 4696], [4464, 49855]],
[1, [647, 648], [4234, 55447]],
[1, [649, 650, 291], [4261, 7651]],
[1, [146, 651, 292], [4261, 46905]],
[1, [652, 653, 253], [4261, 57940]],
[1, [147, 654, 254], [4261, 28970]],
[1, [4696, 655, 656, 4696, 4696, 4696], [4464, 54659]],
[1, [657], [4234, 54025]],
[1, [658, 659, 261], [4261, 14485]],
[1, [148, 660, 262], [4261, 42370]],
[1, [4696, 661, 662, 4696, 4696, 4696], [4464, 53324]],
[1, [663, 664], [4234, 26662]],
[1, [665, 666, 325], [4261, 21185]],
[1, [149, 667, 326], [4261, 37032]],
[1, [4696, 668, 669, 4696, 4696, 4696], [4464, 13331]],
[1, [670, 671, 4745], [4261, 18516]],
[1, [150, 672, 4325], [4261, 9258]],
[1, [4696, 673, 674, 4696, 4696, 4696], [4464, 41921]],
[1, [675, 676, 248], [4261, 4629]],
[1, [151, 677, 249], [4261, 45250]],
[1, [4696, 678, 679, 4696, 4696, 4696], [4464, 59432]],
[1, [680, 681, 682], [4234, 29716]],
[1, [683, 684, 253], [4261, 22625]],
[1, [152, 685, 254], [4261, 38392]],
[1, [4696, 686, 687, 4696, 4696, 4696], [4464, 14858]],
[1, [688, 689], [4234, 7429]],
[1, [690, 691, 253], [4261, 19196]],
[1, [153, 692, 254], [4261, 9598]],
[1, [4696, 693, 694, 4696, 4696, 4696], [4464, 46922]],
[1, [695, 696], [4234, 23461]],
[1, [697, 698, 336], [4261, 4799]],
[1, [154, 699, 337], [4261, 45207]],
[1, [4696, 700, 701, 4696, 4696, 4696], [4464, 37914]],
[1, [702], [4234, 18957]],
[1, [703, 704, 4745], [4261, 57731]],
[1, [155, 705, 4325], [4261, 51465]],
[1, [4696, 706, 707, 4696, 4696, 4696], [4464, 40142]],
[1, [708, 709, 710, 711, 712, 713, 714, 715], [4234, 20071]],
[1, [716, 717, 4745], [4261, 56652]],
[1, [156, 718, 4325], [4261, 28326]],
[1, [4696, 719, 720, 4696, 4696, 4696], [4464, 40699]],
[1, [721, 722, 723, 724], [4234, 63157]],
[1, [725, 726, 4745], [4261, 14163]],
[1, [157, 727, 4325], [4261, 41569]],
[1, [4696, 728, 729, 4696, 4696, 4696], [4464, 49810]],
[1, [730, 731], [4234, 24905]],
[1, [732, 733, 325], [4261, 59640]],
[1, [158, 734, 326], [4261, 29820]],
[1, [4696, 735, 736, 4696, 4696, 4696], [4464, 35180]],
[1, [737, 738, 304], [4261, 14910]],
[1, [159, 739, 305], [4261, 7455]],
[1, [4696, 740, 741, 4696, 4696, 4696], [4464, 17590]],
[1, [742, 743, 291], [4261, 46919]],
[1, [160, 744, 292], [4261, 57963]],
[1, [4696, 745, 746, 4696, 4696, 4696], [4464, 8795]],
[1, [747, 748], [4234, 43237]],
[1, [749, 750, 177], [4261, 51453]],
[1, [161, 751, 178], [4261, 56758]],
[1, [4696, 752, 753, 4696, 4696, 4696], [4464, 60858]],
[1, [754, 755, 224], [4261, 28379]],
[1, [162, 756, 225], [4261, 36517]],
[1, [4696, 757, 758, 4696, 4696, 4696], [4464, 30429]],
[1, [759, 760, 377], [4261, 65178]],
[1, [163, 761, 378], [4261, 32589]],
[1, [4696, 762, 763, 4696, 4696, 4696], [4464, 33446]],
[1, [764, 765, 182], [4261, 34414]],
[1, [164, 766, 183], [4261, 17207]],
[1, [4696, 767, 768, 4696, 4696, 4696], [4464, 16723]],
[1, [769, 770, 336], [4261, 38995]],
[1, [165, 771, 337], [4261, 62945]],
[1, [4696, 772, 773, 4696, 4696, 4696], [4464, 39265]],
[1, [774, 775, 776], [4234, 62840]],
[1, [777, 778, 779], [4234, 31420]],
[1, [780, 781, 218], [4261, 49976]],
[1, [166, 782, 219], [4261, 24988]],
[1, [4696, 783, 784, 4696, 4696, 4696], [4464, 15710]],
[1, [17, 17, 785], [4938, 7855]],
[3, 16402],
[1, [169, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4384, 51339]],
[1, [4654, 4513, 4198, 4087, 4696, 4696, 4696, 4696, 4696, 4696], [4234, 56717]],
[1, [786, 787, 788, 789, 4696, 4696, 4696, 4696, 4696, 4696], [4234, 55054]],
[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, 104, 7, 4, 0], [4573, 35851]],
[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, 35, 40, 69, 114, 114, 111, 114, 32, 66, 121, 116, 101, 65, 114, 114, 97, 121, 32, 67, 111, 109, 112, 105, 108, 101, 100, 66, 108, 111, 99, 107, 32, 77, 111, 100, 117, 108, 101, 32, 78, 117, 109, 98, 101, 114, 80, 97, 114, 115, 101, 114, 32, 83, 112, 101, 99, 105, 101, 115, 32, 79, 114, 100, 101, 114, 101, 100, 68, 105, 99, 116, 105, 111, 110, 97, 114, 121, 41, 13, 9, 125, 0], [4264, 65485]],
[1, [4224, 4905, 4865, 4194, 4112, 4708, 4370], [4234, 50734]],
[2, [101, 3, 105, 0, 1, 103, 7, 0, 106, 103, 14, 2, 2, 3, 0, 4, 0, 105, 0, 5, 103, 6, 0], [4573, 25367]],
[2, [105, 110, 105, 116, 105, 97, 108, 105, 122, 101, 13, 9, 115, 117, 112, 101, 114, 32, 105, 110, 105, 116, 105, 97, 108, 105, 122, 101, 46, 13, 9, 84, 114, 101, 101, 99, 111, 100, 101, 69, 110, 99, 111, 100, 101, 114, 32, 105, 110, 105, 116, 105, 97, 108, 105, 122, 101, 66, 105, 110, 100, 105, 110, 103, 73, 100, 115, 59, 32, 105, 110, 105, 116, 105, 97, 108, 105, 122, 101, 84, 114, 101, 101, 99, 111, 100, 101, 73, 100, 115, 46, 13, 9, 115, 101, 108, 102, 32, 105, 110, 105, 116, 105, 97, 108, 105, 122, 101, 67, 108, 111, 115, 117, 114, 101, 69, 108, 101, 109, 101, 110, 116, 73, 100, 115, 0], [4264, 34883]],
[2, [101, 1, 106, 105, 0, 1, 103, 6, 0, 5, 2, 2, 104, 3, 104, 0, 0, 2, 2, 104, 4, 104, 0, 1, 2, 2, 104, 5, 104, 0, 2, 2, 2, 104, 6, 104, 0, 3, 2, 2, 104, 7, 104, 0, 4], [4573, 65001]],
[2, [105, 110, 105, 116, 105, 97, 108, 105, 122, 101, 67, 108, 111, 115, 117, 114, 101, 69, 108, 101, 109, 101, 110, 116, 73, 100, 115, 13, 9, 115, 101, 108, 102, 32, 110, 97, 109, 101, 115, 112, 97, 99, 101, 13, 9, 9, 97, 116, 58, 32, 35, 67, 97, 112, 116, 117, 114, 101, 83, 101, 108, 102, 32, 112, 117, 116, 58, 32, 48, 59, 13, 9, 9, 97, 116, 58, 32, 35, 67, 97, 112, 116, 117, 114, 101, 76, 111, 99, 97, 108, 65, 114, 103, 117, 109, 101, 110, 116, 32, 112, 117, 116, 58, 32, 49, 59, 13, 9, 9, 97, 116, 58, 32, 35, 67, 97, 112, 116, 117, 114, 101, 69, 110, 118, 105, 114, 111, 110, 109, 101, 110, 116, 32, 112, 117, 116, 58, 32, 50, 59, 13, 9, 9, 97, 116, 58, 32, 35, 67, 97, 112, 116, 117, 114, 101, 69, 110, 118, 105, 114, 111, 110, 109, 101, 110, 116, 86, 97, 108, 117, 101, 32, 112, 117, 116, 58, 32, 51, 59, 13, 9, 9, 97, 116, 58, 32, 35, 67, 97, 112, 116, 117, 114, 101, 73, 110, 108, 105, 110, 101, 100, 65, 114, 103, 117, 109, 101, 110, 116, 32, 112, 117, 116, 58, 32, 52, 0], [4264, 51004]],
[1, [4881, 177, 398, 4696, 4696, 110], [4701, 25502]],
[1, [15, 790], [4246, 12751]],
[1, [791, 792], [4246, 59743]],
[1, [17, 793, 794], [4938, 57211]],
[1, [17, 793, 795], [4938, 54901]],
[2, [110, 97, 109, 101, 0], [4264, 54002]],
[1, [410, 182, 398, 4696, 4696, 111], [4701, 27001]],
[1, [15, 796], [4246, 36212]],
[1, [797, 798], [4246, 18106]],
[1, [17, 175, 799], [4938, 9053]],
[1, [17, 175, 800], [4938, 43110]],
[2, [105, 110, 100, 101, 120, 0], [4264, 21555]],
[2, [101, 110, 118, 105, 114, 111, 110, 109, 101, 110, 116, 0], [4264, 37841]],
[2, [100, 101, 99, 108, 97, 114, 97, 116, 105, 111, 110, 0], [4264, 61472]],
[1, [416, 187, 398, 4696, 4696, 112], [4701, 30736]],
[1, [15, 801], [4246, 15368]],
[1, [802, 803], [4246, 7684]],
[1, [17, 175, 804], [4938, 3842]],
[1, [17, 175, 805], [4938, 1921]],
[1, [4881, 190, 398, 4696, 4696, 113], [4701, 47624]],
[1, [15, 806], [4246, 23812]],
[1, [17, 807], [4246, 11906]],
[1, [17, 176, 808], [4938, 5953]],
[1, [17, 176, 809], [4938, 45672]],
[1, [429, 194, 398, 4696, 4696, 114], [4701, 22836]],
[1, [15, 810], [4246, 11418]],
[1, [176, 811], [4246, 5709]],
[1, [17, 26, 812], [4938, 45806]],
[1, [17, 26, 813], [4938, 22903]],
[1, [434, 197, 398, 4696, 4696, 115], [4701, 38259]],
[1, [15, 814], [4246, 62321]],
[1, [17, 815], [4246, 49264]],
[1, [17, 176, 816], [4938, 24632]],
[1, [17, 176, 817], [4938, 12316]],
[1, [429, 200, 398, 4696, 4696, 116], [4701, 6158]],
[1, [15, 818], [4246, 3079]],
[1, [819, 820], [4246, 49099]],
[1, [17, 26, 821], [4938, 58925]],
[1, [17, 26, 822], [4938, 51934]],
[2, [105, 110, 100, 101, 120, 0], [4264, 25967]],
[1, [4881, 204, 398, 823, 4696, 117], [4701, 35711]],
[1, [17, 824], [4246, 64631]],
[1, [825, 826], [4246, 51187]],
[1, [17, 819, 827], [4938, 55857]],
[1, [17, 819, 828], [4938, 54480]],
[2, [115, 99, 114, 105, 112, 116, 0], [4264, 27240]],
[2, [97, 114, 103, 117, 109, 101, 110, 116, 115, 0], [4264, 13620]],
[2, [116, 101, 109, 112, 111, 114, 97, 114, 105, 101, 115, 0], [4264, 6810]],
[2, [115, 116, 97, 99, 107, 83, 105, 122, 101, 0], [4264, 3405]],
[2, [101, 110, 118, 83, 105, 122, 101, 0], [4264, 49006]],
[2, [99, 97, 112, 116, 117, 114, 101, 83, 101, 108, 102, 0], [4264, 24503]],
[1, [450, 209, 398, 4696, 4696, 118], [4701, 38419]],
[1, [15, 829], [4246, 62145]],
[1, [830, 831], [4246, 49320]],
[1, [17, 793, 832], [4938, 24660]],
[1, [17, 793, 833], [4938, 12330]],
[2, [101, 110, 118, 105, 114, 111, 110, 109, 101, 110, 116, 115, 0], [4264, 6165]],
[2, [99, 97, 112, 116, 117, 114, 101, 100, 0], [4264, 46530]],
[1, [410, 214, 398, 834, 4696, 119], [4701, 23265]],
[1, [176, 835], [4246, 38072]],
[1, [175, 836], [4246, 19036]],
[1, [17, 176, 837], [4938, 9518]],
[1, [17, 176, 838], [4938, 4759]],
[1, [17, 839, 4696], [4707, 45187]],
[1, [410, 218, 398, 4696, 4696, 120], [4701, 57737]],
[1, [15, 840], [4246, 51468]],
[1, [17, 841], [4246, 25734]],
[1, [17, 176, 842], [4938, 12867]],
[1, [17, 176, 843], [4938, 41193]],
[1, [474, 221, 398, 4696, 4696, 121], [4701, 59836]],
[1, [15, 844], [4246, 29918]],
[1, [26, 845], [4246, 14959]],
[1, [17, 26, 846], [4938, 42239]],
[1, [17, 26, 847], [4938, 60343]],
[1, [4881, 224, 398, 4696, 4696, 122], [4701, 52243]],
[1, [15, 848], [4246, 57281]],
[1, [175, 849], [4246, 54824]],
[1, [17, 175, 850], [4938, 27412]],
[1, [17, 175, 851], [4938, 13706]],
[2, [99, 111, 110, 116, 101, 110, 116, 115, 0], [4264, 6853]],
[1, [434, 228, 398, 4696, 4696, 123], [4701, 46250]],
[1, [15, 852], [4246, 23125]],
[1, [176, 853], [4246, 38114]],
[1, [17, 176, 854], [4938, 19057]],
[1, [17, 176, 855], [4938, 40176]],
[1, [4881, 231, 398, 4696, 4696, 124], [4701, 20088]],
[1, [15, 856], [4246, 10044]],
[1, [857, 858], [4246, 5022]],
[1, [17, 26, 859], [4938, 2511]],
[1, [17, 26, 860], [4938, 48431]],
[2, [109, 101, 115, 115, 97, 103, 101, 0], [4264, 59231]],
[1, [450, 235, 398, 4696, 4696, 125], [4701, 51815]],
[1, [15, 861], [4246, 56571]],
[1, [857, 862], [4246, 55221]],
[1, [17, 793, 863], [4938, 53778]],
[1, [17, 793, 864], [4938, 26889]],
[2, [112, 115, 101, 117, 100, 111, 0], [4264, 36172]],
[1, [468, 240, 398, 4696, 4696, 126], [4701, 18086]],
[1, [15, 865], [4246, 9043]],
[1, [26, 866], [4246, 43105]],
[1, [17, 176, 867], [4938, 60920]],
[1, [17, 176, 868], [4938, 30460]],
[2, [112, 97, 114, 101, 110, 116, 0], [4264, 15230]],
[1, [474, 245, 398, 4696, 4696, 127], [4701, 7615]],
[1, [15, 869], [4246, 46871]],
[1, [26, 870], [4246, 57923]],
[1, [17, 26, 871], [4938, 51433]],
[1, [17, 26, 872], [4938, 56764]],
[1, [4881, 248, 398, 4696, 4696, 128], [4701, 28382]],
[1, [15, 873], [4246, 14191]],
[1, [874, 875], [4246, 41599]],
[1, [17, 819, 876], [4938, 59639]],
[1, [17, 819, 877], [4938, 52659]],
[2, [99, 111, 109, 112, 105, 108, 101, 114, 0], [4264, 57105]],
[2, [115, 116, 114, 101, 116, 99, 104, 0], [4264, 54848]],
[2, [99, 111, 109, 109, 101, 110, 116, 115, 0], [4264, 27424]],
[1, [518, 253, 398, 4696, 4696, 129], [4701, 13712]],
[1, [15, 878], [4246, 6856]],
[1, [791, 879], [4246, 3428]],
[1, [17, 819, 880], [4938, 1714]],
[1, [17, 819, 881], [4938, 857]],
[1, [526, 256, 398, 4696, 4696, 130], [4701, 47204]],
[1, [15, 882], [4246, 23602]],
[1, [857, 883], [4246, 11801]],
[1, [17, 884, 885], [4938, 44740]],
[1, [17, 884, 886], [4938, 22370]],
[2, [97, 115, 115, 105, 103, 110, 101, 101, 115, 0], [4264, 11185]],
[2, [101, 120, 112, 114, 101, 115, 115, 105, 111, 110, 0], [4264, 44048]],
[2, [111, 112, 101, 114, 97, 116, 111, 114, 115, 0], [4264, 22024]],
[1, [17, 887, 4696], [4707, 11012]],
[1, [526, 261, 398, 4696, 4696, 131], [4701, 5506]],
[1, [15, 888], [4246, 2753]],
[1, [889, 890], [4246, 48296]],
[1, [17, 802, 891], [4938, 24148]],
[1, [17, 802, 892], [4938, 12074]],
[2, [115, 116, 97, 116, 101, 109, 101, 110, 116, 115, 0], [4264, 6037]],
[2, [97, 114, 103, 117, 109, 101, 110, 116, 115, 0], [4264, 45570]],
[2, [116, 101, 109, 112, 111, 114, 97, 114, 105, 101, 115, 0], [4264, 22785]],
[2, [99, 104, 105, 108, 100, 114, 101, 110, 0], [4264, 38216]],
[2, [115, 99, 111, 112, 101, 0], [4264, 19108]],
[1, [540, 265, 398, 4696, 4696, 132], [4701, 9554]],
[1, [15, 893], [4246, 4777]],
[1, [894, 895], [4246, 45212]],
[1, [17, 884, 896], [4938, 22606]],
[1, [17, 884, 897], [4938, 11303]],
[2, [105, 110, 108, 105, 110, 101, 100, 0], [4264, 45019]],
[2, [105, 110, 100, 101, 120, 0], [4264, 60965]],
[2, [112, 97, 114, 101, 110, 116, 0], [4264, 52954]],
[1, [526, 270, 398, 4696, 4696, 133], [4701, 26477]],
[1, [15, 898], [4246, 35454]],
[1, [884, 899], [4246, 17727]],
[1, [17, 793, 900], [4938, 39767]],
[1, [17, 793, 901], [4938, 62563]],
[2, [101, 108, 101, 109, 101, 110, 116, 115, 0], [4264, 50169]],
[2, [109, 101, 115, 115, 97, 103, 101, 0], [4264, 55348]],
[1, [526, 275, 398, 4696, 4696, 134], [4701, 27674]],
[1, [15, 902], [4246, 13837]],
[1, [903, 904], [4246, 41678]],
[1, [17, 819, 905], [4938, 20839]],
[1, [17, 819, 906], [4938, 37243]],
[2, [115, 101, 108, 101, 99, 116, 111, 114, 0], [4264, 61813]],
[2, [114, 101, 99, 101, 105, 118, 101, 114, 0], [4264, 49522]],
[2, [97, 114, 103, 117, 109, 101, 110, 116, 115, 0], [4264, 24761]],
[2, [105, 110, 108, 105, 110, 101, 100, 0], [4264, 35220]],
[1, [565, 279, 398, 4696, 4696, 135], [4701, 17610]],
[1, [15, 907], [4246, 8805]],
[1, [793, 908], [4246, 43258]],
[1, [17, 819, 909], [4938, 21629]],
[1, [17, 819, 910], [4938, 37878]],
[2, [99, 97, 115, 99, 97, 100, 101, 0], [4264, 18939]],
[1, [526, 283, 398, 4696, 4696, 136], [4701, 40245]],
[1, [15, 911], [4246, 63314]],
[1, [802, 912], [4246, 31657]],
[1, [17, 793, 913], [4938, 33820]],
[1, [17, 793, 914], [4938, 16910]],
[2, [114, 101, 99, 101, 105, 118, 101, 114, 0], [4264, 8455]],
[2, [109, 101, 115, 115, 97, 103, 101, 115, 0], [4264, 43339]],
[2, [111, 112, 116, 105, 109, 105, 122, 101, 100, 0], [4264, 60781]],
[1, [526, 287, 398, 4696, 4696, 137], [4701, 53118]],
[1, [15, 915], [4246, 26559]],
[1, [26, 916], [4246, 35351]],
[1, [17, 26, 917], [4938, 64707]],
[1, [17, 26, 918], [4938, 51113]],
[2, [118, 97, 108, 117, 101, 0], [4264, 55836]],
[1, [4506, 291, 398, 4696, 4696, 138], [4701, 27918]],
[1, [15, 919], [4246, 13959]],
[1, [797, 920], [4246, 59533]],
[1, [17, 26, 921], [4938, 26311]],
[1, [17, 26, 922], [4938, 35499]],
[2, [99, 111, 109, 112, 105, 108, 101, 114, 0], [4264, 64669]],
[2, [114, 101, 115, 117, 109, 97, 98, 108, 101, 0], [4264, 51078]],
[2, [114, 101, 116, 114, 121, 97, 98, 108, 101, 0], [4264, 25539]],
[2, [115, 116, 114, 101, 116, 99, 104, 0], [4264, 34857]],
[1, [4881, 296, 398, 4696, 4696, 139], [4701, 64988]],
[1, [15, 923], [4246, 32494]],
[1, [802, 924], [4246, 16247]],
[1, [17, 26, 925], [4938, 42611]],
[1, [17, 26, 926], [4938, 60145]],
[2, [99, 111, 109, 112, 105, 108, 101, 114, 0], [4264, 52400]],
[2, [101, 114, 114, 111, 114, 0], [4264, 26200]],
[2, [97, 115, 116, 0], [4264, 13100]],
[2, [109, 101, 116, 104, 111, 100, 0], [4264, 6550]],
[1, [4881, 300, 398, 927, 4696, 140], [4701, 3275]],
[1, [26, 928], [4246, 49069]],
[1, [797, 929], [4246, 58910]],
[1, [17, 793, 930], [4938, 29455]],
[1, [17, 793, 931], [4938, 32847]],
[2, [101, 114, 114, 111, 114, 72, 97, 110, 100, 108, 101, 114, 0], [4264, 63983]],
[2, [114, 101, 115, 117, 108, 116, 0], [4264, 50495]],
[2, [99, 108, 97, 115, 115, 0], [4264, 56151]],
[1, [518, 304, 398, 4696, 4696, 141], [4701, 54371]],
[1, [15, 932], [4246, 54265]],
[1, [26, 933], [4246, 53300]],
[1, [17, 26, 934], [4938, 26650]],
[1, [17, 26, 935], [4938, 13325]],
[2, [118, 97, 108, 117, 101, 0], [4264, 41934]],
[1, [620, 308, 398, 4696, 4696, 142], [4701, 20967]],
[1, [15, 936], [4246, 37179]],
[1, [819, 937], [4246, 61781]],
[1, [17, 175, 938], [4938, 49506]],
[1, [17, 175, 939], [4938, 24753]],
[1, [518, 311, 398, 4696, 4696, 143], [4701, 35216]],
[1, [15, 940], [4246, 17608]],
[1, [175, 941], [4246, 8804]],
[1, [17, 175, 942], [4938, 4402]],
[1, [17, 175, 943], [4938, 2201]],
[1, [4864, 314, 398, 944, 4696, 144], [4701, 48516]],
[1, [175, 945], [4246, 24258]],
[1, [26, 946], [4246, 44664]],
[1, [17, 176, 947], [4938, 11166]],
[1, [17, 176, 948], [4938, 5583]],
[1, [176, 949, 4696], [4707, 45871]],
[1, [526, 319, 398, 4696, 4696, 145], [4701, 57439]],
[1, [15, 950], [4246, 51687]],
[1, [951, 952], [4246, 56635]],
[1, [17, 884, 953], [4938, 55125]],
[1, [17, 884, 954], [4938, 53858]],
[2, [110, 97, 109, 101, 0], [4264, 26929]],
[2, [98, 105, 110, 100, 105, 110, 103, 0], [4264, 36176]],
[1, [594, 323, 398, 4696, 4696, 146], [4701, 18088]],
[1, [15, 955], [4246, 9044]],
[1, [15, 956], [4246, 4522]],
[1, [526, 325, 398, 4696, 4696, 147], [4701, 2261]],
[1, [15, 957], [4246, 48546]],
[1, [802, 958], [4246, 24273]],
[1, [17, 175, 959], [4938, 38560]],
[1, [17, 175, 960], [4938, 19280]],
[2, [118, 97, 108, 117, 101, 0], [4264, 9640]],
[1, [540, 329, 398, 4696, 4696, 148], [4701, 4820]],
[1, [15, 961], [4246, 2410]],
[1, [889, 962], [4246, 1205]],
[1, [17, 802, 963], [4938, 48018]],
[1, [17, 802, 964], [4938, 24009]],
[2, [115, 101, 108, 101, 99, 116, 111, 114, 0], [4264, 38700]],
[2, [112, 114, 97, 103, 109, 97, 0], [4264, 19350]],
[1, [652, 333, 398, 4696, 4696, 149], [4701, 9675]],
[1, [15, 965], [4246, 43821]],
[1, [26, 966], [4246, 60510]],
[1, [17, 175, 967], [4938, 30255]],
[1, [17, 175, 968], [4938, 33503]],
[1, [4881, 336, 398, 4696, 4696, 150], [4701, 63655]],
[1, [15, 969], [4246, 50587]],
[1, [903, 970], [4246, 56069]],
[1, [17, 176, 971], [4938, 54346]],
[1, [17, 176, 972], [4938, 27173]],
[1, [518, 339, 398, 4696, 4696, 151], [4701, 36058]],
[1, [15, 973], [4246, 18029]],
[1, [802, 974], [4246, 39678]],
[1, [17, 176, 975], [4938, 19839]],
[1, [17, 176, 976], [4938, 40823]],
[2, [116, 121, 112, 101, 0], [4264, 63091]],
[2, [110, 97, 109, 101, 0], [4264, 49905]],
[2, [105, 110, 102, 111, 0], [4264, 55472]],
[1, [526, 343, 398, 4696, 4696, 152], [4701, 27736]],
[1, [15, 977], [4246, 13868]],
[1, [884, 978], [4246, 6934]],
[1, [17, 793, 979], [4938, 3467]],
[1, [17, 793, 980], [4938, 48909]],
[2, [101, 120, 112, 114, 101, 115, 115, 105, 111, 110, 0], [4264, 58958]],
[2, [114, 101, 116, 117, 114, 110, 0], [4264, 29479]],
[1, [526, 347, 398, 4696, 4696, 153], [4701, 32859]],
[1, [15, 981], [4246, 63973]],
[1, [982, 983], [4246, 50490]],
[1, [17, 819, 984], [4938, 25245]],
[1, [17, 819, 985], [4938, 34950]],
[2, [115, 121, 109, 98, 111, 108, 0], [4264, 17475]],
[2, [107, 101, 121, 119, 111, 114, 100, 115, 0], [4264, 39913]],
[1, [670, 351, 398, 4696, 4696, 154], [4701, 62524]],
[1, [15, 986], [4246, 31262]],
[1, [903, 987], [4246, 15631]],
[1, [17, 175, 988], [4938, 42831]],
[1, [17, 175, 989], [4938, 60015]],
[2, [105, 110, 108, 105, 110, 101, 114, 0], [4264, 52479]],
[1, [4881, 355, 398, 4696, 4696, 155], [4701, 57271]],
[1, [15, 990], [4246, 54803]],
[1, [991, 992], [4246, 53953]],
[1, [17, 802, 993], [4938, 53416]],
[1, [17, 802, 994], [4938, 26708]],
[2, [102, 114, 111, 110, 116, 101, 110, 100, 0], [4264, 13354]],
[2, [115, 111, 117, 114, 99, 101, 0], [4264, 6677]],
[2, [97, 115, 116, 0], [4264, 46274]],
[2, [114, 101, 115, 117, 108, 116, 0], [4264, 23137]],
[2, [104, 101, 97, 100, 108, 101, 115, 115, 0], [4264, 38136]],
[2, [98, 108, 111, 99, 107, 115, 0], [4264, 19068]],
[2, [108, 101, 97, 102, 0], [4264, 9534]],
[2, [97, 99, 116, 105, 118, 101, 83, 99, 114, 105, 112, 116, 0], [4264, 4767]],
[1, [4881, 359, 398, 995, 4696, 156], [4701, 45191]],
[1, [17, 996], [4246, 57739]],
[1, [997, 998], [4246, 51469]],
[1, [17, 999, 1000], [4938, 56654]],
[1, [17, 999, 1001], [4938, 28327]],
[2, [99, 111, 109, 112, 105, 108, 101, 114, 0], [4264, 36507]],
[2, [115, 99, 97, 110, 110, 101, 114, 0], [4264, 65157]],
[2, [116, 111, 107, 101, 110, 0], [4264, 50826]],
[2, [110, 101, 120, 116, 0], [4264, 25413]],
[1, [4881, 363, 398, 4696, 4696, 157], [4701, 34922]],
[1, [15, 1002], [4246, 17461]],
[1, [1003, 1004], [4246, 39890]],
[1, [17, 819, 1005], [4938, 19945]],
[1, [17, 819, 1006], [4938, 40764]],
[2, [99, 111, 109, 112, 105, 108, 101, 114, 0], [4264, 20382]],
[2, [115, 116, 114, 101, 97, 109, 0], [4264, 10191]],
[1, [652, 367, 398, 4696, 4696, 158], [4701, 43567]],
[1, [15, 1007], [4246, 60639]],
[1, [17, 1008], [4246, 53159]],
[1, [17, 176, 1009], [4938, 56859]],
[1, [17, 176, 1010], [4938, 54981]],
[1, [620, 370, 398, 4696, 4696, 159], [4701, 53930]],
[1, [15, 1011], [4246, 26965]],
[1, [802, 1012], [4246, 36194]],
[1, [17, 26, 1013], [4938, 18097]],
[1, [17, 26, 1014], [4938, 39568]],
[1, [594, 373, 398, 4696, 4696, 160], [4701, 19784]],
[1, [15, 1015], [4246, 9892]],
[1, [793, 1016], [4246, 4946]],
[1, [17, 26, 1017], [4938, 2473]],
[1, [17, 26, 1018], [4938, 48412]],
[2, [105, 100, 101, 110, 116, 105, 102, 105, 101, 114, 0], [4264, 24206]],
[2, [97, 115, 115, 105, 103, 110, 101, 100, 0], [4264, 12103]],
[1, [410, 377, 398, 4696, 4696, 161], [4701, 44651]],
[1, [15, 1019], [4246, 61181]],
[1, [793, 1020], [4246, 52918]],
[1, [17, 175, 1021], [4938, 26459]],
[1, [17, 175, 1022], [4938, 35429]],
[1, [484, 380, 398, 4696, 4696, 162], [4701, 64762]],
[1, [15, 1023], [4246, 32381]],
[1, [982, 1024], [4246, 34550]],
[1, [17, 175, 1025], [4938, 17275]],
[1, [17, 175, 1026], [4938, 39029]],
[1, [749, 383, 398, 4696, 4696, 163], [4701, 62962]],
[1, [15, 1027], [4246, 31481]],
[1, [175, 1028], [4246, 33972]],
[1, [17, 26, 1029], [4938, 16986]],
[1, [17, 26, 1030], [4938, 8493]],
[1, [416, 386, 398, 4696, 4696, 164], [4701, 43358]],
[1, [15, 1031], [4246, 21679]],
[1, [175, 1032], [4246, 37791]],
[1, [17, 175, 1033], [4938, 61447]],
[1, [17, 175, 1034], [4938, 49611]],
[1, [670, 389, 398, 1035, 4696, 165], [4701, 55597]],
[1, [176, 1036], [4246, 54622]],
[1, [1037, 1038], [4246, 27311]],
[1, [17, 26, 1039], [4938, 35999]],
[1, [17, 26, 1040], [4938, 65415]],
[2, [109, 101, 116, 104, 111, 100, 0], [4264, 50699]],
[2, [115, 116, 114, 101, 97, 109, 0], [4264, 56013]],
[2, [115, 99, 114, 105, 112, 116, 0], [4264, 54446]],
[1, [176, 1041, 4696], [4707, 27223]],
[1, [982, 1042, 4696], [4707, 36067]],
[1, [857, 1043, 4696], [4707, 65465]],
[1, [474, 394, 398, 4696, 4696, 166], [4701, 50708]],
[1, [15, 1044], [4246, 25354]],
[1, [26, 1045], [4246, 12677]],
[1, [17, 26, 1046], [4938, 41226]],
[1, [17, 26, 1047], [4938, 20613]],
[1, [1048, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4234, 37258]],
[1, [17, 15, 1049], [4938, 18629]],
[1, [17, 17, 1050], [4938, 40362]],
[1, [17, 17, 1051], [4938, 20181]],
[1, [17, 17, 1052], [4938, 40610]],
[1, [411, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4384, 40544]],
[3, 24],
[1, [412, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4323, 1053, 4527, 1054, 4696, 4696, 4696, 4696, 4743, 1055, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4899, 1056, 4095, 1057, 4696, 4696, 4696, 4696, 4633, 1058, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4785, 1059, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4648, 1060, 4762, 1061, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4311, 1062, 4696, 4696, 4495, 1063, 4223, 1064, 4696, 4696, 4299, 1065, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4436, 1066, 4696, 4696, 4696, 4696, 4696, 4696, 4741, 1067, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4484, 1068, 4121, 1069, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4604, 1070, 4179, 1071, 4364, 1072, 4696, 4696, 4848, 1073, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4204, 1074, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4756, 1075, 4696, 4696, 4696, 4696, 4696, 4696, 4440, 1076, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4384, 20272]],
[3, 5],
[1, [4654, 4853, 4711, 4070, 4536, 4696, 4696, 4696, 4696, 4696], [4234, 10136]],
[1, [1077, 1078, 1079, 1080, 1081, 4696, 4696, 4696, 4696, 4696], [4234, 5068]],
[1, [417, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4384, 2534]],
[3, 13],
[1, [418, 4696, 4696, 4253, 1082, 4696, 4696, 4696, 4696, 4696, 4696, 4179, 1083, 4364, 1084, 4696, 4696, 4696, 4696, 4782, 1085, 4696, 4696, 4696, 4696, 4743, 1086, 4298, 1087, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4649, 1088, 4105, 1089, 4696, 4696, 4696, 4696, 4616, 1090, 4498, 1091, 4836, 1092, 4655, 1093, 4772, 1094, 4696, 4696, 4696, 4696], [4384, 1267]],
[1, [4654, 4853, 4070, 4711, 4696, 4696, 4696, 4696, 4696, 4696], [4234, 48049]],
[1, [1095, 1096, 1097, 1098, 4696, 4696, 4696, 4696, 4696, 4696], [4234, 58384]],
[1, [425, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4384, 29192]],
[3, 8],
[1, [426, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4604, 1099, 4696, 4696, 4696, 4696, 4113, 1100, 4848, 1101, 4696, 4696, 4696, 4696, 4696, 4696, 4871, 1102, 4696, 4696, 4204, 1103, 4696, 4696, 4696, 4696, 4882, 1104, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4655, 1105, 4660, 1106, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4384, 14596]],
[1, [4654, 4853, 4711, 4608, 4696, 4696, 4696, 4696, 4696, 4696], [4234, 7298]],
[1, [1107, 1108, 1109, 1110, 4696, 4696, 4696, 4696, 4696, 4696], [4234, 3649]],
[1, [430, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4384, 48872]],
[1, [431, 4696, 4696, 4943, 1111, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4384, 24436]],
[1, [4654, 4711, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4234, 12218]],
[1, [1112, 1113, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4234, 6109]],
[1, [435, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4384, 45606]],
[1, [436, 4696, 4696, 4836, 1114, 4940, 1115, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4384, 22803]],
[1, [4654, 4070, 4426, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4234, 38209]],
[1, [1116, 1117, 1118, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4234, 62312]],
[1, [440, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4384, 31156]],
[1, [441, 4696, 4696, 4696, 4696, 4696, 4696, 4732, 1119, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4384, 15578]],
[1, [4654, 4426, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4234, 7789]],
[1, [1120, 1121, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4234, 46846]],
[1, [445, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4384, 23423]],
[3, 6],
[1, [446, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4312, 1122, 4940, 1123, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4202, 1124, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4836, 1125, 4655, 1126, 4732, 1127, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4384, 38007]],
[1, [4654, 4426, 4711, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4234, 62451]],
[1, [1128, 1129, 1130, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4234, 49201]],
[1, [4696, 1131, 1132, 4696, 4696, 4696], [4464, 55760]],
[1, [451, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4686, 1133], [4384, 27880]],
[3, 21],
[1, [452, 4148, 1134, 4411, 1135, 4842, 1136, 4893, 1137, 4309, 1138, 4696, 4696, 4784, 1139, 4696, 4696, 4462, 1140, 4351, 1141, 4696, 4696, 4167, 1142, 4119, 1143, 4090, 1144, 4663, 1145, 4871, 1146, 4872, 1147, 4581, 1148, 4368, 1149, 4391, 1150, 4653, 1151, 4696, 4696, 4696, 4696, 4374, 1152, 4342, 1153, 4443, 1154, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696, 4696], [4384, 13940]],
[1, [4654, 4578, 4693, 4426, 4608, 4070, 4696, 4696, 4696, 4696], [4234, 6970]],
[1