s="line">                               {  131,  139,  147,  156,  165,  175,  185,  196,  208,  220,  233,  247 }, <span class="comment">// 3</span></div>
<div class="line">                               {  262,  277,  294,  311,  330,  349,  370,  392,  415,  440,  466,  494 }, <span class="comment">// 4</span></div>
<div class="line">                               {  523,  554,  587,  622,  659,  698,  740,  784,  831,  880,  932,  988 }, <span class="comment">// 5</span></div>
<div class="line">        