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 VVMd % Password_Authentication_Protocol:threads=2elapsed=99.817cpu=161.772gc=4.608factor=1.627zXZִF! y]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 dm^FK($e4<Ge8|l5N!0#@5V/ 0uo=(M@z@_B "cp\-Ytښ)j=D|'6CߵFVW$cHXkϖ{\~9us#2~8m>h]~]]S Ey+,kL 5GeW\!. 6\: tuƾ~1rv&bb773#6f^lX -wvx-dbPUD]ΔwIK yٺ忻?VŪyN\ 4F_ zvyRkqe8v^膨:oᬽgtIuof8x}{6(8_ǐ,7K4]R/81(eأ֮CIsրf!ք1FWh @BEXP )fTKM$pUMJTNdv7eDHx͞+aLj!#fve֐/IJZNa A$xh"[c¼pUQG8:;mVge\;<ŐTX _(| ,fXMd5>Q/4<3EczWd-=:O!>ϱ0}Y>[!luXFKCwcB7 ѮrPo]|TX+>KKD |̋_igV8hoh5h}tg`_KXXnOB++rQsn"[[N+(Nx[O$I3`;UQ%,yIcytOKקf: !^boW||6-mKOgJWrLSzܔ, Xd*D֬ݕO Dj|IuqxxRdbߕu|(R37&:bݑAI<!'2Zܑ}6C D&;Dg<吠U)ɓ~]#ZO+ 2BDRїaa߉v^~^{չ +]V^8@LSɧ7tt٢zy?y(QM~rhGi j:gOi"e笀66> ~ q*g'`RVZ%#6^0>u!b1:D&ڭ[#o2C Z/'=\YrQ48]UHc?uSQbmsؓf 'Rn< z57y뮮ItD k(1Y#Y03 e9h iYt9dx1Y7@&U 6N-p'Lސ9w lMwf4[c\ UE"F۝m az90 RG{.n02r88Q .ͩɞA\bkr@}**KV8QG^]m~t (ib7q^۩'lKTlg\4a#Pj=-^Cr$FWB|;B :kG {1$Sld 3J|Sn,R.M%_!r^6*:b<(]3ڜOb _2ϹWzP8OF;|u@Sk,R|8vŔOV%Klt.Gۧ{TX{A %kgr"~Xޅ`STuyʮ\SgYZ7zXZִF! ]ŗXi% МCGΒ1a8%&-D `"A x2BxcZT|CE@ rM,55tQ&/h8?+Us ?Q:C6 W+y!õ+lK^MNBy%vLtNյgXMeF<DŽ, TSﹱˆ ɣqF7;3şR+7[0z28秶9Q-p(D;(tTUb>gqkc|y\o\Z"lT`՝KC rv\`|#)S{_D:>p1S>m!6XS *.H_]?ba-!+:ʫcg}p{`@_3Wr+h$тy0.ʡEboW,:ގH+ͅQ𡽀bk{ae)ij982f1r-IB34!&* )yGixG@vB'hds{ V}10L)Qzezg;tV8WBlʡ@Nhv|_:è?~?=F,Do穦!Bt4лF`?QcA9\=lBM'0ZLdW> :hLސjQJX !\B֙Q-aD<ez?Eń-=P], #M Password_Authentication_Protocol>"*)PGȬl3RR%WJؔ{@wXqyP\5nq5Y0+օ40rz<;sh3*vOytIZ0EEHy2EO%T"cOe lɡ6%.nT0h^JT 鳫dglS&+;wlL7i J& zHn?1~zD)ϖ}?~[Mܐ*3PAK"':|K;y%S%KҋTzwċ/8škKDt9IO"[re7tSj@cr\Wԅ|p#Q-CxMG%C3l˛ϼ>M"|4Wz?8%[tby;['y'l5B6`1cnL^d蟰(_,Sho $ީч<~Ye]< Z͵F{t?# ^ɷC zDfJ33Zi!VN`P*ks sZG׼YT ~·}0$XTa#aܠX 9p8nїTr+P.A5ZQ#kvےm'02[vJδZ շK"(kM$f_pir"Jxf S ɤ_*l}A{,l&ݲ$"b0Dtq*mØ9=w4Iyݏw5 H9'] 䲰uW]tTR4!6dIL{ tknlѼ4F8I }xqMA&Qy16Ydj)^7.IuyhTxAqbKe\ ;$ qi02 xNt%wS@&Uc!(^WkBX">Cwһ uTԐNDJݥdDKuȒ,GW)ۆg%J825VNM.j/Zcs"٪E~27F^,~x}tWgX}I*ԥ ʒQZ ilQp߸\ϯMHh>) Ǫ{2c6sk](|sk"Dz@!_ۭ1(v).r!1?N9HPZ{:hVT٤2#P"wz?臯=^DEѴ8p,zEUlcd8;8񀸧`pQ+}-D؄wFԻlM\ X8#}2'M!BF1 d|n)P}M3PmE\#gh Dg[^hjh1WCst)ړ[OD]h g]QD_S~%M >G'xl)OOh_B+gζ0T˶Xzrx )``5akkŔ_7D=UeU T4Om ˧9]kdEɜjބ@HLYN/VaA85LCx璡8?=~##SGt[F?Ye#w^OMt0>I/.\pEFGxwXgnʦy;OĴnQ; ku;wD (W(<}."Qtx #:"8]wjs7tF <Vv}a:*(O :iצv B)& o"›Ћ>gCjh}Vw7#;$Rϐo z Akܵ݉uC$Wu^&=pIjԫ;$XZoc5tAd%-ǰW2b韵  U}kkfv(آ=ti,1NyKvuB\PAKd]3,P=ralJvgؕØwg| 1P.;,w (ǀ˾7EON"u ;ͧL"FUKcDLjH+w?d-r@cyv炎.p FqzQNLBA*`|QF*h-)yzXO:.u _8UH05#4| A^G%Th*5$}إdÔQg >Q-mV y. d_/may/upS z揃Ŵ3PҨ>|lal9]Vg((p:RzP#n!9SlYg']'W`,75]Uᦩ` &㢭Wݿ>ǷA,xqr7"y dXqYpm5XWHWM0 aZ@9 ps*؃5Xjo. #,r&"wW" 0ų+rxo8 MBN3u({>L8HJxfUY>oH8mMRB@=$rooqӎ024h&[.ʖ79z>D|>t5n2,:u V9"Tڹh]=XW\P[*Vr&ekQ]QZ9zKS 0TZɘ3%Htn^R`# P@QCu+KʚGӵbi(QDgYZ480ba4aa58d59105586d2000183ff5bee5cb782a 52c30e72644c298ba06cb7e5d4f15b0cccef2659 ea6b7b38328d1aaafa37095fbb1796770c2835aa f4b31db9cb69147184e4ce16d616ef9040dfd654 fac45b2e7c5608bea50d81361142a8f261f776dd9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef