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 99D/ t4]ŗXf1-/6vR[1u 3ܸ&S$'W+$iq!t52pI.9G.lV^eX,>>z5/4cS_ ΘUI5 k*pP\]/CU-`8gpGt3o)rKp0wIQhn R&o)r˴,\&fJ^ŵXw9xΘ60/lp\Y# pߕ#ЮDi4->CZnRV,)kZ*qR<宍KyS3{s^LgŘq*=՞qTKOXm0506VAlHEEMc!,_!2Ń$JԚt?{N,Ah` R =/CSxJd+4""cd\jzCFo3"~ {iG ,-[⒊Nȶ|e(-⋎SEHqP**ˣg^V)\ϑǓM.{3A|;dy4^$޾^gYZ7zXZִF! ]ŗXiɟT{F moEhuFw2W>&  L@ڱpB tSu0=QOC~ #y|Sqݳ<ѶrI[ӿ!M(;sQE _{ŏByDP!`vHCEgYZ7zXZִF! H4]ŗXi%;4byqmich9=)0}lVF/l -tA9%ilzEe.w(h#F*C {2ګ" HF B: 4Rn>5ց*U1X[QC l;9D_ni>_,-)J?" ?zKgOks5|d.4!̓RGi/4|DVw6Py`F3lYin$Z8P:čfJ`搒]rrro!zH}U#UcB DjX`ܭܝ?;~?*(ɼWz\64ûXcizZŇ׸j>JT UJr+>E=Mҳ2^Kfco=|5oEIJ&Huāxi:qo3ɤ.[a]ʘ$ȽXD;*榸F+Sp @ڤjֶ ΁I)PwM=\?sxɞ+ ¢y=79uyVUv Ά u؉C=FNr,j('YűڜSĺ&ߩ*GFAe7EI^9!=ӗ&JO>FI܀ WjϥKqhĽ8yóڲ񟒞U]BMJ Tߢzl+Z K143_նpI] <OA+B(@q]KXRDAm )7u|Ll<& SÏ_k|irpz`s.B;;9rSUTкTQ3x,jQ(nSm DzۡRcxmCnBBkQDJ@wZSNHNi_p?4=$řӈOdAiἡm[Y.c^G~"QqB;%d:.Ů4Y8\ =t=ɣZ1"wO%X0ze#UԘ]E| 傯_p-!׌dGmMjPľ"68+9L^qՆ e)d].Л'ע^1&ۜZ?> u I^5zu8@py` % Gr#ȘP"Xu3S V!F’9}V+0,!nT'. FlOKnfsKZ+^~Mm925)[ʆZe.S:ӑA+o=iqꮝzE@d%:?nȑLCaH==M39YMc#E*/Jwس9yI֧b6D z5[@&4_&Els~WiHZZubw= t)Atvk|Bx}:+"ĝ{xUY(!@zhtRh[UR wf\0/͢L08!lܣuÉ m]^(d"dk^StU_j3 ++mQϫM8mqNS =W+柵amw>$ZU3aہI]0хFrv'Aִ1BMH;^̜i6=SxhxkE;t<Vk:ܟYU+toOOdyE:dp"~[e7_&em 7> P ~Whf& jrɀgYZf5a4fc0766b27df71fbe5f3eb711713170c49766665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 / POPLmark-deBruijn