# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 7d8f35a9c8e1390b58e0719ff950ab71fe9c3eb2
uuid: 55374378-b12b-493a-a240-0e35f62f5826
input_heaps:
0a2c0c4191b1d84261ef90406b039e096e738a98
12745a0f51ab83415c41598c722acb7629442f25
db5df347df4a9d5f70da638d46b9ee35f81dc73f
c519196e71423c72ab27677b1c36681a28c9ad4b
7d4ca712e3114c822fc3566dc0061cf7a081e3ca


