# isabelle_session_info

session_name: UpDown_Scheme
sources:
0d624df132aa2e54b02fa619fa707a1b424b9830
0f8db463bbd0ab0c315bf2652ef8d341c31d4534
10e67b4af5ab8eaf5241a3c7a08aabfd0608a1f1
254080b4629581c0bfc331702698337037f1b3d1
2b672a1f3be85a224115686332fc1a5716203296
2d1b88ddaaecd3545e0d7498c4bab0e02cc53067
383dee4bb60284cc7229af5017def9c12378879e
465a42ebe09346e5c9a89089c22c9c2d8327c43a
4bd59757d95a4dfd72fd9de5cb9ee71638997ae7
55ceb412a2fa979c5c8e09f064477b32e88a831e
575f05c6555a3385a0383d3784b86346b27ab284
61c98aa46027b36f3060d42f7e680b054a96c664
6f69cff9e004597e95d59a73b7422d2aa8f96f28
7256f66f37c7d5d3968102405ecafd9ef4f6785a
86e2ef92ac7d8a3d145d2164442c5c4c62c68b54
8a5e8013672ba7fd2b3f2ae8ddf41068f367e8cc
96298c27c5c2047be89ce4e2d82fdda6e5f6538f
973d6bd96dc9037f8676681fb869d6ae83013aac
9a3f29a37bd75cf5f6b521fe431ec75b1009af32
a0b05f10157c1490529a0eee11b705b3b3063cb1
a6cd5da2e3264b10b7a581ff2bc9dca5d0b4c755
ad2b232c4df8f6daa33cef970bf6c68010391ae5
b793c9a0bb1334c6b218c2498a7d5720cf32fae9
ca58cdb8b4a7ae807401bed92c1fbf40a4b37f3b
d37a0a5a775d2d98f41405f004f1987299b56d32
dae8c003794a4647f26d737c516b9ecda72d8707
dd9b77cd86bf0ff47938ac623b7e001665891801
f71ddaab7f854958b96b2c4942a8c586aed0d7c2
fa590b7319fc7f05941c9fc9fcb6584d37c9bbfa
fe86bb558389c0b086c6a026e5e21d000ef1432b

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
e6f699f9602302a36e4385981d2a9148d31678b2
2ab50f6aa0036cbf2405e3e4b145ba8df0a9bb89
26e654e9b4f864656e647ac5422b728715168d52
b69195b07e93b5f63907b57e62f643c715c9a0b8


