SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 1 |l ]c]Linear_Recurrences:threads=2elapsed=18.361cpu=30.688gc=1.484factor=1.677zXZִF! v]ŗXf1-/6vRZ̭|GVu>e5!O>ˇT8Z֭ٞD߹s<NwRGYQ٭1ifTyubN{d18aDݽNK+m'OeSʈręr/0;2Axe3eRHl +yhg?}Qp%6AIPdҁyrL(7#uZ?^ 1:}cѦ>Kak,.n,Fm |9u=E1/ِAogL`sD>,@KEǹMþKFU]n5; >ej5}1aF{Lb 9bTѹ[a,xhAdD-jk-I !УE\ߋ'TlɃ{v$B ׹̖Yq)}(|F[g֣ hkXe`z6(:Z(|mD:֪ uKwiη1,~u!-l4;KY+ kUd±32q3SO,~bR Bp"ӵmiwH.8Q%ֶgYZ7zXZִF!  9]ŗXiɟYW׿5-3x^jxͼʳ`O.cb} w0}~b(%A kω)z}L8q,lOP5xp-ui3˱0gzWōKs#yt_HmŬ\ 1WPyBTRcxIohKO2 +**w{;w20PI?H|^"}f:Fmh,m(KxI\%d$®,R㦕+.LЍ| ߰%tvWoHnwIȗ" .b3yl ٠{:0R yP>c7=F?Whf}84J-ܭ܈yPq$8/盄$7)3aօd1KQӔ$XƵԋvqAhkNP')ol7B 04(ۗǬ |1.e /d1%od72MefC$]Ғ~ea O>=Vq_=j[Qy .h%ZQ&Zfimda먢A-[;{;2h*Gu $ab$1%v@BsAfkY=q b+܃Mzp" շ6o gbbI,SsT~'{: 2;:=U}qXZE(6_ P߽~4-XI8XD 5CFGMB)Q ܁ i#(#k^HʍIP^D?qe+_ H@ݹVCd|"av9w.)sK %.%mJٓ2X 'k; S gYZb704aca117a358a06b9f74b003feee4b3c1dffb9a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff 0c0002d06a43d865ea35d288a2517f41fd0b0c63 e526feb7bc7fa8a4ddccb1c996dcf7cbf8558af0 51abeb4dbd3b86d04a030fa0677f03951fca54ec ca47bca6bcf04c6745db803e48fb87bd71fcffdc 9ae49c161251515341df1059a24a9f2dfbef3da4 3a23f0fd298397cb04753951171bf9ab1532edc9 28d792753718ca68d67c00365453c92002c5e1c1 2fa2986604be1c67e32e4b01e5f8a0d9346c35e0 62074b40678ac8e1ad8c467a27c173efb76f7f98e05c900979d8dfb90c335a6c53c90bf57aa1f3c2 1 Linear_Recurrences