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 V#T<< ] WebAssembly:threads=4elapsed=116.225cpu=379.364gc=24.300factor=3.267zXZִF! ༎]ŗXf[&&=ET,LQ|F&[7C0T 03E=hU=PT[νT=#~]xY)kִݬpPŽa`a .6WфV{,m-ٴCO~q(4رL`]N%+9sTH ls˂=vHz?gS8yv15SÂN8HYHY9/q0ZJqƠ{0>@Nm-w 5X O@Xע>_.^o Hq BY6/o^sK <o_=Q5gȈ%&0A|GSħM@A[O㼖[z{[~Fgd%k+r5MFU}E9[ZFȹ?ۡIhS#5=3vnR1kǰ;9|iZr&t܅bDu7"% OX1 ˪PjPU2.RJ è֌z%c1\t259fPBJ=H 7tX `Y"@`O~lsJ>ZʳN]SHqpM}jGT|> ^}MJDŽ(:?=}R=/Kgx4ɭC@8IU*e;>2.Bc8VIy׷Y  Q ĸ QIH2gpi7$pϗ@,2&fn0G\-›}()'8?2|Λs ՙgٲ]^P^]{?.@vh@ui@RHEωu1F6M'Ag!ؽq8j8G_\D؋b sfljł1k. 'd+%V x-km2̖\-f>_W-FCEČ*rQZɮ7 k>̛_Q:N<uN\U=\pԯ_tҒrJꐖ؅ӯL9{۞QԨKlMƅJ!;$AӃ[ngӈ7C/RK ďy4(O& r>no{[bHD4ux0^9u,xࡤ9~*]$t9Et[A!`)5b|ceֵDbu`}e"N%bW[a9?赳r;eP6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-@wAɍE<_u+:7IᯱYVԖnX _'fu5}q3H@a`=[3Ѷ;ZG }U"*Ҫ/z:+>cJ'T~ roʂ#:{pPobBj;!bV:߅#cL9A(hv ݍ]ڂHYfU ^> c:EHa@vFw o3GfI0  cw^K)/z&uF㚆.*0Nz4)u8$F "YU@}M.ڷȢԍ㆗Ib1Q\.h̋RJ0{W +*Ÿ5t]yѺ40!]fl^<6M#x FM%6x،q]jb0Xq˳DAR2 .1Mۂ 17r#|/0jN܄sI5sD*r FFlj/3rb KikWjk:j+c?H"ĔV" hqߔB|UU(D/ئۦ.L w,>uRIVOpȄ g9-\b/Ux˖3HxN,{. [F*Lc*T;?{5T(R&~@l İLU+$hԈr-d)U.vmj /AF`!p֛\]67?˚Q|Iǟy1AXZjK}$Ī:^ʠM#**te9$.gብBa#Q:R7% 3ND|">`6ySO\ԛ73+vJs1]ӗrߕn@;7yFT9$!j&.l ~(&(}Qwӝ3>$0 K Ʌ*_l[׾Ŕw>r YϯJJDphE1"<ܽR}+&v¹rAPČUz?mܰb}3FGK6@Laߡd^PbܓDU {3 #u4d6WI ms+Rs qQFq1KG_sZ(\j]qnMy2d YgYg#zkKlF:n-bt>W[9qHnNU\[P" Iެo&+R M37(TGGwt/q˯%7vd~^cV9-}Fzەs^Ll\59Yi/kWzj[1 wJ|+ub @Cf/A:(xA?n^S7x0"b:?`o8COOإ/~L%U2S҃DwPŸ- ?RF;; I8hCjDA zT"{MtX"4=띌c<<LI!lʯu9VۭZPV K8(u_ziZJ':Daђ4v YjKwqyѷ|0k$z(MM `Ds̾uM`jWM qMo,͏ &f=_~$mBY:}Im#2BSoZ̫<%r-#*׏Pz 6Z 6`uϬ1}%; p?Yp8=*+kBRPuR5ܳE[0*̵O蘰hVcb0cOtkd|T#-q%]7~\+2OSɋRNp!AǧqmS)uMX:Php"1xr~ЎGS0AVix<PE\/]QCg  4q4<#?1WebAssemblyWebAssembly.Wasm_Printingcode/export1.ocamlM#a1WebAssemblyWebAssembly.Wasm_Interpreter_Printing_Purecode/export1.ocaml@#O+ WebAssemblyNative_Word.Code_Target_Word_Basecode/export1.ML< K6ӆML֞eyr)tLpL #R5͖# kFmqX[=ҁY~cɟWuJ ]&*bHsn+NpkHB4Dq!Qc cM"?@}YoЋ m0L@Plwoe\+ Wso:%QP-^-p{K΅\FY 7Ph߷Z\!'\yB.o8&pϢvA<5 A~A;DV8{^uoR-qb9Ft]ZGtzumK)spFw* O7,E+8æX1S[pEL쎵óGsa$XQ%Qօr!~k qaHEpZIFYACleؙhL*hۤ2bNľ1rGxFE~l;|8}Y)`)IBW~NV;rZ"QU_7<9V5}vf&g'l89`.w?}T5␅ 1XX50,aÒDL2?`d5B5Kҙ')O.YUqRgLykl>cȝ9`Yu,= jL qs;q|dw[QUxvtz"OcsW12xl>gTPGݺU8&bLP9&,56/(G$94`mR^OV?DEjQ3`ݶ=;AZ2ͭǪH06]$55Ut"~N}P<y$,}\{Cm T6i˫y}Iik"Chl>V뜦'_{򧙝by6w@c5VG!ZLyn%e'fm%ۺV0 _%Ѯ9Ef}\̃%LLHе:% C$.JAVCӂEli%C2pCQ/dx!`Ӡ AC+Ak&?:nx_Hb~C,\s/9T(8/0*C:P6,sSvݵ YdgWq @V}Ω]D&(9Gި2ś(mI߿WLʹ)śڋrȳyd6W#5({e -!*\ x"'nvBQa?XOK3z">e=D0LMB.gb /ǹA$ a㼌By BG.ȣn29Ԓ u*'|oai %E>7Ic`Y χݎvc%8/lh{ L,o4Rl׀]0j#P,`;Q*]!aS+.c\k`lUeAY0u!SЎh?~)יws?mbX%z ƶ4uQgOZeh?1l0L Dۇ^ϗg-iY]2e~@25BC^zm{Q< /KE*j O5(C" V+h#̆&K+H$!6-*=~EGW~eL-dUZIdqtO6yQv68@upSI'!2/ݺf8 u*7S!6;51ނ{Ru^S Tq ClY9~~"PDspQ!6ƺ  7qL׌I v:KGC(Fm<֬,6λ a]x2sHݕhĸx?-:h=gdG⿉~w.%t1b`&36&.3`kX c`'Ie!t_gRzOu2RT r 0, /GнO&c-Ivn@}lѮU`}ZWkr":+V0"#]tTT3.V~ sH1=6@)Ds\{oKߔS6εտbS ҝ@2s0:f@6ƶػ]E21Tp6wK< NNbq'^OPk+ILlgͩx5b*W쫰tv̉R{a~xN\f&v\4" 2[?MS4O'\Wj|(]J(:)?|k-5pJ&Gs҄I/bXq`~'E/3Tu?D4F[  4Rљ@'q^hTCJIVp A ,yv7"O;q܇6蔕FQ1<2#da.nul +Sߥځv3ToipPJ.ȬF5 T8jbT9]0"5/&.=f#Y2`F$rw1c@/ ڷ$Jf{4WfDݦ[5ZxO_iHrh\/>eͫpep]J狻;<3osf&\tVXI%}7H6=5}}CŶ w4 9?)erP`*(/pmC m"R/> ܶ fA\c$6(-d]hOk~d>1!Ϛ5Z̵,`OI@fy>mS"'lh^ fٹǏ< ?O졮y@ M`J9[@yF'!7O%]%#.8r#o0;nZ ͂,W| o 뢜YӞAENiNY 4>vz"a+"HA9K(1W/ R _4J: Aԛ7e. a7Yd` tS>EDS470@Υ\9Gb]9\3hzWt`,!Oʒܚzrؿ(t\ȲV@ˇ1[ V=CރY,=%=ڠGG$pj%v7 ,49oL Q(fĕ"H"f9@ѵH.&~x:X35 jN4f$gW:F?c*\֩8,aq_A60~\j ba?&$U"߅wԒ޶}H1 :M8Px-"` ]ńڻ0i^i@s&KEwQL_F8sGsʻ_ ֓ouv+ƶN%m>Y*t:=zꚟϰ$Eo^@%EeC[v k5ִ?nȁ!O2Ԍ>s6[ױǁCG<2}~ ɨ`I(C!܆\ۣڎ-EQI)Ҁ_:Rfg~]31+i}l X3 fUxgMTiJ'"f3r=v5O4 Pa ,+;.>;&:w}Ἱ|_-xQlP۬J8YOD꒵Y;ѕ"^!%DE/āe1b^7VnT>k%{?p@:^'؎#b9W;>x,#>ҏbUG;W9&0BlA_M߭ۮn3R=0 8o.-Q꾾Y{ 1^uwjM{\l%_SʻfT;tAJo ~0C(8FnWw U;u#Z1K1 rIHhНVK _#h+MըH::9eJEBݦPPv ;W %3|FH3R0设g˞Usnzz H&̶SvȚǎ8M3iuu!_"+[e>epUpײʪ#YFfڍi,O:Nj{^Nݗrl%:?_EP9?ψ]I&L'&=[^)^fM=M/C>m< \XCFB`$>Hmo%qI5iB)!Ȁ|c5ڝUh^1yg U <ߢڥ^@ZӇuxͽ4]9%;y|*zCrĺrw">Îew|Sh \i4_D <~bų5H{(V>oРȓɚЭP KiqýWD1^@9AI`[1@52r5ܷ /6[XZ5땳3aHH UjaMbzJc>3?%?"#{uj53vo5N"R)-r-'ljӵ ֟b_c,%h@۝Hu[~B90zSmCr^L"5[F+Mgy]?,?N2% L@zYQ<PO%!|ZdQ^t[r< n6F)ƚG +ּ2<ܮ.?m ͺ HJSq ΓR~Ty}Bi(! R BO50fTS[-ʘz h 0>٫Q>/nMQڠS_։2Z[54V2~ RZSw&`qi8Cb25<2Hzq;qCGGkNӇJP߃<0 ,ԙ:4xʩi@+SDs#\jҼVv! uO{|iv "2 :8' r5dO)bPz./ZƉG4Y3g6N $W',F6)@/ҹ RkwSH A2I[ok1KV 3F0~UDґhCUfb\ BTr*kmN&/J#1f&z psDygFx׭[!$aF@\ǵ;1q6 V~8/8䆫p%H#Y_{rU)Zj~.k%  lVG<,0HTi} Z7#m߮ĺfHL`IC9B2 ~yw rsU|avoź;؍#gyEVV#ޖx.o{B 9QEДLpcu E\Dg xaѐar SɞH9C̆bCMu(j $vS&Щ| }~P?^[VtݳUCw?5Nx15 'ӨUX:@0l+\H xniO?%+/Zؚz%05Y%rJ(J= ?-C !A_>o?/4<Yn:MH4o<-RXUR* 4p-?T':.,r|"bAPuݤ<~UU5>p]5 LAc6xώ :dHd9< 47u;S{ st 8c#ehS P4?̸nbo%mR6(d~l Њ)wsc7LVwQ`W~Ѕ'U=C=n M֏W/ ^D="`FB+[tk;7UR{H{ȟmTŷQP @'QNp4Z_ǧ&Am/5|]:`?ǍmcZRu6Pߙm!t ^CΪD~a"rܭ}p@̚:qD6yj0Q"XKV^>BUi}I]i`/L*߀ {+BbKGKttCq)VrO! ^vp ~uh*D1QÊ*%W흇t)b\Kp,uN[zUHRanq𧗮~g->Xc#EIOÐZb5Q3j/fz+ƚ~٧s{[^!+ vGf%DO?RZwiӝϯv|"LN9t,=bZ/˶7ux_̮aʞӈ}M IuZe*A)4~yQjeS["~x^bs/Lu8gPOUY1q&`/KaB *73ZyƙlRh̾G xMҏtAhok(I%]Cn)e/꿱Zs?'`OVz}6S*Э14瞠S hxrh^թ,^ B|ZuNj@JM`~k}pb~8<)J|:[*DX۱%yi3Ѐ/O9x*9r B1ʪ'Ofe ,icY H a2Wf-ЖwR6L ]qt+Y/Gj\ɺ!Qe. L팼Ìu;20m'55)x+1kݍ%N "kQ bݽލ=~KL:x*zn\pgh:|{%tI8Ē+Q/}֠{GϺq*s^ZSVLY/)6rvc8>x~BQ;?D j\J7Ŏ@gR"Ng2 wX~0J&Wb#Q[K7:9M\Îiz`Z8NoЫSQfޙP4 TjOUoFk5/~N˄0(l]@c.ғq@nj{o_cnM=j֢/SR(KYPsT-!)'eMT`$S%//̣53PP@|o8h#8hYv5:tpu Jכh=z(i;ɀPoCwm~ Dm>P"Vy#ėWwSLBZgGr! 1xXU<MQ_TI1H|T]xJ"[Z lm|7+=~6A$7I*4{+e5-s' CH`$6-1q7摝*]m.ڊYIOkF̌, w]M-Oʊ ӸÒ鏐2 `2]m{cc tz`?dA}8qd5X&fgb2h/3l; <=;yԽlfq`e|Ún LwQ?$c-nD+a ]?090oueE! vEi6`~uC~4^ryћ{1NYp!YPbϪdi2@qb ݾ( =G9xB1H)]T uiu# z"AR,JKȃנu wvWptR81 X:#0Ml |7;l l W' ls/ЄTtಋzQV$E7bT=V_0qa,譡CVe +gs> wv^>'͵3fpD?'QӮBsMd=tS\iN%; łp:/gij!!n so::n#Ȥ}nmq<0Y[v\7*$2hcA Bn]=!'×$!(2+'z |&tWU/ 0Ӆ"hta"Nz[O=y'_Nݲc+^Y(6 GwȆ}{=L3=|)ҨGu ~l)}gYZ ZZ##O+ LWebAssemblyNative_Word.Code_Target_Word_Basecode/export1.ML7zXZִF! . ]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-@wAɍE<_u+:7IᯱYVԖnX _'fu5}q3H@a`=[3Ѷ;ZG }U"*Ҫ/z:+>cJ'T~ roʂ#:{pPobBj;!bV:߅#cL9A(hv ݍ]ڂHYfU ^> c:EHa@vFw o3GfI0  cw^K)/z&uF㚆.*0Nz4)u8$F "YU@}M.ڷȢԍ㆗Ib1Q\.h̋RJ0{W +*Ÿ5t]yѺ40!]fl^<6M#x FM%6x،q]jb0Xq˳DAR2 .1Mۂ 17r#|/0jN܄sI5sD*r FFlj/3rb KikWjk:j+c?H"ĔV" hqߔB|UU(D/ئۦ.L w,>uRIVOpȄ g9-\b/Ux˖3HxN,{. [F*Lc*T;?{5T(R&~@l İLU+$hԈr-d)U.vmj /AF`!p֛\]67?˚Q|Iǟy1AXZjK}$Ī:^ʠM#**te9$.gብBa#Q:R7% 3ND|">`6ySO\ԛ73+vJs1]ӗrߕn@;7yFT9$!j&.l ~(&(}Qwӝ3>$0 K Ʌ*_l[׾Ŕw>r YϯJJDphE1"<ܽR}+&v¹rAPČUz?mܰb}3FGK6@Laߡd^PbܓDU {3 #u4d6WI ms+Rs qQFq1KG_sZ(\j]qnMy2d YgYg#zkKlF:n-bt>W[9qHnNU\[P" Iެo&+R M37(TGGwt/q˯%7vd~^cV9-}Fzەs^Ll\59Yi/kWzj[1 wJ|+ub @Cf/A:(xA?n^S7x0"b:?`o8COOإ/~L%U2S҃DwPŸ- ?RF;; I8hCjDA zT"{MtX"4=띌c<<LI!lʯu9VۭZPV K8(u_ziZJ':Daђ4v YjKwqyѷ|0k$z(MM `Ds̾uM`jWM qMo,͏ &f=_~$mBY:}Im#2BSoZ̫<%r-#*׏Pz 6Z 6`uϬ1}%; p?Yp8=*+kBRPuR5ܳE[0*̵O蘰hVcb0cOtkd|T#-q%]7~\+2OSɋRNp!AǧqmS)uMX:Php"1xr~ЎGS0AVix<PE\/]QCgYZ  [ #?1 DWebAssemblyWebAssembly.Wasm_Printingcode/export1.ocaml7zXZִF! ᴬ2]6ȱdY ߾a ̩@£7;vTȎaxXN<d2n Ƈ%ە\oq [G)@:(ḵ/lw4ܠ6OGޡdž[IkwpNWâ/p|:ej7: ;(݄bIhmML=Ҩ/}P*".PdcrS4˞SLIH{VDa:&)n&͓7+5$anSTrмK02⿏O2RT@y5?5啳OcpjnN C &7LN%S17y[|=tRӭ saCm E&93tllBבN/gc}v6(Nr̷$dOM5kΊtN.YbÏdѮpG7pR "kt2؛*5w M *ex󁻛O,]Pq"t491/m_@HuOl;ے]5e!6׸ePe[sH.U$DDLJЬ?w2Js-w)'`GU <Ā;{(6y9\l3ٚݨsRufHX3d;$ xˋJ (A6P/5HXW\JeZ e_Tm [}ԧ/`[||ȣzE d #a1 4WebAssemblyWebAssembly.Wasm_Interpreter_Printing_Purecode/export1.ocaml7zXZִF! h6Q]6ȱdY ߾a ̩@£7;vTȎaxXN<d2n Ƈ%ە\oq [G)@:(ḵ/lw4ܠ6OGޡdž[IkwpNWâ/p|:ej7: ;(݄bIhmML=Ҩ/}P*".PdcrS4˞SLIH{VDa:&)n&͓7+5$anSTrмK02⿏kF秧U$Eػ>U5y:^yow6q!vBd dՁ-9wwVU*kLm=KczF1֟gdVyXfJf7pvE DtHE}ISB|D1 VfB)ۑJNuZLHz=u=r&b@)m,vxYe$OR۸F"?iT!;_v{;EkA3cXAۦZ6d*?XQ!k(< ̆~K(kFjgSߞA0v eiJB +F ʲ;rTPLc**P Rc'6h  !N)UyiL2\^\R88KqչY9!|ZQfȕ<& OH_~¿ª_4!A˼+N,r|b˛U0zdcO Εf.Q/ZqUCk؞4h.x&_lai୆L𻖔9]H ciFLW[$mqIF1e(g]<')Xp-6u`Y ;xڥ6*2Gq.A p}E GFb<.|{g7F{6-/+͒pӦ܌Ofr0`ֵ;1#(V M &Ҷ J D'.NE(bM)CM2)&^"U] E]e2 S ǫh#0hr{ A}PG=&範Q6^-qJO?IGI|‡]p U$8m*7SD'D9D.FWTetJ0̥`q5݀ib77+$Lƶ`~r< af5녳iZBc0Gm֟B|ikƃla>Yi; tT:4%7?g?|\dh@e(}eV{rye2 ex1;{>+O$6pYs3@zbpFz?lhr;閣u c}#iCHmL"æڙ,1 2cwVsjwNBYh8"~D"' ;Z\zg,6ֻYbo st=rf2p8z7p#VSc8;l@J!*'ٴ% zqacήNP|'y`+Jhr&)s.mvj#LG-}͈‡!dkBE=Z2R,T{^O[(u)YԚXkprq&=$;Gi01G1yռ] Lkڌ'SH}j2 JֶsS3 _~d7&7ٷ+vr)#]fj:ŏLջeB6! C@ RU_oVaKeMon.ƎO}Mß1\e^Jŷg0 y%Fy"T3'P`"8<\h MKjpUQPPA(@՛ʋ|._}?Wָ[͇YWoGJДb"f5 ~E%whY?fb |ƪaLOF Lv=)؈#GҾw#~˘i63lg9k)!]s!:]aT/q @ ::z+lظ_5_Zx اl3dզ)?Ƶ-WfQ\ǣjH;()k Te^ M2UsI )U9!F sD_U4&pK@s@QJ OPI3x!U0Ze<8ewgK2EC93` ; rZ[:>"Ju5O:6XL fȯDKo5ȗ(0c5٨@Ü_xaf7.uW q rꡙvL%pm=%Z՟LRdYlÀNW1jpwͿ1C4ņgn-blc`| z*ar#K˟qNۻ/~'ȳ \bɗ!uHH!qʖ7j341#J'sHd \ "CsڡTMJQ2@\#Jʏk؅sgk@X}e4KDZxos>A |f'I!3tCzS2"~x03jp߆sxo;Mmυ:]-J<b9ϕ,]=6ens^O3pF3&Bo$(6^G8o2ɹt9ZVL)*:<:MqBڣL+m61qG` nV"D[|`Czq>V>15{N\P"@^0%z@&@\QPGjy Mr}lRši@- L!,rm٩cv̱bEǢ[B2ے4!];5ƿ#;p+J6|6=SLW_(76zO,-78m.S'!'Ӯ5"MWYCh,M@ٷmDt"^To-bn0-Oh DBTzb$9;a8+ rvz n"sszT+2batLGN&d[tM.}0.tz2bErUh%y Kl[Z%> 2 9xfIa}/ ]h};6aE2XqF+>:qBMDge^Ԕ Y=Q`hf#A1BQq,bpC;lupWT{t(6["yLq{V1:`[4=q<_J}'X@ <GY7 W0ie";"$JqjS_ԝSz('g?潅@b3tyc;j[ǀ&^Ļo~{Š/ª/?t#QH;Xw>>_&;N}^p Bcmo /s};/AZt{=-SձI\9}O[xyzV~;\'~&,Rpy#+~\>1W Kg#`cs9dIar 3G-nl$%#G/aM&ЛClk\HJuⴌot&<-?1kPpd B_HŴp815M\'9GOK (VSp᧧Ɠ3D4BJ np=A}Q$&s?iՓxy/|Nv]0r2S{]5R87D.GfΒQa`R:YHԻ8HȏT\Z86_`0#Ji/exo6WXD,M^&hr֍o[mqI?F i+ "ȜK5⫷XusshS&KܚDAA?xg:7j9xR-ꡂ[Z;K a$MSs-"SQvug#?/\]=q91Psr(\`Z [ûmd<ӓ EG9Wv PyA( h mZ VHV7}gDaki im 5F9ڈ<^("6Q|*u )aĐ?֘pO/7;E`LYytٸ~fh>!YL_(2~E4nn\[IR9BVbaŰ#O"B欭:p Ɇs!M*9;j0c̜r"U&` V&tqIw <Î"CH9ZUFyQ\T`P@6l%aj,ZVFSjҚ{J44ў6ֆj* I!n[c &E +<f PM |4Eȵ5UX`b_1(31? ֢Pc9oS&| s$AT6ƝRNv?Jtg][xbOodV^~vB֧>N?ϯDf܃d7H2yGkޤ ʱ6zeJgжr3La4r'ca*I4(8l9ŦA$jCvfW>SC ZwU0q "ӓJD}ـ *Y?4mkk('I" > 1-$R[<2[ M˩X: t_Tiٍ^E{G؆FS1"LA.^UIz}Ƽn޳ㆠb9j>cSZO!5&<5r;rhS$# OH=nn{&sOx 6w_fRDbO'%Ȼr~-=vG yvqR`)/s }lwE%uz/obz.%F{DTwv 75sYeH^K21|zp7xSo^#(#a#"A=f]2RhH]Zq[{q%\Av\qh ,)5pKb%E+H/%ٖ;L)^mJV^HKɍ!gal0V W[ƯO9o1ͦ䪍blpx,c#PZیf;,=>GK3>]ZE['3{s)găQ4&fԚx72m{ ރx< pyZF]9:z?͓̜7" -$e؟E?{x&4+#HKWcvVAPGش-5_2R2Rl"Do]̴ tz:>O5H)_5쨷Z3'n%:%d/q+qj힄t/n1 p.fcnWE1.TF133;%Dzp򦺽C@ʱӲaW͞o9ٽғ_ap s׃FƂ`i"e\c9o۳=a7Q P,%`2FI!ɾc@A]/e9͏Rmv 3݅sWJ [ú=|+J.Xύ";bsqڥԅ94rUgB<&1=9 'ryisۀ{%[-+ voq閞fZbV@>aӆ"u%+ p0q#af^'nK|&|P~=!TbQ7DoT)Qp`VyGHbcuq=qRc4ˤ]^i=g<8.w @lF@xy/c9>"?z3{Nȑ#reu= "Y[ti(3[]88vv$gB7gm.bQIR,__EW)\eyXB+Vk涒iVUC8$![ APa9Tog@ڴY.QѽNz0= Z/xY:ȹبZd?b2ە01uh?%EIb7 бW$ቧ(X\Lt806z.S6 dz!3 oa ruM2Ff.ywmSlɾآ JUYA;6%l&djZP0@#l"/Dr+ބX zbJpnN`AQfunB՝>+D)S[DX|L3Kğ}TeU: Y޲/"ێMxQ 8 AiunAOJ\sFC)t>9"]Iw&/+i&9@% ;y6c }V"U4 InJާBpdHi4{ {r]Gmbu~±`L5} pS%6 gI^~Oɞkvh,iCQk{.ؒ8ɘl;L cFs2iV(D1 =͓M&=+W94G||HQwD6(XH:&p[ޡ+Je0Ҧ:˿ர@s=Z)xbGMUC1/1vwupmoabd6s%E32Ӎ!o,V1ObߣK,D8\ZXR`k0wtkhq?A g#ݷ'NX?:`_#e?mD]`;3KCb=D>MP+O,s<6SP%WaXd2;Q=!O#6 D֞ٵSOh eVM]H%vbfvOzaN'D9:kR|ݣ;ol7\!>CUv slư2|q*U~443ofMͅen$Rͯ dy٣XR>8'k>(Pz7F|^ %^FdsQBgJUAkp8b+D L'`k W;PkdwDC 4FD/- L13kMj$)>Qx"Rs\\yYL/`R<:d$BoZ*8 YG|BbcЮ9u/><e>a Mn kOՌKrw+ݓyH+H/qO>lhh;M5z=%P>Ke;h-PRF0~sbWFv49EYH?aCˆr6^$\rγmI,f]=4V_Wq=7{LI(wբU+Gymי IQe1U snDQ<)^bL+Xgsj#[~CQfMLmy% 5bvzcqlm9]w|{Ud Z3X|"b=8.Qx;5Vm0x$QǼS kcS^6#uD[ϡ>o wuM2Ƀćf' >*kɑVOcׂ;jx"67}3M I'zu%QM%]v>) _#Jjw";Ԍ 1TjLym/,JK6G#jx~+4)0g/bIqJ;f\Ql(I'j=rm1/"}4iQg۠@,`Jٿוabu߃Ξ&5STXVTAXLXm ~GCFsEMRQ ślif77J7DxXQĄҟ+?&Cǝp|bokZu1$x76y_{]޲3mH.pxDž5MLT(;{f*ZxQJs;+EwYw݄~Ud!g5?~/S*?{$[|xl_Gk=q a?0RRͥ.f.ݧHh=V4'߮Pk'c{80pWRVފzhzؤ*,qjz,u:ѯP:!SE%$`4uc/ ʛ%x'/Xa3YOț0Bc!KDA,,"kZ5n8_wN]+$d>C|Z[kP;.6٬֠cK8*D!v.D-:H^hq>0jj [& u%k~KbOqa4wd,u>D[,BByS.8Eg/k,~Bks)xn2QW񛑓,#Q^pl*4z@jL^5`)2:t1p!YB\fCsƐ_d4:J߃)0۝P yLܗ,{d<_6X(}"˴8SDCfsk$2msh ߉T1 z,Xx tu@s}U6=G2ow+@ J7ݵm$yѪUJ1Z8. Ba^=j,"~戂{eq6φ&iCP`I''h5fP\(?q'n"#IDBxܿ+A7 /Ű3S\aEU[-u ީq?Hc Vy,KL[HvDrl="2Z-W[=yӼ{D|* ‡@f=Ǥ1]9I %/7t;8S-y@O =A,}N4.> UQS:ۨ)?8QaО _8JP̺<|`twތ3{;^ MJyȰY׫wY1*d=0@n.+t'IC/E"|媛sᨃߩ59U 5+b~< xOP xA~NE]U֚$@O\m2!5V, exƽxQ[q"1y_HIw]Nd( )OY*VA+7)4YpPpDz!r^gYZ7zXZִF! UX]ŗXiɟ1}?3DDCBCmlRv!麏 (FŢzH%epRSMr /͆ uzPG"yn_QDƹ+%Jxp-h7mx%YhoZэlXzd ̻G7JrYL57\u]k i"Q9ޛګ f ID=^Kp75pJ w:oM-&A.|h>VjpDЙaxt8}4? DuV.TCau sydRA1CfjL'>4r^xpMH׆ѷ\Ln }VYhm B#DjoFR/ϔje14ijcްW|[vҙ [R.~'JEU[`w=fЀJ+0$M뼳n%={oF?L*>I&(_@IKgYZ7zXZִF! [&]ŗXi%L 4yai^#t7dVwP|D6ܦ=}s^4ĵ4˸;r(bp3oc5f񔁄-9k5-j Q)F>Q`9=5GdX]T@Ė;b^\1tG|< Gy|]ҬG>?pgIwd*yCjd?Zae-J)NEvPk3Ћl5k崶%;.)WYVdƁT)%د T 4>f*RJEH3-~S\wP}>wޑ2cS3jsZra܎wbҪbd`GZ'a>o;1Ntcŕ=?!f!(5o0k"/IP+^6p+Ȓ& tc݁eQEpCʡe-ȅ"kN6(J7om믖SC6Ht ??#2:Hr)/j U/Ȓm=8+]yvMSbcdֈtMd* 󸂱ùp>^'"/="/DX[^v7G [sKiTo@K;yI؊ {׆WrATN,=պӐ:9ɔH g7Nxm/4NhqVm"~#w@C/g$`G谳#zE!V#Pmɚ[TY Wj3Ih۱hi4ҨO-υ8:%qv1$PF``$ g:* `"\ hG_E.`Ⱦ˝P wWdbƇz~=s>^tQT(ZrHHk3zV)Z)Hߩd_SwfÂ:k [lhZfThUz3G |D\^ mco }elTK La-(5- r$)aEp}0eGw_#$}攗c:]hQBRwooHs4zU"4LZQQVknEpEiz4sopJs(2:ϣ."zZ(L7ϛf-\ȥ'szw1JHOp1]]1>lIyRrՇpSW0\7ɯƵ.$˔})ӨqF.7 ۘKEc ~.k9Mg屆QnrQh0Uu1הּǵ5rbX''Ot=jtk" _G ̫)dU{`H^KPYBZVa΅,B]>kwf8AF+_3ڝu2kHt  ֓FGt/DzԮi~2◭ !>! }3%嘮&ܷX@ m]3|(Eʘ ǔ}3 #D@^!6v2\ݒ;ChDP=nu[=/lFa! S$ke4ELMzGpWB7jJ?e5:$؂&`*k:IN -lާzşC?h l,*=)gy \#d<KռWܩ^i0wKЪSF}T@MOr46y{>>HZTUV &1>GNO;YR)KDA7vS'Ykڈ<:g foqwՙX>$˟`@Ę".EΎΜݢ=W!!8q B0U[kE*eƒJ̓Mj=lF,,nwP x34:l%Cyq1>e0(?FN>S1p o C{aE QƏnòa1p29@`JoEMP_QT,ՔeYUqт667r;l s Y2NլM{E&KRZY#efe;~4MFpe*\iiwu>D !)߰@ kwY~9o,_/,a8Լ>GCb 'ʒ*Cՙ-t 'r;6fy{UBB/O CO,FeЛMfDSK%>Q]n.+ SGH:N)-\Aذ\Ss/}Oe%)l~j879˚+ᙴ]9Pj'Apm-xļ[-fg8kW'@zH/wDqĆ[6_Ќт=rʶZl9 gbGn~:1{C0ܩ!m4a$yzYޞ;{l9rEݹaAo#BJu[&Q;Wwv?7GNb'H*"[C0kul0vyLl}QNCUoOg4l(#oM"^)B=!µh!%mo@ng߾8Vl6]]tu' =G9=@csӉD[O|qLy lHSYU=)1fôsߨ/HɅՃ+ӸؙMV MxPqc͛{dzJ4t6/^Zt,E?ŵ6b Ot|!QO2Y=_㌝t=Sȅ& |!4] Y>XuĠ9o3)G!ɘӒ0גI_4x{|}2F;v]U9Õ_t"-wU>:`J$ύSH1[?~ qNPoێH"dck/ *r_ d6N{B;G ~hِ WiO >qT7$q$#LfH?BlLµl2't"xe9hR1kҍK*s:DX*PM <Lj#v:6[ԔE1 ){œ<lR[P.-pON0},zpy硧_G=aLℯ(^zIxTT^,/~{G"_p&f,,Œay!!Gi]{ii6$3mglo2cʝDE mUsNYv s$_iLu4pfe`}RS3sX Qkw5;lꝤB)/EDJ? OX(a@h"g5{HB6YD.tl(Ez |XQJJ6f;ϨдwG]89H-H{Emjq="ť"h, N؈"0R=egYbpS̶Okإ K7[vt{ 9JC- {ILAbҁ ݙgIm}_L{w"71&T.ZQO|Z3d>rr#7PJޯ?Fj|EpMM̖.x1GvhP9GDHڵsXHV#jiەJqAkdP)sv6D\ZCrh歀8mn%@ub L=_^檀9h99trE :H)j94a@IWB4h<0*n\5{&/>-2㇘fL!(Zqᠣh/ 3Y ҏpFa?&qhQ3xl;MdQB~0( }tET1n6Q^a?Y$K~.lNՌ2pE0>2M7A\oq{:;N)ӵDw}ׇ=,jU~lxmuRNν%5_ok/V:MSa54>~ aa2^.`WnW]]{#/E)?қP]}nM,PRS؉ex+YrK ϶C\loWĐnLS,+ ЃnivWуSҷRMDv:ioy;{MzO Sΐ2CVhpIu AH#s\HC(u@f,VIVzKuܥű2,vz磩ŰO@LPA\B .L7M?*t.=H W<?.ZO,5T 㺡MQqDQ ɢ`?tMQ 8 <|般(M-.)#$nClmWY4O\G~ә~`O,n˧lL+v%v5PUx_W6j=p&m[LqS$*2R`1Pa/SOLJddu !rE<%KG[X*< *}7z`B9e+4 Z#Ed3ejbl+` yyMlsV3b Z*d1cj){SZ򰊯FhcmA2nV c-$mp[a_×MzË7{ 7~Ѧk7D?Fk(ధ K@J\2W13K Cy_`0Z͍R쥺7fLC/JMCi#Lڣ[ԁҗWu@ͻ䂅d} ?vNq S[-5d'*dJ H- H-=!zn-a-z=TZV{\\x㓸Ý|7~:?C*Tot\YN@ND_Bw."}/!'Mbamg8Ba*sЁ|1c'WsinA$#ڳ$*6wOO#h!9s|<`ʓ!jU%>SA㣊v@ ss!q?_Ŕ_>2>oTkWɽ@kTM^{ϠU'/u `Ht5 ͙:D1^؋w?F}ע֕ m > t})oFKm-QƊK9ϢAƂ@!1w/cT+rwoUDL9M 't_2:¢~&VYrX&9בtq /G6e_fޥ|򝐈7ҊܺbL\9˔hl,-/Pԁpl6"{UQw&6ȴ=g'Ț| bp `L2V'֡D QHM--Z/V+A_Iq,0EE,\z*jIX 55A8LlDe57D'ҖX}3\w)/?h׉nn_ky7w#dWIvhBx(TQtbSQKn[1f[x'>xCYk,f:l_Yg_A=?p': j()!bQn]mh&1#XQݎǽX@ }Y\FQQƁй>ҙ.Kyxu:Ƙt%I"Jn.IyQ FgfǨJ& b@rکuf$=mxyIz[m˱7o2B?:9d[J:PYF=s`lӧdcϔߑ@GiEAרO4ފy>3' *[&:fbޕOdgE 7k䨰;S&!-:[Evkxy';!#&O [sbm?_F2J{/YR( '#>( C‰mfP(l+YBU2g5g],Ek%w0q`18 fz*9|q,_h0"҇ =0N8 %ӍJݴkχ=L"='1H2>{KuwD7t(\7%+Y`RZMh\f PNpv(eIwZ3 CD *?I Cӽy0oQ|p':_Rm g!׹CkWr,3yJ/(RW0KNbǖ}}v}$W6񶀟# )4Zv0Y:tw;`qX/YATfuZWzQ@gh.( rw;',+!R k]kv8ctCN˱Rs>BOMP,u2%a(0. *X[ >ɴ'Nz) 7EuҪ-u+{AVDZ :uQlt;JcR,/,SbA%~`*w'6d4PC"1j.oÐJRWUg B bdVNqNNv.'ʂ4` 2!yj94 ,Ïѓ=/?PK'(; sIX߿ntUp_p&3E_n0ݝR@Իm_Hˆ\<V^7(.d ʹtA<}qƒi?[C~w-ˑQgcޚfCJnD+|L~E1%ftݣ2]#P,q$*(o3ZN U0:b"[0Fa]umJǰ˻fL nu91YbpSX /qNzD\@DYcv@_>FkytY̅3T{2 -"+gq\okk9ujkLr×=A˹;UEy4E '0k!M8>4:`1\LǖKfzVnZN3 GKIRbD_Cv`B U[i8AvHd _ND^blv9˵|WH ߅1M8ܶ2x}+OK%H֊B6a*ڈ)fg~*-/L[ԣaȡ$C!|KMle75-+w_Tojwub|R'7,M0e@ mD1q !8Te8]I%z ͍dE"u>FKGA&$T* WuNhP{|>90![u#f?Xh/.K<"jXܕ[Zh?G˹e)ko jQ_wYxYa.8F7s8'&5kSİG˹{s~V)5K" /d«}x`g >kb_nWw4of~R_mJ;JAY ս9Cw`Yb*tT4kGox dqY:)Wz3pƝ>"ca5 eiLܼ HձgYZ4c680d6806fc8716eb79167a043bcff96e85b091d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a