# isabelle_session_info

session_name: Polynomials
sources: d163e9cbfd302d11a9e72c48d5f5b13f129d8b02
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
93bb26101d67863666294058bea6da4fd77251ac
80ac39c3eded294106b201030bd52da00feee200


