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 k7 Ll ]/ WHATandWHERE_Security:threads=2elapsed=39.096cpu=75.268gc=2.820factor=1.937zXZִF! + ]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[KPu~-4ѭǻ|4TC=>AC{G21oR)dAmWM#xë "&Ɛ~4~B$;D(F#25UT.;Ym.4e"68b};^R^;ôRb7}r =x? N+71̂CdZ`r!,mp]e{Keor^A'K΄NB5.׈{%w_={R21 7 WHATandWHERE_Security   Sӟ"9UH59 è4z@Y+mз쭗ګPva];Aɠ˝yn Їܦ>>7-mH{@jC M]Y:>>,/ +23QFHzÐ\pc 'NGFQ0h%N ͬg!o#kUU"ȟ0s{0 r^h̰N~^sys\rV~wdy~~iRf՘ūi2"x-wDX [Nuf1yZpy] ?P9jĶ=&aGΛUtZD65eSmSCH'(~D<һ)9TAi›1:Ջp[\ظ<PU !e=e̋Yʮ͍Vv7l"sG|i߭: ,|c%9+)ڲ}>{&ЌԊ_fWlb{#,fύi:`^٬Vc坧O'4!QS&)Ԧ\O1<=u)y(֡J@8/mS0],c&x "#Yw}> =!Vfg$/IF )%Bn|1J)?S`};[GT$ &X{3əc,!:ǷL5!7DӚf+[~K&s(Ҵ^fH{u= ( P6jgA_QQm^ hׂxc?,oiԮ$96㋓XI?#5Vn Dׯ aM%9uɪI2_IrżyyJ+tZq Js69 k"+h66\Et#-N1ibaFZ yu R''AXB}_A=} ʦ0K}tPP'Q جezH'][lgqʢ#}Sd{U*g4/cmh86+uϕ4`ϋ,amP>?E-ڪR`&4{/""F.=]_x5Ynmfp)o(\{;3uW@+C1cV.723WdC]+Md !H\ h>׃#Pվ=#YK[Q >Fc!p蕒>=~ |A9[㺾n\/Ia {^ Z%NJ{弿 5z\;`Uz"+wH :1 {R_KI%>!0"T Y^*Ʒ%<+<ʂe֯""[O}$8w"K9X' ,,?8CC-]ߛU7%f&h0 LFtLyv1JLgQ0g'|%ty[^˵3*wWg]usF-0|Z =vkDVyn/|_KI|n*1d^bT!:YCt.O>_'n'N[>PьN:uq G'7KúfCs Y4ͤL=WdIz: rs,YN1o0P>01++]W3( tM>:2ҹy܍Xp#m!>u%m'<Σ3adh-[؅EkYu'/ @$UeZ.FK9_l \]jos-l.6m7-ˈNoV1ÎX'8$J3>?_+amT.HUt-=s"}W<%U(\yFxYgo ih{}63Q xGOc Xcޭ^SO4ޣ&[ KI*@Flh-uKK" % j( _ՕV滊FfE Z+)`/Zj굻| ɑ)"ifp׫\ ͻeCx/ŮSHdcȱկ&D.mG_wp3FT+,u.Pg|DX˵2^Ms B 1C/CG :wd8hUA֒rn-NR,Q.v+I*t7(|ꑑoCl LOL~:x"ZV7W";os"\J-q LcbÄ)愦 K0C!3h3 M wfe.;u,8B._aϨ_H&58u ޢawx"S ɪ{9c -plM*nV 3 i8v#.h-*j SslD!u.|Y1WщT4%n[bK?ga!D`|JvSsⰨC9ذة p,-\aa9;wW@W%ZW\*hߝqSiFSu9zPtΊpJ1z +G:0E6>eW[O&k [M)5MGEzl,85m \<٪SO[gt%.?VvLըq0TdLU{ZPNjOX]89͍yerj]~`Ȧ1d!IS uƛmU]]vrK!yG8 ᔐmt%Lk Aki DJyL nNjwϩWݗ=Gy^*IfNM/OԪ{ST*Ӣ[-CbSv޳hE~`Ucjõ?o JCe-rX@nw6c!JZ,qsNCA"^q4C9i{^Z>  6N6 s 0gYZ9bf2d00a310455c7cd1df058bc54aaba0ddc75bca70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8