rec (isGraph := true, order := 4, isSimple := true, 
 adjacencies := [[2, 4], [1, 3], [2, 4], [1, 3]]);