SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 5DkP8;'D;"(@2GL΋i{m^ C.p_/= Uw.Fj4FܨUdBĕK3 2ؙV9O8 t{ܚ1PM.6xX SjN 2՝N:0/.p đ=wA"ڰgV1X[ZCbsS}“2,?lR{k*% 5 HOL-Nominal-Examples  :Pwrkt}x1g*+'gKnaPo3xbh+<*ѹ-|7⾵_q$焏/?4F`kinAiT2Z6L1ZïÌ"{_0¬ ʽhYmE #&,h* QOw}P6ʺGSvN$=K`'V7١SBZ 'WCS%ڳߚc~ E{:Nl?#zR%-ܾ>1?m/J4ThJg]7uE`56rw`Pɯo\Ap Btb%p}v"ЖV/م~BJ[Մ<6/,^ѫs#.WxRF\B tGnz?'R<縼 ^dãzs1\~.Ȕ*bj[x`9Կzi`kEC>BUgagP^r +>lq#s3ć1aPƗM"a:/oc90pEVR2'%~/ᴎ A{M3d<51 IcoǤ.uվyb2Y:D$‚V!@}1dkb# )y{E%OnBDJWyы1y.1ႳN:=t'Rh2{R\-}L/CgawGi撓9Mt=~2[щ^GqbGapO5B,2`\ UE^Rc-4S:u[n5Cn)lUenӒc(]i#]&vOcPT[ lOU&SXrt!UD"DJط ۡ\|VlyzXՍwR&[ou";El@v $\ѧTr -z4&LAp9sИ7឴2B-#]W7V@L;iay}O9snݖw7e hUfk{Kb[qĮmê4dXKk~nsγI:$3ᐰDEO7Y$X1P1*rX,{yp'T~"G94 4-4Lwly3|͡!aZ1nkkJPq-hmOY&tm\~x(]pLu oUDsv+$"io<9T=u<|ld>G>U6%mQã Kt&M*Z'[aپvy(Bsw3O`^Lw0@чj͐_T 4Z%cѨ9p,m{(3~ًwsڰ 19؛Z:pQ"-8]&dps:'53t:Xd_HNn+sǜ94R=O$r! &H3^ B`6 :*Ȅ +ƊO7E6״9dO["=6hbB6I`:6Q=4XOj٩veYȃ^PPS$UlB}ƥD_<|kɄ=U( 5J]OגW_0.(YgzMBo+%QN寲*k&m`*bT]aJlzW?:-V^xUxpV`0(9'x"|':q@X9>d%`!CtĒTAn$\x=: "ԫ ;"?C4e[vN·&2^P#:±mbm«˿L ^a/R߉d"wqס_L@z$\#2d]C@k3iϼDm)YPS7vSNi!Jb~')VW1Ń}7+cŮ0k:ȗf@ddȿ*Q[`O) c$Ay 5YpT~ oZ$ awslXjj6"'i-F(X:9ʖH04s &I!R~?XDĘqc>MAd<\zX`??WSIaRv]aJϺ$ruCfz"Q)t/5Ez!I]YO Ue1X7EEvQ5wqwk*,%άzW QC֩.lV_& g-OYaإwn͈UqzŁSXnj9(Rb>\ ->]%]i9:G F9[8@={cHlWE> $'isrC|W^x[O@׀\f٨>*Ԭ_uԳJC9Rnm6Y 1μ4.ZJ&7G`/jx; 0Sn\K󨡯?_3cVɢߖxI9!}Gug*EZ g|l fvcd %r#7Ӷdiw}=E+h>lnvN_;BʭX=yxG XHEgLs*= #u{76:lId)X 1Vؽ>$xU~kۉn!؉ey.#g~Pv@Ewk(wr(f:]ج* B(k,SB/ԨxoP|.f넒;@iAf4eN7~v|x0.ٲ1w̃ڬj)69ԉUT5֯A /a<,>]Т}dv0 k}[ нO!K}@F i#6J\%8OzeNjj>|ǫ:u"rZ`Q PYV0k%)p!<IZ\QҊ0$}(]h =쬛DU[KRF{ 6灣3pD% ,ӚdC.E+,юqwEDIl@iz'/p3v ?08ۃ J=x?f?qIXK5V(tGSFĮ mŠ=7 ݝlOʈ^;%{NPzLCUY7rA%7V/s.wwV3xY`JAq>!&݅U%sgteC~^BL@}tKw!ǒd'JA9uoǼP>LR YK

oeH{,C'oE@u@V:?Ҳ#zҤť_$Uo M7 6uje* 糲01ϋ8/yfi,gaD,J Y1d!V9tN &FW+@Ce;ǭ27yYqf),r}_]; h`K]Rb}3ؿm' F ^cr1PMz +Q퍩WN)1mAroEZHs iଣ=}ݰU H@N=>'T dUMW_ev[W5Ý#ZGT\s龜c7bA(#A?Ɲ)4{ kXT4*y/;Bu :E\.ž7D~?v`l)Gnb "7ncKNϊ2u45s^pO B~tAvidvC"g/ɟIRߦ:t;PO+!q1p|YCDJUXiht59YI8CiR4bBwaPӵ6s{KD$54'Y?\oN㦂XTə5?_he.7<[DHE v{zϙ= l؃i%+)qG˼˛V9#^b;:| D `Qn},wYt7nV=)p}i?ō)@)R em!(a/0<'׀{Kk44g]X)&Cή.C㈣ 6iF6 Ǜr2vysN2˂t Ɇ!+VZB#e9 khr]NPKAͳ+ײ8StiMɦLPV4@;94! (ЇKWF 3Dh\Oo2R .a9ȏ|hD3}+DG=m*Dͥێ0(R:C"*#R>à\Y5њB VOcQ6XrY(G{u'g8aߛK@dSt?:辔34׾Zf|37"{q9?-},ivxव[^t E0ycڡ n-׬Цd#k]C@:$GX qv]{/|\})YsPg[!9{< w=ȤICR-~LkOQL Îhm(1N3}ќ,~ľ[husƂ|vcQ:1]DYih;8-SX< os.$9ښI a(&%K 9\(sC΂asў(:)kҦJ N*)5Ȣ&Gg2_K iCA4W$]-dmOAM".T_gϱ>^y-@\Tr&RJdEBۼ6ԇO~ekf髞m^ێ8[A*A F?u2c&yU׺`(.BK3-*k ՐZwNX<f6V {k@(6z`M|kfԕ$gԙ8c<MLϏuDJm7BQm%ǻE{,0W{Eﴀr Y>"k?>B*~'Fv!'G?.p-F@Ͱc1MnrF?Xk(;lHfTVBrL^ ᪬ĚHffϜqAqQz۔$&򩣊I/!Wa/!)`" #P99N&=>%sM l݋Y7f]t̿;!B=k}{K$)/2>nv4zgS,6`'`M)GQۃ[iHW\Ӣh|s{$z=D@ɥPmbs\B7\LѪDsIXC氄1SNUKk(6#j~]cCW89ԟtL"a=_/Wߗ!Z,ߟ ̵[Ra#8 5Q*G\+Dd&{YB5tҿIķ͛z83TA6ܘ;:}f!F4`!@z d^|+pnCP;"2!|óCB7ر?m$h7Kp\ڤv;afF "rԜ 0J|}VbMUDΌ_ (nUTc&t2n0OZ&Af_/k*k9@8wvH9ROjWIWm! v E Ƈ 4exF@YM{x ]S+(`8co=rVr/V3*c16LO-9.8(ɒl#ܲ.>=a<,_8;cuH?ZLP!bޅX6=:̮&KId0P@2"wyx㭠Bjxn^%<-l;noyʼn~ sp g!%{m1:Pa RV ʄPFjunȝLݒY*yl)R>\`l{;։LR77o|^;ɉ RC8|ez]e#WX;"~H3UR)ad{ vr`ϞsKtF+A٧O#áo0T$4?#vJaJ~aH[8AloB) & 5h2[ gbp 'Qxsύ(ڞ\Pkibg%>9fY kS4Bu v.vs3.PF4Е4XfM9FwTxBE_UL *7\$|1g uG|iftg!5=0L%NW4KH"щ^CSxbR՛V,LƦ%qljS^ӂf.``=_oSj%f3z~_ざ:y19]x|_<ʐ;VBi\HYQ4DC KY1q/KD W»#  dm*-\m#n< ~?ZHǭ4-nD;q,=#f;$&/BKc=a r`,VϚFhѸ:_']F[ZVKvAm-2G hUm-c.#416y+ʡ=l#Rye\gYZ7zXZִF! 䵋G]ŗXi%@Z}Ֆk3\Lt-uoteUs)?.mm|-UV"b}cɣw)j(-fvA~ y=YHcWn۶g;@G[Ɩ /m=J}iFd4己K)2XMDUlFTllIQw֞j/G ivd”Uޫn@M jvTL'Fl5j٥[ǿF]F(gY@F) ĦҜ.k|Ymm xSe7nIJHD\L?pm3N)ϘBNaX,IXZoX4,uUftyVi#@P-eAs+؃E-ֳ>T"9nr7pRNQ0'?v(Sٹ""KBoo+õ]rG w=RgDB1e%HrWAETS>Kuf Rl̮ ٟ cre}c̹P'rq P.ˆyz`z*cm$nUe >xO ^%j<0.M"l]"-q`0I*-v|SLM%# UQz'9C (J襯aO#IZvP 2uW,ȉ}KEqP\R'+zb&Bʸڤ\'V5L*_|=; -IͧOL"6Jv O>.%I6)2}|~'0!C#7hNnh u(.I>4P:zl",!Уo503srǥ{PRX/Źgd3${(MHA@WIufY¡\p(<J~=soF&d /hQClM]rOx hU㧙C<.)۬_H+5YSkA+7r\{I@jrzZ=Q{z+aޮ *j,FMJj&=ʘd"ihA:(r}O$ ,?:ezɬ>tQi5`k#R{x^bOJͰPV)h3*S_5ʤz,I\gttQj"C=iE-?tTmIWIpFؙK/T|baCy:oDC*󽬓s(Cϓi(s\hʘM)z(/ iߘCSWB4H=jY-nQ F] wuԽ@^;D4Y[qHFaM7R}g%Q)X M-L8_ qDA@Þo^/} GpsdKL1"]Otdu$5vlҼcCfȚfjWGKF:#-ȧKRK=er Cʠ!~ 6`H6Qs85- A#1N|ӫ Vu  b,!3RBl,“=\ohu <˙$2$ryuym$GH% $=5vUF(!9)P@Tq$-c)(rJ5V@\'J/!iY<_x*H::yT<,֭$+Q%%\F ՟tf3,8&(69ւ'4o:bq Oh5f2l"&͏wԽ-*B£vR'Y8Zʵ.I+*TmVǺ{`tYD[-ȫv,_S o `?kek|'o"'C8~RhS,x)1_PD? XIvrdql & O½A0#c-{\&S[̈́u)-)Dw۔`TsߓHyVJgn<}$H\ {q.7dnYF-T|tGⴉv, i2 h2?nH5WH#/Snq32xRʭڶJ#ĩJA\8HGyrH T`]soP>G,; xuN*x޾n1ni`6-$x'1#^d?~H _pqN*uBnP4KhBmF Λ'* =6uA!$iC_b`Ē C4Y WZQ9$6v P}4P>_l\ɳ dfd)2fz32s.21@Eu'c u +gRl iMf\3!ȡKb }*$P 1Hj}g%S=LuҎ "In[smbPk w'0|gnFm_|P<-G|'\6iQC&o멅 [L 1ۃB9>ldc&OYGSGdW# :~4BA`PA R1۱*!'5>كŇNA̋{R4[}b9 C#Т}iό{Ӄ^_oA%}l EbnuN+aŬΦӰ 4T{ c=(lH51`KӑÉp=whL0% "p_~ke79%w맷bS$\ wlJ~ ϾIw!| aR"gI߂Cٶ:W:$\yφqɩ^{yݒ*Jװ.yO.gGpՊae7qO̺Q']zͥg5@OޛA覡]!go(#2=cOwXr)fI&dj0p#UHVy.Ncsch||B>^ļžSz8!5&jMݲW}R|,mi..uㅝ꼪m "$O}{G.eqLK}dXC>^ujH:TNDBSsc;UEIuR,\2# 0*ޚ"c=^I秳)ڈ΃7RxQ` "wv 5R3DAؠ]oELpEz$Yc:n%+G9窕rAm u?`j j00@}5N v7C˃ﭧp 4h]zpgǢ3{Ïn 0Gʼ.$=EQ y*֞< C^qԽWq<-b w QsCpRH&j%G*-xh`GQ h2qnOs0S%ɶSoBRPb-Гuy^ey8K0(SB37Y!-.[\86E+h/_1r~5mFǀ:R{os  g3 azlph0M.|R^;};C[B2eTSFheT#EY ,1O7S>ZWz㱢ԬگVeq,Jhf8<%Ndo(6W~qvto£%FniBJpَ`Z;F؅Hd'[Bw8[OtE{#>4sqbR:m^끭"Ra(ECKD-Dy3ewX#N}j%L*17S4o(Aۊ/"~>]\p4OWMr гiT੟6HB64JvYB޷S8~Gb% ݂w04u?;v%Qᵞ= +rYmxU.z{EP8kyrl߱Fkn o3*t:\[z:WUhﮇ ywglV+]]?vF<^ύ;BGtg? •u]B (ER&"2ihMSIQ~{;!&CmC \vgAUO:ܪDQI(1k'1$̤u(%6hrҥ.]?c9Janh5ە \UhR߹Vc6x]$2e'>ڜm}MNJ~DM`5p2m@|0͓>WKV`۠}-ړLҏvwDvAb<yվ9J^0٩),V:ź:yC<>5H# hC2Fv,饆!Z̸t(f5$lzn Z|ƽ~ɍv-Q&Y>MǹOS~j?šl@hC#J)/ 1b~#0j|>n+N5;ײ i-MKA{U{_HXNEQ 'yPMp=cjqvzm/vC·(0hf0 Ndb9 5g̞lMaSO9e"հVjՐ(A4D]RR &^C1i]<*B@?tMȂ[6>Bd;kݦ qhٴuyZX'RÓ{\t9O*R}j&ɴn oo,=?Kڍ,dUs2U!axXB#o6uˬ bK;+>$B3 ̱"Ԏs ɀs}j. >VPz&㇂!fzr;l 4߅H*dY˒ |5/rjQ#iԺ5 J#Tnly|ggNjN=8dƍLMܓeHl7@+\+ D҈锹ɪcO .?٪Y;&kiu6${˅aHLDAF#; %!c %:1;sT5PquY|;1ˈ.|#x47|CqlmZE~nD&㏡Z{QʛkX=z[i rPOqb f8-ٺƠYkDQ>H&'|WkRuuh0[gjgQڟxԭBݸ/V' #ˌ!-QƦ*\-3>wkZFSϋma&%`.=eXՏ9 #M:.x%t)*vT=md8UC 9r7/8.3Mp?|պVpawPK xy Ya١O:xxև~^RQ:'h+XU=CS3~UZݓ5W. [HSC^wcW7$&oW)H 6Dz a7r|sζQtq2 CʉP@uAa*L "7 ᷻pQ1t %"x0%mhH5Zz%fv$JZMKZ?,80nɑ,A-u9s/ʾ:` $5.~Íۋ>bIo>-U-w&_J?ʸG(0l$TdɒՋZFP62Pje5N|n8Z+OJ*+هQyYWPiAݷ\~5E#o\9K35~/)pܮZ4zl8%;=m8޲R~%7߂ƚΔDFC}TL9Ѧ)a7I{Scs]ZؐkVry0Ͷ8+D},8)O\UtK]kv˝'vge$uẄ́Zتӊ\&sAw ]9 j=iJ#04b%l/Om3PAfy㚄fO d!7S_D녓Tmj=O=X`:E*ZЛdzv}Kj|rFAGNɥҷ3Y^etúzP>G7 R'"寭UqKԥ6z4Qz\eQ{2Xf:| L넟$Z&[hPri۔B/Qv HO~m[١ct'eVbANh;[g~:7vhB{Dib|0c6>*maи!~x٦o-0^1 iʟ']j "2ş8~yxfQjJEoFGwU'#IljV15j%'cwܜJ^hlr~=ƴ7>W*z)pr\N{n"YgkC^%cVSD}m,{rШ@y-5њ?X5ݨ^ozP!c_CW yFEkTy ( QTq}p.!p{ )$,c?Jfr"g$n8qr1oO)q*Qc"3bg:~rʠh[; 9sVfHYG} Up,'ʤU ?Sf6'X"em[4bn5@JRw %) ۬ !YQX dSw]`f>YJ΢;O!ԓ?*IER/4_ \݈\9De D!e u~Ocus鼇@جGz`(kZ[TPdwS %Ne3{/g,D"!OXX53c d+W\?3ĞH[y/ qpBN ##t2haMgq!"+IMJ- H sP_fصrv`4 vkK.Yj)MhǮ׻fc[> "Pns- ]e^᜖( :YwE)tD*sub@澴E 1`'/Ef pxAt_ߊZe݉0g%1?]/*o'{9gY6rв 3UYgHRC-Izbw&u):eN,/A ּQO~Ҵ"vvr߉IQP\*<~0&# LԷfLx $L]߇S^>\nq>4U𡚻(KX0&e8ij3tChreNԩ<\̎_J->b*DtVߡ2?}DQ9_4(ՑT".洼%y]- hL?5Εf*<[,SO GsX95C WQ?ćkL jaI" m_|k`E!GtIfk:4vpx+ ֚<( Oo+ NMKۇB%`/%* '? dK7;ƽ<QA31Q@۰eFـwxvE\} `=1[[YSibqȨ:am:_|(r`l :SJa%q| = PF֏ظ.9We_ i9hQ<Ɉ l8bV0.$(XF.Qі^"crԔ1r@ <hWhz5n.bp !/6#,ࢃ[ Wt]!>DZ lj+yru`SCڵe}J[VJ6=j&y=JҮ d\:}m- [Q%#8:'o*_ <5ZcR&. D#:3ߥ9XP~j^7C0Z?$ABZѯ$ F C3X>]H*ݜE}al" ù r[uO ihy !'E1:eR9=mNszcD2zx*;ET$%@,(qhI$#E>>%s5x==*Q%+Am4c3]&_lKH:E29 >պ]Y,]W'?}^_qD@N[Ըhj'^<-%5⛧Ka⊄}r 2yq EI HZ[R("Qa=,!߸LNdw[^þq#M+XY7jԟx{~ E1%6 ~]1n q̴X]ѣi> ڣ3wego\ WA3,4^i8>C,C2>ژtb„i2Nn(R3iCes%#"J"{aݪ84C%SF:]DyYVuYBt&}CPt/Q*mXm٤.OŧDSq[rø5N('.Sb`#q/JukdwGck$g8lV9_@na=Yn~hP?LIhxrw?c.Ƙ \_ 8"=1|OAdo\.sUIœ I}R72S\V(|z( D\z4j|T*]K7y]OKaA2mϨf#UBV βhw k=%$n\c%(tp7)򠐱`Ɓo֖'X6yeQQ\eĹW/2g'szo(Fbk_> Uɾ:E$\50tr5[/}1_s,mo Fp+!b1+7RCh5_`R|Pl٢.) &]F)P;b!0)x%|Gyj-v\o`JIc/@GO)q2CR_̋lBѷr jS0f<Bdܩ0b5@ 2״T83I&BNiL"Yf } Ry!:Mmdҳ Edw>}wUli# >[2Gb@؁{}U}b,8C/0ÕU":#ɵ :f `9nZkFFDzMq#GCvŝv/ɮ%twx%tH*((7Y%KURπ3euS %j⮇=^l'˂wMGP+o+Sv+^6Nn,-x7U_-`:z˵W>**m黩܊f&3kܿ[z%[[H7q ?XE)~f 8FeLTJ`0dIk<񶸱eӮdL8OmwkWů4f>g0k Y5HEfZY݉݋O`!szd-wtթiO-l:>ElM'wKHxi}%G=OK9v2~c~Td-1 Uwe ;:@ʏ;$ GjϪ:S+^&ܹ|p!c2SFgE8ōHej( B8zghtpJݜ3i]KyQj1s6z҆ۀ&wl-A(MʂFSφnHQʤ>Mqdwgx,]vRH yhr<¼L|3̡9g6&3񸕁ںRX, !ƙ3pQf-^F- M 8aQ˧Q]: 4~zXsgGDpQmL!Pju?FMNɧZG9ztH%{w BnP4!"w#]psm+ܹ[²/0\̫lL.:vϏ|HAJCG +*TH',7=#N-j2<Ǥklr~']Ÿ?QVbkC6=3̚+Y&@fU0eG_GJuYc@Ɖ~(K>j]&iF b',|COH(>`1$ Ca󠪎Q#Qlh.4FIHuBi$Kpd u֬P%Q?^(H[wEgȷxLF"#AٟU3s+f[a,j=ӜpLK\e2YhB!w2ef<4)dk?m'7>O K+X]eѯ_Ю.L..ycnw_w58\W89GO+:S$$)OܲQ"Pݹ3"u#ZT\F:g,|l-}r WX0]6 X`q0qϑ7lô]eC͉@2.ބu)do<{fS|Bl*ƿ8Yrjfޯs1:ޗLSU/'qNN̿k\{F5UyE1\-r%g֗.lF`^G/$6tZIG87~e}CQ9ZP@ 'b%x?q?  ppqbjvhl̿XD&f -i,/T p0 q7tKgX"";)H~s3ᨖN]Ctbbָڄt1g܃0A00Бm֖Td^Y3Z%c?aԫ ,,^n " UEgl"&$1aغr8PSݞxY)U2B=5Տm Tݑ,t9Gо,󿦯 Jb`oU' ԶM1^4z?tǛFv9Q+p|^ns`bS?!Q?gp5AVM\;f1?nqg2b-8G7 mS? Cz} =BY:Tʶg;8 )m^7}I +Ay/t&h w9mngEL6W^NsټdJsTlܔ`WKaϓ1`ZE>+<|cDչ{AO[qH`*@.iOHJqK:~eՊֽKsd򔐋̞%rԕ֞J[. H'@\#t(GIJ,#:-KL|xpu"<"/hß3W9%A5NI6m Χ[Ioŀ:i‹C|e :Hkz^jjld ̍(kK\7BI ;$gFNJ0^!'oi m~PȪYSߡwS,lL#VOkL>]E gFՀCѻH5*eO?Mbx#/%]D_+dL6Y4|/zw7> V}TtCJi$ uLoC6SJK-zqR-Hȯb}Xv3.ouk1DTs5 |S̆XI7۬@ 3,> *>SS5S w"s\ 褸7m>譄y4AdRMq) HL@aXC1)`3B!̳BsL%ۺ.Wĸ>Znt| =5.\V(AoobLDI&vsׁDWaezV͂B3WWnޒ_Qsl\4 zbbﳇuvv̆%W=ߖݜ*f@:y1tJ8yڶ6e~G;/EL|>jMîRt_MaFcНNǪ1Ş mpzkS9p҅ҕ CXx mxpH.1v5-Ʋ"ڪz%p^CK2Эs{HKKmk`&4;w3蜕^P楬~V̩!R4Ai<4@GYMƿGT7*j5 F=g%md\8aHT21Vl}&pIʼ A r87֋9 lei&+@9yL)O)N]%dnX _HeHb5a\_#!l4{"0-1JFNEV4tP-|ˁ ~^Oc 0uE+ICxuLh-MG·aashxH8pWfx#mGHHnf,J^zZX%AƸc ww\\~YekE)ln=9Dzu, &{k5<^,ɲN ~bh$`뵰i']HǍg_~0ω4pN7!&XB_2j#2-ue e#?n5 ڗ _n]U-l/wig! 9w2"Y=rg S$P7V> UȎf4o{ ;{$o~i2E^-mSO]$)YӦ BHFw`%)t|2r^p8QĞ3&qlaK&E0@vqf۷ŁʬϻBgl?{j)K%ae.v}"1۫;)LU0U/rɓD>>"a0E(c7F ՃM@ȠPnHi͸UPj?*2$NK)3EZ%SN&44yY#CC?4!U.p ]tz-2s$_}q&9l.&Gz.4CRb%BP ۔мQYj0#uN0nhe Z۱6 uwïDvyӾh iq?{ywk2HzR2M30C$m#2c(]n~'y b[q=הZ1W, z/*ZHK:%(;iP#1U.<(w˻9@ FEK6>k5d>&?7(\4\>5̨qrEB\8:!O)0GҞ=;tJMWb$'?=3V` ?A/i jDwӹ:I7}Fl@Ľ0K! ԡ`#Iۣ9뿘{4V{)Zwo_{rN^ZRTLAԖq"brtgm9͙^u_9_ q/9t穐QA`[> 2:c#Jqº+z$~eAjV>W0%>g]RJv cC=557Mawk^ Up6Pe.R6bmi9?*o(,Kfj/,^GaEʊY &ɆQ ;03yN^ .D ٩P*riLo.57n7z˚ ԴrS:/]uVőBA3><ZݡՖZ3t JlO,̿71d3}E.FD5b-yy8K{٣XJ=?0a=J 3p/.'F˛Fd8&VJYgIl9 N9Lv[+~\$lݷ>Y mwNe' dʠ3xaZ&zV,iYTZ[Ӷ FP R FˏlgYZ570dd4d350d82cc56d2a24cbcc361bde4a181aed6323e8ae4a2a39809963028663529f1011d7a0db 0078a6bb432ee63117c92ce3b78ffe13fa962525 2ed1753f9fb6736a39cfc4821cce2d76b8165454 ea2ba854a0dde45a8ed25c9368b9ef877db07d58