# isabelle_session_info

session_name: Algebraic_Numbers_Lib
sources:
0133cfd074e837de7834b2c68e2ef6765827b0ce
035c5826ec86ac48074165bb294178fb02ca231d
0c9a3e373933ca7d6cdfe0dfbbf24bd72afdf4a2
1007c9e544553cab3ff341b8eb08103871194acb
1c5144cb108baba63fb12ce76f891f1b11f4f06a
3f3ef0d9bc477bb1663a0e003dddef41f11ed3cd
49440486672f94e68db49d0e25104022d7109998
677e07f23fcfb45d46d620c466e9e3684074ac5a
68c33079323817ca2e844ee9d639c5b239604b7f
74328c42f1647d965bd76ef18afad1a90b5fc42f
77f893cbcba6dab11e0e303404e3158aa24fb052
906c7da481ce1229bb3e6bb0d59fb613d1c48962
95cc5274c3259570e40b8f2600fb0b697a4c9466
9f46209d9a69fe384788bf5cdf820de52b65c50b
c026bd7d3ffa4b6e5f5a73eeaf19699fabb45630
eb2b17937e94368d214178c20e66840059135c4c
ee07a956a5d4e1deb2088bb2f7927f7ded92d28a

input_heaps:
07addc2441fed9b50c84968593d4ab6a353bb724
8db62e28615d4e139a28fa3d5b23cc3a3410b988
2c8670420f1e217147d01cec9bd2eec9fdce3aa3
c43a68050ffee06faec10563bb7ffc2d737fd7f0
8e7c9b0bec7b5d4ae16b67a973d5e2083007fa98
ae7f130bdc3b246b290e2e805f4354f1f7572ddf
9583cb6601b74a9940a55173838523211552604b
80aae6bdcbb12d0ddc23e42294c52e031e2e454d
13d5f9e1c9834624bb5bad186e55c397b1cabc90
c2b317670061205d4e36b1f495aed4739c48948e
e7232a563aecba627804a533b453e05a70b77b07
80edf26ea13f314914eb72b7eba0e4e49b722841


