# isabelle_session_info

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

input_heaps:
07addc2441fed9b50c84968593d4ab6a353bb724
8db62e28615d4e139a28fa3d5b23cc3a3410b988
2c8670420f1e217147d01cec9bd2eec9fdce3aa3
2cd6c54ed1ff3deaaa72fbdce5f322d577e27368


