# isabelle_session_info

session_name: Pre_Polynomial_Factorization
sources: aaa7af346994dd3daf16d0f717980963319abad3
output_heap: f7a203edb79a2af048c67555563545300d010f3e
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
674eb2177a7a1aeb269732aebccc9887dc51fa48
c5c91a58d3859ee16e136bcaf6fa88419d70b567
f7336e04c048fc6e628eba7c2b9bed165471182f
1aa7af059f6b7e64ebd070e2a2b51451b6cafd76
7b175a44a2249a77de92a3e67c524f6d58f55654


