Toris by LCF
x* ß- x∩ ■¿ ª x )x
5/z rtM x x x x\x
5u 5 zMz α ┐x
|y 2 α@)
Φ x 2008 3x
| ________ x)
╫ ┐xj
ò $H
⌠ T.O.R.I.S. -αM
M⌡ )x
y\ by =jH
f# /xhh
f ! L C, F *xx
f t ____ ⌡ j
f \ =
f = ╘
│*._ _..*[ back to the prod ]
