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 ww <\ ]]]ZF:threads=6elapsed=12.592cpu=45.272gc=3.320factor=3.607zXZִF! Z]ŗXf1-) enȈA$jB80l,v8-qFN}1!fWo)$ [I?,MA|e #;87JCMJSs'Feu647hGUv2W j&H陵p.{Rѹ;t[ @\:g!W8:v3݃bu;,NODU OLete9P2䪿&2&8>^ ˭7Vo?+cba~;`iҝ P/9^,1G]vݎəRׅ+4mM?TÒ⥢dEW7?ovhouSXr6&dK+qݪ iG4=A;#l(\J&G cIBR3\8My e56dqAg~. II9t Q籛/,2͚_r%væ'HnY6 1Ju 0s/x+F{ğFaT,I*P9iv-!Q=Es5sMwKw籋6mq 旎.M @,sI%*--+tKnvX%>3m-"jG| >&  gYZ7zXZִF! ;]ŗXiɟ 1FE`穵+&*=xp*86 b>>-mmG0؄"e:؉>ް29-;w$hJ9F[waOd:^+y`4oCA=.<@WνTɹ BeO˰v5jU|-ȩH8|n=b19Jf22R`IImZ&IݮBxqMBu"+*J=r1Oc%)F(!3S#W3M+*o.yMNR&%%t6 h盕+״6)OqnYGRu05͸yȌDH\Z8O3sWsM]%2#dIŻ] _!fz )%w)G4^wA9 YU^1eZ <`\Q&2p*8{<ӡH;]ϱ# |+dUw-rz,bs0lYgYZ7zXZִF! >(]ŗXi%>o҉@~4g9/?UUSp,#˨*LK|&([hPsޅn\n$[WΛ,6<੣T_POv*/VIHD8W?ؗ}Lf8VgYZ>w=ZVx/"L>BbbISQ~Ȱ;1Ng Aw#e9,`(;E3oҕ%ďJg;m0=^?(qQJY V %?Ǹ6**<5m[GLG- MYU9QSQ 5/vMb@2NRcI'Ecn5Q@X +R5p%,g+ȓ{D' 6#. )qezx˴wMU0[Ɂ} ilTEdk/pO%B&`@_X/R~[]t7F  ⃍ &8tg0 ,4t`ԳUDr%bdmQ!m=!' > /cO=kz\yK$E#:tp]HpD8 Z˻uwNZLk=hNk'Tuqt| O"HjIl6}8!ڦ4L ?FB/=xjf*bZ c;*ݏu0MnTCtN'h0BU;Ұ >uIH_)hbg` :`sҙ Wu6N ᒷ{?S*%lp\ճ`qMY$ ٔـaBvrb9kZiO%U7Yg-袜ffB.F{_T}[J;Az L${C BSWYA[<\t=WZEG?6i,Vi:CY_cxZY3WZ?I{*;94񔫁ƍlOi`(%[sWl/EW;ث]|g7) uj"N6[g<"WفCh.F%(;̺@UA,r V Zr%. ԠJ1E)Sju鷞0CU[¹I;O4ؗU;N|}`>鬾 }}TkgYZa6b24e832f36987ed2eca33b4cefbb43e3526b56b4f0352ef26758d0b807242b0832bb09719f7d40d5f95fae1ac937393413f028b82172e6fd68a7d0  ZF