# isabelle_session_info

session_name: HOL-TPTP
input_heaps: d38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5
sources:
0906aa30d620b7a028055cfcc0b736ec7472b4b8
14c3540bb5127bd30a61f668d40891bd3ead84f9
1be9aad81919c629f6e0263244ed28e5fd4d1e22
2259dfc3f0bb35c668a41285771cb146b997c774
30d7dcc9ff3b8b0df8f3c5c4437bdf7a75faf6ce
4052f97b07925caf44959dfc8c3210f2df158df6
4277ca4b3be6a38c6a21ce93b1ecd491bf6a6eb0
46192605a28d3ad2909f27ced8163c5ddfc10334
4debc897e1808c83c978b3d2c8ec5be8185a6b13
5fbb3a75b00888b0148e78af11024b395ee286ae
5fcb8f45d11de8f977941651bfe98f5f453d1e8e
629cd704e857c1984f82e75febc0abe25b3a6ebb
69caf3c2ec6e680f32137d6c87638fb62353940e
95b2dc2709af2de828f6c11fbe7d46d362dba904
a02979dc80112d42f0ba429951c7d86c8f2450d8
adf062521f94f88fa1523388eecbf0134754edc6
c377293ee767b2d09b9804c3b544d2cb89d81dc8
c71f8e92f436b72edd2031edf879c44023423087
c971819295be9dbcd0d2fc70cf6c2453af8ce52b
df923d5433faaf7ce45c46ffabc0dff00954eab0
e05a992c8710c6dba47330ab9deb50fef9109c58
e0adc67c1f2b7c6a3cd0cbee6cb294f96445fa9d
e3574e7319e93ce3a4fa87858d66f848d81a8d8b
e939e9ea091d6c9b5c4e75d04ac15d6a78c5f6bb
f2dccc986e02fa1fbd9b3487455dac0041787d69


