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  44T ]/ ZF-ex:threads=2elapsed=11.582cpu=16.676gc=0.464factor=1.447zXZִF!  ]ŗXf1-W(TUK`NDdQBU4"|XDȸ=al7QOnu-H!k4 b,9g]nu Fˮp%\ir@kO#>Q5fCEtL{r/MP ugܫwPEԢ;WQA}{Z߆ұgYZ7zXZִF! ]ŗXiɟ9)u%Sᝎհ{.]\'a'Iw:v`f/3;~ձHΒd7Nl/&#_Jc3L:ħ%/nFX _jD $:}w^wi/*•_O_Z/c)H٤# 0.䥺Nox^Iks&nr/'yv^gYZ7zXZִF! 9]ŗXi%;4vq&0~S(p?@< 2 =ގR*!5*X4.P(]F1}d%-Fe]-S贆=ůef$𽒁A%iL XT";9噄 _ t**B圢cU5WWE93&^d6JF[?# Twm#P|l΄I)5ן 93Vx99b[ A~y $J-@CS7rl-=A!]#l>S{3[T .ƦɝG[K $$4 ~s{~2[[z2t?m{&0Ld;ٴb56" xhïe{䗁%W;lsteh#=h>8Lɇܝz "$c~M`;:/#1V/4$}I%SYK-wGjT=z0?v[vs +5gH!J$,Y#1I)({_Fo9̀LF,SHG&(۞`nhZ@x|1N\1=ǀ IBN50["jk$ U?fpUq u׽&P监@R>#c$ʧ0hzːX)@IaSjF:6]g*z[:3u_t]@{2o9av?(r31)5)hmmY*|~fdov}0(}T#X2533ƍ1і)/r#5)a5u|b0,4 y.GfpUQI/ےE+=>s6gYZ53600f8bee1eb329a5ce3606bf8c98297e395a0261532b7245075d4ea33812447b32dabbeba07b4a 879efecf44bd7b2fbf88f8a2dfc0cbec187e4557  ZF-ex