# isabelle_session_info

session_name: Chord_Segments
sources:
5e6e55d3f0f56cd0c9a445cf196783ad8eaf3a51
79350daa9ca6a5dc1b4127c0474db63d723d6da0
8fd8f822414a0f9b3c80355e2664c31cbd4682a1
a19e8b1a5dc2785cf0283d4e87ecc1e6e3925a90
e6382b6dc9e2ec0789908af934c3bbe4c24fa070
eef6746d770fc46fae6b447c1dfca49114beab20

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
56381e65d929be2b28a6c2758bba2a0736db6379


