(TXT) texhax87.idx
 (TXT) texhax88.idx
 (TXT) texhax89.idx
 (TXT) texhax90.idx
 (TXT) texhax91.idx
 (TXT) texhax92.idx
 (TXT) texhax93.idx
 (TXT) texhax94.idx
 (TXT) texhax95.idx
 (TXT) texhax96.idx
 (TXT) uktex87.idx
 (TXT) uktex88.idx
 (TXT) uktex89.idx
 (TXT) uktex90.idx
 (TXT) uktex91.idx
 (TXT) uktex92.idx
 (TXT) uktex93.idx
 (TXT) uktex94.idx