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~|&aiFj[q7D_ ISvg~nV|2(%?91NJ$ FF܂PP2_xi{d2@?t|)-hkYk{7>aWe=de6.0LcFlru̸2 3 7X6Oނh8FX xY;%j)HPؘuјY+2|_;Ivn)ę6讲 VtKT"g 5ĕ گz_muoԿm{ p`tiFǩECШ`}Z7ب ٪RzSsj*AA@ <7u':ٛЇqOhdSI;1=lclc58{['iՎgkz@u ^@)9Dڂh*w7y1?+u)֭eD 4ffȶ _M5T2y:].) Jmhq&7˼[QkmWjN[&{E,,P7o,Te<:bmb%نaDx}䬲3;ݬc?5ꑂƮm0 ]I^xnYLH7Z i埱gYZ7zXZִF!  ]ŗXiɟ1)*u%9#ثXN4SMsPFfLT)l?J4O: Ia3FϪ,Bt՗w0v!\)!tv1t 9 HOL-Datatype_Benchmarks9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id522N9G3 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 |-Ͻx"!CoOIpcƂdeS ]TL?ҥ dX؂+.+{\6󡅞CNz.3:#9qIyc5v5 -3;:u2aK)=RZ1S .5@4L*UH?k4&0n8:֒"SU(Jol6t/wsw1x[lN*bE[mQ }l|fT"y(JnKλ]b-Qnd[khC\PDzHh$AU?c/׎A֜tf#qNJ1¿fJH r\BQ\ɐ1lUJU%<¶&/%bϙ9ZͶN‰S!1fp8Ʌ0A5z{BY_3몢J^ސёR:7]K?Ef 5"HEAܗnix(;5tNOy ؀".@)U@O*8Qa"4@J̮ ]qNU7H? (1?a]8/}.8M{,iF:Yl1S$ЊLrh2m9ۊnj9X2͍1>ϧP6=?HVkG?[ h==uf>82PMWBlCf|<|.BwwOo%m=8ی5 [@'\wڷ8maeѳ5s溒q?Iz=&@Dq77vRoKPpZ/v; #Aՠ|OȽ?\E:6 uVB/$$.ČCBo5 >)5 O+WqL&HrvB.Q6BzUOl&wQg{u2)q2i3\r FV91z }6]4Fcj7j*@hVKPk 4񋎊:U 1xo.lC8AX f7:m?FP6#~Rކuk?t41]\QR65C=֢Ј+V \PX }yQ[K t!%+i6:+o쐰 /췏&)%\;{Q=5y/h %I/ž^=3Nq q1tHષ+grZoX8AI4'@A3,>F$725"H A:?uLM1 p3ϭk,ng_bTgHq9 0j4N@bE XUep 9.&"~Ќ=ܬṭ՞[kL4%x&`sEI*Xҭ.w뻟L\RYG{xU57/5d-j%]Z~4ؖ UH*j$ni_À q_S~˫ vUζu[}dmi }NI)NV>'yD .Tyj7襸F*&wo_jteCџVCCŗ,:xQ. > Z Wp7P'Dc&qPGc" 0F,U2LF`ZkA#Ti& F.crg{ tIȲl̃܋E92Ah'MxK,o+0,3X PXácmނj*zvgs\_f5}aq4`29VS{N(GGFDH ֯V) "ߛIP@ %3KՇ^ ?2e<*Psp'(Ju5i}B(zU%ս<uޛwg&ӀhtCfD/ߒu \qp.' lp1.VNH>=O.L7&cHeFv]H&\ fcE KQ{꣚d5FatO)88]`.;.[֕Bf*/D$2F:['_U#ŵFHJm*9aO5 KL'5-`ݲ YmNvbD0U['} (!c'ÚuI{ J< ̞9t~GRSH<}[Hlnȵu&e)8uqfZ JN]j.h$d?^hM_CtD}B\ロiIC6?!1+QyYY;Q1sLhr.fbW5^ooC`>|?;jc[IS/M(vX]=S7~ɥ(JHp.G4P#o9K k{jnKJ(En$ j]xz42S3!އ+'@uqڿX K+ B%a{z,S>9ލ=H3 O=MD SO-,k%6qkl%&;/S[o3l]? KFY 5{-湱&\ړkǞKT!۽]ڃ :,\ٰ ek/CkC ˟i7gNf11(fG%.W8U95>w{ 8bGQ<:d$Z.^'ARkFw2a1o$T|Zz"CGTSofyet:aMBp~,!B*A IJnYp@m  Z# ;?E7ܲ#@y>Zpڵ37*sJ[ș@:k7-귶FՏUE[7ʤQ߽\QrB=sS8p{u2ݖ5wkӮEb1`kX%Gk le^tv`w]߃%|br.Z_ `ʹkȱBN)z!gVڃAq3'vv%z]~#~ZS+J RaQB?Iv|` 7.ݺnvC"Xu8đؼ'ay%`+^[IH)iĔ.T_sOoHQ/ ̪dM>a>3_B€s ^f_Ė)=Ȑ;eQGzZ@d*>0H`~{!8~ )&T: gݹ?o 7>da$r g"4l{Ž\L%e8ۼ/q(\J]1Sk=93Mў,Koi!i$&ʒ߳}n$6 SM\tMt=>R F) )g9f[m*wu9R6AEp}4$0ܣ\";Yh |DUW.s}~aH.~uy@ңLM'4O:2Sx45Fjl@G˪J1)FRZ_u:Bʄ$+iOÄ^1XQm3Ͻ j ̸mϨ.c4MmnJ~d- gw>QJo0U#DT Yy%79~0}6U6s7Rcƨ%tGZ1m%%7NK{?ReՁ p 6CE1"4[@|رA޽;BXI S>Il Qfis9^zZA J0'Rk?Pg.D;38\xv˱YJr:"Mnȡ:F6D/:F~$u_w1 hGcra剌Jh"9W@>E;?eBP^I-:60[9q H\qD51,PQ.B҇~w[tzi&"xx!@Qh. /kHJdG^߿xi/\bp=@撢,L!}& P|e׉ w %XFF؏ۙ*= <$U4+S4%.AT_ èc}CPw 8f>=K7b#cz{X{TGDs1'@X"&mhDi&ُʟ쯸1rjpvAJaOLr&t$\YKK'#Vj毒 Ey2|(HL 7m$&=EzVwkWܐ;,[GkzM#wxSNnZ)% ` 8LǓŐ,U’4p`I\i@20]sEDgsR_b!AT[B Dm>L^H=[c6f>>+Xh1zf:ėÈ1)CmwKYx:ktmjٲ3H(jLPv²W:LQb՝bzu"X}95[f btegg})~P҃"@" ~8E)XJ/ΩEVŅ19K6PpZ^aa1熩 |Նƞ3\os"n#a! ó̪j*hԉ 8H4i=gHE%{GO9 2V3 Mj=sS T}E m!?n:EcIRВgh-1q5'¥QI DbgoBLIx^ ]+IUCF"GLe## 㡤h[]e?&Ia| :?ro* } Xŀ_DZΨּ0 7qbJK<̕Ck5'<2mz4j#ۥUqFcqNu!#yU!/YY)Pnۆ)H_0Q5؂{)+7)jf@;-q0H p]i)E\,yّ1)7VU=yEhǖ3HaO<$Yiw5@߽gx(d3UԜiGxBd0^#$^/̦fVOs[ 0,'d"""`|Tym vhkxraܽ*h́L_VX+wTq` k(,OWLx+{Yȝa@D~67E`>1̳%*q3j~2$>T&nM|r~trzMx;C@k"<-Xui,UG>T]@*7_/{>Z4RY.)?ejD:mbXk~ܿ=LmW`zE4nUZU8_wǭ?Ӎ DMfF*Sdz{V J`WڪUPl%3:s*],/me ZD c#$|w6H" P"E ScKdiC;ӄA&\aPhp^x l d&/'↲YpA xBG7 ֞t69d;nXƈO`#oB{+lM;$cna*+N[i 5qc p6N x~ Xnz~= vd4Js<]7ɘ̦LIy ]^D1x8KLAZ 9٪)Æ$J 6S3Y}qkLoXcxs+Vh*X&~A2W|hHfS7B o2-БMC1~`.CO 'r>_Wr_f%w 4ahWq;Q[.L#Bn0N :LėgHL'"t-u\+/Ih)INoȈqTbx_hܔSCKƤQ# B69E&0R9}_=L%Va{t|JX`^!"w?QH'/VߓrnVNwr:k9_"VxD¢1LҊ/bc*u"јLGuWʁE8C`՟(bT <[I Ѭ7:-mJ ehD#'qWHs;Wd66ܳZ7Sb!?(IK8O BKgDw6\]vQ]Q'.5|YN@;1eCxz<ەj pgq|q$ 0(MУ'ur._X-Ijf= [ŹHj\C׻}55ٻV- ] ҷKD]j0L)a *NqZ,~S۞/zP~ӑR&WbRe 4sl_F췍k $="M(-܍z-(3 /C҅j>} _-ʹ'ơ8 yZ1?Q2gv(v$` D+8~7HK>d/7k\ib_<ծ5m#U#?97 frf< zb< d[~ŸcB}vT6OڀO7dp4".,J`<kaOOm9a-r$!םa,^1-^NYi0EDcz7xMp4C+|-kߟ|Gf\'otiؽPaYĒq\7ܫ,Cz~X"̟3}ma":$ 30x\Uϩl/@'x|"V1CZ0[] 4]x{FZgZcMO4[Yo0s7aB|-F5xڥ^|kiǔ{;jP%Oc,}R|A }-r؀ 2qoNrztY*% n9Jy@}$=7I*qpyh7!E>tXI^k6ck`рWy0TUqjS HnR7{2SҽKjD|X >/c:1~Ӥ3Fz`/&TʄBhG?L8%o&ƫRjASe t늇F+Tvko]۰JpԄmum;݂&Ȭ@ (JA~#ƇCqgWiW^EUD!-$Bvɐ 柎#*jn'cNXXw@ ԃRٿ+^LZΌtHU7{Q;ya"{rc` od EDXЦ]E]66Y1q(K/.Z@W;pc7*Y!EsvKe'/GӻќB ~{TPMajUxkCkq^S@_QOĽ6&^-cE&QOv̜+Ho&i~q0S +Ra{; ’D0[Pm(f#Wt)uK3Et,Boc˞g1Ħ*8G/UCW N{ 2J\G=t`jzQ'|\Om Mt6TXЌwRaqqGD Qnw}T|0H3&@=Ώ4jRԕ26gv8y@٦W`I{'~xa3^lT[Пx|HF:hp .q԰=c{V^+y9sjݏSh|0VKi/ AVh>JXvo$Nr;DF ZMVcx cur+@um>&{yO'l\h@>//O'ԭu̱ȽFъl@f0=[Y4`uwihb:m|zME˚/v,V *(stu!kLxWXڝ'l#"Yt >@mBk w,"ʪ|eH[crDh"lRBO1vlϫr8{, UBYfRd@ qZRՍ#)`ܠ|Ʒ,vCH@}GM/hyUp ƪs>+J ֏9LӶE6^^I_#O9u5} ^>V4̀m& O?jcF M_$Pa7 ZN69DCj浩li"=T_qY5t"fc4/`O.~eHfQOR}xxi;>#I6K]<+j߆>W:NE񹌃Yk9*5҅ f>{}b}%[&9ON'?%pp1s-0À6Acf }mW rlzE.HI8k/܋`3.?Jp e3;'a}JE?0.zF/fhiKM T-?LBRKqSrMhmt/CN(.bMp2[cdӆA8 _.q!ִ8>2HmecaxNpH)Yh4|b؊ /(1"6,Q9c;z\gxեk ٪1@?n,r=j-qΙ$?ө_!  w~!B .'Ŵjjbfju@a$A9PXj|W'Qiz Ν;[`h }Q~`"ڑbw>~h #&j 13DE_ k8ɢdAf(npRQVӏP1ƵU2Q< 167ϑ+DIsB1cW5twFI èGl OOQe\*zԃгMq'ΠDTlkf0Y|D (Lbˋ3uƊވL ډyQ9l(CZ%_LrL*=ʇ׌CyY"Eu1Yxhm/UczMs/Qdrf .!swIlc.4``l)2s .P>S"Kfֽ"vs 5jTϮcq'vN|VIx1j?=h}Ff&_YapF"D䫸(pK5ҙ0~dh<˔eռbĴi|uQtAΦh.̟[Zʎ8dt+J+*dU&d2΀;p*:+\ g>>9*%fSc-ΤVҕ<&nLl囥ʽη\#'u| u𒗐ɰ߅H%5 /ϩL{P$[nwHzrƍvj*=6YHWL%;vv/`ZkZՀɉǑgM5ޮ Yd2؉89 ~h/̥ƄrWh5?9Um\im(XXՒN-߈.DB~ xN(%N "jx)KDq~ jB2d Jٶ62 0ߘQ #43R =\g౜ 셻j%&"z25n-OGu-??Ƀe*eb*AƵ<"jBO CcXT$4xa. gZ[vrEnԝVJXXon1J ,ތAY=eLUݻgѽ$-apڵ5>(j oDtFW/~lW;={語X7Ǔqw=L$(}oQ?^ĵ}>æ(>foQDUjag ԣPFS%p 7Dd+^ٸv(kL;J$R QMym@3~XHOg+ԩl|?;7Ko#D'Uk'(Llc‰ftYA+tV>z143ai&!<ݰlp09C+3,u6mH㸗jD TBp(~Pɠj1e.B˿s/<~Et} :Z.j&qGSel[Gׂ?2,ݯyaFIzsųŭ<|f'E{bй;ޕ#,9Ibm?} ʼgӏ%hQ/zV <1UA Y7Vy\fQ`r|x܋1i c E/s٦v}#WZǾՎ\"ޖ|OͰ4Y=dQٯaݚe|N#ܹNap4U{:TDb\lɤA@>{S,&{l!nLWktc?JWoچ`! ;8ɬyi Yžqe{U%X]l <2j/$xPym\ u1?@\UQ/t9rG!⏛ +o $͌RvkP:p4I8yF3fҔ)*ɒRLÇp‚ W#@7t8~=DЋ7y|cd5M7/6Hˆ7̆ YI X4,sn$^'4}Ђ 8]gMUNH,jtB8 p8i,Ta?2`. 9TYA6bN=ӓ a_圪l)fՋÓ#j`$y(HeC X@4Z9vE(t0Y7tboOxh]{ɘ \$Aq'P26%VbuR<[C'v'4J-I!<6%>ӑCZk]3.2WҀ:jMvJQea5ю#XG<. "yɋ ia:DmݙH0 ʧ\ӻ_mb7@"$J ~~cmwVN *i4N_(,w( B{<;StIvY"nV.Ši ` LGYNJY6:VuS4|)( b*meD m8'ƞ+GjjcErqdAUr,oɋ#%I"NXas/_y?(;) LA{ D*wV|#0",81[73Ff-mR?` UfmTD.!7،Œ0;LljFa*r~#v)|(B%q~#3oj$AuNбao)6m!QʝOE&hC?3p\/LiHps D3w(Pdxe+?.lxl Mpf q?F`+t-zjY<[rFnʣEʲ jv|\L_cAtPpp'ߠ7[TFz4/*q{1;2 ́m!#鳦2hS1v4 ZڔH/L$`D *8&$A}*K\:Knl!q˰|.Y'Cl{fsSofOEFd:-= 2uV7¶=U4FYϨt~^@.UhF,}dۈR/[Ih`#4L?jBj =W'ԻD# N& m,'H\o%Cvq.jGMy}òawjsx KBDX<)'ùIL`'y`;C a立cۙ뀮+_'5N 21<9ŐQ0bUe} aڬ9_ܨjǺD ?U|y_uG"pM~&C5+A.hawCUti=<:Iޟb\x2较zWqm@h<›&g/aXXzÄ"&w2peƋd~y[lˮSܞ b>yX5)2_ Q|%iz I}`G9 )1fؙ@GhC(76Ȩ .C6aKLEVE3Z ~OyfނQ*B*@ 19D^MSxϜq6;E%:9@vdrmr{vFUʏ1LF5kc( m1 x;^wI U(;DQcS=8D}Ca$oJV6<#q῟ʐu~\T ZJY|9sOU1/Ø/Q*[\>q7&O9GQ%VؿN}?`*N)dR0 $)^$o"ڧ.Am)mQQ3  鏒|`ٷpCr!n){TǢWKC״UJ !h(r#,R~ H4/и鼧ksbbH!~'q;XFAW`߳91X a#YE97hx|8DBB'*kT$oCM6moSC`Ҏ<׹_Ӑ'E$Ԗ\4qk*A70'FT=DkaדNbP;]31']A /NA$< m 8^3:U&n13=e4~\dR\b_Mہz"E! FG@oU/АUKw60aJ@y}ɳ娭7q¤`B1r3'^&ߖ郯 *`hҨI]pM1LIr䵖 @- oKIada~lYw?ݡhgÿ~hjenG/#ΑycnJ#M &=#<$FB6(w)F6ESU%1u#}V=:Ѭ)]lC9Y`Y- *M΀ӄ=(!qob<ըvQo @d& )=97Q&wtkbjGTn}]h}+)NC.}((j1{y!"N\!U8 y7ݑ&&EEz   FdڸΈؼuʔu/\w@2qYq\L\XPIQY)ȚK|x@H7%exo,ɽ= M/nS:W?HdrRszϭɓ^ɣ)P?7C*RV|y|띚Tq>X_^(xw%A,kZz/ޏd]#(Fe:ɟҮU/z% pI)%u% iU}r޻5$ 9F*ļBMٗh0B@i.7c]Ѭp ohP@Q7z*psUuX$5\a.g^0-L\&hGs?gA@wWq1.[!F6[,I+d:+/}e2udW( g %#l6;\{b[:HM#+@ T 8* R\[r>aTn[Xy=urDu]'Ykۡ_+|2 2oFtݎ}M_CwM2V#!G1XP~#CVgbagYZ ; -;s9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id522N9G3 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ܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H g"$|S;h27k?IzQđE3pz-akCfmG1i}ք;esv4l?iEJ9s?-.jq SlVi4]efWڲi{ @Ila}d9>."x@OMXN=egOn%a!i \XG|ᏧA~Qqq(uVSA):qEpi1lCs`&AL)g{ 9|Sƚ9Qik>cwzG?=Z|R^-8+PeAyeUC2aO\3n: *8@*Oddz|K_S+{-(,IbԟV@XrKXڙET:'( b,\NT[= # mzFH=C,MB4ԫ|1W w <0/7(|gn@u0(fsYp,^=6]/ܖܟ\% {0ݷ$er3LS#q[!{<0K+>~:'}od] !u漎{y}[e5*c-k mfVה&CQc{{| nH5rf;|f-!4N#>8&QԀ_7%~8^!B֣5T<$n ޢa2gnȭ@7PJ:]rDu&aLP5gSǟG*E*Lzlo'`'Y𤼅BƣSp JKPkMw1DB > >u 9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id518x9G' lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Imn]Άxʆ5.f-9 rq?35C=y;. ݉:_P98_[K3rĴHKyVD (  Q; GY/827l{U.REOAwʮy烗ށ{29x9,R, 0&`TW@m*rVzg J!UESΐ7|itZKH dX;6_:ïM_ ok&HVRmv] $ Z}/U #oΎm'{[է?Yk=qBCT!jΆVSAn [t2oѱr֝>{G*Lpf V~a1Eta,N`BtfM)zK@Yj{71_ b%^!1"۔6-̸x'QU靧׵55>zg'Ռ-bp;oYO@;ތSH h*<]3+,&LRv`y4f>"OD8Ztd6w#W}C; cgdٽ/,d\-vj9i[ }&vhN_/׃4imlrR <)bρQ3Rlc} kZ>bkN@,- C6JUc9{쀘JWuGkIT|[- ^˞ui73Q!Qq{%zBҌJJϥFXwt/4^X>m3r "$V.E`|v̀J翛N]Ws ڪs;sպ "L'T N>M 2ގ6y'gn;7<+ԨNzVTKDqo BѼm8m>>"ӗ^OmsQ^"}>dZĉ<KhTCLC~q{~+2 tܑDPEvYbNoِymm4Ĭ'Zh+6 ޿s/h] ^ȵߜLٕ+$+;^P@K hW׌b[\vr5w붻9a3?#V;7Bgбa̓}! ֛F9O5Ʈ+4"sTIкd8r Xv8+dM.*M;:׹YG7wA(尲 #H tFJjƂ'7;]9gи]m~~y(g`1 3J5+vb+0ܑ&"z!L8(0vzK(-H!$2 ;-4Qrji*k˨ÿNn[>t< arMt a[ԄW_]YlDݍŬ=S(;/)6`H" /ǔNڝJ/ t77k! 9('mXI׽P_$8ҽQ}z`E=5L/[RPV LUgYZ r!>9K' tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪚3]D?7 {?:fH\y|5!x3J )uM{Sh"$"'h'Ϙ)@ŐD#S-[BdN‡iKΟv7 wy7+vЋ5M<ծCݖ/܅25M M0r eZ1|m!6&PRU7^T-MkTDŗ\ء7Lv03KEUgWh!fVLcGΩ/ihm%,$,2aiQ2<7-<\aPED("V"Y˪JBWJXkTx\K[V 6 י! Aapŋ͈=) ႃ![0RJNZkȁ_Loqee 9K# DHOL-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 ~M+ 6&S<iU&f}5}~cdUW*K2J~#@D% Gp'qkslu+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2dbG+_ : _:puE&Vu~)x h'jxLikc509A8ӣy˱խ`Tؒ߄l9ԃI7WO$ JYn ?a5'`#LNr;",>ԢvYO z1?^[rgfo4͑0?g88OF0| (8R0unp0o~Mɏn%6AЭJQ⭠ 4D/5 p`ڜ@gP=/x!> \),y3`^T7.GhB"ǂ,a4_feW/<r5(ѯ[ XcQTjX)٬7VٓǁqSBpl؏CAlj3i8/ '"yLܖ Oy>_a/CUF%O.of곉;a?̷7jw>''xi(L8{!]ް^"c,dY3'5B\dwa̻08%UF'}.gn6LZʰ:,D¯7FKez=_ 2#z-\Y4K\aZS;B/,_ltSkO&d0& JQ?5;{g?M;14_$nʬܕgekDp4ˑw]qi޲T?Er.u*W#R4u2^@ÛtX*m*87Q@O-x0+ t?^rlD n@bOLEpZU^pXNu'4'֤J~GW?o/A@1D w? bg8aƏjz_/ Y~z7Oi!XmZ"YWN,`'BdebZ;;4ލfZ)ߒ/J|m_Uuzx* 5|PȂK.Baזa2:WFviekRj:Hw*EZgdw/Q0 <~p>AG:f UP|$K38l䬿Im3jnA/܀]- heL[%HWn`x"/e/ X_K3Thj*lw JUA[dc tqHuOՑrλ/*݀3Q f '_NsRn߄AD0tyMD`J@:'Axs&۳=(&+MBNZ4yɍ3$ǡyXgMU58t[b7o[8Elv)&!ZywQ U؆0HK8BXEw*^A$^4We?r\WGƁp( 15 .=5_ʋTA%"{[[]$63,ͱ'¿F4o]1qÐz@@R%j^7q8\u=DN"(K}v!;~M+n`:FRs$S9(Y/[^a +8GZE :1DnK0jqldǝ Ý076Qg.7O/*r{dh&fϚ,?$t9؈$@ՄOyQq$/]э :jW =Tg(}a4fNCcoS< nm̍UC2zq(S4 ˚6,3 /kL1`owlKQɲ0L 3m Z-mƓ;P7X?Bk8'3a 0YV>yz^͸ <M1@ Kf{YgYZI#%Eim{ΔZF\QJжnmN~ .ulOͿ Xwxd3wwRBB x@)xEOx~ ,̵rf]|.%@n˳aIGײpUgn5G#Ƌ^\?@(҉ٖd$|diO Agspznq\|UE<B..sKxe&Xdwn2Ϊlh|O]Zw4.N[x/,JǍүϦ"K01 .Bڬ0B'QI}_ :H%٫j{ݥ cЩ=@N"7j121;=~GZw1|w~/L@,q_k*o;0'ưI2 -ksKy%R]qUcUe`q(d)z\ BНŪ g08)(X*0._6_-zNmHx]O0aLy${)%g7!E,+p\ M]JuĹ7EHwۉ4@άNt>Y5frjDs3:A~|[tD, M[5K=U@Yze>1S5E^$ \/^[kف3kyL3O84דrUgrƥ,D < }Q5xg"fGϒJI]i{|:tR9cIP,Rm[u[D^?9ּҙJ7s:4Op.5`5r6ߜPuݼ zh:-D0%PٟV^[x|躼]hIJ26R3.Kڋ f SM ADֹ-~QTU$xyU¤M.ю&hy wHhӗ(+n [Q-a?f/(r$8B'KkbGҞb1Opo >-.q݋.RtРhRb%Jb /Qn *Q~y@{E‚ Ӌz*ĤRD=&xcZeJ\c2&H=q%n݅-YYJdgηzy)n[)>޾3^ڴa81O,+[wh4Z~\j`娎BIR'_o55a< Fj5#xkMc_տhT3rVv1dJ)n\=)9HNμdY6q >KtiC__k9Blg(oE?fLVkҶʾmI}> _DRܩq3eZS,.8/I6Jc F-@;r &{%P06NGX-Z2BzV5(ɣ2':14*XT"e% qènzCF'L f1Q|3VIS5oq۠>@9u3iaڇ"58>jj[G;9_,y#D{7+CRa8<Ԡ8$&(3}Sxȏu>X|l1sP|5} !wb ټeW ;[#?D:H$xiQEOf@Ő&e*Lj=p?Oﱚ$qZ)`g;\7o yQ7,˜ܺ]IQ/( Y*ո8~t{ӈ1{M {ulX=lT=)}l4`XC{uiB]G,[+&5Z&aw!2K״=BTt*n׉yak>EOEw  B`liBd,roL-%$׶ >0"#X3 ۽J%#3OkHBB!,%"߭aw\Lθ3cSYcL/Mp˼2͐E: M$*S2G 9N/ mNp2~<CPϻ]bbYˀYߠ1 WE-`?D}מ0E %3 Xo!OjzUZ& =`;K~ȝ$^u|; oP2ބQs^ˡʺMSS^,f>n q''ĒFi45vTU  e%!DQQ@tc1 ٓᔱ`|I}]6o"f&Ьxd1(Bȃ**Lh˴P]QpZ pv$82zrx.q2<}:.5[Ξ5ߔ\XQ:!aM$>H>g\Y7 1L3uL!A$]KdIHJ~I ы,IG7z˂r qH#!aqNʁ1&Y1ѓ8P7ݿ0 L+{`994NupaKo!:ۢyҤp'*X :=n3BL"UO}#87͌Tk?*>n.6!4_CÙ)/*j]ByutO*s n"~"v\F$)o4G ~(l)b \}yBl#[VȦ̱gAZ.26tJNH} j{/cCx)"-9Aiorb fy8gRU:x.JQM Q{2im3GB5}z6D9xY惴A7C˜HG} 0=RVNsTg7Ulǥf_Mߪ {׸< 7Ս KNBcȚlfu d⒔hЂv`0vfϣ!hϽ)S;Hd]xKz>TV*47c#fL^M*~X1qLS um|1)K88\OuVM\=fPMZ<׽BqEkr? `9PORn~ c.ǫfLjԾ„PO*r5l!s+j|۸*K,+T<;{w7t٪*^QA- B¥Pr7m%8C~څLL{"2SMWH8Ckg_l6 l֣mETx$Rl? F" dn5^nh Z _J kyLW!X8qET-8¼r4b䐛˕[D'V}~ ŕmJjz B>2+\]G|T݃`+\P>Sb7j4Y"_{V -\01biɉqQf(^ .KPީ8^& CH=Q@y)E,SzO+#(eo_O55ngQ1&{^+FLi@4+!Ia>+; Y!Үj#)PSpx}/_m+H>q+v0<+q/0 LAJTW0@tq<- LҵE ޗbZ6G\Ш%D5G7K㤰2S1: :-an5I'cyZ*j/K6bea5wMz+)VAu):}\`^A ۭl~W~?`g?Xm\&AqRBָO↜&'taoP >ɇ̒NBmglx%ڌ :֚o7v/YOzlYkYyvkwk*A$bWEz?;J".SvSbƪ8SԖ[n`| &ǣ8?Kv=,fB>l5\*l#2A4 1@е樂VˌXBSe`H߭b43v7)x}zl_HPӑ]~}k,f7.4|];!i NVE`9nS"Ҟl_Z+ʐF ԳrUW5 $ͮYwԪݬ04NI!orEZqq'gXw3]54Wک%H&Npx!߄NMd=̙h|+GD˚2'LD5\aRNg-51|ǀ:&O@C5bL @);yha 'v zɢB ^L(,4!*>-k;Vtd]Q3"6kaǹQpSo!Vdt ^+pœj8I\f]%XweS>M3vFXaF.0V4[,}-]KBDRÒ=H͋\jLmƥK0{f l1tIB'EJ:9e^9Ċ5є;`1h ]q]KWz_,r( AXtOn/-_?cxD$Ug4cd9#6SvԿHl-7ʱ3W[˨Cm1'w.J0wS0we D&D$'J̹1^P_3E w3]Da/ 6H\@j,f-IDZULmb} <$ uRXc|7f@\r/x'Km]7JꠎCO#h Kx_dXkuS2e!^|Ћq'=:R[,tc}[l\>ktJ7k'<9QXZtYXxɒ'ĊvăR7R{9_| $Ve|w箙fעFWB!* ~TӉfw-]"Ӏ_CQXo2zX xm?RB ^(y{I)]c=IHiɬֺ/1+Kގ& ;m` RB8T#P[wqck({?¦8ũ?K C|p)=C芓=,w/Z{~-5BM(T9NA7]eˢ N8XZ[L>碭Nj7FJQZyCIY*%sƻ}t>gcf$olxd~ď(လº}oRyH aE-'úP$yn @r.@ N0/snRHLg tgr=W M9a q'?Uf̱_<-GTET3X^ ǐ_0HWKӇֲ)|;oԆÖ}K<E|9: [QYMw@9\GԐSMSE[2\tыnSTq;F혷`/yMu M;K9lkB69&qz (SԝSih9q>ҭ)[B.{uS~tl3@ꝠMCf:*˿Eŏub y Ucp௻<{Kɪ@oSE"QOSK;q,gP9;]x%fj>1OSKwF87波lR ɤ8'ΠoKciVT Ie#f# iqJhյBx1R%%:a~[W7-Wc͞[IX LCFb'pjC=YS3ԋI^OoUa c[h ZLr ]? r>hu9*x91GBR n$#.wM靌hzfDG{Ha?( <9y uL˫U_՟d<+pcFY%yv3 /o`s2Txa(VT]# dXrPAr?P7;p}?!2BBF JI;)Ev~+Ia%+/3t[]$~$= k&2h,.~m]l #QzW|^\K|[64 #.CM1Z)8^5+_mcQJ{˪s".b2@1P D+r:hN"joK.;sM 9eNf2⌴waMhb4Cb5UimFWֆp'2 z䂫*ss' D7"4t_f߭ybSJ mDx jV'⧅38Hdud͍X=Xwz ,].oҽ:* RЖ)eRq+Z;$P2lE_ 즕A[`;o7WB"&⠮> 4%?jǓkk |\ǿUuYe7܄-8m;J\^P~tL!z*m+NX~RjZ3OMy*MG:j4y,‹flNd5/U< ׋F>}џk*)e9~J^o@>\of`U6ϫPO%YMi 5E @_^%~eR\~˸^i3%|GSn)̅P 1њ(gv`UcHA((znuykl&擡g]E/yq=]Ebۓ0'5U{&uI# z̳^q)zX@g'Q[ȹJQr,=KvBBx1YrXt$d@N҉&(ܤŕLMJ#TTO7yGz1_oHeb6-aUpU~G١mY0nsN:z<;+`5VsK,ڗL\Њ(Xyܗdk!SXdl%D^&7Y b1vftS٘.|(˛"~'W;Dx{HL6bǖ'i8@#z6ۅ8'h@}4Aݲ"Vϊxl$[5t{߲md$s1!N4];]0tRuI-g[S(@ O{ @yY2/adWhɛ iB1&3ۨGj\[þȟrhn v\qӠB<͠]Nkr #RM8<@rqb80"xYjd&Sr4ngNsǡd.l| 8lWŒVp-RM: iVWp朁:*|d`/OQ|X%D g)M_ 1ԃ9W"lo[@OIo ΐ$jST2HM,Ā:륂sPwk&m{ـfw!ْ[8Z rQNzO7}J$bu駩ˮw *JQ<tM\"ld݌{PBGW<_1aVlw VKZ9I9̛;2dޓ2Tvt[+db&c7F*:<"MC 26iEy&rg@ ~stgTO!@-s|sĺ}? a@JVbmdX7勿OVZ"43.Lô 1-/<\MڣiG$v~Do?I  fUJ )I6f *`/RµVn=mi 7~uQ!n~z1>[/ld_"K| ?9%c-fc]x9Tjgl5Y6r.M2)bCP<{d2! <*L 3usF L$R2÷ShZ{sW̹mh*{s?:B-daxl}cOK:4'@Y  ɼP^wrP)>at䛋| }1.T HSօ* 5U4ޟS&iQT(@!k ;u>SZ F˓bK>ׅnM;@z/MlB1X#}? B|v|nrl>KxgrSŠ40G. F7=!Bj}~TZX1Fp3SBl+§5Tandigl9;r3h.C HW*ս2o4F m9nKDx4˥vP[0 3͹AZ#9Z|HZ98tes<+_uW@4M'FoTShbyq QTs5Bgͳ}n>,f9݂Y\_sV~ |.XIN(jv@kɑ#RcqQ:n" *&Q2XH&,#X֭{u(Ɉbl(@2Fa97K'́oj|IieCs^U*­%J%^QItΖ6a^@_A_Cn,kLUvY._I6 Sڭ $`y)WM|Zq6dCtH ^hrE{1qܪ&?-{\zB F' ְ]4kn94[A%TFs3 ! rУQ \(]j7$΂hFļwB?{seqPҳv& =CqCD S,HՅQOnҭ RG z17ha=Zɬ^`2, kP,,zd3Ulr+F=K*@ڥRq;X*i)3zǍ Vϼ3t8`gàdZfx6@Q`(pf$U. @YU $ovZg)q^[O7ab`)h óPED7P笁 2P\)dӰL#؈`ɻqbw뒋']8 F{xp8RRvi3oֻ T:춷PLn:a|@C[A ՗h@v=};"yp]y1 _yuV!5ri'72v˧.{>ğ86 -x3-3sVF져UIuQ'_Udw˱Tѧ_J{\$Ҵw=`0Wh~`y?84s"K<_M$[j'+IY!NxR(h4<[6/-K60)' 3`EN]QƧHU76#-Qg':dM(4sLBYA3Oj=i(3pQMȿf6pY714]$8;WQC.3}y*XzC/뽤Rioזf!zbXltP}v`,?u>6M5# / s9QV1{P-w{M /\C+__GMޅ(VFNQIzĨǘ %H ,LOO;GQX#<҇*LM]FwQGsky.ik1!}vjJ3VGα *!ph/ MBGI;Kp >;zeb hBbnVx9ϵTf(&8Xw!~X[/G+9ANw7;:}7Zdi_3XQ[X|dtV#j-9&yIi`%I\]阳oۘ^o$ svr|ԼlsZ!G#(!76bׇ==zΨ uv_l5ۡq[w@%:"iK?ur*{,zlC5m4uߺ"Dƈ],?eGsMSiJy Q1PXqs{47}H a8I?V…U #KN\_IR0kT7ܲԘH'>77;wPO+@՛g=doE_hk|MQ66\Uz݁6<;8gsW%FӬn'KoTK<-J5J͠j#Ost&`$r4vZhRfcK֡$zR}\JOLVILw)/ES]Y/Ra 0.#[ξ챯.P9ZA7>AgШ@A@v{jYC=>Xl;Im?3z4j-ax ZΣT0 '0zZ'w!xkm]^b.=`BtIfݡPXٜrв_MK+7K L! uy1'W=p[{m1?%EQzb + ߎE*8Sʟ"~'E>$[pz{:səC@ram؀z,x}&|7)B$+# ).~PTl巘BEU1ϣؾp>X!Z SNb.*i`)` RDS@ws,Uj+/lɾ{HFOS>8}Fw*iRcE{&KV\)`6Ӿi/'GkX%!aL[{gHoxWrA^Cpȏ>n]9YnL=1ۿp0'GSXT4Ǡ)Jˇ$A7c;`Ղ em> E^ _8j6o LK~^s`]ܺ}ʎ"-A%7*3)s7QSJu9ʰN6* c 'v0BIdBK=\K|aiRiZBᄍglG "t+ۛEQJ`.>X :n)q Vddf09a'(MV61z P7 kL"B')[/{NEǹIjfD0l:߇|xK%>8DʣqA[BNYhKQj"]Xɲli*9D4tz_Vk~pe.RLG<)Tj] hvJr$28<4_w5P-f1j{{4bD8 ҕ"Bf=u7dsQ@8_(-׈1#|lU>Uf!|qoU9K_ѺyO3a] F^.5 WWK2BaA_EmȤ灡CF{^3Q̶ǡ5,wZv.1"[;{CA\+A.=($}6(Rv--n qEWvLj]zrvm FnYo3Y` h$ 8nkQZ{wqoAr-KsB,|ƈh6jK X}vi3?58UOb=_DCK2d,!J/Si`g] 뾒 _^F3AzA,,?a#RX~eXHlW )iU oK89M/v`Oy}I^(l";GTd;`RF;ʒ4 z PѠۧ)5[Y[kk d; z*åH)Y*2I󭌏'Jph6YM{FC+#8lSXt%U#4N& WŎT_mӏuOU%Ƥ8 \6xm̫uMv p^Lx-0-g13XBKc 5l٥,q܇ڣ~$ 9CHPs/ de8!g\,]Mೃkv0l{Y΄{}"9pV")\ ZCΌ{P=>?w0d[b)9t w۱4x:ە%p [ya`:SjD㚎4URsNC *!pq#QjqpQp98_6vi\ S3P G!Cscf=/tJ+\|;Ơ%,]*>;-PՎD@c!v<BovG@X/&@i3@ٵs,GR $ZIrh$iⴺC3ns2ǔ/ }IH^?S.LȚWG}@c/>=K<"%DG|0ZX0h?$4!f@sz[{Y 䋜ϮArsmڨqy?܋T|,,RKm1w1-2:H4l?9ɇ&? !xH] ao9JEaOd qb¹V?:p7uɲǸ,`$1m l\ډv_|Ԋ"d\^a(hP#0óJg8[ %(k/2~mԆȱQCmԍ団kPZ n&v #_k{[׀VL/StCǐ jdgq/UƮdJ 3~PqԫϏ[PL(]ckb47"`@ qLZKO[}$%R~!'<6XJ?k0Z{{ r%f}H⧴'ozW T#> .ۤc='9t=f+VK桅+K ncZmf==v<PQ FtA؟eE(8}jU(iIw-t" _jmWoNy{Wj-#D_nR(Z$~"H!Q:\^;Q=T1Ab>?Q1Gזˎ/["XqCM9>gc;?ýo"9`V6k!$6CvPnJ\jK=xn(g) vvxtBw,P '5 B?s'XsģN DŠ{5t9i&`:JRᬷ% DMO.BSv'O j^p`u9 -u dmx^wǛSGc@4UZç:EnAY) El.,d5*hX9a:O NӳWcԼB[#?/l+p(1WD|p* f d'FUmsle#ϲh _)T?`C USӇ4KA-hp1 v0|E6 P:ߒB5˻-E ce?QAw1v>I53бΫӢIwı{c.R@ƬG;eh%0k$|T+R {;mGDuz|qa fӏh̹`8#bj`vC=%<y68aqK= &|5 1; /Q.88Oxbhn kT8*7v*w+ȭr(`Y?B,0%G^۝Vdi$;\NƱAL ùҭ&{GN~(` nYg9oENm*bZ⟶=kg﨡迮{>c횳J$HVZSK*dn\&W6%04p/@ a&aGuYB[¥8_ n6: vS%{ǂ I7`'KFK%/R3Y:+6ș NLnxzx Ղ% ֵZl-BG- u\<K!dP J"Qл ^D@l it tF^ 'H1^:i:* +I}=e[Z&UMo-VϸC!l̋sSQ,ql:2q.I3-j/:D*>d#@hHhVa1bD/4#b~F F:mXMu]Z Òmӊ n|-#K jr\{zЦdNLQ_.Z߽l*a=|)Y]|Fǂ@e x'1R:Qi,nCB|yn;U{]҉7Q Y೴t{q҈cQV, o|lx|=. nkW`k+} Uօ-.wz$(m:ڿ-{\H耫$9 XsT&TNjOmLQZa$@9 ye~oĘR\ "lO/F2u9Aʫf6 g:/㷽i>W̜I?0!OozӟRit޽`W\D T%ѰܸC_m[-`E#!Ša6B-4hIty0 qD%܋j- Fk! DZ:˛@M($b ŷC2}eeB[!`_~c輽Ɲ%]N4mw"I**$eRdg,}ׇȡ,ϭ5hTIusmL;V3L_N {fN%͚H5?JMXӅ hbMgz;i䔺6fD[SU);+qZB}0 #Fh*K&P A]:#T?<aTWiZvfMI#P8 t7d֞A 4 R-"m/ S?Fa|KGKR7D^qyo|d}WLc 03U84CO>Du {p|47!}E2Pǹw`;([Cr6w/P fH>%ս6Dqy2B"(W:Ev>g!Xo%\`KsF (┝rk Ps%[5%1\MD⩴3@R>iܐ%86V]c0{R[z'ʎi ]%Kgb"eax/*vIp2h?= ~hx]DDY;K#؂懑}G17jPV7ޘZ4(ȀX;lJM7kiMN^ұnD;}XEGC{Cد`u =2{izdؒ H>5 J- <׫>EmLhWoGP_#ٸ+7`:9 @@m!qE(}凞~UpO= ~t@ C'GfK# dn&5҉cWxDFDI:{K|ΐ8obb:o3"} gOxy%ݸۤH~N%7tO<0LLwKmrmѠmknms+<+wnOV&IDqd Td cxX^ę]p[ ^`%A@v5)UwSXgvΙ^Ywu<¶`Psq{6ԼSL_KZ3o}  %.yB\G/ɓ;Āg niy'\sTGtI|y a#b%mc^[rT|S%'dF嵵'Z>oo.cd}f[GO dFO86r;zVFPQB *t]!'$۪S*a3,eq ${+З򿝇r%0[K]i5u:0'[2 9;iBYfʭ3+'LRfoK}&-i!VzCCCca>d0~ s&I\8~ɨb4j>!qRtq91S9p}g +д49WKPd/J\- Xб]oDc969dtQ>v.Y߃wCiwq9Fv6p~d] І olh 1:\ MT2xA$Uc"m7Xy/j.[d1Pm "R~zi BD qAd-a_e]2h=o p/<7Del{h+Ƚ@k;1]H>gaGb[+(8R"D]>ߩu oyR%2GZfwbsEнuDI/Jjo4 CQEt?{N^!:Qv%BO Ey{ɈbQ!As;ns{]K <9-A$5(+TX޴xƒB0&t꫗ThnŸ-?0RUMZ`ҋ RdD^2b )d]rqԍt̮SW鑠9U޲V *> UpdɭI4|Owd\>gRTN5 2A9'GGz'-3cfW6;Ĭ +].f |L gsJf1#lf]Bsp ]~w?We 8eD8HJj0jY$z ^&=~̼[gs˦|u1p4r\H/zY̐V&B=뜋oaG`"Vߡ1CGMtDA֡DbT&=@zKDMV^Ò1v^Φ pKZI?5ͽGJP04r=8XatDŽiH:l#F|)e($ȊbEE|V$&cu6޶r\+h&Kh0LSG'<ϧۜTc:UqRu.,Ԕ 6Q# ?,$U?Jv\vK .ZJ[*3#Ȃ]gz8#] BnSM(\ _oj|$c+"ve_ ٳ`׊ųEFr JJQD-X|3.  ٸa+$ɪ8klM#u=y c" GjJf#rͿgy.O>o[JEepV`%Ba蓖7ʲ,=^x8;`f]oNtas~0 %祱8NN@?rϪ`Pk>]}+5}ݮ`24'odZbu8,S!V.Lvʳ[evȾub:jJɠږw]Ҍ1T &2 J!td_&y~͝W!ضO4}"38d!C;){~R 0dڱb}oO0loi*5%4v/OQdJ;͹lGYG$CeOˌdv>ftE!m0'J@H)-J/چ  Y?]f'9^U2wD9ʓ9x,g2H&&~@g% P'F|л0ŨʆvO RM:Z39}dX_1&`pr0 ~}zB ]|,׷BDYɺ@4*F`iaHǟ[wчG^hmoȻ<8Ʊ˩X2մ3JC!Np> )1]A}x q$}O=lߑ ;3XSTV,A+v NiKϧOgYZ~)Tϲڹ8/+)c"QBO0ИcfuSU? 7+J-ZM5zZ"@wҼG˃_VmP=}_3#5yPAU_ X"/>7[SKwfsBڨ));-^ONI{ɬ1cd֮_oF2YQIuU+.ɸofTB~B[4t0(GTn.kZZ(qJ-cp 8*#W+{Yޯq 0Q>pMCFnglNR~R gtw:f Ak? Ǥ x)<~}݉\ AzGf H`.X{?IC%hkUMrm}͢<#,G󸎦;B,iicyK8̟ ):5MP.uK ]LtiQ L-Vx}#ޠSߺ*ӣ0\'GW,Xѵd@* \]&x<*M Ct Zτƈvb XuڒT %uQD+9 h/a0SzW6΄.L2 _w{Xv` |qp_: hB|И~i "J K=agty@L0p"T4$C Xڑe 3xHVozOCٷuTiwN7cOy"iRʘ,)o?|3qNGv6u H(%jkQ<}uҌ҄6l\0K'^P/ #y^>S,~=4x=dti@cmx&J&Ʀ rHݹB0[G_x -H#qs҈U LUuG߅4˗gKaR~]0V=hO*&XQ_R:l+܎j65!A1 !T侙8OӞ9}+1K9bpT*CfD8J6dc]I MRcHT l1e DG/R9L#VEC!ʮVş&.A Z_)bO5H89vVAIR,',v ?ݵw(;C_"b $h \P7*`Yfw7SI综I1M4 w<03$i[ԙE7o8*r+Oޛ*ݞhZS;l%GZ/r5`4D0dM0o&ޏ"@CR*lr%C#FoUBn*qCX1W[] +ד%}`53*=Gw `:_A$sL%[opr62Y *1SKo_Ha^5^bTql&{Ko+HXy11%Ħv&L=Cztql{]S {jl ;t&WQy"dPG푬θO4E-6|| І+]q.}P#t@o mL5٨ ꮋArб~K!4r1Zŵ3g«^:\e#IN>c])o42{ 7{9qZa13 t'Rp #t@ >¢!2cf觮a8.>t0JIJ#i\& AshLQ%{VZ\5bՀ->$0+xޠ,P#ëA) ΨNkІ[eNHzb7 [hZjdFR–E!`hsa;Uol^V-Hf$3 1})vဈ (fK~]#!nJ7 = j)xO#O|[Db{^w Lr/&m#ӓB/ȫ"O%-4`%Y$UJ/Hh_?h_H!}j'\/Ok 3,'g4W8r6R(>xlo`;j=pA )Fz4M]Cư^*r`չrU*Κx/J|lIrUOmB~uGyn/V{A h 7K9mR6؁-<~[v6u>bXD}!ä2J=RULFЙuI-dPe;Vrt.&pL qׂK4Xt :f:mI|G֛7nU&RLbdr'HS7?9V51Żr̛bKĮNؐ'KJ0EJ/6FJB#6d)5;PQ#3׫7{=ނa-&7]ޘ8yL}jfQ݋Ve#:ͮf3ьEv87g@pZ^?opG.!Yx{K :"W >A* fib~]s$c3KJ %L 2䔉拴|Q9u~k*Xe 8pfaxE1Z?EZ\DŽ&w4EA Ge).PXb $cUG,.2풽&]ץ?&םMwH|d}%G2a۴Aݾȼ&*Ȓɧ$-:Ӈmˍ;90 BA F5zW#D:% aJ!6)1BMO3܃>qi1?Ij5 'HcBmWPSQvj2n^q2r`akgx]F5<9oL)m8, kGb\uBv!a,ס=05:_4KC(sCg/,_KtMT`8~V>mFg⿹U(Ԑ)PM/&PЋ<'"55w Τ>wd]S.]8A:5qs>je^7Y/qz`͟2k_AU )XKq2@E/.6閦#$ȕ;(ǝy}C=:rMδ݅[ֆf4ymoijH$gD$;mr&N_ɭ/=}oq\L|EtR2"t0!V#س` `))Fmc-%5jw;qKQ;Ժd6HoT& z)ʆXݚ`ݾѢIހ'\uOc2%mX:ϵUNm"AzDTj?-{flBcGD`%˓WeP0Μ?xce~OHy}MJ_~%:U8cnm-o&YQ[\k4Yr6huz%_QOkT `}] p!T+w4L.g,pmj/t_O dQ: tU>܅_jKOby=&E8+BKEB{/4Ӽ~Rzh>l F7$ F gYZp=` Q0R/Slg@uMUjs?~p4@,o ZymyNA"A$&M`y!xx# @`GeSEFTS$t^5ӪXHwjP .BhB#|; v㉀STzn5*Y?e,\oIB5/`6b>9;S*Q 3Uh  k> 'y4Ny4z{ g 4"q^-%bxEQ&<yau! ,k긄otDlYzqYRF6Cq+f]= c$VkYʵZF57`]\.-%~0B2ߨ(2{N(KRЧؾYVB9A4t.# -S*6$F i!ynۭ}M} 9#|,%BP#H [:qO{V X Q{=DNWh\i'gW, w2(F8y#JT>@5I ˵ۄ',][Nf8v|5]J鎶"ŝ~߭epZD"Jvbw&O%`V%ɎIϴ@˫MĮoX[e/K7u^Cd}$,wP`.1PǾf^b>hE磻 :KX sJS`f4Kd-Fp>, 2`.CiÈiV~T__źZu95ArT)~ʶe.&tLl+-" -+$b$D@'iiⰯYKt7s#O(&+W} yS7D:/ɜw^EFz zOnׅ)` )߳%**NHC0uRE[t(Pu]œlM X7^1R=3: :~T9B%o 90TtY\ :jq *9ypHbzNJW:|C~7$VV: I4 hC>tǵe7d+O!J\ܕq(f3#vMGuԍݡpGr*+ˬ-r}y6kI* җr$- {n@bko+Iݜx놉Rt,bN|9HoEQƭ}JzýQnKuF;z+Kq hV~T;ljJޟ?tz 3`Kֶ32PGLPP^=)$"ddzןhUfx*Tcg3ma~f2pޣQ?ߨql6a)Ӆaw%s;[jܶ7Z"2B$r)~ۼ٘g|0dlKL6 o+z`0\Tb kT yeرp$=JMm?[ 鐊?d96Jq%kI{&|śq}(i<j &" E>Ĉ ui/T2LZbd!q XrtQIfE+p&::h/I!xRPrR{=p]bzNrR0]V==M'$5ڝ 0¢􋚛KgȆ4G_Ʈvyxc1de,=O27)lL[>a9r+ā׵%—(_hn_dK?ɼr>^:HTiܜI*W r*=6i 9( ΃kW)؍^](,)B4~1|A}j[wH~+ O7\ S\틓+0:p SOHF{. lGg^13 0 (:5TeѰ 9՘VQQ0!ֳƥ"XbZz<wCv2cP3uJ .3ᅄn%-Ԕ^v@gUU"2yB~ }'{mZ1,-4MjϜ~pSeGeX?ɫ=GxIÿ@݅hnD1d',k8UCF0k[b WXwJȥ}9 HT,WCTkz7qf&QXK4051//5L{v_nJW?sI/dC & g71Nk.dֳrtW2(Ad U\U$|测 HOZV)퍔 ^UxA3" }#P0Ƀ8O3@1"j,VqzUBwpB׼l+Ϳĵ@R^'ҶVRpApZxÒI@Zt+piC"Qj^A7ADQf8qp ە'ʘ%FzԩTvű7LEw@S􋾅 h/~mGݪdo M X " :a!]r0OP'c35G~O36cǞE>= iNgpX0y䇊U豧QN2pR'X%^ʅWA|RMf#\m}ʹU!$7N;&@%M3T9<Z͢M#9W$OgQҽ]^]Dz_B l I# W8o\p8 KyO`|}w`bl]#{a *"Xzuvep}\{߻FWDm`~dJQ-E@02B!0'[ɮZ u4ޓ|:sSW]dulCv! :XK b 9#էx\dȒm f*'Wst6RB7;d+)"@JքuKɋMS8a3&-p\L%j%O+w6j#DM^ fS޾V0ZM%IfR<9KDqtf.hJ؟'q XY@"U+L'D`>OA]ͪ-߂.윺hG B=-yI><k7xɣd~s_ )ېɇO Ećhۏ69@k%F)hn;DZz Kes3F䃓{H\dMCJ(gV$HrI&3!E(8uu++_o@X~Ikwe#yeFWmJ F>b*R%mA"a0Ƈ@ԝnvwTB{HsTICȱY]9b2h0OPfBpDEƆ= >ӕws,0}jpDUJu1X- M|V`2ˁm--yaS|Ĭc&4A:7o$1%RxgESd}aΡLzew2V?r=y1J0?"UbL#M9WM`N Ca[[Gt}Uu>xL޳=Cy<,<` cmiaL L> q<_YT W8]H&Q2J8A@q JQp~=>C͇A']*z;> ?F&5.|/儚&MA9Wrh8&noi#z4CƻLFj)ܿgle"!ByU[-"NOd ]0.z|$m©L1hSL8@n#|W穉 NSHaxWv4"^&SIܽ.T*q0/fLs-)/E(u͏3@s@0kR(\u!oNzåL*\׶Xڃ *'r0v- -yCPK c*g6)=)BiɠdQmAoQ1̇܃K/)bhRklriYP̐otBB_ @s]\OpGk4?9U)xr[=Ƴ"W>C-69"^9< JnLe=Э=;J6v?X oPO2 8Ch "5ڲ ;2[3_G@Fv6+y-puz۶``hcᕎm Y=u>QA `qj=L^ߵ$7<k+|Rs8IvLڭSذmU;˒ޔv8]fCv4FSP)6cg#)h腏*ֶs[Ղ5k}Վ@S"1} w_3+{C&>[}v>iz`QX0?G_;aD=,,=28gѵ3ǡY@f m<8(\Zyv4a'6 8=NESM|x:<ZGr›/dpTp~ 5~w!$"B\HXh (n[:S Oe}[vTp_Jc H<2 2v&gX,xU ~ʋ7| #BhbJWv cxtW[hUo#ӐOwA޷&wXh߫8#o LIhܯqv8鐋|34cl5zKH&|&'Z%~e?GG`9A' E*Bf>f…!tK\cXH f QJyku/Di9,6̸W tEu1#09R ĔmKٜc 5%ВUV/Cg\n1pZKlMv?!#~]9:^gX4jB,c5w7Rk%u/~Bݺɼ V4ʭD͹oND>irWPrӔDGKR1g'I`\oI'4$Z׈;ظE4dDG"~EY xm(D#rmO ZНC(eI_7]prVXZ;o FY?rN=`i]Y\*Xݝ=0v՛sfΫ=;ՖuA|d QQ (*F+qTV0H9y` lCP/--a6=޶Zt *rވ[g-+<!;*ܹ%lh T]#H]9%gk QhvIgıJhͅ蒳yJ!^ ҿfԿkMo 5V:o_;_ڃ4b |a`c}+`Ea6 TQ]t<3#mSvg>km ^(r~!$eɋG,G2pb,"W}"^ 1w*nS|?$`0=V}nKC2-5~^Zja([%Y|cyXCfK)upRI ;:S5% mM 2̞lj7"}\*H%;&->^%fZv*FW'oޒW:$+_'!Ȯ o m$休vɸ`ĬnTNVQ\Q}7V$dP[^TVIa}_;z_GRh3|TXk6x |aq( av`K9O>zUe=zPy [e% v7FU _1%ALMYH2oo #3" i NyMՃ[B4- W/n; n  )3/n[4dXA b Y*yJ=@o)"9WsT嘑y&$w ڞ+XPj@縍bo|>Ϧ5.2`0I!p5KvJ^"nc)]'S؛Hrm P= RA\> mŁ'z* Z0{EI6uW{h1g˳ӝv&Q %U"T's}0GLQ-~$XǤ(޼a0Kv5[h<+ g/ܖC6x5s;a|s/r|H8)4QLWN~/6=cdӢNNRT1#UhimG4-S1JpK1> pdE vWWFLSpL݆6f8(Y&jcDښPG 'WPU] qoy8UXx5-5Y')}BC˭^_a0 Ջ,Gt6{G%˫_lllt]lw/?R^^`ʲf c\cW!BfoMg|mEX2OHb32-9mݕ~E$8!W6ҪxJyI]6u4Ɩ&bOXʌe7LI6YFwړ>H."ˎhW$[:v3"7SňEqxcVN X30!ʉߓZ{$ Ocqu-XSz`dݮwݧDi%rq~ [~3aGh"ϫrPec<a{WrqM3ɡɾ7p*/Dwy")dCj.`]WBU?%UC3xƛ߁|7yFT ϯF:9RtX Єge¥('Y{ΥUlb-bu(tH#LrOCZ%X5_s[]+\];aԿwQ9G+}66T"5Ќ켱6K/*ԷgHqֺyD%ڃp|E;})'o1Ҕ#VBH>~zYbKZj \3nOoBv4Ss59Gb1n_+#=TjB ;컡c@a'0I送bF5:=P्hbqZe?NuԸ(K0!>CײoۅlRbA2&:p*yu'AiMi dV|uj~aAvWE/`M 9 _礣ȨY`b[Ͱ{m}w*r{v9]IAy6̀VLߖ*,y\qG T]-#[AWrc6܅Hk'hwLs,Oی4쑄Q 5n~p¶l8N:`y[)#ʳ2Ryhd/Jo^du3 mx.J(V;^Di~pl ZЯKPĥ֏Ȼz!o%˼M{Y{[*/lZaJob7$ZP=;f-D3y>GZ]8ٞUs^t@EIbW2ٖ&029c-))Sz*ǎ ġ|6% i.HZ=t7WV|~WfG1+2r Q;pBgTy>vHa%NmJ ^;UܰNW#Б, *NG !-IZh#; sSIpu1'"C9^uK3+ bLEr{7E.-)-,e}-W77;OR&uquGdsgf}̃ؽM;RpG=+g'7Ce4& 1waG7I\rXǧӹ 4a\cI~k<У#ȂAjW\t%6,/}paUGTnÖntV )MkهA ^:>t?D h&cQy09j<!?hy$4A9#wQ{%I^Md'qgn#' LJ!6z}G([YµIwS3x 8cF9,&'(ɻC6y^}g K6q6FxJ a]}:п'υ \ 2Jkg[vOrd>vنLRnWԗ6q%C@ƇLdeyMcl EkEDgEY%?Y_fbQoE =6w<8@PsyK?l̲'"WzsWD.1 Nus)c(Nj#HEs˭ZJ,Eתּ@;ra={[f-57.L# HCfU6E1RcHu|Nۑa.oU*2;wi~a Z& u*0d[$2FLd_gSiURR].SVi B y񂶇FJvlRǣbeɧ\k)QF[!{g}ǣ ^e9l/=2U 4.,F %?#[xB:,<UeVOtʄz'Sj ,/O1 AW.W-9-@aY$لl.p?AWsKm⅖WżVv{3Yr~yg?sSa*4(N ^ fݝѹIjݎ 0ܻ2Gl 1,(\Owkpp-}6$dib<qq+G Kq͠ũTH"vGGƧrv \Nݾ)hv>`NNa%6x[iv?v)zpy1JG∄Y$X95f=Lqm쇖}q~Q| oI*ߊqǍ*b pfC-a%΁knzZHOFĦY'ڗBh*EuB}!] \NܓJ&YF>"[Obĉf9XH:6<0c L^o<+yQ@ ?ޢlɠ4@!?s"mf׳ e8aemp'9b v ~Z%,SyӁ11CNEC8J"*zS*-mmDjESKql,l10PMY#gڀ׭A 6'ZF,h__}N*&'b;#y^zv_PtUM!HNIw}ڨmōCƸ-w~Nq_N1i #6o26^]||Q>+r/EY@9"/bLÎ)V$0WJ){gQ pMh6 :?څ*]730ohׁ=tg`oS#ƍܜ0hD[b.W(.Ð>b\DK$2W#\O"!p4'T1К}q18|&ӧ) H:c6b7uUٍý(eX Ӣ;kT#kthEڜ ƴq̩ITONhA[<.'ѐ:ȍ7AER|)v-ڴĻ D6a^1pBioVR9ܵ.tZrsʔ$[Ǜ5Rh (dV稵V•o tz'V8ʼi 鷃K8uہxAK]uFϖMV8|YQ+8ҕ~'"?heMwi#HK;J̮kQ[zaBJ8mޫdlN4RKm&d LsOM'Lj0L۩vPihO6f^AZiiS$,S Wnt.\As׊WϩZh hq~R$ud\5GUF?%{'Ԥ TGf ILu~zwE;u8SM1 ܝd܉}cW gk9i4:4c7X~] BSnڈ3ZC*0 |4Lɼ)z e|Iv}!U7@QpۼPxiM䛾$anZp'+f? #&%@W;Hr9p{PvYP˜W}VDa>?xm'QZR<Rp7cG|ߏÞV(%[Ql1v\Q?kr{YxQ($s-ڽ93M-TD(T}f>\-Imz!ZϢ|r-$RpdC(4uqP3 hSjM4΅ ydv={pNBŒ=-NΤw,!,yѝA^6hh3*gbTvP9I}.wO;S?j(Ts4*̟7ps"m6@B)rb=Gşjde`%`.kʉ/-iҦsjd37zPއM=>ۜmG.w520:$bْ;uUP^ج]=D)y];p&_v0 jY@>2Ā:q7A!W]JR-n.$%Z ZaN:N%/s<. KyNj+],s7Ip$ X)k*X<->?9dɎ~)gjN:/kӷvLq M2 '[Jp5ˡЬI A}Բʲr?;48 ֵoqV Q^6uLel1$Mb虢F SD@<-} -H<ڳri0S}1-*-S_yΆQI͝S2 dB$x%H͍lz>r$ࡴwh(]sdEI,0Fת}󅖏ǜoDhBUi-6\GO0YE6Xn\ "TgUX7t8uڦ b0A9VcEpR*+14HIv҅Y}00xxi(†'T@$HGsuk s15A1>4=> Vy2RNq6:4\{48XgYԯƀUmݴ6wGvYkJZB! Vy BRGG59;?ߋw(GD]͓Xc%o ]iȀpu`2#R\UЇ{.A䪫]yВ.:X%hؾQ\˗ΠҒ)@n:~y[(]0 :!w8ʂ8w<# +ǻRqoYuڶ> tALcʖO]2>{vL;x@ ѫmyT6p#wOry!BuQɌc/Wa(Y]_} .FQHsBڀ#O6SqMakHLj-Z7;v+m[GƟA= XxondoJty%#j~;z[e<%Va@=(y<,ϲsT0 @'TRTl,Kagcg PU3S8"v\ߟ`$Vx};앜\S@}0O;r*fG˦'-{sVOyD ;xqИpܙv&cscug/S.1 ^պTST!4l?-V<=io"uӌ~lmʋV%@.V?^i/Izv?a¨gRVڊ_Xk,"rq6$=QY{ʢR^bLQ4Ϧ2hw1E6vq#W (bX%\\pJb;'i ~u86؝NwDk<J&k:ggQ,4 !/ ?}Hl-_<@0)0EQnH+;)βK·}Hw Xݱpxg ?' gnF).]Z#nLX|% O@HzdX3i5}\Wjڢ969؄b+GSzɉ˔kwVK<] }h=*ΩFe,Ve%x ժ+?sYT4.m@AҜD}_A /t߁qJEb?iwAL q\Q<)rzHٝe6׳y<77$Ħm9^Ϧ0wZf5>kCZ`u:Hκx|\ vO~Sh\B|iyjҚncZg`E0!}}Kq: ևxlN[!+PNEOh'f MOs˜L}CHyST=7RU:g~ (l~4Y\c`(T&Q@{X,gjCl͘z]r~h&Ǭ'Z<ɨ̖|N/ Xʅa%Q^Ck ],N 5iClO. ^ 397dj9`e8v4@2&DЁUY+|::Eo %×t-sxKZүZSub3hJHSۦJ^,|G5+ڧcUFߏg.ܾAb<<RPR[gW(&]v6[*row_5qx 1q Fnj'Hk'Y$~$Iua:41P+"f)/J+%XcaW? 2*ՁN3&(PJ쌸Z:/ږCfS9ǔ0> WrIc-2ڟ p^kҜ!4q.*C pnDyH)?~042hdIWSd qS:GDTᠭ+41C #%Ql'/MKCt )]ɣ+"[T9׀p4@Z< l n*Ic^!Zo 99?:q:$j (?EE]% )aӺ.ru-33͈7z 7C< < _".g:{/1[/|ki,v[R}=Y aE 5Y" lw-2Cas521_~tk 3qvM^`Քސ,V\g {*C|E"T[ xV&TK157KS,r3R􎀿5c'{1۳蒾ߘ]zzv#QJmF| ^~I`=&Q rCS&?^s!f(]߸ssFdy]lEwpVNdRv_TXWfO[Gwh2|Q %Ak,-']ntF Oנk'=?6͔ETOSv,'n?ilϝnz$Kjdwʥ. }I u~]{iû.J{]ty@0rHHck97 6{םhK߆ɆgӺ`?}f!aQUf67 ;F:[kxGLÉ $ix-t2$`q5jJ5#}۠4Lsc\{bT:\ 47P8^*Zvez*"]ժ_h$ǧ2K=\X>> ~ޖuK5#6Hݲ{0r 17U3&~VzoJ+pH$sQ!ZlPN 6zaQRW1@ ?3t"W/GtRU\ :A&d$ ZyC:֭PrQgтIu O51ATfN~X|Hit#H!zjzķ(q38L<ө&pBN2)qx9m4ZA7 yKp`G-jxz~Y˄y/r#f p7h{]L^*__V]Ө~^E}YGCcsB*juu~.#Iy^;=7)ҭ!烾YgbA%87{z\e=f.9lzI1/$`9PI"/kɻΡCRRaHC(;8+?/]{nĂqZ5xr4NiTD%xK4MZ^$M$ bMj*AҒןw׍]Ќx++/<ω3J_O=  aڪ)?x;t !{4f@a1wИZI |ԙr"i7zny=UU\-pP-V;fY*<׳t%1g<JJIJ\&aM/TA 0]^\zȤ ]lfMWFY' 4fcĕp`W. ΋&=DA8A`bS/>'c7P'Ѩ48)jT@Nr& fLz'ݰvYЏ3*xi?ei`ai{KS\GX^1cT%Gѐ3Wޙ[ѷ?;\$ 1ٞh 6p`@8$xD)51 F|!1]}~̘EAeKEe]Rs˞R!t-{Kr"0Z"CzW<8G=Әt*:54 6]}<5Y}•'`8R'C0*9SserK"_#tI.1O,+$2\'xl NNUB%1̞'>*pcd+ c\yD]܇3U`n˱GE_2 +ūj72 4ϔ鈌;r `8D!beǁGeQ]9_1;.[ZrUM:6;}٪ jSҨC5ܼYhהo+?{fg6tB.AN "c"Vr bI @7`̢Ȥc-lm]1*fEUAگ75Hq <ÁCoQq[o5aϼ]Uڹ]܅ǻRԍ3V!G+=NΔxU[!/m\S>ɗx_.'r6m5':HnxWo}4% @"M3h_seL4C">%KٽlHMvtaW etg,1)eqE>x/,ѵgHjd_#/T,% kR= {9MfYEK>R)^%&j@iϲ"K k?pd$_[mrt8Q" 󺐓t\7.%;ó (eZ me^g 3 :;@ƓJmtO+"nTjۿ/CBt^B d;Lх4;('UPjPVr=Tn]K+r{m=7UMkVc``Lh {{*W)eF*5ĉH&:Pڴ/-]IM:{PeRm%rWb愹E)a @oRƗfRmF/4NMcЃY:ln졦]OsR=T5Ycsv8aMcR#|'m8 4:Xnv$idY*R>>&ǻbM&k T2uHll!(M wn*OG@\JL=@lͩ%Ɠr8Hp6 6ÇQbb֙ڬOwv"=uM" .nk Q #jRFM G,y $jf .v0!SQJ$JQdiHlJ6kM|p ~}[B>CO݇RhUl?0[2u2ϰO4C37g `4ҷm"fZ|pO5er Āp׈xJci.~q:I<Ыt7ҽKUlhWY~ó!MD#JqR("WH [Bq g?StcwsM;QDn< 9>c HSg-rR<=Fh+a >GX)8F6 }m*05(r6>ϖE2(q \ -v3]9B?QߨH온zsI"/ (xVaȩhWfw(bG t5)s\SJF:\ÜʐBxy!ǩntaZBXosKQA&T6/%R$"̈́Gxo%ߤ㣂 1;u{s `t .hͣw<_4"G퓻A1c#jI#$K/UIR)./Rқvs^ ;XA?f] a`L *No%X=:x, QXQE?q*r D294y捽3 IꅠNNxFMFFΘE4q>&󸽩) CkQ4.ܷX DA3NܯrUnPB, " ޢ{/PTFxHt@ ѻ]CVSTyr f BG˘qx53ӹDc@tvwQuO%Q>-J1&קM_p䆱2%MI.2OÅ1+`\/&8*n%" S6HbU*KKJ7%% Hֱ쐁n@,Ca [YMF8)bG 5#^Kʡ׽c^cFUiOfDR/ `n@$k-:ccl%3Z/MU~Fxr<|zl:*u֪f&E#߮F/#׀̟lӆ˸Yz%^p3ա V"H.e#Kui7\RJ\}ew8=LsFn</n%^&Wd%s(*/e9.45.uM:0?& Y#"4 [WNp)75{ F{i5nxk2'זd,7늰ul3o#e?|x v.xՐ VzyJȓi֒,+7kW@88Y,cw0 /X]قŪ[\uLaʡHƀF&oQD8EN^QĞaVʍk:H^0˗pSUO }QHjyAOնH(J!Kc'E4BU" 9?Z-QyIc.*)edy#y|M֚Dt[UQhnܒYpCelPK<;Uur. !J #/!5| {ehN>dY&5L=%”-\pK Η @}XPb6q^xEqAT|Pɥo'ڕZО<o.Ztal*=WQ2# EGYK=:\PKvsu΃M6mE#/mIE‣W;R<=?Sۃ&QcV' E9m*da7 gr;@fYuQYFB[q9J>$'dIbnˍ|½5鯹7x5G__E`!N~;g\.jR``Jc"%fa"dо.,z?&Zh u0Y&K[l[r~tkHݘ~(LJ}<92z9Vwp|'v\3č]cQ Ăzģ7w)PLֽ>i\@ {[q# {J=~p{ULJ-h~TADzԂb^'p1!V;&(fb@%y̜tH\xrTDk?MvVc)SǀMeҙe{)]=I }XKh}3󥣺U$7V?w`!+8JѵNot yX4cJ(Sލܙ/&Y#)ӺKDVe r ;8J󣧉lA]b̽$ \2+*Uu/]I ,j&q+֘O*W0]B)/$.>df&[7;e k\옓+lGET߼ OϟX'DB&rȍFW?NTƟRK;8:&Zׂ$SWrG]w<rmjb$3:p)[* J|$n<Ѽ{m\ߋ[օJ۝ 5=bI`A^z~鮞uEybxq.s0?LS?8qAS;SЧ\L@P_mwD!=Qk5R>4/G/$ "^.U1]hyBc4l,]^׼,z zUKv_Iԛ:qzӭK;׬@Kg lWLI瘱=KvPB&UŨ5ߪ?̞8czPjL"1'䃰qUϱ!Z:dD*m]Eq{!qt|vРM~j\$LkH܌RQDnz9>>)]x~5HO%|yI9!ّE#nKfK}D0j|,J6{e\Q[ӽR)[9{jk^[uo?e3voܗme2"*d9zzlݳȬ1t{`D861.%9rAXk@J~S]br𤶌)jxS9 P-àN"+CǫU*b4)Ài3d]581.j+Wbʃ9u԰1M.9L9bCt1FPC{P!XzQQ^+4F&@*!,)=TSoz]Zr ^YmpNLgtH13y ϔO(k%l\?q7isb%[J" H(.d M7;xKCt'kt|f8EϼWk09#*\P VbEw!6Jl#""=/c-߄h;{GR/quWS^Rک$0k9-/.Dv.l>*? 'Z1%8>'.}ue k p/XV@_ν:s@$M~"6:l^M|\EEZȚ`Iր `Zgl"m;MPElF4&E'ѻ&}0c=faR8Q x :V@70 m'4fs?E\.:*=PNt#Yl^М!b<v4^f «:%*H ҆Jwo,GC !6{OEoSY[IP4Ec#?W0v87vXNgSQ+shhA;/+C[߽69L)X|i2n (>z֪w1:PEG'x'ԁl@EO=ZBQ+@قŸ>`ZL^Q32* kn\`DxJDC3\%/1$o+مȊ>D֧cgյ{W^o ]u uB0O:r- C o_8[{/D b> wxXaZܕӝj5q55ciwÇ=xp"36 Nw3/"R =pW$QȆ4rb gz%a^8C Xg%~lkK,42ȭMow8 ex BLxd)7mh1P1}[ae%=*}o)F Y=8k钾-WDJ? .[@h.uo 0 %.?ڢD+ i#_˨{ ;NMNㄯe-r fɝ ?xd7=({S:AOgȋټ1ߔ >б%ӛp(_S'11PwҝyΐBU`?s j 6t_bOkGqz!RIt/g} baٝ[+SqJKj䄰vC2tV6td"vr T"Ӭ`/kXie9FxѢI*"@t풧zQS 7J}E^g_+I rxw{u -Ӕ[!NزОn#„QF'# g7ʮ-ќoE{˝c;~'9H+Бv.0q!m݄? LƝ2q _GPk !]OA*_nq}\ngES[HvcRdp+f&Xm*:W;.`٭D'fqRf?-C6ek.G}1'PfحH$<:/H%px`5Y,R @[zF ]u@B!0 GHFIY`ۿEW=[ J?XբW* ϥU6:V [D6NyʶO/2G2xB:KW.Ċ%̜c![ŏ(EB }$vr~Q'`'q̊у1p2 }5tT|晵n訃 CHK8݁|%^u6:D?vfkZr% sT4LOVu R]H#rRٌGod2 M6doq*&ѣHAu'>꬇ʿ&/qhIg\#\# Ixݿ|@)fT<ҕ1.|iwfMY+z sZ}{1߸"%C۪fU2\ׇl isؚM>zkt^Ĭ_9!B Ve'= nmt^ i|_y3dLظ]eDÞJ`UGuvCY*p b9c+I6x" *@H(uPy|r03DކaTkBa2 zA/b%!Ţ*/Hӎ̎nTdO<^ոx(+r\LтGTzc12纻zOyh73 zNErO<ƒzGD$rwxK0w8x7U???l4U8L9O9k#ȩ6fs/ 5 d}[, _3i{$z@R2׍[R+)~$ki^{'42VAӍ}oߤwj Nh l̘&J>e1t̛5Q9?Gk:h!ki?a; |Bb2@u,Ce"۸}Tq}@t~}O a@9óh@М$gU!WjNK6RMb%} {XB#7: ecr`L2"Cae}pϐ}j^T†=:V'</ XISq|A\P= eМ.땤#RB`X7)ƪ:yv=:5CmېI~_gʻC"(\ϓTC*bș.M4F:4e[2ӅVJ|"RzqKu ΄.gYZc25bec80a740981966e29a3dfa0aa7b67c79a02c2c79d3d54810032b527670dc13f3e7c0919e7d5a 0a6bc08b09ab01ef5fadd0d577b4644a4a0ca9cf 1bd6df4d92578ec4b11bc4adb8b603690c5149a1