# isabelle_session_info

session_name: IEEE_Floating_Point
sources: 281b63205c67c55db29d75d354bea733f64522fe
input_heaps:
9ca5f92a14099d9d0578aa86393b807a3c2738ce
5d409056603c26099742d14e8f0a43cb37242805
425e794a17a4a7ed70038f158ff9b3b5e4078a82
c1d584f169b500062f4f5252e6e9f822fb2ce0e7


