SQLite format 3@ .  B --?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 ||T!DT ]]]HOL-Proofs:threads=6elapsed=541.267cpu=1325.540gc=129.972factor=2.457zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbRt'?=hHD^{7`яݞ#{?4hB~ys7:5]zzV)әnTPq/]tM$YE@j)Wt{A O\eh8jZs~38jU`sMGODRC3rk L3"1b}ޤ 0r8I Nxu/˨R[f=%r"'< 8&DAV7x@:Fе0 _ b!MPaR65 5 Ŀ" '} X/4 )}5#6AΠ㵴Gw&f wwȦ Ֆ8tV唢fIfz62nrelf!ΙZ ԃ@Oi ӞZ51lxOv6V5${E?IV a' \x +RZ Fpל4bA3M샵PpMrrC۪qNZR`>B%HujRdwP K׍Ze9g+=`,lޯI:\h6s6>U*t>,'OCإ-5Q~=Nr״Z8@^߄1<(EM!a޶xa11C8;˓f`Fd?S =m,M?LHai8Ƥągt>NsP2Wa@PG H 9DY1|q!Ii1& vvty\$VYQ*9fdAQ-WLH;*\Bec#c(0ΕT|?b%D7]a\eq3FwuT/p;B'=a&1nr PHt1D_WB~(}9yx9)mg]=_=2p1AZ~k?h~(F9>2' .St|OuqWvk7 l5-qq.{Z}]ו6]c ipoo3Tܓ gH9/mϭr :4ۊ nBD+Pa}(7BWr]PKr  +,e? ;`{HQDštEԈxA5$-kn@EگBf= On[O:+%)0# i?V-K31⅀^y&$]kzUU$C.WLk%0:S/*R}(uF'}tEX`9݋l@K[T.=)ơ'cUY஧5|`l':Oʯ}Ef@ک1C"e6= 6&R#˳"엇P,7$].f/f'U{ $`]D1_ֲS).|75xqxuD|cOSmEzVG*9`apP~kQLD-HvAˁVo)V,5̼I".g}gҲ}|{D%.`eF)*hpF5,dm2Pu&70̓ ?!Mb rX8/f{FȪE%l3raRAZ{IK  ! HOL-Proofs  C ; Cu!-+ HOL-ProofsHOL.Code_NumeralProduct_Type.hs7zXZִF! 8]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmrR^6^C0 -U.\[T0SE=BrFA@&C M[~Xb@_L#1a4ԛ~^L2kqi!+]]S8[Sܗ+] JC}]w˙):SYcie4>X}6T~nn-#^oo@璁SJV^ͼ7Ʋ} H&vC2=oFo٨`]367mP3kcO,3Gl#/ a%?ڍ gYZ /!-+HOL-ProofsHOL.Code_NumeralProduct_Type.hs'!- HOL-ProofsHOL.Code_NumeralArith.hs# mXťVT^pނ]iIVT2N.O՛gQv)ety;- ]o*_vp"1FjY0EJ/,{rnbw>xoD˪A#V*')<HDѱræ~y+~X$n v_-xv&ҖePAafjVsuѹaW6Y֜NaZZt?]35 G}q&d^P MDxekr(i*\I?&܍${З"%hTܠj>s*d;fYIYpc˒wEnw]CFo? fYo<Ө|BWʽ*#&܇xTrtLxg}>uJ"HLL XҰYrYUnƬ蒛@$^R.qtmgMRhnwŮ(KZf" p_m23AL@<(hD{#8@rdTg#^sn0_3Fa=8vJ<!ѵwڧ޻\|o$z8\7@BE3m.Rr0Ps+F<i nu_w&#UP2OܚGxjלcե,[GH3*zm&zOv(Fd0>nFjqoS'PO2je\*3;bv޺oWPRlj ݢ{P~j-,Qul[!mT{<Clkafj˒ l$wM 4)-2%Hz3˷)7yL {_ `CIlcH ːzUL 囄^Ѕ D4]@_D%ܕ5 D;FێPj= ?̩^=7^J+~Kh^CF$%.FOg4Ǟr~嗾I?`,1l]TNa>u5ZZx$i]=opYnFìux<]Xn"15M;;J6c]{;[D.!fHEf =Fw0=j TCf//ǩџFO|}fT[CĂEZ;Xe5 )1L-,@!>Yr&D8g#j%;Nl~Evq*;}W&#h5M]|*ߖXÛOc~07>fsמZ{h:C0,Q/'vWM]WGUQHX# oD+8C 'S8keOh$tjSS#%j+aZC6/ԜrP`eZEfo'Uv9%p*,pJwFQ;v%.*r Ɛ̻]ect|F KWB BDC70H(0!=x!5M90NVv:5{&F)E49L}#,B9΢.{W@[bisu9m(3Y?R^L14 N{rF`׳3u(8h`~xg8?i%EDdp|=-ODeOg':7U [ *ɠsk6(r>"aƔYM@p}qKEH&7_ N~@F[&L؆c߷NPb*51d(bڰ4dqbmy",n)21nB͝1ڗc# rjډ%*߈tW8݄VTV o8ka40) B,"FU>QÈ7g8gm#tΟ?Wp0kn ##Vm?3 r6{=_Ȳ𪧅:M'ؗ! ٮf0׀M3ƙ<#:3~S Eĸ%\(<}msgĴH>ξ4+d>6QAD^ TjI:ӋG0KKS6+ICFqRՐKm43gZ3/=/'^$aB5 \XzhE9>6fwT@X? ;"+7uNgZ6r@|:;d/)Hzg^ib'߶@~Ʋ Mԙj Qd`BIVs&WWFEßI竿1yg>k-b!pqV/k"R °=J.K Kťa:mϏɺ*${0 u(jݵݻ/c/X.p[r a7 @KNq^͓įN)(HJS_>Ml/'14jj 22I6BIAn/a!=`m"7<_˸Ye#ڥ)Gka&2g$ORQ@r0ءjnVyfY@8싂+HBC-e ձG+Z fƅre.¡l$gYZ7zXZִF! ^]ŗXiɟ29aoʼz[%U>EM!!*X0cGEU Oaq{a]GFspNoW1KRztwY;B*af̌_ T>T]M8?Tl!PlEf"_n\0*r锺 ^eDNW逪(ȆvM[|woj*uO㭿r07JYsO52S9ש!98~L Mi>ME|5?]Z"ut#cxJBwD)S9U`1IBUm,Ⱥ~dk!XW`c"r)WFZag&0C]Lr} LjD޺| Ln~m{^APM-sFbM+Ğ]f ))rBu tLǍhDPmt~uyv(=obK-n^O]!$*˝"y ^1vcm/+!EJJw?~"ڍp^2ȊXz0 C Anu@Z?/\FJ -KB_Xm16'3g,Zx%.o(.$$9%kmFwщ` Nd|)ڏywRLQ1gx\$m`ڠQ.zP5pj}<7ږqMlmo"HM O+zýM0 " b>e XVaI`y|@ K"|Cw߭pBnp+;&c U 4o$"QF<|O7a9>_Tm̕=EHBnO$n\,&l5+`PQ3. @Kv6+A{f^iYslu.?5v agTwOa'fSyM犨c>K3 ~sb- 7~Bw7gmQ߸GE;Mԅ"ﵯT껂>AW.o;E_5/;wccFxX"6wP9s?qvb|#$2ɘ!Lq+); bt|˝Msu@M-gaX7ϸV6t\:zmC0I1³ 5c"H=ZW!ntBz/J]C;[sTRSѥVbM0 g;@I>H$^\||:$ ˹$$~}Г+y? kDݪMBhK(ejlD"bo`:s #;Y&Δgj2ݞe*Z=lo68 .+< Q(lAf^i LolaĐ#Eަ@<`b=ls % eqN@.-@Hg9wԯR0J% A(\kF(!fݢX !بM#JBn)eW`_ϥ%XΞW0 2˱gYZ7zXZִF! d̋]ŗXi%BFQ[o!Rx/4ϤJ6E/Yj݅xYmoN5 pji  g@/0=h >txktq:$FBHxp#͢ʸ.c}jÌ i^zGB0X.dEUL:2>6>˴k(,4?7聰 5,&H}QƝRg,1&'Xm)!TPߢ`" >sFTU PO ^|Y-=85H<1|dX7v'VP--T&z’b(RaJB@٬@&nu<_%Ҫ)3;N`d R 685]FE9˔o=kp30r `i`u[v2]p4u+;tށҎ =1T 8(uO qKDPq7&(KNK[jbj6p}G^|32n_^2Vc]r)ְbUWUqOVzYA/T DUf fr*~9]f~ФLy=YrF*>ZT)爏PzTB:;S'!~(v(IciRb"'ro8=. HQ vGs| %t%jA&ƷQ4g.T_,Yi}?YHX0 y~@n aثEmz%^6Bҡo)eܐ9? X{) -bPQ5.-嫅 +iS.G yH0׻v_¨W"bʹz`c!jebBv-Э! ]WD5'r5[xTk[=XݘZ}R"؄JNJI/^ֿVtfА<^Qą@Lx{p0fhCP}&]X?+I !jyƶe=vA?ipу}3GY)xzکS ˫g>. J)PZqn\ʥŝ>ا9kxOyJ9CKrgJ REdXĂ268y+Zk}ToQd6h߶Nl8K'H=Y5".kX㲐Lgvsե `M)!#P3]i88}Aţ@9ntI#y R狚5 i$Q[ƀڱ(E gW5Cs* ;ufF U> ȵ T# ihb4i7G4joqՀmC>9Ha3Pac:*{ͯԾ)lZ˅f>%/#&:W=P ыm-tyNnE%8&Y+h) Y^gߠ9􈈨9?0^lSvVLH/<>eH:6 [/*/ʢ;7@W )u%FV#'`ݱ%.?A,ĮpȲ&= VdOkή_s8ǨclhyXk_;w8-9{͡iEߨ?[.}x#+ɻl@H0kMG͇hz'׊tZ"$4l0NBٸ`啱b޻u֊Β$Ua d(y NTS ڴ)IMw{a"&߼ch;e S?Ǝ`+>VfDa簝s+T$ӳ4Op 1L2{w;ShH):euk$>9 e8rnsY y6uL\k U2 XQkɄD~!4F$>Cy~WolMt3#k͝tx~Ȫj+ 9b+-oϺܪXHѺnen7~tӮoC$f1MT 4L}Fbf1}Ι9Zr>:PdSz|Z|2/_}!~, J,bk !s 19PF84Kh#b@RtS*LiXQJV^vCCrlMշnUւ x~ BӅjbN.;) n"Ka)Iuc_ITzeߗK~}|]:C9ĽXMc`Dz Uo̰E'lm -J7g;%tƂНzveŚDelj>TG nF#A4GmƐt#0q&V)KJrc)wʇ JxyV@j/ )R!@N|Z7G|̥W>N2k٩Vs[m]MItmG :ݤLתblc ;V|~%JǫZ@KO =#҄8 !unVN`nڏtje=#ePG 4eoq6;mT/p<խ@^"UG9%>Ķyy獡q}B\LO WGmPO#lqNxM5J}59%jWQCv%[S K]Zk/d;K%Uq;_+oo{piPrTV&KK[~E9yיaTH%]50 2aO:Nq\2%5郐Qk̒}0}´xWu_ J.hĶXa|%)'!XΠlfO\~l0铩Xtpc EQeZ&R%h;J\o\)J64GU0=pGn8;U2۴WÚF@*}-[R$ә9dOeZ;¢b cGAsxe $Q4f꥘qɄsYKȴd2rJp&J ,vݭUhv$߰c(H6q?5sU;J{tRVC1kWO0Ǡ4uG#5IЪ|CPE 7_cl;zŬEGÒ =^ ,xɐp:7rm$+2dMD2L_n;Gz87-"ҧO,p$ylT kڽ\Puz\-XJ/0V?xd}W)wunF zZ#PRCi~oX?!f۞nNTp݃ fی?3\z R(e6u >Q3;34Lʘ ic[~e8Qda ;fJL'^"Gj~QbWb ,õAH9 2Di)<. &dS9G`ILỢvaşp6Y2If n䦎$3nLAjzpS ]{Hx*,܇;C HS-~8-l`"i0qic.<@фp(NwfԎk #"ڝ'*JU<_ݺۊ*H6b'E Bf'y6㢃;VG2J^)"\|dhgz-k#΄=90}xUΒRn,٢> =o5(6MSYxK:2L2W] R6B cuCU޸4zۨM$v(*I2"؅\^?)א~=U32ch_X@ךfFP"|e4㭚J"ILx i[sfln78}XbFٜDF *(V߲56c ήY שC ZfݠƢ!@q<[PvxƾDt!CK15.v,A_]ӻB[R@Tu9nE֨$o "^vlf4Ec!ş{X ,"-vE|"wtɘlLYUT`O(R({$k"C8 * ;n*V@aݮv`nV x9"Dt<'kfV@v``ꮝkqd+st}UXo-ybћ(76BT H(No70θh~ (m%zg>gPXcHWY U"S|7t i8؂MʆȓJ5A/2h){& *xZ$^O]G0ǩi(GMr$jO1[ITf,כN3wtY8 /n_z ɩ2-t0֬l?7ڎHQ.JN\|<'/oxWfd+-M\sS'B#J͇kK닻< s_6%s_Or(ǦkP= k<`48{Ɓmm\h?9`=]/+WQs ϷoutVIηOWc0\ߥީ!p-ҾWI+aY>MKyo0%/_m:T!-熕x%JjH[n 0Ut"J/|bF; %&Rj!ECR/|e.tg8fO^)Ҁ^<(/q贙%8 JQZ)K@_垃;Y\#))QIA`=aw:/-a٭G+<+!e9dՎz5J ΂8uȍLՍDz3ơsA.z} mNW%oh$x/]߳Tx*xaZ"*]d/& r )a)תziඈRh8ġ8.,;xqFx0Gm>`'?=H#9)Ud׼o20r}#uQ9$p7@7 .T;ىtmz$/2n<5xA"r~Aus+h'r|Qۑ&F(߃jeϹjyA.^#jkuQJ/& yjk5"INM ]PRp=i5ת@ai*Ml~w';MDS@R;ytKiVýZHqY 't_fRVʯ 2Դ]BH`2WY t_:B F= k- ^zan0Vv <4)$pF #k Qdi/ {(baP`y`\U(E攩i@6?yVN%.4.q 3c]4Iu0W%3Z>dI8Jb'k"iG֓޽!]ZSrנyKz#.7'?T%qNAj[ <@}2pާRELbϤkWq`{ +y52T[J<@,]rgS918TUSA fg6W(V)t6VR_R0p-wQ9yKgA@EO(Y9խ?)QqG*r̖M=Ĭ/Pcy`ZI{4cfW.6D7q |6y{0w0b;(#k#멪hdxpyuDGL܍AS%%D}^%!}X]U 䊧aԳZ|e n\< $w*;vm9"1ms]]$Hl].(s;U;B3ViHuKеt;7EjTw(w~#&F>S;D1ynk4v[G(I׳-tqJZ: d{f etNM(YPk*ǵ'NԤsB_p!"M7ظ5^ I%jvܫ'‘ O7mM{eKᐧ0Kh Cf4? +Fց4 8oEVCH"î&9٬&ٱhU| KJܓ \8ch`rutVŌyVS1{ݐ F]bU@k!ЎJmќg,nS}.sJ;M>8dMN1O.lMU<@.r'L?Z c1t@W['yq(!gQO!JFKlvͤO`q .5<{)6Ʈ1fayk; WY^u$0su'tZV-~G>}mS|` VVWuFB=bdVV'rM:w+ ]ڶ!E9b|j\QR3^%mg)&8iМ:78s-rH̗H^'+}W@[7,#+sU؝C@e0fa`W3v|Ʉo>;@)`}_ip/.f"lrZdxbTcmǍ@/Etub XAi%66&.VDgwe/X.`,WC*ɳjq_ L"㸃w~X7ݍQ[G7MFO~g@XP?#}#h,F 5CNc#Q#=@c@C s|c[ gq>mr`.%q0oU3ʼ(:P2E) z\Wj]qXV˔<[`e磺ܒؠn#Pbg'sĎFWV|V2 ;Fl '9?/vQF&D;ֱ -=-`΅x(+Ztc 0ssIM*QY"7tofQ)`'g=wȅ߹o:lv9PP5<|, EGQdsv%1 K9ÜGSD@_:9ڨKq^1]{4J:eˏpfU+bN(<A4y@D իm6 h9Kr|:+ lO#;`묇Xv -H14?!vf,J @WD7kxG>ԿXR>v("?pq$O_ Fק{- QllئI|ǟb{Crϫo[Dc#UF*BzHP0РqFJzgŴۡYEŲ }LoF?ne%?p̲I[?$W:5ƖTՃnbQ7z*.ne끭oJ@Do]r`ֈ-Hde~Tzݛ!,íP^  0ޯZDcAsI^UrhY%t{k {QnNnu'uNp=` )rH$IpR<+@UpaP)Dgse?ԠM3/璶g@L,h)^M.!0s>FҢIp5*%Z as)  } T>Fհx<7~&{ !`>ިhvA;L$= /hW&6 J=G?ItyG -XWS]_<}L0np[e+Mڐݡv^N.¤VbM,ł)о**)Œ:%V-V3 vmwnx7-\]'_ͳDId]hLW` 7qөQeKEs3AQFɌ;r`g^wHqA_.~ǝ X6o53M@hQy5 SN6=P!mѬ@a3T2sSEoY-P9^[9Iۓ4aGR; 9Y1 ݔWqw}QѪrk6m( qpJ0яx O)#3ZәYh?2 h)2jGqǠ. @Ndd&hqqƜYg.Q[Nr5 x)κrf>/i&zwW#w'14ՅDC\AD)QUwQ~,Q:yV`3);iW5"}/Q н+n`G"Km45tumyk]<_7|>Cշ}R(E>#ܓӽҚNI6 n/Dѕ!l`ĠzRo:HrbeQ]jR#1|GG Fȝ9c'cS.64D#[ܨзYz`V~ZDAo}؍(YV.3@h^g)jI|fщ)(]6p̈ğzMBr/\|cߠ{q1s>ҟ̼^ T|;(2z30q&fFp>ŭ؄Ie- Dnf$|bWv0MKY#!CLOE8oj:dÔ4w!y|pT6sK&MR1U9XI?J|4lC2J1\sa?:m|AQMS~¢W]4_ėLbdxɰŢYgO!KsۈPyE(>EY轨N^PB::iTSms!] ;i>񺧚t읬C}%N9$|1]RQW6?W'g Ku12ƥ(X+j w*Kb dP+f[+d47z!#2D&`]X1agP$kL(籖j]`Kte ,NDbp!Hʭa,4Cɑ̖7d¨^zå Jjyv?!޺vNvIX?t'D*=VʼnxP W@QJf^9;L"AMd[䯹 I6` N*aF39ldq)HTOGSǃXȑG;{?h+NG^8L,h#&y!SNXVA_f>QWET񙤝+Ȗn!#z5!"(ID] m; pH{*w{ :>F!DP} jPC@?4fXؑwEPLSnWN ![ᬊB˗¬y[%JMD͛74CGxHLVr3&3$}5gŜ'z&'b90}V@i*`we;JHN<8yhZڗ,z4^Se O˓rf=9lH&";'ras.;꺓#B_ZJx e?H1G/CJm:D fc%%CiN s51XJ5lW8gDx 9,DRfTfB%%7 . x˒< [ݼD^Y|SGbX0X:j~GO;e:)TF,M@LNxXx˪'-Z_j'C[_Jq.]rԌto)-gBT_4򂼨eOzZg;;3~qɮWJ5ǹ<60Ҙ*mݴC%۟0yDydv f{6v/r @=KJ)N4(],:KnJ1h/O=J->5>'m iJܮdrx>a6Y $` j#$Ln ]LU$[7lD4oM_SNm|R h?gw:ר(,8\eEeG(z'ysX=_^{V`ÌP5_f ;rG4f_dR@֤g% ;oԟxkAowy'}1 t%TAVI̬G''| 1MΐF4@$_z>TLx5f2/ /,cvKxa%['RPFTte)O3/Fx6?eB?^) L{[U /J<И^fZ-`eF.uS"rx4cq0Fؓ.F&mhqCyO_@0juzc#/EzDTooM351pt3sh8hN/䩂ְ|I=\W+(Qٛ=1 "e5!x(=%d)%jm4N36 Bpq^D,;y)jdOs)Ɍz(~몔Q۩fq}ke"qO">`휸 V.&)| @PlFUĢZM''Sx{];-@|7A"!plܡ~NDM݋K'{*7B30ok=!V`ՑR=!kdC!¬rc+qG Z$v-o܃Y)m}q/fнY10!z l.hH'jS9 $v3[ʬh5PSMZӻC3Nmz'ʙO7Et O aυŴ Z[![ !먑{krP8ۙ15&Apנ*h/;מcGZ[_S NfCJvVi݈&deٿ}-e)c]F~N &k=lá l(9e{8Mo}J܉u!l{ڬDiF.Ԛ+ G$SpA"i1N RCJ9 |(+иOբG Rh^*VkaĘt-8e\\㞻Tk,ۣ&g2`ujoĠSPhjsmMH;ڞQbrz\0dE:{6 Kf' )Z4sB(+/ѥF¦9y *fqo[8ÌUש_WXDNgVaa-ƒ;{:;`Лx*>yg ֻ!8Omgab!1DkUe@ hpR 4 Gc5"-/dW9 J&=<xٚܠyZYK_ČOe0!OTļ4I+$H6Lt?qZR7|Sm9Abk;w7|d$&ڦȾG~b+%~ c)F)( G} ߯RJ!GxjIPUϣݧW)w+0pvكcw _f|a13xG6{؇DH&]0_.stpۭؖ~V+P;Vΰ鈘t_[}p~q'aӞ-5Y>%PpR3qi$cSY؏S)osE (/t[yUHѠ\)}5DBzȖՄQ=L@ .-MJ,OI@33X&)t My1"y;G*>JuCڙe9GcJd9)>Ġ@^ڦE: Tv-x. U 0M2(wqyU o)x B6&0Vˁp~=M6k;Hk<>ԑUcKŲ{r%_G[F0)SXt Ql"sWQv4شe V ; 8qUʹ )Ոgls|Z(>?qc)YV;ZA0Û{W_sLjT5H @ bü8.wp9 m^h ,lLx:ϥ`Au7khG]>"D6tF̯c,qg< x\-{G DP8p:)ƻ5Ür8۴ɓYs##f̫S::7Ys&a"PO! ڞmGfvyN f ifV"ʦ/`L H x9Zc޿BS0Y@TCj~b9Ҡ7:FVKLCy <EqnY¨@gSc  ;bH&hY`}0IR%j9J?t7 X&+\6$Ͳ2 } H$xF )H6q8|톕T^5>yIGdK5ě&<3R C`YJyCgHP JC1b6ʧsz+gEһޜLHQNi`nut+X(n4|\])7: k*ͶA(7_uRX(b639A1nF*sbKWɯ ia!cdE#7-槝ljZIݤu!L7ݖ@~eY%_B ->xx8s/@G/Kr&J'TAŹә k%{Ebf'ʞ^./K8z{^%xr5LC!KB\P92_梺ݢdVjf/_E8ŅNf6Z=ɔnҹ)'" ̯Xa) C^(A>DRceث&W1z36x+ߏx77QޯإdF|FϬ{,XƐOCXs{L=sU=Y'7+(㎞ N G׏oyf˄O7v&X [C+y)6kEώo >kD~ZC 5b b(laZs%2xehKVlJH1A4 t5#>{ԝbW/ͷuh^,`xrg uagj]X؎/fUk×Xhf0S:_udvYԴAcyrZK\T0E]@ n{ĂH>BL@<=!uK,ճj.Q>d/o Ԧ{([`ajټcIo: 7Jv`^ ov)_O04^(9syt+ٓSX^|EPM7cԯ2HMNflWaF>p9/+?+&nS<= m &B%ćCW˨[x^ 9vCH W=K HwP?<Ԝ+e!x@2E: (a;!4 ٵw W;PV>t"u8Wus1X8&;nsTߴ[PvPADi'*8MVc0l>K@5T+\_5:),(yi&Ԫݯ:p^uu,gn5Q `̭@ќh4#fq ۋ|_X+|! GHU|e' w h/D|VWLHs'1DQ Eqjpj,T$LwfRXzyɞs6ggzu?)3WU ]A ,G3:ԮEV:D29Vϑ6_ySeKXNKy ji,4Qb_I3y}ex g&Gt7H5l#rxк ]*ͨ8Z(޴0JA"3?\1_MOG'V)GkRkJjā0DY9:-s\3sc}QrL_f.:jhC576C{'Qm{%&pXê-Gp ~N[%WI:k{3LJ+83'"ÆՒ<0Ml -}; dM(2nv֠!E,̪*fXYI=dP?ixLG(%ŏXƊm@I*[qFӰbhi(z&]~*ζ߮Z&ESSfgobCMEFa=hdH?`y%)-hŜM[E|lp.Ii'&(CbԧT$ ּr C KvcFw@6:_j 7V. sq+"vJcZfkc~$HV)REdy6XRGbU@&f_ͦU!Z#f 2+Q Pɇ P뾋icɚMXPO5LDPbL'O" JLr̭a+_2Kx7rCH 7szZ$KJf\0o21j$K1;m.rƫ ,2g9SKuJ{bMy3V!s!'8bƫ p*jHy^:rKF 1s^zs? 3>u,.̇w֩P~g jCv/ "m.";eP`LPk|)@mçCI3EL89y r'A>,#.[Q 0!AS$kjw@<#.#(lL` kE٦W_!|J]w8X zzrܗ!w=S"d8!V?Y?D•?@TߺJp}$ovC@pC=M+o=FwPWL^ZF!6wB!jCbf@ezJƋWD7]!Iv̘?7~3.޿Z`Գu`Fhd22?<'VuH+ 6%e|o?%P/t`HD^qS oi)t !͏w8} ʨKqKZU_|cbوǷr d'.T;i`F54*u 3Z~;\"O#Z) ,}D X(e,3(q|}K[]GP%{:W+I \a˻OaE%. N#>Oznj/.U##y4>% #!tSެBk2j%Q )Ohŭʭ^IU15~y/x= o`}BX~oR@4 sy-vCʛśota߭}YOKpm4  .17E.L]h.( :yRdQD Ze^ޱs #%k-&I!ۦe]*.3S[(ӯ`$o AE_՚egJae{+ƍX>1=s wSA\Īu qd_9Ui /p.wwh%2>,! ?gV&9<:(:4 ݲ c,;i9AyV@_,UT{Tk$ʪ7=/=t 66bk0);|5}g*GIpqJ5E17JmV-h̃AYr{A꾿sfrq:AuZ6EyNGگŲ6ECk7I|9[MrS㮕gwXݺbX, j]dL:d@>g69k*O?< EᅦPxeK̞eQS2_T egY[A1rzBޔA2p%Uqͫ4:hj oxKܚ8}I %'W5۫~(4P} 벻2 ,w:? WN/ԍ ?{7x{RUSKk6 !Vz*L\[n` %9EpQ0dsG`$4n[5}VS}} "ĭS[M v5ɥ Դqқ*{c6+ <.bco^tߧ?2p m~wYǛzr}FhPB^U|r.)H&JxpJ]֓?@D}O#ݤkE][KuR6.G1ĊYuLљdjkz |d ^6N9o@XT- ,-H{ ڷhKšMߋ u;=!M {b]bG reg1 &vigޭSl1O/f;s8$u` E< _seP89UܐU* :$%VIJwAcyNc^fG=BƋ#?l$ߟ[^7a jhy|y0h@X|rd Fo|LƆj1B-) SFuBe*DŃe!{{A#'r!ی[ Q.xː2 L/`+`"r,U'}^^e5ArD),?Ǽ &Ec.†8\ d9 ^`?j1JTŐt>^jM8є F駔x҇6^8v5Pըז[lФ?xDA߹؜kdB%&-)h_2'{M`ޤKet#HE"OT]I;?T.S|r2[*<~xDp}xC2r}GSCXDѮߥ atb;uo^vdUˊUIzJGZj¹kM 6{B>JP00)B%wJo?Ohy||kt FQQ^2V^g 9XŊ>^~apX េ(kK.ؕwv([$1?({(qr"[hdֲqW:pUݴ9eP%Nl{½yOՐkrrZ*y^Z(g À` R;d6(=#Fʣ#4aI2@f_pۆysfg0a ʙӊ_93Y͛L'nSӼI~윾c=l 6= t(B厮 +ī Iop۞^K[֜5 b/״;q. \ղ X FP ZVَ>܎Yf yp V.BOې1E:L#t~7kgku%c/U:"Ĥ1k^BMSińhG^ VUg狕֙,@ڔ8QH[PD+ c(ڒn-0?hbث}e|贠%)`0j}@:Jܯ'҇w u#a_>"1LZ7+ϔS[E YZ+rLJyи tqŮ@Z};J|j |pZqS-&BEj'J[4U{ 0*ET1'sSnQT*9.tz ( Qn䓓pf$/ULQ21ӅSd(ЮФ q0Q|"Qh'AJ5J1d5J$9*d $HAH^](E[@SʯyEԖMTzb [b;~ګe 0Q%P0=e#N3Uz Mx"-^ܺ:t N߳t ',cad9&Ȥ,5 Ʌ~)gnƹOM;03Jx}mB'|> Bn"O: W|ߏa*EJGlEhQhPr=tf lDC>ǥIbG.[eZIױc[\Zk>RTb:)֜ǰ$AcM릙tG/##u?t ȉ\FLrNբ:#ssW. 41-܉8zeqoiV)_n9) 1YN6%L54c8ę]JtWGQǢ,D9 Pd: 14S1:%y`Xd;Uv i2FbzWb^nMûyN 7j+߈X^v8XЎ!uȾC}`]9( 3]'w촸Sr>-bCOÕ)fcsraamt_pDnD?!8 2ަ;.AHW ][tB?'"58 aΧGIjn xGEQ'E囑ٓ;?cEa ү\fFLY{@)D ڄ2/Жʍ Np<IDwHu1" +A3WsՔŻo| yz[_;}N*b~ ţg)e(|?⧭|P>g٫Ir[۔\Y RLqFSKʼǎo 3s6c:xo F㐉MM|Y;F>6ƛFeG{*dғMg/#,"Ř0a=3 6|COlO;{ {L֬!sOn3)veaPѕ岨+sޥb#RCWer- ' 3ĩ#:id;<:M2#o^hSQVgbj3<-nxm-`n]MGH/raba veRbD ̌`B R_ZEeуK.z׀=2iV Mu6(Ej'x4?'73:S d%\ ߅) o:u;Qv+2 i&BSך׍}Ul.,:C1 t0V(Ϫ*k'`,nk^Scr1#_:u|j*Cӧ q DPW'X?{K7hAer0/?4ɁhCtiO<O7nb r_ȊՔtl_-K2AR %1|~b A[L "H:R @Vη]V \82 Eow[6xR +O[l^+тj?{0UBqUJ0x?c|xM׼zO:!zh>Yx(tK$djœ ÅD1d]h ח}5-9zI_ZKήJd*L>Jzu|5D);-fo;dH-}a5Ta׏ /kbF @s=YҼUfCL x1t ~xyVE[ s@RlnxdU崓< i!'h璮J,&(+QVld1UFX\zgK;;AyLK&77t'c{ ZHCjӟM/%s+O](s=Yy1K񎤼w;H<-@Mª˺žE9 f⽪d%ZS؏ܕ#!(N=,RbI=6z;>H[H$e欘 cw/KoJy#('b`6N3論j8&) [̍Vw -c0"ӌ7ĭ-OUjF #\OvUU5@YO?= vUG;>YvǙB3c[ƒ2di X1atkY%$i^f/q6ʟp.0w^k"\ 79Jx[f]$Dh7P8m-KwKyP{G}v1\R9rv7>x2IZo}Hϒ~80e+0OYӖSt2!.grZw Ks{TeJjױCB?Nc`NNލSh!0+Sv{íq(Om6>DΝ @YAշc GAO١W ͟w4CXR` kC}v+8e+jFK,6)ńi)6FT({nuj 2պzfQ̠=Z(ЋsUIGs>7dB3dNhP4N ̺&"qʁ\ O}fO>P:z2_0+}. Jr_u5IS+ܘ_kz!vБI#ös8_'^p{mei!h!2+!6&T4]M}@`\f0RfW?LI‘0ΟlrN`3>SS``Q6 !š~S]YNp"3ek d}ߖpzU %W &8J[jj3-Y;i2 =lU,2ƯӻWP^!'V-:spwVk}u7ls{ c;&=zQgPu: b^H{|.hTw".Ź@刦oNtɟ%^Z/+Ժn)$$ZuJK_Fs "IJE}w7hɮ*)H$ XS?DWس&c@A3=a;@8@zIhÃ; K Ӥfrh} ? I$BmuTHou@7|kxKk@|?[.+R H >7&gډs3]k }3ae BAS#XT chQ:\#wy{/{ʱEҽa<nV\N\Մ8a9@a1m=J @ CUgb]pUXcI1Z]pVeҊp#1{=EM# {Dyez\)HMڮinFu&ZzN{k $ &[&>@*!K9LtV[ہg./c&np2+ZЉu=[7zw˧&WaTRi_U)18 K u; ^:>Z 8 L|0{G- xƍbvs(Փ}PNӷM>O~5g31 8-DҪ .O?Xۻuja1FTbĶa$\o. :$`'031 GJkQZqt)2(e4Nymt%kei=$ wnmwejBCr{]; ^{hM4{H r eT^{jdMa+\`oTJM61*<@dXľ(@c^~my T%QUg|mcwXqBQȚOpL +3D瞷(},`tti9adl7D`ώԘR`F#":Uξ3lSrfP`Ł NɷN^ȼ>ǭc >\EK%: ;P9ȐѕKfdf R}@&Gϴ4#_v>r׋vhZjbI%`Nՠ( \=$ i~Nj2B) F[XR{>쳽} 9R 8k9 p̙r TW/yTmX8L#9]ƭ$!kqO(ԄJHulI7ehl5+/𠳌uavBh[ E?3{>uɄYpTk|iozfk3&RiCЕN%R+$s@ʱVu#?b)Ҟ,F+o Xʴu'+&1'+J/v5S+qiT:8[2G(.}>=f$y kף;lpv */7M Qڅ=E>LJry>ܷ2^uOWgS3ИXoLa?ZE{z7OAZ3*--i7JqGwSX~'F (p^,Oo(/0`N \%:g$I.J@U~ _B(&,*ۦCШP Udy"WƻY,C 0 wfïF# ҝy;{FO,gWa]Zfip˨G2,PZTQ6QO>̿FvB]>c`]BzE`'NL*r|dz3Z+]8М9Oˮy 5@ޙըϦu^$Wϳw{(t4;n+V=O-AW?.2/d]x,˰wF:dS[ IwZr^1f4ok8= }ũ۶E|\ XmOmEBy8',ɒ X 'u iq C4`ѵ6;%曁" !/]1 )uzxDj܁?"ždq@MJ`oi>5lcψeklr5Cmf0#ܐ@Mbdh9HB vtyop޳e|UK'45*yX&(~qS"%qbh+J~ܧ0ĹJ o zamPDmeX3e9XEk|ΕI<3p/g}~:@kvbXd~8: Y7,E`16>Z* Kf7brӃs8+H&XkH 0a~ wVr-oH+cJH <"^L)XʉxMu۾J%V\,7 m\IƟ¤Z;ʙO 7h}iݛG=5,2n#o#iPcΨ?²/ d4?iș_kO豏9TJ_Ln$.CrouM`^2A$l&_H+< ֔iYa*7~Frxm}Z/ b}޼C9)n- +3LOREL  .܂(Lȟr/VS 1Qlc)Iz*I45,&}zysh-?6jIҾ? "zhk\DG"DG,~;D#/IF32RGk߀MN7Q2ja۶2^ZsӆmeOس,I0s>feYۏZSOqFZs|˿1'Jk7HNjJU5aka3V:k \6 $h)(T)6ұ*&OJlp٭7&~Mt(F=t-cK*$40b8UǭezMJ킕BZ]}kE{x;h:w G0$X6Ctwy2?gy3-(($܎,zXO%Xr 12V;_pָ>`=cmm߻Uz6<hp_0;4IAvȤTEtv! K6Vؗ-uL2gYZec8b8b04fb64779e74bca6b12be8630c16b04853849a93819fa451203d0122b4dd3db0edd4c708a53ef180d3202da10a50c03ff7e48ae22eac2794cb