JOI ãã‚“ã¯æ¿ã«é‡˜ã‚’刺ã—ã¦éŠã‚“ã§ã„る.下図ã®ã‚ˆã†ã«ï¼ŒJOI ãã‚“ã¯ä¸€è¾ºN 本ã®æ£ä¸‰è§’å½¢ã®å½¢ã«é‡˜ã‚’並ã¹ã¦åˆºã—ãŸï¼Žä¸Šã‹ã‚‰a 行目(1 ≤ a ≤ N) ã«ã¯a 本ã®é‡˜ãŒä¸¦ã‚“ã§ã„る.ãã®ã†ã¡å·¦ã‹ã‚‰b 本目(1 ≤ b ≤ a) ã®é‡˜ã‚’(a, b) ã§è¡¨ã™ï¼Ž
é‡˜ã‚’é ‚ç‚¹ã¨ã™ã‚‹æ£ä¸‰è§’å½¢ãŒï¼Œã€Œå„辺ãŒå…¨ä½“ã®æ£ä¸‰è§’å½¢ã®è¾ºã®ã„ãšã‚Œã‹ã¨å¹³è¡Œã§ï¼Œå…¨ä½“ã®æ£ä¸‰è§’å½¢ã¨åŒã˜å‘ãã€ã§ã‚ã‚‹ã¨ã,ã“ã®æ£ä¸‰è§’形を「よã„æ£ä¸‰è§’å½¢ã€ã¨å‘¼ã¶ï¼Žã™ãªã‚ã¡ï¼Œã€Œã‚ˆã„æ£ä¸‰è§’å½¢ã€ã¨ã¯ï¼Œ3 本ã®é‡˜(a, b), (a + x, b), (a + x, b + x) ã‚’é ‚ç‚¹ã¨ã™ã‚‹æ£ä¸‰è§’å½¢ã®ã“ã¨ã§ã‚る(ãŸã ã—a, b, x ã¯1 ≤ a < N, 1 ≤ b ≤ a, 1 ≤ x ≤ N - a) ã‚’ã¿ãŸã™ï¼‰ï¼Ž
JOI ãã‚“ã¯ï¼Œè¼ªã‚´ãƒ を使ã£ã¦ï¼Œã€Œã‚ˆã„æ£ä¸‰è§’å½¢ã€ã®å‘¨ã‚Šã‚’囲ã†ã“ã¨ã«ã—ãŸï¼Ž
æ£ä¸‰è§’å½¢ã®ä¸€è¾ºã«ä¸¦ã‚“ã§ã„る釘ã®æœ¬æ•°N ã¨ï¼ŒJOI ãã‚“ãŒæŒã£ã¦ã„る輪ゴムã®æ•°M ã¨ï¼ŒM 本ã®è¼ªã‚´ãƒ ã«ã‚ˆã‚‹ã€Œã‚ˆã„æ£ä¸‰è§’å½¢ã€ã®å›²ã„æ–¹ãŒä¸Žãˆã‚‰ã‚ŒãŸã¨ã,1 本以上ã®è¼ªã‚´ãƒ ã§å›²ã‚ã‚ŒãŸé‡˜ã®æœ¬æ•°ã‚’求ã‚るプãƒã‚°ãƒ©ãƒ を作æˆã›ã‚ˆï¼Ž
2 ≤ N ≤ 5000 一辺ã«ä¸¦ã‚“ã§ã„る釘ã®æœ¬æ•°
1 ≤ M ≤ 500000 (= 5 × 105) 輪ゴムã®æ•°
標準入力ã‹ã‚‰ä»¥ä¸‹ã®ãƒ‡ãƒ¼ã‚¿ã‚’èªã¿è¾¼ã‚.
標準出力ã«ï¼Œ1 本以上ã®è¼ªã‚´ãƒ ã«å›²ã‚ã‚Œã¦ã„る釘ã®æœ¬æ•°ã‚’1 è¡Œã§å‡ºåŠ›ã›ã‚ˆï¼Ž
採点用データã®ã†ã¡ï¼Œé…点ã®30% 分ã«ã¤ã„ã¦ã¯ï¼ŒM ≤ 10000 を満ãŸã™ï¼Ž
5 2 2 2 1 2 1 3
12
ã“ã®ä¾‹ã¯å›³2 ã®ã‚ˆã†ãªã€Œã‚ˆã„æ£ä¸‰è§’å½¢ã€ã®å›²ã„æ–¹ã«å¯¾å¿œã—ã¦ã„る.ã“ã®ä¾‹ã«ãŠã„ã¦ï¼Œ(1, 1), (4, 4), (5, 5) 以外ã®12 本ã®é‡˜ãŒ1 本以上ã®è¼ªã‚´ãƒ ã§å›²ã‚ã‚Œã¦ã„る.
å•é¡Œæ–‡ã¨è‡ªå‹•å¯©åˆ¤ã«ä½¿ã‚れるデータã¯ã€æƒ…å ±ã‚ªãƒªãƒ³ãƒ”ãƒƒã‚¯æ—¥æœ¬å§”å“¡ä¼šãŒä½œæˆã—公開ã—ã¦ã„ã‚‹å•é¡Œæ–‡ã¨æŽ¡ç‚¹ç”¨ãƒ†ã‚¹ãƒˆãƒ‡ãƒ¼ã‚¿ã§ã™ã€‚