A lightning-fast lojban dictionary