SQLite format 3@ P.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 R5vl ]/ HOL-Nitpick_Examples:threads=4elapsed=68.056cpu=176.460gc=3.8967zXZִF! g~]ŗXiɟA5qbh,å"炇XJF3bpAGP݈1SoH N 5 HOL-Nitpick_ExampleseM~ytoje(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&=%<$;#9!/ ,*'&$#        0t  '0 46 |  w  dc  yc 't V &F"I - yE5I'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Core_NitsPIDE/messages0C5I#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Core_NitsPIDE/markup/G5M'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Record_NitsPIDE/messages.E5M#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Record_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*J5W#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Nitpick_ExamplesPIDE/markup)H5O'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Pattern_NitsPIDE/messages(F5O#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Pattern_NitsPIDE/markup'F5K'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Hotel_NitsPIDE/messages&D5K#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Hotel_NitsPIDE/markup%I5Q'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Datatype_NitsPIDE/messages$G5Q#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Datatype_NitsPIDE/markup#G5M'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Induct_NitsPIDE/messages"E5M#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Induct_NitsPIDE/markup!G5M'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Refute_NitsPIDE/messages E5M#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Refute_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.Integer_NitsPIDE/messagesF5O#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Integer_NitsPIDE/markupH5O'HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Special_NitsPIDE/messagesF5O#HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Special_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/messagesN5I9HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Core_Nitsdocument/Core_Nits.texR5M=HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Record_Nitsdocument/Record_Nits.texP5K;HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Tests_Nitsdocument/Tests_Nits.texQ5CEHOL-Nitpick_ExamplesHOL-Library.Quotient_Syntaxdocument/Quotient_Syntax.tex\5WGHOL-Nitpick_ExamplesHOL-Nitpick_Examples.Nitpick_Examplesdocument/Nitpick_Examples.texP5K;HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Hotel_Nitsdocument/Hotel_Nits.tex T5O?HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Pattern_Nitsdocument/Pattern_Nits.tex V5QAHOL-Nitpick_ExamplesHOL-Nitpick_Examples.Datatype_Nitsdocument/Datatype_Nits.tex R5M=HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Induct_Nitsdocument/Induct_Nits.tex R5M=HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Refute_Nitsdocument/Refute_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 &<` q5I# dHOL-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펭mV\՝a ) _l:aCkXݎZ;,ZNMF{_'&6fpw8=)Bܸ@D%UB6[ d} @\Vhֻ o$`Ӡrm(s8oGޕClclr .I:L8F ڃ{sSyZ|'wbBg|4~ހCciMCː~]P; ;(N+y@@<`'߉Z׼.V7o5ע1Kz<1x^S͙[(5Y; v㔋XaƒWO#X`i'R(:T14=7{4MEhKXtQxקfjvrHct1'dT^Z飌)XرdnL ]OE ^,- ENsi:64NZ5Drk\,r9K|eOۯ~'J)sXCG!Xv;Qˡ(Z-]GH93[ N akU DQxٛ^HX'P~F 6r~/ކoc(cb5ZY, |ڷv*BR#TPֺэʘ[]m炍(UnŭH_MJEz@({^y^4~3XcCz`R;f4e4lo. '} ⓄVUfb"/:'89Xltx66v~ߐĊPw8qۋɖ+_PkūYX-B3dOf<0ugD3J=Q ?Jaϥ'"BA3E3O`*.&Hbo;x:i@lWi8v 9Y{:s %j AZ'xM'፯tWn'JBxW& Hۏ2_*`СmLAB$kpY=ҧI`7'(scaRG&Q@SXT R”6$̚`w`T]:cl~Ry . qZK8Xa>9LO? ޴##=xF+v ׎»琔Juh4!cVpP`PzpH_NQ/FpmNe}:<8 \qP7"iIWiBľ%ݶTQbzGFI'1tX_nncTUŘ O?'=wHD Mza-n҆j˔T .^Ki\a:]QrWظ!H Bgk@mݖ=i> [}$~1z/uʾ*/Kk-z@uf0bqq: [8sQv.|K$~?*(!*.,̠ -2z*sNib/+WoTj-]^Je欷W˦y-o5V{`-?'/BGE~)cMOnw N6%d$-ziMN'6oWkx-C9 0' 'Wf_k+5< Dz?zҹLM:|]kzGU>)g]N[d'3^Qg&N(M&L{Zxh$޲"v|g`@J$]L*ꮧi tыSojPTk@;/(=`I=g')YWQbi*r"9e, \s@ c2PP>%(cK.Vlx>zLsyhfu-_#RiswUnr۬_b)"AFo)A9#<6D\IQ"U]C.Yw[@N@{cnOgYZ 5O? lHOL-Nitpick_ExamplesHOL-Nitpick_Examples.Integer_Nitsdocument/Integer_Nits.tex7zXZִF! ࿅ n]A-MՋhvG"uIBm59Ps-{O1Ha $Өnҏo6P$'D64dس`3{[#B:D  ܀@2ɓs}˅@yK;ypnk< &VFɣGJ!#U_`Džxa}oEզ˖}ZKWCP͜ڼUEz,' pI$nUH6 M?V`%LL/?_}?z#EB+6iZBZRIq "rXgYj{Q LSiDe/RVι_HPQ|~ Idf6҆D4*g0|( Oz.I^!;1 +`"Kü*$>;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ļjUgYZ1BԐ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 "<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 #Ll[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{hsAl;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ӤSgYZ" 5O? $HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Pattern_Nitsdocument/Pattern_Nits.tex7zXZִF! P]A-MՋhvG"uIBm5D$%MiKcfl9]K\]MO+)W9@eAx)". ⎢^ZW!uh2(즘VȌ!ymD.6&"Ѡ|siBMM[A,h{9K 1:#~#Qbg @dY`޿۸F%S3_hO h-{;#7b6S8E@mGb͜ I[5?T1 JEkG4[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  =u5I9 |HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Core_Nitsdocument/Core_Nits.tex7zXZִF! x]A-MՋhvG"uIBm5]<͐>Tkٯ X3hCaRx*9O('pZ߆^դ/s]-iw~qray#OԕZ .EQQ\EPI/G9t_X^wS85M= 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ӱgYZ 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ɋ̲1crIrVgYZ5WG 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   gYZT~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ֵ^Lbn8E[3wFI~Q:7J_);8XB}BDp;F l{L0 2h}yC>&>vЈu uɛhTe;(N\)_ɏkجm V3|oޫ.}ɍ+]]es[RJ;!t8r{?H)_U%U/U YSnw&vwY7?SF1b `,~2$I { D{Πnc{|FP y888;ZO:t*|Pф'df@J!R͢a?U+/?RPPDzUN9x%7*mC\+w&M^MTbSRf 1R>j."Eݏ9$תP.inj;-\+T@'<@nO@0&(~u,xIf'"R77Đ$yCxM?y )]u#Ti5F;dylvi|<)9Z O€I6L< y~zaz<ơ21 l۞#`2N@.iL)ĵԆv{|0&bOUأgu!&1D-_\ޮEg8Akk&}Ƽ&O5ُk!çw n8k9XntA:U:/ՆfGTAhޕ2}E,>./oCU #{ D3y.P4P<󎎴‚ |L>_W7YZL0[- qK4B~ kMu>U@Wx)u+w^AEPtj Wbxb}^G TꜿV.^Y ҒiaޤO̮²WӘ+ZgjRPQm_0 HrBQ^iٸ3aUd|ylÈY/˪hZbAP1Ǵp-]/%v|&+>[Ho%`Z'\O)eN6ZcW߱(ƲJ1g[ʌ[ aOBX C7þZ[Mnw UGKȢ#"Aj[˅A"ff#6xQ#pJ-EKRYP$ۣtiI*Y$U81`ѶpE/f|.G>GiȑPi6^T{W}O4Wҹ論|| .^ғi(V5r7'~8#  k|h9;_dy2Y$#n/Z.oqQw׬[*} qͶBSaQ*OOB͖Is C" 6QLsLo~޽*, uL+[sPP{KʖSvqHIDOM\eΔ;WWNJHA@55ry ˺8{~)}Fq2i*tQ]uv|]FpQ=6hrspC\GS;HZ0>&%B||`h|R8V»+r.WvR T.BC^z_:`cŚ/J֭[s21`wrnyo-巧Ou| Py"AJ+ar^$Km鰌[҉!|rFH Z{`e@$lI(M%^ґ_9Yr`z%)"0{QgL8]ţυ~#TRKD5u兘 ߋϱz_rl6\%Bm'LhXKoIL`zB"fO 5l0. L7UTEWe_ś~@y<2_h:2.Evae`7AƟ1A e7|n=GT@wngL5[mT,PYR]9_#Ń 4{yX "`&EcT(&8]WhjhjC}Xđ $ ϒ3%jXH@o5*/ORvqvqŴY(WXʱ [edYEARr4RsH԰+017qF_0mmiFgF~z">F-ѭ0D>}bز+kWƽ Mz"C^lK}ܥMKV-#Jڃ5JQL\S~/y珏V5dhJ|}wtrǪ7RX2\-It[l( VW! 6DFU5uJXb"P}j2 eM.grx\0{$9ewq=y5#lqc8s2mvc}*h>HH)>p~.\/x˗-] 涅Pcc}7[]^1iNuN@n^qFx+964kѪP+p1\>Z._i%׏% |&|I5Ġ׈kMjRDm!Z,p~,~#axW6:FȀD[KbנJWb1xA ҋ"iyfLfaKʖ ݢ/3^}AdW;ZظfStȈUxe9o^5:{ 2QO^Hl5Px")lI6bpl6[CgZ r.8duGWBx0>jSԂ{-R,ݚTbyI=2?wcBU'XȨyq{(JG,<12pKA-AZ_oJ3 MɠaM6:!^t,`)#Z4PWƥD>J}"@mb՗ *a1e>[m-D5&Yrgw}VeI#~6l-6ɝ&~E"RZ6 1V煮 ʅ%vA"CΖ*_۬(|g\w,zA)9Q 52U[U '# 1=rQN`& Dh:_f,ʚ1*q۵&Eځeڱn!¥֏81r<k IOV3 2ܠ9gUD{4:U.ªQzg8k`S[۩SǢYEX*xq~7bM{$}ÿ4["ْo "ApƵsogR⬮Uymp֛Λ)lٱ*ƇY6 VjN}嬷SNApKkAb1 HP#7g/ُ]_K]Cp# qC/OZZ͋4cu7r_CL}7Ŧnz81Ryi 9X{yKsܰ$Aytg4qzpzo):8P~w7v+9ℛW]TDcv]v .Sn]PrH0 (:Еl,$?oG8rTi-]0=UL:}t+6 }z[ah>tŮ6j|ͮlO93ϸpw㥿@F/c,k3#L2tBi12)$vֵ)Ag2aO2g;MYt׋aåMd /Uk׍Ӳu<D`451ȭ|gDlj'?2FIGE^?$nlvX3^");Ѣ:ZCGgzNs/ n%oS'{x RjE9P) }m54Cxɮ(8TS7CE$wlBkht3NzBB_ /.eV*<#kAƍ3X1^rjBrJo-m:uaCr<ȧ+a%C-EBRKe٢C635k\0+_ <[A``;|f;CjGb@lCz.f v\UGjuqِhJMC'2upsթN0$p?f(i3vWlbǠVgvsJ";^cXbZx>/͟W%3s4X?zxi,$iMG33xKܡ});Tj}3-`| p}<~R]z#I\٨=x34PAϖy[R2 ] fn6 2?4mQ7ԃgfd+3xm^E;py*L[Jil}ÂߖԹ/IBÑ|u ut[d3 3 .odG*r 9;^Z W_, EwKU▻0MXF3cQqO~$[U,VJ֚U7z2AfT7\Sǎ;x6g}~%8"9y(\zl] VRP?v C#RQT=||BV/lX.,/eLUC .4,yBU\ul!]R~К6b#h_&qWRxi|;뉖8 *)eǚxԖ"B4\% %鄵rAWFȲUvܖqY;_ꈭzAz#j<5/xC.h\m ƙt|&0u\S m%vcr)қ3ByaQ1"st2.UŖx:B0[/CõC2}Waz@2b"); _/'{6vc3J%L0'~b񷌋;=S-/:?lik5)CMAP\k 2CsʚkG'h Ld.%,E͚O0QSž0D|Qi0^(]U,PBy>ū~%_0pK\ ѺaBfs. NuVxI^[J vgTߪ!c`>C>]W!3pt ʴ$gx,\vCT|D;t)vShW*VX) [a>%Ӥ^a٧XHs8' %]-<΀g+kx7N3m}`2#} @d拸+W9 'C+H*ՉL/(שZRjb ~ǯ?w\άEő B,-7&\KbvY&L&y6g8R2xR̗߉D˫8:W_{ƙ<qYKl'ƥI=n<%k =LqV^RBH7w8 ZyaAerāot~quKpK_GX ~*k;!%:ϫ&T$i8ϔ>Xr=%'S2UiGT[App'cLSTe'a6aeϔzDy mpEaW(|qaViv\0@1PmhsOfIFq1`~#ᵽʸEa5W5_ L}A>U3( ՘|(e4 48_ >F; !d|mRXA[wѝ繤*_@)mW,S2/-эY.m)%'-DʚEoEi$=!< A$]!k!ߺ$ܕ5\16vn(\HYx?ctҕpVH~4RG/ @Jǧ!L2*R <DEm>P>/dz`%OT)L%sv9aXѶ^SWa6bNmlI̓mFjl_)O1Jbe)y3׮[qA8&=x(EfS(pv[LB fHb!1wvC_'VA)`c0~&Sz]u,}7 ؒ|@Z] q!VeHخEI=ZWS/M8 _r-aS5"|]d=r{L1[ iq 3Aur'+~Yj_ H{te1 4V+]Bkje/pf;ظIby) UcV3Ei3Obgmi;=$J(I J_5*OWE4HBbO S%2@UHvg !OvU1гGu a =97=!TɿV._3aDw-7OSg+!N3z_Glo6H z[?+RO[lxHS{/Q'=MBp吪kX5zݞ*sW 8(l-^ u"OD-_v -8Wc]"~3Ose+h ]B5rѪS"UZpem;o5] [;h"=τZ͊ehXi$ҿmt'Ht\TM WR급yۀ C+]piZJsQ&,;{W9̡p`vQ]݃yUV;0ژȫ2nЏ oӚۘ0B*xUm=;JyQbؽ]]Q6]9i5 ^CQwʙc\i}?h t=)S涐Iu8 _)3=JF 7/A'h]óǹc*F/SF5@Q\ -Q ށzph_mcHkP<=~=lC% jX* Nz`oj\Y^L, x*5U#߭V QPDLB=Zމ#zH? ݵhQڿZm&OfFV,'v`KtFnO(;RC@mHɧC?Q87d^ fmg@tusl1s‹}YI-k$_j r:|5e鮢A5X]$L!>V55ҩFR@VgyV6l{#;j2z*Ь_\L0 Mٞƒ돤?IݦP߮NY e?33Mϗ[{֠U W@VyIxl&m# ACj*B5?OVf̔>17䚦Ia>6,=GH@W_㗰jh /&}cFɞf 4Is5f@ '>)1Xl'sQlwO,Ǐ7WǍ4 mxSթh19? {M~mD734bޡ-Y)5CE4ØyW H[EGx.}zؒ\d>h:M?|(յWe۸=W"' h>OÒd@C;׳.t:|rBqSBnj b?SU1=Th=vUG!&0KUs&uD*J(qtzdyS+jC8̣.CLÇ4ѵiMmXD;`~o ;(?9 Ŧw9ԢD E nVJCδCbR fɍ_Qt ext>I.tlEf]3H*IuvG'X ^ 9ffORt 'RĂd?4$a1Ǽަb%4 }8k&Pم{DMn%q58C87{+|F !w/;44I m^[_]mɾ!vZK4ӱszՖ;,ksTFy^E˂rX#[AuWX$X'3E I|}Ӄ$-i@N+~U\pmjpBРb?[}^bMӣG4MfI$ g=n\'&,-7QYul A_NC\F]ADi,RZ@t7m#Ep O{)xсWƹƋ@ԣey|`R n<݅A } M4fTw!p梿+Ѱۄ"43:琫SVYϗFod^x+];vײ#: ӭ`zBLu'9P}?B|}jҗN@xa2/쎍 @tveuu ws1k4jЖBy>LtWGϩ;}m@Xan*G?5ٌHds+xN1,#^>Q!h؉͗M3)wIU8Hp&A6CϖlfG;o[eYZ0)JC@tO+ .kJt8'cpntiJ9h4ҿgZW{Ң,wѩPaˆtKDCA /,*ȣU:v';;'x8n9DX|(oɵH9~`/1:!5BqcWȄ .8.-bpϒJJ (G rLeKпY"vXIˬ&kAW({Bƭ6u®$PGZY)$1Gʝ<,&~X}.&MɆd. Nb:|qJቐ|M9b6vnHrJDːop@AaAv L x~;dewA/OTbWw;?C:}q˞d` 8}{hm.,)3:vwWJ,t 5e=5^h+=E2`x֚\XP_-7yDq+HPLun%PtMSgA̳_:<瑻"B80+oI?M{?uU}9H1`+0 ӳTbgy. _n)8ͳpaע 9j8JꕫZ/o9Uuk_VUtΟ7\?y"#3*ZV5^j6Ae)HoS'g|zS)ny8kr,`RN'S`f砟%W,ʜ.ep [ĩ -žI\U/c`!~OK~v3w{:,3KyV}첉)?;Fpގ ©ž+ #@CiĖ@ߗuuD100szD&7 dXѧwݠeC hj#lߧ2Y6?7}#J6"3puWl0 %0 Q`&~>DD0WsqVvecO1{Aڃq\zd֙2.W+pEzYk]\4 ;DV<6 Ks?Xr[?.j݀5wJ+rßKdĢ M #\fPce/y7&t}FFv`E2y uG%x`)4,TSvdܙP)%BB!hyjVL.^_\£c(1jZΤ:ad8MI&jM hq; u!dUBɐK"s$,4}i`UZ XrT~DY{#FBaTRz!wcfO6L§!sW᰾%1T蔅"XO2%.>" y)AfdV-՞,)҆oڿb Z1F"0Wc!+0cH $^Rr[xex'q(>J>R*2tշIVc^M5Sʀdj_7ާ}ITMJopΖx+/Q1p+1nvЃ- EeLѽ^3@EWk@4٨%n1 [0r6^=Α[0z d%8 y)t\nGNF|TI"aP,bG:yl {?oZSl?0_J=ƪ,!#AZBIߩ8ISDqY͘3;K^/)`ު`Uldڲ3+I,%.ۤBI|BK >6#tL(Hޙ?4!ؚ`ooKՄ].Q̭ #T\H-R&O)IpN $ tPFiIq\.FD`:j }2phHFjrnM"(RmRËm2* +yZYI̷~!\^IIjjTh`_ ᕖd !Yczn1!!m>[p -+Ò X`&E{e}ḱ<#eQQNGZר 'im~eSQD!.EM3#KTg}NH >ENl>Zo@pTܧc&g &q@8i|g^(aez'%A!Y+4Fp?ײV=h)Sa },=Q7#!#&׋ M7jbƹQf{v?ix5\VŔtT3<זzn4'k+Oʯ]b~fyo^1 ?phZ.|VQ.GuMvc+ ki}? 0<bH]8To)H50`3n[>IO@־= &5vf`(J= -q9&0JB4N[j]ja6_#?I^E[y˺?j413sѯt6okGqB EJ\ϡTjE4tRl igɨz31|R|̓yqZBJ+}uZ)|rϒS8$J5)k^2|ܹ+fT>82J H/q?G$ER1—} Lm:F/8GpױyJqG:6sX 6t=wa%+At[>3VW:GFI%&ߦ.)6 d&b 4c; )iҜ窠Ru0e2Wk!v8N #Yzom8(E N6ݓY5AoBQ5DLf/JJ7=? naL]0=5P6AR&!Etj=IǫI[VS! G:DxJ\Uwx捇JP%6!+PRB͡=ďz#"Wp!,m]!6dH b}1#7K<- &s|&4K ;x ։W/#ZЉ,\ޛ?JaOaU_VpUh`a1lFsT_5@XqhFUl~zk/2JPLpŠFK@* MD@(FO[k{޿VS)\lVL*o_\W0ʟ+d ` |KWx*i[mo"ЎN9rYߚpC|8{g+NyP1|<)V:L̈T{B+@to!I3慱z70.dn*uR+cى"K0xWp-I+riջd;|DXw)SЫ-吥:a֊9K6NuЌ|ҤZkgat !qN͏[MEKL `:T9?uty FIjO#;f/>?L0-@/ZFX_i.(qKPː ~?$[vdpC]\\ +.T3uZ:9!bZRf9TR2v3%S}cP :cu)^uZ7ϊ~YwdxcxWb0w܅EZ{ xeOo0^G rN#oI,vU١ ^RN8;p, n]k]13CUi> 6*6T>S8SP^uy̷B^!$4/`?Il ɢV/G>; 5=Q?>x oz,Z洍~]}SYVAuUt񟉁A`MKI:9:Qぬ>81̙8\ B|XQNsQ)rɆx~| 0DbI~C- /B(@yBZ3"i>6~Y'sG|5Z>8 )!b{o"d16}w~.nγ籖uaK)Ek&e`7LaZ("#da_Ԟow%ѻWVp Z֋G6Q?'I·DA_B"LOv \WbxXC i-%Sj6NfU ߵR3^tkV١;!ŝM;T/1qm|P>|gYPTA4 0|JyrU}~Xb,KgoF|"P,4FZ+bs] 3{hUQ[czx:ڦFTT&:G?{}?_6N"C;sx" ^`XҶaE;ժ4VU,2.'uIz`n>FF<!H>&gRS2piHt뾿?@m j܈("RCS>&e! Q^91u(2SFR);_ cZ,όGr̶Q)VJkurƆ7c)~[f2案߃~]oW1}s0Gw`[8^tddX.LgCR f[ҹ3v5mlUt?$,jD+=x6z"a(GMx3^Zx7))u7E6"J*oѫ ^8DevCgK8Z)ҌrG\ >۾<=21khܾw Xq_E{{A^;7`_6̂Wm7لK_Pk?"/l܁.{r`gUDuH{Hv6l O_+iU*(Ar@5fxLnQ qk} x(T셸yVD;˾̄Sᔀsɘ} =OMfjw?Iۇۨ1=' ȅ ̔r}O},/-V@r ~[ @Eˀ,J@/]uؼz:KC15S ""[ҙ<^LXL^Th[I+XlG|n]Bx fkl+ AQC:GYҞ{jaN` s+ȉfкpm>TtC'= c5 Z5Ͽ}&qi(adv ab$s|c.'NyQjگ{6 pTlю w8s#r>bi|R3z`AUXz ;5#jeRBf]v|cnI]֘q?6/ v9>404gGT!"CIjv&#ٿ,橼CǗ؅8'\ {-SdE+oq'=]k.>[ 7v]GcbZ]uc9á=C &h2 at¼6|/7BՓM㼫(Lzk>jI'J}@V|DHۦkд1=A NőfM>Z,$צ6RV*~=Bg+Vr@G谟B QҌ-dIdMJf6WKw}ke)/8 ԁip~쑚Cwcutk{¬2lMgtlO[el;"{zhWj"3H%BWwFphq X^:R#@h\--Eo«xPT1,"n*=WP M0|]]w[*,߮Y3vȓKOwmtb(`d?~ޗ~^H"etFϕtV$M+q?WBtAHz(I_iHjg& )ON`Le@+hö425J/Bh6`8Io}l6Axڡ%ۘx0Dq}Qբ1e9!/n\Lг|%EєӥI1>}0uB ]N;mU =<+>j\ӚPgDt5~kEՁĝpq'0=6-cW-I=FxИ5t f\hR3btxǧm|TzEDQ,\p@Q6jgc+ƅ.AwvE wudǑ csXBL\,D?+T-]HKm8`9y9LL8l52kxˢ,)M' }LLy 2X3pjAM )Rt|/bՕgn\{Oy"r}?ͫ!U2Q  V |FV35M# dHOL-Nitpick_ExamplesHOL-Nitpick_Examples.Manual_NitsPIDE/markup7zXZִF! M,] !M젗OFK?av̛]Ew\ >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\pACBE LµS$y\lUy 35I' dHOL-Nitpick_ExamplesHOL-Nitpick_Examples.Mini_NitsPIDE/messages7zXZִF! i\]Άxʆ5.f-9 rq9o+:-3_vJSQn+ %raA&ԀqQ^$ LWMtFA_ b{e.u|hZ;d[kN6u6o0C=Y{~^}E%m7*T [GRɴC(.1p=t)6bo_²'tXر^?EaɝLعݛ~>zz!YKF-wl后GNc7FgtްW/>܃ƞVdZ%9Mㄊ`Mݴ =ײuhX9=]&K-S{PWϠ,G߭WOf3Xroq z5@U:-])6A5_Xr$x_8ʚ`\>TbO5'4\=wD,-tZʰn[4yg?&$VyOK dlG孚^K+VGX<6I#WTi* ET}`lK )*j޲RG=ƀrj j_J ^8.e@::ۚtQm͟mۀxwcowGSG'p2V8_v.jijoR[YXv4߱~^P.jn ^ f~.S$3_֠`MdgV[Ay]f()Ūn{U>^sg8Z|?`v\D_,q}璉nZï:\-8EYpey?.%]Lz}v*3CDӬr&ש7Wz#aoà6GА_9N觢>FuN#D#nKQf+K\%U(+X6ʖ j($h[u1kld)Mhr P'Cب!C#y e:VQ7WFN/)z rV_%+{َڿt3y2zrw &:Sv]s@">@99ƎcOBb4ZTgRumik剔:3"h>._[ozY7t$)%3 #oⰲTʛ?[ߝHISQ1/$u^^#:ñg.< 1fІʠ_Y-BL&b Zh*th'@̈; w1mNiN4*V GnaIhJ$C G>>&j}33 ;tgYZ5I# HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Mini_NitsPIDE/markup7zXZִF! &D] !M젗OFK?av̛]Ew\OcN3jO:e/ e4~4J Wwz H̲Wٝ39X*TZ ;4QOcM }Rr/>8Mu , L/*CWwb 09t0r:>qXۓ?s4t*FpDh{rM^Fn4WgVN/o9R-Ѹ}`Պ%*Np@iȫr3\M12N~Зڪ^/3^Z|xͼ~u%Sx$#\,Bh^ҟ0d 5=F'If`࠲=sKYP"5Qfv~?\DUT gXMe$7kSKOl֖ bń1/!'7)ʘ91Z''/Gf"i$jn5p`ëc"cf*WuT@,kr6P>zڞs bIUw"ЉIH?ѠOn+VR-Eˡ9槍Q?qi7 !$.>n'g変Q n LyaCM CxS.}YhQrtS?nA)|p("I"@5Nq=[n_LfRLvfI |O{񒋙%]?or% zd\ͩ|AX>^,(Ą6\f4Kl9Xi>vS F 5MT/g&Ft_T] 57|^6N{_\sbfo$ZQvN!?Q1v7Z(5s /`21δBvId0:16ZL~6PNLF:otU$ ͝$'4,}MSX Af~Ɩ΍d*}^;V )C0;l7 @,V{V 'zd`sؼtt-̱mwNMEC 6YC9Y7 g5& vܙ6y`0O[ dg$ĥ=/yBtK[ļ{I`&Q&FJ7Z|Wh#!y|'K\O#/P4fr/(FoUrC 2y®bjspNL\̙}=ga)'s=&Vj4y G:+گK Qdc .VfY_&gQy+>($r) m0㊎2QO[>vç (Xw[BHZLC%sŹ@<6*rRCQ#s5s8% LgYZZj<?cV3=r%@z/;!/3S>B=/ըf1G9RO]Z,"e1T u }/ |6R-g.F u pf:?M۪ב̀$0-wi-6/0 g`ڂ y& /Q1Ѭ1P]ŗpdc¼!oWc{Kog D季96mƋP#h,8Bq"s~PBֶc/H4} g(&<(#=儡,RO~͊Z^;&VVt-ҳ^Z$(oE[<(˥rvc%mqg%!0e̖2FMq 28'phݠ(,xXtY!ލKy{.y "'n0QŃA5iTH @}%F$KCkʴ8㿟?<L}F LOݗrIϨ~P{_ 'm*5kcZUX>᷂6_ ƍO{α5lAZY0QKn2#l'O8)V𛖔GJ8ɡ[D83ЌX;si>X! M_7 _(&A&`!X P0uNm02V#7q]bի~lvg.i2ZBuZbVtD"ֳyId186(Ď+=&9c}Lo8C w654A<5aϭIEBC4ZwOh}?\Mi{.@jR i(dl饝FDQ~د Lt,06L $<ː•ZWr.va36F&Jᐈ6}FX"L[pp9hNC` YѶz~7Ϸe@Uô}G|6q? n:7G5#ܺxg=X%`gJ 􀼎ψr T;/#llYt UGL z{2>Ue&84J^/XY|ށS-Ab{[!]B4;Z61УΒI ܔdb *oSP]xM<:!FhsxTA肛TY+Bil.YNBf\qr1܈*{߄1sV*2"u~q$~,l~v4(;d=`vM3nKPԜ|PLmɃ$VGxen2E/EMv2HKJb@Ym؛ YCptcOᶫj$I1U0\gzF]!Vépsk$\y9(qM%13h ?z oW/ 6G%XG @#6n *4%lY 4]5 | Y2Ve4F*0djOQgu0:N/"< [D6JZ#"jX>u!QR!M3˞Lc[_]}TNمKF1oZz,[ו?\䊶MSO;YBXFJqU㐝MV7?@,_%n&ya:%t@Lj┻{[Z!8Rr. We~${|f.¤Hj>j֌f\I7[Ծhnȇ}plm4ڬ\q5m&%4̏!]ZҫT`*lf=* ?M IMNHjibi'28E%q9mud-q,HU6{ǧƈK_*<>MH]4dg_k;,EDa̍s? 3$K"{~S($ZJIO6of }Ye1Q|ލdqs}>jSdX1bdԠbcsYiC}hx2LA:w,?DwhPud3; "Qm4KcX3[DX]Tﮙ_eCLt OْjV"tqTi]E;|\ dwx%C A3R CW[2w[niR,Rj07`Y>!۷f@w lxjم2@89YM@Zb1$ڻ71=I*1'lOm5>|ª~wJPbhIV_{-HϞb&~glb> `560ab]PDA Z2+?t0J -+~ûqߑ_+ >e3H\ÀN3CUC8HG\Tgљa{#Kz+'g7@lw?C!Q<(_\˺z]2ߙ`Zh7A ;DB7w{|ݦ0.FBQ-=*~P4]UVv{ q6&"]6* | ] @cUJ BԖ8mle-$jwG$R,; G(~I;$3cR&>Tmg4Vd]|RO%Q ~vh9FʵtgQy>`w:T`OH]UhU&u6jH[_,=L@4qa 2̯1)[+jc؅3rIIsӸoϦq\uwNu%q6%h[T|Wwz t6gpO?2:=qt3 o39 0gYZ"^kaSddM[OcPL!(}` ~N.ʡ3,NYO=Oem*:Pa(0a*?M)Fe̽]gV`2)@ok1(|*YL5l?K|gmVZB|1 I,jj dE!8&q^Э~kEʡXsֵ34*0ޥb7e|Rھh2IlCߘy cL`etNqvU6`?]|iu[>eȅ01cTzQS*~;S;Ϫ;wT /N?^s;L<c}Ĝ]rRNp/7|-y:IyLESz,n,:%bȵa\&eTla#,@plCwEl*e7l\X/9 8dM>>bTl5:+`|(-FKr "lfj%^TOG-k[Qd8,q!i2SI٢{&Ĺ&N Qǿg~Bt(iNZ')<3*΄}r?a?jO7l9G4VU%$]w|֬7s(%^]`@Xmn%'d= h2a޸ J#c1fujjf'7$x~Ė <mNEq:O|HV> Fs놉-D`%;o:; ?2VF EUfg6,B`8-ض.I'I K{amf!f H4m3_d;jgJyaxCo!TfCjkN^<HmXds֫OhɥG:$}rT4G@JK7ر7o~ oVZ/fUWbQ0jѳ$t~i0kƌA]tє>OXWVMN rP<.>֮E V3㾞YqZQbIk|X ":$o\oT9 v9{ `I|uE e1KoL#tfr>%6và`1)u~n|1_+NGȽz?:A5wcC(rرrΉ.Sz4b&lW  "defuHakp:UWg K@"Њ%`ٙs +\8imә_̄4'ֱvw*UW[a4]n;R& H)~/UDf!"NuꜴɕb{;k4120ȸtF=%FCkRYFpG1t9b+^2%8'SNu9ԷNܡ呈1i ,~Q_O_`|itZQ+IS[0IӘPgH؈w=<7C'iaZ%@t?ҋ Yz$Q]3nW"Ab›~0dtO+3Q=\!wi;a}1.7q?E_Y"=5HO\$@}l="3otzUu =29 D eQ~w灷XJw]6.Ǒ݃6'Eϕggm K:2NbB\B֣?P /MꈮcԩԲr-XS\ex 9.?6+)+OW|4!zH_G|CUV=|u&x7/g7׋g8x7dvZ)ro8.|k1V@Bb(HOo b{W:L3(vh#HMr<5fh)6O>3ͤ_=Z46}(DOXg4YJPLaǙdD,lPMwDAh1Fvm< E L ױ>>8 st †&)ޡ_:񕩼\M ؼ 8\J0eWAtKko),OZt~s#WL98¦u\,3,|Õ]<x X7soERS9'B}Ir,8;Vs$5l9?(-fo K,7l$̾(6NGNvTGO,P̿WJ~ qT|68]7ޥ#_lɃvZ*MFJdGA߁Pʧ Y#3PۇMx爥.l[nFT V8NyXXD0NTʒ?'I.ɩ&/TmH#@+о]\ve8UvC;<f`mh'XbPH5,N^ Z{Xr#ϢX~hf7=gWH>bTV]\Uq|Λ4Ɗ1-̍ anֳmCJ:`Yه2T҂[;.3B:)ɘ:1Jd\>vBgMBۃʂF_>_9_%u쓙h)p}`։ѷ= [XJ `F0Rԙ/QhK)/P"T?Y.Rx~n&9KҚÎN6ͳ:{s2(G=bzynAP!X.h]r"M2̡fݐ~@b1>xX8mVQbډ[x|ԙ_!h ଙ'DueKöu2窽>z1Dl,満sg-?| F-Ct<+}UV%o#&|ڮ_A]*;2j2?E}9vFӵ{5~{b!=tۼzioBFTfjMdvv۟ 48.$s?\tb8 {!:;̇Y Ca 'lݑ:*SM ;+%>R"cB9LBv+υt{@5ng].qR]Te;_Wyp~f& ^2n rډ?j2䜄oۭ~m(D9Of6QE'!8 )yoN-.p.#ѩOV>+UhUA>P~PƚLack2qڙ;D6c;/Z-Ѯ.(rz1_8#{90F2 65̆Q$ʏWk< qhr=[)+^MY:ϝYtoUD|+dʛsRw&\ܯ s:Y:cr̵N ;A-o-C} ŮI!ثbvԭ5DKd}5:Q*Qhe*޹:MC5T]n/'13pa$J!krEg&Mm*\z" +'Je^H|YǑbYhYDK{s4'8  nV' >] S< ISeR1]m R?M 4 mr8ȉDA3_:)f"nx1cF QjId FJ{ԇdS,3% icL4nL('q(iy }-7*wɟ(c;:r%C9,VSJ68SJ1y'9xwVjMq1۳:b%6`7p~B+/]T|-b5 ] Xbޔk 5B')RѫA[ph+RKLen&")y:4{t,66Vw>YU" e^*Ղ WFBVc|[9tS׳"nQ#z DV;X%gnm lV^.WC{q"7&et&p=#vkW|ACUTsX3<\,׭92b'A:Yf˫` bL*vG@fnW9x?ECh5MJjbxrUTիZA0PWRį!z4:\?s 9W qFX}܀ LV,) l#;#H]b˪M~8odwԅS3[<Pmo|A,3Zqh NMP}79u1B`CbTݏ('mmz1.9Q`9-zrkgq133W=#) N7)K0FR2*.GT}݌MR,d u-yZp10ƕ'dC8ȨRw~ZE HhW)}4zρF =B!J#+jqI앇UqHSz^ptxl@&x'}[>.ٟ^j(֟9 :?z@meBGYBj:b!{5?ӕ;AG_lŷf.5?DPj!ٌ)`zGf+-|Ox˱gYZ > 5M' tHOL-Nitpick_ExamplesHOL-Nitpick_Examples.Manual_NitsPIDE/messages7zXZִF! U']·Iq n[:|&[z9b)* N7,gXũ@ XufY˦VccZ>/fQMRun\h?M@kvz q,GpH7`+x?6VDB[ F+H$1 q0櫀Gqɒ0#FLO7_pN?sHU5@13Mj% R֧&x-㡫&CUƟU-P;*XA*a8"Cdd"38:UNKT,hqsR͍C3),yZ0vwX+>ޠK[{rPcF0]%vvՁ]`gL|p#C[Si ĸeW~䕌hi{6R/ja*MT8Y<_prT 5:oESNʌEl>"}F|lkJرo彡IKn32F2C,1[7 ]Y*2=椰pj>4^$omӎ6 kp7)4qRxiN O-}עIMe1^ڨ\+Clwٙ)|6MZYg.9>W0dV!q1ݽ{iJ=H<2$ov*gX!mv O5Gvrm,E(@F다Hu/A [ r3wR\vR]ؤ$Ε oÜ,^PYLx.Aq7KۙIHgۈq/,Hsał=! ̡?*[gF,l5H:9DZxR~RW|\^9Yw|?'Uy{|C2j;I^q"'^zA򺏪q&6b|ڏ9{ihi=^hfmWDC6@^~txn36|8"REѳ*8"X#({"e,>g{!֚E͚p~$hv 'Nrhh{9xaβ7BJ.av6'Wӏ,˾߶y!_I\CE 7V`ww1$E+sվKU e-tl "H) hScŁ'2Ur]HT{WE'If6N'T6Pr-?-Cz8P?Uc@3ؿKZ?aCמrwoΊLO0&_*KhwTr0[03(n\~2 D;#qOa@[!W\\hUOäx[N(%c{ uƴJVhni XVTx56IU{4XI^Kl 劚-7(cjfz3G)T$T[ۯ ,f/x !TA_k {|5\Sr' ˶7(b'oOlA}n ۝ xI,BʟM[scLxx:?EHK'OO~ )jxK;Y%h2m0iqllda[GlSl|"+[&'@,~y9s|7m9&ʾqG8ҟo=E=jubiLFB!f^sNF4("vjT"\ j}\gŭo6uBk;Iou! 99D5O# HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Special_NitsPIDE/markup7zXZִF! 4;] !M젗OFK?av̛]Ew_( qdt}|2Aa(0+, g rD0eR2VM*JRX]3U#[ Mo}\:s+J ƼAQV<Įd=aË o21g qEb&]LXM8d%IR,B臄QjoX#G̈́jc*£l WXmYDvؔaوVٲ3W0ӆ8+䬫/ M0/WRg%F_˿E;}~(LjB^cL@fYV 2t"&9KZkh_r4z-+q>'Հϟw Fr7*bƿq)Y}$OբoC>|1MXץ&.::?S@`m⽊!@m F>)Ce*OT/i3oLzdCa-b͜B%K7=mFجQ1dntކ\]Wm;IaLo"aȹ&,Bs2GQaelHm1 QSjhƞHpaf'UW7m tx,vIOMaOgDWj(X/&4WM3Z3O#"!h4x+eDbFS 3#͵ɴ\Ae f̥$Zka jH81LQ]x<멙~jCQ@i*Rf( Nqh/e{.o&2;rl'0k;q8Q7t`n .~xWOBKC9 CǞddgʓn륽d&ŋcA pXyg5y.! Q\x+6/xhM&1RUb\зVİ$c?ƺ!zb 괞JUTbA82j<,WnπC1Sy(P6QOû(Zv ʢa⭗Mjى,zkn5wޟvJAOܚ7uڊ*J3)'4I^I'W O h9bN p. нd}׉xoU=6qMiXgYZk N_fnO# $l Q|0~pmx4C_fd 1_|6Ճi&s)P1UiQEp"ǐ&c|TN;u؆IqE]zq*1˰>o"! :rOFH3JhǤMv꜓ǟF>R+5lZ_7 K 菹2Р}.DLrK V3϶ihz8N#@g׫>H;~-qԸY_GWFV0׮Fpgԏ"QCc̝.;~Wր-$[7,O@[ 0<3&vmKme@NѫB#A' e`&%owzwT z6RWa[pW:w13qMK 7L .ψTOFCcM=E ^XB)9=.0yK,i.,S:TͦwMA f\x CU^ХU2޷2:c;ʶz R=?s z7tʤ+}YA MdLB@!‚ 56N)I3n!VcjE9un(vi٩t:?}qFR#o ޡJt3oe?1S0)jVSm\&lK R/օ /G((%?T 4bq;RFvөǵ[4X|qI`}΢z)p,)X4až PVe%na0,=X(݇hר'.Db1\ ɧf?> ٚ)H94QGX+Ux8%ۏPgF痪͖L]fK rRc Xo5R1=U6_*xpJb)5hNyA.V- ^Nzpq=,֘L'__mq4 XkYg0i,xp9׳jOb1AɛD!WJ]}hlxU]d'#9plIW7-Be i ç@4ь!0/] VvoQkoA@č_[|#xƶUGx8'@wʂ̇)cu7x#)O-5 y#[Q(h>Oq(o,'uX/X}/0z&VtZ2i sNT9 4JnFݙT魆`8("_]EѧP])be>`D+t&975o}}5KUGGG `ǂ%O"x=lS$ x8GfGN&}Т߲} hX^ߺm0JE[ ۏtJV%Abb7Wuoy\b&N]U%)KVuo35o"D0^^uuߒlhtrBձ95y|;ON@L#Z/^\ p !fѐS[3PU'ZfoLN]jlGDqH+AC9YE&,Ut:hi׍0>ݫ֟)r[ˏ /,:ET/<ߗgV]zTKt'Bƨ !,-Me+[\sQe[yG]18\!] ^XV/c~M1`A7+TfZ;>^T33YnԿl J]6s'&]=lwi=AnLGp"ga]_g.KZwӟa T~cB/=j:>%aO ~wXiNq g;۪-ok ,n P]9+O\BGef "M< mi=یF="Boߛ. chdǡA%~= [vCkePȼysE#>cRuq*\tvE'8!4EL'N=]ƙ%7Ab\;(s{fp[^WtSyӿWTfW<:s['8:ck3 |b͑al`+aKD"mzBﳥ̴;teģ5'xYiv_+ ݖ+lCJMC\P̠!ur>݇GHFxC$6]_6}9#=pmo! ت ]\'GqLV%l\(iK7̶ NQCxy7_ (qf|Rm_Q.//jRt^D[nap. iOK8tE$275c s-sJ =m)+n내uHR7J7?:o[sOr_cq)l$$I+n0`G(:Kj#U%u*5Oplv')-59RZ ܖB+\'.^\iٵà2qEAw՞gX@ۜ/bty[Rspg^E}G\?d!"{`KWoLX_>*sЋrAJYܣ$ۜ L&^LۡFgmBu<^HZTn]b F~!HAUK]~"FFj[#:~)]y~2 >w -+{Y" oÆdp}꺂C^eNd%VQ?-ԸWӽӺmMcfy!9Єk;Sj] IEHe!Lj6KhAG= Zɋ4çL~>Y0?<Τ%֙]N{Fv4>AO >q6*ۑ2kJr'!r)?_`FeuHcb)!0㎴!#$6ˀd*:bF%*cs̈́=^oFV n9RIEk@#2S)E4 o_Q,XoCmi5lA₎Eށ+6+ΦV̓\dGт}%)'G|x6sga~M'#\ITOoJDl&Bd|HC"7ίv^Ѳe΀^פŞ}AL)xqSgQp5-OxsUE fJ 8ƁHfAx aQm[xDn厃 R2~!%&)Wh~ctZHix0WQLJJ0u0V WT dOŬ;tV/(eώP]ݡ.RJRVneE,KyxŪԴ{i% zxO N2MM&d\(Ag]  Q!&% S-U;ﶋߊF`||];+I֤[#%7j2,\}غ&}B08JQdsƢ@'iN:*|^ueit%#jzi|Uh2eR[QT 1w:؆% _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' HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Integer_NitsPIDE/messages7zXZִF! |]·Iq n[:|&[zx$W9#m[p[U|r'RHpyϙxR0k{k7S0KD,Ya\ fN!ͪEuڷۋ2V萟IwƠ,Iq!cl@QQψC1=M𖱎fW4>̽| \u ({<٣zLNJ\Iaz-H7yo5:޳_u'Fs5B19N*q/UChqhڜc~V԰LC`Rd v 7 7: +l۳2U숋(AK[N_y_ |YDOm е`Og=YHCOH:7ԟ^ѪRn}0_9!V@DDE mSs%Ϡ jpvP4[,Pyj&_}[Ga_?%=IēTؽEJxUvJ9yf2WJzZy"mq2JA-oTXԉ :)o0͢ 9Q>].Zn#Me}mz\I.72 EJ* 6AsxgwECɮT<O2Zo3${MAqi(`RA!$Aمf{ьHbiT?ri%y3~RZ4yA]cBL& ȣUymA~Z yov9p{Oau݆b|<Ѽ@dS7Wb}xCtw6T{/I.ҢSScHEWqX(b ޛ9 fsd 2Xh]Ȍĩ%5N^d~ASom&pOkSZibE$&P<4׀[(O;FAx }t8,BC[=kx\{GN8VM4)7?^4q]TqohT+mI`LEہ@,EKf~LƐ -ix_qB`y̯_y`*鑽QL}&ZKSHiGE46v/ -G7a (?F678;vZ\Uut&{Ohfh5LȭM` (Ioq"`O'ԥ`W+}a)rZ3&({?]²2DG:E+Խƕ8%lίK}u˃λg4[t+ o04]X%%cFrLN<0mFĻa2SIŴԍ8X>tl] rDem&oʊ!f7~~af{u>hB9Li+O Ytk P\>^ Pxʐg[3a Q]|}d& ##RB[1G-&tu2Wh"cԙvt_&N%hhafd|N.}N66G9:FդnPa[ Ei6M 6_eILCbgi߰(\u_LiM< \?qb6AR \ֆ.T.z ڌ3.6,Tf;!RsN\lRM$3df& Es q[WťV8),_-~s/c+<p=3H Ҵ8dsqrk>՜;ow)~ɗ1H) 7 嫞^T+zztK-ڠ/M~m.'kPVJ& JC IlgͿu5sȲW>k;nsY=2snIMb9 mQL'uuBL B %,I//;ܲgYZ)¹꛴SI8#XĊ-*P#G^h"_,'/i_ [*VkшiF-I0#ba">ҷ[I+_3o {iVIF܋}h-ް2k'6 /qϕ@Kp߬n6qZOsLgozOܴjݳ̛XhKfփ\I~D2@GI>/zU%pJcLPՏkGGEֽI0FG?|9d4 lUJ-kꂏ`MYv$sJךjF3ыR;Ɗn} BB!Ͻƨ7@'M)C+"͔}Y+XࢺI\>Uz A=;572GZZ{:ʯwTJF ;CjL}mv~\19#fe0Ŭג Nndחc0ud $.hulد~`6c6y8tdBt4:HA\mO~{>oDl>l^r^V66y9>1%`U ,dTv?-vL)'j71OI6;p~ŔFQ"mŕ_Z/M_S9xbܷ#ʊ@C+ߕHx1A8F5.gKtr'18pζ;V ֣d\ Ì_" \.yTØ(}`–G љerX(xCfP);يYfGӂhkA[N"XXsq)Iff)mw>$>7O.6rŶ&3%.KMAc}tqib}t<}&4>ײtao=wo,MAhb[d.)J:++%ᗄ:!} Em-E+HP3)HzS;D]dN0Yp7y궨,qaZr9sn5JeB2C]Es| 3M*$>K ڱ@LٚQk>6.G^ӛ~DTW?a5RdVwÕܦvg|1O:Ej^&whJ#jJbU#!A;J_"#Ѣ&v(FR§&vq"L߂A«u\,thfWn䥭Z3إuo]o63" { /Љr%HneΑDp !ı(J2S PUoڐeE hӛˮx ޭVGW3FmoJ֮̇~RC %/Tm apC2[7*K]< ,{,VUl+<:& R N1Hle-ugZE5k1'Ҷ$golI O>rL&AMr\p$PM>.bq1:j7.nV(ZgE,Z|SE&WnM2Igj1٤V/)8둔'%YsUeXr򮞵y,&^FGtfCFw f*WzX$&~dk*_R'IlVu0ufR^n(n?*S uǧ>/ |3/99ԏ NM; V7^{y'.b ς" s/$$1 7W8mUAg7>,ycg>^(SZT3̜븀ί$?i4sN?@ĺ$Iv(AӉ}[֞>G)RcyvJTݢ Jq-SMj4iZt-E/u>4FXVAx:/h(8=͡s6REbf8$ƥ%!~@#H/7e+%r=TC6&]\6FcX?|uV  VHhm̭Tp=4~TzB vT +!@( ezWhB~. K|uЉ`9;h_4u[ <&{KjǠcBCb X:Mn#V*|y }  \[flKdBU84O/uP#+7ӥz\'<&?ai s]pX_ΐ6I:,ӓԚ uHCf[C$8=@CR>([q KnJ a2U}B_KFi9'qS u2݊O?H&P^O]qvWarqߊ"4 k>L \*<,P{oMs`ܾyhmsjr ٷYg[A MS |4H<;<pPzAAfQ Z}DZA]sxrb٢ QD}$ J`&؎ljY ̝ǀ6Ҽdh#CYM Gks#ӽ=H@pȬ3x+؎Evdn(5է<vѳin5vQɵb?ABͬV! 6~:i2 sidfQEL=}_șji\eAolc⻳Yˇys[7֣T Q^ GFB\Pٵ@A92@9OYGI:ztbXSQU.5㣑JkaSb+|a5'Tká|qkDC]]1jRa$>ѯ5&R]0ZFK'$_lf\ykKM%9/=;'.w%&zpkYGM@+(q)'L";;W!5+$+&~U-[2479ڿq-ޕ:drLDvFnM2յ[TZh#r& 7E6п}Pavyx&-@.N^ 7p# uϗeg%iuT:X$1݁3c/,72xB"D6yiU>:21߁Cw(%Sɼ6 QhG,Gp4!!DkRxbpf'?VunӼY!*j]'WӐsx8ƪDbC-ć2~m-lTTO>Og1sbM<щ&r~)v2C(HH#Df@E%.[C\Q{hЇin| .v'5M)6fA6sZ<.ytoM78A,\▐ޟͰvq0FNh#խ4U&/a7ZZ1|)p !Mzq/Xbpգy Z7N` % {4nnWVyWEHݴއZ>-b |vxn *FN^~HCɐPn {TSis4cKtvB+ԩc8^"6%R/JѠ8^L`+RYtw¡vKH=ix7tl` P y >NA2X!"2o!6fuk;t,<7`!(b`a湑=2 :(~1@.Hvs 9*%c%g\.)?Ɂ}7pSNGa~`Z 0)6ξqʱ| Aa&爮[JS@_$N_ɑ"|! \(c 89D6 6 D,_}$ГtPŊ,fZOF5[쒏z>]ũ9B̢EA&Wᣍ幂tBs\r[Hُ Xa'F[#~5\ʢe,`2,57.^VNn:L6́uθ4;~lw aHԴQ(m(bJDDGb[>U'{MOnn d) __+N_&B":]+|GN:\?*Z6ؚ@h/%` dȋ)0K.KBDi ylGmOt}HHFVphqjN^}˕GWGI9%!234ؐBi;~ 4uGhf] "Аa@E~c6kLXRL0XH3+ ^K%׍or bD%_<ؿSN13Mfe.w̐Ӄ§2# LԂ|q|%Q|d>nSBf)tDev'(4\\mkB~x1csDfp tnD wB۠"KXByEB'4q~7L~Ƣ -X)HT 7Vbٞ 80<4HZ܅ibV$QI$!>8~c[A OkV̳)cT4eS-mG .V~)獼F/a !'{M oVMb5'uY5H5 '#Nw~{ ]Ere[7=J3ϖBz HL"p|Uv?i^26 uopWXhn|$Ttꥒ8vΆpՎ0d!I.&P2_DmS|*;sL6:w<*<^JO*):'ywtmTo7DAZ`ٽ 膽˶Anb wU zUҘ5ۇ&w9nL])ˍ}eTep6vuR$7tR1KߎD~R8}`^oe ,Å᳢oz;+JT?ݺGդJ BI?*VS]eGNV7 067_g*H+|h?f׫,, mZ5Vvc+Atǹwq ;HFLϨ#Mu_o0M3)KF8Qѡڔ|B6$j_dЧ^l~S*xӄ`%ɒ8nzK+Zۿi]ݜ_[-e F2&jBտ]lKd56FuOLBnI SJUesM{,_LqnGzn5i>֤IG8 qӧ^2JO:@mgs΢Vmp흣6'C[Y ;Ό y1so ֿL"'VN;X"ˁfʖhA-pC]^R9tu9l4J>*U*p#I)aթ憃k4~r=k>(uAͮ3&F^=.ÿ)[OW'*M3ZJ 2K.#dlkS)$51ۿv4RqDf;m1␌!& tGz ay3)kpB˩dqUR' IGɷǐ޾ F3ub91pyPJY\j \ 2p0V A5Jf;Noѧe䁦^綿#3HnFa)k4֛}pA6 eVȔ!6f[N갢%'r ^*ƍ LHsIpn^M'%RJTXim+i,Dv߫dЖ3p*)3` ]hǬ_ճ­*Rj2_0':\M@K8DXߛ;vjHVFH[x^&pg v营uq:cxE[nda.>3/* k݈v4u 0p삧 գ WfèYB3uH~h ȴ\sksSK'LVsjɒ-loØ$ 3av{ ^Tpτz2͕`U&I~g lYH;:dMU P,Ka<@=(G?{G\Kn=653]''fkܜ" .廋'UwA@ɔ>'.`/`J@1ӪowPs OXԹ 3egGF]at1 ,U\X |@B%C$LG¼+M~cyuÍ&{[md%h9NU^Vgy{!Q=Nptkc>-?ʡ2pP&Bn%Ҝ-ic ܳ#Gv!3OEOF=n>ntn@~dA$lfSW B5rnoςCV=%F4`d`dWT=>A߱AXL~*Y׽BρiVuoŽ*g0Yj.Lا q^Yѡc8>ӗ{F2_pqDl-QE]] "#:QV 84v`)MsGo[72·&z*ȥYo-jlH-o?u 86!KN41>j:=m #R$\}vUO2ApB V6 ރĸOu`f#k0yZBU=NT`kE$E\/rKr'|zjJwdg!kaJ`kY|hWڜ)IeFYI 1'fgsm--gc׽F+Cj%{2' _jFB"5<[4[ A:@HLb~3|BڿRf $WW\`4;-~_'}[\1e8A͇uCQP%F SiɅD,e{(Va 7Je|.]^ź(KL9t|Ԃn"=xd$Gx5MD7 >+<;&K ]4{uAұxrn Fݫ9#g?=2EM/o9jN䟖1w %LM' Pu캒deA^;e:IecF4 m҇r]]V،\üue59?TZ.gH;-jOi:1߱ZS+i'{ʢ})7]9_*n BLm@h6!f[1rK2`ڿGxc:CtyРk#$4 $z4Qe}fdZ5HZGf7r :ÆBT؅*9D=5;ũi{y<ٚXL+ U_a>B$6p1_p32&`MDgb>#f~c Ixm1YFTmK\ݲ04J9˂vtKk+F^0Y$]Zfֵr;XA:KK|05]jw3O78HyZJo哞)ޥ R$9b'gAW1B({B~ OTjY)rN%Y5PgYZ b5O' )u>ZƋiڙۨ-l 'Vr9\Z1ɾKL:w%cr{Q R} m|* G{$p2\.WXro~Sd! tH=~zIqay)~Wde+9[]Au=n$|~giD6GxrXFıYF򽹻>yzÝ/[z&9UZCA0)=V.#ZY"1ְ*XB֓%z)(*_#n\'$K$C$E2jNO찆LȬխtr&b`ˡ2C2}h"!yTjc1f3Hdk-% G־j&QCr&fw9jE\PI3~Am&_o~K3J[ͅT?G30M0VNǾh;>L 7Ҿ m)^% s?2i%nE׈1e.dcX\w\>}}{?@OZ^N8|3 /\oskGɪ­'xkײhKŠpy2#Գ~\[s h&_̆'p'uM؄2H]Sт%IN /ʍ>5x7:vr_)Zl#ky-/^1? Eo Y 524c؅?$m.NMDN!i6bLh3?wZI~ߜTl|V"Sق8%PWҶc oV &(OPTL¢ 4ҦvwܬSjHn. UDFy.坲Ik=2Qr<MةE/B9 &;-UPQ}XarG L /-(+[u6v űU ^0J]ݜO-YzO©u*6hIv|uZ ] 4:(z8%ʴ (^52\r5f w: :'J%ڧ觸\5 /4XMό Rr,=b=ftk#lWIJ~W ?sJh(n#oZ^Tn%VL_-89PA& c -#RTLeK`1:3N \ZoMnu!{kPүDc!^gJ6;/7ҹw|uI?Va"AzVpz8{6l]Pcm +YlTHMX؟*0n.Ἥ{\ oIM,-2r,8/i/g<+vq+ k^;?à ;?'_o xF^kvz$=Kp,% ݋@yDqд3]jpFŰvus xoĆshjBt0vBsy`.eYgcb]q2ԟ$iӃ}ɺF-spVg;Wk@>+uM"NRŞ!1e=>h;Jڪ/ft8aCL&ЮE ԮSlGjr KST葐閲"0` kS/9i86#N~HQ'nXWW 0QSO-o3UeMP(0ȟWff{B MbB2wLOVD/Bij9R$P[owU}|'|@8 9/1JaVUDՏ\XF)6=="of*wʿafC.ڳ/s/F,V^tn$4,PFgDͶzLۿN%[^X.tg ?\ɷn9a[((8_$z A󇱛X=i1  Q!IGTn#2CV7C|] Fz/\+._: i,>kor0AvAf' ԜPY j3b;#AqMGsiO-d|9W)UO $?D;Ki[v!lYJFn lSPHS`ib)zDaOXMu0A1EE*Q6-9!q:3qV+?Owyt4'LRLWP쪿cLqu爴~+Bs`wP(z.2g{v;>jN$t"ʐP &]r3eO&y'.ft=ptzčl^|hQusa`UasOARzf1T]AͻFC9"NdIF]nPXnVƮ*Tch +Nl'FI~}!Nbz ur0SF3Y^| -ʐϋTP $<*:/G<<;on2tiuP"7p2/h=C@kj9tUz$4%ÔY*ꅬʑg0A$'T3S?id~_Z47~#~e FB %@&]C,%\e8r>p6-ݥ^%˄N4!ӂ5Q{ J`Ma.Qэ0Se}h롞Ik y6LpL) .msmz)Xޑij4\s=~ILH0gF9ן A[]{-De6vNOk#çSi<](Y 1qܫʮ{[qmٸKv]Ir1c*L`5npiiY.}tо`HC+w::D)];Laq*+غ(3Z؎?LaftL0`k<I `c<7Zcq2lg:K"#_6h~gϏg (%(GDo| NG^d8g҃هGpSkbiHo% o`cy-^ѵ{$ɠ &u>at3 Q1A;"?$6sQ:2T;xmY0!z  f8MQLP&=yׇހ:ِ[~&WveR+4 nWit8> H Ү-s: /,)qǼ^P?j?P''u aCq;sH8:Oڎl Q5ScV*8bُ=LW"S)dyB^s"E5:DJ.J*-*gE Sᄂ.˛)T^or7h:gy]+߂PfCG$?F5V.mZNݰjԵC.C ׁR -+_vm='u#R>mqW,2x 7Ms7t Amۤ3RfƙLVQVJTP5êRhN=(t:h1s$m@4F؏Luٷ@SEVً7MZ,=;wȕ [E( o}cFg ((WǞf]NhgKg-S2H!`f ۞kHwE;4~kEG ؾp=#L˷tΎj >")nzWQ[jr8hp$ZiĴ0YӴ*,{IUoWq{4WL)= z(l1*̪/,Q'b؛uw1vj#?Gs-?RNݷ2|+A['B1,Hr' !:*ҕjp*Ђ$ai8%w፧Wk}~4c⚷ 78WȥWo7+5f 5?n͛fAf@,9 A2@yWyt9[d ~3ag ʾIէAW&ΚQ`IjOʅFⲾ .@56{!-(8 2)5aW,a0z h}Bev~JGfm?^ ρw愩Y5R%a4osk9]#a[IC 󠳯%M/Z`I҅~yD2${S0?:np>K/D J) tUWn[4c+@q=ޤy|.n+35r^"&i~"-;>,FLt tC.C]eV 4cp2qU'#"Z &@D~ГYH|dubX o2Zry?8QSzyVflјW p>Dr"=v=ڤ?bݡ.\H6ɑ=$ާ%yPVԨ{Rz?EzfduFd0R2FnLS5&hg!kGfS;?@@M9u}ayϜml811wO YB~!S{b56,ݱ&@[0n9]RIy@Gƍ-pBrܗCN8~WN|VEa]Fa{ƖM-Y`t- u!Kw)Zx%[,_5umz|^\순]=_YW &B(JY5J:#؈N>Glp⠇{fQOS"A"'~F5zӹ$w3|;G{h[ /At Z [RypA|@6)eZאh Zۧ@fy:T䦇qI< xFQH➄n]Y%ܥGByL#|ɢ+7/E,`ZYVfı7Jv|O*Y5/ nKm-)}cA7׫X95nկ{Vc8 gjm'X5CY{eFƥ!(2UP.E<^9c>p ;#N*JYf W_.G{ZFmIn3o^#/Ply!si$^sӳ#>_dC-҆6oembbRU@!/-D-R  tqm4%TkHo l)HΚB@Eg!A[탢 WVmʭr$, :ۅճ&;z]kCj'҆T*dWV`$bt%O2Z@pix0WƐp*\xm ,Cه@=~k8c O)YJnov+j?jojU^[5U v#8PA8z"82DFK~hqVmZgJ),l?IjBV#t^_YqK;'*S+RJbJL "6DO> ,na6?@ ynLHh_R7}1=gv(sI7]u6;MMڦ*xN|-kAs)~WzeY%ֽ]Eޛs86| 1FbUPo~8V^а  M}QR)0VqRVi#\Yc#:~RmH5Զ<*sKPyFѝ&!0ty"gϖTGӶ`Zxktԓ^$UʰI[=u ,mA.]¹IRB=8c;@/kd^dXS0@9HH6öݛĀ0ds h#^*m]SuI" Tpj`SD&G41iptpkځ jҤg d&1EXWya.q:՛("k7HgG<(50|S\,dx?徰لwD>i4C.QҺtb@p|cwreru7kQ*)ELttsC -aGE:gcc^Y7‰15*.j >QiU5:ou]h{AqӾD_(C;})bە&3nGb!ڹcsll#bF<{G^KF;*%%tbc5^ Y L"?~'|-"(]vHմ2߱gYZ k kv 5M' dHOL-Nitpick_ExamplesHOL-Nitpick_Examples.Refute_NitsPIDE/messages7zXZִF! ]·Iq n[:|&[z4#s>am@q;bNM=dɱɓѓC\&=>6,V 2gk3+ݕϖPʬ?a[C-&*H@6<NH2+PGC+&}R>$e<55%rXuZk%h}ò>\h^_vAӍMv C ޹wVt_L':њqČ2Tc:YFٮk0`Ioe'C9ڃo`jn/J=F?;|jw27QasHhh k4GwK>r!Go"}'zxx}.VP8-?_plwn7 Xt=YMH G~*W^6ʹ3 (XMA* #6P<֔ט/$'gCW~Iю9?{J*DHҾ">de3~.>Y4tQu&4?rra*zb;|u/flƎ3U.K!3ܵ*žx9nGq%5k4.l-]$kk݁Lx)=ۂM"Y= QC$UC9Us* -dD,olwE{1 (V¿P! rpz\BW69x3jk~6] }|Qk.lQEc{NB|oӭǵ\T1xk&ݟ2sZm2,N.tθ%MKzOn2_  $3? ns[k}҄\jn+բ')7fft0F]M1g)Uv+NvGe8QMkԝ{ 3>E ` w%- vbQmiȽVLX\~#IJlG;3/\!ĝi njAa!S ; -1p܋ Ǫwi`#sGUǣAz/!/J;.Q2:!=VX5qR?p1K6<+އ.qg^qȱg D$ʥMD4U nP]_[~Kt͵0OHŭͷf&O|aDŏv@R*wf{g5Өt>YI5Y]{ij/xpSJI|&;w0ȔўJ\v\^(9ՈK8UqP%f:4p?xFĜtlhg xE6Y=U\h*59;,`$E| JTz؟NJQ}񭬂o(rʣ˭[\4ֱrroGLqG75ՑaRQWƯߐR]BqF-ۙDΪr%)N/$[Ưe)$҄]bwpjq.}pG#EMf}cel+#$(d&yJ.$jƺ^q:2TG(&GYu +3'l2pCҾVjo򣐼$}fE\c.[ t5M3q!UoEr]@+4xgo vIuSB/nk-Yҭ*1XF%W$'p7Kx(Kg ƲDഃLgǨ(gArK7+1/r.aQt~UئDh%)oy?xwaeOEcl7>ۥZ6)p0>v= W`^.Oz:3'P2^3p^X]ep3{L@ Y)nz }Ck6 k7DT0{ ._,ut](A8w :|[%5]] H`۶Ϲήfl>ݗV–|bُx(mԃ축TfAoj.MI2* G_-҇[[>VF┾&3w 7TH9["=NW[ fAtw'3of.^m OPz3/S;C_' 低-dqyDKʢ8G@)Qx6 i+e0ʆ 4UBhK-QSHڳAa_2iM'ri.u@Sl!OiL4Qm=P^Ν) d) ^`6+;Եe US їK\k>{JwQP{GdH>@,eR4ocL+]R:ȶ"r򋐑&``y99@6%E&4,ߋ{a38j W6Ƚkax MHJH%8#*#ݡYN4GU= kO+Hrh"V0/O(.IƺFQn# ̸ׅhQ6];_Y3VIǥv<͂[I8 K1 vgBX[|L!Oq.)< <.#U|#H_erJG[@oܛfRu[#˶\V< $W(la6ͥ{<1سC=˟3sRFX {q[j?\c>Lg$!ķZ,9|ꓹr~\Lö6Ճ8"CԲ~\؜Q1:s/RFHͱ_X_Aw4}SsE]q44oB3L]vmyw7Z!fst=nͳHc)!d>;/ɲY:dWT&r}XmRiXozf N5m{BE/I!vϿ[ِ6/@FJ,Ls<ӝПe4{` 0^fD;s9֓/2Ɍ&چ#W)į yIqcw7%r ڦ)MWu_$+X$GW>nE%1d*85> zOJԥn ؿZ|eWh#s]&axMI=_nxs INN@({-ޚ7L#mI|ҽOFʧwiy2[~ϒ6P]B߆8]wĘȸ" c{{B_:vC&TVn[OT4B(ݾKl%' | >B:E#ٵZ)V5.ƅ|e7DI.pui#TO(0:&"1~FӚ{7zՆ;PAuS3L" e~s G+'tҙ,4_b icd3-,֞G}GXn/#DYƁɹ:"=* ܒ裞:~t uXפG~^/睻 i&nٜs!@fdvk@Ntkۣx8MG7@\L#jZڑ+@NVn`4/R]̌KE}9WPTg[xrAh-O2D[ʋ/ f,ںX]]xamZ,~F_:  ֧ljHn͡%0}6dsme%^qe懛 b.!N$}Tzl`+]J _q*HiI4͊ݷ>rp'CԎZQ@'x2(Ev΁TyxxW _AO?)Ӳ+a J9팊taY]vSxO±jv3bd ?s+&]l2SgFfLء3lkuCHl;Zݜ0ܢcHñz@Mw,`d}`z4nfE|Ȁ2;G֒FV ؞W[ -/r]*" kEȷ }Eh;9n͚;tS ]f.u xxrWU'q(Ic*9ߚF_c^p)m.ˣ^X",eypupCi=Ht]sE1連Y>j)@4e;ێri4Pf ._4@~dQ"#U  Fjuw$XzmWc/6˼]3x N F.T K)(N@GW ٍyHtUޤ;Ļ> g>aʥi\$tZQ0HxejxAP9ؚ- UF6MoGMX fMk02yy_`W1eE7AMS@r9=LaYJӌfZW#6MpLIz]"uy)F9V> U ㍀$uJ?#|oj5~= %?kc{.;dWy`{አ9qB(x^Rn#j.) &2db+Mw{J8UeUy*07c9Q} ߖ Cg1'XMt͛Uט:.O ,(h#QDz?;Π˟HZ)ķMhl=:GI=>Z[8uK5 φdjZ?/_sQKPޖdsIu 78kCe|xy:Jñ󣋝5L،z筩a@] y(im,&*3 q[ғ1ل45&3*,Nht34.Ui~҇.!f0'DlDk=r ^h$QcQkzw96VXiStyL*ui͉qj W_<9 N;k<8Tj"̀&y{N$ =$vD,zd*Q$O&F @>߲Zdi*D0iTcBuTr4@ׁ+5_i'PP cli|8vs%MJ3e43]1V_xhM6*tq*V>o7*#>*oqii;Ndm84͵–\ۜ롭xNzG7mm/R,U<+S<١Kʋ6Ic3DEMk;'@c}||c :&ť*trI.d2䘾9—Irwמ 6* ψ 5#P{UUѠUt)A@6H}>Cww |82xU,,8-o)P32x瀄phK>+=p 97> hifG uK KDK4 r7B+i%[[-.ؗ=o!gqKK 211(!׋+)B^K$C-E0#9h{T:}Yi%&5H2\llTbdx*c·n2yr?Zx Pvu}ɳވ!B խ3PĂĿbs1s.өʐY i.:݀| iVs,BєcǠQ!{aN(^XJ~J$7Y12"QJ2T@\P'UڂμF[. X)ɏtKHPğOPVgETcBP*i~xi\APSe8YhTnXw©1+mLךa",dOMV UE`YN{VQ%Mx()+â#gl0,G)kp=crmfLgeHR"AMA3>ayj͕AWv ͪQrz&°%TMEjt2NA8fi$.0!*@DP,KBTBiK]KPk|.Ō=#0)bM5Jpn%dtĞlntE]226VK㖆FQE/L*ㅀtV[Ƅ*WM7ZHv҉blVݷ= Lmw/5:POAW:F&A=gPgۑ~7°guĮ8JQ[ r`iݠ1IaШsD)˴G!ut%PWNB FQա'ő1Ip.8CAfSKt&@t s)!#s]^^RSi J%eY o<.Itf:ygp h6cc/>5gQɽ ~Knd<5ɖYƵn'Bᕽe#YY!8tNI 5(B]ΒTT]-iT*e+vDw{LvĿ"`IԢo>6eqlț&B`,&uS$n{(>qRO5T.EV ɜ̣ BP[/|UͶ >;o $X Zf^(|t;h@%iͥ~0vVr`C!a"s6wUHmXe"D^;x|T c$ OK.a])>g#5+T#~A"3.|t&A0`/G yp\&jc>K 1,ogɮSbUe˰ ^eK}@1*硋O}C.HO͙#i(%p7`&|uԤ"ǯxM#a5p:}2ʪr[ODXf,N(L1G]^ 1M q^ĩJ*#ڜʾH;woP[Tu`/ugg#0i>Ѓ/D/]A:R[tTn=(ߡu-/`^LCph#ntf0nMg'ܚ\+6U5(^μ3vJ@>K&*Yؼ0o:Gߠ9V0Hz :C YaFRXI9/ zb de^~vY⿟Lo=ZOPd"+5< _B. XCmm}7+ Gƍ[xC"PξP'nvǰHlO7>j=Ybr+ZP:_Vp/M_ }^LaJ f3dT9D/=2P'T ˈюjab8Pyӻ`y נ:fgOK'&;?BSRiJb8|>]#CyAAyú= $je('szdZ= 76K2#}O&p[ <̐!?v@څ]\lc(xג)D4 's1+i5+ƪ)&p& bZc|#A:2R1I7YT,7,〈mp|n"0#5uW,*do]Eb"M,7L?=v&; 5Kt PE}K.Чbu~Hu2 )Y)'f.A*Fbc-|^L+?ۨ3 [rWo'kihl-4mL. ݜfY~RD]H6_7Q?1MKڮ~s0|>cBZ:w7=R @2ʐ2ކhӃlW­῞?] Nu}-UWvtPp3vώ=3gCl]!')**rk*rBcF<}e}M0vj 7lw-SMd̝`-9M1 P00A`3L[˱*mZ:RMF+\(hS#Uҽw r#jhzMc~UNHp/ɐ2{"}j?& IsA3}mvEɨHgS)VOul3$>JXI!Rj}AR𮻧!zB=.,۬k1r ġPpy .6bU./kr>r#j<±K= ^,5络nV(v'غηd~F q&Zς' aKցɴ)5Vϕ[=*~-.)g`44;Ț 4Wa}*&7aPe-AmD:Vf(vc_ }j/$5׺e࡟U,lNTQQb:74 7zH&meV@nƀ8k{lKUB%5$v6A`$oMZ ?kCkD(?9qQ%‰8_D7K?{pZt9;ӛcpdi*(9yKO "> C!hdPF;bSD"g$GC\ 4EMSEob DlHi-Jl&I"u1ܶ͘+,ozmȊd } (^ߨ׵ HQ@ÉX]-Fh $x }[>a͊X)aދ kم}YCL)Ǯq0Et!x:.$>LSIPo:c,,!(a6󀝢vK{zhvRT.;*L "J @wLZ/po$E38E0<6iȢV=}?=fXG>Тe2 C* )N 9!ƞHzӢzW"簰L!*98Aj9 73;V[i 3/Y<. @A+iSu-Q0\KWta\K7'%Z'pg56!e/|Xp -ߤi9,+^Q-i!0j[ oFnKaNM SִDkTG8gH AA{ ( L9VTF;1:۵4ZX A҄csJڤ=^;Aj;}hIvg"{BZI<k\VVj򉑅ta:}]X{`g4xUKP79' >ouت)ffCkN`_ m񏙪݅rbS/zV[m'XD$ =͟:y4সuatsoL5γpI_~˹r"ؾFZX/Qm4FS7KQـ=Xe.3z n飳 UcײDk/U>ʣqmN'-Xuk7N8YU["Ů,\k6T%~ޝ[V@LLE-Q y5d?lNLf:p#jTQEeCxQ-D3Q<#kzs$DL"'Ŀ/|uc4xRj⯔G/a3??s>LXyл1,i2ᶿ(d_(v:W.w q)K㩆tj{^ت >.0EgbH;ƫNl{G9G`wTߠ讝V S;?MXƹnnh/M(ỷ W!ҵ7ocY/;* P&hXuTw. upn^@RlMv^w#{wE W WT3 [=ʔAm~Bt{I"{U:CWjC38S8jF dk`KE"t =UP&# lkrP%:"aSUB͘aґnÙRm' ǫi JMrv(Ms+wŒn/j3ԓ=6[M:#Y$AԌP՛)4dm{Rv|Vɑ HM/V6},}`¯#%H e\)zZrˌfw5cL3OU1ys=ڙcTU+j@Ea:r_3Xϱy{Ȯko%?B2 qf8|C.gtey"֜A$^\)FEwdn,\ (ZbWOblgr- b۾i\\jG)w%a/0XݨY0RLCT^W5WEӜNj|,ݦ3cQM`#vj/9Z1dºm&XʀQ%-E"5G%}l.fӱMRp&M?0a$3v&SI4j,*AǠ0?ȣ0v$^a wX:H4!ROY~!t[Xi.[6 ` 0|-"7(!2ӌXz}I7J)E$YM#WnD ؊*2fEJ)O6 YLģ\s%swƉa_RwH5h8fNc0"g`Ok0 ٜ_a5=W[/#ycTZLZ|~HG@!_SH(}w?Kͷɷ9x΁{# ֹ20>TcI􅏒.$zTlOÚ;f{рęQv3k1;4(R,wӒǃ)R`bRd^uV[Ŗ  ;0svX¦I3f(G 8olM yA) &@n]f[JS?2Q,ͣy{wdcč,ѹU8Cݪc9峣rȽd&Euz!їhr!6ؠ1.;J!âXu{{Ti]p kN5?c1MR`ʗ4@`\J ó0 5AG-&tsS1n@*nb!QNN[aW{@#o_jj7l=l,@H~>9P~ez@*ZYuc6CڰKh+'/cO+bBiu[yb2 E5L_Vq:$ɪáSy c[ PV|{K ea$9]Eʊl<25W.LjԢ 8%T-vL!: n&PT#isd6´7i4ŵB?5H D>3@ds)2=]Nqɇ+-AޫKd~GwO%xaEc#jO]= zː7J֨hSfz#$@dc}jzϓ/ׁ:9(86` 3_e`[}-ov +8)xH&[M5irOM͈ mEVR|3ߩrq.ޡ$34}C㫭笀ǜk|l7WRd"j8k,$#.*HMk tL [WXРި!M9UFR;!Yǔ#5'z:~ 4/>9q;zEXbs޽7g~g1>+6`j]t/]< 6s,,|n ϗ P%Uu.ܛCNY,,i#뙕MU|L:1FAӬхڭAE*;Fh׏dZOdcQ=.WۥRYih>Wj#9y,JCgh k`5(qw䗂sD#sWӂ@)A̎81/ s,)s 6Pys61ӗ6ؗ;(G 29L 3s!hvE Lh ΃e YsD*:,q7N!M*peoS fsB֎J#15>Dj}"qWUO޵ ]^P5Ll٩DhYq9;ܻ: @%찕\8:L·`!icؖĶm] #H:W&>ZQM32je)h$ L܈I9"Ă?3h|o=)Cë Fxh+X}n0Eȝah4 >SxP#Oa C׎M+JM$VQV@/#k {~Vl sw{K eMe8\ws/ OT!ZǙ($M\哻dLfڡH6Si\NrȕxVooH 6jo>բK?0/4/!%%DW=y%pWrSh#W>;8DE.Rpi3^'&Q6?m'o6c^B|cA?0j~3=}pJŸܬiWAE/)l2$ѶE|Cdۑ?ˬ={32b$M(B7BIocY F[(,,5[,"z DKb*wYLPS.eeX08G1+iU== cxnMu߇hzv+SIN6Z7#@1-ho%џ 9ʶk9Ò'fŅȶpIZN_=foBaO`#?^^`m8| a3qx.EN>L~j0P(Lp"ּp36!s)M0cGUNXd@xKו TUA68iÎz^Εm.T'L/<5<m4Y1lxJáZ^%0ri%X9+ehaȴ>5g)) Z."S@z0صLrZDз3oCKUf] PcFf@Y{0Lo~0A+Yr1nIM*sSHޥ%U ZQy5zHm޺g/h.g 4 G?f%$@Vrp,̎tM$%t @BMpIoz¶@ybQSԙBzG>]^aMVTF 4ZMWUvթoNnLqc'635K睈z>s @˰Hn`og>ݱr5=<7!&H<0`_jE;y>f`iIm| rbGX ǙK9LޛK=)IDbHźm_^Kg$qg"Ws܌r0] {NPfլ idntf p \"cDϮY_KҤֹ nt82XWcvV7fA 1-dxqVE'G\V`~(GSq#n=sv͙KWԋLкlRDU<瑳v[;!-;5>#6{^,\v6@I쬎VE&&-R25+KOWO2peANC`NeF-bNlH_\@|QY78d (nш- P#\ I[I KD( .Q~%l(kON7wrMoԩ # K~炚Sw\ EFCK2UfyLtAǙ+ehcfæɌ :K=Ş2l>ۇtVu'KC{r¡PfR(I_AoJņY.Ss eK &-M6w}^` 3cP&3r.9c!V)/`L ,u: 7,N7 2i['5Lug_/0Ɓ^ytX@p2ާs )jIo5Tڪ8q;v` |3Dѵn4/!N}Uf=WٓSL&~C+(_pڧASGWOWIA{|D]5jFFTq϶L"pcst9V݁ħM Y6WF)n*|ֶXTX湍缳Yg2({W}Wj꿘!SF_\\7 jlOq=dwmKz@}8'] |{Gv'Bg_/ L=vq!ɧ`f8w`61-x#0*A3ivpə_׫'_НiG]Xz B+*&) @9ç4Շ"3CAōҭ}G'^2ަ9O2p9Gخv{Nߴ10yM.7! E uzk$Fl;X>!h_Ӣ)HxDnT&'CC |YRJw_u=vw1ivQD'VL }fjeM WT%4^9RZB`{.![ނM2ui49d)qw(Vv]mf!̈́孥W<:q*'m> O,+&bytͧ!:k{D" F>мX'H:Y-b,b!Qf&n_t@1| ~c|TB7oAv<*Ubq\G*ҏw7~۱ yT@8.{еe:9 P4ce[kza 򧑈N'!(tQr/m᪴zX*m3=Tjԅ,WNb[-w+R&U*[뛚q>&Bs)*Lp'TBt7oMBF㜊BG Z̒¼Ns.Jd?O})0~܏I]??TVYA6Sn4L<5g~U6b:PG:+8 a/=EBaz}ɖ Ζ9P tf]f:a>7C{;~@PK^51׽؞P&~3=oW?gCq4~ਛ&ĠЏ#fM|*! ],YJd@LX'˜onmn{ \Mi ȃjޕz1пD5 s\h&ٍ4U^`xxA)_{M3 {nw, y@,?=[$^#6Ԙ\iB*lΝQg}.\̵fq{LBzᄮ Kw"Ge?.v2Qā=-mRIX@6巄 ohDUY/x8&tмS)C9Hq=QC=׮Z#1WjdhLY8*'UsµK(fk7s֕vן ՚1Dy٣n9~id D]cDˑ{/Ǚhq'X]>>(v,r.~VO䟶lWbWOpT6Mk4wr|S8ɲЭ\2{:eTs9$C>S 2%w0R^H3T7aI`YU`rɥ*lT%ͽʨb$}u%͊2cLfDkAIL-ȟ˱ʞ/,ofq(MǏg'HkVv(:A1فvHb}Y z470lT3PS5&uj߽a74gU̕p<8J($p}2$m7 >-ZTVnGWXK/껯B/H_NSv 3nЧRgfzއ*17u)!4(-,恹&h`M} Q`Gas#1M.P#?-h+Pcƞu"! {䪿ɾmlk`A,Hv(Ӄ\V}R AsU\c֨ek20 &֬|M<IO8FDP4uJB`%}Gu2v8Thdvԭ@w+Tаc~B^^)<`%tį?rþh_`wiy&>-ٞ[7>j5GrFJ'm\U{N5$Fn!t12>X2}abK\s.$Cb!$D>YrYw[}L`kcĖ'z:i'׎=&x$*Q9L2^i%{"6Xy#NGOl0t!l /ը-hh02}R o@J1o8Z?* z]n9]RDwE5ȫe7\] 0 %f|g&|](!!T*I3bGX&̼Qay 27rC$n(le(/ LӦ@0($/ S,Q1UfYN;\1B8Ø@pIwȮ?d ,sҪv%cn۷no+VCEǻR߄7IV.sJӡP8]&JiޡIm跨aHr/ip erk+:;8\DVi*L[Z}#hd_v+ш@˻kIk<3ťCĩօ:Q"[B_4 NUJվW_;HgvF3cjVMdrEaJak|.gg|I\Ie B)3TRyiGނ=sc<,^gH[x#l0H;zE[_I0,=&J{K*>东{}gL 9oW|H~NO U^ JOWWG R<57 hEi(#?ء4A<,ti[ZEm ':ag0m-\sB$^0Ԉ?^|M!Ll< w̹؆KaoSVx$sdm0,s+q YJ8jCVi ~F4 !- `k.!IJg"vX'#x܈6G} An 'Qh=VZbʀbŐZad(gS lP00 UKp[ Ei1(# %ɱQ9Ư4"|/ @A/mccN!gUGQƭo6o]L4U~)Gةa|sB.=돤n!5ˀO F^1m& jq N+-ƥT"3cT[ݯWY@:8ۇ?t2/%S9Z*!fPpL)jOCv c0rd5a4'FPmҭ?Ko9y#!*P80:h*q_G cCp3ߥI0Tz3ۜ@%-[ؠ~5a8˼cHT(mCJÌPRիq=T q}~ZXc [Y%ep4ZcGU)˫ق#lϔR& +K0Ռ~E7dSER@`bΊId ׂu"w8 pD>2 W;005BӣmJYo3Hi|d|#˲toeC;Wc,qI ULf1~M'*i/|dc_e,RBOBV O!=+ 8䯢J@@t'}zf*ӗ̪v eB`jGV}z(:fUά&^Co/HWCy.>o:M=.9u@OBhho'^`G+Y]uf=\/\nu8fGjh'%O keCUO_t0; GC첷nKŒRI0Whyzw9mnu@ K deQ BӪ:/PDIv0Hyv0L*?n}2~Jf==Q8^I{Q'%{mtFK*2_!ryh#҂]}q!'ݱ]iZi2C~{KA_u(PjȮ:@  9N{bQ0l8-Ѕ^f,j^@m͐tH4^""Wd2gtF#Bc>ԂtqGW6)G2\=ֺie1e>y9L(_8xjl5P^猧Ж?oyj&m#.1T>BxK$5A_m>x$3fF7țpRQZ{՘:YW| N03YVCB m͋Ԙ5f@ǗyHxqm1ɋM+Y ֳ͝B6ploJt)g&Aso*mK9{?!B/a4I=+ߴBVs3y7$޳A<(]j_Mia.?$׵LJߟd _=hHmso:2QSe\ -AB8xf4QY~HspcL=RgtD;p^}F~7ߧuP])bxU`+ +]0] '/@Ͱ{{~fNz7CԹXcQ:N-!U3Qh0 |ͧNi`E@q}Fua6*R|J9Q.q=,K54::ӂW`@R :Y&h6>v^pqO_ '< qUt‚MfaMsRX:ok:G6IxWEP4>O6 0*G3n6tҭHGVX^A%zJ򵨷e|LJ,NFe&qKAr@?y*>$:yHbUw4ԓrcYqrL ksk%֢o]+Bʃ} 4ɰNoD>aʨ[㩹@ݤmX Bպ`""!E(f fue-^X< GhI9SI:1ӯQch3g+Ũ>Si>3Rb%עҿ1̠YَWplcC S:Bhs=fջd3벩IY.BϜ*Kh^cʯm<9DՃ4W6ḻ6/:-x޴fv^+|* oF{ q%2RMXP`Nv)QhIJD*w 3NP[{$|^]9U_鶟 w\.6A<+<`[&!]k#ۊ{S8.MsɅ%((i^\NS4!%wR"7f]&F6¬ ԗ:jn7󞥤 %7KQ|%PlK/ Xoo::}fuOz~`3i_abx{5ۙԤa4r&p:C8wb9] GcɾE3kz(&{:9M%t4Iros,ߋ.N#dv4hfH1T ]ԂkyA5 F]y jLCޯ&7-pBl:1*AP M+ BT#]#M%yT=U)$1)ݽpg62nŗs~˿G Y@cY^ʫn#׹D(aдWcQcBYuhz1wGQ̚ 9-^ ۯw 8\m}@Atd \n=OGڮt+29>&=rb-NoƴzsM_aP ޓX{+CHoΰmĶ44ίj9jt%PR,F5v͠gkg;LDU/Y!v6oB_^'6{T.\#&y mZ6To-Ҥ-9(v)-BhҐf)ۼ_@K4i`aUkR#4 ' U'5_h61R>GK! hijby5qذƦWZV4Hsn!%6W @MQX2%C)qLIaQHhN1Yx`ha5aZ+.!ɤ0X$ s<&TUXuj60qQ0_8f"_d%MK9G3fmj+7Ma]v-ZgKVYu˺|@ժ"cR*3W E KV= K8x)KNun]=>@@w`-Ro_qH7";h1wdB85s*6?O2 A >b{xQHN|zۥB6'Q+}'GYbh)>ZV }%FfѴ8/x}IK?Hu/Ss51ip cfFoDtOsBW \N0P,GlIPBVT패 okMg~|Bl}o왵լZ qZIF.I Gl]!Wj:6->MG<*TEqM7U?%H.zRl7)\Ȱ^bpYE@lay[gܦ|3BLji=蒫f%t4T)zJ&ӂ6K?IX泞g` XGz(]<{jH4"xfU I07_IMZ`ǜdi?Tpp 24oոON&Q{5lP"ҜWRzHUi[?@UˬmN[˄ĪnI]IȪ[!ED[SsXGvJlj&/45:& /" aU8էѾRMzTĺ&qF.4#uZE8CP'ܱRҿ~"VoU$<9FfTBכ{M/©o2?n='sY֣,!w ɤn5}^f8ncɎE>^lꬳ]\BQ 'j*@0AQX /CP (v wr. >ђO'B^ 1HMT5}Sz:ya@_1UlM'?8]0wio aGi"ŐS)sep{4-h>c1pU #Tz='.Y~șc|܇FDP JuJD 0D89ˏJ4hVq_%X( irJ'Ёm05.uf{\zնʡh[^Bh d=bɚa$'$+ km拔=T,U?eh*R@QK$%,UړӾ:B lRr7,(b$ c;{Bn, OҹC9τ<VFM%'!mj*KD9Px^NC'|{:SM;?m.z'.kb+ (dci) R37_~@uPz <+E6H 淜3hƖMIsX"uC# |m :Zk`&[$ զ5: j&X(ǟxPF[cx8@ݻHFّQIw !Hp!v}NSdP >F'A3i'A.as`aM X&)tw01{QkzZJh!Os畉@}=@x'qWjyV@0; SI2pkrnVNn kؑ!2 d=+}h{5ڪC0mns-0/SAZ"o +C|YcopDoSG(3 SpWӪ2 j{dJݢ.ָwGPYW bq-%cR=8 k8%y&p4 d0SLOUn m:>6XԨ :;k8bA֑c<5r±rzX\.lypR$hfC&S/;=[[.-'Ly]ND)yYQV/ C-\A8#ĮuRU{l%Քmh£\Hd"¡V,<}i×Üy`nvG鮝0vҬ^sSȰԲ9vz)d9!_ȎUC5OwO!LפDuH |kJsjVx5(>rԔL ŒԠ/9%Z8}0SZť_qltIu"%'>K: x$FN|N\IfneDh|*dn`Q䶁slEgr.M$4SYR14_S ؂,r%DU2_`7ljӼ)#.ʊv!Y5t^(qQD~Ԣ,}ʝ{Q&ě ٥'I:`\3RjcI滻(6mݫvc}s|,MbGDVƜ ,БmTI 5ԾDIu Rǝ  (?rQb%dHsD-'/*]:'wDŽ@aM^v`=zN_&} Z{AX?[,ȥ"Q5巫'H C`_AR%2K6Ԯ @yF!zT\e~;Q7aѩmQqnNlDzhuc83x[}"pO:,hԈ]0p̓Kɸ+5j^c]ҋ9^4$]7hΕ[a*a NhxM<')+Z7-l'C"&:ZL{н"Z;lȗ`ӰI5%r״|a}j){HaơG|(Rv񕳦<=bU/$BŨd=}-0.5SCbKXV]EjsL eo(;,zn(w kH8x0Ө Ԕ[X}qݢ%:#0r>헪QFqRI'N$]\i,Of0 \Pkhˌ$\e7㦌?:|B Y<(yB zP'ǴS͔aCO| mJ[+zzPG̽p UBY%̇EVVrТX*M 7t{ R)dEh# {wv$C$WSM#C`3 N la@_gmVyPMt8T KI{}EEQ[~C; 7|3<0ʜ1u}".$QD)E# H$t_FJ@Y%/B; T#v瞟55i(D굙5*: ڃIR{+.IiMbQh册FjB;0 q+8@wDTmP|񗅃ci6%7<,Rg]('}g>-]WcUALdM]!9$.(.~/[;JeBQܣvx2d&8;-Gqh`.!|1#?DiŞ^+|tqCI3@b03}T!8˂x/GB1Cw8-LQ:,A KO-IMe \ib2{ğJXMd/LlD)Nie4%sҋdH@1ݯ@m7VԸAJІ9 KN?N~,33h" & >^xTf#qA3aRO C>8_n#yh\y{!Ef@uP g %ّh~bP؀*_4ne|7o}˭#DžIoY) p:LȾZ3"0Ȩe)F/j 'q&^VAʃBU޶Xl0¬aP^wqN]668:[ {^; {n쁖tܼUіbOݽ>YQ;w 1y*\{ͺ ܍,B ]_*$ؐ}u[()- q]}}ԤDkV!/Wp|y+R0B5ъBėCg.?J{;+#HBM"vNGMتȚ6Iԍ'ZʋE۽aNw) &m8?:~(;D*wх[|CgMY&cݝF,iz!9A ͛I6wv|9 _wl@Ħ{mЈ5ոa""0Ǣqy-@n>rJɦ=8GOqi8i[l0®TZ;2SC 4H.4~J̖h[r>xGȢ!\zK ѶtEa|5d";a7 =/A5&ߦ|3G4 i9 7r*wA4]|ɾeЫ@#Q\m@$y޳r=WdSh>,$N׊QA(}dԝ`]41NEhUVchVL]?L8TvX>u34R%!lDtj:f4jUi2.Q46 )+&^0ٹ+e&8ºB BΤx oWYV=4PZ6Lٳt~p)j}R3:,dv}zZ [![o͠1q"S4XݢFiM@&)qh\e@3r9+U>{FY{*5WRKhN!n&te}]90 YO|,Ήq}DqJ;`āIxavu Ñ N,+vK7r+sߨ=m;P G,aXݑv3PcI?f%I93ow] 2 o/?I5 /1 XR5hciD-h'g_ $4 2kz>?!5M# |HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Induct_NitsPIDE/markup7zXZִF! 5'6] !M젗OFK?av̛]EwZl~|p BKRIg!f TQ&1P1˸*ߪ0|fv^j<7auF0}5lЭg{ '}{Dti.2dHҩ3 *tG78?E,!&z-C饏5v`P848u;m:+a(ykV"|C |]J4{B)YoAn: |neZ"<#cRaRVՂ*'Sw~a@C[֒R*Xp(y9SLX1&cBNc3ρZp_(h=MZ93zNQ3K\0-ȈTh?dBEx3_oTd]WS~lЬ(}1 &MBDr!sXٖ+7|joXݮjk]"qܺ mCRV]/VtV; xRUbj^[p29emqgu؇uB]G !Ly$B4W4檋 Hc?ݹa|s8Pp2l nOnP.q dݺw g F"B0yo LJ`1\e]CA =FOGTQnD~1|%#=cij|Wqn%.9bXM/5\j9C&h8`WK!ᯎmi1څ{Þt.sGufut \rVpHۆ8qv?/0`̚ ~˪x}6,f5Ϧ=hRKQ<]ȁݮƙ}fYa˷(֏`r=]R3@>K{wSRU ns*zass" }p@V!ƩOuZ(Ə+|v0LO>bk!Nƥ%I& s<"{1Ug@Om\oH߱_I J(CYx >{Ȟ! fq},)nVHJ =M= ډSMjjQ~LW/*F ˫feԷʜD&E~ ()=}rq{%`._iMS|kݜso=:(4I֎af-SOm-V$SS yI\%u%U[x-Рr(޲S lI<` +I> WH ~6:"$H+iڲr'q֗fV֢4ک8.HqlRIT.r"YY=ݧsء 0*v5h\R./F'Z^bNȰ/g +1.G}Aj铜t/R10xPn 3*'gVͧ zqr o!ZUq5y9D@֑ar!6+,d,UZz+֙9$/\90E2]B4ر輪l@'!`.Jr̅;Yj?,o5KY?iPj gYZM`΂(5RkOjzJZ,jRQ)=vT@P%,he/ zbt@Z@g`$_"Tc*2`c"]2iNXR;x\J9{*>EEυ&+yЭzY֓fnW58Q%I=Zcᷯ&rj>9l XyX n{VBhyOh"Xˏi ~VDBa%"p ({Uӈ:a0t7-"$Äh [4tS2ӹߡC\x=7Y6V;jc7qqM "N8`D1Lp80L%dF)zi*KY{84zRn铨֤gKp^;©cOnZ\fqŀ{5#P[¤ %K 4b /(='`!l1E.8#o$dU9_hbaQ}%Jpë܀ڋRɕ ȜSZb7+ x렩L3sS K 8-jeRŵ9sxͳ}HΌRYu\IHHͽi _~U;a#,J|]=}}1ޜgm+$n/,/}Ŝk#=WrxSz{[B/a1 n'r6Ul<ݰ-2E0Yu2b}B]?3z}lG97&,8v^Fb S O5O; Dܔ=?R_рW}86w\ b1un@ڼ"=bǧ7 b8TǾ~A88ؔjU؍q'6ɡ_3-L'^jt/adrW4LBxQcfΧxe ;(SV o<=\)4˚1 y{abRZ8- h=N=U7ɦ d{ԡZ}JdQt.ȏ EX .|"t-g]JW/+(uɂy*OzWRXg9RH]G]z01luZS};aHXy2SBUS=WNL*< 0)_Ͱ3Z֫ KuujyZ@| #w6lClE>1u$Iayy͂K`HeK=5qϿ.P~d{#G$%b[GTvm"Ǘ$#ҳ6^@3]/^Em1Ƅ 8 L-r&MbtBcuxNSe[FdϷeϨ"\!VW#^"J B `%aoi&BEa) Kq {k?a67h&>6`m{iDMON椙$rkǪGkñHz?qv:Up.j 9lߙ 8*-)YCuщ̿ԟtQ4S dZڮUG-B4JkP՘vvz?~o1R!@<\#_Z7Юl=FLqB ٯ_ye9Nz.Tq(Uwۮt)>ݝ)e2_ =+(n_QvRNXl,qB'U> ٕeN!+Bt)|F,}i6 +U̠;Hj2'#Jv-IH&CؐXAq,|bo#xl;3N_g~Ft tiN^IxzS2QiB`nZ{s VxUb[Z[b:# >iåoj$ JaDc2fL͟ )ٽ.!G+SڈbŠ \(٤(b.ʨ0;JȑjCeGn%7Ѩ ߣޭEO }[,U,y3`Gy,̂)^_A;j_@UZ~R;; M4%*=&$8IFiC==s13EأC"|27kHꓻ1ݮ⩵h261Յ |7t2l}:@;fsP㽡ZpVd꟏_x/Gr,Q[xpk]I&YfP0A.e)eL>Jth. [:M֢PW. -|dwv`](d,|2EmhKZ3h05v U>¼fb,pǶSi:c7>S~y]>xT3V)\D\S`9 jc/-,,X&Nb8 O=]`5J f%ۓ/Z4pUvAs ҏK͐("`ݠBcfWC!`k-c xFĒ|+1?' u0Jt'& SO$ /&C2h4l gukCAu5ǰ5mm3 5a,P^4AȉqdT(RH*B4t >qUT'L'5"4DSgYZ XXA#5Q# |HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Datatype_NitsPIDE/markup7zXZִF! |6] !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 v\;@f-Hn%+R$G,&0C83=}\dbΈ'pAU"E; (RlJ!遲Sc,W?(wB a&4.)7G_N!vS st ~Aũ,W K@mu1~8d<$x#;pvdy6?"\ %ne~ ;37+msw$/;[)\![&)A2_\ 8uQoHОh%ee'4P `=K'6?q1ћqTT>kx,o{% ĽE8C kṄ+(1YIc֕"ylXX%5J \\*@Cy<آsFz@# Q w$f޴dɲQh:u#H !caMBE.74iB)#ˮE:kgg&gYZY"5M' ,HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Induct_NitsPIDE/messages7zXZִF! M]·Iq n[:|&[zXϰ6oy ꃾŽȰ21C*١sTWS"F |nz@T`L{d7S6V<^2b8W)pF9VOX%SǹlU|'hC~.^?`P&@lA0nɋs'az\9B9&`)l fSc:qRSG@|yF6=)7n{PV DsBb8ӳm:V=20iH d%'&*lW@2h_Z7ܢQĂu?lw?ڭl7O0"4v32]a(g.&%(ɩ8Pʪ9(l3v!Zfo#F,XZ!5Nfz[UPag${;%ׂ\/FhO($\Șߧmg&7(F>PUG9χuW]gG:)YvŊd1י 洋]ٿ48Q("T_l&^h뫛ɋygr2< "WٷN B,#I|7T(_3Kv0}Wķ2(`3R߃^Agd Y Q埭wzTxPj~Lc1^ubnc/p8kln(?þ3 㦉s#6*|1nd]%H$1hh0^肘.FD+IS}$hdqS_A$kJGBBRں(yIg| њW+ b_0JY^JF=+DwI2҇MAn{`ƞ%e"Wk8$E=S go9]^dاz<`KG iļ(CN-bkCVPڪUtJp~"wkKNS(y2S9:.1!g:@LLfCٻM:vJt z@d6QE/QTVx;Ǎpq\w*Q#MXAۡ_X58hН93#*@16z=e[5{_<`5DZ+輒jL4xE=L2gq)-^7=;*>0o(f~v-*5]} ,]\:D' 4%h_B>o>@ qntwpgŁvJv>DӶFl W&JIhF ^H O&׸E tI&zey8b@jx x ?,jjJ$1$.3xوW8$|Y3JIxdODT5fw[I;А6U{NXĖb?9/VbsZf%`XYl)8󥲢Bo+\gnlvAdAV/:qYߥ``,GvOsi.Ock^mW E+o*C>ESu޻j!tQl‚rng.wnbH| : $5Q' HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Datatype_NitsPIDE/messages7zXZִF! |]·Iq n[:|&[z8=EI.d<=F\hǵ9 κ!o\? Pb8jʗϟؿfcOYXdϠHrAx-C 0-5~_P_͚i4q(KӾ#(2P_f߫#EKf!Q8֛N0-QtX-Z  ^l5R*FE$رXt{00⚻1Mj4dʹ {i|A5çx mu˿E"e"*pDgpTJGXo̊f+ QIB#?Dc(oي4m23MlqU n8ݭC_VF6QT]wq ,?b&Cx_eO!<#pߧ!^D XP?W;5֧*a>S?4%q Dj N1}[V ӢH_9p1řgZZ>XuR< ƽCnip~X6e\}Ldt+H[~i`"_&f;[ote`V캍聆IuFYAM9 kεQ{&\m}i`":0/9Kb 6ONΈJIM#0ӣxTϘQȭ_ֳ Ծ:_{AoB\T=7ȹ"6 fZueaoKصHlZ♑;hvrStTn^ ~nI6k%[GU n"[\̮ךY\}_,bs J"X*C ':t;)L lVJU [iDaU]]uɱ,$;5]on-KϦ~iS}>g BL5{㍤:26GC[#BR$={Z A1{2pYzy7 !f>嗁vF,iqckhҼ>dyL|ˆ v.*wՁm&'ԣ` &=~2BOmC6+YL&!69m^ |a7%issϱÁn:ՃBKC +Ko :;.7JDO*jY 70jbhlW6ivCGQP!+$Nb5֡eM#o2>xWn氟ߙf[; n |dG ]wΏIrytC~,Қ3 @*f5!wJ1feĈ OT6Ш VO=oc#iz9qme:tw@$0 ms[REv0 8M#aԂVTGqst 2]C[áSm/D pGpW.".>vi'P AK_ %Mz}83oo9QUjf7f$q"VcXAx )kϑTx!%/d CC8qrm1P&3sNuc{63J?WD[ r΀w}=Mis'bs:[D:#C&qSlj Sy4V@7"pUh| <^Nvx!~q]ɏǿkypTW1^Ks0iG\3 sC= eg\r*p =GC4>^ҙgK!r2YP qkr}Y]*Z=~:Bep1 "!9ofM{$'hǮx ~of 9|k ^lӝ8,gX>7z.v>gTxA`#ޏ-:!&ob-?ڊ1$Yqg%cw],#fkq? =FDDxԵs@NYOZt)>[.v>븪]ګSWyj'2J؍LD]ՠT -+}`T,mYYB$YPNNչG tɔuV B*rC†n c(oϡiEJԶݠZkǴ*sN\ 59ږ\˵_f\0OqkPbm#kulHK,zun9{U?3 i.I^뿰⹈EaY[;4pF)ƈ\DE3 Қ6yޑ:.z:݈&፰g^l$h˚KKQªropB2.g-VMׄW-:p:?gS-B\ݙl 䛞4'k[e&ZH : WnHIdߙd454pz@~)pQqƿ\9V[[7ir'a"uqr6ȗzH.}'g{ℳ~f&Eg[O U}Yol{6Ld,rtAj0#7f ;GZ$&r.O9*«j+C7o7,9}hO\nrģu9+b 6,1҉1u^̍_ko $p7$_R] yy;g%I]'_f]d X6QDl^@#i2㿟?1e.e`ѫms_娠U'k՟LB;i_VS8ߡhR)gYZ  c c%5K# 4HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Hotel_NitsPIDE/markup7zXZִF! ] !M젗OFK?av̛]EwZ|{<ǧD؈5eZR 7.=~1s_h`md'wqLbV<0SbZUX`aF)T⥬G9;'B/R`6mx "+Ō^5v:YnDnr}ߢ= Z≠H:][zDTO޿oka luh'zTRlfao,ek6H˭bGE&qUDȩx#D6ҳ(REbICIiJ5XJm&Y|ȍ* R jɰ]%Dd]TnBmRݹܢ|SH <G(î!Q_69JGt.T9ae/@ZOuX+$j=!+W[01/x|Bi18' zp$\]I:j~e|m]Ɗ#/nY55tݓqwX lc?'եg>yn.8y6XDЁ/tسs{(@#6&=Fjc{Z|pd1fWKgFPv>t!cԒ).QL꩒=`?TjPH>Õ!_tTJ4HuGH-4"C|n;v2o\L\L/O.6#e_҅C/Erx' socYFQB6 $n@卫Gk?R_yc zV ]~Z]O;SQ/ ,୸K(5*Y:9~t5.85_khX֏6cǭ6Yܙާ͈K/ﭺG쀥yWgYZ &5K' ,HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Hotel_NitsPIDE/messages7zXZִF! ' ]·Iq n[:|&[z8>08kxuOP <:v V}vpnW$ӭmJ5>4')"YU + C jnH{{~%0$K"Ic1Ia:^ى0*u=nf Q7VmfV 8qpQڅYRC+ 6F,I 3D̥|d#蕩pu)׻!(O!ԵX/ &@7@'Ca;$_){XH^u?duEV?Hlf Z-brp]"&m2[53Rf$΁iG ki$cnx lR>$ QBއzEW<@b`w)qMjOm+A^1QZ)у$iE z,l~[rI~b1k"_͍+RE(p, 3͚= vbAu=)R;Tҙىl@TfQkN+^#ҹGB%jpt']}Ѫ:::t$z1JR3Pݚ JSPEiO\Zs1i՛o.zs^΀yKn4|9f-Tf-!huccb(f}[/.ި ?r gs{!ךZ`%:B1i=@c:ï.N#2Ev#L2}5&q*My%9ۿN;''P('|Fz^>$Mnf@:|aA |)B $ƺq1~_𘀙`WăozSg 6W=+R<HE˹Ei$:v';!o>m韱=4U%b5x9 ^9:72\\l R*[1ȇ^6*86 SO 9ɔu.reX̽Oc@ǘU3g(}?gee|)[kwQNHy9y$wČ+cC`A^|ՊC h|1[j_߅A0J>#}hO_)XRDSfD^67˂~^Ns! ր>nh) [tGzDk*[W_vۨcm/ -|!VΟ4Φ5Vx=Cy4UAb*Enޚ ,вիbaxS|J1)GTj`֡۲j.^SkOߎ%{Kݩ)aQ\a`1 ow} \߭SDtrxĚ |ĴhOBЌkCyVXͳ9.lt2H3馁TJE D3J, ArTnF?ӐmPX!ځ-_'WVoYbNXʭddV7|G]UUq 8BbˌYڑh(!{Ro%$ :Ym;aǍŠ9i]Y(E 8)aB/kz20ks{j]π Z#:;G*MBL$1uA|gMPr܄kyϜ(`L鴾aB?jx0WE<i|M`YNcU0壩NyY@% ^8uilO!Xi~Y*v*GEplq A]wmTSvnҸGJZ>Hznȁo>U7%mѰh6~ƱLC<>[խʋ6l,Y['Xr8kYݔq\dL S*>b"%bYm8zO]Zd+׺KL*3DMu*rZ[ 7s-( 8Y:;J$D5EBa6Q/=.Z32Eojے o;'/5l^=Y|*uڰذMB@#=fKvkEGDtQ-"W\Cv3!dJ$*GVny:O5^q@=Ql5Vo'}m)hkW99'z7 Y;qnC-+⫇Y-f2pS5%RTX;bt ՛|Db.㛱) R Sϱ-\+:ЄKcg zi3wW-d{gr5BbH/(b*?ܝ(KksFܶ| oNz%JWw[8|AxH`j ^𓎘I; oAf{~PX^L[!т&gYZ  '5O# 4HOL-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숫&混=F_sUjZ/"\ Qnۭ+. FLjӈ° ګ (d3Ȗ\Vn>9i1P(w\L,x^R̹nl-IVruT̹rldsd@d &$;sa>y~>X p/Qt)\,JeٳTKDCkظuxs%:??B4 eWR2`WSI=@w:nxP10>(7B@GgJ'!PkB7ZeKP#(F$ --gYZ ((x)5W# dHOL-Nitpick_ExamplesHOL-Nitpick_Examples.Nitpick_ExamplesPIDE/markup7zXZִF! y] !M젗OFK?av̛]F=' sa!pI{:kvKV.ta'j>r"+mi2=" BtLəݼ'٥8/` \# S v#ޠ'n2,A/ XwTNu=-}µp@$Xڱ(kfضr1Uj`s|/b8R#gYZZ(5O' ,HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Pattern_NitsPIDE/messages7zXZִF! 3" ]·Iq n[:|&[zƯ\Ehg_^&m!i" i"Ę9^l'#pEz QR8tq@Ma݁C)@ N3)E8o:;sSD䊗z *Y#NQ[2(򃀷Cfq3AQ 60޼DwMedrs6 slR4{R}G4/1޷NwH a..6T:pZ INZ*Oqކ'<;q,F^Xťrp,5%"?5=5Wfb# ڑ2{c2nr'e?MD\$ u]1|ߔOx@Q%#)z0x l~]b `:Ѵ͙tp$4ߎzy.fc`덣np2|yySq3aOѓ Tc׀%9]$x&Ҫktx_,(K%@q UĒˆѠ\PH-<֪tdkRzj+]#>)F D&p|`L7A/c%ոd6i52䝥3_RrcFXȐ@Ƅ 'fǀZOz w[b9v{Ac| ƪHл!h HqϹl~@;i\cDg}!֧ZpA(UgKEceӊ<-nHDc=7l&=nji؏gy[̋.ȸy3E Ǒ3(*CFcEߚ?ּ~m #blgɖN޸XuWU+ _h,V YQ\ Dfj:47+o^Ch/mI@kS/˟==o`TJi7TpMa4ڬn wcOlϠ$`TLaU|_)]-C9.Fryo"!xˢD#ǿ˨bQ18^rLR@It}<|! f_ƮsG]8o'jqm2QRϼutsw)Ήϭ,1Qm!_lC;&qEs%L{w҈5\yKȓE_""4\GKgOWx80|%}# I#/q\)cPשْWQe g]_wR!fc2%s h0(= Py_ҝ,U3d&B;ۧ_1ψer b-8u\$7x'D$KlJpy)%"ԺHb9I|FpP] c7Zw\Rg>y 1>-=h@?B젝 E:Ayd@LMnhb0#4j)J\EB s5ݠ4< |B,b8&U4\vBrr3Hq@=_Tl:[ LLk{I@U͹rr:c>RDyy j؋CXЯ!lInXzzMyc/KL x|n7%] $k RY|۹}rO?PHT, L̘3Ͻ3Sy!T* Ηmh~2V| gLn1>'$ cbƇN+ΞTl+U}ekfkS.揶w !q7MCJ |۔GJ&M% LedۍmsSX(UNm]GQ>oKa=}݂YPDI  ^Q GUwΕXGױ[BT񄚙 F !5mDȧN᱁w_J03ᶑ|_Yc ؊Jb nFWc|d!`&`1Bޫ8K& ,WY}MBvuq>08{>@Y4p]e;X Y3 ʈRIax'Q3a*L6Q1=+hFM--bbc>ȤJ6~f#K Q~wήڗ8u`@OT,M!S,]+OwvcG߹F2LeY3L|p[$.</CWb#t<.iR5VbIjzⱂ<tLxFjJ!ӳϗk]0:%#f10aF3iOm׃nHmO{B1gb|}dQe:skU'ԹPϱ /SH?5%Pqz j ҲEs}Hevv_,$P`U甔T&j[mge4L0Ũ9>i7<3 Bxݰ[֕0?.Z٧>Ιy],U5BV>%" *Uh8M&" ܓ?TOe|Ž3N}'WEIM?LsgYZ  W-5M# ,HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Record_NitsPIDE/markup7zXZִF! O] !M젗OFK?av̛]Ew^Df03 X=Z0\M=My7Wm3<'|'i}¹oFJf*/_EJ>tFE18%xR*d_5ͧ/I|'kO?MPz8>qQeA&qo!o54`som):h=SO؎IaH0:/ʈcB!үF\ش{cDK hrա Dޅw-91 D3 )rsV4x \"/9<~g[|EniRvyTike)d{ XhfIp/Cy*1[]Hnsx; p%E*M\f?TivXeBsoGcʨgI m ӓQ) ȣ>>C:-΀u\Jf M'V4qR`Ę2e}#Rj8\>wGD\ݕlnJ7/|uHwRo{x"QvOBx)s22j-lL'[KfY)s#'@|X͉2bVv(}~C;4NŪs eElau*([^4w-D@r(2oI31k$/[cLZWC%T1)ad*&URepC'rrژvLtkZSG@sɺ p{2XA;]mwt lz3y 3Rk&L"gYZj*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$gYZ @@=.5M' tHOL-Nitpick_ExamplesHOL-Nitpick_Examples.Record_NitsPIDE/messages7zXZִF! ,3]·Iq n[:|&[zƯrXpw|`cd-X}zr&zS}|T'XAr;?gmGy/8]Ŧ O J\JΟW5 c|2}#GNdg_0EF̵U3J8bQUZrŏ.>pbtIpq`^XPgmvG7weÂ)H$^fb [k]~:8HUcQ5Qϐcg./_G^bf`1@+530G~6iL%6y<֊{|W/Er/9Wٷy֛<G\@nUWƞ!k|yJig}M9,2"k[q,?,j xvTb`CiFdȧ@Ύq,=.97VlHzC? > 4ӑ;/}PΈ2~%DUM r =M W 8},.Ljot˕~.>D~ή:  aF00!l6jLy-Ʋ0dI6)3,g/u_Xpvj94|(SE>v2aduXOԡu+{QCh2b^L[c` % 5\t=l &'?Vx|Zdu`䉚nzW꿃Opc*𔨊xtmIp8vm*ɃUVA,ʈ>'Xs6qsN[)[U@zя}7w9$qZZTJC; ǬP+sn~䊱T-:)^ e,)icq7$]; dA$_(Hd%Pd!e)Zc^Nh;W|Z:36VںЮ,.|eH)EȌ*`4W21Vhǻ߰#wē1Qz2wLw4*lwv|%e0oX;NM9Z=w٭Z:dRm|xCsĮgދt܀M&@PLv?`$*}h1qeң0f:l*o^hrF(5,>U)3)c*K=#Eȱ^':›X`|'0+G,gǵ_~̍eFW: PoUYvhK F}kA.\rrϗ+xs p2~>d=U,c~KY(Z%9/+2pkonsODeef:b]S[}H|[,Ӿo&7UH=Kkn&f"U[Rls0 WGUJLosZ]?1B * ć}i R2e+PDYTRR@(К@Mv~ԧMVn,F>iTk)Fx)o?9v: ~'(Fs-oްyuګt&%Z@¥'&`.('gg UyS=m!JlL_zuV.T.] \g1hY;+MaB%#IWur4Tګe>LO,b:%|,7,Q+dڲ4:p%i16[sK4ie2ҏISchW`7|N׋`QyBG|OVI9/-K La{*첓ӛj04ǵܲfNmMԹ4ޗv.'Ə|Ac|쿸~`G(2*33W }YcQŠ~JaGH?\#mZ{eLB- HЯl<]/)51|c"9< JvIJOkM%bK !6X0Lpud +CF $If'! 4?6XDž̈26cY!Tusɋ πO|h)e&yJyNC5>tI kʎ.γY@Ls}Z.pZIJAaaO 5@71 |ICRLƨA8lcTɌ@.}laMM_r.Uu0ʝ? ]'Vd!"ѕ#wB>.ov{*c 'Rغeag{G! a{ JD%f V\nӕ2 ^^09,V`[1ԃ։QN5Qީ7g$y…B]VvjS [[{lnVTsx\%:e{T1 Uᯩh}kgV#7M. |}OG-IIojKeC-~qG" SL%h8>ʲ&tq%? 6Ɩg?ԂE,WK^h&+ ;ω ڥ3 H,hovQ4G6qݍC=Xǽ0&Q{>R'

