
$H_K=(P,P,4P)$
