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 KK2 l ]/]HOL-Word:threads=2elapsed=27.346cpu=52.472gc=2.540factor=1.927zXZִF! {-]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z ӊОo=xN?Y@|-2J@3pѳ2u"B>IQZZQ>oњ}02Ď9d#>kN-CT;kJBp)׎*rUB_ mv CO~%,kNJ܇Cb)Ɛ-¯` \(\|D[ Yq67,rVǾx):E"J0q=ճ QYFr}RiyyƐt+Ewx5Eao zo:J*7 soԽ9-B!bߖ~JIejKL.MtaO~u21lc[)@I}:I:YoR)LDe :ƲJ5+Cb[>:)!ZGTG{o=9GH_.*#oG NsD[K[H4D]83VE:V~xdvͿQf}M^U|HM zWN z(9_h X5!/O3.h j3x:r3;S0")gYZ7zXZִF! ?]ŗXiɟ1˦r8v@Wl"`&Ba+g"@WS/p󡕱 A`k5NtSR@ i`Jj@>wRXɀEqA8Ɗq K3BB&~o VJ~ZdU%Qy ;#w`}TNABu>htnEahB0"KL 첃E(SnQ( @ם(LEHl\౬ٍ-~=to΋I翧!L@lVV`ℏٙڣ8 o[8RjA22[C{g/x?F 5/Rӈ0:$R KagYZ7zXZִF! B]ŗXi%96zܓ@Ƌ5s'__#;%ވc_m',C& LoK $:IAť}nQwt6 H'a?h`4Gc Bp=$@tl[ۓwcU}3T li}ʄcbILJC`^YƎo]4'R6vԙ q>9ykbW5q4sv'\:zkkoS¯<>!Bg- `ȡ3Y1BCR~Kgg{ڑy<$ {b)~Huu-E=J,nSi2 5N6fK nH85bܔl0XV]Ub5:>.3d\ K8Wח yFEtEƮՂH )$XBs詄VÍ@ :d}jvP7[+[L>J3꺬ISTOXМ}5i{{Y7%0ĥ2 p=OGva1-"̜{Mk ۻϿd$Z_'Y;vF(lv+7gǛ1 ~N<)]qǎb85ZZ 9CtS/ G&6pPz& ),5/Df3!ϩOvH;()=]~ജP*:WOJriM R3+4su1h.-|\̋ԫ5%nΤ$[|&l`m߉g̠Mb>z/RtV@Ym* u2s I]Ά[_