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  PDT ]% HOL-ex:threads=4elapsed=491.061cpu=1740.312gc=69.812factor=3.547zXZִF! ]ŗXf1-q恉<Td.ͭJǎFƱw[sܦ,舎0Zn s_O@6KJwb.ʸr|7*0MI<76|D>w>OҬf Bg $7.R1a;=ZZ y2]V*5DC auDk alM$hC]v!{oW', E0l'>< eӂ>?v_{e>sIkaױ֌1`#_qak_z@4tJb7"\^%;/44o_%(+ jհ4 4͊T9Xt?̡D::v1&y0,D^F,bC6,Pc E3A6jq(QnM8 I޶T;*.>*KA_71P5j2rhK^HRqm<{Qn*Pn"omR. -UƦt^Ls^ )‹E {oLN{dv5O 1Vh +?Jȑwןb*S/nΰFbF ! ԱGagKQi'٨Enxͳ(]YPEls1:!kSv1B]wS%:y >":Iz,o$ ! HNb7:}5 BE$Z `&b{&4<-l:3;KE%4m^wg1(q s"HcyX Rc(Z\`0P'ƀ RYM@E.TeeC&&´hGIbTJ 3n}qiBo9|`ѳpF9zf54"D=&^ ggYZ /7+ HOL-exHOL-ex.Code_Lazy_Democode/lfilter.ML!|- |Xg$R6%, sb߈Gs…*qV+mt/}$hԲuobVøE( @;oQNvH5V]>\':78+닽pppEmqbZHLECrD?u軶ي_崄I8.Eߦ5V5EndU;OD"WL/ 3.8>c ,mxdT>r"aZAHr7qοdIkKA1rzYoTfJ Ӕ?l#U²badv(Ͳ!BjFv5:, G%~t4{퐭 [(`;Sג3$|5@X$/]h[;ur~W,691ۿ aH/~@P,~ܝhӠKx#N'..S聒5嘼j;Vf`anePKGLixp\4X{̑-w 5UxQR@zxíM.\\)6$ؚ֡?'zA|4$NVG,1OlZh~$s-LCjD.虗:!6 "qLt+BQ&ba`/\?NoTTa]QĕNJx4o=.;~OU|ٶDpS:8|{m4NȰ8|8[3`_ZbR7d ?,n-E8dNfy >X17hXc%.5<_:XE<2R7dfyutP/0ҿJͱXG{ %TfF2"&,eIP<\nl=bxTK XxYt7yw>̐ҁR][H >&P t|r7$Z+"*s0(P3&&w04`wtQ4ǜEvոı.߶-NJ׽+.Јb:e;FK~ ֈ ^LYIịύ!iY Oe/`wJ&Na.FsmK4cuXlۇZBiP;~JVM2؞e(ymZ' 9{M"w @+W[H03k2T("rm}3dg5p&DrA[H#4s xM t-ړx9YY7:_"]!\$>FE&+--]@VuL-RQ}fаE7o:Yy%&sB3:RĆQ73)"& sroݛf;Wo뒀-H_ W' \B,.j-.&!uW٠$#;%Ҳ.ƖZbڧL@ZR;zb^]#h>kC2%14[5{56b;"QHrPYIqDM=&'|r|^YQVak94ng׃Ė%177g*_{&^pD^a0j' ؉e llZ#w+`g8Z1roTL𣛧8f~@Ao.sJ]{Zw ,⾤cL&1R=ECmΤgW/i.)q[Y f" فi.q~H(^YRB:[}"ܹ 庡Hb.a:@(M" 'cN9h'{l}moimgI 솓F53 L#b2.9:K<553jMŁ|w=e!f+xDttѕOU,}xJ7CgrVO+鏅ueu"<]5aW)Ν4Oo6MжDMԑ3)>g+%2tG9dzs en/*w(fKm_"507K:hGwRu!S,NhةN!IES9Ao7SOREPWԹqӶLR>_|^yYKߢ!ad'*UPdV7tfb*BP̉}$E "@&pY֚^%Y p*֩ nD _pNr0}B w^9G3J{wE=ץ6P˂Ks ]C-`Ϛ:3fi;CqӢ6 '3INqejCHX-%iJ0Z05'4ŢXWGO4oP!g:C<*4-vXԻ0_Jݙ*y\X(x+0Z{VoK :׼>}jȾ~'7kP)XP @okg}#l35 v\~a}M.ni2)72ߊUcW6!@pÁo ȝ͚ 7K2זY'-5S%(X3-(;lՆq$@2֒nOr8Sw4ܪKm$'}[d)G8KDv[=xCh"MJ^iAA7y=N$ AW7 *xV5eX(9,HWєc.Imj] {Llt ЏghЌ;2ĺ3JVw+ yukt 1=$K6u&ùfZyju Kz@z|Ok [ͿO 7 ޥ/uu!B%l˴%{(`pmjF'pƞ-<{a۹TܧbcȖb狠I=#-]W0wp8mB_NQTRVrg&@zIX1V[.z  /4J;Q@bĊb]x& Oͤ 4}\Gs[ufG Iyi~٩Ȭٸ\@Zӡ aa5ϼe[tPq':+Y7o]ÒUrCy3 `}{dfٜ́+ybd)OG 6Fݔi=Ih[I p7}_ F_Kt^+'ACs&9V= tZ[Zfi EWc/g̹̃RF#[| 冺$2Ŵ=乡BAy K'VkxxiY4YufT~+p]= lv?nL>/pp\K7r\"߁ղ5;ې6ukLlvjb8LÍO#[/1JzZs@1%(B~D=ԭf?ބִx&$WbE՘{> kJ!iÊ$65PN㧢asEVi)C|(Q?xdbrgլR"uk6 (= :I2!YRNL P"H!&7YgOCG5Pk-kEDs2@ts@fNg;URH+d%V#ARؠ %Ri6c-$Fjy<FOrs0bx.CR.N7\s!+$Xb1!v @z\z޳S)K9*_P#61R[,z=.t0P&Ewٶ~{QPl_l^\^iƻ,bb[z$(tMuQُ]kP7F'C0%xBY9稗оf:/01eqݛT0@o˲DEWW(UՐjjs6a0 zn)9JeEb顇(H2gNbKkCZ oLߚFm8R/$yi%|,gW[*DN;^B%:̈kiTw]Z[qd~Q73s.+oN ƠoT^4PqmvCoIZnk1d:Q'{*]QV̈&q 8OgYZ7zXZִF! ]ŗXiɟ1 Uu-Dٜ4H5пl#Afib#´4پo.kmCϏ6ïO\L^D\> DQ" s63k̛5z!J:y;̷L݌2/ybAM^vl SS #PA$T/ Wĸƒӽ!b$}E=_sҙc{\bjmǰo3,<SSI|3"=Wv_*8͢9w猋!j47/WԙtxG5c" S,xT_%۬?!_,R5${X[2NOהMʮmHceʾ!m%}yed G١5L㼵_-Wh+OtvwVYcBhRW헬ZJHqm,\)zKݐzgi[C7ͯV{= 늳e)FwXptf 7fciHwU]-'r$=V7ЭৈɭĒ-'QrflmkI+ Q9I:Ja-DQ6foQu\CHvDB[$lNSBN%܋Gk U7jadhᣇ Hd?zf^>3s9bk)vr^uLF׊jne=רT)˪Xkw<6~ 6U]{DvhגpJ"!lv_Щ>wP# l/L| 5;=0tT߂#' 1<)@(^m '7|zѼAV"hOsK#JT40;e'}Vr{de&R 3$&ͣau5mDiO< w֧ $[W>VbJIdkن%s@ fsF ܞ} E`|7ю[j#цG:9^Ve` 'f\DE `oƂ7 &j$8P6HHW‡n,%zer^e"6 1MKrwB/8]i!$N(5LBߗg"S|vAZ~?=ɕH>֒mt: *-}yd 8}Da6qv2~l=@PEoR{5 f#9^w=Ƙ賷 ؘFD +2cʅrPZ 럸Izf!rNTU[Lءy>t* Gw9PhD?WAt)MXQt> .~hV}$.W!T>^tĩ٠&ʕK 7hC7Jai|7g$nrV? 60l6^NZ2!EQJҭDE?ܓ6S}a  )WʨK:!̜`n@| 5~F끱gYZ7zXZִF! []ŗXi%GfOʋC54uUv?))Ϟ.͋Gۨ؍6S&g௸b57K#Pg7'S z Zжے5g",GMlP.`牑K;2zx8]ao !xE_L(@zX* :wqT@>zkN0RPaS_3-`uɪW֐Ydv̐vNH1Ãp'WJϹ)Z<uf\_$Ō c5Qy^\wUhf®;,??o&Άj"?%ks wn w<8q5xDEfPvaVw[^k4 0kF07A HML7g tLbjM,oBoy`oO!vDO'Ÿ]%Yɖ9pI{/GJtg隴O><(w-\y؆ J4AcKhm2W4|jXl`%,Ѧ$9Eܺ;0-)*BG>$'絘 5( | uP-싛tER=%}J_!dCL >${ɬ*3kͷl;th~5  AMEکo {DzQ+ޚ,Eqe ֱ hp)lfGj W i{da}u^sQwR5޴6+HI+`c"fߩ Jt{iK^m۷lacOFc}$)M- P8幘iB!4(R]"AӅc |q9ŤO?[qmRrHsök ^ J辛wHJ}WQ_Ӱ(3ň6IkհyA~$kC, һg(]V4G;imgqW~P7˕ d(M)܃"ʓ` aB#HQ/1D)'(Z a!(~W $/[ke:ڌyTVߋ02hu`U䈍fK-AE1;G/ϡdUUOS,k)mdymq ɘyg[Eb(<əq_("),cA yFΛ(X[;`3鱼Fj"J=5 |ty,Oq~4r\䦘ϠTo*XZQeblQܻF,zyo)]#:[j"dp\^wvöAZt|],E׆#Z;|C {=G::ޠI.uDe@R֓zvH bjSᏸnKwE].fFʩ$“&QelABurYaksfG:dԻkNjAKDa[`1_SmUQE(\tC(ؔAUC0Āx1o%?e GH{4d!24- a;vuNMgMJ!v4"cPw$?]jO=D6C_"ԻKK42յw6Q,_}pm 74[#vόkF)ZobX, `1;ssRbIQ?وEVd#:` SeH=sMlk o'ҼedVą+MrGdVժ*iB$Ŭf/'s5'.3ԚI Cnsp$oW~hvB#W aA]>›*$cd5#wphan5&k>B;o{ʁ*=\7rލ* v=ղcPMBK|_kqFE!S ~dE`8_p,8jD@# ʐx`2mb5]-H.`IZ5!AG9ψe.ӝ'Ij?*[D]5(_oy^敽˗7 B.T |q \o>qeĐ8Gk(ݬJJрAZL_I;Zsq=D'QL ڢčW\Ui.AzD.cA{}^\jgh/X5{BD}ݾa`'_Η"G *z(z+USSDv{RXᤑ*R>g]yOyMr+m zE;7pAЯKA( BGh"lr?.wdds27G3+iR*ʂӜH p x"eH֌6O-㗧 gRݳB`|^yey~He&,os"A^pyFEh,zDA:$CTzAei^50e~ ~%ۻ?t]@ 0,ei_M"#F~; ]44i};22tY<;jr"l6w3;P[Bfơ k _AAj\)5QHF{.y$E}s.-+49 7[3GSNj䝐ʀ#^;P?o,pC<1zv2RN3;M›bn)~#! e&MH/Y=[nBe,$fKn aapJtgsRxRЅO_y|ᨥg[~9Ҋ;ہRe !6k3k|2~Y(bWU3'O&r-2کbRt!Y~fpo{X7(&7D1f7RͪQbp1-EƮldY/"sڮ3,ߤƱ;*ljZ!b=m]J\Ld I/I!.^LCĤeXG?^"!uAoR/5T@ttHi&E#g[jW+z\Ez(ôjqB  *L^WjxT3S=ABו{6[g1(7UjIXGP=Zoɯ읻q6wm(ywv#OP1>@ 9uO^`jy_!=ްpUTbW a^ z2K\ARpb䁤]8e 9L^צ%d;}g-7G@P EO䢞`lrXA?4pP89\ڄ{g?ɹm RK#|k9wJO>J=Pb.1B X?%6,;ʨ oo`,K8Eߓa~HF%!C)/xA7jD@xo| 0?U]Nt7Q,?G?ˎR|#=˂4hP26vkj(V;A0!."'my#\‹䛓? ԘaB&4n=PWu4JL[s\2- %_ə-J @G_08S@^5t,Uߤ? ' ,_E(8f]sS|Gar=uas4 Q#,kaa-}\-SGHZ PĐ袖X7Fɳ,_e6^#ÀN2%_\ln:FAicij Sn'8# YB:9WYO.Ka6|_BM=G qU $%Gd5o=%b捓F,WKۙ(˼A(+ ܪbaZʄst{M~2x,hܷo%eѺ$ Ebl:YHwS>ʯ T|Ł΁]b/-TV9!.ffϋi'Th202TvI5-'}!A'F]&j}ϊa| #,vUmS6#3nU~ Eފ6ܺ1|m߾Qn)re&ic(.r(3%L;K+@a# rc G#M77Ѓ_.%Y:rC !˼q׳RMx(Os2znK 1Cm(] 9ic[W)zD9tc 5(s6({u,, !v)PXK&.*_?d2,.4}Dykݚ$1NiaCۭRpvbF%  Z:}~2dN#2M}V\ՇO3d, GIB+_C %"=(E\,`XXɢX׀.H1G[`o(`9b''JOS"} ПW7A$wHҙF:I6nX+\?[Mk%5ԻWie#Dܗ1I g bI }2}!+scN"dӼQx!(Z`΍O@Tx['c֋T]=}JNKOh(,qU-ݶ3'v0#>̦[-!J: #vel {0S |8 ѡVj70jH} άţ0v\*YP(kdRNEңe3n!xbyxYeW O:=%dPP*hԠ'3nЁarg, 5Fn"|ChEN3JhןnӈD$x;.I{z]{ϲl&s|I` /֦GPKѵLn 3 9FJ2_\¨HTs 5Y3u1e[+Z7XĘ'6JV>_CAr`}/H!{&!6CS(I(纅n"Y>ȋ}32$Y*`J[r3AǑ\Z뙳T;pcӎF,'(d=D,wiXd.0}pcwVV/ZlH_eLX󮲱T)–d([4gtE k({N@h#>A־?P[}אȔQR% xu6KykӆJsG}V(BDf9bvťpsغ?wux} dStwVM!-Uh@-6)a!İF  -NNe O@xpUXVMzM\f=Z'&jٲ/>~ `JJ`&L]͢wtCEŊ4ܣgُKSъq.̒HC}/6 6)1-V2>oz^;1jdsJ&bfS R}2y63l֮I]i m[p3]E}[H)GLY>p$*TbV5Z0D'4ހit6yؤG.1Urۦz`|[5 U1K)P 6|wfق9v$cOJ/:_4erBS?׈׉ }IJ% c NI:Ϫ-y (,\|XV8]Yrdw$4 BzR,|7'Y뮲x-̜^]| ~}@MIU)?N4*z3'pp9A{1xp`6Dc8{G8U!i0M.fF|?l;8UIM* m# Lqma9-53@R+Ԑ`A;A̐'zR i9M|,YBjBT9@p~鮁 ǻ#jy !U"+e3 NXw- MO7Gt4dgQY&|ƕǦ4oV5Wh'4ut1`l\ a h+=ft6So`s \!QID‰s(y}7A@h |أn"-}vC,' $#|+6oxFxŢ;YlU6Zs k8~'D'EǞlB=y`pYlpN<0@xA{<6lL*̒V0<_8O:)]Qy`O$jsŏM¸_fh5CN*ƿU9pUi`Mh0|YH|rGc钗j</lEvuo5adh] LO(a8= e+7ѡp⡠yGJZF䊆|qvwirRa!$Ѽ \:&UO/郓A}^cx6]E\+$^W(Z ?IOQ{˱A+jw$-F]l&L0/PXL<JdNDW@a)Dzͅ22_틵K=E0dz UV5mTL7kFAz:UByo_jRɽ^-A qw)1z/k],VRmQD'w|2L*RZFZda ^c915>Dls#4Ǒ>K &*Vfs8$ ӱI7>7"ŔV+H$hQb"Nyj% &'yuS .^Y!~~P#U5lH='3˿a1*ΚKb)d8gORܶӥ{|yx[mC\Á'3>3J?(fD3yẒU5Q:<.D mN1kC,g,VGm |Z A+!E:\w} u >kO'@ƠjbzStmeKYRKEٸ{UsW-l.d +‚ED(afvv0U, 5g@/uiʍ"$K5=> )(A}D ^*WsiF!C7GD+P! ӳX8񧟛/ ,$h]c-aoO[̪-"(ܶͺ엹iZϭBuIU Dp_MUN {lSv!>$"f'5l,Tf?F5`#%k@h.\.kR6tM3$u67S^S+\v.ο1AlI"vCnIR1b_oV9"aX=?t,fhIIoXUPߑYih1ՠz{|zr#(l#,N-qK/A&wB>0H *@@ZMTEH$7 G#K-i[Є5!FV\ ?׀5*gEڦrB,(;Bk=vS`gYԤ8h#֍Vv 'b9LuQ#qN밾vۅxYZ)EKnUr@9h.ALXðrLV&9Y8jf',6'E|L>L[t /{<}0*pSrYg/$ =}= C %Rt^T$WB%ѹ{}r-iHcT,7\n)7PBWr3q3%EONP=&_QFprbI$ 0=˧p+dvPġ#q-u][o4V*\$"ɳ&b~wsݍGZpF^<^5•\1B'*-RXK1 ŢsǷs`٥QZӲF['k۶M;9-c$Ĩvd!Y^`7IM iZ>f+J)dbOA3*(ٸWn|:@8agG.S%o]`Ht DQ O2]uN م,$ 8 U֦\ڿ iHv΢Z`16Π1U%_g$캀d 'R凯BYoPQ|q񃎌QF$ lcfYi`v*ǾϤ"Rn:/=RK>zKV+*Dm uCQVo¶8SJs9l8 y*7wctD&TW)0~ɏ+6҄&4@XϦXiG5VpW%L`%ZD.Rd1XSs$KM'է^ź;3JRF I]zdll5LR82 P1,HoVϵ2@? - irs$ F#Msz[oW wsI<tpŸK@Sa,Oy@ yp&}ßrDl\-F z. )֞a.~ɵ,>=OgE@?j1N^'2Q¢"Sz@#TUZgONH%DOjV&WAAB}!pGpZW׸u$%g:K_0r3ptKXS"8|ƏnKF.9M4̎>(* Sg vfNCrG*c@54Ȃŋޞ]F谬s;g1iZ) qhʑ1yWG{Vo/s~1%\&SΦoHWO |Wyh\C٪$4RƾQQy5ĠgD).o^`v~+quMהB@e?Sp#i0+cDCoH[ZBWY pߌn2i ?'` IJ8L4E`J|uBQdk2&KF5<m7y(,;u)O0  v{[տ(WPI#Rki^Rg$`i(0KJ.]Xy{Q7@%G (iz ΐeJV![񬱐eJrQ=ƹNq?7?٪u$}+*w~P .F駍Wtz!`9KOunH2X2`Gw(CKе3P'L`ԡS\D,v>ʙݸi/jTCTa/S&FHm0@EƃaȃlF4g~G*<ȼβ[c>©;33 `qz;!XU2+{9}N6H e [02z~fyS̭x>u O'`m;iA-e(`62Bh󋛋0fMqM\^~]E!? 2g42 5-C ~i4 {|^KUX XdX)M%Q/9MW-(^e6(T Y6"쨻1Lzp#9?!l-%}C`䎰F}st~~Mtڻf+4{FT grQWN .8Ϛ$ME9F9Pw CZXw#8v[bOlCV26+d XX׮^:U 5hcE|}aHJY<W2ӹqy&Em1}>V}cH?GQas.b\H%\T#l!?<4u: g&aBBJPST5?nhIyy=oWwCXD &_}t T2jSpj9) *& FݣG xb6f١FVRO6"}u^A2׵_YC:8 ([<5bO sG(|cސJuV@sx:KӍ6n1A+l$-i,v!Ox|E㊒쾄JBlZO cJH7j~C}R!y&s7 u; U_q`:ƿլs έY:ig~<皏-OLrrW)`s?f0Q#]BnW}K'l8_:o"qa 1Cs.;JIJw; _:y';VyuMT>~pΏ:kH%EߑDdǻmqܓ  ]֛hgA_ii[u Q/ ^Ŷ{7_I<,߶@,xϽ ؐWSW7_!7 /4ya4u3+T&ͳ`J9sF&.f`ml}4LSX'+% h"/(}{o|*@p ރX)3pXۤ ''% Tk7:j.I}3 N8/KvJ/Hf&n+Q>p HHLH*]|rDɔ=~J:UA0Tq7DX'9 ~@٥?@I%Ǵ,*6L~6 f .Gf.9+ˋ.=~y{o*]2&-EV n*>X"?qdN!ڟ7 S4c6rk;Jppد|vw>\k^ sW6S^Z 2I1}p5WgAgτn뢗 >$!P0!4&"L?&a^(_VHmw'D$/JPzcSM)=q󢶏\`k/"^Z FԒ$7>*Fd`?ON _7 I|̱71D0)L:#`_mxiF$O!'kVIpxɓ E+[k^%n+Рy~G*F\_Ykд: fIptTsU1(_`39u J!8&ٺ/z, \N?  ; > KBW{+LFpG'ŔD~ԎAG|od9 2%&'}lnOA,og4 5%v00*3#~33mdLr!yܽ\?n~r%{]xRJ㾔qZf>W;Cg6S?,%a%$|iAdOj}2(![y)W-?@$+#[u1`wH˩Pp[7jppUTls fqjyEwﶤD;7'tzI`6X`0OmS +#ਲ p?xYjHb'(m6LroqG(V.35nn/s@xndhSxzaI * B?w3v?th»v(.j3w~A\,-`cy=}`r\=)m&8.MjcnXjӎ˼K': ͍=07fro{Ֆm0d!˴ + CB к@ʚg1d)5b(Qq9+uufk7mmឝ ~QNs6K3΀#aB YZfflMZOvh'Н=o/LؓeOp_3(E-+%RzA[$}7Qd@~U7(^(H^>ΏZ>Z$[\ 2C͜z:(qSG6jϘ{f}~%99AYiTTūWt=WFKT,M0E-3,B[6 gF]0vj8ؠ@_B-0ayX|6 %{TJCPkT"oZ('Mޖ$yYe/x zx;}Ք1oGr<'HMR wa5a$U,72ƭ3rƑ"wk4)܊9 />`ۃN2yPgT*f- W]5%xrg/z) *ooJ3Bm{ɟ03}@˛h(HяR!ReGLb`W`YI^vcj4f M,0(?8UpsLNQexU @rә2:qIdO6IGS(כݠi$n$/-<x"RYb3ЫC^-%݋@v'KSFXJ`t go0&5Б}ڷ_!P؄@ʀFŚ3]s.͐ ڃLL"LIN2͙ld S>') @f])| W~%9(7VwWZ/ n0wa/X;5 ߐJb(_o)%1^M5j~n،cS.ǭןǓ]0Hw64.Onp^f)ztM12 #GB6t焵i3/1XCG !a/f{lQ_>XXV\QgWWkTGwϥX:EVhTJX>4ԯ ZSO|gpzgXhTO-~>ώ鿁֌usԃ#Oy $hX)7=]5`o8EҮb|ɳ>\5qW;>CB՟{v5lswVYИkEY/pBE&38N/4T'/&F{ƥŤnpm_,R?$\Ec\ !N4|4Ildkph)PW;-lb:C%YzoP_K`qԼK@iC~%Gw)"삚0W#C\ÍE%-Ka66uw2!w%FQ4Z_՝=ŗh|UwX+d趒8x@^K Da< dx,V/-o[^(tjHHD['(4 Ѧ[etӠj ڱ1=79r}rkҪ9WeM6N+Wc7U- eB s>XSx KPP▬|t*~6,cPXlƣ~gͅbfZ$1k+jCjDGwwq^q@NMjg"]~UA}1vY-B鈞#Պ7AJ@ {2`S$]9a6#A*&$-%d,\d%qo[&%-y3XL<6ɳOo]ikKO:nsrXS `ux, +sKޔ#7Pȇo pKyQ%3bwl5C7SCŐsN|0aF$\HZ'q+bfN %FNɎdsh Me0u6HڣcQer &*)gmXQ)=Ix(9ZywvĊ)"@9%u~: zgp~7CٯI8 0iK)3;ZVg%w/TpJxcʲ7œ)d)ItGGq{N$Jrª4ǽ̩ %ؽSj qc (tNab ͷj? ~k<E>4䢦g y \#ӳ}iP]}$`_~`UoFу3{ڨգ= ~ELZ@*e{_E=n`.4" VL J81("ya1rjM)ϦU-oe7vYyUI?W 싵˃"DZ#7]svRT{Kviw4p%փu1;(Zp̢7{{By, @#`R:ni?Q])YT˒@&&;&u#y0);(668BVo7jL y4&APP&4mk+)6|%u5\\Ͳn(FE58Q9{KEi¢d\ݘ/g9\Nn}wȟϯ]tcqs[(L1bX;0r!C_<iYo!j.3iO\fF\߲3ALxpDld-.@ J24d6N]85>'S:ʻ@1!СY*+Vλ:M ZAr2EW1*pg|X08ieXPopeyzuLyVt:y4[[Ãi/@..G]guZ6e ` TEOga_a>b-$,Lݵ/Ro, A(n86r7WH4 @(w{ϱb7͟yb;㸄/:(+JUroe`z?ՙA) KxSM"? g)h~2= 9>:ߦ@N5*Y,#EGnri2M"öP{ӹ`:.GC2nz~gwQe"AXVo *ʻ x#J! Ck5t2uWaF5 `^`^diOR Z%/kNdMhRPTE@iM;_rN?10jLyߥgb܂()\R<[wecDok{6s9%_d4rTUcA)#y}3v]U>:td FoT"4<фU*e4c.Cvb!<e,SQ#Ș*'>U{NNGG3lIIǭJ#Iy;[v@;goɝk/?4Ɗ5go/j'jM.<Aի=fpi vQ}' k:D;>6 9T pTmK?}Cvac3dǺȈBT,Fө,\i`g<3J`.-Al%VlaH0&UV%}c,q\l e3}Z+Q*fr C㖆O~:Ze0jh?ؽyC,|(dD: HU=d}x'D=Hbx}1CUCoʑp5#›F}h-NrdDk_(:/,$F%iex@0;{(9;ˎ܏̈́7G7$Ո+*yVgU"[1s.%jgГ}i ~vD1>lݼvoiL^B#!B1)A T 9{/=8MN5 1qgGc.BMf# 5)\̡ȉH*I>q$4AK ?4J$ILoZ<'ғRT/b\-Ӗȳ5}ňJ~ :BG9*w+0MFB%I4J&c<`/ۀVٴ<ݳ1p?ݑԥ>"3պn;ݥ 0 ',ٺ{?oOW-**lp| tݦEW leMuDO\8SČwڐk21|֨(GG%eE|1@ \vsij{ETG勔Xc3x>Bү\t ò}EXҮnEpM(=+Rۅb/Â/8*MJО!qƈt{j@RC8Fʾyq\:EUb#^ 8M܁9߷b:F߰3`׏0j6g.[uz>mfl3!<*7 DUѣM8*_ƭþ;a4 b* ^ߗ)*䟜z] 9MڎX_8K57T0^I]ipO*j𽭿GKǿJ=ƿ~u.flJ܊ty'<׉(*L g^lqͶWPPh1/UG[l/V!:kg'5+Y@s1Qb%)w>eW?ͺ"Wz]<=shb3Y&=P.OY\KIm?*Z!ZOB%oc~+8@~k^[:M:6?;y"c <]av; ,_ R_(w,VS{qp$@yo֥KHGCc83NU5b.- i5޳*]_4a*?SJ%pcpDui W] tʹ$m[ ;M9!n~MHu5Dk.QI䟫dk_ޤ~Bͳ6#߶Ц1*TGRZ\SAv"M/Yd?Z]DvF#=Si x '(y `jQ;..1a$]J6~+[W"LyָF))xӋGqަ nPd5"N3"h%Ͻcܝ־?dЁ/Uu/Mc&;U=I_.Ie榩iikz l&#o_3` /^#li^=$-_ Q Huyԕf i3;u'~l]Pg:-#Q};3)'yyzI=kdHC>ɡO˲e>i~7G{~U;?'v/A}yo QEmCoZ[X3`m<}qDJR$-/sq.˻ oGe(ZK3Kb`L"`Nx%g;)Jiuy0cPs6&@CZj,}IoBqbB@3WnXZ9]0XKX0?%v 4\M!D7WGeӈTjmR%;}RDY'I.'& Pǁ(>(92d-S\fʎ5ZfxԮUF!fj745 'D֎Q{W'Ʃnz"DWCjT W)\sfb h`d=^<hM:vb?e78 (R4*V|͹Mʙ)X$-#G)ArUQSɋz,0'2`޸,ɋ^6$BS+}~-0D~ƻ o~AVDr&ѻ`RE~/cGT.;BF`~/yLA Z^9VJ'1a4gЊ@c14&>*d8 e+?v 7HlEħil׉ /&k k5:Mq[ܳO3pg_$)%\VuX U?Xe,H:+>ePVIΜvQ(O΄|+Ŝݞ-C2VH\nYDimΐp?/Ta0rͳSP"mYTҺn>$[]0cuwHM;Bɬr]$}KH VD01lc9j(}\ Ý5\;؝]2÷+^vfٍD|!"#Ad/ 0'?5[|ZF\o5zdAL1L3JKnQ8 y۫q&3wA ǸqS6aB=dU%΄ :łuo^VQ,( =w8rʣk#6';.dP @M__gyK-}}bg ,kc }*([TfW`T kyFZ8t5wt@FKT=3vkZñxlQb] /:H;P\S;OS)qODU/e cS?ǧ%1:xa5dpBK_{pG|n&ÙTZn+GGI_.бȬKYVV,~`."NFi }*$U( SY8oPu~tE(!(5[auQ{ƒ%zϤb'@^"mJ qʺQ%"=ZZYmV򮜅Ǜ0*RVYy9IVh1 3Q*Hdc$ 'l X q08zIJEH* &+ýL.$W}}`)ae8BhčݧnSh2_H d$^_g%̉ClldiU $(]ظf6% !j_t?pT{RǀFP=s$NhAI/"O\MʲW-B_yoʒ1u[O'j| 乬O}yo0iO1R y(.I/ #KUU cɒ|me;xwY+8Fco~7cFcG=+=iLk'Qf, \u"d_[[,Rt¸=Q|KFZB="gw 9)6QL16;fiƈW } 9"ڼw4/{R %Y+ #<`7y//`pѵ7KoRm%_}>-tgo%J^"nU^`>Zaw5X~>GFIsJ2Ċ nG[yPwnhツܻ1[OwAjwBO:L v-[j6c6.{h^\ߤ#:lX>&t˫(4Y-4u}m~q= 9+AJL~NTdݯ0QPtV/`EYm{E 'yIT359,0,÷{ߜ}0ͯwS,).IHi2 Aɘ z&PQ(Fxò|=@vi% @;N.IpNďȯ g iF/WC#Z }X*j!;L͠Ζ<#Q %&9|速zWj ;ݠ'&܌*j PgYZ2292bbefbce94e9c89fb09cfc7cee03de51d8b7b1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 b94aeae032d25118b0ccd9683f806be94d108fae 3866a2fbd43f8938b9f85e5aec1b109a11787c42