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 cv|< ]]Deriving:threads=4elapsed=57.587cpu=175.332gc=6.7847zXZִF! dJ ]ŗXiɟ{h&7:& 2ز4뒹-#/CL5aϞ_8 8͇j9D(L| K!ٚ@WMI :`t|;Pu>@~z[Z<|WqG~DbU&O9kȈf6`cWNufTO`mQ94v඼.}1JHQ@#%=qˆI7)H_ƊGV?w0꘡?` I}oߣ{Cy4}R!eD`#]j[f P a:|2:grk3)-GD}_^ -SG )5K}o:urD!`$of{쓢0m$t y6gL]W~ !+Ӡoۙ!k$D'ð8BSakhhTU81geNǟ }Lq)+$v"9貤©J7R`N͌kCeO|kz!KW[y;i\7}I8&6F*AIIB8(ؙq=;?TuJkk㯋'[H% TKZt4;34nAku XF;i  bo+ (66e̛f]-F98LNɶ;2g[xA{K]LlYӁ8r[ë ֻQ sQ_&'IG/2Q[A<}贁AACwꚎ-d:ՇAQNȧCGST{ I=?=\a.BdwVKjKVpnQ"M,H' e1)fbD+ҋw8,e)iD9{ ,W`7۵"B|2uy3D偌q_B?˴??bݺf q1a EySZ/RhZZOƕ/KFf=2y Pm4y#\IOXE Fx`*]L27qm˜Tߩ {a}o6G xSPSwcCIjnU?hwx0Ol )_m/6uФcӛY+N:'+e?bJ ʱv#~ c|nfSVmu՛_8huq#Ҿ% Ą"z!իm.t4~}1}jpJ7!ljrH1PL§rix{?bb2WuhzƋ+칞 ȳ%r4j%3MT$2TiKd⒩pO|Ae^ PZȕ`AhSDOGdE}"qӋWQ@,m"̠:O##3Gw/VD%(Ԗxy} ` ]Pэ#,\b3q@[oQFȡN`×[sdxi fJ>WK(x, 5WIOwMRN}v!Tx}K#+챕 [M&" ژu美udyx2yƆ)'A/nqOwIW-]Ti:y:`)pT0޹{p zS/܎\^IφGʁ*!;4m䯺{vn/'!2Rk++1o6ċ86L{aIy]"z#3gGk3DQNTSoqqs*, "@qL#eJZfsgJdCA~Xł%ٺ T>FB cOن+s7w$yS=Jꭐccy\ c] ͫ(tjqXeNP@ d^T08  m Iv NXwJuRMK>   Deriving=&K; LDerivingDeriving.RBT_Compare_Order_Implcode/export1/Compare.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm%gLwjdwL.~Yy{>FHpS+SŞ]wCmG dnOPkF=[Fd, Yg!-lHYbG}™[4&knV6ѲjfB2x6zX]9οП Fڑoq8ps+4)zU&'u("ASD5rbT90GeoEF;1I}pyٲ2L5ׂ~n \GȮTwI6432Ⲁ5jb).gYZK9 $DerivingDeriving.RBT_Compare_Order_Implcode/export1/Option.hs7zXZִF! g]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmf($Li&a7j~&%VZހ19\[>D3>þ̥f @s@jzc-2%vx@>!hm!iІ3L$jT!(H`\Ҟ>)լ˔*L D0&وZ lz9qWB=)ϠF}g^BM\"%R VR ڑ\׷ǒ*̌tֲ4+ֻT[U~|!.gAoA`Y/܃KBXdXU 6)17ݨ鳥Ur:ߤ k5r@Uh-TMGwT̯'W[$`lzrwxegYZpK7 dDerivingDeriving.RBT_Compare_Order_Implcode/export1/Arith.hs7zXZִF! V]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmx hp2䟿~7,jcz$Ib \r`W$v, $ ŖVH5 HZȁPzT=滵' U Y=*:8G*Nɉ H?(ْ@΁X~$#Mn;ZmXw\JȬh+-XZV;yXѯUq5ukdB{;ߓEeAEڱ=wm~Tf2Nz 8z=43~ݏk:Kl(AV'u? ԘN)ÝS[1rC$ʈ̳W{Gٹr1"/-\BkY CĴnCL3]c=äD:9=7gYZK5 $DerivingDeriving.RBT_Compare_Order_Implcode/export1/List.hs7zXZִF!  ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm`G8A\恮˗d~U> Q"9Nk)_]o{+\Ag~_(9Ft?Տ\M=91I)Dy.sRr0kEfk1~2QRI+O/u" 1Ғb΁Vp LX$}ILi.ǞfED5mp\?mGNJJ×J,8 qɞGp'+Պ٩Q< 3ƪZJ u`Cqx ԥEОW,b 7ߔ3%.2Jda1-*^U )jxyk KiYnd=2taACJV0ùYbז_ S5O, ^qRԅ5(}.SmMޓY]#ɇ7+T '][;gYZJK3 DerivingDeriving.RBT_Compare_Order_Implcode/export1/HOL.hs7zXZִF! H]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm}PWQwNу}DIu&SVvΥtt^aZI4]F<-ߪX_Fi <8%kDuB68cyXRuO7&rx#705abͥ6~z4=߼h|q Ԛ_K.+-',#+ *)('&%$#!    , U  R &  [& ; ~% lX ] % "% T X '''%DerivingHOL-Word.Worddocument.tex,/7%DerivingDeriving.Compare_Realdocument.tex+.5%DerivingDeriving.Compare_Ratdocument.tex*5C%DerivingHOL-Word.Traditional_Syntaxdocument.tex)5C%DerivingDeriving.Equality_Instancesdocument.tex(9K%DerivingDeriving.RBT_Compare_Order_Impldocument.tex')+%DerivingDeriving.Derivedocument.tex&09%DerivingDeriving.Generator_Auxdocument.tex%1;%DerivingDeriving.Hash_Instancesdocument.tex$4A%DerivingHOL-Word.Bit_Comprehensiondocument.tex#1;%DerivingDeriving.Derive_Managerdocument.tex"1;%DerivingDeriving.Hash_Generatordocument.tex!4A%DerivingDeriving.Compare_Generatordocument.tex 6E%DerivingDeriving.Countable_Generatordocument.tex+/%DerivingHOL-Word.Misc_lsbdocument.tex5C%DerivingDeriving.Equality_Generatordocument.tex4A%DerivingDeriving.Compare_Instancesdocument.tex*-%DerivingDeriving.Comparedocument.tex2=%DerivingDeriving.Derive_Examplesdocument.tex:M%DerivingDeriving.Compare_Order_Instancesdocument.tex+/%DerivingHOL-Word.Misc_msbdocument.tex<Q%DerivingNative_Word.Code_Symbolic_Bits_Intdocument.tex.5%DerivingCollections.HashCodedocument.tex/7%DerivingHOL-Word.Misc_set_bitdocument.tex7G%DerivingDeriving.Comparator_Generatordocument.tex-3%DerivingDeriving.Comparatordocument.tex/7%DerivingHOL-Word.Misc_Typedefdocument.tex6E%DerivingDeriving.RBT_Comparator_Impldocument.tex5C%DerivingHOL-Word.Reversed_Bit_Listsdocument.tex;O%DerivingNative_Word.Code_Target_Word_Basedocument.tex3?%DerivingNative_Word.More_Bits_Intdocument.tex+/%DerivingHOL-Word.Bits_Intdocument.tex 2=%DerivingNative_Word.Bits_Integerdocument.tex ,1%DerivingNative_Word.Uint32document.tex >O+DerivingNative_Word.Code_Target_Word_Basecode/export1.ML IKEDerivingDeriving.RBT_Compare_Order_Implcode/export1/Product_Type.hs GKADerivingDeriving.RBT_Compare_Order_Implcode/export1/Comparator.hsFK?DerivingDeriving.RBT_Compare_Order_Implcode/export1/Orderings.hsEK=DerivingDeriving.RBT_Compare_Order_Implcode/export1/RBT_Impl.hsDK;DerivingDeriving.RBT_Compare_Order_Implcode/export1/Compare.hsCK9DerivingDeriving.RBT_Compare_Order_Implcode/export1/Option.hsBK7DerivingDeriving.RBT_Compare_Order_Implcode/export1/Arith.hsAK5DerivingDeriving.RBT_Compare_Order_Implcode/export1/List.hs?K3 DerivingDeriving.RBT_Compare_Order_Implcode/export1/HOL.hs 3 .&K; LDerivingDeriving.RBT_Compare_Order_Implcode/export1/Compare.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm%gLwjdwL.~Yy{>FHpS+SŞ]wCmG dnOPkF=[Fd, Yg!-lHYbG}™[4&knV6ѲjfB2x6zX]9οП Fڑoq8ps+4)zU&'u("ASD5rbT90GeoEF;1I}pyٲ2L5ׂ~n \GȮTwI6432Ⲁ5jb).gYZK9 $DerivingDeriving.RBT_Compare_Order_Implcode/export1/Option.hs7zXZִF! g]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmf($Li&a7j~&%VZހ19\[>D3>þ̥f @s@jzc-2%vx@>!hm!iІ3L$jT!(H`\Ҟ>)լ˔*L D0&وZ lz9qWB=)ϠF}g^BM\"%R VR ڑ\׷ǒ*̌tֲ4+ֻT[U~|!.gAoA`Y/܃KBXdXU 6)17ݨ鳥Ur:ߤ k5r@Uh-TMGwT̯'W[$`lzrwxegYZpK7 dDerivingDeriving.RBT_Compare_Order_Implcode/export1/Arith.hs7zXZִF! V]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmx hp2䟿~7,jcz$Ib \r`W$v, $ ŖVH5 HZȁPzT=滵' U Y=*:8G*Nɉ H?(ْ@΁X~$#Mn;ZmXw\JȬh+-XZV;yXѯUq5ukdB{;ߓEeAEڱ=wm~Tf2Nz 8z=43~ݏk:Kl(AV'u? ԘN)ÝS[1rC$ʈ̳W{Gٹr1"/-\BkY CĴnCL3]c=äD:9=7gYZK5 $DerivingDeriving.RBT_Compare_Order_Implcode/export1/List.hs7zXZִF!  ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm`G8A\恮˗d~U> Q"9Nk)_]o{+\Ag~_(9Ft?Տ\M=91I)Dy.sRr0kEfk1~2QRI+O/u" 1Ғb΁Vp LX$}ILi.ǞfED5mp\?mGNJJ×J,8 qɞGp'+Պ٩Q< 3ƪZJ u`Cqx ԥEОW,b 7ߔ3%.2Jda1-*^U )jxyk KiYnd=2taACJV0ùYbז_ S5O, ^qRԅ5(}.SmMޓY]#ɇ7+T '][;gYZJK3 DerivingDeriving.RBT_Compare_Order_Implcode/export1/HOL.hs7zXZִF! H]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm}PWQwNу}DIu&SVvΥtt^aZI4]F<-ߪX_Fi <8%kDuB68cyXRuO7&rx#705abͥ6~z4=߼h|q Ԛ_KM*7zGW׀ [G0ܕIaHDkzw%r {5ډ5@kIB(uh*V"SrCC;(7%iyt@:y\xT#Z?b},ʇթ+)eq!-ة@I94R3I$`ىxxE\+Xx:֍lJt4s/nE֬Y`CU>cMi|w<-zIgJlms(jWmݛqNK]h T0l:%tC ^^ib; \Cj.NɽhMPZ)'tr4m(NElbH?3~u|"!뗴'e号# 3JzHFj}MAz).h]Ag k k#9X͐" WW8bC"OMOtyB74![S9=ffn|(E FY!ry\6 GAeqޏl{e9R& -ۚ u;D0GW8-E\~O0Jץиۘ+\D7w s3f TpF=ޝx!`'$aHO=}WA CP7(96zܜsOt|sdb$RqCd -"tr25=TRMZ;O%6  Jxe'SlECtDzQEJN͌On҈gH>pQgs j;lo(|մQ '`25rMkeuȽ_9(/ק襥܉u*7Xt;ʮ%LӍyґN0ǣ5x&`){e 3ull5dBk,)r՟e*N1Voei'ygYuAJdϟ,C̑z'ɠů*g)DIֈW? =fmܫwnÑ<ۏC.Pya&%zs .bd5c;]~\?aò=\m>?MYJMd#?jkwړd94JgŌ0]?“Yޜ t يvJK%R:i"H_ϬqÙӦd er`JI:׀6Ze=cTqE^GqNŘPs2Uo A]|C-Nm ~41$d5e}s:j2mp滖gLАi}YeG}sg ڡ0%Ϣ>|sy.Q"8Q?v 2{=MIOPDCJEz4"~ijIQ3/!N@ MNh Aogh%#wo$^׿s6*Q$!-¦F]鲐(f4 :̪MqG[(=.6P1l\ {[5Eo~%ҫ}*/MG3Onc:up*,5(Hg<fV'k6tS.KzC8"W[<)FESt7~ r+D7%5Ddq ]1|dW;~k t?=8@0gie+%D&VDZrL=&) KM8щEh% D 'Yֈi+.hne|)LԖ.igmn39SKiH^>|ٷ7m,} ]|Հћ*&RFIKA;/ݏ'Rq,["Z vL3b b.bF 6Sr1#瓰 3˟Ze3,KYBIU H7]X&CBI_{d/Kdij/v8rJk 6sUN[g&,zGY}SE.Z0G3z+0E +_؜l3l}"QP}e<#]?7$m$gh֡E&_2 뎃RJz4gJ~Qo).B^T٢ Jݬ985BԲيsgYZ    KE DerivingDeriving.RBT_Compare_Order_Implcode/export1/Product_Type.hs7zXZִF! 8]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmrR^6^C0 -.yFY;!rA.jZLS @k پ1, ۦN\bUv0 uNStx@a!Fo|L |!%63蚣֚Y?{* Si4 d> !TygyZ+O>kM#r~ؾ] cT SvgYZ 99D O+ DerivingNative_Word.Code_Target_Word_Basecode/export1.ML7zXZִF! Q= D]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-@wAɍRo,cŐK)I^ AmME_G̢cQb&<q|æ=2+ DV!çe2ُ,`k rЄCG~i].>sUf2Dh QRzύ6qLDF4nZ+׉)ǵ|«5Օ.-UȮf% ܝŊ]d4?4cdIvߘ1W_Le/`DVrtS*SgFxF̋8ZP^yQp!d13u鬜`t4eWymBVoViC c/ h׮!FNGe0߈F{_\kRK#ϫCnFjH95pl.ڣ'-/h6 1މ '2D?hxWhhޗARCM}taHp"QFĄL]|r(q cʯ3;Y-]Tp"FcWX`0̡Rʀ/9?!>)嗜]T離It/ Nr<N^t zɔy7P2hIqY&'Ԓ4>?6gmPɬGŶe"uH<˻׮sE0@jt0a )?OpJ|hHoU\ >V KKtc,MUp4iio&юbgM pwD|fwzCI謸 _>K^Q+zGSW3 pPkד#J9"2d#B}dHXt0Pl1ڡ[2͢O\mBj̦,\$ۖ1x'0DӺO+mYzĦɊ8KN٧MK`6!wMfZEtd#jZtl(=qRh&@ }`\#z~wdd@V= 2{`%SShHF:?)T2H嚬G^`܌G֯ c|ew^A9Hhj0ZM68_:1|+>Bw̏Q@'џ" ʈ 9s -\?UBVM<l6{4YP}uڃUn ykSC0w] X[5> 5 6}fY:8ϗ {n̑W-bM{t]7벻%hOrP>D6L RY{&ѻθ^/c4:Hff)q*јN?5#q *``C4V']yfl_\c S}\*Ha1tyJ_("{Ƌu5c= 9 sR: <6%K8>~^֥9ArxQĘw"D\ި?߆,i)b xJ ))hW9i6JKVAx<\SH q@C~xi.VsjEəR f &Z 8AoɌX\eZZ#|!$#EMs`Ӻ3&G,[O@j(x~ =VNz)V;YzQφ9 {טA;qr.x3)xiYP t@g \BfLu&|NA{;!&wqu8ЅsJGI"XMPldY꼍`#)]=vߞܶJ]l\2]uks>^ a3bk@&À]7ڧ/+ʌW|o#;T^ T(~%&vQYhl?".@ʙ>jUyP:Xp Z/R5$T vPu Ɋ}~Tc<3H$m7_m*{3g_nC>Ewfe`u(l"I3xPWҾ:H#RNwݳ>b#vwdXQa_8@/:*>wU)E+xbUz`N{eC)QVy%@? UӬQɡG./m!H X;AfG?O4@ώN;1$A>zW{t4M ]_.qe{wߕi6hdNGwk%n]}d o " ɢxO͡?tw+`nLYp0pc:<^STMvܑ&Q"&Q !ٱ{Ra gYZ ]n&(<\ ʯ5LaGIUm+)| 1 t Q ףxGE:7V+ʛx:x/ в/DUrz"n;] W!f|+cPfQAcHbbs{C-C  K,Yv.D[O3mk(O㓆&#+o4/Rr?Y4bbA_ D2# R MF(RGJE}](-Q e9/\./s`ƞ+NL‘ˑ~Tv[31g&(,SPynaH"WoYA֣-^0َ#ϨX[^+zeI=eK\9԰~ ƴHl(y8^*Du1|2-LcXǣhL[B]BF~.uq&^V V 9bIX-tmU>q{T,?YP\F9 aw$ü#Kn*n z(K64}^p'Q|Vtӊ0O'k}yx^`t ~hd¶`\Yvsy5)c"'5Hr'5rM{m\WS8@>yMndoC՞9Fv?bH+b>ZJvnȬ5q"ȦV,Z[kӅ:.@eEį1pha ao@ ;Zbn@{vs.ċLW~0B0G7l8TxFRr^N$e㣯ۣny3m~lÝQy}T"EB&j]8 ڵh-GT?v㒄,}n:w!bU-|6A]):@!Py(85ĸADMڙ_9J3'@-ggZ6N>+bNfe,ج+PkK.`ai%򳚃^|+ ܑ$QlĻ>Jj?O/L \nj!\wukW`Ży{{͏?zl XM㋞ cOwž >e သ=#L גܻ~*#8XM*{ʛug Xly詮hPeGS_B&Ŀ[F7G>)0+ ?Ż!%{GO.6u]_Ga#Ep03'vwf>xO1=R3ez h}6wLTLN:<'+BQ$ң᫨ip,ək8x WtC2eld(7U!3{ cH3) 9Jrt=~E>P\ή,ƐEהuc濺V ATuRPyO)i"WwFX덈T},RJ ,E )6MRUpu%;:$W]PՄ&#+^lFlXmn{1%ݜZ??c1nef\_\U q!_QĎ~d/'٨A57i+&qfp   dG|s<xc;JoZYM66!}fRVHx]"8vR=V.YB,Zj@VKk$Y-4;5AxƽkD(08.SL ʿ=H|%kr](lXS'-ſ ̈́Ih I)Xj)DHʱw\~(&mKjA#-QባwQ1`@ujnY!0;;l;50gϜ$rZ⹞09QYd _9-o<G#[6}"R4:Z9?4:&A; #qKzD]}cg=摄'" NV$OYL_/oI`>x.PԕiW{ 8yߔ'i!q,.ɽ1[2-uV\daTk-+X7<*SkT\;/&_gv<}piWHN $>x)"XtFudbW{)h̘sclC#z?U͂ )qi |&2DBCp8 ~yBzQxKDYk)69}Wx0rDަsow{eRr4ᐉcu?c ߃5_%J 9|9B!τ$/S:W5T#׵8JQκlZoz2^+=P׾g#_>˜{k g| /^|rІQq=ănZ).M A'JW1#;vg"'>bfp#9:l5"՗8 ;p4|{-x#aSτ&rwq+kriˎe뒒5CQZadsnYb$Z=ndNpU,IE(\.C2ya& Iq&6EɍY>ۗQ|`o$y3:Z<`D':29T,'$%)ݓDFi7p32x.lUX8UMkXKY5;j+ҭvUפ[5(SS"dgZ 2X'rL=(qƑZaL%휎}L@ u :G~$x>6| QoÙW?E5mgb@UL'P{ Z(Yvm`^Z?&6~j`-m4ܨ VQ!IDs>}dO4o2rBctga& ɹCoX~gTEB$+aWdooߟu j8l*YG2& ,tsN?5%>Iv |2GB}'JGT k%nlqV!-BpI8:?Mӄҋhv[3%Ѧ==?p/vMN/XrT5c&,"G _\%ŴsRj1~2tה>k"tJqm]?ᕩ %>1N:V` LZw";|e^(}*wXMQ!tCD|RɛiWK8G|T`5ņlۜe,7ȫ5Fl)至ĕVѻ$PoX<ЌX̵orftDR1@f;u3wd§;E CtsiӦjJEʺHZ_| -ԅĠgHyX| g%XpZAHmNfa s h dcf*&P1ފkvm߈BWP`̳59=E͑Ql6 R#U ]!_cD.;4Zֹh(*AXuz}^eOi1znP+v<^ŀ٦mW| #oh6_S] ִ1okjA.:‡s>![џ"t!p}1_d+|cqQ%Z\ad,86pwLXmzdV?|=g0&b@R.d Ҁ_c3:?A 6[L+9[nE'ߗ/6b4HcoL֎$Wl\|#Ү߮rZ/kAZj55U6FT '&9)y ap͂RtYBe`D\tҁ@6^LΪz&m̝mYgzS=$J b(yN< f2uUGMS(4;، G 2Aw:MH(<w" WtrUX_HR%gњbGl-o/%I Ԡrlr duq\2^ڷ=j2ɎĨB>dP;}]Zw2%z+M> \X_A{sYr0ĘC-|/G'S1 =\{R}%>\?lF䚛s =;QҬL뢝E;SOhzۤ, VF4z2B!bҀ6?G WE6wJ9%sO.R^v))ӕί?I pY?KBMdT=6J=t._16x8 r"۷DU &1!D̈erov* _il)Ǽ6p 'b*4GP|Rc`6;YC\^! AH J8T-D iܫh ~t'^ÑLAG9:(jJ-@vUqlr fg0H$X*F$,k t{RJl?,;LIB$AÍ+6y"Ѥ`4% ts@*U\/h,S0]?H GK)˖>= #^}ȋhUt -4 MгPwOJtnU .ċfsGRhEAn 8TڰbcXR g@{fi,}8u5^[OUcaofbEoݛA},P|Kũ^%9̚Aɨ&7m⋻;`eZ߂RuJQ/D4?_`،{Bejڐlj%u<3.E~c4N>;́Jeq=9 OFBCvY4߅.ܓ-RM2JdDR6LO*$mM^150gF&Fa@"<~֋^=  kFj\T]<v'@p/t`&'{,u@\m9~`^N9?-hےV(~1.⃘Pb닠h m2t$Q{YB.llDCX_+*zCݐzSgYZaqE}['}8 e@a58Q%f*@&ldUQpwi)bL;3g8VSM\&&꣄LHZc4ͺoh d .Y;uQ.Y`\v8y J08P]O_rpq Oy'G3B3{s icPx 06tmT˂ It P̌1ÓӯPit"3SQ nd,DUr8cV{܁U9x?IkO(qfRa4j*S о8UۻkPy=}̠xV<=GDīS.WC Ehlhɼຐŕg$Z֓Uŭ^E~ٮ˦ ¹ʪݒJiL]|yȀOQ$92yX'™ޛxJw U=҅e*`LM&^>x\@1?NG9.L4 e|.nu/xLd7c1VHGR'2rPo1M8L蒧Dv)G)R 6So'rUds(aa' !jÐԫMU^ZJ0Y#] #V˽ c>`Y.⍜D([4e+^roLn|k~6rd-%߬%sdˏ@K%:z:_ݓeo@? T׃!nqhbLLz{0:ߞ>MXQWtZZY*<Uy:Z+s)#ҕ)KXM }$?8fĊy Q;s+| \wSCz)pm4w>DG\ߴ0|`2'~{^msᐼ A;A ւhwq݉鐳/t@뇥Ps_g F+ E9 ?# mr#9@Goj,׆7(\ugP5I/C>ǵO?xIfb!FJCb?R[_kKZtHj~*fJ rWmo!+J"_M"z[ P串3ZO푓Ez_G )^BOqU < s4sݚYOf`Gd߫DU^KmhUELNFWOy(%2[aPp%P^a5~;?ڧ6vbnW ^5|\ eGƦ`fBڔ8Dn >A7[|tvf8EB&:[caW'r:>&'%f[CIt>`DgJgȗZL&0ޱ#n7:ƶ{Uߛq,ES"ǛW{nfr_$":_NXoX~/ H.i )_2YPzF^l!80^j8./PI?_A\ }*耊x]X @U}ЎEi -&`,;ۣb50A/x N̡i%%z 7LvjJ9ٺx6e,A6,b ̳vs^S?)K8ܸ^C-gT{懁SL>$MwkIw9Z@ℳXi}["'K#m!^0 gBT!ߔe'ܷXu z"}/ΟTNvvF#w /}8qΙw7;F;"2ΑWS?+g@yWdjnr|ң=;.ojhx jG[f5+?چtmkeQRF = ?X#s96 1&ּjO'Oq\sךόJ`-u4ݳ<q^lj\#`@γ By$M q򿫅%ggz^^a{|x8_ ӍtyBY-!U9ՅsiF?@ sc9[_G^]uvK\IVvMl}= sIRV7:<{d 㿝>Eў$t502~5}[p ̨!CmIGi,'7kN4 :DmW07 ܟ[$\,4rGPs6=,7F+QlľG&Sb38U330s˿JQvzop =VDI6VJc`V}2"5 Nw$*Sqd2F(5H/ĒVs;6 /T׎>!Y|!>c nG^8QUOt>DX!p+OxTem@tp]!`Sޢ8x¤B;fC hhۚictCUkd4:))dP~t8p% P~pq2K1ruaBQ LeG1UV0x9B"2jΕL06Xsf"3r=oh;;oL^7ӷZ;*y9ҷ8@` @>֑h }#(ɢΖ?0E\ lhIF^wPP3~=*`S)g1w !wTWhƿCT2^(@!t_$($}:a?Da&=G"5Hy 6 ,V O@\fy \6>zclE<V>!7 t&H 9ZwC}MDF%N(' \?3()--:pO镫A8-\ VZPpΣ"|% >2i(4gV:n7 j !/}-b IG5fVeNL3ji*&L5- = DؗO՟{,!6J2rY_iQfKRO>ǣl^BJpMMҋXEUÎ]0CОKwy10J%L'k26ϒkTW{~ >pVX&{ ͘^TX~xc<S RTX_MnBǿ{}y}pB24$J;;9'2pkGYʭ5vٰ.ݍ,L aݚyù2YSֆd>.yC7[v\'Jf)ɽKmf rֺέ2(4)fü*5.ũ, ggnvh,Oy/w@bˏ] Oں㱔+l ;~岰o>S/޼Lhcw.YIQQߏbF')L9dax%"jC[@;P3~N}\vhP3{ruP'{\8@20o'-ޙz0@$16 J"HNXk~iU8"D>=Wx?C]̧yH]7'ʛU[DE#8Tn6xuJ_+rDwx\ }GXM@+T`U*$y #^I]>(NZ6 2N_F7PkuV&Dɟw&F9ϲPr㳫DT@ai@vE[J!6~_Kyxwv@@rfOBuc3uAl;C̳4*J jօVB"h**wD#eyoIn H[a4)HbKL ·9XCpD =iBX"DN?i>D'!i\m٪ճt 1/`y*M ^'8Y0c=|y[) ̞^#浔YRUbҿ額-]4J0}vY}u/$c8`˪|3H YϵQ^aW`ubs-ɽ DcHL6' ~&␳t)baxD!;`yN AJ&6nWoP$C.Äo+VM٫Rö8<_(>臠.fꧺ?$az/WZdr $7!,CRUܝp2:Il\>Ca .ԘgEsӮz1CCBUXP|=7~-+XgtXNʬj'1x$SebSopy X8@ {%{cPE*㽚 _lWNrFs4)b@5J.1z.5;`e2*U.%QAr95cj??b0b;Eﻏ^xd9OhLbGZy] (݉wEy <6a>;[VOb#KuHDLv8>q +(X=-[zs˜Re8.6Fip$|qTU!`dLrs5ۨz(nVR2vy[0Z*(GtnY0ܯFFvJ(@W%9d0Bm6'\ dϢϚ387CH]1h+ARqe4?Jnq4_z'gIBpP1;NNys{x*<}coZkB٫YIn@g-p>w Af1@7ڋ|]]g9bwV'g(]%q MyQ|[K? K&0Dh@L%34#g2tE?NT)Lɢv&*@cOaNX8hP(4~=~ h A1tDH}]co}I`8 +{o;?f%@tNY9<y9P19 3=,a$B#QfՑň)ez (ɔR/uRCDk!@ٓww`)DqIRZRe,3Zk6\KiCa(1+ͼs#.GZ%DS TX~M̛p ?Hp妷o_W? O?B>Z)^/#hRj 'x@:9)}e`Bk|=4ոysb_2c$ FdZqRֱ߯TxU6L;3ȇ>wBGg5k9̏$ʔſd'.(]\' nWg\0Aց $;~`+s _Ѥbɴp;B2~~wpᑢ`x:msTTC^FTGg/q‚ SDNq*QÑ_Oz-7@U 7zYhɁ.VUKA{bޝ~Ru8K$!g9}Yg|[d 0tyb0:9!e6$SuRlbxѺY,LcE >|-$+5KkƉ"n" =;E"e"A&ur}ֶU]o>/m$ҭ͑j:_8a:{G[Q[?8ߩ68Zw,1Ɂ25NP~VrΎN,"a8 Wp$aH5<X\K'% nŨ)`{yE0ɦ~JaJhy{iz2f1Q-)A7Pjt]:ƫw1vrnhA}݆(wahy4W1W]!}.0/t$tzܸNʾՓ.!f n^vt\iEN &𧑭.FSښx|ϬskBRG [MRtmTjU66k7]`J]hn^  pd- _}hC=ӻ ;M,$::;h g$s_T<7qLZ~_s7cF@BSq L(Q*e|'M8ru\%l^NjhQGr&XḛFh!ڑL&QMjc ى)1qܹHm(?oe ^jţFAwWhpx':X+zbe䀹(xSDJmڵCVdQ1kuސ%@+{&.EЪkb%u1!IRNׄb %Bҏ:F؄}Mvw7\(آOeӡI2Z>"eْ~yvM} ]RHg" &?U.vUP/i-0[CN1`) [.+! м$r`n5@:=x ~{FPL^fJAwyF ,;ΦJ&S_ K vq .E3.WڦbX~JZ^; y?>pioa'auȫMS$*;@LZ8ϾN?*QHRF3Qf_ghDe njlVKSCCIX s46U{g?;vW5mg E<7")K.$lBfb:e\ns8h3m(h YL+io 6H!wAh3+Fh|$;Lѽjc@:xCU$|ږ:GQ +q Tm70fTgO͉s".; 43&$$!oI,sszC뷼w˴—,>p.բI.$1䟡;ݞeK\JPAtnҝ(6ݸ䭛JЛ1a+$Kh} 0X,M a5ЈXZv,/zFhu19I yGt3'%Kd 9lzuoDث ܉-K56ɧ ?]ɎmzqǁN4nٽ ѳ¦ $ƸV^ @9~4F 0DAԝQ ( QYjr$䤊MSG׹R%[&  og{׼*}BaPJmttZ'}%mu9$x/2P5FW`} 뢽l@w>mǙtMˬF R{\F6 Z}{Sny"\|>0 1c0^3@>ub!D SjNs6 j1!uyix b0n9!fHyi)wR?]K~?%sMᰁ@^[y^X j@`23)5H )o_^H16 zsJ.-4q~a)7R=KUE?:\2Mc_G/oig 0.*Mp-Յ1o^w/ ʻOߓkaS\D?\@&۠m8Y뜑45*Нl琯BȍRv:Ob1Z[%oR 3b;=f™Bp$DI[:3MtK.'-:OO3m'[uͼo_cnhZN$ ɛDŽh~dNLhZV 7i,x ӣBnPJ\gTZSo2EBt`sTU!2Wb]+-Lּ AP [:ζ>(DFZ/RչEHW eA|}ϯ}A3kAʊ!-$ppfƆMM(Is/G[wZE˅$;G /F:+h; 5oDLFjbjČuMFH.־dPn*@]}.;|&e{k3QY;Is\\#yE__c/͖, }Q(o+&7pWv%@K9m淰qjnɌcO1ZSO]典E^,H!]Uv8x@CקYv, !>`F3Pbw`w6wΉOxk6-sJ69+17*.8$#?"_,C%su`ULnI*,C CQ0!@իY\ Y#ݩ04#ןB/НA%&^jW3K(vkKW"ӠO7C2-VQxFl"K6g>D{b`D5HAQpc쉕u\ÊGFK5@V&ƅ#;gh\@;]n[bB'v*GBUi8J:L lY;qК#N}誠o77M/>NA3%?x%|pC=բ#"N~k& #5`s]GpU6G,S1`A= 4\8 662͇銹8o%yײ?!֊ʹkɎחP:  ҋ~7^9+s%D(pH)Po2u(P\ٙ!˜[ގыG'NTƯpvOPY28=fu μ]®5A,6ύ3y o?iQ_,XRQP_[cت֥bY@(߄Q[Wcs{ɗ\}t-ֵDx`8Kpi;]ƴvgqyTSbOWiB@_j(bBq}g]Sm~ V@_CWw(;zP~ jQTM>}=?nv,2wDklyQ1r0xW8i٧61Bǘ~$gYZ Y ~Yn O% lDerivingNative_Word.Code_Target_Word_Basedocument.tex7zXZִF! ᜹$]A-MՋhvG"uIBm5T6Y)AEŘmUٛiU&rq)-x Y` 0=a,yVտTH:fwO۟,r=ayَ̔`\^bŻ(i:_OHҪ R!z `` 7P?H.mzEߟ&^p=}ȷ DOQpg Xu"F!5DTH|;C@wCž$)QJ`."F{I\Ys 3642CϷ%gCiY3دE%8Gb̟Cؗ׈J劑]{ވSܹܨA*qz'94#6۠yI=ZJCC8͵@Ddx|vzT=1ҝ0ӡXLGUcGDpJ1+zBFKI\`g)&L+cMz4)pAR 5x4Qb;;k` Kcf~Ҭ b%0}{4?NEA ,_8毛-+F-T3Qh\_V_1r9+̍z]H-X*ͬ7l7r'^]Ǿ3Џu9ϘZ.&'2\8i,{D =~p="Ud=w85F|6U@_0-duA\𪂆![tk%_.qM` "V .ѫ5_]>rADwLֹZ2mBTkٯ;k#kC9ȘlCJnx/\퇪ভaguh-ϙ~P$y@ҨN X]=#I 6v#!\}WɭmTUyGCz?P8t7Nm^S#U8wLF8jr'N҃c?IyFTx9rR* mDnT~-mBb]̫lw;F˃AͶ;S.BN 4WM6 Ҫ9ө 0 nt]2 ls ],~JypD\>vo*juI8UtfnVD@aZ20jua)B\_V]gJR3wO%1zT\^f?(@Yֵ!ne_q՚'qOk٭1<5==z\ ˾OJk4s/~LZT2 䤄6' Z@؅S[C.Yg噾 }(c;,Mc[.ZLLsqIu.J|fh pQ#ۭJ]^̛J[[J6K Yג!6jՐAT@Vpr|ؙ'#k,@"@̎(i:}d>Wu) c>%lrx|/Ed$;_czA4fSu+y:?0 aVv /% DerivingHOL-Word.Bits_Intdocument.tex7zXZִF! CIR]A-MՋhvG"uIBm5F賗 Xuq0~2Ŀ=nԨ1oD-$"^w4mS^X?Sn=•Ed591=q|>9?*ks<܎xOj&WHM<=vaKebVڠcpso$fc*PnXy6%haH"40?/B2;q"6LZ5QTݙs K GЌ NVOMXEk=W }&\'0d#KΎ@(-/7Rd"^Jܸٓ.65p1uC!\CbC6K'8q0<^R%Ke(a $=_]z'-46B<ϯb^ Kh" 4g*KS2ѱ-Y JJ[}z;qKf5mٺ>YVBaEKs"M =% g: B)H6~'VKwyR-en2%b8{sJe`1^Fq*[⨹;oxMo &qf׺>VHR7烡O8 d|bF^ۢJY^7ĸD@j6,ݶ,"C Y ~2sx8]i"X|>"z*FY^٠ C659MO }{ig4mT^lLZْ܌ŮE{=#LGRyavG4hBwicr9cVe?Ġ:At3 -XeA)A4_]%*1~{?բc1q@++r"CI;X[1(j9 (518Fi;ľ[ ,z,9ĕ7#2%cGl~ixφn8p>*Kʂ /-țBlE׊,`K he^(Sdx Vī]9,fvCx[gI!B~KUP~8T|yNfdh 2Z]Xedua=pTAlmg_H5/C3_x&SjS|?TQbMG/VP&':P?9uSOLW' U,fls+HvDfy E "N>WSUR>*FI8ʝ O+(HEPjf%]{휬֢~&ZӄviwK h{kFs λX'cd(zvY!ن_/Uqs!@v(G?F) ޔ_="sy#ΌTUJN˳0<?cQîvr $S8؛)> ZKq(e$|FA87ǸJbv)bZr96M3GԘtJt[@q3C̆L@EQ1G5e/"ORҵ+ԗ0٠m[kلg7ҩ}^1S&+*>UDŽa"ĵmk _pJb2><}%ԝq,ҡ86GkGCLhSj M1 n[/)"[VGJF65f[kxDUgW׀ 5 LoԙCQ/e4;!iEpxD7j!N%5&zygqKaILT\khJXE ۼywM*vJ/k.~UK𡛜#tBIJ)טQ6M )ZV7I>ånNɷc#y ,?Pea0Y6PêX&S]>7ThMVW7| =adK=$HR3^]* y41) pkT'UlMD  fukߊa mi;^WDa;%0wO= Y4-k+ 3;9-͈ʧ׳ vp)P:l+}_-Rm!I@¤|CvocHuizݞ҉YM{/>/ns4lT5n ./+@?1,f ƂwfX =L.A0M\M5gT'W&JWXB O}uX93Q}|a%9TcHWkkӤeL*s_ѱw^2wlƣ,sr\#H͐楨"rHCsKQWe4DUbyMANJ[(jFXZ<0`Or.&%tefG+wn8oj67~{z'41iFl5V /;h@x'0wA|jmDX nIGavfˈ\:KiYPps.yNo>G YϩX]W0r[b?WΙk~^!:JuT[ PyI`2 JHh_܉fg}n?Ꞝ2 ]V KGE>~ *%\mp]SO2zRU*szg&}|2Sh LpU67a\7bw*S\RBw g;0]_aCnT5$mֲ@QOXahUࢼGjͲ2*mz5%{Ö Ie @f Ԁ v02|MS/r5GHF'vn!#ԮSC3 ĺ4=ބpT"?#Bc/FC`)DܛFE6g/\8(AXϙ8&az<9V@k*C&d]! /_T0A>yn5QgLE:Xg.Ւ^h!:¡^DpǭԿ 6㎝Z=wFs"SxYs[(olMD{oI]CiSm;H*[W %cG̬T ē'⍗̿pec-jZ nq׏g#MX/-q Wtt[g]SajКS@Sm(MAϫ5$u24c}+`2սf 4gK>ۘr9=q Y,RN%AY's;+ɉ](a*PSwq !厶CiVm];d`M|0>s-%+L݃+X7l0XyJfz!2\P^*V $nzOEhI>jD)t:IfCh+^ ] {CҬ 1!x4WBEw9~YcYA36ߍnU_v 2RAB4!1J$`~nhK؁zaiB8\[; ot/%WɆ$L+颫r9kSIB-yQ WʈSug4|an F.I2 c {+ =1Y-M_Y#5>K~xkNp0zlkjQ'iva VıH>&\!~~am[`  efʔ47)3*(Ney6.O"6O%  0XhFj{6iqqq]cK?lٝC JI>CRD62WElH'uNj<5,"70Yo)Ń8P=ӴVOGM7=f+0ܐ")':se̶vOYyZ(\Q%/C73VnRA7KLzňpAƞ=WS4OvN'w,!tEw( 3=v׬lw>Ygo%~TZڥInғ?tX fw٩a0?uDo'0@\FN>wլy]$$:zDJval Yj^aCV*Ѵ'9{(B 4X |e{=IKMg:qz%7Lm|N<逩 /6q .č%^qe2i2NN'_5Z`#Ը4g5Ib R (YYlpK>jwi!jRSvA[NC@lwuA:QLFzLw2]y|Tz>/' dBӎ&ΖNЇ{LmIvPQy6pcȫ {($rhq?d,7"qS;1 TU[Whb k&޻?1Z{=7?]Λ]P:Ұ/,LŽi<2˞k|y(tЩ94moX^Wl |x=xt >`cMq H/[L ' KF)iFh`3 )8hFr:R#|;6=eB๫92^Mo\S`4~zm]e*X*V.lYcXB|COrQ[OE}KvoBC7p0 ]HpÖ@!ۇ5r  RRprK;nk%˨&nqL1Do;?ЦEӋ<D4e@Hs5>K]f?.,cM[x0U kgoTڕPJBpc$hv+`"CgE2.&{ *Cu$y3fx86eOؚx9Q_$w~[o0R(4/z򘨧~C+;҈ ifQT Jsk" bb*I\s\t܅hߑR)n q!Flp7 6*c4UT;'WdD@͍<e>G\m P\ 8i[䈝}9CQcY0Q}8HFOihq(mY3`m>5 ^ ]DsCmg4C.dLܘMGc11|^s|޽wy|\|ƀfFR9;5PǝwܐօɤB>6 ;a̹bzra" ! [ư^M,'Tڱ +3zwiJ&]q! ^]e{zf_W;hƖ}Ɯ; (Ȕf6XCckfSt!cD$-gV b;/ȄV8W7C9 +2{=dl>,f ]8/ݹ"x;4'T/4r톡e_\+vwo1߆G2efYx OV8u%..ޛh}u(tcyܙr bFpjlaDzE,~j3k§Vy'ؠmB4̹|eL!GFG9p)k'\ɦl&56tm7J`Hys=ƫ Z <Kdz]_E>gՍ^r,@Bzf:Ձ:_8q# J%f|F -:?+aU*$YiC!op{IX5WQ ߃mȪ1 wx﮻˹7l`giI7zŚG.iP+46Bg=ԻΣH\CO&\3Ċ$RX'4\?˧؜ߋ0 ^ۙ.D ӌՆ1m! tl!5 {aZU9bb eQSuٜrNmp<4!_KZtfbrʄz&6bTH,+7~6jfdDV92ʄ]Z=VCHo+O7kfI<뾩u9sm0Ah\ PexT>u(i[Z}8,1Ż#LOZ!3Oa@;64|֣HZTWԇQӵ˾<ޟZc-arjĢi5fQSKzlΆ>íN-w(7b&JK׵ ? mI %_myM6T0c0$E\GU?^ ^70DG/42\bl4m칶o?,56#RQݫDe,RӸ=^: oɆ8gdR rCWR<3+JxT%<p2IqZ]dLsEo} ~u>?_ɸ5)W;"̒lRrrޮO A 1lnIt^ %N"CowU(,˵rϔ.RVgGne߲?Th).4G,YP@M|d#[[X/ X4DYS S6_%[:8PHrJ@~Lg oD '-ͷ^{$ToB[;[Hix}/vd($Wlc*EɇWp_i>κuf`|; B " (5":* mR#jr&tpf{%ai&΋5aOB#k,J xk iava$iNhRf߁tU$  TL}w=nUHrU^,7 {*6\mr(l^I鑾Y /wE,ZEx㛷heٿu\o2fV/*EDj'Y)yce!2~a^zkNcwqƒ_N  XJ,HplXT%l0,UK8/5@ێV흘!iY$D:,#z,go+y e-mdAo#/Xi3#a%FKCkcŝ}Ѡke@23˱o a< fѡb΅:R$،m['4^9.ߞ5DP_݂BxXKbw`cռryqU#T1-QP$I 9\hpMo)(1Հ!q^2ߑ+Ћ&j=WHe8tmο.MGCV{_k?ypп u-TYGXx\TȚ]P_ؗC+`xbf8p7st̯v+$+SaD;c\/G8S!T{ckeea%ZkL96` uR5!?B("mZፃ dIa&vȟBx6bVhQS#?$N \DoD:-b\ V0| Q9X L'ZYli8\Bm #id z}}+Z8Hiy(x~-eXKFՀFJ0|!S@H%ofvwЛ mXM+ <^V?5B7 2=&utَ;V\ &rXöߏmڊkYC68DZf!.۠y i&pr=f"dzpҐǁZi*-8͝ie1籆AFgiU7g^ُ[ J.f٘eLpB1ryl6,![]ͧJ,6n-*(X.ݥ2r ubAYs$-+X|03'.Io{:>KQNu ̪5=Lۑ]"  ,Q_?,ⷢ:D]SӟS,?( {Bݪ%lɎXT/,/aʹ637iЊw:{`stio ER qt I;?bUH)ƺ5Δy-$w4+o+GkV;d-$ L%b>indz` 4_?90pvOpJ@5x#Tѳ},-|o؄:hHNvʛU3B}& " H˕)[i9hVF#fB< g;# hI? 9<@g($Ntfqgm r$~"aq>kOP*جOiZ7f훕!f΃^PiIg\Αb Qb#D%5?X^m63VA0J{:ӕ8zk"uΤ~*-agRӾ=Ed~snã 2-ZePi\~>Q%Ȇ&3p*mIB,JqĻz#"z^,: ~J"{b9锨_2<5|fi oewC{,(R:Xw!SG,'u0_b7{bd$~vPP{ǖv> ߣ7BX5zhqIzG,#Lq Z.*0Jjkl2);-7%'~&S_ BѬp}MZO :-bpkDG0&e#$FRg;^~1adtѲC~9%3*3>̛Ork͢@DC*W0?*^x"9:;׫UeSKK-Ҍ~LA OߌRI߶F}#{Ɂy12<#z¬Ln}DvHr[iO6G4,):`mpgX3X& $PAX0vxBhX=JҰP,%l1YU .1|!=~ /ILe,ТEc8u"ZնRTRʅɣ-ڃ m˰ |IsP9k㔙DZM6֖Kmi Jm ׆vzPQ!:ah͠5$AyOqQINnT]ngr_~(־|3mW Vh-Cÿ@v8ǁÔJ3zH(,s(7.5X=,UzUŧԲk?ҵDfKp xAIL\+]߄:]L?43GpFx<-n#^?:zu$^k 6$-H<{%ڒ4@@SX^_8}䯹}Ǯ)M& tpC NuPXQ%dB*xMS/o^ݚ_sE2}a1W:?T$ࠆh0arI., tCһs'N $P5\)CHTZA4gk&R<.z䝙XSl;|JLEm C*CoP9b&b/ZlO6Rna<ƥl2w BXy1Wӧ@ϐ̌D3 )rDb8 |0k,Vb_jG9{^gV1V@j d5|C1Ry/ Zhd?b+ 8ٗ3R7$HnxD{TJfB21=Uz6&Dʘ]a˼vFY3r X:+=X1JA.vBa_fjg DWw4{k+L~|/EG_)óhڰ;t0ẹx'ϻ\Iw5S;])$7$@PB`kTKP>Doe %"wXE=<{V Jdb1Aj#`+.g-louIjh' .cGbWl&vp"腏=Βf:3e J>/Vd_G/i3Cۡfa;տ{u)(rmWO4m~LF8d31˸4)+*Bh.P@-~deCYXg!*߽:52n3LŸDB+@Ɏ1fFz=K5BVYB,'>n+<^Ώt^(ɹoiUv2Q йȟs^\D̕dQѢo! 5̭ڀ# Z#b&X .%>_-잻8;mxBq‘u WD'DPǐhi+i, N)BBxlh$un@ B-΅bj.ںXݬcrݶ]wB,BY |.<$Olhߋu,a=.<& w7p3'j"|苨|v #$V1 hb ucŧ ')6gwSݱpd<`4l.qϘXWs8@2_!)~7EhtOHE{f-'als^`{kZN_3k1Nlo ]bK/+jJM=|a QrQB&8]88<!K0?'\6%ۡ?jɡ$unT jP>) `_" E\ _flwuì&݋U^Gȿ hdJ0C3_/=0-ţsr쥥d[ 6izsu%lwыx>;WJb ~էAΈePd2SRE]Etq1g&E>u_LL]/B 4G$"MgҐ 0q _$:!YjY""Jv6{ONw3BԦcԭ|M%gR: ۖ:o#qb~lt3WvAxp1OOzSf;Qy[NM7M<̥cvهe7cϚX | lմ&E?qLKH A6IVLv~E%<8kDT3D!t utΥS'i`KJBU 9. :*H5"AWK ~6=?roOr&RϕЊWɐ=j BZqO54DVՏV~VuĜ,Ozp]=9ȁpLڐna QA]*4rL:q2-%#bVS9$ ARQT-p 0%(J\f2{4b;n͟; ;`hp$+0?p2h ¹fl7S+V h.!]ȆSi$CKF{jQlȑ[ڮr7Cs >S*ngha(P:)# SD7}mhvhJ`7f |r-`m2C`]~u-??k̵N v|u04ЫD'j*%LChLNvQ.A[ 1_ CqyquTzrQgE>o{i/Cx X:@Tfo3ū[ʸE:.F$Yj mP}LBmX&HbȈH1e-V(#̖bcvsz& JJz ,bbz^.B$ikꕉ%o߾Nz3~oǥ7uUA *q'"ރ5UxfJJ.4!.b{޾."tG+eU)"Nb? [/g,ӌhN}O#7_2=x}~:cRSfQBRV'jm\kA9hqs4_[@]b?89%_)2v;%zG, oKQڄ4&P,#FTP`I&2{KZw/!Ҋ @H)8F^HD 3DQodqġ%M;{s@)˟`3J28.b3Qxe+nwBE"8({6 2&'90탧O:}rp6=ž<2YQ™Z{P[g -dE#f"ag!=?[`gsqBH4^HlI\QB4H:SxQ K|2x)xIlܡm}Z뼖}gd.ˮO~(48i;7_&@Z `bnIMGf9.ܳ sW~*%jBeu}̖1YU:/)4w(ˮmq;&+6ʰduUЁOv}UwǍvJV?u60}(t `>ЇcVobs{6jH 𿊴$*x<:9 !́"]v/Tzl㪭J/XS#U֯'@\1hX.%^UqU^A+Qs9%Z{d똻h\t9 s_Qdr_,Ąk +Q.0 1ւN-i}ыJԛ v.yl*QR>P k %I7lf+q$Md&=A8#tê6HF35?r˃MOu}I8n7уFlEԃTgEz"a+i[fS+16XEp]yE|JNX`: *ѵfNciP#^WZ1&Uޤ&SQI:$6"#q ~NiT|HK&hOU'֐ {]YK]8z+quH^7! t´O9'!gVcKDآ?]d4rn+'`DL ,!}ߩRNRc(]mͷG>r®s|c0;](i- g?s6 4Vȹ[Q@7F@Vάnd팒) v9߿ ku`kΉ1WQv~[s(Ρ]k1=ޓm0D7۽&{ h&2i.cG 9*qfɣͧu܂LUo犑Nb:0Ha_QH|WQMIo4mO>Oi?s; 0W[h0ߦ':M٩aܬM bSB)#t\ Ju>)Dٍ)r>51n8Abχ}l*s.Vi* N0Da#^8b dek1o"g [e3e" F=r#\"/' f5ĕ̢P#V{j*U7fj3蟹/mQOٍ2w0puz8٩ aY^;baml$dF ߳.vtuKEĕ20Pb.$Nuj=RY5eO,yFΑʳY-k4#j<:i]62p+D q8?44t'gu~xc;Pq{VUCub~TxEZHNmtD. .N9wd"h7F6MH8 !)얖= %sV$PkvZ&#B ݭAV#9w-bVOCm!OWkBIKn]@?PQ&!S2>> o'|_RވO`ޛ}ȀJ.`H%:vO 9m)F%_b.̶>ąx$ip,xkɠPp%bQwr>v ؉"4N 9:ƆzhHg^!Vծ&=;Aa#[-Bw`B: 9vi ɋ~PYռ>wʆ6gYZ"GA#A(9uGxCm/3v>n4Z7SNf|^f =D)EjmwEr?& 2?WZt+v# ,T+62t2L}XsEp.ZILY23m-Cq>rf<]b&nls~mp̢ᔪ`|#~'Q]7F=ܫPmv' YL;ϢrhP翑 v3~4"b%sw> ";Er zmcH˥>i8J5-Dg1;`ӽx 7iH>ں^k+Ngat dﭹޡMmfޱ/שRzPC'avV 'Kl(_YnYNө`6k3PR6׬bT |sVHL *goskRE$~^-o'o"*cMN}Ki +vmFUEiCl>߁1ŌпҘVYH.{l3oaj6aьiC9ves vhJd:=$2 %ޑP΁M[;؇RRuml4UvqহiHO<)b0xS/sc'z5Sen}!t;uFkD^2Q{\J5uc7xpkq艥("ZK(P @?w/0ڟQ9Uf,zV2b![).Ѝ\>YS/eY+3Xr^|D;ReO *vaq^];h$W j¶.V J5)mE߿4tiL;H/xm$L{[[}aco^ODV0PN_ޞk7USU6Vnk>uA1(]jpI^A&ɂѿ 뜸( I4m sO!#QT'֪tw Γ?0E­QCCi$ &'._sub<6: wq-3@1*q9Ngx9 T-邵 <0)(miS{W8C>(Ԣ|IFIҚm H[l+jѹg!Z[>ҙߥE} 4 ,[5_z5FjQj'StL#,Lf3sO7){5d-6g¦ftzTIR) EZwl`r IM֖27qeEQײG_Y PmHCg4gGv`[ 3d4(`!VCqWbѶ!c %5E2Du,_MSDMfZ|$8]0 \tҢ|a14JodLzϮ3LQMw6:2D|&.l|ֺ Y]t%hԽ63ye~%k9 ejO隬jnaJK/7K|pav,UTLp՟݅t3 Asbґh+sT!evP_.wѯ*Sȟ KnK.ĻQu/ֹtR;19#䥤_rwc _$<*)9d_ Ha %~g1ꢯfRFz[i^ϻb;Tdϯ7aڕ߇t%;>h AԷ A2, -MR!(NS[b <[aw8.|6 M &Y-uItgxRRm2hNXv49`{$0FY]F:Bam?)]453=:d6R38g%w҄d.|C;!Ըf֞=6iKOp2W)a BgcQ9odOx+8*DRT@ܢ剡"zZ57ZSh'#FPu@o#=l Hi3ːSXb84W`9+; g T EQ)csAO^:pF\O]}cf-d'ȧ_Y8%s|zL|XgW:DXޞJ1Cɸ)>4`-0Y&RsԱgYZ}xwr@(/;UQ8N?Ȉ\>M]AN]=[AXS.'r0ъ;b{,pTwЭ[KeH6^q™Vl< g~eK﯁5BU};3?\H3微ә"%uþn/̣e*{WP<ѤcZb'bX~.?Ȋ*8 )ɧzOT^r㿽u7Pݜ-O5Z7p[Io + % :6H&~z"^sI2i[Cu쟪+ڷ2Pe.3Ƥh@W"4,}T)yx@}%) h/jR}E:;YNT=ς=eW,&Eދ dYT.e` +MI?-E\j>SZ xszwms,d0ˎ!]bxZ%a(l&|ɛ4iC!`>6{d+][y@md%0tvv 9bSz\Z=S,߱60')ՕBɅw>Zme8emZV(GF8 J-;> x01ypqc^9`|<^ V7[= qbtyY%SE̹j-䋦lSך=wk3t5v`p6i蔧acC:AIT̗2m0iG:+e6(>ET7/ꑚ @#RҪXтñ2 q%IaX8\H!x`Y'bi}d`&L{BRCX 蹖rw8~T"E›`l2\[;t(큼 g=\\Fn չP%7?WCNvTfҗMc,YVgy{ olp$ X/ϟ*S->Q́ͷh\U4U{N=e"fy&쐷H98jH&;="fjq'k#fI\f=RI֞ q5=6a'$JBE`HTnxأxy{}0;$>w[3K dV>r´?KK@,'hT텳A[ɘHh n=ڬ/FCv&S[}uG4QM9fEd>yzcyR;~to`u)~Sf˹׷WݛE`T~ߥD> yɱ0vUsMljSҴv?H3ov´A]*u)(9)H;d]}q'GʄwE:{(K.6Ϯ+:Cplr(V:o\DH)cG_d&Tjdz 䲉4[Uf#{$px.V^("yKm.AgXQcE<הcj6toA XEl@/-E_&+ X̦k%$0[`v 2F jaFl;C /CֳI%oZ3fRS%-F ͎cŖ ȣG #a91 ke/؄>,?qO<+x]w k~'fxR(d n|; }09iC` MbYR*_կo4XÒQM. VA{eB3*򠪃y\I8XA%gl}CDNDZ gE o\ߎq^艆1 F!.NMZo> H0䣊 + =2H5aaoPQoJ$NEN}1R:q#P.<\[ !BT]͏S6"GEPu-xa$#k=-vm \i_+5_ƊaEhۈ0'%x?Aq~1HBv+2g78\CU+peYC]*5#VCU5JcЖrWn^/p ӡYnQ* kf;l=/'#R>Ԗ0eԥ h[aQ•-\7s>fPEd긏, {AEs!k~j(4w4Kʲ{ nO'dk|ֻM)7am[`x-6Y D3f R{m]gʳZ:d|osNS9Lb_^6 eTT0wn zPinWz[2VK3jX LE$Sj ~4o9>,VnxIM4Q,NuuoW! =[.= tGl7 xG-d{+ƢnFD^la[W$n|D:C,iS QJ8۟!f>Ț;]Rw$V+$9CVYIs#CACx IᆩcS#Jk~g+7biyֶ Ǫ023xVE.]> ԡgvvh5 @=eb牡naBR`#W~pp5s J]%L1p wj׎e`'mss6DJ#h㚉Ř.zx9G6A"gi82 w4,dzMw@aD)ۅ>Du7(BlCBHHF u0@ǠIӁwo`7 4%erJ>KǶwzqq1Iv\WEGn09O+wHa/Zs_L km`RIcPzmM>Paz]hz>_W۫L&<`/x["f|cWq@BdVpV3xM- mٚy} b1"C<ˑi#Q$7:B0;&gl|(wԛx?"a1j:bLkŦ BmJKK97,Zܵ^nKOtPۇl UT?$$_| _cu^ 2$l꒚QW&^۷oyozUtNEN+ǻU@+ 7&)qxɊ8>Wz \,-Ro1x,_:WQ|e*{({X[xA6d&W#ˋYfWoey(el0ASN-oh@(rfp5;kK 2%z6iZyX_tLGtJ=i+BlÓ})±"ሚ*+\77*Um8aj0ŊE bxC<wp+VIt~L?L!N&g;0IM&֤9L.s= C~UIHz KG  ܶ) 1yW^,"qidK]%D@cIi-V`JGNېz$_R_݉yG L<$i[)('XSY tȍ>)n$[EA,a5!a Dݪ}m:Cu~o)~\5]_Qw?ZŃƦ qQ̖ n" cmqNl$>ҦyϨJj\LAc3v<~)xi멕; cь5U'"Vœ/d4X=#fxri4/z!HhQF.=rz,ʉq˚$3!Qy{83-͌ќzM}K_ 9SNPbPm['z^ Hz 2DUNYZ .Ί}ٗuЛ,YwkAݏ;$ŕ4?H6rda Fs>^etok%;sz&)5T K"A6,KLIxdnw$A?aSaVu>LF{ h`~#c4wO~uĵzkҲK<~ν516raڨ; >(a z5RaS RqC>:(iP=vY$d'7^6BIv T|9ew7|p  6Ɖ~lf">ޮhnj奚l^ApAi(MLmZ7-L-.Vjֱ-Xʳ`u0 G2 jc $oDBiOx*a`ųtUN ==e9izO:y,U e jatk?f9퓶D;s4$~ _tj0McA0͍:mL7HxyU@1Bprw\ZF~et6X p448h my?)lr+ u3?0yUYLF<<~g 4~vwqɎp/zA8vQQNRcR@h.G8KAxwt9em֊܋Sa?XMFH{RX8{ayrD\ њ?co-羸 Cj}ͼlćJӅ2Bʷԩ27,5$Qx! Y\%Ѥp6p@oF=M eSM#W7 D\VJ?&ˇ:^N!WoD3ZMT]_{Qtiv}TL 39j4ȜLM=tvu U*Xpk 5§z[ ?B-;\y51/mVxe6{ҕEx MGyԁuqcbrܾ0 ʝ7' y5 + '*ﲷhR 8*O}8O^+wJX@H4*]긎l=&rC]Khi; ~kfEgUkg  EL%ln{E2Ohn@TNc%!iSd,|H>()>gmUVu(=eD-dVhtϹti }Q EMf*B_8ꀅ7o%n8VUWQ*ka(v!!AoKyv4E5׈p5)s !"A,bdEySMJΦ"j*u ջ\gvR?(9?bPrEH-?8~2,Cgk -|q@d,O5QUuLtYLceqdiR(ŌŮ%l Y %$g+ 8<1(]S%[ [H^ywۛz?ӑ#G~0%NP8Jp'6GOKrZqf'ē\R(C#(;׭%M WBlU7cM"FB({:S!<*e?6

ܜ9{ı3S~ ^QoFDM(m d?_Tia \[a!t$N}V| 6Myyp]`5%u]ˍHh?1r^H}xعwS3\?dXC:vӥe-Jq~VgYZAwUϮb{3g,![WqpA=ZˣLJ/H$ I #z?fҹL _V'}Pd /C2.B@22t`Z*N ~UbsJO9m:3 JA wлKRQ=q+ӤqbgIhJsF/Ad~%*OJ,rXl-CE~V 2>P=Ic!_Xq={`t=?}7+1 [♚WMTy;+ ލm['W|'0e߲khV=f!GЍ^CS-r4x=H" t6%=:|kO!`rUGD\ȳ*/K_Ib<%}f֞;? u/;6\ԛw~Vsw-VzKL?h&T[= v!QlC罵@DQ`?rM,Ppu?4J0倬xlqP$g(BAx증'9av(-WT-\_ cj^A Ev1Z|bvӝ}h<ʊ\ { u;% Lp;{ъk~* /2oJfQ&bU|[(XZrFCBQ#6 "%u'*||8ѹl<"-o~[֖@hULlSc3^~ERo .${S8u^n`[@YsF*{o͒EͤkochgȘ+yFWRK,k=! Q {ӡX1)ؿb^wP"" .[- $5ڰFnW9J𭌚W.ógMJ:#RڱW'Esy%UYEfLfl{ּuc&?0hzKЬQf]7o}")sr ؈@CwtITqxNVgAJםJ!G&rwsXxĝVDO$޽oދq%'%$-1{?kK :iFF {Y $VhPIәhpǐ 5FW:, I ;}CEJm5ZimKr3c-{L `n\uI/~[ǫI½g<@s&+j8+щw[%m~d{+2Fܤ0I.->uHRaj(p6_I7kK̑.2$"X 6*-DqhɐIQ^>TqLO W]X$i&7nj}f_te̫VM )`J/g%Y|OF ,9{gWe:  i067<O UxfZzrOPi.qrg53}$2ݭ'T]Nn52EWM,,o@$MELdLsıW#)=hy [n!ӊ{`TӕY4aV!;*~D!sX9fE>EiC Ű& 5>QeI1=V ={+T~4yovSM%r럸*`JEGwT7V"c?QK{1;b,F6 3%O:{gF ҳy6 g3Lsy 3O9GX&|}3h`P+O<å"&ϭ86: [)2oP/e}>'3U7Š[Ukz,4c7rsyE)/5fo9tvH R\l_m_&*4v6ә`2HIh Dq;,`k GU'c|xͱRtD pnQ ZqEԛO34Y bS'[ӥPSjÐvodvNs'^;$ xtMR; ʈ_bht*0ڙN@o\:|{&@ cX.%+puIgh^1!HA/ x iI_eZ-*Śuh1a;{dy㙄#F}N֑bx\QE?nuy)1.gIܪ:Ry/q1BI\Sr`O}N,OO0 LH/AYFt@O@Y sd#!5¾5bts=cH6@Wm *^q7H+rfF,|ATd @ pt' &B]pfyZh¡jFepH*+w`˄gYןɚUri{?CTϫ-AʊۀRj4O̲V}!*3f53stgJ.>y"w@]LcIy6`tN!4f0[8Uq7Th'L&DԆ=j<lo.x[ HK <4?)b~wL kvjYw".Bq>%u)V $7^4l5I ͪI[ϖ5nY+ J좤.k n6}ڞ)9~al m;DnJgԺ0,߷i\wgJ\Zk:7lcr뾙a V⇮W /?&n~HAm)'9[E.b"~;jWcwixnѪ3̀b\;#ݩ c/*4!`iهg8RX¥|ڒћi]<@Bkъ`j߷V?vT(τԐPh~o}xc'4ڄ׺uID*z(H0Ԩv0efY\h7kJDiʭ9sn7AYk2=7"u@MOpbwX%`ĻILj6X40l(d IY=2 mBfڇ!~v'MDJv^SHɾ#̐H4_qG1rI:yN<(VƓBF_ ="v |'$o$u') α1drItٜdGŻԶcFp2>3U|Fj-_E-Q!\F{9'ЇOr*%x cU$q 9fIwiQb0i WQR )w@1VȔ*?N|>;E0: ǜ #\6׻}2x2|W"?JoeDZR!vϔK_F]?"{ӭM{g֯܂$GH$:Oe'ʯMUXSd_)`D CŖq/6Z)pNҩNONNbTO\ksEEA *? sjԘIT?kYjԢ- C2=;yܤ h7-lA #?''J9׀sNK ,IWhi39'i6+oΧӨ:vgFo{:`Cǎ|Vq&#M_l痜/| 6ؗ_߅8[H5ryⴑ;:럛c3&S-!T]P@lZC>onzTD8Jҿ-Jb=hǺ,t0S8XoXЗs(Pd"%`r7qDZ˟jZb/L3$0}Lnbk8߰}_+%i YFg;#6ZKMA^g '-,6=0+.lQjJۿqch x#G%KVɚRJaM0Ir/\<,K2Hd%"1h}jV'X; Z#7Ja$! , Uz*ZV.n^9`BI#:;;緳pֶ+nǖknx30*uyEc/x!$3(j0¥ߛRGkt~jиɲOHQ8bw]Q,݊Cd-&Z,󭕥B[ԚD yubkUHW$u}>R4<@/;Xa{T-B=,̜Te؏BsbaT+U-ǭB ORX_P01G*8I\#?&`0)~\u`8 7 ydž@ő 4+::Lś,X|;nb+J_^m%dIL& :kؐ 87u(E|ˆFf:{-XK(N.R|qVbEgOf(~͑^蛕*O*>E}ɖBxR+඾lilsF*`alF%۞b%kጯ~{C6*Ɲ;EEzsң -tBPBR^ހ%Re^Z]"i%lb#ۆ%lše=濮Q7CEaxj+D[JN5k|Mmxy@#%ǂpW'_QVrHfBmH#S(hv,Ⰺ6j, o+p 4z%QR%%GؚgIels!D׏@֧KV EEً{yQ8l(0Hg66L0segKWD1 fQ0]%S ;<X1$4c1Uq㿱J1v#'K"4Hn5qv(o H ,,@_<'+gQuwck>ͩu=wG7n͟ihd vqOxutk&C;:Q cd fq0sz 3g=aR[-g/x^ԻgݎmKy' 8Hn s1SjW^=zi q5It0AT; ^]Q_2ԙ_M,9P֯G1o}9T-};n 0Qg*('}рw0%X&X 8 ЭCO{FU"J miLk/I5Bcr\"T=.7y7Ӽ_~ܑSӝk8!#݇vV[Fe=D}z936YV#}I|U:li5< قRP!,w7HJ0i\/& s^e:yPx"AjTnDns'i ;Ԩ=~Ut9DfFLRPlNހS\6#kW9[$ɟׇ`.e`)7ӣgyv1a%ξfFد)TX@{5#`=zo %io;gꩦȁe Ȟ˦4b.}7itrKN#}Ѯ ;Y1>0$*XS!`S-lJYB ˦_"F$ 'q|pį5Kٌ#: W9X:y-o; Pfo(nO';|k,ڔܹ ԡ4tԅ;MHnGf6"#'Ì)[%tUkaⓗn}+QY{NJ"{'[hK7;l_ "H}{,]/-õIw!N1oMY!IZ74$0F9:y]njM'^&r9,5GмLa[??=M9!^S1.z''W@屃'ATp/{,ߺ_UxY,E$ӮꚊ2c#ϵ6`yԭFU;[odu9GFM@ڠ&@L; X{=#CwFkp-kaGFj z~I'..YP!2~r~LjkiX3ow%+lNNnr(qYhns7nTK(JɎ+Ak{J-ܣ hǚ΀^ uVg@yf/l 0in1v1=_ īoG2W` 2΃+k d(bY05SFq ;v  ~D_:ԅ7$_m߰fAK?rfoZiȠ5p&PY^-r]$xnGpJH+q̞;zn)m& ߉:0^r$G1A#K_SZsFWmԍs,ΐv^#(5"*q:f/ BʢCӶq O+y^t9׊7HpLzhZIv.KbaÑt[cJኸPIV{Sz+1؀79+y$@d@zoAVW' ㌗6]]'$z-rAT`l/~ Sèhh P 9b1Rc;Dxr?o>4)_E׊[j xW[#^o>tӻ;8r4րVܕWhvEM|snc.L*O^~&%o]_[u4p:3DCa,(ˀ|f93-NdǕ=3t/l nsQW8toCHO;r:݅ae^c㫊zs5"7P3 H.>y 3G_X5 8r'1fgT$=#Ry1<<2w*t|\:E8UKi]Qel-<=2E- U'[* %x]&Dڝ !]G{|R9k}+I^EQ(x-1IAkeWڽ/69ZiCE{Ac{hɌtY~_gm/Aw|s0H@awk!5mK\=zzyPAui*>k\#qs߀$Y'f3.weTK4?/-|KNʚ0lf̞>ubՄ ."PP"(udFQ!4la *0e/)TKW8^uj:nl}r.1e>Xfup[c/YI"bз.8 AD ѹѕ[) RK!~ʵ &Xw7zeg,'\t:˞$yp)W6f$ X'gKhKF.$@\jv{)9+LQL{ab5ggw/o.݋'2B(1v %oI͉N/a94U}JC4kx2ʇkٜi9Bm`̧3 FE-<~ |#[ʪ18.B˹rQ_Z7Ο:ZRQy#61RPRCNĬ+PMoauʅr/.LM(A;כ?ڪmpYgR9{XV Mw8^1Td6ȑ1?Wk5{fМr$Stat Q jSZ9E}Ҳ6ʊ2l?˾|%ƼT×A+afþs#Լo{5k!?sM&$_5~9uIQCdΨyG^CC"pA>\J'.hU`߀f-C{ġITS !*DaCf|%l_FRC S;RkohSd| G^;ʓ+?w!{4TLy( IRDfoO A~H5>QCp!CU(ʨݛyWvKYO7!¾όdKZTӐ7b`pI:*ûu!.Pi9MQGI0C$܎ޤP蔫.C(wHwDx]SZoܻڶuX9~|Dh׭/@Ȫup{YoNxҙl5a *PL" g؎C2q *ǤʧpԗϨ1}jiE$هS!wdSrāweb*󵬊!&FRVq0k/ꌦa۪t\\|pjU[#HBsq PcNeKf`mMɰx;`S,CV̧9Oac)wMúA$2원zD;nSS 1buטS' h=a$ӏZ0]. %lei_9MtuPS=FVS.XzS9-8`f;wшFUVؑ>iIŚc7eX2Pr ̊ڦnaîK-a5r]+-Wl϶c"ڞ1TzDbK=9yq0`Ɩ3! JYaquF@' :d@m7Japc jQj 7T;Qd Ƃn(f~i?zPƭ|+9I#u>Z5E=[x" 핐 31xQw%v/$KIe@8gaO!d(=LR% PҬT q@ CD 避4گzE# @=+SGe/(рIm=??0*zk N qʍ=vsA2Iّ͝2u;oW |w) TTP8ĚY`1N5R:X˩80y\}.Ejo9ܾ7`>uawT?kBp-4'˲-!Aƹ>+rhlZ_vQ,n fXl)ϊGfJ )dZ̟ pN2rlʆ\KNðŠ㪏|׬^|xۈ* V=[:iQ}al*k Qun]Nšh{\z5\ZmW"Zا'q/35:'B KѾP/=1v7Lfv'yKr{Ҽ @fDfDuj髊m*z^gia \Pi^+!:0#%_,3et!7㨛&7&k$M0rm9I1ue`,Ih>zcN#ۿ,Sٝg(ŋcU;PI=B\jثU6¶Ғya=XXd0L Jج!XA\cm,_vXItO'bV̽gTpN(^[ͣ9,  F$qF&m!_IQ腪AHfV߈Es[H+ݲPpS n'M֓Phv89 p<,; l^ VzI A?Ɏ~Az)E_7Je)CEuo ^=k ـF¦Jo8-.Nb8ZUݠ Zf f:lZa6 OA' `g۬ɫk\h}a$U{az3䣎U9րǨ+;C{IZ>& 0[yX~$]de/4`Q-4R#j !"i̤TʝT#\rg!2)r4RdE}w1լ s`~@>ѫ%->f=D3=Rֵ'W[rX_lp:99I<;̥3pp⼯XwRN_C5ۻ obCJ &c.C6+G1jWYg@XnIڱDwO=o)ĞN*Kl;B2@}xK1IŒ lXM/ۇV|{g}s)#DC)$ɐ1E  yz~ !(Z)nh&CE#1jsv@Y}:XX8ax2@q4}d٩Iŷܷ +,"]o Es,hW\c\4PT |Y xNda{ӧH#@Y=^e/8 y' ^mѨ d5b݌0,+WvrN4j>mD;{u Ltr(e%@x8L⋅p\bRWPl"ͺlq'7Qv!\&00MS7blɴe,P\7m0glېhȍ±*38{Kfҷąrc13kP&l9|Me[bJmH`cE匶١o5Urvu@{d<-^Jp ċ)@ T q.?c.y2oa=+bL;j`k]-T|a®3(^UpL,֦3 w1714\[9 {'tQ ;j\VKNh}2G98y`mC Pq)uPL;0}|_)&%o>O߾: *\FM.Y%OSX,o1{On-IQz%GVyi(SS'z]ς.?Z 1J\'Bӡ@|fM܂- gA^-&jicf",2qLgeA@.:xЩ⼦e\ZmQi+xa 7|,r'X).G{Xaq )b64Oǥ8 8AcڬLi`&fhaLD-[(e#WWkRސ>F2А>c(5$/ ] G+y"=QdB͚`ٻg\ >NCMMeW D+`/,"zpҠ^X5eJmshmǕ)i8:Eʽ% ;+jNF#,O^,鲋uKF.'!Q-ZX-t/@TQ=TZB$6԰9A蝮S[CC0.hh* _N=,NMMr~T&PΘ|]n^ ԯmgqtr|?0ā0 *sN VK`*ұ_9b'./天>yW6a^ qWT Y{InDw jQ C.Β\ڠEsn8L ;ԩퟥ9M6v_{WqxQq@t.@YYrͷFQY;$,y$ V5?I5Tt ;?Hhc/u冼a)SW+%TamȉT4BAgδ^MlWKvZ1H++k"zT|_}q+?jVpЈYy딻hˆutUBSJNem#wgqniu7 #ݭ]m?EL]&]ϗW|E-T&ـӪ2%W@~-V&u;nWAዺ3tljf0fDX!Ui1.1GC8JqKLmʏ?V{@]|?@+mANCC|<1dT=G=zQvwgό@d86b tNfRk\;ǘp&|R8<Z6dV. iH6 ,ssG[_--9c:/V3Q+Gc\,CP,GzzG T-?l$sŊ$![S Y~`@QB^ +y@ 4p+4=[ D]) ќC2mXB*QfY7i6x<9+BQ"BHqCY߀鈏\9ł/vSfɘ{3 S! e8k 0+8Ou fX~qaNebC+e͠cKK_ҏk&,>s6 ڌd˖K蛀4 =44nǗ=S&@XtZ8ؤW5TӎRGZO$ʜyTi?%KD1c[xBoKf 6X^k-K HQus2twՈSҡҎ.GPE1xk'r\"3[&EVG٤9VD*,Ee~&s<} ws ):RmXC/,ݲ3=G cXY#%0w ZH~T<ߦ^UwQ @6דVP>*7Cv <-״@LL1Ym@Y^f~L;w[W8ppӧ {&k}YEދ8iH\twswU"rҬPkjH:H+n7_t@H*Kܯ 3ṙ]A]ʝ:ИKĈO j˥"gd4iWrL6w6sKhz㩔r ҍW7jݧTJ!l#n5WANFi:F:}fi k y5[co4.UoPN*>[h /~g>@W_cڟXR^y@f*Qp:/bҐm &hEl6u?G1OߡǪjA3iM-̆è'+Z ȴ.iHO|-1nKq{^4U"`ZB7FgTF/&k]T;Vn6VdfGS CKl%+y|2'f{pnEGSBi6-nJk$5dRu2rI`lzK?l2x&>ƩM>ó ><}S3+Xj ȴ^\ _BRS+IQ$vqb.F]0û$;"ywjw<Ӎ|g(,jOʬ+ Wndؓ,/g*Y"FND=i_Hl!=,h eB@p(PT;*r5oҬsV4F*6_}ʋ'$ݎQ D璐ghd8 El/ RD$˲! )&il\ETk@_#aҙjE;g' Ģ9mБSV VbxǨ̒O$Z;̳. fPkH)gTd1N>_:!d> NF+ħYo8*>Dj'IW|K3}`B QW*-v_scU$j ->X/ĕD~͌DFs <-(?k[G}%2cYkk7owdf2r90Gj@\%@J}=$6r}VY p/H}jZ#԰rQƍgcj:LJ$!_׉LٝreO" ۚ0 fScҦ"P@ cyP˼pܞ<:7\˩7N؛/ij_o-C֡N6Dyub3ވ`?w(Fn? |/p 1c\ô[M(Tu5\pfLzԾSR%i,RĔ>AHcUfzoY[gt?| BнT3 cnqH $qhݜ"ч^C_pSa`N[!mP<`LeM% ` :\}q@?$ duQT_R iH)ꓱ.O!֊7–._,#ƅ[ꁵʛ;3vS,ʇU­hh*fB)}bvYU%,'  v] sgqSNa7V2Fȫeh|gCAz7opՅ*ph)tvz~Fd1Z_8*Hf< 18x6TnMi򶜩q1M4{9Q=WҜ[_LɸrO*=?sⲑɫ;FdN}E7 > ¤5x)ą4160DE|a]1=u:}5f64)pჽ;ܟ^)2]m-σ'2:X2#T'e@ۋ>|h )KD-M&ի#.hIg-e]} Sy.րc 5<'Ttd@z>m8lN\miyBa ^jID{O2[}+X-vQ%kcvBpmYi#As< `= =.N }e?B8SGҪFf{yh ѷf d_7r{_qCR_ox\"J$/}E]tN155w 3T$Q[,ReQ0m}m[y1aX!0m8y1g@WAkbs0Vh@.9je[TBNJIlZc; *Q=Gq&+@&|&JIUFi&ׅ%OX ;!t]y:`V[K/K'1Xռh3zhf+dP; Qn ;Ma &Y>s:mG3Ke>_nV0(mlqA܄'Y;ߒ-J3!}~^f"SՙO8,dp>4P/$HfhxQ$h'H@vE!(ٟa?>󡚹x6e1#(:iJd-e'4' ebD9~casww!؆C&lf C%Rl8˷ӬQ}w)Z6s)> ]ݳ&Tl(:} ^oh/‹pD lK#2٩Cհw-ڣо5F+xډZa˻ kCot$Td\\]aovV/', |KGQ4yPdE> HU7p$? sceO<# >b7vh,B8[}ɏ%َ(p$'CFA1UDu`{8WyR MPvȣ>kMY`QE;WSVth>31$TV}Bd {uxŪHz(9 Rgn kWnAXYzYԕ~Z#+7Bj tYk26՗3ɛ0^59]jLWΡɾr vv iZndw$>rEw&R~1:pGeH"tiO9~\[O!?H }Br6v04QI Lں,%NIk}w3>)5*?WFoPLܘ\d>ceEڍ|𣭦I4﫭%ʂץi;R[19Gzi|EUČ.6d'<(OuT>uʡ[g\6R42恜ZIXHgeu",yFA_:#wmOZJ]oGNP(xvfw\*q7TpPkD ~Pf'^ջ,+VAn$yTBBdO2pgkw דLp@0(mhxMzƐ_/(RH<ÑQgYZ X C% LDerivingHOL-Word.Reversed_Bit_Listsdocument.tex7zXZִF! Hg]]A-MՋhvG"uIBm5ײC d/F Vs\=Kd4fMx5k}i6dԀJ4E#+M'+c7e`nec U$G $ DÐw E)VI|FgkP,S]BE$+@,k%o.?.'Ϥߴ ɒO< 5zP,Kzu-7XqKYPz(Y$(ѹ@<R&/~?ۅűb4Lz*{˜)hԁ{v$A;o8 xQ&[~;I3T83tc'/*WPeknxFѩf=qk\l.gӽu-;5 H'ښ+"IZ|&`KD&{9_FNL1ꉸ^:J0VJ|qx` 7#țL `iNۨ kxx.=`͉H4)+`"'3.П/cM"׎8 ؊%]/캗;8;@gQ}[ɡɩ,'C$B/lL'~qҖd'l*۰R/[cc˝ S^4U.麻q)aޖl>ɏ8 Hr~"CL8}ٹO8XMε@XU%`_*Ľi %#:((%Hl~↶ֲ\ڎ_YE;gk*C$F>S>Рqo Ҭ2>8nW0 껲?꿧ҵ>Q9Pp ܠj !L\=hzGfRmQ++`_eQOrsA1G5DqJcVQջM[mY¢]O+~? ^L},'9Ȗn>R%T lDHj+ i]W1,1e\'nV[@t Z&MvL7g*Gn S^F-20!DGsS:xUy)B*|EsQ™/m AWjriAK.t+EtwHE<5q'M+ '_To:*f $mzy<A[ &NB},`cUmK=(!bfEL!‡] |)(J}Ճ':j?K6} t?]4; O5[ Oݒ_:!uXΕjw%@hnGb L|d^ Os"p7@9 "p:Z%=끰:ҙbOgfppZG*ˤͧ\FE9$1q-F)QjI5H7QĔRPkv@VCL9`Ѩ ]lmrX}9gv*$dXLSj̠2t u#VaLFq "#<R<\zdeZwuUq=QvppBOo'MK1l4 o I+:Ky|Tj;E?N[#RnB^\tQ e 2B |'}_Lj䶣) Og&haO]٫#['A,gAmŎ@QSíph`fKqY $^;oo$cu I@n6JT歕??N FWy5ǰ ރF`VP5൳h.c -^+. @c hE% lDerivingDeriving.RBT_Comparator_Impldocument.tex7zXZִF! ~]A-MՋhvG"uIBm5?)e~~M{{|kig.W<}GT꿬ۧc|!$i9\'>`;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:ah3_(1H%Aކ,PYYP?-v!NZv .8ѿT)0&QձC:T=1Ұ{[ޮIȪ;IBHd`7_M۶Ѿh360 o\8WHh7(|^U8Ez[A9 l\&Kږ;n\[nR6*'-ʇ%Jaߞhb IŐIS94 Wc׍5&0>[]A]4G$ΗHn^EbPrtҤZ^/mvA3(jl-Ucj%ܯIޮ/.Z:/jGwv+G+GޜK_!-iIﺫ[{Ոn.d{u+?Yo1͂ ~rIÄ y\ |d G䢻YmTYj U`]4Q8*ٳ/6TWlz11s=$aRӒ¹yۏZƛ 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('O0Oh,+iz&s:2@f(K_TۂSr6Q~f4plcOyL IjIp[ v$ʂ[:E6ʞ2 ۉMZyz #ɻ0MhJ7|oXͱ!5#i^5:3?Ǩgj^,9S)ͬ!g|n4] ?7;ʍj 6oe=EqS XHcPLSn:SzԷ\pN"@pF ̖5u%m?_N|㘦 ~D|Ce6WҏѳڑmJ5̀rJqR,6RQ+'A#mPV^Q"0@NQ>hN bNV:q: .bbaYxx͟=e~ʑOAk^.K^ OrRY6+i!˭\{pf[]011Ĺpk ŋ\57~$6;!e E(x1{< ttῪ$`,w7i2ʚ.d;UP-E`.L52>qni fl% DdDŽV4Y?O@fWӥ䲭cf1]U,RE  uKŘH]5Jy)\?:ļGZL8ci3Z#7̫աDRb{_(pYhn${CsbgO8IR?cIU2D3P3DNa>V/`4EV\Ɓi%4E@fUDQ/.p''7?[Hts4Z7~ɇΓIC<@㥈[.\vѯ{]A;L飮KK.q"GC7HM{e9C̥W:Odn1!LhM=5GqhMJ4!lj%!|+rhG9}Eg-—K8CQW%Ow>m_4kpU,Cbɉ Oz \j9ݔqչ**&‘:o8GAh8_mg$t&"A\i-dCgu:ql~&vW=,.L9P˖9Aj@ XTpMG_H:3D_ y <^nvhWhOLJ¾ [1jUQxI^KYѯ䋯1FߩE'X)Iby1" K#G Ew8d/熗95[YoL$9c #!+Q\mg0680>VdQpwLu0̓׽|*IO",DgV ]ym.|:Țh1~,, J@405ӆKH1jԍ*0' ;R5!3eD4dΡ[ŞFh{%KEbhh,gpRf 8G5ʤFa_[ri1Ouk. I6 \q28޺skGhkP,v8n׉ӗO˞a.>CqV6ml=tHZLG`"I0>(رgYZ G% LDerivingDeriving.Comparator_Generatordocument.tex7zXZִF! ๧]A-MՋhvG"uIBm5XJx=鰺:IJ,O"%vھjnZ)1ܮn;lTg 3֣V^ Q4rĉb@5yhy/ r[u+4v0~e˿oAxIsLsgwb@~{ɬCC=oB{ {5L"2#Iܺ%Na$6r&Fdc-]d\]yHC ؃0UZ`/M{{=*9(DmaضR-"@H/+Gl/;V& gIt|#Baq@a)Qp'Gu_Ȧ(";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 "ܘg~=nq;!uWuwsCéƠc͎ݯo#d.D1#^;-T}i6i\@o'};9 w6<%F4WLpB%@yZ8N .`r8L#ߎېymZ+*RRNNfĠdd-#8 AP)9$S. RIUk蟙T[#+9ֶCK)\lBcn֮l`աSkjrq,uʎ[4&bPyljASNw8\(0r8ddWUI\r xՏQUП3{% zdT .W-4qP/!f\A&>?@Ok Oؾ?+Ї)G'4?xo<'xe +_Ycv6%vNB.`iֱgYZq2WcjԒ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 ~43 >]F{pI4%:vvw_-:PR_`Ap 3o'= FK ;Óc%ߕ7t>}&΂z2IiBØ-JDNT6 I'/S ,XL iYMq3:);~ݑΣp66D(<"j6Yggi ]k&٦377.B*l0asoG2b Y-̨>zI}| QAX#=a ^`Ul@ͳTYZ|pt *aE 5+)E܂ޘz"PCeU_VhK(fh"DBxYqN`zO%)]]?*.f{c< ;%k+sU ysayˌ ]#V' R]^k5\ZUkC*FBJ%8.[tV8:=oM,ǪPԛ%TX ؅a'=S׈'ЏČln@&5n̝hW';UET+ `f1.E r7;jy/_]L~ﲌz<* t6d3)VTg!O256G|n۶Ѿپ,aޫ☍-e}cF>to,H{Wl~ℭ[s$-0xZyNѮ`_9;Ath ;v_zenBJH %\?̮@Tp˟u:EgfRGH CvlpӚG>u|yio>!Gvꖜa5@v `#IRA3_D)G`Ҕ/Dj3eN,%c>ʶ6YKM8{l7T؜+*Ѧ`7"d-jƔ#c{zmC/ {"D|0^r % 7s(H;ח{:oBCx=5%)]2P \ t%3,QG_o^톂 s!š qKѵe]%d؞;(57fz`mcLY_w(рXF^R^0-gFRU䟐ou aUq?祜$vI rS ǒaS6)̍Y7:}ZQ}S{;~gxT&80'614sccF+i,gPO \41C s[ҁm B~?лIdYkàu)(A|b!=@bs`i:ZTގo4`nLa1#Xҩ/*-3ѣA;%Wޅ|P#" sn6DE:`3%U[֧|4 %/|=`ɬbhb[49aEI# ͰM,vwtHI/k1[)>>KsUJ3HxV? ťfӽP'G!cZb#F()#ǧLU<"h}f4N鳤*q#NCy6|Jr/U{ 7n'l"ᶺK',Y=r }gi#j*ChT%n\Jy_R}F9厩,z.Mj *>s;gÐM^Q˄)[STvb+A׷^'8Z__~ՇOi+^DG\z@/Q-@V1&im@OP+Dn㶧{N,Psk}$њ͊wpz`If[ZE6ͨ5+O\G/t wk~1uW­>E8.$?Ww-ǹ9]]|e[?]2+ݻI9}ݜ`{Ү9GάӘo 8~*5@.sWaGs刉mCu_zܴLVNG呺k3 BtI$?:s`F-tF~/hl-fntL2]X&.9EUln+c,1iؿ|>8azP W8YMKN Υa1{n-q d y[F>#y\l>lԌ<+(|^kѬW7_/ehUPq #eFjl$ϱhD?;Ⱥ?3L:Z\%t $3R>F۽Oc!BaF,O9d4lɤK=@NecCRK3'Vn=Eu^WT+'v}˶`O^YSYelFwJy8JdtrɻE>l+c;uZSZ!x&ILRۼ-cgCԈ4 #49r]ӂ!'K,I\tq"M>?U5cҤIyNG{#UK19wfm-D\V}_=InE_HR*jQ#@ ~l Y]0T; 2/%1 ؜N(o}kxk:m"LZ ~@T l_("@q yFbì̆]T:Bb=ySW-۫+(x;0nEPiVdc͋Ew~n;I5׼_4S/3 cHm^#Tm(mY, g_[/d%2g")f҃8J;\ -KY'2 ֆ!ul=`P@̵8S 'mS7\P@>d'˗0 qR5MUAR#X]6W53ACPS/:Mcu8۹#S|UDdJ76|6 0Bť|:wh]=[)/b$3rd[`a@5 䵅V>``9?˵hV{F:0%0,-nՐ1:W*)Pf@ŮA>6(+!? -F_ ҳ:+8LUhۤCm`:*߱gYZ %%X5% \DerivingCollections.HashCodedocument.tex7zXZִF! t e]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$!⍲[X\)v8=}@rMyyH "{q<0dAJ)}]c]xׄڱ[Xe{,Lݵh UnSW# GiƗLE#XUxykrj[]7d ùQJC3rYP~ٸ+7?[:H;A?[H6 SPC4TQ?A.op (vPd];7bQjLVzLh+ ^%`~TB!9z1]*s)CdsAdBB*k4/f#@Hc}X̛\l4Q;4][21(dvrR`=yxmg!NWk!1lɦ],w9vdgYZ wwQ% DerivingNative_Word.Code_Symbolic_Bits_Intdocument.tex7zXZִF! v ]A-MՋhvG"uIBm5T6Y)AEŘmUZ<E`1gxxV){Y}ufA7W 7h3zJGreF҂᳖AF͔T093|xAe܌\/rQ|lGcvW?Twk&IXobW50+溌9?(G2oҿ:c|#Tl~S ׀C]ηv򑢪Q A=F_P1u>tr*D-pكJ1h7Xt4y!Ėt /˽:"S xgUG"Q%)#`d$X/@02q<+]0|dz06j}协d' }.dpgIG'uЊvasHWQOh I& rOH*q63;tǻzѨ8<<ĀՃQI b[6/>Ao*0587(uYE&ۉ}T_!eh;]bqe}o'k A9_0ozCD%<'[/TĨIAG>I2*2÷UHG sE&Q;jyExCΊL2F)/i Qb0R Ix2# 2_K贫tz PKo3ݓ}z1|YDŽ7٥hk}-qo,nH8U:DM}tGnʄpAI%1wU:L=R2H%Q\BAc$t+eKΞ8*G蓵smr!*ݕ%u-@-]aַ_VI ܬ|!i ~ I_/;V8{l&y:8Ag7Jq6l!"aرz#صNI'nr.ByXhk>:MLUb6w U5P:OdGǍMWo<#waկHo6T9𰲮YQ6:{)ԓ 5eU a xR*lӜ`}`3o<6Ӧ=wr&cCoZ/DDf[/;Edz:V=\4ҊotdqPve׍ Ti[rڥ_( p1Kv\n譚}cmi(a@`,#'lGRxwg|=me~:u]=R[xvQp南ϲN4;U2 \')dB"aPjI/z5gc^&qsycG0&цNT[AjIҭ!TLSBзbNH0d3w79%AzK#qXft&I{cpQ@Ws~IZ] a)ڼ]Tk C ڧoNN\K-7oZXonˆLGp/HaCwibe\d=_:-)WCyq^A2Zv`BZ2Es8!5K2r[x3%Bx%[ Z֢q4Tu$h$Xzq:Rʪ!o4kdN tW2(~"7\7hkJiH;UsT7-OF/1t2w5}Q'Ot*=N_^k)1XmQ u}WYJ5|MF9Bei=FJ㇔ [<Tw2_Q gYZ i/% DerivingHOL-Word.Misc_msbdocument.tex7zXZִF! h]A-MՋhvG"uIBm51FbhK#|Q}\ ˵Kđ `B.Gh{(CAeF6'H'ɶ<#Nj@Fedя;}S^\ pAǘmfXӿjwD0/6|Fx&_:AT WڒM`k傼~P+ePV',JOy}`388M)@ suc:!%ǑK co AKT,c'%B D/ZQ6~]1~4R̦%DQhJHSYX1,t6[ZSS*Pٝ͑m ę6<ۻy>HǮ7ULb9ᎣV<(6,2:2@:E 7+޷snZ 5o0m|[o#L5sQ/ts gMlp}'tOڌEWD1 o!9jI/VyVsր}UV\ vݓ-Xoq MR̲i̭(GwP4x&V4e@ #;8Y*Fy^q_Pt,-|uE &>3YG1%%w_[Nri6KM\X1I]kH !ƥn:|9EІHX6#TVfK8-),y׆Ka0~(M7 7R N?ѡ{'"[gSl*]!Yu _.|Z8mGCOРsŴYKm RMQd9pXKf{9L\;E+Ii=؋9m<-͈Ɲ5?M}jȯb&V HsE m@p*XBB;,N#r'6"naX8C9rD"0FyS_OvovOm5b3+O)DDHJmGj@+:sTwÌÈ43F0XM0%‰$G"V}s,K iȉpLU GѣqP6~B@fN|\@OZg"^mt`%{TóʔEɹ,*'-KUꙌ􎘍f%8ФjաhX$fj<6BPC?60C:J'!!„F>\h&& +//ɈwFf` n1C+d[,@VI<n 5N2ONZ9En7^&(L[~+=sMR__jɀRFtk{m3 tDO`g܂N(9aF˨yn􃕧@}]Pyg;c {S߯ˋ .|(k&? uS<]ǀmCb^3IR 7QoxقA2b`OaI5X:`Vhk~H\*{7_xoYqF:#͟>Ptq4B{m8#T񜼀&Bx{O#d~{L}(v~HTj^o["hC~QMr0w׎@j){6Tǎ &RU.iWq+Toeum il t~U\o)Br99!֤ ^t]BU*k`#QGlƾ\|2k?-tS]cx?7'8~Hvz; ~ONn$p؂kɘQjS{_LhrrBÐVw{ͲH\TMuQ[GkrLqXW#ZeK9U5%oH#.>a|ਃFe^^?>'H LX2 T`7# w̐NU/y[ @;5Al@-~٭Q]>$b8k̈6q`b/i62gYZ |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̓^XRi5`S{~UƲ8Ln)J90ٻ}iC&#NIp&Vq.w cTek`npU ˖~f&;}URoWzDP5z'6(- 7=i>6!O rnsHBw%Sj7B15zQBFRҶ(dw xoZ<*ڟ_CTy$䁀-B|F{] ğ 0DgG+Nhɭ!p LqԗzI/fyBnBtw 䈉 +~c2W{$>F*\3BDndyAI<8e:?[Szݧ*%D'O1Ġǯmo{8gYZ   p=% 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-Ə5JV$e3t $|9j[X+$N§X h͑.ðϡmb+eo<,rk(0Z r.eQQ/xi񘉦Y{p>1;hbĞkàe57qaG./;|E+bK;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œLW^񆂾_9 xd ͖PYQ (L/Sm!;E{0d)YPU,QxWg(E 7DE1gwڷTs&?)}j{3z0=x_hH`>щ?+̥x/z`P0β+}D:)45Sxl}D[ #q@zm =er>5[#]vu Y Y` *_R;)F*Tx{0+Dթ?f|`D`u-|UF(dD{in܇9لgJU'c(]jFt8KNߑm[s#jJ>ìfGMuG=E'*GH{fVb'xrcg%"3ޑ*5Ȕ/=Aq3T&plBDkoΒKYO "-az<6(Yss+ I:='Zrt'u$~;>H{BGפ$ >T1H#6߁ P`:ZZ"OT2PS-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\Nh6xAVظ,nLFFZ%jGd>.G$}3z6anAb$;]wPDqĢ۶PXIzC<Vw~Ն$Bw tA^O:q[eB8u.Ze-1'" 鮇eKqWԆ#aP"?̺ RNd=T]m@]]'Fq&wqۗ"St5j+wEB%ĩGΦ@R$MZD_ 27Ȅ'Wo\ `B1,sҡC/jRZ=}Jz qf`%I6K~%\{a;7dO3L(7` )RCz HK4#C5M3уg+;{m3\yNcDX{eܖD7(sZ .cY~iK%1͝Lv[gYZ :~:A/% 4DerivingHOL-Word.Misc_lsbdocument.tex7zXZִF! :']A-MՋhvG"uIBm51FbhK#|Q}[e&a;ڑrTM<+搦6.U:͊=&9ݾo >(s)Zkg_!Yrs!̓wMw%m@]')Ls-sQ@8g/ç0@LźO?{Cڼ.'nel:$2 ̐׬kR"P⃘qFE6Ye@aWJyh54 Vܸ @09~(mv*;.#/9O{|)z{˃x͎#{[ۂ! iρ}cnjgPFF֣' Muc4ZQyrXP)H.@+2x:?|17ժRn)suE9DPCk|&6`ŤMyr84,hP4U=kei,% S~~BϊQyP9oKn&c̰*7/EzPSi06ڠ,{0:m/_}f5`m% {;&UiHZŬqOă}aĴWh7dpj:qf c(DžNRKA4օQ>R|݁'yO=N՛P@}P,X }xD=!q˽DdH(|.ўETղ ^9ZIkc1`DNⴷ 4a+ 7Ar 0` [&_$\|zTD]#G9ZccXxr G/4 :& ǯx ˄Ua+Z|v6'7LKR揄P#qAH#eE8GbF&G-{nXjrD:7׬nM *4e/pTeSY>Jx3%{+}:Nis?<ՌUAv*1%X*>)ɋ@K@JX oyiM:=_rٝs'Z-8lrWN_&_aR  l'Dz/$WF> `nnsm1)>'*>(;. O$,d̴d U fU8Nc7 œ;=ƑܒZċIUDTMn𠎉|;㲫@NCv? -2h@w NB@#Ny}'3Yg): itmq/W<۬-ه Ҽ4 Yr{Vs{ɳMI{jP"uve.=lQ`a8U%Búu=4"u-:i^Zp$>5'O7J 臮oZz̈8UXT#r (ad_X om@K)ZhBmxבFJtn 1Eה$KtWu t]HgYZC% DerivingDeriving.Equality_Generatordocument.tex7zXZִF! :]A-MՋhvG"uIBm5ګ2#Iȑ=]9,"t3"@`cl(:.4. 8XO.|~YE`Za˪kݛXy |e )+!\cl0h@;0 r f'̐3&cs\eNZ[Ez uKf?|̲yؒfbJSiQ$NW\ g:Tz(ԝ=ul;Ğ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_G: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ϫ H0eRmPIO!]rV#lD-EZTM$:$~t:i:@lߙZP\f=>sM,VCq˺'G{o _FG<i/R:zMׁޣB?;[d>N!]9gYZ4E% DerivingDeriving.Countable_Generatordocument.tex7zXZִF! ]A-MՋhvG"uIBm5`''-6ᶈܝi7wq- *qB@++y>YCoK=CX9V !4N-ݜVS'&d]G] aن<Y!MNy``vz~tOWFe"ZPEy,\`iinY5jG˄NBSBE>K%i #'3Cv;t2NFDfyb R3j{(e š&ktK0@R$v"#{Ϝ%vҡ4,Up{ݒV/^=IcE|ZihjOĠ"؀XWt9ڛ_<pL6ȯTWmfD \Z2Iᯡ: ,K['ݰ-qg)\qPmi /h ZI8V_7VN}zYknJBe\%j% %2ñgYZ g vg #A% 4DerivingHOL-Word.Bit_Comprehensiondocument.tex7zXZִF! ]A-MՋhvG"uIBm5F"*2*=)Taa86(:D-5GG !mi\C XTS'"74 B/U5a-/Yy.FBn`{i`S,ɍCTSØb^y2ӡL{ G{SsX&Te'-J94f.x+{|;{`Kڹ8E/.:@*LVt:Q:ҡM3Cht *o^}: y`r3HcKr^&O@&fs!Q!i%x!;xM.( ॔]A?:_*Cl |V!kcayĻ Zy <ĭ&8_LC [ҔкT'I$/ͫ[!A/U8{)EPs$hD$:ocÚ#@IOB#;STWP0Us8DB24{νQ's١2vr'In0 G- ᅄW-IQ"Rm=yVaśXsZB}N)=LLQl*osȳN$ %GVhߎ2Fa1NG;r6^"G@:._~X]w[wQ{iq$Q26^dއgQ:4 sӟ/ĕ,3G<`nYm#ٯdm ʏΞ؆'wZI-g* )<2ФH7T|ś#oM?vez~1䞉ΉIUr,EbKlϩgRچ3΃oqWL1Ӓi qi|QfC1t!X[ R0l| L.:IIߺ>x!`/h5%l6ЎJ1X@Guj˘_o,,&FӱgYZ";% $DerivingDeriving.Derive_Managerdocument.tex7zXZִF! a ]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{jOKO覧BNEX;D!hJT”'lp] stHÆ`컔 og "w2F`:qrOܑ8Fo_]yWܶ.㜣Ol ˑ, Y(\b^, ,OFmTtuda} m$*:dԱgYZ!;% 4DerivingDeriving.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פsWejH<ՠcCg=,l-WJ7K3b mKTD]f"1}2$ D ɜױ7vflCֺyme&_|Daip$5dgYZ 9 9W'K% DDerivingDeriving.RBT_Compare_Order_Impldocument.tex7zXZִF! \]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_ 6M1H}V89 N_Gf(FrLZÁ12 J4]0:tSăIg VElw[oXZU/m ?eVzGqM5n# Eߞ4[Ns]G`H!Ot1gYZ[&+% lDerivingDeriving.Derivedocument.tex7zXZִF! m]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%j@r|T7j5wI>8MD41w̄&9ꢥ. n*^yCygti7ŘCFv@(,raKN>zp@_P*ͱ4mh__U j$uǔ*@Ū}M_@Hq6)9+o&6*M_.E"#U8 Ij~ZSqe)>:^hmup28rHnF44mY]'J[<M}iMT0ڈ=".|{?"wuQlWCտza7VgNO;k&0}&`4k #R˄4S]KqΙŔX>V6}gR5P)~pcxjԾ3)Ma| t ށ?W n~X~2^&Zi?%zVe"_֌v i >LV{2P+vj$&%twH62 SiV|J'([{E"?gq?mJz̝[t eѰB*uռRC]by0Ig˪'ÆwswFxԇL=`;@U&ҹgYZW$;% TDerivingDeriving.Hash_Instancesdocument.tex7zXZִF! ]A-MՋhvG"uIBm5{ t.ؠq,/9@^v+dPZHl !_FPT΋s>: ]Z Kk{9D$swtp827!I?QN)u"qYp`'hQӶr^pAg̒qzKŜ"k%wpW'H% ✒Z7{C~%!&7-6FQgYZ  }i+7% |DerivingDeriving.Compare_Realdocument.tex7zXZִF! su]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!2a}.m͝gj.wE-gȗVvQm|N?j3O*-I/4ci2E 3)`~% 7ynGtZœVG˼ȱgYZ*5% dDerivingDeriving.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>/[ =d$H4؜R2;81ɛ丿tliX')=gDSnr^:l^=\h IxgYZ)C% \DerivingHOL-Word.Traditional_Syntaxdocument.tex7zXZִF! ?]A-MՋhvG"uIBm5r ܇]`Iy_ \|bݒ".bIrf\†h窠AOc JRYUğ9sR|xAWhL >v0 }j0ɽR}ȍC55N}byag0MQtf/02j~™] n-D&_r^sPc\xKi.-c\s%pV=WLo50xKjf_nЪ%GNA@"dwh^xc`JzțuAl~yT[ ]'bS=B/]$ !"ڍ j: 5LD 雓R;ApW`HP8&@~Aݣ)eM'gH +wvS}4ηpE~ʫs6_;Á͵s1,gڀ f[\o&2uvAM&\ؖLUrkweJ |H@SҰW=L@ Ŷ';oG}D+!N0J`h_l<[f8'-W䭓w@nftga(^vG,&3gYZ?(C% DerivingDeriving.Equality_Instancesdocument.tex7zXZִF! R]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, ff gYZ0b"HKfeb{uAjy_|AtWw@;-Ks׫HQQWGn>$M erpK;K pT6{(aRy+Ymd3SΨc|ˮX"iZK2 sE6(GIo CPRT5=v^7""kgqcBMǷ1-E rsՇ7j !s=<F)E{wY<UO0u@8`.dt2a/.bIVLۛOAq3 Qò,d]X5DX']5vCaG(r`x0b5w+%koh/P:h d:Cw~{h<PٓV*]*]. 㝶xQ]+zrKv,g4ޓPmگu ك ]6ĕسW7qΧ["(<_)Ӕ;4y/"ZJ٪!Pt')txE)i-S?oZSuhQ#'5ph sϲaq(kvzϺh_SH5}%8RDm w@/A7{ M0i{Qrҽr1™/mIsTztѮ ,KF"ԣ 5=o_wTYeWx=/ӌh=%1BJj@ow>q@AUCtV9gw}9p]61ŦV;1f FIqSq[hfEjjP>W Q[Sv؁DJ tq2T[Q~#?Z>--lç -%[ X;~$3hQDlN#GRC.Zq3^mt:c~I&ʈWuδ}x b ̡w^ᔾНh˙c݄oo~څ/n}) IZ%*/&FjĹ:W¿c" _9\,n\^ysⶹD`ݩWeMjtF'Έ8a?dʥ2rS7n^;H+\4|n侴? i6l0UcUǭ뿫R6=lvRǎP^]=t iI0`ZJ\v h{}ANhKw&w5Scuyz3W\ݓ+>lU%b:9yס`a)Y@`/o,Y ʋ3&Ibz$yq[oɲ"#}i94}wT WD\ݓ('ەi%͕KrZ)$>)}62үR'vǽG ]!4Nٔzu6U~?#@#8OܤgO)+|8iŰ܉.Ŋr[818ÌQzqZ;䦬v iݦ(#[R)OGk }˰-9|˧ SFX:ѕ%b~E.@&63O@p?[氁P4pN0 %V*@PL 'YEand&;\W(WrcPLhJ! "D~XH@'G&"b -% :+LolC~Vn_ ʞq} mL3ǫ(tO'^ɓcpeux<.ZA. j1 "^`^d1fK";6.f~zya,uIO϶m njmLeRLOm'2SGiKOr v"{ˮ$}F&a-&1/LsH_LW5M f?:шdEv NKyӁ[|hsq+sӂj1R;+ջ9G\nݓb? PAi~0 n%+p%4p;HՊς| Bn{⭝䪐ڝk - cAnZj$Ci>m~*~ =T6(iUd7?L?b%ؤ5:KOe!)O&Iv͂<zSx@|-;rZ!U7Ш#+Wߴ4fQ}4.nmG[|xh8UntŜx (9WZ-n'ܠsE:}Hs:G&Jĵ=c1VP؝^@&KnWʖW'VuGKG}X!.U;"#AP 6/|iLujrVc!% z}D(G*f^& 7 :O TtR9s <VoI^*Ė'bX`ݳ1덏`0$ PF# <%R.&jT@c|řqAtZᔆweO-ʵ%Ȯ5')¸6שmy:|þƏנ6j:$}Q:|+RbdÁ7i;~MA8H^}#) Y [#%ݮ4 aU K> v.:j%*=T$4jK @W/>͂O$B+{P:+̿sq>?a$HԒӋ6ªO<)9-NKĝ~F&LVOՇ[f!ky7EaVgo\ q$X(}^=AhTٴ$!B5u~Fض2͕旻 (| .t "E!M0d~sjt^3[}ef-X*;g|"\0SSíDcJt {X@5CHU^%wR㜛~BGy#cFuܭyWJGah͏ 9*-5F 3T%sٍ M($@U7hڬ \K->Mj"i۞ož۸Fy9HĴ+0Ax(uƭHG7 T[`D|x~HBH1~S?)-xc\>~op{[3t. ױt 5!b-,^ kIW_)]15u׸=B~|uIߊ$yG߲VXSn3|$nUw RYYtuJM)*V>$[E:KW+wB >'hW.ʟ\\:dar|,yaxL~WHV#\KhNyd!07/Sby% Y2NjAg_ \Hld}F:: {/MW,O1i˒#_Isku)Qr[zYVP#!!Oꉭ@(X؎~#'ОECDru'p9 %zfde8YaʏL=sG6aM Yy"{k+zw/>ŅiEF0&ᖴ10^"kSdWkϸ=-zmYƄQޤ!3G+2|+*g`AЉ,",FjtW\ǪFYM̈́i2?fa 3mGCJ` 2&~q8F*EZ/J|~ox&qF,,jyO?X:r`,,x%iIRL)߭"xgmD;[8Lyz H'`YXx ~mP!K~ۧV'.Y&cwG,3&y,敛t9S %N2kO~Suc3>55m> VOB {{u)pwjN[\{8-=Z)+=-=1bhH'*g粕7FZo#/2ZI~10gaOB_"$eYobxƎ9n\:qd8[&+-`1aBi@m4G.&j4%KZB˵I5*r^-7^U; rCUu0￉Q ux t؎ -\~?ڊ ;2}mǂ`6p&Od{v=Y5:I*(.PJR~򍹺GJMGJ2- \قڈ+}Cbo m% ZЊ-ޝ_ 7v@ "o (BRC "=mFMl( Z `}(i`UC!]Su83[ʊ09ŷ-ח; 7`Ц: M2d\en졢Gj.rFZ=)z#sS¾w骚海 {$Lt WUM ;y(EZa^D>32JL-ϯtpe=pnj\r!{H|/|ƩJ;fKN:k%Al:5?ozʋԩB(FP(KwΣ_LHi0+=t~tkcKH>\JRT$b$U%`fMQ~*Y5#WLZI3N 'P/Uo|ǤQ`Y{;]_Y{.ovpX ",,})dGe^DDːjg@/,3 .jg,\trTؗNLi=Xlug^c-G`ʧLmuP~i3e9 -Bga1yuWkU?!!s[7`&k&z`2zjta#p%RTޗ5'}"Q7{N"tAn1- F5-YzDQ{pmnYdƸ&Ok|m36t̕r4=7qC ?kR,"'`3sߎfAbN[=vS*{ }fo{?U6I4n%]E9z0 "jй0,CG-{7(8M8>ޣĞ P?, TKf&o乳'*gZ5q;-ލamwp4}'֋37k*7ވHmb#;E--wS<> 8\&;AjC+crMbym=rcM_y0?Af۪/wCLǪWvy6*|) wp.qvK ], У6fԱr~ %q$=tfF*1P}`KYbpʬC灅k'oʦ< X˜Ҿ܄~E;4iU S퓃/qt9!<3*Q86 Ў]YgjuvLIL"MV\EEQJ2?23Q}eYfgI6n4eh6oj_rdSd5k%!&2Hxi1(* %?|:.W+ؖg"i"?WTuJ;+Iz] QEM@Z,l;5|R,C%͇Heϰm>$Kj$#^VM`glzî)L ^ZI& !]Y}Fn#S UUjʒgfAm(W:TOgPBN1K3;YLsPG5 W ms'Kɬbs&=\ 6WK쓋rʎ_Gqҡ9~G JXjH4Mcm;!0V7IjE7ݘ_赔5H$HՕ(L)áL[5H' Ss*s]k/+F!bqg BzlZEBhg@ @ q΅ /ZhEXSi?8.Q3fo^}dI8 C꾰ZfkkO3FJ)/ k7?$j"Au컍/cdtOA6ů)ڐLT߶Dt651}%lei5K*<, ը[Tټ,ۓJNak_@i@Hfs6scFX;RRM\YE mYԔe^;=޹6}TL ȒK"= x.3 ό#m%I"] Xpj"vU6q^^o#{D@OJdovśNMy[ 8ϗD8s-Fc(U 6)fd8n_6Μ Xy8C =saQa3_EQ7yRz6u 1qO.oZ ͅ~Z10G= 1ͫHQ^O'A+ 85dmpUF;!{7ޡ#(&S3~$*@.0gKUݾYQH h Fu [S>D Xwc}ȶ@H rɅ>XJEoyp^}uݹ_ib98`Yvi0ŶoT5%Taőu=d Ӧ0"⍚[.( 6_P*Dƹ\cR9ޗ83gLܭ9X[7ygf@( aF-Dz @m#eߨθO}p }jӀ{-L% 2:c5ZFX ^ڬzVma5A4[p{ `^qǩ)TӚ<Iy+)N&ƺL._"vjVXILkxw⚧ж|<";Rv.fIe'y,. Camyy*&Gť[gMڻ ѐ |%-+-d\=}rDǩv)SK#_8>vV0O2/tPB3cӢ)"j~ګw(LΚ@2OBj-œ XʿWe:{A:W”W~:TꊉCTvW)LMk`$e혉tlJ@hu[d`U0dO fV RqnճMJȉ†d#!;}Կ$|M{鮀!:N:q4΅2=MWskU$J+6Kur:%H19;}rvSysĞ~¬wm@,Cg!ʋazL%-m82 aE8ɿ&}|) LNSj+*k K/ZrU?>fso =oi~C~/K!E!m@rx;2cNVDA)`cc.>;PA#d~[N .njHI/BO,2xC_@ ͇DmP \vViZCdc:]N] A`9ˏj&Rq]r ܸFAtȏH;[PmTat@L*\~k^vϪZz3lL6rc|[KܽVArJ8 r67Hx8'U9&^vw)629kk" 2ܻ׿MƝOK ;[6\puظ-1*2ŞLNO]F?Z_kojJ:sH.ɬVmq;閑mܰwĭH[>(زv+W]9 lC]e9Ntj[{o|7 3176̥t [@O C j#hP j5e4boJ{-|0NMDd(s9xxV@c>oSon{dy,h|/u ~KEDSoj$'ӄ_MZzH(;hNFZpV\:+ٕYդ";sAÓ.1l@~WD&m0Gnkw\d0nNH]4? vF%IҗlȗmJb,& d =%b7˲o9@*-B/S%MGTtmL,4;6OyPf؊͆ WnڞFzV3I9*yƒZ\ 2_AEܝȠ:71}\jO|*,XFJ/̫8z3b4h2 RqiC Nu90 .BrQ Hڢyzן"&JCz}U2fz꺢2 6VFF9QV FЧ]+w[Yѡ$GYTW $. R*9  ܓJjs`9 {1/taC G5b]e {5LV%8Fw>M˥k4o߆DB$I!vc4ZC~!ǽ9axC΁4g!I ){aiHNA1F5<,yXeK3m˶PS0ފ>An , vLh~Bsϛ!(}(C ɑ{ "nLủ&,hۧE|.|ScK9hE0}ŜotO\Ak HR@23H 㐒gΧ4V 4B W(ʃ6c6\F{ Z}Br5BsKhn|'co}JڴY.@;0:7yN|M>״}fx!Ca&Z3,`, %r'GaIqRfW8hhrU*$v4"cD$KC&8v 4ym\737^zHP#vN %f-1E`:&jGH [ІE|c.U b6ϯB(xvd_ɪohC+nW ,(Ma bxvk{ݣV m[[Б? 9[9ߚYAќIE֔.| CLg8yD ,% ICFv~ze)_MttaЗ <@u&O<26/ {Oz">˕G@>:.xwj sj<âǠ.sG:ZCԂ߿TʹtKnJw8Nmߗ;#maU RPXW>Bβe6 P0`FI"XKXA\q6{-yLD*g;ƝFj)BpNݰ7[ ddDs,[n@+ x uM˩$Axk':Գ:dYn>*#K{ю#[uW(g̲6W 8Ʊ~߬vWaZ:Vg58>, x@Zfa5?APAXRWm8mƥ@lmV] Is"pR ȱn}-\|9yD!skW*G̋ձu]Ӥ됸`ԂA1HY+L良'2pa*:2{+Q#k v|^]ߟʛz8ۻ4&fZBh i incvMBB/7=#̍GJ k%&kxQ(-B^}GVDPv xr{tm#q'ޠnJ"_hf`#LNr{nӤϡP6WXh~韝"S&E=&[mܪK4cKNCB }V,,)nAIgZ;gcJ 󏮈řj,2/ZC/x;nԄc 1W+ ^p`ZYN‡%:~G{9x\eޜ\Xa=yLg %5g;GCdj>&K|]GK yvadrpw!~j sfLIқ*iPd’U(a<|ݓy9Z'y}QpI1MA,( (Tyd@ ŝ0 UZS<#BċP 9h<_yRST@Z~0XE|YAG&!ڏg 3w'`^ܵc$OƿiQzXTD`C4MHܓI]f7xMүr[!*$ʽJs~4n*fT+]N Z2mhRN>Mx'(EMAa'a}53BI[wt X/|.IgL5a:42ikUW\'S>?`rjᲂ)ϕ^pGnGUCD|!&<ơ=VbOv܍LҗG=gA1:,AL͸Ȱdgw'xu":rZBU#V֜zԬ=U0У[=3-zF33D܃ZލKW04cf[k12'+Bbn6!Y -So6gFEĪ鍮܅p4n6 bMWʪeD&@ Hb&#Vc;`bYoϸL-y%E󒏤 %zxrh&KWc:"0?c<chc$z^o; v><[G +8$JbDH@LRAbUP ~+Ed>]&4?ms4ٯ[3 pphDۏnܖ}3× T1x ?M7%KJ|nb$p^Rգ\3ᐛV|2wtp[&}90hÖ{ ji &nW}x[ Ȫ=.0g'B]`vD͡M36CgFb>ݘf3ǒO>-!KcE/2w{v踆Z O87>BAo8mn$.zXE?\e~wP} 'q7Gc('3Zh SsML$E!9A՜`$Tݹ/ U02vZw}C4+^p"HJ߁QN +ecQEh"Sg=y^H5/7* i͍ {M7dPyIAv!xQ1kݥdzIaBgiw%G@NӏJ=Qi]dVMf3U-̼]uŜx3M+SRLȯbt؞\VWUBɠ,KpW[! TX5MUfSRa @?nO,F׹e&LPvZD5WRb )r$B2eKz]n<0C*o؛KWj?.l+OBϠ0SC-xDPhV%vGU7[d a'oP2)s,pK—m,圑fd_{|F'_:"a!t~ d#ed}^0Ya(Ӵ[Wxt?EkGc3u ӧcŋUkdf4;E՟EJJ90bZ|[\dۚ]mh/| 9ucm ,]gLflq42vo䙄&#i} Kʭ;Y]t[ Sg'z Nn1d%^`,<'UGUEZMQʎ,@ Y,o `&i*]Y~^ mǗyrĄtVtYvBۜ_ uu۸@cw_T^sobM>&ʠO*nZ_(&dJa qFnDbRV [$:ZH{5twE0fKڶGzC:#lSxqlK:@y2 RR-m[8-ݙ,e[#I0~5s#xE(^5an{܍fM~穆D!io"ݠXx϶1+藒@. g](a9HgA3^b@!,/.P~޶(@eKkOH3}4<b׶dCH- ! x1˴ů ê]H9u=͎(an;ͧzKNb1#q4wm `(=HOtK)ɕڌyp('<}WCC˅]?'"(0ʾ/ cJBU|؅і0{zĎtw6,X>* ~?b:꾖W.`5ceAԝ+PVyWӴ$ moajk͓.g,'@[Zx-{]Z "m;$е2h >un|F k^06 S>N7g1K. .j'kV7-lo:T96Ʌ&kX)_*n~׃'?C$-w?Np}e״ KЯ־{[Uw$ɕUkOu`A+GWE9Ox}v3 JB;Și\=*fy523s*7 ^—g934O,GܻP|/S{ ~R۴QcZ%02cT%m4YNCc% B='hs5HtU%4+ 7lή8 >OE$9l9tUy u~ٖdRϯ<͎"Ij0'37t`EDٌ[X [M Pyl&{7k_P۹I'[Ppت=J,υj F^ze5Mi@uCT(2%?eїpBe:okAvC&9G {%H) Uc?ߣQXUT-V`&NaDɤ&)3<I] 1Gj)2YΓ(gi`0̇>L8gg4x&/V,kcVrZ =o9@`fkHb!l'8.DR.Py/a4P$%T|TFGZTw-z,DG ˢ,\@O6F ^RCMÁ axC+dk &5JVZXLAw_aQf. |jJϞT-%m0*WCK2NNrXG*MZҹX9iȐZ~å=.l>'CBXCSkPʤ|b7޻70YV/MZbf1Dg[v-sXl߻L[ Z= N*)tk[EeB[SZ ΈN :b ` =e!}ъ$~ g-<7"M Jy=TȘ+sǮ;㽚|zb=^#7j@?}v v !6$Ij($KTi 83^0Deg J )*Y]A+lxX'.id0ɝ#l:=(h?t\{SNS1p*IR)9-ƼD1&;ߵ \V.=3X)=/_ogCr=Ϊ`C̳4{?(:=ɯS<.Lx:Cy1{2zIf=eIfNm0)0D+YuHD|*GtZ 3ʶ[n u*L$`:wƎiGJ:t']\nLOM2Vh2ޕьڬV-&Z6PJLH;haV@AAj$=zWjyL}ª{8u<A&NhMʯ4vQSW^-YLrK{H0#.9z4j%aL= 8OV߱lQt{z)Oj9^P(w Pv@&#e;cB:dg/j=ޡR^N]KOW-6{xP,? f:wlo\\:Xͬ<TyOh1!h5FD ,#? v *j1/ߢ t!]gԉ|Ub8{[! +sK*{`-; \%.Yr3$ȱF_[JA00_7E /,`r5|=! ߸Xʇ~f{]jP;@+y;j 3揩<X# / <-d,/Hs. S f*61ejlģ@Xo [2YNMP#7gc^bqQ`59Mbk⢕Fsʨp'LUw-wf$bzr{$A=+&zT38W.MKo1N'R/Ԙ yohgK v@nn'!7WLT"|"^F-( g[89<\~|JjEC ׁNu ޵Abl9,&CKvNL7i1gdat;ؐ3ZK)q!(,@G/n^˜:ѫ2ݡJ9rM~y.O^B%VZ/$۴r\ Zo9(8$ ~ ^!~G^Kݵl?"iRҁ}F!%W"M7}QZ5+mJ+:6Y捗oO#NFT 1ҿd~s46WGx!gDUWYتG-Ł)A?ZθgԄy+&'ߐ* v_l6s:uqO׈G 3i/h`vz,a1'-/&&D\Ǫ:ŰzC㄀P QuA'zcλ$$!UKgp6} OYfmāu,I`m"Kȫ@axiG ҠY1.+Y2<5|y#fSkPuHOv'䮃Pl"3a|P:Pmq$qC9$:xmg@Bxc\mxb2`H1K/JȨ/FeUNω(e$.:sUKDƎj=o#jEM~W$E([9.SRah&҄mK: ,8 ezcr̻f.vɶK}&3 dKZ ߰)>Iݯ5! ,G%tbz.~:}倯Dr>HK8\&ifhA'Qc+{F[1vQQ(<Ԭ.O%" {o_͔*+4 O`fguرWHnɲG}.d2,%.N+v *WOn£7$?݀9\3/r^xwƟ:|bV3,#.snw'SAiik}Df}{qM0!x)TW(Meg?u,75vO~R ~Jݢ{a8;k͔ği9DyH`l:gIGylz|δhװK`ĨÔj*I(=ht \m1BҵTT~G"P9-}5Iە:;“u鞳uɥ1ɜ@CUHPpħ'v rdjaLvy` *?ka.&[ާ0;N5lK@[z+FlD@q}?Qx6u1LS5G>ʹA`iϬB ubSKwF6*-\xV.JWU[w(^ s~i̻u{,Cە?UʣVt^7Jl (ec\VJ ґ'ߙ_zg;<8& Ms5׿r9bM Fsג7Lz^04Z/e؁o1uR6!6 A_c>ɀz.]J jx]5gNS 8N fZ :+$!K a]l*F (xEvSs( fW!k|rkVPo^5mA|V`w˖i07IFZGÌsyn~9^!/ "kiN~ԈqO3OU*h'D΋ (+CjRWzΖM#POf4CULeO8dBm -wIPX ۲ wYdBQ",V!~HUk/Jѽ᧓t”,.!)q#S{Y>|L6Z?[^Gv7 ˀϗ5+k {;u,ks r!wscR9ɲ 758.>o$-Fh4 OM'h)*@NA7ᢟ'-T_):=GYʊYl׾LkgoyKJ\Y@KߜFׇDb!mfHM61 =5Y@s]k+w_T” -%b'ե>$6|M@+Gcx1Vfv.,I cf>sސM!,5 09}B@V`ZzFޡxZx.o+?R-"4C}t+A:،r"O& '(ٙ3c"JS;a0boign*,]`!vcQv]%E Ŋ|h 9~)D+vX{ݞfR~8s?Q[dArdFܝu} aXf{ԗ$I6ЭU2Db@%Ү.~AFdH! T3=Ʈ$3};w+2w"td$-i- _pƮ8d{ 4ta1Ntn:j`,<ks/oJ dj 7WJ()BVy RxT7IHHw4<\OOHɕ׮ bk't ~<lZDOTtr`9}( '|Uon\y9iS3@v͋Dʓz g,M#ӔCp#Yf?[8˴G%7<؊|\7K 6;l\Ezc̃"sn:Si1 ehl}ِQ(rTV"VBXaSoRYݰB}C ~~4ߥm1|.WyyCY͜|-Ϗ>.z;,s_}u#@9Mzc~q8l;6׊wҽ'^R3r!ցމKy 9A`tVF`'/r>': ɥ(d}0 SaLLJ6>TݭU`L3PM>Xh~K< 5 2cG]NI4^z C# ^ȣs.H9G ĐQ"&`.l 3ltpWR VM Ӹ]AZ+.\Ï.0K[]|з<(0 6̊ ~RCi 3*%!?hMP#ة{- M7PqOdӐ]kkH/+d߁2ɫmN15 ŭMPj ve(@Nzb{?WZyLj4Z.JaLV3J0>m=}&*1h%艠s:캢n_ x baJUU-^R0}[11nq`KiŵuRo|K;%MY_0*kx ^N僲9k+]I9,-B7c` b*;&vE0gDi^G4zN,ؐO( y `F6'U>c 5muc1-> ALϴkf&=ˆlx f|Q!=\FKƌ/%Xw= Oe cmN1sP3E4KAF`Ρ)!}ڠ#HΦ@D$vpOLi1ZGܑN=ciLIAKoǁf{*SXLamf!?-kdz㖜6{8'[JhNR˼[x. 0N6%: $nJAlV6fhHB{$C5ۑQM-衍1_9}>j[Lj)~[J] KPy>[s½ǘ߳P[+~h9&s]QեHWǾqB<5~ȓ)kyP]aH 3(Fؤ{O\~8YO!&VvX`}3ܽe>x).8zAwֵhN$q[2 ~f%~y ⫷pgh41zq4.[>dMȍ%0e!j3XplLJB1^΃QDƱnɐ 7A> H߾XveFbPAˣ?J:%M~w3YN o'M!$wa!ځ:9#BV<b"VteW}`SeD[J?3,|X'4x{>kW&m'"̳jZjƒP#+}a˵/(hxzӷ08rېӹa҇q.h-lM! u&Sfܸ{z\(ޞ7L2+/D( `YTf) NʙÞ;;(*&8mCW*@T<œMsJ 1eb_8Cz 9N%RI|(% L(4I%q+KС@^d+4X cTBdBQzЮ<=O G6B_V(,G{{Ϸt߷ )`ʇܳ %48^r 3&I-^U NNDlqkRy%䀷g. Mw#Q1FhzO0Ff'Crc")Bh=bm=͊&@Z1.C$^$Jŏ,>9 4 ,Gjdcu=dh l[!b$e=b@z^cGro&KPPt 69҈/P nND!z+q?8&Ov^И Yl%  vOuX ֈ*Lcj6}7s2 WϨÍO I !F6VO (buS,tu/PDbɥVhv3<_ #/4p"ZVwO{v1AhI^}b2M22(_E`u{jCK']}EN-@/E %f?,"wi_LI>q,I@|+Q(em.Wс 1a Vi h"F˩bsܛ۟޼kX;ngijxZxN >!BέݪG#4;!xRYAv6#E$9e xq5"ȓmX%nLri+!){6N<̌=_8niw 5OX-a즭$='ĄWeš:tYŞݞx$ؗ@%bo1^EF\MWäXlfneXɇi!eZAbG=6:q]$iW7c f3K 5Y41IY¿|\bj^i _8'D8$Xica M˻A埶n~JF=0ߠ?KHǞJ993&`/p[i'# M󪚆kVH~oo;X4vBC  +e2骢zʎm T Kr/$`G`~XP$C' p m-mWoc1X|i szӔ/xykeD0\O%_4%1KIݾq|GܬN ⼐&s]b m; &%=q>NC*gӏˍtP*1K%4Ƌ?~sJ]dƸ1j٘\R_P`@O3!IK>vNw7U7~<&3^#Jl[@9Y(e†ӻrfCh g'Ni>lR H큮RMh`~vkG&9Kk꾗Tp͆w ˠg{ޯkEOw Uib$?wȺ1l"[1nX,Eu1/ \C?x(9ܠoW:vkՐ˜J}Y㗍RZ2DSMLk["#ϖ8FȿjY ͯ.?X$ڧEL׏8:u2p?FuA1UcYc !93Ԙ/g*Ws9x N$VE%:xiMw#JC 8љkWx 8" P,JˮO4X4~ʎ4cҪ`˳emn'G$P<Qwȁ)3)4c=r\ŀ}!# ͙<8ǝJ9E"x2gO]Y5>1(!LEfF`$þ֑?@4kPpo7?<6H @>ִ)@ LEILg- &l.pI-bb/[9U3Á&HSEJFѫy6Z!Tư`)n.~6s&#RI&LmOZz& Sݝѿ_\PzlZQO6Ë́H,Sa4 =VDϬ`HQ3$:xEێ6eg2rfMNQ9PhMmӱ1B (u 50HP%Fxφ$m?YMf Df2 yX}uJ<~ =+^-}:=J;JN=bG뢄5 Z&'j oADt vnC~n&Rs.?B'naBgF S\Dm2 Ap$? /?p@Z"W[k0&8GNHH-);U:țZob@,ġͪRAa[4ҁU`OUḄWLӚ}i}NJA e Ocx]m@+vc $'0\ j1OX6x!<>Qꔎ8˖ PMɪ1a1Oc=2=.('ػ._>ҋ(K9->~+оL>=/ ܜ!q])䧈&=!GրȻOag[S-+nȆh+h4dgEi29fjXZ%7jd`ծ2̿G~HP\ ɜV&EVmd2nr/}% GVṣ+ \UmKA#4Ũ2H4RSls!Ҵ %6hO|9ц_s5& a76٪;7<̎IoUQ Ϡ#Ko8<*r—`CKb(pI>%A7Ed{4)mewO)*͖WmbƩe*,O_{T\%DS+7>êT(bCv[ QCz'&tĀ)" F`[Dh Ci* RǒS(ؼé^idu8ZX{xel#T4T,1ۿVL<Ž߬|O$6ju_&>,7⣜c/gNqx 26+:=G^2B?,+eIBm=X#ZsHGk{I|Rz+ 8-+@XBs-:2^%&_c".Tx4(gJ}nLaHV=z]2&/y8,uh?9-I qER2AyJi¢xfהw%>L/$.A-vrW@W~RM5`'FnHaV[|(50vD0D%0I2<[clxHZڜ{MAaԊfٯ[^Һ[B FsL6J{h9)'4Z$\^#|*@gH?LcM}*+M?4I7I}R.`˯묘Y`19Cs:DL4w&fŲ4V{Xjaq̩ R3e2;:Ƿ]MܒҤ>,KեP/?EMCxTٍC xvDwƢ׳_9 d5Z[P@xv\WJ10(J폙JJ6 fПk7 }V!:Zad6I( trηlDpz&H:$St}uqR3H).# Ox4H- pxU0" ak&6)8YYTdL[!ȴu7 3@IJT?_K}ٟͼq\Aڀ߃v{x8]g_ՇO5> q> \}>PẊ#HCR _d:Fg unrcHIǸ;[敁c͵OjkLTN=66rç4c Ib\?Sߐx <ʎjޞr0D,B0IqkV,Nɴ'.$~FZK,Ceܺu|V@w)Ck)M3M<`/}_kQ%ӆ`j Z\lf8IE?J~tmÞa2~{RR=MBR>Of|Z(OF-aͫbp5Hvfe%3ȭKPXՙD+$b\!JC¼2lJb` .% xHfNe:}+N.vi!9lz #%2B!rLSj EXpLV$Ixu3TE1hcv*{\y4yy!J+lC~~o"#zb?. ! pvmA#;2eG|N(:pz6Gޠ`aL4 1Qd>;lxM Cir0>-%-4$U;Bv/ƻHKP2E#iCmi2FZNB"oJ#L-bDlF vF\7ZEsR ld91$_chnGPs1>qWLRH:!YFdFzz?rQߝ'Ln#f'-`𪋊ɤZ-Nkof㼂q&SplQقG *kb 1xai@l,~"GR-VHvM7qjſ3L5h3~~M/1d9 ϑ9GL^EZ$y~B|;x!OK} -5KVq.7*z'kPC[4?V0~{7565j6 rW 9͡JGIu2 1XRmu*/tW7+ĵNh(II4lNW51EN YJsBaZF\zMa%d݄UfBzg(lseUYj\U1ue*葜z޶_ {3Qpe%Ru "XT2;/PkyY;>я =apH.;߭Wte` M Hݟb ZPTE9V?GZbuױګW~:&7X ~p[`AA9CIAƙTD#Uʛ".V=*S]eJ:̏Xߩ:F,DE4 <@beV&jƴ`@HW& .P>tKJY_2`t[@'24M{ sP+i= ;g[?ëM#\v&5[^@vFqZI!C*|ۙ8S>,T7_ڥ`/e1@'Q,]-N#JO‰U)o 0\>7+OQzI=}N>)<~8) S9 d8#qXvmHItޞԨYaI cDmX@,"e:C>-r.oN³Enxs' ʡXL$ʵy 1ɻ%IyHG#*}tJxf1Yi6Lsc9Eg[@_f0k!$YcV:oISe@aFbw֒}Ư_V厳R4$-ibpk{<סݮ "@(([$u'.Vh,-y*|`zX'L% \.K)oNtNw}iOQ(d+3͋_L_$x$ltnQwоo^۝ю+„/W5JTi YO߈yP6~hmRi\mB z_U9 +JΝ+:I#$5Zf,cg$bkAхˆ8%'((|V/ZDΟB6ql1KhM}`f@܌EX1%ᐤQt$2$>96A!t{if`rl+2 9m$='@s: / e;oB+mN$Ʀʀs<(I:ieHyG%صzt :ݪ8/fO#wxR7-ҒE/ 7N\ẁ _vDERJuWI#96qcL}26N*W} 1"v@6nL KvӢ1rO#'*_'i9=m $٧>+˳g`+ HE^QTo4ha"yD)Hv oVeExI)^[dHւ o{w,wphӲNNTbi,K@Gds]I ]vk6&RӐ&,8{Xgy=kX]a)5IgV\Ka;aрCF8􄆩,u<rijO<]W"+t#]8' /̕V6~2}<6Dz5HL-}ak21RϋQk6 UjC^ mYSʤa$~VV(8/Oo.w=СY^ #;H^ rGT=0w^hrV~\v7}Ύh_K]ŽE,NZQm{}ET-^"!l*1hLQ蔟hF0լO.?ָGB(|mSV`m`/}1N0~?Uz*Vs,a(i5IFiOʇNjM;UqWJ(hS 3ޏwЩrLn|e4lR҃ᄊUnԣ@^ٺ7< vH(Yv5%b6g&a}M0T+5"i9[[mN u qn /IcsJ6%ǜ9#Z[ROlE ?gj/oM:ն*:h9֢vd;?k=vc[fjXeǝx_8×lx•./?(rU)[^Qߩ*{UՓzRJۤ'my%ؔD_G!Ld y*S3~/(Z]&-};zn! _Z.xm \+Qib3jצZ F^!:K1œ{I‰MϞψu#oyA/:|(C(,.+S(Scl$w(ld %6ٓyh)#ʡɏߦAfL5Xz!m~ f[54?p+$iLR|Nj}J/& L`[t/q~Ձ 2RVI[zEl9QUwYy2؅}78ku;rP!`~Pa"9'nG('KOxAbu>_\A1ޛq{ձcā+sMf;Vկ ~v)벍ʢEM)oM?S#vGPyL`0֠!S ̠J Y;#)v*uj ^ E4v$z++=Mm&"Qg#f3>lޫT uYJ{%TܤS2YK`9ECvTY+1&Ja+rxbE2zQ^dżsjmARFReXֶ"Een0t(0!y0[0!7#Эey `mKɫ:]eĘ8rҩQp z'yjC]Pn&qSeRр+Xipm("wK]4֣68B(L$Tw4jHlX6m29LJ/Q)ϻ$= 507Aב }p? voYcx.X.&H .=MfRf;ncRs^g3R9§񎱞ZR^UVT)<\EdeJw6-%͞W P:_ _\gih)9'ւ;R8r5)8"g0uBܽm!fi'l~LϪ?F7U=4k 0en:ʮ_d#<%k;}GJ^;}b#Z+ƪJ#G+WpBYBzj-$OÂ@9{YE v]_~*˓FJz=\66ҲFbu fq>huv+6Rװ]Nq\z*v a0tߦNRf ;ҏzO96\<䴉+D(A ΄|Th4tIYnBNUoB1%߃\`{.ˆ~r BNo&۱D*o-_]sKpUkU`obRaqٰ7~F0qzٶ+!JVAeqkYއ3A֨L;PК6;Y?!d_KxPPٮ[=/}RJ>A5Oh>Boqxė|􇲺ΥW(^`Aӽ8{æi#{vA\'ŊX2Fym~*}YQ簼nsPOKUqF&ij+w :?CG| E`hdz@P`bjѨREf)Mg1ᬇ"Z=8Ʋ2;H/ P{t b.El46ڛdj'34Z󓠱jM^g(?s㞊ʄ ˀ){s/isD) PMsr:E5;W|"cagXKǖƧVjDK>h" ~zK+ (#-W ZO\<270XXF_1IS !KZHcc!v?1  .ͼvՍQ #n?98a@Cf:hUohnQe/O]⯓[H=jF(W܆ wqZqJ -?NmįC0 !&!`) iەx'>u4ul 2by΁NPISsv9Mv{cls*1;RcwByCE. =1.)}}Be:+7$kJH6.~}`A$Q3C%woʎU2F%kr-LLHj牫K6F?8\PB>wtv'S>t"Fa =]Tcg>$6W5po.!@iؓgbɛ HFD"A{1@RbL[g.Gݪ=vVfI%HD>zsg lIhU'81 I1D~LЙj}֤/xW3;;~9\%EhrGǶT$̃rh6MLE31k4'_(9$@W &')"Ij)_YO4.v&a-VX3=.c_'M:Rq ,xx \IINj<8-%`L9xޏ.Z-7?/G?<[#&!7gwA>Ba%ޱJ). !Z/`;^Cl9m$BcY 2waa a2?00oz^GsZmĖ!z,'HWc(pri>ㄸU9xl0|SQ喦o-Lj`3 Y-ٛ$t3w۵ҙFΉg1#nqjP Loƃlz1 KQn˓]L$!!oI2{/8juыA0ʈ0{hB[{n.~$)(>_E\}OQ~"y ?1g B7t-w4@3[?HYLjs 6LgcNS$#.t\k:m5i{ 蘒!TB>S,&4#nF}\]25vIP aAQC6ۥ xxk>o`zE`S ZjP]/cWr5eW-8Y?~B0V&Do4,|9@<CR^zN0Xai8Q_UտFeB2ZY8ZĢ \b_T' k*B7K'cW.`BRq/ ]W}$+%匴&Slj4ΒYtAWf<Rr!?Ӌz 4PQ<ىΨ|Q][3ҨC@[/{Ԫ mY?!,.}6hZr șk)d3w=#)Pg0UW+Z-$C&-`K\M:mݭLUcs+_)H#1m--!biCqU!6 $Rw=rx pp!9l`DN Wd㙊RdEXؽV.m ݑ }L_7:ܴkE[7>:U q f]~1bͧynГOGYsVk{֓،ͩٙasF9\<;%0׶ ) $j?cAKR7oD*("8 hBxSN8&KYEꭨ1bhieZ+l>orG F/s1||s!Hz:VBX'|kD}PPbꌦ}Y,{aAogmE$m%>?f-b1cХlԭ^'K1qYP-f(V?{_2O [|U'gY"c0&+jn=%AI{:H?ц~0 ^BPjLjU'uSrh9;?fKz[R0 R}@ rO\%G&h5UxU&?IlA.t"\Nlvˢ< U}(+? =گ{x CHj5#`hU4wyY- ›cxŎWQwf{Gk'Eujr "| ٕGWSngo^`%.YªOPVnUKG]cFމ~\lK O,NTc9ދ:)P`48V;csFrd1Z/U< >}q"&K{&#qIh$ΙhLp*YK#<^Gn0bo|-#%zsz'lk.dWZމSL7(M3BKd%Rechx.ks.KAҿ ]GK!Cg\p67*[d+YGĤt [49lG l؀-]1׳ ڌ S qq9N{O{hh'G-%[6Ϣ+5IDj:)R ؖ<چ"#zֶ_{Bpi ilFKC*D&/7|8PJ]4EFuuS5 DOr%4;HJ5Ɏ?1{)vQnHjpnUz7ڂ^$SjpBrdαdHKJldW\kMK7@"iX_bw~ZCn2p cYw\E. =wc/BdLDjHo-Z7coG8nOaNEdVWc00MJ``SZPExͬjz dhH&ؾbSKw  Bl]^ =ĆӁ7M AI5=/WMzm*Z>^I-QT>ɪ%=c.SŸ ڄ# ?Own$ OHCB!t}yזRLА35lm  "61IݜV2'x|ln4a8Amj Aꏑ4-B bYJ{4g8uŀ1`o.6|DzW #RisS^w-G܈:a9-'>;gns;?g 4tc_,hֈ ,2 h`K}C3o@vJZ$O3^;>h|4.V)_5= #]qç>eպu>{sV#0˾ UĖ K "/⌔c|K?ȿ0s|N8Wvߞꛀ>9vr{yp+/3 bWgo4eY3'+TO9) 7bӴv< \m;*!|\t/@1oo%k5֚f)}`4l{"hn?wiA13=@;ڗLN<ϵ:> dg:w z t!ui9$7 KOTQ{oGTIsqeA x53:m^b ~&Z^9#?P F;6x}+*$+vI_w$Ǥ)z 6,IB? E[a;u;"CσwTܵN/ v_A7)/2']?gY?!'8\o?PEn "VwrGl,z1OEmC%cDZڏoK 0vKѻ^ތ٬ .vQT1¥֭/b jfBcJjVS ת0 yݼG6s#9Q'U,C&nf;uxH깪d*I':f0zZ6}[^CY%>T8g8smecy4gA׀\iv߁Z}FdC3 |zk7e(B[v܃qH UW}HљNq--Zқy#7 ݎ**(LDl)gX KY2wO\s ȑ2J ? ̕ G.#SS4-mG%wHQmM;#AȄ)w-|<wP!6Q$Va KvPEBI;,wc7kC=] 3 C4m3Yg|B)1ݥrB0+ f a.O@xS'e8YކA..8}zqJUN _;q'um#cqTLRf"j,5lח;8" pvg3tT֍,{&f3Qg/V DduAOihOhH9lӢGw08h#Z9e'YJG{ӊuCenOtBUc&,jaT4scx+͘Lt6DPޫwQ99Il_qLSg/C SyNeoxc9drHy:h%gxUT@WN|ѽ<\p=ml!jM% Tt3u Ll#4&)tXT N.P_>)'ցx^Ek|ڝQ[8n*u,M 9i=*VGkc%ؽaX!*Ejj v J{E6fQqHpoID9+b!gMaG^:^UZY䊅Lk(;'OCOE :VڒM Dwr`JOV4H LܧPӍ5ZHvLk4[$NL՛#tt-,TQwl|8o郹RS3Y(<婨/_w5 %aCp'GPc9[ &2D|0@ėOvG4ny=-rvLMx=܆ Yt# x}-P1Mrn~B&N|8葚™kME`st˔C~M&$%V"z KOg>s'jk1)œ$~;Mm9|/9.-z1]_hlK,%tB r$d + BP3SYQZ;^U{\~&4u#Nry)^cY%f  a1m6|.Y?sʕt.4U&4U럍<0e8](fVgݺOY 9C[әU*?gEvSLQ][WlI&\5 ;`9KfR4pbS[Y̹xuxl=OYw幢{ 1CBud(L/K"x >M}x<M(C~%p[jcQʤog!s="AO8ߨ:ULM8A?M(0_=.kܜs\{yiFnM%PU֒sFCw#`ļ,J.쪳5*]zȖ*O>do!`<5M =P3}A+'=DޙdHrCBme/ qQ4CV\QOVȠTrl:J~_n0&D!,Zзl?6p,H0K7=Kl QkP1e!}I3t6˯U&KIii ]aK!H>lge.Aز:9{ ^4]Jf_ 9 X?<T^]?t-k:f j/l5%ai%ߢ/=v ,L"$3:C9R܃`#?6).G:/", o 8g\;D3I8߶׎UKJGWҢHNS[l0Ѩb1I¯c:l>l\1@#kȋ4Z/exԸBnsG<Ö<2Ž96hyCs3 faRx],SWW{7Opt JM9Hϋ[bvA@=߽R|xc7.H{"in{Ϛ8F4J3- 'Jz^7)x-F[ 4fđd11TȾz2;a[EkB5aηPjQR&A2dSi=̇=ħ%;\lk%) |=? dAw#[g񟜊otu2Q9™mZ[ɘ}7 x ِ2=> HW Q k4h%˷4$A%FZW$UQEI+J\SasHfBr4@UQ5K-)e X/!iHR.J&(/Ɋ@ r,O Ʉ@pxa y2䕞?I7-mq ŜAhtlv|=+`tYZgE~Cb4Yj3 mԾ{ۂInC,"萞½i7zWdds}QcH^s:dn\SutkPͪ|L^I|CcQژ_̕ }?_|&V ۛ U0|uyb,+y m9& ?r*׃Y7 +vv4Lй֡BWzo#-6=#*wUq*Ar.oR(eaE%OgoH %cy+Sќ([oRL% 3%!+K.F4b (Xc~?N'BK Sĸjnɕ_JܟAwsLY/r +X@"|F)(]}QjmMy lfҺF8,*Z-L4QC!ם漮͉rJ| r  v֚Q -?n" =N7jrʻUOЩ|Ua>$Vvt6>ɩ1#t^}mQQfMBJ}ɕSN5'tx.Bp5PQ -5~s2 +ߞGǹH _kY c@@&.șu7WtQI1Gǹ}Bx"I$xHy__Fc!a{'WW˪YP(XtE _ĵ26wh&T]B}&{1ӡ%EW[4p OڢBwNM6CeW0/돓T 8=r Q>SGyHK-p%ܩʄ= ٲ05b.VSEq_>h` :C'gNncO| JegSaRn*&Di `8(Z@3<6K7Wz/E\"۵~5(.6j}L(:=7=ea^ȼߦޓK_1@EK<ء/:l34 jon!q ^2Y"*}|U=--tpЇ0PصS:}ZgK'L+?o`[ R)CŸC$m0 `}ǎAYe{<=9!d`dZWv_؋h~X8ܦ:?R alQs Lԇ! OeReH,z1V6tMZ"(m;t:ǵ0y$̛^7p}rMNnKv0?@ujûpIɲ*{:;M,fKA\ E:>ߊ"([vu oA<}h8al5׫rt>tfodlxUFBҵ7T|8( JS'g 8ڱG άaF°rn >l+_fq/MJH  >q(>aRncR9i.?D$G az6!+=.IQ>͍#иmʝ|>RIUͮa.N`(eK@ֳGB2;RC l<_9jJ-_ÇTAN=b#'F,-lnяpًe3+vsԔ"'iGyzE Đ`fe8Uy뜙l7 5Ky.]>Ƕ蒤kZPoMZyDMM00_šV.ڠ]X a#>1f g3A=e_uy}hC,6 Vp jwO=Ɩ^cxA>ӳJt0iOG"h8A6y XF֮}֞ޘ99ᔇ/OLSךGLns/%!1(j0{غ;3q VMx[)oVЊKd1{E4PnNg6sryS*}bO)3:k*QK%] $~=킻H8u{ 炴mD9[,qe{'qh#4žbYȀׯf꺈 K`6snfy~.Ȕǵ]sjIkpش jr(>q\ĐjxFK[3ל :s:Ee$5,qye;y(U(;J" ,4SٿsigPNQ 觇8|{Rrvq$f0F)2ݶJ@S' v,I>I]mwȭEV$!?~6WTI@vd&̓*u|CgRnV~yCC6 ?ƞOeFU׬0w~ [& o|:; f}!{yp вmK䉞iFLFʗKD#>JQޟ/W4!VU1x~8㍭M-en99R !%pA)WY+=F>sSS6{"]M&j.e-fS#2&]Аi$NWx#*h6̃^ fFqi7D׷Gu)٩5'63ZovLᙵX3$D-QW28I e8}&{jqi՘Uwj yCZLۈ{ؘ=ϬOВ8S*Tf =}{jםB*vzN6ɧi9fOoy+\%Ik`b$sab{^T+#D;^ s05wGUC:sO`UV[KC,է *T(?OkY^5Np#ɛҐigq`gO$Om$zhcg['GR(wjJi,V݃̄ o YFapXQ8Se޲zJq0RMe%oMsX/^1^W6^IβX!k^wƩ7Ƅ}VWz؅Z Xv%ڭu\?68͹y>To5rmvd yENH,u=?=7moʷj-IQClFECyfwA6}2VPwϊ)܎Ro tH^I^eoub=яwsjtXDdb۬x1韪/&,LZRޏ¥q6QouL^7-'{^*]v@:EVS.62 QN/4+^D[EdRuO3?ء?j/[J]&DPyM<3+*+'aEܫל:Cyzv2M|Ǐ)), ^GuPOʽ?P`(@ Vpteɽ<&NJ yVs'@lj|wójiSXű_g_ҁV㴚% qBPvՌ$l"oW?t L蝉 Fũ[`_B67k͗ 6daFdm x1ocm9C_3KL^6]dY9 :Yv^C1IꍱmkoBvI|twĂb੗`#2H$ &yPW0rxp?K._Faoz&%VH~1ٗӽ|eIeۜ `0G-ZkIYn)t-`M*(9L Xͦ)gV)O`Qaw7ln_%P&U[blR=uq- eu1|@kaҩFgGtM!J#&{fe-OnbgCiP y'50QT_IgI rQY-X`YӷeE`IxSCy N" 2 )nYG]sC+|hkJ~z㻏"\h%S((LDQ+^xSh` `fJC~ rH:.T倶֤"_]KR_s='5oչ6a`Ɩ)L߈s;Z͆~h@x`Bٍ4 "J1ʵx6aK_'_a po *;c椺 !}<=GV,eð7>{neV>.hw~9E/ S3:]`iD 3jF`:FHm^s2 >c#{vlՀ.`1Ώnl~yڄ֡uPp=#iDrۄҶaxN1HiF׾ 9 q3.dYS$^$F:l`y@H ܈"ĕEZtqѼJ@K Tɯb4=e e/ՉsL1GN6&-75( pj/RB5Xh8vx/coo{]/7Ul)ѱMLJ v9#L,b$jy=3k>OZv-Y ̵`od HFĒ>}mv_F<@9߀ ϥM➘R5(.WGVwn\G9m".'If"g1rr1" m!gפXECQixɌΪU;[i,5i U?J3\]C 9|0>.JϤ1hA74-+c1J0& `>HaFn&8 YrܓοxXΨênyr1eƚ^c7I 'XfAY"GXP_Go!)ٖ@>}m!swx@#ڡmD WXjb ΂!CJb=_ kk!&bbYwݵ/ uқ$}p16gd;D׶zfFG67$2aҾ\~ t",("^,&` MЀvi'zIǎA{1 oo} a;b4juM}@cG Ojf*jQ?(@d}~s&l)b EH&\4E">VtqN8!i'ˮMGG'ZQJb|tzԭ܋MVnWW qE؏1NtNn{l8\KafE??#!nq:L>b<ܕ1K>Pb#]]Jy\^(P1~董y~ݟ/[m4ଗ@91%`2G쬬1S5ӪU0@RǛ=F*gYZ >, '% 4DerivingHOL-Word.Worddocument.tex7zXZִF! M]A-MՋhvG"uIBm5̝:qIKY2്u0Mtdw5Q :pј@/>pO DA-Oj¹cş!8rZʾz4/m-RZY꽉oвx@b>qODPhkRa0/A)h,f-@il=!+^Tr`"ت ȑCq58̷FIu:;DJ~ªŀrG3C&ESI#T*qjYq5 BU/@_Gg1uy&GQq@S/cC-HkqϢǡ\5~[c aTK+Mt70gi:$}%8 ܲs5r)G{;A,BDړ;3b*C$r|Q1'"[LeM*g&ZA(c깉Y~C 8ٽM˘[i-dmO錰>^]h&GC79_Up#4[c5ɴy{ (y?#z)WKABVgS%t-N**u&gXq7וt̬xn]"@|8\?&Nk,C8]\jx/ai}bbBܧ=}e8oXoPޫ8+!G;)"؂vhK{qQ Ƣa!j效< CjzlWP9q\#7rf};Y*U < Ovh 8xaqqE}+hYg޸,1|^ 5o4T]qHq 2+iWsn$moTGM@rxOþˢoF"H2խZfٙ 19M,74rB/Ti90q„0,;rɗE]U<26C|ꇐ4w(W }ose@YB\8^_† ̰4"s;;/cHquɅ1|=JDI1[ƗT#ȧj!'coLg%A~zZ* }'ܤ'w)Hw$#' )Ketր1_++:2u.L24ojCF8DCgЁӅ\΃p*+ȷ_!w$GCJK/ם?"(1Ǐ >Ey239RB쫭?FHZrxۣ}P1y8.p "Pv Of`_QˈCjWʙ~LtEGBă(NW8wkHJ"Ƞ[J\wg=aђgw`v>dALwnsz/=rQP,J.EM7'١ ?ܙv|Bvoi|pUHk=E:kUdY@f}ĵ^렦n+0`ߙNnR^ep dzt?ⵚhϔs "zt1?(@|WK-&ȀՀ]h<d%#^>Ć}ySpk`Z+_*.c%55yꑺj" je>9J)lY$Mm'UYi'TAj?sg^Z0Gk3ezN.=\>!+&8l&?uYWSZLӋ.yd:IV3)2ڏQWa  qPHvmy' o$^x! ?7 Mwz7CĘY!]ϕy(q(} R"2?Dٸ]2CyU|ny*(jx{G?a6'v?8YA㋄܇}Hh;PI}?Zw'%"NH޵)nG6ى[]$KYPf9` 1~O3B>MܮiX2&4WNx3 bZ|P2(.d8O,;Vϒ[tY th=@}z}!OsWTjdV{`j?=S0{vƵ+ʿ!fΕ)Љ+6#s)bs Fad}'73|`B} Eu nޘ0%`rz "s+Lbh$aZ|+=yT'S0TX^:7xu̙!MK Y: YeOuQs*3iUogYZ7zXZִF! ]ŗXi%L+Oo@b cl},8>:D]ҿkU8`Gh^CƒC/=ij׉Tgϩjڠ|,!Pxw'g:X"%hMG,i3{+~k wЅpfIk#{~[V"dxpq`t9 B%I"c0|T~T4rUyw3Uյb,kY5B侑|^: z8|᪕< tM; XD g%Adhg ,r!NI{?QvyrrC%^m)Y,Y'yuxZ{d6~(IRii4dџ\\ٺ@v"~Y_ep̵A6 /|Mç:6et7ou0s`8b E2΍;򖵠ͺr?!{ɃN8z>0=[D+f}Y3`⑨T(I:^R#Gϵ!rH),M \R!Z sZ.WJ23RMg{u+.Jfk,c{G0tؙѱʇBtRѩQR_u I 5/_d7jXSef Znߩ:U.ǿ[QDi^68<("@K*CTΰw(s$L΁S(ra&!agȘ&,oClsFF>_<_iϾh:s% L q@"egY N~ BZ&T1 /߭1Ys7bn̟2X.RE-JSCs1C_ _9 Lҧ f q+vvsz|`&z'm}Wi߀TxJ/>%uVs | %T+~&وFxvC;OYEE%J]BySxV 3#nUf8؟ߴ-}{x{"Kzgjc ufg[l!"9WM8[Fn1a`ȟ[!K^2!fkazO~> ! N!RȞ*̳h\٢q]@1pF:x/Z率ReAW* )edp`M#z%3$JW4xLQLjţJ)Qny4)np~mi[eͪeлi˵(--{^>th7qЉXI%YJd7 2)-:dh捁28wW.Y>'Te| pU.&;BF.J́;찄_pAđ~y[t@;y0%^h^7X  n?4d#ZծoA1d'$m GX|qW !}#îd*Hg̀N=SIY_ -$TZZZJwZ mA|ЌNDHM"EvN tRt᪙0 h7O>f5jXdp&&Nm_0Ce'$uϴ}=7T.V BQ 5XfLؖ}y?tGkRq֎hE#Zf{${ N }񅾴VS$gPA:ny+BmytuN9I9 nCϹ"}OO^=3m5{3c!y=ucW`3/!mxAR'a7\9<0!L6 ~r$˂,ъ^BWS/TAB-to2S-~g,NO!ڟ=v&oo/Y({O j%H~(3Φ]!\Y vZXƘ? |SZOE"vCn,IS'h4~B% *AƝ a6UE;2dlV&?/sƼU%QE!A7v.f\CN/ur M9C-#&S+vY"FAP%gk'~ Um°ft[ZNZkJec#ĦpgRGտRpR[L}>/C$yuX8*\ؒ \!61XbQ-.q _?#F@]Y>!-`S"/;%+[Bb=ЖBVhhK#j1Xc r*[\c1[娫k|,C"3NnD=c}bC%J |:~vJ1F~C?C-8ѭfw9.S_HQlɴ|C~-r*jeV`bʞc:| d/J,ӁV?q(y.s^jIB?@T'ΝߵX& wCMņnXF6cBi&d?u僈Y/S&Ià&10WSa;InJq=ڬ\CDv^(R{+`^~|#xQ./7ooCM;={#XM8dwvt2:&̓Jf]bQĶ΃NI 2X !a2w@,2̒r7˧~ 3̦\NC&Hsbq sQ2HzAjhrXvŌ?GI8xd؟̿F8cI 䑁E]7r5ڨ6fϠ=넟vp[T+4u1Bqby) FjT܀v`-w] K|Y$FKS-z]hU3 TDjpNCF`Ɨ#ךNU<]nԎ 1pFj Ġr%̸f7=eu?R9TC5IKɹ /4 Wk{I<pt7HCg Rv #6 6zoڕL(`S0̹ↆL5䀤ѷYxUr,ߍsjLĈ8 G]0A7q=*en7s]N ( "$.k\0 mfgK.ZuqFrU XH*D7}.+W-0Ɠ X8}!rRhN#d?tI":thEѹs`^GN=8YI`Yx}(5aiVOA4Nc nY/L. ͓b{tRk&} eF!F `ut2,~#'4~R,ɹCYH`}WƬ'=g9;/pT KC1Q?w4ѳ@y&?<&o&xu {C!UovѱO:PYģSOnsu^c5-a/߉lz[6'M \]Aˢ6?BBC:c}QnvX*`Wsf6c'-T( E w 7VuOvuevŌ{0WTt.v24ENmED;݈`Yb6LU;@ H:+q(؁f v847bkfTr+߳ n.q8aZO;SflѵeH]~8r1M33}& )l ľuamp < aN,vjjL|#7+|.Kj4p6Rz@syfkw[nUvj+ x.-SњjrƮV){Itb.X9Ý"@==e1NEsg~~Pz}$:%}T^t׶Ku&Ei;Jiꂁ9W"xZ1vDoJ^d1!$49JmftPL0a}83ܶjlF>9>ibWX@uhP9D.lS^VLiҪިY\m3#pհ>D\5g@b|1ch1=8Obލ=\^ tb̹ϖu㖸eCrgUaS>?,bk0{%SNDɂNm3?@5‚̚`(4,ԅp 4HdP%!);WU=ֈvE=h2i}Vzo;&yH0Z|ufx&+IK>)RvQ fV%#CaUgqf!f%#N*`W}> ajoyГC?r:mص&s0? / 3|#?L4, ṼVס^d䕫"Yd実KU5FUjOޯ`a _SFGKܘ؊ƴuDeesEY>ѺwQu~ç"9q7ZO>twu^@CERK'#ҿpGTsWp#[׬̶S3$NDL_VY W&1Jw 3X 0XJ#4@A]utH*P}YUXuB P~=6&̱gYZ9d614cabb0ed1cb46a825bd386c0b814ecac7956e9a2742a9719f5ffc5f20b8afc6477c5b3ed39a9 dc09a39d76722c2f6a77403e12e7aac18c8f9fa4 e8bb0be91fd73d4869075c99cfacee13237569fbff6c45991a7ffb077abf8bc1b690c1e80626dfba