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 (!D,T ]]]HOL-Proofs:threads=6elapsed=551.138cpu=1324.556gc=127.248factor=2.407zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǡ06/LeNqH)<q<Ժ' X=rwύ(_9R 1ڌ4(I+9n *5{ mV}9B# D) a`w#;鿜l -+V!7rri2(!5?N!~_dTTد ,$4$2uFǼ .Nϝ8T,f]z¾IYcnܲᛇ7&8Vjuv; QMagE  ! HOL-Proofs  V?C~C9%y9?u &V+j vx5aӔ~*.tPVaQ'I烼`rHBqiKIV#s] Cs&@?]Us_Gs,-yћ,8C]`%Inf^NYŀPd> whcZ3Ҹ^Z` Uva}XluT+)iQʷ^~}t]dN(PZ-;Gc7'Sx>*p[sP@tc a0JّV:X cSf(BF!_J Қ*30 |Q!XĬK+`|V.0| L1嶒Af?媰_9}&88ƙdj~j)Hr]eD4z޽:7ځ&|FWr2FfӘfH2z+e4d%J׊f~H p #}Zc86,#04H/+AJEq0LbF$>PuWfolmc=2(Fs&ãqN7]eϙcft@'0[VF2RU2`Z8@?Q.8?.j ђre/ 808Bm:k|˞o7;%҂ з ]P$D@te0Ȝ_sT~kD򈭾-~cѻqkq`v^;%~9 ڃ6q*Lg%$N#q ݨKk2i16b88hYZ:g&Z4m:nB͗ܪ| euDpMqsX!ПBW>?IbU)Wa%("E| AW:* %ⴂ3hfOЅ8qqC-^HDce; .T$ C)XWۦ}3EE΅ ;ر=XhE- æզG"ORgi*B WedEwm xpR2UM!L`g%fBE[ ܙ  ůt=y0ǧ8MS~hEIO]:rwh@ aezF Hu,`44gPha`L7ldpk.UJ)xq=w9o]괩DsB\{- GpBpv\BmsJ0^N"sLr(;[==pve%C ,:Ѣ<P.hwy[ݴ|*a#5zFx pv?_M5ENJ +;t)whς=En)"EbSqp)~|4y~8V 0'J*Dx;*(g6@k0spqZoq}DZM`|j Nx`,\3^)8O> &ZVj5&ɻmRQܦ;ܙ[8T-r DSV`y9ʋdSLj64Hef4"^Z=Q[d-PzIt/h`ꂛʴC3(5[{f2\r T:cLD'm#͒`՛OSCi .oT.3+ "JOߝ^ޞO4R&s2:f7UpljrFf`{Mw7s]9_{ǂmeu̒vRU1Y"-rwuW82{DIB"sM4 ߫DVԔHe=pPVB$z8}{u U$>_'.m%3jO4j՝*2V,4FkN23~ʾ.Әn?TCdzzVLycel"ȡ[TcE@͋rk&/R@F}T@"e ?gn2D < #8DŠkƕRoMͼ73Z#f߬g9=r{'NA87M© zR?@#ꡬ L0RZCC 9M$lTmh,ZaH6 c29Q6^P%`XcPJ&eě-߉bj X .*~,`\ǠjLh0;1kwl(|zYL/IZwÔ#N5[:IeimAiteT\qzZW}sϜDbwBP'3D#~[,)Rʠ3q!\?SX+ʞ{)eeCE(CxY6jL%zw? mTi3~Kh#r#&={slt/]M?DHc~y_ Mx\?R8:?X%r5Dһhb#G[zcutI3Ŏ"v>ѳznhEP>A-Q]ܮV9a]M`τ'OSLcF >:}] Vm0Jv##n m~|47 \ 'r2EƜTn(,A@ (Pxkt-Q2ʨ#S)u@-#=܁`>I<3?U!48ר% xE?BHnO)O`L]Pssh$2 (xgLԓr72a^N-i]Q2TCF#p=cDo\X * @kps)st z~t(hw\ɧ2u"NzQ:^.M j9XcSSJt8I"ع(/ӵL*"+ױH@U LJ[55NN,YP~onGoaG t. o$y`ȝO"ߍ"ݨhkLQ.wjXOv1_&9#2iڏ,@ǩ/bqD~?`K-u=jhG#QU!^t5ޥJeڵz˱V*O7(ko~لథ\pϰ S0"0b\3H l-yY[NoI+pA[uBSOt2m~*Xg!KMj=;Ω*S/`G_ꋴ.:ݽ,WSbeOg}__ fbP- tnpHnC)i?XFW(9`nQeѭWׇ<5<<-$s}޾L)~ݝr?*hL021[lN\NVK~2P>^PmZJ6X&{dγj\e*蝟HׂR=%NQq=(`ٟvYfoEEc%pDij[rh5?P2?r 6<ٚ^y6iN|tC}zUcOFFt,P+Ļ}c+7O RŝJaȌ# xn7Q^o.*,J H'Š}'#[[d_8M9c QӦDs 7!N`uDh]]~%7Jzڔm-:'}CM{gR6^xuEWO@p;xS{UVMt ~B|Wԩm26)ߔq8ۙHz9 @xꇟR9O[v#g)Tdf@D )Z,7Zp)~0x&D%N+ޡʄG/v'7P1Wj+ ,z࿔9_'~ ),@ Qg!Ys)'Gs-R9MxÊȥ]_*s-y}gYZ7zXZִF! ]]ŗXiɟ29aoʼz[%U>EM!!*X04SڑkJ 3%>$_;fTzxc^yk[OQ [E.P(TGp>nAa,cYΗ lH`/4X0Zd$;ah )©;(j.ڛmwB'ZݖMZS'S.ǎٵ=!U+ O|f]37)7iɘV[d&#f'TY^ ߮}2_]@c8賢<* (/J @޷?b03?FMqcKw`Gn]-tu*4;}x}2\A~%lT:ɢF$cnNeÍ ~,<\O8$K} ђ{.sw6fe3 ?z_Ky b7,HUf5ge$M.E *G8# yX ՋGKkpVks 㧇̞΢^<1٬]i4|L=^ѓ(;1Αf(&$U= 5bWYQr-xN0maxhVTժYcl! ^+-gVE_25HzWL˒o`^W<+b@4zdt"Yƥ%:{aTؑUT2ũKU[^U{oE)2yܬi9{N0H?`rӮ¼FߚjA>ȝ]Fphh5X6ƪ±8GE :6n4-T0]+-8 OւimthlrKFhEB di/00"in-6̃{,$`2oc-ez3w[r@2Q'Z)! d6o9mKU^`0B-5?Ӯ69LGOgIQVx!es@s1)b~ሢMR G/G|.Ӥ,PYiA>r%ͣJM &\3gxqn_):q0*+EgTjz8f^٥&ua>P-_DW= Y`q}xժk=NJwΈ}eRH(t;̪/䮄M3FtnR޾ ~%b.6PF KP7\p7̑+t{IQ"J*L2rW@[f/$waqRK ii3GV/oAz&os5*5/i)_иju( A=o1BjcH$AH`i3g"7r C~#Z " \QJq)JeAN?C̜~FhǓ99ͮL}+5T) PJ*4tG20_#4v׺ 7H7 jH?5fS{jUy渣#\,n$:Z8]T8$MMA `0^qnv'g뉩 aB 2~mgYZ7zXZִF! L]ŗXi%BɟeEw.)Hh/o¿P.cwMQN !uzw^ݳmQyn$8 //>ȕ{J_p;prݺY|U5b+M#31^vϮCA=P)ɷ~| n`w|Tp9!1<(sUNg_j@F#0wSgA<';l5 F.J$#KܝPC`q|pHa*l9⤉bB}}-ƒ\L$EYm]u6Kw}Z4ͫa#qGӽx+*1-Qq7fY hyyw(n5@mY> A %Qw{z#AF%?.C.=*<_!G /z9oHWf}5?Ҟ=դ6'd gW,Qtʍi\ֈ@U ]KM"˴1xTuVʐ|Kp'@XH1S,aƾ"'n[kqkY^qԉ 01KSE *{J2tz3'Jt{зNzj{j똙@%J>k*Qx]yIc]70L#̰DĂlc|` ]_þߐtv0;BN7@(GE0](* iZ=[;6*@stW,mquwCClUEYygTOAx;y s [Ca"L Nb9JdsX`O8XUC5Q2?IC֪p\$vo'%L8!bF+aZ*us*?eyI˛TlbtL&dhٮ[8Q?a|T}>d{ v9 :Xۤ%G&~5}\ pj +2Clhmf~@CCp~3hT} #w3 j $|ٌqv.0ZF(mib*XU46ȱW]"\r\eK2gnf[^[fb̜蒹LBmJxNb!t'(C i3 ;LRNJuwj1ɉ$f2cޗ0Lh,%NţzKlM5Oo+{r];X\ↅ'J%` tm?WvVpr#:M طNiRxkӘn(.g|$#?cB7N**F 5*Iwf14VdȪR}Dkq3w v6e|COweh]W0B&ϰLcܹLf0 +7.ŵEiImk c!s0F' j=!ZXG|7i±?MkCq)&ܧtꪼh}n "yثґ5Vl̜3F(b}f//Wr`&$-w >GtLA,p;-,!J, z8$a2yoWUNJbhiG|ߴ0%љaYILꃸt-뜫1:uR&,"B].6^ܱ -F!\0fz婬q|&!f?\AuY(]CQ=j<}ƮbjvwO; 1_[gJ{h>^qXIN%#\-%:G1.A_Hİ_Z+3QZвM3mX(r3W(b[8#x~_w)Ekf$%I7 `*0]4}!&Qx" qq7F.,RS0;\xi'1(DFDw9?09rCqPl7a]Fy9\6̇5#:tr~vaO\AWt}$t2/AۇoLG7w> =1iVXZ,9,*z$%RSxjAvpW+I4t~nFy P۫5zĂ4!"(2%W\7FSy 7k#ƃù8>SGp=9<|{gvH ͼ|vHuir29ҟC8؂⾪i:168l[x4ߧs)YjD(9^{޽BT;Ȳ5t7J@WRr2C`1%KfHă0(qBњZg'titgv<Tݩz[-B R[5 W8‰GwW@S ?"qL,_Z9TL/ w.ݟoc;foidyc<Q(K g:,xu UO{luo@<Z _^Iyh J/3QMtv4pftF*Q@z :4;uNhf[wˌ?BZϹ jRBupingmknj)|9I0y'J;Gd91"(ioAT| ߍQ$A~?h7>gߔ0a6j/2?DKT=Z 33q(Hf--ףuh^R&Mؗ<)8*c5;9p9,YQ'2IěRmxt"O zMH7 qT9t'hTb,XsфX@3ܨAݥ<3G&9L^?b_d_`>$y2c.xhY IĈõIG3á;+)|O4T`/*%":?3ƜE.]D QοCfkK9!Nf&`b(\(k,@d'l#X}=NƷWrOтiMٖRȥ;M6O(n§VmgぜP>(|A-'YytGa  ݡwحz@)g ^o#[2p?.[jF;ܢ5@-Ku&VJ!lIO s9Agh*LfnTaos `V踆d77FH$ΟyAmnġ െ(gg$jChomJ.<)ML˗0n ŋڟsI;-{@CSC[c)%\,F /އ=y<81X37n3h)U/ZlXv2f(1dYl#4)O~6u̝򂭵FRq˪p =42ŗ%p73pRIVWV Pr18hږSHpsi^WxX jne~d?cp'5( @kg]֐C€4`Ѣdy<+$O#da|c0ӳ_O}P*.vt wFbj Ҥ|gyDz&YH9 +z]k$\'()M nҧ6 I:p1ۧ7J$r5Oտ+ioJZRTaFmՙ{ؑ&A#Cx2v4 "ƥv§.jPCr+SȌ]fqxDUҸ߻/D%}"0P׏ xCb&`~t&5_JܤDxw/;xD^a &)P0_1I챔gaAYLF/!lDz.uDCR w-ٿiY`re-o~12j;cܠuah[eRjʶ,ھ)c Zr@Fs7.+>$vZ [L%4r6JБLzr*)aYfF;Zm:\UIMҝ+IM![/6@}\ vZcU8E J c^Q\qmgEggg#W[\7wTi#3>d(FD-rR$s $.;jreK'Ӫ@SJT+wEÕ.QH4kE'gffD9-zq5v1817~Pt;C*_ yϠ@o:x6r 9Ƨ[.Q~ە|Kvhջu~wRqpf_AzL=bK\!=\c]Tita.ڎ;OSmca&u92˥,θycqK-AVٿz1?AEyݾiUl]Xd.ҿSgM,pr_ ^P`pSV%4a~R.Ū$GYp?kTA ]>cy}(4&и~.";*rqi>u14Z KSm`;)3L SY]W2楑j GYm;w8c L)'VF9䆏:*\ʐ?ٌͯUE*}k! ls.<Ю es0sBH"x =[މ/\ʢ 1eKZUAP_@ +8.4_{8NCkLkxȰ*uf&W6O3C*)ީ;{lJb2ƲiDP\5eN'^tmtKl%ar[X]nkT$t3TXAá!܍ϯGC#8Av|7tA y2֫ol=Gsrzӱ[WeߜkBiϥ.ȿ(k+rN鞒5)+En= _#T&=DpJ=fӳҲ/ K;YǓCB1b[GʐǷc^ajLOwx;Dj@]YBkszw{SKR qg1K,r[{)bys2zܱZFj8ZQ p l>%Q.3Д5JL\N) BtJְu:|Q?bިCm1a|A2Ng05Cs.;`zO4C+c[< kMg}G7sdMa`/[ MG%M#|Rk!Fgl^Tn@ 6uA('y}0\Ɗd#gO׉^,HrgB &ԫDuR[fS +6aM`2~xP1=10)w| ')DUԟk-tR㹊٨Hm 2c4K?=--Xx' ^3Y2Y 8QŜo h EJ_7_ `˕σ.#ta %x9su c4a{ (شwhnəZwj .Bo!&x!>KH #!A-/YG|. sCE8[q}LKL\ /1I*{O\.״E[]ZjpL(0 -s~m' ¢۴;(BvP0޶ݎ08aD,B:T[rn mMǰ+^@w K;iinv~1`@ޔ&bjq5gU.>}pc2w!M5gsf!'6e RL5'T' '{O>8y.H%_Bn~(hϘ&8a6'28sf/ȶ8./h`,W#!Y mkD wצlxEۓ_ Vl;R4aْl 7_!1_{A1MwQcJоkI uw|?DʋjEW n:i϶O#pXOF=zpA5B,*bLl.DZw^ȥB419t9^AЋneE\Y`qAoS>aCArHIZJ-P}K=rfT4;W=l!6>QT\IנV6tOVJfg ~g{B'2_4tq6H[C2,Q7|I*pU-.N7Q:*vlzl #&1enm=|YczYՕRKS˛k#;Kc?,Tnew=PHuBʏ$1S;"v}2kuaPXp'a VDI27&R.X\@wkUL{Ķ!3?4VV9<49 :#gܨV5}f A z߳W?L3;Tzܻ9V{T.dYW!h<]*x* 8dk,hy)\뒤ޣ.QYl3iM\- {i) OieF 0 ]©`R`tDX | P>B2M]׈728v&WblJuzS(ʊrpxNöpK\{J 5\~$jtU%uHCs?jhPeE4ZU+!f'v㑅;G@b_}RFZ{PM]ڲ1%>O}#츥A)4&"H[cti4 Fփ+f=u,D$/(E*Ֆo {h$]9SHwEŞ{tID4s3r&Wv OCkaw z(j961њ#-ϛc(ST":ݔD,xf=Yz2a?ڋn~(d VJ P4%Hssv4pfmF=e6g@,PGnj7[F_!쭬={ΡwLޟylӿ/taLcm81Mm("C]b=ijEJևBgng+.s2 `>eZM S{3;wӽ9ܓ,'"Ov0QWCoyPC1*$qz+0ưSYPAtuP@+,*~NC zqL}T{FNoLHmUѽIA\.ç6d YC\k2ZVjV񿪔 gGJl~쎍Qg-9=炴*{04֐ȑ7X M,QERF㒦AP6굄Z`e2&OW6C;N%d;l!3 ^#z,).^Ȣ66@$5h6xDSX p9r=?9kQه_+/Å_KgO+¤X@V-wZB785ˠ'u{,PsigCλB àmߏ,Jݭu//e7cf{ ʂhI>|wHARO(50vGŔHCa[CNEdq% sb #-E3`)_SՎ {F~U. $5=*,IlOՙKKKv*9|;G)%#@Ws`X3$PJTtE G5ъCl8(/cR2y/DW f oԗN"(F=# bCzԋ(Y0/Qi ؖ+38Vu2\ٿYG{?b0aP˾ 6Zfhs=D{hd QQ -e y B{jE+ dZ-zb0/6Poxlë.޶券s#E`b= heZSm;ŏyY]w~> ht3)?ylO2$k(*g]9ЯhW`dgvVL e$^IwDO@z{ ix93!/@<AjIV52dM0$@`Vpk&ʮd[ZSZ,Ƈ~/^j}L͝8r Wngߩ=< wv(OHcZ4qZ,w[V)$?L̎e}QSCb Z;۵3bu fL=X:7 En3޳Ά]ڗbGu)3(NOOTVZKi$RtLidi%Cׯ,jsc2( F襞90o5ML=׺Oa rMS< o-^]~Zձؘ}`s{P= 95@׼npJ - `;_/T,'R~4ݞ6‘)d b.{lV7B$VCB]`{z*ߘZ-Zd󹹸G.8· Wy0ؔđr(Mhcy`oOQ}f7s,Vwikg MȞ0뵛{?qT n&⫠$+[L.'`6Ǖkt2:I\0'] Ĝn(w?(A쇥1TJvzcIqֵ"ݟnAyQɛM 8^#ƈm&쨹M4wTլfGמűClx^AץCs"B&<޷sB Z`Лi4`Egg㻹;Z#/iUB㪐OE{HµCq-Fd.OvŎdA޸6§|^=d#>c6C*t39RG8}25NYUc<\璁o0lk5@gM?G>Yeҡd. oQ$AoWZf(3Phf{̚ݴͺ v-lwpFSBɚ} N:YԊιoi>37/gl8K(1Yr48tk:"aT9MyC/M BSE㠉tآQKRQɮ>CKoz3`])I:QyqMU34NB̗F?TCS]~1M|nq %Ih|_կE3ic(& !:0Z?3z9`'2#3,E2s0`o/8.+tژ06M)&]5Ô?.+ p)$ nS݃wh|aR qީ kRhbutT~>5 ș0lBy̆Y?_@6>e mj\9T"jzf|a me#қV#mr[ޑlXµ jKFdhD7izoPzsV]׷i:OL䇫v3撖IGgVORXb,Sq|bvxB "k1%w+*v~XRn%)8|ΊRd>u9НŜ6A%D8Q#K9F* 0[/ bFLZS!S /4&CPoiȦdutr-A2B/BztRڃ <K!5ZoBiZ7?!Db2i,ڨtU!Yʫq8$Mƚa%ynX`V䇄5ַ큫wTوhW! ]98<}*2 h((p?lh+{<܏?K4%0% A-}{v11珚ocp3 ¬tBb,ZshMݷٿxK=m|?3 / rtZr=PNgb+V^_Ze5F)ĕkx6$ڋ'#kkRZ/`c7⭑uD:(_lH9-qN8/FW$SIZ[tY +jF#%tMXu0O 8S^8^ H4R)+6K(&xWj\V(q kA.;rE So`ҝ-* H:m[bҌ6@pɇզz6Mr~pLަ֫K}} kk8  KȞ,щV;eR_|{߷C#=(h۸geM0 )rՠ% %oz;s'&]#0+},#)Vf42i)4d|Ӌ}Q_ĉkq@ޘD?-1^H&)?C%h0z\K*;HZ%%]8G[*ySe'칮5^xGx@ߩ60u|RKLCj]!koӡs9փ7w&RjaPlF[moEUuDNOE_Iܬ{J0/餲ID%na^ޚҝjŭ.vO(3x,BpYA\6pM߼`?7UY) #hZ"]M#&H J WRpef}t)۔jB3Si[_-|rԾ򂜆k@]Fh :/C!틬aǷV|m7 &{@ č⾚KW\0ׂc+Y`q%^Bxʈy=ORkH%h 4E Ѡuߘ~~# a~Om[iEdC@N&+21TpDn<#.=lؚXK;YHE;e ?;/NWo$(RE l ƺ*nr>|[$۶&&Qڷ^!\KKb4鏖G;<=M[52BR.; WmBӧܶoʶ]R%4ߏjH=ѥuوDgjDՋ/ |O#ݩ`Yewjɇtfn$B=׷U3o)9ZE<QIRK.2QĹ [l>5UemP?7]#$ 䑣2fo!sÒ~a'$&IY%jTFt(8?W\sxϷ`ҥ_\ޟL(O7s]Yмz~uu PviN \c,Ej!$wN>oʥi-+= ]y(S[7>~Z\ܼRA~i4)LЄj si[@hF]Z:ѾOHVgCVO| 'D[ٙ$&dL Mjh4*XV!۫N1%8KԷ|8O9 -OtS֙^J_ˮ ♲ky!Iz>)o?fLk_lXiG-(PAFoP3t BUed"jxާ )7|YX~NR2§@ˀ9$:IЩsS *&5}9bM. vm,9J] PN%*?ѿp2 hd+ ? z|#.',3njUKBrtl\P0j$0qO:\H <䛴^Tk4(Os:7XSj\B8e 3WPY_a!;s~iM{fwIkBc{ԉ(rh,a q5($|$?2LzKְ3R2!@^mJY"jcI(Gn[=eyd(5;gCZugM>"': oKrA@Y3`URD^{_)җuT){[-Η~{_)3DfT3@Kevrz5Q/C4qoN ed8c O52clCƉNON\f  1 1ZDN~5mk!.7QnN'jr`%aXnȎH4k 7rL1\[m%"*$ȭ6i׌՛Y4 hsbVPlI~Yxr.O9u+o[+g~) 9jf/&7 9L4cdpo+b4q̬ҜOp:ĈQyk3 mW>ŐidF42nkN$- z*Bc Nx vYH6կILgv" Pl8 Hg, v })S'q=~J& )nvg yZոr\ZB_9 I~A TT1_2*P5r@B`dnr}z,"k;$hO^ca|*9oY2D!׹_ͽp4UU,eI56)ooW4OEb1%HN`y2ykE.(pH[KPP%RJʅW9˵;\D۽+9u;/u~Тpe'7h5 #=L D&׾SwѠgJ&/exø O.Mƛ|-SaQq@d$V,T]jŲWZM3w/ k醂Y1|As;A`}6 -Kg\9z{ [UQs D/|Ӱ7[s2=t=HG!tưr _˭ "02wy?LۄJQ=_͆qң\w:-S\*B*}eG0pMeKQ99+[3kLCG4^A/O(sP)zq6N[ }⬘]qyk&}1-ʛvcT3OYOg^0|ۤR"˚-%U*O-x,MzPƓU!b)ƍ1Thn.ғ.%nmp)+LJ+UIHLd$ۻ ~+k_'~EOo9{^۳)MW7b9Jvk3¹Eh +a> D q16v⫃[qP_J7TZ|Z 8~@C?~J본0 R+Uv+b*UJ¡i)UFIleQp. c%-ʙ :a[\*6sj&}r+OZ_~]}b|8y?,/Exk ΏN=w^^sуek_&s>Y^UںtZmNig 6NH[jڱ-Aam)a!iK7;oٖٹZN*m~5NXQx3a= 'xzmv{/⺭ƔK絜eb~Y>"=Go ܓo( :%b)=U]'6ndNT 7qx*&(0R5_]9'3_sX( niL:kt}`ud#dvSʘ c_F4_|ZB'y+Ϗ}~DxufVKnN~ƝNOH.n*p7D*.Q6ρ 9'yh`ΧB̖Hn@%ImscN9_Bqл#umplT%5bLg @`q-Jǘ?mɴdCq'v[H%z~%}QYPlһCҲ $ۦK/ Mg m/ZyxZ9?k#j~kj^֙u\\j\8 _f&x_ OzhZ(Ft@{RxN倬}!S X Y 5%'::X䯸"Q`ޫhP"׋+K2:t֓rz$M6w`ӇqǘTAaC{ *P_mNjoө6< ܸN-!.ɚrcG*f%qs{C/:m;:KVsBLHA?~*`m⩨8|mҗ+JD[|q9g j(^L-,L%p,>Tu.W=2n@3`w5EzzO0v?Mۭ(H>7 CEanRZQ dGj%Ѿ38kiͽms2aTb'(U Y+@3q o?znACS\y6聼z>#$y 9omM饰92kVpXݷD?4ev}'L{U٨-[-H.ZpH ҽP784VAIS<Mb#"0&if=ܖ|(sxN&[Jq+$/XU3RI3d&4`NLX1/pr_ďF-"+_& taH>d.+hGS"y>+M-į_۱u[3p3s1q>+ -Ƃ[ _POi|dz ]to#YI`-Qn\vzssb@/pyaӽ,tttWRTowh3Jw.1kwqZ~7}or]\3j-7H}цMkt~>ޜFXHC e ם 1B8ޤ8,ӌTNC =$_ 4UT cL9Tg՘1ۢPi%PonixIAo`yA cg OgGl ~薁/2 s~.EBi(|~鳞w9}gNT۳i4Nt.9 b^ؔTG#01$GӔQ\YSYhvOOsD]* ~̺Eʶ8NfPPM;?nGcMw" v`JcDwt:v8ӅͷVdm(6נT0>qWil;f O=(cu>{VI`Fpgz " hwbH!~5YB%P8a%+Fߒr;an$cݶG30[-4C2:DG{R1s)Կx6&<}꥽sqip*Q&(6̌54% IT(d3 !&N.VJ)aJMP+;?dI$ qZ ͞ȡ(S sNg *1ӥ Ђ@9m=+,EZZ=\k&,o(@f"q 4TH'MEfꦣڌ.ARΚia E,3|~}E;mI㾊,X a1mb\K'Tm2LѢ9X:: ]"-WOpM*Bʄh>gH QS, K4:Wle2s=TU}w\;iDnJـD;@Nof3);L"@@[lX F4RԳyUy sߎ{I `p6%u<U?{̤1LĮk@k+m*A낆D]Cܟ2f-}L@;<4LFObƋhV5/8s7!Vf,&LH?^Hƻϫe !`sn+͙ه9Z~i-j3T9벥tzˡ˵o:>q+ 5i"KH:3^`M $ 'jQlt6_8KY5uQ/OQ<䣇+C-4MiD?{/WJǧKJG tq5ɞKX%~e$Ϭ[SEvͺ=..ISiv >ǮXTCv4Ca%`0ar C[1ƕmFfz5EXs㌏,{zgt!̂tZDI/R);A s6QluSװ"}[A9葠:jЧ#J.v[Ė-4أ*€" 7K(2ΔX"r)1@>؞u W"Fɲ8>`̳ht T%(es:U3A+IlQ4Ahwo-WFk=1=6qZPW6x!>]@hz2nK2 ,;XB!P=nֿ]3W9dLYmn`#T*Ⱥ./tWzgis8|aI1s# X2=HgL`Z6D BkK1 k n W곰Oc+?{>{3(,/EX%*&}YX +e~1yYzY"YٷzHa#i:K ku9{3$x@:|q}"vtE֛NKJ>OT! s K,' Ѵ[8,+pRUT qۅˬYPVUcNФ(1bңAT" >{] IwM>"z @/`S&[b(4b]y |wc/l)Uʝڲv0X*.%}'ĥ Vtc}W `=//A2OV(Y~._ʱ4o6Рl27T! Spo38if㖢ꚮU/ضzS 9M?+_ .Ĵgi)^h@{kw/ZṘ5ܔ&.6vL+Wk8 Eyq{ҫ%%c^ +y^iޭG^Cm\1 ~"kj(&]=/57:0%!lQ])^ӷn4ɮX*>{EՔ3[ BxcQ.KVs;4-M­=ᎧMh;,NDpFk j$ ~cpiWUgᎥo!\6E$$oߣ\R6hn^HLo/O0n;qՑؓcWrLn޶5y'LwOқLѡ#o >i'S 6`?.c ![-Zo7xjzD=c:t؇gF5^+G#q0Qvw >|?y~P{L^X,/ %S3جaw<2yYnP}zޅOB cUs|B5saẤ)p-EKCKX{p?Xn0jXwjnVT&nQEFyZx7w{C%z{y|'KxCT:ϧvGɎ_6O&9xEtIUaZ!<brc· ^YѬ7//<6gDVz侗]؀PG"E;45ز8C|]x_rbqIW)H&ߨ ثعC2X ;'¤R#o !D(buGP ܛލ h*Fn"4GSHHaйb׎ ט tۺ;4n{R]jsɽO=&ū+3=Ֆhdym;acqf*C[%K,.?fl%>p[;߇)c$hxw/\ ̴հ?`[Ymm9K= V"ZYN>X1JI '֫P8|Q ;-,;KjsG Ģ$ݾN;ۨƹ3,ƞ jVb>w'UbD^sܗ'p_3ڝ/(/g>U- 6nM[porB6 X|=rDA>&i*|Y^r8 Uz^mdz (^Q{Xu56Q*d<Z@tw  H1Ri 8atp^eԽONn nq)$IJC;Z6>wt E~Vrǀ_= C}hgZd┫C^Pk #jaZr(ˡrͼf$_mU*4z'^i}"fmB9X`w[uTM{fLYs1\3qs(n^JBT$NpOo_j {i$B;X\ߠ?ԷkJ3hY #b=޼bYO~a8zu˙R?:(gQfXԶϧCiD'P;?s aV$\HzhZ"Hl+L&V^3`jL8u IYY׶,2@m~p c_yuxHha>=ȅ)4 K+#?fԉ rkltv `s9:QtCF#`'(1 ܗȄں{|) Aa* 54srV}_I> jT/xX!n3^QDž c&1[C(0 įϵgB7 8Bu7_NO"yw״{cY⸗E|eClCWҮ^|-X[ @q[ˏxs(W^ 6_JM* kZ<_ET?B -AЋ+163jS='8*MAzf9? }ǓՒr|]$CvYx+OT-cZl ;QɊǿfq5u$OЯ҃mZ1&~}ْ?B%Wvɍ3A\ԤYfQ&թ*3@uB%kuhT²L'~ew3*}x]nq_EYEWR\s>(f޿3Ҕ'+©{.'LA)*/߼ ]RR\]ϼ-dzDl\݃%GRw}4󶮉j qOfԸB=zW܍һ+5O:HEgӎ}Ch)3"mV7 ְt޶~9+g6њL!ǐGSFpյ,ƿ!ߝRz}OI48`r8@p2! 1aL]C& *l]UFT%W;h?W kr2ulp,]|*VKxBcl^r!%<c* N=ׁqý;]PVghZ1u4W)\tAB3ANȅաYZ{éK4B *> k mQ=-C[7sP%d2mzx|pk_k`21qh'6 BCNa৭sHpK^K~){Ec#6 ㍂eݧ8U48V7j}gIT_uABb%. |h%Qo o' w\qĬSjJ 뚃-]Uzj׾A!b]^\g6}e/yuj]79٘t^p؂)>M0擽w둚#LM!#R\ Qjfy5)RU.Se&g&&CB ߲VrlV֒z"kO1O_N)gT|,ą*B$Ck_C=r:] ccPl/uXny0X|oYt3ވ=m@cwkl$*4]x`[n2^z(oЊOo*Õ-*vzW~4ej/>ɗR Z Y𒇊youMrelcĞcRz}Z/A}fi)Johy0{Ȟ.p;<*,'u#CtI"@sٶ؋5t))!_`Hq0jOû]T weXw3,{,#V5腗n&[;LvcwyT뢴E֕1P#(zOGv; ,*1$xO<"޷%kb}{VuϨXsek!IjkBvUdO)ί>dH"WQ8@G݅G3Q'ڨ};Y|s[O<@'Rb^$C<48qΧ,L>5Qq">g\݈. ӌU@gUE|3 `d^l [$fVfk!wVw{X\'6I]b(dƼC:P4ni ĈAvF . Ҹ= Xw냧12Jnwy#A4&.Hv晍Nq3eh*4t9E0nXI傏 [w4X5zfݹefkIh9!f "* kxdP5M-B$&GCd"u >OB@ٔ2|xck\RyVY~aF6Q XKfoX k;:*>i|B+}s6SpF` ns9=qdY%Ёjng }js@m@zjpc>t~CcL;[ $/Î)ҜTeDfe.;\A} 3væy X6>+wT$ZA2ͻ #Vtf˅h'<.^/[\uR\v/(~"Xˎ*:͟׽m[(BV,Z]UBϯsmw*2#zNO-mQĞslƅ2~5rO`S:D}UʕX)Ê8$Rw4j9,K)Tzmפ)1?@1j{ՖdbtF!! /%>ďErZﰚѐUpΖf\L]@29+8׫ 9f3kkE!8:rdG} SтpH"_o@!/-[Ǭkv ) ؎SWlIst W=$3 4 pDeU8ׂg)Bx3$"ρ#!'n>H'% D[ǫ P@ŀ/z(}MsD4Vk+=HŗyHHn>V J ]ޒ3Iak^B@TjT - ܹ =V IPbsh7ϧ*:"e^6cе=\ "Z~PYt{[Az!+hF7ՌU(ﳓY';lo-O,ۜ%%$⽖ upa3feſ!:ʄ!a2 ѩ,W۾B/ 秒Ab:jGH4o  >Zx@ d^&WSf²9∾+(Mv/ufu] ](=4 ]@flt/)o1Rpx(^-9LVJ`bݣ&`?GL) 5~:RKlI /^Gu׆V ʨ:^]~lr U_YS)$[,5fT7tNpڪ|i4Ҿ9Y-GvI;cTv8ĨCك9 f5|:mwRr)Q/^ڬni;d6+QiUCs @ICIC7,׃aǸhD ݻGOyؚ;:*ƽۯhF)!LmfA G')Ax ikҟ!ukggZe>' ȿ5x} "+%* 5s %0*&1H~XiqiKî&ʭ=-O_CZT zKHK0ax%d /=qx>ub~T@,Cȝ?bK:e$ G[rl"myڵw*yVهNQ6 0U0[m ~9s L{}SiE/5 b|4сK7B>z0%beQH]b}c-ːIbҚ.m^ndjsgH:Q!)dVlՊ8W8xRxDOֻ-uF[.7c'b%Gk_^c5}6`<\{4GimG ZyG6ܭy-=xă}kQ&Dq KʀWW, 12L]rHGu^FQ-caM Xu{W&9ξ #W{i|&7VdvN1lH"]gJ@p7t0:(mR\Qetw  wE=oG5=2%+I3 2 D't&t5<מ,̓pV,n'Mq|-ѳ/VˡT[N%džRYc}p+M>E%9v$}ӯʹGf/TsnS"N0P2WQz ܣf%rC!S>Nz|̹>00kM)yåMqnt  K%o6AWbJtTf:"D2E>_znn0+p#ϩ 8&DU E; & ~<ǻyyէͿ4AY\^xwz{ hST1脡+o,a|~aKb5Jm%+Xv:'D'jW|^r K:on=9ļ15%2b(:fXP=v#`?LL0{RO;ٔ6$S kLXyEAd_\S&5r8] +x,?[pC&F9b6=\cPjF?\zi8%)E&ߤPvhkπ)\,2CzZ" 0{ Y܌S8hN؎E6a['o)xZ^{y@T4ȏ@jeK!ܢ9\iUK N`HЬl#S?G/Sعqs!T5k]80~@ӧڬI]5~cAnDkU+衳x-`TV"~qJT"j;-]F[Xkm0 *=PQ :R z׊ֈGS"+ڕGyS:^W09e&^ ux lo\P?3ck [dPREԛ`OҵIoX}} E:EܻX,dϊo0+L5Mv>ZT BP^|۶Q^/wkTړ !ca~XD(AqZW\L:DFevÞpC/ksƏ,b |; oYgŠ߭c &O> 5k?##(<"02~#һO ͶF5; cwɡ傗 )v8f] :è?0q^kR&EN^iU4TFI0X 偸 jV|덩FYs=j՜_5:]w V%UYHn|ѡkJYm@UyX[8jwi%Ķwu|y4Uߦ?Q>,XԻ-T6.JkN㰔!ݺYաlXs ݖSf߀)SFy'=UmV:} 7'k >;PǾaƤB#{F B3TGIyc/,InG_ҁG|hHڜ\0tS{5k?2C"n~R\)w4|'gFO/yuzjd8',`j_U+$Cĥ/3:hnᘽJ1൶'CV섀-P;-B3"ҒQ, P'ßDwr8WrqHqt(1jt7bՂ$|=Rcmxg]}CGS>?0)rYyB͘pBFxl( oAaοۿ&Oɮq;lZK~*kIo&n\1i)^X IlL% Ho? 8lٻʆ6 jI/or5m#̩vQe\6ݗh_وvnM)1.-85^n$rd(~պ,@&E[wR? 8ssm.Pm*$@\{Hi' Dkw4a-QI0cy"T2KPȣa@ƗoiΪER5'\iL[!fY=F 74e~i}G6@KK5 Ϩ) ]= {q6ԘfvoJ9q*N|7|$|m֙~&`;9Q% utaӛ;jѸ+:Jxn&p8' >T);2SR61+aِlۀ^^ѮDj[<:3r+p\U?Riz 90Sdpwɘ |UZZ2P؜}?BWqC#[ \,^O0S>dDQyGaե3^ zPEH˦{+ gN2 NWE࠿߉ }-j -#Qk]WQPK PT:A\~'uɌjw &<@&Rz>}j߻1UaI$Hɠ` ꩡ ج8G Jmq'Gpɋq\5)0^/ uIZp'˧t[da=Cs  py8o58h4q8w'l1FtA6Aܷ*ca]Rߔ&vDtm0|nm'B  @GuÌRm4 FLVOR7Q`(>wcƪerny`8SBKz&cն. [gYZe4cac02ba4b5a26c8ddbae97d2d89fe2c4760537a8cc758d6ab7fd0d9728cbbe893e534f8f96581651cd64b393c6da8ca818c4881b2aebb4026d2b02