let yydefred = "\000\000\000\000\000\000\000\000\005\000\000\000\012\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\000\004\000\006\000\000\000\000\000\000\000\000\000\011\000"