# isabelle_session_info

session_name: KBPs
sources:
05eaf4ae04c5a1cfce7a44ac5e396c01779a3eae
10f095d3e9b34cabbdfcd3f80d4ba6385a613fc0
19d2cf5dae3d9e04a0a521c6b1a8d164601ba7e5
1d9cd79e0c7b195c68cd76cb8061b62fbe75cd55
3348843325cb294fe6ef715842dd14ca42ac9d2c
3585960ca317510a7e8e357d51970c5683260cfc
36f0b39cf612c5aae6411ad70538a0ab438d63d2
3e8c5c7a2b15c63085e93f2e4b7a21f652231bf0
3f40bb78eb554a5c4de9a3fae159970d445f301a
4bf9d5188ad82e65005b1ca7c4671bf429230151
4ea8a68670f742b4e682ba7d631ce3daa3bbbc64
68e4abfa4c2307c6e2d64942033fc2afc68336ca
6f9b654c00c3b3831c2295363b420f3434de18ac
72fe5b9b7271a43399226272f246aed464e31d6c
790586afeb2188d006a4fa550c342ce9fa62c343
7ac98eb34836d26e39807f60be1c3407c44ce98b
7de0890c9fe362fd0445ab85f49a1aaf0689c105
87f800e8178e6d7e02bfbd925b4e0b0fa8d410d4
95f407dd7db17fa296c287e7e43912aef191cf72
a73e6f31a63992a1aaabae1d886da29a4443a823
bcbdf506917a30de4afaed37567ee0c2ff4eb044
c2dc848053642b6d34c51ed58b08d2e970b69414
c4a055e133c22540e239102375d9d36ac4c662e4
c63c670fba62024c3f2aaae41cf187d0d279f7f0
c788be80a182dba0dfb4b3f8ab73f1676e48323a
d5ee0d428e7603b28244cab84f9040fba72268a2
d9277a3d1a2760a7fba494ecfb4242599408bf92
dc25dd67df475a8c254fd17bd94b10b4b5c6ee67
dcb375d0cdf637b1cb18a2860905da40855df65e
de9a5038efe98350718a5d667692034e3e8d0275
ec7a7c8b9c182dfc7da8b1b57c4bf2987883bf19
f411e97bbf13be1eff70301b3e91f8e8bce6221c
fd37bd78a1d1880d064952247d2566df475b4741

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146


