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 t%t4\ ]/]HOL-Analysis:threads=6elapsed=357.309cpu=1841.584gc=83.312factor=5.157zXZִF! sW]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm秉lzt3ᜀ]Ku?[KwPR0)qGhnh{C66 [^Z*J;kFT@Њ]˱iseivlHg?濷 `>[e n1MDo= ~^Л]u|14f>8yu*Gz崊Ĵ.>\?o ne< ֺBb%&osi՞p`’^DXT6_ % HOL-Analysis  O]Jft>[Tow@(΢3 5/ էn#4UIIٓ*2w[;Mw;B x 1qiżh̬ˬ;ֲ+kT޷w[~<\F+K@*mU P7h@,lW=b>8x(ulZ~Fk>M*<:w$o),~,꛰W,ɇV ,Y&g)-,p`1K[S9&l#g3_R9h|L*j?2D|֥,s8jB"{4rz{j= }vGN% iȖ'멣҄­:uF?ُH28wq9,~d~fO6/]xø>m2ۄ^A0YNmĘUMҚ?y=c<2)Y FgbֹhՎ 20e:K 5Kyסv#6do192' A ֎]]Z%^5G1=$YoF\?׵Ύa,Mr[Īfynqf)⾑a`hnTlrͮ/s?Ñr,zPf* [-)P# ?F\UAN~4G x(DSEXZCgt+818១Q]uݰkjrB%~RtQOǷN 6j~ybt[H9> @]qOh1v<يT4/)' :UyssQS%|' 3qtPY~N 48(Fe`4| X}f ^VLQq̤n"s/B/ ](oCպl;Baf)JMe8:2RRL6Anl~IOguƦSC?N]Gy՞kk>0l7L%WhĵG C۟;HYD^vS"7>U]=(Ř< zx.6h0fl(&שC֩| l_8r-s蕦.Z~2Lr_WU2 ߨ)0D&8ZSHk4NGJv;0 2"dJJG4!Ε0ŸRkrdN@>}mfN hR::DI*¼Qr;t'0P-)laLsx o1ß,WڒqW"^l!r-6REF/ߦЌʁ@-aKU1Qcm0j]a,KQakJyejĪ!8La#zzy$sttHYy~ 57$ z`3~j(LHAX(ͷɃWM0wSy:UK!5 y_VOƨ7];|]u>@\aPw/nE~7}{(زH=*'a'OBb_k_禫8I#%[ LP7vmԑzyC*NF^<."(!, Q& #7s9 G \dMUȠu/WA4xKvh搰3+ lMXj6w'aJMB5! q}Nm { 8]CDn}⾫#X/`D쨫UZlNƺ$i]{Ӛ.rG1#50U[rn1u- 0w:+Z<[僪}j!)U E%iSjk/5ɥQ;2FַeUa[VkGW~?xfzY\ODKs d.#Wxk&-QcH?Fb+ Dϝa ((^+c/odg_1J?QWQg97390إ&?&^*ICDE`,ecKFZ{J;LK/)U&ZQkAa 9IRKg|XOcj|,B=`5OoHL/Hv~^jI/m^ՆVl {F%^fbGUG:[ic &`܃(HF懎Qz#& s4wCWJl_dB}Z&E:ݲg%5T144@FD|=ecq_ تe#uD_ &Ǐ]!-.+;-]r}^5 yg#XDݺÈ"LsU˭1#"2!!̬aԻϱqƂ˥A_rsYL[f- mZW;Vb +ߗe7,i+šo\K\i1p| g9xmNՠ"ʙ閶CR#~6AfKea?zzF4lrQgd>Gc"=6X OQPɠ2kJcW k* cf89upu> ëBؑJT`jcl|&Jz[J-䴒㇞= ԥÌ)C[iչcM|P8gV,p-z( {s:AB/ZWG JzZ J tvRB _uwDu. ـ`=OT2J_6jHj916l'u9 _ORHxDI@:9o3 V2p*UL i87D/DdsFh&oUhgW&9HPO=Ě(s3OS { dl'ŪTr:G>EmO^rW:K}U}KOD fE]8>C-+FsJKhoF'%0g;ܵqwJuF bŨtM@K<R\ Imؐ]fCg`]J#,Fzr`&|X䄻BG;( Q[]rhr6?-'{-%g,/S(:ME_O t8u= g 9vHiIë{2z}-b^5M@N#x2n qc _ƦJos xe`7FVkv '<hn;m=4pPNY8 e:NjNdDCQV`CYjC&fV2/b &i !@2yo6G1zݍ3(PBoDx.3Żh1V+(Ft#**]7h/o 3P+Ю)ĐLH[aRKLDJR&H_fߣtQoPHh\14r*>RqAI#| *rW./nYȪR _}gSzzX["js-P/8` 8)P@@z)oůȪVF*n?>{nII:IjSNXv|6̐0bE2%B )dd?ݶ_Iqr\{+.p_b`S5UKf^p7xn:Oc̥8LoWLNJ+҇8|blL%fn&5B׎z l#)8e~.|/S-+ÂfD쾝#%45;jZ+f9GgLu n7oh$1܍g[-/Ï,JdHf:E]&kv\V~D`QHi4KY`f1q˳+R !,њ;7abrBZ0j긑:?2ae@mś>4~=ڤnkтh#?1=RFm ;];GK Ǡi0TPq>Ut:.􀢞78.mT9&O@X/+XrL9 }Au<[Ѱw7(Kc빵hj@G:~72sKX_&T0Xo\~6L,8GlάHӓG>.!o}ٴrVɦ8\\ļ%x ƒ% xnrh>ϕ5谒Ow~38 mQ졮ow'D8i m U; 5p6zqFɝ,bABE(wt7\iɼ? Xׄ +8[k 3Z(z:6eo \0$z+7DW_z=y7k#~I]@Yъ>u2]@csEXx׾7HP~>G+&>`G18UvVK{Sw_L38FA븂No?: EWDw'Q(V Nc')CG;f2\w6?_#dx։CK,.I" KȺ@PD8 `5BwF滲vw&Q)w''IMoYH5i| d" myAImϦŝ]wb H0=ʞ^ՄeYp8۶ju1C[Pʦ-MN}~-<.O7Tt*l˺TMƬ@9jʐ440G$C[iIwT ({cae}F.0.CfTZf{JMttv?hVVeSt U1^N54ȑbVL]įꗵ )o}#|W׷2f٣.@׹.]]# \HY~G^ٲ·pv(u lFl_z"OoR my:  h8u] #Fb晉yj иO(2x)#[A'ik{a]Ckܵ$p X^106u1ɘi9ᒚnm70@+mȇ!^Xhn!G=v1uD$TW U*Rx6 ^^Ap>ˬM8\wDTǘ'Jxqg8o-?W0]b絉0mjhuX+mA|CZU:rgZNBE۫Z '̚KGƦUY|u);dMl Öl,H oZmѫߒ?*oQtb/J{ hwR\Y3Oѻ߫;H$_@F +a&%1h/ii(3f1 oyY!]YPw1"cOr+ hT柇1f{ c)V{_oh\fOzJ)v܇1I?9 x+E~HLRP"iy@&q ZmtHWL ceC5h$_n:';+2>mn'G ٦dL߅quPEz1wSPuRᓍhAK ƆXgJoQ"]0EN7̆(WB=CK=\oXrIlT ى(ZRyK 8# )>&kۥF%yKm%!=V?~boĠMƵwKǯmsػ(8o·^PcUOc9-6'zL]bj|1p#NAD7릗?|R}9fmJme)OjDnO8əUfh$z@ `/1LDl: Q6љ^ⶍuU>NTxYI@¦;.JoHFpg `QXKDX0ES7h0ҴLUJ() 4hWZ ڐeM&TtPy+q&r7h~͑  AuG #v{**>jT-irW ig漧`d{id6<%Tǰzbch +}+Ҝ-Tm%JNk}oTJϻM`ߓz%PbVe SP`38ibE!8CZI$&rՉ |I\}j@ *:j`}*dIu*׶ڭ(Qqxz1gKQ}PzIkK吰#n0(*qX欆dME_֫^oZŠ>Zњ#$`Sp{lJvl5w'm[})gmo;%OR) {i 19cwiݘW;*zJ #H _xpd5|RhZXz2 F|NLnHip♥b E*H!TDPx؁_TBu TЊc &%C_ƻzqnzހ,OpnyZk]D ԓrr17bVU܃,GJ:țHSQWMV+~(@,GM>:ƍ(,8|^~zVtVdCxI.(:[Vk- A 6lGg{[Z{}s0R3X 0)iUiPPA7V#&15bC{7\. >dk?)SZ.œɬ@5-O\# jS4ume)ŇÃkQ^ E5We?'&7j]-E9‰= cq*Hnf ?҇T2ZC M魅J_zr4E,FW[zcHn:+orlş6n5ɕm'lݚ ſ.gM9{>eg"R= ?FXàL\gOFmoo m#yYVpF.|t0ۆ `ȔOeq&/od6?-4RxnݷmK!Eb1'߯ U 3ICnD3H.qKaSw~0Ůu#W8ͯ`.oTwn=96%܇[2"$5("–1E`"<#4V_Y/H%= q*TJ־rVea"8kGl'ô EuQWu a밍k% |1Ϋi^Y7U;B9(PPKM̓-?8A\!] FK4Rm˜cLt1ҶuBQ'JǨ87YRA@;I-e闽(<pPlm3tpwy@vڨ(6DENMג=A,msa \J bOtH1yr;]j ~7C89Ep 3=/VNK6;[ ŜvѰ d6Ҵe6t41! 3z jGQ=r&:`Tspt;٭rEg{C"×9 p/dVCDO(F=LѻD:QpťL##'䪙ra9B'pT /L~4 :ٹM"PW(p% M\aYTĤfNٱ~[){TB>6Xt*^-Zq½=CY=ɕg*k^1APJѸ4ՏzϦƕ>x>&-s-h{pMx]ή q?~ [uEgCBDr9o1n6P WėQ?J4U9yPS*kY4|xod@5.LX:D(ۖ7S{N"MIR TVN0`DZۺX,”vb>Y.+o\3NuA,7=apcsjl"5"3. ʒt[r: }#cH.X3g>T5tB[]KK@hfm ='Wz2罴b$T;v JFQ_5M1aA2~IO.16ƉKrWڧHqr zl %C.F;~qoɯ_}9Fr \Q}[l/?5\X,;Cqoa @簔}/ 'f <wpT+ªH愢k$Н|Ԯ#zc|x4}Y?ƀNEWscXxns`s^:2BoFG'a aaa|j{N$sc*ÍWl_'B) 6at]4%Y,yE\B=nQ|XASp^T]jY[A IJB@b)PZŕ 0*ҲjAՇyyb|LdQEem^lFtgW8k3BY3Cg7w/eOYh)ى&oJHB^ R5ͱ=M1l?0'ru2heC@9F7NΟحc$g ńm0ؑRRtJ4K9؁jbñ (" M,^h(ķ͞z#R$3`E{a&H#˷p=&>JsXBu벐WV`\Du$Ńpf#t޿; 8 5 u.g[vu/,|gS;Ӎbd`ua=uSKxTKyjۖX vx ;!km閇98.sbQy5U?2:6\=DZm?98QΕ?#_*&IjlH,1 '(M0` &oe 6㝱)\rFͮcrr`[)>&?ZrRHȥeおCq/PpÌS4ZCɻ(5nFpҁ MbHi $wp)<2doOzIr0Ep1s  {j;SV:LrAnɑUj^>̯GV0*ZoAu|BEjA#hzH@~ʿO ]1.$tjU "Ds?=[ݭ9,^Hޞj4D/EA-C2+GRQpL߱R |W'2OCdE:WZ 6LU7d)U0[3C>B^C#y)NA [Q_Me7္xoKJM}!^Ty;Dfao?b #Yl6cR]Di{[xD) 2B7ܹqvTyp T6uP/ uͷX}⏥Kv4>!d-{,˕ʂFx{PPdvmOE$Y8ǎVO}7GGh[U8}N[&{ !.G`7v<xH.P|IIDpT<%Z+mD_mżF% vJ)CոM z~9鋻jEKDS8\!vk;HXqRE,\CJ9cD z-,vNT'rkw i{̍0a |VS¤ʨqs6^P&YMPw\evz[XЇVm%i>D57ҒV $ֹTME= i'cE~_DpiMⓔ9v tb$;SyG/lc,WMycVě`0Q 9i5\(wbamdCɹKl"[;Q#zKGwPRc!I-`uxPkn->` A3,-.QK!Fr ESxFY~:K{h)Q{̷!dh'ٶfM+PqteTQ%.=AԒwS[D<'zA`8`ȯOضzn3 :f st[sP.h) C&N w1\W3ib#wUȣиGLHҫh$%*AI/uР@zOkײ쌕ߌPr8qG9,3ku fd#WryrV`WZ/vk e&!³ # Ap@= ڒ"xTS8%_óMe6ȉq1ڸa'ϳ4GCboz|?w<5]!] `ҏϨyӖ','8`qx֌>҆7Ӧt1U LXKCB=+ AO-NgzL U:l5P5R:!˒;5]cZ_5 d[>epzJP X#‘Igg~x~b {n$u "[aZτn{y<1V% +tdk xxeDIgD}e4y]Fq[\wGք~ϴ<$Ν%$-v(JX'HlPVM}1υ tH߉}=|Wf^2 rf< $VYB\(đZ258K\H2 T=&5wFxD_0=FzO} - X Fd]cxoGUF'7):_}::s H9Mg/T+g{k9 fpoA7̙!#L zʘ L+9w)tR>QIS88=*+C"g>ى0mG JHCΖ|˝^ڔfa`Ț#(㨡շ ppύ#nڪuag>&V҅ɧ4y4j{. =u-ц>ϳ%fNfHm~ԠIkzGkFޥr4&MiۿKw#a1WK `lx !샏oM2Ϙ1X[Yt3Uہ^~>1ݗmȢX&#+ 􆠌 ]I?uJ+3wL̥R`b@z:.D`D#Vu%݃pQ2?65IDM8gt?  TM }8N'M.A$ }Ҥ *b&snyC5O{GvQan%1(֭Won( [zU]hMz +.u<0RvP d^]i͊C(ie\_"o ϵ"z2.(.2GmEܟۜHNU{ 梎v>`Fvo@δo[EQ`]NVJJ=))v-*bݩQҌtťPP ꨗcF5j%}'- <9+ 1Q=kwmnXYYLvvj;NbW2 tz{V8$==_+qZ۰i-t4?6l\7KRCÖhU$>Bhd}|# b>*-0Z{^9C <gt֯_]T\4 a=Wa^نP㙖_\(ZP1\0OU4NbnK &C0Q B"$L甘HƮ>nħs8\W! 禮\3FCwXjLp},V2bP0w!n,0ѭ2n*֏'0 =!-+Мr)-*;#z XE=8AZL6.XB/zxwHk\IGjl1\K@x?*hE0\:0_$BB̒9agYNe Db#aT84o"]WV:-&$BAZNZ6!"&*?FQ^ou9>+[5–I3rZ^q{Gb& a}$ W!c>;=!~X..Hq"%nAEXJaKN6w~XPMU[gF Jp{-Fom9% E3Qq-AV)h@Z4]1wbl%CIF>l}Ƕ/'ܓr:Uٌr4H7ů8T]2_ܘ|+}s3q 3w-bt+Y;)Fp2iW:}ӄd(7φ-k;z)Mz;^al."XV\uf1X(Jvdp(dWDBYM%f\ 3P7;PtJ$tRRm>noC7WZ ^쎺YH<ȕ;Gեq9~UBNУ] JK|P & <ĮN > ƻ(cxcntC%bd4e=+2Us邬OciOcxOJ;_/tV%tv&ԆtZz^rw-ja3YHQAkAYr&PC(+WGWI],SȇĆǻwٔ/J ]MERZ:D@QiE~cNm8C-i߷" -xNtd9wxM%NWfC!8M ( .9_7hȔByF8qrkJ|olCM[%]m pZ)sld/H8֥HퟕZ$B5^a-QCx 3rvz,5Yhƺ彚5B?68A߲y}B+Qb&FlgyŎKPwpT|Jt% 3A)1 _28p·da8F{!^%_2IYp{E𺷑>F'޿=AK=ץЏ$x"LBl/-:?2SUBQ'1EVp.[c] KQ:d-щzx%_"xRO;;xrmif[Tv='}X+yAz5u1k뉬b=P{c|^tJ ^T`ťe $D9_N:F v-ʄyRe,]}kw`1x/<U;sZ2>pv{ ]T[!"U.ԙWW#.+/ƇZ<_H+tc[T9`AP4np$҇4@LXP}mӰ'@[q>^Qw1u[(yMWTN&?@2WA(F,?> bݬNtylM~'dE fPb .!v4H\[@tQt^p-92' J[-kHMiC!<@uk7|fqb<ݟ{&V%$pN!h*$3CJ SK=Fi_#](D}o%2ȸ^ } *r_da|MQC_U1Ɍ ]STݾgr~^~PiPG^2%Nψcų]NF&ebNĎ9XyT9nc}{ZSYef!8Ǵ*JBd DUkhT¿ةjxyu}6Ra @Lj0Z_'|Y7u H5٦IA,֠KBjN^xv7qc W X$pe\ ~Q-OP^a]uGo'] FӋ ΋.$"]0P 2nAO3(6749jEc%++F{g~sz @Wה+xY*/DG= ĥ잗SLx q_9-:.C g{2cP)@ S2;MLЕ TG>"a CVRrHc/afq/8˱C+bT9Ns31F[ jgȏ@Uxz2$.= ԇAZKPXTQ٫HVjy8FZH.kY~~ۊ{T#.k>PmTV|Q[ݴ6~'bB=oL g+ۊ%XRQxi*bPX3,"sr[dX#r;8GP Ly;GĝQUy6)s0}ѺN~vm/Y{d /%H?\h IUBW ˈPhؤU朸ӟP0vpEk6hO; H[<{9 -BЯeEgYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4!3Kl Įlڭ)hr̨oޑX4M Q^ߨ8DY1iT˫nϗ(Pឫӻ{L~?46`\`z)=[oSʝﻌzm7K\qfʟC%G M̸S۟!T9(tnG"{dg5erQE~KIz}$xq2ӏџS'c:#w=}Kh6R]t#eNi/QK x]D |pxAĺ<yl!^?κ{Et#ϫ(Z?WRzTۄe2`Y)LǹIrD_Ո7zu%/+ g҉[Kmb]V~r#퇆BٞDUkfUGF ڽ XD‘BZ`3xvߒs5߯4)ԡz*蜁DuVɚ!-Q^nc>Zm-S47AUG| _Hf?UB)̂Ӓ]j/h{Q3m/gٶۛ JWzP}^TRs=j_}vqQ=NAx vA9 ,U(-IrWBl֨zߥgࣛn<6-v,[K5XjkF.߫W;8BXbGWNn3N 5]dY+߷ Ը1z\)gO#En*( a 0Qnh̑HBşBl op{u3kf⤂mr*"4k,MFƾl"[oa^Ep\ԃ.#9lJBFvgS]O6o\pHٲ_Y,S+1cC7 kr$ N08}5S!uVM sMVIDKfVĢM)Ks)7!t3eׂ8 k3PWBo5  괮=3t̏5 t`I+Vazt)_JlF PyAu㵣 q;2Z;4:d2T rF FcpImyo%[#] eЁmeQg߉-H]zjܶg/k3ZTg-yǵznhڂh:o/C%G**]:F3oTux:hUwd [A/ "OZ'p֣iq%$jTkWsRL*P’&fg=Oङ\5Dˆq̅VPQZ56چ^3IqD6MzI.zѡ8(?i.ھx sKp ؊@qwh*\{#9PTgYZ7zXZִF! }]ŗX i%Ed~VB"@R&bF/A @l1İC)UWDt1ۘ[{x"vUXΛ%O﹫ljU@~nV[ i̋| ol?| fL&ZG@rA7/ŦNa&М*9+1h/4ݶ2ifSL,K}."6X~1`Lx."M- o"%nBMiDžJJ7'h.Qpї1_'(~Kc0GxW&UXD YŹhs&jv ,ls ZԽ`@)@2xG3&dA\Kl[CU-B"T[XQi炪 {1iJOAhE1Pgmh9(>sF%썢eeb"}(YLv;כ3MH?(lx$td$OL}ٝQ/2$yK(%@p 7]z;V_T}z=kZsQA|"ms!w8̲H5}JBMk)i1`Hj)`1vy%,o`ITĢ$Fo:΁#כ# #ٯ\ l詣r,)WԻSi{(PMwk^:~R}BTi,IđY| N[q]nġM+~C/wȖs 3W: #Tݠy/Dܩ>tI2 К6՚E 14 g::8ҡAf>Ĺ_ZCiI\U`󥜱۾ X+oTh;l`δp"jrP@W+-AxJ D]mZL*Bn8pԂb׊W}4 fԀ(U2w sYy3_$[~ S.[oR/8UmT!^`( 1#Z7hjK.1M, :Gy]a<ո~1,NO2rvNkz;|15SJE; ΍nNP}Ys6L4Хϛ4hBHd ̜-Y2mKmzޏq^f ⌰B|/xlD\ofRzs3dSq hҧRbh<%$4b+;ϜtIO;$E\y@~ x@*wY԰jr<>-ml!8'T̞bl3BԐ6 z37/e~n{na[Żp@"an}/12ҍsjI(&t?.OP#LfbXnd)Cu=:+ϵh;V́!|IkO_/&SFI5侕 qsi EkWC呂;cOas$xA#Ie !v|'Wh:xZ[4#VY<([=6/\ A7K K+Ȭ|ԐONH`6]q, Tg /&wbUj.@O}Emܣɣi'o8yH\J8bB .PQ^i٪%5cy)?OU,UM _D *量SRh3&)%ǑwObd͓ ١'ihu~9ܭ>zM:g7KhV[Um>.!Vq}徟tֱQ=mNz|2=3F~\XWg#d1A;MY2Y/k8XœӺ5g"х=;?{=&Ehc6,JZD,M_. O5*/z:F,敼*#2 +d4Aov pҫw= b.[$AyMfk"ЦwZҐU䀀̋îLk>v]Ah]!"UdLvjx'߶9v!Wf|iQ7}x&+WׂK[mDh1<<:+6`CߤἩ"/U 9{O@eUu_8WoE\]/A"^q{QG- ZؾK.&&RPN?S7D`a F4GXeg>wls_j3vDQŬU/5 E&3/BNnkƂhnFpr Ω%?".J !0k|ZV8^ԙwS!č@ Уd#M%$agς{S N4&"$ePD`ږ5UJ}5#7yޭWŋU Hp[ v9d +,CM =P8?&` .dvVNy_G2;㦵 EmRUPq6W@n)b-y {̅P}%l_k~2_';Od~qyG%ln׍*J0*{,=&ɧHo2/Z)JWkx6}Tu ; `EA@UaEdVlM; j O mku>Z=EhpMU$ nrQu:|^s} Os0|Gyh:eF1 ]w򬋥&&R['.W ?8x\w/;#zlr/aXʫվ͗픆E%|_ W g]5e7(f;efc4՗tGA*}NEτIB+Ƙ v'CyQC1HڭIW&ⷒdyšYMkƗ%2yvm]=%(l6ל%ecӃ4B\*Fvr[ Onz9g+||L,5BaI][αQ^K֬ٳ2|ɻOj/#>ԴS!yLў5OIXm Tsm7Uiaxj-+`hTTT=мDl["*):8g>|X/G 9UD'e\Z\_â7AS8<pɛZ:;OoZ]ftkBXCY-&|r)|XUBzVˆ1#3݇. bUB9Т FKtKNwgz|YXzj9%W ׌­N)&e }Q89z`!J35)mPgb<2yh` ?Z9k ͣ6 K˯XbGimhfQh`Ĭ>vcX\bL'bkVPzj Z>bՍ^ T~UJ>EN`Yh{}v}W oy\$:I戻mJ=kw, (0ri6Eo6Y]3II;~Wm6Ybޞ5=8P^v3ϒ6լ.d<_9' oBjK|6#_ "H2T #D<8ZcGJ+zDv 6 =@®(g@RI7q>LB"d2M\Cs宐E*clL5G:1s,o.qUC,| lFH\gS)~I2#>wC|+N <}p5Ҕ"XaBP"H<OBÐўu= 

= `[y w9 $@ѪbAb>Ym.yUm*cp}Gb9-h|Ih[A]=9F%t lUJcxRԭX|MW [{ =d3gD9Ȝ:/bIw oVJqxy !=xH#) }#,4]`nfLh K\ҒRǔ̜C=5|c8*c81'`]ȱxM.ۛOr64+PHS >L "΍옷G_Tߞ k10l4TaF'2rZsZC485@'JU~ eT/kz\Q2?yU%oB1f՜k53F|j-aP]RZ&o^3!nr~1&ȩ-(EՑh1R5ސ2RE%܆Ն=3:Zɑ&*(\'b+nDI&mP7()_6> hUD}9y7X K 0oeD M<rG_ohN^H~Xw%Lcn'Dso>"SֳrДۼIϡ/Ɛb 5L.sB5ScZEX)3[ |Qf tZs?i=`T]fzĮag ):Y_R6޾f68kJB>*FY1l0$[Zh<o b-yQjc /zM~)-Jqh߅(vM/BEM7LYOQ!/_uXzQL?W ?A2ػWHQ^LV@]q{;WI="9`} 2SP:Yg+9]o7C܅QwZ8VZPY98V\y]%UM/bSy{mh]hq*WIWd,6_^,)p 3cߵ-JsW=z:9ΏCҌ9*"@%%y9TX:L@7 XH XV6/,[+,h\j-ݬ*#+Ns3/šTliFӄ@{*x3cd8 \I1| Ѡ܋Ժf[Q:2q>~9BYfwT~&4ɥ02nRkL׈zB=>(HDs5YwMY.[>wNV=-H=Lq|' XR(I@Vݦ+^D[ xVaw8):&9&ʢ,Kd6F.;ZװpfX{X:hUMt/| f:dW^d&h:1̈́ZuBp dNwth{گ4ޛQ$ 3J}i^'ނ95.]ʹY"DSTb\m->KAމ; qz *aL}A'nEXe:.DS.b[X{/9eVh?>y0&8,fY( 0]~FG+7f&Rg.7&x-Sj< ߀:˕VRN΂R_e‘*+aO8<퉊П^}; he W#pK蹞qDԽӁߧ ŘZ7:HξQp>ZrIk- .%`dUs{>ArPǾ΄ˆ B-6oS7I@˨c-S<1 +ێvU)s,oUeySA;a= JЮyrpT,<~ZfK 4jp-0Ƅq[<)2хDp?D$SAo`]IRqS|܇-#PY&Dǡ˩`Q *.K7l'7,OQnf4qM`vZ]7[xl3Gf.d뉐g$D#awQg. }N6lDC4G9faIQ ڋhbh.St$n0'?l-k1 x %2K5`Zp@ 2YtI->:ОZlHSbho~*ɧo}҈PP)`tQPM'en^.f̷j+ 6@f.s3lUM>#ΐ8 ۴| G)o\~\N{ @DYUn]<$HMGz]l׹Ep7Im]$/nYAmA kg$:+O?"$䵬!K%UԆ0i%M~,@H! 21tb:h[aj8@jV[/ϫ[Kp5Xݔ %C0t[K9޻j }V֧:&7ZȨ!/mh$}ݬ _{.oJ0td*VB2`],֦<ώǑ#oT^Cz5B5PtϤSW%NcQ?󐮉PafQϫ*՛q׺ތT)aM X ^c졭R+ *d59uX4s./2R;Ewb4 V /ɠIa^b&oC/S:"mnQ눟?(y~raSVTR[)jL6͓nw.^RRn[p.qJfQ,fqYhq,E[hAҺܿ%k7jfk+Q7;-Jk(R(3P)/=j%];. kʈP0 5};{S9PM7qOikS@c8 !gSA/WhE6*#w"_?zh[jH"խ~?IB7_UU""8$v,kAWlV͆ڕ.ʖ$t zYhR!^ih*|vj< de3;_5!j3VZxZ\=H.) XK9~)xtR=ʭlЗ7dÖ9՝BY$[yoo+ӖXx$_MI~30`TJJ^KtŅ[ |C6̬y#u$o!J /T"!de'DA 灼e7\OǨ$ȉ .ƌ oD8"嶣X=G0$~pOdVktb^+S{۷jG*+Ij}!T? ܢ.ЈrW8rU>'D#/9[Lyܡ]nŏXIkzMv ,dQL&#mg\EAy@эnO̸$o wYS #2sO#MIÀ Vzqh_|L6u%DdSDDؐkE}ȴ!X@TV? irEv`!m2!6B3@ݶABA,(ou> Q%-`C4:·(k)[QXJ局uD qßqS7Ve8f^Y>أ͎@2fv?J&BX 3%λt)F@i?Rg a`aMG&=_#S5ЎTIVPֶשr!N^JFT?[:f.`xJAw| .59zckmM}Ulm<Abp,㪬HquE/U8Gt? ʮ W:q2?{iߤ9{IzGv^;?{ 6)=Y ;/3cmgt*ZA-л̎Rm.%]EWf:>^TO*~^H܈Qcޞ8r5iem僺7n.*&V_:Х1-08)N 96=h lU6A$ɮ|)+  @!0za |DVr#\@[umU>,9"f?$>.-ƆΡ!\i&&d)o`;л'o$O_̦$KrmK.fđw~ɡ묫X9퐣0̰DEP<8}htsȱ *Vz1qe=?UL^c.KgnZYϴ: Bi[ U$xLvN=9s2\ҋ?ӭ.=৛3r}rFR`<8ă32G n)BT .쭄>G`kݖG%!5Bm*?9K R{+y|a&[ ''&6'fRKLi >Zz;d]3ey.2~Ԍ|@G L~P|͏?2Mx`6}0\}N}Up)/ڴL eUC}oKũ‹SU{1J'9"jXr =O 9}2g4f=n~DBㅛLn_} D2  g)UDo`̖2H+b)ج dnR(~]v?u^ˀ:^4 LkADR_Cܨֻ[h&TAY#ilO!&$Vm]{vYG8oF1ٳu9XiYe͈]át93|A 1[F[kCQ%劘c&`}}`s?0{qMLJh\M_uRݖLC*&&{~l;eetD:8a0&vTkBzSz}/@F&W|"waдV yr(Վ`ڥ}ObY>x"Y <;=-}9GXv0OKՃDXg1x?WNݟEQX$Ml?zm9jxjJI,4}A>-:b̺UAhͫx&03/mݣ`e -yLk2W= 9Ί">0蟸{[h^sSּ\ݱOVӞakH\K?"w#W\7{\()ߝ׼43N ϻt9ai>_Z#ɖ,v.Tf`׸ LO/vmeY}c{^]ځUt=v8ѵ~.J7nޫJsXgElq4hܵE"yTCXg#:Ѭ乷(SiY EsBt!wlwsBK@BfƲ"SP{)\|S4UtU-nbht[G@_qIFnWa)1čQ͖(mh9,*>o%$Wra}N2Tý䳑P}_Wīa-'nT)͝-U2bFĬh#2Ɏ̛yaEn"-r}1?=FvQPPl:`零O+ l:Pk[A4Od=?w.ڎX=X#|z¶s%*&F h 6taz`>6,gڗ$P"BpPWa5$RlzM+e)Nfj؉M@%rkh 2H Bgp 9),n@c$&T̔$ M%ʐtc7?5<#*,QG ˁY%˺Y"k/T~~&4{]&DLw3Ҧo`{CoE+"x#Ei Yۻ,SėxM,Jtr$l)L 2 ):˸HGWڔl)WDX Ƈ e5 X3+zWp~J ̙:j h*=]\3k8WtuQRuvL)8 b2WAe)X7 ȯt\ot1"<.4zjpk=ubى ?,~ЪY IT՝qAYF^oЕ)!U@h#5!WVninr [!nkdy⏴K9fs^͢?"y@Cǐ=BJ1*jTNuc;i|WJGKQ+Z:|?@M^ O.K\mȷ oU ,:@J=u:5ep34\t_{ Ryqo lL yDJ? v[g["|71>~Y y2YC"hY,T@slu,!;QN4B܉Yuyesr7MY {>A1jhL(w^V2C\;}Fh!*LP YQsj@͊ / )fx%#??4Fh0YZE6C)Մ;RMl}+nD"GRbDkAoIN+p#jL%wJ6ХPgPO ̕a7x#u`^zeCLy3M mqXQ~O:7<{YǕ4U$c,qd1534eVaN<%=m2:Ekf]z_'JrGJd+$%gksElSmVΣu:zJ\l>_5f=KX>R!|/  Zb!hBjQCnko#Kmo߮CnlMNza #\ϳn=ZIOVN yY)pL:Jhr(d=ZqUJiwߣdT#J :I:%ͤ8S51u 53}%Avy0QwB&7@WSٳL#~0L ʘs"y\idQVgCl/h(e¨p{py,8dkԫS玊h۬!Fً6BhcUvX/z| $9BE%S®)kzYyr@%/ ؖS6b,$ ~x8 Q쟖ȃ k?N{X ?%喦%HYMI#8*l1k"$ v64h߳~x#A]j>$k\D.'>_lBEP`D괍rwx=:SK+ב] O8<[$cQʵetC T Ǧ YGM~Y +M@ 6j$mi0.|ܕv ]#5/rVJl :/ne)0 |g! bJ(@ccTkk{(S)^6ˮ9}3-T;=L@I"4D~M+ xQ$ ' 'eZ9W-H{ґS8c9di`"+SAPF?_XwaW=t軠3TBw}[g+l[zA)fd֐xvyX 70=߁L `rxSez=<x9X+~żKc孨-o:r>̻݀E(GJ} 68EJ%ʍR1ʚ^!&j~ c`M>ƒ~qz&q=E(Rᚐ ?@ )84v\2/7T2b]QrmXE9<$c1@l8B3^5K 0hbʓ9b$n0xN,"\[J gԌ~)Zh QJ((H{Ve['j-$oR&ʰŏBoloHcBx=iMb rK8HNE+1Q+X51A~+ZEbEBA-5Kt ɖҾ"*S 3݂əwSyvzk)%86Bw23P?K=Jx|F栴 *&o7B)#Js_'tvF4h„2yJizp! SuuJ ўcee"dX}~*4#Ƞ.ˡ#{ j5U1@z{<8Lp,jC;XjI{gbəݪK.SN$0`"PBciZAb!اGq AW\Ue7}@lBXt9#&7isȺ@F_QvnOO9Zz`_XUafBPPn(&vrYGB^+&_>}5<.HD uUlWkv>{=%ށrgy}8t'vo6+Ϧu_=1{p{z{ءd?!w-/yt!e -EնFo]QvCtVFKq)ҡ|<.Q5S>4EyGzÖI|w[|_2Ft!/lge_7\QyʴH)HDHF 3;n4xtGuk_c3сO\iu1ykD9,OH~{,dJCfU;KEJz1s'+6W^q'$FP<29#j!QDuE޺Zx aswsOa i!c0A8[Wo]mYG9>ί`Z(D>An~ARΔ'O.13 cȽ2bg~q2ž#!e,Uصߧ+y5O ~5rUHk+mbN%jqg sFQ}_x.Lj[X1[w<`SdM56 bzME'f'1rTbAc$b9=*HoN B)(*IfѣK>:EmL" %ggbDٜZ#8MP}s4G |>Mn3?0Chi mFu-*ۯ鰹-GauW,\6DמNg+I(ڢy AsK0# OȿRR։ L i=VFW%t13Eڪcj!χ/?Wp#F1qp'45f˪e(絠QPےqs?):eԃUS{UcOxڭ+TD/@DS˶nFXkB܁71Z؄oJ#j!'qNUn50q6/7px8ڻm8.x4bhGK<J4c5񥒯'K[U>zSƨrFSHs-Q+O2!5F&I&[f9Ny2i\_&WxAwƃlκkW/1:Q+M BYbXM4ϕ#vZ9 MoEP2Pb =W0idHs<|O)/W "5((Rd;/Iһ6ȮL2JfN@~\;fp+0cRN ?ÒZxA]1y t o'.RP$I炡s3<fbE ںuV៍)t aG1a1p:_N2c#i7+ ~7fȲ-}_?-k& 6RUe7|&>~̈:&у/ Pzو6N@(׫:nii|83\'%|XxB*}3XMyw췎ދ{#+{:` )[tjH齺Ї>zTM#.ZGT^ ^xa=ݝ _w]05+#=V7GkjTJ^?[YOeHc;-YkwvӸvLIyW*qD܋Hܭ &xZOA:,l _ /ÔQA|K&A[URKvDĮ]Ihəl& 2G& @׌d?,.>3]fڌƺo-L'jotVa2&,I7,XբRkM"(͕W;,l#!WUo MX6)3jBxْJsP2a,/Q ##e`[lx80k<պF*XAuZh!JtͽC<2%+FHY Fi`\3zb쿜Gh@j`\4jLt$ĭSǗ}Ws{Dw @IrWg s /M40j/k}k7>*&>H;جwsP3q i:=Z2LadԋAB.5"mUaheV-ޝp7y 6VwN]/;:iM[1H45=):F]w+kZ|W6l#\ IQ%$95cL`+AIZ)Dwu)X,vX}Hr sm.{Diw6E/|L|HJ3mnKrV> 'U/dRyቩ`K(RӋ!*]PƗ%E™*Ln4_qp 3_RgIoL T2( hbFqo)gkevo@&ܫO8MbhM? :@YY\'km]M1X^lFFq/0@~=*j K mh{nc[7<3 y+oh@ …Ι#!^D _CVzH/5Γfd^iyXɕn$HD\iO ԃfS 5}⃆}և&_}Ӑu,<:klmGʖ+[יHV̆NoxFUž5#l݂b';VzoY#0|^WaCIrt͈YqWY +>S90dʼAi(Dm6MY㞐M߷9'J \tpBiFf+xZ9L@_k0QXbi0i1 BΩ& +hO1Q蓿ے܁'nV?b,zAhy@ozrt "ǚ&m xZ:c!ubX"O p}Z7!6}>]0\; (2C#W(H -7^_ lHoPh٢Ì " [O6so?2I84f^o ôU@ĘLN9pOY^.ˊGG췩s $Rtgծ;`1 9~䤴-K3ց]k0xF;/wBj{w63xϤ;]1Z>Wu se`v}-49YL헿1xl2Q oލ)x$w̥P?y7:y_2ˈ}r{g:Bo;xD\}L4:x2OE~oMp w>Pf K3]DC7,0Ǒ9@t6Q'3xbl ~ƒNoqV$ii.Z]]JMcyj:jc-S14j"4i 8t>G TL3*@V:2 ̷JAOb_PӰo2mxon0ԒEo,v +X 㰐Fd?xYZ2h'spfF+ETjos^Q (t62}dž?a2ٷ=idy95F0Ʌ̳A>Nb@'X[p3uZgn?a)m8j,(m1^wX̴:+Oel >OUa%f+CJST,%5b4>PL˛|1KgeO^ǥ~Tww5\tlmi 5VswK=NSc`G GZщۗϹ ^3q;FAKk"r)w0N84n؋T|i;:`$Ӛh~8 N%}efH.~ZF&cm|4ت P$ྲྀM&% "X̋wGwEH_U0&}VJ-·ZKl&SGlߝD\8{ mhh?KR2޵){˨ZG_uh~ `MٝxVp1x%*5pWU]pvͰ>Frf;vח*bM@M%;t1G7eu+ sünH0SfBx7ni4ԡ”M='XX'mvs<p{ qXcyMa|OȋXuD^]%UZIڲv\Ļ)+ S(qe*F|%hSmoW"B=]\BO wv'鱃i, T s%Tds8A*LhS.$4VΆ?D<X1-n .19'_ye<\P`BwQցYհUz'ZętDOR5j`E,<wgozdfʝɍhX)JrX;x͵R}Y:q7b8=A槬2qy:q 'Q[סr $X2}񿟕%lܼ)񇿗D9M)B8]63;֎aXTkk%Z靍oGo虇%wׯwӳ}hP͠H(, !G"mJh̃\Pܝ%`| X^|C G Tdc0o#Frywa g6 8[ጱk(hw{ F4\{(zS _kޢѺXnImTM_3B&?Rgj =:b`ͻ6yo'݇V6e` sȌ1Fv!HrL# c@{ُi1{cQ-Ro@:b:0v_.]6$eq%_(f~Ge)WTKxNpj|Pg%#(erfYi+yI CQ߱ktu&V~8J8i! PhXHgyN&#Y<̹VLi!%6F*'ϒ)jo,푴fU&4ٵHff07dC^{OKg'?pOkAlpYK-Tj8#ޡ޹f7q+%K6Lh7+WY l}i \U+mv:O bTfyW*W`s<"Q49f"ȾC<5 Ok%#d+U/4Nzk_隮5e OGQ!ƄYHXIl|S--f)Xnݨn,s ,d#2ik<)r4-8 ⿼+$ y^g9xrцX%\]"6XIj3[Y:G-$?X6:Ω w7]4 ;USUā] ($ݏ09^"I < n _{0\=}ή&ԈK#@&J7,[/E!uqE`m+r#eS[fPfl9:X ] ~؉MAq )30U\χEGvrY;31=8bͦ(yҡlT*4>$?W# pHPHU^HQv~:+k]8ɋG}yEų̃)>jBk`N>4οe0婓*pړ+'5 =Jk}fk-FW>8_X/y zxa$F(6f_ 5ۚG-\h;B>N'"Mނ3:AJ *r}Xc@0^E!јaԳʧ4!ިߨڸ}l"d, "Y-5Pk.F=C̗d[VkA·[ʼnpPͺQ/6FA!*Ue.m sqCC@e ,k u]m^c]y-LBYW~XƐ#Nv=)'XI"EpK`{7, 劶&@9DS3CAX8dK-D$bB <EK<{s,kƂg!'X6؞מ jm>ϴRG[fT6DwtcBo'R*^On|34C}w$KN]";A'N;tcAhE|u1[ ]̌`rU@nYŨjW]7\v8r"!Ueb8H+AE{Ip Ջ'S߹F g{}k?{66dހV}.ٱe붯p铨m(^3-&鈏b:ۻf9~%j.ZF>8L6;;۬mI ejG4~aZq-=m5)ڤ6f!n$uAzb,r? [a}?vV1ֱ^QR0sW~OտC([;谩9M-8ox&MKZ3"K?Tae%&Y}RBV:2 fj[R<+hXn,T^hPz ދYOcD.,I70ir8V΀9`!?T 3U\ȦX%3BvznlITִA* r^.g X"Vp"11NOP]+X2@Gy靏#AIhZj+dz<Z$f) {ȀxѾ.Rc ߢA3ϕ5sM$] 9 &<_̢X43eg{yD?*IW5FhPr=2V% `$r'Y.:mD&*1{cQě]uTs'Zj!0^w8x&. Ƽ$b拃4m|PDSq&|0n+ JލWoD+2+p7]o}aqbF^mI K]3<.l{7>ʗtn3]iKq%:f%I2Vi#8T2 :u*b 1p`FsMP t}o$xC+}P*Ų~>!}xu!7 _1o=Jd!"%eNX6}}jk ;)LyIØ#HO NOH`/b4L3 ,K:!9V*\,@XatlvBj]78(m:ΰu쀫"2L2D@ѡ9> n 1)5qdV6cL'n"NjOq뉭 JyP VRWay"{NP;Y38]#"[0ѤF1 ;5#'0gFŋxD,)7LRr'7_b 5 ]: bEwæL hExc7M),9c2{j7#4)wڍ+OlT%s5uu|[R>U_sDIgF.B {(@éCd礡A*:M7/|3%+]rDpjH4.C 420UKGxm͍5E.ʔZ¢OY-@.'⨔A訩6@q|b8b:%W[I#e 6\WDw_1f~h$RwN<vZo'Ҿvb?Z  h5MI@bΖ.D={5 $RVI}lӚuHbN?]NxRN7C6@&JL?}!v) J-`JL|clHN7ۛ]ߞeHɊ .F?G8+(8uc|%Uz/O!gy@8ߤwf;+(s|έʾ`&c?f]$tl(] zL7hŊ7hFCu"t 1=yWR^"I-vEJW_%2vhuLKl%%ACg bC%kJ(to1'|qD'k W3ͧI0O2+Z b\J~ZHSJܣ R!ԡgŽ2Obܠ4/)ɰYͬ &W=w8YH2FW䟔 e+!v3Bi苠 ܰp qbwo% S(0hv z`Nu\7nm$8%/ <>4h} >j keEdЯ41.wn 5^+%[*qE&DT 5 2NyͨG+7*2lT ; y)*tK,3S JPɀI1y:ۻYAK١}W1_1eUZ^>ydxgxw3.U7AhSR~?$&^q57.}~AYT!)vO}{a!+x_G=H{ Qߊ] d*{DĢ4( WB-opݹ8J8PiYOmxa)aAzGlLSb9r{q33O *}7M뢺t۬N`Kn"jqt_xYCt8%kl!S=zD(-%#] ]AMؙ |of%[7VO!(yA!XkY>ma2Wg勸yh7bְ!p+#a[?C!6M9MQD#9 z$ vi K/3x̻