SQLite format 3@ ! .C  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 9~< ] HOL-Datatype_Benchmark:threads=6elapsed=515.570cpu=1913.188gc=687.1447zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;`ENXFȴmeF^16cV_\ 0e=v_s>]ŗXi%Rt{vh!RZ&C϶ %ҢT 0WRQSw*:7{%ש傮V?*GqG4.l =EII\̭Wְ] Xu#G˪yf}P;CR2w ^EQ33f5\IwU+A i˳`GA2#,5G˛yA ˴t&x0AcmaSlđBvRmY4"VX+`Ӻ"Q ??]PH-|{Ds̆ j+.lqEǨTq$E˹dGf3;w=?i%΢*\UJ8#,=/h3!2eĶFb[.2uUAɏrzko<¤%-RٿPCiol(XOT^\5q]He>e~g +h9~&Y%>[e#[]$ 9 HOL-Datatype_Benchmarkw9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/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;~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 L9Ǡ9?F}tL̑vRXs:RBm@rj ʍt8b|R=t.E+):~ EÍ3P-F?`MX9"B^IANAVMaR2\7vp}es$}͸%57w:M,NbòVLڬ~{N2+vwįm{WM2 L1bNsb%<[cZq6wlw!8[TnNFvgxX+)̔9 ` $3Jgەuw߭3ۣ2[T9zD')-5ih#f{R%gGt6M=G&HR=P:gi qrʙ0 h^D}N*T1=18R}xWr}Tswz5'糞H', s'v `Kd *EbVITFvxeO*!# W&`Tg?vN,MbftL4?[܈Ee=Ms"kvJ;yºEo *hS.vYO#~ P7$c7"[Mc'PPu"aTB. &~J/sN8k(zG5tq_]=x7ϡgd1@([+ =$mChe3P/KqtR#E{Dngt*eTGL}?%Z Ԭu?&@fx˦܆d.H΀q78ǔmԜJ'oOS'Sb8ɺ7ԧ4VJO2kLys//$cD% z=Cm)HNoA Fv@d2B!+g98gRb80W7vnɂ`fq났n" ;qv6:}q]_)#6Kdh8-AX˛ݱw;PzĺM¯? ;!|9ʚ4 xk>oIRGyz%ad`" K I~1Ji10"x.7c\vR@pc%c }X+YN&\QøXCl9x ,Ͽq!5ld\F{#Pz* k} FJo@g`D΃,PDh JDh>%"ѵ%'K|K[@J: 6d$њDQ5ci{BpUxD]saj!_QT]R(Ɋ/-CR򘚎xGi˸ uÉ0D {Qo˫SmwZqGtcϒrP Ҧ}/Ι*t&tD yh&0lprꦫlmk–7ҾISN샵bHͱ+oT=#VPX)&T]M2-1IYLNJr ll95)$Y[Փ@5ؘhY 2a[C+ +;Y_ #KG8<}69O Q'7S 2֣)+?b`cJpVP)vrtS:b{ eQU{6ҕV Yߜ{ܺl[af ȚR%%=5M봠hmwfb+E9 ;ai>/$*=:ֶ,%B"K7ƺF=عKD׌t]/W'6C*@ 5*6?I*GS] bP˞"bFԛ9: &1Ro"!J!fݽl> +>yn&:[xDM gtLφ8PtIP]^KTn`<7#7c8AM-޻55N _gPNJژdC?$<} 'uE=Dix5ϚPՈhsDᴾYEG3bw9NnXegcn >GcvILYfh ;.Y86iOʩ5Y˚ȩ戧o3>FskkWJiSFUW&=|hR%T [+,IOʐ'񍶍} Tc1m7?H4Ѳq7Y=J*$dە@BϺڄ*؏K+h5Ql=`,\A#y|k;&Zz‚U$20ȽȁmTr0d%dhK muHQRvNI)%49s5Mv}? ȔF/Qf'(0aE) xQ&}}a#*RgYKxQ8k>aV._WlBz/ID;?D`1Jtm c^d,^/UrU985A+[l큀s G܊5d_NUwk U†K.VW-UD#5O 3x|X`&_iɁu9>,m<,-(vf,C {^bu\f" XΎ(@bA4a8ّaS{-% kK'm=uw?⅂|Bm"uH-kÔ ;i*vQ܅2%.6zp.vi! 7Uf/! ]m2yՂ/'x|hƷ)ߠpvh&ۧe 4\4•=&_j'zsE!GSĢ[Rk$:ՠ`.WE))U ;x@WHnŗP׹ʾ!^-WKp>vJ>a&!&y<P҅*>^y>yw3B'T>ߢ؟..pzZӱBQIoq%{^)߬D U rmޡ.:R.Qd|<+03ܡeV*jGШWߛպMF?P}DϷ7jNaƻBMُ~_q@KTxʷhn -ʖ-RKӌW;߅W߉rQr{4| L>0] nɿ[V\aѭMZ0Uq>a04@́o@][7R1V#Lz# W$?hX;hM @@_C1 spZ+nemr-BJ] =j >6~_}rRsοQsM;R$yVi[]Zw7}m&쪨 m]$apCCKVE-C.AD/u26N-qPfO0@{m=Gݎw驂8MLu55>zU+l73!­q ~ljh "i6c$5j:[jxZ"IG EmG$984[)dM> 6 &YGLR s#F/DWZ fm$f# K܄„{.Aؘq,^*gBq1эб b;3e5 jIXA nn: leTjDys,`rBE} _ iĮC EEmՒSl"Xa14pp{!䂓1K6VlebXyjev}1V` \i>H'#AWswq0nmuR6IPNz[lqdǣ)ZY$6RWJWZx,8_I36ITXWz63@@q4.r: Pc0v-\/IxN/T:F 䳴DcT^gpG?5Y&馳\y6~ ?_aK#.jj !~J ]c}׼Wr9H/Hht-!*%ͤ Z{6[0 T:)hy|ُ"z DMkmaV֬Pҷ`/O-__-!} [iXƸ ~M6klJ8U@HmT3~NgZ(iA5Va*~x>^\''$Np+θ&';avJ}d|i]ف]m4/x\Xg״cYTV d|20KIzd6y|PƇ>CDb7x|iQ<R'QcƱa |RTMU3+ yY"WF*Sv[˦D5YU$D &d.Gjty1"jԔv0g' )O>y 9LMQ?J%{9w┑GgJ<izv$_}ɻq ni4f(a Lwې~`iX >SĻF"Ra״֛*LIG?+hsxqPT>ST *M#qvm%+oġ]踈DsDz iJڔ쨊Y˽^Ƶ0>bt7־< }_ѴKZDv;;V*y9ig^cL#z4~K&&a=8?s3+v郫[+Ujyd"^rq6UB ԢA {F: Oe|G?'4viw֚l> abQ=$cHS s?zOfy / E@l엡*ctڱC#e>x3S9o29X=*m+$D+hIRO`795LI` hХF/պưfŒo2y%a/mcȫX Cg/?#55o{UVqbߋ$Pmƕ%[ g(ۉ؇DHHڃ+Ȑ/8,ynUHDx7*~,f$9[5JN45th;ݤf3KPiIu OG.o%/hFo8͓JDD)au͸'Qtjzsh^~\U)'Ign*&OMW`2C Q<^ԼX3Բe)k=~.EJ߫IDEw!|KT%}Ws㩤zRg^t3#3Ya@bJa[>!GYj9niI_û Ԁr \0O LYɵBQAK SΉj)Ȟ`Z_|J-q; >ޖ< DZwzV'<.mWRĆA4ӱ N,oq}HVZ/dؔp^.h^v ܴmDcÈ3󷶪%Z.NOaOz]]&_DWDpZ)HdLT1T_X_me6<)(uA (xz{:.|t8*i֑6/,Z(eO Cfٴ QBA{പs7Qt$0юʇ=ZQ}ha7,' Zkౚ,Җۻ6Wi&\T]Ɔ.0MYaq~Ɣ@ -f *}nI. oC 1ad 4Be7d|eCg*ϛX4˴']Y/&rx#ɚ,#h54DL^4Ѧb KFq;".UHH蹬1E,<+1xst- O9/++@D;1/9<#JlJk.Q jZcOD ÖaX۴ )D߳iMcsvL纫LX:e.r)u@DMf_M"WN; Kiv"NvNMVޒ&z0ӏȑ93;(|FD61晒Wꡋ.eZ*M:&0!7Q ɕ`wWr胉/w" HTSwvN0;[MȊZ|F]yŭ=x}:J=9>(VRߦڰ脼.@+kG5Qr/yXAՐU|6<:2Q0S<*[wv Յe.AJG}4ZRHO3U;;w"L<1N˂q E!/;Kn3L<ȋw[dDWh5;gHEJwel w}[)ʘhL]GPZَwzpDfAo#L;Nt.PB3+T_~::eLtiوNժmoh^ۛXÌ6{5¨Ȝ_v gUMl.GTd]0 )=AZRkvۃAe5 Ѳ(@TbXVҷꭈwZ=oiGMkt3N50}|^Zt65*$H/P oZEFK> m*^BG4FKעYҩ {/dP)(e_=h(YC[du@^rm8+^> %L o 3A>>4b<<'|!Zܛ!Y1~Z7Sm5B#($)ĉ²o9T֮3}o}NBEX#NݳAjķ;WX`~ )>xC?Ԏq帐"r5 2$&|TUIoYSna돶;'(&fÀxy!]W4UG? x'^"!ƼN $@W/{sbbC淕T.>|D)٫w#% 8.rQqhzCO.Ho3lh!w6K> F]uHyl>ofMf^grFϨ?]6sutcFHw%CG R5ngq!@p/[:A;U5?jbXɅ>#J1 `хrTH]}KQچ! {5FB}S|NvE3zLݭDiNE:a ڤZ@7a$drN({hEMJ|"wF":Ց6hIQB ϼ$|JWڢPAxF5z%B 1HQ]sťVi7OSϙ;{8>\g.P,IsD \ͅ$!4)q&1@(  O ܶ~Ӵq7I/]Kn^xݔ._j[%JhGn;n1*DUa\w&>=(S<0+5rb{9elhʳ,m:f~(ittZ\w6$ +VOzSrNx7YKJt(\"tc*׍=Rظ.ѝ`I8 #)|y2R&?PqL힁h9UZ G/e7u2!ozm@, ڵI8g %nw*aeگxTi+*8FW^gw>1]8}9?-4AIm0G71r8 LV{s˚j3:FDC\k:Z5_ݤeF9B9=|Eƈ<[!͗`#n]p*=izդPڍ6@&aHJkcXcL }p1MV^-t|>vXCpbO(}HPU)13kv09@$ϴK}'._fK@Ui])ilQЫY-1:ǧ.Tj=; xFm'wqzɢq"QQ?Ӏ+zR>@jsƭt#Wх]r+~2E^SʮX˿m]+niCRy]w'\sTq_/6eHA a/xCh` qij4Av:S0]&ԢUE\!wn~t}-Wy4$4:DMP1Vp(o!2_zE P V9pEⶴQEԒ[QFy,>lx/z;ψnP\@E:F+Eh^jbR<FJ sQl5(?9þvP)8, @Zy_|0԰pcb݅6p'k ڈ mYbj3+ 0eUtOG|ōD}`!13E:~Qnl'3|Z,QRfP aaj$pڍ) FR$ /E2Y MrEshRekSc7eb=C.P]UOb9y3j޾z&?A)]V`g[x7֓y5;<j{Kr#KX鸭-a+R~*D)̐TGRWQ8w7t"(x*]AB91Dx,jazb焥KeBDTQrTy ES,v)-Vɓ.P8c C y _ۺ-p%H:䕇[ebDf~F[젳bdp⧝ܦ/B\YϞT8_4 p:0vxA :Ƅ!2۸cq}:>>O:j_tC @Oj-Ǯ. > ބDܼd;7`yjXO/=X2W?.#!Ri_ߏ1d\2l'AaOʐRe&|.#͘êQg*q>G6$Yg߲*<`x$x ˖b$s5.*7zG Ztǂ9!l A$dp'J|U1A~pH¡uO\_:yDH;*:fg\b`Lw@l@v28cjWt}DMSbDb i.'~?I9p~83Lh[Gb`ZBqj QP*@|&%iY)uwT'㲤10ֈD|6Wd1΍&H.,, t2P~虍5_Oz֛'zQ):f;Gv\Dl7S71 gG747V&D>.ioc仁"N;ĘUP;.|϶51*8{TG T\g̿Xo v01$V^MQХ1ZIn+.cDPLl=4>!LF(Ȱ?2;ֵhV^'Ye=Dv K >A6}*XP8TBP3,v ,pt.AbA\W9Y s"WdpLwɢuT asǂ4tuZDAkp|cBF!)R0Nr`@Q }#jOUNkp1dPJ<&֛5 H7!Gz@M n:=/Vr]|%تA` f-&1lɨP sPlBĪ 2L+ljBbP+{}kcU$%G`p,5A2sGþekvTw*W膢6k!" IcVO96{ V:L^o" ń1ŒMAE G?j?i0 OӲvŢ)$ɪ?¢*|,8M@-~:'lMaVԵAƜ Oq&{ߎGBobpf|uOKizHP/QuI<9 %1뾈"Eد $^ii]iP^wC3Ю6`]!X< aP K)*{l6\ه7r I ,] F/i]lU)糁l&K^ R2rvQ<|_M-i?PePlYaTT3[i>s]fZO[>NUF6Lg+:ix9_kuU $kmgL %& XX2KwJvA5_4N@Je-P]}~M88ܠ7ܞH۱}X<;@8;fV)vT0g"D(PV'n! Z،9jC9d wDp(`CA4 ddϣ[{ >? n[rmK?:k\荗' >#a?K\vIzzH={34#%M'}Ӿ2$Gw( #*asp9}  _Y5&"H%~rQTIז3DʀzvjMnseԔWB- h~*ϲ/oB]UEi𚝻I4t%E uqUkeh^) |9Bb7)=v #VZP{ٰAMو1-Ls^"IdήWzPBM(?.Thg'P ~1gmм(8Ê&7 IE_ߴר٪wۢ`DIWYJU BLjBT RíkO+N-aTC1'ICǸK[zABuykfer:_jCD,&L~(v)L eK~-:lgD杲pw0//fHO4ԩcΆ e:;]ڢt7v)It>>?M]&*0qPٔ_8@2QKmA̐V&][m.#u%S3Ϧ<} 4?Eټ.|?%S]Ărs YnV)$ tY'p*C >"i`S_꟯Ute䞯51-w,)vXQqUhp푢2$pp[J/NO]UgDS̮"2֗\ O)zQtREPRi]Z\ V+o~ȷa |)DsDrą$m cMh@Iu#p ^>X+'D[dtkJ+ȯX`;J/A~$k@eA#&k2@"MB׈e-h_~RԚ+'Gi+Imgz*MXmKO<쏈DT ~8S!҃wYr>+XPQuTuÍjUŢ.-Ec[Hx|,FptU򯹻=}m.KGM SW&eǐ3MBvjXtٜN6Cc: &~|*~й?]-54;eA{a^RDGAC VGq >*Z-~0(!:-xd`CitP &39"o1deX${2\zMC hI~Jv2-5\%y:X*-)cr6@rŚm uJiיΆ֯zݢ8y p"Gx+ _^de4gwHd#KF0n1e 1/k#ietx B)$;ɭ*#`{JŤ2d,2Z0_A<6ݯNaz B\r(`[kD " r"+fL>).yjDu!'R !|+J ;%I}.W:b]p[;qT<6ԋ~eX}'M?S={œ A=P{^kŪ`|b[, BFxk/o"oHu?lK+2K2pN#w>tg7|]i6k]w~yIƶO"n~0]S8Rye(,I6uW*GʆZr\M\ IskZ0?9aEhEs0(4m  *$y,I=Jk`aZJH 3`8C&D[4@D҄ғ? *+!$h@/0u?H›oJ@B1pe{Nq@N-??&P[<?U]a32r1@xZyY^CXvHo #^k|GaB0^y:х &$לcԒ$Ǒ `tYYe>(;Mv|75hD` CtZJ^2ݚ{N4R8y#GRUN5)R ]dh\?T& O$g/9$Oe/ + iaZԣ/3uu"96pYEY_Em5bFS u *,[S`AP5Ea%/6nv7Ӣ.LKj5"]M^lj/@!k*[- Tp:v>kerI0W :#RҞ q9n<4%dMHqƂgߪA͢[H+͗^`>GTÚcGU ʿmp.<$Gd肇|^/jqH=?)y1ڕkUUIw&nR[͜BmJyҕ6qQF|T6`YU*=oiczzQ j@&qݨHU] ;;Mdҡ|44>T2ǰeV3Q]ڌAi?"4_ 8w$D]DBmCUE-8ۭõB:K8~S?Z; op}['EF9<EX)8Mt{Ԏb>BKL3JIVoc:ަϚ06uq?|g7jY^,nr!]|k(7KbaWJ/i_I #2h4'ᴖũ/̑+ +o3^"XY??C>x.5 4·4<&aCi|ku95:召*)5V0lr 0}-tԾc>[ aFYXpif Pa1c(sZSGg*c1x5fTw*Jjϗ-tU˩=: S7[O41KJ /LG?pS܌t~mRhg)"w$A;P0<:zPMQ7I17{/p9P/El |( 6q=HiÆODq/wp}YTodW,8l0-\rI~ğV}@ J(+`UjX*L:^,Ò QBa!H hD/Op[ٸ m2'+\^*aɋ_ BTngE A@ !<` &0_9Ɗ>1I=Lj-VP@AOIҍlx:T=D>h\ϫ3mRPY7Na okL\WFL0AW-QM'!cA6{ZTZ3wNZ!+n}mDgBg27+B9q9F`l``MN6C}b]OEh 3ʻ35<;[#4!4)15 LBW+ '`,k ,QI^l@ʴՏF@@WFl3Rʿ?|!ZV<ݱȘ?djYӞp#91! fjTru45sgE*6j?Z+fȖ wh3"S."EUI:(pBKEQ"~Lik<ȱ OEv[AP,;r:. qBy_uPS:vd !a4G: D\ab\2r% g Ǩ̎&$1Kf7+eY[( #e1[ɠ`ZqU[+K~_~0 )**4%\HY+(5$Ib]IkdoVtTxhE؍8l\'.LoSql {ϋ\, %8(v$~yz)V_s٤^Ux6D YLNOwh}ݴƐ`~̦aC[d]WS &9C\6t?WI|^8-AZԠC8va6 to.fngq.>6~GRy}_B^g7q-mt ~e[Í2W 5|g̅4\Uf! tL8DfEF2088,SGvQN1yy(A]l-9dno3|} =O kbc^L.v5C+ŐŦwrl @e2F_2oy'V'qxbP S'?Xcp&Q7M779FD%F~m)wB,KٺطX͠uxV:hn3'3>`TKm@<7 \Yn1Pq]8/r眞)gAC>YEh.Gr7jV޵$Ӻ-pGPU9i={q=tK6kp|s5U[\ vQςBndx0Ƹ#&$Z0t E<]$8X.+yp;<?3 M=3zZa*`N1 cVG xG/*=&=a]G)b,tq򣯿]; am㛆 U%LϠZYܜ^ :%. Z-$1fnm-b@ث/ *)a T&vQjo,' :62J4^:NgoK's|hˤl = IJdJ(YB is"eG oM,, GbʈPK&;QQ%@lEdSnj0ajk +CN$91#J'E6k3tNNL^Z_l"6w|qW2ڌ#2!eqAUC|QS\o$4yYBvK_Og=Ga¥A  j"sȥ:Z~{SȎKym3~({Ћ|X7iK j[ =SH,v$ %bL5DV` ^, A{}Mf^<󂗥[֕ѲU\p˷E-CjÓK ՜"z[oA&YiWS `o{&Ov\~5+<fzn B0A%p}GqUc DPhsDY{Ck֗s0MB Lg^} ܡ K4҇ IoNS_{ef|{95l[^0S|z(^>Ch{nƵ2n[S&ݕ i{}}K|tQvCRBcܛ G˳$~abc me6todAq1&"T}ȝ$._ֶ`O?pp2xs+􈟣*S PT@!kmТl25Ǯ ?7dQ@'5jzjs+IJ$h=}cLG~bL)RhBZvW4;i$$YY+@@8PݟˆŸ)i0X-->3*ÑxfCp;i7 '[=[Efr+gu=Aܦ:^0yE`>]m/mabݲ1{&nFƣ;&a/5c;?죙}y=?hQcGh@ 0H:XPg)`rT 8Ow+ic\e{G-8ʛt:Jݭ`\Bxv^fEvaqZT8y'VߵxQݱC] n$j.mLS㢲sC`[29kGth rѣkT2? OXQꮊ;Q )πUf{mD9%YŪ;Z#8[gCU%`{A jfR8Ƨۉ r\oou8YV=Tj  ;ht5Axq! Doj7ai;Bp~j32DM\ͅo0S4)m!dzͷwȢJLOֵP L}g1 }Fbw ޡ Fύ 9DPZNoo̭JcdpcF4f0j54S#?}&N_lCmmRiܨJaIPB;SΌA!6ԓqr(lD, uJъ%A ~̗jޓ1M8,lݞݬ{=jV r8"0o=<{gDe\uFOM@c/(ŐōX!WC ͉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;~v7Ub$fLR.<99_*pIɒ S6듵HtfZQfgc OϚ&kzjݛC#ist8ZZ0׃Q~BU"@ muĠWiȄ.5j"f؎iOgġA?K" { _f~omivY On;#>U> }"%5HPԧu,Y'Ɂ#j0s % dvdpB),_8'ݞ8hy#0?]iX\D^1Nv#?˛F 6㨧)?JPbFA1<5RD80ŧulBhv)4uSx:ˏ>yWL'rDG4*V\|J7 'xV,1%028Wrb* !<~ /C?dVĨK.vz0nX]B< w+LrInlȎoj܂&J#F"Bl]kA~[,.5o fF~c¥r9P_dF_t o|˭e!.L-r,ܶst >~< Β'mq^z7Ñ/? ˚=Qmu-?)G c[]:ԜqrOa>r[A\jѲ,񥚔 ]?B2C';T0RgWg8GŪp0E-R^2>g 87y1iKET.x\UK߸#g)1*^sW\D[ W|6VLl/ؒZFnm?M}/"$6 !T}Sߵ~/!4]VZ^BrZtK 9F5jfL#:;jkyP|mG+V"qaNZ݅ ֳO!mh䜈 HM8$ ı\FۚZAkWBF״l\mGiLSiˑ$2 .ߛ\k Ola3#i yO~DppDى VU#q?DcRLc75kxaIz!e7?tHçQ3a-fj@闗#5f#̞y\x)ӟiP[m/(i8םw=>Z~vU`n|i `ثhh4ajG=$"A2 Tɕ~O@MSHkj6Δ!?ҖnsBd /zS'?j.1fnnOygmFuYUeARdΏmY XHd%B"IV6@ {L}\}Z4ߞU>-@lGnnnE {аkrDvwvwjmG2yLي\HO';B\PPG[hzd)aRDŅxލaywTVM\DQ3Xŵe(3;QL_U:eZ_'y춰R ނc=*Ǟ!&7C}Olc%1ؒ{8^ -iUS+"XSej0 9¬ch9[xÃTkwDWJS )ǭ쑻&+̣#[[+rY6bY. )W,VG>$PUE=Ol$bv%ʺl5d!՗Fq9w*aXw9. .2R{0l620PK|laVEI:Yp'+/jByd j0 YE@ďau{[ #\ p ;(lկNE5ID }pIo9?w*xiGwN8ӣ˭,gD]󇦿Z_'yDV 2):GTFdl&|͛tih w-ݿ-= osq(XY8ÁD6BpHAo6FG\i'χmg?T5? Z+e/N(3BZ^I9v|sq$J3{$k( \2.|`o3'%u8MKl)@gW{c"%B*kp]ct{kcO^ q4*F ]=4A+oml7CnŤl?`<ͿGN2;ŇiSY Z𨞜}:5N7dZR `Q?tuHڍ$w?|m99 '{*|3~?:Y;}rXw0q9$;>߸4^g[}JBtT\<{ 0lt$&)=U}a65V>Pu ,ǞGs{.m9lòE[󀛷cu2Q]l@mmX~A##4Ofpnw_;ȍhI@oۖh{k;[N'[:UQX[UNZyWPxREW[iO&l ͮIҎG͊nߘ}]ݱby_Z^Q"i3VOs#SQig`AA\{%l);^A _zNזU?ay$j~TtWhA"떨gEp=9]8NoڔQ_>-/hQԦR;0gJchţ) ,B nˡs9l@}FHA(|y(eI;EUX*kupMDַsǜRjm7/!ghtLl@nStcy1u"7( XGw=\hN%**5{㽉lʚd.v;b~"{m0IsF,2g%y 5-\)oAFnro!0byu"otW" b`UdD߬,*?zEW+{rMDdvn+.Cqo}ý/YTyԢ#F:{H!) !3ːvE}?u>49baޕK'"e+fk,[ү,^߅{F:r-r~I-hF]-g$d&}8p.ALݢu_OuN!e=sٝxօDld*T> (q Jı$iy6B4 HC!?N=z"齙3w_wɓ֋NP$A)ؾVГFbc=ģV O87=U 2 ?vCԩlez`c'1 bJf>}{eXczcf gnI\jh'U7v甜ǖ tO0tU$") Cq&L<:'7 ^_9^1GY2* 4/(ʐO fGEq}H $;+Yv%*!0tI~Of!atmYPLdؗ(D:ML*7 !vg;yufGwaŸ/Ԏ Vo_m.hP#aE >خf%Oor`1a[FEf(_eV+NρTD=|.C`iv)N@;<_{|A|FwY綬sAզr ;{6k ~3:aC3y j+@^Ժ9+MuXf?H74jź)0c+$"Ȗ-oHfu}ܙQf|_ 1Io0}NT?Wnt ~̨0S6>z3ھ~wUs\\Y<8W;G@7"A?M&dʚqO*]EzՐV7[m<Ӭl'u0r7EXbJƯ8cn3R_(j6~#:70c̗0ށWYYe}(Y:[]3jO4: :=6ɶѝgU"c3FXx0ߦvA&!0(? =ݹ0A-(zm &jRhog7J3P㭙>1e_ESة{pòkqO.QmcsQMfDGNp%D; 9tġʍm]"^/H(fg]̤7S#_l|YM wă$D&B,"@h0\.N L `YWi+tBl\TMLCuUj,َ/IX!3%T7^-0'á辄PtZ?kUa,Z`CHF\iMUluZz'(cc[-=zH݅]NJ.!b930QݤVIB,W8O#s[WO;~bn9Meԗo$&>vhj0lpm?D|H<ҶWI)Gˈea8dp RdeV9Wn=tb*E8|ߪ^ꃙ4!,z۴.,ʁ^`NV65tJ](friB#Y|ss gB3_J7/˾UACR`ƾ#:UW AZw%tݥD:*ib1.6ExP| .΍i~P^z'5ou~A3I[a.qm*+z*"/Mѵ}RhU,._v(qU"nL좚fD# fGC|3٥r%8OYVi ɺO7v |{>(-[y@yo"(;HU˟K)!^ Y< &I2oXgz$&h[ƣ`\J CR|@ &#EԻymcIL@|cd]qO;ft%n W8JaRe_z 95n"( |ҒSAlR{YFXC=%jXؿUbOJFݑJ"tҲ6 4G/' oA+x*bM.OTZAwi2g=Fɯ J,mXˎvQNdsSMPHFM MٚeVc$ M(|gYZ F # \ Fs 9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM 9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id522O 9I# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ] !M젗OFI"Oo5Pl:* G3 ^4·OQ]oP* [wiؙe+%3Afs޿+ V"NH.6[sU6XP+f1aHs% c|l6MYm,)S*F} };jRDȢ$Gr<:{:벴 `λkg$ =* ?:#>`3w c5^9+RP ?хB]w9p :x57b%g~`Kvjv|Zvh%JI UFPXu$Dn}_F;GemX9eJm [q<UmMJF9_fcoߞTk{lH+Ŏ%TbVW2|i[T%B,O;Զ0'Zm v13|KGϤ<7pqQwC@` f͖{gT?6g|0c ?F^r-yф>pCldZ%Oi#Z~/o#HfML]3_`:ânD-ғ!t%N+' %·lܟr,9`~9#g{>:&Kn,Dl߃\B;)qx_*pY]wf]7L1VDA˲=&(l)WʓN/ Oǚ~Ж:0]Y] 4g{<'5f׿ji~LC[Z)z3 K%RSǃلm';0o_l㯎:P)>s_U+00~p5\^FO4B 54jͣw,ļ&. \-, |-z.b+rsVʙDr _ř O|tL_vİlD<sϭ"[͉k [4nc(/cSlb#soao,PV/pkL,;nI'[SwE(du4huOAL[/0 @pAߩ14}4[OY1ݸH뢼'2{`["eqfi)i.3.f>,/L ?mV_Y4vnf1(ɛ䥙Y|QUWeN$/$$Mѻ,8=H1-ٗQ)~{3o_6CFμ:JjwVA/X"6V26YU$M>6)Vs gl n+qL;H \O%?G!q}HD>nפ)qtu~[{g6@G!VxK|#eP Eߓ@*"[;$yd+M<D,cNH6 U Nzу( =4~)z h"BSVcI.`ġ;ݵ0$NI2-zhV#fXey O.y{ꊡ )G DS6;S-;[>VrڄjDPGҬ !J_ԡ X`ޔ`&_aCoSz#ffX[}!+y~B'G1Xfz]W3`,0W^ғQ[8gME[EVq K-eM bQXq~jP_;Vg|k կ(TsUժTsq>ǐQmb>ٗȏnY恭@7g/̘bS3%o){!'VׯسU\4oS&JكMWŷ1Lke)1@<|e,USĆ#$h_"uhD"B;0N^:|!k.Ɩ#[sDXg"N՞ނgOFO8i@ P\u,f2L9at-#Lt >+!u_%[V\5!a՘8BlU.wEIS4˹("G| c`G><~]FU<@|~oW!#P>41ֺOx!HE*\س?tx`y=?`kgid#P`b*:Ѳl;Q%:PiԝT_TF=CvuU<@1_J,klYmBnCqs{C$4(a#7= WOhl" |~173EU %&U`o#R&_jOZ8o?l{n3[WA0c&-9W/i_mo5i8-(uSon(c7/b?ᑟx&bRJkχc`? 7IMw=#ƱcT>9a}ʪ[ZD GޝSDܟ#[B<)ntBY;BZfxuBa $E7%o/(w"@Q!? wb#qG0`A5* 75'+> (@ݳTRehSGXSM61Ap9N.YqrL ٣:CDҧLn',kO 7. &m~ljf1l UP!Ԋ'4YtIUpt?xosΓl^#[l&V hP$]ji=, LdvxΜWo8WϷh۞h_o'%W [YiV栍( OrHc&&YHvq*+֜sVRjpʃo5΃ ko ۱3TF"s)j@\mYwo#XZrX ?씡b 2Qȣ2(ijnz!Wl5+e+Flldǿ%gE@hG\J$Cfif쬓L&iqŨt@cG)Å9]Ꮰ޿a$; ׯ 2mꏑ dSN >Wpix{Ngko~8uO#C̀8o^Z VunW|6K&$&RvͶ>Awe^p&IyIxc+w{3v=Gq2je .5x#v*c"rm.7avWem'|0#Xz!L^s]Vx :qw2ݟ&K>M#_@U'Ni) F v{F8OvDY1xlaI2k½>t]Ү ,)X(dNΚ," U,As>NN%DDEba]zw_dĕ>67ٖ(Q>_o>wٟ[ >L) iwPO/#%șt'37d89_|czv&J/m/  =ĶP$Aku5IǰC(ah*qOџj)N/J@/CAmAP&̰d=)i?$y`\LB9 L!;a񇢝ŐirZWV0*1'Y2 MHE¯Ǡ7(ԦC[V'-. (m!*.dQj a(ikݟ )g:9C}:5օr#/U@E Tx0=ub 4p>3Oe#x zfA8n NtPTf6 Gς89@+}@oJLil}np,pVo)OV28 r&I5Nu2DwAhB82%C ;ڂ$8,_V=d6e[ǙFq';4JjO=@ (UmzCD5naTQB"Y^\e]@R"蕲hu!?ٔK_R\~SaPtEOSBZԐ&>}vƢPdS#- [" ӡ:ִ&;ue:>BHj]Ć*e^DI GwB4 jFE!f zbDh5~2HaF'R"|? 2A>n^(㘪Br kV泉_ɥjL"р,iF%9&y.-]]3m-3 Ҵoi УVI1ۆ%S{Y{ ,v}HR~ ƈ巈(gJewiI)<ěO~Ryu|lÏ?O`F;~͕ 2:~sVe7-rXU>0hXY& a S" Zq퀤sAFW7"٣x/33ReܵaA[dه`u j 6&ܓȓ}p>R 7?B09:x+$m Pڤ(2M_AۈqIb<{4˽-@=:!id؇T; {H!|Z`?SDyK%&kX VgA]xϻKzIW5.JKU|R׫9ʖq[GRd0j5}g`@ZzY=Njt|Ya()zp < ;6Q0PĶV7b3Klm]#h}_\?ȱd z"k1ANn9]^;$@jU Ųv5[ v/r]ioS=#}hVeAFsj;Ǎ*!HG4NϢױ*m t.rƂa$e-xq槢{ u:+{"DP`^o~9 vѿGS cš-.kq2Ꞁp>WRo9uLd dP ͖:j7'yclx^icl`ؖR-S'!E,Ii'| 7C(Yaߐ@q)|'M8< Ӳe!( qJnuA@ xGv};<~ށYO\.<@8{1v@C\ފ=S:3yJ 0 ބ<0-${w7CTO~9"wNսNK2HQV&@O F 8᥂{]ߑԵ/|ɧ4:P5)ɽ9?7QΑ@rZI{48iHBmC?X͆eO6 HOHgqws+%Ѕey6C2rn٬'Д׀>8[|-^R-Xq(TV:T(O$ b|A18Us12?Y$1W [컰NTC-hɿ(({tTvxQbCD}2$ki(n'=Nhcy'㣢Wk[ϳ$V/MqdcߪR)HC S2V7$MDT< Me1=5@͖Z4$ɭ۸ix@G{f7E̮~{u+g e@li{W$3g',?>q%ivWCG$tˠm5 .vM9OLlF<ˋ*ʵE:8bc3wu:UQqlüos.,W_C9"BR}*0< ߶N>o;Z/938gxk3I=R_Qc]l$sڇ8[ﮜvYCxpj:vax^_/g-"QoBVu=`jeRW쪉|֒E=E6L ɦ}msit!0\0„)~_xƟ5g@\YBLfꩫ^y 5g!BnQV@[PƈAAm!J6UcFជoxO^28 c'h>fQM|d*AꨥUكh%7᱔-]\sςjoI󇹒fCV` *ml6rsfx2` GW?EzTu]LoSW;VTКe$@69N.DWz~3Ef]#8k zepE]d,@ѭ0WeuZ*9.L&lgqۏt@87̯] :G[G'eW<'#Ғ};p}g4:*Tr,V_<)`oۖ}Qz^V7\/ղ ' tv{ro&\Π}`>LW|*! Ĕ6*l[^G❕QhКeF#AhYe66J "Uw d?)!_4UFVՔh*{AX0o|7it,6;Q KuS*Ddlk~ V>>mCys v241x/g\\ a!LPtQTֶ~)ػc2-'E-b䣮|Ȩh Z\+nMu]VAԀi8W U21禳/=̃D4K0xgaBJnbƜPOgb1 Peq%21I3=dvJ ?:h&$ACY:?vJ X9CK*ȋRa/ZR_ d_R=>YԾm{KC} G;._g*Tm_@`OR.UvyJ|s@]Xmd*"nfJޕL|@y=@ḎZbi r)ϔЋ,!E6t+a IlfSE?2VU';3zƱƽ=ni ukL > Ę(.2;yuBܽ),<| t%?w 'Xv>GDܱZh6س:x7qZiyѱ"Xλ7sqA+C 4 nRljh+PD6nCB~c)LyGM0s6dsgidS/1!W|$4o!CHJ&pѭz{NVx/G%sł)` ZoSud4&D9¢qSx?#0!$K9TK*[!.ō6$ ׌b +Yيl f@>)Qx>gmpĸ\nDC+߈zRh36'#0Ɵ(Wm#$g2ߠr3ݻPEx2Ӳ5QO}~[ XnvBٕL[#J6;ZBf{KE/ 3:AJP͐JT/C~O1+s{5tyH$!҇ʚ*[?| mXOXVdPL#yc[~%͠ lEAOfzd+lG>n~ Ϗ\C6C!4ERrP^Z ;^"X\ڈ3Ӂsqǹcz-*^2]S٩d&XJg7_ VdD1&=Wt``ٞ{p4aA݉Jɾ[:vU[1VMKK\X8m3C6'TRJtFyz;D܇1%\7gǕ;nfvÛsG_:W(W҃?}WZ"u4`hcK;P,%[2YKLx Ȟ7F[@R6wq1qKG~ ѭg Ѐ;;}pwϷ5/I܉,Sc*?O¯LmHoˬݞeέ|2; ݴ\ܙi" APReY^ zͳ:^DX &](]gJNdRhc$H0Lx5b '$S^UzVxgaÚG &D Eo-1V O"׎8]=;dg^n5DM1f\P\rmUh?Q }4p&ԫCzR<ǐwz ?:È{Ku)$B=ɒVTdyF84©*R#]L0!{hǁqA݇D)Y Aa\m6Un=+]v㝋1+gWzI)fh?Mױ0JYT>~2kcZ[YjlN)M2?&Nfh39#Q.XMIovN_9פ8$_2ICKJae s;bw+LGxNp#ƉxJlb4&zϕwH:'&DI5-7JX-hAQ ׆ؠo4Dž|Ċ\gP@Kf켾4Z\R/N .bV *uQ@ٯ#Atⷭ|Lp$澭+x}TMW*m>TX%po; LBv{7;`3ȿp FUrN~|hNT/v @l9嘸!L&1Ai0n0aRnW $߻JF4ԟB w3lq !iSÑY>ABK"J i9׽Aws t` PW|(1җTK-Y;l/ O'AIss3ѬçEM0mxtœLKQcƥ1TC ql:>"}Θ9uKco6Jܜs(BxSc #M׸KD\{:[ E;1mK9Nݐ!omk<{MO^\=@3ۊN/Nx4xβ/vLy~Bu7dF8kgH@os{=(`HiQuC/9&RN З4EPchNm:Ϸs7ze ~BX˖c3rbH($_o+Ng=Zo\ eo|eǦs  ! \g=Nrx;BDaӖDw$cY6ZMƍV'Ohm}rQǥؼ|ϗ\ rz " N=D|P#76mL,(7F}x;(WiAMWn̯b"F3=6Pҿw1[̑5Q6 qU5uxq_{U8Rd7/xINOAsʈ}v߯CJ^Tù0ʮ>2@H"tq>,B9vBz\ &8-ό\vJP_s9P~ (Z] ~6L [ dﱣ1ݬT:r2x[÷:-UOAW7>5˼iƼaWS +@OtdN9탕ĤxTd`\'΁ZyFƫh=gY|Ju_f81}٩kVݱKao N w,HKEL[p݁M_%cfˍ?p%v ' FTsBm[īA:!I%@ V=cHx97&)yi#" #]%&vAK1=CD۫e{ .tC}H E^X3Z˴au-9(ӠZu~:!_D. s)>)vϣt<Ӷ,GFjPgUS=26Vb]G*gO̕Zf@B1aPZĶd7v挃y'suYn/{0N04O6I1@g4;~fWZ7 \Ӭ21 ;F3A¿ dj7,5S'8Jfd~ :,R_]@nBG[p-t\"}(ށAQM ?F':;8L7NJRTLjJQBw="lJ'E:c+}U଼t7^1JZʙ|ô*qZ p7&n-JDi 4uL; }TBIN1 wV0|=83#%5,8z`TzgE v+q0&XYtLQ,ƀ${Ӂ+ ?-m7r> ,a~Ni &ڔhƕI..!mH9qw"D~w㼓-Fl}X},}AF*}%V]+zlF0DeK5އ͗+f.s∼ ~56'D^Dhڶ~qj Q'cjpJJ)FٗoycX@3̴lϔf KAc@]pA;@W\W"!8w{˧ڲ Vr\*Qd:9E{XPs%*1eKiLYl)qq-;Bќ -8|UUbHF𛥇Ƈ:i՗*#}{'^`X"z <ǃ(4i,{OCua_'sgnaXt Q8Y緱ou-۽N29+>I8~W:|O>LF #Ք_I8#WyKBq]֣‡3bYҀdjupku/cj0l/yYG2QڹNzsLfBgV\-Q+Mcq/ ,q{`R&h?;p /׸&iJmI =bsHw)B,͌,%hk-)$lL/8[WHXAw*KCIGk_ѕ5XLpk 4ּݔRCoiB}lb'3v>؎#07#YKXs $ 3E`qv:~30'c~;57.rcq ̽d\bWGYj 7DT>G2%_%K6v WsM|;;hiA.  站j6z!hocso=ހdfj[gVţY!yLU7M#_(C$W F"W'Ny>0*Tׇj6GⶢY\GQ{N굺M^ h%>=ԌٜR{p䁙mp4 $,KRrB-8$Zibɍ[piᾌnhӻe$daGOSq+`iU:imڥH#Vn},]Q=7cJ"+;b؎:`Emnd ms5ZAE'Ik})4"N-)R^‚ BN!;"F\?VHye;Y4 CqM$li"ɞlC`Ȩ_ yo;_54ٰ*Lίnc.$0fǭ@m5%)/]f`oZaXDSQAuVӞ0>"NQF*0: #W7I?'e\&,U2@,R[`X?Yf8 "@C.~~jIX=_=>k| Bmi?q}31+6r %߽ J*0"tyg\(xw.=K<‹z(Iy͵,(q).4vt+x?3mDF2#nI4`l 8tA^14D37^zGŅyE0[;z];NV;&W-a*i6x="&﬌0UY]G|#6SLUszjbW:&ZvJ255/Kv1'IeH5)Ua@Z[0e5Y@Pv{N >5f gܾ+NݻqA'vwL 1P_ȥ 06D\pFIl 0f 9w8V̎<" 9#EStk5;C ^Krè˘,7!1֜5tx:&Z;n9I=- m?kц)fIl .TiJ!]^:9%Qyh, j; *kBиԝC=r`l@EYOք RDp Mo!xH$K#]E67`듍|S c}3͇[!LY{񛄤&}USV z6.9l d>Ы㕅~B}M?f؅ZGո5q|?h,;q*ƮZv?*$<FR_B}i ۥAD߻c54xgiyB6mbN5wq~\Xj_B1aRo+0=i:~S ' 26Ey n>}O% ֛je5uCf ak,MrU֧pԡlLj#$wbjа]zp_#Waڲ$&-TKW `=:0IU0a?6<;N=3\ $8a3O X_u!uKa #/ HsNf^ (;K%$̉ if0g0jߑǼܾ9ܨC-: PH-E45:"1N򏜹p&Jc[i7|+nI]:e[?Gစ܇M_$=ؼJ2qUІSas\R^l$u?< UvBYQ+ѭOt n.yx#^r":ݖre qZaЃiCM4.Zw T[f!bQ[; V+mu˗Ua$rI@T|lCu_kܷj;˚R5pª NUL>:#et$A9O*͙qtS^2$Ǘyg3nYyHvҿAlywyI= cCƸݥ'AT iihe]_N޵NyT#PV! am{н!~>COC*"m<^-.U3]ezr]Phd&~ҭl qk~?3J8&^SF}7+ +j'N(RFןŸU%_lWL+M{H2(}m{noOs!à37F@>5O0p 9ȶ0' a9iZU߫g ӱ:?AEBg=hvLCvѶ)x](Oq}軃 NAo<Rz>{@5d5 &'gC{Y^{$dO6f4,e'x>٢\gM0mS)Z\t]ۋ<)`:Z_DZ>5DqDvG9umU]7)i@|buu^[FԻ tȞk{)^W.>zlj20~OK%&UЃ X<3n)FA$ʶ]T2N95?'͐_lbwMح SP¢v"V%!AGv h$44^7dט.&= `pe;n Y>(_Vjưd5C:D@{N.)c"9)Y/[r~S7\k(1TQ~ iZUjW? ?^7O{as'l:GvQ[7kSVr0f˳ܳ)Vj :bG;=C/ -4=Mխ߳5A>_+νaK%8Q;{6\[ȘS+P:Rwu$F. UF4gZQY'0pҠSp NKy &0!)>^FxŜ5Gp]Hv1} ?ǖL1XB48uXNyF:TXldSKa ELVʙJG)`L#_ЭJ5>N%+RU>@\_>< g~'2NN]rT]9tVM1*m ?~Kh従4c?!+Z1s< B1Pv[(" l9lOˊZږn$̍0SahZ:HiG;~@ۺcqRƹ~|r\گi'27C6NE9n'%!;M?St]5l]pyNL0qQe'Uԉiv"qHyQXK:[ N<ԝyJ45bV֎"=OA荗Ē5.ЎFbЂ>X!u"tqc 6o8S^ y i疐1ؤ!b'*@I?џ $2vr`qqjЬL y6 Y "xlZřqdVb=)nf 0V&5'A(t y a[!?.V:LemoU݀,#5&ףB4b g糰ɕ#lbtIK eOzJPrm`aHI i^uk-\1隩*m# T:*/]*Km껌ܣ=:yK~ձ,gbtm+sI!ܮq}v܍}꺁Q 4Jj*jExb hI$;I|)! 3{'{|3jȵ61bG>ϔm؎1x,g7Win4rwMt"sE8IMOs^}v˹.!w3'p:x*J>5wMJ;EÈ!J^q:&yT: f7Z5̆=mrA!D6i#D3lKSf q E3Ex ͅP(Tm}mW494;->[0!_i85|{"L϶([!<%Ц~\g yFܤV#E @AgUӏz̬gQbei-fÍRnL лq1|>yt"4e϶>"YCkSkܬџ#"rkY7 ?rKoYbu ؅1/)515΂eɸk_'%X1y4R M8~u6Uz$2`bp]DzpV cy#ߟѪ=oYRSF*,/x0orM"UDP+Yjw`HKe~uɏ?a_GDPI$֒D>=B I)7s+a( m,דּ0>kxPaR=7j.7'zJzߠdVC^ԁQ+s7 j )A?Hך֚ue %2O!EK|sy$TF$i8HRr?^#"GpS!D.ް *ilzX U>@)}= Qb_#j2#`sVn\0lW;z̩?汿[ U#_S]gkq+vW4'j:0TăĔ懈"xTnnE5JG,o'=4[3tRwBc鴡{ TyV*Gq.m%I >23Z-_Dc֫{ 5;5huP ⅸd&;?ԜY#M-taa_tuCyRKp65 Y*oX3`/bҒԝ:Ѿft`6%jr*R.$ Z`2d5 BXIBDnje\!Dl ǣ1Cx^u/g,' TF\/$ӻ@* 1jl3vtG0dusCHwZOV]>S=$9{x9;gP_ QU[{]⚧Oe@aagZaae˦ᨱ!˨s.Ҹv法 ̴M81)E 4 T'"`1xi]1b'8bwGw ,*OoZo,K GmuGvv~iJql w!yx t4)z<*I"NvJ2' WM"O|ݭ?>R~NN^" ^ԎY$+?]]CR9vidrDB-3WPE510/u(@([͇J9zX]zY6ߠt[$zt#G5Bhƣ: B8ꌀ"yH v6BQ?!ƥ[_nBXIrCa)*>OpIDV'(iƙKFmTT:xK'" !_`WZ!%UGLݹ^_d@h+O<(ҡzoFUy(lj#?}HM3WbyH>_.<%'AdTϘHp.ҩ]7JdYB?? (j4V^!|]T16]S '{L&dzQw{-7pvqJ3ëh8 )ɪ:΄Cf%G U3MR`-ylɽ^X6JTR]_՗Sw״Is{~XɰnBpal)wdX9*pqe{K;vQ c4Z&]EAw#ଟ ҡb(d\\a!$^YH=0-O2&<&S Vz][QoSm@AAF[ݾKR@m\t P 2nN'!&!ʰwctuq%0>HGIo]hY3%EA=-f޺ ^.):{aO?+Żl o%Sרk:.md,{D.b.U8)]D ?ID:xR{|#4 \,Qid ϐ8(K0!O_6Y:j>xֽ]c\ ޴j"U,Y!2)G#aogM&?um`'Y"=%:Tt[ +{,,z/6Mh!/^)VBlsgTp9z(g?15!jƐ0z(cQݕ$,l+!\ K+N"j;^8ǐ؃}%,sƘ|Y}T]'k H`QZ q%oEf@9~hB-B%'My҂d zzSH2 kU(P!5xmv[`J_Ы oԾԫZ,LhGd Rߦ)d%MH;tL*8+ j`Z29̊nXI)amt.\IǷ `{9吋Z+u`A&#ȗ0ȡ]`,`Ŗ*CQ09;[m4g~ƷZ~-Pk2=f~#@@ [# R׮_wx7Q&]:(gG>D:sGI{>]N-%_dŇdgj5qM13Yx Lj(dzYSy:ĞZs7\,x\z֨3`@E Ηt~x0o6uv] wle5ն- 10yrtnZRЏ!֪WqIF֨^G^ ?WvL=L.e 07qI::|s]kp_cz-}Хh$[;#D'S'G# 6pM:FB&xa^F QɌh$,Z0v8:O2xap a{9K?A(uX]զBFkVdɮՑ@Pq~ETUz7 hUGa8s/xdn$j\(%]nOWѠfօZ:Tcn?ϹzSUu8 g^vj8u*ML¹S-Ӂ.p7y2&",R!\5G[j}SA*a$l^,#昁](X/r/n"rh^()cɠTRadR$kb= 3).0h%s.J4" ,٪rYU c޸͈@IZ&}z psP(Oi\ sCK]dG-װ:!ŰF~Ȼb:'=u/~ PH|ȚW49~lGGUuvW ygjYq3yԜ 7kCQNי3\ū&ջoMP8yQM0mz|,WNtdZmHGe^RV3Gį`,/LL=|eC#mY1jmf%raA )o&eϑm.w$*evt5"6`My`NFf%fc!|~-(u#y#)UR˯ ϮG\@آ[ 1~G?X;l+bbBk 0]?ҩ[1bS ?|EK~JXY/^ƞYwg+GƠ!P iJRS]tǦ~InA,i%J3p~ `2D{\JF:UHAR,)2z/=^DpvDmV_<X_ GS7eynI.mV3x"|tr+TUuR GOs")J8[e8AMKjwkqG;.^ Hɦ`9׌#QNh%Qbpz_ 2]mW &vo†R] !.8CP{ yH1Z[0\ cL%su.ۣhhE#S&I4>K~, _b>#_<ᳲ#3FpΔ`GB@]0)?BImL(B̙8ph4J7Q~ bBA|+q`*%"@] ̣ ka5DϖΤ7sJkS3bz΁i@՘6ު|㟹sZByx"Sn(ftM%ZYg!t립vLW-UeiY;z9Q [VFj2J6"4 [O܄%cmo\*EY߾Nm3Smn O)N7>j,l#w0VDjaOᱚz|b2~*3bwJUY#yA!5~goBmf}FnhL;h[% 'H/,9b:Ab#e;Ɋt?S*|3N%ܑ=ӑ.0ț+%D> 2},qa? rI(H 1"nb.k)C۾zיG46lGxz,q^J0y]0C/[g4N6岂$㰣۪է+bSG<%$<) 'Ea\~X>VJsK@ULA[t`5,(A\N:vɹՎz8Xu=z QYK%f s¿r e0ҕtoVxSH(5x+wj%BPX(^ސT½9vR|_5?屮+"gWKv6_Z)wb}6^, b8D͘&WAS~v ccğԫLj1qY/*KviL{+BJRoo.: u"穘|С0:Cw+z% ,cˬZL4X鹟Y/T^1g-IFUTG!? :s$vV'El!, Rxu/LI)5 ܄;¬@{A:!O^i)UA<͆ĥk j+'y\Q۔xq@ J15BltfPo~UX}6~]ϒq2^'pXEzXѬw<&Zy9pڹ,p)$ O9/{5rxBE4z֤QަY`_= {t~:/g7qA ;-k)~}\/ oycؖq%,ړ~W^ٯSoEbVja哽Us pD3F$vATUyZ=a[1dָ~fX䱚Ţ#+)w \h&>nBAo)VԬeY̘Ddǃ`Iev|ud)N,hD>Dle!|R/"ʳu%dz4.|R1̸:t(7DͭEO+NJܮ cBBJO&"o:-TlPWհMoŪ(~P(SXF{ /0l|J<3haXOT';Gb+oOVQcFF*7A[8QH(^=vqIٓ傧bɤSHTa{Xyk{BRމ~ܙG79W:E_2yN, B1ikxLywHƸsBD"Lm|,#)S!"">@'0 {g[5㇪a%09kr7PGQ)G=)/qyWɗ*_XM}]W aPFE}.6 (bO 2 y "W1ܤSMn^]tD?33QT AS,>z$r!d0bG2c hˌVuZ7p#ع.NA I}W4&1 6e8A, ;pu!C[_\ű& 8 >fR {W[5ވj[D'B._6.f BYmP__A}᮹ /$k M#x)Lq+g x1GCc_Gr. ;BԽ[~' <`i kT]W'nxNB2K~I:`vʐYHrONYa: "`G*d)L W2L8~e 򀑠 MkW~ i(F[a/ށ@LGgX9_ڟmaAnY= u48σnb"%X{[ra(5N7UJ_|on'pL6ulIF-!jtJ;r%(\bzI']T sL#WA\.G9T7hהsTXI%>-UX6# Fsu} c|'m*n~rPPׄ+}oPG%$%GB*y^HV)D UC;@\O\όjѕrB֒pmwqA1`6JRʹ[R?2cU!z۵$kdd^3Pj;ifz2]nLJෛBhĽQPfpԠ^C|&Je8,M{gZNzXyVKǚ-F Vy'~JVĥu7^:sNҷK> ՎSG+:v7f8 oyFư*H^N0t&8waťW " W@h c sd3nk4-K-\]P<bJ7y^#`䵬BB}n?pUi<#qmhjƒ dۖ;XD 4ĺ t~ʟ%'mq00:[l>۞&# (c}ZY?%2^/Yo`1X:!rS=<=P'׽hi3`t;QKPVN2bRTϖb1#\%s.. ?dHT *N}mwZAgB٭0}KVawQ9-t6YRdrEYQ}v6:Ŏh*xXk|#a[OYx~C5ֳTZ3P%%O QBX蔼󶂓8C.-ƴ fl|?PfVUp~4&4-~[5.s>Ν3D?jgTǭH֮)3s0{"Ӱ}4E۸HW1ZMlԛ.ͨĕ ׳3\@E F$*yT3v0S:/R>H4=)իx>0 ih;{rsdZr  Vd859Ԩ֒G>3B8FJ]E.(h1ug! (>wrmbš4ge׿j.i{Έ$?! VF$(8atRDa.@vgloKQ/nz}#cnnyԥ}Fr{ ;:CGzv00(f0]w&z EIm:pi5~ Vgm- vUQm{x|E^nr2> 1ѲCԎ9an1q9Z6 Wj]321>C.]!fn V;P0C]T!BX:ך@6gUneDQ䛴c`"c0IjSSj̞Ò))ж8xp}a3wZ7G7+^@qi%k2ClCe[|MjhhDϫ+>Vj[+z0TNuz\yXŜ$6cO jQNO"iT؇n ]{" =K;am1pB @MgJlwf(YFݽdV87m ]R@0=2_cԁʽÙd:*7f֭pw%h#. ]k*R]:n>zCr5LOH:7jZp d*؃Hcg9n7SҒDb<`4Jk==i >񯟔a!/4ԌUh5\)?t2N a)-8sv= 3wl(sg=cVѩDB Y oAGb $?|xQX7`e޴hm>iCny [nz,s3dYHR-~lzj)O]IRnd!#m ֚u6%Ѣ/A{]TIDfemsv(qgj%: ԰졘.̈́o72xSXA6:]#qW'[hMSM2N@yg kJ(D-bj{`Ȕծi6}/K2*4f#͂4lu'`H*UFm(EGŷMI`Y=J+|2ܪ|Hs%a,K~v|7p8 brЋqA'yB$*WvD4X9lU^rڻ'DצQ)XPQGIK '+)&48z;,SdE[l\y_qEΝei[q&Cl =0ϞcUu:*w'-|嗉~')hMS)G\B^q"=tXPvt{)&nsIeŌԴO,#ILhla N#~.--GH z!=ɐ& ń9W<ͦE6yH" ׄKjgRǂJ&#↚yRӲ~yEcXUXHW"/^G9U;GYF8#3?h;U19Մ}no;w9NlNvI٥2‹bvApJ.fZ5#\=dӐh/T1!;S# O  4D?PFj~KDeҭ|<6ۥ:cbvJhT[E$4TEJzT5i )w7k` J#@%ͳmGYvC{%HPN-lf@,h|"KL=7s)!ERx ^Ef\s׍scW2þC>84H:gBnUS^ ; ^S*p~9\R YK>If0fH1w`퀎{B'Lno8nʚ )v,/u<;-©XșHD>C<9Ҿ~~3q^b2^Wfxavs}%'vo@ td8H9@ώoB+Xr*Py*u+5j7sdt#7薁V=mo8"KR 7 VM2!ŐUqFOP9.-\<)7YqB>2bsqQ34'2F(rqS5j$s4THS /!u(]8Wcʛf%7Em-=;Do~(|=΂6cNm:()MH5EaPMG 2W҂ z0ZMul&^::h⃨BpW\ȥgP&_Nήǚq $i _~bK/c.;e&p:c֨J𯉷A$5q* ȘX9_04@)(Q>S-J}XXg$ZMO=ݙH$`e` tzt{y#_I{WI6 (IC~AdڕE9:eVG )Y@Z2(LC7ˢCWE>'JPoR+<'HRcUl \V%mk!:N)УÁ8yqw(46=X-|B%寑p?c~UK?Q߅ ."qgնvB4w8IҶ(f{V{ +o+80};| ۝p!ZR4ATF*|'>6V#Yt6Y%Hld|.Y#0, #'z,\6-[Dґ^FwY75[!\?Epʝ=a'Rܺ8"b1W.&ʃqBW?{K *qz鍦AgLnqrScUGRoB=HU_A&GDqKWTO4VSN"㗝6*OZttnvܹ9-VD*J9SQ"m~?OJWت^*}Ƹ=AZ3(S/G>it`3} }Aig\X~2+_.۔/ݧQ&a#ۗzl>j_f7l&p^D,Ce٭Gwʊ`~#}Ag?/Ai/,@z(SStk]*=aa}fJ# a'' Q` CP+? Ԣ ѥŜZ?=w ~1IV56EywSU5$`HGB2Gu[hHɠLY}'<@KYNcJ¯Z6jVcK~꺀ҿ(|ǽs[|n\%i=AJd:Qaj).n=|?>r2͏d)(lM:ˈ,D!dP<[K*Kш1: Q(Qb?k6(07/'7؎Bu6gJ2E Qy7L"7 "6UK~;"t DHjՕ;G oiUQ dܙr1MكDKu]U,!Űq;YL su#0U57|a1(؁ #ѭrLOcS&[Bν:$3p[gۀ<*'|Y\-mbS?{vcmM7bF)"ZDF-Z-a^C{n!}f$MVI'uP+I ACS~% FH/V꿾~tUWppKΧx;,>;B[BePz!,%C/b}wUC^kxA9 ˿O{#quFK4'+ ScoP~eNPR.`z8]$t}2GLX]D>%ąBE$,K ?P on0<Мfb]=z;ÑoLlZ-]J̱h/pY˹o+9iٖ i超6gۙTSAh$g_R' FH 5b178wN{K9}h _$ܕt)ٱo˫-L]We,o!wZXaѲoy>Cz'ݒ o{SO XusOOEt=7^XEXN= ֙b} R͌JdJ˩jE@yи*߽$5ǴW@}]{'w^e8x됡fd E3-àfm͝&k\ cF ˹szB1*Ԧx2}28!ep.y%uEy3dNxQBiڻd޺SIx_$~ik+,u&@ϗC(99#nƦm?f~~  S;;fOXEuXQG&ڀo*+@Pم67*\rv̱d\.YGWO`e~_-/CeAByz[(^G~q|#ϖM֥^w]n{ 2n9H%MC*U}B feÀ [IvO' *,p{J-U.,ǿ$=;rA iQF}KtZ(E:JcͼSqM4ī_>ᖦ!(<:O̝nX오2)Z1ԭL!m)nU0(DFI'U`lmmaK绬|l{~DkQތXo˴>܂ } ?o=Pn׬ψeIL41< 32]oRItv˗Uꠂ 8_wsNX kNK B ntE r?bDl@Amd- /qmӐ-ۣYH=x~Cn)Cd IAa&E pB=ߖEvmOTG[iLz4̯"(iW/n/|iMRiwg|xcS:lcoS|}ڨ6 wPl 2ğ{uj-Jn ¢R}#|ol?r~Cԉ"`H4۰p ~^.:)Sc )\=]T\[dɁS߀89=}^R忑NQ.1oߘlFjvtFcTPbgx}h:K;\ؚi|u=/57 w,r,H6%6b=,AG6BRV*-'<'i <4>2$cdAÞ ct=\D^K1Zz/)*.㜌Ed.x Zf˫Ȕ_fN~_; R޼{NVnYLga`aV%N2m+NZ=$ˉ^ rY"w"2z) Y9aM۔QRaȾ'/VՊpN,Lk|С^9t@PjY>:/zh$y;f5[x^'lcq}R(3T@si;ԋmUl!LaYy(5{EAmYvMJ<i]FNґƪ`m#4̆3=w=+67!$W䐼XN;F^RWc^(lH?ń]7bCy2 *-o[fab/Ds`b*XIKrCW%2\msFȠ)opV_W d)A]o* Rp0qo"Eewz0 5}z^JJ ^4#2tΑwiYg(jQvjW:ٟ3F(8)pHgHDpBҨuVV)ZPCtkE)-$SqLZ;,TC|7_6p<@9^+[G%/C:YVlpO|s"vW"|;ɆǂiD.M@f[Q9/8΁TG6&lPJᝫ)a7cd`IIElKmE)n Uk~#R!Y3~M{LZL#>aȖ)x5N;-3*ܧ!&Ti0]?{5m^1'f"@!}CD_ !ͰĴC5+91)A9ÑvS@yTky}Yڱ~%+A_f 90 $]_E-bu$SmFy4-0`Ɣgt71|r? Pz{/p35֕j :1o}d"$<jv."vb7,v/ [Jm0j<)8x̧ />>{{u=Hyw=̮e$}"D8> BuQyvx%ҪA 4N*\KQ1kDY R+Vab#)j 0S&{99pnfAX'Vj=|pIZ3{{Կd fѝL<kSzZU(/a`ƽԭ0&}$+j,5B#&zB2!MVM!j:+IE=Y]yVE6Mjw'˃8? U͘ybSR2p>}zL1A0nJ.^ar~7hMDw1 L-0nY/VPo2Ĉy#lDc(Yg; 8P/iHߥh@{a)ssr|3M(8]X*  4o7>\Ɨ8au-¢o(Gigg#у*jMI/-x/*"eC~zJd~&or:9ZG7}׫9ʢ-v!Mw:IyDo =æȀIL+]:+S_g=_-F̺`8s-&‰@wk"TZ\{_ ,%jhObA䨹'PS:D賧36m5TSnfÈIZ%}PGlex TzgaуHxA)v9^&A ;}f@9zۺW >#ķlbn\l πE8V`V-"|G1]>Tt@@[>$܅XY8 ACxi 5犢3$#C(SVT,&j6FxԄARh#zE~ IUDޮv .dr-wcS> QP}oO_;,|_q;fɵJ\y&ʽWhS&J-Dr2k/F@S!Wτ_0F9 )*c*Q)=a8xD{l }r7?l x|+EsKԌ+W fn`I)Iw;nG:t1asO@~iVuߑJ?[;e<Hom-?!|*N9zI.+ZWh58^K0M@4z0sLu vs<4VίRƑZY:m,ψ$ ~zԚQrfo@4uo}eEYDo-`4PFr8"fЎ8sxjn01>BC  CB#Kq6Aj}LMxޤ~WHAo IW-N͙׉jvjq KOR26#Gj==D{$Zo8] YϒU2Æo2 rz+L+Gh"`5+ֱ:1(뺋IsY)z<->~.ShoksZ!,aޝ27=: Kme(>xox7z!;p_۶ErI]+o1Nh;pX=rxLWrYlol+;G <&%n)+*8ܝV\Ѕ)OT4Pn96/+sMk Ě;n95 f"SHE/ 5˫aZTep ҝ" ^/@uAH11JA vjmAVa֜,U,7i2ZWGCYN &9EP-ڒ=Bl=^&z+eku 7J1سfFfч ucJaΚռ{*¥ ̑*7*G!ݲPJ<ߢ0grF\<lmz)c,`3@t2&)T}WG/b[sMMTn'ZM[]&07l@ VU꯺5l`+ynGn-S+o XvWXqA$6YI o萺!C.+{~ԗ?9K=PPx\$Í ˕>҃T3Αw8n"ѳd/`"; u&jU ƇfJj䊚IdzW[Rz}\lɵ|?|i'Ҝ{]EClkpr`I~4EMaM7f-o=4[gPH-'u/p/'1MepzPSJr2㠕BX]omϣ@PDÒXxb>VC`r=[gbd(~{" kAޢ+ Ȥ-O9 A0 t6hE6ѣĮ/Vh%r,Xd:/$ޅq g6a`sȌ9etFߦf)BSݞw &ߺ3)"`f ]$'0! 0DnwnÛ:ȇ;[0{ Xhq-ȯ,`em[n u߭~h':6sPt>3HjV`8%7%?lE b6dt21 qmss \3V"g^~ԝʂ\xZrQfԺ{ ,!egJeq$aЋ;1 @pNU߆ ÿ4M qQ'q|MϤpt-`[ O޹}9cUq69`C|)X)e .cGysmGT^L"]X+q6BPSbzz23XM'N!KLB 4. 3\J:lx^ uh /4BOmIL#nQGm o~ޠR- 0n.ݶOYWRߠ}[\'mcli7%Ĭs+ {}S69fFю:U⡨X<-cN F{9Ns?a(?p7SXNw`g9CR=i>P^w;ƼFlgB9uLgʍx259d2RĜTPuܻgp> ;D;v/=7cNY /F>>\QIznjߕMZ!W< ]810 8ҙ!7T;&~+1;<`RXs5Yݔj}JϥM6W0!|^L,G$%R^ מn㐫{'L1mѷ{D*8d;PNndʭڦ1k܌>+SZ&-F_ŏzgA,q;/ g1cAWDߥX"搆ߗˊ[3"hld"/[1'DN# R9"辵oagGˈ(!++BŔYrY~OLq5ԉP %Cʶ IY2 "WU#3 E=nj_ ::'anmyHC^8I2x7;{&I;u2ȉLSmqқ#3ԭ3Cm\I]Q\\ԫcYӿ>#cI段+mrFN \@k]۷>ԸXaߖ?HۓLfk|N]7ItݾR†d/c1An*j0. M{Ơ%oZ*Z)ʉ]k+ a3EX~Nh#%tԤ:̔o#aύ,%Տlb7%᧏S`1C9HV+>p?4Sq:eF޸kAC;jë1?cOH I%`8IL )[ ӾaŢx9A"P>!ST /QaOvemV۷FZq]\{]iCB8d~."(^8aoJiR|ݰf-g`C>4LΏGߘGsdz vdܷEK]dz^u @q*WyfsQ }j6{аvp'ke7;0He."XmY7C9-:N7ףv Q#4či+ I巊;Y?&uB Iֆ5ku_m"V OK_GwV- ō8G5ۦ\۩I :h^I3?=,BvZva,]1*;K-Ө_ya9͂dk|l&:PkSΛw'-xbG!G`GS7VȼGTRT  GZW6鲺^M.6%]\=sJvB(hӊ9*y5'b.É!jE80&;%*_, yn]~~').|q2jiCrXX%تk'C <> GK'bZ^>k4s>]dy +hc&,NrOudȰO`RKTBf \?bsx>lgr5Va3oz?Lp=-Y[pg$jQ;A*E)SO-/׆/a7 ވ "덟s/D:k.~3Ndt|84gh#t؃lKW52 VEJ))c|KsIuèVgW$1v%xTJ N@ btRe5^;>{5jGJ;OG4"C9mEIX^XD:~7q96szbc;N\_@!Ntsf!\bt pziCOnady,&?8 uQyx6m =sCkf7³4\/dvr ٘3=?|pb!3;9]a]SI4 T #jk34ljx,3]>9ir'.54S %)2Ya;ofUrgJK Ճ؇| bޕ=#f`%?uM֦5.>/J5u)3Q  1$5UeزLS ޓ2<( <]M]%G[aLo܇tg"-}#-<+u9Nȼ.Poblr [2# ^\9: J u_ Lmf sYnߞ! 2|CY'BP3D۬%gy{&5h4EZڎBnSxnM@qh,•Z' Ů('*9Nܝ4jA`nF󍎥v!3(/$0 &7/n\~YF/l C(#cAi"  bAFr%R0-ThbJR[WQcHLy]q ʇGkE$x; W0 !ջ+{4raeU;pA7OY O+VecĈ|mk4#UY`62_hX;~_87w@(StT͔ݦ.%T֚APnTWA0Ʊ?Jo]zNh޸U#<=Y$;՗8{Uì)H"^*gfvPPy'=~̵oav3qnѳ⪡>i`1a tyVN)rXS5^:-l ܠO vH<}?~Qp q:ز$ʂN-C=9]D֎A̳}^)3l[~hy+-Ͼ9 <[Gr~[+.R$o HוJS#֔JN's;}eou AGЄdWB)#}-y? f_냐bbϐL9[*xVk u[cƟ*sn~U5;Dϫs"Hᘬ7?`!Nf,|t:n]"/=d,YN%Go?+lӠ_S-M,9:sf~g @4h > YN;. @>'?ֵQ c)GzV3n`q}v?P~"cNY'!jۚ.> Joe]gȈ<a(sh=@)ehLR fA;X)جe]ɸtC!> } J,vcP4L(oj(.^K5$ě~S ymy+8 A^s_*=WxGy GK'y6$$ӛV`K%-6# &cᒱcIi$Ќk&w\nó65[d>(l IS<]I:읽HrO =SYӫ L..|LݙwS C:e׎ \Ҕ|A"0K@_AYq,S4j@6u3aVP4/"q)A-.u J!jZ\g"# ZfPmK+cFA8g*0>ΰKi͹TTԓJ"v]2BG(|Fsǂ/ b\4&\'ҹ& m+s+6"ހJpˤS9/!`jSVELGZި--!ϪHiz_V-}kQ n?aMSV\M̂t&$:3pF/4h+TO:l`(-gyq))^?OYWsè:;Oyr2Eɜ'RycH}pӾ{61-I9 l\$h"Xkwם$BT@5IUN 2=EqsͬP~=]^+A7]̪;}X\Mm !}Vݱ&N+~ M㐷(CO5hi󈦏$p{i}OH@k8l5T 4}4t5 C-:"I$^;LΏwouQkz.Ϻ OR"(E m8Kӫ}Pytм`rc劸Mzִ:-&s(iT%# OF@AYΉ|fݽ30bkgDL <V4W On70Fvےc:"3\C"+Zekz'(kGZ,)Qǽ@)iۋ8$FCL,b![<&a{KZCY=Rykәjjh@_KkKL. !yjC~!^ bBK>T(~kh Dr0x#6Z93W#2z76cl=;riާǨmM/YI hn#k={nџ X';a. _! %E(Q.,r:3mD).̱t/MB}3:5G sdK(''18]WJZB0,|xn76wPݩQieL'Ḃp|hrJYՖ4ly5Ƴ\ .2c]p. O s, =0Z&<:ދ=Wt*=trVr|j7'̓E+&0m ]h+5j7A8-0$G@8߱s>NRWRo]<9!R/0  p0')]a8v)_# 8SfI0+ Fgkں̵ ΀4A؛)~ˀik'~BbN@H+44=5iߘ^CgsYcQvD4;kfq4%!o@R?Zl7?d5R yy9EM\^vΨv]Hv53|kp\n>"BÌ3psi@b0ۃdl,Lgz &s|Ir& :2ʱƩgfq]Ӵ-i?4g4.I;W޵[ωkIͼuLxTzءȊ 4IuXhmMlUsLZjŊGGkf''O  l`0X)3˭  *gNi zdiXs[pLv\_vY#})^YbrܕҞ P~|!ߊ0 "Le17s΄>A!?C([Z ^ۓkk>2 ͠$hAԓԊq< gh&L" [a:+ h ,>FS] !z$p?LmH~7@8[}vAmk.o{<}˰{mJ;hʠ{c GMRdk%^?i AL~lqa&6Nl#O{OuIK](5j*JG%⊞vs3I: *2NyTqG`zcuT`Ĭ"М1 U[W$cn;y劣"P%=)S:7:Yg$4 uԄ"^!IݒܫqKv;X|,<2=!Yl GQXgx؟o%GT2` WŖ\X 8a>'`/K,RID1Q<;R}.FM|P̐΀N[Mo Iv{r̓E=.O%-?8aMSԌ$ȌN)ves_ [)x%@_-O3Ytʝ}L ^KՂ _1G&$gOk{bhqkB7iU.(ڷL>`׮{<)kȍߞ~LU=}ʼnH [ *[%MVҕpi2mL8 "zI;I{g5cʻAx@$30~Y)-~W#) 38t7t>7$!p*-A8۴tpyo5`F: