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  f fr9~t<حU5O6󙇈6yyQ]N'PO_r̀hVJ!1tuc}twb.Y7S!}nTKo #/W=`J*E̚ Yd]>V;d%yZ?Oȋ/4hي"ݫlCRp>B\Hy @;9m+)5W93FiZfs0Kw-*d`w؇% *I{!rEOiSuBql -yڇ՟ů u|8cJ@ȭf">k&>0 F: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;~ k $ K aH9K'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messagesF9K#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup E9K!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files K9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id F9G'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages D9G#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup C9G!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/filesI9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/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_id522N9G3 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;~+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db˶)FO i^&yB6ݹz,r-1`37Jt8 u̶[.|?|%TUn%73FɤF&bţ*x:_L4s6>6__ Zn<p8#`&2duwqygWaF5$vhW{5F^Cc|epc*^\M"!i ; 㼕6웻x~=# pԓ-n&D54Xi ģY?CbyI8Ut_C=4\xUS{#>W6.[2,^I1j&)s$m2Ih݇Gp+Q/DU឴=8?Q i\d$0#x6{m fVf;,*)>mi hR[(Ŀ ?OsSd7Zp5 8J @hg )eec kXW[nit}{fhv鬮XFJKnjȮ45ZGigaAf8Yf_ ^R@~>jNE(b 3)_+fKE^╓qxTyK&9ΰ" ҸJF$Z[Λ6~dI,(-GMm1(7E'#`ZnmLB=9 NrH^A.Bºs \ѭ%B uPzQ}ehu[j)d&Lt,UأM<G:b5"Xغl*89ِ1P*LBok_,Nsy|\:2pit-%lۉ櫰/>7aQ|^g2 Uo70B6܅J iڊ3إ0j/Xx<7(F7{,:Z4}Lo[}:iSoI{[k<:IgX+@.i8A@H^dU]TcAZ ==6a)#yE~뙨./nXX'ݡRhP` ӹ1s8~#ҫU{bg\ >FUjsf$>MpH@ m#rh_6WKqz}a&ul;$YhN{֭ e-虂󟕙CQ&UnZL`TEx1{GgYZ ]=}+SdTHO6unc)S -D~z=YLZYQBJ7W. /SeYw,1M-}HMim t"Ifbuؔi*VӸW DvOT!^NElppX:&d:1oUw-U6z%ԠJqO|o lf$OgGO ̒O{}Т{{w.M4űDg盲)hw[esriSQ2a5nu1i~@$ =幀ރ)^|L,-C)R.@Z"fw GI.\wl"t@+PbgDKʰh"1=~Ke\"|]DވJF;}׮H4'T1Fq1X\"7#fFSaq :oF7 H eQ?bJ~T%4DE:Vtex/ymT/-&lOig43BPU.ApH&F!-4Zzgʑ1Z#ײF#xveE"ka\}u<\YMFHBΜuJ]?rf{k%p\*30F΋-qŸih!WW'p>:&:&#\d>Z- IUFnYN7Uk91o&/^J:#jpUsTOk2%^R7a#R>~?6w DI3`#\P$ 'ynE5է:>1gqB @I>.KSzQ\zu9ԧu}~ɵcLMaez8nkVO6eșu gGMU9E鰿"+x!2]` jϷ #(}w;[ʷ$RGƠcP@)kyct8j{1ݳ̛>bg_9s7/jpmg'pg [\CTl'%>KpKAj. %DG1vGEn4w[':^kܐ"D=O}'MǒqB|1:qؖUޠ˦`A5׮W\^Vc&ЙK,eF =Jt8ySJxO`DU,NE:@HN1 A$SKsy`}jY[0<7 5݀= 9kB\!#MtytFhá*]{!?9#Z9$qFaʊ߂\pk\{|\RomQւB\y8fSF+>YV< @YzuPD4UsIx*L$$؈{H0q$M IASr'rG:H c$\f_и(o6&|{y_w>(ѽwKȧ-V.)^H~ZA.YV{j6/S9/N w_9_n C%[!T1Vyfdl:='Cgޑ47S7]ƥ 8@5q vO/KXz; Όn/B`-/d+Qx\KPE햛Uy)/4&")uȷ&eE¨fAPZL $ocHU+P{߰2 *j :dT+zvaf`7Q b>u\ѓhL7X{CZ'poxi(F̙vzJyVBpdaR6)Zvh7:qzcDvGn{]7tec{GrbIrL\N*AOX,\7*y1917XrQmW(p([/ 0 w gn[hG^ ޅ$UndojhNb2\^&t, q|eg6K"AwqðMX{J02 92`%3_YKIqFp$aKxFj-cG!ߘ:@ص#}īU}vB+[\KBiFDx;LRÐY0I6^A4RI<9 Xca"uRo$.;^=2r; u7:|o 'uv3-'ѴK_?(ϒ.}_|Yk\LQ+юߥ5SV\(!_= k{fܣ39ŧ=3zkِ뚊"89`6+N=^BvJN/q(3 ").0Z.쑳B it߾{Ģt"= H:)xZ,a,v>"qn/Sze|Ly-6003uq+YIf eLR2rC8J-_\g( GC n{uv<ؓG7P 7B͖\mS C-׀d9SX Ѯ] 8YӿD9Ki4ީ0?T7P/=۲c/,Ŝ6$ՂF“@؝69EB.O;~ ̗y*>A~B G(t?7̤h /tV:j'ff3ea7R]0RWټ{H(܈#Hř}"1BQ:Su˗xor}3RfPpm@bǕC+w-6ķ tЙc8u Y_ŏZnd6L:@W$9ѭF Sr2u!I4d;yJ߭ftD h#i5ulзQ}L sڏV.Wu_[8`_>* юOQ۲&er!:>:ua Gbc,_ ypR!Ǖadqۯ.P&i@[o䊖R 2V+|f&2mJӭv{NWWI5qM/a@.TV:++<5M+yy*3_zL3of ̯V\F8vںCYߺf *1̝¤& %PߨO0+L Cnӄ5/ϡw?WD\؆T@9hF*Qd䶂dėl2'BFCSERJ,[qU 0BLnOS`WX) ;]5beKL)ǎW%?ʲ(y6RH%e {.9H'H9[Y Ζ%?F--ݴT`ޠwMpkyGQ:_2H ]#1D4F̐y o q'h0C٦ *=ܻz@X#J3 ^v宜g #y>ֆrR*?>"Aj*4 Isi`kY.ܕ1gX R=l 2#볽[Budah "V 9*np #(xqŋD3I95 *7xWLkb y ``hT(nn2H Jn¿8>s"ӉXb~54r+&'/mE$k_+6 i`A<_hT'[y%Z=5o};Rp'?=o5b)U5Ljlz2]5j2OB&A{b<93Ә? ȭ=SUI;똮>)NOLN؛_n#` D5izP=CfۉcnA\{UwS3_J6| /x3 Uh"7ezNjx1hUl!ji(;k9I{/|W5I5d]2v%t0٬SV˪~̍<8pl{J$q^pV1yד`򯃎-_}'9ա&@ 7N*SqzaIN*}獛nKi|orc/1uOĊaA>OAE^m}H)8񜰚"$K"k;EN, Z} .d;HIK`I4ATVd;"$-P>fV՗ s:?_=|IՖ7z8P8@X y8UH-[korOy6XN0)LG#l.goXLMjp 2(Y҂W*v,JuDw_[DiT-oÒGLwb}S1`` :&fǣYwSiQ~h>n}nڸ~#F~X"bt#m[ӽQ -|5h ή v}+3Rg۬ b׈4qwQwLjm䷱}߳p$ia8Ll%9x~]#^l Xلkp}kqGkxrSJr|~E_EI~YR^[ݶ=^>Q{K8O9 F 'u{"8ϓ1Q j%'|M!`,wFȘ轮WBOŕ2-rKh^YsQ] rDw\DԖEzvz؟e(F_ދs( Ն,A2?Uߜ`!oU1w!i9B2pv3jٍ /{XtJ|hui gsH4;yB[ eK"|'37sɣƚUHj_3naEwVLAK5LУŕD*ʘXhwkF &[b݆W'uF^"o; =YPEd:*p\FƟiV~ Kt$ڀ-.{[P_ԕ{ [>RLs ?^{,ebsN+r\ [>TiYjLeYe^s)#jIt~2jǔϖȱޢCeu`X^#T՗=/ ȁ3O Fw\+%bRlV5"5zl'H)H N;_6+ž0wTkdKt>In)8E Fu;!B &nb^z&1Y<F{F6YAƑܰHۥ4_^hֿI<g|50Mğ~VdEFhX[nWIy~|_L.C|HF %feS"V&ɯW{w:|,c=j4hIffHMY{|D$DǍǺPUZ ?hOp2:]"ýik qM; 47FZGGmܧ ?ݖ=jz-m. -/ *6u5yJmȕuF}G)[s|> 8qdlFQ-9 K'?)Ϲ~|ЮEga*`ElpV RYw7>.: ':cgeXnʴ\ HvX!i]Œw!I}-k֔zR>uSYT|I:嫝/B32L(ͼE5ɡyeu&]t(MǪrr]1I0;lwf2BqlZP nDd|tÖ4šf~7" 휞B;%ݪPq/J^@ EΆvmyL`E-qi -ش`Gm/zIK6rteIgyA xme+w8[lt7~,S0u߆ة FrbU}dY os*BTJeH˩Ӽ: |A)Bqr_Ko2ڧV+ ׆6ņ˽DJYI"_mkk,$3#٘{Qe2%3+kˣٔƽ2#eDٮ?uUkS ;PDSz(=׹3"KY}#3 n0 H\dsݕ-#5jCŮbm!{KJ"VR X.lGoQk-}S6K%}A1zr\lşGܑ%AF?vob0q>~g(5%n]ICvm"лK+,?Y=72ظuNs @w`k/cԙIPaCY]AA o *\06ɖ=ߢFhL:QC0 $ ڪщa_Y$);@ul#q͎*v\D+CCMCH;i?{W5ВHQ[o1mK?_~#&U{ Z.RH&~OHx+trzWZ}< $^̑ ?Ngca"\:<_s<ܳ/ 9+"%;jY-s8dۗ hڟ¾RhQS]Vc$0uEhx0a0 Rgv7Ux!غk}'0>]I8=wzg[='M:cz?ŁiOꆱd:+W.WT\o' F@aߢUw`L\3`ٕʪi]-%j[w!=uaL5P4D+4tCN5Yj x^_Q+o-sYGt@u؊G=o])' iʍ?8€p  )OW`S 7(§rS»soK" &}Y?69)V|5'˕.@O77%NHDBk 2<ܾ(Q N?xs*Qt>6 Ac 8fPϷ dՃ=Fok)?<1ϲ0G|2>* QнnS¿oS1e_?)n&L<7KT4yO5 _JzQL 2kBh岪"8 %m^*3awx}o%dίW9<ߵ"Lju!8Cs7~.g>x;hܼr򚂪INdrv2Qf+=#Zv(,v2;z29Z;G%zhfE/gOz'f[)"ߧҵeޡJ?Ǜ7e&Kaj^GoUu Pw)K+w1EEk$jb#;`lv >RO9Se}( NtLPmu A*cVJ< ­Z! H!uO ; -FS5hJ6@_Ob:(.&d Zt)2 ڪ1xsP75A}SYf?T~pK[15TH{ 3YV^^l[ gVDFSՃ Ov+54V*j~;+z2a]Ոkث*Q @y%(#$B(I$)o[@0 ~I<՘tU(Ggm< _plH$Stuj785Ҹ%U?nA #%B-=1j9_A;Y+撗uNIq@?fmM# ]: ?cIFÚ5b|cy[Gj%f8S_{ hDJ@rY>}*ҊO:a q +oy) ;]4Cg0ci\N9u|Bu/Eػ]`lp9QJl0nVzlaVZtsxd[m{jl\5 Ut"mRhRd#1C <`^g;p?&%\$4VYq h9$G"I׷C&0)[ڲ5H l}P6 za*# Ue xr]yg5N}N>{B,bKxe]}pŹ O~|X,??B?`nZfwq z2n'^41Ep)uz{X%(]"zBzKEnVLH̚,ۜۓUi(Qtۺ%DΎ $7E@})_&x,WA!uγQ)nc!znfB/DOd6[|]M26x|@E[Q3Mi+65+0/u@^HiaMIAayIZX]?4b_ZtS{yXdJ1}#sՄ:[_A;@z^X(qCO\;R&V touݚee=ԍ._ř?ޖn-3/IԹe̊[g%W4<b.Kf%@t<~m4sEMͨ'\@.a<=c#6ݑ)pcw)V :YF3&S{Js!_LIzu:XBa0,o<ʿ/2%MNVq2<*O-g]%6ңx+&!adbb6/2.P.!lFY=] C7&g3>vA >e9zǡ'۩s"F=ҽYo2Ut x]˫^K TXJIJtLqdfm@V aBmJJdH4x8σGFD 5% V7dcYbW/W=p,De\t XGK2&Wm3vwPvnT:Gw`$/+&3,`r[n83Mr՛ IQ5PȌHʈľe0&#G%{<:2߆SiElJ _9!FR _q'iOk ]:ls,M)E 8_G a@X D-x@ Dp–M{Mgr@klۙo=[">بrO=mrؔ:Tv\_$ oFz4ag<: hLDd]Wį!XPrd803&qSdF3Ge$z W~e0C$_>@Tb98!ZTx5 aB粦 O=X{3C-\8 )eUn&RŞ xȋy&L1Ԯ g]jron,DA*}`dDG3Bj!Q+FNgZ)WS-tM)Xvs>4=GZFvPWhR1~N J5Rf:M\芄Q>wSbjN r6;'R Y;5$!BdQL!m+"7YRn 5ϡw'1S>SG{T+2k**)`鰽}S)p8dkWV2aR¯)v =֥*lj `& ulb\7iUj ̆Cf(ao \[ݜW)ʢ>:(V%. ᯇͷ雟Cs*:qI7:)BRUHd]}9G6GpTSXf7vChN>8r<9Ht\f] H1w9^`AYAH4e7M#Pd :L4]_\O;}p|RlTߎr)\Aq̣F7}luǰ,& ͈4YyVᾐ!05Zh7 TOݍY e>f%.լOưkwM 2]8PF54mv}B$y@b+`JoJ &%AGBgYZ$e?.q._QM's%gf-%[]X4.{g˷i!h9O/Nbv=H=!G:U˥ؔh=$,+cUᆱg>^cyI<4,ȕo>swOjalA;yȓV3?aC/ƎIV⯧bo[)O#,)kg#ةF %T N+wZ%#ʮ1i㩂R%e9# 3խz Nz~{=Y!V$E~ٻ=!49RֵyNQEJ_je(9i E <%]4s&Wx:Yqоˆ ʩ-!{2(65~'a`GC" 2vHpN! q"%hLrj{uvJ~0v q5QC'?G^-#]כF3S!~e7MIfkȔLo .JB͜]H%BW89vuml 14GhE!oԺ#1f,O>>Klt dh zFq%bM<-T~4"ZZX13⺡0zَpG\;Zo | qd& %6̟چt+ αrV" jJ<.,,VI,I(dɌy[N  aZ>I8<5e ,WY@W^ε]VCjYuEN_/p8Fm"ږ΃\xS\U"4h K>=|Oΰ$ *Ν\6 Eng&Z]ZWP?cvTռ\πbmo 5Pk`@CF$N֗(9#@q7+5h=˂ZI +K /i>&nm~~e=cƧӵ+ImZUm:uWͬ'72q E*q.;t#lJ[8(j8h1p?dz℞ #G%U|g[< ]BQuKBPQ0 `nÀٖ5\ϑ @! nl#Z/t0yV^on":D䫮"Dz _u VoVQjofXXu#Ck3g1T-t-Թ>%[ʟ@ޟ* Ե_H ,)׻dEp|Lr>n1?^uJBx P1N]0Jl w8C>rh02/p}e[53-mm: n&rWکd3*OIyLO,PȃdG@*&e(㝶!>nlNkߕrHzJE ֚k {)tZFy}{`Yٍd}if.ԇk{Z8ps mCA\6j`пV+.쨌>JբG KY>Rb_7QQ{>6كd^Ivu-/V#ʑvӽ$xCn3.J|&B60 &g5]])`ڻ J8V,~]zeZFj? {{ sG8$&^ybGcY 7aO_`nFdϲGRPC _y 6)wRcӁ!T^Y5z=Mm4W枷59=L\#`Ѕ=36gh`ın1 K8<If,˅B!8՟!s &Q[_ O䢚TΉ5df_qICs8).|AVim*BK.[˙"Z%!ϢP .yk5<6u}(;󀊜@gڅ+ [&Wge}4dB!/w5@!1:VpEEqcdh3 V[4 .0Q9zdfjdol{VʯX<̖/q $uT.L!w7lio,wyq9 _"BАLOgd(=W&?Ww!-Ry}0&|+",x켃#;akxOAˮ㼇IW~@;$Pް>5{h7€4rHGzXjjgϹTZ:V=¬a]AxM(?$p42c ^52SJŨ$.&Y2rA g_Hf˼3y% )焻74zUԩɼ8Lk싮5{g0&㵅ls:xz7ݑzz$ϛ}ҿீa`4qud%OؕY*[eSqs5szRwCqkB2`Nj6W@ Aχh.ffePwLVb!HUj64ZtQR#-msh{[Ts'YGMLG[HCa5=_/W[c HV)_ ]O8xh 89#=~.g4rʼn j+KP}>DQ]<7%Y:*i3DVIGhkI$5 ^<^Um/ًa{gkǿ'5sg)5ߤ/;lZevb奊@"+ZNp*&UM>\mvw@W7G-oEVk@-O ?O, '?-&hY ~{ L2ҿZnWk]0{c)\,Qp^AstiT;wbwY.TR(ySgvծ,FAK*JQ9Ok j^b߃@<(h`hӥVf-∘DxQ A&qbNPצu%r#Y@pOz4Ḓ߁ g9cBY-*4rG6Fr3-3~=UHIOl"=AAfճ+`[+aD*K"' K Oe 7rz< Oh%d$+6qs0)Hɹs#[fjC+.E4A^r"*ٜ%԰җ8b,| %r澣׼hB S epSe˞nP4q㲲5 ]_(a6ZlqV_ c?h>L0o\E1jS9(LdG:HEo2 ,4,Pvp8&A'_3i}c 1:,_E댲=K)8@ 6R8m?wͧe`"|H\y6 ~L. +4mYxX/  \ $_SL+rP^3kg$9 +'+d`41O>X|X1$Dl7 F$tkZۜm8#kTl6+ g (0jCAgYZ k 9G# THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! Xb]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H ӕHi`8ޟ:rφϥTG _Aaj]5NFz.EF&UY qCà; t`OqZdoBb } G`<1},Qy&RDQBO9f)Ji8ɳKxM ]  yܮwQxJ=T#h8_WL!`}CbGMj޽NjK.AH:PNApTdѥ#àɷқJw`z.w=P\sV3^jev]$W؉1*r1@aۅSW3TT<d!'hQ/ CePJ油+غkwUG3~4u=j2~9CS66c|o5+Tf i8n_(Ug\hHCx? x %(%YE;- _)6¸tۈ=3˶G[5ŕ< QOYbb9*bGgy2^*G$* ;_>_ y>k?Im%;^ܿdT.u, I}D1]E IVte 6Ge0$EdO4 ^^--AGeKh8zUØm3G)y AmRF5;ފ*9҄Ȗg F G*8L0/oC ۓrq=T3yZTq{j^$ƌ%`է6>qp&p;3.%P[iy_ |Т gS'q /p.uk5¡JhqeAEXF&qpxEҁ6 p3 y>ݟjp9SF#mK"Oԍ2#&wp8J#=,۸M'WHy^ [ `,Pc  Y[Hncwd)Am~GF<;z(;O.Pv)<&tJbR4p d oa*c2ux&V,};E( ktBD̷BR@½ఄE)7NO,GZ1!ֱB1=D)+)Zd a.Wc~<xx0\.B&$Y_INu R}<Iw!D(We4g`STW,( 8myWN)j]pYڰIi.lh٦#vt7hhR(MnVEW bΧ9Rʻ09K' tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢1]D?7 {?:fH\y rŏT7pl $WL]5{)PNyPPz5 ;/RNIޖp%~wztx|ם+Eg$@Bca%W2e~rNt,&. 1gO(qCx+E&=:b\Y 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 ~Bepl>!y~a}_paFw\Q3NBrPV#H @ιPSN{ ]'wwX󗐮e7kMx~ %rl;^ۂZ5e'PdZ!kV.=_{ EH7GaLݜ(l~BJC2֎S1km>[4ü䄇BAC 3a@^*UάhIh7AʁV-$˻OI#\*/X\r_gr;p2>Ul+Mu1#COOwC8BrE*KY= mWWwynL"I'EQ玨mk߆v{i23$ךVSoRM6Q3dDv`eJ2=F)EMRJ.BG}g6 F{؋8!عҎjxʰ- _(q%)&4h[: !C[o 2p떛J?mL0搜r/D۫l D0~nz rmj3bGtjҪ|ފԅ6N<;w߰c(ghΧ ΄s pTzt{{@B\\7JN!Xqooba -\oݨsWEg PaÈ&Gm afİ7eQibTPeT)܊s` 9 @LBOisӛ JVwFYݱyBx7 (wcZ| ||nLY.j4l‘dzkc4mZi0eJneJrJU(*|F݈V7g,UZW[IPnc.B=fH,S2}QlWA!'T&'x;'U@ċު@h@FJ~n'Nof-okTw_"ʆukhxlaWwFvf95@B_ S a9@PgOEjNA8=px_:\D!~;GpTA yOV3'!v 1جI}w: D}0v!6#~#IGH0kRI9(9w2j:R faPY t]EL<C|qwi-:2X%7Cs_2]3ce@9=PJLz7=ڭg< iW;RBz@fuSSާ-_0_ŀ֒rqpҊRڹ\&i5#?b<5pΟ/ví %բ%@a ]ơt Z'b ǴLH9@Oq+5}FY uWh^ͺ2 J'  )St gYZD_kZ"/|9,ҩԘDk9B`;ijAꀢ9Ϳ~ʇ1;룍ȶ{k(: :Ս&e۝ Kg6C{H OVşM8wuٟmA`x æȖ:LNӲb>SI۹8?H=3Po!T#]:V=^ ԃK 氪@r $z['V:'qӲ,j^to[M}Vج vDOQTW.AՓ!%k QtP}U@/VV E].%A6%*awZy)x?U8;Dæ:N$ jEig퐡o$PNR:xO\ U]5yi)E$g(:%4VWJx- \(d|/v4v<Ďe ]*d7woy O9 *JAӕptshwm Ff nY3%)~c x{7!5ݙrzV:s{'$S3 y+!(n^k0S}"q;Iqjp4. y!L_owNMt!4Rlꆲ]wKT}2k0P;uлǔikqj"oĝ /]C,+I݀P3^zBJsru0 #^ǘ/5&31?F\qH$/zE8VBuGyo%-klem(47,-mAyuV35M'uq_V3(h4gyImdI7d,z8r@nD>IF"O2:/DJ6c&w *̉ B́X$rx4@>^6T V@bg$Sjbvm $ݸo0 RW<Ü>"rK$Tng4?>-V֋ϐ,,*ajqu]jѱWT*4O4FQVKD>{IWЊ﫧~Y9|u({]wO22Bi( rRΜ~G#EPx< 3hP*bO=H1?p"yMf( PgSz9i2}sO"! ƈ/!4ܧf1+v !>Fx++_ -x$ԃ +;%+~3&Bq(jc-0K3NFaU&7mc;z3y cGs`'g1zFfHta"7KՊ!nfmS^ -n㦇೹ o.;*iAJe$MZ7 \S̷TW6 }[NDEPtclg V&Db(q! DrESp*d]R% w:yN{R=SO=2Rd1Cp2m0SFʨ?̍IHNJĎa1h!/N9L uEQ yQ%HjK΄T{i2aoHy_Yn64Dh$;bҖBaiCW&M&@CⷘaĈbiw9vo* şeG1[A"$v3@6SH8.$ m~bxx? ~ IwQpDLƛ,;; T=Ss(9jc@RV UƋ5vHf.% S -$TNwދ3"(%sX-4,l~>#ZK`)V]'va&KGPx1xzSvAS2<9b8b8{JP&18ꁚ:OPdjVo^':w7.d!Rdmz"F %c1r<Ug|xv#Pa8yL5x^ޑ#O C\46/d}5ՐF>hB(}Δ͚mtd}SusdN} 0TέVОq "Qpi :\4ʖ*}Auc>Ԭf`,\Ϧs"g/+5IdxRHQ\d&/E2f"N~jcQQ!Fjij.Y&Z8MC꩸+ [#qσֶ͋\4PPwx]KJFHs z~K_BKCE}ZEDC1irճJBlcӲ{HJmb3lx#8b ywٲP_N(ƚ~jТwSOZxc>lϔkM쀂ףKVǴG#Z ht/IMx+A8żV4&\nfvtp2CNNb)p/BƷ>Wq&V}pcpmiӪqa5"P]e܄֙ Tći=x? 5Nf;n pQglwG#Pl ]j(YIcsVuDlx:*Hk}9O 2R'1c71Hxҕ$DwDl%}ڐ)O_x7nWyLB~\%Nx^"A8[$5^(xr]kba?kYr|Lċw] g⇚bӨ{7B~B揽r oHԿ9U$=f£P&O#)*a_#+%td}XT?md:3h,ی^p¿g6}\4(}#y^Kv7\hKJt7h]PO=oߦVr>TeDqj7e l~j4׵RG9RN鄲ഷ#pd>١m 4[ݏ vQt\v!栂)?wl[#J "RűƗ~;*6$!˿]:Ems.[ .h3`U,R}sKԱg8S'#ɓ,#; w4>:S7|κRgwT"Oj/ni XNԬ-=W%^kL/WKJn D1$хKr4A-mѴ=CӘ;N~m AӼE3!=Y$r,3W1`i;vcIYs?=blP=v9l/? 8%d;ji-Λ^CB)!pujq.NW:D<,fY,r[MSjHo[Jj<6}tefqnk* G52 %qFUzoHkBٚZ4WUO.{+v!h 9 àke~7w~a p᥿mBl4x{Z- #YcM6/}Q4P^G )6mn*bF,V=y&, Y~FsqhaMgE[Јe޷a*R JE̾V\~SpRhfb+)ifK{2E¼ٚ1ID7h Gafw mD-{=Ǥ͍E-{adk+.< ->?*OO7^ůժ gԾM~I<3Vj8eک3L/Bf`NqЛXCpw뵯x\c_'?zJJ $Uװ\9AfC$wDGw ގȢ^zJ3q9C qvUBH! )~t? 5NI. BIʱMr/BS@oeI C&+&-OYZƲBVPÍoqfM#YjHIz$|^f-'?f1Ha?E}ߣ9F kZy?.wYV/fr]lExјjo,jVlO^ŪPst&_1#K{,~d.4U 0e7eE.@ߒpj#54f1ekP%^p]PϣF};rҕ{yJ|>A ,q%CY)~XG;]u:᪟_'0>5(Eu{N6qQbNt.PK0l"eּ""h`bL[$%^8A'nbr^o쥀-EӒ G`\aggoe_~(tB\pfbZSzb> & e{6!\*s`!H6;w/ ;` 4iˢԔxeīcUֲT!"qoOei!1A!'"Yrd^,6VB!+/5t*"/x1o ->߲߸zB$LBd+A#~;K˄(%CI 87Pb){ࣃZ1X^oOۡZ($̪N3t8YhJ9 h:&` nV<\YBp'Wp*BwEgSGo6l{`_C;5= =\/BA9dvYTXɢOHLC,J)Կ~K2h;ۗudgVxEF T>[ +@PQESPۮ0#[ՙp㋲wOpICyNy2Ґ{3{psFZ0 1^H[>{)U l8YYc^QP/R  Y% V2BX qlA&a/?TIiACfhFNK/g \7]c#R9JzkXafFMdQ@m4t%5㠈}i|f X@GM*7-!hS&K,X)kf&6$͈32Q~C>q"EmL)Z'XPt:>DGǐCZWۻW BU԰~>>ҷϦZRH< J~I]8:ϨQXov ƥ߉ׂb -*+cLZT)|-܊?1U8;WЯPR>nsPBk]b@č6w_ KoÍ֜ɤ7b Uz;w6?5\_ؕ/2 P>#PKŕ7ua}TQY7l`dSks}d|S([yLۮ>e8.KL4uUy%sBUO##  .bdӹ3iři;Uy~Dވy_!R 8lQs|֒Ʈ%-!E}Z+g}/:/{8 ٽoTkuqsnyDupys o JOxWÇvu &<x 5u S %6IFزt3k}Zzh k%_u4l4U6 G2vYjU eX(Z_O_1gKO&_t*rlX^IΜ7VN޿In2 l}A$QCJur-!'G/)0t]œ1i˓ٸ\5NrKp7pfmx#Ļ0{ջ䥭!9\7yN 1G4dTAi2ϷD>TZppxA\j2h9n[ܕ*A2Vqh]+ý} aJlbz߇+FBʑS2&[r͈ +A:#  8{/k:hL gKDvhh^xaO q~$ECuʉ^m>LRm<7hf_xѢ}AKq ~G {NFi. vUjݓN+Sh6V7@,u K{!#xFuL UE3vCG߲2zƬ-zgxq T{zե:c:;pcuJ&Dz;<6\f5)F [KZu߅DSdU{R>Р5WQnԕfsâIk=ɘ[_.*bқtYޡG؃Ԉ02.'HP"u$:RQf#qS͎lbFqZ15d|h_ax`] v*KyXJaBkbp$2ܱUO/)"XvɶEQU(Oܐ^?ja }0Hl\k%N<0&P.]@'\~R:&=ڎGT[>_j>UUSc G*5Qnޮ,\] Y\év pT4Wn\nBBżOSh`wt% bːtpўCҵ}b6#X)F]_D+<;4g1z%[ɼٺWK3,ȭiމw9.X y[Xz+&kNfrJpb a+_o[["Ex]=10&qoԤi$RgY rQLadt)ָU"#VǞ ;nvߪ:pHe'{tg-E 1z2I[$;cSR6[H9RxY;f*xwSOٙE1œh\4:'AXab_T9ۉ @y.^}#SG)+i`x6( 4Bf)l$'iģN묢X %Y?zŰkQ'x†Oǘl[~hRؼu.0PǒFKer-])-ƕ?|YwO 4xR|˚Te=qd O{lQf! Q;]hG 4ljѽ|p|t0}¤3lߝ-{=,8زU>II(vMMnkHp_s!C#:=JxZ;PAF ڹ<"ڔ20{VťbT k 0*yZPUFp :jt|GNs Na]2M\:PG=Cw.0(d TA>{19ze=Csz|Em,Z*3GJlcA6qr dUyL7W}|Z+yw+j6\L}[W!|'hI\b2n$v'u )4&ECGtbRҞ j6˒/WM۪ozr2<[`-;>*슸K]JQ{Up=\ 7N IA@1hz Ӭy0^(0!"+q9p$N\BЬ4ᤍ3*vgء)> jP}&L6ǣ 3pr5OdPMV Ԉ^-.Nw#(Wpí^$÷!2F$W ɴ]ҫ{mw$-<sQe-8S L&G[|&!!CQ;z>7?|brBJ5anFߥ<5kzc#kKķ`7:6ԃ;X ZALR?)l.Dƽ}%=J"本81!C"lk6m'p'ٽ )xd5A)+gJupJo0͓_V-V4N&Q!Ժ;B]Ӥ pVd?L%AiM ׎\ s&ӏ+8 6J>8ͷA8N?Aw{iuY=G|:O | 9N6[(SG zp Ykrlˍ{(5æ/w&|@WBE3I5Td1 f;8 0Q\5Ђx;Lc@cUSp`FbP`{Ҳ1p}PEXOΆ.Evx 7g$.7Ynkea4ר-'`X3/ KsZwo@ |wbQYW ܧk+.rLJzNJڰAwpBMTU2}>hU-|~۽?9&.?t!] [[GC `g94d[YC췭%ӔD diثC~!Wz<~Pn;& I,]+|-)EkҜfz k*GU9898;e̛ ƹG[ zc#5Vu-4jg@mmJ*5);Gu++ 2UGaY6.Dx<"iV.0UgQ4HvEx^ˎV1Zi7n7{r9tӊY=n~uPDD$Y8ym Q`! sĉhWjL&0B8Ø t`[QI>C¿ꝨP#B;6cmBct~kzgc5KW$!Ei;r8!T[2Ȝ :z5O $ӣs#YpJ*iZ4.زkh~*"$(yrfE1A.UT̞:ryl,w]neV(7:^t:|R ;bsLyŢ 7^jN \:$y=6a@4q^Q<#E i~Pdz0D%.2 $|-W.ܔ9 {|0*y*9%.RkWah2=|;5|Ύf Y@8 h,"IZ~ j2V216NP$+"zdPt-kdM&^'!KxMRa>U^4mHs/E*@GQhģLga~j'?p |uyC-tȴ*}?:J|0kؙaNzx%b){fgI:N6|xeh"֊ޗi>|Â0!Є}e*lcR/5KP,i%8 j=0y/yFY;X̩ /xdZIeY@}YH0 ~4 ɕ/ [1ip6''H %PѶ_ǷhYWa[};:$W,iG}w-}QrNj걖c@\]j;u%)s45ͫ\pcl{_BW߸9%#yDI+h FTs _INO-a^1"h3>6 t-]o`>Įb! X +^m5/kF)a8Rjcw;IZg#SSSZZ]DMks+ /!A<φV*G.ȗ5 p^GaFXn>1W/ G*?aVht / gz|RƼ(zlBޥ^/5RCEo>{=9]埉]_ ^fšRJ-O˙8ftPF2M-OLUh yi>9]FMt~מ{_A3*>oDD#dɻ)81,sEt@\JXbPcKB:q}y,JNos.<~$DəA[$EYhag[TR@Ac Kܡ H(Xgh|rr_|깝U~iL(vr9MVbCwq%󓦘*(;.(0A_S^"׀DR`J:2\.L0)-Bk^tմ$(f℣WOO-(S59a8O9M}NTnښ,/4;c}!ovb (Pğ,~]?Qa-,<}wbԌ+ݖTDsl¤ 嬛δHŷފL(IQ?/GP5u~4 ;Y+\ˮF- (Q'-oc ɖ{kcGQl¬,`]Id ToJ!SI?J%@7,b+j3,M|IG o]Zl3QMkFk]=[7&Ƞs?py*daqCv? M [9i?ZkuF"ۢwtO+=EPc/ QDz!ݴ^0_)2bȟ0cm^ bkE)Wό+^4Pmg~"-9y Xx$2*A ѳ3AfW/:WJ˧?E&\"+-2(#V]ƃ㑨KnTa.vEUGE)ۀFE$Ue ?w#:̝͂vP}*&#k84T{]B;WB YXB4cURa9P&NiQٱ22QXgT%bB 3d|܃dub)ZͭË',/]c!1p:ZUw,C "0h6^:x{t([{@\/ܦI_@f}xʕeS^3M[״ALڮ" .jߜ$9#)^fR-@i"ByKlg71jb,) ؋tJqctC$E0>Y=+# WYO7tH=A@1%>pζ 1:ɜ_iVB v/g(]zCWyͥik>^7|\B,FfqV{-w5LTx= "9Docm$Oequ;:*|qc<a)/'%ns6lK{Rh[f8$үFh'x ^<FTw(1)_Dl7, uU%pz1T ݆M>FϔIWX/f"Mrk&{MC4bbt.DC#.6Sn'EA(v 8dK7k[pWJQl^ ?&QO@GeJAd?V!~>o: A~8J cg f>4_~V8[A[vOKE4& gnL2N/ݤkq׆i'4\sJAC̒`N`tbiF£=>ZiG~[0e]γFnPq]&Z$ooRNKO^Ĉ$t|L@0߹a9d ,NN呉tO.D]ya->l,&7‚yijE{龆)6R Q(x(^̏bҁK}Jչm*ex @D}ph|&C1Cs>i sJ2z9=).}*q6Xy] 8鷾b~}]r 1l% `J- C%.ZL!SQ&L?'R0 ib\0;N]g :L|gуSt8_?0)p+`gTce3MXVMֳh֏V1g{t'hB~o;fLuaA'S]w?`5<CSg'$FW)G~6֣RkUskGۏeݙ9Ĥ)c>*/W}_P^:p#E?M2野,_t `9_xsp˞v69\L>Рq<c?SDDk.OʮҌ?́:OiYvF݀xJFX朲A;Y')YuaCFy,`?Kf 5U EO%Nk_HW4Ī=}G[58۩sDd|.c jYŨdӣ1-%DT5p]-fBX؏ ܈F.)1P]90k,W1 4&a,ŀÝ_q(NRvkK\ `nI§F۰X Q~^6:7YNYt%QѕRQ!Ĵ^p2>PJbxu_̘]H&`0'$OOttsśN=/D-]U("*rEVuN2\b57Т?f燴VG3WAC='|IE"S0v ק՜Zw O.67,1sLvuv_9sY 6ˉ.\6M{AݚGXƚԾr* t2kUl\h\Do\QrD:8ގs-CVm&Z%:vޑmqdE窚zhD68,1Z" ;M# \ѱř%w|⟡V ?R; ;a{;=L i{AI5 9aW˴lwBSO'{j_X&R#`K}O޽GNS ͯ4*XC:Mz~hɄeR+}Io q#+ǀ.O})$'`M Zb1d[I%o??*t7D ܇U7o_6Qz Ū&!-ᧇbC59kE/C l}2< d6<4,yv@@l\ugt!# lIS>W0lȾڲpOͼŴqHxrui}B *-7Y ,Z3"%'|:#LyVIMϺE*!vtk0u V2ZF#j;/`%)T+n_fҘΪE]B-IluGR;6I91k󟈰dёE߂s\0rpw"" u]KJ3@ni?C yabl2=Uؽ74\_z J/eД6uMkoW1o3W=[؝g_mڬ񋐏Găy>7|۝ؽR%iz:M/Sc>r}0L\u_J@bEdVC^j+5*(\UG9W?9_A;WVJO UNR0۪uq ޠ!r&\++ Df&C𥘬hO Qf਺բAh!FONam <#ޕx/L8mQ:9rJSiM_RF3eX1BN*g$@եl;Am T1"J&#.,+e-"7B,1R 7%?+zdKLB:#8fth;}zOR,℡ٻ{|V82D2|"/{`rL+Ђzqn+8F)=F>]M]H|=8/y؁JMJVSK5Q1ZPR(BފbNζv|4Nae6HC0@/ zz*34D';m%?v靲N#\}nJ5畔m!|+@Ͱ +o-czH~`FZ='75E%h`Dy${!yR]EMJzC(ꉪWK%mrYܫu˟@`x| )+'LEArTw[m>-T"CKG iHsS'ڋ ems_؏ȍj(fm ה+ht)JpO ճkU~׀ 'F ~ax~q=f^K 0vPV5a#2 BM&Z3/!=5!emPV TżWK86ΰiH?(.܄Ыg#QJJCtT^RO"%*Tm>׼ѷ|  u'cI`(>uRw& UaHW(ZoY?2jC:;P^pMM?r*YnL4Ar43kd7C6Lr,LgcpSNxXfo%4x2wGu߆wnyɲr r6Pd[՟V?\#/ e̟ߛ1̑xA_\m;_<;pwz9h aFhAɇjFܜjWJ|p2q1Y "^u !Eוb?⎅*,=z1p{U,>BL<- nUKuSq\nPڭ|j~^;e@.-l^?br0={2oF.]![V-G('%lRa D6!W.py12T*87'O:ZY:em'_x Qq( #Nd/nwGe ÔÞWMIEJKkȨ*L5|Xxs!5!g;c%[3I`y" u? +*։(r#y/_'mS>+MwOgUPeZ֮":ߠqk{۞<+b͛x/} 1|3piƯU~(%]Ch̼PRN>KYNTemiOQmv#YCMǧʉBk`F:3nOn0f> q oRpme=0X~JMpy3=sa^#[nAej~[7z8/תO ,4{IG2\< >>lQh梽`^?A'lwM洎Ӏ| gJg fٔyz ;?H)IyVBM-M ` pcn>?^'I< m ^B~2/aP'ݶ$9.8 CP_p҇Bb. wY܈O|2e.J@8][YMIL:15׈8z>!oZm>0'ޭpj@ wIw7h$Jg0q^fh;B6JNߣlj ۳&vge Kȥ=-zhpT+-"Ql\MI{xϘ3Xb[1Ma]Db0с`5-p+Զ׋Q1=Tw-R7c/ tI` aJnta(_~.)v>'kp*kb:7S՝@/^ڋBZH@-†J1d?Fx997veDέAw3N؈ )dFQqc\t:Po2;^X솤fEQm57ӽ#8rK'֮%2x3Iל j^ )Zu58vHn]2H }`Ycɏ`f5],ӍCTJڏ:K4kl /QnIƂ#7m4/ ,vZz-Mf:481ij-/ɜjM;[pL o=f'OoZ{~3`&&sx )2kf?d:~6 >N߳-RGo' EaeDUk%u<OƼ ;OL#Upճ쑲LbY&C30IdCE`4!J' dMv>p.SlyFI3U Eό.9:u#4I\=v!ʆ ߣu5"%A)`2h]Q%}"\uX )3 at #z .ԧhu؎׮&tƳf *M1b$9X[Sy+bu/ʒk#wމA3uVjv] 6Rn$m@li\o# #zc@dMvTҞ?4p}q!4s*vH_ >XyDmTcgdSP\J <7V$') iL#U\'t|Cao6r4~n6WrzK9>wf5xR83o[o =G4m6{J3OsSҢL)ןie9eI\^B9UG1{jgW_ &sP5wWv 7- حAe%| $C(i1;x;@Jrڞsb +`\A]C%3IKf&ֽo FΖ$HC^L'0]eUDH8nB'?bnUdfD*: <ێÑ؀vS'GUbjPlýWRf2z3E֔T׋e:!k;Q&ҬWJxe΋md=O⛪x85!+zBF, q}وXY*c[E "5_ xX76l4Ko'N o!=X>s$Kb)@><&kK%{N]LE!>COQx,(z[+nlmrD7a-: 0wHJXT-2Xt'5{tqHKPl╫eXL-kiⰭ tkUIyύYuUY6Hſo3"A͐]5yp=y&У<alHOI7>Y!sr~8&%ǫJ8)虨f*d GFabF"A<|ͤ;ʣ%uj&@~^ "xJNw zK}j0Y A@-BR630}p۽).Q: IZ2#0)U 7BfVZS($ޟ^ zD"K?9s6js7>ӕ0r!Yn3Xf|aՆ8cdDkՆȬM꜊T'U/hԂ/%Yaīa6W>LBiRu+an^a<,]xN%AvA<rDWd.S]R KK (JnjT=N;Y>7 G_J^l1(Qnr;h*DLA{XGA5M2)Lܭ s$NICc p(qḡ Q2Tp`"y9XˤT~c(zt=j-ŤݦD~2nb2+I9-QOulD:/NZvX+=ӋwT<`SLVIJTޘ .5A4O}x,jc[F0e 8ƧeP l y 8:YFG!B$CxHOLֵvx`,IJ> $CMUUMӃ0m7e+HSyoK}*QA1Te$dhmRW2+&bğJ轕`.ԗe1/\?fSEư'YF<4W9\Mn#[wbyU-}lFɝ{97Ra M'%ٟG7YK|{͟cԘc~̉B(D}p2228ۼŴhQqO=2Za<iCuR5삺 X)٪ ꓽlT'PX(}2ן>SI.nԂ=%~@ )f9ͦ Z9ͽe'/4X%PYP| ˆϭ ׋}K0M2Iˈ}xh&u1ܦCQt&1c üP؆5Ź\KOݳsY.-mn >bxk Tj %gkI]7V[$ 7N\6(ʾOMS鏫Ҥ@ea!zaQICR#p[^3{-@'Cw +h͎eF_$:/4-)Y[ZO7pQazH1<2kwl[dlY7!kvȐ릣 P#9's`?/W|pw-}LHiM4D3#u@wɰO=PlEdd$l"{^D٫0r(eN ">̞2kFv*ov}3,SY;1Ev%&H(5лYtv<)3ej}O\51ؤBӅB<]%66$)Sޠ-l(tbx *zgoAְ-,6J*(ƛH#,$f½xW*bTP}s4.X]ta|}L;;-@?S5Z=aiW" Sڪ01sy*c{N]7cT/Z me⠽߸);-tVW2# @~PןJYNT!HwzB\t=r{J47|[dJm)F @x*sgS)v3Myc>OgM|MEJ)ׂp#V뼥,Cݩ QM)di]qMNؘ&, 1naIIG<"݅9G_&Kߝ/K38ұgYZrжقNWr(equ}.b%1+sHyЉ8Vl73I;DREQ%nSUcPKA%!<9"ۺ!+Phe/#(}DWF+_q{OKCJo; ٟ@X!2e^XD+q!aF"z}K@zjǶ{PQpe~a*5fp NF/Y?> jKa3Wpu_gUaTj7'stpEg`~QF#z} M&<ߧDa\a+v*h/J1ȿScG߹PW;$_/ǟdb"YIې-]G[֯8jJy0 ʬLX4Ō$^d4\%g'Gw(CguЏd f]eD=Gg_Y{z&Rt%ワ}$kb:l&:;H%t||AMWS!wt"vH'_&cXLC8܅C86b̥37\ByFD : uJ4S7?mi5a)1o<gvK:rKC*a"x4>ppi 3H*HOެhwv{Xd3oY}U],wg g':^9*KC9)6̧#~M. қYsSt"p/ŬLA73#{a .{5,!J@?2lbFJe8@T?ӡ/uY4`jk`uY%A+;|U,Qѩ:&.dmPL7PTa҂v"f#Ypy(^]YF1N\\3hB AHo+Xу@c\1v3 n|`\YZuIƑRY6 Q-tdhNc:UB]PXEN=SY|m(Dв!be%$ -͡ːi_qωNct-Xej1!V_|I/򥓄<ago{h%; ɯIp3|>Rśa_AnK]/H?{mDP;ob#5BwoYWB~SyA{J $Mc/(`EIR!gS*x\k &zcT\'$g0'WƆ9NPUNI_K<e L7eX?P9/g&o9aBv~ըeC\ 1#VnR֔U2v*m#]GHgRC$1 /n"ۿ%[Z`U @3 ^2R|)QV9U8O`k.C#ٚk20h@{҅`59\3$'On&|40==5"1EaQCx``RJod!8Vk<a b#̯/P*cGAJlȞ;ÅŋW+3TؙIv`v̛6Dtj߮ŀ'?'Hv,?-o#_ i|Gvi?fƃ :hN2腰w,I\D,EBV4a^{ߎC3=2z]z.ΙV_Rðn2ߙK*hQYJ R!ی6b6Ŵ F}cN?uK޴ t[KU'8Brpym;m{A.[8|6jʥy?k襕@egFp7~`Uy*̎/`?J9C&& y'>[8;SfֵPKIP'F趟 c?vα ɦM󔔱 F$L.% 3=mf6iK^MCsQ84Q7L.%1yΎOlXFGt(q$hl^kve 3ll%+fP&«n][Ѓ`ݏkŃ^Kԓjݵo&¨\ĎS-3g4Sy8ACHq,MurSiٶ E2QNI# scN m,T޺ )Xs6 *tJrVCb}éΌ-z%*D0iڛ `|E#@ذĵVaw\ ِ"tTSjÛr:٫NxZdډM v/N;y7Z"BWA^odӛi.Dkљpȗ(39*jpDОmcȘE"E2zxD^o@urdl#V$ Ȭ4Yy\PbT{[Wcjf /6~)up)_bZC֓c(Eq' }4ϒjR(f[L53$sXRXh'j jg)[fxm'H(0 )pB2rʕUv~w^bWZ֕ &"?:⮪mPE? 9C݋pG?-alx>!} YɊH&T-liwEe/DS$IƚMV,Qc~]vQ+!JN)p0O|#P5"id% j ۠N:Ec^9y.cQB)#]-b:bٶֆm ggs-r^*қ7OwP>T`B ~3K]+E/ 27{)0"W'4H}|E )CDaO}ɮ~]O!bIlÅ5;:oGN~=U&n1v#+OYR|5k׵/rȢ#OD2ӭ"[>!D94JV|luq%1/ sZe@[#yC}v1*bN΃QTCr :ͬ>&ߗҬ9-S d|u47!C#.,eJi]c4;Sr>CZ#|-"2C@m3k !ɩ V6.Z!߁H\p[+WzYőkRc<+hj #4 $"`.JU4B2O0B}(}rm9n/yt<3@tHPƬhedjeX߽9@ `|ܲy;BBƉhŽv~RV"GdUS@bA{gPtO܅jUXl g'^ G ~5;h{;֪D@pQZ?a>0ڏu/^Soc0=/d$l­lBw$^F0'xP]!$ h%# U3oN3W<_2lL`' T!G&Gd$|Njg6.(ѧo#/$;4h0M/]#;)Ѹx1'< mR&EM@֚ m!%$h2k[ w/nԗY-ަ~S~v~‰"yvY(tШ({R%Ž`V"jr0nۯL>$s4H[ )f%}" 3B <&AR,µ bjuM“ʗBF;8 ˤDr#A\ N[&Fϊ:QQua(iD; 5`*/f'c˞sq8n_",䞖h8.E1F#(T8 P(ix1a)hBWQ_ldBWdDP;iK9PIR}E5ʮc۷Hx\  { \Auq,q c7Rwy-Q<} =pfMy)ίe`sݨc4f }#`nB77KHb4AʚW>5Js /sO@u@sRv 즉2k{#Y)?0;t!߇);M,%=&ގ%uJn(l˴:Ժn< J@uPcYL=2B|n1 \R4rHF}#{X1߮ nծFwdt/ :_ؖDaWƚ"`z$KZpRdLbl-v{ _U#9 uUd"<C_Z2х/s>dɭVԍ_0=k(JZb˪V+ |vSPAD(@(/NjDc;X˄ȷuQ)8Ht?hn1;]^ot}I'xDu7;4xs-g;U_ItP0]$JZyEԬתLC}>h'ﷆkO늌so}u~\N.ha=Z4%mKdq ~ZK%eHo8I ,wJiejsh~JJ߳Q3~Q0+pYE$Nw5yRCƠH] `cYREdLe'yv-eU%: t;~:Ý*5Tupc+bk.˾ ` A>cֱf 7ey#c&m?;3kI#dFW<}ފ+6w4u*X{A[^6)i. ,fcP#cݥFઃ)nE[:›ؐsø"'g%nVuD".ym,ZHF3(^@JM"^W$r)ɠ"bFR!zY.G.՝e|KŎmӁb2x&>?N>ŀ>ѳm6 2B?N:o66IzS\dEv{*VZV T雥+VM>1!A0NPk\kROj]h0XN< {ݸ/\<etl>7eY#t6+JvhE&82E=Ȟ{N2^d43)(0~p#0ߔv*X.;NI oB$TyXR=j_5;" =ė;sl ]n9"c>bw<H)Q`k[,gF}> fc0BԳj`sfT>f*h-ztCyV/'U%@c)d[uhKׇ(gE+#)Mgj 2$U%]׮3lvw'κ"dt3gP?ϕ~]QlM؞mHUR>L`yIPEȫDҿfX3J7$f'gOcX')6xYǓBmbQ t2n41]!c*pFn 3^")#.}Q5j@C39[Awm() Jӏ+)689eo )V1{{ ǰFG?ߝk9O.Q;냛I4Aey]>v(^؝5tJ` .弬d1caIJm -*+kpO|g$[>h:F`fpAnr7GQ`A2-䴗.AF8Hyڪpc].s'A07hwhg' r/R^V1$@dnos4JZH>0E {QNz{΄a=apP;ĹmAZr#8ǽ}ojK%)M >?;ȂnxWb`op+g-6 9?3Nl!-uqhsp>2Z)t8S _ =vZ{5 T`ƀHdr*n}9*A@ Hh}9WyFo8Vڶɞ&q_8.őq֗!imH2s Bh2 HT^Oip a׮.JN= A)šv+FWP:<\:³w3Y-Jl)ǛKZ*h-he&䶅|JYpDhgnԛ¦leW‹RM/{Oѷ.ҰWbZ&)l4 h}YVц5>VFA?6"Y ) M*)v;U'גNlHd c[iRIRy708 g|cQlו<#VM'@eя2h V` x'.$ ΡpTrqnhMi3H;@Y4pY„=P< xt^?V.Ia؄ wQb34nQ?(/Ʀ${C;fLΚTr(st$w<,$q ~ōM}oȃpbp1+~c,̔pZ%i`R71bXL~!恆TW[ON8HBI'VfJϭ;mO:sGb}-ח, "͵oM꒞Ss-qM~ ]D=w?7)BۣQbCJp'Lpi&}g ՟Ña&cVuJizN?搳jq[ k(VNGAuv4i)2ҒӿPp˩S5F~x%l /ShW'T|F?~6cޯDG aX]ΛH?aHJޔh@4FhhͮUP"$Nm\W,a77 ~`Qd21ڏqpBp9cRizT|E̮BC>w9u;P3Φ껵D{>FtOE .+`\KA!O cB|Ǔ2lځSu>}5nrqp6.*^.z?-H+s^Q|GŢ~CNQm+N}͈f踽yRpVG;(#@Du".wлFږc06v8 GU[ZЅ7O:)oDS!fcY rt/M!v3H8N+QmY >0OeHwo" 8ÓNr2r&/;޾J7.5nJIId<)o^\OJ)́}R}՟xPvHfM'k \0DߌWnZaTڢ69=K(m@RwU^71a SmŇoM7M?9ݼfm2"E~V5="~::<$-!Ē EIFan;y:ޑ `#!1SD9.˺LjK$M-!T>,XEר?DHowiזN$EL8[B9ɯ j!ia+ȇ6WB 66tRYlf0m'}# ;0saU&~̒8D sR?\o4rN/ ڴӊBmiA j^ Ant*i_U u'~W#/_21gh# S2Z*A0E#ٹd+Gwk * NLaf,"(ҝHJ=K.?V>T 2@X`M+zu˪'na{(\X9^RXЪ&e4YB+Gto_|:wH-=3Ĕ8V6Gy$ƞgϗ W &_=f-5ϣUajw"jj\t9 SVtV.t%4{O+v8ykHBD va[-_Tr|cVJ%m;~j&.aI͛ï6Jjd~/)蔭S+{M.i`ӽqDzAO1II2`>V/:4X}?eY5޼W#))`x}̈ w_ArJ~FK2 l(ȵͿn111wbR?sº~ˌMH}Gck;e"ಎx'Iqm;$YdR=ix 9~mZ^bM|I*@jmƇs<1# '#RGm hV `5 Aŵ_ԡf*>' HM=.FjʆV>Im1fDVpBY2jFÑV-e>/OHa`u#LW Q;x)—E5*nLvE R!!2~"˙n?H A!QLWĔE0(-\:OH*tI( /2HaRm·>˖_WsynE;z1緤e]Y^5_Er Rnd͐FA:oph 飭D҂>Š#3U4ENCP`[r5 YoY헪lFAB?Kݞ>"? _|$HqylZrU#Oxv7FڙK2&(qԌ fapq*$@עeaI R=9ӵ-qgNPՏ1)p"k꺅_{:";+Ӯ!&I0njv9ZR"ٞ=Ri)o7>xiy+Ŀ7vL[忸[/c=*xb3݉V} Ŷ$: +$̉5I4/ݥ{7wSB&[icfl8>P_xH;7Q4%朏5I 5bpūQэrO?@"e$H VSW&xkU:}r7Ms&AI6`}bPCQ8Xt,E\_߇`3g!Saǀ)׮]"PG5(IK>  %/KHn@A[լqUXJ{$?{(fM# eĝ`ie0R(I/[t]Í%]r!+]-gNe7.W ] n< rQGS@YT|*E5]mGȵ| vu,r@)Up_3>r !"hB>g]PgyOSNC z>OBH"a9Y4 XTF`# `1^`>z=->ďO8IX+|J9.7 JTky2\67 hb7#~!kGLTwakD6!ɮҹfߞRC,6?9`Bȅ‡#CIJg`pҽlZb0 dmW|Al] 6({ ^tf˧4|+΄<:8Xw5Ed4&rB pɄod8L37h}Λ-FXYox8錁6)?N{Eb{{ 0Tvn[P. ɋi ͉}lT+јS+^؆mkFbTc ¯hZ7>*ou/j]4^k˿iMVXt^ze''a&Y3M  袿yȕK|N~(u*8Pش$3?CB]( =jؒuD % jݢWw7P4+VWpߝ:A|݆"B( )7SIm 4 $:k)Xu3FAE8- ̹S+㦗ڃ*Tr\S~ ;@Y|V jq8`hA?R PNsF f=Տ8a#Hgs!kV8G\[56k.*`rU ĦXMٻN5vyïIuVRd$QKrxTk!j _x8OIK&$h̾$ke /C]¸JQ2kˢq9Rݬf̀Ck>n+vpҙ7nYrMǮ%%'Y2ko7+lt(&:6GWX )$EWs ,M~[pʻp,Mix4i i5`MvN(F_I9:d#lYdQ WAMiF䍥9#{J{%2S7jt4/ T.ֈ[$Rh . XIWSq و(i.?) 3};Dl~/i[TΨtFȂR KYzF>KnT #[C$%D"j<ᨛ'2&Tr-A@4+S4# VAF9l/R^!m)[j$~?Apvb@ПYF ! >UĻ/}wST pYk8VdFK?8gWV@(n|g-J< ^-OT&v߱|k60 h5n ]^8##{nw4ӽxn1V$E+4T8O .am%Db4nBvAfV!)fIWKS̮̳'-90$r-Tk0c,29gˍpM)d/ٟQ[vfhF }zЫETGE*jg,DG1[(?LAm;\: 4#ـ* |a4O9]owas. ƀpTՙpz βǼAq@I u{" G €RI pF2MT]P=}eg>_o&`i'B8=Z% WOÉn#(^nj*v#7 \uw%`A y8>߆7?Umrkې%8'$V6xqM(Bmؓ:~TuU ?ѫnY@?)ƳĹM*ofU3o$P(7"};ߘt;{6z:m46 @&4h0ԃ~c@#0G]k_Riܧ/ ;F"Tk{6bץ a6[|gd{&6l<7!F2 ;ƣ2^M̆rt30U߈xy}|RZ[0m")Uto{m%, ?نl2,1T&1Y,+xime> Tcվ[&7ښ?dSIWvDB"|)ر_R+!΄aŐ0R"ԼmD ŊCoVEv)ˀSCQx[͡hi#T .R# l޹`-D`EMpk{F^Yzo]l10 EXEӆ7~x}3XO<1J] =ou"343jaelE8ebY]j^"`bڈYB[~1 Ҝ:}qd<J#У0 Zؕꬩς'P^50~m&pSoDPBhXVf*heLHm(6Ŵ)i ۆxVaQ6Em}9M-u>D\KuP1jCUZBiLwLu'NPQIJ`"زLln[7 ,~ƸmUuÌF;Y$̓z'tf#kFYEW.F0#lMܵgðkTKj8{yc,]ZNqӦ}>+}Z}7 !Bz7]S}M&sdO[ր8>(S%-͵$_U<5x=M:H 'hS)cC[^OS'XJbaIw/ZIG32oIln^'ӱӳ#dW=| r?}ʂ]w=#}Rc4\rVC2 #'TNBC\{q3 yN%!r,rab ALrj%0i~ZQdy]75sSKwהǵX'͐VadtSzJӑDBD$;1-\ojm7 \N>M@/-%CL&-B5;F61㰵ǯod9L\~9Pe\0+ p{u:.8ϫ+|^$~YcQCP31:Sp1 5\R` dd6Hǖ$,c~Z0m{~ݐV-'x-> Mxmls|>}:iZ2h*̨RY|E--N `knB@%'Ki$Elc~-0Ol1({e=ͧ\Re"@.2Q!͎tKcܔ sN.En!e1Qؘ2(֟]03Fwl:'7'b%('+~{2n"2V¡$>??H;lmaGN?{ӨjΖET,  #N y0iϗ$6jf{\55T!-3jKQiO^D&fQ9RL,֒ fcwFRcEA:_ om7QԄ-F+E0R +RUznXH#?s' &%yN8tTM ؓKV.`/t[7CMTJ0Y5T*cr/&p?eP^ӆdйOE)aLl{< )832c*)tg0](vBo4[r?8zb8)?s1KZ J,\T>6ٺ#&,36 vX'ϯ坠P]z}66@m@dgIQ'ZhS"Y7,Y%vU@ 2@լBqh)O!J!~N L&Ǽ U@'Nj'|0rϏ=W /`Wl~"jZe|2R${u FAw"}`tjpP6Ӭ}S `%,~V1.~LVޠJG-.UoHa3+n\f;E1c1f<Οc[_HTΌ)4)D_}}smD2FD ŔYIo"3 V ҅3vŚ>PĀ$,2L2OzNWKޠBtBݯ .WZ..ŴY 5n}6TT;[vkEinN|Чm`FbMn'dLuHyI`}bҨANJg$yqiY'0rźX?) .ˀH<}я"qx~V}0 YYQfdq`*u{WзM- i]|K*r6ŏG#)ZpzGYQZW*,@TɚSUh6aTHٙQ}S-:c_ FZp1$vk*G?Q<X5*ْ%YG°%I2M=e`Ia"/a,.UDvݡHI}8$*c:!#zQj u[e3$EZG9Ig2D}="xﬥR[NZ[RxP*9:,T2YOˑR+P'45|ˋVj[_'*و'5vb|ojdG@(|9z?16TN~iCy̚ <_p[%]g3Z!ز31q8>ֹUFUYsXެXAT&,AEB2WQ) :i\%?lxQ khz{W+m$Rr# bM*B8{bb^h W:36CCoSk-su3N!Dt=Hh/ڄ̗F+#_V@%6.#;aR<)Q1$ CQ/j >uPㇴap ʨGW^k/ @|)ρ.9(3±^y / O$>=%#SIVT#A6 !ghJWP *O[̆1嵪 bj&&<eh |W׼ _SɭH-Ȥ70MY@098s'x&>1B2yㅤI9OΘSPЮNј/ULy6|YAͿ tTe|@vAU^/ g jDk /^k냶nw[/s- ,}ZQdncwNXo$nć0 >xxc/VU;l QvirЧ;#(<TZdIJO4@c?K9 Se%0pvni!$jlh؞է{ ,n^DG h&o+xxՌ7uh`v?]gfcSr|8h&Hσi:OͧEy+&e̹Ea:~j 0C'2Ol ⼾0kCe+trt*9':r<'F=kB]| (Jdzo*̽,bN(q_S>.Nny#.I"12={K=4i&Ivbd㊑El=p[Bt$c e{sf1)|nf.~Nv c`/OB`TijQqF ܁\A [Rr)<bt:e}@P^fR0+V僴 F4ITp['KUItq sէ5̊24K41(Q]5']1)}ZٯP6h]4Tr(EJ+45ȴO৶:+um7X9˲aCav׈e!sk 8Wl9 VHې L;)Gsq`;pZlPeyxڒY:GP\cɅ05F< 7MUHY->+,<5v$Ƙ9R:>U\ I_c. vJqCYҊ?bGSW%hj{uBR'ktjIȭb>gNrf惲b1Stm_KXal+Z}#U=Rl]`,rW¶51^:x ,\p΍*,=EwkLtԸfZ3Yrs5dٳŌw DraU~gs̿& 犃Xe#,K+'ӁV(^V', b*\$F AilXSչxWlh6[$yش.s:Jp3XT>0N2A*mZmNV!t-@{ > ѕ T06Uc6FДNĀDPdg'MIv_ύH$yJp^М*ɹmUmջ hP5]P}."$hcOI/6իćӅioNCn\ `g6)(.z*X عގqJ6C\ /`iwRކt)/K?q٤vm!^Hx%: 44r$JC5#,Dݑʸ-P/?pCW6ɗ9˜(yܦ@+ )Bo4-BmXJG%F! JO*5Ț\U4y;m0x{(rO{drۜWIAZ_ט9(H 7׊z0$*E a.;d(*ġ$aQR.K NO~kku/g&zNٮpU~.0o\&t'g8@ g' ?;o ھ3)f=wQ5j@* Ĥ2q{8`R>(L.HL"cv#h!r&JUoo \q47ܤ%|fOu E$lŭ3y.p,zƬafsN>:$U WJs 7Zؚ :=KO[TH3Ѿ>?OeuU`3N*nr7ZwN˜#͗oN#a[+ i>S)Iik&=@ϯaZnVwAcMfȊGe]E)ԇpkWI5t4K6͉ni3 'V:͢o % cP-ۮx$I7b;YQ,f\" DCf$1:ZA'%b4^`p"{M{u(u<`U ϡ(2,ģM# o|_lJDÉ;zRhOj5ЧJ#M|pQ`VVpK'M~*hjLk+zMy=0_-5;;N~PMQU _PfCJ 7,Ρtm3W})Fk/!'1΃Xa',X@[=-eS+OZ=I^D=$UD4VWm@WAsBUQ%ЯǧJo%Cr"Ͳbш4 1͉FzA'lvLӭh^4Ï%4ڠgWl86R8c SqO|U;\5OD+zM3 0nt|_mJr\9|7[m2[68ٻ5p nI޿Nؖsf6 aQҊ<8I-̢w Jg5:gÚ5z#Uou8hjMnmCVE'B(εʍM 6b/ʳqpct4(bG4-5Oۗq_q8WU1H70 Zu 0'SIV]"\:8zdn r &7J0u^< V,܅44fw5]*$QÙ'}3]E=H[D _%RgA1J~N\^1r;p%T#R3_y&t8>JyV!1Q-8[a$ˉ pKݒ=B7R("+*2NCǜaS %s!r.xe?إux)' gKZL'uPU;K"uڡ@l1Fzu jBE001͇k"ϓ0 KRWo8D bP;_ !> @/EC,Ψ<5-"f< 'Rtak^EO mWkSꦃV䳌ג)$3B.7T3@4$?;ji!!ʅ:IU<:;qjǜgo͘^Փ\x4/όj;sfJ$A쳏4|7 %)bR3ηVD}fV³Pp$-l&Yz{&mXɹL#])`g$?ONvː0tuE7K9~g/".sk@#sʽwCN/Wx&y/Q) }`F/9Op7O$J!4t@ABsGA~Y@jD#otQ!pFS܈||!iX<|;z"أ3;ɯiBI\dL:B{TS27D OO}v+O 9Q+VeeY>3 I_Wl3ýjRjFe13ӠI0A LyZl9]aG^"ɱK\v_Z-GOe²x8 H!N*Uc3qX,M$G|:3"ҫ~q:|ym c~]XZPeکls8١"/jC䚍HI8^}8Y wP ;UIl xo} 4 e;1w0M?sGu{Q3;Ī.ҜMb{ U3b(#\`̣4Ha5gK srўc y $b~xT_,DCzU&v0TԺEUjPYGt#zw3BMŭ[_&Sm44D!ȀoO@HqI#GQp j;a]g|DgQnoȠæ :OjrUfZтoOp=CX 7e򏓺^X38e'G\.B[/uw.q8}GDa-$:[ 5|vTP˨W fD4ʳ)--7'ʓ6 uZߥgo!ʦsww\z`ăW_Xj}l!GZ'x mHe,63!ʟLUZ]Fg5/gߦCgq~R9a^~+ߢek dXl;kg3(%+ѿ_۔R.j_8{ۖIڷi;}3 :##^C*  [J m2@haF4.co hBl{oD3/aB*V #DqJj>zGÕ9?M8/-/K~LF9q| -7T M>>?[P2/O% uBTa|[4`t# q9@􌅙gCQM`9S^o Q!A"D,2D mתDWFT+t #Z.W4^Q.xuD^AMDK ÆkԯO;q=^^'}:Gpç9MW% aNYP%oH=萼G-UвQO._ Wx_d%_ *xc[k%wٞw:|L}6O ;A%("dm ſppd2ә4+(`K_CGO(xBQEFTMzn2hd_M41bq0Bo ݄r@-!\cXG{Up冺d+E.S‹٢nb-c;E7ZJNK]҆mz!6mzA?ۈc"xsP9PSTޣR~ݢYE<~DCf-get9Bes6S'dLm:nx40ax4]IB\_k˔-rrb3)V Ox .5@ugVZ#«TomrD*ZID*c%d<5>Plb H++X?z<Ǵ %p63*`Ή&2:}a4Rz#^4WlEQ]2`ȶVzzwv1<9!"WxQt=Zy erf'h壐K,,_45Bc,Ŵ}OLؚȌeVwYeݴ[muյfz S{oMtuophዠ] [ef!&,Dܸ(N>"S4SvZ.·UZM,4-c+Hp:)Nl^Hoc/tLWkvpn~9ʷ@3v2~ 1_6SM}7j]%1(Қ9Ұ<CY$8rĬZ[kսctiTcv=o1XȑQ:y>o֐7PA'QGUa$=ToC %H)MT{B{hgG5䡾X|` [J)lA.>HQT<慸iwktSix{}+͆0+-Am7Z0٫]hDWpEfmf ,:n'TyyO?"< 2*) Ӯ3KCԡY oAs77?l,|]Aчx%1+ 1}@Ƽ ZRM67`8dQ0;A}vbZI G_LIIϖFږ熵O;u=19@ "pHl;feg ~0b77HR P-޲ 3tCXj~ ㌿.%U#H^~l287{ՑDp|Ph588kW@z[լuB'4Cz&I`92AiIS4i3p]1Ll#ZS͟%_%(ԴX8 dXh^!L5=uɁ ŗQ1u\m>]5WCDz+ /2KG[oO2wq pgf"_n}@exd! fӑevx0V-q^d Cog׫8Ys$8ū]bVvEk' 7 Ѱrw>4JP{i-HoXV-X/䤲*z;Ѧ âMҞa %LF?9_QkQօ^}izn=W|):FAOd>K?WqFK]IkT־"]/Rb?V$TД.侀-6ThcPՎm!5qWJv'Rp6\ۚV 0´Bi,4)q sxOQi\$QbQɲx>wjtXi{/ap =He $|JRuLe.w1!el_7/I2@*Z)aWyC/ٍiE! vW|{h$ ݨncW7QK'*5U8ݶкFL*Y eV7z1dP'4K+,SA=| EtO ;~'YPN(K=H?+> XoY4xW[V8CUP3%auf wl P9,ۤ YnV؝E%) Y-oo1ZϕBȌ=#Z!;,ů'a'/|%`2f hiMF X҉bj\UhXB:}0A9²C _pn$U#rQmK^ Cf2!V9giza&.]>z ~l g6+(BAm@H%j3B̴Ma\1~j"P+W7)FeE9ېzb,}v])/]Wff?pӱ3Ǹ=QT>0לr ijr! l0: _LPkC݄MMz럿E^),Z 9B_4x\)(曾c\%6='L8?Şq螲.6D@w䳱tgc {(_<6E2΍ KU)"K !IdisnВ wB\}!yv&sZ0k%.Wc9Î?_dI} ,&6"bxnvjfjРo̠t4}w`!wХУr (2TTg<Єa%qU8Ǭ c'^E K]XY)G] *1RS s DݵP\A39d\ 'Hi}.X .I.l{/+9gk#IV 'PŬHeDq&eï6Kf#{[}w@@[݆scXqUY|fL4PޟْYhYUBXY?"L:9'Ĺ^D%-r ~BT"'~޺W:=ϓmF^j]_t ȫvm% $QN%dKOdFvꎻը܌{ u2= fIHKbM&ӏ*9&ը0MȅTB5$(0G3%SOog'"o+n@r^ڃ@N?fk}|57#C[z%g9xsD)*T [wj׍4Ɉk$Aa ƈEƆW (g=VOfdf#)Zw6[JzLlottFbE79c rF_^yVt(>=f)#KNZ9GT>E5H -.h.i͆WO١@!NOcsa[-'-$&'<@-,6qnߋ9]HuÀ =4 id/~'5=SnvƇbt[ݝyNs);liyo")yЄq8q S ))͉w~hkT:d5IW㟎".&iz[%dR"tf1w]f|ײgQy%kr H@0SXU)EDDAqT=jҍC^3ލ/1iO/_aڼRp'rWQ^ST99喑J| ra8&vR3jyBSQ`Ҵ'_Au6PJI6'Ԗ 6&, Btc|`D-]'L7rl!yEߓJ͒ ~Ko 1&hEk&F:Dƫ}:Em?<~$Wy5?MkQ/%!\5Էh=&7#QjY)4$`$뱤Y幸s;>k&ih|SZCBWBiܻ ZKɈI¤EGu_Q(O'8A9JS6ZqPJ3OY-֐uѨk!*mDe_n o/ԃu%br5-vj-U!%Z@Bԟ]b ,B( t(sd} /" 4}jR ƖM@9߂V'mb|9n+Lwb\p`SZu>#UPFSט%4]*8!߿켛()ڟ~S׫Ӵꢯ ~G-^P Q1[bL CG\n(jCed_rT-Ae В8 @WL .l _SeF̝c/a:f)USFm3Ǯ;f>Mn>vf a{M,ߡd:yKՇ7XQ$e-FARc +2;]m>V^ջ@[ʯ on}aTpfx@c:M.(5\'C{aMKV<aͨYo[]J onxz3sJ ϐ~47=c?tj|惗na&QǗ\&xY^):`ƍ^)rHN~eqiXI_8\=b(=QH2SO(6e)ծz$Yu/tw5V\"߲ac`Ŧ&>(S`.cXvfV2kD2'ovM/ +4"ӈWчsjR 鑌Ie}?"(1$? y27U_EbFY2C^,߰&ߓB3fn<eJrx g⌊B&ASI}gtr퍺>wc|o|aP ),Td]JH8޿QysxW)˖&m\OB9*շvFix"o;ؕ,jGّ}Dni 1P >/SvmHtebQ?5pϫ4}8A$RF:+ACޞtD@Mn4RgƸ`2ƾN^Q)<)S.n wqUQxXgrbA=8I\.1eL3醐~j>x0 yP]fC|An&}t(\ň7ɨFw<ЃY'eĎGTu9g13eؤ:WC7B_u`%"ފP%c5ɓw i.#39 3g>rZ+op3fmU̾FPiG[$ߏ/Pz1gYZ356a851e4b5f3b9c03ff84404147e5483a980fbc0aeaa9ce0113e5633ca56f2a1c2a09cabe613578 b10bcb97be8a4ee0d925cbf1e10b05af1bc94431 fbd2221f129ef32c97900ce42a13c6b493c2deb7