# isabelle_session_info

session_name: Polynomials
sources: 9ba3464b7672cca4f45681ca49a176c025d49836
output_heap: 09f9d464fd1cee79b17102e7598a16a6b1ae24b0
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ad6d44f7aedb014e340bd82c93157922e7ad3f04
73c48e0591b5bffb5348467f27a424ede52f8172


