#!/usr/bin/awk -f
BEGIN {
	RS="/\\*\\!\\*/;"
	ORS=";\n"
}
{
  if ($0 !~ /\nSET\ @@/ && $0 !~ /\nINSERT\ INTO/ && $0 !~ /\nUPDATE\ / && $0 !~ /\nSET\ TIMESTAMP/ && $0 !~ /\n#[0-9]{6}/ && $0 !~ /\n#\ at\ [0-9]+/) print $0
}