# isabelle_session_info

session_name: Linear_Recurrences
sources: 84bfa40ceda7a04da475e563e0ac4fc25549b6af
output_heap: e94eabf6c5185fc54ad1860322a5d87b92d6b1c5
input_heaps:
0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
607b584e29337f48da7c2b7111a6e1bd83507c61
26fda83fb54b04a8509464a2469873c45a8ea65c
6d50128481724861da7ef72bd088fc73f1b1a18a
a4074ac49d0786b000e9df2d37c2151a5ce3300c
293ee307aa7598c6dea3a20f429a1b3b2df23baf
79f2694d8842bcd5542722347cd9fd2bee624513
5679639c1a6e998b4988fe3c904af1ba5c619462
fd2c78dbc2a279774004a9bd8846cae8479ac3dd
9a74830b22bbf24b5cba93d4c4537fe42d964bf2
9e848cebb09ddfafc093c2c2fa0ae17a97f21adf
62fe932e91ba492df380fd141f4155b9d7d56b14


