次のコード（Java 17）の出力として正しいものを選べ。

 1  public class Q7 {
 2      sealed interface Shape permits Circle, Square {}
 3      record Circle(double radius) implements Shape {}
 4      record Square(double side) implements Shape {}
 5
 6      static String describe(Shape s) {
 7          if (s instanceof Circle c && c.radius() > 10) return "big circle";
 8          else if (s instanceof Circle c)  return "small circle";
 9          else if (s instanceof Square sq) return "square " + sq.side();
10          return "unknown";
11      }
12      public static void main(String[] args) {
13          System.out.println(describe(new Circle(5)));
14          System.out.println(describe(new Square(3)));
15      }
16  }