# isabelle_session_info

session_name: Pairing_Heap
sources:
0ef5712b0a743472ed02b34b4a8c46a05fc91dc2
2406350fc8727bfbb9cd0b178f37f8c3eedd0690
2b6e332632c847953a2f9ae095c9d6e3ab8a664f
3f7eec859396ffeea85b3d809d324ba3a0c2136e
86f6c42be159badf7e310c837221317e574f6d5b
9a5f18dab761b5f598b5fef1b7e6f956fdf59b27
aceb996a5b707b618f7a30886fcc2ce058098773

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1


