# isabelle_session_info

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

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef


