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 ss 1 |t ]c]Linear_Recurrences:threads=2elapsed=16.986cpu=33.208gc=1.664factor=1.967zXZִF! Gv]ŗXf1-/6vRZ̭|GVu>e5!!OZch/ޟ~BO`ϺS29BmMc8A'Cf}BW x||5eG/дU ~p6p!T?ĘJ_HknBK_zjFukM7*zqvڃ~SUrH6Ub#CVB} ^Rwѣ@K"̝10rH#M2rlF-ekʛ1~hwM|At$ʨժNBGB)ڙ~jaE%2yo5mR4GX\*P JՓp\`Sp9kҕ}D qFp=My,2!tщ aλgA;hI[\ҍX!&9 o(ʼ+i>'o{jL Fӏ,R~1OYlҥ^ԼT|Xg2~&N>#.W $z3 ,!tثB`ZJcZ wLR,gm\jFCg:a<М$0ĦױgYZ7zXZִF!  4]ŗXiɟYW׿5-3x^jxͼʳ`O.cb/rK!@Yӣq*Bw!5B`YHZFˑ ʀܙT]^/KMciN=gၺHiDUwB>Tљ,!>=2|x!TXq"w ;DRy*Oa@0] "RKp|DD_,&KD?T@KdR>$soptir9?оjԅ}wpzL~S] ,uI'_5X<̤gYZ7zXZִF! b]ŗXi%>g 1񄟟,-nbEЛe7.xfп\L] M&e!.+`Bgv&k{쩎[9:1d''wNL&~? 4|몱~5j9@%r^ \7Ӕ}bWe^>ob0&lR5cb$mdiduyoœԇ(J+WzkorQ? )3/Z GR߭#&zJYd~jM5i5Đh>qh+OPk E\i'GJ~hajkagI@a±v;F6 6}Q!L SˇD6FʫRXDFB2Pa[?vMB),[ׯˆ8,OKCS"FȤ/Fz Lx\tp{-5\sPmw["(hEo*­Qs119-Ṷ(R1SoVNBqAa/~*֠4sw0&ESxez@Z"#5WoshׁP#Mywhh1}1$@"Q:}`eCO˓6!>NK{/(2 ^w|xmj[Vab!>AlMLA[fb)+P?x%Ar6-EyBXY9*PtfB\YKc7@&vxqT/: ʅ#r˪7`/V)ȱx+AAtN[&$ ()}= hC&τ+ V_xwR"_8 nU/c~5tx/.ߗV̬UW}1_WQ6- v;)_\ۗQSHSպZD>ȱY2ʠ<]YYINz{\ @^W:4 ) $x}\UyaAr}jW{dg#e?<]}'Koy|ؓ ZpQ`(MTF'!`0] Gl#H5c7Enw5b/i2-[v_t?AQD tgYZe4928b29174995eec41f714d12b8b0adc4626808767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 92ef373a64580ecb4bde23c0b3778cdaf7f43c9f bf54b744797d34c7e4e36c060c1a4c82c302f095 3041d4407bf0e437c06d41e2359cc4899669196b 87ed9995cdf30bf3a8a68f0e892decce2caaba12 0fa08f206401bb48421623506df47d3e0d0920bf 27aacd0ab2efe234d847d2e6713f372a16747a69 4694155854d8dd5315871aa411b818e67c9a7d06 f0156dc1028d9056f499d0dcf5e4a7a069df6f3d 1a1ba7c9179b839be38ee865461e9f998d771a744ba78697427814e61bb904b22bcc156d11244a35 1 Linear_Recurrences