# isabelle_session_info

session_name: General-Triangle
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
sources:
55a71c759a69eb032b714f285197ac6553885a52
7ce352e3fb9a4852c1f283bbfd94224bb08073cc
8416389ebe9196aea2f2eb427180264ba30c9def
bfc423c2d3b5b9af4f1bba4c6b722329a87c5e36


