bt1.rkt
bt2.rkt
bt3.rkt
bt4.rkt
bt5.rkt
bt6.rkt
bt7.rkt
bt8.rkt
div1.rkt
div2.rkt
ex.rkt
infer-tr-bad.rkt
infer-tr-good.rkt
infer-tr-new.rkt
pair.rkt
plus.rkt
tfae.rkt
tpfae.rkt
trcfae.rkt