# isabelle_session_info

session_name: Triangle
sources:
6e7a5b9193039a95135b843abaf5c86ef0fd1e35
70fc6afb834f176b6a869956de07bed1400e27fe
c8c0d0f53f45831b0b38684c9c05a79c669745b4
de20565bb7e3841fe0707dfe79242619b66384cc

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
2f80d3f93a8e8908ea20a991b6190f7aaeac097c
cf1f16d97467793acddbdfea0d823a4bab350303
cf54b34e30444469b3afc37db385a08e9ab8df9e
84623f3e4192cabde7f9bd2856ac4d80071a5457


