os arquivos a? contem teorias
os arquivos t* contem negacoes de conjectura

a0 e t0 => Proved: [(?x,a)]
a1 e t1 => Proved: [(?x,a)]
a2 e t2 => Proved: [(?x,a)]
           Proved: [(?x,b)]
Tem duas provas
a3 e t3 => Fail
a4 e t4.0 => Proved: []
a4 e t4.1 => Proved: [(?x,a)]
             Proved: [(?x,b)]
Tem duas provas
a5 e t5 => Proved: [(?x,Z)]
a6 e t6.0 => Proved: [(?x,Z)]
a6 e t6.1 => Proved: [(?x,Z)]
infinitas respostas
a6 e t6.2 => Proved: [(?x,Z)]
a6 e t6.3 => Proved: [(?x,??0)]
a6 e t6.4 => Proved: [(?x,Z)]
a6 e t6.5 => Proved: [(?x,s(s(s(s(Z)))))]




