# isabelle_session_info

session_name: HOL-Decision_Procs
sources:
0311066192f628ed4f36a5dd2747b4c76034434d
03183532e7392c38a281c66ffe80a8aae248354d
044e293281434b4baa65a672212040b13875fa91
0b95eae8146aa5cd55163797808ccd421050d201
0e2369879c23ffa3af808601205c5bb2f112917a
1c71fa3ad2d5914a41c79702c8a789b9c66fb87e
1d64339681bc3ab44469ecdcc6cdeb08b0bc3b11
1fd4d278a73767ccb690367825790ca8a2a045db
22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0
30afac17f29e367c46142872751722118953e506
3409823eec2206aa526e41e503adcabd1945717e
35c8ed8e2c243fae4819113c922734274d868686
671bdfb4d8f6cbd352f4d037adb3258aad2409a3
69024cf8d4a6c6f0ec7109e8ea9e6770a70ae425
755d81a8d9590d05ff58083fb03c4a085e4c5ef8
7c3de80c3a16af05902b9763188afac0814d65ce
7d0a50ff503e0e2c42c3865b57c822c6c0db8379
830f1aedf1e7dfb3c3de17b04d9d3d48c6d80f3b
876de8274225c65c590359d882c6f08520aa1f19
8a7e00face9e3b8d390525186027a79538ced8f4
8d8434495da4f2908e82a1b077cd387e59f40719
8d8f1e54418097925165113cf7def28df2fd1a0d
918c32f99112343be4627f3fd1ceb70e2dfcef71
9ad6c2013e5851c24e56495f1cf78510aa5c269e
9bf2a719c4847262ff5865ce539ab70d1e93ff5b
c05d156fe9e4fc70177a3e78a84848e11f2b2b61
c6f219872cb3751625cd27d7c562707adffb7644
cda994d4ebb6399010f48d9e94586c64fbc24514
e1326f80e97166f8a766cc17a414b40a488ad4a6
e5828497d38b20b87f269c192a78c70198abf15f
ffc80fb2c5f36a24e80b0a22aa075c1fd92eebab

input_heaps:
b7a9b2dfe4980115e308a4222253abf01f3cba22
ac0ee46d42a46b8d0bd5ae0397e22d107e7ad682
026c9caa8befa3a67feabd448ac9fff1276a46a0
a81a31e0023ea14c0d934af3283d94796882a3c2
5b839e09dc018f93009b2c395cfd564841a39479


