# isabelle_session_info

session_name: Formula_Derivatives-Examples
sources:
3122c5b55089566c74375976fd6040cc34c326db
3202f745ffeb72e2c0ed40fd95133d485999f9be
341531b0bebdfca12e3ae785af273096df594f93
429952f9b1ab48f5480776e72dd795c832ab4fd6
59b2dc7b422924b1b9bdf7f2de4adf9c5084d0d2
94757edc202a3b3edfc8ed89da5c3c332210b7f7
a4bce5200f82de2838e35790681756b11144e8f9
cf0eb34815c10b600e671c786585de3d3713e6fc
e49c7b34ef5bcbd6834a0da9691127de42c64b3f

input_heaps:
19db22422d072d942dca4f79a146f700713ec562
0ce727582e1fcdc0d95ceb5a898ac2c38b5af35b
5ea6d4c9a179122eae31fc1e8edfaccb5e6cc241
110160e7a8052b521f48d9c3f332b62edb915152


