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   r1 ttd ]c]Linear_Recurrences:threads=2elapsed=18.282cpu=32.504gc=1.736factor=1.787zXZִF! *r]ŗXf1-/6vRZ̭|GVu>e5\Of] -Z֩aPV[v@!yfS=4ڤg2IKy A(9{ % ̿|*&[uZۉ13 [`SO:R3" f9:)쥺7c?5яDj)xBD\vNX#WAAW#ĖJo8\אI2 |1kM35u< !p?R /%Ɨ,]80m&.|xQ!qT y^`=ƢvRs\o 든,#'Bb%]1; $` ;G S|^#*ݻO j_$8YJM:ю5:1[ gS1#k_f_Ya$P[jQKru0@o_:M"P 3@89Bu1Z/#159!1}xK^؛DHc"ϨbD! cfUs1Ef&|/Y))LH9%"H(Z@"`V[ _{O1$=^!gYZ7zXZִF!  3]ŗXiɟYW׿5-3x^jxͼʳ`O.cbg/:Q[*|!ՑJ;*==sE 2QƿC$t$CG6gg#ER=ȅ^+śI> UD  AO[ЅOn(j¬*B-X-*ߚISSd{-Ε`ճb߄c[]Bǭ5̗4G|Cȁ޲ˁ)bLF %" rDD4 ,YZ% HgYZ7zXZִF! g]ŗXi%;ivVec;%WFGh:AiY}V|/[8u@Au13V<ʰ?[fQ% _ysmv#9}]Q'¹܉B܊@ G5y֦l1 2ftrDn~xt4T-y@b˻AJ( Q"!<<2rV*z&Cw9@mCĆVh~@ .8\e,?~.or6 ,|Z$Q=BP]b`=eȏo'AGq$.}!'Ef@RcҗRsj;ea GU{[Q7j¼Ͼ}͐ 94 !\ s> =I &wF(<.){!HeҠz <}(9EdO8܅7}/2L&N;dnL6Br`N(M+%2~iB'<&0pmLj_!+q|7^qd~Ӽҝ`ܘta8N. Q_3򹃔 Kw!E=Cn-8E̓pn:G?K׶5~pOЌ)cve~ b^v0$5@|:GX|"&Nu^Z{=E8 38ʔܳBExi.@ӟ$`}ArqUn1F))X.)!?\6٨Tjhd.]Rj}h"*f*yH%q'N6_Űӭ%:&P׮Brt>K3drNA]=ݡiꙨ)1j6EXTKT#sKhK\xc[e6nMeup7$iv&O4t!p0r,:ݨ@Y7W(bռnZx'):}5:yq󆰪phlԁw<\^׮뢛 MjiSHa_3+ ;KץԻ? )X\J-Щ$ A,@Z*e4278.`]U4jLֵrJ#@r