'POL
"m": ?>G:
0>M[K]~K[2K]:
K-G>J:
L1:
G>I:
L0:
K[K+I+J]+L[J+G]L[I]>K[K+I+J]:
DI: G0:
DJ: G1:
K-1>I:
L2:
L[2K-I]>L[K+G-I],
DI: G2:
K+G-1>K:
"E"