295 lines
4.3 KiB
Plaintext

strict digraph G {
0;
1;
2;
3;
4;
5;
6;
7;
8;
9;
10;
11;
12;
13;
14;
15;
16;
17;
18;
19;
20;
21;
22;
23;
24;
25;
26;
27;
28;
29;
30;
31;
32;
33;
34;
35;
36;
37;
38;
39;
40;
41;
42;
43;
44;
45;
46;
47;
48;
49;
50;
51;
52;
53;
54;
55;
56;
57;
58;
59;
60;
0->1 [label=0];
0->2 [label=11];
0->3 [label=12];
1->4 [label=1];
1->5 [label=11];
1->6 [label=12];
1->7 [label=13];
2->5 [label=0];
2->8 [label=2];
2->9 [label=12];
3->6 [label=0];
3->10 [label=5];
3->9 [label=11];
4->11 [label=1];
4->12 [label=11];
4->13 [label=12];
4->14 [label=13];
5->12 [label=1];
5->12 [label=2];
5->15 [label=12];
5->16 [label=13];
6->13 [label=1];
6->13 [label=5];
6->15 [label=11];
6->17 [label=13];
7->14 [label=1];
7->16 [label=11];
7->17 [label=12];
7->18 [label=14];
8->12 [label=0];
8->19 [label=2];
8->20 [label=12];
9->15 [label=0];
9->20 [label=2];
9->20 [label=5];
10->13 [label=0];
10->21 [label=5];
10->20 [label=11];
11->22 [label=1];
11->23 [label=11];
11->24 [label=12];
11->25 [label=13];
12->23 [label=1];
12->23 [label=2];
12->26 [label=12];
12->27 [label=13];
13->24 [label=1];
13->24 [label=5];
13->26 [label=11];
13->28 [label=13];
14->25 [label=1];
14->27 [label=11];
14->28 [label=12];
14->29 [label=14];
15->26 [label=1];
15->26 [label=2];
15->26 [label=5];
15->30 [label=13];
16->27 [label=1];
16->27 [label=2];
16->30 [label=12];
16->31 [label=14];
17->28 [label=1];
17->28 [label=5];
17->30 [label=11];
17->32 [label=14];
18->29 [label=1];
18->29 [label=3];
18->31 [label=11];
18->32 [label=12];
19->23 [label=0];
19->33 [label=2];
19->34 [label=12];
20->26 [label=0];
20->34 [label=2];
20->34 [label=5];
21->24 [label=0];
21->35 [label=5];
21->34 [label=11];
22->4 [label=1];
22->36 [label=11];
22->37 [label=12];
22->38 [label=13];
23->36 [label=1];
23->36 [label=2];
23->39 [label=12];
23->40 [label=13];
24->37 [label=1];
24->37 [label=5];
24->39 [label=11];
24->41 [label=13];
25->38 [label=1];
25->40 [label=11];
25->41 [label=12];
25->42 [label=14];
26->39 [label=1];
26->39 [label=2];
26->39 [label=5];
26->43 [label=13];
27->40 [label=1];
27->40 [label=2];
27->43 [label=12];
27->44 [label=14];
28->41 [label=1];
28->41 [label=5];
28->43 [label=11];
28->45 [label=14];
29->42 [label=1];
29->42 [label=3];
29->44 [label=11];
29->45 [label=12];
30->43 [label=1];
30->43 [label=2];
30->43 [label=5];
30->46 [label=14];
31->44 [label=1];
31->44 [label=2];
31->44 [label=3];
31->46 [label=12];
32->45 [label=1];
32->45 [label=3];
32->45 [label=5];
32->46 [label=11];
33->36 [label=0];
33->8 [label=2];
33->47 [label=12];
34->39 [label=0];
34->47 [label=2];
34->47 [label=5];
35->37 [label=0];
35->10 [label=5];
35->47 [label=11];
36->12 [label=1];
36->12 [label=2];
36->48 [label=12];
36->49 [label=13];
37->13 [label=1];
37->13 [label=5];
37->48 [label=11];
37->50 [label=13];
38->14 [label=1];
38->49 [label=11];
38->50 [label=12];
38->51 [label=14];
39->48 [label=1];
39->48 [label=2];
39->48 [label=5];
39->52 [label=13];
40->49 [label=1];
40->49 [label=2];
40->52 [label=12];
40->53 [label=14];
41->50 [label=1];
41->50 [label=5];
41->52 [label=11];
41->54 [label=14];
42->51 [label=1];
42->51 [label=3];
42->53 [label=11];
42->54 [label=12];
43->52 [label=1];
43->52 [label=2];
43->52 [label=5];
43->55 [label=14];
44->53 [label=1];
44->53 [label=2];
44->53 [label=3];
44->55 [label=12];
45->54 [label=1];
45->54 [label=3];
45->54 [label=5];
45->55 [label=11];
46->55 [label=1];
46->55 [label=2];
46->55 [label=3];
46->55 [label=5];
47->48 [label=0];
47->20 [label=2];
47->20 [label=5];
48->26 [label=1];
48->26 [label=2];
48->26 [label=5];
48->56 [label=13];
49->27 [label=1];
49->27 [label=2];
49->56 [label=12];
49->57 [label=14];
50->28 [label=1];
50->28 [label=5];
50->56 [label=11];
50->58 [label=14];
51->29 [label=1];
51->29 [label=3];
51->57 [label=11];
51->58 [label=12];
52->56 [label=1];
52->56 [label=2];
52->56 [label=5];
52->59 [label=14];
53->57 [label=1];
53->57 [label=2];
53->57 [label=3];
53->59 [label=12];
54->58 [label=1];
54->58 [label=3];
54->58 [label=5];
54->59 [label=11];
55->59 [label=1];
55->59 [label=2];
55->59 [label=3];
55->59 [label=5];
56->43 [label=1];
56->43 [label=2];
56->43 [label=5];
56->60 [label=14];
57->44 [label=1];
57->44 [label=2];
57->44 [label=3];
57->60 [label=12];
58->45 [label=1];
58->45 [label=3];
58->45 [label=5];
58->60 [label=11];
59->60 [label=1];
59->60 [label=2];
59->60 [label=3];
59->60 [label=5];
60->55 [label=1];
60->55 [label=2];
60->55 [label=3];
60->55 [label=5];
}