Problem:
Score : 500 points

Problem Statement

Given are N integers A_1,\ldots,A_N.

We will choose exactly K of these elements. Find the maximum possible product of the chosen elements.

Then, print the maximum product modulo (10^9+7), using an integer between 0 and 10^9+6 (inclusive).

Constraints

1 \leq K \leq N \leq 2\times 10^5

|A_i| \leq 10^9

Input

Input is given from Standard Input in the following format:

N K
A_1 \ldots A_N

Output

Print the maximum product modulo (10^9+7), using an integer between 0 and 10^9+6 (inclusive).

Sample Input 1

4 2
1 2 -3 -4

Sample Output 1

12

The possible products of the two chosen elements are 2, -3, -4, -6, -8, and 12, so the maximum product is 12.

Sample Input 2

4 3
-1 -2 -3 -4

Sample Output 2

1000000001

The possible products of the three chosen elements are -24, -12, -8, and -6, so the maximum product is -6.

We print this value modulo (10^9+7), that is, 1000000001.

Sample Input 3

2 1
-1 1000000000

Sample Output 3

1000000000

The possible products of the one chosen element are -1 and 1000000000, so the maximum product is 1000000000.

Sample Input 4

10 10
1000000000 100000000 10000000 1000000 100000 10000 1000 100 10 1

Sample Output 4

999983200

Be sure to print the product modulo (10^9+7).

Solution in Kotlin (1.3.71) (judge verdict: Wrong Answer)

import java.util.*
import kotlin.math.*

fun str() = readLine()!!
fun int() = str().toInt()
fun long() = str().toLong()

fun read(d:String = " ") = str().split(d)
fun <T> list(d:String = " ",f:String.()->T) = read(d).map {f(it)}
fun list() = list {toInt()}

const val mod = 1000000007L

fun main() {
	abc000X()
}

fun abc000X() {
	val (n,k) = list()
	val a = list {toLong()}
	val b = a.groupBy {
		when {
			it>0->1
			it==0L->0
			else->-1
		}
	}
	val pos = (b[1]?.sorted() ?: emptyList()).toMutableList()
	val neg = (b[-1]?.sortedDescending() ?: emptyList()).toMutableList()

	if(k-min(neg.size/2*2,k/2*2)>pos.size) {
		a.sortedBy {abs(it)}
				.take(k)
				.reduce {o,p-> ((o+mod)%mod)*((p+mod)%mod)%mod}
				.let {println(it)}

	} else {
		println(0)

		var r = if(k%2==1) pos.removeAt(pos.lastIndex) else 1L
		for(i in 1..k/2) {
			val p = if(pos.size<2) 0 else pos[pos.lastIndex]*pos[pos.lastIndex-1]
			val q = if(neg.size<2) 0 else neg[neg.lastIndex]*neg[neg.lastIndex-1]
			if(p>q) {
				r = p%mod*r%mod
				pos.removeAt(pos.lastIndex)
				pos.removeAt(pos.lastIndex)
			} else {
				r = q%mod*r%mod
				neg.removeAt(neg.lastIndex)
				neg.removeAt(neg.lastIndex)
			}
		}
		println(r)
	}
}