The a(0)=1 null graph is vacuously 7-regular and connected; since it is acyclic then it has infinite girth.
The a(7)=1 graph is the complete bipartite graph K_{7,7} on 14 vertices.
The a(8)=1 graph has girth 4, automorphism group of order 80640, and the following adjacency lists:
01 : 02 03 04 05 06 07 08
02 : 01 09 10 11 12 13 14
03 : 01 09 10 11 12 13 15
04 : 01 09 10 11 12 14 15
05 : 01 09 10 11 13 14 15
06 : 01 09 10 12 13 14 15
07 : 01 09 11 12 13 14 15
08 : 01 10 11 12 13 14 15
09 : 02 03 04 05 06 07 16
10 : 02 03 04 05 06 08 16
11 : 02 03 04 05 07 08 16
12 : 02 03 04 06 07 08 16
13 : 02 03 05 06 07 08 16
14 : 02 04 05 06 07 08 16
15 : 03 04 05 06 07 08 16
16 : 09 10 11 12 13 14 15
|