# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 8432e6ef2c68e030d96f635fd83e8ad0db695ecc
uuid: 6b498bae-466c-4258-b313-b472f045c79d
input_heaps:
611cdb6c5329e67e3840a4eaaf7a9c12741c22c6
7d4ddc2c6925c8c40fb13abdefeeabe718661ab5
4422bdb2524a3a6e2e6aa5dfd6c0668e98f1d2ce
d8a5d927e9389799a9b9dd513a7246282032ce84
b779c00724a4cf8cad806a994bdf3980c2647f02


