# isabelle_session_info

session_name: Flyspeck-Tame-Computation
sources: dd538cae72521d0d8adce9db836d981ed207e3f0
uuid: 16d5b215-3ded-4ccf-a5eb-6ba7dcd60231
input_heaps:
90e442fbafcda00abca55563258bda9ca879489b
0e76a3aa38c6ebd63564921ed7e69fff6fe53fc9
bd1d5456afcec51d01f0d3ba7013b951713dbda1


