SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ,G L,l ]w Architectural_Design_Patterns:threads=4elapsed=25.362cpu=65.852gc=2.092factor=2.607zXZִF! 3]ŗXiɟDYK<;>Fb7R)jSC،aqI1 Y-Z`ْG~Hy1N!O$#BN{Zww%> uVТwo_2`bqR '@ap˥?8Ξg$A: "R ~D ޺{ЖQ8T- ϫ9[ؑ[:ͅh5<hَbsN+(wԔ]3)w]/P>ۻK=B~ $B` |RmkO6#q|RU  G Architectural_Design_Patterns  ELS8`_SdP:=p5E&IxFS4|S\5|{2`gzm G$.kyC.;X uPnR *;!RRFz 0qUuq1>>w#֯z뭼&[]%פ.gvpz?d0GYv0#XǸDey5"UYݷzb~uMs `-$1eW7ej-:P#a6~yc(WA`8р"q尹#>3A+L{k7-åϩA&dFZe}1Tp;H`UˣeP L@ڦo6GY_3CHGLA`o"DiZ.ˀbNKGlɌ76$ZCT%Q"(N|O֚#ag L O)WO辡~O6B1HGi &0k#_AK݋ AO LRB7B&Rq!:HB9[)'H/b1qr'wqʦI2OLDd1|ڔXh7o-ћVƅyj N0Y+a h/p f !F!9 eRx+ڃ'p] etwj;ڭ9sm90iڭe{ڼX T'K|H"k-3\]1T1BQ2'Hw4]DKdhL,N]J z"(XL.D.~(:fQ-k :%u`n3=JXp B=`%sW8MMfUyz֟^JD:wFV> XdtzO}Td+ڝAR^K vS),|9.ʩ.LHRƥ3”Hc,wuEfwʛ.RuvP2(4YMr7c !]uEq:^Dޜ fEpy5]!˳0--~)O9cPCFG~{Xc@'X<ិ G z]:>o:^ʶ@`65d C/z '1wzqǪxR~mL.5Ƣ!|7"V,|ET6vG ɇo#ɭ%kYq˝<:a*qbk g2>LՆ#J"T!,(}D%"K~Ԫ2;G5\q9"$h"]Pj(7]wPwT5Rq)k9BLE"#.|:w&^(ݪ=k$C MζЅo 2ʼWg*3 9Tm. q(iaƻǖ@9H[AM Ưr* t*;O!4# r欯l4 Pϙ5^2<>՟Y[)Y2}6~ <0.]ӻJ͸CxI6jsmN%#f!l(]]tb|?ym/YRbm1ɨadLim;A9ۭ` ҇'Ը{z1E>r2XotlT1zWhr+sQ,Hq1<HgjsgZsN*dB?L _DH5.V =B ؀D9H/tK֖3l檏p&%Y?`92 z{NT­&HtP/\kux[ `P 9Fթ\TVnj{T>XHwpZЉHAa,[8%&6,8pʻ>vRH¤?z%&Q\Oi ! ov-vԓEE}S}?\]+bN{HW;!vp$@`'.V_q=B5dFY̚Ԭ6e2'*$] B:37=DQ=1͂/6xO9tSƗV\^xjP+"*c#KA(i=Ҽ L~y6MBm h'~P2*SO!;8▊\̏}O#`( b)S!&1_i"HHÃsO37m"PI Ȅiu7 x#=7~mPS?WݷH4taw~<zyE*$sd47`g^l~"Q˸]koDPMr = E%PVs`i:yh'EkBfSI'gn?H+:4,DV];frܸ` /~ُ}8n"żQl񻽧TV"_>ث:55u}7DM?hyӫݞ+i$]o:~efugh!?tvC6CMr߉6zœ{f&?XG+݈pdrB|fEvÞUA-S-zzl/mb.a Iՙp Gߩ吹uLzgJe,сPJa YR>NMJԞ«/ Se tDQ%3r ɶ倊cDr#g/ފGMxU글,ֈh(bb",-#{B/0 EPշPa= @b-\{ ܡulaBy|N1>bA!a}/k}) _ ;FJcGi>;R#NvsM #=.hCѨluNU=)̼]RN/F7gpnӡ>&_c~}?uC_4~JYBs} :<1sf&oԡGlKS g =&6l oTeEɷn(5x@)y )613,/*c׾8Q>;Y,RpT0+1WmwA:>s]dïrPto_ƙ"$/Pq8!Z,:]ƥ@ 3gX$"qCA#/u9D9%%cK[@ÎD}E..K$Oѽ“E*#A:bZп!  y#\E?b7>Q0y)[B*?-KB^N4,r^Ę Keܤ'X?TDaq}P _6"l>2Uq`TXOjjꥢyJjtwq*I7qwʛIpJX#_֔nc,r@pY$`IH@Ak=(ڝ C eKA:Dvoe O#X)&F$GڞB7K qN_:VKˌ:P<%l&lMr@: a4ZoԽ[|.ݶݗt Z>?>}W=j x_]:DyO?$WiEҪ≭-2>q W. 2 &b#Άq1=sXI秧"nV[؟_ SK݊Ś!4L%K)s.Dǯcc&QJ\ Eex&!P'd+m%ٜZ4]w|ʂ'|jNN]m/ɭGr#Ԇ3a76,goOcَ GԒPާ>3x-J٨rGZfi*n54dòq:B( Y@c=$}ɀ*4tJM Z&==-X3#a5%Ccv*)JOP$e%a[_XR#gf3)J)14@?uY*2jv8xzSLe"4!h-e|49Qk)W@6!"݈i w:8 %.ńCjR>%0|~a.rb/]d|Qy=>ɔsEGݤν1=xR6n2my.P~k2[Mx_ սkvn&GpF 8XRHYG esg :/gʹ>9X_v6d`IߤF'wU0+{zb辁#hz`Icuw [yNn%ay~_A R PASmBK(|#ǐ+sg&Q:Q β+h _} @N4m@csЀr *(YH0dŞ̏1,|Gm#YRpdO@Ș6i>߶UT%GO|%S{Sdۉ]QpNӌ;. L=kVtcI*lRBr=B/i9Y@d 5pΆFY44]MI*""ihjH\,lwLLq ?;?VU0}/+ң7_5,,`Pa5mQ=Y*rnD{̞/ir ڷ_ G ʥ` bjY /reP'rղw@Vs4GhTw2Q$fUn#ݭ9W6Xr%W'XC2f$*N  '5l a[*@Sc6T{egbz>y+Z81$H`|=4~d9c;)J(yuFMpf>2Cxv痝n;G#>s w5#=}DнWgF<'&HJ@93߸R6Kŵ]>tsY(=I'귊>Yf#fd_$(h7i/LE;vԩ >U{VU(mpMMYO}E<] ,V #?^L. SeE~;گ<\/0NWT/p^jj|WV1\ZNӷl*ֺ6M(oB0}@IZ'[7% WW';"&'^RV6-r8B},#F ̚_`Mb$(4}HQ>񒏱|%$|,CÕUo n?`hAb|wքOyj'c2Z )~J)a[zVgOK'Q^)p4X`~VCWSރ,P(7+ nݍ9gT*2?>. ^cWߐT 12^y?O4s;~'qR[WS[bC- &.*#Dx\)K, ܰ|1u Gno?lcb" ! %paȜS>TbF5 R7TF_4ע=M ܿchjcm_.WfpJoxv,- iU5mCƈ†Qz Bч(P`b[,H#GXk#JB=VrLN˵1~4:%@ +7B_{,XF"2Bt2ŞHGK4JpmgPuwu ЕSsCB^ۍ0Hg4:ۅ YL]o>Ș)d~ycWҋ ًbOx Z:h$%޴n/gZk_PPC 8b)p:{7Դ[FhT>qm7vQ1|cFh1kx"oS,+>n 0<%[?"r-R$TLPZ0'2Cd\qeNs=riñsK?Y*jֹU롺G]Q s; o @/\*C&zvUP Qx~`Mn%5nd/wU2'Uӭ~ufvAԑ'v.ecց:,G3=i67W@W;\(oy.-%wpm'c~狠T*I$Z+8^Jg@8e Eԩ 4> F8k@9KH3!vO3NWr!yo39$'bb|8B^J.&ƽ':?XV߾-;џB#%zB9`[@՚|25j.?Y4 K@mZJrg<2=McLR3#)^ANf:X+CEZ\z7=z#yGY}v3ՙ.MxOk $S;U ʁpA,S tʯr:jjqŵ u҉ߜ~,)a7z aʄ1="q9|7 /+pdHe vYO=JJnh> rXy zA^?NeLrB!=h jд60^0 HI5|\Fm |%I#C-;cmxlX#~gIྊSn xpU\RfܔS~*&P,xvB|XP[^]ko䧋\z۸g<.$|I':3B $JgWH)s4~VI ڽo@D;fKUԉB3Q[f]7%wLմ3? CTkHr5rZ1⅄RTXYҦ轐r.C;E6f-'۴~ˏy !sD > D(l_ˮ䴧?`_[eI#,ob{2c;0٧rCǚ鰳"^08kra ⌎5n:Km8hA&FWJ+\e̒>`;S{[6s*D\F%c=WԶU1iC?`XӉ0Q?fP(3}&ZSE42nQ{=|q(SqGqvʯD¯ŜN0{@72)@7VY~bH=*.-{[k]>jMIdyFMӶR). &#«c/Yz4LɊaœ;C~H6.qT-L=ۏ4H%&!mi[Y&x-;h 3Z5Fht(C`_#gDi]VƼ.D>I bn0ޙ $zi'9V[IO~#3F^TD#k òNocYFz'[j2xOa 91٤el.Eu/0Ϳ;Y^'aL,{=?Y}/Ta> kY]_B&Ah'.@\?_/HqXownxFÉ[Q/S\Bu|BcX0Rpps]ʍf`oߛ"tUDs4T~ aviX;(;.šPfTU Ǜm`.{Z6K*{UÔdV`?:'w%͝/j,kh٬?N#%\g':qޫ{3^Q>2`IZߑ>1E6:ˆ:۝ !FǂxGv/:d¹ ͭl0t"mbQz?~hV%6<ݻR(8 t0^랲-P6;P?1`NK>r,\rO`LYU6m_ ̥KΏ'k-:sʕ'2Ɯ+N.xv uhJg\9L7&1Hg Haa O{U%\ kt  u~':G礟wo+jK$wJkĎ4p* d`_>WNGF $Ynٍ&g`UG0hXnu.wr/VH;}"MS1WZtroTӗdrd}sirЮ+(!MTɘ,nG"#ǞμiA44`Ts |~A, `pK8iV".\)X7H[O#Pם\PC+H鄘h^˯2eQuP#%=gУ$F^vjɄOks3]*݇9g:i}𢡊&$`,1`LI:Q(Ub#o*NMt n]yJ^|h>2T8a5DݣO A&LoNmCB!je!rPr)>펖 |{?OQ,#]H6 T؍<7e;- L+D1 -1xC&f y6e0sblϗPj=ͅũM==LIŖ]3!QFA`\ S&:+* o$H^I8hj!n|f2l&VPPj ph0>=7m7)j6w T@ 0D"͏Bw r|ZKmL G^ab9%`xk4Ln#"t^[K2zXas͜P مZ.-DJ FWxO-br-Ps3a"5D [ S7@&4xRVRƞ% o+I=/ʘ> |8{U߫؜lKU7;gO|IL T}dZ!GR?/` ?\̐৮NFe.lGĈթ1U^݉*:eKzJK:#BKMYܔWi9'^EF3t^" nakZ "D+89wlzDG 4 -5?d[L"~2Waù?{ V@~[Xe+3rb{]sN4F^j|˧r(S/kDO7&Ҿ񔦟Xp(gNכ=ͬ!IԔ HUĮ6U]}™=z-vdgozfw|c%kG?v#EHIPX*cQ*+cf=iBo61m3gn*6P< 6`3'AvTC5).;9zO0 ~6ġ>0j{(7n84ub0tȒᰡǨ5sU " sG,v&"+:"H>hUK)/> Bg!A^vdW)")V3aא=ƾW/1+=}3{( SjM=9u?`U'`eeMO6KklYyCȸ(z߽kL!xI4asO*AIw LNuvF_wC&5Җ&s>"˻xU.x46 0E}*?2ӘUL[Ir߄?"_M%':|ϫT 1ZQ5 Jџ4ΐ2U]%KFv/֝[E X{p̀B9nYRLUevSo֜o; m>|D# ~ 7*93_s+,ƍdxfDgdi[˜$\46g%=К<]dQ !t13Ywáx^C]rCgŲ%__􇐭Ljn 2i~_'?rU, C^}EֶU#s\sDNCv)O;~ ލZ?  +v z,- 28nK?L)ED%7Ea  *ID@$s]7*ٌ#Q_ipּlέ(@qetNʆvaLKuS`Lkɣ寖cNw&Nf1F&+ .G8s ~2d\ :mڬåWMl4Z^>{ NpIm yvvzfbK4ڟ Đ<, oRj,SU+E}2!V_z!^Ȝ}/Mi"̀8a&׆)=k7U8{IRbBD˥}Cr| ˇWmICg ̓-jzNƯBrc vh׍|f!+M\juѪXkԐrJZ/#.g *|t< [@tzT`vm^I66;\V vI.EyV;tyY7"KV UT^.%/[NB52qw7P1 1!xiiEe"y@F}}\Wԁo`ͣ֫Րϧuw yAom !Y!O-Zșϗku,v۠N1@iaCw[ n(;rPb %Ԩ).Eo+C1Zf}aLH+6M$enİn&z-is:QifRs$VAҁ>V ?yAPXU>h. ֜/e΃enj j"n41 &$ۿ:-: A`@ FP[L/rL$\D;Q8[{M|f%W +[(SbYFF̥䡭󛓓O[aT߽C]r9D/j|~=8t, |k?s1TB~r Yaֈ3j R gHشkHc8,AVA!No&!!"vNW)Lcj߂\g7뇢(wN۪$,A-6YؾьPWkh$־^#N@|$dgq}lj6pܜhƪQ|dN 襛J PL$(=2iVm]݊:@g -'(7sEŽ)uFRj*sy2ɜ+M*y]ߨ͚%I2# SilžX:Ms3ٙ4%p{4 ^ؖToj?W-VvO6=-܊oGkm `e#Kr,&dzTh9a}YRx`!6Gڽa)ךQR9Vp+sknFjd gxY)_S82W/]!E;7KgrC. \MXh2Hw`R99h yº|jP39m~!&L\G?]gM)D( ꧡS'wR`vA\LT3ʴFxt+MZZ]c)adzأK}h5Ÿ+NAo\'|u^$^G"]A+==A|]+P" k!IխKs1 nэؽmGvGƳXfdl7mgw lyz5sm°AS*f7AQpfЅ3GkM !I;K F☿] '*ۧE bOb kn[c(TQHAX[x~_s=͚gs b)mDs[ޜb;2MHUz,a+ q ԞP7 Kb4Q F7vߤPz!$7PF-+A#lOHy'+o55;gLC4iZzm\S*)KW,?p;NI5f RHlI_SSZ F8`ؐ,vvfC4=s/f:/ݎ;^ ZLWMIDM9_/OS~u͔{^8UoǬQ&WRD?6%:s8GTxKsbh˨E|uMd249"yDW8Xen[n_5 qi[L3RHͰ#1g5>l]Gѓ@L¶Y-ɏ;+T6;$v_@ ؋]'Mks$?7xG/aϡߖf&̷sG\l$$DlMJˊ%Y7`;!WHPdA')N73c} 5h. *.qq9{?40fW'wHܑG}!m32Au&!!-v-9/̫B"Ef[AD:Rn/kå4|Jצ#KsIe=ZZ( ٌ50D-v;ǯśM+e֡^e¢^f$(  @wZNOp ZqZ70E6?Xo5+hFNzKxye= 5n>OeQ3=&4>ޒ/o_O31J3(RAUf]~S΅-35ShDй vt!G 4x.0.g֫t@O_Uhl7SW^f 6סvNc,`UĽ4:ňlkFK}'Z0w-y2-ֈ*mNHk޲L!.Ѻ; ˒d~xVD&<^dȵq~-_uAJ=)zCc8c) jsҙI:$̙A;j,U.&8>^* h ~L!oΔ-/{"t`VS1:]6TK*uԿ_wҖu7~_\H1#jp c&:*sucľ%3\es$CvI]{QK ɺx( 8?_4 9"\G97[R&E$Ɇd τ%SQYFB[96sٜ`sDVaoS6U/\=ܒ6hxqh}'h&ǶzYkD=bΝ3tç(Fm:4x9e"(1~=3$)Ix.Բʣ̭ JLn+K}4.ǻJkKsa|E:+G²Z{:IX_Jd1ns/>Nt"N C%(J`:5 XF1* ].üLՆ2Nvy<79gӉ2kcN"Jq%e.6I uV OU 绤OK8 yofČ5F  1>2UuqA"xg.Tx֕|н;c  ׅٖź>^xJ5m؀ RܥC1m-ȋkur휪W'ekQp\@1.~JMTilI# p^PZ &7u;G>EeYW5PO32BqRJ?Ay,䏬hpUqmbDBa γU-ӕJM~7xJ|D)v?OFVgO}̪ `+8 H7]5c^7A,G2jg7Gw9z6GU92yu[ [ pٻ1q]eXV{*l1T=i7^+q`)H X`-5Ӧ EӉhPHcnx2wELZSnpQL4 4tIv0u${'M0O@mS$CpKz *Q8ņ}/zD7ΖlT1?%Ij%~ɉL1=Σ&zinU(3gZ;~?y3V^}l_PO%I-^3e+v}-Iq4KU(o/, ^ׯic͡9heMeHHL93+iU9- 2vztp*p=x9NlΌ6_Tpwqbh!. Bzs;h?aa{ {;Іm]>ii >>h|.0.Vt> 벪&4xa9o F#[`f~Hxf69-*,⟗$2V/T-h=YRpK8*U׈5qGgۉqn * EєQ{8tIa!W4ve}h< ӔA{gc+5rWDz@cg|3Y[?EXF#S_r7l z{^ q~ lAZ4* ghGLv|z6Xai)BbWy^kWw9>&B|눍D|\Tw-:)p"hqO/B2E)J0!+N F0:êtx0K`~ToS1Ϲ\Eroaj3'Of6f^8$+隵42;ޣw):8I`FI'|RTE(;KF^XFo)6=.6SkΗshtn5! eZo'󗩂^P(5+#:+lz)}+zpT/5qŞrlWS|g (qcym-UE:: }s[;~93 79~j#Bf "d:5ٜ dN7?o6cJ^G0ăj/Uv:_0=Jq5!=MF]J cjbA>tu3)!t]F8px,4&hR /J {7rlxǾ*#fTyPoV\'k- /=PdnqM-"[vTx5^te`yUؿ7 X2 Zx]ls?ʙr k=[c}n|@GUD2V0Ul&+Όc: zgQU!_Ģ2j־ޢ&lu3lڻ J.<̃`Ra$`L\`ϭ&;ͬSm;p v6ˁH=h^.&8ĕư 0 *XDgȠj@oti39G6}^fwLq xY^A`ϳ$2_r!6ߡV(=v`$U]t#Th u^t YuPqv#ˑ\EV>hщ_B97Ƚ(y7'Ŗ '}F,`޶L{3qF@s4r֓?D2l"s{OISMBxwC5:!Zi-qkAP=`<)N+Fj WS+THn#j u@C|f[ǃXlaf  |;yrHL,!kŢi;@S7j3Q؇nBtaKo8ѺP*s!~C>#.!2,cxRaYƿ'--57Xtҝ~K~g08M\7ۆGH0X""BSa\]<4u}|m;JP(yY\<1`A؇i9XYw?Ȗ:ďRi()Lo܃f(w751>u Ipɒ,F(?(hڗ^O> ;A#\\2F(䉟_^XYMAAJт|FAh m$fO 9DVvCGsb@.gچUQ;7ZՓŭdˌ." L'*{Tqٞ#Mg/K;Фxaj 0ԏ>5]8;KH]KyO@R3*e_lp2먷o4'%E٪UVH)~ù듁TdxV%wH;fL9hLI39@ۉsThi2EbӪ#.lYtKeJ?8'^xֈuvW|k`=;NG1`o{j;tCX A7_ːx'XV:%jD eWmZdC^Pքfbdݶ" Ivvo鏹ǐHy22rS'9-]s/2ۅ& hRxod#1 IdrR?A@*YA7g`wġ|=p24`${Ǖ3Ɋv w Ƞ}: L Kx&އ8пSU=b ͱkn0| QX =CuI &H 2YNQf][]_1zn <KTgO8\k)4Ge Rg*Zzg9)>c Aįx2hR~#0ÆyA+VohͲ5X/JWm६U;簊B-gj$V? Cړ~;VKd#Jn}Y#w8T|(Tqv"ɟȘ@͆6tOH^;l0;YpOU:]fj rWxa\ T$j6L7U:[!xUW9Kgdg,IL Ko_ʺ0 GDSS;%[ qR8WtXR2af H}+Ah#ia{ P-qo7Ki&A|o>U3~g RA}q:2=O䵶ox\4;4f`/^ǫ鷢4o17sa_I (Q`$$oWOVf) J1m؋!ڊ'R^ShL+*Z#lߏѿVIZPŚ[Z$-ݨ"6 oٶIr;xoa IR ^4 iOxYM c;AKr+' ͺG;kKs TiLVQY\:t X)mp vMI7 + F(W>h;]Iڛ}KFJT`B~؟·KP $-z:" #@!XՒMXRiA#vpƦ'37} cGJkכb 'c"` vGs R~l76LbNJ-M4:С \,@ZQ+y__{όN)xۼ% :YqƐsRSKZՇE;.YՌ `k=OVΒW|n,fV\$I#? KUm? N:%KI>G'fHwGph,@@iL$y}|uJ dvF$8SJeO/IӞ`1~ԛwp79c>h+vrϜc2עV,̅{h&Ʀǖ+gBJ:\_heYWgVXPQ={Bɻf4Wj57ߗ9M)sqtIٶj\v:D͘M]͒8|)YnQE fgu=M`|%{%u#AvrN6 tn|yzq;>jOZUE G8WvZUP=i4.MD%WI&9~Ŷ;_htiƳew֔*uRڨjc+:z@[K'Iմ9ތ'Bxw{F[U+m1VO? ,H<͊]<% r}pr|/}h{:FW̃je1MT˘^q>sH(;c\$!̄'? mH=+j 6 Գ7Z,$j00^<~"QҞI(, ^&1i) l1R:Ԍ"[ZkIfQJe#R7o{~C59)FkJ3ÜKyz1R#zS=V#S|_sv~G1iNSd8}9a~4E8ڐh n=|_ tWj&*0ƎmnRfEyZ6(g'}ĕBhEѿWn6O}1io v{_vof(.Gg"QL]M!s/trlD?^pNw8ָ=zɟ]ensSMWAao]K;wUE(hWk5tѮ c;G7)s% 8/x2l WʖK>Uc2eKtDde("*^xZW?PRSMK0T nI\hfðZ#1qJ I,"Gkpf̠0Hֹ<Kuc h*T<<8 jRf/Y(%B E|0'W*֪N# ԰ $E8|>WQD5|74g:6W[+޳{Axb9 !т@ue ,MM7ʧMX\h`uٌWc; A0q zNX@|yIK1[4%O8-$1:b6QsǕm11ftG}jrjOvBߎk~(}~XP!L :2Z={iQ}Y-4CжғǦkJZ8]\0pֆk58I|c4WŢ} JZj?;c /A6e42ѯߜN {쀎*6Cbڻ~=Yk|#݉%_(XmAvf썿;xhOhVKJn9 #hH+],"ס$wJ+ߖ:u m"9i}j/(BPqR6Ext>K"fu*8E]RsmM~gřW[劍t̉h 9E$UK[(G[$qUZqW qkf%%ՌM}]&'񫠤R{EoL7Fݠ.Y٥ف;!=Mbϑ_ F F|^g󘕴f!ŻC%.rOS4v{v;7 8dfGyp:+V3b&%'r覂a]fC8A5\q+Ѻ2k\h Qs#sI깹!^n3;~}IFXE)r&mgGLR ŌåMÒE)/(چ-cG*YXzNU'xeJ0Qx^l6u3˸A%4xЂG2:f֨)L-rqrwBi4F΅Tj ՚{HDf0Yu >p $íhQF#F6#[ktOm P6AȠB\th1YnI#tq.{.W\ґ 1l Aכ*(pn(|^GiV>Β獻U!2>ܾC䐉pH?xPNg4ԟd*1j956L'I Ufy=Xa_2)PAsU:2[S_^5c ,1\qd5:|ԓ̈3ƃPI&N0G+\PY`K.`o9-SiFdT]ix'F^P>(*H1 ́JR<]cej5՚v5xzEq%Gv6Vis IoϞޤyK9/tL/ Lr7FɅ"<;.®b?I45l 1#JFZ}de$p*ʖso KϝaD>-e\^ҽbKM8o՛;SoޛӨ5@Za//ܙļs݊ح:J5m.yC"a:s!I/:[eֳuAM̕~o- "9LMq] +{-C"5`ʬʼD_+ iY5"ɴ;#a cW$6DonfPؿMii箬e%r|rJzI j2D—AKcsтZؓ% hg^` Ebymyk4Y1& ɑl>XzUZf\0:k6bεBDКMSCF3SS6x*:o7̼ʲryVDF^ @SF;%«hrf#̠lvC%l㡕ǤGJ5gT_[8 xSQQsF(]Ubw#`Y,&eo2"k53-cN^/jc{3i?olKrzE_oos>ҽ΀L (UlќO.N8qbveɠU5a&݈*f'Ǵ _$Da$5iÉ) ]Vڲ{PVph8{vۛagX4;}SNuЊk-؃$+ ɵ܄/aieX43]],fqx2[vFlU\ɀAbEX+{i3jtOTԟs>YLdqr|/VY׭ttX2@v8Dl!h..v rh `»п 5\XUJsd? q?P,Db? NUjoh-=n:W^ś6M5 :'M0aӿnXZ"MYß%-*[D5Ar3Ki&,T=(2ټhf O}Lȵ56?[`tVŒJg RpGz*%@3PrIU'[=T,L :Sj&Xpb$+`\blɾw]5Wcǩ_{Qdz}c"gO?٫wjW`J$¶3=YE dp Ozъ3!}o}q6ˆӀ1DpR|oRxP2g8A f\s CA[@Mªe~4nˠ{f$iv$Zr&[MU^zw%4W+}0EIi\+[1Sa6*/eRaC~bi5ɮaxpba`i&zf5M W:1S `5oQSX Q݂耮WX mG;xW" LG[=""ڡrk%D{,=)3\^HQn+.wqNE1;D/5ZO)'/ MbuKw"CA , | /anLC+2-awAiˍbɂUMDOΧx†[%'[zffN-Et=~< IX] XЈKwVpipC&@4

