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