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 \\Mt4 ] Password_Authentication_Protocol:threads=2elapsed=107.599cpu=157.244gc=4.364factor=1.467zXZִF! ]ŗXf1-/6vR[2Üd! kn8 s$g mWL>ҞQ]2Zl{$¦[Ÿa09 ( ܱQoɪ"qP)ꋜ#¬wXzcz妣C=s.[vnNK[\R t"γr\y{b` T(/OH՞VB $!M<7V cLW<_,{z}Bs +p?HQ* Aу UFm'&jpԔ%-ƒ#Lg\PNRqX9jOMr% 'q+YsvCX[u qb-ZCakf(ncA˫'C;Č̈́RYՌ (MF|Wd9B2tIߥ"]=a5QeUn[@;7xW~NםM⼝)Oxj: e=3O à7UtMߢ3]:{ GKr!Y%9KjRu WG99L6qS9GNS6udHsrҀ;_%Guaa|% =UFOKA(p!y3 ^_.]GҹzqISVXY M)걞ƭ~c]yqu]P @ڈ MfOה{ۋT$e@E,-ZRHbh8pBKI 犙rG[EC4H?:g Eb `rJ:cIX2]yg3Wy0nz\$m6u /6']oV+KiCcdc9x$ .k6r}`w%F2Ƃo.俟 |Z:@~i`D^!~{1qVttKPZ-fr|v$g_!;˚l 'ҴY8v+gU# G`1x°% J16ʠΈ-vLSV)"ĺL$-Q(*1ۮY3c7*l~P&yiSFe]?˹8u QX%:FhEpTh9j6 4"1D3o$&%QC72YnZ8$o۔cU'v b8io[72㽵yLz}ڲ̪%N4|(L-E#ʠe\Ry㏬1(ŵgRA2asIu,-q[c*[V-*k\!7ɭ QkLޠ@bOH3#@`7QPMrH k0s\6* HIJnn.mM=Pv6,Rà!`\ ,h %Fh~`3`hSs/G heoWz)^ҝҍBd FM+ Q>\/6ǥV: BnЮ\\ hN<&ds? S!Vq7&ZY+ wqV EFIL &UhJg1OyDp2%H s +r?*3aC E:itft,Oh;_CHEfq*6.Ul #M Password_Authentication_Protocol<#[ 6#( (I% u.Wdo<|^Sƙ.Ko&C3ء)U}R:~YR-9fTk*Ҁ7hMW^Pv` E+}݉lO{❓tc*ha]K(#ͤI~#o*3ܶH{n/F@ *҄罴ԏؿ_X p(0lH,0ΐ&Vu|\:?m0:R)+\^$R @x'REWt]ex^[njEa/BV&(ޒZ5>"F9윎_pqW#F\)py t$I6;ջ%|>~5fNXZ%i+i5'1KEH*:yh8yؽWB5zZ*JpQ7h\/1$ޜC% ["+ 4&a{bd4B}mg"90& |&JrOI}:B=#VfoOAX]a̸1ILJ)Mh8O|Y>Kp\:yWkK?:)ԝE:]xQJyn`CEg6LDbH-P/Z_@ׄl{Qth)պE,vHtBa"~,IoW,1"3zå(V:NK0.MOIP6;o/ζ8)t'Lϕ+T%GM(ǐ]Dհθ{N /Y(1bY3ҕ['ǝ2I;ny[#T ѧj|Hx"N/PS^"eIEX(]%ٕ>s!;AdR&vT7WYJb%R`@e@s>`ľfT}%THC΂K!U2!p q3 r8*..̼$Wj_?ZW`]/㲰.\_zۼ]Xd]ѶOlr[`fӡ4nBTi ?X/[(QF$!5-AUuXϔaL5*4RP82ϬKSQGpچ} /Lth !?*[͈Os]y"|cCc+ofe[ً-12 RVi6ę-Y &`cX/d$b͎sSi&ш֍ɻB=Lp|.>"֎p>N d~? o*ˬ)ciCEs s._)3@aGDcm0qRox a$IIOaj5ҰFrzV۞/U%"MD7)ͤ䩴 7I_5PEх)Yt]wg psA<|+vZ\Ӧb 3e 9Ks*uns`)8{ VćGӮbX}3Y˶GS6bj~_ї/ GVpBEG3ds 19~o^|T E70+$A3SΎJc97g{.3^>pUii/9<]JnSlWsv-F#EਜHyx[:BK⧒\$P(Rޯ$JgWBLϖ`jӿ-=J랙p3a 9/bc(>Z_]2mdR3<O0pD*b~{==ԴglIK$w^ (Gb5 "d[L)N9n k{#1>[/K^)9")TfՋaB+~9nd̒7ar,a ;,KYET9's&prQXWT8bb% %0sx_t3q,j7DBpBZܯ ž'̾DWjS,l@ʵ|qW?F"f=t0 p؏ތ`v}h yu8p\Ww*#C{f2[ nwUٛ^7٫HNF2PvuA͆6[%f@բ쫬 &wyrس D_{~ |I_N$jb-C_b,Q$K 68΀͍?S3Ocd uk$վPM\d!J-_HCftrt +8}I:ZBO,lBnD{1/9V) ̽+s΃)Op0#~ݷĜ {`i%. Bqg8Py^4ԔUߡGz)z&?9k+\P_>z&c QQD`W~#%JbmMOlҘV8ǰZ>cF)QggJWخK稣G%C&q# NMDI4͢W(M2fuhvRT+f|!1=ZX:I2̘dzfX^YfH/P+*pXxt~k-fdgi n\1EQ>k򞡟~B"bm&r&rsE'fQhGObh;J&RSdJA¡%T|' PGU$$Xn I3䤨-b;4:b)qkPb8(KgYZd989e244072ac9ca94ba32dc9531abe5b06ac70500b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c