# isabelle_session_info

session_name: HOL-Prolog
input_heaps: 3269756b47a6a9653987fc2e45e2efe5ac3c9347 235bf9bd90cd9323492bca5d081941b77446f18b
sources:
76c5e5860b5cd96f7befd6e699306c6fb0010c82
7fb38cfb7c6e747209c76591e34b6ce6e95d3659
9dee5da06bf66d29a2837f62787b49573df8ee39
ce88b0120965d6eec9249f48907c64cd1c280e95
f60439e1b374da1322fc7fd5fcd83a7702ef8399
f82c4c3dac7b3c555bd68e0f27b8972e1a076132


