# isabelle_session_info

session_name: UpDown_Scheme
sources:
07f8b64f87261df9bd323f063c4dec6ef295cb3a
0d624df132aa2e54b02fa619fa707a1b424b9830
0e545f4a5a052e40ff61ae25a2f456338a10c3d9
0f8db463bbd0ab0c315bf2652ef8d341c31d4534
10e67b4af5ab8eaf5241a3c7a08aabfd0608a1f1
23edd5f64326402a349de4645830b062fb61d549
254080b4629581c0bfc331702698337037f1b3d1
2b672a1f3be85a224115686332fc1a5716203296
31aaab4f306dfe157009fcdabf46ac641a696a64
383dee4bb60284cc7229af5017def9c12378879e
434bef2dc377ddbd57a027f716e7f87b8e06d8e6
465a42ebe09346e5c9a89089c22c9c2d8327c43a
4bd59757d95a4dfd72fd9de5cb9ee71638997ae7
55ceb412a2fa979c5c8e09f064477b32e88a831e
5be39ddfc5384834ac83dd89ecd9a651bd28f4a4
61c98aa46027b36f3060d42f7e680b054a96c664
6f69cff9e004597e95d59a73b7422d2aa8f96f28
7256f66f37c7d5d3968102405ecafd9ef4f6785a
7c87a5fb5941f027ae6080645abceb96d26b3087
86e2ef92ac7d8a3d145d2164442c5c4c62c68b54
8a5e8013672ba7fd2b3f2ae8ddf41068f367e8cc
96298c27c5c2047be89ce4e2d82fdda6e5f6538f
973d6bd96dc9037f8676681fb869d6ae83013aac
a0b05f10157c1490529a0eee11b705b3b3063cb1
a6cd5da2e3264b10b7a581ff2bc9dca5d0b4c755
b793c9a0bb1334c6b218c2498a7d5720cf32fae9
d3db8421df183f778daf5223ff7e83c92f3a8c1b
dae8c003794a4647f26d737c516b9ecda72d8707
e62fd64df9aea10c10b112ae588b8002d2fb326d
fe86bb558389c0b086c6a026e5e21d000ef1432b

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
7a682a676d8a84f583e52b3d25f7f4b30d4e186a
9cfa954c1991db4fb676a015b9dcd5e692064dc4


