# isabelle_session_info

session_name: Taylor_Models
sources: f02bd0c5212cabe8d66848e0af6347a4198aa449
input_heaps:
87d722a51b70602a06e4a7b7d793ad6a8bd08e87
b7feff3cf6fa551286ad5206b08f8a4505f29591
c50b1f72917060442ae58a0553f886677389027c
27e4c081e3e80de0428cee860166ba2d40e2ceb3


