Ops
  f5:1 f6:0 f4:1 f3:0 f2:1 f8:1 f0:2 f1:0 f7:1 f9:1 

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

Final States q9 q15 

Transitions
  f0(q11,q2) -> q1
  f0(q9,q0) -> q1
  f4(q13) -> q10
  f0(q10,q2) -> q1
  f8(q5) -> q10
  f0(q7,q0) -> q1
  f9(q11) -> q8
  f6 -> q5
  f4(q4) -> q9
  f0(q11,q2) -> q5
  f0(q9,q9) -> q12
  f7(q8) -> q13
  f5(q10) -> q6
  f7(q13) -> q13
  f0(q10,q2) -> q5
  f7(q5) -> q10
  f9(q3) -> q10
  f9(q11) -> q12
  f1 -> q2
  f4(q7) -> q5
  f5(q6) -> q5
  f2(q9) -> q5
  f0(q7,q9) -> q12
  f4(q10) -> q1
  f1 -> q0
  f8(q15) -> q15
  f4(q14) -> q10
  f9(q10) -> q8
  f9(q0) -> q10
  f9(q5) -> q15
  f2(q12) -> q15
  f5(q9) -> q15
  f0(q6,q8) -> q15
  f2(q2) -> q6
  f7(q13) -> q6
  f8(q3) -> q15
  f5(q11) -> q6
  f3 -> q4
  f9(q10) -> q12
  f4(q1) -> q9
  f2(q7) -> q5
  f3 -> q14
  f3 -> q3
  f4(q15) -> q10
  f5(q3) -> q13
  f0(q10,q4) -> q1
  f2(q1) -> q6
  f0(q11,q4) -> q1
  f4(q2) -> q9
  f0(q15,q6) -> q8
  f5(q7) -> q15
  f8(q0) -> q15
  f1 -> q11
  f0(q9,q7) -> q12
  f0(q10,q4) -> q5
  f8(q14) -> q15
  f2(q13) -> q9
  f0(q11,q4) -> q5
  f0(q7,q7) -> q12
  f4(q9) -> q5
  f0(q15,q12) -> q1
  f0(q7,q3) -> q1
  f5(q0) -> q13
  f6 -> q12
  f0(q11,q1) -> q1
  f0(q0,q12) -> q15
  f0(q14,q12) -> q1
  f0(q9,q3) -> q1
  f0(q10,q1) -> q1
  f1 -> q7
  f0(q14,q6) -> q8
  f2(q4) -> q6
  f4(q11) -> q1
  f0(q11,q1) -> q5
  f5(q6) -> q1
  f6 -> q6
  f0(q13,q12) -> q5
  f0(q3,q12) -> q15
  f0(q10,q1) -> q5
  f8(q13) -> q15

Automaton a2
States q3 q4 q1 q2 q7 q8 q5 q6 q9 q0 

Final States q2 q9 

Transitions
  f7(q5) -> q2
  f7(q3) -> q6
  f1 -> q4
  f8(q2) -> q7
  f7(q2) -> q3
  f6 -> q8
  f4(q2) -> q0
  f7(q1) -> q9
  f4(q9) -> q8
  f9(q7) -> q1
  f7(q1) -> q4
  f6 -> q0
  f3 -> q1
  f5(q4) -> q7
  f9(q8) -> q5
  f1 -> q2
  f5(q6) -> q5
  f6 -> q9
  f0(q6,q5) -> q0
  f0(q4,q3) -> q2
  f3 -> q2
  f1 -> q6
  f9(q2) -> q2
  f3 -> q0
  f3 -> q9
  f6 -> q1
  f9(q0) -> q8
  f4(q7) -> q6
  f2(q8) -> q4
  f7(q4) -> q6
  f8(q7) -> q0
  f1 -> q7
  f6 -> q3
  f1 -> q8
  f6 -> q4
  f3 -> q6
  f2(q4) -> q3
  f4(q2) -> q6
  f5(q7) -> q9
  f3 -> q8
  f9(q9) -> q3
  f0(q7,q7) -> q6
  f5(q1) -> q7
  f5(q4) -> q5
  f1 -> q3
  f0(q5,q7) -> q9

