# isabelle_session_info

session_name: Polynomial_Factorization
output_heap: 367ed44c8c4984180edd7facbde229fdf778a52d
sources:
0d75cf2574d74f827dc4a32d33c02fc28d0400ce
121b5c81f9dbedec7ea43bf59eb3d94167eb505c
14eaa3332919456461b31c16e0e0fae123233ac8
18bddd15f739dcd43f146f8607ca548e20ec793d
3ae07ba3f06504d0ffd63262a4b175fb34440c2c
4968c8440cd501a117c7eda1fb9a8f2fe7d14a9e
5baf249002854ebca32aada93ab62260bcb439e1
63c6809cc523c3441fe3ca1aea66dd0f736dbcf9
77e5f178adf45f4d1f84c7853cc328ed4295d5ce
8812f9030ef057d8dd10bef1f48e7c74846e178d
93e0042b7b1fbecfc15f02000c3cb3b143438581
a3ac0d41b194a95356663a311b9c8e47f49d1d02
a5dea19b38006556a5c07ba4f7ca5d0f425984cc
a826210fe5bb9613887a0056124aa363b5dba5a0
b351b65ef4791019f00b044daf06b5069aa0a8e2
bf7fc28a574ad82596d25472c6ef357f08a0c1b2
c38e77359814a74eb2075a0dfe891ab8ee842750
ecdf5dd176c19d9c1f9d9a2271b855c52d34731d

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
c329537f2338737215b0b9c870b75eecbe1c5de3
09a084a642ea9f440c16b475debdd7dd0e298b77
42d943ef4a2d1d0413cd9c7ff4fb2bf1ce014083
9045fac0a18463afce15cd4b1cd390715d9fa55a


