SQLite format 3@ ! .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 9~<4T ] HOL-Datatype_Benchmark:threads=6elapsed=521.092cpu=1942.508gc=703.7967zXZִF! 5`]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;,2Pʫw+`Mck,iuךF1<6ҿJp+L_:LP vED`O ;2X肍fR}6}B I{KUJ(b)RuEnn$]4PqKUQ#ɃFtKBF& 'ClF])ưk\뿀f,]LҘfd{g?B@`m5}XOmpnw lU+[L8uMV?fj "w@xxԳa`xYOX{](/_o7'SוLc\ {G1h&` ΛEˉQa=& RRf ([a|:XSMOCaxYo)m6}p2}5LLlvHH8k.xg!,IzOg"~[*wWމ&~~LnQ@Ńü0Q|N*h(~;O 05ߢ%Q#C_e{ib:GՋ @`]`cГ|+'Mf] M[8X"?QL-,v|:tWt IU0`KJZ/kjG8ҙ,3'&8Ƿ&m(!IL2&xlt+(AeIRI緝^@i׫;6(3{^B'Up]lC輬R"&i#EInJ~/o{HA2fŗƗpwLK8i b"TS*W?dw˓H+l8dGT2:ۡ)r2ȏs=ym2:$A{ox˿?כNn^~긲׾?_f1yPovA;q/f6/@ښ}%!qX6}QeJ@Uw~f5,𛼗0ҶE_[;` 9 HOL-Datatype_Benchmark5w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/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;~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 GۿgyLIn=nnP ʱ5 N>UM#3M91#MBbM!1/fLSވNTQ;# E&5e\AR<Ƴ42qb<"{FԂHem:eID2Ok6<6 SUez)a U`K3 e}ꈊW2)m9^wqh~LC, 8GI-c&/3@PFb7*E5f)^ DדW2٦u5ћ3f"!s,w^H?xATǒ~1?/ÉBO\q' 2^5߉ث-fb \ة$ch.R==3c5U>@#ʻO*[ 9Pjz!He0m0܎(J*Ŧ/ݕ 5zTAq`;%(WR`meߢצI9 dI?}a۱hΏO[̡$U}N._bQh0 ;||KV4] z L80th֖C %"39IDjn?PxOL4{pC,ȈnsnfHrVteA B~zO0AJg ܡAda@!}N0o?LY QF!h+,|8=3 o+ݗ[E3nYGA ]4ճWA\9{\y4 K/R <E "V29|E^ y~EZo[eޙ ssar%w /OϠ6j&d M(h+[ѭO+ oOk3z ]a)y:"_qRiMZV%y*s1=D/Ҍ=K̊M!@9fj# $9EAL#B V:z}t^y' ( !Sm؇Fq7=-y w2"r݇撶rPSF(`߬>˕ˉX*z+z[R;D mO>Fѐ/k{g1 #pK6H)'z_]!r~QojT0X?(EwО@.(C Z evnvʕe[TSl2;5ð;bļ6_.' |%bE<}{f_HB& R&e,LoņX7O~; fHe>.C?F$m *jLBИ~ۇ&s\ 2>%HRl(7<ѠL:T687OEhlTİN*OKU|`%΃)r|άVYrɬ\_wcpbƸD]"/E7>adǠɣ^_~ I{f1Z>V>tcI˜TpvwJ6@Z°x9Q*I瞪.~4\':mPʂ1aR?/#& &z;f k)@3zB+>5bw0Ld ri⎅LՕţd]KhEFh;(?XR:7lK).~7k|j*^6[2]Ӯ'j#9.c?HK<^=%9X͏ߎC/ج8xP6K_Ё=m5PC Ӱ\͗hW-Z~QDr{ れdaZmҪ|m5,"Š~99Y,&39$DW$A?@uNBy D1) h+ZL̒ -1$??Ğ]& %@7y˾<}?&ܯ8SLLȾ9/h<(*记iFk~y 7ٷ`k=û TmpgL9f7eU}{ ѝ싎AWzNL!?,>~QhE0MtfWp N4q9o@MV^m}: YR5)^%r]cGj HKC^;ƲwD^^#Jb|'kfv?N\Qg-vcOn)읺g3 FNsh|^ |;hfJUś] kLB#o&;.+_K'eʂ$ nmyS%(݉pxă Dj!7PIehzY\ONddifAsp\sOWnL5Xb"]}yStͻ @$hbuЈ\Z{!uCHN$680U5 M_rR1^p {CRo^+NX6A/˴6X"!LTZq3Vi Y`4[EE lCJF#tҢa&P(Adp~Ǭ, 4EA'X{}9)lYơ;`Yll@řM_ bH涂c՜tX,šCÓ,ͅuB}Uw㕰KtB̶Cm(stIC_xZe;,#Q}CI #0eYB$J ]9WTU'_tК3\mTJ0*,>XGz6J,*n*Ģ.nտgDON}2ȼ9@lHkfQ5:P9_5[7DM,N+8,m:%)ʱ磋1t/TdxOH/~C@Z.O:1L@½8;eW 5ؕb+p )!W|JwǑ9NZUk9OeP]gi4vGu{c:xinZ[˭>]fnIɖ2ߜ$3!^^٢#ЩGK:*HƱzp(H.c khJP==9~妗7PF\ӌA'$D,8rθta _NEDĪ|=I\ M~(ڍY%? 8.g`~ջՑI,hTͭLQ~) ƏA6^#u lFۻ0+fy(RnT}1կ<>¥jmNE4B5je?4Yj-f#{!{%0V3ҷӊ ٚ '/(foxs>EwD7GcbA\uF oP?.+Y>^C"ͫaSl]<"Kh-zPrEldON^Ҝ Y~)eQ髭7I^pvȻ(JKj^ fR_qsͪ!._?&4+$J?<ۇU[L;Ddd49aǛW@~*_:% :-VZ˄5s·ۋ.&Άx/Owr5htٕ>h{_e4]EyOk..~8oKg5QE@3C>'.vS% .>IXzV6j m%' ،*b9JmpIN/q%8\V0=uԇ<ҵ`9&yӈnFq Bhͩ&H:C1V0L9հ< iL$\]]4'՝G{'BHrH M[f)71!ۄh1v\HSsZxPRfA4 ٕ&,xUqLˇK?]1l~SKJK,J~O e"^ k>/G -hrX4Q+b1@6R寈W_^rݘl%yAۻHJ휄!]/aD꽪}lΑe,gh=l8@+Õ] C~X2>SĬ_˖E0!Mj<si ]e$3w"md;GQk`-Nc. g:Lzk ӄ D~R%/ ?4}}Sӱ!2[<ܓ.ld=!B75W6c펙"xl[ FBPqu`-(] ՉhLHE?M~c;7 ){\,85:7= 2z4{?r?84B@iƔ#ZvR;av_ < 4IE3;hg߄D2,+j Ba0v A:7uK]M veE59FHtTԁ$Q\jT@6dէVH*h-}{{"@["S ! Feڼ, It'-VB8-sr+@ۇW0wu__jBk|ØY̶eYy\SbkN/YWB_|zkoEd ' RW^ӽzV1:1ʠs~ǺˋȢP[c:Yth0D[Ҭ0hs IN =/_RV;%q&wN2/ &sE"5u=]XٿA$8IdQ8;']`s}.n$|rx=4#&̹+歭fEHHDBe⋚} ye!+ġMUgE}݋D̮/<8iԨ-L:^ qҽUbK "_3mu/|k:ؠ,Yf, ][8nm4 кRҨ]|<(EXv 23%3.վCnM#K .>,j%IrfPSAX tş %>a~G8V+/-H5Q8s5'Xcщ_gK㢕@3ɜعV  ]*k?dUU>;wH&:| Q Wϗ,r~ՂbSzP5~| =5sMf=$.޽72(XB1$qo9ZE}s*b˜$ilmӏs{0hrSWacRXc4)GGΰ[r!{*L"cG^ ձwgvq,4%Gv9aš7"/뤜,:4O)OqU\immQ xF3m0js/<<_!sUNm@vn%3Q=H(r S;Cv sT[;V=*G}L ?*ijIP)v; >T HUKC3 ]]ufsYHSેau >y;_#/kCW^O۞<=_O Xܞ5}46;c.By`zn8جX};FgO*65k-$ϷM ujO;4QHE}dòÇG~. YvCV&g ңuݨ/TO3+`לLܾYrF?rF}f@Bلc=vɢO"u+K݁^+6l8`m'KCUp"̩UM4K:& ߱2ҸGI֩?2ŗwzR{ =C_)n$ lWD;F gE0Eqz1<)>TT'~&/mP<:IQPxj0as,-δ~)) 8 93tEpտSdˍt;:+mLpP\kR~MAA[Ӄaa&YNxsZL- _5PKGHKlQ N=o婚qfBȐS:__.=K U*Pj;!bpBv|!ZtȽP6T@fZX@r}4񳲴:i2_8UB I˥)$؉JNcߡ}#ezΧ-~+]0DB{(ccRMr;H6Pξ)*3^ܬ] <"}j^UPHU"<{ @4[3V3#3:o}m-)x]9!!_'9S ٚ?Ħ!tԄаbQ4V1l7Z`k(wB&\c2L7?)o^P -Z-$HCmegjL_DPrd%)t;֕pb-PcfQ^uďBP$aekpCxoeDa+Ffҁ!z-FتY-@p:e_J΂w&i¾ߕgHԋ1;hx+d܃v eچv~vH&&D d0msߦ;Cm ~sږO5iws؃5#ʩ̨M!^. SA8df|T>i-Wٟ-58?^ KDŽW[iʻՔ@ K6Fw L3؅d)`laK;n@W9~ݒׯK#$NeG\ۉz8V[ToI첎'ȏKh`]IMLG _%I!njcp絥#K⑎VvD 9>dwYi25C_:R%+\AHpm+yb!I)?1Oڤ^ "n@\u5&r:{_mK4I'y70Z[J g[Uw??9I-i9f#>ȱc'Ò^{Ȥf?SÓg!3N%& {qdklJ.)}xt+3.  r[<ts^pGZVے(Մhf#nNjtcaNz!8ARt_`|0@b*p  WFrܷ+ GKlT5jr_q#k(-f,˸Qu)\Ѝ d{H?Q G,-zbGof"bLk VAl 'ib8b d>؞4<|XyM:1/j-+ J ^/WFHw`4MSur*mKh*x*1f4gEzEGvYH'TO)-WBPK>&Peg/-Op)8TSW~@e> ez8Xָ &Rwu)q;!P)ẙ; 06>ȠxXE\{ɦmh 9w+DnZ)-?Ug(dߏ*Z?$~{ºngA5i@OF:f~|z!ɧyjoF\ 8I7y>}5aӣ4ߑ[4ṣZmnmpXb!]1Z{0ǦHت|8žsTzI#Mun7 lPi T>cO0&?l6 QhA*OSގp9]JgW| rHo])2%T^s|4KNYbrBRE>W|YwogQSv$Pb!GN cdѯ2L[4.((o/֧UwЈ>ut )0M~`L\̔OMJ[W79C8jX+O=oc 2GR') @F!;CCk$LݬXT ;̞5) B/\\|!}L~.>,"8M?6HHN(pZc0i K8iN}?}$ІcA< MDyt]k$*]v&(xw} KO jC-oa;꾫dz&*p~]{a*v ̥,.Vͩr퇽bEv|8.qtzԻdn]= TYD8 m3 2x}|y2B)ޏXO# Ͼ-2E=Pb*/^="]:sLb0w}RTGg+7*^P>;¶*yELy E{p9nT[iUXɟtұMYm-vPSwo:@9ő#!_6E849@xȠ+0`e)$`13Yw3(N$6Iq=3h?9q-o Zr qhWͱy9J!X!`fN7%cr"cf|LdW#g},Y]m: Ǜvml5S2͊y:?72B~:UbPB3#RӘmK_~mVKlcDZХsr:'p~F` #[WXDNğE@&)gE(mzҢx;@Nz~)g&FHi$vEpOfܩqSUYοguR߆Jcc޳w*?|ŝϰeoУfޝk >tj(N2 6h[Mgi4s yܪ/d="<[Y`oeL([qnpHQUNC*R es/Ơ.~4XUj+, ˋ{ W i?k |MZXr yק%sɌF-;mM\AnhRǠUXTkx?YvلUn`9}p^!5ZNċ.Fe5 jÍa= -(į_Dq O9∿2Z}KɉlgMǥ@}3A'S&)6;QmC}qB Gx>>K̲6OSZ¨+*> B9oGǾlA4zrr2xDזt1Hك)ͦ$ 0^dNFFG 9_2<(fԿFs!s$ѬJ(Kbf垹}Cu- +vL:SG=[ݤR&hşی@{sL1JeZo?:¶FMxVĖסv4ɤ/>a]"Z& -d kط~vT;\<{ 4I#L<^bB,{Ul[ j5:iHdcU'WR & פ_/~Ja5AQ'C9 C]!fRBOF}p$X,NB͈.ح3 &ȳMzJ)&1c`N蟵]@k1Є o &/JI4qb;W}fd+/ZƬh']%PcﯭXK-5U?P흋l4Ą=XNW /[ԩWh7[|J,)\@?g)>#SL8kP1UTĎr|7gMdpWX'aęV.mb?{ QOݗ2X8MlCpG=tp15W-uA,>c h{?띗ꥐJ2VЎG b).&_(TJXDhgD;M|'*htR+cG .R&dq,^{^G,VEhAJ\@­+i f*yݖ{4 -gزPGtdz\4_Bk߄ 9|=՞J;SX`矙2hdmAje3sta*XͭCFs&c(]MQ>h1b}рw% 0¾7wƒt=z{<h졘VO8n,]Tb~Z)d S aIhtmw'[a<|FBJ+1I ҭE!wŅFzC(zք/{_d<+5Sn(STew>W_MI>d#5:@.gnL49RON&F~"X";=A}Wu')2(P㾚NzH$poMc`S4){KȐwؑe KSGTn5cĘ#\+3% etӍn8]WZdv!ۉNTI*15Q8#MU,_r۝ g2%LxW{8D"2r|3ݣDaTqw5̪tE&j͸k$;po)^rGgV:.ATedyq=lv Xmr#qCiKfiL3Rϧf JG 0 &H]k"`w1> K.ïרCBm$U ӝ=}_JROO|9cPD,z>KgDAWBXƒa<r5Zd#9!VЮ_v̪Ϻhm]_a%C&R\WE@w&@aJcJW _n h@b5W"GDugm_s l ^iq bL`MR?7VkZC\ =#^RS EfW73/75P^?J,fω+IpGJ?y}'F' 1g0F,]i"7aWbkƜOם+n l: [mFN}[hd,'llK"֩52+W];d3g;,QJ7ߋLY%ҁN#*@Yl|:JMR~Q8jߨ~/UAc|5lkJ>~ mIڛ`!ДM+D}r[RFw0< ڑKEޡ[On$q`< O:C9!~W2Uݪ$YI{$柛p@ۮOYE[)d|xx=ӧP |LxWL*g>WDxVv?yX o3_?YjTk%Il:n~7)c o(ԬbÀ@[meG`^ݓb` {ob.2x. ?i,<[đd s iCsi^U?Sb|c).kQ]Bm.h$g}7r-=l=Sܨͺ˄3 9Fxʽru㼮"]FէU 'c!jwiHl@&2Ko[Z#3wn"f9o&X"xsRL" /q~ mm 2b!reXyBNGC,i3M-c_sF{俾*< 5 *uǰ~&yH\|rEIKAAڽ-TݼZ:d)hi6IVʆbu' ܔ*!SOo3)˼lԧv/~,qS*q\d n_䑸^ sO#Yd UԊS5#&j*{NO,:té~ڙK2[h77(C>A̯9=jg87ؓ $ebF#[bfC"QQWk\8e:eEs=Ե^Kk~\d[h!(:$涋t:ӶmRw1O%{ĉIƚ= e1S|BMϗ(!=ANA-ͶtS])b^dXNr:碫e4QZk{^cjfC K0֎%'%![Ikop[;FfMRSuMf86fQճEQj_,Fukd Emdf饪bX85 H4a4Q-cLM3䑂ܱbi&>gj~72_I?`3Aba{G䣿&j̲ /,sZ"C sM12Ēd B_妚DVG)1)Tp)Y1g܁w2_3+"W߮1ټ@7lYJSOe6,}#TaBSg/KVτڑ>`CdghCa҆Ѩ4z!! *{ϻ~ Xf@/\[ /E3⟞4H{jؒ/k6]?ǜWS?̥O[Qbw9`[F}{-eCI#!ꨝkEgGjVYY@bׯbZ#7oh ̢z8[ )i Ip01w-ZpI]ߎ噻x| !n.'V^@ƁUuRdz j e 㔑:@-1G fgBnM|%}9B}f¤B&}9K4JEZcEew*7n5cAAX%Ĥ˜Cz,:N] &)G̳>4Fʆ,F/D/F6I2HaZO4?D?} Fe;I0MX0KӾqЎXn>AX^BToL6k:ߌl54#ՋT)6 B"r{pwS7_=.^X,Ke. 5DkwRZU0]}p;2>AvS?  oy8mdSîݑAP|z0' Q^^Ϥp0ɿb}O\T@&/zk_VgȴxcƄ"-BCx|d !ɧUJ-q{r‘ޙV`i;erS-DwܜrLt |>>oyU/ʝd߉iċF%dz/Ѿ+:xJ_׿\e>JWDw${ݠ>w!\ƿ%TkXz)0O_;'v?m["Ժ>#,y'X„qS[:y<* zot KS$zl`j0[?a`Y 5^INeo)ӗK > mgQ$ksK~C;ҳI{'F_Ÿh bfzn~&&Rj0XyDk*"6)$: LIVWhXT uZg&D9 \Hގ~Nȯn6H5)b`7,!i{ؓ*{pxA,ff(jRb>BVpD;t6f el޳,W&_3_F RYAUԍ3Zbx=%¹kDų֜ry- sdz2›1aGxNJKaռ6M)h_~IB- l}(v I=Uu\Պc#<~zʖef6z?sA4^ܾ]_颬Icbo5v]jܺ;7(N4"{c{l> XљӇX-(]mf'2MLO~r Q@"w|g3[&gEmc\wɔ?/_ܿ%HAF,YgDٯ|5F(+'4ָ VN9bm~:AF/Qd`>dwAu3Đ4=NECR6\-^TBȚ1F-chH u(Q6& 򖝘3.mV'WDزS /(-x 79<5ӮSpOӡTEg) `Wqhlh%V%/o deI+Eƣȅ03QE, SyJޱ+QQeoiYT]4cC-qO h<_=ZgOu+grJ)XȌY{$'MaN&y ][f(7t*.Pvs2B-;5D(>Spᰍ5Kp+&F;H'!+͢l#U_Oq!`?HXڹjq/TgL3ϲK Nh#p"nYKhZmh%ԙo^Vi~}$G inRP #<5uۓU8)~GU X{xiքY2,{PF,5O\ q{@[:q[sf(2cB r 6¬SN).Wl^Ҥ_UYKO`hAIpIeqԣH*;/\չL'+᫩scKZuNM)rf{p*tcr8܄vP PzceȢt )D&hgsWRzs&宺Oo)at@. pAm3fuHgvr ipo>;>X: |)3x#\/0ɖi) ؙd{ я-(y98]h dϒz $$ӃfW\0XD_a(*ʆ<%PO0.XHZ Iڑ6NKveiM g<`=`mF'ODrX%A\ ꂤf9^QFwQh#Xj~3`AMnخ6XD$a_2(rEWlo*R.[̭(>p ZyhH uJAg8waQ;3 TXY)ʼi#HKfM6$@x#c#l1*\9E ^V04MWQxvixÇ$7͘Z,9P*`մg]GEVp;r&p]XcPtYo+*꺒L̓Ds46bliY=38j:qwX_.fڞ2PƏׄ`i*@ R1*^{BAni"H85椒qO` tkIQpDo}0L#M͞^X>=Aw9oի?-P u\ؚvªq)*o_ vyvLm>OkȤ?fy6Qhq b z[1aT /Č^qx8_L I-2sL$蛥&d;Slz_.H;ͨFfkT38nıg|8YWړݾ^ @` B!YjdP7 B>%8σsl]Q8ܹX%OQ)ǷjFl.EtGsoKRK~},a۝u*@˥r,L-sDhJE SyJ(%uҁ ?V|92D^`;Oᶧ4غEN#Lg>u*7,ob&ٞ>AhH@$T)ϙUhBIٻ OxX}Lx2rLd̶Nww1^EJKlNmeUUK [<|+^D*w#H>7OG^_4)uq;Zu麃Eey÷;kt ']J>g\O~ZNr. '<0rتIӦ ~V1U/){ "zx#(!LjAtG,QS(70J=GS! 鼐qW XLy'"X^ƗCVm&c{\hͲ Th%8>nEfDwE6MTJnZ NȾq7/a yEXKjlߒw?1HG|>m\?)e m%5gbT Zȩ*a&Lujʥ0 ,[k!pGM>W+G {O46RvQ40"K80)j#α|k:ڐo+=e p< Dj2I`%[=͙ O!7F%@\pT[ۑ%cxyO1 S)F~TZpx!wr^z/@ep׸$> qBҍt# rkه+UeLdG()C_/3T :Thj;Qr CE[{0Џ>vGVg-0uTQr.Ʉ4w|oZɾK*c L,b#Ȕkưxm̸~4aE4mjܽX& 7X& -Ƅ5veCƋ1ݪlt0z/ii*7 k>7->Ƿ׿#1L,B`䕶?3DSufGrUw{ř1՝gEtj!"R }iE2m w/{떹To'yӒkv  rj^w ?%NоuoYl[*!'x\$ !gzYA푃^(FײMÇwObhZ@̘Țwp Lm )f԰q0B9ڛNEmlr5Y6Qqac-[81qg;Ab>$R[I' +3W6~O ǀ~%Rrzpk0MɢͿ;~YYp$$ 8vi姐@: ;5:ɥ)9t)sj˖SDa$Y["^tӨY_mf%:W%7Ga,|.*D(s W[L0n!|[hcZ2 #1fK ʃ &A('벦i:mb9-AT/7/ ]<z" >r?8PD=g;Gȶ8Ӝ d}VR܆vmv/ę+>&M$u5jߪoټm}I^$͎Nl/Ǻ#`Y/xZS&]!Av_#UX -kq# zdc҈Jb0oUdiK)8aMXTD SL0 M(H#S"bWqiX8I@]`Sk\(tj>`xx#q6 'W8i)j$P-gߤ$}$H <E҂GәbX sO,숞!M2d'?0 Gg#hV "NU@uJ syxL" 7/* nTkqaP7SC!m㈫88iAZ9  ZcMB- X#/:>eUe=ͤ4LuKzc֐廦 $Luwd@B`i*># -#L-KMVBA h ./?i%OVy-5SvX_?9:*껡Rl?OJѳ'핔C72p0eIwp.y=2R.*g ,|Sً0hnq,eV#d"<`ng-4u۫PhH| n% 4Z!LP2KʀF.Ph^47"7Ͷ=+Ϥ@`f?/b `{Eg{Ț*#|!bAg*!u d!-B(_dб o֜cϮ-Ȯ3 j*JƈG1HBe `؄q 1dW^I=%&i>cfukxA;qI%uV6Q("l>9 EB`+X󀒫&+w=-~۔pE߁<$ 8RT@AiY|YMh xвr8xp9J[ֲd=-%@5rFG-V6pg/Ady<@bb,`h^>Aeam&jcqH_Upfj9.>\2ZӜYۧ3k" d2wp<ծ";qxz50<4cUw`lB;ʮF~  #vJx>Յm] 4 L2e;);oA$f\bVt C2s9QO.'%4мY6sIs 3C w;YbUߥ)hkKGF4m›FO̒"oSJͦ_qr&(l&J @`aڊ3>V"$Ջ4$ |g6gd4$ؒfC0?A9l-:  wpM'R{jVD0ߓ s4PՇ[#s:2O"GEֻ#3&,Q3ҷ7miu%SFq WQJfj+ٟl$uA~CALy`J`O.Qi'&;PhיN&RC2;˺`J?uS(%D=9-$A~$$  7e%x鮥U]Zd 3k]43Ӡp(O^&^4Ǘ:oI+ k :\9[HUN|fޛ]HGjb.òDԙکs];`~ 5>V#PDP× -x;">_?))@^^Oa Gqa@m\i!vT_ÃQ?1H2&>hRi|A (0[<;2{ cVXrNpnE7_4 -ʳ(ˑOB ԰C/E d3=;kz8FNyصjC4gton@;jr4.@DXVbD%9l5@j)Yk +f<)&v#D_9\ڳمwUx/+{ɪYp ؈YlFAR7#ј(W Pbe}+*RՅh7cF=*Rf!V-K6\e/B32,fvUUh`!%}27(VV(s#ok3 sP/Z&2F77\{|K #Z;u xqdt3o3)=d42Yb9N&F/lSK4&؂L-BqF i+h~\@X~+h@ qG5자[+ȆO{j̦p&%/O}~:6T2=}=eB>_ZfVTc)E3S 1Hc&H?̝:̫E.B 5CCS~?!$-Fa:CT A[dVA=+ &%u3"pkUgاOBŬL!pFk1͍ct i Ol =Vr[pyn Ky1#P,A$; )N")3B׳{I—fEǶ#ZI?ɂUQ*I>yu3㝎Xm8q`y}1"]ic#6X\ƾ|'Po̮9sCR扣 54nE?,+8KgYZ 5 -5w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/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;~+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db˸HEno,~ f3ͦ.%LÊ3Vv01G]UcXXrսASJ `NvVSxEiZFSíp?bZz/qא*j%)ZB{<֐IȜ:;4 a&2wqʁ_>3x:x4A_Z1S#?ˮ!Ɂ@U2ua("H ˪)-UYt8%owEP'J}(ih9lD3a&@hBǺ/`>1Fwц@ӪCyz)QLϴoe%Q&[ۘuAd(ZסG~69 c)ZY28q&l[sb쌞p32HB0q.ׯݪ؞M>:mX@I^̲wY3b%fpeIs&8b 6wcMծnI"^$-DH }F.L؍S>\o^?)7ls ]s'4܀pԳ7{GgYZu 9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id518B9K' |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢8]D?7 {?:fH\y ѳLGz/HFk翿!Ga{D=!MkPq8rI0:ƎBg&h$+\lmGIwW.6 hU}L/ J6|l3 )w&!8b&X˹ߵkrs ΦL4cbߍ:I`7aaC eė;SiQEكթ qoEY0~)gR>Ԩٔ2 =DY2P Ļi6aR0݂Tӽ q*a3]@V"8*{qnW݈ tَhKGYGy2idҘ>Bր5vYH\@ ^)^S2sc,^8i/d9 i=ЦNrlj#K ɚUŖ;M{=xBVY{/48 _I}+JE6si L?b:5δSl'WknlaQ'H\kY4ḽ*m 9K# THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! pa]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~$-ͨRS`޹[/2=֒\&.z%8R/>=L<_|,|$v -Mf :ԉިI8la`=$1x6( 70ി2J󷼩WA4IS3D5Pc/5sx>Cj 5+7upsͯk IˋGRJEFZ֯G),V;D6XږRϮZ} G+&f,: NDc0 ԇTOJUu7cfܬp̍v?}[­b/S9T^>##EF5jH#H> :9  C}G=贷-m=_{d,x50en$?39I- K{c_"y_Fq UܷsPr.Ԉ;hjm{UD""]ii(m5چD8#dm;B=jE߇ţ$:̸x_!T,`bk-٩nĂA"N׏ӻʡ'iۛ`U6"N`vO(zp sˆ$Qf(}㫰N"A/'#,zc|Mpz Nc!\؅ʘn,@,Q=џ1'%ޮԓSG.S4Uk:jX6+CX|rkɎ`_!dj7Bo_ <S&vzE*9Fj Q%m^AE 5'I3Mxű_Wd{;w_fHvs38v%".ACl1jCZ taI M#Ru-=yM3Xή?K:[A P+9hxՠlG6c`|c]K;T Wg ޜ !'AA}/a҄4 -(uMMMNt6\Ƃ2|A5 \#66/ʿ PO`.1v1 5> J7a2BUrdH`5~ 2H/h'"98)l+d_:^4W5q6$A9E$Z "zFdsB_GΝ 9 SNgBp-cSG%OSGk~2;ꚘQ&djxش*g]:)bX0H=L1Z{Ik" JdJ2`I?bYDSŲxIjD=!y@8,23|+Yhlq!.Tbھ3 W4o\z &bmڱMяyz!ltB$b x-hL~Pa wjkSU41/Y^WB5ќ )̰|]%G rw://@0I4tFbӘ "=y.rl}B?g|:cE I0v|K(ƫ'Y_)Z߲!P/9BW2BhMojcmXBܗw~gE/з->ixNWsS":E^s*j@)@[ D[a%n0o6=b4h': $z:Pݢ2|_A0Y|)# t݉lx Ggwx"2KÖݨO8kzHO(8 !wgrFӼLʬ;f)+ ՓJB&K˸ޘ~yWx8F>'r7]KF/o"9s;Ƌ\[Ip#DcR2~?i'q ɄY"`ON >"kubQc̏ms xX_.׵ IɳxfzȡĂ- tC`Â!={KO~UA],y%gBLdP©`ҿr`kDFӠqpkď6ŷtNxk/P@KgE@B.ǼmD' qrǾfkfN+~҇;4̀^^Q=qR (Eafq1}v3BHsPsr\T*ԶA'缫sq(ZdQ>D2]L#M]vE'4zUb|^0*U ]wwZ]yrU'Pںi;UޖHSl`SGx,=Z]Н*{çyX$=ic6pȪ!J}Y  kKLoD{,n$W2U,*F+̾e3}₽wHE=t/^8klz9,`?@7f^Yyi%JXT=.}8ndu5\"rDIZO!LM8ޜ_*!xIE,q7hg)[qAz0P~RFʍM13zpkV l,SXSw׍G;cawVj4x}g{aoF,_{1ͦezhi*+nKyiK#}Gla@u1CzP2;}[bi !v8,u;':lui5 2 V#9[<+0UJMB]qM ߕŪE_0/jV o- $~TH%sL&:_3-5JyJSKfZse5nT+ &,*^` aLDqԢܨ,bٵT8+bYZˇ^ ffqK;H' (T:*ݟJ1ı89+Q2RI6Z8HfRnaȊ&FMr_1%Ixg1DVNaqוuͥ$ PgYZ}e &ȥH&E&K-_j¢K ,S $*,l@])l,Zk+P1G8*-|8僡r/Td9|}%PQ.h1bmLn/-sĈ i,& -E}D2v{c(bw[g Du;<8S2˷`Xz^[FU1p q'fH;>Imv!``Fg0qs3c[$ :4_}~D0v${|hɐw]J.*|E"ӱE0""POՇz_!.<_M 4ktgq[b>5dς4\{QЋ)fMU#U$n3ΐ lJűvD(5[`s&GԥX; $^14sZmLOх4u[mS-ĸ5pŘYb qLQ廛g,j:"2FC,g%> `/Ź 7FBxV/3tU~&)MKul00mPe{G)``c߹.R:0~6G>ba 4ڨ.Uy^ ޖ&X7?2x CG^X`u*Sb(Aoa*/?U&r (]Fb倬|L~싌j4~aR%\8:1FٷK؀e5 gT̻մ` 9^se\t& ]N9@UUJ?hͲ\B*LALX^1 CdGj-9+FٵUsZx|3X.,lY\w tĬ~Fvc |ޡӤ &t]UU[cDI:eAIXlv͛.}G^594{u,/([Kpfv@_Q5CHx0Vm)<3xTܨ ܋za)5f)rU UH,Qz B[/$Z)XH-#B"OsjA+jhف9X\S I%MfRrb~ b_Ib0u>'DV=$9Eӄ҈ Uq1:w[61HYO[Lyhg̶ۡANUW ]8N[$,6Kjzoj0F?2.#1;^#qLjL q'r'1ɃMXCս[TwPtw#G1nu m"X}ػb 4QW>&Cx[|LP`e_ciL}/L' X'Q!jNk$A{ݪXJ1G2yѢ&{Gz9d Ja,p6l?t4 }/%_w~gr87Mi:l3V*z>k}I(j]箊)ڕbKTDjQLEDee<:pfW-2B$΋{_}ꂿAz!'|Y4g&Tu__y3ӡ!Ǧw4s,w꾤@ 1&W"CfUM7]yb}˻:4\c-5ȈtFJ-(`dzhI$/=7ma'T4vHOhRK>,{g(aU]j hN%q㤙NUBH$k}|=XR[Y) 92KAJ*@i'䤖[+IZqtpէuǜ< DsY8hX ڮ# Rɩy#*lHP"I̋لwnW[f%k;}hS<]+P/AH>q0y,4uH4\[e’>>ŦTR@[poe6xݵ Nv"^XZbOA))8v KB$A @-3 -te*`A ʕrB/һ?6 <.CeɊdYs)a (Q܇y9onwe۴pП!y#r= 7jv~_vYWˬ~[mCġ-(0g4Wm+e+~E )r Ì΍ϐظN9 'z_>/SO#.]"HߑyTNV`^+* Zj5^~hqpC"14l .c9=} C)fQ<^}^ N)ٸ2֓m+#d3@"jC"턣 SmŲI ~11y :HvD%igE*-ecͿq~aFl9{~xidZimV.3C|7^eН[I,iA/` ̑a;Mκ)Re&t6SbANOPDbJ9{Cd"">")Hb:m|ږ+ߟUPwUɊ?*ѻ GqI*<F:왻wejU:--FujDS-:ȦF#<;2#P\F}*=br#0I mt13[xZj';.X40>΄qa)ys6a ]2z*ǫDX[KH 4r:Ώ-Sͮ>T ͏H@ytU+S3P7#}ꎯE["y3Aon] N@"B|%47Zm*+׎eOsH"s6,c|mjC -ƒR8FtՋ.]@iڙAb{cZ!I;O/Y*q!zi}SȓX|LhzlT8EVT?FUq;all7 rhQέuW^N@J t͔Na<8g>.,_ctbSKΖ} Ry>=1&ynA8 Nf*V^z̮o\gqFV-Rj>iGdK@PZ~I]Pf5N:Qٚǔ{/F -yzJU޷!Tے=Թv`VHh`7gA䓻߹H *[@kRФ`b`z~]+$pEJ>qzTgdp@uA^nlϲ7?:[Z߲*ts#pNvpdUr %p φ*E~AŌi)wju$dH/Q.-` .ZY᣷/ 7q?0oE`[x՗-- fn\(Dž? VrWGpb\?ۇtbZ&w_kNқq'q+/l[s7ۿCh1jJA[t?}O|F]YQ9jr0L̵ cT@0f +C${973ĨCCj#|vtIrJcX@x;u ) d~@TW4$2ɣ3:(^ڤҥD@W56 KTc2 t%gT0B{^Oh;hhc7/ NMF>4Ԩ987EEfT;vLsaSna6^£g-1t'$EVf{'ñ eZRf5v6Jƭ>d?Pn;:pyS<~ R\.WS7ʑ baٜ-yUv`^?}š5fzQ&: EWb=oLgg ƅ/R'~(0ffI`k:4^4'=*f:YF )sb4#쀮}cl n{{OJ8)`g 6"\d wx EG+ibdSs⌘$0@&DҊxE흛<ǸJ3rye0$beJjSm( u>ApU4frS=CY+V {+.Ce^@%C9?ܖ=!>q UQ=5rqٸsD\-($6hI_ȺuT*) ÔJw-ꗂM>\H&ooZ M?m½a[7 ր?iOo#go$%_yy%'kY$YU4X2 huiyA+K/ʕ/{pFcޚe5V %SrmD*]PY"sku䅮Be;֢ﶽG-}WA^1Д*%[%%W>ԑЂlBY^_G<~1*1r5?!͕2 b924PKe O7LS`!NL.IiPAu&tyam$u^CBv=dUiK0 %e.%*jL։Y=>xY:XI$S -m sUO#lz?eO:lFò@QQ2F;2؍^gL,_s,&Cc>Ul+K,[B76>|:^>d;?ȣL>o͎>Vsx|G1ښv% 1)~XE鰒)\VgUge/R8'M -I( jIýLXrRI]#/<䄊7ns@LՎk >K;>eH/&׺T(P_?7N; *uLpHw]lbb ɩ#"DO%WAыەlpRe6)cs1EYd~꧳9Q%k&ܥ|fͽX8k}9ԗF &HχEB0amTGm5nN*놙1S!V'-J })?>.K9?dV$HO=DrnEoq~ʊ ƄJXӈ _gۯ(j R"=kéح9 ƙLp6(4pBn[!v-Ν 06*p7E(c+oM5e%|TR^]{[ R~yOlI9M+UDe xE|FḱǎA심UhtlD--4N$x_|sKW1wzX%,gcƱ6;;8CyO]uqyc"k&Vݢ•/p+$ !d`mn>l_!ALj TtC{O8"XLg6(CijP[k,moLll`!2q<``9/9iU3XlA!qW'<cEϿ\ZyݠjrgW…(',Ax]^]jk.P=L?@Yg(cvDqlQU87GXbTpqyTKK>/ʼuXr |#V-5NV&2\Ŋߜ$Zj'3c 7iXY>PwVHq0ry5P0J{[Qh~[w& >ihi$'tZ}&|vANQ=*SŢg}>2 ۵2=7r/ZL7Iz$ObapoA35p"u°'iAm]Gy%4aQnDhlHu~'4Uwn9HF[ +S *\x X⡷_~ 3A'ؚRKZAң?,3U%e:K6S4$1p6z(' T'WTBH,:= rG 'HoRP:'\j(ӹ2U5jѾпT{J[dCnAYþJ9֧)A< SNTYvRقJ[@!o}2BK$Bę^{] 2?_p%{9>fJv "fd v~-5Yt;@=dbc-ʁ.,h%7hFgW^ &Di\S3Ѳ`6ZLr).wDku'Qz7xW7ֆ%9nq"`twB}Yu%o]äw5i% yAT##E3>fq8,d;ď"?7[4s %=;U)&3J_o, ~NkhCyѝaDG0:u$KJX싥jaah=HA.s6'("'Ae|?S!KMxJՌRd blŽ u衔۾JgrL;!%ZxuDF 6 &lY6]w=@̷2A(EylJ #zBhNw_#q~Kw>i !T#`xg屹ߗeaK:t&1X< *2Ɔ](~+;Y}4'][I}IC Z~"?' Y9J*Adi] ]Zl.DĦaKMUή 76}KƨpU xUr'^wnZ{(%CfڽO)~À^*GSuܩJDi /ȼO3B*w1^BKϓTal0Spdy1Qb`Yӊ'- ~Hzsal؇ $& xI[QfP08pDS2b/t(ǢDFs# 'n}xk |Ha{]kxɃ kJtľJdEi" ?:,2ΝlȠ3Pg܅7=%wmavb!V/* k #8c-1r[{Vt'fWkЭv0b_ܝFٌf[_-)W@%d04BA{  퍳-@-MkvUavbק~~!*)jTI|(](4>@8iH٭bH T̝fVnxM\A)]wA9O1e2^>c9\e$Cu>7wk~QZ"rV?B{'ӌ&[OJzt񄋑ɯ} jiZKG ۷#_:|͍qy 19P1 ]uIZiqa8AB/hd?͊Y+RE$14S02m;v]O ͍XY;g[,atuՕ:O<R#*GL{0=8N9֎z Zzb"m7n"1xnof$\P U3Y;\K-KD 7snP"]d~mz+ 6~Yv1U%[ji7je#NZ[0rkEkD*^;+iUE!C}VyXH s .*Hu,\S7,u%k 49 &eIӏRkO+ l=?l\OzMGK+ziK2`Bwzx% ܠ&0Ja 9X$2@ ÿ;vs"~A.ZK 6 k` w@e8d-LC #t~{nYlFL-ajZKDDk^ys0TZMb6 CD$DTv  ֘[B!T3$* :@%<(*p5^uil>4F'R)Y;M2!a( Zr}P]e44\h㑰G6eN_u|JudPQ#e*d,ή&DB-$AuC#\sR[7X_6u[I0>0 +(!#^Q1rD!ya>xnTN̼o jݾ Bf#W_ŮA=8 ъҟ_X#iO]%)]=q/ AuwZ4rP3WRh𵙵 4S3<&,ykU{^-[Zw%)hbbz/y$mp .q(az5x@Z /*_*%RLߝ8Rd]}[)-_!*AE SaZ1N"/9SOr 3Kc{~tce~˚fQR Vs{%׃V#K{mD)jaHTATaQd.i2+mxXZB>JucjeE sM<*r0n-A7JôQ< =%XV^@@wgk*"yw u5?E*dSMQ՗&-^q3l͢(qw0pby1{{:9R);=_p5Wk*}EzY(v=oy=PU`mc9qu1DU9r1D \/:Ad ӼݢEWh1ݫ@8TDeY$DW-fh^AH[BVHvaSۣqĒ,*c'9Q{GS@q̇ 4v{0'#P%,ЊBbVJrsN1S`702Te$zJBʲÃFFN÷a?#-q&J,~7*M1 (C+tǚb_ z݈d5ʏWI]NG27 !C hA1Wp}ĺGpVW:"?#+"ck(Vܟ %\/:UzLYBA5py@n*w&}]ڐ!uT%ˣ)ׇPDwĽ@#W+SOP)-VUDzvf@-׹(ЪS뗜u^A*uLՊ;M]1Y2?bB j8T:IUzzCD`= p("b{rӠ7 ޓS(1\/%KWO*HXIt_)*I :OA0'6HR?{6}eF!jW=ߝM8xS7 ԩQbyGT.ܝE.5sM"vi|T#[ˌ MO-"Rδ#{_̿UQ%r0-L}Sl2ǁl?4,-_5/V ϡr+Zيu_MozO)|\*DG:\$>7i킶ZWJWVtngBG)~Bw/CTu/ߏ^FTS ae%7@W%{iMAhn8T=m@)E "й:RAl_0wYx30tK?kQtdt*#H[K~蕦#gO%+ wJ~_?OŵU"-V)gq%;r8t3d[ε%w*c;J1v!`ȉ' ssJjK>=ƞT.r`vk)O#Nv]gE8PҀ}NqFZ=b&djni0w3{&+֭Tݫ PheT/ڢ"I&sWHjd'>%K !o[`Z/2"n\%Ar;F \c:$ h; %pLK|^fg̈} diJ̷g=U?FK"le {=9p}Acׅ:}wԚ<\g rviF H.eL D|l4E!aղ]ěvP)'n_41?Z?oX ֭ N{j:)fݒ!>lH#3v(˵[(Nޝ*ڿ{٦pL8%o %o닽VTS)B7F8Ʀs 3"g%WpHO#FscQ脰ѲaCc.L53ͧ]oNb (n~mB_TIjuһVփ1PkS1OYk\ |&.\!7e R'DdfA%P= 1U G}G o~=%*o 0<|FiNE]nN|&/0,ci4(xɋ*2yS裡`= V &hu3ጩ'06_]aW~MDA>o''.u+Ѝ΢-zqP.x%XKeνP~Q e~"t"^|PwCBpq`("I}SQم?fRy~Z[;ΒZ`?S%%{X)=]W]GJH e DW3kq*iϰdIERZoer].fd~|5"b'Sj*FB{%/B .25O]@;B}4/\h|IӝPQ%}MWQ ك3Ɯ?^K]B1n{eurN޼ ńuJ J2q+mR]ߔԽhUIM[CqĶ%ٷk>@4OBx h(jةNJכ @%d-DʹҔdR(z xBd!ibNGbOa '˓8ƀ 2TR 1Rljikk#׫-Sǣ,6eV8B ^FoNYGآ4~m0;Ŀ4 4-ȎxS~F珑9a;c}+1 \-,eotڭ/9\isk9O{(kVbnuŔ8p˴@|C{s^0q;oLc5VEAES Ac,y}"Zce gh8^80/3oF\̎aAg΍`>ݦ c$+XVϘ4Nl5Ly"QO L<h.^KQ{ {AI@uծ9]|v s]1? %G8ɥ qZz|͍fnߢRx#~ߵtGتq,5H ~OC>O:p={2y/3mxEi?IFYvT㵚=ʷ' ZɕPe6Smc8 eJ8Y{Z 4Ag䘙V牸 (~1!.(H`DFEtV*6/tAHSDFoR%Cx3P̆W"Hx(Mx,{j/Y@1N8!KV?Mde:185y7d )-5Ko-jo^vI$L>qlil?3$Af6đS=q;۴DUUsȁD}ںryX,ܰ佃v?y1\ӽpq^u.a/lz!h3ʡ/Q\"EugXa$FY&Dl;[lH(#M̈́ZwT<ս`)<5]W֢) ;E M+H?7?V-1r}tfB# ]97Vj("@Oxg'$H`8jlj8xcǩ7((AӣXi,VYV7kuvs z|M\wo0eHVum$CF<ƙen';GvOmR0W}5+Ć ~ğRZXxűI|o/:*ĭ!ܘ-s | :r?Ft@Z#T_[:aYD ȝ9 [xIc>DT )!I{RZmbry욚ZκEogj\c'p,WnSCwH•*uJ©}e {t_q6A1w努|KuLQN=9s#c!Z12ZB45oD@1 Y_|-7)AQ3GeB--:{"q&\ź#-a 򭱺NڜbaBcQ̆ZgUZx0Af( {kd:vTJ=WS#$҂nc*ԧ5%u ?}R1t 81d\sīPaqMsͬXOMd= Au"*=u^Y>GҶ.!Yju.pr1ei? m(~s>jԈ;ֆ+i/-(TQ5PI~pQ`N x ^0pjjv{g5?$8(6+ 4^_\4IR7wk(e\1)lewh^*5=$sS]r\Y}0:UdEFZ&llW"Ju.kSԶޞA .O8WtZY^%a\kp \"e(>3M.W>-\Znb:8t+FEXK|=`g9~qcܞQ0 ¯H|%tK N|ɭ_tVm#H9X:ݪbWxJ^aa%2חiCG{םeqǓAU.U75ٴ}BʯYQyY1v=OvG)Xo Pk#+O;eGc' UPB`"| t I4[Ia|t$_Z6Nyfm[_rzsձ&ǛDSܜte36]De?ncs`ĝg6J\Gx? NH"o ,41 ŮѽR o^v;dwP4ܲ>XKz)L]xCk`pl:ўA3? 9H{A:i qh]nA+h2"*iuJl"GFIGU?e)H(9K+$>L:dQ0$7WMFh 4d%U78mcv4ibyaEȑPCqƬZT},dnKɟQfZg]! č'ź]o 9F*l{Tmm^F[}FIN{< x__!=r32>1K<#!Il,QBgE'9DTYl{7֚S""ףs"a̝0䥇rR(!O$~k4uy@ĵSiKΌdLޏt>A2,>؞e|_T PvhWؐy"V\|0CzM4_ <LGedKf"=:hCJ`IRzs~kL;eB"|#+#` ar⒚6 yg3ʽws>[yk٨c-,O6mpt>`s q}*s;p3u xFL [b{n7+៰%!Ia_Xš]hcky{y(҉3lU7!Nd*JlYSdFU|4o'3nF=bvNp2$t[$HPxԮn[G_28޷L0F G_Ѳ| DБ93D8'Tտ0Q3=(2=Ե˃ \Wbvy)l4mRY#|Z4 kUm俫(׏9H^IAx̜vwmw~4֩,#S,c1As=FMlQ9flKe P,HN:c,N%ROGf/QR]nx: ޒ".Zޱiɓ{Ee#7It)ulJgz [33#F}"SI1*?{k| (]6k$,f_wuYneŦW~@zj87Ez>[-%2؍Ό;&| Fr :NApaJyO[/bL\ٮW\yzuccXq9oB[jU}t\}ۦuKbu:# (icK`׆Dj&zvP0*cXΣ\PC"UG϶ap.aON{WlMlcvH2vTAZq+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H eEQKnhF4} tzb<> &uRҴ:>RԽ )^m߉ [nIuy -%:FUlM%SBr=e0!Nܾe\G _ \֙y 𿭿#qy_Pj^x+{Ȏ$$4tNJx^Vx3[[ħe7ll^A9 j`AmqdnѲ\|Qm|`L|j\"Z8`U ЪQv$`z^ѕgS!%ftnrg=`pDKB6 w))sƛX\CW&iRjY}^ѹcyT[fhuXժ }dйK-)Wm%cece c:*jB3$+iPpµ)/cFgۼ Us-ږ*$h6՝HQU93l8mu XDXfQ) ϟ^U)_dz~{>fTкFz`r ?`ZsPAKH_|wYD;W۲_E?ț!bTv=ƥv\`|s@˔ᒍ݌ _<bǵ||[Y8Z8Q7IS.&|nwWͯ%_r I&ѤZ9g>HVjֺUkWOEhI^gL2D ̑VeɌo}Ÿm=X z/* yE zFb,bDdTNLgaO'VUu^4^Y۟ !r$D!*IAɂvn @T& yvW0X40޳WUVYb'㯕8k仯 j;~V@?V ɞ: $ Rko]Β-rSN%Hr".X?4'ȕL'.,>[vF?%XTc|-Lڄ:u$^@3]"9gY4bjq5f<}+ldž*xSFmvХ/[yc/#uVQ$~Ս%ϖ< L"²(x%psco=7wo`F L[׋sqkf;j|P i5͸_ ;kهJ{V(~O 8W 3Fh32Dn4[q.ݻAwd>.^!FW|O7%QN/cZ#r_D¢I߾/dW jjZmu].x#v(O+Ңl[Z 9H^s"$$< #{s1vtMa{'~x~K'Av2ӼrZPh&e*dI=G B"c-~{b*_ًt$R!Y4^xqI+~5O9j||D UZ ;9b7avLMB@ d)QIGIHtoᠼwvl̐؜g#&$x6eM58 {f+hа3_7zlU|[ݣgJǰ\Y^J"L/OᮻZ\(Y)i+~41 ?(:teFB;T;pߗFWh^ pDͦۦpe#SrE'(f5YvwkOf;qׁmݼJoa[NMb([*R䝶vgue}z\d;knQ!~hL '#:V ߯FClОAjHW?ph4FI*߶Iv^Kil9`gH&lxezaSLQbF1Sn I*n5A7\_|i)CutW Jb@/2 K`h0NxC*Q5=᱌5(JX 𱫘)Z4F|ꡭtfzArYZ>SK'OuBs,X^(=?g*YB1D&s3)pX>捨j x@Yc.=Ȉ&Q3בzU^WI FU>>jw/S_k{ؕs1<eM30T.89CPb !YJ$O;[}U\ݷfk,j}:%|u#2 SYƚlucV><\5ߒk-g$K}LRh#fc)hHp.S9ݓ@fIRHsp}#U)ZH1^Kٓ<ݜ3WYq'#]]jֳGduڼN::nSjQ~dD}Urv@QWG .&ª_dS̮ߓ^sy{X#uK]R>'-Q /@@DԱb-r lLqkDj {Mzr@h0cB(/Vrow*rW$Mz -3bWW&b:OF䗅p /ݳuI $l_,VPJOjxDD ^iIy]+v//H ޅuo BQ=pG%5F͠w{:oYs̾zp^z9:+OA8! 4l rotL[.uFNW~I,ErTib @5%lkw!2'aμCܒ e`U⊀5cEKEXnNs_b$y:Le:Z"܈0iOQ>RߪoCU ^Ӭ=WR[b@2!7I[q^ђ_ aܰ =/Z^y?6殨.8Bg7n{wC5KQ2'4h&VSx|{AZ|ב 1נCcv+WPJrlPcF=T?37%Nkh㆖yݨb-J*,t'sj>bӈJZs{$+;5e>{;f((+v07:w ..4:WUm 9w.ݫN gD`1ވ8‡xGWhp:[fors,g\ 8PGfQ#&wB hC8֤aEX `nUR$βpp"E-]WV’ 'n]G k8Z…3,hnrao[wI:yȤ3K1{T r%،7PeKBɇ2d5\=/+p2$f>!b!n Q7:#Y:Ifܸb*TU(#/OͩL}@EV 5MFm r c)XavFp|@(+l> Yw bT`A |WV$DۂmrS/N#9Ŋ%8. A"G3n[ :ԝ1*t4xAQu4uX A2$Gӗ;f[B_58$Xօ,fx*D<!sl_ի?.lZ39 Zv}=ʒ;4hN#(bVRXAC?U69>?_.텙Ma'Jjfu OJC1Tx85,X8e25HZٰ1‡i] hʑFvETb' FaBRqr[Üd!.:0iSɦCSn˜Χ+2 ,86М֎hK*F+cJ'3S'E%<:[{)n p{W#V3l<גMKAڵKQ6VZ>N3qGpf S֠mbT8^+շ =u#2sܢv>$% SU^xC qYaayWz&Ct/LV1oyJ*"ktĨe+M[ȩRɒ>j^ع <}$2+{rO|->^ (ѧh 3gMgB# 2,fǜ\yc MNR_7|L3{+#I7EwD}6'UIG@Ij$d"h"(+u^5)/VH7Iu{X0Vh$<pkwu%I2T]Pnش%ٗAn ԧ^K)7]m Yݳa%>p$.vXLBr#vS y[]*q|*TX,k>;YRno?*],!D9c@%_r1L+m#ju$ yL s;js\ō;?x9T0@pފ Nt[zL}9 @,ɘwN@k[l نqJ >$E?C }&l.l89GvB]ϥ*ׄKֽ凜m#JFHbVx 'lUeDz?lB"]KtSrdr 0  mɋe Q#1U(2x9\#{DE\(6 N,P9wGT2jNpؕ5 {A` ,&I$xo-5bB8gyv4/þ`4eXys7m ~ϱשb@pKo]oga:30="'ȅ/⫲+dM+tI!Ժ׬'w_ޝ Gèԙ~߫:96.z_)-~)YmB׏Rbaanh!&_V q146~D ">wRP:NU@[㘻Ş켤հ~z¡ > Io v)3[Q_O)=vT&b,w_EGtW -'P~j`[%Cs[-M\0(,fu-CUW]N)"2ye "ZMW㉄99ڌS}'yh (yY简^^ȡ4ͷI;' J~+9v<.>Vs?G24,+j6599& ?'e>[HQv㻌KuBGYف)c\X1‚ܫ1;OXHPR4&qlO { Fx#)P_/oY%<.4_CjcW{`LJ']fam+yMrf=mD'ybMkxpD_vPczhC נ %[х8UAxX!Jt ҍgˉ;k݌}/[\4/fVRh~9n"є?5KtFD66rK_pHIsrѻ@8I'+:G̑mQ{r)Vwi~tm®On  *,~b~\ο l *X|."/w3sW'=l>v)%Dg ܚtf=pFkDTe܅8btޜ&ч(rf}kVyKz(* ;8PsHY8Xg3f҄O 9kC2@ ')8,E6ߞ1Į:,t2It>i}{)y͙U vʐ9J2Xv}8Lz_WrpѱES-쒠cM)-_Dck)_fm @+Ͽ&S}Tn?YݝKU6=`&Ӧƃ1r $ic5odHC}S0xcNF=̕a$RJ^\'Rϳ-pUl2ZEWiCՁ{w3˝*&k$ [SEHB1M+ &IKInrK$kۻ?lyT>DqCFm*Q>n ՇlMӖ@R;:x^|O/0i?Հn&Oo¾l͵aE=y;]+'\`ؚuZ޹w2oֻEK[L/#GFƩʔ3+4P„L DqD՚'XPLlMA=V>5lMaVyj=%Bgw𾰿MA]5bfdGkq{US@lӀ%yC埪v ҩќ09@ec6~bN8fH 3N-}e쩰Z 3s$R"dEnxxy(;az&Q)w^v;횷07 |y[#?Y4SDltY-MXL{,o e n8 ?^<ڴ`])>(=_j-"u+sC$ =o"(?KkB +| p24TJ^ ߥ@ |SkJQH$S.3!*Zf% ۺlA Ĭ~96yO?r<#2GÊ3slt1 jE=$H)C.= hm"]vo"\d>Aa0[gEZrx+2GQwoL‰c ݐ, v %Ũg)JXEMZδ@X-0o".hCʡVD!CK >,odWI5@&ӕqq}o:hU{~FQjzh'_MEgPG{%8c=V# +i(7=1< njqA_gBv#HW7 kTu5PΞ5ʄTw}2/&y[7ڞDȈ@Z LR ҂G6Uع7+׫){ ҅7UiJ:=ܾcPb@nw#^(k%J6a0~t)U™)o"8KQ !9TxCzl3I?~7OHǾ_W32 2 uMGY 9Oޢ"? s0#W$N(tmZJiM3%anS{#͹7vpmW:ǚt`?X۝rj>{wRr ) ۚ󒲁)a/0@?穫0iN`LMPR+3LwCPyVM0(Ħ6 BD iO)똣l:5ЍNcwlW~O̷|('J< XOq<؀{.F5^hlcVh<{PuOdj0XY^Gr~5۵QnAf"IX0d!A?')3ω >'zs  رHﶩkpeB2|ܯRvIͤO0pHЙn#xתH?Z|%nSip|q׻涄 =|+&iRGrQ9[ cm,Tsu]%uD7L; D}ʶF f3ovHBӰU’N߭p2dRx)HkWeVIrP?'Y$Vq݌H~X$yV#>1s$m${xm5'Otl誥NdZ>9K(× O|=Ӥ}ahI$C4iQ"tMvo:_2WQdtt׿n~[Pbu$k癙O!+#h@/ u9hEnM}OUI{nW;G\ob뫥pn! Pπ7 +mâj2QP*ܒ(Kw/hX|u}cc^`,WDK'sWݗ.8ۺrsl+I;dEٲ~i0 G.W)P(R 58WUiX(G8H1j墧"l\^QaF,}1ag;=V" Q\3ʤϭN΍/>%Ԯo,Iek2=܍\r o\ 팈k#tE&Sw.-r-2&`US/j+^[ׇw{`YX`!?<:#S džʁՙzŇzjCXw/hasu-/bn7~թ̞̈IwѽK5hc-ft'tYZPGDl2,JzF[WW!e/{)?&w())TzS~ 5OV(.iO IHB121 x21;*KA^(\a# 0ub-ks1<\k'0?F4(IZd*P%Q@Dq厧Zr2鋅-_} L$_e\#tov8MJNpE^vj0Ķ;(_UnY~~?'QP14LghO`(Dh2P0-V$6N ́%Vs t}/1.%l=Ke3Gx(5#p3"d}"Dz;UPOAs̮O+tC,o#-u-V&5^J9 ȥ(L(r_@Fxf{$I.TὝ`\-6Ok-S9^ "ř$y.Ag OP^j, Sp&V:v -KXˈjF\Lp_$끀w9#l7R'A츺-A6Bp'1&:.qB lzk. *$@RA&JHs d8?4.Ql < 5\^:*'y݋q&Yt&ʼ=g<"vk؉3i*G ch, 4&5y 2XB\r1x&=,9d2,`r?^+pQF,J1I "[p:J?zCl˹kQHppWZDWև+g$,ҍM('0e&/[ݠR葹l BA%%ÆIɗZw!\,! .ZØL8O[T3[R)eq 4 5I+qQCعy*`8Q+=i#bZyD3]|M]uEEαvAXFNP%ȧ{% Nzv~H)5ϺiGjW$\]=wWE& 0k\suv`΢Hv܋'G ֓S݅= &9bOy뇓:Å6uF[lj, VnfAKf tL%eْȄv9a t6Գ,o@,HDFuɽ1Q"B{Q!J"{~G^x7zmLklKޭ4 Tr rEkҦDIWekeU4>6 9qA4²"xFt|cz2_#*\~ZvtjѡmJFDy"^\ч2}%/t;?l+>*Yf`헻UHaj>L P Lx8PdwSD糗WۿQrk<^W{w(TFH+'NQUJ|pxWֈu@(5VgZJ2nQiuG ϶]4[3ܬ%.aF .AOguF',>FFJAԒj[3D ǩ8b0װVߔ.De64`WPw\^c@wͼ]I&H5.3rt`G(x.zKeYÂ_xc(Oĵ1_QnDQW3ӗƲ_nk媦aAk :}}_?j`~uiBKW"'5*?)& u(?,Ar X*"%~ym-q-('o4zjzR%D2O T=k^3+[>psf R- ON#>_Þ |F7RatjkkB{ħG$ks3 pGL Tk2k:;z=_<|'c$Y=pc fL -;*QKgr^sGdߖ%I >ȻB;2cf4_Q-Jջ4Gfv:#+ʂ$;FU"m6Gjm5˙ja5ܤVnB ?5hG_rw@wp.MZ"-goC4 HVPzc.:OGdB&:^OWrS%\fQQ*Ғu4ۑ1{׌w-3>{Bs@[U  %#q"m,m|Ivjn|oWѩv.d;Y| M#4ӻ{m+%[N=^ʋ~ph]"u{ڭ7.ǸW7&[$*'{aRr㑛XؖZ:d]K`kd lYtlDG!DWx;tu5;oW$`YŖ S{fy,H9E,J#i8]tS`R6Y[#-ñ+_5h}'/`,?ֱ'wZiS1$둻Wn>VќS>-nReQx|ʇJXL<}~YM}4HG5}4JOjU̧>]*Xĵ( oBX hfZg♚˒%M 12rbͣ|M',Pn[W" HT]?*sRgNUX[`3{7MׄV?88)˕(;s@q@(\ifj&l^ӭQz84 N!Gy7gV 5k}(AGz1pRhTD]6Kޤݖ dh,nv43_J oY]໑eA{A$6C4 t s+T9G ,kbKv治hj[ ]WD^ܕͭQBw1uTLpvw > %sijt!G?+$}JL%S4f~h9uQvx~ .on_i;-3~[0cBh7RY(ކ z/R:)'3w͗ȍ,%('(cgtu:v8(`Upx}_.C̓SjNkiQl( cAem4Ep^1lYg_ e7 BqILJOGaɔ3$ACA/Φ$4σjg-ϒǨ_ ' ZdBNL)?#kt4WwЬv萟, ̈́L'ZL6t'i~DD@R[+#_NL=UUZwFo@ 1L`wQ;PIV}NYΌIF񝂾ΦSg,;6 `cx/g9K J(\ =+\[Iyhu/OEKiw> >iCQV?.,WUuŕzd7LO{͕(xG&*}|;/Ew:G~s}fؙ"(~J^ݰh8qёq'@lUfZRe+FcXM3D>i)aIM)99#V6͹v`li#ʰ}I`i![]#UiЊdi۶':4nI~ͱnWZ/9գ**%ֳԓ$&6ٿ }յ+b.Q4YފtwAw4$Z?/ o^`2v0+YKlB6a]IDK9RUohyP e\fs9`ygl-$_BkAۮI"Xlz Hb׮Ցa#OUCn(u,S;&Λ>4/I Et~X6#/g=&Qm]tc4Fy72K{L,٭=-ڙHCпFlB5q_^FqCe|tY<l <Պ{1Ʒ#"|| [~A+w/A a ($4gT9Y\ӄDzy~Y3J=klc=Wr۶l&O` yzC'mK={zSSvO3 cOqcveŖէ.e= իV̱=Gެ jf_@S 2ӱօ꟞ܙJ"07]xs*z7!U#+T ղiPV 3+h" tۣZL/)--d2ɈceƠ)AeLDE'ޢh|'&Id3zC+a!퉑Z?fXi;,0 ag# lau&GjFL -{];%E*VVsk.{*>+<xǾ~cNXmJ.B.ayiins-8rB?+Uۧ\f'Vz!Q:BKM*ΥBx}AFQmrOob/ǢD!E',eƳYr13ѠOb6ٝ3KqӥPuf^;?C+YkDnfBZRfX^_ݟ|%fN{by"]~"Co" CpHȰq6{ ®ո$$[Oec ټ\*T3!XpVYJv.ZNxXlUkr8 D@䤞k;)Q1I\p̡f6 I~-l4*Br"mƔe'"ܑbY2K)Zb2$uH@'faVd:΃4<ҚkrUÒ74V }/iu R`!{Am包Ҟ^ll3aS- _ lz,+׭z'z=u؀ѤLI /S$Myh-)&=1/ފN*!Pi)܊{Y鄿Q tzF2YԔ44`c'u$ dk 'HS2BfB̐@wCcMJq7[AsZ?,jҡe2%^=@.-doR<"5{N)P6k`$ h^D0wIpPoD4ˬP#;^#UaĘFn/Iaq/D &AI0ϴKO7H9E9'깤OE+>{OBg*qֿP!eu3rxFzZ >ogӊ$l聄o١l|HHռ!7$g)A$ϑIUWثEjm#cW/W?I92pFkKa81m. a[ 5h%TO|6sO.gTΆƗ (:@V[EӂIp1#ɾ}"ՃVxiR#q5>A[X (ѫ8;ԷA{@QyL3vħ&C9ַS-J!U bQګev aRLU3 [uӺ Pi#8CCļmОVt;TIvMQDɯz+OfQlRL0򄺲Q,M1CHlDzV RENGd1aԊC]wcq3ͮV񝑁u7.od/&U fjREI+\\^ 1ZFk')r­}mzY:*<\Ǵ%bu٧} @.OM]_FĊT "EjJވ`,M؏7d { +:*IN hoyfb_ Fؿ7܈bQg3 OhcwE%b"] Ô/?5+!ة:/KILa@V[<38Bf4y߭gEW)z?l4gPjG,5F˕cx<|9bγZt_SIUrL 4(t\FbQ$ Ojڳo$* 9P,T7g ){&|"VA|kڹٖH(2;+DNqD^ue Ww*F($r!Tv-b* /5hq]3\ևVe;ƈ!cëXjD+fiyX95ip;ۼ§h}3* !>y)ҟd#4=غVL>S ~V2MnFOkLzb6娃y-N(fA Filw k~55 ~ C&rg3yyӪ"=q {6ЕZ-&Y#$:9d‚pģf{'䉀!S,Gp⯿o%Ry/ƙ/SI%Mq s( ]ִPIZ+c)[7KYq&d*56Af3zP?b,5߾۠V>Ϩrw|"4Q 7])ȫ%ەf6k3qIAӴ˝EL

cŐ5ss`)H4~>>Sy1|&G]loc<G]m=:pU=)ٚ@;䉲UL ?\02 dcsB=}*iq;>ƬI7=}\:Btz;.ocJ9-NbXK@>QW@BXJytH\<(0#A#,QWv񋳥o(nv^uCݤOHLR@ Gofykxbm6Yt:^(HGs'tQw]w&Tռ!}^IG,{%>kFװr󺢦gض?)h;cyAl[c?~~`7yr.~gf#%Dov3C[>$T/@ӓzM kdeJ\pLaIى2ԇ\ h7^иb.4'M 0rF9!*G^i[< m‚VDjiyOm hZ@P0l٫g%P] t9+7=\ uB`J_q җhMuWQ֯)*j-JEPUF@ c8fe#Q/D~nԗlYLrI8iijUES^^Ū]5Lg]ѧIq 8d_ ý<4P%,5_a];Ax}Wyiԫ!vHylw|&"/a43@~SBˋ(E xIGϗ3 ٍ5݉hXWMrD˧ iQԾE&""1?#9PrPZzlw>N1?\0DOb J:dy"Sueg;rs-}7~,>ʗ͝Wۘ_ 3H ߱bv3!s^VH0$E\%e]S"S wEgS0BhDۆ Hкrkސ&3§soG^&_*6(* .${x8f⦌1,a*Ďff9퇰ʤu>hFHsBv9IaVOm}W(V{Aitm0@6zdD0MMp Ay9[/u٣m֣Mwh"N fPx>U^8?`!rj/cy pYďF8b>3$ڀjEx%Yw-ݘiqܱP6Z/+DI5dfrѺ©W^Q9C2' {.8p:i"4Hg*k;f,}pMjfbF4(别5-_]m!$,3Oѷ͞Ñvl p+2nYOcr`wf?@-:_=IMAmJt?OIF:E_KvlO[ItB(B@5}q~i.?磖XFR""Wrim|3^F܏7^Ѕ',.'Sݒdr8yv}!6R N> c|g9}Z! Z74T\b L3IyuKAvw'M(RSeHaƫ.{ŗ֚UXnـУb7c7UWOO7k[ ˍLUqXFQ_{y.3> 3)q ?<̮t(Ub}fMiϗeK_gdn} {&C4È)5 ֊c,s(-[Yw:fZ4qch;P=gMb 2 E `HDԎ=.[)(` 3u+`-ydj|rY'6+tА9IQ㦽<fGa;:G~UD>c(5y:q~àVQypzc/W' 3 C4r/=#e@BѺLq\(UƄC21 W$>uPU+4X$\p;]/Y)#.'ZAhҙ4ET .|uW.eicfٻ#.ir *ybx` AQ tk &37v0je7)-VPCj0/,.LLoٜc!t!as_X"BӞcj=t/,Pb IJԯ{|OBlRDT}l!4Sڼŕ`b^UzQxuvN=1¶9\!|[ {;CZ/RwW8"3 ?g[,ysY&O?ttQzTA?yKץ[˲Vd."@X|ft 4 }+oGK(#o[]$b\&(!2)'[bT-E4$qͿ.JiLKIVjLxLנp:%Nda}ўCȢE?LSٻ{ϰ/(]m2"͈ͬmUEHIrjM}hMHaQSz\U3σa7^x~~SQW۵ZG}v } !R )X54vb\Q3֏Po,uWBLӨYxZSV%dk ?⣰6$?w66dOS> rv"Da߇} D/(=A*qB{Z,{+G-o蚟-+CC|gGM/0ybHI@q?_4DmWқz)r5YۓU_L a<yBQrহCLBJf .8˅p2|[}!3x+ < in̅ĽU)/zPA ݩUA %~Q< Vw)qXan_nma\MwtBsݝB23=yx|{Ho=R *+E)42Eȵ~#qOP1ز*DKꡔ`s EϳAH'^YB`qq7{>7 q}PfD&c WA/5t#Oڒ@4o}Ix|qni9@Z]phoLuUh:鹸\᤺x8A_6E'duQT]uS<)R|Eb<4Mv`W ',M,"#0Ye~랅HNu[ʼr*ZNj}:rN9E;_{K3o0pk0#Nx]Ao+v&(XXv j:daޮ_.}%N'U ,5KyFxRƏ s+YMLnl$RV `Xm]z֚726]Gh ~9y'~ڙy T  gL˝8b[?r,z9!c)d<" i1J]c&fu]qErjS4]a׵8w bI@,;J^gʗm<\2WyDf)/TLa$s|+R:4 uH2)q˯nB%3N2mwtO? 0SV~KNL<'E(gth`t`ܔ4MBG>* fWr`}L*:p"^fY!0W% ~z4Vr(;B ;"WF^JkM4lpT#< EO<vOM)*[tTD"Clbs?oǢC0?>'˭HeYv 'HnL"cG7q05WdCݜ!?*t.ʠWm a}nh:d3^2DurHnFxTi%O_tA+hR6 i쟗:U`e >p}2]> mKLblo^>BEF!4Zؖyc\_ѿ^y%}ml94Ej2aENXf.iXwIveQ_+ή%TN,@ ! E(UoJ5":e';ڗ}pȼ2~0@-ȉ jEB EC1Ll^jg[ײgWrѣ6Fgڝ'7"{Ǐ`IhuB'0p`8Sm.e&k#Mh*&sd 75QdIZ =d3_ײ]O1g]tos.m-Q =&TM~3&N$tW1z>?h{3n'uP7HF$Jhja A]<ފ}_'UJm[4DҳcŴ)"Me7_K$44KcgV9(xտh2Y[ŇiEko/xA5 ŤS|t2^F q2ǖy#n:w;J@'R\K4?s ?ox v}Js0҃Ҟ%f^NOFng{A[^xo?ĹGh1<䗠6w cg;۴B$Zh٧'%PTW]: nfĖf"8lU!"9I.Gl*>n7N; `[]ĐCJ΅I:@e侭v ]hk]R#&H[cm' ݑG6~ _{$e+CEV⨡w:TdF7TO{VhgX/@?5rGdЃ>l3p:٢efmd;!  hJf]a1o"2"rA vR`DXqп[L? (QW!.NAWyLOX6yO -Aֵ$ΫhC8q0PƑ}=.PzXkQoڝiISh܍ltĭ٭]Hpd,gmE) -t6Q\SKLO!cDDRS~7:GlvKjHHkeI"8" wSv&ޓ'o1[5pw\2!m&(.5Ӏ*t! :|BXo͉* F!}[$'g)m 9lHn٩2SAds5tXC[]#M;VeЍx3Bg(6C=PҲ{&K }Z=up;67.A@GMyTRGsqmV w^]~_Ǵ?ULapf4br i|gWF@“zщJ$b|S i>p]TW:1H+OBGsjvKӀi<?0F'ru}+R05Vgx!))0 =1_J܅ulmm;4YT3! j3HQ^/?JC8r)75b-$B3cS%Pq_a=UNoN(f2ibJ*J ``9$w1lޛeW.8ϜgYZcbe5c95738f41c4030bd8099e7ce475c2098593bbe278b232693c4457b48f35ed313988dcb46ad67 c4435670593a15f412caccdb28e899584112224b 748f13571b33d18c0ef1a656265cc827cd376819