# isabelle_session_info

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

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
696e9f2819c1b0ea32fa6ca0613aae10e741b796
960b621c81b6dddca438ea0b8acce6b92a633b81


