# isabelle_session_info

session_name: KBPs
sources:
19d2cf5dae3d9e04a0a521c6b1a8d164601ba7e5
1d9cd79e0c7b195c68cd76cb8061b62fbe75cd55
1f4ff61ac84696359062732e49e5a7f54b516e4b
3348843325cb294fe6ef715842dd14ca42ac9d2c
3585960ca317510a7e8e357d51970c5683260cfc
36f0b39cf612c5aae6411ad70538a0ab438d63d2
3759942475c8ca158e07f8bb78ed96ccaafcfce2
3e8c5c7a2b15c63085e93f2e4b7a21f652231bf0
4bf9d5188ad82e65005b1ca7c4671bf429230151
598309201d07fa5fbb4fbcbe900f7858e66229d0
61533fcd4d3ada825b68be9b712c0d9e95b2af5c
6f9b654c00c3b3831c2295363b420f3434de18ac
72fe5b9b7271a43399226272f246aed464e31d6c
7de0890c9fe362fd0445ab85f49a1aaf0689c105
80881a493722724dfed72eb86c179d5dc21b23a3
87f800e8178e6d7e02bfbd925b4e0b0fa8d410d4
8c5cd78be69034e844876323d9462cbae12562a4
95f407dd7db17fa296c287e7e43912aef191cf72
a73e6f31a63992a1aaabae1d886da29a4443a823
aebf02174fc09f136104ea2b72ec9b7c04c524d1
bc3b2322d8f7583b0fad9ce11e25cabf86196766
bcbdf506917a30de4afaed37567ee0c2ff4eb044
c4a055e133c22540e239102375d9d36ac4c662e4
c63c670fba62024c3f2aaae41cf187d0d279f7f0
c766904dfbb7f17b5c014a4469d0325d596023c1
c788be80a182dba0dfb4b3f8ab73f1676e48323a
d5ee0d428e7603b28244cab84f9040fba72268a2
dcb375d0cdf637b1cb18a2860905da40855df65e
de9a5038efe98350718a5d667692034e3e8d0275
e6aa67045fb0ae0372e3ac731b90b4144bb0b9a0
ec7a7c8b9c182dfc7da8b1b57c4bf2987883bf19
f3632c6f6a50f406f672b587383fd5de7abe84c7
fd37bd78a1d1880d064952247d2566df475b4741

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c


