/*plinin produce the 'punch lines intensity' output */
void plinin(FILE * io);