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 FF9~\<, ] HOL-Datatype_Benchmark:threads=6elapsed=512.545cpu=1839.606gc=708.1077zXZִF! 4h]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;VlF_mEud{'XUD1eZ EL'NVz< ֤7M2X)LC_Ɏ>N4$ا!T+֓92( /@2͘7-EJ(trBj~h}4APÁmiPKn# |$nr8_L _RTN1/)ahGhZ 䵺u^j`Hz(ucݧEs es \6m>guW"R-Yb8vF=JOF= .ԊJ$+4mv ,cf` !z]ީ3&0=-#oeɅp$WܺI#6bmz61 p,z[%Ƹ:y]bʣdy73R3ϗSI3sCܾR ;UD6| *P4T_fTZfa`Y0c"H{򋺻{gWp}A9~7)QR>z\Z_(ъ%osS%3;PB,_&etCuRXiT! 3 JBýE}^.nRq_QfB"''?@Έmm!!'6U`ۙ`7Q1[t谿Gވ`jy[gYZ7zXZִF! U]ŗXi%ˣZs`_4g6C Lfm{u1P >N5KlKRR!I)  'Sg\[[=? v6Z/>>e؈OD|{<ޜM{[rEx5=SBcW}t*8o=8}9N( JCzV lc'P& ~]eݩ2_]+]];zH (I9ڒ\Ũ87k tF;V~Nx6 +' :mse͙yV % tW@u-cV4xkveS5~u.VB7QJѣ7_9yvĪp]q(9 h)VpH^_?A8Ha jPypB))dZ<,brYhE/i@vUte 0VۈtncRO:d/ Cwư- kP_l{o(??]O6K{m΂ AݬQ wX^7gK ,ç?*t?tfI;I2<|lV^ƫwl; t̹u4ϑφ<8 +m~4HZ< U*VP4MOb1T{K n?#g'=;BL|"pz!j+Ҕ!Zisو\g)i>Y>P̕s E&uˊk CsIM+y9&M!K^3a$k0zp$Vtŝbz֯o})W=6:b,*g~٘gr~%cO٩"ȧ"7͟?G WjAS[a""=:XE$q3ǚ"a IU_ҪRo$!֜=؊%IR+&k؊aT57Zԫ/L=$GY7 # [H.z6 ǼXݤXPÖ6c8ĵ.G4upпSeJu:kb?CI}>[M ^p93v1Y,I&dnZIu"֦EL[=*1((+hYd& d4?eO0 ѾF rn%%#J|7gT;LiFCx!>uWysC(i0=HfZs_rjkhcalQ⬂cة-"ыo7#׈kC鸛TFd~r>a\N[fux#ebX3ߑԳFDXY62hJN63}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_id514N9G3 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;~ETԳG@LTཟeKj-VY&]"LŢۀ?1X|fhv{s5noP=e:7bZy|K]->wGToٯ|uDB'o8 U:ahԁJCzIeRU/]})"?(TX */)װ2XIw'4[+N.սtdEs_kGNC@c#g2.Ix&:WXh3r|l&.ώVǧ()=L7ueM{[t-W@7+xֹ 1U,R~[ p*MЙ-&5;8k9,ry3G$>S33\[Ag=\\++6'^ԁc#/k=^l%dAI4@d-ME V:8v2lS&s'e:䕸[/24I,"YW2V{Y 9K# HOL-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 ~./[O-Fe5 '͸ #fS[P,JFMmRǥ'# V2Ob:=X"S|gT`r"4Ռp0#<*>'!~蘭K?F>S gX2 w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id5169I# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db˻6hƒ2aFj½h/ӞeG"3Չ51tS\ոDK_~>7l', )Uǟ[>GĖMh: Lt޵*I OBF?j#D%8gyUY0`;Lkk#MGzk6{%9yj~dc݋EbVȡ1i]O\JXaeЏ9fu |.]x?*!" P&) pMdq "K1 19 # }AҖ^{UwVG%ҩTy42r ;ɟglsnsSMp>R&BgmYRX*ppAo7V'2իs*n ? qG%:"%q߃kd4%(h|24ΰLQ.Tgh_nD$i "p81 pg:\:9YYv;i?6 _h`?Ò*ó+' YX5LIEke aeLhwx$ix%;q䑟4:Ι2|㽑SՎغ{H/Wf=6'/>BZ6O{Oe}5sklLh>ߕ jOZ]-<ndt3P'c Flqꚸ_ ={8H{}c|Dk؀9v>8: (!x[MC!i8v"-=%Q[0!,9@!>n];6l5p}HǧdqρoDf Q tÆ/1x!K9*iIDJd$^l]D!u+#WNj`o1,l| Jn/9dH@ߋx/"0=w`kz#Uo $>)1WXE\D Oʋeis9fڳdAD3>-uԼ7w0jŔ”5 vJPR?nlF#_43Q= P)Kȓvi؆ʷo Q6CŅG6C͝_A^Mo♜g~ [D) }P HIIQ'F0rbpb45;\uTp^H6^Hq9hAa ʲ'+G?*KP`]DY5yWwqhʾ^ź&ݣVzdAEi/*DmM q(qhhnY52 MO>,ҶA 4(0>߇,Ǧ\v}h#VGFz3e=5p"}J03:daҲέNeT|[wHS;xBޣ(uOQLXaOlH w-χ76 4ISb_e6d=̞C 87wّ}>Bْ" UnIh8khׇJp~77/_KA+:g u,8 ϘOOV͋@F73N A;s}'T6Ȱj5ZjtT:Dl.o 8~?fx/ig(]{oM+]:4:*rr̰GrٱypoYEyW@vѽvPrD3]rR*-dh)IDJuy}a2aA;~FD \8CJ`ZIHUd:9ʹP9gH9y4eG6c҃ dHBtJhysH2 ԣ0P+kU, jN͌No+ jn5҈#JY6F6g*]p TT~8UBS'4N%?Mk8psȵ[/ _$eYAŵVdqS%v),~ rU_THqe`uFkyW" # E2}A9XF֬1$cЊ\kCcMkW"6 F*˫t:K+J/8Cs$f3\"=vb׀ 5Pݵ@,WimV[mY%P:2-)LB}u}J|F-}>9SҀ۟5_,8{a+os! + Ğ,`eOaQ W9 d֪w{0ekXtfI; TWyW؀Ĭ4U(2ԨB;7})5*E՟$GyXՐ4(H˜k5vC ;ڠ΁*J^Uݎ}*LֈΏ(e`aH{DO7Ǯ`#/fx9( &Jo"i f_~|?oMXcGy]}SNÍGpK gV3ص;1H&?Zсzr:|gOՔz:u5.#RN[;O,{~VZyr0xMJ*)sȸ٥^,A/=[q@DŽG"Y9*3DpӤ3{Y@$s0(4Y-*ͩ 'tL&fUBK0r!6 2Q;#RJ 1*aoIOy&28ՙ36?}Zg0Ynb} N?FӚ,-ßLG%T} KS?4pߐ69;"@2+9${aTI53nFڰCYQWj^+AuutV|Unz\U$oГdW|hɺK.LW 1TX7JS/ O'$J G|nLO_VnI<2hy܀E$˅^ِfPXz@.*(gQ锿}bd_|kw/f]aoL|jen#*\{1EXpX)<R[]s^bM:ts%a2ʠ ]ҧּ#zkM: ;dDq5q[s2q7kEL y:٨u'H_oӌ,OFQVaEM.B YwSŴ$D RÈwk 1mC(JDj8A6?Z_~cz'+5̪s]zG2 $i8cRv~XYbN,7AP )pW$큋d$0ZZu@Z {N V'3eըumc+"nʂKihHYLܜC"gTt q8Kj[pk` _AYx$kEn |9ՠ6qРk/%aVTpr3\#a6ָZsi;銹wst-+z~V?xjzd8*;Ƌ=q<>U \oye_P\.)$tM\i3t4︛<_G^lj̩/œ$5'CѳӁ?myBi,XEԟ*ޥ*.ݓ:^]<;szؤ*_};!GiZ#QNCDT)n}W&S‹\Y˝ѡDt'Rʈ5Ŵi\JR*=/B \,D;c߆| . =oqys/;t3C 8uns:>4"R^G~-{K Xl'\cguU ~/i?RMEšJ1܏_1(4l2w4=`,GROBDO{ڱoƪeWW uKuN /3Ci7VXdi\x{bZ갸 tV]ҳ[QmZbnJ#c &:J)k/vꦁ9*$i "uyQU/S>ֲGw!fhIVAhu1L,5gœ|é$9&6o, Ey@C&I\H^nDCw}%t(4ڙ4s>& 9#4?dsw%*^?8$%@*Aɛ0Ԕb[W[߮UFfGdj~ARtcM)Е?u^&5+z僊e(`-{?+ o/F%ZaãU*`1R_ȩk4JGxlsTUeE'kޣ5wQ:S0Ir[/S%@A;gpdrS#bd5A܉nTw&xnR5I<|wqmQ--UI{[8Z`cPS[@Zsm{䃧A(vgz)^J0vD vTE wR`KB,1TO!x$%ǣa|ѳUT<}F+埴Z *ԔQDjydrܥB?r@X ͝tǴ԰]VS[ɋZĒ,#ƒT/7ը/?d/l8O= Kڰ ?-fV֑nVRg~+9yO5(j*HeuމZo%7||ᕀ< ý }W_o/۝QT+eHyb3Z;65N-HJh,e /M̍|su@a(K 3&2ԎV7|s_]9D"2*EÖt qnU]6G78KN˳+v/2uVFZSTNJ#8ܕZ2 ۈ_췿& 왾y*!ugBo#ᯖ2SqW{^\ERܛZRByD=XO,T9痻*% |,93.~N>86RۈϿ.JfYmu'`|0-J['O $]5Q1Rp@#([SDRhY1@2N93L#WuPp(#{/cqv̅z@caEk5|:75Z^Og H}܅oZO9+0#?Tv+̏4GS|I&Y kYa)!"dRF/VX |w8A*g ;~* \K\bO$KЉg"A ~Up6Kss ϐzgZNhTZ_kYQlv@ÕLh'm)BK<-&tĢ=Ӂ~r5Pnl܅X\9o ]DOL{ 5f 5D:; {AвK} }!=mc!($M6[K6 `\&Eಏ[ L!&rPn{e86D+5taӡԑuUAVi О9vUz!i6+#Gdф^lؽsHNYo >_>lTPѰXK'BMxxaY fh"2$eMRF[ZT5׷G^c|&G>(1yСUA+} w:P^ `JwL+=,0UeְtsD( 0|#+5<&OPh~3Ͻ,cO64ƺeSeC/7RYɇqzA>JtX5E.3K6iu]9h@[A[3~[@}P?*c9ߴ!(qEH}ܖ& fc9Ҁp}deSKcn@ZM_Y4q:an XK4J.fކ=]0F%M9;]s9}s%nx:ڑj=…(2KWijj:> ɟ;\V'}W7[ZcX9o-27r-)JW1Ukϡv0+Fí ũ8B8,ץ^n%l'iz7q#rU~IV!ʏdK$<9_P`GP[BtگN$o!YsKDL#!/|вˀFßg%evδ&,\R}x^ /&/7kZ4DcuOlw Bm}_vk$}E 7nɫ{dG@,,\^Ro%[,Fї#NArz0F[-r5ψZv%-Oe\3/\r< ڞ+sZޡ!qS]):Ӊ06f?~[zKap?P~7Zq= 7k%{v|}/< ͉*T|0[9.HwɞyŖ#1.dE;X2Zs=-lb@wu26ْhKy&]R1>^g#rޣ?Q jgk)@#=,jO/[ UEذRHPuL??H O!SGZfwxMLjb5- BH ,(<1_Oϟ[vSDA :43ij;uTBMJgZ~9TKj> ˜H9 zoLP.#x,?*U_ҵ 1A76'7X9)گaNlAmj9s2@U>m> i4μXb"a b.}:.)EƝ0B}Ft53s$}5Ͼujt2ͺ^r5!%""&Zܦ]Ck/k)0=Cϴj* _ =&0M 1CG|L2Qsذ,6`aP=E*[ /N#J,wh`zɨ,Y=ܡf'q*̐MqVnfc[ɴ~o([% w\*% {hῴƑH݉oOV?WfJҋ'vuek ^!D-Hi3,'Ja>J8IkT.*~^k XS4?Lb/&m1yʘ?1Wt NԸ}âN4J Fsl: ntIƐ(щ3l,谛ǻ琓bɷ%rbHl1V I"4V& )5 Nj1;)4ET$TazR1 }\(ȁUPKj ;>J#rUR#p BK]`?qb$cXiMeK)"wYf-fN|Pֽ zf"+t3#2zm{ @OeuڷbRf.`!v%ld86iDӪ6^i6qIs^CoSdMER:UyohCQ|G筏 \}%3?59 Zj(3.4/iG]4Egbruw̥寺$ џC*s %{Ȯ.p'EMn'gפ+ ~JqR6s-Ϳk<)d,e JbM8_#R3 DBHj^tqvVj991I0R@oƞDVeq.6=r@g@8y|T3ِe2q\lZt MEڬ8887JС5 gk*Zw&N Ax~g(KԝoNVbԖGFhsyIDW?&êL{gjW]n-N;$Ok)b >>)ڝ%BhJ+Arԓ*&nef<4կ%b5keg,^y+C@lRԐρm~?ͪ[+Y+#֧PnJd&',^+o% t2vW^kJ9jB`e]Xp<$S<.A'MYKD)Jb-UN&jG,QCo`{rlp2~$9.TLw{ ̡7!-' [jUE9r h.3D-LE-5XaMb9տWHHtkr~'590''`@7*\-]lO` :WI2xA&dTP6ڶ]+-n}lTG{E14ݡY^S/Ez ;( YPv?,cb");τš 4A3 E)'$8Oo0wDC~rSC6QX:Re%n`tǧ+쮺Wm(=kL  ~l=y38d#v*95kYVyV@G # _i+hg ?Vodj®<~a/<ع$~8?k&DTrv/.-JhIlJ\oI~[b͑PV&Y!H|Y ̪@f0bQ tyOh{έ`p@1)CӾxu[6QŕE#=+3J6mCf)'anRˉ4e'^ ?be8e(!08@"{mUq@"ܧ  n`ZS,U }f/o3vܾ &p '#7AP ߶of;9YolWh@?3Ef͝= _pӇwBpgu/o~B΅HOpxul3;}ЇP䞻nV.-_O\v~GI7eG)As:faqAt′842̤clԍIuCHsilU!yѡ߂v׻r'/)_kL[jJ;y?i}sDf97 0=|r9o1@15p=,+gQcKJRMk5U/|b& U*= pP+1\f:5YGWP6b2~;\K YtOb)y|ݙuuENXqÄM'xCwXiZ51 r+} o*4s{oEyI)HW#ѕMwnT֬:pXS&MDhEVI^2*y/II[wZUS_NA5'?1)vLj%Fš£uemO NM?}$z:2^}aЕm faWb0ڍw2C\ j+m]RQ!5>rqQX764 q;Cq7VNk`w?տ{TF6TT9ȸU\^|kN\ͫY^m,Iea"J+wEÍUrluPCtjߏQz}IϘ+̷OuIe}Qx'&Nlɑ,um@؝f Ň<-GM۞PLɓß~)5r%&콂߽T=dvx:"pn\BV!@O~ɲ$dI_ >5Kip̗AF8/-Z>J A4t-?R5?$tct" #nD~x>Ƹ "l^\̖ҽ~CwoחWtыQ2Snw #4XMQ%O[6k p&J14 krlX0 K'C&N$@DпV툀 ENi\,;w=t5f^+F9RŽg*?w7iR36CoSLC5CcԆݵJ|2[M:[$<-L\jc Nw9mJfW:t+%L0|0~ H 祝w=duYb4]藤>WQxj<擴Qm"Pfm[gQi_%拊B1ĖW}&ݧJA7$%:7kspm4ѸFHϹþ" :˼[b{/8%-s^[Ǻ6ޏ]Fd,l'e ye{=h4шF6D{\{Ǡ69o' ̮ڀ Bߣ`ۥ:5xw3ZAu,$]7'RҜlq#1)ߤN_뿢kuZyh9+RtǭZ7E<6+u9 W%=6&o{inL%n T qd?5?8Nc{ ]ÜC}󛚲+b=Ea3$2Po:(o)k6DCEN4͝Bږ8UYk_O7y @@V]dƼi6v$75lhߐSth# I'y޺qA{!+z4b9Xj DQ鑙H\CKE` <puPZ_joV%>nFXoK$& XUN441:q9"8FݲteD͒L=D쫔_#_M(0;Jx $232Q mqJsm%su%cb$ |2vTʷ01ǫX`$L1#UpnS> t`_⊦+*}YPiAAJ&2B0ږQ*0sbĥlB۱grvD'+8a gk.`Tm 7α{@6+ c#3_[J)]w~ARoGO%i𝞽:|J+o^?8eGq[F"F.?,`I22h#h;g,P`{2i֚~Q硑`uL  GDzG2KKZ)k{kDn.W7? ~+9@gK@24o3jav Pla$O4zo08.TJ-S$+NGͲ|.J,NEfHy+=EKsTFpo:}@`~W&&7iø^J7@F[#>D**i_2D>l76IHF 1yBG}b#9k)"DV:kzRjN,HV.5DZ±Us]0"#!ߧ1:[o8LbFZa D,5n3SH9]OrC^'֡  oS$#_C G)r\+p_X_b`ַ+먩u,N_Pb܂@BLiVN~w~A WaNLW;3b-u{c=p DP*; h_%]OѢF{ UUs<I)a&dhe:ʺA}O&"AM4/]a ]NBn-c|ҼÙ,R IQuQ8V25_~♚bo25p?$)a)YqSwR>Z8/ۭ4Ѡh)rPHR׈3K)?7]Ȭ0o&Y@qJrjq0gIfnѣ*vWwliFI-RtH:ٷE!%L1iŪ>qB|]/g!W|NX)Z7[6c7Q;C,-ҍvnaa]9 !'o(Uo;zЧE(V%MݷAF]_= )΅L(u0'7H.Է *wE/&laZ)yY{Q hE0Ri}_Zyc'PZaF5H\J$iKDU̕?ku+{y%XqaC֝b3C$szݚ5ϲ쟍Iԏp^U"ȡ,BUVL]Ў^|0y f1ızlAA&B"jw r2*}chaxL%5B)$ ;"ޏ4mu+%#_w')E{&-gֱm/ܒ$ s8sCd #B"2:(#3p^/IPĤRb#~ejhI89y?%(״c?*G ]TG=`;|Ð>pِ0KILj[}uR4UſXŰ 3r^Pv͆iZiCNƔu:X6,+EHw?7J#$M5(Mq1 O!FXC@` (rAVUDfl.ǽ6>&FN X.\TO*`ud/p?YH/f㑣UuUJ0=RGs" qt%cXގj`Oc \܂ ~C|e:Z\Cī҃m9zix_kk)xBY1;i&Pt'ȯb?) @0G[e>.*o?NAL•9'몱eVlN*c'N @lSڎH S1F b_k 7X/M9uo [Ec[Ǿ&)D'wmoN X0/3uE֞? *eF~4N<ؓh 2:xpڨCyp93ߩBo‘X xknƖRyt: 1߻Zl剉Xz[t]O߰J&e2PAnb$" p&BS.\8 ?8#/K; ڹmrwƩU9ÌWnAXkb <dÀ8*i罔C8oZڞjJ|婱*w3gڟd+et`w]6z KYL!:vGdCDԃY' ~D5Mٜ;FA)J@G)\26pwo3ʣ3%<^_RpH+xgpq皢VjK%StZK~yy$ ݘHx͚0*_QO4N܊ʚ2qeB-φ7NV}`*%o:xg!meNtGc4ui˝iL~ij\L/Ǡn- Pxq`=x'yۺZi,TLmHЁ`̮NEfjGīQI*;)&Cn"Pj-3pr a! xFnyyiL:Qz 6LkՙY1jTq6t`..JMpO[AvKdfA'Yy7QQOG 2#*IA]/6.x _ ><*_ҐtfJz= ΙDN`=yЀf]lt':L_;Î ^Z ShdPU^p-ʳ%v~ ʉF5_( s1qV7R&b/,O9 \Jr&#͘ctvMET>E [`9.S@r"@ΫZ{tRla*ESn9ONԲUl|ЛxL\_AP1҉afxJ=Pqq@T`B)ͳQJ둛6)#?,pf3JjwG$s\S(^_XH(]o3Wck`:,_Qr䥚#vdkF~Ax0}&!.钸:rmTXC^EZs%"b5Mkv6*ePEu*p{ȿC0s[ :hwVL#3i1J,f3nz> PTܘPU* Gl$}Ͼ>("\1Jr(L=%U9٢p\D 2ڠT" I18$ L]3} ՜u qJ`KQy0MτWG۪.OopƔ!UǬM]U39$DžzSz75ڽC) h8 z 4gG*oßM.sI޶oU j D%hM U'J/ٲ$\#9Z9_`@Swo{tAw`$|aܣr&?o&(ysnsbqnjȭI<+])ξyoj مbӉztTد)tA r&#cܕ?j\`! zSkKA;y$q\I2^-4pȣѶ6tJ\"X_eaH9Df걗h@VrJa䉭-hkv:W2v]]O2+EJoK88 1PISs#=VAqzɚhoD]ڹ] I|MZɲ!9PϊFSmc [4Qn 05As[&@̟욧_ZBD"eR{Vuh ?¢M\ق5pcd5';2fȵ]zSC)w[ӞPϸ"|GtZsZ`5# K%^Y6=`z}/0 Qw^R !`bw2HOM혧Ao<SsZF}̔44pm^a+rdhQ{j{kj|xA^aLj,*:?c/ߟS+ս6&V6|_ ty-^"dF>0DU2^.8ڏ;.P'DwC*oA&P1{c[u.hW"]֘$~˄jJn8K BR)'0PM{JU-gy>Xţ4:U&\mzYiz3[PGxY8 cԵh"T;=U `JjUFCI+~ӻɘI $Xa_*?637CqmFK؄>PE&DZd|,pbp9I&r-Q#21<#ڸgX.,*(㡶kLA;]ŵ1rBl$=◳ ؔR2E^Ӳ>RUÛ cj_A?/?"tDW :G|9(<]5)$T *_i&\4ڦqC}ǔu܋Ua[U,Qh$1>:*'cۖt@g"Ri0@YF;x4p3TF Uo "ߓQ+P+VKjVA3%SO3neNvV/!5&D3)T:2b#h˦OQ_LAȱK } 6'r_k~a7z%͠7̯(ֵnH2-H~#$=l;rԟ@G}N/R<#fsW 2ly-u@tk}>ѠRg.IUt;}$}pC>EDH QK<~_ ыOX,#ccp^nVV=:ڂּ1=wI+wNdFR_J~ƺh`cxZli?5#Q9{րN =IKMS{|4-۱Q]1z(!MG} ,0xļ+I5F&|/ʵFT吗x4 ysj XKEzs쓚[/z<'p'븛pۓY$+Df[3=3Q7IG½"a'7YI|ZK*eqz{#n enοeKYO}NH2|yBR?X[Hڞ>1ʳ7C0D6˧pE~oP l`\kD); ـt@4Yt,\1>{R}\g_a[:1lЀ*L#pX9,x4]قtiso-GxaQX(n @* !?y*A"QMDB5P76A<.Up8e(Ht6.r hyΤEVUwqY)KlA"F+be}fn;\⪇/-5 !„w ȑ[2qx|]#C#@^8 !YY h(:fC9pŲR<NGg_ !:yz)pBNR47c9wH1B@mou14f(gR#Ǽ1:}S'Aѯv$>Dp:|W`x. pP BNJ~g}̲ŗmZʢ/ ÈƇqlV3K@c`h cp4C o_%"~eNA&(29;/.,ߨ3U"xd3V= `8S#@7QE`}Q#AvЄ0pPA(TzR|ﷸ+U#[8GnfT(uR/SV{ 0Yu;Дp&L=^ӿ٨mc8Ў/?eRMcU>]6MZ(FQ[>ӞoIkd퀤b*C7@ncj/HB᫡3nk#K h^A2tDhlܻ˜0HKĞtT㶝' {F79qE/5xцD;瘦p-~WJ;b5^;Ȅ,dՔU| |>Ň@G24C6ucLq $/[ti1+.C 6e'$d>c( }32/O=R/,#OYtQzI^sJDZcXIu:㗖Y#9|Ƌl]_$WZ)AJ}X4{nȬUbZqlgJaòsxFWjUI}ՒR|5*3Uq=Ǯ- Λ^ыྡrʊUgsHi42.uL0]"I L ^ @Fal\H CtF=peP.'}XJ-'q Qf*?$nO'^)~R!nzY #QƔA" ȧE!XSdT>%&|2] RW:Z-oVG 533CMk("iUȇ6V`,dx qy٬GnXCM@^LvF={9V ̕? Q~O "ut[1Up:6j_9p[#x{bQͫ:t+JVQGN n4H T LpCOHȚtQ݄&aݪF,)Vr7F49SxQc&گ=CX۳ ~7O^Eԫ"*?@àA#iRH)m"6UR}߭f۔1%J|E@*NBw|̿r.GYԒ[w>o.X ܠiшV=y: F6 s0/I[;L(b۔9)> zL̏ԝLw~r9HzAI5Hi  Ƀ;?n2)&iV=3Y>! ,D,=T>ըyFHn@wK a~0coTgM I9l sꖋGzJi)P_jK\Z/ᫍ 9 fHc͚z,.9[4$AX#$L,  ϋC9jYdbF l/lf>,;r.pHxu Уdz7I="W^iVTM@?E@BprN?b#8hLaLbYRU L뗀l}|¶ t)RƯ.^N#s-u ōrB2JK1ͱgYZkF1m+wu%dc24oP~5 e)L?ā,o$yO9;"VwHy0[{۞*0.̓\[aw+C6wr$ }6P;/ЃӠ뭓SiV7H\E?zŴNk_W "VW -:̗CV+>E,Rn[CwހI@c@emJ.{TnUqjImSܫpҲ4^$Aq E`Y!ϮOA$G /s2ø9M W]$(3CѦ"j YHXB@=/ްtJy+l= p'H [DR?q}rO2&idEiǷ3'.-VqLR}3Ԉje-fgڪ_oi n*LD~ Qa~oXAFb>hր1; x7Ƞ+FγO.߄tX?JKVp=0loĦڹSوx@xMxcM_-@r1G?yFTB& cyhgl@M SEۖ_#rf@R]I\]avM?La>bX˄]G> %FgEt`;t0P`6:w7TUhŇ4{JǙǟ,?O[aD\E%4|/[}y" NS CsT[5PJ >rgc֛#r3? ^X#oQyjC,'iGuk|uN8x4gn:]}'9Ң:8+c $$w`&+#OZ_? cs(ͽNСh3#[Ȼ!>p]I~P*Dm b|hFYҾUOQK s阓7$P ~C/E[5huBy7Mb֠U-$o)`Y˺^Y3e=J̰M?vI{Ol%%F5iB.˜5f7 1cAL^giݍFqKD_Z^RlF{ж&s8*tk{c2H,Ȫ]Zg4KoVHo_h>`c+|w\BG soD^& ! ju@QCf%>mk( )3f"kyPzS9+Z? b"J>X˂=NYVw~w1{h t6)]:ZxS3 YV\[v-sH<0p!և NiHZvD_-f U,T(090V{JxN$Y۟ew%&]ĉZYGǀ RērzRs*vsO&a鷾 U<v6"aATDQ?+tk~56TL.Pb{(>%d۸z+TuVTO'ԡQD.]%vR8⊈.9 ڸ-<U3jog/Uhk". ez>jby/9/W Z oPi1. o ~z\#%u[K1?#K^oMdzXIw6(>|!aR1x4|;oB+#<.-( b_^̵HSW~ɉ/xe(46 OGA3X awД>#abdF5#hf"x"h\EL7~umPbBkX/-D"f]A3'C'&ץڥﵞ~mN 5pزӻ G05$,h儲5,߯'HtVQc%n@#7L#q[~R zƋ.Mٳ9An}3]b(ne#Ik) w.z ك%cPüR|:wus.$TygǩFR)쭵&AJgW8ϣۘZ{>)IfJ qHƜ EBbvғZp׿8b+p+MQ:Q$M4](^jG=`B^8A @~ =P"-)m$cB#`|'L~%*sd 8s|ՇkʺGW{h5yj5wWx ᾇkM ^u=t<`<2$DZ$K>e)G`2,ɲp2*p3D_\K>S~]NR+ Shq::j amKDJ*PX}Aٚ*p_f&w2\SYFS=s-@LX<eG+,&0Z T55q:Zi,V"8f (2s;M??H-`!@\6"$cEpRjht %vK%*|*9P*%d6 EMؽg ֗W<0Fb928d.-#uɮO\a뙗#76/^-;oQVWj6Rxu/ ._2 HpOpEa3`6Zz2FL܋MSTysTݺꉫlZ?A+v,i_<cA[a=zXST,En*FMU'E_Xc'S@_y_?+ D,W&Y__nK"eȺM#i~P/La ȁC3VR܁p"dUvGW?N 0oc-X{Cg RSB@AK#TʸWtU+[m,+psiӸHʹt_ϿmS KA0 8 iUp\NǸtʔțF'պPYwOهTbXj1q(ߗHlv61dY[%W#.I?:ЋsN9Gq:ZӵQ L2iX!A=~l񹔿LD&$&X0r?*|-v =v:J1.u?0NP&' ~fd19І냠\!@!Fi.&1`Sip2[ D4Kڙ]GEVxtG*}7aK\sɋssW;*uH?FvK1AWUPU>M C<:F#"B@_쯁âW'<۟R~na^7yg<'4?. H.Eyg=hSLx"i^6N(?AW'H,*b1s4QD}ToDFUQ󳵊m?]~hc,#ָ- BNI/{E VN&t! Cpx 챍1=.dmt?V\,jW-aˊԌLj2a)h%Q̧R[S=[nt!J5W[ 3Vu_,Tӯ$%l9Hve6;)CR,m9ȝ.wt3y4W.gWj1(KT\i% 4qo_y϶#DlQZpq y**upzS4K(LMRI"hAإ}DG^V?^nKՕ7 UݘҢEmLGk7"hekbGKQ¥iu7^j{3GA1ZߧKlmc`7q/(k+"ܡkT뮋a2VϦ^uqM xO=A†-)`dž^~p憰J)!S'AJQ;J+`5-U4~5a) oڮ`tw8r~a>%yyLȡ.%Y`Ͱl( 2!X/?1LqR"½Jݓ[릤1w&ԫO X]T0K_ZK0r̪} ϻ(r޺_5RRH07 yqwOb*52iyœ[jD58ڪ^f2S/šYbt-•pTRF,0+e[d\iLq!-oY,&es{0Ayƨ/#W}ŽMNEbuɴ|H2Y@V!Nƽ SqN9e *xGo e!Ibta5MVVޤ|F=ZQVS;qC ;8Ĵ Gӎ-@R<܈B Bަ!tv + *+C6ˣ*/NN[9sN~6xdG`LM)ȉ0XPNp<όe>H"`;{2kh}(0bzAN fI7sY$#Go 0ىBM̽F?v=T̵AI ):;yb)z%áԌ6qyR. qnILJJK Ϻlo4*!V1(acm~_F:n$#νjT&L ԇhPH\`93 }9C6M$B(3rI6y_@O-X }w}[+{^NenQ0s؅BHw*{< vR$()Llt/~B2Bka S.v 9n~͓\ <`z?ԡ8? b_ DP+2񀩩'Rh2۟]MbV}!.odj$[@[Ҏ<&ݟqAA|Z/=Q^Fh砓 4Wv4() q{UD14m ;qѷ܃q!v64ރ`i_lК? =ʳ/D$UHABe7[NՖλf?0 4hQG!IE6G=;-c~qe]"i ^[Rx<ѯ|¤"壯e$Z[h`F(Jnיq`)u\Vdpip.V~km2E20_'ndXgpā$ k.:| gS~pKN%Ndk)_mg%^, _p%;)g_7D6ǯ.|YyV#R?MyM;':V\3`U  4HД=%kOYzvN^W=)N)X8$/bZ>: aŝ{q2V}9BWAd)E~㵩2tkrt,mIt2Zf6VڂJbr4Z0,Iԯ =l 5ǎ yNNP;ƅ+e :Z<" J].l'n^-ZmK}a-:dXn|KBlF~2߅V>0YG2% ~Zvi w/ Mj0UE6?ь RWAj@0&) Qtg^#(){D)֠㎳77 O<h+x|j$# GZz TΒb^[p<jC: :EivGDM>OG:9i03"vN; u?Qe_*47Q6& ' F0Kja kYLC>&sm'z撢y? N_kܻreG4)%zu{-l~(viiu wEBy!P5"Eeg 1B?CK[Kyvf4ljۑ[H&<בD9m[@\i3ަhy1X 6~:qu#NȖ"]Ĭ{ )ag<}/0dL (ޒ@?,wO`EhIWöQ͈5w*Li9{vâSR2I(s W`u+, jE63V7H:MfVztX01?hϑkSp`84^]TReV}J1TLR8k(H֗ Lk>ƛg}ϔ}ⶎI35$즱 {3 pÄ r AVMN6_~[=G!>޹S" g{A+ k%TbʾR]CxI!.:&٘@Wc&x=eW&ծFӏl7Z1AvIP{WN8j3;T9H]ߴ;=O/h=E<2w$7~:,RZ/$0tBɾ):4J Ş\Rjk|EٚyQ>|oF9癋E9Ot!hP `܆ݨ4ͼIAhQ_E7B|0_aD^D.8b=CQS̳‡w==aCIk*`a}c+<[Mp`)c'3X2,aBE5*ܘ2 }R_ǩ!O)h"4 :N ] EY:~{@"b.Y՝3R|ɻ@0jx&.D'*O rKZjh 6SJ2u90T1FM/9 _"q\-Uj7\ԡ3[oUM5mڸvuSkPs as)X+DyY'lgW>e@XY{DAaSpo40qc_ n!mC65Ҡ3Ø!SKF[V(Ze&rXi궚c3B}Ꭼ4_#Ye"'hY~8ܟۿK;yg[ G.du\T6{`!'Ѐ;>}l :Xenr-gMF6\uܺxn>#SD DϹ|!Z%*d2ihYlLc`mb Døgj>2IS"Ƥ{! [Xs*ȧJکI@g9IYaH@;S %lnj+Z**br\xh0_T2_7;.nglxiGܭuJU% x$PqGڂ@ gZ킣*A'Y胓}0/vL xCT'rwy ɏi=U{1s':ki 2jhbK\^N7ww ֳKd<'l}Yܬ}i!CN)37hLۡE4UJT(y)YRΓBug&&v%BLf.K)@NKФS1|~s{6z4Ey70[$Ur=!lGi8-.W+ hZIV;@*蒫~01G'3ڽe"_Mg+IT<[&XЩO5ˋh(5MAMmXgYJ4<5fUMeBeŌeFK \F8})!ƒNLMѺ_r $hRULIf =^ xmgw^JL3p{rs!~oibAIK{Pg+y7ϔk9)k ^\- A b%+4zJX"k 'AN>Rt 1f>+ik}X ˪Rre k赙< 9g<~egNeP쒢oطoHvֶýqGiQp(Go[胲d3VTm?zٺD NJVCj e+@KJzpK7Ӝy˧ &H?ǟ5eϣEe< Fp'UmL ͉JX}3 ;MCcuXƃY~|r:ܴjmv$rmO-h։ecFH?OD$#4zШRlj^'ʻ5y$ `vv?(Yv<@kl/]^hNԑW x<5Q nFiAܨ'{i M_1X-pSRjډ$PB")*g.C}V]J2afHg%99V?MkVr 3ݿT]277[iw"ٞ[ժz:^qOضM:HWO-b9\_|w+0*%WDHƍZ$/aEab^*I!%Z@Ge(.ZoX$C62q5~?&9TC;~w.9ax}u:( vK财D^cl-?b xꭹ㽭E]ZIEcSaŠ>2;7瞨$XT ζ.~'o )O=&ShQLAQx\&J/c#k @ރH3-Z6۹٢ |D5}>@yX0,L&khvi1<8J_Y̰Tuti6A6X~Z  7 ;opx£_IG>=KVӞ4*/X~X~]KM GNi 4q@.yrh(|ڷMF;`)"(؞:nc!ڇb}‡VEVoBG۸DcmHd6 ])VV%9ԇ(z,59y1@ m46[ T!* k ĺ,fgZ Ɓa;gRqdck{fT_;*w6 Dk0aKL@fhVCfŘny%|ᩰ~ƷbrX[sץwA Ȣ'kC7;2y <E hWU6)(+G| |H xP>π̗jhLvEմ׸TX{[z)#Pg 5-Q[[L@rw 7٫Ֆ(9w(Zv2О_8kQ*qضt)ʏs}..LŵmF~ /&OdPxL9*#0ȝV`Dh|(Tz:Hs['d7eO&ZEU|, `2RkwEyH NveGKȉU[R|m20*''{2TD2u!f2&8ԝYT9冫>p¥_!i;b{/2>B0>TBbOR.K")Ԛw>trNN >eW@3!1oSd/Ȟ:yq>K鏌 [-.x>}?O<7Ds  qMQKiltKKN-BsqOZق[p_R *B^4Vb[-SacJh;"-X7 CڪMK`wmXA3y{٠VЈZ&cK44&$P/>--VjqWCLJ!&#OІ$G8`-}?! @ /Kk|j'ࡏ[yEe)"Ϙ [ҩ3QP~䘸2*(H)_rk(x[m&j}56e%trT$B㠽t5uS(g]Nk|XvnZuǡe=Ѫv']0J8*2U,E|8s|:O~t+^3`cv5Đ'xIbG]ٟuA[>zo~3&Z͡d}(MU ԝ+wIJ||:8|hTZ_ϸO6ॕ诎6@+9e?yD@K'e+jA_jO5mcwT+yαv~B!!w];3A.W)cul>:R{ЫRcʕ(g"[WFM+O!82\y8Ci:+fs#*.tHwgA|7Y,F(x%`Xk 7:ȗJLq6adNb"_Ux[Ѝ5&AwL\*/N?ʳYQSbZhai/ {[* eW81S75- AVhȪ#֫ӇgcCHb mj\q) J/5VWӜ z5?1F`q]v *=)˶1|q~Šjj+X0`2'ǜ21` o!xz -$>*k(ްIo[œdP a[|Xi]9|Aсrr|&v\6u6茿`?$V2BPIf>C>< |PҀMV jW ~_Hhiė',WDӿx͎uo͟ oHΊ,y|r|x@ދKY"ԯCIӑd!GIY\4JU G%ԒR7mv#0_ o |9il 3l>w ^HdCT!jZ-i ps$MUSHe \.ފ#v[Bš-w]{m= )lю.RK#4K>ٝH\2(c\Z2بbuo'[BuB)9SA1;/^ۛDaV9YxRDLiI2Ëvݕ 9(Jc jg3 guh@S-M-}~&i _ت(l[NQ>;:h'wrL:#PJSꅔú%+Uij[[ e6(;R,WA*J$x;Q 54CHؿ9i8K#YnUU1[^=jnuR V"yӓ}UPzI 3WOCdݮۑ`LeOQ9o'j*UekeJ+ki aWjlEsWo*N!4_W4=7)=| mCTrxr8G#Fs09:Z &̶ǁƫ(@MoIw:ﺜ-&zQ*N>JZ@ xeǾ]m þP&kjx`XBhqL1H?iǮZBaY`VddbUm<-;g(w&˦RlokM&"+|u cW@ $' ;\ G+;!O6FC4\ӏθ㗎Df詨JWbX5wxZ]Mʵ.-5o,OW++nؽMX9jb$((.kk-'FZRZLRL ߲ ˷{;@+ҵ>v,o  ǁkMdr g=Jݟ:l͢s&z5Ua-I6˥cnu6F#T,ƝޚRK?0,@i۱bLS~F l[{"ܑl3_]M*fRdH럒Ⱦzp9ể4~e쐳ۆP1H=h*:cKFcdJ_Pltƒ~ѡP:7vNP(M pԶ34 apaO֯SBpgiދpss!}bXw) ] H:Qhޞ֞yLR{+쑀ML8w֪?ٞO<ݔfVrI)q p7{Q(5 =Y! Mt420 ţaI|PZK vq%$K;,tv_:mr)t`kd:Xܶwl;9TEᆤГ^Z%Tl7HODV3W⟳CD krkx-%=vrfXec)P!>U.DV1P# ;&|%xf[L}PޔW6uŃc>ְ[aTUVz VsY >ag.n)[wUMH~&{EQ<LM- ֭T9PJzJ#Beqց4i(+`:勫}p Gu6y Z-xXӄ:=S!ׂz]{5e+Mm$~\Y Jw?y;2܈ʈYjUr_*cKa&T0s8l[.`qi/Q4.ߝXȗ ^uX_ s/iלNq`ΊW{ebbO$Mn MG1xNyvۗ^F[ n,y-y~t_ڮ@ ڹpN{70P ((4u)eP<byr°,pI`.:\adhAcigٸKUO'""A|-Utuǜ%D&ӛhMZۿBIz;E&4-999V?EI! Me?zKcݽQًoMʏlޟgU%}d0jt918pg'l~ӱ[p\|qے+tQ4!j xR`kn?6D4)s~ly<0bdI"s~D0r+à n)L k z-B~x23M1vYnog-BDM[{d'ƥg#Ue S} 2e/xd!`b[mP/@s툣:Իꜵ5Lhf~yDkk0E!\ſqv28-@8y<. ISUۊw|ؒ&cc%pRph& `Y |DZ*f$k{H Dj-NcFƍv84Xq)W$DNDB'@!,,J4SG(0cї̋fgy'\$C;kBZ1!BmU?_|+)?GuȗJ. z5ʢ};l`Z9GRݑ[./Pn܁GfR+R|?h9+J?1u7UU݈Z{YU:]j 8rϩ&*|}ބGeCY!\>~a`1P()RNq2 k@ik32w/ lv|rh uc{dFnKq`_=S6n`]B=hyQ,7 d ";0@O Ti9W87`wΔڸOBLWfN:&"39N ^0.ܜD*nD1[}XD J9d`:v&I)1C -τFAxO]l Yr5+g//n+b跙HshL0f0wt9Uvgi0짒w%H!>H.95\#8 ֈtGn"V/#N^1k@ŜʥڍX%޽)|@F(^ ޴MDf1L:m^_:+}&8ka !.oܲLd)~~D?KKܙ=#ɵqG ?jE|i )6%J:Rd^4wMlF̳dSB ^h鮶r8D36@jn wTENpamQ-%݃{ݶ$1$z"^! %V:<`JRTnmb~C&0Ѵ[ ؏TjsKKnUOyj,s ߒ! O53*ӱš|= yM2&b?ohzC'/q.tAq Gw5%TJ/mY,k̎') #qXjx,QMyQcy4Z^՛2W 3P ,fHW\9!eo%B6~Qlή~/Mg15VfewYuĸ}G+epQFiIw9ǹb3S|/@x5 ,vŊ/xqbO>6&ѕ(Y@H<Ҩd@Ȝtw 5NTWFTjw6bg**(n+7T=e@Ίػ0X1>5*eL Ȍ~YdQ]1gT/#̓bB {nj¨1JI+}:JXD 6l%dGEuۜqwu3<HBhIٺ# YB+ѾAjO,!c+CJUiiJEZsgmT7GjA U+rhN]bR;MO#e @楚Ok=7TX' >9o^g=T-LE[){'4]Of(qOzǟT8S$`]UcSsa;P'2\:P jdW6!zpIMNNÅx$-&d)swBWK*{@Ğ yٱ19p~ҪXD)GVQHڽyX̏L'GON ifbR؅ܺA֭> 4_ Oku%1aiQv''k>Wyjj!4`rH3BMoMj:u(SR eg d0)6翍 _(gTC2aW/V uN&z78NwW #ӱ2CVy>E6;R/|2w^ )RAbg! M\S@ Ugn7>q}1#C3VjKYb=˴" WG=_ƎG+vjRXHCz )A3/$תuil׬Lԏnw8/VZ@jݲډ1zSFeR'2i8n#=]##`j49&>C&o{("M%,N8o)xѹmeWM5$Y4g7eL,m%$@J$ΰ1li gm,o:/@ Q$C /$~P\yqɰC3_i(gYZ 2-2x9G' lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Iim]Άxʆ5.f-9 rq@޲+xOQ|>{Z@ yܧKm- O?en_9[(7@=-y5NzљO/3fChݶ4ewc6z{CИ_b+ϒ͑!:'f2 *GaK*p apy Na-IP`Byڜ_-+w .,YT%!lr LG1 BpcZMgޱP|iהH,(TO9CH tԯVDx`JD@f\ ʭN_NM[nq A?UIR.Oyʞõ #镰4Xr?2o.5Q@t^, ^=@@S}P RNM93Ѽn-b\?9XF $"p %858]*GdFlAKSTw%ѤU5y(ƵBT@uy8D"&O50}q (۶愅$\Xsxuu> z#|cqX%. NoUn.=nv`pL +tq!X=/hl -f -5t?L4%ZHjޱ;qU.^[5J]扷7rޜx\g&,#Zb#ƹY8 Ux$:$`MUYғm@CZ>Q_1dY185;dUnrHZgX<}A%Ȥ ka TsaQn]Յh}6Ѝar)YQG "f:CCA烻rc2Z~bE^ɗ]t 3EU%b>g ^<'zlHg?˨g#X==U̫\C%} ;D<\Rn' vm9ۉ_n؁/eɏ9"Pׯ& xQѷ9MS͒&KnoZ!'YWq$$ m NV6Ic` TAƛR\H|?TA3ۈMkon&,(v =/>|BQZ6 O,ξdֺMFg֜0kK9^>QR.3Qx&J+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H r⿢pj%X!PeIR¼k\z[p5GBjO\]TzgY|hG$p- _Eq+H(q$Χw véV*8SpY#T xU$ɶ^ͦoEwSbe>څ/QTUWAMȉSc'Dr]:?Ka(R ,Jl7_Onx.#b,YYi^A{Wy,)1^]դ/7 \:V]W9֮'sd) jGfe=61N,ѾĈ]Z/.+~wZJa\b«Q92DYz%n45i8 u"btY }F.Cb(zã٭q|HopMz6e@iaߣbcdZiiccHx!*lE}|aWkcSCݹ؆Ax2ePv(fuF7aKyYw#mhhg[k-9Z/J^oGC# wӰ.͝FV^̎3J䮳/reZϋNG;iU@} ,7C4o5rlu;O^-EhL~|I1$ǿ1؝e{@d$>6K$cĈZ!FC.)0s-x2!zNmo8>3 >RcŸDiLUbAcjZ%i!\;C *.;1B1IFoFTÅRpCzRņу: 4fj~'3227Sh8ofK8#WTx݁W*S p-ʻ)m^NNϿDz\,1g2Z8&PU5`#' X͌*oơVTCܱbi3efG0NcôEWvxqXج=}) 'R jS9\Jht%sYKkED*>}[9U I q颭 镵 {,y4M:'laӗylptBΝ>&Đ?pJ6Cz6 zs,0fT]]09r3ILW5,jcG Ӡ+\l(۟ʝ: 9V[ ͣ6j\wWɫ'5|4Bo}$Wۭ $,}7:FB/6THd?V02Fٟ_2odTeAx(+h1NJh <&KoYEt4v33|MUGO"Jpz`Orq h" ڠxG4lU?T@~wXKxE✗\` =Vv>ⲟa?̸ J81wh RGe#r-UG^uk3wsT6gaI')eC Cٖ"/,mp=8NTS cLj{*&"8fD |zUU1_ |t6" xSG'q9UDAok,z9a;|f̕ SIW9=\ Ğ<#, ÏJ@ :SH=#c]Wq -4y^ds#~^q }ºS/ሑ϶A$#LV6hZ煍q,iXzGē-ud2^ȠhEBRQV Y@bbd Y>u]_kX;)|oVsNA[evYN#0UL[ 81U*~uo$Үq-+3\e`4FA2X<:./>:/qRO:yBަ* ~JaΗ;9cWټ ưl HZ!-$bs*ƙ|)KỺlzۿR &4u-UJg+Si\x eRAl`n^пT^xO \{?2Os&\:tYo5PĮh^ܩ +ٽƘxOGk.Xd^2Y%rt}1g!\rDQ5H&>0$gڗ_FOV"}6x1ǼՑ6y*YuF)^8kV;8ꁴW!& ϒ'*tADpaBqW% ώ qp?r/^k7\PzxךS`>+f\%?TS'=_`$N_{XD0tkvnʊb/8?8w̐"OLt0 ?@\ V'v)S衧z ${ѡn^ 3VEHiQ'ԟ ={K~$tmd=O0u'ƙcpl 8lz&q}a!'!NEafh~;  @Ro=3G_#Ʃ)+Y0MÚ۽}T˺(oΣoqa} IZ6(;r ^DՒc89}8eker+< G1H_:h nQӎuoP~4 "oũ`1Dk ۾TvJ3 _ 탿ml` ܘp~wmlLt.01J&h< 1"1"/Bi"Fd3Fb%lˈ1^BN[zӲI=_{9RaX.*c.6Η#%Bc6R)J-|!CHJ "5>]6iƆ7@\.o$ڄ:y@";<ݾcaX,@g¯lzKg;j& E&E `>Ꙃ?țjD4uBeS__|QRݕ[gNGA$]_?TAU8aMWQ^jʙE} ҐVVFoÊRg_)6;ӝnuiOX)Ht 3Ig#\ظ$ߎmx{W` /&MW:bGT0| Aݔ_&jgs&;U1=;@bv:;]<+BXlK'c^:\Je<F> Tcb<}T?:DDw;EOsݪkBUi CeHu2yXln'FaM-u?JRb tKOh-BuЊA&0hݠF^Ҹߛ p"Wh6 fJ*SAAWIfOpw=bjL{)F!%٣a`xA;buZVB㢚0Ä7&  ji1& I}*lUW'c6^lu4+k@?+av{T^lM.01ԍlW_l5*Auu/aWꎄaV-7l:ۤB'?XXưh!qWȗ2SØJ2BD+=tf8`4ҡʞRBhIN8Ң4 n0T6Lwȿ ho KS L[4 ?:򸽆FU} r擘6mP7g!QDc7\td=>IkUhn혮Vnv<&];Քr͚+pybaY{u'seƊ{sOs/vǾE8H~K\B.Iw:S@ )SƘ]H;53Uo>(JX\8OӻFhfj.y?yzXW)/*CkOCKV5{vKwPA\bkcN®4f݃LЎt+†הpk}Կݝ syjapҘ̔|_᜽efyEMdot'h#Fw<ۮ RȩP^4N9lICZW˷ ܥ;y4f_ÍQ:3di32n;w8_n1x4Pa _J]d8k*u4:fzȿq]Q.Rm^J1Tހji˭J3 C#BaI06 !IX'_]2_N& (~nX^!NW7sI%3gvvRzن'ʋme[Fbo*oR ,F^ΆƋĭoSYVH c4R,Lph1q)ws*p*~(M(u?lNXi>Б6[?˻ v{ dXagǚk) |d>K4Hi!SwssjZX7rzJ^9RNF9zF9iFNWv IL;;XS~# !*eIW\ BUÔ9xǘcICTxK2TbƽUz:SR_Ee Jc"þé6d22FuS=,eꝺ0~*EBxp%3lP lF 0^nQ6_6noT{? ]F=L 6FvB.ټ>lbt?k ?Z[t׆D H^߂2Ufq3An+?wqKT9ɉ!oHAi LE"^H̜7vmrx FyKJ==dׯme&`cQc34os >Zv+fpF{* ^qBF0ӗAeÛw47\,[=23xLi I 9nYvٷEG>'9|ǖ+͹Ll&t"@GFq"xm{YެBs2t<1ЕbqճNdA,Yx[IyUWe7dhk^mKn=Nby5];Z.o{Sוn Br69`sS"[ٿiЭD? b1rb{ /I))}P*U6`CDgUtKqVa@@Ugۄu||>9qwjP ky?oyt{\=pl-\ϷLNakD!'Hi#`c؞xX޶_6`d}6='CoHWa@17,L B$AYEľ.3z "vfY.qL*ۡH3;\qB9tiCN߼I2ua%,SLUo#MȠ7N|8)//X$ί5DodyIcկ}΁v&q߽cx" ܈M(j!a81|-Efۨm{ǜnʭA %Ax|rB+L `^N ˌ(UD?Une lx_jq}C}m#r"7\֧(|\צ,:P7<^>;B|BѮ1J$@ߛT`LVdQKPfNQha&z XQ:v}m{ {q_tZN{={jl̵h3d %L1nˢN.nׇ}x8΃k4?"FJпbU q V98nN/Mb? tÿVl`u#aHP7zĚYn謊>|~tlC,cq:Z~~8&͝+$vˆ"?M-+N!c /IbE=AB7񦸜ز@3Y|STZ砪QCv4U[!tؐuT 27]~Իﴈ + z/u{tr 4> K?^KCS$yQђ<qm?<:VZNj#V2!M!۫0W"Wl2 +n@ Hu?\TJ C]'e9nҎl˼9UkvdP"́KĆD>.Dc)d*<'CА M/t"QxlAǾ~QoBm/w|r\< M} T/cX%a*Ĺ7D0s@)~ IKԗ8.|eC코Ff ? %Ie w]j#&%$~`)01ѓF:}:LA҆׌ %)01:g֎fYnz "IRJNvhk:bVw.)~Ї z⏙Cw0, |;]hc|+X.8Oc5^izd" 5T'Us#8RYmU' ;%%1 1ب[OsA5PmmQyzMG2yZI0UW'H?Z /KDyUi3!/U%V TD1%"#(/lJ Ŧ~*N[tGuzi:ݼ;W M쵃Mo!Y6*W禇.1hȸJ{mqɰI33ə+<. s/܆& ,QbWtVZ+8fj"T<= s>yd~!j hrV`Ϧck*'nҾ줜m+V#GQ T&y^}e\p0 6#NR?Orc5!@Ǹ"A,U&D'@p>2럤)_G96ۙ K5D[߫z7r1x<=ǶRxC!i=fjjD[y4M@ΑDz&]q =7بh siBhQݾbk >1rY槦Ϧg"R531 6,.C6ά+B a剳Ϛ {ӷn|9'!h7Blqq6?oD6*E%q H5+ r ji6L!d46%)$rv%'HO!pm'*ZjXyW]ð!'oiVQ^,Tkg!]_OaSI:3&g'7Izfíx05TvjL*(pW@c')]3쒞5YGOڭ% }VӢfGG"nOzؼp\K4JX(jep$hKnT~c.3|lkQWgQ6D "<$#E6K)gK@\>[Y:3f9+0Un5* jbL5&NS(>/斩H/+Xd?A%X|Fhȭ l\w~8>O)?^Dމ;o rjT骊A =u.&"&L*by&zXm\" $ Jobǰ1ztĠ֝[ֱe=_çȄz첢~ԴFK2E_X8d>B!w,R:t~_Cw&65p3͇ B2uֶ7+ˀ"i~YN>c)׹<8jNI}EV,;ӾEHf|n" #O5 ` ;E[v8=ʱ r4rnO"f+8D.ni44f>1v #uS]QI-&&'TuRkrXTQlvJv*Ӆ?b-zG GsŐڵkRPbt'nA:H,t)!XFAү1~a3ׅi_rsY6 fvB0 0ɿFX@#,@K"%#'R2(Iwٔ~Ps6< *)iOS7a4{W,y&Ӷ,d4~xynR^\IwSzm z˾ViAmmϹ1}vS.ƍ_]{DXrR%|,,S؜G^T+m/N1;2H x־n;WnSD末#. d!Ykfm@])nϟRj{l}܎_6#dU8.s'hLVz+*i&յ冒^)bő&nT0v^YTu3 GlGn45Dj uų4*}#?d|g˳6'ƒՏ8,s DAV- T%92gLjM2zF="N% ]ă'o90#|>UVxIFդFc ln\⽲w[= qF>Vؾ8h+KZj_!Kѩ|ghat6NW˔ߎ1ں▓*N~"'ï=;=E>WɴPB]P&OjC̽F[# (m4R#qۏrQfz )1`38XN̪Q\67K5n֣E Moh(K&]##Ȑ5݋')wciE]=(:P'xp!)./Kx)D(ߕxEn<Qc\Vj[*xN3W/>N| : hZFR=`v @rE,Cߠ y٨s @G5>^/D)l|nw]fqP&8ɐڛ)_TevJ 5!B,B+h@zH9V㾎R-#OEGG'/RuXl,!!jښPZoa\iwe_-')qIOP c&ET#9 /Kف wWos(Y;ڠ?hi+-(RăowFmBV1|F:^iKXoT UY? k%k#v4zK1ыPW[3Zi^-,p>%:.7ߴRE̐)Knijq8Z{rd0(MɛV$x'S-(LFf0~uH7zWo9 hgr>!N];U217bȿu3,P: >̾piy;~P?{ǓHף-@$# l: %})ueRi~c|He7ɼ-K19y \t;itci=FxN[F쉹-vPIV eC…_E2h e[jT$h (@5"G]l&-;ۜءs[JuniA;Ī0 _u/-q2Dt*[Lz}99:&F Hf'366(qB4!epY(]KAfce31Br@?Ǩ*/0TG< wpU*F魸Ób™^nui#,f ^8T}Cp#bxԦ`;ZR-eh*H07+JWi&C6VQ<t7yeR[ IaafkCX(5G|!^p>Gf^96T2\h2-Oqkm _q/\iS/78ň63]'znϷ P)ػUB,OyVW&3;|XF,`lϣ1*nw!"BHmEWdYnq%JH]W>B맚 cb? Deш4**Z S :󉒕:P@!t)"̠O,ޥܱ}_ؼn -*Y,kCTFoL|i;HWee<ƊR; );sk\rP0GHwO6_؃f}}UƶX?Y",݋j P_|E [k|Aa(xGnt_ݍ{É結gn,nw#ϋg {ڰe^cɕXpԕ-YР՜" (Q.3=}&:dA+cOkt]C?C87WӊV4Lzo^_~laNO\Rih98̖k!wQ9NvM2XMP8xdV5;;lv'J*Tg9qfŪ&I v.HNSܳh0!LKi"hpcUn~'|%iË!-v&zP#H?e6ekrgQ٢nZCZhI"d>&Ըj' p32E6x,*qO}2w\Sgkc}mm(e-3*C 7*1D@F/,ٮ[6hfj'AǛyj]Bi*]pF469<::YI Hln mV*mfxQzKbR My i0&&8Iun b+^UDzTvGL E`Fzw9t™?/IacDN|hKЌKвMQ>f[ {!/"-`΢KC:練x-reo*A"=Rf+Q-ϼ3=T;SL8uVUlhrkՉT=w^N$3 :.%=рO梥q lKazeA@*h(+f19)b*u$3s$zw"5:u\ 8#~J5Єw7o*^Qϖ~t XWv{(guQkq#'{ n+]qpO]kY=p؉YKykh?MGD/+=7h 0f< 9rf9Qo0=e 9[2)F 1b}(vT8*9GϗKd:~.IܒAВMuLxY|ƞ䫶"s/u2L@C/IW*ףƘrknX`'LsuRUE ffvT!Œt* Y3Pb䆐}E#x G*%%/þ}끰ףXcHbeZa.Wi!u;svs&th av\5\X!RNp_¨f+pǤz5juU84=6Ni3OJ}SqSIzW:*`/YMJY>xxgzx?2w"vAi _[Ba̵FZN[ıM=#4bb Ikd!Çqѫss?Nyfˠw]\w&,\afXŷAz@Eqע0OlK~' ՠ͔ -! ebҠl$V0G%uOS>_/8NrΰRiG.*yԡ0KGUpplacwwP<~./ؙW Q7zr̋2sKq.;xG> (ڗCM?ƢN/:Wͦʭ˺APy# ~Q/CE8`kEM<ᬩ|T\ ) ;=9 i%`QuS/U09N{G$% Z#&*%h)紹?"Tb##X$Ŭne,nb>kTQ [R1ءTV8aH6~}*xNaЄiajwZa`Np_<\OZˆ>&݆1`8OBU|PϘ+'V.AB#89hr|`Jܿ. h5 4'KwME0dHzk",EP:=[te(*hU(*ECB쉳6ooF'.'\o53&2 FP v&_ 4^3>&, -+|C \''G1];`E6GȨkĜJtѰ-U9]H;i`!6F|?(ZlE!"5ZJ$UR^BOgI=MGo'){烋|yR&}F峟:e^'pMT} +F#xB0;7@_ijH3H]]g8 t@o*򷈣KMb.E5sf< <|ڨ:dmn*M<푇xF5Lĝ~"]t'PG+vkMa_@(.j|QѾԉIwe|,]t{F `mҜXY)pt Q(!SB{\d[T #V4d~݁ .IX;$"_8x _j#;YSE7ϡ QGnԘ,C?i-ɱVIfPo2<=BAE+Jg+/U@S 8$fZFͩl1[jΫqcyMN'n,jc{#ga>XRrO+ ̈ic,G5s= orq heV[e!7y!?^}1MDi4$i^:%ġZ֋7iӠv?!t.BRc@$D¼+y5 ͢ffR4fgdiĸI:J ]WW䯘5Jː &|a ČzXIlJ$~'^NN"Oja# 8y%Txy4aՉߚ M9/<߯;t 7,l=x?rk4'ٱ.wQM?8K;ScXoxiOSWRf &D'tc]{Y:<'zyl'W+U񧥇95 IJZ-I֖I{E#9dm1Vms[^Tf8u1rLAehQ@AK=7uBCXxN}3X2r3FM'HcY9ؠ#ǫTU0tR[xGZ.F+(2&{%\EZLJp21Km7ԟ,|-pq[{v ȏ-FSlBŅc~I!ŀnbc"IH(٠Ǡ{i#q4kM>7Okq}:W.`fa`SbUWQSA=]Uj9V `cjê쒣-f~i |[Ge%_~%n$ hjPa"T_o Yk]@G:<=@CQ$sfYM S$(w~r]0TV@ ;TBnJDG|^03ޘx^eg*{}!L wte%A/"o$ۈ 4zqxMB\-e&.K|5+f7.r֝/Dm_.#6$A_˺0'@ 3ʄxw?r[KKet&p/HrP[,S!TDPoݵV4|4 Eĝvk$? _uEQ`>bG_,Ϣk-4tT3u*VRk|]Hz=mdetWx@r+|qh8d^YX ՑȊm_GyO$쎯x|VK%+6'X-/>irm*+Gtc+os9 mm'Q&$Mf`ɶtlϩMzYJv)CCvR[" 'çHV/? Wi@z-LB#vώhGT %#̡lKwggq~@y<'r ':RlW NAW}Mds vRE1*o,(mjUPOZë/Usx{'vnkD 9-"8Z;.=ڋ{'> nTʭO'ŀ Eo.|* _r wi˃aГ4 Cd ;ސkg{GczDvIia!.t @#&$P7Q mBcl QaC jTL?g4ɒ@a6ߐTO8b|*TB.&GtXZPzVʔ WD"D'<甒J3uQ-_ԉʳ\.^/j7ܻzձ idO?f;]ֳ bAJ0uj J.{::"Y͔ɷ:MÜv-DythݏnD9g[2=*6y C7lw*6dgp>,kdauLˑչWd(ܹsI~4!xDgoL&g{z_(C_+Fw>F-M.-o#>gE/L6] 4!h󘗓hIRSyh!{蔼x> U3f#wDFU?;(7# YAQ60"Q))#)i9ߤ|GA\[Q&|3˱yj ȃ f=$av}i_&nݽJy}N·Gd7D42C^mb'Y ͛ _b%N,B UgAyj"x[x "Hcb;:ȶC4dص \Xi3)Z&z)#qZ}34gaUى2l GR `)63~BQł`-J'Y2i]]#a50SFP3;]4%mv!''u uP̂.'/W8^CqUR"Q,HXh1#I*sy -.;6fPs !+^k*uذl2z3ht8)rXi}2O\)CJ(',gSr#~!Km̵כӾ| C~?qW~'Rv\p$Eo E&C7cf W0SJiidT*~aZf2_‡ЯS|j`@t^Z{ XlAeLh=_bevUU2ߦ!RPq)3)eZ^f:j8H(O?H^?W7'`DJrl%u庛ZygV2MiPnŐ#@~KkL @)v9l|` wR/(Nd ¥b.sK_P?1k3UDOO19ԗFexI`$X'%()f<X#9izN0Sf^Y>6 sa-MrP=ȿ5w34WrUn4ӆ)SSĬƷag fa\[Rv5y"˝]xG,_y7Oʌ#\#j;i-L![yOVIAb^Lm ,Sv|(,k00eN:OoDd7V-^jSfHb ^+Ѫf텎` 85M-=$j7 ɪ)OO/|G6ޛ2wJdYyniOd;M0X+8qauJǧgN~}xF2І df+Wg`oZ~EflxpE_xI5ۃKSc^/n*a>Jm,[:n#gЫA^l'Ւ66eCMPfw .K50(/dl}Jq<'&EnYV]y(D}#"giw7-W罇/iEoDI ?qڿ9,OOg -;bћUbpcja0#A&9 ~<9kq+D0˟*bl_WBH7:aBS5h"7X_^ԫuy(nnZ;PW[Hm`+nI:v!#Lk)w-LO_+n=N[8ћ5.phͷL#XPXn1GZ)Bڏ'˟H*,uLQC:ԁ(&;>pn OCa!#q54X9Wo&fM`1 YZoJ%~+= Op54z+Vy9.`+oy"7C#^?:bxU#벭J1SjRȐQ]~Uw d~;M[ЎZ Lm)yѶ2Y$N\\n=*ڟ4J/p`XJr 4Ⱥ wyp I"bqKܖDd눳Y핽0Ռ~tl eI%\qH\Ircb,V 35ʽO[|> S\Nw7slEV+\gVMшڎ<+47 S,35cK6$''wȺ_‡yn ude۽JׅRW2%; vБ!e+ +9 t"Pu{y60H vֶX<9%9)_q3/!6z8HiFyN&{jsx15T-P#!/ R,jҌCnL) zehs,(3Yox2 u_^_%lD,42EfScv}|Pi- &{o ly+Xy; ?f*;oh -N,u}N>)f{/zDA>Kg[|9g3d^9@FR/0xɮpRW>`t ׵CuP-͵ףe]^ҬTkEjBX.}MS߆_MKyJ ^p Rz Ǚ/kr8Hx0bCI>-3!6!$D&~NFuԴbPǥմzJ~? ]m /SX-3GJ֬l'@^USIZJ5u]oM­~esE t( qΧ,,)=&x#ih0&wΕ լ'>{_eZ_ItŴ'T*p(M6vQ6{`>3\D7=S;,r,L%#h$j$t 3ؑQElè:꫿, K=bA.,~](ΫvъeP$Vwv3Cڋc SQO4tC((ƪ`|reoRN p<_$妜}KһK.~޼M2iPS;Ծ=].Z[rpWo&Vu|` <{u X}ܞS[8L2\`k:TA$aBIA&m4B5ygVG@xf 9}Pc*}ohhvᅊ`Yi+l@ Ghh';*g*s^7 .`l*5 h@`Yp,i N6U|,TԂPr8nGoYZޯ.G ľ/ DئWwuT.1rIsh \Mc "+Sc x.N`9ձ3k1|N31j=b`/P\.4K?I$qNѽy=sBX][ v3ddS<Q>hY`n x(ْ!_ tYzh"׶M3a~+FB" '5?LڵN>H Cf1Ե~͊<cW45x=@7d~Rl :~ԩ$$G/DFE'Ww(Ttsq-x@wT3ok S9pBӏ`Ũ Ap^\x8R,IQ? y9*ע –`9HoKOJ>s-E29% H,V~FlcQYXxux¸V;C"b.%\`}ׁV3b9.Vڡ(L0pj6zFuBA urK0dKy[Ce~7[wBmHy&?'fD@A';Ś'LEhrd>H Wz T{g"{7Od=-ᵰMq: Ap d:fog*J: D)؉"5kס}ȹ!ski 0Fk[lG7qዣl͓ ŃUϡY(6>0Ztk^>{6 G<1^w45nDq77ϖá: 6p#\ DtGԉEp8l9vvokR\cgY$='L,%Evje"eZtRƔAixLlBA&nQ`\s9T.$}WL/ƛʗ(Ee驆z˲QCmW>h#޴|AGOw$/OV^WJ4\WsZJ PS> *i&x& Zŝ/!QT؛D-`]; uo\P z:)NN'L:v[R #Ck=^ 3|; 1 |5'kK! ަ5JfI(+A^Bsw+o#}dBwBRaBh`j(G)pBQwmnD-U2S;ffI4M d.nW P6&W?p_DXY1|=w f&|}%[_#xz`gڣGLԩw. )=itݭ\x~,X?s 7Ͱyq詚4ݐiaBXkl:Fv]ٿAa"pFlN9CQߕɢNlOd%g_h]G !-*]NϏfYT}S??q3R4(˽K*u8DgGmC` 0}Lh8FG#f[k|,B|bbc/2pCŧ(W< iBok$3(ȟbbd' fQa9NPr5?]5s\1ƤQ8+MBԤ]HKj6>J,r24 ˛˧Pf@;oJ}Ɓ3gLǥtP)JcXGk }:TeH'Dr8QފR|pѫKW$?g(n;S$.;c$/!RMPh3F&?q Q 0Ee9 ևSp/ ic ɘ?WxwxZ2ו~۫ 3msE!si5%TGgGȝPP,<ƃ U#&CeY#VYMǂm!&pO{x p._ܫ􉡜]a9hR=pff@6&X YV?E !l?|b}y&vs45^NNc /Y+@*xO:c{ FQ"0YZ$fw~Ǹ;uV/W5Q%t\>VcP.>.Of/E^TX8pee0`^\j`]3'Pd0ޮdROUzXES8bd@jQ3OZ& I67%~&ZW6-zWUM,nqNW&t mW,XzxDzEuO`Ypq4gȐQ&K Wh- &"\N2[p21Em>c8kο+8]T0g0'<1+O $6 ^[gG{hZ ~m=)TW3\e|sحE}h"4|mlv]u &y ~\?M|J9iK6|kOצ7q|L}A\0$=ja1㴝KDh?<_w:uMwTr5@1'Cx)|Y*?Z=_v_4+%%2gYRYK*`SCCWԥCϮ\3Or{BM rvKߙwd,@=,Ke._:;m,yyJ~bG߭94$s#z4:0-@*jU<}Z8G] h%2jaBVrZf@*(}7t} &[Ck_ (oDt ,hL ('sw츋bXm[G zzQo/iWtl倴%κMkK]N%Ngp<=գE(/gTZ$bŢ?avO'ii aksgfjpf"t <,$dy-;%"j̒B3] @T5inv'Gy{an1Vf(yMŚ³-CƌN%f~ + ne1lJӺ' =҄$64@ a{.* rqd$o ,po;q@olȏ aTc7¸dOS0oapv/z1XnT%;ò^sH6 --1Uޕ̯&6Cy~Np܍Y;]=.p2^7|vډqgnwgYoĎJ#I+`AtC]C!+a#C?49ztWQ>c̼g$鏢TҐu)W;%"{)1ҚXF};&&M.ֈ`T',*fWNnSqqI- }B"2kA+t` xtf*!da(gP&x0XikM}gi0Op m6C]K(k/b˜@9業 1b|ǤV؞)8< :ZXܸ5]m;:ݿhw*,Z DQ>+ E<Up$ec=VeL\ժWpW.Ym0S k?$~ǵ`Kb z0HLsKŘ -dv`iq}_Ϸ)ǧg{Vr@9FʲTrI'?x0<빶ER8Bn!e  ;~y'"c"*ĞÕSh?nR$1)EM=YFhbvI-qqQ1C*bz1M.OZEV9Ef*d KؽKߖ2ARĩR \s p;Z総;顣M 4 A5 5ȅ=QZy)%XxӚgTqGEB[ԓ zZ$sIu\ѹfH swBSPq])qo@J/`u(pbE_OR?7qx%ͱE*L6ÞȮV&JbYV@ZPjHUgR*8O.D`<6#*GĀFw7ޠ ̥13v7rMF9ߑ(k;p)5Msu & ͗)0)EkmUY0gL' ~G1l#z:Dw#|Q1:Q#¬8#[I J>Pf9GVe_|kF%ORV9uvxWȯ$Vw}Q CZU )[vXvz+;XPgrҗ;餤 l&/rs#%6kY,NSiUտUkxV\![vKDp싾~Q4I&**-1Cj]alϬ.u9j ~e 6PSyW[lFm\ʙPwmciMl/!"'gg40Np $ͪ"{G3O@dʊȇY X׈gCO, ;2`owDŽ]f=y*"c7XnF( .W:{nYc(՗ {Y9r6aَ45IZ @)ߦg5k'f({2梺$Ҹ/(3· G\=xMVO5OӚv3z]/\0uX8ɰ/#RG/XY]]3b5Jd7;$`2+6THY5:(ދ`-CvI:&+v_Ub.j %UR%:2X~C+C Ͻ1J*MTra_:KbjSb!w B.Fʺ}Jo%åE!/o>ϹTлxڗ"{h+Eyݑ$(RB/Ͱ?GlG}lX˛F? ր!KPg֠.0ɱgYZ287d0e26567340142e1774ad5c222143558ede86273806c095935afc4dbdd0f3af3457e74b254003 78173b8cac9a501f394ea1a1e14f166435a9dce2 8997aa856ec20dcb97e44daf53ffc4ed991d3362