{"version":1,"work":"iut-valuation-hulls","title":"IUT Valuation Hulls","source_revision":"cdaf825cc0547fe58973b1770b7cba2fff9bcfa4","sources":[{"repository_path":"research/iut-valuation-hulls/HANDOFF_B05.md","file_url":"documents/files/d3d247509560ef41378cc6ebe51b1c7ce6d44248/HANDOFF_B05.md","url":"read/iut-valuation-hulls/handoff-b05-2d9f4b5de34d.html","sha256":"2659608d95effffa5157dfb2d8f00d23f2a3130789cfbac1e83f44e57450b248","git_blob_sha1":"d3d247509560ef41378cc6ebe51b1c7ce6d44248","size":2504,"source_url":"read/iut-valuation-hulls/handoff-b05-2d9f4b5de34d-source.html","passages":0,"macros":{}},{"repository_path":"research/iut-valuation-hulls/README.md","file_url":"documents/files/8743b139e7602bf92300fb884442a46e2b9fe9f5/README.md","url":"read/iut-valuation-hulls/readme-0b7799879d77.html","sha256":"abd62aaa4edd227f1e27aa78aa1d42fd52445346e7e9454048aa16db1f839c75","git_blob_sha1":"8743b139e7602bf92300fb884442a46e2b9fe9f5","size":2360,"source_url":"read/iut-valuation-hulls/readme-0b7799879d77-source.html","passages":0,"macros":{}},{"repository_path":"research/iut-valuation-hulls/formalization/lean/README.md","file_url":"documents/files/2025c0058e70757ece057723cc756157ccedd946/README.md","url":"read/iut-valuation-hulls/readme-7ea321a4be3e.html","sha256":"86e76d69ea482d0def79ef4a1808ec40b4e840c3144c40b625ce6f825c76c187","git_blob_sha1":"2025c0058e70757ece057723cc756157ccedd946","size":2560,"source_url":"read/iut-valuation-hulls/readme-7ea321a4be3e-source.html","passages":0,"macros":{}}],"pdfs":[],"passages":[],"entries":[]}