14266 (6214,8052) [ (y dup(983) loss(843),(d dup(845) loss(1112),(k dup(95) loss(1531),(s dup(358) loss(1110),c dup(154) loss(1429)) dup(282) loss(519)) dup(983) loss(1312)) dup(588) loss(196)) dup(1926) loss(0)] 16067 (6588,9479) [ ((d dup(845) loss(1365),y dup(983) loss(2005)) dup(194) loss(317),(k dup(95) loss(1531),(s dup(358) loss(1110),c dup(154) loss(1429)) dup(282) loss(519)) dup(983) loss(1203)) dup(2694) loss(0)] 17335 (6807,10528) [ (d dup(845) loss(1513),(y dup(983) loss(2325),(k dup(95) loss(1531),(s dup(358) loss(1110),c dup(154) loss(1429)) dup(282) loss(519)) dup(983) loss(1885)) dup(231) loss(216)) dup(2876) loss(0)] 22639 (7793,14846) [ (k dup(95) loss(2853),((d dup(845) loss(1365),y dup(983) loss(2005)) dup(194) loss(3157),(s dup(358) loss(1110),c dup(154) loss(1429)) dup(282) loss(2866)) dup(893) loss(61)) dup(3989) loss(0)] 22691 (7767,14924) [ ((s dup(358) loss(1110),c dup(154) loss(1429)) dup(282) loss(2445),(k dup(95) loss(3378),(d dup(845) loss(1365),y dup(983) loss(2005)) dup(194) loss(2657)) dup(270) loss(535)) dup(4586) loss(0)] 22813 (8213,14600) [ (y dup(983) loss(843),(d dup(845) loss(1112),(c dup(154) loss(3799),(s dup(358) loss(3281),k dup(95) loss(3710)) dup(45) loss(347)) dup(3219) loss(1312)) dup(588) loss(196)) dup(1926) loss(0)] 23598 (8413,15185) [ (y dup(983) loss(843),(d dup(845) loss(1112),(s dup(358) loss(3771),(c dup(154) loss(3694),k dup(95) loss(3804)) dup(23) loss(453)) dup(3441) loss(1312)) dup(588) loss(196)) dup(1926) loss(0)] 24614 (8587,16027) [ ((d dup(845) loss(1365),y dup(983) loss(2005)) dup(194) loss(317),(c dup(154) loss(3799),(s dup(358) loss(3281),k dup(95) loss(3710)) dup(45) loss(347)) dup(3219) loss(1203)) dup(2694) loss(0)] 25203 (8492,16711) [ (y dup(983) loss(843),((s dup(358) loss(1110),c dup(154) loss(1429)) dup(282) loss(4009),(d dup(845) loss(4003),k dup(95) loss(4038)) dup(41) loss(1083)) dup(3808) loss(196)) dup(1926) loss(0)] 25399 (8787,16612) [ ((d dup(845) loss(1365),y dup(983) loss(2005)) dup(194) loss(317),(s dup(358) loss(3771),(c dup(154) loss(3694),k dup(95) loss(3804)) dup(23) loss(453)) dup(3441) loss(1203)) dup(2694) loss(0)] 25872 (8376,17496) [ (d dup(845) loss(1513),((s dup(358) loss(1110),c dup(154) loss(1429)) dup(282) loss(3932),(y dup(983) loss(4311),k dup(95) loss(3706)) dup(15) loss(1279)) dup(2768) loss(216)) dup(2876) loss(0)] 25882 (8806,17076) [ (d dup(845) loss(1513),(y dup(983) loss(2325),(c dup(154) loss(3799),(s dup(358) loss(3281),k dup(95) loss(3710)) dup(45) loss(347)) dup(3219) loss(1885)) dup(231) loss(216)) dup(2876) loss(0)] 26020 (8504,17516) [ (y dup(983) loss(843),(k dup(95) loss(4901),(d dup(845) loss(4916),(s dup(358) loss(1110),c dup(154) loss(1429)) dup(282) loss(3939)) dup(147) loss(182)) dup(3714) loss(196)) dup(1926) loss(0)] 26667 (9006,17661) [ (d dup(845) loss(1513),(y dup(983) loss(2325),(s dup(358) loss(3771),(c dup(154) loss(3694),k dup(95) loss(3804)) dup(23) loss(453)) dup(3441) loss(1885)) dup(231) loss(216)) dup(2876) loss(0)] 26768 (8369,18399) [ (d dup(845) loss(1513),(k dup(95) loss(4888),(y dup(983) loss(5277),(s dup(358) loss(1110),c dup(154) loss(1429)) dup(282) loss(3660)) dup(59) loss(306)) dup(2717) loss(216)) dup(2876) loss(0)] 28060 (8696,19364) [ (c dup(154) loss(3604),(s dup(358) loss(4364),(k dup(95) loss(3378),(d dup(845) loss(1365),y dup(983) loss(2005)) dup(194) loss(2657)) dup(270) loss(1871)) dup(931) loss(120)) dup(4866) loss(0)] 28893 (8807,20086) [ (s dup(358) loss(3829),(c dup(154) loss(4750),(k dup(95) loss(3378),(d dup(845) loss(1365),y dup(983) loss(2005)) dup(194) loss(2657)) dup(270) loss(1938)) dup(646) loss(164)) dup(5262) loss(0)] 29076 (8914,20162) [ ((s dup(358) loss(1110),c dup(154) loss(1429)) dup(282) loss(2445),(d dup(845) loss(5128),(y dup(983) loss(4311),k dup(95) loss(3706)) dup(15) loss(1498)) dup(1596) loss(535)) dup(4586) loss(0)] 29253 (8882,20371) [ ((s dup(358) loss(1110),c dup(154) loss(1429)) dup(282) loss(2445),(y dup(983) loss(5677),(d dup(845) loss(4003),k dup(95) loss(4038)) dup(41) loss(1134)) dup(1538) loss(535)) dup(4586) loss(0)] 30078 (8493,21585) [ (d dup(845) loss(1513),(k dup(95) loss(4888),(s dup(358) loss(4868),(y dup(983) loss(4581),c dup(154) loss(3866)) dup(10) loss(1347)) dup(455) loss(306)) dup(2717) loss(216)) dup(2876) loss(0)] 30232 (9061,21171) [ (k dup(95) loss(2853),(s dup(358) loss(5115),(c dup(154) loss(4820),(d dup(845) loss(1365),y dup(983) loss(2005)) dup(194) loss(4209)) dup(76) loss(743)) dup(2367) loss(61)) dup(3989) loss(0)] 30409 (8791,21618) [ (y dup(983) loss(843),(k dup(95) loss(4901),(s dup(358) loss(5310),(d dup(845) loss(4531),c dup(154) loss(4456)) dup(8) loss(1199)) dup(708) loss(182)) dup(3714) loss(196)) dup(1926) loss(0)] 30426 (8496,21930) [ (d dup(845) loss(1513),(k dup(95) loss(4888),(c dup(154) loss(5196),(s dup(358) loss(3880),y dup(983) loss(4914)) dup(13) loss(1017)) dup(455) loss(306)) dup(2717) loss(216)) dup(2876) loss(0)] 30682 (8807,21875) [ (y dup(983) loss(843),(k dup(95) loss(4901),(c dup(154) loss(5605),(d dup(845) loss(4796),s dup(358) loss(4402)) dup(15) loss(950)) dup(717) loss(182)) dup(3714) loss(196)) dup(1926) loss(0)] 30766 (9152,21614) [ (k dup(95) loss(2853),(c dup(154) loss(5480),(s dup(358) loss(4807),(d dup(845) loss(1365),y dup(983) loss(2005)) dup(194) loss(4515)) dup(102) loss(528)) dup(2432) loss(61)) dup(3989) loss(0)] 30931 (9270,21661) [ (k dup(95) loss(2853),(d dup(845) loss(5909),(y dup(983) loss(5277),(s dup(358) loss(1110),c dup(154) loss(1429)) dup(282) loss(3660)) dup(59) loss(1362)) dup(2505) loss(61)) dup(3989) loss(0)] 31035 (9259,21776) [ (k dup(95) loss(2853),(y dup(983) loss(6396),(d dup(845) loss(4916),(s dup(358) loss(1110),c dup(154) loss(1429)) dup(282) loss(3939)) dup(147) loss(1072)) dup(2406) loss(61)) dup(3989) loss(0)] 31968 (9279,22689) [ ((y dup(983) loss(4311),k dup(95) loss(3706)) dup(15) loss(2166),(d dup(845) loss(4916),(s dup(358) loss(1110),c dup(154) loss(1429)) dup(282) loss(3939)) dup(147) loss(1112)) dup(6400) loss(0)] 32026 (9253,22773) [ ((d dup(845) loss(4003),k dup(95) loss(4038)) dup(41) loss(1950),(y dup(983) loss(5277),(s dup(358) loss(1110),c dup(154) loss(1429)) dup(282) loss(3660)) dup(59) loss(1306)) dup(6436) loss(0)] 32045 (9811,22234) [ (c dup(154) loss(3604),((d dup(845) loss(1365),y dup(983) loss(2005)) dup(194) loss(5495),(s dup(358) loss(3281),k dup(95) loss(3710)) dup(45) loss(2654)) dup(2271) loss(120)) dup(4866) loss(0)] 33285 (9822,23463) [ ((s dup(358) loss(3281),k dup(95) loss(3710)) dup(45) loss(2656),(c dup(154) loss(4820),(d dup(845) loss(1365),y dup(983) loss(2005)) dup(194) loss(4209)) dup(76) loss(1417)) dup(7072) loss(0)] 33486 (10063,23423) [ (s dup(358) loss(3829),((d dup(845) loss(1365),y dup(983) loss(2005)) dup(194) loss(5794),(c dup(154) loss(3694),k dup(95) loss(3804)) dup(23) loss(2768)) dup(2149) loss(164)) dup(5262) loss(0)] 33968 (9952,24016) [ (c dup(154) loss(3604),(k dup(95) loss(6331),(s dup(358) loss(4807),(d dup(845) loss(1365),y dup(983) loss(2005)) dup(194) loss(4515)) dup(102) loss(1269)) dup(2355) loss(120)) dup(4866) loss(0)] 34166 (9296,24870) [ (k dup(95) loss(2853),(s dup(358) loss(5115),(d dup(845) loss(5783),(y dup(983) loss(4581),c dup(154) loss(3866)) dup(10) loss(1868)) dup(495) loss(743)) dup(2367) loss(61)) dup(3989) loss(0)] 34241 (9394,24847) [ (k dup(95) loss(2853),(d dup(845) loss(5909),(s dup(358) loss(4868),(y dup(983) loss(4581),c dup(154) loss(3866)) dup(10) loss(1347)) dup(455) loss(1362)) dup(2505) loss(61)) dup(3989) loss(0)] 34273 (9974,24299) [ (s dup(358) loss(3829),(k dup(95) loss(6354),(c dup(154) loss(4820),(d dup(845) loss(1365),y dup(983) loss(2005)) dup(194) loss(4209)) dup(76) loss(1553)) dup(2007) loss(164)) dup(5262) loss(0)] 34445 (9843,24602) [ (c dup(154) loss(3604),(s dup(358) loss(4364),(d dup(845) loss(5128),(y dup(983) loss(4311),k dup(95) loss(3706)) dup(15) loss(1498)) dup(1596) loss(1871)) dup(931) loss(120)) dup(4866) loss(0)] 34484 (10535,23949) [ (y dup(983) loss(843),((d dup(845) loss(4531),c dup(154) loss(4456)) dup(8) loss(2977),(s dup(358) loss(3281),k dup(95) loss(3710)) dup(45) loss(3955)) dup(6121) loss(196)) dup(1926) loss(0)] 34496 (10077,24419) [ ((c dup(154) loss(3694),k dup(95) loss(3804)) dup(23) loss(2772),(s dup(358) loss(4807),(d dup(845) loss(1365),y dup(983) loss(2005)) dup(194) loss(4515)) dup(102) loss(1457)) dup(7323) loss(0)] 34589 (9397,25192) [ (k dup(95) loss(2853),(d dup(845) loss(5909),(c dup(154) loss(5196),(s dup(358) loss(3880),y dup(983) loss(4914)) dup(13) loss(1017)) dup(455) loss(1362)) dup(2505) loss(61)) dup(3989) loss(0)] 34622 (9811,24811) [ (c dup(154) loss(3604),(s dup(358) loss(4364),(y dup(983) loss(5677),(d dup(845) loss(4003),k dup(95) loss(4038)) dup(41) loss(1134)) dup(1538) loss(1871)) dup(931) loss(120)) dup(4866) loss(0)] 34768 (9300,25468) [ (k dup(95) loss(2853),(s dup(358) loss(5115),(y dup(983) loss(6427),(d dup(845) loss(4531),c dup(154) loss(4456)) dup(8) loss(1282)) dup(501) loss(743)) dup(2367) loss(61)) dup(3989) loss(0)] 34830 (10417,24413) [ (d dup(845) loss(1513),((y dup(983) loss(4581),c dup(154) loss(3866)) dup(10) loss(3429),(s dup(358) loss(3281),k dup(95) loss(3710)) dup(45) loss(3817)) dup(5051) loss(216)) dup(2876) loss(0)] 34943 (9355,25588) [ (k dup(95) loss(2853),(c dup(154) loss(5480),(d dup(845) loss(6063),(s dup(358) loss(3880),y dup(983) loss(4914)) dup(13) loss(1809)) dup(486) loss(528)) dup(2432) loss(61)) dup(3989) loss(0)] 35273 (9677,25596) [ (k dup(95) loss(2853),((d dup(845) loss(4796),s dup(358) loss(4402)) dup(15) loss(2111),(y dup(983) loss(4581),c dup(154) loss(3866)) dup(10) loss(2926)) dup(3228) loss(61)) dup(3989) loss(0)] 35278 (9954,25324) [ (s dup(358) loss(3829),(c dup(154) loss(4750),(d dup(845) loss(5128),(y dup(983) loss(4311),k dup(95) loss(3706)) dup(15) loss(1498)) dup(1596) loss(1938)) dup(646) loss(164)) dup(5262) loss(0)] 35336 (9377,25959) [ ((d dup(845) loss(4003),k dup(95) loss(4038)) dup(41) loss(1950),(s dup(358) loss(4868),(y dup(983) loss(4581),c dup(154) loss(3866)) dup(10) loss(1347)) dup(455) loss(1306)) dup(6436) loss(0)] 35381 (9675,25706) [ (k dup(95) loss(2853),((s dup(358) loss(3880),y dup(983) loss(4914)) dup(13) loss(2631),(d dup(845) loss(4531),c dup(154) loss(4456)) dup(8) loss(2380)) dup(3230) loss(61)) dup(3989) loss(0)] 35407 (9351,26056) [ (k dup(95) loss(2853),(c dup(154) loss(5480),(y dup(983) loss(6653),(d dup(845) loss(4796),s dup(358) loss(4402)) dup(15) loss(1283)) dup(480) loss(528)) dup(2432) loss(61)) dup(3989) loss(0)] 35424 (9546,25878) [ (k dup(95) loss(2853),(y dup(983) loss(6396),(s dup(358) loss(5310),(d dup(845) loss(4531),c dup(154) loss(4456)) dup(8) loss(1199)) dup(708) loss(1072)) dup(2406) loss(61)) dup(3989) loss(0)] 35455 (9922,25533) [ (s dup(358) loss(3829),(c dup(154) loss(4750),(y dup(983) loss(5677),(d dup(845) loss(4003),k dup(95) loss(4038)) dup(41) loss(1134)) dup(1538) loss(1938)) dup(646) loss(164)) dup(5262) loss(0)] 35684 (9380,26304) [ ((d dup(845) loss(4003),k dup(95) loss(4038)) dup(41) loss(1950),(c dup(154) loss(5196),(s dup(358) loss(3880),y dup(983) loss(4914)) dup(13) loss(1017)) dup(455) loss(1306)) dup(6436) loss(0)] 35697 (9562,26135) [ (k dup(95) loss(2853),(y dup(983) loss(6396),(c dup(154) loss(5605),(d dup(845) loss(4796),s dup(358) loss(4402)) dup(15) loss(950)) dup(717) loss(1072)) dup(2406) loss(61)) dup(3989) loss(0)] 35701 (10804,24897) [ (y dup(983) loss(843),((d dup(845) loss(4796),s dup(358) loss(4402)) dup(15) loss(3072),(c dup(154) loss(3694),k dup(95) loss(3804)) dup(23) loss(4090)) dup(6405) loss(196)) dup(1926) loss(0)] 36032 (10643,25389) [ (d dup(845) loss(1513),((s dup(358) loss(3880),y dup(983) loss(4914)) dup(13) loss(3413),(c dup(154) loss(3694),k dup(95) loss(3804)) dup(23) loss(3955)) dup(5296) loss(216)) dup(2876) loss(0)] 36357 (9566,26791) [ ((y dup(983) loss(4311),k dup(95) loss(3706)) dup(15) loss(2166),(s dup(358) loss(5310),(d dup(845) loss(4531),c dup(154) loss(4456)) dup(8) loss(1199)) dup(708) loss(1112)) dup(6400) loss(0)] 36630 (9582,27048) [ ((y dup(983) loss(4311),k dup(95) loss(3706)) dup(15) loss(2166),(c dup(154) loss(5605),(d dup(845) loss(4796),s dup(358) loss(4402)) dup(15) loss(950)) dup(717) loss(1112)) dup(6400) loss(0)] 36651 (10511,26140) [ (y dup(983) loss(843),(c dup(154) loss(6901),(d dup(845) loss(7252),(s dup(358) loss(3281),k dup(95) loss(3710)) dup(45) loss(3725)) dup(366) loss(232)) dup(5739) loss(196)) dup(1926) loss(0)] 36763 (10423,26340) [ (y dup(983) loss(843),(c dup(154) loss(6901),(s dup(358) loss(6818),(d dup(845) loss(4003),k dup(95) loss(4038)) dup(41) loss(3309)) dup(282) loss(232)) dup(5739) loss(196)) dup(1926) loss(0)] 37219 (10057,27162) [ ((s dup(358) loss(3281),k dup(95) loss(3710)) dup(45) loss(2656),(d dup(845) loss(5783),(y dup(983) loss(4581),c dup(154) loss(3866)) dup(10) loss(1868)) dup(495) loss(1417)) dup(7072) loss(0)] 37750 (10617,27133) [ (y dup(983) loss(843),(s dup(358) loss(7043),(c dup(154) loss(7275),(d dup(845) loss(4003),k dup(95) loss(4038)) dup(41) loss(3447)) dup(136) loss(288)) dup(6079) loss(196)) dup(1926) loss(0)] 37821 (10061,27760) [ ((s dup(358) loss(3281),k dup(95) loss(3710)) dup(45) loss(2656),(y dup(983) loss(6427),(d dup(845) loss(4531),c dup(154) loss(4456)) dup(8) loss(1282)) dup(501) loss(1417)) dup(7072) loss(0)] 37882 (10422,27460) [ (d dup(845) loss(1513),(c dup(154) loss(7143),(y dup(983) loss(7749),(s dup(358) loss(3281),k dup(95) loss(3710)) dup(45) loss(3582)) dup(115) loss(266)) dup(4951) loss(216)) dup(2876) loss(0)] 37964 (10415,27549) [ (d dup(845) loss(1513),(c dup(154) loss(7143),(s dup(358) loss(6815),(y dup(983) loss(4311),k dup(95) loss(3706)) dup(15) loss(3579)) dup(138) loss(266)) dup(4951) loss(216)) dup(2876) loss(0)] 38087 (10793,27294) [ (y dup(983) loss(843),(s dup(358) loss(7043),(d dup(845) loss(7569),(c dup(154) loss(3694),k dup(95) loss(3804)) dup(23) loss(3857)) dup(330) loss(288)) dup(6079) loss(196)) dup(1926) loss(0)] 38145 (10155,27990) [ (c dup(154) loss(3604),(k dup(95) loss(6331),(d dup(845) loss(6063),(s dup(358) loss(3880),y dup(983) loss(4914)) dup(13) loss(1809)) dup(486) loss(1269)) dup(2355) loss(120)) dup(4866) loss(0)] 38193 (10624,27569) [ (y dup(983) loss(843),(c dup(154) loss(6901),(k dup(95) loss(7482),(d dup(845) loss(4796),s dup(358) loss(4402)) dup(15) loss(2717)) dup(509) loss(232)) dup(5739) loss(196)) dup(1926) loss(0)] 38207 (10209,27998) [ (s dup(358) loss(3829),(k dup(95) loss(6354),(d dup(845) loss(5783),(y dup(983) loss(4581),c dup(154) loss(3866)) dup(10) loss(1868)) dup(495) loss(1553)) dup(2007) loss(164)) dup(5262) loss(0)] 38609 (10151,28458) [ (c dup(154) loss(3604),(k dup(95) loss(6331),(y dup(983) loss(6653),(d dup(845) loss(4796),s dup(358) loss(4402)) dup(15) loss(1283)) dup(480) loss(1269)) dup(2355) loss(120)) dup(4866) loss(0)] 38673 (10280,28393) [ ((c dup(154) loss(3694),k dup(95) loss(3804)) dup(23) loss(2772),(d dup(845) loss(6063),(s dup(358) loss(3880),y dup(983) loss(4914)) dup(13) loss(1809)) dup(486) loss(1457)) dup(7323) loss(0)] 38729 (10462,28267) [ (d dup(845) loss(1513),(c dup(154) loss(7143),(k dup(95) loss(7312),(s dup(358) loss(3880),y dup(983) loss(4914)) dup(13) loss(3023)) dup(187) loss(266)) dup(4951) loss(216)) dup(2876) loss(0)] 38739 (10609,28130) [ (d dup(845) loss(1513),(s dup(358) loss(7136),(c dup(154) loss(7209),(y dup(983) loss(4311),k dup(95) loss(3706)) dup(15) loss(3654)) dup(86) loss(385)) dup(5197) loss(216)) dup(2876) loss(0)] 38809 (10213,28596) [ (s dup(358) loss(3829),(k dup(95) loss(6354),(y dup(983) loss(6427),(d dup(845) loss(4531),c dup(154) loss(4456)) dup(8) loss(1282)) dup(501) loss(1553)) dup(2007) loss(164)) dup(5262) loss(0)] 38901 (10800,28101) [ (y dup(983) loss(843),(s dup(358) loss(7043),(k dup(95) loss(7642),(d dup(845) loss(4531),c dup(154) loss(4456)) dup(8) loss(3102)) dup(352) loss(288)) dup(6079) loss(196)) dup(1926) loss(0)] 38917 (10641,28276) [ (d dup(845) loss(1513),(s dup(358) loss(7136),(y dup(983) loss(7940),(c dup(154) loss(3694),k dup(95) loss(3804)) dup(23) loss(3588)) dup(110) loss(385)) dup(5197) loss(216)) dup(2876) loss(0)] 39137 (10276,28861) [ ((c dup(154) loss(3694),k dup(95) loss(3804)) dup(23) loss(2772),(y dup(983) loss(6653),(d dup(845) loss(4796),s dup(358) loss(4402)) dup(15) loss(1283)) dup(480) loss(1457)) dup(7323) loss(0)] 39168 (10657,28511) [ (d dup(845) loss(1513),(s dup(358) loss(7136),(k dup(95) loss(7382),(y dup(983) loss(4581),c dup(154) loss(3866)) dup(10) loss(3432)) dup(139) loss(385)) dup(5197) loss(216)) dup(2876) loss(0)] 40084 (11176,28908) [ (c dup(154) loss(3604),((s dup(358) loss(3880),y dup(983) loss(4914)) dup(13) loss(3999),(d dup(845) loss(4003),k dup(95) loss(4038)) dup(41) loss(4350)) dup(3821) loss(120)) dup(4866) loss(0)] 40710 (11331,29379) [ (s dup(358) loss(3829),((y dup(983) loss(4581),c dup(154) loss(3866)) dup(10) loss(4443),(d dup(845) loss(4003),k dup(95) loss(4038)) dup(41) loss(4455)) dup(3583) loss(164)) dup(5262) loss(0)] 40797 (11346,29451) [ (c dup(154) loss(3604),((d dup(845) loss(4796),s dup(358) loss(4402)) dup(15) loss(3706),(y dup(983) loss(4311),k dup(95) loss(3706)) dup(15) loss(4806)) dup(4015) loss(120)) dup(4866) loss(0)] 41546 (11504,30042) [ (s dup(358) loss(3829),((d dup(845) loss(4531),c dup(154) loss(4456)) dup(8) loss(4085),(y dup(983) loss(4311),k dup(95) loss(3706)) dup(15) loss(4960)) dup(3784) loss(164)) dup(5262) loss(0)] 42264 (11198,31066) [ (c dup(154) loss(3604),(y dup(983) loss(8379),(d dup(845) loss(7252),(s dup(358) loss(3281),k dup(95) loss(3710)) dup(45) loss(3725)) dup(366) loss(995)) dup(3486) loss(120)) dup(4866) loss(0)] 42376 (11110,31266) [ (c dup(154) loss(3604),(y dup(983) loss(8379),(s dup(358) loss(6818),(d dup(845) loss(4003),k dup(95) loss(4038)) dup(41) loss(3309)) dup(282) loss(995)) dup(3486) loss(120)) dup(4866) loss(0)] 42700 (11274,31426) [ (c dup(154) loss(3604),(d dup(845) loss(8166),(y dup(983) loss(7749),(s dup(358) loss(3281),k dup(95) loss(3710)) dup(45) loss(3582)) dup(115) loss(1214)) dup(3813) loss(120)) dup(4866) loss(0)] 42767 (11247,31520) [ ((y dup(983) loss(4581),c dup(154) loss(3866)) dup(10) loss(3967),(d dup(845) loss(7252),(s dup(358) loss(3281),k dup(95) loss(3710)) dup(45) loss(3725)) dup(366) loss(1138)) dup(8391) loss(0)] 42782 (11267,31515) [ (c dup(154) loss(3604),(d dup(845) loss(8166),(s dup(358) loss(6815),(y dup(983) loss(4311),k dup(95) loss(3706)) dup(15) loss(3579)) dup(138) loss(1214)) dup(3813) loss(120)) dup(4866) loss(0)] 42879 (11159,31720) [ ((y dup(983) loss(4581),c dup(154) loss(3866)) dup(10) loss(3967),(s dup(358) loss(6818),(d dup(845) loss(4003),k dup(95) loss(4038)) dup(41) loss(3309)) dup(282) loss(1138)) dup(8391) loss(0)] 43547 (11314,32233) [ (c dup(154) loss(3604),(d dup(845) loss(8166),(k dup(95) loss(7312),(s dup(358) loss(3880),y dup(983) loss(4914)) dup(13) loss(3023)) dup(187) loss(1214)) dup(3813) loss(120)) dup(4866) loss(0)] 43806 (11311,32495) [ (c dup(154) loss(3604),(y dup(983) loss(8379),(k dup(95) loss(7482),(d dup(845) loss(4796),s dup(358) loss(4402)) dup(15) loss(2717)) dup(509) loss(995)) dup(3486) loss(120)) dup(4866) loss(0)] 43853 (11343,32510) [ ((d dup(845) loss(4531),c dup(154) loss(4456)) dup(8) loss(3824),(y dup(983) loss(7749),(s dup(358) loss(3281),k dup(95) loss(3710)) dup(45) loss(3582)) dup(115) loss(1377)) dup(8740) loss(0)] 43914 (11321,32593) [ (s dup(358) loss(3829),(y dup(983) loss(8813),(c dup(154) loss(7275),(d dup(845) loss(4003),k dup(95) loss(4038)) dup(41) loss(3447)) dup(136) loss(1024)) dup(3447) loss(164)) dup(5262) loss(0)] 43935 (11336,32599) [ ((d dup(845) loss(4531),c dup(154) loss(4456)) dup(8) loss(3824),(s dup(358) loss(6815),(y dup(983) loss(4311),k dup(95) loss(3706)) dup(15) loss(3579)) dup(138) loss(1377)) dup(8740) loss(0)] 44165 (11497,32668) [ (s dup(358) loss(3829),(d dup(845) loss(8470),(c dup(154) loss(7209),(y dup(983) loss(4311),k dup(95) loss(3706)) dup(15) loss(3654)) dup(86) loss(1325)) dup(3699) loss(164)) dup(5262) loss(0)] 44251 (11497,32754) [ (s dup(358) loss(3829),(y dup(983) loss(8813),(d dup(845) loss(7569),(c dup(154) loss(3694),k dup(95) loss(3804)) dup(23) loss(3857)) dup(330) loss(1024)) dup(3447) loss(164)) dup(5262) loss(0)] 44309 (11360,32949) [ ((y dup(983) loss(4581),c dup(154) loss(3866)) dup(10) loss(3967),(k dup(95) loss(7482),(d dup(845) loss(4796),s dup(358) loss(4402)) dup(15) loss(2717)) dup(509) loss(1138)) dup(8391) loss(0)] 44343 (11399,32944) [ ((s dup(358) loss(3880),y dup(983) loss(4914)) dup(13) loss(4141),(c dup(154) loss(7275),(d dup(845) loss(4003),k dup(95) loss(4038)) dup(41) loss(3447)) dup(136) loss(1246)) dup(8774) loss(0)] 44343 (11529,32814) [ (s dup(358) loss(3829),(d dup(845) loss(8470),(y dup(983) loss(7940),(c dup(154) loss(3694),k dup(95) loss(3804)) dup(23) loss(3588)) dup(110) loss(1325)) dup(3699) loss(164)) dup(5262) loss(0)] 44594 (11545,33049) [ (s dup(358) loss(3829),(d dup(845) loss(8470),(k dup(95) loss(7382),(y dup(983) loss(4581),c dup(154) loss(3866)) dup(10) loss(3432)) dup(139) loss(1325)) dup(3699) loss(164)) dup(5262) loss(0)] 44680 (11575,33105) [ ((s dup(358) loss(3880),y dup(983) loss(4914)) dup(13) loss(4141),(d dup(845) loss(7569),(c dup(154) loss(3694),k dup(95) loss(3804)) dup(23) loss(3857)) dup(330) loss(1246)) dup(8774) loss(0)] 44700 (11383,33317) [ ((d dup(845) loss(4531),c dup(154) loss(4456)) dup(8) loss(3824),(k dup(95) loss(7312),(s dup(358) loss(3880),y dup(983) loss(4914)) dup(13) loss(3023)) dup(187) loss(1377)) dup(8740) loss(0)] 45065 (11504,33561) [ (s dup(358) loss(3829),(y dup(983) loss(8813),(k dup(95) loss(7642),(d dup(845) loss(4531),c dup(154) loss(4456)) dup(8) loss(3102)) dup(352) loss(1024)) dup(3447) loss(164)) dup(5262) loss(0)] 45067 (11574,33493) [ ((d dup(845) loss(4796),s dup(358) loss(4402)) dup(15) loss(3915),(c dup(154) loss(7209),(y dup(983) loss(4311),k dup(95) loss(3706)) dup(15) loss(3654)) dup(86) loss(1500)) dup(9023) loss(0)] 45245 (11606,33639) [ ((d dup(845) loss(4796),s dup(358) loss(4402)) dup(15) loss(3915),(y dup(983) loss(7940),(c dup(154) loss(3694),k dup(95) loss(3804)) dup(23) loss(3588)) dup(110) loss(1500)) dup(9023) loss(0)] 45494 (11582,33912) [ ((s dup(358) loss(3880),y dup(983) loss(4914)) dup(13) loss(4141),(k dup(95) loss(7642),(d dup(845) loss(4531),c dup(154) loss(4456)) dup(8) loss(3102)) dup(352) loss(1246)) dup(8774) loss(0)] 45496 (11622,33874) [ ((d dup(845) loss(4796),s dup(358) loss(4402)) dup(15) loss(3915),(k dup(95) loss(7382),(y dup(983) loss(4581),c dup(154) loss(3866)) dup(10) loss(3432)) dup(139) loss(1500)) dup(9023) loss(0)]