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

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 q71 q69 q70 q67 q68 q65 q66 

Final States q25 

Transitions
  f7(q57) -> q12
  f7(q1) -> q39
  f11(q36,q11) -> q0
  f16(q71,q30) -> q17
  f18(q25) -> q67
  f16(q22,q71) -> q20
  f5(q67) -> q55
  f5(q27) -> q5
  f8(q9) -> q36
  f16(q47,q17) -> q19
  f17(q29,q53) -> q49
  f10(q3,q18) -> q46
  f5(q8) -> q62
  f19(q42) -> q21
  f8(q57) -> q22
  f19(q41) -> q19
  f19(q53) -> q57
  f7(q0) -> q39
  f12 -> q58
  f5(q26) -> q5
  f18(q24) -> q67
  f5(q58) -> q27
  f8(q1) -> q57
  f16(q22,q70) -> q20
  f5(q29) -> q14
  f8(q8) -> q34
  f8(q56) -> q22
  f2(q71) -> q67
  f17(q29,q54) -> q49
  f12 -> q46
  f13(q37) -> q9
  f0(q13,q20) -> q25
  f16(q52,q66) -> q37
  f17(q9,q15) -> q55
  f19(q54) -> q57
  f0(q50,q46) -> q54
  f12 -> q19
  f13(q55) -> q36
  f15 -> q55
  f7(q30) -> q37
  f0(q22,q58) -> q21
  f2(q70) -> q67
  f3 -> q52
  f15 -> q30
  f7(q16) -> q2
  f14 -> q35
  f1 -> q9
  f10(q70,q21) -> q16
  f7(q56) -> q12
  f17(q8,q48) -> q37
  f19(q12) -> q21
  f5(q68) -> q55
  f16(q12,q22) -> q48
  f7(q64) -> q67
  f17(q61,q14) -> q15
  f5(q7) -> q62
  f8(q30) -> q50
  f19(q43) -> q21
  f0(q28,q12) -> q16
  f11(q17,q26) -> q55
  f9(q30) -> q67
  f10(q4,q18) -> q46
  f7(q8) -> q16
  f7(q52) -> q4
  f12 -> q63
  f6 -> q44
  f18(q51) -> q22
  f12 -> q36
  f6 -> q66
  f11(q17,q27) -> q55
  f7(q7) -> q16
  f7(q51) -> q4
  f11(q56,q8) -> q63
  f7(q30) -> q23
  f18(q18) -> q30
  f4(q37) -> q48
  f12 -> q67
  f9(q37) -> q10
  f9(q39) -> q16
  f7(q4) -> q40
  f11(q53,q11) -> q63
  f19(q40) -> q19
  f2(q53) -> q27
  f19(q5) -> q28
  f15 -> q60
  f12 -> q20
  f14 -> q64
  f7(q3) -> q40
  f5(q26) -> q12
  f18(q18) -> q66
  f4(q38) -> q48
  f8(q7) -> q34
  f19(q58) -> q32
  f7(q4) -> q33
  f6 -> q54
  f8(q50) -> q20
  f9(q38) -> q16
  f7(q21) -> q11
  f11(q54,q11) -> q63
  f19(q6) -> q28
  f2(q54) -> q27
  f4(q39) -> q48
  f3 -> q26
  f5(q27) -> q12
  f7(q3) -> q33
  f14 -> q59
  f15 -> q11
  f0(q8,q24) -> q12
  f16(q70,q30) -> q17
  f8(q14) -> q71
  f16(q41,q26) -> q36
  f0(q8,q25) -> q12
  f1 -> q15
  f11(q55,q10) -> q51
  f8(q31) -> q9
  f0(q7,q25) -> q12
  f16(q69,q71) -> q54
  f8(q26) -> q62
  f10(q0,q16) -> q62
  f16(q40,q26) -> q36
  f10(q9,q47) -> q54
  f10(q50,q7) -> q30
  f5(q36) -> q14
  f10(q62,q1) -> q7
  f7(q64) -> q33
  f11(q24,q41) -> q20
  f18(q13) -> q7
  f4(q35) -> q28
  f9(q61) -> q27
  f13(q24) -> q48
  f8(q27) -> q62
  f8(q32) -> q9
  f0(q12,q49) -> q67
  f10(q50,q8) -> q30
  f10(q9,q46) -> q54
  f1 -> q18
  f3 -> q68
  f8(q37) -> q10
  f9(q62) -> q27
  f7(q63) -> q33
  f11(q24,q40) -> q20
  f7(q2) -> q18
  f13(q25) -> q48
  f10(q32,q4) -> q44
  f2(q45) -> q50
  f6 -> q51
  f9(q65) -> q4
  f11(q15,q5) -> q46
  f18(q68) -> q69
  f0(q53,q23) -> q19
  f2(q32) -> q4
  f9(q66) -> q17
  f17(q29,q43) -> q0
  f9(q3) -> q15
  f13(q69) -> q50
  f1 -> q11
  f1 -> q10
  f3 -> q59
  f10(q32,q3) -> q44
  f14 -> q53
  f2(q44) -> q50
  f19(q48) -> q11
  f16(q41,q27) -> q36
  f5(q31) -> q34
  f18(q67) -> q69
  f10(q14,q43) -> q71
  f18(q52) -> q22
  f2(q31) -> q4
  f17(q23,q69) -> q57
  f16(q69,q70) -> q54
  f9(q65) -> q17
  f17(q29,q42) -> q0
  f0(q7,q24) -> q12
  f6 -> q33
  f10(q61,q0) -> q7
  f9(q4) -> q15
  f17(q67,q14) -> q69
  f16(q21,q2) -> q23
  f4(q34) -> q28
  f5(q32) -> q34
  f14 -> q45
  f8(q29) -> q34
  f2(q32) -> q57
  f17(q68,q14) -> q69
  f9(q11) -> q62
  f10(q62,q0) -> q7
  f11(q25,q41) -> q20
  f3 -> q43
  f16(q69,q36) -> q12
  f2(q5) -> q19
  f10(q14,q42) -> q71
  f1 -> q5
  f18(q15) -> q55
  f10(q1,q16) -> q62
  f13(q1) -> q28
  f13(q58) -> q5
  f3 -> q31
  f10(q61,q1) -> q7
  f16(q46,q17) -> q19
  f14 -> q26
  f16(q51,q65) -> q37
  f13(q56) -> q63
  f11(q25,q40) -> q20
  f1 -> q50
  f11(q15,q6) -> q46
  f6 -> q15
  f12 -> q33
  f8(q29) -> q17
  f6 -> q14
  f5(q33) -> q11
  f4(q48) -> q44
  f3 -> q6
  f11(q40,q14) -> q71
  f16(q40,q33) -> q48
  f6 -> q17
  f11(q21,q38) -> q57
  f16(q41,q33) -> q48
  f16(q71,q66) -> q11
  f3 -> q8
  f9(q58) -> q28
  f1 -> q49
  f0(q50,q47) -> q54
  f16(q52,q65) -> q37
  f11(q48,q11) -> q32
  f17(q64,q67) -> q14
  f13(q57) -> q63
  f7(q30) -> q16
  f14 -> q61
  f16(q70,q66) -> q11
  f8(q0) -> q57
  f16(q71,q65) -> q11
  f11(q21,q39) -> q57
  f17(q68,q2) -> q11
  f16(q70,q65) -> q11
  f19(q16) -> q13
  f16(q40,q27) -> q36
  f2(q6) -> q19
  f14 -> q52
  f6 -> q12
  f6 -> q13
  f18(q12) -> q55
  f1 -> q66
  f6 -> q32
  f10(q22,q14) -> q5
  f13(q0) -> q28
  f6 -> q7
  f6 -> q10
  f3 -> q24
  f16(q51,q66) -> q37
  f11(q23,q14) -> q13
  f6 -> q60
  f7(q4) -> q4
  f4(q64) -> q0
  f0(q21,q21) -> q13
  f17(q65,q67) -> q20
  f13(q14) -> q16
  f18(q16) -> q25
  f18(q8) -> q39
  f19(q7) -> q39
  f2(q30) -> q36
  f17(q66,q67) -> q20
  f1 -> q30
  f1 -> q37
  f0(q54,q9) -> q30
  f17(q63,q68) -> q14
  f5(q28) -> q27
  f4(q63) -> q0
  f18(q49) -> q0
  f17(q67,q2) -> q11
  f9(q58) -> q17
  f13(q0) -> q22
  f19(q28) -> q28
  f17(q65,q68) -> q20
  f15 -> q33
  f4(q37) -> q11
  f8(q51) -> q16
  f15 -> q34
  f19(q8) -> q39
  f1 -> q39
  f17(q66,q68) -> q20
  f18(q50) -> q18
  f17(q63,q67) -> q14
  f0(q60,q17) -> q4
  f2(q69) -> q2
  f0(q69,q12) -> q40
  f13(q1) -> q22
  f9(q17) -> q60
  f11(q25,q41) -> q25
  f16(q14,q35) -> q27
  f17(q57,q21) -> q34
  f16(q24,q25) -> q28
  f16(q43,q35) -> q29
  f16(q15,q64) -> q49
  f2(q46) -> q5
  f0(q59,q17) -> q4
  f3 -> q1
  f9(q47) -> q46
  f13(q21) -> q10
  f10(q49,q17) -> q46
  f19(q26) -> q20
  f8(q52) -> q16
  f17(q71,q15) -> q54
  f18(q13) -> q27
  f8(q13) -> q50
  f7(q3) -> q4
  f19(q13) -> q49
  f4(q11) -> q22
  f14 -> q24
  f11(q25,q40) -> q25
  f6 -> q2
  f16(q43,q34) -> q29
  f2(q47) -> q5
  f16(q15,q63) -> q49
  f16(q24,q24) -> q28
  f1 -> q12
  f9(q46) -> q46
  f9(q47) -> q58
  f7(q19) -> q67
  f0(q35,q34) -> q55
  f10(q58,q19) -> q22
  f19(q27) -> q20
  f13(q44) -> q37
  f18(q41) -> q32
  f15 -> q14
  f11(q37,q7) -> q9
  f7(q49) -> q23
  f6 -> q30
  f17(q31,q37) -> q33
  f4(q68) -> q0
  f19(q36) -> q63
  f12 -> q32
  f18(q65) -> q30
  f18(q13) -> q17
  f14 -> q8
  f8(q43) -> q57
  f9(q46) -> q58
  f10(q31,q3) -> q44
  f15 -> q16
  f1 -> q60
  f13(q45) -> q37
  f0(q53,q9) -> q30
  f11(q37,q8) -> q9
  f2(q31) -> q57
  f4(q67) -> q0
  f2(q41) -> q28
  f10(q19,q9) -> q21
  f13(q14) -> q60
  f10(q48,q49) -> q39
  f6 -> q39
  f12 -> q23
  f4(q28) -> q17
  f8(q42) -> q57
  f17(q64,q68) -> q14
  f10(q31,q4) -> q44
  f7(q53) -> q17
  f2(q40) -> q28
  f2(q27) -> q49
  f10(q22,q0) -> q9
  f5(q70) -> q2
  f13(q11) -> q37
  f0(q43,q31) -> q54
  f11(q37,q10) -> q27
  f9(q30) -> q0
  f16(q42,q35) -> q29
  f9(q66) -> q4
  f17(q20,q32) -> q33
  f11(q48,q62) -> q42
  f16(q29,q56) -> q54
  f7(q54) -> q17
  f10(q22,q1) -> q9
  f7(q49) -> q37
  f2(q26) -> q49
  f18(q66) -> q30
  f18(q40) -> q32
  f5(q71) -> q2
  f18(q7) -> q39
  f16(q42,q34) -> q29
  f0(q54,q23) -> q19
  f3 -> q38
  f17(q20,q31) -> q33
  f11(q48,q61) -> q42
  f16(q29,q57) -> q54
  f1 -> q69
  f11(q22,q34) -> q20
  f0(q36,q63) -> q55
  f3 -> q70
  f11(q58,q58) -> q39
  f16(q49,q40) -> q25
  f11(q30,q17) -> q48
  f2(q18) -> q66
  f5(q15) -> q22
  f11(q57,q8) -> q63
  f0(q19,q11) -> q44
  f10(q71,q21) -> q16
  f2(q53) -> q33
  f18(q0) -> q17
  f8(q56) -> q57
  f11(q22,q35) -> q20
  f18(q33) -> q16
  f9(q49) -> q14
  f5(q42) -> q55
  f15 -> q58
  f16(q49,q41) -> q25
  f7(q44) -> q15
  f10(q23,q55) -> q29
  f11(q17,q23) -> q36
  f0(q43,q32) -> q54
  f11(q16,q18) -> q44
  f17(q9,q53) -> q51
  f12 -> q48
  f2(q54) -> q33
  f17(q32,q37) -> q33
  f5(q50) -> q30
  f18(q1) -> q17
  f13(q3) -> q54
  f7(q13) -> q55
  f5(q43) -> q55
  f4(q50) -> q28
  f4(q29) -> q67
  f8(q46) -> q25
  f2(q20) -> q20
  f11(q24,q41) -> q25
  f11(q41,q14) -> q71
  f9(q13) -> q66
  f17(q7,q48) -> q37
  f3 -> q64
  f13(q16) -> q42
  f10(q33,q57) -> q63
  f15 -> q4
  f17(q9,q54) -> q51
  f13(q4) -> q54
  f5(q69) -> q44
  f19(q69) -> q32
  f0(q36,q64) -> q55
  f11(q37,q9) -> q12
  f4(q30) -> q60
  f11(q24,q40) -> q25
  f10(q33,q56) -> q63
  f7(q63) -> q67
  f11(q56,q7) -> q63
  f8(q57) -> q57
  f18(q37) -> q20
  f11(q57,q7) -> q63
  f13(q8) -> q30
  f11(q38,q69) -> q2
  f0(q34,q35) -> q55
  f7(q55) -> q67
  f0(q35,q35) -> q55
  f11(q39,q69) -> q2
  f19(q10) -> q23
  f18(q21) -> q69
  f2(q22) -> q10
  f8(q13) -> q25
  f3 -> q47
  f8(q20) -> q27
  f1 -> q0
  f3 -> q56
  f17(q38,q50) -> q50
  f13(q7) -> q30
  f0(q42,q32) -> q54
  f8(q47) -> q25
  f17(q39,q50) -> q50
  f7(q23) -> q23
  f16(q14,q34) -> q27
  f0(q22,q30) -> q54
  f14 -> q65
  f14 -> q41
  f10(q69,q20) -> q46
  f7(q21) -> q32
  f16(q12,q20) -> q71
  f1 -> q71
  f7(q45) -> q15
  f16(q25,q25) -> q28
  f19(q33) -> q4
  f17(q62,q14) -> q15
  f10(q14,q34) -> q49
  f5(q48) -> q7
  f16(q16,q52) -> q37
  f2(q61) -> q51
  f1 -> q44
  f15 -> q40
  f0(q42,q31) -> q54
  f13(q37) -> q28
  f9(q69) -> q46
  f8(q23) -> q58
  f4(q27) -> q58
  f8(q39) -> q0
  f5(q52) -> q12
  f13(q13) -> q13
  f15 -> q42
  f7(q9) -> q40
  f17(q70,q15) -> q54
  f12 -> q57
  f11(q19,q14) -> q39
  f16(q25,q24) -> q28
  f0(q34,q34) -> q55
  f10(q14,q35) -> q49
  f2(q62) -> q51
  f1 -> q55
  f16(q16,q51) -> q37
  f17(q56,q21) -> q34
  f8(q38) -> q0
  f4(q26) -> q58
  f14 -> q3
  f5(q51) -> q12
  f11(q29,q28) -> q17

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
  f15 -> q25
  f9(q33) -> q15
  f8(q17) -> q11
  f17(q16,q45) -> q44
  f11(q23,q42) -> q16
  f10(q36,q12) -> q4
  f6 -> q5
  f3 -> q40
  f11(q43,q11) -> q44
  f11(q45,q42) -> q2
  f19(q29) -> q28
  f0(q7,q22) -> q41
  f19(q3) -> q38
  f9(q49) -> q16
  f12 -> q11
  f18(q47) -> q22
  f8(q22) -> q28
  f18(q49) -> q9
  f18(q45) -> q35
  f16(q9,q1) -> q10
  f19(q12) -> q30
  f15 -> q43
  f17(q34,q6) -> q2
  f4(q2) -> q46
  f2(q4) -> q46
  f7(q39) -> q24
  f7(q3) -> q16
  f12 -> q24
  f1 -> q36
  f10(q4,q22) -> q42
  f5(q26) -> q31
  f13(q1) -> q48
  f0(q23,q17) -> q28
  f10(q29,q49) -> q27
  f11(q12,q26) -> q23
  f17(q5,q6) -> q33
  f17(q7,q24) -> q18
  f15 -> q7
  f14 -> q29
  f11(q38,q43) -> q49
  f18(q28) -> q40
  f14 -> q37
  f0(q45,q2) -> q18
  f0(q25,q37) -> q6
  f5(q47) -> q41
  f4(q28) -> q20
  f14 -> q42
  f12 -> q19
  f17(q35,q49) -> q10
  f8(q31) -> q1
  f1 -> q21
  f4(q10) -> q20
  f17(q17,q31) -> q47
  f16(q49,q45) -> q31
  f18(q14) -> q23
  f17(q35,q34) -> q37
  f19(q15) -> q9
  f1 -> q34
  f5(q6) -> q48
  f2(q32) -> q36
  f17(q27,q7) -> q16
  f8(q48) -> q46
  f5(q17) -> q15
  f4(q24) -> q28
  f7(q4) -> q8
  f19(q32) -> q36
  f17(q34,q46) -> q37
  f1 -> q9
  f10(q11,q42) -> q24
  f8(q25) -> q31
  f18(q16) -> q49
  f18(q47) -> q28
  f9(q2) -> q9
  f18(q27) -> q44
  f6 -> q4
  f7(q9) -> q14
  f5(q26) -> q33
  f6 -> q2
  f17(q10,q2) -> q41
  f17(q42,q21) -> q37
  f11(q35,q27) -> q44
  f13(q4) -> q28
  f11(q46,q37) -> q19
  f2(q47) -> q29
  f5(q20) -> q3
  f16(q9,q23) -> q27
  f0(q0,q8) -> q37
  f8(q38) -> q20
  f5(q41) -> q20
  f14 -> q19
  f14 -> q16
  f11(q35,q28) -> q47
  f14 -> q6
  f0(q0,q6) -> q12
  f12 -> q32
  f10(q12,q4) -> q33
  f12 -> q43
  f16(q37,q22) -> q39
  f6 -> q44
  f9(q13) -> q37
  f12 -> q41
  f19(q22) -> q24
  f14 -> q8
  f19(q39) -> q45
  f11(q25,q27) -> q1
  f16(q11,q35) -> q5
  f17(q24,q27) -> q19
  f0(q25,q32) -> q24
  f2(q37) -> q39
  f14 -> q28
  f0(q45,q44) -> q38
  f16(q1,q39) -> q32
  f19(q39) -> q8
  f19(q21) -> q1
  f7(q17) -> q24
  f13(q7) -> q36
  f8(q37) -> q15
  f6 -> q39
  f8(q49) -> q41
  f8(q36) -> q20
  f12 -> q23
  f2(q10) -> q39
  f16(q24,q10) -> q6
  f9(q3) -> q43
  f0(q3,q37) -> q2
  f1 -> q25
  f7(q22) -> q49
  f5(q43) -> q16
  f16(q25,q19) -> q47
  f2(q11) -> q14
  f13(q0) -> q14
  f0(q43,q46) -> q3
  f12 -> q6
  f12 -> q5
  f13(q5) -> q13
  f4(q29) -> q19
  f19(q44) -> q29
  f10(q2,q6) -> q48
  f12 -> q18
  f14 -> q12
  f1 -> q20
  f1 -> q33
  f11(q48,q46) -> q31
  f12 -> q8
  f10(q2,q12) -> q16
  f18(q40) -> q12
  f13(q21) -> q35
  f3 -> q2
  f4(q40) -> q11
  f9(q22) -> q14
  f15 -> q13
  f17(q45,q0) -> q1
  f18(q0) -> q31
  f15 -> q19
  f16(q6,q41) -> q28
  f2(q20) -> q32
  f8(q35) -> q46
  f6 -> q3
  f13(q42) -> q41
  f8(q21) -> q8
  f2(q8) -> q44
  f3 -> q30
  f8(q42) -> q21
  f11(q19,q3) -> q43
  f9(q32) -> q41
  f0(q47,q19) -> q25
  f10(q7,q44) -> q16
  f5(q7) -> q18
  f16(q2,q48) -> q2
  f15 -> q21
  f3 -> q38
  f6 -> q34
  f9(q16) -> q30
  f18(q23) -> q36
  f18(q21) -> q31
  f6 -> q23
  f5(q42) -> q6
  f11(q21,q17) -> q34
  f11(q40,q34) -> q1
  f10(q30,q15) -> q45
  f5(q23) -> q14
  f11(q8,q46) -> q15
  f0(q3,q6) -> q8
  f9(q49) -> q17
  f10(q44,q21) -> q43
  f7(q7) -> q46
  f5(q14) -> q4
  f3 -> q11
  f15 -> q45
  f12 -> q13
  f8(q47) -> q33
  f5(q40) -> q0
  f4(q4) -> q33
  f13(q7) -> q17
  f19(q10) -> q46
  f13(q21) -> q39
  f19(q15) -> q12
  f5(q22) -> q14
  f16(q27,q31) -> q7
  f9(q48) -> q36
  f10(q8,q48) -> q24
  f13(q42) -> q31
  f15 -> q5
  f4(q43) -> q2
  f6 -> q47
  f16(q25,q15) -> q11
  f12 -> q48
  f18(q37) -> q30
  f5(q19) -> q31
  f5(q12) -> q43
  f4(q35) -> q5
  f10(q15,q24) -> q37
  f11(q37,q16) -> q34
  f10(q11,q1) -> q41
  f11(q13,q16) -> q7
  f6 -> q35
  f5(q38) -> q6
  f0(q10,q32) -> q29
  f5(q4) -> q22
  f8(q29) -> q30
  f18(q21) -> q26
  f9(q33) -> q35
  f10(q29,q2) -> q31
  f11(q23,q49) -> q27
  f9(q47) -> q17
  f10(q43,q20) -> q35
  f11(q11,q17) -> q22
  f9(q1) -> q30
  f10(q25,q35) -> q5
  f10(q31,q45) -> q32
  f8(q0) -> q28
  f13(q26) -> q27
  f1 -> q6
  f18(q22) -> q25
  f11(q37,q42) -> q16
  f0(q35,q28) -> q36
  f4(q49) -> q16
  f0(q33,q43) -> q44
  f5(q6) -> q11
  f0(q13,q12) -> q23
  f12 -> q39
  f17(q17,q14) -> q8
  f9(q30) -> q17
  f19(q23) -> q9
  f2(q30) -> q11
  f8(q38) -> q46
  f9(q19) -> q42
  f14 -> q4
  f17(q3,q11) -> q25
  f9(q48) -> q31
  f14 -> q45
  f19(q1) -> q48
  f5(q48) -> q30
  f16(q40,q1) -> q1
  f0(q14,q47) -> q2
  f16(q2,q49) -> q5
  f17(q39,q6) -> q15
  f0(q7,q1) -> q46
  f5(q11) -> q44
  f15 -> q46
  f0(q46,q32) -> q32
  f3 -> q45
  f5(q45) -> q4
  f6 -> q20
  f19(q18) -> q12
  f11(q40,q12) -> q19
  f7(q12) -> q46
  f2(q8) -> q0
  f7(q17) -> q13
  f19(q18) -> q14
  f2(q3) -> q6
  f6 -> q18
  f19(q44) -> q44
  f7(q45) -> q24
  f6 -> q24
  f9(q40) -> q39
  f7(q17) -> q12
  f3 -> q41
  f2(q2) -> q45
  f13(q22) -> q38
  f0(q8,q29) -> q18
  f1 -> q0
  f13(q44) -> q21
  f4(q25) -> q35
  f8(q22) -> q39
  f5(q41) -> q27
  f9(q20) -> q36
  f12 -> q33
  f8(q26) -> q40
  f14 -> q30
  f6 -> q28
  f3 -> q35
  f11(q12,q10) -> q19
  f18(q26) -> q30
  f19(q0) -> q40
  f3 -> q8
  f1 -> q49
  f9(q33) -> q26
  f8(q15) -> q10
  f1 -> q48
  f0(q39,q9) -> q21
  f16(q32,q8) -> q13
  f18(q37) -> q17
  f2(q38) -> q4
  f7(q16) -> q12
  f7(q28) -> q25
  f2(q16) -> q33
  f11(q5,q41) -> q47
  f4(q14) -> q44
  f19(q49) -> q9
  f11(q42,q10) -> q17
  f4(q2) -> q9
  f0(q3,q45) -> q22
  f1 -> q35
  f1 -> q40
  f17(q10,q42) -> q1
  f1 -> q31
  f1 -> q41
  f16(q26,q23) -> q44
  f19(q13) -> q39
  f0(q34,q34) -> q49
  f13(q49) -> q44
  f18(q18) -> q24
  f8(q23) -> q36
  f11(q26,q1) -> q11
  f10(q26,q36) -> q46
  f6 -> q1
  f10(q41,q27) -> q24
  f7(q25) -> q42
  f18(q20) -> q10
  f19(q7) -> q17
  f6 -> q13
  f18(q14) -> q41
  f0(q47,q2) -> q33
  f19(q44) -> q39
  f0(q8,q39) -> q41
  f5(q32) -> q5
  f12 -> q30
  f0(q9,q36) -> q34
  f0(q48,q22) -> q9
  f6 -> q6
  f3 -> q18
  f14 -> q48
  f6 -> q10
  f4(q28) -> q44
  f17(q23,q11) -> q49
  f10(q27,q29) -> q21

