SQLite format 3@ ! .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 bbz9~ph* j d `E 3Q/_O\ygJU@4"T9Ɛc>* Bi#~xZ8ar>ٲv+ w}{fn`p#nTEaixb&m} `Ji>S@V?R[!9vX`d%}?:mh,aښi$ˢ3~ .V!OS{`iiJKe5HӁxŊU!8 +rcأx.~Q) Wq6[iWc؟A:/aҲd]qbo9?`9Y9Je#xx2e}EvLyӡق}m+~U$eXsۛ:EeZ`dOEQK  p :T NFj%X/sV D4R `gTGQٷ뒳Л,`D(ӵ݈uG됱gYZ7zXZִF! Ux]ŗXi%irےt; [Z}c0l?aL>y}fd|V֎Zڒ$_+6c .4QZ79^ -t[)~4c3r o2zIxد5rvL`ndQYp Ѓy3XN2ڿ^'v/Cab$Atٛ yDRwmH 7K{;U&8Mm(ۘb ϖ{֣vt}X_J=&XR[0N@cqRڳg"e1DKhsXL=>/ΠB[ncq_DE&K«8yRCuϝ/bd989mmVo^')ޙ, Hdac5H f*)\ Ɉ.SKMK+]o \c<i!ar ,ѣJJa?@a ~\40|GK7\?BnKD4"R!Zd8|T\Hʛ]LtpCC4&Nj3j[V8*~xdX4p뙤󒜮KVgSV6f]T?R|a`%gM֯uRyؔm(s_5/C"ѵR^gHUx|)c ƒ8}YKdWQ] &)錆mE>E:S>~mSiȂ :$Fwe8 RDIM]Y5FQHŹشIMrkoz{Δ3]x=5~v2MxΪȟOh,(+@ou#4PC 9 |wX,P q6Sħsr*z9k1bߡyLl=WaOs QڹUylt9uӏU#zӂٟ!=QT\4@AO=f`kJ:)[R < 7'\0 jvl \z(2)#f윹Qyz;@K618+5m/&U-4h7֖2,] O9ZVWU;<6?o3~p~ÜkKΗ}B"St$Br2D~e#D}|NUiMuZ_Jof87KQ ўwZFK<5\m韫mêZ*]7ᬠpFRH\K. tS.8+)XFk@= A6b"e li'.EoP9,x Qz<4mcCtf~Yo*#3I|>V*޻S~;`EIW6tKi)1M ;]hUukHO$=UPvIBEAYqiQN 5[:*u5fcȡE9cfUC9–n 9APisהsIY`XZ2 lGid`{㝋Aya7i:3jAۻO|K#?k07AJѻ˝a{|3F& zC!V4S E 8A}VM(JҼѽO\8pb̽۵5 j\^H(g-Hَ:d6gIv,Q2ro2籫wZ:r.Rji<H{RPlft&^PKYeЂ{3K*|Ƭ##f@_\'>i_@../2R~-:Q\vekc]k+ak#/5vO8ђ(ʥEF摬j_Ux 9·(2q RAD_l$ഊ* &9džxlx@ZU O˪: +%;E!eƭ~. FyT1|; L L)H ߞq 7@wN,](8S2*J8hGIM,"~Z:lKQg 9 HOL-Datatype_Benchmarku9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id518N9G3 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.tex7zXZִF! ?]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEy\1Ek#9k0 uDgSI P4Bߥl`W*0h:gsB ߬jN2ea.C5+,(RmzX1 e)KEi!;6`^ɋz˄Q\* *R>JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~ I  e aF9G'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messagesD9G#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup C9G!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files I9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id H9K'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages F9K#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup E9K!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/filesK9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_idE9I#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markupD9I!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/filesJ9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_idL9G3HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.texP9K7HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.texM9I5 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument/Brackin.tex  Mkfv1_[{ĬӬW~:QMThO(x͆UaMe9uZ02c6j*@${w.Dam-%䊿x!R{x+u3ҮmQ;˚‚9Ǽ`iAJ?~Ԝ̂g"tB~z s~S1VD|dX&X'5f@5"*p#[,Z )3XWs^Z37^a+nlRVT'tЃ~3A66]+D0;&4ߋH JnvKO5"-I/2brҍ3hC+]Dr7@~uMf% 6eRp /un^1i"TZsCfؗ+Ø sYBZ<f!k(^,LuzcYb`}w /p:`a%(et[`  l^Eg,C$̅*͈S2?lYR-Ɨ !oC :Z$+YE!p41›>zHx9f1ƼCk4/S>u-ϒlaa 2ӎUa6C;@lHMLG~x1hM̱?/Pݾ,sq;Nߧ۬ rwBFi>cfDP5G7PK "gu<ӱO,"bs%ib0$ɨ@P`&?P~V9eWYg_z¨;Pxdz^Y 6fst%\MAoC}2"":[mx{wB_xQ#M %JHBĞHƙI? -Ę>%e;XvC؁ȭ]٪'[?f? 7zgM$(~xzxnEL{?\ȗN$|wCFC C.ؘF" 1/VxwS6zBB4_ACϟMJ O· QP7ɇi=p ״!: ^ lBJ$fHS#4ju$;-ٞqmS>Iz/o_FJd V\&~[iL}/Hk!.R_SէmG.4hZuy<z捑;"lB& (̈k/W}8CL sE*O0}i8A^=Y֑ͭRMQ,հ/jfu֒}?^h\ݑM{ nAsMS&3c?ʾ>g i8E |aAϷWW Mm㥏CݦpN∌7x{E"{pPuA51WvS9񢉷5:_( 10-n+螫!*DksO~»XɋQ φT0+WDhlG;`[!ѡ$Ҥx | =%tP[Rd&2h{nsyr>u.W,y0&>2^k&W͢GQ")>o Rؤ$TXQ,# R. p+`y#(R7,]L׾ yH3dWӉCرvm$ʴ4؊4]UQ /3u6f'z80SٙA(9olzڸ$UقwׯuD}L&Pul9UO}RX MdKt,ni>Qp)T bTeE"s$ K?A掊 >& z ~9#|F $ɟԣr8Y!燞 _}A+%AXZɊTt} 6bF/OXGh,|)4Fw|#_wf.\=p_cux}ҞiII4;!ҮcN7j.Uydm@K35UC&ˮfϜ܎LƯ" A:5p UvLmr9#}Zi Zg&a&>{,zr7 b6vd -I&ݦf׵VnqgYћ ]}Mֿ>cQMo>Ss@S%&jP a!_+Kַr2P"cbP$]hTٳ^uIFZ GwQV"v:6r$] }w8UímnQeX g)_FO)W2Q:;o)Y$UzTk΀h f+q VMv/$HבW}^Ӣ1 0UC8=%@w ʑ^ࡡ년cÕb)u##g+)&JN~t0,,Jʼn 6.\jafޑ"0+)ٜK5-cA1Y I lsM,L `݀s4hUO6o{Dn}uy˺p&k,rȢ?\B)\9(G˽9BӛYfH)א`/)H~[`FGd(*6P$DƓIJNTF?a N 2/( $zc~J//F~A+xCI:F[ƌר覡fm_ZPxU!s,]{i+yɸͼlr@f=O ;y}$6BK-kA2FEcb!K> ;u:, .,6B wXc 3:$MFb9 7y9`]̸p!0ЭiitɷM-~%.#^٩W*iq%NB+ciw$1سyUU {z-{3:G=ƒ۪Cz kn&#L.H (~4柲smz{φCHIuv Aޯl>T1.}b6jzF-#!ۥ=7̿726uNp#'}kpz}~2.lHh p l/ڿ=|&E3,PU:.B4JyftBءoH`:6K]ߌ M.)E$$\=o>-;;7mY2=5>l)[6L^ރ &$DCCef{D ,h)<7I,fq}^oq7KE\?~[K=FqVtU;Xr-B,ov9Orv%ygYZ,чF"umoL}A]ưqI敍XrŚ‰%SV`УCށ{LeyVhE3'yF*Cn؏rGsӛ夽:&KF$qmc'H 3"3P*2y* Yj(u+R kZrgArvW5%bk!aUӇP GF{Xܷ$56C'y bF'5h,:nXPĨՕa Q*sܢ-]!/(kH` L[Dv>:[M<[;~#mi/GeW{C\۩a*.raC1ߛS)_WPf ܗXN#<q  Q`Cw0cRgp hEhx,"eᲆN$Gׄўy ʌneH8"_{ƥ={LZ_1Pr{s,g8rSl-M;x&L Ц y=@ #$аr9s/sN'd?QPB.jja*-`ɻFHyzK*@y!utNF!Kh3%Ycyp*Е}K }IϋeTQO%H^ݼ9 flG=8M왧̙}JY,\Yx'h ÅDȌ{?h?IW;"U<@ e)!kÅ4wt'!NUіr@R5T8tQlzد^Eo˝!5XdaF1~vqJXA96jXُ>ڳ^p"U?b?܈GO:DoU|r1~KiEQACVS)t5 m=}L+22]Q%Cp)';+A̼!$z *gƇyXf\GN-f-|8 :OAp'>1`WPEEē݉W5 `q%@Gf<ٲ#)HCG_'q ]M&ݣU;?Fy# ɏ8عW[\?b[7x^NNGU;#?|ҡ@be.[#܉3O͹լy`XČmaw++|]?J.dvqS<# A I>bGGwH߶)߃7m(h࡞Bjq Jv>hBɤqn*_X ({Iy0*LJH'B5+ibkg?[*n6#1 }k2z<9><.oZ, 13C%eƊVuQG-zRA[1v+ybLaw~}0Oށ [@Uh}Go>w]N.5vN3鋀q8aΌ5};M$=jC0uT9? :(u/(`1S>Vb+;ɴ^ܪE Ptw}-[cՍ 0~x&#ϵA{KF%p;G?Qr~CQkCYPavPʢ%A+L^a_HFmjm'"i9u1ٚwEOk>mr}PrcciB])}ģ]ܲY'ȓ!2[Qy frj)+>Ixʲ.e4֖,y *Yԍȥ_^/*Kop O5-V7UrA6: A*i.ݘgTːb쌑- g=@b}Gd7D}ER^2+oV?h<>勱1rȏAg?|ymX.'7UHxjAj#vNLGO!OH1nj#X[BxQSWuc-ӟC8l(n:24`ItEwCkpZ@*"m^R%Kˆմ}*\\>kfԢ $^ܑӉp:Jf&%FFg2VAaIkMy~'?E~ܺ6`r' Tvf(Qt⸡v.g 7 y9 Syq1p4XC'pcN$Pd1ILܒ=}5_|H"H% 7~1Do:'H:vx/.Ë W*gYZ 8 -8u9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id518N9G3 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.tex7zXZִF! ?]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEy\1Ek#9k0 uDgSI P4Bߥl`W*0h:gsB ߬jN2ea.C5+,(RmzX1 e)KEi!;6`^ɋz˄Q\* *R>JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~C,C7LS'-A+f3|v=ہRƖ|%dԐeniHyq*TT8d}D]E}JR; }Zp wTB[FҥMT|s0Tx?}'*V7ǰ>m,pҊlxڡdZAm;f0#)Wey^s}rBe;SJ.&H8W:qj|Cs/ 9K# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! p]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~)R#ggvMu(xeze1rxG$[">>I?]8xxELF}]5{an+u}{r8-(u_#^xM| zAbO=D_8Ȉu) ;j/N4+65G\=b w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id5209I# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! }]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2dbºן)H ġy8@(xG~uYl%2MVQr_g.KzcPc&D`_E99Cէmh!sh85̫“mjuQNiMiu9B0c>IIj|wTe4_JU ieōЕ^ a.> /c'0wu:2t굱- vZ$b,@-W{+gˡfAY4 BD;K٨Jɀm,ԴgXV_UTMiZ  ig8guQ\{v3w|mYz&to!@ ꈃQ,qcGPk\Ȏ˯\pݵd_q,Ƞa#%TR;SIp7ŎXo`l\j6 \޹tU?m1aףTSU㭄&:=LY9 'W.ݏq3XB{a;"2Hfཐ"aImY 7~eYD }{S/ `^ξKr~la"wc}ȑ JY6G2/uv3^-44ß$-) U9( 76wp$;ͨ'u݄#j$_Gu3@qM@W ݾ(#מwۖ{L a  F }PTSb:YVkP/tҶ|d:F5O2T ^{)5al|Ȝ)r1JٙŎ֖%M梣^u4#DOT^ ,]:['ܐ\24{|~>&<, K=?!}3;aAɈ$7K/l+O18΃J|!; Y$?ЏzVx^?yݔe(bZsqB_S~&'pvnm>@XDd N xدzy7>`wPAJx| 238R%8"=^Aӗĩ/mwTnL<d1|gg 6H3j-?j0'Vasu`Ȏ(3TxqݓauL VqSfjHB}i{Cgx5O}iFp$P°jB,ԑ^;<:heu`/8_*\~.a%%(cU-&+,tæPV(vvϧq !ѴEuaPESD DSK\gYZ |F=qJMxvKw"F?I\@;>洋! oWf ڼD07~Sl(?9A+s(M,YypܡD`J,='tt =DiiSab5RWE@hGUb,,>E]!2QHc5"P=F;o ĵ7]-IɼbT tפIu#4@E JnMjB.+hNa\ q;=l|m7n}BkbA 1G6T"; M }]DnD9+َ㟑ƇlOp ϋ,nq?1 ?VUONr )^ ZN=(n苴g4ǚ61'}e&AW7ӯ8'(g)n;rQf,h N{{J(eۄBs@kpvDBEJs=xcJ=l)(/7GDbDP-%J'_Ox%|1ݸiU\qk-'Y T6u ^'_B=AB^?CU(tj4d;B恇nu^rsrVZ;\$r4jT%%#ҵzާ@xxA&G=W tW5t'Tj:Xuuv>ӜuU'R3 k?oKD) CaZ_ ?jW_ߖk~8b* R'+z 8l :l3*=}Ll1FW/~򝊨G0+X텔ޣޔWqGʗ7( Cc-MoE@a8s._'Q8)$n2:bq]x}XP/5J[yꙶR|>Ր_Q,m[Jl!u |jq} Y08nL63hLЪv >q^"ecߞF>OHckfJT$q r(w>ް|҆71_x}(a21G:@X5oFoM(cB6q$?q-y3k,rZ\Hyqrںi nLb'mŤ+Ef = xIˣ ثIWcAO+[l^’_9T"e*~ÂrmUTR'FvP@ /S"ޠ:q6ȁgPc#>G8e]aS,i o%wD]'}MU= k-,u4h,[>;;W=á2W "=6{~U"yോ! i3T);%"9YM^UCpуߖƬ_N[)YKMw@<9o| BWp4'>'09sкQBS&|.q95t ? _ ֟Ƽ6e<`ؿ]wM/IY4 ZÙMKΡzw,݅NȞV$QxP'hhU~`-1ahOϏ#MuRDK2!|Tvrpa*{eS Kƀᑩ_j׹.c\l^PZIQxv;O.2eA=G2=oKYcBtvU.b ćV\.|"q{93Ѡ?~;D\l AW.rg]U֎+V|0XN\G1䷻XY|űkc?+^Yߩg5w"1>"Uv]k%(/ t(9zr] ̷!~ij`Kcܐל s y t~a"ӽs˶DbuVnx] шe9X.޲3' %a, +w4uiegX>!cG7o;7 +Z> f 8P] \TlA*]%FFLDxS$OX _nN|2]-[G1~Pe[F覶<פNv>jC>y$/8Hv)Q6iN+OAE˕e||##u:E ȷsbzY2ZTŀm%Xi'd>]O`bs=v Ǹ3U&Oռ8dv o6b)rDtaD~Ҝ쀭x9zo)DRu̵en*MUloqa[tbw C&qZ6Hoti&]}AAjO50b~12eT`ȨQqNۚ @j;ގwBdm_Ztyew $-D/awT 0̭J2ZwɬUՙr?$2W>-!:^QCT(L$\yG{rRKsy8"Y-X~Lz^LJc rQ'͹AF6X.yFg9*Y5 EDQ('MGC^j9ܠŁ>g-A31L>:׌STHI58v`W%S)γS0˽&}EuwH’E{3oN/5KXEAGjIcW*B-dC=wu`*[`EdPfEý<=fC?w4yՠNocUd%‚eSb?ap/GLin{^pCVY3%UkG)Zwx1QIĘw+w$J(*яh鐰;f:*IP񛎛B-cM( xLeL!q..Vm? G;!/TK7C4b0ΜֶJ;2&h*m]h%k`>Ĉ՗"l)=5"FYҺ<D?ګ &,6ۑqU=0b9T*-݅R/8h/#l$_$+C/TZ> |A~yu P¥k%$ҳV8zaY|  [>i8q/uK}mT%l~59gXf} 3a 6ѨnE[@&tNb\!ub$}6&aJХ5}z,0ME Tۃ nR8Ly37P.}0`wE0$V3I#+"~r=wyjlhxb{ddk55 *1" UľTځ?7Ud?hY<{<LhtV>վ*MaJӎU=phr# OQ3m"k԰Zx x3/'!"sHƂX'|zo}z앖Aڪ݄>Zi%\#@L%=ɞ ְeB`r-̟h)o?/[GT>/^cMy 2-Ͽh"##֝>R+H˜I+VѤj y .)^d,v1멙Rճ-nvXܮvbDIw g M=R~N`ХΪm/M$>,@DZ}'y%N[iP $37ښ֛R^PcLחW/!yq0)O{ͻG)>t!xsij ]zxTےB5AFܖΧpzv ʵ+XUI/W/Va~kk,PJp Om\r1Nmve*>- V6$mg#[{Ơv&n"DH%..\+q%vt6|-Q;:[:܍ HAR U Ldȧ\+ 9YsV-:cO=R I Ԧ0WYչ{V%H]j D %zyK+F:`~Lb>JJ ghIBm,TEx%>7G3Adӊ*c A]KA;@b!`^6 %xY1L4[Ϗ8}t=䢱 c0b@ _Kl ǿy3kJH7 O:?@ loac36ۇ&3t*[8^K,QB*_@;>mf;*0GF/?f{L9 3(n߭Qg%m pxLZu_QlS(&WV#Ǻ[ұ8xK>li5/ܣ㳙tK#5OM%eY;\TV o_{/k'*]ЏP`DD=:^q3׶cH:}>Zu>[kYY$351 1fǥu#MP8oo ]4-2okzᑉ;nj_RWGn1VdڎMɚ^)ΒTe'jHZ,^45eO;>1*j#UƸvOܙ*0$pfMrOʢnzɏXֵL/n\ ,fG΁+ LJF~hF4ls&`=D}+FKU\Nܦw:h2V7,2b:7! {T`)vJ#̈́seI-'@ً$3fUGL}>, <$Fu*s+iOT#l$5*7rYmblcaK!à߹1_+۪͇ܠnorl¼GȍZqʬꨶjWxN\GU#dOx,; ?wZraN K֪З_hR}nﴗ UݫZWv/ߏIXR'>'|}V{ƇH}]g Q?Ev|ҿy;nbŖEc1F[qtP^SFv2$yOۂ1)xr]͞sO&88gЮ׬/а #1Tŧ=jcDAN&dAҮG.Ii㸑{1)@E]&Ϟ%g=tl.jVhV3a81rСȨWl eStt%?DWP3ZF"FccTٍ[~T} ls8iy0h3P}C2o]Pjv@GB =ʥ;kBjAً)s'GfdV:@k/Gq\d-Ꮀws➲-'oN9z LAX$uI#p,l(>ʿ~~2m:sǬX)upJ6`g;!wF"݅;5:CW j?NBdKrAR+pz93,iWt]%1ܧ,ې-A]o ;)$\#6;瑲A+jyMXBRN.u@*ym" : a7*F: D V!TqA;^}NGvQ Q&0nlKt~+3˭%}8yR(iس nuZLĵs6Z2LF>˛b/:ov .$F2-wnll)zx-snf>Ʈ^hN^}cO* -O,vS8LjˀO9v<5! P_mH31Q3RЛi{xFMWZJB(3 *߶TTVQka΢,ӇxS^Td#4S olB_%Qfy{lh}]K+hKonr7kzЊGjH30tP  %0>2Pc<} ¼UeUMGPoFPF1 ǵԾV$:/{mMyKUvރM"4>J7~ID;j ?a6 s8@5 ioSJbۄU[.C5CpqBvFk?D9pBl{d:{+ ;'+/1$t`ok7̟bމ:/Xvj6E,]Y$~O~UVI^N-ǰ0=mh>:všEWWOȞ[:Ծ qդJJWg|PSRFq.ߏ'&1I:`\APW- SvJ&ӴY/o=MOcr4jI$)-iTGA3,#jC-iͰ]PeNNb]H#,[8e&-Zb"ZtRxΖe_6\!zPOĊmIBe$5(xt<7~)ulSҢP &['%O[/ՌSaӟxx#qiA?9H`s ks"ey6d:s:UkM"͗tR6Fbk%y̼oNMw:#nwۧ!|{v<*\"(4ZP2z$~yOB )@{I8KNa}sV#XSiB`|kͷs(iCPl-oM.v2&9* \_a 7(+rQ 4.#}L$`Fĩv3Q8Y_ &rW *R{L/RsR ukW (] ۟/h!T{Dqg{z<n轼8ױ˾kRV/<^r=!o]U)< P@<b |=$3-[`% Ǿ|8"`YM>%? rXs8v;)ZUa^ qaK1%RCcucQLjؿaCk" 5yyØ\tJ] 6Uj)8)KZT'` %L>O^$+!w3|͛:LG\ۼl#D]VOPPtBBE FkQU钥^>t򴯖:{v=Wa'@uqkfe4h1BɄ:YJԉ \v/䆲C-~X@d!}PIHLoNzrZ>gOBq]'<1" Nҕ&49`r%P*dGA%t٭glp|< \bNY]Bʣ ;Z(S 6n ""zKZ Uc( mB&^bЌY^ZEڎkPaT+WqaKu6 BD]g-4_~׶TSܐ0#_/r I,^:F>b8>VӦ~-%ϯ.YzT3?s֩TuNcO9 wl,G- (`zrzOͰǹpt"uK,q;(&b3lu=hikƲv(Z ݨO(6 =OTYmp|GJ$m =9Y1ֆzm 7^$GXn¸6ݩő]G t}ٷY׽7 r5C뻩 HGgS|݀SUyE[)QyMwiy;u)|cU#n/zTʔ?6mEmk-iZª d~휷,‰Jc:,Ή~|k&]䪊'A}9eG.h:5!tVTcpu`7B(O -#qNJu e[=LYIgz:l ۍRwT1 \ |韀 c Sda[QR1G18uI]A]_2on.XGU܇QU:>Q#x=you6sL+Kd g?$?'-jCj>]c /M8˞GO;` fY/R5NSa>Q&Q}rxN^$vh/L<=WdkHx`̜֞+0*n0% Dyl[vc7ܘsˢ Ofj(K$0{4Gg륍cy,ODb&C&v`L;oJ v`UIܔ6p9C ԤBO`t(ES0f,5կ{Ba̢^]xJqn^k ¾,lZ/|A+UyS@e9@YWI3HӱE"- 8}7E70XLoĘ_al!{WV{{'?";a=](QŴ{۟7YcpRD^ + xpv|~lI0}O {S.R%[7izmu"G2kx eNS(ږ 遂0l哙kv>{;O;zp5jC_>0~fHWڲ\+=U&kxx3SVB0GHlî_^r^IA}?Ack-e lEN'- Юȳxq}NIiO}G O.Wy^rHt͐%=22NQ Ep:rήXVFU*N\%H-/tN*'_eL^B/+~w|\4.]VVaŴ8{ .hqqk. YK6ݽ(OyB+,Y+g7KgB_[VF@!]p[r_h+]l?s :fR"V5OU=]Sغ2&'-,NDd)x5][#xُa0էd *W睘ÙC#z Mz0qqك = ӃMbEaG,;>!^%8^Ϣ͔ 4)+O^DZצ|C  5ed$AXdAofv1uTM @> \Sq\=Y*&rUuזl S{Jw8Ts޽c| iEFo Fru#SŞz).dЄtt=AlG2/T` uLLV J#,EMx 5}<'&U }mBo+O1npIb&8Q{ʏ^A;B~\f?뤓nT gۏEYqJ/GgwO:Ȱ4 -{ţ꽗͎QaA['Dxf(pJuu}Du\gqSmȴoTǏY{@*x吀i 2P|xGlm)cZMHmYbkT.4^K0V)B!Z;Ǐ^ xb2Co`1鿉zC Aܴ]$Zi\8xSq$do c^ox⳿M |}5 _#f[e#??O1>tE6, 7\),H<[PͪX{r.^7 G&EtA"M{RFYY?6Yͳ-n&$Y~2r7\#Cw(Yv1Z KJt1Xҵ8FA虔&Nt. ]sA_І6/]6¨[{8ː/TXkх]f'\Dg7 qD~e3e;"7bdm y݊T!mBU9_/#m_go4VL·d ' 2&JCGX!NJօ:'Y޶2r7 \|EhX'\]?V)A{n Ң/ǨF,YL/Zϙy1,.e N0gE3Oq$3s4kjFg㿱e‘ޣtB3 {ZƉJ C'3Y-Fp'>Ck{biB@>ޖަ2y/=GO% Vqu~8@&l 3 W)fhȒeaU+ Y.-B5rrX mM 0o= 6~`BXLVhKS:%=J""i{hqv0BpNq+ oT1%4>1[>:Nsy2co@[$@ nXN36(;Te}1yD0 w%ٕeX33d` 2EHaf&y{3H-0bSJ'pGh\!/&9ȜTF6X$%zm'%{ hr;uēLMfi$l_L`Y, 0NdޑDȶt}1W?#?y}?U7p+YjmC̴C/ݤ0xX5߄{)$36I๞RWx6R {&Ǩ C/^sHBwKgiP`׊k~_E_`Se(H KOVt*1fxS]8ɚTZ핅ֆƳa"6Ok'YEt|(܌7sNjimv\bxaY78Li Qv3kěąG$9doe|DM%\R\-M`RGM*'xl)'Ou^w@`N6묜<^ݽ8GqI +4~ǂ(nOcw'(ð鿉^Od.S/g%;.]ux71DZ[@ "[;l_H'w cJiyl#HP6QYO*Ro, DIzO?e[l(L36zOsI_ٌL~6~Dr\C'6jR‡Na_qlzEKw24V ϚGJ >LJlǬxUzl B3>2dm"4T?pj"cH8?g| T7UbP.@PכĞ3iݻ''؏W*kbC/Inqk )<Ѝv8baV[4)DP%!>D>Ix'[.BX81i`X?an7/Ky"t8 MvBPլ&] =BDN%Ӝ)/c :`zQ*a!',CRy|qw$)0"VimF @Mu=呆Ry4M4hlWD@aiC28\I8NNxL HE5}؛]naÓ*!>)-ڴAfjm-tq.>F(k`qb̔vd<=8=}C'^<Le Od'R 3EUѴ@bP3QgPn*&huzEW}ûKkN4]8R@%۵5gRPqFXlkO6HK>n6Ij'z.Yg/ˏigѠBZVy2!/7@1a%X2j<=/9oU(>,"Mu\]\Smh+OOOղspYs6$/畟'iH#*6͓S$Uώĭ_o//ypO{vMVdvmtiT*!nf#&nX9ke1)F7rGƶ@kVk<]n8R! F?xO*9}71/.ܡLWwPmr#~'0[Du>iy7@S>:}{aɎ3S.NIu/f"%Bl˲w$y|RIN,[{ݪ& ߹Ї=J\IvhhSPdH0@:),fN5zB9ۣb5iߣ5;HXك`#H~0`^fn4rB'?\IaxY&> -,HYB'!p"(&88I{e,2 + \4G~5D167GJ̟kGBk3y,cg0V I8K+*+wh4.V$Ҁ8d;a0C>RgJ`L& ;QTaYƷf؋P5ֲmdqis1#kkikb2z3(ضe|8?n?Xyj̤ו'8u|r]Z 7]iۊJZឭ jl u.%CZstY/p,䈣ϑc7$+tJ+k<ݦtPr4Djx.c4^{sA|\_b&Nۅkct~ !{=6ڜ̺yxE({!{bm?_@̏p8Ա/X.$'wLޭ=\!VfE7y=eJ:1-%urpg16Ӯ-28\^a@5(Tt IUl),: VD9\jn wjI"031w`^,E=ئ~4>z@?K*o`-/'7l+I9 I/jeg~ Dqaj[ %^rΛvvXaTh"y ã#)xVmt{4dr#ja:E~HS8kɵlZ x5,#2ڐ]Lg%4b @t⩝sy,}q_qT?%BT6@wR˻A@f?Fx6pl7?XBMN[TFDRwgw&Ciȁjt1NT$Uċ `$ʂFAlxŬe7l~8+@lXd2QEA`<*TϤtڨ?!#meᬵ*ʖ~ݻݟ2eF~Y3)|-xc9RHf>[ú47 IHwn8CԀ{R)X$߆a .I\4&Uzs1]+R N,xdbV,Pg -]V _s?}i{g(mlDף5 5jkb MjO%MAU5P3$@C&l&ɴmb2'BMP}Y=HBLJk#DGSF!ξ nרL؂Uw4R4X U8#Z#R䀽yWƽ(hH︈3_S/dI_ߠ\91Jݷ3ZSreY]4A4p ok xgQ1Dö)aY3߿RGIrFw[#fz 㦸m.tþN kqTj"&j_ⶀUUCIL5O((fKwi~>=BiSQ{ .PIN Τ1a W2f3q'KcdrdPX[8)<H[:sn&Yek$|8<~@8,&0XfJ_0֥hq <-:S2'q~&.Hbqm.U!t Hm'nW!@1b-WhQ+e]:P^tYK#+tg˩ݾuUܞݟq/@o ͽZ}4QWF ULCf S\BNǻ~KME pk"ˆmk (@3Q{dncNj7%:6ͱ{]ǮrgE KHb@"ZkAvƀx#fޗtcA0Fs/(0?఼|%쿊J 1?9JaeO"ŜRfaSa*p!rъlbɥfqʗV){Q i/6#-mRNP%m~EW|rGx˿T0ݐd054f ή[e8eS\AvTd+l䪤gZlQ`; 1Xp2IX@n!ΙxS%oIZj7œ Rf#d,dž"] В<r{3.$=~Jʲ?akd/tT&`gqC4n,ÊHN(Fnaq W^ky޽߷vnj٧B+-a&)'̾*wCmvg]3'T4#LcpOv#'0E_LntnN{A\Q IB*/[It:kH{y+90H%#Km3K~Ĥ ph4ThM 6[IW=Tغ7Ͳ$Z9%l郃\\;4߂3]3,\lmlޒƹT )u!fBcW n__{q>#Dym#gۋ$ÌRAqJ%f x~I9gBȯ7)xᮊ@s6+9z!3+|JL7UCvfpA*.N.¹4 Z4j+KcI}6 6EZ}ƗԳWs`(*m㰋h,972(ǿ`QR@UTgJ0Bry2ܑt\Kp&s`#FjK:M?aD%Y+2x3(pns2&ϵkT@ٯ"r]! (̠r*d,*L>TϬ?=hNhS]v³.[b*Ca0TBqUuչ@A3Tq BE\BhFt?uUZhQ $Cnuaq xr^{E) BIL-Gp'wcbAҤkܯPi#5.;M"4eJRzߓ>OUt'LnoK{F'p6j S)uÆɨ ߭"?Ʉ ?tRyIHeԝɧet-#ނ @$;c:i;o1i~^?qYu3:sL3LgH2$p<-YA&TTSq.u BL}J(ѭŐ;>>=7&23䰜qڹ:3Lɬ ;Rↈז;Ws ~4AfOvER?[؋߃d-9Aw FF~規l/ْ\d;`3YWEֱ/DH0_)- ՈOϲ=UvnLTgN1{=&ɝ=6>nߒƢMCBҺghtЧ_EK\/,":/2EW)u1:]HPT '^3m[IcDZ9(F*`.{v3uec̼[^#=)PfXdqCȵF(w_>PHA{QRgU͋ŗ3t(Fǥ\TgYOG%JN qsESK{Ek@5ESϨ9ZSRk̵~ 4m8l`>^S# MO!_!G酸%r*!eOp>T׸ iF1Ƙ%OybğJ qa5cky-A5=*L}Z% QK̭ˊR/~ْs~ks؆s^'1Nw{ro\>ȁhxSJ,M p5[̗NgM 0ЂA֫%Bulr_OAW,+x:ː$ z,g@Gζ9{xeu$ iLej ĹSM=^WGn Iœ Y9EI!5w`ПlU=*ˎuܮ*}lE:*'T\LKl׎[eŇ3z~kK]W?q}[S͞Ʊ.A9 sxֳjʱm\JIϣW݇> =C^ڢ`߾Xl=" cOs.۰a}v{?p˦XLT@]N=x5ӎ{Y)s㏡T7E+c_ar{?v0@h*0@#jl[< vtՊ;I;ڦgp/@DAV&01 4%h=雬 lY=n<&X]i -K3JgYZ*>)ΒedVC2(>9 5tRۚYtxHbŪ EfK0OZlb<, {a'h+eEf)Rp\QS{#)zGhM>׵i~:Yk$MeBQqi[wT/"^C3[~*RonJ>6U.[|`5,EBhY3uGS!h׬*J]mlCn~}aYʧ:Xz eI ʬϿA{q?9*7lO ~]hH$'$] wī +9;B!)t2g+!!}a4cJW_[j= z% tOla8ģUML}SG`âZ,h`q҇w ܥ1ԡ<kX]_ g毷ˇzh{B«b\uf4 DM Ϥ6ɓ̹!:!繙;AtMB2p1bȟDSnO݌.<>YLsӑPF)1a&SisxNU}޺O[/a-I"D若ՖD ˫Éd|\IhGXcGE`S|. O۵JzdwH16'&t>=-rUCHPV{$3slTHK{Ҧ-R_7ĎpnI?_W:,+r˗dQTFwtlˣO$m!WսtLh؄h@q;Qisne Ur&i &M6fkZaP^N.PvEJ ts!zR1dG,G,I\AKa(ܙkykfXO1.£'}M-@uؽԈRX9*Տk.JFۍ$P>H` _s')o退%4 MZ{%Gi ' ѳwHUvA/ƎDӶG7u(N5bp'fC +y_> y.mw[^tPfRuiA%q$L' GQwX[!Gzzy@CfMa{f隮aeM F>V@$_䪃)jWoEybe_;6uPO9=+DzS5 j:4"1(/i|7.[`2>BUɱ%$ {r1f=؇_%A|2J:kU/4*GI8-٪Xp `qPۃ<ܡgWwȒԽw+̿5k2oxbrOQɖ?Z|?3ȿOfxV?Y,P s{r37-DHfUsNwfB|Ċڡę3.|Im?mS!4XԮNnog-ϛhgjLs}Vs$pW,;p_w\+f1+(*v#ꪰs{j.X޵ ϞBSSl>P]`.Ůأ cm {1[;^)>`锒rRO/ẜ?O~lR3a5a3뽊g(1U^vG<`o'p5|mdz,6=Q1 䭦@uIhRk8;KO<`t]U$d+x3*fErY^m^!1h6PR=6R%M;9kH6t[ Nk0;E_VU=6"Opx7/N91A}z`Y5^jU>|*~Iܺ߫IX+]X'Y4fgїDg~Z̧4jalQ} :d6/Aj'dT9#0`Vyc\?8xkQL>WZ Z_P2D޻P6Q`$i5kކ4BFv<{h_na`,_" k2_z~|r|X ,_srD'nR^`@*bl5y.:E!QO0f^ǾkxTw[v(jChiNo{,?^".nTFU: E^y3]yśS,7{et{•}%O\ $0f=e%-AJ1>w#U3zMNHrLEQfBv.wvbrHkR㢢3av3>iL&qDVьUJHa?P+p*so σla2Y~1fQ%B*7í _hlja=":/+7䦎N$ܰ&= ntEgF$bXW_L_ k2 <4sͰoag")FW8#'T_rlt?zq(S'2+;zyʘn?^|pN%ˎ{ZFÚfL8;ðb) ͥZɁ^\M-BvSSVȥGd!eZDoE#RFɧ7](i ]^=~xC`9To]|5]hiB$ݘE5K GKg>!o/*qF$'P,7޴.Q`DL帐Gxt ^Ȳ@ ' [cg5Xmܶ1T6t]sc9/=q|zwˍ_)x0 V;A4d](ةk\%rj~9.ޭ&OMa$+/A>2VA$'gɁaW?0%Ory2l$%FD& fɳ"F\,ĊhVLPO%@ +/nq䴈 G5h;,Te/܁ԍLK&P~ŏn3g{ Aޗ*]~Yz'O䁱U.V~Z Yc"@kLLe6we.# ?¼XC/ aiӯj:ҷMp)LwPL??L!IgI|1~j-[޶-?(Ni],]$ݔ3SDZ.ߦ5jDY҈TG51X>x2=SY{|mD$ 2.̾}aG+l3{$t?YR4u8Z(5bޝ^~ZɁo0wSϑT'Re ۪ uy=q݌4f6t{n^3kQ-3G#V{뵹G6r=;w$@2`N ޞmdKarqq1ǖ.^m@dFM7bۚAf1UFǦR™&KZ~[ ?HHGm:AC3--m:%L'u!̀ۤ4EV2',:*CM(?T&z_I~ =DO1q|EIJb兞U«łlz!sq-ΕÊ3K9?vQYߛ qmu LrbEH =Q.$R,x~6I]W'2XtDE]¦5FOS|S}[iNto jݾL$pL!jΡCc G  *gqp(1pI݀"9>q2gnucu+J)Xf=֝G.XK.D\UO?3 tL9 Ѳp;itMٝhu@N(mt %2x+J\85jX$,SϏ}]|RÖ6︒dݜaF8AkEu5ט#"uY3<$5h\f7|3gh֒<@25͑ yHԖdNKSGU6;@+jS5ކ1`W\/vM+L|Km׶0[;o$eA~R@鵍)9{xyNLj=~1Z+=GZG6@Sv ֑:taOωQ `̗M^Kf jnb)Sd/a@J)]WjPy^Ae#/>[U>VDQ ӡ'AN0!*]l}`M`%e(iv"g?Av7kȑߝ^7.6˦TC6R,Ar_Amk vS֤+fDb; td_g3A+$%J3~.zwIT`}JĒKERw74 ZrjЙ4nPtj Q#O fyK:]j vQ='\^=< =W-L{E@4lEy F"FOREN8!"&UGI(밷Ř>|_,,`CN^ tM i)Q$xUcwAEvp:_n:i ΃O (2=wɽ]N/ *p+kS >v ^ ;. x_ N&eqtU ", jH\S"q |$MIgАvpNfQA:G`B^  QG2݁#.>qb[ܙVQ o VTN7ږȈGj>& cYO"AuW7SXHnrB-vՊd [i@aTj+L+1+k3+)ߋJ `(N7N:}K!7MY(9Y`@e=/9=Ԗ?d0DtG\DDy+p}=۝2lspr ib;,s 5Cz_~%fK^; ow*ާni31S.(-@3LF=XM9y;T4+yc;ux֨PɷA;2eE }CnT#*L2u | kx(Oc^gUېp>2Rc5ȎwH/!? gah _Iz{!EYYko(CZ1i&zk'`4 v]W URh'F- r7ƀ)tj9H1ϫi3F5xPw,l!t!nn\V|>|Y夊 E:G:*Xm^+UFX6sx/m0oG`?a12k4Jh*nZKU!R jwkWO{o+=? ;] OtDIo5§,$V^? =()a'a@ːrd A%+vk wVa? lUͫ"ǾŒ1&4C1xITU>${M<;7-E8{X1o^Ūm$kabAP1G9l9Au_>nrAoԓ-_8B_C ؐf0@EWFUZ7(LPtƷK ݑ.d:.CA+F9@JYcfIxr +i yՖ9]!;Ǐ%ؚ~VE3PDVϒ ѝVX+m W&d[8 9`& SE6+\na64hq)eJ<#F8w/-=~}T ȣ7e<{,J}7.Qh3 5ҵ;f :Zz;rPBZD 2de'N4܅G$R =uz\YghS?%_lO)#f ]Ly@hUfXµ42TK]b -*.菄Spoj\9Ǵ=Xj~5 v H4,QmJo~ؐH5ܜ0G';;9r*VgQm:i52dVC)l;L) V;x<x]wSb@`9Ar41ydqͷi7FsCʊ(k~M5|(Y2r}|l-h~=8 ~+mZ[!xh{K+.`5Ddt^B7nL\(w5/PCF=nQpUI5mKHG z-=h* %WH?Ěl[ f5 FIfXlóU=Sa%%Ԑ+eeb!e  8Wr+.!yk:Iez 5Ux̬ͩzu"S*fv >rQhZ=滜ڞVOXV}Og١f {~i jn) &$.bpH$@R2GR[O 39J5zz<=4#0&8Q fH w9e&e2D.OtV}֋~m&p3OF)veM-~[nrߟzPYq_pbZyL-`VOW"c-cиDFnVP^AXy0H"$ݍӇVsDUaٸi%ptOaYHt4ǹŸ佛9{B쭐SQ#1wV7 H-NNS8Z߰,hlm=NuQ :Ppdܸ`(,!x=.XTrnjjLy!gz8$'\=tQ NyTPlVcC-6x'86c=^Wnв:+VNLJv(;OH(Nu|O;D$r`$#"|ϩ䳈1 3Z =YbWa.|D7 ڂXK_VѰj=s %!?r}EEG  *m]JzX\Tq[N4OC?{$*窱th:gA06;#!V ,+ n}4\(T\IˠOl1>%^)Q-t\ t'[/>' reJzMܙuca1N6`j7cf*>^m- o~+z2Δ:J_-hpNOE>lEBfJ#0w,l tpq;G"w^ mHhLR Bq[z䫬 Y0­COB35&&ϓ.ڏSZqH"@5mavw.]VfHF3a{  x:YM`G. <^ϿZIR&>M'(g#0N)TadM34E59z$e=}m7??Ya; ;m=}Df0l1Eͦ c (P8ǁpnzUDZλO}mÍyq`j}})ltX\tF֧$aD4k@0Ԇ xcn:Zx{[vQ7hW߁t콇_uʬ@F-fN͇ce_zP8">!O+ #[Qc= <0AX3~-ܟX81N+#q0+&O_j+@iwb*Inj^$[\!M[Z/bҥ|_][w4_8HN 0r|`ӾXv#J}!#_YbCX)T5b޴SW @8bYmEbZ_-4:o@2zػDbBu-< P{P@b&2/kz$s+ު> i+LlԻV)6=jlED7A[9E po`yw?vG1  {aJAH6Yw,vrk;h(Yf%ݸxX(sBaXvB >|FU?&H|8U ȱ5}~T. *_DQ5r-8!P۠ +V ˺UDoԡ!F ;ThL6 J^ۻ|^@gvdQ_P":9A:Gy:ET-9q8i_9Y7|vBZAO0B`:K'N|Tn8F'bab{"%P6pi@ "\d*P \h>&|[i]Y.(mfLkjJVDNLa-`ϼ6g2~6IU2Hy %EYw+ ٷTuTߨDw+<tY@oui\}$QAp_i1x<;8t]5*U슺`Ád}qMDO$)2+r=ޔ= PX;Kx4 .W!7ؕ9Gps <\4IW1Oy id]JGҷFJs/ԡmtrw0 )6`SV׀ ~ˏFSA1}j,oJb0=O?S=:Zl+ 3&84yh4QM+Gߓ#~r۱"~ _\.ʙ\w}%֚"i֤Þ% "(D[GDp䩗xfEZ7NE,|6lcFSK<1"@A0٬ZmKѩ.*=Dߟ_ɩezq3BQ$זG$ n ^F>jnd@9MʵRxÙZDWw"|e#5̫O dh95fƍequ;ǰBb'K:-'‚yK:O3J2̴Ԅ#Ȳ_\ ='&=xNri=E)A~ 9,,C.Y2o q#.tVBK!rc}YsJ^܎ ėp-|*K3!|d{;4Z1Ξpϋ~ \"j̞ܞxv\E3VLvIZ^kVuAoW ms$åy%my`HA)l[*W.g&<Ϗ~MJL){[D+O <9K)n[^1# b,6+PtH*XKTz S{`Sh4c$q8 UU WA~2A(9~-PnI]{VFp2*=e1ͤPS bP:ڝ0Ԇ. >f dcP7M̮g!HZ8RbiN%Wf8G6 3_Ǭ7baYG$:Łw#%V[F@."4,QMk '>x,$tN6Ucƽq+4ҳ-t LڅeFqmFCC&"칍o!L'$Q«Pp*^9;:f&pNrdU #m#ϣRa(ڦEob)+NS sT4Drxfḙ{Oq͓-Ͱ\imh9QV3 RSߨr[r| SNAԺŨ5؍24إh b9x >.,rZ6v~'}h R@|FZ)և $+E;Ua%,zJ(8*{2b&^5O.9hZ 31fiG_pBvۊb8!? nK-|'MB-;RBc~7TxL Xg'vj?l.첈\: B_k矯IY.@T,wCqR[;[ʟ+0`,,~cUUp P"@U$'ƛX sk ^I~׎Z֚*H4 H~P0+/\H79 '!~v) -=>sOf~'a$K%zdGz0H6u|~li7ء`8 ֠w.l6`\{go5x xQ2GbY K.Ԭ7c R7YJ֐ٜHFW F_Iql@mRǧ3m4L5P޲`o`Q& WX[ފٵGdb1*kp%3+f+]lcg|a޻<_&/ZNo&̕]b /\k=-^A7Jp ܐ܍Q(p3|Pnt  _UQzrqbMca6b;ҩ.e,Euf;CfDb~,"ѽ\g$dV;;T TDՌh-Mn#ߝvZ"ն$ bAٶuE1"`4B;֝Gh <(dOUCQKtlDR7tŨ:s܀T~bvS}w{yi1 pPCC+v~Uūe:yᜬ=WDP޿Mdib&G32P7hcnIA yJ3~)Ͷ3-ڧjO/hDi;s،t&A3!ewQ[MRide };-ݮ OK0L(-n.Q/] F]sllTvKTpKFnժ;R,FUU\{ǩˆZLf#n}q{tTf5"uau 6M3(zXqq)^A X[FŽ/;X@:]\ ,!ջЉ BqF㶶+k9l5V<-؟:f>T ĂPvI6/\rJ(䂈b"U[U@3Q;%*}:#V<ǫryT,GE1^^N7%4a{ J69$e,T~kHhs\e=EܓuLYٕ뵷Ѓ*bjjڨ?|ĉ'!P<1@d|ghϼb( -|:FAɉd 7V PAv< 13obz:sreA  xeWCk"Cn,[߀%дڪ 'OǴ)H{f<ي9᳀w÷Ǻ (hz5f[b6c`wUO۞Y$)z]IHpA+{gP6y@ÆFq"]3 c>Byc'֠c±=q:,s`\?]kUC˞ Up,6fVPtTC~)U۶ۙB)iKu"c}EGV\Vca?mzKB<ie"hUKMcZP4rX!" ͘! wYz -ENUO??oei2]TF0OafO^ o`yA8yu͙'z$rf1P; ]9(>| sM3Ȱ:XxW/b|nP.RQ?@NG  [W3D M6ʳT́ P)ulM$& 'ah~s@ibr$U93tZ̳zqS%^w06vBu䶳T$w;0']# X@zUMD'9U*xZ-ȋ;Ao;+z(4e^b1@ (e'bf :+ *O;;>3HBsx1ug!fq${q-Dď-1 %+VF_-ekTyaQsѼSx}IT5 8"2W(XO|z8 @ -N׼ Sz"Wk&=¡ a";d^!1j\1uWca#*I~3}\m8|[!KW֔(H oʝⁱ'`9rfR*C4{ry"[~0zkB {[rKvH%vJadabdvT (}G H EJ^Vme8 ^/q'!ʨC䳧/x̣8 *MBcs!M=_Oɧ xֶ4O s9*MO4i 'g6@iHћ,fͼ6E"olL% W@Z7}mgt~-@AJ^gEʚl(DӨtW|˗{\띁!^A[vOzHGBl|2Ib7wMOfC]1μt&Hwq2zNvyշUSbh:L=oSD{%piZ_%0ݱSO;O&כ[mLמlzpOqY&s ܗ,)XNAȣ<Ӂz[+_SY߄@EXSsC49rۭORibZ #0T6"lj-dym2BTx$3cM*]5Tۅ Ľ[ 4dqMnQ‡0+ƶͅߗ>/ǴnciL)ynUzT<h/V++=Ntsnk8D:Ir;oWBI3zSccOޚr^8{㲦}3Kf{{C9 53z孨 __wcI,>#{ -36[ ':ihjV'C U|ֳ+qmŹ칬U nTq=k#1m`TY2=>GdH^ LM[~R,mqIClE_<;fSvm_ MƠ'$GE ;gDӻӮCVkHiC$$pE)ck8oCM \y2V% S>Gj`b\IN>V2%c`Wxʓ*cC/PA!Eli ߝL%=O4z}p֍:ObW2SP^ƑA:Sgsxeܹ ǒl O5 ?uc.ӿoy+$QaQ2Z>ZCPZ/FFi^+՘aJ# 2;Xk^,zjRF }3IaDJKT.J`pQ5 @ܖ~w}jC&R~U^eK BJwF) V,ub=7? ka_>R'5սȪ?ed&^5_h\5&;[b š4;W'f4RY(t¼H۝TQͮď( qIܼ #?<<}M {N )vO$ l!WvL37 xOoyEW,lk3"tu\0FP&'q''բ2~6JhǢTZd|RH&'XONԐp(t!l.eY7HOr;9ڕ'K~0\]LUܺA90r l{=RBmev"uΘ/Z7c|G#+f4ЭVOe%=֯ @aQ G|cu~9`rߨeJY7F?jà&Cj!xP_ޒV8z"|gm` ew(u#{,#ʣ][+>vӑD߆醅%%CC5-Q {g*p(tٕ@.];p #V{,O-?G:br{18*y|~+baSr%A[=M ||pӍPLmW Ap>Oܥcqg#{Rf ƀ|9,Gg.+rf|T+IfKbr8f˥"aZus`LzMՠCKƎ p;|:7ʵuN7 u`:Ƕpi Ƕ2Y)AfZB}~WNƱJ;;${VKj=jTB4j2ERNV#AhاO2].GWֲav Ǡ6׉ӯJ l ѕiڬu ŧOobY?'5(UM`Î ᆇc67̘L++ySd0l8 On`دV?W7c q}'ee;֗л)H  ,p$~9>`þr} $!Qts(| 2PЊAk-[ XGVbyD" `=ٽ~ڈ+Uz^X yx8mZB,dppSOEGַo*\~uUK޳\XZ fޠ;dV=e0s(]:+%%E͖lUn0=x] ~7Al'9J ~KWl@!CsF Y(7gFrECɒ\":P]jlqu ufcۀԷ*dT*t]ji$jH7[rUX\B}D;n\;5'JId G 48B 9&,mAFI>4ia`%!ph8+7pPDhee0d8b7/C$])G6Y h3]T1 t^ +fd)us08HN:t¦%GwM'~b{m>rĞ{B(gw;*xG 4'J!cK *b&L?Tۧ*Cy4P+ @N@߬TzȰkkAw#l Oml2X,BȻg )NrN?n lL=E/t7&tO.]nge.\a^׬U)p' {n]y1<_$CA\oCr#F`e覐ˀ.tnw*@@ƪ83zHyzOK/Jپ))CAOWlf,$ L?Z9õ6pPiC4a5 iYAZfN%<ʮp vf>'\̮81V܈Oøg{cu_[!={&k~#y՗:.RT%HEV#5bP~MCt7k TT)tiLJ&g"_SF8W@>¦QXpZ6LSꎇ ,<\)6|Jg(R^9$2C/*AwN[Ū&ƉuDiblu/e8ǟ?X\P`Pca"@[3 g?j?ל-|$JUyJ V#`U[%+ i2ʅ4 $Ǣ~̶J/פ#@b`S~I,\zZGRajkj^髢R ퟼"7OaZ#ᡯ/aXBHs-<~fKv9sxV~l^hptf]"}ȏW \P"3m?-m# RNW]x&Q 2@Vo֋y cCv~`/aK{<q{->:5(-poEfAi].[e)\ -3Ci>!qmb1s)P r9Ekȃ+&S|[Ț8 Q-PIRsHҳW-Y?٫I4:z5U]:@fUg9|ރwxzAkrk)BRbgкF~-U7Vr HSz)?o5,(ِd 7 v1{8Ʀl]b"uSrYN'Z9<]+{oʙADG0Ե)9y#+Lh#R%oApoNvvr&B-Gf1UТٮ e0,K=̦F ٮXڒ;G_'Ā oj:' Psbi͚zDZCwTgYZ 3 9G# dHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! X]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H xjsX*J6lzogA.Gƃx7Yׄ~㦃= .B*æi,H(w?jv/N|p4;į<`UҬ~,(G^tpǵjX8W圃fW7:\Wĭ(W FȋP$*MI-[T4-Y\O<fe^-VY _]ݛRpPU U`=F@>5BvwǖH^TUh QPXt:Y;z3 %'[C_:r` 3 ?\#UD(CrJ iX+2tqoknɌzud2Xf{]|ߤopޚ^هIjLw݉=ْ0~mRZZaοK6S ߲{ yT W͝?NEc=bN 5zZ4ph7'Xڬ݆T΍>Qc0A[S~ۧFVD(8LOTQɻEPN@4.0Eci '\-_a߿Յ炿X4ߐu.^Zf V_﷙<4Y,-9pņBt\.PT}د'd|F˂51 9J0WGZ:# /%r9AՆd䑗Τ f-C¾>=aٍl"XhmX΁`\/WYa[arg€%;2qd L+GZ9WcZj3SMV[ fb9gߢmΟ֐Ktl ĞBwc:r:ڧXxD2 ArZiYB6@?0)A\6nk1'&m1z{9$-Vvv6Pu^8VP ρK ];7 q)8vdώ80Xȵ͛T+^=+{sVe@̀vu-|N\ PB R]`W]0xWS{C~dwZNz׊'Gߛ6KᱼO@? Y0擎`f_{].)4v1!j,*S5ot6Khx:/''-@]"h @cNT _/]*xQJ"Ն ܷ!}~S4{Pb   d9G' DHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! IfY]Άxʆ5.f-9 rq?LOQ}UXAƈJ~A 7}Q0OkjQ (B=֝j%XIgqkp%:}Xͧ}KiSDUfHDՅ]2[&#%?YX@q Z;"ձn-Ddm/Çm^B.r啺rarzf?5q %JLzm3mĶժmUջYT:GK^NsML.{Dс?o<9P@R )/[nGN_+p^'s2c}f.u~NG2jRL؜0pL<(Qᑦ'H\It #  R9{ai<:zzngZA\ *)!X1"*4YR=dbػqHR jvd6V}Cl,8=;@u 3t+7Hf⧬Κ@%L€ra0ڟk=Ed,C}lX`SlA1GZCo z=3{;ފRkkEz5 pcGl' Ȼ /s0W"k+LkJ< %s֑ĠCf?٘IĬ%QvC5fOȌɠ`v߀fp?ׁt0 UC yNhqy!Q({q֓kjiK"Y< f<)?G E`|p -xe$OV;qQsɭ;PVjfulNƚ1m<71X%ګ2gZMyWɥ|0#{}UbTAm.=SNX݌kϜg.bnϷm0D:`3.76n+Sa\v≠P1gB#V'Jfd[f̴-qM[!SmK5}3pkb1-66't ܑ BH5@P}zl&Qh|Qy7BA)DNҲҳn({\zLFh>y&@7('*>wEBmuMFvG,<zƋM+ԋʹ2\qf6: ߧ,D*u4%[{_ )10J[ Ow岇*sny@甕Oʝ35dJt7.g+!$Nz .Ԟ }*i峯 yp>VXUG6.\JVe#m&\ӫzA2[f9,4+@ύW07Eӡ  Y"úL!tt:˯y (gYZ%݄",k7{t(CG%]F+ą}Jr\0n}66r/kLSY.h'ҶXn@8!쓧Y[o8(!J\ ޮQz6MC`~Tl~1YZcrcHPgi#_0G(OKvJ}3AMFԀB/LgH%En&ذi_kn|_ ^aC5tqЈ8l'T~2hv^ xye( ˫\5;[Ws;Ō:Lo˅xl?dLCgty!P[Pm]AK2 APQRU6yFâ Cv0UL|,غ~pxgw/Ş;3: J_x@v34ȭwQzgXJ=}wMdbqAg:VKO?Q爚YְǛdxZ}ROt! ?d S)ޞ4 (ȵD[.Y asMI7/DT:}|/cG,Ǧ1mnsP(&xݼ78 ajl {;(64@v Ȓzji˻5H17aĶ2s$/+|z9md ?! ilh,سv+͚GePӶ䥲. _^eeW l"9PHE>__Jܚ]=[CH {*U o; `{{^|Xk^ښ k"n@zN#ԫL=WZAʑl0t'ˏI)qx`?<~'FFثI#ls ؍5DQiIHWR3}OuTQ8@CDѱ9B4 6~?@[-XfGe)Y rS$gPs䵺-so?Xes!% 4ӣ"=O XDèNHVIy77ٝSeC;Q`E0ENRmlcMJMm4+͚JE({h*=ϝUƜGJS]hはʄ}|$2Du%UwNEuZpढ걥&~ ێ[M.{ZN!t Jd,[;/:(x!E _d2Yu&jT Ήt؛_Jm,ERA=b4#[qXrD(C9& d1VT)7t@$,y@uQnVE8xM7h\iO?6ة,:P戵 jj6]dI Q|>ЀА p'"p'_SV>9@\뭫 IXE% D$և/B.s_] uCYџ⦑0י@lp>Ԁ4h t^["2RJN^HuP]0_'Ev(F}'B8kߢb|Ni]V_g6p’lbV[+i/m%#r0(U ;xɊk2 ۴ c \y/bQmg~ۜ5U9*<*8fC w4 q^hEcUă:]>SE#n/ "X &]c^O@&c݋ _!+o@4}Ig S g߉vj{t%:|o9ҨʠHdu%4˖`]tQkxQ+fCOo@ܘw}4/΀oRi`7@r Bm 9B1aNo s|t1 to@;;m29C3}!m; [ BWKd9Ziw$֨SӤSܙҭ;d 3(г^AtgΗmsA Å$igG8E W7][L"t[z'2Ԟ(=Q2Z6h;U+d)Wq_@DX-n%̔ N" c8cT+a4qQZ)gkJ1bi`Z8ck UbF{ÞvxOwJZ*SE K3&#+*^SݔȜyx| VIXajzxq jlf1_MlkM %V,x̑7 /6\Sм>EKT NzH2<['!A;mp<<1lXerh%rΝh+gw[ zQ%VLzU>F<ă`2YMϩ+vK |'!%YS ţJPAz8;b%Ιww@<ѽ#(JxaF{X˔2狳&<삢X[2b$*>LRXYza GJ -WZ{?n]g"mlj^w` 2Ff%i4c/Iwu #9jGTm?,:.Wy@ʺNH1e1 L Tcz`R.\ʍ{~.̈Md1cHhm.O[ xsV'6_ɼ`rTPRz4ӣnD5~U'ғE6 '#-#ߘִ^pSvMc㈐s{]%F)P겘{LE`yi7hi1(؅GӆG:F!mis8C|̷A94R _U$ֳHLy,ƲO)ٳM<8$q,d3vjSZE[pqᐾN}-TZN=ZdsRweeH/5y uٱ(y'Mΐh!v4LT7NYp}@Eq5M8G@/Zve| 73ϝD~3-ϸ~6VQT۠bC+o:lń9xQ; IR }ig;ӜkgJoV6OÚ_KU 2wy e)H8A ^!G@a 8&nxf!L< &!St?dZ!hv{VeͩP)jn'^S *hTX[ l)b>` /a.όW|gt͵.b3D\vx'}c-nq; D͹#x` ?6a6#9It %+w/uA'!epyێ"jⷩ ??WvsNmˠkrS.q DJZzja,Ñx64>WwۭOGdcGe«4τeXvsنVZLS[(7=j}^,r|ϩW=قgGz]416C;@¹ B ڹ TY9YM5Mu*j<`"Q<r2.eTUi6d!eo~E(-,nGu銼w &cI"8ˋ[NRM-AJD`/MK uQyc og >?q +x~~[U݉6~>Qq s0V6wBAwsH!E2r|^R[(l)uM:ZAqi͂?U)i2w1r Xͱ ͳHZA3B uv rn! :{M@4EFp4ޜL@`q齫o1xq8  iVOVID|g!gէ bXaIQ~Tm@=pA'rkZg3DAEߌbA+2 O`D '<9RSضY<[ufN& s 8g.QOViD /' yW9s-GnwF[gR%0,m. ͬm @@ 0܍5FGDL~v` 8C)uΪL$fK>'ؤ;qIՎKeֽ9-#gwIi@zvg v{ 3CUš𯄆& "5'"fnobrU Z(7k_Dր^g Yb>nr4W2^(˪EY7e)ⷂWa}8k.@rUV!Y1BX_MZB96YI$*59ߩhv)vy䕯@J8*/-3wc% }5. 7B{*H؁8D7AO b HI1$)n_IÛ>-!` f)IδN22R5PV&1VoZKU,i7 gaB#XHί67('3&Zh7Mmf'wx?PXʇ u(o'NEZA^Ț7C2O!#1ZP? ^"Z3-TB!@Jc7z2ܪ辽k 8R(:= +Xѳ!ʒAHwf}:ՀsyO nhCדuY!sL 0l 9%A/IϜIbh5r,0a {*b 5,<+ ^Az{Xa1/}ശv'G^ո|ho\xڠC>"!KMqXa 4d1. 2l  ۘKQ\I#j7Ll0FMIt$t[]&BAO^rju_`;O$ϚͣjF4Rfyt$'+[Ƒ''7FcJ+?Fq 08ba\`'1gUQ פq*6O:wنwo2Q]f:8YG 3IMTY CbMI&95Zf2FX3-uqS-Hlޣ+WTԅޕMŔKRV~7g kn4Ty4U{̙h08 gW)lgt+"i$+8h7}/.:k5 izn |Ae+x,IsMzyt^#)ήt&+YG:CWToڼE ?GRt=r)[8\L6ƪBB){$N9$ʸxĊ\"`&֧/E2uJ$y_6ES)#"ԋU5fhFe,Ô?jZ=l7X!l;6em-%N\_+KlogE*a.1X?86NeJMsL^^䫝2ѳKUG#@-ֺOSfIt+阎z0UvKqq4r'2Oua)\r.sG=B !2ܒ{Äh;~QÇ m?;Q)xL160~7u\˟9]?EGb@5֏CA6dNDžRںFgw,mѤ}5."?. b+*U[m%/(W:y,%>L P?G`aKIB;m2`Rc8+"R DNoB,'S瞏D K"Ň~EʳxQb{ا 9E=Q9C*je&6b H* Y4{8m\='cX 2>u0O dgs4aˆj,k xP8sSؼժ*HɅ>z HhO@u  4;1IelEj+:h g"ɟN|8$ r#ܩGD>5͛SfbSZ$3Oudbn{iS#Yƭ5\fG^(.5MpN 9\ȇ%8 Y.UJK!G`I:IZ|Dka[&k+u|ڝeu4 9G+9K3ʻ'*vBwxWdnO >6mW]"V+r!hp Qƍ^L5#~0Ĉvu֜u?4'u~+)*0 ߚTdRV4^EnߩS9 XZQTļ̂jQP9m) "L6#mY=竟ꭈ25¾%*hI c`gSKD:̝r|ɬ^i@v>e%ϰPIlqi]f'\:_XyؑyW>M?KU10ukޝ1 ndi/91i~)4!I؃ m]P!$U YVX?ƒ!ydZ$=}A Hhox|`[,/͚Eē.mj([Q ]ӦR^RlƏ~g\qE  e'U;*dV[-U(( sW:lf>}XH 2Y o7-ܥ/ig&y Œ=%l:<֖SMT/OMf@;Vn%$cLb[T8L/k6 3-l /wpMfh;O#Tn`O> ߿ :Xi moѪ{}i$ٚF M*+"lߔD+Zp.K3yC[8-B ZFWtyNBile˦8 rwk[AB*Y0`Ӓa(`=ycUY x3tzbi5tbvHRM e&EF!Y 2!A_{ϣ { zG)c"¥D8"\u=%"I߿QCW\k˿}KXۊPWt/ ~|rpF\Q=ce^sAv';y|q 6ϼ&fy1i&% {Q1jk 2%Y =_4՞R>7Q#0>)knwsCP .%źZ>ozroYXL N/?݃y ڰdw|wY_ ̲ōvс9,'bZ,{W@>$oZm2BԆ$'pc]qWp2ޮ;X[s KhĕuMT+SN{-H/4Hɟ/!. 0*İW:.ƈԆm=6a gi5l\@J&)\tRj(sa])[kƮå6l#PB:'ˌzrlA#7rsvb,R12T\ r۲]s}A,͐FV2SPk8_OH{U3z"U\sG$bh>g̗m x򙶿aq)DN]cISțQo Í{;DFW)chg>ޜp(c;&l;eX3o1xZ:6Ap77F$*z.70Pp19kGhesQwUlCX% ?y)|YfSN< `}rC]W[s+@6gG\˛x ϊI*0[gL: zt"Mt֨Xp_:G˩i%pFcWiUCUnw&20";Pb ]8f_GZLhoNց2IZ~ƁS[;=z$K}hXnR1+]mh+3'3짣 v֓q'֕y13m+ m>IPuQ -\2laJ < ,JRENF#֠z!8Ё.1*j<0&C>W*3W0BS { miE!xdw ⮫7Ecӭ¢_I\6y9X*4'cUI qNg(R/]xcf{qcP;$Pq1b6 ԘaT!j5iHr6KEI\-6ZrP;^W>>ڨvÅK3OKV|FKu3c_#3q}e\i 8h$Y$$[c⅀XJzEEl CMcUҏD^af' jI^7]RVyW5%FcYei7 J M1<7?y@C/L[Dnq+h:A*i 2j#}6Q [&ڳjjS^݅^e* gv|Y"Z)FCO$`[`;}sT 5Nz z׳D~TrnK.Hm]"YMPm0ͽnLLnڣW6I@i ڶ95 -=b>BF ;i ^ac~7mf5O>J6qgYtD63'Zm{%+>x֫0\L[q"_Y4A,k#JPE6]6_no\Þگ8)M퐮\qH)Vh 4Kߴg !3$7 ^ReYܦq؈9&E0LɌݒ=屓W$=ͪ Bn$ If$_0ኗx˅ފz+bk5FdCmTB&1r,ٯ, N, wF|=FzDcƭt3#N.Gr zX^#b|5[G;$iPFum$^jULi}@{LM$ URiЊ-3Pʯ~3O ,.z =jH?&͵.9O 刴"u/c[ %Lv?o".ag/ôssz`l< Ji V`qګA֮-jB,AeV H Yޙ(\l[M՜+rNjؗA]\/FO.Wlv6 9~P [ `vUΎ.7NU;CSnztV*å:CnZt3D( >V>Ւкv_L ֏k ,lMWoJ|+xPk 8L˜0gvNL*&FXƸ~zzz9Wyп*]Vhۮ|*~u/0 `ID٪HcsT[P#w"Yv,A@`k2Gw۞ /1&'|`6)Q\1Դz}Q}@ oJ8*ji /^e-cjfݔ&ǨiTR2"w!֬%o^R0䯨\TãîGMC3tz>wW<& ba{e1UnvşiLO  N8\2!OxZpK͏}{u*L1Jun\N9I u$4R>-#QNwb,H/ĩ\lGL&CֹL0m @pJ@)&|pK,x6 BQ* В_ Z\UZ&ocB ~P9 8zxBLKMtaCz!~FP՟P G+nAC-!qm|W_"n#^vh,aDB LK6H:|s?aB'7z4Eܲ2-I 6YE/8+6V)x.[',;{LK!a҈(|gK erA2i&-2=R78:?3/k"*K‹u{XZ\$`eOF[n~0[57ixk Ii=ӄަ <|C>dSW6 m ?Egxȣjakδ[aK ƻ "dڝ~@`%#Tʬm =m^|d|#hf7UV6:F5Pd%CLyxiĴtEvx F5R *2A?x8]2NEI\Ȉ,& H:Gjr یzI;X5lN2Xp]`U >[̩ʪ<0FH~Y:T;Jz&>"0̽'>בZN&gXʳ|y}i`Iիe#oE\Bar9re(QۙWk'MG0F{N#bVH_)ZH1!`2 >z725k.359CydMߛ=D'HmilbΕą"@6(m\D=oocm5>E僂 鹭`Ix1ɺ͉CoԆѡψ@9UO-V1"?(0M(I.,yEU&T K .'WDݬ6>q @wl]SS*٬g`#^uy>y(!UϢÔ0! #i.ւ6[)ߐ^W{Ү!4REץE;IKA^fZT}8D5L6.Rȸ=V\CFX #sX*$U<#y^C_eP=L,˄E]A [;)6Uo&g+ T α'FnIq )ɽ̄i/`,3ITƨ=`n"U<RCߛ LyD!X[1*_?qgi'(Y\(ViKɞpJf cO9V;+pBڬ(Ub=Q4o4QiF\PyO\1\T|a08B"QfƼ[`yH K$ئEϒL3fo6@B)?~JT,&;;;:IID|n[~\d]N\O9)j`o$Bݬ@`H -2<&;Vwc;uñ06oEgkH7Emwڼ)ӲPb?/H_6|O{8mᾼ|pU鱵QK  k37zFrV;E%kfuj<b0aTH_ ( ds%CcdJ_'G f3Onjȗx啴Ysk%$N4 3du r8Q\>Il6Nx]Z&McOJt(+VxaPqcX3\7ӷ[QCo|ҬB@e|v빜 MGgGZ,TYKGy [{?ߊo_fW`,7='/BKw.Y#ܮ֊rai0:/4cdJ+ݥPnQk̪5tU9 wkrChѨ`W%GO`1Z` f@ءhCKp )a@?z-eC,rOd4=[g{7y/yvI5 pC9C"#WUŗM/c.gB#3Blύ)Rf)Ӷ+H q\yf*k/jmk˘q3ls^=w4NJ:YDTڵ>)Ae:MhgV VFÌ<&30 }ͽbC zQ@/%B;,zi@Vt_]( Dw'uTm{2:[uYuzHӹQByR 83@մX&KwMrZ>9Q95VӖ%bGʠSD 7T#e - h .ۤEҐE:j7Y/K f"3|!c[G+Ϻ*+B7{.9 r9XB$mYS#[Qyvr0Dc6tJHuy߮ucbOd3ƹmi%&4xE3l`^kdyށ'Us,I h A=t_jh#)L~͆U%W'\S"Aj1"Z!8bd~P&8D&e`=AѓFJ6]AwDS}dQc &;Qv>&3X:uJ5}|=7kg׹}\e;IZ|KpLM)g`zCu*ỳA6F/Y+rLky_`  J"jX Hs!^"n,]AdbEi@P(A$k%c"bޯ!X[{ycH])b_D,UuBsAwwoIFiB5[2m*kΟxQ /}]+[Cc4+`J,//,dz@`HhdQ15U+OM8q|ؔPֶMlܭwm~,aQpS'_Λ}֙7 K~]F0J[ 4?wъ,QVt#TNP6E kBF?I| G+Ŋ3 ٜ/ Wd)\eDD?YJ)2vi +:R3 q@`d8~\_a:P"= x- Sջ"6u5jGf2!õh)Kv'n3gvt(-m;{,*t6MXǃ%M]NiW!7l#?i?HQyo {-4K΀rW8-?f1B#Ƈ]R)'Im+\EpfC!W#*ʃ<}ةG}`>nh ZebF9QбHx%bʀ5PͩG&pT\r\a;Z'dQuF![(,.H IM{AGg5^b,؈YOf(}bGR' YڥlkȺ$5aU ﷔2fP^ЎnNΨHWң>쪟ҏ VK-+UU^QIV n6[I˪d8Y] ՑߌMSVqw{o !گI5%HODhCID:y]n}pPLjNϯd&?&"-krĨݎ_7BKձe`3krѺ0IR,#]C|ש9S}vݠs=.!z=̥ 'D/VoEy "Y b4/SOfTƓG6ϡ 1z߽8p[cA?鰽̬G{~P9d/\c Q n(AgXy*KX?>?*BS{?S}ڝIIjO8=Q`Z3كt/G;qϓffMN/ x_6EV0E)֜21:%x ,J0#sV R=WWEC1<zI:RYMۯQ 8\9Đ )?>_v__wIǬH9b8pq$.zE(DWl tM1=`!@Hv}T- Xr*59f)v0<+ʘtdJl>u Eqi"rbL( B0k8k&[ЉT4sB=ԛTVVpa/IASiEvny8s<@W}<{) YVSppVèݰ?9iC7PqUh]?hhqC|7ՙx&.0eFB!L\3 +gi\|\(|X ϕmj}Byvm5";mCyCODž(v a>=;^sCgHob礋nپ!~4ovQ\=.~C""|U߹(5r̓@FXedZ9;M 괄 W]뾷ױ$jUݨ* KϢG³6[ HUŰ#ZQߏ#sfR!Rq]IIjї~7cJs2ILNvkdM4_a7?ǜ"e4YR6\NԹVp8F9nte S7˄υ|6{<d;fsqޖ5gY~,K% VJKyx8Ӕd~A[ߟC.=SbyK5DZh]lÁ8l-n/!Zf aD^wH]4[BLV*1r"nDfw$hC7j⛦W iy֋Ow6 *'x(Мqz?OHl+M}]ثw#nE3/V/jchE3y[͑}!RT |w?ޚD:j j\3\oHD H$+njEȊv*}`Q5\o!w5T&qmϘ~y)7&=lu+z;& j5}CFC窮Ed`DhOc ­`w^ߗ8O(=Kh(tEMw Gpඋ3^9AyӒ|iy)7dFMVFɞ|b J;$"4=iݬf9.2Pr8p y:t'%F(g]AmHP]&^L=.i e$NA1(-`Gx3Mm Mtc|C&;0- LW=Fψ*CZ}pl% a6TΠ=Q͙8̹Lzq#}=uL$A*>k@ޛp 9ARb8ݴG}`Q a#,Մ3K%˞ -0a1c{c@':ع"TL(+Z3fB_\n+qH&T4/^jkf)Fg`Y.qF=_կ}H_d݅ok')]h.o Io ·S~< Os<鴯dqٍ˨LIU|CsU ~'ٲ4QY-E8|&7dG7 %hsf'+118%L1̴;",NHz[0sv_r|!*k!Ϟdbz^4ӛ{X>_$1Ìm:7{D nH>&0{n#v >RQ’r,ht,Ra4T S*e:@%~FXPΤceam?nV5EQ"*T 9 /_1#~kiT-MQnԪJґ́s3P\h OO ~<c11(K0n>oӈI9{S 61Eb{4b&M*$&e ¤P1L\ ;sKufȐ.WL4SI"Soj]܌H~o0Þa~<&tǴGF/a#a[-S_a1)fKQ˯gG4qn/ʉyLG$fp4#ͯM)P/PHըI ACh{}Ӊ0 6 7Y#~üd)HM"?3yD%N>Oà {!XCMC 'wl]|s)u5;`!N/[aw 6o02P=r}K.!5IP)j-+}5>TL|gםނndL^&JuhDH[hJQ(;,T84;@-:E/:mܨq`CLiZ]j7~A. ld; ;ӆR>׬ ꗻS"`p[%G>em I@(L 8zX/k]a:&±ƌ7OGVgt/[lmc;pPJlґGV ;-7⑋YsR>6Υˌ+52.m[ 1$@2D9^ |[l?y&)jje"Be4 O1BD@,ɫlpMhroG'w!uTim[lARMjnp!`hBƼL_5[0m'"MADՒpL3U*SZ 0g S\نsЇNT]\ۉڃ|D }`Qൃj (LSgfm\7HWYv~*I{wrVfԢt@Z)6~u[82(z@30l1Sز#a̭]4Geh*9/C!P8~^o,i#E2NfPu5v@eypal,$i?`c2nn*O9,O6{q 53i~_ҭ4aZǴU 4 H G_z-i*\,A[hwI@O=[OH"*FzX- q$Ql23'͆_[ Ɯ^\,e`ea(n SyIb8z9uJI Y#}+~)xNf0N|[c?i? }`W^BQr[fhϖDiA=瘋ok(j`/s<`ӒfgiNoT+.S)5$X2Tgʜ9y"A^ocΔ"ׅCL;͊P!à5LM\a& emfܪi$ml!gĠo盽 -xR;9AM8rnHB8m(Y~Ȣs0a,06= iS-07!e^rլ;)F&NCo"e8nGW`ϧ  `a|\}2 n@TGǗ # `kh?d_X>f4:S\l;nΆ|ԗɆᄱcfe2>g4szj:%ղ4M`EoV[џ&WzJ*cODcVo;l4ƠxBmRCյC {G| aLaۏ?Mm0Pp{Nvs(YRcL[>GCTYMz^%QWPNΈ4oؓ3ӌ E.>eDPҥf1cR6:ӧgW!w'X]PEgjM1x"`8㖐fl&/0"BO] }7O0aۖ:W_KZap##8z6ڋm$Lrjߺjd93 $Fu J i2!"X,Ǵvqoa+g ;6o $/R /8W*L}vhxqbO&*fLG9| GES@E#}?ql. YDqspmؼcb o(FYT&K,^O_Q-wz2\eyE᪆hIE Rh5zG`|TsIb05qeNZ}hW(qxN HrrˇUwiJ>n+BGN(&VX݄xYXϻ3iVnlБAy?SC\gKfX"FV' bL.o}c:* mp*C9*ƒMȓՋWR%8P!~)>{ ;zQ"4* 06ܪ&.&(7CF;ZbټP'd ?SލXҲ1XuU|__ jt{\WG wPU'kvm(PzϨ+R Ӕ BwsDML:M5̢o%vϫ5Q UL@n,9F6?bOۖ6陀 [T`wU~iJGخò/fVݡU\l9H747?xH^m c;S(q5. Of]MPN""8H eIh6̕JОc;ɧ#FrV:MS7]Qvs@}}i(ǣvNpnP`XՠM#1رDg>ULeeL;+1-oxv>^^61/JwR vgyrʹwv"`Ƕ].ިsf/(@ȓWF5#tWA^{G{υ%8 sxFuk L;_G8Q4KVבJ/u1<{Ya2*ICr񺊧hQ[K\YQ܊s~' \x7} C6rf Ƀ_6S(?!LvA&&ߡ1ms-R7t0r"&\[ #*DTnہ|ފr d!~\0h}ˇRNә 8A '7LD`Y>UR_rmx*xm^|a!ˇ]BqlNEfA cbg71`U[Ff>Migd]bGڶ2^?p5o(]: z ,8!b&HgAt3&fUs/’۬Q>X-sӣ19=U'fdm NG-[Heh2Jm. `q`{R-N4pC+bhm+ďhxL&[e\T8l7nf,w \0+ʻz@N ꛧN=OD7Wǫ T Jh9n-K}gΠKv!^NGT6㓅 BDM箢 2¨/i30d&I9ΞƎ#h*P~_1~2g-u|@.eU&jbk˪<9<\hf@'_s(Hkf}|]`[LP}+X#~1HN>ӸO /fIO78r57͔*o8 tMnRm A##5EK8~jVt`2g6 Mqќ3mDvSL<14"q0`hPm#0] =~9^]?6rBXGBLv1 UZ_|wR k{Wвp6n\Mٞ)䌩Vk2fTf,~6աX[tUҋ?"/slFvMMae1'))S