"0 3 7 10", 1;
"0 3 8", 2;
"0 3 6 8", 3;
"0 5 9", 4;
"0 3 7 9", 5;
"0 3 7", 6;
"0 2 6 9", 7;
"0 5 7", 8;
"0 4 7", 9;
"0 2 5 10", 10;
"0 4 7 11", 11;
"0 1 6 10", 12;
"0 4 6 7 11", 13;
"0 2 3 5 7 10", 14;
"0 2 5 7 10", 15;
"0 3 6 11", 16;
"0 2 4 7 10", 17;
"0 3 6 10", 18;
"0 5 7 10", 19;
"0 3 7 11", 20;
"0 2 3 7 10", 21;
"0 2 5 9 10", 22;
"0 4 7 10", 23;
"0 2 3 7", 24;
"0 1 4 7 10", 25;
"0 4 8 10", 26;
"0 1 5 8", 27;
"0 2 5 9", 28;
"0 3 5 6 8 9", 29;
"0 3 4 8 10", 30;
"0 1 5 7", 31;
"0 1 3 6 10", 32;
"0 1 3 6 9", 33;
"0 3 6 8 9", 34;
"0 2 4 5 9", 35;
"0 2 4 7 9", 36;
"0 2 4 7 11", 37;
"0 2 4 6 7 10", 38;
"0 2 4 7 9 10", 39;
"0 3 7 8", 40;
"0 3 5 9", 41;
"0 2 4 6 9 11", 42;
"0 3 5 10", 43;
"0 3 4 7 10", 44;
"0 3 7 8 10", 45;
"0 4 9", 46;
"0 2 4 7", 47;
"0 4 7 9", 48;
"0 2 7 11", 49;
"0 2 7 8", 50;
"0 2 5 7 8 11", 51;
"0 4 6 9 11", 52;
"0 4 6 11", 53;
"0 2 7", 54;
"0 7", 55;
"0 2 7 10", 56;
"0 5 8", 57;
"0 3 6 9 11", 58;
"0 2 5 7 9 10", 59;
"0 1 4 7 9 10", 60;
"0 4 5 9", 61;
"0 1 3 5 8", 62;
"0 3 6 9", 63;
"0 3 6 8 11", 64;
"0 4 8 11", 65;
"0 2 4 6 7 9", 66;
"0 3 5 8", 67;
"0 1 4 6 7 10", 68;
"0 4 6 10", 69;
"0 4 6 7 9 11", 70;
"0 4 7 9 11", 71;
"0 5 7 9", 72;
"0 2 4 6 7 11", 73;
"0 1 3 5 7 8", 74;
"0 1 5 9", 75;
"0 2 3 6 10", 76;
"0 4 6 7 10", 77;
"0 2 5 6 10", 78;
"0 1 5 7 8", 79;
"0 3 5 6 10", 80;
"0 1 5 7 10", 81;
"0 7 10", 82;
"0 1 4 9", 83;
"0 2 4 6 9", 84;
"0 2 6 7 11", 85;
"0 2 7 9 11", 86;
"0 3 6", 87;
"0 2 4 7 9 11", 88;
"0 2 4 6 9 10", 89;
"0 3 8 10", 90;
"0 2 3 7 9 10", 91;
"0 1 4 7 8 10", 92;
"0 4 7 8 10", 93;
"0 2 3 6 9", 94;
"0 4 8", 95;
"0 2 5 8 10", 96;
"0 6 9", 97;
