# isabelle_session_info

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

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
ea130132a8ab1e832f061836cb5bf296dd9c641b
9aa367bb8061c194cb2caef837c811362fe2f146
7f0ee7876e08aa57090805217b1394b9328c7d2c
2946e23f197fb182415ab0cb574d5d14ab18d30b


