SQLite format 3@ !.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Z9~< ] HOL-Datatype_Benchmark:threads=6elapsed=468.363cpu=1919.680gc=664.9447zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;9v3>*Q@Iwgׇac8{cNwU0qlg|Mz{M tfy9@C9 x F!(Uܿ]s Y\w^P=Hb'QDEۥ`P2 fidb9LGnȾ4TY֬Bz 9 HOL-Datatype_Benchmark8u9I!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;~ 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_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;~D9ѺS.D!UT_ctj6Reў.x~;Cdq; Jm {&Ͼ@._u$zH۷OK+Ukz)Vx-D@e $b Yv7Wp(B\^ ʂ̅MwLY}'(Rj xL ?Ы hq9}:FN7[bg3!}%dkܴĔqjz2CWdJQΟi&@ !qʒmVFJ%59"n_bj;K;Cܻ 9K# |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! px]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~)GkZ'|pae1KK@rAJk4c49 ]ufqd#0ïew+Wɔ;CЉY|uZD06l VT+RijحU>NW:<k0E cd+4y ު-RaŘ6!& n1Q'ƹy w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id520w9I# lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! }]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db¸dY4 uX er*=3nVzvT>.y*+H?%jTB ˒dVDʂij 2 kis ёּmJW+q""#mO[h 2Ec țO;  2P{ gBm\ӟ,3tHTtmTzkq+xWoHW4K?>Mo"ZTbww|ɛeLd tJ -,#jEYu@"i n-6 {ѩEڸQN;Y{W]* P  uyⅺ%).cx 7{ɤ 7'2 v OZ &r@ǸooHsDBrӮp>Ղk=j.k荡ߘfb{8ʮd[Y%Z}";.Ġ{!pwnߠ$:JkDC}Axz\-~`{//k+ 7?|&҇G˨HCKUWw0#?pD%uiuͣ].vEF & SּM 7)މ4UQ_P1n 9'r*ªR xD!¡LJy|]87Xi_MjMf<WHe~7? 8X⑪sm=MNlĒcRlb8a +W"q!ADsl%h+ƻ@AR-G' f]>{b-fZ:>LW%œ0KdHp Xz S~B2Z=W۫G=et^+aTs<C oFks^4soG#͑8*CmrkWث6nRe8կZe8<$iEszD&_y_3'#`nb_Ʋfn1ø/dx>TזGDYI2;{?7w\nSf=Ĭ1pԠM2KC$4m`8N 90 BܵuqJ itMB2*ܶ$jeAU7_z}T3%j(vP 5̩()J5'G~]:ө<*_Hq BA1/*gy0f}YP_>x_x7P$pbkL=a4|]0XwOn)oXS2@7ϴbMM,@'_멿TD'9@/Dc$qF7|g* ж :ZĦmp~؂5k!IgYQA*223B,@&/:UEFWBk{NF$WWBgYZ x(!6TowWj ӡW}ʹ>ƠjX Uzp^oC(aTXLjMV?ZVܾR( ) YE7vIk2>U~iFh{yjG]ciׯxD˒wy4|sC(I]{j,>@<_UVϢzxb]}P4SPX",>tN;󽄩c^GC s"{gC$8 ENRTV:DW>rx.3R)ή"}rC?CbmJ $|z(OL9..g17Q7KNHu%eocclqU. n\n;n?,|!SҭJAA);]zRO 'XEVG`WS,g>I;0aͪ zIa5UXbL%U 5&G) 2oIuuVԊfReoXOATuZwpn>HXV3Pݣ$_Gvy_dy.vXYc9QAŪ*`#7yUo0s 1kL>ojm#拣.V֡:*؁6]ZuN[Br ˶ _;GDgd@w?\ a0Nѿ4jqi_[Y}   ΤM{T\/5סDBLVxAkPl`0ޅJ*rYGfg#nWb7@A9X; l1waKh^4Ι F09zͅ3F%rҷ)ա#(\(eWң'/:_-fyQ~8Ҕ/R5C:!1xx{٬"&vt/`Q3s~͏HZEk"QD+#80wGAgŒlfGa 8τT,/t3W>ޗ~|s iӏ<|VZU[R4(Ssc_nQgi"AlxmMojxnS=mWi Xcܯu,Vx1'"Vy@`5 W@H E!o2'!̪Qq/M1S|y?چ`'ƦtbzGEJ?;(7 07nޢ8sD~'M_Rf#*MgcWa5d!4@Po2J?Yv˝}&dC4ÃeuR+MJL`Jv. e`B(<8Î}8n%=~Q.Xd\o:+'_KZ!y+!c<ܭ;۽yͣ2o<5y-AEWpR8Eb G^.#u'OX2҅*MKjSV=02y5#9ީ(N JT]vpK[U=|mgʦ`+u{S8ЍфBJ$ۧ 2z\il NsןrK<䛧 {`ATݿEv%k_3Ҍcg=~ⱁBU1CE 3>½ԪZ4rͥCNsM[eO(ȐJ{0zqAwo?7|Fi¹ĻXnYKo?\ 3bB`ywN/kmwi'~r"x{2uxy%~eӄS&FBt;HlִjL} BWlggNFiRѯ@h颳/MQ`R6{+~jq8Ra.J,df.Қ#Vt^ѵZ4PQ0b0 a3>hCsk8=sBb#_תB!fb;TQ+i`'xNx\9h'GGGfif'Ϗ2fK\KIpR =h( ն*lyAk|'F -6fPhl^) /y'Tćid, y0E1wrvAUe/޲I'SC6qNc!oGA Vd,Ma&BAtk srH[ ΍+7^vtNIb^͠bi5ZV]1ey,"ݸEjz^j2f-NXoh-{kyX61rpJBw *eP*@O؊B3Ėʝ:`5.cw7K cӹ/Mj l 'WoSG]t:^9L+g)_v6\yVT4GuL0kglWRmrsXaȔɹ>(\:87Nɀ,}R%Ly݈z"}_6I(مN[aEcRe|f:m^5]ڿ;?@M{ϥWE/rQN5B_U.Hj؃B쎴8?ۏ;,Gw֊lDD [ԖV0WP.QfʑbVC|*'7fo>j6lʟց}A25&8[PziC? W3S^5K<d[h}(r[.3Ib#HuPw:#E­>';r/zF WO N$$?UehX|*I*ާ[,JrAKh/gWv*'Zׇ&@)S;(uK'Z2+]8(|ԺWKTG%u]5E]:xWj(0L>=7hΘ /cߩ\Ʀ+ '^oH[GNvU:LM` ؒ(gh kheڱ^|ͻQ<h-2Q~w-|{jvcfٖsDcro 91UydQf`!gpQ6_btHeÊ֡cPqFu("Hr Tsmܝ5jTcߜ3Btb'&{\1DMM%SRΡ=> p.|*<%Ma+nU&ءTӴOb e=JEb7I wUQp /eHWZ||Ћ[J>/18CASawϪ/*8Dp h1 }:!Six 63K tEVi,|q47a0eg3 !ٸWqK 6CC%h+VZD#Ö́97o;PfxNxa%7rSŠ9X+QX9>^G׶3Ê&eRy"/%[$gcĄ.&7/PKI6d{\V20_Z$JHcz:<p5U7Wx p9 n^vFX0d>Qj=ij0KCe;MۭԷTNk_ :pX{e9٧ &<A]_ĝG$/L5NGIz.K o`jզ2o(WKL \% 3LO0 BmmKj<},N=`e&`0Hv<$fH}]fjc[h&Gk%X9`XRo~V2ؗuزLfM zŴvReB g>X|@ěN'쳵ŻϢkL;p#=_ 9`Jhжawq*!uȈCp(ؓ!^))LHPe~)]JWf-"iIRSQEf:Ƹv#DG: hXzky h2/V ꣇{ aTۜGߓ<`S#|n.WSC LMX6H8R#P1tOUA$*7Ynr 9k:)k~-}Y*FfS|6*Y;'ְ]wyh}k?gD%L4VD,DaW2tdqr{zUzx|L**/,zRN"v?5gu0`{XEQ])RnFhޢhhR3qZ%'oBT O2K@I]'9vff_x6tu@@44DVM‰ hJb"Bk~2پP:SM|qEl׺L:θ-I7NZC:[ClPrQdO X 8,IۊuyEEot}</Or[`JZ7g{47h l{@$wO]9|gy}[n'g!$u:@NZMqHL^SJ25 )@Cya{Ao7l+QviBKvK Zh7t5܂yǶhpkJ]~{Si,>65^e$L:Qb=T궇hxٜ w.DW !fڨn;|HoFnU]uϖ9ۭ~ 7S%r!YBql"g5爮BU6+œmx q='R;^8Cɒq |Nc'[7pٴ^n蘣K1a0 ǫ[!6]i4i:lu~nK14 ?Io=@89ImlU?VTj0 zAqs#b–$\0LA& >VvQA=*jȋ~wιuLq%GQ[tjI?dTw~Q~]bA$Ft\|e47sj/үDʮ).E[PHB-νzƭ׺XO MЪSI |)yԇyzsOOܥA<`ܗ[x#:ю'3v,reP |\EZ,e<<%qLW@(4. l~s@QVLM+Zf!7(µ˳zŅ;5Ջ7h44%_U20ٛffІ Z_sšMKJy&aThu'} Yό*9ZWbԂuk{ Y z N /%NCyr<#I7x_vo pA(W7Pn_'7K\dyj.'8 :JѮ:K- 2rZ ,9kk|_HJޱVO/-!^RYOȾM!˒&I_[ˈm󰟒'ߨ)В.\%F1ڐ ˩0M7`ǴXj/+,pTQ:28g]@vL4Mv/hS_ck𑈨?9jft>[[UFX2LuPbt^X?[;,F"}+8ddj׹qϒ]/OӀϑ>uDe5r'7OJqu=CF"l@zZŢ=~v]5ZK鱗Q&Oh1ƒ#J>oQ "ةuߧrq2B%f*}>T -Aq! ኯersϾF9H|L ave]I?2)Dp; NԊ p>cvmmiBӌ5f2l %xR'MzOPhQ 9&^ S^WZ *9W}B f- O5zhsES?3Ԗ.XK*~M\ZQs0Ouex/>*Ҿ@;mE7eX}!ϣ`;[w*] L{JMg[٥ 3ϐZ:Oo-i0@Av{3liX4./<>7u3mqO҆ ޤE-94^0 mw2)E@B=,_?go]A8-,g.^,Nd(~ lYyq8$jLڢG3G_< ={м `Z\@:s Ab#E!֕Nݝ.DwP׃| Խ,wzJƕ{mS'# )gHv~ϑl0Z0)fKoAژ!wB={U0 r$, u5kƵEWgl-s"eEDg?;˓7ߪX}c f0ٗMC憈`ş[E#"z6?TʗƷu4^7R L~&U}hpiKpFև-JoyiR+pߩkh7K|<0=+6jvoK 3TO^Fzty%S[aA{2q=XHDnڱdr [-{w(buj!*."AS8"6Qw-)/x(u>Ņq{vfV~-F9=$CD&z]!<{9.qq=l\-_#dH/gצ^ELjz|MU[$)Z%C%iO>ᶸV/t. *lbx$ }Io&L.sNbg@7],#B].3KWՉ, *^DSĿϛ6_r o.B6üe8ZraWAKԔYhS,,f7div$ʘ Vp8 ]ߞ~`f.pAT6:>bK2/&~ БHJ=nG8揦Z2؈Q \U'p^ Z>\ϸr` úMd膝 .$Kyb\eWh ^4֎=PFm]Y~vjL-%8\Bka&۷=fۦf 5p;cOlm!DX8WW5kF$5<יED2,gXQh9.Тbz8;_Xt?%rh{b;ɟx }"\mb.=o3!> 'rf19$)?ľ0'$^~  ՗?ؾ<Ԃ7"` eN"#6z?k25ӂ"lMOY?Y ٓ".NDoy;}BV}`[եNzcR'mG-e>b[D۴fЀ6 lP+<մ>'J]5@Jٚ_A]ʽK4p )~F㪉D i+)J8TW74|+b";L@xȥ[Uw7;Ve\9ZS!4)3:Mw [;+hmEm=ڦe4Rn Pzk$*rr}=٢9N}) ;/O vM%6Уc9fiԤ@4v!f`*Pw\f:,4nh=~Mi7Mfd`xMC@/YYe *ץw2!T>&[1uNIB;TH29?Z[e ص_gBWB(yvs@`JۚenTI_PSg<@2|v谤:k_Ҧ.=|~sܞW xKa41SR2E'SgM/;H/"/n _CT)ջ ,{g˒&BIQ&da-#JfQ:@M3owԙ5B+C+a! e Pۺ/YcEkyH(AJTmg=ZRn-I^Ix˔Z E0jLȮ܋^tb:ˆP,IPm d:GaT:e?wԸөt:^1M,P_qo8xpLa(Q)T} v.GuՓhP5DZ,wIȂy2Gus-1pסT{*[NvƶWmGLB%݌Qlj/Ct =G-Zk˝?a큝J6V'ÝM֥Nܚpw_;g^ғCvSĊ)/G"Z;9L*9K ^8-3}HQ b"c$߉\dh?gde~gYZa25$W z%lC70%/[i?Β0i+S}tZq[yc㹞&wRdm@3`~ea{41h|a-PU,T94YjaШD;HcMpC?|t\^3DEyfT-?Ҋܝ6aJlh*Ԗl`d U1]evv.bK連xUq:gf *K"ҙE=v,L=501 LB&=:ǐ,][jfaWЦx u#qԊ A[AMwӑ.mo%/GLE 7.H .Ca]be=L""%^5ˆLW_6 L ^MN7?T#SFWuLUPJ RT4Ky$DOJW:uH2[8϶+(Fꈹ=cL}fk5Mu^;rwъURWxuDɚ%ZYȿ虱Ei[֔H#p\j9.dBuoGSz#:FEt~v##Ӌ'3]߸3];&8IoO(?{CU(̦ }q4 44_*|ϘQ&Mo ˋۅ7x^Jowy2LD{~\s*ǻ 7DGSfb m>d4<`𪏆~٪:mxN¡m|W.3j9)/>)G~kG(t$sR]Xz9~3]P#p'!,4M`9߬G/G'oG^!܈>l-.s39s=j!v+M GdȟV^fa^--YPF +@E Nz  ɦM~a%Q;P4ںlO8k1ӳEE ߸|hJStIcvx%|m3.-ub'`R)4NB/OEOv626tw:moP=oE*N@Hh4[~z T+U*vGf.D"ƹ4@tĝ N> @BL2%@ҁ8V}ܾCΪWP79[ /=LJ9¿EwlpQ`@Kq?jD"ZεkfBg.\ "!vlD4e=MkmA,##erSg\6/v}^a{nhK7'hECrn/b 6طz Ni=3CL)ݴo}x4G,<]n.ԨTBzl"&6~xΧq?G+Q]_^c[߼Ŷ\bكXeO-B-57T ã7'8GeDo#yh(qnH3 @&A:&`bXgU#$Q?u++KHYtxxt 57 ,(}ewկ6dcpm^ZiU`t\8Xq-LԜ-0ImmVGc9]ltZL rt3{^o[N\ChDAArv5"MC0,I9]ջ, ̾zkVbfaKla/KwlX?19D!ء\jF[Fk en͔2JI.({B=%:}4ߣ(RIV`IB`JugiIʽ6nvX9b4V+J761G. 1;#Ac "84mF? ,PF;Fv]MWkoA|$8mE[U5+VSe# V%21;JZw2?T4yX@QJ=P)GVݶrmNn Ķ53GŽz?BĽe Q_MFKg:W@d0Pz%tȵFPa0kYO[IT\3]@#^XyӏYqb*$uacԿY# *{f qsq¼DEJJASC<>ִ|L-15щի%gny] Swůcj/{~\Cx$ǙKGO?Jc@Q;6QZfr 'i^}F*ɋbOzq,W59u CzۺTy52(=0VNL Hz٫ cVO#tc0,~ͧW@'5S`SM?S+{l.E*f ›4d=px_v-dN|G g'?Cڍ>†D>gEfJſ_i2Ve7aJXl:4" F}8FzD5+T;*m`=Z;;TY]s5RB+Ez UЁߨnL߁}=SyK ,2U/R{=zBP]&fa^F辳3E=~O)F' $-)9[ a#m$7jA%ȿtArL tNNmNQ;AŬc54XP4O :cui7<0( !gU+5D8b7{$,t(s#@z'ޭ*B؊je( ]O'E~s#Xy8:X &ݰz*,h@ [U4ߛ*[sIT/xڑv%?HMb Isiv 3N2[d}<2r'1LCmaRߛ(V#2A zZ>ՏbIok{NʽtUmtDQ hDPk$ppL׏@e!S<_WvB})^J)pu(^)IFܳnf·D,Ru&eE?\?ohEc|/V4B,hB6NHY8^\=L&=pC@Z@8u14N\gR\n L쌟BWWI%bpLG{Is d{ Z_MSw!>ǛRS;6yK̮\`@$xW$.JEܕ >EѲ*bͨl"Gx%Z=w>BঙXMOLgwР(:ˁ;LiE6[mL̦H"9Z1ods2^J,]vcv[Y gIF)=$aYWH;3x2 b {zovս՝0ĦezrVXCPR I]~j=fb;E.&s,3FGwɲmc,#1zVuv&q`8.[ gl)gO; l"C[GoK KRn9Tiddі4k԰¼܀*dP[CZWIn D=`E3Ɯ=qV rCd>+i:Yљ`y8;鸩A# s x} &V!Ǧ(?hcAHށ,@Oδ& PϮ,\YMu@u҆>(x=udVBu(a5>R, Lj^yĚđ<:sL}m7fgL}iV(c~k `xB3f#ur39s EOKfRJ$naxZh|9ʴMo)R'TR1+F[ў"6!!(Oȷc8-I ZUR4*(^mGCqfNEgUFZ5aDYz  *[X Q cOXiT|?DvCwË~Ce@Ɩ>iSLͿ;(ú~LT{$:aq~W/C秏27O!⩂$I| >Ey70ޙ}Bz{ rNQj5I{`XD9L kg 6[ ,R9cL'EĮ9&6z'7.;mbUp3@7 %?Ǎ}XUakҩ7`. "1ʼn/c$`ې|)P5(dx&g,Q1tYC& |SƔQɾZ6*K_j*:P}R]VaU=uzw2+s+6 Ӕf@5 D#WnG.%9FG s!Z0M46<P%,,$ o,YypޯܞNF_㎝H Lƥ" -uƔIo%?G~(,ΈK~g FndXվ *Ғ%wr呖_jcOћۇXYHS;xQ pQ=mrTpG&;~Qcs0!wQxĚJ7G76K 1Dfl[#jϖmO MψHn+jH̑7xOi.Gy`mka9[0Elt_኉FbxX~<›bndts I^>HN}u(azy$J)oޱicHIhՋJE~D9p[YgB ųv!>㍗<ֆdQPʬ_,1w KRwoe.1|35NDcћZu%KvHKxFTFxbz;N V^ޟD@wixZɠ8P I%w\Plj+%8@F-? N{INE&G޻Xs(`$N|>[A3%R2W^\˰W_ n2c_20w+4F3 qFw;8ɅcKEʶ޺UT>/} 1I1(,8G*PTz1ea=k jm tP^ft8 b ~O6!ڐ5TfL=آN=}~b@~dV+鸵!vD`L߉v#=𦙙<M RB^eA5' U: ߻ANY B ˨;lhQԘ9)1d> ȓX.tg3p%kA̢Yq|7X >FNju~Gg#Mn%?E5=D0 P HSh凝u 0NjS<]оzu}1[sڎ!ܙϔ"CU[3$iCm&#k8AGX(ѫ`W4VdI3P2b& ]&KSeA*! L0pHtMzm$%xrhmGtœy)Gխ[D] C d_<)WQNa(~r`@ ahɭM *'wk:z>>݆k[v]ⵗ$~wh,sT0Tʲ5h>V*OZKI-QSB5W}~Bڼa?u%ua=cCC2g^t 0%. ϑSt$&)+m+P2lkZi0OœН?Tr3152!{۸YO<pѰ.x_*6:|*w)- Y,y-q]ٞz &kƺG@aV % a?ϤwB,DBrj`F =hoڮhI"ɏI㋧ gIo?Knk'#T!9c&LqVV(-۵v2CGVS˼(j9?ڵQGhoPYp}aSdŔ sP/;v F49lJM=?_am 66P/:F eѓ~nqrwA|p?+.0b  -?r!u̾$L-5 :'#̨Flᖾz`>,DX 3(B)*W)Ќ\A{US2(3?DJ|xxTJitᩉWBy H1؟Ψ:*ʵ #?d:@t[2k%wW.6k>hSkz5'@}=1S$x6j717ε>r,& U)~.Ѝ2^5l>jjzp,tg++ئgA+8sIbTO^: x$$*F/J(FQ<^M8Er-}D5!?2i&t:HmjvpiW$J%*Ә -U3MPס<~MhQZ0 }U;v[7Y5eOX\ 19(|¤sw|Ye3ZW90pƞ`'3b}jEQ{qg _wQ`1R>GƷcCx wΨ_#DPDpu7) qtx6 M6AZtpL! [,,߱5;>`_xvEkAW9^N<1 ElHZ=Vbq̇،PQ-d3e IM+!a){kǫXT_?*ĜgLR=Rn]NB thZ^:It H}M.V=y>~B RνI:DS]XA _383r- ۻr[$7寄zZCBU-c}K#6Wzpo9g)HN#n2b[t*%7A_Cf #%蜬1rdFA`w׵TY˹Y"Ң3NZ X!(3l]9Zinn!) z #^(Uv䚚IH*LcE`}L _Z)N A\w,I8"z"I.eG!dH?CIA4sC+Zn`,q0=9ًC^Y/[ ?  X(`.f.ng3|SKpztّroXcӖ7BB= |qhDt2@Y)_%ƯR4?9P |JY WA?ƃ`~}0n*УΦ?,\$ 14鋍 Dg19 0fHڷ.χP7oWo8mC?jWs kJ@zD% 䰿`3$Yz$u_[PTAvlR(5et?J$0i'*#Y|pA-}dS(n$<^!crt=ܸUSE d86$SU  '4p&n,hEu f˶ÚQl6B|B6 m˚RiS)4D&qh8bgY4z{/NrO6,uk-JBLx6t"F䮨ʳed @BDې73tw Iz_¤ʅn}t"3mgIC%($sQH;@y?;;D\N)FDo1Oo~'׭Cˆ,25cn.i!k:cWW"UP⢙m^NAoVS` >KaФ -Ie{Q9=aD%uV^ h9T E;**Y̳X\d< Z  <Z_; $d3¨`t I.))󻼧AC *}ǚs6cBT #SFp$T͛R+kq : ͓M@W)\Rp'L{.P(ɓ:7U|ʗ"V՛?-b;b!B<8ig{h,:Z>lK!_ٺ)?EY߈Ifv='k!>xzϦ]aX>`vD[ؙ8_5+ΙCOŤ8s[ X iey_=#a`Ձid(#c_TNE,];)0O.0ݶ*a GKQȸ̿1E!gI`d%YGZS<0Y^f@=P\c! X3wJL5Q VXh.n*vVdY\؀c$5Wq߀n';JUaGƞ |&ċȹ^Vupʩ/#<3EOSBq[|crW`r RH衜 Gjr%%F0ҼR?VICRr;"Qܬa`cmG73ɒ_3хJ } QJۖ Sxк;ʎn)Y:J?8NiuiwLxQrmzXNrr,q~g[m+,p_,)]Ә>] \_X=iX=P' ׶} xYűpWT e+C ʙV/Ǯ[IWSlKFFĞ[iVY0c^cr!@b9)`t?<bV=^W[3L.(ΚpqGvHuSz穒ЊΧg,Cx< MKQ}@k6O6aWdCB[i'm% ٹUT}AͻOKȘt4yAtި ݅Q5%z徔p`/U䚇%ΤDg'Ksգe *"@ IՒ˛w:v}ZcL!y z_R#a @c=տ3٦1N 3ѳfǛdA $R ۶?8{g%ڮa{P= aWen"=Qψ ~H9affBjN25,l2׈*; -QW?G\¾K %FF= ?M(*xJ_-~t w4r EZ-TsGrC N;P;iDQq<%bB{|Sj.^ Zz8k(O9| ɽn`gި`VD′2'0.i6L:ZhK@Pr:o F@ǖABP嚵ӵ=+XLV"m=@L ʜ#gYK^AgYZg4.Mes9ν&q[HxUu+"L97 %NGh@(9q 4rMBIvcDlḚSdyZN܌c>sGZ%qݽDbbi$9w?hBt?c+UcVR=7-(ZfR_V 쵝;7Ai`Iu[_{a:kvRMzinTDG(U|іO5w_}vq k2iq|ROk˺KJIU ·QɫN'ltB9.H{kPtpx"' |MNWe7OI_7O5IL9vn+kI- ֜G@Ϳ70 ӓhƤ+aP?]sI庉ZDSHS (OXCL&BzG#(Β-y\ĺ2m"! Iw 7)Ih7w=\I1$qX8EMU#X@n^)0a#z_,QVҺZ8K]4j~u Օ=$W?fwt9sBC2$$v% W7->5ZV+lWQitvV%SbXTe4vde=;c瑤4/Q!1HpbFSw 8,/:T.<ޢcu6خAq<9M@Yiv߱u4*7 JQckvrfnLҊ ivRCV* Ir6+Hoc\퍧_G0(;>?䧄[^DZ=l2X ;4&О:gJ0zs@a12N|io(h 1Ư2O rSJwsY%J '$+bzDddk1E1GfMYer :cG[o?jِ;8qM*EN{UX'6Lj8NecY*əD0rB@L2e s-O> f xcV__kxM^#i_Wԉ$$gʽyñjq w"[V xMW,PL}%iC)Cmv؀h#U-ʹG?6|q/$-O Z;<|=[Kj60TQK;쌓) ;@oN=MH-CYd$LzĠddC㿘?Ii Q?sFϡ;O+Êkwc6*k^M/!P -D|NRFpf)/|7 .UxlZ9W<\RIdv#RsӴrsOIC ;b\|UF.r¥rLV'( ž.L7Hgg4[-؄+Js E T wyGzF0{ꏀ` Jd9 >J"lz_~кD1R |"";}WCbzɉh!ۄ_FXr/ҩz5k}o%_e;=.i,OV(BHkzy{9b{WxR!/`0/qSd2jŖc!H\}mY!4Z?[ɰCW:} Y[RƔ^X1_B;n_i7Gd+-E] sECID@PEл}c9I!Tie俩8G*ʼ~tgz} ;Px~=aڻ,e9-YygT:atC~5E YRk<%h%*⾽Jе֍^UkqZ@Aղ`5*3%% dDK>'^$e9ʭ_@!IVb}wDfUv)Čl:vkH2P?ΎhQݭ -Aldy-yeHJ" W'+1 9ֶDBM'u,+m:,..'ZdNC8!? : aW H%.z*<\/63K9K%" zy4k<I7j ) BhXhV5&^֔CV[k/:0@rlW|ܛy'z^+W|μjTY'|'n?Zٛ>uHAPvPQpˉ7˹PѪEo]Ln1d|ՙ.b.9ji@# U[UƙҊLz`oZ}lm^)'IJ3jpT[͖%.[a_v̖:gO+k\q;O;Ұ{׋N;4;P *qe(̿Ѝȵ¬ic?|q%AOb=;5t\2NU!__FP]"Džho§Y$=|S/ -,aq|Vh(Z@AWS؇]Pr0|ߍ? y*w:KTÿ eUw ;k3- "L\|!ݵxV3'bGJP3⦼kyO\עʨt7bFࡌdy+@|oz*cvT @nW[V 3ZSFE gy\GVx0HqAB|&=E%"(*XVN@8@פJ_=nCܮޠE {|"1%3Qj7 bO;[W;Fl mlܣ؁+2*y|3y>~ Y|l+h; CpHiRTpn4u+ɨʗ,*p7Oʼp 1W潠m#w'ɓfSgfGxFF=w5ƝD-n@v $@Twtp҆`뤅ms Ԟqg\W[\BMuʖ < dz%M[܂os4@A/!qfacb&S'*?Qj;l*\gY#r8HB9IBnT\EJh'o/A1b$+ccN 3h,jְYԡr#k˙_/a=e M>nu'lFjyG1Ef@;Y*/,! \?0!M$Cm4a&Q$?*|NwX]i,9jA69$Dun7MæIG#d%2r_波?6Oyu+#}?%i-{+@p}l[J73IPY68tb*0Γm0QɐYm9:(i xXjO^xUsQR7 7j9Ɖ."ejH}$Fg?:e̔Ab= : u7Zd<!hHozE]wUDZ*ib O>&6u7h&bJ#JU]vʆbg+f`+ܩDJL+z1R@ċ3T1+nx$|f[.-cgqmݳK\VcT-:;l?nU6Co8!ONET"-;.6x2l{n8"J ^V<+$ L6gYZ N\#i=Ob Ab#jmaX%awP)OMV587v>f]SCQ$r}m{[u ˁ2=Wـ[xZeJک;j / ^Aj!S=~4CВjS*Cn UhLF\m,߆i=1,_?X`02!bW\Y?vLrZ'D7d ͏ziMi6Zۛda__ZlI`予Hޅ+8R4Z^. ^jDtB>.B* eOhkw̒0mBsf h6f"[%Az0eGGpqZA;Ѯuռ/#FRwD%19B>S +Bݜȋubʽ8%TXAey,5bTo&9Cof=V.7s[@ LTVѼz9wi4ԕQ1I`;9PH$NHJgjRIœ \;QOjwdhEsH4l̞ӔAg%6L#L*!iQ1vRJ [ <#cX ֮`,Lpa sOԘ*uQ쒈g_+L]&^cg_7̰ nF^64fKA n8\q$rrp`u8muPY}G=`^ "? DyXC߄F_K_ gb ѡ ;Z3VqbtEx0܈p5FײtHW&uYsB|_,E{e' ]UviW6m0̵w=ۊ^9Bofk#gIOa[,69VSs|? .o'0c J(7H 7>SN-zzxh{m)B9wp-+ఓ v~B*d OWGKx=}j}3k^}L o|߶UGx̬V@,_p=Nua:5\xhFp}yj-p'?{Fmpϔъ5+)1W'M](U#@nsV{_3dq;SAVN0mm-[pO=n6Q6/״ҥ]eQ#&)" F 9+,O'*CRW4w) c")_)'}NdI4eaUG‘ߒ IЮ4/XyD!߈t-Xsv}Q 䑛J=Dt3ՠ#tjfN  G{pATqmMAݟqvyo5g]6; moNU$xF碿YGw.^[y|Eƪ\yU$j$4 ң+Uuc늄p{GSS׻(}ߕU.ѳoa><^# 2#@*MS^ISt 9|Y7NbtJyBy3;8T&|H M3Z!`=o.T1w<\;5M3Säj@1wf cT\,Lb*XA:+r?W4f'*ݚYc@ TZgiQ*8U)4OZ)M2F$ 7(Sn1)q+p"utEң)/ڀ_N:ЛiJ x`Lў0B6fN񋌡\+!wbm4gPg]m :g5UJMaԒ83OڜCES^f%icˋK!h)˽/SԚa^}*2&ZfiQyAGnUFa WUMj;)M0RLwa1F=Ȫqj2D<F#Bw !HkHu9z7#-)gATeb0X2\a#Klp26I0=yC/#l%~Zd~Y5uRWY"EZ/#ȸydhv;vzt Jxh<"Զ*7[qj ]>{]٨#glw* o w\vqVp/)X^֬e-#gq['ftzQF`b*.k7'[JԪ+'E{H?/EJ(;gj Tz2HL u.=GsjHƊO 7˃rDhvux,9P?H(-4hUޛ!QsHN!zVK9΀ŗgU0RT+3`!/朊gHj+H2ο/ Q MgN&o^S_vO )fc|LnYHN"Umz &d@ &#Th*qui<p8/5U;p?ޘZjˤ`Pj}EYw96Mަּ(\NƩ5c93N ֳ4] fwcoExw*"n'#H:*SS_!+~; vrݍ5O3ևHҡ 2B40 '~pb&Z-` z(6z)+egz`AR/lBSMQ ;ҟNBƀ \053$Q3ژf2tޕ H7cЖPlk02Wְ!T/ G7܊x d:X։!)wqjbU6ϲ|9X1" )_<00N/ajU8__f8ǭ"v'1a.hIWͲKmB{##Q :SQ)vptC|XZF5d,!xQtQws%Yb񆤜XyVS7k>`$0\^2A.1 [ZmsDPݗ{B[]2P~x T{ +{<1j6 J[> s_% l֎ ڗ 3R> h~J;2Ghm[Un"7tc2DP*PE u'hXeT#͍f.u n)7sWؘ+X&k͑h72}2:ĝ H@C^gs2@Pᩖ&5 ؎"+h&-!Ʋ;Ѣ??$fdN4HP'Gɘ=H&R NBʑDiaW ?T@Zޤ hp; Vwloɵ=Q},0ޏ*~Ʃg35aŞ+n+*X5X`.Ů_כ]43&AZ#WUob{4?o<)֯SA"UCom6'Fװo+;vF=ViwZ rO%P 0ۂZz۵;%PSRBq>K5ɔ|L9'iD<\Qgk0}ea /_}*+wG5/W5fUMƳZ+ +Hmh Oeܴ͜[reRhEExz~4>ɮR3AQׄ -! ?~DH_L] ՞JSbi_c.#*ta3.wD$xoӮlku̻beLR Sa[gC;^A;?d|pJ(.KړNK0V,ѪǠ&6h)}:; `AXs'![0p[lJj^s `QQ#}X:7ÖU_b?&сO;K!ʷcߗw6mUzY>~s !Hl_~1[&ڐNj%"wg;5p)MѢL}s3쑡gNn%O8'ٻ$EbTդITp ܌8)')ŵ|:UXx׹c=GڟVI?nf/:0|hOem] #܂nmPD;4>i&F2Y-O]a@:h _ǣù EȮ; j(e'x&ńOyV4ZZ0\+h />v&ԍT0P'xW%7QuN&O1P։1x`-X22XYǏ~=X{N~7ׄD:TT-(s0|$q*Tgfu)qW3u f."GfVޖ.ר\\z~`%/ nHf+!6krT1ɲsCli$(1AsDp3fcYYFNͽ2m"VH- -z2~_ |JphܥN ~~^H pehFP&6KŦl(98קv-w_r㳌;P N:ĸٕ/mĢ4; yQAQa M/#KOt.3kk7:X.Z`ਜ਼~m&K4SH Ua:œ%i21=doF1lbi~Zva?giwTcՊYMX A|pzcw-Kgg~L;cm3~ 3{csz܋:R J4'ख़#?^?W0SC{, %8 .ʁUf*pw2LșHZƙE'T[Rmj#C0`幨`V/ y)|*G[1&Tƣ/7d;Cg+}j) ȤD'j36= AVrϐ: !ocrVy/wʩ#"G5 JJfyWTԯ,C1{X^48кb;|PznFh&{YP۟U?<$)hYX3J!_1C)o:Ճa~9Bhܷ6F¿uv>xW+JQKjpn"[;;]om>L!azgBQ@Ǫ~v?8qxsWЙ x -3AE":Hi&GW}],̶QMxo/W?fio$^IO54Ӱkͺxsj|RDf):`ηpt6J>f_TUbIwL!&5`=A[ڏ~﩯@.gDBLXmT +}*˸*U .o,m P\USQ"Bpk@<^'B%4mZdx=^tP d+t*Wpr$ o"hU,4B~"zፇAzrPG W?JP9\ 'he-3'h ef'݃w+dl< 4VGb st1C&L>1$\qxsv)<+Pw-yMFs|R2-d°vs 3!kBx' CEua NE( $˳ct)\xE-dRہ?t$\*s>8h%OMC!1nͶ~F7w1É0"h%>'~"e ܴ Jk;/dN/BJ&<SG}?ȡ1KtAc XLJhH}6~Udmn3 e@U@^oʿy A_+I{Os_!aK-+K69` %, 4E2ؽ,cKp_Oct,P A,fӃjB}cYHSJ . bKʟIgzBlMh]ٵ.&ZhUѐ(G8>VDz€eruYl`"Da?VQy8 })|J}pc!!acs'1؈36 R` 9=ԜTc2MwhrMc >e )*ia5 ЃRŭ@+X/8jm"Gm'pc1#tHRQ0o>@,cT>u1X aʱzVgƒ{8¹_JR(kږ徬K8k)L|\0o-go1*]k}"HZ6&Yvr$^MN?qmƯ}=MF )g n'bB)W(7%y6~NB::?e_1xj`o[ VT$]V=2>%FXШ֮*GP J| r- Vk]}ah% Aq9W'jn\*e_/Tbj>TGIiC"ԜQi,-q4VFG9ܓ ²g8[]ݬ *1Kb8)p-4(kڂ7[B:/) `kF2BKiكtTFvrz?)Ӯ-ϡO'n], ])1y|XӗZ 7Ȑ % BEJcH(0er@&EmV#nfl si>1*<3h%`ZxVEV R u c LBdH(nוk˯s#lSK\\ q4U`DM~ȝ0.QQ 1h=ؚՍ5Q7Iw~g%mfō32V)vGN1GN/ 0D>)0 3NU/. HOOeJwc/XU^ez֓fYB-VgZ5 S=yMeU JLte`{j;kQba-E,iLorklV‰%ta> 8qqE}T$Z-%A,쨵ִ{ڗ'/X#gz(2횙Է3BOr޼Z[]pVjumڈ($+}Y/5Yy9+DMj]/4ƻC@$餼GM~(Y{a%_YS'~tȣP>'OKʯ,__E}O@ zLZ tӓƪL033IJ\!`@t%SHa Z`+zK$KV.R[km|, V\v1_g}yd9q3$R PZmuHٌ|bE((_5_fG >p$nWZؙ_@L&{fqڪh1V~ΪtJNAf$i yNȔ FiԩQ Kc!)ǫɞ;9 ~^@/- 7zl=ELj}QHMR&s^;eOs9R=TTd7c_WXȸ# `Q ` 1]{gp\',kf[EBu6,A92w0J$Vtc8ǖIeGD"R)eDs"ěFPZYrяڟYw\tR9v՘pqdI"w7qjR T6wN AMjTCEwIл 썏vYEc& F/Hb05)  3=P?Zr?q߃Gɮxď ջnbe lMYEyeފvԋ!j8_f7yNQIl]Ū(Yx{F؞F%ms/HDQI 9i}{g,*pBegn `hֆ_1,'90]ׅNo[%//:c:E޳tٶ;#z2k6ZdF~B5@P("f]fcqɘLV6yhpKmcj|w CO $'l;^}pv4T̠qdLc邺 F(7d0_j`t>MCT@Teb/ꠏ@1m赌s6-⏒V)؀{(ggb\ԃ]W20A&_xXdo)XQMEWbK,yԨid,x"P fԸMŶQf}s2۔C'-ۆq(kn,(?"8pe)qN7HU,u겕;T_ya?W=DoS RR|t:ж.'I]U&Y^#إ4뇷3\I) Äk5cڶ$vv>x05S 0ݡx\fկ>ݾw⑖|.Xl|)U%<ۚ{!${ǔ/߰ _08y1(RuP#;ku! .88V"ZlL`cp)(NfPJ.^Fz!yROCbYe{m!+_c̍YyH`=˂Ա=n\xq{_҃H.Λk?J,Z@BuH~$J !4mʛF7W5ʢnJR i?XOgO{LuK6dQ]~$.~Og/ Dp?% ' GhuKڦ+-G҈}jGĶLx"g4(J Y12nPKv]%tyŌT˧.աqWN #A-a#aKXcJhoU6LӖA,z|{k!~x>]Z{#րoN꥟=3(XNn?b7Md{(?bn\b8m^-YuKb͡ҁrlI5`ha'Һ|H3DrxX&@ U̼7SyˊIPs h %DG Ji)3SuIPl1)_}$fW "?0|.(9`X*UoR֞8.L")pUNRGQP&+o˾u?rx!W}k GB/=to|Pkt^7'F; 3-]M+w{鵤( |pPTI`eQ\豱/AjjهS{${ܜ T6_%kY沎Ne?&+@+UV-XbRZ4s*E\(f}2R4R  z]\ٻ0e1]fl{M}km4ZE*6P]jYNg+6ΙW)gNti: lT" H9MM IM~x68[T[UERr7m}7FJ,O60csEUTvÜlj2n5„αo(@rJ_^KS$nߖfC(#,LoIѨ\Ahjh<kl߱P=f.X-˥f6c'D \Ė@$;W!c]+Jp 5%QJlɻcl)'fP172d4o h?'D\š-ӈʓcJ^#|B)elh^s lhHlįT8s!mw_[εQJj`*hx-f՘#.[(3GO|haXIT-Ws$ =,(C#o:zK~{)h a&쌏znl%݃s:2(:ʓ" {/tPPѮ6uC0 {a-Y\asBzCtx?S#R_dP2 t7 s{Qhγg/IhUffY L6ɷ$!HzDqph¯=2\U9u6wUU\R_L+msͤA4F?(;SJ,^vRnLlBT|#E# }_?% {x^ϕ12 gmwk{v?݊Y1tJ„.4$FFʯǾճ(7B0 Teg-~|a&lvi(3ކN/Ri?0A=~%%7s&¶t_y'&S?/k]2]nuSNVSu@^T-+l)Zcʄ_[xcO.ܚhD"w >{pPH4j 2ļ: Cy.g?H 0jOEuf!qpynЀ3 62b?@;ď 'u5m!űUX=?Zm$X)>Q(D4x޻80.e6| KO'WlFi(h1lV>3/j^B]A-^w^vn`؊ʴ&'պ fMscմ|-68{`I1 4ɈGQr rlHzS!:CY!戮`0ɗCV[1ĩ Э^ # =ll`ez:S`Cd6rٯ紿#O>]=ѯv2?Xl<ȯ59 J^V١PwLnN"מUvPc3̶qvAxw=1 ^\~~Zc9{6{i*4ӫ~d`0DO8<$8/+>g o.miWoGBFc\ݸ=MW}C3ml!= Fm·r5%=QF0&TAߨ?I#O,hp GXI3z5٥]ka),P|,YlNn1W%niNAD 9:).*I+j&|M+߳.^iR0ZlV)%$/,F; lsJ~n'b7'5' WuGP)G]$K#jxN<=Klh$zA1nCa 0ĬD1 S!u}P{*N~) ^AQ }jk .AvN_ Sg"**uj/* sĘ0q֯Pon еA|F4Md=?kGF8bHK L"3bo WZhNY;d *@e ]50Co(P&0*4 /E[بYvg̀6j^D֟r&=S<BZb/,mvP˩MjVՔeM~UxiEw^PU GU [ōklD6N^ZkxE[pԋ"l̰ u0]cX*Z>ZA4s&%94D3vfv$J>v6a:;Zulʞ"f|ȚaX23؁?Ⱦ>6A1  a!)֞DhQ) "Tvأ]f=[Ƹtfc?`o!/0h WLuM,^Ot-vTw';~NB'Ig\b뗈a?' JSeK~S(UCe56צ&.'lX̞`rCL?_qDAHU:@?LPP;;Mвʗ/ D>b'^um€n/.1 gثJsD v5Dl."$-P"ɩKBdUT]}pJW[hkyGd [P~A&}NB7wGcW[/ɑ1op?fs 4McuYDMUkLz( u):G-5R}**#NeD:0tо{X(\8d#;>F7oc\ <#vцō2Z=:?6ڭ h㉶foS#e줷##}so$խ.+0YQ *6/LTg1H+Z3%w^C1;8Վ+2NJsӣI|<%>XLgEsPYrĤ?w)tUZm9óD6b:ĨxTdJ'Y$@.VNV@w,!)G25Yw ^v.sRD:'ΆJ[j_6ށ9&2uϡru,x=?N7/RЯEqFj&uRP$T`݄mAn1RG%C6S<: ,58n މoZ+j6`Iɫ Fid1*Zco!( "?R½KH8@stΠ1]|<H_vwEev}_Ni&i|#Nr@!.5FBa끽OXG|[ QADeXciHW~ rN Z&sM,?='Zb&͗u )lS1~WO\-̘4[d X%oǭ3X $} rB",dGRf.HRՅ>V%F2FuSv?p*D_䣡FC?klhM`^&=7Ff0"45ySI /wb'R+qX剝y]*+0AaZɁi*oRw_ob*̲ʴO֘!7_Ui€s0/nS[\o:p:5c﵊I5Pfk[|Kջ +Ұ^ܐe /n][ԋH/Nid)SQۺy.۸%:aKW~}c%4xkǠA'H#OwGFp aW-B+xXo|o͵dB(SQ{hEw_ 7 j9MG-sږCOړT&̹pdo֋g=̟,jK- CbG`Dc(Gd.6vQJve2[EnW) 8VlBJf0W? {s\%s^&cG5l/ k%U'(G ;syO,EiJ"Kvf :4x9|A8ahBn"_KǡƊ>vdl\*1:!LxҤʮ8VlRRToV[?Jmٰ/r!|}rpXa}?W[U(e}`r/Pl{?ȚKt-|Gw:(p[6KϳϢ.g͐X9_{4dG< OĥLJo3JPlX']|x;Sa:Z/=*2+zq$(oqjtt &F=\5t6g8EҗWcIjvفk!m=6I 8D|;d77gm3 kr=.kJNQ[W8eʜ(-6-tUYoS-%-Za'zE~YLV1c DZgYZC 9G# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! X9]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H ?n.|9bҩ"T'zj x!f$S3̝(Ը.nK-(W' {TWWNNƪ9R`kflSׇ$Dc^趥g!RxzFY,W!NAv5.8F s孔՝L'>S[;ɑVj3֤Ѷ="gXU[:,EK7vL"=01݄jq|S㿰 `Mװe>m/@g[s3Z^lun[t۩rq^쉼΄vuMQ~=NWna+HCã<%<_B|`i#(2Wƴ7uJ-I 5LPZ1D\GJ? ̼Xq{6h爫~(05ۑ)_*֝&a{[F(Fj w1SxzQ}xq|J~-`a)7g6oť^!1UVz+/n7UYiDBC/>wc۽@cm:$ /]Gt"-ĩ573&T^(wsy(HF'\Gz9X8$pxV=&æќYԸ(Iers {R:O=n\%ڑ1|'~TS*>)Gtz d 74c,uafk1I8k+[Rb}[]UBzs-~zmQF`D)AVr"['o~Rxq)6@&-[?k~O%%ĴsY˲Yl3@!9`L= i~gYZ7zXZִF!  ]ŗXiɟ1)*u%9˒qaOɎA2_GI}ɤ)ʨ'{a2h?6˾gH^Q=Q-xs VkAڝx=)x~Wda,( )ٌpf+ { xV_Ci_7 ڸ+h^ sUX5LR2[? 7)\@DV/Uɣ(؀7.~׺P7W'zCI5 &[DpCC%\JuJyBɧb,q,xV=KsJ,0~ubaQ+e%8bQ,=֟V- V<479Kr1e)dlwB{~Θ 5odG{Ddb67#M."Ybdz!nqӼ9nyKjx<(Ge1,;J}!$Pu֒n{:s`}xs TQ$B0pUւcMgTd-f zd` % -IV~Hl tJN[WI9#aNz=ؽ&.SH\WzuA|b\ơx(*aJ}6)9˄/"GYNIn)e }˗L " BG n D>Xxl+K^1^e'r)VW/`ô|\vuR-nWO"3bqڦ9??f ]}; g=c&g G>͐TRT~?}kWSVép:&k+q볥0qT9>"nSsVPdǠ^^GS4cX;)#uj6 xQ7D"k/!9"\\XXԵrO*z |B+{îu9:8r!cl!|q Iڤj)È3 "NKwM"${s3nǂ/Qe"de {q S;nKt;:pPkyt u+"R:چI9(д2Zz >@50XAuLq/ؓ/':;}ӗ9_*w9[O8Ņ@t+>uA`NXycϗ*ϖrf91"e/r2} ׬ f JD"qNDTNNڞrn;/P6K^!ڏkF-z@ɝ}&Ɏ\~J˟Ě#^+|WK.bf4ُdb՚dc~[?H-N;_]hQYK;g܄Dn `ק TR^ڞ @1Ie6+kr:d$o >mx^Sx)_,=CX LjtÉbj?}D$B_i薟A!=@Hxt!1Kf^`cYXtgM採)98r v5$TtۯQ \u!=zcV?f{LMI/b쮿{F\(_[B>U5 Mr5@?suM+v劒KNm],kK3+3+Z@_tpq|gh+L]K?LM(=>ZDmЧLlp 1` Xp ]^C)8!mrh6>;ra$gJ(iPf Lg v9hW'rHiejWjG imKěFxFj˒c5rFs9eu:EsI:v 66u}ʧ# !\b1 A&'߬#TyՂz 05nV&;޽曩K>yk$R1*5,mԑ /^ǥ߈x2c)M@;bbL7RtB;wA݁Q_e8Ksn_?I?a@F|+l[*s(y,$6Z[O}mG]}? B)_M{OؽU/5rK4:-ޅԮ]&8Y8V0nqHL qy3X½NW1mY;q͏~%BDHf#Vk5Dk0 E ݻ5T%!K5xBۜxW`&V;'!e|Q҇A[UFQl%%}$VZhu6<Lz/A[Jx-Xa^=k^f 92g˷#PU+ˆy(4D05:(r'u/%3Z_\r0hӈ>jM&)_$#k'Hԍ^(DzQT3~|V f[$sSDP$1 8?y$|i` 9HPiN2b<z~A0|{ 䂨xUH]zr,߯ќJ+~J {M{iA>?{\ұ'&jZGݹ΁qpZ"gpl2PBBs17seHx-)ccFy~,MXXmHJڶ!9'H"^:^Q6$CiFQ kKQu -cbbi%g뼏5~2o,f[<9EDPNsJPo-ٿ~\DmM09r1^u[ޱ |}BF0aThUy!?*;AsBͷĉD6j-btD4iL6\gI`Q3Ojۃܒl7Am# <&%;~+:/~O\tm@} FQs]<+*8݇u G_>/aE%V8.5K,_ܯ)8A4 dAޢӛYq}|Db |2ha62OWҨLTy;M*Z J})nmTW3 ;׫g"\GAs<.;0 &:TI[0|ʗfU8\0̟)$.{.(l7T)=%LghJ%pCG’~mƁt qt3M=4c <Ĩ_ иQmDH}N-<jXH7s@u8ۂ:f4(u[p=ug1w{,YenlǗe:G/ Dj*DkΣ3pfa~RpS\aWlΈ&>޽{9NJ|?H٨#cgn%Ψ%GD *4}^G}Q! S?Џ7gr]k V˳Oi@kpBˍsM'x~ 7Uo(|/NO 䦈HWJpTz4g";WH9u ̖#sNPȃ£=<83myPԐNb3]INut-g~Q fz(NkZCXlz>ا h!sZ¡Vn5U\!jF#jX>I^3 |m,rgnWV֟9:Q$$G:ftͤ郠(u@`+.g ۥEv4| }yhn'X!ҁSsuBod$qЌT~A;#9{nmug>X9%܈wJ)ʮO%iܡBHmy)nb,jiyFx'ߡCݟ=p^sy?Ad=#۫8;n PScwJ ֓4',lD@Ќ }I#x[<B"L=>CaK-ޞ%:Q.!zk"YW=/UJЩje#FC 7k<2ݕ$O./_!j|эj'vc29E Oy`(*@r8JmK~ǔ|S񱐦s1FLl(nO-_`} AA4YoZhoT4}VV/W\@}n `G7$&& vIFUU@?Z ^!ysOX- !.RjPk/gXBucW@ޑ QkB`g8;~'MJ3xN2V·xlYi=D4zyaVnqźȠ,^7-!xS y A29۔r-)e ϛxhh"2_#8AWx.{Glh4G3@ĴSA 41b ?WC\.}(qjYY9C%WL R1jSb&b,>C$`vMGBbqoA>/n_J)|wy!u x8la?~ՈK 4=5D%h_dtV)]'>z+_4~pg;u)4 L%XG)TΦ9G3|w/G(,-^_Ok>ezNJ0CAjMzdؿswfxH*];oMMiho!f֒<-P)-i<.`q_aW!3hv?p8Jwn{/7֙0sʀc=̲{5fn+Wp} 8xm7^:pA,nw' n `aB0ؼĞDJk;%,l| Z_)2XS~oI.»s R%S' UeQA?[Ԩim,!C1m9Q]:- 6]qQ!mwFj\L 6Ϝ4 (<:ՑN>Z4y_cJ&s$۹JS1jRE8}# a#i‡P@*b](7z Q3}6W>0[2Xt΋ /,ȅ1`"XÞ~}_oF^4b`yHa/c0OpLuGY^aXvLaX <t;mH'wn)=Т|en|YS34M-ax۱z\df~m meGcyf(hk-haE|^F{|%|.Ra.R\.kKKIy2'b tֲĕeŸPBR `3;U `<3K I H(,t\xo ºxFZ2)%3p6I\ٙk&v[YuswA_=}&bE' Jŷ^b|+L`EExT(CH!C*\A4?!Ao4J犣b&RJʟcİظp~ԍ#F^=,ӕUҿf7Mw>\}?p_ኍcmʷڵocۦ:p }+&r\! (BqttJZ5K?l_.CxEJH{&GkVSe 2 ҕbC]8Kn;Ŧ;orw@Ctې[v me]'@Ja:" {we{"}aӃhb{m w }ΗX#+;j!IlGh1"A3<5@bu@b. ezq9q&t(sʐa7u&f `yO2?~+q4I .VۍS~@Cs8QhRhkt?o˻Ţl?BM/]/M4}o|Kp_.RfYDq9__7E{M6ɟ&?BG M\ olo JOQ!k1B>cX4ًWwQ|qtPHe%I|f ;I,NNb &oP5kyե.TB='Sɿ@#VN?눌 X ^smmTh;^3nOu=Z`x CU5Ơ[6)N[z6k"q<6'S,,%@y&sAr04_&Opˎƚ.Ehx+yb M6XaU9^*/Xsu8$fH;_qSU,p8>ҧ)68sbxbV[0=S *SDvFA9r/.kQX+dppF0EßT8D)؉* y ޺xo&q) J|qjNs.}փS?ӂ,7WjU_NGKftC8 -m8{9װ l( ^-hd赝eVt"m B!Qj?kk p1IZ{KWZ9&lJ m]Wsو7l4Fd<]˽J}U|;YJ +2 GOjОcE~UN "四[FvIЧY8F>>No/S]ƀrd Cj$XV]lN;5{|Md1_J(T#.TY;Q# `Bh:(ݷ>bf{`۷~yQU;ė ,Qfw{EN a} 2,Ȗ-^٩<1*IRʛ#4Bw#lq)NJD`HFd-(M-ƙr0O`iBZ/Z9\>(]BSԅZ`y uuMɫW~kJ7YYbEkNRʌT5jti=5kF=yW#MBQIS<7Ipo9(%`H˖;1V3 HxPPܲ w>.LMQ1jYu 3Q<~wJlƀg |O)u˰@'4Y݉c)N^Vn]4zF<-v$yJVo!]ϕPp(n% 9TޣY_ ]*I*(\%:$pR;yɞDz<ș3L/ܹ~p>E?\!@I /K!lţ&w`N /NzC.-s mSՆ.y#|!Q[9gMWVF=Y1]}GINPYԤ6,W"“|T}qVC~4'<Ҝ\UkVڿ4o!S?5#$b'Hp?+GZT:"_x%bB7)sT^,W^dKTDm.j0]MHUqFhH0>Kj:ZJ_8j=.4,7GVU'-uDjd}ԩAEߑaiTMS[m>Rc)u(G. Ԭ|Db?mJ:ZM,yd0ɽ_U=U{gG[CsVY,^U?ZGHd>6MkGEՌ E(Ȁ *9SR@**+Su oj5\ y-xj~Jql npv"^>&Iע0ağNNʣT'R+f`ɐ4urHWA| k}bFӱ6 ? xXBuݴ^e_)󥫃ឌ}5y9?/* 86`lEr4Կ'bp](kmdz=B!+K4#vY03;Qg#ąZ弎D6_%gf^Lo~'W,伬ٴ2sD7\8TJ]? 5w)$>c]lZ#=W6 GȬiX=e.b4q~*7,WPQYɛsB~FA8-_YǓ:r ɯAkbwrrJp r m}+tn[Om#W^jD|,?ͯ+f%o^DZwPoD&E<hG6r~v0p3|{{9MJ?T^nN/<Ő+c~q̠7:|\Y/BZMOX /?Km!Dw,EU^T)ai~+B :i|H(~a7O~vq ;@9AJr.v+7Oф ͽfGtO~ISCn+:g#I33>*jje4$bڐhb=@|톯a*&jȊ3;`Ct(0V SW!K5*l h }BLYj},۶H(uv}m6\] D3g]G M1p69lLTO4vyћEillិD.HVY$NU^6M)E:}--D[A$$JW}sn^I0#F.0T%@V) 4nhˮ+&U(6xbT6[93O:q;u ,.bMjgeOovLD2V-V+F+' z'bY7)1\۬aK)CzL D.հ=1Z::Ky}5^s"Nz#Bprl,E~rڇ1%oo GzvY w&Hay<;1/G}zGfܨ:~HEěhFX!D!tJNfN6M-}IdQbZNJ6te*#lC~*%sUV'?[_r`La._yțfkl@;9BꗾTC)"{g Ny6e 0n XY&$ PL\LJ۽R a;8fJc usu;ܚL ̹F(C{꯬jvC Դn. `ߐ0} H=Jsgm -z]ztT($`vBDzEVdzӜM6 KfU,OI^%[I{&uX,Bnޠkko9}ۆ|j;ck"01T0ӿ/[P4c,"bf縞= kݱ52r?O[|Q5v]6Tܗ GCi)']) s.V%g;Dme JuAAJz*b< (L~ P%nz!Ua-g u2|dpjN&|,dza2pua3XL[s;Skli4lG1c1>gՑ͋ق^%EtU FdQt>qXU;C}Z?ViL{LUKVg#os*UrЭG[l<8I^F550=TVE:=s%5kzebwNV|\֟L<ׅ dsID*K_Z F9Pm>B{*e##89Gv7<%~=FXh2'n`I䔢vj?d"6r+{qbK<< `BQk 5ʥt2T}ޝ8 + ISj}{{h#W@'ŕw 47](.}ME:D R!u]mw %q=MN4@oq98}S&utxD\NJ(1ֿ\0 hQylRZIpGWwrc#4%- k^Է"" YJ\eN_DI⮄bʔܛu ŻR} IoQQ^0g$5W@=}TB!1^U7\5ACoPG]%h]u9@+;ci!n6d|`PB6)9q-W@J9kkw+|@4)9 K =& U!ɬL3;mcxSV1t'P?D/ W0-3+/G6S*̺T| $z;"oC&B'7ui]ڬԜϨxa έB}ڷV9JFjalӸx bхgW7QT/a52fƯHRp_2woSu/39%T*Th!fǐ'Fp.7"/5m vʚb]B3e51 Y0f4qT 4pfW:TAE' o/( rڸ<7<#)<@v6OMM&1k+(YueZiҰ!K-I@{v r?11KB=x)T[a̵.|H_$00="jPҧ4ؠlRЉcPR}Bv~|؟\D.n[}6g\-T1SqT㏩u٢0|A? HgyBM|6q<f,s hJ9 L5j(!6xx5t7 u·D5z3zC#V/7ЛK!1_\{;P s3S>kIl1: ƻ`$JdX*[tG،M1 ꕢ[C-x XKxc|/\D@t>+،aP VKk(,LM38r !wAJ; =뮮b eGq':/":C+ڦ!fSq.9w YG Odc8S+#vw\hWF ݑiuG*0U9ه@dLe0?Z/.e~Kf(υ|}i=CĊuac9o3f#80{z'l`HHҼO<;jVXBFva eyB~F/"}`i2(.'EH“-ehg+6ǢdZ[:MI``Yn1?i8ᢡ x:'f1Cئ5dsQų3s8v3p~Ydз|Wz%ypXRكKBj<>(V4zV3jijgQ5'kT-BԋCg2K7uü`p*9P?3J/h/u$n^0e\ q.a_O[6I4lvg6y}o+Jʇ&/_##5O)A}SF[Bx~"c8Zv7 rPPmis؀vI0y.m@@j?Չva?k u*6OMtyA*$TjQ]ZHLYn6SJ[>HGF]L|_s1eS٪;D B}'ê-)fS2㕿,ܽ8WZ$Ezh 0JDxgNE2\+(QUum\g0;Z*ivf)ca[CՀtAY֤Xƴ_ G\1V}I,FsZD?ӌfw)SOJv8Wܕ|y*13>c82"|xcgT吀?F3  9 ,moYG)K?(sTg 9dm i 2Ǜ{xK7FNZ|XblW֒5DWQml>+qxع,_a.3P=c9rd$=VP_!qu wD̸A]K p|S6Fa81Y\! #od`T!r4c}!3l:D(=dM1 8nJ*`m`~6;9fʘ_w`aQo8[ ]pEtFi_;` " > :, yrX)oYd_n]/IRxM@zKo0&u ́CJ Z4?"„FwYH@(.D)rCFJ@xP @ٻ:k)yIlJ䁙s?"N-E⿇:xoRΥ] r U6pە1==d,ޗAO}1?$]hcA:ګ1jwl x_j]+ =jem$@@ВbkVSAwz7$ykTظ_ .M7y!`[7}Hpo.>9N _U ?h}Y3Y.@c*[[X9aDP %:eK@kLE?CU/:9Ku%n SK ?=a/9QT}oejtN@I Rj;9K%X%|HeN R=错QcB89} N%I8&Uq3tJ}P<!A`0!3 ::$SK=cp]5@eq ӿENG{^ơ!jnj#^-XܣiH|6rGNv؀&?<&4<|`ƕRL)aדRJ-yW%NP ^7‰3ƊKYCE?ki}FsETN.[/6|M>)vߴIYNͧSPEdو"&U$d;ˆ,{ArmFG)XZwݖ#b: s*p&&ײ9~ Zqβ;۪dl@ؓK$;IQ햛( 7eQ76C05Y5w0X?zM>%3Fxҭohg[Ì^})ZX}},!Apb 4#IOL$xޤ%tn~e| }-F{jQ9~̞οnzw):ޣL!pQ޳O;a+7#=bcIiZv݀c>D@ޚ}]u]۽SΏIi~v(9h|2ЫzgvZUNϤ6 fјȮ 97*3ڠRzMxFi#no>#,N Iiq݀(mv;#[9IcTah1$Ė咱0>i_qz?}>[0qڻ1B}P<L.;z0Zzb> NgZIY5gOz6}f8L+Ye(hOh&ܙ?Y "^ 8%ѩRܰsO N43.VpA?U>>wΊ(w~>Ğ7}/ 8Pq\!x_56vSbD!!pfdh魟g_~xYìZ?$N2WU,a~@A sǒQ.g+Cxѿf\ok5,R/Y[nPtc8|gYɨ)T?'!oپcu85MݮOjb2nl mci؅=ۃQ}n rJ!y9;EF>u,ȋ/"+n›}lF-k"d[-gRdɶSgը>| suNO }Cl$ɍ7 ̴~^기N{C"`Ђ6JtSFi_Gvƹ}T=aSpaF"km]̤.0TOrkK~ȋwGY'y: 1M_fC|@_]FaUײq`/ 0cJ1 {p'P.IHṗ)fC:gQ[+,'cXx=8"ȁSnG%Ǣ$[L@Z鈹cV$7VZf}7F[Iw7*5E(9V/3`姤6,u-LMyg2p#=#}} v0u3iCXJNupqEYAcdS6iэ *h\:~{0Gy4b>ʨm3APƚk$)}>{_>)EAD}p!*b^b.^0U[<]+é"k[ [D,ebTK3EHAdp6z{ɹL &GV"T?)Xu7 J:bz~]akܬϗdUװu3n za҈E6'Vօ1v\pϦf`sjhΡ)dZHb@k76ޓ~kJ\3z փ&64jX~/χ4Y:.@R`[8eIuUVnB}@CGXCC6zgq]KZ7@H\!ONuaBHېoAD890'U@!,w'ao^ /FQ iHD".ph6] EOބWM!a^v[m&jaPmD(pUNEkS.{1֘Zh3:є#9RwKG7'v|Fߕezb.@=#z~HxɅ:s`=j6EրK,wa`=0 WyJ6<,:Bd24ss"cTY  ' 3ͣY|xغ5Ip)X5V#Ǐ2it\؜WcW4羽g4e^C1'KDQ6Xnw`M5;qѫ٨W,l1c@++ nrY"JE7 `*3 ƍ!e$fJql /Eڔp2Sl#j$ Jؖa "3t38QWDP} ? xbAC?P%τ`dp' 0QCR0Wڛ}kn6ΟI&Y6%^!qY}꒭aV ^R3Y|wSӝ/bzf`GSbnrK?Kk>*#戫1Vb>3va~k}>ZJydCIӋI)[h9h*k^KRF^Sjm/U ru~}.DP<2-ZԩFa5$%v^1bj&%7@cμj>fKli/kh}V)ke!Oo ~aN!Z_-tC*?2}Xmϡ[^ HeDD8$n5Eթ*J+Z7WF46vyګtK2&e5ɥ]M|ɔEU. _4-z[ WgLyq@\$ɦkf;:נvE+#~U?-,`&\|)aݐ-]p{JU' XY2JXCҴb_ϝ&AtRJ[ʼFC`IrRT#K޵aC>UpO6SK=+ٶ6,'4|_Wԁs@XU*ᰧhH{-d) `|6’ Oq; Qy6FP([}hd̎FwniW|A% c |, RdO/P([iV"8` ;yףDM6QOr௯+L?L R7?{~jEpM9TlۨW+|>},'+ߩ' /{SsJy^'m@W w!t8g5- 46&RLTRHG?1db҄^.E`Э|&ě=]?)Sky~+oh!{FuL}d+eGX";Fݡhq薺bCţZY<Ւd1El3Y@xu}߇?~Mr91@bRk'dU$flɖ6@7}!5@yb:dr"#;gLXebElYY N=fV{~ĊƧ?}p_-ZcrĒO)ٺhXjɃ%,?EORł"#87 OInu_{;# M`/(| #ˌ*xXcw:~y;&9I_R`@-71bgo@6C{U?'+(p-/e+'kmv7beHu0E~tK"^"4{gt}8#gJ&3ܟrn}Ib[~2@tyR!D.[!kxv Hik֗4vaPU+y( PkוEOS%^> vL'lwbz; Dz A?z,7$%ri&"|;,3`'nu65i˘NȀd*ps h4w #6 5j+z)qsFx w۫wU4U>N}!guCmg|%6[Mr< &!!G>Kځ3Y0PA,*'n\~S3;Z&V>u{!s8RwJ8]\yAzU{U:zA&B7cr3ZmG/q Ԛj>m z4-H4 t-PF^@D/GM=f98fuVRt+=ykb$w#5*ȁ 9m),L)4{hAl5 &e)@0`NMwno>x%Q z\;Z|8[5qBз?B5[iX= 6|Y٣=3/ [3^׺bxkͪltۉhAy"`Zp"4̌i-zWʰ1YZCD F&z-)6 Us1cDKF±(`xQs6F %t"6ƁuwK/Jv ;m1.W2W /Ó~mL8'Y=M`C͖$5frHh/Hݬ{?>/-l(YlT ]'Go`cf9}C6 m:z-NMa30Sl 5KCrS:oAj=&Qs@ q{m Ş\irl7&i0DjF|"NSTrHg/ǖ2mߚ~(-wqp,Ọ8G|hA|ܑ߬bCp@#~xI_x|rM ~qyc昮ԗۺIY:E[kq7y?25$8Jz#K[qE@⿻>؛7p|[*"YyUŴK Ĥ,0*bk61xDpm*bݹRQ0Xe;/"@j`e'ׯgFy.A]5YkrwC+E7oXa[VPSe'*)LM^]=.GUA@]wAT. W"wyRMڔOOZs֙o)wߌ\&8:HM]E=!ف׍N3(sli>봅S++1+jDfzoN}=m_҆b#', O$1*rF ,sRY@V$5+Oy"u$1h02N-qzPJλ)#6D紲KޫyԜ/kl.hg7/Z$MU2?["ǥ3.~ 0٫4U2m2f{VPer 0Pd^;KݯL x bِ'.X8֪DGdO v]Vb)BrH)>C;VwҜXbt4% PfdNH#dxH#%yҡ1g }"7pZ7flnn ̛0bI\D 㘳; W?k2lQ-#+⊦y)$ݭhqY_ ȇϏA /w<ȬcԳƊD^#LrqDw AىOlHGK@O?<+gf.\iV&-9a?v )ԁCX`dg+/3LÿP*8 g9r~#L ovzu}6*c7 01L?C4$﯎/%4[iFQUڽ -˻t-0KH|xM5VHqgzgh΃+G/+K*s>`f5[$mcAoF&TA ПeqGGNk FȃGtyR^=q1v}IWO(=0ߎ`(N܉FTAam{֟!ᯑ^Ny/ё|28 " s لܵգ{D1B3IA0 [18τ`OߘV(&fظ3 &^ FޣndE7tJRQ. r-|쏦+åk{?4EVlh’-l`&WNQHU##vي,voDOyh(O UăyG ^^~ުVǹCɖMչHAYYht^W[=ۗ'|DM'Q?SA}w\QWwZk"TobHClK~* l k`*)EL"SMڈx!?WaУǍe dݍ|GB7{Z1ϱE))x]ROX)LKjn|<:ĩO l2o=0vDbFclX( Sj"}Bw*Wyahg7O;*u<ׄF׬>)m$MG v*F0н#{#^Ȕ$}&K,nσXˆ_eT&wۘ6AdY+ DTܤzP`녞!e }Iݹ*eg1_%^?d;Cls:|hA'xe- R'.Zb4xcѧcnnk6F?VeGqp.[m9*K WA'#@ Q-:Նx$[քf ~7$T᜜*4t&u~"+\F-q(-B*fuB y6&r;ibDoG[) Qɐqc4ӏv d5 Afefye)1qN쩚ђj,X߷+s .~\e:蝷%C q@reGPkhtHxV7d{8C!1ۮ[6[D+\0&_PV{KFT2[7%C3qZ$t [a (J%1{yJ{(>zrÇfu^ƂdwNvjF"<;L<ʭ?~s;W_"1n?Qid!.',l;+I5Sb[21khs ( J'"{|!4{*64g* ΢vD qŧl"V3JC¿--3CĦ՟c@^@З'?lIƾc'A`r'zlá pDm  Js3ZD|]]":S F_iZ̛ ^PTLv3>xn^Kt] h)@6 3[ lJi:<=Y.$Lm)֭ j8]f?~&4FxOuM*ygYZ87fe4b7dcbd70fa4235afc43f04842601cd57c23d710d56c677e2fcd6d81515c51e8dac82cf68a7e 7d6dd39428a8b9d497f506977d40f7f26d211175 403171acd36643d7b10aeb588a0dacc657b08791