SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 F Tl\ ]]]ZF:threads=4elapsed=15.092cpu=41.296gc=2.400factor=2.747zXZִF! ~"]ŗXf1-) enȈA XR„ec->JGh4o [tkW\$a8}+$"ιWF]"sNVP-FsP-Ì/i5HH06k}JviXUFզʡ(/ScHw'P;lbkԡ=8H&oIc'z<ꋴ,(,*e2n!F$J~\1M76F׵p5So5/ ]5f-bQ ߵL"ufX]@wNi3CP-,"9S9#LT|({27_/2~)¢Bdߣ<+lK晆Ġ$/Y,+sDQkwc*~/ kx3ܳϓMMHN8/g*"KӪ oWN6b6d(~x) RM9Yrgn}gc& e`gYZ7zXZִF! g]ŗXi%Go8Wd:AD!ro-4@&6/XuK>TD,Mő^=kiIXD.hDnKaVV;-*Dc\Mk/2 _)W[Z^4dK2\&v'4 9`vSb6b\HDWhŗz%Q.,(8N>mߦNɦ̹PfIKe{b+kDK'4DNYeyk&C IԳUCń+heHVEq/kF[QMGyL~y{}=BH`Vӷ"HvmL#Nءf;B"r`zRn#}Y ʱO.o{r((QcN@qz9.Z;>()ذn}&7Cb~PX;rɘRߖcZ5 jcp뉿I|k /Tu@%E"IҴXIgEF`]k?x`8Es|Bk@vf남eЧȇφy"_UzV|C|UԊ`EX ~fSе8 (o(/ Y""m&X%l>XDE> +4OivX3*Al Կ&tYqKIN8ɮnd zu1MʯHDoPVGc WN<1:|3C]*uBeYrr\8UJXGD/-3!Qh*W6˖uoX?wRE]!5@xaT9Su"p |ԶX-I#:_@ d^)XAT%+& ki *]/}Yyy2~Bٚ[zFC\tNӄvMo2oE)>G!o }j 8w+̀eko]f6H K{ bVnǢõ~Ok #6ovWfA%pzZY6Jź_:@G"Ť|Y/sm)u検ᓆP04j1Sj Tyi!+dH2$KHtXgB]TdK*E>Rf&P .UfN'rR0IūM(Lp9Vr^UQ1¥,DTxTl8u{)HhVe$1h:A3<&owԩ?Ŷ8oC2 % pْdm6DꚈ#(\i^ek u_1A~pp s1<~BǠU]p͓8 @ q vr٧᱐Ɇ. Ex#4Q{(f;2!b?9JLP[:^Za?I9Pیej,e:]Cp" !w`L tDɕ!7"-RiJC|bw( `(!+u ;$'ݝZ$hK% ]@|Vꧮڇy^q[lZ,=gYZe737b2a24b63c748a91d4737f779e480dc73b2b7a3a1775be1ea4baf5315ad6630d6c2542be8f5bbaf356677b04fb2bd2ec85db128839da0ee22bec7  ZF