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 V1 dd| ] HOL-Metis_Examples:threads=4elapsed=31.928cpu=90.672gc=7.788factor=2.847zXZִF! M)]ŗXiɟd)&]4)nNMFFDXl{[y1 rqxJ5 f)@&V|']98k_"̳3`0Wbc[JfV+QC`/%yXߞ꧍Sp[gHUVŒ'fT,ЪoiKph RN^=;r虃s2[7Oe笺_Yi4_m_!aB* Llv]?f=j7:l2a 蘪Lo?/#B=&~Hk4ji6͵X&ZiEr/n3zw@s 1 HOL-Metis_Examples  }0N 'RUs(6*մo2/@,#\{9$W-4I~ȼ;Kk@n(w{01;ݢ<ɑ"qRf {(邔}2~%= vx\J>OPhS|+mFW_5]yL'nG#ԄȖԠD3݄R>"Q;hU kSH=kwpaPߠ\#kPHg]L6<ɼ5%W,4LPǠ 5 ˻s' C>2<+L|&#۬ޖ)m\)<A^tuc1Y&2y+WV%mV3擗۠,ڌ(o'muKQWsjFE1I4ągyyԛ7!; qV}.گ&#O)FpMNTh 6܈JYֹVԼ#ZZУcF/RZO|ar_ \1|-ZIG+9,=NӰqx!i&צ^S/Ew8RuȒܘ"7%i G>rFnEX(w_lgmjrt>vgTJͤcf ȮQtp Yξ:8t*5sK1)xJ:Ei#%4^c,seSi eguT bFz,O`7[7 :*Mu=1DNIA0A7 cW6>%?ٟlQ-ͷ7o -n=~IXvXSzK Wڼ?if5`.MSWS!!-S(oBկaCyF]1m$ނ7`/fT$:+xBxeNk8{ +%O`A,\e +юo\N$]h-yhb&ozгT[V^ 3 0]J_m#8odUvJdM"U$]C> L #;{ޝA=p:k.qpf=:ӟkVxgy1wƴQ.F 'WPcŸGs^OލEnn n]uĈ@]%I%E :b$Խ@޼yqΓ߻y]*;#ik9s_z ʀH)Pz&vB#vOIz'mB޼y[AzZwjRwHc%! c8r}N0~n[H;Ws"cr/-ʜBnjʭX)\? `טPd?`orZ'Ұ">5'fܡ]"K݈+ޜ/h8ѕGymfܞ3vgZX[{4^cHujji| u7 7" P58׏>*Wo8M~dCLX]A7_3 ߹u -:Y%hƺ闰NjPix=Bu;m&렣ql+;EKZQ PA m5,`:{6AR* g6vL@(yYwQ濕jw kI-nK|01쭪~ :{ԩjJ;r iaI5/\8@EoUı=~P/CXL4ب cS iӨb>q|u/[0TY PaeonAXZ\^MadIs{:T4Whߺ_໑6 _.4X$L A9QO̭>H,&l jJk%&J60@: :` iOyh;.=cYk25![U^.$oW CbpT婴4彗^ci8䐁p6C?HmpʵzВ'W4Fä%Zqcu4C`Ѩj0ELם <)9z$^x@:{^5b\>{Ɗ]4hUpiqӦP둫Vr] _u͕"깢}0B.ui3kol3s3{<&2N<&Pb&ZH0$t ,~(7 ;rwn ;k~rɱRLq[_LN{Z5bFb#_})Rk)2q6udԓw9 'ét<_\tZ 夃c.ec^^؟wʿw퇒+o.≯uӦN1Y*e.*|BU*5ULf+10:鶝OjgZKr/`Rpb2@HR3wbvdrf^!{cEgTglVˉIQ3_KwӪDA-LI;37=IMjhQa?5 @ tjL)s=RET}H^9P:B iSy;g4} AjȧI'-{ stw;^ $_KmؓDx+ B 2 a3o !@[Oac fЊ<ET)5AY<9v^&䨠bCWH"^0qDuy3ڂZ:U.y/9@CzWwK1{0L]&%oDp^#.4Կ*݃)qW(A(Ώ ;M^G2΋e@v&In4+կ)%U-˺f`7,sbN9fng-irSx(e ~K8 O9i"ri'd%W;PϗdC _<!COLZ<9a0khv\и,aM+ 5*e;鲈"<}MD%+b1MjαD:ג.C.d"76 ͸l͟O2A[uuu0Zק2Gwɺg!z=Uv\wr*Bl9yǵPUƙZ:NH:jY^,%1K!CeǨ4Ǐ>Nף [y<֡у| S>{]F? >]Ol6]W my.1+'&MP/iaQF~Q='YʩӵXzm Kzo ҍQiCfܭ)/j~ &a{KR9Q30sr2dF9ήXd?72*UAvu4Fs}laogq/^&Sd_¨J"RU3`HV>=` \mMRc JB4_sXLRcAg>-e(hoH/tf*̑0B 2ݘwfߕ}rV{ךT_Iq1i97hu7Ξ-=.*{*ufw+?*9bKڶHsރpq߅Pq9|14kM9]\li=vL̴K. 1NmฯBE|T`>~QKӕqSԑM{/uiPز'eX%b=5fXqSj35.pOr6#ڙN@SVY~X l5t6w=t /g7ϖ7R<#F#h`yG\BEO i_}{z;+BqZ)[B)F R=(@J%$ \ޤ=ypveI#۽bFK娴uzn2,l dmK/ʩ }>ؓhLZIƱg c+P1R.|  Y!ad8yHg:G:Bq̘Zc.8޿wPU Hk%}/GP`\/xHqay|uY靌iN9aKlRssu}\sPD[n})\neeΩ FrGg~ij6ҙ6kq&__qC Xk#JOoՃ.0_jfr}:ḽ 1|2J ;w6 Ҕ12:go/zSIkEr@Vq*}ɉÀ(u059cfWpN+n{\{N cf([$ӉbړrcF-1љ)U˽a5e/k$rEBv`2tN$Pͣrd}\g3tEtwp?D Y\Wl((jKT5RP%@m pX2 N+fO9{ qң5c*+tXPik}qTnuۮQL搬9qmff+o \p(خlaPs![KQ 8o1GUÍ  : nu$gaN:o\fޏ$qj5Q->b61(<d "8"*m3FlQ)gL!2-fg9pgE{'cIvF&tb ߆ˁ`*(Lz!Qg50 "N*ԷVOC}m.][:4]5G]TW<;,Om33N8DF>*rFlb# 5"M~LÈb |nQ ~&7Ecm*1] Yr]d'\#PU[d٦ˈppFU49-a!jl3{BSܽX{;<-Pg :g aSH g+Cp% FE{^G_irR$ŝOVMhb>NחK*?)=/!vCEU)zJܵ)v;ҋA= , uMMkO'zwKp"o۩z6\xFS0j؋]5k+\Iu|zJ!^[QٸPiii;d ?~|If\Ā &̣oZѳMrk.j'I9z P.ʌӪ+sbau36Pf P,!niΪS8e,]\ iM )3Cl]ZbUd%Bv`^|#q;'Vam[d򮮓{ I_V;8H(11{çr)>*)+k};[|`=z|S50,\!1I\}S$&"X!RWmהͬwr ,x{z\ eMm~5R"rO*:,ύݥF JЫrƏC5^匕%Uŏw $[~Pq%mZ:(W&~5ٗBw;>]ȜT թ|DvϷ96# ~U 7wfw1ŴC(`@#ZH6 9^J-6BCiN&>,R_׍Ӵ2n)5GVXmTT|V[,@Wz=v8Qz9!Pϵh}s:8Id&FvuўM$9`Q%'͍ER/[>$ɻ{([ 2{}X&3;pK!>btaFCJp͙+ PYҠzޛ~WAq8%\!"G~ P` qgΝ4)bFНwOX.cuZeK(wXJ_:X #h~U˳MOH?~/S37 o%Hg=+n9W!N9 %.Ʉvlۉ=sc<>U:'~ߓQumG+8JI杆bG%^lNrf]䴵Ȥ[ vZ}A|X9KʗFHRQ~wJJ9~U<eXP©v mCJ҉_9]4ID\_RLiBLQU&6%%&<vw9غɅ/ML(cJW/ڮX:-gmORlMVpc5 3eq]~4ݹ7W@fU5LDmudRe˶x@F4Xpw̹}lԎ6PgM>נԳ&ցɯnHDT(eM.UvA5}C-.ʄ*ڠa joE |L{D*gD 17kR~OTqh;+x@I@Dj#:P#d ˃DR"ً+ H|4=;Оt`Gtpcd hbdYvjҞ絳Du9{7O܈=5m8w|ք2id֭pX23nvjlTKR}=H pG^=>$Dkj3NŭkUUM*Sdׇkgq7lWɷ,Ktv-<|DM<.j8~B:WENϺe$wFVuP#싢e%ɰ Zr92~\'b r!c]l (ѝϊ9fb"ES[M3*%ڤC(PP1kpZd mNe-0Ƕ}Lͳnwh..=l?<hSC{պ/NJ[(4_-Tm^(oz+Ҝ8{`Www4\ƅ_ iq4'23 <_"I]X8/O|,0j7ȏI >mz2q+VI1wxr kmzpG!ˁ>Sq6 HļֵrH1k[Z/9󈻳[mrl}Ѥ.V9<rkbѻ'яio\mz"ۘOX|j(?T6IuCV0i/F/ ,6 s=M$yu)$s#*I)3 tۛD~֡CyJʠh$Uyp@xľI֦8!Kcft9'{4y.JxYUL +:FK?lU'Ś{ LĎGn'.$`JJh |{i^^?șGPPtvA?0jC0y44Ed*xw=D9U]h=yɹ u\m|0j腮mh\qUEwO|4Hȏbއ>0dmWtH$q'jK#8\\`xomqSngBtRVc{M |hŁ]vyj J ?NY,ye{;l'Ń.^%4G'dbh<#@@=$ɖBrz;&m׷XPdjr|+_0ϓ*FO'S;s FU Ħ`a`Ac"Bh~xmtS*>@>h^ƨjJTp兲=cw0.~OvEIL=Ur߿+t(H0zcZEЀ]Lu5{JX) UzW)(setJm&A@݋.u3y [aF!#@}Qˍo|NY*+F&:ϨL77(.UuDz^[/rvb"8wR#@c}z"%6P/CM P)J#hO v͏#]hwtƽH5ԩP@W%"R)lJdXuXjf1ڷ}4$hD3}V\\ Ǹ qV!*kesj*]ISboZ[cw|8Yu޻ 4!nnւQ"LR773 M}tsW.+HR& mC%j;fѮ3f\ّܽeMxP9¼ݏ+:/>'#Ӗ` /z" -ÁOĘVʭ}_9 Smf~Бh9 <\U4("$3@ O5TMxY-$ j}1RrLh۲YCIâ,0?NEBz s|ek-F#ViA |0?::ROm)b}vug[K/ P=.`z}}ˤ'ER\Ts9HA_J<rwO)68QH0N,Xo6vj<ހ>}T.PZ2aX2tkEXENZ}/'Iр$MAfFMD4V}')qbK92BmI,NٿzatbmZigw5 cNJ!%GcXhj[|eא^'k `4k(N}Rճ Nh6Ǩ޸!4/-v^sYQM7t麺ϩ!]r%f%`S6&zz!#D!t&.Ljpca%XH.s׊cRXBy r&q,=*(a6L8*DNRۏ@B3Lc%},ts5 mO3w QG?`s8\*ܩqthU@[ %) ǔylx/ r2j}m)1 M'ڬ2^zy[xq]='Pn 6= 1]AQa{qoP C~ ;$#B54~tɉ3oיU/U؛Db&f=?;n7H:BRp QU]J , \_#qHm(Q卅.|~uTi_ rK_>$?{>2]Uv,J#Rm҆$_g+3%1)1lSIk}y*;iIJ!2($ [{*lH{‚8b1V,t Ge^ݣy:@Ӱ_𙚖44BB_˝+XԑOلތ#Yk2WrV1lh/a^ W$:%/QҊy@ lgHD'_\wER{ҧdHm3WH©S0La ݄rkiC`)o 3@e?wyhۖg`d$4<5(ob&Rd-+k6<id2ldC&E/1Q6h=Qr0'7@Fi/O_Hcag1( #ZxD6R҄sǹS1!,7e΍[$)`!thHW4UZ @kLsfi}fBtz\\3?88?N(tW 30ސE)-ߧ\ DϵC4T|hFkQ1c!(V.w?2;+'fv.2;XD>|. ^Zś6@L[[sC@Ij\Wpz&+_DEM-^韺U}oc;_h32Pb*هg'c# [gwap kY>?+w%AOx.vl6fن6&BrQFPFB_X1G~86Y,QT+-u@rkvN|j .8Ѫ07s)ĹAv۾סYbNk2%JqOV?EJ+`͂oGq+ ,~Oϛ4} Ic:m@vj|Bu-:!ha\T1 QѮ؆u|[OƜui3?\-ֳ[t0.z˶O49({z{A{ʸ L]NRx18"lu: `p(:nR2g7OF+zz>:I*ⱋ=Ի61'5zvG9ʈH B*D;RqоR>{ھRVWTwEG݃Ԩ4C6wc5Ӝ vEw BWfnۧ:#~;yyGzYIThR Ӿ{=9TXT"|hyh<|1һN(ui߯yY;P@<;7?^@[էJۛG)ZS@|5-u% K7:ȫ> '8(nBs(>AY4/ G_RK񘡽%l[}Xjay +kIwHe"$f l>}gV?]M5x>g⟥G#%l"k |o@rm aҬBo_m(S2c^^s bs)%n[!/,sQeM]h~QY,JQ8hNAzh(w;\& rcOuhYakTTS_ݍŇr *wF ʏ&Gi?ͰxhXխO/bO/#ZTJ71 ѶC+ep! C\vB ( |WXz>zi1rӫ !ed;6\vd/SP#!:B&[Oy6ĨLtPRplr4|)l=]ΎIJ*f ?C}CtJ nE܌)zRUimۻyP8KȭEcI$my K,=a=;3[+c1=1]9!c!Ue='ӚԂKe3왠ۢ~ fo 1kG^rM\U̞xtZL*]N0׆Eb3ARdD>YD\ʞ͂f /1n^^:u<;V ;\-?HLUn>pGdFT^p)Zt)U{; t~ 9#?Y}Z3x%%x:p$Ґ;@qy"|-Ƚ:zL'+,|E-K =-pb\K [i}np\J%+%HZ7 2sb_QMSW5ؕ[Epftʒl1|p_ŲrNzMu1嬾SgNU c:K \ =iFw]K(zw&#wͶ Qpc虰E_RV=L E\c[q,α팍CӤfǽy_2PUJ kJzO7P+.Of҄jmڲزG(Ł}̂7G{D\JW&nnpY=®E!.SX+JS{ÑlۈڂҼJ YSzS DKa`39UHX2_k<\9j p?G?[yM*5?zz;OXڡW!,s‰+9F?βa .xb+-x䚲 = Н,ɷS[CgX L.S-]So$ҴEWͳ >a#OS9g 8EjkM}rK3jkDg$g;ˉc ~=yfZQ 7 w7jGzwvgn':rvnC̤\8O@ʒ#*3Ⱥ|K.&Y" | N{2}6v.1vWz+q}#ݨΉdPvxm?CQ?R,g 'BSwnNq|u5wϐ/iӞaxzJg |H0zNSTuL=oe#YIUo<$k|$ lv XT>ք=EIwqXj"l N*pMr–Y<Ň ]2m/o=ݯձ]O1?c,jhکZJpCoGժߎ J-aY+1<;4zu [Ǡ~b7ibRaJB%k NTZ)b/^57DYcZ`T; 2=Rv؟y &VK'Y*)lfPgns2̔PDv4yzƈ&*[Ȁ)KԿt7%E^S'8Wl^'*tbGcЎ7uXD꜎<l ^N] Ew?7ߦ4LQ#NV+z mY^Awt5g3#▫F<Cl}nB@Eo-\y,Z$w;ξ=퍉[@[Nä/ AMgvjvYf( t>ث8V]J'Zi(YXڳKMuM)FVʺ"g'-7A#_4֛kzv9K2'|'1= Ҏ0C$I9޶g*ʝUGtr^꿿2")\8n ӾC&{V L(~i3p`z3HbJŧZay=6yQNEhZȨ-sv~ S;*_@1 UmF$5R*O`ixކ>M7J@ G%T4x?&BZX4LqZzWVD͵d fzYGP'qL csPqc߇xgcDu9zymy#d .1N@;e{Z'7s5 .  |r1{?rDhmEj*ܙЉK$h87:ft?_GK646Z|يH]?72җҔо[5Ck'mMnl pkF#jLb29,"6rHuNGHnKzPTqq"=oή#o\¨j]J͙Z91֏ SLfq%>tA#BMaLFkz0AD0Hj8̀{"f1:52+-yq 翰9W*+hpۖJu_P˅kZ#`Y\N?g!;_Me0<^ -%7?馚>~^O);nءU_ϸz(qNۋ+]02HX'Hpjj#SKax#r0e>Z܄ci u_UUѮaEީ;AMuz^5VHp@MF>Edw<WO lzyId_](*;ђ6˭mD{3iz00x3]k)ybN&BUr!㟿I>x\ 1:2Չz2gl?@S u(D&z"qW!.|aF2)M(1ϱ&>Lk4%*\]БӪyo[̓;=Q)C/ +( S¹X:;>9XAX#ʚ\+O;aDdO~k(_ҥPI)e峕*sY\_]:J+RTTسA}^oo}Ufq3ƣ$Jz sk LUmupL+#`ж̞XV!rƜPapHp m;pRV\'Cx=Q7Im7a@GգC@z G(p>Ԯlc+ďvGPD< ny BL}OCfktNk!׎)z-863̙.KnXT2A %>7#bjY4~*R+,{8>o#r(vaɽȺ.G@^S9ayb+SXf=I ؋'y_-or_'bwZWVꈽ`>NЗV?>H?m iDΏh=Q Sbó[/6ߠm~1GoA`iE6l~L>,1 ^-}c :{lAah8R۾MkYc[u7m,wOΠݔ9&K~0$=@?6G XUCP}Yhk(b^GG/襏0xp9*t_x Pm8UFߚbĹJԩlV3¯@0y7׈(BۂUPy'B1N׫]$se8:YqI }5MwdE^v5iV47F M6h+ 3T9{Z(gy ^\y7O݈o'pXq%2Ԑ޲.c"k=bS;CRST}b@: oԛ{Pmc<藊C#'.)'R\::𷰬?*l.d%T^DŲk/ ʟѤeʭSQAmUNbC^%N,4/YJp~ sB~)&(|=OeR$.x[=0maQ6I ]\x'F5Tۿ(' ǪsqI-薔J< 4A@ma'->#uspPJ-euNCQA/+[V&%z *Ւ ٔ o6@.D>TR]qWd&%De.\׭kB|E$^Ef$6p ܓL4,Z(]Q~ 4c]LNv!7lA3 ?tg<=ͣΜm'VI5h5 Sх 64T_< w-˞ڭq5>pW-SW~2!$IDDI 9Wo]lw,c4|F:Ԏ4;uZn:*|Z wrU՗$]Ve%fv.Sh)̆uFC|э2*UVx{1=z@۲2N|Iqayt<8xxڍyow}yeK=Ɠfr hҊA*1!$r~N.̿VNQE[\>rwؑe#fȚ1m\r4I9u{'jfDiR޷q!t ?R2KR+[ ۪qϨ/kPgO@7?^Ϋ][c \ ]1)j{j@&آ%]]%;D&~k잜U|PJpE K.\Qi +. -GoMÒ,; lMs_/#0F}jd7ru&#7>@J7-S?ۤzq玐3} @O:K? 2|-^v#,+]dA*lY?]13!E_Kcl/?J@L*O?e Ep {aq?{,/Ht7l^[!Qw+Py!du0 bښY5.!W/CNIC @LH}ٍPYj0ʅCc*3 <;4"6}Y8r kVB4U(*SǷce"qٝQ d*H nGYr'3idܗfi7&(#sČBg^=PJXw{2̵4 B`ӎF =O8$h u`dÞkKM;e69qG01çp}ɔ5_Az-mBfklv mKUsn|gmkPBjo(=hH#Vj NU)h~k T%< jى o z/B\W9o&!G!&iF`9+/ qvGu7U'ZWfC'10xFЉ`-j@W~Ѳ&U!=Bdkda, uV6B.)bL뫸R*ԧvh}XrAܥ)(EnX*ȝWL4BK"a΢B8! ghkiM/rJyDW%.M ^Hqvq#A"e,՘(FdZ:_Eo~ESҏ?4P #RݽԮP;x-]e-ѹnVf,[Zp.!U*AJ8Iqc#׍ _$mo  ?VjI $}^woU:&RnC9#`8B^/yJGPFs 6!% IkayBug:P_pE YPK/>K5j{h ()4=Mv}39%+œpRaXޑO< _@qf!49 e,Jߣ'>֝_r6ګ_bEDD41hWj[6]f _Ss~cD'34~ѫZVc# @To!Pz!cfWbSu ¥N6~I%ꃓ–ui"|B`<2J UpH HY̙H&sO s.~&C DPbR3f ]Jdڶ-!m~@sgT|b kb=uc?3[WWϜApJw$C܃뇴Bơp: $4bIUcQ2c-}sџIpS G4+wSs''.ɱ+iOTj#5x4 GNLJEP|MhRǴƏAs?xH M1Cxʳ-U}D<_גpS6c]tuڡ<еtJ`#,Lyu}nZ~{I>b2DSgwLvwoHg̬2PZ)"/)W@fBS c;aڛ E y1즨)|(XIJDYY{IB; >XmWISFWWTƉeT03 GnM #a0/xw<j,/3biN{}/< L9鰠ȡօW`WB5 RƧ\[P`jrVHPct$QtRI06Yf} +ol`w1 2FGUQZ0d0_RKdZ =*s{r8"&'VīDN Έ'v@^$#}f*gal9Q}*tMO!HPo" 萴^bK5[J'xT aTNPKxT|;>WX?TN ҈G#U[XýtS ^a0l3 Vm*qo!?n[oz/q%KěA!W+IBDLrތ:핍ӄcVkȔm+{ e{"dy`Nq.IaΘZD7n0fvpG=*OrP%%#k%C,Qo0 G.w/̂Cib)½.&Y:k[.2E44y^ohR`{RULK 4h.+P΂m`odKUs %j"O!.V#Jձ`tHN.6]'F7|H_3zt-6g =B\w8xz?VwcO9>+VaxY ̆ίO >F7gcp}4ۺuȲpYD](Jl.b";9F?!{,`?N &idUM4j{`_"-!ٟr(@0B+i;h!'ۇVUc2  U"c>1 rPPr}N%;bMj)Q+}r5 P]#\0ZF-P՘yX`ePmi$n7BF)(yy^m˪:D!i5J䣅4sxB#RaX,`2ոJP}SGZg×$يz@u&[y{Og1+ǪHiv1W&WadR=a _XCkfp`<@,tR1AB6RPLp76k%#JT]Qт!`k%a[kZ7@ m+y2`;geat9bC/+y!q/q( }.q+0WijiC]o03/[~0{w%ɭ'_bۢc=ͷϴt( F&&='L^̷h,So RϬ~v ?&g/;ϒOg-37U$@4@N-+1 >S3;K$@.69PI0>eZ0m*ǾÅ:6jJ²N:! R0u5=.kEB D}Jx"yrXVTxO. L1LpT]JjF)oci&;>poy &!0AS?u%#٠F6)yl<~{7'Nr2aFu*j$E<ɁK|Ѥ4i cX-*_: ͭ 02lSx}LXN\Th;Fjvޯr ^oe_P)L YK4F-KViqpf!a{v[j$K'tV˰,G9mA5hS x2@bo?əGFKAV,؍x|]C3+-6Ugq83zxGpgc#ڬ#'W;w3v .# (o2F;g ڦgg cizu0 36VMydZ }"BE6]E֩c5m?LjĶ]]:ةڢg-16~rG1III=]|~FTO_t5R &0cRca0D:) J(Ps}!I[_~[؜Րg/Z06i`DW yW'\O0] o6 v2Y9,A0A:ܜz'!a7'hHY_sL%G\)PItdbr̃f6dU4Uzz| c {ԈY(u3>Ыz}x}͈q{_(ŕcY9Tـ^,ّ拥HajfBw_K`q"!6CwiX1ٵVO۽M̟_\ԁ`+YE A/y&Oiip *i$ʧ1 Jg!A5[ 84dGMS!%8.BNjܭ{8l}mgo"XJIh|G 6H@ۏkA"WƏG t(BCd}F<%3o8&Wl!iwQo>Ω%l"cRuc^J@Lyyr%Ej0 DRdi~ x[D e3W[Yvdb<)LI<_i]'eЙHsϋiJbyyYP#ˋ}%2nF$^1?PaMxf'?%_|R+V%mnV @s1<-~7rmjn4͞ ur.l[ $I_:7řy_K,YNaq~T[sBɚ58oNFѝ_vhy~ߤ"ީ|*{M"N8#9"e3ڿ}VQ(PKW,,[&}="q'-l BUn R{vVyhݽBK bRl$ 8ẍ́=gqզP)W[o1 P) `~мuGIסӳ͹1 IbVҾÜ5,"0o9R;DM3&/t.X%he`YȻSNA"F s(~OP4J,\x`)iO |To@I7ۖTwDE#*Pk iX[<UfPka|G\,<03 Qeܸd43@ԝ \oҕsy_΄yU3` _(!Ph!V9&v}vٵrF8|t ;%5w]oe/_$#5vN(Xr%|L$h"kT"7H>qH6XLuƮ| D "% ՕvCIkT[@x:;=3hۡWb#C=iphwQ%5UJ,3RdYC}1ץ; {-5!ci$nX TU52&YC*'p<#BpTNm},[=Kg|z|kyJw@nȚ?X"p@e-_z?N^unšPWG)dU ǎv3{?mls,Ⴈk}ŠqJ[TԜEoBNX`~o>-;(Ip槨*B΂8Ը]C펐ybs˜Z鳚U.':W[fݶ~ʳxgD] }~t3BQS;jZf6 Ӣo:unB!}/H&A&Wz]5IzH?xe߰$BnjiqmVUD3P  &:;U(&}r 59ᄟJ Doҿ5^ecTL[/J|lhR!2۟J`<ev9"s{aC,s_m 7Dz(zJJ-b<-qI$ЖB޿E^un.4$:V$4_ǠwݳAZ& Bc# ^+T]x{A}Z601ctnʀ19GLiCm/54 :A,T%-[QS˸M|! B(%!OLA8T<[;R2N6a!{.XV)ބ^/ .bZ\  VeHwRyB{/͂;@DsKJ=6bf,!y7 qaui@'EoNu^MakVy5-olVpԬڡPȀ*a( 8X2X%/ChhYFUe q:%+Y_T &+ldp4U]V,:^e&P6o^sQ "'4dӎ B$x2SuK8wCdE~Zp2| js-M_VǗ%=i 5E]-,߭@Tz](`ԩc5ʥR~OfI!Sَ/ľZKg#}ۋiJnYEZ.tlĹOeȟOd L+UN1sSG#k3?C䡼3 vJ3',W3ܲwHqX{D8(YAlV.j5~2}{(9L$ánkʐFL-Cbd ŀǬR̯Rn+p1f4WIiբ+;?fb+KqIozwXRepMZ[5k.!yyrmDX-qQJztӐYF$UU o9j3+^X$k4;%G!]6 BN* &sTǼ&#Tt}NԬr륹˪{O0w&)oW\ Yuh~k+e"7R>sf}B3-\73g]趹5yDD O:j>Ax/a\2pV;M()$79=dMj٣~g 6EUisCiCfxQtqQDF-af+]sVRƚGϟERk9JQ0q%OWBk_.q2@>ƱN5 ytm5iw)f90r.l/kZ )q"CCi33}pojz7G5LH$\-v ;됺esj/,78.9Yd\N7q1?z )?en!?oAe=s'Ѭka,ExkpKK5F .4T^8Cr${G/-?4vsJDF#왟SݻSJC4 N,ai% ־9<mlυ6įG<*"Z4Z +oLaVЂۦz"Hf~bs 5(|6]li9*-ϯP*Wk/웛4h\8 M rïqZ\o읖<~NIBtR!E>]C մQ9z fҀ˛G)js5Fm^TM0g'r{dU)򁭵&;=7${U0+JħO$9I.U# M ΍Sm/@1Ş5YjZK_jh&7:m 1;R\|b]@Șbe!$䣑GiʫEN:7OG0p`@ `T Pie!1SFSj~X*ǧR^Aq-)޿-Wd./x )|'LdH`o;C#_fUV{XT -`6؄v1ngD}15-~D2OܟI6Ow,3I,zi'ЍdG^c',g_QDHec?eE Hh֕cɠa:8*ѧ.:3 xb^,<(׶sYpU3geQn,jRsn+i.{qI}dG _A$ZyGCsuH U}-4Lyn,lD`#@ki$#JSGo];Ks> gdr~j[XޏV{&-3>SFO c1" t0Fw1`w9$י"KѰۊ\tDKANEtO07ާqRmg9WBN N}:. D(Ё<8pg2f|arVJ">eqsqx5M/zu@e0*zB0X_EF=86c.p:'^ĕ0R{ Ӳ;e~dB g{Pn}XB{gz$Q].˙_,{="P"SpڃR\ڂ_ A 6Q:M[E 2'FgRlt!S3ē^Y$ -[y ᐄŏ?܍TϽ:ɬO)QF$ ]`D[9P~c05pw7(wwg^Tݼ- `DM G @jp1V%8c}/~?\UA1WI(5)jU6jZ}kBE 51@]"_RNۖ4.ݿpğ$Z@Te#yh,{]!@&8.0)c_e]= 4ʖ[NYZ@trlc2 6!R/{:8G6G`M'8+Y#-jx(JW6/N%{uņAgYZ7zXZִF! +]ŗXiɟ1$Cܨ }X 6^vWn p^k8hx 2ɿVJ)I ?Kq[QSN?ryi_]ck3"Xe\RD1L@r=ܝf4xKEQ2MFՈ|L OmG3F> KYL@ŒIf.}O$'$|QWdV󾪁S2>L7+]N9}{le&[Q1Wѐ1x1czB3F`Zd<^XwC^>$ J!ژgYZ7zXZִF! ੨ 8]ŗXi%L!l/ n#{s9;=q. g`# UdK21zVfGfK].P,Q/D_3+XRͺT%[ O$LZJ &)[s#K8HqDu4sh\Z] iDVVY1`܀yu s:D5m=Ԇ 6/K}oMeEa五՘^i`xQ/&^r^'Pؑ@LhgI:R׋5|# v([T`j}4&>F NW#tޭ W?LU "Z"F } mמ>0,V5t:P* S*TlMjL*$6/":&P)Zʟ(0 ds:pвր~oQA2~{>{y(k'^V_| Z>LsZdlK .Tm qCOuVD~7n-^JYyO+)crs|zܡPΠiF&7(wO4d%у_}pzMk 9jHX Q R[-Ө =P c sLK靁xc d֖˃Uy2`)JMkIS<¹*"4jKFUa"X1מCA)#5@̝B68Dʏj@;?g.oojRCz _wNo0Ws+ݽv _nz>[}g}$+cl`8G_֨zR7eǸ&ߥLi' ^ьb"` 3@Fl唬;G4_yO׻J!@zNxFjKQJ;4KrD=![L챦‡k9J|IV VXa*狅lbgu^5L3|̞0]7KA8{Z8_*Mx\ɠA^#h\RӉNځi-v^7}N)˦KJqLkcYw&OXX+f;=4S(D;ڂ>'WY㜣 6SV)idKY!2s"Ϥ)GS{BF3^^rUJC=H 5DŽ~gDw5OC6;`)x%1+^m'>D]:x-#X"H#.Cp x\@p~V3aM珶ۙ}fV}`Aut#TU p]WZ-R!kֻLtsAxFX}Vb%-:s1k ^TuW&]1][;x8;\%<#g^P|FLޥFtfKW4f/˺;޳ Q@-Q=tvS=+q[Hy% 1O\1q6ɸ_YiE, Pff}+䧭%ttys!s= X>9Eল,Q~SW1(̊6l;a?5޻18R;MU4 _%rH*Jwt T1IRbyrǽ_';Փ#5 ?4|ÖۙB;5>1UG4u= E&W -rRr|dTWL8b%7)RJP"`7*cԢJWq.e&۩Gqu=V KN&#fh}q2:7C^Jm :2O_̷2%z Z}y!oخ$ϻEt@J(XUf2Ul(ϸ NqHb-ddJEX[_il;cwR8ϙfk}G}AދnOucS( W(gYZ27b3fb847df02ed84d40726ff40a4c222aea1ad28215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d