basics.elf
and.elf
top.elf
lol.elf
tensor.elf
one.elf
plus.elf
zero.elf
id.thm
ca.thm