docs: private void display(ResultSet rows) {
  
      final int width1 = 38;
      final int width2 = 12;
      final int width3 = 30;
      final int width4 = 21;
  
      String format = "%-" + width1 + "s%-" + width2 + "s%-" + width3 + "s%-" + width4 + "s%n";
  
      // headings
      System.out.printf(format, "sensor_id", "date", "timestamp", "value");
  
      // separators
      drawLine(width1, width2, width3, width4);
  
      // data
      for (Row row : rows) {
  
        System.out.printf(
            format,
            row.getUuid("sensor_id"),
            row.getLocalDate("date"),
            row.getInstant("timestamp"),
            row.getDouble("value"));
      }
    }