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 ;;B |Ll ] ZF-UNITY:threads=6elapsed=6.054cpu=32.192gc=1.324factor=5.327zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b ț#o4{10 ڀb []]͜g7ેE.J;5K06 l$Pwkt\ie*!hBJʴl"Vٌ+eѱJs*㟗m{j ei aQ|-Th>): r(؃6 .6 {f)?kI4xp<78IcuAy ]#G97;h4 9b %xYYV{03CI]&R޷ISI\h_Ūەv$RD|`8t+,YyvePPKGi5Bہ}4fb(zlb;e{b39bj, nguku?x*GjGgtɺݟE_R(}vSZWbM~@F) _qL'dQ OAe5K;migoD~G<-,{9t *ꨛBnN|TjIm]'yZd']B܋41=Fp`eHߕ$QcQ;m/fk=5CMro)iױgYZ7zXZִF! h`]ŗXiɟ9 i:4V;}A<<ګMP78W?DiSɘSLܡE= |#J{mwW1YZN--#[ W) 3y$SFȼJQqR(ff\mUKʜ dxMGBڸ\85D_k%R2|tchѦ %^' dVQ/@N.xAIx$ %C?d3ܤfc[ß;|ŻPwB kbL=N^Д^Qҹ Ԟ ⸛! dYzgBJimH}י7\zl umDU!i %}gYZ7zXZִF! $X]ŗXi%J ^07~T]hQ|υwذ |wB~C& Z^bj!&?tzlw)ʤ7Hl;@5 Al{BvPjg\1v‡7Hv۬fa*<àF*!cj4iuY ^CJ<sx LGx3~~ .QrL~UηQ Ur=+~W DHPq>DuT7$)+lV1_=$ }槛yYH=*dBPn"ҪQGUnY;ЌNcl@W9/5@2=ٴz=dXNmv3hU&_v^b0ߗOdv=t|54ʾp߯"Zj5u@3R!|b!doi=!7D&'q{ގV:Rep]($L亅H0Y#"cv]}5rzނ/I8Cw/0bBp6KW?42a00s0h<`Dl֖찧(08:ZvMnL:cߋµ \T/VC40!b0-9z]^F<97@k(6*),HWdN-;F&[GwzW,h=(Ry{*Nbph0"P۸Ax\ StFHZ>5BQpE-LQĂ57_]PvVcHͯN`4SLm!RQm[@6ċk=#-Lki_֠V;u#u2_O1;YihLgښ(a! aMڡn˦ZO;/e;O`FIHɂigYZe02c36cd440c4aaf8023098993f67c50a4ce02a597b6005f23613ff7cb630f3272a04a30fd86006a f05602c5230a91526ea2af600466fdc579715841 2dff5747eaaf1a0c29e4a8ea903b4e57bef93fa7   ZF-UNITY