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 ]] ' t\ ] ConcurrentIMP:threads=2elapsed=21.769cpu=37.056gc=2.192factor=1.707zXZִF! D]ŗXf1-/6vRZy-`}$=O]a0_(0hzV_lR\rAbG,J*pSNOXp;*Q+jd~P+2u 廙+ܒM%txāJ'VH \m Ež"ZճQoٝvE@j>b ֶ=rH}kտAئ^ Z!v䇝AW^Υ1Xxag(RAX$O~ZT$8Im),l̅n=_iM!C1Zʌ|:E# f~Tq}p eso!1VU. Ӡb~I &.$V}%H~׫fU/ĪQY!p\J!9IO e%I0 P1-s3YbCoC9sՊPZ m,q0A&~GEq8M[/CeYO)P>XE{Bjo;cr.Il.ʳg{~~sg;yT %UgYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?wzϡfג{}iB= S.mqr"t!&Yo1IۖCN=7-'=8- uXވI%^xo&mCĂ 0.dRA-M} ?/LcYu#eK=\]j;zӶ-R(6aؚ\yfdOhKm$eB UE7ePMPXRxc1sX {fhp29) o#Ǝ`4> uben!b瀴j]>ܖ F8"ǵXz˸!'T 3K0aJ/y](h5Cq,%SOq ,Y)J^[e%_ēW[G{fj4' f@ke!dGJ,W&̚ Ei57!]5(~: ?.`H:9_ga%RӑTxp̸Y i\|D1i3S12ސzbm?6PG e^@/l{i C%O󦁳AK2U7[~;@$[OLλʧCіH7DüyZ 8[r8-M[xF込hl|LoSTL\tsj/!*[H,=}o2ꎊclxoZu2 5z0Tn6<^wH3#,Sz_u.XAp.&K!لR[63o><_NHȬWx]TE<a<M #| 35HWͪDe73׻ڞPb?>'ǞlޑacuU >ŤԾ C5DC{ ~ъjB}kȶa|;:=D}o,Vpaxo9,@FZ'Z%cSCX:.Eub2[J6 `mXbL.U %1 kg 3LgYZ00a2d22fd421988099d7c6b4b0586c99bd2888e900b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c ' ConcurrentIMP