# isabelle_session_info

session_name: IEEE_Floating_Point
input_heaps: 0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f
sources:
52e58de7f6f6fb16a6433604b7243bf110cafc66
739604e7b6371eb898e1f79ef9e18c789ea4195f
88d48bbfc3dd5a979283b2237dbbdff2a5915fca
94eee150f6e23efec055b9cccd65b0bed6c814c0
c305d1519764c5f5875553ba77696bc8d63ba3e5
d1f859c96d5de7b9b56cf79764e40635c7b52969


