# isabelle_session_info

session_name: FOL_Harrison
input_heaps: b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
sources:
2416511848c69b845f7c8a4ec82eefea0fd138c9
c08c0d5d4601fb33f1b6cf9f7f814c612221dae7
c7864d452fb7be488479a993f5068e3a5ece73da
daafd816af788235165bdb8cfd09c393597c7cd6
f0fce7eeae1ffa41a6f0691e21062958b47031cc


