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).
vertex(20).
vertex(21).
vertex(22).
vertex(23).
vertex(24).
vertex(25).
vertex(26).
vertex(27).
vertex(28).
vertex(29).
arc(0,29).
arc(0,23).
arc(0,16).
arc(0,11).
arc(0,10).
arc(0,4).
arc(0,21).
arc(1,14).
arc(1,6).
arc(1,2).
arc(1,12).
arc(2,25).
arc(2,7).
arc(2,6).
arc(2,5).
arc(2,14).
arc(2,1).
arc(3,26).
arc(3,23).
arc(3,21).
arc(3,17).
arc(3,13).
arc(3,12).
arc(4,21).
arc(4,18).
arc(4,17).
arc(4,22).
arc(4,0).
arc(5,20).
arc(5,14).
arc(5,8).
arc(5,25).
arc(5,17).
arc(5,2).
arc(5,9).
arc(6,28).
arc(6,12).
arc(6,7).
arc(6,2).
arc(6,24).
arc(6,1).
arc(7,28).
arc(7,25).
arc(7,9).
arc(7,2).
arc(7,6).
arc(8,20).
arc(8,17).
arc(8,19).
arc(8,5).
arc(8,22).
arc(9,25).
arc(9,27).
arc(9,20).
arc(9,19).
arc(9,7).
arc(9,28).
arc(9,5).
arc(10,27).
arc(10,24).
arc(10,12).
arc(10,11).
arc(10,0).
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,24).
arc(12,11).
arc(12,17).
arc(12,1).
arc(13,29).
arc(13,16).
arc(13,26).
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,22).
arc(15,19).
arc(15,18).
arc(16,11).
arc(16,13).
arc(16,0).
arc(16,29).
arc(17,22).
arc(17,21).
arc(17,8).
arc(17,4).
arc(17,3).
arc(17,5).
arc(17,14).
arc(17,12).
arc(18,22).
arc(18,4).
arc(18,15).
arc(19,15).
arc(19,9).
arc(19,22).
arc(19,8).
arc(19,20).
arc(20,9).
arc(20,8).
arc(20,5).
arc(20,19).
arc(21,23).
arc(21,17).
arc(21,4).
arc(21,3).
arc(21,0).
arc(22,15).
arc(22,18).
arc(22,17).
arc(22,19).
arc(22,4).
arc(22,8).
arc(23,29).
arc(23,26).
arc(23,3).
arc(23,21).
arc(23,0).
arc(24,27).
arc(24,28).
arc(24,10).
arc(24,12).
arc(24,6).
arc(25,7).
arc(25,9).
arc(25,2).
arc(25,5).
arc(26,29).
arc(26,3).
arc(26,23).
arc(26,13).
arc(27,28).
arc(27,24).
arc(27,10).
arc(27,9).
arc(28,27).
arc(28,7).
arc(28,6).
arc(28,24).
arc(28,9).
arc(29,26).
arc(29,23).
arc(29,0).
arc(29,13).
arc(29,16).
