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  Q Q7t<\ ] HOL-Datatype_Examples:threads=6elapsed=80.678cpu=382.220gc=51.000factor=4.747zXZִF! q]ŗXiɟd)&]hRySLvꜤVT [fW ^ԺplD-ޑSP%\1d8pzY>fGS],Ա}qK1nLpEb*昋P.Got)i1?-FRt#Zr~;.6 s jKאPTGx?EN̙r`pRSH =Z:ViqWcn+.ꔕ-@KPY|EAy-[qy/*eƚqn "#%njq歚(#7P){o'N_q1+z,~|iR.83 [#w?f& W(na]Tk:OTDa a9F2ųcȎЯvCLV3~F,?$7;EYx/]f/HUaRߔT*kViOAՓfb9Ћ4m= 2ٺ, 1p_.]tEBMV2Ql,u+y[?>N҈*ujñf_I:؋1&{+g%zȩVמ^_5gf\~&b5}ZCh7Mhdt)QI'Q0_C~1MZ q7d_SNcٽ.>l?n&9%T/f=cY8 3VjT8([zz_j= ?yUغ^jkCvj: %f[JKW2yK;&ćkÃklc U]"ay)FƗ3aŻ{AY4>ͅ1Ѹb ڋ* 7 HOL-Datatype_Examples  KѼK?ӤmG UsWIH=')v9 xHU8c;>}jSwLSͅ тrtXCn[`1w a|6> Gq_fb])(PvF4 0"Z ɴMTTr rlIc_0hv~h5P忨k+XIz@PE6d-0q> پ;m q,^l4Y6ӹO糰)֚(jmUU4J)9j%lqA|[ךAaߛ Ԗ. ܼpO:Ϙe%* Or {{@k9cn! 4>lD pc !xs6.icӞL6#htxb}a*\Gm-W~vf+Ɣ{]Y,{(gq'tSrm:*(zUlJ[p}yj*FOҤ ^IQ)@w;5[[u!\t'־+qe=rKT{. tˉ'ӧT*v m\aD5/;]o#xz^Cz >}5e9 rI:DŽs^NSvOWܤ}۹H`5ǗW.f(AT(y]j0kİpO?$CUç Ti7`2T'#$vGK=so`P`6Nz]o2ڻfbE'WM Y胄~R@6;Ltab'"GHN%C^/ ${+;Cx['+򒺶MX E[]E\Rk}FD.Ij[p X#k>R.Tl2}A~f>ܯT ^F( T8zxU "Ũ*B1!{/Zt>&Q!KEy*ixn,&>bn.3r>)n9&@gBwjYa ̯ZYs/"l= 3:7(c/ Ֆx҂+6ea%*k@i߷S*Uk:QM9$s^2zlp=ĸ+Pug8tztshl8E57vW?crN G*~EvBWlϟUI}HqfAcGAgxpE}ED&T aZkS|%8 OCFřBqL͚Gw3גbbm;Zݳwh!NMBŲ S1@ZAkuv/JWTgsXN-sCըx\ ^q=}Cͨj-%P. y* <%Nֻ<Ado$JY4.չtۡ& $kbp`%`-J|H]߫mǭTFD =пLO x,~ i@YMpaO2I%8Jx`}|V* \k~/S<*13KԖlY#K]COG6` mjlnKP haezFbu(y7hQ ڔ%dqao52 КMՍCI|pOڂ3wث~A$8;r<]] CbB3O;5N޶Ej%Q2D^yt]G1:KwxZu!Zp?Bκ[@Db]PG]%$_UՏCګhK@CyY:jpց,h;$C8 (b9+jހ 0]9zth@{>xQْ sAj$]|82OD-^Odz^RUs d0+ M!]ne!#$)/MUs-Xf=b1w H,X /GyAEPD:8A IOz,ȚӰ]^ ~Og]\ۘPQ.y5X s Q2_;`xe"}5ry=@GGJIaH@V`]ď 1]W~L/_feJx` a֫1MUɧ/QQ]Λh՗L+!t Y%lھ# "[xl(ŨRlcCLR1p*pǻ3&N2(6A5saώm Kp(izOkXo1F8@L?+^ lah"ߨBOĚVV&?|=3E^O $v߾[w/)IW]A5eM#zQ >:|9-0ݻ0P[*}I)ba̰l!.= 4^RzCwy]+RJz&5tR}Gb\}Rdyq_jŪR/໿q3 ,˧+)B5hnw;a"Hᔞk\<6i;kr{CD(HfgybyuVh "L}Kժ`N/dEľ}\ӈ 5й(˞)΁| kN Y7cN-lĤ"el{7|"R>@nw>\i).@7Nr~gEfH@h~F'sL{.j a V ǽ< NsiFK#IT izpZy'G޷OҾk&77^BFT5 ͙~T^ ]}Dlc%G= ӢC-[Qkbsy)mY0h,J(C-em|X"{DD+zu(͎,$,2$7@{M}> +J.h$>:oi_o:l7.O eI9~/:=Xlͣ̔hxd*3vpYD;-j#aX'M{ʨ釃;rCZ^!1u3k~QVR*/@<)x!z]h\ #F6,7w_;a}yp:*Lo(Z6C-QĤ^RQGr\as8˳ӂ$ZnJBRH K^Iе>ͲByol W (XFq@?khŴ/2 Q BA ǦU dij%N1`c$9+ڢ8ieUHcP ȺAz:/fF:gb/:ݛxV7ȸ4a㍆)P hG1VT%$lYjI@d; vv@80l˩pBqr+L:1k=웒bMI{xa[A&%K bϞwb(<2 IȒc?5$@̢jLhtg =1ȝ[䫓|n#i`9l 9\1ugų `:'MUThM+ޡL 8,Z55=,4ՄpOQG.ViBgu/UޱvE}}meCLKud7I.%TR@ԼidS$tjc#Ͱrz߶!0{" >|bf!P v͕Є|.>%-5[K)_Mj.8~f]$*GV5{\$˽| i}H?!kHrsR/%7]2- s?@\lHߚppɪ!ğ2ɾZؑfa=ep U83= MyVo'2YyhX;W0lQ}`-etQ5\0U ڤbNkS9eBoS SC 2Md/A{@$f2~dpR5C[;5g߾a Ns'gTLj~2vm(Y퍽| .յXNE6֒^vҭ˕!Plڝ`;ЂD*dߕ@ؖ>  ܖt"Xt\ ϼ^[[uڞၾ5#8)ϧ?C͎l n-͞<_Y3|xUjQEq xJ步@SBժ-=ू|QTxYv$p "1Ћ-JZZ}"™_hٚ ʤhȌ^$f^nD= ,\sd-xxen?5{: Qd Y+ǩƮVN^~~sCPVR{]=_ ~4IUu3r\P_ɸ,u~ KWnYMC>:x]k-M"mT܅Xb`]%5Q!kQo 2Tgҕ!`Ѧ`ύ-'khKpŞ!%;4^Pk ل;/8mayօhj fHb$d}ZDrt-LHApP4 CzRP0XHT8h8|0\C6Ǖ\h &!}t"3d3c`VBz*w{ ?֌$j>H͑|g\V fPLAzcyN X#2BEΐIfg q;|SzH.{X1RW,g/>:ܕ"B2"r5B&`g8NKpԒr+Q:$x Z]Kg-/4E+~3wj8 .'kLn"ΚgHllhsEq~^+ާ1tozyNƴ"” n#m[ vX1?nr~ 0H߁9D Vo 3t&}yp"ær&6M-Qɾ)!@ޑVSzԋ< +? BϤac0<5l.N "nYl57a>JRÝC'QkxE />& YQvbikl"4RU]X-FsTg5l 5=C*u;1j1&Wz< 63nws#]"o [>)8$D6'50u2BmYp!t.I])|rڂ.3J2,ygK&hv%K;/t0dl)/T?0iťl#1Hb3$0c(ȋ y66qfc7cMn&Y;%H k w.3␐_=L=|/%W'Γ hTaKW'J2lE@5Z>3l?Lx ^$@+&J+.v>RufRX$Z mلU2hz`wiǩUA֔1Pnua1[K5{H__mQR'JNZ/WT-CHNE+`iiѶ\K#(L[Ba)m3D% ;HGLf/,duKߡ\gB+Cn^6Nu)w*;9Q3!pAPazVwĔ"E'!c5&RlQtM9oET0]=/ &M'a'r>,A0đȋ\L6`|M|LErjf aa Spb(*Xƽ<|/}-ie|84b53\Ey!ȅ|oz*0<PW 5N!$aL.'4^X W@&?NBg|7`KzqUxR}Z,ZRCKh_+oH$+íUUq-Pj?bV˱ֺb alN[#ru&5FD4YZ#vw]C/d0OA77Ɇ%>y]/r-~XJz#ȯb'~S1nCcp#_6hEw(^eb"[V**9ioybLM(|Dsfе0%]g{߇)kk-m[pTܧ|_hP u5[ػckQ]1l7#O' 4l)&T Ұ!hԫ+bMsG,A,kyNH!C{,f8`nGi>9.&Ddnq \%Ж nVf)MQ&mOr2`rj +̤1QԶco}!'_-cĊ1s;]^7 amlN!!q @_h]Gd)4d̩W=M{-Gtzr$t(ؘ^mje4;CـZZ MՓhY)oW+^ntA-!z]+no2iN 8W@(k+ê;(U'"fҒs^c=62k:?}ubs1̎#mS#DSU1V{kӜj [CnRD[hE˲Н!fʪ_h]>>H隑!DtomŤ*$##K/*8XG,bȟEְtDytZ"ʤS)H+ @.0WP](i}`_zoLZy6uѼ%)m3VW2ݦkGFkavnIRRяɜӓ:jŀ쟓BkwN1/#̼t9 xv{ڽ2OGN~ Jo?5ςJ'sd!k=-r$NCR]!R[Pa.{Ó ,K`@X=$ \F1{ HyҒ hлKB^F`G<:(H9u&O/Œ~eLDJu_]ܒrjN`w7\׶26i.:V^2 `ކz$wC3>!2|Q]cfȏ5SKjX8IJGmBs$'=Y υYt(RLPr(eMoj8&w;6O l1O -H$֏V?|{1v _}HG,6ie[&ӏK̓0+s]  RKXWZa}Y-UIJ; $VsMِyǜ8v?_dɉCgajJ읍Y Azp1r<s5^ @/䒜?j1!IfT!k@ԫS3:~T&گ3 +f]x4eWd ¾V,k uO oy2 <_IIŁ0nmsj1uXӉyXp2cu$=۾bL.XN4[r*4L<'*Z:_"BEm3#zl7=.qXaƕQ8> hkˁqQ t)%o/ʛƜ [bXﵹ=qh z=/j|yP̐(@VvF~YA5c 6*F.tEQG&͠ޒc>O eGf4ʿRژr(y ΐjɝZY^^m R]Ns&N-KUnccQeqW)zˮӤjI.uAF:]Y ۀMjb)O0$Or!ηYHY$G R.eO7ש󄞫f!jݱDTrUxLp0$u &pϚF8ə8+Пdm-Su9Iw0{ 7Ft&HKρMZ"{7A^6hha.sZtI6x2G~8.+#@ke%>bB)JQzQWM ?QaUz8 w vs],x}UX龑i&TDmИJ`1_bQf*gjuxkjYad^q[h 8/s}E(TnoBs6/18aւcb;=6G#ꡅ!|}҂cǽ3\}D g˰**卬[rX~N ΰYQxrrlGAG㻟|ed\ O;/m-Ɛx[ۙwY)oҪQ:u_mlUafOc0y1teR쾺Tef/$E5-=4E)ˆi(!r)^4ߖk4ޱ 7|*ʰdnQ-S#m{t[pd7z%muX".vu':or2Tz~Ƭ%u}<yr-Go~"Uzzs\xM_9#dĎ`w(,8JV2CYؚ}J`â+bӽ$esEϖUE"rh'iN/u'b)E &8FS:6S k\13 T2dd+JȻU, . 1FXR>.jUJɠwŝ$?.^wC[`l0NgzImp5 m8,)P}hzU=A ',?Bǖ{{ѝtS3K~R~s>yg\]<"[t:*rzZEܯ3SaW*o8|OT3 (Sz],8[CnpkKJ ri@D;nQ )H 3rOp;% rPn#[QH=~ kdj(}mhxVQ;0}ulnP/&8@J&AQ~$BjZ'b! M\|(<#Iל!"+[y}6x;-I&_*<#6HTaIkZk$#n^)y T$ا?*W}MޚS)ɓ۞74sJ jl>'-Pkjw`3tLx)"H࣠x#^…@|YH BKk90mб"{^ѯEE~'HiE HMj 0W94QA{R&'5[zܭ1+ b-!Q&[u^5H'OMb P`oM*kwBf' bF*_suoFB̟ՠXq4 ZMsXR'&xTv%$WGudeе+`|C; wprI3.tH|/[Z9?"@C3Dd!JEѬnoTF5P!;%AL,d:T|!#(gJE럖G)14% GTLPpefKc$KKmF o*) K,+UW)"7(7D8fc/dp=D?̔wfL TQ>!~h6[.a=6myȹҌ݀)o.a)*,GdW .+wp\VrY`LA ݘxo8Lq[*jv ,\px\oAm P:{*D G": iN} Splv:_)ʚMX]jhwrHTP =UN5vn/`c8nR(Վ {l>0OduugpSPŘ]O:3Rч' U&7>j\ORӠKp9pGG a mFGjY=ZWp*L멶*waݐ9Hw'E _LALmSB$Qx)iTþOAkIɢYOw# b.CfoZd%twDBq{4Z-2&jXhV%UH?ǰs6-ܣ x`أo\!aqYGQ^ 5U4lGֈaq: JR; m.nі̵y/Eы)<(Őrv`]te]_jr̮uBo>/)[9s!yLщJ{=<$$>OAV= #@KWkyp-)93Op^HH`7U2+;>Ifa'+*;#Kܫ7gK20.w^+'t.wH[2"c_l`#ޝXA>9Vh j?48#(z:uQy*H o w td?2w@ jRTg0a&84xóE1ZBU Y$,q\m+Cfk%k?Or-Vϴ4R:zjĘȞu@khK1AxAxsk((ot9.G( =4B1p0ύOϥs`0kJGI|;x/"Z96-n`[[$ br3Bg{볓bJ]w .a.2zID:0m7 yiLO/@ o'XxR.T{J;BzaFB tvO[>V6YCX ,>GDk}|1#> 0Mv-c)۟xqBE;}vx`h8}T 5Z``|`\z!CDZ8:ضPv>ݢv6DU4 VjJׁX]- OwsA@Caϵ T l-w8^e"Pb~R(՛Uk L|Y 6uU<,ٮڶjOѫsA&Op,,#DXijm5)]Kj'E Dm⎽K7ɺjL|eqo$MX)[ˋ6/C`69U 9w&۶72}#)fA¹[ oU31D6ߜ{fnB." HGkp{ĥ{ԑo-Ў) O#XA!nR$e]lFI~R1FO$xh v`(*&Iu.Q(R, =vpCh4H0a  Z1rN3+<~c"6_?r]4ԏH M2ֲ:ܹ4:*͵{LuyN;ݍ#)gsh)O\I _&ѦDL6[3ZuyO+&QV.#a2j)KbHSo){y`N,xZXak+v"SuUp,Xچ(\r:KkPס~1"yF./KM4F p} 0mk2\uFtn'B9y C3Bɿ JlV$; A+{kWy&Àm-Vyċo/&R1^arxgiHY sf)Zb ]F+K(*Օ rC7-C5ˈK:!w^L'\@gܥG: .$-] |y' ;=u=5 -Iv3 a1GQ,DH,0Rմ>iN:Gne ~U[Nu8 :n_Sp+$2͵=*\.f5?lSK0̉N4Nc S U]L-v`G1/0>"ƑY91ܬp2_Rv+` `REb44펂"a҄ox|>@cE4 mZx{Ӝ ׯ6;=n|Kݎ)(ᔪT5k\t'%1w"@? >'bsiO"G0vS2f ǵեn_qWHi%'1`DuBޒ 9oNP@dn3k\SASܜC_#c,fpF`ߒ;ǁ dYVC/A0fZasϭ/[Ҍ!mE`<3Mkpl*aHm&d/c; v<+B?wq/ Ufw% $ҕBmqa ' ð]$'493qBvFc 5YN4Z0a^ ȳfh@4N`wH״R">exDk,-ϙ5OI=}ѕ{pn;c§{%L9Mhhz6WDi! :@lh~[^7R{wԸwK;⋇u#K^nUHOܵŻ-%_"@c>#jz_܍b*v&oDz0Op`+\0̠2.K$&@rҞgTM$8tnt g]  RzdodЬ-ǁf IZD't`#(?bJ;6vBAtO/@>r!(0߂ɓ89K懠^z>m%b ,ia ih9JJռt\Gq` X_Yh?B=hc:e>1n{^7 ?U <zq i4XViC!R@Zpuu¢&";ƈ w|F4 ؤ-)y43վl]RZoUyټCa1I>?mnʚ?mGy nz[ g3_ZF]7]MJ{bCPk7=vS@E)\ R%\":Yv1^0a1F.Xg ѯfhoiD60#ܹ 4j!f(iY.[lk)n>?J$Zn` &ȆSb~( ەm$*nuu5AJS,1p zQ;#EEOy!%l*.gN 1y/k<0H gv!谬#o:rp52h|\){q`o%hYӠhk! W1i©תy |LrB䯨[.mX`/K7=\5. r.H}|[,n(]BC\&|o֩u'܁3dMnMc }9:REFM5T@*v;q+QCAhF3tethvrt0TPqE8i{ɫCwb25mR2> KV0ch#Y b1=h kLrYBć+̿}piS` ŭ6X(]}!gp&}[vw*"/+g IPb ;)K83W ` Wn)2Y?/٥|c߇s60x)9Kj]6a"^(h4i`5 "j&)t>GwYht^r16tL[)3a8cW>fطXRH7M>- pdCQגIrc>+'8HY(׫{H:2_2 t6]ZN~fCbRJo^hf2od|4ą`l*A7 `v%6„`S裋8y$ .pR2Ȝq$GHH B9޵}H@Ag$,oQƼouE2=f-z6ߑ)`s߶WvS>] eVPճDhPC'(=hԠ']g+fEUuV) >DC xLB~T {ZYw6< ځ[pޟ_7Alů9? 3>/a<ΕrnE#%5T*[ I (3RR,$VG=릲[|N\$&3-CT鄤bt$߽51ARi/x\(A/v )Ɲ\eq?#UaUBЛ1^[9",ؠcÐ_ Qq0ְJV^%k=x|޽썯:43<| q*>Yפ*"9D-gBw^,x }YP*nGP 9go? r?=^e9Wy6 Lᮟ%ԗ:8fntcgi?= 5`Y̰Y}QMzѼe͠kWaOCz#=FurNQ;淅s}/B:gf\[ϸ . ˥ ѵ`*GD+٩Xi'P U4/Kd=(Jō 0ef= l-o'S/ZF0S˒.(83G|nx֯?^Vz\ˌf7&5R\ b<  Oek5 }ѹTw:?!6yqTlZJPX;ļk3߽Ðf/]CP"F~[k( vۯ@; ѩ ZZ,c(Aӿ۫:,-x:G:RhY/hPHS-mfj4ف4J2&/Www l `*J<=OX~ ú-59h3iG& (8 ;Kg'JJJ4t^ж Lq0E@+jgw2{̑fz0pos,_'A4MBIxTqǗB%%4Lҕl Ee~0z `,#LM.ڕ6/ovwezix%Orp}(G,A9J*s@ P=U?ClE52Lw^fhl@k`H(]":S6p9$NwMf%ItLO5P|;FF9[4Eur.b 41R,[]i$%qt OdvK6ȼ濬?^Z   `j) KYF)zo Ϣ`| k$GR}'2T}dg|DCCPJߺɛJX~%!/~pϭTeE+!D%/y:uCcdbdFB & Uw(˝+ yL0.%rs`wY+hUN2y/g`B[h {?<|tD~5"HH<5<%~ARdy-$#wt=MgPgM#2@ylj8(ڋ{3`'fAMt32 4D+%"eğ& mg:PoW{ [m.ܚ YE{cPrQRAV237 DJo"pC:!^>[Hs\d"ΎXs0rd,@R9jb+x$-ʟWIK- ?/3oRS)rtz1kknJWie?q7s7EmԜ.p'J,ŜË~?J&VߝG<)+% Uc3Zj6ﳳhەD",kߢ򵧈8V"b1(IuPޫ[31 Ь&{lzi'|D~ћb8}؂d)]_ [ Wt*%MCp/au;Ʋen1ɝ~WK|/_iT/pYJ1n&0͇hM^Umc#jZ<:d!V529Im$(>DJ jkE: %(B,]2OSjVq͏k~uH& Qw5|RHb8*v Ihot-,jթf1++ZTWŹ}45^<g9KY}f/e:uԦh|vc) j@}Nŝݖ39`x'-꤯kY'X8Mt{tVVoȮ3%iY^W-3 ɑ'ex'ަ*zl:rǘz^ oJD.DəiػYbn 5+a!a8Y2`\й׻Ҏv_gX,1IzRE ]7|+1\V#9fjjS2\Ɇ{fnV6j"4sD5D-7d³!Xb 5vkZ E:?X22.Cl;}{%EͿ ƋkM#{uqXG f[aMVԹKMq*VX.+yz,ې#@ XJT;%aF ;wߦQ#nt*gǂa-?"37er%3qWba"L`Ҟ0idW7n41S{9gU$ue"/ bc霛6 =vmN_EIC,ְs KK¿dFf!pz]/mozQCU><y+p1?dڣLۂGc"$)RgDb1NuEz`(8o]K~t7+ a+ڕβ_i!։y 4k;D6nv"eϊ P df+|g(tSۮ+Tb$^WN!Q'Qߗ¨J<ʘW):H;y/<8p/F+tY#k_fQ޹Ҥ<`6ڿdefF]M ^B2Nfn+~6 t/Ԟ󜺖3s̷5Ԧc?kI:YVL:ۙ=(dבgqvP SZ2  ܑ{dYa.quXkNWBaC!ѶGvL$e {j=Mq8nq+>a7"/}*vZgHk? `h_"ֆi;7 !u;ho_GWF5N!vKW}(1zK3Id3y̢'@7BD9|7ѼBlQ*;u+G03eZedž]CňFmWK"zNHJho"%zVʮr0-%zm ?խfkBKJ^=kq 3UYK5MQ Ku u+ȹ#S|VC t}9Ŷ8 F}HK=uvYGb~o,É7f6H뭤Oē-刊3kē_)Fxd6W?RDb3B 3h^`o3uo^,/V_ 3YW4;QkaZl$z7AU/ }]T/"wOH0ub ȞUs)0E's'1Z!@,w/#[O+3wٹ=;݌Ja0]l#8r7lx EeeYGb"!DJ;7z(ؼywl}XVk~K+KӘl"]sQ7$b1~8۟"nUl<XlşrTݕnû~7ϹZ9qr{;6 |k0He7EzN ##'?An>^j͝wr*4|;z"ݱOB$t}̧tנSE;U ڬ+'xc[ՠOϷ\fk2?|6l[G|| u=u#0hx.S|jÚ,# = Nb5n<0' `$T ^V3ci^vTU=G oriA6B a3}HNa0ѦK0Sֽ]Ѷ9s*y5C,n2'ToO԰J#)JLdIUd[>M"G@囦 RXH86[mG?^繃ڻl@HL\8 |/ ]@t: v#) m.1I$8&`*&(u!θh*n5Q$XJWh*jXs&фB[M"KS x>k,:T՗g uJ[m:z4e)P"׋H~Dz- 8?uZc-Ӡg+Oآ{q )EȂY%.m:s݃T$HF_UgwEſcT>hyv]ћ2rr]b"1#wxVԉr8W{ٶD?45NYǛ6ÑuTTD# DnQ9ҚU[[nIoVd8ηT7 ,;U,&~kv"gp#7a`cPv"㰖ua*%h7 ΟsՍ(/155f). 擝ŝWzhNȨ$? ̂p(kmqSXUkx;D*`aUlg]xI({Ϫ Ržc/CֽcUJg9a㫃ur$rAHg@2> 2 U7땖6j27d! faS]\U#QQ{~n1<9-->n&?/)(9=#nwBÍZ+2lCVtFێ/-V)l1vKzB1d7Eg5tnfk;ˆ4X\#z8 V(?FZ?@Ʉ! :q[zF̠mSּ;ʎWA[ett#MftM)I*Jx :&l>CtjfY-YTri=-ߩ ~6qw1$UH.4ƒ RQOEE]peU>pV.` kJglWe*nNi!ؔCqEIW4N É;pK<*ԥٿXEfL WD0 11bн5!l-Z;MWj`r{DXM@+(rzWJ ۞M~ V$J垥JM̲柳 pčxy#c/*~L%kqM78XVDqm,z[fi) ?,LvPVV3p; @?fDM]c @S~ڂ5qIiHO܂|ˋ–-]"AcFo Vc+ħ <u 3kI T(ݹ>5ٳղ^eHDCy{)`iJ$@j56wZ@K[Ve ~|U L,P(cư#όoc 5&p;2՜:#ЩT5KGNEGӺ BD0Î]_# ? ɆZDcEC#vwl zb.*߳zn7:dDTZ>F] '(tNcE-PxxCrD>bU|B)y@$ _EBZ5x{Y/eC{1L˔QW]qDJ@E2ԋ7)P>dNkZ޼w)vd "TteNP'~`ٷ"*6;'ּl?Cv6ius*FkRz nΪwftp -_]MwN!!+7s]gAGbWtk,!: t6f^pпSӴ0A0Y:l!%{sF{ƒkq\\R/$Yt\JKy)B

