SQLite format 3@ . BBh77otableisabelle_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   q5d$< ]/ HOL-Record_Benchmark:threads=6elapsed=125.604cpu=209.228gc=10.432factor=1.677zXZִF! i]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2"[xc Ɵ"WRw?CdT`o/a@ugYZ7zXZִF! ]O]ŗXiɟ1_sB2 ( |Kln/h.YS2r tjf[a@~KMunntk^{\*}YZ7zXZִF! H]ŗXi%9#}[t~3?姺]qs Y^S*ݞi*[hE?QlUwDWc{`'Eʊ9= +Xܮ?{yܙ?b:`ğ\+k('Dk/X<{ ,š?ZaZW}Faz=谖4/Ū.RJLO(% s_.FL)]?Ȑh}B!$dvĀ|E$w˝y3A,4- m.q8~]4:ϕD&Ɗdȏsx d\?O\$;`jJ:&n8 U}/,I놥&hAb4 ?϶V7{ÖWźa  ^KpsY6S=R:@ͼŐd_-GȾJ $xGm<@(4h-r"-ё {ML1/鎳ʢTeZR1sӋDn{l_WeP$6 ϡ+At |UU\{_.'6ck0hށ0㫽Ϸek: \Ć5iDz&|UnCKI${Y$KM%u>p_ . 7f%VUkUV |Svݟ+%M,rN621kuaP~&[ԾlHׇӜs+M=:|>}a5GȈ#eҞ߰ǶZBRěOi2Y:n=JH.- g&bVvuc^o[u왏 KF,ll5ߡA76UB\B4cZGL;9vB''*p[jZ0 _9 _$B&=9lgX^TW<rW _K 5 HOL-Record_Benchmark|F9W^a>e78D r+P=XNj@ûn>z4Ui6.;^"vch)yo9?  6d5~J-c(] ^_;4p*K,R@d| Gq/retapК_;V'j{5}Bh YP܏_)m1BQDHyKĿC2ۚ.bcKJHG#} ą铈yq,M^ p-[Z͎^tIq/m"Q-xج঩>;9(ۖ8 #.n Lk`6tk Ҿ5 ǨT9rٴ}bu @4rZ IU.ǘSd>,߹u^rr6##B bK=xdN-pc`G^VҦ[\Z)¾cLL]r7qwLSzAS`3ϛxW|~5 #5uxqD[nLܶc2eOg/l 1\Z`ts=FF`hܑ$a5nۯCdr䋆rdvP@x Ոǭǵ]iG\ՇT[S-ʷs=J<I-DtLD" ,׾XH1q•{AGX#'ŕܣ4CCX+놷?U%u Eq2&xZ3 Ѥզ^7m6W ;J-Hy,0<57ING9`>\Ef8{b^M\&#)͓{`/9hڠ#>b!`mg8JaMI%?eֺ&<=}`2W9QePڸ qf11E-$To&kJSTV.$T4x^r4`f+4>2 LFŋb`n^m NH?žoZ^s_eK;/PP/stvz@77ƪP{솳MRa8h[dSfezY"LHFm;ᗔ۽4Y;}O!o?K 0ELiAHKO jlrX98LƧ1%RBG!utTdCח2恷`<= ܹȴT yEM!/43Ҫa0+jwazNo+&l枈C9XVyc>C$c$[1-b7Ajr@L_J=]s0_2p5'i`\!鍗o׆cLc)uu,cڇf#ݱEa:E˒_ ][)%6e=B-?>h:mLBȫB^r,̘A%Zdgo`܈ reEՕGbyYvq6H9(]~LݒHGv\ك>#. QYP*g/L%Ϟg[is@}qVf'@UQA۩30_Zt4@&ԷcсHiZ##,6I2¯e o Sǹ#K(_Ё6τg`i$W/C R_U[KpDid?iFϼ!ZIhqAPȡs㉑I T LQi-dٍ_~8w2zJ#zZk;e]#bhL>49oߙ6 58bH*):svzw4Ynaqz | EwW $o]MXN ŠowNij2Ѡ‰gL[]ݞLwr .c\XjueGA|Y:tђx/v؞}+s`{[W.YOTbW4=GJF h{BB5!g`vUlSBMit8ɃsyA6e־-R-ERcF}XGt; kF$30p&\/?(.8?D=X]| #@l*$?#P kv@u3VOl21lrI=|cƹ7݊GcL@UQxu+Q