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  l< ]]]ZF:threads=6elapsed=11.667cpu=38.164gc=1.956factor=3.277zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw32iꊶqI `f\h,k3_+#NJsJ^<7=/ a1s;[ݥDԷa8oJȃ  __;3~Xll"K*ۥe<4K,P.kz9˻*c}| 0ql!mNclcub/ t3~i`uҠ wigY-=,}>߲vm7R)%J {XS"1-8yE˝Tuj`zo×eA lyՙL 39$A9N,!hԀ5|!d_=Fyι؋sQ>bz6UIp0;N/%=YDmY %Z-jq&; Cn$\У%ר3;xDyϏGDU^i@ K}\ olvZs⒬P~`~O jՉԆ. 7%-65̔[XkS3kЃ1V4C\\=ۤrZ紺rkɠT%gbl6@9ƳStdgMJ-V7̌b2qk(,L&fJZ@mgYZ7zXZִF! 8]ŗXi%6YWҋA$;~ vU[(5}n|Th!dM`z$5`ap) _opfYHJ:({D#.GqP)*[@ӕgi]ɢDƢzs/BcAlۼɊwI.mėf$yqOzBL wps&1)oHғ]$腢DO=l8t#39smPm,iJ@m[e;C0j+۔N <70dDQ~ h>ht;) ʏ:_-8Eu4sSjN &RR]cٟ4WA,ﺒ:J*&kha4o ,NS6[)c!1/*Q|`7D&}NA(ڲiri(b"f">)PcΌ%,$KG9iY G9}LvʤӯxN۴q_4)\KZe{ѓ v%8_Err\]`Vp[x86%2kԨ]/dįUa}y(ûnts'>LOj)-d/K?-Amˑeq?X ܼiJiIѨ@6{PW2Ȁ::ez) S{VW ~]~j~Ce,VXF 7s k9ޔ1dEXL_=+ Q iJxsH8mT#c~/5JO[ŘX+- \5/tL#d{=V4YY]`SAi#g[odM{# 22#mJbة#EkD ;^<|-w|ܬ1Udsa8=5s]1"3M T ֔J_B~A Kx/U IL^(o