1
0
This repository has been archived on 2025-11-01. You can view files and clone it. You cannot open issues or pull requests or push a commit.
Files
adda-monorepo/PI5/generated/ej4_f3.dot
2025-10-10 02:12:44 +02:00

74 lines
3.0 KiB
Plaintext

strict digraph G {
1 [ color="black" label="(3,[0, 2, 4, 5, 7, 8, 9],1)" ];
2 [ color="black" label="(2,[0, 2, 4, 5, 6, 7, 8, 9],10)" ];
3 [ color="black" label="(2,[0, 1, 3, 5, 6, 7, 8, 9],10)" ];
4 [ color="black" label="(9,[8],7)" ];
5 [ color="black" label="(2,[0, 2, 3, 4, 5, 6, 7, 8],10)" ];
6 [ color="black" label="(5,[1, 4, 7, 8, 9],2)" ];
7 [ color="black" label="(5,[1, 2, 7, 8, 9],4)" ];
8 [ color="black" label="(4,[1, 2, 4, 7, 8, 9],10)" ];
9 [ color="black" label="(7,[4, 8, 9],2)" ];
10 [ color="black" label="(10,[],10)" ];
11 [ color="black" label="(1,[0, 2, 3, 4, 5, 6, 7, 8, 9],1)" ];
12 [ color="black" label="(7,[4, 7, 8],2)" ];
13 [ color="black" label="(6,[1, 7, 8, 9],10)" ];
14 [ color="black" label="(7,[2, 8, 9],4)" ];
15 [ color="black" label="(6,[2, 4, 8, 9],10)" ];
16 [ color="black" label="(1,[0, 1, 2, 4, 5, 6, 7, 8, 9],3)" ];
17 [ color="black" label="(7,[2, 7, 8],4)" ];
18 [ color="black" label="(6,[2, 4, 7, 8],10)" ];
19 [ color="black" label="(3,[1, 2, 4, 5, 7, 8, 9],0)" ];
20 [ color="black" label="(8,[8, 9],10)" ];
21 [ color="black" label="(3,[0, 1, 4, 5, 7, 8, 9],2)" ];
22 [ color="black" label="(8,[7, 8],10)" ];
23 [ color="black" label="(2,[1, 2, 3, 4, 6, 7, 8, 9],10)" ];
24 [ color="black" label="(2,[0, 2, 3, 4, 5, 7, 8, 9],10)" ];
25 [ color="black" label="(3,[0, 1, 2, 5, 7, 8, 9],4)" ];
26 [ color="black" label="(2,[0, 1, 2, 4, 5, 7, 8, 9],10)" ];
27 [ color="black" label="(5,[2, 4, 7, 8, 9],1)" ];
28 [ color="black" label="(9,[9],8)" ];
29 [ color="black" label="(2,[0, 1, 2, 4, 5, 6, 7, 9],10)" ];
30 [ color="black" label="(4,[0, 1, 5, 7, 8, 9],10)" ];
31 [ color="black" label="(4,[0, 2, 4, 5, 8, 9],10)" ];
32 [ color="black" label="(1,[1, 2, 3, 4, 5, 6, 7, 8, 9],0)" ];
33 [ color="black" label="(4,[0, 2, 4, 5, 7, 8],10)" ];
34 [ color="black" label="(1,[0, 1, 3, 4, 5, 6, 7, 8, 9],2)" ];
35 [ color="black" label="(1,[0, 1, 2, 3, 5, 6, 7, 8, 9],4)" ];
36 [ color="black" label="(0,[0, 1, 2, 3, 4, 5, 6, 7, 8, 9],10)" ];
26 -> 1 [ label="1" ];
11 -> 2 [ label="3" ];
34 -> 3 [ label="4" ];
22 -> 4 [ label="7" ];
11 -> 5 [ label="9" ];
8 -> 6 [ label="2" ];
8 -> 7 [ label="4" ];
19 -> 8 [ color="red" label="5" ];
15 -> 9 [ color="red" label="2" ];
28 -> 10 [ color="red" label="9" ];
36 -> 11 [ label="1" ];
18 -> 12 [ label="2" ];
6 -> 13 [ label="4" ];
15 -> 14 [ label="4" ];
27 -> 15 [ color="red" label="7" ];
36 -> 16 [ color="red" label="3" ];
18 -> 17 [ label="4" ];
27 -> 18 [ label="9" ];
26 -> 19 [ color="red" label="0" ];
9 -> 20 [ color="red" label="4" ];
26 -> 21 [ label="2" ];
12 -> 22 [ label="4" ];
32 -> 23 [ label="5" ];
11 -> 24 [ label="6" ];
26 -> 25 [ label="4" ];
16 -> 26 [ color="red" label="6" ];
8 -> 27 [ color="red" label="1" ];
20 -> 28 [ color="red" label="8" ];
16 -> 29 [ label="8" ];
21 -> 30 [ label="4" ];
1 -> 31 [ label="7" ];
36 -> 32 [ label="0" ];
1 -> 33 [ label="9" ];
36 -> 34 [ label="2" ];
36 -> 35 [ label="4" ];
}