vertex(0).
vertex(1).
vertex(2).
vertex(3).
vertex(4).
vertex(5).
vertex(6).
vertex(7).
vertex(8).
vertex(9).
vertex(10).
vertex(11).
vertex(12).
vertex(13).
vertex(14).
vertex(15).
vertex(16).
vertex(17).
vertex(18).
vertex(19).
arc(0,16).
arc(0,11).
arc(0,10).
arc(0,3).
arc(0,4).
arc(1,14).
arc(1,6).
arc(1,2).
arc(1,12).
arc(2,9).
arc(2,7).
arc(2,6).
arc(2,5).
arc(2,14).
arc(2,1).
arc(3,17).
arc(3,16).
arc(3,13).
arc(3,12).
arc(3,0).
arc(3,4).
arc(4,18).
arc(4,17).
arc(4,0).
arc(4,3).
arc(5,14).
arc(5,8).
arc(5,17).
arc(5,2).
arc(5,9).
arc(6,12).
arc(6,10).
arc(6,7).
arc(6,2).
arc(6,1).
arc(7,9).
arc(7,2).
arc(7,6).
arc(7,10).
arc(8,17).
arc(8,15).
arc(8,19).
arc(8,9).
arc(8,5).
arc(9,19).
arc(9,8).
arc(9,7).
arc(9,2).
arc(9,5).
arc(10,12).
arc(10,11).
arc(10,6).
arc(10,0).
arc(10,7).
arc(11,16).
arc(11,13).
arc(11,0).
arc(11,10).
arc(11,12).
arc(12,14).
arc(12,10).
arc(12,6).
arc(12,3).
arc(12,13).
arc(12,11).
arc(12,17).
arc(12,1).
arc(13,16).
arc(13,11).
arc(13,3).
arc(13,12).
arc(14,12).
arc(14,1).
arc(14,5).
arc(14,17).
arc(14,2).
arc(15,19).
arc(15,18).
arc(15,8).
arc(15,17).
arc(16,11).
arc(16,13).
arc(16,0).
arc(16,3).
arc(17,8).
arc(17,4).
arc(17,3).
arc(17,18).
arc(17,5).
arc(17,15).
arc(17,14).
arc(17,12).
arc(18,4).
arc(18,15).
arc(18,17).
arc(19,15).
arc(19,9).
arc(19,8).
