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 s/]HOL-Word:threads=6elapsed=8.804cpu=37.960gc=1.300factor=4.317zXZִF! ]ŗXf1-q恈͐7ӺV G-"7-?bt+#6).&qpZ[|iN4g.oJzl^#oΡn_=XX&;">dl-pi!i܎IUGORLP@k 77ޔNA 3DJҧ ѕq\Oh[d.KA)x0YRG[=4KdCRD4)wVemm)rcCM={[џ!6bTL~cGm&+ 2Nj澲Pz]rMO.>$74T6EC,;WY` 2d.A_w 4x Xcb-.ڴx S5٬tTLQ6]Tp¨klܘ_swU)SŮY^@ĽPP+_Es{y˱XGb{PF lnn'@~CbTwHg8 K5q!AoL |MCQP/xtqK ]I.UU/Z_mhD:مk \,: C$ azӭj& }L}?Nڞ 06F FoS*wX)?0OHEaIL7!tVхMgK/S=bwp< Oz_jw!sF>1^cQOnM VaEK鸓 -`B#X1o:)?JR<:yc2*~/;:O]BR¤RA_"U+eXBŪ n3S/MW] I{Ͱś4ZeFx\M֨3J'8WAEݻ˔ [Az~WO ;Ѵ$j76mf~+JhO&Xԧ׉@ E7zb T*~)!-O\3ldU`>)TsT=lddzIXCtF :2I̔[7i*8N\sfh5S??~.D(Y6M`cLLr!톪2mğ,{\IC%@*P^Cmr͸UZہVW۟GBD{ ߭/.}XiM|3KWJqj-SRw׷&BcIз_<ѨL~}*^)t{4M^`%@dS $S}(>Jr ҕ*XDclz!WB͕fBNOKHgjNc#D;: KGȽ'X]7Es?u"!\=;7XE^[uf}ZQST iB%-Q3 l".AϜ#7P+dq ˵u"K'++``_N? B'ǘ^-Ndk5 Z̖4V ݿ~R2R%<%\!^U2龦GM sl~.40T8B,ȪQ!g`(MOV9go-:ڹ)7{`'Gj+SJ=o݀mZpy-XdI-U 5|{yze-FMB܃hhBѦ GGt356phfuyz6-[ob,Wb.4JNzqn.J ,"-DBvg=rQPk.Lk@6fm 00,,6 ߿]̷]H&~ڨCoaUτBxv^GQzn>Lj%K{Y:$@֏!dKngYZ7zXZִF! *t]ŗXi%lٝ~k$C$)\WL!KlN)e<2via DK*P5K3K-09TOs _i]qENS-wĜ/Zg/X 6O,LREwJ8a/ b9H 4w>s%XkH=xzT 3DQa-VH^JCqhw*->+Xi Co7 ɯt)`1N%Fr\ҼiӈT:j,[0j %`:3oR}ZζJ+xx\]еR[*i}3/ fz9&o4:0*6_b\¹ēAW9:"QBGFyY򚄱UXEvi_w!S92rMhVCmlJ9(eIBŨF{ a.M+SsEITr3#pŊ?,J*# `H?Hh=&5lJlisR0gJ AS 71 2կh|DNZ0-UxjFoDf L}߿fRK: Wd3H~hKfo{ꕎcv_{Ev4S[չ AG^ɉ}Ɇn:@K8[$ w8xrQ[y$@_n7dx