# isabelle_session_info

session_name: CofGroups
sources:
98298820f5c32140f876fe6637eb6fde891df183
b7d5e280188405bf11e0698ab849c52149c7ee84
cbba3f6a3270e6da397b9fa1f9d8f5ed732b249b
d174eba2e2af1cc41893c051ef544ce05c6ab8c6

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
696e9f2819c1b0ea32fa6ca0613aae10e741b796


