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  n n9t t ]/ Locally-Nameless-Sigma:threads=4elapsed=23.952cpu=81.380gc=2.2847zXZִF! %V]ŗXiɟ  Q ޳nӟ{ 'gdOVOK˚;s/ӯ]D.!EVDŃNf / YN@P]M$"nB\9Ծ޿ya?s%^9=u0bt[P&n*"́ Bv6NI^>(_2#rZ-nYRfd=d yZvjJ(V&<ѻ5ݡ9?腦ڲ~ b6)FkuzDu_-ds /zo|w E.IOȪz[cV luHmׇKawEBѨ j0/5:UtS/x4SuFti*fTɧVM.\iqObسk@z ,-WwR׭ȄK3~9A+#}D4>蛢yzT .E b#Xݏ9gx\ 9 Locally-Nameless-Sigma 9C% XMJhnR]bqp[' #8FToyd G~h+dčtUG Rqn!PJCR셏k>pݜSP)G-wt}||ǯ/S5ߚL\~R 1_puR+܌A9)_ȉFiU|oyGѩAM]j4+tJ| 銚?Vm "'qpJ KҏRǭ^QQ6yH@bX5#*DloN~zck&Yddoh U{}<(:!*6iZ.# NKB?4i(f1GRߣ~"ݼ)8@ۘx>qQ #wwQ& Zo^"%%RCXYsTF+UG0 cZ9=LVKEj+rK`QÄ" ))Sf̣Riy05-oʊt M|;bċz0֒1VL\[vӋ5ɃX=z&$Jw Gk:{&Qiώ++yec IvN+ >t2T@6c @#eq~syݹ[j|tso>+1y)qShc"ٕjI q>z/|E ιAt=fv,Χ?OEAx@|]YJ^ߒsR}ϪNjSd͓EV{@@!L]EB3+tPPƗC     J- sD9E%Locally-Nameless-SigmaLocally-Nameless-Sigma.Sigmadocument.texK9S%Locally-Nameless-SigmaLocally-Nameless-Sigma.Environmentsdocument.texF9I%Locally-Nameless-SigmaLocally-Nameless-Sigma.ListPredocument.texU9g%Locally-Nameless-SigmaLocally-Nameless-Sigma.Locally_Nameless_Sigmadocument.texE9G%Locally-Nameless-SigmaHOL-Proofs-Lambda.Commutationdocument.texE9G%Locally-Nameless-SigmaLocally-Nameless-Sigma.ParReddocument.texI9O%Locally-Nameless-SigmaLocally-Nameless-Sigma.TypedSigmadocument.texB9C% Locally-Nameless-SigmaLocally-Nameless-Sigma.FMapdocument.texݣ:k1@Ran`~'*܌3V i}nbVbcŷ\O ޭnKO< {H 4xDc$`wt2䛑pBZTi%'Ltb/n4nMhR!PgwC>Rw])PgU0%zJ%^ [Chw6Ӫ:N6@$\ t FϏFp~tCܿȻu_Z7_TKŝ L&tr ڥD98P̬^@;lԖG# mR*92SAw/k(rxpg킯IS=>qس krMR®p:x$B8(|\?xt'FWIH/Ԏd=8"Mrݫ ПnY2@)ym/z 51>0?ƷƂ J/6&>fb;1>LQ0lAv\m82=}IUH,rA^蛈̽"MPOCb21A4ϩjr\XSAS|1*vi ͂+*ԏNA K%8 r3x6)UqameNgoOW{)'1#p1UQ{E}?)Z ؉X!2ZcvHXG>$ ju}ƹRO~yvd>IFJXTz-mn8K*~txDٖx{wo]1gtD`Igi`^~Txq!DوFl^HU}c |yqGv,Ca+8I9`t@v 02֧6mEu7w _vze[*!@ D}fBMO.@{qdJ0RS'ӷD>7ӞOKA >vp+v|s"9#?Hyyf4} 1$3'`[N/Xp4Qgu}ОHNmXխ8fv]ī9`KQojb^ 앗qd3i\͌|y~Q={n?m#;_\x93]Yb4IUtY1!C h|S>h\+Rnl,* VԱEE#Z~Tw^`?!^۷UB,~> sMT;O5-H70l\7y QUݽ3DD"U*aKΩܧ7wjv<ʱdXp ngv]E>D&;rKX`bNy(?#½6&p.ꙡoZ~JDIIZvY}?ncъ!2ƭ -,1Sqn> Fci_;fZy\y@jN)Fι^pXQèڭDI$}oB ܏<1)F} @oOmSCz}8r| p'~NJ;%xXb4x wi뿐V /zNG3." H-G~%X!wSjhɛʹKclÖ+d/Nڧ i±]0Um~=P M+bs;n8ҝ5+d=ҿl"E PqL;GiGU ,kC+lw.u-HOeke1[ yO]c CWmHaDÔރa3k)/^(k}$vZ~lpf6IS*_,So[Bӻ&yʷwƲzN7X.wgMPlO.XE$ڪĩd[:"uJAB&]qC*8PF㥼/.2k= pp!ڼPb ӎS9tLE |̗!,[5e`6U|XbtM:+=cA̘ps/fƆDcy eK ؛1vh|)b{o!v0b6?We~VT}zTCFށSx2FXGCWqkhHhşt# oMEzbzYw'RL;ʕ{lb=6L7E;EvxCrDEO'48H$Et p(@F(Fb":ILۮ!"HN aL/nD"~`O9馑M;^ Tq.g 3lEۂ=ͫ(~?O:C֒F@>ō vQ`95lkpO3fK ->ReD1MYR>`9;-g"ew-v?Wg栩`C˾Nj+ax[Љ}q[K =v5R_nz=6rU+n!$!*xѲӆYŗڒT BZ^h.m2_UztU4\! OӐ4*1(bq9T~|yD'Ӛ#`uaF2ipitޱF*3T2חѻEֱpJG&"0~Jǁ 6-,qXfW'*R.>#@Vcsm%tHMF#9ȈVaq=bQcSYj!U!ALgE n/Tp3pL|,^ qL׮U`zژ\0ќ hq ?q33f&ueN7߼пqWd'PUw64 ^86hZ037[/)Vkcyw:552T4Ob5Ej>X1/ҫ8d2Cٱ 9 Q2LOA 8!tzz֊ܞYͩEPH6,j#aݡLH,#VܾDc3dY\5?9g" dyNnmE@醴_eb -7,sEw񂿙&}dF;@NbDbk8췫9_ȩTU&H,noSY;}$J0v` ъ@[ڶ-X[?M:t# I15EuE)`9f5֪U|6O0D 3pU 쬮vKn2'4ASjάM|!=zp10_a">S[B$,]/W ;77/)~"Ʈ/vL }^A}G1ᄑx;&!/!>:HAPb{KK1f0 ;K}>U?y= F‡-~(g'91{[ 3s/9 eUnJ 5Cw4[$|Ոw^YOBE 82Gɩ"K%kn.J]UIb3R4|k+mw؋w+$p5 5IQJ MI}y9> e[ 4t] ה9C pLEMZMN}fuXu C/Q-岯"`M"ﳶo:Շ3 1IޫEGJ`5^㈟Xܽ.Mb{Iap' G8H!n6x`TlY[O^Eu!&W:sܙQCBMFWj غM6x̗+Z/Bvq)"~D\LٰH[u/}gj羊u+g H` M_ ܊pAijn)ukܐLژ2Wn*cum,&E2w_)9_J^7K;!s9pbrn1P$@1#5H2S60>JދCK@+Lxmld,2[EM{$SgWHsWe WJ:DuMrdKz3WQҔ:mIe 7}V ۂQdXmOAYĹɊKv jO./('OaR~ ;i~Gg7fi 'mQ_(^Q%LM{11">KR^X% y,31>X6>i=4RY#$XVRQ.@:\62?/3e2Lc܈+[/?ŗbhbڢL[25"'\Bd=m# QN]zS&^sT}fMJ,淓5$Yg-&3dO7nV7M#fI Ƀ𬍯W4` W!6X>z2 |E.PPWJ[L񊵫^|.0&CեNR@mccОF h]փm? ]rZT8ɠz{/sNmkӸ%„aINqEw_W}i+RO:O2wC"շ3 =hV)PZ2̽j5:Ҝn!Џ;Q|w O /m`m†ЎO_KBLF6pتSG2a!h9a=MeL)Hlse]5FƄՋUTv{C8SwJ0O#*Y 8YZo XZbM;^> L;<([rL)Wq(j(7'Jlam2 'S6G  ^jdѦNr/]^48NntMf\2ksӆĀBdת*a 6vg)6k+d;-Q9>Y~: =iyǗkG. ?~)I\K pӼSOi]5;* h p+Z8j(؞ z4\; FXxNX1sѫԌf4\ZX'Ct.'f݊ObWt`~BhNrTRObQ/@n>ӎkW٢XR5/S5R_OJsprK-<74c VX'7 >O:/nWO Z-$e?bn!A/8Tuf</awϹ|R#Nj؅ȴl /&&NP @IL?aka\k t4(Qؔ= QpV<*O]Dϝ*QGfC⩪'svm~D΄QE K|)0O&Ľv"qlCA62bLNa({42/{)UΜ6Ә̍3w`xgz "/^A>)K{@wP"|Jأ"6V~~5?^d3X&PR /߆8>ExCwN-\HXOcNӯ!z{2`}]w+N5q(>'PA/Eqz/&6%ɪd_!M%FZ5 4mj$å`H ;`-ičąG,a㓎SjR)r kk%e(;\؂QF8Q-aA[y Rl& b+X+ 5(| [_YK;yr|YyᱠH& :w S':"_qXaĦ ΀J<3PLڊ^J/I r3,N$|5~eT-4FZ&^zE ~?0X~x|q*4Q=ꆬ*Uzyk ?ꚓu\8|e IODE!lINWwaQ<>}Oٷ;lLkmR{Up\"ZKXT)FǍ&O_qIsSR4f%oJ:um(ˋNGlL71jm8sʾNAьҎ(5P/S;ǠM$΋rCQ_|"֫֟𼴥{l'77b=cAhE1-xE59 ):E (3a"WB]2-q.2:l 0߼h IqF5š߼E؈w1w&uO m 7D>-H qzpw bKҕG iH5+2ݢOU.]= h('UzJr/!w㠳 qVe0,ndKClwE&T#ڑd,RnכYl{R!X Vqh_ϟaD[Xpkkt1,xcpE"@> "7S`4wm*ӋKszD. ޥ/DQ,v٥|"3#3xЁ˴ F~WyI"![^&Pҍʣ߉K` _pqÀj/F&"ìGizd\=nlM;S7'ƹG#7R3}0?eBd-0e.#eWRG4];#K^E(xp><}S+)uMVJDl{ω;x#Uuy;UO: +*CH7SWgGvwmWq6X2A"AWoc2ذ]՝as̢{)ftݬsƨUZ[ DQ!F "u%d)PjBO:E+{"‹ Iz $AU5s{s ٳ,v=3V!ζ[ [̼c,< PF@%q&hüzadڳ ~E0'Puii'.Js嘪q# Ex 5s>MT _|h]U(/C/ot科 >yE$ c+Z{ӿH S~\ҩjՋ,|Nk?ȓcw,޳(ZZPY|p q&_+#b\96FPBM-ro&'YI8P7 Vǂ|1$rRV!Y(WY,Ʋ^lQtsT#KPdB;9]a/ItWL|[2֟= MmPH+L)ƥZGLSἿNA_赓Z%ƞcM fI2 %Q;n y %\byڵcZnf>c7eDswE2񽿝M?8=M'*ɰm9rO!X%gNFMG%6ѡB_LFqm(Zl oHb#5;v4sYB2l N헵q c& 4~0I'bǠ]C%j(D8me5?lԩ~d'$ ˴3ܗ-Ze>8*A?m斠WjJsl{m3(\UdOYZPzHd(3~fJt(*Xx-LBD f|ah-B3h \R P,< XRJ~|2bf`YTձP;򤗁 j\6o+ u5XMi!xo%p0rYU :R֡ӁD纂"TgI2j+y oSJ:3|7κA#H(V,O _0Qb*T5X0߬ @T٭ىڠzI8\8{#?q.٦S uxsZ~ eTjG:|ZP&9e킲9>?^.Wy<(+TP"ǍؕZgX0ȬsnsʙMWGz^Hq9/ܒ318d` rhQ=l&V/#b>;YȱUDzHex'(sE*70RKYh.Ԝ_*\zF0:#w{bbjdt>W{LGh#9P bf y(͂Py͹e|+>[4hCsL^TY?o/enF"UfP5G182xntWxJT:~R7]O5h")R_e+NǤͮiI] eAu>y5SPn>_!|Y 'D?ΜT,7L𿔖ډa qPÅf vz+@VtBQN#E; 6yԕٲGظ'dPD-:ǰC/ٍ$n봆d!C(] S~&3:':$Bd UOPq[TPфTRqUC Szdl%L75:YqBߕ# UMң O4ڢ,KOtMu[~ƫ6cKC%6v-ހv78G6&oINXW7搂)}L򢢻Qs3堻/&6Ve18{gKbZ-GJl:ZGW#+a.Q|{Ci#Ȏv7ŏlou Q64S OScy`;*̸L#=:PapR}jY}Y ]4i R}L@W6{Q:57Bj5O4pRp’36HWág'΅W:!)G=y@c#Y5Y8MQg^U>$rT"kbͷ [bR{B䅶d+uCt3NС -o*wߕ8xn"dd;Cf=WfLi>D_;g]st tL Z҆]bPO5 4:~ӷy2C$IQ|pKI;¸ߐւ}㰘k%EI(WK4GH"X_qQd*8`{+pC5?O]2|54oT3S˂CM^R&~{L0vh%,[o!]7[GAP C$=&FV_H-4{l+V, Ghߔisyv.|g6`xKЧ|Ps)NrPֈ UA<|w7xG䭴#Ozw;Jጽ Mn=Ȟ< iˉ$hD1R ՐM'F|q>y -@-;W]f & ١:k= <+gڥM̒UzP*Y,<3>!暓[)X&6/]tZrEĵTdHM,V_.?7YEykBXQ=ncm~JU!@Pƪݲ%cEM.ǼtZ 7 Y$^(n3w'- pNNdx(C"4B ṢIӪGM1zyz۩"gkK9Te5*2L,%o#l1`PrI0( e7).e$iO9vm4λ`@9RXM02{'h5 o|HcOjbM qYl }[*J̢)b)b2`shBۍLßC\@q\"\5"r=S|),!S?Zyih굪MTH!LFe==#y$ w3h0,~=cǠlzbDZ̚ևKƿpG}WqPV8`(p|a?RnDO5,84!CU_&ᙔQyqKZ:4%4޻A%4O!aNLBnbߤ?ԧk=ߐ; J(8$EXG-Ul=M]2hs븴oJX:_Cq'GdQ9$ 5Q6j\XoXYE9 "M8t+kAמO\#AL:(e֠>K{1٪͛3\3eXo%Rsr}b,xR̪ '16[H{9TsYbm;xSkq0.k) j,>4kW^N" RzGCzbcv< h.Np0}sJse?{ D-%DeT;yýo?Х+qG9Dڃv^>ΛLx})H-d N^=ߜZ;5v2cz}>P~3Hį< quw.~n.SM*3v&MBN>, 㛃Tcm#I(ŋL]P2E'o」;G!'hADjY' ~O @%:OLK%8wR'Mc@_A`-ǶmYޚ\~xL{@dn8&0W"=üؽM=#OdVJY2g@hO&(mfGRR] *0j$8#=g"<$Pk}idoO$?T.̦3j4{ m73cJ/mRB_)`53VI!. +iI Wܽ^aͬMm.c'wI0c<˙Z~!xn7W)^ l1RYv>RDeieM)B-Ϝ"|m,!l>$2-~> fd,\9$? $cK=0CR+wЅaCO dǷK=d4ڔ V?hLo٬)#_>ˎ~Tg•*7Z0BPU;ḛсhnb U/ro~G7%7Ll*7Đ ݖ?TYS6&4O(>GZ~01OMu']=>{Liʉ M^mOsmr?Iw3o(dˈpΎwynH'@KCu:a}65Aq u=7"5)<ðdf '`ݴxH18u)ЁSGr>nd ';A1_m\d%7>Z[,>K@A3$Y3ӣ9xZtaA[\dͥ螻 QW Yj&%b83 <0sfRwhd).<ʒOU4Mmmnp\p]JamMGCްN~n!m97efMك;kc-_tx l8OW`J?bC~k|f 2{#`E_l\DQQ"T1Pq2D( ͟]HYأj $6M.F%! i MKu]~@Kv65@_3/;Ⱥy6Ă@f};qz6 g Dz'M@ >T_+h5dax<}_6b"h|fuuyj"I fdk MsT ,>ۼaj{?~2z)M)7~3屠vҗ74;fnwד!6O|Иhfޕ]?f"]I03=WPu&Db/ .hN#4?hF}lԴ/hs2 qLʦvqLuHuB|7_KI'~:oS,qcEd"{~ENrCXԔjմv l;Y4AH)(r6Cn&T^1EЛ2MTnJഞ#H}A4KB+fb"F6@^ Z9Q"YŽW * V B\]o2_{Lis5~%MQԷ^4Wuyq)j~*F&-7vZ D֫ `e5x '5Ӌ[fIޡ1w5XNف)$(hF&g70NI*ٕ.GT4j]$Ԍ*sб?b5M AY$O^J9+s2^g%-uv&G~+;떉/ob$3 ጀڒb8(dUAR۠b;،FZ'Ӈ:;y7FWC3B‚GeZJI8 J>=$*F_ ^ZR.($U;VbL8Pv(îtOMx\[>%mGOci}3bgi_oD] 9j@g=y"w~s>o} \~ayB#X>M#,ѩ}4o%1}iPf_AHY;_ o)4Vں;Ԝzubj0"z|fd&GԻ_}y6uK1q ~pȕiK={NiU 2s@zvX>ZDڊDʡuDUH?1X| ?`qb1)(=;|0xW/LAT^ĆKulRP7SlC,OL9P)?yKMK;!휙N:+$RJK$cuapFK俣\4w=%21Iebr[VƸcӍ>glt5q' nUi+dH"ݦsv&R8Zy].t¿o!G*6ZLz$.&,ij1dž9] 3w*QAdVs[hwfq _K rš;rIujemҾ+îQ~ 8ۿY˜'s.ʋ˶-{N/Ynƾ/_&׹LvD@=Q?"E1ˬff)1<eIN9B8TbltK;pkE-T4Z)CJ,Si۳j*4֋R .y(?D,+2zbeݛ ОO}=XMJhnR]bqp[' #8FToyd G~h+dčtUG Rqn!PJCR셏k>pݜSP)G-wt}||ǯ/S5ߚL\~R 1_puR+܌A9)_ȉFiU|oyGѩAM]j4+tJ| 銚?Vm "'qpJ KҏRǭ^QQ6yH@bX5#*DloN~zck&Yddoh U{}<(:!*6iZ.# NKB?4i(f1GRߣ~"ݼ)8@ۘx>qQ #wwQ& Zo^"%%RCXYsTF+UG0 cZ9=LVKEj+rK`QÄ" ))Sf̣Riy05-oʊt M|;bċz0֒1VL\[vӋ5ɃX=z&$Jw Gk:{&Qiώ++yec IvN+ >t2T@6c @#eq~syݹ[j|tso>+1y)qShc"ٕjI q>z/|E ιAt=fv,Χ?OEAx@|]YJ^ߒsR}ϪNjSd͓EV{@@!L]EB3+tPPƗC"$r:_ sM|Np P 9O% Locally-Nameless-SigmaLocally-Nameless-Sigma.TypedSigmadocument.tex7zXZִF! MA]A-MՋhvG"uIBm5u xZѹGF^Ly6sHX)kR+xsK檺U( 8p‰2Rk0_؜Q37+?5Ko5Ln밻~l㋥ZLVH>#K5uTAdp_'ފMoyr WH0ـΓH0RhGF5'M?b2ѻ2dm;b͘h`5 !) d+S6t_UU}mQ oe[oY:o6Gwvt?@z2|˜FDL4kpWURYYL2na$TFkoEv?s.KoQPhʣħ+-k/$=ѝF.W0!gO>^Oek*wDEfkek\6sDρ z76 #A/䜖aA'ΨZ}.I&Rtmྫ˛dxQ6?`ԂU*蒩43L9ܿ[fЪH&U҅usԄ^GlYl7Șrr;r5"A7Xb_l ƩT {/67Sz&-d+z:p8vB1;N"HQV[Jg>]6HlPjG;Q=hJ_j̝I>Y䉯\vCa> Gw`_}\`h.4fK]Uر.e@J|ۼfq@Bv ͪ"s\Z٬>kRk̅m|)j%?_9_O[:{Mwa@|H@T.4n-+ۄ'lkbxmU(ZͧKR&q!%,/>t߲P" o߫߶H|{(-MxάMGZ%Nu1Nŝ?6x]j؇:4 E!ԛVV#Ai9DpƷG`D_}o,Al\ \z}yB =,~wӒL_ %_i%{CzE$z?Q.nQnk+T9x]Tʂ7i+-^I4^gشkڂYe?Ülsp RTj3!huE ':!/I7'6-n m$BW?"DQ1f{XUFDSĬIj?\ H͑eLR }IqV˧w`AM1߫I(/PRHV rw"J1Aӿ;j}(U/DΑ+|[#W-0I˻ o ^;a;g\6Kc"B͎ZX~$/  s|qcoSCi,K5SC'puz{مJ_;k:UCؚs BG2 nFf.U55Bps\6O9kJn@ na/ٶYQw1 w^C/,KEwatP0v/.Ex6J#>}G+8G߫CnJ3ZRm}ƨ4E301s_Mʮ]{{;3Yx)ۘVT=p=4V+Pp?ȋ7>Ša y`+?7Yc+>ӈ)/_,!“O ZQ<$~+rC6Rsvҙw*Z6҆p٤x3W_;fǞR3TK<pLĕ$ُ}̱@R+ OD'o_GF4,OEyv\\A 1kZWL;0C{tQ^]BF ^V_ɱ_Kv$th5 _Ҏ)DJYtomMg ߓAvPޓPƊ@羨f S!ܬ+ͣeHwI mҮ̨p>J1O֖ 2IKBEֳj:X<󸆟T; %6%X)Uɠ1'Vs3<&ݻW}FJ̏V*|le&AwuTP(S}!_ B*f鮆Y"d-z4'%AG4Zۑ@ $@_qc'LBtWCi@$&tkRRXi7H1'h;B"DJjA9Ee cH(u9 (5-))ɶa~ gӿ$;`yȦAxK#=e?͒b~+X aBڨr%Ƕ[ԓ(A[2RG:e%cEGVմfA>RK}S?2lhL[A5M6`ϓϰlQ-&f-[x_S#ga 50;/tMp ^?ޣGwRd8N@>tG{Fb<>;2 ?1C2uXXytf޵1Z'*r }$3i)qo PW-dak-plb@gc(qťbE@ߩ(x@U$w*KMc@DcPFYOҾ'W?s]OCfC${#ey>,(˅5))G.Sp(.3A}(dmd:KQTŻڋh2P tleE-S̛]$_f[%(;:R2* 2-rS AfP V+x^)UzAW.7A>97n"&k튩$=F',H 0FJxHO)(siwﶏ-R^%1˅A/M5Ny{fI괦fn8{x6 1I xiϚ6N @%M#Wݮ <% 6s^h{7oeuy00Γ?v)tS‡"+ԯPI#v▭B;\N'W*q-O۳71F_L7+%?p;S!+-y™p+B-8/+B[4b}*5NlC>-: >7aB P&KD)pW:r# *25ZW0e;;diqn!GT{eCu=ֈfˮVɼ4݈A(J)et] CqKfuy,g8`4ڮ;P|bP&Ǥ90rTFlJ܈pD,~\AǕ:wb90RJ'L29ٱyEt!*ءz\xvN}D0)릌*5>$n;h.b )LEb)dJ] e&kb27x0eMCDnA#qWQ̢|iuĔ-Ώfwظ[Řhܞx}iQ9 Mq)FGXJ:s5Q:K_>a͛BU[G!(5&d 3Rm=K6"ֳ~]uis~*L5с[H)$_{¹°xIrz ЃeV-┿M*ŤW6ӬC▿lh6PyxiP^.{ FM8"f5?$H)ʺ?FhB,!0Vd ;ŋ'2YY}AwѫAB1P1a3CF|B,֐tJTJJVa( 6S/jU/c9koypR˪%*|(ͧ8\JhnG2s<ҊXR{2c ;fr2F~az#M'.1Ot_65H霞Ӆ ?Ye Yi]} p.8N2#2I@ӈL.Eה 梟Ը̆;re?WD2fGJ~\-j_d?G.v%l\M"& @xŻFpc^]nOoEوyPԾ.R:XXd|`E>TK̀ $N֢YÐ NG1!vєP1 u%1?f_%I͆E`_ =2lCSLJ2<`/t Ĵz@ W`e:\,Y,2nP kMqⶰkS4::UL9+j!Yկ%}?Ƕ?L@eP8`iF#[(|\U(xX%rٰ8Tt xr ^[pa+lgw?<]Z܃Ev`?&#q:u#i xIe 1Jz08 j-)V?Pޤi8y3(fY+P 6.}=.b4>Z^;@ׯPC7» g8c3ޙF!m֯.PdоU9:JUq鍙bDX1ey"95ppfG Ł^' v> zɬԍ̮˄hu9pc;(iρXGT-(Ro3{ ~qJ \'ђ#f Kf@ 'yE5-+^I}2ѕȨ=y+!o3Eđ]tq **A m2#lQsՏ>ʝ-tȊ1h ܢ}adM4 'D|IV0s[=wq6 s aytw;9ySV$B'#sXj vʡ9ꌋXg-lCP$0jP1BH҂ԛ+`N{hս#S>]E+,FP̰ Ɖzkdp s5YkC 6x0ZȄdBy'!뙼sƜ{TՌf.e/,:S lQB7ȻcKRa/#˚)Wˌ(8ؼ4I˕b$JOce&DHO05 \|^䱏~iΗ.naAXY8W9}>οPGSZp$̉hMAqG eE. ] gSjq]|p+b Exlgӝnku>p.(C'z˹،>! -da EΤ'iK#dGeXS8r1z42l9G9D85*C⒡P4oae:]3 O+$؀8J1LK9 \7yҷB(ѣ4L?8{`:ƹ%h,a;o@.4@-R&|x[[Rx ͚pD9Z#\֣qTCLP>&}ݶu ίlg I9mhl S̰*Ϙ 661fs?!M"Zn5£>4ݘ.q\Pۡ BTnP)r_/x֜@S{vΦp'Zk\DK"t3"Q't+" Am9i9IK?ހdoA ڇAByIg+9 Bg "XQiD`εs,q[=v܌ښC)q%R|Ɂ$<\:B ?H We3T/5$y:LmO{N^uj ˤjllC='jz4K~E&J;Ҡӝ OTի| 9-ŋ}e:s Iw?!č *X5DiV:.c.w>ANڹ_ fI|i|7*Gh;z Օ)35-*&ZX)`#o- 0Ib6ptdxMTf3nxDpY?"M؋;;J?kw &~.e$w "ç|꼼qol=숊d^Vq^\JF/v/]#YW9&p!f G\ ;p4i}I5)ws CݥڷqKn{DHTcC,҉]#\gnX5Jښ;#HZyN߭D,I{WWo6:=|H% ć#ӀQ儔6\vSgɰ R*9|AtdM5ˠCdy8ɤ2@KW?5JiV͝jH2hU^i qJ ]x # E $B\;x÷ko.onj0ԟlBٷi{Cqz8ء셚H|bx㸞Lr1ʳM*HvdY,Ȉ0sD7EV7!>sv/D^mK{=W'эO'/hpNExNq4" &l8Zɳ![Ţ6Tc@pAY xm7`" ܀x]^ }l~; 9\!}ƚRvϪ?[]%G$kV6`)+N~ Gg!ypWpnHFar M39daܶp} ݢԍ j63K UF-Pnq:ۋY2#8:O01vZc"fм "`Y_srZ+d*z 6VmS#a^#T ܝ9eck(t] &V&/4ȁ85U1W"_,7 Mj:hvGunES6ݚZYє 4 z6TU95dFMXM)Lb`Yyw{ح-ŢFMe>~McLc|s6e,R'BJ%vC>! [߼KQ\_3J 8Uj5Ŗˤl@{mӝ~Xe.PwFQ|r2 m&za8mu :W;5SƺQ3G̓2^mnQ82 MS_$v)ʶqj>׈b*QlNxyf~-EbH'ʥaiB4ZˑheZ*%S%ͷPA˷FJ<` $<;v*`wLlqu A29i溌TPy:8 ec]UXDxOU>m;O .$cKd Eiuy"(e%IN_6g|0 on*i#t@iI"T&3^;Uk]{"1~ pIbPjCx⁊}rs@ו}N Bw R D':6~ @OǷ-4fXƏ[f"T. uD|NMywTl M]t,9Z].As{Q|Q|"y9WjiΥL 2%jHIeՎΟW]XͰz*Nb,hK$z \j }ѫb)Aai1 9܇fRz/ . >Atj(b:g2cB8@~= s@NXfGxWK7 33X&L$V+r|v팀'}K>5lOYBWzNRT霣E!DX5~璉Kyup B'5Zgӽ0Uc; ]NpNŕJHd'!C?L6U"ংHLtgL277)jCcAC:Pbeuü",+ ;o|]$_P\ŗ'xu( b3%w$"J~|SYԎ쥊b ,X.I;ng|132DEV>4:nDqZuv Z[V< K%~a:GKp)2xJfQ'-ĭ*s[_"K?S5}2rdO]CR]f\7*HGtS[&&_M4fђ;h2[mvQ?{GOQ\oR\,F{h4Z|}['XL򏕨/ نu0r٫=V??OԆmZ44M]L{{ aƑ{2}?ysEKgH5Z~Z`P-IUTs`Nr+WXf(fhK}իOm=i;Dv-7W4JCo]?]8#SMS@ ;QX?[jRSM$)*ƶr^=\m*1cͷďz`OtL\@Α&V6gCi8먮8d}3~3rAXh6]ԞWu?r3ZU5]Zɐ>|]]n:Z)V |@/.4{  8Lf"s,N7oF|‡l졷iA;IevcHO~c,b-^Ju_ d~eq*\D=i 㦉<|=DHut}cƜઋfG0IW?x~J3\b\ROn~qE J%ꨆu\ƸB8BxrɾQI*ս)E2`#tgD%JcA1 9'Єҙ4ћb/#4]|3z҃N 59%7)# !|ffI{6M[=Ox\D ~ CáAk[* ~.rG&~#OAvDI:^ϻ A4`_FfX5a=@! k\)k1t,p(d:W>ոߠMӲU64piM(7cr~l @%䀞ˇ_G-H}XF6XIoq')Í3G *\#J1zw8hg@jPKG5+a֔|k(Ku9$4" *XhE%lyFZC_"UnI[AE#sݡ›e> Ev)3BO6~ByUbɒcNk*sEx2yuO"凫<ʳFRr yU'C8΄BUt]/ىہ:0Ils~&y^_'\9κ06PfguZ=T~K;.N^>!4Z,TsɳlKQф Tm (grfٷ&:̉ɖfyk،rZilW-qy0uy/q Z_j=ܩ?Q#T9gtd TԜd}spcɂB5B!FHk̃MZ*Z 1? F@"Fma+/%ON;/02Y޼I+!\gKU(Shg'S%'Am4W&i[DPzmd+<^֗| UWC:7bni#?5E^-?1 g^Q20l]i.|<ø,:}-zV}߈M!](囻Okq#oj 0yUQm6;zDDarr7"*m36Ik$m*s6q>1‹B@vL !^pz˶ˍ؄qB 4,%m 6_[Yg赬~uٰW߷ٳ#"P v?C ~㇠T`k(mv۴a hBfXM"[ĭ{jl acZ߾~Єd4!Z$]?b*6 y)yr">Oh%lF5 p8v,!pgޟrķmoDU&J6׳$[ qZ{'Ȝ?!M/f{.-žDNs;CXuDCChѣShZcxq-6\7CT?"}+̎{h*Hu}(IzN7x#9 La|Z=C?15}o:ʈY)GL$w9<zlFHGE+u4(y+eʨᇆAP$H5ɻkS0'Lq2'MNRK$+) Ɉ+=˛ʰU៕e\mnf0<ԡW'@PQyܫr+{t#dZ֡]Z]nA`ƥ{m#Ȣjiz+vlG)a SKQtZ>{ 9.KEr@vZ[5a#Rf{pRZ-l`I8Y7q4_YVLv19]|DN*u(=_^QM1jU&p}Ӗ7$$ E9ԗ=pT!rN!,XXfQaw<Ε97͖.xD-_xhwNW;0qdg 9B B>z+Q,u|tƞtn ֟z(FF[9a؆4,6PjO>"l0 9yɯ'b_BږHKOY4'r˯ӟޔR'qDl5[YSk 1UhXLթDD2F8㛡0!+eUkȭ!bFwU2D~j)ּ(;^5 X^m.ooRÔx($PuRGJ++P,%xo ,dw;1֍w'Mn =6}63ȎX 13j4ӷ; 4`?XncJh2E#T"'LHc,huA@u|evfJn}"Œ@k(7bǬ 3dn[SG!s! y1ZERWdi:;R'R)mit-L"\ܖ +Qr b v oGyxtY݃0X0ķuNY yԢV?5L?nqe 0`ߔ",#Po^)n?a=I! _Ȃ–XN|%"K:w幅"i?ewQC#z.3ʦJ2w_ҔP%~Yy V>ݡһ(OٽhtA1mDQq750ϳڼbEZ3 C\qkQ?ՠ5M~G?n`@.IFcڡ):㗫.DV ~S&I-1/6?XFOO2K)z.N˜ʷ%vZ&s62 y2"%Yo?HNur8G)^H7F zz9G% Locally-Nameless-SigmaHOL-Proofs-Lambda.Commutationdocument.tex7zXZִF! ീ]A-MՋhvG"uIBm5XB4\d)ij2S8l@}MJ4bX0`WGܾyyqh! ᰐǻ&LeJa Kmuf pQ e fK>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(n{* &03.rȴ=N2>>Ɩi-Z5]cjDFZ,bJQqBT`ʠM̦ lsS.00Kf_t!73~Mhws"p(DS,mCU`xZF݃ Gmh,15u_@b{+ py{~ASV&+ySM&3gQ' +5nQߩ J#;"ؐ25*߀$^E[K`dsC`ͩCb YMbP3w\=a+FcQ*=*DZA6}x\|fxwbPΐ,'ӡcC*tV|*1YcO1[JwU˄& }đVz`,PrW% .5(E,r,ߚ2 ́h2*q#VIiٶILWrŌ"gEŃ]k%wo3 %hڤ P cV:D ߏůS>Vb53nţ{Bkǝ0~+!ELVhZSy_zo=PUp}yֲh .eqL8F*-0z[H''f3ÿzx;|+%c/mN0ǮdnjC2s둄s! e(V,=К"+ߤI'h+f[čx nb,M.MDdkgN1[UJ)&WݮH'M!~ \ li V^7r҂ Y"¦mt>XK;y.{P> ^lSY7Edbʱ Z/8j* Dvܱ!8Z>s_>&^qVeNq/O9st$ݔM6k 3ex0StVJX'w)mxmټEVF9o$FQ$[7PUaDzʅc?0:ZFNs[wxHpn9t OFg!6H4@afa\\5:r#VnD/SjL2S{|c"  X =$H lHYF oG/ F<n9f'eAuxb9g%w2! R\kcW #qo(HĎo(Hm5ON aPQ֐-o?>-lu!1+=?fv!x2Ů+^_ '͓?XܩW? ȷ0h`sL!)U7m@| #rQdX73*5_h"Ǧ}tOWǛ%fM]#bXp0KV]܎$C˳K]FJxố l Ě{ 3|1jm?3`TP?mg>F |L]8(@;B$wa[D ǚzVB^@9*~vOL/~nqmf{(\e)7eWC.Jmw\S߃`ӹ='V/abY*+Ŷmd[T|N(:6R T7DqbT=PZ /SJgYZ  9g% lLocally-Nameless-SigmaLocally-Nameless-Sigma.Locally_Nameless_Sigmadocument.tex7zXZִF! p]A-MՋhvG"uIBm5&r/F,cAQb1t Xb&2zʊQ !PFT/ W9 Ff+WOm꺕-vƥCYx8εTm]$c(}VZ9c_J};a [01xomVwa}s^%kQp@:05^4aȿό7@9 )E3ږВPcVrY, ?mnE}9#c87.{¿eMO)}05Ct7l0e!~E=fgYZ AA<9I% tLocally-Nameless-SigmaLocally-Nameless-Sigma.ListPredocument.tex7zXZִF! ଍1]A-MՋhvG"uIBm5grD~vvm»һ n[, .7]@G@P=p( 12c+;hy~cxoЪIUR~^80:f9ܞSss 6bnJw$l3Sż|>U>7!XkvS ^z-'ml~{Ԡ>A(mlsC+~LU jcٸ5z= qda90"e[1<耤, bYkn5y8R\DRrŌ/1,$ڜ?lH u節a'I ix[P\pe>}z }Iש^&fښXٺՙ mV4IΧ7x%QZQ#Q*m}ՍDm;_R_TEbcKa9\4Zd%`yF8״%y74lɺ8_ۮ)k.IWu`o,B?%٥HI\.OXN==Ce>4dQƀI |5hYpk$*^D]2 {#uE{+Πawe~eOaD?00ӂ7S(($7e[쑱"tH= unT`-V{)Cob|.N^GF'԰ˢF=LJ4!]0FYN>MXk:5@^yVS߷|.]8g7^H|A[M'@Sl4?דWUbO JW-ֈ8!q9b(qkЋ )~ vlջX L[vNñ?MyiL m˂Or!%g#¤ o(떞fdI˚;|{%>_>Cm| k+'Sm6^1[fMP&z34=9:Uԡ*xEw!A8S7z)PC QJ. M7 UXBxځ0eK9k\3s(CygInܦ<݆|+9/,'͠P2Q/Lt'EB;a M6Y|`^f,^Cx#x`ȢJvj,:uhfoO@mKiY{}s\z( ȳA# ZnH)TSX29h2$ŋ'SccͬJ?AT)id~Y'LM6icpԼ/}/H%ƃu](7*rYFNBK4{D0`=+z?vX)5esNvN[xɫЙsqB;cш b0 RBKC^qQ,[!1t^/9ޮ.+Xdlğ/xaSEAoGN6ŕfOׄG[9/&[:K r=U(F+ZDboRn.澥.OC]#*=z\(Bo5<i{KѱjhE5AO2ܸ׺zM$"u{NPj/΢"2//D)tC;-8ҶAdDL6D NB G,ξQiUVŸfKJ]pBɻT44> -C蘻@p6\ll9_6)9j@%*V ' *x5˰ ќ3ڭ;.W9JbƃUg!;^* -9(wdF=r[^b0|6u=[)4ƕrIEP`S^{&_~Ga Da] gYZ)^` 5U3wty;}D#i;7RX ڵ{ ߽-_q٢T)J㞆@hj[Gw:K[P1 lk,Z;TiǍiq|Uf3QKXAs)݃'<}faG:&ZbYR]l#*큌;Ec> 0,πuZ*_&< YgJ Y/ˍPaI7|fB1+k2-J(ztxU5SnH3}4yqEPtӣ^3aQj TƁ_2kqtoC_+L j!PpN,ZIIU;G/'xJ p|e}?UbiS g~UB1"u?bD *ƺFO簲*Q}(ߒ$*o"Aٍ_m[dLI\ GD7Yeuf d C/RemWfY=< p yyը3п[JEA-Jo݅X{PpXiqwPZ~%#&;czT*:Y&k ߴş_-$&P>N0(1C^/*/.x s7y\f="#67ҽvJIH{%V,%|FV[|>oboAk;Hhխ3nXC{tGʢQۙ?^`,/1Z Wِ<Rct_Oٞ{΅ʴRHxWBf8Mo||a)oDV?{0kOr`\-[hIk0pDɶ' jQ}*g̱襭dʁ$iٸ)CE+]C~7 ܩL95؊X훚lr8dAc)Sn)&,"^*|GAp+SOL $x^Spo꫊L35`|r,(ҷ6l/p/o뾎7M3̲qUytVK 7Ԕ{nzgС,>t$H.W.\(-k;MrSQqVf.Pz =~'Ӂ6qvBVI%#S S,~14bQw(\L{U|iF5,{0]QrV.)p:2t@CV6;%ʄx@Ytf NxrNA%UЄMz%->nu%gMٙ,^eZƺ4txux=3xu"r1t+ )b,VDki:S~0}yЅDS& 7e,`7_X$)6dQpAzbyδYL>ڢD}C$4 %>DX̚wqR9/DD1}gըnUish7*3< Ѵ}swK@b"lW\u3ɸJ+ru|@Ǭb5O=ʐ.65a;}Pwsy(]+}jߏxQ~Z6dͧ*2 +XwwvaO Ɣ@ چV O{RlhqtM,hau9q!o\ړOں B^Bc6+,􀐅[3Rþ2c\_\/?EB<㊍:>5 H4 ۺu*lTN}H92hU`4jH=ד2'NAUSifmOl7U.Q.ϣQB\LC_co\>zt=͚e,MX͐)JieGzos" 9{ 4+ [kr+ǘ6}jv.a;}6>h'>s!:R]H8L5d+WԠTBp+Q! TF.i er9b#UCfG?w^ZP^.Ƌ[kS֤H^.Av"i- $]YQx\=] Re~u9IzʃLZU0ذ2F!QߙS[03Fu)?[0N.$-̘dm1/r(:1 z7~uRn qC@ 1W8/Q|H+XHx >aeFŷ ? 1/id- oRYћ pU wOy!K5欌Ԡ괷ɻ~קB KbKjqw` 蛿m>jT4Y-wzVZqzSSd*G5*8q1xcKA2Ճ.;D ;WGZ$MhJr~eiE u?Gus:4rgA> :?6;)Rx۫>vnHwТJ"ef̢Sw&4ևPz0SS&7V?E(Jb&)0ck;Q,}ߣbݳp@Yk /EFZqI5p:a[Xdu?<ٿN烎Rgg1#ʓ0FC@$3qpcZjQer)5ml9I ! Bж,VG;iQzC#jmHC' h/IM[T^g[d},Md!8ߴMEb<}ԯ^e[xbJG ;X~s DdZ޹/Aak:z|877]%z`}lM7jJzГeO42;ds0Gb=VO6yjy34{رu:rU_EJ/]CQk43o*t*;Ȩ/ayr߅K,`W~8`A7՚M\2y +E;3 h~>ouG*{.L&Hb:WvxHݾRQmr`r21 3RnO9z!X$ X2RVCleFbL0e;[i7]o}zZ21GPPT>R!K*eٲt]tխ϶猑)vݧq`ZoM\I߰fh93S f˛Gk*8E XE5A,dx* ʵSeuDmGm2VҼ$@=U@C (4Sf{oA/ 4>V&KhC9](:}@oso1`I;:̮:EVY@g۠'G\X:3? ]_ä:3%HaQƆ[$kyJ2 ZS<{'@CQnx]N+:-{ 4AG$N'$=\Ayvl!{N٪e[hD(d>-%ronն]QȋK2ӜRL/{P"{ZVY|梧bmc/X(-dBeC>>6<̎D]=!NOs9ګ?U;;EF3VV{XHHXڡ?퍄bli$` k hf)P 6м&NH4.#j"3^B"xvsRim^(1(K,F)PMufi't$Uy , \gA]Q4+Vd{y' rPz--^-.$2γ&iXI*$ߔp 0Fm٢Je 'siM ۺ_xI +ڏ?lps~9acZC5~C2!Q{RDxckdCG [ԠZ~ljM^4nاo7ۢ`okaLv0|8=agu58ތՈ ʂ(h9hKFǙEؕ&w?oG8Y H4Ÿ  $YICM>i>Pa`I. *v!iѾm06;Iz2pw)ܭAO?4s ޴>r x(׃|oRSfٮ[d=;tk]Y6f1]E%t$|?C}]QťڞkY+ "Ba7<QpWAl:wPs0"}n?ho.4ch_gJ;OTrkRm95& Ք̗d:1 vƑ>z0#>%Lpِww;[/#d-wBA*0ԞӻU> R]}R,E)wUiͥ鯭MA9? ?ARcP~[H~ I{V[V̨{^]#Ox"X2t*uQ[&=H>v59}>qX| - y,0N_%$66dχ+\LFKi\:N.d<=sUj +eLF rVXP4w]twşhzǃClc#R,_0:aƨFJgRZj3"ZMؒ5NDeA2"aox a_sN…YOԜ;I# } o4Pj8ȚM´a;Xm7x+IMH_Q*0JMy^0P3j0%+t۾{[o nNl2q~--qUn|%}%#fp$L$lݝ9v sQԨʕ>ԐNX+x]EAl@$ 7 M^^NrTBCx;l|g-fS1gխTs)R9+'铧¡ƒakTU~`LyĔx+BSvO{rK"+vl`%[v&TZeGWk)%1cN?*r2jT-ѤY$2d/ Bu(j≑>enCw"'JAK? ieT2ri쮗 g\s󧹑(bXK\zavγIx0oAb륌υJN23Ws?h~)%rc|hgAV]i،NCa^@ƓMQ~}ιM:+RT,rl¹Bd^P<lrĝʳIQ2#|Ýj!`z We Sp>C]͋MF߂^;>bqjlL.2@]9S.W{nB)X)]u=AA^@p~ 3>\4LV}ΞlCLaT7 D+UI8BίO 7V"q#n*l჋ tm1%hHsgB#D:ؒ7NiaE$kUku" N@cs-S2w3>dvCs'j!@ާA =z)jfmA($j:6z qoy;a4\Yi" hJ:mTrYюLFJd_+_Ou,O#bKeڈ!kxsu05bq 3QU+/<#BSAwh'V4Bd_Xm@TUuFe}\/': W*oi* é-7cbtb~LW;5ـ eQhnln c]66 )XC WLp"4IzY쿫8ADhx!U|i>0 _Xf3ȵh i1R*z>(Eo gm0+AɟAѾdہi9ÀD-?;C7jb(c!/G >lRk]jC \Y<L^1赨 >+{-僧%U*,Hɱ2ͣ.tke{OL~kF4܎ڐ2F.84yetD٤t,!;/"2ě5й3kMDJKpڌU1ǣ5$o#;`}`91bcTev30Q\:椂>+|Z~DuY`ej WYx4expIDž9 RVدrT2q/vd.Ou,!WAmCQ>k KzkRYlgC0LeN?w0JEQGq )4A&Cl'$\zlQQ^vP@tq+^v?{Dy~!ģk?%V8 &~?q r~vݹ;'C3 =[y#LJW7t*4#bts#ϼaOm҄1xu}᳏^RwC!9 rm҅ _z/VAfj DO.i n)lN kVjFcSB6&ytB$I};HG~2ߛ4U>Z?;J1z-0P-_e!] s< jrY`Ze+lR(w喙C;֥+/vaw6@VS#ХPpr+^K/#*k,07Sl/l9śߜe7 YLVk a~²eX%GBML//0ǰ?QH=Mmb u߈uK7^>O FԐ1] Wh(1`~ݓN])C/!S+ǗX9+I0͖-7ͻODZ<۔P_}d}extPJ(Q.)poLL%'ۅWIo&uݛl^Yꐻ*1(?Y]zYΆJ-8@],)c}ܪCܴoϲ{&rۑ%t1 =F54F쫎Փ LDpk~Z"NAvS& vognoTXU" 9(~0qW?9&u?tk2r)S)R*5=)ɷ8 W+`nHi zs7^yCK"@ 'M5t[ O&愾 _$SvÕjW^yn58 SaEuZ܎ Vc>vmQ/ߩxg9Nҵpe,,eEOI"'yE~SUk[#:W^Ea[(* ?RlW6t۱`LTX*PZ{p*d8[EI;:6jUNO7xE ȊLqkeSOoY-<E)?q T0\8xMǥj'aR'#ďW'!_ Oڦ?MڍDN_gnY)G,[FPy0xjGyΦ>d5S®#W~J0o# kwڅ@UС=_H- 8բ2)wң&8B_<.XM"9DhxK*5\VkGiBݣ|NHLY&jxS;[t|ʖ?{) nBN,FT{po&M=.dDtx#i"AWSJXnkDVU% [qDo8sxKGpfƜIx $@C[ăH+U ӊ40:C>WG֨\!,k-2II)F0/̒mU 0 ̵ja`RN4Sx@UoneWI[C@GLSt1hn'8^bIK Z0'(辜d͒enUe/L)75+#P2WOQ6)H #›1^4վQD66ͽ7fD~O%[㓋 |~]KBd2-u8SBMEl(~[:I+ +Y .$BI~eTԴ RփrZ+ݖ0ta;xwqƐJڈ#T %_~Ck!z3|ѵԓ9nSs@E&XZ}l$i}D]լh]SUbiFec1eL`57K1H[Z*; mXAo+,hZGJI7]cBZJx6ʇX/] q%i6so&b(KM/#. T΃z 0t#P!$c<$=oXxfwԃji`:1eoR[kzxO탺pbxL~ _?m:O]6$)SmIߞTW\Rc䡫MG#j|ӫkVCY$蚔Dvd *fkDTc*nGkজD߻>:f5 (HuY3(.Ho&-,T;S.{@;}Nj7Ǭq/!J ٥0fۂmTp[5,$AsWZ=*#]{ H}uA>tL)NZI ei#8g^OP U`0cQi{;MXrl9dXɑ Â{^ =k0N)Z}&Eew`nK6/ߘB i믻S9!aÓ9Q򻀞y ^[Gm \a6>(f;_?C"yPZR qC _-1¼Iev84=aK\Q 2^c5[W$I &YփBVhFвӧkV]ivldb>4:v2'z8,+3HNƦO[SwFPC.s$2]|m(L;@;@d O`켫nYS)wH^Վ=+?wtt.{x~qQ9rn4tvwB)".;z/Tr(7v/ߐQr7?VRsեNɧ"w4⦗\?5pEa#Eu?_sX#ߵ\v򽭍0w@gfLP,(迩X*%:P>>ʼnN "nX[I6 #ASQt,OӼ;qkwO?w,}3ls5+_pbNtp)쎜߶noQJCy_gB}{ww0);lkopDUU+@e2u3[C 8!}Re6gsҒ-rKP?\,Q*njqZޟzaVb(́X4e)k0~嶙lNI].?mL89s"!WHZ 9κfm@p9èGƊJ2s嚋 ± ;՜yJ? 67'ƒ};g~ۙ\äieCDd]ubNT1F"-+=Jeyvh ;bJwL8_Z~d&ư_ $ 2,2K/\mgpKK"i,M1d[l 3æY{L<R:Q:8^&HWaB8a+`1.`w{_E `~j{A {?Ŗۘ'ŇR@7?נn +WP՜MKqdnb'b}"7hG AYb;Y^Fcųra:>b3`8KT qv?"ON'B/{1&en7:yzN#!SK`#cF) ٳ^`}W1\d P-W2'2$`7 f  ;~Z;H旗f9ʃ^t& e˽?7\Fi+pvsTU(֛Q5"&!_!cuFƻ/@6&:"b[[0.RJq2k""L\PMr< >a THi|-5dhDz\OO̪fY9WƣTO|K{_~GJ+/r-kD䦆{b ڑAWf߬-|ucL]i.ﶍvG>-'t< -"(9hZxL(L9~a n&'~{d yDamWxhltB#^ūG>i $X(zy Boїs9>?|Q:@!5T%J%ٛ A{OPku1&dLaYCfRe֪'r&R+@| OxٝQ2fBq7J _IOJ4C/~쏪՛B؞@74^fD3xjcQ.P #>ƈiRh?2QJ{U $m <^}iGJ m?e;艕jh+~rXp ^`OGx:|xIjO,&]KlVd+~U`q:Pcx/"@o0c=YGbbShX ܗWPG %+<}ThS萀;Z&ܜu̪)Nlk;/gΙew;,PE뢪hV&Ӝd%6xlϽ>V!|ncήLzTCb &KA~봔ܐKG!9?tX Њ ƙ- PV=2 {J*Rm7;T!bm`Rr(@#^̛tq~Mx"(v"j `_} _Ż-/ _; )|6u0zIp@>, )>F 5H9pY*b?p}j:X.Ջ{YHT7s[]e㴤 8Wr7!-ETP"iiIuuyE3>g DE[`NQF4+\ 5xLizw8nHVj,TćEu$n ,vŠjVFc@PJfڰ/N'M|.^Nu^Yѿ.9^imch'͐^nQBd>ͺph:ᦊoBhU/a欷zIֈHɢoaM _hyD,V XOk`zX֯xO[&NN-!N._iuNAxB ,6S7/cl |!QWO„$蔤yPVt5Bx:;tџC<͍*rk_xʌ'-#Kr9Cb3U=@K sFrm4'W2f[551(xK"zqrJam3BEcXB?J?M83rWW2jyd6#mNOqʋwLՎVG6F ՊW Ի$+&k t'gi9ԛUA I@ϮD!DKiğxTqgtF av,]36ͅ( Èe!3 LְȦsvᖣp3q_ &}H|y'|E%F x oZBV94Uret]pꋬGLG+L؊x}؄ H'C TT̤NRBI"G+@VOz@MQޗibrfa "24Gg+^rS=I (shZ6[l98v+gCZŻ;$x]cUmy#oh]\r3RDX=z\5poZeUZ? 6neC{$&4$<^ {zf$3;8? $I#" .t|y*`B&\0L6)]O{QL2ORIj_/FV5z+Ku夙w֮e!W"c]iy3}&:5@(X.-t:zOWjxN6L Xn@SBE/e/YqE>K A ;1OnU٨wz`fidM,|I!f?5-{D`@~#FׅA?!;Onee!ڑXSհhFh4t7HW~>!5DpÔkzU_ "mn6킩@3[V#QS=jz=-J~YmœT>c@ٞ] OWK߼P}:#mjfC lJ~ѩS{- Fpl`h}ޙoD@d:Mq0o zqþřs)%׺(:K0T˦vfŕ' UXgnԃ6ojp< QDPwSuGVб^Xt{% HzV2x 8m GH֥:běءM9 QQ~:t9D#G;"BLeHѾ,}k+dQ>*VTÆɁ5JMJ5WCD؎kN/R|M"Ҭ`+5[ ˶ }#s,Cr<6u5=H}>'ߘ&}N){fҔW0TNc]ga,0a_35ܼQ99ͻ f*F{T(`M?=$/0<,|.1H{֝(JrXB _("j>8F0~0..~$ƷfAw- ,kevv^x ~_&TCZ%GY65nk6l/)ioD﻾YI}=7bTwu.؉+Lz8u pݖ8MT($I W~R>0, x РzѰb9*qWwC7w\-(VJ6d$P%u\Y{HDis>wD~񘝀aaaY􂌏%K |˫cKr|RPrBw lp]gVq?`M;ӎC~BBNj^9QbɺN%ul4%h)><$@7%mb4C>=%Ah:t)| B#(OIc |u1%ù;(\>IAjm{\<,pӊP[*2byHb$ JU &[MS_Ru?4uorR#RO*1"o|g#DK1žnLsF_WRZvlPX({+\FiW;?_ Svd#Q׈$(mm)٥s[MIoE{^#rPg-ڃH?3Wߛ YOSuIKK߀UV@`UM.PK_HՊk'y)/J$hszO^CTWGjH` W5-s X &Űz.J8$5̨XˆE%eiNMc=C܌ O_ȝυ8puIAY_8+@(^W Pkg]lִS*&@QWoWgUU}N'"SYC]76r}# kZdM_9Vj|"u(C!>q};s;.&w gh{]Ip{ZՁ y{_h`Z+L0yg브LĀ\Zjdqsz;7TS#LDJ5 ZQDe髫T;a'Tmeov{Ty3TDO2|אlNjcs`LNnNp䭂 5UFS ;S1|DV&C@a•F6炚 <|jFػA4wϧ շ:˛IOl<&`a~\B9:#tptLKr ʦWǩxkuv^MZ!F du,Nhmr}m] Ռ :neCt@ Dl<=̏hJwl^%h6Y0Ok;RKxW h$oOXPFs#1縇 4].ֿeSe;%h ,~ )C/CWybьQ$AF1}&&zA F;3gsvIiL kOg6xӣܒfFi(nw߆/ N_-~v݌nC'OCkh9Fc^CNuU[)T#1HGQ⇤&تWpptѢ.f07 `n R^m(h8! ; ZArqiZSqf O2Dp=ý>8Fm c Tx.W'$~ t+4IhH&vаRZ}j)HEKܪ] rj>U+ԟeI5,4[qWsy5Q#l융5 4xI^Dh=KO g" =ncXD$?圼eDRf&:qZqB5e>d\#hqF b:-xxݼ=Nw>K5c8osY3$؟P;(fǖ6W:[xZQ^vTF+wsɞ0$w`Ì,WkߍTŨS'x\,@6ʃkZt$gs-J?_l=)i@Ll͆jG w|!ց8Hv*I|doH D/RuV-lZpgJ Y 3|?(p\hx"=8KȖPtUu6{{WjW/6лi6/1#tou+F:aЂ&帋^ym+mXEⶨ͝V1!ٰAZawM#8!a`1#ϧ^t"v,P$j]ME h GX i̮$(f ,i;? tLUW_ sR<.ӯ)$N!讷PrbǙf;}^tK4K?,S<>ɡx%Lzn!4$f|Q]'αqJ\=9?;@s$Cyl'OXњŸ1:[-fj?/O];kiߔpXo6C`8I/n]ϝ`h-bޠw2RcnzHU ow;>iȓ]u2гոS{٤?I 'e4o6ɫi|]h%=}x)׉Fe `TʛAZ.*򁔲(:0?(}JE9ԸdHť-0&2my*FiS B`|^ sff )$[8v"$DF[6ndȃ|cQH}|.)<$Ŋ§uv5,њDR>YwC -P~VvP%{2kYJѐe|  DN:VKL2YKVi9˰gω HsFA,*+UՐJ&%޵`j%SyrUFbf GUҜPk/+!Y:oBQ-.X%jhlF"fK3zM=4\ np I eDABK7yKb}Y|{=f̽irtKd0=d͒]9 0[p vEvU쇖x1KΚUO2jz̈pbMs(Z-e-4W40~ ՔC=O鐳lDDŽrKyUvrʼnlh@y_8(13~ J B(4m$93D ý8]%;1:-XŇXaCWȉхh]w2NMXE&|3hqǣڲ܌F,cDOB`kYO'[{}l9V e .!c=p SEG4m$%XRQhu f>tJ@/9CE=UCV G+nGFDG? d&*9:z5}-5|mbzU4\s`8pl6]@7nXR?]i>VWӓr1o6DpXWCA Cԫ].EW^ Q"kO" UiUZVUw N"l=}QsgZWaXs- JQy a~(Gp00_$|^csGS!OhO!:S@}ѯ!#_z/H=QDSEP= 5I"$YaЪzKЖ g_Id G ƟϢ(^t^fdP ojn _; Cȝ"2$bQ}R_63i{{-{.h. &oKTL c l w.ʜ`PȔ]mRZxxiͅЙe! *eh]:tgHP&.#֕it 'Z<4i (LzuHvJYӌUB$+[ 6δƊBq8Vk 96^cܪz屮gؾ G䡝ؿwL7gu֪R"*~/:7R oP>%5&(+kLxZ*2akϵɧX;zWPγFp hemdܠc:_@?S )Meϭ*޷5—UAVY KbOƶJ`& $sG0ތlI£.P} JKOM97AͻJn1zE;Z>o4d?3p]p4]Tc({_rb4\#Ļ~og-&5%ݴ>a4U pv:UH ܇R5;o~`L\|AYpvI8ȄڭEz]V n"/|6U&^ qk_Kܜִ``Z~DUb&fp~X"|c_)dg|*ǼK+PyUThjňKLGs[Ye!,pu"T:XBMP/zԖTdG]6cf$ׅNᡰjⲨ*^%5aAA$xC#)o'biҟƯnJ7'Zt4n6gI[ 1v 5eAS9Y쮪m9^u#m,7Ċ3@5I).eLKK]nMIc];99*>;jM\=/WRs_iQ;,:gMD|zHͬ3/"fF%Q\r"vo6 u'vuXYVgi%}^TP-ZM}K;@XU m|S,~F\O'yMNOICZ8> X0Z3oqHYa g]ByYލwb*儯m6L\K uvO!VtOrKEd!CdHW4QFJm3(E,8 'd' z|yR"dǺ>r'BP5<&XҚkD'O"; IYhPak>Sv$7_h#0BRH'E`4EȒc~x69_"!~v7KVkjQ;XboLiȗ! ~ˢ|@3eGu ٔ_@\JM3@8Qh16A]gQy(mj-5ICl{֕@+ܦ§gω; )Ү>ٯa{ `5qcR.R,"n)E7&̚;t. F7D=ʉ'>KnZ,ix@pY!6ׂ4ǰKԸh_ Uom NSH@܀u^/PI>0}-o{]Lo$f²@,,XC:0oyg$/c@s N*YRf39)əᲉ5>^2JLmݝ'@rbn#WJ12Ml)]|+UDw\ G'7v pLtv)u?oҝ~_nod(؀24SeݽxՁ,wh:|OA8M#L q5 mJ4eVeHg)RL+C{u-uo6oOf˺#?- mhe48_jQ 1.hV0`~z}4ԷB2z]Ks&cgMsl-΢۪D׎(MEhMQ]F]=T%{G[`ea=xǓZ7R.{'qR9 i!c()B=2ӽI2tTf"?)b=^zP!Y \ә)Q,*@oEУ۔fWЂ'bTݥ"㡐!ej?Dŝ>1XfhwK\; (*OTR>8*CyP 8oHDhyXˠ"KgF[?/$BuSiY`?md4·ldKll?($q"]R} N⋂}JpF% n{ ;]s!F2'C:XU8ʡ:r ,P }@@M ΉXSnȱ..]ԕLzוBv3IldZluxGAP E :? lR"CT+Mc-q?`]gۻ\ 6;݋XXнMtv„gi<ȖW2Iߢ!zSup3E!-ɤ l ^TMFr8]-g|jFZqPEZp`ٵkqY\zy0u< O՘%"?v=}ch8bU43MZ*) w(ܱO}io 4gC0wWRaH: o"3cVw1\Oexd T;gn醠CѥS>q\y/ak򟔰lg/+/q'mӓeC+3L v,C n˞ONs ׸(e͹)TXܢ|-q*\7#O 0°gx䨏\J\v`xҏ>8Upr6T0776DKi@Vt\HhP Ooߜ)-e|=]0W筅9e"\*‚<6۟4Kc;߀YwœZ.^HY(L\mA%_m'O5bTz0 QCJEʟ!Dg5 -}?N,u3qAx+$`oAǝ͉3op>jLfPr|Z0:Ƹ:mS>~K0,9>!R<{&Bg[·η14F^0 tϊϧGDP1I}o<)Ṅg4;V=&)-e{6%esՊr;jg[6Ԣt" 3Nd%8-K]ffZ۬>t4b/c-炅lqn vB|&;iÉ?>0-}ӓf2"Q,Ųpr٣c|sP#x@X)ߵOwaU ͐g80"o[ݨ%*x7ү6^!4eF=h0 )P9 )؁SR=T3iܭY<3$v*}4FX7w?*)ZJ h{i\fP[>. ̌w~yd@le:CDr]F&GqJ˹!h }GX׿8 kbM''v\[ ?&eҘTE;KM|ղ2X kPlEZm9YVhsVN-kCw{9UرNln9ù'j3~3.۪|bxF58Yi!NeB є&E;!'5qw#쬣$u%!<~ԗNfVfÿ*(S݀7٘_z}+$/blX%H4L]) Ziodj[:dޏ %tqp-fq<NDz}>6. 1tB) P]-dE!eu\3'ڒ% hUto B| >iG-ϩe0C?fDޢsجz8>?!p(,&Ӱ2s{2y6zXiK~]`]գcN8Ф!7Q&1X(zԬY2.f33% 0)!czJ D-fZ˛L9+b`ÓKkMEONQ14J/xA@Tvl xx]"xFMh!:ܬ)(؀RI"PYYXtp*FnB܃k%N}BߑqCg!C۞~DwN{+nY3i|/9 iM[bϘ]DR?AG$-/1]c}18'5zh ǽ<*O`_Ļ%N%q6;)3^އ&]AAsLjyrF':ZdxĹ1t?;#=oo_cZ$KcЁ׀-=`s_n=eWw< Qwϳ#Buōo5@7h[>Fk]9P.ыƌc fD&Ms #Mh8'/CxZ?b'"zڼBgBTO,6:&>a7 w["9+$=t {"'BgaL0"iXj PQ2j5j5L_U<h +WfymBRTcO4lrhn;]>=j ߩa7I"?S5H̯JHGغQM`_RP1!u0?G{ho7 d}A+Zy=pI11p3땭 =یwSnxaw>QHbѕM|5q"M'hN9* p(u{+TF+D~wEObzo1,y$,b,to ;dD= ThskI^-ns'YS=,&"YQ//n%w$-z U1Crb;."&[gLO^LAقzS6c QкG[IՁjQyY]8Z:ԨTn[;Ӿh)Ӽk _ (؄&}#(jXy_R.RJ:y7֗m,,b3F|O;y. _չ=ݛ':MmTx!\.՞ilP;Y$!3L)70\>+>0qzJX4Ds*rJ)ЧhHEf~<x\X%Xp8wJ_%F.aS`'HOA):f=ۯp ^B DcRbm=h#'hUuV(-Q-D~_4BN0,D*9ݷ+!a RdmxF ~<O_+z}̣ -Tu=\O^Rխ;i7guNw6BM'jM4BqP?Dŝ |bBw,8SN͋| ;(trWsˊ71$ZƏ?x[` 8TX;;ɵIAe'y%ѰKҴC ] b@ ;x$?;`FqINLBê]ޣ}T_wq'uCfAPS|ضO]%1;MŠ©tf\+ {6eve|[S5?kT<]-dE'`!ByǦj,x%^dIl.TtS 'lINr N~| !Opʿ cE7~`P 8;*(mp>oqН0Pw=Aq:ӊ$OuWYv+B#fSEZ`(j4uW>V*g(?ttu\#jS+ASmcfcVd. sJɴx}a)C1xFTC{bbv%JwFh%*HrCOGSZ}{IrV >?2Bp"}@*.ĖC^@ sR1Y7q3Z@ AL*"\Jni'r#Ee,k Qjfy}2HNgvSeSSEybL&~Hdnwu˜GggˎX*zONFI c_5:\es#F'BR?$8%RVwa1mm U~ jWl^~TyHA-xJ9-=/΁jɀ[E3oF.$TÍC QBk|w.X0ىEg:6ˎf>[]6?)%0ɤH s;C~{ 9ےFVhm4am'SŽ;`g`f PHýD՘ʵ -`:fQv8N'XZ~0e )*ŒNPNh|3I. _Bsa/*MJPm2N=r}spvNB1p@] y)9󋆤ِH>T"+|b C,Y>Ĕ/S\|_*fY^z /Vc^<9Aq;|@UL3 1lz_MjO#k`n|z_) JF}֬ɂ%?$Rb\`kyvyrrʗToO)o: НG܆_OэxZYt4 HAɟ y@&us9ZGLUjf3(@>>kBu447WskmĿoЫr_T鶗%qzQOnj~,V~oˋ;Y% A,d)]PŢNQf*,+[01B˖j}7@i#Yʼnt>Pi1!*l,B$ߩ' -˸ǔ}lr&\Er>9>"wEg:N ~+$5:iDbh;F x|} 鐢~Y1y lx~+NyUS[tGQe IJ1f} mo;]傸ɐH\w}aoRJh9ͶͧY^JO6c2r;Y!5V27jAfe*-B$,P|!S>4P IR'X^_x:"=gYZD ô6/9[<0 wc$'59۝x8v!쬿 _O&vO1n^maܤU+n`0L ib;K-q;GC'aoj/ohm^тKtJ]ұgYZ7zXZִF! ]ŗXiɟ } !$FXNCj߫$KԧMUny>Hu(":Eǜ$̀xyˣa܉!=|f}Vz F8(1=ó5\4[N:.2 'lhbg *DJY]tv&#JQюG7yTYD&=HZbgGLr 70"#Ge.'RGC|.8,8\=J%`a];G4[ICI.|%BY<^qi!Jm%LX0TI<A[ hKl0PH\a8Pv5T,Z06Am4mHA:9X:w *8e}.iIBbSUIdAlyIޟS q EQ8s $V~@xx3`uџ Iz2^%sr8w돬EAt_w>%$ /'fwʖ0ϫaI4=5S7GDmm]9p{ u<ӋdSXx"改(w܍WچQO,ytBwHE^PɗŪI23%nՀ&|H C]E %Dݳ@or2)B帎^췋 Z+ӲXru eW"*7'kg<>KxR)yۤJuo;[vݜ&~Ng(8:_%Zy<ͪc#=r$f̷# f8)Dzl/vĵ$W8ƺ/ٳuaC #1W!?&i!`=Zh3"s6WLɭ|X>i`sw;㐼ٙc&"E,ݬ_ ê:,.͋Z0` ؜.0 Eoۖi'u f4y<ƪR Hegh<r;4$5sU)=s4\΄'."n޻w`jTA$ 4ܳUi8Dn?!h,Q_UÛ7平Vp.5w``)z6r* 4"q0 lϹl s/߯_"Zk!د~`v?a}`>7EZC0+;azCk7p7ybHq!AӋ6l5 h:ri`+'0᧝nHvQU1iڛvX&W0n=.2Q7~#`?]bm?,GɳlSzd-{S!8+yS~lO];2̥f@q(hl 2#䏰nz>_/5uHo2 4"Qc|&:)Qh6ۚ<9i, g9sQ2RwmcƤq96;^RC 7='idQyb3Jv͆"f4ۅ|tz(ovt y.ɩd:a2Mw45Xo$hC"܍gu݀p(Үf` 4G=pr8Pg^k7Fʼn}W}x.¬$'lhХ D iԍ0D6+D2X\*|J?]J<9jߵk.U[hXu96GJ" *щO+C8|hM˿mh'daŃlf砎7ENq78ֽ )5Ϋʥp]*X1K2h_}'i8 bC Og-q}dϑm{I"ka> T A.HzRM]DO75 ٕ"[{v^XQ-*HHinN.*&FrڋY>bZW ;XC};0,m.ښJ"EeҶpBi9(uF.MAAilO[zQD)'|V4)N"z#&G"[d֔3.|'"Җ/GC=Ø%"