Hmm, I didn't think about the output PLA files being copyrighted, but I wouldn't put it past someone to try to copyright the equations for a 7-segment decoder! I guess they could have put the digits in a different sequence to make a unique file....