Ops
  f12:3 f17:5 f11:2 f18:1 f16:5 f15:3 f2:1 f13:1 f3:3 f4:4 f14:0 f5:1 f6:0 f9:4 f0:2 f1:0 f7:1 f10:2 f8:4 f19:4 

Automaton a1
States q0 q3 q4 q1 q2 q7 q8 q5 q6 q11 q12 q9 q10 q15 q16 q13 q14 q20 q19 q18 q17 q24 q23 q22 q21 q26 q25 

Final States q21 

Transitions
  f8(q20,q18,q7,q7) -> q16
  f7(q4) -> q17
  f11(q22,q8) -> q5
  f11(q19,q11) -> q20
  f10(q16,q15) -> q6
  f9(q14,q0,q19,q20) -> q17
  f15(q18,q19,q21) -> q24
  f18(q7) -> q12
  f8(q2,q20,q23,q16) -> q17
  f17(q26,q21,q18,q1,q9) -> q15
  f8(q20,q18,q6,q7) -> q16
  f3(q15,q2,q6) -> q3
  f4(q10,q15,q26,q24) -> q19
  f17(q13,q16,q17,q0,q8) -> q23
  f13(q21) -> q23
  f8(q19,q22,q3,q20) -> q19
  f10(q16,q13) -> q14
  f19(q23,q25,q4,q22) -> q19
  f15(q18,q19,q22) -> q24
  f10(q7,q11) -> q5
  f10(q21,q22) -> q25
  f17(q26,q21,q18,q1,q8) -> q15
  f19(q5,q17,q21,q12) -> q3
  f3(q15,q2,q7) -> q3
  f17(q13,q16,q17,q0,q9) -> q23
  f1 -> q26
  f8(q5,q23,q8,q6) -> q20
  f4(q21,q5,q16,q24) -> q10
  f8(q19,q21,q3,q20) -> q19
  f7(q12) -> q1
  f4(q22,q5,q16,q24) -> q10
  f19(q19,q10,q11,q14) -> q12
  f19(q6,q18,q25,q17) -> q21
  f19(q6,q18,q25,q18) -> q21
  f8(q5,q23,q9,q7) -> q20
  f8(q5,q23,q8,q7) -> q20
  f10(q23,q11) -> q6
  f12(q16,q10,q18) -> q21
  f0(q19,q26) -> q26
  f19(q9,q1,q0,q25) -> q24
  f17(q13,q16,q18,q0,q9) -> q23
  f19(q24,q9,q24,q16) -> q10
  f16(q19,q3,q4,q2,q14) -> q6
  f9(q17,q5,q16,q13) -> q21
  f8(q20,q18,q7,q6) -> q16
  f8(q16,q3,q6,q23) -> q5
  f7(q5) -> q17
  f11(q22,q9) -> q5
  f17(q24,q13,q18,q0,q3) -> q16
  f8(q4,q24,q15,q14) -> q3
  f15(q8,q0,q14) -> q23
  f8(q4,q23,q9,q6) -> q20
  f9(q21,q5,q6,q14) -> q15
  f8(q2,q15,q11,q24) -> q17
  f10(q23,q10) -> q6
  f9(q21,q5,q7,q14) -> q15
  f16(q6,q20,q3,q20,q20) -> q5
  f15(q5,q9,q14) -> q26
  f4(q21,q4,q16,q24) -> q10
  f8(q9,q12,q3,q16) -> q17
  f3(q15,q1,q6) -> q3
  f17(q13,q16,q18,q0,q8) -> q23
  f17(q26,q21,q18,q2,q9) -> q15
  f14 -> q18
  f4(q18,q26,q14,q13) -> q8
  f8(q4,q23,q8,q7) -> q20
  f4(q3,q16,q6,q18) -> q20
  f11(q19,q22) -> q26
  f13(q25) -> q23
  f4(q9,q0,q16,q19) -> q8
  f8(q4,q23,q9,q7) -> q20
  f10(q15,q25) -> q26
  f10(q19,q26) -> q13
  f9(q16,q22,q15,q16) -> q23
  f10(q22,q22) -> q25
  f7(q18) -> q20
  f17(q26,q21,q18,q2,q8) -> q15
  f19(q23,q25,q5,q22) -> q19
  f11(q19,q21) -> q26
  f10(q6,q11) -> q5
  f5(q25) -> q13
  f12(q16,q10,q17) -> q21
  f4(q3,q16,q7,q17) -> q20
  f3(q15,q1,q7) -> q3
  f12(q16,q11,q17) -> q21
  f10(q21,q21) -> q25
  f19(q23,q25,q4,q21) -> q19
  f15(q9,q22,q4) -> q20
  f10(q7,q10) -> q5
  f4(q3,q16,q7,q18) -> q20
  f2(q13) -> q8
  f10(q22,q21) -> q25
  f19(q26,q18,q23,q18) -> q12
  f9(q5,q19,q19,q20) -> q20
  f10(q6,q10) -> q5
  f19(q23,q25,q5,q21) -> q19
  f16(q7,q20,q3,q20,q20) -> q5
  f8(q14,q17,q12,q12) -> q15
  f14 -> q11
  f10(q0,q26) -> q5
  f8(q20,q17,q6,q7) -> q16
  f12(q16,q11,q18) -> q21
  f3(q6,q15,q10) -> q14
  f16(q12,q17,q19,q16,q25) -> q12
  f15(q4,q8,q14) -> q26
  f8(q4,q23,q8,q6) -> q20
  f13(q22) -> q23
  f0(q5,q19) -> q5
  f8(q20,q18,q6,q6) -> q16
  f8(q20,q17,q6,q6) -> q16
  f15(q4,q9,q14) -> q26
  f3(q6,q15,q11) -> q14
  f16(q19,q3,q4,q1,q14) -> q6
  f6 -> q25
  f9(q21,q4,q7,q14) -> q15
  f16(q6,q0,q3,q6,q12) -> q8
  f13(q20) -> q12
  f1 -> q15
  f19(q6,q17,q25,q18) -> q21
  f6 -> q23
  f9(q18,q4,q16,q13) -> q21
  f9(q22,q4,q7,q14) -> q15
  f11(q0,q22) -> q3
  f1 -> q14
  f15(q7,q15,q6) -> q0
  f5(q2) -> q21
  f15(q17,q19,q21) -> q24
  f15(q15,q15,q19) -> q3
  f9(q22,q4,q6,q14) -> q15
  f15(q8,q4,q3) -> q15
  f0(q4,q19) -> q5
  f12(q1,q11,q2) -> q23
  f12(q19,q20,q23) -> q0
  f19(q6,q17,q25,q17) -> q21
  f11(q19,q15) -> q1
  f7(q26) -> q16
  f1 -> q19
  f19(q26,q18,q23,q17) -> q12
  f10(q7,q9) -> q1
  f4(q11,q15,q26,q24) -> q19
  f12(q1,q10,q2) -> q23
  f18(q24) -> q14
  f9(q13,q24,q5,q10) -> q13
  f17(q26,q22,q17,q2,q8) -> q15
  f15(q9,q22,q5) -> q20
  f17(q24,q5,q19,q11,q22) -> q26
  f15(q7,q15,q7) -> q0
  f8(q1,q20,q23,q16) -> q17
  f10(q6,q9) -> q1
  f17(q26,q22,q17,q1,q8) -> q15
  f9(q13,q24,q4,q10) -> q13
  f5(q1) -> q21
  f4(q26,q0,q15,q17) -> q17
  f7(q23) -> q0
  f17(q26,q22,q18,q2,q9) -> q15
  f10(q7,q8) -> q1
  f12(q1,q11,q1) -> q23
  f13(q26) -> q24
  f9(q13,q24,q5,q11) -> q13
  f18(q21) -> q13
  f2(q6) -> q14
  f17(q24,q5,q19,q11,q21) -> q26
  f17(q26,q22,q17,q2,q9) -> q15
  f12(q25,q17,q15) -> q25
  f8(q16,q3,q7,q23) -> q5
  f4(q26,q0,q15,q18) -> q17
  f12(q25,q18,q15) -> q25
  f11(q9,q20) -> q3
  f3(q7,q11,q26) -> q19
  f11(q3,q11) -> q20
  f18(q24) -> q5
  f17(q26,q22,q18,q2,q8) -> q15
  f8(q1,q15,q11,q24) -> q17
  f11(q0,q21) -> q3
  f8(q2,q15,q10,q24) -> q17
  f9(q23,q14,q20,q26) -> q26
  f18(q22) -> q13
  f2(q7) -> q14
  f15(q17,q19,q22) -> q24
  f16(q11,q3,q25,q3,q1) -> q19
  f16(q10,q3,q25,q3,q1) -> q19
  f9(q22,q5,q7,q14) -> q15
  f9(q22,q5,q6,q14) -> q15
  f1 -> q5
  f13(q23) -> q3
  f10(q14,q12) -> q17
  f0(q20,q26) -> q16
  f16(q11,q3,q25,q3,q2) -> q19
  f9(q16,q21,q15,q16) -> q23
  f15(q9,q21,q5) -> q20
  f8(q5,q24,q15,q14) -> q3
  f16(q19,q3,q5,q1,q14) -> q6
  f1 -> q23
  f7(q26) -> q20
  f9(q11,q3,q15,q24) -> q26
  f19(q5,q17,q22,q12) -> q3
  f16(q19,q3,q5,q2,q14) -> q6
  f7(q1) -> q13
  f9(q18,q5,q16,q13) -> q21
  f9(q21,q4,q6,q14) -> q15
  f11(q16,q13) -> q16
  f9(q4,q19,q19,q20) -> q20
  f15(q9,q21,q4) -> q20
  f10(q6,q8) -> q1
  f19(q14,q10,q14,q16) -> q19
  f12(q1,q10,q1) -> q23
  f19(q13,q10,q23,q12) -> q0
  f7(q2) -> q13
  f3(q7,q10,q26) -> q19
  f6 -> q13
  f19(q19,q10,q10,q14) -> q12
  f17(q16,q13,q18,q15,q12) -> q12
  f19(q8,q2,q0,q25) -> q24
  f19(q14,q2,q24,q18) -> q23
  f0(q15,q25) -> q21
  f4(q9,q19,q8,q18) -> q15
  f17(q26,q21,q17,q1,q9) -> q15
  f8(q23,q2,q13,q20) -> q17
  f3(q5,q13,q15) -> q24
  f19(q4,q17,q22,q12) -> q3
  f17(q26,q22,q18,q1,q8) -> q15
  f14 -> q7
  f17(q24,q4,q19,q10,q21) -> q26
  f13(q14) -> q8
  f17(q25,q6,q12,q16,q23) -> q16
  f4(q9,q19,q8,q17) -> q15
  f17(q24,q5,q19,q10,q21) -> q26
  f9(q10,q3,q15,q24) -> q26
  f4(q23,q16,q1,q23) -> q16
  f18(q11) -> q24
  f13(q16) -> q24
  f13(q4) -> q21
  f19(q7,q18,q25,q17) -> q21
  f19(q0,q1,q24,q24) -> q23
  f17(q24,q13,q17,q0,q3) -> q16
  f17(q26,q22,q18,q1,q9) -> q15
  f15(q8,q21,q5) -> q20
  f11(q8,q20) -> q3
  f11(q13,q15) -> q13
  f2(q12) -> q23
  f4(q9,q19,q9,q17) -> q15
  f12(q2,q11,q1) -> q23
  f3(q6,q11,q26) -> q19
  f16(q7,q14,q16,q12,q16) -> q1
  f12(q2,q10,q1) -> q23
  f19(q20,q3,q6,q3) -> q25
  f15(q8,q22,q5) -> q20
  f7(q2) -> q12
  f19(q13,q11,q23,q12) -> q0
  f19(q7,q18,q25,q18) -> q21
  f19(q20,q3,q7,q3) -> q25
  f4(q8,q19,q8,q17) -> q15
  f4(q23,q16,q2,q23) -> q16
  f6 -> q0
  f11(q8,q3) -> q15
  f19(q14,q1,q24,q17) -> q23
  f16(q10,q3,q25,q3,q2) -> q19
  f15(q8,q21,q4) -> q20
  f19(q0,q2,q24,q24) -> q23
  f9(q17,q4,q16,q13) -> q21
  f0(q25,q22) -> q10
  f4(q9,q19,q9,q18) -> q15
  f12(q2,q11,q2) -> q23
  f17(q16,q13,q17,q15,q12) -> q12
  f19(q14,q2,q24,q17) -> q23
  f12(q14,q14,q18) -> q6
  f12(q2,q10,q2) -> q23
  f15(q8,q22,q4) -> q20
  f7(q1) -> q12
  f15(q9,q5,q3) -> q15
  f19(q4,q18,q22,q12) -> q3
  f19(q19,q11,q11,q14) -> q12
  f4(q8,q19,q8,q18) -> q15
  f19(q14,q1,q24,q18) -> q23
  f12(q17,q3,q6) -> q8
  f14 -> q22
  f2(q24) -> q16
  f1 -> q3
  f10(q13,q1) -> q25
  f17(q26,q21,q17,q2,q9) -> q15
  f12(q14,q14,q17) -> q6
  f4(q25,q12,q23,q16) -> q13
  f8(q12,q0,q12,q6) -> q12
  f0(q3,q24) -> q0
  f3(q6,q10,q26) -> q19
  f11(q21,q9) -> q5
  f19(q14,q11,q14,q16) -> q19
  f12(q18,q3,q7) -> q8
  f16(q19,q6,q14,q12,q14) -> q26
  f12(q17,q3,q7) -> q8
  f15(q9,q0,q14) -> q23
  f7(q8) -> q6
  f12(q16,q3,q8) -> q0
  f19(q4,q17,q21,q12) -> q3
  f19(q8,q1,q0,q25) -> q24
  f8(q23,q1,q13,q20) -> q17
  f0(q20,q24) -> q14
  f12(q18,q3,q6) -> q8
  f13(q18) -> q10
  f11(q23,q10) -> q1
  f7(q9) -> q6
  f12(q16,q3,q9) -> q0
  f7(q25) -> q16
  f11(q3,q10) -> q20
  f17(q24,q4,q19,q11,q21) -> q26
  f19(q19,q11,q10,q14) -> q12
  f19(q26,q17,q23,q17) -> q12
  f17(q24,q5,q19,q10,q22) -> q26
  f4(q8,q19,q9,q17) -> q15
  f19(q5,q18,q21,q12) -> q3
  f16(q7,q0,q3,q6,q12) -> q8
  f0(q1,q4) -> q10
  f8(q14,q18,q12,q12) -> q15
  f0(q2,q4) -> q10
  f11(q23,q11) -> q1
  f13(q17) -> q10
  f17(q24,q4,q19,q11,q22) -> q26
  f8(q10,q0,q21,q5) -> q15
  f15(q8,q5,q3) -> q15
  f18(q10) -> q24
  f9(q13,q24,q4,q11) -> q13
  f0(q2,q5) -> q10
  f19(q26,q17,q23,q18) -> q12
  f16(q6,q0,q3,q7,q12) -> q8
  f4(q8,q19,q9,q18) -> q15
  f0(q12,q19) -> q13
  f17(q26,q21,q17,q1,q8) -> q15
  f19(q4,q18,q21,q12) -> q3
  f17(q26,q21,q17,q2,q8) -> q15
  f15(q9,q4,q3) -> q15
  f17(q25,q7,q12,q16,q23) -> q16
  f13(q16) -> q8
  f17(q26,q22,q17,q1,q9) -> q15
  f8(q12,q0,q12,q7) -> q12
  f0(q1,q5) -> q10
  f8(q25,q19,q25,q26) -> q5
  f5(q25) -> q16
  f8(q10,q0,q21,q4) -> q15
  f0(q17,q15) -> q20
  f19(q7,q17,q25,q17) -> q21
  f15(q6,q15,q6) -> q0
  f0(q20,q9) -> q0
  f16(q19,q7,q14,q12,q14) -> q26
  f0(q18,q15) -> q20
  f5(q23) -> q10
  f3(q4,q13,q15) -> q24
  f13(q14) -> q6
  f19(q24,q8,q24,q16) -> q10
  f14 -> q9
  f19(q7,q17,q25,q18) -> q21
  f12(q11,q0,q24) -> q5
  f0(q12,q18) -> q6
  f0(q20,q8) -> q0
  f16(q6,q14,q16,q12,q16) -> q1
  f19(q9,q2,q0,q25) -> q24
  f4(q17,q26,q14,q13) -> q8
  f8(q11,q0,q22,q5) -> q15
  f18(q5) -> q26
  f4(q3,q16,q6,q17) -> q20
  f3(q24,q3,q18) -> q3
  f8(q10,q0,q22,q5) -> q15
  f8(q20,q17,q7,q6) -> q16
  f0(q12,q17) -> q6
  f18(q0) -> q12
  f8(q11,q0,q22,q4) -> q15
  f13(q10) -> q21
  f15(q6,q15,q7) -> q0
  f8(q8,q12,q3,q16) -> q17
  f18(q4) -> q26
  f8(q10,q0,q22,q4) -> q15
  f14 -> q2
  f8(q20,q17,q7,q7) -> q16
  f11(q21,q8) -> q5
  f7(q14) -> q13
  f14 -> q4
  f19(q5,q18,q22,q12) -> q3
  f7(q17) -> q20
  f12(q10,q0,q24) -> q5
  f13(q11) -> q21
  f10(q13,q2) -> q25
  f17(q16,q19,q19,q25,q18) -> q0
  f8(q1,q15,q10,q24) -> q17
  f10(q23,q13) -> q26
  f8(q5,q23,q9,q6) -> q20
  f3(q7,q15,q11) -> q14
  f0(q25,q21) -> q10
  f5(q19) -> q10
  f18(q6) -> q12
  f17(q16,q19,q19,q25,q17) -> q0
  f3(q24,q3,q17) -> q3
  f5(q18) -> q8
  f4(q8,q0,q16,q19) -> q8
  f12(q24,q24,q19) -> q12
  f15(q0,q26,q24) -> q10
  f16(q13,q13,q16,q13,q26) -> q12
  f16(q12,q18,q19,q16,q25) -> q12
  f8(q20,q14,q9,q22) -> q26
  f5(q17) -> q8
  f8(q11,q0,q21,q5) -> q15
  f4(q3,q19,q26,q25) -> q23
  f3(q14,q25,q21) -> q3
  f13(q5) -> q21
  f8(q20,q14,q8,q22) -> q26
  f11(q9,q3) -> q15
  f11(q19,q10) -> q20
  f4(q22,q4,q16,q24) -> q10
  f17(q24,q4,q19,q10,q22) -> q26
  f8(q20,q14,q9,q21) -> q26
  f8(q11,q0,q21,q4) -> q15
  f3(q14,q25,q22) -> q3
  f8(q20,q14,q8,q21) -> q26
  f7(q19) -> q19
  f3(q7,q15,q10) -> q14
  f15(q5,q8,q14) -> q26
  f18(q0) -> q25
  f16(q7,q0,q3,q7,q12) -> q8

