# isabelle_session_info

session_name: Polynomials
sources: c8596d00e53fd597550cdfea98de954196254844
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
a9fdffd633f8437f7cc705ac0a290ba020d4f213
9950629d502e66b635bc93d4d2d35d9841d01163


