# isabelle_session_info

session_name: Finger-Trees
sources:
0a25eb7f7cc33a321c22d613b0e9417fa2305b72
41b3590a9abb262a38cc62b5b5575ea3294886bb
8e2ea0588484394bc5cce75549dfba011ac8ef96
ac569f73205503acce84dc3475d1e8e387e281a9
b445cfcf1c121742e2f172367878a61977cb5614

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146


