Thy ThistedQ
Thy ThistedQ
0 1
AGF
77'
subst Substitution 5
72'
subst Substitution 5
68'
subst Substitution 4
68'
subst Substitution 3
58'
subst Substitution 4
58'
subst Substitution 3
57'
subst Substitution 2
46'
subst Substitution 2
46'
subst Substitution 1
46'
subst Substitution 1
2'
Goal Normal Goal