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 mM,l< ] Password_Authentication_Protocol:threads=2elapsed=105.789cpu=154.156gc=4.536factor=1.467zXZִF! ]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 & mbB~wѳ7+[IG]t,|ygl<(5 ںt"Ҁ-\|g H2莄v~xbCCʎd9C'ryHi"s]4,3#y\2Ej1yp#ҳGmT۽/M#1 놅Q^>159|ץt%m2L j""'3G.['eQ66asO[3Hɪ0Zx]7DV%{`|\B #Rjcgc0"s1_T@)h/JmmMޗluCf\G1*р{L3! K y_2u,}u%z#r@'_Cҕ :2$ynOd|;>>Q!#à ,:c#Aڠ /F)UvVHx^W&!1Ea=-gYZ7zXZִF! p]ŗXiɟv A)jץ+kg]esvqhT k&S^R͡Q7yMMt'x~#]BirFKcStXgYZ7zXZִF! Y]ŗXi%92K)'zLEbb\P s8I3]Wv7 9VTj!Y5NYTSZaq;clwqJ 7*i7T|CdнlC! g}~Ԓ"rb4إѾѕvѬ$P<ߐ&ꤾ!CMU/(`}I^Kz|D6ǒlmKpa͜,.> (5ښ'@ku2Qb./|9"@%EZtfLedN㋽^5bR dsu]8^"pD_fݔ-pCĽ~aGi=HIFp/pMb*4'J鳗]&Xv-n"LC o4'YȘ!Suråaz;IdjC dfAg(i\O` SfI;"K*슔?b>9&*=4h zl%ֵ60R С/AB[ng/COFp<3N׋RB1j> 愉F^4p0~ DcGGm[SߌQJ<ڟӥ̵檊=VtW]bE?ClPur{W~шHsm.r<[<BLBA.pDVu)P1`[6*اCǂM bsMNFjC2]tĉCĬao; `x/&qjgsgq2}fQv8Fk~V2cehe:2m=Ö%)ym"{|hͥI\cLj.EbK؂-]Hz!JD]n{JC|S)h(OzN&׶1seuJozR0KR\(ADfX ʲWJ2vo9|1s*<:g+ND4cgG%(Dyq=N%0 B.k@f ;&8V;cp_I)=Eo?GQAR9=j)>4ۯk z&'mYK5Gм gx2M+0zY|%b"@&Fu@Ԁ/L0|JE5m+ 1F^fXqs 4uqt=l_:ۧL WC=q }NpEo b{ !wQ#x*]F0&2$`-"V*C,R(D&ki8{Pע3Mjj}k^>hkN-HoCK햝.ř^J٣חe=)׎¥$ na#_U]Sr7$^-WB&9% k<7 uļFQťwbd!zq:7J:ņѿ,#oNGfdw F{ߵDtPes$k؅fPU!g\C (|nyK"*l1T t,pė= \7,rl\Ӭ |x.(2 +WD>^S9+jGV3+w`WB0z o" 40 彲D#Fvl("{4uoV!|x,t,c"Q"3t[P*g8c 0p XxsN;lDg޹b.DxRil+.SGׯ4kel#}՚ye;`5k! һ&f +]8K8_B3V \t_@fIΕ6ΤMi#8}I qP8fA f뿬c` bM#8ļ2eɐ(Qc5rVE_HuX,ϲ\ϷX턑8bޤ_cJc=32M@cj(6Rz)d:HHw5 QjLV@$-̬)1Ӌ d3ȣ2lO <2ӝ߄J͑L׆%}|6[-9?\7U$۽hBW(9_)N401C2 UAC/uX$s MQQZP d&f/1+)*ӤaRǹ@ IZl$)ThO0PR'7]WS%]wSxCw_ ;ߘA+/ڮkDh]Ad]mv%M #"8cq-OQ7`UPr@UWuY)iw60J{ӜP\q{ALRsl$[B{ϓ:}cdwA SfG nVAZfvקuL,E&LƵ9műrثDF׭a[H-,g\ǩbaVdxy PJp G;O=#i~{GX/.(IWV2 i5I Ga3R^dn0k^d ̣:PeWjv"ku]:p>Dݞu.RCv4 нۮ0_vPҶ-f [8eOf$ _Bio9 0/u2"䎉W¼{y^mGRӳ!v$ ݇f Ԣ{2Ӡ^xGC"0؅̬O*(7`%kVD͡>UnQ"Rm _a8ڿciixJH@U NB6bXJBn (.Hrct54 x>!7`9f }ob@&/5IC?cb| J#/By IVBq{ݎwhyUˣnx 49FlNqUzg7yêr4j4a PatV t|L؉t-p ,?J֢GC?ob,p{UgL& B=SIi迕#sh$P9#H,tcbѢ,aESseKˉ!/P }# 1?I*LyQ+9>\ &]CH#E?>rr륺GΤZ@`uen}XMҌt3U~[D>&gӥW5ﺥ5Nfٯ"߹KrjΥclX+J&E.u2M9x=ji5ԍr>l-2V:_6>R"<{MFveAٸXya8Nma>.udyᝢ??3?ů2){CQC۔-w(G 0ȷ<]ƒh&fuT\ (6hyp79n0 :Wa"fRxMʪH]ww 勴h%_l4.Ko+X[GѹIR*jpz O$m V4KI'|ױgYZ944dd3cdfd1251037f1b16f1661ba9e6c5e6223702339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 e18eab774fca0e276fd5ccc2347f5041793d975b