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 A1 | ] Separation_Algebra:threads=2elapsed=16.986cpu=30.616gc=1.520factor=1.807zXZִF! ]ŗXf1-/6vR[]]uRlindBkTi 3A \A~z[UqtV$ֹ:v Fq6 Xh=vR;݉Z"M C|0mJ(Aobp90ENMZn1 =ꪄ>W|-⛃Ŀُl "lkRB÷4}D`N?Bg ! ?e\FEJk#{"cId `b 4oٶ@:&Ȧ~ ߙ:>e=[5'R"S?,2 tȜYz|76؎>Rˈ*OU~8@QW00, .2v!Cf(A̸9`\eWG3Hp$OQ \b_6MJxDEJmHlr>a[ġ Կ.x<l\+aohg CII_;`ӕ~AgGo-V-2A˔0Ƣb7jhU|cϱ&X?KBx?~ qFšO*I>?^ֶ$ WdB S7qEw;M$ l8 ˀ~I''&bogYZ7zXZִF! ^8]ŗXiɟ1S:J'h?H6 #G7sx,'RqYݪgKTƼb?:NR@MD\9VcGA۩^XE|h93m)%?;t%=-1@cw]><}7 _몑"32zZ'ܹ3Hj*szʷ)_xd!)sgouqBi3.,hht0D>ƈ3L 46E'v R0ݐi``G4S^tlȻuItE!a'q!@gYZ7zXZִF! b]ŗXi%>gϸ uðN]5`1Rv*Y*[HVK1`tO QZ*?H 'La^Y]i_"(wjDŽUb/;6逸C  :jmQM8qV"wiBz:fIdd~j'톩FmzW< naW 7 @Y1$,'&4ˊZ:yހ &ķ 10"q+F'D NK̪_%,~@ 'c! /{{~i4ZD<&#l𢭃z .e}||e':Yg{,G.)ֱj.z`sC(K!ϊ=*1UulmeuU*!M6%Qۍ!)?;ymծ^!^(MC5FM>6otI$2vuGH#o('QmP^:/pW^7T@·[<[K!S,IcEtR& [gO2 jhx7iJ#3'-2I^Ӣ۹7?0}5mOY&&%!Mx qI)n<VC$#uRV1|ؐp~i=9*E c!g^v8. L9k)T ^YJj`'*ul0;XÚ.T*\J$c,_|T5 ?ycĤOAjo؎@p!o, bXMfrt8çJjK]I{}D1&K]ݛyd[Srl-D[YfґQ`QQ)|Ѵ3+wP HItN{uRJ'dغq.נ%hک|_MP12:Wj8K)qLMVQZ9xZ?a%;ō_4 )+/N;+ҼjE=aT' ;T/%V˒DIT qHD䋄j~F@h#W4,"ܑ*}Z"+K!vSFvu`D':l`#fp>_q'zJJzmҥmS:ǁ QJaK-z3H 3ZcVRP;Ҽy$Q\9*ߗ'Nf8b!ޛ^27:\(wYb;؂;6F-Gvi "!K"^W 1RhgYZ1fe462edcf6214234e8c17d9c530a26e29d38b2897833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 16c07ab52060a1877247247ac947f7478297781e 1 Separation_Algebra