# isabelle_session_info

session_name: Tarskis_Geometry
sources:
0488a1cd4c9d8c0d3e10a002b36d70a825ddab4e
04937edaac57e854adb72819c9a09bf4c37c6f13
0c02ceead20f10236d7275425ef59dfbc5021710
1c26058200be62e77f8b7debc826ab3e10c213c7
2ac2d57d8ce78f5f7020ac9174a199a34ac05b3b
3c497bd4bf20d8302e6d5a7fc35a44dca8b086e1
422c5cb07b88b52f2b335ef98f379f3465f4e2f9
78079b6c805421cdcc43e733354f56c023eeae19
7baf96c0c640e6682eeb8f6944a1d84d058f66c4
8aefc9b67109956542535e583bb6b75d0af7dac3
b6ca7e09ffab46bedb7019ec66c79805ed77ebe7
cac410becdcea96121c0576ab7dfb43bd84ebb3f
d56eacc54da8449ad8db146cd8f834192ab0a93e
daeeea544ab2121c1c2028828ec0635f3e0ef67d
eb1ed4fc9a4686fdae67d5286c2670bcb444d951
ffc84c1be563c401109cd08cba36147d94a4a62c

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382
38e9905181602a320340a0cad27ea92de6285748
0beff611cd94b5fa7aa7bfc129b0c2bacd34771d


