Hah, very interesting encoding going on in the original post -- hadn't thought of doing that. Nice job on the 250 bytes update, tho!