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 22&9~< ] HOL-Datatype_Benchmark:threads=6elapsed=513.307cpu=1927.656gc=688.2367zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;z_&\ק iooԯR8(-FuOA| TeFO>. 3\l< |̿}U8E5liixH\?8: +O4M֟B=jH8=2((ϙ[`IF`2!:1 . Ctn;'"QIgρYX8&P;?s|ݐyCZxM+o^Pa;V"DW#iv[}v| aYH d|#vQ㡐߽: EfUxKJ K5mU3I>eřR5Vǂ؞-"ɊÃ+S ]b {u ᅕ=;PVھJɁO g_ϙVnr%YgԴ/ ?$8oXGmy=PV9a Mm5\]"J;Hr|RQLm.ux3l{%;+]$'Id=b;UO2^=M+:P/tK[F7I-muЄD, A#I,f[d3qE.Ŋ/f8JۥtV{HK/q0Q "AuLd[x"~x+=1:`DL,H("10s۾W5PϨJBUHЛeNxHީs{NzYSI9YQ6'cS`^x@ڏ4Mrޥ"ɭf;H g,L HJ6]`}Xh ;7 oΉ2.PAv!$>&0tgEh>baSOSPH$uX$zhv\M;+ o-/꣞-@e%7{PƓ',p+,lwv %[3tvU5_HSq2L-QҜN=A'YzF>$$;r B&R['n06d&<?ycU`6Bm"hFf5w%ѱlzWG0p֐{ 2EsV 9 HOL-Datatype_Benchmarks9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id516N9G3 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 DW L@?٫9_S,9!,0 iq>X"tzWb8X_ơvX) mo w*ta =2l`h4x!$c1+LG`Je.!t:&0=aLb5vw[Q6W}WyӘsF1w.p7c2nľ; A5SϤ~C;ilnVsGWAɈh5!8( 5p w?qȻ]mOv 2фO̫w4fFO]Vce]T$\fMY}}U DVpSQ65ȕm v=m٢bzLŮͨݒ ?i%u`} VH{At'7#m2TJ Y` kĨUJE]P- rOI+{2IUX (鈇`dQ+>pAS*ۉWr D۲5Fz6#6WN#!j}@5nbch+Z@;Q` AXpuZ#MtːR2f3{;Ƒы:Ƽ5$\fJ=OnTwPĻryD jQBHu1Rt4nƁHcl:\F ]JozUE(uKVEDp-Iiڻ1BAI,O: &um*Zdu*8`͛:U(fَ[pÖd[+10ܶ%:`jc0jgp),CJiIVF[6w؄Z;/)z!hnBLrͨ0a#TH)Z]v^zskT[\U,RKFُ-ֱ-oywhx1gԯ ` ySQ"+368oaz4Oww5^[.M? U*y"ZVCT%A 55'@-+bH_T08La~*it"y{+ ALO~4rg|MslC"h>'$T3gDY>(2 *)1ArŠWZ_|apU'"è)u.]-i!o7fd|I'igǿmU:?x11F2&yūrL=Ŀ9^/]PSm Y?Rp &9 %[:B#}F,gVS3vF9T-@yDZOtas뫌@3=7GR 패G׃|溭q`.ZDb~yf7!WlZGwe X磐D0&.GEhXW%sƦ,@m՞gfh{眪l}8TB A;X`ck;xIb #.Q[ywp:]Du$0&_dd {r̢"X1՚`qg I2wg OfGnӈGBk<5f@PoԴۦ4X7c`VUzEJPpY09fr$ol7̢'Gй5U<:5L/?7?.Tw^! aqOk5$u[O W,Xn+~6Zpk7{]*Sֿ5o}֋}u.7^ "[{$-/SZ+'y_AAW Snuēx#Fhy̍/GrK71$vxU eG^ܫ+_[[(x3&k8/+*; ~-U^*U85@194\g/i`CW7 yxK5P9Z^ueNZ%lSI}ܴqjxd]b KYªmyw <9A!}qPJd YTA2%OS @(ӯl9\YM6-"90T#aet$I8]w][Qj<#J\cJpjELyt/)z* ws=DfgU@m-ـ3q_M|h(X"u. ЕbK#~VxszGNO^E 'mR*ҵ]%&ؚuēz'w1˨2]f=+:]@v yW09E*8J1SuqE(8o(*5bzFcnl'0|EZGB$Lyb9EآXV$=yoJm9&e}S\¿+Jn '6n͘QD;޳W`%UO?=j"+ y$R-{ݘ>`iS9*؛B" ZD~0[vbj[@Z,}>[=&|Qt#Z{ z.{ʩb4QGǘx7>w4<"9iDpd,ܧM FlEL, , dY"?כw}OBealO7 t%9;8.[@+:-*IEtCyvZoJiw#+_r?7E^ХJzY' 4ITܠ! ́|Px=?pC$RN!_g$Fv~h"@2wZj-n.vQ.2a.fDZlj$ -#XvZG5OܽpH{1 Fk>;KSW! uu|rC8BQ/=G$2dsm Wp d2kFJSݻk;F+]|d-˘ޟRWƺVPAa$0i $c!O6{ת\ꂝRﵰLx`8܀^,߽ ͹XG\>&.m{}棣# Ry48顫nv8K#A?;m]r5Ip;D0^9ǔ@_Eu ݶ,zXJitZ;%ډa`{)i TCh蘩Tj4DzGQ:L}~ԃB/qK6\\' H-E}0~ xDI 6Tz2Y9\&ajgl &UANit7[}ۈpֆ"&S4LB8oXr7AZom%J1ý?Ps5qf C`cRLP{VS׊2w@[@(:,~؞_Cy|@*ewo AGZJaG c܉ʃ\, ᕬ"ݧg5|iɢȋº?M𲤨mâ8#D@jl-h9$T†Rv!0Ob& rbJ\u(,,3S:_mF]ѐnQA*- C0ퟢya;m^"M*EO.!-L "Fl >'#+$; )*Ӝa ~E4Ɏ?Ԓ K1{*]sUƕx+,UHr1SI&UBdw:_(uJӜ;3f؜z >|5ASu? mHP̞]өI;݄J03g[$o{ ODDn-+&:@a XiHZD !.eekdI0Yͭx;?n[QV?UCk3_uomn˩" $$cuz{U&&GpK`RQ{D.H&O Sta4x "'Jᝁ?;ԑ>7{gc)[:>9 u})="8[Pl&l20Y~:`J!3]Q0V:BZ%SnU,yIMt?jc—eH2R4FY"eVLL#LBU%̬W9xIzń$)eO +&-Ae 9n=axQg??n$EC0SR+K@ &63b+ 3:@M3'jւ}g;;vaYX^ڵX KFP57NAQsډSW)yqt|`8CP{B/}Of)e"?rb\FpV. 4ڇ'pedK'. I%yzf!lk+tnK9?6j ->,xX3i ԅBp_pu40O|JFUok x"Mi`lXSUvG%{!C>˞UtxQ&`Ck}Z5+gIBs=`&P}7+%Sn+<}BOű"\_3K"؇K%k^C[ X&W%x[ݫ*o VP@_LqN0x(Hi C.Ё(Lx **P"OmP]Wjo"jٗQyWR@1]T^./"Nz>Uމ{!Y4sRѦnHk k-i|YS7hg;Qƚ>ؗQꥐ+H?bLBvd>zS6:Ӽ/BNz9as?J!96mcvdTx;)U`c1) RĸKZ\W3%uiSTv؏vθBNO䧤ܣY޷GlWmiu0M&d"fNYo1a&;ks҈⦯kNB=a?2YoZdHh"@/=ToZNc};Z|E 4Wi,06iMF 2Io tW09uH.2>OqU>ef X+S֬!P2h&,*9;j]TK9a\lyb$)VZʓ[X6 } >:Oh,5"K8ʄ NBt[*)j9p t*^ م1{fot٭S9@Jk|5:ǬT9`zӰL5X?k(*$(v<Uyw1/`^twLW{"O@ʪ xݹQ$2*/nvvbt(}fxÁQxɅda. F>(nuG[%0'Dap*VFf#UԡwL5%%UD C òoiJT&@E<\'`j''U~_Bp j 4Iqm?6GLj8_%Kܛ^ LφFA:\lVTCDI+Y{ukdޚVg00)}6e@Z4dXzl@p9!gԯ,>:ɔqu~bv2cl,rl3E- 04؍{1S;945+,/,LbS@T`vLGq<,/_mZ KZNV܁EpT2]-_{V(PƘtrTK>^mn3sM$3^ufJKhF[mxlڳ\O-_ȸxX!Ȓ?kSA`*>Fun B!t %_KhZO_3hȰM}gkg{[tY ]~SyP\O0 zu/k][q7|GnJ5~9+{,0zYV'̫ X7Z-W"<\! {BlG9ph1`Nr%d &j~!(ɚOaesVOm,&bL,IV g4m~>1TKzi\57DTjO~>S~L8^< j=UC6V_a4Z'm⬾I#_׷/28ĎHBЫѦΞ.QS?Д0G:=Mj- ##HݽbqOՓqeNit`t&'!5\qN9O E_RIM2g7@`='45m! ,4< 䈍ы-Pdu!01@u[,#+4Y^5HZ׸QllY]Vªo#\N0Y, Msg>OamIp\ZMZa|פS%犯T蹐ѷ.Oep9OL|S%83XVڌCm<.pz X.B2ߩ}A8Aqt-X™ɕ oLq XA}V* Twb=iy_YYm:RpJ$?K{sm#c㑉;XhdXIi+5v^<ȔȒaZ:Uɨ?(^)D9e ys)$<-^_rzП ^ 9ыp zșڨD.9_8&})XֶGpݰؖFmVl ńQ+3&Z/ -ClYK'cd5 鋍GMY*eҮEI27F/+={T 2R5I@xŴ`"yc~Yx\nB'9[{gʋeW͊_e-Ș>ţ#ZjM)guɀʹ7 V*ozJiyY-1>qm->RX`1+ӳFj521# [MZ٭YgPIp[|g#($!,f9Й?6ObvٷCWOلYAGuMWvIyKe}KrbHe-cG*ĕx"f23(Oc;˵25Ul{;#A !nlyWf'^-λac:|([5֦۳WOr+/pxHbπ[v "a Զ2 y)n*ۛA׬ѦjC .= & t!XLVTDoSx{Wt;9dE-nVX`b,Mέ)Ot_.TĐ8x1pN@1 Sϥ$#,u5q]aP%h81 z҅u vtrYklgTQI?^켻G*gp|r^.Ո2qwC,ZPKt?<ROBE 3ָ+! ގNɱq#f39ձ"C \f'AlĸZX}oŸ3v|YuWze0?o%ZWJQ4UiLtJH]1 }K0{}SWdZ]sHba11Gٰbp"z5 ڔhTȲ HڧvMo:q\kU/>u (8@[k܇'/<#zHńZE08?Ab1WKq:6dC (h}ro(i4ۊ*Ϋr HwKGRbeXxq GX3;8߄*; ~J묤&3P&C/{?4 #A#M/(#ȓɃ/]9#v4 F`` o$^*LrַPAp_ybHzkЖs, δ,;&7WIGI 9R9ԥ7o i׷IČ漦OAіJEf*l]fh >,9^굧EfGE4Xi mT ʼn1Ray?ɢQ*=o_ϻVhǔbafp otdk5F>oֻAr;-͘M:l5Cuw&V~ oL2O<-rU hdpLTP3Pk{C#BJcٻIc qnӭv?vh1pʖьKz>KD\_ Aq͇QuUq=&?[vP1GarZTWLj׭J 0*ajO{?c{O ^yj"g ?Aϴyb%qE+)!bF#+J>齑˸n'qxNMvcxcA1xݯ+I/u  3\T#XsCP[gMƖH/͆k)}H2TSi ?`8=[U &鿒K`V?\ޮQKf=@V1 =fl:ms OYd! ^9,˿<1vuuWA8 [mSĭU@3QKKL9 雟:xH)FMUIx3YfNh@ ?.gK F=eJ@dv?_%;n䫲;SU2v/)q! )f~p#r( ;l$0!el,!hٝ:3Z`޸l t(l5nlis͌QT $>K-E u[ƴ(@cȧ҈\Ic* 6pl/t(OF8ΉrC]#rC'5ʨ_JC}r3!;ryV0Ly\}^y"k^L j^Xl8CZKB$dnc]Ք -j[[bkLzM, H`_^?\W.}RBϿ"i&7>MU('#:85=a+ 3˸و `a et(E֬XOW˅KQq~w< zy0GE: 4 7R|CN21] K@Yt)aj6d,!Ts]ѐ '2tp C"a&x=UZxbz*SR-;fl1}ͮOi En6vH)ϙc4K)-]0T9Pf`~*I*hi wFI9?y7U ϾeF-]N4x>QFX*ə?z?C4,XGsWյȅDi.ʁ6Cs+WWpR8 @D;)(ag- 0)mLBebzb3݌׋L3ж/ѫl`+Rt>‚# {'=(_ij +\OF;ywy܋( |*=)é+NZx"ɱdp% JW%xXبb?ПpORD-ɬubXH+JliuI u+ralX͈-s2yØ5 |D ػMd^8k&u9f5۫ >yI_x=#2* v"X*0y[2ޭPLTF|[~\:ݹ4eҁ _C,sKT!3웴VpZ$ܶ3MՀN%J^bC'xU41lU~*kR<'((l{tN/ziR>uJm:H"$yTvElܡ|sGJR`aFM+?s+B$$曦1̹2iJx3\lTkNR m)؉o'<}T^XI^./B9GB昫 [Sbbod*WljO1Xla:AyYϼ%Nl{ mpO.C {bM?bPC}zђۄ[[Fqdetq) I]7icuðPϭ*pc-!z_ IM Z5 5rZ{Wɏ{(aMd@7vYo~`K?梕in&jߝJ 経 †&K*1s!Sjsxmp/Q# : 4G2Y:q%DeZ="s|$pGfd%#jI4trTtc00d Е\U%5m+.ZzuFMpS``@,cI1$K/7$&89 >Ryp Q{Xa-;ft= zHY r\)c*B}$w9ڍ8Ka019:([8.vnNDcAuAQa}0M2}5$!:Զ$~NKHK rC0oRm5*8iQ6Vjr4<5`9l7hx!f@ w(3U3towˤ|]62D13KbLw00@XD=#L[|G`Tj8%r:z-қR 'H` _pK}"yZ P9^.O$ROI"B]ܔa#MK;@zXlۺOBIjP>BE\P^Pܩ1+\ҕ{aՇdqvvhbY ns͡K~3::xИe0aJHU sauA,_p/IQ%ܛ W{Ămw]}Jm 8Ec6 :6#l598,w\GսV?,d ='}&!<j[4C S>\ۣi /A-5*[:L28m>KG,jtA.<4,x;^.)$x$k"f9yzI1f/;^8.nڄXލ.f6%Ro+ m\C3 f<21SǕU#2_@)'rUfM@2%\qCp%b;%qޯ9K:xBEc<? =, Ӗ*AfB$V&47 NOq.[y$۾Vg2QxpnfKM歴NB7b_MY *NIu{镸N˿=֠!̔ 3z 0WEβ {b2^}L!=3!t/bKAQxԉy- r;%] ^۬-Jģ|Qh4VHhJ3%DNN3ԕ8XPz)Zb6dWHlILu_4>oa@aq|hL21E윁AZ5-+T* Ddf2(W}n2:6k7rfsk̖™pT)y}] Ǿ'Ͷ'C^{Z9p 2DAy%>/(HF"'4tFg20?_G}jLL\gjk<5q%@V7G@fjQ8DcOlE*ɻO<b ;YӞOqu :.8 uU/nN"\"pq.jl]J+] bT-x<vޙaPǵ2j_Ю0ΚG fJj G_ⴒ iW=Y~QX܂M謄rƫ)ϿeJ?ks'='H֩ U?YzՄ.!;`LH32҃ĥ?3ʙoWzvss\j=JI)Mh8k}Cf9n|  CZx%b'_%/, hNb;Om!\1+g֛.HOe{M@'Sݨq+td$4]. hc L΂!5{7省/jQnEgɌ+GE~^Jرw@MVNفИJN=6GC(j*3ّgf \A&T62}zVO"Xjc>PWL xDaGeۀE+Pݵ4bᐏYP8+ޜ0R6{gF=Iv( /w4/pFOz&+mY 51Zc8>6a!4c=I*Igu٢O҅jp`ԼΈnoaUBA D,˱D=UrJlC3riF8iAg y1ʆ"ubI=Μwv[u7/BWf?mbBb&WȝjANf i\a9u>Ъw.7 -؝Oo%M;Fm 'P-[v5;RkTɰhU%ń[_t^-CW Щ|  A?I!m-m;eaa h%i(StSG/iKyCwgYZ ; -;s9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id516N9G3 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.tex7zXZִF! ?]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEy\1Ek#9k0 uDgSI P4Bߥl`W*0h:gsB ߬jN2ea.C5+,(RmzX1 e)KEi!;6`^ɋz˄Q\* *R>JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~6[vMIQ,4ŪJ39ٞ,iEO|p$J,`kC9Ge IJ=d#ӜsV>tXWP5CBGO0Kx5x^?g9©gAͣptF*›y%q'v-4ssy01H *Xˀlt6Y |X6"QP b&x4Õ u:z*n- w=q YY_LPT!C٩I#q/(Bh%EIYD#2Ux p#+<W ejUm # ( >W (NX@dXLwtqDSΨnQ,`U={2УRHBV-Ǿm&XoJS;kHpH䏣)@ҶƵ\#YOep/g6-\ZXX&f'"4wqd"[g;iR.d8 KE`S!,]Ԭl;" xl)4J$/ƊO _='wV6oȒ8#1}*dcT]Ybripcm3 WGF ɘMFæn 5{ҤVg}n꿐XY)/<1MT^m޷v#84} #z>@RbJ'S94œ 3t3d5qSp:h8Q'ޒ søᨨYl#tf_$i! $NPI)ΕĂ!=h/#uM?2X,|q[@(z}2Xյea OQz6Pۭj"&Y٘L> us6J:ƒ ZzhgYZ_ 9G# +}{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 ^L "]|*=50;畢z2wԹ:d_Prf7"=>ֿZ`,ibٵ->YiDVCg_, Tj l"7$il&Cޝ-fd,ċkZ0p3)i9!oqMc[OnRXXT@TƂ=6a%QU׬T*omL֨[W K817L6rp CD6k{-Оsv **(wط;#V!%vA2'a]VlYz]WwT ݔLJ{GרbPhC]3~7hCؖ^vi{TGfwn?+[6)glj&7{7.'{م-V.Lt/W- gj:#seJkJ%״G*6D2'2R%n,I{^6p_ %iaO1"Eg :"FѳXхGA:'mrtO_P'@A 8mg&AMW8lcMd A8 2pGqֈCÞs}1&ó#'Oɋb29hZ$ {-s_h蒜EهdN0$&,4Y `xA "lFlF_=kJ?GŢ̒W^ܜzhAq2cmDds)b5e0M%svIKU8BWfn+G)71vᅗY@Os5Jjʹg|sw:#6'[5 8ɁGkN^q{]%M D tQEQ\8z3owT7ԾZ ;-rYwX9H{J0K@a!}=(ʱT2zw>{TďW6̤1BSe9UHIVY_69~%DtB"WLuӝOiqFgEMPfJwQ;!NM*5a]("n"!YQm!2rc͐a"+#NZi E@"Wn!wN Μ ֠hөǩi|bm''a6oѦ:视làe9|VZ$mz4tUIJ<!Op hܮiӛy@1^qa;tB,1#cNb7)3OK|$jcht6u)*(}8@U4 CާQ MQ2Ma %!8}_,2 >1NsٙeT fʹ{MDSz̡X5*w'?-lpsx8v51"2*ls daTsiEQ i K..{: 4KUaK8q^M f (  6 E \ u 9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN 9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id512^ 9K' 4HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢Q]D?7 {?:fH\yxNM_r\*X%KgJKXBa]%C1>VNtk y b9 wtr ҙ֐0|ȠdqVJ̓TC#b\7l56݁{VH=盅*YvD@x }x' ni_2y)޺r9Bף4_$2׀Ӂ|+Qd<5ٌ$-㽄Z|lO6 S& ~FƘ:B1LDEPT{^?' 0!u+T&3X3+``vsq fk- ^d;Qh ZBZDJa\]ݷn̊ eKY( -0D^FXPP>w ԐuW kb`}ÜsRq*^ŽRl#ٳɡ]Kz!z~֟3m4ׄdHm"6{Xf ʶkv SGF2O?wLTz+oK љCe: _m 9K# THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! pc]ˠ)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]oyeyncw 9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id514\zdxq y Ƶ:mt9Prilc[-Y5GfCT}qc `9hJ3+[P?ZߣJvкBЌsiS*ryF ,N?%pc:ގ!1lekDK`^jԬuZv t d߀݌pA14QL,5^Im{zOZyMT$ڪ4p,65dzɇK滚k#nbWz"j6 7x(Dc/'Mr֐n@봻L]5N O":A,*Zcq;Px"68hhblUg}zЋ!ށ0"TclN?;F'ҍV#+_[ %etHjg<;6ұjԃ)|j󪶷,$PHfTg2x}:x%zO(ZQvDAa1 jC)"ԭO7½c ~+m P%G!cE#oyDzrf qҮ"9 5?G ڗ{QDŏO?e+۾g0G6 @(7/?ԗ#^0^3m||OCFk~etϞ/WT,+Qabꑞ! bT˕b3p@Y{B]9=7) ,~y k* mdo|Ӕ9-Q9 #"~fuȒ6 W%0{mp\`YℇWK!*VS~ejMf@sd `z*oik8KM3qw @iD/5yt6 S:_Hr326 :)EU@9ް_zVSI dXt,D J&Xr{9lLpgȿ4P/Hf%NS/Fl;Jj"@xn|}Iη aҼƎtA zc$|OT~;H! =_zG$*S <ABq:i_Њ$-ri#t'Np%P0 ;kQ@'_T>vrXU39s/#υN~r&}Y5~"f I^d8m(zWv/w ';Kv&:Boac&*@EQ Pt0*Y X"e`F+b 2$I^d0DwUܨl5 >0}sfуheMF=S!r8ҶGG8̕܉ص*|M6{Ei.OL 9CBx}Rn"aiv db6l!nf#.X=c5."q덹"" /Ȥbn6n.2v7c7=Yݔ&Rok,}qA<3^qMNTffŞ8J0ꘓR.* !PIs Sa1gz@Tpͷra5J~xJ_NmLp(Uﶭc `tb#ejp@oRغCkNXi? '$_+x 'yIM}%9eAN%I4Ϙ1!UwXY(J>^j PAZ|=.G aoӦ>dY> !}p04}P''r*xxH֑ym<1i!Gxw@V ||֩ĻmmN8$2 ,٩Dr@8UD HJTzU8#qq{@T9_>ZbѡfP~L.~x{E8X~3e=|T_r^Ko~HDZ(S?1' \o)_վt" hVAIe3e9 PfY2E@. @,XtKs>Zk#c:GM-[(CxX&}iaYkm׵IJԾ! &|Zj8R X>n^+f_Q R6`g*zL\%nEdOpFlfԋ &r_DMRajHn4;&4k_f) m'H‘mZ7P8aާOoc]߱!S}d3tYtQJP尹) J(ɈѳuSQ:;_M(I%[Am.)26yb*X<҆lɞ/˫+}Dy‰s+V|IíTʺ-g mMbG~hC13SƲv&ILS`]ڻ*%<#k f#}>gd+(+C _,|(92JOkGe,2Jhe7a )\!D%=E 6bl=NExUK*Xzqd%+O(' [sI^&/Zqm\u\ւFYi$I+wfy+A|-@kp8aq[xd ,YӸ- dh74{`O#Tl/(X$/2oW1⪢  mqKv/$!u,~O)i9<_5X[IY}sOP  ~!u(FOa\w4X}#l ;6JQa3R4Hr gASuɈ N B ,ñw҃8[M-8F";.)@i+S,,r%[ԃcRG-@.1fa-g.9R7jtuiiM !i|_&15NrX>]ƹTt: 'X+MYKFX&3ia۲*]];~>q7F.%"(ݭZd],Cn4~f[@7GoH{pNTA.Sy>v?LS[OmdxV G-"/W2PIcy!%zEۄ-=Myhv RM.rwrgpH\XmM! &ptxK/./҃4˧^^{_o@@3xihrXJ۬W35T+.@hg=RMb0H"`R“K[rzP~䎋XJiH0(H,dcL.jk"(ߺS=bW@UMYآRMq-frM7f&,%Tۢǯ1GWׇP6d"R7.xjdzpk"QK-lC8rkw0Q3!qbrQpm DQb5.o5|M-35beOjYgdלkA._װ@Yg>i'K!7c[Y}5> X5y#a.6HO.7 64ᒞD'7SeGXÕ_ۗӔjMܢK %t|S񮋍C3Y(Iǣ2sl֛Ľ& ;s-^ZA#μU.NN6vLRZi)O@ërGx̭Mj3Tga%5N3r EO4YQGwn+#""΁X@FlNJMExInSO; s(A@mTm|ofF0O.ʤQ9w]X@Z0lOEop7퀥H1n,f&#LkA?l[%vа_ov v#~r"9]2PM&oFcԴ,kxF݅x4|"&}mYn[;jbSEmc@l̛x;4 _=&}{z;0T3pj0f{j) M_+J"d\3f}_^fH_uoD%i&I#Z Vmv%Lju3aOlŠU^xG5S*|F2XߏQ5o1 $]d9 ekO%;0a].b "φ5݉K1i2Zde7=Q,,hOC.P=&YIhW ]܏J0@@!$w^DHti Ш$9kT9#ْL<[ xI/k$ w{G`Õ4H <)샔F׬O;?gí^xf2شF|UUԬ؀#m^lϼT2hHbȽX2ӂp]tN0ΉJ0~Gل,8*"Sg/Yr;|[isC4vdL|mF̷RNEr/IiY]"uE5QZW ݱx#kXN+U TD;]KnF?2]~$iE1=w \-ϼ>)k}+?vfհų"^CZ'?OC6}=5 thWnJ>,?hcIi=x!@ {H0-\íjc)5"vDT'lk(Upa;-+4^iM9gl0֨^Si?S:>0ȴTD@g A8#Sb֎mZ U2rCѾ 0i;*W1'V$\) "#+j+O4LNVz6( uJSܦ}.ς̯oĐhȅYHS'^ 23;rEͪɰzglN壜` 7CB &Wh) &~3A2dҥ( <9Q 'B\›XKz@xUӖ˅;eedppm'0͹Df;5vSm;"=pDgtB 4JEm -նƥwǿ5(T}yTҼL ߵBrxQpH11zy>\A %C*A84&]Jq.`o3?$\Ākv S@|' ÁalHziÎy w"N(H=bqu{z (S UZoVXP fa7zH"cJ5E5'iE4q@KT};fXkH^M dQc x’/7x&sDTPU)]H bp`Ix6@5ͭRQJ!RFAiEޚ J7zk ZN_BּnpF*o$neR/ROJI v@ 07mM΅+OJ+q01>bO i\sow̎Zzo hxtf!;92  2v`KCV{Gaw/F O+o6qgFh04t`YҎ]<H鬚C͉Zm>`IMN3uDI *" B+1XȯuwsDB^Jl͒#͊\.WqVO%VHI\("4@2jU= `CMM2G{73^qBR^hzI+ }|%o yO-hk`IF*` (e$gⅉJ{cHlySv(yV鶢"dE`QpyKHYbfW=Bmz:۷b ͪ dGE@x`>,/݂qEZ|Y;8Ч ˾xIH @Om'IX1׆cOjFXzSI>u%H̛E`4>I<yNR&.;_Ǝ=Ze_@gKJX,&c@Eꊔikg,k Vf:Y(%@IaVk~nBQLB*/Iy|4OO+,/C|FZ!ɧM"N?D^3S_7E'<'^VN5ṥ%-e}Fڵ#%qYhCLU swn_ta>Ki ҉E !7ZaTȽ@y v"1_Gl@O9׹[]}d(ĹCU?v.h4b쳹`Cj&[`-my[Ls҉Q&h?Zֻ=n #Y:ADAċAjFnS3+HhQJ#\X2[J8.WH+@rJ^PTa5=4+mvsE{.OBaNVV* x NwL.QsfBx!Ɲ}.G,8ZP0+i2h4m'ɵ7a=s7R G_J5r#).5\v|\9dϘG1 O:"*5]8Cu#h\]%ph-7,t̉#ިF$0 hKjr@K7ҧ+=;,eu\wJ3"78/d )8 6ԴA/.D&b*ǘzA':$>dO1z'"(ŮypX1G O0)'b{aW;~V8GĆ@!zPs` t8VYK433ZN1?axr ]݅O0)^xFj4K _F5* +8>-wqĿU>ɦ3>ϥZѯIW(]0[OܱMjvwڇ`}a-R .N5o*2J“UGYuGAb #I>96T~3{OuO 1dA]ዯh-[vNiCjmAIy5]}CDIθ NG}5JRdSn_ٸ};@'vn\ϽNe~E.I»3XCL8ρZٸ$H 7@ 4[@ X5ɳnR:Qds*Axc۰*oS8|=*ؽC;:=eva! 1}SfP[[L$c9St'zEK rmDE+.PĢkpфn(=wQ͢(]1RENx UY%eSbF!}6'w'QVWZy_A:G<0扤q+ks|1QI0adq3ǯ6ES*9/yzOy]:9ƄŢ j¹>F$&Nb튢Jys|Q\ @OhC,2Mu'+5ULnЀdlݐy[g:uBQ-5. 6'Aj4d^)+dx1´fbn \>D}uS2ashT/l´(Y# k;db,36!}8 W{о[u.Oۅ˿¸YNnSGLYJ MQv s̓pe"z7H[E'KwGlv+vO"^nMV4Hx}udծxJwX-Iv>hԪN3k_Eﻎ|cl璛aUj5'lth`WĐU+9|m܉-z+{QHelol_'{Szv oܚ-,d;U ODV93`_S nFCMyhs-LuW3Iyv9u܊AU-9䷬$L|-,HPBh RSsWPNcgelF^֨|>{ɂ?5(1.oO.QY6{(cb1/sFB[ģ_~^S*ny>27yг^IiuFyJ`X쿘-un9m牮uZr[^e8t҅jӂkf5-\54앻.sOQOzq=*/M7z; Ō\+vMAxi@d_FU|E<E]ڎ4(MJ'mgА|bz5hno F}&>GcLʦ/GL3Dž "+A8Kb>_q6  o{݅'ct-oʒɁpbC:``F|O:M>hdy)]])Ww"Ju)` sX ey&0^N=!~h'7~3-6  zQˎ_i1ԏM7-]ZtnQ=$h 1d[Ylː;he55uwpqGPVa3V;guØ8d;}r%?5` -+_HU*TH=޸$Lu`}| lWLt(Q׫Kkz3&Tc]8,IV{?Niн J.E]th k%fVhLx9a4(qԽg2Q^2|lj,1ʌ}JE3 )+cY n(g dT*J_F1qf[jӰi#WWHeD@~cx]UQZaJcyb4*,Tbՠ 5\p8`a0Cj3ζAoy:HL'nC·:tw4q2T2ɨBe' )ڿ W߁6}T,+wDtZ<pT1à6ppmK LJZ~=sЬ%-9J|Zf]jVh6cWyC)cܰ9רJ6f,1zs 3ADr%,q䏸O2aa nW銏419ſV rՓӅ}o|Y0"cB$φ",_wͱu`;-sKRD2SN\YaQ;2>\3B rc_!/QZq?G!9ѮB?XzhMu6SƩQj[jE,r4r88Q:UM8Qw4]%JuZ8ծn2\ cU /7hdfՎXt98 JYц&$/w"yB![Z*#p3J* ڴ)Cdg70g⡝S(2CLa${6\GӛA7 j~} O柏ƽW.&U$y|07?VرD<|vPq6.\ QԒWe tmʆ»yBmR*R=%v`g*!q 5{eͼQ̴ߢ~;a2+l{"n?C}5tT 40iY'Igj4B\L?Y9emY""&9h(pvAۧFhώrcǫm7![{2`(ԧ1 K;cyonS*uSD/&##F!,jFeLE=c X L+օ>4h ,52tll=YJɶ5Ja>0Kd%*MQk*老8鼗ExoRLH8l:@u\pȼ6~kngaoLAIGΘ{.|n9.|XA{Uev"{mF]\oyC\ g}(@~I_ F"Rjlѵx5 8|nZ6G=7G/!߈Yn6!E}l݀#4]ǵ7Jfӻl!~WO VE1nyy¿\IpXwuNqZ8$°aFR.W LlB/=HbE(sK,t?0HR1*ۅ8hQ%Qhwe͓,:r|Բc%A8uYZoD0`I.f#*حFDZsa}+FA>UNrVO_s@,g?ߐhc2|q^L!0 Dv-ސV~muFqX٘*-AuFucW+ǐ{{Ud Y;FsN\}(lM6K 0UIFM]?*Ku$Dk!o֍b<{7Z {VmHk"X8V_'tn>=R)?ߵJKomZ٧.e .ZӟQv?3p qfR ldf3@z'{Vڇ6Yn%y\ yy¤$JkdAN'gf;qt6ĄF+Zqn9EܛsHM)ub!% S (ƼXwh5wf1# ؟`#\D6~pqnxD7\qt &kLW*HJu-? W\IT5T:ٓ`N6{Lrͣ-fе/ȃ:hԈ.XxTs&@Mc3GGAE&CzVt7s#'v Rg"C&lًUoz ?W#/C#PޮeLLӜuF: I!jӪ %SHyN#kTZ4]="|;,tON1;ߐ 4D*g,NfF|T,MR[ "0n$KtjVa}y aC臅ni{[ tD)ݧ Nu'7,~y?LUqሻl Z:`+tKaRlZO/GeЅAdCrPmgѕLʐ Ion[H[7ͦI @B`r|gq?uJ|w$Iҥ:|Lj6H;J^ܩ-vǯ?{UvLD ߸K~g9fy=@'Oc/.z<攲O01?3 Oh >R@q/{0:w45N1)[/"]O9fNXu&xIgiN;ZtB-`{9M)[9@T1yxm $m"ד1c2nm1X( pV0'*Cr}|.*{ܲ9t^Ao:FKVR6s:%HpV-p33N9I.}S,)Ek[2_SYslַC+;)QWPuH!QX^ܐiBTv#x҄1,dky-GG]mV׾y\Wa.wM؝HM^9lŪ8x{@ UgWs5ϓR6ԇ`% ܚb3L[}kM$}x]GW6Y2f%K A3oJ\ΏL>4FʼnЌUމ;[0ھ rhRj2{V$Da 1 dٹM1g  Al%Q{p@UpD>(ఖt6WUK4bxMi˜UW6v X117Y &u1U< {JFU5dAsO@: /_'"$AbU}b q݀0zo v+~bҫ4rsNM0BGg0ӟ1Z^  qa'E *^|ܼI_F~uFV38H^9 >: '; {swnh4IćX J/Z}\Jo,fdC9!KZ)!0mᬘ#i_ Xl%>ZpP" 'P0P3gl>G{SL \m;at+%UVmS-u(K/PH@̀j/lU%L _D}qh>rsq=\=OEl$0$FmUQ( "JЁ (PpX(8ch|Mf̔h&.n8DF"Un0wAQ_6~ly:`csmu`{n$H-,͂(d Rh{">c)hvhгc/b߁z^j3_a4#πwQ՞r7L;5'|QOע?W`C=v;c3YaOYx ,# ybرx4jNb:/!fMY:^V$XJE +0 Q -;SHnYymKf ׵05=;9f"26MN/>YȦƱ5o쩋ʏ:X~^{< GaH%"Uʽs@ c{c4or5N3>0=`Tv%wdiqx NƄLcEVǙ/CX!#j$tF:Lt01< +Do5q];ne7( P+N:U/R`ʁ VS-=O=r%;XHMD$w>"t(RY#Qmy b+hۃ0!pr0}^:Ha5ݯtSt;€@A#$bTW޲9 d=D'QZÑT t4WtHFG |g.jb!u$v w..ނq+},(48{}}-í?uBB{ Fd.)<OCh{X/{%\<kހweN*#e44GqBA[#Nwv}]sm=A,XjsTd FYM&9ŒC:U ynFUf91[ƤD{%V*Jlj̺4zj5w,TBMfKn_Zj} l(I]tç.%g'HjZŖ"2]o}[k6yK{ 3U!-_i-g[9΅5 rE6;7Oq %o 7KmvI #ڎbleH=PfoYnT@SѢrJISðJV}gl f>%*㾹otߨQ`Ɇ`x!ы1-u)b&i =f6AIcVv'7C"KE]sP Pbǔ @=ɆZ1^}"TPbis0䁇rȖ? NF0'l>C92J//׶Nh꫆ă^wpk)C w/߰LBJ#CK+.M,-N goym[IA䬦[[{غQ7q36tT \,p! m β!*G7j4tK=1<]0d" j&n:X>? 1$ 'j(ؒn(2Ʒáy>H)&4-f_GȠrֿ c+oEwDŽ/-3[pj?}Ӯqelsd.arkd1ۭ9O :vrvA֊5 Ι^\ih(?̑.F ,.Qpgp;]hOM{~'90eBߎ3#r۔K<7~IK??"JN2x:mkMJ鍼CU:5RM1xBcspMU%PCZõ a /ݥ.Fϟor}snO8 5Jq>iYLyX/R'.) ;ewJLn*><+Cr%UEn` 26+6r*sK'ri`[H8wvjZ 9qt6xnXXA0:Viҵ['ce,iͻtIOru󪏉S.vogv -XF zju5dQ\{(4:9O[ 'mWK3  :z3¥H_|ո{P+Hry1DK*S_F8ۊO7g~iEy OHhGjf W &{2䤄3%wxwM:X.g+w:v4 q^e#SUÍ{6/9ZG?6S ;Y#kZfvڌfHh*hj:t%Ongi-R0%' A`rVx$8lè)`AeiqgD}<S$e~=r0}zç)=+%(C`fw>egRl%FnhR\jɞfvzm<|dp,7Y~l<yAbU3T/~.) (Fo+X^Y[g9OgTDv2RU/ GC;|m)}@ v?|P |YG^_vƵm(MqeI7f{jj<!$qT)eБp^7D)9倔[6 \ؤfi_}eLcxpTd>FRD~ ?gau 75?/)oX 1uqn >Hlj }Hc͂Kx?ߋ{sϖf|؞~&>S?(LoS8.ht0cDu*M].17=$.y߉qz \;I}Oǐv.ED f;s">(M\(՞}^wJJ]Ow4QwT[0<AP^)Zn3Û;~ (1ST#0Q`K',(u**ݞ mr v)9Wvm;sF MP'#HW[_:qfvgS qtH@W,<qpH&8lϫ)KyR | 7,VWb8Q(xhf;oTzI8Ǻ|nkry8yJ)H֛JųP8)z+UF#K!XFW|׼f#(>Q<9H(#?L|ieY$ (U=yvH^nPY$PF&^(:wˡyTZ=@I> ->=+椴?Ir+ζë~yCMuwd 8'!FM«cgwgu4уVjQ{B;Ok#ݪW),M+/#{y-BA7I8 95ym 6TU3 ˲_یP%dɠn}5#0} KueQlq5(:84a*/w4: D~>O7wP5Rݭ %YPvӱ^\u Zo48}%Rc H(r̎,EYf=rrVѪ =[1Ā%R=~Z 6B1BͶMXk[ُiji˜w|sX8n P!Unr#0#dy_%UL+kR/Jiz̀#+r@gGAݢ[KΆI6`BKj4>w}z;O[.{B3_E⢞sYJRC, 6@-tZV'F7P-QuUuj`|5+HoH(4f=!+(@nʧ (Cűre(RdSxE'r20Sh3Jv|uPxBH>q ۫  V;y9y uɿ[x5RqŰnSԚ^S\J6k; 3vxWbPNv"Z]YRŘ\:1߱S+A.Ja9+QWFݱ<5<?p1J_`f+79HZx$tݵ3;Wً 3~f8tTRpmЈo|k" _Z?w`OS|q%l~C=ȍD@컉^vk-CBz02,$p?sPf = 0"eC@B2d"k,rpƏdbGKuM+ r )_s1cjZVkao} -#"z*Zvd򞰣E vFUt=ٔK>U:˂7rRα7׏M$}>%ś[n=y-`z&O/ sn=E.iJbq;RMjBlZc:s\}{<㭜.Lp =}0-x3Zdǔ;,`#Y *q;ėD&U>5HպV'dLGxo3./lJ@HRzD SˣCtAEF;yg8j#/\T.aECq1{9$2 7kQy ƛQ8oپ AlA<bM/ES Z3r#N⋎\f4^ ƕ?paĉRInIJ _L7,&Iy'4* SP|IE*kUп*yv^ARΡUM@2ŹJ0`2:S+cSR{4^ct7^Ĺ7⬰.{3Ͱ\߾Mm Ripnu>oM |lg+o(Ո FyW KGԜ]PkR*uW2N!q@l+ I{.` !m%p cd4 mxb\t}Ю@JyHܚUmڨʪu2kr/ZBF): L\ U^Wm MK9D-EE##TI?=}Z‡<+P2jj. btwEKlI'zE|BR=\jc)Ftwbb{[D# ?D[ :os^ pcbZ$ާ)'}W=Gfq+(تF|CqPbDL0(Y.zu\e,ByBB\d\ŵB!t۬wm-P5u9:ϪklI=X{z@<} D:;Phljk[?&ν^yM-C"- ~d2i-'z(I}׺}'1MFSD(i8{}j28_VikQ BTjFm=E`Rad[V-R\e#4C|eKb۠ GxadO6 xLm&EC gxsGH:2`K~%>[M_uK?CgYZq5 !'jHz }Rt=2U>XiKhӃ`/ =;AFxoF)]Tnk@ulY0FaH5"QQe^On[#ptӛe|@:gx-0j66=sv" 47b]-vNkt7Y> Egr`aeR1?XU|a"c F1*X[UA n31\to 0Ko(1䉻c/]􆤻D' 8wf~o'B8cG"+ E>XXNf,)1-p$h p3'ov>}qALؗWW&Yp9p %9ĵ7mAk<_VڊҤ.ny<˴?pUusO}l#H:72aJb!@Isb}$9!;{7t܏MU`i,X'{FkewhǶd)NdRayeYZua?=󰫖k:yUFwu*s}uϫ wA%=:.a#՛^ww.ׄ I* -t-ʎ7JivA?tfLi[Uz{zcp%E9mWAD9^\rO̕/pĴ"ǤGSz`sbM@w;& 7349n?hol]7Cr!b`+5psʐ$_p†{9QȘ7-2CdisG)4SPxMzWu[[RDAx/(~N%ԡL,ڏ"G~T]N'P *wm3q}noLdrj":-ޗIUBoYoyyʫyA < s5mW~ͦv@- .:G3s;nSÊ3Yoyy\99'fڠ6cCHPA$π?zѷX/i$)_\TE)YrU>Jn~آ%5K7bHᛊh *.ϩ<7I1^!jz{h,v>8\3ֿ.nuqät5.#4LWu?ʆ`ZDPp;^ي65G3*q'ĎaŁQP5SVBfަ9 ˎHo[ K%<P֊V+Ⱦ>5J>Z({ C"Llj3([/s͉DG:9,\b*/f@&R`6)'C/r.QZ7.b&|cF#Fڳ˝P9խ:'7+4<9&\`)[֊XOmXvXuNz}iH61w&sks o,T[C@ O"~:R>=PHsrq:npa5i{"-sV(>#+)RE:ބ`8s?F>|ӊ|&l9OWWfТ} i7B}I*Tt!M{j(}J|Gr% Wл$0ΖRD]ZrA:_7o 4_/D.źG0 W=GwH uBtlfb3F`l_ص#i8<4.V@b C]̹Fy7t\G5ۡTB[e0:^gmsw<u(շ~h(%2D'JJˑ}Yޓd} l3~YAraX="HH?O 4˶"ʱ;QR+z-Kyb*]sGKf`DÙ\ڿgI4|,LB/Fv ؛G૭Xcu~HĹ3< I(,ؤ{[ P{gBŧvUaj޲yzud)?X=c慩Tcn圱Es+?3_*(C®p}8mnʳ$q&‚r//,qֽu@ݖR醄Xnyiw ^*lk@pIe>"h,p yZ>R888X}xĪ|')/shՑzc\;Ug?,JreS8-Śz>)n.e`Jb48-Z7lG|Igz%GHȅDeHu\<fɌ_Х'6xuNJ i[͡WV)'SRڷN&Qqf'ѧ MN ͮn1RHgӈ}lû;`z~`C%Nk ƻUڕׇYMdV GNsƄ27{e/Qr^*y;;!]C@fSݒ>MupgXʄl_UKHWVH/^нց3HN!&Q<؁N-cDFgkPٹZF<ͤeӁ*$^'F;ZmPM4QFk*4ϜDF# R<#r#N+diCYBȞDX4 ?эy/7"TG{(:4C.+Wf(zD^fWFw^.}5f}ӇJ̤+1Jn}@Va c(oc <@ak[Ǟ:ঞ4'`4&`!.) (=8!{t/[T_HT=:Fu*s>3jiC#=Yncˊ~*t^g]?X2|v@_% W_+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db˶` -Hh.!yQ&7Us!)⤤UfdHl/K;HL̷[eJc$vGuEW!3#L60os5Sgt> mӏXM3"en s0q? nw\wԙmQiBQvodL! .1)Hu\RRTy/>+x߱E'^Ў*_\X \Qtt#;H#:;5M&4IxQI׉&J,`p/$G } ΰחmrEp'A3[/zB0~n{N&{9?0F+zee˶8ڬC#5tХBs$ۈ?LHJva>ab:qא.P 6"ZxL񏑤dɁPŗ莖Uٸ=,Dx`(l/!ЕXL[_D'JLm+ϱ1$cY)9 pS/14 9ƣ1fE/֜0¥$V=&tU]I@ޔA?JN}QA|1>۔uB_Lտ?ئM$I<7A-UsVs2L[JМrRAllrQVNb{XiKq {UsIXQ)M= Ut=bep+_吔tωٕKu*Ђ~@H?~ɐFe5(PdͲO('{}u.QSg'ftRY?ݢ 7Jfny#U&++z 4Z3aY5wLJ(5H#8>B:?xABY,xx0㦆˥5HgL2r=;mq(a3in@K$|-/!KVL Sys;Cz CQ:Adq"9+:zmO(q4K-ԷmYK2]!M'L;G|WdЉ F>F D9gLs$P8FuǝkanAj9Q.%#8n 8#P 12" SF4|0_Kڨ n0ò,z8uځ :&7Y ؕpr<2/*4sh-WhX2YwHOĝEÏ+T3* cH !t Vm|v5b"Cۋ5,PG04m2] /KGgRaMw&6 b5Y1Α®ޢ}G1_'E&5yA}5vnOm|0T%`W^W$!lvV2ٻ=;;$z#o)<_ 9E|~ `IC$3b搢T[3s1q_ҫ!\HMqð秄VB?_;OMRPӮ]Aלp'_ `oY[H&|()r*/)u֡hdgԜ)cY#*V±gYZyh@?:ۯ["c24GMr[2p" gB)Hu? XDDywp)pP^ Xr k "$[Yvbul-{1!-N˱9jCWpڇ ,A09E.|&+Br/aM94F_T*{1kyN/\| [E{`־sW)sĘva fЕ#ֺ0ywzޱ&߾trܾP^hlaϴ-w"fsNkaG' r2!Jw9oPnrGT:4NVL N8huŔ^ [ %{dzn}0iEwO_z*ΉV3]2LN+SuuX"˾Ifx0<4p-jPwRU㐒t}l86N3j*i2dX_Rz 7 2G-HqGd駇̣R[K`<7žE!mD3,Y*޺>llʪr6Ā"}GPlP7a'%ƚ<#I6-YxRX;9&%tK Ց~|}u/'J!{C8P!?I3^ 7F$pWF,2jv 9F2D^< 5s bDHWsP=ŭIMT=K Ti{r,I ՚O;Q᫶/]MX*+ EF"*5~GRBٜn#L0Ѝӫ {]ٟ]b:9Fb9 kvdNLtHY6ܥh^"iRlA\% BAO3\<MXTz2 *{B^K'7о#xAInCņkg\5%2gt꼅)s=3Uvv98@͇x T+ @+ڦ-8QJ//}UA#*T 2 ]sD(Eyün_ ^Ko%SkB=TBp~(NkLXaf+|yeH0kmQ'0 Į)12cH"#_ pKܭVi~]=օDi~񆥾Vz6,(jV_>gb/rae0F-9´z si C__Բ@Fz\Y%iKy9UH<3 zN":kS|I~Y1q`g K* fCXz{\"n9\;9,8H]D¡98L=Ɛ%pR>1 ZtΖW|U*ys*"C`=$87y\[)ϸm\z8Yʄk2wϬX_YZ-^paR5Sz!~wMCv[ 0Qm}ךE'TKK{J|#+ae&b_$0}UB<1SKV /k{"Hk|zř\ko -+eWM8l hgԝ.J# [[9x;$!y ' y؛L?5RR5|ڶ5R45xk'd*Ayݮ޺p@{ CNSt7m\z?! p. JUfwXy X{KJy9Xl( Q}2*n"Z CG5JW )<Ed^<Muf$M*kA' jgYɮǒ@hP٥(Z!^P 9d&LK- w9 pj ^[~@$^_ڈT"k73Q2=+.bPZ7[,¢&GQIPa Y]L3_(\C-?)-;c_Rp %\S.*Ar'p0Xoцa0">x}IZbf~Mw4MȻO-e23t'wƒܖ4Dx;{2pXNȆٙXpL 6e!PKm9K'W-ʌVb?OIaU ޴u` }J`+j"$whxWAW4`xz#5ITkkzΉfPd,M壜0=׵83C*mLxxDTEKů6+[<S:\^=؉245wdy#) 2>eTǥqLPz2 d7T<:ntd\y$2%4lI5ys8w=g<](GILȟmɜZx e*_A+"Ҹ`v@)g'4F -4.SO ԛ%=BȢu,SXӞ_^(.%1PtQ"ƯxQ2N]wZ?U91~Ix(ϔTqYX)\cj*öR3Xp xo0萎zH2+ujM+11&=YO2>{oljԮnC^yKRX;غI%`Mf'l:}A 7OP==s~XaH*hxj eg%-.:[ԊΫd l3c/ #V=Rޭ1 a*㢱ʱ@%ֈ-Xt%N\HOtZz,v-.E`8M  ,58id fWUHݨQ_ ok_`cJ:sl2zn˧ @*eƽl[!I8tHd - ~c怎m匓u:C~Si\5,/A+U% #2d!+fv/x35hs ܔBWa օ1An;ŰQcmn ذcqb2m?Eۯl.PoZ@:LK⹅yvn r bPNuJeF00%nE3]բw&-t+fi_"c#o}_@' : ٌ K9^1gD -y5z*,STza$ s(u<0+ :u*b  / 4ՙ;ERװ8đsͯqqz7k$먭ȕϟfT*IՓu~w8TcW'\9D}7V hAG 9%O; SSDmRAf9EQ,b)7^!`[_T Cj7^7r32)/$k,šCOm;fC*|7>S ݄>a/UiT+T5}J{6{!D'gdBSʉ/(ydΎ >(߹ @ICՃj5_'~yw@saIDõSN2&G`DW<ԄmH;ZC2oҮDtC_n j[ x].~a,Xlw8y?/m6 ,xul=h6]GQױ{v#Q0ZqߠKq=|啌syzqZɅw xICpn';Gv1a_ q;3tq gpVDW9˲kF9G{'р;Hc_&au1}D3Z 2`R-d#CcSηu #dA_N0ܳUbd.V٘XQb6̜> ψ\˜J^>f1ƿ%HQuJfw1%QRDdCs~g>i"> :e6 7G0؞)v̽B7k7N]vωO &WULD`.jAk@!W-+19qw|YDlr }d$H{mx^MuF xl$U,uJYi <-OZra Dͧ''|#{9PE>:mVEq5517Ko A݇ݪ~.Qq o\^frv o8g8 |bۣ&\Y0+L`I0QɂwrP#37_`aor-J)C{i0@z#TU~ȡ`29XKc3*qOv8N#`Yv'ZQ5oXU+߶ ϧاќ'Z[|mi-QX2sHLFTKM2VW|*oڪS>gj6"̶( "u__=}Φ dZyYTaE۪ԑ1nKeR|EUЍs9&\'j݈t!Rߪ$56'nFUABM~J*0HU* V%x Z^a+GZu{9'3!n;v#_Fw 1WCO>i9\6@ܞmzKEJԶr'A]x7`8#\"b?`&<BvFh_ԸrvӦC@ eXȮ8A^* ݁en*[A-QĴ HpicjFFE%tC&E!Ēaܟtmzl]+4.H%,m'*GgF$X K@S:[³M1 Rc4eg NC}Y#(I.,}N'Q)N;°lo^:#.9"YcE'noEcH^0|O9r6 '#MhD -Sd^0ڥ&F MM!={X,$",b!uݯ:~;VZ(hQN8;eЊ\#:B;? /Yj~v.b] ]dPE9moЗIng:WJ.gJ?A V9VX;I~4#uXNњryYSXh>dFE1ą뭻!8'9$(8sQUVVa tMisҹ?nNN@o!?/x}kL Qn7C!&jk1b[: OK@NLpO0y'08]q֛>A7iA)J Q$WU&M?2bҡ5l{ғKVv쑱Y+: /&7I}hIolU_S]y qnıLlcߛQpl Sj`PC5lDr]^ੲ;M$V]zn<$G]s:a<!5 ~[x(' #JԻ|3UT_V^>'B׭}"%ALK^y60!S@4@:WwB?8;+T2SZ]9@N:HArlHxhvZ?0ߍh6cwBVGSG96\IP2q$2#ڨۈmm؅6ƽOa=3.uX^T44BObS9s&3"C5gA97+z:`gUFxa̹3r4%T5/w8Y*Y F.BFt Zu>r"FC SCK*X_gghpm \_$5ʼ0B4fuQ3F13e' RZꠚuDZLMϑ<2eo΍$ B {D jY ,lE"\CwAA} A{yQxz=bZ5sh4~@'3w7,؋/(mZXudV'w|!yt ; q-5= e [SX8KVW:\>4*SX YezrFݗM}v7pqև$Zt=f9yhbNmy 0CX)?RCC#jeA v+(QTLsχ80tP v@h/KfeY诩vv"]c˘Wj(u8*[F3 e ټdyzةuOݴ*G΍,AЮ]JuIlPkIMP҈sRSQE%>Qfv?WI+efY;?4I{N:zpwSOe9$edQet+}V7ʃ8dmx\oa0H HZk\)!, lw.1(YThYz{45Q 𔔃<"p@{֖+|JN{p;n]t\ȼT?Ti$̕^B Q8y ԩo.Joq?B퐎"As;O?On o׳Zb\0ff$}f2ZK@s=;Us7 褑qkP0'1gfj%HNE_M!؅xŸБ8tHj%sk 7n(5v{r.8Ee~* ;76꧆R I$5ݰ9W1s%+ nӶY+?/2è=(v;x.mz7 vΟuZN)_N7ʆsFȂ Cҍ;rC_ CN d"*ġ.ys撧%l]},mE$'*C;m廓HJEn`KnIop=)*fKW@KZq f=.6HyE[f uH$873蟱s{Sf7 };t:]҉7LֹwpPt ,D q ٱ9' C0rۿpS"''!݃͹8}Oכ(8䋫u;T{ʝ/ՠ13g&Df఻a!Q,%)*?cxE GеaQiiIKNh47+^y-ۻT+Wz迨XtZ!R+708Lˢ xL_وw ;FKҹpcY+8/ؼA̖֋lL^@WSTF$ ujTy:eN i>(Q&k^}y^ɫDe]rbwg:}J"5l6.7og jSѦ {B^451L A-(S lu'Jlא|>\E!2ּ$f p7rpwS{|'5+.-L?e]S ,A,US,2|'0K.4O[a/`Cg5Z&iB'1"WFϽ70$=Q0OTƀXxst\5P\FBB!* E/TteQjۍ%Yi:M @>oNCkz/: IE$:$xi3YQP"`Nm\(/q&_`/){Hql1txR9bsd(]X]¸Rȅ.VW<*wav̈64"J퀍DFjF Mb˙'"!ʳt)q 福 }N0iX3 nld{^ӹ6,SH+&@"3#ƒSȦoo6'S- ptnfm?wI>VZmv:<.;Ds=f*ͨKȤQ)Gjt+'Y?D8,|!hGJ8jǔ] MF; 0[;2rYa WPqũڲ={,swu"A Bxj Ʃ MI&{]RVPR_^6Di>QIlLly"6/Et>(gkX+ Iq3Iׄ`_HSQ]+@9<Õ~i#ڳqx^-DB߄*˼9Bl)C! H[zxi=˴;ls#<>"/;Kc{Ԕdm d-=EO5dn9|.e:_&'{HT8'a1>ږV ZHLrsW'hͭr}qy*RWNȍC ֥EǵqqRKY_?Dof ŏI 8-ea@@(൝Y7|5wݎّ#, egDM׻aZWʅRO\Ǥ wlN n`4\1%ύ{i4$uK7w BCw 3rd_9GcM5[`pyܤ̔ o=2KcvQ>j7T{:(7BN @E WT N\`a>kDxR<{ -f4t(1)#_ߎp;\/|$kmr̹vrY s*KJfY$ZcRuB8Sw| "~ 23 #3%˙T;V W0?c#vcf>C=kȬI35@~Kn:Snw.S[)M@M\%!cwY+1O;'X.4|.#K[~6l } {N֦yW޸[өykٌJJ̙Ž|BaY[ߋ {Ҍ.jjvT)DĢ=oN U fƜ2'nd =;Ypz;lUDF~OSGDÃ^2nasY` `P6t 7O)!h1 vj\4/Z͖({5T_ۄf]Tr?7GĤ4 8(2Րd| CYj.w:?p % Y51?^; |7PFPg (lR˱bw o74 P:=Ց] u6΍\BÛ'M4Ajw)m\x7ʺKɥ(OQlӱ@NxR5o V Nb C`uĻ87hٖ,70+_* RARBdg Z׼^ * M2ST<ˑI3![ih.R^ĭ}F+S deJm=VǴxNp .+)BQB ;w(&o-$]UM*KJ g; ճ=|η V;`lpwX̛Hɲ 8sFEao?NY>W&A`VZi Mj ٰ4ZI]Ld4bFҢ@zù"#F^F{F=⢙|0r>3 +X,U]4Pr } $K*)RIV݆;:ͼ2mtv]%m27xMC>4 .G b,]BOH~~ܩCmJJuK摖@4`Y~4#1Ǻ`hβGa_v/*Hh!'UTNĻr(<29; Eq!IKOܹw8頷A!]b4Yȅŋ-J{/Ȩ /# 4[NϘK7+cGɄ<`3}/W>I/Zgy X Q.(N=P+'.-((3ﹼ. "'JKWd"M_!DžQCsGTL7]ns͖6MIlq-B]NB$Ӵ/ʻ'ppys\h3 7|_}0=:yȠm:PsG)Q3C4GĚe&9W×Β)t(V~ ٹ)F j!GAs.LMZp_+Y2@>*! ryu}>ⸯTFӋ wK|U],X0 i: K϶h(s!+L '!:YXnkP'.^D1X=Y77I1. ]V/jyڔc5ZMkؑ5Ba;]L֟/ޮZ?UHn'ْ;Y}{QND*c2͙؝XO+2t~HH T̰Gg1MSw{Oit+}nACnDedí]I(PیS8j$kΰ?:0ku^%?dbcr-CII0'IȁB}GDn}mr̢2JZ!r[rcujygx{Y}EԛXq4D!IQKXWݲhU5Qk/Ѝ}Q IjV\gROl('::[u|4/UߠT]l U l 33Hr o- Df%#yiJge .  7D.(緟_" ӔC]FNLO Ӿ؇4CcrzNǾίWc3pWQM8JS· ޯMtFzG̺Nj_ֺ! )eڗyOltҴw81Ө$ik3&#f|$_Z9t':j{yOR.1mf&^F 18z7L$Hk-a㵚a H=~v䙶x:K/W,YQ21F}"/TcY,L3jJ]*l-%NrYq'̋͵"ZL !L|şG:#{ivj'@;N:g3xpr勡[,ɂ:„'%=o>W/!PY?VwowM[N#:`ÐSUTՇ4n}'j-Y&q0u$~XT_`Ot?H6|.oF dnx 0A}SS]ZW|#;Ϲy߂:ф`Sltܤ‡ʨ# 1}x/B¨!?#K nq_eNEY+ؖp֡j [pՅ?Sh;lde%[u=*q\~2'(U*Wu4]쏌#GhA?rcDt7jcMx"0hn]_dXe̤}g;ew{V/DK` (SYf:`IXu.,6T>$`@Z*=ը?x7 p)dOCM?:d 53 f&6V~H(K$ypOQ<)m4Ɣ3#(SoobD&J ~faU;Ug}_A,W>f$6nzS@lq=̉[ʮෟ3 vOk@uUO03^q!zR${xP1w8CvveȴLf*^dw5$z86?Vb%jKWwi!8../1|9XU{$KpG71t;~:<%tPelUEsL2kĉZ!Aݤf"q;cxft@7Bu] P ^gG]#x!Z*AeDoYO.lSꝎܜe,1Pu4CFK~PF l2Hoz kbI+>XQ~eV曮p?dQeʣc\]IofT&|GD.85O>Jڨgo:xĘ{z%gC=nlq>{L(at㵡[V_a-tCTPB@ώ`RD '~v'kQDK'SEhJ X`N+ozUٿ&whҌ E%%tnosKqlj87T@JOIkooO0>~ ^ {yY56waymݮ_`2b˜}#jB!M]єS`\lzz"nbs xn@G3XizZvמ#Mpf́Y7 ve_D pœ[{|6`:FЛΧ,uK^-qK.R[Ђᢤ2~|~_! Ii߂Ej̴ 5yLF 4ڹB8D>Adg܁$/KRerfĔ|z-zZBxrgя}?\㚾h]'z(* ؔDԣ<$C0BIFXP )nm-j~g\\"8K5EIq|ZdteBC`6y$AmC$=%sGucB>9(57JX\ua=-xܖ (8 Cjcv"7-acRgܢ]h4]ݫI0ڦu|L%5 Sp[cmJK)RC@,U/ܟUH|20D~Fc0T\G{xa迊w8}&ij4zJ;LïxM}>nE'A#uӴV8A`}X^v!ZG>?EvWu8J#A`0g^H7/%r7(mY]'BJ N5s]fgJS-&/y陥Z4jxdU?qN5+DdFgvsCT|FǭZT }:z;&n`.#pVqΙ0>%1*`ETY#+-Bb|-q$:q.+3{ J5t! 'Nd ,~o h=kb1=jI%䄮gL7BVlT橾[Ytec3_h\*}|ȟ\>S]kgܡb t5WiCjXwB?R ،!ߒ1ŮAwHKWgR(]IF\lHv.R;&̀ fLLOʓK܀}f+-A T E1k`!h@RqQyT1PL?5?;7+ڀ ՛\͸f0s]ꐧZDŽE"sPsۧF%Sl('0̭ok Y d5qk 4oe=n1 bq~Pi ]5MKSou5BJ~&R$5$x"NRüC'KsOM<>^"_[PcziWDm5^Ϧ@NCl N==uGI7 @,JP'0"SޣbP5ۺ#E-l $? 6ǮXoLS۶hIL VDnm_MvԄg6@'Ϋm4Wy%!\IPJyO>zfQvFL*ӚBCZ@N+eYu*c3UL4 =~U?5ep._z/ Jp& oW 'ZEVT#fN{b;}Xe<#)?ܹ69ҕ}+$pM2ҹXYo`-g[|t)Xב,29KLNP>UHZO;hu6F!s&1֥M6k9,f7.5>N"{Ky(\ki-z`}gS vf@vn1 p{ ;hLAt/m@|SQ@& x9vE:cm>/K&:+KR9z>ӶՐ[M/GJflH=kf&eGvP܇Xx(e }Fhg(_ڢų>0f;zɉdzfCdv]jHd 2GQm\ щ:`V"tXAw_&< N?|:7&P[oϔIðENSuĿ:~R)UQ&-}uWW ÚLS d)o*dy~8RZ|IC|{PJϲ[ /ƻa%hZs)b= o!؜`'kC(_"V$K$x~a|sH_AGFKY-9EIJo,ųӺo]vn˰Z4ke9+KQs$_Wc(WR#9PR J LX3iDYçe.J !t\rc"_ћqJLDS= EP/ɅSY;0x N;6R$3푩0x HcIHF4AZ(;a[0}z[*/ n}vK24dcӀd=rL7?K9zA;7+=S`e2ňTje6r6s*~f֊(J,'hH_Yns$%KfU*l߷4'Q1UOH_Wy"fbh'}LHH~V)HaB,znVz' ZnoԲB,:riD׷wyt4Qp ܟv"n.EX6n` U=d%Fw[La>b̘OU;29X\$[嫽_x'9(LI,/=[KԱC؊F q9`) iD /q=U<{Ĝ1 ZJ`R iB\C\`?텠#8䤻PPӠv%~)[ dK\ $zr~Rbۘɶ#&{1LTqI~|*dt}B};6Ĭ/ͅֆ!!~8vd͍sڎIm_  \卑2f b~;!!E߉p=~]~"@' L[>7EU5BnL/MfYxQk]}x15R(ȡ*j-ěj\K-JD;OrsU]|W(AH3T,8⍔x .\G1?.MZfXwwaah.FheSvI.L\<^${a6|$ ̪CاPh ?fDs.a7 ?8ͧtC1v;fD$-ـf&~y-dd>TXɻ'g~a6%`9{5f/ ${>i8*cseГo/rr\L>?]Mgh_ucwں:_a]$pC)C(zHE;]$Jm9Q%1u J넅tb[Y 0:YɫX>\ȃfpn\@oK6Br,lNor#a尓q ^lpǖz" vq7Kh`_rXkR}g&L9 YfL;}K>#ϭS|F[w=Ӳ ]!G3|G`Of6[|-J_CF x;Nۺs]-"|>coctq7#Lu6Kwn,~ue$J+hT}6)^5 gԐ@Tgudo*ɱŭrHo9r?ZNREcg<~$w:bgjʪ ƫj_mk"{jq,y7 @ibe xђ^}$f}~"JQ(|֞W $ϐEW쨛ܭja Ϝ>kݣ [U545:[dmknu]Lo1e")(d+y-}RaaϷ4SlkgߝAͽ7{ I'5JO0<(S. mʥu('S0j1ۼ[˯LvsJ|d=Wz]sETY{" K1Zcd-J1*V*>Pp$ɣPש-Q\_H x$#,;bcD_nNߑPY[׻OqKW ܓْ1t]ìtR yudT]>a"Q4T029|-8BGGb ^calg{9Fq«Lu<<9vӗp'[K/^qF6$:KBEsr$z?ӽ~,o8[\Cm}ЙP{ vXYVmsdl/"5m\ġl/I`Cԫg^]q\vKe|l6HխLGYHzܰLycXN|6ݜeb}=,`]$ ]ڎ/kďy2&U&ٔ`ai}(暸PO S')ǜHE$2f( #S,NdH clWq$rͿ=RIhr~.&JrLWxlvvQJhՓPoE_F]øp[e,:lZKRn^l'EƃRnyYsb. P0yt3 |Э)XΕLNʈj.8Qupq V`4J$ Wұ.wJ 3p^^怢cKAdHaâGC&Ò'jX@Ңv8(.: k:'W?bΗ āu -XoAfDs_@Yb݌* 5k2>7PU;JJ\tnP}̭ 0٩L`@(rʦ$dShtacJ#V?ˢDOMІ '|{N1%_hBL5w4 AjXILlcMvGXhLMOlmP:ւRFhևj `\΃L|UJ k AP0-ǎoaŴk6vDH;jaMCi:AEF9]bJmBRk<?,@9n9K#)h^3b+V {oiEෳ,ٌT}.qĈ3>ȴ5PQĒd2Mbnr+"]w& OJݫퟀ* ,|q9yMKYXS ɭm PA]%%L?k/vWyƒ O%\]~d1_}m{P3'XFR~)jKI3BLm5 faԎ?7\JC)yd'iQLx5΂Mq7xm2S2Z19nF< مb=,j%v- LYYs_>Μ9>6rgXAe+B8&IVTl"lL\@oV+(g9lNަ͹axLBem_?L + 4U!$!][p\.yB#K /CiLbb jc 72p~C︇ V E#Ԏ ?t -Y\ۓj'" wOQص`BQ9w4R$wu}'c?-û(3F p sr: :ß:3]`ŕ2X>}yY/OS2_XIw;spߎmɐ2d)_͚|)S޷&?FrlwU'@|gax[+7%ŝ۶c`r,Nsm*D`)Ba7J<L7XwkH$E;tJ"&uծ\곓tܗɂz0E]kv@=bMedo.V7-vD3RkR~g.9 ϵֈ-gm%>ځN(GT˚Np&tJLkq ˂猦ɇ(#_]Z$4?">C"FvN6puM2@WT IF{3=o"fFxi^8?[EYo|TiWMHoQn56I/jeGG˹Ky~b:RwhO1|jj0_$.aДKpq#@Z0`')*0|4|e@*MeJh8?؁Py~͢Y]`R)ye ހT}5$!IYWLgE.Uv#mbՆn} lH829 ?Ir~4k:ZL`~;qˊ1X!72 !:unY&c$Z1'NCp_% p._CsPB,(h0QPZG[Mmy8}~W~)H|1<`54).r~7?<}F FD*IDا x>u5gXc7N``//,1yaG79SyLwP}ˎw1}AR'-7[9jME]t(zX{!J=S ycpoYwl*ı qϩŒ-̵v\dm'"s64kԓI=Waë{"C CMʢf-$Ћm!P[bDG%l} /.;iXwX !8*Ҁ3Hs<Ӱ@K.[ 2pퟱdŇmKW+ xcFJhٞ,Y032ΛR8:D =d/Pt=`s70.!6BB':-e}3 `7xt-7yp.aYbs|qə0>Gy9v3s'G#/pDtBrcAb@HtRD;==opіӶɣ"bTbre'5,㚼&a׺FVcb~j4ޱ0xGSx.1K$o51rp#`bD(<Α*\&a\dk=_֯5)YAL *47 U*Uc=4HbL`^$䭎ՠ`ɄKg$Mۛ81+"I@<O dajeQk{R) W2.$2yfǭC2Qxaa4ɋ~^6Sb[o0 n4[I}cR G=UJ5h jƇmv9Pg jivBg{:?~x. oqwqYgHV6^kX;TY_Dɇ$y5ljG5B) `.fkS')RfAq#2A#:pK*d㾣%35w}Q)~fLRtgTPt@: m:F?\hA֚F'{lN?sXY4SVbcvwrr:8TCu&e?1љ˴^1}1CI{i(I)n B W&bq6Y]SMg L@uv6 Sg;3:R-0j{c l`sRpsgs켖$mSuZf+0 vCf~!sS?XȜմΣmma (JI>jO\ٌM%SL;aɑhʑa,3##u%K cj ]qLn`L=mX_M2 [|aMu0BwҺ*s\egNѱ7gRÄ>Zp{l:\Cxo͟iѪ~?_9E73]'3 xXaO!y\Б޴`o~PfN98'C9V(~Zy,k;}u)46I 2]WMߜ[YV,ZGm2+r f|a>ܾ;O^9ybF`bQ~H^>[3pQ- #YDI>*olktR<_`( \ L"x8^Y㯻rt=j VYE5⸄ܚ`l}oWp"Vbc6.юKINŝ~XPl?XX)fT\d}Bdtݘ׾qͩ%hn3YiRdCʾ$3;P.lDA(_/YWZ(ݐj[L|Cye'' d;v}a2ҚLsO5dls%d%g\PgW`3@_CݘEd?mIIxJ8O s;L'?aHf?ʘ)+lui7r ePwٖS1KňEzFcRUbcҺzS Ghn~8y*o 8; S@j5dQ$dI'xt2H[c3.¬bI(2HJBtض1UkT7@/Yqj^')ܶY";񨊴]}7P{MK2,ǼHF #YfcͿY< 9c x$$@Z늺,Dz&=FKDZϪ$e7 (4DX =F3zcwv2fOC'ǒg9klR2-b򖽆NV!\MG3#Ka_&<碋(1WV_7= ,ǁ jT}H[ˊ_>\y29;X|CȪ4CDv{RNG˴ðYH͓e4_-b :`IY%P-Ms7pdV\YzMc<`=mEAi2 7hvdmil ce/֔UqXgڄNI9Dl㑫[GRI' >ɵg~f PaX\b$RNZX{ܔZCQutIݭO1HLgmhӵҟݴD?6.Ð%FǷ ι"A'Wi? wuف}[if|JOE~t[6E g469/(wR l0'!{ Ɉc#p># * چf쟗vEq#aTIOK0w$~"E|JQmzʹT*̨]Ku`}`%jnLf~50Qs26}q3Э|'}**u长{Oz:߄ _sG¹(( ׷@^Tx΄ɀ!qEˊ8~{["nDu_.ŋN HÈWG<9#T0c~-ӫ1s9Ǔ64F0Q9Xv:#=LYU"zr\c46jQu,ёU:)svp;^LқHtpd`yj5+.