# isabelle_session_info

session_name: IEEE_Floating_Point
input_heaps: 80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4
sources:
52e58de7f6f6fb16a6433604b7243bf110cafc66
739604e7b6371eb898e1f79ef9e18c789ea4195f
88d48bbfc3dd5a979283b2237dbbdff2a5915fca
94eee150f6e23efec055b9cccd65b0bed6c814c0
c305d1519764c5f5875553ba77696bc8d63ba3e5
d1f859c96d5de7b9b56cf79764e40635c7b52969


