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  Mtt % Password_Authentication_Protocol:threads=2elapsed=104.911cpu=159.644gc=4.980factor=1.527zXZִF! ]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 d5qV0KڭwK X[)w\+wU#~ z Eds,p[.9jHmc]Ft.= kdiQI.Bw%D8X=zO:2`.wb禶εDe: ]7mg,'d.b2[k=5=?1{Ih+3 8 壳%l9 B"Hq3\pֆŽ82LJ"UbwoVAzG=CfU+@wխ CiZRS!3/E_? e6!n1#Ds2Y0 ,?*@2o11>W#ôolEROE {>!OywJ` ga@(Ye~Vak0+O\KR+J]eoڹ,C"oc1UoZwрimW?ֶ!fM0~"1/T:*@$9A:YH^_?M$IшWy0SdQv@w@X<{{?9,=7GZ3iLJ"M&̔6 G0M/qI<9wb7^ci[,JFְ U:7="Ϸ Cm?k3ocgb.pCN' e ag_YI_.na~O\$X~B9ȔQ E wy6:Z&Reblcf&4v_W.p@'L+&bZ]93OMe^uӯѰ9򖣇Im4#5tO7ô'n砸:#mEr7f3mqr3&64_O)upefIOP(O(z7Jov #M Password_Authentication_ProtocolSOT"Xt50Ϙaݦ? {a%TJڴy#D[T/yOV¼|ZFKM=Ėn iڌ 9 3iܽhc.;2q^ca^@ܸc'q)>bL4Q$t}&c^EC1guqA]iF`Ya}F~m,1'4ajk=qL 0Yg3L, M4uoQhn/kLfc@Xi1չ '`,8qxGu,EC/ ^، ]JE5 ?4@4czm#~Wev62Q,J+yLN8`yCh! !y~`Y.<.Sy좩PUDrE˿i6(f#EcVN%WzŷUmY_K j95TclNh 9fөXKyC4 4P9v廵{.n?j+v$6LO`ʃ*%:4͝ZH.QՋǗZgJEVBlDvPFYٻQ>롅&\聬3[zʖ.n wN-ʀiTc`B ڎʏwZTPq*=u~xxj&1w{ͽAP/L{C OnK/d7O~MQT P{rBR<~qb=q9h;is#uz^q']Q~>1ꀑ^X>:.K3 %YEC#指Fa>L@L@`k2ȣ,^w5&,GBxܼ\B ܂U\8WXkf gx8K$%B!ʄ|h")__&4PٌP8.|!T'tU5>gG#}+T;VxM%:"oap^!P-o,3;qDG1y2~)+-d~'Ջs, 4腀EXe euh舊nJ-w/9Dmt|x܏`2t12y5gd0PQ .=X骥Kև+.-9/-)GP2Vll1LSǗ*I:h~ݦGHYla"C%좗g9&y*\ȃ74 ؀)RUuk.ۓT,PuW[2I yP9zū=}:_ԀwZQ+ [(Y:Ħߧ['/eZ-%ʎAU?$^N-:1JW"ۙEβ+E}E ƚ:Nʳ):Ė,Λ=( yY+@Z'D-k-jVB V[^ܤ k4i.<}R0Mp@AXaU@ 'Yo N܃835=@UhZ\Dr7ϝa>@u(L JZ׉ղm̏~V(vP}1&DdߖDU/ak5%  z`" 2˨.W5wR'K!%v$ {)Y6@QTQ-6 Ѹ<'|:7{9 y;YxU8/2=*<#z,2VQZl;}PV깆 vZ#IypjQJȄS/5Y >ۣ^ `=NZ.A9t*Ucx==bB&<a(oZ=t ևڳsӉ (NI(2gYZ2bd09c4466b3a8200d4bbf88f13d1031b789dfa2 73939bfde71b62e29751f282367ad2d9329f2edb ea6b7b38328d1aaafa37095fbb1796770c2835aa f4b31db9cb69147184e4ce16d616ef9040dfd654 fac45b2e7c5608bea50d81361142a8f261f776ddf0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1