# isabelle_session_info

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

input_heaps:
07addc2441fed9b50c84968593d4ab6a353bb724
8db62e28615d4e139a28fa3d5b23cc3a3410b988
2c8670420f1e217147d01cec9bd2eec9fdce3aa3
c43a68050ffee06faec10563bb7ffc2d737fd7f0


