# isabelle_session_info

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

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c
209410e84eda3ba031087dd289832dd94007cb83


