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 II, L\ ]]Deriving:threads=2elapsed=58.554cpu=102.056gc=9.192factor=1.747zXZִF! 9x]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=Z%&񜺃]x3[~[b{ \{ UdёJNH5v3L PHؘzݕ~ dI6 #DLhgp\PߣbxN2pa&iC^M y5,Qz-¯ #EH>F_) b9Z}#CD=K4l!V$:bJ vmak7$Bh GnIK2d2-{M^c9qs}=)C_otO-P[BƃY .$u_^:HN$rL4WԎ3 YPNX:/ v!>Tw)D&VG Ù5%Y$$i9Sa+BeBidx]: X0[\d?pzp#|t>;dPQns+*;e 3G$-+ƵpPe/e`PsӔcM; M^MmZ/.f#Zt[4ھ ,Z-u<Αt6|d5&9׺'jM o.G' ٶ|׿B#2;@:> kYW2USxw}h*cTy|dqP#;]*K?L)"%`HgjW9F̍Pj] ̀P@=hQ}"Jh<5?ʉHJjycl5 LjCDY(vagesOUS*4YGNHejHVœ )ɗ-fl"W5SⒶ )#;4ǔO-!/ y㒡1.)qJxiE7e|"2+{V8CD"vv-g[[ Yj< @pR %\[S ajoϥq2o+^tv镧zBd jzfp N@&wF C~L"=>Z8R|2hOr%枸<5+EEc0unAX8H}JHc IL/TfQVskw0͞m (?5 b9\;]PG_[U-UJ*%ͧ- BL/ĄAlZT44FE8׀ӊ2)v<#FuR rG#zgYZ7zXZִF! ^]ŗXiɟ|E\Ât+.*aphG)%uGsKp@mQs>(;%n٢Pٱt3c(YlO(nV׾]п&-p~M*6$pڙހ(7bݮΒӾi(\!Xcw` Y(w4&bH³3ߦКH^HK/՘鏤0֋mmesʦ>զM"[zl9j2cvYfN4G K/gp/H& ȼ lWiU$'F*ңėAQ%ʟD:0-uaT['xy:s T)bc¿Yo"5q4mVB8tI1v7Fv˕ xomцltԗx><>!YgPl[1v2ٝa_Gk2b!39XmM^#,`䞪J, ~"!`cEQ^|XY| :   Deriving9(=% tDerivingNative_Word.Bits_Integerdocument.tex7zXZִF! 2]A-MՋhvG"uIBm5F賗 Xuq0~4 7H3zۏV/+F!{7O kLT^"!)lc^`r;&A _։9Cӵi)jH)1 ΦaZޒ9ֲgw"ǚ=K'03>g: B)H6~'VKw~[WXmD>m;;Kcm&.BiHݦJ7\*(-ߍk]d?BS&B进(|$0uxgؚͺO4ǂ?U<W *@XӴCrK̍IW4>ޙ\f̜NF!!qχ8z/ c>["ǖrM -X3INW^O'&%Hxyۇ!)] k0 o_S1W]o]<\ fisċO5!F<7<{Ǿ@8)!-= ]O% LDerivingHOL-Word.Bool_List_Representationdocument.tex7zXZִF! e:]A-MՋhvG"uIBm5I (a WČȇ<̲ Np| d ^$꾆DݯGځ=nfgbҫpz4™4 &gahRMʣ* a)CDI/ FF\0ǒQLNH8&R:ijE|HĤЮ|YU A1QMƗ宫BBβgNrw|Ö8qNjhq [.ro\ TͥJ"QemUE XeYgX ߒ#"P[J};uDw:m: SC/?ߖx2T J%ɤfKn 7K[<֩v5Rj<ZV}UzG%<}g&1׫MB%ޝ̗zQ^%)\kH+]ĽQQ.N3\NJqqΣ)/G\0ؙ =fkQh }{ڜhe!1I1D6LqCb^ Q[n 5A6Xcmi6Y1p1_GMI`1^Ԧ#to^v6ӷSr)ao$ c?(nzoU(É26W3̰ gz49z޺44/НՏp|~I!Sjv_v > ՖOuSҨɞKÚ 3N=}GxIӮo-:j2a$Gv7~7?)(bGXq@{nC0<9kMgZBUЃNǹk kگ*-]RTpzW0Q6λT'#L^fӮn*"o &G1IrdP1DJ&"aSXvqy%¿XOmoIʲQڴ xG !`ko_)F[%7@ѵ$ؠ[VMVe)ڣb@?jƑåRKuEjoQD8L53uDcEdJE2{*PvwA ! ?\"hHS4i{ds _F)rH x=@g?eT?TI03wAf*NkI8ݝ+v,M *#I:'U[ƛMmdeDxF@N'Y~o`Jn O2Rfd|-0nWz ZSe!XbiL%uu[iSo_*al#If~tS9rAɞ0]th ]I ͽrE0%Ou.u$cլ_>PݦLF:&1х91x[S&5 bFD?w7/마IoRx:A+v5FCnS}˰_\㥭➟w"_+"8!5ίmٗ5^.TE1!MrGnj,\@:ZaL b876543210/ - , * )$! ! E t A y * G l T  @     ^1w.5%DerivingDeriving.Compare_Ratdocument.tex!/7%DerivingDeriving.Compare_Realdocument.tex 9K%DerivingDeriving.RBT_Compare_Order_Impldocument.tex)+%DerivingDeriving.Derivedocument.tex09%DerivingDeriving.Generator_Auxdocument.tex5C%DerivingDeriving.Equality_Instancesdocument.tex1;%DerivingDeriving.Hash_Instancesdocument.tex''%DerivingHOL-Word.Bitsdocument.tex1;%DerivingDeriving.Hash_Generatordocument.tex1;%DerivingDeriving.Derive_Managerdocument.tex6E%DerivingDeriving.Countable_Generatordocument.tex/7%DerivingHOL-Word.Misc_Numericdocument.tex+/%DerivingHOL-Word.Bits_Bitdocument.tex4A%DerivingDeriving.Compare_Generatordocument.tex*-%DerivingDeriving.Comparedocument.tex5C%DerivingDeriving.Equality_Generatordocument.tex4A%DerivingDeriving.Compare_Instancesdocument.tex2=%DerivingDeriving.Derive_Examplesdocument.tex:M%DerivingDeriving.Compare_Order_Instancesdocument.tex.5%DerivingCollections.HashCodedocument.tex-3%DerivingDeriving.Comparatordocument.tex 7G%DerivingDeriving.Comparator_Generatordocument.tex /7%DerivingHOL-Word.Misc_Typedefdocument.tex 5C%DerivingHOL-Word.Word_Miscellaneousdocument.tex 6E%DerivingDeriving.RBT_Comparator_Impldocument.tex /7%DerivingNative_Word.Word_Miscdocument.tex+/%DerivingHOL-Word.Bits_Intdocument.tex5C%DerivingHOL-Word.Bit_Representationdocument.tex''%DerivingHOL-Word.Worddocument.tex,1%DerivingNative_Word.Uint32document.tex3?%DerivingNative_Word.More_Bits_Intdocument.tex2=%DerivingNative_Word.Bits_Integerdocument.tex:O% DerivingHOL-Word.Bool_List_Representationdocument.tex"yU^ x6[D^a?!5"#'8>y?icUi<h*?ǿ)a^C:b@svK7~4˻zN;o߰':RհP> ue!}Ifەi\ca~Kf恵oƩ<"Z+6N?TlzWBRv\VXy62q5|'НXOw/3(Cؤ em'D7mlٗO,]sqձ|L[z=bP @Y /ϞCx1[Gawv&n$W83~DWs\WiI#/'HR;%qΤ R@M09kd "?iO]NǾ%prcbH=CC,'Bѥ7JaJVqTфTY&QWCoPN>c fk^n L+3=ZTճ2)ea׻5]e];ͥ\A3fZlB c|jݠ`"U0yf&&lTniξWzTdvJE;qԱaW#N&֕U`>|?[eI5]Q40n^)p6WW13-z8^ LN.t}ӚcVks4+Z{%*$ *ИSh]y6(~ɒ Sa2sm`l!) O{66w/>zݼu1R?,+aw|JsSdːD-^cim'gwS*%U݂UЏ ۚOh2ǺuW662駯~AOx@#WMR0vYRU?bͨ| 7I65"fƝNO *%Y? gP2J}@v{Rn^|I x9V~,n: Ӌ/ktCľbC7$uIg=9@ )1n9jU‡߈UOϺm/\(c^]ofWvL#/yHn : (l>v0-q~8O_N/Ʈ UIr¶oM!*Zp0bb7p(J~"`DZ"}[sʲ@Y+1G9O7Ae Z;Hb1T\&E̥KuE^xU#[?u tx9)y2=ܐ5sE=mMm/3 ȡv)Q, 7!5n5F'h"@d0IF[ b1=vMhiKg >M1ܿ92bp<΢̝8&6Ċ/̰W'nhbQ jo<)D\ԘG iՈc@eU/$4K T RwrBb(r7g; HX/rmE0p}ۍ" -+X57Lj:%|(ЋoS7g,2ji0gXvM_CfmN0JɢAz)8濄 uL _q=[KpwxĘ8 $pSjqNJ¡|/C($ҭlM*}FnߩfY|Y?G U|.Kq98+JuZ!d-q70'aRcܭ\BŨהI+ hcy](kXtHz$J%7԰#=@He~ `eDSR.!]h .ˌ>Z#xvi,lŸAw/π*mq( Ţ3 BK b\aL/LR)K+NOQ&=!Y|up m=S?VK4F%~RhmN}=oa$ Efd/vy*6+!`yF;̤>-{ךs8G?e:1*C[3g:InUvĐA!X#7 5wLip`?U.;`h۰B;{kҫS?׍2NMmk; &/OC3Z< ]6vQ odwQC^^xvP{'7])%q=dodRjX'} \ ĆGlly:"hQW9h];lFI*E5 ^0&E~lF&مdMq% SٔbG#[ jUxH![}̸An `3J^y9OGv|WVp6 rP6tWAV2{cXWqs[LkMy:vͿTK%c8H=士 b.- -&[ck3{"(eg!ɁXJk{_ƣJA:9v04}{];MLqwTwZebCÌ(ޟ``c $g'߮<%,REKxsNsKq-}4eίc u<#aw>^կ}vB =BTZNC3RlU-*P"4яMc7MC"Jh#M>XXThDwX4AP>\wڥ(d<\ʪRna*nB1bnAC Iڠ9 Q",/_oc p#HiV)pnd*0!`^+yO7~\&b5B Sxd?E "rm{d}9jlM’uu\33 e%rJf.So,Y.=J5nе ΰP6$Ɋt"?\h_ _L. )US腅 %M ric/oc Z:Qeq:ktqu3c8qd?),*rc>3H#A:!xNQRYh*K|Vx&Ďf׳ ɎQ&m ?b/*\iћmÖ[O(JU~Bǹf(!8v˛Y7(w*XuՅ9zzi/_Ky7CerzƉ5Z -iW1ڭ>Bȝ*^N=YbSj󿺮ZutN$ fGo=7F6zN9Ok rA'<|u !=mR넗A}Zc QU.}0O^ZQPOOaD~b:F-r'rATWf`=Ȩ &s>j HfE͵Y66T#Պ\ :( `zVa!b&0P[T' !BvC3b"_< 7jy&ҝ$po.`T/Ⱦ9YGK3b)"]yHkcz fN%x[mrඔc:wFr1\N ȫ8ށ]L=?S.d/hVD'mkcG03|j&T4\#iDht :$_a {(gVm38-5tAn:O5u}G [urs5Z ʞAwn4Ai`͍dU#|jKY& srdlB8$*pAj!\*z'YYwȿ*!0wsh.Fq>15H 0"1\|)"p;t?-oGZ*yQ<Τaw]a eԒM]_%.n<{R^CTLz_kVk?`G;q﵀4O*V `K@OuqØY%cFA>jg,Qd`JAA9SSmM R;=6m 5)gX?%] uĝͨbܣU;S/QΟ:0C.'@'z@9:;fxB"ҍ~@:$Pxq.ounSbXk%0v8tDƐٖFt{=c^b&܏+$Du>m 1V!S_(wbBbVo)n{˻loED؜I* ;OzmV)悗l"6In]EfFS#-&8E )Mf`&3'qxbĝ*u$ :I*1u'7PϘ*V?🏊'v@hR%fiUxORІ$խKz-`5'by :U1+1<~<Ԑ`󎮢>JόAl'_WS|p./BN e]qBQ@ieLnuxbTC"glG#@#hPO`IMY5Rvc-I@x^dPR*ӥTrUi'&Wf%w%p2lpj53ZjhԨpԦ䦖&(e?"%Ѭ*z  4HvV/Pe5oY42r«vJ8q܌al 2V-C@[ |^8$? ²b,lD;x-)DQdd:{eBGĜ<}M-/vh<O5iNƅdW4;pn/g+BhA϶u(G`:(W~sp9(y /y/΍c]\c |])a_{dJ,v߀ooS\O?Y/Qd I mٓ⋈-/ nyͳ>+i ߏ$&Wo S?NʛYpƗ[Dp\ێs}6Q݊E# (lT'@P HzJ~W rG*&{pMSP{"?rݦb2Bކ8N$C0 ]dlڤ ١kFbUoݬߝm#NdQPk|n8w9#}M1'ij1GrR' S/9QRj-o"WF=1MEf-G/.VIR A[gIJ˳`}հ.ɩ(&p0L'V_FJ(f\o`)XF<ʄdyqf#nm Ws"\jYnB)^gۑTq^v]ˇ>N?) \rQ{Rs "̑0@ dm V9LLȖv2 A+u` ]!…)seFšR5}7Xɔh8][PÏyaf,va0j{ ԇ^>~ʳF6ROFep`oca h]dkr<" ")bAS6[B.TΪr>Y,AlbiWeglDqKn|ㄑfHG )B;|SPZVJ +T媎?ʢ"DspdY]ANXH_{~Q&z"Qc)Z1km ]: "87Trsy%.ast˄ #x!2;n|.?CpWv:M7eڀrIԉ.۝uqY+S?~zDo|j'ϥU]6c=&yH/\5Vn~N=bC+g-@F^=1X%}GOdrnMYN8 |vQ,93#6&zgسN]N(pҙoc$fzŻQEߞm;~"q9KGD 5d qE)fZ:hn"9BxUbɘ $2:2-ff;Q \N<1Jf`bouiق!'?_|Pᅬ ^w vk:&򇭠pw3 G^iL{"SG,țT‡~7Kq g3CL-D#ͼĶA0#9"[U &O#_Ύ .|M<)?\!ԑ+BRwr576Q,ʒt o[w{Zn%ٽjcBRc`-;a[Eء)I5)U3be-p}aC9ǸV@F]WRiwz`ֽrf#XӔ;p~BtV㢤[8Is.ws  >ʒ6čӳgoZE{{xX.h<Jph=gq|+$kRfѦ)Q v}~|N(Gm]8=Œ $8Ȅdf*ڤM *OQ4WHB'S=&QAP2ܵ~ul2D4l~%e̷ L|~R\5r*n$=մ4" aNEs Z)Ƒ, &L5k9 >X=I{%Z~,TҰ믃f̬6Gª2.~rkG8C  nъ$9?d@Z V66&i횖BUhX!u3ƆOw7M| Sa{ F~O]2r\:荞K.?5.] 0p蝍 g]-l6 @ e^p+4ǖ3M{Doȏѯ/nfP7Ao'"HWXq nʨ}FH٭z`VI~k: Q+,PPO*jDєRy't=xG2Xػroe]A88FkHKM$V .τ.i,C} _V^82  b:Г:T4 r秎10tYID@C(soFA!J)5,)`9 Bn[Dfz(O2C/9l{{`mHXX-%ǥ$pttV3@Ʒ83@^71C}%!fy,?rFhu}Zh;qVRP5WxɎ0/Fz13mߤV~feBE!^ɩ rNZx@LwŘ{ڥ:!+O;H:r5qoT5p\rp搵nw*6 %Pܗg~H[zcoe/V0$?Ce8֋wCʯ!.5zq22 ?meUJJ Bӱ6:ǀLOfO9yW +˔| +_L-1Zf~wC.O"o`M%|lBby( %}~XB'KXƜm>N[8VB~wڱ =_~W "Zˋ*^ zd^@&p6ͅ Wߋ%RΏSns.$$~E8ZW"S?פ4+J*k&G7?h0bzMmRkV@i_Vbm^{̑(6T9|#{F*tN™yx[Ѱ{5c~U<Ε pt,X2DKV%.):kA2kQ(aFb MJ.ϐ^3ԯZXv)/_k CS "RXqքUǠ"f`ڒjҼ)gE\k v 'Zv"iL<ۛÛ.zsIbWf:!L&"́tGBod~%. `݌eh3qKVvߥǙ7fuA? k 2'o+4#߲O++hi#H!Hv)/60*eF<`\ ruN78=},|V ܆wVgj}|qf2!?PL-Y_g SxLo|tQ+djNwI97l=Vwޓx/StM@u  gYZ I]1(E8 ,f "whJWq,1 "%w&b> 98u]hG=Lvo㮧f^1DE=_㈊d,BGvqؿ3D-ީ T 'hۻ_IySbdbɷ/b$Չ9`;+U> @ h|H 9L^6-YFX@o-֏έƛVP |1*584z >@]:Vw,QwBk=h4R|\OOɟlv07j9d&+Rq2@xV[ ˘:6jVHl OM"ak]} x"hާ^>9 2p"0]p e)8f`}| B.̦htelZ3ޓ8ek>8ܩL]BP:搦$3va[ͨyhuDmA'!tvU ~oI֦Pfb}v`+ؾަͦ$rJ AQ;/I_ Kjp.@3t);@I%`Sj`T.WMR2 I!!$Q$%D˨z%waT+䭾f˟}9{+h={L˶^]XS赛;WjieX|KkLSX4ђV.%(_K\s[y@ a t]ddu[I5]l(~#eQI:LDV~ c0;#`{+cbzjm|%8W*<efYzYM,UkWRtb& \`/L="BTSe;B$/B,ZCKWp?wRV/Q/]Jho/QoAw~[t9 Lӂ$cqi{Vmq$I 4Ne~QRN\D+}NjX]#-nˮnZT/,bd=)0=#FAz9h8! h("F޵V\udǑع~l;jƃ٬DbUx&Pў(zs%+W4G*c:\&O!#ԭ4`C CVC1E FyLDN,DA ].}eح9حY7|i%KjSkM)@FU:3Kˠ6Ew`'0/U.;~[M qp Ă- ϑPrj? q#!)uQ%FvTÆ[a\U]L'&ֿ`VtY >~Ž]._d 1ʈA($ Z}Ea WD䊳9%OM[Rℶ[eù!ؑU '򍔧}ўn$K)/*g*j,$Xx|hf+L)(tLR464h@ lz|$~XdlM0XHBD~_-p;@L'9n< Q* X1\TBʅ[KP%+Qa$\irg _U6lgӰOGuc\᭿->DjӒw]p&`Zl{ $`rn%F:EJĄ[Eu%( {n5VVOY鳃e‰Ԑ 'QW+~N *-x濺O@ۥ)b8f IU,z%ʂ|ڬ`/ީF=Re_ri\ߍn%c?N]GFaFYȠ XFBjg3Sz PҜ[=@_j`xQS.ۖ$K5|'-*&Bbd.4-gQ"q98UhD",m Ș9 w%z, D @ϖ9R-3a^3eIm ^ XPq!fom_~Ā{gxQRL#8uYіr XKdKFWa_(T$_SSG\/֜ Z3yx n[ K"*:<**l~/E߅O8LR#_whǿ0'>jݿPj/vm"bKE 0IjIЍ8v!ʆKЍ_fF|,Gu ok;d pT WvJq)N;xo* l؟Ro<R҅6Ƈߨ2K6s;<2-S""FƩѩ[5PC$a{Kp0q~ ;旭a_usYѻwT<*o9 ,+젗 7g{4=>gT4ge(kau]p%3wQwRZeh]0H [6gᕎp&$=ۺl>@Jdrm Ap8Io{9P:I3%|Mnq3D/Rld8!{VSάAzvl6ݛۉ2j>`7I7a) Xw)&tߡ)0-hæZQ(FFXMBBȳt9n NF̻amqLl)1#s'R=8p%OX ;sgmV# $E>zzR^o{ﱰ痿Q+>Czϧ׆AUN/uJRvd p$gO/+/lOY agKjN/@r#b[2-8DsoϹM ~:`ЋA' fF`YKhNzPH9@z.' ٩rBA|z?-eRd/Wʟsԟ{c>Y/ x S+DWrb74xK r [q=O-LyqLCkZ]>aF:]R7d5fuO#!<8:&m"sGyW'tzX8z.I7ВSxsܘ2`JIwzjUJSA6(Sd]dlFb8U8}K NS͒1UI1X}]6(9!zY|n^ύ>x哮NܺͪZon;$.:U`:C'Ro~Җ i: ~,0Ce}e[feNmE^8qVÛPXܡxu//Q5>^'ѐ6Gҩ+v3hg{[4굘I;E )N\.R<]?wt96qj x$sL ]{EͽSjt XP-F䡂] : ׌:#y MxƫW}ϙ X0ե`ya&S+651v&$זX-l(xdRDcۂ>܀EY^Ksa2t1 J&s8n3 KTuQ0s+=t hU,T}KZZ aq{FxnҬсŝ0cpQ{)m:HG8Cp.+[!.ݐ_ڒþN=NEq!@ei ={sN5aE'yC+*K'$@'dH;y!;1// NH.v7}܍fgŁoVa&3],QbBis`&29S~tӹIʕo1bԩ3AWM®_>Ee"eM3QUao@p1k%$ͱ9;s! V\bP5aV^I҄cHÞj}ږg+o92o4kб7 RosKc🍙`Ś=l)땊%I.DG&/oo~ Sj+2|f$$2ޒ+Nec =}?ٳ?d[*av@M݌Wr&T_/ C&ۃrLTU'%p 7!~ڍ/mM#3`FuMI>wͩJQ/>?fch<3RO&_ݮicD?;R=/00E'[$<)Lxފ ΅mPn:,YB]Ai[E]NԿ\>. ݂Sod{G=s8%\Lu`dgBhBOxlAxJcz bKmۋ3qb33N(|PKFR"|N!(V|Pάj-fr'#޿81EeLH>WH|KRv4p4(q%wJv6I, vg MӉ.D?tsY; J5`%/ho&Ïvyvxbٴ$C6w~mYFï[1vl[&8\W C Ѹ@tɗejX~_"@RQF#oo[)>**hn=tsaQdžNV;/q׵]pJ@lZ֑;S,)˳\|JSa,-ŒUy}jIҊe ƝYcJoa_35=tFVR V>*])Cjx֝"+vn\w2Kp ?,{dI}6~P:m*qń8eJ58O9[GHE3v qQ-{Y֝Wv'ۼUF^@@@5ߦ?bI#1[U_,g,V |jRF.c RΫГq l\ηhތS [&̒&6zboU#Ns:#ɐp4ZF$HgڟkX6ebl! uf#Nl~Å«ſe>-g >ی]%Unzfi\ p#^e pUϬB iRW^-szb#sN0do$d`W&O=ni=*ww8;yRcDuqui!A) t.ÓrxCHި/rQRgg$S{ ա?ևX8Hkx[v[Ϡa]lsqwa̼o.S֘"2vE_vw{oÙkB^W}"`=h^͝9 %Zp Q]<#K %o9ǁH\n{Sw(דTp<47N=|Q+ӬtKZ FMBTKTa!KxW^ u*a ,iCns b|[T13*l=)`tK aBFR2!DS2HEB|O7Vѳ?Hm*i{Ճg?\ʨc>QN8?_8>=JS4խa'BM:]-e;]r̀w]6boY/Llt=Âuq6D]ZmK85>H+[w~қc踋`/@Y1W' ky7䏒ȅ<: rUt<֓d1$E8ͨ)U{`>.b&iɕ֑+(#ȍ2%*F46riomPW·RfQ3cKs\8(_ŧƛZt$HܶG=F.Ź5RYs0ʣك.iۭ>1YS5Y̙z˩d i AɹԭW_ \AgP<~Epgkݓ]#s^@(NX,tlQ@U39*$rC|5tG@)E'otY=䊎!Ay { K4.#K@grتz1z}-*:k&dC{>- y Rt <܃w53x$YԱ0 bOJp o s9',⯍u6ԛ^<0POsx cME'I*IV8GITRFw]1eӷ5I.PmL(Dn:ș |OX{:D~OL_#z興 M}9WbE=<Uv1Ɔ_1' {(-sζ& S`+5Vډqks ,u,ܶ0z~a~G@ -L:lxiƾEs@bRĮ2׺vn4VD4%q;Lm?2]ZY;TUɁ%ni*{6(7ΗFU-bIhyl xOLwGxsl̻ \M?@bVZ,wníWoSwgd+ёU$8򔴍<8Q^ nۢѥ >tl݃jȱRf`ژ`hdQ<,Za_ C7B{ qlum<a,Ьs|`W X @)ܡ'2n鸳ofzO):`̻[IVy\P EunZ@v180WCx[O 9ծ&ߘ}ȆG 0:Ħ6!JB\{ـ(} ݟcS(\>Roe.YZ\DW8{kF%]Ӌ.&fSn>SOkfРʓD>\v YOTҩ"w*Ҳ ҿCL!ZlvmrAVRO|AvO'<S?= d4Lo(BSvwٛ)wgJ'@֘o*Z Dv[iUNWyKsmyhފrLߣR38%'hn :3]k3KVO@àPVG;Gؘ=gb@|ԉ)49@?u-@Qd| saLBw5xN0ހ7`WKHYc්3M{pJ z2Eco}k&>gk$ܖ̺1`'{)w1"f}ԵJ7 @Q'H&tMjp.Rdd8v>ãu’wń]߶ s.*~]} _;) pR"/WLM۪Ous'NAxWhcQג0#""Z&|TW<7!Ն,ǫa%}ĄμZi+<R ?+yX𤠷(b38~t?SݬBg)}G|}~f_FsolЄ Zðx$Qy䗤adza\~657UhcAi  y<~ᆠ=yqB)jjG^ɧj7LFi!zSYD8siP-_zt">Ҫutbi $@:l3ɢEqGYeI8X굇p{K +kVzCLr_oKNs#3ҍP@-0G:ǘݘ>hPZ&#lO%z>ٷ)h@A`n(koH$&+DElDع^ɿ`Aa2_'X)cq^!RDƈka9m:Iaoιb#57BR/p"*C)^Aʠ`gv'Kf4?9c*V%01c\lw՗PP 뒨z7!,clo#D\;,Ud|5 5+Xwyg0;!N?Hge!^ \/$Vnt.ӹ] iuJxϦqM6pkxkcU #:^NTK0_&@BC:~K,2={%%_?ʖ*lJrgd)( ӧSX¡ik2@"M?%Sv,Bmp0@ G o_k,>3"hG6xc[BNi[vMJ¡ɍ'!W=HՌT֕2Si 2<~c` ٬Wt43"͞9;1)9HE,><-CIc$ \t*%2"sEz2b 82(MeS"WƢjIgO t~t"v!uY7[]nq~䱺qw"? M&SQ 0$Y k HTd(潮(iT Gxc^d" |,[S89H|WD0O3ĸpɁ{8p~ l340h=Ɠ${ugI]YKn<!eMs(v6mQ^Cޛg^iWr\z s+G>H;e\~O)k{o|mA]_*k7*:[X_/Xw^=j@3줺<١Y!FAmev} F0|<j֍yHnjTlh5c]v.\b)e}z)EB;Gh`_G3k%x ?IdTu1w,f? ܾqz>pέ`A\_|j< t~H S6rJ È%=vPoG$eyd_mᄩ҈^m\>8+J ]p)j{'=Ve˧ 'gYZ a;M;yXma*`I9~ z|ԺQ+W,p4׫*J'Z3W b<OLċ=qi!^K"َYL b}f"[rcovWSg׌euvgbՅ^%yH^DsstLKʛ`՝ 3`7՚]X AE{_+I؇|/ ~V'fMNB xwIH^K^Gc?^9y8墰ORg)/t0YDkY$`c #y%f-/>lVpçz'b4Tȸs`كUQ0؝Xcw ݨ/y)B+3WwhyOy"ոXTqЮݗB x O_:W1, ԶlEXq%17[Ț)lL@d5Y pt%+,׭J#Cr1MdґdjLf޸id&sqKk^G Fnie?\UHN0`Vfګs%TDHͮYI*r8e*#&+[dkYAM$<bk1yiփLAEEx$f![O. s: ٭I@tZ1~bbxY&RhCm~%v5ʲW|_!D=$^@g02kwӦtHgE䎘v,[aMW}s/ڝ:vG?bǦXQM4hKEww Gͮlnd7!Qw@:LCT*?" s!| a;lۡ%KyƌH $Z֙ijRE*UlЈӍcV9iI&\4 mz<'Oyѵ+j7x}T]赏'23e\o PDHǥLu@L+k@LCS:vFiL m1/&\<3%Rf5oYO2bdVʬcU Iu7;wлtne|l/cQD ZsN?FT>dB""߉M|*LB#J9c-:.HM҅jB<k.j^>W!)? @B(<70{sZA&6Ijdr&2xqelƞ/BV3dD[X4=R.DB*3{FkiwȳasK*ȳۉ9eTGz;X|g#,]/:Ō"7!D[䟕; Sf 6i^j]8Z T47H@'2ƂL7>W iXy45:P:#~([ii燞E,~ԻI_KWLBSbek<%?y'\)]pLzAD)cT#[H x흵_9 3_1% bHP@g8ٯI~nN᫪9`$oE?zXlˣaT/ ʸDXvLTSRNB,4@?2N3x j.ak`͛K(b̥I9`˾C Wq}cn3c(^7U ezlO]'TƜ&~AmC&{Ƒ**Kp$y,qOeK[;z#{+SBEGAC$T`qȮrxM3cu"qU-6`;iw}58юws2\mwr*^0\Q y)\]m,@jE8W}!Jӱ(Mϒް=0* }ژJ8dxz>tckOhv41hU ЗrZ _fxB7hkT]N@*p\9 J]s:y-U4?N22,LmYupvX#b%oEH]RRGUMPt(Po# >j.W3hwe\x@T$]*KJ`ZY˜˧)>Z+I cQ} /^_=ÓwΣŴ!GɆHDQPMI0.  hDB@dQ3QrRcԉZ a2 tNDuf"gZl\At[5z;4+ԼFȆMP _d0P;.L ĭvЌI%r0Tԥʧ=(DSej_ꝿ\*-& MnWyт\'uϧ]g=yP'+!F]tIS:_$t>Cd|ʎ̈́[)Vn%#m;UnL!ʞɱ\AԶﰅq2zB(X(17Jn/,HS<nC̵ LD(IcG~.Eygy@JtF/ 6D0 ||JaƵ?dt6\X>i !DOF7 Wj@`qZA}T+Oz쑟nEt%Հ}аQ\Z5Nֆ)u< VD Jwz+jQ rNۭ&O0럫/v_ΦG_\NALXj dcJš&EH$^{]}KJ|J( ^jL tP4`QhŚ#<) ]y"fvayB۠$Dãk(FJd 2,濒j&jb育_x{Ue{C#eU)Y2Bo Ǣ̈́k"%R.[ Jf[KQycAP4OQÛU;\,x:J !Œp aȽ+z&-)Zv`چXf+AiI$՗WnSi8_-3j?Ê<~&P+p| 0wVAS݊uWI^/*8Z9SX4x e"Хr_T5҆VfSSȰjf_ (kndc1Ѓ)!-bX*2AG] 9mm$iwM[ I-Fg; o~]Q|}6ngzr KA!xb!4:{i`ls󚴓x@8cݿ Wd3hS.KRB )Z}Jʟ39ד8kkJF2$=1A{CjCw.WxksT);= RoDŽ3׿kq\S F1ciQNx+I$ZM-.CHnFA0&P8;6 7Laj<-]ey >ڻU//+}JAY#7e?Ei 9X'#CF2c>ѹ 2x8fc\IWwVm'j{kB5* ͥ/$sihʃUntXLqyd4 ()k[]ڧ}-ںq[FwkEN\*$6Дdi_Pq-\銤џbζa~vftb=UDk][ SJWfn#:ھf, xǑs`6J]wAԹ١=\#>UG#.\HPCl#^Rp@ɥ_Ѓ)2>M“X!̳) ~Ik$ QOGɕlpO'lO#,aGGA B,ߓm 9/fQw ӘzRH G猏-ϳkoo'/ϖެV[2&ւ3-kl-YpVy=%?dejё<##r/E5S?z)8͕YbnP0!>qVXu(7b߻ @s>ظR69SF+}O@M (kODXԱY(!R~V vT~A a 6̰Y]ǰn{ \`T;{J;$fJޝa62@ I6؛M \lai5m4 iUu3K Iꤿv52!n3|{D!B(R6zvM?ĖTVIdu[8~Iڋw'3kC%&)4Y8 t䶍w)x*/8@s#4CS!tr !dbʌhŬx_KCPfL1uttB~:i\t`=)Czi*a衑M'#ݕ U ބU8WFG37˃q-#V3L_Sj6c~= [ŢR`~¶%hvKHΎ|%xR?-8-ZjE?pϣy_I#1rMO2 嫐1cؓʬƹ$`>Qq{bY˶7Lil 礪Zsiߡ…qEX%I*At'Y(#zS[xd"&2ѲdQ>q7_yd] X5) cL :ΰ~tp5Y*46IE'dJf^Fp{r@=IK7'"_\ʒ6R2*e( 6}֣kO:Ʃwod'T0ݒ=Pܳ^U,WavI)d'`^1<ۣVGW[۞2A 0/pηÄe91 %6 D6䗿ۛjP;%ײ|ƫ:{t8k/:Ao TM0t{GITr;0F7BW#wo#U6K#;5* *Z0n'`bU~b+I d='O6j÷x㈝=1PN[x/u6IO@y Tc/qJJUz/(ۓnǵv>8h0@S(/z r}`^p-ZdLg.:qgM2-xCLl%Z!9oX $Y(t8I!z&Nɗt#sHߎCUD ǚyx~֑ҝ -74f o$6DZ+Zu K{С/'dmz+:7' \DGY_]EP3}a?j$_w.:MNh%e-Ұ28Lݤksn-{aobm_Jprh5 COemHE$hx>OAcW1NrR-p1{?x^wai{kϻfI,]\CƉ;#[C809s|LlⰒ[NМvaV+<:nL @㊼n)hpoE嵋OՉ.`oy,rLHR o.)r\g1&SJANoN JSH 4WG۱*<ŕu(vº%c:X!>U׍IOu+{kY)1/o_2;OyjY*a 67-(OI?x߾lh24Xqkٺw$~C=a N4bLnK6c/9Ok6h7e,/5W"_B:YȖȈZ"GQ e\ WǣQJr.N-  Fɲ6_/{AOnh -E°Ž\Iw0ޢJ^qҮ*L_Z6(E60L>U'běr帩u8ZNͮ!+AԕUSH@RR zj[š6ĩw"*M'z\.?;8%N uL5ni+=4F dM4DWU27wk4>űӃi7|،b TcF&t ss$ @g13t]AR@ ) z]mZ[U[˞is7G1o{ޤD\aCSK7)<.a0)6YH$oǩu_UQXkVUGX^7s1S@hLD03(:T\]¥S?obd8u4qSFƿqgȮ.>)V-a!V#c+.*mbP:ě1`͛!3 ~LbW^;X ~"$dd$)i{;XCdn.\Oo%!3 @Qf:Gm<h2#B{Ý~~ahk>+f^ omW; >c($p}I I;(]Bkc?j4*]ȃ}I4PM(l IeN;ŽWCD[H,-^[M4b?Or=jH8b#Iju[!{,牓;fأ}nkdX@u jμոEGxvjjK6ڴ ʮUKmS5-Dx&QWQF1s_eQ}Iߦ~ع5MK/FΘf|;@vFrj_E AT5;8;%9~ݶ3Q IVgVZp–VwCV`wumcC|ny LtuK9A 4ՃM zqpN?PhEI PYz%=J0j#Q$ 4 ]_QOA%´MݰFJ e~<"I*P\bdӹaK{S`a2xr, /py߭E36W+2l^hE.֥N-NW_腍q~3%rKG fkWǺ ݳi//s􇌪 ƌ,Q`64SDP0Ԃq^"$yvlKixJa4^`y$,ȧb"?כ7~7Z#SNK5Y8MB=M=Hic'%Q)*9|& 70v%Ywo&rxb;1RK^@V.gY B Sv[큤u64(U}kpcD3~t?U5|E2 s04 "ǁ>F\3qmsg@ l)qU(|ץ媷GO{JH\Fڈ%t^r** ۯ I:g:wk#o@b)~ OoSxDMR'˶)*%uIt #c 7cC]K0n(X?#֙RNLt]4wfN3(gSp*Ո;4l>#qL:KA(}hXYУn|:y=Q-C%o`490\zOS{ӄpLH5[E3Рr'%oAnoirJcp93IWw;1inmI?J'37x0NHmhk1XDk)*ҡǺB( k.'}+sQxY|5Q%@7yKτrCe:&,k5&&LrhIEMd]Ct'>$Ҿ&:gC`SK,@y`kmoxNMU 0"ISz*Kf"!^m\Ͳokv|'6 `! lLC,C}T_G P3UHMrJ.YkLo.un)/L%>2O E˾T:GA3]5N>QskoRYH"G&Y2bCYA(_0d؝<$hͫ =?!K{IV %.bQ(kOHQX#]TAR$0aVWF5=D3vkIݰT?E$I˭i9Nq'l89UvL/xj~t 8= 'GP ]T/?n$tsdd`ΪjpHe_&;ĭ Q_j)Pԡx#|:-u!dy֡Gކ)lqv8sk8V2|4WH<]z4zX$!di'ʖ啡4 v\(swzNjb ,FgYZ UU(=% tDerivingNative_Word.Bits_Integerdocument.tex7zXZִF! 2]A-MՋhvG"uIBm5F賗 Xuq0~4 7H3zۏV/+F!{7O kLT^"!)lc^`r;&A _։9Cӵi)jH)1 ΦaZޒ9ֲgw"ǚ=K'03>g: B)H6~'VKw~[WXmD>m;;Kcm&.BiHݦJ7\*(-ߍk]d?BS&B进(|$0uxgؚͺO4ǂ?U<W *@XӴCrK̍IW4>ޙ\f̜NF!!qχ8z/ c>["ǖrM -X3INW^O'&%Hxyۇ!)] k0 o_S1W]o]<\ fisċO5!F<7<{Ǿ@8)!-= ]O% LDerivingHOL-Word.Bool_List_Representationdocument.tex7zXZִF! e:]A-MՋhvG"uIBm5I (a WČȇ<̲ Np| d ^$꾆DݯGځ=nfgbҫpz4™4 &gahRMʣ* a)CDI/ FF\0ǒQLNH8&R:ijE|HĤЮ|YU A1QMƗ宫BBβgNrw|Ö8qNjhq [.ro\ TͥJ"QemUE XeYgX ߒ#"P[J};uDw:m: SC/?ߖx2T J%ɤfKn 7K[<֩v5Rj<ZV}UzG%<}g&1׫MB%ޝ̗zQ^%)\kH+]ĽQQ.N3\NJqqΣ)/G\0ؙ =fkQh }{ڜhe!1I1D6LqCb^ Q[n 5A6Xcmi6Y1p1_GMI`1^Ԧ#to^v6ӷSr)ao$ c?(nzoU(É26W3̰ gz49z޺44/НՏp|~I!Sjv_v > ՖOuSҨɞKÚ 3N=}GxIӮo-:j2a$Gv7~7?)(bGXq@{nC0<9kMgZBUЃNǹk kگ*-]RTpzW0Q6λT'#L^fӮn*"o &G1IrdP1DJ&"aSXvqy%¿XOmoIʲQڴ xG !`ko_)F[%7@ѵ$ؠ[VMVe)ڣb@?jƑåRKuEjoQD8L53uDcEdJE2{*PvwA ! ?\"hHS4i{ds _F)rH x=@g?eT?TI03wAf*NkI8ݝ+v,M *#I:'U[ƛMmdeDxF@N'Y~o`Jn O2Rfd|-0nWz ZSe!XbiL%uu[iSo_*al#If~tS9rAɞ0]th ]I ͽrE0%Ou.u$cլ_>PݦLF:&1х91x[S&5 bFD?w7/마IoRx:A+v5FCnS}˰_\㥭➟w"_+"8!5ίmٗ5^.TE1!MrGnj,\@:ZaL b1*ç>Zn ȢL:Pf$nW?cGFi 'ƍb)A&HE֬^}4:{|L = v1% DerivingNative_Word.Uint32document.tex7zXZִF! es*]A-MՋhvG"uIBm56-Z`ϸtK Nᘁ_]nO`#m)R 6So'rUds(aa' !jÐԫMU^ZJ0Y#] #V˽ c>`Y/R[e^XHS,  kq/sin-J4+6Mxl5gY^jKYn\Ր>30!ϗ)IH )4[ԧb/ukS@0; grij"Εq}]9v+tP`c`@0bR;a>l\WHd{y@Uw͚3≨4$P72/+1h0:{%NY' TU?>t})®KӇ[w v>a5nBk|ރy!<}m!*6'9Y奟Oh+Od^U(FoUg= ;s@2eS|;™VƵ32b~="մS&Hzy$Dh$*KqcEFv{ Uu-dyMm9Ѿ8傯|f;c&[dtx{Tꅞ#m؃ap1A?'zJt"nÍ|/kbO_3xl7P#ݴ&b;֤8V3#^@=Rj !X  rbR] iC gg3,K#D܍K~?zPi" ݏwu2[GK&sPŲ񱙹"|-qzzC?qX QDL{S,Ni.SV"ܑ:լtE-hNXtfpB̰ +DX|?;FSZzoZʾ0n\Գ9[Bm -F1XclΙ"㸞JR+K?Ss3hH|:1=$6TcI ߜl B0/!? Aҵ<At'GuӒB?kxca|>]L\gxx[]vMGXQuW x/QNÜӫ#bk`%nL4FE4' N _OA( 0 jL悰VX柾niIQ{A ̭`Q<ʻczF4X'6j)a=0χKɥ@WNJ:t+?5E(+ Яò[g-lGe&޲?)~.$3Ie1 @ƘB8 DwYs0nI+8I V y -Quiʍ_ex_DY4AQc-( Ӹ@GmDn aj|6&qw'+C^<^l -pu (OMaKV}1Af+%qR| 03-:-Gʩ|Rz?xNU;m6r:J?́}Y8;)h7 @yZSUQt+)UY6*Gv 2s91sgg"H^I36fҾi*GGogaNpjä~[p 8q$,2q= A Bn;x4^9m8g$X9yÜD1CuܮH,/nnMQ=Kr6=B$}~ӫx3{.8ΐCd:5KY)W∢o럮;ŗ@S7;xrs l~Ym1uc5Y5ߴq[kk~٬|ZgeD[ M_yF̆*,$ʵtv'.au>'"ËwHVXQ\D#܅16Usoy>{$M3[>1}YX;)ӠWG OK(n?b<^=4R .klc]~X!y6 Iݏ.65GɃ|[S7ʅ\usCX (ojE@)Tlponԫb vW98&]dҿ,3Xվ2LU,~Z6y뒨K:#+GXs5ccc` ?+-F 3C+sNe?% lDerivingNative_Word.More_Bits_Intdocument.tex7zXZִF! s0]A-MՋhvG"uIBm5}<͐>Tkٯ;k#kC9ȘlCJnx/\퇪ভaguh-ϙ~P$y@ҨN X]=#I 6v#!\}WɭmTUyGCz?P8t7Nm^S#U8wLF8jr'N҃c?IyFTx9rR*C͉&dm`L#5mj?\Um9? .t/*'+R6ɠ!<`]) 7+ԜuKy vw+/ߴQ#:լYC h [ b 4[W[?aVLi: YhfDJYB!]_ҽ;?WJi}^<:Sd\̈́j<^Щr_`Lim^XJBg^[YsLh0=@L5\sgqߍʘ7u_!6Uh#ϐZm]c;v(Cm9&Hd/9R_?2V&f&H>h315^P7z5p|e\2%2/.EƙI/?_ul(MIJ\]P@tPI]r/ ]]MԲ /:$N@Rii+%, ʂ{D18-IUľj Lt6^5_L|%0S1ҡ5)Wŝm7fUma^+fɈ:w1X­oΠ&*!11]KRn-U)C2L9H\\̧kTϿK.#/I`Guy3m,$Gy#0iGrU4}Eui<f;С{!VP=5!j'P1dG8J@jfu%NnˮM]9Ͽ75F9%XqoWڐjZ5r$*#p&RYAlLK͋`6*%uƀu-`bnъ^zMu9}TwSX<%l^DLsˆ7d@۾L!sX63qv,^ ҶhQ=cdyuZA׾&Vc)[:3E'/3UH8KĚ DÃm䚸Y{:N JYI5?>YjZԐڭ%-ϹZ^FL ujOeXoӈڮ/ BZlֲ*O|t7zJmWF\UKXnl)ëh1)ܧU53<S3AEcPuW|ޙC! g<.Jto)j.L"#%r߿2_ M7xTp`8/@dsΐ@^Ea:Oq{If!#vXd( jnGm9nkL:ImVjNI䷕ P^C oݭƇ,6^ȜwPHm_I@R(IkO$:v>;ZIW7L5ŮRCA *3vl/(.v#8sT]_Љ":؟xFT:@1]2$(c)ub}r_*<wэ>}#=mI4Q.y7t20]e}0ooDsC[]^~ҟ:ߓtz,DoSۇLRi3,D*K_$j_sV6os[oK~ICa:*L|Z>!,7!| ǟF|bGM1[[MHZ\HPxh.pHBw+^lhUbk+4V eP|+KGĺ=^NpcY RhDQvflLʜ7v>4"v*-D1?T5ڈ΅2*(o%y5)38y# G7G 7> ia@7ܲ#"1rM<UReKSb Ρek\( wbzg,e'oDP?QD.o7qq0ftEs5ַ)Cԥ!EBR#zu:KxsX\:I#[.At}St'y**&R*iT=Y|`/姯psd-B^`e!/i b7|Ƴyꃖ3.S*p2,w. yjb_rmhvut;~0G.7 ܞ&n w4R|1\9U^h\^' To4E㫉,+ ^cwqg_gJE[kOˇw8eKUw/ӭ;RNy1W{qZ ?/🺄VF ȳ(mڸ=+nx3:ݬ47O>YORO2;_;كWZf' xX#j eR#łZdG\|= {nnp+1z7%x7]N **"yi?a {r0TT)fcf\@\"sիg^!9}8Uv%6j*UKykv̬`c4WGTywWr ,M_@BŌ|,\;(lZlekȿ):FٺF7КU}Rr&Pn'c7כ9"`\Z;(9ߞڵXOx"3u5eLC<ݘޮ}9硓c8o[a0%G A$|5 cAׅ2YE4 kΒ\kFӺ$c?bS0qo,yͺ_3{yPAX'ZPFؾ q\r:c/Rp6 ]qLN \nR :;`1>m+:rj۳ku}O'vײ1(Ȱu[]*5wndl{R:0=՘G7!?J+`zjM>9RpȜ= :R ~f@IʓV'35IQ sX~|蛵S"=1֜pm7؏(VUTy @zUG!V<*k]WqJKm r z]ъ28IHyS1AFX,r:׷U!$@ʤտaZ9pNu})˳%J\3V̌qM[hB=LnЎ+*5)Y&i* 4 h]s:F\o53/b3K׾~y22F}Z3[(4ctMRN퀺-Cb* ӘoBi cXۭ[PawH>8ܼ *`Í`,<7}z!=n7{նS$6+X5gdU\a-0-{A',r!e0bp%cL( 7ldhP)1*f&yB-G fXu7T{YU['agō.Ef|AĜٜr{]$?ϸ:!?V34|9}r^bs.0g:>@]gNxFҎ8rɤp x'hMI=M7#lR797Zgܘ5[<<)9Eqb]$EI4u lb5y%Wy0FHnGxkɽr7BD&z[Nv @*28vJkW#GW|7?7VoAGHnbnc"*^•sDBA7Nx="YTJKy="͝k~W=6muuKkhk/zOqGyEҴ}S/ v,@Axv$⪩,'jKb/5.n߆bmI8JmWmܓj fL]˧!fp2Z:f7=NVAtRأiXo_ѳB/g3h8.r syYS]Pϭ*Ne#91<4 uGs`v,v4@ `$T`8W-$kO>GlJpEP~-=C |9$!w0)sh~,)u3aniy݆O?-8\l<ֵ`9J,ޫc⪎+7/?Ўp.袕V,BH KL;Ԉq=7ZXc3\ 0m: u! ;p'qwҁPLfRJ12;{EmY?^> bJB/Yx!C^l"KfWAL:)S[>ޞ)7XFVe%X綗(kns< %jeث@R+m!x< Ķ7M>7"N@2vYO,˔t=)U|R@5Nk$Qwa=L Wஆ*A 5=Ggӛ(F % b j}d<0bZvta&q]- Q!yL>7%פe@fmMFlTgF6꾱W_rx@qGE5b]GiCgCH><)z/?ݏ9Ȕ4@WyR7Fp?@0{ZgDrWl+p{`JJ>ԡlN@EmIJ!ʉlyꥻʦ[,[xvXO |rӵh7QAmtuF00$U7/(!q8YJsL#Yn/}4K1NfV%e>vۗWn}$~nVmRTvs1] K鲔FD|Uhet?gx;ʸW|p"G+Mk"e{)=^&Z.32vW SC6zF3%D[]<: h ja f~v}Y܈ 4No ]_[TmzNI dL(}P9=^kkK(QqxbJt> iKg>k+jkfMȰT9qt J"m=KIͻ6i@s7]έ1Hg؟K;d\.|ebF`)$$9vWDEliA7! z; Nv} ibn=BaE]Q<[,'Ы̸DpUX)3"W:5oA-SY{҂tr SAd'DA,6Ny>SH~n2tYku'un|e5!bE%>^ W. Fz=hm05(O eLϧ䆃doednG;D>mS?׸):=nbI @ =& i,jx#)`:zщ(ܜFjP?H` ޫ Nd /󰇤*-6+LrlS@Qx# #ň+d*3KHģ&0ջWŷT4pi痾iݚI;%hYP͉`JBCUs7o\YCRc=W{XSpFD FUkP.,kV ^.;q ;/93ƨuK_H3􌗄ײC{Y5q0! M7DlBݹM91FVHg@BM)ݞ ) m~D8F [_ ȠY}L fNMN>CD]]XO s0{;78T9@9i wOEEV",J0,5O.OhfFxIXV80wn'`^g4CEK\xhDF'Zh|t=4eOA)^Ċ#{ !; е4n;aD-N/l8m1@Z}DSCո*$dݓ!- #]zJ1anMڙ3NQ{3۵ɟ=r .3sɢEJ5;T_҅c-R,jOxK RΚ hu>\~oyaݱM_AMI8lXG9t?|ҊKw>qa@k*<:!l P2ˆOvDYvtlNMs\&(.kAc"99vhN'?^ ]cSizϢ ]o'|8ͶC-=?uxyp& IpB$4:fF=z(OD $Y G~*+?A؇ti[a=Lo|q &Tv_ }44FFYQ@jo v_^21|A[NÜ U:J^&.nIfY "e~Z3xJ"cwSW@!1^Sekɮ@Y"@N!z̬UvK2ԋO;3<8Yr"<+ђ'Oڴ#ZxWe:v}1jzr?ĐyZ2 x7%Y.{;1YgyR^Þ:Nl&^^dZ7>ϸ T~Ic\rlqVu7wPQX JoWgO$[=q4J$ I wuMd8VƬI$>oM#Yf=X %Utp^& xnosU]g\b1k4V Ѽm94zb3ߍS%K[a9g<[KhK;.G4"䬺[Oc }(ka 6iKycfg jOɂ+D5 Xg$1IF4&;lJYBaԢ_>Us〢܋03]s겡ssTҍifӄOw|:x1 #VL=e$ͳоhY< Լ`?I_QFϪ]~YX{ъه07XiNV)_-5xfPG)d _$H@+Iއ^>_JT4"MLO9<-[n\ILޭp MNpZELh/=A~A'26O#ev OZX)p7yvXg`>l:^WgP%ۘȹjdױ(֥(u7t ij& l&ݥUe$~/[v^)ңť?Dgګ߉lw՞X*\8H*=[uOP :؆*.ʇF=it[<΍>q{*,=EAFiC :P:8BU8?ܛ*%;Z}#N8^1 2d}ҌᦤM#8blW>%/vSɣL=Sϭ u*)Pmův a4]iZWCJi2@(?hfp54jB+Ҽ_gj֚S>oG3c<|c%[ =Q<›Q&W "Qt->z-`$W%lـbo&)ẔYR0g8*r BTcu>b} IT=kȼ U~F? nG2@&@l4OoJE+BlE}zCdAmբg\"Fc7#H|{/9BC_Y 4v}e>X0p=+‹?={HN)@j*'-ːOD `_7.ju%;gW l1p=@3/zru7|By܁dFmbjIVAZƌO}*&c#Dԕ%B(-M#l5_J \Lmw2VtuF I] Y|?lPcY LNg!NFISԖn@hlxw !Uٚ49F lw,[-$әdU/QU$OۊI-O ?̙{yJC/0x'0/¨84y)&4ܹB,kd!o,wQ!4H]Fk|s|3D zk1%hr )͗U=5K=-+(Ckn7o*oEOϴ:/ MEnU?tgS> 1Cxy ><$^!5-b`RwϗAJnyQ*9!eqcY[5DTčJ># Ef ûhy2=!n%s%ZX„si@lU4Fw=@#%Vp'|v<_V umKl2-U"҉=nsOI`Nzb3Jڀ({}-*IVצ u|n+O5s-_)ջѨGFkcoc\v.'x#( ܟnԹ\cu<|q֩uookv*@ 'ҍ !{;.pjHyVFB_T09Y9U `ZT5_R񴎤@ҷ{R3 5zKPJ̞]fxswno|s^nUK9tꭜyN(핪4MݲbqiC::G4$x+٬ h5cIܗܮ16)$|M\)F[}.)T}:VVJhx&y $rךYws.1}GhOH&ۦeF|I{RՊ'sp5{xd{6PӰث)ɤb#5afQk/UANʬfW,L ٕr)*)eTOg(-ҁe3 oaB(/zp?8eu nLOBnQkϮy[ܭWNZy(EE˔L 3#(۟0#/s:xW8񽌌ϗVƸP L'Ʈwʮ'Ov8&:H5gLk\OZKjCq \ g-cNViNrnPãATJiߴkK%\ œ{~&u>Zt$~1@jl^PB `+j@'.2Euu׊6mh0tZBY<?GTZqh}z]sa LWMĎ+nn+0VJ%iFEC.깥gU?uL)}p;-WJQꏃ?#5TwGFX>P{ܖD(db UT#Z&ty޲{Hu?ƶlS= N\fj{`HQE^cS(l1^5fV4+}l]qEE~'}]ш/ݦy.'LZXoبcrn|9IJ`[_c5AD"WI!kz]luI{c=8uC6t*B"=Lj 94vbŤPmBVEr<%gרŞ ;E >0BQ<&(x ̸pT~jǓ#Gꤖ6P<ݠ덝Ȕb}2*0l6- T'El80wʑ+~6iLFz2_(eb}-`FXWK!M955y>FkE*5f$toAb~] p W9~ys7?h"'짘N<4|]C~!/MkLK$:1Ca ~X5& ʄ{gHv9 BD (|ȝVei IH?Bejr|YA+U3|܎}75'5SO=w,nX~ګ⴫?PJC(ҭ)Q:l6$xmU!&+orU",hbR.anIw٭h.mR '〰2 +`>G|#m#zUDݗz0c+kn8"ZE lBy@6ȟ{ *Ӧ*n)%/=Y *T n59~z`:oFY= :-i>UZTǩ!4OI9u)Loy oi ͶJ A5#zm}-%^' QrQ>(j@zttHKHyZo h\sᣇK^ӫ@ꇸ LMF/^iO iz/(*`ݦF|3DDW4+[>^/gU,IKbt;8R?Q.F㦛tvӱ0eЀ7ét;@&+}ormJjQ>A\Rcљw~Z@~dT` 3\ %P)JAld9Td'ht6o U|tADxsW*1XݻS|j ݒ)N`x4G&תSdb,{\:Gp(%SV[}+-4B)Z[su:iwM9)[L$fd=OSZnuP(TLf2 '-!NOxtn 0]Kw>٬i|{0\64?yƶW&kToU(IHf|5hl_`Ѧ]:@7ÉHD6NbzEQ xMqA▗v=0gMl*a!.MQ|_P ';b&z3}?bzVpZ/ 4GoTa$)9k/«QޏB:>'l!$[A; sA/agxVJKAŒ_IA:$ya6\:yoޠ dКឲT1G짺dR."Ȥ&q6D,:Odžly-Dݹ7{%_B0sI!жl4^SWV،"#~n" .F*sSM2YQP3c'%OF/1.wuHXDwݵB8)VBReΜܮO =5O!t +ܰpgգwH8cL+;B2Ч&U΅4Xىw? S+~dQ,v<8!MQ> DϦ~TkE*yW"L`B#8a.{_H=A"/ <-eCuRmvP`ä. PG4=zz DB)XQ5 2Piס&l80iB~ +ZH~3Zg&Ki i芃 Cuf1'2S9 "wY|cEc0qIIz,]ͩ(xMogIR{Z=Wi[L ހȕ=_\yuE85Q L (6e)G9X%OSnBƈϱmg k8ĀB[H/qbb;eTI)>[gP[r6e<rݓx lEMV%#vw}hO=NRYeR>GGݜ~xN1"mTB:Cfrݔ^&qa~kn2lfuY]ZQ[^G6ڨd=Nյ< ~y1 q4+e籈&lO Z~ciAy_DJfar' ,?Ҟo7:`fƒ3@Ҁ޶eOHµۯށw3Y%ّ5F3Y%LU+3?gft-̆;ox@83\A5oXm̋|QmX&peuBS(j.@Y֠y%-v5ʿZ4q 3;c5`k:%`& %RA|D^+.H/T!7{v K^K=E!8\p-u3BZ^{x)whiiUXd͔ $p4h-T]q]qxy2 R"A$/f{#)@`F3c" JrgQDk?.~uV1Dppk38`C,T.qF65<&~\@+JGzіft0ճ P{pL!M~J*GeIZujI P'jC&oꝺ#ԽanVv >4Cv&Pk?]䆤DZ=ȡJL-̓kq@qln50]= N_B)iyeF_p5x?1r>jhc9Ld eV$0]9>EOQ)ghY+v/Ux,A0 '8Ԋ; E,qpݫF-9I&N;%~15&vݽ^7ex,O@͚:pԋTaXĭu7 5T6h@tSHwavuxqH t5pPs)z94b5;=%\뗅&[ U^z L.Dr 4{S#S&KuH{P/-Ag,906=,ާH>=ʘh눉X,yVBJ$7Z` GIrݝ.%hĴ]WOH(Is.+]tg^A$&"{ek悮 ڵv+Fcfu105-+t`Go7b/DB$_Mmy\iL5v~rJd丹V!ƺy' 3??ҡ?(~ 2yCJ M79֟sŒ0CӴ7o*Dzv#"& 1J784As <_еvCkV6J Em%\D'A,&:8f@{@n~^jGǹR'/9|w8pZV-z L/)F_)qzlډUY,1;c^CQ) "-_l#)|KRI2J5At>` V$D o2|͊_Ex,TV㱸@UvPI(TUvB~.$ Jb5eDJC[)Lcaj,)}l"8p [?3qU }f-Ue,)Z#Ndr6[j^ t홲$@k K9Iy)L9+qA=u=62L݃m\dHE9Y霭Oee⁦ MBU.2tnk*;<)GtLL.*HwD7_OzM}́UmtǥK - mW2yKsaF7x(J>qe0 ^:4PK8vEi>P8%`#O?sn]Loe͞A[HේoҬM{6AoCIo6ec phZC Mau[]>y.Di;Le@r$-jHO|[4!t Nَ0D!R2.2d=?[:d;?8̒8qq _jqe~U߳I7UDJʝ#fBQ`hPjO<1.&u?f3Ek`^Wi\.!VslƓ%5G4۽JT {{V?aM?; a|Tp|? pKS7(OdЉCЦM.d&K~TdM$;P@fg:mF`g۾Y ^9@2&$tvߪ6 {g҈W"_-d_0*(0nMnɂe )1G+uآ 1~SsbXXdm_4O,yJ}i̫bT7T!AOCkC)TgqUb5p.,V(ZWJeQY| %]\a@we@z^]J߸JpW1#f 2 s!-VQkd0mbd`r iHw5q(Ҏpt8E'e{3AqtljaUEf,P{)ȭEpdB S[;-%ζeqh71qZ43+"i{<+ G%[wG!l(BԺ"|' F?vy1EѮl_zk ̟\7"USy5-sg+ =g.֯p|\tܼ@a_ηt I0N_/+K"7֮7e/*ٜt$1 c28}H3)RXnC;=.p-^]ʮ?yaڳeUš{Sv?x !+$jbNVb/$wƯsތaū2V&H٪+߱o>5xyzu@ ,) &IYoq!XkAx(C d|fP4=3`ez=7Dv*& i [stQ~RѶy+$n 7vx_k~{, fPߔՁJ?2bq(Z@Q$Ë5!ꕥRl+06Qw}24>.]l+qA?\?(c4e?[>Ǔ z3Oၯtk@PǪ63$0Q.8uAːqkc/qadۏnpXS&k&jWmz}uR㥜{S5%, v+$+%*]e'16ը?zKcàJ IIIl:/!&TAZnʹL%A(.5FC9Er" Em qP 'dN4t9Q8gH] ։b4UcX+88uiAAH7aÔժƲbYSZBaM>1~5J/ ]N9U,AoDw-A>ˈbA{.%$P #{E|cNZ\!`Zܶ)7ߒnLqg39Ped.S,̍dJ7!#lބe3Lq|w3OL&Mj©/JT7=0XbQVBq >׸WpȌlg]$ C)%1{DD2ԗ5 b̖}JbȻ(PՈ{DM*Cfd$%l% UnCxdŵk`c&9G@fFvpao/_)g/^-]av#.n(vLbp,NAZ<0x8Y7 $VbOPu}TsLlM<5t0 =7`Z2gQ:P쌑6/Bquv[,_;7u|$ A_>u(fG9?ioݬط0ùԣi< }Q{_>xn}U[Sp$JZkxlI=o |Ise5dS-b1["ljN|٘Tʄ+L۠ODx>ˤ`3Icth}z p+|!"va⩕#noBe[QxJYoNr@!0k=geђ6eXo7&[36m9 KWəXBD^hM}J^LE-*83utghfm7fle2F#x'iW@Eo {׹P+CdpĐټi-'rbCmNKЂ8J ͒G_U}Ji9@ڎ DrMi,4ی/=Z 迡=r(Y($3|b{eӨN5iQ(6>j%4\o{'[-`Mљ5!z:H}.. 2bH4 emy=D}~Am`x?{Haz.vJ*wE--t%?l?V=U/CLZHF}Nǰd5$Pڳ9 l. jKi~$k"y;SNhߡVof謏tT{v&24GsZȢECf4e/x f`N7FDŽ0 'ޤCTs{Əq:p]kN>f^٦aYTdnQnd*u$=ɴfbc0o2危VWeoBڣ \cSOzc(X[K۬q$5ቻf1I&&@&rz;?i_x,v㧸DkK&,bSkel u@^̠J΢"(@xF{(Bd^M%5*PJ~^]([= (TȞ _JW )PY!`Pfw_UT`lΞJ 2hߑAPuq/}ZFKtz2cehH9:qbnH0#9OxP m]'MRvIUW+Jch2= M)&HkP*7 ,]YL(dU: 2TR`akR@V֌gcoj,VJ!j?n6~s:@i2iN>$@cs(is$WlMJ P5%l7KU K %V5޴.s5k3CrfٻDK!<#0*kjDdcd!$=pj3V h !p1V9[-FYޤ; Dq@~8:PM{wk w` yP}TSr fKrY0L|,vݴ߮`ays\NPԭ0B bp\nЗhR" a8}2Uha({ ^hVr\bqq΋5MoNsjNڙaJjꚌ/j'̙&#N`",EcYKt"gDŽPiϦCݯCi8wC ͲRI8">F HNj'c 8W{>Ϲ{ghf{Լ.> u<4z,/7ly]Y +Ӫ%{7IW`@$podxn삷{g?R0FqRZ/C:$ xa՘2E[WװsIF'ýExO~ -FQ$R}!NX>ɬ"~"WH|ms~9C'%=#v<{$E ?iZ) cQiS9grF@Uf$P.gwkcpvsOU%I<&<vH z [\`>6J| t\TA^2hdq]̄}D2(u@`I+8cQ;˓ea eĥ ""C'ouZ3lS _~ W܆CI~TgQx e5R0+\^̵V9sSǻ&2)x=dnkޘAKP؆;9@y+_VHXx}#It[]"~w!-XkVA;6MEs6ҫ,+r=ZoL7t45"x}`+(E6,>ApbYז}qO$9nΡIt[yr&G}Bb c{ ZJ?R/ sTZv";P`ypغɊqCeT [@T Jm_\ɓ ,#tbz*[xsK]w&lM(\4ֆQiFJQzohl}A~4t-J'>t}#Y4t9wEY񑘴h-7aRjԇ3T4Ri"1+=QPuP_ة%%OSmʔc+Mڑ,;-A%=ᰑuǩV) ś5ە咦|>VNRV*4SM͇)Y]cc Fپ.pt,݃vЧ Z [-e]w\ # ".eeF>d0Gnh7c1x, p-lHHpt'S3^iDek6~Y,MCY7utJ$UE~Xnՠ8CtR4s>g$`߇X/,tb3EN$8?E*`u/{+vCΰ1ʊO/I (r x-2U2Wz! >7pgd![B;*+aQVQu^EH\(%2ƣ3O>ݖT/Ȫ 9Jyy.M (̬FeE$?mҗ[AwѸjO^Qxn_S/dGo\sp^{ݪ+d "7;JAA-($u#8MwS>5*c;n !{  g?N-'A.&tv([zzËOYz򞓜]Hӎ X2z|RWud, H R[ ,#FHC q#ds־4u@]e>7-iq%}EOK*\9J=t"'}Fa!iӹ9=ff2XW&~C;{ yI\9ĝTŻJ,aA$'}~fXbރ;EK)JL)2whklmiptʺ ¢Ad'~ IY{1|0/Hzגj#}$16P)JBIvDU3h Gx57ǂϏ~[NM|WJ8;sP}z [ಷ+cI;TU|'⵫$`N2w`\[gKK5 M)<&}\f_W&v#ԥd#1Q_kٹ'-1sR"jӃQ*26\nWq"CޝL ,߼z p+I0%DO!sLC>Ku%5=HnV6g VG>?1EX:o4X\£hȻ3쳣N=*cIV6Gx!"T>58rFEoP'V{gm2aVTRun蜢1CoA׶r#k@tNĐ֍OjJKV(m-#}-? + sV"VC?L@Oz|5hx9wgaufVaXLa8 ,؊4& z,Ds<Qq:[~[]MF~۟ Mo,ln)- K!ED 'm"eixR2"HyBdpe^U4ZWS( |a \3I TƳ?D^Dbp!/쬂vԎFqZ-@RS&é[ŖAٕun@Yfft8K5SYHӃoL"˄ Z:Yę"gxd"pE.b/ \t+c˷U~Ո~/j6Fwox˰r=bO|CAuk}b^X6JźE ܞ1ҁR^TRܧ2ud wiP@?f1sbXݨCy# \ܮk~v+=)LFH*kZںRbR վWGR7+ *Z~#[(f xDdp[F ]Y(SCse$*?ԯLIs=";cJDN6:A4Rozh RV/wMEjIbPpW?u7w,"lZOا?jvҝY]N_ЀkT% M2uє,Cv9OBM=o]1PNoo2{ %Q`%3ucIO)(/-qJ:>8W^gPdSr5\=3g1GJ =+$;!@x^LHWNJjEE_loTU4×%<$O[9?# \X2 ğ(WFx)YtI1$bi ;෯4"ϲ|e9-!Ay09sG4:;^íwJa^hOjjzKΑY2ۋ]޴Vr p*Տo !P};c?/F*WqW[ fd?m3c'XMg 0>{,~mvioF'UJڎ% 2R#4!^w* 8̺ `JD>TU\KS odV;STM;dTK@HE܄)xRǯF,*qF >yoʁ/fY 4q]$ޝ3X\Qvl]eZ,- U eŋ-eJ>{ܒ/Z]!.0 *m5_CibNvW%qŚwdXS =JEF2'#pKO+B}AfՓl?WubK^ Ր COVcKVLU vb:Us,뚸m❍rۊ&p0-] 8O*&{oj/ERĻї-ږoʋOvs=c0t[{#bz/YfLm?z=L<4E|H}&Z!ly#o˔zOבɲ8V}N+|@ft kӊOnδu]3A_eWuZ|rL%oB\ؓw)t!<!*v꿂GpΪ :EE/V= 1-LۜV DLlC7-AMd.VL$0oapb^ uqG7`HCN!]ZNg0}R<訍_I+d.^RTQ΅˳̖ 0EV5w}]\PC6ִH׸Xjb:*A|LrMr!n2t^ɛx|3I7Gw\mݜ$D27q=9Jy)弾/ݧ7ޭZޯ ؆>ƦԖrχ\禈c ^]v}Y @zC~xߙ^]}M6J߱L`quc^ J揪]ٺ^XÂ4lr'Mͳ(N&<,c.|XwJ)b{<kVgKXI.5vCڐ ;Ӵ^@{n¨%Jǚ]G)gRۑO?9#}z|l ~ycؚ5i jx=?2M^h6I܎RH?5O,V, L8m8?)C~ߩԋ.-kѣUP4M;=%"  n2Bߡ]7D=eH|6_qO_KPZ.q, CTfoVg̱OAB?gkp'c,[pB(3d 83Aa[=I!k4q]e'PI -R7HJ-[*e٥;tKD5 ~nE*8]%J2ճn8'`ۣ7k 'azGs(N2}dks|?(`1m|b>̅ċ+*>Պ*;$d[(b ya*H`3G.Ж&j) L쟪OcEќ4d;r1H `^6Q6 әkoJʧy4P$`/tZ"# y "bݕe0[L~Q-"yp qm~ֽ03_ǼS,vij<ԮB~-mp̚B=coI^1g+A~s¾:Q$kϥh)GR%i&"H1*߮)Al Tw$*1l//\>;)6dW5: M%=s)?ŧ%IV(@_PXpO]'%h4Q1+Ar]5mZI5b\0}]~[$PgӔÐIοV |(-y 4ߐ+GcO+#3A 0!if&i 7uKo+Ctו |WA\T !ź֧ @i{SFp$3"G9a]nz2*!c3;O^{oauZ4 dwxU$[kTL*ޯRVLiwxn,lx/,^VCh7= B-Ht`#7.HmPu`txr+!ܷ_kH &, !?܋.:֣:_"dL&N#B.XȴGs>'J(Z tbj u.,[1¹ 3 ;֚-0Ů]Wb;uq)EWdod= 7+esrWA#,R@.YPc@K|4}O0*dd;j o𤦜c$:+/'Afĉ!PQxq՛MtRD?H5τVkR HQ9suC|vse 9.f^I'\xFKp"hП`Y~gMLkYAcPC#ag-  MNy_:9aڰ!1`26 7\8sD2Xp߻t/s?[UBƧKX6|c.N6<6~əf,Kɨ`PF:(^\rBֹ'nk !"VZN(8L ޑVڽZr qeQ[I5M{ՁzKhUl.S#6Z(l8A9݀\dqg([E@brw9$-d.Bm#B;i{A o`j@3]0Y  v~N1<9o ]b(T3e\P> %BJŢ48y1yNQ1 `3=|ios +H$kNUR$[S[3NWzK?i8y_ >fC(% m-_:P |a\isDo.*%ܲhKvTy*> \NỹpMhF4z'i4GRͪu擠mbC ƒ`mw ,{WЊ͏@V׾a.CԽfQʵX_x}ݻa$~N`W LN+D^U?g|2 j;>nOh86Va)BI[X2ڋIjVg1dVE@e,T"Й:K]Z,@∑ lw̢Ekh^Ij|oM$sׅjbMPu2 qZpjѸBLV纳`=˳}!֚Z]t+8+cȶQ ^CE[=`<݊|8ɜ4t|Cz)Cޱǵ#G>&g)HYN*ok&&~V$e5mU]rԓLz70Vv;忊&dJ$tKND =Q{&ĭ 6-#eK,Ru>r->=q?Ĕn׏ίF <=Sn'0mp-;kX:܇;Ё_6_'Te=%[v3_ _ LT3%-xe WщgmTMwƮQ3(#Ŵ; L'{0O[U*|6NKn燅з%ALi|zr?fbw"8~8 lvW!Aә~ܗ7}O$=yNbrHu'2Zv^YdNʀǠ1|K'n]!Ei)k\P<YKȈP|:xA?:Ȭ4esymuRsÙ]pڋg^oӳS";޴DhAneԄG,/y.i&OF-潻 CjC&Њ&SUd3&! HiF/0~ꤵ̈́QY>[R^==+`#?W=O'lƔQic}9hCf'ؿuN}U+TZLpΕ!T[(|hSRfń懴6_g>%jQzc'G7e6Fw~xX3ۺ' ONb^?leCɚ&v|mjOoT<@6{Ê%i#U>;P3,} K^ oX+{hDt^!V)McJ><ȴ.amcУ ^?0J#"UuS Z1PG!|O1 [أ"קmaf '=G,W=%i`@>/i@&VL}toq~m Tr`(K } dhdJ% *4|So2τZIWqW7bSOfC3!"i:HխuMfd,0tì^u'>Ȃ;8$ݝ("b_ I.1p](69v(ʉiP$Km+%BqeYm*gN=IN3M])tEȡL FFar㓕(?WE$`^$.|e{( _cF[Cϰʦ8>DM ~Zjs`vp$qH".x0+\MvX׬Y+ps\N?(=7+GqbF͔mG|v@yYie3Tʘ\azWgJx*`V*nϵ ݛ™ZCo2aP:G}sd59\tHD~kI:UCEϤqV_' yahxP= haC.6Ttއ|w'ـ)aOGMQ̂A?.N܇J!1&{iv-m:0F̶8&A!>~ ]$Q>N7Oo>b>WEڈVG.e&-N<3NjFj?uz`uZ:%Xq p)\K!GzpEHg()n[Uv)w_MnL0íN6V;K M]kNS3IA/q\8VHkZsiIyPDjݵ}(m|ܯ4܋Aĕ!3͘h$ttikg{;pq߄{mF9@׈?|?)Pc~sj7;/ &mAEt=UO㤰/Eέ[`;)uRax sgq9$npHVwx&?ha@z'jD i7" GPהjSϑK// s2ߑ\ QcԐO #i9G$/BYi6 x'z7uG޴̈́ Sh]WG* 9BSWW^u@/lR+ϹI+8pJ?¡z$6ןP{ӈ '٧ GoL&6 @rAEXg;#]`?lnf?1b|qUJ,-9ZCh+`Э Bk W bpS˳Y٢4B䍐2#q FZ҂s9(FO`rT.,U pK)-a\2"+Q$FD.z AmV2]f=珔a?yy1ٹ,C9䊸ݗTrm1j7UŁfVs@/y5BB1 G%5JɶU~UM"f%_*,~Y5hzpB^Ly! d"GWi 5%l4+=[-6/bV>5?KߋN*­2M U&0zC_7T{\;c_]gd L~]-NNS(ODKm T|cP:icD&HM$]HY$sQErD/fslOZ:ͦ*n\Dހl9x#-hZd~НqW7 h*ȠFE$\MGHY^gd7nyldt~6u$[NJΥ +`N\,W};ڠlC>&qJCC8Q>qXe T- `u7.i|vxCm:LR6@XX[akFrh@mZ]s8̌:tnhYp%[yvmD*kTZ,t]a')3Wܠ$Z(ibTFUa׎rؙJ5KeܫB֣s,1=j |!-j)Ҹ@_ ۫'qLi2Ug܃I J^r=g8aM}u~"0X@#r^Wpn3L"rKʳ)<6n(qh ew1IѤb*D 59xPo2ӷ뛸ĩ$jMVo2 `q] rm?>Ёy`4i.led6erJ YSsi`(=|iҶyfN*{~-SeDK;œdkF<2#͛5?b΢:A9-&MNis攮*i[FW1`i)bc/v6\Gk6@*_9kՆo+ .3p8UHo44Ȑj>D,p;(kϗp%/i,Fhػ=aT4&{*DM@[DbF?44GЭmtMٌz/)WBO_4ͩY'!n"w8)\7exA PT3r.@p/Dbk?t#@"`{b 1&uԀa@}+^JJ:NU"y0dc4 1Ϗ ~%+p#3F?BpL±* (5Zpg ]nwҺq{תNg?K(L0eNɯZ u2JR'?fjTl"ye,AIo*.,NgĀ湿p+Z~/+Wż i6e&(rez6dl{ /IycxmtAi43p]šǼb؎x6H+7Tr&-emxdo3fM +d2[I/7$){Aܸ=?Pa(z9^r4cڒX0imC6x3i%G±Uc)r!%6\hP[偟C*O-9uO%ˮ9#_ EV q"j~PH,Njl*plbA҄ba]A2%M/Gz1 ȊvtXBD}qw+?6Tn->b.4q)BM`VPՀ //ʎ\=I(3zrk5|&v{i0i;c۷2/ӥ$;]$$Ma"V+:-&X8AbU $Lvs7sic U7+Z*1'6'eFangYx| c7qʏT0fSk܊}C=`cPkk!5da%in{Z8v=գh:l4HD5| hM,0́m*tA)aFh^κz\(g6!ݣ4慢Oj?v*8Hgx' j M!|lIқ!xIJi:'W*H`V+ #X%s l-ć (zӠ5A yV4EzBzVmS#ܤ8wزCש b~O2^Al)N {{*3Y4[ciym򣽓 EZXk )5ؖ @!AY*6j6XLњ Izn}WسwdwZg-yp 2㝀d/D|9C BJ? ׻LLȡOxV: jI1pN:˘j@ aw\gy>Z/$wl|*NşJ]8kDjtֆD2GUOrd^א"hD+ BwUv;BڞߞP{OlC͜ hvԻG4o>6WYcpe_9n0ZE$bߡy?? B^Y C M:}2zdPٔ%NaL1`E#̼b5TD>ܹk֟_jz_?<4U'7Xĕ|!XоƚO-ND訒Rn؍6,LozdgDQ*pl|Ar M`ZYc:="B(f]~6q2 [5Ob;0ݪ Trh)@b`ӣz.~tBGm=@&4fWC.#U׳eѓ r-"jF2C2G|b1 9VXp~&_htv*? & pm8gDQ+4U}u>ӝVAj 'l kDf-RA<.> \!0D14qY;A{0kfea!jY9`"QAҶsOԡrLov)ly]~}7[K0Sqs9t*-a22PD>%"W4(<*\j`qêR3IoӕV դs>\Dގ189yߝY[( UQ}i~C_.{4ҬH",dś%""" "{i5| ,M+]VQ!dVXP%15ѫLpruQ0ؚ!Z:p}L $YfR3|M] `tGna$IV'>u;Jjԋ1w^?m~r`̙\R[1bI4bU25o~1r % Aa0Ɉ:.yfͫhO LpN.>I ^BOh4Ae?Qvјi(qWf,\_A ph%]>"f sGT2rw[fnHD̀g {܄M(*%?=|AUR9dv!Wp9n'lϊM緼v(UBFڼOz,(чg#an^&P8$R'Q qr[H{ȩ|vi'Y8iy$ xq#$Hۇ<42Pub-ORgI+_*ԬG׀'vJnڌ!^:Vs fe Z44V ,DE#bBJ_Jl[Ѩw,T,F6r[E/*{VBM{ٲL M]q/9{cF>:刎 S"}T7`9nf. h(#@>,d3vlMZ {EPzUgx&Ug(;[M&3L:l{ԙ4jkA СխeS5VLX{goiRw9Qܷo<4yjA ghĦ`V5>|f s8h!xi q{?~@\(.2jO 4Za# }/6ZPwjQ%!d`=clsS2k+aaxx,GN,?nҟMkafʋ݇@aX(NQ̉3)ac0E ɕ+OaհxԸ/Dʼn@[a.3G^=x!f\6~.t%uF :4zYX6pP")6s] JdӐUH7A1!1^p5 #yv{sNpއ-A)OHjxC o!nnhT.TY… Q?e8WB`cH(^u7tZ BWȳA߫z秘?.=rmϔ N +eoIc~MٛsCݺ5y73=xUxnfydU&w9uUU_0Z3ld#۝xo_mgMaQDqU?.L;3_/ykKa0;锆s$g% Eb{?>9i-F-<<ϋq#d&D R_!tR7T>m@j[{{CN[CDpG_=lHiZWv4G5J޽!'2tLYE?ʐ7hLdՌ{x Sb:8BF߅;W*iPLLlD%BVr]XƦ'S#zfOJghnR3Btzt:c CHJӜGG3(Emc#2gk5'\c} @ .V8ИgE.(؊2/ܷc"k,thAD"[ nihH Aㅝ$ R)zgxrrn~mtX0kLK3cЍ6oZ*j*Iw8Y`nXh_= AQdgi*uV#/͵sD6}S-t;֢&䄽oǠqul4*Gtm_LdeODaKTĉ5u=S#O@ˊS0^f3`ýhv.:^ي3BzY3 WvX=Rk|ۂ{&)`g9*Jt\Q1`g/gyz )HR|y$޿Jڟ,/ Q K oh-;nNo\ 䌄]j; y EgX*E#ծ0nx|D3%CXRUӠ P2<[CƼ uKΡc~ i/ *MJYTUp.N6Aq')QTB5f"|*ŬbA'N,o{DM@/Zm, 5ͮU[n+SQ·otǴMh. ʋ1BBMŸAeVo.W"hkO?'qS[jkbB|2S#;(.>jQaחY:)}¬u@+p:`WC,:x" կ:sJӭx1}j*Dzޑ(osח x'!LM*'kП<7rbnvBpie#8*߅zl2:bc0@į=֫Ã0Ȟaw,"@GWPp{@ MV}#G7 V}+*r:2^P]pR{ u ok|wՎG::#<&m9#g۝".ݥNYT a/)[)!۴ĸ5+t>:<ܼHgfޚ3[p*JK4.APV(yhF/>|yXv\4qCjK\B mZ/ x.VYoIHֈ4A\F*m,b:.}کn 5@ce[Ⅷ&m[S3Y\0m3A&^i ud.Ŗ.ҏ6Қh:k^ ݴR`~8<.טTp6Oefin%D./$D@Taz{֊X9%PصkܠG4BO*P Ƴ'=2P -wcSLMA\UF3; tgoY&7%oWftZ&_k!bQ(y #08A)PF/VQNWxM/bV*(!p4Y;JHk9ԮƖ-4)|;2%B["僾B0zRoFp/@H%žm[@mi-.Ѹ OxaP9Sh_m<'ɬ1*c/ S1ƻ(Y,۝g9L/K zƏ@-a'zݶS`+nէ_E=Pac$9D$$-0P܃*l4I.7>2]A<[n2(0"RZ~qkV2Q+QjSg܍s$?>&2IcV iю`y젙`@W`6y~ܸ{b d7_^i0fyMV0˱smR*QxtWe"o>=wN\bP"0b,݃$9H*v&n/syL3qC1 hzRuMg)JQs.~[pgn=Y~۰9jy>[2^,+5fKʬ>CG^/ ]y͍)awݠ 2K_X_rB BNapp˗&x 1&f8)?%9#c9̖ Ƕ^Jo2D8k|3EukU3j.B 7:*8O},xV+xmъҙA.YeݾQt´Ţdz='#^0%T[b3gh2[BSR}'HW0 qPCb&"xmrKL,Kԗ/xz[h"( m{ !4w(9?kxj̠ݸlT`T>% z{߿jO &Ө%uY|࡞upW/_HMnoAw5`ggpQK z1‘LQ&j%-Y15*EX.X:*H=z s[B+h:G|Ie@L5ij¼ʛc] ȫ?>-?`؝A  J망o9[ʵنU?2\DO1}j &!WJ~9ĸgknծDNF64݂mHvWa.Ҭ2J<<@l1%cW,kmTqychzK}aYker[V_yQ/!7eZM˔ˏ5 Dȗ_~uj]J9-h2 >ka3{s׽ 3 /J0Z=p*Q "(oN/dh(!,%n 5k[/moCm5oL&ɞl &BߟrJ~pHc xY9`KEs-<}ôVsl|k]h_MzB3QCiffeV{Ǫ4<3d ep$5`(,am_3?3B1va9 u:Ӑ^3 x3# UـCFR AAoDpN[p7g,mvܟ롫o^:*#^PiN{Uy|aO5hہ0o%ْW=\^h^J :2ψU㪪Ur/#U2py wx5{y&4cZ(OlqRcK 򕢜].jp=uF;KZH[ߦ~PW2Mc^l31t,{Ά(:gbYպ/W`%E Q)p 4^ $EZT *o9J*^Hẗm^AZotΛy,3/lMp9Ivp 4sKj_"K2\&Q X7v3xs teyGGhBgFdZ~`-qJbKJIӄOxAZ\Q *)/I`=UTY/pwGI^,ɞe8kئn'ޮ0좖iY((PL;6U_Dj=&$c9'b^r˨#`bâ>vi)[i+BU@Vo٥Gw )K<*xmF#ضxux;-LB6-4lYRҐ`$2LD}=ל;,3X<9OɯxvHDŗ晅ȡNL!qj› dB Ne]L]㮔 ]thrxQ|.[!j-5n]0H-K1',o#M!~cɈP8tQک.EqwCSvB~]My~Rn1P̭#P ;tjJ)^3ic%hdE"/bj|d+l}; TUVlIb*FJ\IF<֜~3 DN ~K0dz$4[ƻ a9FQ--SA <:^p;_DZPw7YN)f h$E8'9d_p T2B,KyIř.Z&,ێSgM̌/SU UyWɏAyTPmQ"5%ΎEBdnGMTfL\.6zf0gQTl//j.*ƦK8Bކ?3)6b ` FS6K $dSܣWA> y8Өsŵ*KT14N<,+Sm+qڨn CX  r1?+S,_ITPt hE~~~E|sCⶉ؇i|ߦ?l& ݨDww($R.(<g]c 0-3vdz Nn9u$ZPDnz 7IPI;ϵ'%6>T9ܚ=4*EJ<BduKD0l H] iGUnal;N+E#f=b `s0' Bkξ4Nz!Adix=Z nxt ^RQ9څ5w tɝasSF #k<db*HĉOMn2MNLKeH2+-$AjNuHViXlW1V͠^Sa0x!?EC#Y|ʵiN7Xhd:LaC>,B# zп *!##Mm lg4,8^'-Q6qJ`UfvRԽ~x9"8Y*5tUU><b$-V|*nZ]+X`-R(Ebvg(6rEP'ц8")!]7tͱ9 R\714aOiCȅV ~gTuC9G_!%J챺(|mB7OQgԸ(h}#}閔I.d4df{~P^, Ȯvfy,%p}U 'cbkE=Fħ;> GU8簵 P H46wj rba1[f:w7JݺYFF6C垿qe8Ke=2ĞɸJ$?A]l{?xzKFBIzQV^m:\yDLȘ^q!RP\}7NP' h@JBW-L_rѿ MXTjFh= Ux/j\̹| ME07k"P3VǨHw?9 C:Fկ47:3vq~'{n!mr'MZMKÃjC_.7#p瀞Lb!}iqYu(zD%2mzʂoY= ]yamI{{ ,JㅛɋB#Os4&Byܨv2h\Q/aAuQu!V}ePTپCtޣ9M9M,&{}j[e6+ڏ$E}ʕ:s!]A8hNLV4[ ŽUV8{!01n9'mўącm;qԠGPΝ( Pk99G?|R !KLqH_ H?șC `nڬ-#Gٸy1hV?/B'8ʰk0&z&&/5nZ[Eȯ]bk^Q7Fv.?:!ER,)Vz̠)0NI$2{On\w9q%!HIV>=Dx#yyr*D(Wdg۵YPݒTy}Ǝ: Y{QZ {8-jd$<6>z^s4M F(!e)yodPZWՠjO}[ΨW>Lޔ`Uow鳾P;z~8椌, 50q 7Z67h`F4\av(X=3Ƿ1AֺVp\"W32 ؏1 *ȼae&FGYq #%U{ז(kh". ࡋGi(YţJo:#8^ \OK!XwZ*+-E%mӽZy\鶵L-@=bH? OhЯy [%X:R(‡^4gt>/6' apJSHzԝ9ӧ>!Xx57`3@ Yiլp£i,;#AY=P"@aIʼnF[z̃C1idި8 N㿖(>\5B/LIxDAhuP&,%,n KGhhҕZluj~|i LnC ]Qba~ Ǔ Nv4Ũa OlזC+nQ@H~!UfZvyF l]d.^wYuc]ajiwJw'd6 z"p{8MoZe0 t%2WKBFI ,y(JLGYFͱjF&܉5Bޱ#ymUק1,8 벌 ,W֢4LHzǕB 8< ;Fq]oZơBK=? ,VyDceBPHwkMտ(wNྚ&OKvع{k w9Y]Q5p^Zybc^"g^cs5);Um{ ($M—B%_/D@m݀K[M7;>,TD }WjPWd`#U7wΜ=k_i\*lg㱣1#ծI\#7Qm\ b>#dT waCiB $|V\}jO:'KЄ[7;]M$v 2lNngn탅yG vVr@ J{ Űu1FvkLyH6ʔHPb5N'U=]Vʜs(l<_IwOx?<.#w0m&ZGҗnjdzawU鴗6~bY=`qԸy٘}`:xn%5_UR17;]e}@ "(nB@?&VCGoUh#27ר|\i k'ow *?AkxRi>S5#N}6ku B0< R@Ro#`$` [U[0pMU=P;uzbA5+* & %I[X;i_ 8/O[SmO¦[ {H,I(=-|qJyދc!7gt39'",<:?0R{pg:;adpZqE>l iSd[`9 >H{K~^t'͘2~YtO>h"_ MVLh Dcnh(9*n֎N\ Z4,Rp :z&TL7h ~N1xIc"dE-MBFoX>! Lza\5[ VO}11 Ze\PsݳATO(owp|s-%ıkr,F̱'=@ql*+uӞ-̪k?1>`&Ьsη3z 6@TSe4.)tJɋtI)KG\&3 klۓGOV_,,? K-3~WÅ"?e,2D uV_!+SgVg,3Y2kd1|+8gǹ% nCvD}F2JX,Ɲ&{`+~rri]nNe9Z(qMD#06-dnUJl0ݟUbJEvIkOeGp 5]N]n_Sv\7vTbSG185sfLX1#s K@SeAٗ8>"eԿ"1DT/:7-cE{ȥߕy*[} Q< s 6G ga#}3CF5wjQ܅F/ŋ/ n791jńP22yޞU&$j(ݧ{/ޤK,akuExe=)4M9/+Ր1{`iD8CdEUi4ŽׅHԺȮIZ6'[S=9 ,gZc*dZg7\~=$'Ĥ;#9sHJ6Ϝm! UPtBGfѽx5# b es|-F.>GAh\mj?n$&MER:tFr4Jb;w8mWQ, 2!8WBe:y:,XkSJ:fYTmއ͉V¨x~"N  8X α>TSѧI`(2p=*tF|b[N\mpһ|ge ~3GV 櫯odH!o7L} FȔI>ߖ$ avl1HP Eʌ7[b+ケ_ߨ LUL ߳R!=@e:,95a,O¨*ᅄ0*h`8(l?ф 2}{"XOIݍDFSZV{OFrMժ(n΂}>"fN`|Wܨ&m dߢl5#EjuĥR +r5qKy% 'u]*m_UGS2@cöQWorf{- bOPpݽ_!2:y@kLuqMk Bz_пmZ{lzP )s>ҸGiF sCkIDtz ͊a1d(qO4^$b$2K}4'ϗ"o_Ĭ}4圱8E h$W>a,8f]΁ݓj=I)r AM_uWzz7F/(Z%q sm/i=dWl ;hbM]NGh1CEEk\r55cr52ix˘ ʱui.:dkyF0yhg M yCv??҅M&N<D+-V]5AKn؇I1hF3' 2IWuvQJvB5w*0 zaL\LJ ,ǩ <$<ƇAI^rEw$S~iw3K˿F(K(Kd ۃw1*{@ nl~%2ePwW"F !ap Ʒ>+ 3T2@*PǙކ!-^& @O幪J˯[o 9*g3:MGޒ rS~CvP9fp-kyItѧ7qiW ٍp K!%Jn /wLȋbylP+YOS1np6zjQ#qqaYdELW~Wr˧w;orR+vZ"Ol6VaˌOTy umB;}L +@nbol@v3(Ǩ BQ 59.}{&V1m{<=waǪA[n%g[O(mwXMH4]ui2Bhןj 6Ȥx%4"dص ˊ1]oʏ(wͽ֠e% c~_ȸc ޗ⇰GDWWBEJ_#l)?*y ^WU $?oK񶕥!TUeldsIss1ɶXuʲ>͵ݜhZ05z#!٧1Bxh&h (MG0mt gkD»A@A-[|seB -yS]JIEjx[h@ŶP?k}C-rFv%9vB錄Qq{SDD(*Ql®x3@~|@:nD/S]܂EUdp:昄rY(NYI\<Ҁ)M!Y?0mtC(˛: RTr)%5-;,I?Hp]>&u܊86gfGEwAɒb(Vcη3oSgMh~k sA´]n$g#[\px m o"#Dc׈|Vd| KtzmNA`֡] 0Y WŀwrKX^ͽDk*6}>iʷ.xfȜ;Uk:-ϑ$ ?* n!J. קr1q:P# ~"v >t8W /F HS;tH pRշ EzuRkȵlkrKM 4Cj&~.`Bqn| !Œ.$NjxnGc7}6ugĢ>zu9KP3!i!,) -koff)WE*ya"3˯aʼn>d?:k8=xeEz0dRϬ8߻ (pz5ra U4sA%fg+y,h2JvQR};h,QI%/&f`!Uč_ V5G[@d٠tC?+ iUjjM +SIe# S"|ٿbKe[ODp.j`v}ݒÔW)'.% W?olsgQSy*њ;h*C t @:|#Kz9̸܌[w e&-5X]Gw\21- Pߊ~@X tdGJ!G wvfqȷ1~͛)JToRr|,P\Nt,-gWov%P:sFN(R-I`;prjщEx0Xn FKk6)D;zF1x4T5ѻ *r:lW>NbzҮ/F Չ OB\zea:SsD cпՀ-;NțO@؛rNR2:*@wˮ %^6">*D:"z&C!0H Xf*.`i{=a@{W ԏaBӁ#Vfb9W\|7B9!GdJ뿓3ӥzX I ;;Im^ĥE,TFcЙG봃]-EErF="ehxI V|M VKE/&$k,Ï9aU6Y M KF][ja , ,T:uN^EUGepuL(Ɯ,Rꍆ&}*c\jjǟt1V饩X=pNU֨B[߰",>#[4; # s; T41*>bz_?HS<1)pThT?T~8 @288x>p0e{*УJYvd88.)ף #olţYSTΈ.{DN;}NumyQ:?ί&| `h"GʊG߈wu`˲TѹzC{hpS-C~8̜q *IZ> Q>kINԬ܆${ᩥl/`"PX&P3C).r+y){uͱG wFx +;ᚬ|'? P6v ~W&@JYF@-ܗ(d/󟇷dhD>'P]N+g&{ibp"K}g RE;EDOӡLz\xAiz'a+MY=&kA3^w’"!ϕ>-ϊUlM) aar "ϋ%Vn"r$b+uߛfeӦ򂪐ä D^ÆCR͒0De@h-^.%_MFI (o`Q2yd|qzއZ_LG 7Lzn;V5os.&Wl\Kuqi"C$X=؉y+V^kRL|NCQs;R{koG&#d_slZ8%M:1R.{eNk9o6.`ms0]ңʢ::_9%_Bb{t%k3Gi~.q4Ճ8zJΕKb/p̑ R+ǫo/Ee6CʻT+vqR ̓îZmnsfKb|o=Y)iIxn$)Y:!'T7/~p0Tgw$Xih!0NאtFF@ǝWv$|ofA~fe ne nbW-8A_#…boaokp,xgDtP1OA>Cf"alwN#QZ69dCRj΁yqeZL}A4!>S?HkRեVWM &Ru#xۀ3,f^<aO냢ȼ/>T6D(^Φ y(B~:bqy+ kd5 ʺnTe@Ǻ`} tޚ dp/P=Xчhga&(bvr42oCǴ}GԱ*Fxf }*C(&pO DA-Oj¹cş!8rZʾz4/m-RZY꽉oвx@b>qODPhkRa0/A)h,f-@il=!+^Tr`"ت ȑCq58̷FIu:;DJ~𹲕[IKN)Ad;  ?#OFa(e޷B2_t0y^L|+rn-G;zTiY,#x3ڤX>mo1Ӷ(U^ʘ12!!$%`d+c2E͸[ ,7֜ٔS~#`ㅝX>Vu(JتRU)MSSo)9{ ̂qFA<(|vގ*OJv {OM7ň >i1{Jo%bpGO.Pv9gaѕЍ#3ܷIoP^|:iY#sd- =l8ۙ3ʶ tQ cD%&Hj!:]gu/D"֬%n xD=ۀ%uAufrlPM s! Z,ɏGG׋* t5zԛgG2QR1;FwL(ŶJ} t̻ "ɞ9T3ƿp Wp.,8cp{ZSELDjNP =M#Z:#?oA9?l5Y9uA0:3t%Z7i:2Brj ]\qkg6[vdirv9'g-i(8FkYX6'טU~MS5 z.CoM>1*AK[d!ڎ-`/C_*h H\LƶjVe'9E.#2rްS>=%U/LoT}ahd#Uhbi,`u,^|n0s״ QYIBFir4r8] ^=Uw y8|l=r0pm!7<\W*XH?EXHi~(v jWlIZچ㵾 ,  ^'ۙĴ*WIS2TcF> ,cPTji ޡm,!E}:rVez* }pDxRݘAUxeL6yw i+s8ك m>3&@gDM4]r]T٩)hBN.'FOB'~QE_2|7~ƟB̆x"a`rW)fP2TJ2@ÖTIcW.Fav-r ͘h=put\یa<†L6'L(srM:sbOfu\:`M_ԝ;ԙs6qR8h+S{9gD;^DCc/_- S}u<Ew]kCIUN<`3Y$K~cJcANicaSrb9`'En06 szCB Є.J-^p0VN" čk.qp6r=N6ƂKH3>t"0bzK/ V-{'fQ~eWVQeWhzȦU_Twswk~կhہ߽z6Cb0tS+|04Rw$H*y9Lpko5LhmQ7x l@Ϥ 䖣A<&oǒʃfw|g;((O;?a.?Hp:$-ZkeB=ėF82ABkYklZuf3<s_\lBJ]g@c4=U`AN52 %¾l(\ l ŧnn$8x-k_xڊ'3?ajx!@1FLW׎su7V)E jʖN(KF0}.}:R G1Z^%~C9k[0c2}Ogj׆ʃ_RǘQ g &*b9G3ԯhCl*KkQF]0L&hAK$ I P-t넉C \M e1[#cOSTOȱrP #u]23V3'/,;èI[%+C͚afꑖ +{'S2ܬ"Zȳ~g aQ$.I؏IݼV0 "`pQ܁V *˹=tBDߪ8hrkPǦ X /fB`]6VسaPr^T^Sh27Cً695d 쐫&!)tm(e=ZB6<[*1tzI+|@kc خ/ryӫ|H)j5av`<HݜV ":j;t ܽ-pJXgj~:"Rm׫76-Ge*sY^&`,Rه SEÃj( Z/t`cyiyaJ,KɵTuMXe O>*+4> u qAGYmN {yfaq|)N BTċ.e1/skhT3w2G@H܌^| n2B}$!f?V d#T>.KXBW6ɨ 1\ >"!~GOƔau~ZClEr\U L| m!3¬ƽ\FcznA!)'o0rOX37ؙ[r)pƎEf_]i  Y9R;w۽izL9? 0}P&qΜС`hQ~ K4~zSs=vFo:epnL!A0M?a'2.6 R|E7BW%y}8/GKj'KJI.=,*]1'̲aW>%|kMY*K6ASTQQ r~_y{1n G1WH8٘"$Jgܠe—H$V߆?R](ţI*d TH/\oəf4<$KpXrWdc^'2 PSy6Zϙ3$ 9jd)פk7:$Gi54ʆ2摍hkuN%`[Ab0i 52'~L9 Өn$RF+:,/?L⟁+1&qe۸ዴ/ LBgZ$NPT##h̓e8Gw !Im͞6 vaD4w>'kC~WDfΊVUZF!]ٗ{$LD<[mǢ)5/ _(?V HEpp6%*C'Ӧ\܈vUfDX;t3pl+Ifc+@5 ]qxFlkl~.qFMhi]#wA5)Hp$bCKR_%XxX yb Lp.1!Oxf`[H+٣͡e(63ldCDǾDƩ?TN.;dWBg"`,b(p05:8'K~BjCC):&#>,08w_{΢@ J *fy5~G%}?̓SN/RG1?}(_|HQeHF7BnB]س-mNhp߻r|22p U#I=$zkزQ=۷ rԅU ꌩ=xT%P(9tM?ouS{VWR,ipE}gDBփHaGGzkW^s }i쫿k-̨8M MWmXXQc5vM&Z7'6/2-Eo rcp5Kks\GTp1( riSu&ԻSc ;y_!5-^J[q8 j, Q7#_v]Ȍ1j"h+Hpjs@Y9n|A@GFs8-"sE`kGr2|>y>E6LE j+@ѝh#?=&;TQW;ZUєͺ;FJpC¦>fz6xLD: C7ɯ,=IVeinW㶷+h^,/ʙ+*nqno ^ŏsqlCzc0ܬIѢ!ÕMƞVxO*8֧T MEB~7oʓ lJ=iB} Ν;$(m ẃ佛^VR}7|I9&72+^S?2Fr~HRb7SLC9>Fʮejta\lݤ w1;]yL*;ļ'uxQ-5幷<̤y SMcxeHq*\t&h 3D4U֠7|Op=Cѹ˥z CXՏZEwۻrmwQ%%ݪ>|7'ruLm|ݗdUM!S첵؏s76 ¯ >n X(N.LE9HUbH/vMt ޞAЊ 0{vDvnШ1$.v{ñRO*esdc|73,gEA/CM`c-3Dѿ;v'*'Ârˢ;+ϋi-9>R#̹ AKV󪎢5L'YL)U69tr;m [ A8I#T[ Qg}遦y)TYౙx{ӼC1wi\ϢSƭ Gs9aNG+Bv߻fsR]n錩]f3+b"qNoăEhe՘:$?"{_E$LS6> SsƆWn;Ax(8JtE/B5ͶiLbj'f)O'PgxʐT>W-d `P|_Qp01 ?zބ醑baajI]+2;o :m:̰}HlJlw5lYCt^,f khK^b0}Ӟovj樂RBLX"8BZiyd13^WF>1%Ǖ3/Xk)$`հ Dx-q\Ku B`ז'<_H%˸SVhB]NȖVO]/m;Ǟrע^#禦, '%_uJZQW~4sdk~up%(p0 nh_[!(\ *{29߁WM&|yjӈ8VX>TW`g6T)ULKW2  ]-/ zPV@3Rh z%X9\4ƆhAiC#j,ٝ >zk{VC?$NBu7S:qe;H+hI0Gz-1+~?yx!Fz Z &ټXc|Z`cuEsT'k:d_1}wnvbL_~X*8D1Zi+'LZ2mIH)H%E8JBt0~Sj"P8ۡl:w~J2e%JFCmk Zv@ v#[m <:8j?חx4w[)yb_I@4#S& '_cbk}=Pu"]vre4"'Rn'LEu|>\,s?b "bNz*L*,^a8!{_mee-ǔ@fiA6vkbjqE5w(* pe/ʘh啗DpFK$& H}vlo#ti4 C'r~ãG"O77H4,7 ZqP釦c-|rv!"-wѵ Cm~ܰrm!đ$.v(^XG[SZ² uQ@^bVl)|Wt'ۅsTt>hXN n(tk-"h Yb4Q0L |.1az:!ҳ? *d1n[2*h37 @ DDb.3i|<=}w&2$@ل})lj~k엻khV)n4P8TLR'J, o+ڣWҠ2 }S;&h, X'a$t^O2_ÁhA˪{jz+LxB8Y23(|p9z2Om4دE;*  6kQ@D1*Z\1~$ԝUoUG vBfYTaΊ()yE[&uߔF"jRO혁$#ja =Pw?|]mc>0¥@Ґ񃦜:N,@&p@(dÅ>:j̤TUKGn;]/wb52,R~%^UX&K]I`k\@ s6w/tW|䤻(n",/\v&dEIYS4*f=ܖuHв*I P@Yf s'$n:S3E~M~)D[ 'a;V~,7&d)p3  C-k4j{rЦQ:8?BD,OH*kca:(HNvoA핯c$1s* (72#[/ B"3{` ;a2V1;#A jAC[S=M "Δ38CcCЯ/QE!*>9<}am&Ou8fI%sC% DerivingHOL-Word.Bit_Representationdocument.tex7zXZִF! @&|]A-MՋhvG"uIBm5F"*2*=)TbJox:;nJMR.u-x<4k p!&I巬S>!V19w_֙b+ awO_cg*EQJ'* DpQ߆Vω{QK6r^N`)~Tq5k 1m3#+Ӭ\LUTnd#_OH2#eq'@u.Q52:'60UXkl\hGh1r8*w.N;l*2[g#dzĺ* ԱOr/@~,P6!q4&_Hg,}ρkb/\yсG|[K(p!Mj'F"mXunɝ۞frzx:NCs;%aحBz*n"$M廑o%pkQ*Fۻ 0N+U^!  [2ut́B,,*okکʖ%.?rnʡ>mI%7OBF%ځL+Wڑ HN*` :Sz a-I<0𚇷~*]Z&׶&r\vgyS|bIԡ3ZYz8AIYgIJ2~J˴J`9΢jq hAcCN4ZOj.\`<1#sH$x7EøF"Ho2=L1 1Ò<~vwy"37ݩnh31l>O`3,ZG_rPqc>D 4 aNR]Mu]\8˶@Y8K-قA-/%j$y[&}ᐑLT‰&G3mhء*=7~řcx= )["&zsL?=C s=`D TTL=?br Rڱ؂A3,:!D &š|%6Q&mwe ܞI0qEL+f*x65LsQ77Oa-56BB);F\($7ѰJd.}ZXYFD "#'twǤM6&UA!uQQġ7 `w}"w'&>Qf^7J\M fK6p#sr&JzT{? cm.F5|ЃxkNUO{AȻ@g aQ8.8۹_GY H[TT?PeGׯ^q BҸx!A;md6O%|=cmtQ*tݝV0}ӹQv.b*IakT.onrxM䰲0:Wr"4us%G*TVr уFJ: )Ӈ=j!FMt |~&u"{˲u_ 5M#g˭l̦2ZEsЙ3 aPGHZ!whbn؟Yc*0kba9n9~X7cUU\5ҹ`-q"=5w`ct{еE81ޮ"&^Rn4T$qk̝?x m դ9><"O;5 Pc].-%(r/pTqBlɤW~wUh+oU2,;քd{&c>U^*KC8U'yPJ) pWd8Z6d(l!?dtifod!ґp?,l[[#6ꏒF}M}'p5*PG*oN7A(t]I!R\hֵP+n$gxpQ[!ٱ\*I ѷ= UAzf`8DY*[aHvwk Gn/xhlvneT{7< EE |/GϠ\($քp[3Xߢa5=\;- #_EL ቢ{.z. ià p02*D Y' i}\Y=ż\F*}F!PH6'N=Žs'!sNH5]wbU3= TAҮm75 PSx#ӭYp-e6A6M{*D1RCszj>`1”Д3!z<.E,!ZMu=F&bA؁ h[7{~.q쨓}Wu&%/~u/A@Qv?/wNE[S=@Uk =8k2CNY# }yhblkrNno^h*ףoWXoygxNW=^GgٍL Hۿ؎6cđݭ5"j|qUwj*2eC-8ȳB c#ϱNz7Ұ^O$=1{Wѳ!8 'hY*OqH5c_ZsڧG b% AX"7?S pJ5W <s܏·NqKbAI9c n҅];b*ҙMv\v\d{|7ҿnZ(SO Kh)y;ph5v~& k°8s)mJMQd7-uQmKJ5`/Loؓ!In9yN ʗX` %Ђlz Nt׃؝ ߷߱!f+|pn恷W^%[eƧߍ kd"԰?:UTa@\Kfh{A,"~k.&V|éa؀3@Ҋ3.uH291^/s/sslMe7S>ϹM@bdCϙdE2O̦;ɪLn6vfM)ޅV;o S}Nқ/T*˰^q Z 'дk%n.U ꜎ʾyo xͮsp{ٜ֪E/vk _Oq7}ԷO5wC=V;D ުubWv ]׬õp-gС^#fa7Zf )i R~|ld.E8)?SЗ|YJ+Ѱpls7~ ڷ垳sK?Ғ'(ϝ;sh<'jrY5\D]2'SVhn,e:PqL}FNc׉v\y)}($ҞAiSq2.ax(7@MbDJ5f.2~9b}/'fSSʢjBUFސ 3%h;VnLiyA(+|z!\/ ^TvkYol^QLafS*#Q̾bi[//>"vۊc) ,Ydm%w>CԴ*@j'. ]RB L߻EoUEy>;Oq*Cm'R i;CqT0:3DHEXˍXGXkp7+bNs]:Ֆp9<ȹfnA%fULV'cϴe=M,0,CE\^5d¦*>: ի3p|LσDD{L)5-Aaj֟>GZaX`|fƽe9)<Jfaw ~ܵb z+ـ|YIͷl˔Z)>v?} 0<<{ ~7ɰ o@9<kgT&9@ Y ?]غ =E:EvGknf{97C K|k` u"R?eQj)F̩%뽨ɇrO97"^lifXqwK4`a6[A.n+$K1/ZG1_=: _}`g-D΀XoJp8C❱Ah{ i5ؙeTͤ cue~"Tv~dDa n "_4mK&]S=o-w 8U MIת-&EY=ZU^Y.+dk̟P[CA*/ O6lMHHFS:<,U,YtjC,4$%$-i+VK~ŕeA66=o(}$w[Ѧ+XzyNede`.uwz|s9y]EO:b族G9M|59Q5|Uˠ,igƞyS:gMkC; 7E^ӦZnAc[N*4P:M~M0qQrexK6_y-˜RWU"G!s\<RKTr#t[3n]b,,"ğZTt:() %N(ڎ:R -}Y0\.HjzGomuUѥٹ4V,b%4Aص]ױ9. !ġ>od| K$?X0R^Cͽk02$- qu"!Zc3OYn4{®&Z Mq~?QbVFN8;G ܆4;غB?]aLg_Ac?㿥&ʏetob(.f|l[\lWWOPIc'sL_6V F,#Ǧo;seũ[Oq$8S)϶Ǚ~bRkV3Of_5MI'<~N.J7Ʉ]DuO ec< CC"jNV5[kkNDxy0)A8BbNYA{{=/:N^_EHzJ{sipEQ"7uUq<1 3XUWZ"%-0K9yCaܡnweYb%O(5Ei&A6MI6-zUޫ1kodž@o7ÝO)_fu(i3 KRw#ӌ̼ՀiOER(q9\CTpw~!_%"˝r $ENBRcd>:Jo5e)Mno+?tx"tgŠ fAOGLt;VaJ+%/ zD1NHj^#U5hlu'>y'M;v&+Gȡ#ѩlꪍHe]5#EQt"S}llޗ0BiTB- 0$|UljoqKÑؤ*F*(q5;rU[Rօb,y ,ݏOv_~Z+pd,MU"?r\\bqfwS1Oebo~H~QJՌ#)3MuJomئ\! aU2 3HԮk1C&e$j6'e.H| $IG2G\u`uJ6{ʏ$'b>=8٤.Mk<?Y&Pe*!d 2 WГĩ>qe\v}//y2`s僯{fQW+Px$+LrNykNj>c*q.1c,yd\ ũum\X\T,mnQN!er~!GL7SNBzZ8syO@k8%&[7/N[6;P'b#"p씞F ;3x󶸒I5ñGfK,2ĺ';69 vWϣ?|m@F<"It4\j̇:fJR6sVSE}rvQR*kz1Pekou)Y4Oʑݥ:?hYwӇ\=/ F֮.J1Ȏ|\NԗU*% ,!p%w8 X$p2DXeQRTޣ:wBmm]4=)\kk +Z;`En}0#sEk?7j9f7=2J]`&!+Pӭ/>M*(CS_c[ضӘزsǬYǨuS?r1gvoƳ^oE-!a'?0`ELw+*}9VǺĥ/G9>̡KMqR=,^m 6).#aa< Z`TIdi y,1StuNp gV՗jx(t:ܧ9pÐImz;1+VQ9JR7(nt= 21Ujz.U:oWL-Ͱ څWXFY3Njh*L)Cehϫ#uKXz08g?=H(^ m0]L Y\`c(T!7^%vH=yD SsMd!t\w v˷3BBq yI,e\@DI;M2 +u];V@;*1"NSi#L/BV!TrWeJ\?jkB/f ,ƻ "U{fZZrk=JAgzig >\" `.f2~ҙ18J5ν>c=01~DPEBϟ\ZtKLn{:YRi,l3.W*"{sD'W2QR3MӰ;o [ڗz4ˁ;Xy>8E5͟p l5BF/h}' 0*$bxǹK2yJ5p }'!E2n} E]\uw ]yb턢TaB ?R%5;U LkFQ ZsTГHhy~'~-W^ƙ@;ʏKtcmKE_\zNe˻7Sf=TEѡA+$+\NZkI74+ oV1nU;Q|Z\YKqer.[̞x=lv{xRb8x"~ӵ꾤XգuǦՕje Sqǥ6+5hZlQ.zta-:8/!T);βnjxlخ>Wd :j+쫧#kxZUG=Q6Q"P ~֔AB-oXZ?%Lw,WCXڒ펡Ղ%v€|'3 L/ͷ2'gGOl4-/=w",6B IG{ޣyf>&݈XU(ѷFkBX;Qx,3/?ЉRDG&%-t_p?<.aNtvړ439cT&]3c"y"bT#4na3vK\KI6 y5_"_k!=B%2u;ﳾ.*7Ӝx]IJ]%9 oRm 5>t5s6wg 8z5zqNL@9iq\TM) 0~ &&<"k!aa5jk?6Ch4(yKGœH@Og@fua]v,$?y IfAMůƪwJ>!)ۦv0I=YJR*bG-lMEoXW{dxP2dj8c89Q:MXܪf+GÀ| VΑ_LŬkor qں)_HF4/hOE5mX(DKF _RNǚ{1Byr#J,?H︉24߂%WPIL!(|T n%\ O!_Bbg&3i ."#/Lsra*k91dJsRNp,$J{}58m:R§ϡwdZXNm\\(_E_,OhLO('gx쑉\E@w/k"QRa g-1SNlBA=wo˭$az'20d+]>HsK0milYTk"YI 6c#PZ5u AD&bv˖bO9X~@4p09.JSLqRdؖ'?.E8+QUj\/u ͼFiu*`[! (n#Gm7 R@4ck?G\Ԩ`e,Pgo0B/y/qRhn$xwE.JH$#2)LO۪: 뷗KNX EpV $Ad1CԹªyNM PLqOkZH in{uԿ2Ufb/J) T8*s ĭIQ[N]&atye¹6'"}P)޹uL4Y Lɦ~X⟾>xC0̥7e,2< qܧg>W',u(-r .dZ0it>%+_,r-=lz;?Ⱚpy1x T$xuڂ d qlfBdLBgu9QlnjߝTN(\nH]|*HA-aSb9w(3/poc5vf_\,f3Enr+|lkf̣0),!T+nHmnLV$էD~FC.Jh+~xH ;/+/*& $S&@ D'|1tP;Uw5nf4tiX#'LD9-?أJvAڻĢLR%bʏ]/疋.hh#pG_SC ;ٟ>78'03 s>҂r_m/ 9iyU=@[Ca-{*5/eč7[]e93;m*^̨s8^Z5[KyLߜm I;is/uh1&7e`낋B56 pahhSm ~}1q?L0.2IbJUx ?Z5T9<C[%+v&kvG|Q|b uP{ʃ)KcWxUl{pu({;K@wt#E^#.8jj "ACÔgNa4TIc:7E{x0BB5 $\ey#&nZ!St>DݛbbwG'[hH{W£{xdtTXT: dԧI5/3v*HP jlM󎌯@ρ@}&_^50X/ʭ+XfeE Wi `IZ[*agC6/U>ACc&7%Y47.7'b^v `(pa1*!9k W‚t>=j#@\=>PDa,^A_ c(؊HVvnQx;tybϕ#/z˪SQpScq-*oS6)Vv?ugֻVm^3{򂲳k]sV6c/ OYEmQll DPAeEE!A-yEKdCc&v%؆b:D|G@ieQ{6]/e-J{|D rj Ui(=g.yZ ^h_Do>ISh]wpVspkRױ9(&v6?e7pаy1S+\sco4-88>0u2 # Z9"2ʦC+e`FX46ˆ^WW7BXB\(w6;IclxN9+\5Bw= بTv+1edyct[U|J-b"I.Wom9q M' b)Bv^E'5*Ma| U#g4c|m0BG2"?53D_]JtG5kKUЖ59xVǮ'J-¸waYpzAȍ%"h3O?EPGs>-K~Mga\s:HcJ%Ab)Œ`=T`})sl6$\|Eʇ 6u[}N lAXV sEEG(T7#*T%o^Y$"avm90kz+;;RYUP^;cj|㷧QE2=vK/L9LrC7c;ޚa5à ~̠Z.]`@^8>!8!pUz#1 5зĘRtnC* o4ZZx .Ϧ h`;  ~z_fkc/8d_*㡎!:w"塲TFۀMrX*=Icd6hG%=7{dh&ҕ*c'F!i *bk6h08U첁ǧ&)w}!7q 4ޤnPTUluj )Ky_,wQIn~v`6 yj B9}"xYա8jSepqzɵ'2/ wU"n7"n2=7{-To.gVµׇ߳:z ȬCam( px :W,IBIM5M|iMFib y72&rD1Yx أNypU3.EH`Lmaݣ/1dÜ+ ϶ƒPzCf]>ms_GjLDO X6\ec!Yr5jK5g \{wVL Vޫ|UC0oM[ mf/I*Ok7^jCAފ |p\y5{kSqߪ>u&jIFƏVjyqe#hNy"dvy$ ҵ 6:8P{{F(;?q$!% \"sl~~EҧsꕺX:DA<|6 g%k!j:μn.꦳@kJ]R[kx_K?sI $¥Du:[hlOwgYZ y7% DerivingNative_Word.Word_Miscdocument.tex7zXZִF! ']A-MՋhvG"uIBm5̝:[4 zTaT;m|M1p[s,IhylM&Rsvᇉ r'T,F棦C:GYvzCHݫ.Ǧ^ƚ+BRR] :}=T@!6o "\MV\N4)A4mh=YZj!g Er!DNV^ +"!'iFɤ{2e>Ûh ;J}F+>De fi%=㖥aog ^x}+r(۱óӰ<H+j K92$|?ʏfxEeȱ=b͠|ZAJ Gul}G !ܰi,To NngӗΎtlntuf}?3U,R<C!o3]"gu(>J}Z$Ͷ yG\Oѹ,wӛ@ggX,eޔ Rцl.;n0irp JF>B<`3>G`eQ}HS`PdU-H< h eet}UBw~X8.S~aߡw#^ФPu6vn~M$o 6{d#Y7 }6zH 拕:o]/cR0g_,jU0 ɁQzv&k4}3`;pWtJKOoœ?۰8kn*uđzɱjv [HuD3Q R<32ME|Fn˖SU^DO}0i\V},prRY`| oR}2SV`4`N= \xEZŘ)RYܼD FnKK+&0wKG"J9… nHmnRIpSi1(J#o)r`1YeMj/W-Eusq$h; 92b_=KBH /'`D&Mj dvm *4Mop:( xbYUPuZA5<}_]%2eaKS (ͱ727$ol5 y2kkC2Ro,8ZNCЍ(;'>m8c5E s !#ϞHl7bc^u u<1`]\STȟ;sP vtMF%'~Dw֦2gAB02t 9+tlE.Jm1z|Nh9JLnx<ʋ&.Cp4qٺ1;Au$o &ut9jBAs6/n]Ge RER ʶs^"LcZ '%+"xo$*t!YU8BIv ,1B&[KZ: Oyp;Ab!yϷ-%÷'~Dsn! #K?9H쳔SvՍI?Eɤ˅RyuE5Ǭans'| ?.bzܭ0nz[x:U 5EZ?77x74uҁub}@`jbЄw5*hD@BPѤj=[X%]SQC;],P rcI^`‚H!F\vq2(t21:b0fWNh@*^YsyE[^ C'd`= n)c@ˏMQx%D_VxBY/whAyX+ iV|5ΙEˢeR0︇SN* .O1K|8MXS k`ⰀN7T,ߒpD bgQ~FND2eԮh5k9w˘{;%%a=%3uAV&򦷇MBqgҽ.i @֘Z| Ȯ%7WLEȵ0uڵ; )ϧa%ƑKU=_l+/?4\Q  9lj3gO3?M[xM3+V(;Z>4Ԉ .eT3U]sɋa*|YJވHěZk/TɎt%O8d7"Yyq |{_K%C2>ՈcFA%9+FvJmr9;M|CA)ڬZ^sYWtZA>eo.xp z¡żvdwb[Dr0mtpƉJ[}ipӠ8P (a 200 h QVƯ:~a^:nZbKMr ?pAsc/fM8?x&R(z$1Sov9gb\8>5>z`[PW+z} U،(c=@oAz*qڷ ViCkYl(pAe<.vJxWB=Yq@sk{w^S1h\IYJD(#C=T*F3ZSF{ʢB:hgI1ȓٯeu5Ƣ䈡sk3 nC&֢r?Lrr@>H-FKa)6͚7YP#Ssvc8/^sn HHUQ:𨑽n"G#Xt $J@3!"'0{9Fj"zZ2#0f6. .*68 n@o椘*0\ FTp' mEOý]NB1(@dTz!ϥB"<]5ߐ%:ds j!okД^p dEuU }~`?&2Q Ѽlӈ%/\%_BSH[ϓO_ۙî!1^M:a, eGxF`֧,m@NC΁g"N/xtL8sݙ'T&uޯ D>>Տ["eC.B8XKK=و S)oo_ÈCՈj{1ա([Qz N#s($UäWsęlj3Z.)9f@6_KP)jS݁{QidvB)X>I]n&weΣ /\tm`z0ons,}Yp6]+7z |d&W.dN^ YvT"Fl[8b(nRrQ*5zQ] SmNt^ˑpźl+wR27BO"H1c?t)8.}`xˤRhM7 ?KGZKl-nDˬ:X 0.ʶY偤G*7Z 2r1O)gYZa&)%Q2 e'"t3kB~ d;WǛ5,6k*HάHH)>x(vr,HԼ3Cx(p .x!Ceg4gXiRt Nƻȯi]$iGdoA)ڨ3b%9fUt{¿{,* p>a-݅v9MAr0V锭)C~Y5A7/AIP'9=^X`_N.]^I^^!e@"F1&iD n [znxC|u v:rql5|%3lyFTj\TA;_$vcyp~?-W.T?L(}`rmP 0+.GSyx &!*jx=9 L%ٜ=?/Vagꊹu#}e,\7y {gO-)kбu*'WW4f)p{[s zcߍdJ*wNҴ#aA=q7ɔ+ȋ `Hkw3f,\4Ch;DఃG~>E<vVțŪ>1-kBcMƘٿnm.Uzf~U6k H^:-9DxW3o5aIK%de<t:l57kRA@h ?  FA[Z~MNOej'0 L mY .pw^Fˇ*0xe|WA71Puٖ7d <=cTo9ѐ#t̜dᐂ»p%gp)P 2'?f/CmpBh91?,=h= MpmUMbM9H'{Seid[_V$k  %!s]֋(B0QbVF[#r9R U'G8O4Je޺aVgЗ:}.l8xHoO[ v 1#4:>dgØg4aPAjep?2A)gB+JArp6p #O&憎4a_>бH JY#K}*[mXNúҪ68 y#$g9*4qW Ql *czG, hdCU.G1k$_Vd]'Rꂠ/HMvfOA[M(*rQN2eřJv6Ў]Ŋ7pi+ osƎA'z[YgǕo&NXQ"yH \H(eZ}<,I` 5@[\E+t{}fYV|pDAdS|;00. \:l3{ca\5Ot2gE7HߤkڇiTZXfb&n5j5.\pr@:-B-0lRdPsCM~vI/1 FƯǴɉQvOu<-ִ[߈*BGÑ|[ [eUdu}1ʵ<9pzS le#=_|RK};5Eη*FBH%=GT:,lps{|(WM`ސr@5WBQ?Hx*74LGo nFIj޷.g%|Ҹ"3=,]6kʏ~n2Sk3صl_~ 駤:P,zrKHkޭjFё˫N&#С.B,~S MƮA6|RB/ǑN [$7$o7oJ:L9zἪR{ڒN XR8$UG3 [k? i U֐6HHܧqlt&љT]6M{JNd)pj2ܫpG`񴂹 n)cQGk鴮b@V:8΍pǽ]phn%e2f~wnOYP+g qlݢV4_X(Q'].I_LT.Mz,fٵ2S'$8&ޮ'N-4oiu'"P G<|-w`+IsPN耘ᶞ ` sA61⨶>2Iw0Af&LX23 OuuBű FqxLƘ\2!t#/氝Nc@n83F_aOzwg=h4F56MBӧx;Ӓ,LQhOȑ)ql-;({EQ2 Vľ>从_*[aE%h-dsNK09*nsiVxIYn XaЈ"7Z&5"er$6 s6cج_z4>PF̤RO&Y FW'ʗTlTe<t/,lK<#a&a2*Đ!k)Emk.Wˏ0h-}':(c&Ghi9,6ܘpCdQpnv 0 Hէ'J!G_%8Cb/f`?H!vOL\$y"]O*5TvNV Mhw.lᢽ_G NR[{d؉N9] Pȓ8;!GJ|.j_YOtb)sLRGA@.6 ׈O1X½wt澓 ~vYWE& ^rDkbo+2g[Pq9 |GXr] UO{ls.9kaSqdk9YX8'Z;赻58duYJ NbJxM[P̜z (vb3V)EtkڬR ׯuS~ǰIזz∤o[AXg( O\yS>πy|ఙԑQUrڤ@A &e?%+T;:o)/2QuFL3um7K,=Gy=ujW,Rj%&w<25v`ׄ"0 ^ 7=?;\!+vh1zAgYZ  C% ,DerivingHOL-Word.Word_Miscellaneousdocument.tex7zXZִF! ]A-MՋhvG"uIBm5̝:[4 zTaT;m|F9#BB-O6-!{hIWnlx ny]?%"(?)b{-#ƉҜ W@gW?@Y@oWi^<1~.( ݳ ,/r!W<;~ xdĸ$6/X5)@JY*{z=5#o\͕n̒T3} ʕHu JklL̶/K`^Eܜ܉uL,ह.Kq>b+`S-hSE!r޶4/RW0`'b*oe,}(O/G{G{džfWm$5?2%t0CP@o.ރP$ZƩ%mz"GsT({+&~ (8&rvctdh]CϛHhl!/xV?x3XEۂ#Ϧ#SyD+uEXfpW 80{g1TIj]R ,Ű^Z5/lNI-#~=){ j.ZItq3YXSqQs+Mуp{@3$^ 0̟9 kaKYe/.%tDSuvuG1hV<)W&!YF=[U++pu<Ilٰ핵}>Hx_n_CSDzkQBu#FeGw`3aLi,]]N_[ KK)TY$Vyn&=(s8=Gu&"rirZ5ɺST?2!u/I<#/uZIS,.}=,{7 mץܸ#`W'CPESfI#f}9{X۬8yJC"Ȳ,d4jI4{vãf8*fn!pSV1C<p㽄]80'l |RekcIhLHF"{1}t0I**#1{XKGfQ0L3:Iْ#ܵM )xDoVxaRB!6:A%2}&;h^^Ӈt_[ &|YZ|0['Iec7"7DGUtBRoe-vGqAQ~b]a$-l vā O;SnSo=z^VrxQJ_*ײCRO7F(KF胩ELjIf47E]O+A#tqK,x;/0vΝbwdafOGT"K<Ȁ;^$LC#)dq_ʱB3D# fYz   QP>|gs&(@bϪgp% `-j cV͛m;!C51>A{^k`,8dNW?(2 У 9Vo)4Ǹ3٧VZƛ w^Ӽo *S+P"5Ri \J tOзk|$ЪNX!j ʕWSΦ8 Xt6IczizE1nkX=auۺjI{ |z0Z-FZv%K2># 5bh[(!dxϥ_dpbO[rTR>xxN[hsɁ69uoK .`?햍 PrJ?uQ|W 5aγ/αUiH)e%Ga &׹agrjJ>ςEKHK?c]{7JdE#$\rED\pDzqfsfkK0~0^AprϾTR #:BZP(߉r,$13ը2!_2~6rahz&VW̆/[Fr(b$ KZŰDRt , IC~vwmH1('OCk^ǘBu J!Iw7:yEY3s)pe/wd_QүoN\Eℜ_U)ygSwQ!Yr[Y«bB$)@51B3v- 0_|[.GTI9@z#gBvHJ=4a\W:nd&w4*e|x9wDf'Q2?:L#_UTj"q~7?Zyjxb 5Η잃~hnٛ{6Ԭ<-Wq7qC>$OvyV*׵X3pSX+l8tlDf{:/>VŴkبMdcx+58ԑK9Oq{8bp6K8#Μ ;G0y(7bM# ;p=Sf go uE Mp֝a\Zߴ,?=dŌGHnva} WTj~y/ImꤽђŞhѱB2qs+p1K`y(ZP! E[&Oиv -Ph# ak]N':cSRO'ܽ0O#PM'ąr0lkǍG9oKfA7- F( ,6BecJ-6АY&O䢭Gm^n?nUVMO1R=gATE/JtǹCarv7᫗W:-rhL63ue`f_DƙN23) 9TkGw2h9FG'f^K9cl%bk'M?E:Ǹ@$6O cTy_Q=)T> JWq v8c@s0?el\`Fgtj~x (Ӎ+펓;1S#0Kj2 ꄎ2gu;M|t&g$'A cf? oX+qJz)35X˻֖.=yU[ONWAp7ŷw( ~M ّV c" kbP"x/S!F<#Nt#%%?)<{kOK 2A>,Tn 6|K?9Hc[Yi-IxE{{c݂JDF0tΏǍ :wyt7'h\E5GLD {x,^F"=JkL_m7W P?o*G>RиtO~n5RǑjB:*N/AB)oYZbPRy kK(> - "*;C9,\ n V:K4]1VO- gSP]Ii#FCu+@H{\M 1TV6K=mW7'%<9H#S 9yws({0\h>tt|,EVm2(kv>0~_/C3X :ޛ^`B$r8Z".P=i0=%f>-E* V:xL/&sqCF}xpKN\EJG<\O*ԕ&ڦ9w/'aGMΓ};/ !%p.i32q:/u~>` ZydU:u ^zV_.vgYZq2WcjԒW?i cN>yNSh9*J w KKw!uѤ~ O(Ѱ!dG~cUwJ 1> C#X\-F*%vc;C< YWN6Z(^ۼM"Y 4 ̵=3jv3WAv?)Jg[a6[Z[wF%)y2q+)RsoR/'x Lյ&htHZyn#LlDp3X;-(!ȴK<2 CΆ1k)Mw;]-jOjKYܲL(ztْHcQI.*lGѲ.Ul\՘ ԣx',8M>@!kplo|!t%K>J;r4HƘz t]&0Z}KvMALyW:$&l+w> ſ/=m|h=ujsV.{&5bƷwcrHHwiFWRW$5WY>Il Dk`Ȭ_'h fDcBUAmΡi{Ax*kħS߽peD|AaJSu뾗n$AQ97ݔ?Yu`G, ?k: 6(.sA~(WV}D}{C !ힹ@tYwG G Hܖ$Ha0u=F;Q:BrY tbҍ.woE\" x<]NP l% b;Y'.1#Z0<#\Cy~_4% + [?N&9YVwr^Y= ;t#Gn8q ُ\-$5D]p1DnKyB_8RRFo]xTi>fܰu)1?:i5Z /W3 "6Y抦-"2*{$h^wwI˜i[IJn J sh \OG z+d=:}!ݴ9s++x%;n ~N bԚ.:$y,8@W!Z&|Z֠A|u&X񄏶 ByGmEv^д{]Ÿ GYq^腑ê(I z»c gAs#jLk×bX /1 %w߯idި8*qc`i濘 7ᮎAL#I|+Y!'G,@e $oUl#8{kȫ=9 ͚}+o ]L5R=BJV3" 76 :'2HtAN:.d;ֱ ZS}BxK RnhEy(yu̬MYeB&0p[ ڋ#0uwgHQ_h*GG_iQ^kO`CէFX@x䶙_Y˯,i$7ZH=p6 hXB [G<٭jmG> %55[eI¸# k[uԖԳ?nQ/v*—D#tֻpZ#]BuiU`boϩFH _Aeí!GXY4t]>!r8so Gwq$j54(}l*+ǟ~Úw$1I{6Y޺D2RrlGƆ 39VwE.TNx.Ʀ1wJU[:d% +ݮ;[ ~K `ܽ6*Cw ^dv{[lX]95 A Gj<$k>S%:1]a4|>,`Vơ%1ǩ߶" gYZ > 3% ,DerivingDeriving.Comparatordocument.tex7zXZִF! t ]A-MՋhvG"uIBm5XJxEds&*rd%#|=Bm3Ξ. rFOh2ٮl-e<9y76YL]yaSw$TQU=BO3HoR,GN{6vIB2e PX'|T_d USj }%#m(S&@Ķً xEkwHLgmΐdYgG .1m-A p}A&]*7,VBէ̫6[<tMW:chh 6ƤG 萊hVo\Kl92A .L4 kBŐ}Bq8Lbd9CJq)Ƥ 2>.>R%ހ}IʦrR[;Eُj.cG?+0M8ipi,l܊ Gt'?>B((`A3¼[e(Ȉ:E&auqq)qF 2xT/vQ׿`wPalН=G6*#!{ *+u K3o&L%OkSjlffW{/+4"G;.2ߊj\/G,]*"cBlk[@S&wܶ*x|-~<.lj8 #@0j|鿒7"ŸR(O!fAc.<5j@E[Cva^`4=::҃ݝWʑ:(m;TNQE[fBuu> " /?;P|w!pGe8qdF'NR+}΅qM -33lK C6c?zpH˿eߪc(}o7Y$/^;O` ~L#ȿj+au.9U/\~A_v+m'ʢ˝=ۆ 8< 8VqV͔anha~3O,=7[_QwTsh"8У ;;Dq"6/~졶_Sq#Y^Z 3bV'˚/PJ itk\Z1[ #(Hym|Y"@\"HS2yt7||.G!q12+qn1`/=??Hh&.g?ROpOw - 68@=̩8VpJ8<`*3_ovIT9Ǔ9,@xx ۄB |+CIT|2Z K39v#T}`? ԕoØOK×=U@xXĹqZ:-Н'g|RtR(_uuYJ@}%{J}N|^wF\d)[b>}` Vvu!&mL|/C EtIRD$d؞7@=8K^{gEJhf $?"-04n*7u0WMXhKSYbaDՉ|Klf5Ȃ۳9+9-,6]yi؏':li۟@b?VY]*p,]a#=8ߖ8+`THþTE ԇDeA:zpwG!y4mv~qT"qK8R5@"{*h؏Bͼ,3To%Jd/vcՊMz?Z+ S+XC6dÊM.vΪgs PZ'NJdW#F< 0%18z5+D5@8F!٨my@$ JO.QYro % <0Z?@y$ ʤm3OP`yؒLǖbf0ؐXakյ dH]Gxy1kS-e-V~M^P=`*Ac$߀T7V{n֑:B+m#2K/V"7Zòte+Sf  Qr xf%"DzH#>|[g^YS CAmpMrٓ0<c2gYZ 5% lDerivingCollections.HashCodedocument.tex7zXZִF! v ]A-MՋhvG"uIBm5{PJ:.[BiQU+1Oy;,p`ppFs"C4h24/tYq&[G"U|C"U.`vIҒJ$q!DmdYfzZFߦ?1qn)a| {`6rhE =l'X/Q zAv0,5B'1zWæ`)=\Jd0ݴ?eTYK%TjuS 6cZfk\9eXU>MG1%|&< \x0Ŗ֌Gg!-IxgNj͚ɂ nkGKAt"~,'ұྴ9X? mH^Gu6Rqe:9;kkS]͵G7zu'ƍ3f:>^Z!3S l xL0pU]vȧSD[@|(JlS;IxQ]/vseT$E_ȽTuS$ke`7FPmP02nggH30&"NHgFJHp{/PԗPF`e \h'eJzxj!t=b&@+W\2xȳKѰ6柡,)yf0<LQ„ljQNq)7> i"#5_J,sAZSe┣w}c;kcGROһWjCx~dx>X6;&4o.=&J26X䮜zF/rEMM|+&; IPcC*2HH[|DX"ɧ *M a (㧷d[Y|jzVK?jб6t OgӞr7~ru#|N '])7:ɦ9 喂wϦf;kEolp;|C`y(خKkMjT4.0 !!2L1yLЇS@^"}-S &oFXOjt]˳?CtWcRpR I'LXRƢ!6'B݀},s{]oY1&}該Qa$CAu SDk*C{BѧPhvI:I5ג*cM")XˌRa  nvjFQ$!!cO7Z(RH٩6Hn<+a#g@̰)38:s{ T `\\ܼ|dӯ~=DdnW yԛ"4 t_1X]{#_^3$6Xq $m_:ҨEK]пPk#ݞ(mmZK.9w\1,JM|RE]soQdz}lv̧Odf%Bʌڧ:{h> YRqN$jj=~sg=ZI\tp'dLYYGL..w ϯcL s_Ҧe V6WZo{w":L`\Ri aoU]cq{b*XFN0630`rYf(t;;e(Yj"]gPnW`;@3OWaH4B{G2@zR%VWD1IC? kC{dk 2 I<[~MВC8X=~5 E%צ CtkOsZlj#,?G8%z|gYZ ~~M% DerivingDeriving.Compare_Order_Instancesdocument.tex7zXZִF! J]A-MՋhvG"uIBm5XJx]4Ź|:\dB_%G/W녙xY ߩLΊLOj+jr&^&G`um7KH[DypGg.e+qeof2NZ1:ܚ &Avi}[W.2+J5gekL5'U! 'Q 2V?zM!U; #D]<enzS 1J'ws͹1l"<ZgTb/Ƥa*.$Scwa0MXHm;v1+ۋ` !ϵ#b(g$'1W25k};֚}yM@I LS:<1FnsH8y00d%j,+Iⓛkc-qr"f2YۄbEu137m u Q20B!y'sNą!J*e\%AcG7pW6=Omml7늾mnW\9pu 57EI)U+,h̕TRᮺV/DvTwHcbJJ`^Tˎ8cFX-lf|ue)gb[1OHsSo!ʡ2{2ܿk揺&^:`tUh"Z5=XaFg +D^Y]r8E?+lIu=`f17k542)Tۿ,;2'@zX`P?V^m=iT*xaUK<B׹$Wh9X!ݳ籦NƏe%6GE俛z4*҆'tp|N #zg~0_+KjO/=+q]y"Qnժ`Z]Ķ;O6>7]uϖa T[|Ăx"*`ƕxlgYZ   s=% DerivingDeriving.Derive_Examplesdocument.tex7zXZִF! N%'$ֱ#34elEHUF[ޝaH"5hhZ?K JsP?e' 9tS7 WanU۳VX!{kMYm@x`iX0.A!NcM; ϬN'ѵ $JjݘNh|lÙrW>nyRϧdg3fjlEF6)h? kv׆Wm@c$b"|Z'T5WC.Jx{yU@D"Lk$캷r3®$\1)[jH d:j'$ x/ft+s>KS ' AFnT`Oj}5n!xnE'Ghג3b˗1lPWE`K<*–0?2aEJLA o|Q7A2BЫEඡA2?Dk1n=|sR/Ps\صv?&ķ{P祴cj tk|C,8-thiPvcUN.?XqH)8#fpHнF}Wn 0!I\J % oVL%>;F:!fJn|3Unߏarg U>8!R{i8\b-X9w/5Y41cWxt:|*9W*8A 5Y*nQW!&m$ɤUjA3x]b *-Ml\m<`J'[_]ʬ?!]"5ՙ)%NO WFyv'Q*A,"n){hLF 4+%8u_CDDF!b^ ehe*4%w .g E~]7/+:\02/UL03J]e-BXuU.Bh暗Q0Y[/ʣ1I$ v7yPtHGa2TI/G=m5H]N~vf3bw:oԄª6Z&Gay^,;0%hrB(,Q^BW+x;p;O s^R5 KY)Ti9~W!ty;<]hrqcEiR٪s<(A5tyU>pR2Ⱦ-'o)4E'F- D~ڥ pz:S4\_ll^1 `4BTP}9]xl+4bEc8Vㅃ,!~+Ķn_>O9=7;@YwI͟ƚ[70&nv}X"aNfUՈ7S.S쉤'uٝNw쥬ba)lZg|9OVrⵡMt=˃t}ҷM<BpA>g1!]-؜r?ǖbyƔ{6#]n0oaȫiz$-&,$Lox&c'-0g|1-w٥2ec~9EWAͨ މOlB6Z~ƧwT!5TΌHP=z%MŬMӮVoKCI~6i&& 7-Ə5JWK;o>}l۵ۥ;܌9; >C4:Z" 8KzW`<~@*%X?d}tLgJ [rM,SҠ |A#&~7?Y~)IyΤffLu_gjLإ͸-N盵G=DL !m[m:pg?a+}WXN1Gm 6xE ӱk&Bm,Od)4~њrm@?l}3P.uPK.cr0a=4UOv$\&pHi2Azئ:*q$F 'U\Oʡn/AmO{jON87L7':SKnFp{:c^*07HxרddAȍeQe8lչT= fGPP I]lp(ۊ22W&_;1@oٝ1:PO8SYWCIKdDܛ4٤~SgL~.h k99qܘf:l<&R` 6 ~Ӂ &/\|gLbF;(W$ŷWH`G0 -Cv ٭ے iQjt{u#zڲZ;];t*10pu<6,$Vo'MHœLb-i\]Mt13vE;P):TCH bs1ڧ].InMS7 ᛄc \&6!4(ݍ}N;UX.f5Ğ1}rHKRpIGyralo{/-*<=JP}?}OvW^=J' Sz[ϊ{NkQt3cpMz~$`v".cQC琉WoAsOnuw?W.,Tz8 0|rMq#T~[\}ԳFƭCjKhp . +ebE7 UZtڮ4w~nÌXok﹞Z1i}FrGЍMQ5 '2"!b~l.:pf&xc_(K2ZnO]㼿g@ݘ>_BB1+QIo%T|U Zt? =㶩evF;0!`{_@;_+zPY1-PLM<âHdmc}ӧW2Y1I-xZ8";#ߖNHI`&)sY1 m,GSI @\~)O;_k670Y+018>; t&PT+z¸D=C|p춛[XqbD:ܬ ?Т8uh91]UN!ݰ3BbTIW\ש< ,p@}`OC`$VI` sɱ$cbpqCNv3k=9n>*̏@Gkac'Q@aeN[\'V(CRm5RC83mieQZ_*cV0\C 7jCOA3ӱAQc9pb~:6Ե V,.gX,v`vxFDɵWS%.\ Wb؞@G[S!%nHװ10xL(2kOw~ ڎ=Tnnx"4#i򟧳^Ț|t#'ogX_KPM!^oj];mrS]Ǐhͪek"n;.+ $Q^|:Q_DW~b"9vUS8d{0ct-F@brx꣩QƒV0z %Ҽ71ϣuR_fNYtǤC~qBu7j7վ_Oya[=hJEo͔'MB736&Zqs¯<3^Ͽÿ dy7b^}͏'PZ먴pgQ;$2mp؁`܁eSZmqJG1EPX-PFt7_14WIX_ɜ\JZ@[ K3/kJ6eM\֕Bh ;P׊<z~Ň ;iLTV>IO.8l푦8cK7Bdˑ53E T#٢cz8=]~2>诸GOc[ڷZO?si+/rg&nSG\n[N$؆oh8Žuxb0)3|9Stۮ}fcF:^V1\g(?Zu7gYZ jMA% :2)AMؖ3H0K.`iӯ/ţAϬ&H OߌuA qkhQEH569̀({Ng_UG0> >E -> c:^Æ# Q]s;&dK$ =` ցJ񏜆 wG-yΒ%{5/p1H *G UOoZ8 X^f/n\Ou_0]M' H,{$=N}1gUY(Lb9(R%w&NÁ22y`hlMj<ρABeݧI$nTЁH| [!N_N#PL$SJ~j*@RvnVJR1M__{r~K¨D,2-ěu)qTQa1^b:f:@TS&f(tH}Xڄ%.ϤwOLg=AZR8u?4Emi&N"@رgܬթvODs@ڃsa䱋՜5&eJ8P8G묂Q6(5 ILb-[ ^Fs[M F+uR+{  : "f _a(Tp*vKiNii.1y!Et7]Nڎ4gꠘN7Iϫ H0eRmPIO2PS-Nyb%pi[MNd߼2\l⼃=vDu0»"i}Bаi;UFyVˊ`y!RMoZA.ҷT:Vna7"tDKAAJ`8v'JlqDN͇ivu΋[~kg7~O,9e0ド{[}IB%p*H΀A@7\O t}o=?#L$E~:7h*π>!wQܥL*[Owf" @inۥdž79~KpL!A^ F~Sv2sWI k= [?kLmեnm,. 9F"LĴkӘl_đ'%7k4k}ڼ{򈫎$1`hя39cl}1$Z S)kGm7Ty0 5Vx_WUۈԡL^ L2˻4}Z gl1C=cbgvD(>i0dlX<_kw*?l2%su7r8\ 囙[ʽAXg3bE !t37ѦWlJ|/Ԙod0\Nh6xAW*>>5/A," Rٔ=-Q?")Ծs\){,HA1teA~"/P&m.Zhgh$7Nz8\U٧c8D27 `h&wN-v@.kG,X5]B/u)8neLTl68 GۿBSOr;M$ThN$jbyoQ߭ʒ*Ç, ?/: +ұW~ZSІi^kPFl:u( ,ͺa W)yIu/pS,uoOs-]bT$Ƨp<2p?m kK#/nг_/ڊ!RŹ`o#߄gB:MƓ/uǾUfR=x)Urq)O`n ѯ1c&GfsbҾms("OcHC4DkQmBD&Kt%"pQMX"nR43 6u:+8xv={LຏgYZ V YV7% ,DerivingHOL-Word.Misc_Numericdocument.tex7zXZִF! 7]A-MՋhvG"uIBm51FbhK#|Q}R[e7qD[y+R}x)| r)\SNz1{Uȗ?SqOs}?ՔViO^{R3/}\rF.MKK=mDMZ~©c@vrp7Z>ظa+}󜩷IE{Z^/Z3%~ MԷ anO P.yKUY}=.gmhA{&; 'ܟ+j^>8S/WyZU+F#%2Y&K5:jl(g KU2jfNښ|3T_?p*( dxhֆ o4^XA)ŻG^z>b%zt,?=NW$D-U#_ 0rAoV"_sE?:&}s-Kr@ʩʯ }x~9" |N.ks 3&;B8߶5}0-:%ҷ$b3 Oָ:ʏWnP17}KdwliUɃJ$S7~s23p 1x ^Nq& 8ߑDZ6:,C3EynNɯS1Td]onlҥnx@7trJfK$P ſ+Doago:)3 l ogYZ$/% |DerivingHOL-Word.Bits_Bitdocument.tex7zXZִF! ,X5]A-MՋhvG"uIBm5F賗 Xuq0~cC ҚTsWm0Qj+䔘B4{jݜkH!ޑ\1->9gG?=M ou)1Mi~*S_8b(G7%ZYdnS]^ avꔣX횆 M߃hsZXCWF4ŕ~/B i=@'VƮ(?Q ,8؏:v{ɓK'Y[݃hmDfݦʘD2F!(\iYb:8䍍R2;B\RoZ@C,o@ (h?X;D#8I*9F'NJ[[V* =/6m| NP t8JBXUR@>Hc<(4c\/}"F5ey^), &S%hi’L5ˣ`e\XѹJrX("`˄YS[Fk.8Jۺ;-s# [R$&wɮ7IZ#/ P&} >)x5vYajd)b~A j8mdPslDI[BPt!)NqzH۟'?C\LY# qkQXk'#eaݞ-L3l8HuIxf+ֲN52YK>#Bp/dE>/C XtigYZ  ;% ,DerivingDeriving.Hash_Generatordocument.tex7zXZִF! ]A-MՋhvG"uIBm5{ t.ؠq,q}sU/:8|1J+8L#LW6~qUV7~1A~qњ"hDM]r$@<sKnqT܉9tĨT3dQ˼ڏC{<6%NmxݸmFo)̟&_*tH /W%CKh}e],G1:mگ]c =J蓼 9rbYW3HrXEt%t (JV}]ޓ2̸{V~sKKyYt W1x=CI]ʳV JA{gy[> )610xz~90:r<ΣY C3l ԩ:C$U^ݐh@(рjalw҄~ .AoM*i WӰG\ꁍ}*`H& nՒ?`#NfصqI=r`i6KZ;:{orN0Pucx`OۚIkuUG:PFҟ𤓹]?W )%p@%%{ qyLʹJ^\p EC 5ɦl]=p$\I!B%}Pm{*(uqTJm_0+i)nWSC$%xA :Pפs&ba6FBkx{D@i~ f*=dY@%Q:Q[1xD>(y?PGV=s)>}5p*,eM?ϷeZҥun^g?ͨCU9HBjGf̣T9M2/WϠgKGy5 tVMaWg!K4$FYNDZgYZz;% DerivingDeriving.Derive_Managerdocument.tex7zXZִF! t]A-MՋhvG"uIBm5֕)eGBŕΙPSI"݊\%Z^G5jp=;)'&m+`S+H:Ш{Ѵ{o@Ѕx#&]l`e{j"H[@.xD!ww5:oY5|8Nt"@n ed`vyڡѡQr N(. 6'FGlXbm℣9+h;퇵6Rُz'P`vGb`zs!*t\G$W-咄Y[vقk/=؄&|RiX7T0]&Q4Qv|lxc> ?géY͏ _ycFSSiqsX +.,$(r]j}mW1(ރǫ9aMR>+Y5TOs50`Q}:စ٭Kd&Cd#]!g)U\Q6Ѽht2O&6:o3q?IZq'Aނ"ViY~,n?F&%$\WX\.vU`|h}p{EH`ͦϪcw{$7%^Fgb ݝ$dJi'D„ͲWʲ+ORoq 㫩0i;4B7]p%? EQ;.') xR?BXuZVb#OǒQ!}-^虏UkEct r]Ұ'Ҙ(֪omUg;|gYZcE% dDerivingDeriving.Countable_Generatordocument.tex7zXZִF! k]A-MՋhvG"uIBm5`''-6ᶈܝi7wq- *qB@++y>YCoK=CX9V !4N-ݜVS'&d]G] aن<Y!MNy``vz~tOWF MN#%WOu(aOW> Xޮ'hU!yW&!ƻXΥ_7՗E|x F艀!<ũ=Tlң2MZ{*lh*}p4rs)|ga`굌N\w72 /yҴe2<.t%eI 揢;4SiY);%\%zZikͻ߱L3P:CǶ?kjW \ERf%%caAC?6 |_)}a#meZp^%fJeґ<  &ōggYZ  g19% DerivingDeriving.Generator_Auxdocument.tex7zXZִF! =]A-MՋhvG"uIBm52.T(Uիx!^m UR'2 lGQ@94Ce|JOSy֏1:5/b3ܩL*6p_z/k""\tF[UۡL/˕39떈x_9! ,BYȕ}k7J{_o,nVC?`:b(1k;9E HIA)EkϽ3/?*6_<ۗ&o<$)4a,,r.:?=fl9CI{l;:V`G5IҎht޴j`.3dv>j@r|T7j5wI>8MD41w̄&9ꢥ. n*^yCygti7ŘCFvBJ-KSqw&;!!hVw_2nbC#32Re1eTƠMcZ+l^ctj& ̔QZL.Ԃ;n]]mY$*7]*ӻPvU"*v<5385RBR q".3qAA(4A;TsXW4r$we7rX-Fb1W| 5Ebf{I4Wa]|k-VG04ʘ4;p9Ƽ>j7qbln6q܂>E48Xy6mze&׿@wJgX8@D֧ G9pFAh1t Tݚ$NDn{Db1wb-tv*,O3Al!:[O!aYcR ;߫D]WG5'Eꢿ<#ySjpv9yXbEն;I/~;<&;AH!3~WoWL9]&l4W6r)ǦWfDm]" X' gYZBC% $DerivingDeriving.Equality_Instancesdocument.tex7zXZִF! Y]A-MՋhvG"uIBm5ګ2#Iȑ=] ºY hI&XI?h{!K翙ǂ^z\l/yA>?u:Y"kMut`>Dm!Sp<[;Q7UXgVw2zY>?\gb} ,W"2lֳ{C:R,4r?S[rFcXk|ė4;VIRF [Z>48 QPTunmf Hzƻ ee:Uz`H&Gl12[^Ib\sYZwÓf#A: ]Z Kk{9D$swtp827!I3 UT9X47 u%c:7 9U@2K2W6.4ʧ.qe5YDA 6[+7WO ̎ iw%gYZt'% $DerivingHOL-Word.Bitsdocument.tex7zXZִF! V]A-MՋhvG"uIBm5F[QH׌#MBwdҟ-TKh c$.hv D;xI?G ]zTH,u63E;cL1\ {v*TZ:[7ӁQ > ӞA\;UbUX<&"B P߲;7Y<(P[ͱ#ȃfHqnVGΎ&00J\5 Y@>)`DB)(dl{%́ |E ӵ8y d<"s's?y iɧ]>c@$g ,qBΨZ>?\GXOb .ͥm[B95a2+.f XLxQڂXg da|.,RJ;|30` E "/b eV4 W ar249}Ac(WpY@Ԑ즬 ?{u?MtU:3 m'뼥b-'\^!!-Sym ܥDq^-p{.Htb>EeGag-RTļjg㮜aL5&i*N)z%6y͋# &m:&Ab7xyBέTO11Oޅf0Hn1uCnۯ `dq?|热DJ67 E"| ia$ _+l$.9޻W ^6 QyU=U,e2 ;!oukY#!(Gs;TUHd#*gYZ )  >O)#!5% tDerivingDeriving.Compare_Ratdocument.tex7zXZִF! ]A-MՋhvG"uIBm5XJx]4Ź|:\dB`)4<4^כ^N0u8Y|Y;X{~|b xF2W42Qi]~?$b&`Ŧcr:2oJ2}aʱ8HNkr)zm w\^7' $7OpWgZb܎10|.t{]{!mou2QcO]~`⟝B7ptZ5MR]Z(pinY! U[T MgCvLJCPϬJF{r+ra>/& Yv~ԸOtɵЄe%XgL9(^zBKhn:u2^mbC7 4kW]7;E 9H0翩)t UgYZl 7% DerivingDeriving.Compare_Realdocument.tex7zXZִF! z{]A-MՋhvG"uIBm5XJx]4Ź|:\dB`XN, Ogs 7T&$7](& *xp(@*i[/*٧Em9}`Y'>!E=Ҷ(g v^? hY5E6Aq&cugd,F]oѷ'Y\Vбoi8Yaii1ƒCr3qc{jCӃ%$ "7]B8\Ohd ̀ L̨ϭ-OkvL fHSq uT{-;blh88jA2Ǻ jcYW,+#F-e Z棁m䫻Ӣ[Fn.+|9i*Ef)Q煌g揍@qVl-q](#סF8O_Qt|Y9]r)/ʳuTNSBQKj]rP`eR3'Ys!e 醁t(ׁӋ%($18 g=  Vj}5".1l#OFgYZ^K% TDerivingDeriving.RBT_Compare_Order_Impldocument.tex7zXZִF! b]A-MՋhvG"uIBm5?)e~~M{{|[ؚɍj6؏;4pD~¥ΐ5ё`Z xAU)(d{L[&ڋ` e&b7dd5L'x~a([k ! }wBmB;q8Ӊrx n/=ď$G y[wTuMȏƐ.Ǻcy O!!CFRi[MF*&u'ah4>epĻQBy9K a"VӏG U9ӒFˀWD_ 㬸fK4b '%պ2ַ2(zS'] Ƒ9DZyxe 'FZ(lrLe{U U Œ1kg<-m:;,3~9xܖ邈'ԾC}=_[Kp Y+.c aCBF%gYZ^+% tDerivingDeriving.Derivedocument.tex7zXZִF! s]A-MՋhvG"uIBm5֕+2(T|Rꇠr{$CAJ5&8Oqm@M#1yTE׵E5=,`Jq E]6CUsT]g21fRuJ3Sɨ}NUdž~E>T`v+9gU-S@fe+r?OKQ#i -5FjE.N61OtO˴4ҟ-Ƽ(>4i-qd*s`T6&ہ^nOc("KAH)Pӂ4@8 uP`f;`=z?6 ۑ/o{`}Jj^e%01F''g:W2ojO6tƇ,x*S d)&;!FHd^CF 5.dCm4[AmL l2{[cL)>9,2BKMrzb:3>wOzyoL'],˜.#r]٢:du_(` wI,-;ʻȈ*%]Pf=W MMg̠Q/x̧JW~@~AWxK?zXyo¬moks>7l^DO۴] ÞM7gXS)\8ܮf;WgWT xWk4Ma+}oN}RcӠWKsff:}7kܽy9KL9>,z5K$hD}2;R[DC(z (s1ʧ? PK%G)uX8G%V`IizûS=fTccmX`#?,I$*t ЭZO~%c4#UM[ќE*_Ըw%I8wPxCVj\A#OOIQ<$yLFzdϺ7W>L'K8D I 5 f 7bIfS'Ûo @N>8xMq?XW[T6&,[j;J Gd$q-{R'#'?vEVx.ܨf8^]G;sIlDԏ>x41lš:Ho\JQ:Bs){#'_NO}|I%ENDRb:ˊ }a.^|U'؟mzƷ(f7A.1jс8è[H_dC̬MAlV (DR|g}Œ̷^Z̘wÈ.~ieGkc'0#`Ǩ [p{TۄǁGǴAՂ_pJ1PuӒgпzV49;Rd-NApZ8$+箅[@;i=;HL ܾji *<[y&ADVRxӁ̣Ų=A/ɁS:}߷Rx\6\gK%!eة7a9VfUPWOSDS.Rmg 3 1wy{ r2u4p(Lԉ ic?_`GtLjDG|acy eÕ( {.*@ڻ%y!!X>F|t!TN?ML3cuM1Bl#pb)NJ/ɏv>hs^^v)-I庖-/6Bo7N|۩)j āYykT>0 r8򉭘vIDf?[6+)ȶ̬q$(>o"Ng-Hb*\HCoƠ<YG&]kz `$C)@X!KJBLz`80ef)~7&}́>01ۅ9ȢUI,VH=78RCn578ۅDZ? t]ILNPWƪque4f2mM=9G(^{)+ـ\T:MM Yo nA6z Y 2 "sV(ٶwbն!Dҫ*(DϽр4zkx#ꥀ&c|n} ~$u6Ç.y6ssbт']ӜQ{+F[ݪǷ!o,Tܟ`nZ6B6GV{2XՔ舑-sO*U&-)TyʌWB`̭53FThD[Of7h#,(4ҷ5楟6c A*TwyV;^y k8QMY43]%. M̭+b_J`A M1lM,dv(eCYWTag]x{XYzC"3 ̄M{%vq,3@ ̰˽-'wxw{Xodfn' H s̬\(m8W~8e81оt2%ga .|?Ņ"N&*yhbKDp`7EFBRP! ќE)@6lbF{%>nm/C(ӘMnX5ͱi4G_B7Cep/9#>ZQ!Ȑgi6E:}+^;z*xO-TMz\ULhz?NJؚOyItܫFg \Gyy鼘価GNƅ꘾=,up;`x;*V \jf C"olOr' 'ey3i }Rnn MgE2H5K`ًon?t?7 +ݗ$ES)._L}b>` IF9]-yM8w >CDM:ȤRHHXk*3D#?VK@ʣR>d`.'Mu!~I?Gٍg4m?л)=1y|[ &e~)~֕Ͳx-J5ЈSC8ro+HcSjWK~Pha$`4gSwq oHy77ߑgFK rG\A:Aлlך+}e 2C2쭢(I?HhNHH[u]ڑ  f xGאPziH6W$[Az~E`C!wn._:W+q}sWC >P'F:VZG?Q4}[OT ׅsWMD.yG%Eq x=wy`vu \=X:>נhVKh0dh5(MDMnQO5ڤQcx5-XjRlm#.3R`ԃu"ώ\FO9BH.M#\3՚@Q|'Ht n8'gYZ6563ede05942d82c9dfde4d9af08469bcca88e8a0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f47371760eace7cdd1acbd014a8d3475fc215520eebac550