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 nnkM t % Password_Authentication_Protocol:threads=2elapsed=105.224cpu=159.320gc=4.248factor=1.517zXZִF!  #M Password_Authentication_Protocolw }]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 a]BhK'z|) E`,n 8cf9I{ob{0qHu>~~U J5 A"Εb~(Wg1ynJNKMX䶵< 4uQtSpΨϸ[Cys6Y[ buV0h}P,hFꮺ {c8ꑘ uzȻ(AP4o!~R 8ұ҃E|%r5o,05[tB]Ux0仩Qy1#- _rG\;prK\fX+/D1@ҲW=2@Fa怯 cĞ.iR XZbrq=_0,icTEX5(ǔ,n>جjV m2`+[oD%Y<]`b2p'>z@mw CC/'7N_av,F4MCADOu99 :Zِ9Q X?,~,x4/z% YQ;לEvhX#$(0SYiW܆ v+;;ShAT\0YPXWn&K2Iz ^_j9YB;^5#[c:Jo4DO~ì2~}&[.x99_)\`K[@jxSOunM;- LzPqEx?jQ(f!h5D]i\H*)ʦ EBU=eJ|zJf wr.sY(Sŧ]'Vpyd 7v>TքNd5cz@9( JOZy!>~~ P#Tx76hOj$,J> 0b Yց)7JJ/7yR7PG o\F66C a0^\6Sw]N@JuM3zDF~YGki[jw^Ef˨. Wpq!sٻ5|?E YDf\/7vM{KmP ^ {!h@ey#/Xr۲}RLâc8Si\p徂JOM'vԜ=l #r%ttš[UVRl4iDzW ^ ^tK+ mmԅvWY}],(9 AWL>ȅٜڍ}S +@qMnS%OK@c'cP;#젟7k/R jWь;\&PlS9V3UϺ|6>̡EWQ5|@1\\Ǔ)]IԃM7i!7Fsj9ݥ?*$l֊`D_rqgYZ7zXZִF! ]ŗXi%Vo|"Z§Kסz;?[$P]iT1f.Bm25iRMI_oٷy.v]|wo3e QOoލõtX~|7MW0aLwi.Ao^a!S;Z4r&T8`}M ;4u<Pࣩq%Yhp%3rx2u^3\|ICs%>衇]}?zj 6.{nx,h%Oyߟ/KML! ̴V裪9lw,L+c'.3eLkdAR`" 7X9~+[6OO[aEp L|ЋE7_" 1[<"tWtM/#šYK4ŧ/ek㠄IӅ,٪_<ݤfD:&=MvƤ^qowfƠ{Ob6t-4؃u}Cb[8klzej; I.ǂw* ltR%2Bt'Z$3ٽB0d>o~f,T=Q\W! -E d .S8j@&r'@%Z~uicy#_NF^!)z eggZdGXk֫f$gbE4aq>G0k9V鏗G=(v@mqu2a~hQ92Q-3g t2cMk:~̙'Eч`RG =u}1DFUeWKuJ 5jɚN}|qAƯQTk:Ő'8KɃ4khP 4au: lE?}&02 E^18*0U $$:+CZ=Xhރ'Cm/2GӬ2\&wq$c Ѥ[wk+n2R'{HlDwF{'HYYy2\RU6(Oؙ}GJ{I+}y;eY/PܺjFgLŠJʍ`u@OϺ6aIwF_iE^68/,byx-!ogt~Z VU4=9bRTF`r,'pÿs3f9X>ߥut{w9{d 6H0)ij{rkrH9p= t7(M'xeMC3eq 䊺 <#aH1vri,u'V2ClYMk wci @hcjD+ϥpVI+A.T 4Z<1HћS؟ sk0Lh{n1gQ,l)H=^_[UgT3>_.&ﳟq9U;7+2ƌxVhD ҄ Hs%1O%%ߏ&|:Фzl˘PTOSujd܅/'`V?hjȐLAS9J.0"hC(w*aO2}3YH3&LLF"M}t50xыW!`XRp}Dq (KZ}_ڥ>[Fz+u2<}v^iA$5'Yt ѓE$P ~d!gH&.^i-T: )T'^6ԥP2Qj>dhCC=/xV WQg[Y ]''TO^9 _)1ә?׌(S,vnK8_"f͚:oJ%%vW4;^(ƺtݗ$C> Y[/ Eoю.2& Df~_%@8 0L^wE2DHHdNkQw޴E^='{njWk ʯBE1| ?~o<:rF+&|~|&%pA"(7Pjk׈ٳ>pe) 8O!V38aA{ʿ+vTv 2z@Q\ MKӀ1Wm ljUt%ͯ!$p*̗#@N r狎UrְT2M`/ε"θc?qIdd6ϳ7 yP$,K$A lLhilj2^xWBZd(@FۡWզiy]L clv3; GE$!p 5͖ v+fEq/V0!MM s8c< ^Nù>#LcV|!鏌Ί+VO͞d&;N Pui6գ[}~'S-_iaL ;~C͏`O;G\辍n AZz6a:VU)կy PWiȻnf6g#OӁ}Gh֭`ZW9'fbhS(2v*bl;DeA6D(5~7M\̊a̗v6ᒜ6k fT##I;{2kbuHNzLO[hs…/G.fsL8"K(mH婃k\|DŐ`UP/]Í.$7o 2Ng`r6Op; _ %YIC7~3lG{z?[ <6e>) |xi]>`=CI);4Rվ_$W|e+`_Έ MN& &C^\f(n"TVn:gNo۶ܨp,^'*!Z @)Z n쁄!VWuLOR֏ZGwFF`,91і#C*oD }0L;zXȺ1+Jጦ^q>sЋj M[Zv.3rawMEbHXvʸ-G'F9"#Ne<އl56nm`9h.j%!q)) ;AD9 Axψ06FmbFyˡZC`tt"c{w uv7sshz+ϚX&-ZRxד[Z-,AJd&d"?K2Fqxb <~N, s[֭<1tVl_|vhi#_ 7hiXUcMa3lǛ A>i2~-'!ɲ$kag~uUttqXx73϶&_*<2ÍK6