# isabelle_session_info

session_name: Polynomial_Factorization
sources: 411e0f5754d443a00614f5f1d8cfbec726558b7f
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
03989dc119440e078d11e8176c7844190ed072f8
c8d68aa4c900a2002b0247eed5bfbe292ac887fc
e1f6df314b7334782f467ea5c8be9602e0d3e104
0217df40cd92826d2ea9e35b299980c511f44e0a
5eafdd0b2f1c28b67ab523a0412efe5b6e3c5ec1
b05c0924a97f4d7a211d3832370958563ab78222


