{"version":1,"implementation":"Nanoda","wasm_url":"/independent/v1/ab9650346052bcc6947332de49b6553eee9030ade4ba1ea596dfd4fa7e124ad4.wasm","wasm_sha256":"ab9650346052bcc6947332de49b6553eee9030ade4ba1ea596dfd4fa7e124ad4","nanoda_commit":"3a2407216ee84a75f9e1aead6803d0578be06ae7","exporter_commit":"05d43a2bc773b40ecfdebb32294192a5ef756951","exporter_source_sha256":"596b347edeeb4bd11f2202ffd6eb5547241f50ba811553b32c26e35829a1d50a","allowed_axioms":["propext","Classical.choice","Quot.sound"],"host_imports":0}