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 i1 dt ] HOL-Imperative_HOL:threads=6elapsed=36.935cpu=70.200gc=2.156factor=1.907zXZִF! /]ŗXf1-q恈1$1|-~yߢ" w7Eh % .lbyjxƗʞ1ʁ7Hrb'muwN:o\6Ϝ]Ń/`Ie,1X-ʘ3cunSHޛXB`[x"I:^&]q$yׇmEn`#b~NݬaG(&"6}K7u#B`mMh *ےC|"r`l g΅}}KUa O{_|cR -!gtXn%U$h=">2yO,l & 1 HOL-Imperative_HOL  !}@;+\ ?=tѶ2)RV߳~)FUv(\0@۝A#Zƍ|_Ksi!͚zMg}OAYr$K*! 5q;QxHߚm0O,p^ZESg#J4g*y +Fc-Ɲ̻bn(9`; _˴ h)~ ~a:` l< yȒ $uK&j{^?ő?}ÑOXn ' =|4(utO:P5 Krm̾cedmF׽|kAov"9P/ܰYȶA`%t=&0:>s.he # !L#F`r&lƥN`ywBR,LSs$,Qx]mbU,jb>{5L=z㍪dGF: _rԍ-t Hq>-n\a6&6xCQc7eSTg"͖R$%_cv>F]> ^曢a9YLxdq#Rp(K\JYa01UJ `D*gYZ7zXZִF! D]ŗXiɟ1nhЦx"n_8N]( eOtdÈ>/t |F:+g26C?rZpht{SVA\&Zh;k5ol¬hP[X.LL<мL.ͤjTcXe4T? ~#Qȼ)&x ۱l;ļ#Fa7#p,v4 >ZHH4ęE(( 7x0K0W0LF mY5|'EJgQk3W <v*Nq^%iP)NףjY>Y)׳8}@&niv d5/ݣA:tiaK+Z  3vⱍilR|ć--s2DMtLLGB}C+$}"6eH4@6| [DR$'(FpXyѰ) cʉD8~S0{h@0aղ3T{kBB, wu"x-Sq~W\ ~xU7V0]b8ֱ̝+e!"˦TU3"5'}VmCP=(69ІUE+[0`MK7&ml1eEp*->8]$XT`V ,XV0;Pi FJXtBtm٠a;!eL`,1| !gWa[Vi *y_Xc0lw&(!lԕ%Rwu2{p8Nzbf҉ atcpCfM\=FH~ p$ iK~_S ݾĤD@V{v +AcJ>&r6({QH?Pc,٪{"8H6}/Id 3Qq<6yp<< KbXNY8I'VBjv^x \赱q gܰtPii]? T,<A@FBNw58F>Ww{O=^1ǾG ce}T$?X'wrѱAZKF9!AyAv]lΩI3[Jz==7DuR 4L T_B:,)Z8t?1OV@}f`U2HBrkT(Tbܪ`@v'g[zO>&.!h/Xd4^ZGD.xmffF \wkt$$nO%_4x6!юomTL$kY*7vZ" %zE5w@2||{|ƇȾIGw< _xn ^}.NIiN,-)T;ȉbρj=o6/q ya>p7"qj+g}ٛ:EqO&hJ"H2Y1;-Hϓ.Zvi f©ZƗUs4 RH8sc1ˌlrKG`7(au'QcU)"nĨUGnr^Cg5f*4-vӣf)eʖ$"pӱ\UQ JCz' ,\^I]'3vgYZ813192b1929ac4dc236d0ee12ad2ed2dcbeaf59c94b8e49d0043e944a495f19c32608cf5b0a49aab f8d5f0cd35173d4d81fed47d6fa807912b821f31 a840f3b5c925c9db3887092c2e92ef04e87eacc0