# isabelle_session_info

session_name: Triangle
sources:
6e7a5b9193039a95135b843abaf5c86ef0fd1e35
70fc6afb834f176b6a869956de07bed1400e27fe
a6a43889b056e0c853e05ba1144d8e3841584ee6
c8c0d0f53f45831b0b38684c9c05a79c669745b4

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f


