# isabelle_session_info

session_name: Pre_Polynomial_Factorization
sources: edb22f843e2af6277ce873486b976c845ac73018
output_heap: fe1049e9cabee3e4690a5e816caafd9454715e1c
input_heaps:
6997abf99a824a3befea0335bdba084f50fb5541
78d538b0670f5b2eac6675be480b250ddc324b52
7953e6ccdc5c1c8aed62b8a56ad4dbed2af2ce9c
2d676f44be75c256b19402b091ad7d74dc54ee5f
2dc3e498b39b7ee6e8a9c96b7e6ff01c4a7110ac
0e0218f83ad2bc21df267c0114edb9e4208ba378
32be8abbf1f0aba0f4cec036ba9299c5566da80a


