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 __#Ll ] WebAssembly:threads=4elapsed=111.532cpu=366.884gc=16.376factor=3.297zXZִF! :]ŗXf[&&=ET,YNqA[an}К9/@SpUq\rL0J @D4sᣙFmUډ{<A6&8Y틔:ŗ {ӈԝ4߯ x'^tܨW9D#qGԶ#*wo"Xqw[P2fr!#uou4Tъ!')dP2Y)ĺ -,F#߬-As (Cۧu<ϒo % o66HP L ߹CWRTmNa=w Omي-aX\D~l&*w'𗱟{}mg)ʅ/6_œ[:Xq1;:BDqZ7[K!qTJe _өN8 9-,{?@{|D?LଈԜ,M祯xr5v )E2A\^j %AZٸ`>G1WS:'9teQ#IJ#`7443^-e"{W,Ea&Hw&|C^ЌML?uwq>B傡nY4U昗ruqʃ sM#_́輑MQ'>6Dl?i]'Ϭ }T'h]6rL|cd~Mkkڻoyu*D k-{H)3%IZN{i-GXYY-}eHej08l$o0}AXXQ Q@CJX5X ]~%+YA]XEso^U>ᘙcA?a? I%CV*3ܫgSri!RY&DETB̏H/QˊcZu1L/d'7ώ |ThAf Xi8/C7 O%^TM1eau`$t! TeY6֫&C>Anw< Qi9a4M:;~Bo L&pwCK棻iwУbx&O=\bZ3v?eѣPzp 3bkA9˗If-笛R0!3Xb+~lb`j Uh(.AR>aG 4jO}Tp`h|.iЏkzX=5d-6@=\"Ar>`rqy K-mhf+CѴ*?:zy2XzHE5U=̲cSDicM|S*^gqy|gTB4 ;8@a˙BD (L9.dCpԨO|<Ob pk?HLhZo`=*ss>9pWS H ;o=pڡtx%IH HXL@r2B7~W^HzP6eRֹ)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\fC(N˯RaJꂏx+`VB0=zGX36؞i Ų=T+럓QbIk,:@52< Cv~ԔNDEIfoݦ=>"qo?|y фzVG#vEONd[5mWj1qp7*mQ2~),e߬: E7x~UDN%V?So) GU K:S 9[q GV E 7c#:Ȍ*NsS1KRq't`b%&-8ރi;Ee8B@?Ww2nn`yVu@қzۭFwPIpZR󶹤ta 5zLk\2S.9US_==VfDbEU^c4UA^_EGkWСBBO-^bQ1ONS O<3gu\'g 4gT;*.>]VGn)MkgfW)Ը,S@/xpt^[JU~E b2 nxW h%[e.ТJȻzxN:Sq|2LdKOͩԐ,@t|u6Ij.'8x"t@J;gtPٚV ֻBMk3Oꁏm&`"ԝԷ{Yw{L"Dw,PGs]yE V^%9h : iO#:L[OYc0qT[`=T}t =dEF{כ(3K]q$%N1kss"irI حL=H0g̚x]ͬ -=^M31-ٜ5Lud{hz*cdIKDI[<$ryIH\._iQyZ(pw8('%"aԤţ?J沧[|0jȂҖ{bmg*ʿLMS1G$wr!/UF&k9tTⴣP9ZK- i^S~~Wż:{P |G{~ta)J8g twgޏ omz|W|߬Bеw9%UzbVuB"s2T0Eԓ@?(>׼ ̜S1Rڑܚ5#v ӕq2bun 8|ձXC;>ϼ_Ru+^dᠪH%Ǡ M? !OC>y($ga'G6n4.CZ4޹'i^Vz/e3@ },~hCڲ,;cKP5J;G/G?ĥ\DI4cX:18钤˩^ɈbΤ|uRtm?,W8a+5 Z';f " 5 Ruժ ܕw-ݾ>!قWzPjA\|_xMNCi='&l]utQRfs3Y(;!9(q>pp,q%Pb sq2t[@}86\@qg5/3ARL2 n=Z @*ܢ(Y~Тt{PFF`lw>܈BU]"jy84BFPU6"d+R\TKڈz MƮUdKT7";E3nwjh{Vdz̀Ew-e7Z4Kȝ+=!Ssf8HATo?၃Ed()HcƗn;בhI|kEsL5gsn0 Pm'Q"+ \k~NO8 a8o6C1]n׸3\N5U%hb=6i4 i/Kgg~d0lm?ғ,OvbK?;n,aRyvJ]Dev8gj>aؖ|0>Ѫ& "|ߵ-0Fx+`_ފ3G5ŋNQg~*c-ia\(TH "ɯJ\uʚTPcT wU 4FQfJ`oSg(|Ɉ^,}lx2Fw,JИct!B,U&1ze̺,tsaa> R 7R!LήDU4{դ2b%r̴̔ 2)&* ^ym4}I΀p6IbNyB,.Ȧ+L Dsҋ*1UˁZo_鶖ͯyJ傮 9ۆW=TV WPu:T+#>.R)ӱ8Q*)5}t|cp@u^_f&ɘ6~_W,ǪGNsCWOЍ' ~`q]n&XȽsr(E>մbWj?g_ig3R|e_B2*( %P.Z7%rxp.߱VI|QՈ{^Efm1stYjG7unRGiuo Tr$meD$[$D9L:t.dqHcdd=7ɀm[[g#imk*x K+5jv'kZzt7|eeJJ/)f\Qhh9{r21Vz{&9:8J-2*`|- 帺~dttw%kF১+9'_ﲥ&*ܡw!?J G'b49#[pFlewXpC?&VvF^iBto:vh>' [JgG#)-v~wl/Q s\5d[7P=:N Cn n`feMcR.YX^3x)zombn.;n) T)O O`ǘb" $å(xQ1!<;omL& S4ʴjU s[i.KmX6iBwF Inh)Ґ7"rɔwzVJ=v&jL.딾<;|`4٠_mYAԴ?Gw= ۧ]8`o 6%@S$O.*堙APy`,LmG}*?;zjݻ_~*$+igb.YB@Q:!aC7<-[3Hyf#XBɥ1QO+b =SI³=6.,>#CG#.kpF3Lr1MeK?3],bQӐUvR܉}NpDza'K [%^ިN~hSw-]Xo 8v3?"j޳u3pyсBUDtf d @}( \q^xYR[l!] ͗9I7]NvDe([ޖPĦ-oc!l{B@A,Il^=ix'0V xİBglZ\O%ӂAG3xgyh4v`^H|IiQl'i)5;p5=zYO_ ZęV M-k!qt4\#q0ӹU mc-mw QѧE7M<1xJ8Ow,~ ǬkU!~LKje#gŧ[!dgCCul4P4+Ch= daDMc7cjlM&X y~ e /r?,;t,ВHH{jI]f|r$T {j&MQpEofKrrw-K_ bLԶA`1gޕ9<1R |b7#Wpq/LfMF)42W a,6Cƴ;VtQH~(lV\Z5ϱ]lɆojbT&N_w؃r.JQto.&__8d5/y 3>^<<(Jz\-3g(9E,U8H6bvI9KCLRqg*TtbzuNU 00P=k[dp"vh7BJ XUH"(8uzŨ]GFH/)c* ^jK䚋{bmF m& 9ܕ(yIQFDo*_QӉ!6=x.JW!QqInth}Y^-Rtc䜃,+*Nuw7ͳW#|;mcb@S &@t(4 *Zij̴g>N쯣-՜YtDș-UrplMt>i{qMd BWNghvFޙZ)hB@T+%JͿ4;`(|GNAHEo 1ٽ*p#-D\3i5qIJ)}./@1WvQ%H̀ f{A Gt nYAf@=dGiWr ŦΒcd6͍]v2 5ZT P-)ǮD1 d<(DΓgk}s\2/`wnD%Z;Gܡo1e!Uw$bhSjJaiyl&M~W腳H+[P`p ^syF'2.No#«3[?Ixlhje!D yx*1^!>nvʷ#b7=ҫΦ܂ՒD1ok-N7J]v2g**wb";& ©28m7jJϴ.NJ>y4̪eoA@^%~0TfQ{Dj%H䷡>2 N͠/z}PsF6?> e4ZxH1z8_xŵ>[)T8ެ=~xLQP O zO[F =|1ʖn7 I7ڳGCbTqoGC6%.{I@W&i6̃Z$Jo+$ |~=ؕTq5.@FZSwV̓EU>ILULݍL.'*^U1%Qy#.arA;Uv_A 2ga)5hZ 5R64R0kld!Բ/eWބW.GՉWa`5k>M 5^Xpz<GsU[%CWjY?뷥YytOǠ,G;~ t GR1+oRѿ־v68:I#X;*=AAxȉW =|2Q[071)?1R[4|VA 撽dW[" hV #r wFf@ZN(fv \ OiA`͇F+F+xQɕJZ4 2yvF!Z<:}o;v12[O6rv7N)Ѡ;@bwz/AH}K'T@jL:(*߾K3;GJ_>gB 7#qp >cI۝xM&QcrC8Sj$}ܵ0[yF /K?q-ҖZElp 8?z>Bpx\_(BNFV6wd }YfU dԛnb*9ih%Pk5o+Zo˓=S l `QWdb"oZaڽw 6R<1BAt &#ǃJXѽŭ!ăgHg)ƴ+QaGEX E4'A;K[,pTpĕ7$);7T[m ~spw"Mf9o4+wnO̽&&#rs/_w}@Ne@JYBLMҺD5QS{6UE^Ԩ`x} r8O9.QVD/N'wpHOFY0Au!E:n)+@J.)v=;Y -c)θ ɉƸv 4ҙ;Cr{֎EggPHm+9y4ʁY*0#?xÚA;d`MH;(4( *rS(-^)w@%ePR+~d5:3J4wpKt˺4Mgt#BK&I> ᘷ)I )ߢdWzwShAMC)21BV979lVES&0KAJЯ7H)` Cw)YEwߐ{`}V|ဌS> F=@#YNNg_%bCN`}.@y6 Aqe5^h{ H~:Y>d:^t:S340%Cm }miE@(OGB~inc'h3|=v oF0æ*Io;8Q;/ď:-KZ+.]wmrN"xI"4|p" Ԓ݄DhW7]itAʯd俎^z2VE OŴWpEڎTS8 K #ц0Ζ Izɧ5*GjE78:H޺hH3I+`a?A!Arw.% 8M= lN/ްUe\h/2NT*Q7ŇCNE\=O<:Dߩwm(Z`);~n}1,[sBC~8(hO1rDjX@) e>؟NDd U'7\VqX;i.4gkǎ\'{~AJ('kDCrġYew!lN r9^t{ L8TrF8W!ːt,l %(R€$M=bۇ{Nr^vA5G4J1[UG)i[g;2TBQȚ;{؃"fEŞsFA? *VCqZ+17>])rsw;Ce&O%0IhVAng4Ї_n2=µ3]㑎}l ԃp̓8p+'rbhR: gX b1uek+3` Tfk}+p-0 '?;h%Ȝ%VO!mHIMAƾmkc-G6jjI ˋͽ_݂ XregI7\Ǵ3!'!8!o1iS6]-lPW8g_L?BTd?Huv-q3"#Av.v5!K6/k 5e1 VjgJMelz-L؎8ynfdp>&ƗcѤ OpS(=A40 nv|^xX_FeAk9 .Yz{^q+({,(U>;6E/&Sۢ`)̶|K f;L4<fwp  zKx'8MςU< }=rĸp<49K]!W5gbh_ h TO4B>5}J^S$O%%]ۈ c7Co0PֿyדL,Z L5 N43xC|8rCGMk[ǃS6}{|H9{q< =}M @iAxAg68$&@8yO!/Mhz-rVă֖YM1b>HG{>)DJruii&Ҡ%'d~+l3_Nf1I_[cIQ}%5"0zHE6 !py7Q+_c<5'4ό`/hٌ\ nj6&<2IwKA[KKc ^ក7En~7 2;cFbD)^emU7Mvę\<͆@VgR2]Jڒȡ|P2)He%/t' !3HtZ}p$/v_=_&յ_ܒ[w.A8aXW:9MM =*ݷĂTXЀ+.~y0ug5nTL|t5iEֻ.9}(fIBoBq2!`40_ -I@#zqh