SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ]]  \, ]S Show:threads=4elapsed=18.144cpu=44.900gc=1.468factor=2.477zXZִF! H]ŗXf[&QͫВO(KBCbd$%sqc^=D.IN6/@[=5|Կ .M5 BFf~17vﵳqt5omF}\׃TӧR2ć7I2]!,{+l uae}l\|2㍗ˆ=F<a~K~7E` ŷ͝2R.p+@*\Fc],HuxC L8M,j a=gOFkl8B ړ̎KP>4IRyUD@HSk5Y|g .|2eCOɬP$L+ _OyQbI/!sZVlڠ-]Pڐ7,2%o#TP=!j鯤R‘@rEXyłEBQp-pbH|;Ń jFD--Gқ{C^*3]02n 5{X?JQKHB;C]* ]bsmX'Ӏw~s@GuRMwJ|uyLN^?3\,b.Zk-;v:DP.E)x|-3 P%J5$~f XAY/#ky'8 j֣`+(P^4Um_*%S8*q(NQ+'b@77t³{*;BU*C͗*dwO*/Qw4d`a_?zjC]`?}|PT bEɐme] #KL \4 xGh_<3(Oٟ`2040|# .Gt '*:YycG$f%/f:[ȣvUԫR>%x9?]{,FQI `ē};V2`mzu<eėM4tiV x7MY/O'9O':\AZsy*(6z|{>>gtafTxؚąn+wr^\b  ~]!'C|RԲKHK^3~o7;HLqܻ(pJqhlag(J.1ŠX$uDowHKDS x]lH* Eaaoy 0ҡD۫y.Vc/"s`sIc]Br'1CD;^0Φvgf}{AimwsW9\nl&ZٸGx͢yAo l[Ee ) LJk P;:kضk7"Q{o0;,:+yqk朱qaە87pfuy=ʛr=܀&A Pxi&V;y`] bQ']p'w(j4ۃa6<8h6: >J-WuOɃWHM'*<qGz̷*pMBnqM'(2t@VIr̽ޗw8at"NyLnËz߲qB>5z+ Pa"vуD_;x`+:yķ_ac،yFKs4?+m V7 Sf͗^Е^#-QR,dN@c'k;鲮Whl5g\)K]@ŶY?7Fz+VtS2rJaCjGFӳhӯ}`C~B;o߁+@hAv}>C>,m0[|`Fm۝5 5 !9@^zH# ï7:c