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  y1 LTl ] HOL-Metis_Examples:threads=2elapsed=42.133cpu=65.208gc=3.692factor=1.557zXZִF! Z^]ŗXf1-q恈(K&Կ6l.=Coء-=0Vvlx QMt;yؕ7w|Qhh#9n<ݿnG4D򺱎 YhZiݯ꩐VJO(-qS5u ĥ lg/5&?Pd[ =v/i2xǸ1a3 E/g3$Z%`zN)vxNCXVhUufUIIXAN+] my %>/c"`f0it o.WŶQg׏J2_TxF9S#&T<1| |g|dOj9oaTiy'NWH,Iz!_(+'zE/ ԲR"*N%XŔ53yB?ҟrz87mG 5^ G ּF7Cܬ6]o~O%W`]pf/{/h$Pd ] 1 HOL-Metis_Examples  J$=6rY1>ϿSKEC8HV e0gQu zUdmRL/D-??VG5 -ߤ]cBb̮N(VVDw63wgN@K{g?R7(lh!U`O:C>$D.ŒDʑ~ߝz9 FbAf5xBPݐh?9 ftfdqZ[ՃˢӹnU(GGB3+M f>~ߎz˿ݞ'TuJ2ⓗ:vZy_1=_KbWL M`#xh?k %axgЄ#s@8)tn7vʅGXr"xMCG+wJsOz,{Mys[v^&Aƹ|P 8nRxF@@D gYZ7zXZִF! $]ŗXiɟ1$Cܨ }X 6bv6LKMr A?5s_BQ@ԨDsϜn`_[l0*>G@vT=0δi(G:Ok,EcaCӨrdFfVBbʹklry&kr͚S3qXNJ f< cJT^g▮A]3?1OI_JA}!iWDȁ(?0VeF&@ w͐3,f|o bn{[`%wakfegYZ7zXZִF! v ]ŗXi%; +2~Bq!- Ho<찴7bG^*xIA.(~6{,}2xwXud)Q|3I!B$ٓ]$FNuӃ^on2})'@_ n2 oS$'B Ձv{q ) :>~I 9yТW=b.c].})7I5xJMf"?X[b" *K5qJLN^ 03L HD #&yq'Ȃ%zG8-6L*X/h̥#% ecp^ѱ^@ZJ%(JY j{jw! uc%gV͢T1OvLgoKXۊve`.Zvd4 řvm-tEP;K1F:8Ks]+lI7nUb%n?1x ue:c=:EVy $;]HcGXv^ T{&IQAJ4W@o"5>Dw1T\7t* iu bMZBRa @3 6V_)4PN_TyqC'KBS}{EduZ<^ CӖ`fh"6{ \(}2HS+{d++gdonv\QZ jF{,?8Cd[O8]"avO+璆 _aph*45,J>pWHzIآK*^2pOyj+;GT-!iߢkov W%sꄔe7zF@EKTWDCg'7W‡Bv"pT%f]\8Ŕ-pcE Zr>yW>Dfd↤iY߳5|IFEcN:#}Y>[Xs @) HgICLv )xkh,;%ε$h#FxӴ<M9Iyhw`R- [Wplo xi1rvz6s~U%/Ɇ"=)OAg!laӮp= \B9~r7EDW`5ԃE˞ib9#[>?\Ms>~R -$OS`2r:4lTt|5Z!fתyV85<~J֠{"'˿+̃I&`i^ k3*.}9lŭL!q,y_`.2$iq];e