# isabelle_session_info

session_name: Pre_Polynomial_Factorization
sources: 7550c3f8d65d3e87c63419c2c0b704ebd495e56c
output_heap: fc781b26caafce6b037c37e98511f389a582a547
input_heaps:
36562e7d7ef22324cec69c1c66e1bdd7ef81cf4c
6af7e1fb310f20123ed31ee9fc4502422cd6933f
d7fecabe4edd87a062c1bb81fd5b9b2fdb73dcb6
73983a953f8295fa9aa9b24b5b13d28be3aaf401
337392e9684f73cf4490292104bd1f45914c529f
e0473168ba37b4fc5cdde5f0b6a443ba41c3eb61
92ea39ce0c9e3769ba9f47a721e353e862e1385c


