# isabelle_session_info

session_name: Linear_Recurrences
sources: 4813e9ede91deddab0e09f3c475eb5f2056e836f
output_heap: 6dfa30523b42e3558a567960d9091974b18dc702
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
2d6e38d83c3e90a100dde7fed1e4308f472211d2
9b8c9cab83535305bb7ec47115f62b016b968e85
21fcc5bdabac474b8d8d9b644f021b540066990b
29ae37601659720b2aa80e0b548327b725c658fd
9ab4b85cbd95787d37dcdd42a0ce5f20a66ca8bf
c40b774f1606a0c247a20826b435e3c0ff8a68ae
540c2c40812b7a5faee7a4e0d4b4f4fa61f7c43d
933d0d1c0a1e1e0f210f34521357d6277edfb6ce
7a28c8c0d5d4dad3b10c581877f64ea3e9802874
16491584c4fc5e85da785995f28a058024493ae6
67eb06ec08641f3f4963dd3511a2807493dd9d89


