# isabelle_session_info

session_name: HOL-Nitpick_Examples
input_heaps: 0dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903
sources:
051232a9cefc3d765c183f96a92232dd584391b0
05715411989307c8d42475b537af74ce9c34affa
10b1495edbf7d3fef64ef572f2f0e3d95794e9a6
11fcfa87e0ddc2bac99ecc5be2f9cbc0d29f1d3b
15d4b9ef55e8c4335629b8127d998757da513d40
23e521edfda41e31243e80069cdf125088f4092a
24877e3d9f86e6d8f47afc23d8acd67086eb740d
44f8af35af102dda1c0e19980ba5f5d192273cb3
5f3249c9a2080df051ec979e03e69f7b6c37b568
6b9647987fd68118c9f85bd84067dcd97cb7cc09
7388dc307864a8f9c4feeb49817c2af6753f4706
7b43d1f592995467b1f56350cf618f3b6362f7e1
8c500a19340e932631465ce450501811987ef719
ceb3b280900708404882c0c0adedc7f8bef3d0aa
da2c09fe90264d7c592bf361569672e5f8cf13ae
def92035b57b798ee8d378a4eec03788d61fe82b
e3c438bd503158372dc2be23c689a43bfe275b03
f243ddd9df6db2d8c035eca1e4d9c9137b568868
f2e22eefe826d1c7068c297f6dd8310b4f205e2e


