biggies - Revision 4826: /trunk/prooftesting/sma/foma-trie