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 RR9~4d ] HOL-Datatype_Benchmark:threads=6elapsed=528.376cpu=1963.060gc=725.8087zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;z_F4MѴHh(W؜>U{\垍wߨ{ xUtuS[nU 0y#Sl!.}!Q%5^  tf 3{e4s+8Θ+bZrm#:f>~+ΚbMg{_kWqsNq}y:aZܸGDB6/ ; 3EsA=XMVD1oyp-0ZBWvA+J/,Z'HR?M yS.'Sm"^6K{chx>JZx eGq|ђHjv3`TW"ḽu, UA1ݗ7w{:R-K0t|9!"Lwcm_§c lʁGw0A G3pl/-El~2`զv.cV&i!EC]'~rL wlF=uR]j ݲ7"޻쯡t%suJ*`Agnbt"ߠbNRJx_޹ ͪ\VZgXhhg^.e6Rwu0i;P6um^Ȁ,6! {:wohi7x&]8ljHP_ te3}@XC66Gs$0%t8)V5>b 5~~Ā<W|a?=,ݢ'RY{%lA47L珔>`QCZuKRESVvILKx83019VMgq);#b&uc^//te?c c @:,v=:k d:ǜA cHڭoՋ i}ikgYZ7zXZִF!  ]ŗXiɟ1)*u%9`aRj/gYZ7zXZִF! ՗]ŗXi%Y'nY5xWկpKoQz1Sidf"Td+lv,նq }ǔw(ARg/o$]7Cw(^Oҥxɡo bHQ^F =iJ? XNvr8ƘI -]?2|@Vhн:E"-^( @?OsPs٘lZ@fm)Ka7k|t ZNsU_LNH;Y[:]Zra/SğnߵB`HK-Nk0n 7˼Y$MVd,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_id520N9G3 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.tex7zXZִF! ?]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEy\1Ek#9k0 uDgSI P4Bߥl`W*0h:gsB ߬jN2ea.C5+,(RmzX1 e)KEi!;6`^ɋz˄Q\* *R>JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~2N] 9K# 4HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! p]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~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_id5229I# |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! }]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db˶` -Hh.!yQ&7Us!)⤤UfdHl/K;5E*3@IP"dF\'IhYF*MXbt(IH[mɘ505K03 gɮw.P>3&aK>^w/{3ZkԵf|ũ#u $+2Sjbf}\&߈&^-GYU젞 "Ky:CRܾ#/tb#oGCm ͢;S`/RƧ\?˗k;aQNA2n(41G% <_2o^_ @Q6R.2qk{#*pu,]7GLGx9p1UMrnjglXeTںZT{@Pd6Ч1XLgS ʆ(V-j&J SHTԨO*H;a O;7O 2DsZ*+ONࣂR nr4`fJ蓈KU` Z-cHQeaer<+ڀCy9Nz4> gmvnMkL"0xU0p48%\#lJpIMfϳ*m#iY0-r36(xߑJ&1k,ZQO= \CO~YB x0mM]nqU@ѕ$>̀!|T guxz0k:MiȘdgT2(  ewO|\`H;5^A%Ɩ6o,)ϱ0Sʎ:L`¢eP8CmˣsfrI\2\ gif)ԞYm,k -aȮ[uMS]e9 8VϞ24?.b`V$zH[0ScZ{tUGtr~5Z}V),kDPwAוUqs)CZ{GLg7 O!^X1EA’ H!hJkD4YyVa(RGfE58>C_T>3Mg`doe(`|FJrbۜ eX ^ۑ]0uRCt= T8O M H";%_YcyP(mP@KH[!6%,H4(3Ј8jOjgWj"Qq`QyM=gbTgۓaVbauN߸~4$gYZ \zdxq y pQ" SEDw`I;ÓBj,y1M; [ayd L'u,钳IG'sl;"Ћ(3̺T/;iiB~ x6r YC(vm*)jAFihqy?SHr43֚qBcOģKiq$\ @~?|gZCƂz焵wb4~2(Qؠj:ҧj4HƏ +-V2E!i_*h 돗J;<$=xް+Zj`?P8-ds,NTQ8*]qn萮œ+^Risz&0]!sP Yt(a 6T>YumsG @4'(U"*HXQe7XOf`,f̻,\փjrLݻP4fT}n/u27F C=u@W*eb%;juc)ծ9$LP±=զ2FHxDw9-aXg n)WxWH8Sv+ KIwE6M8rbh`RGЋ`@O Bd}f(['=ɼ>kW"^0xO\,58ʈ.z"-J'7\lpؔX_l<=%s|s4vW |({9Ǥzs0l`+^5 6fGɹ׺BmkKOMj{F7FJ(:2v 60m1ʶϨfẚSJE&*zW&\3B#\:I_=5(? 1J@Ś,h*9='MАF,a2ZaHޢ+D}v,vysc@ ) ~ 4"+v2 {:9\c\mbנoi}dCCBc#PG_/@bpa1z/BSI{3?65W"ȅhLjݕlofV"KjRLVk8W;Y̏ 9b #pwdׯMbF'tn[/lK:Q-8<=VeA'C=Jw)l\WOO:F BQf| $T!}97Y?apo wk *1 M/?{>U G}+W-}oo*~)WdqGxm% WWaƃ֕Q&D` ^;ZV!L@zv>?xFzfg6>]WP8_U*.9@n T2Ey5XJj@{?N8RɣNXV:鞅 /[$ښRT`$(uP,g]<&Z+ww#xH UB[.)4uKC%p9m.ѢCӰHMbD+A-`*̮Au<%]Xe7rNpFs2GUoU9**PCU 32'E)P8s]$$@ι TfelRUSLa?  :gwTZRXrBEă^X}zty8>' TN+ÔVUMsXYO3 -ݰچn²'1`[x s: lwB!5o%{h:hBP*BD3"2tVCz@N*x84́΄]+^}TײX-+ڮ yZRvdUH?4BrD j_B娯lܑ` Aa\6[ 8@W[Sg\޸C x;W(}0,.܎{{;NtNl\o+O0M@FF%MjlB3衜ZoBZ2!%c^}+ z Nkȥ@GZ` feA;/=dK*zp=9m1:>;ͫk> ܷ-)QK#hIss i5>ްc•O#i;%'Sȓ:rP=ѿͭ_q+H$A|Dѡ{\$8b(R󴈯nxY1D/ht8ˉg Dʽ+{8*gqI p+38PKStVѹj؋T,Ćà z}!AW>NM" iW[C!A:,{phYz~umVz~rsd||a -OYxaŌrv]#=) P,G^gAD+d[T5qR 41Gx3H Qӽ}dBI9 s7 /*:0J͏/pc|?'ZP0 5*/~u>O.8tDBVXHYM~wGIR5r[f7XX]JNQs$؎wvl!ogݏwEo8w !+WjWPusgxySTDsYԦ5\e ,NUu/~1t2ŇF%s#wxϡR5ݢW1rbRĺK\ ehC@B"$GkF9X9q#_j܎~tYj"F3,^WfdVIu^[nfM=F`a_߯1񙍯/x=G>-ƢӢ["`AĢ: m7VeuѪR\1-]S" ;!ZsVŭeXb^#$~Rm`UW8U>+YOY_: `jsN23u NZT4Ti`pK2:px#ͰR+,kEN<*x A6eP+f`|a.Ր3[ Xpo=eM:.,U,YA]vyesϫ]Ŋ )Wmw1;Wa y^V9WaV5?78\sWZϹ׳GE>[[-eY*Q39Zi>VLC#WIBGOߗ(ct TLGHlH۲=)}@ߪdlh^]H|jT#>LYΠ'?uw >¦ Q, 18",5uY7,+^~7(hW x[[~];Ϟ1tUcot j):Щj!Xs|a(~}zԀpKӐ}8Ю8mAЍK+oH3J(7yl HC4u tmIjEe_a!&HZuqWMѬq`fڍg8qL?g@]g@c9dσÕ [YcD381vMM+'HgqO6 =Zp rrRȉLllQVĴRǥ/KS[וro{+mbaB2,Mۃ(4>j8{Nة*׫h27{D~*K"쎚Mx|l)V_ȭZCQJ|fE4'2#vHM0PK 7DćҢ_I.,VsUImqdþ 4#&4Bw3LZvEU>j;ЦONE bov p)50UZek{$Xhuv5iCraXXn}"U{$]EKj2lɘX./%+y"ySw \R;q!DNdv s\7ETJp 9&͇phepXQgdeeܺ@ ]:NX{wబg#X95~(,L?F3 6kK,#lWhZ"b%B'|o>"%fӃU}s% l?/zzQ7 |cW=XCf{~6]϶^:(E | ]fs LC28qBƏR ].>T{SI(QR;և>ž=# |6LsvQV^@hɹ"U개.KU,lA2nS> Y9EH!Sqο|JHBtdPnR'4W[4SAZZ1zGH^fY@1ȪmיZ 2j$IYfKJsi|m 3us*he2n[J>[SdC2|9^sMQ4 fy,@!ΞؤW)ެp|F+쨟X]/!6ɥܕ5o"1:1+1 :OX2M!}P,]aN!1van̪Jt80!'%AXS̬bxNT!)R;Gw !Ĭ˗ojMzkl׫Z(\bW~I(R"0¶7A=#tb jp!褶]d ^;UGvտf<][G&5TbAC_#;en:@ZgF6k|2Wz+]bڏb#'F2II6l|.MiX8 g P#Y {PZ.C&3ڧHے9?Ipqzo.p.ƛS#kVb$0R]";iu!wT rGQpsɺ{UUU{ hoaڰW(>g8>qK%>"˗Wt^1NE,,bQ黤ҕ/ (=E@\[qe&^Y Nfo|Jdam+<ȅ˜^k{U6n 涒L^R3Tlj?]P YY(%7p9j&lҢ\Aj@p L?$BT]3ٙAjKTWHm= iv? LK& O| rYeotsu[2C"K=<6na. i?D GZSY{P}Zs~gnCKcl&ڧ1z :n\1GoIo#}jC\mߛq,L\ʻX;q-:{13 4˥Fd!ӔkWֱ,Do -Qf4NDZI2"J6s ##"[qmtB1} +J A5ljl..jYZXb'WTTz?=x@$m>. @xBWE/C2Z;g4 *<`%EAO{jɼ?*V- Ch;\W .̔-:M1=H,ԉ>ailn+)r|n,:@}) J;B 8;m%d=4S0\ӳlX;@3}WğQJkҁ 텝jtYƟpk.ڝŹnn`˫8vH1mDܽF]'Ȁa1kF+Lt# )΢{_]ɗ4isy塓klY]@z_O91P=P[.ܑ"5^aL qLa>Q+ɪYt󧍌|fsiTghVX()盽M*_I² ɧ`}qE>dSM'%"+zN~y 4yVvQ'#l QBSJ\Q՚wӪqaut5MASNaݾ Κ8|r'y;][[s/$\apL){f- *x c4@TmiG0s& 0síeCv~U+*B1Rn Hi"f%5dt_PXjqV.yYdqy X+6?T)OOjbRS^01%+]HgnB6x֏ρ0 nxnQPC /d]zF/nr4f- )]m=~DΜ}\(˯~!>/{wܾ5рX$z kCK>7Q(跻EP^bӷf,)TlͅC.os8횪gZd_>{H.хS\݁kXUt _PSkqiToHkOd٧cj нnC&cޠ5, Z,SgaDAνe(ں [t/<l]XHp_ }HLVʚq[9dR7Պļ|p*/5'#n>?FX/m'R4粟K9سxKy-6ʽi=\% y< ȭp)oO1,\uiUVnFKyhbBո[c #s9^0,~ބP,/F|BiL_$b<랃UϢ]\zB3eB"% a=ظjNN D (m/ic'q.JSvJQB.TcMV>,˨Fg & !|w$3^h^Οπ,sn)`m: &ky!z田6,dT|u=pc3Ă(&nnDjOV/kn8,bހMLǯ8rm3Og&0v`~!?Ip̚S0LzSDv 'aq[T7=>.+ABfIaη|sW0b[u"ڠ\ɳQ0%9XMK?Yv<tqX9#'DQ􅙿_DJ,37Wt<ηeвAN];U -$ok),ST5||2ʍƯlF\p6s#B<}^t0Ze5i?TdK5k=ZXd/;1VPB35"~`9fR~` -0;O12QQrYUeǝ4-&YDGDNM!k 뻪i"$NES,,avo;Ԃ46ed-K_aՔh3ͧKZ"-jHk5'ܹ,?d%8~6kLw&٣ֆ#hwsEy0EX5cK*zpPYѕ)T {"ؘLL\ g ([Ș?1!.x}$ -'H;g[Ggެ`d l$NIkjYܿԄ%!)"%wiҢ"wVLta#B{8P*&gIwJŚ$q3⛐*zL%D6 Wv_Hјl}Y;<}'FwP1s /}5} F^ArPo64!I}zDrq63T!+FonH]֤ (J8jqحӆF3P P3x &~|IKi X6"6p'%"KPF?݋v9[AqLu.;!f7y?ٙL1iY1<?p>BthAHf !>[- ݋d9l(:/C%?!]smαveo$v'8 %T/e񸔧,Thz!72CjD>2[!,7BP;T$~7m$R̠soޒ AS&dp{G$G|fUuԺ<Ԋh0ZrkGvhNB]IcFN 2x("`l[ s%QDdgX؆?c`p5-ȟ  ~@9H[-ާW^#V&7Jjwt =/cQw-0 ㈺XssB4Vld8kG7D%6d\r˛j $N+-+aUat./ilWS[^N}(.ja0z&vˢl(Aw/CJ{S&k:zBwSn{~?ZL,3\9CՅ.sHUl!E\]kvR0R̀9V2ԁ1Hq h hǮet?X2T[˵G|.C,*{o1ʐ+IwJѳ LuqtfqM 大b؞Ɵ{6 9\6 -EhIbnB34ffmR+Ay6DUǮ`,?B6˧}q`]զn'W7k?z߶5xvuw`h(zռ[I@tңOTv8Kw8>غii%iyH.[OtGqu ܇TQM-Z-WŴܠ CǢ DAM,m,p?%=79IEEd`zƒ!^FFck,m!t. gx'd˥6?)m>+C%|CXڹdֶ3u 3WȄTaECxIT-o[Q |a#wa>FC@ V0iy޾BRc5 x/K|'E#h_i\]Tbi& xO&^x!lf&zB c&Y@3E6>>cGqjp, m̈9 vj@r r!G+`H' U8!K~KǭTr皼exD~'/9L{ճ9yd^֣ ]Y) <!݃3<}bCc4?CۼH`){ZV`L|χ꫋ұE, p$0 RkG.>ٰ xiyվJ EͲFr#x}}3s>_ʗ>¡Z ?*MLvB1'GE6ud Ozc-ڔ|nFʭ ߯T0b<*s\0iV{IA#㿣=JQ'c~ń9z n_'^tR}Y8:-&)LFG·SYEWSg g~b0^[ߦ/o9!㾱Aw*$ERr>{޾:h"m PĖ+ MhIT{DO"t؎ odtBRpGuPfq" 3;>ynj ̉}B) Vc׃vlcǏ $C3647DjرJ SDQCN~֝$¬jH"mѾ@_unrBfOI2?jAu-o9=@1GWh l GGf-5xOƄ^6<~Ø? E].z;+ȠFæZJٗL_W3 {-F| V{eO UNܚg @fЩ ǓiQկ--%^/|#C ޤ(=sW0ԫslA3䫪-NQK&/c9@"Eʊ:Ax5%+>^,Fbqcs ބ 3i+L$Zj*/j4A~ZAŌ6{؟L',ƟNđ_lN9}:u1*w\x5#e[8WXIw^l$\gIgkg(FMX!eh94!ETs'P9, :@G))N;JֱíHPc`rǯx^zt6䊍)<{`5w+ vͲh]r I3^#/ngv1+jO~uCe#-0r YJHّ4X]Wc1ШYJoDY&bLo&G嬎/[wt04 U3=\HDvMUC4U^ă*x1GzD+Є1m!\qPˡJɗC5qaկ{x !{G#*`t g -ͻ qQ%E j+ YUu qVn m"5oS˜zA7zB>Ռ2+?!2_m;ǣu.oo CTO$u clX HJ_7x zanhcȋ ϊa;.< y&̺"YصO(\! O uV?A ".Ckq{S [=$_zqdbԇzzc4Ur $uN3+.G6Nv_\g-ZC"칸DP̦u|8i&!uH$^Môego[{yWda.(mL6-uHH=uNéUl샭Y(\C.q-A4ADnWz\}z;|jKrrM<';.IKe \2!wXqpͨITӬ5\37&cW :/'#Y]T6cS]2:04i⌓Lu`;dW*3JCмn[==߉\5]R@kcyjqOT*Ky Tp+kq묂 '5RT1յbhj_^{y|+ $S̓3/hY#Hmzlbi ʎeD~_e^ eVٴԏ${lN_=8`Ώ\13h5/W!0-u"I۪Mo\g=+Zulx0>|XLn| %tx&S8<ݳ -*-8}34`+i.;*8"Mۺ]<A*K/}|UEΞ#Yx!e#6*`0O/qj|LoUJ8.]D"Oi9sn|8JՒpW|um1Wź`rKKy@SebF 9q}Pk* ä\ YH3V%0ݻ0e@i1hYU”Rjϗ4%B\(:*ka43?!JCKanrrcJnNz ='WD#[VYK [Fѷߛ5! ]^ $7eUQnמu߯"ʹf ΑfVLS. ]XRqgփC쓶QtQZuz /(ENb-W.l8y ]7OS~!,nj«1r?4 `H |bLڤ.:v:"Ꝿ"̻¢}䦝'nxnT~4XРUQ|5蠎ws&l/T.jWDdA0KT;̎'buw]Կ<UCN XWȶЄY0߿MOcqoh k[eN‹Ϳ"[l^@90tr[^+͌[ ȶ2Aՠ=ؽ.UB{ W-Yکd3<]#rDaJ]!܅* *[2 1}ۓՐgDo#CD$0p)j+[^B#"'aBr5pKxFHB:j+imA؇'z99"n?]g/%@C(SCچ), ;džX=Y ~N^.1Y|׬(ւ[0F?0hZ &oYn՛DF@~t l~YީU a0[@6}HCZK-v(mu";« =9=aR2"I:M1v[&d0V /(Z! ^lc83FmBNΧ"SKh<vn0hz5\[[ &*EB5v`*HM2Ts2cטrlVDz: &U+ywwm¸Vy{cĨbDvȊt2[/K{ T_dF6g| fb󸲷Y%kwl6E >0R^-8>+L{Oм5l]_S`h|p!.`'7-rR( d<!A-}bC6 'C@hk7;̴A61ϛ+w`R-eBKu 4T~X\?#0 &lpvF]zK #oDH@Of5)D_b9YK@(_U*[I' LC+ FJٍ*[!`hVpخa·,@+")Vc+wx=t]-ٝ;(Wʬᖉ޼!J! ,WB;kIzIG.庫}7W[S,H0P<6'}Ӹ/X3L}sCNބ&J\J6˽=z(a@瞎\ qfXgsB~j gB'==Vrїbc|*FzY)pPoqFT(aK3SChEG):WQ@5Ӎ0UE;4+D~aI@ "R귢YKzIC(+Vyb|HWiyawU섻[2G4 T ߠtz WѯomEm3] yd8SWi]` Yj( iTP!90FIu)q{BqYՊ\t nESrwb{-(ᛏ kv %&ccLF Itt:Q>YFZIC5iFѣ;]E`{3ڨʾ6ԚpSn#G񬶣>W$iNAl_ǟu[dZM18t!khUsnΉ`!-ҿVg0غ MU8Q$qױ?&laV=D@RCʀMP 6tZ@w.E~Xl7Xڟi!Or:Le1TU21tf )Euu\Xd` } dg.) ,ra] l8^}OSrL<[^[P1]Ӫ vfɅHªow p܈^ Ҷ9tob:YRS0794Z'T_{[؍_+bTv#P_L\ZwE1(FĒPt%ˆd)"TP4[4;#X[j@igMP@ Lk$4&JiP:yW\!cjD:L4x4L8FBGN}w5ڀ svRs&ˍ*ȭ\Wj +ob=/d<剴As DO_$h{0UGW(mSĢl"M,vz_J Ϫm͸7ϗ] +KvtN0?l?qM& 튳}pa?-.`őm.k .S' 4WAcz+-Tw&-ekU"싒fNʗFↆ&_ }T'J+A*id hq+G'&;q<~Dw'#"G#G;Ag°kUe`̫ 8O;u[8rKБ#OZL[D# }Z̍8ylN^VN*QbB}m$Grwo9%il޵.#'7 GOG~HEKn^|rоJjTuOe`:#!+*o-i|ym6Lh9>\Ve3k xtkQ-D)LcX,vKySyӡkOFP.@f2]`d<־6FT¢<*PP6"KE_rܶ,-0N"y+ٱUt#)H8Ճ{([Bk4F! ;3ZZ+iZ®+077`ڌ1T<]4P9NraQ{ZʉmafѢ;M˧ik6'7? ziJ@ 5v"FgOOoJǣn>oQ0`%0Q2 ]fz i@3*mFX~Kzv8Vug0JJ[)8e;gϕԗL%Rk믧 X|K2EԠ7O@h0]$w3Ljwu=Εߎ9ܨ+B2g8PI0B#^#`SȷSS6W&YLc#5deܷ> iYOTX* /g~=8oތ#1H0)K'h+>ς Iv-Ajny =.^UIja QCa 5mI)BgSm+G?M ,2-nYu_̤Ohf)IBtq!!#ҦۚjuD baM_xkOHȫc-P[(uc=Z3nx%tc-$7Uj D}(h aç8P ۞jM%Xx5er <9@&Zǂ,*7^er7;a Wi@ߑzn((Go.`Jv5;9'܂~u:;FmW8;K1IZPz`2v!$א ĺ?ᐅ'ay?6kI@ 84jMP0PeEXAC LJSjFϐp8d㛝A`#H >Dv'-ݖǴ&ٛ{Yny/m.ᯞ-w)*\`y*0'*wm G-7r-47:1(^vFEf7NO b)CV 'Rٮ_\U #6cz.ƅcotM/bB8[Dϑ0\ ~ HIo}a5WԘgS$v_s57 N(ǍzXOKWćV&EV.5a}&=hsv8"lUwi>IhZ:91Cb , D{|hߣzV&s_~Ç{5+""_8Q)F>Tv[I 8!:dKU+rrJ[T1DZQn^s7 /2g'+4ɓ_4#D-uWbIZፁp|!G2Lٕt4fXd,iIw6; 5vZHLwP3k'rVR<Gch@ʖ9GWN5w%heWPhҹ tF=xrVzR#Jd= u¸3Hů@ 1$P1,c #t]*r{0Sty|Qӯ#x 攰vkl恨pPSc+qO u@λ![\4reGև[B'ùJ`Dchՠ614"VvwyuR!C,oybz$5 *O:T82LS3܌">*A@]# IqPukv=JP|yO^hV CZaB#^K\~C(n{bwΝ7A0lYj KqO ) T$r(zzA[Q=5E섦LF\kQ#\Vv'+D᭽=˃4T`ַzrք $Fv}b>D&j/wyE_,N/%.Nx۫iSRbUPuŰ/hVUR\C}9[8O@&, |#]&RZt#hT<-Z'cŢ1_ J/ 3 x" s琚_`lX2 >B$\ l⼜(9VUxiGXRmkQ*-*_k4%4%煊Jye0@m%CzoC[!WFG0Do^Τ6}'㹸mv*5]׷gq [2S4[l;6 fDy쬤J//n Umx3t3‹?b O `w KL,1@kuŭ\n 7@"J ,0ewzgݫ{E޻KϟaڸJb=z-2h::__}EKZD?L8X-{!])ᛟ(7Z?08;5 2"(z򑙲ʤ{2?~>rUF!RC,YCjE JF9jyQ !!I4v ʯ!u\B4?W]9" x|Vq*H̏^O,|nh#0es6 0E9-gJ9)+(UcE/Z干 5tE?%xTx!; CSz'k?l@4tzZ~ :)6+%c"T˳?]' jt,ݑ <΀K=>_@G]Ōϼ?L2p*yz͘`I sH 6FP H>oGzd Z5'Ӆ% ?ܹY"q<{a26Ʀʫ5b ,Lū]kAonڇK[cܢΥ,-N2qCQ$u;OG**w J>gTI՘yl lөgjdjGt(^O)L/4W;͉˞'E\T;sn2f3RmyJ';gcɥT3RP(֦_alfȑ>?xE1I,WhQ=Qt댌=t7'uɹd]6v+tRj*%YJ;U/Ws{61*%hL&˚vK\cؚt95VvʂW a5=C/bR2@ ΢LB5#9ո 摋E!-YsJ5ah:R5.9Kw"E P0KCϕ˸Rb[Q!ML/. sOGm`2\t| vy=˻U=ub_|xWrճF֦_ZX )lGD`@YIVQ"k|rI,ԝ#sS[.wR_T8{M-[It= _wTs o0\BbpS ` eãR pw&vGgBGaRFB H$S~4?F-Y'CQ R b'䛡A ۓj%ܱa)+js }sDlvLbcCAnxSW`BWKgYZqK'4\i!@3LKSG}@ 2t[)fL^ Y})+Q,PT%[>$`,!Q42rF>aMx}PN6% bj<^ڴW^BAХg:Jҷ`Eu 7l3N1A̴l6v+'~)edCqϲ,1+B: 4ַD ږxbCL{  >0&]s pTp`ORE= sNoA$C/H ~Qt0ZA&̪uWaH ?IYiB9J4hvuL$pKDk ~y&rZdi"X9-)l y;j.3עĶD Ӂ@L||} (+%l#f>+#m]'N=éˮSwyZpeK\z27f%7Vng>#{ŏqȰrY9@Ry $ԐuC lB+kE }߰0FQ YɥVRvj7)F- Ë4|:#,KKpYz}/${ (mLFKQDI3ZZڐf*pחB-I(ѨuS>>D2`[q5sd|SXYu.7sWYbAitq ^_kE|lU0x֓ U%*WFz%jY=T3o9'l[8>VG{ 7$#ZI/%H{oXo@|n$ ϖջ&|uJp _c$$&FRLQYO0e",x1xW*mYaO ״ar#~~4~F\;Q:|58`L[uϯ'}:4xP6K``-\I@E ͸r6M B;Eߣ whVUзtfK\B^_삡tFzx=C|P\)_|hTFB4Yfz+eie6H)}O7^;DyӖƱV%u:Y]%79[Alvpif6l@YD})9$$(&Y7RR7ëH bڃ]1Hv&QxQ]$ ,gYZՒ7 Sw0~` j闳O!^v^A&L [B1E??%9g̿ f==%v&tm/ƿ1~dx}][7k֚L‡QywHgUM2҄_݄O-rcg¶wPB۱cдE/yqj@ͬR[zl6?Hzݬb8 y2+ 귢M/fK5[ĄIո" Gi8:-rY۰@蒐'Nοnc\5!,EQ9b4Y#;לѼܥD?r_т*',)j0Bu@L ;u5*߃() XZhI7ئy_J)y1ubj^W3݄ikԞ0j.VU*[a#bgv.ཙ᩟O&W;TyS5\">5{g?CWJHU)Rt"QL҅h%K50"uZG%:/_;*Є@&6?q5Й-t7+i $T 3DU`3NKso#HM^b{PUCIejX$}:c@; ζboOw=`ae퍮-@Ak;yQNW# t\MZ%AG;;/ٻ7/vh#γ~\ժO 1pH}3p(2uT4!|YZbdoWdGHKӆPe2lUbIDՓ_UH簔0QUߞhBMEl?!P VzDl)m=Y"n?vd4=Ot$Cm tPRC }"[*àE#x.XKsGU0A,#@hq{\WcG oI\&E^A~:F1&*LNhC{W4DR8 ZB> ^x"Bp`lŅ^RR0>A7L<.s% XqFXjRs4 vԏ4;[a7U^[?>xעyɵ?ͩ3c>мD:d$' agᲫw/Aub%&( кSG;c>6N^UaGl =K;J ․U$n nNALm #:'XWz>#CW2z`!:4LZ ! C9.ollK_=*|ͩ6MSmCT-n,O[8XaQC+>!ixYF__Zs_R}si!*ތ(1G:ӧE.4[i_#Ru{ImjIp2%  +ѠC\FZ//0d)Rfja̕t!IK وHh@QWJt^YW b8e-v0՟5;wގ>@>Q5;G(yV) 4Vo{<]etѼ(ȎV>E|75--sך!j}9L( 8˨mZspbr{e_ԟ\:'tj\jOR-O3v`>"֭(l3 E 嚞v8#mSd*ja҄8+qQ6U8",R 4@g}Ф{+JyyI{G bE7yvk]&B,+O6'IKХel&O60HK:~OtJdP4imM85{gypI' PxMH{\Ϩ7$ .D=lV/RcQ)1'`㼵ؿ@^>Z( AQ#G\Yo'M%2rWMxw>}==H2&)h*`u:M7<~ ԫJ ,nUu^jאGrR$V}:~vK]46}]V+0.B(HGЀQ^L,QK539_u#` H_>N~on 桯&3'(\C+F 鄉ԧ5x @A*\RDzXCY%wΊ[Zo&ʢp1.^3$n_xw|ԯ"wq9l/E3`LE>5ExτbZW]+2]n>ݬt_ ꎮ}iwOd^r]&Wq5+cyJү17i-͟"L|31DѱD!@N򰸻|킫z&?dnXȶxR]*ܤwn5yx%}ez̳2"zK?wUkNA4dE=xgoT0Eo^WaNč[%zG\Ԣ-B h+Iqc]Pi3s1hSzyx-қ*MbC%ڵ3o)K}~7@!Wb!0)ε+rf|䎧O=,r- <4SmyТ"pHr͠Rgϩ7j_ՁTO"*ĢU}9 ]XQ bAap& Tfy-4+6UcY<'3*Vٕ_z89Ͻ@)Ofռ>͂p'gnbB^-V{)~g+w-R0C ;@"}6 g⺗X'I u\%`Ga٭EXX:3γhܯd [W?tro.!4KA49v-({Bw/~VLMofm76V?T'jy\jWPea(Ϧ'T"#Jq0bSWaihky-틶( pN^"WEᯚnBu^̅KYOQJU ili=2ИZaq֊u̚s4Ⱥe_͕9F{&@?Wdm[ЂrY)\t}Ѱ,Qiq9`[}tY٪t#sΏTI!6sO{EF4;fxuMJ3xfQmyxqco?`e˿f;ޕΎ|]`2k> н3X,[2QK5Bzɗ9;}QGn$Uޔ2."pIO7p9tWrgJ6dϘ+ M:`+6֊y J⳴E8NxyԗPWG~l,eelINR2-euz- Vf{ kK$+ ˥8z'gP`xvw(zM}Fm*@'y2,3s \~=|p;Ѥ`7dwkja3m #}8h^[VI~WM0t=fd܁5hUJ44R n0Z0 u0k`W\.OnU>mQs0UH'z,M=o}^0SL8b5{L _yuƥ[w-QQ6+-(sPVYԺ*WO]J_,VN~+ft8XF3:>xyiJԐybJ`uΆr "6-V$tBcW؟lS <*9t~n gzwJ\}zwd=c& 8GBmQeN`X\[}'zz|*ՑÖUG B 8QY+< C}-K|qYω?;fc4RYM ^Rӈ3N/ljW_Ko]-4ߔ˽*0NIp)T="S5G&zh+].liwetjO6d ;UVNJ0ČL\APk'ͅQs]M!Q>Q&`-1Ck^s,QXD.ӉIn:2g5\c/ yMYWlNK X&G3%DrϑCf/ʤKFKI(EVzjJwPW-n'/htە=Tσu[ɮI:rK͌AP$/NuٕT:}u1O5!=ߥr>*,Z]Q$+,Q^i% TK]vyT?:9Ae{_P/Κа @};84rs .s7JPcEx ⥣sBh,1-&W!l5Qf)xGM6eZ6 mg#a]$!I.l [}Aa8x؇b0&s (v<3i,4eഀp*.Eg^xذp0R1x~?9[nGo~#[P[GIwfB&AE'w ŏu%/?#Ƚ5gx~ٞ[ l) HG#" Z#RpZ 9BƟtRյ$ /EScyqFܪ;ST ǘ W0o  ^۶꽲!KBߘ [N&(݊@KFD/޺?6g`'@bdֈd 8{qϋ=3#Q:{>Ńb3w/QNP ވQ?[.E.2x!v1%ega.g5а"L39=^e;3T+"U^ skgeCtm=Ȇ.M^7Ps<ۇ翁N@z[Cce)SX' %k{(*\JqKW/ Ȩv!q%KHkrX:fǔo|6l*-KseʸNKC\'{b*Ws*'k9ُ \tQ[\D?9^Gߠ{}B)Rl"7Cs'x"c9h^.JVԈn9X·J&JTKƜ]&'}ԴmwЫusLzG/d]7!q{2z*Nub5Hah*}~YdwRym=Q5وˀ~LddLHb8VxtEj 6 &z0ޟkg5Ӥw7z=uF,Rήlu I H[lv\(<\_ChΖD%rC;y|Xs2~+2ޝ%g@YzfN'͝/UUo A*2M;16IKZ m)ENR>ꖜ->` /lqRNW+W_v4XdS2Z&-r#qx1x6cH`ob: 8=jwU :z`Eyez|\2I/ەDК;pruwSݹr`SN`&V~Q@;A|\9#~j=z6u;mi" Rψ'hE%Pz^u(/Zt6eGV B]b2[D,PE軶 ŮZL v>/[ڭUM̏=eP.0~botU>+[ge&L.GA8 hq O, YK4zǔ m{L(~7%W0Zf(P(@ߥ<.aR1,.^V{&5JSc20f/ b|gbTnk_my d @2"WЍ,Ycpi戴x*KiV. Ʃ9rF!'ev̋9; P3VMF:/Bi>9aQY2N4$+{D4Rm2im԰qtu$[ `e?>lB+s]$IF.e$9 /.N-tݧYUT!5 Jy|p >d̠T{o=p EVAEpM\"i32/dB9?="Zg ] y h.Yu6 Q,H+.4iCQP$yu<v84.Pr[ш]<C%I+&(csn>WB7| ]Y jYTɎGg, 4= +I ?X5o"*R4HghX[%dqVwy&S܈ﶰ?,MPY|6j eZ7X.<EezxpJƃRh'jܡA(H[N< | Oൡa#q2QAQK1k2S Bt!RȪZV ώǢBh" N$3-%_z]lSY`_BTnDOO.}aK+M 4ߙPR͘j& n,=/t[MAf}YV;ol-֗I\#nt("bVjvPz$/&:@u+*eIM9>J|SKjv^9yzhG ]3H珺8w!&j:O!?)aIL {zj^ť$ ͂Ӿg2T ZVeC UD"n$@ ^ct\rYn؊`&epf ЪK*&LHɌ~aJ-DPˏd0 6=(8zOgI虁 ʂ׈kʶz{}A"NjYs^{˪a! ڕ ?rV VVv֝RI<ڶ wu4E߀;ٴnsK/7 {]q=k.rn53l AW6]o"s)3b";ʁM*uA knsz. N}fV*3S\UG?iN)|ciFo"w_B>?V!tCX>B=Jp"Lypiky r]_>{~"Jj^ya>xDVdC-.&EKP"bm h)vj|K0ѯjb8Ayj# {;z[!X; `DL5 FMM}K]NsҶA݊qw&!Dloʀ n+1Df1P.Ay,> f"Woe$P?ڛ~#tS`Ťuн%l IE*F[QlyW!1a@j&/9$Z mn$v_&UrI;ʯ19yKԇ3>`-n<[ߵz|rM HiOaq# I $pqGzqE٨/~Is:ɟGR.0+_3gEڐ¸BZc a{՛X<4+o 3Saa:«'=\$nNκcd| 0k9  mG.=aMӘ8gmآiOoZGۭvpao'R:.ew osw*f.tUm.Āk6™tSɝq5R$ :~\ @Aػ0ng P[qrJqˣ-k߾t`xa[DC_#y9G>bjg=soԋj$LS=7%t;H >5=Hd[,h%S>C PEڽT*;߻ዄO7{S[<;!xqQJ\{Icz*9UjC>[G{C!7LkQΩ% x_Y"f9W71D֧їō4+TEL6sJޡbyx%𚊋9;?-3 `:CI7BA7#u:p"$f>80/.ND 1&@|KZ'iw8-zAH=v)Xt;)WšBW57.N0m'~Ba{T/ 2zMܿtx<+ٹ7;_6(0 ʫ+9rObQ/B2ybȭH=/CQ OJy=Vmwx˕IJ_<`|@C&eeU\#J ps \]u Ɵ mʓz+?#Gt)Hk]l<;XM9,ӎ\|m_md[zS0Oɫl)z|(gn6*"4ޓ6- e[Gu MSux.»ᱢ͡3e\8DPޟPB|Pq6)5nZꎤ .%㒠-@ⷳ"L ݨ p@K3g{9ܻ7\,9yЉU(Xئin&wyLZg1r.ːb2Dڲok CCIBBBq!y7BRkéf>t"`*XeT ( 1ٻ:hzG^}C#SBgDΟp9?*BÇcb`.zI%f~\L BIxʗ+λQLZDm "J6yeBdj:nkEqj|MH#9yjR3t[P^nC*8 /zJDIO<-dlP p j򣅊\':{x%On'r<"q7гύ@ p"GBLz-1_;Ag#~GX$5wiV+4Tʄش'CNh mmP }K>gݘ~ikvE!p@#ڋ̯H0݈1TD"#S"*O Ghκ&gq΃bmxГ{sR($ vb_R <$WMN~< m(2c{$XZ׷"g2tQƎj ,:qbY/.cdziqm`4V>ץܡ存\yeZw]ADeɀ6j3r7166g& [q Rt$b!I|4,LI*XqzB .upjd[ds|(9[ }ۥIm$$`L< e/IQj+T;`{#+ >֦wGغE_؛V8{$HA>?0pJIyhSX`T{*jH:{x%Юh ݄yȈ-2,ռӅzbl!H_9BӴ2ap192!2MG>YLh;+F)] ﶄ?sO;)BS$B^@D<' 4@O+'r%2~\ҨQv e׷=(rF ޗ/ˌ>*k&^jܪH2IQ`+;C /_*ީMrsqɺmwi Qf-Fa._ =9b;7  hn\!%3yC4BWCQ`GϪtYMEi{=tF#]xE T=ic$랞"F;|Ac-sޫt#E,F kI}=Qٜq5qdE}n ;DNEt[K5KheIP@ì kS#[p  ;苶d5_HJF!9 (T$Y of`Mp$g'aBNwo F+QKWͿ=!d$WVl iy{=dzNS,wy}Mm=a 9ToӇ?ڍi)mac9y氨ӑZĊ Nl A4}CD%~?j͘gV2OA}R{l6eEWC0 R:D)Ea9-<{Ͼ RS WrXMg bb l01&&gvi%V7'JfYJY=k^gqƣaj$꾔$n !c~WB ?F:MyCɴWٕbg2|Y!|M4ZbwiBS\򵣃)? u8V+HCId~5-XM~^H}=51":W U׀؁Xiž~݅zd,jKK)CflP|REOݳp =%.]81=׌ и(TTYSYFfտ>\Pv /)i&'F6~鰲uy@\h߄ydi фjMI( ^Q=fFfB4 s YXjbg! nw6I ^YMI0>u`&c:sR'3q?yN۩)%';Pgh,;'L7J/=o7M2$ΧGŖxY")L20>m;|,*m:1/1LGo&73??AK-oYAVHFA] 4#PUz.h:C W3ПUH /&1R>3A>a /ҋaN?BՌog.~ۨZuX== w{E9)&?coD>k.2HcuEsYǽS˜8bӫ9d~)c3w=aY~6ԓ[su!=6V~ESz:VЇܒ`יgӣoZX ߀SZI8͡F*ѐ1H S$2^80W1#'&U(Ngє<}7[K΃ht.y4t.}gp`фl#raz lyKdjaw`.u;ӰYs Y.Ø>)ncm*%Z(M-k=p_'{6Zmc.v/]olmJ ..7RhSW[x})F_vƇ] =uS^:AJS 1,XAqު7@bsA?7 4dhlU2:LoLQec~I{t)OKT6?3DX9BN^d/|bX۾e[_)/Z635֗ ;4 m#]\^:nVm(ѐsɢR6.“ iLLV6`hRWPF'#b֚ꗬ3ýg%`ٺb$A鞮@-=CB8ZCKgYZ  9G# |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! Xw]ˠ)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^%tBDHڰJ>0"/=M۰aZ85:wSIa(,2vDc` b(  :^z:XYDc44²qq@)2{^BH+>#d}^HZRoIN^$e `Pl3>6|ۑZN-sc-wA `ks ,S^ߌ'PčbRs I+7Y S|\dCfF+ w H S2ߝyGU"UCzTU>K I7api[*?dN2n=~¿ߋp |nD*hUʐG[i"px]JN$)~_D^EΎwV9ʉ ]J"(cLΚBt9b¢d'>FfeV'WߞGKԎ |??+?f 8-#T֝:6?LBR:K9&4oL&JKO}2yŸe,qHX"053ME' .s˃-jl/˺&Ql's9 )D8j֞~E7D RkNo If ;j" 92^iuaq4   l9G' THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Iod]Άxʆ5.f-9 rq?#wn|8Jߣx`={/4a|f.=\ ]/u $6sxJ,]S">H5V@44;n#T8;+1W\Fx>~RlE"tfYW[Hd^28RٟqE41~>4isS}غ^ &f˳)z\8=.JPzA)Uis8=@a[s4J s)؅ƻ5&  Gu@z|C͍Wޱs9\ئUٶbZ%T7?% u5KwC@)Ew󎟪y7Vhx>0:QJOWDzs/ -|CnJ۱T`q:d߭y$k:hVb5luK#K+gCC%3^ j#]4DP kpPs_[YCf]rGDk]8"Hn&eԍ»FMlU`?/_JUFZ:a&469JM)l1=_x1K=a wnz!ޟ+Lb]=#C>8vZ;H02irWby د5!Ɖ~ 4gNf|=9︉l$)Q;s:! $!XI0MVݬ{T uQu@q"dQ S|`YUbׇfǤUr[q-mz~3x1]-_*5ath"c]eƁY P\90.3ʄ/mvRs XO VH,|lT ~J%`܀JMm$΁S,[B j ~G'BKZv!VYn3F^v}wtV~uB<u>&e4/O!B"ZGNAM*=~CߑNt8'L tuL ݀g@ $]I ~sM}֝pb"f7y&~Ah٩<rGdnfRvhEkA?gW0XAѺ{UJ)E1 "I1cw6Y5|+߮&E3K^Bv|yqr@мQA(gUXJ FcH&Np8{~Nf5"4d kY&R](ì>^tyeꚂ@>߷vHY~6oc[Ъm9T=I'7J,Tj#JA<,!>Gvq1׋oOU|^ܟ-}A+pߖ{n_RIN ODgYZ uGe߱i ;1$k’%^91i<2p Y.iT_\5@_|I4cc&ǩ.=tvZ\n:ގifwcNR$❯1nas H+b6P~Y~1 UQx>,˷Ϲxv4f'r;߳򭴛RyōLmF3<v[6!AcNBvEn\mm(snLEllQVӠ;cae:*]NIf9Z xF^ 'TI 8;VVj?i;^tc3z͚cCfRV" 7ԁSαҠENŦئi9;cF?r:W xpYCF\T[Pj v͆[,0j$Nl2+_ jD:&A,p$KZmQjEgK_ dF u DjD2L8 Tw#PP$ 2w<oea#bY&T^tFU;1s"[uڇ8>#Mok+HZIf6 bmrJekH-{: ©bu"DC[;7=X!9))qjxgunU:t/J0j1xm- 㦦`o9Uz 30sЦ]> ǎ^6Bٯ(N5CjRs2cƭ $+)wh(BD"ANY|{4nD?IHKn ʵ.p rxT׎Sv'A<$$o qpr+5XķY8oSZF''5P&~*Jvvx%<@!-fFm=(? a WGOU:07PdlKo@P%ݔ9˕4fY/R.*/,7*c- 0%+X{D"ҎveznK/!E"HɥH}<ȤD8=ʤ5P8]Pq` 6=B0h͑%g(+ FU/4zRsll-XyK[9ń3S6lf{.*(EZ9 9RhAwQx̄ 6R9~TОlHW*j\ h N atd~ {Y  Zk+ q L_^]dTӫ1'\oU긛TNJn|_$jjhf Z_0t]#~(Tg sZY5BDUrr(BəJP0э}=@`Mp ~X Ou C*~ C +BN9cbYh#]#Aa ^x\͡ e|Ո$cdKAr@M8xbCa?4M`zy5/q 0=4XgLil=V7/Y:oU;ZT巊v!9wni6ZEŪE.JyqӚ7YN~m3 > RGsYAeّ|,r:,]UkEEp \̬n( bLiuO\$YK;V db7PS:Y8An nLtsl,:FVx)EVnnXJ䑉ӊ{ h$Ewo({ q¨ҵ;Ze,Y29x'<#_w꽹 >Rb3Ċ'dR jK+梜O)E#g$pƞeݿV.fYCMuxhWwយ˙yUVČ _8Fyr@çfbB/P@g.Pd͈E}H&'ᄂp(vc_ui~\ygg[LB{gO"OƮe9Ͳe㉃06]LXǑ$K4.ՔI,Jqd~X~p/,۷L(؈ahn4/(K:Ɔ~Á+>m* ,pVx &~5VIԛQ4Y)E:W;b-OBeXcM٪ۆ oJwf"rޟ)K0$OFwz/FNE\%,DZB6|̽Eȵ5| j`(F*R~;o^=`"J,|'a]KUuv缑-]Ċsk3NCMr\m(N:Ӹ2/.Lw2-Ճ)6̡ ңO㭃5x.k;HKaW7.zDnSLe ^LYg~ٗE/nU}YvXMxIC %ƚl=$߭/L"VCB;y6˶6_ s fhgt_ctFM6$n mL>*Xh[h]UvqAH5{G:@ H;a`IT*kAQaVcKS{/,g%1 \ j慙GXt]ݠ*?d1,1|W%g0'kaHqoTGh$m0(B@̛5B& &V2!Ō@x5gߴqLsg{0Laji6+X~V_v>VsP7 to2 ;7ɮ3>1 L xL(ͅ2bsKш `_,"^gxGU1?O>;+6>ݏ )bkm1F !yw7@Ɋj"\] ]7.Z`jKVP:Oj "WTU Pii ouжa&֨4o~E1ErʱBP"soOVH7|q[CƔMeY @zz}[~+yrcԘzs8 {y7J8?cN 0u3JNZYxf(bqy6EFd?kgwgǎpV//fRӿ( 1'zz{vU%orκ%̢\")3SigSA1Rm *S_PƐc1lڿsSv m>I {Pl07?ɔ34`ĀĿn1؁;v$:I2ʚܺ_ ~im$OK ?W0V}*lu~ ܇mqS~q}ߧ*yb[حGJ1撢aaoUZ*Y]Xu)E\fqP@#MTvվc{?w R WV2@a^N|H2i@o^C]djsAuԏB6B -b UTDagnuSW)&(rPgJ@C$*(ljhnazf%EI(L79_OD=J`4!|eOnk?dͧ@Ky2h|="rJH nP DFCApc:C);>U)rԃ/1@M\{0CEXK3H&$PSn>g~Mi0nE6m[ͳKiq| A~C@@A89nT%-]WAm*^7o;"]2/ >*Swf+Qz6}& /.6_֊(~cBSsaD(7V  ST¿W(M2J0ƀ2Uv諙`}ڼ`oBʴ1HV=j)A## ˢQRVchOHU<Z53ƈͩ MJVx(,[(9m% N:EJ3˾sdRj:gFJˑEx كt+3VME[{v!"'f̃5/ (v ګ$Qy*Bi+Q*5RB!KF>k j,O[$\$hLYzϰ)[}nWMv{(ø}`j &i%J8ĿOҼ{ Ez hvҘK*FZ8~}"QU\73o8i@b{8Q);8<;.<[D%ccv% g7"2Ne1?+M]('jCrJ׺[㊒ϱ )SI(tD]Y"Fwh9TaԂO md⅊{Rn~ $DeCA7i R84΢;1Pf$`-AEc>G:D_Ó!V=ͧ,V7&!pipX{{<3>gHu:4U{ [GE9UpB"Y* s,I2kD$c sؼ/ M0$+riCoU=j,âB @{lVҒ.l +0e2g" PWJz/aEܛ{uRv+(z?[\&=amV .(2[׹LB@.o鿧 wftW[IgB ,j[՘%Ael÷8iQp%.]RDXS %'^&ӻUj_[V kL'Cw.kE4Hx(&Ե?}5Jr7Կ6G4fou7LQ$'4?8ۄQ$8i [ r8"\}4HKZƘMBbE޲=7%1~p±B X@jiNnWxx{P];o2'K\GlH#";<Z>k@rSt\\d)Ohp-"@.+f~\uxډИmvINVyyJaySm$ H%!@1uc 6{ Ch49޶ؠ ʏ&NU[Hc4|1I?,r)1$X` eP"Q*`Z7 #]I%e~}+oŐƸ P, hM":\(XQm[Rf$,2*],^A/b"g7U^0PPZX-e]BüD@c3>~\*|uI O$|6DD1)iJKJ+1ƋDj;tns U'$aUa(l+i[-n%%@w 4覈.a* NIJ 1Fxr;WKL8aMV&7L_ A1Bgn(]Y:U&eBnՐd _4@ Xϖ$=Tn3.TJ@rѢ6uU>lJ T Y0t3ቖa"el@*\>dî*G-XvE!J꛾QhXqױ=̊-0VZEPXsna6:##وФ6bN2J/0A,[@18Aa-U)! yL3UGQ7cS@x|H/ظW=nDW]>1%rh*qOM3b IYKt`VZRұvUal"C%thi=LHll3VW"J"R; 'ǠI#FpZpfQXMyPy'1Ëvd|8ǖlj)] ӷ3ԆSX2LPc[ԭDODWDHrA*7p&A 1!}3WR7iZ>JөX>80-Hm<5'Xmξ!wPl8c0?F5 >@AiJl{imk. R+uvp!/e@NYBM_d~4ĉ8;ZՆ;P\7Qx˞BU^ W tƢf" 0gΑ%z#C'6Aa I[FPZO أf fkcl˷po藹PMt;R_Vwv2x H(|L184Yps¨Հ\眉A5ct9҆GX k)h)3QFPZ[^,ST"%J98x1m%7`gUT<pye渎E>yښɐJ ޖWvdhLanSFTGtLslQ?S[T& >N);?4N)ެ^,^;f9RI6\xەcB]#C{jӅqH IW udAZ;QAQBVu[u#zkDˎ |}n_qUzgErpaC g˷B6z8 6p /Cu]H.ܓzfs%G%M"$FPh'xeF삫pHJXdwU%K3A>i.S8s$[MJ?;h?e=6 ;%:|_ L v_8Ĭ^ k_$~,ܸ #0/وyV.Bv <~~zJ4- uP+JS҆nX@k1rr2Pdz(} j04 }^^A~I=9 ͊LaԆ(` @n3͹e|˒wEAO :l&~9ޞ|󥪾PJHM%X"F.4I堖&ʠKArP"\U p/]:e~gh oȑ{J\ûp/I<LU0fG J:YxwiȬٸ_*4Mjnخet{? X4K):I=s=$qcfIV]iu٥S L$_T_].9q_4,)̯yhb|lRCR: Pݫ=!Թ'N)3?1q8oqgK)~abkٿOZD#E) THDF혍~+;'N)So|%`#bBBj͉N;Wqy,_f.F |1xY'P'yS,nbjn9)WLoda570!˼:k/6Ǎ7Pܥ0 mo-b$.KY"2#C8>*-275%h2aą:SyɛWf,ꤿx녅sUٴqFzS]oS2מm9}#V+sJ"W{lj~mX ߡtd)Nm&=_Ąvk#$Q^1h}@ aM2X*fQQPK rFfxue/:)u1%ly<-y:qJY蛃>{+j4hp7UIX!Ȅj6\lHǁ,ܯPd]x҄~.:39-~e~ *NۼS'+kb!*:Kڴ3*9{:m)!b u6~I>}G]|SёWQGױ2+N`іJwՌޢXfʗ}O'MJ댪O;~]XU@Mqzє! ~65s njَX!o$$㽜Ǎ;0IF+ ~FIe$!H19|1T*$Hlޝ, 7Av]%~Ů׺[{X> jGZ銸b͗0~l9k{sQ +?*aRAU4p9'(o'C=]6.u”JEd]MBZmZQU1j$vL$%ѐ?G:+oKn/<`fof?ɣg51gE.=z&33S 3ŲՇf[~U F.u<Ϋb9&e^$S-[SȆhAd]z"*˫[h̚tAخC*-`{rTY\CZ<%+h॓4\:ώv(o ɃW5DS@ޮq:mA?zw1 -džG@jfpTt~D*ʭ )`TGQbwoC}/ r .a+CAٌG-)v#s#db3Л~Ȋ6.e`Vl{Nm+?^8ҫ\o/5fs7*26]𭩟OrWL$aFeEmee*8݃DWy9O *90.ȷPN( %2" "œϷ`\s"I}s493d} MHXdOBgȚY-{(o oT*YX<ʞսb=^nxM[I>,jO~,Y̼_d@f7@DKW`[Bdu6ͮ(S;'`Ƙbe=f V+! UhC8A \p wСB+"vh!,*LQ(t3Zs >=f9Тj_5bld/} K0*3d2&=y?@LDs ߭OSj˖VOH*FmEC>pgul1O,&=\6#q"e|rlYbmgn}o/V}!OrB? ?T> d0y1I.9 &%j TI@d>ȵDqd?:Pv@"hVaĒe3'/5=MTL=Z;0cž]+ nCJmWV~mWTq/r>9,Fh_FZ'ьzN^~ڗZ4-1RrlO;QHo(p8`j.=e.E$crd!?L!G#]mM%?[AVvBQaߠo &MA/NJn?S-*t!{zD)X3\,zeH U6}GF$XtXubC#;ΣA٦W!~q2uyc͢r yN:dnZ<DŽIS͗׵\d7qjwxmU_}d9G(KǓc6* ,#٩'˒CV ?eB˫JIc|i {|_` QqCcFgx.5l?$rM$΢4Yr_h~T$]EWj,qq} )ѯXT)궰S[nd7 JZ8)m4f+]'BlNn n|I}dژsGE7$WnA. *a?X%T'jD\v..M@i2!DP`~ݝom4=GSXɾ4&#ϫpVгFKQLPE?~_EI0=_Јl}.,&s GMm(F1rbk&Zg޳a)zy(F??ɁFp.t`־Ӻ)9}QYuK[ O[!Co`]YJ{q$.!k<$ObA>Y+#OJ4Ҙ#cz3+Bzl· \B mvt;\4xxsP2vH'lxKM\NaJʢU4dn @O;u)s6Atm@̋_K@a3l-VCFZ;fg o- "UM4ͫ}GwW通a3/2 Ч9\VCڠNǙç:S)#K `BGx!?zt4 vd?R/x{Ďdh[۾uZ1$_! pC3c/̲a&F-.7"YtdZf_s_ǯ]cܔqH!}!q&%mǶ+DҜޫlk0DvTU9^+sQ.JupknO]Zh@< ?e 4z,:+1F^LԮ"9=_gh%sRrAҞ8lTe3T7J5LІ<.D.b_G9nj)؊dUSUFTݦO.@M>n߭w0{395v&#Aة5y L:?h>F.8S_ H^E0}mHZ;;4^cM tm[4Р!i*(Ͽ8ƃϘSBF>@%D)qX'mӓ1@݂7)kΝ. 2I)ӑg$="ԉdf-kgޅw.Y$x1]36m,̺W\,ә),RJN$bFLI/ l"Ľ[kmF -@_'W!E^9o[f~1A':#QBxy?篘S.$JG209#3nŰ5QeLׇV}uɔ}sk0|}uQ` JUQ/azkȘL^XJ@e/']pXȆYw#p.q!&vd'.,c@9hrEGjbvkZ8?3E}/,m)2J[(Cn>aD&@).iSbÉHΪ_)fŏ"߄'hq /M]̉v 2kѨ]-ԖNڛ!-ֹ/#98?D??tW6U'Ș0X,OXCPӟI!OsB<{BB(Eq9 r}L&m/.FMN`Iy]Y\۱ǃFݎ?o@c}KvYGȭdOCM,)Il.qrx% $ # 1[`Z)M'cn`+n;Ծ" Qo*p(0 I{-?0Mא[v$+ٕ0 ?#9)ZZF&LegxIHɚ;;2Dm&IM[<< >T^Xr @Sٻ Az\C懅o1LhN^+?F+ ohZw o^{V${l54F%S&|с_z#sHM <~29&=ua|`JjxQm7463mqRA/$DgğR[f|춫/19T84:5Dc2N\t-{] l^jCWD!7@Mw9/vJopMϖi5׾=Y&qFU!.|aSSY%3-@uBY{JisHFj^|mhO=9BB`_GяVbxYAga> kbRv.KD /hīH8 cNzj,7 W<7x>#sF=\W~{+`U%IRwufL7hDΪ޷ļhfzm0e}Ne< A bm x"r/̹92埭. aOwҪ2E&ļg^|?YSટwB85Iܙ|ɐGGv$X}rxIC'QMHpz&Yw{tNxUZ_A1?W#|_?_ 6Ɖ‹`>Ƴ~mfJkl} lbX$ Ǐaz;`E>)Lb3 Ě3HS(mMTQQѵ 8?L)=fz4G-xq9tʔU6|鮭xН~ijmafG0lv{c|e 5Uu=X< @:z/'wSl!vP }1?~E "ғi3KPʁ]i著ԫ:&;=,A٤vilJtڰe9צ>P'O*4+[JpFX_ccT5Ta6HOȀ K4lXpΉB P2T;Qpy 7L,]k.$]!nE=u<'5 uE!`7,.n[&+cL~)hX^#R\!݀ϼ9@`kbzPD``kls瞺ԁey}R#JnKF{nF_H:3-6U_/7ব Z͡k%۴=>s~R/Kгj[VRQkOEm#\ +\3.0t7O%}ZrȺ/^6@Ycw.ﬣd ިl'WȅGB[.%n1"Xp1&}>Ѫ`XOq2"sS(caP+1-yGhgV=p%@!̟` tTp*51K15VAMۉ燦Y!l 0iHǤܰ:ٳp#OA Mُ#~Ft(Unu:L;Ab/HW" {15E!b˺H^~{ȬJJ hMd@s;+9aV'|dO(D:Mm8mOZ3m6ԋr<%qK t.F ^V䍵b!n*3vgJ"$Na-H3QT䦛-(b@T2 ;n.@łeyylsXEҵ Q*I<'|ӎ%'myodC G7 V0o^<' VܤэoK){zGDPiWr5ljBTs gF~U坚dڣK'}ࡕÑq6a:$ 3-OԮ) <dOjjP!lK {o`ml}SMc}-vPU6@_B\Ẕ ~~oCKgjYEnfϚ2g[%IjuѵD03%;Uh?-zheⓥi$Sxm\D)/@yqjA&QuI/nku^2]hoc747LzK$]Rʚ!̉3F3FTm:i3X/s1 VP J ]F) qzj?gO:~QQ5{c48~[T=5O*-P#M`%G0wPDP%$hz-f֛x0~l B`;#) /o)]KR(?Cj%n:jDp:]UZm:sE%ȁDhQܬZB1q V&qr.5`"FzŇmh/糹ɸ+wd{ -ōbСoo`x59躥H {DZ eA8 KoO%yqnr?|=r9dMW" 肣W_WdiQZ_>f*fꯅ߈] h O{jDJ\}߽}5+:FZl o]'1{$p~]nuw'`$RN97gY&^d0."O&hR%?WA>A6'fL:8V ǓDd>ئzF0z" fR,ۃF)y` ~=2+uQ\ A}]4*. 5/32e q̇2[MqUٽadXɖD?0oaBdf&IxFD|R4A\d61:woR$z*zW@o6f!NS Bd'49$x8c30(EM>tc]Y9C'(NN/(Yxδo2HzW4F(|+HT]$V?_zuZg0HR[$z9ptj*|Gr6D\ 9URa/vpO[( Hb_Wpasv4^j] A?mh)߯$L]n[ɣeȒTqhk4 L Y&WoV6No5Fʪ132*5X42s`uQJ|JXvFu:'r)q!?O+D%kG?'徳³O>/!d+9=Nh*vZeRr $Dr!>&SoHdwE׫ ھ@$/{WJj/BVʅEjJ/k6/b{4'^/E0sd#bs:/14ܫdaiX>?mlC=[(7DFqxk8"{NJK! dFu ucA)!mk4]֦mB%*taP6`a QiZCuR T5Us!BPgeWbs~Ӱ l.Κ򨫬F4?qϯ; q! Ck7616kj#{-y(ű )lD7\ tEVbk CHDGJb{P[)J5,w}.?sk3$0Í÷nŇ/$O:pOLqQ -UDK}9 YpP"xIh7\Kwgiފ{U+u D.fCIdELJ RGJPT/IW|3:C* |ന_^ Ȗ:A?R+Q~jc Z*no0Mu }k ^!ғ.=+K6ycD=v/of~AcҚ朝u7vJެ' Ù%P}Lr '}o[vV94@{u6b5 OQRC2+xl{IuFs2Ǩ 39ŗ.YW04 .Iʄ,o]#y`zȚb%DJywgwisk{):;A06&Xt)˾3*ets?! !=n;`nf0q|hLIȐ}ۥg3첉F[:זiݠvYxy˙F#a;?V^f*֑&c*V DJIf,I0QV/@zG`6eP>HcbA |gMن!%ϫ?{eZ(Gb_Ќͳ?}!{xB`KaA.2X:Pl?,ڕ{``tJxN,~h遱N[ *kA,cJ*s|IΜ)Q6;j'ضM/*NEdy(*- |f.ϥ"ɳ<Pi쪨`{@ s9-|b^ R^dNF[Z,n9z_T:췥lOTf{uq畔FSpN^%/V[?7Sڦwi,U=r,nJ3rnH Z!7*e}7đ!:ėPUq=:YU-< nS0awq<avYqMO ޘW>)B1H]~Z.oJ\M7JvDJ+OceeShd\.X#'?\}xU 3HCcݞ1Tzcy] TBE[#'l0g0^ލO_Z~R3lMi@]oZF%lK`&׃y%x*kyYJ3U3 H~ҺEvb-9`]; izFEhq#&p?j" GA 3FZ+TX7PrX3v[,\ב\jjWCMZ٧UMFf8&W"lMBD^Z5pD̴1 MB04J}d&"e0eH/Lj* ?'fiV30+oYdpӘ1 ;y_Qsd4 A ȆS- "\ H׎PكٯKiO:my|mK!34PǤ8 4WxFE5fJ7in.E wF6O?^}E@t_?sTH2FA!BeHϽ+7?l+"D#njBO ЕN ǏN@"PI4D*Maj o8N4l.|eVh@R@ysd]ubNsmμ9yo584qIN)h;e 9bs5d@="VZwj̱Ax:TȢwahk}eBG`~d~YXk VıE<$pvp ɹ֙3F)>jaզҬ#@M{#4r:D13ָqGgG,ؔk=#!{8f4QQ_Bz\,KuK2 +Evi{EM3˟)Ϋ2Jm:ɋVD,OCmЂ"z@ҳAгuNS|h;Xgnɷ'H;EܑX5j: I'zRH;PqY{/7t@a_*kVʹ D%^x{ؽU[43!YyD)]{vfk2[tJOZ1aX8+8[ētAЖ+etn?FY44Oa)Aͺ,e~ql]!r|ehWTCox/H΃w7柪gү:d<;ݻ pյ \*p8i?\%_YFvxWCX8hLXoDJH^^%eBmQȊl #FrraB}׌8MGU4/X/Td5z7Fd#j^Ǯq:Ա~_jЍ}(݃cq`#/ 1r"5T/EH/w+[ }ьUswt#9v_]PwL#kkң>M7ͫ0`_~oT_E6za9~k 2tRJ $N nϦ="JA͛_m%dPq9goQKo=srn嫧؊/ Lfm RW¢,D1Y TZgbɇ!}F‰QW(S/}4lWҬzbdz=,~"0DyyUlw')zMܸ!jչ c?*BCgDu­+m&O*2ta}?S@ 6Jt)n*taXm;*xE7igqĄr#o5fds߿IJVdol/ĎM{ =2k-<ϳ[`9bL:ZjT0&R\Z.zܒJCUr Pʤ H"1ǩP)ޗF D9𡑙.7L ͺ /\GYqn8;evn" e7q[N d\{ 9[Ń6%Rl[;wC'#Rel__q.RΈ@kَ5|l1KuZ dHhM׮`-M-0G%1 'Ғ٘`>z$/\ عo>3vh2Չ-,5=mon 5Yu9Ul"B#Rx瓖i SbTzݨʍF%嗿IpdWȵ7 _]!ctfNsTY~ &»|tqs qJq))mT˾..A[AHa\!vhL4~4P9:"2UkU }ߑ<Dm >}}o7:NȽƽ!@ҏ/'g*a~k{֩6 Gzk*<..M,zB3%?(. i0scx#3F ?uƴ-ؚ0/*j]k[P~C|JP$](ufԌЋ'^atIAq0TDR|tU.@4?Zcg]VUK6:<`3CLB`؎K3A׊yfE ;DD|.D$/51#ӟ]7%-tkίh2j!&c~9+i!3d-f \@ gkc>FԴ"4 P] mMo%z9@4D_kwd"mx,`?9*/gMȏ߅$jv}L2,ZWIi^[DC^q7au9>s]lBE ˁXz8m-X+JYS|f6hjy ~O5غ4sOfЁ(޴ى(:3 1̻Q ]TA_?"d(((bTp%mc™DtJgEcһ~IؘrbgDBY籺#/ףݔync[lAr̝\qOLÚ_"d"q=ĥ4ޗ-HT~"PUsפֹ^HOǢ neD&NW:ȉ{9^dUI|d Iu6+I pg-Qq6L e4T&6=j4<:d/aG%o3'rO'UgpO#əGaC]7ru5$b=sD):+%ڒ*SX7oG_@O ك&"P}A`ɾ>DHK7Si ڃ5ozʗQDN6{#MMO HأgL-\Q @D gA}g($f1~qZ#W9L~CRVqCc[I@&8"քL>R)5,_:D*>^Ő.'@NF-%w5blΏK[K\UrY,dѲ? Afhz8\N4^ެ2\j*%Xg~JG-23mG6 yM_ٕ-ťF" 3ߪ L?҅?>h|j*M]W$3 w"q$3[IMXwŖYSɑÙxa`Љ9ZŦ oQO3+eisDZY ky)&!HtW F|>L{8]o89둌F-HpPt+s Aw׳Bo+yLyg]V*nwr=IHCD5'4)L (81 >)xS%)c@qýµٰ|  ikC"Voqi1TM]ΉӾ)X'Ϫm\@ʍ@)WɧwP۩@|0"hrŽQZ@޷"t4$MLZAM7WH< #kOqo6\r17H/jxZɺ Vn c#L@oذq/Sp_&`Tyn.O~yo٪/ic9!מ)ß/m^ iUdM Xg/ˊω= 5Bd?~yrrs*gTE8dތ7t ?; uȃ/wgYZbf73b43836273bce768a26aa9392c44655fa30c1345ae181c538e4194d592676e06efaf9bde7d260 419c2b8ad3cf3be96922e0b34d91da2c6de0eb9b e394185f15307ff36f612824af64dd26d585bb07