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 ~~ LL ]/]HOLCF:threads=6elapsed=12.380cpu=38.876gc=2.428factor=3.147zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@05:#g)_jY\ؖ7b"\qt˶IqG/GtddLQ+Iλi26XJGo&5ChP ?A7TN4p'nAmot G} 59W7a-L([$ i:Jv2A=ZU̔MAQHo߫ર'?rۍŀY֗}ͳ>> [e9cygs  [pu,ӱhwnN,s2T4q&DM&k*A]báӡ\,>a.s7 h?D]z:r*ۧ:S⅝9۵7>–T \#AՍRVY ֑/NEɀf$FzS&"(fxFX # <3 DSd1!9~\Y0-Wv< DDʬz:p fz\fVRA9Ũ,b*SOF9y=o)n|v$_.6"0˰?;uM9l/'e eQH,:ЈP[*x,|sbP&8RObM9k6˂@I #t0IgYZ7zXZִF! _]ŗXiɟ>Ӈɇ9S2]k8'Ǧizc8Lu$_U^P㡇2-[qxHnafZ.zV=RIc ]E@B"mZLe{YEkLT펔AeLeV64. y׸n1e 2 y LaOB,Xe7}u0cYJV C)j|C'jT:p!De 3 Y+gp9PcHEkܡTP8{@GCZger*'‹_Yo~a ۃ' s o/ԄjnwڭLK?3ilQ/ v_ynu +R6^v {G-2HQ>qR{2$ vOZ!Y&HOv? 8F҂Ԉ)|w[#yᘴ}^j22 9Gv#!2_@pk+e9"m2n?̱]콗4Aռܓke}7ZA:3d;ro[>w*BqjUkkaz^_(Nzhơ ϑUDjYJ5Wۨѿ ChJ#ktW5u/ %h-Rq}g`zSh WtFwHDUkUbr}QD5܅Q!f&;i:Ml>﫤ȵ/4ϼ3^[gAm72֏ޚx|B"WyT+z$t* L&6i-D1YM%0s2Ҝ6rH"S -zƶ$Є]֑2bI&GzRW_l#Q.n-?ɣ/0ϱ |GFT:-kh"[49Mˠ&0N A:R"(v_+2r/