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

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

Final States q12 

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

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

