SQLite format 3@ .;  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 kk 4LT ] ZF-UNITY:threads=6elapsed=5.871cpu=31.524gc=1.248factor=5.377zXZִF! A]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b ɞ\*ͱ~"`yn2t(EmFDkc{9(9\D_oas yGhhVYqvEϚ2VHb0z5L 44rC:p|#/2eg-4aSdcZ%Qʋ DWbBJ3"x6J{.m?!g5mM^ }90U%c0 EN{^3[dB^OoRo1R 2l@ۃNĪ祅&ﱍ[q&1+8%In%J} RR x=h\Ζo+;B;o7\l†. .qpnaG~QY\˝8~|'X cM3%wsV8<\'3#yOw_ ?7nk(9bU+GúZB\5ݗV%*}LX HՉ(ʼ9 %cI%ab>_\E!rB?$y`w+)L!OFZtA YIJs1xgW\&TgYZ7zXZִF! h`]ŗXiɟ9 i:4V;}A<<ګMP7i_1e[a=ԃc6TogϢU:CMD'N: +D0U$K=n[͔ Ut""bEŘzFxJW*yb^"}3Z<fH=&9y1^pHz ~y&0Sp0k~b"O^Jπ8_'L9O16As'쁺g̸hgKFY1a0pw~gJKtwiuSDh9 /qǼ.:cY"/a sI}z$䎪x %}gYZ7zXZִF! $U]ŗXi%J{)/'`J&po9G|k<&|]sG O/!xahDPSQ- f&!q%¥ld4=QM0Pna)Z뤉,0ݺMdU4GjӱTt&5sUfm7m(=O)+jk.w<1}l̫2=矄Fd!]p ^ I.VNbb;ybHI (uow XW<rY d؈͗T*: _ڟa?6h86b&\Xy;YU2o:C-9XjȵPej2)>wl]+=1GC>|\l!2Vs뿷aOFBhXM62J ~|VLZbuNNdTc&Z*ްPILs N !UlKY0A ]65|mc}I/Α(2qZՏ!2= 8 `P³[멎M\ fL}mo>eO8e\"i|Ҙ3 nbFv9SqJn/nlK bN,H#gYZ48a3a0f614e871fdf4c598c4ec60a30451900821d1779d2ddc889cb6287b2680129b97571dba74da 7a01f82e467f0d6f8c3c3b72adbec0cdb1603a42 4b14647799fbd182a334caa652c11c3ec34c92bf   ZF-UNITY