M := [];
G := [];

M1 := [
[0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0],
[1, 0, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 0],
[1, 1, 0, 0, 1, 1, 1, 1, 0, 0, 0, 1, 1],
[1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 0, 0],
[1, 0, 1, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1],
[1, 1, 1, 0, 1, 0, 0, 0, 1, 0, 1, 1, 1],
[1, 0, 1, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1],
[1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 0, 1, 1],
[1, 1, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 0],
[0, 1, 0, 1, 0, 0, 1, 1, 1, 0, 1, 1, 1],
[0, 0, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1],
[0, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 0, 1],
[0, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 0]
];
M[1] := M1;
G[1] := Graph(Group(()), [1..13], OnPoints, function(x,y) return M1[x][y]=1; end, true);