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 II4' |lT ]]HOLCF-Library:threads=2elapsed=16.651cpu=30.224gc=1.320factor=1.827zXZִF! b6]ŗXf1-q恈͐7ӺV -O\9 a>)nkszf q`%h/ɰ=5&ը[\K'(#I_hrIO*q[}#hed3OS,)z`v_ !6GPAVꀚ:e/g].AaU{ Y3]*Pі{s3%}f2F4bW `&Ff~VK8jvXZLuZmQ!]~Z'*o-xz3NƘj91kٔQW|̓tHq([SVy<΢SHecfA҆IYcR5Ώ}e/ɱn;sŀ`C@k ;TKP zN:s 3)`WuED?o]c!t٭bs I UÄ䃸7 V$l+h IT$aYZGMՄOx tmӇuMwd\ͦl!Z{gLeS0xy4 t!xVYO< (&fZ#q1  "6p#L"[fB/쳾i>h{;Q]hSqO{;Bx)r?{4Pȧ>Oڢ+qqVzE>H78-"\3j#`m?D u`KSGv[ML6Dj[Zάhtszrx sߢqɕF$lA5Bi6k^R7o[B)ΛGwOǝҢ4l}g!9  y b<%JD u3VgYZ7zXZִF! O!]ŗXi%;3$ ԣuC]:!1( #!͗}ZΧn?]qwN=N\<˝`:U[=q1c$zX4Ckh1CpM f DXSI' BspK2OQ ^m}G7\>]e:U)UU NcFA~%CU÷6un!&俓v8\J^ʊ>T[Nuc ^ "^ki7CKDWo"gr%Q+R(T̬n,b,ū$EMaC"T 4B럛oQTO"?P[ sh0h^݅먛$ @to?;1T:۴*//Bl 5hq*鮤Q/0R$kr?αjf>ab!A Ek̀t%ir&lZq#9|ҹ%|Tc1D,mVڷ'9 Q_.y Ra X-F_h"4x+R"%O~SY~.G<'@ JEޫAJ"N9t!$$-JRו6QȮ(QM,dN Y eo_U"Am̜+[IYVXV@F$ߓS;V=|"N2pfGa&};\w*C&'>$Ȃ d !ڎĘ>iH5w'7/O(vi>ې/a-[iIs8j'Ll&||>Q_!+d$"3P@q󣓁\enwǻG1k] RVҝ7&鹹l#)J&.Z1ף HALy~飾y]J6,b/ܸӝ 9ECg3cD-piP|~ַ-}kMti1z >BTq#l^A(XS]1|yὁ'Q%B O%lpZfԱkC7O(DP%#MK, ƟcgOok̈́}8'5YoEM6 ) MOWw}̞"5RgeXaZvsZ[>:C 9OM[5@jBOa!iǖ!fN%  ugYZ5673d8dd5602125a97dfe8e8056d70a110910ac861532b7245075d4ea33812447b32dabbeba07b4a 3994299fe9a4f467e063bd0b975546ec5a4970e5 670ca3b0c6f16e44de7227000c0ef63afe050894ab7e303c2b4c2a36c0d885d3ac8316311f217f3e ' HOLCF-Library