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  p' Dt O]HOLCF-Library:threads=2elapsed=14.783cpu=28.892gc=1.104factor=1.957zXZִF! y ]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S]ۯXqa $lڕ-J\+`.A؈^aۺS@+3r5.Ug ?#q]:gD7BZV7Z̘Apo}C/ɧ)wVdhCu/sV1i.x= Y7%`يkF2}U;ݐӁ4 e)h#zZԨ=]krM϶t6uYlF&)69-V:,<:{'f)a+q}iG3%~;+qPP(1CݘJ5]yAVHv@Y`ɭ0K fs&S7QE)$(r\ ' .r4G2e-X0 w8t Ř{gy'C1)٣jWK~]lO).(@\\:1# 4oGsIr.*5.3ĜBH-X MnlN@=dq1=|-[~?3EQ" лyVZu ne h-[ |2vp ("EDuԃ;D1VR"tg|d74#31) S_)]J@u-V&Fa0ɤ38d/׮OP:mSwxSzdWD!ޤ޷ V%AmŞVURf:wowqC_vV?>5m1qB Sv¨X:JqNJz8O-9Ԗ7Q, ҃1MzGTl`P[87^Y3rJ` uaECD'f(ѐ"hB -Cu2BK(s47\/֒SyF6@X2jclTR%*{zpelݍ"+T:Ŀm-Y6:|aP(0BN)%/ѐO3*t&[b7nc)'n%r(x,p\^{lm=Z奱gYZ7zXZִF! Dr]ŗXi%n8U'%_MᙶdA,P2` LaWS߮~V xD{ xkjlADU0Uߛ{=:C([.jt$Q@p,#L|{Xr6vl*7À,[r} Ԩ(R{Ǵyx{5'<$T}y%aA~M 3RQO禜g~ (cNC{ i̥D: nID) /m<mi8 xE&d:M_N:Aq9qcS 99Ϟν<% 0hy9zZ;96:q{NlWU-5,LMbs.D(LvH|{;)/ 8ݡj|=S`4_d.7.)ꁺ׹9Q4a-_zEVG, o~9wpP'~-!ϑϩuIn }Xpג3CY18hQ$UPoa]{8^LjpYYTXtY2?{M t%y b,eSѹLEjuCԅ  j/YsP@@rl(iӣ Ir:C+3ϐ-TiT=Jċ{oӢGFڊ :sx