demo/coloring.lgf
changeset 2177 416a7030b7e3
parent 1901 723b2b81d900
equal deleted inserted replaced
1:32592a6ded77 2:a6776656aece
     9 (193, 257)	4	
     9 (193, 257)	4	
    10 (-89, 224)	3	
    10 (-89, 224)	3	
    11 (-327, 46)	2	
    11 (-327, 46)	2	
    12 (157, -150)	1	
    12 (157, -150)	1	
    13 (-282, -149)	0	
    13 (-282, -149)	0	
    14 @undiredgeset 
    14 @uedgeset 
    15 		label	
    15 		label	
    16 9	10	17	
    16 9	10	17	
    17 1	9	15	
    17 1	9	15	
    18 3	9	14	
    18 3	9	14	
    19 2	8	4	
    19 2	8	4