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 W5< ; HOL-Nominal-Examples:threads=6elapsed=363.000cpu=1363.572gc=118.048factor=3.767zXZִF! &]ŗXf1-q恈ބԍW_8FbѴ Ny#jx'|h0$q=hץsglk}z؂[P 2>A2sMض#eyۜ$: 8q?{b|)u zvH]԰+]&Q02n={mWeD^(ԲH^8>Ҷ!1M@դo/@JhSq`C7f!T"YE.cH#mnALO 7gqk:i!6aX6yW<o pB:84uq<ƣ3"Ns%{[g {gڮ+TvxjLlf3,pbxrMmf ke,tz5Կ`XO+_K86mC7cIu86uo?#,h"*-bN{,m25L9DyL8r;k6(npSQzK!NfrN:Y.tU!眘Opt^Us B[ǙJr̆ӐrcTAf6$vB3) o} 'dVJT(7WŞLRbm@&.HqPnlu/΃6̪LV!L6GUh|x׶TGFmsk3Xl˜Rc"2DIвIԧz,`BX W?\ޔi᧬ȤIpEͻ֤s8RbJ<8.l=F|yX`25-$!5ɿ#ԭH,-FsC$e}1qlp4wڦoi_7jل(^Ƣ}[ Y;m82&k+JLm@{Gm#tԫ78c\A(蒕| a#^Sb#fwa=RHtum-TLaG%pYjz%<(fYVۦy8j̛8=1O@!>Ed|wlpBA]=G82:zAšFGGs\;lK!)#px!bԡ ӫvHqɩi8.- 5{{#FaJG!0 6!LN W "ߕOx,.ƴa^?di ud)17by ՚,1)MO:B*XkjI٠5柨P PI%W/=/Dx&޶RH?M<,0P+GrE$O.I:.I>Wr7Iͷ ͛{#8<3 |{'h':o(rt ) vF6^Djt>0j͠\2!ŝDB|!uDaJ(26 s熒*l D 5.HDKnPR [ Efi;mz.>Azc #5*4?~ ?"ȲY鸎nkKNk-t(VBT`Q'dbuIߕ-4+Qʼns;MFi|aPX@GxdVgf畘\dn6TGLkA[g̚@U2 aELۣO)p)ZF}.|̏ln'h ]Po𵽚U|$+)v{}UZG`ٝ rR!/瀷o sӊ  UvԳw` Ʈ28eͥGN7V_8 3ZJ\=$)6Ԁ);(d K0 宫Cy\2GO&yȭVfC 5 HOL-Nominal-Examples:JTv6cQ_HPIRU7\:<~a2DfYwXWTEI#J,8+jX~EKvtVut/ѥHJy Je}n?*j~3;ub4וUֺ\̚2"TR搝yзI#s?3~#*dGfuf; ppZV1/#y)*/򫀤ڋ%8DK~KtƦa|/WO,vO GfM]1|FĬXNq檑W Q ŻX u$^ܨ_(L`i(0JEk9'&La`hL|a.pvcӲ=[^'o*]kU#9zWZ0SRM+gWV etV; Uh{Vp&e&X3NrsP܀Zܑ@]d%!kS񏱆)?TN*%v0Ԕv@:E_`==V.vB jug:sl2jT5&R&P0Diϙ#uX9$9@ԎtPBB0  'T~ϕ._2Q!{';^%lhN0vQwYjW#|GЦ"(hkFO+ Z&.$e_R'ܻ'OaKRcwc@<sZ*.B}P[Ҡe0#{o؂Ce;FeN n?QVz ȾaE&גჸcDv߮-QTI~ӽXݥElC^FBmܐ*5Z%^(!xwtOUBWVO03 /&^g#T0W.(\p`U=\1Y;U3JHA=dC{3ɼ IZp5B*wȈFs'2GGOuFNYt0לC/–#è+} L;8Rae.fׁi0BMDG}pEVyCƏ TyKy wN j~ىn;4E+^tM쐅WnXiuFxđ(k1]9>) G1D&"N<?B^=hHIQRF:P{_{/c'R'\jaiVV<ӹK:7p~qn~A-lW [ԳʬYfWmztwhaset! "TKR6bmdYGq] -&*vRvEwD0,[mucw T]W ߹ɢU.@ %݅S5?R\ U Uyd fBDqlof0Y%V.uࣘ?y8K,g #&#ޡ\ OӲE_壆yU)a}XMey]!tnNݾ޿>Ȃ *Pmz eᶸS$M/rcn& +ͻbHI_oX&M5Q;f/Dlf}ϝA?E0m,ZY(is8&7KϦYqj k.)ϼ-kZ:)y0sC2#)ڕ !_HHTJ1}Iue(=xP+-v.lC ƪW3$2۵Myu# 锰j}4-NȬKXI"4:B"Tߪ} ϨS1Wz<n7Y HxLsӏi‘0RmM7a_{NzZ +9MctM)W",+}1 OLo2D 6lvk[8ꌣ0{Y ?6,Ych:??A s"3{Mcjy7Yb'5*].*j\ p/޿_c֑fqFdKC_>j5S 4sCaS—4I|<7wC*/r>D\dEub%h=I15tW-(!:v,kWn~b_~ a%P:rKJ0oWC(1fHtJqɋC]/ڋ,! jA|Z;%݂=}e `o6m$7L;tvblC9.`vD: Isұ{BrW؜ 5d {hL FSR7Q<{0Pq!wwⓕ)#۱a{]m| [qa6?≊0io@=)$bIl=_S8AVE1Qh71#3@kJ;]R=ضa߭iHcn-v=Ԯr^(ѩ&UtTZwf7|ub nr9WJqtbCûXnxm[ؼ+W}ݹCUcZƷ0#,Ij!h1nCE)v#O Gů転?P!#v$nM 0:e4gNp) kYg9025]A>q3`'2I`6Qn;.QU] B 0MVň'64Lg{oꉬEUWV%-oJ*$"܎k_bI.a}xg.lkpBs($P{V:69y.[w{,z0hEc+Pt'欉 USܢ&2һ/??"%t n4z䷠ O|⛨挃y;iXī1 rvL0bYkSqK_zB&SYk0YYaT5=Ĝ{"jRJS=!cFShA!; pPن2΍2L*dfsNE"?ggebd蠐[~iY8N[1 -B&6Q5m, }"{/%,r9M evy7 \ke[K/ n@{!N]["5K|/_}x29b;30e=X碑 j]Y__mz~F Ln^Ux:_FdP?gj/Dg^>N<]S*ŧ$[ '[&D%E߃%V*ϚZ2e~8: /(XO8:#!0ޱ"ǁRn!PE.m[ PiiI+6Zy*uǧ@)~ZM„CɴE!˿q[T.65[>,iYdO]+/2'`aჅg-shT{+ &`: w`Xv>.7>i > ;~TđY.i=O͢QXEWXYҖm>sSrUI JB6(2Q)Oݙ QO>`51k C'r5&GMҾkL2~/4UCwT\+o^DT!6":i1(w66|uy/C6٪Ť ^E Y,ag -m_X=f-1M*F…j Zo0:}ܪI]V*yW/#G < !7Q }\pIFeXE!h+Ņ1"R]`,*"RD"\CptP0VIkv߲בg oܣ*XWm_O\{y&C?p"^IU~ӝ7(Cbx@z}R J/c!/*,2,,{0Q < =t8w3#ԆW͏ 7%q?$\9=hVM/y~Y[%(w: Dz\\bwGi;=&_YgYZ7zXZִF! viU]ŗXi%6ԠM8m}siB\bMwVِ,-J<$z!v-SNzֱx%2ůW Gn<=댘#גQA^*_:~Cd0)SÐ OS=Ah_gGQdq+5E"%K6)M(+V<ڔΧ_ZHEIo,%t<5Xn,&@Ͱo,XG}D#UNU_wa?/ <˂BC wYV mTyAUd)m~_IR]S!;+0Y;eAk2.T/.;66.[e83m=bViGeеR|&,= 0QZ)Ǖ\pF q7!hew,C$K^2q!F Qc݅!Y2ĕV_v<Ϡܾ i|\d_#eW _-̚し)n֖Uoz-6;!3WY@xJbRQ{1r(aୈWjCoK:@Κ p80Q8H{m(e٦Kza%CiQtyIrR?Ұ%. ^i{wVу}BVfC9U^`;m877ظ9rS1EH3]%8r%Ļ-хȩҭT+MHʔ54zXa`K ,89owV–|6ӊayniꙪW"(c}u4t1/C`mV'~mG4{Aɦ-h Xvܾ+.j2Y?rOf|;=IU%GY;1$s5XwCB[M&6'&ԱfqZyn:qBv}m҆AFm.c:ޗim162-/ f$e/\0Bq嗝-JZmӿ' o;vɐR BGgSFȦKk厌JcLJÚ78!`l)A'NuMXp". w `( Kw(eX%[@.fՔe.I (a(,?o GUX#LOۅ:,Qӳ  *a$ً1=me P(粹^qC~YޯPO^u2Hd쩕A$A+8s$B%B+^٘)R'ԥW2-lFih fn{XWᅻ3mYm)\K䤀Dv*ݼ)C/$[#g KM(Myجrx}v~ Iprpmƈ/ҟ&.|TQǙmԈà8;.9`$ gU[Z23ޖs[:_k,2 #{Rge7.=G@ ^oմSjf :`030ԧoj@?n`9hĹyFP>@.y{U+ͥS a4V dw9#xSDQ}GFFp!L:25oOtlc*UQu'[`C{oaА.U&g8r0Kgʨŵ*X;5xtA vX]$Z}^ܦ\Z}bm##$&D 4C39ǹ/({ԉ `9|(>iIhQ-Y{S1"8e ݫD i`7Bz0k;o}\ 7H\ ROfLP*ȉu7=N T/( vMY!w?K=0 lI/(*/\_ ^h2ANB픧&ڥ U&Us+Z:|1A^ .1c`gҒϵϲ5om6\RZ~\ '~/Cμ%N$!s4hjwgwEr(vlotilh۩H;T0S&J(az Q}M3ߑT8+MxW/9Z-4W[}ţ mNvhZ-TgGr{:n! xf*xۮHrAg;7-LJwB[2TJJIO"νDm-Co@?"}En?ʱ O&&~ſ>6ӯ,6{6x.NO!>݃]n"ul ?,R1]O$Xu3*(y @-Q=W pH^裗nVwD򾓱[`dWsSUT5E?T>tr w*.d`Z|c2﷈vzW{vv i-?.[ ?6a*0P_tJs\P$^croFP$I@)~F(?њr!,<'K+cћŖX|&D 2mv*q.}!>[Iz$ 1.x*6o"4B -0)0H c;#u|/\SGi~ !Eΰ|[x}K^?V;=~KكCa~1t %4Tdw}BSZDgKd19R-c~Er+ xONMZ/?0e*)m1X蔚MhCuupL`}{5)>2DfTK !>V`fVuR`%b~G*_mܱ4 "yhU"yU͠mOQ~l._μ8":Hv\@Bo3*L:HDy4M>Tb et=SӅSchh=.t " Fzq뽿6nǓ+XSHS7S~D foplb \x8$Pr5DG~LG`M]>@ưp]1hƙ _' @Fm#Wt4K`Ʊ m w+åN o-i8yLRf4+#q~何z.y(T9J3ݫk3©EJ%K;k@y^}CkyBCPh"Ʌ X$ H}%™xZۈ.M6HT+F\n=BZS<6V}^.'<]]ȍ%t>czGPAG>HFAa;"[BJX|5O}̶TH9QUN[F۩E^=.bBϺ-ujKmn:֗/)N0_] .st,@//3B90RuLٷ}FXs -aWirϐc"7¥4!#_< 2-hJLd쑞-0 q& uCY}0J"fZM^pUM0y.+E4.D ljH"G5?OuQĘ2Ғ*+dG9ZC|,W*Pg5&CiqA k1o(JfLҳoÛƼ?qXtϨLw iIѭ^o?]k8&0d`@㷋-NM_Pe\G &&n Q^}t=dZF,9ĊADCK&3u[PlN݊-ƻxICDe%)vRM/?ߌMm=>M ^0E:?u~єfi<o2dGB?M15: jahGUd䠤& L`CdJI1DŲB<1s@'܁$ZЫ$ bO2[c{_KV*֦'!ƋZjx\dcss3ͰuwT(>R o;} nIToZB: nN:Z@T՗{}{<^w iZn)P&ӳ:HKk鍜vT}a,1Ո܊jEqefimjB*GnFx?AyӶo\z:G@7GFhGkA*M}(k*GL7CPl, +F9C1/n%21,ћYԇW q?`i7`y fn؇uWAq`nn:d*9w]TDao AL`zP Mc4F|?r|Zg;A㌄e>CK' yf6}RrPkH[fnڐ1TO~YA3*UjOS}N/f7¡GtjHt,S•#HoI]! _FB{%3 KnKd]-s/3w-8s2W*)'BGOC"z8zMG*t{iiHOaO\.&vtyX "J Jf" ~GBד3ZLR9І'UR@ ; WaɳĝVkv 7=>?54.^E݁eцJ!1%QkvKZzx~ ތ:(U]p8YZ- 1C4]}P?ޞn#Ga:BL_''bK^~(<92 k~$)k[{{q ő"<1t YVa{qqt,pخ \\9oD[mZM1՘Е$`A"o:N*/'Rzm6]x-[Kڜ/jRpigF9ZJ^M-qN8UV.,5jѻ:] nbJL25VY6#eZpߐJ[qF/{ΟD.Aڻ`7W+4/ζֳ(S t _x/(_#u?oZ7qe )*> 4|s3Я$|sh* 2ɱwo D{$0p[ B"C\sܾ^:@x[@}M>meǬ~ ]ċ5QfD5'BlQ8ih&ާZ5;v-C(ϰ3} ,ݷ#LTEܯnL8F2t!/b!ch@]iaQywf τ^#oH@RTbRb?N'jkNsQ2Wgh~ 'O2^4u +3,0!6}3<gƬI+yC^B :sfև nA<^ r&/#oRkВ8J+2?A{)y p5ӃoXT'c6^tP HIΔ ha`fpgPh<=/27KSm"#48+H1:їN-U.t\##"a]7xwMm$nTuz=OoURL:+a${q&9 SJ\G#M̗vV[#I\Ϋ&3Asx|i ֒M@z,|.-Jw@m_xO+T v/Ss~/H6h=~X 0?4"X6uI2 D GNX1<&G| _#i5E=VuiyP:Ԓo&ݖ༹c)EPTxF $xKugoޘ^ͭXcmV/FCgS*3m+[Os嘔hq$ U&Tmkpno$,;m-MaU-bm=ekMcW$Oi 0B'he$!,^2?F}@mMHQb*S80'Ş/F& {62..] MՅΪ۔zbVp6CpTNPCe n1;AXP)byYi$]2?co@NQ=]s>/0pmfnGL ۿl!x3Vd}ۢc!FEo < {y6-lF_Ũq!Fޏadѯd ƋՏ;- !_9[|ϫoE%j-D|RAm^-W-*t;S֌-ФY41C&V߭W=8W3n-$r41̀kt](8-8QNH >( `Wd>#|O-N*ZymlĞKMFpLZ~[d{)L;|gA/L. uDZK$ Să[\' C.tPdn1CDXt"8bK`/'xyi2wi%ް(֦mUYh`TH;IPpv]0")𣿡(Oun zw=fnnhո=EJ2yq>vԖ͖@X+hҡ([5:'X+ _n/ &q$H6;QOIŷ)dū|]a|Ƨ 砩qٜ+O6t}u]l+  >vS'G#Q 9F9߿ۆrv!3_mad+ylW ;s Eo@?+ð!].Pܿ:S/ARfZ{tklƷr?0f{LBj3be5opNg*p͓ 2N m& *]y} qX}cHNu;E 6zL&IJ I|)ceTm2[; OhC[Dnn!:*|ogUA-vטuQ͒)-z䑩Y H]xUc9|U(j˜B%Ɩ D4 @Kh+tsʳ(Lj,me!mst$? Nh1r5|ngr րC5" Wv]$Ȼ7NeFM dDoB+%bvGcY;b!H"I9͙S_!#paمmطI,eKGps0Xܹ^|olX!8SLe{ _ph((8Hҽl\ʨtnRsA7^Tmc*K( Ym UtK(œXqEgX*N0Q1s S`! |a&,T i֚A$Px3-^ HEcTK.yW %"NPBCVWC/) #{FKXE%f}5*] $Ґm WiNRppMBmkTt@@΂~lZ0Æ!'.y1ay}Э&p(#q'rpsZOْ8^(Д-g>V~:i UX,Ta綣kubfA@< bҍuhj<$|~0VFQ)|'8x]~u@}((0DPs~Qyjձe(vef Oy^zdeLx[0&$C8ҤQ ,9LST~7ZO7iw*շ\Df⹥*9V)/[)]eW:זv GY⮆yA.O@~<I,D嫚u?%ȎDԌ0(E_ |OjOыx0] c}V'$ک`Ifƚe7m$!#5Q(ԁz},W<Lc0.z}`w\a%X%]sUB+ !LD qCb6>bJ@Q! @~)^6-\u_|l̯q'4R$"Q|P|< V=\UtlJ,zwHR?>51(?_ a/<r'°4oU[uZ7tch7JPU0*D=M G(SdЌP69; ͛,$V7#ƣ杓(  (&ߤņ G^h-u԰Rטe<^~.Ɣ . +*1ɝV]ð.J$r$K <]hI./|) {`quѣqЕ!o|A#~/V;9tFY=HS{\[F2SEEZ4XOR:F#R9rT6V1+NQ]_ 2o)%oqSU,0\a}ӵ<\$r \ۨ):^gҞZ)hGA X&aU@ގQ Z3vA*.;hn xAypeWDdXV8")z21YMH:cU9BR. ]{~YcuB%4w4̔T*#bg/ya4o*?ZMsd RLuQ,ԛN*w$HCQcg/$7DJ>?ϒJi 1f^̛X:.b0!w뮽uvDx=г`Yם}k"ZCx/yg oMV 6'?&9RZ=jaqa݉;땣qjC%)i>{l yH(Z0~9ߐcCl鬼'6#+Z hisyqArR7;$ eF] -~-o3DyV<~C^(K{ _e wP~Jt`Lz`{RN׶k2 @#9l(;6[#_l V(eҼjB.l+fkU,:h^|xqϖN`qx,"F :-QӆL6KĂa8m Rʴ_ DV3,0YIl,Mî0`e5XԹI<&36.z̢7 IM ME60jA`c )i?=~>;f@?*-A*53h,aMAahWK Ϗɥ\\v|{j' ;&\N6GCW4j@9 |{67]ǓϸEa,3j˔[tVKR E%x-tLMUC1 A,@΋IoD'e? lUw (5Xlں8}罼4&n $UQw%do ?Hg<99Ј\A_.9qH1 ӶAj9%468ƸQ> w4vi+jdiLKe ;\ ;tS_tSRX8kZuj!(QXK:7 5syLs ȕ|WR cF'yGlE <4}Naa\y,>:\{X]yE:_@hk*# VTE,,`ML/e0Lb2-xԒF;c?{ر[LK&?.,DcށhȐi|3"gd D qEjxl0_x[`MMSXyd^0A̺?֗|vGA%z(*v4P_bjo٘w<(׷ bF j⒵[\[9NTkbd (uVKH3XuH~)EXyuy1(0ݾ/[(i41U 0&A Jvf3ngUb%0\Neeo}lKe&IǗ`6(ss vPа3,V>}X{XW>n~ ך%(f?圉?v$< av7DaQKõ ȅV'̷{#F]S!aSKsQ0d*Duf(ƺG"{ ʘlxc>Lg&& [+cFXIIJ%QS:Jkm |&32 :@j;D;vCuu-' $_P[֪jtE".e!dO*8nG~ CyASވRT۷LͶf?G$U1faľvKZilg}l*FJ-c{#;Dᅎ$YS6Xa7?VVJuk(ag3zfs5KPƼ'w f-09lW J"~`}U @;{ZC6`%VnED@TgdIKy}*tZntы!qz`~//>шMxk%Ӌ,;!A'Rb^Py4yC5¥{vS*ofoSmjp_Ȁ._J&#;#{[>ۯȁOQ[4F&qlUV:p1X]+Ό](gag>֩6qm!&hiBhAd<;o+DIviLHE!\{Nm7D0\ji,"tB fH98ä 9hTHo'o EcvGo8/Cxn=~ 1DڼcM4f! IZS^ƕFe`F>{[OJ2K5bqoҗyNȦBXȵN0kðWksBvv4;O55LIUS«]iU-,_ +S̙,g ~θFe/j:A}OsD̸<gIAnFL?@i&ZCtR_z/m0mvW1GҴAİ@(Z(l?yO9VZKG@6~ܙyњofW>HmYOG.TΏ(t;3WaBQw꽁;PO6$pJ#e;~}eT5mj!^!0t+YjCEE|? wjJCkN]D4[f߲ U< j~7ShhqԫTw6VR^!J۩M'\KѶa誈4Q6<%Gt#3t+[B;R~z]$Σ PO0{ כrHe6|ژPCi0R$3IBҵ`d/fhɤقj*)/{(0^BKr$@"8]uɗdc%tOK_N[ 6hqÚԛ%J=[E!`/?RD< &̑{sr][*pC힁Dyn>MR &V6M>@pM{VRu_cn@mkZ«Q.lKEG: /qԕiބpZO+ʊdSd 1{-X U`vTZ#.O(^":":s4{d{%:tTƗ>5 pgvIT}3JYRG~.M#̿(]=RE+;xvꕻK$CsBM]7O_k`[ЂEA[;o&@-YHbj㜶,b?ڻƺ* `hɾ`a*5;`Kxg ǣ8#!;/g5A2%޶~ M g xcI|C2Z-5h =&XOAQϛas=k޲"at!r2Ŭ70OS ɸO"(B/& ;W*tD֢{QKK0o8?E'O_gG5)&!沋}f\F=cvaFSq5_"? Oଗ-v(HYUjTgM'N.Qǹ9=0ZR8Lޭ[B\TGm[1JM`Kd z4xaF/lu.˃6E|Nt)!'AՇـ 2)Ь;U<P^<0tAf}6D_ɆjLɛЎ0f+󌝪`cMJ/v鉶?5zqTPQ,ěݝɸB;O0np&d ߛ@b 2m&9.6*k2UdXn"|^2\_Ss矵XKZe/h^6jNCI "İI!tupzTљsw-t,1ڪqOV24OcK JWbc4%6۪7 s{VL|EIQY5 E=gVwt W xA±aI{78HB( Q雌PjMcWvUBsئF6H k+9Ɲߚ^#4  v5 NpDA}!`R0 $N zAҔ&.-5>!X.ј-=4crPY X)ՎyHj|sRg Ih#Gb];gYqz&w'y8$=Z`݇#Չ9ӹ=G6qt@^;ZV+ ;dᝨv2ŵRN#|S7.󙢬~}Q 9]!0X[/*&J|]ww^\Vbsjxٗ#,A/V,1{o!dDwDDȇ\^"mͱ_[y(Ƌy>#M<ĵI69[٢ iYJ+Y/VP11zye{7xr<@?1Y]Ms4\G_1@^ Y6'wiIC6IVsN BިQ݅jhC]A1FJP?˦ٵt8ʗ^A)cg.[#EiȆ\;o S i$m:,eNH=Kּ)}؛n2o55qIzUr+Cc[JwĦ7Zб\?1#F] ƱřwD&YrP4h#g ;A챋~^$D ڹ)egA]`@L` j;D4٬,2D|T2Jx~EtK(ގ9R!(6ӀB?H"ro1ܬbJ f"8_]Ge 8.1?(hBlau-M,2qŚ7v#o|༰GƵ4̇b[!5g%K+Y[{pٴj!upRT_Agu &z:e{͎v{J.$g ٍ·^6.&w@rUR_dZ Uz1&2;dMc^i]&6K RO%eiL?E5{袯17G +]#Y, صV 18LYHg9\跓 <_n7)Q!{cQ3ga3OH+x`m~`3_BNCYҷ =t\qw2$ȴ:5Bs6rYAEф$#F75mhDs$h=[5O\~Ǩ KZjJYxZŜ.KE%~t+t;2S,̾nZEyJeWVXSkAEN^#a_8) -j *UA$;ʂ(_^mb>AD|*/|z LA9>.O_x45cU] Igi,_ʤ!'htq:$gjICbTD#1O>| C➋x'VR*mn9k;0!CR)rVĚ~ l JQcES>HB )KW3_$jXHJE}Б1 DUՑ;r`i=~C0Mj緭ºٙ0\ncmYJ*~âdx y@L֮rwh?ĕ{LV$HTʈ 8o Fz!YSIEjl֌C(݂ \ˊ an(RDct¿c}]t }; q:SP';ꐤb"nT̰H>n5;;Bl~+If4&zPEl9Zg+f|#VBmM UJ|f]u-m[2rV. х$􈄝5!G& SeMt9wS}( 'B0}Ѱں:tfۃ+*>8D 'J*Ut\!fte",93.ja3D}*ZݢF*>YJ$=1hJ:& z2>lB]I=ٮpk$aS{[oE̛qFlՠ@~<4|M>(ٓଖ[Uȧ{KIacSA3RCǕ.L"o⯍"(i]/B٬mK )9C|Ţu7bc~T̋YXGb_.+Ј탳rBxm$#jQabLo$˯1x. &Y6K3[srf{8V4,݃#j+bVGVn6p/I Z:'b_aeK)'ieȾ|$ȃ*K !.YiC8;ywg/Xӕ A=}~ٗC\1!t.#Ѐ(z󤛹½GRmꌧx]٨#`ev<] -GUy UQ'JV5&KbJᅑABHGE/]GwG6ᦹFnf{3ũݫSkgYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 08aeea0ff4db10b9a951d8780d9db1322b9d990a 1f7bb09ef2d92ba6da1c839d19d5efcc789023d8 2d8bf6ac0b2d5552615942300b986e0270de9bec 3299a29dc6ba3caf69ead97e33849b8b93c14028 3390c388452f882dc96a09333b87554d8fea947f 38fa4f0473310939bc892686cedf4b60a5843fcc 3a3d8942fd6c1e873cad1278679e13aa83c97c0b 3c8f078b14b4048d7fe22d9523e1adf6efe77287 3e8269f5e652f08999d948319e8474dca720875f 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4b883794e54bf0baeda9be15d4df2b25a973e53d 5acb735d2239bfc1007ee9925728708f38686be8 698f449a94beaf52b78d331a08df4671df3648fd 8c52222686a1f76cb4e111390fec7aa78dc4381a 91402787208454b7eb29a3a1c923e0e72304f616 99b5a2a0acde1da97574e3f05c02520cabe32bb3 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 d467270cddd85ab406140a1856982335108a7d85 d81998b3112ad6c625df77c1bab8ff3d93af27d2 e6fe84e89aca5db054cec01d0e21f68ff47e9a48 efc76678a8167aef32fc85048043e428f9644783 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f726117bb101675dec7c140d8628829d05fa23b25a408a5b752a714eef164c12108fb205609c8f9f 58a972e5cd8f9e4a6c6ed04f009c0afab628e285 c85f5eb6055c40142e5c0435da6b10e7d829638c