# isabelle_session_info

session_name: UpDown_Scheme
sources:
0a6a6fc18551208fdc00a71a8419975584d8bf0b
0f8db463bbd0ab0c315bf2652ef8d341c31d4534
10e67b4af5ab8eaf5241a3c7a08aabfd0608a1f1
254080b4629581c0bfc331702698337037f1b3d1
28bd21414c1119589793e8f0d99e2008626e0f13
2a6b5a5deeed8cd812c41c87b2fe94321d09fb11
2b672a1f3be85a224115686332fc1a5716203296
2d1b88ddaaecd3545e0d7498c4bab0e02cc53067
380180ca8e60c7cb744804194aac8970cf817dc1
465a42ebe09346e5c9a89089c22c9c2d8327c43a
49143c1a8b6580f179db5a3117e1ebae10de6055
6f69cff9e004597e95d59a73b7422d2aa8f96f28
7256f66f37c7d5d3968102405ecafd9ef4f6785a
776a96d4e24435f4637561b833567d58f9aa6ad6
8a5e8013672ba7fd2b3f2ae8ddf41068f367e8cc
8b699b9f2f550b3869a8e53291b3e1b7648bc36d
906e8a98694c39712dc49574eb112cfb854c190a
96298c27c5c2047be89ce4e2d82fdda6e5f6538f
9ae47cfe309a1b9a5f54de64f1ee9b2d587c3a64
9c2b105d2519e0b72b5afc315cc2e3e0e2e53fb4
a0b05f10157c1490529a0eee11b705b3b3063cb1
ad2b232c4df8f6daa33cef970bf6c68010391ae5
b793c9a0bb1334c6b218c2498a7d5720cf32fae9
c5391cd00f46cee74b4951d6dbb4fb1a57f1b173
d90232508c15f8d87647052e11f1dd11469df9c4
dae8c003794a4647f26d737c516b9ecda72d8707
ef40401f3a043564ef98ad47a005835f0fadf83b
f68a02a8f9c7f78f8d2c8ad04a6c267e802c28b0

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
e689e4dd8e5b66d1ce0438e4d78b37235fa465f7
9b5777b2744f5e0463dbe1d488b2019c496bbd5c


