# isabelle_session_info

session_name: Polynomial_Factorization
sources: 8f11b0798819e320a5f0ea81c028c09b36b5b42e
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
c799208d0f1fb2fbfebbbe6c600eb5411370bca6
730e744e2b77e519db40d8946e2276fadd5fca44
a7dcb04dddaa1d28aa6ccbf342b392b75ca2f701
be77751848a8dc9a797e7b1e6d7e69149d197ae5
9e3d8023aedbfe43a7cedbe9a7b04e358501122a
4537d09810235e386a3b56ce953533404fa9b5b4
ee64236c0c184127e30dc868973f3150860c548d


