# isabelle_session_info

session_name: Polynomial_Factorization
sources: 3255134011e4b603c03ed9c1bad631fbdee26767
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa
3b04ca43da1e5aaaf875b679703967747f534b02
2524fef4370ef159469778d2ae89dd9eac2a6b82
be2aa6c3c141da35bb6baa2acf32d3b24f15d156
6eacbfa9a28c0d5e9c1735df38a0e6fecff05413
a32578013c96099dc04d5237214e239739506ae9


