Ops
  f40:1 f17:2 f22:1 f13:1 f26:1 f36:0 f35:2 f5:1 f44:1 f48:2 f30:0 f9:1 f41:1 f18:1 f21:1 f25:1 f37:2 f34:0 f14:0 f33:1 f6:0 f45:2 f49:0 f10:2 f29:1 f15:0 f20:1 f11:2 f2:1 f38:1 f42:0 f24:2 f46:2 f32:1 f3:0 f1:0 f28:1 f7:1 f16:2 f19:1 f43:0 f39:1 f12:0 f23:0 f47:2 f31:0 f4:1 f0:2 f27:0 f8:1 

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 q28 q27 q26 q25 q32 q31 q30 q29 q37 q38 q39 q40 q33 q34 q35 q36 q45 q46 q47 q48 q41 q42 q43 q44 q54 q53 q56 q55 q50 q49 q52 q51 q62 q61 q64 q63 q58 q57 q60 q59 

Final States q27 

Transitions
  f8(q53) -> q29
  f41(q38) -> q39
  f17(q38,q5) -> q0
  f10(q16,q46) -> q27
  f5(q61) -> q36
  f38(q8) -> q44
  f19(q58) -> q43
  f44(q63) -> q49
  f40(q35) -> q58
  f17(q37,q5) -> q0
  f7(q6) -> q48
  f11(q28,q48) -> q20
  f39(q9) -> q33
  f6 -> q45
  f21(q23) -> q8
  f48(q43,q45) -> q58
  f0(q29,q3) -> q49
  f46(q25,q7) -> q57
  f46(q21,q20) -> q11
  f23 -> q5
  f47(q30,q50) -> q46
  f19(q33) -> q1
  f9(q41) -> q17
  f32(q43) -> q47
  f40(q59) -> q48
  f41(q37) -> q39
  f1 -> q24
  f15 -> q43
  f30 -> q32
  f3 -> q9
  f40(q57) -> q4
  f38(q33) -> q6
  f9(q40) -> q9
  f18(q0) -> q10
  f5(q60) -> q36
  f10(q14,q13) -> q25
  f30 -> q33
  f28(q53) -> q24
  f17(q37,q6) -> q0
  f44(q62) -> q49
  f32(q33) -> q13
  f25(q39) -> q22
  f21(q24) -> q8
  f21(q55) -> q7
  f17(q38,q6) -> q0
  f16(q36,q55) -> q42
  f19(q34) -> q1
  f40(q56) -> q4
  f38(q34) -> q6
  f46(q62,q64) -> q49
  f9(q62) -> q63
  f21(q57) -> q51
  f38(q30) -> q36
  f32(q34) -> q13
  f43 -> q18
  f38(q28) -> q13
  f11(q32,q53) -> q28
  f35(q27,q23) -> q16
  f49 -> q0
  f26(q53) -> q16
  f24(q2,q33) -> q45
  f13(q2) -> q49
  f47(q60,q12) -> q63
  f18(q18) -> q42
  f42 -> q59
  f25(q11) -> q41
  f21(q56) -> q51
  f9(q63) -> q63
  f21(q53) -> q58
  f28(q8) -> q37
  f17(q59,q60) -> q20
  f46(q63,q47) -> q9
  f42 -> q61
  f45(q14,q29) -> q11
  f7(q5) -> q48
  f10(q19,q48) -> q29
  f5(q2) -> q51
  f24(q2,q34) -> q45
  f6 -> q53
  f25(q12) -> q41
  f19(q59) -> q16
  f47(q60,q11) -> q63
  f9(q62) -> q44
  f18(q28) -> q16
  f40(q35) -> q8
  f20(q55) -> q8
  f43 -> q11
  f11(q31,q53) -> q28
  f11(q26,q16) -> q4
  f5(q54) -> q2
  f16(q52,q54) -> q25
  f38(q50) -> q27
  f0(q41,q31) -> q61
  f21(q51) -> q48
  f9(q63) -> q44
  f35(q27,q24) -> q16
  f6 -> q40
  f48(q11,q21) -> q61
  f22(q36) -> q27
  f11(q26,q15) -> q4
  f35(q59,q6) -> q30
  f47(q1,q52) -> q2
  f42 -> q35
  f2(q36) -> q39
  f19(q17) -> q54
  f43 -> q58
  f35(q48,q58) -> q9
  f48(q26,q58) -> q61
  f28(q12) -> q44
  f7(q37) -> q64
  f11(q15,q50) -> q35
  f47(q14,q19) -> q1
  f48(q11,q22) -> q61
  f14 -> q10
  f47(q56,q11) -> q13
  f7(q4) -> q39
  f29(q53) -> q25
  f46(q43,q40) -> q48
  f11(q49,q8) -> q58
  f29(q44) -> q47
  f47(q1,q51) -> q2
  f8(q46) -> q0
  f18(q59) -> q32
  f24(q39,q4) -> q45
  f7(q38) -> q64
  f48(q38,q41) -> q46
  f25(q55) -> q64
  f48(q37,q41) -> q46
  f47(q14,q20) -> q1
  f35(q3,q1) -> q13
  f45(q26,q10) -> q3
  f47(q56,q12) -> q13
  f47(q52,q36) -> q63
  f20(q39) -> q1
  f15 -> q1
  f3 -> q25
  f16(q51,q54) -> q25
  f0(q41,q32) -> q61
  f20(q8) -> q46
  f10(q52,q37) -> q27
  f11(q27,q15) -> q4
  f27 -> q47
  f36 -> q26
  f1 -> q14
  f10(q10,q20) -> q27
  f0(q49,q22) -> q14
  f10(q52,q38) -> q27
  f35(q47,q13) -> q32
  f17(q25,q62) -> q53
  f30 -> q40
  f30 -> q9
  f3 -> q11
  f12 -> q0
  f33(q4) -> q22
  f12 -> q53
  f11(q27,q16) -> q4
  f29(q7) -> q55
  f20(q24) -> q49
  f34 -> q64
  f4(q36) -> q29
  f17(q25,q63) -> q53
  f0(q49,q21) -> q14
  f47(q51,q36) -> q63
  f48(q44,q40) -> q27
  f31 -> q9
  f22(q16) -> q32
  f20(q61) -> q58
  f46(q63,q64) -> q49
  f47(q57,q11) -> q13
  f20(q23) -> q49
  f2(q28) -> q46
  f16(q62,q38) -> q9
  f46(q46,q64) -> q4
  f31 -> q64
  f2(q40) -> q33
  f3 -> q58
  f34 -> q57
  f11(q52,q40) -> q46
  f30 -> q64
  f2(q8) -> q30
  f0(q41,q40) -> q27
  f5(q30) -> q57
  f11(q51,q40) -> q46
  f21(q52) -> q48
  f22(q15) -> q32
  f47(q57,q12) -> q13
  f14 -> q0
  f11(q50,q8) -> q58
  f2(q39) -> q33
  f26(q10) -> q40
  f37(q46,q18) -> q25
  f2(q32) -> q55
  f48(q12,q22) -> q61
  f24(q21,q25) -> q22
  f28(q10) -> q28
  f24(q22,q25) -> q22
  f14 -> q45
  f48(q27,q58) -> q61
  f10(q51,q37) -> q27
  f25(q53) -> q42
  f2(q64) -> q39
  f1 -> q4
  f17(q50,q64) -> q35
  f11(q43,q14) -> q63
  f2(q62) -> q1
  f46(q22,q20) -> q11
  f2(q31) -> q55
  f24(q12,q2) -> q25
  f46(q22,q19) -> q11
  f10(q51,q38) -> q27
  f17(q59,q61) -> q20
  f3 -> q32
  f48(q12,q21) -> q61
  f34 -> q30
  f24(q11,q2) -> q25
  f43 -> q37
  f36 -> q15
  f3 -> q41
  f34 -> q40
  f31 -> q49
  f21(q45) -> q37
  f3 -> q36
  f2(q63) -> q1
  f20(q60) -> q58
  f33(q19) -> q42
  f10(q39,q14) -> q17
  f28(q39) -> q55
  f3 -> q4
  f22(q42) -> q44
  f5(q34) -> q6
  f36 -> q23
  f47(q61,q11) -> q63
  f45(q27,q10) -> q3
  f48(q31,q19) -> q33
  f33(q39) -> q29
  f48(q32,q19) -> q33
  f28(q18) -> q59
  f17(q49,q64) -> q35
  f36 -> q31
  f12 -> q25
  f46(q62,q47) -> q9
  f4(q1) -> q22
  f6 -> q9
  f5(q33) -> q6
  f47(q61,q12) -> q63
  f46(q21,q19) -> q11
  f48(q31,q20) -> q33
  f48(q32,q20) -> q33
  f31 -> q42
  f6 -> q32
  f10(q10,q19) -> q27
  f30 -> q49
  f4(q8) -> q24
  f27 -> q63
  f28(q57) -> q40
  f31 -> q36
  f16(q27,q26) -> q29
  f37(q59,q28) -> q57
  f7(q30) -> q0
  f46(q16,q4) -> q48
  f23 -> q62
  f0(q37,q55) -> q41
  f27 -> q59
  f23 -> q60
  f19(q32) -> q13
  f23 -> q56
  f19(q4) -> q47
  f19(q30) -> q40
  f16(q27,q27) -> q29
  f28(q56) -> q40
  f40(q7) -> q29
  f37(q25,q47) -> q25
  f28(q64) -> q46
  f10(q6,q45) -> q28
  f19(q8) -> q64
  f17(q51,q61) -> q41
  f28(q0) -> q16
  f27 -> q18
  f19(q31) -> q13
  f35(q47,q4) -> q44
  f17(q52,q61) -> q41
  f21(q60) -> q35
  f38(q17) -> q55
  f46(q40,q0) -> q35
  f3 -> q3
  f17(q61,q1) -> q8
  f35(q20,q2) -> q63
  f35(q19,q2) -> q63
  f25(q52) -> q27
  f21(q36) -> q6
  f45(q9,q6) -> q30
  f9(q16) -> q55
  f25(q32) -> q59
  f17(q60,q1) -> q8
  f17(q51,q60) -> q41
  f32(q0) -> q24
  f35(q18,q3) -> q2
  f16(q41,q35) -> q45
  f26(q58) -> q13
  f10(q47,q10) -> q0
  f21(q39) -> q43
  f21(q61) -> q35
  f46(q57,q29) -> q43
  f25(q51) -> q27
  f25(q31) -> q59
  f6 -> q4
  f47(q60,q24) -> q54
  f46(q40,q4) -> q32
  f8(q10) -> q30
  f10(q15,q46) -> q27
  f11(q21,q40) -> q53
  f46(q56,q29) -> q43
  f1 -> q3
  f18(q41) -> q33
  f47(q64,q8) -> q39
  f15 -> q14
  f40(q25) -> q25
  f46(q22,q1) -> q33
  f46(q21,q1) -> q33
  f46(q15,q4) -> q48
  f20(q63) -> q30
  f27 -> q36
  f13(q14) -> q42
  f16(q62,q37) -> q9
  f22(q64) -> q57
  f0(q38,q55) -> q41
  f47(q60,q23) -> q54
  f10(q44,q8) -> q4
  f46(q43,q32) -> q9
  f16(q63,q37) -> q9
  f9(q15) -> q55
  f31 -> q20
  f19(q59) -> q2
  f10(q5,q45) -> q28
  f5(q35) -> q1
  f45(q9,q5) -> q30
  f30 -> q1
  f23 -> q26
  f29(q53) -> q30
  f20(q62) -> q30
  f18(q36) -> q36
  f36 -> q38
  f49 -> q59
  f31 -> q0
  f35(q26,q23) -> q16
  f26(q50) -> q10
  f46(q43,q31) -> q9
  f33(q20) -> q42
  f17(q32,q60) -> q14
  f16(q17,q61) -> q29
  f17(q31,q60) -> q14
  f17(q52,q60) -> q41
  f23 -> q52
  f35(q26,q24) -> q16
  f0(q50,q21) -> q14
  f24(q40,q54) -> q10
  f33(q42) -> q4
  f17(q31,q61) -> q14
  f26(q49) -> q10
  f11(q9,q53) -> q17
  f41(q47) -> q22
  f23 -> q50
  f17(q32,q61) -> q14
  f41(q35) -> q1
  f18(q47) -> q18
  f0(q50,q22) -> q14
  f11(q22,q40) -> q53
  f45(q29,q47) -> q59
  f8(q47) -> q43
  f16(q63,q38) -> q9
  f47(q0,q1) -> q53
  f24(q28,q39) -> q63
  f29(q58) -> q28
  f48(q16,q10) -> q42
  f30 -> q44
  f38(q49) -> q27
  f40(q42) -> q6
  f41(q45) -> q33
  f10(q17,q5) -> q22
  f22(q23) -> q46
  f16(q26,q27) -> q29
  f8(q16) -> q9
  f26(q1) -> q41
  f28(q11) -> q44
  f21(q62) -> q22
  f45(q14,q48) -> q36
  f6 -> q55
  f10(q2,q48) -> q48
  f45(q58,q48) -> q32
  f45(q60,q43) -> q51
  f44(q7) -> q16
  f9(q11) -> q17
  f47(q61,q23) -> q54
  f35(q59,q5) -> q30
  f29(q52) -> q6
  f49 -> q9
  f23 -> q34
  f26(q64) -> q16
  f33(q42) -> q45
  f16(q26,q26) -> q29
  f17(q36,q53) -> q35
  f38(q18) -> q32
  f37(q32,q14) -> q25
  f20(q45) -> q42
  f37(q31,q14) -> q25
  f16(q17,q60) -> q29
  f8(q15) -> q9
  f18(q39) -> q20
  f8(q43) -> q54
  f11(q16,q50) -> q35
  f47(q61,q24) -> q54
  f29(q20) -> q7
  f29(q29) -> q29
  f29(q51) -> q6
  f13(q8) -> q17
  f9(q12) -> q17
  f29(q28) -> q13
  f9(q8) -> q57
  f11(q15,q49) -> q35
  f42 -> q2
  f11(q16,q49) -> q35
  f29(q19) -> q7
  f26(q53) -> q61
  f43 -> q39
  f18(q38) -> q13
  f13(q12) -> q14
  f14 -> q2
  f22(q24) -> q46
  f11(q16,q25) -> q37
  f35(q2,q17) -> q2
  f41(q39) -> q53
  f10(q17,q6) -> q22
  f21(q63) -> q22
  f46(q2,q59) -> q33
  f7(q18) -> q9
  f39(q58) -> q40
  f33(q22) -> q7
  f5(q45) -> q4
  f18(q37) -> q13
  f13(q11) -> q14
  f30 -> q43
  f10(q20,q48) -> q29
  f18(q1) -> q46
  f21(q57) -> q61
  f28(q1) -> q58
  f49 -> q49
  f23 -> q12
  f1 -> q0
  f33(q21) -> q7
  f41(q45) -> q55
  f40(q39) -> q46
  f21(q56) -> q61
  f23 -> q19
  f46(q1,q35) -> q40
  f23 -> q21
  f45(q61,q43) -> q51
  f42 -> q55
  f47(q3,q8) -> q53
  f22(q28) -> q8
  f15 -> q57
  f9(q8) -> q47
  f41(q54) -> q40
  f47(q30,q49) -> q46
  f44(q5) -> q32
  f15 -> q39
  f19(q64) -> q3
  f40(q12) -> q46
  f35(q16,q52) -> q32
  f7(q47) -> q29
  f24(q45,q37) -> q58
  f32(q47) -> q44
  f26(q23) -> q20
  f35(q15,q52) -> q32
  f43 -> q55
  f45(q7,q29) -> q32
  f38(q12) -> q24
  f15 -> q42
  f44(q6) -> q32
  f28(q9) -> q53
  f48(q15,q10) -> q42
  f11(q64,q54) -> q24
  f40(q11) -> q46
  f35(q16,q51) -> q32
  f24(q45,q38) -> q58
  f35(q15,q51) -> q32
  f43 -> q64
  f26(q24) -> q20
  f40(q44) -> q4
  f11(q15,q25) -> q37
  f21(q0) -> q9
  f48(q13,q36) -> q42
  f40(q43) -> q10
  f38(q11) -> q24
  f41(q53) -> q42
  f44(q39) -> q8

