# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
output_heap: 55213e3cc66de4e3f35ea9ae7dad6e4f476c5c02
sources:
0c99b93a63f59cae01b477a7dfb7210521f0b549
1aa94fc90399e51879da50dc3e3eb81357662021
25d26263d9342b6c67c6e83d4a97eed5919fc08a
29baf16bb2ab37db0778bfcdbbd6f85564a23664
3a92ed7b4984fee2454b05699802efdf9b5e745a
47b4c715350dc7eaca0d654f5646afb02974e7e6
489a5d32ced3579bd2fdef39c289da44b48ef3a7
58e4012af29128a51fad22dda85306bf88c37056
5b6fca7aefcaa31fd3b89c2fb6d372566e27b3f3
5f7274fe976997cc74421918e4602e777e6c3cd2
61b7f7cea5905d8ea78f3c2dacf630b6c4cdd79d
7f0b70126c5c377b245dc27c69f7a25ae9ad99ac
896dd418ef164ace044556017d747a73d1c4944e
9350ee82e76a8cb28b107b5caa6b526416f7e2dc
a6752ec4d48aed1a0e20acaab058c7c27848c474
ab23e5d88352c538f7e132529053943a367206b9
b3e662627854f33829ac7a0523d5129806f36350
c0482ff4b665b14cde6a846ce031a1500e2e2abc
c2bc0c4070ab8dd0f699c5e4a89128c973fa3ad2
d92425eea105b871c152b4273b225c942cf69f58
e26779acf877da9f7017cea5c6976637f4d91376
f67c75f05cba8994d57db1503ec5cce6f98eb2bc
fcf7bdf4fc9771c0fb9ab5a4a40f6eb483afafde

input_heaps:
6e5eb9b4ef3d78e2d0a5f155297d092df68a3ac4
b225b9f4c0cdb55617d75398ca0740839167e848
d0330b918c3367a4846fbd140e99e2845acc9135
a01830cd7b24f8eda7c61e5eca2196e1ea84cacb


