# isabelle_session_info

session_name: Stewart_Apollonius
sources:
1c7218c79fe06024108d9b2062a97daa8ef55915
5e6e55d3f0f56cd0c9a445cf196783ad8eaf3a51
67e9c1086d27650a831509a3399f27d4871f6567
721e4ef6a784a88167e95fff874ee5ba5b33b094
8ce4fa722f7583143a769aa7c347d7c85fa61d44
a19e8b1a5dc2785cf0283d4e87ecc1e6e3925a90

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
c56ae9d5441b629f77cadaa07ce128a6fd02d228
eaf37427e14379c6b5bb0549a2d41983fecb41e3
662e2c93275b3f9c97faea279c1f2e9b30a29203
3a002d6a995019df178bd168faef100dc685caf7


