# isabelle_session_info

session_name: Algebraic_Numbers_Lib
sources:
0133cfd074e837de7834b2c68e2ef6765827b0ce
035c5826ec86ac48074165bb294178fb02ca231d
04b5165694e0b259b31305764a4eaa8a81af3ad0
0c40d55914476f1f81c3610144b98625c8d40ae1
0c9a3e373933ca7d6cdfe0dfbbf24bd72afdf4a2
1007c9e544553cab3ff341b8eb08103871194acb
1c5144cb108baba63fb12ce76f891f1b11f4f06a
383ab9730da6c5eca5e5487c38f825413c87d0bc
677e07f23fcfb45d46d620c466e9e3684074ac5a
74328c42f1647d965bd76ef18afad1a90b5fc42f
95cc5274c3259570e40b8f2600fb0b697a4c9466
9f46209d9a69fe384788bf5cdf820de52b65c50b
c026bd7d3ffa4b6e5f5a73eeaf19699fabb45630
eb2b17937e94368d214178c20e66840059135c4c
ee07a956a5d4e1deb2088bb2f7927f7ded92d28a
f46d4662d2a335ae668a6af2429675ffe1dafffb
fcaec7b077e56abc94d73649a05762b3dadb80f1

input_heaps:
70d59207b10c0d3f1ae9713c01fe0490a95034f1
a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9
5f2de4117118ea319d6b6d7331e3a51b6c8fd5e0
e1ef2dc5de27c6f158937b1ae3c2b52a79b8d492
754f7bcbfab355e6cc81d4949037f2eec902e487
e73fe595507505773006de3e34fd64af85247e68
428efc2567b2be58ea77664ff72d61dd36441538
98274be7d69f043504b9df83ce475836c0ef964d
b3cf02d6437a8cb374018d1ccc3837f30efb2a8d
e0ff34fb3fb55a9eed7cde1cd8871acdaaa1be21


