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~t UF%ܚϧ[P st`>UNwPH٤h34񊬀DQ 4)9,-~h ye3Rt -mlPlis\+Oj&,Aטk7 ;h+<Bϔ&֐z\ʟ RLt~o$l]CE'AUė\^OQ(?{[- x}oBW_oK2tX d&Gτ~,Ȥ+^xxkp}y.P@fPh ) 5!H!B :@3D]YHn[FU_`Q qwdB/ WET`d6,d Ł?DrAvk AU>N/hp^/LN!Cm1u3_\~Hp^~=}ߜ%?L+N&MHa@CXTdG(XS’B5KhTiSR`;MmG 3h|`U2@ 7e5Hz.aŊjff 98,` ǞޙJ_9SQiW!1c^/3Q<ȁ?H8K$SV[1 ԶܣMxKQbN pLSo/WdXL/|z|ߝ΅eovXQLҋ%$@D:˛k"IN}JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~ I  e aF9G'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messagesD9G#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup C9G!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files I9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id H9K'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages F9K#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup E9K!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/filesK9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_idE9I#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markupD9I!HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/filesJ9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_idL9G3HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.texP9K7HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.texM9I5 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument/Brackin.tex  Mkfv1_[{ĬӬW~:QMThO(x͆UaMe9uZ02c6j*@${w.Dam-%䊿x!R{x+u3ҮmQ;˚‚9Ǽ`iAJ?~Ԝ̂g"tB~z s~S1VD|dX&X'5f@5"*p#[,Z )3XWs^Z37^a+nlRVT'tЃ~3A66]+D0;&4ߋH JnvKO5"-I/2brҍ3hC+]Dr7@~uMf% 6eRp /un^1i"TZsCfؗ+Ø sYBZ<f!k(^,LuzcYb`}w /p:`a%(et[`  l^Eg,C$̅*͈S2?lYR-Ɨ !oC :Z$+YE!p41›>zHx9f1ƼCk4/S>u-ϒlaa 2ӎUa6C;@lHMLG~x1hM̱?/Pݾ,sq;Nߧ۬ rwBFi>cfDP5G7PK "gu<ӱO,"bs%ib0$ɨ@P`&?P~V9eWYg_z¨;Pxdz^Y 6fst%\MAoC}2"":[mx{wB_xQ#M %JHBĞHƙI? -Ę>%e;XvC؁ȭ]٪'[?f? 7zgM$(~xzxnEL{?\ȗN$|wCFC C.ؘF" 1/VxwS6zBB4_ACϟMJ O· QP7ɇi=p ״!: ^ lBJ$fHS#4ju$;-ٞqmS>Iz/o_FJd V\&~[iL}/Hk!.R_SէmG.4hZuy<z捑;"lB& (̈k/W}8CL sE*O0}i8A^=Y֑ͭRMQ,հ/jfu֒}?^h\ݑM{ nAsMS&3c?ʾ>g i8E |aAϷWW Mm㥏CݦpN∌7x{E"{pPuA51WvS9񢉷5:_( 10-n+螫!*DksO~»XɋQ φT0+WDhlG;`[!ѡ$Ҥx | =%tP[Rd&2h{nsyr>u.W,y0&>2^k&W͢GQ")>o Rؤ$TXQ,# R. p+`y#(R7,]L׾ yH3dWӉCرvm$ʴ4؊4]UQ /3u6f'z80SٙA(9olzڸ$UقwׯuD}L&Pul9UO}RX MdKt,ni>Qp)T bTeE"s$ K?A掊 >& z ~9#|F $ɟԣr8Y!燞 _}A+%AXZɊTt} 6bF/OXGh,|)4Fw|#_wf.\=p_cux}ҞiII4;!ҮcN7j.Uydm@K35UC&ˮfϜ܎LƯ" A:5p UvLmr9#}Zi Zg&a&>{,zr7 b6vd -I&ݦf׵VnqgYћ ]}Mֿ>cQMo>Ss@S%&jP a!_+Kַr2P"cbP$]hTٳ^uIFZ GwQV"v:6r$] }w8UímnQeX g)_FO)W2Q:;o)Y$UzTk΀h f+q VMv/$HבW}^Ӣ1 0UC8=%@w ʑ^ࡡ년cÕb)u##g+)&JN~t0,,Jʼn 6.\jafޑ"0+)ٜK5-cA1Y I lsM,L `݀s4hUO6o{Dn}uy˺p&k,rȢ?\B)\9(G˽9BӛYfH)א`/)H~[`FGd(*6P$DƓIJNTF?a N 2/( $zc~J//F~A+xCI:F[ƌר覡fm_ZPxU!s,]{i+yɸͼlr@f=O ;y}$6BK-kA2FEcb!K> ;u:, .,6B wXc 3:$MFb9 7y9`]̸p!0ЭiitɷM-~%.#^٩W*iq%NB+ciw$1سyUU {z-{3:G=ƒ۪Cz kn&#L.H (~4柲smz{φCHIuv Aޯl>T1.}b6jzF-#!ۥ=7̿726uNp#'}kpz}~2.lHh p l/ڿ=|&E3,PU:.B4JyftBءoH`:6K]ߌ M.)E$$\=o>-;;7mY2=5>l)[6L^ރ &$DCCef{D ,h)<7I,fq}^oq7KE\?~[K=FqVtU;Xr-B,ov9Orv%ygYZ,чF"umoL}A]ưqI敍XrŚ‰%SV`УCށ{LeyVhE3'yF*Cn؏rGsӛ夽:&KF$qmc'H 3"3P*2y* Yj(u+R kZrgArvW5%bk!aUӇP GF{Xܷ$56C'y bF'5h,:nXPĨՕa Q*sܢ-]!/(kH` L[Dv>:[M<[;~#mi/GeW{C\۩a*.raC1ߛS)_WPf ܗXN#<q  Q`Cw0cRgp hEhx,"eᲆN$Gׄўy ʌneH8"_{ƥ={LZ_1Pr{s,g8rSl-M;x&L Ц y=@ #$аr9s/sN'd?QPB.jja*-`ɻFHyzK*@y!utNF!Kh3%Ycyp*Е}K }IϋeTQO%H^ݼ9 flG=8M왧̙}JY,\Yx'h ÅDȌ{?h?IW;"U<@ e)!kÅ4wt'!NUіr@R5T8tQlzد^Eo˝!5XdaF1~vqJXA96jXُ>ڳ^p"U?b?܈GO:DoU|r1~KiEQACVS)t5 m=}L+22]Q%Cp)';+A̼!$z *gƇyXf\GN-f-|8 :OAp'>1`WPEEē݉W5 `q%@Gf<ٲ#)HCG_'q ]M&ݣU;?Fy# ɏ8عW[\?b[7x^NNGU;#?|ҡ@be.[#܉3O͹լy`XČmaw++|]?J.dvqS<# A I>bGGwH߶)߃7m(h࡞Bjq Jv>hBɤqn*_X ({Iy0*LJH'B5+ibkg?[*n6#1 }k2z<9><.oZ, 13C%eƊVuQG-zRA[1v+ybLaw~}0Oށ [@Uh}Go>w]N.5vN3鋀q8aΌ5};M$=jC0uT9? :(u/(`1S>Vb+;ɴ^ܪE Ptw}-[cՍ 0~x&#ϵA{KF%p;G?Qr~CQkCYPavPʢ%A+L^a_HFmjm'"i9u1ٚwEOk>mr}PrcciB])}ģ]ܲY'ȓ!2[Qy frj)+>Ixʲ.e4֖,y *Yԍȥ_^/*Kop O5-V7UrA6: A*i.ݘgTːb쌑- g=@b}Gd7D}ER^2+oV?h<>勱1rȏAg?|ymX.'7UHxjAj#vNLGO!OH1nj#X[BxQSWuc-ӟC8l(n:24`ItEwCkpZ@*"m^R%Kˆմ}*\\>kfԢ $^ܑӉp:Jf&%FFg2VAaIkMy~'?E~ܺ6`r' Tvf(Qt⸡v.g 7 y9 Syq1p4XC'pcN$Pd1ILܒ=}5_|H"H% 7~1Do:'H:vx/.Ë W*gYZ 8 -8u9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id512N9G3 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;~}6.i1V { {'H $?qԉ}׽ Bm5S`3)WZVК*惜VvE a[̄5ċ0I߰ǙMu.[3D)$ jɥ,(ɍ^) /y J*?.EZu[⟭,"oF( Ӗ/q""8l n,2 ̒k&!pl:2ZP M2;*=,l9G=lEu08w S%4Ex~kb{G v_F-̓%Bx=ErKძxG֨1 Ͳmks<̖qz(S,7LnN[N yMu1\y!s Q p{7(ofTɓm )ynZ0^}-OM 9K# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! pA]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~BNnhta D<>}46+XOܸI(YwT:Ll/XVfO+/e?h|fF.ㄬ[q=Q8x1ym]oyeync w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id5149I# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! }]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db˶` -Hh.!yQ&7Us!)⤤UfdHl/K;a h4\H[\瘙v2qxN2 Xiph:g !=\a* Z:6 z} UE_aŸAA?y?c؟hP`C3X*{'Ɗvb+:B}''*DU@%cգF#dx_iC}HK7J56mb0_9,saZds,!-147h&>4T9.}?_0ZbvVOLD? O$-,QL%slXhXVP"DޙGS/Tp'ko_A=7ɖ0 L,' jLu/40_n)uxS8)@CoQ%mO/:R/?<"[qȚl7] +]ѣ}p糑uP%3q??@o '5NːtջG&|U<_أW( U&#WD̔xbێXҁMWenGW~M'ySe\NS7_Mf:cN_JD487Ar-i[p2r^7}!aN67Ep9 ,eUw=j ,9 $XǢAّws)1;L'mИM8 40~vQ&qo>z}1z1͔G{ sWDiQy!3`4@[ڎЋz0w&rH<!mצf8S v>8RZ$䪹D#Њ{O^{'?l*XHlq^JWmI;0LTG5[~%y=Y 8 !j8x]P9,2zZҽF4Vj9gm:vC Ҽ]s<.z5/T 7]skjfDzꫥX (zwgnh~z2v"׎r؁~5O:fjLJY 9aLƮjrɫ&w]e"Ty|"`,Ls[|YZ vK7ݜBc2^sm^mƿ o8S_HJ s:cl7}  5]~("{`QOVnѭc0$b]@v׹!يBy7PVӬ{+řPy r19}X,a5LK2陰"ԕ؀R>*yͯEC ɩў$!SWLBќWhK{L5H`c܄=ЇDjEժ76[#g|_rJ ;1LiQD <[,/3b~Hb7MtPALZuo5<ӿ6AѾ\R|URwTjkwO&H1\n1#mݔh T .M^/|%vb^R64IV8ѕŗt}eIϿ=|m* :<']0KDDсYSQ {Uy|m)[.oWa?C|o1<%[, ay,94ɩViyd^Fǔ-~{FfmWK_?mbx8/ʎ}ۺ-*‹e eɐ `Dg=ǘp13]ш±}'x`Cw}&.|6#P(-FڙTc7XڌW^ecÎDʽU!vMi"``þJ֙_؞+}TG,hۨf5_k !" aEhZ!O#蟴wfmnc4zGU^DDQ˩V,HY=w 7-, s#xҴA]}bİ0/n딵j~eI0K.CCQ`8`.Iv~07? utIɆ[%$ZB| D𐾰VJI]Z|E.\ϑ1MQL%fT,@&|R_9d)6OGQI/ q a>;DP(tʏ_ɹf8ŮfdM22㈔DWJ`9n>Z9˺4s?fd4B? /iZfy;(ROlTMόO:@;ƉRyU5T~ڞ,7'- qq(Z@ܦ ,](;S2xռDa)+x[7“ eD/*Gnbp;vENcXdq/zƵvm:Pwqk,%5.7ϔ`a6@?%&g?4q e%E5&9$< Sq*vM\Tˈr0<[T go!&* D Rc\(~Xe\1xkuˠ&+rl{M6XF~`벨pt_걏Sa1QO $U@ʟF'e~ ϋ>4`Qr5+,4C-^>N 7y9 yv/5V%;l ܉;żLk~lP$ $/Nn* C^2Nv9 ;A;sxBz<""h^; }Ziӹ m~@fe.*nL$ԸYc4MlB*ϼ/p@Q~3шҙc)֕C]|0#K~ʲ;*\/1ѹR'Y]^V2Pa5(ėA͑k&_kʥǡĩLc\:/zf,fB|ϤesN7Cux82uMuaT\\{ >Au"9JgG9}b"9*`- ͅ4ZVR]ܹ! R֤_ :S<5q눜'? 5KV계6m :@g[(^38BW&ÖPv SO%LxRQx:N.3L:`d+2k7]W»͏cJ 8C'8l[p~%ha U/-~ZIWCsCWrj|%zSx+C4j%v$z'wi- ٭=tBR3//x?9ռ KG[wXG tNF~wDOb_iATG'+A *yJxF37CG:Е:䱼FІbGx1-̋Q-rģ]~8 \Pf;@o$MxOKU :2k'ˁ۲Tė;# kHaXУS#s{6+_IgEĈFz[-Et%9e`h&qxHFE_-cG%W'WTP!-? pLݓtY ,ɡ~ǓBԚMF;SIm!F,E%sU87`7ڤ3ܳG9 5@enf_ӆ_y/>LN ?a51 ~'㶳}wwoYuYޭ?Em:o+m$cGW-PJx.jW>U'[nCt1`-O'PV‰o&D pΥ-)f޳+)Pe c饨D4x]CkxSʻ#XNe{J7NwȊL0&zKEK z!m4azs  uƮ[HZR^^X6aŬ%ܕWCen7 bm~쮓9 Dݹl`۲} Z+y.;Ntӎey@(><~~Qpq{. %@{uRa[ ~  \Jh"'ݗS;rNF֦FON#c[ :2chvQx|ì-f@1ݐ6u0۽_ቻlg6yZ:?5ĨvxM%6*oQ֒VaᛧGi;s8l[a]Jgop] \ Zl+9z@EGS1ZG}=; TVA@DS@5/qГGdm}BXdy!uhT6 ޒi7 >=Wkn␁(0یu몳@W?UW+hiq+C*N|z3cP@&1'*ֲrk~w*GOU}K);h_NR{(\W`=W]pﺝ,eb6:HZ)G[F2?mx? /3&lyCq/DfAnqiuFd`8MN6f( rĤ/KQ%ױ C4Ҹ^z㡋#f]zi9; n,]a# ( `,H=CG3RQ܂ƃ``Kl:!⚑ɏ|9[DݶFD /uQXz~bg.e\X/H [b)zpz2;؝Hj<]sl 5a]۴wEʉ?a`}bh}t=O )oޔY}עT0ڧl fn+-FtL˗}~uWtT<@)c>'|y"H+Qά%?29^^!Y42u^1;6m~a骪zk M+-i|we(6|06"BzSjwcK=m~?w9@fC<)ZJtϯR׭a7(+A`5f\cK F W' CU L|B#&t=TR%$/y!Jov!` ~$+׉*3 jZUꇚ`^яneƒibq@w`@=r(`K.9kUtӯ`Y m:oacf@ikJ q o9]Jv2?:.p]~ݵn+83 @>HjNC2Fy&zsmĈ̑7kW]=*`IDlhDهe bcgvy;%]3>yo˩xK9vj_*p)T+D*1@s}^iWXx';eaxBoH,:1 7WE,sьs, (^4i ]/u݇@ )N 6TeT׈YU6'kv#^hܐa(sCT>ѨyvKC6`s¨b<{9z`~=HY&k<8'> FDG*Ekܝ^ h|mdP>1{$4cLC )ͳ߅s}7(]6 D EFLBHv1 +h"+~%]PŶFߎOAQkXc]]8$ 殔;9 "]VHC!;|\!5er`e$Pt{J6<D;4&aT,&ϦVpo]}N|E#YIB P7 DSG-ƈ.Nĕ">m K1B/f:wPqCsUγ:~LIm|™ \Ièx\9eπ6ngؒU}7aPy$.zLbX|b/ٰҎW2oi:JC+<67I.^ @B N:әהKh:h7Xz|.7΅.lL"7#D^&׋H1[,uZJ^%X/i2XN aEeX6wcF/9At!N´{຺,< {[ߝJxZ?0gPB`xðH+Y/L r.cj =x( F8r%(Ðد8e8wl h7Ք ,g <*Uˊ4o@W1j{;j_dG#Dqȓ/KӧE΄.Q;8˜pϝv6n($ [g|KڍBQVob|8hZ{|K%\%+r}/:oD&N`'Z=IYhw Θb=~:|SD/a]#GKc7;z;dĂwa ms mt9=ok>1mIr?N zr|J o$/fxe1-{wkm1|@2MmcFW\911w>hȲ#Rzrp2Ԩukͅ/ OGb]ԟl}%mF¥_L#v+<& k0-Q/e_ߐ}8ΆH.FF-GlI-Ԟ1f㤥ɓ[ >?4vkNFav ^yj-<@֨UWUh S8KDCBrVPRPTaqn7#h*O='6ˌPۭ,FUb4P=ܬUbѐZ==ǟ9axV{9? p7ƇC~]:}s0'B'vh!6v|Ztk^%y=vY+pE+A?ۛL6yt``g9S~qww᪁q=>R293Yr{['u|sԠ`7=478gXj -Psiա=y|2/wׇN!=lN&)C %keҋI]߉Mٯ5ئw^KFgcUվ0C00d_le&27YB?v8cyN&"1=zW}Es~(tmwܳ6mm:aoDTXvbT$QB(5_i;,2ה4BbaH *z|貎0:٥mN*RϬ: [@2k#q:3͈>=*V2 FǸ3I0Ԅ0o8Ĭx MFi׻ۗmwN|jѝzPY2FxkXA ^xcAし.=dK/z $y" B,Y@`>R~I;E+\gP-GZY`7`鯺C" 2L?.[Õ JQ-R 17&vEn8!a-rOb$}ۑ"'a1W@ǡ?c 4zL*onL 83Bd|r uo%QF?ykLBR.G%(u5ЈpI{' ",S0#lTwΝ*͇4j#}XX8j9d9d}%ǫ>.\o|:e !#^? sӝ/5`Ja k, )ٕ̩هA*ŷ WsAۻY;[k*.\w7v7,[yX"I (+8%k@8HC(K0Vw- >Fl>g%p({kqa'# `\!H JZڢeG~s;0V("@}h +FSh,,H5oD_oO$2׬C $}R߮HS?58j=btԈ"Ki"4xU:JÊ`k*kDI^ A.+ѡ[chl{Ѭ:{(pq}\kLKRHVNM+yi`ȧ,eӳuB]՟w kM^{Re;$x%oށ)e9aVlHca-bnT3j7ʼnؗf-kTz՛d= n#RCZHvټs\VT*Y^3'n l5/Gȟ,"8G^[.{"Nܐci[+TSѡܚiƫ#CP*>F|-Ӧ'7S45yo/ zf;RR[Ԇ :?wSgVN8DS@YyV)Ea 猬?C&hÒe`z"qRWe0x\f db@&E8I><Ȃ)u\P>ȭfY /?񬂀= jĺ;'s /h6RHEcwfg-PևkYNb1VƅWE.N)0<ŝSA\d4u~}=ð+bk VoqL(7o=rػ_@Xi-Aq:BҍR C‰Ic23^O[> Wv$>F}5̲2xȞXsƞXlRp3@_I[ekm#y}9?lxs޷,cV@)7g+\H ~F(*i` f'6ID݁5f<yV6.㑬wR~!][>Q2:Eե"runlenMR'w/(C(kvWtI($9KEPv}(S0:(;SWǝq7HBz3L貯_ *B &{D[J Fu`,$Y"dF[2Tќkj-@1ԏ!T:~&Įh2liSH>=MŰjt][9DA7 607g8 ޠNζ(/VÏӲ 'f%M`I<Om+`wr}j!XEѭ{9LӨЧ,*X~M]| TlC U05رI4ov.Wm/lM1 7.o%Blw:q-PsrF3@\qyfK\j5iAr?x(/bԷQFZGudJEU%œ^nHMzD(vU @:gi۹nBovEjis< /(`SYEAVC lnfqo gfc55vAD_A[\ޝ؅<%oRpN|YGuKlA PZ`6<Ò1wR[wGOjiB( d *?AapVUXv>t^6t < zcpM}J.$jn脖O|,5ģ"QkF4䍊8E̗fyl\ =w6v峬_K0zp?1`m~ѽ"O+Q!7]%grA*ĸÕcg= !?84Fz1?ףsC ֟yٵ-ר%ñIx pAG~4 ;Lt!o=áQbfXOJx|Y06KI.0_3KEi/ă[9f Eє1yvs: 10:6aJu0}X{WJ|yFv'#1_:Fy~M.X_ ƏVka n\eʿ;WY5WEq>-k{+` x+q*>yįΒ3$%?lD9##kd"Zi`\ۦ|4, ,]spp%=}=:|Tt@y6OЏUFuJ$&S-[¬.^㪾ߺ,nMY'nq}}cSAebF! mZs|;x0EY-UQwRc%!(rءLfR RM6/kaz'O(Cif+%NfDbCӡH:e(WM@1iK9&/R")vه|ջk/U$u$\5tkg{)d/ !A O( p;xnݥڹʕ4j% DplVz+z\iWg:l<*c9@-(AeЌR?H'v"ڎ`oZEnp<$b")_>"ꗅEvv|6,pgKooC_^OoWr5^EԳKiQ}\4i^ո5P)秷5ϔf0Hbʞ m2Ь%U;  wMn~&baz/yyu3z#Ƙ{{w/F2t J(zkG㇃l'9+ժ ,q#9)JgkߪPіR9=WA:zshw'ⓡ5rxI"[ B"n]W#n϶pr8:BZf VW:aX2z< 蛖$"RH 扮^H؄{"@"kI ~ޓ[w (%~_t} I1- L)"+XJ.êR;eti Dތak7 F ɼƩ+GjSK] KύW?6t3{[9&HthÇA%͖zKy-i5ȑ`.+e$+xv!@ (D"ny:a*9/#C' EjL~hUzꂹJULsn4L6fԦ^vΦO定 =OC"3.Q@&+;UH[QCb_gx\VDj曰LpdN*V&VyZ̀ 1x|-ϸR@O+{j1 ='Jo 0Ġj^hTRvبK:ղ~[d`mq'Zf\fXOFD)"ݍɺS(E욚byOf˾[ xQ[279ɬ[P'/}D6n~vpZE'ڊ-K38'v@LM#/䫋u*l^r?RM}V$a´jB`x&n0 ?3*3B^t&Qʳ ]+$/'?[Ш'2)nǕKkt,*,Vaꂊx*XK!2oZ 5O:`ک"FRˠk/E#{nVCԫ\o q 9 S}є CiQ;D_8PaÆlɰYN_aPÜO1obUF!󖣲0?xJLfqjuN:Ywꍿ37BD]R}THnx틏@tsX.JHG6l &9Xcb d~n{ٍ87U 4hs=Tqo9vl&oh-\m<_z>WH5p*1_\L쎭$N˸!&kSv} uH} *0ԝmK ^Z+ZbJy6c܀V|2AP 8NݡO£W0kTp#ݧrGͼ 1i3E`c0Foy~ˌbq^l(p 0K3;wɀ 婉@&p^5PqIoID3Jc=k^IଧJ>4" C!ܻDd.UUC[mrZUS\Slk^qgo"+Sk`>Ty%k_2=}}`LH=Au`NB_7}wwK8 pt2WS2\i4k.Q"O1|!S`06jlJx>G# %ח˶]p 7<槨?K%N To933Κ;q=Kabub("d$Kirf*=NЋ3_sN^a@^o8ژM8ot"$E`s>y vV7|_WlI"0:Gw.{<3ѿ]$f @7zQXMй}љOs"%d~Y目myaۜss&/&VGvyniۛ߰3kIR0\WD,l~_wt}ԑDo]/g_qrhو'O)*F;pdYigēoq%oH"^Oۣ6ܳh3ΣO͖#,bQ=T#{m݂#[f 1b sǖ]ށ$^LScZCki]Yr@{x^SM_8tۨ4|RH<_[eɊee9185"?bQ}wnR^oߍ= \DRD ru;!*5!P#2MļTJE20W,}w.)\9v+YÏ)^YSq.2R)C\IɹD{-* hnRvɳ~aFe3mG Ys:l|`q6( \X*n &Z9cyn-Mr\|%3@'4VxN,g׷B?dIt<%zs6+E!teôYC4=JRO 梳aļ{O8ZyamNls`vxcGej׶UjC͖0sLOZ/QkrT]̉kbq?m[gu7*A]FY4OOe6#K  (1:寊c7y!-ψڜ[)ɡO@h3Քٵnu^B4epA<kg/z_{ rcjC5c F1MUiUHH$FZ y0e rFnp(]Tyq9CAAN}NѪO%o#}jd5B:ݫJ$Mf=c)>j^ɟE~]5m:Pai k&B]Aű8(a^{u~"ǎW K;z,|EK '7,5vD%w7ް 8`e#v qO|#PoX^lZs&۰})& f&ca!#'d;LY9)0nlZc"żŔE55 ̲.UqR1T9cm,A@h\GKHQS.l]J\GYLLHC}\|dr|WNfhPc,%;/] .H(jFFg\9@r`72"?ƒbZm312ϖ}=fJ`n% 9K!ҴHPY|ɧՓbiKQѿeU $#cނc"@0%G1scAif:A %nVy];a9 8 ^PCX&%O?>X^(ކ>I 1u2uejWluzf3(-{hf  Muo_Q>x6~{; ,ǹTZtv {̎OˌH\!7iq|' BkZJ"Zb9 w5!(_nu{ 0D@78ev7p+̽$0С4Xj$KD˺m$Escut2 :p;~s SER!ƭr+,7̷|): g1PyT(7nFеeB\f  "R S0wepyN;NJ:_ni9|HA@TLuhp ZZ.!?1'uPT G?{Y6fVZj6Xdaَ" Ѭ ,3Aw_<%Cv[[D.+^7Vv` YEF{b7 -ƥPLck_x&7N6#P$KPƻ!AE/F=9"]ɏu‘;m|-sCY-B[g6-8yP`Sgv\UbTgԬV^TvG[fBoj6H=YƖfƯOp06}VIAFgXlz?f^CrKdy ;7o/ԚDŨ16 =|՝&z/*|h)hʹZOvvdqEQ4`۪VC[,> y`u*rVqfg BY>З8hp[` IYFm( d:d"V{Ef=\p#X]5CCWz8-8%;ae=&wiNw/НPP's1fȵ~zr޴'U.pzc/tBɕfK;QYh]qX/w;N}sBA;@G=(4\T(j[ ˢ-[୺wGb8Ee[}vews۾]doXZ;+,;܌{;.S~;$|'kO-HcH0ϛCTE,。AmrKq);.C+/l8MUHu\7E>sThXpLG$՜~'Rw@0V!gp"w3I;3FUj&ʝ6OtpӍ{MCwoϥteq5d] xcliXe숺rw>P7(-`#r l(Wmnyc 葾ubkt"TVS (f}QH>+ IyE " xȉ]Dk\PG3L;}T\3 &˄{<\T8"ԂUzDWF_S+KMyyXsEjS @G,4_\D+UOZk.:{}k[j2ƤE큧 ]ڂrSrrWAOÙSD߁,[eB#-; @jA|k jW|ܨ[@!z ~?e"!xVtJ峃v\ :f``)t$%o[,>D|Dl"w@b\JnA_W ]G/(hm}^~S4E[vQ E_~ڳB]۵ճg$<0kQ&򻥴`PS#e"]0 ȏCB!M.Q~N?՗vIGȀh . [OU늗ưT.ZVi*/ UOQ'Mp#/kǼDD8$0T3i,%F){lLW LrA ީ̧qL.Đ#ravL3} Wr!|m>N|LUlΔ,l a$"kSsz݁\ìX<]gMک¾6>XH餏$>;t՟:* a00cHCgfȖ*347qNwv|}, !ity`)cfW@%Q Gx^P9#_3/'pV) [R< U.ܳ]f/Bl8tKc?j=FeGV& eM+qZ$ԅkʷIPT %-)L_bfB܅hKg baο$G4~<.̀ov\&PٲZ!8"^Pې"RAjBz֙6y}$nlVIdعa vf$-#0%m~ɚb>~Zm,P9l$E &dv:hPoܠruuJvY\㤗a<ZXPEuc]8(xȴQz9)HEo '-xdIW}R#X2]+} D&oyةql6f}JrfD0W&,܉Gʳ\L1ˡbz*Dխh~nXL= 8UbQ&oCmEWb9S2j|!lst@ ߐGi,F,sHQ׬kԆPC0Ȅ^rST|g ШFa/mDܣ Xq= I'گ~7-i[ px P 9?LT,Z9~TlK)n8QV7uJ#%/w_y#b^=L4&0I lJ )3t|~UvKnPWE8sE?;+Ȱ}?iEXM/H^MU7? pQxyaARWGYt(wߧZDvq\/L Mƾf qlYrUjL@$Z _pTs4g(<$zFTU:L3h\aϿJ6aJ*.w$sʋX[y6w tiR1jF6&=m|E#n`Gy, +&^c&$;_ {?lq ŹjХb,ѫ,2.8Lvp8-qwq"pM[j˟뒶ᮿY2_v77\ %z p3 W..c:"4JTxKm7i߷3_x5kWkz]zc= +GH?IP:jUr:'Dm~ɿtCExwD}Ɋ6 ly}ȰL@bj\, F< QFE,boLD&}ɟyR?7 L?8 ] 8X:_U,8H{o=i(m Q1(;v~퀬=hݶE);rmåߞo #N2}[op4WFJ)TV W%D-p׋Qtеvw=fdU^ESez1u^i# hK @L/+,a/hz@,0MMj~DEN[1u{jOKҕRɡyKiz܉D K6#F1Q 4LVH|2oUe<$HY<|ۥ16$nV`gBctqI+W]L02=eOeAcǺkoTqaթSsx\/f=$eP.S$'!]T/.գ!ɔOg@fu>ُR])/߰7>u]ڙ8HKkFַ$;D`m Ybҩw8l+[Dٝf48Qȍfe*$V)H~aE GUBǛ?wqr \l 1Yvd'HWt*6TKa] a?fmaܱ&17`f ]3GL`@5`ժGB%&3p8l0aM N5a`pҬdj,8R"X$2W$Wi0܀Sh]Nw4_<*;Ad(uWuNPl;w&WԂ˙&{\:~CKV*B!'3֨{?diiXեgYKrvyQݚt r?ήs">,Zʤ =I~ΎaTXh,J׀XMC@|_P[Xbig֕\_gDHd3dRXĈmߩ}(!Ѹݎk B3[t4j  @#?յH uO3 mI\xȘ4Z9+uͦSS6hU> s6:<"PsO7i-n)+sETa^*\ n<ľa簋s{@R0TZ^M>‡q+LȚ(Ĝ=/3geAPXo QMZGȱѐM}QH33ɜTmX,inPs>H'*p=F wOPqFZ6(N". bƑ@Y k:uI!_9p"aH$}c@biC` 5XIްlA筯XIϽ핓ᩲ"K^E7bnxX0Q'Q Y􉌓_Weh$|hcG=_t[!OaS >x]% 6j;'˱G5 YRwA`mXȹ_#l%'&\9Х'l@ |&c H +ace{"ics\LIdئq);Xc N^%XCv%k~=SSvJIaف+b=pK6_>n<TKAWբC1"fm7[h;KBj cȚ@@loJОrT?bV{CNjEg> E1XRB@2WS`ED۴v%aFrK8>(gnu 2}/%6ie]dT ɇN+"uAѶ1rԎ~ۣNz lJX>jѐ_B+̷a>cJKGɈUq8F0WKm]BV¦4!8?"1qxѬ >pLQZP#"ʜ+sXe} gHirVC1HiJ#.BGe2U¯X=ycDZ=O3Z_ziDB6ٮ/YT7$fa' _GhעQUcKf]. ?Uy5<k"BUy }rLըa߹d=kItĖr6 Y6t.gsws'#9PkԠ1u<'j= { 1wkK{'lU$,;ch4r4$jC[;1ԕ|cbkyCw8߃77Mmh%/ SfK=G6<߇vZ Jm7z/Ϥ /}>̩UʨLC"zfFH˜Į+A,޸CDX lRd-> j$g$N+ݽ(ɚ)H@QyO

/QRZ˺7pZC \gX3;oKs,cy~Uh٣qع R­ړߍcyG9Ϙ!%~fH_!UVt3rǼhS9!}~#*y: 4L;IQҸ#@*~UDp-(H/+@3= +@-ԩg#6C]V?%]eLqh%v]xDTBVf)-D=EiB:SBl-C^F`:{Y޻ :75J?%G $D=pk`ip2CwP b?%ј2K8-]ӜWJuzPh@A@f|) >=Z~̏LSUZdkr2u}|Mnq$`d|F&ay/ a򟛐]I&=/L#.SLG24Eoc7]Qi`#2>WGt)Jq"*= ia6Sd*i9)W2, b{\H! eEMȀ cڢFԩ? -CСuqwsWWf}҉5; 9S||b0r4pQFp0َErN9Mr#$z/ OCV$6͵o6w-oSdbx%kow`41*|ѸG}Z.u°6^S!lyYTh̡ۖ.Tl>7Z۬a?xꇝTvUV>~l'\%Rߤ>F ʻc,{ylD}Iv,p}_, [UV&;ˑLe"Z5}^@# M@ P4XTԔ6w{]z, , fo $9Ǥ3ڙKf~ 2.VX^zmKFQq޲R\tJPxLԞ'' >1<@MHa/&G9RvLn>zp9qwk~C(Z{ Y,>I5KI`SYZj-,mCE1?\D]|$uÍ}P|y\|_NzayYɫ\L6f6q`1V ɆZ=ұ,Lles=qPK4ԆӮ6<3Y?1B ;>h\~<ߜ{ЪK~ 1mMp)*@^æ/ ZJ)ǽ*$#v^㋖ %d8 s -M-Nmw;uV Ls$T!.&Z|ec eU*!βMh d QwiC?I+}9d{.]=!{X0nx;}?Cs oy|y\_hľ4'wlB;U/O&`>h!}yf0|ql eLHZ63W9axp0ochDR\ .6ŷ@SI#U)tS[?%||.Z-+-p׽e+-z̅-E㪝hAD[z\ں įZE.EEe*y5$(jZz*fn>ŰAJʓtPٕ~g]pܭ4@7vܜu\)1i]|j4:#ܧF*qlꞧǬ|cI¥iCz?LtqÑRTE5XD\VLQ0 fD_jiGF.=փ8]gqj' SUk~"6(٨֌bזڀ; OK'gYZ*8n%j1e1/6r0kM.BPI nWW?w1:6. >i (M{Ӂ `&Vrr̥E핱nٷU~ezob9(,jǎpοseǴݗ$TԹ15S+9FXc.a(bYjd񅶬F>G x#iCtálپ[>>(EGu6uf}ROҩ ɬ\L%P|>}g~(B%шXɤ2e_לr7E/$`4vX)k EԴXqۆv1BMu|UumS' FF!:QprYj }JQgFtc -&'#tkr[ 2aw4c*2:xZ7Jnڵ"F,ұSZ}$EdA*8`=h`B$=x9&_ϩtwM0`fڋVZK'I1OF3Tj֑b>Z[ց ZܧջDY_q##Yb_r_#ThއS+m炧G H_Fex-(؅&;aӊ`&93[Cu6q26vV>,z'O9!7T Xe=퉳F\8F#Ar;^Fo?K˗J3 9O xl7~7c>mIɹh u`Pq K8T#~}q 9M_oohpN_KI`Feinl=w3T Gf5vgU=Lf~LXɁK>]r Cjm9#DI뵝QSGݩ_44 \ܥ<Q0%n^4lR]6!FkU;#mY7SraeOW'~8mV @Gi)OTѢ<$dIxx4OW(Z,/WƶMI )a. )1+TYtiO:Q*"]AUfrG_`Tts[@1TrQa&>򤈺T`ټ*1cF"U`YIQGb q&AXGyuI.wu=RPY!|zfđ&&|Q W}(yXv}/]wqί: <4+Ӌڗ u t>\Q<^hig@aBgB \jgK.i߾#Pi|P AH>1-$SamJi?=8̵a0}ifWghtHۚ[z@吀<<;Ȧ] "*F5p0^h|s>PMeObfo&bzG=B4r$!NmzHeD< ۆq.&;Xjx %NxTn2Y9؞j\5`۬'R\O}N.VE*pMĮw7I*1wCF.@]踜Oİf xBDR(n9^EL >YԕV-䁘D՞@(_@<6JE qT'F !s. TN ,U Sr -[ji ?Ods.NA6`e6aZ-.(i"z ~VY ?2Dg'hTو ʪm5  Xl⧁Q/UйsX,+ 0TV|kxLUn[Sh \q"ԣ&ܟ?tbz޺%ħieل*;2Csϻu0|$Y{ec$NHZexzX}`΍NG!3Z"Yvi4V5nWL|L_ ]ĠhN= tw;29T^~hCy׭vbcHO/^нQ6Bo}t >|UC(4%"q{;P7X1Z5SW ѭ2NŚ}㶯LհXk"?W9T=)ɻg!}X^п4,vGeߟԽPF$Q#PBQ^ ,y=GdclSe5ҍV6-W r1Ǟ{ cf'8 J%߉{'. ?0'G&D)3G|;K䢈@ܼ+<o;d<ӺQzG/brYb('Þz`fcm861O>e% IֱUX !@FYe s8C4).2'&:`bcr"²eMހ ?%q,oq J <4Q=6XGK4s'T91xFipDtEk\(B#ifGJu5Djf-:ߗ ^ߚ1(7P C914Yr|gtGҙD/.,V57Fib`eY]@φڞ~|۽AC^VÒ$S# s4aP|`W&^VBy@߽.=PXBU qw晰2¤IAlg[~V]bg8a_sQ?֋#w>lfIYM=-?L ]>m͛KiU nA@˂xR۶F QQa+ԭi2ulӟeriהIOZ,\ y&Th 4dTuk'%Nrw,jPM7],gwY %yzZFIMHLd`+ʳ>jlc{n.ڑ.7%ؑ>xCx=191.Jռ ^FbûCXlvV}4*O_Ze[Nc# ?Km_W+1Hkשl cW@[W M(jY&]`/),̕N%,$B#Hq=~Z4ۼʶn% da;`Wϻ%s&ͤ!vC:+2jXg )sN=B#֠I7"܇(Zq $+X.;Fɕq""m}"ZAj^3qޯ}HOKH*Ay(aNPP9׽n \ې ʬ,}\UPUa=~JL[ "=lj>M VCk?GZEhA9&8λ4e΄X*hCx39%è>$S8GYt#^sux;;z&%ZKq %CwX۴vsq[O*nי%L2b%pՔ)Ty0GؚWdžXs`?qw13iWҀ-ys8 U1es)5/[a1FE,;lʯC OX0oPI&J?<*;ԡi3I~HNH zy,O6A^/S6M04xSQ-hĤly6Ty ^S}@:,L5~8sUkq7oࢶNASEņCF`KݑDwn3D -EO,`rAAbPa|]$Y "i{( :a\cmO,: !/X7 m Y@m,U<]*VߏkU+yûb% ~w^a.(2|9n KX%$7Ȩ]ّ%9B_$T*k XCp_ $-**(Wv4W"|tVrYj:kҢRti<rA?89.0 Y! +Jb6ouZsoqb[Wkp"'%L{BaO.qKia ThvD7* 1^X@h"NJ[)*_ `,$˺R e?JRr@޷ipiIOƚ#ۥ[_De&r AZpCzԸM_x5|ZN9XNt~$/;u̲hiZ8j?-d~_toٙȑs{ T%JJ /x)TugR]pO}4ipPh&nk%WKsEִmŅN?Ȏ1nZ9pW/Qm:7ui[ی4/<6Z D Ċ$ކN h QҫpWgQU&ۥu;y N'3k`\stg۲+4s3Jn$=Ӵ+YNOgʢp\KRC)5PdUI{nrI φwi2Zi4ğ8'h8f.|3lCMm)L CpbxwJœF9h*SEYS[fwƋڳODU^Z!'}#-OS}{GUq@`it腭PwGry!i͠]_?i Y{&sƯı\H' &Z†˘h 3DDeJ#]Z֊1ݎq22Á@W~q_p"m/Q,2.nb=k _ۯ]<&_+pLhrwiM/LdIY~ [ώau+蜁%g" \ԀwmWDTr 4ak2a'+hzo]UDiuLlRalӘkY8n{/~o X8S+Ѱ<1ːfق5ұհc׏tJv@tM ;T3 S~P(nݰ쾌C/yYXe58Ml |Є_@f :=/FR}餏$#)cڰ_Z=spxîmJ_U)$>P?EfL:FexKYgJr'ֹ Kf7Ds wtY N uN'l'؜́4h6 bdj/I|Ty05P2(&yyAbULCׁ'*@k0,8c77lIԅ4Y5ͨloY2l'0[_{!5uUNTǷF]cw}%W,D$.Qg8蚫- ]!7`Gaf #S=ɩ#tun^x[1q f1`$9Y ڷ$iãJFcJ86'ST!R0=Lͅ؍Q,4CHő;^WcύT-仨D*(!Z(ȸͨڲeV:G{Jx` V}3>ʂ)(MŪW$I̼~ur< 0k |7[{1˟Ʈ-g3)3 v w$1]24m(]Ko2֧!`%ǒkk]MA>uYѼA" ~}9".̸.6@\ ڮϳ.ZRGQk2l'k#ٝZLjkz+Y2xA -:N2Cl<\ƻbT(ސ BZM2_%:7+($<3.n!)LRPinua5PRdDN5G}§ƣWTde+ 4XF컿v*RPhCOJ܄(ju,1z38Tw:^w%w[p/\<30y1=C^T_v&^K7hPG)6+IO2]&&I5W2ʩsїh)]Rs ?zZ Ә9!j$%pL7$KHguMEͶ~kݞbFXqVA̷ׁ4V_m'׬l&w{F?0,;`ޘnbWІ͋\[P_‚r~VE7I԰3fDd`7 6uI,Ac⃝u]f4D,hy79gq$w-;N[DQhbJ.4k';a~Xj'뙁)N|m sY>OP&4CTk6`RԬ^=`J<ޙ]npB=G#eK?r\:+Fx8w1iT%ΔmrN&k&@i VH~#g[ Cd~w}S\В!>j#3rؓsnS[3ˈT-%5+dϖvYrZ5ڪCXRwxHx2c,c>Z8tĿs[X/'!I*9Ek,ٹmvpDڌȒFxHUΡZxs7AV&Gz'UgT }KycgȼGaE(?#lט)[E7RA:9 D<؆JgR.;[1IpGG6#>8Wae0M Jn}kB2mM&j-bJmc\֪g AUkNpm wN2>o| ɅbI,N vᤣB>JNm[3LV~*h3nDZ ^ ; ,5 e[S;qO6K#QaӒY3`͉ѫ{fFtS a[s@HBSjQ=w#i Bɹ7Xz;T7ŧGCg+Fh j;Ѥ؃5;CZ5n>PbH608Ck5ut\z(3+ɞ$[ B[eɸ9Auw+ë|YRw !w7'hW@cE9K@hgKX˳#إ:J, RZ6}'@/߽l-}6%p)֒ma`/CI!%E0Y9a̛d0X#h<[sGXBXI^t 5nX.L.=$*T\n=hp W:miO;0m1DS H >\RK`wAɻyi~9IJ zFS5C>:Ruv ONq=V#EO^3Ί҃<2O Q e(tz+~Sm!l'SB3|@HއO :gf֫s$e88w oWmP7$ɖĵ'RxXYYJc 1^_q*m dj,{Rv<K˻м!~$T?e/zuI*-`{ ,Yny.ؽnd5Ү)9SH vLe(%bgO(f.@&GZeŻ)( clwgҝlx&@Ǝ 3z#f9NR4ʍ V'|5ʙRm&OcNF"y?FC! "M䇬X3 iAAe76ϹxE9N}<(nhF/FޚTDa\ٰDߧCg 6 eCI +hK<*u_|d% K0,+4wXag >-@]:D͚qg=Dղ'@S8;Iu^Q^XN9I(FV?}DtvqvWEK|mw$2|zGg#?<46JyU"~r3G"wC CZhcKL;R^ 노 qp cUۋ6:  6 1 5'ӗɵR⹳jUwoY, 5tYݻ|jluiX;bSPREw{깺NjNC6]skz^pA.ı- L(_޼F-r*=sUMc_#w:?\t*w0AdUO'>MѹMDh~}knȳmHB,ݹģq!4\s!r3kG fC邜!* jӘBO7=/IPƓyz ӰjlTӮŵm=t ,J_g$yePIy&2HHe>?aY:pE)ՑUTo-"wYba<^p/]=%f3i"/޶~}hDזݜgn*KKY{rYm%䆪ݳ!{C4QL-W1qE>-'x[9# E(l4gm^壧W/}>C!'-ir56W191 {Pe ]TPo~"@ofX-KbArMa<$mZyvݭ}byA`G̠A >vUXd'GUU[Cyğ@D7taHs|֫N_E&_0$B=#&XkߔW5{hCXζO HT=Ɨ<=B9(Uv)g҉dSh 1%gr{Ua.!S6m~t*nY,DxKa$#E+dG/z쬈¿?o@Ww9yi2[L^ F\K:s[GR( d1dJQO0W<9AN8SaNKZj7l",kQ"%лoJC,Wc,V \\V>3\Ѱ(PRyR l6с%EBz>~q{cQD8ݪwf:\;2Lp?{F2iP0U"UQEꩲuo9ߟD zښjw"ِ %[h lp!rlNJr?m`Ksf46(W? E H>@06N>nܛ }h1 d`\-3‡ۯu8 odeJiuw p1[D 6ʶ6n31KY\r8$FC߇ԂZx2^ֵgxzE}@3-~L\*4"QtP}I]Wc9B+6hw Y%tB-s`J`eZR^>Cu8 Dn{͓X=5:w&gghQ{/Z OwN4 Z>,z$}/.;] +\dSpѫyeh[Mu_@ٓa'tvWwKیQy+!CQɠhZfI#F AY_s|*PcQxW/'.mT`a8Fw1p{e۩]!{\ Y;M/_4-JM\u }.a2N||ХÖ]1=`M,$r3]~>VL=|NX %大u*qWGVOK?aJbh&@y]!F/ %#tm ֠Ԍ~nj %gZ@KIʼn=J`U $,ֺBÏg(7A?RdO/X}"G$R - c|FL$2V獞Q^zJnIXGA5cOoԼg0M8<_e) -iBm7Jԕ!o|=X[qʖ3 4sS35+DT)`pC _s@AX{g% s#晣.XBkQH>uSVG2m723 B:$\):s1A{荛TۚE|wden`܀ pea"83rlJ,g#3*c+HVMkPn&Z^NAj1<"]tຊU/eqZ6zoiPzlɦ"j|E k[5f69zCigwnb_|Xx${q}Qq$N%&v^"TޘTJ&:~D 6-?>z6=@079`[׾[')&LU&ga¾9 gvË 5Q F3 "l2.q*B]gj[/+ķWIdظO_d| *>]ل\f")-2a/|29 Hh @?i[dSU;֞2@v1Iwٸlꔈ]^@ޫIbGUǜ|(I ^kTַQ>F^6\@0O"g;XkT E®ui)5 >WR kbl2 Wh]jAf<s"5$df=u=s_2ɦۼ]w>/SP[@7%Wl ^w^ UjaX801e8fokJ8 'tB4>RG\d䔃v6y mѵc9pǕCm/WEYyJsCe(1mY4ADd*`|lw4}8Q*ͭ- Eꥉk+Sn{(vcKdxfK&1IIḅpSkY('@Sub]8vKg[b"ybk vmdSPŽif4_A3"6:bfr,RWWCҜ05yhr$>s3~'/HNpc[[lݝȃ<=!nH]f/r!` e reS:bLlߒk;g#4ɘ]w`"J';.7ACʺqFtm?+&g>8@q{<(TP1pNIxvpKNy~a،Hna}f 5aQ$f124ƬHNOU?a"=tP! ?s-|QTag&m.8xݠ|<}5g5{͛MOӪu2%"az$_ҺE364cndbZLj!LAJC>B yb߉]WLo Of‹;l ˏqߘ+!e:omƧFîJԮjJVɂ<0NhKhU ox:ßddM J4[_7Wģ8/K/ZVգ'x5BҀbﵴ ,snқY@X}n%k8kNܗe_`@p!<h "^w  0yCtЕ 0?J`wb^j}bCQ(^UI6K 7-RpV0cߨzZ~zh& sߤ!Ϩz%+~-A-[~OHobқܹFxi@'- A2XAK왁(r(Cjwv jO (q?I7V:&~  䝭9mCЍ,Y.VXLrUZ7FЯW'=Jpʙ] ҖPc;\ |^nbDss ;->e;tY'oIiG,Xwli'8KT좖A偺m` E#BQdM@RuC:43Mޙ_qvDL5=_ :8LGp˴~}@g1M \UȌf@w˂jlM졋 lUSȠl퉲YxR?ة̦ix1(sDE8@-Lf+;{.躸#sO``WʆÔO7#2?2.36!?WK8>g0j=FRfO;\Id^Fj+𖽞Ö%Q1`#9upX=d񜝞/OO1wJB/чibМ̐g9j=d [I,IxcqM U} pf*ݟN|hTMGYt#)be8C~$ЖQk bj |6˅,h,BU:vhiشDloIol ڲj-t 0"lfqaʝH&hux+On!bo]pEVRN-jV:ޣfwp6zm_W508Gj;$)H0rU"d:We~hcBpq Rt6W:]-DwC+Wq8Wm;Z/[ L{o-<! +NkFN:$Ƥ! (ۥ:Qo#@v`xsW/HPۇ tmWd\[pB@[]GI@Q Vܽ B} \{Y,E^xBۦ,TNT>OTui=R38<Ⓨ/I\]R.$,_R[҈ .ToN~H~ygF`A5eYYKq8bڴwJr|[l+YtCT&T 1$'|EEE13~!8S:dd(v{!coy=ZIڶ9`6ٚ)_QPȕ`1$4<둌6r0+9y+86PܚNS|RD\*l fBnRӭ5hEL9V¹Ŀr #Q]f472 k0 u}ޠ!$_ (&GR[#/ЧY.0ٖlѥ 0A5wƌ{+La*sȻghǙ5cq .;9vz 8"EnAη?'XwcfކG֗':eNwܭѷr~GԤz+)0NѧuV<{N^~1HYJU輖ߐ,lwO])i;K^K)RդiϐW\\L^A_ MX<OWkj%Cˇj!'挝^#$+rD(mYǞgǕP hDG鲗Zb~:xZW$7*@@&^eO$j gLȱP9B=0}®eC01b"o*B^Z``_?ZuߙAm2rq m, %0YLa5Bf&7Nq|Y#9Pᔮ]sř2ٱǟ8TOwGX'1RIًh` ?h'H\^5@5gxy {JEg^oQQSc _}QYNQ_2p[T ;HAzzKċcVSD/v/ms۪7;49(r93MLB(X-v )6/ N&X Vz(kKX?g]%?2pݜ%$n%^zХTDK0Xl;U VdYoB8HhL@ A>x?_s$9iR`|h[Csx"ָ(G.28 JC`yFe};8 8߽T/,ZƘdUkn =sn*@ fr6uQqQc8ԀP ˟8bw]*\fHKؒ F1Fˮk3G1i@)DFE&h u}XU eU V@ j{ D+I``~[.^e~L Ȱ2ham=zW`vak[n&HFɯޏ>Ź_e`E 5OJbHQI`B`o~P )Ԉp U$ȣGL#f#݋v$#(jVׅ蜁C5S[֙S+9O':3ǶL JWF>^5H O X;4_~ks 1- 8sz}"rYb`Uj_2RuAlK9. 2vt.Ta)M5)Y27'S"H8 _dTX'i[X;<-36ޅ{fe(wFۤԍ`e{:}gD1ZF0:zό95SPkS4,5Y B&[5 EagiC)Ӱ:05fDO!n;шAq41Z+ \5m+A\r9!k=.&z»嘎C@Y<1<<17qW? )[՝zx;*%يf21VpmfG3 6k[cgZq&*Mbkg +L/.$NT!ҠX=Jo)nW(D , Ip .p㼐 8K3Yl}X]QT85KأKS"@$)~=M'ZwFH R p[CzPXWt٦Δpm7!径zu! \B"_TS22}Z~(-!¼(Wl;$ߢ}OD#9NFlt)ڑ(d;Gds;cUntPm'DNr%WS=xxоB?f v9BTk`suoRB!e$f'IhDuOAP(rY6"~[PKHYgpT+>-KEgA?I5 O(hQU!A" {K}rӞPpJL\9z[;/)n.Y昞Y](I^kZ9ԮM; xKx)R1kc~+t(Y<(洶=:3mKoz3"BcЅ8Mg-4fTE;Mz@GpLZb[i5eM}튾=%P㥃(Pzp&J Ϸq!Oh-LB_éӭw's6TRJ-$wv.롔_zW"VigsZS|V<&ޓdJk /0Jb7np cx]'&S \fzޒb} Jcxӽ!̀ M0fPqʰYgϜZז|d{j70aI); 3Znb) 77 #Ӕ,Rh_HM5A/'@r cbC OhޮI 9m mӁ8m_@9(iO\GHF!f6Pr.Z'_$֤B$v6F$^ l_K:`G- \qnp~̣\u-hxsz49J8aP&wv[:.ڧ~@R8VHf8Ԡ y >$)eQi{ܠ ~4Fށmu½{2f,'%~QQῴ⛘4ړA]+aѺ$+:JQ?#4i8?Oha/mI 6Hч/26r>\jUA?-+歹LᏵ?8?d_oA$uV#AB܎XmrLP$/!ik}fXBR,NerK<]ˑrޔ&RT)Q:}qJȸeF<=rOOlXL{GX%jwfSq`U,&uoXW䐠9x#9!@M07H9Fb+0;/x{)Xa Nkz®,7+HAUŒ ~?S$do,"_5. bX:pf` z'Jk&lw4} %f[l.ѩ 7};@bb>Hb%/5Mq"<;!BL';xf b\!A3sgvZ͔ 1ޤU1ͮEb!ҧ/m%Qc)V#}}ZwXZ2:ƈ7;NT-7C-\[*G#3r,O \4[zlV QĄ@wKJ _{fd`kٻoºrɪEجwoA;<\՞MUD]¥:6fI@2H)~J1TJFf͌ģʳ%P1AD[1_9@=ڧ4yi)tђc,Ƈp<ڹ .G9x@x:T%ǡ*l9Qsc l/ 7d}=GI@8j&IGFZ.,ƌIS>x/jx4F[k^'o PŐCAwᳰ YM bM{qH#,_pMYc6r(yU]XUkLWŗW7Ϊ0b)v%9d?,HK`enU̺#$L|Ľ`t~i=(ko8}39`90XR j5ʄXA ~us (ԃX'T$w@,y%p\Kk5.<-@pgn?!B>LUSO(Ҽ#~x9Cy9*{[+m T"DYi`6MkM6gLEN怣%Oc Hj4CjmjZ3`H2 ө.Xty$\pfNbC@gYZ r]rh9G' LHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ik^]Άxʆ5.f-9 rq?@ θ+MJ|gčKHY54-FJ5>gJaN}3e*HK!<]bKFm/L%5YK>6h+=7qdӹU Hu01DnJ}|+,e *NuXAΌ!{%Y`|wF9A!ORת Q5Ik&3oli:owޏ6{E~>=[ %GF=Ȣuiq@dE`Db`/fe>N;_XHL+6>Px9Q3k t@ߖǿ8{gdBzaXySƞXlkIKi5Hg!/|>dMzVy]y1 ߑ+ awG&fhp`Z\c ZP[ +-2]3QUcAh9!ͯS%W*gL$8C^`jM^;A8f-U-Yl͸фOEMJ`LfFRRa[kx4JMeN] |n߰$xH 5HzDܐY{8a}u (hHC${o34q*r~ъiWVgE_X˹˹,r_Z]>=; T=0o^ȃ^E ,SI %SM.F8 <y%6%[q HܦQuG@ȤVok+0`m䥞:4(M$ChQomŸ0~!q Ffny"-"Bm @gi^oCD0R^8C IFyy#qYZl_:ȇtFFq}[WXπ _D"%ޥ߆.4ggOof @yX3<: u *V(~glbٜYɆ-bOlOK,ymιH}J3fLM.h=̂VkF0kZ'^ze$r=sF*#2$0[){q'̑.j-d`= 4 _95ZFH@>|ݶ|j#VL6ũ=",{r=碠4 `x"&c*o%Vs+7~eQ9BLjS4wu_;otܭ n'IZu|̲lL+.6{/w1PP$ ɱgYZ 9G# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! W]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H 9;1U`5~n?VC;l3ܠu|',AoTΧv__OⓁX1vy:XԀo E?zGߎx/vgDC^$#fhlD ~KqΙ_iz u>s,x ^$w&l!V Z _ _Mv(M6<~n7APҠ^w=4$LTWb.(){%D2h8o @ Z ʕaSƻEEy`0ln=$\t;i+[f]%d BD4~( @A3^1X6B^mg#[%{%aV/C@"m< lJexu&>,kH5=(K%G9]%Sv>uw;"=joA&n\,Yh( nA?q%|"]fzh#p 6rCoGp^,ڞDA!A T|bpyD(ٹ¨oO_'iOL6\^uVmz ]M`-V+Ä:pW58s5;Gy 꼌\.ǸW Ul.Y{9ko 1b`T#p۾ʦ0~ĹTu?cRI\?_48u B{e HH'JH\ɲ:hYH@}\{{ ~nM#"cK ]!L'} P@U޴5"Tĝ7?ҧI&v=v.V!>c)+K 4  EE%!f)ꂡH󳶎I{XP(m Tqd}OӳCOH+ј]N?5"wHz4ЀKrg#HMj?6pMիvEѝjJY*}  ˙M{|o\m-rnh[:EejE~Q }Iys 904/_$l;> [K=_狜55skwSW~nV'j co~ӛ. z.RI|rzTEԯ_V{eדڬ2!z| )Z67vq&z*e*y`|މw%GՁBK o70hOnG2%+w@BWh.ůȇ9=04ޭzݭV~5%$GIqclsݡāzjq8ZLe E9%DՂ+dF bL'L 1 Gy}IDkSƎj3 RD ;9IDV^yoiz^&Em}% ^t/?`-]zш]F@*bJ(,fgH#.ySk"\zpVMaˌa;9"[iBC JЋ!cpU,B]َ]rAR(W3GyY_:$N (יx+ݺ$!7cx_[cDuY~SCNR~-ݸ0gqnPPC%LnDuZ#9&4n\L쪸 xr]ơ#a1f{{Fz[2h;Iw?=uǢT- Sj|sҽ_|EO/ꌬΚ-ojC(v䀠fX glȓIb-.3ZoЫ譟G*HR|X-_$7d MCQBp"7vo#]IrrP~uL+yʵ/zg0cd*x[P`F, 8S(OY?$!T`̠!6hxݺ>VT n"qEJՄ'At -]y3vzp's5/R8>3Exgo`߄ٍ($B*ง6N_ e,v xѧ<([lvɔWlTkHxغnug}ơ@!YdV\y։vTeUDsWtY*Y&"d_*yFjVT҄fy@N0%XyӫT@:V89(6Ff>*+-: /;"0\zPud @X`atk{ ք9.ec;Bߥt 3[[L؄=ĺ )^AEfE&;L2*@×0]DO^InѪi'tk'k]բxJ F .56w{ѡ/dnē5"@ }je7Tne\e[(eZnxRquGm:0QrPEҾv0qj*L.@7:KӖKLoY@ R\]M'OvMZUYZ@=p9˃|w!VNFu؅8<'̘]ԁSjJWxC4.aCEurqN T1V8ѱX^S?k@w~_٫>ys ćcEmpH:f.7;K &zvCz~ W9do8,v!U}9Z*k&a㦬$YqʾަnA0aW":"\eσ4V|IBHx3ҡ;l^\OsqakC+q[ çlik1G@d U(C&~&DvzvJPa *RW9'T~Zٰ])$&_ [u_7!nA3L3s^.}y-[VKΤ>}>m;PI?g)1YZwl.>Oa9+I ՟ujD& b۾rHr*GTK)A=r[Vm B60Q't:"-uuҨj(0?S~mSf1L+W#3RP)Lh|+QV˜"K m8VD@m $T)7T7% xW.rXgfx6Qa"q cdeI@[ηP1P!j)?-+Vיx $w89⵺dn8տR" r>Hx&ޔ C)6m'N.;هbKD-R00w0wK+GW8ΡK}#kY }Pz^#_"D<-~ЄRflZp j1ObC/95䟞k+W~WF'ę3dTX3'&csu3] 9$4vЄJqIrB<ʛɅA9e]Uӝ} @b )N*,ڏ99(*yńsl'Y.4$G{978`{.|`Ͱ͎MegɬM(ҤցGGӮ[I\ɜZ&t mau4RG*K 9oc\yHoOE9c"ôލVywl(K p 3.;mC5lQʹ3UV:[e; (>àD+H;Ԧbi s48^Ǜ*%C&p'5(|3޴͘ ,q 5D|C!)*@{V_"h#+ } Fi/W":ƚ%8!BIv6с $|^W>Im-ǡH$gjQ߶cJ/Vj1T0n{P ^vr29H ?q^894=K|_v`VDMi:i]1>%=?ŹӲ2.=J+}R1Y]E4٦&Ob/Mh+Q d0 j=IJ|[ N\Wޗq[r%tQ㣀L5C>&l@)I20ճO0;wQ}iyAK'4x`p',\Y宭粚;זT 8HRA6r2dhI(CO Ck^ u l;.nި yXY$FhK1WG/AaU})Uc8]6s!KOk3iaW6s~VVzea`g1JIs iט ut9![yMJClɶr(PxD豇%AmY#J']Nv@7"wZ|+:ɖ ڰt_gds#r֗;3IGvI.ǜƇmpִ{ְK) n-Au__0d?P#\{sdx,&C2gzWR&rʘ[Ie@,^ xR|e"?_! $~etk dJF;Mwٚ2$| 'ZÍIHFa KFuˉ. uNaFkObѫ/[QhWЙUh̑w"9OAeجv@IPJ> !$}G;̒$d7b-}UtSñh;B#yX#g£%Z\j:z < ?.pҤv>ppxg iin!~կ'pf~gۍ7l㻦LV7:7uƔKwUj!;_yze@R; =pJw=AH9`jx8e$/t?K{Gs%f1wmA%5H2"5D4\(Ά.vd Fe WB`T7!5I{`ZtK/W+ bB8TNk8 {@{-93J SNcw薜!YиGUi]x>n4WizX*i~Ϯw*a 9rqUfG P^ W wx}Ce:k'FzrDؐ?5jL(F|$(D~)OЖk+)I;X*$M;RH:%n}MrsYO~⮲ (rޒU+ʨn3I7l XCiE"&e>~JRI)g}WLYjOXV$V)uK,LIykoz~ip-h@hD7lY-,Qw|rTGla؍УCSb_`t˝WpPDUtUb;5^މί~sC['~ cI4!^x c + e f'0RnxUe+dUkkN %>#n8% #!x^4ofY˧/XtcCމ*X!AH,2k 4wJF;3maPAr0hq ?}8'ZS5@yJ}@ΕafCRIb[ni)><yj^yGrR%HmIқM}TrﲏQ.`ha!܈Z4~IY÷&"9RIwf '4X8n0͂-ekόؖuGPඍ}<ԡ&Nd]8%F#Wvħ yOkK& .스O7YCtp_qٱc++އm G!yb pN鞞/WcQ@I#ig]E,?_΁&C P\+ô,ZJ8J#8Ҍi1' 6LP$X {Gu Q/#C!ZYrR-5*"glmr/A "%v-S<8:OMƤUhaѶgzn(RPhx)V`=>$z7jiXNFĵ6/KըNu*}<Ld_C{5\ epPH0YHk;<=!0RI7D_q/Is r#_h|g`* CF/lKJrONr7]BY꽏kPUtB뢶w2|E!8y(_zfoFOboA_ūӥ9X$C;s 3|v*Rc5<vD\4/wf8b\ھ"Sas e%gFUH$K:˓0džEz ʿ8A6DAuGJ ӐE"}|\-hÿ*8/Jg)iJyIsl'19ߕ4>]8&wঔܞ3ejYYv8ZuIL,T^CmV*Qc@ ?NV]% R.VWYY+\4Mc/ٯt?w|f L^97Nm_휡V"$=wNqT [Y KwlJɇ4`ukźKZё q_%[)SbmeY.C;C /=>NĪ ,b|j%U_=X{Iiq #ߥutr`Al- 糴> w-mfuzNJM +isS08o(r3 + a:b\m01(r OfSh|@SX,ܜrǻW'#k!>ȏ۫ u R /~'ӼpƸ<Fn~_ꍲPԔK %W#tQmB:~;e(S Z-vQe2K\qz;:pVs+Eyym[+ p]hJr$u{ Swn~"Kk?Ţ [묑lշ0K/*\ :f&ápA@Bh6d8#J@"BhT8L)'!o2|x]ˍ0L13Amږ?Yg]:?>e-'af(gnUݝ+Dƽtw v fd\% iG|xjӈwY15tHrC? 8Z^Aien< Ir}Դ%v:TNSFlèfI3?FgoNax'l%5ۚ\`mOХzpu0y w~D*hY~/80Rg,rMaWβ?q3ӱt /rj\R۝9w,z_miX}x.J-lK렣\:B"3 ZQA?VY3Ѭ'koO?P漴U` lO61rQv9MdPP&Z<5~`S|ArS㑁lM];\`Ss8J=< y'TOk^Gɓ~ĐW.isAXIn&O@a?-Si3dgR$Z9kSeQY^LA1jpS '4n9.dgW@MiȽjˌȤ0deDa&|$ U%B1X.FI ~62E)rm%RƪEGhJjcG )g5w] +%qMJ\慑Yکݡ q@6k>1k fԙ%C2q}UWҐ{u >%% wx.*'`ۛ/ۻP."j~|n/֕[86?!PHwPa83JQR?:{x; 6a@쥸Hji,xЭ*!<؎:mQn7xK ]e$*7lS V=''U|utԦT2K`zT]d} eo6jjqjL~¹`\iL@"H9tvQ2$651T@/Ɂv>#$ZqB)*Bp2bѮd8^C`Z}@GjjHH+kup`͚GP-dNs䐚fFjߧPF6v+DM!i56P5\\qSjEydf9^g$eW=*ΦoӲ0)> `lvĮ̕ 0@/O'$YHrF1~a6I\n(92'0R9_ ,hIo6C;뉼G8Jxmͳyq rVKRNPĬ;,&!_¾ rY/C,5~kNv\-RuV{?<6'e1˩ RHE3.g|m b @32 XNMfxgDw[^;W/L$?bk|F~vVQ~截5ô զmkt_HC1]YmH3 $utPƒcqߞxwfˌ} >#*n/2 dȅVƼFWlftl)% 9)#* i>v G%!m%u =ΝtL]@A=cqڀukmuhuNh2bc6/ vA'za+*b^YA@LO#1_޸g{68DqL,G#~ܦt#.D٦ؖ`TII&_M6Cfid) 2RF qNO,BK,@9,+7͇?]C$&mjvX2j"w:ĻWOy64txK)㞥3aطH^$]j4٧`Viv, 8L&|7O3H}bbFt^Ȁ)k0o῁:V3usnGR09C(m, py{MjyԇAj#87bפu_6kUq\WAL b<o8{߰TY/*2MyXBǁyAioABXؠ@&~)^`c쿭d }ߜ՝_9OELnlyEcwso0nvÌ tk1BlKv>nַJaڡjީ`?n.;)Eg ;F |焳 `r;CB/^00V"^oS+al#.*/; XI!W:q=(A􅡥!}SDbpiĄ)UCYR9*=_hg\mO5 YkATcK,hĹ'-}L†q{CmC)ҝ/ ć,^DyZU1TGΆo,oN[ }I&,'2hy (@r | ^{*5 H릒SV+rhsVgh](|y ((#{Yڷ7m݊Mp>6bJn@[s5Rmm2ӿ R;k&$^^ tvpYVO9q4m6kYRtjpILj덿ĿƷu[P#R.[eX5|QȋTLIX׃{oxf%!|yc_|*gBv-Z;Pׂ=!U)] AO[j;+weR ~Y'ũw 'Y8U1%?sȯlL/ ZG^7I\z_Bd)9.Qy!o6?2L+e7ҌP帎fŷ^r'A2"J:7\߄\esm?%!!1]:B- K(mhYG23dYyOn "{kf]3FP%q&zsJo,,#%;8ՔqtbK i/*c)d(ᤖYB<"^WWHW7M, Ͱ/ ftZu['1ղh]"H#0]ce ]9Tz#ta2ղ0+%rX4ܑy&ї+u-{|B,.!e(k2Nv7/5^ }@f5,7VفR%'c [y |z&B+6jΦN|G,B}qǾTX=ҫ]M2aׇyPTg ^O6 }}0? n>tw4CzBF Rb_BpuJ\ JT?^lZ!'!NߚR.PJB{鲲Gt|BVizo ='d-x}W0,•?Lq5g07w8D/۶#!wYDW/{C0 :V!Xc6C] Hd囸ŻPwSiU®܏NJ}W;24ڭSZ}H{KdS݂bRʛ,ofUqQlf#)imbAN'V3D@EMn'(h}{Vrw+|FlHOcj_3₈lU!ڗ6IcIpT,qʿw1 f0Q&?pPW ?oaA(+/u}*{o ! Y, n`ny_Jh.P@<ʲ!yl) ;}!e3sՌG[k4ӫ2v.K6ùoaFO>:- 퇸$Sx4S _`%Sd '(ؓݲtgŏF#li/bBkdp):6̪yd|5s e8n;7؛.wB/3X+YA]\B`sTz~ֻUf_hPM39E;[Jgj73nFJ#e'bya,'ԫ= a:I;*n( _v} _6sBmXb@>@V`e@oݫ枋 7EN){@ް'K_aT׎`patz%/uO=.ҰFw*dY-[¿DhO @7*ܞS ëI/JUZXZhzpJ ]%4QG93ZZ4 ;Sq1qJͻ=uNNf'zkrC9R-]M_$sbA*$x_Jx-Sb)Qٯӡ햾Ru|"N@WJ8œ2,I0 : keUxb!<|^Had`1X 1I;!]tY{IK{x&/FTwgsg/ rapKZ7SiZY_h7FVnx>P.V3UU&/G>q$Lj9d &V@e&SŰ~Aň$K!OM 8s֚T& "[8"륧%&F~ Mý́a!Y5睯 M*ц3#Ae߆vz NJWf5avc5VF{5:P I4b+1[AK#hFTgS8BE/[ߖoc^.0pq!u$*+@_sZ1Ro3XUrI4=z@.z?lԢ%reA RoI.Զ…Tz7ò XExޠSRR<\Kzd_lX؟p2=8=BUPmǿ'# v!&(ձ1wfKvB 3o%rC=},yguCAWom3InidFr0/k&>ˊlQΫ-ť%;y'5߀Ux9޺z>[6zBkJ8%$=BX2gs?"<6S<-9j )_UaNc9 ɮmjyJÖG@"HP5*`=dڤ{wN@!ͣKf0}Kz喁UR]}f̬[MCAT+2 (K6侈340O覝oed۫CJoy~V{v@֏Gk-lګMM*r(2>EPl0Inw+勾Fܿ>mrs+HIw8yK:IiSy*vu~(GI#>D87mHQCiS_BI#8+`˾#אA]օ@fo跐6-/soTqBfo'Lxp"kQ\vА#&vOoC^ˇ 6=UjeSM'=afI>2l[[FiUyfAe s> C ØL5kzuaIڡ G) _yFhǠ1|i,Ґ3\mӼbB==;ڟ53d{= 9 'шHOhF̳pK:ز\WsIl+v`lݲ$l sH61皙]7LU  wstGw<W(cjYb|ƔHX+miSMB;c2 13 v#6PGr~D1st^s(Y?4x>YVQ-97 SldL1L.\f漢̸3k=WvGEĨźa<NL [J%B^ؗ`-TM BQ',Jdj}HӧeEMܐ)sqvR!wSYЈ_r'S0,h$%_5OXRgXF~e?/'֟-=^-%7)C4,vOTS24VQ@x,_fԌӣްX9XX=^M7,E1wl]]I(:eWj[y`V#/F:W߆(,d}}75ty(0~FYmM'cUD)̪LSE,v?'!R >2ѥW:K6ca\fkSK)a^@%MtɈfsHpgPDN Y`%3,=w@|jEkE kjľYJ ˡ8%|w9͇R{c>᜔wp6)Rhm7lM#UN6GD>*dVgWx"u]?yI~H$ϔY!:qtު{,&%(uj tzڈRꉭƝw0 /Jގe-,R':K꟭e| LDcݫDž{!Xk,Π>,jsKKݰ>xs<ʬfR5_ s>Gm8o)X@:H=BF2l<5'CP<5߸ .ldJPT: v9wyD^5$󒗰P Аtiz농OIT碵Wiy]L`m|[Jro {'Wҵh!\^4+̆S2/ب3phrpjɨ%oHxB3 U^Jߞ5OԐg*ؑi}R9Vsts-lH8嗘7nsj1[eR}P3ZDuq:OS1GlJD=KOΥ{pz,NĄB11vBD<}w91fI)n,~uk>%kbn^\w&* P.X;@K1174E ܣḩe#?TiPS}QXo7;_CS|w܍9TD^ XT>˺ oLGND+nw;)Tho!2Cע 񶼫=E ֮\#A@U? [z=_月YHG<Kzb#1\\lY=ZW>z?Q7`Q҈^B`K `w!Q^SWB^r{@C Ұ"S,|uGւNb&7x/%&o-[K3#yAa^ڞ^b!$:l*E^ՄZogFk1ޯwQ~Q'>Uޤa~s : 璯X[;)jfZy2'o{y?U\BR^o+z)(H̰zCIqNJ_&'c{7# ѼlpXTHlwe0i|?9jU3)_E~^2V\Mr`$mFZIi.띇sb5d3G=G;ֺ4gNv \6Ueo;x55w/S]1Pѫ-H8xh9?ˡ(HQ0&е-;ށ ,%6qAewfjBPQ#  IJi\7 +>I5<-W^M|c#.1=LXyc'&KbzrwIsKɿ[x{la.C^XPX*80lCǙ`WjOweqq"'2y딝"a>^SM1}CLvr{Qç,#50AN 30URDϝND]̕<8C=}VK| I`cYM&M7V*ZyPgY>_pC k4&hC9 Br ZvvtHgKl*6<ƽ,:s`l)H:-?wD2_ c '.BhzIo:0 nLipj,;iV~L[)myH(̐]-myZ%ʆ xV pT6^R[\6$e$ԁ=PL{ xKQϣ.u=(kHZ,yrUѮǬCNf"qp*ԭ`z#~e8N/֡qjhz{8a IeW?D.IO e_nvޤ5L^O=KP A;dHNmy4 a!).Ao*ٟۧ;*I&1' wLF5/g3]^pbU]XUNI AK<=xJ&x fcxR{hh>CfpPP2*Ofxʑw1 {H\{{wH\ZǺ.Q{Ӭ&;yR< zW+MA9#>uD; p` '$fanqT@!dlY^H70H8,~躙X% kEZ>1>UM~u{KLl쳐3zXk- .,,/GdOKS yfL@'tc Z.5Dйmxh^LvĸaL`iSMx_LJ.@D+u!g#j4nֹNhKg&WzUчoQ}౰Q@B K̠RW_t~e>%F #,xz YMOA>KkɍH=EvHp+H>4i›8_P4bXiK©Zl qe.~ICb$9{ b@X'ff,|ǕyvM$a8}dnҍc]U4oI++р>] j)_Pp%˱WV$TR*+Ic4\M!HFo-t2p?uzz@lT "Pilf3!]s^HF1Uy0߸5Zޑt˙O9seݢ637`o-[cp'MM-rrg|Mow4;7;G |=)wlwCݑd[kK&gZ7m=&k/?J> Oa^o~yQ , aXj|$#s XVe}ݛG-R+пXw =2x'C㳦\'LKzUW@~~sY%6汫l7ˁ9_>SkJxqg]y -R dܛ/7gwilqN"c;w7oaшu RnDq;">U H1} YybYBQP83sw4Ԃy?˘A{H  =;"pTKXdk{@hc[?o0Y(G]|7C-S' t-~:z#2Qvٿ$ZRÇTQapm?*E%#fs ә7T \H؂Y}Ik3=jQx hU&1unI79a$VL3FԲ)#xB؆H4ԭltfJ/&!r36_bwg(+Oaf=ȑ|Z/LRsj;F4#8E:j c `L}Iͭ*|Q (iMe;uMZ`-s X<Z$rZH{fwzg)ژ 3pNpr?c*,2P䆟fo$1F %eiupI7!G c oVݤ&Fuf /`ŚMY%fCr ѓyYQgU+3U< 2NJ/-Yp*6Fv!*XH: My)RKW=(8?NUu[6 2O()Y}6T?ߗұ A`zʄG;tv1[CU!+rZGJ];-?J}?9Sy3cUȖd:*PڂGzYU'§ ںTx&oBjM%,t -ޭDZN ԫW^H|lft^8\Xi\SӐUe%4ĹFȳ8?i k-d0&;Cꇕ xKp4 l2Skc>ia_%M*9n, L|$t7@s`ҹJ!ᶷ(y%;5X;G} {&"jY|F~(Acd68'GѲuhQWeY{lDeJIPQ-u߳!me,,zV723a= $y2ի+PAE{[vS i ^[ms9@Q2Hiೊu|rQw̴$trս:ڗ:cnu5'ƱLj?/u$R *Y6;ۤ->HU+*'(R-7©r' ZQLQM/FLpjS5<*nlr]Izrco==V^ Kv{/B[Φ;WBI7Wev!Z箤zbb M^p@K.P5RV"BR%W2gѨN]nTR5Ņƭ{3(l]/ɳsAGkXT\sCDӗ?41@t 5C\Z^p 愭̿A=w8:PW{SƇ7yQ L#l:4=k)qcO& ք=)ìP8+ ]Fn)}}p>ȯ>7jwifYˆX4u8 U,@Mm BٌkQd5ZaPk"ԺI.:#Hu ٟ9S} 6 d\/2dqQ{M,5VB3N W([<#(jG/,Lנ1|)x~I/Ȕ6G@ T^5utT},LR &͡1c_eFSZc۟p|x_a+Ee_[xP.s:2FˊOra tAlPg4LCIr*w">u="H#?>ZlF/]lܥ2qm.4=e; MCS#6Y hKjkJZ(掸Syzx`Ѩ+a¥A*X<\ /kI2i^Mn"PHw`؅bi79.kb 5gP^U^G2C54$AR{L=dyuR;c8]q,g@S˽(I8>gcc#.G9&Jp}<ݴ|<< ]!>@q] v4ԨBTH;WxJQ#Z8XX^4CTi̳ճA 8 ~-v6 PzZ9[#xqʸ*`mu PzGpvҲ(MH|M w-x kR._!=]k,+ yoIM8ui˰ׅ~ ~xn(8?ls BMPƗ 7S\s+vDЛ#b&"tժQ{ dߖ5&ͭ1G6?od4;iͷ's{q3<hsa+RѪ }/u mfVe%Be#dv7dmu1ɒbz8N^sn2CZ`5S(R$םֈ|B}GWhmu $/GhZTQQ978@{SBZ^߉ Xaھy.WD=bprߏfĀP)3}dF|Y=tK(΅TH& F}oG3U'X(h*BP;d*Ft ]ew_}fYvtAq$}?~GoX5!T|bZ:@O"b8~c&V汩 ߋZ3BZu`=\#v 2%Ǜl6>w{dr[tmѣXSܡb*@/d15[^m`ѦmGN3UfI KZ|N Uh"_GNj$ a n՚Vq4 ~(p |H<.w|pa6 yfRl 73499R)w<ɀ2lKNpVWG LPw9R'O \y׶ ۺ]S+ IYv韀8$-ݏq0" uf_,Ϡ"b i4xPSr|}[jJ6 Xxv,x)ALuDȹz24FD }MPo AHEFA4v3Tk #0CUmz" mzx#ި0*%\# E;fֱg ,e y-ކ@Yi{m@i&X|)[8nph|?6i`"y6j)? ϹžoJjEL @ށNk𔁍"~$M,g/J"}؜Ӻ )ن2$֦W M ÈP V $r9,h'y]"Qwz Tc t#w $ +cy_ʜ; KQqxv"pa;Ⴌ~<qKn]Evl&ж߰O9c:#(bDP8TZ &{7za HdP'yx" trLGlNo*<MLJ?u]Hek:)+ޚq"ޖ(3Iې0{ܹ=͓JQzw ZK=.Sz`jzπYv}]u[ 3^+ɏTϦvpQ6Gԕnn N}sx/Zo$LJ赴2=˙JL,hKGiY9;@ *q""e B~*Ggo ewŌ 4I!=?#⫇/LZ 0,;2n!x2p:$=%ZyK`@ld'zU˜Uj ݰ^#l]_bc_ N#Zs|6{:4,>yTsKۗ=^CK^0[ῗx׭QJzt/ {F`eh T9iܐϫrPLhALs;ŕ"f|p~#rLG猉5{@maWP;cZ @byJإmyEU\0- P51u?Ĥ/Y z:U#^{%brέvܷ4eUŷ̑nH1na`|Cƴa| (H`R8=qL›0Q{lH v%ːY4hxœ̘].[݋Wяz"FǏwq?pFQ)y&Z$Z%L6dt8r<6Saɝ4hzNwf8<9.sj8;%zX*70wS9"!?LN:BĕRlAWk?X8t6Kz[c԰[…U.I1dS ΑFn-9;^6M &S_[@CoSw98˩uhrb ,Rec@Im"3 pcՕQ6:VnO`4ėLjdv B s3}K q乴Ŝd {!N6bcr?'ԝ@4A[0l,Q+9%]'xla-ĵ @Bv^ɣ hPӮP b/nsmULf"'Tg_= y%Pɳ3"9t6n@)⏺DԼARwX.j#Q2a¥o2hew\WMCЖ_&~Yb#J*< ,IOʌ)q}[D\^$g~ q߆Vh/DrX]8ƛs=1?$ f$!:?`;RVmQU\7b$;gjH֬M3/OvwstnZ UE 4f۷'40W4YTּځ/|?P8ٚ;0$ĞmqN,i+oc ]>qPϥrqGgp>jmN1&wb=rH.j*RקgE_9!5`±hy->)jMJ*u=\?ҟ./^6nD0;ri9"ֲw gI*BdIccYOutc屾p{K%ts`&j yfCͧ^3A a%9u ªKpK t\ByVq:V>Tz8,G׈w+ʓFME}H-mP 䖱D`.JPF˲X嶕a)Ɍ4ۉ 4hQeǽ{U.fXeSD,'7;c%~MBq(LI4+Dpځn>ȉ{"b wjfpk{ ̕!҈syw zu_| u Xd"jr<d<15ApdrŹ~L,b5<)Hbw$Nez}; rq a NiN;:5 1VC^[n2p>=wȫ%u!Vĉ g - 9Jц=^po[G6uq> /}g?x0ɆC/]ҵN<95?xÓmFͪfFdrcF6i\u2}|vI?Nv5c(,c0-g(۪_);o4nr9Eg:r'vttLϵ,2^~SxͶ2iz JԖZ\کEPNIG-ܠM5ڭFWws;)d54"{ȉ-,gT;#4US=NhsL oc"2V:{մB3tg8T: }97iV&; أ,#\Y4`ijŨpuнiW | ,586w8?'A RƤ[QGPjLe20,~C]{tZDY/:ލDbFgiV5hY`#ϩd.]V~3pύV z6a8[ߗdjp?1sjiӝ&A{{`4ѿDKzᡥ|u ],Nj#} PlUNj(& G΄Z9iCD={ʸs.8LP!*r;|jemi&UKvz߁-ׁ`#H*3\p )VkN\$WB]Q.m mw}RP Wflkf}pBG(7^鯠Ӿ״2ض3%UywQd;T,!24ڜ;C8>ֵʞsdYsD$raA-Y 9l7+ڙ؝E:=Ǧ@]TpjJvsSr|9kB r/w ij'p[8_RHc@`78-A[5QH %X@#nh1h?'mG]@93B.v짪,F @sߟ1.心0q#xJa+!;-NM'ZDg"XeN jjcwJw'!9FݥIkiVzaj޹c0C jNn&{BO0Gg`PA+tAc@R @Ny,]qM}/7:2!6aD,rm$`gs`P1͙= ,nCpzK ‚:& bά!džQfOƚ!/>j^~x)p+IK*]d5| \4+Ն 6u/5RqYaJlGSEs8/= #RIJ`mAb?1һMh$2=>}Wr: rX7̅P9#6o !i>?͵Pq-E9%kֶyN ԛZ;S]HBJk$i5ꚁD-KtEl:a evD"GWKcxqYrf&(iY_Hae\·O1 Vt ̋B_,?8>q N{I+._Leq4pQ0[*֭X}*iW1[o9GHoiy cՂ7}}§MC~A?t~>}IH/ٻG B~3f@\FxTg0/@`8ΌJV(>qxӡCQi13 !0 Gدz Zr4q#Sp]?2F=yO9Ac}ZA#8ZpC~ ycxX29!:輀J\P|V*TfR, kawtu:)-9/]9wOH#5|ʜ[V":NJz`0Kfdф8\u0!}V׀ɧirJA0q\N]=j,]z7Xڬ?9rg!,좕<˘f-AGw>{̣FQQ:gW}^|Qȥm .[wq'TAe͕ji!s L$?AgŁ%\C;IZgv|/^). 6֪syXۼ8x,&{Dbu^3>1P[D> NS-%AZ%It0+!f<sω!69Ì.f6zgYZ91ce468f0156039c5cbaf48a1f0cc32305156103f8fbcf1d38d4d23767f8670a17792248e376e814 1a617edacd90b534d2c1ff55baa20ec4380b1664 486a92444d42b67ae2098416a4a8c810c7b6479b