# isabelle_session_info

session_name: Minkowskis_Theorem
sources:
1bc7c2c75aaa49da234b5582092abc398ee5f1c2
651bdbb39cff7bbb1b75b45b87c6b4d5fc27e4c8
8750e5edbc0e4bd3366671f26b5584c124a628e0
d93029e36ab9ccfa22a43651d9d7a7fac095139e

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
7a682a676d8a84f583e52b3d25f7f4b30d4e186a


