<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">On 2015-12-19 08:45 AM,
<a class="moz-txt-link-abbreviated" href="mailto:vieira.ufpi@gmail.com">vieira.ufpi@gmail.com</a> wrote:<br>
</div>
<blockquote
cite="mid:56756326.c6d10d0a.ace6c.ffffeb19@mx.google.com"
type="cite">
<meta name="generator" content="Windows Mail 17.5.9600.20911">
<style data-externalstyle="true"><!--
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph {
margin-top:0in;
margin-right:0in;
margin-bottom:0in;
margin-left:.5in;
margin-bottom:.0001pt;
}
p.MsoNormal, li.MsoNormal, div.MsoNormal {
margin:0in;
margin-bottom:.0001pt;
}
p.MsoListParagraphCxSpFirst, li.MsoListParagraphCxSpFirst, div.MsoListParagraphCxSpFirst,
p.MsoListParagraphCxSpMiddle, li.MsoListParagraphCxSpMiddle, div.MsoListParagraphCxSpMiddle,
p.MsoListParagraphCxSpLast, li.MsoListParagraphCxSpLast, div.MsoListParagraphCxSpLast {
margin-top:0in;
margin-right:0in;
margin-bottom:0in;
margin-left:.5in;
margin-bottom:.0001pt;
line-height:115%;
}
--></style>
<div data-externalstyle="false" dir="ltr" style="font-family:
'Calibri', 'Segoe UI', 'Meiryo', 'Microsoft YaHei UI',
'Microsoft JhengHei UI', 'Malgun Gothic',
'sans-serif';font-size:12pt;"> where
m = (length xs) `div` 2 <br>
<div> (xse, xsd) = (take
m xs, drop m xs) <br>
</div>
</div>
</blockquote>
<br>
These two lines are misaligned. Proof: paste them to an honest
pastebin such as lpaste.net to see: <a class="moz-txt-link-freetext" href="http://lpaste.net/147461">http://lpaste.net/147461</a><br>
<br>
</body>
</html>