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 )T ]% CakeML_Codegen:threads=4elapsed=491.219cpu=1394.836gc=64.868factor=2.847zXZִF! ]ŗXf[&,Xr–wy\TtVqCQ-.ˏ,cx^- Gf :tSJƇUU(W$>kU2ŋSD*P53/lC#` _t}a3)j.BɝMC6QGu" ';(!=ҫx( R`1 Rmb QD8>YX 0 Cbtj wqitoܵ0ڄjF! ?Hš;ULljvqkfZR&&MA]Ou ^%m\@M竡㽄v䥭l; f~FzYh!1v`W{lr4KsʸsF锐qN}w ҽ k ;QO-.1<%jxEd4?k&G[V:j} J! 4+czcuh6WBX;E-;pEWb1xolV  @ t}٪!G &:KDYY8{M$N9 +o%<+$^B=-)⟢4ue]Ss_3 FـGcw6{푳nѰe צ.e/YFUь%h~W 1_*D"s ޔttUK$.@q,WGʶU}+E9p ,̀4V5N3eamVTV4˵pU˖]GI[> dh4},Ȇ3 Ƴ  fL|ul^ЙQ ǽʄHMofeGG*ZjC ߔt{]<.1S1΂].Td;|/?[rI2(j^^ |`= W+9N|dCȖ)W:B)"LJRvܴbh>8B'}@eҾ奷Kj12pP:I Zƴ裧rmOY' "8QqBXչ )kLZ$j;h ,Up<=&=)Έ}q>CP :Y׵#p'1-&`Nu"f&\|1עh!<3X9EQ^,C.Ro`Ž - ؁]qm^ɠquB"ƥXO]+o+nl)2m>AT1,;3)Cn6<-WZ@YnY J"jDޔ[svcA(&dE7+V! 0̲bu8:G#-u@+! $u$u2IBחXZ{ Ȟ~oG6ގdRU-rΞ)Džnx|78 !3{,9Q1<7hheh5Ƹ7#1iciF})A%)4L`؏@ӡbigyBFZ+q*JִeM ->=/{ PNAݑ ք/Y80VȓS.G]X*tVR;5cKr9|CxX ?E +G >JH-E5X!{ vGVLlYYPFyzّf+miݹdGqհ4R$Ɲ Vs:uu鬺|/=ǩQ1Zv]WpDS:n!]|l٢)|kIY{ ]iR / 91>AOɵO ( Z]k ;ul:g;{"R> MzrV%N1/N9QPi-Zy41+j4䛸W ' 8k93ʣ|E!{X˫hiPj2+R*tos0醒HoU,&ݛE3|2^{HY:15YI 7zBVd=,T\QZ2r9Zk\0ϨqTjeZK1]L$vY| 2#XfHx@t ) CakeML_Codegen  G9܁I[axI"&>w8%lX.Ez52x_!V%`>T91e+oe;-J,OcRv֏B >] HAN]lX9,jSkvnDVPƟVmԀU$+B8!|x(Rl~=`զAH>h5J*n-c&1NI^+eZ1F^t->ӏ=y ?YrPk&q,l{\4R>]-'ܥ)ӯ_خ[Q.-s YhK|,OxB;+3/,Vm w}Ǔ^+]frh$nU-Ii)U fkh$xL=[ed6ё@Y XI)N^ӕEw-5o$n O\^v.eQ7ŭhHffH 3 %ؾ1.rȁz|Ņҁm1ܲ\et&bqaaHmjJ e\ȷ̟߫F4$R0\C5F<#r[;3HfQR&`뙝8! kW1jd7fAH9ZVeyzK+i֨Gߑ/ 8jzM׊ߋ$kvv89e$VժT~8=mJ/r462SbˡDVhMŠ2wt =/p0yơP Sey޽U#[s ֯WFOFI6Cz3JkPxZZ4;^(l@eZtA CD.{ " ѐJ=R"uZ GNCG~w8P @:D Oxݲ}WpmG6U'Gbͪfky3ֿH(',(k{E2SEQj$rwhIOpZ5l{ritNu ЀJG haÜ8[ϩSfqDK^D`B91 9[uUTeCv:U>_aʙaxF7VH{sJuu`}K6= ȷ\QU!=^ӟf AB%ZLvb@wd~r49?lˠõ}ә\ bXZJ{?țD'||>&v[2?d *;&v.f P{TX~n$ x"ˋeS 0*v4U+q0 AP޳D~Dvy $J-0WDnrx6r""hLTKO, 79d;BW2M{෴^)A&Uz Fkt v}:#3OA gw|Wjh̄p+Y0C> ޻hrJy4>lEDfbP[ lW~ڂ.O^j y[ H:Up!`i#Y׻j\Qϔ 0n!n;%r0KA௥qF$32(@ &J'ۚw%&Ff( [2R}\ :Bq [)3qeb3&_tJjvA~x\+¦饸?bSt!Dϗ9U\}kw~_JU-OeզOϚS7ɳ7iDWk[ U:C_ieC) %NFarRmOk0}LR dǍ]1%rE+|_E_6 Q_T9hqp|Y*3n(0Pr1QLg59>qf*3:2L)Md4ӖmM'w],=\F4ed1=#8[Rv-զ\#~ vCZн*HeKp#fpn':+ #kkmɻr># ωHv HN %r^'m!wXV;k?4 nH?a@5xs ;!`:EW 8TTp1ϒs3϶앍㍻Jž2~eliɚzC \SxỦ6F#edG_tېOH7ý"7oJF~>*÷C2ޔ/A 7$2 YЇ5|*8qվNI>RB_Sdp/voCe0C"*(9F+]F2g7E-J7+1sXa`3 %y;D\}ܨ9`Xlovʆ9TQA35w8m؜`SKEsW"r넧л'blbT*59ow{zmq@xi뺵\k`oi냊fJQ]cM|DD%3COF㓩çؤ`o_j@8yUm[N/].LZ5~ fCiOБgeoKKSpW!γ t{LxAa}PF͔/`G.nJ 6 :l9:2ދ o9 6LvM@HT퐩ӧ1C0M@< 6R't[F[bb y!W}x|,%uA}BX͕"d/Wp)eYb p{D\z89r\#-#$#q&˅ Gr4ZN,B מDb`.}m c J cN%F|+ըIS@S1H - g/E6.!]DyVNQ&0!7vLF0*Sލ}<.DJut&WehUIl ,pw)2(dd.K*a t/A*rj­@m+'wu[8O66 gYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻hmSB:ᶀ[MuQ7av tFgJ/bpi a ĺOtimf6M8lq F9m{xB4mAIlis%-q|^JQ/BOl/#/f]:9œ,挝SvT?5nט18}:'̄3uVd,.p<GO s83@ +$N+VH[)COEEE c3XNMm*$zM6a;o3d~X] w,%Wn93o qWR: 7R=4/ # ]cʒ jQډ#ܽk?NeIڂ^`o ;7hSƱ)8PE;~<?ۿjNR'h zEy)D].K Y:֮FBe)^e8ӂjqO::=951;Oo>t[&T=Cp,ifJH͔ѐ~@H=sPA1]Kw4Q X>htDfd v8dj8(~rZ6S7xl_oGn'X"GO=/,Fb](xss ~X!>bs9oڀx%T`\OQ~#` cxĭں*; M1>mA_*nHfA4^^ٺubpM$dP& R 2<8p gL֩ NiTY>jd Z53mD u%<̚Mdh Rܢ.pvj%gF"X$EF偭k{/ RwX*2nD~^!|̮86dC9US K0)x2pu3ma< ڦw} ~`+9h# UzxAG NaկՒPHZȈ:ڼX4t6ZƇ ayw 1!O¤2gώ 0KW\wݘhY# arLe~C;kAiQi!{MQ0-v%- |m!mYdXܻ?j xU^%z15ܦ4>m<_kYmC3˲WW72VBV).(n&>r $*69/jL1- ܔAJ ˭֗JAK(ocFk}V *eL/0v|g'ױ*@gM{ʝ\թTacw1Xu@ ~d>'0!+`?EC{jg wJd ֮olo|LUJgۯ5-gqՈT8RՉ;^Uc#} F+ ]i{N-=j A\ 82Y0*B8UӞcē-NTX28{0 %4& Nؕ=&2>Eus(8)&$f R졭mv![>αT%hҴI@6WʛB %[YU{h0֦yCɋWo7͑r͙,M{E먍[xR}]d'X}y$lq6 D1K8*7U@~)ciV(Cä(ujiY&X&.X *ةU zB^Ax4&%F4ܻӫ̎fg&y6cY3D|s%gpy$k|áq$m JQ$'-˭vV*=mŸ?qv#ԎpP"g-".s7*L_KD4+\KdX+(`dtDr=\t>j&nDN1(j,s372F25r| Z .Pld@0P&G(=xh >`|ڇChpai4QKU[r0ȦYj kGJԢ=X>Y^!8Z1SQ4P)\cXGwF RZWqd#CQ&=|9ؽv:&-#nػ#+^, k[wVz`n/,Wam<#\|>-,˂}ɷ}."iKhZCKSQ _Q[i,኉ᄟ^WOr}$ld4?\w W8AA}fֿbPPc|6CBMP[SFE7:pM 6וʸpQbݦ1TRUXP,:,9  f.=W tsU}] Г^0bx>_I 2@VW!1Y4j/'.a;;(_+~, I:# DV)<>ڹ9gf'K}t 3Ɩ-^^y 2rM9ϲGQD^I)[]͇׳ 6~/<&n+|<$ؓ*~W5q (SRIPdLՁ !rVV) ߵZ:6#nroXi8y&N[ͷ1eQ\3 k*էELیarE-%r m qJVV(ڟ+&Ofɫ7BNݷIz;sHxhy,l.iA1Q؂it6 \y而L+G 5\FMDS8݋2jҙCSÌ!hnO5/n҈ޖ @d5]k#]]pڜXqy_hXu[_NF#W:YB,-_=e|,иpZڑJym*{}+ 95j:㘵2r(->|ԯ ث&G6Iw\@$_Ikȑn|ԝbU_X^gXTTڽ_ h}\ n۬CȥnA\c/HI2xgVxkTnv7tu. #3^eAx;' ITz(IKAd!Vò y16ם{1tF}j_65k $n௷뱺FvYnk<+ften5ЊGW:%~[+T{Oɋ&XaOjE/H}bYz-Ԝ 0S1VQys +k9yo hjQj=GM#ij:H܆ok'b }sV66 EDԎyn_E19HTIJD"na#Jm*q)~ ] 57SLǒ$ "*R+^z`#.Jsd}=|h^C4?bks}+D&'¦)6T:%:{Ӊil8?3N]x^&gHeѩzV$TO*jRJvVeϸ)p/ 5ϵ²f$})'b,L!fdU'i->[*\tr9o]2U?BB8ŀFP)D~|VDBŞQkű tRڬ (D5lis3McO [-e7ęMRy D/(>kT5 Ijx0{1/ Lȡs !,ӖvtRzsN뢍ZQ}Tdx|;f1s0Y3diB_ǻ\t7"h Ks,OKOJ܍N{dzQB'2>5T?G!u)NNVUm/CQ^Uy.L/OJ@=0^74&?\&G$jctx5Sۂ.G)tԙQܢ!W2*goToLy&of Rlp` .B)⢉5Q+^=Jڜw.qd8 7AԥDZRz3"Dc`H~cԴ-8S3dzF?aImq[PϪ542zns?2+KzPt_0&hTYf }/yhq oŹ:hŧKgVH{ ,@ѕ]e),WSVKh(=Zsa7v/m8dz y6eբmD3:5H71*RF H~DWy!S|+ /ѳmSq*Q-gL qL`5+jv#}W/س\8K ul{; 1k_cM r r`_K{hƤNv"8TdCb~w{R7f~;ɺY5Ԇ-GQqhH;|%$wz਋fR$ " cMvK]YՀPe89kw `;qdln*&c7 /\Ա,|;A>nRέ˽~]5ԜؗȒㄊH\x,U[-0?J Eh}(uӊj'U?%j6UmTw;ˤeMr`<$O8F;AbSX: M ]LdA,iύܦ7.8INV7{3R2 ^fG'^ÜSCruiv{0r˟œQ&!^Akw}΀/u3)+L˚`ut ɪ;:Xk v*}4z1V3nS~aOw;avWOx&8t3+XcyZ8VK_t9S %kl(Ld¥8*,FH&O;+fBF(?>"M! cmGAuN lrZU~H$1٫ĢXk$/O9 C~1 bC]mC%'&N'&{dǔtBQ,1HC6ײb-[FAC/9'4gמ)7eU v7a]c}kRzMRe箬0^=<S EK֭јiU{~"}C.r/d.ΰe2{*Mj|MGϥq̳f73^N<[`7-6vOƏ7nCt_rW;n| &MHĩUv?e2Gb!kQaw;Vf{wSvBY8#C6tK%J\^bi@FrrK 8w1"\+Օ;)mvNG6< ,ꦨ=I.z=Q$A7 7^1ʽjRUɉya_v-`ԁS%Kn_YpyiO"짷E;MYl]:g*Othl1 0YB/F۳j@m|^rVq7A6},b#pd#pT/#rѯweUscU-~4C V 9bQg.`7Qr^U~7@Cio\Īb#K\A|8Nc2/W{)S'0< o**Qt?٢J/ XXZ%532#^4&M-rj)fuFAtL3vhUrKqнJ?<(ت+ Ƶ.nK}] EΒ[ ~% Sdt|4^רywq;i'N۲ZVá>M%L+n*pJiRvZxbڅ[P,NI@E@-kҺV4TsAId?!NQYS_cCZ/kL!" A72rdJ44h^Fr#lD53J(}3kۺQ:Y75 "l2bO@nЏT\:Ь y(1:'of2`k9ɱ+BF<{;^) {e^Q"Mp.8_K2 tPJ [UZuN22A"9 CM+)9YNΊi<ܫD@>~^qO#Ҕw ,͞M냻\ <Uu:Ӵ^-}ċ*h/f+x|9[}+ REJ |oǘ_u輛Sa5YP 反k4O5r0ZFb J{0i>}_D$b2khDՆcJٜY*ڣd a O-8ɨ%"P[xjZ cAJ};͝p X~#>Փzdx+"1 څNPi',xkON=JKV& ` M_V_9`kRvz6}èO*SC `SS4~|,c]2|,f| ݔ_bt0u| N<" jS"G'"qP:~>18-|{Gog I1+ȕ*TC_1~HAHװ 5h& 4dbH"fJ["mFh6e$P>g 9sFvrr[4=~UY#$y8(r,#(wLI;ĉB2]{kD]@ŗN}.(#Dw {;71³3)ˇΧKGJ-UwirfD;A2zOV ¶X>Ko"4RqOq4@ԡynMW!\"^ؠL'R0=)UeΗp-H/6וvj_hW_@$ R1P7v@4r0h81ZdCdu1Uۄ]ɵnW'l0JdF/EQN=ŋhbjxO-&9 $J ~dVnN%_\$N-&̒lijg?,E#fxiF 6Gi?fV%y>g^'@T3TuARԧs7i *۰HUtmyۚF% C+T5UNU9.Ɩt{*_AZoI؅",8%? JA$@R> #c>{i3@\vVcN\$JgQ>SDh>^wglť'Bʲ`G2=kH>i^}1(*D b'+ڥj$MqfIly ,\/+\E",3I3ߎSX`ϼ\i8T@ FnleuQ$eܬQi'Ï EW4YG4*\%:q- v!\yA!8*$$@fl{1=Յ*p #!T_FB oi >oT!]$\ ǫ_d{qfNDSz <\fI!+F$@4@2d`Vi@,g__{E9ס[b$6:/$r >WF嵔]A.T0Хb#څq O 5N.>L)^g; md\jZ 7H*(f=Py{ċ~OBel %X ֛|`B#ah% ;-Hj%"(yP8_cH چ Z<[]L)DZ~?@rZK=G8ԫwqEKM\lp ()᯷ 9-Bs^r1)Ǟ1Gq[@~5TnZc1 1p/b%WyY\!C/~YkyBJd#dEﭣ:n+3U5F؊63uj E\Hs*̺V:z[7Wx@٧+~7s : ég”ȑ8{Jf-Ji  (+W%]>9'K0f:G84NRgOYCB+R=Z<s6ju*yTBX+EZa$3_Vű#4s1r;k*Kl3o7§X㞨PW t2E\)SkL2F=XzIimiӨA~&wR>r_Gv;p1NYj9Fw;TˑErKVc eðI6뢵)h/$(\rc<̻עfe5[h:{#/0stv$q 0@#w+-mVNeaOiڿV7(*@^wSNgwسeKևJ)z0ob$`t?x|'2 t 9SP;iD1|A&s ץ1E0ЊΚSR|snvd}yl,94WWZ,`2Q@;@rqx+H`#vl}( (=9Y徂= {{qU SȲV f3KLS$;0w+3ty8YxVCn׍;ĀtW,CӞ. ;&2z'1m1HdI\ʱ>EQF}vbQ`Kǂ;R|#aq%fM瑙̵_| :t_L?Db b.Lda C,,eCT9_w 6AʪiU;S|qJI!眭Zq?[Lf]K QQUC?5hSb\LMՏSYbA :<IFs?!'c erySK' Hp{+Obԉ/RBr`H 4IXh -U)kY kazxl("aDsq;ktYIωm& VK{-~w;]=p Ehi2t5\cG jJ<+]$,Lh 5.,oB ' M ̂hdQyOƚ<^"INDkl/򦁊erqkG70X h0ƐũʑonV^ M!!ߵ9"W؊[QfQ*)inԱi,S0|#;)'# TgYtF>"\ ?B8>A%E۸הo !+ 1zW We&7pY3DֿߎM϶oqkaYL.J6p>\\@ @M!ai36s9}ryu|{,Whݙw4ImܖV/ _Ԭj6MX4x4d9Gnnu֠E[t₲imP\liV c~{3#〻E>a` Gׯ%jvre2[OF)m1"Y)5TloG e!#1Fi4eIm2DOGJ+Z ٤; kx:Ph|3h)Ygf8*l`GZ~߃b-Sy53u'/򅞂$%N"uϝ8 ƜZ^T2NG;$W ;i@0̄Pnث z~A ^)i?oy'W\~A17OԡTM!<-Iq:ݩ*R\z]OLdlv22;!SԢ.=b~vו<(#]wPxɌ6 J'zP:eALY@0(ϫqH %ðuPe5tj--JS?u5Ӗl2ŮK)\2  |L!4X#o):J Zg~B5 .$ZCT5 3q|Q1nl> Ԅs(adS֛ DUV[oL3yBYgŴ8ă?#8?6+y-^qd;G28u`_֐kqd|lfeok\VV s-n?wF,DJؓF&.uVUf1Gb s!@"t5,—1=b.pr+8 ~EM t|snUJZX4}'$޼XѷEOG+ (:V)5ImVA&\̣^D_  s`kKw5bsB8FqadbsaWN6',o&/u^?AlivopA;_{]bYp]<q"7:yߑ<~w,|&eEڈoP-er@(ʩiՇDdRcbé$I~qpR!3%cr4NzF2fBm\e|e,2t]KQvn=a"˧r%H98@ !fMvGϐǥP!C"peGQh1lϫ%CnFI6 pT)vK_HpOC$:TD K;Vf baP1߄5N\5 G(ɢ2K.nuq〡OjGSyӶ gbz-3/Vڔ l2<lJyZ"k;pJe`h•6ZN{2"%ƃӖ?!^e "<_IWx9QAl JiEw?N6 r_\DqbI6`3\޵wKl3SÅb @ݡ1 hHwgçFjTiQ6bPQӹCmHo") /1CyPEG':H7O.:0YFk&CC!E]D@EVbx#DeS65`s*9F "Mq]Pv輅Yvnj1~Naׅ0؈҅m)6Э)!#v#\89tKqW'~Oj%5dT(:ɲ:ܻPRZK@"]A=Fޡ f'~T bv.ЫM+59|zP@(6z T$ (+J:ٟͣ?2U[7Q4**s$bF?Mԕ!AzZZJ`Q")_El10k Z#DީGFyJJpV~^eݛ>nmT?$F-_f8sǵ*\ot֊;s,щ=N<|~ iXWV=ؗgHT**/Lj@`nCI%؈ȾrZ%A٥l$s_-_?2ꕣ7{Ҡst)N=oj,H?Rc>:#'ׇ=)}fLGrFQ=vz&cK?-󾢈n4T6^%B"g*J$C@G$a凑ۧSI[ u&e. 9RzjD<+=(~)Vڵi ¯=zvY'v!?k̴V zҸfD&c&X#w G<#K[c41._!tl&$+F 6?Q au{Y|,)'[io 5} #ly.jC^xkZw@4|4;ri#_t3Z͍hYSkjYcp~[!^pR!HF[ MZ WR¡}qm+y0pZG4ZNN8$콢P7p"Lrmҝ`oFS+:Bṷbדwyk!C!Zs-MNDnͥ˄>Ѳ_ %% s-SH],pI*>~愜m4KTdL p##'bƸ~~kzF"q/0QS4>NB0 !aR$5$ׂ-&=O6fC;9VaΞQ- n@D&#t]  c |d vuI!ܳߴ.dM_|[p@XYVtEm@vbF],Jڇ8M\tkZR#9'1ׂ?(؝(p PqMFm&IT|aihbMC\SLTھ#2f!@:wr\u U\Z!PJ[G7c]J Y\3_ D`pGI,]9siZ#"[Wf3:o8;<8k苳y~oˈC3"5GDKros }VZوi,82 I)n1zFf_X>˒(>:K'ɲstV aUyt>DYE\ +STxfy3RDA4&M&r>U7{L7#kt(:6?qCy45ӊ5DDh`r^ Uv'heєEB{mAa^}ldaOQk(}vƮXR"^PNPЅll1A) LIb D<.[2VP/m@wNW,)!Gn7: Dn( Jw4~iQ%f*M))KCu9¢˺c_̽Iɩ`Q/(:|!Z3w}zCqBJߍƶP\Y/OpkCQ845ݯ|ܺllP_FW}V8Xhbn\"" yE5"-c& ܅҉i P0n@@?sC vͫO&UDp>G[nBP1m)0Kޒ3Ǵ*\[em?!/xXЌH}iEo:1U 6+~*hc8 }LƘ3WnA&]lҰT |3J]oV8~kv!jt.F(ǬpERC}Z k1#6̛b:LԟtdhH \+ {b0$(1mura?Ēkڈ(:$z ^F(Z+J,sKN!_Yʑq;?|1@t9RPәwiפ[:2ln:GC_u=dxz~Q0$LDŽP*ԧl6K+D-sC5# t _Ĉ*SvcO) (} g?{奮֢7ʕN K33 ~S #Um~ 9] f%p#͟hrAW? q7lc誥+."5 Fp/q(k{~J{Z?Vj8d#c}jZꊱYnC !#VT C>t[ЗQ+}kt&Q:;1+o=R/JWz3]j1Dž>>ghWniAeG%`yV 6kPhaE;tM=g-kK?y0%h[m J ۆKrT.#C`9?!, aGL8ݎuэ3nE߿Ee IvGf:%mTdqU?GU[Tz1sOoV"xl`;CJw\As(Hܱ!3.7C%(~&(®LRF[{BPY52(##KpPԷ?6й=x*N!kNt@ sqaD.U,ͽQ]3tJTdL\ Ԯpe PaDlЏ[ltG;QW?[u8W]E ,u6/ףL!i\.eqK|p8K].R (C,Ȱ ȴ[Gcet4LQ<7bD2`'tgs@_ Kٸ(5g]j]ʝ&a$Ny{X^'.jm^Ԣ,kLڜ֕ü; 5Ec<^ WTWRnjõlyȓ"8jMh$ (FL{.{.[5;G Cȶ3j.;i?hCs´[ +HV:f؎9Ue.&j*i~u#(u”ب_D,! v,yk.4u9+B.jIlrDs"W/QD+Ցn$NO hA !i3W!26yJƍS ‹zW 󏍶8&۷M-&Te_myyEa C%ߡ0Q0X4zYW݆X"iZnN^&CGbGH-n"$Rv !l?~S N͞"}lTr]'!V1+Xa}XB}<@# uq :>htChZ{; pYjvE7e (n PW]k࢔V )o\Bt>pHaeC@ "e41"k.N%:pNw?z<Mش|R\r`SdRxeWnb>s3 TDEpJu>ңY3zki~-'wx#~&yU"&q搗Cb,0m06bC$mRjmtQn1saV4 0DZw>[fA{"}洐<sXt~jc[X Ұe|$dtk5Vig2+;!_ݻuSPx@^ xpgkgUۜ f}#(7.x'5GZĀYt`J~H"Xѡy7euu_zMUt=h*wJ2ᢖ;0"Kah6/fHPsR%wQ"̿UKpmޑ+#k,WwUyUcwgrx -(Ө91L ht(D_mFnG%vFKb8wt~Gűr[y {a5┄KgS\:BBPl=>dLMA'.GE'tq@J`$0ȎyWDGH cM{9qX`6e'< 0LlDK7]6zc+20Fny%*jj*%,Pʧ!9 e6 0`cP2hV;`\zJtsɝpV{ϻb*}۷yՍ|߸L QjWcwV)m:1haj&EB5m顪7 %Ia_0aܚDDNs%KU9 Eߋ[n!%ރ(eVoEYٰm*~$cZahɘ`'\IGpHXI- +NW[r{Ovk@Ҟ~s}pFqE7F_ºbs-xM3kO꺺+VR (XzI@q7; Avr{]8ȕj2Τu%+V7П =k]{~|-1l[chms@TǽGʆFǗxv<Ń9,id+$62"?2M;V`#s]~yFօ9[YBտ@YK [E:B| 9  rz`yw|+Ӣb;j-3Hu8II}!BpFх70"b60d"3ȵ9FMIڑFcf5EMoT#07RZ>F_Q[HHґT.#/ ĢY KcOB2.cI2۲#E,P$߼s25=y{fז!KkJEux{ A=6K ܭd3Ȋ^ThiWգ^@U%P2lv= DnIYZ,-~H<tA chɉmҽ_1kM 壠f_v$HsH&:>Q[\4:=T"!8ڶZ6cV;:?sWǝ -Tn\`?s57*2A'업v{bN)2{Y3ؾ,ETvϗ_@gYdnc K,2_aTmc15H)%Hz)E@$ݢ6J l0@^:>ϢJBD tz`S&,^:=h]h"/>rWi|H=AwCen=\1a;YυEj+Sx0Y|U% ݲWkII |6$Pnw} rreWHktzkrdѨs2yaCTnmxuTb&0J<26Um}L5.$Mu~ɐa'(L{+ɱ?~5V9sۗ^mcT?S1r#+eT#UP}*Bpt ZT7νT^ݘ$l 8ȖPβ h94W2F +Ɉ5|c >gӆ?#p WZ5TD+J pQ;&1>y׎i.Q}? v>e.%[\]b4\2ّxG';(tu8v!GhG:;F> Ծx/Ҁ_˨y!wzyd,\9 vh⋄W~ZeUyV$ɍZݹXXJEwmUN P0{` \q)[8 ]yig@Ӯ}xYys5Hq[lSHV ڲQR쬾LzDC/96Y!BP!|(0,gAB(E&ou!}ggNe8”T>#Za|ݿ(mgJ/j 9. 1G? ~fԻ~\;Lm&Ys{̈́n} cX/5&qZ:xle  1"HEu%"˜k<śǫ7fqoCY^<~I|avѣ#H &=jhV "RgUhnhQV \wmˬa)уG-եeVS]nw)AI;f-R5̂(TIXf |0ȝ)\IT$(ŧt1,mEH\|=yj/|״r1L/npknia蕰}Ej3d~- .ÊM? 84 *ϛ `ދbꩈI] P0ܷ2qn)6%`VH-ꤐ>L كz+WNj85;h#!^!I t?pn1EymyϹ[1Nc2^':8 Hq (9`ѓaS`{әm_cP qlmtBv׻ct&Kb{Hq[q|@BY>__Ō}!,٘-pgL,b-xpb.J LYIna+J(rL`2UV㻢 !>,7QCqSyT@up?(ѕO40Lkɝ44R4K{W WK.|=jS&'np3;k*q}k,~⽜7lh;;YfGؘ"H Tj;ΐ30y2^}, aN9>TMvb|A9uK׺p-nJ)MZUDJ2)e;8OgwL#-`C\"UZ\疱2e쑯3N܏ Hlrp$QF!rE("Kb꣄]!]}D䩖gDHu2+sUŚDaQ8fAgz/J:%:-7m/C7hm"R\RL° }~zmH"/>n!:>FA|֤ȅWUEF)uvBNXG˅]~*nb+ [VTKq7BI*!arnbAnI_f%J x3(ly^p69ԭAO0g1t buB=O%gxxjHf.TΩL G?,;k޲2LŌ&s}v/dfÇUTx>(8#dk}Is+|YbN~]|^?K-gUO!8}uAH[vՓ\9OMp$#/h7*?|iL"a ՝}EF ҄j׉WSfYWդm<@df1x)|ZU.PTfzLA'(. QkipT?# qU9[ 4 Pօztȕ Sx7yJBGPPֱ&]*3rj k[W%z/zL+`L-ܷoV }fu}S/KuLYА "?xno<<VuI~[n'MzuCK\Y?69UBŸge3r:y601(h ,gD*#(D 5\ؖ"ҊO> 3z)]t9g/I@I5b,~A٢-(2K_wCҤ^T%6fP`+r%UEb9 $ α M,3Oj8voLq _zfoǮ~@``bWe`5YAAn\>S_?@^Tb۲UiKJ cPa旉Iaeψ V17fr rMmC' =ƞsB%3(*GwԒ(зDkD+2ʘ2ڑgCr (y1Wo¤"Tv@@nsži3Se}f@C!yl*X ԮVRSBfsy1%ˇqKf ѣOp1*D&['z 1J-sv>v[ը^T֪uh3jlwU-(H/ndz0 x3cFbvZ@D!K'od!@%*'GwBHa0af22jv)Фy$0Ʌ/г4baq>gu>ςLr w>I2zY#( Mn5U:VZ \˝!\Q/̴wNM1w-%ڋڜW@ҏU|b'>sMEdU)KD`zd>[-Jͺ(!˽Mn ,P}J[% ?}\|:f:s-3Tֻt$ݽ8 j+7ڒ÷բ>GJ2 Ub9ni?g#ӿfy2ofJҐtl0URÐ.P&I?$12Hܦ.(js$Q u(~{?%V&GC+eL#УyxKpݟ1"2s6URMָA`dLTTe%-NR]rv֓y081xޯ+u{Ec0~,/F3UሙVfrGmLh~aC2_U澑$Ԭ]jf1cƼ(%m7%x-R}DpL5fN(؈L4+B+mq@bbؑJ1GG.luݵ"*'C}wGX0o9OoAƫ>rWlZ.0ݸSՓÅ$ZZ%p2'ǣ-06Ş~lV9^ ^ sZaKN |/ASW'ǩ@6OP,7lđR ^R-33.^"3MCXIG9/lC]G_eL~В<1I:<r{+ZW}vgPxg',LeJ霁NA%ZߝyC"Mʦ !|ۂ_DDZtHTsZ6h4@S2I2uA2CtZjS _yiWQgɧߥHn==+@;@\ e䚫Oz<ޯl.mkU6ԍ7!cTH@20 kJ O|FRu#ƣu :ʆ|_Zl\UvҀ@>#HADJ ԗfj$Z>A OH+pPo~Nσc/f:C16"i KJn_e`{@'=6HPnLA.f96%jE M s$7=dʯKCs,rPF kvd?Nu`q< L&jr(;GW섘M\͋#ddERZ{ȜľEa64SIh++8Pra'*U5G0j2zD $vWgժ/Xuțazv%Bgpp}z0Y֨F9*I1e{a0y2bs ;% DNϞO'xD1.iz3X'Tu&P'*PA>B BN\4Îm;#?fnI].QHTےse1EE;)״xQNӢ5A?v?u";}ycavn$-PUBV1Xy \1cbelbk4]@kM.h|] ^9ON@*yz~ eInے&T)ve|Ns_'Zb_Ў\ĝuptdr!RXKuEBTVb{pHm5y Bw9灥ZT%) *ZhVM+"@~dl'&.plW'CJtWnUO[<~OʋS@POB:,x> 7')0\toY~BxK- -0˟h4^MںFv[ySsPd =Hd"e%,h|NIe8s$c>X&:9qگ >r2ڻ'״Kr5y ϥpzE//WIGˊ=Ki.b0G(ـz.3r%0X>eW6xV"dz+ 39%-2Z炕 {D1 Z}>vqSjq ܓ%F=! 8x4i[?ZOo5{O~0JKaÿÖcPCxҤ,0UVUiǽa,v`DID|dwø 걙P Xˈl4h%b͉u ruh2:i+:ХQ;YHrg-F)D?u2LtkC.#\`w6VqLݢҵQR!! fkKs !,.xRHr=43Wh&揪fTʆm9f.ϊHՋ7ԛ3\ndu6jVhPW/q÷"xy/VS]sQl*zMcvtStK1g(7Bc/u Ðr0"2ԁù-i{wd24Uwp0Gg6Òi/ [}n^Bkv@|t3P L$YJD[R>";~^+`iG <'X #š~*,&?`^! MBr @M}m' ^qBȐByg] ^P,x]0)Ip4+S /2V|Av32b_NɸhHپ2LvJþf%dcҀ[Kӧx]u4/-WEo9/[aKYb+0W:(Ӽ TYk/ohB/j8MJ¯}2j-= OFᄌu>o[ګH T0acE 1965aC6YE:<&XV`qa}uͰ:n(pLw!gzX\=r#kwSq0#-={QSBHj3Zj␬th/EQSp V'q?nI+'ʻ ΝaU6ᾒ:yDQ_T[e Syt-`Tz^i#,izgKh֊z>[-V`5q^WWv74Kd)G;I p-*0=A~sePГLHX!Q{MZp󈂟Aը9bO#,qZw[ȦAy IJn096U$H@mk+0pD]m{et1a q? Nۺ:\2䂷+!&KikXm [k&AΆ=mmES|pz+{q:K]X p/Pc")tF׽E|)k+Qj+9h+gYZ75d3804ea36c08c480c35905c2b7d1e0b66347a7d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 0b9c642baf939d258dfd45d0549daedc3df6d63e 026e245f5510c73f6a5da21e8224fc937c3cf8bb 994e99f52148453a3345cc6499312c19234701e6