equal
deleted
inserted
replaced
1 @nodeset |
1 @nodeset |
2 coords id |
2 coords label |
3 (162, 142) 10 |
3 (162, 142) 10 |
4 (169, -35) 9 |
4 (169, -35) 9 |
5 (-154, -37) 8 |
5 (-154, -37) 8 |
6 (-1, 12) 7 |
6 (-1, 12) 7 |
7 (-87, -197) 6 |
7 (-87, -197) 6 |
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 @undiredgeset |
15 id |
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 |
20 6 8 1 |
20 6 8 1 |