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  z9~ ?8Zgg+"\:v5az:ZIE'zOzx#Nxq=F%el&m!VG/#YpXL/ <ӚD>l#YG%yo &`*uKѓ/Ϫ|9];lrq7szP5C {Rt,R8l# ~H0w3PpihE1lSA4 I'wjxψ aa "&?V%ܰtEK CRq}nVC53O'IS=`aqrZhr; zed&Aё: ^ˢ7?EL8MRY_J}sdlAJX'$9 B\/nՔiXp[Q?UPpGH Ea1?g2rK:.2]p,v{:I'_%?^`(\ް]m?dܨMKDjL%zDY= ~XX@믲[>X8_nz4CYchmڕSG#Ek`$ŔKĿNځ[&(8G:^ߐqjo]%*Z(+)CN/y4Nn~YE iFZOgYZ7zXZִF!  ]ŗXiɟ1)*u%9` $I3v6gYZ7zXZִF! ] 9 HOL-Datatype_Benchmark8u9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id520N9G3 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_id520N9G3 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ܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~BNnhta D<>}46+XOܸI(YwT:Ll/XVfO+/e?h|fF.ㄬ[q=Q8x1ym]oyeync w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id5229I# |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! }]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db˶` -Hh.!yQ&7Us!)⤤UfdHl/K;v @|SZN{ hOhg8A&ޒ-:@].=`sN~YI Nxaqn ;{HJU}n`qrB8't- 0| ɕaǪ>© MZQoMC9].SމyOcˎ'8V]nj' P5 3GtyI@ ;hC•[ybK-(Eqv4Qd$EWn\6c y[bc?5^_fXz*TEфhv=3R&)o:b($\%z.Yt& jPZlj{vcL'`VP) ëkiXc^EU/`^M0S(= '흳Z+/5PdUqϾ;0N㪠V#f쩳S;ڞqڞOA UkۏRVZ|+-|j`gAU1< U \VQuU'73tG)-s%DB|I&NH5('%3ě+8 Je:F7}.v|B9 ̍ΰ Wb -PwҎ$R5_4v*IsIB(-)ϔIMAY,٩RR6Mj,{kCfl$wc=x~X_Ai6c۟)iZ+rSjI8!9"^|T}%Q_7.8LUwf3f)XHZ*qJHVɲGxe5- SJ?cQ3fcgxWE$qV\6<kRI*Z䫏+ 9HE^R1(Ģ[RߓoSEQzHkKJTinIv̋Gk>ZFx;wO-{Wj/0$QybQ 5]>bxXEu؞{* KTe=a=?("L`.aq#I(H|?I.=oFM`U(P2 Q%QOy_hQ0-i.7 =61EG UWSo;C_fBVQ)p%O}V;^PT3;pjeCvf"Ƹe%3W</-@#ſAg9jʾKZ[gV-iK934攽Fn63f9ݜ"Y1}P>e1ZM<md/7 +ꈔl½^?)GY"߰@$dkJy͙\kdJ:{<$-aXź<E#{4a}bGA,Z態C&@ 5 ȨO~on\F(oT*c1޷ nUӬgv !2οk[|_b(0rcM"䰮!4!r3"7K;ǁ*n<ే۰cG%gMp #3ׅ(ؽ_P\b *(yHj aENQK +V84D#yg'м̉'7ʩѐ@gm U$w^9T̏Cdct&~no Qti2}=IsߙI6 UPZ+&r{!+p GVfx~6_ k}YIM3 b͐.Ri5|uhێa` a5pV5lCA髑vQ<֯(5N}#=jx"$Ƌ24#W>)3|JmM.N\I±bRxƽhW5hYgYZ \zdxq y iLh|6rm9O}H<Iw3 P Z}q?BaPNsʾכk"(Uif\uReBG,֫ܓ˖%0T,u ueg;}!./. ݡn\:; Ϙܖ/w|3v<=M%BXd%3[z=u>aU𴩖N >F+\ê?wUn;E*7˻نayTxqW&GSN}*5FQ[v6R5U{nnQaʶpG!GMBDkT |%11,Ds!oNݗmO׮63pZ y5ƣ .ZCdAʲ!8hQ{$~J];W$Y!2ODXMXnc)T{7U=~eMeN q^I|7_C9!eLפ[u~3xPB-Q )u3 F Of镕Ro 6V_jS׿Z!5"OFyr}a𯰱wDNS;N!_2!c}OXT5KGj&^7kBl V1svH.}ca3M-=燁R x.W=fdˣ;1.RGma@ ,'jLHHTW[ s t Ps[bov?" ~ ԓm>[ tGgҿI^S\a~?'-b 4A !г鷠w'IV+u&8> wQ. u{݌ ЍA-jT fM-˪H] 엁.nչxJ9L!Q}.͡Cڀ2~mXsOšڶ5'GfOYŦos.dFUN{KcHZWXOym?/- 995'S%D!ie&9b/bk\$V6d>힚O kc">Mk㨚pG.\Q9k1L!Ip5d#\놇8t\ebz[qF7~xEʖ/""1:fo+*AHu%7Հɏn'PˉX lSqVeVG &Yk"̜\-!wiCcj@Л/)V vmRq_m#K;Sd&], \c=z Gbs%YzቡЌ 68o0}xb$Q3I]Fţ4J*v-YoA/}v}M)Sl>:W0=hhO/T hJTkF36E\Ibf0 PM #SpАM `/U{HȢ!>H"5l>AG;g|lϩ(Wʂ,{e3]ŸA7i.%he*1aE<蟓nIkМlNƜeޱj 7,tK7-UC})Kp޶QۯyMϻ z؍*֦zԹtn=mΟn>ݷ5z#' UoY25QpXXj2A2COĦ3܎V+_O z*Wq9A~6tߧ٠ -!EJg DJ'mjUlm$ xT(:1rꔗ96[]s g.$|$r7)eSɒhUj Op>lNia g6E r?gG 2 Bwx?$J'3{+G?_ɛ﷗>d|qPyHiW!`%F%@U͍,;f0t97h޿xQ)X"I^8dsT"s~H`!N )5@,i; 1=Bi3*mP{<|1WKqZ'`ߑt7=\.*1rCŴȱ ^ns*]ig>g,_ 1ė:x_Js1We/X:v*kEJ$2oͤ ?bόXB`#r!+x;QғgY ^RGny@7B3Nq2|%ɍ_曁s{Zfnj]\&8$-κ7-QۜL3U5~ҸvI9Yt݌${M$j:b3r;Yd /*ȽAj"bu!ď_,f|HȚWEp%UyՖe5҂hCަo)w4 pe4suxڬr!hQ$z˥F}CG<갈ep?)L`hnnme܏Q^ _90,!gI9 Iɭy q6o}smU$޼3 :^x zpćcw]d_ϵϜ\!4mˮ섰Fpe$mRC65ϢC`˓ /?I^2jJLl3' ;=;.~^w{ h*iG*eT|`gU( *}qeͣ'7bfue{ 3Bj^k?E_i vDŽҮ1pSiv`}%j(˰y,l`4G6{ŁoQ1VFAZO5T}9j.YgD!JDwX<y_1e!FEAnE)3Pve,o"G.ZkUm;^!b }a3 hoωcZ%UJ!P\[TLuW\e]9u4g;^a+{@lP͢ 4zAJ α<3ܑ_'i{$'c)uXn TR#95A7$B6 %ʆ /w r( :eWM^]չAnNs\ӆ)>Q'֧"eK8x}]c^Qif-B*~=-kp\LWcRG߶MQ,EK`+?P%%]X''I#yN,477LILJX4tں4@&:')89 CfW+Rm]~@tp>]$2#x[w&>wgHXcs&/aabs..D_F>%ZC_^1$\ǧ(xN4FU TLޯF`<def[ȠЊD\"/#&^s$xۢ|l[7MҐ3d/M^6CFz,@ %JYхGS=8``xj5NcZh=P HRGCM `Gxy.Pd虐ٱU6d 諑@Բ~c5VhxdBO_w:uˡOձܖw})ɾS6:J˕ U)t1< ~9˖Fj6¹?3C.mqYŏ/q:n.6J.2B0 m)hZ)A [܏sY_4[{cTKO& TUgyT$)-%("658՞Ad 2PD,θ6Og;}q: N@pK zfރ=[.%x]}\XĴjڟ ʜ:$q\jޘdUA+8\5]'1'$\zNCsԵb*&3#}98N lQ, |_L ,m<͉:> #2;"{~|""AS$Nwʆ,տI#^-UkBա-ā{cutkj>P~6W7W9R٭ ~kw"cxrU- 皩4=-J)x]czɞ/)Θ߆5vYRBb ۸hS0e&eo 斑Jٓ&JbWCYqYos^OC# TRE)PNw5V{;ނ3e+jg,hVR3D- y q:IgO=>D͚ &jb>x̞ΦC9Q`+"襇?C(~c>,Z9 p@4]?= dKh(> /#<`y)Ÿ ZiU|ƧӍfGZ_]g1ӽF^Cq&IqUkhX6~xD)3ys/vݢ8t^"'O0C湮3r;Ix1B$xP d^rWPpqd.XlN>O)T=0=pjY&#sU0yKLXAqfFzg͕;)mg_Ν< }mh9moO4* 9D M>> y.-yR\Wr rflwIiT+d<:Jic,a\jSgۅcҽSBBD'TWp3N,hV(e_E|LzGg!{Bbc$_WF3 { ߽ʃ*$~^AuʪNjwoZ P-!zp/|H_eR#ALڀϻS]|1э?̱CQ02 y.[|QT.ZgQ7QDaKt۹$11,&J'H, 8r WUǭ]UaYtʾ?9NMsh.3gN}cPv},RSm=7oJN wp%;Z1H_V.*"rx.NnWQ8BHq.Ii7VܨeMP^G@^EZM}˦[FsLNpW +y8Yh̺C-yuU F 棒NS~h>jOsh&OhKЩ#py|yxalQ\=ڜ#gMq{7msHx/}-`qRe] }. ci1&3RfF]sPU/#ԄT1iFlsr:Oy 6zƂ+* <+zٗz (8 7Syi!VߙOj2Ôx +M-H|蓯1Amb$QaVdk'Id va3SʥiHdEA}9Cz^e{`gXB7cu6b`QK%b֙PbU&| 3.wZx!Ck0WM{#TxދY:PuM!1ݖ396QD>Pv]?Zef/z=]8g69Y;K1p0q. [Rb]*UCywGU` }~t{5[IMn9tx`hU. 1y„,܌Үh2;K?ў7\E>tYjc_+ڋ҂&Ep09*εCL5s oC}K^ϚhDݘ>f1hb:, q,uI%4rWI߅g-p1RјdqJ-O8kQե${!Bw?~p! 8o&+VMEm;jk$2y#iE KТ~#'sʷKL66Lp(R2b +k+|iC8W]ZpNjIEQ!*C棋 hk6\ [hDͶ ijBdAZOmj U_W lީ\v1/;\ڂ5sz[YN 㙼KԢ}X/^hCp=9ݘFGЇ-'}.y7aDZy&=IX䜧wÎC2)`G-=p\Oʵ1jDz[x,eHEd- DBLay$EG5Ѝhv~JBgQs*Ͳce7PN/q3< D\Pe,*R]tH7BAcwR3^, %TZmCc{V Q9;ǚ@ƈ2^iK2mRYX}5fH(7!~`!yKt8a2ٖtybi)8{,),=!i:h}5g<.M D!p "fdGcZ*=/SK Z} 2#u_/|GռȎz9yV>.Z%{ae||s%oNdxX#*B!B\)0j G3C9 *8^{,U6\y,CV)e[ch0C!wy&rX(iN:n Bv#-j2١j!pʜ2<5 1@*F^D3Cϫ0?~,~R [HdxOW4H%ٮID]r_:Sph$;WFxUEXtX$ƭ8J5m,N qMFufMht@Ct*#Šhΐ6t)6WΙ7 \',Sjona(gl*Am\IU?r4}m< ǙX{S92nAbZ?*4VZٟB^JR0a ɛ|NHωEVM,]yY醮U9=Xh!82€(צ+Yzơkxon UQz~ܾ_(*_jӪZq p?"ox/UPK.,"Eh)cP;:í=ýǺ~UF9)mq7Ϊw&/{v Dnm~쮾{='dK"Fua᭫Um1{+)tu&(dEqϤ8EFy)ǹM¢_l/-"uo4*wrbU&" V@sqpUl0).C;)'TTUqP}\cɨULM6b,jSxJ<|u+ Lha}{]ZHfoJ f&,s ^۟4hWGOD{44hVjV7cz\~Ev9٤=T VӤn0 T׆h&/2 PKJ /pQ Vav'/8ŽX0i])Qb@suGTݻy A5:&}iU?YtlW5YX)2ByfkUl/׌"{KśD(s- x^эA3EgK0g ydzHglڼzګ о?J%ۢ7UZQ~M%q&P + އςT%S-R1WU( 6p"\a5)04ȿ0!g\PU-Jyh`R&SkPS5Mta8\5vu hEAcH|N ]հwI8d[=g 8\b%#)]_a=>hnϕS kиx=.}@<# U`'e,Qy㫆fG^6(F9Hdg<=,F3~SHFk_\#թVe6jĝBƻk6aE/mWth*$" w]Z7R-l,IfoǎF=WfğVPFd7*0,*|aYSoX볢ZIoC삦Bf5k[.6!&85h\~ ҇3=CZZl9|G*t$9EִG41"8K*d2rn-M'nN3v<"GymYPE<00n9& wJ] =̟Qcw]S223O?5 \]4^ӷNp.Ńs;x`#08zT=1s;``\$tq`Onu%]?!&/|$:~eCYSʰݶY&"5.ڼ6sYDѵV LwtW%G885prĴIlvfŒvhr/sY~Ϲ<&1oKXrZҫW'TzyBo6$v/*sp5zbE,Cp9y>p3vѬ%Sg|ˠ$ZWEKң-ɼh%QRr%W`ȈN]IDsXҎLZ&u0NX就mݗ_zWv*ڔ c!&r Fɱ=b1r-*gY,N3Nl)\C(!Ni醥˾نJ`{ V2dP! 5 ${~Tu۷1gH+LCR.%H0ƒxg\O /d 3,r`iI+|}6k3tB \N銇@puC6Y|#oţj4&Wp5/U*TW}T3 A3CHkLSk:MWA=ԓJ"$u^i"gsl' ;e0Hiy7*M5sPBIԵ$4ʴ xϖ ,%鉖IrE 7/8CQۯB%desfD۽J9m8O mLiau\%!)a3B|N͇cuv(dm-bΙON[Yf@zB5czTϘg>-c/H~dA$(H w,x0tC̝sus밙 I)-n1=!Gri# 0|٫>5[<>;Mb8C}z@y؆fvN߈Go~MXzBP50)I TVF5e Q0~;èuE5% 9vwqMaeY羰{*̫[a͒j7ʳVUW8.#ƨ0MM+垄d N˷d^1`y*TsFn!H%'En\&Ǧm,)0 gvҤ;n''l8j~)D @P;I'Kv2"&k1@>zd(a$ Iuq>lK`3WqMzO#t"e5'Ǘ![F9>tqy9>@@F]SA&Y|N@&b0,ÒRAo 1:43c."pHCM 된X*Xu"]'Yb] iۙ77"Gb?tHQ^"m I㑳-pOkZ6s}4_2ؾ0:W!;6 &(&%gA_}eqaQqyH:w߸ ;4zu%c9bg4 >@+R8n;ucnsG/s^VL7pX"kn;bZ>I;œp|>b#" a X8!f(wEjzKe[1e䊜cRK>4ԗb:Rx$9-$>}ejF%7Û7Wews /´~Nˍ\k$Xh:ҙp;5W~jujٞ/HGzEdΥ_!R8,!xmSB3"=9D4PNE 9VsLaf D 綆WjGM"a0mt{jL+/ r7^n)1&WSk3\:GɱL-Qz '>.I`I q❃fh7| l='AƽR6]:1Ef&&v" E[t,u6s"v-d9}.QB:5# [)C2Iy>HGINnO E8,^[sN[I:7W UҤfvxwV\<T_:5ز+v~.C!aMnqR4'&;)e0e*rŠx.f&0T)V.YY0r 7qIi^o1i "y$'HM>rρ`~;MII-`p)I^l7zx@ 4ZCw~9vL :c|kyULRnB1_RhxvLZ;y k"m;ox9[ՙv=<6E989c \r.;p+3!%/Qqf u/N.5h}ޱ]]rk_.'0 |.CCv A]E~KC.>6H^uQ֕J5k K aKd߀th*fʑCP䬧,nX{*sh61!8pJa#PVf&&ɥ;LsѢ^IԂ@=}9C+%WI]֐}2*ȖLopm^n,d@_l"^v7' yLY螋E˝5xa|/o$` lKwCgYI!Ke:!_+  E+1O8ܛ]`h}x :]l {/䙧@3C"/81*^+&n_t5St>[2Na.K#Ac(CUBKBc Iv!)SRC r)߼|h\E!xϲj9u9 k%< F6 DZh-l2\t?EYUa3n: />^(FI&[,177ˮݓTq`?+jM^Eds%{ % XHDgOm><\5n +UN6~£2XLUldt꯭'$aOPk\6y̕:9m!*bZ^_ GFv`Y#hRt7}ws,f}/6b\4%6& 1TV{B|I_m?^w'^--cK-28bdIsb5^lD`ҎY@(pm%?ֽc&Dې+i .1υn0Z͗]ȟLt? v kiHvb8.IY o,00NKty00ɷEEe 0qqv |Z?]|+ue4![ƿ%6v aF/|~ւm+G] £7I07"x_o{[26}u|&q\" % YTQ%ɡ>u_k DZCV|24Ʒr=kZ< Ө:[ 2|r ~Ҷcf}+:$#ZǤKҟ\MdR'uЮ]ZMP@OlO Y:쨃.ʕ$?Pt7姃w_b`-TG v3!Ɏ]þymKD I?. ط9+al:J]T) 0֑b ވ?L2y߁%GvPkWλD@fAg L; )[]x`.<88>$0 vSJِZd~\-\5x%aI$ zZnP! J9CxuK &ک4$.zj,Bv] R][W1Dpo`\ON&I|2+X)'egÝ'oO\M"NojM+ohCYW-#i ؂GWZ,2L k@䷱{o ='?% inhl~׆Rjol1(D]"ZBWmOȌ&AO+€: y)0:.y#f@:q2l௩,m4# ->%K{;$"ѡ޻9gd_P>[D_$P7:yPvL'! >'eL6qՎ#wק(6 96x뤴~& ]RyӠ8猼DSI|Ȣ5$][CCC>Uw v+ ryQ;Ҭ/,na<6k۷P\H(tj՚2>v^+Ԟ3H?%r*(/~!5v&ܑWЎqn`_uB ƹ D_#dS5u˧e$H{-ʹ:nۋ襃`RIfp6ai%I3H] A_,d2jWi ] )[Ə}ׁY'u_ }Ԙ^Jx 6D}},LSv qMguқ,@hq!/z`;R^㭾?h´-&wG'$0kAʏUC_3+!/>p(e(@)',X E,] 徲] zgXJWKoFQlD 3S)(PAɣsXEVSzM&=U_NzPKR)K2o{ '@ ]Y4tnc>(0 9Q,w|SזXz^~۶)Sj Y䶩t:hDq8,|793)e GJVt$=ȴ= BdLu&L-EϠ7>o1,gNUuyu qc}T 2a޾ %786 [Ӯ*Z0ĩίjN`~ZőÄqg*Ip2k~>1 )E~zeպ] iD;Bm1%$sr" 2vpM}r$$E\=ܸyD5^oNp p[beVZD( ˵AS bH$4J}?D4EfW"N~} Ƨ.7|{W@^O:ó~{/뫌g^ ^'>Dq6!]#kiJً55jӸKuM)1^~KǗwG/'~HI WvirRP HgQW yni O%N~^/0&&ݜicjEOTN282ng!$8v4it0($2^;дf@cu'o,&㡃 KpSr|"kHO;O -^kهIw;,,`2LIq]lI~X܃In0|/|k+ËPQr~bO y`GjNj#婢2Y|)z}B(9,o:6ۙPȤm[oџ/"V s' ڜ}j"/M9Po-hKuvxē6Ow?pcr$^⬋a8ICKYH~\UZait>CF/4bu-g`{]JS/=#|ݸ8%t_k-:jt:({dL;iI^+3co&~Ի̀ lЂP .U_)")~,`vadS,0PgDlIc4 rwARh Љdt(̛QL`Fіq[ۃkO0ǐ8vPOA˶5KjcW3ǁ }Bդ536NϨ[&Э;m2ZfluT\$V]%{7f/QHǎR/GWLMݡEnG& -sywy=/: %6lnlZAr(H8sBٯY>^`8[ jSTzeO}3m`S)Ʒ=/Gmм ߻ϙ5;+yfҡCM&)?}uO,|gfØvA|Nv(AR#J5Ѵļ<'A=` PRe@Tb9#%|4d`[r!PM|(tK g@f?jՏ:քSBIjxAI?%nk91$`0?E;iBZ3m3^KGQȀMH!#%MJeeZnAU띤 i 7&JfjZ*u|x]?7lKn,m˲AΣk9_Kz3nRDh.:"T.uXLbo5_H6H,О]88+ya9E,F<"82_؇kghe/q37-[J+N, -/n;&#'GXfg{mnǣU}DBKngU"2CjRs5jERS,+OMy#lWXnrA7O?x=K:YN6]9Z:NF .x!ik!bNq"f+/ !cCydY#Vuld+5bqTƵf!IG#FD"sM!B[6=^`9BhI0QhqBh~'9ꆫ3wl!۶߫Y`yƙ3#3K+DGԕ%>Zj(Y|1ť:#WoEVo= c# y*)`(Rv*Xsl)z%A <>s6ڦdFO`oNTzV+X6Ilܮ9LJ V2N7l{!#lCL&.9^_-|WW O F68βYYHUazuftѭyAQUǏ{+}YAH_jZ`VnKqB2&l=R^Io[V"Y{nos"$Pv.i2v ƽ.$/}e/Kfl^Y ]~Jx.tB+4]`o,IQ?Hu-V { dcU>彰#7xLnp#YF|cmO͖Sk2DgsBga< zyRjw/&q_\67,5 ȋƮæHA;M~S S͍S%#.&B6ך-:AѲSX* R=qzeݑ%=+x%".RNG]Ѧq-8٨HC(FJigGYORIKW] 沇F#27b-KZ{!&k>,uhު!d柘w\Pz<{_*tK:@nJv{}m ŷIsA/ ˸֛t |:tISϘNJ hU y+͓%"Tֲ4c8H<1{IC= )bb4eb*;XC9YSPg~Rd-_q0S©&IJR!f.u/<ߖE#_ uUZyԏOoG^͞! ܓ C Z5&F XƁ[GIW}MR OPl}U9CZ lΉyc⻂&p6b9+R"/{Mh4du&:ƙe~R: A8PD0wXOg])0`偲/dOlLW\yJ4,})'0X u 哸jLuȈch<aNfAYHΘ;T9n="lu$}1Q:aos&=!QMG΍MW? Gle;qo82 S@ %GMpc>WbN'Tja4~BΠ%ꌒ^gp7~ç?BtP{>k۶ZXMsH讖ayS X <ωfcaD&(@αKd0ɨ>mpjTrظYͪwԟړ)ЪO:AEW, cU5EiK,z2+ {n 8USq9ǘ m/-1͞rSHglb S -pu\nHTι-1 $w,L.umFNV3Kh6 Y.D3axEt0Cb^v؜}0E EvRt"  pWZ6b4dCuY&~ zA I*5)Hʲqf~c QKZFNčq~>, IW씁ƊkH3"Sw,t3g`o U "udZ# v\pWҲ'"VΗ{9)`zw@oO<#oQ10`^Li|A"R`%NLϛL]L+ewwapKb|UZɩ!1bd41> ^zVwREO8I"l) R@'MqzZ+SRDe\/y?:HO|ǎwsC_wZ`tRF쓛UDl Z%Ua!5B&q# GؙۙlܷIT3ILk^ `+FdmQ-Mdrdoҁ1Sϣӄ9TYƾ!|ĪKu{M()Y^OP_[fCeDXv9 vݸKtu7g6 RW3!+{70%ʡ\OX&d(xymW<R9t-&}ྞS7#STBځ?I$I[1C+.0Wk,ЀG.Bo .Y,:"eN{E<#w';` yˊ42Liw 0A.ln7d_A&`Ļ%#2ګZJ 㔲ג~M"]L:{B6gG{EzYٲ^}}{`׌|"GTuAF։iH6~ν HbѠs>P30 #} GE ܊^co;vȢZ//fF;@u%1*\':zQb [;yf7f5:?NnlSujUtHPB» r;bΟ覜\+<=gUDpSH, KoT؊Nʼw]ޝ2vnGDQ_̙LOeO_rsWަv.yhI /yC*c,Hxy3n_D )v$2X qlL3` w1&ӀB]n%I a;7;{vLᴼM(RTK'($q_-:f@m(@ڡ;x͝neRN=?>4Hk"/}x[>t];p;"`g:)J8v ^x(G0F A\p_xY*G>u1I?;D0/τxő1H!R1u!mڼL|NG|=JPKzgYZS!:)dף4xzR# 0CbĽ>C` 3pSӕё9zqoe^1, &tB1z9/ ͦ0YY[ۥ0cH]}SsCx͏Q6LvG

D4B$dd(r3:Qc1")"BTzyxM{LRf,AEYQ! A. ʩ4p^gg%X^y֗y uP{:5$>.bڿ+O]CmrK9 /H.,=^?}?-KM%U@ESR<#b9 GRA-H"IvDuȩUɜ`L? Ktg9iqgm4U 5ݺYo%^k)"L5p NYjg櫩(5"n n:4=# C/ S*mMbf%*{5׮+BS.U2q? -_%߃J9l'' =>P»q`IgπwvC$eGc"'A~ QJR`<զyE)Ue6B!i\ȋtR)6y%){[y F{Z42 :_ w]#ZXGO'!{`m TDQKsDUs-o:PRw越*p)^]gו?d&FR= Q'5Ƴs]k.LV@)ϚNV8 荅0 $\@/=Tҿ)U\.B)$mL)S8:1Pu٦Yd.VI6p:x=̨p1?Nkẍ́gs6i෤?@hliq[KVԑA4OH/- /%'{tskko+Q~6~0M=$/F6`z_T%OżBT* ßV*(Gs%gφݳRf\ h(Q߹sKKgݕTY@jr>Ѡ+bi.rK:Hx\u~p~Q *i FqU$73 sB x[Cԅ9y kIή}r`wS6xa%]Fs9ВoCc;Ҍ@AB>#ɸm{egȞ1zt W+Ihh@rnkD{^\Y?} R&f U7=iؽG]qnh^/v_kY~8n1=_Lk{8]c_ ??WYeK{y6 UZx6~[Ũ:XT<%4KPȅ  T@^ Զ7jM%nGB}WY? ֯iq&:k:g! (`(KWv=!8!f~akQjiYl.uПVTnpt0UĉMeu\ʓF "']Cm򉾌IVtIAyLD9T9Qּ jMiR=b3/pΛx9sXCu,2/5(&UeҰp,f'HK^99EݴjC387dR#2:ADOop&֛ӪLAn?Xx t6NZcE/=V.lVIevBDl]slD ܓceV@1bpф?.9Ut9͚_[؈*&Nشlܭm)y Q<7 l2'"oufHÈ|S~G}`8zK& Ԍ*qI&®֫AAJ: ,$lt+o#+~7V*eC ^H6+Jnh&ncsOw 5ԭ= :eR𽕝i. [^Q 3sJ]3]&*zM5p(on6DQ@ |rzcSnH٨ :iLʹ`w8 X4.Us)4aqm_,AZw'pB:n, ICjS?Y Wo-16;YhQ.D~rCU0-x +=n][-i'i?IϫҖQ4$ < zgYZp%̵v㘻N.<*PYTH 5{6M}!{eWGݞ8 +H|=Րy@ս$&;LASNc3j*|W5?&1c7 ͇ v(!(@$t|1ug1vrѯ>܍ƼY+9̕Sx>VwE͊BC@H . Xu}kW>ʋa8`;CiXC%5r6SURfC[48m::dٹ@OE9\pHߘY >vʋ %4$J\L Yh%nRW )0'׌f J&CFǹZZ K$Qr'8'36 );U]Váh+4/Pu;;*+ĆƇLC,)A>^?;DuˏhBPGUhU#s5x˘~J&}U<QW?jWP1 $dG\شȭFlxciƳ_lkE3QjXǜ iaSiι5y)f3#f.>ב*ldAWZqd3BV)LʛwQ9ӌn p5kN<[ cmԐ(?;rYdRB@#Uxd #5~g[{_9WNMwD?p.{ O)RS-8T&v43CΜ;#ntƠ֯_s#'`>H3{*tlA<'KAPg x̂jj,g+"5dzÎ-hYv6]Mܴ{@@ ;AĬޣ8Afp^6Ec5J{k\gwE4T7|xg3> ibQ xE ]KY&@*-:< Y;*&a1=,O Q[;dsXPw؄ްeUZ0M~=m!A}wSy -G4Bx=# +lZF]ݭV#z+zg/J ?5S'?FGB^n@'U 67^=(& vD7:uWNJ޷v4͘rbŦHlU7DaڨfQG4Vh7U.  >9b!(vbаؘ>!(ϾO1,RR ۡnK sy_ Llm9Tߘ# F?HYc;#9cNt,8)36$_)PC\LfC!L]-=.zF권5)<ڦX.ef_!'C+c{FCdž"`_0n^4Y\g 1jnYy5١HG8;.+~GU3`B7'&GvB[n]>R^2!kv4iw  ;xAow) Txc&<OɁյy4ɒ&כqsdwM5h -B4yid܆wW4Β;.fQMvD:#?\Żu&m.5GN]ﹻRDԚUWBKYpҦŷB4S$P$7Q"A6u?iV<_ɹ9nE6H%ڃyҋ-<߽JE9[Bis[݋@ S (\? Hwi;'z!ٛ<:AS*`-gF"4[P%Bbg n 4RsP,Q>T? yjb4=~S`,g+_s]I PhW0 DT,nLmP=,.s^_*2~蹑q b|"E/7 ;YS:O#fHN <[fՅ/F$#jG?[D%Ryd>B9Lu3+ca # x}B?Y54'+>{ڍ]H(1PT x{gδl|9 h 5 znfyh Ȫǜ/[do0?FZD }V&]*'B?n2tXeϾJg&y40v&\#&ہxjTH'E3)w5 6Xvo2kЧ<JClݸklu_293`E˞ܺhPN^̶,fdZ̄ctw]B n̆fU W{|ɯ=DyH[ciTܺb(X]NMT̤]g5g0H'Ve]O V)oDbY:kR Ze|)IPNZQ Szfӈ 5CJP”EY}N_(!\x/Pclwl":%عz <)K1[x&EIّC =8j6P_w:E K] ȟ۸]qqD xp >pS/^OδMC gD a;'_m/TEH8^)BzƔÊ$^:tDU*!XNXf\dHӱ}>.}rȉ#';p0h+}qNuKGFTv U r:S)i~zp igwٴO*2"e(#.Elke2#@sVOq-z3*ck|Acsporl+lںo1fx3MP|Q!\F/hWs#tX~1]uNZ=J5+׿az}BzFgUt{f8 bNMX0@-%`iT4{c=(Wp;&Z֕ASU6?Ʃ'h HBredrVY%-hP*L )8'ȬyeN"|z#I^CҫGiž⬝$-Gpm7/LjRkzOd_[)PFCwvP4~| ?r\, >GŒP90+DXY!"Q{链9ݛF1W󑎪K < Mܙz Wi2w _U>2\zz\ #MAޓh%G( ڑ@v$'JtѼ*Z3^%=L@^ɿ䀩 *)Y&l_LO&O(kp+_$8'akℓ{Dh) ҵ(ƜUV:}r)$GSk*}?SN3kXW'DD]O\q,n&iT&nkc*:,wprG8y!UvT墸07Śtx:@'2CP ] M]H_ V8<ѻnD2L1L p9޴\IS|r SqV{ԅܘ3^rGsty"S&r_JCGM֣nO ϶~ڊf'|v4L.msf!35@?2 :[%f4W!DW+vn)!(B")Zb4̱QyFlB={s0l3؊stpz٨bvZŽ,ٜ7I"WὝ?Y*OE>a24ҡPzx3z +H(;[ȝ!~t7(,v* \J =_rG9ceDW[c-`9bnvÌ^ޤS6AT_nx/`e6.;:9 11@Ygɂ3_x> >F3N ԰^wz|[$ut! {g{)tFր [7+Wx5cTvAj2'C8x=&{^4l] ,{6p쎑q*7v.k})Rsr-7+l(y\nTe) V"V5ǚ*1H2jR :t}-^JߒU%h]ܞ"9/=_2y`&kR1˳w2BT6,"ɾHgI6/hZ]>'U53%꽈+Md!CSv`'V9[BSkv4@hy8Q+Զr''bSsf͑d ec NjT['nRZh\ww_5޼T`}$=mZ5͚DI>/3^#!bO_ s]N vb6NT/U_eWt诣1Q׾.OL3;Dx׿~ddi&!mp7~WV~fWXnYc.}9fҴͶ\<9h*r@J޳_^k2W GFR" ?PSlP^[!No"~~qȑU{T :%K͡$=bd$0Ԑ+l/oww,Sb6Ȟ3dU|| >DZh R'|b &ӱu:cOpaTҬfJھ 9jf "VXk~Bo[>^=N6BWkP ѼqeٳQ^0Ŭ%l~f9 ͗cSA{pY;U_}_Mr'̀&}BYX#pd-uJ3) D뚢#[Dcpe3 Rm 2'2 m}kdmM]G QDYc$o|AwPQ *#?1'"שn\`ʈM[~qk|P3ɄrR}֟ZX]/x1R4D5zv\~RU sxxF=Ob~ bB$JSj2MF Z{D'"6Nrs;2"6riXf?T8 YL:(Av#ӡXuSq,)&RoB$(dRT¯D*.nDD$^4ֹi}M6= \=<{=X뉜)/(ĉ: _5#~l0',Ov1yu3sCіȀ豰`1 S^3hFw|L>t]ם{v=lQ~g9}Z iB*NRKaAzAmO6ΥhH{niu6RD"&R8"b3UXAS%!@U5CVaő[-M{(cPu%6ʾ ^|jXةbgDda*;섚TI1ů[z͎֏oHL6 ,%9[ZMZB.c|K= gB"}|+&rMM|᷆&{nj ˠ4_@{L_*v],8*9M&n Q4H W%ϭC:6 gf״?;yst@`౒>."O}Nq'{ XEpT@%;DXX!b9&'QS}Ceaem!8uZ+STYxb흛h:c)[&(#Ï'A&e{8Ô",hQ~ <ٳMvYD㽺USA8$㯀X"]%vV~'#B&YYN& ,Kh4(:VO Q3 X= {\[$*bhƽPB8xnEc~.,*,+{I*&NǖF}fwg';HX8P0u;(wL!=3qYKҺXG{7Y0,qz4,4g?ʎsT4 of!) ea|-ټFJŖes^@}` SĴ.TК{-bQJk,V^=o ާքkIW|n"o[~! -n/~[)ڣ3EQ\h=8cv{nɲ(c4HQeV25O:|+d&aFF:>X/JV0kԿhf_m |-ȵo|EX_OHW[|N\5M\@펈3*\՞%b"TSfKM䂾=@ QlVy!UsetyR{{Y}Q>봪 ΞD҈hZ"Kss8' CʶMmfxppsۉ.n.Gc~F,9xV@@wh1 Wܝ2O+ԭ>#4sB1ߣb,MXIӵE+ï K/{ɔ?^1D=p0FR;JeAB0%J;p-Yz,1'm /8nֹ"TV@Q[lޏτ{"/r.n'"Vc9BRǖ!*A:Z9Cni׌2DaieѭqgBRJOS\_x/`D@y߫@miIW3È*,Y_=KpZ'%45KBV_6yE5CN֬VqY-k 3J'AFVLC=/J=+eau̫m>cSQKRT^䬡Yfɖ#KeP{E?[kV|D9LjS4@@Bv.u[{np}H ɫ^3bZ*`S yfD#2@ro<&e [K'vx 'JTZƄW^av^K=Jaqu|BAe\yԪE:&[f:ž8{D~|MGG+YQf~;@ 1|,E /]e1 at`ōC/%Dď, D (㍋oY9Z[=I8W%:yWc5%ov@ceq$Q5S5u'/=Q2=糅FnwT7D'x$@UYN <3۾ xdPx@W%icNA#M\ L6٨KUBCWvc-hEIb]MQ"fT[NK֫7fG`ԹTuYJ{4r4wO_D(W"w)CyVz`'`l~  }Ȕ[B & #&Rn@^<,ŧ{tªxXkX$!%%xlGI6k X UTIb7oM+-U<:&۬FhfHɏҖD`aЯ1@@mwS. ӯjz,$%/ֆ'|T)Fo2Ի7!TtcEh ֚f|ЯhLH.,km ` j`0ОwCN%!Pr J}c.EU\4x 5>Mͺ`.S.Q`"}Vn?hDS:Ib{0(z-ϞC&}%F .[l˭?$(X!)MC)(N׽F7Qw`jQH\%gE]lb"L/d`Kϲ#CDg4{r o);Wjz&p-DtG' 3&bם$d?Z\ţ! TRLq'9c!٧A_1?MR6]BÓ@2lJ;=3}ȑ( -kۈM߇vl^?R4qƈqEPUlʱ$:H( evdpѱ̡C,ŤSsܞ]ӝ*f?9uE8%-u\6qM[;ßꕖD+@N&3S1۰H|< e PgStSa#|{Tҍ1 :fg9tm@Y\^LLǀ[E4A4W#܋Q uF/txYֲy"1:T.tggV鴯YDU'Y#.l+ur2ȗSW9^CoOhW-aay1gp؅c )Q_a3$t]67dX8ee{(7͎-{j(Ղda#:߷Dnuuݸ]PzbڂtRx"D89 V(0ok"ʿxceL9D.17?rauCot]G:yzx+u޶F_Ə)2)JV+d"b;8G}p"e(svV.=_uvg`MMu^S-G);ǻA{2D^ ɋqp/wm[OzKC$DL;~5k1M=bҨ'F&U.[*OǵiV~GXUe T:eh7[Za_tv]쉴BUFOE()TͲ]`@R#w3N4"$j8k eKpjEl(R ha*-o9|^~@/x*sqm%L¼8j؎`.]%X7Z IbwFP:!#H2}hSzlNm&ݒA0* l sODi_Nw7tLK#6u"zb؛R%wBb9vYq:|V 55[uҾW(mfqzՇ! D#{Ob73C: I_Xވ6cD܇#U -f4T<52*!ECI?H 4N^S#6jAݠCՎ3!5Gkw_Y+rN\hG| B^;wp8x%7kD#q69dWKzmH! /<_bIm5yZK-H.^Ի9Ⱥxenճ.)䛬,936|GrFOV'LXeC:70e&cwKZ8Ht W)MC'⸴.̵zB/_i:Vjv KRޯ#JZc @Nmvӡ__WR)bt+hFcU,j9q q7Ob^_Z!s7ȅ.Mj1`ޛUJQI~D~RйfhCw/[LH+30DqWUѹE<;154OaH` k)4hs<5۬ξŤ'½݄6,>%1GoVQ~V45"3j{?f줦ݑ-p1ջ=k4"E</ΔMSL۠$PS&Jenyń#1͌&*e/u.zyhTi8¤V+i_cԴgu 仉~T s陾M S1%L #Q]`[╅sX(* _zZ=ɆA--eL_rG JŊOl.rLF7pCиҩ' )BBұP| cP`j ^9+|"GOYrG;~-0GWl޽ b:4G$he'3d7ԣ wjvpz[R3,.=y6n[.jh>L:~Q!ᰪs`0 V o8,AjV%{[p["oAۣr0 tiI ϧ2_ȽkfhNυʭ9Xk 6Sn|9[ ?MM0H "5.N jR2kXT_3 ]E,r4*R6h8 SL;*;q.ɝ/ֶ(Ε6J{z=RDpYku}ozd:26#|xBm"ɣS|Bu5A+[]h1tN UM\~)Hjp,6YXVY}EG23w{(s66kF=5IHBXl5Zv qLB $D|KMSXjgo7BglOxfr-$2{6 3?ad=K%9y;/\[ݽk<Ɯvz:nd"0C[U#kAYx  Ug5h WĪE.&ғ6> ew@ziH@@A gc&,.[ ӠdM[_7Fލf.ﰸ1&ۺb5I4(-LfBV i=N6ﱈT8xU9IE>Yp/\ <Ʊ˒Ta6w"ޢQMiH:QX۸j#bl#dYAÈ*J}Yl%N1cKr҄&@ssm:Ǣ:j+L ̺_aQfќm ? R-t'I{ k8*OtɌ|jP!%H^R^ CNoFO Va P3=,}s 9~>H@ }6Ch1roaԚL6R W\^n*Vg;9-&n.7Y6 ,PyɉEP R h XjDKЭݯ+Luö. R0v5gEB`6G:dz=%5eC B#B~{RkgSE׶\ uәBR!'CDWL)bvS+Mf~-[<{g 5hӆ.u^6'&)AY6zuAND wnGWVW[w3ԍW3Ah V)}!bȖ oIUU -"I&"@Z!D#=E0i@xUؖe׌ce- ClqUsܯ}n覦G{Gqf1h2pGٲhZzqgAjƅTØz8X׫6WB;|m"{VQ܁-2"fw+F,8%܎xӵ)Y W@Zrq*|WrH,eBf-OvDXb~-SKKjmUsG7O~Ǯ ?uSkp&F҃St8)Cqh6` 9,ʞ]e\r]p|Bː~x'w tCkSc 3a) RHHS /=;^ٕ*\j>0>p>f's׬&5%L}-Y)+._k⒊9c[[{!#>gu5a׾T\|d"s1ݛzL<58xhGyM:nI'V|"UڨIsYʘ q^ ߜVCU[eyzm: p~5Y·id%+m4<ݶ|o= G4{}S X%LW65W93WZO52'-ڀZxwK9,~l`d5) ieNy/WS-zGhg 57=EV)D?%1$}B"dy~#{s Iͨ![g.`t2JMJLŨ]|Ho5 bA"h}6Nl!Yk5L4P/]o~{oٽW#3sfr2^<QٷgDS~ cXCӟЋG"'wBST( ɶ/sJ[?gzvey/ĥߞ[y:\t~16MnʻgdTLY MHxHoJj$i0ÓL[b´ݞ &3>0+PP*"qx kͶP">t0\ t`ԁz; /- 6ӎ/._ΥQvכX7tkʴ8%wx .[Y+MiÍԙC3nc퉚Q ?ɨ{#b~fMY4Y9e7g =~XVzN_1M/.4ѐ+N]U%%("@5_[jXtVłYӂ9"g*%mjbHRY(H](3O4<_#0FqHrϩAW/) EIuԹC<1YY(O\&3C",$_ƾ8~dL9ZaVzzS6][3I ]: K ZH%Pչ^{q[N ѹ_OlŷEHJ#_9DOEi TK 4Rrfz*ĉ@$?J8GH&7i>9Mp<8$96' iKez;T J@~{bhLpze';M]X&9=dࣅe~U.[+*a[a<ǩg,ne]]腁mdw^r="g9\ ϊ7B&"D%6cHȣ_R5@AJ۹d-%6ɔO‘7n331* 0cbXwgNklPvLr>i=^oHkuXNy U"N "OD#y}ҠӆpRr!<rBP u-ҴW{Rgy7x@ kWlmΣt_{a gc^!Wv*i=r 4l:p3""+rAE;QeRkNź+ lq[x^FY!O>Wm N?e!- y}DPGt \񏻽ި@B/K#3bSy jV9ǵ\Wc?C/fgYZ zQzT9G' $HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! IkK]Άxʆ5.f-9 rq?lnh9]/vpgs,*t>/(RNvAgv\"+k ~V UZe"|ǕDhF?gO?\5J q4VE!uM}.]=M/V6h68;v~6}"}T+̧2BE6a>TK(wEED<Teޖ GmG3{:gәw%D9ςmg| ˮH5qo2o-炙=}CQM8]#"*1`+=xJx5{s26hj*KCh+l2coc|x?\p-+Yp7%6c^`r zѩעoyYks P0p q G݂h fޤn_3b~'*|c8җs-Lv UT:CsjS 2Y)rL#j4J*lB@+JWH2Id]vjn'WEnt!qF?_ee}jv Y}"ٴ& oQZ;L4RTc!<(f12k kZkGuc Cݛ[gXaoo6`M_蒚O.ta m+QZ tVc RLinPdq㣓Q4e /K? W65tE0ZkH '>k EfǮ(o]v>2 K?ҷ!{0(RgLO丮{לQоaVv?؉ȸŠ&m`m(0z^wvD9G8vģ\(˻RتʊЊ8In50@1×ڪBJ *@Ci Gyԛl^fl5~ew {m"CfXD7y 1޴j.& !`B.rׇӵW4l0Wo̜9(\^C8-BŊ:k7ϸi.ѦTuvtJu{bPiQoN-64 I,w>l*80ܞH׫GR_Nh2db&#ЕQZt(rJ]J\s-۩SX˸ײ7 L,_AWRG+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H 9;1U`5~n?VC;l3ܠu|',AoTΧv__OⓁX1vy:XԀo E?zGߎx/vgDC^$#fhlD ~KqΙ_iz u>s,x ^$w&l!V Z]ڋVJA}/Ǩo}7cʭe ͑SG VxgR3&Vt2(aj5>/ÕNt p1brHO^Q\I=6OwwV!zx  @)ΔoJ֐-9̮uJ`yF䱣tjC׳ufS]5(nM=s:dP?1f3go;FG)#s {P_Ps5$#_%I!\'=V͔A!Ajb|/Nh'U+zL!Ts籠(R ur͠RtwGyQlŢ lͨ>>jkhcFݠlE28pQ!a/SS2{rZ3}]tWkCY+}Kc 2;)rVMխN`W, &Nn"=JJ `GEϿdvX|k,*;juVi5.OE!0N k:HQ9c-#K[)X)#hTF}N;ditq?//X9s_ R:6n!فТ~nBĦꮯlѪ a xg:DqO km`+`fX< =%c_iJ*V$I0A-@FZ([1BtdՃ}Y3: C;q4)8daOq)%ҞAg5i-s[R`^BvMeTvNr_Aͳshf"ic9?{S#ɘ?=%5ېx,%[|\P 9Nzä3<χz;Ug/,EsՉ\ioKSPsN^{pQ"Nݩ ? ӆrJHF<-7%^zOC%P]1޻ O/lJھn";ǒtYb٧ #~/fޓ.ȜLSHep7V*Ϸ3cN0BY@ $׈ SCЌ\_qcIGc&_! XސQ~&9ynzQSaiQP ׵.ѝAPB+`Uᖏ)]fZL F88dL]n3 KK>H|7Q eSvɁ@5ˈ8~Oakz{Ma3Ÿ`W3W^ ,|q~ ioh^y/79urL1OZ0Ni.=:Qԇw(sL#s#9WtI'S}.|u |hɸ>pu}MfUeD%J8ڒ4``!,h}ꈵNSDLz,Zc L MJXR:Xi%[Qy`CHT rj7R.5ޕ-H\guj){N==좠 i Ke :%:e:{m`S],L9mLK,SM䤏 x,m.G19[aY⏿Q!VXfz:'C2Su>޺rв +8du$gW(< a׸b܈JO KCA !_{M|O6=x*8bﺄĞx)7m\U]ȹqpiB DţDHhR ި҂swӦ2҂֞NΟ7J kO A2 9Q~7u=ZzM2p$Npd =Y9VM9J3LLQ\]Vr0 ;y8c6 OyxdvsVhZW'a(-lW<|z( VƵU*C%5lQP=F %_es6Ɂww7q{ PCh'𵃇W|3U9;B/,/>86Mdm=bmstpX<;kQ;,ޒՓFC7jV[=e,O-a$? O0M'W&5PV73]R̠_KMD4} į$.u4·&u裗U'h ,|j=Oy N~)PwO!W,ɭgHX*ڗb[&t-!%#dA}^ O!=[o} 5K F6UvT[gXp Uy]5x9l2dAwhk&NY^!.S*Y6mA)|d*=Y'׮'c FC0(g]B;g?CUpS%w4h[.ӧI0z*޼E9>5fv˛RGk#V}ьvϟASLIM`Iy?AD@IP6s j}ЭL)NSa: q ~j7fx]~tLQu2bi I=x Y`%HhgKCtQrjD.[qIf.okaY:.b=̹[S tx"A.JP$sb$F/,!*'(&+R;˫HelzNK$ 7I^wc)p}@ `> .ʩ~dzTd) , -\.(Dlvǟu8~dtXη(?=*ҋU)ABKk`8?Ԃ;D_+ci8ži֩b*-]q$ Y[S`CwWdM} *J˦zk6M&P!Ƴjl3/R6'7|*蟹D9y, 9@XLhI=KQ .o_tpY ˮ\&` {(!1aoIUv"h-cnPX+x7o-K$'Xst{:6[O4\f-xvC,ڲ{k=m xQEXޤ t";CAڳAs3/=?2e7 5]Fd:;uP/,gͬߜؽJM>=⧪͋]'睛/ɜ0m JN؈o慥7Tn(CN*<8=į&%& ICLd{Nl˓+incF>3ebDո5fںΘy4pǵ⹤ߣ5D~9.E|O-*.MNcȁD5/-`/6 Pru?t@p$&őfmu3=Qג-k'ڨ' 9nKZk=L\ffrDpwzv1ݢ3=$uiWI+BXApo_D+v^M&eǨsW+Ϡ+ok1RIaf'Iy6o#[TiLl}w/iV@+$MduoIs_fP3kcO> 9i: SE`Q̑ܕcCP*?MLHllEL8aqppϺʷl .ՈYPHz@w΁3{U^r1i\4%_)唍b;&m ^i*ZMM- ):EUIU<!2q+֒݀h?DzuHg]|ao _uwea;D>cD/IyÅQRӾa މEeDv!6/Fxr\aHœ_m,=ol. ifENJ BQxW0“ H\ݏd?Kw!|ҡZbwpP)u.c8=ᢑVaGeG 1wE Iت,&C9󡰎E X8t.,שTKKD"QvCR}C EHC6rp.dLpTqtm޶{NB$cNڮ" e,"ƭbf;~ }95>k?RM0o j32s!y+`,«Jٌ# p3DA<ˬVoq]`Qlncwۦ^{PG6MͥjO_ #)w1tb@l3H! _u2#/q9ʍ`j'CT3"Uъm9h 6Afw°(iA!tZ{ [%t3L?br. ZDkpgjA2, Ngak|Md7-;Y} o#o*MJp {GoÃ]txb y1̫4c;h=bxt˲@,ug8SVc|)$ "W%}9!~He j <laeCͿQet42i~>,aUy"k$t5%|  a4׋/=n#∵rEQ*U6᝾4:z|`%>jrHzoe>+̒VdhÜM2 tl I9Ph~ߡ#4I+5D8>Q|-8 }F& au_ְ[_^ː.~hL &#k8vzy]$N^ x\|-[D:Lb2uu-#iXX`jsQ:< BP=#7t\I%K$I$*[sj R/ו+c?CОnH*6b&wusQb]F5/v0TJS(׊F9Ha /h`FM-ŴhFHE"]lVy2*Bqm[eD_@[XJ/2 i"{䫟pjgـ8 AXs{BH4G>MAQ[zHBʩ2XgVi#`S 缾4T2B"yt0ɮ9ǏgǓe{e :]Õ&{NCՄc/ ocfTʚݮ;d_dfBP<E)O *?KlۍitC*Q ρ n?ǂ Y%wBVt:pXqW0n%j~Baӗx*#K1$y/ݥ==Å`*|W0BVYy=\6K)d km70eBM]r%c&Sxz jun~ƇT|#vҾm+fR쥟MD,TQ`RۙXN{nedir 5#ctoƱŜWEfWRy0IjJS%i14AyWUaJ[R=L)ja( _'|]s e7{:!*a(p54F3Kf3~B[sWbXVg LCC ̢wor7=Ҳ! 荾 凅&f4*=Ţh=IC>B ֊CŨlbt'ٛ9x9 ^; bj oZU`,Kj/`\l,Jk4$AbVhn0Rb$Bo:YnONѸط5bKuNwM ,M-Qj4''cmJS\#$5=7ŕx+Tk Ku4IlE#+Bw|WfE! %b`R lB[&E5ȅ.,hab6?gmLtHf>R6 zFr%bpZ|h 9>Q Gz< ȞNUM?)r)MUWI(R}5Bh^܌+W^ri?j2Q=W ԅp {o;Y5%/ v(w< bĔE3t%,\v',smKhKTpS"k$.𜫕,^!Ek>5~|)]ʨDT x"cg'Xt2Tbvo9]PEA=HZq9%Jm#%8yPm:~;<)Փdj#9Ԭ ƽtm9>#Ҋ>"uXIDy%Jj`(\&E~3 "hC- դ_*KL@R~&\U#;Re\Wallm͗4j0tRJ]J%;di[]o'ƛͽ,[8ˋtW IJ!?0 M&LƧyu+MۿArH *׹x"_֧BeːdhtyhqafU+ (J[{t,4h]斖2CWE"o1?ZH ,ҝE7:a1H/K-4L$cr׏felfr87^= dX(fB5>| Fdc)6ط&t5ٽRdJX^[=킌J@[>d8˺h\;.ĒgNlQ&ڜKaO˰n4݌y3^E[~'7q.d ^a^P=${- !^l|N1eqC3.T.}(ܹ0b?P*-j`b򑎅{ü.%.ϕ59 |fSˆ f6ViSJ*Ϯ}+DW%wMZ*eahb5ൃm{m>^h}!6+ 2u䌣yODN+0etYT<-IX}].dvp5(Ռrϰ H2\ij6X盟f%uǚk8 0w-:|s"jW~{t&:k0? t||5iC#H#5u2;Lp_Amib7I'N,RW RB[ݿ(]x;qs(aGcչTQ s.3VI[QKBG9 ~ae]Gd[Q˪}<VJ$ \7-S{ %x½f7c= G]s Q.덴5}/ ۆorZq?lmBNICòR_S< ɠ~GBCLJ <ɔcR_c Y5KTV#$14"ne$ξuAmIo2Eh] 62`KkcěvJ;6(ŴyeC&[OrT^T m0\=S:(ix>cLIlH ;e5cPȧwRAh2*|7ݮ cVH A;+yP6n˲mz( 1]_^I7:BrtE͋sH cw֨utV25.h'} X@E0gOE%a6l \fgk΋{Rfŧ:"~|-[o$M )L\'kdF5$X³s/2oX9oV&d[VeFd_|0iE_t2P1oDT}~.@ɈReN!-Lgn#qCS^(z-QVOX*hvd24 u>jtPL < HTgqɿp r-.cTRMޙ[f(w=.P>fh!V@i_8s,W&Nݽ^o*#b{޾Iօ!tkl{cNIP`c$x&\>]q!n9 7 ӝuTinѡRD -6J^lo ~N=Bmt ץSʏYʐAl$bɉ82 "WΉlo ?yr)JäL݄آm-Zv]I4RJ>.вbKqWBy +N>^9)k >iE̱PӿsV< f%T.MrX85?u" )Hw/%mR{Z{ !<~70Eⳋ,XhEEu]`X4qt'aFp(wJԛx:[ MWNvv1"S$4Unv$xxW$:P!%s.a:z=i}lM" !_=:UOyg5bh>hyAnDn! QlARp>i%ow%sFbw!ĹurI,[_^B"1ZzCT()aL1ɧ(P6kn^CW:mL-$Eq@9}T6u$( %f**lLgܺ.^V)X`G kikѥ X^_V׍~ fĎop< txOIQ( 9iҔ-GZQ^~᳦Q/ɢirl1\)x n?)f%p;<6RXQr\/@$ $&KB5:7\2>ꍲ9c1Z g]T?.wg94aryUn!,il,ou ~#7ygY [/dwM^Cw}R>XT+r$k`]g[÷w`Df}58xér  Z2Ka0Ͱ?h8K> {iOUٹj9 sI[eȊ&m]ݤJkBdP )PVncon!HHdTBK2|Osnx@ 'H+)N V7L:6+ޔOPcQ+LL)g'd7 t8*=re&^ZMp2yI1~Mi9rɄkZ2w S)X2f8<<0P9vAm5+Y3qEjFBzLLTN9 iA nE=M!ED}6G`x+޷xЕ0_T+Z js ^>8OPۥ0"Z틌{TKq ̪Q[Vr]uH^:.~ X6Um (#pWzB :lUp\UP -Esp{XVO p)I>sqgE=%TwܾZZ;XH\?ƛ"X4zޒQse82U o^ve_5牎zkV0\.25[ݢC1."/7;|NʍwU9pm61`u a&CQށWҍv &hx9Jf Z؉7Wt:`wЋxJIţRTuF _MWğqiSan*03?J!zCJ♓WٟK] "aNcjm˗S"yfթy3? s7j%E.9_-7|XJy1Uh!.u1+rA*R뗊$~G &xY^ZK~7b(Us(&떜h\AW ;/V堃nË:42B}; 'GbɁcS`k۳=~/^a. p\j'ߌqHڮ ?DZs>7{A_aϙ2ȁjLLб~ Iy06JJF}|ʨ?jl P*\5pҷZ9ȪyÓk 3'5K|EZŖf/mT1q . [цMczP~:ЬbRZd?鬭_^ :hYΨZuYkNtxRUiމ5=Lrq0ql[5m#.p <d>n=YtpU/:d2{~GWmi:(,j+6Pn@8>B',tӈ* 8ۂʝdHdz-$qy4̵h3h o1~#Hۍt|\-oPY+ڬ@u⊕_g0j=UB[b"ՈCŁi?W{2B4MzEi"18|k@V_yˎo̞(%hT$ U+$!#F%-4,{ ,d\LXJmsfݐ> VAנ6`ɷctT"Us-Ӥۍg<í†S-eL<եF̕<o9),qv^Т/?n 3UۅII7_Crt2duϲϿq6$eLE7+)7G&yAzX+ c~'FKWsF;a'3֑o( 'O)R[ucڊ`BMj/`1]w*3>3霻 q<wJG;p*PЄ4:J*wٯ׍$ȩ/B[ö>P:*W\ 2K9"%S7!')imƈ x;v}[S7Oӟ wmSߪ| [z8ndN&[_tt xrtP@w05p L^vRSTSG qt?p( (x}g9\/~K"%~Q_X ␕y4xySզ@>8{H*$uSDZ]0f39I103/'b4Kπ |lGیza;NS\|iڽ2mco h_ AN!bcIBf7sZ1m6Vi=bqjɜRg/v]ԙ﵌25.b٘x-ށuBo<;`ɐ@*X[h:! ݥ{S}m.$ΫASloYTF:5hfqaeA IO26\ؕ X h rEe[XW:6~~AY4v9瞲:KRE&lK+{A١j©Dc~\D1M#kUtskѧKpEy'*p/EҬ ^J?tS ttԙޜ2HpoN[:}0% b"$;.1huN|* y= ߠ>$MD婶݋Esd! ˋCI} 'gl`"He(GpfuQ*n MSt~NN\M/Ri^ED ٵs]0d#-gSS)7h& C>QI KM)%KV wG-q_^ˍ?XR>u="s 7O.ś;2!Oޟ NT9uUTtP8\^^Wi  [u+ұV-A3k!kG23F LrT9-=Vo,~ΊKO ;DY^I y4Rcs N!:_NӓRZ!̍. BQΓYpRАܲٶeTF}QK[ո:S\FN \̓Q~XM^4|;`iܜ{sk€\sYKS z`EHp62tXi(x6"WEg5kwk Fic~{瞘$pftLAq(Bef$ zāij k5 #(SR^&Ҕ^-Zho:F Z<M|/kfW Kgl1ts!H跴9;}wpunX?!?MVQV*,%]ZY> r!G|ɀ3`yF=92HJ&R`*nŷ3fa Ԭ1)#2ȀșȑIu8ջg`WtQ lfTۈ6L$hb.ip&qmLz5!'i n ALLR&הix&#U@x }5Z%vN4 ͼ|kWՒ>&sUGEn(0u ͉ć$f|dw -(sѼ7zl.iwZIHhi7Y[@XB^(;wt:Ai8 p _bP8.tjwG2\(ÓUͷMvO d)O<̈́2W~ϻOʪ*&+x浑[Iј' }sy"l y󩡇gu2 dch &id+]\ChF LC3@Pd.w^*28;)bhJGq~ّ2q כݷ 9v?x۫ Y_m$Bc;Ķc,+D+rB\vת_xK XQ"ĐQTp%sFUA5lj],e刄!cŠD оՌnU #fZvyW)w-QPt@]+LX8]*MVI95 #^\cۓRHxD\)))0Tw(=TI6 Hf~IdEPN4؜É'hܸ@iCUQne]SM7(2AbmZj REN ^ڵ!d |C&4 6SC4{ f4UDnaw! 7"(ԝ?fa u>P(r8|:3aM5a@Jv`} -f-yEL>5!"Y[%;joCryb哴R1Uj78D(,DKtᏰ(;w(80~ڜtq |agl&,2O _&XAwbQXtrmz8+|9a! Tex(A vEDA Up'9`[شfT@dNX.Qk.I(O! Y *>[^ǁ^^b6~ 퇓M=]CT3w)$dQ>FOsCQD`cR%fn]#\;߿ J¡.؉odYƛVNiwTtH-A\`Ê&]#T{60 -O{ag.Ȟr*^Μ,.8^2HEZl1$~Jsx0]6iZ==kf/EMϴFǪZg^"XM_Zp A lc[o;J%Cq EԌƀ .pEϮT(~p)1a7P4oL<!ww 53_I"MAQًA)W%!o1aص"{uMcMwn'ZAn0+74'X̿^`s ?a CUtNYiݜ3Ƹ=Zϯ Teń7D=|@`/`7%@%p2yq,ćt^P1 E'ꥄbv"$ ڼ~ț%[@d{ % saڐ2QMI.U>tжUMkq`DgXI* { nl{) Fl;rUEޫ@\dk+phR2L L|]dxlmP@WmvK.qxbYEbvm+UUfx tW49eil5玓2AdcƮiu$gI5%& p`7o"~[0Y-թ\ Pi(阨x?ԹfFݭUp>A{ By:̢R-jq¯ef|߆)#VC@ \R!F/Y3Pg9u)J l6E$3WP`5.`1@{!1r^Fh]íq-bLV͚˴'1򢒘.I` ~pPe}@JF/ʤvIR6vmDml'my{40C8$L\ѠY.EQwDHgiv?UtcoU[;sxu-X6.Oac,nU ! ,7h}QTL)/ъ`aTMJziik:M@Ftwj| 6kngzvOy; VBn!+Z 5 xNu>6BqQE f$_s5F&b@eѕAWL@4CwPY ܲy5]݋)jUمhGMm"]1L[Py6uw˳f?4:m# D K;, qAE"9PbDS:ā9қ GQig[uZ]58t0rmlsl8®^ L ]rznǕGzy^c Y[6F_OhS  ow%sd惄l')L'w*<'׀YI: j^fP'cCDK^^M&U<"!TX/qWg|IC ƌ)6yZ4Z0 OIeibέ e)2UA<)wYϥܔ$(}LN 㒬nrFbVu!`3ǫ6r37r;\hJG'k6MTO_¬6=@^`2N`9Gk(U-! [6#Eb[vv OU?:t+jU9Y: Q0u'Z\T~ͭyB/'RPӓ<^K_N6L[϶| Iq%l B;"5FvgMa)Vԩ¯l./oO~CbMrME_ G+oCgd0CYp=>tzıڑB7+jrwbPp+//mՋBe- nGy9OЪȗaKϛe{r=)~C}E]OG%@:SV.AP9]ѭ`BW:W0TKn`m7",&?m h}4t(f3vԳʋ馞F;o9LPK.\V?Rp`Fbj8](м֤M8G)ng;\`fym1d\8[h \8u{Q2pA}e Nv`3b0/p9A7,\LGnuW66IFG.6}<$",-whq.-o<,Ux@}%RB=x]g!w5OOoEӝ9 S%}䁨D4 8\fЧɑ ˏ.5sB}mð^DQg9wגAyҖayk& d'9PϟMjs JsZq*_ZpNmdJR "umB>ic?.nǟ$u<]>7<-tM)զZNC,3,i3ώ:ͨlz~ ``it~j䦒|W. -Eٮ =FJti+D25R4GHp7ڬh!"B\E%3 E2}gOgz\kc.)%SiG7V2FpN Lo~It.f!x8P qrga/|RgU5&YWLAMwFPc |2e?Wyq?}V a"w&W*w?QÛچf' :iT$y(EFyHvP%sCSõ8sXFLUx]eH߭T e֖D+]O]vψ!'qIcKۚBEQ־CsC'U0ҘZRF,U|%_d~lwI4;Z=:oӷExHN[6bI [Qd4'4p qEypp9&c/F|Juag+;#x--J.Z2-Ukw6\}1/meji*j.-_ue cL~gtꠡPkgm]o[f]* a*p]JbֽW6r,4lMZF*{x2M^ (gpɶ-9 &Z#]!ZpI*hR!E$Ջ5%gsLIӈ/6g%7_>EL |=^GLvU8$,-8FsY5۰J"lADHɄ72(&)R&]j\@j#TU#+Xg?-&]J˂[R=Ձȟ3"4i=( [٢铗yߑИICtJgm ݤɃP]t_ ovOr C K3Q0^L1z ۔T x@Β+>CE+1uN 濭H aZpFHipY ;*}WuKk׈bC"Es?l۔ rfj=&i17c,yБ˳a a5YBy.V,/^ rjtWwqywHʨdRKb2 fLpds]#Bx@/y}ݯ`ϡIYݟU9Ǝ +Ť̩q=I|VEa*rbE;ƴ%X)l{ƉJRFW˺n z]u0 i8H#h[iU1lƶ#te o+\/C ~f )l_ѦP>*8{r 7B2׻ 1E#DH IzȒʱK-2]-~x*/<`R܁K@}LHJN+) iu )*-e8:1({ֺybbiRDQLwW:Umh(:Kn&A@jAI$@r"hksT;AISBeXY_C߫ρ4Xcz?RE<*޷>K%do>VTl:sư="]K '@)uF& i {}G1.({cVle;XkC.V Ns̠ag|ˏ92{q>ƴwp1Y&bP^!Q/#!|ȧgV4?sw|WA?p`D@]֔I1GB鴛dp r+AI cjG.q3osUǭ:yI$+ΟhX1UXY8nCS>| Osy⮕i\ b:\y2sSrCe%:>'l8ճ fUElXuw E%9|hJ 7tMf #X كwa.YUX|Vm #(ڟpkboܛbthǂtl2xf8W8ۈH:2ÜJ@9k@`?ykx@_q_xoejg !(0|J9oR`!aS*.eA?qHH1;8c)׌sJ*f\/>e!Y νCb{-o^I䬮]neM|bDFkz`M&ϫE 厙p{ $ &ցݻwҰkxnc[% v,G+!PzQue(-?J Ж88ZV6Dg_nt{LlH `ǎI5\jPy7啪`6OZj\V0|VUlr_˗6{aprd|F.jfXSڝ}veg~/}wC~|pP` 4'r% iVH7Vj̽B dbxğhRz=[]G_5K}V$5e2]|/7:w}ŹE0D%y+.P_̝$t^EUVeoh%scڲL^GH^ÈQ׏}WlM 5rvI Pل' -d *6;#l E<ؗy)=^a!V^cC vJ75,|`\rC%rNFN V4:%ZR. {:w0`]EIK HTiSJm.S͈#NoKLw8$/x G) &TQbq^̑ N29BLAŒȿU+b!őhƠüUC=k׶qopfS[;fO=MҎI:׈ 67m+ RcFkdæ{-%y_eDir5b2Ӌ@OḎ4 w*=+lJNl_I(%}^7e!Pqc)!+6x&Zg*<24w'|edkzǑ/KBtuj'36%)i V7Vۘ#I4S-G*& dg+w=5Ӿ;.SC1h-R9f72B2ىuFZ3p\~^}-}]$,/xYř,ά۬F*f2E~äf׷S[0!vj%b K} ϪT(OiUH~o[N wȏ>t[4jH8[_jȊ&5پC3+LOJ_&S I$yg/(,6/RJD=rz;(7 Sz>V&Њc׼[~ӰP&㊏|,i YjlULO .oOTM*sFP%Ӹij](Eb0]k1 WAOLG\6~W?\M`U'z([4,!KJ kyTZuJz{M61)%"[1h{O^7p"kf*0'G+3M*^T+s ƩP`*daLC2T,zdH,Q [/hq7ҔB5bw.`Yim{-$72I\v"_h*)k蓐Tk8.i>w $c[E38MRωe5ٮIb`E3QJ_-Ca~cA 7Dnu孃O&~ ;H=ѳs,op_~xljWcuˢ5*a\1URe*#]z+lȱ JWupuM(QA6m a" *sLrt6#2F5E~! f] Fzx{jZ<[F^ ~1z b>*mo{0FG֒Eo&TZloN%,+PC6q6eԴXV=A/$oXnLzБ#%֡m*UB X..H*"Ym!Co:U~1nfH..vu)Eآ0 }x; a @(g~RJXt+<)tKŻFX/1OW/wYɰ^jeAy{ nk}I }i컢yrCJ q򥈝nIzD1-#3^j(䛎<"&F`#?, pNhGqo!8#EZ rޥ%H-BᾢԾx)~2 T8cF[E:&e![LPĵ•&M3SrzBGԚog+fS"bcW5 dr0NfL"t!L( a~{.Ҹ9Ys=P8KΙ>os~3pNEQv+o.rO~Jߜ[E Z-.yxɕx)5;$mpеtU|)Wu0vrquEd-W3+p%?mztduV ښ,`5} #Ni5u.?_NhdgMQT׭ѡN]t'SBڄOږE?}oG)k)V`4=%~-P ǨûL.<_r4 ] rgJsƫ&:rȸ/@puy>ĂK ϛgB.;rdA1$jn`_վ>嘃ŵG.daaE59/ sыd ?#G:ZhO|oxZ&雘=+^]5hBmNaV ܻ_6"QaR* if_LݝiaUxdĢfhZhGEAὁ?M_sK5*a=Ec'Mlݙ 3K_1Kγ4>rL7B(9*sVYIOeZ_R„+)JJ3Up+Rp^NpbZ~+Prł]{f p`jؕ*jqEݯ#?I}҂ݧt;>wݟ$IGb|o}l.v,N;[r-=!{03Ax6\0}nhݠ$OsAqYYd!8!C^԰7c BE&S𠓒LvEyzx oU@iL*{WH*&so=Nˢ%w.d7=@+Ml0ћRBUzoq)I:xr}R_8o/16`nV[(Z5+M.ۀXA1m{ ѩ& (܅d]HF۾+"Sy0ǍԋXnlFCGI JԦpJcVLȪH|Yq5F斓jr#ŏm1uaggoj`8:Ow%jCltZ#ؤ(NPLo|"|rDn+u13АDQɬ#q A}6ҸϿk}PRftO8N3\_jݼk7F.m9ڭ]3@foYC HߟZϘ ´ 6:4r`("H/I40ͫ>Hk4gҼ;U]l\2j1Ƚt$ :Tbڭ)Ea}l.'ғ J% !S1dlK&= nNn)6 V-ZB'8ZAuPdC`!jR5\}K/l16,.ڎȁ#i2&kF)MDMpYfDC~g8Qe4bg  xC[䨕EJ; K& D$}2KfHpQqHA/]wx$͂!%}ʹdScYMwn.Q Ij)w!hD}rlYT,|$ E9=EUA3ن בHP0~anh"$+qT?~3go(sSj"7ª>8ڛKɜ 22< ڃms;&xjڙҗIpi^lW50l +2oGN pBy?m2qV&[&6ycu1f"-f6iSHOP!))V#"khTQkI9ah:MK$[>2 |\c$2W&r-4ZvI7 "7n'pIrA _u ҙ6^+ L`J` 1EZvu;ػ:Art`=->x. oEcI!Ť)L&yjivMObs*h)j߰G4 ` *8(ٔhU:̢ћA.[ǯӇ$ TXz1N-wa)__CDOn[BQRo(4meL 0'$5@LFCk^YVyg4ɝi-㷭ެ[=JoɌm=o  <{$l_`4@xND*h<ؕ23F$mtoA >/exQUڐj=ނKN%8)NY+'_GkUVk:L1m+-8@?g'<ů鰸F@yKnfJuTT(' !6 "y{]:]oa'R,r$&0 25x2F2a2\ 7櫈46zh)͢rzڜ݆Ł`l5"D$zMъq+jJ^TNڦRjNCg7RGt)%3TP:-߁~Hd ?0h Q1}^H x=l#hfXY#YvWK=7Ј J'k2Ż/ۈ4;1u }[JٕF%aw8gTEoՖ=骟hޟ53tfwG̮;(Cajkq2.<>W}K5!E z6PԔncVԶo$UgdkF-|TƟTw68;W=9ރwxGQ'7PIi$0&JU})ʴQmdi]Zdh4?F%TZ|tQ!X^": @wX߄؊d㠃kT7z!@" dz" QPfP>Q.ڋ(7ze~C嚄\ԛbtZfDnyG[YKojq4fᒢФ0)#kwf$eZat55UN7vS iwȁĕ, O7 m (51)ɬM,H^GjqQV|l e/8")t+}D-6a!6gĉN| |ח_1/yi-V*pvv'`&YXqNM"| C4u'b]M,v)ͫ2 ó4Bԫ<;Dv9g]FtH3KͰGxFj[SvB,ur0^@e R{%;0Zff l;sr@7X-bzw|` o (v1Lh] ]TL h0!nO$"NZU8X-=k=hF+,YQ2({:CÝ%31k8a.U۴I18n_'}{Vǜ*V_d;g$U: oQ )V uc0=.q>ס,9{Y<)9%Ix)<@ПCӀoGpy9ň{mC.M(> H㕢@ìAݽ<⌅S.lYъzqsxXOzgCA`BEl1a:*₌0$&cM,}-%oo,Iփ@Ydh=p|Θ'+kBln MgAU2hI5ߛ.-`e磈z 瓺a%o2sG(tYFXq% 9] D$0E# .\Z(1X7=ko,uSãAX0c{IH\D4]E،wg>LM +@6~YCծɧ*Nlml=|v6ZN`/c = #.ˊh3n @*̍PXRВ${oe2)AX2{SU6`ZM]<8qNY>͙ѳ2;xy6)d>3 cEv>8Y_$]Ên}v!и+~6lUa{4 I86袥" ,2DסL0(Yg/Bicֿnvhp1QvJ)c=l/;枱gYZef58e1779998075ad71d7521e53847f34c74f16cb0bd15c9fb8e87ab78f957d86194188c0459f9d9 2d36f315825d6c987155fad66981d3c51bb51ca3 67198fadf251156e43a55d07d2747738e8bf2a3f