# isabelle_session_info

session_name: Triangle
sources:
0daddf438d9ed88913406d70a5308c5362b93c32
6e7a5b9193039a95135b843abaf5c86ef0fd1e35
70fc6afb834f176b6a869956de07bed1400e27fe
c8c0d0f53f45831b0b38684c9c05a79c669745b4

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
689e42f6a537aa228ba8dcbc2d5fefa5d25464e9


