file	kind	sha256
apps/compiler/tmp/samples/mega_omniledger_erp_kernel/main.spi	opaque	399bc52b4246f086ec614ffb85140d7d1fd14f4bab03aa202144feb25bc3a154
apps/compiler/tmp/samples/mega_omniledger_erp_kernel/main.spi	opaque	d55e1c7fb5d1660c1a6b8c5cde4f9aedbe9c5eb13ac4f7860bdc1755b389009d
apps/compiler/tmp/samples/mega_omniledger_erp_kernel/main.spi	opaque	db204c9da923aec3b792e688cc9d72bb7dd5af77520e475bc9546fde67d14ec2
apps/compiler/tmp/samples/mega_spiral_proves_spiral_relative_consistency/negative_quantified_no_closed_false_inhabited_empty_match/main.spi	unparsable	cf7c4383678396f02a7f3fb6d3dc7ea2dc3e995dc215e4774ee54bc4bacebcac
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/main.spi	identifier	124606a084b801a38a8a51eda1d8933015da90ee319250e862a8fa3b0d0e84c0
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/main.spi	identifier	132024efdfff524e2d00afcc8ce1bfc42f27c4a231c9b48728dd74cc9eeb9a6c
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/main.spi	identifier	1497ea04a412134fbbc3ea22babe59b25ede8cd137e1e624cb6f8c186f875448
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/main.spi	identifier	243e3dd2090f14e1698a44c6651420ad3c9e1e9fc6a832c318c684ac0a72a8e6
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/main.spi	identifier	29f3704eaee06446abf42eb5f4ea23cc1badd04ae01020512eb0ec1b1634c5fe
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/main.spi	identifier	317825d6381a1f326986e08c8e26a689af52c8922098387b7599f8ef3006a0d9
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/main.spi	identifier	35cd0f7d6d57d84444b53c21506ab8f5579c97e81245771c223740c0916afb75
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/main.spi	identifier	4b7adfd4c654ed5a4c95675b6197069e7ebcdd39d67a6529ba865d967842a02d
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/main.spi	identifier	67466778095337b6a370e3b7a1b7af58c46e76f9f2391b00e941a3efaa299af4
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/main.spi	identifier	6cb30bc80902b75f81dc607015c3d52cbd8ca19123be03268dc7141d12c7202c
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/main.spi	identifier	810fb87a600a07541200ae763a27758f6df51578750cb05f6514df27b82fbe15
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/main.spi	identifier	814cafbca892802d67f568924f0d6465cc6aa84ff608d0e65b89f4a718519c06
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/main.spi	identifier	879c283bc6036c34968c707507bed53ff1c943899a84a161ac0fb24bc160182e
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/main.spi	identifier	95fc4b58cb52b5d1dad5916ad908e6b1708bde1d2d2665ca3d21fc06e63adef5
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/main.spi	identifier	992939b22b132607d3f30704126513e5ccf812301af8508bc88d4d1119bf3a41
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/main.spi	identifier	b9133dd8a093d3d70ae065187288424db4411fb2ffa168f6403d0adcd0fa01a7
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/main.spi	identifier	c9e2f6eb83869e07c1e5f30ed1bd65c2d97b8eb619354a7ffaaf87cf079b4e05
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/main.spi	identifier	dacd38ec673054b08f3300c4de485721f0f666ddd2a9c425db60f5208296b272
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/main.spi	identifier	f22df0f746473a71a39ccce19faa4782718f5f9edc1e04503d3a2a867f8922fb
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/main.spi	identifier	f84506c97fa43f64a605223294577f9ff8000f247cfda3d49c07cad774032e4f
apps/compiler/tmp/samples/mega_zeta_structural_laboratory/negative_mixed_rejected_obstruction_not_found_consistency/main.spi	identifier	cc13d6688e7d32cc1e18a33aba0ec79ec1d279c8fe00c8194da2e2dc92ba7dbc