# isabelle_session_info

session_name: Constructor_Funs
input_heaps: 554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1
sources:
39934a44712cc3689b526749fc52819125ff01bc
39f4551db3e655a3b55d113812c2a52addd91c6f
5af00a6f93339e5ac33354c39f218d6b52d7a255
5e9e0b1d6981d52644f6beeda7bcd9392ca4b2be
a050513c4e99915f1143006e1c9e5fbab0cc5278


