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   ,5d ; HOL-Nominal-Examples:threads=6elapsed=362.132cpu=1360.784gc=118.380factor=3.767zXZִF! z]ŗXf1-q恈ބԍW_8Fa/G`|X&9围P X;ٵX9ʀu2&iZ^&1+C~eQL,8_l'SSl *!w(E`δ1[ Gp:^l.9&WcIhD+<4j^wpћ'ש!+e'c6-FW2`8 k [U|GLF'Z!HE4IMn[5o%c1swă^- oH[l&i-aW#Ao^zzbL\fI(eL7hOH%] ENxGΦ2fu;ɔ(7Ρy^&d"y+:i1UQT{.J9PKT٦-~>]`SsֿNXHD*4o8M^o_3;Aϋ ^!HMyzj8Μ.Dϋ39͗0nY $'MXe7PAf٢&7pVяE)e;S4~Z>Ԇ;F[>L!p&DrF|U߄#9M8Vh{s?Q1 s^b%P&k.Yt({D* wH1qSG(H&QÅyÁQ*Q>MH#~81g6Edau{0DڈW,dϋ(>EA4B%i5c7 l7ůj 5 HOL-Nominal-Examples16hu%İc+9]: |^GE`r@z:Ӑ5>*>#e/GQ\Uݔ73AGiHL_#V@~7 s>h@WwsNSQ3|bMvk}GNAK˜ߢa'Ntj[ \Qy{;C,=0h8J5VDh0V=T T!pehl*]o4y "f`2&zWFs:8\5BwP.襫26"lBG!G%Rmoc&7+eg "n"7Yt$FϊR>t@l|3ᵣ# qHtpf#DẆ0QL_5ՁcY& \b8*a!.]@`‚}a%b\DXaDm ؉2!b}1Yf ̼B*wYpAb Sz rI|,>±@yrf{`ws͏ s|vOh]-05hvj B״8[$n#ZXyRk@;ʁ QR;M~Ѽ6WQ. f Ma?z ҋ߹ӷ8F8Wɓ8)sj L*- 'WA@5}9mbOvsjyh*ʊ)OLw $,6J4_g.xߙiHޓtr}yܦ'$SXELW޵܊T~͈rsJ%,N)plZ Rl2la\P-rVƝge?drœ&WRdWvK%r$& !!R Ꭻ}_8om(/nj15HʻNNUu#mDofvGq.e{{O\{K&^fR(õx/taV=9 ]N<7?ᐰnSV'X !_°iRMÙo;3gWW}; 4?t#ݷ:>uW7I)Ңq^V(uR=.!MC 7:U$nz^jȨ&h$O;*=~lDJ@JI4Ak\0wIтXU5'^ԯkOυj~꧑25E_> )A!ԝI/V:ԴK(#IrȈ(C7'`l)ґeà%0)5^f;}t/kcmmS[2r*X ΌVZy$,qϥyd+1hPeҒyFF6~;y _M g{`-aalT8gN.-$<)^/ zl#rVw?" 7 YZexh|su^DA_k5q}.WUVT {uP:Hs\L`dkT؝p`Ikfs<Lqx^f?!gMB0l"95co<ܪ2:-{(?F b+63 rY1Lh*;ee`&.sPIS*>)uwT؎lu:yS6R 8ZnzfvG߆X]/ƩY7~< uK+1zfn]3 +(K-O6Vde/MeӋ(v&@XĔûH9]h 'F<$VIݒad2Q# ˒/mέ@*a IK3&CF.G.->"wu9V<~kUW!VL?ZfJ+N-@ -ʍ)B[g/BF3f%Q'^7KY#7ʲR>7BWg'_ZfeM6=F99CX;l|gٟ5s˶vțDDlOm݆!WF-z; U!OG==[%4\ +{GɆ>q 8=ϪĈy+(_?{n41՚s:9*hkͺ(W߼5@jKϜJƿGrU ihY9,_Ώ!#;w_X_B8]PI Hxj0<ё)>LY9[Y89p6Ʀ;XORtU_\ 1($7< ,?YBW^Py&{@RJkӷ'e%E)3!S=CCD8+Af4ym'r@[ خ`@x}\o6m^@ taDl1I _ >ȔNH30FE`nADlT—natl1vq|j}|v>3[zR)r 7վy(?'GթE; H^gw C+0D9М <4)?6̇\yk2ɸ|<޲;]7=1úsaYkͨx*PYp9XOVFpmZ~'BLGZaJ>T&|N>7s8˦%1o2poJ^\qPClE[%gYmL3@cH|@نVB14c쟼ɚ -D[TZW~ekIA;9lG4'. {hÞćD%cSLjǦIȄ\Ł|>ݚl,0S1G9)R!J+{m m"!:\Y 'atC$WyZL\6ί#;S4)Q UNXq †xyrr xhA %Neq3S &Ie^:^ئ>8HϺp34Y%9 0Q6맯4npdM v4,}eYR%lwxq]AdѢJ?֦eARlL [oxR9NzbC8>uW#qX>[qlON0`*p!25WOdP@*~TM ehID;2;SP9Zxgn ~57=l] @d M ZɁJr9)72qGW܉G+FHmvi(Ecy3w6&ҙ ҿAYe#;b$m]$աʑlb3̓J0ba=+Tjg,n)V1e!0s=%BwR,r]v!u 5R;%[*T>W8lhUrt ,a3]U d77Oz/!d֒~-PyO۝j&)e# ⌅ :0*gmݫƴq8LnƏ5j|N+jYM,d:;Qz4J 2K)KL{8s<ȷ26=a,U0KD7!a ;ൡS{Ew뇽Ua1 m*9&مp&-kĺ7P+υ&Wts= D!:|'+сG|WmÊ$KEF;}<Q4i%"A󁛧F3!5-PeVNH8mvtp d+.螼PxVFDӘ*$/P1[)υ{- 4{dž^qk:+Fґ1g^y=%"p +PuGlT_Dfzevd+f{c敼a6 %gMxuM Mqʟ,WDM6zX\"P0slKrۙȾ4ͿB aZ)E}֙,``' ]un: M ީ'f!5cx%AvYPQis 0Cc~?ӽ كRmN 7ø$iP, ?i~a.43j )5MD'3"yf]_+YH(Y(\=*sKmͯ"~UdY rd?nD՛r慘̞7Y_@jgFk.36-a$:W_y!D/eќj2 иX1,m|<ٺzCAمne6X4fcTCrnOƈzU}3M]*.ա"]W`31i)۳+˺NS3•CRn!9GmZ5_7k[t:gUFhEPQX/8+\5A/-P&mV Fn3j$'4`; '#L4~+1;W#e=!%{^&o{QK<[23ӯ" ,s"zMx,m;2^NBNȸ]o)Euuөƛ7Y.&`SRQWV0mBd4{D๰^e2i0Z/d9M^%2?&LۖJzf g{97FOK\ڸU0>EI7-O8A)J,j=ɖ(k+e%!Io]*@c-S7 Wե(Z+ AraVP(S= j_\r2[X 8vc$qcb{%Fז˷&.j~eHDͷrQ #D-yAk3>DDOs݃Ѭ I7X9]u}# )aV^eaOϫy޸dKe[Wоg$vnxW}r '2InʜUmFs;(zR72 _U"NWrҲJ% 4/5OW`8 NwEsR`H%D5aES2"y-uY5v8ĀaKKS5꺭lWh` i!0mֽ=B&,mYVLd [y@8;ɯQ/X T};Bi!,>O ]r  f1g~Zx y(Q?3,O'Ǜ:xSgHEp=+h;6* ֟T""}|)7cWi*^쮮JLw(XjѭIB.y ZH: `~@HigTpSr ruO}F4ys9YAe؃r0[S 6CW ~K+GM; E> Os oYsusM@ 0^A>QH]# #a!7ǞZxCEވJB7DJB{qS=yaF~LqC9q @~&CB{Wai6M`4!Hqrh ͦ[SAް}2L8kXMO`Z6ܪR`w`=b)M>zGtN8sW-.#/tJVN}l%lf6tC:]%yd!駔6 2H\Re.#.& yj53!|֯Q\ [ןZ)Xsv_Κtфt0Aȵw*kL,{YRB(Az, IW׼X0몪M4ޢ^!#"8cЉH.# 3&WioO#s$KߧXm cs;"$hPҚ2LFTMK?);#3 j|3*]":s:>67VRױČqhϻwd3#>#MTȲ>m+UJ̉ۅ8%,ʮ0 FA x$-OnBdecvJ wx?dkږ@w"; h讞VŇ*{>x\$x)P'n_H<X>\7Hoɕf8s+@,d@IpټA܏izPU/S(J*~VR+|2o}lb|һζl q a?>Q}j8(H{Wjv>V'$*/A?q&e&UeS&7^I^f2śL{`ŝ*[$r8XVa.?g]kͺSi:gulf_+`Q2Mo*ۈh1ˍQ(DL6HˤR-BͶ5Aam8LlxTظ7L7Ғəo!]H]Y:y0T"Aќҙe G'|bW4o GkV"B;4kKY\OW8ls *> rXd)-2$+\UƏ3/ eSuI5}p ^ہDS}4HHr+Q9Rde^*\w}7'xiiǖ]b2 8bkP亢^Vy9Bʢ CjPvRt͐3؈@{kq\fZu `'Ā~nMxz/KDΫ4*oAUf.`.&UNt1'gl!qhw=FK>čx9$Iun؞ШVY OM } @Cvkt_ 38F1{Tt0,|P O/ l ѥ` !z,)K!^Jki'N߮5`;ZD7bH_#KTB$ir5a]r+'s%O\|K YX.t9AZbd,{Hu尽 sw$&JmZK-C-CC2'lYۜ F v0h֓E .]qMDX6i@#TK뮞_1nQuBO*zすakQ%jbefHĸCǁ0&J&M~5}[|0l4tZ1l p~A@ F`h(^oǸ +/IT^_٥m͛m-"\|߬ī*=ƖqYu CIFT=H>O n"ر9':"`ar?do u /&5FFè^Îuyh|tKpt9>.+b\ #o;Cl  ],lL]֤Rk>X|6sH<5KY;M3HQ!wYL YNl57|$ H=\&uCb-\n|)[ G㖍\{M"6/Esᬐ GlD}4"yȅ,op.?YNu)e wVY<81V][[Y} sxs} Hu;.?J"^:VDwb#(%EZHٺ, Mqpb 8r餹Eϳ)T29~|,C_s#j_)dTjL#H )ˣ-ׯ:0bAX:Q8ZIߋ|9o;47$u-M>j˥oNZf@Vh8_`J+<ˢ"ωEHw] 8g>(5F?>2Oc&ȶ\Bmq]mO!1?^#(?MbG&̀l wro2ges4j0㰒=HwYoS 1_P)N9L5Lg)9[g xV>([>} }۽"h2:ﳌ$sT0|ٚ0}{dGsRzrɶ'$XL Vdm-Q7>#rz+OoHd~9|K`i5],[NhZLcW\o#\#Z޼ >$xo!-ldɍI0b7[z&^r u =9o,mG#|m,Q d;8>( %ӊo-!mkV^xl: m8CAK':o|f]oyL"Oh~)P#Ԉoni"e/ Oֿ0-UG) v챐Ds;3U0UFMYYZpiqFjIl*Uy{HAj*/Iǟ~5A|? ;ⓙ|OF4g$P-blX"`swMJM wU'_Nc5=I4xRw3fL=KhFt0,kA NvX!3GZ; " `PNvP۩=k,3>`8{$l7C1/w9J`W=ף5h3WD[9[i!6~Z !Ds4`C`cǔ_3D>7.7X\oJ cv$4Ղ)(e&A *\R@o~եS珞xcDbʇx8[3l1F9٬ke&2<s$x ؜|Dl"^ʔs#Is+`rF]H+֌9 o=]]O :@ه40׍k3CQ$I6إ`B[c14)4٩E .JcbETFskA,ja<*%ޮ%mh>{L؛K:t1DHq?^QY5kbµؾlR=2q& 5.Cd[qVÂ<(OM wrI7k2̸eD/Bs9d^NؘD!zyIZ&@ZfEW k`l*ӌP] 5@NϿ92i!蓕J؄B lɚaVac 'C7fثtIƼ 7vc!@H$augnް[@7gz5)˻2:}!3MG#~I Ua G<ZJY$Ǭ>ZB= ?,>*khpCf5F\E9OB+]ʹo3[mx Q:zJ [BS0#E`ɢ&z2*"K!CD7$wH""D"5FP i~EgD nu#8D=oLVםI47#&nA#r%z=}^ɾTT/;{m>[wu|8Q;0Q=Y?GܕuȾmlR=nжEr[6Ñ42bzC|HvEucQ{ٸrBe-f@S#g:_fO-y6dKK٠'aҁ~* @x%϶dǷGuY3=:7$[qw2,B(U]s[eXK;=4%Q bZ:2zR24p`j>J2VYτ:H>i;Zh]zd4~{i?_ =:^C06V "NH 9)oWxO;)_!TtD4h "07>_zQ\y DxR?ňj=ZTFtB/g*0wF+wO܃j`^)|nrʔqo `7k9X𲥺u$&0ѧS=Hpڀk36/Wy#/uMlq2FS^])qco7, B~ޛLjBd#$j'=1 IF9ٵUۻF(~}Bە^jO&N)b.mͤ,5kk˥Fhuˎ=cgm{3pg{TfTqȔ-[&mU$W $y&$z"Bg4/ڭKFѹ( Lh^~ ѳ_wܸۗbwB $8n>*%9ԕry;rWR'x0%83W;ŧ$"1gUmqfA_`5-%o%Ƃ$јi 0}>)d#P΍͊kMCk*@ilE2e6zar^+0g) 3;~"2gHR@} 4/?O6QIMD\'M~*((T2T;d0{Pދ̹7BA8A( {^pSZndE" (o_G Omol{ҡ| =LNM$c5 c)w}]".}uuѝ_weCSgޓK߸䂾{PB$ڑO]6&-A?(|o:XBaub-{DvŤ [l!Pye<U'l 2˻t*_%~eoP]9'Aj< r٠# HA Gt6u*,zF,$u\~\i1u Xv)*Ns04"˲ۨ 5^fV< p򺢐ľIF A"z]3 ?B&1i\^R6w׾[AV/ DY'FTj╜"1L*Kݚy}YI"SM*@gmJi(탙U_K'3 -⬟SN(r1AoYLTb$vVW]R;݋X!Ľk&'^\eM BB.~rkih)Bs+> yU$b̀BB%์,P?ewt;Ӌω 7ʆ}+.C{5W5bGZcj ճ;ȥ% YޅU|_7rM!1MtnbdcK>._j<5%6:&g6d(pe8=Lwva픶PIoO_yFpBm; [m77xMF*2#qC`Cz-$cSAFiaoUAoZ|8mD{z6ș!M3,!{K{o`kݟF]1gO,{uHjn[|-S@uK[5rz B/6MP =7Wȡuqx4et2s zm7dXڐ|(>a=*2bޠi,+lPFs#"_d$ip9LK!>TI6GqѼs2~:XP]5WA -Gu:c8 J228ntj\"mpgU,{Y0otS |f9c+#Q :^DČ4yPbMO> _]Si,*ߌ&7 _>򰩌KqߡD'krpEM sdAm2_>{-X_^~ zSSr(6teuO. #3xcƤ?Of g_-sK-=/\;~ZZNݐk,$zM}i >" xtrCc>(p \" Y}U &M0Q1uW壇{ɍT5B tn ~ ӐtUx]P~'lLNZ#1mGʳ`t%ohkİ_]EW)w31YksJJ\OߏawbۆLpEVHA[]dItR͔ Mh lFB̺27L#u2Y&A h9zӃ_Uƶއpid 'g%kU|N|Sy,r7# OQo<,o% [>焽uQD'CگpB [8iǸbl wӾ*4~h0'}霰P.p6s=*AqE$wOݠ[7o #U^ wQ|_֩KbZT;8'Ll+ۃq9:ȩ+FmN:h1o:Zㅆh2̡ζ.wl]w_Gf/f%#bPu&e4MH j$Q-%I4,V9N#4M bx >v'>@Yu` w43SRL 'MI^E8&isƵiY[Ϳv*pCXtdnYg`6x2k)n5m¸3Qie%|pyFPÖ,sďY1u٣'a9UQϨv*Ui^ K^ݩ"jLM3I2pdA{nI;Z3hd=4WbiĘE,OiPs-;wSJ Osܜ goԬlEJec=-aᘓJHi<{7oŽLCWPRL$P.jm,n;-e~q¡I>Gx}P'> J3}[`jIB9 t]b,7"UP7T(zWK=IDiu? ̇@ Quh&ּ%bRD0 4-Ӏ)(y|xcnQ\%ӟE>#@L ִD0#hoٯ9(}' &J>z̽~qM=rwX>7jNmaA"w4ʿ"0NW8_ d oNeiML}̝ VĬi]s ȌʹI1A&3%dᬷR6b]p#+#u&l3~VSN]& 1UԝGёWܸ \߾D-!7M`ba&j¤ҷ /Nnd-3H38' vb:R[ŏQrFϪVzVZѼSmɄRrc/D% Nn4蔉a9`j&Lf5mbAz6#?0|q]#H$A|r#΃,HX`K%Fħ)$ 13HBʇ s~^ș10d_C.>D\me2Z!cSVbRY#^9Q`I$LR].:~&XR"&f7.s+N#uڦW #!E/݌p-W~Ș8WVQOXP=*ۈB8A򀅐WT8G^wM/A~E-T! Y6+'!+n/+~ьTɁ63`mí/(ԉ鑘H_Waw7TEkxQQwА$ոL;~x{9H]?iK^$3>Ej0_EYi޷TR!ov)?K+Ģ\SSZmٹ5ҡM11O}#p"g2J6e\9-`q S/jFS#n+ ݆ 0s֜!NNgRу;%~RI)a삷< !b1ȈP51bw_.2p̯V,5䀥kYDC Zzr*/r\kvVrjM}/[K3HY__֧+=Y3pSמ5e.o !;mH{hLF_zʄ#^E69ӧҏ Sյ:Mڪ?J0:8;3Kl6W~ҳoDž㕾:: ¸8\)J S5Gy gQWo=^{#\ 3T;,1>sVH5aYAeIo 0^<{[}5 gud3/-4H@XPxt]]HE0’(LKɺ/Y cv}9+_XxDCYǕ.޿X4[;wl9U| ƶl6gD+D>{yf4 7zxc&COŠ$T͵qB0s&>!Nat*BT.S!v჊<(޷X>tm cqM68lIfZ_3$;0Ⴠl 8Ͱ-QNHVX{htA.iE*9kۑEVlf?yJiL}eő~;T;(yTw$E wuBW8ҁ?ʻ:YBm5mʂeټ)sRi^ LS*tf_hy/ K/3[#<,LkAM_Fd띱}l@fС!vCjq/BRO w"I(ʧ3`ƕ  ArU^1"g }X%ٻE.xM)P>"e/(] :k!eFL"T`.@Y"muц9חEc}Jz~bgykPPINC] SIo-%^Q0lս(mC=ixY~?4-/IM/fִ#n2%VK*=4x%1!i ^iی6a XTYxjbc?mpߣ_?Su >]tڀDƲUC} ǿ<91N!mDrqk#Sé1 87)k5ա;7j2] OLF3#IN1l75@cV98^o<]%_mј M9N9\i$ʏ~ ',c&R qPpO'%y fw` Pbx*PMجп|8 (Obj`̙}F@:*Eӵvn":Ӈ;CX =~ِ cO'0 aiU$8$1Wu,h0;SA6@*Ȯ1lw+|8IM(jLv,¯d)ZAs@>NDZ.*2o1M J&5M6X蠕%&O/{ ܏tAG]% /q _:)0V֣DǷ=5"ju۸x7zs5{$[*tTS 7uFxZ5PY>X4;AppՕ (p4tm䕪owxϔ$!e|+?Cdg-Eۀ+Bgru;:W uxŐlw"f>Uj5| %ShG?spc;;'1;)a%̹DX.aSt?,'–vLWv6clXz:?qjVܺpM-*{*7NM.3D(F"uSǒhUi_Je'Yq^{|З۟_з;QwlGK$X}!W?4P@  d#՝tf$_/ \LpOE(%F$f->e7_[ [ 6)|k;xLgc9{3 D(iЁPCm$E+I,菡U;)Yd HzHcvdw}b3v[&Z/w. $$- ֲH\&h{]&cs; pM` /GDA/QbJ)"5S˻]{$>?̫&<++_MVFŸwLc X] n<IRt$h+ >dLkLOD8?dg|Q{lGuC~i?Qjk cǡ (+c>nzE "uVRt;Dz?m U r鋋Ձ>|.ީ-JNSN>5W1Ŝ_582ima_2/\,I=vTˇ53rbHá3ph&Ӌ?{FES|j&ayf>/IؓZ)8W~,Wz˘[3ys&Ɵ4G /+wա4XL }jnlXyJ{NQ|'sGl֫WY>IxO1ܴpýϏ> (I5藩VӞf'8 hv|_V-bϸ*Eb-:2Sus=m;g̚x 2ĭ FJbY1pl3}fVM/9Q[n c7k(5 Ţ/No:klЗi{1#[>jFT7ؐÞoHS2`݄I 1`dR<.~ eqU~Qk=o!R @kKN ŐE֊kH"WF2׬3?o1.{ ̶x<,-8šלF [M#$ 3d0 +Xw`+^KN:s"꧈9= <.dzU}%!3UlX$߂ĘĿGRN ujb JjFI$iP19F~#Lƈ Q]Ӳ7w/o @eҽ%@CYie aoUlqE" ٸy ;S 3v cF5>ym%9o%Cz#'sԬO :]},VWν MkΜ^m'Z*AV\=ܛ|A)$'RtpR ]!A@HKEАSڧ4lU KI#VyQC!Sl\a!a Wk. + $7cDV 4/}yv4'܋]7&L՞÷ czuOn=د/g7kY;T6krpڡ~& bU&V`02orť .1x3C4+i|ύqt5Uh;c#tB6jI8+n Oْ Q-ѪW=+E's9A@.@ @*fk@Lb#!% zOjIݓ QshO ؜ɇXFNUo.rYyLɐdO;+ ,LKyHhDfEQ;ňۣ[u+5$ժ" $poG":n0v3{ ᷲAE>Nc5gVKgp{XU`Yi4pQ>^'c[]x|ݟ>Py+8BV.d[ H5 "``P?VFzyE[C~S|_G/x˭8!{[x\m݌uwD Ta8R'{ڕ <;~ʤ5:_HvVRN^dbQI!9elW5[y} 7 ݓ7 -Y(=J_T~K<:t&CQPo汈4f#a`l sLWNdkײ 9pt %͕O -YqDw)cc.*-W(5{6V'|!r_ I ;yjL6R3ի8i7snV ,Mn)IUK wF \aߤDz U_(u&J XZ9QOT>2E 6'M@myuS`N*\~3Q!kfnj/RrME3;y=I{'@! ŀp^6kzJpBO6g!BnTAhڌI2TLOz 1kk6i;E"XK4a1+*Is&s[`j:48k:YyҒmWx]nJ` `5ِ7X+T3t>חDC2K:D=yKI@ heg)>k R-m-}$.lS>g ԺR p%EC5UG"jA}W@r.{ ,. -ۑ!QQn=/`Ɠok /F00~I{ h~yh;lba.Բ$ne*ȹ~5|rBjNcFgYZ7zXZִF! pT]ŗXi%h01G6[l-D 5~9|vAik{Lk^-U|,*Zau]NM+>m+sd_b!.y~,j2*A|J}J֭Ljj%%| 2"':9*vIs2rJ)5s&Sx5TN>CXS-f^sPduij2kGZ-YS +;0nQ|& W[{(n’LD vƚ-$P%ͺqgFAjZRM˟\Twp2uj 8go$G+%mHb0 Y% կlQP[lI(Qƿ cn B S4 Ѷ9t" IY (PH RAlT ݁+[7Ks|тtvĢ=|@`P9jG4o3400\Ee8:U2Q4*I1F"`<_#%5ԯl pJEVvnZ?:}{U +|q,lAbRa{02Į5hYzs۽BD{L uӷk%(0>; smEh!skS3LF&vjd$\Q)F7^sAȉ# # iT6=.ل8. E& .5_`i{vsE7Ѳ2=aY}9(LO55҅jl/ siDO*ʕ3B]5>[H8VdavCK_`1 Cs9py7+y5eh8S Xi2o^{`Лo7wyɏ8+䂚31,Zv[~oK*2y%V8o"Pkh^M(OrxcC"K.j^BTDq?gehV׫|'L*6)QP޾fXE7$| V;CyT"VUﴘVg(3/9y'0x-eQ_V]䭝ƭ35ۨ ,X,s59_Y蹻nбnIN>+J.:O d $\\jktq\վi08v͛3,񆽃d[ȅ''`sׁ凥 ~7$,^X4sRis pSE^:L͞|vF;Mɩ ,:ꏀ>+,H9ݞ7I*XJx0(P Zq݀+7V4/{hE2Q<姟_I3d ɍ޳ yMfǧ?^/IWcLD(* Z5q_=jZ_1ؘ^DVTȣ@əi_F'!PSf|6+%$uغLq&<Ĥkn*ρ҂p@-tY<\"9JnppTH[Q^dnrB31 fo#bBNMv l/]F4FN Q8vPT$"8e~lL"@5rtyvk؂AU5Œ⁜`%99ѢtlO$kEmBK1Z8lTu?~"B^٬ʗ53"}X0n D]0o_Z>{VBm>yeqfso6zd9 teH+^6ܯA@~/D.Gc֝7Ok֏L\ $,.ͻ~1 [GHAEze?Sg8Pn) ^Kq٦H( ,l׊+ouI/pfDߦ+U{)|G(w!{ K*ۊ#\Bd[>?Ў-dR&T=Ej{{@1n}|{[ sż]+?E?B ; Ogz2ƯΪ%ޢW^q1ķK W6yf:ݻ5D0LU=2tAwV>ʠ B&vǟf*$*lO5/EO M; 2rK.%8TՑ*gY-u_}-'N'^m%f=e[tЀo<븭0c{wۚR7I;2+Y,Y1^Ht枩_:/ـoM V?lWg& l:Iɬ8/SN4 ~Ԙ 'M%sS%tC~FbTv*Ιhv<%P ]e8NxMcV9"k'ɠM㼂,bNp" Fr5TRG }2 y T|yL̑W6DwӋ|"`uRC2s*Hj)2o8ADIaF|AP\́m;+GX<^rjE)KH.eOX=7yQb9+Y8 Z(r!IPPHy_@Rž|AlI샫\Dt$79GE35uXY]`s,Q叏' x`sHQr=e+/J}6E n?[熶M1[1ݬ~H)#;36/ɗϙ9=IbN3)`a#Ulj闍/kи8knٴf!JGU"WSzM:_]a+~~C,|w>&pQ@TWZfIA`&l)H2 !%jX,HǣLpkW>5EƥƖr@tu[oƍxdyOX+\$?tPR@`GȶN&vfdo q[-A.@pKf{L.UvѾn Ej_3t kgh I@(BAT6MB.k@(ĬzB{K  'F1EY/\|m 7[oi6TqvݕG1|75/<{λ2oԨ9},eP^%B:0޹UƏWHkI" /.%7Te`4$ouh9 p Gy>_ҭa`3 *{RM2`CV,0>́KDKNd? j'9{](洹_ <`N ܷMDuP28S/RPPg8|hdQglOfG!O.v-.bl .Q-^E} (+7vI4ǻi3O/gJmբ`l&މM gEA(=9ϋ;ՒL#G7Rm`U߻2V,aHm9:\: їHMUa k<9 pO>%wû?N}7ij[Ǹ 9zKz춅VyCZ֠xf~{zwG SjʓуN]yZ`-jϱ#b;G'f&Sߑu##}MS}ag&Dw͔|MGΆ~N)J6P"&n_:[z졄 r&3mGs^9\S^^aJ c+hnGlTX`3r.WQB%F`fŃ 1MDOvs|Oe/4iGVJ:q_džHudȝދ6p;i}A2G.nNo?ӂz=λmh} ъ[ܖ-^TVXwPS/,O4|`\n ?QH+C+-Dgga#}CtQ1@һ?`1d؂#3@~0aWTn'D_:ȡ|V9ԿLu@z8\=l?5d^ R 롢 A7(l]~WJ: ˏq0D$C:2rL4|LU iqdݑ]rFi"S:e H\+h2M/}V2Rs5*#|7׺$x\6#b!o_脡%h-adaa,A[lx"s.OW5\{NQ`oK'"i/ o%iuC \'Yi3#ދP%\z\-p\׮ ]:}o^ א%h&< U"X\-OSHyL4Z 6R?-+SéEn")$1K༗4AҪRJWUjl sf{`_[=6Ra쒬=2P{jVޔ`( -C|'GZ ]gB/@I'~t!+$*"ݾ iQ:MT&l2$-*@~'EJ`4&`xy'9F>nA7o1NsΪW{! oKsXh "rb,N*:R\/\wͥ /,Sn;mˋxɤUբ߸&A y]:)HGQNuA3ϭ׏C+SUa^Mˣh M;HD&`pҡ-fVehW"y8pSOp@ghH-=겈2X <ž*/U0yQ^ew-=̳־}tHԅГ`ٕk: bFTޭڋq@h5L<%k{ N͂ch}S 1kj | .خG}ɸ#(ɴ#`n)$='G^c˲Nr9A$)59,2E#SI LD)?x&Y$PHY.uEO&iWoëaٳs&k-~Qfe9EMEo6nB W۴cT2 \f!XT3l+d@U>?SYF\ L_B\ftiѪ-흋-([y<ɰ/5pB]՟=1d%8Nʆkt*.ؓ{uI>FQώ.$+ӜaPɑW1糄o / : sG6C^jHIU]=c97pR}ݎ#)}42k(j.RZ 畜 2 *~CS_a.xB)8KCfNiXGS$lPp=Lz~1.Y2UM Bz+t̥P}4Lx0Ě:QRnd&١bC#0'5Tc]za+ ~&}r3(9ljpdƫ1yTdC_g-Ug3E2ˑSR9Тwy8嗼DoHHZ7{Vˌ'Yo&{oTEMB'k)qP$0o=9Nո+9s2;{8a]Hu5j'8U488؜)YlefI$xJABZG;8)tyn(央DL&M1mYQ2.pБ>3CR.*Nkj#5+eAŃD⊄c\X8A yX2Uj+|V^<t)TXF{Z+7#2KI?lgYXC~3?~|g@32v! 8@f곲.yRnj&3LJQ9 z6Mq=Dųg)bZ?-'Hⰳ#uXR}iH "2X!A3`[JQevf!g͘=k3nA zAU{缨,#yk%u2-ss {(ͩشT@+yeR_w) .vPxב~٧ kͽ̄h#|CatMNy 9gyFWQ?I V4`!vN\c/VsC)C5D φ>E*)Mh8i%H-Uʦ.V^|+"bg  YωZ&\~\hɉСRVx<=!>阹y1(PZݳvRkkd88nv᝸Q`bXMc\bdTBt. ^Pƛ8!# ! V- mP0 mGlSȊGy`v=[S9n뫖q=> l Zff$ĄG=[p]i&;p%e$V|M.pX[LnsYg|V6-^xiruH,=xm +pp2ˊZJ IQ\=[r2o(7K +6!g-1FMq>ⰳȠ CpMm ,KO)&x '!JoqZ6ߤO~sd|qCs>oAIvE”J>J A Նii3G0Ċ0ySVd9a7q\NYM_. wsJץ]Ԁ@ C%STQKd;>eR(u Zxխ#*2FJW/ 5*@(> d^*yVZZ:SXd?0ܭJ&% vD'uV?ПmN!<Ӊm4Bn MFpO6RɟW]I}8K9S>1,F|pi|oF@"̝([OY3s5)6pJ?oo%Nel 1HBs3MdY OڑȨH"0˟Ebo-O\]#&5#Vjʊ@} eG`ư\y5BgGOR0kS. yuk}yi"瓱1e1~GrWs^O~͏7qAa%wΩP!}69S?i"϶lԌr}y*aEBxw& W^e<ޡƴ旵!&pjhd ~( Cr.^1U (]ٓ%[^Bi?X[2ڮғ%A{˯-CmND u+(` >rJWooT'XXHɚ.v͏ci&W KsF6LFN;kC{W5F8Jk#x1 DeAYWw" \ ;,`@M=Uan5Eh9>3nO؁4V\1zԷ>I09[,^B`Dw ^ Ji)32:z ?RZ3U/ Ts*'ٙ041Wϗ7r1r~ ]Jo)HP\Da>wibSa=xI[b2p|JS+<U,vPƱ S0C%6 |7A˒ыl@EA~Fj1_U}4)(ͽ$f|rKAJืw2+ *GN'igOJT\ TL@+MFMXkXug _A*Hg~hV5`ŗ8^ސoJoYp 4Jڀ>oP;D>Ʈy+%xѸn◀qZ}Iܒ ЧC,O&Olj:++KnCɥ?sj ArFYzCi "ݶR)#ؘ<Ԅ;/=BȃG࿐ﱳs|r!c_Rȃzd_3G\O6BqvJwl SRSj7#~(kzI=Fvֈ~7 mױ&P6b -886S86YӐ6vb`Vf-tjpBL= `P/>=%Q2gf!'5:+'z%# 64à0r;(t,!KdRScf,' F>ˈ|p"9?m›0+ r.1R|Nݚj>]Zɂzj|ZO}Xap9ִ[}%x" g<׿*TpEZA>07m$3\-({[XEL4߭5ɸ,Sk kCiw?uSTmfJeOSi-3б.AZ%_:4jv+RD$?ac_hf;*y#Rvo\ݬU )!ˣ#X*x6v]`)9P$G4ɜMabqpxt~u.gApIxqiJH#ʋaEp-ȁ'dDʺ"׺՜vw*P2Ühg~)C zy2_=je TcD4$8:Ŕ%Z}|wc͗`O1g=19gU_i\ItRa,?R+uo>+w%aq6>kGuȶ7<@}Ek1% L01~JMͬi\ãQG؉~,f~6Tn`pg-#ۭ[ h}|-YB!mP1ag$3& WL+_+R>=D=u !6 +!; tmN9 G&ڻ'kƱ{`]b,\4@yk7q*np3r&3O[%%A>kJ-"<6?0QeʉeDX)8bj6;] .CN8^wqH:^cŕjcGYRWz!N :WLÔXН: 8qK$8dh@}S\! BPh;M33HCc|88H&)'p S8`ؘ _y^|b&7Nws1brz6%=)tMMԢy2A3XRt].F',G&ycJTwn΃:YMOY\[s"dRii?Ip kSzy.p5o\6_Z˴,SF)k \OHg{*uے.@d֥9KM?-B1h*JɡԮ X%!xq=UB_8чG-d".} `PZy4· \+ɍ -X"!];t8edtE-ɕ[ǟ {n_8~N1qȫWsx- /T^ْ~5!Rc6Ea(JJ2m7o :Rvg/ ijmXy);}D6J >:L93 <|u_0 &̖/on,~Hy+=)u[J;6 V'(԰==M=bϐYB-14h \U: C }c>,H:c jكe0my7F\%* 7 I*xdf"M<3 pbPŢ&QŴqQPGF>-MeJ(xN &JH+A7Ύݦ1S<,39S V-"gK~Ll};Zza$ f!C&Lt%uLn Ue8w((~'"1:oX҂l*P[@x"V,#` _f~%[失 #Xd<ӮXM-WC:vt︈5,@Y&rM )iDS7h U (ԁ, -HCc9|q3ʘx)Fu2zkW)عeߵ#O]~ _}+z׊xފ7 G2l/>;wF%,f2APu$#HI韲?nu7C0c;]΅:_?MSL թDH8=I渟#<> SUKSx:wID&jZPKc;8\pbtPjER` NT>u2+F`Y2#sr4a&c`(<)5f[BH&r3һ O~D̤5b *[ x*q7(VRsQwQ /OX*CP6 Rpey9HukOhb껊^\m2]&pW[}J(PL%>&>ER6eɫWCw.wYa0Y/>J:΃PeTTLeN}9õ &̺]]]gVC.G;k^#'Qsٹ [0V`<3]2s1]dXmGW$ p5S~^T)<'ߨau4*E<%Rֲ'Ugh Q/*T)F˺Ӆk;R7UJc6=b>K*">(e*_䙫iȉqޙk\drW4MAc uc}hڡ717n5H{Ng9K{#w#&*&=-Cj `*-" ]1xzu亇k  &n[D4ltxS7!2&gfx,86=BVp1^V?]mF?ȁұl%1 ju4[Rqwzɧ5HBI OJFkBt4">M/s32`kL9bCjuy8Z4 ftm)Ec6g^Z?ϒ>; x~?)Ѓ^DB$1 ~ 7 1Nj0VՒΟvZ~,ˏW瀠:-=|x$V+@$ʀŤծbkL6qn/̋[hStћQt,Nz^s@{"qNNlQM"S:si C4[[Mrs0z+խ>PAjTˊJSRR긐6׉8Q¾Gw~x4S ISku >Q;!0l%j]!fDg?CX$D C>Dl8埝, ky:@"y_' UgKv%\ Dq[J` E BY9lsRQ۰PJr6+ { UhΙURO{u58P2b*( tZYES"1۫ҫ `dݟH-0NCVvqKӏ i~) i6u}QmΪl)|m2.FJbv+(ĹfڔyjOsjPKxQz/:@NGp)Uv 5:7Oҵ+d'&t)pR4 xu&gDGlؑ`Or6JB䎧3':i]= 6Mᲆ$zt"R'9=Znhg} oR”1PgmQP|>ˣ4 c3JBL${zf8\X,. fqtjd#;[C$ia mƠY AeѻJGV8+L.T rnƍKOA~@]ur/0VU;ː-]n?Җ.szN\6ezW8%V%|2ˍ7AQgg1ً5-PSnvbP5pVdyu$c9;ǸjR׸T&\rLˬRzrc2˚RB1GS##=g5\"6MUz˲lnTS7BQtk`(cy7GӅUaF޸ztI =AP N{L1D K2ۗ12lܓ@P hm5![A<mAJ(&lȠ_G ӖFVސHtfɍu8OGx!FF38>]/2ǔpǿ4ᎌeDm4Ji\];& \ YNUzloWa29ІN~paG>,DgO'e=%2)}zȸbmO]=<Ҽb}DeW0-LT)8uAk: "Q|' %u$u!Z;d臿@zTDƁeď@g .υS[:,) y 5~ҮuIK 1Ϭ}Nt!1[e^q<_/ivP{He5e`#CʶEdsU^+[x3s7~ҮdGT㩯 #݈&ڱJற7dtIhjRჅcq-`ioG%a%uDbɈNO;v9tS8=3ŰT|D&t|ȝq!0Qv:qdG[}c ='U%D pE5|Adrƾ $TێqvSM&]: }- A&iD \,zc+HJ(%Eq R2څM)o3"\`,e X"uCkFL#2{^Z%dhA#<.k@Kg(c bS$+^kC;[J&o% 8g7<4 n:MFbu'; DΞ@mEJF]ƙ]q%>cDox~1-&7JU V(1r|l+r q,+(0TrDJR~sZ(E5g诧6G{ZD=c y@9hpmg:mT#f;)]#\lU$)c5R2^ћR@|]=d9|j Z%ddFx31c3w]؟$TZ17L V:f@|iT SˤYf ߒVuj7Մ,Ƙ5ꥹ#Qfh4(2 wԞA@KDFb?'j e% 1[*XH|{B, {(E\Ҙ3_ fwz,J K dS'MR;|CwYbՈu(N_v+S6t5.ʏ {UY}5:pw|8>B{ϴORq)w(.I3C\Wt2ܬ`^٩]UcÿY%EHƉG,JiM%$:*8Y|CE{St_DŽXIyH4BLJT<[=I{+(JFc;̘,^fz|9W>sUh:6R I$,ɳHH>>v)E 8ԼIBje4 6mogg+%f ߊ\{܉#I`V`;*#Dtc*8&>wtkp5g~eD z6vEBV A[>M崙]Mx=HӉZFwo1>y;RdW.H!?o{*뱞-CBmM^i>&D.k˪u?=9 D?HcYK2/)%a@Ϯ܃/J9sހϑfgUcDdTRAb-JLD`Hy5D(wd")t wovq&,oKHwd{F/}QnBhFyEGsiëfq֜5guV!z˳N SܰQn\Bp/=F!9k Bv$4=1.at)=}"$:@[+Md{ڼ\_Ey-9|oH6i ^cJE=h?:GJ}d80 H@#']ǘ3h|UuPIS.ܘor'pW߰_j Q S5qT TL4 I"Pujy8pnXvNJ=5jo(/Olsӳ`[YnCw^Q ~d<Gh|_RKRIV7S{}`U&By"nunYO2b- v_] 1Z6]P`^kzFD=sy~Cv6p㤓TV4z|t6jd᢭R|ݷn WhD*KUZ.I~4 h_Bܝo]< HY/sIgK2TGمF@ z@rN~J_)t >9d`)6,.?ϒC^NKA $7--!Pkx.at9LV"U_pw^9#rMbіn@CCj[#8e P=.]Ț)yʠҺ-nJec{ϭIO)iO>jDF }#JEީ^DܱgYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba5253a7422e0724a52c670b6af062a2766354a1a58d8 2d5861e1c6561c4a4d447266daff4f079b1d6d66 ee8ebddcba9ace508925f95fdc883ab16309c2d7