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 bb#v$ ]S]KAT_and_DRA:threads=4elapsed=33.893cpu=105.452gc=3.4367zXZִF! :!{]ŗXiɟ ^xe0iuIfVk ĐuU@\%bȣ(Dj3IH}[>:.ϊ SyOtWךR(mfXe={Ёp6i1S}^MVs?֨<EHB8"24]/'Q#cF;( =F`zuH4Y$F5Zh h`cV mf`P,HAZ->XV-+?+| kׇ#c0iz4^ Zi;CM_%R/\oRC$ &enmK aUk٢';D0#˄f;aT{Ul,YYo8ӽg4pypfRp_٭GR+KJ$Q΢|/` p2leƾצq`:IX3&,-?;E}a%=8t=j*SVW#px~ l$:e_JSDlͭ<'-6&:uK6%rIFH56'|%_Ԍ$%5xf6#g?mpĜF !}'ŦZaHRtvmyܸO8A).-\ ӱ(}j9{ ,ꬵE~V!%ÖpWR:HU ܞ`,5 tAv Ѯ_5"'v8VZ]iqTdjf~? QV*U^Wq4TIW$,Za%lZ J8sI7ܭZLر,-J mk-m0XִwR"@U+m !iTx;Y ձ궕M6[ԿLcVHMbT:]s36Q s*^ٵ &'!>_`19<ؒ#WpJ@SκgљC\ED{#Qƴl #|8Qzn*au؅l[>jtwp|6B佸S^TK2}LzBx֖7*}pb-Z%% Om*2X~hmTgJ$GgYZ7zXZִF! C ]ŗXi%D3vꬾ5?TBհ5HIӨE `=q,kR`Ɓ1˩*c#D/AђIZ6`-"־C*9;WmwbXّ>PK.ahZ4 =+~|dm>OhRdN3{YUAz+:PB%@ogQϫ 1yǚ]rŕYi٬O $&;Ҏw }10}RTNjo1puqXf0fRu¹a)`<N9{ L%e![:*.oXZ*V H'v\TO,zݯ7Gtw2PI+k)C,+^45F^\Y+]Y\Bb螫A[#0Ոswc2 69oئ߼Y>,)N E91d # KAT_and_DRAw#-% KAT_and_DRAKAT_and_DRA.KAT2document.tex7zXZִF! ]A-MՋhvG"uIBm5F8)%{Zn4 "5/M3jnu\RsܘJXژ-g!k(9W", m"ڸ%]D hw^Qk-R :<}1KTN3/gU'_毼)!NNh8؈IKsy'cxFĽ~޽O:m{A0Gs 8ɏ|4 4ybU_D @G;I&} vwS*W3`iY }ⷆGWѾB{SRmyB_O:YGh>w,?S/VmWYPPDw&F^&YH]#-% LKAT_and_DRAKAT_and_DRA.DRATdocument.tex7zXZִF! ]A-MՋhvG"uIBm5csB$E'wi,Z=sOO!&Ri}}4BW]Å U%mu$:;M)P_9GР=Ja!F28'㨟CPp>x\W۩!:`f09ۜ,5K4`)?YeupdmJ6-aJپ\'pb!|L# = Ar j6jSD1ipEՐKC[H11U KqO?iwrs*/=q-b$#~t 3{GTtP [؛z}moH--C[Fve`\+]s^7}*${~@jW=+$[~U _`ΜI> wXd~2qB뭀0^#e!nfP6 kc@FZ޲*ϝeG r |n_7*.ƴJU5n|-u5r5w=`_4M(){_߳iZ*9K_/;֮tC;0.0|lM7(Y@%*XW2Y/     y pG? 3#9%KAT_and_DRAKAT_and_DRA.Test_Dioiddocument.tex 3#9%KAT_and_DRAKAT_and_DRA.KAT_Modelsdocument.tex 1#5%KAT_and_DRAKAT_and_DRA.PHL_DRATdocument.tex 5#=%KAT_and_DRAKAT_and_DRA.Conway_Testsdocument.tex.#/%KAT_and_DRAKAT_and_DRA.DRAT2document.tex,#+%KAT_and_DRAKAT_and_DRA.KATdocument.tex3#9%KAT_and_DRAKAT_and_DRA.DRA_Modelsdocument.tex0#3%KAT_and_DRAKAT_and_DRA.PHL_KATdocument.tex4#;%KAT_and_DRAKAT_and_DRA.FolkTheoremdocument.tex-#-%KAT_and_DRAKAT_and_DRA.KAT2document.tex,#-% KAT_and_DRAKAT_and_DRA.DRATdocument.texP7m!@CC-+hQB̈́Ucj<>~|G#lq2Fr'@Huqn=F`,"!m;B?|▻]umn/?hj\_NCߢH{T\<VL _[#Q6]2ǀs0HaO^˟7~%TmWPCu#o1!4,<(ڽb ƹ$pn-pH'Nk:M{KRI׻nnҳKXp P,eO#(*i{288RqX ]ӅI=37ܔD#%EgڥOY0ͦ1TfQJf^"˯qk|+$/l'?m.C _^7@u: DO7@[u{LH}2+O1/y(xO i82w఩<&׀FNHKj]CXcbᇅ*]oJUA(3TX֌*h8MwYU 8(7ޠ]i̇O Ti,݋16(r1NQReX&,EU웲2*lwA`{7DS~ 0CũM78I=^_bϔa3_V}(iiZV 0) :ϫ*ϑ]Z^*,%@SGƟNj|ӏ6/')2(~'5}*-_t nZݦu/X#N2ݫmI-܀d{;QL&i.vơt^i lol2"P lav&x\9k=͐ō9*RfRruS#% %ME ѵ ߚO. 4Q݊}(+;!oxp!r0"W %8^c&c$8؎3!EI o%g96f|\ĘRݣ=5wJuL( $(!ա^v%!W/f5n0B1AB?&m ׮y}2CKfӖnK_.q 0h3.e= o]'I3PyB.p率8Vcv ^}g 泎VmmK0L8Ո2 bFzD,r MwO*v\c.e+G]WcP_R&`g@"4`L~ U?isT|]WeԍB[->DwXP@?k{f >B~J gז' 4jvgn18L[{%+竹򉍣H:|5"uSF->5Ja,@j]]Lӻ {ǽ; YA˗8wC' L3]r=shW5W,zd+ ? >m63.M}PS]j eڼZ]:VY=k/ȌD`29ROC"o>[Ҧy[( e Ћ,ҭ =;J_`7zsi,V7cm".bF {V8[$GDCWt1ARU>E7XI{e,|l(1SBLuO3< 0iL,qcZ&2̴kPδJ>+^Q%{r>N7Xu/ FOJdvQ5%Z/AހV}zG*7DLʻ#FX?e?iH"u,6VJLqXFf)?Ou~?_ k,d0Ԧ,'(j,Ì^$hK0gz(#Y ~ؼnC`E5J58O""{u?ԥR] ]XGflƈjTzKVHxd>}ϒvWVް22Ƅ1JӃq8@lgNu-@<>8WæYr%롇٣7%am$'7,ǫͬZӦpU X4uunOz@Si|vxZJ{].9!;/ht(i FNԓ$xU!O/h }rN.fcNtj o{ )BjU6y,Z'WȖIڱNZd]lowȽU@$0]"~HAT^:g߮./x>) i<)EmU CF;$2$1jѼd5m¡R?KX}` s(y{pa+C{wHz,:jF bb6w &6^{k5ŭqtƃ+tv0'YQ=9;>d W \E [#bhVH4]/@1= WMOd㤳8bL,*y Ɉܾ9y87llc dE">?Q *V{bS=H~M>Q`(G'Qǜ+,kb8M֑:tbVU")AdCK@ld$o 9OVeq qp i'êBfib$wDLf?d ­bAKݟ0\ OiG})?GЇ*e+߅k[Xe6̈-dSVG9mCY> !-TeVy=44]{]i0ݺ/\Y>қk7 p ς1Pk"+ _X<zpfO!iS%OfAG+=9\:zo ?) ɘv̲"W|.ս^KD\r5ۘ溫yS?h7&V$)`4>]6m"w]}O Xz*I.2W%TDxױufHP\ GO/qt>~OFwB jN@Z[.7!v@4]u:.dKUwJx+*ZX*0Ղ΍xxGRi̤0UŒ܅~ɺo"o.How%hJyy׻ xrPՎo~GCW!l{qj|6<7<9su 8.c*9X\%/#gր}߄Zp5J]wOŧvؼg0FŭUgQf XWǺo YISvNq~t1 ߧ6/; >X2U='p'CTh/Rχmٷ#MAu4 rbdC/$[9t֊KAE09^C3™R}4n:[K?֍xa[ òfEpPē>휄7UOG :f\~Px]S݂A$Iό"ð<U+QY$u515Z%.y]̆fM=C1@$̡͆b/Q~cPB䓆ɑJ?+lP$0cMh#d% s`]'Єˠ|"pªn*`_Z@4_]HLo3' 0AA:SeoF@iD0;ܻJS,#JQ5%ain]p|N#!?KYELbTȫ WSq\ʟ?n%򏪊ZC΄jcP!>!pm^ HϥƈsuPxW)%̓Kf̺ͨ07Dtk;DH4OEJ{m;һԖpu!-D uz}EE[|@|z˸j3W$\"FB2vѮ͋D@&/X, 첤`D,4ԻHY >fa<@Q:,᪎]wWC,bt7jK6{b5q/ܠu/'Sm{}~[FEgCُ?dܽ+W4qcd1qҤ^c&N;)GZffLHQVf&){&N@qÙ݌u przEF07\BDPmy X@eڦf52 wLo+w1Z'rl.su۶S%?eǴC_1Q]sUK̤izcHr=VPz|g̪+U#I%{i7,[yHc"b1聝E⒌Ί׊ȟ\B.a [p"E"SynxS s1I-3cvX@@X$)27G,_vTj#Ε?LSI>Y?$IO!|1?,ߣ+K&_ Οⱂ:MSGcؐ\XUU̳ھg ];}0Tz4oR~t .r]#B`oV]Z>N_qi4#rHsӿx'گ?O=H@U>  Ŋ\syLF+񸩊vN+$k uv>IrqwD7kߘ Q9н']f杒J,%:@aXs^9L=D|m %v;;v{h@@ +՝*-YԈ&!:\ ̦hOøpYtD'0 Z:1Ƃbý 9 Q5Fod3iRec^ɳA zt_rx ?>hP&EHd(&ԥgNR./ddDa.o8m1Eh+mrUJ{]H_DCK(ћ4~G=؂]Xnۑtڱڸv$#~eëo [Kf| Rc= 4cg症 _p(ҥ79 ȕJza5/wujysudk^%צ91Us^~;\)nrxӨܪ 4Ap<2)ϾNs0#DQY=3y,7Ndsޮ`iѿ㢉Ј´2+t!<>~ۢ;SG'ख+JF5)\{oY 4M6B%%aH>8Y9ńΉdfy'$ta>o wFDeŶa5W !%Pa 1~f/}u;(;qt4'b2j\G{Zi7ÂO5u 8|c^BAV tn*GiޚaRQr8n^2p`]C)Ě3Ea 9˻I?։69?@2 8xKl7{AIfL!+! JT~$Eʩ09?\8m=F]"[ODD)ÌC@g!_+%R!FcJt _538Qs'7~7s/lM-#f8ێTfl=ŘG&n8cpڥ65RIRSM^Qjg(¯K(cGaa-_y֖lZoןDKӏ-.t2H] 8~ln h7^Yp=C#cGgτ )LwG!ÚdJS7˻$ _@^l"9|4^)PM]V_Rr[CB4N5B^6o*S/in>'Z~ DZ `wV[]Fv9C8 V彼E=wbJ (DE`QM K=₟6#x"$҉"w,?S/VmWYPPDw&F^&YH]#-% LKAT_and_DRAKAT_and_DRA.DRATdocument.tex7zXZִF! ]A-MՋhvG"uIBm5csB$E'wi,Z=sOO!&Ri}}4BW]Å U%mu$:;M)P_9GР=Ja!F28'㨟CPp>x\W۩!:`f09ۜ,5K4`)?YeupdmJ6-aJپ\'pb!|L# = Ar j6jSD1ipEՐKC[H11U KqO?iwrs*/=q-b$#~t 3{GTtP [؛z}moH--C[Fve`\+]s^7}*${~@jW=+$[~U _`ΜI> wXd~2qB뭀0^#e!nfP6 kc@FZ޲*ϝeG r |n_7*.ƴJU5n|-u5r5w=`_4M(){_߳iZ*9K_/;֮tC;0.0|lM7(Y@%*XW2Y/?Vޡ;ՉV( C . &#3% tKAT_and_DRAKAT_and_DRA.PHL_KATdocument.tex7zXZִF! ]A-MՋhvG"uIBm58'*q-1>Ixst*&;H/Lz(U8 ;:S M+nE,j)O:2Zo7k`E9[j)T{OMotYjie/?:V3Gt;©kQn(Wg3&x>ĈvNO]ӭ[m,hC<2[D;4.=BcHLN|q9m*k3#;% KAT_and_DRAKAT_and_DRA.FolkTheoremdocument.tex7zXZִF! 8 ]A-MՋhvG"uIBm5nGE_|#9>i'EǺpb-,< Vf9(8)A-o~V_e`jw8rZ*?@ d>)`}x4G  *}TV@I )ۏoQ̛u#A[ln CUvX{YJr`m(WYK7[A"]Uka$GvTK>iNm*]uBX u!9,wL~B7~Xz9TޚTeYxΣ@{nCi 9tcD/(5UF>qcspCb8qh|Ap6 Uy{Qvh ݵ7l Cb>0-TUYxTx>pv|'ymR94(wm=,Rim#CbMa x5"?k] %HRԫz?g ].Nu_ D 2|s  LIRBME]3h}}< `ևkbmtc*,i+ Yl[6zE89K:GPjKbFt{peQ:b"2@DZG+}Ev -Ԗ&@ɏ{o1T! c$5kDBnSZ:j&!iZWukJT#<>ʹLWߞ2$ӝ~uT NPG@LN;_5 6|x!^MFz41euR<1ߎ~=WUk'yΕOo_!^Hv*,ЇnZ&a #9ϨӷΎ܆)_M^kcڗ(U,~sXsu ՓgXj m=1픚C4{[vDAyOdOnj0SPCjj6ho $YrPz=BGbvn[%?ci1}h'7kH )A&r+gYZ ᚌtLU<6t_=x1Q&r7c)S֫z Pxtq~P6#H58r;t $TC'T%YIvӫY=c􋻳D"Ljt@N[ YgXjl=Z0/b@ZspLqا@L$mL/hYd9<7QOu׳1.P?YiפUO{в> )R`N2 9y 9*=@Ujo>J3iKe|ߤ=l[D5#ew'~#Z33,j쫪,{ZGB䵷^Zٷx'v2 5!VRʖHGN țfl;P7IQ0V"Yuצ4F= 'su0H7c3=&_8oͼo xC~qmRU-m/.s &-du;GYB+ԚXr>##2Y2?ܶ3n j._(Dy[,3B-W4̀ λS1TENXW<±@-OK fjuvOЭAflP"OZp*9MaToI[c<4)4/k۵C=bݬ!ٞ/?KW\B! p 55;=">.5@RKfjJIuCW8%0"Y$=&RwS'Oo.w89qL3lw)ْYMrOaMKD YtoצVG=. 58Wsh#F{g~eldWoLџ%|WU籄&}y嘓)X5MmG z6jkwCC h%fp0]E)z *HBy½gϖYw;G_0nJ2c\+wz[0` %}x'0!Yލʙ~إKzc+@ZTJ/\j ےYcѝXӻa )t]ukVxMeYP6$8&Q.>x@*#2P`QΑZQZD:U  }m+&a7͠hgX\  s"ߢ6c)i9lx7 [_L}*+zn؉]D(Aw>cqry3*7m$n=Y傔tv |s4 [IQBc'E[^tYa,]+0 i܎6V`_\0 ް UJ)Ul!R~>b rK;Р|-cU7=(̲*Hμ0yb3i0@xq)M e}J9&c?~f%HI9'ymhVG) s.˙=cu5/.e}dia5Hdy*Qd\օ1i:UǶltgwٿ\p登|E1/pߍxyt?YgDǯϚrBw:+[(,Z6Hk5TO󚃠g\(vpbe\&rk>;LNʰ'7!1=տs{jڮVk:gvv#muMYs$VO F##(j1&CR+[Н<;'v}ԛP30<\-/ۋ1"_AũCķm"}NJM .(x?t ;xUg*-ݲIOG:j03wf{ `ܚz%ljc)Zqk3\_{ Yө(޹66ARÂArA`;Ɵ~?Kl7g`SMHn*ueP'0 Upn]:128ȷMqYѷw.U5pat B!7#Rq_Ǘ].ig:"qi5 lI1!cR\<=p顼}=xД 2x$B*R;R}rI4Y[R ǰ 0M$[vQTbF ys3ēcx3G 5V\-|ISAuGrv)k@L))vX}(%v[04 ͌\.Y9Vs޻*6_߸:Y.-{_l Â$&R xMQL1ytx ԋJ4} ? Y";S3Sc;?kty\sATMԲJtˉR%q..0#1YaLDti_м}L/]X\A(nPS+̰>t6*xYvTL_^˻ܗcӆlg^?-Pt H5y}6X]5r1IL4Y^5ՠ O9 h=Q\ |\e0^  !gYZ y#9% KAT_and_DRAKAT_and_DRA.DRA_Modelsdocument.tex7zXZִF! zF ]A-MՋhvG"uIBm5X{drĦ\Ji'4yO%7Dj:h-dMvD 29`LM ;FaP>38LAKmw?[~:U?=@Tޕ=XPgj Gt0}Xx'6uncAtי{3ՋYs]~e:V)<T5BfHTs޳T7V vr94r<ڹ s›1~l9wvTZq5g0Xspӆ m/ɶ&1|qCu[G2C[[B2-ԑdJ ʌNOJ'=Sᣞ]qs(=^= S czsz[.:y##~2?@넼(f5 qQ8i1D~ {\Bk3qޢcC +GX$TQPEjϞA7~ur:<#Ez? ^QAEui’GpP iDfȦ V*qU11_eePAn>dP^3ENrrRu FǂWMKDZ{|ΠгTbLvcAK>7vD1rЖ r!ҵݱ(Ej'RI luՂp^/ݡ\B%(1~G Y|`t@| iĒyL(@B}L^_Ƃ:Ofˬ!e3ọɼ@7J&ygGf͠KUףE!{3~$!~ضEv)JM'Qb)' lZYEk%x RIo<ފ.y{cmRch]nuf Ta첿n ev dlA˟fMAr-r}g?!NGy ʵ~s<}wX   lr |>Y/!dFF3/7c#8fl ' 5@7Bӣ6iW+;K3FUW(,ttYñ/yc9Kk'(YnhUWjsisK 4\$ -gX ^Q M31g ! .0Ö*)w_F>a8z!N댇nY@^>?[2C><:Rn7yt :Rz̀C1#l_0,=ˮw~[;f^{Ԙ~R29@4?OXz;[ox) qΛy+.E!3UAKbJ}*D!WM짧dPg&E:G;lN܉BS60CLq UvrjpE7tR}<OS\49 h_pZ1VQ@fM4#UN+ȴՠQD.Yqש%y̯>$ܼhE\ث **ɑ ry@wS* ܱjY°Ǻ4D[~< ?=ϡmc\$?ĠaFD6pib}IQL=aX)f\@ Рee55("EU{ͧJ؂U c.lƦj }!XQB GFaiqGo<5^g+1 Z{XBؓ5{O˱OlڨSQ2sKkgM惕Rq O;Dy@ {A|1qrgYZ :#+% $KAT_and_DRAKAT_and_DRA.KATdocument.tex7zXZִF! c]A-MՋhvG"uIBm5F8?ʯFg+%oZOzw" @Ê9-,z9nmRԤ;~* EԢ'(zM^N98q=/\l)I 6}IQ$ &+{0,"94QA)'Z%^̗IJ+R>t+\)PCgL=[diENX25~&ǐx w&`Pr*)t'F\uDs¬/i02`|zvwLA~" ƮHHu05gQS UH9"F07LjJ]#zPV>YFr$\̻'&WuPE pu)khu7I&dxtJ+u@5!+:fanPwvH[[s:/%$؆N_-]xxb1M;z *]r]#!ījiu-A'}k]&I_AQ㡮ey/;.n ev~UA2!y=Bؤ+H,Gislh03dPo7ٚݍf5= "0/< 4x RCXO y6:~xݐ%J(2n?̨b}6 `e֠p ;|!buh+alD[hTp!k{2~Ag~b9&m>?J8SJG\;fY7M`mՅeq$kt%rOߙx"u$x|ߏ(HÚ"c ‘ K=)i?M6Lt 0.)93𬠃x2t&>,ocK1Ռ@e\)gOJU#$#}˜vtkdq^hܸGX '=aɱCUOQI:PJ/N"K.mE3 PƗR]1N!n p&XHuM&y cbkF s`oD @YxTjH>m:h%f&"a#}8D#TmĔ 'I3l0$n6 ~ocADG*vsJ"7F+OZe`psqB?F`9/{"3lwmAe閉q9 dsGG)9-<7߆B+g.r0Uq@@0IsyA=l$ > 7D6F@(+) m߄!h ɆI5<%c@q*]CYJ}􉔷ej2Pu!ٍ=I]] -Qs>]]N"D90@w9[KUX`кo\CxO|f1vim!#WwFoTbZvCB?Z*$ɫ;.ʙ *bKgG׌ 2~:)_*ubc׉ {1@ӊ ,GO"6)0{4^>4^nb&{a9NGUqdxEH_iaN|03ɂO5io"N'9׮`gYZ ,#/% KAT_and_DRAKAT_and_DRA.DRAT2document.tex7zXZִF! o ]A-MՋhvG"uIBm5a\Ia^6>"!daAv,)ND3p뽖)1dhtⴎ1rHױJȨg2Fݢ׏BWj-XB/!,?d@->yٝ@0_ȵҧ*+d]ۥ<#Б B (d}H"V.#擺e A5ڞ%^{q7mbu' 4#lB1gjͬh0 %Ò MTpEě"|d6vWuo9R+9,ȶ&7IvJ-g f>x%7%RMSjy;V3^DF:31..])-2hGfVZ:bsQ1P=- *fQ%pý5{X=lrŐ"=ORX`HQuPw/]JyL@uΖ{$bWbpF K@zGQgcTЉќ;TqJu=A TD D _ś ] v{$j>5O̿Va`2 #ql:G f^Ї\@eQ!G۷PB}b 2z ǖOJ~;!MyMC*xEG3#IY D},7.t/F_7Lf1ԉ[W<l~IђId6,AĚ%[qn|cA-.%b֍Nӎj],`Yȹ c*xuNbX=>DXY|l)WUjr.7*AWʬL W rWIle,&v3EA[6v@6b\/X<}[BmTf߸hgp94&~ڱ/C?ů6/֓I=gIO+.h_g|~. =EyKyD Њե 3GQYClaRslZ^lja$;fאHCFsĭ `"ČV00‰_C]I^ӒaxoOz$]:9R}CπA">CaBA As_L,X3Sa#SyJm 8~\x EwxS&TOaw`9A~m5|q4@lptQRjN'p-d0k OUc;]9LԂuݏƭ7Gz*;8Ggg&qZ4u'DeGÿdhSIgj5,2w5D/еR,MSLLcnc>L/^fS_th_\i,B|.eř_Í_^NS2]0M)p 6#x+-c#;ߜЙ  rk]rcp4)PPVf?▕A"@["O1'9/dĺ 8  712YY/]nY)Y @;itF\})r-hX_ůxnQ=s )ɧwK-uq05^>p^)έRSIɧ9H+AP=DC+ 6퇖Q0gYZ  nK #5% IxssҽJKb,)3.-RIgE4;0ITSVz&w6J#/ 6 HHbY±O$ WĠy!]ȴ"[M[ w*7>yn:_!u V EP"GQ^(1 WQPT6Zqu̇+@ǔf4OOXZ)pE2G{o {~kEY3g>#beY_TULƙP3(DWo`ڗj9 (Uk[!?\4):Y#rkXp/ !2r~wajls&AV<xwp/5p>WrLYI K{=aMm%Wb6gzF[ov|&oL#z/I۵n1j:"B|DBG[K3 nhi\5Xr^zcʕ+X6l4)tY:ß) >Pqgh^o- bSiOf"OV\ps 8Y}"4Z/}WOP:}uhr3..@߅ d'}\r~5 8:qEäRkbcE]L{{'c9g0M}3̇lHe7r? x{f -!WSC<[ũ(df<ɈERE3őbWRp_clEC Ϧ&'Cx(+JtNF%h`ZVr&hFpQhwK2\cgYZ#=% RAC Rl9bՈ :){O%[ r}ҙ8PƲOܨe"p @a0Sj{!?>-GzH4%ϐPƻJr >JDŽը UyP:E:0A DӖKƅΟ< 6b<;_o~aA%b) e,U J6\^[YEBϔE5.YȃoBŜ03v);M\ j)ܷ aBxy8^&6{ R>ZttP:C'sQ^SO%Y$UΎ-5@)kڍVWELѥ0:LlC2u:>= VG]'$y$@ &tAs9K#!r40d?$#DPZr2]?f#-N6XyaV2`bKcY*oU(<Ӕ~r bg"\Ӛ:fԱ^P?%E1fomTGN{EMO|r^Α zwZТ!x6 2\"d:}e]<n0 l(>ɃM #9% j9F*멓y;0d!bKdN\=3u|)Kw[#nS/poR}Gpu=PM+$=䌔>,Ѹ]4ϩo4ƽ!@/wjU 7%DHcG-|%B7Ej,ie p`C+ +TR{DCk~;veeic6$7, t>sΝ Q~ݯ7#I& 0A?~`BTKD;ϊO+ocNR 2}-&uZtnHc@E!]ܿ `k)Brm6(b &{Of #ʈ׶؛x6JebD E־ͦn9fQH<5vUq\Ŵx qǞ4+ᔎS~}ߙ:b,WiK,ה\?CO#c0Yuċ;# j> ,R7ķ>XAᵸx yCaSO@jP Ƶb%&TUY>qv/f\(P%NB֫X,{;փtm;܇5R|ٯWnz[b.H-b*BVy,6,M<⮸)o69gK+; jO9gYZgW l &'_1-쩭X//wgj&E.ܣDp֓t9l7 S"XKNڇ8 DřϧHh"3ˍ?lmFnAm}O7T\*r6j`9f]1xMMD`_ȹ&┠x '~L=abqzM0n4-ͿQ4Xq2:$.ɖbd$ ҰhU+)!g. x-B2A }TcX e!¼)Ѧ#\QG_f+mʜH;߾qWι!%ס9la`ܓL_Õ{mEBmbS;f;ȖU/&Tʉ,m9ωlq ]]ܦcb}oa!(7lW4~Xn^qWk^oAc|GHimXR!܊u.cEuxotlJ& 4>dɵ2/#aHs!y+hCE.ė/>loFؽi*}sPv4q+Q$WڍЃ1y_j2FRYgyv."igvn@-&#miۉ}3&սq$VoFy"3>pkD8{p:18V`k$CwqvlZゞ*79  yUhLb́b~3|%m!ŦJˆ٫E.Hx1fs ft||챼!~RdNMU9 4˱YxJn5sF*gm^ݐnl)LWUP _^:Ҍ] zR Dde52ٌ@V`=Ҋ)pce1ٕRg!d09fF@ ǽBE2zX&y\25:$O-G>hB~RjdRl_uU1QT@{4l;Dž72kLGi3w9*n<rJj]*O>Vt;L srI!]`0;B/(x]bf_H{=H6U6bVԃP†♩YoAY IFx{ȷFuɓ<#)xbW'FC(7Sk XWO B.@?%F!Fܰv|sF [kο c< ӭCRx_8`PM!ѾX؎K"(>Z:s(~\e@$8'u]d[4Pg"!f7hV?mq*]!bb$}m(WϐLS*A6a<˶õL[g_AUZnm$tsb\ߔ% iOǽ/k<11 [reCYx~情 (yj_MbFn6q6,fC܀Q" aha)U[5BVNjgd?Gkhil2R%{ݿ~d{`Dx:4Z˜gM̩WFU@=z?bbɑ%a0rP$ן|NM?XrsN6#<@ۓ-k!t0bkj>QSs;WI ̠Tag&{եH$ቃk#)vѝb?)n 3FOI=(;_h 6J{59$PӃӆ/<{ 5wDiA 4:gIg$wnt&GE:nmˮѣ < Κw8^([XCp(`aݵ鈑HdPH@9|'Mq@~K@h8Yg!TAI\7b̄/ nyrUϨJ#=Ɗ9"|H)\a3[x=C"]G#Tx3"5C|CϳCҌj2]C5S_t̕m$/s> f8:&T!qjYL <"6ţu{XV@jk+o-I:e{ ʓ0=`>p q γ/ !HF㷜.LSh=B.0Х:4;x^ikcx DiBi)Ek/ SBA` `noV20RfũtxV^X+xs`P L'qd"wz^=G/ C~EXT`^!CR1gqeA5t:LT-a~.uPe?Tb*quvRu<Dz:̑* rWK3ؚ/YJʳv=q(u6>uJ\DM^FI#w7CI@"<<F'%-o1ycE|/eEuҦh`ruD4H>;d,+ D6ҏ,۬=ɁP8$A=Dg]ȝ6;^ c}[_C3(S\SPm)^?SY.}{:lQ(!ѻ*`j}=dYuЗ)GL&9_n+)v @fo۾E>jR6UgdA$o̹!(={uiir2G)ǜ4Dsdp, F;c2YeZ |#ԗތ#ng[xu/$u-p՜+HLe̫qY/~4%[7u7 oJ|v ._ֱ?wv@ ?(Ri1{XkWJREZ,h S*Eh+@ͩѕ~c'JyhNKJH^JɒjE,%ZhOSq@.EKxti4*|½df p}Fݗs@ ߶Tz7 V R& )o':DzÙX0v+5%Y-M[x9`H 7$KSŧb0 ^¬.rMO ]P`8ɒS o@I [=D²ci7t|9:a+oQEv(*Q T4$%l7BZh*BGf@ J[Xu=X+MxutU3Pwm^˓pFԹxZߞl_εIIR,`> w 1ӽs$#eKL+4շe'~ #^ w襪IsUnMbcWtsOVjm,Un$m:g 3$ڽOĬ_@I~=ΓaX|YX6qgqUEϺoĠh򗼎 /}J;?#3uU~Tl"A}Tv$n~u`w8b yYI]@OMB)@1E yIe)]W`ވ'y!wߟ .v&O%yq*;X_ }m(gUVKI Цnc~/C[LSyĽq6ikqOs2" $qil (u]kyM3Q5ֽ1b0hG[ΰG Z#e&=1|9EWf+}<53:H[v`o O$j?1a(`up{փ0 +|a.K..M%M.TDT#צ^$JiBĕ>{G+;3*ΖCSDi*[6rit/\ڞ4'9086PFoe i,+,^59x_7]d7C""]Zu K YkQZnٌwW9)K?t,E=4n(`}Vy|`K0/0cԇ`=z4z ֛Jh!) 8qQ*RA|EY@bx]Yw[/Lmxl}Y_gtq}{<[ЊSaո|*HF#z0_ j]R3d@ww1-xg`{,x mKvF (UIF 5ST"c>6 ;=r %Fn:2\+Q/W@X_=IlV9dfQen_.`S>_ ITi^ e{Cq DYU LzB\ Oo>n7 0W$  B+qo[ Vs4iuPX!KgK $ T;=<DzTg qݔЃ<%Gױf~GU4oՓY#*ovu#nЪ=LI]@PGa"a$-3@@Ppн/4GE4,^jO|bp<^0%Dۙ\Sx];GgpolP䛶~if !6`48^qWԃ<_:Ux/9rɶ˫*h+'j!Y"ju5r(-J&L(mT' `'N ^Kwj5vr  @qo_`V+4V7x}][9oĠZEUΠ[+iGT"rA{#(H5'sz >%ݱl^'`Z3E~_ %i'GSny\2󾅄OB\ߋw|E+äK1< C`6\q` `wQE#`#—kٮGqde/O9^g rBg9% JO?/i70T2ۗ3yv"B( `>vY@p_=73BsI1G ~kvjJQ 9;*ei+/y2''ƹ _`-v/ސpOU" /M Ao |-kݴiҘʌzll!S9l(LãNBEkCycOh!ZWmqx"*c̯`0$0[68wlL+wvp4[a/2xgM%Tj;6Sխ"giOH@Hh݅2d;;VmMgXeu"BK)cx NMjHJ&ĭubiCVۼ?AOu96d@!^r<9o; pN";pP|3+&|Y(_oHp8h'!PˠF#*W4F! 6G\VWd U:?Ϭ~q$ar| rW[=`b{$Mzjo#n1+A hJ3)t>}yCt^ڊsD|pm^KɉيOiNPyN=~֏L8.#o.b>~uMȭp=A*3ȫ^)VӯRV)W*gĦ+Z0qr]V+,3]PY7;\ 3N0= oa\57; vA. >0 g&nW-Dk=~cO{R%X'jr?^J"I-n-]ѪD8z#%mepm}ƧR0p `Y K"U%LAFuRM"+Ƃ0,O;Yj)rQeA,)TsѽI12HyI$6/fj\3zllnwR&eҗbPτD8}eĸoU|%ff;8U=k1uy ,ʍOyI/FIZ\LC6xWx|5|wm FK.LMꠄ,t4K]bѼ mĺ]М`]\"N&0B|FݳV ȂY=]HC)`aNǙ 5s2M`2UGcT,1%tHDvI#|~΅YS [@J}1Yt}-R+mѓZs?:mzt$7"׾Q&!Y\ަ_]F0 ":%FA!NmDl *_05J?X^= PZ38A4q4_MW&uj]w<: 'fJ'IGN/שU4|*1QGyƿKyh7.__8!Tft̢GwNCwMs<{4.q$}KbsWGT*?f8A.(~`TyZOy81vH@kvFktl`~ʦƿN[VC‘!7@vh][P٭=fkm̞K'xkPkj \ 2>*Ǜvc\35Mߕr1}(Ǝ>s]'̏"~Onj` n8 'LM=6@3Q[-tC(y)/&xzg%! @XM_ K`<n _ MIv(uw-Q%X$jfDS3i쑲jm?ѻ< B)54HW=^%>%XzIP݊=65[ׄײ(l/‡F+܈Zd1f;|KX1S,=Ǟd_c88pɲ sr?Eͭ\Hƚ:qlLo; HxnA0I5o\uN%W5g[Q E-,`X>qs)UݶpU }\/)/JrK6b'UYKD+ {;>8OUÏ{kw\ ;ɂ>`| m&$b{dllh+`'9៽7s߫0Q, IhG\) &cUe%9 Xa}-!6rW^jy{[|LEjPu _X(w^Gϻ7ɩM4~ 3"Pcʍh+8uHT}9("g&s`?nݳZG֬=+[:vIsd/j9q0Qwk<}B 4SjDasFW~B@?;\ 0֌3.bbz{ =oVw3A֊\u@a_.WSv^;5=NG U}; Mwk+}L[3(o_GL>?V򓺃ݗvg)XX56xɴ3?)CLQbYW6%q^6G,44fƳm )b Qqve5񣷞T\ Dъ\ءNb?l1fqeǦS |UhUDŽYGm$=h*2l[RVd@y58~omV˺pCSX'4LVy 2ҺIO&`%o42N.\N QEyA*.:Gd^)g:֒( ˪&[zagu]"?)Z'F婷i3X'% ߰> ROox%~i YOZWGO Iw1L4K7.OZ\M{9>)xy*{YUc۲sRb,Dsk|ߝ?\F QS۞*gsd++,xQ"#"KdĈ?uҌ͇k(wg`qO"'&zWL%Kſ70vW3Q0O9Yl5 9 {RD5e#us>cKPrEU} {4cpKcᅠ1֓WsF3I%c)pbmg8r@gŽm i; <3{Jdl]Q0v6Q -Ɛk3]᪴b{7Y,i͕AˌW7Xco@y=DzZ'qL}>&Y,ꤊ/EY>P>L ,uR[wJd_b=).Uysn;!ڹu}N΃làr=_ss53Kc|F8 y_]Fr: HvKAr2%M?ڷܳlpXSN ƿEb:t~",I@ԙ/VvjҶBAO¢= )=YeWqa: qiGD0n4ʠue)0pMΙ>4i|x+u)6vu?PLy~0ƃ]X(5 M XӌR=O3utUW\a )i9_)4Ԅ[uږ} m۷1 C\`oHU@G#!N48dI3*0n?XpdR,df۵BRߊP3d4Z}AH-~ Lm4 2[GWi\RscCk6<fejqMfnb_|.ˀ=b+&VA1׽{D-_#glu  : GC#.rV:ԡ2U4>bm,'& (D'PՔ>*rfL^,3 ;Ǟӡ vuG=ϫHP6)6BV,XvrQ C=*;"!WbTy#oIbw ]DW,hVѤy5O(#瑉wBA ~eBdF <s7&"CxH:iౠN ċTbw$3|n=܍ W4Rs ^CYl˩* 0\܄<0^eP6Bϔ#}Ջk._z幎KbL}tZ\g yŤ,(G !g!06_|ގ K @0+hq(էlɭ F DkƀruetC^37L_q] k+p.Q+0jP?Ǡ,`PU[|؅J'tbj*^4d~3ڸ. )kԉ9rfB[֛29E^WrSݜApE R +k޸L24iSpIyVb-Ꚃ֦X+Kn^3\I! ݡ9cߧuDTπ͉iie@EMA=2{!8^5&VcKMl#ʽUmՆ Oqc@K`A鶭/!,h?ff=*Ƣ!^$=[m0vg\(ÀA:ub"Ğ*0d_cFV)V;҄{ VUi U@L&&(}]D?9a2L^Q NhVFL>Uyh-4StA+]|b6kGIx86X H[A`28ʴcg{*\ZKD 1J zqр a*Τ~ݭh<e'fSe E=BX+0oҢF&&av."oj^`c P>čq3;r$1@XYAJ3ݹvW[ܶZ IrǏp=坃m J.SnʕO{:fكႫ ֔ѵP5E/ Xׄ-;V-Mͪo +6eDNMm=6)Ͳ}xX.NVh1Ϊ_]\:RbB#unr=/Zn`ϱU@7 bқi[{kxPx9O@Ci3rǯѮhIV⛂n3K &b8߬tPqBv~X?E_Qjmb2r~ߑ]@s]&کAuhb>T b矓2`RJ nc*o`ٚg_5Ɏ+Mo:uK-v3 4 o,)oㄏR3~%6ɸ!*beO1ZAw|ˊ.Ah.3YڷtשdAr{{s!A*R*7rN RkL[/LHg&Ęjf3 70sjOrƹ)4LqNXaٗ?OҊKX ӸЎp/"܇[ĔxgYZ089d48c84f415debdb9ff78a01dab679ded48774c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 5d12d990b380916ae4d2a60382e76d44023d548e 31af6fbe992d84a9bd2fe141138885957eb04f52e6ef575b59bdf072ca258a10b5af44039a0910f4