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 %TD ]/]HOL-Analysis:threads=6elapsed=321.792cpu=1661.900gc=89.888factor=5.167zXZִF! \R]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm톟drE$344d]pG % t!#&3n>]|l eb +Pl~E]g=_&JC[ظF ԴeC{r<(CR^o`eGi5Fo! t1gk* wSXL3/t/E<4pUwb6da-"q0Kj̯c@ń[;W~%jhD׍Q0WVybIuc#HSu@_ cWσifhlsXzr muQԄ#xRx.ù”.Cn{-U6"^aju(`_Sve?Zqeci9Vlqv. 'Vp/p8IH~N1 .\*g*լLתkdf[+npVe">:Xr;́E"4*u.ÕrCZ׮yPdV+tv1AYW/%`lɮJYXc\/M'wޏ[YQDbZ)4ν^@p-DY/Q%ldh%uNLe9F]j%f}`٣]?P+ 큑~w7t BMYNd΍DZ>۶v45F^Ŝ"rHOafy,75L llF{[#雱wCbCz}Х1.\XwRX+k{̺9+N"}:K$Pk e臾G!t}ϼ SarV#>)=ؑ /4^4y#)8[{ɪjt쀰" ; 6%7 BʰRXɦlzrRH(I{N3PnWۈM6ppXVAVRV?F/_̌23uBf^es+G9dʄ0Yӄ' U B酇́ V=tb9d?- üb:J8M(xaRG;>Z\ew.yoM0WkQLp[oH)}l4K܀oZX UV$SB(tq([Yz9sMٹ8WK%YI?s# |+\欘wC8FejS l!2r+Zr(Ah;e~h">ѩL 2zb:.?AcwTtttiՌ(9ex9Qi(kMa=qѿPSC<6`_+-JbQ: `8I(:2t N-2뮮cՇSq煷^jQrЀ5VUqdQ M nhhdu)uLڴtFɊ>s9 /{ODm2:BLu|~4?LhNeF0Y7 mCFT׽D wO9H$h % HOL-Analysis  /F]Bxsܟs1Q|{: tƒTRQt?tܒيjg`<owi|a G6jf9997IGWdpt"yƣaBAvaT_+`݊a/ƠBVQ=&`9d(^ 9=W3c8M,+\$Xw2ZDo[hJвIN A.46YXc  şڠ] 4&|` PnINree3/EF? {@|(]_x1A]IZ@2QdyXqSlyigY٣Tw0v}E[ӝ rSwDpr~j3b.{c;"5)By(ptr p$}7,<ɳRwõ]Z57`E)/@aFcggJq }7 ^yaKȜ}ީMDZFKnt%PqUNO tZ8#ͱ9fC ;19ktv}`a{nyr1L<\HxgjJ~ ¨_)"|w˗5R#Pޓڍ::\ 5\&ҐF.-5Λnj'޷W2mv8ZyHc>q{}jQ)ÖaJ&vڔ\O8 zʸ"z/QE}Z V˦a}xo74(鹥Q"yx.3!#2[__^G|8v';?ҳ#i͡bѐ0LCTb6AW ! ^$/ ҘC9#"G"kJ\ LQG`%-b{52q0mp>?0cua]bc3*r1iQծUS <u3b\/judR|~pUo1TtER%j"6 Ml(wb iF +T.;?9JeYvg?9ݟ%@Io#_ 4\^vf6 0oYBs4)N p4Q9ti٩f&fw,Ad)H祇[&~QNgf`RMgyAl\hT % E 9dg+/N,}N'2I|AȚ1Y1kԮ8/4BjƲX$n33ɇoǬlPL&&'2E#;p8tlt3}}+Tgmtg%TC0Р) 沆=A朤ݢquXѧdt9Fb` %"޸|6bC~I=u64\W25顧oٍ'm7/7'9y!'rtI9}{DBG%dd~)-7ĭ4".L*:I _'ȊU}bؕv{UP= ۰aEfv$2l̳h!Qm9FozUVޥN( L "M(eX7,d8aRJ:*G "_#bƸ>jkR+c:u<+=%o`]6AK+VAbuu8;>~X%aPG7Y*W moWUb9\Mp><~GO'a3՚79ȿq=Sx'[W CW8,6v&'7{D5 #'?UcbBIfʱŸi赽j ͡ѧ8alsb#s'Ѩu }Wٓ+"%LAI#y) XSQREK罞?PI<ẻ Z &g7Z_-)yLF 5+ʏcBGv2%ð(L#{,D(% -bjY2٤ڪpG-,j{ >}<[u}*" . (}ڃhϥutZp#(MO꺥Uu;Oћ>O#')s.eя %EOIm "ty EШ$VsU~/"[hv607CkAFv' QDx"?FZ{,5 Y2z F~©ElD0F!=֎,pqgB"69@ pqHܐ|ge6 `W.+Mpkdk~(%2d}u- ?dn ِ}T~TZyy'Ó@?fbt0Bkcj7CLCeͼ͵J[&7diӺsFuCm*K2ˆ "!jjwOY0Aև͓_ |Hڙ+|DZ^<7Jwg@"׌ok_ߗ,^+P LXMMa VhK;E@ھIohK̢_ #_‚LE#ÅVYfV<CEfNbkv~몉MVVφL¶'9uS<=AFD59TYQ*.J:D,Hѩ vƕ! Wf-O7Ng)ZTC{2*n-ü=YpUcDErZnt t1 Oӭ^^.FюZ*pr4\/y蒈XǾum%E xK tϳE<)Ҏ@"fn티H]\~i%q(y\8Xc-}׵ɶ?2-l<rн5ǰD ,Ⱥ{u [xu);( KA4y&'guX*ǟ(‘Ny/(F.[@XEY0VFUu9u^YDP9At(:vv} vsRVhU0#=h & /!Hнe ̡|n(px "$huV}tS"T T圇Y/deM4x@=NǞ<\E`N Qȝ8Oqp5BeIF1[VގC銔j4sɠ+]Aq#h&2:6mTxJ04n A;DJn>>|W]]lL8xyUigxJ^B_Pb##5KWkԣUˇz9b]BI el䴸hӨҬ5DFqˬc"zs10BeEE7TK:Rj'"_Vt~Ns܆w$Ph#`^ay>ҝ!ږ~)TfbmMm(f%3ۼp¶CL[&O%-AUnc=7#Huk|Ld_\y5Nɡ^goc^٭Ww tEv GdJ.tCGC6Yƶ`,*RhĆPEzJAYشZͷ?PĀsu Zvr,"aIY#y\K$FUG7$/7(L' HN cȣ vlĪޔċ$3꒭!OKسV2|OCv߽`ғ|ҁEʊW&.m\Sq+oTsHs:;֠,* Amr%7|Gh;ON ʊX% p$ =g \XqeׂGX͗X P"'}i~0 zs0K' p,_} U˪5j`|-պG!̞tul~&N(/ UCSŋJCyN( ybw*nAVwVpwaQ ظ?Oh.$ƃ:l|Io\:VX4D<8_<͟\`8uqe}%ujm`NGfO,ƆiKqk)"?ay=3V}B?/G~7`e/"Y-*z,F(<(djJ=AW~'ղrдS/A2 -.hjLyN(y#rM[&Gt:!"C֟Ib%O w}&>šS~[*2>r`+ҨPt~(g$܆%1"2bZ X{ {{0MJٿi˅z FV/RV*Jey Dž>kLiH1۟5>bg.qV`A6y%GAv &jY_} ;#RUwT%N7Ɉ8icFmߗEkNRTV`H|1EAɂXUH" `^*e"n+2HgSk931~[5XT5%;ۗ;= |Ԛ'.sҡ8;t~x 4bUeϚV¼8e]-d*xY]ᲟuiT 诐y;(}tp e $n3$ KK|z ϵúj _QA.H'1jgG-];`yw? v[On# N_I%'郶e ,nO`d^ |MhI6V렭J M4dˍrz&rϙ>0{"W„f+{jFQ b"E&?4wOXJu2Ɍw@ waHo<ߖP hFˀ 1& ՟nP6"kt%YQW|bX|Uk uC1<0ѭFL] u*ӝ^9LjP`HEϘ?,6s (@|q@f'Vύ . 5,Ѓ"wKXy!jԝo$Y`_q$MwifOfFKt`OD^>t$ta?l/v賳S /9I!*gzV.[kAYxGd: ޴Nj݁mJ˪s6FAd[VZ}=8g'E?~a|x0HuV]kwzlV}R;`L.9:QRJcCy 37x,887Y[Z\dCM Us(\#vqY=M{gZj w/uXTqмǬ%GEe4I</{@6H,FEa>48Wp5s d$FIpZ81\;59pٜdH'N~:>劣%IelmU,0FLM@t)P_> x[CJx)qbm{r|~e{e E+жԵ퉽w&>0z8~.6|(kʜBiSg`-Rn d}AGYvQ :IP41?SV~!:Z ylבUV >Ηb 3D(3aS擫DzO:6Cn0]ՌL覛[\Ez8u?\ra;Wd93h/3E smsV#6tW`Q,r%л5|}dD~ÚP^i0쬣: :^=U+nCoИvAjizn51ԥ4 ᢉDZRs7ؾT  k<1W͵)szo๐--iSoiU3Eʺw}='4Oфm#=a֋GK :iBb1lD0RP[e5i2ex=u~_ k*JFd;F IqN Bo؅x2COiR2),}h LCs`D;o]ip  iuaz1#:2,B&=@2*%U<}lX%6\|\M}lPa?cMydVJG[HR%T*:Ӄm+K`28[rJdU_7k WlD<)BnHfpݞ7-wH{ljjږ6 oj*ԾR|*е_H0#"]e]U$B9@W/6kf9C*!?/eĈ !8ULY*tXs$D0G)Ʈ;sG$9޸ D^`v1W0R~vi$ 1\zYm(<Uu\P@]BaHH=k!<,^$~a|]_mIK,DWgj̎ >B-QvlU@0n}ȵkG.#ĿV{q%ue{øy yPm#9r{g=,D7FYvX~ +v-AH W u@9&`;EcHt6K( kL^/Cjn8ċÀ7GH́#r!i{6Ac*Nm3{N};_K7K_-Es=!buG eNB Ǜ#VڋFP'(b;yF['[J!WR9kV-ҀΪs"Eew2?:z xdݧ:t"{(G/DJc;>Wkji~b_A⩸%L.a+1f1SH752UD5n`VXS2Y܂l fZѻ6gF_vc;`M^jDw` 97z?J{'r#14=U' 'pЇyEK/A3b 7F\)Csi?BDd~ݽp^]JMY1Ii<_:#EQ{xt1K ҈b[uiTrP(QJ?Ƌ'@be6};E=FF ՘APC©8Q~쑎cpS$ˆKu88EPHlv_:2E_W'm}!5aP37P[+Sx'¨sTϛB ~üu} W2'VEBJvLW&í BMF]^冏9|}!Sm ptf+noc<%5`?EgukXgKKq=D:{`\ B5gM1  yza%]nq:Ti;dQ?#B|*S[|oԭ OSY}Bd+6TU2zH=<'( 0FZ^d+^-V|\H0Ͽ2u{V/و/M#b^^}WfwU#f/T)?-t`#,*I ,RsۮTGX綋+J&'[meOdXכʇwD5n ZCehr #L6Ba.#Shࠨ\d0vu˾H6 ^lrG9\ΰL{)DЃ.b{ҫT̽!A "sp((rXOY'FvxPU\V66xm>kx~W>XvL)C=ӠOK?fƍ N 㷭)>!fr9[[L?BS$zI{.E&"$/0L&`? L+)J+&1D\B=ǨZd)d<Vecܒp2*^e9zL<%\xپB|X;S\~:0H@-Fޏq|x9& u\!?=hMWthT8}O9O;I}ao;jȧ2đ{<#R/ VK 6<bZ ;o嵄B7@ۺi6lb' #[#Cx&(OA3QPdCwB:$oN~ .mgKPLUx6#9o"rPP?G+iX*1` P[8~8|b೺߈ɮl\0۶`{7#rz,S<%3,2iԶF=)bJPWC[89mf 9sAj$Ws5q$}χ|00n&~+*XvgK0hY =0g_M>/=tR7 0DBw=.w /.l "EUXE BV'yCD40:Sҿayoi=jAlCEumMk#sI0%Y‘I_tA2?nj"jx1D lU#"uv&WJ#j: >Ɓ?5t%.h]>r3%l^ਁ:RH̷<[QB~?dep5D|2WuįQl=:]o!l̪<;$SPS1^z,7QymK&2ASo6*Z WSt^aMʤ~gTĒŴN!^k4шWu9?IU. uX:x)ʫ蓑 J8hp r;5fAN_v{o\eLӬ&"O@AgTW nJ(3 wRCmbNn0a%5е3*~\S(ԃ635G ~22 ]ˑ2 ۞k?T".ݬC]v,H-q 8M^ BՕ:_:` 2I1_*EꔁϯLx%7krj$$k"*|xx5 uY$q]4^et&Ύ޳T]irҁԋ 48?4o]9;E D^c,P#A*\H9㱝jf EV}sh]lsw{J!@]=7nNwS$1,HQbҪO \k7Y|([ Ikڐᰴ{%9_Ͱ@\[ޢ;ݱ^WoB1S7+TbҺu1Ⲯ5)樬}0$X,ݟn$nMoxeB`6N'LA&!Ʀ %J1O8y01a}>Td :1_/|"w¡ [/D>!#M*-Lk\_ j2Pa c4Zb;ޱm}ODkP0>p4T4w(h< /5vI҄Y҃ juTmkGZO. t6Vs<ؼ I %ISz&qd8̠s yZGu N-m zʤSs\iv9[uOwShƒ5vrLV #Y9Īsr}7b2)wܞ _/v<?= (yx?ƛ`t|ܡ$FʓS3C:'-ӡVN3X^qQ8Dv%j&Lɰ-1AMjU!IweUIZϰ[Hفm&R،mg;sao{OE-g-G=8(>%`Tv@@BKp8NΟZmQO}._$њ;≺ΐq!踋]ﵶ٣ԥk~}1lAu-vլu禖? '_z {kQd҅ yf!5ɲ3=MN++˵ #ÈT[UK{3N9Q>[P3т %]Խl +v-Y>421w*FD5IoOppzH&L)rWCIY8JƠ}ӝ&L>iyV;MU?a[b, M_'PZpN?UR-tT,8x{;$6T$)% u!%&tDq般۰Rʮ.߳]aѣ>YQ#<n$ɨ&XBcڅhUSak8MOJ0d0RS?X Xj]\0_]⒖(qM)?n }*ާo8s{tBgnoʋXг$70#y䔂YC'iS&7^>gM|e{3eoQۺhTQ#er f,Tj;~l̸#֑>W-v,m*g)n~5Fm߯BاHW}lmHGlֳ5Taq}g50VB`>):lŸ 3 X=ew<*Zql Iq _Ş "Hg'3 ȻAW0p&Şhol._(&&JKq.}--ոNi=")Z{ݮgYZ7zXZִF! (]ŗXiɟ1˦r!cHkMeBd4>-BS"⟒OkhխsŌϫ-uŌ;W8ɺJH=M7|m9g3nm _̡ :0gjovĥc&65u$l2✑ SQF軰i#|3_ĥnk-;ۺAl yX1~De7P3-/k퇎p~xLP F4 B\~fHݶbj90 M'Lȟϰxۀiw__-I)4m!}JL:+[#Dnqgcp0WuPn sWP3')_i~ȡqRR7e:^rʸ}/R7ުd 1!f"d% Y K14A'_pTEPYR$ yުZ%4<"?Ɖm>a)ҷ c+yvpGFRJIu|0̘'m b7UO")\M-~_){M-龧bJiP00‡HKСa@ ?DCu0)woF3un0,B!_֣UÐc,"{; aɬ8(K+'0d8Ka`XHh| ,|ZAᾃZkN_ΐ;&qifwV~fBN5%K =pI~D:B'zTZb'A"ڞɍ` \LcndN L-K# ;3us38XD7u^fWs|L? -zgAqHm*^ EKc/^?\v/MĜѩS5%G N8`^涂1eOI#ed4- #fZApaQ:sj߸i|ţ8>x!Nѵr|c{~uw>}DhЂL˟{ $^ Ud$ L/(Ӑ"6+P8[KZ]<׻cw=k.[7‚l Q#BR¯1$wxEn/E @n !1)OF(9ѽPbZ<8>M9 ARKDoCzΞ!/zp{Mva!I@(eg ?oni 2%A0Kͫ Bppbg 3!)F1 Cqm}obrEa=a}QZkɴZ/^,/F2Z^:zEI[b䵁G̩b[·}?9ݛM:ݣE)`\3K4|a^r^6d9A[%sjw9M ]jNPN)$^[Hჲa{BĝZHeTm_qJn4'1Ns5#NO15c:h?ǰaF^z325@ݰc'Շ_eWb0oYjDduħoL|LgiRsuJ B >q&T[JU<%"1cqhys}V gM^SCƇUk-=L&9oYXO$+ֆs\şci};x,Ҝ+.Tg@cJdٍZXy)ou$t%eW1L)j".9Ml!*K:cwg3*PL7}YA [ZhMd 6~PkϏf(AM-4phsu}E讯6(tSzSwK+"3zݥ$$mPBvHa?&!Z2LgZamXG(EeF`  T9kYl\Zm}5V Mu:\s^3enz<9\?H =IK<ЀZ!|?m/lRcv.~%lB9~kL&߆ 2uŘu&)wwY@JbM>HI mHt:lT U;:hFQ);"?%crߌJ Ɔ]+t8&)XԉLx^"4HD"*-[Ll2Ma ^_D0$ġ6S'I2UAf0dipۣMbfw*4#aC;N(FbsHǡ{q/k_;A RN(V6ճj$tѠ jJPҏ F2YXSAوN=ԚA׬H3qJ]K܃86PeX55Vj L J; p4$tWWeyyhErgtto,-juXPRFՄr$&ebvow?V0l\ _GSSDbz7[xgSɁv`yRx/\ 6& *"#qcxc[bʧFtß=xݤD  Pe N]G-<Ь',4. a&:0x,̄섣QhNƱAb;S=socDỶ1S位{b&R9n=rXy@l]R&G색%SK2'snFHrǕ7yZ(4]S]yYVQqeo =%1ܡFͶ$a]-Y[T Wr~SΡCF䀲~5@Nr3@$E$Rާ_H2)V,SwlLo+KM-@LyQڊx9%S(UMLJ1 @ ZЖѶ _#m~.E)~z3r>ѐq6&SPNƩE?u'׼LiTLl4 wͷ\ɮy 6u 5(qXx6"{ 0+ԧUC= +`a0g 0\z_eT\{7 p%2 D<$kaZ" ^) txi4OOTn~[.^SRiwXt;%RpJS< ऊ"gCG: yqvƊ(UG| PV^q0E{vƣk <68 \OӲXg$m q/},L3qm}y jEB97@ڷ,$aQ_ ?) 2;@(ZrB_MhW5̗W l\-.XT*T~c'T.VlQ3h8`Cu`r`QG\FmRG"Tҟ‹a3pm͍/ֹ #kAF53<lH@2{U~rfQAM3 ikbMLҟh2= IJKĿ]y!F&F =. TTgb0e~&Qn{ݹi@R7mdLpm1'2 r|F /xs<]/L% I!j*}^4ys1*H'M>D)c\/@j;P;Əm9q#BO* e뫩#=oүKCc4tN)*IzWMUn)%Mtrޥ!P]f"?ڰ J~L1+ rY 5sg`s bZѱ/귍fıMp++:XK8cimJpBmˇnEm|Z}xUL )4\m2rfDNMs\&Qp&,9ƀe˗tϨ`CGv.{o˴I'cɬ>d<=ژ0]憽F!ȠɽPzF2A8?-@t Lƕ*CcgY1;zK/i% Pg1KgJ?$-FE旖g6D6I,e< |"2w\fotPqЙwuifyihI!}H_RviʛD $G fL`lKb,vudp0zTp6|'Cgrz? QG8)X^!L Ek̨M=ST2 TdT|-jGC (nhn6NL`۵].$A0\{p>C"Zȣz~zYH#֬pP "݄Y|<dм8x+%VU>%zWy_wcXi8Jק8,]akLdhP,AR910;񪸎Ԉh9<[jTHK{"S XZvK P;^C#zc?w)]]P/Xn2߈\V+ MꆠVGXS L1um%bIUXb:ѯv >;Y[LZnqK㝤%R&3(#(tҔ[UF06gF7XnO0+(Ԝ |o|uFyUIs>lQx;qȵsdhJAٚΨ8%e$հ&Vfyt NN2ȜL{Ek\#)wy`Lkό1foxjDW6AoOB h*b*gTzT ͢}bȂUaT?y'jKPo?7+6eJl;jƌndlBo69 ȿdGp4[54'<Mz ;wyJjA GļeXN 7* gx=n劆ptZ"NKڠ6 EtfDuxG%ui͔zbjd|u0#k`JYoO6sd_B<4Qΐ4Q8% :=a8Kr9hA3`tNToțB 3w f惦͞h3(l(9 S;DEcޢc]`S\ Ģ"2lYʜu7&L ñ"yDޔF~ŕVW ޼O݆Z8RP蹊A.| q}V}iO a; NE [}yY[#oʞY7SaeVȽ[M_.y];CXR%g6ej?kn>"SX'spӄ%,H&B'ݠm@741 KeGEE eaf/4>/@SP=AfKT uT9 {1mhJ@QRh~Ue==3k2T ]DE`T~\;)mQ:Д̊ UYrgpt2V: X^hV 3b&2>OhJGE`:utΘFQ[S: g/uu8Jhqr# 3$(7E{!E"Ι%Dm p'`%7ld]3?_ S+d\IyjĒIZ_p9T_١S7سW A( |;C,o NT( kCMLh#xVXNu˷?O(1N Kt|F{h}3*/sv'(@ !vc5ν:A$t[s\JExU)*41^X JꢐXh)V"JM go|,9˾[x~@9CO4h@ZZ R4G%Mc\#"֨h簟6qGl qb9Ѯ?3}#~82VE+}$.OfJ%*s q_sMx)xz]S}1~%h%DdYucvһ&b:G^J6}5RYKdl!3zÏO$i<pΪɨަցWw^]Wg = 0wg#z5D+Un0),'6Qa*mBxcLB~e8ka_DZ^}$cyζdy/fc+$gտ('kcV iBaH,"r'rW-ey` @WaPs=~c2mG ݟ2V3Ѝ/eT0p2(*Hu Ե-i0#/jj]B8 hC ʾGt 14E}?qqL "xnܵkn(r: ͌/Ą?~:4}/Rg6MoVh>%@<"vYsPl3wq Fʍjn{be5@\tg5Mό"91jĕq$ c!c̍l `z ŜlQ\T*Q#$X=wfSXq(}j"#C9%ޢG!h`ކ"ᕩL"xhhir0Jo@0D*^VcsK59Fw"l<>D?_Lqw$3dy=^jRH${by[0ERjfLQ_3X#G\NGv‚[ԩa>Ӑ;0=`Xt +EÍq:M>Kh+ 2:[ n12fBuF^fC}I#vbkrci/95v=݈%^X“}N;v*(DZd1b uRy) *L\AP1.]"ѨgH(@"SC((fhK`Ŕ,br4ɴ~ !ʴg{jYnRބLT|oYmsE.rp@&`O]d4yn7?MXjDCx X$\7ls}@bSBh}r(~7yyӶe4Q9[Q ;MQ&1GS5ucX}Sh,򌒑ACGce9<3ik}"Tӎ~ȱ|<躒~ DDNqP 0zW~ ¯{:V$.Y wit#ht~mtݧEuol|yѩx:~ nSdUGөEle, uS#LA`{hĉGLaH k3 ,3}R:Z6~ou<|Q%n+sr*7q BïEc6~N8?Oo=A}<,)7Щ2?If[y!nmjUįQ,";˪DucF ![x|3LSU͹w XԼjZ`hv@Wbrxd2L=S߸XwȨD?mk L g+w.8E֢ $Gay4e%~p~/8%>M1l+N0tM.`U+KˤGZl3MրdБ(R鑰Zb=M>1cj+PУ#0M|55"赴Pzx6TCQR~ bx'{k肮% {`\ge -|fG^ p<2 lt'޶^uJ0\B';340V (coR@_Ԛ4n-KA=8O>r P+>U$ \]5OZ?`sOԲ8iP˃rSԂNev1\'r-TCNˣ%6bzVбUۮ#Hc)__j'Bf)WG8Jzc!u7]lPԩEƎQ۝E\0Vp,w阁 QM䇓JȘwi1n'6~IA*!h6ѠV 3g'/#`8!MrJzu"x:&:)XsY[=H,P&[|/Al}y@_!ظXGcd/ԵKK;US܇uAڪר,aܺ?4t#߲0SHJYLx״>rWi'lq06o|Ȋ$q`oM=b,Up^ H`ݦ%҃< 1@haD4՜x S,ԕq`ߊ$W,1meRY?d yJD}j wH.=*zS { gbwy ;+Ҏo^Z\ ӋIc?}mmsW0cbkk;d~`<5 Σ"_ Js"/819 |_9ץY:F5\rZ| [)OMWTR!'^qJ;뻪7F~ʌr `ΰruv˝49tǏh\4_#x2/3wIBCB]xղcWԪ'JWhQYfվomR4$3bRBuYKf/̪޷P0z-7ȡ.Eÿ|1z.&J2im?ZцUH2|d~##HW=n?%Wm*$WѧJ┍ˑ1!]*x';8I,n7x/ k 6* @KmZ'=`.nhGQ(v8OZ8<Ԧ Jr#%L$LoQiϧ㳁>"jf;i~vU~a,Q>cX w26ܰ$sB/PsĂ)+r8ѴC9Ťף12, A&;%BPk[W}p VGvSM[bp5+ys  N?^߄=%[>1)Vhz)xlzS?,%:S PVN":& -&G릋ux[{xw}g2+p_ Y[qYW|iajB|4leFr!-n} ,?YWY5> >XCBhDtm1$hT,]p>D.4$ .D>3< oI0גǪ ~@DP qjY;p+Q-F(yOsg%`%0GOqۦ֕e6ͤ8#;.ҪIa)֜ޝ \ڥuͽw_f8r#G[Hzi4Y__3@D4<43hm䊒ˊވSW'qЀ4xmb;5ƙ1SH)>ܿN\ ͵Eo"^O90b$)*enlߡ^3][p`srsݎk,%:8Q"{C-ᙑ64yWgʔ9GKs*4]89Ў{'K‘X$v0_R1?,ئbbez4IP9:hpw 00b!}ݽ40o:/!݀KPK{n/e>FӡQq7K=:̔" ^2c"3ӞVڳt"3rG5p(Ǹb%pJ{M{91;F@$3!ш#sG7qOViO:+*gۃ*E[D h)}kחD|%CFJ&KN4! |=}!,9ѥ1{&8S~mPXI8G+6#]#/Q2#E2cPjm?aѭDs(ǻ"as刨f#M< yV{(ܻ8[;po|^Sހ/#My٫|$S *i>=1RV2Q4. ;otS5\=t2TiWڒʝjjˢ( bN^>%&]# Krvͺ;Aͤ*lyܡg+d.Bet癛XWݹ,KT4-NV~?/X̎8ϧI.~$Dbu 3R|\O$坈FC- Ětb%5a&: 9U Q%CAQP*al:jd>20Yy2K Y[C!hTY‹\qWjנap9V'VVW98~r-%u::m8 b7ny 6Ņ[K\1c\WFg2TbOK:r2ntNΞL}E6~=S<&dHLSgP ȢV㮀I~ 0@ePF }~YoEH#-?ItV ҿxid4ǎ&yɞI#Js>@36T_n;VSjn&Q_Ӄcf +pe{Z32xu+Utcyx:^L:Zk׬m8%S~ ~^7aeZ/.vӔϲXts5խI4Ż>ڽK>6u W}ѻ)!Jc|W`: دN ٯ1^MeGOlr&)Ԭ=R>F6*)Ê*=ט\(:R^U5O?p9k~;jC*ر?/jvߗ-g=[w5VbجIarIF rFC&,ОqzR}V(B"na:x:PbA:߱(ȔsjC)jqkU uݰP(ǚYk@&Ƅ>ْ,hHJڧ6O;"t Wq-d6ll 2Um͖nSvaU3aWH6~։ԙ )Qy s['.~"'TbLnpŪU#:o04r%ځt #4{Vjݠ=2NTR)2߇\CS&Os"$;|;kn,9U#hx R6Ɂ4="!zRaeEO/G9bTT#^>qt/2C.&O(PiƅӺCAҞvwB_'+))qႢ7mT#ڻW5b\?E<x{W0̻ /ƪ%==JΆP65&B.O_8.l_xcH\d@BpC {2mo^P_tI8_)6I[6yuMB D1VE{>a,@ T۳^v@QxBW4Wi.f?&<@^(cmIB+CvPwNaߣgAqՑS;uNdToleUېzl3a0ǫu=}xsan5jKɻr j咆6hJW9)N&z]Ę}՚{CDN{wx ulЃ.[d8]6s&Vb]FX$KS/o_&V"jBJ$ᩌ aW@wD9`eGe2sCie]3za uc/!hA%v#/bPo> 户٩zXbR_3J%,pH{17vE~ gd6ÞfPR% 0Աߏbm} 8c,#?F5$+d*O? η`NS I)<%zuřh/g:,_F«ݱ\.=ԙB`9ҖJ1hT`E !sJnf〝O +sYy#系}P: um-quPw *P|Jmg-GKyo3Ȩmr;='FdCOp/%IvAt4CVBIК=:2 xCMȺ8&(6"k5Y@ϋk:7F-e)ݞOzTYf@?wrQ Қ9#4~m\b᧳@@s4ѫYQB'K_YwڻZ3G!69BFk$v? TsmGJ+;9RFyR{~|17VO:/JlޚqG+Z]CCI>UwʭGSpbU!fйDtR&f2k#7eȮe׏IBGR1$vg+шe~c#rl-љN31rkGݯRQ }|ZK.ZXsur>WyJ2qK8H 9;\qŧע6bU4^{;?(Oit}B[[ ]hUrN}Ί>PZf鹷Kã\6uzC+w GSLla: rPY֭ @ BKǚ@˲3 1BfsqF-\M|#l绩64+ з/ 1];,qVuPzֈ=φl%A[ZF=O#"{U#nv19EslߎegY=($κ5l3gh ?mzksGf&fG#mpnҶ)O^ Ԭ켯u1 w1?3P7rLwyOYN%--T9k8^&0iy&- &-/yd`\Ϋl7IX"rlxB>JZ`Kx zbNUTBB:rݤ3gW cUPXc-βNx:3{^W 8.liا!/Ld;& R`<Ө)LF}YTP(KAyJ|brt`2ᖭT ~履IJ6]9cbZW1U('"\j:YN%aQՙU,_:-v\|Y"m] 0()]=#z铳\MMV\%W.(NKNM1*1ěWtG_5@9J)R=̰-]W\oW!JF{u:= LC~?ympAc=\n;9VT#_z4ʒa)G:<ʃ{TVč^s>2ff,C+CbZ6hQ焺 S3m)X@S#iA >Pd Yvy*^̀i,5x ;̃ڞb>v!p|tj6Qt\`N Xg*{iyĒu&jMΟ$\eVIӦDyƳI w\Q'Kp=*9˭݃M'oDḠՑxϰfd1H~%B߀lG}mgYGgT( %W~З7 s\ŦYGӖڑ`cjM&3?EP4 :8sfĂskK%^N5\uƚǚW==@x/K;clp[rWד.9R ZǤ уwvyvA4_{8&Rb|kg">LP5PyNO_ PO1fl*+#c?o59C(R7f \&HyH)})RD°EprJ19=됂/ q@ "KrkAg8IËbwٽ>|+5 %+ F*XS,ˇ [ Tj6>%nD&a^2q;km\8Qc6MD` *M KCL>6P!!SN j\C.!ۇO7)thG} ѱwD%g&߹%" D'H!0^3 5ir!]Ut]ߕ󺋰fPqF gZ\jPM!zmYFثy'n$EmA:1}wW@N99"bcUI }[x+Xzvk-a(Ԭ+JWU2ΟM*YUli -"^4n:1h*jQA-^_.kZPK2lp) KؿIy$}8{Ghv V0uOj!$d%JiL Z6rZDGKAgb(uŰ5ð([n RfKCtqD#|hJ1u%֚J4%b[M)jSMiQ =bc0ԫ8ͻBR#v9Q`%fmp |@|Ғ Ȋܲފ\ώa;9s9i^cy ;Ag+S+&xk܊A,b^z[WWKĤ}X{J4Xŕ_k *.aKQL#YTKꭦҺT"X4u:_%UcКDXܜk'rhsDajԴ#RmiwIvy~54S\F*tFlV>N̿tT,_P!rNҥVEf/ۂM۰NHHB7+/s*00O䊝#GIb JDWTm݃Fhto* :jp 1 >hhM%m(4ta"_/Y%nD/.&gfD;r玳q;#b1}fk)dr$Aie)[]YIdQLwv0%g<7LA/EJK*#p6­[>|g:䫰ǿ8x>KYe3}B3  ߆7R= ah#Ɨ(]Dj&` QY ~㪨M|U1%FlAZۈ)N﫤oUCH(c͏gpfS>wΜF*lH2r"u^yZ4*#՜AGo$Ϛ +ٖY3 XyF8h KLRa32w#W`jf { 塩6 9^;_`OǣLlčL5C3^ZZ;lN}F쯮Rzc>Bգ&{od{)ݴNUyl *&- 5MVDό?{MDgqURM~JYl26Ub+m2lyDiW_EXC>&&]F'ԕko #t Ӂ,X_,J?ϢҞ)sC[-hL.{BR&H(GvYY3Vt1!G˒p{x yF 岈LLONm`VتM;n7hfǯ=jDy!O0cbذ͏{1}!*6Z/_YE@SW֩ ?1OkK{A3gWsD~* RcY0)^EGܢOd_@:e;X~Vhqa(!+niu` Ũ6e7Mʿ0c4y:s%مa`sl7%(# 0Yj(DYB2re; f;UtY*[fh 0?WIv㒻QN~3T/̧5S}raqvי2 8~/Z9iԑ` OmCY*&^ <bb`HLlx n?L˾jf#>[Go` )Δs?kW玗׮9^rOo.{DZ>=>Ƶ֣20f&uȷA-{;V !Xh%ظa 'Jbm^I#Fw([&{t+a by-PH4JWQ.jyPw,‘z>+ Bݑ6o|fO}쪡z𫵷+NNESvk8nF";MyR R+i9NM'&,b <3|8)|Oi}X=ji"2/}d{jDCOR!)B ES; vpbå* gψ'^9>*,i^Ձe ZM\sLDg( ߀h #ht+uAVfޠwP礕Y=&;|7~;1K`T'G2esaeƋ[ejHT1Ep~裦I"F.d ̛l^:'%12pU.e_$ :#yI}׾zljTl= L ;&SS!vfmL{ @1qܸmI>ݫuj9)-y]~*ǪB_]._ߟYΧ\.@]=)AzDƔL_"cYћP3r'^?Y47Vۙ!@B-a %sj.'XVHp'-1lvW£= 0vFÑ"231&Wwc٥з/6Ú,zIضiI"çW(nmot;o_p^ux=0,7U&m[~h~3wx]']'4 A4*JnDo➾ QIoKŒ[*}sb U{6 JVltichI0ULQ 6?A;b,KU6M1"PI~Le F J~1[O:kIPߡ#Iq@vHsHy%Q #oA$Є>GDqEQO=7sJqY/B暠T\=7,&`lq1RJ~#"mNrԬOp?:)ϔY1g6,X6=4`b'8ͤM/WSY49I +Nj+PL5@4gh d}pn1DOCODnaD/3Njc ],:եܷLU4,ák.(+UVla?N dŎQ k&FۭE lWiGjfO~A|xbO'Q/$)=2WkC6}qŒ%BˏC6^MP+k{gP)4fm4ՁNNΞT>ߧ^#ź,N+uxמQC\AFyGDɞ:w:\x$a<΅24!Yx[r-I : cCS@HWS!9byO잌QVe[%lnaA:'y:G(3.N(%#5B`*eq>|dӺu?gqdv⚪F?l~ 'UJrH"Fp1H,xHPDܲsIX.V|?Bu@?vPʮ'^lڼ9(_oHk!ʪ9Hs127 iRlDkzMF=S?mH p=YX8CNF.w&QU% '"Wa_>I^>MX P)x? FI]zc-ޏw}_(L./} dS03Ch~*r NrH-mQ0F5">˱KZ~CV9`ɰv dZzՌ,N$7FqdIyfq~NC 6H+BM ,3PL{X넎kv9gԃ|P$ʨ^U(_˧"+D?Q+G aC"KdktfxCMݶNBmsJM>Ɛg8&)|Bީm[cF^>Jڵ|P(Kvܻz 1@) _/O8Ob ZUmS'M_Rq}{b@r 7VAnz2UM(\} ZLT٣,n\|'1}p{٤=⮏0h}<<:JagWԍH!Vo5Xb>:/N\kzrW밁gfos%oYtx('(=H}:l j@\bEAj)NUzMe3,%mSF&ge3fAIJ1sTn)qY=_oHkc y/e,' d51X]6Z`Xndtwa"@fF%(Q0Tio/2C\bgd+wJL($r0mA?~?U͚GG]^Z9}վ T5erWh}T&SHw;nN(N&"YkHM"QB|p$<7Xhќ ɿm% j5^/M+z}:p~~H3oC!Nx|ElL$,x~]3pGEܷ~ !gmO@JYݤȡkc}鮜z^IcVGTu=.lC6!={x7N2P;pym&Ք'Z['%wś9i="2$..WD*=G6c|Hh =΢@_Kw^mH5/;kkxMAu QS$"!a 3n~Ͻbt/vWEp\e++ bRlݔѢW kŠ5c&4@uprQAc*ɿWHh<f8m)Ƃ8aDf=ĉ4sAP+s3+r"4)QM$xWpG{1|Jv3xǧ(S WږKl1=*z 84ݮŬEio VJ5; 0D9o1y9sTulq Z:X}ef'ĭZW?)aG[\=r?ݞ9S*8Rn +@KFPX\0H-d] l[ \#kfz0WQxѿ}UlRFṃb9a!}D=Uy%O(YL|M?[bvaQ8|h;03I4Az Q̻X ` "su` 0O/Jܵ&л"^ -wБ]M&~ҳgt[QEYO~'SbыI,HaX(~ ӯje#u U(+&Q)̻T4/ rN%sgqHJ۳1C0Q[p/Gp+AKB RLV}ge|@1+"ćLYjYE_sQq3D5'Ǩ~-fk{<5C4JpS5"+SU1.ifN0U `xmhy9~P*޺u%|*rHg/ ;,Ts *O,+vkRSx}5!./_BͥD񡸩]_$6ީex[ڿWl`66T82P3L)T(4łrdǞVP tCZ#Os |=mԝUO*`q&iL)=F$Zŷ{ *|+2*y:;,ɑXۀL/&)`-Pf4Q!|݊҉Kˑ?+?ک83ҠXSωCُ_-EzvUdaH|.^e2)2ti[Uȣ[O ҆Z ͡QcR!v."?êb bŦN;Kɝy :'5FgOϲ9c ?b{ L%6Caj8&FtJ~K`M k vjfgL\dM}Si:|^{g+^*`.ـ|7/:9bZZ >_y" ˞NYZ ,Djl~o01v9* 9yfSp*_hj7pg7K|Z4wgYZ87114152048ed143f0aba240660abce0407315ca25ff2f0a6ec6649112bb7ba87e4694f74d8fcfd8 4b1bcd999efac6b00836aa12847098a98441fc74a5713b10ca8370484e7eba790e075d6dc7869eec