this folder contains the open-source proof of parts of the codebase, as

described in each subfolder's LICENSE.TXT.

**IMPORTANT**: when redistributing, it recommended to include this folder, so

that the open-source proof is included along with the license text.