# isabelle_session_info

session_name: IEEE_Floating_Point
sources: 4b646b783922bcf53c423d0e898029ff1ca3240a
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
21c162074efe45b9b45c1371553b103f18d3ee25
9cd8fb798ad04da75baddd15664ad9cbb9dfe6d0


