# isabelle_session_info

session_name: Pre_Algebraic_Numbers
output_heap: 480399cefca6d73ed008e6da13a48325baaa6d5e
sources:
008b0d2c129d6f5ee15e3bb66bc1432e7b59ec85
19c8dbad5648050597dee363f077c3ef6069ec4f
5090316d6fd05652ef7fb2e15a0accd50f896884
6b1354bbf3bb81a53a2f7736b53a3d002504b48c
75f18cda65a1f11ebe5e324e2da58c24e2eab2ba
a8eb538540db507d1d9d3394e843530af4dddc39
afc829170c3cc471c776ffc30e57fa45990b75e4
faf507e60bf30e4afdc86e8549f3fb8fb184297a

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
502d441ff4e78612d9bfdcee6255c73d96f5757f
669f1d989ccc8432ce0207b5dfb87086e159796c
46438ae7a10ce597223550964e8f0010dbd79bc5
ffdbe4eb021ba3c89403154a91bfc626346e9dc4
1bd6ee65a06e731e92a3a0d9ad350bf255bab306
cf16dcf0dfc7f53a799b34fed8e78f42bb7cf53a
3ebbbbc6aab650005e3d3ab87a5a5a96e99fe290


