# isabelle_session_info

session_name: Polynomial_Factorization
sources:
01d4e727dd5d2ad2cf5666a2e76f81d3b5f5d5d7
0fdf4d653ccaea4d0e53ad0c4b5a5c53f83702d9
2bbaebc39db2dce8455ebfa733be460cd9d9a8da
455d7527892a8579036d60ad208f0371730e372f
50b8e9f10960a26a58eb1de57d9af006d4dd71ee
714beae5f04096d6fa158891821b0476e7bd8a99
8f15e7f3426a065b0cb5e856802994172467d523
93e0042b7b1fbecfc15f02000c3cb3b143438581
a3ac0d41b194a95356663a311b9c8e47f49d1d02
a5dea19b38006556a5c07ba4f7ca5d0f425984cc
a826210fe5bb9613887a0056124aa363b5dba5a0
b351b65ef4791019f00b044daf06b5069aa0a8e2
b4c8aec70250dd07821749e4f14e22433e4dc4e0
b8ef8bfd5a00cbed799f9dc26f3055e3d6714b74
ca97a491d6ee3557bf5abe688ef3d4df083c0036
cf2d4675f6049f18240b8d967a9fcab24147e8ca
dfe1f0f6d9b0bb89f269627c5bb3fde9eabf3931
e1d3d5305a3409eca2d076c96558f18967b8a0a8
f7b0300f1bcdf8655cd42e4b9a9d6484e05d6019

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382
38e9905181602a320340a0cad27ea92de6285748
f7302172cbab6776a4f4ea357d315a195daebe42
d67a10205e66d01ca3a2256f96ec1a58fee34e40
210fcaa68eceb1909c0bca6b842c91dfdef9b6eb
dc672a1eedf4898abeeefa9893a9ef9f9da18957


