w4embeddable:=
[
    <1, []>,
    <2, []>,
    <3, []>,
    <4, []>,
    <5, []>,
    <6, []>,
    <7, [ 144 ]>,
    <8, [ 132, 1078, 133, 1079, 129, 130, 131 ]>,
    <9, [ 67, 805, 68, 806, 69, 878, 879, 840, 841, 1109, 782, 783, 784, 785, 786, 787, 788, 789,
    790, 791, 59, 60, 798, 61, 799, 62, 800, 63, 801, 64, 65, 66 ]>,
    <10, [ 381, 382, 383, 384, 645, 16, 17, 18, 19, 20, 21, 276, 22, 277, 278, 279, 280, 281, 
    282, 287, 288, 289, 290, 291, 292, 293, 548, 294, 549, 295, 550, 296, 551, 297, 552, 553, 
    554, 301, 302, 303, 304, 939, 454, 455, 456, 457, 336, 337, 464, 338, 465, 340, 342, 343, 
    345, 346, 350, 351, 358, 615 ]>,
    <11, [ 89, 6, 7, 186, 188, 99, 189, 100, 190, 101, 102, 208, 210, 211, 124, 125, 126, 130, 
    131, 132, 133, 319, 52, 54, 55, 56, 57, 58, 59, 61, 150, 62, 151, 63, 152, 153, 154, 160, 
    161, 162, 73, 163, 74, 75, 76, 77, 80, 81, 88 ]>,
    <12, [ 43, 45, 3, 7, 8, 10, 11, 13, 14, 18, 19, 23, 25, 26, 71, 29, 31, 32, 36, 37, 42 ]>,
    <13, [ 11, 1, 2, 3, 4, 37, 5, 6, 7 ]>,
    <14, []>,
    <15, []>
];