# isabelle_session_info

session_name: Minkowskis_Theorem
sources:
1bc7c2c75aaa49da234b5582092abc398ee5f1c2
651bdbb39cff7bbb1b75b45b87c6b4d5fc27e4c8
84e2dad9db5b7fbf03458ab98700bbb7023a0b62
8750e5edbc0e4bd3366671f26b5584c124a628e0

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
696e9f2819c1b0ea32fa6ca0613aae10e741b796
544d5273f63ab8306b7ba89b4cf320cc64739cc9
042732838dc4a8f7b026f268d23dfcd6ac269904


