# isabelle_session_info

session_name: Orbit_Stabiliser
sources:
109e2c70556d05b222c7f8400f58beb303704a57
1c58b57c151fd7b3c2ec8994ecf7c7d03907ea08
3bd2d6e65fd3914002428361065165dc869e1f5b
95e7bc10d68e3746e57e988f1a36f9a7dfbd4c49
a4d56286388ebf8cf0d3c698d837b8bdc8c6d16c
ba722dca8f42497558193754a4d4cfb4ac20e1c1

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
502d441ff4e78612d9bfdcee6255c73d96f5757f


