# isabelle_session_info

session_name: Koenigsberg_Friendship_Base
sources: 1ac61e206231511d2078b73713ca387efb2a6c1e 9865581ae7fc0141c9c11d947d35e7bae9d90f9e
output_heap: 4462036b268ac6f0545a764762a952e9cafa420b
input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
696e9f2819c1b0ea32fa6ca0613aae10e741b796
544d5273f63ab8306b7ba89b4cf320cc64739cc9
174faef35f0e67229400d403c7188e347db41efc


