# isabelle_session_info

session_name: Linear_Recurrences
sources: 96acff04266d41fe20fb679c489d61ad22e93d1c
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
24be91445dfd95ccebd8630650aef4cacbc92e8b
9dbbd42654a9533aceb82dfe50dabae7d33fb02c
5291e4cd62815f1c1edc484b3593d2822d6abb7f


