# isabelle_session_info

session_name: Algebraic_Numbers
sources:
0f3234cf2c715ca4e0dff22af4aa0456a9e79f9c
18305d0dbe43c4efba1dda390f65bc830486e2bc
2a2ca7a5abf43fb6789bb1589a2ab18abf06a1e1
36e63c992fd6c6e28471d40c4fb45c0224ef303c
4065e370f03f25fefce73193ac94341c2e4c063b
44358d7a906317ab42a22a3a2b055cb29cf9dd63
48cd837f4e8312ee081d9e67cf326883a57432aa
49440486672f94e68db49d0e25104022d7109998
50db120ec4894ca04bbdd30cd40050d1596e2c63
5314516741df9ca21effacb7437ed89a84e657e6
5a1ef7cc66f3ebd98088b6468c0236297d1c166a
676a573d9e43d6842e8d3c616f0b8b4a902b3d65
6cf180b49281a7ccffc9a0a1dc7ec77f4b7b3701
7d9c495032152f99d914bbd3a0e05ed7fe163974
91b1169a0b12d1fd18c260da80402866d78d6acf
93e0042b7b1fbecfc15f02000c3cb3b143438581
944ee21815c6c6d1aa12da057d5f17bb83afcbfc
9ac874ecddafaf9600abecb349d2c672cc34f1e1
bc788060f4ca480ee2c4bbb3390a195b8fff91ee
c026bd7d3ffa4b6e5f5a73eeaf19699fabb45630
ee07a956a5d4e1deb2088bb2f7927f7ded92d28a

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb
d8625272701e7304f76db642b7fb0e61f9b07c0f
4e073c8ca9995e1513fd8205e4ed94aaafa60a26
6578223528356de42ec0f75f53662e829ad0cc41
e9d2d7a1cf2aeba8a6325f29baa7a71395fcfa63
e7f14857f30c236d6d6e6ff737ed0bc6c8bfdbd2
064edcfd6ebc62db0d239b240bfc2fca3c0b0c8f
b3326e6635a6c04248a535b3d013ef949484baf2
9be51073f9f63d69700b5d7a76a3559e803f1b68
c509a7aa1e3043d92e30ce0610cf11f41b5c75d5
6ca202d46bff46102ecabd4730df1f8d94a22c0d


