# isabelle_session_info

session_name: Flyspeck-Tame-Computation
sources: 3f50b5d482f66b6266ab53bde05254f616074cce
input_heaps:
ab7ebddde897b913697d04674b47135e7a71bba9
83a42f5ab2ecd7550bef3e5a26f7cc58642ad023
c322226f17311d77dfc418b1df5935606edc84f2