'\,l)wާچ%'<ϐ#/-Ir0 %ȌUuQ\WkO@o񵼰J6*kXZ!BP_Ŀ+>%]5KJ8 h)ìe\2y&x{1I1kaZq&c~G t5\UV|nRsbk)4Z {zQ(:re=Wlpqs isc(T-z -R#*hmWVXnnUjy{4XnJZ^DQ~$%J%W9`WvЛfQ"i6jb K]Af)YĴy`4z8ˢx` [2Q:%s^.͢2shsPThVZJ ,i/!d[Hq{B 4IJ-Oifc\GinWoN!jiZγz{B*5:(hT•9zyc!Ee̎\ Em}.rK ی``a_B;k[+iN)gh9or;Ʌt8-WqK^5r%䶄/_bR^JUGD-,Hp7 rBBf՛j-KfDa)nd`ptn!ZN:)URJ,C3ZR& _8i9Df^;r\k. MH@.]>h|cǜ4>Qfz g,߀a#CBUerJ:U6rxl-s-NiH!ͅixS^ ؅ )t#sZ{tR:E]J=74g99  N@HX 4 0$Յ$-NPĒwyb#B1A_ӓ/".†EͰ7&mzk90FWBr<岘\2Sdیo_ IE(_5lOV*75K?&O+COsXFM)$9KԌ/cCPE# J1#̅ZwTj0s=&xv [fq9$`d910QV.ڴW K5}V00dU(لm@*ϯT{" .2iFҧgO#@2Pڅ rev3mS9u4|=ն<~]WtiX牎yF`MAr>a3tL^V\"qG2|C:J߷jiŸju@JKu)'Yp4t{9W<19y1\[2t(zr Osrɥ)| ե%n& Wl 6 g&2L*d)5x55t‚V4\ jv< Wg&H+ ߃GԳ> XCx;>=Oćٸ:R!TR,ጂ| QH@Eb'EB/}㖖%` ɒv!ۑ}o&%YWeU2]0sKS?^cg+f " _ e"=IBa43tJump?/ hZ9ji%Bs]]mMVBeE~7tin 'Oyp`Q2bgotuO٣'jUd +×`&V_(+Ri|UUda4QέGO.gYZ7zXZִF! v]ŗXiɟ1)*uԚ@e^cLl`x(D1t&Xs/SȖxI;'M9?G+HgY\'Mߴ{!%/Q3l_xȎ;ɸ>0NFJ~yKOߪ[ uiߊCmxr:; s=~>xfǙ.V\sy#Tql*`~"i |<sh PsDCbf= -_J;ٱlgYZ7zXZִF! (]ŗXi%L S~51F{DS|=(Pt!j 5WlQc QO+~~M Ї 2::g䢙 xpJI{Z{ prje֯4u,w]BKJ) `,(RU<}ՈfK@Ҝ DB(.l+FBeD[;euVR +$CV>ញ8o tgK+)4} ȯg`? i9 SU8 4(7m%oL潔 +QrEPC&0YrZ{I3^X9BЩYg&@Pϲo=K%^ U_IKA 2m@>n` PIsMd_lbcX0O3hRo·e38MU&&?$sjOJEܻH5tu !ߩ?a+pqawoWga\` 'Z܌9$nL6 DZ=}EȯJzQJk&=*jC9kq鿨\/uJXB= ۴o ,@G']5d3᫱WQ'77Xl.DA J=|UU2m)W-U ~Lk8D4 СpTόS܄T5)[A;'ŏ."1J5_O:xNY/g(]7{qT0a}V 2Nbn6Ժ$ln&{*c5aQZ='(Bd9. byRrbX"dۧP5X[tLZ,@MLÐuZ$AYr aBkmz #!3-}(~9ۼDw? (yALTփ{=c;7 齄;p#d+اGp`I`'z9QWoVRDlM8\/dB•+. rgςԍ>[: {MZƁ@W/lhzXa#jvLbqN8陨L t3VUmd‡7 v hO)ŨĊyH]4dsR4cUƦp7ih7<N:{nTŹT.w%4 _-pRpZqOf MDB/˔ D6-ܠled@+/Ӡܱ$yy\c*3 ې}e(dy& ȃ|V թ_"wJPIipHŜ-c*&Kk ^ >G 5#۷r$H8 |SKˤM.FtfRNR1zLAR9؎36C&`Y'?Q_)31,+ݘOe8끯֜,J?]AϨҀemظT;2rg ZGCF0?|ݍ*sОGf&)wyA?"TXjwo9w;GvmO!׹L¯sWfX^1 iFZwKl:['_6 L_ʌDXJG)}mx*z:ˋ8< ׵- ]6G (k]k{6R|fn\;uCL{kjEF~ױ켵z"!V*QQX ;Q aʄj# !߉}qСP[B 6Γr4ȴÒ0uCr;<^R̆yfc'剥L !SBQ5TbE6ej]$ |jcX(RMV\8Ği;z|^RrsK a .7Dmʡ𒘐 > M+ U*+|;l95\H)P V3eEA9~3'SN6YD6mg(zoomt8v5Aj<6MnjR1f<  *h\Q~ Sͽ ֛% =a:MvK+.j:em`gLZ0 E Ş.@P 9RΐI [X=!gK& FJY?ۼ݋#%9#kToa'v&+pthg8u=zOC -c?2ז"5g0ZMGI ^GpT1>Qp>ߑOkt76!EʤgS:)4>kݣ-OޏFqC|7>߇98ujEhLG&|F.|3Զ 8̹ |՛;ǃiLuu8yTTB+O/*4)l f9r>Ms܉#owuxasDބkyqaRqq#vR%XI%;+PBcͮDBo=3>ۙs=L[K c vbӅ4{1rCW[Es]cW7=50_\ D9V n4mߗPh%nqVUz=&2>rIrW1Xu}}fpe|f&Akiǣh␩شB=|~asw5]5/tcT{qr258ZR`\&ϗ9!HTYW(o7gKB:[PlI,[zg?& |{i[~JAqk/.p l#xP/} xo'j-+NW=n,:lPa3IS,T1!VP2(׷[`z*me /W6RJ.('x69CYܙޕ\vSB!r,/#qF|o.EH6v<ojvf2NCS*/n\qc/ސ絇NULN8 RR5rM?@+Qsg5m$?CSsȤ>iu&RV.FSٱ>]f:/ϊ6Y3r59*ℋZX͸.d?qU_J E ̼d| P7!'$*Gf`gLf|u+p/؋e)V\:N@ΉNS%>ǂ-'s1k{ yRp][Oh+wjꋔVyr]ޏ1uGʺ|1ʺ_G=S:!6uj]$I [-Ftqob}`MSРH*ui?_IS]gTֳ.YBB_?bӮd56{A}k#+e1V\)낊gC-t%X],2>VN 8/.ngrrIvRߓh➘K_.9c! {sE^`{H•UP. euBkǫ^ތO+bmb9lbpc'=!L4@xe놩[^6_<1+N!Fa;֯.pr=327?)Dxce*(C|7Rw׮Ʃ%k7"1jH/;ȆѿeQZQ뾀 9վͭ LNq+.EԦŁyu9˄{35E@ˎ><1+nڹ]5wwPkI=ў<٦'bgMBJZnt@^Ps;ͯV7JnpC4h͵MG7\,ΧvNSAU.V+-8\R*%f>cVݜz Jub6mJk|K5lEK/*-G) 3 Z }#)u41<0q/&DɜU q}b,Qa1`vZSLA=R}DP?*&l&DٖADH=R0<; ]imUmd{zڙJҖT@+GRFP`ۃ U|wLO9Ma--JvX{f30Wq]v\<)p^n $QLDgc%"!TW咄mk6(bD Xh2V8 m鉂LV+6^Cj7 6N @5* 5@|2]:ⰨL}xA&.EXg0.Oܠ̀S{$n|:GN`g=We˩Z`@MsYb؁PfIެ BM\ZL pM,?deXbbJD<4PK{Oh+߹M~MK}D6Y쑬DZ:*@\ggK @oSˠ8}!{1Ӝ(l%7Xx.+R+(ƇʋډA^L,Rm*Yx.e_oR#~%+Rgv0, <w\Mb5m!N9 JJxvFV>a~rF-wEK MXN%r|vL)TmH46Sn%4Ƿ\`gYZ193dab08977f7d80fe7e745239ba7ba197eab3686efeb224ffc75fab8ec850f4826a2d863a08be88 25ecb723e4a4ebdc4e16cf93f7ae674a8a95cd2f b4f2fa0a5ed6ca27cd36024a80ef87b9e20912c6