# isabelle_session_info

session_name: Polynomial_Factorization
output_heap: 9e092c40cea2a6e0ffe49b8e1e095553f4770cea
sources:
056130695a9cec7fbe30cc2398fd2fa889f65f48
121b5c81f9dbedec7ea43bf59eb3d94167eb505c
14eaa3332919456461b31c16e0e0fae123233ac8
18bddd15f739dcd43f146f8607ca548e20ec793d
18dbec99566284803fad7a34eadc963bbc924e79
25baeea5be7f507ad5216713e5921cc187681104
4968c8440cd501a117c7eda1fb9a8f2fe7d14a9e
5baf249002854ebca32aada93ab62260bcb439e1
63c6809cc523c3441fe3ca1aea66dd0f736dbcf9
93e0042b7b1fbecfc15f02000c3cb3b143438581
a3ac0d41b194a95356663a311b9c8e47f49d1d02
a5dea19b38006556a5c07ba4f7ca5d0f425984cc
a826210fe5bb9613887a0056124aa363b5dba5a0
b351b65ef4791019f00b044daf06b5069aa0a8e2
bdd62e49fc35afa2685c626d86ef4351907936ba
bf7fc28a574ad82596d25472c6ef357f08a0c1b2
c38e77359814a74eb2075a0dfe891ab8ee842750
ecdf5dd176c19d9c1f9d9a2271b855c52d34731d

input_heaps:
c27a9b4598ca656eb9c36aba33ff1f22941d7b72
64354e2142aad138813a04882ec6c2904dd4a4d3
5fbcbaaf68b0c1820418d8e5aa590f673eaf3f2b
52b30b1067ff94cff438506afc587a98293f08ea
4a2535ed484984d80582ffee888d70ceaba30f82
fd813b99e3faf2873e0b144de2095bf8087da28c


