1.2
wnds:Windows 954.10
FchF
C987101128160D987101275860D987101366760
newFormat
{p=proof{p{s()r{u=uProof;s=proof;}o{c=0;s="";l="";}f(t{s(i{r=fol{t="Cube(a)";b()g=@;}})r{u=uPremise;s=proof;}o{c=0;s="";l="";}s()},t{s(i{r=fol{t="Cube(b)";b()g=@;}})r{u=uPremise;s=proof;}o{c=0;s="";l="";}s()},t{s(i{r=fol{t="Cube(c)";b()g=@;}})r{u=uPremise;s=proof;}o{c=0;s="";l="";}s()},t{s(i{r=fol{t="Tet(d) & ~Tet(d)";b()g=@;}})r{u=uPremise;s=proof;}o{c=0;s="";l="";}s()},t{s(i{r=fol{t="^";b()g=@;}})r{u="uRule?";s=proof;}o{c=0;s="";l="";}s()})}g{g()}a=true;}}c=44838;