Automaton a2
States q3 q4 q1 q2 q7 q8 q5 q6 q11 q12 q9 q10 q15 q16 q13 q14 q19 q18 q17 q0 

Final States q19 

Transitions
  f11(q15,q19) -> q17
  f9(q12,q14,q17,q8) -> q17
  f18(q7) -> q11
  f10(q5,q10) -> q4
  f19(q10,q16,q5,q5) -> q8
  f3(q6,q8,q18) -> q5
  f3(q9,q11,q4) -> q12
  f12(q10,q14,q16) -> q1
  f1 -> q17
  f16(q11,q6,q10,q14,q6) -> q19
  f9(q4,q8,q10,q4) -> q18
  f13(q8) -> q1
  f2(q16) -> q16
  f11(q17,q1) -> q13
  f11(q13,q0) -> q14
  f17(q6,q9,q8,q7,q15) -> q6
  f9(q4,q5,q3,q1) -> q0
  f4(q8,q19,q5,q18) -> q12
  f14 -> q7
  f17(q17,q17,q2,q5,q12) -> q1
  f11(q13,q0) -> q5
  f13(q7) -> q17
  f13(q17) -> q2
  f4(q1,q4,q0,q8) -> q17
  f13(q9) -> q11
  f3(q17,q18,q10) -> q8
  f0(q11,q2) -> q3
  f4(q6,q16,q19,q14) -> q5
  f1 -> q19
  f5(q5) -> q16
  f12(q4,q6,q0) -> q16
  f18(q2) -> q16
  f4(q4,q8,q5,q0) -> q15
  f1 -> q18
  f3(q8,q14,q11) -> q19
  f3(q13,q9,q8) -> q1
  f13(q14) -> q1
  f17(q6,q0,q4,q18,q16) -> q11
  f5(q4) -> q18
  f12(q9,q12,q10) -> q5
  f5(q11) -> q0
  f17(q12,q2,q9,q4,q17) -> q10
  f0(q2,q6) -> q6
  f16(q13,q2,q11,q0,q18) -> q10
  f1 -> q11
  f12(q4,q7,q10) -> q15
  f2(q0) -> q9
  f9(q18,q17,q19,q15) -> q19
  f17(q10,q5,q4,q6,q11) -> q0
  f13(q4) -> q6
  f11(q19,q9) -> q17
  f0(q17,q6) -> q11
  f10(q4,q14) -> q19
  f12(q17,q3,q6) -> q18
  f11(q2,q5) -> q8
  f2(q18) -> q10
  f1 -> q6
  f15(q1,q2,q13) -> q8
  f12(q0,q13,q8) -> q1
  f8(q8,q7,q17,q8) -> q15
  f1 -> q9
  f4(q0,q5,q9,q15) -> q18
  f15(q2,q2,q15) -> q7
  f4(q19,q11,q19,q3) -> q15
  f7(q4) -> q10
  f3(q4,q11,q13) -> q2
  f14 -> q2
  f8(q9,q7,q6,q10) -> q19
  f13(q7) -> q11
  f5(q11) -> q14
  f2(q0) -> q6
  f13(q12) -> q4
  f19(q4,q8,q5,q19) -> q16
  f2(q2) -> q17
  f2(q16) -> q4
  f8(q17,q16,q15,q8) -> q11
  f9(q6,q14,q15,q3) -> q5
  f18(q12) -> q17
  f4(q12,q1,q3,q15) -> q17
  f14 -> q19
  f15(q5,q10,q11) -> q1
  f19(q14,q2,q2,q13) -> q16
  f12(q13,q18,q1) -> q12
  f3(q16,q0,q16) -> q0
  f5(q10) -> q17
  f17(q7,q10,q5,q11,q7) -> q7
  f2(q11) -> q10
  f14 -> q17
  f3(q0,q1,q16) -> q13
  f5(q18) -> q19
  f13(q12) -> q2
  f8(q0,q19,q16,q9) -> q0
  f16(q4,q15,q12,q4,q2) -> q17
  f14 -> q8
  f1 -> q1
  f7(q0) -> q16
  f2(q3) -> q6
  f6 -> q18
  f3(q14,q7,q4) -> q10
  f13(q11) -> q10
  f1 -> q2
  f19(q0,q6,q8,q1) -> q1
  f5(q18) -> q18
  f16(q7,q19,q10,q2,q14) -> q6
  f17(q16,q11,q11,q15,q4) -> q12
  f0(q5,q4) -> q16
  f8(q1,q8,q2,q1) -> q19
  f0(q11,q17) -> q19
  f18(q5) -> q8
  f8(q0,q6,q4,q6) -> q16
  f15(q7,q9,q8) -> q19
  f13(q1) -> q10
  f2(q2) -> q4
  f10(q16,q19) -> q9
  f10(q8,q19) -> q17
  f11(q15,q18) -> q10
  f19(q9,q18,q3,q16) -> q3
  f9(q10,q13,q12,q17) -> q11
  f9(q15,q10,q7,q14) -> q10
  f19(q13,q8,q3,q10) -> q1
  f12(q14,q6,q13) -> q3
  f18(q12) -> q13
  f10(q17,q9) -> q19
  f11(q11,q1) -> q8
  f17(q3,q15,q12,q12,q8) -> q3
  f5(q3) -> q7
  f4(q16,q3,q11,q10) -> q18
  f19(q17,q14,q15,q17) -> q12
  f6 -> q16
  f0(q7,q2) -> q1
  f10(q1,q17) -> q15
  f2(q5) -> q5
  f4(q9,q6,q18,q19) -> q18
  f5(q1) -> q10
  f12(q8,q12,q11) -> q2
  f17(q8,q19,q3,q19,q7) -> q14
  f9(q15,q2,q5,q8) -> q14
  f11(q19,q4) -> q3
  f10(q13,q17) -> q4
  f8(q11,q17,q10,q15) -> q6
  f16(q14,q13,q17,q7,q5) -> q8
  f3(q10,q2,q1) -> q3
  f18(q4) -> q9
  f8(q16,q2,q12,q8) -> q13
  f19(q8,q4,q17,q10) -> q8
  f17(q9,q4,q16,q17,q8) -> q17
  f8(q0,q2,q5,q18) -> q3
  f5(q17) -> q12
  f16(q1,q15,q17,q17,q14) -> q1
  f4(q10,q8,q4,q17) -> q9
  f7(q1) -> q5
  f6 -> q9
  f17(q6,q4,q3,q15,q0) -> q14
  f10(q15,q0) -> q10
  f7(q2) -> q13
  f13(q9) -> q16
  f15(q13,q7,q12) -> q17
  f0(q9,q2) -> q12
  f19(q3,q7,q6,q9) -> q8
  f18(q11) -> q6
  f19(q10,q10,q13,q0) -> q13
  f8(q19,q13,q16,q4) -> q6
  f5(q9) -> q4
  f6 -> q3
  f5(q12) -> q13
  f17(q19,q19,q13,q0,q7) -> q0
  f9(q15,q19,q3,q9) -> q2
  f16(q2,q18,q18,q18,q9) -> q15
  f17(q4,q17,q6,q11,q7) -> q18
  f9(q9,q7,q8,q18) -> q12
  f4(q11,q15,q7,q3) -> q14
  f12(q19,q15,q2) -> q4
  f0(q7,q5) -> q9
  f12(q11,q7,q1) -> q18
  f10(q9,q9) -> q14
  f16(q12,q10,q6,q16,q12) -> q5
  f5(q16) -> q10
  f11(q6,q13) -> q14

