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 ~ TT ] ZF-UNITY:threads=6elapsed=5.673cpu=30.260gc=1.228factor=5.337zXZִF! <]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b @߿B7[BRm4܁ tfo<4/ibR,VXuzvaԫmAYhNٹdGA|vu%`$ P;rG"E~~HU:SL޷G۽S\g3z-ĴYxa^[".ΝYXs]o:tb1@p(pmҜdAW!›7 hbtnJ2P iۑ<$Jxhynǜ~j4쳊r3ĔO8K7*otXPY;g2Qcwޙ"tq`8k$, 暠hK/olۨn(Rެ^b-+`ߜν435 `cڴ0Ao|[)~N] 5[mz:`F Wؐ|o W,k9'*Y3-|0uT:ѽr[)N+ۥPe˒g_V6*[`]6C)?(UK=H/1?߇ +Z'w7#(ñgYZ7zXZִF! hb]ŗXiɟ9 i:4V;}A<<ګMP78A* Ӣyv%8b.[o5ib@%0T|TXs2x37\uO}M-q7u:n#iIMs^xjt$z{$ԇ|(R*9D&{y#{ TNy1-e=AH*nr6QkW~0a>nke4o]+EQ^R0-Ew߂ۗ=ɒCg^ XQ^[R?WW2ă&xEdjm?7PJ PP &vCb$#m?8vw'' t0gYZ7zXZִF! !]ŗXi%B!`w;eR~u~$-wMf8r?e^R?+5k%#[Eܴ_̐)hXp?w/ݐaX{2Ve(xH]aT9&LBپ-Ӯ:&e#tfsXTH`u-/FBX'5F6V0sۜd72 XF sx'M$z$ƷˌT,PW6rr ]A-W3. oz=7F/zılƗ142Y2[~ˁ1eBLVDbA43 NConͻ%SQr3m9QjlIjE7v?5f0W+4a1pڧoƮxnٲRF.nCɫon8? *`؆>yz(myByn{ߜ5/V}?6n\V`t> R䧛.,rlU*Tno;MtKox(h,K0iGѺKIʼxh{ 1.2<ޜZ}| U_/Rqy.1UΆaUgm'w I$fmk2Ǜ}Ͷ*ڷ5N& Kq<,ltf}J@SlGM0Oq~NqȠT$z|ھu/rqi5Umq{!q`;PA3(}?=AÅ]OpYh{: ~BI7t-2[qӨjJ!i㡐焯scg\Iq[KVvs0Ĕa!owLn "k&nӦYBrCCRQgYZ3d655be5a90185f752ceedc3ef2c83ed7fcf411f43c7be6fe13329de6d6a102e9f64126d9c7b89c8 32336cad489f0c3d7b803d505b0e598315be9f8a 792ddadf6538a33d6238e3ee2bfc38562699c39c   ZF-UNITY