# isabelle_session_info

session_name: Triangle
sources:
4cd618489b8bbc14bf88f1c4570adf6f7f31f68a
5e6e55d3f0f56cd0c9a445cf196783ad8eaf3a51
a19e8b1a5dc2785cf0283d4e87ecc1e6e3925a90
c8c0d0f53f45831b0b38684c9c05a79c669745b4

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71
8ad8b00859fa175a80839fc506a09472d6fb1928
3e553857d112c4e9d1c0b7aaf3102c0d82bfc5f2
099d6146b83efbe7db34269cb1d2c2c87eecc7c4