Automaton a2
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 q28 q27 q26 q25 q32 q31 q30 q29 q37 q38 q39 q40 q33 q34 q35 q36 q45 q46 q47 q48 q41 q42 q43 q44 q49 

Final States q0 

Transitions
  f27 -> q10
  f10(q13,q12) -> q23
  f24(q35,q29) -> q5
  f46(q24,q39) -> q26
  f38(q37) -> q38
  f3 -> q40
  f46(q5,q37) -> q25
  f31 -> q11
  f20(q28) -> q30
  f19(q3) -> q38
  f32(q47) -> q29
  f32(q16) -> q33
  f36 -> q1
  f17(q27,q29) -> q36
  f5(q6) -> q13
  f3 -> q9
  f26(q23) -> q9
  f45(q34,q36) -> q42
  f47(q18,q7) -> q20
  f48(q48,q11) -> q49
  f10(q4,q22) -> q42
  f45(q19,q26) -> q14
  f38(q38) -> q46
  f35(q9,q49) -> q19
  f12 -> q22
  f22(q6) -> q17
  f40(q14) -> q2
  f15 -> q32
  f14 -> q29
  f26(q9) -> q10
  f13(q40) -> q1
  f3 -> q13
  f13(q21) -> q6
  f32(q12) -> q43
  f18(q28) -> q40
  f31 -> q29
  f14 -> q37
  f32(q28) -> q47
  f43 -> q18
  f9(q18) -> q12
  f24(q25,q40) -> q35
  f47(q10,q11) -> q46
  f45(q47,q17) -> q20
  f24(q39,q6) -> q42
  f35(q22,q48) -> q6
  f26(q22) -> q5
  f48(q0,q6) -> q31
  f22(q9) -> q13
  f29(q22) -> q9
  f48(q19,q40) -> q24
  f46(q36,q20) -> q49
  f46(q30,q26) -> q25
  f16(q42,q20) -> q0
  f26(q9) -> q34
  f4(q37) -> q3
  f30 -> q35
  f19(q15) -> q49
  f28(q37) -> q17
  f6 -> q4
  f30 -> q28
  f41(q4) -> q39
  f36 -> q44
  f30 -> q25
  f29(q16) -> q30
  f39(q13) -> q37
  f17(q42,q21) -> q37
  f8(q43) -> q0
  f41(q10) -> q0
  f16(q26,q49) -> q10
  f18(q15) -> q10
  f27 -> q46
  f13(q11) -> q2
  f20(q36) -> q7
  f14 -> q46
  f7(q49) -> q2
  f23 -> q4
  f14 -> q16
  f48(q48,q10) -> q38
  f31 -> q1
  f21(q26) -> q11
  f10(q8,q39) -> q41
  f22(q35) -> q49
  f33(q8) -> q0
  f6 -> q46
  f12 -> q32
  f7(q24) -> q19
  f28(q47) -> q28
  f31 -> q10
  f26(q18) -> q7
  f30 -> q19
  f19(q29) -> q8
  f43 -> q35
  f24(q2,q2) -> q40
  f35(q47,q23) -> q41
  f7(q34) -> q45
  f44(q25) -> q34
  f13(q34) -> q3
  f15 -> q6
  f19(q39) -> q8
  f9(q5) -> q17
  f29(q24) -> q40
  f46(q11,q39) -> q3
  f42 -> q31
  f10(q33,q47) -> q31
  f37(q15,q36) -> q26
  f49 -> q28
  f25(q25) -> q26
  f30 -> q6
  f22(q4) -> q46
  f10(q20,q46) -> q40
  f17(q17,q5) -> q12
  f24(q29,q39) -> q27
  f9(q3) -> q43
  f25(q12) -> q35
  f27 -> q23
  f32(q8) -> q44
  f44(q31) -> q1
  f32(q10) -> q39
  f35(q17,q44) -> q9
  f42 -> q26
  f46(q36,q31) -> q9
  f49 -> q1
  f38(q20) -> q10
  f43 -> q5
  f25(q23) -> q14
  f27 -> q0
  f21(q12) -> q19
  f23 -> q41
  f49 -> q36
  f14 -> q12
  f48(q27,q3) -> q44
  f1 -> q33
  f1 -> q20
  f41(q23) -> q16
  f12 -> q8
  f11(q31,q48) -> q30
  f30 -> q14
  f39(q32) -> q41
  f35(q18,q0) -> q40
  f0(q8,q4) -> q8
  f8(q45) -> q35
  f8(q18) -> q24
  f44(q29) -> q0
  f44(q45) -> q19
  f43 -> q27
  f5(q20) -> q38
  f15 -> q19
  f46(q16,q19) -> q19
  f42 -> q48
  f25(q22) -> q14
  f17(q28,q4) -> q41
  f15 -> q17
  f6 -> q3
  f22(q26) -> q12
  f2(q8) -> q44
  f44(q34) -> q6
  f0(q47,q19) -> q25
  f18(q47) -> q29
  f37(q46,q38) -> q19
  f10(q7,q44) -> q16
  f5(q24) -> q10
  f45(q48,q13) -> q13
  f23 -> q3
  f32(q8) -> q39
  f37(q28,q11) -> q25
  f10(q46,q32) -> q32
  f0(q11,q15) -> q40
  f40(q36) -> q32
  f5(q27) -> q3
  f38(q36) -> q9
  f24(q32,q1) -> q42
  f4(q37) -> q5
  f34 -> q41
  f9(q33) -> q17
  f9(q1) -> q26
  f23 -> q38
  f10(q7,q22) -> q41
  f4(q35) -> q30
  f39(q0) -> q40
  f35(q8,q24) -> q46
  f49 -> q17
  f24(q24,q22) -> q11
  f42 -> q43
  f22(q46) -> q25
  f26(q25) -> q11
  f34 -> q45
  f2(q22) -> q23
  f38(q14) -> q23
  f41(q15) -> q30
  f30 -> q5
  f22(q3) -> q36
  f4(q21) -> q36
  f7(q35) -> q25
  f22(q39) -> q41
  f12 -> q2
  f23 -> q31
  f41(q29) -> q32
  f46(q11,q35) -> q5
  f29(q40) -> q39
  f33(q1) -> q11
  f46(q22,q47) -> q6
  f24(q10,q7) -> q20
  f16(q32,q31) -> q0
  f6 -> q47
  f4(q21) -> q23
  f40(q15) -> q30
  f24(q33,q33) -> q17
  f18(q22) -> q28
  f41(q3) -> q0
  f24(q3,q19) -> q28
  f42 -> q7
  f16(q47,q8) -> q14
  f29(q43) -> q9
  f37(q4,q12) -> q12
  f3 -> q15
  f48(q0,q37) -> q21
  f26(q16) -> q33
  f4(q8) -> q38
  f20(q14) -> q47
  f5(q3) -> q25
  f22(q9) -> q11
  f48(q21,q44) -> q37
  f1 -> q11
  f40(q45) -> q18
  f13(q43) -> q17
  f47(q4,q32) -> q12
  f21(q33) -> q23
  f41(q33) -> q44
  f22(q3) -> q6
  f27 -> q43
  f1 -> q6
  f39(q3) -> q49
  f0(q24,q11) -> q0
  f2(q9) -> q11
  f21(q41) -> q45
  f37(q23,q4) -> q43
  f12 -> q39
  f4(q6) -> q34
  f40(q35) -> q36
  f14 -> q2
  f7(q41) -> q6
  f23 -> q24
  f48(q36,q36) -> q20
  f18(q39) -> q4
  f38(q6) -> q14
  f14 -> q49
  f12 -> q17
  f8(q26) -> q7
  f14 -> q44
  f14 -> q45
  f19(q1) -> q48
  f28(q49) -> q41
  f8(q17) -> q9
  f3 -> q12
  f22(q13) -> q40
  f4(q15) -> q5
  f48(q11,q7) -> q43
  f4(q16) -> q21
  f35(q7,q4) -> q45
  f21(q41) -> q40
  f19(q48) -> q31
  f2(q21) -> q6
  f39(q5) -> q34
  f16(q24,q41) -> q12
  f7(q44) -> q42
  f28(q37) -> q19
  f41(q40) -> q1
  f44(q6) -> q2
  f3 -> q31
  f8(q21) -> q31
  f25(q41) -> q6
  f48(q27,q44) -> q35
  f35(q27,q1) -> q21
  f28(q3) -> q37
  f3 -> q41
  f25(q41) -> q43
  f48(q22,q21) -> q39
  f44(q35) -> q22
  f39(q10) -> q46
  f2(q15) -> q44
  f37(q2,q48) -> q4
  f23 -> q18
  f18(q37) -> q15
  f39(q9) -> q49
  f41(q13) -> q7
  f14 -> q30
  f8(q26) -> q40
  f41(q38) -> q49
  f49 -> q8
  f46(q35,q43) -> q0
  f45(q48,q4) -> q30
  f6 -> q17
  f16(q13,q44) -> q9
  f7(q10) -> q1
  f47(q17,q18) -> q24
  f9(q33) -> q26
  f10(q31,q29) -> q0
  f38(q23) -> q36
  f16(q18,q9) -> q35
  f42 -> q37
  f45(q6,q0) -> q11
  f13(q22) -> q24
  f6 -> q36
  f10(q41,q11) -> q12
  f26(q27) -> q7
  f49 -> q30
  f24(q5,q45) -> q39
  f16(q38,q9) -> q11
  f41(q16) -> q14
  f37(q16,q45) -> q44
  f15 -> q40
  f25(q43) -> q7
  f36 -> q31
  f41(q2) -> q27
  f44(q24) -> q28
  f49 -> q25
  f26(q21) -> q45
  f17(q25,q37) -> q45
  f39(q34) -> q33
  f18(q21) -> q3
  f19(q13) -> q39
  f31 -> q41
  f19(q17) -> q11
  f41(q12) -> q2
  f40(q10) -> q48
  f49 -> q45
  f25(q34) -> q21
  f46(q24,q10) -> q6
  f9(q13) -> q30
  f21(q48) -> q8
  f44(q37) -> q19
  f10(q18,q12) -> q29
  f46(q16,q43) -> q7
  f39(q27) -> q47
  f49 -> q22
  f26(q37) -> q39
  f33(q35) -> q1
  f36 -> q4
  f5(q32) -> q5
  f41(q43) -> q2
  f36 -> q7
  f34 -> q22
  f14 -> q3
  f34 -> q17
  f22(q28) -> q42
  f4(q42) -> q45
  f46(q17,q9) -> q10
  f48(q37,q28) -> q30
  f3 -> q24
  f2(q12) -> q36
  f48(q38,q21) -> q20
  f17(q24,q25) -> q0
  f49 -> q34

