{"ast_node_type":"import","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
                    // Subtract 1 because we already removed the "min" row
                    self.satisfy_input(min, max);
                    self.satisfy_input(max - 1, min);