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

M1 := Matrix(IntegerRing(), 12, 12, [
0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0,
1, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 1,
1, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0,
1, 1, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0,
1, 0, 0, 0, 0, 1, 0, 0, 1, 1, 1, 0,
1, 0, 0, 0, 1, 0, 1, 1, 0, 0, 0, 1,
0, 0, 1, 0, 0, 1, 0, 1, 1, 0, 0, 1,
0, 0, 0, 1, 0, 1, 1, 0, 0, 0, 1, 1,
0, 0, 1, 0, 1, 0, 1, 0, 0, 1, 1, 0,
0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 1, 1,
0, 0, 0, 1, 1, 0, 0, 1, 1, 1, 0, 0,
0, 1, 0, 0, 0, 1, 1, 1, 0, 1, 0, 0
]);
M[1] := M1;
G[1] := Graph<12|M1>;

M2 := Matrix(IntegerRing(), 12, 12, [
0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0,
1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 0, 0,
1, 1, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0,
1, 1, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0,
1, 0, 1, 1, 0, 0, 1, 0, 0, 1, 1, 0,
1, 1, 0, 1, 0, 0, 0, 0, 1, 0, 1, 1,
1, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 1,
0, 1, 1, 0, 0, 0, 1, 0, 1, 1, 0, 1,
0, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1, 1,
0, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 1,
0, 0, 0, 1, 1, 1, 0, 0, 1, 1, 0, 1,
0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 0
]);
M[2] := M2;
G[2] := Graph<12|M2>;

M3 := Matrix(IntegerRing(), 12, 12, [
0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0,
1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0,
1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1,
1, 1, 1, 0, 1, 0, 1, 1, 0, 1, 1, 1,
1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1,
1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1,
1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1,
1, 1, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1,
1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 1,
1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1,
0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1,
0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0
]);
M[3] := M3;
G[3] := Graph<12|M3>;