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 ,3 $,| ]% Residuated_Lattices:threads=2elapsed=27.679cpu=49.320gc=2.252factor=1.787zXZִF! ,1]ŗXf1-/6vR[Oxtۻ<8(O-H7;4$9ӏ&֎y?y>heK  $4M'CbtK7|~DI+H~RVq'+DJls0)ϛ)mHCs\E cd@5#Qזڍ@l@J')fSqCX}*D?JVPf\/!TbhRP3pu-)4d ^yյgR77ndaV}cO vk.f_V4F{R(jл@VH/G>U#T Py+m# <7Z˺Ģ"n#{x /Fkͺ j>a_t.} >O L1G4 v#wHf^LU^Q\BIMK1"qq1wԙd |> {2:Ii04`cirK ¤߰ҋGQlmN:` -Jf-|1wDdkmK:N?E{je `q=AI cw% mF>™ox$b+AgQ41Rh|+j/\ve4+QͰH,, xT-ɵ 5jGG/''qH]Ղ9u"$ffŘ+;h!s#_@:n+q ğ*aJ |sd FfLjN0aNGqC !H)1OKu-/~ Ǘ 5O*6߁N1ûfppt 5mоne!X௱gYZ7zXZִF! 9]ŗXiɟi5)9ݻs?lҢ 96,_gG˕&MjZu8>P$zY58ɡx:8N7oMCuߡEU`ll|Og4M*CK4ۮ[oT s]lzW7L$?lcvRBXzW٧`W i?NOjI1 ugYZ7zXZִF! 1v]ŗXi%>g; C6f 5)=a̹=8/hJU l gmުRX)$]b<cOV_< F5ip5AE8w0ㅮ:.S&8&MµxO1rz UT)X=t)c<\!N'?LxP& Zt;< -߀V|nҋ*ꀶKێVD8`!׼׌"Dr|}>ࢱ\obh淘ȍ<6s:u@um)8͏1 ɐx`p"z7*aqv5AiZ^>RF||qX}T̸X+CoC1 d9z]1]n~2g{N܎CZnFtv#QPBX ȧ9`5[V SĖNo8ȓ,(͟ GD oq|5UZbQcm#0ID~zd"Ǒ9$a|%&VeEC?з:.%ئ&aWְI43X|SWĆ ޤԃ?cto|v=F$Bt;܂1IgYZ1aa65c47ca979c173f648d31afa5edf1728a56fa665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 5c1fbeea034bf1799a14426df2cb08631b6a1ba2 164b5d2fc2e70dce41c9ba5101528a3720cca672 f0cedab43f613082dc00d9ab46b658807a3890fe 3 Residuated_Lattices