# isabelle_session_info

session_name: Incredible_Proof_Machine
sources:
01d11514c762e09489e12be9717a0c9974839255
0d624df132aa2e54b02fa619fa707a1b424b9830
18ce61fc4cda3633ab11490cac89093a536b25ab
1a77a1040b4763f958d860b7efbfaa8e972f85f0
1f1d42d0160cb82cf5446aa6007576ff33142db8
1ffacb52387e1f7f8c7480c6f98f1b6694e4104e
31b7687d5433d9b2974179da290efc477d1e8cee
32661923ed0d2980937c9594cc5d2f8417cc4d1b
3384a91dffd4d74f7eac964ea3e95f6aee3ac376
3509ac62910b2e6a5eb9e4b16b44099440d7021a
383dee4bb60284cc7229af5017def9c12378879e
48f1d09ca6ad86e709ea9cea10462e9ff7dc3fe2
4bd59757d95a4dfd72fd9de5cb9ee71638997ae7
518b9afb3ba79f13375bdcdc393d9daffaf5b92c
5da4f1f8a066e90a66f3844d13a77db517e4322b
60507f1d530644fb37a0889b2acc5a899b351eba
67b00a2a219d2e2d697515ef1d9ebaabf0bad630
6bc0836cf3668c31d7739a3863d8dea7f41de567
721b4b31d802defb2451e13d93b49edc97b1f18b
76e327b3d6138adf30259d8975a32e08c813c6b1
8506f3a7911ff63346d43f2359ba6c296a67d70a
86e2ef92ac7d8a3d145d2164442c5c4c62c68b54
973d6bd96dc9037f8676681fb869d6ae83013aac
a863ccec4d3ed120919a97479a40b61aa8b8656d
aeca56dc31d503f45588d335d9dc198166bd49e4
b8695ed194802e40c39c069dc2853067199304ce
c63905c04d55480a70b55e3420628e45d546fd66
d93ea9b6af0195e4952f42bdad9e7ac565a33364
ea85ae29c137e2b88d735fec39428f4e09492091
ef8f3d025c6203f42c11b93cd24fbe1b0d4beef4
f2feb310c16a61bd02d8729b0d79853258516eea
fc4ae0b9e83eb5cff2f8eee603452f00d118e8e7

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef


