# isabelle_session_info

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

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
831d14f67c3c3a84a98a77281c0c1e5b593b14fa
c0627727c4834e513bc78cd71e9c43b8be2d213a


