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 q72 q69 q70 q67 q68 q65 q66 q79 q80 q77 q78 q75 q76 q73 q74 q88 q87 q86 q85 q84 q83 q82 q81 q96 q95 q94 q93 q92 q91 q90 q89 q98 q97 

Final States q71 q68 

Transitions
  f5(q56) -> q19
  f5(q87) -> q18
  f7(q1) -> q8
  f11(q66,q84) -> q4
  f9(q43) -> q10
  f11(q57,q10) -> q96
  f5(q13) -> q26
  f11(q78,q52) -> q84
  f5(q75) -> q26
  f18(q62) -> q26
  f12 -> q11
  f3 -> q97
  f7(q89) -> q21
  f4(q82) -> q1
  f17(q55,q36) -> q27
  f9(q14) -> q91
  f1 -> q24
  f15 -> q37
  f1 -> q87
  f11(q27,q56) -> q19
  f5(q47) -> q72
  f11(q45,q15) -> q83
  f19(q57) -> q60
  f4(q75) -> q70
  f3 -> q44
  f4(q73) -> q25
  f11(q37,q68) -> q75
  f14 -> q43
  f10(q13,q4) -> q68
  f6 -> q49
  f15 -> q74
  f10(q35,q21) -> q33
  f10(q18,q83) -> q38
  f19(q85) -> q58
  f5(q57) -> q74
  f7(q92) -> q92
  f8(q74) -> q87
  f9(q5) -> q41
  f12 -> q70
  f14 -> q82
  f18(q27) -> q65
  f16(q69,q43) -> q30
  f18(q3) -> q97
  f4(q59) -> q12
  f14 -> q55
  f8(q54) -> q19
  f11(q13,q60) -> q29
  f6 -> q95
  f0(q91,q14) -> q92
  f1 -> q8
  f7(q70) -> q70
  f11(q85,q43) -> q51
  f0(q79,q51) -> q46
  f15 -> q51
  f14 -> q19
  f10(q4,q33) -> q39
  f3 -> q96
  f6 -> q88
  f9(q40) -> q72
  f12 -> q12
  f8(q7) -> q88
  f2(q5) -> q42
  f11(q90,q64) -> q85
  f9(q35) -> q60
  f2(q39) -> q24
  f12 -> q41
  f0(q89,q70) -> q13
  f19(q58) -> q16
  f17(q34,q32) -> q1
  f12 -> q36
  f10(q49,q16) -> q45
  f4(q27) -> q6
  f14 -> q28
  f17(q95,q97) -> q65
  f2(q89) -> q19
  f6 -> q81
  f10(q50,q54) -> q0
  f6 -> q70
  f16(q88,q40) -> q27
  f0(q64,q94) -> q83
  f8(q79) -> q18
  f11(q11,q52) -> q33
  f9(q90) -> q21
  f11(q23,q14) -> q85
  f11(q38,q45) -> q69
  f8(q9) -> q71
  f13(q6) -> q27
  f2(q7) -> q95
  f8(q94) -> q53
  f12 -> q98
  f0(q16,q68) -> q9
  f2(q74) -> q17
  f9(q29) -> q45
  f17(q38,q68) -> q77
  f5(q31) -> q86
  f0(q92,q89) -> q39
  f16(q11,q46) -> q35
  f15 -> q60
  f16(q49,q40) -> q94
  f13(q84) -> q74
  f0(q48,q81) -> q57
  f2(q65) -> q65
  f2(q49) -> q97
  f9(q92) -> q47
  f8(q3) -> q49
  f5(q49) -> q0
  f9(q41) -> q73
  f17(q63,q10) -> q11
  f19(q78) -> q82
  f18(q80) -> q75
  f7(q74) -> q69
  f19(q48) -> q75
  f5(q19) -> q81
  f4(q65) -> q30
  f5(q97) -> q37
  f18(q76) -> q1
  f6 -> q25
  f7(q64) -> q31
  f3 -> q42
  f17(q42,q92) -> q94
  f1 -> q15
  f19(q32) -> q68
  f0(q9,q65) -> q3
  f9(q95) -> q21
  f13(q66) -> q59
  f1 -> q86
  f10(q70,q90) -> q40
  f1 -> q81
  f10(q72,q1) -> q4
  f16(q80,q25) -> q85
  f5(q78) -> q60
  f12 -> q13
  f16(q68,q30) -> q70
  f0(q58,q35) -> q97
  f13(q92) -> q39
  f18(q15) -> q74
  f1 -> q77
  f12 -> q44
  f8(q34) -> q14
  f6 -> q29
  f10(q69,q12) -> q34
  f10(q60,q26) -> q86
  f7(q74) -> q66
  f17(q29,q87) -> q20
  f4(q67) -> q21
  f18(q81) -> q37
  f13(q48) -> q87
  f10(q90,q56) -> q28
  f9(q33) -> q33
  f7(q16) -> q75
  f18(q11) -> q37
  f1 -> q11
  f7(q55) -> q61
  f8(q27) -> q56
  f1 -> q6
  f2(q91) -> q71
  f0(q3,q21) -> q90
  f13(q16) -> q93
  f2(q68) -> q21
  f18(q55) -> q8
  f13(q66) -> q67
  f9(q84) -> q72
  f3 -> q50
  f19(q67) -> q73
  f5(q24) -> q94
  f2(q94) -> q5
  f8(q69) -> q41
  f5(q97) -> q25
  f19(q42) -> q73
  f1 -> q4
  f6 -> q21
  f0(q78,q46) -> q37
  f0(q77,q77) -> q37
  f5(q32) -> q12
  f19(q55) -> q29
  f19(q23) -> q22
  f2(q25) -> q89
  f13(q53) -> q27
  f17(q44,q66) -> q24
  f14 -> q26
  f9(q28) -> q13
  f12 -> q33
  f6 -> q14
  f11(q21,q69) -> q78
  f13(q45) -> q97
  f0(q72,q74) -> q39
  f18(q50) -> q14
  f3 -> q8
  f1 -> q49
  f1 -> q23
  f5(q90) -> q44
  f16(q98,q96) -> q39
  f11(q72,q26) -> q65
  f0(q72,q90) -> q68
  f7(q88) -> q92
  f8(q8) -> q50
  f1 -> q98
  f19(q39) -> q79
  f8(q50) -> q79
  f19(q9) -> q86
  f3 -> q5
  f1 -> q42
  f11(q89,q6) -> q82
  f10(q59,q69) -> q26
  f3 -> q28
  f4(q76) -> q41
  f18(q16) -> q48
  f14 -> q38
  f12 -> q25
  f1 -> q40
  f6 -> q9
  f13(q10) -> q61
  f7(q0) -> q7
  f15 -> q61
  f11(q78,q94) -> q50
  f3 -> q51
  f0(q73,q58) -> q61
  f1 -> q66
  f1 -> q93
  f8(q36) -> q27
  f10(q29,q84) -> q97
  f6 -> q11
  f13(q76) -> q82
  f18(q20) -> q7
  f4(q27) -> q85
  f9(q87) -> q26
  f10(q92,q7) -> q5
  f6 -> q60
  f1 -> q94
  f15 -> q25
  f18(q95) -> q74
  f9(q25) -> q27
  f16(q81,q18) -> q36
  f11(q21,q76) -> q12
  f18(q7) -> q96
  f18(q35) -> q50
  f18(q97) -> q48
  f10(q69,q21) -> q20
  f13(q71) -> q36
  f0(q87,q33) -> q89
  f15 -> q23
  f8(q19) -> q63
  f10(q24,q38) -> q46
  f8(q59) -> q17
  f11(q8,q48) -> q0
  f2(q57) -> q67
  f2(q18) -> q93
  f16(q35,q26) -> q80
  f5(q84) -> q63
  f11(q37,q93) -> q88
  f16(q60,q77) -> q19
  f4(q31) -> q1
  f11(q78,q90) -> q12
  f8(q60) -> q96
  f9(q89) -> q97
  f4(q29) -> q36
  f8(q55) -> q26
  f3 -> q3
  f7(q53) -> q47
  f7(q19) -> q63
  f16(q81,q54) -> q49
  f1 -> q52
  f16(q58,q84) -> q73
  f10(q66,q90) -> q93
  f2(q89) -> q66
  f6 -> q0
  f7(q16) -> q94
  f18(q61) -> q3
  f17(q54,q75) -> q24
  f6 -> q93
  f8(q33) -> q3
  f5(q79) -> q93
  f11(q69,q10) -> q9
  f18(q95) -> q43
  f11(q1,q35) -> q84
  f1 -> q12
  f1 -> q83
  f1 -> q56
  f10(q85,q86) -> q29
  f7(q45) -> q30
  f18(q7) -> q95
  f12 -> q31
  f6 -> q30
  f7(q9) -> q12
  f5(q76) -> q52
  f17(q4,q89) -> q88
  f5(q87) -> q23
  f1 -> q1
  f7(q41) -> q92
  f13(q41) -> q42
  f3 -> q82
  f10(q98,q65) -> q33
  f15 -> q6
  f6 -> q75
  f7(q59) -> q80
  f10(q1,q45) -> q63
  f16(q48,q17) -> q58
  f7(q92) -> q25
  f16(q69,q20) -> q69
  f17(q49,q11) -> q39
  f19(q57) -> q13
  f6 -> q39
  f9(q23) -> q97
  f18(q88) -> q18
  f4(q20) -> q67
  f4(q74) -> q91
  f18(q62) -> q84
  f11(q36,q6) -> q75
  f2(q48) -> q30
  f7(q12) -> q31
  f2(q42) -> q13
  f12 -> q5
  f6 -> q83
  f7(q23) -> q61
  f3 -> q74
  f17(q97,q60) -> q48
  f3 -> q76
  f5(q88) -> q58
  f1 -> q91
  f17(q97,q0) -> q6
  f16(q72,q49) -> q65
  f3 -> q29
  f7(q81) -> q22
  f18(q22) -> q36
  f13(q45) -> q32
  f7(q82) -> q31
  f13(q9) -> q54
  f2(q63) -> q88
  f10(q44,q92) -> q53
  f3 -> q38
  f16(q22,q38) -> q89
  f9(q66) -> q93
  f15 -> q9
  f6 -> q56
  f18(q62) -> q14
  f2(q44) -> q2
  f19(q55) -> q87
  f17(q59,q47) -> q37
  f3 -> q46
  f7(q1) -> q45
  f4(q77) -> q73
  f16(q51,q77) -> q34
  f19(q25) -> q92
  f14 -> q80
  f14 -> q56
  f7(q2) -> q80
  f8(q32) -> q79
  f6 -> q55
  f15 -> q92
  f8(q28) -> q61
  f5(q14) -> q8
  f11(q34,q73) -> q14
  f6 -> q74
  f11(q41,q90) -> q29
  f5(q22) -> q10
  f10(q18,q60) -> q52
  f6 -> q47
  f9(q72) -> q10
  f16(q21,q97) -> q96
  f17(q79,q71) -> q84
  f5(q36) -> q84
  f10(q20,q55) -> q23
  f14 -> q95
  f8(q87) -> q65
  f19(q76) -> q65
  f11(q3,q57) -> q3
  f11(q68,q8) -> q79
  f17(q54,q42) -> q94
  f11(q27,q59) -> q81
  f10(q10,q51) -> q49
  f11(q90,q73) -> q37
  f17(q46,q31) -> q10
  f4(q36) -> q53
  f18(q25) -> q45
  f11(q71,q80) -> q65
  f2(q15) -> q4
  f16(q86,q57) -> q3
  f16(q61,q88) -> q27
  f14 -> q2
  f0(q84,q3) -> q58
  f7(q38) -> q81
  f16(q71,q3) -> q73
  f17(q69,q48) -> q38
  f14 -> q91
  f14 -> q4
  f9(q40) -> q2
  f5(q73) -> q76
  f19(q90) -> q75
  f2(q53) -> q20
  f9(q48) -> q5
  f5(q41) -> q76
  f8(q62) -> q87
  f10(q59,q43) -> q86
  f7(q86) -> q66
  f5(q85) -> q34
  f19(q85) -> q94
  f10(q41,q13) -> q18
  f12 -> q85
  f8(q34) -> q77
  f7(q95) -> q90
  f19(q32) -> q32
  f12 -> q82
  f9(q9) -> q40
  f4(q6) -> q72
  f5(q19) -> q22
  f5(q29) -> q51
  f0(q32,q75) -> q39
  f14 -> q39
  f13(q50) -> q67
  f18(q24) -> q73
  f3 -> q55
  f17(q34,q89) -> q35
  f12 -> q87
  f13(q64) -> q35
  f9(q6) -> q63
  f16(q57,q76) -> q17
  f12 -> q89
  f8(q38) -> q38
  f9(q63) -> q76
  f10(q43,q50) -> q55
  f0(q39,q4) -> q23
  f11(q64,q55) -> q29
  f15 -> q77
  f15 -> q57
  f7(q10) -> q47
  f3 -> q54
  f2(q76) -> q35
  f7(q35) -> q70
  f19(q61) -> q62
  f12 -> q74
  f8(q44) -> q4
  f12 -> q79
  f19(q56) -> q70
  f13(q12) -> q17
  f12 -> q78
  f7(q82) -> q24
  f18(q62) -> q19
  f16(q96,q23) -> q14
  f16(q5,q14) -> q64
  f8(q76) -> q5
  f9(q23) -> q50
  f2(q75) -> q79
  f13(q9) -> q9
  f15 -> q41
  f14 -> q83
  f19(q43) -> q58
  f5(q98) -> q83
  f11(q38,q84) -> q82
  f9(q19) -> q22
  f13(q1) -> q72
  f13(q38) -> q46
  f12 -> q65
  f18(q94) -> q18
  f11(q94,q40) -> q42
  f8(q10) -> q29
  f14 -> q3
  f13(q61) -> q77
  f4(q22) -> q31

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 q54 q53 q56 q55 q50 q49 q52 q51 q62 q61 q64 q63 q58 q57 q60 q59 q71 q72 q69 q70 q67 q68 q65 q66 q79 q80 q77 q78 q75 q76 q73 q74 q88 q87 q86 q85 q84 q83 q82 q81 q96 q95 q94 q93 q92 q91 q90 q89 q98 q97 

