# isabelle_session_info

session_name: Finger-Trees
sources:
0a25eb7f7cc33a321c22d613b0e9417fa2305b72
736b9a2d5fbcf5a74e796743a402a2139e08afd5
8e2ea0588484394bc5cce75549dfba011ac8ef96
b445cfcf1c121742e2f172367878a61977cb5614
e6973dbd12f9545c3c6cdc3d2779bcec5ef6e1f6

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9


