SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 P%| 4 ]/]HOL-Analysis:threads=6elapsed=313.396cpu=1539.828gc=58.808factor=4.917zXZִF! dK]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm %Ѧ.Fǡ߰}ݫgyq`'JY4zQO[bGH+Pm#%T^XϓΜg;pN^V|{zQ`KAgq(d#YZ4KosE_ɵ oRcJĜ jZl  Hsw- ~ lw~Zϙ0GpM ][yvN_!,=!I ˄CQzUݾ_@("B2'.ԝwF#BZr KQ[*S?e[7.ފl1 o/aV:f\6 A-ETwkN7hA>/>"w hZZtYƑit.q_z:&,Ȕ~\3fbCT3F_HXHKxG?JxEaz]j \9g;͕Z<ϋ{7.ΰWTN8z]^'ͻE.iS8Х8*g v$EyĎMOl *n3|PK.~R^ݭsD%Uu0=3 )eÏ4 p' WEl2QFܚF64x&.P͎ʁ;@ \td=&^8ÙtOm][رmnm6+nq=ifu왨qD *po'2M[t^s ETI:W`4PSGZ&CR ^M{iIU ` Ž É{iɧ#gjѧs3XX.;з;X)kAwGv:?=>@ra=ҩ y-͜0!̌xMWTXwLy@$7'v4ď]E=CX`5]9%gkGR=F;{0bȅv@722w`u 'ĥb,\]$$?b4&U&A9 6ꢚT ^t4E)R٢| }`~)yhpwtK6xޓ%4"eӍK:} I-#O9 ™5hpIGم0_2ofU I.~ZશDEU-h3ϙ%KR͊7KBN}M&\Q1ϹFlN7I,ǛE3特 S8[Fůp]AֹjcXt01A޴ TmY71\E K60qBna]ڀKw~Oyd-d#\{wv&c1`&M-sZ}cNrzº޷bw &)T 3o9LTgT) S]dV3 |0{iX5g!&k%UN|_g{p1Ҷ4hVf?4B#8W[C@獫;dERG%9c1]^S#3߻Natx,h@OE!:4W-Vf2SAs,rO}\el$4́~?p]KSZķ#=H~QR0;SnOED;'ɐ.9c$naNXﯘ֬ǢŖK&=$Z̋_M֌5@{ *r=qè̶jV\t3n-Gp^tR(,}Ѳ5y=7ߘrGkQ͒?~LzD ⯃K*-HZ(% rioh;#/z 9rw!6ws aBV{tF`'&hg9x3$jT{}*_Ƹrʐ]"XD= ;kE\ 0nn0ZfB\N8 UJt0z/qrWkmۥ7?h 6=:*fLw^d t촉'YH* k-~_$_'!ƨ-h(j"dVN@1bSПb@=c5^ \M^_ Z$hu_uhBA4 B@N; fV<[Z֯9 nPy3h }þ;e+UCfd-&wI`.~#Wu^Y Waoh a23\Wݓ\tjY'n&etޱw4(+/(JiCK.B4lcc#xi4灣^>3 9Ź66Z`BOk !%6 8Ъ7>ڥswX EGM!rbN5H#K /ۆ†yz*=S zڅYw]oL+ (J*P/&jK76hLLj5)3w@ց?u~׃ű|x]YQ 4yS0"=jIn[ j 5it] wzm;&~=HBԢ=a$kPxoSo ,~¢ZzԨ]hco=PbFxqF5WJc{ӗk2WٳcͶCZt'n%K*PPzu߲:H&mlr7\;qHJ6/479Ʊw*oD˜_XN go '@B-ޡHٓBC]퇇U8M D=6+Z,z'93'v0Lh)ߧBx5Fٽ"M#)Hۊ2vխrqDX bD_ @;U2X.(*. F⒍sR>޽Fi$`*=} Sp޳)Wi@׀[pVZz*ƾ#'6\\ywo4Lk9ϘʫChp®d6^͍(u}z 'c2n#^qC?IcY,KȘzȭ]s{cR6Ξ@nE\Ui_ĻtuL;X||ej{Uܵal BXaY]MٯW)9~8FrՑ5qv)lZܨuDJoʃ;VDmUK?d ɿ a=JҺb~CMZ),lDG.30L'V>zs8b۷i`:~Kh(Ch@D?1aN;>㭄SL֐--7 郓 OEdW'%Ͳ6km7(e)VBӯox{pUcd>y{i~O o])f))aYw iTU#$pj#K|Scp5#rHkQK1tU5۟7}6`T!BI xqa3C;[OH]4ak!qhRޓ-N1_6+Oca% kfIh*9NrY O!AB c&o;n,〚$clW4B<"\8:2SrmE{N8 L7O?+y)ဘ={Ud7oaC>Gx>w7hcma9{f`8A{\K`Gx'&Ѕϝc`Dò2 $ɖ!6;?Vy V !z37 |NYh&xh:RCPԣ(|'jpkkm^PО~'Z_)Xܑ)[g"s=_ Y >^!h{#~:o^GȗN9k렫zkA3=[LL&"분wx=N\V%Dh >i_8rdoU\Qqj 'P/[jǖWx64˓R$߀r\uҷ$(}i u0WHLn _%B=: (€+$>nLumi_Vϻ'4OC=)X#zw,d3~q>q> 3ĺzKuipߩpݬ+6bӀY=]ʳBʦBWW7<"Vd =\f1P#ۄgg~heXV̫kTQl"!!RnC`=̧i~ B4S49^p񓫰U\Ƀ{/gρE`Z uvo|Vj:K~\}ME 8Ɏ44 !x%b?#Nc=ӐV ofa=M oU"[ :#y!6jkN+txɽQ <ԈB:,o;ҿFqZhVO1w \%KN%Z_(dXvҾ(;&mrb 06@Gaqegч:P'gN uvoz(hQk̹;gߧ8-{G,+\׾^Pz;zL\o &ق=#o3mErbzm{fPEQ"<_DݑY:>L  [ejh)>`XHԂWAT2̲N]yɫU[g8tfʈlّJ>DwO,7wB:K﵌խ<+m跫ue߱ݶw4%WpCf#>4{bOcڸp,G`eRUmS%7l(5o 㚗Ēlh\`5g~dBE$\;jhEp_O%x(!91ט u0%m | {Wo$|< k+ɮb碈7YQx~[_sr҃oh +<1R q.I|աIlȵKޡDricZiFʛ|9*1$ڲa2 cH*'T0b* PXAJN<9Z޻(Vr0*`q[E+]1\;C$a(N"u8slvcFIJB*} Y~O'Eފzu5O20iT {*C}lWit&q=Le!xOe,*8I 5[ع{|yg~}̇ KƦ<خeÖ n_ՖGO5 zpr$a5RZ|*t_Z1MJdRYZuc<&q\'HJ|If%~AӬ=J;(z:f?nc.uQ߇F Zg0!Jc6 Bԋ4p%_VX 1%w?{jGw]M<5׌iHG':qNdv'YmU'UIaS63P,"út@ѾHtWcyҮf~ρ/A3NI#/{x0 ч08ZZdrW:VU){\{ ݼװxj{kէ:VT_ͻlC uї'%"P-=t퇺C/9x d*'z,Ou _SHJکEetzpp,ERdLSJy{~/jF,mu9+H?JMl69 踅a0ohάVof[6. c3z&S#e[NĿPAVo;:8mE)X['pJ3 #ȭ4=)#fCHb ʪ=̓T  5oBΈO8)Oe.͋J$ٵJa/&9MYU?e&G2fG}cU'D29 &ƉWUפЫ]OBkW+zDNLA`2?V!J#+ͻt|1):`! <*xJ*':d h+^Ӈ6Jq5* =YCx\0uTbO vdg.GXiíDzk[5 mՎBcvԨO;cihoo>F'SE%$Ys0i~3,v邧/ƞՄa<;$Xxyr#43rjc1X$xiƆ$ܼk#}_EXV|˩ =*0B_BgJQQf!Vb9C^Yn#*5)#@@NȦ%9`ICw7DNē?8rÍXc>~q=y&\!Fʈ+uk`@_6A:We@^ En:֗= n<.z(e:j:ˌ1`8&2֐YGV7 \}!񍚄²gFt(Ϫ葀;0ѿ1ƺ_VXGUHJ0>[ކ!U$ (AZ+??/b>(Q__4=?m{p#[ ?52x'Ì2if,T.^+OhK$ `;qZT4Ә8;CjX6Bk΀\L0Abb}!n1mᙇ\h%Ƃ!zh ~QDf|W>JbAm4+N4ߏ!ܭÇ Z8^'#Ӎgw':gSA_C?;' U^}qԂمnNIE5!`yDMQҴ$ip "]A_^܎6gH8[#v:vNNx,p!S5F`ąTi^ O~9fb-ӄ\h8~-TtK6JAF~9\ I[#|_ք{`˼;fUꂿ轳I@e.wYϷϭ ])r'N:Eθ A48P\wus؍"vTa:B/_b-- .S86/<$tjۑ"d]|Gn(~ݺV2_  .zD͒(tP^°^V|q%M;(O=~'mT\HF|01I+K!Tbn̞m \6\ 9CAbNjpG5KJG%SlGڎc*{=W}(=(r󫋙t,vQNT" )_2<[VHmO GhG-%05JHw6OXg7ʼS1!aW@F  ecbx?yr8ԼE#h"IL94;oQem`oqf2JHϝI"b#Y=НNM,]0Z$Drf›;}k Y{0Z-rmLRJτjN[FJlt$qa`ަ-+ m9!j 5J3f0GĞi(Z,Hyy~Tpݯ+oz֜oڛJz8ibև.f> ݃ qCE;tIF ("o&d)!UJX/jjgK 2RxeXdaӡ=rOtNѠw aDYv:++oJy݈d," =!g]Jh!b}^zwHc̀qFk. [5'-.-n4(gGȯbҦn%ҷ/5tm<̰3s .A?vwe{KjrNz@Rp>9 \43u )ůYMWhF.A-Shhhz9c6n% ?7BP[cN]7l`5(%Oጬ`Sݥ #U峺RR‘ 91;-4ԝ$5L#^%ԴHn !zSp/wTrl$$c/dvs됩4UKkvr*I3A[:3wcU P* Q9@T_ѨhNk!B?0U(?I]Xd #t߶SRvzp LɀO&tgo^YTZJi XwC HO02bk9O59~5[O:#ufż^%'[ ak'Lh k &E h"2]X/xt|–) mK+n;ᱹg0HU_uٻ[Cj@AM ?Z?}y4*24FM]d^ VP2: تMD׭?V> rč['?^)ɉb†^GJP5b~sZo 3PEMWPWoq:Wa40Td_.p֍m-'?-v[X{0x5ŅrVO}/:O;zA-80(^e>eO޺ss3RQ5<16R 5UKq'-WK5L$/;+JMMkNI;HK0ȁ1a$ >^0]ҊpD#RWˏͷ4Xe Ц,A$: $&^$ɦ3pO?FIrov4ߥ;ihjH7FT4OJ&#Gzə#*Q|, 7xlfL\Lc7^ _,'@S|X dN,iq  2bi &i} n3hY)V{3%l+13J!*HU g7> n;xe;򄔕?PAu!12V\w=A5:f/zHUfQ^3+#xNNKg6Y_e)k z1͑#K4(2ڤ+Y7Wښp%"9t9d=%R$2NE蔾^'E#[[CcoY=qøM1Z< Zi0UnŽ#bLŠblGC_ #5ct}nDN7]/HLjFA1#,|L\T;(4XǺm^w.r>kvqOD%:T23#"LnNih yHOmH:)u|_f2.۾κ' )^xbBNnwRω*asCCT'FuE zn)R ?,i$%K_UG7{Yg5eWP"/= ህ1aBr&_/hT>0hNafA=d& 9'U?Îy\' at<'ĴGQ6S# +/ xvhf(21R?  6Д3hҍ xeaDN0֫L#N=sϋ2$2 [8:^̀}=g4ISOJI<"E;)ːw ڞ̺IP~Gtmi}GC %ؚ^j`ҍM uz?30v[ jz֘J,zCc}mʁ'up^bHFOm"*EMGlQyy/BR ~b8\x_ïqP!\q)dĩc=)*XGa/ "Qv-P\-"IA c+j>)Sg!]S&ppZ~i]@0RHn3oHSLz6ɉtBΝBvPcW-B[‡_b/?{p<5WXX.T޵(X(󒦂 x̵Vb6E H]Nȷ_t\յ!kܚrUԻŘ}#-܈۔l1ڹibAU.X'α; rƏXh6GD΄9Њ-nP*d`59+G Cxұ|- 2!Pܫ̰ '(pH:!wҹˀi7~mҷVXNrOH`(nX_4feg*mQ3,~9wTrZksѦy=; 'UL|JUC婵`%j vZէ'o>v[ꃆ*q0D!oc$5W@l "ꨩ}|`nC0GUAZa"p7''bVܩƛ_(FD;ˆfvXKtעkޡ`{NUB ,X-zR&PSgOj|0YhB br"Rdmd[a/U>ӇhByEni>{T'~bHj:pœVA,0l^JCTD2m\x^}9&l w[B)p{Օig+'ì~"@3/QT7OT=s8@XƮF%kzaKZK{cO=_KUPۋ1d L'&vsMLX҃5]4Ao{\1G{? l[$P|ɒ%oH(/%r΅mbݚ1pvxuUxЖ]( iEl-Y>#teռw`@"gGv2ˀhsC;mq lZ%p^%ƭ Syҽ2)[z!O[  Iݩ#H j-jt/J8{ƒ3d߶vn\UeC()`Dk`p;jYZӸmXuov䴰C7Ņ[9R&aU ׮ 28ں*o5K=0b7𾠉PX $h07eq[V 'X+vаg?#U0nsaИ)˜ckOkE`a!!;l{YȠ n.WOG+s%m;Ղ+aNᮂʔM~cLe3ph8sےR&ojZH.ǿcsL;Ƙh(Y ^B2t1ڏ>$!})kYD};wymk14Wo>R>^Ml$|wup z8튗@9Wȍr7yʻx`놅5d!;`t9_}Z]_-4:H&6ȷ>߭Y 4Eq-oSH_+& qɶBU]$zp ĥ~q z{V=p^Dd @5xYN. Xpҹȉ3TѴyL0shTBGߖ6=4s6h3x2]n .SP>o^.Q6.W5w2 L8 srOptD~5@GEiX d,މ07Rbi\hj=yXe)L*՝le2v}|xlQ ۥmا-s?T2& Ftf`z M@#c Xec#GJOE)-OnW¨P@~r%HOR䭅 'U AJ"wDDEN[4v-^c+^K^GNn0|Rq{D'GYr%[2PmKf1$şVW@uEF/"%=,`R?y\fһKX,FQE'ujJZ>yTqIuI] #EkXk/x-y=G(#)TEk}W0mEy`DMQ{QU70YMm oN _jtu6~0 ؗ-^Ʋ)Lq vZIO`X$(>U!@X!RP+ifĀʔ(!]i`&,4shhpZ֧~LKBwX2YU-,b|A\b*ȒrUlkIOp1^vP ͫ$c@u7/{bI,܁AJg8< n ]Fym9@6d:#,kMxE ? t7Q3H}4LߩLS휖 U-ZV}{5BY)JL#/o%j`p3:쳓jv#aND 8O!BsA`6nFRZ kG)N Q 0pƤxML(n1҉yZف`ĬpOfbVbMZEA6>'k7͏6TB$  orq4ZoePQW!;G'@)KOc /+~sRZ=6z&KwM;&~ Z\ -ZVf 6]hh~k 4 G)/9R8<5 _Ypn:dP|&,{vhL~ߝ(^E8sޭ cq@--#1㉞[#xyNcQzVUno`{8mv|e.1 ',`4A !R@@xdb\k5y/J !uht,{쓳2(p#ZVjcN @ٹnCUGڧU`n? p?t|3L4%D@1_X;kVB-ReOᇁ \6n&9#vȞnE9 w^w^#PfyPD֖GNHqe*]6" B  gO*as0n}d`ໆ̬#7lBR{2"%LsƠDŽ4vRQ"և;+TNqTx]+,'ӰtՓFiK^;d)v{nm>P'#"6k0dz8`~nɑ[a % |Oyg=ZLhCvAgYZ7zXZִF! %:]ŗXiɟ1˦r!cHkMeBd4>Lhx/p93s>}RRMPx=kBy{nփhQpgzE,VUR9g/刬w;Ur;^ނP#tdLC$nhy7z_L DgCIA D_ |kT͖l܆=0wa+"=5ĪTӹ^-F4\A"췀W3Jܝk\Lu9w01ecWD#w\/ULLw2gD& .Jw'wE#zv[>lxP%pF4GO M+V\*1gUn<\ F %XX(wA@ 4<)F E 83֧+T,8w=t9 VGd/LzcS2% wgϰ:p&ZwOFÍ)i(0vgBBWӯBr9Z5+m BݴĞ?;j~I6O@,o' NA!B3eܥXD`Vs K; [Dww,ImQ`( tűw_ݥGn;vҮ1#AL㧓)N://vVL7pBqvJF)gAeϱ2/6P1Xeeэjj+22)..7?<_xRg>Ο0$xB}cJ-2V[~[p|K;/9IѐϵvSJaEt:?^-@*`LԔRTD )g)~7ܷ88+XxI $ɵ)ӻA/}mAmL@Zi}bF/:a\nLn4сb*ĕ&ׅe`]t{TBl {4BK(5SSI75_:"tGNöө 02u C&| }Waa/qD) m^U2?*oڢזYŐ&cl"V%d ]̆#iˇf/  u2'ܲFd~ ozr-t9y4) E[q?y<«Ȳ`~H! ^LUO)?5ñ!y˕(n:Tށ2dхR瀺84B3`57bfUD7G7g2fv \YygXxI OJݍ;8 RPSStARhĻJ+gYZ7zXZִF! RR]ŗXi%@jdZgΕWW^m!k,W|8[}$Y( pW=dѩ4XF#{|[3/?SIIT00e7E X|]͒0RJVE)ԓ@&U;YRPDyj89rG5tgoklt $Dm~0b%m^ (h@0Z,'09DX>qՑ Դ(RG#w_$8B,|%&ۆSw/+q2T Q1Nxz_NBw_5a̞$8@td粥^mA˨K4$,fw9+> .t'y2g:p X>oN2\L)-yd%1YDea W-.uTCΗG+^yK4 Z#g iaVP9[CN%B5m .ƊN:h0u4-A 1WL*89nGh`K+^PWiWCwZ}> ]Dʵ3hž&-=Vz'&_o6闭(o~k/w,Q]HzD>7wZ34Z8yƄw!{uh6=M]BLۿJ)<|:ֶ=n}kQfN`8 ܯ굿oBw ݽ{ EcGeaaV>Lftuz&Eh? Zx^=54X{Al7C<ԡ(s$l k>\d-ԣVQz? qi[֦Ak5BsK)[x/P\-ǿmbGԦn,N= K NbB9aJ,J!4>!FnSD\-iX Btz\Pq4P5^E"M`F8YKh­鰄:ܚEHJΦ)/ 4{3E6\Nt+7HܘQ\1*d!^ {( a,0YVO;AHk"}V~A/A$Z R v`;Mp5ZT=1Hi"1\);]G* ǻuΏݘo_p@3;IA{ҝL[6=sy(90BLN b.PJn4-AG"%A~؊isCUC.+ר)Qh5RoVr Y5B4JI}l[8)2=JEo[iZHE/^drW <5d*v l捷&lqoejl]'=eդۅiIWtꕝͲ+w-ۙ&Y*](/v!\zӐ&lp@6@sO9o>ռŻĺKV/w r@ii<$|Nz ػhZiN,$']'FoY7,G>%8JͭVso]2|30U"I6^GH8u[6Zf tt0My/SVb0_hR/7 ns,}qxCseTjoHl1қςm`.> ~ziT\^GiN@E_eE c?LC)J6 ܪ ?:9OҗNAm,jwrY %_v H_gd5R4*Bhj <8W>cgᆟզaK%:%#ZdWex=k]:s%ӞuKb_qA*pVw1{VQc,9ɁJY91 Cp鑙W"BCbDvTw+JݹPmG~ͬh bO3,#{T!CzHm<93áj\HL.Lf=aL:"d_cc):t6 1eP ]*W 3]u/}D=C_lVo%~I5dK]=T)XDm"Ieh0q:&\!qlw"xb5]*{иwݽB#tQ ɲ” 21o(c+ȣ~xԡaMΑ|+v1Bk@`Cvf\2'bMY%NYL#\@7+dG|MS׍)e6^E;1٪>ϼ>ɥ&K70к*? 3إg2M{%Tjc/Lh`y:I`DRo:f~k'ۛǗeӠ|[jV-1*s5\[ªDP1>Oa^Ú뵛aVi.mJx'||Qpbf]mUe&? 4u\]r.g™pFoh6&elBLqф'x_5mY `Nh sbe-,'·b?v5*?r%M[Nܹ҇V@[`j=k@hW[N5ePɖRva8e0 S~\{ QZymEJ;DXLb(rvYiD}B&3tQYMTJɽ =NZF R JHH[uoo=窳GR_gOiUݖs?_Y;Q-_M2:n}r$<}!D'\twΧ]ՠ3ќߺ 줒 /~,&!}/Ǥ;jmiE)<4MŊیGj}`i8ge@d>$@iņf?8@EcX9FhsVW5aY,gfq'^(B$^ [H)`9MHᄰ$9g Ce#wyP9F#r{&}ogϰi PE3ۇRI^ p!j ɮ ZF"ovZ8n$R#=1tT:VU^q0DPgp1R¶U/Ilr)9}Y t)ђ`YS=VRiDj@uc3!a)! 0j_ .P.==R3:8Fyn1z&` - .Eu$_J NU=Қ]D!eL' ;) iM<+/pLC֪`N:_Ѣ.͘:ɠ{*NUSoV3{j2>Xo@>7ppAY4Db[<zA!ovY E ‰0@cV6ˑf< kֵ ;Ꭱg,M=A(A.FqSMipSi L m6ؚ) cߊtoȜD̔+w?]G+\DFD"qd X9"K蕪z= J MN~(0_CcMae}5-A ߔA 6RSP#Slu8Vќ "#2& ݬJN`rªTɲUIƐu'T2{"?ĀFZcr³g3apT?Wb08?SKm@b=5OIuV%152\zY8.t|:SN= A;yC zҘ*sY a͠ r0wlC!LT ȍm*B"$CyYhe/`jc,BcW p1,aVw '5?EMt'aKOy^⭳%9/f>8[ĖZMSto &FͿzNg|M0N(+((m cxr;#5Eѿx*],x,gH[e$=nTD4z,:?(IzL3M0/VG~:Xod2$E4\8⏵S{`P 1H؎ZJü;o°[ SdZz&V":> |Fy޿ /26iDu3T7lFJASHʝinA*SPNcmRu cL YQF>7UڰC/n?$ls)4x{W Оrl}+zWms;]Jt50P,&hg~~.}]FX& Kdv&WMsh'Ac|b>[ `?,ʆ gD>^' A~L;Qq~o@e%n/7ܑ_NKnyog!@JƏ鑓8'PGZd:&58jC۴Ztn&HlGu-2 |\R`UB( ~Eʵ lմ\*,A6Ș.{>~7Z1GpcR¬ EŖC;~hů<^8G ;t[NPrҾWy[Z}>e\]bd1 !u^FǮ,ɡ֝zwYx`}|OhlԹQ} u73ɰA,ܟ/+o(ԣh ,Xͭrz:+Av4 O6'bs ߽яx&{<;n Xn "e=!erQR6 o P]ZJFMS /G#U5~M T '-VbH5yJ<"֔ԞN7CÙp\kM7QwwXArӗ,f|H7adk.[k⃔/iWX"bo^ CVA.(?j;nF rmK^:0}rm4UjjSN4WƟN#T[8GB9 Oܮm# 뷕ֹeC:eM_) g$JgH{%}u7d YښMMellh |O˥ m P&o.a úl '},q_76߸T/!*MNW `]D%O-,EQ8-Aw-`"N~rg1tz3ˎt+h@m}ڶ* 6G[}M}~X%%!?HξX(ya5T\a"p^9u @X#f͍̰ 81JpF dk& "ӝRx=iHITHeQHJ?r$1;,|W &kT'ѕNaKq9K3yv=,OU4ˢl=jN &90Y(v,)qxt E6KqW O{P<E\vnW;B|03ҪY>X9sMO~Yu3oZ~~Teh ~#8ϻC-10Dj moAT˟3N]XpkVOtC/MC14rH~4_i@Y;SgŊLv!iEh|C݋.]Q \C~d,ZJ"O$/-R3F=PDy`I4~X*.yZ Gxt07.9$Tvnh`S5 E>gܙdbH>B3Q]Q ZRa6ڏ,5[DP1 ܘPA5yԃV[+N Wț7>y]Z ٫JJAQFAuX!z'͚tdCtBbina.3T;73!axx ێ{odC="$NNG3y[^"@fή%oNܘGcˏsִabt:7k;6ٕA{]2΋SNiŗat䝀|7ž˧Y[8`]@nhG9dZE'CU#9YZ#8.1̄-Ə! &Z.sZ)}j,jGcF7|WÒ`^` gMϞ,nH8V@<,s")kX:+qH-;+&OKTVfnJVF~t V2ΘhO˷TԺr\%ҿn;"!JSs>;.kG|ܽ軼+#$1B[.`/u)Ǹ*,m%an*f M!R )";jPwu sO%u$C`1 ~1#Q,\g$ RWQO^=Ұ}} 1Num~K2+<3u+-5լj׫`}\CuOaQ\ p4 &OJ#KڧA)o(!#{.F(:A8p-e8ΧS[;'+Q.x|X%ڌoy25TKPJW1iMA(W3ח]5V܄]E)l@{Nkewc̳^[##r)#;#[ޕ}fCu \<.Ř oV%ŜUC)nv&~@R&k{)=X1M1sp[9ڿgG&w ",?+z pTzuz eoNiHȜl"$3-x5Qu"53pN*\{jxwKKE|&QJ<4{D'mқX_B RuI۷K /Q/L:@V0dpa;_k+`ĖF5(\EX`N@[mK.UdѤ-Z]{['Yˮ{t%3#Ռ~КϚjJ>1@Mڒj>ѧnÃ"_oE ] Е62^u}ݔ@6I9AQ-lXGٍ 1|*E 3JC߾,];ܟ~Hk6n8TWߩ8jӖ'}f}D%/|_keiuՊFk?Z!w@"T%iǩXfؽB(ojT+wbr/Ød+kn$Q zTDbc>KXv]J`Yew&tFAP uכֿlb>A-][+][dM/D_^(A5 D-z/bzˉ`hl m1s#[hTw2\םgLbN(k\(lU O w0;cI~`- v7L w p*nlY~SΓ#Y-b {uk6U5 ŗ1'/=V % h7Q<`iێ-VD}Q$B7a=Dޫ~PGa&0c#l:o1?5ն6J5tVlfcuv4} +M^2E^f77 "-F*dO6A2oŤvY6oH{m{=)Ye { 0Et RnJ鶾Ș?n/EB . չH+;Rgj/E']"(4gQAWFWƄ`ا@#م _E>0\@h&B_OCL@ }'xc]Jm~ &hmͽ|_|X=5 <܃&$(do0 wњP3/Δe߻G0gYM\j\λ쵾Pm<%?` @H4q9W)ԦC{G.oBQat1{pUR<]ư1>?2r'"ź6i7 U5?hQOX4E0>uCRϋ0- +6WKh/M[IHo̦-2Wk]{[?iboĎ*AKKIk1C Ls7+==D-}=fr~XW8iGԊ78}U$FVS$\E5-wK.]Bh̆?IZc01ymLdOƌ6z& | }Jv Z9բ+HRݶ;DCڗ*Y_K톌Iw_lsD-jXp[,}ƻ $l j <"߾J3x;BAs!Up,J0J$ofkn]2 D2wt$P"[̀@G.1=^wUE3e-y^n[^Bd!C3Bz OCW͑$DmOAd `xh|Y"NAqn 稃OUD|j4\mn/8&OgO*yq3UR`vyv 7]EG!@PЋκZ%g|QOCb[&mH Kh PYt$BbѴ*ﭟ, 5|m9~v#sqD~T7 !7 0| ퟉֝t\(T@/<0^TgtP nf h `({vS8wKI̒ KOфox76KbRz91]uDnbHV)@$ ƄmSwX1S~>du5.#28oBFOÐAz\O@]һ D@G8<& OsK uKʈU.<>qn[!i^^iս.A#SY/[k*Ol͠X-~ERhx^/ef|h(JtI{55u^ت…> h=>)CPBz>pPH2 1 C<ųN4}@Kxci'0Hcwy~}k DpW_0;j[i|{V8`gYtc:ކn-v=6Mmr]fq[]?s%Uq]Zu7r\jHy!'_a%!bJޖWIU8 K,6UQ\Yɬ[Nǘ tζ)*{&/PrSft_qoXׯFńHXk#K#[yjQȴpH( f%@{@p]_,;PC{;-'SV '1}.X&p5uޮlJ mҼ޾#U)+~q hi 9B٢DצI&t$䛹uˉ%4ni)8Reio!A$4y_~%$?Aυ&QG=.҈Xi Ya0+e=-aWKZ7G/ꋓ;6?Lg,@bV/]Khbh! <\F";|ﲜ(@#*`xz^`Ka qXi Z]W\Q%qFBExF/䲝ΘDxp9$g!Z8Zo B+:Nwy'oQUָ] !>Z^ؚ4  2 y&h][*_yiyS/k|n+r 4ȼ*Up|pUT?;;FbbRo#p} m2͈lD5P S/$}-Eb?6upD2_D ŬzW>ԁm0 r fTN^9Ѹb1Pt;@NQ}C@vg_CMU,[]4hoof/DGЄiuXW@J܈ANO}?Rm7Mt7Pei[ߝ\)ܻUīTNH4 bc;Q06[ NHK6єg̖J/f'rTղ[ .o=) {D3rNgX*[?OU BABwP\ptzE lۇ&Dɳdf/%âlN%B>*6ߒH_bK8;]zFnBpZfS ]dxxr/Vї7}Zg|ɢf n 0 {:ɻ.$thz&5n1r$$0s@E42ax_y5XVK9z顝'j3b M['b:h5\P Ȣ8jq x1) N;lv 8vAJݗwi o09LCە<4rep<R&ҷp&Z/o'lgnbt3Qt̴W "Y}mDuc 9vOU*G=5H\L1R,sFϽ/LL<o se_H>3MO o psi ,ǽNu3ǡ+q8w~ [ ly< EX:mcGZR VtBS NKRsS.ex5PKg_ ֦¸D'5aS*2}sBޮד2$Dk@gm`G{p^?gMn NS߽kMcLH3mAt ;z!Yp< }eY CG ,Xd`3]LK;Y6`^{x~t)8jST`qsEI XUƇ $?1 %]*EO yj OQĩ05Fr+rbdB G)߮0mشr4+$ͺљte#dBUٗx7_y`}L_vqL+? FJz3w=P%j޼^6W{Y2lѵkɈ֨k1@m^s3kmg { $wF]@PV"o46G713!k8_,QQ95}^Ӡ\5B1i$~g4O!>R MPftQt62PӒЎ*N>3<:ߠV4z|vV/ p4sp=nnfcg7 $HIh&j-~Ak@TAPy&TnQD~V-!wucRe3H_+Vb7.5K1ͧ"LRRW ABxrHv^`v^׀“1 +P +=!@>' L|U|_==F6ebysf-83$Pi^66DcLx^5^'yuƀu'PUFTxYָ̜ i| OS0;ILpg_ m,gx})aFE!A9mXbSW9wpl_O!rVDٺ"uu8 :Q J>io@ۉOvL skG;.ɬVXӚRGxx?k`nͲe85=r P,r0 V.=z#KΰW ݇J& -?gQƀνU" x>N13്/TK -_H%P:Xm1(w{y6$c?Qow8؉'&P,a!HoЄtjrZh 0vX̿昩ji$Q`n [M|8!Yx uhwZ}++ΰ9[8򄿊xiq[B' ^" :  w5q +Ej(ug>֏*+r*sHqw5xV8"+N R"O_Bҁ>'/ pDZdz!Q^4.!.afCfiMM܁Ȅ*BnS;3._d6/j?:=4~/)M2} O$8&0pѐjƺA%S<菝 1G nL8 R-Ir*Kez MXGgYZ7cb7247de358f54175c05d5789c5c71c2395d70129da2f23179d57a846638571d6a47f5129270b51 1af047ad3a6300d370f1c24ae4b47a646085a2da93ecbc2cee79fc318accb7c9fd9217ffe979257e