# isabelle_session_info

session_name: Smith_Normal_Form
sources: 15b2cc6e2906ade3750042247f41f259e82dc287
input_heaps:
4b079fe610649cd37f98f05ad7c20586ef43ee64
74523ca0166e9eb6415b2be2253b4d5ef2f75bfe
60a083209646399dc33e998f5b147c9049498a09
0a18af2603e687e45faf7293b695927f18f7c80c
270ba8fd7f3030043e8a48b7a897ff3f60019c16


