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  6-@L5BIԂʒʒѥ-&bMpY#Q^6㵴mJ(6F`kV||v+LOܪf6|{//>k'ğOe8v&[5fsecۥ:5}#nw50Fvۥ@'9RTlJ"lbڰ&0;0'Ry@_wTN 1 _p5.c/tZP$ G|IlQD]W$`K]@DTN4QI3 N Öc"хQTQw<=H+]UD3 b(Ȃj[*)C s8\S}f2xz%_AӺ O87H\z]l/CS MHSjzGƣ^}@m{~={8uhy?Z0E/ ՝E ފ$ઇ,U;I`ES}=Vz_%TyN{}IVg+"Ud'% 8V5(ˇcjxG(J n $o^ 58ci85^~vH&Q\,MT+6D"޵N˂k88ձwsl⽬v9^Ղp/)fK8TBPv v7v}5N#CsNَH#Ls`j3gQ!aخjkZp!By` NMɁ":Lu@?adq $! G 0.9Qg!B3ϸ!*YCWٕ!P RngYZ7zXZִF! ]ŗXiɟ*#$iXWRyZF֛Nx>|=V}Q6 XjŴ Ÿ%%phKazB+ 0gduK}PZPh<]Q. ˜_"$'pIA E2%Jr,0Cjel:~aݮw >?^vm=`h:—3BE [ doBE;ԐsЂhjj0n}L3>2Zw_ɼ9atg` 5̞҅Fuڎdˎ!vh<'{<O>bHe|tW#B ˺8o8H"xH N>n[]M+P`f`jfh䠄/wj ZԨӖ15墖`Xɵ8v(̜׺$q>d1e+QQjOvF+ְ mq捗r,^TY+0K״"ZS>^2|ݺ%x yRȔfY+ ~TT% C<8pT9`$S̫Q$-3NLR΄hU^t0׬]>hw[>Ni y&Qs%꒨~;Uda,>735a\=4n5T.RE <B8kMaᶠCB-r:^:z˝m*-5NB{BgicEWifT'ff9 eJ 6_Jt,!P}jלHLF ]]5eCb!|gʂufG"&w=Wz 5E-ԛ|ذ;L%|by6D N,`Mڳ %569D\ɜ1S2j<ȵ+.EUBP{gE˕t| xSp\%G?83b8YQj=/orPdPV7ȠPɹ6~naM/5'SWn71;G|J[_9qv՞~+`#B>c,::vGE=0˞j}'9p;,#Eܷ3mg"p8Vstű|dmRcrfS3nx"5PK̊%.O5^} Cx:%|ѣ8r϶S]s?on ٜ|IW_Ű@E0Z?o:LgcnJ\n=[BzLL%y"0.dǃ UtBk򰗑ɛ$][~O L>B¸A!ت0fb$ݳVi]KwP{wbhn eՎ_ bCr T Obp:8#HUGLdaҒ]f  H"h US<ّn0k0)۫_Redڞë궨 t(κ,F! Y8nUICBǜY 7T"_ȳ%̒‰ ݊!qupQ ͠SԹZXB{'L_F)duKѳn%L>W ̮2/FQ(Lr1-5|h,>g-#WZ.;=ā|)k[0k@]?݆YQ p|p@Ex/Z;97XXiG†D\}9}vW~sZ`;qؼ}=?M@JfdDjayQW ^/n鼛)TW&On3 [,'vT@C~kz`B]\?-]][ p: "ᬟM\;w5xkҜE&:g ww)A4ǘ3VQ?x`3(25>;.SPfVŎ|e4A˱ ]y*C {K˝m$ M ͹<bSjuKo;~HuJ:ú+<~d]m !0|0ؓOβ{{ޝQ_/sN=D+A WXȕI|:~trG _dg T]HҀE&u`fT41)ul M+{869=1 ζ&E v` i\ީ5/:tQT[2%YuoI,b cO¤HA߈.2 +U0yZkk'6٤v2 fpd+Q &X̯=|˱ #jP:u/g%STIKHl].e4+6_kv߀ O/T⌖*m.)SA 2 ĔhD&5p`uk۠GLS^w5ZMn@?q5qMr@W>֯$>D(?s\{h<VHub!^YkGLL9&ִ@|(K#|PlWZ,lCQ:Y?^jșB4\BJ nc|LQ?(!kl`btz >Zh<A4 ej?wЭa|Z{Y ^{u~"bS\-Y?(H(S?|=+MZ}gqNc]RnRVITF2HZjIuEAj >dLㆥOV(M h\Y*ȶ)2[s֌<"bx9Cdrr&F44F̷E bv܊Չ,?@VWYdMͿ߸ s<7ՍH𬨨bb;4 yk$ܿB3N+CDx̅QjwFdh o!9$S=~/?i~xSvH,.JvJVvl 4@BE$NF{W6]m:3+1|Ht{ٕF5rI`l@=bIgYZ56389d72d9930959db6921f299367b7e7d4bf759a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c e2d50c9a035f14875d5be5aee0ffd9695fab3972 e883525eb5249edc43a3c29abcebf738eb804c3d