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