# isabelle_session_info

session_name: Polynomial_Factorization
sources:
0fdf4d653ccaea4d0e53ad0c4b5a5c53f83702d9
2bbaebc39db2dce8455ebfa733be460cd9d9a8da
31fec4c2e8f897e4e044bbcef35ae4ab82ab72a8
50b8e9f10960a26a58eb1de57d9af006d4dd71ee
714beae5f04096d6fa158891821b0476e7bd8a99
9051989eac508413c08baeb789670a8b77358051
93e0042b7b1fbecfc15f02000c3cb3b143438581
9bdd93ec4656a6b36220eecc06d277f24a816fb6
a3ac0d41b194a95356663a311b9c8e47f49d1d02
a5dea19b38006556a5c07ba4f7ca5d0f425984cc
a826210fe5bb9613887a0056124aa363b5dba5a0
b351b65ef4791019f00b044daf06b5069aa0a8e2
ca97a491d6ee3557bf5abe688ef3d4df083c0036
cf2d4675f6049f18240b8d967a9fcab24147e8ca
d9b1a14b9a176d906b57e8698c6c72951f59b8bb
dfe1f0f6d9b0bb89f269627c5bb3fde9eabf3931
e1d3d5305a3409eca2d076c96558f18967b8a0a8
f450856520e4ce6e67348d7bad7fc87ed33f122e
f7b0300f1bcdf8655cd42e4b9a9d6484e05d6019

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
2b469e38ab065480632e9b5b8f44c208e16cab8a
a52cca36c501e454ac8d14ffec7d171d1797787a
93abc91c039f52f86271cad82c5783c5cc5df1d2
fa34367f2b58170d59734929198117cd5cb0a339
9a6d2d5f4440a9bdb100269815556e786b616e40
6dbcb1734f23269db2cf50c0950e23bd31886f4b


