demo/partitions.lgf
changeset 2051 08652c1763f6
parent 1901 723b2b81d900
equal deleted inserted replaced
1:1cd1e508bf77 2:ae72a6999f16
    21 120.389		-129.198	5	
    21 120.389		-129.198	5	
    22 108.644		334.741		4	
    22 108.644		334.741		4	
    23 -484.494	328.869		3	
    23 -484.494	328.869		3	
    24 -607.82		-246.651	2	
    24 -607.82		-246.651	2	
    25 -274		-131		1	
    25 -274		-131		1	
    26 @undiredgeset 
    26 @uedgeset 
    27 		label	
    27 		label	
    28 12	23	15	
    28 12	23	15	
    29 13	23	14	
    29 13	23	14	
    30 4	22	23	
    30 4	22	23	
    31 20	21	20	
    31 20	21	20