# isabelle_session_info

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

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef
8604b41f1e451262fcd1286c482b758b73d1c934
2171a9640c882a444ab08dd88e02b67368cfa3d2


