There seem to be two main historical sources for Edu25 BASIC source. One is the Wilson/nickel/dbit archive, and the other is the "johnson" RK05 image. Each of these is corrupted, though the "johnson" files had rather minor damage and have been reconstructed by comparing them with other source. That reconstruction looks quite plausible to me, and the relevant files can be found in the "johnson_fixed.0" directory. The Wilson archival sources have a larger corruption, in the floating point output routine. I did some work in 2011 on these, building a passable floating point output routine by borrowing code from Edu20 BASIC. That code can be found in the iob6120 directory. Since then, I have used the code from the johnson_fixed.0 directory to repair the Wilson archival source. The johnson_fixed.0 output routine makes use of on-page constants and pointers, whereas the (older?) Wilson source generally uses on-page literals, so I have deleted the unreferenced constants and pointers, making something hopefully quite similar to the original code. Unfortunately, none of this is "gold", in the sense that it could reliably be said to be what shipped as Edu25 BASIC back in the day. I have also copied 'edu25.sv' from the Lasner archive, but that doesn't have any known provenance either. Vince