# isabelle_session_info

session_name: Polynomial_Factorization
sources:
01d4e727dd5d2ad2cf5666a2e76f81d3b5f5d5d7
121b5c81f9dbedec7ea43bf59eb3d94167eb505c
2bbaebc39db2dce8455ebfa733be460cd9d9a8da
455d7527892a8579036d60ad208f0371730e372f
50b8e9f10960a26a58eb1de57d9af006d4dd71ee
7281d2334ddd91cf16764fe2ad1e67158904b7d5
77e5f178adf45f4d1f84c7853cc328ed4295d5ce
8f15e7f3426a065b0cb5e856802994172467d523
93e0042b7b1fbecfc15f02000c3cb3b143438581
a3ac0d41b194a95356663a311b9c8e47f49d1d02
a5dea19b38006556a5c07ba4f7ca5d0f425984cc
a826210fe5bb9613887a0056124aa363b5dba5a0
b351b65ef4791019f00b044daf06b5069aa0a8e2
b4c8aec70250dd07821749e4f14e22433e4dc4e0
ca97a491d6ee3557bf5abe688ef3d4df083c0036
cf2d4675f6049f18240b8d967a9fcab24147e8ca
dfe1f0f6d9b0bb89f269627c5bb3fde9eabf3931
ecdf5dd176c19d9c1f9d9a2271b855c52d34731d
f7b0300f1bcdf8655cd42e4b9a9d6484e05d6019

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c
bb2bb54135ed42cbf9b16f494e9081c8660de074
5ad2f9166cfd8d4d2fa74648bcb36846d876bb60
f837b52ad29ce7db2a60e2328ea78022ae00f418
c365e03ffe0ac5a047d5ac7e5bdb1e9814bcc365
b96f26f80d948819c239f7ec10e6d7d49c0fd9d3


