dw4:=[
    <1, []>,
    <2, []>,
    <3, []>,
    <4, []>,
    <5, []>,
    <6, []>,
    <7, [ 144 ]>,
    <8, [ 129, 130, 131, 132, 133, 1078, 1079 ]>,
    <9, [ 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 782, 783, 784, 785, 786,
          787, 788, 789, 790, 791, 798, 799, 800, 801, 805, 806, 840, 841, 878,
          879, 1109, 1711, 1712, 1713, 1714, 1715, 1716, 1960 ]>,
    <10, [ 16, 17, 18, 19, 20, 21, 22, 276, 277, 278, 279, 280, 281, 282, 287,
           288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 301, 302, 303, 304,
           336, 337, 338, 340, 342, 343, 345, 346, 350, 351, 358, 381, 382, 383,
           384, 454, 455, 456, 457, 464, 465, 548, 549, 550, 551, 552, 553, 554,
           615, 645, 939, 983, 984, 985, 986, 987, 988, 989, 990, 991, 992, 993,
           994, 995, 996, 997, 998, 999, 1000, 1001, 1002, 1003, 1240, 1241, 1242,
           1243, 1244, 1245, 1246, 1247 ]>,
    <11, [ 6, 7, 52, 54, 55, 56, 57, 58, 59, 61, 62, 63, 73, 74, 75, 76, 77, 80,
           81, 88, 89, 99, 100, 101, 102, 124, 125, 126, 130, 131, 132, 133, 150,
          151, 152, 153, 154, 160, 161, 162, 163, 186, 188, 189, 190, 208, 210, 211,
          319, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358,
          359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 508, 509, 510, 511, 512,
          513, 514, 515, 516, 517, 518, 519, 520 ]>,
    <12, [ 3, 7, 8, 10, 11, 13, 14, 18, 19, 23, 25, 26, 29, 31, 32, 36, 37, 42, 43,
          45, 71, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 149, 150, 151, 152,
          153, 154, 155, 156, 157, 158, 159 ]>,
    <13, [ 1, 2, 3, 4, 5, 6, 7, 11, 13, 14, 15, 16, 32, 33, 34, 35, 36, 37, 38, 39 ]>,
    <14, [ 1, 4, 5, 6 ]>,
    <15, [ 1 ]>
];