BUT if they did make (some) of the “cracked” code widely available, then even if they did not sell it they did wrong - although I do not think a heavy sentence is necessarily in order. Not “software pirates”, not exactly, and perhaps no expectation/intention of harm, but as long as the un-cracked version was being sold under copyright it was illegal.

Note that last caveat. I freely admit to downloading some music and other stuff that is technically under copyright but is not [easily available] for sale - largely 1890-1955 rags and jazz. EG, an MP3 someone made of a piano roll cut by Scott Joplin of the Maple Leaf Rag. Joplin playing Joplin! Yes, it is still under copyright (as performed by others), but try to but this version folks!