# isabelle_session_info

session_name: HOL-Hahn_Banach
sources:
1056ae38f6fb0dba786d92087d6c898a3cab8b5b
1fac670295d8d00bf309e4e625e77654a76176cf
391487ee4b031686a4d99d4d12cba9a269f2fd07
50c58d16a152728eefc0b69a4653a2161dc09e75
6fecd76a994d840cb600ddf6fd6d28a1c64e7394
81e0df68b736d3920bc374db15982283c8f02cdb
83bab2beffbf4ee896db7b96b805256be37ce7d7
982ca8168bb4e8ce61f4e8483f3957ba567b6bbb
a22c745b98f17c67580b11d999e0fdab40574786
a6c7bd12a516b1b524b6be77e1594789f2b4dd86
b631e23bb03424d49e1b2efbc9665518164053ad
b766d0f7c880a1d47ed7e6a84616d4d4cb6bacec
c1486f73e51f6ecc1a9a3f0f929cf903dd647a3a
c33aa91be9218d9708ae860341b6d5389961103b
cb6567777c626bb2dda43b488ad022e4266a7922
d197f05538956a2f8a253ced34db1635ff8c081e

input_heaps:
d38e002fb81c6e684e22dfb9a00446f1cfd993cd
c88cfa7fe983b8b87f38950dd0874ef6a0f062a5
e24109e0d9c7cf3926160913997f98ae050cec83


