</div>
<div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;      {696, 308, 992, 0, 114, 650, 878, 502, 844, 890, 1232, 514, 628, 822, 1164, 560, 1358},</div>
<div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;      {582, 194, 878, 114, 0, 536, 764, 388, 730, 776, 1118, 400, 514, 708, 1050, 674, 1244},</div>
<div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;      {274, 502, 502, 650, 536, 0, 228, 308, 194, 240, 582, 776, 662, 6