Fast algorithms - a multitape Turing machine implementation