I remembered that Jeff Russ had the source for this up at indiana.edu so I dug around and put the mirror that I had made of his site several years ago. The EDU25 BASIC src can be found at: http://www.bitsavers.org/bits/DEC/pdp8/papertapeImages/russ.ucs.indiana.edu/Langs/Edu25Basic/Ascii/