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  r rf9~4$ ] HOL-Datatype_Benchmark:threads=6elapsed=488.408cpu=2000.124gc=743.1327zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;zSmcfƤԱ3]$.ɡGQ` Q񅵾NJd+^?ԫ/A<<㟘].8=lX ]]p3 Ul)C+6~-⳧y! ~CRUh@SnFzB~0 ~wMEUCQv*ђySQoh[%haࠗ{*bB8m aėp(\B|P~᳦.̷ ܫul+zP-[UEЭvaDSo:S= I }"weOhb@m͑jRׇ-[sTţc9L$X%f֞?u ]>\]SnFߛ'}Qqȗ=5_2!-Z|L^v!8%+WwF0)A;xrRB 9 HOL-Datatype_Benchmark;s9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/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;~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 3 BT@z_$x;g­m䎇]nHeA& ^VA'+{ X[[#g`E8wN)Lር:OfTz~?]2y5O zs bhuyc-g]c!B#OqLXw(^렉]N`EFZ߭' yT5F"ze*t52ox=qa(DC)DT3qhWv)z 1GOPA{1K^iGu8SЛ2"@# O=Tu߿ {@6@-Y* !J+1T֋}#4#z*<<(it!!ҮckÞ-kV=ҬWA5d7}4INK'$=2x!-IWbyzG j!`R=W*wŅj7T<׹CL` D>gevy 4obNb>tH,19Fُ(gh8 ,/*lTkC2Xt>)[ɺ&g=Zu 0y02` xhP3iYF_e&=T `Q 1J ()  LMkPA"njG.)=֑J1}k3J:.{s=Qm'v&[R9B J!:~pБ\@ ?-kB~^J?E_wyiJ| ";%ӫ*dZΙdjVZLROCii) "@gi47b@.,ԌiNtsn$8 nRUŻ Ʊ l[B⧯Cb]SG+:IaYJtRDv\\#pVQtT 5q|csyBbÀDւd (F萋H"Tx߼]gNTix838y襳d'+D&^c$|%>Ѥ@ʡzj GX L/3oXWa]H,@}FE-yS V1-&2 #*3 pēe ˆ8W-Vkk/IH诏~<>hySْBnBcGH8Kߌhg4"D Imitg!ҹ$;Ʊld! (.8#$ <>h/rb^&öylOZy` }ʐ awo:Z.bM)T|Tne);MbM$0X'kςpw͜FJa n-?akX)?X4v @.3*X#M=@jH +=%Hȿ?۩oz:eѭbgBLp!G4'(-/QJ!I+TN_(reȍP AJ_&%V.{ rM?L8}Q  zAPv3/7@ֿ:ytr9'WN#i~oCrT5R JVو11 0 9$qWh")?;KOVNC&&R&Cy,$4C ,!q +ӛdkn_?5f6v1MTR—6&bu[#>:w6Jb(A͐{gi"R{%J8nS㳔,^ZTRqJ?*f̏wz8AuLyy6筟!M FmɫV>ױAYK#,$) S]>YyX?Θcn}=ޚEu1ӿ41y';J h{s䆌㤚;9Tty|cmT}y dDG<40݄{W2:rFh w˛ N>ݦpGI g-g(D&pD쎮8rC}]=4`@뚧r$隄)`<̜Ȱ2UZ}kLr#ˍ=T-(0B=B@e6x|pSQH N. /1pn7q1`s:0 o}N Fw1z\db@e{T` CB|2Q$\Ƭ/Lb2ȴQ-3t\3QЃڃkYvf>G rD;1r'ջo*Q6'f1vcb I_Jq$ ۙ|z}g|`+3>" o>9h^Ŭ;z\ԴI]fKD//F&_A'8Q0^N )e0 )T{R["]HL/G:HKˣXYڙ'^ÖI'[E3 6ΰ_MGtďjT/gfK<%NqɑʧذJ_''SSXZmS*xr$I DNAJU\}::T 24wG-}x˿uKrGw $MKfCQ]Il9y3d..8S ?F`k}mRHT$> Qlgmi&C9#}0>Bq==+߳I& Ҿs%_bo),܋ao=),(YIJ&^tW!D1kss[-i:y91wl"RY+%LULK ʀ5/ϛnn< EyNSKq 2N0 FQ*:<RlRv8R[Y]4@9}r.zKE^d2aФV Sٳlf_=4myOfP# :9ql0FLct+SZ棼978bX$!1ij/9BI߁N|X H5a$>dUEKo`l+쫃\WhAYa$gl#1W,qR/ZRWSZ~ yATmXe,M!xigE-'?fiǹ0Px%#s4'0wɋ<2\9LXC'^w>i+jdO>Zt֎?zI1(k!h1-i)RyVԪ3i(%7TB=ۘl#01ߴ(V(G_f%ׅCZ^ej{Cڑw`NLhʷl윫ԠKSa՚Ҟʈ?T |Ɯ#D8zg`9oߊuvLRi5E\ 2΁"0351}2ǮvjRƲ?ϐJxeJC*~5A>ďiϫ`4c0i(~``gеW_ſi I*i(1.2|[<5/TBg9NooŽzXj) u1ڌ f[%}T} )`[q|GTRB1f[6E"R em9He lBQ!O%{f:5!F&GU@VJ7YGF1?]ۛ`)xJWk M::c4}Gu]T~i\(&ZFBFϹL7d,.H $呅yHl:3XY24W:KbLt XN/zukMFu=@kRA) K?DmX+@X5DhxC=*Ї kuɏ"dUOv^1bXgzZf }bȔfHI SF.po=xY]x`,vAS mFdm#T4,u⎵б(c3twrBwPSR~Ȅ܏G,2o0~="&3a&hj K#LKF8X<I{{Lbk~L=a[:hjg)!f}%$ITot/>Cؼؘ)/})>7H-2 r l!^훶s$&L{#l=?*|@曛,4Q+oɧ61+ #(-U\'UY0df #z=r|'XE00Ӭ-Ǎ7</rڊbjh*JҐ?]<9a@aT nbm$3m{XA 4{rW|T)I15cf.л`B`iJդM/cø(6G΃\՗FIWcF XcXD(jgP3\^6c拻IW;0xid0 8!v4T6;KVʃ*ZC.jyv"HWU,4QSpԒt+?w[i;rYA\e6vWljs.Sd8ٓph꽔 /lBR 0Yw=yK=5~U?rǸ,ALJvފoH1$R]\,2殸RTs4/ j:K=]o=n ~D'B8/W'.QarD*Tb@,ÜjnyWrVC^{C 3%MLQ{.(۵M& ˤ%TC؜ E3}4v'Ӆ0q\v *R$/7Z%['s66+7dOmzp̩H(i:=e$FfWmܟ^!~YE,]dVZ-Lg-ps2Hp8>ĝ<'ʭ/'~.n,7m&瑩kpVP8iʵ)9,sæ!l2YQO1N2GwP#B4^!Ѵ  P掟W~RlHm|oz) #Mk ٺ #(*"(3 Z"غuZ tvl&Fmd`i2'(]Z5U} Q! vfDY?Ҷz g[>D+WaH8p&Egux>}[bh#OTG&ԁp.Ks .j#ET0ȕsnhg[o?F娝#!z_qūI5T&gop4Gf$z6I_7S *,+!?/ J}pWEy1o-RTk9RbbTDoJd쎧4ZFgHg)d# ⹬ؠ۩?0k9"lBl€cDJTFdɒm/ jx~׏[)׬޶4dOSWAAe~@NR)?W4H|&?ƋD~+u``ϐ(' `{]-UZk&_6C H<}ͬF;a9opA8X(3&/\ 'fknX?a]MF~/>nJyheSܾPM%,\",= izd%Ψ"ܮbA˞ԉzp760 pAam7FS&I`Y5Ưz=/q쏯oq>ޢˎ "DcdDW-ԯoy_z݌͘BNb[ 4r@HC8?r%4oX!\ !"f%߮$pypB Š^q%ҽmGy~_z,༓ㅿVkC__+X)G$ME~16i&Pɣ8F5$:./}ς C+6T;ky*&pE> lcKv.L64ڔlj{}.nb{*f˺#@Seb?w(-vy%6PWYo3XZ(&^PJJR'Cl"Nvp ɑ{Q梏{྘ip!5FO?ǏcuJweE kS)6I{a cK" K *FQLzBa 4,P2i'+`$(ҝ+˦8VB^_9 Fi`MA-n5 HſD>%괢sg=5'ϙ܍[$ fe'lP< f$X?@ri!PZdR> :u[KU.m,8du>뭞d~ki8dȗuCIcu>e Ч͜fR%Ŋn*&GEK#eXL32 UXgD T0 ᭁLp]}6܀ݚmv[pR|wDb FGs PdC!n~RPt;'4BF)(4 G]-ވ' cΊ2b~WfydK2"0L ֥g>߇l ~=Nj(9K{:aElpߵԼ<|t.9,+譌e"<30oeZ#Yfͭȵk$R";7A *sran__б.y_!6)vYxqHD9Qf'pGQgӨB7e UE1 =Gi6x#T8#<-0FmC7}ؑ#ҬR8jϰ#a.5GLvЩ9[*8t/kr/deLo?vj}e 뽵w.*lO'?|q@q*[\ܶydIj%{Ur~myhr9s+q? h)[*t{ /ͼ ,W[:Rlz'b֜.eTexzs&(& X}鄗m\ TbU#S=U-nFry=Gb.ecsC_$~rQFm=$MU oKBD)`9 TܶUR ^ .̮&~9B(rD)IFő9Haz/ o#lEѮw ت9Ghɉ饵NF<2wt/#Le.P_ QyBdbAz3+(A&}(Vai mW+|<c/w5%)ƯRj}exI:;HfFYEn=tﷂ&hm¢'̐&'>|x2Pl["^gNĤ>Mc/ս\u~NQd./uXd>K]gz& B@QIl7;cco@?2 ?Sݛ8 ԾM#$nkvSӎh|USUEL#/VU9qcĒ$ܝлޚŊzl}͠ی+{o@z#øl n /jϗ&sRs0"}4F{UϠ5ɏAWK7?ZH1;{!0eFNkMȡEhʖ;9[/] hy H b*bM%6s=\9h},K%$~ܾ͚nbVso\]4^R\d~"ɒfiOU_89x݊SɥQƛ8Rǯ_|GÎ Xaeeꢴ6!ɳs+=yxu|IQ@Eiy"1C^-BTkA[i҂k3?b i~d#3b{W#8nh-IF9@G2ҹ [G ul$C[$>7^*zf&V^|vO@a$bӸR:{C(aq|^ɻ*b]6d<RFCT;TgvIojH-FG FJ8UTsv+Kp עXoߟaC2W5%Vw{ d+\ȇiq6!ʘƶ+`C=,JXXkLNnB}t S[ʴ=G2C.2Lٔ,b>̈gT`CCo U/TOBѼ)azl'xS9A;fA^!>  IOs' :P+S,bi΂{]?<=>AMoS aʈݹdeL8n v**~yxܩomȬ4*6 \NBj$kQ}&ktr@{r/}Svmұ`\:Yi7{8q9otS"-|{R"cX[E<"j}a0\3ӭT9Q ST`:X`EAQb,|M"6q2CHjkH7~2|s$]]Axe[Ł̺䜎N+#Ai"P:r|JHmx3g:Kd\ϹрԿ{fF)VC]f~@Iϓ5Llkqm[Z]!iD邕HfeE) ˮutz"'däezM}fX-dGq+AE"ic4% UӀ*Kń!L vY {0 7%Sˣ;K03{wO(I1Nz/daD {xdu[EfGpZU͊LH 5#\vn1 W=6)TwP_yx[Ee(JjgU;Q4:0~Wq!v/ע@l6~gdE 'NUOcpOju^ 08IoXd o0chL.N%E@%%^ٟĿ*3` %(WmX/"\(KN\ 1>'-)R'$<<޹l|/A̛#S'^PS ߤf\HX>RL2%9oȻV1Z4f=Nˑ.j;K.]HmXpltxN/ϙN'`= *cM]]kD"+[hd )!ن:~" G[!PEi% RcY@<nPld KKS '5HW$\F3*&B[k8mջ˺E*DA 7z_ϒR/7kS L| soČm4?oSJcz&fsG7= D&oc$&J05 ,o#-OA\¼DEU$[2_+V'p3nf*~c+3y߄#)zXmW2 y%GS0E<uT1s;]:Ǝu˭;&yث"V eФ ذYֳbNr%vjmd:; &EtabU$+γF4'kiN5 5]װٙօ1z4oS <nfvB[>WPxͤ]{#|L"Wu#")XlL2km]Ѣ{kDix>df,q S$T =R*>sl>|sg D(i[̒>%OA.qW㣕ɧ,@'i_[wQ:EJhzw'cnI, 4HTTf+mfY~i}A1oEW]ei(Q,B+){WnbjMWpY>:|.QuB(kIvtpLM&PPoA^ X gj x]]j2^0;t<~em|^$qKq'¯N{ղ9r3us~+̑Mk{dIW[g:GO-@ FA%6{LdaԘ~llEslD+E 1o@bk&I5<]],nb م~vMYZDcx3 ԡvjqlG{^|+լڣ@ #F!nON)/ S5uoVI¨]p2RjLH$kĝ:;N$Ǥ# WdM1w,i[ZoJui#]z/TkK<[eH@xrF#ee%jd$E=회#nCK5}2(ei8ki;VaD%$fX:{c})"p~)4D9̓LUʽCƥn$jfVIG^ < 9 G })\OG=񔍹$ A"p.J"k:^Gi&*?&bf?SUzU $; LN80mtRXR vr| )) PCRuHH^=8"\FvBhUe[ѫv~>!G uqcEyu]uo\CyZ) U_MmrHJSTfy>;C$O>A:֍,eKI[FI*rF0rDc||r?ƱSvFN^Ug̰0 RXXѲB?ӿȯ>"SӾX:x˞ wS\M?#FWrN-il @eaҧnbIv,uCӿ\{_%]k֋ҳ*UV(H7yfqYVڐ(D6Ћ}\^%ZK(l$%x$7`^q!E}D4^~AE9,hc [\aDF&E}2G#Љ&}'m"Aп_7p:Q7[i%qKGDan cDQGtW/(wn(̝={{x+`T_f{)k\@Pn'WP\]\4 D%łGzQT 䫫C_`Ꮴe3Dِ~]6q\d?%kаX=(iJVjB뛏3daXQ]cnN7wD'D]DAeC/ 1KƇuǐ` ):_/0]%>j*zN2[.i9^y(FRK-.f|i[>‚v$lI))S; f} 2)&K&1 :/6J+O%v(K\:x+ R6zCalEg+x$7>v_ͥW_qF}x4fISBXށ8%u`BeV0;ޞa|w!]_r 7A&b'\J Nw=5䩏bج4esLLد)LSkֺo beEjMij /WPjl*uxFIV RȠCZ 8tMIa+arV [hP&E7LÙz 9py_?+߬eCcn&O(CiPuۺW#9>Qc AaOxkk 8x`2N,2.Ie2._)|4VAOG $J9Q\ Zi]j>-Ҁ|ʎ_(p2* *@Jg֊' r|1&:O8+Q 6Yv>jn IH{UlM`>E/*@+yO|䯅p ěEIۢlީpK8,e }6$V<%:lL CQ"x}M@Lj|p1 ZY0m޺WFmDX X%]~ЀIB2!!mt,2F]l2yeF%p^o&A#w:4nzB=7^|IG?`0.RRn!& ^J*yWOUc1*ɏI ;͵i@àQ5oQU!y8uSM޹C@Gwx=yQO<({gc%Fu$HToj>54ߵ0$GrI1꾱Kdwjk 3K͂U߇"-2KA33[t2#za8ӺMR{G>AV'*w5+Rt $V6k7|' L-Лrj[,\.V+Ę#k;F魵!ջG23k~+K!ܰ5i568Z8-.PѵXBvΓas:[u7x ͫr^O- 00]sYi PB[(q{!^B9#] gU/i>CyXix\AϿt,P(tGz o~g$v?Qx^9o!7*5Rz`_G N˼|OP9`SҞGq`dm;el# [zC}#5S+ R_QeM+/ừjVhccq=W&Vi9(\؅͹e ݡC}8?k7PY2';;bD^]v?*+%Z^nfZN+5{mkTda=W7_4nզs<#7ioi!"Y jUyo5݃]鑒dRMTY76"֊` |`"G.]wv(pp|"~n&ٯxGU\=~}NsBۚX?0xZ{]hѯQXq__&zt|ܶ/$[FkC3m4*%/Wf?Dɤ ^]?CBUtgYZ ; -;s9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/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;~bcdxyӶLyHP1 k=Zѽ$i>P$,S )J<7v0k\KF uC -v<_ޑ#_RNp뒈ܙ K~ $8N&t+s݋:P o|PD0:,Ү4bc1ON@-C˘0ʵW&@c˝<ƀ*oe7,1ˮ);(7r!˝3 d^eXIs׷$^ `>,eı`sGӄͫGfއ,z\/aѮmbnj<Rw BqZC !@X\''ðփQ 6J~G7"s/\3)e oC„gg`U?dZ*T^p@ ^(Ja@59]UW6eYޓ8NbxDW h&g]iqf7N*a^/Aw;J@x^G9J͉,Eu a&O:h2O"+*AfN( \0H6x9¼j4z!kO1CD#ԺJ^eWtcMҐ9eA~:B25'1i.)#X>H8c]7g퐮#nڵ s8MG,4rrLaxvQPW˅:Hyi6pĖ fN*ԏq;9,IW"hC\(Be Y%ݧeIs9F808sKL%j(-wqdD`LP8g ;uQ $3CMBU3"iuX> u{Ht{]m[ψ8Ⱦ-.OC(t\Z4j80"9ITapbBҦi؜+KhN *e}SFK87+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H eEQKnhF4} tzb<> &uRҴ:>RԽ )^m߉ [nIuy -%:FUlM%SBr=e0!Nܾe\G _ \֙y 𿭿#qy_Pj^x+{Ȏ$$4tNJx^Vx2P~xW]BūݤwbL۪c͖5-GP) AB1Xx(; oF 1.&6Q13UZŷ7ԣuܖJ7MZ}"u;6TTѻQQMh/Hd<ز%* D*7Ce+?xRT*%&z9v[K.(3'AXȿO8%>0뷶2e(`oS/[/3e]6r#l=Ocql$/q !o$kP;/ zqe9,&ۉH^)]&q*kIMmЇly~Z;yre\WlPE@ֹ)D -߂1G~M'\`Ɇ }hN3GOZKg| ,8g:)UO8 ӝLZ'^s$լ7 ݡeJ3SG 1%Vb'@U2 YRUfe;$dpKF}B bж2.RP4!x;`5]`qP¥>8xBKuxJR'( T *gч%]Ž@h%X mN|FǠb+`qaM []8՚Cc,8.PD+&PC[&z{d$"nXcInncN-\}/Jfe8EkȤvNӢ`Gp0) &=ꕍ ~C1JX9}^ )ZɅ XNSR\-àTTkf,>ӂ\-IA{i(d)Q _#2]JGڈ Ȯr00ցiuեT6|jKBn@.Ir!1g=T5NӇ0mVח.vfשHJCp R`^H3h% rYJj+ >LDIT:Md7Y'Wx E1$?Ǩ߿c}E& P&DA"}^7{T3=Jj#ܲgJkٗ' {eFmo8 `Rл1cHg,lE! ⭂'Qfjυ D㦉>0aF8wXvd G6 E | , Gk9I# THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! }]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db˸HEno,~ f3ͦ.%LÊ3Vv01G]UcXXrսA42qf: ;!l#.Xf)q13a>oVݸe]1þ3J9sGqpۥrzpDF6o:p]J -xx,Zannk΄N)*v=;ݚ2l>g/0֝ζy41o _Li60W NPLDkN,jܢ((rս^6SY <=ufMMSڇBqyef籏Q/MxnpɣaQAJJR@JyLY6l ]f\Ix{(Ow̪ Tq \(ʣ :i풄`"S<ZCj['d HƫӍEwHɛ>Kajw+3A;E]׎4RlD#Yt@cUZZܬFz,^PO )̉b7Vg*cK'Hptөa'yZtTG0buٜ,VApܡ/_ I̷2kJ=Yk;Vem I/+%StG;3Ƌ #|T38*lnu}kW⻺>`PRH:U e7xEU!e X ŧI"?΁ul!=W7K΁<::O|0woPEM.QB(f>uo<! LqL~|.yzS F>ƣp_er;tR{q[qttV#@KK6(&}h~YD #j磁a-SǼ  9Ɣ 0!nS {ȞW {-1qAMloQ]cJfM#iSe^`2MwydHtBF7S%f`Ɗ(O)!S= j$7v7TiwDLs H8~xk9@}q h{sTj-/Zީ'UTS ]dSCM!|BbjhKl>ea٤rN Jg0Ǻ:aQ4w&E6T r\v:VsOJ3I n`v1 Y:{% 9xf|5$Z P שq45 wI`%6ԙ+֗v#td#E!n O\";Fa/;tĨ"@_(tF\֬.OynJ "*S_Q{oh63\fn*ק=b!0F8%(}Ĩ7wK1<9Ègњ>|ֿ䉪D2>zJ_xkƺ2bvz\$Rs4'hCƶo Qt# <JhEǸvM 4#a gYZu 9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN 9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id518> 9K' tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢4]D?7 {?:fH\y u/^5<3SSLi~'sC˪-sT A;䶠_X>;|Q͓AY{҇E SIT܌7Wyqh#B%׫Z[Z>s\óVqN9mҝuُ]yEJ U:E)y+/$')q9\LkBc%KdM$>)r" #WGr;RD9^ZNta52ɢ0 ,o7//j p2 `őUQte[7 tZ)$q Lx__|iZj(iBx0^Œ B%xQ>I.ێ}ї(BI3 +{)Ms ~X0:PP^h?JMAEРuk%p l''PqN^vz 9K@ocq1trJ]Y,ZJu,nUX'ڍq#]'uM@qYՈdę;&ɷ4NaB=Dt]Y]y 9K# lHOL-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 ~$-ͨRS`޹[/2=֒\&.z%8R/>=L<_|,|$v -Mf :ԉިI8la`=$1x6( 70ി2J󷼩WA4IS3D5Pc/5sx>Cjw 9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id520GۿgyLIn<sn+JI2w}ou!zMl# d7S`Ef ԣ?%y ,V~NJ]wkFN|C?AB 6oE^K)%<}K3>=r-g)B'_Zd$)Kd> B s*]t1sܶ >:rBPhO'ρ4.Rz9 2]hS02A8ɬݛU@ ;j˥C3& _/jz.[8-ƵUWe94EAǰ`f3Mb2.EDbp<2*9i<N\hrh&z$C$ݤ#oʻT,0*$.)r>(+$XOn @qw$?7\">/qaYy7U U߶W?p0=~Qkxk=,7K4B+{24RE׏u:JVf v;yJӵq xxbk*;_]T%Rh)}c$Rlbrr3 d; ϨA> wj{iZ2g#F3Gd?cB;UN ҵaN>KޕHN K[5}+wI\Oc+?@p=O^1MMC6| i^pʮeR%8 դrQSv/軻A{#@#Bh Z# FY8x9~X:lNn12[J/Si) _IIA"+qZsgҷ9U¹ 5Re Ǝ *PQ;'jZ5ƶX94N~|pQ5}_]%}|+r95ͯ2=x 5|D ?=Pj1 Ee ") @Ll03.8{5 $E.[αvgҨc| 6AK“㰵Wq~ݬtnqf R! zY:|@89B47#t.dxpDx(|j@Q?g?jWIońν,:% ]U8ӷ52 S,2ugb٥{!U+`u} FDA f=7[*攫)@2Mwǟ%uVitxKf[&|8⬍fσQ\paok=D{j9 LW8tL%sV̉&$h}QҦ!4Ccd.GxHw K^1*je-\mİ`%˟D%NB7E(pL~J(LGQ-:'G_go.Cf[uddXF3|Z;dɇmǍ#G`rM9Gݒٺi_oP}cX"9_M~-4rBjTbgZZ_UvT-3߬Aw29Е"B/6,zq*DMRA&$[f7PwoXu~Rs8GțEꔄީ62=0FЀ\mv1*7-<-pҟ Ϳ|I9~ V P]Οj"˲`VFiYܻ&8 Q|"Dm#i+}t HOvqq% IMFl-V-G_!•vͮV0L $#J@ua#1G¬X홫U#YU쎈U_  ˋTksI9ܿ.V爢U|rˡI2#ZӋjUKFGΠl2;h{<Huc\&:P MΗO) 7 m121Z)޿?k$Ňtq0ZG,USa>uQؒ^'J?4\v}"P>C{lHWJ5E{168إ^;C(w%YH?X `sJRw27? WTQUזoEҢ`*4۔wɽFPkN ;w&L=8$p _k^xU|DXjuӷ`E(ną s-[nψL])0ۈ7l'(Y- B9 (u~pvii(l0kϮbX}Ia y*MBZ ryOrBNm*J_uoEnJ-'cd\w,<Pu$nH'HH}=8<<,ŸKu,L=piUq0=9$UtGs`|UC//⍹U|0 /QBqJ,T,l!Mi8b|X`Վ|[ˎCTG|vׂQVJ:誐ќkoI4]LcÆ|@YHaxA׃[޾fYNF4Ȩ?A/O׿ksw*S٫$:gE 4) wd̮Ѧs0D#[3 ϧ 5It[욜?/t_֠g]UFZzĜVk޹0 y.l?C^gOPQke"ISNx<(J{|dkpFqSۆ?gO=E Ox|GKgI6YK4SdC(j’&y N5%)Yt`_m©l9d+#sB2F gy.&0vvw>/,vʞ ` )AO&`M1o%5H\1{ INP*na=SQz  apךz)d9阛tRם yجerI~hx xBco& wq,-2a "T:AWpdQʰ\9zvX#6-;&QF1l% A;ޮۡ^bVE$7[Ծ/'[(KSF]ٛ\Bd(UW4M&?6 XZB6C3c3HQ@a -ZUu1^SˣlV?>%/sJ(KT}|!XRw Ƿf׽d$7S`$Tؚl.v+ԡg[s5BuU9oW7*?E/9:ӃD9⏤u'Tr1;xࢡ c"0 ]>U5a^7PaWҽj6Ω?顭=-&CA^: 3{<+Dn,+[ B?xxiƈ85Wg) J `7ϒ? ˘Sjq׏"7\ C2{_'ֽK!89n'_r^K2QN@){oyet< ;1*OXܗ t3n+ԉ.DMu*Fp{k\:eHNbolQ>Фq&Xu\ ^uݛ'–M+kWC+tM i[e^ $b)3}# Y"Ag֭­ 6p݀qx?3ޜ,"q1?>#4wkA2U? SzZ*./ rɒrIRx{hcYnQUlKѰ5~ɜמ)n\vпز򚳊4׏i6I|@rR0Q䅡 Lc4e(?q3ՎAa8hP zj\?[ySS~Fu'&ۙ<m\,m\p#/nKcSw%$!"7C B{T]sծVtIC刷'ְ=NO|ʨ]ZnpwzfiQ ִ>; aoCFu#_p1f>p/Gh~7&B X2W'maϧ8T囂Ux+:Ǐ +ÌCᝅ<י0VYpop{UVw| pVJodӟ 6Rd6Sv=ȍT}Puq6rڼOsj-;\T @j>BA\*$2r C{fϓ7Ve-;\Zʣ1<_ZH8TY~+[/GHjtx o u1s:i0ͱW_U8ZBX fB2Gm)سN׬QG|0y|bȯ<] ū|.Gy͒ GpvpV6 %)Yt)s]%BN!xsXٹ$j_k>Y$P]3ZycҤ2Ԟ l!+oǔzZZͱYI'}rn--[w(:Z `X.jȑWA {wM]Yt<&H25E֋;cL4XxTc\/ctJb S|~'V[LR bwAlNd~$ţBo&w3*"wm-N`9ZS U`/붽oq Q_,YUt۷O;\G}"wѭ<ܥe/j#OX TGRA[hX'7z ݐa|D"v]RG8Ii#Pk8`m~Q{2찧E?u"HGmbFqx$؍^z>obEPD&^+ۂo!)۟B2@N.Ī^UUaZ8KhD'-o>WB0NV ?([O:пvWZk4Y_XFJ?UhT3j<גGs 8N>70ou'!b{:s,-(oD0lgwi>L|9w6jeSc kviHfdrp {6=}+㚉7difw}nZ!vo3q|oP 6ïpcak8[WKlM h#GKX ?IQ.-L#qUhÚ<|x)dkno3;[]۸Jw,,|ȹ"? U=pmqFIŰ`6l0R/S 4-Mj6lrc[{K${.a;S Q$S8e!3]I@ؐڒR$=u2 (t^Ɓ7n!P! Zs%,`e %cLyc dMbz:[9=MY0cTAA֬ϤHzos|?M*{Botm ˁ((((cIpxgU?7l D2liJP7J]PϙOlaFj*1>QI~wh@(ȧWU$Q5a5H@`Kx 3%!4kWx5zTch{yɀ&9F'Bf*; J*Xy]& c=g#ib;t +/E 5GɄ36K'bIY?V]M&sd9$ϩ@7[1I{(ځh+ѥ\yƭܖ-EQ%I˟NY Mt}sâ}@-/Hy"&Ar&x e1$$ 0 zTt̮%$JsKMqiL?kB;knYvmLx}A~Pl$"{MF@$IsA,@2/* l׼,@w~8o<&bq"Iͫ=mכ, Q^޼0X_a=.8(f 9ߠ|dXjm"U .233U&rYiF& Eޞ/m6I%iObx6Lo/V/mf~Jxx.UOdS)-N`SE#UǓ(~zh~928E x1s3K(9. ΗdIӕH#ٿ淮AHzhJw$̝ Ժn9m߸|J\i(LK5۪>HᖽsR^vx)raqO4lHL_=0A5e+Dh}Mw%?͢ V kX dO(DjEBc ~jDbďG>NC&o)n9ɎNf+VsA;n=?M Gĉ0Y"Kw3D [WMqGGu#.u4sxBND/ʶdU8Sۥ%q 3 !ikATLT*8ew'/1 -Lrh@lbBm؍1 Z甞Y3㵪Yė_o\ً_X) IP6F)' x.L/=Lpɷ'6GmL3PqZTF g\d@=;t>j˪\j=En *d2i2Ŗ>oN,f>R]|ʭYa32) ? rtQs d5j0~>EdRٲao~ UAJ:AoXWmJ)5t!n"TT@TO7R`Vh*PlCQ.X(sX^3Q 5KᷥX^IS+oj>E F3_x+ AN%cEo wiKI..),c)fMO58M[`@Ҧ68Qq}`d8u, dQ8b"DTX!E 0giX^܅oуv (?d %+hLYaha-j RS gDvZ[قJEqb[̈T#*߇2|[p+@K}V|\  AC6/"QPn_>3{-&Zgmi:ͳhR|m<{vpTDĵ; (]}Ӥ ͑5EZ(޸qmSYl06a-)/Dd|YpqcGE|J!@kxi7 >4Y)BWد=1*ʾr"VYZ*L|M_W}îv H¡6=/5hy̵By:pE}7f䨫i{3N>T {sʬW0m.6|nJ}zfh/@>l'\_^KLd]ʢ;w{ڱ] nF,.Zq 0FY񱇨%|Oߚ CdE8=Vnr'0iːVc$\iЋ+M[ .d4 kV$ЬhXvD 'Q!lĉ9ueH0N[$6?TڝFf\S^@tg; -;ݠܫ`9s~;bw8l ^- J/7%UB/d+!qrQkXZ\cKKϾD*<^iIR,$I \ K lsUD$q {߈Z3W'r v֗@zQ^脻,4}aR ׮am2l.d<tSNߟqILs,#'/5)zr5Θ̈́(N'BW 0նYL(=Gn8O_a}ݰB G 3 "]vN]c܇Kc\8-PF9an(S !^ 8L5":Nt9MX~$Fd'mQVe=uO{a\JP=Cr(ƹM9"5w׹tgimUA\wt_ })g7+zoyV& T[Ҙԧ8ෘt;ܘK֖KoNB8$Hծcqbm̓ެY| 'HGlUe]tiǯ-,T0b}ڷ Y lAk-2w;plOklb>  5VvF6lB}jEsl,Ha}^KpfUВ=f-#u#3Y6ƞ%}#wy9WY"'G^5GqxF|/ä=<1(6t\xd|Ma:LTQtĊIn9{En6 V^Gs%(G8lxhc+7Wͭ;Rة(TS1V~2x_Dm ?A7Mli>$eE\HoxVz{u+0h=a{bӞgZ~ElJ1sٺ)H(.Gɑ2K F8a<#rd2ݍoG%{\i=hqی̶cy@"K{WQΪ4Ԥ`zt&!6@,(p).(l/ۙoβ2L@?C\1!op^qm+3w+IXd|\=AĆs^'w p RZ˓p 8d]ic ҨotxH0?nQx Cv dW2QLSM~?ʁioA)G]C\KBOAgaVz;uX9B}j(B$TG\T^)H $RDS ZQ cBD)TKiqP+G*l/ZdIdϠ`EDfG։29)PD`ڂC:Zg:/Eq65.yrA@4 |_W'hHZEx$_HYsqЛ;/z`}l#\ q&MѰim%yN2իd Zeڨ]r- AvPH"@̨Gu3I W/[K(x3f 3x W(, ?D]toSMS̞qp#|ßRF|,Zp!'Ry{=;S<SΦraFƎKLFT֟tYϳ;%4|c)s ,JxihyIo|zz99OdtlWnOJ"izrZ ssɮRWpMd`,@ eP#>N-^C8jp`S[a.w%Ĉ3mHn,01+{NpGc ',gs&6=2̺~ Q<1I-eѱ]Dd_ {q }UH}!25f!0kJA]Ed2$b5i{K}n3e!23tV&$p?{A(Dm h~# ZO<( OɄ>n2H7ds+6kiEѦKP4-Scxs'#!)U@옵Bǟq8TRo\DYRXfefБ(a eJ@8;#T=uٗƅb@ ^Yf%,&~%UI#ȩg#3ՅX*Wi +j3qzB/UVX]m!؛UQe7Yâ6{].ӍqB&!h^'koj`A mѮ5krܟR#~fD(y[FX$IV4%;P)!ٿxAX{5O"5[⢁f/M^|/n^~*>'4"?1&'b$Tn1+% iJKItRۏǚkS(X-Aj@tEV.A.!=L_۫q \(xs5Ê.KStL.;bb+Ѽއ0RQ<H&Q*su_5M+vZӮ|*ҾN ( '~['#+ID[9In <+݁k5<ԛ3];/߯ NLRkRdz_>6_z=^HRW vnnZ`(vj[0:4^d ZX݌ t7q$~jS{ΰ" #M|aHF JtDlKAl., ރG;%ғ5O}5.9TRlTxV Uo? }6Խ$O ü9L.:n3̦+Jq7J.֧.zh,ih)̯!K&~n~JW_haE] "Gg9 qhR-\)TտB_1"HbWz^PzhxAUZEhh+&,zmR`}IyKiE" חz,҂@jPR$ Ro5YDmadtt Dme>^]k * TO5W>{njc(f \3غ>EX{VP!#@[PK_9-t*[{zte>N%t\.q?d Т KE!uANt; cnq<ܕ'Ouk9yZ2&}bp 6&#o&RMs|q'pogPWoԔlid,Ok^I/aIC>X*4=Egd}~+v-d{mJ7@>n=:+]c$| _DE#T_0wMFАLasd9N&3=y>} oa;^%?ʒ=u<`f Ej`7'6Cל8E>;X'SGy>Y(ӴAke+scl&BZavGaSb;f1KF^#6q k)bW<'r.C//Ja݋h,FqۦMa{eA~ ,@SBU٧0 `y#4bbA DڂIԾjox4A,޳J46:p<6NW2ӵ?MlPA_HMci&lM #WlJ+w̢sZµ}jH**7w=k9툅sWvX k#*̮d=8VJppG30tDZs.$=BG铽Opޢi\XX@qK QG>'@ٜBdcܓBz3b-%S&`,,v/"9$}\{[[bNVh rEhk?{O*A{ӺnȂzȄlWPQQ)!"(Nc.O]q8/NFr/rw|HWԚGN^S48.7›|_m$is 8P757,EġZϛ0}.RB*QYe]ΐ$MxV0q"ᑁ$nD]5- K;kQ.'#~#}TY}in~ ]Z",dLmAP/=5rНJ qSi H@@Ǜ磤E9]Q._,4'e(9'Yx6̭'Fd8l_Sdtg@hҊ%WZe*( E*ў@puPPL $ma232ѠRFQm{%8tnElΤ>4{I!rM-w[ṇMz(/o:p29QR"imE\1hCWQk-2~NT-ҸS˩8L``^FH`uQ**R#T%>sѳstER0k RSٍ#A98?P,;so|5:Fi *S>=IK}= lx ug`8gUk}-<&A2#o>vаhD[xȐf)cO =w%gО|+=}V&\#㥩*e)y-իSJ⨟}.łw<.pXmA^Wb#ވ_a/1N1A,= d`7n-ta~q.YITɉ\(}H/KtF7% 8Z?pEXR| &;{&'RJ[jrqlk@!GB$,[0+`hkwmg//vir+yA't1]kfO| FXU{u.@: K'Dh fUy۫5*oc+~`FJ1-Sw1]:1a|~)1 ,|rg,*=l'#WV/30>D!,['UEҺi-]l+wȖ'Ho26 e7)36qsɸ\hR f lȍՆ7nNjdu&„ގLOr͂;aFz@+yr*~ O@Σ?Gq1y@%.~jYǎ R<SsځE#&לQeYzk/ 4, }7wT%|$Ko=55eH+!l\ ~ne&>!R!э퉾~/V1u ` 9PGg s[ ÕV@ب0Z`e:l88쬱&H=a|hza,eߦ-+󕝜lnx[=x^񳟙mXԜi$Y&LRS rImè?t_aH;2`Y !}Fi21n{!I~-}]#UY4$R5 f5;΄a*pGf  ?,Tl&wՔ3h zg95w?T7{Mcprp\=-GX"CK~E;cq I=ʋ+P_T *Y'ls1mýas\$d xfBȓp󚊀doJCF7ym:@O&6 vxX_m39M"I05|sں@&+ӌ#>[%S5 uHHbm=[̑ߝl 9*:p|WzUxRC!|Y=\۔06Y;>=av-<(8#ĕQ4Ć6ѺeSstU_` J* $A!:*jS$fEbi]J"{ TnRHwp2cO3rwJ#Z 4L.@phSVY򹳷@_˝2$b 4eygr *g&H<o$ J;Ĵ1^>/F`gHydc R6=HLak&+Nl."2Vn"Yg_ʙk34oDy,>ţ>%JSƠ Nk?vVDoR*HxoC]_Z f*,S^7%alϷH_Sj3C t5iV Y{ڽЭ!2~4.)kbS]>`dK]mL/ ȈSG Son5Qtnno],Flj S<-:|_n#&c)!Y4OK=o),4jQNnBA͠qOo ou)ϋՑZv™f !- nJ~җj]} Y/|g)ԯ?s'fA AGk."moHܖDwXEp<%w)jٛ[}ZOzsR)ƙz_ P f))mb!@2pj +lkBx=g>+d6q#UM @a8舃|P0$>dm+b]-Rl2܏J!7*Ac:P-3TBYE'L:Un7wB"M*~A3G] aM7#Zbӌaf2*ZN1j c#cpϗL}s!if*"hk.\@ѐf%9RL!p;O  CkE\%3igVxLp%c0 _~aiUN]hh~js4.Rx֔aOlVM䱯S[Y9SrgFx o\?PZVS S'xV:hj.0^0oqMz,]*[b>]|*Jn@ K/S\OmT`%HCL;X[\`UZ2DgƎR L$1;)r DR|S6݆\X:Q5Ϣ͢"WƝMRD)jo ~A9䀓 ` a8T~wT5}"dk#O2/>jxcɝbFZ)T5;B-LL\X5E=;'1 ^_2@BZ,Fߎ n'.^3 (p'{䋰hL>ȁ̞xxW",}[Z~E Ad*QQCID({&~?s-;~lF ܲ3+<).^ V{_DBLo{maLcfe}#a2x掜%1%FQf8/w_;I3c땅~үYCbSdң {GXE`|43%vrIqbt !A#@A3=vCfw\RP,v+RDᴱSv8F]-pئL24_;Gԓ5CMc%NesWrqbB[Utk&$D}r8(ș0F{"zVμǐ?,kaުI,9xRTP\^>h&o>X:Ⳛ){Lu\}- '}L"lej즅XOS d>ug$MGBdZ$(~VgZ'GNj)4Z>aH<0.4V^IAvpδr[Zd 'C\bYm{UT2yhD_h'ɓؙc1X3{w>I-/_hnxx=*r˖V lAa̗muaVNr)ȯV]а/fn-gUVOgCyG>K5Gt3:0{7\`e nIpa=˼؟M ׳Tz騩|Ge.:NPk3읗u{j'8pt|r[f}#.DƘnJdde|׸R|rO$ {*VeOr$2E;$AS I#I49A5'X!x%#vEQoE).`etƞ,fi^  :JOQn6|\5zwqy=?[$XPjo%*sҾqDڐe Bkm%'3)(ݗBͺ6uŹ* ~i (4wMK|=jc)6?laI]Yd; uFy -'&ʫ"bsF fT-PcGzoA<81&7I nS^8KY)8D6Y*)Әӄs$S5(Pr=_ac03@Px2j_7>vAx!{O/C" Na>66=c5ܟz B]wtC#tnwVjf,)}\_q|pjuG]EN;YSJIoOw[6a :^GX V;kN(2vVϩ#o?WgG`uߵ1N$eE\ǠC8!bYJ}sq:!CJ$,󔬵|Tr=6yd^dL;^2,_В˸FBR 01%W41ɸA9_m 68yp'/OP}WXMx2کwu;Ưl;ehqk/7:B!%N/ݛUuog?h*e'xy Z Klvx|.S1efn%:{ :{ev7_}44ԏwθe"Z|^z;,,tL={d \g-[4-x0G;:`;F0#keDlᵻATj:8kz1}u|+<0Qަhz M;eO+ɛw;<"gl:ڌ>/;ɴE ݭ$lۘòV`hOCNFQ@#5 1 y ׾_ zjUvl29Tb/9_Dw5^D/4< >⬵lYww4h:zOP=)1X= c=ݤ{Eo~)Ի;n#1X\Y,AEW5 (pL[F)4':SSbսG%_$ wy/=K—z a ^,r ڸCyiĤ>ܟ d5whFnA,N@$=0kq+A`4=m!˜GA%3wL Ec\\ -̆%idUbi<-($lEH¶ԕ+.1UbfU@K~=~ #_ٕj0%[e_Wتxc7+4}*J:s/k}pе @cUmlhڋs S-8,յBN>O( A3yZMS8 wĻEDw E.կ-0B kܫ #id6Fڎ h΃obBX4' Р}*v ܪز=gss R+Q8,2`Oͥ:9Rlg}A-\0LK-@nnN~ZHϝ1΋&FX>jFRO[ 7GYgai}mcEtK Yi~YQZ,@҉5N<"X\;J0p枑b+lstk:RblLܙIyFJ,[w]Iz+;\6 Ԟ\Rl>/oi1da5cKqх=X4ܺ+kv;8 RP18^.bos)4D!~ f(tDzkC40DHyZlGU~\3!"MTGש'3s$~aXHk?5@ To3FM7Y-A51)|e/բ@h! DRю[@${ uW.mԍ3)1\i"TV%rLZЬd6G@FOfLa ZGvp~jԅ쬽yKuScs(e_X2¿hOG1N@^QcO*3zzRȊDҤ׸̑W]GU0>B  ѲoMtK IkNpHcbА_8ǐ Gg~ai@Դ20C+Ciy&Df#§1r3v7XgZm[ ۉQGnt[w,Ԛ ྄& T!:_izBh,Iy_<Iw򒖂<07ɘRpX-7hZ[)xAk }&+2Xu-0) HLS)i+WwI^潃ySŠxcI Q1s6qsI˥6[7evDWNJ  m濩"mUL -ina)Τ~,F?CsCt>&mRq6(UڞQD)_oO]P%H-; rh--]Gϯ:I>V'_=:kQFhJ{j ߜݎTYy tNs>j 6›p˧>-@\CMq@)vlnWK7]{bs ?ҭK8r>ͻ۸ sb.nص x&NkǓ-o)fx2lY>["K* w+|8w][&tlч|M[ 6;`e _´N>QOZd 0zutR1y\}sI"TI^KMOStniCOU],%Nm_4{_Zs5.?ޞi=B-šGT _MQUgJ#X7߽A!VoD$$q)gj~q\Saǎl7'vnz `-v=Y U3,lf G#הQ+[ x /(b%τ bw^qY>dFcJ1$ Y˱gYZ^PRf'nWh;X4U[VD6Kn0 þ{՚o 2|}%'},ּi«4K04 d4B=<,h520QOo@6o-W c4s8'a+Ia M")3qkbV?D7q i~Ych alu`9y'/v ^Ûo~t$[Ls NF|E z~#c'=S>|cƖZDA(=rҁF)86plqd̎HY8 gܡu&Tj Sn9+tP>Dgb.oJ:"ԇ,}^bM Í֣$+zP ){]8 `ښF-wC ] M9 Ke0J8-#mYzy̶LOk_E`tRBSh(%hq.!P 8yPڬCWSdZY`Ą>M\ß e:ura`Pѫ#c9h7?8vI,!t41YAbZ\  hXgYZ7zXZִF!  ]ŗXiɟ1)*u%9M>L-;ߝm6ֈOZQ3o@!:hF/gYZ7zXZִF! {]ŗXi%n iq֔b7f^R XqWtS8/M?-`]T50 pw @ &f۪:0cx.j[>t|Y<HN4o9 =Ad ̶lEٓ.NTy.vOI=w8&NrW$7C[<]WھH])?VAڒHS'2B̅Jʢ7fD'~K |&Qu"T 1ͯtrQ3{~9"?5 >U_%pj9)?t[5易E.# *j#4`F~ymP;m96xm()9j˓/Zَ8G-@j@j]N0r Sfb,5ڽ]0鹡qeFw@RspXb3< 44:[Tgw $R[5hHC&)m~{JZXPXR"gX}-juTM|5:M%U-Yus)tP˺%.߿ >K0BH%pܙ H6/MS"0sY0zmbpb`' oru#M mmbe@2rPG1,qd}l#b4R1c[C% "Jo>X8iʵ$2TF)ͅh*F:o7فs}9Pq<B$ְye K|尢R^RcRWmr D[ |vEtQC#4B$&v^j@-GiP<OQҭ"S/sz?9xxr7m so#X%}5Jޒif(RMr`Oeqq\l_?$Mw s0Fau!Kk)/"ZFD\*u6R5޹5a[#EF3:;$92qvօS1ҜR/f98 S* Ҳ qN_  ,ps  Ty9aB1˙$h3~W= V,5֣aXk\}Y=R =ۀ-R39xeH*M  {93./n/16QKk‹FZ;Ve)QR}<ƒY_p$S('Edu7b 6:~?*cHg b#[2G~Q88)H3"D }6?cv؏0iп2 k1(2@qɦHHt^8yh;rR~b%Lymi;Ax%sY%Gc ZCkΩGZXa{/Wx{rwxC@ cR(^L4=)RjG~o߃+w `F䏠>S\%1] `(f8n(أݹSVE[dX劍ڦ2q{+;e4+B{[5fIWcbg8~UAIh0,U&MqLO0ٚ[.&?댛F7J2 n lrz|<X--K@p?LbaH4~xCϮ*E+,ܘ3LZIіgyfNUE LԅZ.F1S_Ӵ/݈k&SH{]ʤ*V-f&[/ԟ s& fo2 b ?{tr툫qUܢG,6@%ސq~*h`|">|ݴHLqD\ sʈ74=/T Qv7~H ipk^]J_Y!"|.:P8tCɇWW2:`י 7i S6Qq,PP$*v U(-H Cb\R:*#>M;4[5`{dfٷG7E1%ز5[Ro>o]4A D@M49Œ]l;evM'u;XdKF**U+4}k@yYNp77{c{X h;*'&a胋eeHP{3,u k[糿D1C"6R4㍮ % )QTF1#`.-I"^.f->D冸M%FR,Ŵ7zY_" ʭu?4?ZcetC8^܉!or̭a3p=bJZr,&6 PXk.錺ۼ%cM=S0py[uD6hoEI'o:T^Ld1g4R'6-x@1lS;Q 35L`vN<20q[[p=+ϸ1.-mDd3Csz w=Gpʶ.!/KrXׄd!zPi,n ]_Z."uŖ G2Sn{l 5 |M(aߚ_5Pqo]4:6veK5{h|iG;,gI)B3p?}aςIuϪ괇M+)uK>\>fAU4,/8@*s6QI+ίlt`jPjCJ+q yG.sR+fXSʜFJ'byxHPSu^"ɯ6@Z+LP&@ Vz3Ύ2h\$-kH]L0O+nccrCzw^gёKթ%O5dB/Gp֖/t >i8-E)\P50[-M#ȥ~N#P#Xڸ](lv||nbm&wrozErUb>f*w'u M~V=L'1Y4^c2RGDTtZ'a~eD'\ozE:PeB8@П7̃h%n\&pJzEp@ApdrJ^,*DZ~{$RgVgHMvT2)b8@4whoF4^r@ 3ŃP^p'Nlw涿 vv odr cЕBr kjS%q""|a?Q{$45o x%9sàloN֦yJl/ W*9 -cD"5f N,D3V1DV9w/K̓7߮ø^Ǩʂ<"1_abVG1)VBS7袇!m qH `g$/?=vC_M~vΝ-/ܶ?lҞkʯ_|flw?'UhS3l^T:oGFfvt1b0iՊ/jT&gbÕ{?,Z>cj$1Ǝ=* _,ly,J`BpKPu=//;b'.:ej:9aN] SDTU3z`4d ADjB__5rx-8R'볪ZvmygȧU`hU6 ҝ/˟_\׫3Yr;px t:ӖqK7(_[iLWvQ~"]; RV/ qy%.-F1Ƕy{) h'=B5`l6s?h@3R !Np2ZN҅"d{ǿ>)E}&}̃{UTz&|^y_7w#~-M@Dvoϑ aS!J$a/y+ "cRieje9a ~||UQ1f*e)9{v$K}IG85J:EY3cؤ|xޔ0; 06 ҝ%YZ+WB`*OMfݢ|5x@v8Hzُk+UE i$rЅr0!JYgs'U<[S&|̜fKULq!-\@GgڑKuQw:%e:HCaw,A9f{Y Eδ.6%xv}~UmjiqrqߵYq> .l)m*Tf1]JQM-„X?sJ@.IDE\m*cehXWh7& 뵑&LIʊѫKkI;M\lk/"O U um-:qM.^gOֵiRx5d38r~UYK[Jbu 0f#S򐲚0P>9:JYMneδC+MF fQ>d*yʚ Ds⁔!ꚼc3xed\MQ=N\1*#:1#h(Ŋ VErs4aR%GnE\X[zNQi'q҄0 (G Tt74_ ZqDGz,ZaIڇQ_'DȐ_Y[u7\p#N0m ?-Q-F}4(sq] W}`"K&8P(" ]8`"g;{TuI;EiύR"Y) L\Cz/HM^Ho'}gp/K.RbjF}*x;Hf}|5&N!PM|ۣv ~8LNfsYʧ;o]>~ h{^6]F3/c0T)]Fʗd#fjt"5t !X踩,5lQA'pkv{5ǰTX6^ #w|ˀism H=h(nF ^Y#6LLb 2 ShqVl $*B7A,/7\]QJ9~Rfn; ܲ/?Fə,3ٔ?Jĥ_ei zXfhǕdj|0ү[ʝi]җn -Fe,>٩l|j0OaO;SWf5|+@\(KpaTΨMFUch/WJ1.SXȠ:C0ԝeFfNPwdZi͹5}t&i!WʦRBy9헧Z?PyM!O wq] rq.!q.Z!"%bkcY-pK1hT;4𒅂⺱şbLшFʲJHp+*S}et476qJ8_STkFjCr凵Fw}pz}#{aID{Vp&VZk !ذ(fH 4 JI ծH"Mg?=ak`,I5d'FcO^U\[@ X8 yV75e z{IIӃ01 :ϣE*恵QkxjV?-Ex9 7-rP!+exX-p['XOmt*`)jJ3M{0idV\1=(!K*Yuc #!m;ݒYbRjw 9>m9R/qBUg#/.~C9 gHqƃyҥFb"HsSu Dv|ҹ>/2~qg1eǿr #-1>wlڶ8`3cX5ŰGvl@ fҠ`O^h!#q1dK9 hV-s?\6qxR^ G,S OC)7/wH!!cR5Sp,z\<8}T)@ÊZl.NeGH^zng'fun g}3]ʽQji{~ ~7E[ޥ|bjtx7{5uG7CB;ϏUܜmTj}]a'ĐKlF5QV<eћPʉ{88\E8_>qxM35*; KWp[ϫIU]((O!Yp"V- t6tď{ -;rƪgyRgG{H 'UD!pY^AN6y|fa}p|(`OA꣄< 4PSفy+) ? )H^Ni@6+rA$wa;N #w> r3=2܀4nP 8UȎo, wy&o0.R?"|B 舯%;ndpQ/DTvraxXz_QN&9T|W hm#9VGO:/lm/~g/@+ޣ#npy}z'>XZM6/ iY ?2#k#EQue%IIUpM 2 Ð<$gTVw,1[}KA9䋩̹ FՙKxk3A; l]-M`gÊ C(,]7n?BHYq,0py {0\p}x%=nT'8,ƢwBj{[rĵFM`~Al)2Bnb'Iq5֗TyNuӭاMP# 򣔑}Xrz۩L/LN%uAE,V5<99'LxsZUm^{+Mype|R:{cM6[;z\>l [qbҹ5Xv"NRm<\n*U(7@7v=P=>6#3ȌH"vT:;g ^[yaY5Qy< " t-yuw-ׅzW.>rRR"#;s>QA>V?ܑʍ?5cT̅LM?}޳uFk Seֵ{ 3I5WKĞo(|7Ic0fi[c1}F;7F^>v7U{fP͸8SyЛ|jަ)~Z|F \òwX , INp;Sn; D#Tn%27By8$9 C N(_RH?MX ij bNvim_ y@>naCKS\*jG e>#p9 KrP*.%{ My7) 4ˣ뮶.:(.Fj K3 ˃\ԟ&KPqXRMU!C`P\szALI+7[SˉQŪ\cntmNw˞Gλ[A%&BbR-;&>^~Pm5W ,N5CJ@NtG]G ?<*GO;(4#^3 M͢c.}`7uԾ껅{,{dYk8N:]|*qUY\&Hx*fe+&&Nz| Lv^\XfLw!U^(7A{S~Od ӱ3wHNQֲm*ܖФ`-d@B*R9X$=v0NJJ llӁuge}k;園4pAݽ!3[uU2?һĥEWsJP :B"'G3-] K~M޳ry2;5,|Z< z 瀳x* j:qQ#V {U 7U~͕XsL?0-T4Uracb@H3S&R+_@R̍aIhD98La-=/\SE\z+v ʠzXӬ^ٚp21T!3qdeg~N _Y}DYT ٤,Ɩ(wھgVstb"i] TI>o+Up]3;AzYwX%ՆA P]b)~*UͶL|k!L^K/֣< @A+ HttYwEKMmt a~萿~IQS#'Gs㿶x (qWC2&N,f֚BAz9]<ڡKA&qw~¹IA 뫆:.b:StO2,;kHr/:}1w [H=y8SMU&;U"G3a *g?޾c oi7gYڙc$5,;{#guۇMJ{\N{ }aC wP :~ q_jOߏE^^0CreKBt3 h`yU*&n P.@TvjJᬓ]maEڲBʦXő/2FD- 6`/Ds#qG>}so]*a=&6PT*PDw+~cM5sv|nb;P_6`,3{L:wA> L;|sާyX5ZBiqsf o@ ًc5e}* 56) u.Ћ>7`PR$ǖ1coI:_q$ <::҄ 07jіgrޕDlqX!ʀs#`XCċ_~tܺ /~-̾ P.XTjߚ01ή =r)?/Z]#moTM QAGdBgo]G.3!hQ"ǝ3!eBi,V7Djb<yӲׇF _gSXxjE]JjM#2&R0|q1=%WM͜r/dg6.B8Cz꠹Df,9r@!Dh k]Ӭ呂eGu7uv5E.@T%V% Ћf.8x9X.cNɆѧl]L5IPֶ,%eЌ7UtŒU;U^$=ʢB;,> OxF;9cSc=S{'S.d1 N?hqqAۼ[ͥ`Q3čk囐;t7GfH% 2*soAp e4u?% ebcG㉱% ]Ϩ4ckm. V i_|0쁿%LJhsWd/@ԝvigXɬO^M$9J'^K_StUKs=P{h?WIx̠]2tcBݽۤs!m8S]|?hƓ[T,Eumgic 8/̡I/LPQ:.>PXf-uh ٦(f#z.Y3b~c`qFS mzZ ЯNʽQ.'LeA#Eqi6c HGc&&.{T Q}BVc uPΥAɚP/[ E p:R Lj7{<p׵B @DC%|:pJ[@ѢyK(,(}xs7%x[01XGQ}4tF^X{J6::Ӳh+Ї;hFi:z] R$vdVą1׵t=0:[*_``e=ϥ: SrQIfQ#zXKtMrO76ȄR#hIֵi _|pN>y92h$k iQnkß`VٿFtR?)/V{즜q1lALE1p6qDWF?>գlW|K-ƺg;>y%.LSFwiT^yt89(D\=1*; 5;+ }_h)#:=Vw^r ]e:^{os]S]mݨ\հg T鞓|)'yUcB] 15]mvtȊ˅:YP0TVHQ&aJA47^oBO 8wl r4ҮFR'', ֧ :ixO,"ެ_4 1E>%.t= vCԮ&8%T$"Y"{>߹ܣ1H'D))4-}QP%34֝>(-]₆LZt]C@;񵏸%eDUyknv" V440 rAtFVtۺ~v5`<| zĸ<\8#bR@"8__~01U|[Ҍz $O%NP ٷBIa^|)tz)b3z3l](3r0I/ztju(Sa%@l[ fu] ‹NTA3qzռ4H?y3*F;v*!?GPJCyq6OX덉O^((? لM͒QٿBB?j _"3-䨯G>_;SR;=y[ioEq`Jkp|a;<n8ҧ^b6i:*d0oN^oEѧjD2ofF`04hfI3RUH-,]<Қ1ZkXp늢 GSߓ\̧ #73S5kxԌ!?'{W?f s`H`yvfkueQv@E{閭ln^ڤ#|aJϟ,zlM}$ίD|!aIEjc]%Ģ*X"Gea I9 i0ߏA).HEkae,/ycJfč5ŕ$Clr}]E޳>%ڀW^tscוWT iސ2:͑ LaIpZ"lMoc/\!8"uݛ.O M-.O=)^`LgGkZU3y5^[R3{cv.ZN۶S~hl # ƀe8]+3u!O9V*x|d2j D{Jkײo܁ {_S+NMMA:A+6`^alt\j],%k> QXJght&{S:Tś Xde:_{`U7ݵǎd.=۵Pk}Y kJ{Si>]N7t Q'aױ4T94aIctW|i>$6jEbmӚCj"qV[x2$qƝJda`!ӄɇO"14k_._ȫ\Br`c\]s;-!t}NSen[ڸGT Pco, )Y{&:֧S$ESij ˔j"-[F )qIرy-=Ac#LM^x:;d0aW`Lg[Pu )6kc4Y$yBp>0'3QLYQjmo|DhQP?0nQR͏ m>N9HmZҦH԰<ėm6ŠVG2^NWimhdPSPBK=@kTA LOۼ = @uO³$6\9AYz䵭z'?Bu]a/"ݨ~$%u^_HV&aAewɟ5'cz0HNCS>e xde&>m-鈗b0%#rG#Sm}L{fՠ.AR/ɍKϑփXo ѓQy]"Px}_zNSF' ULPrOU?kH`n<s)i|L'U{SWk~uF`6vr DRzAZ6TwqxE;A;+Em[HH❹V)n"!4ԯ_Hqo/[V*~*ƥto|@"u Y4FsMHtL/p OTI0m\f"8a/)GWQlq붌OBH0lEPٴn#"VG|}s&7T"+KuUޅm|O-: #r "ty{(OJ]T=ѹ][ƻ1~C:ɭ6*A^ Vw!R0o%}+&k-!t5nvrgKD" F޻!X|RΖ:èL}P~tBh {;0Bz_5;`q-)qZdBaH=snˆ%#sY<173ޥ}}`Z/ U +]»9B=,PFYΗD3~I+:Eɋ#z&&^sʧO;ߟ~C5_:?~©KG?reFSCoQFb  ^NG?v̊ MXX{1G |{lWIѳLc*uN,*$ `J}\-tƗ m)J?;9ΖG#3 }VSc-A &Y?8! DX@2un3}Cl| ށ+LNLFt<}2Tg< G*mZB Ui(KN[q`XH1ua%jx?ueL[k/F!@#{OFАxJ\e<j0-p*LS!؄FN0ᥠ3D^eYĤIn*&45)_nNW@FQov[r;0R༈DT?"R"3JA۹ ]\09_>ﻯCXկ߼ex'zPho`\߀zH "|zwpt3u 2+UiG'p\ZK:3\?ڂ'_ clSFy\Mv'j5\A'pR\(rrLޠGg._APw7A>U[=O|Jý5*Cjx$P-4Mh-Vi1{'U&̦zKm'P^묠JnbeVAZJٚˠN-BZ#Ckëep8 .g;HTVU@VKk=QP&l[-CC#$u 9kLf u*~40*8K8vhv"V(y&PeH^%y;UxD{٬BښXCW O/GVݫUy׾.Xٯ3ÊwöJ2WsT#l7u^?s,^I[f&_,k+bwB0Ag0Q]uWeC s'yr?gqN2?bnBM zݗykyL+SKB5=ߓ! NJp er3JqVS wJ)`Kptg5vdſ/9}ɈE2D@ ~C_kMAi".}dNC)5iQ)j7>P5a#frYQRyiZwJBa cDJ*׺ĂZ˝FLnt^DCo@N߸ɚ5[bNQdg ؎eO6yCb+9;RKnRtX+q9pcAFhW=_ HdTH$ӎhI*l v589AECR'Ø {f%lŸ[ov~]G ku$ qw^`法+1:?ΐ=3Z 23瑖0YR^ǰ} Ǚˊpt 5g-ޒݵTe1%qvtu IcJ 4%X>si`xQS5=)k^/WNɝn{p?SD :+ J#h xoccp6L}!9-?#EM@&TBlu_\|fc}WeoR"|dkZ\gSDn5{٥VXH ZȁβuI/ww7:L@KscwrJ Tc|:$nv7C{O a7mӠ?CkΑ\#s,v5pPJ7*xq"Ǯ3֦CWo懦p8̀ѻW4U{@ڲI:_6f '>&EbCQbG{gžft&XaͰc$B]}qr9l^9iB2St+ZmYǀe0̒>[\[P$qDjɇ\"SՒϦ-/ؙ*7,a%x"n^~rE%sޓ}ex}<ԣAu:Z(+C (CS`fm.2m_#ӇČYda~GbZg?p#4 R- AxT%n<.Ur(80·\ee|ZYIrf5l < ú x7 k/@0 (J> `bp[Pf/$'}41 5|5V?,Z 0 PL>|^Ӧ7:a[iՆ׷ﴀ,=6/(5x WOq=3&o5K5vvc O&)d 4Ҏ{E[ǨқMԻ4xQ(dƋ?,@-J6?߂Pҭ#N{qH<`;*LVq*3ّJfRxF$02Jtv9^ lw֦zUU]kA zbަZS2~Ri> Q*VO ʛܶ8bw ojo7AOFɒ{Nj$SE#фY-3*h 9la? WP͠O\Z%!NFU'BVxt7u3i`oAJbb)GJIeX5=/ɥ5$ CF,C%9BԥME6C5LEl\Q'_^+܍4qv:I"JMp5!)0Ybrezy ~v>ilE:qcɑG"'w'4sR`k ol2cQǽJԧcZLE9ed .BAdۉG# Ѯ/\Os~uhJfoC(pZ(2t&oPvʴuΜ76su1Ϯe:q p[ues'Fq$X3;| Aiս#3 gPQu}\Cfk6a*KOσY60HG5Sz"WZ0x(#q'msF?*u xi4f'T1ݥE^z^x1Ka%jogW"Q K66f <̭mJ?j3놕mA.&/r+v\ޚ2eAѻ,'JI^c3nc~+ ۯoRyF8Eu~б5C.a˙Y#=I52=@%8*NA>~ A{@N$\9ϐ P0-Ƕ2_zܑюЉ C5Ynvo]>A%jjݬ=uōU/ʄ^~ D m) SOK?tq":;f(Z#Q$p G[d㒨tWHxWyNʀD$:#ήZQyt "+yÎ,L8mTo3:I\̣iHIk^A$pi W cdxɡV$9F,%Kܹ5dL#m.2?5\+υC45oG/qC0Slif8EjH1Т@ߎ U 龈`j^5Tf.IZ$0"7:H-ˊziMH s+
| V )2d?q/7E ~Z{ Ӗg{500&d;_)e1N)#FOfV9^'t4/>` 't{7 U'lDCBIu4I\zF4o"Mw"_^\" +#ɮ]]N?:ޏI?b08p))p=.f,*u6Hs鉑w Ul:}kض}vCMQ1=y:xo}ycvKuhPOMr7N=*塚>Lc/FZ~Coq7e(Vk:UrB9Y|K_ !!Yx1961}+FTi7bqk[e|(|`.%s8ȱUtvPeu +zldy>Jaҷ,IV9vu"O~'/xG/>UUTq%1}*;6rl!!. (6[\aIlAd|:(֍my"W.[iRwM#T!m$L Y:ᴻЀf__݀ސJܩCcTHbʗyt7؉|Q'=2qZbO3Ok8w Cv%Nwk `ոb@]HswowMifڭaќЧdsӳsOb!6.%:Eؼ7W[&!'5qHF5`v[%5ȡ4ּ07-,Z++[P)D0ci>gG ?wŸr0ʊ,pZ!%LׂJ'ę{c(K \8$,eJcJ@:8X %q԰}n`|^mɗ{&SLG ?3a[-/uXiyɒbH 6{ڍ"L\:&EBL- HaZ)Dfͺ)Oh`M$"63@@,/'{;hŬxL}InlYy81\pNs s w< \ذbnnK%uJuTبg'aq>}#~kD}ƥe#Xy; ]w+(8`9qBm L˗ַIxZwgɯP*eX7aU|ٻ,}xIr:WJiQ5E{Ŭ >չmȉoj@"";$RbN|OwWV'Tզ5rA^k]#F0@ _{ϳ,X- [#{M裮$~'2sOsT\ ʏc ˗V[s.b"4}ve=e짇yohuK K1<B$eʳ+e*j "6t9J`C(z)w.Q,I:oe7Y6.}^BBHQGj:AK=9XinC8s塟N׬n#~#k!ykl)aeռG6kdgڝ5і9*3oU  BY&y?cR0o}t֢fr p35u5sO tW e~]cB.{f'G0v \6 m5`혬(?Ԧ`8л2ߡiv9?#'3V@$j,5흀& þ̹Z_"W%->{ .J-4cLfN{_w9ގ8T)C۶] Ϳ*BL4L^ֽ m L>;5V%oJZ~CSH[!S0Iz4X G8@PI(a] QTvYSFI%b] `D9F=5SFJnQoz/wYaGfhKv F*ńFGP|{8X~+)|L1w`ώǿbLEB3 ߯h߿w1S(9B_WopjWX.͸CRarq3Ik-pPN:now +S%BaaD}[#>.Wٺf*г]U DBQk"AV:"er4KwِօFxp]q1ZTOyFょ:MUmmpd"U>>"!y,:8<.L|8-@8m ڕ! =8z8B+U%_յ`gj>Jm{UˀpHI!&[ Ġ#匢5Uv*Q☠&AFY>TH0-;<%s_<|ﵯ:u R6 /3*TѿRnd أ0]mk_NF*owU1Ⓝp]]Rncp{۟mME9zLq(( U+`"`y>ByqMJڏ·G)8 LC?5? :=©F.>fqB1orוt~`tet 8FLLTW.(a5>gAS=hh0] &#rq1o/ nXQ.;!9WP7 , ~CBoL i/5$DL!PĬ8L69?'8r=h!ϐ o:Uݚ# Wʓ7$ﳏyK }'yoRnC*83p$7/DoO0{ [82k^kSo*pnh7I QE=e~ 4I4{6=̙X+ϥ2u}WRX(}]F\"?/rlJ@ NtPŴ0Y,gT" _sdzΛ%'Ȃ'A&hڠBWF@eоA\X`AaD`,> G'[NZ}<hBEƛdUSzZc:p[Ƙ<͌\#Ej^#WCj^ 9yHn$jƢ%V Bp ] aRz k`?mv`[҉-vf/h,ܵ4%O*5JZ6)([G"Oۍ;/\|(Y{krS?ea>񬍷}1NHޱOF汲lK߶!>^nЭpAg?$,nk0NLL;Q?4J/e z*0zk=B 5H4o1.7ݍEWcºyD՟`B~qJlU'˥ŭ9 27P=Tq8Dr_NA)3#HP #[_Ce[e˦go`eN"/392 HU/N+1o9;vO{Za l㗨P~!ccR?JF軯f_&E2jJYDr m]˿+&[X=Ȩ&AkGR+wLR`]yf8m^a%|œ5>A{9vB+q KBO@$F̭|J!(dHƎH W2DHR-: O ??96p"]W&&p@ud j9d fhn[.iӋs2p2l;inܱ޾}r.~ P)9I!@c^r o ɊMU5zA8˔绊[Um}A?){U-RVa(-mHo% ك6_g7VƘ%`~U? mYgZjRv?2i=P1'?-5vCeOvLid=Bn@UG%z3o"^v 9'18AiPg{|u <UAC{#iBRr;g֑皡_ hʍvsZoxZ_rV8Ir:!Wgカ>79?\$v4c% s,j+gBy7RdHJ~6`X8 W$+=2C{[&G1"bCCnK;(ݗEoϓ)&3ƣYϒn~OxIp7ug6q-  k݊c/$X۰6Rkb_6JsxGiWL9=jA}@|6̮4BZ9hHpf]{Ƙp El:-^$V[E]+3>YW'55"xJ+.K8s.9ύG5haKZ \vL96n()!҆W>9Tߊk!\uDQ6\ =33(<\qX,(Ķ`E=3jW&擎"Iiv($oM6̧H>iE$I F -bTҪd(~ren4eP#0O؊YFG+mn`_`M9_ͨ|&̬_٪TA\^Q|a7cU.ISl|>' 4MzHvZg„GSM<:R 1>aTO"d"+[IQYM:ynS2Rv n{~R;>eJC"s+N5:r4[S`;2a9EG> *ŀEA(c{6<&DǕ K*+dQ!Lצ2 TfOʱSK=$x9CJy]őI'NIMcBw~6zV;UWHhJ|QHfސ(XmL,Q1-?S̲Y85 ] 9a;ԕdb9cW" ,?MfBO+a="[Cb>P]@F@NTgmY{*!T «a0U*THt# ^ d[/_LеCx4]36ܯ4RX Vs p86„Fٕ gso[ 4*0vѽ`/v}Pq`7v(C~(Z3wtSQ:nʊ@w)JA-o ]IPrD>lXb6yRZ>A 7QLvl3:ǙQ7 mogi7ދkgmf59zAoݍ`u3M+K!{Yb}Sr"_CD gk[9×Pv97~ZV:F6sLTˣUe7g /kO2v 1I^ӓ<bWr¦Dϭ@>v2V\S&LJyWh)2wgn3E\P4mzv-tqQ^ r5hlIhML$%hW ^՘㉤`Lj/1|Bʳ`k2Ȧ`S>LPEI E=H~W­Cۿ^wҗ=ힵȺ,б 6- #7LYeLu/ hm%S?| [ڋce^b((ZⰔ4n)zkNu'*`r鍟9qvZx<(.dZjXZh=0֪6 DEo}MT!/;Xw"5DNF|y8Ma%컃#6՘5猲p%ҏ8oɽ\dĺM v5(hoΆF*;PEN[`#]ӽsKf+>ҜT, )2B.:mں[h)B]-rl&*-xIf:=TW2*1=Zp4`϶$q!>ەegMtR$9U @D3OmW D/;¥V+zzgYZ9b066faa4df4fa93150d157727979ea62f5038369fc0231edcbcd095545a9bd9f3a47031d632be92 e439953f9939172fd7e2e9138f9265c34414095e dda26d77580368e351596db628880ef79805fb06