# isabelle_session_info

session_name: Polynomial_Factorization
sources: ba8b3dbc0a35b6c72ee8429beaf6c9846d22d9a6
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ad6d44f7aedb014e340bd82c93157922e7ad3f04
d60d9d5b06dcc91155fc420476e9f83938af9887
33884b86fc33b20e5d96bb9e9ee0593a5dabac87
4c4e44922ea5cfc1c828f37fe93e554b46181384
464e3b6b6b5da879c0d1f44329ed6fbf1674d01c
e6c7623c9f2b21abf348657018448aaaa0414fa2


