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  :9~,<, ] HOL-Datatype_Benchmark:threads=6elapsed=512.616cpu=2088.116gc=816.7487zXZִF! 5h]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;D5Z!yAFTZZЂ۝{?ߜ 8/AM)r > w{\Yz'jO?Nռ'ڦ'K[KE8 qeHHfB̐pNwYX-u|x֥}D\s>o&4{SB!X ^N=Ksf {0Aҽf˜]0OuQɆCLa5/YdVR.JhPw-̜ەy%HE 3QD-Q b-+,ܣ\:IlCeN3|3&7j gVӸnYdGkU‹2AH\H+3t=kw]vXlI m)UaB*%y氟c7:|ɽCTv=>'ъLK@͡VVcg񀓑DΣ<,CՂnљ{uョأ.6{͖w '>uYSzP̕&/qŊ- }*4uu?yKXLv1e2a"PEuoKbGIYgΦ{=ykΩ+᣾ɕK; s˘x른ga jζagYZ7zXZִF!  ]ŗXiɟ1)*u%9JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~ k $ K aH9K'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messagesF9K#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup E9K!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files K9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id F9G'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages D9G#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup C9G!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/filesI9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_idE9I#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markupD9I!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/filesJ9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_idL9G3HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.texP9K7HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.texM9I5 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument/Brackin.tex  Mkfv1_[{ĬӬW~:QMThO(x͆UaMe9uZ02c6j*@${w.Dam-%䊿x!R{x+u3ҮmQ;˚‚9Ǽ`iAJ?~Ԝ̂g"tB~z s~S1VD|dX&X'5f@5"*p#[,Z )3XWs^Z37^a+nlRVT'tЃ~3A66]+D0;&4ߋH JnvKO5"-I/2brҍ3hC+]Dr7@~uMf% 6eRp /un^1i"TZsCfؗ+Ø sYBZ<f!k(^,LuzcYb`}w /p:`a%(et[`  l^Eg,C$̅*͈S2?lYR-Ɨ !oC :Z$+YE!p41›>zHx9f1ƼCk4/S>u-ϒlaa 2ӎUa6C;@lHMLG~x1hM̱?/Pݾ,sq;Nߧ۬ rwBFi>cfDP5G7PK "gu<ӱO,"bs%ib0$ɨ@P`&?P~V9eWYg_z¨;Pxdz^Y 6fst%\MAoC}2"":[mx{wB_xQ#M %JHBĞHƙI? -Ę>%e;XvC؁ȭ]٪'[?f? 7zgM$(~xzxnEL{?\ȗN$|wCFC C.ؘF" 1/VxwS6zBB4_ACϟMJ O· QP7ɇi=p ״!: ^ lBJ$fHS#4ju$;-ٞqmS>Iz/o_FJd V\&~[iL}/Hk!.R_SէmG.4hZuy<z捑;"lB& (̈k/W}8CL sE*O0}i8A^=Y֑ͭRMQ,հ/jfu֒}?^h\ݑM{ nAsMS&3c?ʾ>g i8E |aAϷWW Mm㥏CݦpN∌7x{E"{pPuA51WvS9񢉷5:_( 10-n+螫!*DksO~»XɋQ φT0+WDhlG;`[!ѡ$Ҥx | =%tP[Rd&2h{nsyr>u.W,y0&>2^k&W͢GQ")>o Rؤ$TXQ,# R. p+`y#(R7,]L׾ yH3dWӉCرvm$ʴ4؊4]UQ /3u6f'z80SٙA(9olzڸ$UقwׯuD}L&Pul9UO}RX MdKt,ni>Qp)T bTeE"s$ K?A掊 >& z ~9#|F $ɟԣr8Y!燞 _}A+%AXZɊTt} 6bF/OXGh,|)4Fw|#_wf.\=p_cux}ҞiII4;!ҮcN7j.Uydm@K35UC&ˮfϜ܎LƯ" A:5p UvLmr9#}Zi Zg&a&>{,zr7 b6vd -I&ݦf׵VnqgYћ ]}Mֿ>cQMo>Ss@S%&jP a!_+Kַr2P"cbP$]hTٳ^uIFZ GwQV"v:6r$] }w8UímnQeX g)_FO)W2Q:;o)Y$UzTk΀h f+q VMv/$HבW}^Ӣ1 0UC8=%@w ʑ^ࡡ년cÕb)u##g+)&JN~t0,,Jʼn 6.\jafޑ"0+)ٜK5-cA1Y I lsM,L `݀s4hUO6o{Dn}uy˺p&k,rȢ?\B)\9(G˽9BӛYfH)א`/)H~[`FGd(*6P$DƓIJNTF?a N 2/( $zc~J//F~A+xCI:F[ƌר覡fm_ZPxU!s,]{i+yɸͼlr@f=O ;y}$6BK-kA2FEcb!K> ;u:, .,6B wXc 3:$MFb9 7y9`]̸p!0ЭiitɷM-~%.#^٩W*iq%NB+ciw$1سyUU {z-{3:G=ƒ۪Cz kn&#L.H (~4柲smz{φCHIuv Aޯl>T1.}b6jzF-#!ۥ=7̿726uNp#'}kpz}~2.lHh p l/ڿ=|&E3,PU:.B4JyftBءoH`:6K]ߌ M.)E$$\=o>-;;7mY2=5>l)[6L^ރ &$DCCef{D ,h)<7I,fq}^oq7KE\?~[K=FqVtU;Xr-B,ov9Orv%ygYZ,чF"umoL}A]ưqI敍XrŚ‰%SV`УCށ{LeyVhE3'yF*Cn؏rGsӛ夽:&KF$qmc'H 3"3P*2y* Yj(u+R kZrgArvW5%bk!aUӇP GF{Xܷ$56C'y bF'5h,:nXPĨՕa Q*sܢ-]!/(kH` L[Dv>:[M<[;~#mi/GeW{C\۩a*.raC1ߛS)_WPf ܗXN#<q  Q`Cw0cRgp hEhx,"eᲆN$Gׄўy ʌneH8"_{ƥ={LZ_1Pr{s,g8rSl-M;x&L Ц y=@ #$аr9s/sN'd?QPB.jja*-`ɻFHyzK*@y!utNF!Kh3%Ycyp*Е}K }IϋeTQO%H^ݼ9 flG=8M왧̙}JY,\Yx'h ÅDȌ{?h?IW;"U<@ e)!kÅ4wt'!NUіr@R5T8tQlzد^Eo˝!5XdaF1~vqJXA96jXُ>ڳ^p"U?b?܈GO:DoU|r1~KiEQACVS)t5 m=}L+22]Q%Cp)';+A̼!$z *gƇyXf\GN-f-|8 :OAp'>1`WPEEē݉W5 `q%@Gf<ٲ#)HCG_'q ]M&ݣU;?Fy# ɏ8عW[\?b[7x^NNGU;#?|ҡ@be.[#܉3O͹լy`XČmaw++|]?J.dvqS<# A I>bGGwH߶)߃7m(h࡞Bjq Jv>hBɤqn*_X ({Iy0*LJH'B5+ibkg?[*n6#1 }k2z<9><.oZ, 13C%eƊVuQG-zRA[1v+ybLaw~}0Oށ [@Uh}Go>w]N.5vN3鋀q8aΌ5};M$=jC0uT9? :(u/(`1S>Vb+;ɴ^ܪE Ptw}-[cՍ 0~x&#ϵA{KF%p;G?Qr~CQkCYPavPʢ%A+L^a_HFmjm'"i9u1ٚwEOk>mr}PrcciB])}ģ]ܲY'ȓ!2[Qy frj)+>Ixʲ.e4֖,y *Yԍȥ_^/*Kop O5-V7UrA6: A*i.ݘgTːb쌑- g=@b}Gd7D}ER^2+oV?h<>勱1rȏAg?|ymX.'7UHxjAj#vNLGO!OH1nj#X[BxQSWuc-ӟC8l(n:24`ItEwCkpZ@*"m^R%Kˆմ}*\\>kfԢ $^ܑӉp:Jf&%FFg2VAaIkMy~'?E~ܺ6`r' Tvf(Qt⸡v.g 7 y9 Syq1p4XC'pcN$Pd1ILܒ=}5_|H"H% 7~1Do:'H:vx/.Ë W*gYZ 8 -8u9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id518N9G3 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.tex7zXZִF! ?]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEy\1Ek#9k0 uDgSI P4Bߥl`W*0h:gsB ߬jN2ea.C5+,(RmzX1 e)KEi!;6`^ɋz˄Q\* *R>JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2dbºן)H ġy8@(xG~uYl%2MVQr_g.KzcPc&D`_E99Cէmh!sh85̫“mjuQNiMiu9B0c>IIj|wfŠ 'RKz_}։ + / xK`lxAeP-vu |I)/u1I\S6#KN"?h -m"45=M3'޶93Ȣ,3!LShՔ)X 8`z T#{l_B%9;ОKeT;|0bk|X[C~aYj;g\GUYOJV\ᙈ YaJ: /H4r׾ʤ!h;1M]-7]_# ŕd9;lHz`DV#VLk`{8&Fr`CI_>^}Er*Slf?ta JDJ.FZGJeCdd=|J!9N`F= AOkzYz`k Mro'K#*Me-,y$fNç =A+G4xt2RGUܵkFYB J yD,ܺ ̳,wtz jh[{tEezUsCk%`sp%P KžX]hSNF>ӑU jwD6JZM[WNGpz Ӎ1W9pcmH%E\a}Q~f7a{Tb_l?'XUy}_ " Vz!nӹ1^8$`.n瑤K.vL0SVI{ge ]CXdr/Xw6.O: Yym jcQrZգ8MbFeGՂP)XRcz\~z3:TE_CG8Vlٹ ^KVyF)șo0AJ+4"S'{ 'r@q=rlnS:j0E?\?jdNlVEG GI1MR{ ba+?vqtS\Lk ^AIDRq) $um yZ?JC.8mNՅa7Aѹt^0A?9aW{KIw!P"P SJϚۅWCIQvoI1_7B%9!(B6`5,sg\0.k8 C Q= qy<Z >D#N>XIs!ZB(\ GiFFgfìp" GEoCPMϤN:h*g&D)j P}ϭGgYZ Adǵ2!ٜnX!*}#%Uz&TF_N숍tu$=$صG^G[>=6IO/l! M_DEZU>o"Jb\mB>QXg~֭Ғ\ˉǻhZ#+~(Ěo~5!s } +?h:" `W$t ƬIXHt3P*9~^nw 9q٥{;T7Rdd5E^y"-יv刴^"%Z}U4CA˗W[I KWKu6bлa&:̛Y;ψb=.Lޕ%WA$Za7 ҁw=T8m8P!-h;!)=a@ ?BGTBQi_56I;u(fI? ZwJ?lEMd]ֈ7+_t)wB8n` 0>2I*ˣf^*Ger8~3i\ 8fi+.$7$G as,VW3hm7$=;[ʧ 2z_Nvzx-Q>p-Fח Ud-@1?lYg)j{ @Jh d*56 7s/ΐҰɻc5j+3۬*♘F"4 l^U11:lC:c(uۗa+.b6Ia&rDu3]dd?Q=~ }=8W=V%>6Ν?0hIm8;ŹhZoT ̈́ , j7 /gʷ2l{Tv5r ivWtkPVRr{WV̄k:cjVɪ\4kTCldfQMQ;fB#(*^-'olZw|rF"B,#k%^Jns逦/#6{@5ztQ0YۡR:*v+#BwÚ#Ϊf}#uz :uŰkdT~/eM H3/ZF^yt!2]#O)i Zx@:94y,erF hٯqoeiFI4IvymIpI75gmPb@1óݸguP;hDUI&JQjq1.de@Ԓm]KVJX3w~lտig%nvdWgni/I0Ht^,ODžWq!m3(TgEdHRso"pOk Q$I}&kbvo0@ `ka~?=(uxlp X@9ώMyp-Zl$g缞Q5^٬' k͉ۨiockf9`jJN]je6O_g?q`h h9V\ $w9#܉קS9m;I$Y?.ytʆ ϜʄY'׺:0o!\7dU+[-G[#Xm3CbL.PS?:Q8 ;rN*jzQbFSaKBA:rHMjV0r=﯍ xX蹢wwȽ͕EVᢧX@]NR?zlP7͎xQpd)4I1SxbNuuuTl[(h8ǬZk1MِZsoK#qPjW9v{IW2auFv $wBbl9FڬpJOB8s j6.\ 9"Қ;ND/TAWJ@ld!>Y~JįĬBh^G"{hN{/ȶ .I{ckϒXE+&CwO+mMZ!Gj2b!'C wZGCĿ9-̰}4ظg@g58گakϻ=fXN9%\Ѡ0wGvle'a\(fKGvJƾl9!H_֯*/u.*,a݈CL#!k?Tsr/KT+=hef5g'RaKQT x0"ilƒ`+DQb2zLAT> | ; \Օ@KTL0bFʚeApbx*?փ#Z}E ٙI zJ6d\9 4*c23U/mDOO,*I4ݒGG ȥNGZ*;:fB(xLEA 5aᷓ$S A rb5\=VJ_a,ф6wk<Yg-Tdk8 Bb[mNj;"Q ER8Kj0%a}yߚ6$Hdhҝ&!i@3) aTR gЃ]m&K 4QFeN4(m0Nez>q"='\#eˋ ?D, ?W,-҂;1afZ jr+`a t3Z4T5&ޒe }.)bCΐxt*Hi1%JʛbxFځșNkOPuktOK\Э*N"Ӥf)O򜏵o(.:~:B`pcܾ+2&ޏOE> f#=s/bE-*$zc6­]=%pH?Gҗ7U3yD~[uu`2kS^8+8Ѕmsڷ");0#KT8Hn8c;BՈkGm.U;(^Y^rbcȐbУ_+v2Za}]@c.,z޺̟E!3Vmҍc&{@D)ߠE\&50%ϦI6p-b`l.N$D1i=k?TeB[wzNَÚ4Z;_ؾ"rUP.xZbw#HVW\ql߁+7;+'.߶P68훥;OK5,L|u8%9:H҅OLX02E)E NE(~Ơˉ6k73e2h >{Yy~#,q|2/Z0 ^z]:ߘ 0Ye51%p |_^|I{YvI]7LYWc\q-e͙ UAW/ eqKXTIQeCvk[edTNtj jʅq֊L_:'\3CxM lB4UΟu˒Pb\J ֆu4>fJ]5O8qB+йNҳ_B>RՀ)t> ԹW]Äy#dXDTwL֧2/NYA: ]βQL-΃w~[ӆp4X SON`Ω~νyQ6USᰂu;ATҲtn]jID*A&]eN[ ՗^&\Ch5֎oN |Cf'jvsvU69k#ΔgNcB/GFJtGTt"[?< [wgis ؉yWKMA£ h|(gd'z\mmD }g75f9 hPJkj e1+ܣ%x*wII!a@"Iz5DW*~r~ΨC8Z[PNcIg?6<-u6dWu $SW ^iq'1,s̲1;#S+y@Qك7>0fO-kఫOv&|! [LUƫ)]+Q~E=3)g:t(o4čHj-W8Z`=_(4 OK5'zzcG^ !ޥޱ89N1aU.w*0)^j|2Yӵ'fj8кJo3ƣ! О4)=Zo +tsoj7oyCx>?{8yu曹[[e}^pbǙjP0 Z {^˼,s7dd2UzػFTcRK\ΝB_;XP[ɚ[k49v=lKjeZ6Ŭ_"As]|xg;}.׶A.[뤌C;˄Ċ|/0y#ks8h3ݓ'so&Ll(4[v$2KA[8790";&okZ;e#QɯNX%CMĸ^"ĉY:uH%~ٯ GVN3g S`2!7=0$܋E[ ~r!kl6,!4ĺx%M|W.Z #|8ͼw6{=$fa׻}C-"@'4F,C>RdԢ3 څ<Kj ;*AO?;1!AB!_kZU$#jp}J썌oMDgt/g!^Gz2g%|.j]!iTӅ|j.| P5V3 HY! I" !Šu=zHA)$.-,kK2۔hُ/"v~ % \(SIf:.&Woh=7{u"I8IXcJjEz1ݨ y-q_͊oOokn/S+UۨQ'ڬsa^DlCxѷn. VKe2)09ΓimnU]<,U.TX&AZg1KN֤%"9RB9y$EaStlH< Ug `:;Gd=Ei_]vm>6Q1T9!fNs$Cص\u 4 ܊*e&O/^+:$FҀE"D qr2h+rM +E'cu _VUE.JOij ^˳$F8`0ύQ>x\װ.4yz6g7(-^!ke9~Y0 6ph6 ]00Coun>,ҭR妝rzXHVsbLeM.~5 s6NWUzoe,s,ri "e4y'9l3Љݺo!K䙖,HD?_BkT.B_ *iE\ Vt'㽧+(ףtD9G:QRIO( 5^it7d.<]oLSN$[xKݹyZ1 BOX&!-dMvzDoL|kJ-0EyG3J؂H:<EBf+sC̖!W(л\" ~Tb1In a}\,-]0(Sy!$ˇP@ ;49` |)s7zQ.͒0 C(SQ"[ ILiu/ vjw f~AKTr:U"9nf`@J\2販L I€0&? 9Ld&]&d-[!Wbrr3٥KZ1ݣʖw.ɜ֮ .e Jnr=ڥ=_-7#X}2 &G(Jq+s/[|^-0CtB^!v@8ATD7Q'~޻7s*-{EΑ$EyP}7Ծw 6el@ypwF*0z >2x"pqrXcl.G84*#TNx0;]sсd.Oa,[#2\f1^n-.axOEd/ii>" ]X)Ԑ0Tߝ"$xSI_ ACY5;8ĴKX )1M9·v$ׂx:.U'k qJ{"~"y8/ @}[hzʷ`W4֦%(`7Hօ,r2AO]ĉ?^.eDirQ|NER_@,/׈]7 [JڿysCK@ScLrd͓I.(t @^_,ul5Y=/yKcR|>Xf$oj YdwQ0cy],-r޾d1YYVa֨&}w8g- Ku? ,AB! @ )A޲|*HY49I4k]īG $ Rg({6ݾ4tnԹM!ѾCϧ{ՀqӐ:᪘1# ~ x9?j\gќ0u{ggZ 8,A]U=2b5 GQΨ\(aPlY C{J}}G^pB .ƤMKo-zT< 6 5 >u'"0p‹gkbb~<\%~7W!T7@f`woaJoF!Jwhhu4-=t&3B״{EBjֻ|=eW OZ 1$ԝj.E&v@ln x mJwn\tW_!{l gqQF[!뱻_,l{;^e]v9jFpv ;BY SEI[I o5~2m+*s?!~ F^R{pZH:!/rYa5dN_ZNؒhmӉG%\ A֩8ijc$6UC"j.C{xsYf#u؃Ep*Pq9Nvxp1y5Q0TQ6Hdvhoa]C,u~l7v:y:sri(Zч@o]IF]v#[ h(!$:JrsOs%kӫa\L9;H{xh}r'۷#$b"Cgk-gϭ@QTRdhvtx!gu5[Βy b^ML"*&t~? i8#LVsn,Kb})TKc z+ HG y8)|AǪ՞ 4Z]13sMbvd4;K:QU[ϣb>S?q*Ck'a 8(!lT;{!QfЅ>׾`h-zhE^C͟#JSBXw@9w=>h4/oƮAm W:9a57tg+&CD ʕ !Ye^R$a\+ @+`^¥[>2%76m՛_C#XeO7TX㠢` ގt&gA>,D)[t< ]S$hޒ--7~XZǮ-aq.mO ^~ROao}a$- !}6ﶣT.IՂ{]}[7WZyJYYb3[f)GS `aht9DcbfO199 ='0ܵq$1`BPĤqN,8:8mp➋[+OZ ,d e8T?i Q ,Ob]BS^:ǀ<(N0**US$U[1"-#>XJ\vNb aaxbnf9$,('Ϡ 1Rq",/5sjV3K3=8IRm  κv %,MWTJm"KEfxt/WP z<k9Md+TK \5EOcfk%\¢;( ad5Ck7"sW\8 jJ7Ψ=Cޤ~#K Ui',@Qy٤2ggjD%M1'2bo싁ѴXm-VsF1Z4 Su  wv,MӧR6+Ѿ?pԯ'w0an.%#HMTi`!D4w壡*%2.?9wJҠcŎ6=cK|b,>e]3*XY3F-S`Lf(S7k|TL|z{?b'@ i"=:eG/V}vOj'R-Wq|J׾ak4hC.0ZC|_#d}MULÍUDYOc2;h&%x Uͯ6Hv_d{Zr0d=|Um۴G̩Imrw5/!R\)4ƫHQ~ ]DJ*nQ'h)qB|5ttq ˼Es]B1}Z!%Vzp#-|s`_l'A)vԸʲ ӓ~/Z})oWB'vn_/Y)=J |4^[2^t6$h{ \ {lD^'gWL,tT]M/1Q=RYNXȺ3& *ޮnu EK6tfbsGnH{fI}"&`2 qGwYn]o[ _D_in5 Iy\o0J0V)[eXzUn_zɛu!]j`B J|@OB%@SUR i3*M)1=Dx$nJ_') ίN N7/CC˯lZ,! jt1f 9nai9Ń@\?u7R=D \0=T3dTmMm\*O*k0(,LjEE6*=ܪ _F`3ZH RTg4СR'c"YʁQFPM@Z+ʱ,åO`!V^{wKowEz*DF.cbx]\|`7߼ڕaŽ)2ơ#RPn ePLhBH)j#E7$v)ͷM3 Ɯ*,1#(@,G$1^ Z#'iyن_z%N}zAX uZ[ eKrJf_2#o#a箦"oy0vr9(# N|JnuIAnM(= UVda8^^DGЂvpٔ|%0TCI[hpP%MϘ*dʌ WXqHg2i W%aOWD&{ յ >88U|odh5,ؓKXoa^uPԕb.kBH*6vmѿWZV]'rfݒ(I0kLwPRnS+zc7*aDyP?i̬j:.ڇV \M- *Oȫ7f%4s_ʥmyD_W3ߝx9 Й8J3ݑXi\k&`1t}NS-p(t1)7s4.l[a.p|ٜ^X!Q׃ZNU+ M< GX9&;n&2W--iۍh>vg>}it-xo6Kg wG(%GO@c* fIkNeld?|r1"k-]dc;!ԿY53URf9}âZ\{toXv:ԔZ:_.7pޱTP4-M >J %Y _Bfm4znf U4 SWwZMuͳ ;T^-7fߋK& ^I8Uf*HSٲ|XZ>@ޏ7>y'v&Uk@_W.V9-kXZؤ$QQ`Op*†9okFwG]x7Xz!K%,ٌY?BstTvi~?e!AhgVId [[B\˪OyJ;e unj )!KQe c'_O3Źlļ2;k4ok)m;1˛P9WGh֊D3{QЅ|\&(:W^_\53ɮMgr7nc$=F(=mLy )6Ė3mS*J5ME S/,W4tGny"p *s1IBZtkM/(Kv6JH `p{jg-W/#ԏ@QgMK1(G$AeoC-VFՎ/rfi3٦71]r@f 3\%&]#:&j'gtP|Wמ4+N&ݚi2Qy5Gft^+j귛rb^i1rׂXqB Ă1/kǙ'Dig݀+e8YQ&'7㥪H'܈(5!VWMh(S%Ct`p{6^FCh~fv}P o!lU"4 VW\oY\7 @A!>}W.}+`1.WU\{%'ĝ@4z=r#"n,^_}BCJ2*JlW JM Qi3KlamV\M7q9BЧwy@IPŅKǔ䓖!-%,-j[Qv0rU kC],+NI%ߣ7!o(kb 8y$WMH8y+zX((2B8+, !h-lEfbo%ApSŬRӡ &2w$)<"=4!p5rvЍiVv)dG.Q zSN}Y)kI ch~7%=ctmrj\5yźPFB?8; pT;c ȮZ5m#砫=)y {I w`!`xc&:Z0W^8sb=4Kf냋6V%kx\2<^)2SyP5*n&4F9HFq0,OD'&̆;th}q+:+ \ly-6( s?vslj!msh\dӀRݐ0\%FfOLP#I. Jlꑹ$l^RWވ_rЂT\rtɲ5i4]vlʇuTz: S^@y&@?-P93|./a %q%_8.Bxx0ks-/ ߸`w?E< kC|MP˔m}+O1:IDcdoIZ%C0+{q( P2pe hǏ|݄;Ǔ]P]m6fa&b5 {%;7QpWe4R" L_ ,DدIr H #HaqeW܎:gh%KGg=eDK*Vm"+l6L @Icf}S{9穵*z|I񇨉%k|1gX,ʐzz#5uj~>0iHHd|8 4 2*(ڂi_c ~n;PÜP}Ȉ]"?mJsݥ*WatT>߻0bq]٦^PCRՠ^8ʘ u%M4j4ǐa -nd|7J+Wh:)PH R_LC͵Xp6$!PKWd|6--t?I5 ]?S7ɖHC|ao'OִEՄxl5fW|}=ޛnl+W澕x=ϬO@z. \ 6s i; "pf7GTs<%ĄwsMEkJ3cPlM ") 5n+vyY御lv)5+OV.\te? Lc3|iq8xN&®E M2O,&/7 )Nȹ,0\#Ɔ(){Ε\=!\D5U±wîw .V_#2{4 \J.DdC0DgYZ  9G# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! X]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H xjsX*J6lzogA.Gƃx7Yׄ~㦃= tnEmDA9,ݪ(R>q  :rc}-0f$7cGB:}lYkVaIMS|6=̜)h<'Zѵ|9%i™f횺ù9M۾3gmbU=V f)b.Ǻfscw]3A 6[/W-TR/=׺& ~A'i9Q"R6!C}J,(w}/AE :m*#_VTD4#:_>GO!we&!qoxبiN4.h54\<;:BENHTUR'UaU$wȫG('}r1Fvysd60uS< RH%1ۧyxFLSR-ܰ/d8UThy3$y{y7l*gذLzYAAOPlz3rWm"d9% *rT 8[tGHɽ{;2\ߙY_pMb $4!t$>9o޺K˭!˗ȴ\|D/8!cqH6[m?Y0ݡHApdtKcr'nŸ9Fyb IdK!*Z> -1@N$LD?`_j*><:q( UfnV׽{Z˅b}_Fשp͵Tn]NҤmí3)vq0l ߷{'>Є qi17:D3U&E uc&2;[w ?ג;+Dr*&MaBd{2>~TUWT<7(>kcGKYƠ8nѿ/ 9fFgL4wK 7];D!-3*7\r;RF7Sީem^yq-B(zc1qu#+%Oj  # DP%"6QRW%')v9}}xa\aN^L{mISw8 ?=:M ? > gË#_YHj*Q`IOtk oRW/7IupdݺeyBL׌+^9ݬnɞQ$V15KN 9CR#I dmQMӑVG뭥hĐ"̗A󫟷Go+q35Ơ%0ļ e9>f83`ǿj  O^9K' 4HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪚]D?7 {?:fH\xI9ѻ<-zyly0S= yX 2j$х|f&sW,dvܼ?>ai$tZ< 11<ٞČ(Cv3a?vaSr29/#6+l 4)DAx1%trg?JOn#yB:.2Sa(7#'N3ܪi$ t~"! >b6˵EPv;}m(dξ/e[fB/Pq{;KWX#ym2gx&"þ1D>(?2+%a.B*z_+{5'!6'+=:gddNgr:dzl1oX6"h֐v+S (? :<Ϯͨ*WpϬ]J?kvMxS|F#D X\fFLA]cںMyY|)|-aG&.Oh99Tz1."/WO W<C4}6vh; ̿hAѝ)c[a wfa 9K# +}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~)R#ggvMu(xeze1rxG$[">>I?]8xxELF}]5{an+u}{r8-(u_#^xM| zAbO=D_8Ȉu) ;j/N4+65G\=bw 9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO 9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id520d 9G' DHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ig\]Άxʆ5.f-9 rq?!A5:85 ܏@/5c bhʼ2{V7 Xz1ܯ%c]a|k;$505'n)-׎t-+&RD#5"t& x } d"]@nfFرIQ+\ڑh7ukfO~aҘG Owrm!jYuCQ5JF6e+_8@M?6R8 g+AOwwLdW,!yx+]"SUL1@]o,fѯ8IJz\LdZ?[Crlv.3$bTPǛc ,.iu~dq1 v~O&GmVZ)aF`N$v͝؊}G>o/WQfjmE HyT-_ llY#DVW*Nܬ@*2W,!ް9{ ?98գBճϮ2,sA#'pQz|ҩx]˂ˌRt3GfrNQ[o1T۷bq Pû2V 31BBEzUa]cCL7@Ac,CVD.xP\ِ.٭a] c6NƜB[eؠ{`A~=]B2_Jc(k(Lӱѿ4#@dt9GnU%WI"$BJp nyIŸilX\' b,Z7^A3U']rcP-Rӓk+'pa洋! oWf ڼD07~Sl(?9?u~zoϕ,=0wSvU~v=05ˍ2bQپH"QldmFRg]ceTmGfτr`;~2j%MRSBD2iR&φf5K261*k30]({ʛ \V<4) P~-%{cSGP)[V[X_N{Oؼ+)ӏG5Pa?=& !Yݶ2"Kj;fcOװ b{fDO?& ѣ/@*HC:W"\L\ 6Ev3D+T&uǐ\a=cx:7Nm,J.I6 JƜlsdu Dly:w+CW/~}#"[Z z1#V{zKCIm8Edc6CDCrب DGӑu<dM@޾sA˄KːE50uT]x1Slcl/8{Qz7EܬqH-9bt"jf*ێ?BHaywEM 8E{oɓ~حI<_\aӦsORgD3x!}" 2^|F1mxyhVU1G˯d,|h-Hy%%bMZdhxȘVR#֎}x4M-,0O[lW/X0Ce x&Lv]Mܒz0s=׍.V6}x%+~Ty0ņY{N %~58C:D~LQy~yϷ٬| C3XLhD>ް`YC*?CEЎ`@T!A(΅.pCt&%;T&㯆u~0)] ޣ~RL4棳s| eYy;WN󱷟@05W7m>0x>F}=ɪ" Uhشt4T)үu7.Q;+6&+[ jqC/H@M1Q}ymqd?D2MC@R)NԶHP啦˨~jJGw9Y-s/c׷CI@i=8D!]K$)3}1MbQy 74B_nO,'-5*Qkо}Fvw' 7?e :k!`8-w #44Ñی̍S$^mqB2fykODžli*h q?44"@H[I^ ~^LCj̇;9{FbF}2ϻ^h\ >-etw #F㜏`E`~lRMu9ۢV ttJs/ ~Jy*fχ[3,$68Ran--F;ơn8#Gy0U jqNlzOzW8wuGm7BQpfF:}cxi1*w wH/D7ݷhؿ52-0ďqZ=q-kw٣^w1 h+ !/c֛0b1W(d%rtDfz7ڢ&KV\2䭵߇Z{WoĿs{ovK8W&u~$k7 zo ڻla5+4$0aހGY3S_c"N^Gsvy?njػ!W%FƆ(8$bФLm瓃k GSV )g?ġ[913cY܂Ð+`F*v|OhT3ekl9H#LuCg ӴyɦW-W') P"Dh^i<4Gw1<)?DNΓܻ:BWCpkKˀ;:e t?ws}]R݊kҵQw^H= Ecz'F [XJ^%áQxHZIxr(ϪG?ppbD^`^s*{pٕ  `cqyޒk/QWBJ5&ۮNZȭ둭 '^ ͼd`]G !X+?7y('ggC>4UIdNƆuc[\ A '5E;'HӇ3iw b.N,(* -NGq{(c(2)"bN{~ޱC+rXr%":KG;'u{.N Cߚl6Fw{ !h:023_W+s^휍{OcxR؈fHRz7Y(V!B4D-\[bߚWY֐q0R/jF^!:v8cIpCF\-aGW{Ư{Y|odUx2fgrኂ4wTG y#pPSϠCd¤J5Wս4?6])Ї-!&ښ?x+ŶׂS!JB8\$&TwRs@;nAļFY2\,jNUK;L 3=@&v )SKzcrSE'[fzUy_y/ 3wYꇧ)`.&ɀnC~鼻͢9A!TNAFwmaKXģ2gxI9籸ȥ"-"pW^=e\y8u%pf\{pEQF? 3;!kZR=J} V;de#q7K!+NCc`i)"gSq&&48%mBRVDZr1XҔbc_K znǑ<1Xm5)ma$1 QXE8g ޣ&aqH]p^ >  A@1Ɩx3WqkNJxE>Y@U:Es+-7D㚫$ V8>b ( 9}dȠ%smSlg΄|K/tfs )I xGB7MS‡Y\R\Z*M^Bx} [Mfg 8BX[,3;0?U>d>>Htv4SĻlpx 9?JH"` OkCW&,2yn K'Rׂ*0Ӡ9A2^,Fxm zyh̖x{ i/?&nq4U ѡt#ѯo"_e(Z ⾆4d{ Vg( Ah>4e~îĦV-Apa-CTsCe} 8CfjB.6C)8sF  8Ի.q}l-=&j!8{J7kROS!x[3 %#@M){!-ߚPbɏ\430T-@5|Ysa+`N%Cq#Z , >>b;=[oi`q52S )ujD´ԄlO.EmL_&:`{V Vm;vo;-)K2ynڱp֒~0(; =PxMn!/uj</ x`D͟GƩO'An`)R Jni6%]{F~R-J7I js&3Z%mR:6VIf5Y9~mC-Ӏ_ˁ'PAȩ_lj!zbD*uVp+Y#mPG:KQ^V 4p_3I"ZAU~6MD!KNňn{yE;phWa؀-쎓pLfkMG+,ƉQNBqݑ^D/Y@+4;'.K(lO}%8=zD r>/Cv٧Xu -ymJ >hݻC^f [?ښZ!M~RA1e6;p/dE 6UՂQ־ X!ݙ-\i;8_vn|EO=ц3-rgZ%@π?A4-X`]'Y<[˴n{^#YN $:J)剂o[Ñs.3]?#UAj=]N/n 1rZŃή]@_P3shYt~_fr\-(|;qNnb#"zl O*$T0ˁEu^>+Fzwƥ_#:k*SIqDQbIE$ޥTZU??i5ql$,\0͊8ն!dUrrZ:7!W0J\eʫ):Ƒ0wXىlH *og^4۴kLHV&P zQ.ӳƅ姒) 0cR }K]]LYPņJAgx9:-ǾAHog U>UxD$uiJbR hmt(^tê=;4UVܢZl'ת4 F@lcI~2; =RNFu0ӿ]66t"cRB4X..rQ˻7'U]h%j-(؃༔`#r"& \BnۭQYc^Ѵ< i)J[pڤoXCwY3vjc&[2bƃ7H=:u /)n$R!&B7F*.Q&٫g5 LtE}zE_{W39ƇȖظ ]o_cS)Vṵ̏k u{8wbwK) 9DEvLnj+2ٽIY ʙ1B-MmGG[:;r7[# VG2g i'6iAj|~Dz5 +k w8|V"s׏Y^{4ޔ`3YXvgFFH ץqN rP4*}gpJD-TPڶ!7{RAKR3?AS.eSW4 3;µj~̮ڏk)`~̳oerA1`aoU+&v7!@ pFfYifpͪryq7͑^L. { tZŭU; ]ET7b;;(k αC'SuP`^VAfޒ=|%vo :f-YfQ6=1$ V :mkwǂK}}.`kѪ}]JRNs3B!`9^4kpuWBEon՛ygy5aY#ZƠٚʼMeve_ڧUHo"75ܐY=;YWr 9'Gpr|[?"1']]uiC$eNP/-1[9 V/S <[R(Szjڃ[;TUv|@uWc!?cBԧ ß$,[>:n+YZdܟܖ+\Qb*;Ag_5N yTe{FΤNǬ(k* l'epA`H@/GɲKſ+5Y׀u J\@`Y(B&Y5 _CRm3V7C:g/T?p _%o2W{=N)SŶXWIZ@!Û iꉷ>|)hh1}MtY l_wC i.,pi +^xʲVeAAb،X `Fܕ+݌;FjnnV!ίצxT ^ 43C3rh? ] 13xD8[m}D6fdBXifThV;Z2 G %8v2&7FdM“m3ROτfl_(5JOM~\\}2L50#ږx2nKs4q# Bܶm7\yv-Et OJN|tD*FM$}CFN |gHh¸"B}ؘǝ[ش kGpmKSe./k\yszOEܱ'LF1[JC.\?IbB+Akw y߲*]LK놈V>bm;:f>ceG:uX;lLpLXFcg}HilQ8Q^Q)U/<߱2y|1%*$BgW quoU>NR`TIi%r@vFԓ 1uWM :vKVE">s䜋ێ? / @%^ hBnŔhe!6· Q0Ԟ,^ {hEخrv5 ̾=3[qہMI- +) uɭ1Y^=&Ni4(Ӷޅb}0;1!F2H25 Qr)Y-HJƦ3[P^:~>+}9m9ٰڐ-\_*)LdȈ9T[9jDuA(9ct{`nqb;>8TfR %WwŽLF*ns+I0j:Wz[ىm)8j`YD ᔣ$nn\BG%[HxԷMqvT0zYZ9qSӢDtFTaBU0s^L*Vpbi$q̡Vɴ@\}a2 \6n[V|uz>sծg&9kza BDwlX+@rq$5AA[؀J4A5&*'/SѪ0B, ~vy6]&<馢d;h܅;SB'ɜtUpJD4R%>{fŧZlqz_/CncǕ5N&wb|w b"ti ٭JPr$6MƞS> /RxO a57t>nNq>|\ >㍶,  ЖY6(EP-P}qWh q4 b/6T<3w5VA ۼfoѐŘ2Dq#r.oGH7/1SP#Ip7HvyzەԚ(*W>./;9p[mD>e|!ub1p%ϔUJ:َ\u-;k<4@hSmGMLp8]SԂtݛbۭ; wY~7q @ocIhx)F/uJ1bEh\.ξ(to&z)k(O{|tYVPq_B>8h, U3@ej{|wF)uUU<egNG!7//ИLn% B)݃RjRjTPݱag D܄x+#QoJ&IPR85`=$ikdަ}oyi4Jsk*,bz1w_u3,ԣaHMT? |iIP@9|Q+AN0DIƏ1IGo;`tG]綩ir—1{S9D_ۣ b X)1nJe]?YGzBPy|5+\7mr*p'az޳d"FX~ )윯dUI]B0`?d1Q\)+.}vI%iI\{}*8 Y&ooWlGu3 PKnEIrܖ37Lή,2QE'(IYf^[5cд`+;>yn<̥ *plN}u뒘޹3ӭR@BNO&Ji6~ Zk6l= tȕ!ƽ-FXXf~]Vnǿ~\k[g.i+GEnSfWBgo"=+L\sBB Z̻A7xY-kC*4$&OkBj!t7S jcrh|Vg LBl0=Qݐ+?Ѧ)ϭ:},:w󨹅XS+w֒*T=bs3 p`~0SJ"?Zly6j [YRIiX 4 2&pAz|NQ;w5K|mc^Q(vgez}m'귳 /BVwVB@PN) ,0ٛ1prZTI).Qڨȋ0) B-\|fSȑ;?dE!n T# ..i)=kEXSM8̺33Ғ^6ȍ}uo6X$:˰txsծXdC? :ٽ久.Ly({ޤ҉..wC tjx깉lw lgW7lTA%@ahb"O gRtAuf !6CVƈyչ.$`*ol(أ 陿R)ؤpM#;aI5rX($%z<\M9 N!I48o.؟֫~ӥ֤Ad#b89,5d@!P7f-Q{6㋿О4l1B%U懿5mgQI"s{ 8>욤wCm'iyC, F6Zьt'7 Q $ ur|m^]dLjx$4P!Q:>PsČ_hCjXT:do/2Umv0%n%ny _z4]G-R>켰ClHT[m5cf>ǹ.AdW4@;/g#e=xN~['8y<ŤTvǀl^sP]uD~%-wrPvyw'Txo&Q߂W+Rh\Gpձy%8>V27R HkBBHpWᇪIS~1]n: ]IPzW.Ս;Peů^<@S¦pɵ]m)`DC搂sp«D ãz>ooڣAH\tB~Ck]T(Jtzág֗Nb~$!^ڲ:@ 7ÎH~T8BpuUx NrC@ы]u8F>̧=?'؈h~aѿ^KYKyʟos(FlB210E~ZLC*&avL=\7'ku"pRuخۄ/4yjS؄ʤ͸ڦa{P (w\@". UКiyYea[43ҍ-hk' MBؗha)!~a3#|2V)Z mwypr5h⎱ԐGLe46Z[]dr]wfubY'l':#>";<19 xs'e<] Ħ3I5B!;;P#Q{Y o.$Q"D q JP zӤwRտ -E=lC}(':+ď~/˯ߙ? jw",K^{՗:<}Zw6 >/xEpV$g]M8UU J,EI%I0@s܌g~mPӛƅŜI{e xY0G Ȕ+쌤ЄCG~)Tvz%pI X+k㕛8 ٸe7iF5Kp]&g oB s ='?}Uf]dRw *L+)F5(].i|pvN{tqmF}^;v2ۅ[UhMR9-76dRi/˥WIY݊qWtG?/y꙰BtZcAjb {7-ytXx s$IS;ӓ wV+걲|&v5Ǯ66@MBHq{j`m@/ܝ @Տn !H ,ٞbuY|n;R{yҼ<\x$VTmWp`@]6dU}(0 wȜƷ..H i@Dv됒* 4h8*l:Yύ"#%37 HOYpA  4w($}V# ;» ^: +ɓHĭ>NO,.K5XKd<6(jdN'U#kExk=~Ւ?eyW j>@ǼN_1/q 1m l>] lGNcJXCC"PF NesK4GpCAD#{u'NjlGb殗t؛։)ؾ]'s,$66 c`Q~eBmELMycw";_Lҥw]fVи,1;TqOWv<ҋr6/`͟mM!kw6Cړ;!A8!AI=>WrF?Sd0ww'򅘷g քR;#ڬqym 0cff5/p]` kusN s0:wkX;shݧ#~D; %ojy+Wbү{m4Bpq6 nk/[&k("[RWL@W u3c |4v ŀiدҠ)ҡO&Jj]l̀;% R+h }Tk<<-CۓUȕ((: ߨx$s(=޵Ɲ͍H "@{^ʳE3a oBS,Lmie!nsRNprkNB-3hp*ΊHCH9Yk?)(E]o:38L YzԾ&5wl!Fi:wGW/{@qs9$s Wq2qbZQkޓ]{˪}(OO#a7! ޷,DeSK:33CG?3†A1EqѾZ ܤ[O>#_iv#v23&hCi2p(ڟ`\"6xޚ `!Y%S9UnөSArFvcdvm3mݸ aA#m4B ,cpxi0Lʧ:dxFobmM=AwpA~<ݨ(9d=XL1QQ@OoU'ot A ØG( ZIxY2}&y  8rxEƼ{Qn/˰ن,R>Y kpCbλX B:$l2"G';ɖQq Zi"H/tN+7hΨTes)m.!FsI)CL;Ùb,5~Jk0{Y$/HyiR#$ʡ} FdR\: O,NZ {Y# Ӯ wEf6q(K`+Z9͒z'VTFdirH&pt u(3ڞX[O3SѸhy+C=t|kҴ6,Dъdp6@lN;_YesÁhW*D & 0r2^tS1WMɦ7淐@`x֎$3ow8rQwؐTNmAтli^wxdgss;| b /MPc*!5V&]qL`SUmj"6!3@ADﲒ!Uwa9Oз5 DӐ{+ف*P(I;T.TY«g\\ _|vvqnX\U1[rǟ?R k `ZnĉL3ؐh0Dz ǻ{rhL򻩙CpP$?7-HDt=ZQ蚶ᚊ*eůPcMf<(z5Ho=YRs9JXxQ4aV }k.O$G"3Tw3C ˲:K.\LF!78Ė._?ބ<(`{ٳ"z:w eD1V|g LA]i c6H5xX[Oa ޹E1^9 q9UF^'vxd~D*RZv3Zo{~" eL'(ύHcd˰Dغ'":~f B?\/W@1Gf/A'ہ,DɩN$HשּYFE?Ps.chTRNtTD Hb @u<Ɠk[NNzȶs#9y-h-\8;em;0Xm؈NJl=3*0 }> -b}>`T ^N”vޥfzzo!ܧp|[nUe]q%v.7),1C̺;RE"[>#. oz6pNM0Ci?S[, E7b:~-:/dfn+0 ^C!={aۘ6-vS|j%">\; ҙ_?eѝ"[cy.^FurzBz6'J7KNNċ+pSU7V|K_MCJU??SY-w QXSq.k]Q-k*֡L\> p -.kZѓ~'.wKC7ZsZ#6s8mV5.a V rm3CvjۖBQ7wrdhsuNUcS2-bW3SV5n|EdurW_Ғ94|J?V:Q&oI=}@Ȍ3yZi0VaJD"?9xa0 SX*rJ ?+3`:<T we؍Xe'"#wimZX 9UY .iDӹIdbQXȠ_\rUbE6 !{M' oVyMWF5Ǵ \@$pg߮%CYt+_ l0jz[/t{IT;9(K.A@DMoj|쌌 Q;p]t FGfۗ"0#TQ^zelȚB*y!eSTٷZ>^){i",>4hYB,e]^t$SXՍG,M%B7K[Ej6N6ފI|U:+;iI948o2C|?9qGpr@^ =$֣׼8scgh@7V9f.lQ&!,?eK~FhLi))Fs]iw^Ern&g4y*&[dt^۪z8ƇXjwS 6wMksꯜ&Kq%(Pmڸ3ȳhԶf(A:;qIqc! E_.b#/'Fg}-쥋Rl)w69*{HEAp'.N k8͖x䇧Rd#;Y׾X.GHV2x2iT!qǪ想b+0ɚ|(lL%M|M9"<74)<ȸ0iΕD{%Pa_0g`v<7^J8qL\Ñ7_3e^ /?nhW"a̝:2(J15޾ . +uqO12{E7HQ,ggȐkJN?f\I+UƯz% t!9pdcY^jk&?m~j[۲Pӡ[VL\B XN pK>N9+ŽeZVRPLmf7MrsKg FW32;#g$n;,.:dk&yаJLdhxʵ":>r e🆣8/w@wL"ũas*(Qݣl E$ww檥]l;ׁ|@] cOEC!8DGOm&-,s3ػ6*!eG 08;gxg̣f\["60 K_輔;o|ZG/^xU6:Ilb&q˾ϑjm%LU䫍;-n|Gx^w60MDWqH/ky (,]Bt6/vDu+-"i4MWiوSuD(, ɪY@K;b{u.-k:f A=0 ᗁ)gܸ`"."̀Oz*AEy:#}'4߸N5dbٛ?D :5?V*rOsuӇ|D9c l} X)^ǕD,=3o Jive[[}ëW1 R;({C+G\EY;Гvk$󐱝:~rCUv&96m밉ؗ|USd{٧Qplz9݇S^>]xuB8iGLi\XY&Q6TjIyjlMX/[`yB;YWHZ(iu[^XIT+ރ'Ъp +u6_Ϳaޔ鞘JgbMtѳO~@PjaWޮhE9O>Z@i P h[oǎZ˪.7UϒzUpʷhz$@ԙ4ܸAL]. z }egVJB"֌n( v * ~>@M2zcZ|1x?5OtT!< n{jML}Qc2v't)4X[۽[F9ϳ%/]K/v *g j2*)~ig_SjyDf&4_S]{Y{%9P //ڃ|)ĺXt^WQkk%m)0oRg ۻ-!ov5-öAqsb&c5Ahxi%ܨk*ɀvcFR|Y;gqƣ=`m b>Gǹ;y:M{ud & @#($QUG{D!3@ !lB ӬO`PEDq#ݔW * D}O#ҷE2 zj 7@iN<rmҥePJ bB9, 2r-3#z(~cvuᘝ瓽CT#Y{GS&ൡ^4'TomRCd.LJzDzNB0`9Xis}K@-'Kbr!4,v#p #Gݪɱ\/W#@6x >'"tǛŽͭ^FKo f: 9;H yR*NHYn~+8D UJo t =E]T1w˞*Xͽp</E!Sc珫B !e唆ML K \v/;HM6rJ1x{P9oX db̌PYM{u:E"82b նXW˥lBMF>X6'tybO *קdh+jzbJ8Za=:e$Wa%-;CxD:r s-m`L<b׬yz#1>R7&]նNKUMUuH=#>IJ-dI-+FQ?tl=W߲8qmd9s131?4bB[ kIxcF!CX&vF՗Ց&xXӵD;ayHt.L )Dzb'W }/2 ڎ'-j=/곷_hc2+={^w?9 J15`vsP|hae`d"!z -U+BqevbFt'yx L!hRhcsrIsMM*= GZ(բ0)?]oi5 D>@TJE 6e'œ$'7@n;!\X#R ϋ O<=}\S_y"d1<>g7:̜\h({HLs_X׈\~MIIRPi"0ׁҭNrO\YU[݄W<. Wmkc^ Z4QE +hC1WQD4~C3%j|,G[h53UaQRu5u\P|B0&fDT}wM.5apu%vMbinahPēH%MU0K \' 2$O+L,.C"٢>17)*L}q`"WE|Lm$5.߃RSdĿ٩d}P]Q} 2\ ͉"|wp sH*DvOyT-c>wXeP^UFvй9=S!{3p/=*4Ba@Ç,d)DQeiS6D9>\N/]HjSe}Ʉ QdZ_*Qa Qþm>mF>W0ss;%rO*lXn E TIe> `hJ\QA%WޥMv f@b ]_.J%I@pLJR8ܽ*x1ќ*dḦ $#ZWmjrlCy>%VP!!cg s"L" r۫.xj4^#xy[82[fv׼8ЦG)Hi0Gm[O !i6 xl 9Fh򙪵3i.P @<JXN35ú%-ܫP 2D1W[[wH8:ŖXO'<44itDݤm#P g|Y[+йx:ۖD4:awj^l4Fw/T'Z$CO-Ǖn)몞vd֠>p0͂3ݭ^&"@RHgL~b`;kvW-0߾ߛ1*‰"ue5{5XeJ}D*Ȝ2И#մJ3KU6im(TX}d8_V]*xI-m:oϛ"&u9/)/enu=JWыqS$xDcB <Rp (Moy?Od`px[5d^Ҥ~>dTQltɇJ՘]vU2<~<0evd )K <4dM$#2Q]Ι9KV@ʱuS7xk"X1MMMOSWΠK܄oFHW`Fgw)6T|# ԉ!:-8HT:$#C8*ʃΐ(2z;F]si+'>FRqFŸrڑx,Q,~jmQv~V n*U/ò>r hv765/7J6Lxi!|j'bDUǽ]uf(jt`<,:&Y?hfˀC̔`ʴeuVT 2-JLJc:$bb<%NǯRo1M:tF?-gG^(Zmu#>їLqKoF2$%Aeo`3Q)/u^}o4:7A=8"v%V9g@kv7GY>>RqvHD{HhY:[Ytgz0o L_AZ@=B }0e\K̗ޙYN j;hۚ?|NCT 꿧+6u? ؞10[.FK|7#ȧ8/\oc ƉA `}QR:06ɬ|N7}(ԈLfς ܁>p(O/?]\SAZ>4a~~*|-k?}5q !5i8(X:dbjt ﱖ9q"UNY/Zcg)):AJ3r"67N/[S` N "Ԁ\ uR 1oe)zy  K?: TtEj͖ fJ=+1%_?s]8xbƚ]gAIa) A'XG,jRZ-£,r1v~2)_ “~bv'Ł9/-SH H"6Ka\sȅ d7LqLqmbyԬc=1"uV+0 Ѳ\CB˘ϫ]UN"c/ɯʫ5]$j@" 2|PסRcR@ka3$7| d* B:VaIglXί4qhԳ81 `94dR,Y'ЄzV4K -$J˜qܸaA#|^+;w=2c!D0IHp3ccj%E #]+ȏNutyzX0e8BA{~#k萩ux8@zNXTef͡."42CNEGpQ͇> R)eU #9镨}'$G!]HGKj&^@h(.o9>I=܈RK%na*gv|6h;p?<˿\;eRKgѱgYZ[31ұMs[iMӲ3BulpCQï>;fΆOHx&sϭCudO9&Q%mQ *&! ppR%,T6ť)Is+E*TOl4b?<,00Zc &5dW}>zYJ ]FH8jv \pgA |2K1 r}DZ1%s߮8h$ 8jsL qk^} Y'N+^D%RLJ4c4e6O%(\&BlF4ZPn)ņ\m=n_Jhܴ뜺W6W|"8!y9ǚʈ{|]?eNӥZj*%*Tz*vQ.aȋn9 b*`WR/d'k l?6|7A\^t0BF>16+fJISwQa_r\q銖^!sN]G j9_ߝ:2뇎I|J,Z5%Z+sY-vC-^)垑z҉?V$!AYm$cF4 c;Nd.r`$zI|}qڷ&*7 ≻A鸙n mceDKu-N8~h>_I@"ʫEHh-Ŭlte f`s/|kB/^nB)N4@Ho;82W9]DA@_ͮђt;z!V$~=)L6~sA\DGu2UCR9ZV<;sD+Uhr*5o``fd /J=kF#d]GE ?VpQtS'B:k**".s1, ;T5d]n' LL[N .i[cICK0z+81H]4ؔL0/7rnðTЄqy>InѴa3H !(bt(1LxLf6LvN)љܩz-ܱ%f8,Fԙ)Wch#2UYެrE@Y1x=zT5}Aa%E*F&\{ޏ;1]YPrK {AOx3O u*SO'խHY2ȯ~EEyL3Ye5dܦ>HAy,5SX#RzV/1E:(sԄ7pO}C)ҵd2?)u`Sy_Zۉ4d  $,sӃAtmڌ}>Pk%< )ܼoohlXB (|,A{lSS4xn/| JS?n!qۖ]Sm r"!+|ltَc$= ΰy%W~Z2 {SmWzߘ9b6[X;7C=jܼ[1X!G&wA\dY`{m-$+9 ,%l|nۇ/,(R g#I6 `\fٸMȔƱWv4~*<"nIQX5hfϾo]/@BgkQyUE+ ?/oeljj^ ?v<$b{ Mb_ZHtis_pdm'srN0nsg$)k‰WHvbWOP$OJF| zdߒp[;'&Yk @ul&Bfl x8x+H,&:m8^Gqik.y/F?#Yr!}P=V'zF.DJ-v =(uwp>cujhyՁ|g.U| L&`F.{$SMi!!G'MIM-˯PKw [o_Z +r͎;3Kffʹ wF*Ѐ%kI ;Tȓ#,a;w|`a#ާN ,>x2c2ƹe t|,w4d(p/@m}&wt9`S8N [{D?K3]8Qm5YuߌzZ oQwmh*)K};#n.ɭEbd6a:9-¬WQ,gmum}XV5U^Oý <|ゆbIj=d xWɑ/zm?SR1]c%O04DN> ԁ|\96/ӦmGj7JJLy<Pm$&& 99E,S]D*MXKzaCB--:(hbR[o6`#L£j^65U`k\Q?y|hl{|9bxQ54ؑ f%X׉pE.4-^ǸBcBqE#\aGb^޳48 y-R\wu> [Pt$sT*ps.hElhʓ{y(yլiZG\ 1+8|x$ {|~F^@Ph2uER=H1@VbU5Zw(sT&Dŭ2|w&5XiD&U׀2˃($ hk AR=dq@Y6NUS\}dz$ 72gYZ%cPS#'i1$&P=;GǙnR| 2u?-âTU_2VFoGHU`~bvXL#x$/(jY#, ϸU>3{e-$/J Jpn-&jT煁_R>caNiWT" [#W\ \" h K<"x2CL3L-hKyᗈ-S<Ɋザ[̙yWؐC Ǘu+T-2:bG/MkSK=:}M+lNϻq:[x) G"Kpz'sPzQ}@%ޢ83Xg"%Ơ֊{?I2rgT4"9"^ (EAD@)H"zWn7 ',F ̵Cř#gtK6tvu AQs?%?&G@IN/ѧ3)X?0}fbHh~/q{:Y)㷘>* bNǺ呚yI ^rcɓ/-N2b>ehl+[9P.SR8|1<{'_g5Yv P99Ii..o/YM=WkpqL9H#"{1gYFbL3χ)ND3հ3O5J/Q[kl7w<vIzR4FXh,4\f$QD2 f_ ; s no&1h/2RDȀ5?AjNad:_MJb3o_@;aJf= :{U}Bj>fL2UtҒO|:f{6Z>F̼/I#>N],] Г{߸#Uzs IOvQ]Etj_,*ehƸfB!ł Q~Ԟq'e_[÷}CCJ/'YU= NCzkޞ-*x|V{YQgM!m>6O# `tB=9O ՛[Cǎ W""?DŇVM)ڊ9V0_FV]ABR5}7jG7,J$(T)YHOv\ԳO''D[1Y?N2_AwrE_-0jiV)bzb[w9ƛpGeFY )YdOg> .z$=D_4[;ODXZ,[7 t ym2K%CIejaoIq𔒫bt- t|Z`^ yaͧ85PB9 囁lWR5b@)[` uxg„"޽|4!Z°kׁw:~*E8v6*^2`9Vq˕(dԳRNjekHXxv#M(+ЙI5Zuyûd76[V {W=JI fFዎG:NSs.^!ˑh`)g`#21}۱AB-8%nYZŷJB!Iz} H/xt*K=[<IBA?tse;j]ZS6g-d_Z&ɶ``d{1ҔNē K8x,w,PC KI,Ӆۼb/uyA,ġ6g2( n/)j4Q&kxy6cG휕S0х6/,F/ WuC[U @8fsu1 q~O_8_8JWur/̡̫2ŭ7_KǴS(e--ϱpلU8%{xY͹ZWQsśhUZ{K^;5Փ_3Z  nW#$wKEI̪!ݏaAVjޢG $邉 !S +jWl7ga&҈}ܕ[$6ѮfP|S w":ֳ`zQ _{lfR5FuzZBѻ 1iߩ kf+qZ%؅ =.NGz.}f֞V1e̿mGYh6 &uN5)P_W93U0 #>r"GN[d=TĐH Z(R%z1Mj 5\_Ӿgɋ~g|LZ9PʊZ~vVrLub/K{_ O5(~5hRiU4$ALєWn![_@w> F2m~H nh4h١V%ҥ#[^6n\0άrHҞpMO<`o 'oL穟 ٽמ[(O!b'M;E}yWIaݕ8ccJ ._$ .KrP[0e(qC}p ;%).Cg~ukR_k#l$"<PGv-H5KuMƙFyTY n:22$sMB Y12\ͥH4uod>&ջfƸSMꘞOjZO.GL<ӣ_3/D@5#_Dsoa #JW#TM9>1i))OicsLc@hsJ7O a%Mț9i\1A"q}9,ͅ>Tz+ Oz;øK0{UN䎂p(T_N*MT2V=# {N8T'' wӍ~;kpXDE]0FY\ݕk)|qSݗ &}5$LiVʑ_.kCcl$.a&'Iky \ڹ5b=;_I%&_N8ERX{iRVb Geݱ_4_Yla|f[Әq wJөuT?(ߞ 伻qrchJBfu1@l 4ٟ~EZJ-bb~SzŠpO͉Ϡ@Ip9*L}lZn]GF/|rsz$OWB]׋|lT~݌ٱ?z>C*DncuL{4+P*pg|a< xzj*E4V-/I*&",a{9B ˓*^,jghEՒ6etqY 8Wag/m2*'D|=EZPNƫ$M!HL;xuw90kcx1y "bsB(^s6Eski7{esaPڑDޔ+uq|bJŝxzl< yMS#}}Ѓ7L+9crQv>2D©xZwNU`k["˄ւaɀ%dk-j;cv\hz,y #yG҉wDXL[c$0SXp(V-IDbD+ՂGNgGi" ^; IFYz(-A[UD4.>Efho?/S^p<(˹Ҏd vNI/F#Ne;I%XgOA+>i}ǃ}4wގFF_,溊 , |k05|ϸDnQ_}_n*;i3RZ9p:Cb5bxDQȩM86WS{7{:1b&,Įǽ$jM!Ќiwd6|)>誆bFrE_X.]32S@8Z:P5b~e$9 -*rY)`6QşY|zr<IxpH3V:dS Z&W8h)-UQӢ`ۙ鯰X)Cv.QYk6 j}HC`ǟ]&2g[foQRx+b;ڃtP於")j%\U.Qb@ʺlTYv鞁!4i2B{=fPz;VE}MQW_;9n <PWaX˼YFiEt3`s(A\I;8 ʛ{'[9EAaM˸];X -RyOޅd\aܶNWDiG:U W{@g\{V"םc2hRgsGo2uL<}>Auȼ6NbG)h> r2F#28vPPga$MϚf'C4n)Rɤ, '}n4>o|yF$vo Wϩ\B}G+93s ɼ "!j\ly|z &z@Ȯ^)nzU3чN,3 c9D /G8,Ne#!$PooP(cBJ=xv'=e|T[`BX­yq9o 8bcd0@c>`ˡTކrC}۵~M?jZD̙t:5XeEHWt^ك׻x &Ӊ󐷀9_ f3;,IR\'+/Yq-J/Lc|ڐPNb7f>Q;DBɹ#j2!T Q==U"oa!0THgVě%^Q 57yvgt#!Yjj7%'Ůp3Ų!7LIVd==CY2kYҽG\gh Kj.OGQ1Pe\o wU CLI e]&f0sZ HtAxSfJGU?b;FrbnTe`/LQ;-G"Jr2K4Vu6w9KPwD^F H;wi[ C͸MP(#Bq: $r"I)qa7$nQ3fqCVq*g,mɇ3Z=`?E!B'FDa6 Zцyy@K,CERmԞo3Id)*EWIZa~-#ھ5ݣ Re{l28՞Zutub^bQZJ{Պ ăw.]M–X"4.l0b8+qXeF* bx>RDƃ.GM5"d0vEZT^Wb35(\50+2 YU3BQ#P5|R76t$/$^3%w@~OL\{ݠq6D 7ƵP^){y7.&t^۰jN?gS^ E)&L|t}d=ť߃{@t eR/Jԇ1ґ 1onΧa0ƫ#WsEj|$De)PhQЗ֩]OBVR1hԎr_B\c4V_ӣ>F.NR-Yd 3FĻ-rGU%M0L{}J |0/jh2O$ G&.҂ : 18ȭdZ!ʕPJS1v3C _WY+u׽yԊ;rSսYM9^2Gft\2a @u $J|%ZSz8w*32|QE#?QsC Ѡ,s5aWr͑O7Bu:IL?[}bxnK;Fq?|d*Q01=Yr ;IS0]8ڶIK4ԃB0lHM+N3Pp6.8;S}ʃG>&Ul ADQzÿϙ^_h_;~e?7<@9&? 8w&0oyPA84S%Xe&;H;I&uM,qawy<%ܶ1x"6 y^˥wn|(͓xQTBXܸ%eD{!㓬j.)0wx\\S7j̄LU=u7]FȺx>?יH WU&w ӮU}oF+k,s4(4_e]h$VDu!'tjڗYmcADrJr'I{G3D:STיl W^C krpc"b@$+< Bi"Wd􉒬\@A:@8r2eJiM=gP;rȰ"2o"g$٦N%l&')|]Nbf25ݝ4NL‚2)θ8rU>8>L ,JM[szP5s""*fPc-Éګ$VvjLh9¹ lEK &ōV <X$uUgEZTTD)|W\&`\=Wc}NyFPC@h>*i& -l>X(B4L{e[3B0<e.iZ12R&Q CW?w}m([im(s:p7I].@`VSەūS3/O݊#@W&e%}Z-5"9J mT3/mfJ '`^|=Qx* -`#/:)WR(Ŀ z=6I( d~A(='>DȂZ6-U[;è]eO$Ma3lg*;gdq깗Rkݔ 3Pe'SumDVC\t,vɦͳf7橥 שNlNovZiMFʢPEo`5%ҍ, /ld]`n33xi\dm˖YE@kЮ>۶YeR6,_ʨ_@ď- u(=W!Ej$X]t0cGY5]Z&3m_8 ltS1x?bbԪZc& ?M~9kZCi@D[!)Zj)_Nuwwn w>s Mi bz mv"{lrȨWIS$c yC)>'s8s> ~mO.j[ ^ȶt4M-Ce" \jux9D ν{}Ğv!m>.|^I,VZO ]Cm=IsronY͕[wZj_x^گBb+h#*JrմXK!a { qV.֍S{-Mp@N$qTcj`"%OD_ ^P$[Z G\L ɋzN|nEw@XIulU u3R?v1_ZVZoGFŌl(,6DbзsE_`'Qwa9w*ғ dT3VL&oP( b85G9.b 嵺3 ãA"fjt^:Ϟa[>>$dm:fCܣ`Y} L;-a&] 1ѡlB膤in;>FEsv:,G 1\%do7 h;/Mr=X@.JCI Qf32b,y3]\CNwn.>xyeP]Es6GAX E[]9s ܛj`<pƈ/l8,gt SmvW">,;9=5u'; PAUqiZ ܁`)P:~ AżX 0yZ}ˬ@@|ΰ7UK;F5?`Q*R lO[٠ 5+p/%E4@[@#{ۼjA=e7KnJAhF"5+ޙA"C޲u.:[05 V]|k3Մ|-EQ6”%>V9ߌ6ٚY JZL,YrBIYr1C,륾`+;h:Y  /bZ@}#Qr2׮,UK0[d**ΉJRp&G›RO+$Bt"’ÈcuXKn8ҋo=J=a(\akr\Rac*ďGk3m[jJ:XFhypҊVi0KPWUd .p?%&rj)R_n `P'o&aaǕ TyEwbV/'Ν [854x? `:ɱŜ,%RhVWq7~ T4^`P@KQvܫR0e:9IBpo¦:o9Zĝ53uk'_HpUNAI)7W?[^&-Zҵ = h?>Zbb&s[3,ec3yQdh*RkD]J7W7قCBAr`o8#[S2 kAE [+)oLaos=,eaqc W``snU\F%/QLIlmN)3OOsם¿q;=0_gÒ=pZ),a} t(ٴCER&.<&_*6 [ؤ :|_9oP6 ., 4w@lwijӵ#IGa)耯rdcؤ8{C|Qvv‰6~){Vd:JV&N3˵_bjq^Fxη}yG9IWn:SB@"SYa [o0m@;PƍE,."]rZ W9|!7ou++e\,AWw"ep(),[1v`h_*#fleGLd:=jTht9l]4Subn& Ui{}Oi2`0t^I:N!7J% s|7"Zs} 3Yx"8u\H ^ރ?@I $>Oe/sT%y rJĊ_T9άЃyoqov,\1Sp(*|mȯѫo:jK|0US7_<w跊B!`.46mwV Ln A,[GRic'FLANE,hIu[0K(Cu(n V눜7k IB`O.;Bg(1 Eo~a:XVB1cP- Tf9q Hw8۳C|/0 ]%?\䌙%iW0-zʙN:4(jV>P((Z%tB% ]>&]x:.$_y6"ggiy05\1W60Q? c'H8Vu4A>mZ:ސz]ˤtdUezc_=j9Ubb)5A@0;JiTv~FMb>t:7n>p=U8DkǼ}pէν<0CҴxNvđO3 Z! h;_vi40zfL3;wIV~LPI!vr= M6q(jpD\uMP[rhҰ^SG4 sa(}Li^jᶛG}+ƓͽԱE#!ny:cc!+_F@f[gЊw ]Zlq#5[F6ÿORӂJ$.)V_5EcVP bup.*ٷӂ E{GK,9ƶB"}Hg]w5O:ګُ>$Jrs_9eA*EWYO$Nz^Y$lAQ9Tl jEy0YflaLLiNrG nRSo1/#sNI2OFy!R^%elqM_뭲t&,6hj bDrF]@j,6=\5zU6V22[)؊pc AzĭfpN CF Uwuv(1X܂OB>9kҥ) jwzn?Lr5$SP~k('!=v%G`a$+rė\;<(Q@5-^VRBE/XTɫVNO{׿Pg-T@P%n; bQɣ /Z_ [,RFeA;Ul;R`'7+dkU m|ei9 3;A^bv1pL}ksݬj@c/K]7{Vbt&~gk~~LMcm}[@42eq@#ʼ+lld?}tI+ɾv&GtÛhf ,zy@?l!'ݒq@NH2f$m=nu%0ޒa_3BPjx|NRrHhu/vj9J'w1D.Mp`.X>^j-:RCIWўoB@6a^oSBJy2cM{] װ-x8[\RH=Wgq\\E4"eÛŐ; [r[9ج)[OGr8LN;Hw[B6j*P kcnb*8枳։gXpMIq.^ӭm3'th$khOS{3\kx+c" e*]唠x3"^9&H!>bs_݆́@1s{3,LJG1;H=C)7y{kROM%3nk#|e(  M6{ʗ,0: z{5+L`7ht܍{fOb&@jy,;!*Vz֢0jdlgkFư9"y)rYbVET`EL}l]>n\f mRQ9ԑ[{5V^>B9ҳ(OVޮLx!H|z+Ikx6:E)LjρڻA@vȥ$ ) 8R]XU&cޚOׅKW"Kfh&̗hB g{΂g'l1T!2f/Rv#z"6>&L!PWLGwd# -n-k5w|_b6Yh і^(BxAE+*l#-0Z 2 ~_Ʌ}TA%NɌ"x^n94AvJmL,tMJ"9yZ q#AКrvfjǼ,u11.ۯC?.5پrM! ԼxCG#Ẩsѹ}4NZW ?cjtSWyxzd$:!H2Ykz2I' l(D"2WJ1 eztFXc͢'12.L2eBn]c'|.#rN[!)$腖 -s5f!LL?t8 /Q!*þz`D9 7v& R( 3M㉷+MUwe`dd5 yweba":a ͱ*B<֓=3Nj+f[HKy?3/'/f$NI C%\';Laax'8nrU%jw TQM;79v>N_v-,]&{ @{S Z45Yüxs_/`Xgo.#|҆/{c_7R ?`+DhDpoX9!Q&(z}-Q{% "9E/節#ҙJ yE ,9^jwFz\\H[f:B4wJ62K-CH܂h~dDŽ˩{2zЫvu{njܣ5*)aTEhrbGP體I+F6z甾`o_$v'HS'KWM!d|Z}U!1jb]|. ffc+SCgcxQ51]gŤVA<(q.͋O*GĠB[8Jlpo_K4?K[xN7{((%H(l}h[+Zס3[\26 -S[Lh+Zr蠙$UNiKX,r=m^oS!npL%Mgém~`YtjMEeX+?Hq 0@*Iս{sOaaכruć<Ճo2b .|?i4|G,h$_sh[;$`*NY7"]%ExL]-mDAmp'5;Ƹ "ZޟL0Mc卵 ,4al䯂cX`f9ҡ}>l{ ZjfnMzbE6`un|@""  L΢ci&M/},v|1b?ͅgk] I|\ ^;9R@d 3bbWiͻu_ bs#$la5!~ܠH*:/7FHxAP'OR1CD+a Qg#k'(,!G,-݀:DZVAѵ*e o2'YNyZ#h6F׉wڂp D+,y1>tD^ jF>@Bs¿\mkY8?ߐ(ю7B;\DK[ "w"ȽVrh(㈖Wݲu$ bn"yF0MϫGw(\{&e{us[etOsKyS0Ó*ԭLyҁ?텊⫖s;'NnUR2DDfG_vw.pvMMr V_݂2 VG x_C8g:V ̔ۮDվDkEhbHOh=%(fT$b(vNǏ)_sW:=_mSv}X %{l tUb܇fXXg| l`cbմș!~v'SH97:7&Ӛh.f)54r<Kv7ݻ wXKUW5@2YQ:؋D 7 lDYy)ǤR 3wN3ZL_K'g5PvFf5Gb"V+le#. ` \jC%:YK =*f;ţVDn+꺶!Qbf޲AAuފf#S DAogn`|]樆LWO&DR[oa:K`Y똒$Uȸ9 ~B}jڟPF~wЖm'rqꗲr\9Hڿ%Kx0" G P Kʤ@Nh|pwZ eXkeB}U\{+@rZ'`!w3):qJ|56Rz.->`xmݧ1)xk(f\>Y֮Y~rNI.$9ny. z<Q IJV⯍lOB%SChcٮ:F1,6hQCZOuv:R,?tcmUi<i9_u;f(E_PRàGXOzOM#]hXWk=vk1wHN i $FV0+SEWV#L7()ӰhA=J tgZ&pcz!x-]\لg- f%sE`EEcօA a7}Lhi}#pML)xHa Ve!љ|\SX >Yi.xvLlypsP6+uܭ'2Hye(֪*(9ӝ<qZ4[I+kd;h4Q&2 +h{.Gǹ(#9]YmF*Hst궧IG-q*0K]>+Dgռ?GGHN7 Y/qf)7Dk wt@a4;A#/N礗l1AdC^ҝ`jɂ\JS׮=;<>щ:YeʒN O\sdn@{z1\WEĬM[Q;7uƵ錔$o {/v0x8/cAN{L*5}1tr.cey_na{3IMm_E%$xDZVuVC3܁ %gʬ@Rr!O,Q߸xns"'"2}ױ(̢yi2)8 lR;M^8c]@r[>V 7M涌v kt86UIXN΄a>e9:ఔM0rdĤiA<#,\MZx4vW/3slQ6\ճEpMS.߱:ȃXx-^ d7̴Dܟvb['Ro3O@v{k"&>lӊWJ}H%Ahn.7&IZwz=%gVӠ\AXŀr9̦t€ 3 TV֖M7%^CDf@kՊyGh6`f2Bot@[/![jBq^v )kz)<ъyz;Iݢzp *?DM] ,Q0ELn2dJct2Zѓ0Yv?B(q^[#,!zK)v\1]~qv,MVK֟3ddΕgmavh|M3 }bTi`.֜[`7 Nnہж,CD,s>Ow54g"r% 6uZaٌ=ս. x|[@aM=#ULekAx*HY,|3,FΤ9˲Vه]=*m%լ4#:jA?)F'_Pw%kV* @VYLVzA Id~mބcAֆW7΃ff2GAAVȣ qJkYo's"zyA?g'J =}I]k&( oA V 6ǐ&4ׇ7 s,!>QJX=+4x,E\dgVЌ9-٬QIDeH_e`c:<=*d[_x;|NIn'[TDj=Ub`[q}k8L׍L6_Jǰ ^r_7l./\ʨ]G=<[45_UyՂ2xnuh=S$вg[mq{x"L0W>ːn 5w:4<=U)g|ɯPn V .,cy6/y@vs !4ߖ.˂fĨY=E^ܙ6ro ^(\ ??:Dܔ ~j^o{O!6 6XW2՝AGɚU5Ja3s5*?3_wCuԛ"]Sjqu"8DtjF>hbLѲ3Ƨhs6™^.~s'C64椑_Ix'!J* /4amfq42QS@Gg) ^ V!; XW Lg=㒂q8̼$9~g6_r*}+ܩ)׉z+vy,P5k;g$iXAO/na*s#^ E.;߮=|i"ݿqWO1og\G> g!"bPIZX^Dg\ ̢OAL8'`#'v i{NÞ[ڍfH"ZQ=0Ƭ4b'q ^豰,oJ!uv97bTk$0 ֖(ӂ$$L4")y۪ƶcbfS[֦N 7VS9S[Ŕ[-aS~R3ǾeFdӛ1#RvEZa. i3d*AaNb-WMT'Z-Cw8Oa*q!*t#`,b{p6ht 30q,ϥ y`Ǻ'QT!?~"zxq= h s ^7- Sy{ZSSݥpYOqШ 0ttV FX"o}4యou,Z#A:xU36~_%W/V`j}5lbʌ^ An}͂c_E"7{;b~ @vF h*Dw澧<쯜S q5,&p\h/Wa++lT_ Q~doSh X|`/96˛YmdLN]12a97ykq݆)7[ Tf1U&Z7(ii$h vxɸHeMô {=żWdG#R1,n,= _;(IDL̕9d ha˂&|'u-}?ϼ(&BYI}i>?ґfgw0cBKp~-Vޗ­á~\(?]ik;N]O)liݼ+jmT`-X ȥ)hG4.,.o" P tܙ U~_ w5Q=B406VA95Xhu9Iɒ:̣RH "(J/~-br' YUv.p(c!xw5AS>k7mk_W$s'3M9OV$=')v.B p \kA#FO8y{ cT2ݣm2?+t=~rhGJԆ`*C85AV=:ț3K-a4 h6C%Z79PʏEM7ª4t@]k%B2CcH燭ϪzjrU-׉/,@NŔ%osp/2&` b6Kc)!^Б9RNP4WjZN.HBoaPis@z09n-6:3f}8UX*m,QAr:Oshm{[&ÁP@in$ 8nǏI~.1\pR_G?m7^ZØr@Mt'+#_Ef gU0v`n\9 g+SqY]Sƿ:O%ɎQe'.ZNE^+Y\fG͌xKް:١4ЯNZY4oEU{tӊ@s>lzƘsuܗS.h5/^yoIs7jZVV" k+ 5w+{?v8cR'=FWK}Z; buvVqwIg._SopEq ٽaz:4_‡kg8|iq7~~$pÊyc7\j . 'j\L)~ 1< ) J٬)1x'`Mrױ(7\:c1GS.i;2"M*DMt,P&9:Ofv 쮞O>t8i}u k[? ׭)Ɇz- pK%f`U(-eﶥ>'8XeQ(3#q9}I;UGB  +@/à7 Nl f\*-dk ]Slo s_FƗv K`u\ paau|k0c\Ush:g|1yRFPk~Ei'9)(rT^Dڳ6)"OCOoXu2 =lB8Ӫ~guAPl)=1lt6A]gI"d4pnޙ9Jmx3G BKJ'p`- f=5` iGubJwQ2g|lp`u5I6Υ.,yJ8Rx]JdpY^j2T/ʹS@yMR*t%*k-ݒ7c2d dn)4(-FY <`nng5.=q%3"+>o~*ʎgCHN#FpUZAC_2`>\ |p% d p=!A :K! ʯ+UErl+⎆n3VаxyN!uxk =@b\P*>ѫ&v%|1M bY9%mi82N^/s-zG8@Y]5?PJT|\{/ַΙ }OuDZ@Q:{ZΗN7b=s5)!.FEԸ j!9OFN`p^W֞r=( $p[cPӵЎ%@1bD['UƼ0vX-;'?tG1źyK̼~S(DXwoJ6eG,X)8щ?tIBcmF2PC :ݰXq/4s"'bN0.G;Jid D=du159Z2b^L 5zE ߨ75ZAn퉐Qxu> ;?l,=2aZ2z`y0۠$2WYcb?J!;; jsD`̆"/?M5j >?I#<ڹIQ.ksz>շiyl?S`QK|<,;8̭4L1-S}x9f, U,c;ur*PTϨh0eKjeůUtfV2mR.XPtN""??_4V3U #Q((U`"xHaSų}΍/ؗ\5R6NFzܧDuKyPn  'GZ&%3+3Z-jop!~Zclȩ6< r=rc6ݠNbG~RfW%u_S FHX^6۟7H;hk_tRk(?qKfyu^n%Wdt 6ye)@9tXpr+x6%*HBؔ~wzeGHR4Z1H٠7(&q낺3loFB &bK-¯ ƍUYO **~'Z9o?ZS4A}j%c i:fWJV6|ZU.@۬O/]# PFJ!6WfoP;y5,#Y6ۖmC͚Ne),RK󸷱$<~nhڛޢhYQ8v ƫ!ձlxB}+rZE8\y\1Cp3h9|M%InT!A}FخVGetSbs{qY:F/;P*w[p+KU ax!+^R:F zw ij=Ұy_uYpi1r4;MXcw?ffllԕ9w 6^\7 +mpp$ҽDuMYRRwkq i/5Ͽxr9ᰬZi6q7*+@y6a4+C~a$I<*%_Ay,exht2& oAlx|~6-C}۝  ğz0x=/ P$`"Yh!1ܠr-8|UYoT`[<5Sc&>@BB(,U!|op*ML' fwB4l3 llDMno%֫qp戼XҸ+HLD.@(LLP5+Q=-g&iƪf '>|b0QhPMBߎ.}0J4U<"lG6z-d`z KnPpAx&9O+c쟪av~Ig?) 9y|o,h&C6O\ïB@2E0L,j,M{>iFVrabXOJ}\5}òz[On0krb7y )LRFjJU3%29ξl13׫8IwRA:@d!stuK5{ezDf3an`UtԭD]At-:d2XR.硡5.z~;C5KF?YLiF,dmF41zD_Xk|p `_Oվx̯RTezWZwS<%,79dW%gIH2Q ug G,WZ[ȢI}n~b"Bmԍ~Qӌ&s\7J}L#.g'OD|MsV)wROxۡʎqI<{Bņd=pݳ\l BSc/Qe|[DzBD\ߠTU$PvDXljHCO UN^Dw8L6@Tv96IEVDi3Dj+Q머%_y4oh8:Lc_^UdCPiGG =>kdņ]d B_l dLH*zb@O+׍!W_:l$QwyU09 =!6mSUD0 kKrHL'SyUtM_i ޏu̺hEQ#tr घHUuo BZ;%2#EmKyw^M,1RӰT Q.ֵXOo 2~ t@;kd@y=" xޯ)/u-3g 㸋׈&dJ7x>3 hQ:JR|+Єo_FٻqN lXc,`-w;?J\v~(AS~:_rw ƾ9'ū0=x;b YU[`,PdvW+韛@91 g4^Us w8OTq rG6wk G*괱"HaCuBILsaq{zQl( Lo[cMgZ,ar0y@Œ`ODBD4ߒo%:QHJ0Z@?/')4;42)@bdOTJǍQ? [r"p2_ĸ<@&W:+ߏ2ݩcE(+#pUhoXN23w"@/HSPUlGBnBxv-Jer"\g,Hz;Y{j0GЎ0{Qm"1zz1Q/cufspNXf 餇)QM?69&o͜;a*JPhst3ӎ3#"^¢4W-LCSbX>AsL[統qWQIU|Dho9:s)[pL~rQ܉'Nv9Eqv1l~vAyȯYā~_fWIL {!F,w2R64z3I&*$#j4h͜&}}ҹmy4KlP奪 -u $_W]9>|śx(U(Ov OΚFuכHs)x}2*sLn4o`c7Uxd/|p<IUB rӻJWbH]vx}Fu9P@O+ ?С3ED^ȞH{%]&LVnUO'B GL'ռXllOpm. ʴ#H4elgW.E^X@"c ވE]PVG:~aTo96qh\d:Jo/b;b7slY7_@^5Ca`v~Qga=Em+0zNfs6M--DOF.P2]%Ƭ83" :Taװ94| mQc4tY!L Iv-(c Onh,$_bإeM KxeN}lFZ6<( Jj\:A$?]Wl%Г?j,rqzA^:LXJ })} =2ոDOx-l2f4[06CŞWcb'ܔ؞CU 413>Q9{̷TЁ3LABxfS~q#Zird/:{Xs]q]h1 Ýũ:*LvF yq%2/Z-O,=MX0 %+,luI`hMpN3'm#SJjv`sv-,p _GaZh KNwW94_+rثeirȄ277mh/_8*q|>3#5L۵tp{T6%VJ/e='b[ VY^(w2LSHk,0 V+ }f ^ )ZS0I5R)Ogt# '?YT+2"+w# jMhMC71uF f`ic+=Ӝ-{A&9^4'/?,U#vqփ?["p_/iÖ6D=i،X0>6o.JĺҲ"tAh-ъ"=L] [W,\p:+6YBD>S^Dk䙢qp7VsC|Z{rTX<(^傽FM97hב{${i=LF%R !ۿh3+$i m_7Mbj]/wTYZ@DttoStb&i5.,0jo9T@l[מz ,*t&NszRM2sBsd@Wܬ6HK>>zC4L0dDB@NWh ZpX&hLtΩC˭kb#33 9=M:e82>oHk=zٍ b^tP䒞_zhdHhE#{:i/gg6 tDdD`}N^gGBL) 8+bU?D  khC/Z=;[3/X(jJsůORt2[eLLP. AДbL0~-M0cfᒶͨ/Νji86x!6#y(Iaˍ RP8%aԫ .:ۺ]ʈ߀`V8+s #RM .iV4H[>KIJ& h23`LnjToms2ÜF፦1Ͻb b83I, q}s PQ_z$c,W}6wv.K,O?}L8_,;|tbU*8S!Do;,;L'W9Rs@<@̆a`X Kmgw$Bld1ƫt"Rl yT`zaZ/t3b~naXi3'y;=3"T,J|[{g#29gˌo|1a7sEٱ}Vk+rYCJYl/1YezF]!೔!ī=`w䐉H.7:@!6=z$BcR؎1v=&YW28|V%\JcF>s=vT3Gᓴ"