SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info e \d  CCS:threads=2elapsed=21.925cpu=40.468gc=1.108factor=1.857zXZִF! ?]ŗXf1-/6vRZxi}t7hSyv=4RMrQm34qN(StC`gvG@1w =l>" vMd)=C\  CCSWS"uOxkrB rJC况¿r= CȌd9|dzc" z1j1R!TXh.kwNMj%Z7..3Nw'eИIΧҘ*XGK0I$ ;{pQT9bPkĠir[@;Hr>lF۫ (jDk;:^EUux0VK\WЇBUEyʦLo1^APR 3=J((I5];V}rT=.;QQow# "hb-@·}!vm\W eUYvv_;4}DuϽsvԇXQ)6 kh,N#ro<8L`t*O|B<;NiGn3ȊHov&LfllXAaOU*']`HŚ:?@ º뷲*-hu]  ݎd-|p*~/Gc-?̏sl 6itna=g)\2S`qy, 4Ǵ3h*k'ɵ37*4xvoo/Q iepI70z5 ^u ]Y>}]No)lmP(^!Ê)?RQ%άƪ40mBFEF~vQLq"~{^LjfmpvZ[_"y_̻LS}BelouTB/HM|Vo r 85xƈ[:C5/I$j!XSVõ Y|Y2!dQglؒ%Gn6T?HZ*vW;MڻwIeK_Du?p3J֬8e^wɱ㬭ż?pK} &Qol}Dq5hѤ :hKGoGGQ]=4i VL921y&pa-!I$z[:ƿ DhDchcmt~3gr^*,jsѕ_W-ZY}njl<+Y"7',ՋSU$/y pXes;hm /a`^49h]q$@''~v(ӆ!Ȯz1|* s&Ţ۟* bgYZ7zXZִF! s/)]ŗXi%DQUлx81b2yTm2AE9*0=5q[lSI2D:vB'^Ff6DxF 8C+{ hQ=%/J SY b#-+'R`J}#*5ض5nl#2Pq| ~jn!_38?%DeMƫO.QpLɧ0ύx؟1X\mLU8AKfD Үhej5m .h:%)1=޶*0mqr)t(t! Xt2 3eBЭ_MOSDQg \Ɲ :uu(|Qu!;p0#JS$tHډ`&h[DUlFo;U5$'4 :O׏τq7 OM4߃Y>BH##ppJWgsit\~IQaCN7*֥?w%8Axv N~St*y"C}:D4v.CҞ)NJ9ai 3{dET.Kj>zt1qۂBZ_NODX_b W]iU.!%Ekteҿ5kĞyd}9rZ7uPl>Tl$=yOY$Y#n6"0{Z L'mů0a2[fN3a]`>M4 EʋZ="zF+CCc =чdf:wKĘqǪfn5s$p^`N]r 5Ea9g(43SE}Xsj-mK6++r=Q -IYZu9]o[V5"خ~V@}:5s"j)d476kGr넫_!t,n~+S'b pSeԿ,gs0>΂)*Ƞrn׼SkϮmd@YM44QVUv 1`_fi5=%+ύ.9n^P0451^ wz@J Py$4vcTJٗwYy6;*֫Vɩh$-ۦ'Iz,MeOE,pMu1\̋ˎ x