I'm getting around to SET and SET OF [SET encoder done, ...

I’m getting around to SET and SET OF [SET encoder done, the decoders are done but not tested and I still have SET OF to code]. Now look at <a href=pretty.txt>this</a> it has to be the worst and ugliest script ever but the output sure is nice :-).