# isabelle_session_info

session_name: Category3
sources:
00d2abd289934a35d7b538a6868be1ba0f1bee4d
0de681c92b352de25245412e317a32143b64d6b5
1c884124d672567ed7964c56690b35884e2adbcc
4d119663667bd0ce8d63688ae8dfaa389f7ff749
4e3344bbfd920b323b656168dbbb6f5e3f9d50b6
5380f445bb249710308f4d8a0cad22f29628be62
69a81dd807a2d62e0cb87e5be6e81ec9391abd18
6bfe540cbe8084ced469c7f55963133b0027d047
75fa67c904a4d63607b3bb82e79a16894af4d1b2
8e6befd129b5cc881edaaef609cec6d44e8a0b33
9a4753b8550a38906eccb9dac2e95356ebc84aaf
ab2d2b5abf0dd4b9f856d3c4705f4d16e8f25370
b5601c871427c55736462cc0abe236ba4c2a8274
b7172841f6f106067ff5f33c2e89862f91d5e943
b7c8dbc6a34f22b3d25e25154c06fefd043762fb
b973619f817b7d46469d221ef5d96187685b7132
c6c09542b7beedf1a27b46b08c671e81300c98f3
c8acdb56d2c6eafa5e64feafc6e3e618ddc081a0
dd6b9c101eb1b4d4626d557ded32d1b6f21625b8
fcd23409038bf74b6e034eb36fb78cff17075ebc

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
0421e1d9e7fe672cb0ddc4007aa564f9dff1312a


