SQLite format 3@ %J%.;  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 cvdD ]]Deriving:threads=4elapsed=67.824cpu=212.384gc=8.3167zXZִF! l ]ŗXiɟ{h.0#H`ÄN͆\D-Dr]aVj˜}ɼQj ?WA\͆ZT58r_vBf/5ЁZq$`3 ,q BҼ|]+ꨂxgknI"?t;h=bj ױCl5d RUk"d <H[g~!.{l8388Fva.Iu !Ǽ>Uk,GL5fq,`@uvݪI۶4!qq`ҕ;H   DerivingG&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 605+4(3%2"1 0/.-,+*)'$    1 / 4m  mr  _<; 1; ~% l ;    < ^ T h ' g ''%DerivingHOL-Word.Worddocument.tex1/7%DerivingDeriving.Compare_Realdocument.tex0.5%DerivingDeriving.Compare_Ratdocument.tex/5C%DerivingHOL-Word.Traditional_Syntaxdocument.tex.)+%DerivingDeriving.Derivedocument.tex-/7%DerivingWord_Lib.Signed_Wordsdocument.tex,5C%DerivingDeriving.Equality_Instancesdocument.tex+9K%DerivingDeriving.RBT_Compare_Order_Impldocument.tex*09%DerivingDeriving.Generator_Auxdocument.tex)4A%DerivingDeriving.Compare_Instancesdocument.tex(1;%DerivingDeriving.Hash_Instancesdocument.tex'4A%DerivingHOL-Word.Bit_Comprehensiondocument.tex&1;%DerivingDeriving.Derive_Managerdocument.tex%1;%DerivingDeriving.Hash_Generatordocument.tex$6E%DerivingDeriving.Countable_Generatordocument.tex#.5%DerivingWord_Lib.Word_Syntaxdocument.tex"4A%DerivingDeriving.Compare_Generatordocument.tex!+/%DerivingHOL-Word.Misc_lsbdocument.tex *-%DerivingDeriving.Comparedocument.tex5C%DerivingDeriving.Equality_Generatordocument.tex2=%DerivingDeriving.Derive_Examplesdocument.tex:M%DerivingDeriving.Compare_Order_Instancesdocument.tex+/%DerivingHOL-Word.Misc_msbdocument.tex.5%DerivingCollections.HashCodedocument.tex<Q%DerivingNative_Word.Code_Symbolic_Bits_Intdocument.tex/7%DerivingHOL-Word.Misc_set_bitdocument.tex-3%DerivingDeriving.Comparatordocument.tex7G%DerivingDeriving.Comparator_Generatordocument.tex6E%DerivingDeriving.RBT_Comparator_Impldocument.tex3?%DerivingNative_Word.More_Bits_Intdocument.tex/7%DerivingHOL-Word.Misc_Typedefdocument.tex;O%DerivingNative_Word.Code_Target_Word_Basedocument.tex2=%DerivingHOL-Word.Misc_Arithmeticdocument.tex+/%DerivingHOL-Word.Bits_Intdocument.tex*-%DerivingWord_Lib.Bitwisedocument.tex+/%DerivingWord_Lib.Word_Libdocument.tex5C%DerivingHOL-Word.Reversed_Bit_Listsdocument.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 4*J]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͂RtYC RYd0OU$'21UoC7_ ZoNRN3p_E;̲mvʋY~Xq5LS)Rhπ)yѕWt{Ҙt(mP6 :Tt%ΪN`ሒ LAWĕ"XWv;^WZ&N>`~JtG>.tjC ]~M[oh42Ѳ}F#7N;:Nt౧ٲ< 7~֧s S?NA9x)d0+|S <!lZobD+CJo֞*fgz(+`i5fu.'];IY"wQRmgwG9r=Fr-_͔8y*/omﭯMQ a+)tJ yKq)r4hΧ.yD R).͠Aٱ]I/YovvH7pww.`C|[&>rS%|*_ v"|:qI;ǼB#P0Ӿ<P_kߣLn:IF{{yX8bM8!dVDh~sb¤ܸARw5!Lf3_09qG)_7Sd .p}L6լC&x #q7 (nM@$LRtsTՂ.]𴙷50 U5yҥ%KcxEF4)#h_hΓ7''1W>3D q3 &._/Kؠ?SEN^PH\0ҕNcSn?(u*OP{pc)1/9=_b@i@+1I}@ NjhmWË6\xBcY zc=ⅼeʩXi6'̋:l1dsyH߬d)OifYahb8N`"2Å=]GϘ=Dm@f0 LPgu6Zzhfv̹7h .G if3܇AK(lҰ ] ~Fo6kl\P7X41lDDM~l(Xy508nE>ѩu$g% ӚAM^apqgԃHևT '#zK:iasB}D8{JјpRF`mx전zG:kt(%ÑڥP&P=:-pL][,P3ѐLк' (k}НcA&NP7PjMiFU\c$;5y넚i(dx]QL[R`Y>րߦLlV+=/_iҺx;kN7) Te"#p.Bg)0Ӻ яKH?bQ_yd])VmmX~Ӕ&S.0bf07 PҴ>/M0O/E)Z De6DܭqVqQwu[Q 0UܠkHפ30yMS 3[xMjl{of \yI\Y2cXp4vǺ1m{VxرD^<10:@%N,)x[{`?ۣ0|'wDpE'?1X58~(4]D/uuja\FU5 Z5%.`Y&#VmDW 7 @j9! sd6eCKr#BbQV]gfrʄo0(d V~s|'3;_),FlQ2" X)~9&8(in//~;J&!_ݢ%5X;b q6JlU"f_6T–];DĜcFo3 b0xuTv4X;^{cd`䗍eō?}\2ppe_c Q?}/|32‰C8u_M#,۟'{ke=ZLVK$ڜµk{6+j gJ3ӺEH0/:هVô#M[ ,gYZ ; 1% $DerivingNative_Word.Uint32document.tex7zXZִF! -]A-MՋhvG"uIBm56-Z`ϸtK Nᘁ_]nO`#m)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̳ 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 ` C% \DerivingHOL-Word.Reversed_Bit_Listsdocument.tex7zXZִF! Hgh]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.~Gr>jGvbz 컹k@e>8=2e$ow1'6v9=bG) 5J;FĒ^F-v@V?HY|zq>hdsBB猫&׫mUē_\'<νu=hc&{L K?.9:6Q^4q_uA xunan;K+ۊ9/aQLx9nV s!<ۅ+ȱ{ڢp7 ݽ(lkf9x nv><.V!ĥYh,N =[ĬEkPzr /,5t,^A4 xf'ÿ&}0YD]z_脚?7\6#?y)b1씽,ySeZbp*s8C'5.C[f]w;pm2 ߡ12<3\jIt  \qUdC̠_]b4JRZBL@9B"KO^|;1SL"4!QDaPev(!$7r x 9m=וA2c`gI!J,j7Vn"ΓSi̅;]L,}mH|&?Zz|T\T5#F]܅3 * 0#4[Z=b95VT8n$dwKY&NMf@Ikuۗs&qG "|ҙ:I^<!׌+4sO{K|d \OzvtFr HKt 1$< d)Y\,g$aQc}ٮ)(s91@']ae s%TQfQ$ST(8:j}酢t$%ANJLIV*é8;n_?j"|j =X1f6EѨwRcChT?GS6qI1G]8 JRXk:u,8 T;gz5dk*YI  ZLL^{-%-9sJղ,fz?X&%~c7WWb{Y}ZXCזgˇ/}mnb@3yK)d,@ *xOxcEDͺZ sKO-8w:7!ak~}hE"/[[$BvqYrBW= fs{G=!`ܻ#nA{:ɝ`ANOӐ01-Q΄=%/|fb`~R][99S$ oiFlSs R.aT.D:fqQjN)l͞f=İpkGyhMJ_ _R^Fp>؆q/I(LvvdnD̞g_X~/J'{܀B%#D} ۱ $3j.a,YIV/l^z;Cڵw7ֽHMM =% g: B)H6~'VKwyR-en2%b8{sJe`1^Fq*[⨹;oxMo &qf׺>VHR7烡O8 d|bF^ۢJY^7ĸD@j6,ݶ,"C L=eJs iܹ|S^.!vdF6AgGp"":kD pQ{(W#@QD疯;OT(Ł KK7jqGn a_n/0Xմgŏ${KqQqq%xn:n}iEY((Zx!J+ Kd%zW){@/:{-C +-+M] xT[xK#Cq:G̺YLcqUo~Q5WcM.%HE^]6F!NMa镇6/^l,H,X|y?Bo7Ԟze(?M )wHe\ܧuIR?2ʓXW 86CVVS]϶Z-9( JKUIJbRy/\nm&sGdW銩{p*$>-M{IjX>r^Hp7`?b?<zyHd\l`׌W81xqe63yc r2'%sD85 ?a(xfa9)@C86;tXƶW<' ϡFthգȆqް.o<ӝR;#ĢIx;(v5Z岘PC YOd7#@FWtytueFD4h>f7[qZpdJ6&qϩB )99Z%xޭH;rԣLZ{ћP2i2']r=Β^5A%dC=`YJ+Z0ބX`2l!ߌ~1RHƉft,UBCBZd,25Nt}渔&;!i$)^9`rAr))#ׁ~0.0*BN"T^{(7yԓnZY֚EqqbDOjC@kXQi^*jyY3rI67&Ol O4 CB=mkd#6Bh@J'b8&AΫ ׊YA0Vڻ 1yk􇇧GNYxP\P>Q>%X9qXoPφK:! JL[:JjG: .TIQ/y%}hҢG}^t# h•nօ))x$-G).|l"ϹbHe~b:ڋ>r RdGWzEa+2z72.\V2Kc[nTTRJ8w060 zu ?Fg).}p| e$*CDLcqL?_#g0_it<􊫸|K̾ EbvM13qԍ0Z~>KUipFtl'Ԡ),EG{}ʴHԣŽ1T͙fqeɬJg>v<\F/W몋(-T LRS)HR:[ .a 8u''7I!3cToTG@Pa^N=5d" U9qtjJJ-@|5S{:w v;_).%dP xWAEOso\n#ˎ|ZPg5lRQ%3⑁_LJL.fJIΏjH(It}e:bH~[% ;kĂ?Y8͊ Ec3+[FIx9=a,nNiRAſ:VV0Sbc;goR9#w 7.ϋ"Ery"8}0 ?lK'76( BCr,QM1I= s pb%&=}ؚweT0&2+[ lȖLG`d۔)oepHL6b\ -a p&oj)}jX@yBԱRmkH-|\G:WK܍nV S&`'ښA$F[ЪY~]#ZK6Y?E[ n E=*r&3V*>2Ze2s k"TL: rn~d;<ʧ]R={6x$d3ǀDY>Ʋ;t"gQ3c3b)=wzTΆAUt~QQqQSWTPFX [lU_8ܛ!MG>V&/ƃ]숯3Zjbkĩyf!0a&,Ւp{!޷#7 aW~SDgUG9QsAѢy]2[$0F_)x 1˭2X-,{qu8e[VEI$l< @RDtp؟ŊX 4S8Uhh_os:yJx]i*x6AIl #na`'K_`u% v07;)RxDcY4|5_3us/ȦLOa]ۻ LK3,/y YKz-@qfA: Ƭl&K2B碝u d]WU*>6#eZ<6Y6i4=zgg<]јwOs J9}S`m#BX b-lxlNۓ5SqK20*U> nG[QL't# :ekjoài{S~1^gh/iOѿBc'Kj)YI2uJ4`Խuq?>%ozBŒSiPҚRj|#B l|ɒyCli;w9<;aғF5kʊQɗDUHۯ9Hqt n5 52 G[÷Kx߫6nj[#XSf'<PLoGSK 5xq.uk.n@":^ #/` p4$QхNH)"i[`&'$ }4}q$KE@QcQ.#u򔛨aр11ހOktڴkp H|V6f!ƒhV:k Qf&)WC?5m ֲZ-G [?=~nc8QSOx <8!,3S޷q b$;:)0#`g*] cSH?,D4P#Dɗ̠`KtR*7G3h8[I(b^8T|ťy/Ih#&B4,F𼞜<JE(/^zV%#Xx)TxS\Ź:tTBoyDr u,-L(] afE)ӈ{a`8^W>hnpFBgvlf]3 Y]Dz&O5<7źGqg]\ JŤ*eY@O|4J_+V=UЇO֙= /OHʦMb6-wV }Cq*J?2pY_cxu :_r.)f _Pp)](aX5 h2R&gFͭvaP\\J.ؙSyAF[Cn1Lt*Myy'' >SKfb1j/ :x7W!#}B%'Xƪ0ޥ/\I-5KM5^)MXܙ3C`8v\G &AYP)&Xt`#yD a ޗgP- .2`M2<0Of%IQJC!.\m22U}iQnCQ ~z(τEp\MhڋJc[oRUIR-;*[P.Z:LnY55ʃT=Ğb|"]rfX23R i_Y[veg:oCEjɚLhCnx)<`w) NuS삻o%`/OH5x ,#7>]@Ub^|Q9җ cZ>RY",^)^QMPߠEn0<#'ikrLI#gL@PĮʛt'"j؍Eb;}rWWvl.ƱR[gõ$sk1UE 1iUҊt+!r~:pљF( xnv_8/*q˟ѿTѴ-D7/,pOƹb4O@eà[Y}- S="dCxF:ao;Fv,>Փ*Żc+hKxeȥ,zԼͿ|~oZ}jWZAw/%iKhuo(1qQq!oR;}!MspRja3^$:K,}E&>ᴾr_nєxT.y9ϔv-?\s#F7%ߴ=\hUZB÷g`Bvk,+{աЀ~<&#!rSYvx g 3=o&y:`Nh(6U9tv&P)R;}0pxe]"ǟ!݂$Ly7u(b ׆ |Ö0m|oldP3A [0H|]$xI0L.18)}^z]۝&80hz, ar2fk7űp h"}>/rYxv;֫BEaq>̤Ǣ"&]>Er-*LD&|a]Yzޗ1, D+>^WW F!Z~ĸ!`yE(smiT4 MT0xp0IͭG)Җ{*>7( -_OMC\1~ ߑ P +8zm /V~SŔ踆 m/Jʧ,uhVm4AQ~ܡ&hδ{{T ?ZuLw$ƿVOIȨ~zLHc<ٯ'x J4@ Q˿ʐU>BвRM.ZkY23iInxY[nkGpo*!_osh0 uflwFOe?Y5^ʁ?NH6 .'ذ-kRptztæx6Ulӥ "I {uvcH{4$ͮ$yz_Z8f X}U 3QCXNxƭmSf/i)im;l./NePXH9wu'XRKPk #p@>4B!J4_שn\Vz(1Й,-d9mF.p)yo"^Wd g] O #yI_?P4T} zfbhP;}h!zv]g;O3`΅<:s?*h6i/넇IlMB[@su6ۑ8&Lַk#Wb+D8!s GJ=TOx;2hȵ}Qkl II+DiNF[nb2 e5qLgXI7Ի> _q}ˢKR,N k.*IA#ۤ2%M Սr 5Yo@qRE 1@iT{4mXRK9yX_B?=0YS 4gBR+&4ڞx^镏.fJ-oqt𝿤TD˽1DEy\6(JTQ iJǃ :)gOu=3U)δ0 i>EQ7h)%uG+P?՛{M0ߍ6 ;t[;NG4u6B_"/e S.9: ]kL@= Am؊"Q`Y /2ɓaR`Q6(7ڛɠ+\zH9T8";5=?!%X~$Pv4xju4gh1\݈ɧ5SH.qסg`d:4Rd/{w9A iE6wU3Z[X%sx.pp,>'QGéQOCK )!Os?ij{)W{ReTOq\/<|&JQjZa Jw _ίRù\Ch#ٗmW6Ew.kEDjwQȰ.܍2rd( }AIT6}RCmq+ /b8VTWM!{fylW`ϛ'݉(T3\9'lP%q}G8@ (u\/Kh~9Dwv,կW -`.<6eF o.;EKL3l}^mc×,yDpLYRw$  1j.VKYRiTr浐 +رcmNQ&*iBյ9]EnDomeç-Tӽ_@o<<</93=.J ׉nbgSA}^e[@JwV18,\B8PA0њ'7"H\::%P鴨9'fqaԯ`fQ}x}VV_'htL| *pC V_Q+WeSbMlVWԂcfw@LoɄVW[w[^G,;;u3䚴,raɸk{-DrQ~WYvF]2$xyo  [--ڤaݼ҇ɪ@MV"\zVbi/{h< KFhUkK ,&>w0)OՄ hLtZڀЧp&x:t8Nm O{Iele5ӅNI'>X`gA1kMS|۪-s5ғ%~dc4h:xR; R/z{0C43$jJ[#"h[- EkmoޞdkJ\]]3a{mC'!`i&,k&ٍ$f׮j`)^Nb_˔8ė 4h}uZ(=;غ3LpӁ{a#!cلx>x5نo&<[HH\P#N.Y #r ;&OW(X*--< YےJ ^z7e.A>HC"1.;Pɚ^j%<,Z^'nhKQF.AǸEXlWb?w}=%nNVHj#4"9j0|RttSzWpjPgo(mЪ݅f1d OnYgpjDIeBTۇ/UKdq۔MJ!74OFA$-v3ttwNz1y;[UxX/WijC#aίPϠx]3OaFEX0@r3-B~Ignpy\R~|÷@&(2rFZI.*k ^.bUEb+ž4,ueB%Tȏ^gGq)BQ7v'c+% z qms{7 L\Wp2 ÖVjXR;Τ*tG0cdw7d7|uU\_ϭM8'OUӺb'Gh0ߎ".0L"(p8;S;jɋP=oV%p-3ȏ7Zg. r"m#sjzJg"< fl5Fr¿CJvH4$x9':gpPI!W>?oGNXp4s ڨ鈣^㍖џ^"W4X^K8J18(4N4Gͤ"cjBtU Xt#w$4O 1?N=J='=sڎ:Do}<5֎˦fӋ PӘ9z:['_8t/[a[$_|5O❿kWx!bGgN X'~$erpMr.BaYVt龓Akw@\KFQ&TF8E 5aҸ" 4 ~Y!$4M ͯo8(`}m!{R<Ϩ~ibq*p5;*>S|ٌխeo)o'g: p(.9rT%^L{zp^$  Qa@ ^wRR,7zJ7CExEkgScxr_v=S3˦c?4ǫ& 8 'w:v:OIxʠXi2<2g7~/|rεpe?x1 ^V7yVDiXi+q.Q'簣GR 3RVBX?я/A`$J42onOݭʩ}*{_$Ch%-=@}ԩ`pn 0!7QKp!H5G$@-aXS\P8€F6w mWf1|QB}nҞ8Xq'.K&a5<)Ĭipy>ʼKJvM?(#ʼ5g)yn$bP;J+nb3㟲7鲟ƭ'#W1HIO#MvR_r@>nj'Sl@昻#mc1qܙ6!05)ǵC@hamCi#ܐ9oM@oBWutZĘZU)\ 2 8YgAy֔H zh~ΧAN3u#$uќiX\^4xD;T=}YyJ{,n&.*L: jcg(΀p}~,BEYTmҕa֑A%65 C⋢)p/_䝦 : OpV'D\m@7ǂcak|giGhT'Υ.Q}G5]TkS=RT΅SAuwm]fȥ`˜ZD\v g_+RjΪkqĻgF}~RFf`TQz=+ǡτz n-ۉMB->MT8kCپ2$ʴj%}216Ⱦ]:%C𣨍˝be-2Oy%7M1#yLg+'1a093^ǘWwb/-o/V=LZtT(QY w! $Cc }8f" :*21!n?)P!m:*\͡ :WȒKg T Zmi#OcX@n-6f(HT65UvUm3VA(fKlyhpS6w$2) ŌC:Wm\V2]bpd'<=[\I_xvuYSaG6nIX{r0J@k zy27NZ @k*D]v-΍9yr)?+rte?:ˏ?땴QΫ6蝞m( #T3+4F^b]p(`5UB.` wՠ p\.`s@AbaBSCl⤁WF*vJTEԨi %{+G8+M$}^4BТVkd'q5N}AGǔ z(Otx=1,&gsnDh \wȭd7kLVz8kW64\c8Olf IZA`S;bзdTz4z=Bp`{:枠;$v<*R1/av09V -. s'o&ұy,ɻA GVN"bƦ5iT;A(L]q6TuL= \cĹ|k0)u^,F19 YWZ[%r~V9ܝF8dvFK|tv4gM  ҆Wkt:`9Xiy,* +J+ە1c 3kM;X8;KT\ɡ4E}Rf8My-`4&e8ā̎R3C*G-g~qtrp`XTHbyg bOɲs?Q_'*ΫgUϠpP"K$iFᏔOg<I)zV,n))LT3fQcUp{^;E+UOmcPr.>w%X.da@.  :SMSeA VOtτiWp6~5\;I[8xƓ$)6pj(nc\4)rw6Fl)b4Ԍț'`zB-!a[A v7ƕ[31wR*CCn O68AbF3f Bxҿ"chDJ> TU?bTt^T%?o7Xwt[LfrmHNP5yغk;s;/e3OWd7 G>{{$8~'x.RxJ%~x^x*JD"eHa*t{Lտv]KiQMI7B;ِ#Kt>^.<=_fhЙ \V7jȽ1Ŵ |,l m󎜕^}-$c홚Y}t[SUB)t9 KhÖ%<2ύZW]8 Ě^ĠhG݌}@븈UnMLQ`)g޺$gmzgB4JXmZDqGd^/r罃+ GF/s>E٬u ^ʔӥ(]}MS+$-=$gk%]gbl38zn>ʜ>./_k杌HD6gѾU s 1qzF΍J[2&l9رw n: s:4r', J)m K>C,d&PT3 84D@rea|UwUbH3dgD5ruº7tف%nddK 5+,ڂ#Fw_ؓlL A0rx%!zz{4مuPڂeX3Ii`2.؉hk өz ϻq]hǃQ)tEJIv8 v݇&yDŗ~}`7"׭&1;/$VݏDolUb-wo1&6+X*Bb4;[pl C'g1ҧ{pl1aV2 6O 7a1pֶw26J !2(pJj}zU-ɆBVi@XP mrFu=h9ױ\uۚ>xZ>ҕnQY3(}mYx'vڍ7Dc'-|Ԧ7Aj4m#+o%Ȋ9,1Q/os6e-WK,L;@W<,,)&G[n S#L#G>(7`<r.aD= Ϭc;F8KEE#Mݒ PyA[ !yFOzgHWթ ",!vv?\;#Dkx]Bc*&EZ,$[ 9~z]߱Uy_^ ?AS᧕/6qn>ʘP#o:&cHP@.tPvipZoF3Dkxn'%}?SL(9OF"+ qPnJoORq[Ќ{hLmC,Cfc3V " aĔtZpv*H".Z}xC!꽲\bW OTHۺ^6gL+T}ʿ!1R:e L\0\{'y|ȍ}vֳ(9F]n,-/oW?t3 1++R~`!ˉd4z"0a'*X!d1J|;tqe>kdyϜ|Õy>cˢt6jULGMz-?YW[)#@Qj=Fᄞ+j'v74%DSé--Dx P +.ry=` e-r 9V^Jfy&j>Lۣ‘"4~3m q!6̅ћ?SĽ/z۲ G0˨c x!7dWawv!"MN!jtI#DNoymQ~~oECʞ{ƣV"#2Mm6vWKJ(wvxeZ>F&3U)[TEt(Ԓ 'xUNz+L2mC''"Lu֟>-jZl)^rk[Y^| VGҖ71}lk1cF8Rr Vb?.r'mr;3 .Md!{&o}0Hz^>U=? fC?^3@+."z1IHeAMcDÿ%@e{QR/#r-`;6 T4˄kh`hΝ[rÌcmkoG s5qR4yL?|x9eqOԸ [q"7\ ge9Ό ?y:@WI:6VlrJ|j}š14tԁ0~JY@z")i`xkJ}Nn;ÂJ#Ϡ$DfcM"ʝIO)2YB:0~: [[_x8 ;#8M5+΀<7"Bh81H pWL(r\{gNd+z\VK/ ߀%|%*w缊l`n uO[Җ> P;!!3xa;++ rPD)= ^IH VU:_q]).-XP$sW kj8'ZkDgp {f; !@ G?|M'Y8gp~25u{LI~kQN̓= X!Bo马-N#ƨ)\1y2@(YXv֊mW(,_$=A|}ћV-d'j.#qwtV8풰)N^Ao:t$X6.hj%LXPS7IfdҼi'ې6qN$Ek"/Z`*1 FgpJ_IOQq}d䃊M/H;6'2NbsYI6eiC?I#5O[ ܩ, #/!auNP{O8 LREحOC1 Pw؋<"!UEךEҷ %iӤ6Gu+T肌 z:5tRKGEIzʣcy }J~:FJIZ|pADN)8/C v%9G.,<3}:M }PHI)Ses}FWoR^X\A μetp.55נE9UbP]sXːO',R@;W=oa ic4n$ҕ6jɭ*RBŪfa} l}TU:_#_Ъ+5JWfCo,dI B<:X}cM@i|ncAF7v^gwN${ע㺅{ӗ5&~lp0u}˨c5¡@4 ZdGZV~#BFvּ.ЋC4-o2E_0 g8PjTӮƕZ^)[?xrtA+n'#!O0 mWlKo4B%{t-nFcO/I zXi5 OogaU]^5~>x?5Zf0^;qySׄpPB5 BN&9nVԳg]9I}-BZJ*G|W4m4Y>M\ H!oKۇ|}++lNbU3q8کP!xp)Ba_Hd^H׏P)FQ*~?$BJct(o-~p&JzI 4^Tm JggԃGG6?ۄ4v]0K.5il q|kuΐ,o,sV-X3ĥki3QtWiwctQ*nG gHͧ&`qO7{a9{]iH^z荋DDy8˾a?w.? A+=g6zXm8K= U?fwF*{׼Um?Soq" ;5}nSQ\"ȇ8pTj$kjO~:B~-txC321uƑ% CGpZX/*$}Ma3؃Le+N63. ѱ|Ha=ׇopGٶy] xA36QzħM*$%d-qrNHrrUM!2H AVcU 09jCɄ*hb0K_<%=f0`܋:'ۅWA JI]B?&I=_0SD0Gﻸg2$7<' ږ/d\сm='z ?V#FTZ+@ӼWxlq?c]) ߟH%c(ڲڣX]gˤ2ۀ+n33f}l }K51 LnZӓu\uTD#݉i^띬zr %ָ沱ˢyܻFBo#H|V_Vy%pU0m=͍!!}[,bMy#л öS@HtBabӊ>Xoij2}MueS6):9.8ײx3%d,0;: H̀}?jE OѺ8j}HۣMɑדtV2T{sŭӣ`my*-":+P Pa.-0o]z[!!ar|(Hg5:FNOCX݂vÎG|On/5FuVnXgWT=wֈ W$xes`#WQ=P椙o/RDe Gu 0@e %}ΐa'Ywq Jd8E4Ӝ\DVP(wJ]bn}X&}t|^mh5A^^'d#Y ؈:{!)V +DjnSVrOؖ6,X $y8]MA’ qi?:L;̎񙕽o+/N+9!6K},K ,-7ڽb ;Cqj(@8sϕ hm<33f@ʹeLV,+o*IMF TOAΑ5N-wuP% 2/ԻQ0zq7< B;*APT|2f Gik5lMOm9* ݲՊsl֮54ln1VU)[1ufoGxhĤ'%m-ѬX|vU#47=txa\8ʧ7FOveWdBu)D`7][!!FCaa~>5!}4>߶sYs0ҽemJL%mw,>eu!=O0tOR[40 lp@>,komSь]A؂ _1FWxFN/Bۛp хhH<fJPE+lr_X\~}3SqϴU[ q$64EU/TgFWGg_ c3={%z=M?pSt1vd؈K3l9im#4 ph5ixXI> 8 M dFjRK%;E)ltA)ъK+ O{ QPxR5yczXy,?jDl)*ov 3O&-RI<׍hU65ŸسD~rh"W7gYZd˟ +@:r=zj}Lm);"s>ɪ<8y%*/$ 0$%*^u Yqt@Y䌈YF۹s&rnC)MG2Cq9I/E:T~:_߾kxIFVP1a؄ّF b _i3Q84_)䉽qnιe8і#gߟ\uZ$˦ oek!+]3S agSd@u!Yuͫ3M&ʦDϣ W]L 8]bryߵX%ϲ7R^_O>=S*ˠfҞ"H:f+,ݻ>7R5:;!*)޻DC)NFe>FrPDp1ӀCU3w=9o.d5RV+5Ttٌy&~,`L?@>F$>5Hh"s#4be̻gCy\0@g/ 4v"?74j Ʌ`la sS110iue$²B\v))=AjזՊ٧Iu>\(,CW?!p(d7 yN0 v1||xA#{PaC\)@c*hd* #31mL$=C}3{1x'Q ɮ~' t NϞH7Su*8ec:m35c 1,2 JSĔbxxOU6vdNfaޝ`|"x:`Ol$ V^'U)hQ$'ym~〸OQL% , RhG$-m1ϷV~1QU7% E]!x8/"7HblIl4f!Ʋy) pzy5-[j}}Ӌ%Pk/fC8ţcdȺf0X"/S0m*Di0]j1e+'Iin*jt@}"p .H0Pnc[ 9ij`(M侃J,jGË%(-Sc yazb sfI(MƤX@YYkak QO^k$1^F ec3 qi;)U{Pu 摣P;=Z՞>q_c91C$A5>ur9>lvϻD>:H+L,Ⱦ;E#I¸n{=um\oN_a?"L ;!P+Zr)L$+I[HnP8bo֭0ީ9H,$CTj50lLܛV#LԕO K9s߉ F V1&ZdT 9\l=[ѐ ΍jr"tT 2 y  Y&qǵ_4"nAᵶs]}8<-#b%kgWٯ*SRX+ME>g7Al J9RjӰY\7E2 QaRʡ,pnVk'J"U!mnV%_XcV`v?37xbZj杢F /(.[W,Vv 0B|y2dLK0;m XLf8Os@g|p]kF5KS++-N@Z`;j_[!bSUu B""(4 \ʷUT}RL!['/)~\9Cؖ/b<.%{ƴjvzRǮ۔߰e΅GT$Q(a#=3gdbLq` %b|9mK!$ ]xu!`)Xh 79mCk6 w&k!jA`dy7>'!gka-A yY4bcP!)wW5i6yD%r)urA4RJiG VH5z/dXzj&/*wvp^Ӏ 2J3[joq TܝSPU۾Oz`}Wlp쇨b;=( mw7Xz61&-M&kSTQ=~ y1>ý2R$,']Q~D[gKʘQ&ф A[pwC.uH b2qNP8T 9tc* '²l#?|F8 پh3>K`4 JՕY.sjZ^w AhY_uzb0a<~ރmb=7v;&Fc8ƕibq G-8-[FnaTPe5QPKAۍ棻T.Ta[0І)տzmxAu;0`iQ,8:Ȯ `xVK.vE%afA7z38JP< YO oax ւ+к'ϿC m2$\FUcS7:xBwOGXJƭ,*貖TOMi7Z7~!t&A~l;Kot 봴G9QL >Yjq(;ì")#XOݬt{)QЉ}X)O0t}dq=E(;dW^-#L_U!TS0gS>MoKƂpOKo=CmCf~c RfUN-Co $@oq Y@=0Hu7vQk, lbV$F2y9~AQ]_^Ou8<ƵJۛ1}Asthc2Պkˆ]h$zē^+aF7.npf@7;w[f$o !qXTmljC#6E5#fC|}b3c}FE )H(!{3vi]u\|!%ļD3 %j}#4h.EDo<1F怿Ar]Ԝs6 [U}T.f:&ێ6c Yiػd<|-X`&Ϲm2(rX{K**=Rben'ETQpw4xO:^{J kJi '9/P!\wv8mm_ⅹi`x~T #]оOٸ-]|z|UywEzg;ВWy/G[ )!xkp>Tܓ6C r=0ws y۫5fچ{U{ԙO? !f.GO*ll9 CKhQW 1=WB'Me_3$UT.cwa^.?L悕P̔Qu`UpwKII+Z%nyr5/ϙD_u>OJ8 [}hEWYm5: BOHjoߑJc[3tȩ5ĿIاK!P8AZ<tN^_0)C垇 a= 7bUhsn] Xg*WnWpڜld/6[pʹQZ{|e 7G»a44/A ]FW͎7i?3` N5HIT (ՖSJIA8dFTߒltU0xpȻtlOfpeRAesbrnkMY>! |B8>r⧰}=?xgp XAb:0 :HA(}HOE>uSXPZMMD^q=\V*J|/̷oɼ ^Nڌ k>v/a3%n$zW`DZ.W"NYo|z}+=f}dq&[d`HS MƶWc3Mvb= ^8 x-py{]r.VPv"ZH/!{K:xd$t߅-f7M~ߴ8h-2O`hHQĔ9S %[;CtopbvF2a yӡyh]u_8AL:NA%>Q9k=A+ձ$#6RWp W1u/Fo嗲XQCزb)YԿ`G8v0X;UfjWқTE?OuVNK,Z h (l$l;i=IT~e5':@ fh8R^V>d н%f-FݤGjMl}@.=ʈן0+9zZRq2#[c2K7V^\ѪQy b/iC]7|ɉo  3ob Q`xk"y/&Tu1zNSO jт]qCDD-Gɤτ)H~@w߆c8n'MSOwiL0A%MpEO%}ijC"-w-)LU (NWtWq/]7Ƚ@1佷@;e]e;#rK;[AAۧپAcW h%6DpD2AUxfSL\%6ݡeK3^~TR]b){FÝtf AK!s@օ@*Ex;ޥbP7ˈAVU4vk: gbD? K̆kc hDJ釣D]ZD,R )q4f񡹌E.i:υ18g9Ca#V;M(m%cdQT&SΫp0-}͡6ʁ%pa;0bmT>^I™.o@W;%Ou˶@UŹǗF"V‰6;~9yw5CB@I- FB#-g> ^Mlq=ke(" /% tDerivingWord_Lib.Word_Libdocument.tex7zXZִF! A*3]A-MՋhvG"uIBm5̝:[4 zTaT;6WsE5b_;nɟ6zTKO< x' _"$x h\o+xKpPKhGI4\ Tq]A'cnKY H@bRYEZ:84Q֗]{.CXv %0#ɳb0Ρ78E}a+HMΦM"0hsMЦqL9!ʚG9 -ڝs]4}1B9ѓ=u&]nAa Ek"ëU]]u:Ckvo2=݇ C wJjΜRgR'kå}]X_8ndxh}t X:O@-'0>[I vB +I5>wa-cCbc0[t kTAy^4'T"fW$tX$kdD L ⯜%{7oE7aZmzGIl؂sc #@g#H+eQ"{cu=RWV1 LCa F̌  M(׃rS j B i[꽇Z'wlb1۳zPkeA"ȬE{/kS#QMv[|HFah~j}Ʈ5Mx{l\wqEvKT{)റǐej[˿j:r䊼#9`'iGޡl_U7ybN[*ϧ&DpH Lے@ 9=a`$nuH.ETdoGdcVFԬg9\6ӓi/!f嵘Š.M\P#!@o!  o:x}nnS NlzowqEָBM::*;/R > YΏ2'X@ʹ$3kwOg; :{7k)iÒG>8)u J^kݎO^uD@5eu["Wٿ&;DPCcՋ_'\ A9YXZ_FDlgŲC$GymXlrY/(%.@В>f  P3)c[eV*dqO6XXEf1vA:x΢v/ N]N. BgZ!UIAEܚcglHw>nxΪʶ(hRn$e]Ѱun#=9mȔ w#DoJilp+Rֵ<@&RNJy#"uHa MO]y֋պ,Ϯ*pE@*L(❩6 XxYb޴|O]|v$krQ/|?7lj0;^}|6pz WLғ VFʸ*6n  ,FA{[a\IH/+,"dH5we ey j#Pc@7Wv+1kxݽ+,w=" GF;Re?IюȜ6ÖȝMfꤖ}UW&[?;< S}znz|&*تx*}1\Il}4&:16>k?BA.&`N~gN(YϥH:uI'E[H/9r|NKL.RbEМǹ({F]ϗq2 q 7+G|AAOM5V @v}βwC)|%."CKyI| >jwǬg'P!fz7蜝q9Kl@":9_sMoݞ+TO*Xrb-!y,Jh-ka? W'e6snz=[V!.o祵M&/v̓ I7}MAIRN`rsDF0<; u8n1X4%;"-"0UG)&ZK xPi$ iLC'=p?ıf-T 7Smp)B[IP c>vCנC=ҴqFՊ_I[{0dm抧wedv`i'+JSXC;:i7F:)?⑰ӋjG0qJPy#|ʎV7 E/{TXD^<; Iˋr"K겧 e\sKػDEiըk EZDlLJL_ : 谕U? !y2@$. mvQfg~,zFl]¹rH-!vI-YƒH8 Iamfw +s&MYT"U?H8O:5S?ӕ6{ʅ3/[ꔩZ̚MB _c S-L%7[ˇi5Ayȅ@"_<+G/6?L^/qhilيnRDO /8~Mur%8W@irA/,9+/ޔb\^m< N.֐}K Jx[=$~ 1QMxƧ!^%\<<323@?-aȎza- &ۣxa}`YSmZ3sXy6<@~c;(ENPg_˚g:@db O7["^r"֛cUn:mVfQOv?{D%^f<ѕ/Wra ~uhh#Ϝ $ dPz>#gA`QZA9x{tyPubXk}_TJ]ӣI'jN:E5]JjF r7]5u*!Q[JD9aKKA!)yƮ7|46F3 WEK !k9 x^@t|?䇱r2 N?6U0yarS3K]0'Qd(NJ-oΞTYԦ,Dxmie&b8?MF\9ŤUJIQoߏJ]'G|릏htdRΓK P)I.qXSnLJQ[{AG Aݭ Pd ґfOUhY YO6IZz>7tn"50jʼn~_w]^Nsxgc`b#onJ<,"+,JSṣ~G0~ÆRCxX8'D+ 錸N%w`G&RNY!ÏFѡ hK߸ډ_$i>l?viܛy4G[5KraAKEd, [sưp0ٟe#~C4s"4sO"]&[fK& j m[%Ȍ2- yF芁a7ۂ۪? IE약gE'"*Q0RP,sy,v*Y}9zL)74)eU$P^E,a|h"˴ Z/?Qh7.g1\u@:, E(b{~d<!2/ .rBxBG6GrKp=wf-_L;c1j^7J4ɱY[b"B zHzL]zZC0]*~S5 6i!?’n{ } `F]jPY% E ІCJR#^9KL.;Y9)t ll㥬E0x C4UuIR wnKqPN"b hd+-[>"8:N;Bi,:Փ0 lch&%򬁲2tpd`H5oIڴh?nw;<1rvNeAĺvgݰZ8gq8~K]#_n_Ff,*AoGU5Ur`ǚ``MXHZ ^N;cKم.oB`Q"ϺiEvYj$)w'G?!?|4wN:"n"N,oonfmSJ-be݌過BhUlbb?n)ȂSı5sPZzI/mcM~Ҡ`ކe~MI*b!}rwZ8&w8|jNGs.ɔ,X̫f)->IXs%edkbývķLTPKqgN;CӁ|(IąGN g P{1э|<j| Lr3U) M 04})ıD3oCK.e5Hg%^.}\ՇcU/u@;ޯ Q MM(aEic'җ}twy^g?p_ӵan@oyEx Ŝu%ަ!Vs~)RM {=JDeϭfE"_ݬc]]X1?@ $`SH,398#!C v1jJ?8|dDJ6d󶸤VȝqR\IDudT"z@ 3ڗ_̃i<Y+| xMlnyB3[=?Vk({u=NrV*9UE4/i&5[p1" ?w c²o<uWpPƌCDkFMmj.㇨aB9ʣ2;?jLISΟ}"\J%'.[ 9yoWnE.;}/k{V- Zt ihc'`-͉$t bׯlR#㭓_#=Vzli}֤veI#ak4} yG7xKaQfoh4ˢ޴*so+.u`kqI+orQUq}2ޠu vd}:;{ OW9uP.Xin VD)0|Tu5AmJJt}& $eݭͬKiL`vY!W ~N 7ǍnMlTY@"q,@ುf,`Hb t8ȡ\&F@pqH\NO4"O ɞi ~&}~&l^ :(c(jotQQ/y C2h+෮5e/0%' %rpQзbrwf,c6ϳmo2CRNG@.P><6zAۣR|ElzEc?/a56VGӃn$;5'/! 8k\?".P#. p-?<00v*|Q+ff܄[+X4"{n{?JUnfIP>~9졪=;! !BcN!+o ؙT93?` 52k}ep$չx&$fJ%諺_(Ѵ[W!GMџڌ!10k~_򠧡w}~z_ݣq?bdoC\#֚QSF2-K"ϚGHh`;qv Dž{@]IU:a]mpQ9 qp E`Ep^>.!)u..TN.,pb #ӭмsv֎#}FԳ%1#1j$^['{<()T*"Cֳ9uCp1{4Q xJcY5y♳n qՓ]|YYG TC7\D d'lL{W<|vh(\v?9XMHCe&w "x`B11BP]N{S Uj>eʡS]/cp$NYo٥ʆqW !GTf_8 HHO7TFI2%h~RKK?ԈկZBH{Z nnrC̣Cڛ<@q~a+ZOx3RAPǐiedG.wS)l aqS@E'AApyى9b\S߭4R،jdӒНȘ ťKBڡy*n 5+qzj={vy)-48-#sS'q^mzı̟n fۦL">ɜRH^TQKtħY=T`&XB o8%\5Z@&/?,;du@9KjcT7 JS:L; qN?.kP&d}p@}۔|&a݆ʝhy@\q"-I@Dz3Sxn#3)Y5%P>B1K0Үbta-#5rH} i!H~h&|=q4wbav0s['$-\0gTǐl{1";غ-Q~H'I1^eq%YK #^um2 a@ {sUg (L+ vU[ C/枢`{"Bhwq>O3eݧ ߨƑfzB\*Fg6P9wdTal+#]PM v#==|>h"wݑ z}i,OL_Or ya,hn#KbjSUjx2>"Hq1MC+rG@l' CR 8ȏs-Ų/QPȕA'jցv Kb63@Q fzsxS$~Pzb O#&)ƍ Xrf8FWc~vYn75"mElfskGxZ / hbbN mjQӌyo >OJ$ m`"DEv )O^'Oi)׺ ?득q$XoH $eIȩ-/ͅuגhvm69:̙q՜˦rNEQW!?˷d4CDH9Ԝoxn}~j3!\/E 7:'O >c{eA ;2Q| D ҸeGj:B( vK|+$j/eCtM ?t3.D\6zipub o8z'n– I>[HgYZ~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 {+ =*14|Rbf,ZȪLfQ"ą]\F xLؖP~ w|vHhSsʀmI}xKr4 v׹xTUY @gEb (vpiX+WL*Üza-?0`9-0IE{.fQRpi|(4|N-~:q2jY;ڣN^|y nm'倣:r#]`_tiuv܉΂9ϭY vLνl\y~V! DzpdU;UՉuq:cp 0m9Ṳd:N vY݋IÅ*oDLXc4$)jY!L|n"3QC3Ivߓk2ٸGZTgGNjo>q= ΁Kȋ*>@cD&tޝ;TﻚSUV p#PQǺrG\dpe#MC.9.%,\CRH.|1√2х$T߾R.TB7E٨SanIR?!t'FFϫD B򊑪B }nkw;ܻښ Wp-w{ScƶѦr(Q]z[ܰי("XUJGxWW*4.&ވ4j,`&b@] w"=%4.hR(p-LMX$=?gqHY ໅ʱ*{;/. n<(ZYPj *%+ ,ƌgfAF,q¦ZQ]v֬tXs_c Fk?·<|t".2b(:j -+)+?%vU >O:`ΐKю`ztf Uk*&P#fi\ EN͂֠gg 9{Y kҍ1NQiQ.'eש1;ƕ*&)AΚa:4@4YIi5,0iT.S:\g4?5G4S!V|tk%jgVI'Fk=礐Fi`RRŶ5(᧑TGi|f7Ӏ1~%1m/WQpjGu}cnxvH~HF)ǘE 5Rc`zW n,WQQ"t8@jl{IȣhtzIV({¼t0G諞9tdW`wr CCmaESr|<'&RO dQ`N ψvW}ZI%0!Vdžiu\[ Q:J12׻߅}G d'<_p)+q>|cGBnHaږ:|<|ߛ np4tU23gwTVoTw'CA">1VP{n_c=\LGujO݇}a_ Sq =6L>J֦R":~NӋXWy d4.phqπDMLR$SqKQRiKR?Cէ/$iBlJ Q1sv 6FF8xl;ρn+P{<5sy a4%[֛붦cLwBQNǑSM2~|GN(Z,GM`2NS5_ȃm1cLVQ2?)Xk<1޻)Nr>yi' SvC>k1-`.a,D|?^>/l-&***Hvs[RNZucڰ*κs%B_qjٲEkmڃ(:urtDž`o\ZiXd2Yx8R PЄ˶@ocgHٛA?P]H@~ bg: i,L>>r0,?s0}Kgقj@5YK|2:α86']l LNR@ o>O=7(Q^\ ~S Wi0C.yn_بt@*YyY9VYWN %^k4%`~#0H NWC[2ғrDo.u:PE[r2 _x \RsI*Ң5@<%ឮ'p@{ !-A3ORv\GQ=fY? \¿N8pQ?Q82Ț<o]ޞy wؽC.U"0QMLŋ*vu4b3v,T5T <*Z짲Ihoa6uBcY X'xuǿWgrmqVrM5\0*ʫ 6[ov 7vasEƫㅖ"77݋a[.m5bv6p^cH[20ٔ*V|F8LR5b8A$X>ʡD]&צhxڱC8w7#9b}ϰبh FiE_XS5mQoIP^uj0ӤJHȃ#jEL8EJh{gd@)d<.0u/pc_en|+cwqLDŽQ֕l/nJ׉A_ĸ}[W2 JNڪuJ?H2 >8nT63ĵ)| -yFSr_۰nW tIp1_c↫ip=*bN3Zh+₵!h*^R9QΧZᲨAorVDr _6;lѦS1!Q98TbyI8߬ B)*E)rp6f7VتnZ}>|KÝ%k`e󒌖F_T һz~mC!_ØbpɬOdf9$j ݴ#/`0Lz ^Ue"|V"s=)HSE|y)fsYM:'0hysPޗ*+-IjUEai|sy1Q"Fǥ5@5lDoӰmw-K^ 񢲎5A H^FU"bH]Mct?p!j{ߢ^eVCVWu fK$QiZ @E rl4Jɾ u"&wlBgwQ% C2O<˟U /KHS5$.q"k97k;!s@$=,*Bdzwa!KG5"%(yy ^1|M\Z|e8 }sReB&7) ; ,־˃f}(zXGJ0`Slr|~yΞR*Neܧd(Q7:#1/Ǧkp1Pn~ڲR{%F_Y3XEUʴDB|B%И1R`7񃦷A>EYkA_ +֙Km5w۠PF :J~k#P@OY-HNcIS--"&þ (蠂UhpD*lݴRy%M~؎5O֜0-uKLbnHQB ~ppNDKx,mfL'X{7GnH^Lfi VuU|)AxT-; Lt/,0o0'A̤mzQ--ܻEI.ni if%)cTGꁻ %G ɰ?1HaV0S_6#=卑g͏it6kJ]jCX*~|cz$Q [+0 ) 8a*lf]EyCxWJJ?Q;AhȼD[nrPy/R0Z)ߵ7~&1&dƴ̡C3 9lG5F&J= MÆ<3lnG!kH]际Y_CƵ"`w/7,q5uq~U8y~ Ix|m1&N!zijjq`,4?6`JѧU 9jl4{IbM޸z7/s TDJS٪{[/k\=ށٛbt[\v;wcb/qZ-4b-"H@z|'cv-bd0B'F {Ma"LcGD |PƘ SɈ]KVT2xuT1S`P6p2lv'R9($#!AMNЄI\啀>՛!(\anS'US*2:F؛Lc;KZj+iD鸟nAƸ EH\+[Jn,hoMfu"MN3AGF:y=(3kʩ kigMvTav.Shx:|bo BU3Oi0Xc ?ᷴn )}% LT@a,kLܹN">8sDNp`*AxH)Gnz}]0H*9b '~I?@NPFy,(G>GZꕰcYaݨ*$N?DacA@oj ~̨c04kI6}i(t"a vkCllzGjIwZ(@n(ňH+e(!) E+wi G_&;u&kEZv6C/U41m||\Uzy*tT6&)(3$XՂ=ɑ5,zXE""{x@<%P=(HYS1b3ch(jPP"I߳, j`xRrK{/gX*(`2z_܊s XGʇea:|-Qc9ݛvSXr+zorK|CP&78W14CsĞ:|9_Ōr# S3B/2I MW`^Yi!Q Q2OvN 2xIbSx(*sx8 LV29N)c މCWJcY{u:Pd*`ɸll]r2vES30-}8'͉g̴RZEe|hgSڼu8Ҽߎn3,@R:'cjgщd: OD@6?<;> zsq(h^j#H|zBs5帳yH_i[e{#YI?+ڭ[tfO 2S]-eY쉬Q:"+0#[.Bg*QMc[sa}pV.y/"R\b4-&a7.P (6lx5o,~=`D2'.jfS;⁲?5 Hwa(?N>m2" L7 #L-wޒx<  r;p96U?ܕ \2q8aZŲ:҆:Dkݬj[c=/ggnKP'yDTXg'm /WӍl޻_W(5P$tζv/|׮M|YmAd}܂v&%?L(Vw׭jFN=-J{T h=ۏ&݇b 8nm+ ;k\BY9/FB?-ͤ@\@Sjd24`H*oCƶ6Zs|yP r,Rw"=-ͨp;&_|?J+CƷ3"1[Xg :(GٟswC1N?Ab|窶^ߤ[|VI ##7=zޱEh|ifYvN~vAW$g2^UjJOmGXַ~􌚀5)+GɸojFB8FvO4_أWIa4Js]Enm]k}t> $܏lt0ey勴4|Z"0+8i:R_]w h7]0փ6-l FMi]"zn!&/\[&y`ڄBG1A"B7lIES¤ i]0(-CnRc-4uʈr>ٮGڞؕ㶥iWy8bF!%j#KWG+_^K3&u,H ͕d{9 (z;K(,h/؜Ð3$/+hBM}v'&7c~$0T#z2;IXLV|Q9D1vQjM,="P(?wVg?8[ـ=D!GjONb ҴnEJem_ygG}k$.ǚOaE, ϕsd# ]|91jE eQAKUPsMrD5%tPœ`^z1^0Ask\Gw`0=8~Sc u=Z~7:(fm߫Fz~E3r'ύ|9?v4κz.P|Hh3k>dm7R4BiU(%Jah1 ~r>kwÆ7iE|g )TߵF1IbH4%/6E*W'q/,_mi>, E5#FbsA8̫^<$F Eu^\5 n[*v(DŇ J}=%6T6GUA=O|ǒRĎv8 Q>uT/ ;7UvK,~_DOtΜ>=A O@#/\qϬ19IMTHDt0^ яJqMY `m0c: {LHM5[ճ!/Ԅ;$~QIF6cM`d!:z/" }3+Iο- Kh_6|>n}2€9 n:Jy㝞g31o>/ +T픃?ėϟ@[(`DT3LM];; }a|* q@-JQpwi͚|57e񆽡X$u1YlͬUKuL, E-K[VRZ]2\C?˜wх+aϿ/="Gs*|w!N;~/ܠUC1B &d˪wWAZB!y*hS,Dq6 I -(>k8Ӵ8U p۽e;`Sֿ( *^ػX 5)] h;2(/4ҍz&qnhpe~(kjsq׏=TC(r2Ed'Sm{dfD> |ӝxLG/Ռ&VnvX:RtRG:gbz19*7б5!1bLp 0db[orrb'O8n%GhQw4IRnfQ|Ngaq_+ TK +g- U$MӇGSpذof| Oi9J3-ȍYkĤ4lPG(Rgn#NÒ :gC={x8Clܸ$q`^]juL0͙1 2Z0p^kZ c/F#d&]SW}$cL|IX,LFqI~O#cmC ?YX -9k,Ƙޢ~[jz{NDZLx9 '+4p(ɇslى$l~774Qk kT$ wKD?Ԣoki&KޢE}bɹ/.g(x","6 "R QeUMX6B>E6x Z^TLyΩghi6!Hp<5UUy1#4HA64EViE㑯2<+>f:xr;ikoE d r 1 ,ĎPuV`2k( #A.+nqm@^IpL@_#(VO>!R3C$KLS}QJ%t z9&4 sTԤ"%yk JGvuCS̾gJ LI&SRXEJ6Ɩ/Ӂڝ6J5J)bhemHᚓdZcɮ] ,2t]x 0Tbt.ZZV~TRˈk$#P)}Eڗ.dn{cPWLRTUK6?/LL7A#$0@fY ^yv}=BpZK_Zq)7m# 9LO$jV _?'! j{l>) ɾn%hsr҂ =!zU.Zxxo]ɻLʷ(vGbg@"7~\amZ& (3<)qr;g=9:r<; TL8Vq8"41I//}N4g-S(7*ا_z:59Cw1>,5TSܑvIϸ:8q3bXkY OUtls`QOPtq#ʶL%.yˉuXg)4w oBkxxVkHeg屶6vv(ɣT%#7KM =@.ͅǻoG(.9&45SwZm •w@MEy$3AmQ1VTBRH E 0.^L_l?ZRUct򠑥'Qރ@OoQs+a6L !`7 PSf 1Ɛ,DSX5.NvusjYۣ&ȧ<(e^WSկ(hʹ5T23opt&{Y2lg_ f}wSZD6M]JiZAC4>793;Ɇ%M_~$<C kyfW(x[H?D2(ݨ{|D 7"',_d Ips,J~,{bgš_C&yz(UÖ%zo^&qցh@Q"EbW%Jn}i'mo%鼓:a=e$]qAᗥ@ P>Cʍٺ*=yF8lwr=r&C&mCdM ]QE e~1chJ$gÆ ;8Y_3",_ &/\֞/H#4$=}Q/(DS;fGJ |ݦl jPwpK{H'~8sUkoƥwgz*#~|x3GN k/4p;ȣ-1RͫqA}V xLUlrӶJ#6ϮLrJ5cC3͓ rqC4-Xza]vh6cr_$#X;zk=(k]`hBZo6mH )0 t/BL3uYb>sLW4h",gyOj?ģvtS&GV('@2B_W:KF;YIR >h.iіHGRጙMHB3h1#9%JF\k`Uo1sdVG\/^P'g.͛T Ќ !#?lɑF"p8S#PwRֵ,KkRS ٌl_6^6xv!3cב0qtvn`i֠@]gVď7$F Y6 m-CeE4 ~c9dY+ {;u&Wb&B9dywhț(SJJnS~$BGϩRB n0}|0LEi[]T$ HVSth`ਟћÌUBi2 3s$` yA1 Mr 7Mjb5I\: Pn^0וnì(piaW$/ʊ|].Jr$Cy` 껙lHh:܉r(sHJxсG%H **dz' x3&I&Ԛœq<)z}ghjV3ُ;EZh4I UD%5F/ÒΛG [ʴL: .D{I(J Ekv`R7UԆhCq&qk9|{DlnJ:5vgM|z"\VI^N~R&Dm]t cqlD4>eH:áۙýYY0wyN:Op|h[MApc_Ie@\/1(U>&s*Ȩ:EP2gSvX]ba_aQ JՏ(> EˆX Q$zruTc l⅜ yUH˦w˦$@a^vR%~aUݽH_:ѩvh|`'? '#4Xfm?^D4&H|]($~2lfmEI?FPX_Z@rg9no}8wgؿC*Hs`ԅjk"vK~]轶54%`y)TN9@YCA\e=V81tS>ˋXLO=Pvd(3xv+)pQ;B6"-V'rj?^Jz3CflJ-<.gGٟBi-01"+1sx4k ҼlN ^ L^Gd.h:B Eކ˹' J+|4QRgln6VND>(0UfK0'计&bAHDNN=ys!3cs) ˭*Q}ѵ?dtɘ@6Q[Lyt+ֳL'5ه|GNGf=>.)Yx<ՅLBKAһ? yP`; ບX~:z<m/Bڬ$1%QdsUNhIBQs$~u%@#R?n2s-h ⑷Ϸؤ&b𼛅 zx7Fe rmUT(;n`q$Pg XDMPA?5C>ܔ9FHco J& TZ_ ΫT딜bX = WPE6۰5$T=\ t5^΁E cY=9D{ $yc gb4qxBS>\6H ^?{E2DD0[*tcb]S^#j4ˀ-!!&<lL&?($@;Lv uWHԖ["w=D$ Y7%X!Jk*~+“^¼;Wc9]9y6= $!W)'WbS'#v~Ugg߃ j-Ȏp`4E]=IQ(&d5'HIM]p}'s;=|P1t)=8"'^vBi* Z*$k9s 0ܺ^[Hh*>v}z0FמʶPy :ožh$'sgn\7iڝUucQZvZ{?kX nJ(۵qh S9kbHתe>߉=E,ls]./r+BD=nbe_upIw&`&a.u i߆)bWͱ~UCH-ԍq;&Nxrpt2; (V^5X6>ctV@Y]<!"r]Jg(^[m&~u^$l|xd4 F " )mL坻0U$Cq>bt)W 6K iqS!ҋ;H8?C*˦%$+`2Ұz:-=T03v #xNvSoSk(t+q,y"H 6T'1i tW0oҀHSۦE{:K=^ >&9;˟M|743 4h1s{Vo2u0ToGe0TB!+Т}D`۱(sd'**}w]D`0ľ+t%+j/[ &mKP| pc^/074__.ƃ-ҁ @ X;&XJ3,\O PUq/ʍ590nZa-;y#~@ቓ@"M~HJM&#6Hrs H|zB딵I\t?Ի Siŧ7&! Zݔ"rfY 57DVԤ2Ug[-^>1^ΛY$ ! s^TI3H3ΰݫ:/tYiEO\Gl9 .EHTƂmTzS|b%ĵ{ՐoO-Vʼn.w( { U?S#=]2wxE`!FTU/*pj-hHѯS::>] b[D럂X TdUER5~jzM5!@p"76J̍fϣN@* ƭn+ P7٦AK5fIF^=H"pLM^%.5,__;֪ecrz%:0C!m泷+c˞"AdpIB&UTowswP]]N-êԩ ? AG|díNJD߸eT{]!\ Ygs:@ܴ\%WА:e&QMdNvYx{"}S~",-[8p'PjI+W ,I4ŧ2.\j*l4[]$d8L*iρ0$>gns%21UjZ}?*}F nAsiMf2xo3ѿ2ܱ+MO˫-ż4ZYU>Or$:5y6a9~fw2_T3A\)61x@Pm6DL@8gz?DԠnA VꯝכÃWLsqQ$Vh;bwό*|Jo9%4%|b ht R$ϬN"9y"߿_id3v;Wqd{ViUzST0~ A|A]𪖅s-n/dZsQ{ZP)\fk ln<~ޝ939ɃJ lkW: mSCt30D0x 7LXkny za7/5&G cV/(n&WfKE8U3 "O?-ދ\R X>C]dB5P;S/5| Ʋ;ۍnW1UQ OnŴ,s~ɝ~ݫ`}&DFXi:ײoҴsZ)?lpпU+ c2ΪRQU9(˟˟jjcHp0 ^- .{5J2C|L5Qi6Vdg[rJ5rADgz0D*po=Ҙif]ڕRccsO,G[Eb&S1XYh( ꄳօ@8 V񊲴~2۰0AGvd)a@6cpXbiB 0/9!Vd}G&Ļ,6Oh e%Ѧl\L0h}@4ْGcg a]H]&f׼m>{ρw 7ԥ_9c|~P/!z /% $DerivingHOL-Word.Bits_Intdocument.tex7zXZִF! CwR ]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"Y .G˺wަr?b #B:M@Rޅ_79Eäg3 YxxBR)Y|Äb Fe.?5gl¶̓\..XKO'-=qH1^Lz{[xqƕ"2O[]AANF O[Z|<΋3@M̄JΌ)Jkx"<,d/ F mq{N"NHJvO@V>U6mE=-!{Δ!.uΉ"2>ezv,?|*hA^)<,7.FGjD &9T ݻJE|ۛvŒ1kl[(XEm L4uL3sO ԧkjV^HNa'HUS:nD qCa|z}m̳0]}rd2R$:'E B`up6ˀK&zCA OI ]?fҕfIg+n ^i޸D5U9R8BNX N.5dK/j<{EcK;<oI1-@tE<5_IhԆCBktC{kH8sYoC7ȾӅ.EFW#dy OAw݋r\Yu:,|D5A/3^2_wZǜuo_ةNZHTFIA/j.`U /Gd30\(,ہxąT$:IN{Ol-Gm2, Hf֯.5zވ#6e@lX Cwq‹e6X"KHgQ7P igZPbəiJ"A9dC3 OCo #m ##L&(CZ> AZV`!z]EQ}f1N11r- i}y셨 p-p&{)IBupQiي"XQ<'"KK *-Z A?{An?,*_O*9h6bDP` ¡m._V||B3$[BSzOHO* bZxAmjÂ6ŨU]KT-7Բy$њ){`[SozjIb\g,N[@VЬ۲ /nZI7k(%#P%nmYDZ7ogN w>=\*"X/ŇrXmaտT,}A9 OČ^?w\SHk<'0tYVH_~t,Uq$ӑ6C\]dKBWJJ5wdݩ,ڇMVȳEvc!r_8SVpݶPO XŽCJAy]؛}Bp fQG̰apzǩX9?p }(0upּIt!l{qD;WwZVD [=$^j3P .4CtX<O[SZ'3lSWy!OzPBycgA4oqd]g<=U_ͫ:aۨ$]$e˺얫FUl[i#0O-oRonz%q9u`VmL.5b]SBHnqQ^YsgꞣjT'T!tK 0Gc\1ΑToa LKѨb\؇gA+?/]\&"#kg˓ccU(ӚIGح*лD:|3_K+HP؅Sٓꢅb[.b,M rau+ڥ"Ca-`p0٩.I^=JVZV3 DPch3exJI~:;z,uwJ fܷe gJHu8~W}uW5e$OapPi9[9=sՀrmNxIV#ϐZnis@~L!Ⱥ_9dzfB e3 )5|k $UXz顭+RY–UE -a驥DO;-鐀qLrD[{3]K`aiD  KDrPд tk|CQk{Qd)Gv)8'v0 eǧa,} 3ɥ=+[fcF+#Q zz^&˷\KÍ 랖l8Dnp;zn="7vODlipc,cY3")tR{A ڒ8 Ŗ)דxY'z~{QOB=$t!Q !OcS\5D'Y+<@*7 |l ~v%g8$"3ZELIb bC)\NSu#Lڽ[k-ϑnm$.Z_~;]r)7ϙ]& ?)Oɜ6BAβN˹ӔcJjѻȪnbE{CĖ@00K94F @^zŔV܏߱52Sf7P} )_[!@dR)7/K\/Q~}fL]6Z"ax:AJ"tdGteH׉p{#V¿ūZb bK<}Ջl |IE!4]k̠{ zp=E E5fv1# 1-B Mm \(K_Lb;C@nheB016EV,9))hR>\!͹TA vGBkuEM0hqR@`Xv}duO9i H@ý"r") -IBaP4E϶+<7 /˿JůA}6h\%L})ϊit1Y )=XAu9D+SÿB=cCZ]>R('d eRүQt2dWlPZ8wR[NhNy2]i})aW[~&Ff-qKf!WS} 5L9" $lYyoF,X;O>XAl$MtmqeWAszq.qT'aҍ$ ڀn}9ݡp*?*pI~oL\gY0q1m)=lSKM\~Zx ;|fEbcN/b$1pLH uE#q䱤w 1l\f .S%ƏqÃBi{Y UH<՚Pw? Esj+A !o(cԫo\``nݝQJenT6 :Q]L^N|>iPJUq`S\8+`1ekHLA>_[K0ӧU=$KMN:$쟩F91XCϚ5_kOXV wخ%C?Pu.o !oLE1MP-OTɝT*m!mw cF#lgYl"B֋J4PS{M\*K6S*G,Fu9%Rq1lpQr2-zX| WM~2]h<B&V/ !_v6{E&M.O$D9i*/k/$/vsĭLShik,dfКGU&\j3S YD)2?5W"D|佪HL;$!I|>\ZI7P-1cѪ`S#Msk&_zGNӣOpIML>0>SЪ]7g_>zµ1o`O~ʅ e2tY?8$zSk)p5 ~n]%sSHR@(!h^)R[NgQHoΜ#/{^;57{N}B(=\T?<¬W{ Q`z5gdYQ0P [/q9qT^P-=dS&*FZ`8V[$#qùIvmd8RWOJ/h,Xs"<=!7l(xzKq!q<ߑ">)Ҥڼ`4k~OyNJ'޷Gc";Fv N w4%첳72t(-[+\h8I! 䂟?جNI ƼhB)i9߅{WȺ6ad_MAA@bT11ryJN}}w<TPwQg3#^f>4~Q⡑V5 3 &5Kl&nRq tGm ɫ .Z}q^0L) r@c=aZf]>'1Yz~uPXCipx6 Vgd<ΌRB2Zb8uI3U2V{$yND`*D0A]caT>weX;WC(FiT Vjw'!T{R(FCZC )UxO ٖATw0zՒA9*F3Zh`EynAPT+; @z*ڸJ$x^7mld9D"-YQd;XҵJEֿ#HrR/@˷v;o$+'89scro)Ӆ V5^#֥P5F(P`&@rH;gt'Q&)Af>X` =~en(U6=^YLW$T|nTv]l+WJۻߡa.U/Q4RQIE'M< Zb4W<9ONGm!55hwi>&mThC(?Ke}U" iK/aO:ވ,TtxF2[\Yh6?oZnUOaPY_Cވg1[sp"Pf'ء5j.R<6UDmhMB>\&'eBagv^ee,pB!u6Jq1GYPo$C9K)A4Yo]udyiec3@ָ_@oAx8:?7tFOܩi47)G eiXf }ڄ 9\AW:Vj'"dߖ ycu4^YlnE3{ _)촊#Yril`HpTHC3- >c +  4O.1E̛Ihet,vA?dUF`1d.>-yVNfз \PUD;2rL:f J[WMwO }u +L+vJtE{+24=ؿfa(w}rB Q+˱fx6Q4rp(Da3|x1jfKcǕꂚw :xA!iX"X \s3  uٌ<+ӧ \?]a7i/6}ݪXl@jTmj,>0_{٣+`+>n6-sºy& 08Ƅ\CWµg$zGeaEȀ[\O F;L% =?`w) 1{ BW3}L𦩌Ct$oE#ښ+ CJl+##QͳjXZbq?k=҈w:s@Nmvam"XT>=d*S&0?b%o}Z, 4 FbOq"2+h较!q>k_&b&g[8SR$KUwtEpF{pn9ۖQ<ρEp&Sj73!V83Tx҇%"&ǧ\+!54\:$2':EWzM/[ayXBF<ںpX`KZ3E樢):|G]IӼ^"H]尐jIVxGSB?PkCic)*Kꐤ{O:wFvRհ dشn:T۞fq@Ⰶ#-6nӐzmgl|~Ns~T`}KW.A[%M'_ǚW|dS,y;*d}ar腿NgB#-Nm;9&F:$N=^r7%(V # $m}"2؞ hf\¬ b`S8C&E[)@+(/f5fhIJ+7@{zd~;uxL/4An1ꨏ"[oK\0ml_s4!qޓf[_C|(ŗy#X{E`3KUT;3kŅ C2;{/rC+#n٣d"6 {9̐n!1y{;FB4Q{sΑδY qD78K 8M'G6@n^0ހ>@Zun(iV~^ޟ50a>iU=Q߆WʈkU]`Xq_ {s_p-&@9[]쒺.]dVD5,)Cw+cFK,O5e2~Le Q>&E`4J X'6K!אԞ?(X/-\&"Ov0K刈UwAߤ.T-D{]%m Aibau[ǿ̫NXE 8`d#qZ #x~<e+^[eF`GK._},.S}*w߇ LWCMKK{t\Ue}z(\UwCOsB&#<&ИܕТOe;W%=bAiHPv: rRZ I*iS}#lj?jOE}%⎶vCe =,Oi$Kcvy -AJp$3HQF,fvDڣ1Z/X+?JFگ5XM&JE٘+Rc7ȳڗOxgI=-BGD=Ξkc/6ByW zCn=LM4Ͻq= ]<&Vaz%!Ek 0'*׀`1[G|a0LYR 8ޝzl;S!FȒWL#E;61X]a 5zqy]3x&/LceKʨf0\yd\T=\jTЄ iP^o-?5xr{6`Q 3wN&=iiE @jac2ZnF\xo 4ɛ0m-TU~H7(S.imiG>y\_Q'M4q*+ئR!~઩c{PDfio}9,Fԥ22̹l ʈ?1C86-0jt'Lw ށ>d!Z"5/BH%Flh  QamJt15b< i<e N^aW.yšmrvk Z`ilm-7C82BFEvIDJʺ{:8t9QUDfA1ڨHipK+õJBIb pP=ÜO#sN9# -&x;󀣤Ы&g:k`4n+t8ՇCj6 u m7:G>5)'os;#`Nq?3sbW (A;k\2ZuG cNmw'i%,S) ~|f[ONn8).=\x:;5R]F\t^w Π@]@;=X7U6aܦv-N|2z[Cs$29p*k&R FIRwܘ="d5+` | ` 87, kK{%=>%ޑbՄ#+RsGXBm='kvK40I>. Him@{%A55'IyֹsX[AL9ңjFRIgw$ )%Ht,SKSޟ0rB՟{Xv&+K>~?'Ų?"bei7 Hsh!"өXLwF MZ}*P-e<<څvI)xIXq͵fʵΊ'.n`Wǵ1anlJ89?<82ge o%ӽ+:u$ځ]na cT"c'fSB壈g9WLxb]>gJIQ[bD;xS H~XSTkٯ;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 aV&]7% dDerivingHOL-Word.Misc_Typedefdocument.tex7zXZִF! El]A-MՋhvG"uIBm51FbhK#|Q}S+d7=ɟzizEl(W͚"ܻ9%tFlj>Į:%* O% dDerivingNative_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ž$*RW~YO=?llO"|*`"8Յl/r1!azFƸhEݻlrta*"Wk#,_dѵNCIƃZ3++xwݭ2[hu5s+ oQPRZ9Z…}A#aѩupI +`0cS w񲫪"W3QL;s ]n|glQhyK*~l㩁KA'AV"$'ȦP}`?T }2Z?#)>zY\`W=I𼨶0(Zk(ّ?0Bo/% hX5(g Bˋ(i=d%BMuQuS@ tr)Z6o!-ni4ueԯ|4IZ;VDp"bB8HNgj%ǗIԼDۃ1 [ ϣ#1㸚o)F5ΓhT} FQn[x!r $YaŅ,J2xSMɈSǠE@[*+qAΓ!.6|y"A5jwu"xj&;莪+xX/1-JσzZP˕j gS,s_l-n { 7O:۰սqVFu?{Ѩg.R78cշT$Y ﲶiTpq) M _oBMSBUX'a,]}ޘﻓ6cj3hnǞQr-?i 3 !¿wI[XN$%+\/D90FB/'2mrC嚴#Uཫs^"`[8Yy0yH?P@h ?;cQ ?`}WS:)B3jZ$dDiܲ(*OJ5v~&j5xY쥹t-CfRMy09b[\J`9 SxN\;_6bX٩ 6 bWkOTn #@6eއāPԅSMAD%U+jŒ+7}Qr8/<vy̠ƨc$p$uV Ȍ =bQs%R-YLqϒqN{X ۶^e]@+_J>9]E>'bؖ+e`2bW^p4u?R#+7`!`tl(JSR%!] p+Pp.,ʼn/y⵩y .d#8Y AG]r Kݺ[0NEڎv=x J\!Wng6iG@r\90<wwf_yEcHdmLS\CZ:eYsi]b6eSp>Ct!r!t vMe( :´.`t?KDA^u!oדi='Z6AF<#[ PѫVECS h\WYv${ԍtQR\genu~Zz8z]m/=jZ+mM Jx6{+twT\h~%bㆇ:ƒfM0Zi+'jKZ9e_F"$W+{!dE!K 4$!zg:73r#?U,fa[{jE _Pvm1̕dwOOV*AxPl!g;̈́l|5'y[wx;rx.rTj%0r_L >w.i5iCo!hIA/9ZМb/ f1{ .G.Wt#_,|a]_uTa(q1ptwu ̹d Uv>E6VƉ!.eZcJoPkJFcWaWg*Htm" 5'C|KTQѲZafyPm`ҋ}$atGu}%NתJ0 U٠i!l o&0Γ"AN~t¯"OfI RM=ٸVG9ql̲3V؟!⓲>妆rL\\ĔeLpDm%?zG\Nt]8\P򁛆YE͗l¤tU85SQg.AhI?3o{UN wr FPeą<"R*$MHX-|} f%)=F+gKE@^4hR3b$kAl,PVw}k|Z̖ %"89qTnsNup] V ",OMkׯk OgK.S5N}؇f |-*0sG:AtZZe.WBs?j䰙Z4/D4 rtS^2cYS뇕%U 1yQFKY7P^Ǽ$:,,-qHFU\Pc-%0ͦ|On^.ZbMH%ěe{|~^H*bMnme67p6eq B pZ7H/|Bt3U 8R nDQd$7T@U#HaJ +BXks >t@D@4jzjrSFc%keUow{YYϬ Or{! :=$ l5K幍uN"67qjo+ya1+vRgYZ"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 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ۏ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.>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ֱgYZG% 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_Ȧ(( u7% DerivingHOL-Word.Misc_set_bitdocument.tex7zXZִF! ]A-MՋhvG"uIBm51FbhK#|Q}l= &'ح5v7,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 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 %%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 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+bĞ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(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]HgYZ-% \DerivingDeriving.Comparedocument.tex7zXZִF! &L%]A-MՋhvG"uIBm5XJx`:R!jIKVpQ".0]c4~Nh)5bz:Q|wg{C)L;,}?#&BF0L%4"R;˳ׅ9݌OgXy{gS¦.!e7nq;ZLisz=swi]ѲA?fWR6dT8be={ukEO&U쥆]y2PS-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 ( ("5% 4DerivingWord_Lib.Word_Syntaxdocument.tex7zXZִF! ']A-MՋhvG"uIBm5̝:[4 zTaT<5#֢ ^·Mi`EQ}("SM+VA> 2.txGM^k ;Oz#+\4ePa_['}$H)Bԛl]*g(BT q 3&;tLO]SE(1`8da +^ G syh #+.򓶹"?͚F뜌/=+C/b-7lO&4꩙^r7IdA9LnׯU/[raK @/cY`!&_rI;,.wi3Dcg``%zf3`3iǨsƋA( mMAxOt{Xw)eXuq;]h,MڃoW_R,ZTCYu.t%o8Zql_r-zfh [Q0C>7<|0IKm~zҧLE;ą|oלJVѾ3LCIee><,1XgSZ`? ,$`Ad:/RRX¼g]&޴u -s6Nxʰ$3-Ô9:dS>9ó v[mHDW?zFyo:k@ r >G1*d۶dVAfa"ydw^rk n V53*OB. }/rU𜕘 O\E±gYZN!A% :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!]9gYZ  ?%;% $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$5dgYZ4#E% 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 0 s0f(A% lDerivingDeriving.Compare_Instancesdocument.tex7zXZִF! ,m]A-MՋhvG"uIBm5XJx]4Ź|:\dB]gz$"}sxI{K;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"OT: ]Z Kk{9D$swtp827!I?QN)u"qYp`'hQӶr^pAg̒qzKŜ"k%wpW'H% ✒Z7{C~%!&7-6FQgYZ &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 / Kq/?+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 gYZW*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!Ot1gYZ2)9% DerivingDeriving.Generator_Auxdocument.tex7zXZִF! g@]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Ř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&ҹgYZ  i07% |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[-+% 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%xK*IY5foNA;uy1~w!4kxhokJ>ض`BHu0@ȁU Տs7K}/dM8xVެu1@x@Mݽa43Гk-wTp ~W$ܠ DeB5̆R߈E5A]Y^.f£Q^I+92$aĦ0.q ݮ#N+y@6o*vgYZ8;d;#@;IP' g REtV-Zn&\ȮN_2A_/o"vg"np "ڂ=?Ț$'$Y4.za{bozPW#Cm=4~t1߬'njHt,+ N.& 1e3lk7-vuJ6-,$?eV rn4uTTeH*,riIZ%nJ}KĦQ] 70iCʮ'ikKeki0s#!I>D{z${vO XQL?pi=hH>؞WN UT 6N`$Y(a~a8:Ug"kN.r$ˬJx[mOB]b?S M!x&+*HwjZ[rJ҆NםI׈O((+zp ?l,_4`{ h>7mKCAdS"ȳYMH!G2k/)r4}b4m*̍m[׋(*uaC]7ؑG&!54-cod^FKz6J)ιe=_u=e:{tg~]:jYxmS<;`kMH7TpdΤsxvHt;& V!>P)n.hCZkا.ՈA IDs5_yO7r6P@8NJ=ſJH*ͅ+Z-EQ*#v1安׏^an :[ Pض<GA,֑=) ^T`\w%lm3QZ1gaӣ(pE?`)Hq9t:SHpu +*xDz+E D yA^kY,2 Ecy-kcUE}XJv~@5L>nV h?grPr/6 8eο>;&}*np}~DHU۲, anO@Lʂgn6oso VxjZv\9`ɴ_fWBX?[o i3Jn)hdSQ[;ID?N4͎ C_'-!m?d.a239ߡgɟ6)W:ą>_%Ml^0K)W2o-5qᣁlFrpK18_ĠpyfXSZg;0Qz_SgQh4\Ak$=)"V#Qi `ɌJ]ij S1yT(,5USm̉\L:PU!;O_e ] C)Љ9O/xhڧMG85zHBWZq^Ȩ*% dˈPcLTɇ13;U~]|I3QXE9fMT vC:֕&8E8]t/Ub. c(UNPŨH|,NPwIKzI)f5|w/krnd*wmH w5rbbճ[s8_΃-4;p8c/ f$-vf _K2St1t /nm"/ "*url~;o(ţ:-1Ń[عT*H".6}}CYTWuBDBʔV(N=DG;4T}u .%MMu>q7.dxyL_iJ2 '$ZOzJ;6R-Nive4@"(_Vt!N. )j<^Nu/#Wn: 0V(R~opja@b&38j@&;}g, ڻv~יTV J&bH(%p$F9*ܳcᜢS,O'RY_:Ro3 ]x3euFb-m&NUnC\A7R:*@(0|CyOq/V&l2+f-\B ga Jg;Rzk16n@oYUuf#nvL\J)dtE(E!;;wl~/kh.U$Ҏ͵ ө|4llqUɎs7B2UaYKq5bUz| )oS!ASvS.tQ)j8܂RlX'sJuN|y # ,#XŨtKIxn> F.IS4[ ^%H-#q JQ?4apԲ#qLх HErSJe?v1Y9/ %idȌ%umBQm=a܈ $Gh9gfzDGgzWUwi v%IiIbQ؃[Cg--gz9ȝ5e\mv66mF,2\ ?1<<djYN e2slhZ!ފbX mY A-PW]Py?1%/}Eqǁ @.wX/m+F$=(# Ƙw<6%)g#.< d'+1~⻃<,Kd;^ofZ~*b tt55|Y9̔!TC2`I EԀCQȲZԡ- 7wc v;z+|حA+֓e$(#r @~C{E`F8h{Sǝ`W%ZA k6 pE^qWu<4ިbu$Ԙ;_e8J#ȃM6 5?Cz^1}p" tes+_d'q<-UwTyUYx=jC޾SUcm ~$Q z*d][wK 0X`e =h5Jq729QLK~?Q@dŴ`)j|,fɄ(?'Wɶwt*ñ#Z{2݆mT֛G5<][D@Yy+݋[Y#2_ gbJ^=Ch#(N5HV@*S sE~ګ(>l>|aKΕ<^M?,J9z0,,6u+NΧ}\C I\tvHOYSڈ{7헢Xՙ(?mZђqu{#D ̓~>T Pt2jbk#ɒ|69X9k \w]! ֍Ih!,q^Ua-Qp)JY" G PÕ4R:Z0 Œ?b}R*PViJDjD u;XSxZ.KXOrcn jQo 126BROlUb}0a *AAz3BUxOֹ0M>O)+4Nʏg9pcR 1)~$t3h>9Z u<2r %D9Nop[,ثRr _S֩[TPd o2W]Z}ӆT+n#Hn Cb?}Pp]ZbZ5φAsEBܼͽbWpey+Ŀz eWiPY'Ieiߧ"T7? 1$Cg18:+ZGi'DDz<q B2fd^ '>lbe_a\e۱ f`h'-=PUe@r旿#F %8GCc#{kހP5g^A.pU< *i~Xf&am s`+vIPOѮFH1d>B;y;I| ]0NwJM ◫ukC--O%Ν53\jSPqSjEZ;qA Uq 31YmkݬNou1>K^n|URjkY >%iDu{n\n/4>*=*NzF; ]&gExΒłF'rTKHA*[n[d[%ǝ@ }^OyTB=ltnf6+!F{GL~%2fK{m-%/F|h!nk4zwvrfyK) uwHV^Qe:j2*S7i H0Ԙt(tv@\NBN`5Șytj(e4ѻyg^ 'knLZm_PgFuT>+,&'mV픝)1Vi_S2@hDH HA)V{BW6ͤ8)Co4b\`LZTvǯK{H@=&^\p:,Nn]B*.,:~YJbmK*氧:G7j8>Pymg$Œ_e "IZ$&' ל2 *Y Dn4yO-xxZ1ڼBUͅ\޳əBS%TbvyE=sea#mO@ʮK4 8ACF"V6ā\HsoZ/KPqq~#96AD,2zKmESLd$xf8@$QYWO5j8G.) ۻm e ͷB -=?0,t䰘) N=~n%l %ʿv:zMX[}I6c M&eupZU0q^#[:x-T8V^Y`?z8`Yoab!b*4V.Fp@c= ;Eج2FiSt% %[XҽE~qQK l` 5ZJVVJ S)TШٙ|5J*3#Ւ! <܈b!؊p|坏g=t|d2LS? LSV)ߠa7V=#? kߋA٩0z(Sp3LzrlH"~dis~)Zb1X"X?1l=!"R,!fF402b ~>{>`]u)\f glG0Iʰ]oK`[eLmXt› 2GG@H| |IPTȸ s{6n˗eU#99324u̾oI5lp 9~dIO;>Frt \1;V=I^=}QCj:VsEI@ ٘"%ad# @ttݚ  <1\t6C0MTu M)ZW3ULE*˲@ Pa#2g+󾖣jӗfjQyl)7q.O|x9iǛL+M)C :!{\5gjs<I^PFnt$ #@i~V ,M@*/_o⯑j\„'q3#| omN? @ӗ+#ӿ<_hxBW+Q:Q@EE14K!MZ׊){nc!==ֻK|41ފedG1;gʸB=`3ȯܙ6ڗ\rqNV^I]rMHi{fŻ^јaM~i):MDsY{F;#uE57C"3I :8ߙ \67Es+t4K>5>sCH5L!~;#^6- ij^J挲^tTvƎj،!F1Opzq!@y%鴗]*I 7-ÏEV{\is'f7BgVO3jЁaN-x>{@s]8~IiXe 9o =Z|QH-`p9/@d:a$%H3؏ڞ̈́Jܹ#MmDzWtm0Ϥˋ3{%yH$@9A r'8oM~#g@Y n⼿OH~?~Vϛt׺npzȩOBc{K|sy.4(&gҏkQ{9+y}?WY>i0܀!;H\a$nOi Z,PmI륤$' qS,oK{sx6OA`ߘ^uvㅮ̿O9%Ǡ(N}NuQu)wKТ8Y s/.FLbg S7)Ŗjk 8ɼT7CW$%e2Ę<:Qm>1yjHʥƆ 2_!+4qTSښy(<ǍI- ~@ C78V ?`~5IJVIXb^qt(uEW˖,s$xT7*Q[]qxv!$?K̻܅9sxca<)ȄmBT:I'Hhd7˨,"W ] f}NkIwJz;G깹 Q冀^*0EJxva'Nk0/lA bBPH5oBV8̇7]Y`A/2w /I u].rvW`fD59ga_}"<|&){L|hCx@^Aks/hKK,&̠_*^6>^8pF4 %D_|,]CZ#!3 ĉ8]aaRQ~8.X֜&Gşd㘃nlCc`Z*On3a8鷡[v; +mLɻ";d) y{& nEncϽHځKeB4=ڍa_)o/FTBa@<W˳{=Cq 4 ؍mKQO:IMerHi\q*]BLOW)Z9Kl>['7J>g׺Υ@RvlOg׿&  ]~?Kt,U( R/Cy:.GLlq&x+ )SQ_'xu0ɲ֠K@sI%?Ak40,0Zi$|UshNq\GqQL[iF:U}Є?Gw@%YݶP?SnKQLV gsރqF?vkir۔`cp;f-~_DY mJgznݗ E.k^!Yp>ڈٔ:Lљ )a$fPP[x ؍|5؁&1@}25=T4j"LGTц)/*$`,k'[3H[OVC9=nE{TөȖ(ҟbjVD 2<ك\KrR\>'S fF\',Δob2==ü6ݴ/;`M/VPW#Edzլ:;bj:+3+k%ȾH呰5qO2-c*X OPOqϬaV M*}e _gQ=Pj#xYu>?;̜+hᦧI ũC׊ˀzkΌ>.zZؘMspas$X[ MdH\@UuYKDc|`>h:Xhv ̸^)DbUzlk!Kb4(x40/YekR}C_&3y؆"唨ΥD[S5 eႁpqM/XIFêoL2m^PKB3=6gOZM 9&vl696:5*JAw;`"%t !PB9*ka#V<΋p /VySf9<0!K=j n1|wqϊ >L( v; ^.SxX=T,WPAu K/%.0uܟT̉(XB䚻- j6*ࢧi-Cu^񞾄Z=9u.Pu1T]47⤉6Fcle*%S]GY,b] n3aRBL\ٓ&[˘_AC|0Kt*s"brkIk)`c[YFAJ,{U^ߖ7]s(+vP8>~s+:W,Y Ng`aCp*+3p wSBwxux>P$bƁnXc#_hMb)rz >xz)hP땗{{&]rDH ;Vk({+! -Ծ[gVnΛn+<Ł'91>qIY{fǣ9QznD =:*A>T2jӰNdJ S MͼΝF rq.<-."! //s\aQdH$`Hr̲VؾtHu& "Cq_G9=J)׭1i>}EB>[}|7[dWf8ZͰD8U>GtO} S(Nߵ};˒B-Mf1EoR ǣcuADQ^#pzw 8. ib3\*c̅=W5F@Ģ7V -R܌͆:t]/.ffW$zAj+p P.⓾vmd~]G#Ĩ9]X{缌.P%3sV=Orl*3 FE$H&Oo5 &8 EnCA}5"wq%e%7B&LUAQ']ΠQP T:6rIQ=}F<tQn=/X:8@q3-~: uHWa"9ԜrQ`+0B(b՝5{ׄ(,]W2J){6vADZn%{U?jGW+kSVNO{޻9,8!h|$5 Kz2P~u7+ r3E\hC0ʲ{*A6vǣޱd~K&ޖI=8OaI=9X0I.݀fTmx>^a'w~Y1QUqEi#]+xX),DehqN ~K8} -RK6{(盪c'A(,Cp1 1Qiq5/m .m?ꂚ ɶ+\p?_n[a^/0' cVw-! *=R=4.D.xW&%^krG F 2v!)ǬLs~UΡ9k.j91oDHv#(OCNw6К0dG͟8HT 0&ּDaG !. iE*DQ#Ҵ*O+A~gyhՉ%<ӠEڭ(p<@eTiÐ:5Q>WC oGokDxp!_s-tWqQߌRqZ![l@U)} #WHa#U,woŇWhj,fY qxaٗ L9 @9 ֊ە/C"[atvf Jw~;9Ίb>*-釂t ; Ӑ":AKgY{Ԏ^gQsuApEHۉŃuܻw4ZF\Є|h˗jdY{/|p7# 5|/V]kva$/0B/ksm$$F-(IE&WK d"6$8u %rڇ0uQɃ5*0ဣn ^QwŃf}3ۤN$&qy&cݒ|oND2C"%$u4g6Jx~5H zGTZ3XjlpߚGS)v ly c=7c4-Blֺ> ])lC%уU9P8Py =ӡ ˑJ1k+>%Ǥ*Eĉ7A3y5@ Gt:odq:PgP  L9\E/prh-ˈ:Dx/x=j/syW FomJ}<r/\ \m,\ۈ xe ]{7SXΧ'⥽7mٓeG:e ץ.ZT+И/۵vþECn;RF7а.'LImHE~^fP|&6.2vяN.3|5l 0!Q$Mu k\mV%.X`Gc^>]F=`Й~ ^QULْb6MP@Q?^ } >J Xs]n8d[Ol$* ʟRbwa&}Сo,9}xa]'lp_֋=7b _k* v.!1,,MCV6t]%\42{&Up[siKRm{K`^;'=qF>/I+hY6\Ai6u^[X?ZA=ElLF1Cݥ۔JN7_Rnhx'eFVaqn`LgiQu1)S;ѐ"gsalu2Hza81a58\:q<|!^q kFBm.jbSaBBH@3J^gf5+gcYdqylfo;)9]:@! q+Ӡ>.[mbagbD~97ֈ K`=НPmhRWDD>EnD]ioxnl_[aMn.w3@ufﳒS$`&}nl 7Z޻2X`nc*K|IsTc5*libէt[hJcjz\9|})C~+u1MR)ɣdRԉxϰ{a []/&'] *xףཛ !3trۄ3aPq!Giaٕ״=|Ca>9D v^F7kKxf*#[rE$Ť oƻ |m 9}s _Dkvd$z'eޓ))o L[f=j"4ĸ fc%ՕuIt Y);;7`*Ī'X4lr05A-H.a?]I*k$ {(ico-IF{?nV0' $\ i?.> } L,^Jr"v˓W$UCJA<1{|:NX$FD)xq.7LͼA3~ 77J6RMBOU۾#UZܞb_lxrhko@9nm0 ) 'Tw0ܾRTzK< ޠS1K 1󤅃I\`x@}ɗ!> .rNc !aXL' 1{օԐlî~}b}V{l-#doKC#l4X  3Z ">Bv"N4X7ǠCLNE;\k,=wr§UDc#PEQʫ&msy?G١@[ۗʀo !R~ &okHI#TM:%8HO98 Q`rzrzAm":ElN#O?x&8j8bkAC$X7 6?NyG1zVB>)Kʵ2_ byٌͨۂH];3#Rg=HkpȂܧ̕g*3Uc#R9S:ʠ6dܺy1vrXlAa#`~d 3lp~2 Ҿ\oڙ_x -]9~G%ۄ/EG[q!wG*C5~vU3=^ImXi $5pܩylWY:,s4hxhCݷCr4 X_-r#Qvߌw9ݠ٣U-by](X i_*[q!M~[Vq#O&[c% -G.jDT-+WE-| 8;th CHݖd x"q4 К8p!qH).]Ŗ^pe3&&06DJGc>V6GCͭcx} ? uQyC:e=>vNؑyP"T73ׂТ.T^\Ks4zt?f O SnG֖"42*ڒ:ղQj$>y FKh_Pk- ȏW@M8iȆ:kL%gzZ52 :fB܁5.\Uc54+)Bzx9NVt7j㬘*Eh-> ՞=c 7 e5+&ѫtT"!JnR21}=߰gd n%-NЭ<&B TZWQ1 2g֔ě*I!\xhv7K9vSz&Y6| xJKɷ.~ί?=J@m[-E#ݬyqnS780wQ(wtE5)*]dҢP-@`?bSi":nt:TmWʀ#ni_{M?^c1tq1+n*ff& ]0(-;rYQ><9sҿȬl9^~e;$gm.agGra\+JY G‡=CJlU-ݥO\A *ʦ*Nۃ[cov/P^_3nMJc8pz_oMTc?z kt/tB2YP^+5wdR1rڭE " 3]p . 72Qoŝ{DZ&w)}3|jD3r}R]'QO9ĸTnZY9{ӆ21-wZb!(nMg& Li56ĔVݔ~R=f>M/#h i^ha]qUK'MG4 1`|La2; X' כA9ˡ,.92 xw /h]dVX2ӥ^$n+>>W[\|yh95}uRs]$ B>}'Ga;]TA(xF6@Ф%o)<J!B|C-4O]@c$Rx\ds"ft~Rt &Yf=0wk:?.>K1eD'UsJͽa8|2Iky18NSNs)%4z:$@ 4B["4o8ߣ7TaD&1їw<~Em=^Fc粿V=&aG?a^ّV9Rym02ug et+UŊRD3r\ۘ*K|0^#֓Tko0d%+u֫WXGDk w\v">!ڽMҞ$|L֋\]|bGOGLZ9%i8c+~)h.lgPh}~M@m$ &jǒ> hsMZ0]b2G_Ѵ+ n8vUNeBpJq%"pM07 X>_13h %۟ %eO߱>B>ĄAJU\##$_rY7k^e$CkJBjyB(2UF}/,,Ke7m*G4hMt(ox.i) 3X+wJq_cL퀝2^gshV*) 1x[*@[!5{q?SލcSPæ,8Ne.m0^GAoMBkږ=w,]:EldהoM0GMY%"oM#{'Ɍ`f.ف?ߥCvcU,Z.s]YvxQnO` OUƋsO,΅E|myQ0Jɓ\A+ݘɐ 0e})Xɵ/Ik]IU=qPEŽ/ϿH߱]OTc ,%;r Ob֓Tztuyj>+P>A#}C:o &oav R\RN9FyU,9J^ɩ5y儂1YnL3JEKYȜ42(n4!LuiW&4*%󕾳Bd\(U[(?Ti`tG\G(/n^eIbϨwli@=ߺD 8#ЉO+͕2MuMBXzR[m1&Me(? :#i_sgSlT/n VknSIp3 8[>1[X69@@:.h}LHG?g|+tc^{\^`iBbWԈ.05q[)Ԕ8J5fOU6'VQ3'?[*(jq+^RT0j$h+znoE+.,bc#n%=VyߕR$QΰW+E˭*zs1(EP-{ksm>\y9K7yGD"USԄI~Zg&blS_aV0݌fu)ã$@P;>YQח X. rj` lbEg++LR(0ab\ `G-<-%ZɈ/`cP*m?6_@w@kw{ҏpH5 HG1b矁*s}g$P1+bڀ *ȧjwt|;@M]S')uL[YH=^[1ԣ)dyzGgWD/bop(-b.ә(#gRX괐z'y"v7u/nHC~! uEd'Xcrf gce(#n(>_;DvND7 ukҮKpK'2+x:RhEb]K':7EvrA-̰/<0HmxZ_O+w~l%Lo~HQ*֨?{ǰěpLF9kX1Z vWRgM j`#̳IvM ŀ{pֆTh045r/[,XPNFR=mlb;UZby9_t*L( FObA3G Ռ%-OEi5]X0i@Tʁs2Oq 4 ׬Ӹa;P̺$S_L+%} ; rw4"24QkJ!݊涶Oc9"٥zkr|*+ܱY|LUjvf#}B˾naE-0md7-؍WjGxPuSՊd5'S2]m(w[߻\A7fz}omh9o[-vϳwۋȲv㠕[i |UmfCp(5!ShYG' F>q8ý{`Y67k= ◜92s\hhH / yj")٭S1'+?i~2uF _X?M({E7X I)\|So!JH{%~@/mkҰQbaIyL 4v+H H1< &U 64[/㵋bn="/a&0kERrS@Q ^ )F8B3yhKiW':uz6뢖/ QKӥ@-|Bh' +8&xښ A9!mf$zw 2U.O;:qp {gjr'az%pΧH8}R-0ޑϧ//siXPb'?dܿӬ0(:CtBuv+gZlAvck/Y d8ɣ-fHy?l!&)^ArtM1W'Yۆ-._6,嵷",*< }@2VqFw񦻢**YjhTM˚`($ ZE7:5q>7S장$o k󮥠!Z\'>4az. V];v:Jިe YeuRL8G0!qB?oք-հ#i< )C#N~Q44bW%xT= ?f0Iq E^?*k } |=B)'kq4L[@E*Jaܣ> L_̧̠|/4sTq#T1jι<ZWTލEˢ턲Z"0Kkʓa`=^s6]Djjmm56rRT3s&f~d…9 p - ebUt8#Ep?&xk:Q`M?G,]``kړP<㇌܅E/a[V\_ge^gI2.t%<2+]jFJ@qei`zB3b/=Q%SnJP4$"eNt96%uBٲ\mGmYQMc HB11Jɐ]s4jM&[?@< SE 6bWR *ˈͶ 7Y-:_oPvŚv,UNwk.o547I x[1BCeW&-C-"@uJDܼ$İRTUqu"pU@Z{Ks$7Ãj[9,=gq:V:>S7\+dH~I˓5.ϺML6?YW3'q A H;` sT4թ% 8ʈtekX-kG~ UW$lyPy7P?ʸCTMHV^^;Qbv QZ!lhRubM$NUi=@ 9ls!at(Ԗsdh |$2JE񑧅b :yuKɣ(Fj')YݧZPu?zZ]bTu,| (޷~ wf%՝V\!EY5C`2gtFF}PMH/t6h) vv@Kށqu.pP:afsl5-phv@o?ȱ -rerp٭ԮyҭIEbYQiFI?5.lf Y6{@dϜ9ܤeO[lMg1O?dAͷ`mL96=5o'&Gk@2c0i:!45х_ i#T3@i.u}%cBi6tC<\!? Iiy[FE➢0aJ 1/Lv &;p(}E)FVy< g'oٟ\D 91UADЍ%$ X3k̴X'9$]A*b/#xyf+Ӣ[u{m| (KIخt$HU5V]|ӱԛXԼ;}P=+-uQ. 8^WBѢ:i96H?J4\rd%Ȏ@oI5me~i͕&^7v8Qϸ׊4R9<"M vh!5}?n ٩B#ǁYu`A/Bax746sH L*h>fb+׭x A7ąFѪc 4eL*`ã,6ёveR|meoIB5*we (VN&?uu3JV-N[UE`[;leʲw-Ob:1SK"mhXR+9Ig@kq;nJǽeb1rNkV:pmi#Z+Vz[⍀[;&ȵ%7WN 4Nl<ff+fB.q("?Q><O\(wQ-cJ/k].@/|I-xSLl>{͠D VX\?sIjT>iX fW,u3(bЬԦ3׷+LEg6hO^E8kL8`ndY`t@QEO#v܅ bQ0[ *yq C]M$/b &Z \mE#[lڀn̖p1R RT `Е"0aHo9@bvƘx-hkWE  is,Hgw^h|(+nWo %H ǫA$]xkv ]na<_ӥ΍AH,}t3.ﲖv;)vޢxkB ~)wp^E 9()862%a(g[CZ}}N@ŵXΦ_tPA2 +%Y1P4cpѫ"M]kE*gh^ ew[8ji |)#PAݳ0Ϩ]y^ ' 媄@hnK)t腼\BwaouWSni.MatFp&A)tk&Eۊ0}o@]ş-OvxDžxzG9GXsE$/ AQQX ` YfX Ř̯2q@9ֹrۖC?%,?l>d˘`T$]e>%]CbϒWyMP~~Vb 1%"*4u[H mv댗ˆvՇfXaS To]m콄0GCҷLt2@_2N1Vw8ӑϳdlb=mlsZٷ,~C|W+s譕%rKUayֵ;Qy2+&B Z4Քtڿ불꾏4IBN;" yOĢ;n6$m*$s$pP~Oͤk7a1oG.ӷ=}xcXdd_ĠBX&Ucm|/Xcs˞v.y~i;TӅ NcspVr s E98쓷ܮ\ n"K-G567u.Hwl@< $C#eF9c/#F]ނ,dr,p{:$<@L2i6ۯbcyvKΒ> ;Is$ ua]owZ#lLVXН'괫q:{`N!6n.ܨ*T")д(9`^zE[*U$y-c ŜOT2 w `];/컰ŜGSU}ew"tk(%Q#L{?)v ԯo@I 0QHM0{T6_rV"?$ `q,N8АU/--b嚿&0lډvȡ&z8i|GZг9ZzB~Y+^WhqvE;Z: c}EU:1k\;8xYzAĈE9Ajh5ڣ/9-YЅ88?MAzWܗ);x#IC+${/^-;n AZ29\Bd#T1ck1]LNaB&d7%֎k)8:1HΛx2S.)|cBg*sy&`3xauS).Q RNΖϐ۝iߋez6LgN͝"L{D|R> ~\]P~!"Eu lY 6gOǺ<v )3Vnbe`b9!׶& F)4ҁHm|HG7hVif/G_l`ܤΰ&°"6І>VÚOj_ jZU2.ڷ}>EP"-7`Pd7A n$;$Zn2*/rH密G#]ncP'v%QP]); h}8OO$0q,] `VŢʹ,j*3)A|yY;NF!M)ٚ+E 1>5>Z؋<ƙI!d:zp乸pӃ˙FzpQabNPQ5TR`~[ SԔlwc#&DtSA/&ТJq f7ʦ f)P/d\U,52]AGtI9D’LGZ :% |$:S& ]gw,I;ZڤMyڛ]*D"RPR%Hi&P`U4գ_-T%/5RSCdHӪVH&о?뎙j>BfWO'vɠY7قswFőGUcp:5Zz֗;p~ltADrYC/DjC9t&`ݮegc͆ ./J}~晉E*.,ԥW1\u~E.}eNMӂMt `8ܵ'6Qh 3>D\r6{ ~ QR9S>\PX\Yz\j YjwBQlGo|V͗Tx7$hyVR(w66kEfL؅}UٕQٿB'6n  5Y3 Hulo7/+9 &RK\`ZkxjaԫAME%װb~l9¤@+`p16a*2y/E s*# TdՄN#/IbTkCP]Ymo$>zqMh4 ܴFNٛk#<9L:(Y濳C켧v:Rd7a/J)n(Щ ڔlY֒<=vXUCW~3O:uԫ TJqR_I6ijϰJTÀdBBEy#T{A b.-,dVJ*bz\og5`κZ@܁j+ `l^ɓ|~ٖm"£~͘zѺMɫ*b"PNM>ӵ;oQ9@3B׷PzGs ]CvΎ@;HbDRfBclcn$,q"rr^ >$tP5U9y\ϱl5 Fqlϱ8xy6_s24_ 7_dfqzY" E\M" Gnn$}&# ^^^ژ?'pjȬs2My|b~{ !^&V @,᏾{E=X dqxѐiKAf?9(ѸzsWOf;}RwY>~P/GT 6q=2[T~pAXr\Z"#H9/bTۿ p뇬hXJ&y][F')pT,gA.(M_8b*$/ld}diϯrh 櫘qO@\.fX0HMƉ,o݂XnA }st)@C e#]x#xI`+˽@hʛ|pLz u};t~8NaN5Yx=~y9-^\`JP`ÀH;TnߺO$mWǝ؃)Ќp"05wR2JWVC?bR(@O3PkG,u*ՠ.oWPgc׵[KsbMeVx{~3MB%a=ē(HDg=_ٝO{ݡ*ǵ TWǎiq ɚ< WP;Vٓc@;,eK+J0_&0B_h])[@aQs-hjkfiMCmac$%9::SIE21)R6(7z !O }W(&gqP;8j PyNF-ZMZ"!| UYǷwC$Utr{7$JʆPgN"5%Dh?@gk^W' RB_6kTZnN㥆MN՜8uBOz;G84pV@hF1v7=j# ot2Pp"h\W|{yN PS!'9{(J2.6ׂb=a41fm.{eNԁYP0GKk亓ѥ:'$Fc<쯂D ,c7<_ў!9oqyK?UGat%'MQ@B'QhYNWmJ's/`E$q?a+NrbZRɀ0@KβW&{1a4''~F#k~T9#!(?3@xATe<H ^²Ixx@ ͶEWi9~>`C((B8uhd\Vh CZusR'$VhIj>"{7kyF3d{%Y\wDU/\ysQ\W>;]C H@z|AegC-($ϙC4^4}tDOu |,[/E8q0)ut);W0]1S7| hf[\3e- Pȱ_SG TG k &nH&v%` F\X/"'<{םQbF;ӊŸ|8 -y˭Exr8nX I#!ᅠ[(üM_Q?U)}s.+uWm;MmQ{|X)zA ׏'+ʳy;1#J Z^y0WWR͹D#-2̔Gb.Ylq`3O jn݄pnJbekXwR:G\/ |sjE gǞc'=ϢL&1PsNfWd7'2H`JTvsm6}=9Jso7zFvNw:ܳ\DN)P#/Ҙ[B ']spYc w1cmY#IQ"HOp='T 3rɌC$zo '9מgN ա°8$h&hV84t>3\Eg(L07<R4+#GL!g,gT7L5H`(LBQ>C9JYyP4nΈ('FµgK13pH]?)2:yfYG]4X`ǐL tO 餲 vV^V<.ٺ:Hv; !v,*ߟ3ܨj"kmq{Ks0׮Io͡`=8p,goQɧպm" 3ۨ+IXt )>^,N遃 50vyE@n 2ͮ @&%. 1{x,7Z™@NlbԤGRQ/|duum)*0\" hu*Fc>ds;'M$ =D `A;/TI<~OD(ɟyyT% 隋'OG\K~c,Hptf|)o$j:daA+fa#9~T~+'BJs$ "~X;OqG@eIi5gB}8sTJx =E6\Y% j²!@ݴ~qwyT >&DWɷH+bIێil[Js=a#?F?5,U7J{Aа^XD8w9 S[䥪"Fb0؟jV D;GM7BT6Y׫q:CC 9{/GpժᷬJr)%JV_SBkiNPwrJZ8&<^"uc9溓)*^V\ИOfNhnvT0 b`n  lީ&+R/a |zBEz~e`d9盆}W6g-iWGȊUupB,Q]FW+>0{ⓤOOcU)]^);#"u5Gao% -=QI˻vcFOm}NuC:ɳ;$=S(a[甊 K}|HoPL?`V/RnIÚV:LA'U4^g~FF[äHC7,77S^Ɗ wUt2=_V,ƕ6Dh#: xaւ[Mx*ӷmu>xaDUo@!8zLSi5ˣ>]&vOXf`*1 а$6$l ,Iys/QR2/He^GfZ EY*ʊJj A &8Uǫy)#8t)Eܙ\H]=2ŧftƐH}~ki'"&WiG]Uku%ЛyW?$eAR-&V L˒kRq)n4ǎB:9>0E{")d|2ODEiMďGf\IT6tVa45%[\ƙy3( N\^ǵX{n!-D[$ծѪU;:VV; e ȟmi10 5@M VU&nߛ-QqWr4 (z%q<,.OW n@`-_"b6 9Of6= z?1ǙSv% ݖHÏdqZ)ȅSZkf;1.0&mk6A,aI~"7`9ngI7w[O|j!'(,*ImsF5cഎU#{1;&/xTT~rzX-2f'`v[C}T[6!/`>f1߯*9j(9h"]EbA҈bZ)gù,l'ay[  gCrںM@Ka+%OTȀ*s gT*t`[`rmE뛾\F)KzfP:9,G:T #:PE-%ޔ'UƀMnB&kiBrB/Ң?XZ6V`|wҧ2AV8PJAF op5u7OeiAeXVb BɛwhHפt^yG4ߙyju-GU>tY{C[ O2C. ;olngM%4_!uj #O J-uA. 6'~% ׈sÊtcu{A'vEJn(Զø̗gK?ًVrnztCaNC?6‹WK O&M8%M-T3UM.k|0&MVS9uޚ\t[7L^t&Ezaq^ˆ`s]Qv2H1噉,-X&@Tz\`gUE0w} +&yIOn7e,vayy%1mSr8GstyЍ8g$m&uy:§#Cä(A%6>ol!>ŻH_=/Id^m;rL9v}6P/@ɓBl3%mn?9"vL9ou vDUV&ddgEIb[0m++ָC6` ^{%}hMvZ9A? mR&ZˢFEfkCqqafE$c# tpq< 4tW &K/;xvWpC5v.jȷyA|&M-\"w4>7I[Ìo[0*!e.6wӯD, MuBhLFф%%kB<r`&M4 _o{ :Ϣr b?,j y[`LokڴmrgjJLKBSKdaa[Sd IJxmt(fkZ Ce.^AN Od[AaΆ-VS*EϚPw5a/lJIJvz!O(Dq+p1F=Dw@)Vd=2h`,VQw|=6С('78Oۊ 3+A$EaV]-pйR=QD:(Uw|΅K>?D=b{*at!hOu+刬܂".f,=mo;}ێ))[ҊvK6ϩږ.7t9,PM>3jB}=UlY=D"Jma_ wtrZ{GRe&x-)p\ YFH6[̷{A<>1z> -hofh{,}ёpc1Lس7 ]ˌU0F"B+7+r+؍=l7^l9&K^ ,EVK3.xSBw236mDS/zRG֠+v;(pc%Z>oO8͚>`yѪj&ő3sO#>fP4fdF7raܶ"xa=-}S"N8h= PIK Z10mEZ}[ 9!dM/c~![{z BmGfn,yrsk%8l:칏>婂͒ʉXA<݂_%@{`/yV)_@VNO{XK"XJMբ~ylpNwr@ޘU_GBYQ>*!k$=L%c%_DooE&0>QTIŽWR]Z$nho kkhzHHл1Y =yoYDty"3j?eꇕ}͉l Fgb?]xΖ`3z%Jk".KG3e-[Qb[l4ڳ=qAXEncww f+׽MݰDzD%OoO)4!ZG49;; MeaOО sw|Ǜju I+Qp%/G^`3o[ȝgEٗ>0V>6;>> 9cJZe E1a弊'mϼ6(ЁIs}{ާnѱVS=]?5hie9Aibc-AƁ9/N1:SP㔓D-F;!|)KT.P|6gdLuX0-LCw.3 [U_=iw^K8+Ԓ혷+6igy{,2Ggǒ1P6x7;R ҈\Tz|kGv?\'mQ-dM0ZlD$s˕<}")QT;@rG#K<'{P3.<6O%SfZw9bЌ}`czt *yP`>j} 0$F2DɃ%,.5(>þJz{Kj{4Jy_O/\/8npA& ;eoMBC^*4}Q9i7!]F/mD@w9`9*>ުpŦA"$IGt@:Me_" 6B N~>68҃h3%D0'S*āe(;!&F&Rk:nƪ{U[X E$ ^EUrj .Fmv`p4j5.W: E .K@TOúOTFk^O ;.1Btߊ=!߀v+_?K!LfFąXq 46 V7i7+ɭ,3  @d:״> 5]򜺨 &>B.tVK OI#+ǙseD^u3n5?-/@:2\[9{A$Q/řS#c?^o^T2 Q1eWu7y E>{,ɕE oJ J=ꭁ5?Or:ؐT$],RVʴ&&ORoq:v#~}&Ģ귆<StMKpu$" JUWjJOm'U0has.qs(-"?ٙNsdҺ=DNخZRdǖ>m*AUQM؆@7)c2/u7[CF:u7){C# %|U$po0̓sb[QKRs5ݗzjNi'ŭ =io^&6-rNXqD J%w Kn¡$J}ΚD~j5qm2l %.BF"5^t]Z3vNVl=7=O?!YXwhO{{7"vmi*/̗8d]I@vktiW1mNɽ$ aJvT6%=#cw"XF;GKZ7s/Ok* ~kmU~Hk-3 /(6 uB1No// oyw_`eu_^P:^wU)Ъm7l 5ؐ@tV"_ofԏ_I l;+]r#KU5pFjf L97?J!-ׁj`wRV6Cm'xxdf[:ASۈn& I hcsS1$_pቿCx0zڄ.u&e&5&xy^gKI D#"{00pmQp=((1u 5RG3`bj{!kUO&o@G%`Ʈ#(.nɧWUHoq9^/(tXyUvm_-pʣI~Rpzʩ4ra<''9i8(;Rzt]I9 3$S:5{ՉXԮfqz`CIt }ɑ- ,q8"KWNֆoD'VПGRЧ7]%X#~,r/hJ%ߢY"}tm{}-GGZ95V4,Cd.b\cؽ P~_vw]aܥNP3i}N*#HSZ6\Mr _G;\O&3Ԑ)>Hj. m` 3Ls> 0bphLuZSj1FO.oTuT#XoǁhXÅ;m])҉d7k,,|[OIR$P ǙHX֭[HOn>*N*cS=L!S^}Ծ"V x:IPhtyc6 r9u {^,!!oi[1*VF0@V2$ WBI Za{,5HR_" U9t[3iwxlZzϔ¢s7x4@,|J21uCAhNT?1,AAl9NM_KЗMJc/JFtt$K|M:X3$QIHr[eu_& ԣ!I-\i@?YA4%ͺItg7~ ##:6jq@o5]Y?`hYbQ>?vUḰqf-B"!Vk#ܣG.ZKMEkrwP~ǥaB ZwkW`l'/WϚdߨRE7]iȉX57I9^O|#\x_W+!:{<q <CF,9gj"4ԃdTjoNoAy۵ xMj?.\!qա X~Z 3dJSYGŗa3SA=jKS'Jt|E|}c\E>BMp` 3~4<16fAGE1jq8| ؃ "vT`Սalyy;ePivGGI^ߒ&hx%!Ɲ;oRAC_'Z7nǸTb7 GYInšþR=nfcO _ 3$XYV3 鯋T^?*zøfWBibOMwR)գ)gp.xb.q1k2/)xʦڴoG#o5iRz`L7CZ=v=0 ziHYhԄ_:fZ'I9mF]$5HWn6PVlBebubtW_pX6ZS T7gpZVЛqQ"qܔaPI!4X ˍ3Av4l*ai%,UN v$+, gd^ʒ+ ij}bɽo؜z&8<{!61GOH$3qU4$_mDq;NJi?o[6Y]OUܔ(Yn]/pfx^TUʚeG; -o_69OWq<4(a}vb B^*p >UCF W7,x3$Qb[ldWJKȬ=TRM*'V`F31;^KPxvґT XKz;|" "lT]/ ?T_o&ў&.~;",⻝;8nH~SRNPzL>&w=I>oV%!Z"tw5%"ߏ XkA˗LP^*?M~5T ; j1.t@OtJ &nH9]]tUike2< $sNØ>A#KO~ LѲ{s:IqߠRa=ÎGFvTFQprs cmNy`C;'#l"scT!C,{* FNHiᦠ/HJFěuy) u%*|= ơ#[Q5x`RעedaȠ-7/S7RNdȭ/VFtMF[NQ0[v Ɠ#SΧ O(]UY+I䑌FPy_%7h=g0lπ=&~\ z O[;CB)AjS ,~IsgI6B.Ngp.j,kXQ8Y:DF>ݎ"b&Ň /t@be5]֟`]nc%Ysk Töf9|H"NGYAH6 i%²J3"-WE76n`b_;%j!2pu l(]h/򏞾O8:qu͒rUrya8{fX$B7t'`#``BS󭧾I \G/)%Ig\RSeyuXh)N!ID/YR~W$[ >Anfm8dYh$9[;"TL$i3M`IY#Ϙy4l<`erƶ"FhjMgs y Y1r8Y74S;8Uz s_;ȅ]2$xgziH>X61|?2gzo{-/錃yo#ߊ(]slDb GsKّM(&萁RpG>j N|L0GÅ&ڎvߊs2FޓTmܸW_Qd9} _.7C5 k=u>z2ծwȸ+; fYd0= ޚ|Cm”}/'((?W2rOM=I:pGWfحq랖W3Xv[E)EN~UYJv/_΃+An_T+2R`X F60פ})Nݥ@,ӯi Bbqk0۹ Rn?d:93Z{,6ٱn:_N\ oQɹ nVhɣʋ>jAFa.}f{0h25_Ȑ|b^-3V첌 fZnΎA,vy= |PuwAl85@3k{khGKe??tVknZظ|i(kBA( 3YT;z)ɾ~f25ebESeLR%:U_\ CQeC|aҬ~laR:R˯D]eԕ'{QbwE9. S $00_;{ Вa^jJXzg3;F3JE>2g[\L*jzSߞ!W6y?-, dVsI ,FΔ,㗠-3)08 W߿{d;3zE$ܝ,5Zl\*5[S5W~L IϦ3fkpöؠިQQzN]՝`'T@0wj"H5{U\JCYLUy@kd] Ѷ-Vb0o3ac^73|YV4I:n`aA1ct.g&dÐ"8?kS*|BTrYviQC,z#js:VEp5BCJgBԛHLۀq_'g|ؘ$=K9,%Bݿ+(p'~_Kkq@ǘ޸cZaDMŸA} Az!Xҳ8&GyQUκƐ4pj`׎kPWG ,Q]~ivoI?Y2!'A,$ :w)n/y-3E"SJXVp] oʴ[0@n^ 8,"PIsoKL?*[ꌫۃ.(۪&lqQ#d\ЬR51s*tD==XJP.ٔ_2Rk%ݞ;B)ov4_ 1dt-r:7{6὇.<&.ɔ$肵;qc%$'OCKwt~e Ĩ6Yw}c(_.EDtOD={A+S]8MG,z{'B7ԑWNɾ!7D'J|\vlƿX}R0e4.39)dݹ}y2Og[Cgо`981bkQ6i\L&Fj&;`%W9x&#"U;jvtۄctRWUDhȀgNL ޭN&ԤPP/ se'X>?क़86'Y < ^ b j]W.ANY4?JF^@w*Ds %!~tI?~Zno&wx.tHIwQpLf_ 8] 9!'QCl~PtלCjyu.4-1CnSWK74 +x?{.i+fl?y+Q_>~]?}bx}i$g""%=2:/F^PѺ89Uo8ŵ4`dvc [zJhd؍oKφPXQ4 :?=k:;a/աN.e8ZBs 3ilJVAڬP!(KkCDǎ`+orwz/fbMpk&ehÿ /J)RmF9_;HB~s9?=rG /4sZk$0vM2 ߃nb.G9}]AՊ0[pon W܂h3X .fxGiSLXDj1*z*m 6ۓvTZ#Ք#U(}]]7Kg*@뫩C SiCvB̤kqB:}t%g],=Pr~\}̎uCXYP843<3F[uIpVz4&RwA%ǽlkV~c#S8sb0x'~|>f,F/4Tl f20w<-ʼn_$3V 쓸V*m*N y:C%Ur$ /Oo^4C Ir^gҌ2LCÐ0MSߧ1-/THeYiգuj`sE}7E b}b=}_a((n -?E4x7*CQ$ ?zB5Pw$^xy{NX+HIBZ4}H3p%ژs},bͭmvt~I#Rڃ)9j[vͭȺ/ 0@TҢu[p )K=R1pfdwڀJDa} 鄩N3x=ܳY. OA 'R'ubu//oXJ ȶY­Jˣ(09Y_ﭠZ~|sIb]IX*/PpYpv2Ag#o%̒/U~FL39nU8(SOqwi˻Eq2֌Q@JOj`4~ngiIt`y:?Eippfi rSURNm}}r|[5'kj3:!abG\WHӭn`^ ; 4"$Is&m4]e:FyU]!FdLצ;t>h)^ǭS`6qA SC\)uW_"#g%&o_1-~$ARK[dsǓǛ3PMa]>]p5Mb\6u7C~j*߃/o (9a*!: ̀Yj $_Qhh-؀y`'tp?6pֻS^ˏj N`׌sDɰlx Rz4(q^q "!5GM` -Ş)(=Z5'?An}$?cty\Τpkl+[1m;lӐ Q\~Q[1-BzE7|\-p?1r0ƫm&8ٗ2#UR}ۨ?<E('TL̅o/çQɼd׍^f,yw+diuDfSRpoAS$CF A6W3䘻@ʉo$~o@N84\C1lNG0y/dh ˥s/76f8}b0rolN)5oM0$Z(Z7_|b6 ~#GS)lb7_߄;dCml-0ݒ]N)J/x?sLr]0Ip'/hQCNlz`"x5h,"qeP5#Oyb xgc)sd]4JMUn^6h6Gxu/]RU/,a%k*߽歂xwhty=QZZ~oHnk{CqO"ֶ+[NX>^G^Rb6.J}I|Cp:O9 ֜='Rdd_* E~,+ >n"В*nhRK.RqHf=FoC 7V+3喒uݗiY^pkTHIZ\nkR.&}UńXu#W[ xa17D :][1w4sx>"3SdbyMRڎf9Jr bx EȚ<؉<.\ap#N4T Cz}"?yK / 1<\HԪ鐅{E fb[%$ h|XB.`YɅ{x6Jܴy׭ (:SQ Yv~趚/V" Ӣ%sI^4Nɟ)3vO{xˋ͗1W-(NͮU2 K+_~KaB= JBq!Ob-\vY~$͏wE,N\r%A:&8M 7hNnp揼mm)v m?"n+z7*p|ϸљ3SI'̝7 pDug5:ͻ2*'ٚc :,֚SZy*s|@%h!nA:Jz  hv3%UK "aCZ|u6 δ*m溜V`)GvŦ&Ztugbw1ewjGɯtk?0 /°Td}Zغ͔*Jn(̵bNY G#w-S& pL2dBn5PE)k!I\G7橻Ǵfj@DI{+XX5}$ϩ#5–Q'}E1Q$Y!<~ͳ9etaô k82Yٕߍj4p*BCsuZ ?C2iiFSM'lv:~:p%SuUus , Ze܍Lv 9Յ8bEA?15ȫh/ߎP7h'"0j1'&dvW >,m"HH+\7h9)um*yԂ5R_PA4~4@Z|5߲9}|uU6/ye{Ya_gE)#v6}ba7 '׸č1/=F"@uY?L ,eknhBV,t90d$wt, kDry~YF?d,yadweKPT^l$lHZSYin_A$T(pq#(\9! ;Ξdbfqz  צOJ%θ+#v'IU(rg\ȕnxyEm8 D;Ne!HgW}Wmzգ&qⱗ:3?$Hpӫb$_3_+ܨ [HE;5~zV]X!qIp\Je42~i-~dNH_%VH[` aEn{,ӈg=*oQ@ ))[H;HsaL&q a37] mЋJ{s"ќWs>Mt&"( Ҕ!#dY#͆A>)fb0+ ApmDt"nQ(1 WQJfZogV-ӢAW:HhWSl3-#plGfmûDw wR/grfDȾuZKb;p;IG:6B$k;˝WJ|TKb:8=nFYKpѤԊ>D%'{ms9eg:<7,Dpb[2}ߢQ:nwYZ t.z]sFY# ס^sqmS7ЁY+' bSe"cei@\==7[X6o3®W}y`b~ F .{N_ߌ+'rB_n׸|V(td(mX#Nzx8 c*w>4inh˓mҢꉜucnc_M Emr˖Ҝ ;WOcj(M sFw2.SŌ+w_vq^#k-Br YK'bYJ\lab#HT"Gs]x vL29Decq9'M )U_SElq<ގ o0  G|W|kF2%vN.a/vRh=,p^86oUt;*5\ {Jt^T@IetT^+ * ZGn3EjB5w5n !, 5 =e{b콁I@$y*V럳Xd2# 㪢g8_' a&$]6 BѼ*Y~+Qs);oi꒼ (Ugǘ`ُhs8Ya,y s(RkWY-F[1“-/O_} l6:"ZQ,p4_ߢ/V:!Glڇ8Zuy72;^J~9ɥ ;?kf1unyQab8=(V{JeO`|, :Q<~'s7F)Uh$m$qu{KzNdQ*GӢ}ۗhF Z[t: 9FG:9Fof ȟ3fA""UrxiV~r0QZ?#"eF6E]ݟ#=MV`\:TDh<πSqg+ڦ~|V4g:OQZܳ`ٍ?]f44&JgPr2dE"P)-Ak"HʾT7:ځyFi9lQ)qB+ipWO!K a5OL YO$<]X>SHcQ=FžMl\L0z';ޑUBgJZ8lS!4e9:Jtt38mZA9NMxYàP>n0T-GK ]Q4${.՘ JMMeEh&b^LC%7~A\F'p__ 2}\ &wWlsNEa(ug,.(n*rk-@<1 ၓ wW@( `]Wq}jWa? l3v*,a1ѧͪKXgo6eJS˽`O'I:)4Rc[1RU-8 jll+'2[j?*jsO3}T,s #GF5jݺ$ퟶ/O\ ;8UpN FĬXUb%`p@:c<1ı@Z-@|P`N051HݔܞgF6q93i߸"2L~gy`9cne.F67f7L=:ҊKR.TakahqeO}Fc W}QGZՃP>sCeNh px,vn */#UPqG9i9A1ǶW熐򗫨|KkiȦ|Q* Q6W*$֭$xN&ka)/3:SKDэJJ{f<0ѦqTEK݉{S@1 |4Qr&JF]7ًÔ;W~G1R㯂3L%z > 2g6Ƣ+F'woOdf}ᡑR ^:HՔC#u&nK(fA2fOJ \Y  tPkX4l 9Ah`$e2:g riY6NO<8KtP4Rdԟ5^֎4o$N t(Nґ6 C5?^0h^[G[\:aY4R/SdOv=*qp"@*YQm,l<`KUEXv?G Tur8^sAf; -ɱksZW;"Pe`vi'jR?w=bt⋡mI3Tw&aR#ra7JWTv,B]4>3syԃ%6yuc`^_w5@$})2O2nh:#i2ҙA#K oX@Bs7qӹ6VBc/ˏ)$U`:7S9F qyLtFX4%*g&gf '7 fUIӂNvi͋ = eI*5'^M#Fs8_؏9$+۳v:VXzTFZvF =b>H4cyW =*m}(9gpߒ6u-I[i`եYD,7] / 6|SR&ƱiF>@ ^dL[fD@>B|hxya;; gukCؐ72˝z_S'_׏:M+*Jg g\o+>1/VeWiqMޙzyqN=gDosg?q$ԸEyN&P'8qdDBIgS\LA9Aՠ\5G3w,!>V& X ܍ulKuThR=^4}3rp`2=ú H::;|Za/ȞKe}ךb3t)jI)~Nni#ʓ;Ah}ԕ᜙Ր9kF|j9 LJ{m;IUש' p6%Y0:QWj;w;<]!WGEB)ivjqB?ľ^CAяrMM>ȼ0j*(W/6e:zӷb-g:Fy.HjQsAOcjBj:Y5d#KQ;c}Ժڭ$'n?p%_0eQXNYE/4M&7;,W3f vxxҲ,OHV5g6<3^qcB%lvO*!:ʫUA'=Y`6ڣ vk@#Z!3e@&(ZH1LƁE|f(nHFЌm!ڬ49'oQ:v(0f[×w֓!d֛D33/@KwQV>s'L *`k(,NMgQgJm ysGl\SI1x߆pEW:|l~齒\3󀋰'J5hyC8@碶P)U~ QU^ DSS(;I$yq'q7Nnr,RrU&kRb;mTfG"U¥)ݱDpoGs&Ə ?Y8;KXɤlrHjMɇW+i;wďkǣ}hk2`*ӈl<=%jY ?zaљlGʧ"cq A)H$`m`"uU OUcpCxk:eYV?T@sJacYdpЖ`7`t 8P5[ bqCHl4έdJ(0VG~Pw쒱/Mq>VUnac^Y u=KVTkʩsF6bOZ_\QCg/$sp#1DX`[[@LMHή0jZ!=МW-\U2؃>s7BPb?OoQ#~nر#rEU-MuI .T|cAh uYΌxP;@94҈ۉ1nfR9P>W8(Wȼ[$%B5eSu43ΠR(6K: =vyniLt/{P$ooc Ӂ?S+*`>nYg$N;:5?CB ٬]֥!'.oac7#2.ק hlBATzOBgC<[C>@&h-0uA3\%ġ{r@5熁2Һ,i>@Fɷ=ô \QR+]ZpA!xȭĊR֡Spp:R-# ]Yr{B)j5etbJ:̒I65k@枕khtgwT@Z9HU_Sޓ&M_v৥Yx A!45--(GJb&Ff x!N`K..ŏeb9flv‘|VKCbID=~K.紡l;΃ mZ_ݾ73hc[ ]wSÎ7%m{kaPD4R5Aa辋:!RSSY`]t!&ȺԔl\v !^d !Ӈ;2э˼e~%@dб*@%hӐp}] @G6Y9<[wm ڈQ;]?q7ְ\*  n,*0n(= ߒ a 4bL t"||@%hu1e nVc.\I@&~,8$}fW'r>X=b gnK%ޝ.屩h~עBbcϽ:P"9|<| 㖝vfR ]PM*-xATt88_{`9%w+]`֢~ WT^v{xDO[h*IJ iз(:&ǒ]*0*$}ezP nTԌ4;+8.~U3<7:9OH` I*}cik/ hIӽ& 1{఍t+tghȣ H`/k 55)DQӟ9]@d ʒ s (ZV7Ⱦsgɳ9yY]ڟ VmZxEcDjZ[>/w{"S&XX#[6ˠBnV΅ u4<ܘRT&zHgVVA17_IF{.BCz W4ܑ]y&*4#O:#]snu~Bwϫ<ɭ =6[GLΊ6nKqxE^`-luWܛV2޲E.bVKǴTȥlSRF="\:1$1{46J{[V7uy{ͮz*jx!C+:QĿr譒17@֔U-[hT7E4ʿsvsMGpUv)#qePkMڽt}'ԦjAWҚIHIXp l8&>;qҬݘUޛ)7ZORd AXV޿ֻܩv);DnBSS@1;[ZrM-} g!]ruYc{5.);~}v9- xd]Wc;XD3'"߀Ŀpϟ ߴeVFyRWaB^M peGN.p]1mޗIMyz5E7!.i,N.?J{~m1U1-1H MSCܛښBPNFxs?9I4 S /SV\r]RepQ*sf7I m'tpJ[ȋBsS@J=s]1|=δ (p3vǞۑ(Sy? YuKS\kT:DقY/#D5^Ff9u3P':A#h4ޮoϗŒ {Zi3,F:N*zc`Ba>݄Nb?8Ɯ=rm|e$@sA!(u|nsF"$&ю3z4[gr;"f"IPHRLO|;_BO^18(6#N9zb̚Bx1sNlw99,x*г8Ԥ˩5)c!tibCnaiyW6tS7GDx:6”Q Ys.pȹƽb!ִe6UA#1޷UYx:0Eh].s`# 2Dm ELnZ$.6J߲DRw*خR.WC͎脽hygfBfHJ|8FkA5y4gwf,t1KCFe8V>Bpi)e9!:XFU FD_B{Lxs!az.- hu'ȉ4O҈5* e=XLJa~Qļդbl`|} C[#aߊp.5 vz23?V X #H(HQI\yR,R%^` ")=T}JsbШm&PLn>X";:˽T߀%HH́P˄0c@mg)ÏB!"48#tn8 ,2.K^7 ǓEwy\kOuQ}`q ;D"Ed}mAE{+3w ;QKYd4nVèK"ޘݜU;vlNM]0=A ?YcXDmṼy,?K`ڂmDǀҬPe{JYV/Qpt-D%HO Ћ[v_z#š+uv7ctn3ra; y0ePǸt0 ̱tD_SW}UY%#Wp_qoѐAdJ &وl,qbu2*:RNʒo;.|p `G~鈒pUp4g# 5UxwGkU*ioUSOK}2']Ќ'&Ǻ1.  İiZU N>Djm.sMYͥ؀bV/Qq[ENwN_r$/!tPd`Ÿ#aDᣪ[Yp}9)]b?0^W {"ۚFF,b\Dv4,Lѩ˺zx*8ޛ#.,\joSA[w *.+~ t}͏7h`^p[DZo/0 F}4N,xE-JݫvrLfT )-X ^mODg=t `.U&K˫ݱi@ +4zrMziiCm2${{PԸmӦKGe(S,o o;~MrOFs%{Z`g~|5QjdOEw>4jx @Xت`Ύwì*G~ȗA*1T3tcEG6t!SVp&Qf荶mTpO DA-Oj¹cş!8rZʾz4/m-RZY꽉oвx@b>qODPhkRa0/A)h,f-@il=!+^Tr`"ت ȑCq58̷FIu:;DJ~ªŀrG3C&ESI#T*qjYq5 BU/@abizJܽNf̟ae=I K7ʒ<g{=+S,'P iI ,> _DkUHtB@DE&1>//ɣ2vڐ5y( }Iۈ$P\D. Y)Sj,l֟ KŹ<㟰kWj(T䷡njKj>ٓ XC3t#nb|$ΓM,"Gsi}m込%ȵUm&B'%d&FϛCݝ ~Z5]ʐQ_#`y5R|qUg VaQNDI\Ġ)%;F$C #Cu{#`MN $x=^$PG!Ɍc[EMThl5ŽpYޞH|i5GܯcQ3W8M^04yj%}s qoB= +`,Z-] 9S!ajM?@>´G-;W@{_LVCV]]. YX&y$ʾ?# F$xoFA"(]OZ{$s6+3TQA0vm5ƭJ6Ftp&@AFFH`oh W״S!I<H:5|i@ 9ɍBzF4_d11~fMWrWE4hӢq"*fx"}v;V0&W=O[~1) rnr:"@Y*wݙ~JǦok_|nKO 5+ cZE\ KS\u% #aGVzK\Gjj>? qP&n>(Aic\IB No:~kwWV$%3.E1/̀--2[ %ӛZ }ot[DhuHg͜,5ɪX#(#'Z+eprp o \Ezх'³-V]Ue5lEm7b<kv4gFj`hzC%fV8Icn8~=Mv͒EKrҞ PL:o]Pi[8mQş^S+7Emf(,K7W3_Y߸,H[*pΚM;ƭ%k f0$o'Bc?'#OD 4pLb1¤MW?ҽ^r0Tَ14 ط>T(}C2nUΣ+pZZ1=`#^xA+u_-GnxkKڲt'\N!yuLvBv  Qx@x &-="WN2?˫Υ) Cp>¦h >'qA'c!%܃@C8dKp7̹xk -Y`k,^+A xF̀0t14rZaHe4.Xu ŋ3(a0coLJ>&"$(oKP*YX7O#z{ ϭ \-fJao/ c%#vC3[SI&J^CX`30뤊h"Rk_Az377A;D < ~Ok"n0˄%j|7Pc\?Yzs~N2#gڿF6T\m +`c3[sܠk2nAGUSE g6̇T,_<ŗ|hʎkZJ|VFu?cڠUSɱYf̗x}M&`f {!ܭ8r1ѻAuƲ*}df2Ln' ؐR%c[g.kzx2'$+t\QT2$a&>9o@X~C.E4])Lok`4NV3JmI6Ґ4tvFtO! u<  u^]@$+GG>x/Onc jܬgaQbEٝ`FD] hO ly qnbW߯<}),f8{< *d3bw0+Bh,`)j]*_:JNf0Q| U4YCVcAm(N џ&i8HdSyǬ-DC %Ώ2ɚθjA|垴/Қ\jXqMh7!T-Ɲ7-Q֋-D:f:=dɡi+!r4{Žtd6>#ݑ8/(Slo_/Xt=zD;`Xj s3M?(|vLl*%0c`-W·4r¢)sqtJ`YKa!։kYz Ww^ym>j. gtCgYZ7zXZִF! d\]ŗXi%D1Mth IH0۾ut0)m'LH87KWgH*^t$Wj&y@9ݒdp?3?V&^WuHd(׈;1bM6ܧ}5Sg@n|Bq q8P%Le^gNĦg.?;]PĽh~&iޢO('hw|gnr99ipq:5gFQ wU3=;m㧅iN0'T!xfJ/9btUK:V}X*4/+&}k("J ' R)額OVukHL&# 2,;Vxe:yibfC˜MJyx1 ϒ dBr9cֹ)F_酕H U?=\gSۇSmcظprJǘ[#џl"oJ1'd@eH!=ӖD]+;W ro:>AO a(XNTԳz_ɥO26ݷtċ8SɁHH83G:d*fbJF3kp^Av0-艋B@ߣls2&5#cLE cM5M0'VEUנPxkeyF' iVAЖ&9` o%u1.^@L 7 c~z[ :6qMqC~i:ab:Yr?Ǖ:,KF< {rQmn1=2?9$|%@Բ}]*ej}`Q*rې+1C\kwIg9֩F Km _LCgr$oc1On-܄5KE"M~iƥv3 }vU|b^)G:VKƌ#4F}+5k&i] 6Qᗐ W[1|(m$d||󢄊yU媽ni/C*~EG7,Lڈ ]*)A4l AˏCYX5;t=g'BETq:ƽJKb d9pR ~q5{Au,օ3y 0;?EAduH33L2gs~Qc?]q N[!ÈsseЯ$hH5] [ p>Q\+N= 8N]g9a'b]}˂JvhH*TAR41NمTtO <ZV/D- Ȩ J¡97jl)!ۯr2%ˆPőQs7/!Mf>@@E6&ϿWպ7d?koŤO1@1 ɛc*_qV6_l㼻dvD1탚8h'8 !ͶG~پ vZ7O#=NhSL=8)q{(&Y@ $(nR:妽D tEA@.n]Le 1L-%:8C&nlO8(d=*%?^_٤%[iևD]65D< D|1 e[Xp2wɫMF7XQ$Ƹ8i 7#.7m]GIeOS@Μaje6&PSh =M{2ץ=l/d!ol9E L_]x2Fy٤ i)k{GvU$UI$,ouhĂS+9 +28{Lڞi?{j{'O3H٠gLЧ*cR֚$~~Y3;KD[%>hX) &+E a}\M@%fC19_F"\uS6[96!s \HHuR5rP'ZAEpJ!eGXOK$ Xq^ 189SQ[wC8|>rvq 3BWvߛ{6ԹEo#JPL&{ hJƴL1`D$c%`,$5Q:nOh)}o_oqtpL{m2VhWG^U)rR]1}Ndfέ>*bv)®=@P-[jSd.ĖӼ<ȁM'~xlr`1y7)6v;v;[93$rpe%Bu")5xD:&s5/ߴيL ;sփI'N6te:W,  \q EOzb$7W/ 48KnOJ!/!*ڑ|Il]}&8+QjPo\%նUf!rju5eFf7攎Kz=cI~'_bJb&gKw>y҃ =b3.{Qӈ4c}ҽh-($p'BtNw_ 2qAmشe& Jd{jy[.l=Z(})3S1&9l4JϨ)2}l^([?+Z5L ˆf\`[I#bNw"uMQ%m1/[99g?S!#^:+`/1j %es#ˤpW1QpzTvgP\L(ɓjʻdG!Ax E |Qa>8dLKf@fvic=!Fܲh;YNASoQ6ӈQks6D.1eϋ_@J+\Hpxt*[RRj-"CˎuS2v6YC &v JBfH.H`g)`$! &B( K1o]wwm(|CDwL$72 tBnQX 3Ogo{o#pk o/O)Ḳ@T㶗Wx C6/S\d&X.32Vtѕ>S1o5.T! a<*KʓO>d"F.#[ #%)y{-K QdP휠JgMXTzH3xkmqE: JeկX>V}i|)m4>/r[ 5sbk)mB1(V27;ÉvcQ-)Es }̘0wK_s~l!uVOd $JQC~444}|hۉM/.f# !x> Q~{-hSfB|}V$hV{uiJ&yyCD YY2rg:щdՏT5B8}M39O ,P|k@qס?. fǧ4j +@`Tz?eZc+f&._yֺn؍/ biu\pmu R֧pH̗{kp~|SWUpcP;52M+KE@e`OVo9F%n9ԫ,d}FUa0^IA+_u[tc++=e%ye 1dd|:&b>\o={L[Ÿ{F‚RSso5A-$N`=ݎMnar`? )ٳD9$[w#ə4 gWCMIԵFzzS>z=ML 7}BuwQ }Ar1+^GzQi;@S^[ 8\@m6j!ͺ'cr W9Mבj ;bL{ͻ$*)? I4G_H ' :x+4a Oѳ%17uegs|Iv%sOcg^R-ˁ)hд~Eh(sy5jr%1AC(pM$rh8FD^h9 ^Gp;G[1rݽ|96j̋Of\BhU|'H#!\p 4],5SP4Fۨ"@&҈q@ Cu7/U5v /sYlm_Uqŭԁ,ʐ/ksLڥ{'ܛn_.C1kZQGp xuk+`~û͍$粬M0_ЊLv'$0‚n~PO|oX~ŜY~GTxA/ ?U3װؗ[8ɞ`PIGQ} OeT\6l;U$B pWfؓ;Yj2ez4K•خXa4Qiw4 \ʺK㭵lA^|T{^F>lrfYĆI'yXSOet]{nMoppK X4ݵ`_v~C~8N؁ %j? 6?Y87eg*|WQh]1K$6^B ,RQ֒3yƎڠTf6L#,d+P/Y^{H9Հ0I;OuAyf?t[hv9ջv`|ˏSFk o8,_h@,! |Ҟ<-wAU_OVnٝD7P}> &gYZ124fa743d94102d668707e69c72d359035a82c4fc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3730bdf3fb76987da7a597da6c97d2bd016d33a94