# isabelle_session_info

session_name: Linear_Recurrences_Solver
sources: ab46f72a6b6a5c5c96661e76fac55898ad3cd644
input_heaps:
78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920
db0b9f381bf5e847e834c0dde3ed15877688cc59
dd5a66ed2ec6ee975e279edd847d2bd17a3726ea
4909c2e6b1ef8105dcb0220d99636907a8a8684c
118dc90b8362379584a15b74798f375d94d07ef6
99c04948151ecbc5536340ba694cfb3865cec5d5
1d598ef734a680e42fd93d8a88fff782b32d20ab
62650e42fe20d2f247a9c82283f2538dae0c96fb
13488d241a1b3a9df9b64389618b84760cec20df
3f1b8fa3ac65655cfa26771074d66b6b410e2772


