summaryrefslogtreecommitdiff
path: root/vampire-taks-with-unexpacted-behavoir
ModeNameSize
-rw-r--r--50-plus-secounds-for-iff-stamtent.p563logplain
-rw-r--r--topological-basis-behovoir.p1656logplain