# isabelle_session_info

session_name: Special_Function_Bounds
sources:
36ec3d919766f5575ee7f9e49fbfd3924d92ef7c
3c7c24926c5015832091b71f773824ad18d6ad22
3f74062e19a60727a09c308488749462de72fce1
6968882a9b8b671a249cb1492c0bbdb0ad92b429
7a2f2ba0c410b0eb3cb5994e2ec049416508a5dd
a80ec1a1ac9ac05f8213521b3b139f3ee073af0e
bb0a799777f761555e86304e137873da7c79c21b
d2a205ea372a1162240c9f333ffba6dd3b94deff
d96748e7ae501033e4ad97e167b625c75055990e

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
17803973a4da731b1044469392471261babd3b40


