{"count":135201,"next":"https://ports.macports.org/api/v1/autocomplete/variant/?format=json&page=122","previous":"https://ports.macports.org/api/v1/autocomplete/variant/?format=json&page=120","results":[{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":"z3"},{"variant":"cvc4"},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null},{"variant":null}]}