graph G { 0 [fixedsize=true,height=0.5,width=0.5,labelfontsize=6.0] 0 -- 0 [color=blue,len=0.5]; 0 -- 5 [color=red,len=1]; 0 -- 5 [color=blue,len=0.5]; 0 -- 6 [color=red,len=1]; 0 -- 6 [color=blue,len=0.5]; 0 -- 9 [color=red,len=1]; 0 -- 9 [color=blue,len=0.5]; 0 -- 10 [color=red,len=1]; 0 -- 10 [color=blue,len=0.5]; 0 -- 15 [color=blue,len=0.5]; 1 [fixedsize=true,height=0.5,width=0.5,labelfontsize=6.0] 1 -- 1 [color=blue,len=0.5]; 1 -- 2 [color=blue,len=0.5]; 1 -- 4 [color=blue,len=0.5]; 1 -- 7 [color=red,len=1]; 1 -- 8 [color=red,len=1]; 1 -- 11 [color=blue,len=0.5]; 1 -- 13 [color=blue,len=0.5]; 1 -- 14 [color=blue,len=0.5]; 2 [fixedsize=true,height=0.5,width=0.5,labelfontsize=6.0] 2 -- 2 [color=blue,len=0.5]; 2 -- 4 [color=red,len=1]; 2 -- 7 [color=blue,len=0.5]; 2 -- 8 [color=blue,len=0.5]; 2 -- 11 [color=red,len=1]; 2 -- 13 [color=blue,len=0.5]; 2 -- 14 [color=blue,len=0.5]; 3 [fixedsize=true,height=0.5,width=0.5,labelfontsize=6.0] 3 -- 3 [color=blue,len=0.5]; 3 -- 5 [color=red,len=1]; 3 -- 5 [color=blue,len=0.5]; 3 -- 6 [color=red,len=1]; 3 -- 6 [color=blue,len=0.5]; 3 -- 9 [color=red,len=1]; 3 -- 9 [color=blue,len=0.5]; 3 -- 10 [color=red,len=1]; 3 -- 10 [color=blue,len=0.5]; 3 -- 12 [color=blue,len=0.5]; 4 [fixedsize=true,height=0.5,width=0.5,labelfontsize=6.0] 4 -- 4 [color=blue,len=0.5]; 4 -- 7 [color=blue,len=0.5]; 4 -- 8 [color=blue,len=0.5]; 4 -- 11 [color=blue,len=0.5]; 4 -- 13 [color=red,len=1]; 4 -- 14 [color=blue,len=0.5]; 5 [fixedsize=true,height=0.5,width=0.5,labelfontsize=6.0] 5 -- 5 [color=blue,len=0.5]; 5 -- 10 [color=blue,len=0.5]; 5 -- 12 [color=red,len=1]; 5 -- 12 [color=blue,len=0.5]; 5 -- 15 [color=red,len=1]; 5 -- 15 [color=blue,len=0.5]; 6 [fixedsize=true,height=0.5,width=0.5,labelfontsize=6.0] 6 -- 6 [color=blue,len=0.5]; 6 -- 9 [color=blue,len=0.5]; 6 -- 12 [color=red,len=1]; 6 -- 12 [color=blue,len=0.5]; 6 -- 15 [color=red,len=1]; 6 -- 15 [color=blue,len=0.5]; 7 [fixedsize=true,height=0.5,width=0.5,labelfontsize=6.0] 7 -- 7 [color=blue,len=0.5]; 7 -- 8 [color=blue,len=0.5]; 7 -- 11 [color=blue,len=0.5]; 7 -- 13 [color=blue,len=0.5]; 7 -- 14 [color=red,len=1]; 8 [fixedsize=true,height=0.5,width=0.5,labelfontsize=6.0] 8 -- 8 [color=blue,len=0.5]; 8 -- 11 [color=blue,len=0.5]; 8 -- 13 [color=blue,len=0.5]; 8 -- 14 [color=red,len=1]; 9 [fixedsize=true,height=0.5,width=0.5,labelfontsize=6.0] 9 -- 9 [color=blue,len=0.5]; 9 -- 12 [color=red,len=1]; 9 -- 12 [color=blue,len=0.5]; 9 -- 15 [color=red,len=1]; 9 -- 15 [color=blue,len=0.5]; 10 [fixedsize=true,height=0.5,width=0.5,labelfontsize=6.0] 10 -- 10 [color=blue,len=0.5]; 10 -- 12 [color=red,len=1]; 10 -- 12 [color=blue,len=0.5]; 10 -- 15 [color=red,len=1]; 10 -- 15 [color=blue,len=0.5]; 11 [fixedsize=true,height=0.5,width=0.5,labelfontsize=6.0] 11 -- 11 [color=blue,len=0.5]; 11 -- 13 [color=red,len=1]; 11 -- 14 [color=blue,len=0.5]; 12 [fixedsize=true,height=0.5,width=0.5,labelfontsize=6.0] 12 -- 12 [color=blue,len=0.5]; 13 [fixedsize=true,height=0.5,width=0.5,labelfontsize=6.0] 13 -- 13 [color=blue,len=0.5]; 13 -- 14 [color=blue,len=0.5]; 14 [fixedsize=true,height=0.5,width=0.5,labelfontsize=6.0] 14 -- 14 [color=blue,len=0.5]; 15 [fixedsize=true,height=0.5,width=0.5,labelfontsize=6.0] 15 -- 15 [color=blue,len=0.5]; }