# isabelle_session_info

session_name: Pre_Polynomial_Factorization
sources: c92d6ef318cce583eb67c1b38aadc8ee33a8ec12
output_heap: 22985f3e34f6a1fede35c9f14fb89f1a56cf66ba
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
f68a72c977425ca249c872eac11835e5323c220c
005cb0de6b39b5f1f9153f1dd6a340ee1f098f94
f152cd8f3dff3df54a1211d24cc89c0cea6580ad
7aa459d24cd50fe3839bd6e248776a1772730c20
bbd0d58cc7099c325de6abcd12b0710a67e392c5


