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 }}- ,\t ]S]Relation_Algebra:threads=2elapsed=25.559cpu=48.568gc=2.636factor=1.907zXZִF! ]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci;>vbQFn y`gh3M;l'hzx)adx ҝ9IE[0W$!AhjLEv2lK) YA} eĴ78^*?m$q|z~Y#@)z^R2ظ[ɃsAIQT~ PZ] 7/PYNGt\K fXY8_kkFDg/{#Kt0^R 5πGGVUx,-(OCp$ٽY;>|Z4#8Y_bT,`9wf%Bs \TnKՄlp7, Dbe2 Fv \bv2S.t/Lfg߈hZpk;xB'Cl_LiZOD5zho0\,T\I/- gYZ7zXZִF! !t]ŗXi%>gwsCpBМl_t:&9E{9Z'GYnه+A%m2=anb.8C11 +ZB, iz.ϯ5}cMF}+mFʦEVby紏`P/Ri$(2ф!+yvoG. !(.I`U0D[vu, %;mkZ/!Z*_4 BL1ǫ2frݗ3(gI>Ds 1ΪB!K ާ6L7}IAkp5S`+&P+ÅYc TQEc4h]3J6rq6 Nzk!%-}=]E ؆~[TZaIf%]XS]zԨ;>:j|h5,P$£W_Ș]D4F*18 <"C hN^HEӞ+rac4L&j1N<2"51L%:t#0ÀZ ڌdsA;wjCrʒ&B)| 7&,Y2uW[Ji$Dz-)MB +W`2#51C>l.].sp޺BOkʪs?Ծ8½S5~@ oRHSC`A]8|"\فw4ç@Z[_qWoZI\k|(DAJ\ݨtV͋c®&$%rSNB4 K[(B Zq]c) 5 i鎺j8aF(u"((HC 'E ><RKёukN'=) YX |o t!$\h D"DK ԵfլG^H])SIئ{;ob^˫sʚd[?Y5(~{8VgQʺ?bHoIun.  TQJ7ADto/5Z^ \:X  eQx~5<br|]r? ҔNm]Yd"$u[ç MDnN=Ny0֬Sՠ7Zԣ!#EX"qu"\Q#+Zt U9Omʴzaϭsos Ƹd:\i:eD# nh/ vcuA9zc N.aQ,k;5 )WEq< |Q:Iw?9w `0XLk} S K4'ܬj͖J=Qq(I9JCG3x' !7˼;8!<[EC Ё\իټRDa_.Uq!VМbgYZd218fe2eac6b56af91d3668f069b5e453d9c25f4665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 5c1fbeea034bf1799a14426df2cb08631b6a1ba2 164b5d2fc2e70dce41c9ba5101528a3720cca672f0cedab43f613082dc00d9ab46b658807a3890fe - Relation_Algebra