# isabelle_session_info

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

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
61801de5e43545180136440fc3774bb7d9933b29


