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 00EMdt, ] Password_Authentication_Protocol:threads=2elapsed=109.484cpu=169.092gc=5.072factor=1.547zXZִF! j]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 .Ԭ<^1O!dsO-G$E߰%>U/c]c.hڑuqQlͯl 8dk 3Hwlћs;ϯz_X16oU(DUVXwi }S(_ZA#lpf%BzU+<@I*uL{kw ᘱ٬SW0"΅&5VG{ѻK ;ܟxhgHKAG T{{'%)$ͨ-;}f}~\4$_!WOb/amr'.b43x}gB{ \nq73dgGNW7|U2*+k\?TDAM[gHhxVje_./hZFcߨA_6֟u"hL6:cE|[oSXgt퉽v@S90T}sM;>._ZtD,R& (wsqQq#!1CUb*# d QL, 6i4ݽkr z, Eb}h(٘ArTJ챰93 )P.Lni>+. YK!> +`gYZ7zXZִF! r]ŗXiɟv A)jץ+kg]esvqhT k&S^R͡޽)`n`[~ !8Xeb o F_^M.5IkgYZ7zXZִF! ]ŗXi%6 3ͽ]PvӭDɻXѹ.B1k {53X<DiAabgzw%ʹSvnhSN "-]"9WX'N\ſ ]^ni7L71CqV3҅svA)ʲes{R#NwՅp{ j#7Eov^-߽5_ pw|İP:eꛭ*݉n$Wxղs$nTs_,e}¿az7~ȇ3{ko y̧.Z!d/sPxwgA?[8E6B>3&Mؐ1Z`NRTZ@  /Y-%k"'sw X;|2_f[.|셋o+ڻVy֌2rkukBn#nOQ=K=i yr)cO+ ޤSڤͶ,}$g\IB=bb sCm `ޏd)߱/{)Y b]A..Y7TnuFQAN,BEښV]:}Ni!d`s  8 vx@x4Rk2Ea|ܧkd*40$ǩOyti913Q>A6;vkSO+~U J5i!< HUv'}f~hњy6#/0!FKRd&~d@x%Gxzű/ejd3ܗp-dEiڙ3el+Z?+(#Xqo!6W>2d{\+z];i)Cj ii4U]f=tk"#oJtsIZ^%F(`k? %O>/M-VdبV׬'R.m?x LWC.\}ꬂm!o߳!p:g42 ZHC.+԰"%]h kCu#d2`B~ / fW$8';`j]YV2Dmz /Q +_Dk|Sw"41TPۿmֻ(5vn|{GWxS-a,k:'f({BψsKGvl@؛QL_#Es8O ZEpaQhP83W熘T򘔝Ì([J/e<:hHP:qX+ Iq÷L@qKvT3GiΙ+Ķ #M Password_Authentication_Protocol&mX!@A+:F<dqR1؍`.)qx!Cmvi$.= ]xTFr 4zRK+ p/+(YQ)f+VY ecWQ=EVY]p] ϳUO*ĥ;ոh@݉%&ZI,]$u xKxp[>zbsG_̨~Vh﯉zSR`ɘB͗G4N!6=5z8,z{V lQT'Ati\L/^Ր$,(V|qNH!86D[+Vy+{BsM)*Cm$зebpFX<̦1t2Id:41!F NFǕ{I qw3>^k/o[Vj/t% }[+yUilthtI3t?RF\pmг'g@coX0mp!̴:i+MXZeC*5Iۈ73N~\-шyVI^gbftQH[ˊRjP`,j'9tc8{)ngN"p'J;x~y||0,RQTz˂79 ,)[2-so&GSe!~,fe_HOvC)Bk.y9+*A}3:K[OikH?tLUbӈB,#}>VQtT$et}9R T2bf_C.0j+Zf~;4)ҷ6 $˩.4n CoRaRuḒzp/nYڵ x4Oo %@w:/=XsĵO(-Yz3C="a׵zC;z(!L$o~<739BwE9~thȁقW\2,*b^wz} 84 o|tI#SVs>gHmwse8u2"gӄ"]\m:8jx' "FƲq>/{yf$|q 1amGbg,Md=#u9!K.i[^g2ڵ hF.cEi?6CifYOͥ X"}lr+eLl' Xt}'x> <=酪W ~.fD]HR#[Sx~D{!)p9J9EC~%J0"fj;")d0!i;DވuS(d??!{LMpnx3M%Uwk3! nF cb=Pǭ|mnVc{;9+ytv\"ܫC#wn q0dYťT+Cv67Z=f-QOUW9D":KrHÇo ]p@ZFP@yo:mr*MdӮnOT跄9̱]:gRt3͗5D 6q᳈P |}{:%yHsbm ujcHn\13ٌÆua-Ӈq1_j7':J?(2OQhE ڝٸ~5$TşxfI*G:BƧW濹‰nGWxU 4}^(_G u7UG~s[YT#xGp'.'٤EjDZpkV҆Yn_]~qANYxϠb oO2jq5I؇)ڱgYZ0743676deada6ee63b47b66b4731c19e1c85db14e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f