digraph { 0 [shape=plain label=<

>] 1 [shape=plain label=<

0	1	2	3
1

>] 2 [shape=plain label=<

0	1	2	3
2
0	1	2	3

>] 2:out3 -> 26:in0 [style=""] 3 [shape=plain label=<

3
0	1	2	3

>] 3:out2 -> 12:in3 [style=""] 3:out3 -> 0:in0 [style=""] 3:out3 -> 13:in3 [style=""] 4 [shape=plain label=<

0	1
4

>] 5 [shape=plain label=<

0		1		2
5
0	1		2		3

>] 5:out3 -> 17:in1 [style=""] 6 [shape=plain label=<

0	1	2
6

>] 7 [shape=plain label=<

0	1	2
7
0	1	2

>] 7:out2 -> 21:in0 [style=""] 8 [shape=plain label=<

0	1
8

>] 9 [shape=plain label=<

0	1		2
9
0		1

>] 9:out1 -> 15:in0 [style=""] 10 [shape=plain label=<

0	1
10
0

>] 10:out0 -> 4:in1 [style=""] 10:out0 -> 1:in1 [style=""] 11 [shape=plain label=<

11
0	1	2

>] 11:out2 -> 21:in2 [style=""] 11:out2 -> 4:in1 [style=""] 12 [shape=plain label=<

0	1		2		3
12
0		1		2

>] 12:out2 -> 2:in1 [style=""] 13 [shape=plain label=<

0	1	2	3
13
0	1	2	3

>] 13:out3 -> 5:in2 [style=""] 14 [shape=plain label=<

0		1
14
0		1

>] 14:out0 -> 16:in1 [style=""] 14:out1 -> 9:in2 [style=""] 14:out1 -> 7:in2 [style=""] 15 [shape=plain label=<

0
15
0	1	2

>] 15:out2 -> 6:in2 [style=""] 16 [shape=plain label=<

0	1	2
16
0	1	2

>] 16:out2 -> 10:in1 [style=""] 17 [shape=plain label=<

0		1
17
0	1		2

>] 17:out0 -> 13:in2 [style=""] 17:out2 -> 21:in1 [style=""] 18 [shape=plain label=<

18
0	1	2	3

>] 18:out0 -> 24:in1 [style=""] 18:out3 -> 20:in0 [style=""] 19 [shape=plain label=<

19
0	1	2

>] 19:out2 -> 20:in0 [style=""] 20 [shape=plain label=<

>] 21 [shape=plain label=<

0	1	2
21

>] 22 [shape=plain label=<

0
22
0	1	2

>] 22:out0 -> 22:in0 [style=""] 22:out1 -> 16:in2 [style=""] 22:out2 -> 2:in0 [style=""] 23 [shape=plain label=<

23
0	1	2

>] 23:out2 -> 2:in3 [style=""] 23:out2 -> 26:in2 [style=""] 24 [shape=plain label=<

0		1
24
0	1	2	3

>] 24:out3 -> 6:in0 [style=""] 25 [shape=plain label=<

25
0	1

>] 25:out1 -> 8:in1 [style=""] 26 [shape=plain label=<

0	1	2
26
0	1	2

>] 26:out0 -> 14:in1 [style=""] 26:out2 -> 1:in3 [style=""] }