(TXT) 00index
 (BIN) tex2asc
 (BIN) tex2asc10