# isabelle_session_info

session_name: Pre_Polynomial_Factorization
sources: 56ab8834d4a93dbb5cd1c6ef9bbb57a4dd95153f
output_heap: 55bdce8476f10e4cd5214c97962054c14d0f3376
input_heaps:
ea26063c7d2b9547d258649baebbcf2e91377bef
86a9c3ac9020d4c0654bf9b98ebef5596b5fe09d
b9602ff5d206049e9189387d43ea79f26820d465
b20904de8defaa40b59ceed0b9b1bb73eac78f04
27d84502dc52155b0ca40b7af08b2f9a40f5887c
97333335f1e26142f379946db279d6cb75ad35b9
38a7b55b2ef8398aa60324b971916ba3a863b9be


