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 D\< ] HOL-Metis_Examples:threads=6elapsed=13.312cpu=60.384gc=4.580factor=4.547zXZִF! [S]ŗXf1-q恈(K&Կ6l#8 j`;"<2NSVV[d)/Ƨo^9=Wۥl%(?_ƒ `$gsOL5]6r0 3!JŰgSn,Q97d-:TL'ʇ8=u w^ϒ*Hi7sᦴmȀ@.%jR*{U1<傌jxN?+]7)",4 bکNl@4DMYc#K,Xʛ+ rtmS\k2Vf>/PL%EƓc].o~o EYX;R%Lk9Tqay 0Ӟp0l|%9ݿDue rq7j aP$' TAhdt&I͜K4@^V'ú_48)0qwqTJ"2 ٺ\pu;"u2diqɼoi-bʌ"g%M52}{+k۔S<^jk6d k_V$tXb3з܄USp ]$mC*_(@ }`į-f.OoGU_5לvӼeD%^&^< <>H*g0o9宲iTInPO~3HF5/#JIqZn}A$|MJCOLkĎbs=e3e=-QHFwnܤWb ʹ#1/B]cku! ~i%c"߾KS 'O *%46 +>f;*5%@?5[2GJ!p<1o lzV: M q+QK#_?.Inf ܊a󦂒 o4DyY5VyudVhMkYD q+J>;Gcq*ېRzcSS/{4MM0-۟mEe+u9#Up<Zij~cmSoO\n:hq;W,lM%opM(LuW`6H7@-k|;\mI문%%ܔBX&W.6,@?!~U$3muoXVZ^g$㴔Y^(f*e.ثsWpЦ&&-Ŏ2y ޑ25mVMi{*SeQUΜn2CH K1tKۋ :Y[{RWd:T<}m`qY!ޥvH`qiudjE-UU H(jr6/>BEna*àȐT7w!_ ԶEwgYZ7zXZִF! ']ŗXiɟ1$Cܨ }X 6P]!ẞ \QM&N6 Gܴ`V{@pp,/\+`&+qͧ@a.jj 74]f4|;F z0R-9{HeQc?=+9R1nj|8wȒJ1Z!)7!o3q4{B!%'v^= d3T5Ӥy_Dd'RL"D ̍S\84_E]]ckqCڵRe$qcKgYZ7zXZִF! ?2]ŗXi%>B_ %hIx0M:cxk6F-?d @EHL,81H~N8DKjS'g. ClX |)<$dpt@܀u'!T_sSOe10q[ʟ|gpcHb$%՝"voQLȦApo` ni޽EMJ]xQNl$.D@BWi<@|] Y#% (m3ɦs>rÞ0K+Q+a[5Y0qK +~liBMWeݤ'UsAoZȿMy>wі }B~*-GhuVR]͉N\Oce3x0iLIt0{cuE012V!o+nkg6Uwd\AӧHTvvʢl&`Q!xeyq Tek{u\j=m#a`i4*pR:sa2-?kqLY h;t|XUŢ@`2.&sѺC/R)]*)bS&J&ҕq3]F 3ɣD~:MbʿޓO쎉/L2xA\]e2sQ2&a5+ Զźst؆8$š|Uޮ/2j,R ǢRpܢ&]}`Ǥ 2O}f&5elEUeóYa(Q`H5w|5y{l̚R؏ p[L~j/ 9~!v't/`0ľ3le*ZHJWG?/d2!2\4X4:/a M0!J|b.jg`TPci&EBW[oR#h9/lE%~AU%$Cqw\9W{B'tHwG4e |