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 [[" $L ] ZF-UNITY:threads=6elapsed=6.060cpu=32.040gc=1.388factor=5.297zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b XȮ?`HTou/ ٢dj-c \bBaX{*rGZQDUNը[\B>zyFQhh+/%q4PF+* Ӆfw ÜQR Wvh}t}?K'(#^cVZEt18R9Inȴlf}(ij 1YĥEKխ'vȢxQR¬wAxr?8[n%?MMai9/!Jivsv^Q"Ezj ~XH/.xǩO Mp,>`]0j kSEX^9/;nR2.(lD Lj(tfiUώ2ҏ 8- \vh ;I/v?-Kf8:)LT.|nŪ). kƣ,l~mT1;.q˟q:@N Q&yAWjh,`h[]&>;o#>6s 5.Es_PPXa'ZJgYZ7zXZִF! h`]ŗXiɟ9 i:4V;}A<<ګMP7i_1e[kxfDt'Ra4AZK26S0etͥx~QTo O}vlԼ5߰g^$o iIļsjUhUؔ%!U|0p*G?7" K unQ ^oKīcH:Xq}'ΑҧvjɅŅ֩4,D/wU|b_q*o=NW?oD/ymsRlbͨФ\ %}gYZ7zXZִF! $c]ŗXi%GM5SŜv68xhYyn/E j~%Vat}T!F,]#z`MWN3I&6*zhzϺ/>3 ^G~BmzQeFc:SQ!ʯ!GBe)[){;óN%c7 ݞ"T(W5SV3!S_Q>bbZr o)ݷsU]yfWc{lЍZ)5o< cΚND˘X G5Oχ>7U,?p 1< {FjjPxk7'!+͉/` ;M F*~^j-<*䄆8޶"ѤkƄ"9v{=2~ґTzI@fʵtuµlˤ.0k?;&Zw~~ 7/cV"?-:B^vʅK{Wm=1Qѝp1rTWA^L=H .Oڽd7Қ`ޗ_U ?3E:$tIz))-fGOg[IDlս)*R(ҰR؍o *se[[%|Ѳ`a?u* !'%SEt)fA ;_Z1P8=axo[Z`:4y\sfO&V۝Mt΢kFЫO'?}L :hiպ#u9ȇM,#C"+ݑ1=v_GfzhjI