D$Vc4tQl\_O×J;b"pXhr\q.S6N8nJpE Lϲ]; ӃrySkϱ}c\jI@~—;Aǂoц9딧 j8<-qרb:$aG*F\ k(8ΫEiC\A%Bq}} dis  #\rG[w"aD 8'<+ۄy`80 ~';IO6 (RP^#??[2F]T+#P@`T%a MNid>) OJZPIO:{rY {hqmuܷ\kHko洅ydY4;4'jj8SЧc>fԷ}kס$3l<(=h/43ixHߩ:>sFri97P%ou{[Y|[1oDq 2)U1Ůho_JZ$tqcvE~WVm4Υ!q',9 PB`:#_8a`J#Ιs^os.CB̌:+'ESдEP[z/OT ¦kJn6a/2%qҲв/ۿ>[Q)3$\7w0ԅ]?\gw j?xK7Nq$' H}+nƸ[`XRf>:c_No<(F{a {+E$,HZ 2_$Q/p@nWڱ7:.zתSn3 (q·Ӟ}+[4fvY-vueGADA1n?|My&NDI:7g8mƸv ڜd Cy璻 5rximJ>zQc0ZgfuG+%V8"_|rdpSGt |q$pp$Q,~*XӄI==k}}(M7lF]zHF t{/e*x[!.&kILV|;Zd's؃`(Gi4'%97#: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}ɤр欦[[XZ8?uwG6/rQJ`lfuvztyTtRn,eOQ=:X'[1}T3Pba+5h̶MbkTP(0ˤ"Y-';-D=G7L|v5XR#廧zz vƈy>${wV,W<U%HJ _u{|nlL&?dx(Qe2.kߗ}c" VAQB.X I ZTe+(G]Na ּuö΄ Z51),p"h௵:'~БgWRW6⎘<(Qo@ܠ@k@3A SF] 6It!+@Fp+Ly@b a--K%c]"zȠCMdf6n~X9bJu_dΞ丹t+OqHݛ%v-qNhyx+{QrǓatF+PN%2{S٬q@}ZZKXg;8z𬮙#8HN/ϰB$@!?KR֏"[ wr?t<7-F7H[8kdo- W)D v&h-e5Ӟ8+A'Z9l9>&F "/tLxCvs(iUW_v]8bY6cS$5XDHJ윛ݶ5Qb>\/R|+9}nwQ1 fSi:bRGZ G4r68D?Z p!IEpp_AaJ` ĚKm"?ItOkwTo%jfN2=mܫߏ037n\$5Ȳ$~.q$/O1[tSqЅY.Od! Udk-=>V|I V/"vޯ5RY{mz;\8;k|Ggr[_zYK" }b̹˶{(-G{"U"bﻊir@`P{KF]T6!~Θ[>p*Rwmagɀ X5(;1GW<6y,. [Mζpב;[xqN@IIukvLWr4$!6,nKy &C.$moSTֵ[1ӅgvACN"VM`V)@Bk?mŊdL ]wdLؗ;B@w#&uA>ϘSPs+gdx -yE\UaV|(5FX{#.hA0hiRIٶ}bw5(Gy2Ybw;!50 H?3R)7%WWJRlz4,5%Gzi oH'+iǙxzI'> wRg/)n5`nЋ}6rWFjQ\yGp<`a~⼰4]I_@ƇlLĻ]sџ+ RL3&,9 8piO EsL6, =mb89dZyZf<`t]cEz1(h_,zdwX}O'jra)` bm .yMp./U($.҇ (# Z-58 B4UlLDA@rrhKN_!dWްa^]}H,6>kank4}2'*x%mb m#- tҾM!#P#eyV:zW5_tFBu:%z.r~fme)iQ:_'xՅ4#AV6b9z (J(9pUAh<DI"SVYl{55l"7MT+S~[Sa(U|1;WC-i F`D`,SgcSn/G`8y}H-$vKL^)B7b;#gOϩgg^c~ -ݱ*bB)ؑנ{ފJhj:b,:M-J*ֲ^ˁM6Wc["+-ph10WN )պ2v|JK7{ܧ`yC.vŪb`-_k.<,Вn%qBbnkp^@JiC`]s&`$덹 Rd3"` 2|7?;-rj _do; 7:h,۶qeVK}GSfJ'`#qUu],|A\&17]Uzd(hK~TG'!Yr04T=so14ădg2-Έg1Jeehg uөqLfY1U3>;.E;Hse|`f6Enł6_) c`_KM]IWqo*]&#'^Y!G#ZVp? >Y2"u-iJ^'&IT`';zU"ay|,%gƵL`jH/**m0oj)WrckOz˷mZ$9uBIWf2`CH~D!OPY9E2jo,:Y \c{#2LEQv߯gL#quo\TN"N>H9Q2V5 ǛƼpR%^r `Β෰<Y 9p*q;h_$0bUR[K[5uK}KOW)@ 68i,D:ֲ%E:a03Z=4!BS=1[W #RE* *4tc~u25z?tKPrF1$\?RGscz|5uș,iA3p!fXi,ΨV|BGSymB`-߈[In$!HFUG+qq@&ڸ->׶x}}ˍ-Q+m_,[I ,6T/ Yu[NA *W_.\`Y,_^H!zCM O%O:a=ыYˈzC`>)]@)7۽- #?"}"kED*h,D ` # Ydߊ$O#%u:5 k /ףF'2˘Di~@9iMe C7wr"U_C([&2թ܋S_xڰM(=} w ֌4JʼumR;G? RoH*cҼ0dݤIM/.jpo,ğ{p}; 1ʮB:i|I&Th{-d({p*m da@0W{6뱏6oR^]^wTakӠm!V1 .;>‚Cxq̢B>ev)oՁdžIU7 P6OJ6hS l6`kF '_RW/.Ax

Bzj,[RwV^8V@&j8i+,i/usix A^i;>G iU< "SWΉ-x5),.Gh(8=mX.֚7 mC&+X}=4G#49yfo*sʨJ@T"WδĿ6ǣ74 T+1׉^|p_oC)#UC%Sށ|Klu6`΅frZKN,v> `F-¼srQ붨j(mR(;2,37NW'6N|{2>eQ?2_.uW"}gHk\bL6ArKhp2(P g'?@;ɝ.k^*x L6V'\+ [b|8мXgZ/H(V26|oywl1~"ԲP#v"PM\ݣ$5Fj[G&R$RΥ%Ʃ^ls%?;X$&B?lߋjkI&$  QEP |-^|:`  }1Y(A N#yb^ˌِ5X*sWw՜dp,J t9n0ȡB yWf h|Hr%m|z՛K(kVHuϴ# ;i]è edb\Zh 깁l8P&;01Yj @;9۠Y e!sj?K 0{T>adr ҂vСAڎ@/Q{zaR祉SPi([6 G#=6kPY]k:ZmxBwĶU] < \M;;lTիRh#RA1 $a?}Qω 9ݮJ\ݮС#c@iH;{ 'h1y 7U)s ](uT̘;JJoQ}&0o CX;хX$1_ VN3'L*7~qYEw(STڅ]W?LϗɹZ4(("9VTT*N iI MTxߎ?LJS&P$^CSzDOƖ)3܈Q! kqj\lU7FX-^Sq.1YnT+B/rS>ە"'` P$>R8`<yli^TFָ7c0.%|$eޤR-= NhD:S%!Cuap\q>.ݟ:c°+OkoRYq~P$G 0|z/l³&ZQ]uHQYO^3uD$>hXp[3/Ռ)!J!v|vEwrFgeMT>ԗj=e\.$PCj.nH4#+~_Nfhq·g?avfFۏ5ǻZ#;705j↦-wd #9n]#(,u%e071$-P Y.9gn pPϽt6zZ30QLKҘyGovnzSr(Lħw8&&uԵ:{"'@L8PsF"̚޷(Ql'%ѩ356 F驫!0,zo-|܏uQdT{,$"*p^;,VM=0dj5ٵX_.)rp Bo\41 OmNw_2fB]H%!ǩvr K3=M5kpj'jkn1xm1aJGXV*%mSc&cJc/%c`ɷa.d;z`Igg]U*lg0d`6, qT<)Ԁ'ؽ*JRTq bӄ5DAt2(W,DNKg~|gC~&* l6 =&ˍaCČFY3N~AŭјO #(WhQ=OmM"~E(K*f)N&,8-w(ðMf\m,SQCy l]|p<)_zu923Ka@σ}P `g5 xlkXz.y" S/kHXz8h!} H_3X4'DȌ.c֏'$ӳIä`խ1SUPIҢ5HSIKl56{&8VD܈a|,in bd N>-0jv\A4€mc¿OZZe\JSBP0Yq%g:he'Y0BV,1٬,,c皩]GFm?䟷^=Ŗ[f0 .=vEKfrMk0CoqwBMT'xptvjg1PQso =R9ni{o->X4*@7Sleb gad{[գ{dGQ?)g/<]ރDekjd`"JѿIEX(Gט^1c¬̲>cdmkՖǮno;>lŏaLA)]́MPh4Zwx1X&4QoY&Au^ "Wv_uu^g;zj!b0P&~tVvN I,K# 7*daL Kt]5oTcZd"`>R*b*B?%?mt$:!e-HGLPc*koxn/$H)rr>H|MXf2LmF61x{EۂMX';#"@lզ* 9*<!rVc|*Zg uq0IImO)*#8m⥬yTW>9#: 0 >nDU Io!' 8ߝY2&2d~1$*M=ݜ=aq!go|8 ^K}MNˠoΨdE}[Kzmov.1k:_۸ !mApPʼn!̢UMuOX}ix'fj}w-i@xDL?/V/U?WtۛΝ]$%évN;JMr -ܻ-xSq /j~=]]^7LhC׫%$4 g1ߧ-gtz9_S}ax ܁F&frDn[LH}_gַ^Ψu)g]\yosaOSOq yST|8%+ph .`㨽{Q<@^]'U5LWCZs-H\}\co[Mug+I9VFDale[%o70/JU9-}#LYyW'^+>@DU y_L9JԬxDJrͨOQ{߬fh(7W,4uhHg%Qd{R;U!9Inz0>lW>QP|vñVt4@_7 {+Kf7]e#/7EJJo͍ZYFC#$iwՏr,~x+r4;Kѷ'_%ض \Jmc}mI-L!sN0[JL[i|Ft_#e[`[U:Ҝ?/ö} wc8/VL+M΍`wq`+@1aW|N6#gϹٖ(x8`zz\}E`ASѫɎǁY /3` @K䬌T5(4)B~B1  60% D,v Hp+*.o2nZh6գxj[Ưno ?85)$NQ/O$ܑu~&V nI\ %ثC؞#gzgArx  ["!2Z Hd#̝2J@Xݵ^y#96Oϔ2,O%B|D,i[ҏ:8hw 3Erqhf1ꯇq)=$eaP ]-n;p'a'9#Ltf>]brLڐKlY\LDl9 Z}Z&T&z0V2N:O1,R}#<]w=~C11M]a0Q&RrR kʬ7y[yU B M> ɉ\o;vW<n^{vnN'Af'><>(c^ߨ_E'v4Fx5/'+g<29kiIѕ"6+cV ,9oMNZusUeWF[[AL@iYmd:?JHS%b:SFy.4QsLª)xܥhݏtq Z{ں@P,4piW0pq8l~r\a˪,DJBwUV'jf~ hĐt$[=Ve)6Qc!B8ف#F%8Ɨ9znQbʏ:Qޘ|1YSs*l-S`ӮY8[ASgSyQX1Gv9pɊ^, >Ԑy_z jgxuqixD;%föoKPr=m,KWô.d -1Ǒs EKDB/3]i1C!`Re}-{ rB (=JH`9eXAص;D<` s}=F51x%8ZȝpaBM~˥+֩ sxq+d&`ELD ̇Uﳤw~^LW0ϴHJ-+74Oȡa)77A2 SpEߓș HP[׸a5jgS"JvVʄ8ώ-f@?bZ.nPʏ;@qu]U6Eu;QAq IElf?v qu5Ib 4kF?T_jh ŋHA/ }9 stKv.=a-yE^T5UV~kclj?er*. 0(+F!t:v|c*";:\$u | >~NY_C1kzNͨCre@, j 䴫:i8JkD:PyӴD\a.!gڝdOV%SjBjV9,@*PS}e-#Q Z2/P/0! e,qXI@]eOap@AcZj"ߎ=~d9feuKs$*`}ÔhsHa&sc2'R ~+,y"8.Ɵ*iG7.K~C'6䵋,дqbqBC. Aì[*BOii,";1\In܆QU.@djAĺ{D6k*ȯ :b R_czQ UP٫3m鐅h߭:1HLc|d>3 ]H @j! "mAJp,,Q0A]M0y7g>Lma9#xP $"N,/Qx!)EgJHi 2nd*4KNOg [lEo4Z]}e .CX{^yl;?1ujjq#N~DZ.-p2wk'B @Yէ#9ZE4r(*? "]KJBCG݆,Qwͭ#FILoOMHexbaxާ+V*cŕ*&H;ɀw|-paXn}9T8 <⻪M550k5:LyJCIŰ׸s{^FΫnE>`Ozk9Rve17="@ v³샘c$؟E(DZ DK*lo(+xe|yA~4ۮMCk%_y9 %cĂgBij(< okC @SᆄzD3:w$iI^7U"# vn&j5c}rZT7H_ ?*<` Ǧ˅KTN8B=J /_׀D%lY}`:ňIao4H>!X^NI[0VM2}hݍĦ^&.Jn#KWsndEuh8 &+pXs=2wf @wޯ32c7{L8؇՝043B(.gnH괏52䙌StTn" mL^/R1&un0rVؖfzJ,M 2>}p?Pyj[5W -d>8NdjW,JVF\ T|=HM%?LP̩paQҘ5.C_CQL@C`-bMRc e?$9OFCKmHڠݵm@Y}~$ٽH}0aD: Ao(?>!j/h!mksΜyZY Iaܱa>v'r 3ea:FwŎ9uBas!5)~@NPqvA$dR݀5 )o`ۡ;nP֛wU¢, ~S"4o tKC' uAΓC `E^D'Ƀ%l@-9Yꨖ{YAӍsuGU)zo(UIUAk ,Er !=opJRMHDӮ7L|ӓ$=/'1eKm p*FI>unbs-&D[\ :_e:ʉ=yٹn5S0漭y8Z՝Eca${taU*G1 {@Z .=;棻UzUV!dBBWtd!%DEDEeP ^7{ T3!OTRmJv9R˥*]^NLMYaTgʣ%Z9*EN\;|2IG~}_aKc\-I^^u'M&Wӛeg&lQ!NW7Ҟ'9(FڨⲾ3_J7 ZB44wh9̹}TgU.2xH>)5SQ>XX]#\߾ΈrL2fL ׷ˣ\TܻPVZZ'm ~An0u>;t1vGfk)uE44 !?]p JO/2db>88z!ͼQR]F'Q$q|sqwϻ636 s/\]#ii,ZmaWDx6)=Lʹ#H1 b'__RbIz10q.900Lxςh[( k;ةT?Le[%+o[![L}yMoC('yP$P06 yreq~4688l6΁Yt&\]x=$6F+wV ϠW4:Ie_]'ō:*א 1w]qtccN)mך䚻R#?I␪p{t9bxϫ;voq>;m8Ҽm nVW ll!Knr:݅?mFK&hob(IS =q֮ ([0&ߥ)||+F=LDGSs>h)4T P'%T>ڙxfs"C"v+u!L{Lx8eMN7uhۃּctBS5늿GޤG]F̳)ǔr,)dB@n\ 5~TjOzYaʘ 7BXFeQ\Ơd~2ԅѴP!r\Өjq TW<-|NJrHU{)iKd4RhDڥL>K];B?ɔnHc] -`Ty)_&Kl y$ >No)Yk.=[}#q;A7>;v긪hN/-:e]sn@aa5 ]sE<[I TY8 ) > kF);_2PέN6DF$8=S|yMe[u$ ܘS"3.zE^\߾5G_N#^seϗaH=(S)>XTyOQ"Y+uŝ{Ihul~3 C֒k4Njv9Q>5_E֪mM4>P0eܣEʮM?e4:H J&]V^\6$ER{ɳ<2vayA2װb* ]VT-WJ,k jS(B猌4†@(+:(lqqm. TV> y|Q;v T)(};N-u|XY4 ABR}8cv=WJ7*h' ,|A(VJ md!IN!pB" 7Ki%ߟI2gS|o:ϑ{]}Fi6Ý%КXR?ewv4_ )X0uYzM%eYf!vby0`$ 4vұWETO|#F(0Nˢ;caXl8>@OǏWl.ر@ G ,ܽ)MQmݴlMɳv=8v;'L7#? ~vaрbP͑;Q$XD+*]Bgezd>K(pIgl`fk]@1)DŽv݀%;u,Ix~>.bi~"pah/ےd_m'&&۴8T77е?ڀ +;ϴ X.\sbck<+r`is+ Hr8f łbdV>geFkc!잝P|% @I\yS9[?u+Ń;zU~t1!8ľDig_$6-6 ̴'p Lj!'ĉڝH81hTZ"@QOd븘WL5{J2Jߒ0y\W|V3Y>(T!62T⧭Dyvb ^W3Sqw#90z7;S7 :k"0`]T4\ -Gvff_C"j ZYy,a.@F=K qڤ>ȱ2)xf>UKSwś#caSns?$ݽS`=3=+H\ +2}HwQ8fڅUvTF9ĕ_*e, qsej"ܦ)h$Շڻݬ_0ՈXjSUJf5 ރFu0+@mVy37OfwZihZukUfs, Gσp ѦĬuޟw Y56&D \Fe܁*Yijx2,S6_tM۰LqWC~Ά"BwW'^zlQ(>'#oq6-nBgӦpɘ14T:}/+7e؀HIǝa?2v(ߏo61ӡʦN%{|׵%Stnrk[:JxL<;'K,sjSK%%;M67ZdujAs|cVj >R?>UݡOTXHU Bz$}7ݠd1_-w|@Pج?);˺w $A^~94ؒ>9t-1֛ĘKkV.adK~jX'L%ܹZzBnS Db2_(Pչӵ"VnYLTgqI8873HP[p+${PLS[H)ɼ-ɗȕc6D36 'i1Kle]΋tn)p.oWl7]$i:Gur1 yjֶ\j+_b}z":0;' lBm qc]V{\s!Ce][HR0 @?WV!:zbS 1xXWcr zHt.Pe-i% UN^cЉ;m d#E2eޏK;ҩzkhyj-R59 7"Qr,݊c%RA*C:,2EkFʔkbO,zhޅMZ;5ڡMa̐!*6zF6nl _-flNv|׫iـY>y'ZpY`QɅ9'#A` 8}'ec*OBa>Ӆҷhe!8v̀*] PA,9 CHLqrXI4{м c`,4c Qłe9Giq>cHs|`Bڷe 0 \E'NM` Jh &rƊ>:$PPxlf HSQE(x$?T|b`TP >SK(84NgUR%ʞΥvfĈWʔBx <ҞJ{!䥍 ɗI$B-*>NG~6?1ohV 6HcvXtlgdX1=5Gx P.B`')tݞpYm7W',k&bƹWt J.ˇÿ/0p@Kp"(S.8^qUބN?vʒo337 Cf~V c9TKͫ*&V|? "0czNH7|XFKE~K:%zqe^NYwcJ*o4j$ΧKM/* '{R\F8a3|~>\F:i)ùDQoF}/l_V#SF6}9%=7*-wc;;BdGUx_tBR_90udΩ)Dbg! _wX 4NNdvv 8* 2MBR=}=J( ZdBv֯|meke#> @̖-P"сu7hd&PDթ+`lgs ӰGX0kҷ @%mf{0re&D592]Tlx V /vRrUn%{;:,+1KI̴ܜJub}gF3Yu=yDSu/~W[Nk{9&48J5#Brw*Ĵɍ>Y-DfZoGl0a!+Xń6 RbOZA&pd1駌]^TkY 0+MmCymFvVk)|ڿ9k=9sf" <|`Ox5LeG#zzVea@$r-da8(c.011@ 6zar$4>˄"Pz)dS8UvG|V#(]V?s*`Ðȗ6nSf sdܬNdK\#Y?n-0wU5ky{y3&.X¼\ %(t9)C,YQ=f4u%B?!P~u+91oM{PqX&rC(QS2m?..S8k'^I RG'J͑3ذ wPa^4\nN,u ͘H4C}(>yuxGU[( rR3j|G*r}o(H*,Щ+AX2J-Օ*h{笚_5#|/R (1/#XX7$Z;2lSrӡJdʱ<mus1.-cC%뻋رyVq& C>Fluw!Kek*~猃urUL0K Zn4lYKrWqEb֪=&)Ӛ@m2ߩAi Es|lH`<>ii/.c9@?O\FӾMo^-" }vo$n`O>^ Q 9:t Œ3.Jo.oOeigmeۛ? +摶 &-؂ݘd-/扢*x/+-ؙla(,T+FS`M˜RyY)X5(VI8~6\4'#z(igC%ppLH_ZI[&@ pbeZQm#b)4Vqz^RZE谎>$ TeCyj' vL6[yV^5 eG9j\ e-k7\$̯zg4Z4l,IL綾n+I.nnIwQx==bߢ) dL9E˧S|o|MN =6*ek'Ep?uZ<7*~--Ϋ6P(D䇉<8lMa$ nżVUb#&yYvDFikBx#T9{I:y38OSwn7 YFN.|G!u兙$lA"vC!@e*W%p{3QWDn=&EmڑғmJ5m.a=~]'>zcWm~$ݝ M#O&ޛRYZiI?ࣔ}К̊}f8gnm+YB TO}a{Y5@Dobӑct"auu&.AY~t@;RT@ EL_u.Z[!2~6@7<֔ML2"֪n-`(>91.Ed]'14mBɓoi84jq*t ȞB{xeKNvZ‵w0]v@g1X»9I84֑mr8Eٝ)zMsrJG6Nkǰ' du~cҝTw YXb mѷ.BD˻FKĠղZ6y b5#MFF&vnb*fN!H#)ievF_#E<=WVoS9  4MnfjZmK}Ճ_~ډEΠX'ԍƜ=>ȸ⇂o#.WpFؚ_eTɘ"<5sIDOy&% !:ZwI _-m0nȉ`(X+$G@6;V3$m㢖 :hYBB.?TR|XEBU87~VKn%n }h7{blZ(.LL'#KoY)C3 ggthJ4goB]kjT{!/>,fЎɕ޼]B*Sg"\rfLi\pWuEƣ'̕i WWN:6\.YrNͭb0,&'dkL-9܇4os5Ɓ؛wG-6[UDaIi:Պ,GF{p퀝'K(]fpZ4W`Ess) %1v0&Tҁ~"Z5|`0 ce貘&܀' I=N>U"(3 Py[G#7rY䴽n֥Rh nNP)C .x%: `dhޝqBI S ]|Pkə4W軇ׁxN͏bii Ne˅DlL k7ﰧg9# 6#y xl3Q8F8B~9?T&i:wZ3hKra䝏REyk|.>M4$xԺVDuϿwGJwv1%9Z;'ϋJʼnY:#(% "<04f1vV8>U3_x3Wݾ k56K%::RW9, ,bKGk:f)Y?9iW l@&cu1'SD;]?0u)Oa˾j;, ۇb V+3D1ےGgnNm @N6] 8_Ώ/ ltI$`gs0>JBx`Ir,/{[x}#)Aٓ96ѻ,jQ8 ~Zyt%*!H>f9 w. 5)WiǥMӚ2L]+ m!s>]m.sJH>NeO%-Zb 'c8H2m?Q+N}/ ~Q ċ?zko,+"(θUj^fլWLIk68ȝw:³ <ɨm 6_]grVSmhfQ\@)v3gƿ0Ǥ6$i8L-SŽ WMe'5FSdH8վes(:C.r5ja.f"oѯR];0YZ 0 5I' $HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Core_NitsPIDE/messages7zXZִF! N]·Iq n[:|&[z8HNòg۷vt3uɥui#cm,s-t`;4uJ(Q "!di(_M{xLI-%D!腅 CqűɵIj}bdl2@5+^Bi*)>!&xCG>(Ťwgyb"dgNF6Qvz2a+ř4wThyޱנKΟ(=Pueơc|N5,9!P2'[5 g#k&Z*dP#9AYV)9F8IANWaTE۴Q,!_W. /Z}Aa6,EqZS~]c+@P+\T&PR֠&J?5 +Sj|Ib$&KҌ{m!in']"u-%V}vj-*)'uRna, ݝ9A Mσr~pc('Gc- (1\0}}~vNJ?˳c+A|=5cǚՙ1k}k;J4r,DМvpAc)/u4GtT)ZuJ0hƿ;߈n<}[ѻnZj NtH@a={QќOrB7xWTdV:uZx^IBnө1H|6xc1H0ec9$Od [Sr2ܲF޶.XD1Ņх$tMHdd{ ItXGaЈ/:jLkH@.+lؿqi3ԘsqJ֫;-O PbDPV1V4LHCeV)XvKHF(*ĤIIJo" ,r:;^@LnExF{?/k' vE/ݑYJx4++"#*mnЄa,9efШ],QdpUNkem:x_F-QvaN3oFУo^ dRANe#O!)lTe!|nF廟U||!!~@7+gC<>n]VeTcHXC 8EsMD®լ=L;M6Z>b;Ud<,'ߔ8Qh'4Bwk}H@oi02wOd)iyp笇gg)x.e9z#6K j_HmJUEO=)Gm+m;$k …0OSx!.IqNSY%™v9< IFbie ?u/ֿ,iZ zۃX8-b5U:h̀hǣX+xս`I-XɃNLڲ$rW#9Ma:ŇOW}ʥ&~㝊#h+E]T ?3q t&z$Geح"-yƶ\,|!>{;4c[0!/ g}U90>=xo(~ügG椝h1XZvh !&m(``E(YFGhT'h393z0Y|y`on1^wi3]Q٤e0dp.~?tkqM xPfq5?9@I{(21=;'f)ϲdEܮP+ѐ'ۅrck?1G -M:䲸@ %Tuoe0M:L xS Jh=؞y?ǾlcJ؆2L6j&Dкv`R\]>"*YP4AqfjE7j҇=9'e ~O*!Cnq~OKzXDBrtcWG0> B{Aɭ%2s]ۓ3=YBdcrMֿh[Ԗlgw:!ÐU݆nKc7fP tt[9䖮AJu+狭L5)ϿZQlTH)Jq9^Zc슈p@4g 4@m6&yJiV[wsςТ-^k$kRTbwXSm w9[)*`L*v Ca7S'vI"EUaы'1'TS})0֓3. Gu r/=^C>&JFLD,uOpy9]hnPq"᢬Q=FĂqBl$q}t昣>)XS"2UVl&Ow? ?+}n. ВB$_:>+"$7V`c*uY djwkr3#G#o%ZszwvF?; pݷ,Z0;$[8X nV\ QqSgU~!G㻚q5Lk0bbosDeKZE P wU-sݩ8;dSq9„k.U'~LCy~h76tL=]0%G_WS9%8P\43 W)ܛXRBMt>LVѭσ}9Jv! CH9Ee}}:ncCm#6ˏbuA &F! %@,rjdlSM?*mX;&!!I(}^h[w3`q[Pvg!XfYY q;F`j-# A˲xd6chz( G_$knTFAL.Aۙ.BBQynؙ υψT~Ywb];3>,5_,xCP{8'/0'ÓRKagN*qׇe-K[43`}l )j,e2!۱$4qRhm= .;NTF D1,x?Yb{ Xmw 'e[0:ܥ#DJɖdLчPqF2oR_+'>A0GcF \s4@$ ٧m->AXR09wdaG0Cp!IKFrSzMcm#gPے6#3"XLͼMG[| JH"WGUAOn_}qOъ'.y4 JY)Qs x$cqeYF+T9Py VZN{ %`S{At Wy9hy҆cn|r-'ƋnTxUᰞ>+ql`LE?bJ XQk!ِE cҦ֓̅{5z< E+@c!otg<{Gᨀ0Ⱥ-Mpgr'Ց/ZjuxgQ}oxn"/ Hz XPvn)k~Qw٣i)'HѤ g vΩXu h ǴQq@@/{pSTv܁YaBrV~0l^BKl *CۈҚ6L䙙ƯcNP ʮ0; Gʏ`dšgbWBYJ ,B,: H}OE[Vu(bSrD(?9x]N[%1֤؋^;LXFW;:ruZa Hx)V3Y(ܞ p-L^"yh= u|tmS#ibۓ_/ [wiŒGA]pU[MUjP.Лp云,4ڵ$8MlϮ uYNDIbt/wK3%{'E[vE,Eb[Ȋw+˘ykPVP*1H[t _R 2啙\2/_S8wx\u)1WZ]"#"v7S)"\2TZ~#w:}3Eͤ" Vb@ ii4_Ș\׆A޾.\$E+oZj@Ezm؂vZWCbO{ GK5?Ե*PZH%?j.1"p 4c* ڥ>]2rΫL "9+5`'63ra\mqcLo_oy/ibj9zro 9&l8y;GW4x!ac{t|EI9'H61QҿxWG~8^ eYh<zH)06} {5dP#eM1,"KgU0*'>dJ$ɦu³O =2ٷ5wqUgv sSս*,PXzs {rHlX$`^RDi#<^ij2Wj6e甡X߳}*hNzr}Hdhb0_ X0f _g ]IvXPd( ʓy^e[+"=™c3 u%ej2yJ&~?W}LE! ʟXR))CWW2Vvk'pADb6fwEǢ1Eq>VB'~s%ߑPcmWoC}6_~eZQ u5~Tw3VBñeػW\&D9䶧3[",g\O4]&ZieAR/)ږJD8ŦA_ZG]v݂) ='z;D~uT+,hd>9~w TS:iF$GadpǍQW?U1fj\J !^t֫seա狖F7㾱#+ AiUSÖ 0b>!Iɡy] W?Y3fardEʽ3yn&xT}1+x |1+PobeؗDkM4Ίo{)UP A)X]Dw08F`%QO-?ɑ"eK r*E\6]F+P ˱gYZ7zXZִF! ზG]ŗXi%NZ.%&Ltz8|B4Y[i'r5ͽR̶;U6ޟ0/=Mb& $(ZexJO11qKu$]SUUIWw\PL )=^*ܮ_+Ë0:EkS?P\V`1+CE8rKIՇ`(ꉸ+L RGMOTU@gM]R_1F#{CI/")9@ƧU fEg)Hy; T<B`%!{ 00)Ge͌k.q/,e?q*029\W |+Ȥ*ˈăvѱxm %$` Sk`OjlY ofʊ25j^W]lHKƾ(V-[Oi?—/K )#*sW^?"G0k`#'1:  kQO? #~\o y BRG4{k1[3d*̴U;SLe{n{K?i 3]OMQ]Ԑ NܗH)TF]_u] _pC{3^uW]k@wRn]>9\3 v~^/6H۫U åSIK3c1ZE$qm1ܰ Kgzi|2 XNZj=+OeX gFzb>U֍yWkUڃ4`v\E.Pw EWwfk]Tv"bRȐf׶"9qV%I;" SlFV^kpPfB >jY0>Q db;fڡ`蓮l?sbZt`V.Zvԛ+/a|Kڲt4}hiPJ%Wr?ͺSzR=9nAWk.+F*R3' ;(]zS(DY{ƴ+oʝܤpuZ UN.s`#R )>ΥԎp|+ًٵ'vHvWr߳'G cw)N@Xw;Վ eq#fr^ٷdpޭp"l oy~r"@[Ak_*#d-b o~Sz/a~pd`<pվ;&)*kȇ?՝"i)"stl:u5rnܺBU3 ȿ Щִ'E!I p̃Aآ>ɜ}>?sQ1icelp cp?`VmQ":^{g;UFO۹FnGviPO^˝ Wo^t\Ӆ< \MF8֍ᅓXՔc+U-9<Ʃ[ڣd/czBHǹ}2hD{x ǝ~/ J|v*dOIXϦ_'l`%]bPbUn̥F*RAcA9ۉ#j ޲cJ3^EzBTn?;v%Ax[94帄1KS§V_u $d+c@^q~ `5F?rZ$!ɯ%?5.*xI~ݕǀ==lItGSj zj؊,7QY)'|}8#8tmoc#q~P:5[&Qz1`K6|:I(R#lǞQ1+v<6oE˙^O9*>1Nw7)O W,qԍ`l 9n"(5W/jR)-_ XwH!\)28, ;Rg̃Nȇ̡ayddc5F"F 0{ 3޲pYL4B[9p}h|,HAy[O7GP?([VĘ/r/1MvXmj[.8 ŔʞU4N; ڎڪPg(SbyM4Y8]鶝~3~W>S`SQ58ۈH I86! ?tIWaXJԦYy`$:vr` 끛j^!m@%3;sLwlptޝM1{-}YK.Emg)v A)'ڛQW,$؟c&`9 9Ac)JK<.kɥA]8|*]i9٘%Q1m*;PWau7-'+TǰIܛfYqT,pu =ffZt &#a%XE\G߄K SbIlXO"{~z\@C52efI)@wp9a%%Nd-"V z#HzqxKOd-; CZ+k?>=b2Gd"g(Di>Jǐ+o 0Xdyj}$m>NzMxȬVJg>pajxر@3{LZd2!F:oZ0,w.ĉ*0E?䣠6,uឦ@(ıKAHޘ'^n\ "h݁+'D7:P+mBOT`R#fEDg?tթiI-+err":)]? 8vT֠7abqBzPNܶ},J7D>Rw0ꚜztO2YBd3YM^ݯmF '#bx2{SnuޠhC 82יDjk4>,543㠲1xI R؏-jn;T攻v ¥Cg7˗ nY&!$vj<=^c4CJcS1k'2eЗfAyE%9@PtΆxS ( q߈9$ pAg(DmdCltՠKbڲD{q x1\mhN8N\"N֤^m$Ka3#&⹵Fywb0j *MA:8>-&0_04KB{lS= v߱'cᤗSIoȜAiꅩOgDwElNJ{z8;>'? qh2cʌ{ TU`M{5EX郕"5ip9F$r 2z ckV+UXabV0᥮mM+. KdM3-$n=n$c3&cN&fjC1m@w)s["if%2 CƬ 1)]spZ{UH6Oso? T߀2~&5 >Fxz*N.1urwB~'tqaA|K8?N:jVhW]d.f8#ut;Ph6?% &l7|T̠s̻v̪0zM'+ Բ#aRk4-[%(a?ŰDpQDŰo^=Z kK%1'ko"U~9m9|2С2[tNsnZNMfJ)CKV9p0sx!+$v($y']ZR\đ,JH]+ P4LE0_kUMG熁l bTc:ˆyp=qŠq }#NB9c-,ל5*YrSGa:@~Sj{3CezPᆏ#KDIyvV4Z:-۶>վ |i~X@ZĊ\>=dx2{6$zWL I;̝y,65$Cl4&RY{q%*qxw uNE ?x rO;qί޼Oΰm/ADOۃElYܚƍŘ|Y3p3)Ԝ^1zGN m?AGO¾:n"ʥA-Ox;^k%Ϻ++SUn|(, x/.+UyW5%j;'@ȷ>8 EԜp1B9Js6RO1[Dy;udѨvLfp:khL'8G6֡tqU w:fCy6[ʕs0v`gYZae8bef9e6d0da7fa1f348fe71010cd3462f52ceff42ef1fa33b2bcf7f41b6d59156a15f0915a3353 e231d8a0cba58c5d3b81b383eb6beb7946babf5c