# isabelle_session_info

session_name: Rep_Fin_Groups
sources:
30e89132d20913969748d7338b26f8a992abf46e
6ee2ff0f6bf1a0cf002dd6146858958c27102cce
71f19ec4797f8c84a4b74f5859dd8dd527077cf9
c0a09cff0dbdeee54847ab70be74b5ea4da9b986

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
696e9f2819c1b0ea32fa6ca0613aae10e741b796
544d5273f63ab8306b7ba89b4cf320cc64739cc9


