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   ld< ]/ SIFPL:threads=2elapsed=52.780cpu=87.088gc=4.168factor=1.657zXZִF! +20]ŗXf1-/6vR[\wAs.xz:?~ZF겲T .WN ԨeI(.Lԉ5rLUP>ElB3`vWcɧA^~ >6!O[.۳JOdZo4Aoonoh ]sqk=IW¥Pz;Dz晡KK4:6!7m-t1p& qSϩXnWK"n^14kUaǕ#اdtP?&zIJm}Ct DXBz*beLƕhh[:v(O2@zڳ4R#Gq f` zE* Eaތ}\*^A?U=+%$-R,w63[ͤl:+%kӗx]m,  SIFPL  !"5W*Ț΂X#̘JE`ޔs&0*4T(Z -a$l!WqrA0H ć8S#Q9'lv MEL7?={VZz>tW|!+{/TDBǨ扞4(/\Z"eY_S6Z@;H'J_c:zgo 9]*Uv%8[p= *) S1RrgAuqR ۫*?f(KcqM;?#ThG>nfyn%x啖bY #+L:a4bLrgadYƥ@I`߄V+{#}vFJAo֔y+_`dX)<%q bيt8[! Z}45\inA_vtE8 r/3TO]E|=o}S%ݚWSBЂhV_3^o_B_'_6X$0\+މ}QmY.2Iݶ%+x6HZzNQ}3d ![>n^`0A kiXGc,Z92Us5h "̧],:ÃH9lA y/ۘD戙ٍӥxJJ񏓝@NJ+4Z3LǀLje@mLz|Z7h[, ׅ PZSNu$yN(Z*;  GMb{Qq Rɰ+V "mN XtCeGcus3 DN?Kύt{ !|л4}x8Q b4Ӂh@sZ9 D/x+Ua0T?/ n3, -*,/mv%U,+\$`#q3nHS,~'z#@ E/fg`N<Ҕ25uj0tI(hŜalR^[6!ʄ(+I|D լFE V*"5c?1V(uv?uZnM3f9q']B |[]B,Q-_2E|Y^?jმ[E4k?ܸnФlX°5rS'"4-t_`WygNHhn8E'M)!Q /㠆$nF@'5/FFè 7<4v>IkE]oZzw,]MPa q˯GQY:Jߣ3ʖ4uk"T_3TѴ+t^ZtW7n==vio涰u*,D$C+R/i &3%%k7YP5)(ގ!WXKY86g3) q%k5XW/c{ۊ..W%ݘ#ٯ4!,&PM'G@7= \pSGϮH0r9JsEj?@w@^2?Ѝo*r0ߧn22;i 0`x* IQel.@b'Es}f3L>Q.Fjs *T;̈́AӖ|w% l}kj(PEڤܰlz! /1-bf@{:6b$7oEv9HQk&jխ^{тZ&\5PkUN׻&ǓAL+i#s{|_?|9bH@3il=I95j&]b Lc%7@,]bp`&'n-]RK1!^jY;{Ƙ2U1T~rw~} v;:u,\@oϪVuRXznՒ(-b JN-F!Xqavlq|M`ÿKڞˣi'<>UZbWF̯%^{ui.w7˶/8k1PqXpc[\Ia 1bBҾj%?(ح~0 Ҕ=0y],acHGy0o-4Dc=8\)qe 5 "F+.Ŵ0?d VN9@1/;{,)憌 ah$*HnBGEaSUg,1Ye1y@Y l?(r,.ff_VsɄo ŏjCˈMDY>0$nEZn+j߻]sw҇/of ="C>%QbT=RM N%r=RΈ~k0>B;ܝF .RHz=7"L{\yDŽ$l0kN>ME|PHf"t_O]G&D5̙~p×)do &*7-w~P~>/Xw#3ͭھMy ڎ|r P@,kl:鸱gYZfdc413846f711a0b47db947235404b62ba3697dc767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418