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 n ,tL ]]]ZF:threads=6elapsed=12.240cpu=46.004gc=2.936factor=3.767zXZִF! M]ŗXf1-) enȈA XR„u(x3uyK>\Y`gw@xg `ET)2'f™, A^*-Y,QHoWɏWkt৞Dh+!4JԤ4 ImWlN1vBFp\!Y3-Ѓ~X\S;~D;R/ 9m)$iKf-IٛAF3 pR?\[H$u9 (*4C9pakS*=oJ2&A!kH]@7 s[yVqj}5.T(m@-VyoF:y!S\Kځۘ{2M`)< {UYnC u* "3!%Kl\Ɇr@[)BB4'l$CP6h3:Su:)ٹaDvMd%G65B** ɏEՔ,y߸!:sQb"Z*gYZ7zXZִF! 4]ŗXiɟ 1FE`空8K""VO׈ݺVH5Np% rwP&R LY}u.#@%詩}k,f%b&I] C52[ _uX_j2j.)v8fႁYy~q3vk2cۊY0 LH zp)w77GVAuJ|]/o' @W7~G%( :VߧP4M,#c@ڡq Uny|hk0v Cn*%ԷgVf9^>/$Vp-pL9*`'?{ 7Y^O)_`"ief-|π\A+ J_[ꭲ %|a>`j9614D&|sCqrEgfNd: ucRڼDgYZ7zXZִF! F _]ŗXi%GH5xu){.>]>Oeh$W.k]? rfkΏշl_J0{ ٗN` >.ەD ٶ.loCKRLCᄼsnaNYYx񍯈"b ^p7׳dlu,bA]dP;d^G6=$0l ]ݲ$d+ CȚ`drAvd(@ST|,٨]Ҭ'utQNS!'rYرPn ۢ3ӌԻ `4J0-3T(E03,g @[UCY6QqJCk~D6:nT iUdeUצ ƖI׵sX \P[pJ+o XR.a`ȅ0F~0:Xćv[ufI;9d$GhVᶟWb)y*B)0~fgQ-g+b@ P &8R~ზJA;62Ƌ&I9tw.1 rU 9Q~Nf"(W0Zysoⱄ%A+& BҔo@7 "r'(u򻪚ZO@-P$kZE<}MTa4E:1"Llu,%,)`)vgI-??O4:8_u72juqk4rtH,|%ݑ-}MO {!,6 `>w;`j%Z] uy} 8٨2Q::X)Pk81<Q qn@f&_e+~7izq&D$#KF5āYCoZNG= 0)>-}Zգ5#ҁ޹=OvE;<5C10mci.Qbk"WZx.n,Ogf,b8:B:;l|T9"G: ^$ϖ5;wxC8oޗ^2Jx<曀KJh_RMF.djIWI;;k=)05 ~[ي?jGRP覂aXlM?ƋAKıpClj{_~HzYǡH(.9Q\(? xv-Њ/f"[4Ц;BDkb%P\sʉ<6n`ϟl,mdح"!ZqUehԗ2/*ϰ$G#wg3=^r$T؋,!q 0Nr)mOgT;ʗVF3% ơdl{RHMo6|h lnLY_YOK(onT EmgYZ388c58c107177198af22d9e92e873363ca06b3227a26b1aa42c8d55e21b9ca6ce6209bf2a039bcd8ae9967269a3a23e1759c5cbea75e26d60d16ec4a  ZF