How about trying

analogWriteFrequency(16, 8000000); // 16 and 17 max 8mhz uses TPM T3.6 only
analogWrite(16, 128);

after starting the analogWrite() you could print out the various TPM1...