.f &˯*]{}[AΛf>\uʳn9ܣ;j)meW^^ô_>v jX=w"Uj;д]pͩIpn9O1Թ۲p%}Ҹz%YD?ݹ8?YW`D./Z t=/IlTnc,?fg5 u a\rE?KXp@G gOksIXnT_PJV'z.WY[?X/OG\.]:;e"FPɐ6& J]:i τW&%O?G10Kc;T!{ٝ7$lzp$WQCoM9#2Dr^ Qmw3Z n*8L%-/\#)3VrOy֪?U82.@orCTˊcPAỺu?e+xJ"crۆz'X}^D~Ţ`թ=5ٟՉrZU3dI, $౏1&m<M`qٵ 6[)Z鏁'!iFouEs50eX2Ad>a/u`R]Q~-)ʟY@(kD-3Y/Ekחxs[UOiبA(lAJiH&"j."6Yx@>I9-[cjsOޣ#0GO\?ag;i$x`:o K*lqNߣ¸szrCSN>ꟽj&RN twqv,⏋gY\YNj7֨|Fp&7M}VӘ+;|ћ7dV,B"}2I '`|n|qғ'j E L֕XfUXO_'w'WIG)V $c(>ɳw*zCIsEЦXndu@*<)g+)p>COՑ(,l:4/Cn,,"tIb Wr zlYДpw/5#sh՘vt!oӬ^8W֩zk~vk&vh+%&[`^U]z4JH /LR+=|:t3 o0oz93gX?m%_[k0:tx+JU/3y52S̘$y)&໗㕘76}rݾWDGʸp8/qA%%ၹ ⣢)lag<-^b ՚r \@{U^Q ϱ۠~답E3xbzXm#0 ] V6< c80(זc*dBM+b\ V5^xfhΘ/M x藋"w-<v/*k}jN'ΆFB0jN%] ތj;]O+>l4uKx2FP0 zdnڑ4}=aES5& x$Ju8-'׵0r ?GΎΟ;iU*V,bsc6V3QZdH,A!~HٺHQcxu0 `vNʴu/͖V?< UY Zi x!M.sWTP7ת#)k\qq|EОKgp TFd33FS<rIozv7 yP7wŻxS囲^2EiA*NFrTm/`JeD]i';:<6ݯ/r&@q}5_d,!(bw-+b#Zn.\%_M/,s n`Mtb(`-IqH܎U)k-%b 36m*{> r,.<!k5wSʤQAt"G5jަJ0oNrr~YGOiTMJ@꣎&d(Is}m09*.Rbf`Xw˜OX43Ӻp/V3LLåX.R`?9nI aR_6Vq@棻lKhjQ?Ma$1ug;^fTܬT^jV=a=ڴ4(y.k^bN%>ӄ:73814Y+[2= z0j],H XFC/]\2*z^L‡SV!]ޅI}06>Zv䏯]iA! XY2{ɯo/rR\LG81^[hf(b}v ܅:}vzi±>X00BR Y Xp품-XZH^pѩ cyDԚC;Q6)A =M 7({crq6wiϜfq$߱bINU`3XOs$ Dղܺ=H퐎>mƂNlbïu*=S4s$LNV0O~`3nEBGrLS!͕&qѠ9V-5V* tV%Ԏ;tkB';1! p `nИ xpN`-=y|O(<ڜPVj'4wq{(,,*@A$#J'H4P4tH`! m"ʥ@܌yG3^Uh/:5#ՀW/|n33mhG QaSc'h!#vCAc\IِÜ:Y6 ED#s fǿKvw`WCpaJLJlꪷrd2oY `.ReKT JBsVtk=eMR8yoq6uʱ{3nWӮz 21 @G4Fԫү_~SgP퐼z@}$*dӡlBy9;$G0&smĝ {:ZoE>O&/-鲡iДMyD{d) DJjEꜤ>EY}դ20ʩ^6fJH^~j_zXЌ6/)UD][~RͭEGRTMxdt ;; !)//|4n$ܨZt } 554ٲ d[GvMr\+Da E?v &aMaK!F$;Ug!85"{^EʩIGI$ ``?9Ao:`AnNaìdav^Y{Z5c>ڋp{ͶF6[>iBvgptNJYտ J5]iF%yn@`K-ͺZ)^ÿŽi"7EXH6l$rLW3ּ@d`G8]Fcl22B4ta#xr+Q&XHBCHjӁ"JeeSUf5ttZ]tSV9J/(m>;+'BK̤$yA`-ϧG! MڧtEM8y͈B"Ge.Vij]>?V&/F#GCklncV&AjR `ۧMW`B%ڲS11$hp|N1ss T NQeӋd1N?t\iGWW#b=>q3EؤdpeCsv>NY(#b$I 2mv_ު<\#U$mp Zo{ߧﴀKloTa J[=>Տ1dӈb]X\}Wg_1+Mesщ]N2r$=%=:@\4wimc!,9VE˻k#y$;⹽|1rv,@@i/LѶ޵7 lQKOfYCC{ze`w -/i5qei MGNpM7IBL6OmZ6΍v2pM`;e;`A7(J;>]ty(!$ `>$8@4B?}Nit"",QpՐT!߉)*]w5vzgB,Ude^U狖clM Gb}~Džl͛H7)qj Gݔi2_ʈfOsk3ڐV:@W婄y&ω ^gYZ7zXZִF! 3]ŗXiɟXf'M,K8vA^;HЦ0QS4Wj#ƍYsx/{Q!NJܳtA0aDzE7/'ϸe#Pu٦| @멲PyO5efdE-WY<_ ^\aj Fqm޲'954'眫~[mGZn-C6gZgYZ7zXZִF! ? o]ŗXi%L!l0Z %NbA[LrD#Z⯱%$};7)HxL"~/_6 ?Q?[7C`/ C8T /RkX0dmQdyvOӥgӑQd!?[9#1vwtD21 ;Uv(N٦!ދ F 7M-1@jnm=;',*k&1!&*s[%kgsxr1V!aof 3`O%2`IR onڦ`=Vq3&UeaoMC_& 6]YԘ-:TD()#p$xtx)zclj dW!]+y98in(<1OV.&g B6,YMKi\`Pnh~QI]ܚued8OriHs]z^=2ZrG@M%F'R]~&H1<5!"LeGSZS5 T u`sJsWj"!W9 {FaAra٫]Mj1O$OBP@xK AhLֽm=:|W]FE pf%8sFK08a.QFŃdG3G~Ȅ {6 b=9cdЫº|{:|V?T(2Mْ+q_`'T^?e1Ī(k ԕ 7!"\5r>-L:?C8`W{^FK)Z6hV2z gmwSlOd mBM+# uaHJSDΙ fόm{|c h@ŕ6_kRMs{X[+û XHRtRFylr@Y{+ϰZGFp)l^C2Xgڴ9~G A3`Èdsw5 X'v tRp!74}6 %F'kE RJldX9{pۍx^8._sv%Yx:s6_]`gt O1>_ZĂ*θ Į IZ,thL9iB%S/ZK]qŷU3֩~Hr3 >s_̗Dp.[ .C@#*oTӛ5sr>{ult92I#QW 2ӀN#(4k |2ҳCFLFܣ3Am7 ~i ~ XX`z2H@~dW2IņXxujn#s'قKoG^E>>O&pD<>qG+nph -xC@BX/hz>t"le42+zdugR_Xv:#? // +KaЭi\ؙuHT=dp>ϔ OgvЧQ1{/&պa!VS'QI`Y#, M4N}/ s˳nq#'צz?Qq='Dt.Wuhu붟+GHnaqARXꈿN'h< Ҩr'Sn}w{guÄ^j VQR.l3Ի !%N{D*ux"а]؉tQ@]8a}ޅ|̡߳ ArzUBgb=XǙcGx2ԁQ,Փn.?Vb"~5boWYd!g:4sdG.h/)#̲Cm۾pJBC_KZ}\OG}gYZ907d94fea2ce952b7c15ee3bbfb2087f6604bd268215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d 031bd5f5d88e2bf19d7dfd154594e94961efe387 59c5e7c402ceb677c1a55a1491a065696bc0dcdd d9c9a6dccc0f1b6b00a31a0d2bc11299dd7730ec