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  <$D ]/ OpSets:threads=2elapsed=19.418cpu=35.184gc=1.044factor=1.817zXZִF! X]ŗXf1-/6vR[$N] V:}]縅\]$g|)3keR(n{ADFCpCyKy|"Hˆ?"i_|;ʒU2͔=Ĝ+".vZ-q"Da`yu%(1WmwAn_g<|hB52BfƶFZ%b [ex&eVK0M?Z)fzV|aP0Lី:h/%9҄C(קu3aӒ+a1gYZ7zXZִF! S]ŗXiɟ@*ajmSZri* 8UXǴjk؎p!qnOTv/s.&|MSSmi~/ڠ>m_=Lt[sx%ؤ,[ iؓDžNȡgYZ7zXZִF! s]ŗXi%; dȍ[coЇlJp5#v?sk/}Q\̯prR߫(6J"=IL@jn~Vc;WO9F$kr ]03qe,&I ?2JNecD f#.3(E YK$j_VhGS[u C>-X8p0vHGQpi673U"q5Ge&@9#X+QHyDSlRb>&;nR+6״ GScum]5(wtx|'X]ra/߇wP{" u PLXKQfLh/A9SNBkwqtd )3RU]q! b⬑#Tljq HfͤAdG335D$9ΐPp;Le(pL1U7zpZjhf1mw0j/%g܇]DlGUk*gB5g"}6pF)];[n#{z-== oKmւX\eiTzT :ʹ/FZ.B~X*)坡@n@OyMJ4?dLByݿ4ZG3v 0͹/cMC<Gq`I8GBIyCA5AHH+5ŮȠ/e&T8=%&dsmw"^+D=I, HuҠb=-]y۝/ŃX=c|&o:n2&:|+Fov% o N#b /S䕕te[%'Zjv*2XKYrk%5O[qw&|06O'ᓝܱڶQWF+> `Ʉm i?[7W<; G?h k:3+>J. )Q |(Sbm!M6.M|[gQ_:^/'.1n۵Y~>/69: E_d+KY!{Lf%I37*zBXqXӒ~ҍxnPdZK ߑΈk\ &ppu@&אogi~66wf@@ͷpS6_Xk+j~ DNlߤ,GjJ/2}Fkk9qGZLp3_V*5[7 iv+pJ&SxՁ*~䛛feWabI3:xvg1&IoLEhk_ [@$a54sW^V0gBQ8p|ĊqFXyJq?-Ziݨn Jv-f+T>>s\Q}{Vbb=8LSf#T3)B_o% u&ײy.lgO fgYZ91cdac58cedb6e7d5a99022ef41da1b9e512c58f0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122   OpSets<1% ,OpSetsOpSets.Insert_Specdocument.tex7zXZִF! u8]A-MՋhvG"uIBm5gnY[2$Sꍯ=.R%fK1b=!Zmcg1nLCI(@N6{?g>^f2p@<]ۋPYR&^S1$z1٭T3ֹ2r0ٖviϖz_C:uxLti'(/\dD6[ZڼDiEKiԇpD oG2FO#㩎,^7D < + Bރu[ƸJF.jTOtD<6 vH{.*БVQmy]l"ΑuhڊW?'ckm0q"qzD*Gasxt'2Dsu}eD%)]6u KڬAj҈Z I4X~[RMX$\L4efJ?衠e.)(Ub==HK|z?C#t3:-z=%tjXɪ|1jjTw,bJ431J"R7Eۻ$}:$Ahr=騖=K;T*1d:%\UWo,qּ@L@$1+7]D$rPipw^ /&\dvm#5`@W}N-Rݍ{&K͒bp/G ot&xL@a7ɐl_sÎlI q&1;7<|vWν1aH]2;[Qw&k%|l^hrVsn47A c>;Neu(<;fRG-oă4r}w*Kmؓl @2 zUsQdN\vޔ]sds!\w4*Qpoyz)0^gS}P^m;/ ]M CZh5[|7x$lp#aC̑N#bĆK#1$KÒ$= [mKy;{!%WwkB4s3pȝ͟ў՟.Mͩ-xjNrS'B/f0FC+[t&jJQDz%.:qvݚfpu4.iV̙./!1,Z;~g_Ei]1R0Үv.D>~E9Ec~WCioQE"YƷM .ȉ`TL~c_DߦqV0 rӘI Õ ,~$GO$o݁2:͛'ɭWps0R%!wf(J|"g(Yp&߉\ɝU 1`3#:A/V_y MrTRg'AuQ%AĎvyF^8{2nw%2'as_'<䋗#"uD4 \I_Ȁ{xZ֊mI7ku96NJ4!N4fMfz IOǨ?4g4^)M+û2?+Y]ET!\jt>Q ",4l4|;! Yl6y!VhlȎ!%GmI2ȺSgT/ *kIFƀb)(Q(`]` uf =b%%]N6eq=0 "Ax$ǹ;b|t13[] lINʷLYbŒ=&[^8[Bw&pH:w܌0x:gJb~++dZ:E2 9S%8K?3p-~Dp$ Uy|zD?悃O\p XDyfY#@Mmjm钫4צ(ܮ65Q#x &9C\yT/U@hZOoZD;VKƎI14x xD<~&Zkm'Y&T8h/^,VLA"S${Mf#ⅧYkk 6KQBdrrƻ *| D,]IMm(k"-p@OOo|{l8)sGdt` h)ǿJwC@eQŨ>iG|M>a1[$]h7εS2#L2ד ՘FށKRO+0č3V*%W@kX09SƤU*N&\G>=PHڷF%M҅re܎ƗHrAi{eB(6󏆻*/q;KpgCHbi?kw: &ۭ<548 q=僯2#_b/k )ŏ6o;gMa yTM8R=|/ ߕi_Q'V4J}Aͻ ਀m#%WǤ>K!`t^G.Ym'n r^J;*X/xZ<d}6v.0R N"OB66xSyAΠD 9̥bmk&H/$kml.EZ%K^S.( ĒwR"քoZp<2U2̮aH+NmFcw|͹N*19g\ hJP!KډpI52r@,$ՀP-j\9PG#$gft1p/cBH^:YzhI$xX G˪)fO:I0&5W$_6m:aaal'tw@ߜ8wD[9 <ܥ=:$GjO໲ɬ*^Zf C[NuKI]bKV\ `Uk8 *ƭHQk[y5SսAϕD)|1 ]D*ёf}'>zDžh@'S9.."%~ /[h!1m .1ZU_ __ZF]l@\T f"oyy=8J\n N^@tWk$B4[+n0Xt! (8D>+Fhmmu-ͽuo+b;qlԯfZݞZhk?rlY["3,ܬ=T*`9gp]EG(Ye[஥/[)fZ+a1.}+3&i(+"4)m\>HkX7yM^<" zFK.?67"A*8F1;0;\u ^Lb#/Ac9҆}<dReELNhqޫ3)9Q >je-ĚպlNw_IS'_%“U, $.ߕ6;{Ro;6,`)օL䥱 BaMLEޜ^hNf~5, l8AeouPK+*6YUs9>;\\> ^0yP0 ;[d[JܨSJF6x[s:_iSV3\ZeCBaXj=F˘t[l5Dq ]=]'oTtB3йRPX8v"sM)svO(F7"X"i=]pVpk˶2wlS7vXT0㈙.;<_ؕCS$$GvnyGz' ÛLʟK0670tM$#a{e[W᥃zGs.\ "L[FTaBsflʄm#*A*٘_HCW5͏Qw@h++$3 ; E24ٲ- N\H{P[O'n_ \U~4!=QEZvRP*\f(i^2(tlP4?FdUIӷ=8rDÿAA(xp#?A GAI6ќfoBFsj57/s#ӕV7}]ⳕ]c}_-BavdW)܄5tp|ꜗ;2hec3bw֛7FC˪lHm1sDSb l2`V߁S̳;WLwb,#W'`L_(1N߸N4 PY%W}^*~aٖU,`m[ȟ ~WMrr,*Ҋ(tPÎ͜~wwJ)ڵ}L"QVqknŁ:?Ľ[Qi5=Vvy N/|2~-[qDzU\([9[G`JWi,V;qk;nU;uFM@'4g(,GUūke?99E[lㄼJE F}1d ;SyFTn(GO ?Y Rnf=hߝ4r.}P䠡m 6߲=. yMf |Y& O+J N{6OsXlMľ  Ƅ>- (D&2$ if+ζ4#@5F;/E+f\Pn[d|&\MfoM"~iw3E2͗-GQb.椀y`~Uh-OqPLO~lSk Rby%XEuwQmw4Tf ]!z °s-]MBZe*P}UJiAFYޮm>gHB6k iB}b|LT"ad@;wRDCc="zzkscpud;U-ѼOtE$hlॳty?Kai"x*X H^KPH #2OMfx$084\:B\X{mHE-: '%깆\(21\(E3r%Љ] >%ow3&'9RS~ZA~&eLX,0hp `1Y7U/1*56FsP83$DƺJ-]81Y!o)~"ubKЈb,H`wgRuO8Ɂg"G|k[݅08 DyryxhZ2$4`C! 5Ȼٽ#6cYWn֬W(!B`\i>Gְ GZ*|ygsX3PWIʦLb(@A(LG s Jmid}\"`QlBA3EvU".+]G5w,o#gUH@&DY&=^hg_}6XF$(|WK3ρ'Aަfľ I\9tDkGR1y+/O,⽸;ӭKFS"P}DB^;|hH_mVI2 [d3 [ kbƗָ kd=USm]Q/r剠lS!R\6u9ǧќ)jMs%7kvAqԊfD҅ &A"I9Q\ HW~7uW]ݸ(!V9|ċAQc!^4 ĺd}gp7Hw-zgd+ּ>KQl)h$Hۦm<1=uoRvN|0C[2 +>3^1CҠe Ρ6ԓM]K覤*H%=jxUݕ>^v*Bۿ ,ev/W?Z(&+|ECC=HP y>U"e nh7Mٚu0t}U:+.k!hY: ^e`G^~-ۗɇ ]`cjPnG 5\Y;vN& |pD-1UfW;p` LJNh;@?Lz`9xgN˺GyZ>ؓ 9p^8҅ï J+, e4>wtG20np,նhsoHz@L*pM$iD O Bs& }R }yU8-DeGQޥ?e=Rd$4r `VKj^?Ybb(ɴ Q9QXS7}R(yǓXIj6]H'p_)4 ݱ]cVkr!4> `/lgA^,Fd_TVjFjy(e=h!l&;ւu1&BsVowɀx42/ƫ ZHњwÍS!=dUha ړnzNg*%uQ8Mh88j kxSg,H/ ^?|2<I9i)}̒P WPk:2Dj6 lY wJ9[֘[x)9:JGo+,' ]EVm<ٰjN9\&gRݟ}qL$@lUviBh0|}LB,Bjg=Qx`uߤiM,n?֠UQ(Bݎa MNo/A ΢/&M~/:텊m|RTt'ck){8"\d~,};Fac+0nm 站A8}][E犚9h3dW |ZuuMf jP#9T }7xrOnO@Gh|n&#ZJ$v_+Vkr^Y0Ԍ6KM>yۘ=:w.7 {X+5_]ƞ65G Mz>IDv6_7sH¤5YIr˙QnL3(]Kʰ$e@-d6niJ 仈3 /%sf b֭/TkV-׊Rw}@4 _q/=>%:8GaEˇJnlA^̾iG>_p:^܂2Efepa))?+[ϱ8*7q}}jKn/ 8i ,s=bfoе7($$ >`ʟ"x~JdeP;PCSD@+jYMR`^0Vq{]'0B1dX%Țh UaI׉X3k3Z@Zt%(T#6==˲dg0F_?gJ NI~%mZ/1 Ȃ?p2%^zxdBx9 sa:3^bWyjCJkA :ۺQ[tQ套,B_ߓN!)wK?F'/ddY W z ]+;&3{ͅ nO57w~&܉YȜ !qfKFg?1;0=_/:Zh;QI:9Dv{Ҽ\=D<(Z@)`_H@Wj]1z L&d~6FiEU]Ox|#6u> $v߆y0xN‚Od̟B]B3A'Ê+(ʒ;f#~Z)ϓ@dxx8쥨Kt`NZ"6DŽ}ɎWe#O\1 C`޹mscvCMiOW?nA&Sխ$҇|ՔJ㢐`݄=ŘT Oxaʎ2a6)Qϭ7َ?Ս|rUuHyQs( WO%fm"?]7CXcLa\p6khd'TreMo@ _t]!웉E"G65:~2nE$+\&r&8$@k}7ay&wЁXmHHdlgUzJe la玛 r,l4ԓ|x]-t_ڴkeG q@.M y+h'ͼby+ILo{`wf5P=Er#Z73̘hO],~;n4@ H=oo#`0![YcH[-)OZ5Frfqْse/)$z-d >!⠕yz;rĹ!ӶUPw'0DRӴz [Ң[PZH2su8˒t{<#,~:7FCkMo˥']n ǜrjV LMO8!9V1H\hkWS')P1uEUpw}^{43 CBg2 "DS?-C(- g}uUcfh;RNr/۠t,O quL3ӗ`ɾ}r_xOjfd}4-6g'h.QOR+֚;a ӧNucȣuvB2K{NvsɈ][;%H (]?[yjY%~dBbhj+׾ߍ{gfP 5,̇%_p?x: >{V>ob|:ƔI`6+RIA̋˟%Owz*{*:!ܮs5a7CG>WP5[{ d=V'zeիa&/cԄ]ii>B1%[ne:7X&s-ޫIڏ ܼ̃LM[ӂ\-5ѝTn3XPr01-!eSX"bA1c'0GDgq1Ť,qYsfYI"0"t_S1jԚ'm%ԥvIKsйYfRQ]dLMzv ,E5j;^5 } Aql-hM3dt$Y 'X|Va O,LJe;''~&ۗ-FefL*jMXϷ~P?7Lqs5@jk=Ce.aDh[ B.i1J4Uv_dkd,ʌ|E*!1*Z'F28&iq)5AVmG_+Pn܊-P$.B:P,ڄ3c-+хwס.\"_ܜՒ΅a&ovҗƃmNwY_)Uɱl8B& IljFFYb3HeFLO˵4p1&ee ,}]" oS=A˝`AIwm`u0xCOotQCIa!IިD_nIJBC3F J{<9ws~Yi\˱cIj7d;s3=eeGEMsH jUJyi,HS74M x"a 5k)'#W$;hsfyW.2'ƪ6Dck4&sE$,\JvܳRbLsFbY+3Yyq&7hT7[^6A?#?czzto#L<ѧs02XUf 룡"6y Oy$9%ņ`6uُ }<]3EORk,ՃKl>x[F԰+μwJ*1g|Ȕ+e5xf>̝&AsH~WdEH}oOBLmֶ:7R݄9ѾDwseOz|/}nainG_b$-洈.Z|D/򣢏%D*⟖ Жm=@}x@5C1*:l2a\gZ#shg2)+uv!~zv@ư 7d'yUr0m+gQ׷$K;=m"l XFv1\D\YShLrKsGt,{JB}.Juj"Ţpuvo$)25HgWPdE/ EE|l9AbUE3d hkst?#?*W5%n2CPm1Zȗ8=b&'F]V=>}G60,éhE<6[?xI}ڢ?}BZ3u] ՋF^S63 շN* vr}4.εg =ޅ((-H.4@J;ԲOkԸS=2x!+cCN;@F;r*HC%nnѪ>H'EX>Y/ah?2>H]zWjQk 2" E%ZHVzȦTvgK ,^/JzܼͿiC ޏ."p5lĀdq+;`4ċaѼrBugK BH;@ܾw{`"⵬co>oÙjK5mҁt?+{增#+?i ~{GyNPE ˦'(07 bܧ9[p@Ei&IFN0Il3UH$=b5^ ;^pv%;h}[YʵkN `N~3ρkNlj%+z=8 gc{S30͜Oa~lbX\IE*&t@"1fb*+[3t5K5Ƶ/XWc @ RK;ȉGb-eexM9]@n91GGm_Cw~ꓗNQ J<↎64(IwɲKUCAS>n=,`y,wIƷK'aL0 縙fb:UB%m SRD$v}^^z10& {] %A&}Sd?Fï7MU#?~cH9 #xY@tT9A0)Z.Il2(Yq\y]^KI՛n[7X_>mx@ :'c]ZR(y^0 uqSz[0-Hy.W#>V iΨ*|$-އA8' [Z,r|`GS𤀨tlvJ{<:}_51z-lwCR>+C_?lZ&˓W ^D@ LY5LKX9R )l_ʘ+VE XK}aĝU4$b[jI-t1p'lbS6b;2(l(R'tL4?1͠:S_~ A)x~+a iHhR8O-jSvBDTdCԃeSf;BG-V8(U@OWԑ͕~'e 枊tHcy6ּ@K[ uCSa6>B ,&V< o]o t$q/N1_mmOyU-dMR"L=/uGBfB:a^=(% xeFj_Bs0/LT4wn&h+kD @>P)m"H4DO)lbVgn>:Н@ *{irRg)b'"#8C7If΂+6$Lz*p1ɋo;9{uq.X8hJqn>r.xImN/㱎 J{s@  \h^ Rw%Eٞd57d+6>>`:I&0η{t '(N}ýSF=4P/6l@!> {=G`Txؖ,زXp 4ɳ q@PJǐ`QFin| ?S Bf4ەE:($\}C* !Uˌrj}|4KG#T_p Q89sϨ!<~15_pU5"b?q0PdaTbDT"O!YO(H`' Sre(cmlT ޴?;&uBrƯzXMAdc[iUMUs-VX^ĎY $]yٔآz{vrFBgͨ#qJZ\TJ98eE*.cW#]2tL̒1zcɎPo\޵hE&ތö@6jd=0h#NZW:i1Bc:) gOL ˜~_``( 6BKoz4Hu'ckM& @W WޛG::[&EK,' Mxm0襏҄pS)ckD=L :ߒM!O&N`2"l5; t6xu '4=X5=Fcl\sZHN]m@e<"\yVŷ "M~UUӱ&$JrI7{U7:0%gj|5؆3KyX8m*^Cy~b 3 "T<(ۇKA*ټfhMcgEi )w6ir0 jU 1~C_މ:YRhyg|QsGS^f懑ˇyT/Ti Ш] ^a0&8FxBڼM{bjMiYA^A*As'9^ZJ z=Ҟ2:6f]g†K!D-]`FYϘ߿Ѯd!&Hfv%2P_+]QX%XGHKNXansc(3\~$;HR'I\Qym 2.C*ϝ\6͗Y@ o2Kp3@N ރJ~#^FȦW;^ tfJW$2'8k&Sj^fp-3UZe/DW8 utZjjh?ڸЉ4y C*gFľMI( @ w%pDDŽ"r3ybU|YQ+@ +DN\}Fx6;Zn 8c IMxB-S35pl:hoi9TK~̉Ua~h]Bu705U# (zu"Ic5>!-voó=_ڙ񵭜ooɱbn8&"8- a!ZĦ!Z*W><9jS cTB;̤a!i1r%^ )!2Hgᶅ>&PlfbCUU5UZVs3m֕%ndQ"O89{@vRqf'Z zTގζ.,˜U`[فY]9&u6d*&eOT ~Rnd :*M z!d͗* mGpM%GW3!jy o}zX?5>eSѠM:Cd˛,%᝔.SBbw>:c Ϛ@>ɂ'?w5 lV|o6iELmV7!lٽ&fnXrzr1j9ӯb!G g{ӧsj8.kcЀ뼸0 zSqKLa{h& 9>WoYqoBL2n 0d{%wzQ'?hӂIaP==Ԃ 6 `l"IQZ鱕d/1@zqޭTa&}#0 55Jx[cj:ɫ@3+ٮliK#h)mc/3?O[yܿrqjn拳h/$RjFYyzzAnk7rNo[Q .4cdX]oٙzzӋmW%<إJԦH!槵70V-O58U\nT6>& XBDφrNHgǵ]uqsxuxq 7jUriqVjiOIK}˰_c lߙ>Ea&d[jeB p.M%䔿Q;794G8\g*L+Eo,ǽ9y!5Uݡngߛar <\&ۙo}Ȩυ3G5 "[U1*rZ ʓQH4`(ۿ"XW|r7XRo"cu5^Lȏp$)WYKsSѽ֓Zff_Il3&{mbh7#> Y(G,QU$CpaRC^N\zL&Y:oq7J[L]Է)X[D.PB\AjPo[>94 %s壳 w DlUnCV[2\ MJA-HwrݙLM)!\a {I3n՛/9jrR1/ՈH q*|SVnh x)-Su-KpsȺTRJi ؽw :yZj̱#*x~UDG>FVpZ *D1㯻{䱡/;fi, 㐞s5+PIZ/`k)w'?[1]ȴqhoZiUpD )CLCdeF[z}rC(+ \)O` re՞uz~_JdPQ1N9?ggnMUi2]}6v{ *Fe7zx #0:+Q1- }XE'oͳD(J-ޔ?W #-`RT,R L7 Ba x9H їYeX *pfqn˧X .JѸ"r4`Y?&m4^eMɢB/0,*7cr Y.p}.cq9tT2P` x2lCnYh}p(KK M@ zȹ;͋a@̀t7gmU4L#rYK))yDBZPӫIj{Z$!N ÈD2pz& 30zD0"[>mU] C4۴&(u3<~ڽd ҷqty>+Zy4wPϲu˛nͷOQ bwr '&-1RZt>m\G;NuWo [C4WGn)_eɝ}I;ut] i${îSv.+@O+< K4'B*L IcHd ûs7k[ .Iy$(kJ₵/10m'W'ʐpE_CEhEp2T#񟁴 ǹuIg[b5,V ^e81 l[ie&Aߐ)ERCsMݒP mQ /wm]Ijw*\NH>[E9zN^38 ۔I>] bMLúA@1d۳> 0ZxmR^. ɔ氾:q4f` .Ǡ\ܥ.6A,C]ṣCN(H_KyUs@"ʂI+R0#[e OϽ/"L;aIw=5q`K&P&ś!GoBby\n_4eJ˩.K)\`i%bLoG׵7N)0/tIuDh7:% U۞mXP9L&Pkvn*Sk*J!C;Dׂ ^ncfy4e{i(9*|"`j̗w/, ц5=^%[ ]:}<O-C*M$g"Hjył\Hz& yN?#ɎU`69z~U9& #NC_uI?H%P 0|Zf: YJdN4~l!q=|ey~Fl%[R%|L0Y"gfH1=[jSq`˦ș/Vd+HŖȴ/fOw/ :;i,e'N(~ewdGY"s}Yͧ6gK?W)z)nC g`#/ʮxM`*0ῆoƶ0HRcҤP6{-x<vHg6,qXWFH@;uެ-@eXL9yK)qԤ?~20B_sJQWb)6O@0iyN vߨƥe2҈1C-I8dF,ITv#6[OE.=*j׵$(83ݫ˕Ɗ]\[yh ڈZ(RQK){ )IMBdnwE7穗:S8 )xf5:U󭕨2tQ, ?,L% I(x宎Cޮ='nZW Pch"` .V(I RfB{v,{qQzڛrmUGr%u[qٞ}\`pʐ6l7(7qiu~ Ն*̤\7L3D_ b7ɨ\3֯oՃYɃف=fz,MrP%J?|j\w9` GY̽"'F\ zYlYQ)R =“ fZc$}m)^žbȟW%ħD7fL3`叧:Ar3[yUpEl <DHUg)4=~VC@O-H0 Z쁧} K' GЀl /ԟ=iSؼ#?hZxC*>o-Up'39{^{20S _Y U4yQ!ɀ{7-$W Q"c1~OsΣM.#e}(*9-YE4t%I̴tL3i'Ìn~L(%/ 5Oܶqk)e'χ]lij&OI0`<ġw8W8\Sl66W*>)#d J+?|P@7\X~=b7ʹ cSИRJ=?SFYcpR}C༷"A6U=|.p) J6\n=Iٕ,sjՖ Jh2봪(U=DQ٠U/r܅]>KBA9 E@D\{U!qd Cdx]%:"-=`XkG)8mT aAC5.,+eэ+Iu^~jkik<7G  ΃{/i#rƛJz<6 xjkն2`Ƣ%Rb@Eke03XMc5v"6NH;)3lp1$c dx/j sWzr iJsOܱNA߄W:(lՏw/\)ٳ{~jZ%X}A84*;Ju')CD9iS6WɧD' 7Ty%R[* F"b:@1_!w`N|bn頻WbV-b${Hp$> Zq}dMnKLNL_>PhqYapAGxDT$?C[ s/=p/FEY_层7Z=,'A("Ǐޕf9/YzדȄ+[\0#l0?6pKxr'H2c%掊lpoZl]~:d pB0,ϵsNjuD3 vy.k?i*9 N(/ J_FPӇP\G:| YN?\9a ^K+">po\>Rv9p}OK4taERf0 [&nŴ͟Rc&5&p]V~gGL| YWX<MF_ٚ席Zg,:<؆JWNBw3 [$m9o gYZ <1% ,OpSetsOpSets.Insert_Specdocument.tex7zXZִF! u8]A-MՋhvG"uIBm5gnY[2$Sꍯ=.R%fK1b=!Zmcg1nLCI(@N6{?g>^f2p@<]ۋPYR&^S1$z1٭T3ֹ2r0ٖviϖz_C:uxLti'(/\dD6[ZڼDiEKiԇpD oG2FO#㩎,^7D < + Bރu[ƸJF.jTOtD<6 vH{.*БVQmy]l"ΑuhڊW?'ckm0q"qzD*Gasxt'2Dsu}eD%)]6u KڬAj҈Z I4X~[RMX$\L4efJ?衠e.)(Ub==HK|z?C#t3:-z=%tjXɪ|1jjTw,bJ431J"R7Eۻ$}:$Ahr=騖=K;T*1d:%\UWo,qּ@L@$1+7]D$rPipw^ /&\dvm#5`@W}N-Rݍ{&K͒bp/G ot&xL@a7ɐl_sÎlI q&1;7<|vWν1aH]2;[Qw&k%|l^hrVsn47A c>;Neu(<;fRG-oă4r}w*Kmؓl @2 zUsQdN\vޔ]sds!\w4*Qpoyz)0^gS}P^m;/ ]M CZh5[|7x$lp#aC̑N#bĆK#1$KÒ$= [mKy;{!%WwkB4s3pȝ͟ў՟.Mͩ-xjNrS'B/f0FC+[t&jJQDz%.:qvݚfpu4.iV̙./!1,Z;~g_Ei]1R0Үv.D>~E9Ec~WCioQE"YƷM .ȉ`TL~c_DߦqV0 rӘI Õ ,~$GO$o݁2:͛'ɭWps0R%!wf(J|"g(Yp&߉\ɝU 1`3#:A/V_y MrTRg'AuQ%AĎvyF^8{2nw%2'as_'<䋗#"uD4 \I_Ȁ{xZ֊mI7ku96NJ4!N4fMfz IOǨ?4g4^)M+û2?+Y]ET!\jt>Q ",4l4|;7]A-MՋhvG"uIBm5J4^ZWՍ:«)5 \"h YTzaa)oQЛʔd9k~!o!ngC;n#՟424 k;m's(7fwV\_Qhdf>Ҿ57[ ;p]eѱu@^3dOMkȡNFfwS2rV+ Pjk m/ۄ)mßk~R6:Dýk[*K?H.HJZcж_lFd`sP|y1+EJ/lD:o^a)k,4 1q^c p1hAKΣ.Xtd j'6Lcdzj?abLHVM"mPC˃c-ne^0[q/SW<ͺjSh%DQ"SDG[Ѝ[ɍKQ聽a'DU>#{ d>iɨx2E砊#!|߮TLU:2m`Fuz{ȃ2}叴-1=o q:1o%N_POvWl8(ROdӕ3 8ۯG [F0?]xt?'4lZ>raӬYa$޵iIͻWp]Z2)Agmy O\i8kȹ+Wap %jC73xϦ6pY,mo0a7qªk׾f<*Ue&v~eaվl.BVBե |u²vhm.h9ŪN eN^ ~j6RأЪaQ:e@g{jjqPk/2o>vkѳk\ Yp4?͗j"dEgF5BWiU`ԍFo ~#1\'(s\-F/hNtUD=։oN~[6 Gf[Z*].`@_œ%C ~[s:-KrNzF:iՠlXoB0Cqe7oY:Hu2m+}U# نW\!XU].א39}0?䨮_VTIpg6!b*Bk_WBT}a2jD# +,X#Fq׋]qԮ=zS,j;[+u1axҮ8a^ ":u|6eQ]5>vc4!Qr!DZՓ&c4ɱvC.쉓AF[=N#xO՜֓`Xz-kgPΟ~j:ZHnMx{>=njm hVp'fhڎZil `[+aPf- 8k$tM3lCMPgD[b+,%X(K&ULa$NvB6xL@/"-^K[zy"Mb~Ddܡ01%bǜ%Ữ>@gU$|͑%%Σ!29,j̲F-xeC-^浐ČmwE73+=iO4eջ22|8Wݢ׬S&+~7QX)JTX)!ZC,Ali᭓ )|} ̝l,7iFs`"841N^uq EtخTn X~$Acǯ9^Kx5 Y!5穬mZ`#.yGz#Vrm`:ncO|Sb )(E\a嵙 B I;dC<% I|X-ӕ"wUDB B4 kW: pW,lEYSa?K'x͜kTb ayb3͒!}nCCeoAhd$ g-ՍщǷ6;^ &h=.g_H#i6^n'`AT3vㇳF 6^n,kȥ[x^`J fYWi|HeQj~nro7 Fs*Ѹf\랿?}xj6fR%^#GnhyuƯu(LDc*18QZKT*Yu&s7`ƴ߮I=`":sD*d"GZϰ c ׺_k wc<xFmcsdeTCE|s%,K.2$>>Ub˂j3IW.&9Gwg]ec.Ds``K Ůr>H3@>nw38#~Id,u%IJ3:2ˡXEdN`{ CJ<Fy\Ks#DB_803*04yʪM:yKRu؄ Y +&`\ʬ7\`FJ __ij+oYz#ym>qlإyo$l=JdTL4l*8#g3R&T"P3NjEZ]#uL[&+p䗣އ,Xu-cE|GI-±-9sٱ@P˺D&/.ܶTu @ޜG2:`[V#))h= XsxEJL 6!;\R S2jqگx*blzpr.ly9ucЈt!_o&؝8$zz7 w:ʝnaǞJI?DaEʟ~u 5ퟓݙT4shsV8\֜@lW #\ +`;B.fSeFjjEXP\l26ѫ56T±g1} $$]&Q- qT*'mjG̺?Qix#ie? eV'с#0pܽDt0 ;Yi3PRK;H4.ĭ[x}/]!>0}M<0yZ8:AΘJvIB&)܂祢Ѡh^Dhp5͒hi:2I̢MFl0cF&n_6'[㬌Ң@ع{N|&H XwI1qvBl7sP F7Mkz:[Yr30+ml ֓KߣcJohɳ%/[81Zo3~\3PmK$ڿeD>F|Cؒ%dGgC/R{'}A]|bG2-ev{jSaLq*4Y 4lCp "W! )ܾM!uq߬YF"1:p9KmZ0{U+EAc'KQ4.Av,eЭaM).QF^Xc0N cť'1[y$INl\yjoΑh4+2g β\\3Yc;V-VM>Yr\9խ"C^vzT'$[4/9kS,}:c}%CȢU--G[y:r}OejqOP)M){F!ǭcee\࣓-@Mn}0٠A>A$-03ڢFoS&Ea|n s-E,F2~p8Vvcf \w"0lbva;ȅo:RLRnɨk__| !|bQGEaYmo#͞??ޠ,W` Ԩx{ _L7J>uMUQUJ3^C4 _r k Zx^ ܆uoyx8`椭[ޚ?5}F7N AL%I>Pq9(z[N+Pm#Ȓgf(oɭD/Yqik%9Z4-~ƵDhG K$̈Nȟ'TjZf$C1[C_!ʔ/@yaD"z⃍ʒa˹u\yIW<(rV#j(RrOr8@S&piJ$M8߬Uk*x]w*Y< \u1LЌ *%}Ғ91gǤplRv φ=ZT.RtBR`szR%k:*]:|5*:z*4ˁzrE$hLOE.\$jKuT]_+ *VdуKV~7^:1Ƚl1o-y'W F:<^-ʕe(`ĚđKeO\cm@VG‰Hz9vq)F[ eSٗVpnV/l; 8c'0IgG7%H%0c4gԙi[޴"ti·"Hndqbnlul椯#JDiZ0.P~be ⷚd'Tr2FMȶnԱHmEVd}+qgxj\^}BPf{0BrJMZ9q'b;TDWyN%<|:n=o}Wzg3/{:SUskB)![܇|VxPv`׉wT=#% M-O1 Tn2>y֋% nkƾbH ^x ojևϛoڈNrk@%dQǤp ٩ȆJFZ2ZV7IB)1HPW RM#J%nItJ"7(ŤNDִr.XEr]C'7=;+;Bor6Cb:v%ѝYL19?uӣM dg%<ɕ(76>(!IO(#٦*; B\) Y6y=4)/RfV9ӎ$:\%@tL#o S *AtJӉy`MP.Vw?;yʤ+< Ƞ5|w`yK~Qqxlk=3@ ێ.G$u/,_qzӉwBۇ_{l>'"C2|l㻜ѝDzaa_#;;_ءJJطEjf\7 (;@Nn]l'/ufԀNafdгj1ϊxo: x| +ڑ2KnwFdr0BP(1JB=no :Ph7Dʒ .-?>l/eTm v%]x/]CQr>JUwV1Z+Kh {J_wo⒬e?b@\T i>Ϊ*!=ϊq<^jt y AlJ IK߫pzFה" AM)tկr4+Շo*uwx:Ə0T^H/~ג5}zߖZMB'hQE/9+?+QfKVTsŮ89KE6dBGkJR-=.&;Id[VyiLt-!$H:c7#`_<)P|eLbx{cvY Ejy0<16a[02˨'fUȖP=FPV~ºj0_(wa # y!Xjj3jZ6&J<2f&x^K؃M>0y(uɞgɯE+_cR1,)Ӵs+B9IP2` *!5F.X"YַH }irt `<L;i1 |?~T^] i%qy&U~#=1挧Ҍ4-$94pt_jA>%]-GGOJ|b K}'3l #@okS<>,ßt3YSU&ЉH;ܺV4nZ71 TaZpeQ%`>Pu N> wSg}UB*ofwijᛁ17`U_O.*H2~і~t V\w\I#ӏ7V `I6Z EUh.~ ^\gN DZsFN/Z+س83S;J/ءW0}oA^bޕ t#lʈ#{Dq5[80 Wm\ZP{+Ғ)]&e7N'p5_a Ex0.vp~p-rpR! ٓE%*qRCނǖU9$OK%S&eh-NN!xhL8ƕ\\pCrn OSH0{C~y\JH'<:cq^LSnLq#jOzZАhDc;h &c- tm,hugo}{`T-jyÃ$L(KIZ"wG2VC@D[deﵷ؈m:_([* WCOJ贮BJ J KQVQ=/iSA&XWo<[éI[Uzֿ*U^CT 5ⶩivr,fsfF4 #0!na } " YeHw`KiI?|Ӯ ޗ{]x57y 3ĝSShQ$6h \o32_q/A/G:JU1-0c. Pw9NjnrAcOJg>zu(+Q2>G07ԭ' fj59TH)yNIIײ:KFb9l3Hʮ!AEvdBIĴ^s[.Q(X C5jkAOxR! `WŠ_@0 1)}6 Ҏ="~ӈ;T/Оz ;6}?u@DJR<.xyS"pK&q-֊ar4Ukp&\IjL "d^=fI?'Vl9?7u}] \{:2 Ǔ}?K@v'u~w"{m~ uGB?O3$r'@խ[tTkq-T|DUx9BWYdz X눞ue#X O5gYZ R%% dOpSetsOpSets.OpSetdocument.tex7zXZִF! y+]A-MՋhvG"uIBm5łtBb#tq#02Cu UoB1IV.N2/ hQ474b̾(IrEHf  krEpf/eT\$! $L~^¸ٕ%(6])8:lZ-U/O<vIgi0>[^fkڳ%hLb_ouS u}[iah_w3v7'"K8z"l/FIAםc/nn^edcf&"rQAzPOCtgq+6{Gzw84', (SGp&G2UhƸvoVB3U7^R=p6;Ių?ТcN %[xT|90v4U iGt㹏+ƵX5 Jun`LbDy*:<ޡn|jپ>3+eP2 drG%Ba&>q˨'Rr l%%W-dl~BAQMu H4id&*,.$ *|vs(I):<* gd}SiFp)HxWffe^K ؜?Bs>31Թ.a8ȯ`K'yaz#Wȍ'փT%yi+L e~!|K }'nH:2 k1) \yiLo  P:Nbp(4!ҍWr+a4 Xq^e=Ul}Ҕ́IףEqjO[flaK,/ zR6yaNL]7䨋Q4/a"wQ\ =%Iqu݆3AxͿ4˳Rma9jp5^梊#:!KG@/J^ğo8zV4/M9wN]xulzNE [~i[xZn.J_wlm `Ȑgq `^ ^r֒ h B%:]DrL,l_,i7ϳKG>x9Il؃[m!6˘)|a: dv-a&5u]+R)"H8ХjTOI @j/a_C 쀰~tP8~0uS<2 80]íxa'Jc/ƙ+&V^^(bGL(ɰ't F4Yl@`~Go#$@RI~ $"ثTŨ| v>ֽSb t4OLAKW(tG;\onjBE Go\QnvO4tj -TϯD3*&>vey{2yĘϾF,aVbq`5:[~>; պT7k+'| sR'qP L'*J']'j00~Y%k墳Wm^bepy!Z Rr;T^9`n ᾹpNy}۞]éۑm(ܑOIi:G߷rsWv@OBT#@F!߭4\0f_a2޻a5m;~uwv#_ݧNw ui?jJ6[Ƭ&uWHȩ%n98.yzRᖐ^O"zH&i~rw„z&wI:%L{ ~NĈUy=% 75+~ En/ů e ss_$9cZ^X'Ziŷ`Ѹ::'1xC57ɴEiFKNקȕtU^l,1 !.<ƳYIa.% y(~h(1uvU9&~y~g< @\R{s?!M]4مLggk3T-0[:k8p:1UhYRl1^  &릍#rAP)[$݄|) ?Jk}ePE'}dsqn[f_Q )Ϻnm:z$l0g̅El᩷*suuY[?85sٱ,ko.ʿ B* TubXBvU9-Fg꬘6 R^Q~^] /(d?xg%\9ޗVX')’HTc@~a")q%Mv8BrSŽw3K/քpƼ8q]K"k߭pOq*je$vo\ΎTj :jP^D{@d\u|W('ݮ6Q9ع0*7EnH:[ޔ *Ut'V=3Kǥ+IBp͌%M.O,)iž’e%-8*(=i?_2.gڙ=ƄLo j!Σ1yJ`ŝ1p?NG J~zO@2BLbE]kErhS ;'i{Ko]bhRzsB tƐKlC#b-wʾl~t*KY+bYC,&z\ʷ;DC(HZgo Rzfn6U^n#5 n.%T<3lՉ[yNͶ&qwoaV-lZ,Mt,I~&!Zj@742J\?w݇P};ZiT7F k{m݀g1'79xnàUBA,\VB@a"uon}X|#m!vbgȥT\rEi`BvDȚ>M^ٵܘ .0IN1h>CV>W7'K TI2ߜWt \>j0ߴvkU;E[ 2xƷ̻Mgi׻ct)U;05 G3Z m|HsS7\Sßcdq 5Oi5 ^D_.Jps- zd ̔ D)_<en?I!) lRkk] 砘4nYE(?FUƿؑ0~~̙LTvP{lF!%w9[bW Rpmi>Qo=H8jbc H~Dz}$&pH6I'~m"Bܻ <%}8CI=ep 5,4EZF6BKôBV)28C{Vwi7DŽd ٲYq -7 _{Yb$YFUm-ٿfKW c)t8*uХ8j=枕gj58s~1ʄN{a(pI-Dg?*HjVHFs fM  CTVDQ"ӿ=ˡnλ=6R o)1<#mIqr*;}O%tܬ[o7HS,t?HRh7;p.ӻUxX?W;~)ƒϼu>Lε epd1UYC22/>/QƏ;YX! Bh=Jgc=Sp:O%1 輏C5 jP"gNFt^zacrlyeʍ820U,7!ъmg?l\I1yh=ϑ!=?Lpv=D ~+)HBNEƛXD%Aj\4cZ^Y7Fo)E3ϧ[`Hw!/#@aF]m{ͮ\I/G\~d+N\)tb\L(P30sqeƘEFN[Hʍ{„5*q!ʳ,TUPTGLl:tV]X0˃9&FJ"E&c>tn/à;¹F` +1dCma,gU*=|J)ӶC\JHHnC裧R3|MޚRQM6o)QtZƬ. "DV0 / s4n̎b;b@p %[y`Yk.,&_4asr" ?&R: Zzv&C-4[_2{?P"OWZŭ{ {#TRњuD<< VpQUJBPb(67Z˥Ά~NQQx. * Ojnh: AwGX'8Ɋ A4KEgm wčrmI|TTK(3w({a偑/ X(q&rO>iV@X>ES>)ߔL<>@~ϵM=wp'?m vcD7#grqC$]RyDu@BUGn%TEM23낞uq+oh{ЦF B鸼O] ?gMhU""Q({ ݨ4(;\5r~D5so+ ;"Dռ0gkb$s\Zj?G$c!:8ݨiI1js/cCrl嵫n%~m,rÂƬY~?(3x'K?@%|i8@/hH Ǥ/c4/+M.cіp)턥q?~ƕrHf`c;sIJdE^GKJ$ʌ]=u)NM`|NY?Oۊ(@r2=xǟRx<$o-,ZLvp%! 2"PԚ5qs li NG{c3M=LPmxᾍDs97.HŜ7Ox{jLw*>:za[^61u'2&P 9UGlkFmw.La.R 5ޟMetr_bQ }-l#5{}W+dBPGNm] 'ʃota҆!bt M0~;1a= (K"iXVxSadoͨ] B7oxܱgYZ G!% TOpSetsOpSets.RGAdocument.tex7zXZִF! Ⴓ]A-MՋhvG"uIBm5<;̇ :6ӍJnd|79G5I #p}ҝ^0r|8w<>] 23zCKAr(uv!KTxCal*Aqo%Ivۖ9T ĘC~Ӎ[ K'Q.5Dwɞ2Zak/vd:owL;P,;-kmaGS_[yuB;}%|3W)*p@u]&=o@-̛ɐ9囱S0$W6L~[2 2[@R}5&!hؓ6r$( `h[S[{>nDJo5p E7(:eJݯ-r\j-cN2 :U*8~ aor8<8//4M)@Iv4*$@9|ɹ[BKS8ܩSK?R7}df{ty)\uCn%6( $BXE&MuH2;!!Wrԕ:W=~ذS>A=@F H&1jH/ HsyYV#65`,䔕;&}ŃRx&z6 #uqUİtlEViMގckJI^Goq;M)p_v֜j )3CEȇ KY(/է|F8ӫ6enΑO}д3!cה(ѹW47-KԌKǑhSi0Y52e HTbz3|`_怬0٣׉Nj_ja٭#7Y>P\aCWbtIh |A= ak7*a>^>ͫ3@W[rv&[?ATxS ΘpZ !-B O71{#kZgϣH83ZlbHf[.I{)e9]d_O`]~ hiCei)|\yg=k}_u}bsnk6"Nw.gJgڕ( jn*C#0`Teht!$FɹmbYx4iu/׹2 B^N~h͝%h5wf-Y$}|luꈆllqsHk}M6L<s7yCqДz%YICv[اp6}/BB6=TReA禥yJoHP{!v <<_8awox$0"xf-i|ԣqQ2PGFZ%8Ew',Y-* 7W .AzX{ h{@ TVqdpje#K78kZEQ0n(tZ!pVUc A> ; A3Ӝ#>;ߙT1 ڪτ빴d >j[>1, _*%Q4};u8~jTaZD]#tCSSǗ~,5zxj;c^DxmiU2&bp8H>MqUo{.@><5ɺ#2Lgg9C:(I.=dGφ1[!o.#;Ôm @o,z ;ldK;v|O?/OL4&NQ=__, bgycz};tszUVB_Ptm* $\o-ݢ8.IF9,l+O5J(4YE Ϙ .GևdSy)M TY7AUd~V|R73{uc%#@" NEI]{m{tNXOiBW bL]Eq}fyF1qSg}['d~h%~R jSkI,g03~+HnE8LeȦӃE9&ЦFzV%Kw$栕H 씴cDQPB:Ш,(ŏjcf/woV\G>-Iw6oQ {l4vJ@PWSk8idnJ|&(tʚK8Npq{[+g '@gV ڶ6L~/.wz]-FV*lG|=LV)kj)r摎T> z\LEc~E90p6Uw[Ss#7Ifh (B`\M'rũϮ5)J3^Fjo],GH8Ze*8#" y֛ʑMԞ :Gr*i?V yTSPk49ԊfCldi| ͱ+n*8.6Լa1\#'DY)u။aZHZtɊ?IMlEu41c6Fĥ%`VUR#߄0?XJ%.•?C RY$U0uJX9Z],{$ac"XM&}0W[e˒eB-p!uUymd?ѹbOg~U.J+Qrnțꃾ%1DvU7;×SF 08~/r;9Ggp>W+ۘw| Lå̮R;x^z W8tLWn5YEQw_4Ȓx|aFJI5S"8j[-K $7CNrzV6Iҳ:߀af}pK%&t⃏ oVP֍(U[2m)-{Zm<~6\ڮpz:a h!r_@t.B16f3*GȉJsICʚJ҉$umq0T ٶD G#w{qIfV`w KYJԥBy=V2v4P}[6U/4OS}O`f?e ${umQj3S}_bɪz򂂠kjп *x2aLYH҅׃ǕIRH[n14^Qv4 \Q xJ1;= jT]9¾"p,EL@NM R%|Q2f\Hk[qRw3fqO7a{vnX#2iUIN)&VG`QF!.XDLmA6^@ g5MG/iPnIAMXsj44$?;\J֧to}Z TVqJL꽏m,րb%}IƜ v Z'v?ulq܆O zXc]#*0,RB:O2'Ǜ~O8 ~[`e4z/.#qjz;_\WeJ/یP{MZq^BȱcKRhM c[Z5Akzoa,mZ9sߵ!6rI>8  FN&bL]R)aDdS̎ja r0vt1e0ߺR AM.2YpOJ*'l$ٶc_Mɰ4F5.f> ;.TqXl\JsBz3ș6f# &2kFdy~?ECDG; D_l_ٹEH~Z3h\wucIYsDi]PrK {pՃU\)B`[0>|68Oex~2wJwظ5\2mZӃDEd5\/m`uÌάNGxSqAA_?d0(+} qHN afhkRP;3hmx+I.xyPx[Ad>䨊7$=uu,piYAk4v v`Mĭ^ |[Ď"W߳V.qSx+<rcTG^ϖ\.& 7569eG~ha6 ̛*f׾ҦmLkUh Ŷԩ{BØ 8TDXL` 茴k*Xb;Ь_u̖;Y[Vە R( t-}L]D;׬Vգe-I施BZ݁r/䬋tS~ ߲C4nٿ{AycdZ/8φJkyGa|V6Dlti> $:z-k^eO2.*i:]׮}>-ǖ*t`G !doE\i%6<*wini ]{g}$w8'VK-R;fЗ$p1cUܪLPt0W$xmBtx35/zf4<:x'0G/ypnHCN.缀鐾m. ϓPq:&fO] fAjMސAcHNIb-_nD aV(n ݈=a> 'z,jGЬG/n>X\ ~Xl49,R54[ڭ@vi 9*g7e4NPxpja'@)2ZD%Q?p o&U$1"1O}oLjT/<ЎXs] FZh$ϗ`X{[؇UfEA]8 "jV|?{:~.wAwlF~Xex*^Ǡѱ w֬Iib(|W- 35jzz融goD/M*{xf41d侨ng!l$`X w\jBjTP݊ceZ& F6~v8 I6A.Be)Ո٪X#qw4 {b8Rs66:7X'E}*`IRGGؼ*7lNWtsAS<5.T)b,;|sHRtpaEeOq>|y&١n'lUx0k }Npp"yF?fA~S&i<G_b=FaѐC͊hKb0g̫K./yeL;Z:.2m‡A;eh#ЃW6(5.%~r*<0:bkPyЉNՉ@>S]+$&}pȒ%lجw-3\F&·2OHcH;9fe"DI%H޵եoBWA"}7(04} cqo4 >itdaV1I .7 aNΏ (ױz aӞ>޾#滦?U\PړUpL>CHd(1S k|pyCS2Ht "J TY}0jnIAuq85h۶͡ FOH(Tzhوax?F-Ǎl&dnWȻ92S3ّ,F 8ile F+pR_Ų\HGN}&=[gx G 9b/sX*T$G1' q͒O.l+;R:?PP?˩}FR\dGWw R'c90OF`)Հ) 5/{b-{ BlfL#[V|Ķvla>#])[?upD`$(V)?U# \-?hB S!('GQBnHNX;1UP/8]>(-o}D:޾Yxiipk d/0a{̇X8i7( 7M$`#|U $١ zOL1vQPHi[$ʴ0LrJj|ZbXPq"OOuRFL]DHʂG?ct1W>Cspz2 +"rJL5rJ\wZf-NZǹVmAH f&9U w[ M7ۣ}wn{Z8Y.25/RHBB2 NVKC̆A+ҫ?`0! !nqo< v8ɊO-Jk- |1Npe#eV8]4f8@qG۷ƀ3 v6<1깝 KY=iۉ";UvU?FxKvn,8pZjhB@HwُMUPgYZ -% dOpSetsOpSets.List_Specdocument.tex7zXZִF! 8*]A-MՋhvG"uIBm5gq3P`J깘h"n#wmߍ5R:u<5ko?Y"I b2T .`>F<SA$ kG)'ӗ^pzf_DK:ezpQָL .x+["nNJ{ON*'po^>16h[AMNGlrr|w#zZY"'C.2z<0Pw\#A@^OŊjlG`y"cx;#sYHB"`M6"w ^#<*xp"ޛJ.\<4 Si fS։aC)jdg~!{S# )Q/4:MmtM@Lr@:\ZlB Z_ px/(c@me֝"2ߍq.RΜo{>u swd {v|a0b<v+'ytȘȿďG"*pK'uQ87eN!0/q_rv;Q:WyWⶢI RXu5Bdo]c&H:GzRҌn1蓯N'p9#tvrKML6X%KIxȹi-/LLܒ Fΐ;^F@1^GrքPÙ;MeM8[v24ҳ䷛aQr.zWz,!bi[F~A8{ݷ =J1p f5lݭUFd8ۓ3WdwMknaSGO7TB;u,.peM[<é-@)< G9dc&pu fpPMx"kE(R~=ɚ4!3`^* A\`f~%E7+)3 m/uaK<έ_5^I];ք[3T$HΗT*?*_|iH UP"UMړJ;@`LoݻӾgzJ XW6vhPpp _ IӲ6) 4Xw>$' WaY6Ze& :?\GӴ@jXrSF8 Pi@}dhFܠ }6\h/©L.'.`ܷ6G\;mモ淜Nx%SB.4,zLل_>o34򲲔mcMjZ%=T !'b9I]GFL9q܄cne}#2Z{|h0D{ok K)Cg>7h^rF4j+\Tt<̴,.J,/#=le?3F˖)4b-Ac-w3`1F2@Yc@)UPe{NVHPwi}5'-5fJK Di0hD\ڞJNntEe9ԠNPdɖ=Cz5ޖF<x_Tʘ $wPl>$i'nN^9dҀh椼xT;loݔe~W2R+W`gg/L]QWxcN2(, 52 VѰ!wbe<.C&ݓe^..&s{<_+6xed2#PZbA`@UwRֈdX In̵t?פ,ǑŞH-PYds <,i^p"HysFB:6 aP&OPw~xu=>( &]TF4IR]b @U`:MhwZ9AEő?אw'TSgBB;P%vn I L5'GcrghzN4tDj]GRh/ze<5C;OK |\q^7_@b9O]!j0IAI1DguBpv,xӼ*"ke]%{ⰌLM^OovU:cT7ŌyWދP|I7_e Y}Ș] U._f7(4mPA,gŕX4S3YR#'t2uC9㑺w!.ߦ=]AGA; rW7E ǀ'{#`Jˀf{R_Z{ݪkzhXCCX̑6Ty Sqh+fD5$XtFzX-54#.z|{B2% L\WnI Wx-/g z3ԟN,YWeʑmnuk]oM* -tĩ(z-B0G%g6,ANø&؎e[J MKൖ L>K'#7碫H1ShDHkbEIoG6۬4 4la/DԻ9"DÃLܱg4ü9J`