SQLite format 3@ O.C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 &5vD ]/ HOL-Nitpick_Examples:threads=4elapsed=67.923cpu=175.644gc=3.9567zXZִF! c]ŗXiɟA5qbh,å"炇XJF3bpAGP݈1S,C/\tS]/ZiFuI4fseKO&CT{3Iz&LS5Va{qUyr559&Ặ2u3O$w0 .`Yi f+I\uQcI˥ߦ0&"Tw|MuyMs5ܫ#IGO7/yrTuHHooRE~s}2V<|k}EG)k56E͜Z.F(o-@ Zѝ6\--/vq+:?7yFz)I r׻-E&f> [ôSP~S|d+~I#mA7_I;t-= 3暵|geA'SYNLJ6tr]*v鏯4o G:y׶)t;i%;_"9CG" li):\JĿy% iԫqR.Ț#F@8p j}^e~ o"CBzhM*=ZdN n=u'8TO1gCXeIpMpW~^v؄9{ۺ}PREG(P\mx>[L°{ 4U4r-ȴhmR}`{Yjw޿]Aayspq: _% Er./\gR5%WS9:']mֱwP1 [ȲL!Ax-+M ![ۛƀ(!LIa⦛_o+m~+m6=bMcSTT+hB@tR\kdF}RxdȌ0G޲e7 j@"Vs2^5ِ4Fa BuRf]`dNhP쒨?p6#d4V.7-X^Jl{ r0/ A}Ai @DT=oܨ(&-4L !D?(pxnOsz <{Lɯ -A;^(u?ѫ\, ц[Qg]1@5K9àD3yzEJ&/gZ.Vg!FbfN-luO('Ǐ;~Y.d5Z|~3uf5d_†mo$K)"K7rQ7bYUH>tNR<1r?X;!07Bq Hbe| I"(5Wa[&Tik[]4aRl2wbPSПMУy46 ~FFfeXyeO_j%H6zO ;P"um3H8-FFߙ/Gtrpf=_ϿЫiKW'b>,KbVPpyFwIa:ha/. (${ [p1Ǜ&~ Ӿ߂G'FgXՌp{gn_HI'cfNcQy/N]G⃫;ưsi)IfJ(}x_]&!DߚNj6$ޤ\0ܚk0m hn@4ᳶ%g4)P ,UVAT^eA׽ f'}01cQ7tUS"WnABƅW7GejmpdP,襦20+ +0\$)Enǯ|kc`}06&\2/^t0OHf&4G!wX0G}]tO`GhlekTwn )B(X4c{s1CTػ1wIce8IǕ :~n QmT{sTA5PMg_Fs9s5s%n_7.* QZ9Q]kP{c!ok)װn X൓^>nӑmݐ'Wi<#1b]&blyvgkKj5KAM/;`l|q;|>ke.7f׻-(\G2-fh '3ҺJW`Do5o(~+JAmJs0?2HQo}BVMBd1UTB.7(@ShmZE͓ڐI^kg4Vq9o̖lrFt`dZtn[@{hie,&fvphRMFk~܎ˤ7lYa K,gqV[6ra$AMJ(aQI$f)9s i @+(?n>2D5l^G=|9Z())7i7'zޞ2)l'R ͞<oA"nd7 l^O}cJL3H=a{Ӫ~N&MO#)\*]fͫA-º1\A<_: f[v#s$R"֨5LC@Ah%2@7j[بBBTx5_6_5a&KL(92G^N̷jj=Jw5mL"bߥ=efy]DGҰ-l,Dywmmً` TS:B>/mhBugg\(Nz$`98l.WyzaL<{G$n:Ż{d[ܰ٘(n|`00>M{s)5z|(yHVdOA$ q_d{̚bj"p{ FߴvYaWWdai9fNt+I.8]h夾({cJ[Zŀo՗1F*[2v-Kt.DKHMPhcɒ DW 'P>XYVJIfAق%ov ]f[<xſRf/wS4f־1maI:$'MP` ѵf͎k~Y @+?*6'4&3%2$1#/!. -,*)'$#       0t  d 1 :  Fw  dc  }T $E *2 4"x - yG5M'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Refute_NitsPIDE/messages0E5M#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Refute_NitsPIDE/markup/F5K'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Tests_NitsPIDE/messages.D5K#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Tests_NitsPIDE/markup-@5C#HOL-Nitpick_ExamplesHOL-Library.Quotient_SyntaxPIDE/markup,G5M'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Record_NitsPIDE/messages+E5M#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Record_NitsPIDE/markup*J5W#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Nitpick_ExamplesPIDE/markup)E5I'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Core_NitsPIDE/messages(C5I#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Core_NitsPIDE/markup'I5Q'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Datatype_NitsPIDE/messages&G5Q#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Datatype_NitsPIDE/markup%F5K'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Hotel_NitsPIDE/messages$D5K#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Hotel_NitsPIDE/markup#G5M'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Induct_NitsPIDE/messages"E5M#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Induct_NitsPIDE/markup!H5O'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Pattern_NitsPIDE/messages F5O#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Pattern_NitsPIDE/markupH5O'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Typedef_NitsPIDE/messagesF5O#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Typedef_NitsPIDE/markupA5E#HOL-Nitpick_ExamplesHOL-Library.Quotient_ProductPIDE/markupH5O'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Special_NitsPIDE/messagesF5O#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Special_NitsPIDE/markupH5O'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Integer_NitsPIDE/messagesF5O#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Integer_NitsPIDE/markupG5M'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Manual_NitsPIDE/messagesE5M#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Manual_NitsPIDE/markupE5I'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Mini_NitsPIDE/messagesC5I#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Mini_NitsPIDE/markupE5I'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Mono_NitsPIDE/messagesR5M=HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Refute_Nitsdocument/Refute_Nits.texP5K;HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Tests_Nitsdocument/Tests_Nits.texQ5CEHOL-Nitpick_ExamplesHOL-Library.Quotient_Syntaxdocument/Quotient_Syntax.texR5M=HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Record_Nitsdocument/Record_Nits.tex\5WGHOL-Nitpick_ExamplesHOL-Nitpick_Examples.Nitpick_Examplesdocument/Nitpick_Examples.texV5QAHOL-Nitpick_ExamplesHOL-Nitpick_Examples.Datatype_Nitsdocument/Datatype_Nits.tex N5I9HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Core_Nitsdocument/Core_Nits.tex P5K;HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Hotel_Nitsdocument/Hotel_Nits.tex R5M=HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Induct_Nitsdocument/Induct_Nits.tex T5O?HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Pattern_Nitsdocument/Pattern_Nits.tex T5O?HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Typedef_Nitsdocument/Typedef_Nits.texS5EGHOL-Nitpick_ExamplesHOL-Library.Quotient_Productdocument/Quotient_Product.texT5O?HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Special_Nitsdocument/Special_Nits.texT5O?HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Integer_Nitsdocument/Integer_Nits.texC5I#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Mono_NitsPIDE/markupR5M=HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Manual_Nitsdocument/Manual_Nits.texN5I9HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Mini_Nitsdocument/Mini_Nits.texM5I9 HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Mono_Nitsdocument/Mono_Nits.tex   (5I9 ,C/\tS]/ZiFuI4fseKO&CT{3Iz&LS5Va{qUyr559&Ặ2u3O$w0 .`Yi f+I\uQcI˥ߦ0&"Tw|MuyMs5ܫ#IGO7/yrTuHHooRE~s}2V<|k}EG)k56E͜Z.F(o-@ Zѝ6\--/vq+:?7yFz)I r׻-E&f> [ôSP~S|d+~I#mA7_I;t-= 3暵|geA'SYNLJ6tr]*v鏯4o G:y׶)t;i%;_"9CG" li):\JĿy% iԫqR.Ț#F@8p j}^e~ o"CBzhM*=ZdN n=u'8TO1gCXeIpMpW~^v؄9{ۺ}PREG(P\mx>[L°{ 4U4r-ȴhmR}`{Yjw޿]Aayspq: _% Er./\gR5%WS9:']mֱwP1 [ȲL!Ax-+M ![ۛƀ(!LIa⦛_o+m~+m6=bMcSTT+hB@tR\kdF}RxdȌ0G޲e7 j@"Vs2^5ِ4Fa BuRf]`dNhP쒨?p6#d4V.7-X^Jl{ r0/ A}Ai @DT=oܨ(&-4L !D?(pxnOsz <{Lɯ -A;^(u?ѫ\, ц[Qg]1@5K9àD3yzEJ&/gZ.Vg!FbfN-luO('Ǐ;~Y.d5Z|~3uf5d_†mo$K)"K7rQ7bYUH>tNR<1r?X;!07Bq Hbe| I"(5Wa[&Tik[]4aRl2wbPSПMУy46 ~FFfeXyeO_j%H6zO ;P"um3H8-FFߙ/Gtrpf=_ϿЫiKW'b>,KbVPpyFwIa:ha/. (${ [p1Ǜ&~ Ӿ߂G'FgXՌp{gn_HI'cfNcQy/N]G⃫;ưsi)IfJ(}x_]&!DߚNj6$ޤ\0ܚk0m hn@4ᳶ%g4)P ,UVAT^eA׽ f'}01cQ7tUS"WnABƅW7GejmpdP,襦20+ +0\$)Enǯ|kc`}06&\2/^t0OHf&4G!wX0G}]tO`GhlekTwn )B(X4c{s1CTػ1wIce8IǕ :~n QmT{sTA5PMg_Fs9s5s%n_7.* QZ9Q]kP{c!ok)װn X൓^>nӑmݐ'Wi<#1b]&blyvgkKj5KAM/;`l|q;|>ke.7f׻-(\G2-fh '3ҺJW`Do5o(~+JAmJs0?2HQo}BVMBd1UTB.7(@ShmZE͓ڐI^kg4Vq9o̖lrFt`dZtn[@{hie,&fvphRMFk~܎ˤ7lYa K,gqV[6ra$AMJ(aQI$f)9s i @+(?n>2D5l^G=|9Z())7i7'zޞ2)l'R ͞<oA"nd7 l^O}cJL3H=a{Ӫ~N&MO#)\*]fͫA-º1\A<_: f[v#s$R"֨5LC@Ah%2@7j[بBBTx5_6_5a&KL(92G^N̷jj=Jw5mL"bߥ=efy]DGҰ-l,Dywmmً` TS:B>/mhBugg\(Nz$`98l.WyzaL<{G$n:Ż{d[ܰ٘(n|`00>M{s)5z|(yHVdOA$ q_d{̚bj"p{ FߴvYaWWdai9fNt+I.8]h夾({cJ[Zŀo՗1F*[2v-Kt.DKHMPhcɒ DW 'P>XYVJIfAق%ov ]f[<xſRf/wS4f־1maI:$'MP` ѵf͎k~Y >' 3'l C`Mo&A2 q{ld\'ӫ6a`M]pwR5cK>^Hy*;3(l-ͦ!I6pa8 X2o8%17D J]ױgYZ mm5I9 HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Mini_Nitsdocument/Mini_Nits.tex7zXZִF! X]A-MՋhvG"uIBm51dx]pU1~4g| =ؚٳ}fSa'DAGF㸗-LenS /5[[ϟTpj@_l(s-۲2R?xQ_%FOU+ZlŽ$<Rbng&vxՓL  "wY_"|Q@Vsqjɟ/HA~U!DuyiC5!-S{8le,s{bah7y|Ȇ'b9`b 2S3 4zr hdkE 2j_1aD󅘍[=?n[y>V̅>wNÝ`Vj0k1M]̉m.QǗuM>ɯґBFLv ]yhlT=} {e3`5+\72ɭWa1)j@dt=[hѷA H!hgv-,ےکf6&c7j-#ϙ _YfW238uM{6 ު}^Ҟ@YP씍 ^ ˹$O~Dɞa X vx>6 I֊3ӆ.5̰BZ/ V3o\@̿LeD"*WH?(hzMAn|*x*LlcŽ"ўXR%PTyFaf)ްf$˥[a%Fn:P_q7_I&}=hET[!nTgE`b7;%l$^X\<;,ra=tڔoK;Qp7,lF'f*9?*%irEi)H~cӲdƈ̒ev0hsvZˎx}c#Z \(p^=chaRz2V:;0VsPJQ|^ݚBOZ:?uhQP;%}.!rDeơn̝Cd)+[q@JPԕ۵p6FdKEE)^)+4'i[;XSUʛ\zqn:;܈ffύ\j`( k xaK@[Ϯ^0*dG(WQ&]zJmLկ́xl,$Q?~i@☍;dkI8~"4yL p;"")gtN? a<t-3=Aq #tڝ|><7E(=nWbC@ 3,T\6Y ?+Q鄓E鷥Ի$/h)H]cLtÑQmI3(#YZZNfmuՖ'1g1yÊR)\7`_raejw6-0WlF"B^i|42C*9+msꛙ:UW6`nv;4Sy !kIه7)ӟHa}{ z0X x=r|ǩc$IE]:޽ΛOfJǚs*7ڕxїoT_}aDT&VԼhuFEEɮIK-ExӈOe<и,> dO;@m+O1Bl¯mSU n \Wx/{ qB+1=pԗ+xh +dlOf%lUg8RĄNG K)y z1F!)iklPҚ,WMTxAȷCӨ79-%: )7XN!IaC^OH,b8LOډ 7 t ˡٝ5:jgHn@\FznY`Dz߇;鎁/G'Z̯e ɞ@Rt :` NQեyJ!>Dcqg5şMb$ȷ*98*UH9E= V1q>Ũ~8-N A `aGm[y[Pi8OA; A9Cj/l⏟uY AI(IoQ>iUja_jx7sE#++`usP`j`xAe'MyyUQJ>Jlf)7 Nq}46V[?P|i  JO-!*>E5g)è~O7܈*WJBf5D(wORqg8/v!/%' %Ya*j,59䋔7f-i;.AFy5OI9y\W#:~:h1ވ%0G@M.rUv8k3 ߯EŶM(1\ZcO/[ DQG{UyܿVn}BH)µk#u2".#s){ihгcB@n.+:Pw @!=d/oNJ;`i MmQRg!aE>hI! E6#ayĆjjV.Ra#G2pyCWdG: 9&];iB[p*.>!Pq`8kUp^#?4ڼ[+[|qJ`:Zh@3+C'Gsm'ql ʯ8}*uxOK ZZX!`YbS^mUeOz['; c`GdgfG@ޞ$0|ʸsS.oLm#:3Q짉YBE'|.yc%㰔̹CPJڌ.tx,Mޘf _ubn #xAYopiVu-mϘG&3yn' .+"ŴᘡQqd"DH|32 mh"äWu MCOpD\wgPڶwUlWۼ st%e瓏У^ a}?'ko a}񶺂LTwHl* [Z'!әn 6%L]H5H| RM` Xh3˽$(o7L"Y5cY'"@E㡨J_s{YY GAt^"<՗HYdh-rSSҁq%%Ĺ@unalaR q]L(CŀsrmE]'<!qCw){=cEzLUgl~WY3cyZ%~ n!DˤIH( dž8|M@i-MK^ma{tk+ۄPذ$BI6@ K҉us?u] w1ֵF˟mgyq O&*;F_Cnoz ۈOFRSXsm3/ΔLk|G#1`3M6E'҄w~d-|xw%`Fgp/6-,&G"=0Ӳ== ˼H9ݦH;wS3=ḄJ{Gk90lF(Ib(O AGLWz pvYi1ap 7).ሴ(?k4-`CКu#V9gQ!BF&/U*S<;6 `ԛh^){zrIj)S.B~n-li@߀|ÂvwDs u$Yj9&U^1WYЃ8[La 4hTLA2ywUd44H26*X b/As!K-o:%r'YJ,h+Ӳ3 ^sPcYth1VFB  vvuV ?y1;ɫXsɘ>LD 51HBkF,'7։0u^u!7s/v`x7֕v L]J ^WT 7یI{֤7w^DxW{/FHۘ*Y!(Pvl LGmv MYաuKfW1wCVUmak.l@a9OjցxmU ;SĈ8]"qZ܃^clLcL?/2! ! G0M6v-HN[I ;.@Li ̏;ħ):N?h ^߽t W[dGzrd8c &<` i5I# THOL-Nitpick_ExamplesHOL-Nitpick_Examples.Mono_NitsPIDE/markup7zXZִF! 1 ] !M젗OFK?av̛]Ew\h~+5V7]iUhsA F S*ev&*k( %؆ sJcOr4ގ/Da{5}<2Gd&KJY˼aAk/wOaTh>cpyYqpax]7J'X'pS GD6[iD J{#{𣻩tMT*4[ϞTh$HH; *gN$fULi}7; 2(*ta5sJw[^ry2xֶ7-ɛc y}i"sT(ysk= q ^wfS[3br?aXqGZb'W~!&:}\ti⟅vq7^kS")4 ,00LL^춇pAngeԯ'P:8ksƃ% N5j"Qzui`ڜhǍ ]jv_#Jߺq.'Si0VK=uC4hF#mIO? r6=?Ǟ :~^@vECO6wf3Z ̩#>Fs"jk! GSTeQx_nMk$OL֠l ԨGrP *a&psc<*yU5ܴETo *qα37ZxnS~zj?(ЛB/,ykh6S'M@4oLz5򎻒nFͨv'aY9qlTГ ywNG2r?eMò8Yoݓ.3M5- H;w4=vЯ]C҆YrH@> 8!Ϲ#l"̇[6%4Jtq +jRf?e52Ħ חȀP-@"w 6\F"KpQ@D$B(SS glŧE=}fW;Wu p߄Z=_[/u]JB_tCGa8N%˯={31M~*ɍ0`|R١ÀYX;^-7Մe>:eeWa53ouWA0^f "\t 5" 3:Bt_J.IryPw^)^}5JmH\"ͩl_]1C ytQ-C uu Ѽ$Έ[G# |$Hjarf#2gk_3r}>o {Ȼ,̽a}|yq)3죻Ȳ̀0W.?ިL!cy&}>.[v"L|fr9\됢K4yB29)oo/־]ukGp4 Lz"Eߝ37xf XR}n,QK-yVaAJ<lgO`tҵ57 Ah6zy~/2 sbqZFe*p`gGȋSwa;vwvZE*7i[\?Icȝ޻C۝ >s}YB3Ќ6C mst-+S "D"BxČ9o ڙ)k 1&(+c5 wDV-レ( \.6OJ &kM֓P94nxxj JذxБRLFSi-܎R pڇ[%W;n-%Kc,:fZa@ A*9 F@[b18bE&!0gٯkC&R"ky[h&<?9٣N X"Ž]RSx9;rTbT:@VXxMA#Zeɤ/4p-}wz #ˈv82/2N H/ k1/cv%Ֆ{BޖE# %8-eC0 6vٯ\uǻԋ8/ ܏;aYJ#5>2 zg3>02̇v xaۚL},L3b̈́33V+LiZ&L|MVb cpm:A>gTr8'fH|sEǴܒίZ"f R@5>_D( -A n>6&'uJXuf fcB!5Vȅ6`g|<#}%_'{pؼ`H-y !إФ 4}%u_2]4ZiDȖUTCayYj/UlCAԺo@X)p ʹ6Vddiۆ?nF 1!%<bO1qT=JnS٣9ė:͗+"؟T"~ ($ -GkSC\R| `@rDH˾JmmGchc :>)ʡ}¹5fa$I=Bj vHb0Έn\iE',/Dqv&7G6 }RKjrK-(Z`A*MD]??B@IUӅ+ ӹ}604# $8rf__𰼒Z>[uaK{S6%) "hμZ_qdEhhi=4fvY}బ pZS:CL:tx9Z4^iثITCGbdtkUN].3o"ݧ=P4f RU pljںz:v40Phx߱}R䝲 G8"[4ohYXh_pyp~&v;bZA^HB&VwG {3jSjn{=VcdfCm:L' $;VJfic4k-I\偾S-Z2q=.~}T :t!tC~;@#fm6iif>A$+5Rhf^c m:S=7~Q? $Q;%|V,j}@lB |Gz<7YRK{Twpʮ%ӾJ(>e ٔb`qjјVt W{8'Du [ݗYn23/6<"DyfVa(kd; -i]E?B-6Ȣ/ e=@> TDi mﶃș4+@JN|EyUaƟc:1ë 9gQ=ѽ[XT(9n2-qQ$Wj%]4L7'Q&cHrq&~(*N@*8m&s2%DVQ겄Z(i$~t􉈠s}bC,s vI5dV0K)HL$tp"~=Zf-#sML YR< 8 ި`A=7;~qd:<Y|14ٟ?OY&+" ޓfKO'F\y9^V:,q Nv}5럌[Uv1i1̯I>l JhO^aL5WYBwARɆza(@9(mK! =EpgYZ b5O? $HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Special_Nitsdocument/Special_Nits.tex7zXZִF! :]A-MՋhvG"uIBm5ȧ|ͣK)68"1,)`U3 S3)@Ԯ^& 2fl ȉE͊[ 2'd3CC٘/XEYTG~uj|cxd.ZTm::G74tZ2PnalF_eWhZðא5kZ^54$[э<8ko rhYsKa wޘ_M:y*+ ,eK^p H!􁷩L3dbu9h4%w'9g>}FfʟxVsAQ[+7lO;($;upnPE ZH9-NJFsQ@e0g#aPpFo>UҘ ?f[)喾VZl4 Gdn2M!nLbaN Rd| >w嵶k> xnsM7V\zQgv8xA;sfRҾ>&78νU*[摋2*`mܰIj4&B9Ě9N8qվvmy틔H P 1Q*1v*t\Ljjyc>.8Q }jB2Nl"eԲv[&rmyόL0T8A Ꮹr10w@5mӝ\C؞Y/i Y;o]|PN;ݦLN+DpC=8%BOaĬ&]B5ՠ,\JqPDxN`o'%q͜dB}&{zi5qCƓ?y}tL֦֩Bc©dg {{/w|f<&wcL'TeF<^D!`oz3XX]{_W24UX}wX6 or,^%aG׈&U(F? + _-ˋcNAL:`XF QC2MeZ8 /tLnIcvy-_C@h":h_z&VG e NoK穢Ɓ;]rH>(2?w;fmYY+ jc;-uKȳܲҰcJT [֞Ƭm#Iv\n=*4[OFpsldHN?[ds"A - KS)* )3J2%\Q?Â}п;]15!,uɄ24Q NxOjBڼflƯ=Cu-gvG<`r_Xג#Ki{Nܫnb)ʸ×;ܼ#TIkz]ɜA`_5*\],ل<ƛ(?vg/ ?\6dPōz`k)^0Z7ͿH%".|dI4;=?D΀up (>9}qF1``e JaѮ"wJ^ l]uA0$Nrd%ZHnt]f|[ҠJV3jJTw] e=Z1` Օ3T1ocuqoeür+#@Ev kgYZ e5EG ,HOL-Nitpick_ExamplesHOL-Library.Quotient_Productdocument/Quotient_Product.tex7zXZִF! t]A-MՋhvG"uIBm5ޙAvcia&zs(;^ⵝܺHbוouARB8Tb2{>]v둗:!0ٗJ;HOMzOO[綟J~X,п썞5$J_XĊgJ"8mo7}>vB|n7`Z>%+\Nϩ6&Ll]]6ZDI@2dթ/b|ߣ ==u0鞲psQA(?}1FjTضZ>LܵϤV +MTC4d_aYe.McLrꃒ_Oy~o| &`ynb_ZWSɈ]ƲK=x7ŝ#5_ռ 0̢8͌C &nө0qF b}:Q)uaj?OBr_\wM!vTJu'*=Zf1:f ;(*us57D[ItIzVYPkW}ی9J hB2G 6|g8CsNsQ8yv97aR0Jᙂkh;P؀b's5mW%*ԟ44F@y1W[zJ skviM)hMD~7жev0!9y^>!8RbVXrIC(rMH-BMr Qyn`k U/= "uҀQNӊԒs_TP>ϝk)?Sg:(r"ٚ~ma!R+&=EPoq0yop)hbyR[2K6aawyLtJ a}J7a}e}wW Z"J;GpEJ^%&sSP6%:l1ʥ"c EldE8Vi%"6v( }yVBp| '}[-~ z)&T#"(^}Wəw`4)U*3V`0ailm H`|%9dpKA\֣'[2tYӈSJ‚%Z1}fu'"xqgt3H\rLT TNx80`'!F `Q#2'gwx kKԱ*[-<)$b¶* j VmS#QIZa.\k/f>Qj!ijNl*n NmaմmN2B@ 㒥\ݬ{KBCjT3m;5![(7#EMԦcG(7 8 f=͵g},U%)~RJOh֦H2vÊ n{ԯ6jΎ6|hӱ,H?(soȡrpcp3ϩtM!+eM8NO'o@uL㭩uкt&ߓfS9EU ] =ṟǧV1mBRx6mH9q;5\=ujڭ`_1%6k|y,&f##vaz[efFy נ垐IE@>xϋbzjXVZ&`Eltjmsw5* 2v _f ,nRpc*=3d"ԝ>(hK@M@}#iɢ{95we+E|D1TFX0q rPȆt4GSe0zKsEk+)3[g㐉Ҧ5ˈLK4f6zgϴhF%zSsZ}f 8Hq&yRR.V75ZnbQZ$`}L@dBxP}dW2NEE.uRLR=19UA+U5w J}ڃ٥Kxppw_?QzR~F-E$]/ !ω^dЖW''+{n˂JU,9i+_˝{vRZh7׀D$|aabCڙCԫYobEhU:F&VŴ9{++{Zx \YqSߘ^$ڵ̐Gi]T_dXYRE:,- QMgݣ['ZX/Fx ҆حf=pQ|qK&qU ٩+,A$n͐h]$WہE/,-8r{כO6pg%cب~woJrZE&eϻFqq Dse><''! ޻4x桻`ytkܡqbv*0Fa ?nϑg= !*F?ٽb|<-[S&-e;ך̼rSι9%c1t|$6-|5re E@dUJU/4a]0'n̎C=%|&|ȃ+Loowu&guEi팴b7&D P24U BMZx]bOaļjUgYZ L 5M= |HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Induct_Nitsdocument/Induct_Nits.tex7zXZִF! f]A-MՋhvG"uIBm5ɭS:B{dz6Bs+fѤuTB&.%X^neWWM\R!KyFi\ }UҀf@&0Ϣ! D;x58FXjẝIXP*/[Atc=& s _'BZTA+qtULl[fwIyh27DʔI0ZqKCgퟯ[`-|!c/L]TP=ZhẰKY% B2 nC(@(+mSíTQH4yYuDi=Fc.G 3H<N6irhq+HygK]1a:;6ѫ/[S-22t-덆sϚrܺxɫCOJQ2!`M$̖]˯3?Bc%&C. bc͵eb0)Lj^^i9u,40yT(ɏ O0! K>Mjyd({fLرFXKY|7KpF߆ Z^؁גIHwMobppWxRC8rJ#b <bM" Wͬu EZ 4p]!|``ɫS Q"*Hۗ ͰG@MzY=CUZqU٫*Gr>\`yjU2d5"/7mˌ1.Wk{hs4[t2|ҧx; )$O-j(㓿u?fM!̍m>g`,i\K<V2_7U5w=L]@ ꒉ.9fRd"h-}倁90HWh k#5av QN^|k@aU7sW Sd?{Hft q !,*aWò~lICci\ǘ>cdQK6 ("޹o Epmd(۞])?hY8!a-'颒g# E zG"I}x6zܷPIZC> }0Vv2)\m]0^3N<0쏻@InRV:q뛷둵Nҭ}u+,v..+ A{*&z'A!T_0K :0"Ma{3VzX 琪Me6@:Bs RCc_9 _&|x#?0 "MbMzuB:r,rAlT⃧#6El1{!UN݇T %tKR>C`&}[⹭blfc,iiHP(H=Qd}bζOXB*$z拧x9+'- I%ާc;tx^UK1Fʚ(^Ճ#>^,-{&hIZjS3sl7򒖜*ɣ2*gщU!{O /:rfT 6gYZ  K[ 5QA HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Datatype_Nitsdocument/Datatype_Nits.tex7zXZִF! F]A-MՋhvG"uIBm5dΏ[9Cj>HYB(`^Jd%N;OZtS6A:BL9bԉ=$MsSK4+._"pFFs#w+T@ o?=L4@N Υo.`>yeRFIpjѻr @]~16Fwn/Է]bІ6 ַZu(fIrÛ 1Ev$fC`O}'[aE̘m1i>EH2yP95\b\TA[_s$dIz=\㛘7q1d`q(B1p4o1\&՞14wAI5M*]-PAmw:3MB4 k \^וCl;T%-cgn;TzZ@&Bx*#ѽ0 # d  mO>92=jZ4 -=6gs,dJV؉ZȀY #Tkٯ X3hCaRx*9O('pZ߆^դ/s]-iw~qray#OԕZ .EQQ\EPI/G9t_X^wS2 5K; LHOL-Nitpick_ExamplesHOL-Nitpick_Examples.Hotel_Nitsdocument/Hotel_Nits.tex7zXZִF! *]A-MՋhvG"uIBm5 9NkQa[פs3^X)-'֑( So`X'_g^YAl;OK@AE5r1Ս-jtdWyAt i];ViىPn `wQhj3^n3[Z1 jgS zISe$M#L~/8^V$ Rmo^kͮq V*CMklZ ;(zZ-uBesAXcQli)"%=voYمDהPzirI' ƮFY$t2N!8rӱaՀ陾(Fw8'գ=VWC}Ҝ䑳}b_ rJ2RCP3eYX?![/x<"ج[Ǜŋ  P299JUZU\^5_pǢB 㒿 /w)+jusqs< 9aBN6oߔ ĄP'ȻၸL9UsY CQ@2m~~̓o!_B@3)2z0/Yj Sl@gk+RkmG'ވȥX/x \MjV~Eelלknad͏h(^?$o6D5oJL02b14z Wʙ%AM1C,Jq'hNca-ۿ!(=QpIYh}Puewm0:J>Ox޼6J5w}C]nYiB~y/8%ϕ$T,}+?KG'䁱7$1Rn/۩;?vwK5墨?ez6"V`˼D_ ÐmD7^Dg6]"͐)QRHA0dR>%kokK$v*2,v}VL%뗆GUmxѤ_s.dVZ)R/W|4\e jȵ3sikn*#2rf+s#PN2T'b2Fzb$i7_Z#ČՓ>o_?jq5ɖ|n7kvY^ &l>L:S *q7~+sizd3.BaĿԍúqrRJtlݹeJ.ށiåWIrw;6%2(@(M65!m4FrjbFyBqݡf @i_gg$s3GKԚrH`G:3 UOӤSgYZT~BSv<#^4p*7J+"D|QsR9lX'ڻE*lK+3Mǽw %!Rb"Ý/Q;/_ |s~ɽX)⚂-0E0;FLߛ OJ6GC)j~CWTiM_F pp>WˎlMl0'aCO VɄ??y'@ z)oc0΁qyB'q@"귩4V xE-UI3tMx6sͷ]Ch@N9qQ;y|$A3KqF֛31'`Bqz9W"X|n6C:w9-O!i_FkuD+\(ŚYOĒczM8#`zͅh4kRrs)cQ~h"5V 9^F}@j,BÃr[90D2<[:$G˖| cN *Aѥ?ijz!Z\S/q3>\`+L%%6Dy6,S@n 6Ƨ8lRzI<}[L 9A8K}.+X;cNui!5%s>.F{zkP Q@c5l0I4&fsAdg?ߕb# P_bLH29qrw1s.w >:| M=@Rg0~h&2T7KR>3gmd_#EMjϣLe8sy# %C+WIm/MOSzqqq84RP%AH5N$  KꎐÁ ?6mK(MA]-B':PBBJ刉 `2GOMY F7OyT4vڪm4_ *5"1k}}&Z|(綾h^Q3" _Ү/ߑOH 옘(rcqHbCۥӼ\p\>1, 2anԕK)cR9L" J kN b-tv砣֨B`c9aH DzπEI3\/s+hE Z9C:]>ǝvXonL`8=*cm t_N`lY݋ܼ hq {G4Y'e1jlO:B Pnc)pu\ |q٢pZr0#i]+aKD!Uj.ܨمJTDH&oQ뭘?6 X{(h,5dðGL  x2=|xj0AU<9IGS#ng%Er<qرTa aA7m/ ¡azN?:֚y/!‡L&d fMϮڱF ËϱZx Ѯ:鋴/k F|@ NV91{_(*s9s_Ş80Ze|_SmP2Ҟ8ӈڇgDuW0)gayV&ڦV`%-}pr?xgNJPfGƄQtrEMY/⯃5vRC~uzAD0b&i5^UM+);q/ ?e0N{u ^lxtS̠pN\'^NNGAr9i׈i|h݋g{ym_INCzm= A]K1' JiZvC%պL  U2y>=ɘ,uI;\19'ūz#NJmR B`1_ Qw]%n- j79-~:_?=;.ww\^˺7toSˎa>jZ^k xWhCfs-;HqgyEcZ))bio±Ֆȑ} "Uwm\e}_. r2ѲRHPQ嵁A@?pЎ%Ȫ?MzL -[MTIJQ7Al}˜~MQWus% JT>&r }[b<\yKvd?[l=:P b#V'[:¥8&T'x_\'fs*519|z/9:"\(9IW]7 s)N 9ȃvVQ#ѝTA6Z2z+5=S |E̜P4xӟxՀ-ø6CiB̿c3]50Lz >G P 2n"|CwzhRvaK嵅11@b"ֆbe LWGX|,K}gcdϾhaH[xΈȥB0IE5)&, isfpb뤇<֊b NYq?ICzJVojAw=Yeupruvmvft82;ϫKTPn $Aq\2&8<ETI!VK +]Ժ(h>WZ-dħYCW?y~v  к(&ߴjzRz FD8xydmu amd9$dZY]谈|W7@֤Y8;.a~P)!6،?dݣ Lq+ʅ슛gKvCMH i_}CYzJ%+u( >&aTz =q}+RI(O!rJTCĆ.,TQߥ~h|}~B.e#1i r٠"eGEU G}D+.ffsE)!6{x˜\iOWm^:#:o|!ZWpݚ3qV7&$hsVo&|2 3e5cFDO$蘡s:N`꫌,ab0Je:otIm,CtYM7,Ѐ ݁TE WK9Q>;8$.nۄzW?(P1l]y'*~l5:3Y0ed :Hw7#K<~WMR52!?E_Dde"KB,#K|t{9X] uinm:34AN:gtnQ[ Q "u>4ykvmw`e8uC1eQJE!8 킱?Vkj;=&#`]DŽ@6'T1CFQEfW,= Д2?jOyAfX~%$+ Ś*JCP3ܻV4;i=>PINS  ݣaTg\Vc95T5Me6l3@ q;# ~~:[ `(3,0|YJ"Fچ>trS8}Zx y`WjK4!HFMp.Α͟O=1@"Y Slk Fx K Dpm=*Ft>g-[6Pi.tʉ,|m+I\q*1wH`CݰZHe EPgIm%1-$+m/C Miܐ#)Whmu ǫ x4{0-ȣZw-<[;ۡ́kjx{0^cmN 1 }de(?"Ю 2%Wee~j4i=vbs4m+` 8oR^+֜KwEq'X ꯙЍg}o{] DZ/ ~M ߑNx]xiɊ ¸Q0e .>LieV[nR㞗4T!z 2>@kK#;~'bp꾆i6c?$_;J\% )+ O=YGMbV*>&3r 6?Οla@^,B9*LdžEij$BeV|[m$!}EؿlvSb7TbV,"Gz^?~Asndu-nrAキ/pfJ۷2ܻٓ)lzR/zfֆ!Do nYl/_K;.{,+vj#"d?$<1m_ MNu&Z?*!־#+,1j$!# Ӯ :Tq7_](PEe)C2grM%x6|&':>=6=bԨ 2U>*yn͌ ^JW;5h9sL z|zCyf*rHqJq!V+v6')kQ/&R.2W7X}xD4CGs(xQ^Yd7_ dJR03ϊ=U{ ~  P|@0/u*ӚEeL?:saf׬):kG̴~'| ;޾kE"SuJOF6qy{heA]*ngafmC7Z([X)k<йֽrHi;elpɺF5VCX\} Cv{6M3xhgH<!";y]o\b]'  *K(RɊ[]$r_Keo>ݗP'Mx~iGyZo߬~^}f D-BK6DAa?7g:)/`LH 5Xuqݍɖa\c T9Gt-~ &,dl#TViUe 7N`hɂsTz#w;P3?:!`2B=lN!C=S,^ 8~IPXpCbN/2`ɥbW5ʷ,?41<ӭRQהҹ['{׊hbE*P…A^#2Ta*3E6*>):rF}f%бv뫵U#_;CRkWVƻ(]҂3v-_K0I0Z,S?stJƄEqSǸ~lf~eq[b,,i2B+,;ѫqLARB.}0ޱ#o꣱jUdWL$M˲AUjP*G[4S1Ѭm15#c rAoC!\)9=ml: Bu)|Ida#ů[p8"S:ͷRGx!\2Ӣ9ы@L0g.RGݨJFߑh/*A}P(Uj}ъ8naS\a]{[UtzvS|f&?i*X};.m(L 2>$g/қȱe#` ѣ3=u󌦖n`cd [wv}a&O)isʢ^yibk.J `/,gpxpұDm)z K w`($L}3ddpb̊/"Cf@`4*X:x7LmX\z />s,+^C[sɷrRȴY14~yw rr̂QS o4?1!zJ7 2I)6 _:0/ι~PԬwU9A[յ 0gPb^ |j5ӈk[V:NSV|k3} gA X/zh@ zSl3B^'cjoa!]=%7Ws+~, JqrfwUQQlO) 'h4[9P.ԀMjW.%Ad㽤FJi:+ä4BրT{a3%(ABi %yMyVX䊹HAG-]e(_:Ex?,j? :@NgYZ u u 5K; |HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Tests_Nitsdocument/Tests_Nits.tex7zXZִF! o]A-MՋhvG"uIBm5kp(z[%{TT|Ź( d;6jLFڏ*LIKC7T ڙ'QYH;LJdgq*UnOZ Ji ~ -%yA]kW`k8Οږ^pJ%X/vE8IUR^@TƳ w]vtX.r"!IeU`w+т'v|J!8C}9@||o}bJ"'!I>"a%QӜQ3+2?֋䜮*Ƃ;Z_Ռ+AvRh/Va3inH]uSS`dam.|NQn%QvԡBdA\4ƑE VͰ_*Ύ~Ϊ*gk5"F_Y\h'fz3Ugҩ{=CTlK W{mqkAl֘ 3["gYZ5CE $HOL-Nitpick_ExamplesHOL-Library.Quotient_Syntaxdocument/Quotient_Syntax.tex7zXZִF!  ]A-MՋhvG"uIBm5ޙAvcia&zs(;^ⵝ7ID@PzuCVz݅uuqr:XH5cֲݱb9l-?Sz4 P¨)M5Rdk) a:tU< ?4"S?`NaKkTԗk3W82i(\QQ6/{ϮKFVt'D?%7*Qzگ'Pgv@'bs>CHX[.td4!& _le#\ke_;]Tv]}$eɋ̲1crIrVgYZ85M= THOL-Nitpick_ExamplesHOL-Nitpick_Examples.Record_Nitsdocument/Record_Nits.tex7zXZִF! G;Rڕ{]e4[,^s`^1&B~ ӱWe a۝=Nm9JcP({O8:`Pr㈈+ơp:P2"`K(ZJޚpDJJRwks,dʎ1GvE7bdsEP6+ f-r[%nVNM d3 8[&XA׿gm 3 U lWMDV_IU(eGؘ.`x+Ĥ+4aPҚbCֱ5n;ɲ@X%MZ VM,e\r)n*s?F ~+h׺7sˑ;%&h7p7m\D%Q"׷9=ăjuފI7>/`jrLp@ʋ_d!ol'C)GrP"-Qi%qKMa M\9`4|23.$'nNTK!Bˉp-z-(8 &=+ıjK,@4 o͢zܿ8Eq4t CB趂:c[BvX18m@`K~Eм,ȥ P/@Y/4jJ;FOW霗h$5\4;h{QNPe׫or<0m5')c0QGv8r?D6o|/KZEB'OI g' C\ڱ$}82$< Mmb0;[WrXxnY "إ,mK.><{yBUy W,_K!Wuk/*]U9A:x~HN~nW0 x>RӱgYZ5WG HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Nitpick_Examplesdocument/Nitpick_Examples.tex7zXZִF! ~]A-MՋhvG"uIBm5ĵ GKi.L[Ϣ(T/O xCБTjyd%0PהC!%u~6Y?*Ժ0aU>)LAO>/Rv⶟Q<8M1:㼽`P4QZx;ӃO@7n3ח~-\N Ē]^p 3B6O!s<'位?KXe#p{B$C)l2s ,= r|ս\ Ugū_ Tm[H=pAg5yWh C90흷$8D)RHjB@73rk\ڴ7WZ   gYZ1BԐFp ljЇhˋGƣi0~ 9Hi _ғI5i[d{ (N0 P|>Dq|1)ٿ*> ZA&Wn PЧ9A>KOH^>jP}P"H)pFy@tCwd_%40ԟX3ɝ'PVr+Xto$y@+8L<^-K>H;M!8ݧ,vMk>GmՆKE(sW8(JƷޟ(.?F@@QCEj ,ӯ ^5ۖmS=k ډgm$>gY3Bj:x1z\y|Q{|ä̾vk5X :]!F{O:2Z-JFYƩ7O8k!V30|أغ{>m@;cU (^,M juǸ5yTՕ"[G*vU"t !z*ٸHY/2$A{OGZy7KQ {.OӨHeNw)`[;BkKA+ז1z`1b5{hZ›%-0WgП9+x;z:_́-\p=%G4",^>W^ *JǴ޽J凗Ib@O!ìawr΢]2R>HO"t`x ڕEt\`n~f1(/ݏsI&]=C VcR{˿G|*Q}=,wdn_D >N:mjp"*Ӳ}LhFLFԥ SLbon-H 9x(^W_Jqhwvf>jB)KA<iV.IDz%ǤOL܄_Ģcf?ܫ A#%/ѧMiצC xFNg`~gǸ:^B)v}W{fUL p\$ . RN篗f[U r|_b31Q>v b1?*`(6*gڅ#ipHV@E6s ܹS pY]Av?.O.vقW#q˯8< V}e11-7bcj;<8=R n#&O=.(F;tLڅII 4JJXKDqDU+$_FS[q'Rwoa¹S]8kDw"E%r;r?+W؟u~TU!k uֿ=MaEjbW}ԧ˃៪WvK^W7$ϐAeSg|9E^ē1qǘ\j=ÖXnNYj5=_Z^Xn6mRgJe?m}#X<ɠq{3ڬ )xPvUZvùsb.Lt^*X=#NxQ(v^wWs/=zJ*u"4`d?8L/,bSOB6y:ఏ,E$m>@D4_yE&W3Ə5!Gh|Gϰzle*ͬ b 8B5G:\(f-R]Y3wA;p1kne6̚] >Ez$) Z_ X_n[o%# m}BD7:zU퀰,D mEFd?ZϖmĘ?z0 *o~s{cҧqPs;-i+o21>;Gӫdօ;_4*&rF"՘\7,ꁝ 7Wt l٭Cӈy.Č9 "f3Cb+3MݿnOuӤPj NT]2 N=ؿّ)+-i륙U-)n1!!jً5tʏh+dGEh4̸]{DM@TT OP4Wnǚ3R_O2D:UؕEN/*ng|3%FK-J6 i6ag mӈbjfrzJ7nxsCf4H@H'V9fZ3ÞnJm}D0.Ju܉n[@EZb1?0.ܐVDJ Lφ8h_lX?"ԁ8AEViۛW2_N"x'kQ$^@mt[,:e`h"r&Z=j#~4~N@].qOߑH,)ؖLBDToIF[^}P䝻ZF)pʱݿr0XY=n~$ެ/Qݘi+.?Cn 蝜io/4SͨX\Ja[< 8 )}mAKO] XΙQ㗰)t/ar@9KJR;e p,ӐmC``ŰPZUp9xQ+SF3=9"Y:edpxAso<һ!]p`xIdu0XA cH3|> 6ARKZ =RyΟ5ku>}$=_UU"\k4 ?FQȹpi`^`cʰڟq"YLsV)ytkqZIBCi3f싷YVGΖg&~!R0dGWnOzv5/ uCfIX|.nP[zA_|S )^]5 [O(E^ѷY>c;\>Kz Y˫qMDأbe*|6%W1{/"bBV; 0׹PgC_ $:(POe@VidžK VZf^r!}W(e & YN"c:N;8_y(7!~*p/89R&8AJnj>C])m:g#԰~3!.+ _7Fֱi s]l)Ay,P49$F}: r5"ڐѳ 8e=82'?k|vy&s"QL(PVͰbEa*e?JT@& ;`ڔߕI0Ti gǍ64CA9 OIf"IK`tR joǵC[Do>)! ptv`jpީDdd٪kc&iN9* @E.+gRy,ir~5ƶARdlcXrMGb‚eՠnRV~Ci.qds{k4vF]t;/bReg̺8 rêg@ O&v {`mDXZlKaڇ)Ji@p&&|rC!@ݏd|?V#PL43tP*k/`B9M(xjtOڨ[+nsw.%BF!( $%-Yma3^[j_ZWAQ5{ =he܅,U϶&EzWl $pdI~L KmMqiFQVۚͳFi^A$>_rELa;1h*VY VO(Gspv)4d"*Nդ|R]<VP=jK񇓃KIr+z츖G\U_aR P3xa{~XQo2\}]fwжܴpꂔz1#M%9B}D]ʱʺDDKc7?M:CwϿV200o{rtfEȆA>N .\ȜkIN.@ os[āM J̛SJS5C#8F X|$`?\Oqϒ|r# χkѦVy! ImWNtZg ![}qkltt,!~Z*S ǂPvM/cW#ďܧWC t8|ұT}Clƌ~>R%!(F%NwgwXY}Qpo @PJ>b#وu\Z0m=(nNTH|@#cX6(?Ր+NOV:5[jK궭&"p#brcۑ@o`x) ƙ]^J2a2L1ĈP= #?[T'**XuwRƒ_Lhs0+ ⇎[uL<14ţSG @C ~ʌ hRO!OK49V=e{(YefG=J? p̺1,K)iFz 'ڥ뎢e9{xV},[/P/ |U&vÌ,9 W֕s|I@G&G Oq*H'a{XZ]n*+9FtpP'ɡH8o p"ui^["˝/⒙\C,=k A0?O YWdbAV6 M-p÷\w%gW'bkd,a>Y!&5 b5cP[բ,!70 rŷju9TzId'&,O;LJ̿t)d 'ڍ]wj!>G0>E ?4J_fX@3>5 xwkI}J#m䒘wF˻/1Ufb!xĎrT΅rROTmˁvWm&cޑw{FG ڙvsd7֨6[K=G`aRU',H s.Ds[} [Y8<@R`4u-`m4G9~ʧ9 TռMN<)u筃ۥp;pTzvT ޡgYZ q 5M= DHOL-Nitpick_ExamplesHOL-Nitpick_Examples.Refute_Nitsdocument/Refute_Nits.tex7zXZִF! 2*Y]A-MՋhvG"uIBm5踼WSj!3t+aX J6>? tv` bO_HX8P B[a .FsM),Cwќؙ\hm !kS\?{Lôew4q/ST6(/P0%" M{ (iUz*{{1A>XqP$!˅OT`T7j}zz @VN,{"p!$=#KơlJw昲58oD.lXp5 `<>Mpjݬc%PuX~mulEsMt 0h|dtOO՟ұMbJoB&rnCyWɮ^iJlNJ\T5۷-|?th}5KX@x-t8M ~̲57[Q=-^\ohIsp&l,TiTGK)U^ޟ(.\ҽ8)Fp'jmMYvOSЇz~I HVGZ9: zU$DMJU@ =׵h5x -4;~lcY㝳>)8A_c#:Џ?|Ǔ~mwG/JUKu "A0 V|}y?v`*2W7]3 Z/O99-Iq xGp l8xWAKȂ%ց4ߕ\,gyԈG/m`Rٲ1n?z`m&~iuN"J AV7;?E>+ZK϶) >M>ߜ$7kXK(S澡x|h3 Q1=6QAsY9{׼e?xκxcİSY!_MRjʟ{c|˔r-nQWE,, fGn:jo\L@>wΆ3rNCjNx='P=KUp<$ ʝԪ`5~Pa, 0nlUI&ۖ߅,KmFV]4-  T'Ku@Tv%LMb'׈F۞nXsdDkqg {>5=vL Ӌ3Z|8Q#6O>Z ;QfP0!̙hNL¯Ry==yɱ2kҊ˫ ź Lr<$(l:5Ǟ|q^DoPM8KG+ᡱЭ7kRNMe9U9ۗIqpDHNFC#e~N&$Bc mIzXtioI<𽼁U+"ݩ ;lSd-%9&x6f#-VqW\6 |dd0Y>C4ЙxJI ;P!KJ q=zط@ ~͑Y "<߳Kن.sbπEH^3%$0FP}!11.P 2Oo8SM7ʻ\Juy% [oD7j'@g9]TҺtF>H8Eb',B`f߰ժyǓWTL. ute2Bi fZJ eA<RlT LosB56ƨS ܇.6œe%(4x,}fҵ6HnO™ޫ_  r9 [{J݌ u( ID$ʃ_R~Cl ZM!D4p DEjVI5VblGCCA-0Մ }5>lY4l] %L7Gl_0g HЈu*% D}u(d>w ]9 H>%׳)?:ͻ9[4UKhZ`+X:NKMR h"~/Eˏjqi\ ?U~Z42=SJ哔HUcpqdp' q5"t:/#$R]h~bAėF 6WH>"`xid!PdQ5"cz:3!b.-c0Up9:VzKnɱQ@Rr* {̢wwn6~r)Bt2[+'a-Mp|zM ኍrL{lyLpJ+e&U!~s|zM9;v'Fy8kk!'lW[fr Wa,nh$hr+S KLlÄ>2Vg;8N>#@ @&$5)$?'37ےVv; E jܟFQZ^"")."3]/Mj~5Tsܯrn߁1}7obͨ t%!K(&AMyv]vĹv ?]]}DԩWUi۳I`0K^j04BRB(VvB36Nqvfssv x$%J;3;OB(d;^0oir4؂Zئ"y~L{AHmÇ 2$Ф+XRy.t#6q[L F5}—B_~Yc2 JgK!KZWzʪim*U%^}Fg^LgH! J)phO^jY^Wa$dǣoұw&]+WAiĭu~700cd]ezf`9`<u [ ԒeRX{f52m C9e<(;y2h=TQ@lNG]H[qJ4,8akLo{qE5ԃ hg1ᴖgT',ϠI x=mVzSp>?S?z t%@IP ']@CZ9c#'$X5RY|Gϧڶ ͐\d,d~絶d!X_.[ð| 1bv$+b$2cjgn~<|Ef-w'kڼ8ʄcL$t\$QwNPV&]hw :Qt ji L4?Ӛ* k6G*t!$l|O}pq J3Ҝ|}SD w6¬ vT ~5pʆo Xl[09ؗTpMR'g1_xAsz^^Σ[d1@2tuu{wkElW8vy`ݤi-P"d#l dzK2@`\JL(2h:1߀(ڗ&ho$@{'w@*;3lYU幒nŬ^$Z~J'AÚk/5l3FdgxSX_)m;1cW8PeNjC5dzN}O/~i*67\\l+jRQub=̌Aj:TR ^(bW=<>L*yrPM&x{xQ"tb6AҼt SS&qzḔb(No.֙sA/hn@5AA5nvi*Rt0O/فwyUG]Qj>u؃ o8)e;\Y7XYJk$ij~*K*/$D}c/>l{ dSx uY!hFMGtZh*FKݏa;92y:-Ul$KKEZ]rer[ZmH 1֪ (}6(ܔjt *bҖ,(Qưs7ҧ9r1s7m[wVz؂u(evaZ l)A^rV7`Ne"}Fí-dF--@iUCC rZcC#}vsMTo.C23rHgmZC fHͺȅ?<>W~'Xe/; 7Q 8x"OVV[}5eF[mWJ[:\kէ޽Z/zdA5m9J )էg;hK*[mfބfAQxhVN^!Ni؃oѯlCxe]mVdJ]<$҂!} N(I90XqZatUL>r 13vsaeŹ7j9LA"њ!暼hۦum/jT$N#ANנu +z|( [YGP^f ?cg$XvÔ@紐`Y.7^j{3R4 <39(5NƪMNƓ@DQֆy0gZfg_uz,lJg$3}Ɪ?(; GHŏԨ- Jgkӄ5Rϒ~P}n?>0aI#[bHA7(wXy[u!݀ԅGͲs{wt 5εsgM;Kҭ%ԘzuԁWԦ+h#˩!e ۅ#{6y_H䍲&c+3"ڰQ|z~&ztX1f 9Imt:@Hugq5CPeռK'fkH#uy-+~T ɪ &F4ܞ7;t[+E}rȐ3 +MyQ9%BimrIr;,'лꒋ, c ՞F0яVx붂lt СDim^,$g/k6`uboee1IVSAP. :R:G[[ˋ{/Z# ??l%wnkweM{m6dpsW'96'f|<|Nkq,5X)-bi ZH5y=gv Uڹ鬱 }f!*Gb3kIͲԉ7/a;*ݩvk_)$ 9OfZ+)R_3uGp;aWy z }}9~iuZ%RGW$.q4?Jէf*k< FyAwQl׭Tg._EXLtlc^P$Ydzze2sTUFٙW.$l| -@ b㇒ZQJtۊ%]MΦ.3`hQX- MP(w#PP$x {B{vbv!' ƣCzFOfO¢&qǡ֬ 8msd<*aS~^LF!!pwj#I %om忖EݴsERW&j=E2o /'N݅Dc:=I]c.W`q| xڅGd޺DqnFfjOes69D rd3ѳ{Hm˾@,X*wcdnd*jk:Sx2 ˆ0nJ){D rrtcО]s0+< VLP%O6 }As'C/ YI6c,[ Tt @66@ىcgsna f#@pw E8pBk՜Klʊ,3h)MЗz; fȔA-otz/®|^xcLI95-,ӎaBx7p9*d ?k: I:xZLrYu{q({v >Sl, *'^g4SWL$96<b rg W[w":nl{cU.uhjt Vv_ɶU G,HvkD7of O&r*[HeOA9#Gu PZWWmve4eKvDfJqOY(!as)p -IVWI> IÒR۵-S[Fr 4wY_JB@2bڎN' C%U35\yVM$5cRiy |$/UeD݀m LwBBGҠ(OK AqB*&b4~/gH[59PබJ:P kp^21ZD*=d՘SO'/4YWR cI2᭤Pκ  ~*bf oc,fiџJjMQ_x/ K=t<8 Nif;EXcݼ+3^ٵ6 c3,unO5n>qbR'Z@${ biyn|%&_<"n(۞qH;}/I3d]D^~C`-{Oj∐7WD,;Va?CJ|jWʹJ|pI'&ٷ7qvhޡz`|V틬;Fc!cJjf_ rʛm:*Mp t5#$ XIE2'5ȾFDUHaCP29EF=zyxnp"uOuLpl.vWEt+(dA*Ңt13iπY0+tU:Cq9 4OW*,l,(9PTeGH"_koGjw- \,eәB6.~}dۧVdm*QXJ`PNG3BaUeg#YDd'R I[j a#p88E"9@H0H' \86w5NJV1W6 Y :7'4#ZF"pDwB}g>Qy K֑eOe<)b1Z4*3Z-`<,>1CU#ij5^ILœ;x16 ZJs-UQ]:m3fpjE+>o>OYeJ_n}얭 b c3 3[BR}{klVhˡ>KGUcF+ʞPiCTN,?,)hVc9)Vy;qRc)ZqvlXM zYkըR773ᦤV=əHkXv3L'nܝhNžx&<=eҌzĥD̨U[F"aJ{jBV sKI`4&WR(8Ըs!R`{Ouw'`<_1=2z1R`weg+ҜLjl>nҞ&7GBo >ZԮu%3m:^F',~QiOx_xқ9>FR8'*}/0Uhڏ#DH'22Жa1ꆦsa1pe_wKE0H/{_%ضIxo:n&W8gᠩShqtۛ:-2K,ї˛2+X\әv<,=*#eg-$].݃͌!vhH5Z@`Omμpd>o>gC276WxW_SQ]N[%78yK<|aլ?L34-pPy3[M!NԪ@bpң+ @`yl pX5<'Zh:N37Եs0wz4a L1y%p]a j+gNzy?ŏGEtl0"fwoC7Yhͩ]X֔1 4̤u,V0ڃy) `m0ViK)c*k!AMm#Z@LF9)F-M3 }44[h}WjȮ07y>J b0%7s$YR/{%XEaxetS~9^˽S{acH,ѕԃq5;#"rq3hs~5*Ke0pXk&,T'veXz3\ $HrAY(0X(fGIaRHNc_E%}506UgBw9 A"p85@lw) [Zýi=P> 4x r}dC`2s*Q*=ASw hAoZus0gr(@O+o×]|8G.YP]R|S"X:CEQORF5tu9wP0ju6kY % f/: U 0o#EC4rnC^kU7L۸@ |؅d-3} % *L$߄ݒ 7z|Lng ?n4A`F * +' wg+Ocr~Y4Hǁ7m >{+K v%{Ew6iJkb2-^M@6w;1xт7@ cX{_E+סct={Ц 6J6q^n4zf)' pq έb9 @KUtFr*^$TI]D(*wWa׽FLeWޖMۜS !"WUv'e emƄB ntDlxQW -oyzΞh' xԻlu-Q@n̽M `9yIN #4(]~GIt9_b˪8EW`b'EmDi|M&|)ki5t,z亽B2T̤aat':9̈́@L(ZFb*)9|ܛR ?:7м_!a6|,];xRIYQ .{ȳfLJ"?qocdĤZYjEcugp/v7YiHo߹#YOaZ9sU-q<v4(խD}L?x1dfIo A!6u7B~5BѰ\#K[ZHV taAw󤵋 '$ -3(9[/^L%`2[IDN61,EvDy$ Ȕ0{> >8*@'3]u=UjL̷Mm{WH-:#I#3}VK2V"OZh YT}Na1ƭsc%C&݄3!(;T ?:g V'};FtE,="g_WڵP,Z\$n < U55ԗ bwDqS`̚I^$3nlNDEX(䬵u^r޷UX_ M^oBs7 * |bt1M5^u 7Vy M J*S' &O|di|R =NʼnyY 41=j[ x#Rž=#K@HY>H_h]*2O媕 Lo%yDX8/m$\[rオGc՛'PnI2.5h:٣4 q k|8=Is[5$?ꑐ߂G:*(80͇'&pU /Xq=jssA!Ie '>?c5! Tcii1B,㳦/xGAϘt$2a颰5v5IuR!d^ 0&8Z󠈜a"Me5g< ʟn5\9K?wBWiYQ݈5꥽FE@'{6en֣k_*hg 6O',#| i7"-9 s$  ˉ6k>ݶf,aE9:<:$Z|y)P>E@oXaBqD:ˍbVmPMUҟLcW4 >c"@)bnfT@7EcBXn {hh]g2oCyǶ(}8EJE{\xZ@#e@҈F:9%$EgY#?tnUdIoI^.t,VƖ9|>{%Vvye߼Qv7yI^>n؟%q'ص&dMT3! &XdnX[itlA'@\ wk5e9^XYY20a{ieB>Pv!j=v܈e_SR2J|% Ÿ[yeK{: g%7j)uL=Q]\Su*+]6*>l %X15Td<p&19Z^o5on,[>k褦'nޛHnhY8!'(VҞXE۾G)H(ğgqpZ (c]8#KtB5OžNT4MG򔛉7 l`M!UJㅸ"ؚcC<Ѭ`#CBB=m 6i寵XuX܁1#skz崝̳"0 W&?A*dq|MVId[+Z. 3슚 jHzKt3?PeVq?2Ǽ_Keg(#܉>%¥`7sμy ;R\QQ. l7(tBLΥtCKW,Iݮڈ])/W :`v%06IQ$8l8G6eQ6 2G3t?"`mx! t_т*[ï8d#ҁ5I)]ch׵zXAn(*EOaz-r$vȵW_[HV/i`Jp)In2?@oy{z("`Z!y`DHn?ր+F{f֎@wҫؗ2s.9|eax\KQ&CuJQU,Nx||xSm޳t:: o.?zg0 FКF3\"^~+tܻ4fs*dWy}7Wa8Ĺw2HJ"%*Teb*Y(39k 5JLA yl%01E1n}M~u޽-gY`Nom.iKb$ R!c:TϾ&?]UJ4cgҗ¸q6B͟H%!`[I.L[sof՞Jxy=&¨Vt$bBPP]6o1RNCz/q!Es5 Cނ{8 6r>M /G۞팈%PPYen,"8EPaU91R:=b<ΡmT>qaH o@rJnkؾApDØoVzf5#ގdh`tRdgo5 Uo*gg4{hiL3Z4&<-twäV(g"Se1quX$a+ {&MȬcSo&̴w%z)>Kq8uӡGt%_5w`+> jz]3%-4i;VLtGʷ ?Z>}SDpqEvREΉoql3)QGjXS~[C*(TejA+Q5S>qYO(L uN)c^I聛(c?DkNSș;?m䕰uȧ8NG2+j$ZX猰 2l9M DOnPP!NCwZo"wRcw:"Cm/%cC5\Z![AqvղBQΔM]\$C? ,et!Ǣ(=mqζatpԍ8gJw5eԛD7al'G;2<1,Y4S뽑)R5 cYsz?;K<BWK)YDìK2$;$2MRLKI 5K:1 SOGx7i㖠xbXipaq Q+‰mI ܊ʩB@8bX=mA3 kV[-];,C+9?d; uC|,-zu)A Z r.}PsV(gՁ∂0\p&86|.7f_3!oâu^>P}eD^ZҍVspߟŞTZ&MJđjD PÃ(23a#CPd `gYukMFtN H[4FN57="EUUmO|c3{gEI&$V@}FQAgq{V o y:c' 7|7_%yV  N%MB>g#QSWJ;nGߣRv&39G~D8.3,ݫm { Y$#mF |3JCk-y+]'eۭqO/04`C:݋?9/ ߏۘW)'}Ys]W.Kݽj3mrj/G lC،QT~?.kr8$?fr3uHE7LG ]o֨ u8x Uwl]5:p)5B4M]"iĒ;>Nt%9aeq0 s?ń Rȍ.2pJ AsD]BECY4] ܈JDfuK l;+~E-kcϰ`ZL$OۥLdR}@8y8wS{Sͺ79f*쳛I r)uCнm~چ-ݨtԏ\tZ=)( `poe^o&3nlICgBuIc2ŦsD&MW6p'AA)u|wNg" 8 ;*gޔU/!޷/6B@Nz+#QKH俲c(Ӓݲ6ۤkDL_ uGz:g wwjװP2 f{p=D񺜏Nb5 C7ąr~ yڀ\>W Q7&L?"&1LEDR]䖒LCMkDB957S_ fwG;(G`ڞ&d!W`\<؏@[l ajJ**jO;BvRPɰ;8Slޞ`*MJQ"Z:qePLHsɓqCFMY¨ԛp_2qc(@S:3r\$ hY+b{mda0 USV~X<ʰDkM,G((Dmgp0y~ c~$eXw5 RJiȱ|=p~ZVbC|Nc!G+Jxlx~٤d u {uNVliYYQ:O.yUu*֥dYyAh2U ocKgU{l TQ `REq@$<Cmf!50(itiWM`N5F{I}2z:J#z/[X6bb|}W1aĬ†?VGT|kI(m(_Y#̗RM\5/@d=L!x%KX?Ϻ$qd9aަO]ȣTJT3Wl~wˠ]q#mL hp"P=,J#fLvbxL@>aTr"ei%XY`K+.bLxF! - WsBFډ[#ߠ]囫q( KzWj{,]O): ]@E\Be%_5G Kmpd+rc7I ;Bcd( [ݺA K業|+0&$,MhF:m^2`uC 2KÇ?Mg%hp]4gDIqfOe HjR ?D(nV%:JjGftb.:Z^H^Ÿ`.<*H;fׅ-ƥ_,7qO? rNlI{6Jڋ7-wq;ᶐļ@sئ74ʊ&:sI:w_tpGl!%ꋡ)b[QG٭G fSڏдοUơIJũbHq<lTHv{z;92Ty#ƴ #+Ȇ4p팘Ό=O2yHN!+Y+2YD)G0@ds>yd1@44DY@{+T` ahV;S _}wSh nUX$n(hf&ڰjiL'IQNjKN)۹kw^/a 1N'=ɿ@Ģ:EoGL8aQ`ݸCLwZ1ۛh9TO Z!̶cO5?yKg_9Zjg$XS c8tz9ҷ:פ=$V /D#)dӖ~ێ".{E>̿Pk-"9=u0œNSL _(;'ATXGgZ*$q+/u}Q>penOTӚ wPhp[gYZ ` 5I' 9Fˣ{^BۗB^QMw3Aӷ>J+Z:jC8 9n;Ox)qrB_pŗߟQbՑ87ʊNϘΊV*3p)/fy+"@WBOlJ+6fF]Et=9ulZrj-!ltd1j2+ )" ,p"%5 .jC_5m+Γ9`T] d"P2Y7{r#@;GH یzҺna8"@*W) J~η!\{Vx:F6SB~#h.p*8Da-׵\z' <0XRpOTB+J KGv>/ιjk0iA9xfʒ?D/FA[F+ x߶]U$z~]F91D/$3Zduj~"Dو['d!Ŝ3Sԅ޽DY)26;=-إl3ԭ3|/ s_Pi =b.{!CSPkVKRK$Jc]T<"r xqus11ӷwj0` a!LǗhonE:gnNuV=W6QBGՓU3:nM23πK2*a~m\fRִL[Q%x^YK s,9/9[49tIGt_m1m&M.RxhSoSAoIacP% } ,X/=S=+/ϲyEH|yE0 gHE$[Yxy $arĭOW?N^M}bZSyvKx7ky:3̲%Ti HϾg^IT}ixA+eGCp69E@,K+VS'1=d[~rFSpo{>bUnK;rji[8U)G·+OUa-au5 jܝX1+m{dl5N.U9Q,'܄Ϋ7Q#d6r/WM ΫK#=gelۥ#sà:YI"$sBv6+{FlΗqF`+Zx~(v~Զt Xytv*zn} 3C8B8ס;s}lg/2z}  a)oVw,:%[#O{?|f]KU#Dk hzڂ 4b h6@>}Tv;sοbbh[y(nq_w0! 2҃~Y40VO\KOկ-\JIzR;|Ù9;^: CVEUA'BҨ ! pXg?V!O}|ZQsw<9>H bj'mE㺓hIK;iLq'HYIڈsdPa_LC?-;YMwɾi||,/[anVÆk8ܶ_>Źx?=2^tkyKtF[u7H[@-wJ#{6>4{(?lɘ ?5I' |HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Mini_NitsPIDE/messages7zXZִF! i\]Άxʆ5.f-9 rq9p98C*㺗ջ+2e],_pwPY-N01vү %3T=i!z>ɶZԊ*H4Ї1mg:iz{|` o?}KC\J#rhCا'< eϠ9\%4Ɍ/> xQhyd=n2"r8%"/lDbbe>abL:Sdu; 3OvϩY%v˶zN#C:/IP솖F] 3܇k-r+Teũ#z 2cDxؘ*Q-5GxHa&Ewv}v&(XK"Z-a[? J!F1j&4CxZEJ6XLYܠˤ3%ժgkˁzo3B,bHKgQZ@4:d_h(>;НOΛ/yu`MN^/PiRN}B%x8X] sK@m bD>MG"UL.6q2?}-3]GEEw^\^->448<_tcND] ^=K cbX}V>!?K!&YIV惕.d8B^r\L_@Y?cݯ<*pyLS\5g=$ tߊ^J".Gc>4m c{VkE+܉W 3#\gBU k83my pa, Ɠ+_(ALjELmD>D1#s/w.DB|jΨRGal@%XY]l ʉ—6N0ܤ3?q! FfBh*$xn=w;>.Gaۏ}%OL}nɣ.%zSKrEm_KebTei0!!8v7=i,&o>[ܡmn{@X"Ï~`M2:ӣ:)gf%@b,r\?N GVx8*_s BeuοF0M)4Ut\x)ðX [*Pno |gD3%YF C6:6 BW==- }k)+mhi89Fo (FBLJ_@+/q)ѐIl%G8蓈ה|'yzrv6Zz*Kŝ~(Eag/2XֱΆM$3z`/0U/B|xd'Gf(G1ճns"uP8Mu , L/*CWwb 09t0r:>qXۓ?s4t*FpDh{rM^Fn4WgVhΩYNc7_L>L_|U(sRΓ1WG^E'E9(g'bg!HXPOT$E?7M>L_e ϧq</\m#U,b1ч1?Klnk 'hdst=o^<=PWp^kĺ>Z:l,X<^[[E `Yhuy7OV|sQ7v+(b[. hb?1/jbvCU[v;^"D*.^m %C&mdCri %-bv xVjWY5CԝFE [<ڷ[kǹ*Ӹ|@=u?E2vBk9bI _G⣎?v1ڤRRSO!{, uwbJ.ӟ vn뜬QW1TWjT`|Dp~i.Oa0SN(IdiG]@P0/˘흐-a@G ;udO<vfxy#'7qu\7ĜW4" l9e̎m/Ȓ|z!u-q[$#r{haC;m| v3f*wĻJ`N*s͇?Ja31R [Ziw;Ã]"QmݗVg?;S Ź>h:*9 nde3 Tjt Y{GžIiVVܩ_x[JuX߇A(8%gg760uK&/F6oGtg;8KjZ5$Gk4z5e{Uۃoەcq)v6=znCCp-mp=xM`"9ē)<ĕ:} >S;CԀB}'GG؍Ͷ=*6h؄[CO_4k};e>V \,O {Ğ#j l$ocVnӞ['\46ISֈ,-`{g4he&ht /&E:ڍV#M L(/O1_h1pty7?>WM < QTdug/k(V<ਁq>PP|iȶ >#*o ؆ źY z'`؈{AӏG`XE}s6x*!O3}_kmM70NhA+xƦLnihz{"Ua]".sy )X~vJ@5 ^D*Z+ƜQ*^ \Q֡h* |By 1LFH732ft7L#eקbX!h B_GnxOBSZq`W!l)ssmhY艂B@PlRq6;'{j_A3#VViJ:.,Pby|ds^|d=tlKt5JElW"{k?ءFa/,vgJhS/JشY^cbڈJQ 86CEif>m41?::($xʤ73gxB/ E]NJjڛ lrpFLw/WEL]0ٻe,w_}qdj5R𫄢)b)=&9i]lp!](?1d'$[a&zf fgC6.H8V738-﷩RFMQרEF`禎Sb^N̲Ć4 -5dӆ1;_F1TR?@ }(Is͑+WC x1OZ/4 Z^TGjKn Z'wilt@\[1_,pZ n0jC v ׶D@>Lb ec{͐[5邓?sJScQJb>9x4كN0}Mz,U @μZט;kDZ 'MpMG{&ǧX))"jxrgС0-JWN~A`7~jc8}}faLQ?YzIe)W{zO(wѴnDwo%oY! ШAɰ&pc:nܒ ?\ԲzgwϲͯuMJh }Iu< tK5|3Ҽ/,"m%ϊy%^gH$Rs~Gdǟ%B,DJO s9{gK[L?E#"@ 7r]I{+:CWT 6Й>b2&:k5M(Bb"} %4-&Oʀ=z? &rA\?snU}$8^{Pykkh~?I[y6f Su`0LF!hgwL9U宼kL`ۦ.84N?1*)X[ %%8cE[ٲnQ eTobR܅xvO=ѽ_Eԅ[.x*7NV;.gq"2HKMSmMMn&'!DZYZe9n NkbIV_Aܒxfd{΍4QG|_r[)(/Et"} ěkRgYZ"znӳJr_QyrR^0"(%J̝(*]q7jKH03'a~h+dIgBS'MDcz:%]Ky(~Fh 𴝯-^XӣEHqpbw{ *=E#4lS){8Vԋa@%B{01COȴ mCUdv$hUeą5qf3i}S/J_q8A1 {(~ؽL^af خ|eAV6%EE$EmNb`asc;D3aXSЎ7 woϠeJd'~Sq.MYp8|ܘ{O|88% x]LoR'fz rSp!Tذ=r]L! t1å%O&HDc"lag4kKt~0ϕpS-KAA 8a`v(֝6SRco.> AT[I6kOZi*>rBn⥩])/*1G"-SeSL4?4򧰝"7gƒDB0w(Lb .M" PbmY\z5[F {AeKw̓҅֏KoRR#8y)SSkQo\qW5" j͠%$I0aTvdΡ 5iW Y4c!Rί}d0m̓q HqmQ'tg>{`nEiFWssa;jn=wퟓUZĬFg'=nFɝr]\XVz`}0^npvߦwII8R7t]<< S0YhDG{yq>=-pԀoށu~j8^٧tNrBzBvX[S(g #BUZK}Cr49 06&I_Va]T@\TTpbrtt`@˫9=Kj]ڧ;k}1GQUr kGMߨ2ܵ`+X G#[({`wNLէYqxйn+WD9Im p8: HrykPZpZMQvU/~ $+pv"h&I.6w3K6|I-SL>,Li7?r  :Qf*搱_mH`.k  ¤UHۘ%o5ߝdm+g?`$jIgDƵ v_ H|AOI?TV/WwuV9Shy+֢VG!ꃺY%z"r¸:*ȊP@v`IR-@*Befk'0TD!8ۏ- p#J@ܱոѱfnEpRtzs3}*n|KMJ'!| A;:>%:aV^8 |.*F!?w#`> 4W擡5`wz' +D#3g.@?1nSp,8 H_I<ʾLJil 9BKvߩ/`y7^x<ҩ knXlo0; ۼwgz}4VRxa@&2OZ|̳ҔEY2>F+oۃJ~i\#".W&,H_SbH'4 (7ִvﵱ8!9ǵj{׳ ū&M\ď)?)Yi<Fȅ# ,%E6=a".ʛ~ M"@0!x2"hxɺEcتl_sCnm홍eKt8l\.-.bEK,VJk~봲iQ`75h8W@ v`m3ˀP/y-.5R`*FKvۭ& #*p=,mI@o>j7{kExONK9)%7ۀJ>s#pCh9s6yt6 `i f?!4`J"j^Z񐽓,u J0if.a!䝐 F9g%Sc$RNU Vsi;0y7%rG>Le3 ceCޝ~H0HIvWXߔC{a {%"U[OnOu (]p6n bP \8ϲӞPTFC:-)כp^o1yomVhX%}q(ӗO\W)J݇xZyݵ W:qO\w'^l %'CEԵWuKP#lKEE}wJe9i nWDƶgAFN3rWU҂Y 2H{5"-sy-"xkB'۔> -o`i0ߑd84lf4>( ޳\'/˺ ْj XgT` z<=ܭDCltZAynIC8a9ia܀OERoee3 (= p6NLŁOWA,)(pB: DY&˳ am& 1&`9;QN jBRP>%kY՚!n~F:~mxB4O 2z(^;t+bޙEfhogX>\љ OH^(91o_:cd22 @ 9~Sgh5T͸\#6霼mi;)({~@;-"I]s򃦙4>-}CdZD+'Ov~(ꛕb90(t܌ G.N'k<{byޙˋaoUɱ(rew)m:#iߵ|sь$kk_c+\ԕ6`{]1[,TWf0縯 3_rݘ~̭_Y8t ~(lfKb]`{66(b'=0ͨ+o K/9y: gU0{RH?aY |TnK.[i6Oަ9 hJ390B7~/fhFj?6TP6Wx(Ǔm$ zqG'T9kԄ8  CzFrN 緩V7&zH k$L,Ty*q 2:5XRg}9܍g55fIeN9z}c߀"Gsj78rJ$7rj@^N#{vtoT W.옦aP≤hlExSˎ&2 Jww*?"oȭ=䣊c +\qҬDfc5054CH!=zS g--!E(ƁEzMI3ﰤa$g_ P5&h tad(<^GΠC ^-Eg Bm=bk{ų`$h9YBzE]Z1/$ҽs-1WCĝeNaH)8 Լ.>tHEݪ. ]*CVMuې/IbpA0 4]4-EluhS&)Z+XNK`<+"M2bbHm*G_j04\Vٽۇ+0q\s3Kn .B'65 :&y#xkY9OJ hč l!g([>fI#&UACځTm(J!K)S*9pCNSDR acDzLWxUN>6zS+4Mh 7,ɢ% Op?` +[]y/ ϴjlwoWݐ銐s^#hE]C)jnyf- ^uu2I~ ->W,cX$vUN҂&138@ۺ$vKEK<.oc쎇Fs)۱S_]JK9EL.L<g' PZ5Ub˚f $ >%Y]%UUF7ux}m =vbv"Hg ϑ-`o 9>9c/gZz!|/l%7 c2?J}Z7Np+/hzSiEeb(m9Ҏ׏ 懍AP5N%?UÝn}=ol'\B"*Ms %̠qJ`f ߻5m%D) g+ tUv#x/Yh憽HߚCl<`u{٨ʖ8uGQn#hp2?[E Hu^+E_0|*M;LC}w[M6C'uV{m}Wܑ!;rOqbtTʉ( k]ݵ*l/Zz+Fk̙EO(Z,\g8QV4nNͣI#M)*p)J%)3CCx_hG4%X( 6Fb9LD|hC%`ۃ_>-,)JEǷe#]ؙG#'X}u5Tf yEܳUʏ.ykϑ+L :f}`\&CY8(-gN$şymJ>`:M@n̵c'ehyDW:5 TwbkêbӚ"&Fu-VW8Dv:ֵ6w͙cg6ɍ2_Ѫe|9+k@j^Z,<+_Azzk]"W]֧1R5Z,*Xqnj  ;g$Y(lelp t{sչ7bOG~uz gwqҹ߄VrOƔ 1fhȾ^e~.%1<8 Zx(R@<Dދ#N}#!5)\r V]=~wt)mf 9VOdWaD]t>|j 4ԭ!ן/kp~(ߵiߊ>ݱ:`+|/38粘pV:2N"( حk_x>0 -?E=-Q1cH#~Ȧ Њ[0^u%uIk1>N-pckGxSQc6Ygkw$tҫ9? ?m P. ̠!ۃ5NTAM7UZ"lV9,Yt 2%}8ٵ TtG$jcG>KxqH.+sၼuzCMvLSIO`C3zFpP? 7u֋t`rD&Hb~'F ]De ;)5W7ܥ%KzB+Dڲߤew+linU;Nd+b,wp$9g#) D}Cc_'eTJmr:Q~LAx-pڻw>oh:C'E'جF 4^kW&* \q)L3dUG&Lײ|lqg&vW]/yx= L`)C+@1GF9]e,*6z-Gέh"dMnN2}lrϔʬœ1 XHxe­-(:þP> ⩖2V2h˚* Mϵh3[>p+CT<>xFzQ;q` ;9H:7LiB7@eMg(i]x~ww` uSjk&ؗp.0-co7 0ynpOv:ÛQ i?5oqj0c6U@&xh yĝ6vL6uc/x*i>NjPtB֐&p!msiqSG$|'ZBW~Z IB5]ܿzIș‰> Q9hn\P[eQl@c2]ݬflDGG8B6+9j٧u #vg#堃$[,?k)*9|咬5EIb8fc˭1m5fgi˒BNXzXs&T(-Y; R7R@\d! 3 5O' \HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Integer_NitsPIDE/messages7zXZִF! \ &]·Iq n[:|&[zxPԶ>C lIaz-H7yo5:޳_u'Fs5B19N*q/UChqhڜc~V԰LC`Rd v 7 7: +l۳2U숋(AK[N_y_ |YDOm е`O=a 5eFj`i*Kvɴ8]2K 4ȇ!l(xLN JnxTiO(MrqʱjK>^1K(dESKKLxX0it"{Ke*]+YivM $mc*SaRmWN8դqY}͘&B~(fsÃ7GtR&253pS|K)JpнzP0Q5șx_!1()_AWBmZZTTwYhx,JW)eĒ=Fi[>Qڭ!_GPct 1N9;Z>^D)]yȺ`j3PC*`B ݌JvU72:Yt|x* oG["ĪۨwR'~$ウ V)? MV "럕u YĦ߀yI2/+"vjGn1fZ7:wPdWՀcQj4$v@ɳZ% Pa{:sZtӶſ,?oQ8euDyܿ4'`cm5uoG U,P`3[&:Li9dˤM2"\Xg%2?aPfq,lXH}?'ٶ*%pV,gJ1Xy殯_">)Q :u}v4ACh#6Dfn=47tIKjA*&ۊ+i:~ȫ,#@OQM ٹiEwQy sI3iInD&6چX[an%&Ek9$ oT#cM+b}I{2 ";TՆi$r+p <3i=_~,XK"Nmq H@F壳^1FnIE%469rFT 6!8⼢L D^{xLAzrKB M 5Z_'ZzYRE#ggE r2vfYp}"~ cƘ; OKPXU/4dLibd! c9Huk* uIۮx+O['=9@]"DYU8@[`@%sƵugcu{?/\}+=gOmT K߮~a#n`]n׺Ќ`R܇i^n"vR gEn>p.]bސZŬ*]zY@WaD@_Ĉ\>ՂmH?0{Xp+ l): -q|\ؙ U7tbݏf? A~=g 2g7K)yTAFgtԋT=Wt$3(FP|NYJe[M`i#~Z+u =/_9e`٘/G$⡔f2'UIغG߷h6),A8/ -R%<j&+@ZUb! Jh(v?c/OG'oA89 P?+rx*}gU`J>dhWS}6z>{8gёgi9"vT<)7`wv1ᣁ5-b -/ X Y*ZHDI>y&q!r72Pl4x4ՇTeUi $n߱gYZ&Rzĵ"{Us1Kv;:WQⱝZZtᑰƸWӪ/7%<=MXEi:xQꇉ<@8pȴMXx#@ҷLsLy&\M;ZHtD'0>qpC>a.^߆2M&Uw<$n"ے뉁a`X0ԑ jmX15| Bq\f%QĚ:Ƕvr6Ayq-cq^MPu‹a4%xb@0Mylkyqq!MVL=.wv=4y{3·7P C~E=X_lK48&G#?h p1E`QK|[1KFؼor;D;Snɱ _y϶dc*k-ʲsYR;H)j£}ŏYi..=]puuG% LĭZmZs~md)JSld"Z 3 \ 621^(?qvj bo!yY נ#N6}rcxͨgnä}gIc RWN_ݭ@j-ewrWrrn&hVC-hɴ%ʿ cD i촱˥ԆMS8vc;njZy)8;#*0)B.yjbL5dQbLGJAN}4 vO"ҘauЗkb_6Q$?bFAK+$,_zQ/#(5V=z'mH]'8 0QI7o?PϬ (Pvk#wf*-%vGHd5J%^2kXcCNjZu, ~q3$l80?A]g xN׬)Q +,ijd`Zc?8+z@u#gO; [A۝ѻi!x#^$S;t$']4%c)nEr0MI\Qt^IUY3y)T {eQ ( c5͠o7(6 _9)H(Jpx2ws^s =e..WZl5Sʬ)TvZ 5;ePGᯍ!t"bu^.DhLѲ.l}zݽ1HZj:BUz\ll+q'el -񽫌{a {jqKt(%Xr HlIWو/ρ!4DL3(+yZE`y-7I c8Y$Bg 5Jc}G6{86ƶuD(}o_D0~%LE%7,h ՚=!E^&|$E]cJV1Yp+2@N;L#>{^ oHƆ1Bk%b2$ h*8+~C?hIc 7޵JI4d EP\tX"kGx#]EgTGK.= V@~Q<,-rZ%34$$U qփތL錘H,\[ΤcW׳GgJ" Tݯ$dưѽ|AwXC*֊/PJ-ϥ!MXW29,EBy2f8˞57~YqI/~G@#3KvrAx~{ l0= 6Z\ܦ#X&6F{_?iRkł5{mKT<^OD`aϚ8A''Mq h_xvQEϙeg:Si!`Lb/)eRاv:k>ik rDڽ3GjR>LKr ctlC $(+1d0f<:4P2NJd NOAso`Ų"WH H5df݇-B&wM^Pc[G^өdKaT`r,54јi 5A5AY9 Rf+TEqˌSyl`󶩘/YMX>=ݫ:IT ӈ^Mڀg EeC$ ' E9,_c{~j=on/Z0T :5Yȫ.ւ붶vg 4=s^H +m%O=ߊ r,ءB#?uL+~\'3QF"eIxT!h%<~! YMGJ&oA\T#gv!Pwv(T!rs.g?cQ~.D;іi+ O3əCPJ{UO` o;1o cD߳bYY0J\R2{yX Lڪ~[\ZJ^F汼 ?[֨I7@h Ek 8E6ݸwMؔb k\텎.^FN8sV{6 α6P=;SWcɀE^ğ7 x?s1,Eb(/0o&ny.~{@5E3SF6cbM4_"ߡQ\IȱN t*0͐hW] aֳ 8e߯MPHw?!3i`M_)RPyɚo#6FV\*#ikո3(yt؀Upo߰tuwZ&NJ ̵[xrzdŸ$9xtDu;y?@sFFDYa53 S߱ <,"6rTRζ"^?[;b߈gVQ c*I5cTed f k~hC1R/6;b'BV']oj]_lB˾Bx3x\K].C%%Aoi`J K8S3?wѱM"ې޲N/,Y6ZŽzyaCL0wU֛_CKٛq@CCbAtv *KOK[5?Rn [~2DEj0)>QctÊY~U )S]f3?WA_K!yHlv[rqDw8 FGozp &p3SǖʒV3FxהS07D锂2J;(jN *yBQ4 "6 QBA}RqLvT aަ#>^ϳĸPٻI|q1u !dFI[rvsd}y \vvmx\w5F2Ek[X|_*fП&A̦*ƷeA3 |!t[(W9kFr<)\\Ō[L~o(,Dabeo``5.IU Qa4TT vp]h>:#ZBIk~xv/>Vߜ?{W ݻX,&>^l*A<Î&TXqd5+C~,.zsƶFYj! ҖI}]ǩAagrkOd΀MV$FU /߾M!fm.=jhYÊ9dtf!>6OYpǕn8!tAi=+ UDy6曇aR(&EG^';mo4<)/DIDh8yB{C1!ڮl>43\41"9d'Y )U{o z)1FN&.$} n++yg=? $CZfEAYk*cOf&{f4Oi;D`LE,lwlU-32ڐ2HW"Ys(ϧΚ'Tz^Uҕ`U>ajFv/ݜ%(?sx$^jG7$̆g[jui9貖xh?[ryHq|3@l5 oaS}GRzBk.[Nd׈dXR;^"<~"$gϸ>ipYj'oO(< d yd=׬atZ ŵɺ&(oG܈/=]k)]<1!n6$*|)9c,E fXP򱰥Bf}@T:J͏( `]0{5zGYM6>҆0#탔E+nmI?ʘe!+ދBnȶϳJI\{)ka)f&@O(m\$jx"u>G7=57jx}p!n9O'#G# 7Nt63<'W{w.8՛@|=$O9tXrh| 屉7IC~.QƈɋKK`/˃u>hy;.ޟ~;jF15Ru[Z #f/=w:iAgYZ!:gAw#K)fO-0*#op2KNVhcK8mo`nkzH:8NV;p}Pfy/`(HPwRrnC1c½l2jp%S}d͵]nKFKeﶪ(m-%v CB0-hG!"(˴!: \mU>F4y[3Ci(A~<:^߼r}(R]oxbکc^PXm]jg ofs|}w~Ǔw,>HJYj|\eOajb?f|_fOse%/j{/. F{( gGiɪm@W)g~}^VǜxSB޸f>tЄ;9V'Ll RncZu$6x|٩'}(x;d~G{p2UjZQwiPA~$uP͚"t.lgiԂH<.10|,Ie-z9PRx_L'KNP1 d1Et7v~c]A"U[ahuy~oTIf?6ď(#?nwTڭ:3[NjΊV7z/ $"e- 'WM<7"͏L Q ό+E7T~*3iVd×aNLZPaΖѨD냸w]"lmcWc/\'j_ R|!t* f2^thmK_{ κ]Q$'ejI4Ѥ/8+~yƸR ٰa/Km֊  Qopy[iX|ۉ\ÛGQxq@x\Ik]6Cm= Df2c ewC ޿h!J+b5>} 0򖫵uĐ\ټYfj+AͯC*œlmGϞJXk$݌*D9NgM ȓ3~FڃػHU$XUsot1:R_ S1b9`%1D\>r=xVIY Nwy0Ɖ%m5&yvw?4fǙ1)A@mPwarha)?zlsx r+m e(gEv~Yl5<OάySst'aq6d^ӧAN[Π6 ^!V9͖zwNŝ3AЂ5"3cﱁ-@8°RJ|~ZȈNE9x6h\013صːOߢ4Zs7s#ԵJwVe@M_'0cMQ?%ƴxA>2aKzx#=/0 [-!>} ~l&gcLQ/Oښ tuv 9Skn:0-X\+.u-{R(,4>;։d[ၥGÌϳmgp]n kP I9 |aqT/ЁX%OPTjX;f<NaT#_;3!pڹN- Pyo$<8&bLu58eyϥї.bY7+jF(b 9/CxnRuټ:}teURWkSJr1 r( Cl9t9zcå]]#E{å *Fl"HDy #Ek4A,,7R7ɜ3*"1p1]f7织jd@ '49D -n aS3Mq-Ϸ'BZn\ :j$ ddDo#gE$'koT(]m3G'yidag YNK#k}CWk y>cP0CJCTU/E}5\j9j1Ik>=Y7/`i ve,w# 7CڙJ;.l[-} ~锥tiy9"B"XH xJA$|E27>9-1P8I0V@'dg{ `5ΛI0ŤX4/WRr^"< K )O40~1'لU5tHoXCn gg ;fKWt0UGQ_ƃ[ /!8ĒZA?Li &Wa|d :O9%q5 Xդ)ⶢ.ވ)(>|qMWC֚vh\s'P媵cc떙af:'!qf`ߧ11Cgv qhUBE9WjQx(' 0EogYZ W_5E# DHOL-Nitpick_ExamplesHOL-Library.Quotient_ProductPIDE/markup7zXZִF! _] !M젗OFK?;uL2a}x|S#h hfWP>RSμ,t4:ȓ#%_=W ?g l K~(ҵ\ϓΫ(zVq8r&fX+K5MMšlsP]M"kԒGx! e GjFIeI` D`|Yb% 7}_x-5E!#N#tI胤FF)[@駽叱vRt`Bp*6n!?Q`c;{m;Qg%UNP.0Q!#KǵyOw,bZʨt"ԛp`l9TWۀ8GZ_ѹ <.!@O,aɤԟn\oKC]J/2o!4Dg U_K($/vpb(,-]8Onvtetj%ol5 j!IdwC1*Хr WKTI<<:(ѾՋ4:ĺEi\`ˑh$Q xnSĝs0hIus/m$Ǣ5pQwoJ_e<D>ѕmb-b4:I&C˓-Yy֠M59. cz~8G( ?뗨q.F4:$KgYZ5O' 4HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Special_NitsPIDE/messages7zXZִF! z]·Iq n[:|&[z˙ Ҽ\i:>pK0=7cKOmH^621 Zc$9D$2/0n裟/__#yx4|W8: ;sf'!:Юv2+1ؕnZZIO6@LvZyu~ER5( `& uM5UxdDΒv*v .&,FgCz]i\ oP92+@ǒ&k'TTp4U{ zips;ʊSq2:HfVr0btHӿ ?J$OՑd|خLufyEKwx]|x1cH)ʏc,d6Q5XCea`E\ΰY.B&oH6. I[K@C$!PIdiVir#i x_#djP| >Άb4wz)nj#JRE!Ψ4 k5mvzNrg@f[if8w7;9nл#?0c?حrI̿ɟ' %׼ V˱A4]jZ(&Qn%w2e|Õ7Emfˁ-XCx9e!$4 =ljcᄖW=$ _% . %8vH@ ǒ9s~<6QVn=.B،?:0=r]s5&'1v')Z}t*V)6o0d]E}G\wAr6(LZ wFb"eB K)fxsiX6f 5Ԋѳ,"\TWNlK:'%9-Sn50\7r-|F1-!.epJ>y *r|i]4nM;|l8P'[]vگZS*MȯW\gl?M(]N3F VA POIEzV{J7b @Χ5l>izvQp*lĖt9 2obk~yѼ1Ɣ`Prmvqflל _^< nFWeNlZq-{n,ZvXr p:W{$̖ 2w@^[[`hOޛ]NH2qFܜZP:{ FhSOCo-qȞoVda~FjTlTXX&@sKຸDB' W܆ɔoGRl hWZ^pn߸'0ܫL;JE >0Goj'pTlEƬխKCt5  g4=$F{).d {t7)RʤaDx׬{zD%)+uA֝=sV53{qJ7)) Z^TPUwc| ZDG3Te˷gi>֤IG8 qӧ^2JO:@mgs΢Vmp흣6'C[Y ;Ό y1so ֿM\wc$³4Gmg|ݤBR`f5N}&,` a (b6D$`n:%˜Tt7Q;- ]o JHz]&wI瓊mf/ z8?w434Į Ϙ6sTzꬁ1f]KS? xu1x+΂OqLLl#K 0V_|g_m3}Q9B/*>B8l5*2X,ɯgYZ MҝD_\zvT/hziʷJ-F|0k*9}H2-}\׽!ވ߬o@AS k9`Ԉ 5FV#M;0%ϵDf pwOK`\N9I[Mu%W~.e-01C@ c pH1УB-Y1>垨6eN_)jr'c6WbQIOntq^ C 7κ)^V"uSlnl-n;s;f!_`["ej<~+P/]^+Rh{Z[ޠ+dUs% bjhaJ7L.?z)d g ?ݿ=b`-c.xεl bh~ (%rΥP8ㄩR VD׎T&(_<.².GȨ_#[F4Uf= LX6~`K9tX'>uI .ޕgR9tGIL8ѝb~+78M&L9e-!a/dW$\VuSt،g-HZ ;ɏ)FP$6 tRrv-inAWufJG2( .O.#BwrnH T.g'B@H;jN ;+~ݸB' Ԅb&|]e&_?S4ͩ񜋼D"/e/tRe}RMRh3Hz;u\tFʒ2zN4*KUk cO<.@gf$Cw;X`T1I_l{^$ >Pk+OITͥ&#\-p;ïf5<>)l%R+c\f.rќ0Ps7! 8ʝM5TVFm5q0Z#I@{lh ."-3W.F Q32;%u7P;5Y|g8[0CTH?oDWRMJ>TzVbK#Y]iwz"Luw3"~22qP]i&^qO ꐿ %|O|5&%U{2 ~V{ +lhWmz{AZP3 4E$a|p*@.;0'oU.o%2x dY~!T_olЅm}$@(i- <1Pp7u*A) K h*VvpV>!]Op1.(?F"= { _!M6lz? κ·|hd$9ɋ8!li}L0g7 Muφ@NgQUOB2~s§*6= 7N.@JR%N,krz9>D6aWs_^N7qTrQ/~'D7RiU$> s*zK9]] kLa>,1]{ nR]P+qu 2JccPqOL Rq Z`͂%I+I.J0ģϯ*[ᕲ,<\  HH'0를7ƾ]׬M_.Nf_C,NWD$`9Z+qaQ[4N"aǘAKźZwJ!\˨ b@W%,d;?;NeؐsE ;#*˫;VgpWX*S@ɶIp ( Cml{lL/u M@|܈hWK%{J/7/ X[fz4.}=N"tǵavlUzaQ{zhT&H=KŷaNuLQRG{ &Av˷"LԴD3RHY-SDw!B- eZzŰ/.D*rd RjQf0 3*u;&/Tß sШJ /SuK}9J/"B^.d_V/#\ 6>dͧ[#78 "F 㳭3,92jy5ߏXIy5 LbCi^_g (Mxpūk RQp%U|Lzc,1PKe}h䓮#F5tj2bL5@NASم:b P'E{(Ip)fj]n U7'J9<1b.u:dv.+^g?TfX<) v!#<+Fl0o:F5dҾe2xӾcxEur+rL͔ .CbT{uj[65qQv7RxY|~iTVʞms7ui%< ʴҵ,Y&DĜ޼1̂Ef:!#ZdtƎY1uՎ^ >Cp.yۜУPxYW簩Ӏ:~|yhu ĝF9#8bJɠ^V_@i6 kB/}1Xi3R))T2.*d$q&ܐi~`̢6Rּ@"$ljrk(l5_gYZ f5O' DHOL-Nitpick_ExamplesHOL-Nitpick_Examples.Typedef_NitsPIDE/messages7zXZִF! ]·Iq n[:|&[zWD5ARpO#e~0"kul lqGc?2;>xTO_Zteۛ&f=7ˇ쪐(|[XV_ /uڝtu5$lV!lnOn y#)wYg- aזijc5MfTI54l_˯EP2x[նJ`z]akΔϭu J Ǥ7D&kx1y٧@Jo6li[&E"ry[sG-☤~^W}9 _P~Hܰ"*ws=oe _fCB~4 ШzX e+ 2o*#x??B)^Hi:!mnd}*E`SS$`Zy8Ο2F˵rEdV8j3uLCFr,dR3v@bMUx}ߡ'\rsEF 4 h*e_h ^ʸ6yBE⦠DT@khrW0l{CEJa*;M #ER oF`2J tB;rZS*{]MܡY?n}XD uT|/hl*R_y(bŀ!ݲAtg+$x`Q^(N+:^r. 1's7uC!AcYOجQ;\~$^̟}%QzTNVм߲G)\5_)ֹs#Y] '"C'zt0WsD#WRW08A 9Ha ydo@ [QwUQRk*O @%񛯞 Üp*bQϙI+؈z Rًb͆zO5#H[Bn[0j~Cɗ hMqyyK ~f~Hd\7a ӽЖ靷uVۘ> KmsH$GW`Ny,$] GhC+s.I ACsT.H #fXUhC`8f''05|e埂M]=# UeQ{5; B_Oo} ;'8 (b$vI4^*,|=n6I.C}tyh [,˱D?1dm]Vo0NX-,xR 8cN.:.Lâ9,>bFS _(Ԫ9Q4mRlvHA԰m BP >*\6Uq [(t&bX۔RS/ɍ T:F627&Ci2+1KdgxejI!CKa"7@n޴#aNꦜ- DߛZEt`p ŸwZTj]ټz GK[6JƢӒ4(t^ݐS;E*ŗF$e5Gysî3=xNK[ ^&\ʒӘ@M5O4`#*OUb m\ َ``C#mT{#*:'-ŷmԈ1c?G;a%BgP>-Kg"Z"2/v}GA"'ʢP`JHڒl)zzGՓv/vksb!8l{[v0ޖ2{Mgub4V#YߏC?Th[zhr!}Ekfq))1my㪡yGh_e)E=+h 想<\OJSnHvbhXmS̹QV do8l2oZ$aEI|s1薆i䝰6^xaKAUu+w 5sI@kTB{72OQG~@We@=O,/~}jUVa U.h 8-Uq@ Sa̜R [CG iST3 z1Vs}Lҁus6涛8jg{euhmy*jc 5[?vZC5%%`G] fO9zt}.Ԇ,P } Ҡ(- I 4WG oA31И q7g^_c*Gtg<&xNreCt$Ybƣۀؑ_gU߱CRH2-Jtq!z Zq_;0fu_&߻]ߣ+_|u-<z(ݨ}Ę͙LU6x9xґ.Ϭ긬eW U}";ٗL4h X R"ͬ%FGuϴ}r#n v.&(<)ʶbWM-(:T4._[.-_OD)tf!!x{~D3S+  5O# HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Pattern_NitsPIDE/markup7zXZִF! ] !M젗OFK?av̛]Ew]l9.5m`Xg}Sc|9,g ύc0 -3z&)d|*F6S(Կ$&Q4;2Pwg/2pHzpwOfuW?O٣# Y49{j#?㋅⅚LDz*]珧ψ Qj숫&混"zzRhQ)~r&- UF'ߔu?׃Ng9BlRGVW[,]`D8[J b E5<х%6v/+k0ޗ.nJZ|N y `bá&gV~_ù9A 3 Ҹ$#g&rطMt,gOBwPSj|4?s3꫼팈 )R-LF a vNݘhJ9ӒVQWl>EZEwK[ a l.2J [@HRpVwJRL^T~棹qjKٸ>w5MQ4zM.Q0(D{4trz‹RMGx<Äă%0W۷q6>WG:X,h74U2B;-%1=Ә$; ^Il]jE¼o }Ov \;#̣,.o`1F(gcTU5`]I& [p!Ao٥h#AkewLx`l  @ H\>UCLd1{M{k7`oԴ=JTUs֢?#L/54ƭDJҘIa 8cM !~g@eO$#QXU'QHUl1o]5Ñ| ڏjmRoEu ^XwM/dL90=KU8AlI N#Tץ*!X!%fj0 z;)V5-wϴ+`Qe-'jMv|H"9 szG`nA>䚓A=\Tvrx`$aGiCps34A M{9 O -XgYZ 2 5O' \HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Pattern_NitsPIDE/messages7zXZִF! 4 ]·Iq n[:|&[zƯrRQi*2RDW`h)l LդW?9!O h֥w?ZkS$HL)ͫՈ !LQ9>9OjNX̿  fD/gVi?aјvv~+ ;ZiZ Ε7 B Pb+?yP X{>|UklF]d,VzG]ݼ7K#҅# Ȓߔ6%Ҝ4 a~J$҈ֳ$;~x`nkIjuMNssJӼ YT;/Wv0itms#e1#b8[)@=^x@ &(p>UVL $*;sjKr *tP9daUNL҅j7sGRLҦL_  e{l{} vmy'Z@_bnoZM_걉רB^8SNkgAEEe17pʣ@g=io$I弒S<T>V)KMD{-[HR~h .Q$֟*gǙּvP!\ZZ)E(Sߘ!"I `c$c$p b_oEPOuYB+vs;& -(=a.@/ ӶiCA:{#V\=VA@!P¾vZ 3G;fmЫ`Q3,$oIf@X4_\<0͢kJ<+Dj嚭t iuC}忛xy%R3oZT?E=9ʆP?*Hw4DNG?;oW6s+ DW;+ w'F^lf]aF>XTMhv7%3g|abԆ0|ش-mkʩ6nB?}MY">ɫX[c6T9m~6A pWwn|PQ;P!ҵ1Je h>1M`vu<q^4BYjeRӸ=z^d)|a3*sl< ݺc jcFA ceO`׊>%R"4oJn |E Oc"LEqu,{#C(Rl72GryPֈt9ݰ Yl#hx1"@ޑblg)w.C*`zc܃j;AM4[J:C"V9P5T3=.\2L(D-~B~N~2^7lqcf{KBG:G`C-fJ,+(6Gnu9r},uҕޱ,XlPE0JXAG>24YʹbxaF=[jT^ۻ B(RxYT~ R-b)kFE ]sy4:7X_-rkù?n*tlMWjTІ>4iÙ6RHN%Đc!`*CkA\g0HTX7X(Z-}gL j-D.IMK}ӷuW׌(6KRz[_H/{ r ЎS-u LI]6;lぞl[ҮU=->>^c'H)j{)栆-Н5F~WkX6V[MҮp@~R#*$̠`w%Qa _b; 2aӾ+>shUGH˟}ϓaf%g̳7C\ #%?a&D|bá L`:mLY#=V~1JHL6ad0z>PD{wۿYΤ`dIqˀ54P6Lze1T-^d\ NNktf{MzwMrXsk]hwUI4Sٹ24uц+V4i2ي@3|RTy!c u[=8CHPQ6UĴ= 96!LT#<'BԘ'͝5]]jz!> \usIE$OmϦXGsGIPǑsܧ0+t \5SYق-F q'qfܭN|O!ލ,U4|qn$mNFyo`l!2fl< Ku. 7nN 5x:6[I$d 8MBl(eAr_m3(1ȿ``z*S2+Lzr&O۪n/7zm#KJ%h+_K4r yM,υ^׶L? @ly$.tpWoQ!X5\|c58 (R !dz@S+Α:zdȌV KL8^kvw1|9 "M<3B$ѵiB]˨S>*jE~Vej3m-bSD㘷z*>DuĻAfz%hu61} '}T؈IgSFyWvu0)QJ Qkf;kdL |5!YڮXI3|lۏWS9XyWg:'>Ws$p_{%Hp^k% vIʒ)s e=w\i~ÔY ]=Q h7SJ= 6UjZ*0x㝐CnQ1.,\m0)2$^\ 17 v 98BQ-_¤N(Pg<&3Ac- ) u_D\PtGRs3`Ľ/]O:8'o6TG!Ѱ q d(190p:3r_&~Y=&LaƸijU鏱gYZUK?M9ԉQz )UmnNMCتvWΡvGk4~Wdkߒ ?ma"2]si>wX!K,ql@bSHN=5/s`\G&Ѭ:QVp83wҹR{%GeAZ=l}eyvE絛]I5o6][ `:wn60mN^&隌(?&\ho[xqL@%nCCwߏ;|$`f}|=JT^֐S!YBf˔-DŽx%ܴV0):<*M.VvcmPyI2هY\R LA4#;9o+N$_voj \Y߾dC.}𭚰bիpKik J~ڋtY)ǫfaiDZc~OKCMY7ݏ[{ 3LX6,kÈ&G<%pAW4q* ҕwfS9>ۦ{;>8l/ DTgdH,z@HV*OW[.[b'yͶʹ:Nh[RiKZYX|=I ~!̶GP``MGE:k{eo}m4gl/vL|:51 +̾f2n*YTuif7k3rI.A+B.eϟAAnH2v0w2vgrz>Vj_q&$=νU3&ɦvn ކDn|X'um,Y "r{Q#1'͑-f7WUQz>ւڙP8np\Ey(]ɂo"fN;h M$ 4ڕ~WxyB7|~zG l"OM NR xj6Y4͏ `}EVJ!EWR bof¢"N)ǽ]c!.6۸rlr\ڹ8iyGp6?~hBJbh,Gp,Vކ0: [7#=7 hA tI:Iɵ7uyoam4wKKcr54y}%B=&uZlsOa cDp"d=I]sB3|w觽LA;q՜P,(+c MƂ 4,Xj?.tM[X<`jEPPZq N%J\1ݜRhu_ M+ag_]93v`Ytbj,3iJfkVS1)V=܀єUָ+Ec&~s@ou#g밽 ?C-;*VyW7sX} S3IG}ibb( _=Ղm-'yAY7?.KD9eb?Mہ4xDՉJ> ϡߩ 2 W$peGAD.@{g['rw>TvskO1h8*`(Bֳ4+-1 CJp5)3qh"ОQH SD!$:jSŅu+ט`Ҕ|![>A2fU{Ha<-8rC*Z2,ǡU72]$A!FtdƹA;3:zCz,4VkzKy,`z`_V?/Q*'YzPR.nazkse`+RbB^B9G :1|nDpS_@[F?_/t?).Nٱgl}?-+NAj?l1^mO 2&bGPpݻ[r?֨.V*o5yIJV624wje[*[._hK;T {azJ^l)zZ& o*c19Dެ~j 2^1#*&r zch(uCPd;e‹?3+}Dp|S=/gZq[,Ҟs! Ϯ\/?Kh#L P:^a)yp`1Y۽((g^a_Iuβ[s}G gõST(NhG< ho+ӒPfWr .\ʸZ.y{Zoܺ-Gn1Rp; @Gvj_B:4MR>H,APbsPCdCw "h1zcZ׋9#}]Z-8x6\O"]qua [gy,N |Fvj¥+A%vX-clucO.܅8fȴC+E{%$(hn- ^Fզ Q j -8OXFéAI]Q=rXd Se\cL7x27m)7915wFYr$W:_rdXzyPck<4|ٞa(m@jE9Gj/3--R Q|nX'Mye2aزp8rٸ'l;)"Tcl(0t'H:1/'YLM%VXt@jZy4h˲B[UAl,92] 8ƫ;5vs qaAv&YRIb\bPwo`e[ΔJhN_^}w:0UD?HQوchXZѣ4WP0FikY[xoW^ u#u~R!;ޝX?vc/I^c`tx+rү!@e1/y6]If/GThs f? Ṭc҅<^̻:Kq=2&VS߸* 6* 4G9ݫ`rx97&?RѪ\X4YT]V?G;Fغy;!g軘j hGT|{c6S+VII2AkI-:v'䱲S WaZaOO@228Ұ#oÿJ4rKv$S'RQ^'׭_QWV4m7/:Kd>YWIM]@0!ol":i\ĉZpP4aD3BHO"{@6S6gb2Zʙ5A]l{&7a8_YZynD(ݝ dAxd̤NuBre\Ui|UlLj=rӠڮ*z7o҉h3dTJO[Vzf>z{{}8a2s{lm~VA D^np H2 3AvN1WJ_M~` 뗆m ܣ|Kߛeo"6J!4ㆫb -jiX}DkָgU@ Zp(X gEdX'2~{>)zW< F_vi $&Zm} DzaoΫw~W :Z?4=H2_ ?[@D^@sw%z!^buH\3¼3ڌP7ķIa\&[??$aiCSt${ސAr?"qj0*ԻreՈzyhlRAI"q; "[CvaowmVR/;,¸Tl!64/Ͼr.S3-eYXVqBd~vO T/nlѲ{B΋Rp}Fѷo ݗ#&ܷjhɂ8B*$S"}%HG07qgYZy"5M' lHOL-Nitpick_ExamplesHOL-Nitpick_Examples.Induct_NitsPIDE/messages7zXZִF! ]·Iq n[:|&[zX!ͰqJ:"9 W.l{|v5[DɍllmqDJ%o޷6ubxɏ׎T:Z1"uK3#> i*mgªU0V]e z? M^vľCo"ǥ,B:T?n]6 4N)/]& 7mQ2e=+r;i~8ll`WIBՎdhmg_*E%xd!?a+M1Q̫V,WGCƈM>[qrIȪ$dOk$N lwz(+(|0W`%'cƑy L/%;CHjW\ڙ62EQ8Y*(7yCס:'ATlY"HZߞRׄ%2ڦ%%38]\lˤilqVU1kU`[ARW$5qMSV'ͣB^D9ܦKAF{g1i _B0HJA-吺ǢӿUAqFpMڪ9*緔R`MO0nebD*~ T&FAH[&,ď_mGC:!X"i2He-s2m7^`Ti2p%C11JY <<6LTJT8A7^uMm4f > p6Ko:G}.4l4<,C&t")-p@6Q(2m<D?OB8"o6qc_ ^*M*>Uϣ R={7c^7+3hNd>&ҳY.J~ 1 ڪu4c #@C[ߌdkm`S&muH&dڸ6E$3ÀwHj4|n6!vjj2Uƽ=@93N9NX0R#f,ܙu _|)l[Ԇv'&5 HPxݜf)@=Y hvD{݃&7+#Iܟ=ΰzOAcYb:-(iwbYo7l\'ZXM3e~_FOğC- b8vw^A@M)}x%dl2mz18}S;$"QIRÄQ_Ty O}B۠t~3oB1%aƅ9orufi0.{0+@<ؼHwR~C,Gc̵[*4:Zg?>Q>LUBRcN SіmOnPEyc$02 G:ÕFK!8Y4#Cцf|E"9DvI^Q=g><]mX9vq n9E8Sb_`e)( rZf2e#I槣lZ%::Q汞A t mq]4`GУ-Fp=TCOU0hӧ׽dgR0r+NӂVe-tLm1g01DsǸ{KzH bsLug3&;K3>Hts< ^27-A7R`[mI5鯇 CY4VLdO:#uS<q׳7th^{'Dw] L !.' Hlr DE/6=e r4 n p\ŞE ؗ O")NV(*ҙЄ汍O*_UV' f)#\͞w ]$ Gg_g6-s#ccxߏ9 \PxJnwJYMMPڢerzcOڡtgt޼BĘo9r,iBnNūA:O9)Oq1舉^PV,WUx(#6Bcki`V1ˊ~QfRj;b&7 *0  $5K' HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Hotel_NitsPIDE/messages7zXZִF! ]·Iq n[:|&[z8>n&B-}t*k7\=8'' ~ i$ąrAE_1r-VH-yӷ$M7i/D Rd6O෋ î2zٸ4\ca gVwVtzr8grСzXIm}7i32*VdbP 8C.X/v/G`LszC*ត B@ޘ!PH+K#jH1 O\T'8,֠T(PW%^inE6ɢY>&U4 pk8ӄp @7Ib>|k0PS[<0'&Z5]rb@2q9IhVCJ(zZEUAnx^CU&|121Mm;Ca ,۸&4ȥ~ C7r xR!Yp0V ǨϽ&[wzcl$ rIh mJ8dgJ H8k?>2NqFx.ffnxV{Yxza8ÿiHWGRxhPnKCRp]amii}DRDY[f'V0i8Aѵ0D H*Yܳ7.J!?Xmt}<H@@akuZS0Gl*f^;mүd\cM%9`a VFҝ1' mZ'K),4?@@|?2wվT}A h:Y{Uҭ~e#;o:A6h<W_2W8j:ILJwy@C SV玹68I6 ~W}b(/-+.4tHcعsƐ7VAXbV-3Hfx?@)ڋ 2?PUFzY,ehq悌f^bܷPI T%nȳl; *)?Tt}2o?rҒ34GHVRs|у稄j Ѧ==3`cjg{BcـQ#Dު9Cw6U'~\?3ka炌)Kd_/Z֝Eo?6zm[BJZR|y]bmmJ dٜk[ď=*)%C!-EYr,?IPik#K >XAqtmgmT>ꥡ6n\')Y}r7*_BRj)?<7Utm©$^w\8 SyDB&J3-Mhm+5>F] x7?u08: dz)k8TÈOkZ{{Lgb1\fΫZ>G+nZSh}ٌT&x[6A>ZӅp'߇j;tӯqeC&  wuL"tI)'TBGUiDD8q3T]1}_Dԧ4k SݘF$)cI3m([zx-O/eIa6e1.J6G,F#޾ >,h҃(![p_O7RcbnSx+kJŽDIGb䂲B!4~NJ FZ*D%!5~nK*ZFOdl ׾G)x1g F1\xX= "NU ]K+p,|83q-ws/]e;@uQaO="W BEUsfZ]9ꉟ1DmeL#C&t +ް <,r<ԑO1LIb:&%AP8(A܂mO"?J Rvtr^BM`I_A p3`sL{\VYZN(`%c7:|x,j}nqTGu&$ 2Xt >3v??-BK_/2(WwQ2H{)}aыHIZ?hle‚f$#`~M܁r&*ab/,f~ՀNuF0CN%;I~\2r&}QlTS%\vu# {ղgu3%,֗:_aϖ~<_lQmeFtN$ 3;A1,4`!G N.d9Jyal;Q!ZsJd1/- }eiOPp6=-e1.wt {a 呩B5.,/70_~W{0YkH`|kќc4?'O {q8_$.w ϴԋйFJ+!ihC~F[8oqdaH:XxJ$~qN>0=jd*5nQHf2ҀBX9 Ki~bZ 5CwdGvd'8gYZ  8 8E%5Q# HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Datatype_NitsPIDE/markup7zXZִF! |<] !M젗OFK?av̛]EwX^tz$XFu߄z?M Ke)Ip&{~Ռ(-eW w:f !lEo݂P &f.IG+[4[}083nw0` /O6&zqx+P&gHH"+QV9 ܓQsޓM vd~~N헓Yb[(>9k$U;$RS"0c9CdA%f>1Gj)t*oI'^7('[YĂ%3WL{OئG"6(CS Vl49XgA1n$!%;*GM8-evw笃մifU[M6dUx1m4G+Tu˃3=0t9.X/O(*wWg~C@!PZ[qfMaGȎZ> '~0(=AE# ȣq7CAV|0Y.rQ, OԼ|[*H40n=,C2F&2DG7%mO%j|M:@/Ayr=Bl"!Йe U{;vٿ:)N1H%`%Y-leqD{/ZyG3/)v=HϠW\t'HXgV>"~$3|2lw&vEgYZ K&5Q' HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Datatype_NitsPIDE/messages7zXZִF! ]·Iq n[:|&[z8>0tz%IfP |hs| m)2cMᡅjo|\f\ Zv%rZ7`*)(Hz{Ap{- uG9>?;nfunl-^X$ZUU;ERڥǹB0wSц90RDM ExN&~gl]8ÄM?*,޹=~x,D r3@ׇpyh=x̕~CΣWKc&^_sD 칕q߸j] ϲJ'o6G2Z?XcZCMUe8gck#4#n3Q4Kv>m9)ĮEBt B+n'9uFEsIZ捚:gi9p~#ɳ[ h@YɰQ'} )MKR'?#kU8Č· #rmcJ5lsDmV 'Q;-M0vsv&$0O\*|YDmS݀PA|K!u5ra(Mv]7H,F3yڦ*EV(aTKB`C@55c b 7-gA5/_֚G)DhkI~Czk#*SwD9NxT;T V@BZ"_g8=25ۺ$Eag[p> TK_OыDVg)=(/;&y|E*:R}桓[۲{G mvwjW, ݁ <UKbx܋dutq :^*D6?JT}!> R>a%tdyf";RS G/hi q(&\MmVȷWw9_⏠7%MBw?J+Y$Y~sM }~:AQL4֣a[8qNŒoUd OJPf8SMt CzQ9J Zf@ Zr?wXtS{>DR:-(l>22k88קlXIH6=csxl$*McJjQ,-tY8j_>#rFt? 5k4hK6'N̞LZ|ƜiCX ~5k,s8)sJAiFrsĒܔ:'I๒J/ ˰g>U00ŻvVypTahq1'ܥ+Z5NgQ>98RdC=}9)mLadŸbV < -Wi{YZ+l<~)Vۑg>>Nx>_DwRwQbfA"V'X*-O|^> Bw,7հ=HIq<<2ʈ^-۵)-~+}) 7P,%rc=~nʄnI!'׻5njq6kWNI [8$) kpr,5H"܍-6rB 9 NpwL,e8%3>fe R:M#>Fw~/p m@6ˇH:+[{yHvGcjqm[5abƍrJrWx.݀Lb{n֍<tim٢!<CFe97zpU-a9 |vWӚ}jN`m u(D"YͣW RQf8;|{H; trkDOh+|0&M7`T}1|*/(m > 7< șm= BRGmf*{h3-59pw9nN|XV%s.ׁ^ʌˋH\L$`k (]tft?.@):EL JQ Z_ԝe:4Q+k[n~}QwqAݜYVϋ2^Gьpri N(>`ҩzniju7从EŅ[O8"x1LjG_OL kb .cfe s/txKp"D'_ )q 7+ܣMݚ<&Z-itNJg%+ k!R^~֝Aq[DDʭ|st'0ެF/ӣ^Suroܟ>D藖vGFMKGlVC0U95|x@HÐnq3ˊrnQu:ҍME/)& NmTe巆B1Y. U[!.*G 3i UgEb@:\Byό~ VSmDNgYZ޾o-*36oh9@kjʹh:uᛆr>.0F쩾=VP;]#q?#sB~}JW͒!tx5x@֥FKmf 3pu[yjd[>e/g¥ n!7K͈Ep3 JhNM&(o <<'1{tr15טZJZgAOPZo'clO" ׻4f;K͖ghӠVe70b9*? =ege)H%AM1yudЦH,iKp*FUtIdkx71RW^z;;UQqi +713LQH9|(0AT# Zi&e?vdhDwɉW\$@ 0L1sSӄRlpQѠ!s7+#~u}e󢋌@O͏*~9t8zFA{;Kk-p|q+ځeT匮I0l⺞VS8$Px:Rg` !Z?2N/$Chv r'^\юwz1d!wEgdΑ H y,{ ^9G%lQ#m_&IB>e D&}UErsvvV)9Qe Kp#8L .'Ay|З(WUg8: /Y}V  WT3">P$JC<(DyH_*j)we &^,tXH qMޠS+o,zkzW*k,!t&&D=5꒪?7Ǵy\*mZfF| iuSeĞBPZ7%x4 gEW )Aif޽z0gTr#ysN+{Yk$ N$X1Pn3\>b8-V)=@Qa>g-K-tu|b:1Vꁕ)@`cym*SLzќ$rdCTnD%Z$:ַg'q|JH|퐓• H܎B_ǚĺ"pe INSɗk\6LԠ*ǜqG@^eB8.${u {Q4=+?,CϢ=R03r9={d]u6t|ewL͹pBm5$_{g CD n:>Y+*lVֱ1T͹m - kX({x{wu?gc^m2@\y[/NwxunqRH0_ ZIiY?]PĞ[~Yck몗yTJg6bE}{I*6Hko~7U=?ASDUqv*; VjLFUʹd6Hr8>'hfWo402c&RHLÓ|`b°-AQf`]}T6鬭o@0Ǥxe?,ur XxeL#cWx3,'+UP{3!? -PH,st.?n/]wbC`f-{^/`Zm |&6bey Rof@*dbuGL;)NKheZA3:Xj3B@Wjk)V X}h%p[vݴ Z\_q0Ԛj$pbғ-=#irzqZva"޼J sq} ~$M/ Ypb:Qylh-LQ+cv'ŖьCB1zM<閪 {om׌X-gyJ.=mCLjÜM6 ʰot v}lX|jJ97RCM۸E2<@g@F3+v5ӵ&N75쨱K"AB,T ++Z >w jI^Nۜz*g3v܂u뱪ܒ~*;kѹDŽ*y,!&6P7(? 5_ wRs^%ݾ@1,3ylzv-T<7 tHW&D?axA*jLSbK aSK T!ϩ+Z "T~OÚOʷa ,;L8Fq 1jS jIHO_o:4uM^?MܻR 5'؊AWQQnkؔA5n~u!Ώ}WsmtCiNm\< Cuj1y!/fʎo}2`eAӯx]Z\ԃpI/w6jj*fcn#g(#$")>s] > XG`lDVU2hW {S>WMpDaPCSU~A!bw3c#&NochU5 ƾ48coOW̉m.\ VǦ_#pJI[\2 py*}Ŕ}x@e&X7}ɱgYZ I'5I# HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Core_NitsPIDE/markup7zXZִF! ] !M젗OFK?av̛]EwX4zigy8Ds]d82˞?Cl\ zѹ,y/o5S2?د-G&˸$t:~#YGffv 9)Cj_wHZ{2q3:t>GݟJ~_ 5}ɤр欦[[X-5 :hIdY|N ~.=#7%Aa4]̨u2hs0ebEafA|9ig3=tX.LfINU%> EQ@.~5pU. YXBoAS9gΏ&܏d 9CCx\b"8)ߛ>ijzwn80[KP ose+0~|c?guD uT [5pN1>Fr[ޗHG fE va|qA^7$p%ˆ+ $hO BۓRZuzF.{@QJmAt]K_ĢMZnkWzDNcK*z,١F/5>Gm5tOw~&͟n߳oq:F! r#εaQ_XަOǺM~v=!)q.yJCtQIfbCRѶ=X +tk&MXh31|AjḽX*4y)E_!kS&Eb@7a:)iP`#:ֹ]1@P:df+do~68״ζ5)߉.BC{uIQ.g#/ 1 rWm3 =Lr.]\Y` 0{hd|`Ȇ̈́q]VN z&n~b U>Jt,QvM@J뽕b6nr_{/u&M1ۛ弲#IȊX*Ɯ} 5{vW0Y7s~4ӂ7짓S*B^/t}wYeʋ0ɒD&{!v*Q&=j/% _ò2 }`vPHnK[FJ~~E6%9l-иyn'C&SX"h+Ol]C Χ: 3y ⚏e_{ϕ%5 ? 8LoGd z +mƐZH-|G;;)TuQ9yw9h7~wplR|kOQm@ɶJ)dO`+]d7I,A[z)|+wio()) $ʂ)ޢ&˾ .r<6NƓHH# :*s$:kLLȈcMQyZV+:+MmK̒]F0&a3:yхtGhEw뼓(m5`"wI6(eԲKG8Ԍ&+?uH lԕԪ?P st03 0<+#c!Qsd3hoTT7"W^wqjJucCI/YM+?i6sBs(t9('镁K$h,>pZǨr :`dlƄ}틸AgpyN٭z[k)D$o _O0Et_;v-D[3m[A\Ì?$@GPpwCӝhIjO3P3 ggZr&fO^a(W)W8->6)C9sP^bk~ SL+|GejUad4jѢɇM[MXctnP)Ox|Hl.YfP(N_|pSMRFZ͞JUamWޫPn!pLWú6he48h#C KFdX7YXɨ}|o-p~Aq6~\8(qCѐ2T : J$DNݒM ٥WKv H5GWsճF)$ҝB+sE,bREYdNp> EgA:BV0C念%SZa QtvqEs`t7j<=ĥ$IO)2QTQbS8O뛐jewڴXVnj#rƏ9B81ASh!Ŝ4r;YZu~Ln/:B]>hn$/uT&YP&V<\ޡg+ ēr3452R5@XWNEK@&[8zB@A_嬺lؠ]yNG[=Np1u0*/#(ծ3#t׼*dUS#cAJn C-CǿYy8и$tājfuƵ9> /Z+UGQxӐy u~ߙ i9ᔞgwJZgt@/2ejMمij )h1ta$7oǸ@I-+ " q2'3'2ͪƞui>zeu1 k<}Tb66J,$j|{HT&, fu:MΣ$i iÑbnA* DIS" Ҕ/)CzfWM^Kώ k\Fc#3}6)*׾g'.+X+ xS<4ugk ՎR烻g^LivaKLrީBoo5Sm'6B㯀?wc/*GR"mӋ&SRveQkЩEenNHp-)WjB,_(5u2 o04qGGzcx&urZNSƙ (_RAAVmF7-:rO4Ζi;|ڃ@.4iss2ՓS0^8zHB= K:U׸9^u_D*qb"nȟ]J4kȿOZch"t@aq6?tyW(縉lym楉,ktSD w@ KWyjQG^t{" C~/^#iۑJ{ lGl$eYmѝEIJw,s`zy v@aF'8" sbh )a ogdFtÂ&i1P{y5~swm"t(#TeKK{YRchʿȋ^MwV i-?nQxk{"r\_K͓u@EeJgI26ꔆNGgٔ؜Hc1 ģըr9z , ^7'7]9uGj~nDA |}YLtb.6ivi=L1TᬘCo\eJCPey|"v~Rb gDu,p'!yXQ) cuη4&ًm)r=#+Qذax@_A1K46V: ٦RR:롵|nn?}@INr"߉R ptі^Vl @R7s8Za݁#3A_Ra f"gSe9N e X4{OkWnB :(FhD6E4o*c`iaϡB`z*%91Bc>=[s;Sk7AWctp,,OD, +K0z=zLl eP" bd#w^yakTUP1`-JsJL(~{xufhuAX[fQ={p 8K G73gŘ]+% NoSs{1Qr4VQn5f? JE`yKXh]‡5іbj2zs0M2З<h&v6쇥Ŏ~a_==u`7]G6Pg0:$jd}ޭHS<ӌ·[U'mw K`:;vEjbܽ+XࣵŌ^d~e2⥳/Ū`ڱϳ2A(e9FQ~jۥ+i=kZϕ{gN>/`67n0w@3BxZH8S4VدQH1/1ձȉmθ>z.WrF\W!4Wi~I"w-׈~~F,>C_S- 6XltJ4$GMA84+W5v !GdK6(Q/B9EJRf*RטgӜmvit/K8Ce#[f#'$GTÏXn&7ExP!o%%_ܿmd!~{dO'X2Ch u#DjoH"WwԨdZ"NDp6;8smwBz}Oԕt B` [`8Ż_-",hJ8hHBVQ aT .d<*,vTgޮosi9(R6 vSƕ{ı/ NOT/hqo^ЏD} (RDœ*xmf5ifKZjwX&} G10a:'cU_Y=UR<Q>/7&ut+|bn1};xIOPm,v:&T-Vʛd=2VR!o$% LT^\p^.we1fG;)7XIi>U \}#ԤI"A~n/y84-+cV$O:@sHjNʫ,ƥP*uaD5MIJz4ͮY5D6;1‚cUEL$(zvry¾wMj+f~B,JcA_4ʂ0" 0$P3Px gsL"H@l0jwQun Ά܇=漑ǔJfb|N )K;Th\b# [;)_y[ҧL<[crt&@N]4csqz#b;{Jo6-#`5_@]Tdv~ G*04"THbX.,\z4$<,W/b]kآ'ۣq~uSgNSݍ,)gaF"k ZM_JkK?# Q1+,"Ig|=W;D!n *Wd A`>%R[l#uFޞd؞;4ӸWsш3yռU;|§ĉWAXSvGmImI3QzKc's73:7`ɷ26d~2 "q$_?Gw|;CŬg|뉖V!k786ٰ_(F| вk5$KF)Ikmض( Um(mE0+{7@dh{JrPZzEj#$9+y+>&[iI<٦k6/ۈG]LPg?εX/|~+J0iF~d!^~*S5 .J*JR7̈鉎}^kEe]qI{A]i0ftj0y}%#ܗ7nUg0Z ٟEmNAV>Կ- Jlť Kxl[|\"»w҆[4$8,IW¥h,;l<]J#㙏mVVqEN( X#vLQA %3Oܷ<5÷4=)s6SHx]-a[׾o~GaHD)P1jA{[@C&OG .&N| xm#KiýFOl.K$mgBxbYHA+݁ pDk"񋝔4?")wn:YPx $i1/BOJlNES;C{bcp9_cTM:h4C=ٟaH9 $/l}wﳹefG4+ yji >`>I'> 1N K՟za&Y,InXuEl/N05f]/>"EI(Eb6xskyZ::0JFR!vl FHěZ;\@W [C8m4.2c's>ݙNgrwDdp@XT!f D5^yb(cv*Ĕ׽4X= xʿ4l ubAiiDS2z_Qu./T{Lz9*rVҔM6n\>M]Ϟ/1Ėibtl=DelP`i+ &^e QQ$FvO0D$xN/p`׍wx 1 >UU)Fx⾘Y=\_JS篎@.>'Xc2$$u2&8F@B/..Gr>=ϩ&Ix5[:]RQǤPb q~z<ˡ[+НVl0 Xێ#XCˈ'~-sڷqknDƝ\k? 7t'Gw>֔ B-ؖ*"4;k|?6 1Ӑ. RGvRkԄEZszjcM.C%y?Xƾ̕eXt'$OMaRElǤ3ӫxf4$ K̏y)ⶤ1cBhbVoot#g`K_8V1vQ Tak@$.TLIpQp`HzK_|ri9q@ r9 :G]|OB &X9^Y5UnXU ڶZ&F$tG*Pg|g,ZѭYi{]֭ު^}`fh Pce$ b@*_,CÛKpa6^?@*}k;c/i ΢e6&.msRi*fM:J˽H3O{Yt:vxB šK%ܨ'9ge1M񮜀sV+_69:;>`LGߜȋVuH"vCܼo7׏9H9~1ѝZ/s~ޭ*1DU4-cê#4&`7"ZӃlbFJ/ӔarϺ4TM Rj2a3iHuDB^Y= T V 55Iv9!Nq_St~_' O(__Bɖ 1~b拭4s8  vdI|BL7{:dgjB]dkV$X'^kG|!]zS eEgihWp} X .4֛>%V&~yFkK0J$z$G<>0FY7$) knzݺy#3 %pBngc:FˡG{tj$9;;nx@CEo5Ws8˽DZgsxi {tַ=1I"{;ɬ*SVu'e{#r%Y:~8js(6Eo9 ٶR[.{!P/`҇'vN^D֓ieCFLZs%7 zkصU1 7{V2RJ /CjӉtXJPWtEVf1;+U2:"!lm(SO`3RMIč8\}:،]$u0P*%R{-g749i]wgײ.DfdkUI,Rv1q踰(!F,8Z3u. P K_{xM7?C rE oZy~ha+3{gؔ [o~OehXhd3۹Ⱦ9m<ϱA5@ӼmUkdo_)ET5_ղ;:Dgѻs Mnse%SXT .q|WW+3`¹\t]1"uY(~B[BXvLt. Ii|msg򼼇حdžB{"F_V;m*ҙ7iD/uʶO;]vANJ9-:l1P@^gU<`bƻyH>'j> u3B7_:K\^)p9PtNR}=ߎ@$TD5Si_s5i+K=7qw[!O%_N:NTXMEi֩{dGmIR0TT/\BK&0{ّlLBD'ۙP 'ʡVO.B ?}EJ@\PZaD XB^ta.E?wav01~ jjH]5˖@`gtmŷe?cvҿ ?چiQ1u6%3עI|.Hcc>0uZ^0GfTt OcS706% g#v" zSWa Ԗ=V@VNz\ &+}>W(资Zm(.k Ua* ږ ne^Q:1<=e; cG~3~ƢLX2$WdcT-*um&mdH4RAJ/. OWђg8NzI%6@g?U'x/=LXDmm3~*=4aj  _?;K?K)&bۃ$t\\W_&&t0.{hMc\-: G7SA!݅ `zpP:xl5l3qcmO_ed&qfØnɞ9d˃NBoi=^#x_N0]sd0)t}#9ڛ'K bnU#/±ʙ"+$pp1I3?:+ iȟ/"Fo̝mGSimM;p(.c|2 B+@N#n"dOv4ϖ,3SC:ŊJ"!:ʃ4kVZaļ~{bҲ/o'PHn )dTG$إRTY.%c NTJX] z+g/$>~u 4XM8 ]ӷS`1a}.3gG13<3-X 5-whHv2: .Yq @YgPXZr`D`vSeLfS;YIam{pW!8Z1p?E2ͤ8B(I.yP]ڻ1FSYq*frlMhSЎߗ3#vBmev9IT9:"YNO+3NeSԎ>/j9F/ HFI.{+>)y390}")v}z D1$<]̊,']'6 ?;cuf2b]m UC}[ /縸ցrK<#q |#O!b1v8[hY物6}s\D32x+Oɑe*dUK?b=l?|2[yRH|3za/c{-p f{"$;EEp̀O^T*uwczh1\foyE<5-Z_bj Z&0*B6KKfR7оu9!Y(%e'{\;{͗, "TAtL~ԋS>ۨιm[LVQ=AR%- WBxTWVv+c2݋sID$10qvt~not}^gWqqWXkw~UE)WN#: ₛI ^^& RLO䮭K++c E5(2yANV"7)W ӼHrk `|˛;hHT6 2 y O.(@9j ȗo\4hs:ܝRAOO]_{r ˺3fCVZh](l~g] "*;eai]5#e9 B}D?xŧfV TF/Ugr8jFyif>poyqScw L%Ką #gCїXkB݀[u f r7_pb9 ź/"r=-HLO)hT`T% hOrj= `CY'Ǚf)} Lo2Iк ĎXJ]P0};tܣXufK6l;ԬPU~:tۇ xS4+vLk\kN] y՘Rc0dO%2M9j N[(ltB3U\'./)] ('X'fz|ꮢ6mlx_q[Tohly?2K]A \i\I"5Dqhn|l{t_/2,GlXYh$J;4pV#ȪƆT:i_믎9]tkՃ|7ߪm0+HeN:.Ah2 ga/MpwϢkJ(BݰnW$*_N?[Kv7-@-  Jac?1ӬX.ˢGn2{Y%BAbajPXBeM%~[LYhG_/rҚe?#+ - t.qXTI%b҉MU)|<б] W>!e,J$5 oK_SZM0;,W{C]h_}Bť2|茒-c }<=͆P#FםuXZ,q{ TK56B Bl%楂GKO`fӭq_!T"6H3LHwpÿgmÜGK$buUp]) RtG`J"#RSλp{xe40# `cb )!2G5@TrR:"4l?YX@f6q3`Ut{l۴YV-͏"N: r@ [y<9 ;6V02hu\^Q1uZp!AФO/CmJU7$h0!Obݝ׏`/ <IZ1Əvgmv a_F8Weq58q%N,&.W4Ek8q (+S]hI\ d, Ay0W?[nƁ™R8K+s8Mf:|;I10Ob: >KX7<b:4Bt? U=ȣ4<R"^/ؿҹb'ܨ1к7KOC&(†4r.ԍ:$No.G+Fu[\;/o,'Ӭy^Ǽ &~e-oYYMA}[w + LZ?AADF[{3l+]ޞt/<5&{ty Yi 9+| m'Vbl9%ԙQ'\n'1 ;E @ME]TZl2ͪ\ӮKð 3U`.(\񾥈8Miesop&ܓdZLĎW U$_ `"]^rWs5Xā3wT0MĆ;rEa׾XNְoۡhi!y!6G{nCpD^K=tlVBw,Sr6tF<:豂`d,(UIslw&ycAީۧ;De$91jD| {OJ\#WnҥJͲ3<\N+ovM?_e \yf`yGn-&C"ni(o.|k|ÄhL=&gvXK0GZz/&/n7v,n6 :c:T֐z۞^1k4IG4->z nAIŎ1ڻYJnߝs6Y&)]>:ތx Cې/H f3@b2F "yr!TVa֝re{98cيJF3x4K}xmM hǢ<YFJp[a4}K h1]^G%zY[m"&H:8G΢3꣪ѧ{`Ea /@Ե, qK[xM'*mDYbY&/d}eJV u,ō1[۝;X5vr"W#d?&Ro"KKH1ieB(X:cdЀ2$&D Jr-:As+Q(8( "DTk~A@.VۿQaDb*AEWcWWe-ddS*5f" vN;^gDR\oN"J[0=FYgfn6~h[Tv:ůryv=6+[`1GnKbKs/9~MA[slQ x7!sNԷ@b ^ ΐ |]rt7*Q㭞E =8C7ZygcLx [r&jb|p,f]V~l,%8,BTc%H~>phDȭG0;7[(,'8v V~}0KېUf!:L^ፄòO `X6D74 CvZM*E #:c^2D9^D"Enǐ8)d RsLmɂ"W~ޣQa*޳pIQkxZr |:pTgpTw4P4=p1?7UNqqPc !b⿧ݓA' 2 93vcǏA{#9iq&1;kIˎdUoŰ4`|hdxU4㜛 sԝi7fT{%׆x ,߿Fǥ(:kA4+F}YMLZ '`RH'x aVw۬%3yuF(jZ!}H 縮UMhW'tFNj{ϱM|t:.RFV}jqXvL whxs9 bq.נ }HCnfj|bs*3s`&PjKeDH9#V99l\](u3 W!U':FCL΋ ;Eg&Yɦ8j)|M$;t>Fn$׵oc=cۖ+! |/d{Vt,xr8_q#^ 5`#;<2QbS oǗqO% X^mw,;s Pv ܣ-^U oeLxl0v]*Ѹ6 XozS{ 5A17/[/DZ}:lyKbͯӶLn7bA1R;%m,;].D&~A&мZW$hL.q6_Bq m܏K(μbug!㿞m+OZpp D|-̑_GhNVvR[ܙE)T€B'l) 9 *G*D{Ki.=\@oF/D RIT[XKw@W΢k 9 <`7Z |) kt2iBH*(AgLόylAJoGIq#o. z{N<oe`6 [Δbd"o7ة`S}&9-eL3,REѯavxjmCf]dҡHr(^Ng'V%,.- "u=Oyzl_a4j ňR+:x2UXb.! "?*{],`1^]n:"'M>L%A񳮊V`s$bU7刨JQOɡ3L+ +O.>\BӖqV!H0V?DosMĄM#j=˔//^jF }ƊeGbYvkZ'^wDUX+{p#P[ U2E_Ʉnp@:5,>{v3*ˍJݶPxT@'S[}A ˟zb[X#AuJ%k 0.+#05kK2S2P+e;sQKo ռ 09d"gS7 :IPnIDV-Yk. cyF} bwi bXp᭷j5fs`CPŤ\ 33jٲKAbvt*!dKxnv:#wQGa}ቀHo}Kw#|:ճ$z_7Ρ"FܰVKI4-F=+C :xTSwVNVד/S$B.93`eixG׮/մ>/E3UϻsCDoE+7{9j)x,$c€uC1+EƳ}'-FÏMd}!v9 t) h}4a*n d́KD"A)5w4\ o=sbPuߘ6V~Ǥ̗-P ` jPi WT2git-a;I4m.KIX룫ӒB#|JM6 >[H|D#QHkbd ]Vl G뒃~"4ypxM~[Ph<q TG h cޓGypEI(Vp2Q.{ZR1rqGe+$ђ8=+kZ=pJCӑ_toCz.#"6BT$IWYȹ4ENI8=2%=Fؚ UߌFHF8IWm(n|QM7Xy kGN0ƞ@ZRYT^>'6)M:"( /*Ӹhwxݤb3|rE}I~%O#^}*T1uocLciцΣ|/j>'PS[]T `(\=ZZ jyo\DOG?*|N,߾-.əCM[^r:0$X#Lj-%4`m8TX#6\1nc8U#CL+X׾ ZU;[9 [0Cw1{j6d?@aGp.Ljk>,!y'epƥǂK sxc"LC2C1˘IG:_g]>YfS"wveצ>^BzA-g+XyhW740 Ff`Z\r i.7|un,K2r ^\PkVwc -mFp]{-vnZSp۴fB#S;D<)r'QfB¤ {JY7(~{`WaZw)O\ɼ'YlJf%$gr DzF>܇yօ۷d~19j^bU{̖OJghtKV}<;l[{0dU&:Zɭ,6c$kl~)?›NdCRy1>pR}d*(EukOzmig/L 3 v 3$D\3d|VlE[z  'E"9z'`"5]z tWHι=ϿͣT%X\*Mx/?D(7P1cUQۧo~Ah`|~c pV8 /ӻv*"0<3H[}w<6&iVkV̟[FF/rO8ivgF">]lF/k| ΃lXeF2+v^S*zc=~:2zq+ GCBhxMn aWU&uf/py^+Ҍ8WRP7'@&r:EtqXI\+SRE {m÷$~fENN[f?c'-{hj[%uɗPҽ !YNcIrirv4%ݬ!h"e1Bn\s]Yx ؂~E`w!}$ƼK+D+UV]jcKS #/lRF > s AV̹cqŦz hIR֢u4fxg}L4Y9aq q FߘG߬(rP?.\_sz"Jc55e}4oJo$ϧ,0&`r͚d=Mņ.;>f/oq[2ZshUK_oҪxV:n-SeF V6@S25 τ*Pl<%MUS ߴ&2=n ;թAJ2 +QZ+*Ha@ T箇% _d1@;RI G?mGMc&[g#x9 9xb ~cTabָPE]g!)Q*QK`P)_u]E% $o pQd]\R7tWM\};MNƈ}=Bqbdf "3r(eΡt`$%gܠGHI1jzCR+ITG+]^9e2 qqkaiVtPzRmVX|b.H6u":lEd6K NcP+Y[/kSP@JY3$5KL6\2] yǀ%*VzT-O/۹v,XS |ލ,H5oH`ٹei^cLv:KBꀘ OBF;ף!e j)pFS~KHݳCd L k`| E[I?Ҡ H:ݒ7&A(^?]DqpcG:JuViP[arO3BM2,.*cu1?ߐ :4@;cP%ПdN2)tAJMQU>w^lF\%Zp4ʳc[T\ibQ^"c^ gh 3n4Ygn1Ӣ2:޵Ib+&xb ^։ @ZW20(KMCv盈m{eG DMYfZ`uʄBpbx UK%n 8"=E-Ec8]pkȩWIwH  `:pq΄rdUaF T4YuAzkYdhNІ&A@c}a4+ DDU2:l/#N [caJo3ߐvH~"/8!}f<. ]L ԥ!ۨq|i[@6Q7:'"۩ElIl&,mX]񣐴u-mcyiiFg@ߵָmNdPy]T7E6xdO}mFӿu%8kX O=orҔ-Nop^dL||Z@!ԑٱUuNLv3j63"O}rI^&ڍO({q:a#8TKL'O (6}5ǟaP]V K˥btL"BkJxk#ouTپR Cp\ YA| ULmhxKj@ bC踁 z[KHC8rH\&EE&;_UYJ![*4ټ UApp+ɏ觮(9q̈́`)8Wf#I!y*i*`HsU!A~AQ͞s<4a%É 6m i|Rƍ9[r`{U"6f ۺ:IݟRr!{^2++?V$#lg.rzS+ q3, ,60KU /NMmR?Y8擅[2vU6 $TpUU۫k|$RUi1j8uVR8C܁FR=QAOWpvVȸyr s@ۉz+nWPVkؐI"aUDHϠֿU]rHtI54*7ǠӿnIWU/KJm^ >6{@@xSQ[Lwx7-`5mq50=eYb"X!>2OysD$^]ʆKRzT3cnŞJf* F}(WSؐ"[cxMeS5nd"xRl 6nzAF1QZ%ztIy.lXhK}r^=Nix ŨߘUw./}䇚%裋՚]/z[x!и1JnF{lJDor,`dg, ( ۣ^%C6Du PF) gA55f+R>hMx4V~Qr9֋fmxV YfsLHƆȟI^m4Cduy"꺱:Y-.e=cl*]Q=RXF!K^'Y`GIW7̫q۞n ִ0;R^x(0 GlF|FghZmgT"v>`WKC7ItB<]xLXR%/K$WHX&BN)p:WB_دvyْ{FI!v!Z嗷Jz0咀gB| &"fώ;tum4 [ߖ e[qfEgqE0^,o?0|Yqq\UrޖmlB5 ޣ\-ds8 I;϶$/GF!?Μ+xQ.j!qCbp&tp8>^5+!}O:Bjڷ[ykHT̾_.P;]>!vL{HzD=D @Xu|?=&>nwH$~fJ!f] QP6-4 zq'wf)e. Zz&X|F&Xd_2W^1Aj矙[|m O9_Z"YƤkCL|O#rn%MlX@0"S[x]@X<F YzNF >mw:0#͙)*鮣\f+EVi~dBFL x.L(N^'޸H{]Q!Pr'V)עW'iw #hkAdi?LBlڥwR I%A Pk&F1JhЙK9~*r62ŀG<xᎨxX )kMPdQS> :O80+~ ~m' b8 O* Stf]f*h9µM+PGjy~~E/i kāg$e!J,jΪJ1||r2uGFϯ w-\/X/hOĂӣ! h"[6.tP2l;Hx*6WJ>Gml]+rƿv?H͌w,Mi]zYj7 Gm][!/xQ~ 8ʥEqu+e%+F%o)|/i-iȎ11/>q?C2cO0 ʔl1f+^N˼)KvDK2zwI)]h-yf]ՍZ5#0 eitf*VƝ쯀{VIQ] Wr6M[.-=>"0SPcyͥb3M)n⍉cUCR1t=[[0CFv4F6̴G7~=lUYNL\6zl C, ZHpf|w&X,#IҀ#=YGە y5oMI.*M:2~:71tna0*g\oKZUHxŴ;ʈ/RAɰ,߰w,P "[ezAJ.X)fRvLqk噹ϵ%կl:.pbF>y\faXk=P[pqKv `B&#TW^P~FF58UKX^7:idt[A5 9Pa!a|³'JpzO3U-i*5FeOp+&AWP[s0 phUvK/RG0ޛfP]C;0YZ ][*5M# 4HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Record_NitsPIDE/markup7zXZִF! T] !M젗OFK?av̛]Ew^Df03 X=Z0\M=My7Wm3<'|'i}¹oFJf*/_EJ>tFE18%xR*d_5ͧ/I|'kO?MPz8>qQeA&qo!o54`som):r"+mi2=" BtLəݼ'٥8/` \# S v#ޠ'n2,A/ XwTNu=-}µp@$Xڱ(kfضr1Uj`s|/b8R#gYZ( 5I' |HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Core_NitsPIDE/messages7zXZִF! SK]·Iq n[:|&[z8>!o'ޤ%(M~O' )GS0WLZOe66u= Mdz+L͞Wa b";.{2ܼ{S8z01JQQp(5Km?Ϊjkv|1~:Do]޾q+YbyJ G"Y1PLx&*2*k8{CP.bB(E1.9nv i/fyU聆D,u'YE#(iN4KJK\TŠeb4\->0Z,2R>]65ۜ0m ?85߃.1SߣkEpm/<"{F8'#WP'!bioXO - .SV_I6}lB>oA / #E9qmwۦIYaErIJ% 0`}OS4QS[oϲHGPR6Uak7D-dka/(9 vf8F<Ԥ@>1SmӋEmь_ϊ;sXV/>IW#H*+C~f+Y=S L l_Zy  7f*H ;u4&2yk ƭ>/JC78i[V.]I80I7, {k,xJ'ƫ1eT )Q F%*gꬒ-=VEJD SEV-F#BGC@];_`|zLAoB9Q\A,za۹.I5vxJPUBeWV}f{v{陣Ӡ]n[D Aj,Jl*#6iz<2z8N^(@؂rK.=aGlϘg~^л %I d7lZDl?^ |VRS2,cb i,#JZNC6i)5êsr*/X߻d'Q)[CJE0`Wjϱ+0 {Ny?5Y񷑯"%'mrɈ\ELaTŘ.dK1% /3 ? v+j&i;ٮ8e ı ¥~a h~ @NW =gì$V+VS[LH|P.lNO8ntˤ3hCvBUxO@KGecMNR>ڃ]/^i0A ( 땃uJsiQg٨ Dxv1k;zЯRz+0' fm_FϑPq{n晪G"V@Tt`56 `7 ,,Q+5M' HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Record_NitsPIDE/messages7zXZִF! 1H]·Iq n[:|&[zƯrRpxɇ`0 F3}r]+qoջn.^a*E(? 57[0myM?7 y dʐ=' $<fD`nZ- NcT~ylů9,%m-"]EtvZVGkU1"x\2{p]|#S8KPJ!]r!G/\١!+[)Y# 4د)o#BtU%Rcw* Ѵk2Fԥ7tVu%e$ufǰԞ @'Pk!q5Є̉S1zsykM\dKv)_2WS?aTח!1f%_rd/[8 90e GhVMm#DJc@ϙj10(콙N{^ne"AALEͣEu%9mQOة'wS" YVRq`lSr?ߔZ& #t?C %rBLm>ܬ‰-'ŜwS4q7pEz0`B=fNǤ7QQ5?6&/LlF. |kք~xtn:Bωjuql-,%Ƀ[X\]lI!(;#Y ai՟jzy:ZϨNUdӧ @ }][RpCj)~vN׆ @;Q8 HDcOqΧn8&q`|tEC8> aDk21B5ǏC¦f5 S 'a|@[1STQ<]M9j^iZ#{1U8M3 3T\)SНBI&mQ׌UqOG\}X %,pQ7ժl0]C.Q?"(޴Y/jj C)U< y,`1]26HmA>3eD&UEEimVOCh2X{69se ~CpcNo8_b/--Xwb,h)S-sGD9$yT*@w!^GG`V!.4[ïnHo[k.@$_v*' ~w4Q,F<V&3Xn?<*yI݉ yBەj*gފ_B*:>\nooM׭FHTzx R~̞kB*"TKo'Bϻу#Q"122.kP.F F*z$zUUxs}fwtϕa{|%f_#Kr~iߡ!LŒp|tg9Efe!\4[ЀzxߵkDZspB.wDž+Nۙ㯓S5GiAݱ:4t 2i]++ErBN<]x7mȍM<<038')Ln'%L;Ņ 8xALe츸|3KaaÖ$oخ)#Sv0ҩiJ'ʡ-(BWUB>ڸaTܶ><;{dz\5b3իCudžȪ^t6c=RUɬSK%h u<7F:ZAnP&h ~eIvFڹ%!J$k 琧m6x?;5iyaAGbnط2ĦQо{&BއRցRmv<.QiD,Lkn3m{4|+˨fyXӳaf DKpPó!A!^dñR9Y6QчRizOlxT(W 6 aeL4Oj7UtbkDW") =|җ7똗VTQ.KT)w&-r  ꫋X0Y`JB,5ۃaSt22Hqu[Z$^<3|xmâzoK@T zJ<ȩˣlYTXMP˱XRTΥHyDxU1hn|em B-lT:q~10 l|<&yii4r^ZV~BV[nJOLSgg8w$^e ɥ:#]:ѹ.KeUlò cu&HꗢeZV2B ş 3¼`W2r〄u.L9oIc}&@zPuz羒Ҫ߬>S"NqVQ1g]6\Xs' xrNVolRн-Ɔi/ Tδc=jO^M5K (D;]ϒ}OvOneAV'Jɑ丶ZG/~-E-DC3ĥ5 .}f1'M/NQC؆̜8򓳔.x"Ny : \9B J\ w0Mӏ%K-CG'ٜrJHEjyG2w؊/,ӭ j24.M:XbR+bLin f$ZHS mq̓~ǢhAy=b@ߑQOil6[HeeK`q;-ւlqz ngYZ N PNV0 5M' $HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Refute_NitsPIDE/messages7zXZִF! ]·Iq n[:|&[zWM BHI"%]s 4fo/ k\,|Pd㹬^[?&Rrutf5_F0؆\QE̤ {uG,Z&:aqLIJfP kL1c?G/uNJ0&1i5I*3I)hbH81x殜5@NJxul6̏dQ`Ph/%tvaL I~-3Х݀n <ȋ7hXq80Y~ch)eUTOSĩQ7 x.=`Эp7{Z)-iطչ*%eh "cȯp NJ:*6Qnж6*[U@3znEݓLCOk\K3ϛzecۓs7v&%$  \f ʼn7\ 1 %E_nu\o9|!>r/JcX%G׻7!rlZ-]Not%d?}eo\eiXb.16Dp/ 5M# \HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Refute_NitsPIDE/markup7zXZִF! 8#] !M젗OFK?av̛]Ew^E[*1D|A͠9 X_d`HBxNk܂] |zJK<g)ZE&tXWxla6[ 6%ŕZqAlFSZϱ$ݞ+N;5 5+WIL+1 dNdkT=0KB2S/%e~vuM,c,^+L)Urn>2<2zXK1vJ\#J㢡17؄ldى'ZnMcú#+aN)Eǿψw͚< ?)Ø{V&I,Dskj>$ =*mf(brdܑEV>W D$\>yJ4%u**Zg UTƍ3VkJIJEũVSU~xu=u2 R<TpLKDPCj@qFNjrsIimMqj }([-7_VwPlz1)w#+QĄb|+@f|TU1/4o4[ FoUt @(6~h@=I<.BA)\f 7nPе,٤]gc*}z)R(K-s /5:']},*/8?p[m)a*567( 2/ֹoB8.5K' lHOL-Nitpick_ExamplesHOL-Nitpick_Examples.Tests_NitsPIDE/messages7zXZִF! ]·Iq n[:|&[zz+ j &D@vP~|Ýi#FGEE-Oxӛ׺R L6BD`/VL %+ $3`UgOjB@1Iil6(tFLUN+w.mQ.gYZ-5K# HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Tests_NitsPIDE/markup7zXZִF! J] !M젗OFK?av̛]Ew_;p0)-D@r(2oI31k$/[cLZWC%T1)ad*&URepC'rrژvLtkZL:=U@Z~'~El}1ہ5[rkOyi0 m[P"Lv| nUgYZj,5C# \HOL-Nitpick_ExamplesHOL-Library.Quotient_SyntaxPIDE/markup7zXZִF! =] !M젗OFK?;uL2a}x}ܱ+538%5Z-S*#H%}$r ?'Е٬Lp8oi&_64bURrש}QgWrؔm+zG٪`@Zz<x_ҔNL]ayI7t- ^Ih^2>ˍ\O`1NES` }Q?@y$gYZC2nYb_@/z:UQN}C)eHWlRf mJLggl܌!A93&ox0SG" F=oƃFoR.ggg M Ju*IjE"?@-9~p/#Q[ږ !Mb@ظszbN~_GzaŘ\4.p$7*/O9W@7= 4y.> q5U>3- z}2oVi*Li\f9W cRO i>^|ho`xB"YqϺ*:R>C6-lA ~?|4L|m ),;sL%O젖ZfZv~Uٔʚ,Kk*hs z~Js%EPÂUQrFa2R-={ pQOu8Ur50Kl-6@/p/i#ń^eMxA '+v@fwJϜ83bSb9e ͊`x*z\NvOK0wScK#2P#vG_@1P-$d,:RjNc4{ E]7'wH_6E5p[P!ez'쨝 t A˜bf}| 2.(@x/ `Db8`Ll<夗O\Ky*) #X fz7$ a}XifC 蕤 G#q-ZނYJxfb8ZޣnJ堈ɽ9 >)X3=SDݏjV2BSE-Lb>"fcdN>uS{ЯwA?k$1#c_ID[t@Cvr= E<)ȠoB( &L-c|k 05Swp_mO7j.:<];^uukP0ژHwҽs+ܜ'dIM>`<γLf#ZiZ3Q&FZZnG * 3|ߡJr{;y^w^}0[e\ZJT +j=YuDaevF HR)4^{5nsw14+)|BE/BdFU=BXWAeQcѝ<F}m.J>W$-T u-fe5+`uL+tgmcf{ #3a)wDH߿.eȍ:#qGpwu ڈF ބ̄ٮK! )L Em~Ab /'¸ev9%B.B_(i\.VCv)vUJyܴ9p2+Z)^ >߸< CM:#HZle⥘۸$֖=ў#PDyK I~ WREf;KJ?T/y[=]UMh\G@ќWv4֫~wg&F`ZPٌ0AQ~ gfS|pFZ8|*98| 亙hBxhۀ" u@d=:fOl[]kwԏA$EaD\Bd+ނ8NfJlZZ';j4"|48Svۗ%Ⅵ<]oxY ; I$xԲyU5͍Jʁ^/;sZ;sO{8!Ur=h3;y%:ތ+_K߉LX)4`|!H<_ңGy >#6+*=s(b3cn)$Ѷx.k7@A%L!䂦Mh Q0sC|'@ct~Ԭ' b$ $^6c،DXv]U$7VȩXi(@.G9bm=y@M8n3Nyv]͡a>$h]./HPZfsFE g^%oPe'Yh6+yow(g$_NOPv L"juFLGodі fjL@!oWB`Lalѯd[<d_?&) ٌ &?ek&ʊ gZa@?PY.軸"/{VET ah.u ƫbv(PŽ ")F3e Ln:E P$}+b\o$ig|˱CyD1!0Z} % nR# `]$$34le՗bD +T)&.zɂ2,07f|$5MJ/(k'{A"-RVSg\@jOI<q= CŽ((GSW$N>JŗN;sz%#7Ie '~p$g 9p0הMKSK1ȳgOH+\6a;KC/{8=f"LCf3#ɼx^& j^ UrK4Hhs0PhDZK/Wa4>fLBݙs& 1mJꚣl`=+yPQp컾̓сb)^yo4P4J}z՝? ?_҆KK75{k=Oj jÇ Zغ"((@,3?O[}pnqKv4){+6C\c \bD;d'ó28H@-ie6KAxz>>}O(~ՐB1uv3*|9{\B&:c&AG[KXeliw*ק;u $I#XNyۈ6b >Bi0܀[˅"`٫8OY^_ GnDV 8]0tR3E@c D)w֚pٸ7pD39ڤ c M2p#TJݥ&43hSqGfeǰIRaƎ 'QeL;4flV/x&L-+JM x"RLJ9["/R۬so $xyȅB(L>,nXZ?<*}"Lk+fr3opȾjLUm8ahR6W+p@t,ޕ:_A1X8⻪;LW.R?F"Zn  ǾR3#UYB(̫ׅLr98".[2Z:[M8娥5FBEIV0&Fu Xع+wtoz9^W(ځT:QJ|=G i0Qh`?& Jm%VKSfyy ]Q΅j>Q4kzmrȡu|2_9dM X8[8}Pg\!u`_F E jBf]]>'@Gt)قO]):tK~pMIYDM0AۆI|}]s$Q,7I$.U28\IiZ)RL~O2.޸ wϽ<9Q%$Dn0 Q!qҘ|lmjoxP$FN9AIu(L' q&ډsnuצdvH]6ŘAM]?:x@bKȔEQQ?m RFB*:W| [Zٙ}$jkLAP ~˾+p1Yy$SwX' BU,~DW} t*S'-z b L6-ɥwۨ}d\raR oEƑ6bBJRrf`[뀾#Bfے-^ws' y@К^qmt2F9map,Bp#In/Ƞ9S.m!AY"0S!n|v\ c̊\m@I`]\LFC`IњyCO@tZ(Pw Na09ebͪ:` DA96^f_ cÒR_.+x^XmmpU#z,<@Hv&.; P[5\]h28:8,1ql_?hl&-aekX7u>; +"PȆƘodv5jbB!JXDB&jlI٧Vrߨ\,PG+LL[-!xݒFӧo6մ%6wa d%YCRC@G%o4/nr=t %2i-UDCAL Ri6yOyېez[zxlϯ<;qO^+%8 emTcR/ [+xS +tt4f D¶n=^ol8an$:[ }F{V˱^5'm`*üqS1 K6QR>7cMh|G1PUu%7{-[^SLq Ƴv`ෘy;vʼH^>gYZE˯j]@ Uwj MffK-9JuY4q7ȴE M2'}Շ8j^@BN{@nYŀ0rMk#O D%QV6^Ȟ2߉9>J$UUީ^V&Ә\&%E&oWbBhִ[k5~%rbH-h"2,=AvU)|SFBW8 3Ӑv'85D43OVAufnKJ'ˬ9Dt/`nTЭKc)aOÒ-l$=I"XĢ7ݰ!DN NJI uȦr {}ޤwP`@ZS8#n 8fR$ =LY0Yd91xRZBį7q= v쳊ʃS<qB  X#1ZpKW87›?sR ?K6ΈIZ*Cx ]lS" |YI4tDΣp^I`?z߅IiS=gjOVkJKrge'K\^?{ʼ?h7 |NN"6!Rw}k*f YZ"MSC4;v@;-vݏ%Shwu%.K g&SiDd8Bnj i9«]u"Vjح-*XfL!ex}515Nˇ{)ҾnY"m7Wbژ9>fe4Zwnʆ@iLFJbĩ`޳qo ؑГOo\G։)l~7(ܱt}znM.?9'jY"s$pb@m`8[dpQ#_O'ɑMW䟔u mk0e)M )?o -C~1B iV?{p?OĜ&[CV<*]aۂvAX?JEsm@BN"IZ=_tÌm@Γx3o0RH';ź#s=GH ee%|w r-TQDȺn1a{l;hF#h1!TʩcBFl %a0ʙ#sS;Ӯ<O.6ٶP{0VW>DcNi̽:j6'q=>L]'%'] }F[@9R&8pח0(& EOQ OGNBC䏉=J%a8q ?KȢg:X;fh{fub&v6! +yrEBÚ[ mkw2Cq~mR4}w7yM3 +J*i 4Ἐ͖nۖ5  44*틄u!˄riQl~LIIKv6ZQS>fvPnǰ?g_uJa%V9qh\*f;o.S[dRE[H0၆sG/;2{?U)n&˚_x JreC(I(q^asRL?Xxvg]&_vhQa͡ {7)M.^ 5z̛Ecgw&=;9s6ې ";1CԈ@=m3%{#V>:;LUqBD/9l=OZ<<n6<ÄCHR=ѐsm _/qp__;դLQ^)n( nՃ"UEFGG$ $\%xgġ]]wQPs7]v)0:,Ɠ;4smK'}vx8P%p/0Bx/Β\t<5=y8)BޭN#bRYLʸ(Qa{Qz~M)#n,Ӹ9+^*;2CP+0ݵ}9j6n,8r -FiqŔj:² N|<Ϭn}OWAT"ǒ')3w1SJ%4e&pIՉ[RgzeFN8h2ت6;wf{\b A;͢b d8s]fJ,+.z#85蜔@i.>zy4avɖ3Ă#M2!Is"`{Ѿ\lE9HS^u{-R%PP4^ЂlR=I7J'3QKG~tfѻDzY\ F9p M(RnQ~?D4/=iqJgK?,Ȉ` 4(qRxQ$ ^RiP0 G%n4wCzOx~ahoZ3|kۉmmxҼ˿p5 ZvslV!ݡ# 2`zF;x'hLr#y/D_e>9$hjk`ZV aB8GWɳ3nlZX+|aTNE[`0@@ocb v7FmSF=' P]ޫXm:D7JQ,ViE~GrtK xc%{}CrQtYٳLX.xyP6hD=>ۿޠ#;`#O88j{ogJZd-d$AwDz9kZS hqbƸ%9e-sjk%\o81/d.wjnrb2q` '*Ճ#@ӸFUo.:dBצ6" t T2E>= 2"ޕu߱YI+E#v-%q Vnf6(l/txS4ڿ4bul,ͧwB@Unl0l0mf?*mS+Dޓ>m{}׼ lڰi~Y7= ᇱP-H̙ 2F(M@2ְh+sQӻĜ~?ӧSfH@ي)H?DNRJxTb\}aѰ>vj)tZo 6LŨsլ~#?J7P%n f 0_OwW%FErmi@񹲵v7r!/z3 EN5UneJ)haF !Kv\ENA$&ӺNNlXGZdA&?6E񓶊O,ʝb10.=X}Hx/ e:AcH;5oOUv42KgA>[B$T~:’OKyL[|-￞y6YΝ9_+m#4Urkfh*_*BKz f:Tn^z`HDYMC@ԷNCnV8բ,|4>t65P?E`J*]Ntsaeze{P ;~\E}5ÚWj2Xexqdb;6aM E'EsL 7_8|]b(Ѐ@іXfV{M{^郍D9䗬밁؉\ @6j#h砺  n|}Y&~r<ān*=1A*(2}"$%z.d2_ޑ^mG(˽ew4=oٴ;hˎ`- c SJk u}GW7a'P=UYblUQFY']:_yOr}c͓ }Q4AgE;[VRE|#21hE/q<ŒWAKtH߻ w)Pb wB~K%af暴8 `ӗ-Jtawz" 5raۦLѐA4~IL -$Aa:#HI*ztbk e vQ485uOh]_j:VWݺ.;7O87-]8 0NI}Rc(k,*~N /N%X a cY"2ƵtN+ ES~zۿ[󊈭{K׬5PRճ! ș,=` ;A_fC ۻJ-WtTӂEߎ/qQƆ.1Z T#oSwqe <4 v8_ ^L>v 3Qvi+2Gҡo* J @=]iP#:/b[T㆐yPE%*PThݥ3`ϮL,J6`ę0qA1\kn}{lSuU?OU=&Qe(i۳]]r7,6t,XlZb0ti}EIBm`7) ([fge"/ Oze-1Wg1ݽN*ޒjcMت\?''oT1jBEb5 ڡzwc^x#N BL%K̠+_[Қ\PBWdҎFH%wb]-~6 I9DЫr0C80%MrDD۝{wRzWO!&^^ѤO#XFO^O"B9+nS 9_mwĵ(0`%1qOEwʘH( MX@ċ&!(mF.}tR?&Rwi:z~Za k@x a c·&~fy hBL$w@k2Kqq.EK \ZʧRk>l6b,?{ѠAW;m ɬ"/kAυGzeRܿ迯;L#' ړO#? .PSwƮEYi3 {u+5$&nAbf!O r;'?,RrH2`Cf]-/iɭf~?ƺ)qMt%r[u՛8@^Z5E I=Y攞19pU*š 1Jo X ʽu~HNiO׹Nܧ&~׽P Ru?{>u&L`ܶBMcb!3EE^o)Hz]њ rvQ Db"YC9JZ"s?+۴Yc֖&Vh Awrq7=hlxsk3{QSNa fvhujpV]𝨉\t˅\?/p0Hw=cRA9@FOc~2I*t{hoqc̚O?Ymrud̕cbK@LKN tEӯIUbp1|;fsR7^4o +>[ ϥc"h!_HCY6ߐ6\k'#7{ v%䨁6.Vz{Nox4]',jЬ9ОL5CXZl?CQkYa̱s6.wZ  Cw^VGCvwg "& P-/| $GnǴUX:{q݁4\'?R'X[DuOR]jጓISC7 Y7|kQ2;iκ;TSx1n!]ƕ6،nl_3Yf8"!sIGT0tܤ|uDMLw/ͭa54w-՘ʄﺭzcP[м8j.bv!^s79 \nWB+Kau+)8>- On|xeU5(R/MFZ)DrxfC6Mkݞ wrJё/Jn| >o@=(HhtZT+A3%Qa3V ^ы<!2g;5ںFh u8}Ѐ3wԠH5:m;H{o!axt:`]$#ALڙ^ZfnoG+O;)"[ͼ t-Ge{*(Dxs63A8ƕ>_ɖi$@lvF9H~ ׮2;;nZկU"N[J?6}7c QxR fxt`u)Ԙ5 70G{vL\="J>ؠƔMxξ>G.dߐg,\-%a- v!OPA7&o"oX `*sT@ ʡ4a]!cW۝B?y?2zw&eq!ˌ);7oʾ$ BA"جqRX-7dR: }*tlMݧ Sx6 7|R%Y$2.jj΃lm_5z6[L4q"J+n1u&,pWW??/_Fwcߞdj%]ʎ3!^QX) %P+DL~S֨vg=/઼7fKF^=#xu/d$|#.4'K_^D&U4υѐb{ߕٷ:綥^) C\A &W1-fui(dS0(L 5H* "6dnx#{MF`m@nO`?\@Ou*mP )csQ@mx@ C9Y2[trUQnlt1+RY!xߌ2SCuޜV h)heW tj&QaVlMJו7-Zj,;UH\Ad^W^U\Ԕo!`N+1<\ޮ$ n kf!'r1eЍ@٨j5K< 5Hqef W# _rt܅gP@u6/Ep]b}@6Mo8dfEz>9BPQXe(/d&Ye^ lp\--loS΃Yb3(u} !XEO@HUjq,AYb` 1I u@oZY;BU~EBcy:bxD2;g*`?:dY[|eJc\W`r_sb&/Z>+)ۚӃŵ@/IfVNsNŕ$.4Oku|aaòe4;$ "t%~}/AVƕ!?zo]~(vBZˌ[TviX;T"MR*8lov!Z3}$8'x,t_(/S%E#5h;'gT{ч8wrtF2UNGv8OA zTkCTw3T0ʛBܢվL̇FW #s=LՒ<# Du+I"{t΂?9RԼn/j;w/\ )6o*{u\$g ZwAr>_?d = NԍfLݮ!Oo\k19dD@riVgOu HiT8~L> ]@h"a b!ƠG(4k~VQ:3^8BMƂ XD [nl_+"1 Y ~TQ#ң3mU4!Vܞ Z$c!AK-L${2sx߻J7J.\]y؉6'y[ŷ`_pJbf w6yRwVl6u%Xh򡘣`YX'= UL!9>zdcO#G 3Z7D~򷙚D_yԽ6w|-}5sӡZR^zd܅92V%6@7##?0./ۇР>y԰#}ERyOHۘ41 e|:6Nj@~_}! asNA8M@df~> `0lwl? . ezZ8-ee_TK 98snP+Ođ'yoE*KszmnngЌMk7bf z710-acǧ?r15""g O>2C] IPR0V5 A2dYQe`ȇ~}Ө؋ Y{iRb D巡/clX0) k[CX0a\ixS[,b H c/FOk>O@?xZRwLC {XgU&X#YxZD#5Ȝ?c80}%0S_vfv8ګХLlHՀViwaa>v E:(Ę&: FujHFdכ)i\/j Oi}IZS^߸& ?X}ndeӶq{(zd1ÀD$< wr.Nlo_f/Ӑ5lP85(zjV á>dxjL,a]~vQ3>&˿`{p!3/8g.kh"YȇmXcA;$UvL+jsU(ēnЀK~xlO1<"mD1e\vŎX`SϹ}W Mߕ~ݰ 1bvx&x6= v@?~~bUH3J<2&ZYTI5ܴ޽x37'u977_$n֢zlS蠌gĊH:zVŲ)Z6 AETi(A܀jDͳE=cfRxxs+d'֡(bۓƣ&Oi{)sDhv 7ԵiU!kö́\VݗX^vPvLVFl Pdqu&Ɂ2mqO+]u&VѺXq 'd Yԩ}-; PƁņDSO^\ٚ%j?A(Pt(z7 gί/1\64MmUQ-eHCEGb!][ 5(#A9GydTk[IkS?iҷtRpڇq-g!6+A !*}X#tr]! ,B `]6g`DUQgi&jUzJOo#H;]gٸ^8 6 K/ǝ6ù7"Ns%ƒmMֽVVV,I$tXv5uׯtǓY^3"Rҳ#9QpM;ՙSΔ@=Ioa_9>(nP3_(۠1fek/U]͗zj̳DCE!4y(hj@e"HCiuOe}s> @_mcwX!֦sylU(kueikDTOj e5?UiKհJHC-@W~ 'Ob/_!4ܶ>)|Ue&V/IG^3 <|=^>o=nbt0AFfD;B4Ze#CR)0n/Z}K]d&| JX\<7tH.JIx@I%Q |+H$p}YV0ȭ0]n_$bػʖ0ErhGw=֙ݴ2axY!5Ƨb=p\@ŅUO<Ʉ,0{v >( ȱ.Η?p1{҅ˈ&<jGN>;:cݰL#PqHuZ_h<&ڏ&G)p_i> sDs_9TM0|.Eg[KCvjkSǻGF_O5iGSRp*[uzU z1{;-wkvBŇq 5v7K#JĢGQ?h1ZXCj4WUFf"P0(Tm* qC3(G Uu=ZТ!l"}GSEO%9YpFx|0;g?CsVy{7 轹&S3uMVޣ%.%ʎOI>}ի!3MԀ*\+ePONh$ңwNک))MR"Pg%tA!3q}\=g x?uUtX M\R-*W9pն̞;yi(pb FgB~V1pQU*܋,sWLx{/_^k3"AY/NQ'Q2OSV4!o-pwQGƳ;/œbueEƐ{R6%ԅ QkpˇaI|w@6Xz\usI;Cw܈.JOx,k3e YXmooRid7"Qu8^U}+LD?#I]XiU&E:hΝ}^@ hgOat O{<`؆8tŒЈUUE Gi*GOIAՙ[,má_4 r@Jy.2t˰Y0č r8O. XWowq!$Ց ٬OVXrx0bsG\yQM2zDR|U"$gCk Gl::kմ%~1YM^+./i+\&BiѹW '"G Xs]M챯;;j2 qōr:SfB9AyuV]Bg 27zgVX֨;NB8HFcG[\WP44z,Lx{VmjŚ{WV 'Ej+0텮ݯ=}n©M%\P?t|"WDw#%%>'82m#jym;gҌ۲|4Q=yԼo$=wr#[ FO3geֵ_)2x=ǯ0{Vk[IDuVSiA>^P  uZĸ_eLè{ahXEM`#vlMB#Ui.IҪNZ` )Q6 ӬO;V}S3>śLCR7sTcZ/gΦ>D"kD$6Ø#uN}r63SΤ$ˤ2J';EmZC+Q1 /w_n/4$V|[Lu{F3<85ҿAv8|A2)3ųVaIKۋѪ\ёW"6@hXE6BP9sRr@ 3;95j"rJ)ی7yH٪a* ĽtIP"#١-E}mH}%p_0lݠV~"&q-& EKxgaG_iZuK`t{xܳ-g) \iLM1 n^uG"֦cHà䉚_6CEOy9ccmGucފ%4 LM(B_zLe[4!^`ͨ dq!i$ v=݇(gӰЉ&U#KK(|K i) &E&Οh|$f@%oHK9?#N*IJ ͚?`ܴ>3d BBi~e)!S@݌ߘɫkN* Mꕫ8 )kx0@LwV73l?AȔߦBPD27\MC1 N+S5SE^3t }I] hO^˗$IDTʔ'^ۭ!sF!x7x+eeL=&gL) "ܿAL/ʽ~떇/7 4=-( ^;~Tb*3Jzze v-Q>AR)%SrTU >wb93qTkjYj޴ 3NУRQ&Zp5[d$6{mk8 ou5J/-iK)(|UWf9O܂hfr 2Hč`1ȵŞz/S󒮐Q8fC>8k̒nr $$(u=M{vQ[c<0e&nȓb7vaeJƅ;.lXF$*7EdE86zeivpc R9IP]҇:EB ؓ{<KvE5$T:׸6%͡Ol`&EbBI? 49`=y4E (Κt؄Xw k.%K=inM`S9Z&:@1&bJ$YX<qlMКvr'Ȣ8~E3x .7<=sRL5"w R̫Qq{AX4'Rz;$*zcFwLdzXF7hgOYr;蜗m_!WqcodlI{jf0ѱSn͚&̴u6U$sgIk`jy+&N~8-D/,6?[,[eIъ̺LE)KZaK; /Fpk{ mTD ZǧcJGL!p S= {#{dPm@_bѸVrXr0xQԮe 6mԮa8h b:n/a\)R辕6bKuؤEtI_Lӑg)21f XxWeQ` s?Dp7֝NCֹPUp jgoaֹ@C! ׫o:ɇOMA x&A5e_ݯls0]\-k&ԞӬXQĉm03h+˘y%LY]Bƻ -+/mSW\'6[Ǝ_5YRzULt?v]k a"n9Ps WjFʎ*O^ ГVN g:).Q._ E BGhxSY]E=\& \g3CщlbO8{¤y3DVP$uԡƛiξuG]fEǧWC궀xWC(Wa/su6P a(DD~G<3NSMhL᳚0_ G_0C IM^0͏S@pH`{o«.XggvvPs:vi7& m+/|eD2J'R>3+O 2<; C<4gx̷ubU+4۞G9y; XT"4`)d>#58>ExHh? ƁUnv*o #tu4ĘKR+ lj{@{|U^.6jz}X@([9mrJXn5kȵgi!QhVswP!Ddh~gYaGb)+HO>(z&F9~^[:WlkK(ejXFG& K=i%HܸśqTEdn``)xC]C(E(ë0J;QPOHl*#|D7n,p7@Mjvd,[<9˼|hWwiogQ*eE-c!'UhqmSp>'DlĂE`{E.ZA*Cp,no mm(S?%Vr"Wѩd u:26 b-G}WY0_E#M_ü*X]ӢCW!V8޾\飥iK"/ɯI)T~/8Wq[De\qGL.2C>Ԁ)CUr;L>K8FAJ%ӹ5W T J>{P$b IX*b< oTRޔ sv9T bdjeSkbMww R8!'x:ajCE6ުK޹TvTw0oWe,vC[%^AI8vLe|8d؜&"uk`T5]Q(:!tFOn#>o<+u֮jzH] McN5)m`K M6K8 48!gn{uh +:M9fTM 5>~b,6i`nSlA1h1.^6ȉUNűsݗRWJUe^ Gjb7L$>c?c6МNwr0leu|oYf+vAf}XH0SF[]JO:LXCuɍՂ4w|r[iAHwLiΰ(-'O8o*]dT<@e\M}^s5g OU CH ^qM#o otMuxW=w9($K鄚|3<I䋢4{SԤ{.ޓc j}-ۢd19ըXu# a\e.El9Tv2 E{ģGoSu):ztѝ"5SkOeT͖[foLTżξ3.RQ y%.tCʰbb7U(eRfRͤRw,_MhHD{}Ul!MY=' uJQ܏-r-W7\yeY򾿖5Nwsh*:~] 78>D{WĿq{HyD[;(Bligty(*pDOj3^)ʲYr3W-(0gnٯG?p FdGk[ՖpeqCi:i0Oл|[p +vq{LC>6SaU`qӈ+(|HG[߸0m<6¡ŅX6Pʺڐ/ZWԟXɮ!_]^IҍP+Gl@3~ 91kQ=X>*V Lz}.)'ZJ% Rz䕂bsmqq;8YKzo"S친?hjt:y'U5<5F p&o΃l8 7nRZ:|OדLp52޲{ߺYTcGM6|Sx \>XܨM*g.㧴'$AhVm46 5`lS<sAUu "O 5_v- .T"Bkb|tjkBȏ;ƮRj7Xlhaϵ55I6zcJƩMz"a #\y:fKfV 8!Hn8WvU]yĥƀLQ[N \{λ<'RlBdw^3MH-"[ire2f_/(7fRqbI-xAEu(ѝBew_ވG R]>J=үdh(hThc2^H6x%2:wh;"Y:,EFxf `MRLW.)& 3?}'jHLl<Ȇ0}>uu2e5΁LJ!?tż h҇R"ĬT5#Uj(E=!%Ld(Td!?.كU?xYZmKrflN4r>Ȍrpμ:WA-AȄfercߤuߛ9靼 OIlp\Nsijx7༕Zp&WBQW~ZXx"FW6tՋ €IV*Tf)|\LnErFDX>SSPs&(̏jy", n0Yp6\S݄oٿ`&#֓pn ͯ" :NeC̃Җo5$qy9` j,bDR;.Ň[X#H֘ocV@wv?oܧNxtwGf~Xәj[ xC;Ksй҃%k6(E{9 k{TY[++U;:+8 ۈDsVU^< Ňs<#+hQzs\ >Lfgq?G3 +|d3|[+abFJ@82r' ߩbW'Uɪ$n<cv׃#^mhIdFyr_p͆e)RXuhwӋXX?@t1w;xq`;[^ijVk0&fuTb}+yR@`. 8qYQ3%@PAØA]+v_O}N~^a.FHMtR9ȕ6hHneE!c"ىFa_t @ /uRU[;s#% qgYO+l`4J~>]}uWKhzTgMA(0fp9 M#LMS{1Mw㑵.a6% [mhpT M;[Ep_T Gv vvk9&/e HX3%wF)/r)-3gʹnSA򙕐%t1l] ]V/MOjR\Գګ>rߪonO)!1BĨ_@U&zM?׵%0ԧƱaP29vOWv@o}:%blEl FQ2Q#Td)B1P>Q˶`i\"_\Ki]A(PF>ō<'QX۪tᤵ=Jc[BMq!LPOTnXOզ_^+{k׏3G$6R[o@ЁEdHC"+y jI;؜!AHzYL3Mo?qK7?NLWL9ys:qliZ<*toM8,&d:mPAjNJr9 }/Ow&q#9nKU.AsKtJ:GBþ{\EN٬Fdz I#= K``;7댹gtУW]% %Dz-^X˧>S"zd&h*q.F{xm:ıDe?BҚì–&75]DYȯ_[ OrՑf.(-V 9Hw!dm` e<{ěɔk91dߢqY~ph~!ll=l?r1k˗|ڑ tx}PΐdҲ[RWWhn)}pbm UhoHŇ)huTW^* 2P VBh:I&$nwd0BQiWc>p20M#Y?z4 _6Hk UƗMdxt#b/S"h ﭨV2["nT=#)-\j֚p5`]j4,݀Aʦ0-ʎ(v3"Fs.e ZʱM4x*p*NOu$^Uu'?d5P. v /kih'slTݍj{a`:eJ_?*l\_^lJiCgddV.w!thPutx,GԨyK(Fk󴥋8#O3ׁFy2^SU`aTnfë [= @A"~8٦ ͱfcܳlg.D4kDɴ/Y"NvPbݤfO2Ϫ+6o}Q 9 aꝉ!W,'MwpXzdmn_a~i}jDz<ݕE-s4/w,:pHal[AG{s(8])qDM[>$hz]d?ƯKQdO^DP X׆6 Z_ˑUK6(+w Q--KJ1.o-,Nſmԝ Nev*Y,ն6bL&zH(H+$:-FuSavOc;|8 ٧ 'c핈fsCal#/9Q9amµ~,0/~"l{m퇞βu鴙rxHb\~NO}i8=yq%LRMm׬<#7jj4nͻɯ,ʟzގԩ^=uXMY be?q0X]Y0 KFMHb H#Mdt-$ٛH{Gmpp6 )=Kf^~ #x~ :W/S+* {K<4kZϷFFdUraHel+46PA^+Hfl9TFH4!ydyMxMMK-o|'2 o/X|޻AЄ@y-j00$=f DfPxuۚaBT!jAs\-R#C%7X3UOc'N5{䁥;HkzU,g+Ny6wISYsXEpXBG0~{{s)]7 n=Ab,ZA",mrSHn1Ls V$\ I:?8~PBZQD!!qFbaRy7 sMJF+"Vx:\Rs?6Nv@gɆ Yp5G?GBH誛a 9Cy{>IՌ-(hTX#n+bA)`&*㽜 bﯓd(λ%SX)p}Z#@+ ovuMcFd _Uѐ(9MP|ٔa)9/x6gcN#^# %SR9|U/,gv,һsf(a d(\eq#܌S\۬- Q=qt;7M%ҥk(yK;Lo$ǟNkѣ܌;ܶƸsI)9^}Ա8Km5)pLE9"lEM{˓Q]/f W̑ȖMr/4d22})y .UGwu4wOP~S̯ 0p176;]2RTcF,^0Ksy=z=)Lɮ IחhC#.pۯ%}k rs=nCG쿪O&tZp2Rmtn6_cA;vŷ<I&z4ij -yөe~:I.gY?y,F : AU=e_' !CkDߌ=n7{jV4G噸LBAG†xN'R] FSiø`C:TT^#T?7/0<}ݻqwp\eNm(ˇ;]"y9ɇY/UdM5 OJkjsdG$"OaxKѓspjOY_9p>D@23uù.Y`Ifcc*k5HN[j~N>ҡc.TҪ`؏DmJwӻ4S&+K#0*3E:BH p#`_L[8Vaငc(7/Kp4kRY ZVN1քeU`8}oI<hc^mH\աX3da Q,OPXߊ`/%u jy R̗P%-G.iUJXs gmbpVIH`ҒY8vX?90DQc ]pGSL*#:GE$ήevbîs'h3i>ZᴪS-W-]JN"aM(DKѦ@"3'{P-RO LVG{!e¤Ue$}$"+P= uZU ̈́'נ~@}J`3ݎB\q[r*u?c(/*zGn!6)넞ҧEر=8]̭)Gj-j V:q7!+?uJ"bfrcnfd%\rŠHc+l)8<߆O'P%0ê&ce~Ln@צ|: @ܺ E>i#^/kw:%2b.?7(>R!],ŵtHHwH}L.&nB&CS r5BTgG%gjߙOC'PD)>a@1  riWFC~>A@ļ@FM VI &ZU y&T^cT,I{ULCr+^n諗̑uh9: _NwG Pe72 0Vu1Ox$3 }d\NMf9`QiSl37?;/>>tA;m50@jO9 $C)_ง={ nҐH&] 1gju@&b]h3*e tJ]h3#8/UgǔyliQr-ˉ^*QkC5&`P\lL!D(FdNMΚ7wh _;}.je~2ٯ[Mdt1[Kobmyʹ2jHn_,&c!fm5MmU ʇ]SV|ѫ'q4#1gIne0lc(Z^^&9]Udb}SL*DO(s}D=a+@`HLE5,~}Ϫwo~6Y\WE17FIHGpk1s4{򗏮\Lq]B;׭)n"wŚ8b U>l>Ubm! Ӎ @B(AG* 64!е鷓vNpq͖eR21=n 힅&ڇM3wq(t1-rHWP7p Hi;sn4JɀTVzJܨ)o?#bjC/VFAmf{-|pIUtCF_ъ .(1NQRJp%7aꕑ?oss&{ ;٪ʓi?[E2d*`)WQSJp\ -FepAZt!aum/ܨ^,Cƣ /%i뭓u!?r6p'EWnŒ Q8D)CCƸ5œHSD#~%8DQB\6-}.ㅰF ;xHbؠ؏W& gŀE*Ndذ?{$ay*@aѫ@ $=Q \>Woh$:gYrGVw3!`gpo* ee3Ov zp#93o.( NsFZYa.\>rk?1^`h_T30OJ D6˩ˀηRV]#Qk'O^'OJd>Gϔ^@TkvdogQ3TjEl^a/+uy4ۓ3nגtuʽhB:PRD::kܓV<(=HX 2Jٿoz@^`I⯀4gD\Lw沟ԁ @t=ф{- B wԥ ]-.W2/"X8Dw2N_ ]r;P VK]S>B̯#^"-] Ѯc#5j$p>v+/<_u+N+7ĩ (Owv*gebBh-:e;K(x2 ~۞esQ Ia#قJ|,ىJ J\z`EOi\f $$ǏH#)[.1ulHzM6,rG=f9)QxAPpKo@YyW`v0@2Xk itU!T]>T(`ER?WޅMzч$KvlJˌFݭ" O*(cH=vxIn Q;#/H0o/}LƗ0Hg(}u8=VV D5ݿd\yƑ[LRf1 ,gi!&ʘ P[u9E:=1_6W 2ZBPKW۹ AeW7/}<\ā9$C?C"oM&j=P]g4suUٚYyލ6#A4h8rl}ʈzKM2 2q_ F-Z/T+=fyӗeuP2M c%1ʈKq)vܤE/x~߼<{Ic$Dg QHmG 0FI0蕫]j>S WF06,9QpDr9T~-|a8L{Wm%/"AG|)VHN*}verA=(KE-*w )׷d%KN(<'p~exP7tPQd%%X@nU8%o Z*7a{g X1 #I7 ߋpn$=(Q918GV@opԑհ:@6.p[LbТH W 8xܣGY\`%n5[TϷ@1o ߇*|(Ǫ={anG8.-7+Hݱ@ jG0ɟSݨO酾61x~i*|P`՞qa0+\ns0P6|  _:enͅw@rђ05T;`C5?!nU#Q8!OgUۀm❴i *<&4P]<9~ ؔ#ahJ M9[8\/$?ӭM8 vs4Kˣ-Z&|<Í,ʕx%el%ۧ_1":.zXv %L}hZpcA1:kji`Qy4ޟo,nJ>WKoIwn+[i KiG*@;&fvs]0ضsCn\"}=Ԥ,S!_NIF$| nA/QnPSjTuVBԡ>Nk'c{zܣ7ξzU4$!'OdOoiAd-ԻŢ&H1FßO/Nj7 `{aՌ^!cX>n>(2*P#Lo#X\b9fְ[J<%|XyvlEf Hv6,˧W`a<$pr[C?ڔQ!9{+sa-ԧ0[h/"%/#d 3~SŭE"QϷD$ItF;)wܘ#i-9297WR4Eu3 SRD^h-\};*TI8wX\d:EfDM_+, 3”dJGx Vςn*MΏ~"F/vlo];dPNU*-7K!H7KA<~ˌBg6dB32 }i1Jq=B7^8$wL}έ{ $5+A>ml%#ĚwB}d|/OXq"zDv%0S@USyG67ⲻ#Ru$Z!@LaW A.UP1󾕓a.0ȔǵVhLh::r(2 H"9kj)uzLޱzeegq4!Y:J = \KzyI(DW3 ~tf0D Nd7N$ktAk˕Po1uNm .uh D"YD)3V]YwB$%ŌÛ:*!PGMb pOCJ9ZklS,U˽4`Zމ6r'n@mK3ߖQzv,#uJ([N*{C,[>S|OmBN`5c(a<<4mŀr6Nh h_j50@ߎja|拠P'Y%.ȎQ{v\Aه8 y z RK{>G>BlHQuk#"^/ 0q^ 2B:K =\Se{rR+50B9Mp >DۂLyzRuq7n6 bEGNcx`1*o=;9|~kj"*ʝcd1MF¨]r k:r/̀\ûsr WK(؇oѐ;%>nĐV6 _*G[2a$Nn5fC6!kchu1ʅf_ ~fvDӞw**$$u(9KK6o1,{1JΤ\=պiLrxghqC/I?SKWK֪39sq(]-*Y#jS)K}fwH!]60zgUߺ[S_r'bI,:ҍ˵fGz_h. ܐ.1h1Ii-,v 0%*Z/V/l73*}Nϼhg}Xh 5BBD聾㐣:kG\kK~-^L@2lKn<جm#Tر&R:#\9M mCp) oNn6]4Iڞ6Tp()Qv߷oP;ܰ2 dML{DŽCZP~o uKO8hӹ^od噿ʴ[B!op#JNٺgš|;e?jvwXښ8،":,RtU4@!8,G]x,c>"vJK 3D؆7w|jQt&ڣR+*s0TqAY+'OZek&ԁ5Nkt #,:w_wlSdǕyN+Nh2-ę }@wfPd4 OV\L'T^o*v-]{-E8o29 8G5-y(F{p[A/1 Mh*L}  _i*j;ӴmAFo[( KTfNJg "V/+4`B},IԸ=AP7ۤvU2ib!LY0Y:5Ap5)%K Si6ٝEL z25Œ1Yl$6w6+vAKbeP|Y׾h(y$<0—xe;e/7i|E<e9: @_(3`LxDZ.`?rl o ֿZG@+ I:F{L1Za_Q;(\wIP7FQgUL}\=FѫQz@c` _2<=oDWɕ8DXVbh?hDEF`aJrj+4iĀ|},Fr{FnIrB0 =y"!I/{1,Y'QOL63r_RéPdVݘ4dhF\窻gփV1ݸKFmjS\@É!N <2Tsc[qܗF3()a`PgJ鱁/ҿ랦!m$׿ e5YXU^űiRqA T,bmwv~빺 VV0F*̘z𮍭 /(K)Gfpi~j&>>5Eb,FN]? u|PWO5ր$.,>cik-Q"؍˴RHS/ٚ1ݻȚ!WM[!k4'Exb-O/y3(TVhhYY5|jcy"לkDsHT^3@"{1N;;{pI%ESnTrM ѹ<{M"Ǯ,KFwV߫d¨uWN>[@$}[J;-,Au'[L[).Y#d!OlpL8hSja aZ ծqR$~ ߺ#4qIE#t%1\[r Q&]:Ig2fC|翝>1H@ppqy: dΐtӗ\%_hxn"%=NQID8cYܳ1bҎ m9 )qfjCqV3]H `>N> hQf4V.tmeT8p)}$ͭ(S%hy[CVE\G16^cԌ*l9Ӂ45İLe䳋|C݊.cdDmxF" RAOgeLD- αh8RY/sG;U-z6%@Oϊ ?]v#&{V)HWRG!ԉ64ƭr/ùY6= ]/ja+Ha aNZ~(&iW]3pYlʓA/[ڲ_zi%AM-;4ѣ/}}D2ߙZ~HNq׭xf 2Ё]9D=; <)aܧ`@h"9>YR թ-i Mc4,/3J&1 B D5#'sb8*!| ,u]f3J8|gI;[ #MA"H %: 67;D֭(߇ $W;\H+[b~=̰Ҵ&!ô/V| Sz\oxM6/"Qլ KoۀY1AW0 )S[K)RP+u㽶'LȢ۸XjzYUZ r{ϐ]F^AO120E]2aX̘ vdm'& UwPbۊm-3B&eTyL|= /upǓO('p7:D|K&ݯ0cb6Z y z]-5:: *|{mS=p/[qPShzlY,bTh'@od~=G6$@=5dJW.$4iYlN7njHѻY'*!'AOLFӔR鞔EiE^8Zx< GCfwVSx=egB Km0HNDFzs z>ULBU.  B9}+`9*M0,Jx  747џ ^Iv]/ BP {Gըz4 /i|VN]'ڏ @s^t6 8W0`P אb<ѧ ;PzяXu9~ɇoLe8nF7Gf*-GqM w S夨 R~-4  "Jdt>6/;NlY7O}h8#o\5_+'0͐^EJ>(#gc J^̌lC_eJ1✽/+|ۘ[g"A{"8u}O?*SOtFZxsm4FI#-g -[yUꚻ*l38&6鬅*^SD.OfWzG1*1Sy3K}e ӂ oix`y=D^v,91dC(99RӠ7}} 4nN-)s3U|T=>fO;}|H$3|1s: :썃:I#׫ ➐j/{^ܖu lcy+n_ !PhK2hw$>qjG &O 끆rؓ,&:l>=2r`#/ >J.ZP!oF(rKPcơHLTY WZf$<{ }zԫ]Cj(6Ygs4GN6T} 6ʢ`D3;$T#VRyKX 1mA;xtδB\{aAmG C^pGk=|sm$`[h734#N;eU Kg8ΰ:1p,~=Z*#owu)[jB'I~~k&_b]Xp_@G2c,1`0gYZ7zXZִF! z]ŗXiɟ1~z2Yr 5G3lˡ[^J_sZ^:;_)d;]Zw0yC;4گ1Y4A\ߵUlpHfɶ[YI(H~yb ,΀ou^ȿGv-&zJRWyyTe< (Do ]*9gYZ7zXZִF! თ]ŗXi%N 8}1:PReli&VԦ$P0ǗBM-]bc:vP8-pޞyBk`|F{ʲM(nVٖcLzxn-gu[8.%) hp?Y7HL[ugKy)IFl _7Z6-Ì[BGXn.9ћ%JZPYտAdΐzd~S~o=8vBA]I=ͧ| 6ږ 5O٣ ]n$ Lf]@JUAP*futv~U-y5w!@GmJR3]+:Yy/` ,}FEVw;?P9`驛$릲6LW3OklemWgl '椔1qINE!aBKr.%xcVn2d>&8Z8oc?iFzoK&@(ʁUMq Btj𬃀+d×#``m\7_=,{uaI({a `,\TYMtcPσA(ƴ8O{G>0k&TUPaB+&b|>ZCs6v ynibʕK. P Y`*zXg(ΙlugfY l5Jp k׼(>҉ !/>Mt(0ᬕ3wJ#1 "4Brw`o?g~4ۗ),>>j¡eYCc:1ޑ1ڋߛi\ g؆mra+̲z5)ҟ})kr6Xu YUS:t۳wܨe̳\< wЈk5CbL øs>'$oh *zva {V} xGI&6&ƥ&z0%i`x=?M,W%m%o:OYETC_ ==潾y_Q1B*eu9gkՠVP4 W\de[xA -+t~)R[άY?뤛˂X~N3ER88F{8R\kRV8S߿ITʘ|(][VČd9͙rvOXe %"+Vw2}NLݭʥ}&2c(##Ȥ-GWt=^@1;#Ӯ!>?m4Cwc!Ar$q!7꧈RJb;Hz"+bNp|ʙhH< ]rΏ3fyh kƀd8l%OV H5+,O:k[u f脐"y)59gѨW)UukHfY3:9hX^1:IJ=ůFPtFJbrm_B9 Ooz41\xW [b4t?sL:(BY@rwM2M;v!Azm}}2mlrĜW ϽɆ#ݝ`sք{ݼ >k2* ١ tKYԈkA'SȦ+0\j1f=9h%|Ge6ǟ% b?0OPB1kMƌgcrpRw-@ZDJ=DH~DgOF l0Tuy-EΆ yT+{2'iPM0v OTK^DdJܻR'xS'“`Meߦ?D7u ׅ8uƶۘM16hC|t`|]ͮM4rw{|JĽl62Wvfa%SJdGJe&̾fu.TJ;U3b(͏P %t1{}Z#k<1#(\R\B* _ WWWv˕lK@ < KEŃFjjɅ 0GIkl%w!qVy?%ɘBIIf#Aw]h;|ܳPx\%ON]B)J_x̊%;xlұRcqԂR(ac@&mX6'_->>ٟz|Gki{-͵S6w؊%6߃jpYHTt.fa dV十S1 tW`cq0d^*@n^ 82`ާOųV)ġ%JdU豟c]&>|qt r19 *524PKe^zzqɤД0`"%МkG1-<Сx2'1 $U`(*r5YmFBK⫭I|F%w18k||`'$n@S/;u.;1u\M̰ez1=~5yt޲۴A1Ƅ'@XTPt_KD$ Kr.NP/2CN˻,z}ZHt־q,`Fpί|\xNCxȓ|`+7 7fUCJb~zQ~i@z 4KF$ *muߦt.(o6Ȇۄ\f"loIUʉL2E7𚙗 06Or"mv5036!%z~2)v_ۜ~~`@'g 1_:@I; v(jSFcfkZ=ّ3J0 8:;߻V]Xk,ukg 6KvS]v1_4w+C9 Q'M5ɦܖ^|z3]Vl3F"jc:U "]cRړK80Сu4V}BC{uC^T GW&*ڴ#'@~TH65N ,E*T11ƤRH7+ rᶱ'JRc3o$^ɻ.zy| O3%%='~)?]MYD ` ^R$6?4 &˷3Շ;)f#OBɆ_Vsѓq:nt[wNWhcNệ(y\R1YHXhfg1B<y ]Ӵ%_ Ց'Q.WŪTwd]g;];.4X6-A<[~:CX[>"*=%N"HYn} `6`NHgMfcFT-YO43hjdz[8*)TPC.<%2 C7t a;8b d=sկUI&+}z b9@ $-π^,L|k٫wkxoa!qCwWyB_L}ǧ#[o-eOz 9"i509.>.J~qdcϪaցWƣȷ KqߚKn4~6P{W [Պ7S$Hя CUO NJ?w)5oeI*  TU~ _mD1t[I&1"KG}\OZBʌz K"`* ]|xۅDZ)MW<UQɧyvNh03F>ǼL[+f?FamRCUy.qL S>F tTlYݢfXdDLI:uzG7Qe߰xaJm$7 ^}|OkLt7ltoyjTF$vnnG,!]A1yOS_bRlH No=9.G؇9D|֝XZ%A=A Z3&8y*\pV>__sD,=0ؠ<ਖqEbP)&W5h nFvJCMkv='Tj$SQg aB5U-> "}贝WYl@;+Ĭ`* tƩM@T~,AtApk~<$ףVh$5AR,X31ğ/XMKZ`|*'2A1;YcgYZ05d5a2c3eb3ecae0138a20186c16b3d87d8053cd4b079fe610649cd37f98f05ad7c20586ef43ee64 74523ca0166e9eb6415b2be2253b4d5ef2f75bfe