User:DavidKohler/Alon try 1/Probabilistic models for regular graphs