# isabelle_session_info

session_name: Polynomial_Factorization
sources:
16df1a8bb98a97cf131e4232ac15e29c6156ac05
1a1db3535cc85615c118264e6d6154c44a35f17e
338ae254557ef910aaf93590e7a6f512124dc81c
6b6cbce541c32488399ff5334fb807e42c932bae
73c7ba31c14892e1a3962a8ef0a371f5f2444494
778e4703e1afdf335ae01ea67dc2affd8df6e7c4
7de4860b5e7607c00eac96ee8548bf8263486474
93e0042b7b1fbecfc15f02000c3cb3b143438581
9bdd93ec4656a6b36220eecc06d277f24a816fb6
a50f1c7032d878261f9b211d7f7382260b6f201e
a826210fe5bb9613887a0056124aa363b5dba5a0
b27df7c9cb8f7e8a55b72c20d79436fe51c8a5c2
cc474cc94836c83247e5379fc5618bd4076f82e2
cf10ec06bbf4383e49120e6bec51067df6b32b89
d152adf7776e43658794ee7faa4c10ffcede483e
dfe1f0f6d9b0bb89f269627c5bb3fde9eabf3931
f69469958c3119281d11d0ba75e407aaa8687f36
f7b0300f1bcdf8655cd42e4b9a9d6484e05d6019
ff5211d2b2d361ca1307404c24572a06d0b50a54

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
502d441ff4e78612d9bfdcee6255c73d96f5757f
669f1d989ccc8432ce0207b5dfb87086e159796c
46438ae7a10ce597223550964e8f0010dbd79bc5
7c3cb284bbd00b8c6213f8b9e9f540fe12d39a0a


