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

Final States q24 q21 

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

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 q3 q0 

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

