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 ^5vttT ]/ HOL-Nitpick_Examples:threads=4elapsed=52.966cpu=150.472gc=3.3087zXZִF! Xz]ŗXiɟA5qbh,å"炇XJF3bpAGP݈1S:3Cݢ@սc>]H::˘fC"AdTerdvUM8Y=a\i)zO((ʕ@7 ~sP4rhU?7tS["=uBH?0rC6˵_/p+^pRiB",9RK5~W'k ymF&%V7. #SZi, ;yWVeX^{5j,J4*vؾ6%D8#rҲO힥5mr+ C%iK«=ž)88@-HI&N 2;ѽO )$ʌͻ,ϗxH臻w:у{;lQgus܎_>_2F>pO\y_f.<{ŶRnpfA@Ʈ-DŠQyUcJ^΂(-# 耯y׬ c9Ѩ1ȍWFiw @"ѹQHe|HWވ W$e$ 4D]ޖ/o }TNy@io[(1BsܞV'!]n'{9*yʪeCVԀm؅%Tn{`].s76yo" .2J'iAu{ {Kdw{< c6CWap*LI䋹,vOx,%sPdH!a9=^2+Ly֏!D{AP>6xi.0#^8좰$YrFñh!%. ,+1Z[C{9Za}v 1H.Dò B* W: (mk ^ߊc`(%U'prՄlz9`U5Y*A3uu\7db^trhPWj␷҆NV\.^'+i2顪 6D`VCx^^e2MQӂ o_]oQe歰jx '~ѫO2o$>GUXFbAr -TorS4-da%1ߓ-qJf]%l.4qbl%e'y ?[cM'T3tA)5H_HtShW2Y[T&`(1+*_$:$zPk6wن>s X+1Mq.GS矺޿$ b)MR6!77t=2mTƒFO5(}xLh_Y E'0[ bO.Oljvcd-!xl>/lu;3F&h GpdڛKhtkΞ" ݰCVkMv*ObOfU45*٩]{9 /似 5b;@P/$@lp:o{[ނHQ Bc<֐vnUS2S[!gy?hbhBi r(nO-Bp[jۦ[Yn\d)$KB#bFYr&Rnnɓ/"*47iyﻢ<ُGX 6O`1Gޱy~MyPɩ`(NA!fF|i@ń]1!P0i{9 {kVk b=OmOqdNl/W{>ȆrbV);e`4Yl+‚yP=T 8b2EWNPXiZPJ;*ņ  [hImW,wO,gc9i"<-ֹLYIԧIp{T:1o.Tr pwc\)Nuℕ(rAAHɇne (BǴM-Zпk?~6F*a{栶+YheI㟇 UMxt@aK3'&T~-ɹRhm:˅%}P>‘7.dqiJF8Nʼn.`ޯzmJ믺pzk֤~6ZmJ:P[lb<2>GP6nU OqSŹfl i]t n˱B='KbJ_l){Vji^ I]>cN aelY=PLʃ*Laf];vX1z7j+ӚUS4FD,.lZ$ /v<]2MeمgZf"jk]/ggm5*zinJz./4#Ĉ&>6%R2^!#WS5N$YrľGl)IB +&KY8x*L'XBq? BҠ2 06VZzu8<ahhpq`N8W|QߺTHn[?4?ՉL(MA$UaJe˂%2;rjXNg._8 BR:O)37)|`NY!2wj`D_ 2*PsCiVڐ[zT h]453%E 4+o*Amj6xrX mq6(>={fƴL*WPsV5fh0NN2 H"j>9O13 އR֫&R=<}оnx}M%Hp+.5S77z()X$  g?{̛oZ.\I:fdOD*+аa71޽vYnORbGJov}UQ7C|yޱfO .OH @qOrx-,f=7-7cn}+gD]1F;$lAetӳ,kv';md3`=ョM~陸"C/@yJ oP7b:Tʨ?w3=89%xN Reot&\ׇN|&0ϟ ɠk) yP;8 ޳mT3$K ;9mHDU8]&yguRTyHyi .2{?Є~5ޮ LofPTvޗUM, T?6/?_2@!3 :`P#lYvKcR`K@^SXrJQd,0-I~\!n? $jf&7kW #ߝH!4`X#mQEv_BHm.%FVPZ1_uڼGOGL@9=LHn 2(Ҙ:. ˾`g#s.8u0]-rjhs>">;n 'X0#!*ye;PVyS+ZKE׌ r+A~0Mr0@Xpr k/h1YP3㡄Qo]yט 2 d:̰&'cp,KޠQƫi;lϨ|r$lV(50:7amb7xㅿ1 w Vq.p$B:1a5t>{Sz!R!E{9=֟QoVbl7JEy?w yXVoԅ{R'G؞}%Ł* (˄<3~ RyF6+Dĩ6K^FOq#w툂*NL{%^ Pw >V#GgwF>})b"FP_Ck f#JU|EQGv{i8%$_Qu _%X'ɋ *bcS*aX]'G%yS:G^5arܧIĤFewWEckDKdJ/.xʐ(VIuzgϐ qIyj\U'pLK:BP¥W^ 81ORY0Q"Zq/p<}Q;v#QYu BCI$tdRVϩHq B7V$ZϷF&h GpdڛKhtkΞ" ݰCVkMv*ObOfU45*٩]{9 /似 5b;@P/$@lp:o{[ނHQ Bc<֐vnUS2S[!gy?hbhBi r(nO-Bp[jۦ[Yn\d)$KB#bFYr&Rnnɓ/"*47iyﻢ<ُGX 6O`1Gޱy~MyPɩ`(NA!fF|i@ń]1!P0i{9 {kVk b=OmOqdNl/W{>ȆrbV);e`4Yl+‚yP=T 8b2EWNPXiZPJ;*ņ  [hImW,wO,gc9i"<-ֹLYIԧIp{T:1o.Tr pwc\)Nuℕ(rAAHɇne (BǴM-Zпk?~6F*a{栶+YheI㟇 UMxt@aK3'&T~-ɹRhm:˅%}P>‘7.dqiJF8Nʼn.`ޯzmJ믺pzk֤~6ZmJ:P[lb<2>GP6nU OqSŹfl i]t n˱B='KbJ_l){Vji^ I]>cN aelY=PLʃ*Laf];vX1z7j+ӚUS4FD,.lZ$ /v<]2MeمgZf"jk]/ggm5*zinJz./4#Ĉ&>6%R2^!#WS5N$YrľGl)IB +&KY8x*L'XBq? BҠ2 06VZzu8<ahhpq`N8W|QߺTHn[?4?ՉL(MA$UaJe˂%2;rjXNg._8 BR:O)37)|`NY!2wj`D_ 2*PsCiVڐ[zT h]453%E 4+o*Amj6xrX mq6(>={fƴL*WPsV5fh0NN2 H"j>9O13 އR֫&R=<}оnx}M%Hp+.5S77z()X$  g?{̛oZ.\I:fdOD*+аa71޽vYnORbGJov}UQ7C|yޱfO .OH @qOrx-,f=7-7cn}+gD]1F;$lAetӳ,kv';md3`=ョM~陸"C/@yJ oP7b:Tʨ?w3=89%xN Reot&\ׇN|&0ϟ ɠk) yP;8 ޳mT3$K ;9mHDU8]&yguRTyHyi .2{?Є~5ޮ LofPTvޗUM, T?6/?_2@!3 :`P#lYvKcR`K@^SXrJQd,0-I~\!n? $jf&7kW #ߝH!4`X#mQEv_BHm.%FVPZ1_uڼGOGL@9=LHn 2(Ҙ:. ˾`g#s.8u0]-rjhs>">;n 'X0#!*ye;PVyS+ZKE׌ r+A~0Mr0@Xpr k/h1YP3㡄Qo]yט 2 d:̰&'cp,KޠQƫi;lϨ|r$lV(50:7amb7xㅿ1 w Vq.p$B:1a5t>{Sz!R!E{9=֟QoVbl7JEy?w yXVoԅ{R'G؞}%Ł* (˄<3~ RyF6+Dĩ6K^FOq#w툂*NL{%^ Pw >V#GgwF>})b"FP_Ck f#JU|EQGv{i8%$_Qu _%X'ɋ *bcS*aX]'G%yS:G^5arܧIĤFewWEckDKdJ/.xʐ(VIuzgϐ qIyj\U'pLK:BP¥W^ 81ORY0Q"Zq/p<}Q;v#QYu BCI$tdRVϩHq B7V$ZϷKQK8v/>2&FHm&]>txI;_P*Of+ah9twJ(a;gnb*[Z%A>ӳnL.1|N5/&a'kΩ'jK%ֱ#AXts^ ey2?,{窵郁!4-^u2K]̽1ﱙ֖JHN==+em` TuT"iNo,7K`/0>Wݦl\\RZ{GviPd8Q%4R5.tAMT;(g,(s;1Bh)Dy@=Wmվ&,HOw<|(Q9wO~`{Va<֠׺ J89sЂҏ@-RūGA-=\*[q/' G E@~aHvR NTW9;FjGR}`dA/B&x?<!^%X^ܒX}m^Z6B|TEc2m]qѠ|l爰3|f t Pq mRiTɩr*msuZ}h"cm6!~e#!쥍Z"zomKC"uQl)KbypâeEsߖ7vC5d.n{@N&9"U^Q(^ yШ:t50_,؟zZ 6H{#;okxMuMjG4v:H:Q,m&p˪#aloFG 7/6U9īhB*{6T "#u6iyvc7?*_I+KAXs85HR[!W}V2KyBDI(V# ' 5!HY'6a D9h/d^-,<2+xONAk߂f#T<\*ItT7Wۆ;R0EuWjtNR,tq s;kB2k a>3(%7'='@nx@ec}|PJ>yRzy&D{ԽPmCBMHs0_3i %*`S/[l=IGC,xsasXΗW\q kvkb}[$qK†oo&rtB`3&'͙xkv5 Fp\n( .P9 ƆJE:o*GOg@BБ%Y `&=o$QIfθњc%wP6e}}~+@\'^)97Dʅlяi8_KoyEf-AH=KOgl&tgW`CƼTjZR+kYID rG=$D?pdy-{@K5K/!X8.]}_i"LP]z,SZ?f{%7]6'\PLU-艛\Z-LeC-t.^4c:w.I/::蓾>Ck@.nq3¬Ba+@iAt"~zӹ8n]iφ9"_`ıaDW:%:l1.X1`@awdfjm ` [h~&Jhŵ{;lI4IQ%uvX>01ľ*[6Ɯ`  _WUgXj|oad_1$1\;Mh| V},֓Ywr@TN^éN?S0:8,Zi^}ap݋yO线\'$㝍pS"s[%>PMX)s~BT*!Z%fH5eA7@y4bؾ/R FDS"+Bb ++n(Od{ZlrzX'4؛t>O{;&% ;s<^bĢBxRM{vFlpb5ZYwF0a, ZG#ӖU@<_~.@/'in":9b⵨ f%iSloNon%|!F:(81 ߸VdD.,ƍ!=>rYlK&(!Cc$\Wpj:Wစ<0dяiB9w6I˷A+cBۿ2?=صA3~ ~ %d-=s#7TvƊz7olPx 6Q6"FP$w*Q=6\C_Ȟn'ha dB< CAk1$r;HE Uce/iFD:d-7t "t&F*,ڎ vYwilI[6| tQnaD`5@G?sΜ (ɧ Ā*S/2rDgYZ !5O% o65~Fpgb\3H3pH*%=8wWa#fu_ƋffSxăҞG3r֋gL_ 2N]1\3B`: O Zi6R»&br 3 '09<:>AiN5YGUNů~WhtAJbNmwp4y2_4 ^\UnF^Z9  C~Υ-AY?J t!yg!bSSDk $}2j8][^/gtl_8OSكoubF/kJYu2O͐(Bǘ e(UG" ˌG3Yco&w8uŏ\U~ G: >)KOʨaN<|蝍[t*Yjs!CKk=8K'8I1N8 \[m^]a= $ݚvނOѤ{b#qWƢS%]iYgX[/cmE>m^=cWH!$J>W,1_q î\aHjfXgH (*򖰮vױJRJ=+]_$Tw^ŎbQ\ι;cSWQ7t6 C",xoIsE^n:<՜/Uəyq<(A /#m_GªP lQ2 -fDLX#Aiդsg ݆LL;6bҶ fA2cJi1_WW4syz;mV6\aD]9x#}пA&AZ["pOnQ@TM>,yӱF#?b4%Ek/ g{me a#L^ׂ|<<2K E􌛰12Hh}FQC-G!0>f O͘-[!aUk"s)7=^#Ep hy_@S ~p}T^q-gJ^@x&Д]]"l $m[NTV<]`LףY8_6`~t\++-pAk=37@Mc>bg#ʌPSYY'%6ۇ*(,֤ŖTW1xG'!3DgU/ic,[KcaBH6(h|-&ם2rG%Vf ,Y*oxXǾn/`dtR׿)J1džP~P)И)5tM'3*VMdFAp㴪4^@OЧʼnpX)kv|YgLij .0J6ScL9bJMkyC/ltgzjx-_ɐ`䎙Sf6kܙ]+B }lYR[$>b7TCͦx)OTat5hM{%gV}HꋚrWNu>Y*j.VR>n?{Y"`*hlER%gYZ q5O% \HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Typedef_Nitsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5u <6%O@w =rM.qtGsNwW8kNV2OwIN0%^7<@\@"q cL4)Xsn"}ﶾ[+u2,[&{Ir)hWD"&(FC0zxˤ7Ll? P82 `SjЁDhY1D؋6B&qCp 7*oฏ]XxDU#W7t3LAnAQ`Tgd>XqZQ_@DUtMXoI?ۻlf{zˢ\4C ¿%}?mB~$|CG]?4JtEi9ٶ 4n3a2`Y(*ʮUNvni5&t:PFMc_zb @KdȻ\lM8"v&j4˱b.Pou{Xxءk-os:|D,WRY Jy9 @9jCE/*QB6Lz7\./@.ŴZĚ!k:pKIYfF\ b#g4XdɂJէ%JPk0ocxX7Z8@#ov\7 B ڎ&EZ; ziۅ^10[n/gg|/~.Yh0 &TAA\V`?~WhbfG#>t- t W¦QBd_]M^AF0SCQQ '1qx#> ;K\cdѬ>:6Mʴ;KsE{|~9norLXnk[ oұ֨$}N+K{SnoB)~6>| /.PuKU/ tvs)3.V@<% sNe\>8ۺ&nd78L!ğsŋZ\H RaaW^RMp"ë <ު)GM>_+{}§6~H_IEpVցb(3M-EAQ㧲|R?{ɳV90I 26L<*L4̰yXΧGUuxcXg-x\#qh;ZhtZJ޷|Fz0lj6dtdtZ%0p5fb 7&҈S ]w=a.*TW@]@Vv|˅%^`G9u{6H>ϧXlE)͵i5I2_S-at,?2I-%!uk-R2լu) ~WŦBϏkJF2^jRPn@9fV2LNړkJ/ru@7nܑ "^pc/xIG#SE s$^!p b'edelXtc3ũb0el M:K[J{~1т ԬFOB? P Ń.xoV^O-lEAEF@6Wc}s7}Uo2  D`Ǣ,> /vMѰMoY!|}Y'$lt QPN9P΅t_0?FY?d+~cv[ >Ԇ}ju*v!*NȝЧ]j:I Y1áP7EޞБP4(hTUF񘭈@\?A)l`UU|'-G`G5c7ZA Zc&#zJ/iOFy¼$kQ)Iwjv-\AfQF#*=%>L>'nuRk4gE^rv P\+dJM0ʉ+Pj$V|I]Ǯ}[^W'w{uyQFg sçFWr-A3/HO5ERd$oAkR kJQ$82aޠMl/EC1#Q6rET3g8TgYbm5׈HS P1twG}ef'Ns!9R_%W[rT%hvvNaDj݉er\ۆ]=%D:ݲ]x"tG=F/8wkӶ T27 -P.æJoBB,t~l>ˌG+QeSCNt舖 n)Iak<;lL}|7[L:%954;-J΢%ӂ}̣ݢҨ^F>SE%/ ~ >u,B9yS%݆͜aP{A1Hxtg x"5L9-h;{uɔ4~cĖ [bۺϛOs6bb$zػ7GD(:XƱGECof(n |ߕYXq[mLvyď6iرgYZ.mBߏP )l-2x@%J+o؄rWb kIДr[L)br%$xk4nƳ IȪ>`p_a,^gsVcNmkLxM`KbeC-a{e'8Һ\16Ŗ\DUnE}Svn߉Ў{6WYya5@N'lq s{YxSLOBSN .6v⁝p:A%aFEQ" |ǖ5 [9dH̀n ƥ]a>_0H?I ;!JڹKfP 5@(eVysSI6=:Z;y(nN=q *ڦѪW V`wfx&QZg 2cgw)l͑HhOθ XWҩ^1U~Hb-UK|z`ctGuK„_<)+¥JA!L)Z rN .Yֆ,\Ginx26"c(">VDu^ʤ x|Ȭm ^.5bL >{M ռl*0+*Fk<ݗ~̌r^+Ŗr[ =_k՞X^۬n`I<l"lnHi5mL{<6ncqsRSQ"J ~ػ8a{8yb}fO7U}9dߌ_p;^`* M=(˔l`OsmCFGGT9Q0a<^g 6m9G/󣬄g.'ѠҶ)[lMzќa.H:̄-C~΍D%{\˞&MJƊX4m"(G* f<"';! >yEիb6G.u[jdB.WZ.j΁Vykj+ uٖ=&2|lyޣ>SAK?S/g]Wjn[T6!^,=wR*[ /:%|Vmkx(ą,.&m6TP7AeH3dO!K6G n"ui9˭/_ˠ#xewyBw_{7}k!t0CY+oqbQKx {ZdYܡUCkBjx\=Z/B]eaYRn.x-O3!k,Ob3t:)@τpGƓN߷ln}SN_ʃ֨U}5>/ eNLOxV$ǨzyY=*ダ,(\(֋ˊlU:iCF]NmG5[8Y!АG:r<Ӣp؁ǷceP{ LkٮKׅC?n?rbHF$L7s%,>^UG.6Kc?%*I`sE.6U].)>Qm/0oROH2=^n%{jcv(u޳ImkcÔ˗xܞ[ Y>B#nކs컾$GYa`h6^\vZ>Kc@і}ߎ2Pr}ude#wB0?W-~WTY~b'x I,ARK8m􈌭^Ǔ`BF{z ;ckeGʵտKJJt[z Ltu0IҐ{CO]j`5׎~'h"2]ƀi_gc*=W?Rk2aCv]'NW2g:N.4e-BlOT?^O:B.y7FdֆUh/6N4M>N@E4ۧ[ =je?+s:o[K&fn))*ݏw (#pyo&gnz%wIG7XWx}3-?%G _&({bS,\2+ЦqZjzvaǬmpܢZԄnՂz>8R&HNF_"FWP31Hߒ1g'С0` e)XbбG=a# -M/;_5 o%hDx.:RrMhR}!%z?$0uX-JC4/ j`f?%I)Pj!W$.!`r\r!g5"vwbluAGRV5Q& x)P~d Ib=iL> MgYZ j5I% THOL-Nitpick_ExamplesHOL-Nitpick_Examples.Core_Nitsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5]<͐>TkٯQ0{ H_~N~9\8Y{_[.XVAIHǭqgq`Pr(w[/ .NCt^J2ʅ:Jt:Pϯ0 ~J 7}{i}#8]e3)FŬ9Է{EjUkThsQg[*#ZETSxt-nqP]x) BO!-O T Q~YQrhq>xّd :& y-^R5D4d7c0C.aX@&vz.(D`[_b5s?j""g? lyTfd @-<kO=>Xٝt XL9?/7bq{>?k/3w3[0geX9[{h^W$e.&[Gr31r1v4k{6_S%C  ck N Qg+Rf6rIosN 0[$=l9wo833۴b֯L6 ]4@+$7n/cJHY<n,FR|+-ЄڋqMvmٯ+Ky@:{ױTq4\E=&x+vW]38 nbúEJޗAӶV#(7bM@Us ؄zkS\vί3L#01?;?H FxFy'b/1I&(ZkA&O%ip'<\q%XQE[ Ze֣TIf m h -] 2 Ib]Fz:Dȋo[ۆHƺ ev(D%UU"Iv-E2q`,T䋷 0U6&UA|οADNrC9΂ŒɎ2V~2ql~HRM ëgUh4N_e"3і%tlE\8ePuL|hn.DR?x㘕2d2Y"f6P)l:N\ZNdj,]MXO9h$+[U.Q@V6]zgCdGr2q.Yg~* {πZ5UᭁNKĿaSo/bf ǂN'.b&7!jZǒ(i奊ʳ^E^aAZ'4\@0p6O>Mԓ)RX]+$0GVDZVK:$x/b*[`6EpPf bgwӊ:mަp!ZXf뜷k(+D/DJp\Sz _^t*-O"bG$eTMR;8bSG*%md}^$ۇ`?<.-/5s],GmBm#bKM]ڜPSw tG lέ(;-+Ky{g)z\i4qCY"AH}zOB,ز#/⯂8 V/X&C"OG[v%nŐ4$y5P,Ug=lY ?JȬ- ƌ:NTԡ(&X(͜Ov ĎgVلct 55IfZ]Q{.X<k~IW2qW IR8 p{)A6M_ 3ҢƍY Q}5&eϙ7KRlqD<ݸ5#V:y>Xe08\:-?+dֱ3@a+~XPR`VKdtJ+OD&Jz*;}#tw~vʳB.Iz ,]{gZ:XUz/f^!-u'*.FVRx>(-T4LnKr͗!H2W]4RZK1)7Qւ!`F U$Cõr W|1/ς/hť 9$"@"Ћ3/n ?GUJ^u Imxf!BX#&wm~\*VħYv EM^q{he q!>2HCr`snJ`&,6V0;$m^B?n'$p!S*>r. T0w|/"# vhLa=Psh#bҬnE! :qv^ζg|HqDgR~$l`T0oF$sÝVG Is[[>).zpWNjPԏ.yԔms_=YA!G[< HPATeաcNn PAy CC!n𲦐'o)M+lBn[UNFnmeLc&wtbKz> mh?'?'\.iH @ds`~C2_`ڐXv(D"s1e|}Fm(\VL,@8m\y 44"pRq{|#s?EJ̷R~rlMt|upwű>1r&쎁1Ǜe*Z #ɋ. A0`N hpؒ%ݍ#jA|(7ջ"ESk#U(w|ύZT)$FdlRyU,'\f@|Kl[+!H. ]UoB)RA؃l90S3yv|hT? bLʝ54A7y->XB|\i c{؝ $5E% LHOL-Nitpick_ExamplesHOL-Library.Quotient_Productdocument.tex7zXZִF! `V]A-MՋhvG"uIBm5ޙAvcia&zs.کgų/=7(F Ֆ1B;)hgQnѠv?y-3m[ 3""hZ(@ͤ{[v}1%fY:v:IRm6'6TqL4>F8>aw+'$/|"kf u3odu5V ]\EP!j0|rx$ZC[(6\"ciCԔƮaT Ф("b4[`a%L)BQ:sIUTt$38+k֐;*km6s"گQڽfVy-1 K"TnL\Ӓ(`Y,Ę {~^gTbIɥ;^NG+`2\t?o-<|&=o<}&չ=hFg1f4{w8-ؔCS=d#t/+D΂dMk[ v:>jwA>EE9C\DTUjc:W>vl_`ѢWMȮo}\K4+ dɼL-Iw@}EDكdz=g+kCn!<=0~s+{T9-VXG6Ҙ.#$x*%c5bbgg轧yQ`GW*;3vhpn f1],ep;yI%hV%I2hFHQ#$(b a_G%-`Pf %7-Ѓl$Uu8Eo(fܐx釓݋Q:?=o6b :w=n:}WBL:B!̗K-Ba ꮾ*r0L cdNx .x&j3F]ҠȵWh[ ceۦr-rnsכR1W?΀5#ϦRZ)V!^qBC=UT*CܸVȩ-5se ,=#rb?7_/w{*bSu8mY6 f;>t?x]ZIXټB$;,Ў~G9N~hypo!0.3oOc: .WC?gdY/SNeߎ3@(t>JTJŐ[WSZa*ўB!:ADZ|MFL?Ų';s%ͷD1 %{n QPWH-6%3䥘M>qZP)ۂ):mߨ;{2t1S$l+ L0 B5ώq;=dvbLVc}bvtV&~,ِzOXߪPV겫Iin%JP{`li`x9jF@o$#"T dDJb=|Ҩ!:=xJzaq΄ n}˹/4ѐM^['ø3!Nݎf7HDAJ~o$ILV&gK?sG6@o*ĀE[?aT`praq m)ۊdoFQl4eUeU@RkGHyVUU?gYZB.4LoVvB5KJ",ҴY9w_M <$ɴxč^V:~j*pSϪ Ðzp)b"fѝQN7i._v{NV͛1B[˛yFL!/9b/bE3W!dvgTKĘbZ~W|HK==-NIv-u?ҙn@"mw!ɤ 18[/]Y)rFʚlgfL }@ ‰gap 9(kV(ŀ4鮧\}6 GWKQ]AS0.Nm:u@@PcAFdtye=q bb[kKpC >,ejIsWu:nVx+ŭ Dk VC\ u=-Hq5'e1oje[ͻRq`\bK>BΒvQrXJڋ:rMbamx<'j,y7T+ͥ&p UT\^= uK W +H*Un P4RjZW>NyNvRޔF^FF>OJ~aк>Cg $PQ= Ϣàiyxz)$2lD2Jr ӏf <܉<nb- Aˁ %)uЍCV_; bAvSǗ2^Bz?AW &Z8C_EQ%Elx w|y+ۃIy{vO]D#簴SCK *`֍`y(D=uE>AqO8Д H"L6p4$xzt\G( jN]?du צ@9IN8~+j&( sD6iAZ͙bŘ$I݀ff %+Sf}ȴ| eo]e,FZZxCUmRu΅;rձV1;5. k<##h_b%Sió'l05tH[SԾpAcZו{F9G=])D8 #X {z&2y-vBb0T(f\r K[y?ăKg \@!Mk4l|R[T}/ש&O 4g&YrZoKwHY۴CT%% \# &pUl$]y89YuCVtc.z ,WRjšl@$=Ohck U)2~LSbO٢ ÚϷ$:GMAVr2^?D,2]nĮϣWH(nXbT>4S6\IcJLbF[y* ykU>!_W(WBΆgE2wH畔 "ջ7H-? L)T/YBr l@scJlm[Ë}Wer|L\vu6c3I 9 efO|~ap>>ԁ@*ݓHh/}[F[Lvuw\'J"v܍Z)Ng qԘZ<ʺItN#Bsi7T#ۙv`>VLS ͜mh#͢ .\8jnatj7IGJ nN:渲ɶn41|TbNsaްb/\U<AؿR? > -|ACIoC݉ӑٲ#U"IԚr÷sź=Ӌs(Osڊ# Sp@/:w7: (rQ(ҹc9ցJ[I.M+;&Mx(džI,dEJzp{}Ҋ4vznqf7\Bl-Y2`#7W &u;j+ʊA bodKb)Lvk٫U4_[Nv,A#DzZ=-S?DyӘیSJѫRIM:C/|)>8\;V4 Mя,,@%Z*֕kNa Lop< ~T@<bQ9/|ܭOP6 b}]3:;Ziؙn.av I+K Jra]rW߅PDGcS3ʇB].mVzOs{toi*KGٚ**JRBToΌ1 |F{m)ћW~О)oFnM'Z*S:%S@/ ]\Ga*6)1 69VDSգzͻ`+"n9Zi7t'!0Y!sa:ݖg XWOV^[KYk8>jFCPE T@~Ǽ[Bqɻ%gE=Uy:7EGZ1;G_u?rhs .y@. O8g/gv.UM բa+닾 Ӱ&\8uquN[,AYZ#%0訩&ښ G+kİy`'fԓ)B㮾;vwϋ2YRLHZ. o/tu H.Yad6&;>q(3kSB_tw8]'_m [߉n[>FVBRP,Qllo:%N2BgwaˡF.ݒs.d˸|OkYR/t>uLض]1OIi QkYjʟЪsb>RQW]QΏД6®5:Lt;&khi{xXqQ Ed.ޒzuq܍qj*oH,C, /6pdN@ۃĢH 3XaF'Brt𹳿8Ng|Z2F30'`i m kx[{IйςU)"]-$FR`?OnTRѿdjO&:+E!b>.1=^ƣk/[,=w*7cGzՖ'?\!ЍiU. !=4Ǣ_35E%?rAOC&3Hjom̊B\wY.^q&D+3F ]fq4x)=1p[,ͪV_IV jU;d6)?bSjQ_cPdUrdzQ78kYv9(Ax(4*\64>G~#Ʈ Y[^)\0D2w?f];zjmڽ/Tv߭7PsǎI|hT]"W!; 񅹮/|<%I-ZDHXM듁.KJ^v9 A0%eAlm.kbidɱ@~9u5*#5i ؏k) -* t~ XvRtkH q0ُ) R$NHѺywL[YĢ&e;ޖfi/LQbEHARL oԷLz(adbdGwl:XrUy=-_"qX/F0%0OWiN44cPRy!Js(E 9tؠp٪cT`07 Fʶ zJ@p$}l ibWػƱ{4#FfGFܒlDWbohM;e,2_8*}e>Ů=释Zo.inҜО4]k 0Aj|@0DXO2lݲKB@-E:J`n|^d嚀rsӐ73 !3}+K T< [0-[xɽn/{KVrgv/ADg2$aW!+^xǶ'Rs4~$2L\5k ,q聣 X WóKŷ~5r9@h|(0hue:qnj@8ЬvCJV"&ycy_Թ4㎷ rOtv=*;ij։J>t`XL@g|?Ϣ |[R)٤m_ǴY A$v)ME+hps^Q516xey":f?}5wr 1ȼbcP@dNFs^vL;XOz1+q1@DOΆ0; YB#ͣE'\A^]n=UŞdvQ{.igkқo2̈i<%YP܆5  gl c -'?h#. [O,9)wnNT;VeA"1脺ɾM±}FI\Ѽx], 韴gYNJBk|&fS1, 喭b6%Vǡa?[ 2*/pE^LgWhm xd`.LF -Gx=!.*g4N7ƗxO%3!xok`ne+fyQzFfwGh{'لc*|[8$?%]igWyڌl&;m2-!Zjj32?:5q5J^/:;S"X1{qgXԬm GRlq (#XᄈL;|}^#l t{p6J%m%+n {Z:mM'v3ݽ]įZBɾG)4x݋6wRc9 ?wfA5|PRc6.zm膿Ε[qmLПyMϭXƃm?P}y^s@=`ƅK_oG;8{QXTR nX`10jUX\ Fw/k=5S8 X%ӑvXO`p(~Th柙GERJZcC=aETPNʔŤ!W?w9by Vcia@]hc; &[͙Av4{.vmCeE,t@ںKwP )lGfzYjdg-pנ~4T{īy{~鶤ThG6KjBXV=!Ho;em01S_G+s'\䙱gYZ Q 5M% HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Refute_Nitsdocument.tex7zXZִF! )]A-MՋhvG"uIBm5踼WSj!3t+aBXXOa{UPiNc$Qw᳚oDjF<uW,.(k<@Ȳ$u" *QIOPN#/VkX-g`$Aj;)6 U>pFN >d@ @UQMQyK*R㔈@\+4 -GX9L' U2J@40#Zj o3i"@Ac:( \lUE40'5X we8 @P8~R+Br\ij ~fcR6!'&n !9?dIH{e_W9v#쒸W / oF:cGodw*Fuy}uFZ?"5.Bbx ZO0Hm$/߭h\T#,tgy,>R6y])mJ MxuM5|D(&CshF4\!sW2X2q\Cj 4 aK5U;*…ۢn >/"8q#&l5ow41zYeB0ѧQ~$# O-2)HbzDOE".jbTe:n36$~(W4D+.jl9]TG6c<gu:8!#~S!`^*LIbE=G#:@V 8 Ę !:@Mo4!TvZ5rH_@В@߷.;9(Y9YGݎ,6 r^<%DNf9$yB"q̘|2\V%+\@R-M7!=W}m]]0'}{M}o? gRz^kCIB[z3+k/'1Ho|=4PAp!*Vu51hSpB؉3u?@ ?-C':>m)`;4uԥA/Y)ћ"N.ԝ6J? =m.-Sy 1Ĵ?h+de~ &JxjpDZ?l[ZBw'=tbX\;jb/}IAY?- 쮇i >> 5M% $HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Manual_Nitsdocument.tex7zXZִF! "f ]A-MՋhvG"uIBm5.ޟYڐr*5 }iQݳdGAS҆K"/j&xEڿwHm\DP5.ơ,tgG (ⅰ/\DOMu3468|8C2kyo8c=ׂ1N"V$f`l TZ mug_,jCf< 8Xq0CSG$4sX[4M^_*&q-d}[w:'`ybILp.ǒ8c-WM%vGԷV ī%&U><]#h*3 q{:j)J=9Ⱦ& ~Uň?bh C%Kz~@o-Wa$C^q?`,'"Vi}9+=k7hqمN6*[k >!x+t@dPFVYOٻ\awѩgi\melAR^`H/L=6~ w+zQayB_>[9CL^϶x4Xm~%2]@Q0݁\`|" 6Y0p3a=`i8OgO?ojM>,4ό$(λCbvw`!0eL5UKsK0AYcjx׏A04`k}-Z%lf$&X'I?K- pVG6i*Osu#:A#,짽&D<&수ιqSjR^WچQz] /$zni@a7diO n=|;UkιZcxWxjgN 9]KQ'˃9ƝNJ$7~^|%@IRxѠ&O󻣲SXӪ!`Gg$YlIS&CRG;r*L7V?j|Z@ VC9a^6*o>L)@dP:W.>kkW/wX$߰J:#L{4F_Y][gb8q }Rh[v\&tnz@e˯K1T`7j(8EF+y)>s"887Y-2{sA;rB ŋ#h@hv݉6}ijtK+d 8nfLzN? \0KW\v-sԬƑ54Īm,U%UW5 ~M+!n Rr3e?4/ ,cNU/V*ε0ĝ% |+ 9#n2>oDOOKd~ڜ/+Ep14t ȸ Q}Q:/|¡h_k\CDNC'~Gv鬪qRp(Y*=b|qr8 }2*zU5l{p]s߆R!Ru{# 3r@%>'bKï_@v\x'0@FH-ǶqNnh\W%' 5M% (y[ݳX'O3ڟ1k|G!H:9;)aAsFoi_0I_w'ŚDD_:/8];Oxdw%/ka==3!cO5L(RWZ,`٣*N%8ťů{#^_M֔AN[wW*LĮ 6G̿ٲ њI5N7TgnIlXfX#&H5|XL2Ч& h1H9F锄t5Jbq6+__;um8`C5 eK[RHWL6Ny/`bg; tء=*V5=i0.J$ [Vi=[HG;5'o@JĶ0#7l91Om yps+Z?ƻ MhC"UK;6Y9ጌeҢB!Sȇ};=^8|4I k{=O JS|Š/a臝:4%ՠkʄێWCZQ6̌J֮uA-(D*ޟǂSuAU&)*Fs`:̪k1Jn/OI{ 6ΒL}957f jLޚicٺߐK-hDS] "//<`hSL _*f ?87h^OGO;kma%nU~={w-|\zngL} ,XFvWA qݽk5_2y{1_*uݞH7qH2Q_BZH%9aY?f'3&5-22S }1uԪv-DKi,AqVxfP)ٌur9Mǐ?h-ID6VeM,[X4`b6CqH+vxhUiB M +0D$_jP~Tk\kseZe*$1q)0k:]⁓.ԄG#J N+KCN%|^}LQ苧:/dXUYVM%rn|d"ofdnb24R.c rx x,h~~<ͪ2]5f Vl sW(ۋͶ'm"p{gQƽ ?@Zõ=l5>LOe>ꫀR %1e{kx,؄#eEAqt%L4։W1W}!IN,J|:y;NǍX P'd~ w}: IaȔzqN1[C-7k0!i  xj =w%C%m'%ʀlFTY+2qdǾ~EڶPi?ȨӉFwENøAnu;jl6 19 mD ,ձgYZGE0>tӝ6oBehJ@sR8)<]O,jPB,6'3˙m u=9 '5TNQ,QGEFPMEI7d&XSPV~*.}m/6btW8L2}f/QAG|3NY2ex&pF$\BUc"\1oA%)bP;W5o6ڋ|=i.fJR#u}E|IdSrP pQdQ0cVp%r X$屬o39ac[!IS~7]̳UGFW֢vWaW0[l|NTn ɨ;2NB*s$&y󱀉cr*^13'o4jK~.Sݽy\q!aIiz)1A|άU5kcT:iVլHx4 iC4eU 5z;$ز:A]c>jBq:Ռ~ƽIdΚy3>\f9ƀWqi &"YwL'-K(|jcFD% anjAqGqx eCRb3Wjw4(NZtv_Wd9t-̋R]n2q / K՝*r>JmSǴ}<Ѧ}+mPApec2BH2b ?UL>՝D>1}OFnT[DzR"fI>Z/KDsxJ=[\4P,^bf#><%#hۖW)jc3=גOԇUDfmQ* 80 M¡! c~Rtwާ#\y>* zEmy{`3鳱]xQr9hdcSЄK^T" *bP.WE'*aӡMֿ%EfY/{hJ9F<.ciB傥^ nAK 8 V;ѻv$k6 .-E AltQp4;4w_-c]I'hZ!s8k ̥a\hKtscV->1T4^om.W tzWx$j{]Q́ .s >DRri̙pwSoacksr_S1/ KKj&؄>77T1Y::0~sbYXQ'Pc.vY`_ %PnnM\gGP4D+~=lUN guuhǔSo_gLBʶ_R\q~VeSfF- u. VF)$dB}clRA2;X\Z^֍z 9aD_$̑t*iK6(؀PL|=>}T:գb ۧbwК ]K ,CzeOL~Nf]ɫ`4` ܃?{R3{Q< ~}DygըXJҎ|P#dRLL;ǭ:Yg.刊lՅq=k6zL'0~ 6ᨤ"m1}d Ϭ`'$7?Kk zRn}|98FrwNmvNK|Mvd>wzgjׯ\J x*\G*w_z" {Z{ oX)ΐDniFT;ω,@ptPCʜC.T%,H_C{^=h`%S.+_\>tE犤'hfX?m)Pox.TMˑFb ԙ5~U0*W@|l3ch|/D"݀- ء|w4{p#ToPSy"w+Tq[cHbpGW"Aȩ]~&; q\7NߥJ41=B !.GMgYZ    5K% |HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Hotel_Nitsdocument.tex7zXZִF! #]A-MՋhvG"uIBm5 9NkQa[פs3]Bʎî"ʗkDߣ%5>Iᑣh}3Mc'3?ť0`LCA!XlA.Ht', qd"xm KIӄ*HBC*+i9EBSN٬< u|:)Ag&_UDP3왫Hr-cIw#nVŌ r6P`ίqAf^cJfEʾq(hf-Ox#%~H1_"Nt(܂4f-q' :l~at@n(~:@9YYO6:6Scd <>7>fҭ96yo#BMr ߦ}Z#7 &3.t.;#1NgiutT܏t=Zv*~~CDժ4elLia~"fZJʫ^!!7wݖo%B$<<5@짰T;QIqxNÏ2T?%[q$FK cs ]Pr5)^]9ӈdR7?u5^m1QΘ:HYeevFi`NglVGI>2`~:($!H56Q+WdXY2tvz~zn-ʌhV r_#P`f޸h>P!~&PdsVk29m8~)'%e$+) -+6*%j(!1aQSHmF\LvTr͓~hw\86lw. VEč6&P[6}lў?a?`": oS -J.KSNq] z*e+E ЎjO@ Yy=a[VQ;]ڀJKD$']5~{)R0*PoqrO?h(CԘ|X?Tz5z(HA6fg$q[ Ka<}g11SgzKV\O~BKgqPS5\&}/:+|2H% KWD>"u'RHW=+(*gfi rJ3sV`4e~A^h*ŌG{U*-7%$ԙo &2lTa]n iԎlʶ [l`WWZq6\VfQc*@;TE'zЗf_ Ը΋DC/WM)B8 aVTNĎy5w|8"f-J!Yq/ԗi֭th<0xl6wZ <~U©$vwx$2(o!1G Zl]:4SG4%.:Rw0mO~Y§jؔӽUSJxZY˼遾ܸ]4.O+8[9ٺb0|o{[7"\ |Zk>ܜnr:ΪÐ37]DJ6wâ$fYdFDMKgֵ|xlҁ׫(iVr9 j;$,)VVzN^G%uYgcV'CY:ڭ[Zr,=8H8KVa;g1t5uW.rq4ARC‚(OþkanX3 AgXBofnڃb\6b ~w$>B pK[PO=QK[u_R+(P(:TV2ݭyrN ͮ ]{wTCjc =6PN.}P3|]@+Old\ \BBH}hJ>=3F0 z~߱gYZ { { 5M% HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Record_Nitsdocument.tex7zXZִF! 3]A-MՋhvG"uIBm5"LO*5fF(^T+:Զ~duHr(K]#:M(F(P=~REPwegZ=4!n->0֥r?mX]WFJxѾlv&c5Kwv.mVL P B۪1y0c5qɌ{IfJ=F+{](;:~"~\%ٳit_ 샓Nn-ӂcrΝg˿PPv }AV^y/-sM_A)d8OwB*kwIf6O"N$ M/h-U5ܿarDW0i"U6"֗' &8%Yj*M n|%\-#戲k^d5vRWdGr3Ҥ@ DP%j9FV1Rd<[]jzG)ue,m% @= ;|Ͷ]M= R#TS!CLƷEW`$ ok?};LQE"+HA zi]b)JZNT^L I;H"Tɹ_TY|dvLd۸/p @MHeσ̈́QWN]9e0H Jv>hwD&N@ 0JqGl ӽ])(6֞s" }B gk]~JNO[.4?U'ISe/gg1mc+K L _ޒ 1ᅆz 3z bG1#odg %I!#m0PP/Q(R6?XMy!d߅=9!|u;wzԎku)A_R b#v̼ >BٮWs˽!pλpH47/Ɠz+ aD'hi]Ψv`X v1ױgYZq5O% \HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Pattern_Nitsdocument.tex7zXZִF! Gf]A-MՋhvG"uIBm5D$%MiKcfl9*:8@(GXQjja ?.{kF1x&3KGH`3#: x3] 4u=ا^ y]\Q'Wa.7AkCH(%K>7m41u`A.k}tQ@4?yְJXq3önU'T/VK:Z!wY5o;Gvibx 4Ap:oKVvY[m{5{'*8r0Af5'c%&,:?^rZ4B5(L<_#}'NlKGA}ECFܪ#*]QU{ExX+"vrgbYAV_;½Hݗ,=1[n/jjiJh`iP;CgHd=jfͶ0N4,؜ VVxYl+,ɧ ߱dXrHܯ~~Nwp7Cⱍ[ ӂκ ŌE,-_G@(s v Q`F%-::o=$jAHq>=sPyU΁S(/hd7z\iڜ422}X$J<"_GdiFRTDsQ&ۄmȦpU[ 7H7y1 9}jEKkT1,05{E t=b A"惧PX~ƠfdO+sj- #yOgx] G8P7%Rqkp!dH!JU4~o2uO :)3z K} Dᣀدy24\gf5=jyiV+ssތg')Ce:2h >3?u|֍|c7K 48t*Z98aĸdR {ʀ]͒ޮLƬ_=*i!#c=fx骾 Olqn~PgK7ǂY85h2α臸I>jHno`%;o qCWC\}ci;WND"ƠJЗe7ͱu챋GHHUM|XPd4xY SxcqϧAr;8h8NG ՕHL/(,Wmܓ*ė&c%!a(g8G)jL 12@Mh)C=,aE{}b- wdah.:Gh7 kpu H]c l};^i|hxp]丅bJ9\oa6Lgҩ)ǴexEΊ$#}TV<]wj0Zxѳv7&y׻l^/Bw I"Ӂ$jWEaP A"sa*Ar*VSU Idr9 *`@%CFCv<& aa`e7MJ4l ( ȥFsuph%4RWh*"٢$@_7wϿ>>?5]4&JU7 Ro!I/(}^Q8&aSy PJgYZS;^(YN5s1dNe(> ʠ4}9@xWZ_L8GWg+%{nR֔? 9<:f.Kxn!8 ˨: \xWr"?7սjm2VLg.A*.<-9Μ`&]FsyDV`o⅃1#S}4dsNX7mb0[ 3 *,Cq>c2Jlz7 7@\8gԲ'Jx .wtjxR6j"q.ZuFAXY~؇rk. p!4Dw4iU&.,U}sS;-Jc۠Z011im8آISqӪͽ;px1^*r;ZI֦ZO#MzŃPDҚ;ɚĄ,z'Nph"KB"3gr0n ч;eni/٦,ZcN=;Ĺo %Uy!\;|g^ٽao|:XL&$$;j<w|WO(\`Ug)&y+ͫ0.6Y,Cg*&H# {)^((Bl(@@x Yo1eZ}:tUzA%6 [&t?TBv3 *hۺ(&KC$4|*ND@;vsEZ)ILV*'\0HDTytcJaMx&fu7ғnS-ڌLV,Y\Mȕ vb|ɠ%5@zL2\|0}(X-Mzq$wc''!Zݓg]ZmC" <% 75{Kì,\>^=`Xlm>Ja;.Pm{ ٷ1k#>xU 둯у8[t5X"60L ˥rT|xkf۟l$DDc!dtc2Ϳ|`9!TV*.GQ &SbYfu} #'y@[G"m#]" _S0owՄz+*NU#^hgEz 4vU2n[/gf .3gNDm>tYgp7kE:w8T5'tu~A]d\xBD?_sm B)UlIIN1#Pij-r`,EwtNɚGF0jgE-yB1.AT3m/VP P2I@׼/lt]rt5{@uBGעfQo?l_컩VQWB+8o;,G2ܼю!DkZxvNM^W}Ԁǀ{J/ |ә#=VN6q.].|Z%OE^d#q~jqQU_ovrQ+^~PMheugyVp =K}\eNJp?/ x":e} V:ZlueƸմ\6nv݃F:C{!-*>YG?nucKu\c ldGA]\Ɣ8p%Al˒"9/L#B[gzqDf= #8Bul\q9i+?ɵho8Lv&M ƶz ?&\ >./"r4@I~5RkޝQMogqXiϵ3a ^r(&[ВcH\w1ܧ;'-|,'?+xs\_Xv+Q 1;}\^XLkDԐ<W01 %1Y( BHOLN,6k2fo *^pׇg^1?+ȿCw6*/%kKTMDO<0.iS:C6yWQVZE u;Vs5 z~&!bxHҭH@rxO0,ag*n gYZ7zXZִF! s]ŗXiɟ1˦r1`ZWw+9w`a1J|>'RGe0~%y PX#l#Lޟ-M],dsMjPL"C(Hg_,}y_,~ Wo"eTyoLN2wn&" ħ[p)BØqp,;LeX9JtNJFDs>dQp{ gYZ7zXZִF! -c]ŗXi%D3FazxDAJcl }l2;1#PT8ў[ӟ81s [ ~LGFk DM }M4%Q\yr8ykMqTQ*zĒ,K;@t<,c{lݥGnZ򻓗Akn}~n^ uo$8+.N' Q cZNȫ@j~C1zbE4&غT+wz ֞,8Rh}dT`LYŀ`- 3mJ m+t3RHZ6&ra4fNeF &g8s{sɁ%h TNw,>q;e7'wq?AZ}"phgUrAR2w׾NBթ%=gDGa+$7cFgxgq#\ӯʚX1G)(4iYi-= {h OSs:qiPy׭y)5q1hw*I_3< Tq@Ggr+a ?oQsgu8b]g Fz&!,$uoBf5{QuHOJU X (*,B [✴g$K4gX]|3@xU߆?.Fۄ\שaXe²nVֳ\}JoHȇNL =.S_SfnREU drkM =L,Mk[B `pRX"[9vXN a2v5Sg>JJA)Oc^zΒN{[q:]p/*>|DRNMy2 Խ1* <֢z2&&3ǔζ9Ƀ@6Y?կsd_՞)v̯.T_+JSmwJ)'*lʃJLb& 9*If`}D5XЦRSŌ\S']A 08ZGѺ}PK*YUXRwΖE:OKm+NYpIiÜ>?ؘTdzCZ=۪+! 't &5CLtDD ]pzHP ڬYI1[Ѯf:l'0qM~. j(D'ۛU' OlbeGCLObZv1I dI`B_cplpsMu!,̐ޣ%Hʶxꌡ:q7 Q${g>v5_LFC_J:E|@A7>Nxydv:#p>N^uO4CqRJ! 7#C t:X7hNWOG6x}7jg/T|(Ձ޿T_742H1t$ EgAŠ9U MҺsi_ɚW5.w*c"qiT 3vqF*;n rps4 ZdP>J"vQ,L]×k1 p|#bU"Qtv]eq;4JZַՁm<x&E-lJ †}FUHPĥ'PtԚE7tYlyul&\{. 1 DFixog&eX+8spw>L40g6^@A97≾!ۺVѲ02a]^hԛKSCN[@#aF;bm$5L_Zv^:Ն&QBʉ5fߠj#*D5Xj A(F,%Y\=IZAZC"9_R4PJLIx{c5)_LhzDTw-NA:gt!@Hx9Vۻ2Zl L2HS~hU2f`LMJBR~:S: 2 z^bir `?nfZZUk#cpi%,g~}P>B ŋ 2Uf,Vܣh35}w(KSTTܦݺrh^g޽)?`EnÚ "%Ku sOv=/1d.Q"CAmӓ 4:8p"E(O * M m(+3('<2$G&KٯԨ[j&j_׿P5%9 zM+RK7Y[~&zӈSzmC$xk_X}mcKAP_^$/ mn6D`#x;S}oKWH_G$菒#>$x\̰14U/͠ ٱB|%@Aj!lOv+wk̂ 5sWT熒)Gz/NV&ۜBZ"ܧY>F:mkmJOk2@>.&{H)5q-? i1uSہORcB8'UF3*Re,iZhv„*o^s 1lu=Fy$I͡˝rzH6V 2+ŝ1D}$W!lZudP|AKrΎv+RBOwzG*(Y /2W l]1ߺӺt|k\/ьFZ w ]D^\[D鈂.GƵyЋPp3]V2XaC]x+C614ϜB=pbCL 1>Ha~yIz?YtxŽIFMW#YbC[BÉ3ХʻQyI՜E<Z Ĉ|7w*N~LeiX4{"X 91$)v %!5;$9J}LXr_3?GT^a'Η=}B:/eB<'G0 Xz_*| ȔZRGNi@]i@,ӲD]Xjsy*3aĎj3nDy򿊎ݣKU'v3uDJ52%Yі۔ČЬDmB).o;"B[VTpPql 5ٺQT.fs?sѷ7428v¬X|Wr+KSu> Qz[}۾+ES!cOTVnhlֿQ \{b*t$54kt!D؈ 2I}%nJKz-6%Ggzx .O1@Q_ȕaB,,gTHrc8"YTdF|>РH'kb B{}bUU_8Gv4ӢfͥNwHXI縖4>%JH/z>e6j*xňc.}iBn% nrf=xh[oIg%ܯ8{(pҁ X>1y::flQl VE\EasƎ~z#MbAc5mb[cQax4//L!K,bA^;4oG4MB$Fu` cjArGE݀wǖ7kR~nfox؆S0usgmtﳠ*&FY!S:WUg 'ia/nתl R g V‡$?'Gt3rBl|{LyI QP=IGxP뭸vS O͠2uZ3&tgYZb489ab0c86c2a1791932b1ba0008e7edb1cff404c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6