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 +7 Dl ]/ WHATandWHERE_Security:threads=2elapsed=38.016cpu=73.036gc=2.504factor=1.927zXZִF! %w]ŗXf[&R h V c?1P5G1 ,@ESŖaQI nZ|T<y=rNfZ$9qXn0 .9Y^EaOrRNⴊ.Sxw6iq]y[G~ZCa< w^^ epd򞘊꩛\mG:t_fMUfGh,̸h4}VDē[nwRiQeTcF^ Opg)CK-^]U6b]X*ϳQ@{ŞlJ5΍sQJG u 7 WHATandWHERE_Security  ",nװs*9{; = &TՌb p֒ "DO;4;:O͏iґЇ]13E4f>7qܦyhESȌ&p3`bC“;f"y0 L×LW($gyP $d6&WTu0ݷi8<#£>`UnvΘ^1@)_^DtͰ:u]q^[47bMG407 > pHzBIr,n-S㟑ou Z:s6w1gc6uJCuWr <퉭Eo74لcb{ii ߶V>49$[hlSVBQGLۜf9P 6q6]3l^)Kvkd?f9 ߞ9~x7,V="2o_$l<%/Ü gkEU27U$C!Ulݧz<țd=z!dC+ mdIK-&)L3} of$JS7gYZ7zXZִF! ]ŗXiɟWڱIY\u-Iv*#ql} U<$bPi[ N۱AD\u͵oy2g>P<~^a4u~@)iK@VFusSk`~4X L( q/q#m+?Npw_[a. A>P8j>rJ_f_ y?F0 e眄ϕFe5|[cWgYZ7zXZִF! s ]ŗXi%>g*Neõ ߵ3Ɩ*fך Ȓ'쑙Y9ѳR?@EӴw FIcqyFND'NɘGZ"D#}ƶ<`t@sgƏ|29Ɵy76Vc|dLHrZUD.ܴ`ذGbvu8_1|YjV`,?HHo/޷t5׮tO N: c~u`Yݖ! z25~%ud;d\ |3/6 eŎ-罧)M`(u:n 47Q<9Gol:2)nwiyC>D,1ճIk9*E-`߉nnbx.7o򠾴TbmjfU{}V~>]%K(ZZi̛H$ -2{x+NabP.r[ES] /R]NnTV-OiM{Nru;E(X>݀UQ9py8TX> b1B͕-@>kgfr)l9lTigG۾RjXMONx|Ejc>hq'fr{zsHow?`Hx'[U' k`F+Dn1pEǧ&Uĥ!>]&lVcE a3p ۱iM-=(vO8joPEWxM7;C4 Aa^(|cpfYGk|v=WQr \CBu9`5qFWKp?y @*0-b=e nc1ЙMTVOILT!6RZ|jV5"O.AQw6=!Esї bMu-kXf:W!j?zc/Qi3 ORL؎D7G^<V`8baj0D6mR;aV5"ߚvc5ɂJ`?G= l }|V7~¾ɽ̗{Iils)hL0?O:M/Fi\ 6oWݕ~Fh @+d%)iW3))ĉքxAv$DwUY$*2?&y XkZUՠv%S R} Z;OK9Ins&gGɔ^Uվ7qP:wڑ(NvaZFx-e'c8:Ph@#pHGAͮ`v5fIa4rnd`@TbGv?[(bxy*oeGxVud ,. D'x)-VU67}5uZ;m8*MuhzQrRn<>9SL v?&5.!$+h I j54 ().r9~EJU*&:U9> _2 'A+Zd&ڗbu0=KP3(?& D1rc@So{)9Lŭj7R# \IzaI6DC<_C)[%njyRK^Tz!atU?FA,]dRm۔)~/-+(4Z G扙 %6 $PֲV,PDG!d;IzѠJ䌿]>+6IdP?_iZ@&YAtRЯϚAET@ vy)SHmQmr &OvUo>Ȧ- UiCgYZ49faaee6731c6d5332d8bc8501af6e5ebf3b2d7c0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f