#! /bin/bash

echo "--m=%CK_CUSTOM_TUNE_M% --n=%CK_CUSTOM_TUNE_N% --k=%CK_CUSTOM_TUNE_K%"

exit 0