# isabelle_session_info

session_name: Proof_Strategy_Language
input_heaps: c7c621c8c679c6f81c939be460dee2fbe4c459ff 6a3b5f35a47c619c2090fbc84ef59d242c963bdb
sources:
068279aaa3d18a166de0f0e7d416bfcbc64ce218
0d624df132aa2e54b02fa619fa707a1b424b9830
2c12706e07f29ec591dc22f9f0b39f5d07b62fdd
30ea1034d147c7e587bb9f794f7d1f7f95f4fdd6
336f7218730304e9b2a3f9be4065f1b640c9c272
383dee4bb60284cc7229af5017def9c12378879e
3a570d1cfadf2fe79ab6a87e9a8d11d3dc622140
41fa50695866907283577b0fdb1868874c2adbfd
493b059c7d23b329faee7ad3f83306ed157fe57a
4bd59757d95a4dfd72fd9de5cb9ee71638997ae7
55677a16dd53038cbf3822fc3ed804a074e60ad1
717da459203ba668d3b4152da2dae84802616a38
77a91d395ecd957122289bcdd1e43fef6d7a71d9
7dec43a0543a4a9d5faea0bc66b70666d3117f99
86e2ef92ac7d8a3d145d2164442c5c4c62c68b54
973d6bd96dc9037f8676681fb869d6ae83013aac
ae9365d4973bb8d9b5330551312b1e79cadcd0c2
bac897fa3e742896fc83fd68bd87261a0646e3b9
e18146e76a5da3d5bb295ef47091451dc1d7afb6
f9a61dce7b499b03ba5603462f0176cd5f8e6624


