# isabelle_session_info

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

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
c13e3de1e0be8d1f8e22817e408018c478eff10c
1491f51320f29cd36500f37d0b40b7bc52a5d191
5374f72e4d493485bf3d00ad3b0c3d62397ef50b
21506343d557e6ed9100027bc7b830f98b854782


