SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info !Ml c/ Password_Authentication_Protocol:threads=2elapsed=102.961cpu=161.872gc=4.324facto #M Password_Authentication_Protocolr=1.577zXZִF! N D]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"k ̀ͻ]Td)Ol,-+MfYR$_]C1Z}@ElK&v\)*w ʪa޲5GmZsw+}C^``UaNȣy3hDSZ͓g X*:n@Em/F UkĮhH+;#Fj-P`9Yϯ,Gh- B*tk^gAtMz MhȼcE\}[ȑ6'lpgxO_늍$hEsn-oH…HDޱ D4k2 m/k4&" 7Ղy)!vH;1Ug@cݜlyhISXAjXApm >:k=XUlCYcGAQa| dlte6B#|(=^8!|5vd HZ~D*fvnT1i2BupOflMti4Ӄy'dJȈe 8]{4* B'=0r;wr\] &[=_Z{R =+M_*0Pv9F M]o1B3*ܢ=7J#p9. ,<SlcDGK.!,ǿاf )kS=[pz_@ْwU#Za|:<_NNh\9c]Z:!,*A40|\cySUkRfĈUGY<2~SJ?̈́eD>&I]Pj!,`QWRPot̐+5&Q^"+Nb6)h"~&EeưoU;sF) 4Dc*;B $뚂*Yyٷ|y#lҌOT9'Iq>ipWfKA9(ͷ*cRʗQTgT-8>"2&:b0jH7{8Y#1K~0nND}{YHA8h-P9E,:ݐ~E)Tb HԺ_n%w{^.JȫA]L>z@5QLC.i[;Ҭ.&)!y=P[xqDEE{DJrx&Q=/bաx/hߒ3@+igK;l* =%jpAZ s e)t-*Fw܄`}5F5CA߿\`f:b?؅^CX憾~BZ nic*`juZ핂y)qpx1B~8HjT2B6?2U/D߶XMCzf?,% n@U'{hd`^+(_/o7/VJlkۆr\"hsr~ۏR|g @`<;ӣhG Ey^v2/doÐ\DU &?<+MkìN2OMV)yKrg9bk4P`[ yÁ6-0RPP>2l}^|mX}ga*oJ~تD]3šmY x],pc} v$܉ aT: Ce|l%ԯ:iZWaOO^L#QPAж.%F仃I$bXR32>ouA+zD^#\oF'֏\Bk&@t&KF~KCİH#>ݥha}^er61;V=VE ^8Lr4'>gU3gtFQqG"ȝMق~ mBYAoSWFZ9~d"5nY%tɒt^;:dE|jLJE]tS@Y/͓ux!fv-+]@00JDŽg/#V*Ss}tv)=KB/UnSHϧSy=Bgq5Df5GIl3G#ٳv`Hd!;!C?zpb'#MU?Y ^If滋_ ggUۊ;5RmGZ ddFn'Z"QD^-$ޔIp{&s&@?`30hb${&2 kEŴC\NU@޵? UY-/Oy+&]VC仂4Q y%2a! 4a!{cg2GGT;sFqݦeV ,9Y)Ϣ?)MfB= Qʄihq< {CVd ׅΕ?L.V3&(h~}"ˍ `dsOƔdG_Kb\@N[ ԣ1u ?5i F KI>str5Zq蠂4A]cs*OsCt%ZDB$a$Ĥ+h-+'C<kї U͊aU܍˲ D1zOmR^wMQx?)gLS cO͆v>3{巵/kW >ZŘW?uGBiDBy q}T[;iP(@j \ 0~$<6lұ}H^WDNDS_a_$!;jðOj<Ú[KxSlMQ;=i ~πʱYCl c7uo1t;Ѿfs2Bdpj}H20&`~"Ce=kwܢW6SFZ>L--K$(Zt|Be M&'eO em0XCbP@W?c)W ΍AV U9JXG< rp*#9z!<ˡqö׽ bgen.)LgG>QF0+2TԜ;!S4QOu |tt};˟Rm*`5@n Y;7#Q~Ul9Ak%hlU5𠙳\F<-yUq1vE4Qo01>lK^$ӊo6N=c0}(4jN֜M.6Ip]DZz౜7h@WAl5 0rFn@ t"J޸Q6FQ=pP {_GШDƳHQP$!r} Gj}t+8 9y/5zy;ӳ{=(gWZ^"$S-]oZ+X;?8t3.,a0Yn.`kt 7% FPà]B|Qoʃ 9$ h*5N [t*e|F7y)-?[-olXX 5%+%iel( H/?\~Dҧ,.ǒBr~gqi)\B@">ým&Ѯ.kDҖm}!1h2U1묒X0xNy ;9^\\|fK 1,3B0hb O"u7Oأ]_? iR$lZ*mA 695(}naoD }R,oDs uĖWW,ҔKF\j;l"".< ì2UFb쾾YTrV8* ltߒ#o6'exe 'q)1kȼp;I[1"忀4YN*2e3R_-W7G.Q/Ks }:䄼DowդL C`(?P2TN^ gb훯~qHC";`xT.L9O]1ŕ4w`.SB+32P$Xܓ RtuvSG-j}y E2lsŋ/8,/FlE:y`)cH2DP4\lwX/.j&d-019WVf`_grJ~M[*~G}`,EL2:Ql3@ñ# D썠)6+eK {~3˅2Iw\%ؿW,!o ?o 2IAVҮpPSQJj]naXhx-WDDGsSoLH Y#f_BɵoU&/"+NրZ*=P+}ء< "߬r8?h 9Z>}_"kӺ*dt9bӕף(98*Cnttl=ƵtnWk'*wBH=5` 0\mcNnIԾ6J'3tb5y (uxEN?pwgK/y1y -ZOv Ǿj =kھϲ̲<־K14]vRSkX;, zޡu_w3=`ݣ\R*I韺̄F/gq>hfNֆ6o< es% &%݆Ij1ȲaLa~R!ez4GvܐYq|I~%Ϧ:tN"LL) a}xW{U,t{vyȎK&HD_qd>U8W[~[0Bb# /L0|L φCl?Wj+.Vf_勼CA,Fz=+梿-W1A:ެo̪T e^HedzJoSaO_Ɲ,jSNR+ ]Nu]u7n؎uH&3SO5HH11c fӚ0./0b4.ً O:8 BJL jYX`R`yaR P.Կd4Vg=vB^z]&aHѝX=\^t2{Q7 %E+wZbQɰ5Rj̯3<]VRH {琕TQ!ґA2f> c7/ ƽjul䘤UQ-ן$<ؓt֨ͧxofP={-B.쏼|Y*&riܴ C'~N5.o **I2R{:#!͖P-%+SQ E{v[}_\ٲN7늨Ug/Uw)O#aN'`|EBfs'Ɔ8U DB^?W':gu:+쿱͙"\mͣ-˳EJ+}5LcwS UQ"h^`B) }gcu~Ø'k% Sk+%%UU+ yg-lm :T)ؿ0-XVSi`3NpC+75EG??j>KK_4od!'-gYZ0c9469e4651698f44e3e228873be074985fc67b7 5117119a178eac69d137fb85243808da2d667eaf 52c30e72644c298ba06cb7e5d4f15b0cccef2659 6ca338586d5f5c635a5ea92037155268bacfaec2 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 c9a7834754ca020e75afb9d98e309c88e75bfb0a e98d989b0d56b347c6ee1a9d61645ae944ef72e3 ea6b7b38328d1aaafa37095fbb1796770c2835aa f4b31db9cb69147184e4ce16d616ef9040dfd654 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90 fac45b2e7c5608bea50d81361142a8f261f776dd8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07