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.