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  I I, \ Y% RSAPSS:threads=2elapsed=23.602cpu=45.632gc=1.380factor=1.937zXZִF! x ']ŗXf1-/6vR[Nk#\S\HId/X#G̑&DEUp>+\[x)"KR+V8:9,3v{ާ7Q2TE]fM :Pr3/Τ cOUw>ʴ{8N6ǗPC}8}@ӣx cP6m<(UDfS2;-op mkQ۬xʚI3oM$1QpYv vu,I9`䮿'Rg ,%yݒ]W.vQJ⬟j Zp1=͢4߁3/ap;QxiELᇯ@UH‘QRQJH2qcnCuSRv^~L.ku)a$Ȧ Y^cb^23'>|ly |^ $ pPi)r 仂YNnn5Ɛt;;Ft*] ³h&UCYu F$bU^'\7AnH"SpX=LdH}Oq!.m6Cb#&\Np|A՛Z0^bcB*@IZ]צxz;1sMkh=e\X1y$Q~4ȡcoD]Ts3h6B.f՚Ooy;R-te)bs0I-u^uJ]qBMdBpo$pDcne^i>J D7*<$śkl*6q—}9kR{Kp:< /<|M#Mʷ~X$~ш9Ȥi0^=Rcw,zfߔͤ}b2 e1n$?aK??W@6()rr?R[kJlCDVַL|4v$|2D!ݣhٞ$CFXo'GkюbJxx098Ҹ!o52hf2-&D=j) j8؇Y'Yۛb Il)4IvnRxp)hM ˝i66 G(I*}Tzln[ 4nYR%-έZɦQp^dY6*4%e1GIˇNKw#T?\؛!6hK=VGr{}gO5>d/>`Ekȍ $" _Aה(v# ߦ&i5\`BO1«,xW;p GaCǡ2?P/&7M:UՓNX;DHAIᶜ2;%tm]89p]yNBB:Lc5?p0" yA1aٹq6PZiT[{% +aWD wM0I4%ln[fFp`sO/7K0\dߋ\4_qi39YUqč 6T&AJ5~[*&ݏ4l/T^ OmdEGzaʫC ~i5SmsVj.8ZNZ+ԱP(Vg[D^*w8Y WVц9-/ %,/+SwFq-%L0%^%j`ttˮ O 7KQafvCA8-!BeeN~Z88Ml֐&Y@ڛt̹-Ql?,\CXrXگ*Q ,ӹf7P4 VZ頕Z ʞ$ÕB9/9)^Hpʍf"=ⷖdᤌRڶ¼J3+CWN N;62uT 8/YvhI7t5Wp˒&Puߍ%:DoaNKmOAѣǞ0(dwBe!@; #Cc9{읟RhR| d2iMؘޱo=C3סP'jA#03dd< 3 :S!.ߕ!t-Mh=|ۖ*MB%8oOF*y8)8F[^ffч)Sd0*G9:dBX-t]T/%p8@(Tӯ ~=ix#u_zB*6땑#\gjdCCO<` %RG@ olt3H>g٬Q?2{v6k&2eoFc3o5tM]5Z1m?{VK'$>)l`koUt{Z ")8Fe߱%͏'HTd Y`4N9B)[x΄0_n ⱫTHx)@J' ^Z|8+(M1cTJ'; \zO+HuP6|r!ݝ2a_5~ H=3閵cE!KiVDc'j py i5r%#>jgإUsh-z *v<,=.b׌[ $f,.wt R'̊ri(aIV±@E ؒL KJRQ<_ ]RN6|y&m֙l ٠3Zhr(a?L[ĻО$Xt#Ud!>bTL=xՠ{b1"fI^:w].M