# isabelle_session_info

session_name: Rank_Nullity_Theorem
sources:
03db9191788ca871f87545107c977ae65775a377
140f8eff2ee08d44cc34066c974afcc8313b74e6
21727d5993a47fe8f2d05c68c8806096b7fa301d
218171e56330376c51dbfeef1a7a4a46a15b7af7
56b0231c3c9f5c66c305ee60c16f96f22d2a9b56
7a2dbf6293518994771947f62e4a1f96f1c21689
9f9253ce446af6f5f273c5b2f233ccef33b018c2
f5c7d3b543acf82a5f8cc5048d9f63f804f78158
f8babe7bf2c5735c2bce0cb5876af20982b1b978

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
7a682a676d8a84f583e52b3d25f7f4b30d4e186a


