This example introduces a mode where we notice that either (or both):
- The output height is a multiple of the input height.
- The output width is a multiple of the input width. If so, and we haven’t been able to find a rule set, we try subdividing the output and finding rules for each subdivision.
