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 NMdd % Password_Authentication_Protocol:threads=2elapsed=98.278cpu=161.992gc=4.656factor=1.657zXZִF! r]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 cB`gjuX]BTdC1CoUTͿ^e?;9\7`<6 e+e9 UHKUCmv@vfDJpU #M Password_Authentication_ProtocolɔHjLYKܱ˗/#NpI ȅ]BXOKiŠpY=5Qk{߻9]~c,V%IY0IA;@#a ^™ht;Рm['~4Em!St a@Ɨ%(VpEwEm_.=vШg3lB].?&,yXkhJdh`vڒҗ珃2['@^xΉmsQDe<-IR ͝.Q78-X_\IW|F [Vt%$9UuP!aBF=g n!N^b"z;xg:㜺/r䙫yb>Őd{9em~zK>ؒs e?M|w0j\i.ݞQI7_iw?0 ~1"tgt79YLqIYhcx?BC`P #tqեD*0J_8I=I\ {( U@E `{}Te/H49E*鹶UjC/x~UZW` F>ג:]RRZ%\s"~ۺƸ#8Ԙ NŽyLj(7 .z%f @֠~DZ'Q>c+5xvGԋՐ[cWknJ"xT 8?,yΠHdI{Vl@h_%(Ӈ\>lMU$Ǻ?FaqcX}+ʹ05A32Lݛn)!LJLr%^dMG.1񎨜Ӧ ʯ:We݂ߍe}hPK2[:![DG 6]P~ dU[zj 2klpFLI熓*]1pb[w!GՎ}_KWJ x5C3 6N@).='vB.o]Eb} X.;yV.6w~*jjky Rabd"U6 E-9iJ~j:e9Y?p`cUX[dMiT;R,o!^ CRB7[vbQö4۹=?6;8 KuK8ʼo7\sޞCM)4&/ƟD _FYz48m!T|j,z}c#)/ΐzKīW3yÃb hHA}ewi/|q鞓 ::,ŻXbpP4QG",bFE4JGZ |{p~t&KT9Q |NcO͘ ;@U ^J1N#iʣހRj6ђԟzR{-et&4I{/'gjmzdYM 3@61Nh|.fYt#(ZURz7rg5;"_S~?1*B*v0?<yW #2{$*|-fs?IqT~&'Ɇl]$N<"6 SH@L8_n%Ӆ9ۊ`|"E+(Y gUě +dYew^gڈt?Ǭ/I$|pipr? 5PNZ,R] v![Ul]r%c^( Yf#] X,KP{tzgEDٯӛ #n"Ji*CPGّ6kcά1YM y8zLSu{N<>qYDCk(O=B1 h2yls€TYS/'d?`e/ij;MQ+fNPVJYk( Ӿ3k(aVkyt!J yG3XuxcC?^IBk wvp a>OL< v~esGHS6.BmFf/|¼!0≰(#cz@vQ_LW2V-qo}yyoil~fW}Y{핁F~~$dZHtcCWw(yC4L3-dc>~rpl-YUc': A)q3ȅi{e %>~cy6aQ*^X6B=J ;Kgz9/ gro}Aȡ6ݳA]^f 3UMe ҧWqu* "W.;YޘZJy("lOҐ>[uO'2o Mm8bL ٳdŬ͗:XZ[g»pKŸlQ ;֭0v*d)G*OM<AHp\ ^`PVn=;gчvbJT1cIGqk1BHgPkrj-./3{:mF]@Ttzh=0dT) 0W^>F vld6@hv5 QwEVa'nW̮lrvT G ؄FnCғdYb  sr6NcJ_IYw'髢~/!vxH,Z'J|X,^w{Vmz@_*&dLK&] 8 -ЉwĬ1yNkJD C0/u`N8V>92jxf4ӐT{Ǿk_fSH%[+'yGNq~Y׀B^xt IkU)O>p`P0|PU>^xHYU'xiDM+aŖ ϓ>ۼ'G cpHҫ8QTlQg ώ#hIz]ń 9H-#C=pW higÍeHY6}4r /)qgIwY|F[N뱞IucxJg~x߆F;)r]X|ΆNprCANE3{$}pDw\k&ք*)p|[w7m5sC%ӽYY~1dhJLZ!9cߘOZ&Էq?[rEt# 1ӿ|n`\|GHCɮC|_r%H"NL0 >Bȭ]LNXtGf|vΪqtQib_RF `IiXcŔ,5>,)`r8>rJƻwh 3syڳ.=rm>IИgMկ߿DDa:Zlk<>!trR GTP?WĪcDV u\ݣq.7n'āw :P, @1O dqptCܿD b K}L˫i18%aie`4hza21hw~ .Xޱ:$DILV $F|{.bJ_%|c EիRƫۭ>hcɏBW(s."}AJ(aj|as̢w{)o:,g$j*m 2er\CmV<5ޚt`=! _. n!sJ$b(?@%#zl5ȴ$I`0<*´✾P@8~]bè*nJ&%^w^(|J2m=v# b+JuU_m}BAe NN]^c );%Է"&5I й|R)l5E i4^G5͕zl#3;vC_/:nrxz&=j~SFRV/$a# ˁ/}ԉDDv6_u Yt܌#=v`][yr؛X0DrfY~!vDTo)/"?w')eht\KqdJEQ8Bp[غ[8|q!Ao"OARQX=kGq: R+< KvLQ𯰍%f ToOI~uSfͭ,=\SK?9 #XɼWjn\ `&#qOx -fS*Y!8WРLW'Ų1:p_S3ێ)IL?W#%I6QQ {Op ,5wR ݱs7x{1CҥY,je) A-<~[Ae<7SD(x> %Fٰy^m5h_.燎xFS6lTh:'Ѫ!GgYZ480ba4aa58d59105586d2000183ff5bee5cb782a 52c30e72644c298ba06cb7e5d4f15b0cccef2659 ea6b7b38328d1aaafa37095fbb1796770c2835aa f4b31db9cb69147184e4ce16d616ef9040dfd654 fac45b2e7c5608bea50d81361142a8f261f776dd07addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 2c8670420f1e217147d01cec9bd2eec9fdce3aa3