Final States q3 q0 

Transitions
  f2(q27) -> q75
  f0(q79,q22) -> q55
  f11(q48,q82) -> q51
  f9(q67) -> q23
  f5(q74) -> q33
  f17(q83,q6) -> q59
  f0(q57,q6) -> q4
  f3 -> q40
  f18(q91) -> q78
  f8(q84) -> q20
  f16(q64,q10) -> q60
  f12 -> q51
  f5(q97) -> q58
  f15 -> q43
  f12 -> q58
  f5(q90) -> q19
  f9(q89) -> q48
  f8(q1) -> q94
  f16(q72,q8) -> q70
  f11(q42,q56) -> q17
  f1 -> q87
  f17(q64,q67) -> q64
  f13(q1) -> q48
  f4(q72) -> q46
  f15 -> q36
  f12 -> q60
  f7(q67) -> q62
  f8(q90) -> q92
  f17(q56,q42) -> q1
  f0(q12,q80) -> q15
  f5(q67) -> q59
  f2(q11) -> q71
  f13(q0) -> q71
  f14 -> q37
  f4(q17) -> q89
  f0(q45,q2) -> q18
  f3 -> q17
  f11(q38,q55) -> q7
  f18(q26) -> q87
  f5(q19) -> q73
  f10(q59,q64) -> q37
  f17(q17,q14) -> q51
  f5(q47) -> q89
  f2(q9) -> q48
  f10(q11,q27) -> q67
  f10(q11,q88) -> q64
  f14 -> q51
  f1 -> q9
  f16(q75,q15) -> q11
  f10(q51,q48) -> q64
  f6 -> q95
  f6 -> q96
  f11(q85,q42) -> q58
  f12 -> q72
  f5(q20) -> q3
  f13(q1) -> q64
  f14 -> q19
  f3 -> q96
  f10(q61,q7) -> q93
  f14 -> q68
  f1 -> q80
  f14 -> q18
  f6 -> q65
  f12 -> q63
  f6 -> q44
  f19(q22) -> q24
  f12 -> q41
  f16(q51,q54) -> q51
  f18(q26) -> q7
  f3 -> q34
  f5(q11) -> q65
  f14 -> q28
  f13(q7) -> q36
  f13(q87) -> q65
  f15 -> q68
  f6 -> q79
  f5(q18) -> q28
  f5(q65) -> q61
  f8(q69) -> q67
  f8(q95) -> q46
  f9(q4) -> q57
  f10(q56,q37) -> q94
  f11(q52,q40) -> q82
  f16(q25,q69) -> q91
  f9(q21) -> q6
  f19(q54) -> q38
  f6 -> q61
  f11(q63,q17) -> q22
  f1 -> q95
  f19(q44) -> q29
  f17(q82,q98) -> q23
  f1 -> q33
  f7(q63) -> q54
  f8(q30) -> q47
  f6 -> q50
  f8(q89) -> q74
  f4(q0) -> q77
  f2(q8) -> q96
  f13(q5) -> q70
  f19(q59) -> q9
  f17(q17,q73) -> q47
  f16(q23,q74) -> q41
  f15 -> q19
  f16(q64,q5) -> q55
  f15 -> q63
  f5(q15) -> q0
  f11(q97,q22) -> q60
  f13(q30) -> q46
  f11(q72,q93) -> q5
  f4(q55) -> q12
  f14 -> q60
  f15 -> q21
  f19(q47) -> q21
  f15 -> q1
  f6 -> q34
  f14 -> q59
  f0(q48,q27) -> q36
  f2(q71) -> q93
  f19(q50) -> q48
  f9(q95) -> q15
  f19(q11) -> q73
  f6 -> q23
  f11(q65,q5) -> q73
  f10(q43,q68) -> q35
  f7(q38) -> q6
  f9(q95) -> q16
  f19(q15) -> q62
  f17(q23,q63) -> q98
  f11(q53,q25) -> q97
  f11(q8,q46) -> q15
  f16(q37,q38) -> q52
  f10(q26,q94) -> q46
  f11(q11,q41) -> q33
  f15 -> q45
  f3 -> q66
  f10(q9,q85) -> q14
  f12 -> q0
  f1 -> q90
  f19(q10) -> q46
  f5(q4) -> q32
  f5(q87) -> q75
  f5(q70) -> q48
  f17(q97,q83) -> q92
  f11(q95,q27) -> q96
  f17(q66,q54) -> q53
  f4(q17) -> q44
  f13(q47) -> q44
  f1 -> q89
  f9(q48) -> q36
  f18(q14) -> q56
  f12 -> q44
  f16(q33,q0) -> q11
  f13(q21) -> q83
  f0(q13,q62) -> q23
  f7(q52) -> q92
  f18(q54) -> q9
  f17(q42,q63) -> q64
  f8(q29) -> q30
  f1 -> q6
  f19(q74) -> q13
  f2(q97) -> q30
  f0(q35,q28) -> q36
  f3 -> q90
  f7(q84) -> q91
  f0(q91,q69) -> q75
  f8(q73) -> q50
  f9(q81) -> q35
  f14 -> q44
  f5(q18) -> q84
  f9(q69) -> q42
  f3 -> q12
  f17(q21,q1) -> q73
  f16(q9,q65) -> q77
  f12 -> q61
  f19(q92) -> q48
  f1 -> q5
  f19(q86) -> q28
  f2(q55) -> q92
  f15 -> q70
  f6 -> q68
  f16(q3,q84) -> q70
  f4(q2) -> q57
  f6 -> q18
  f9(q47) -> q61
  f6 -> q67
  f18(q79) -> q26
  f6 -> q24
  f17(q38,q28) -> q82
  f7(q3) -> q58
  f3 -> q41
  f18(q82) -> q62
  f16(q82,q1) -> q1
  f17(q56,q2) -> q41
  f10(q73,q45) -> q32
  f0(q80,q80) -> q98
  f16(q1,q83) -> q72
  f0(q39,q9) -> q21
  f18(q70) -> q73
  f4(q26) -> q62
  f14 -> q69
  f8(q54) -> q93
  f2(q38) -> q4
  f15 -> q52
  f4(q98) -> q16
  f3 -> q14
  f8(q27) -> q25
  f2(q59) -> q44
  f1 -> q98
  f8(q95) -> q28
  f14 -> q62
  f16(q48,q28) -> q66
  f4(q64) -> q28
  f5(q20) -> q88
  f19(q75) -> q83
  f16(q31,q0) -> q65
  f1 -> q40
  f1 -> q41
  f5(q60) -> q90
  f15 -> q54
  f11(q39,q50) -> q79
  f13(q81) -> q37
  f19(q12) -> q87
  f8(q59) -> q10
  f14 -> q52
  f10(q41,q27) -> q24
  f0(q51,q83) -> q41
  f0(q65,q17) -> q28
  f12 -> q30
  f0(q9,q36) -> q34
  f4(q85) -> q69
  f6 -> q6
  f2(q56) -> q83
  f0(q8,q86) -> q18
  f6 -> q7
  f6 -> q10
  f13(q18) -> q85
  f17(q88,q21) -> q85
  f19(q13) -> q83
  f19(q40) -> q74
  f0(q53,q8) -> q85
  f1 -> q94
  f9(q81) -> q59
  f11(q46,q85) -> q69
  f11(q97,q11) -> q96
  f16(q63,q95) -> q5
  f3 -> q93
  f10(q43,q6) -> q43
  f7(q33) -> q81
  f17(q35,q54) -> q56
  f7(q83) -> q64
  f3 -> q91
  f5(q84) -> q6
  f19(q96) -> q39
  f8(q84) -> q46
  f17(q20,q0) -> q50
  f9(q58) -> q89
  f13(q85) -> q88
  f15 -> q31
  f7(q1) -> q82
  f13(q9) -> q46
  f9(q98) -> q73
  f2(q87) -> q63
  f2(q27) -> q55
  f9(q62) -> q88
  f7(q55) -> q8
  f0(q52,q78) -> q41
  f19(q62) -> q13
  f15 -> q34
  f0(q66,q17) -> q6
  f19(q72) -> q46
  f4(q2) -> q92
  f7(q19) -> q63
  f11(q23,q88) -> q58
  f11(q61,q59) -> q69
  f1 -> q21
  f5(q82) -> q53
  f4(q72) -> q18
  f4(q1) -> q97
  f18(q8) -> q65
  f7(q92) -> q87
  f17(q16,q93) -> q44
  f17(q27,q7) -> q16
  f0(q91,q49) -> q81
  f10(q77,q4) -> q8
  f19(q32) -> q36
  f0(q12,q34) -> q7
  f0(q2,q26) -> q16
  f0(q52,q83) -> q25
  f17(q28,q8) -> q13
  f0(q84,q69) -> q53
  f0(q32,q13) -> q71
  f17(q52,q24) -> q66
  f9(q23) -> q71
  f13(q4) -> q76
  f10(q64,q39) -> q0
  f6 -> q4
  f2(q49) -> q45
  f18(q53) -> q73
  f19(q64) -> q36
  f16(q74,q65) -> q96
  f19(q68) -> q57
  f4(q79) -> q35
  f1 -> q3
  f4(q55) -> q33
  f14 -> q16
  f11(q35,q28) -> q47
  f15 -> q14
  f1 -> q74
  f7(q17) -> q64
  f13(q9) -> q39
  f11(q28,q93) -> q31
  f19(q33) -> q31
  f11(q70,q58) -> q52
  f19(q39) -> q45
  f3 -> q92
  f17(q63,q81) -> q78
  f2(q3) -> q36
  f8(q74) -> q82
  f0(q7,q1) -> q92
  f17(q64,q27) -> q19
  f13(q65) -> q2
  f18(q45) -> q95
  f15 -> q6
  f12 -> q94
  f14 -> q14
  f8(q98) -> q89
  f9(q42) -> q53
  f19(q66) -> q62
  f10(q52,q96) -> q16
  f8(q36) -> q20
  f0(q66,q83) -> q4
  f4(q50) -> q36
  f12 -> q23
  f0(q48,q78) -> q9
  f9(q54) -> q16
  f6 -> q77
  f18(q37) -> q67
  f3 -> q75
  f8(q88) -> q79
  f2(q28) -> q7
  f0(q43,q46) -> q3
  f11(q38,q97) -> q54
  f16(q29,q96) -> q44
  f6 -> q83
  f4(q76) -> q20
  f0(q75,q72) -> q64
  f11(q48,q46) -> q31
  f9(q13) -> q85
  f7(q90) -> q72
  f7(q77) -> q83
  f9(q47) -> q67
  f4(q40) -> q11
  f3 -> q2
  f12 -> q7
  f6 -> q3
  f7(q76) -> q75
  f3 -> q30
  f8(q21) -> q61
  f5(q71) -> q4
  f4(q83) -> q50
  f11(q74,q94) -> q87
  f12 -> q97
  f10(q90,q49) -> q82
  f11(q5,q89) -> q91
  f5(q42) -> q6
  f0(q3,q93) -> q78
  f6 -> q56
  f17(q3,q11) -> q75
  f2(q47) -> q15
  f17(q34,q60) -> q2
  f6 -> q55
  f15 -> q92
  f2(q62) -> q57
  f13(q7) -> q17
  f8(q78) -> q28
  f5(q72) -> q5
  f13(q96) -> q79
  f7(q74) -> q77
  f18(q27) -> q96
  f17(q5,q60) -> q33
  f12 -> q4
  f18(q94) -> q63
  f13(q93) -> q88
  f15 -> q5
  f10(q55,q22) -> q42
  f2(q98) -> q69
  f16(q31,q50) -> q92
  f4(q71) -> q44
  f6 -> q47
  f18(q89) -> q75
  f9(q82) -> q39
  f2(q89) -> q39
  f19(q79) -> q50
  f18(q66) -> q64
  f14 -> q84
  f15 -> q4
  f5(q42) -> q1
  f19(q83) -> q51
  f3 -> q61
  f16(q98,q45) -> q31
  f19(q26) -> q89
  f0(q4,q67) -> q94
  f0(q67,q51) -> q91
  f9(q3) -> q97
  f0(q71,q91) -> q49
  f14 -> q88
  f8(q79) -> q8
  f10(q27,q86) -> q79
  f14 -> q91
  f18(q60) -> q77
  f18(q86) -> q43
  f10(q96,q21) -> q97
  f0(q75,q37) -> q6
  f17(q25,q79) -> q61
  f13(q65) -> q18
  f16(q37,q78) -> q39
  f15 -> q93
  f12 -> q85
  f12 -> q83
  f14 -> q57
  f18(q65) -> q94
  f7(q45) -> q24
  f12 -> q96
  f10(q44,q88) -> q43
  f15 -> q75
  f0(q33,q97) -> q44
  f0(q10,q32) -> q86
  f7(q96) -> q94
  f2(q39) -> q96
  f4(q90) -> q65
  f0(q58,q75) -> q12
  f9(q49) -> q57
  f19(q0) -> q40
  f13(q98) -> q96
  f8(q75) -> q31
  f7(q47) -> q11
  f1 -> q71
  f2(q16) -> q33
  f18(q0) -> q64
  f8(q81) -> q20
  f2(q16) -> q92
  f13(q3) -> q48
  f8(q42) -> q94
  f16(q92,q85) -> q7
  f15 -> q3
  f17(q37,q56) -> q96
  f11(q65,q54) -> q27
  f12 -> q81
  f4(q75) -> q35
  f14 -> q87
  f6 -> q64
  f18(q76) -> q40
  f15 -> q48
  f12 -> q65
  f0(q69,q85) -> q80
  f10(q67,q78) -> q69
  f11(q72,q18) -> q49
  f18(q14) -> q41
  f11(q79,q17) -> q34
  f1 -> q53
  f14 -> q89
  f14 -> q48
  f17(q92,q7) -> q69
  f18(q97) -> q15
  f4(q28) -> q44
  f17(q98,q93) -> q82

