k5_g4 := List([1..20], i -> []); k5_g4[12,1] := [ [ 8, 9, 10, 11, 12 ], [ 3, 4, 5, 6, 7 ], [ 2, 8, 9, 10, 12 ], [ 2, 8, 10, 11, 12 ], [ 2, 9, 10, 11, 12 ], [ 2, 8, 9, 11, 12 ], [ 2, 8, 9, 10, 11 ], [ 1, 3, 4, 6, 7 ], [ 1, 3, 5, 6, 7 ], [ 1, 3, 4, 5, 7 ], [ 1, 4, 5, 6, 7 ], [ 1, 3, 4, 5, 6 ] ]; k5_g4[14,1] := [ [ 10, 11, 12, 13, 14 ], [ 10, 11, 12, 13, 14 ], [ 5, 6, 7, 8, 9 ], [ 5, 6, 7, 8, 9 ], [ 3, 4, 11, 12, 14 ], [ 3, 4, 10, 13, 14 ], [ 3, 4, 12, 13, 14 ], [ 3, 4, 10, 11, 13 ], [ 3, 4, 10, 11, 12 ], [ 1, 2, 6, 8, 9 ], [ 1, 2, 5, 8, 9 ], [ 1, 2, 5, 7, 9 ], [ 1, 2, 6, 7, 8 ], [ 1, 2, 5, 6, 7 ] ]; k5_g4[16,1] := [ [ 12, 13, 14, 15, 16 ], [ 12, 13, 14, 15, 16 ], [ 12, 13, 14, 15, 16 ], [ 7, 8, 9, 10, 11 ], [ 7, 8, 9, 10, 11 ], [ 7, 8, 9, 10, 11 ], [ 4, 5, 6, 14, 16 ], [ 4, 5, 6, 15, 16 ], [ 4, 5, 6, 14, 15 ], [ 4, 5, 6, 12, 13 ], [ 4, 5, 6, 12, 13 ], [ 1, 2, 3, 10, 11 ], [ 1, 2, 3, 10, 11 ], [ 1, 2, 3, 7, 9 ], [ 1, 2, 3, 8, 9 ], [ 1, 2, 3, 7, 8 ] ]; k5_g4[18,1] := [ [ 14, 15, 16, 17, 18 ], [ 14, 15, 16, 17, 18 ], [ 14, 15, 16, 17, 18 ], [ 14, 15, 16, 17, 18 ], [ 9, 10, 11, 12, 13 ], [ 9, 10, 11, 12, 13 ], [ 9, 10, 11, 12, 13 ], [ 9, 10, 11, 12, 13 ], [ 5, 6, 7, 8, 18 ], [ 5, 6, 7, 8, 17 ], [ 5, 6, 7, 8, 16 ], [ 5, 6, 7, 8, 15 ], [ 5, 6, 7, 8, 14 ], [ 1, 2, 3, 4, 13 ], [ 1, 2, 3, 4, 12 ], [ 1, 2, 3, 4, 11 ], [ 1, 2, 3, 4, 10 ], [ 1, 2, 3, 4, 9 ] ];