barnette-bosák-lederberg graph