0001133: crash at padding a sketch with 42 holes