SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ' |D % Tree-Automata:threads=2elapsed=34.893cpu=62.400gc=3.180factor=1.797zXZִF! u]ŗXf1-/6vR[lNq!P{csQl]ęW'ףhAYBx|4K^@tojU2yWFP>3S*W\j t\I}U9c/KKjv*5I'24ڑIkh `$Y` go'O8 +w"H'K "JFgi g 8q~ttO%'(+VtEvŖ؉%N3_bCis;si Q"% Ƌd0Ⱥ5h\Mhq2_m3anl&1OY(d,EcqB D`KEK1Sw")B '^" O_h5&ڐ@۰̺=rQ{?17:wzOG+⸜znզ,G Y2V?Ee4~S}@3BǕg !’-Ws1" ݛFfnzyixvQ>tsVs灷hP#]+{dϛ)  l*ɯ"ͪ8@Ivg Z WeCX<ʛT{JbpXXLp/>Ԗbs ӍNbD5W$1E[| ̩^/9P$I.}§# ^oS&y"xG@ nC8Eɭ=,5)U™ZFlWvUmQM5C~Alcr.@+bVz!=p#?u%[/.!blK%§Os9q 5?Vp\D"-=LZ6gYZ7zXZִF! /]ŗXi%6y45kW9n $CT&g 5/etHь!^".DY]+&rQSo+}!;m D Kpvk4j Uf 8PR2~Υ['j?Zd%a-f=1qG6}ij <6 D#oᛮ@lOQ&첚GF5a*/94^QNfJj\az-beJt`@ eo|ǺM[%E,~%\$c4IsVM6$.Vze#säBRqީ`?ٕW>.Gn=4PIZ?v5o3C?Z~6+~g(ja40W]"\e[rs5PJ:h&(8{j%%[cEf,ۯ2*,~P_kx+iCO#"q%.k9I ejPTL6}&2E@^,*Xc)ԙdm#L}۸+THD* \ȅr6HEXsG>_a'1Z, )s~P7v!'9z6o˙+!5`ѫkUit};g{=tUŝ_D?|ua~>3RN M=P>=dEs+ KXGATWg?սOV׺ >WbmSNb$6~5`PbXQHݡiȈB5O~MS:ٲU+F&&T}k.zd4t (dp^.+yZ}` aSNY]c ,kʟ A|TNnxE{37d;퍸(%XWM D4ky hJ`D;Oע3V|[M. n#O¥îD "l:_ fsbV˃i|ؠ˭$lz0ϐ.hGl)ﲩPMH#iR`ֿP(aaqaz dVGyr<dVP[k Y=l_ń^=[CxNeGFK %PC {vqZ9rǏB݃{ U@]+(I"B!D$rxN i|L$/to颫QN,FeAy;Eg /=:eO4.|áiReM"'>f-]t픓 <75]Ṱ)xJiHqؚ7MC!F&CAWÐۗ.k--F,R$`iw6yhw