 .203853 loaded 17932 pregenerated hintnums.
****************************************
doing: 2 3, using patterns: 
