SQLite format 3@ .0:  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  $ $$)|, ]S]Incompleteness:threads=4elapsed=646.283cpu=1475.832gc=15.892factor=2.287zXZִF! m ]ŗXf[&x20],_Lxr?6`_a!ԍWd!h0a"_9Lt$Z6_L 7W9GofX"՘ҳ?']uڧd~=8&Ļ5^dtcIn'rA룅#S"T<&p1Y8},=Xt_svHS?V DG`AǶ1꟏L#(Qކ_toM(%CzA~q{!s~9v"W><1S϶a_*.=زB80#)tEy g$)L"DZu)`%Lv%_cEH/IjZ3G=Ϥ#4(fF}#0cŜ|=!Hg4M2܋D1- 2_f2`ٮ\ eFRW!EYV9kҒP.ct(m~lI ]Xăy_{b{Fg"^?eOX|3:3=XuxEF+2͙Feo/;b #ݓ?o..u%5bD?F|%Rl1V>jMt v[;k”DSN;FӺČk"bON1|CژE 1bJ9Lr*J +\lD;?7 :1@t5/Rq sL@i_mh|3n@ٳR:_Uz^sp,׼9Zx7z +5[Toi)eVݝ 6x"MZR6qU,]EW[pߓ}xhhy:x'7&%;20EW##!*DPH$at:J*xJzvԔؔWА]2Ҕ}&'6$7k,U[FRhnó<='FR! y-6f!Y#o`ʟëH;j˼@DaE ]?74bn*4bP&V>(ΐ2;.$›!%r+xq{aȵO;P{DQͤe.C1/ 1%]#OowFTdrK4t=B?n,eŌMdy^6z\ʴߡ-q8/Uӛ8/7 =kF`' j* CM-)Z5_S2fR<  C$+} ) Incompleteness  n֖=i~ ç5"Պ~t %N_ OqC[~%<Ӻ%vU Zh G\L S}+`WR0䇎9<]3Ȅ.7~GwV==? ƒ$VEyXqf9əvSmix:iU{r-yj*2ŲT G Fٮua!VqGPi=GKjpD̲5X ٝ c8+QÁ#h]- u׬Aο?|^$X*Y qAԥDÀ}1!ʇgv^6Y?:9aD9G&*́=gCxphP:QE^@U+XnB xHE0dL=h^䞑Q[m Sb}DA;}PfP;E;" 3 K+ѿ+dl#Ȱ"Ag”K*lK9L()x[YCezVtɩ~Ay蹜жp,c;9lזs:L<fTcO|Zt ,cQ L؝8/6&`0Vgm Y';=fI[&"C QyXޮFʼdt5x=vLgk wػ\Vń=0f{-Yfʣ笲ܢ?"WԢu_v_ڪ<G 6mL+1 TrsY.ƄT2Q7)ʄm2z1>i=qW yAe)fLVn(?D0)л׏Ȍi4_ܟi@x#ɴ9[ 1{n7V`R'kol7v':hr̀4׆G7PU`'|P?‰!/.%%7V|k{?x=4`9`˃^%8?ӕIXպq1$i>]%h]ݠxi^?}x3޶gzv@@ի'k R'uz[q*;=P{?s}3ЕV˙Ċ4&*qx*HˎBB"xtA-&("+ &SbnQt)D @w"UHչC^C8>3#:B,UuL]9x_k+IFs0ǭ/9T?!47b2}E23(xI;9Qؐ:iG|ߧY\=;i4zCpr2G9_c>@}g?N=ΆTE1;TCÉOJ KUT!zQC "Q',}hE`_H;T$1;)I+/1YL̨ߕⶑFt"iDHRNLEz*LyjOji\6*?`0yhFXnjcKv'qsI5F3.}ty.E )^:A}IŽ (XIOHyX`sQuڎΣ^νAHAM&xk ՛C7 <qk4;~j!|/iq2֑Fccg 92*W-WAi^dC6dNh>tbKoέkUS^`-gEq cgo !_$Ҙwk^iE_nE \{TUOy'o@il.$QARK Iej_a?@(*~I_qFb-P^oo /7q t,97T_Z-9V=^GTGEH.9$-^RSK߈z{7Rp!?Ge&:&;^ ~L?{򉯱>Q rG,^d q>@4+0}Vc8*&%DCSheg5 xy>MVhU=w$$,D' JQ&XI)[mvkhW[Z$;{J.#^_ jcF;K;EMO;,d+|Oxkz]HZ/t\~TMso/",'5.#!0Yf\nS'%T,B(B-dʧsw/p.+Us^NȚLU,X g^C㄃~Ub'FA!dI0"HHȪ_>h2˨ \ޤy@< 7Vi4+]1qX_ɴ&r85X2* gYxJ $04@NC$ :e"2qx*dD<"󫚿p,#D&oa0vkRS6,^tDV8+nl>o1T3܍o&_I#^(&ιiDi20a܋ ax\#$g?!swG$ %jX+x=ս|PqC"'3 ]'=a! ,GX.Q *A>>4Y 5'K.o [ .LMҮYAeQkiѻ2 l /82{b ڀ*aJ^Z04*Y砰x3%%7EP[jxCGo)qqA=#`Ezq~҄g/>νέvN,ؕkz*)G@C6'O:PFd3_.Cqabs ~ nBWJ|#NODZl|gQ{xj*MN|Շ^.!鶴1:_!$xGiթmp Ԛx:l3V䉈?S뽠bS5c|@̿F&o/A&92"Z*[6L?BTӀt?mrQ?nE ʍϑz?OSX>DyXR7袁Ai 49+i f@(ishfZUcn'O@ &1˽B'={&?Hz IWCl&/˭?)_\|h]. Mv5!}[%HvYuiy$%R~=Mk(ϝe c˂ǡQӲ@Ӷr /V$dU88ԍ໣it&QQah9HwH872f=%s-P8]\Z3zT+xciFq.uK~@w / hsf}Ors&? f^:Ң9V :Igz&hMC|`R+IL`\:KyxݎmoZ_TpͣYGhnpBŊ6E'#xQ3\kyZ:/#iK!*Uȯ[w0 ^tѱ7>@V޵~Œw_4 u_Gz&s=[v.VPQleyahDIÅVps ?C W 7ȡ?lA'(3ԫQ B'"8;GUAkSx>zf潶81/|W[-`.U>7}7ьdjr 5>#U>ԣu?T $_.nRku"K+RH4EZrhG]?2{v@;gxQ^n=8l7o@7K#\O){SO%{2G7'ux.}A~0NJSvX+?pEOL͵?7LU|)(#5@`ڌG !=jIƺߤY+$zVoɠU}۞Hpl+b,F)+eD-0NcO.BҾ2›bK/W|L8C$+PX%I`wd0-mɵו*>Υ; d_>Ș<(QCAT7KF!9L{;XIn[R`vsif#2[؁5P8CSڥVDF⹼5C( md:0=tTA A*1 `\w0=o-Jfj oh*fRvNmO$\޽\ ~*Ǚk9xaͭFh  N$eD`mR8{ ;m>BTOΰoe̔?O-U虦f$i}%{"ȇqG9S7[ #Eji8;OD% ?>3^ vv0C=?&Cls9Upw$A*_[ӶW*7k9 u9\KӐhN*Q{Vɱ3QqU"(.ΈMju)'䚣RF犁µ\j%ΕRhZVTVJx#3iX4&"PV$v)ǖfFpQJx#)>6`h9:J GMbe88Io?rLQCќ̫oCFR?3td{z*@EV2J>0:{@Wqa&eq}ڔmiV0 <>'zZV(Liح70-߅E)W;nh~$֚~]lX+Zjkɬ`aubȼS>j&3FCQԤsHl6䈌l$(.c͟u!ξɭmi&q/$H_X١r]j#\ n"* ا,jj•f#cfooExiTGR+W[@-ST7G/W3WA p g]z˅J/H+*&R id0'#k( JkXuJ.PNl;7=dۡ"+ZeVdicumW/BHr;H4y4wj|\ƅf)P8#{K)qz@`=OJV#,;<Yç>[0n[*?bօKlS=Ӧk(2QӓOU&%o%(?嬻rq猲ɫ|0fYKb N.-4Ơ L/ݟs/ ҴI >Oz = 9<ک^$-0]޿]Ϲy ߾ 3~v_pׅ~Ԅ8ѳ'QML*yZiAĘ.@^8{M ݳHo\:Y+ x6>- Z@כl S2~u 0X곎;' lo 33ApC4mG ꇈ0#)qzZ $yWW.mE p81y\.8z>89Fˬ#4B@M`N 1CϭBmHL&BxxML9 ǜQq|շL`#*cjr!/'悠dw78_޶ʰ,g3郌2.  "$ 噏'Oo8kyS菧>`?lk4$S3 jIPr}4 xc8)N7lр\[J*ʆeH=;E8+ |gYZ7zXZִF! v]ŗXi%Eb⬙ <}Ԥ'q?W&sx?6xF_f>gWʐ*2'RS i ZZlQy.R$_G,S3^$F KK ":RE _^mltt7 ؞`.񛰐℘;ћckK`/BK$^ G!e]aBz[s."^1{;nKp:܅t-˼P/R֐\5hjf>)]׬G<ܵk?۬i !Vc0uۋA홾=Wp~_/Ghg@n"C{# uJrFiC qG0$4'1-^׍ԇ\Nh;<{ fR q Q2IKȊ'&N !Dg:Ҭm$#aP{(g TLG5|6W&Ϻ#ݗ0in,<_=:nbA$ψs\uT}yڥicDy>o#{iZnw+k: (7u"ԢwZ*S;RPQm1ʵaCa@>D`}Z䵼B>%p8YH:>(84vץX{7"!{YTt/"G u׍@u5(,r>;z#H?R%-eҍ<`7R{"{/z 7f EksCK̆7@k7>H4$ y"PrSE6 dOp>몮!f6ht@0$w'׬`(q݄.\߯pZ)vSJ.^5IFehMoiyEɝk{}[9P8[ ]s;1JZ ߪs{ RinB}6>`uԑ,Kk\P044*Y⏶v=T~!U\6uez+ToM&œEtYH@'fj$mYįqԝyY?@8I+|⋲zj(}VDRxTH\Zm` ~Vc5(-hߘ+M85j0fM!Z쬫̺1(UX;DYIj˞9>ѧZ?(_9&ץm â'6C&En?>;8Wbz xAόԯZQ}+n71al"33"`^5E Op-f6AS` GQLfzunlp$R[ȽwhTk5 p>ABȿl?95 6v >؏^w!zPs3s&_h$n 2.ڒm#*:dҾꪕ 8m]MK!66|5B{\B9!DUg0'FE1T,K:!znVQ " V5}]`q5)7 Lq{->4Fa?)vǨkރЙ\Ke h,^\9ņiY-grGHy$~}3`laL-'8u2C9r~Me[ +Rq b-ɶ~[Q_Ofv>(Ά%x|-XLd6E'f0zf cO9v]0z!8g{ 1|hYи7;z.hVJ3qd- HN3SZFI+zǤ\GLvCOZ u7lBIz5'!Aq)] ڪ=UKԮ 2L^dO;mCx'Zt9?*2X޿YtE.ƑR2L6]4 \H>U3a28uJH-q݀2PR ^+cy*T-QEMETZ/!r}~_J,M91L&?A9"ݿAYթys wcDn@b '1Oi{f&T8^u6h&M>5r_Ni˽zwCqS ty~y"׿A9u7bB X\o"VȘ;k#YNjɉqތyw1=3 KNs !Nc(?+' v^iEb [,o22<;7 DARޞ8w$5z:5h%2~|9\7ګJ*Dفh,sBF>y03&iQ FX`}B(<|nD]Y_lz~ @ZyeLGY:W&!1qtzJyZmu/EVBEǸ88?;}sJg@PDֵx\"!@suR""psqG})_Dk"3nIH0{ho6cQ#Lkh3W! AX,!$h6+ĸx<r)!iUtSwhtД`LauQ72SI_2F:I</5<!wU&[0@EWr;5pÙ PZO;M{X%?` W9pK؉@&IL 3-ȒIHE;] lbLENR O TY`.S7I B=p.VB*8b<O&]c A'O3*y">֞f Yx)9xR=kC;.+N%f3eqãO}UM<zW@\}>|ČVJ%M%uw3}ӆKj8/$18w#S,\VˎxpZPٕ`F6 {,& 5]_LBx3 ??eHђh,v_e=6s'ofS[N%j9\f?Wf1c+$WlfE%Z햆 verek,}_Vdt* =iǣMu:خr^<*MHXP^.\\0c#5ѩ=NѠ)Ԝ?tl*`[DEt?VVp=mÖ|$|`Ɠ ^Ed+ FވF_.qSfIԲt`祷cXiXH8Dy.Z@[[iyF_%O*aCD2d9aC/Nj(jg5vA;<ӎJI9.u~{{/JsAqHB~`q0(ϋ8j0^69H15-.$Fz% &#b:?]\B"̬B]Qh [SZYkqu m y4O~i]2]w ]߃۵7} J꠴qH4hUyWRX8](fЫ|~ e%]D(WD囋gE9|Ѳ #KYX0eco_d`T&&Xcֻ&R<[Fx z[#6gJtaJ;)b5/wJzzVrޚ17]my{0v\{lswٿQUC5n3_`  6"0RFbJhC۬; UcyW /w3ݓfvC=^ͲfUpt3mޫ˨U͇A]%"qRn9^]ub~B3`:q3Lȕ@+X L6w]poˌ:8jJQyeyrmsdٮ? gς.KsT=F)K.-0=Bݮ֝-N{)s#A(+%`+&8.Jw 7wAԘl3aҍ: x:6\|.PTpdCOpo+'-tx:EV)4w uj{u & p@dHWμS( GF=wFG 2oor{",şfbBCG$pاFLvҿlNі:rEM,`Ʉ>/ f9UAN9H;vb^$WSj~8<^Յ&cJS Vt"-TBo<\:800#ڔ_ՉyDÑVk8uz #>t/XxxTeL9MuO[C1={Aߟˏ~Z *̛J~1z<]!o9=AWAs#[y\"_& cHOvαM6J[iٯ_tI(͡6o@IcvƏJ#!c %,2L7M?N^k$k_ۑrJhoXm e8AaOWv5&Yjd#o;HAX)S|Z2j\[nw@uQ ꦋ;ܰz=Nh#I 4uHҚ8 *3L^UDﳝBLO oGhWcۋ >EBue6=:M3o82v=} И:Ns*P!BCG0O2E + RI:>Fo>ق`Hm4[RDrnl=tZ wKOgZN:.Lo̕)!:%BQKgOQ1M^ &f}{|͎S+CE88XXp|MR%,#;x .]}PEͼ5]8sY_U6~Yڅ˗Zt?uoWbNlB`)WMYg\C'&(&&4r Ly2(oR}7:IwWDE[^nebg-:Z[No6WHm?S<#OKm`Rk6Fg]ILxU}ķ5_{8/p!ʚ*#pF Al53Aɢ!_Wߠ,+Aa~k? TvEH[%,`Ql6c &i$'o~+Af\w)ĶJIZ{pڲ8DNG1fߐWfZ Ԇh$q9 6M^ZXuDa=.>z=^ %wX27#v%ǔʖgӪW:{!'Jq-=QSЫ}&ڗ`{)u{;=XA"ʂP3;y4Wnϡg'O(oA' Zb9dH^Wa}-1.ۗ Lұ=JvZ`|٭[VTBs E_p_2G՘Jʼ>{D^_4Ch$lBM'Y[HqxstwjkCƫEo惡 &Wan2anP|c&8#̔! h:I|C VȻh}k=>P{4:gF7»łNѓ:=EWf-ЫZ #7=2}:No[cKm. ~ d0PCK{ifCZa",T@B;3-)a/Vtv٩Hq HkfمSt5"y;m9*Z\$:e"Szw<@6bivDY߀Zhider5z'69tqxPj{ P̓iIB Ia8mz]OƑ8+rmY"R1I9|qs)L:dG~=Y4ܺ1Ir@s~ਢxheR"SVqLh( 0+,Y>kM~ܮP@^C,y5HQ2SP*}G !ڮh2z* V* >dH@#ƔXQgnΆXIE)}S_Ϫ{ ή!o#-_' 4|@+hЍܽru.Mg#.7gz߳H]|By hNRBcԯʦݞSU9 żLJ.܅tUwb5rlgSYYI5^lDbb|P3GkPg=/.Sf)w3D9z 7.EhPo?OZu!˙.[noLFKz0$'19ngMQ|ј'6PA]0#Ws5obEJ%G˽UӴ?rd"BJڈ tu]N$::L`&đ^3#D\sQrLMT'SvYS4-q\/caeL.S͟&gڏ@mF l{["z s`ʿў-"|bրPNkn'pPȍ/$07Llo疜L.gr['S*AqtU.vt5i;qRG0q Bo২T:/Co)Yb*EN2}y#9֊!^~Yqn%4K,s9vp ̿Uh1Id'j S.PbgP/kI֢*ѷixMy%-IM_%LT}-!bycE,Ē[Fӥj{X,P.r|9QT4vk 2Nw5]:0&5T=w)vjYd 8 ҿ1M(=rI3We2k%0NT1&H:yIcxWA2r#c) y?w51Oah!pÆݠpBB=Pc$,=tBw(̮῵:zn\0VrC;o-W A}俒U /M &CH ܲ\"MRTp4ɱ3 :Փ<5j>(#{{`7e-a|ҨblUf:J$xe5KBۑrބAmeFTk7'·кR-wu nԘ~qGhyجT|1جkvʡB,B[ Ĩy׹>Xcp"GR lH2@.nCޖWaV$ƹ;TŖ؅D[(NEx Tѓ=1Vt?':\uT9VLr`Q&yJ<~~x\TðN64U^~:,Z^i(TUM f8,a9b 1!\/^bu-&Gj6i "VE1*~q$Z֥q &cqe4?f%U3.ܗZ$/c!Vyц̚,C\ K(:F5>,"l2ύtHJy[Sme`ѧA\&P cVGxTs"vOcX6tE71$Sȑf*Wvpp0ӺT*fFw/X;2xlզ۴, ac\_ =/c!1);OpOX7s؎NSJs>,"-}(UX_b!\Mx(NXG<]tp0d} _nR ZDQŸOq:aCf'{i2t$xٷi'-GVWC khXH5ڪPu]y?<50T6ь{M'3wT8.*(Z5.:t.{2\7̭} Bޮh[ԒT7z"c~>7c9ع"IM\)tW Q)tCxm{/y-jTF2Y{$,\[kyߔyz*dRb" LO'X^H|%|z}s|yCwW h8#Q@v.8A oYڦn4uJ /C_kOsEٚ#xl1Dzĕ]?xw(MNɰt}a~YȉqK6o*Tl;R+w|\q )3p|nl1j-6/ ĞGpm'j1$El;Ű90b .8Cn8t2jIuzmHW˴5{>zzGa1׉lRJA 5"Π4ޜzȍS-F7]RqS/zpI"ZS6h-YK:94ir0ss \OI$T9%B\cFn|`-J$D=)ƚAA9,|XKR f-JrY33ڨǀ(PTr=nIhelYZ)kB]W؉u÷xaVnװՋcma?NӯoE4oP=_]j͕n<ŧhbp~%ği-&"Y{[@u՟]hd#"& Ы.ϏPn[rVd\,TYl'Ĥ!$bv :BFEp`R ,y Y!p%Xmrp6(.'S/s`cG[N ]pTZi+A{?,cgI rڀj 6-%F,gFN.otf`m _M9J!LuuE 'clD!b/nr7}ɹ ]v(1`W qD|lgJ2ξ[);/rARt0m3pA-ߑcr''Rz &Ҋd?.:YamSJo,lU X&NC;@Li0FRucUCE^H`!t8`t oqwl _6ۋ $hv7vwyE sށ ,.UB^NjOzfCwVFIi4o FZ΀up?B] @-hݾO'KZءG{Ժp< V؏T={WAij؆ Jdp>S'~H6p׉3.+1wjWw6.5y$b)O WR1xDD|ӱ%[U3pR?TrJFĆǘS ߚ]W"zOβ0_rx}q/e5C+]x-F@JS> P[nab`[hy(;ɡ3Zf=/$[C_r?Hdb1!\GFy&ؽ_WBY$,%>mC_Y59fA+0ULкoQJfBCèg=Z)p=F90P+ubW.zxbZZ0q~M\p Ȁ }# Vȵ6r|sEp!]zbL9Ӕa#jb-Z:B9*v$|ZzBE]Ktpӗ"c\iC)BdYW3R"5H:ݧi=^_N12A:=Kz(N/wd{kp81GfL$#$={&V~>W[z j!.KpX}>21tk/kbbS@59IoȻ-hҧYg+Wb<#fN\Mx ~3z X^_3cxǠf?K<'}3P(GeT ^n]<W 1Kv}9nSF !oL[EިWO7ʋo0-RFZS@Y!&oĮN:<ӘIc-\|%qJnəR\aɋ+=WG{kWYY&" 4IȔ(mCld(4b'7/WS[% ,د ` } S\w ГL6\PD,pʍK$y} ]l,,nSJѮ3)w~zp΂c'M WMkNsa^Fd__ Np'f{}^;eĝEq79FʑM1f3*(X ϼ6BOg7buft@4I;5I \aCŴ ThM$oL$&YWD&|mx(dtʯQgP":PŬ}ߢ UdŎhM{.ʜ:?utǟǻFxl2#*RwC]W]iQɇRsƈ{:v39=fM35ܹl4ezzoJ,eH]_eA`٢뀗(j7sF+i0^BAX,oxҮP٨li%MKI w@zI{wFA1ԭm#>1Lg'rk8+5&U=ʈXAZj?tfs }UhK5rbf7.}N>aJ,ܡ6~Gs¸9Gz M7~?NØ]bRJ[ם򎆵{?ǧЦ25p;uit=hPuٻ8ڎՉWh%'Wܯ]kFy-!hi 7M<_H(^^.>{i 3=,! Yׄ싸6 ɣ#?2JTz^t ko SC7k 5W-jv= yZkVL"g$8독iVn3*?FJh+/WJ>%a3u@^V'wx#励f!DTZϺƜz[~L RvA(.SܯjC1ɚϞ)x5&HܦD6:{ {\]2BZ#TDQ%HQ&1jժ˧2={1BӺ-c7, YU)~x7sB ꍧD~1sBpߙ u?XN ~Th(:6!~j`23ɻ #iÍ.UBћM[&YjnKAxHK}D DX!:O֗:ɾsSAVķRg4 %39@'>yD,toڞUqv[0Gٚ=QM=Ֆ͗vkmybMLM<\] ۶f$E -7iKNJ9X"{}JPI;*mi򢵓Op,5ח`ƨ=^70.5mՉn9! YPM s19-oB9c+U4߆>Ňrx)Fm<iN>H5jKE  3|1nx{^X8t,8=_j$1O6#m 玊-so0۶wH 5.a>?2 tZ@XWt"fN:׽I/*)siZBJ?r yB@NSFEU?9*Hϱk&$^!GDNP!xRL_g D@)M5 D!%<^-31NJvȣ #k'Jon\d39~({w-VHϒv Y4᪱rc)?P^^`̙( ׷'?735Wɍk2LWgikYbr`q-DͲVV)mL-;pl:98XOau ·j0_滱%U߉D,DѤj W̱XUw?+al쏤Aҵ.DQuqG\!d$lB*Z3lNqoyv&BHYd@2:mV,x>g2$ĿS( Ӂz8i,L]jbiVgHg]ovW5ɀPUYrEZV\0²gzʓO߇AJ~Xx+uį Mzf?9'U6 ǤNyg Fԩ'XhK'sc;{f8s1ZNIB$ TL[9˨Wpa<וWݜa/mB _]9_mek5ń:MG rV1fɿéTIs#9ňI;pC. TDk6Aޡ4pnx$Aڪ 7gJ;);ϐ/^ߝ_7 B4$c\Mִ{*HQrdE&7]ؠbdꋗ}э@~-_;ID, 5ߤMpv`x;D S}$wQ$iyw7 + X;%ꄷ莳u/"!;'1bqG@m&{IfϗU8tOu{AS)$y#ĩZHx L 6Fa%.޳bbdh4 *.()zD-OWW:=vϐN_4DdE9>z>$/C[G)FzC4*W%8[ _/+ƫc~͐c٣Gzζǥn҄'42Q4a R`|}[ڒomQL(;jw!^jgLR7Eʭ_3"cѨAyP*!2\SI!# ʕ9+gk"+<\EJI82RO38q7F^)Yq^B>;9A>|~BDq] $|D@\((a㩷bz?%(Z'&rD;$˂!z.*άցU=hCBxwHzDA𰎂L6vKq" O$Wnb;xN̡Av.rW"w) B]¡JX{b>msK:J߄n/һ CY}CgToВ[y%r1 mj |Q@vlJXIk&LS6l dF=A2~1q7'?t_u܀߾koN7`>'irm"Q3c0tѷ-B5.ar/j)AtߐmIGc8Q}B,X냛Y4Nri ' T*.xry:>]X{!Je@ʈ1HQgmDqU.7̮D\} 16t"i65u寙V(h=gKu3$%>tl]fztZW)=~ːA|G8Y Z' M'9{j!H š X@BͯBf[(fQOq[MQX (1FP!>6ߡ Cg]LKH%tR,*~pwI~0QFɾlA_.NA|vAc<8ZG]jD<*c/+PA%=V6,;9<@Bwg.`_<*B?~AҎg~x x}7͓^໨7S nW8N];/RRR_KU c) ?9ۓLcJӉH6x- GPw;-T+cm# {lWr:Uu='nېzs E /g!< %F0&?&ӻlL7ʣ_0x/BYy.U # ,:&P&-xʎ{Op TgWzpHUqp6hU\ m2'|XlZG'T/.\e+|Q@c;82q"ŭFoDi< w-"~`. +>v D#ETomVAkl30)Br$Z{X8A1֊C|G<3FnFh]8hR0ژ߄)_2x $u^ ] Yc3KA# Sx-M8@'X!X[FFJXz:QuKL2%jF/7cb~Ql@/i\ffW~ 4Ge+4ZD 9?Y$/b bQjPtr~Ѡ{[.)HYM϶"%qdK"qW(zcѢz@EVyϩ4xK;w2\Z+1X )h 2BPKe}e=q_OUk5 TT>?ſc8O˩L T}K0 1qEVy lRݚr EBS׌Pv~ 1]Ǿ> g@sotr@ aU-z^F)#hZQ֓yNYߋ1EKw \.ƻFn4E=wM5G GΝ>㇡2RdpBe`=0( '1syX!&Ed1܂0Bo%, Sޗr)b?W!g.V>cS6+b1)ѝ<nA?rL@:5(f sQ"-=E_@)q)>|>wCU^4ɑ5-ƁVcc^ g7=4p1Qw3/>3qLr[VE[`rx}s1ЀOЄjA[P_p=w&A"&h9ːC^doSn+smV-D3®Jd /1q8!OwO\8l—0rb~D7g Z؁F+9bPaTI򼓾h(# 4W` {sU !R`W'4Qq\m"]h zRjg;+d>EJJw&2g qTtuUݩ$I-O- V'?Վħ ^ eobH{穀z4l, h=YTݯ sP9&Tf;Έ19Ri1ˡX.χb jQs [L7ƺ:o s@q_x 5FM&a:&^sZ`w=fPXX*?u,v |^rl\~xawu]bS%0(8!/j$]V:K,Ef΂>Ss?ysדP`ARퟪ#%iX8%()ZzΤ\hV fȹ8}fooNt%RK\Lk`HgUU_O+9LRy5zSqU*Pu0ޛ!jE@)tY[hI$Q`mnyQ;( kF_?ܕ dr UPLYM vʤ3vxw4q[S@KՊ1avq&6 k6NMv_}/R$IWj郒%,u$Y3rk|B~?!B0"pW#SpeFL1&|QJ+dx[LEN_UzT&d3NL0R/ή#0@w:~5uwW5-$+T NJ"=orXu9헣u]{a݂u?g3o? ,A%+\2Zb>﫟P1} I(!8 ;TV24ri:ǚUmxUGqS" +hiƖIZ wW Y4@% n:/`)6po :nO&3WĴ LSC%\巯f>-q:+%12E hj1!V JAŮɇrw]lI%' 8dдP*Z}fG6-XϢ9gƩe_ CXQH0w#W.7n\("Cs?x>?T濆mb\']ԃG{ O~q#]dsM%%V Aڅ{b8]b~~\TӃX"pfZ52>F%8d#L8 iiEu1_r'}A^؜}`% G qwAUcD1xƯQ hnM]l2aC^>9w(G_Tp"chgTcJٵKe -šN=K3.`l]xKdY_ |Żʟ⮕쌉r<" 7$- r:ELڇzoiE!Q=ٽy𶗍 >h L9ՃJ8E V+mjQ`|+ZIFY^C0 ZjrpM/!۟ BDPOsEwLr$?4Iv%@dKPR01Kr ͎)Ns4W>Ҏ[]:XG-Asc/9])5>y@. R˙:5t1x4ѝ%$_w m fkNƪy>3pq.:lӃ2lY`h}*\t#αtJ(2v=$U|tCi@W( D`1XR!iT`O@㞺z4䤹qhuY v> qo>g@jMiS]Y$FrUGI *z"A*FUQy[MoŒ[F;7;%'8V>lՒ8+rhL]otr֮BwҩPضcbbz {`Z ah/HAPf4qx@h.t)>!aށ# ŀEA%ḵibu e1܀r-P( 0[\qoޞ6,7>kcq-׏6\*(%'oצݨ[xCs [u z6?ZH<lŏ%b)ļ"EE4H<T%%=J|9\p_\9\0|߼aeoC=-ǏZuZPjyKK^n>c &d:!Շ\B%kd{I ^{=?mvws)ot6 d9҈\V;Pgy[Ymȃm 7ch! iZYmiDDŊ~ޖ9d]]y ;plb?)m8FX'z˩(ePje@>P/FXP'D s\EzOY * mQI>P ^ҜDk"GD8oEK+n%)y~#+K{ؠ[&h4s` WX٢\[n;-.JoI/`r4ZV2Fk6ٍWY> b6pH=z h(o; 6B8KU\otد$dkE&TIBw+J b?QQЙe.c#Ohn9Gd:c]sSx0βjZۡ[l)k,dq룱qtk6_dA%z ~ L@UyrǤ*66-.dp^QZ)ior=`O!+܇p~ . !һAPT-=[1IM/< [vƳ•<xcY? 5DL[V?zGJx'q@^OOSQnK!& ~8ck)m`Y\hf*Aq>vgЄ?)ؐaau=Š=f}DL(r/:Ʃ3vuI[NqZ&^dB7ΨOϟװ3✸@.GwZJv$QjCӆp;ѕ6$ш9G_)I2V$mw#;8Bd 0s`z-Ж H~Hnũz:Jga[W-cY|^dhjz㲻v1c%+Ԉj <( nblZ1`GPzc?P .|܋2]6SnAbbhGg:y}l ԵlG^;LC*B?mO7%qEs79P.]$(@!cHw7UP̀3ОBWDA\:֯7y%O>%9O! d1٭Tʍ0 R&0pOY=FY'g|ݖnj3KH5"FHxzu.TjD]mXc=,[LX?  /bPʨP--1Ps]/wZBa o"d m, L0IKRB?uJ-X%)+qKCBT@9u??&6DYRĈn@coG8FTe0L?%CB`)6 Kb̈gI_cKTs۷~+a-ܾPb ] 0Z޵o e;'b(JyGumV_I'O=XPZl,>mʴ1L8ElV˵ LOe+B -+NjAղrbȚxRxօ.:́s| 4>gQD&fq*ixH]B+8s$/[OAь>ĉ; xd^.2 7ANIyD{I9: cl'+qk^$)L_ߜkpcxfC04ȓ`}?Wu,65nw{UdBwUaQ$h*gJ_02m#Q @tzh!%[@ͨ%>f9Cd{G`eLߎ,;=qi e-Ro-QP iYo7 BTx#ܭbr{k{bz|}qIu޼~>jj:_Ʊ(~j՝#KU]} WP'(_Ї4aNe3ټ[o^|?D//6#:Yq 􂶕0!Aw~EYK"A"YNR +E] U؋ܷΫ? BvN]Ujo};9Y_=J 1BPd}|CEԤA8Z0eE>9-ǐhXy_̏p?z N|:.2d s!+435y>ץj~Dh`6yj_Hc> šy_D֕o( "bK[Z?VQ(aDISFc8 'Q7ΡݻQ߈e|h1|/TGSo)Mk}qȪB?-BqIJ6qbA7ӥ?:@]CaM஀1~9G+}%Ý tOjk';3-HǙIbŲbDUP*YFd`E ~%F~ =v.|r/]G;8 Բ]AA w7;אP^!5(,%WTxZB 漘+Xk_+/r5>: :|`Kh[8BOiP3nG 'WqTJDn{0XɌ(䳰Xi2H͘Qyz.?pwNvJ8r-ɸ,Sn+IHv{cl\#+ڂ6O-KܤCRr~&~dFI?vmnBo]/'6;ꜛB8"q뼙b,vL\vk0`r+꒩!MupҽkbJH*g+gVJϵcVq2 O/2ƣ+P1 nߜHfPÅs댆ǎ"l\08n1hOgl48"e-n`v\luB L*<|$FN@ QD[\ {`nߌThpQ@z{wy]p1/>+䳖\ieÛXRB-E?t]6 @:o>8qi ʫ ODޡNKΤ% &'x4y@*X+\s#-w=k4]4-U3dLu8Vw|@KAyu6( hQ*hvj[#yA9cmc7R|'jӲg ĕqƀW^p2й>t|Dvpft(;sm.HĈ]Mbp TCϤUҰp|c<ѐC}Ô(|+(BL%:Ǒ$HE0Z"B5"dhHy-}DMQ}J(IKxkF`M,he{]ʹ.AHk[&Tr Wj㜙ԶYөQ :'ޖ@9bDW{ѻ+.K]BaR?Z 2/:{!h~} Հ%S͋VF̖:Qfk蕀a|xn1P5W\/2H* g!'U|Y0.T߿y"` |[Jǒ=d GUys seh`Y\ K ؟^CT:.ԹӈJ^?yT˯!{<6-B+9 ?:KNZ-m>'ôW2KTUX-o=|^qy>"o@ =uX'n鎲'9fk  :=5JJQBzzAN=@AT]_@0)c5IQ] m)Vp}.]UV;Q@ c<>chǢ T3mX OYUڈxd ̣a* U*l2 "r6B췅!L{"7(W!Aַ"r 6~{3=#8 #@ KY3!WWy&wB-CTE[~LfR3/"BJV'@}U5<BIo`(ҕ_s T> Aw{N#$RIJ,gc.e_7D3>fƺ}^8}ؿ)n{v0 ?W+6BJGw!:9V{J'73I^7YpG5m`gՃ%{$oF^! !@1[yJ7=~ixA#\[gUG}%>zWW~b+/:1Nt1?eI]}qWH:m)K`sop$5)1LR AU٥9MN]mpao霦N ;VהAr0WH @mpBuKԇwRΤIZz`E汝%Yp$TΧxf%=p -\8;̓$=,Rه #8W6܂A.Yr]I].*w8mXG uȤ-~?CrCS8🍌A~ߢǝdlfERAf1[ʤbXɯ1CJ<6:QXE0aK')u"._uh ]6  xWqa98$̱R696rf] 6+5|sMBnu%$fTaRΓseC$>Y6'0Jahя6OܹOcHHsk;A3aUC[*@뻻L 1! M wsi܊=0z0G+^7f^@eB쟔&̭UDbKw36]`ޏSp}[L'O.?άƋk ڀ1=1n.w2_.^, ;}عRsдоn`%Yґ#Lk*mSߗK̉Ԛgj oǀte7,o_ 2͜02O dq o|o`^)OќWvcu Sa i')YٌFP)D@ .%(.>u"$/T`rRM܂?2h+DJ¸rj^6B uLݗz,I[)'G ? GH/řsxXEjEԅ2g,Nu\ *):`ޡ'73{=M;TOOKRǍK_&5!KJFcKhE/R{΁|a<__RC峸]EFwzw\&o8ǹ{=@:Dm(huR(b V['Umwy(hØ X@]Eٴ1& B|:#\,ɴFl=ʮ 2)wYKY°XndXחAp* [{[$7Xd%^nF*G~aEb.VM$Шqnf$x &^0[ ^%<)~f(I@0 C/ 0Vvt]豾S`OtZVmS(e+9)\Ķ6UMHPM/li@>gG$`ۘG#"z hM \$-ӵ>5Sn{(&9iy2"8K#Mvbmt8 )MLSؾ >0vG7{y$AIvQ';*rg#g^\J:rc *6=2s_qZ)I?ɣak~x'kz #$#Vz&NyRߣu[ bzI{C8<.BC㒄vl(;s Y!(DC~9Dž%;A,/Jl 䯞1nTm_iփ5+rd;|:v_h?@`Ovysh]m-{'B^\} 'k5}r!UWHl@bP^;$R渉7MJ^O :z{'S{ތ pE.YIdxXmq@93OylQHOɯ@Y ~ա'X6j%8Mk땵. 0XXtfXA~^)#%x4JfCys:s ΎAs.V/p Ȍ7J^;q*c ƺLRj&s_=c qf qdp oy)iy\Flaj'R+9_4kGn{64ԡ`2~T%hQ[)#k& 2.ՊkKhM!6I=vO|>9]h"TМ[jݩEbGӻ6Ms*.:)8Z($KO^檸YB (wD{DNɋ8_mcXNazD8eE|_@jpNͪ1V*b>=RuiHp$~h^S |c{8DKL&VdPqEiM}z#4MC"mVf5P'%wG;9a[,:˥E:OQ ˮC\݈53y7o6*)%7k{vgOml < K)kƕxסU,u\lHTos=;P!=sz l >yW^DЂYx9ӚrU cM U/FdҖ{9k V4@vt&ҟ4CQ̒t3> (~!sجzeЮX 7w:)",l-rx4;KsmR63x~-6rKr ]䒫a3|bQN1CmPǶ832d% MZ\ަV:iaI!~V{./F ]8,E2I* -]N4ü/NzG0~'5v|F_kE<,mhZsCЎ5'5h=J┩InBb ` ՂKڔ_k} o7SvKU`,&TLϥr]O9##l.1 X&h#6qit @pX[ۃ^a *!5A8Cȫ[Hd@?_٠ mgeku8~eRcѪ ~͙x“E<9ĔID7 &ic֟tJCUmif{a(97.>xm`=Bv>f3Vm|i?iq/M(~` ׂ4BL{%B$o-df>%uQ;;3?ļp]f\e ,2&F]L^|'ެaKnx_` )q+?}9>zT3#luŁ/}j|a,56ޛ}(NE_ccj!j صimiWaYqm- ֧p v& <(\:FƳ--R;C,ȌfqnG']x97nb5{ks5/3pr[@&5p442~…߂:Eb ]Ph&NovTo}%Rgy7R LݧCC6Sk=B`MP҆+t7,*PI:m$A毶x@.uF]=ۗUf8̞8 J<<  ο6r}j{r0BUnmT$.Lhy'zkЧx2G[GAu2H^VW&/Ae"Vp=D}y_k*ː5>G&RX2+JtOQ^(əHc}VMq%V_@3e+%o++]۱L"mg"wji6R $ QgC#k` c2ɨ\Rh4}urZYG;&w<#0w)R`9yY % 9:G؊!PܸMR&L]C:>]A'=͈Z.1R{7zNT[uM~|_M6Y(=eC{*z+ 059$t.mxj7UbZKCe ij Q]䊵Mp\}'/l_;ZTpR'y!PC0$7LƟNK&ȱ,ЌaPQ, ?$cUBA1fu@7B@"O\av%oI8`:K5Al򵁧qg<&D 롴-m …$אo"&]"P0Nj_hqY@*jge> KFsH-§t^hMHG[ jnXn-,$b [WDÅ KZ~VY>k̓pUznT0G֒=?Oa3ҿ4 l5aIilgdef!x]U$?~S'˘ֲY%s P&SSdEz{wAIk=n[3b͆R@ Ht Ydzح%w;wdS}>}y 3/B5¥]ED7=kuJ](Ul1 1YZU|6!9?C;sɽ-x_bEnŞ~@e}l^&GLqչBCO2:㇆ly/n]gFz?aD%QفP87TgvӚ`!4!/9R52p6|zo6fW.+k||!"-]LA7ЕiRn?Dz-i̓67Z1,h|Sz^c HxE1/Ȱd-5ꜗ;tSܳso'튖j>(L:6M1M}GqcNA bӞ}[iF|u~֐wuJo즖ŌJ/yOVM?U "'A(ۗ:VP7fT2T82'dŕ;kD60P!m.r&"$?6M" ')yZRyԿVHlGq9VT2=Ȍ;!l¹Sv YYUmB;gW|̓U(~Ę~0Kl D*qF̸6\4k$N:o䱵 ʂ…M뉴&Rf9Xe$KߠDUk(؛G[[v+f}QgR=Hڦ2@ܦg%B$?3 XU=Ǻ^zF=ֈ]ז\Ȧ2dl@"Sj۽sk|~b rtP7fDMfuUAh]oFRUžd8N 3SIN7@OGa:D"Av jE*Qmoa0R|Dkr0W5R_ь. Wm84p*>tjo;RdRp( Caj(Dnİ2N ^hz0͉c) h\2 Zpu쿄Pȹ5഼\TIu7HRmZHzlz ~'i|s^#ՐlarNF/+bS?WڸҬWZnT9 H3*YΤh'z %B`?q'bP9@و$N_)6FN8D|èmwѹ42Eo8Ւ+O5#&5-%3옽rꀧ%! Kh~]UǬئ\3.?Epx8/`)t>'n R9pl_`oNZ5^ʼ[)/^ m+*l`'SB@*dhSh6d'#SIT{@|`#a=Fu+d[FcUʦ vZjz!Hal0jp@*x IBLՒ}w+$͚Pimz4,nۚ%ơ |iTܤ !|pd Խv9p|XH2 U'P5WdjrϷPOζ4HV"c0SCmH( f$!YI!VI x0AHQJk8m_/jq` }|b(7QKߍRYt yw?dD& tK-)iPTHgr,J3sނoZ}b0nF/VH㮱"`ƕ3܇Ypx,=g1.jwt^-|1$~|hSTpW̝^x(vt,xn"ew6BޕC {@wEwnlH0nbA fx ^bVeRV󲒶ݠ!vԊl Dʖz?[ k`I&;dEYqx=ZۡS ӿi!vyS۝VQWLWto6_8~P& >y 2s jmxⱥcC 3j16z",/;3~Ԑh0> ˛I: ttOT֐ 6ӟKyQ74~2 K+SR5>4schW]w{0XҰ' O-: " ܈f:D $SlEێAεcr ᎊ%4+?<֐\wd&d1#;w Ymy @]^c gap?t֕l:-;p(q9n7YЮ7Xmq#-i~ce5Ao-jR'օ%_3B~*+\rZ6f[]3o~ö-JQQSNTksܤx$VWE^_<= Zԋٌ`䂡Nex 1%1ȽgkyBQgr|,\񨈞O4+Z}p{PB8c*&(~}>ߖI7KuռzĬ_]V~s0*΂|و-0McK\oOV,mh-w$Oڬ"s@¨#&8&*d2 B@[} )Ȑ O:P2r A*E+Fb+¶$cfף2X # $s٦4ؼ`29ڋVߠ0,m U lG:WT;4. `Z?TjaJUdyvδ8Rz p(^o5׉4Ĝ%_n6b L0 pE8( @q\¼\E=W8qӘ&)6ɰcGēgQl̰ o8?pxH_u;Ŝ-#v?ވ֐Xh9[(❸53ȮF%Cw!ߺ`\[WS+]tWq]f\;ek(%7VF-"û@+/E61mxZIgg+R(-͹7JzOW4@N-ݗ3gAzy{bc^^eqꡈ352ӞW}Em