[data-problem-id="56"] .problem-content {
  --avel-ink: #1d2b35;
  --avel-deep: #263d48;
  --avel-slate: #486673;
  --avel-green: #55734d;
  --avel-leaf: #789263;
  --avel-silver: #dce5e2;
  --avel-limestone: #e9e1cf;
  --avel-paper: #fbfaf3;
  --avel-gold: #b58b3d;
  --avel-oxblood: #86534a;
  --avel-violet: #674f7e;
  --avel-line: #b8bca9;
  color: var(--avel-ink);
}

[data-problem-id="56"] .binding-sheet {
  display: grid;
  gap: 0.16in;
}

[data-problem-id="56"] .binding-sheet + .binding-sheet {
  margin-top: 0.34in;
  padding-top: 0.2in;
  border-top: 1px solid var(--avel-line);
}

[data-problem-id="56"] .binding-sheet p,
[data-problem-id="56"] .binding-sheet dd,
[data-problem-id="56"] .binding-sheet li {
  font-size: 0.145in;
  line-height: 1.48;
}

[data-problem-id="56"] .binding-sheet p {
  margin: 0.075in 0 0;
}

[data-problem-id="56"] .binding-kicker {
  margin: 0 0 0.045in !important;
  color: var(--avel-oxblood);
  font-size: 0.125in !important;
  font-weight: 800;
  letter-spacing: 0.075em;
  text-transform: uppercase;
}

[data-problem-id="56"] .avelwythe-hero {
  position: relative;
  margin: 0;
  overflow: hidden;
  background: #dbe2d7;
  border: 1px solid #89998c;
  border-radius: 0.1in;
  box-shadow: 0 0.065in 0.18in rgb(29 43 53 / 17%);
}

[data-problem-id="56"] .avelwythe-hero img {
  display: block;
  width: 100%;
  height: 4.25in;
  object-fit: cover;
}

[data-problem-id="56"] .avelwythe-hero figcaption {
  position: absolute;
  right: 0;
  bottom: 0;
  left: 0;
  display: grid;
  gap: 0.025in;
  padding: 0.32in 0.22in 0.16in;
  color: #fffdf5;
  background: linear-gradient(transparent, rgb(20 35 42 / 88%));
  text-shadow: 0 1px 2px rgb(0 0 0 / 65%);
}

[data-problem-id="56"] .avelwythe-hero figcaption span {
  font-size: 0.125in;
  font-weight: 750;
  letter-spacing: 0.09em;
  text-transform: uppercase;
}

[data-problem-id="56"] .avelwythe-hero figcaption strong {
  color: #fffdf5;
  font-family: Georgia, serif;
  font-size: 0.215in;
  font-weight: 600;
}

[data-problem-id="56"] .field-account--opening {
  display: grid;
  grid-template-columns: minmax(0, 1.08fr) minmax(0, 0.92fr);
  column-gap: 0.32in;
  padding: 0.04in 0.12in 0;
}

[data-problem-id="56"] .field-account__column + .field-account__column {
  padding-left: 0.32in;
  border-left: 1px solid #d1cbb9;
}

[data-problem-id="56"] .field-account--opening p {
  break-inside: avoid;
  margin-top: 0.08in;
}

[data-problem-id="56"] .field-account--opening p:first-child {
  margin-top: 0;
}

[data-problem-id="56"] .field-account--opening .field-account__column:first-child p:first-child::first-letter {
  float: left;
  margin: 0.015in 0.045in 0 0;
  color: var(--avel-green);
  font-family: Georgia, serif;
  font-size: 0.42in;
  line-height: 0.78;
}

[data-problem-id="56"] .binding-continuation {
  display: flex;
  justify-content: space-between;
  gap: 0.15in;
  padding-bottom: 0.07in;
  color: var(--avel-deep);
  border-bottom: 2px solid var(--avel-gold);
  font-size: 0.125in;
  letter-spacing: 0.055em;
  text-transform: uppercase;
}

[data-problem-id="56"] .claim-exchange {
  display: grid;
  grid-template-columns: minmax(0, 1.08fr) minmax(2.55in, 0.92fr);
  gap: 0.25in;
  align-items: stretch;
}

[data-problem-id="56"] .field-account--menagerie {
  padding: 0.06in 0.04in 0.08in 0.18in;
  border-left: 0.05in solid var(--avel-gold);
}

[data-problem-id="56"] .field-account--menagerie p {
  max-width: 38em;
}

[data-problem-id="56"] .state-language {
  padding: 0.16in 0.18in;
  background:
    radial-gradient(circle at 96% 4%, rgb(103 79 126 / 11%), transparent 1.4in),
    #f3f5f0;
  border: 1px solid #b7c1b8;
  border-top: 0.05in solid var(--avel-green);
  border-radius: 0.08in;
}

[data-problem-id="56"] .state-language dl {
  display: grid;
  gap: 0;
  margin: 0.1in 0 0;
}

[data-problem-id="56"] .state-language dl div {
  padding: 0.085in 0 0.09in;
  border-top: 1px solid #cbd2cc;
}

[data-problem-id="56"] .state-language dt {
  margin-bottom: 0.025in;
  color: var(--avel-deep);
  font-size: 0.132in;
  font-weight: 800;
  letter-spacing: 0.035em;
  text-transform: uppercase;
}

[data-problem-id="56"] .state-language dd {
  margin: 0;
  font-size: 0.135in;
  line-height: 1.38;
}

[data-problem-id="56"] .counterexample {
  margin-top: 0.09in !important;
  padding: 0.1in 0.11in;
  color: #3f4c53;
  background: rgb(255 255 255 / 68%);
  border-left: 0.035in solid var(--avel-violet);
  font-size: 0.125in !important;
}

[data-problem-id="56"] .state-space-notebook {
  position: relative;
  display: grid;
  grid-template-columns: 1.55in 1fr;
  gap: 0.14in 0.2in;
  margin: 0;
  padding: 0.15in 0.18in 0.13in;
  overflow: hidden;
  background:
    linear-gradient(90deg, transparent calc(50% - 1px), rgb(134 83 74 / 20%) 50%, transparent calc(50% + 1px)),
    repeating-linear-gradient(0deg, rgb(72 102 115 / 5%) 0, rgb(72 102 115 / 5%) 1px, transparent 1px, transparent 0.24in),
    #faf6e9;
  border: 1px solid #c9bea5;
  border-radius: 0.08in;
  box-shadow: inset 0 0 0.16in rgb(73 58 38 / 7%);
}

[data-problem-id="56"] .state-space-notebook figcaption {
  align-self: center;
}

[data-problem-id="56"] .state-space-notebook figcaption strong {
  display: block;
  color: var(--avel-slate);
  font-family: Georgia, serif;
  font-size: 0.17in;
  font-weight: 600;
  line-height: 1.18;
}

[data-problem-id="56"] .notebook-comparison {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0.18in;
}

[data-problem-id="56"] .notebook-case {
  min-width: 0;
  padding-left: 0.14in;
  border-left: 0.035in solid rgb(103 79 126 / 62%);
}

[data-problem-id="56"] .notebook-case h3 {
  margin: 0;
  color: var(--avel-deep);
  font-size: 0.125in;
  font-weight: 800;
  letter-spacing: 0.035em;
  text-transform: uppercase;
}

[data-problem-id="56"] .notebook-case p {
  margin-top: 0.045in;
  color: #46545b;
  font-size: 0.125in;
  line-height: 1.32;
}

[data-problem-id="56"] .state-catalog {
  display: flex;
  gap: 0.055in;
  align-items: center;
  min-height: 0.52in;
  margin-top: 0.035in;
}

[data-problem-id="56"] .state-catalog span {
  display: grid;
  width: 0.36in;
  height: 0.34in;
  place-items: center;
  color: var(--avel-deep);
  background: rgb(255 255 255 / 78%);
  border: 1px solid #98a99f;
  border-radius: 0.04in;
}

[data-problem-id="56"] .state-catalog i {
  color: var(--avel-slate);
  font-family: Georgia, serif;
  font-size: 0.17in;
  font-style: normal;
}

[data-problem-id="56"] .continuum-sketch {
  position: relative;
  min-height: 0.52in;
  margin-top: 0.035in;
}

[data-problem-id="56"] .continuum-ring {
  position: absolute;
  top: 0.01in;
  left: 0.04in;
  width: 0.47in;
  height: 0.47in;
  border: 0.045in double var(--avel-gold);
  border-radius: 50%;
  transform: rotate(-7deg) scaleX(1.12);
}

[data-problem-id="56"] .continuum-point {
  position: absolute;
  top: 0.015in;
  left: 0.33in;
  width: 0.08in;
  height: 0.08in;
  background: var(--avel-violet);
  border: 2px solid #f7f0ff;
  border-radius: 50%;
  box-shadow: 0 0 0.08in rgb(103 79 126 / 50%);
}

[data-problem-id="56"] .continuum-arrow {
  position: absolute;
  top: 0.14in;
  left: 0.66in;
  color: var(--avel-slate);
  font-family: Georgia, serif;
  font-size: 0.125in;
  font-style: italic;
  white-space: nowrap;
}

[data-problem-id="56"] .continuum-arrow::before {
  content: "\2190";
  margin-right: 0.04in;
}

[data-problem-id="56"] .finite-state-card {
  display: grid;
  grid-template-columns: minmax(2.25in, 0.82fr) minmax(0, 1.18fr);
  gap: 0.13in 0.24in;
  align-items: center;
  padding: 0.18in 0.2in;
  background: #fffef9;
  border: 1px solid #b6b6a5;
  border-top: 0.055in solid var(--avel-violet);
  border-radius: 0.085in;
}

[data-problem-id="56"] .finite-state-question {
  display: grid;
  grid-template-columns: 0.36in 1fr;
  gap: 0.1in;
  align-items: start;
  padding: 0.13in 0.14in;
  background: #f2eef6;
  border-left: 0.045in solid var(--avel-violet);
  border-radius: 0.055in;
}

[data-problem-id="56"] .finite-state-question p {
  margin-top: 0;
}

[data-problem-id="56"] .part-number {
  display: grid;
  width: 0.31in;
  height: 0.31in;
  place-items: center;
  color: #fff;
  background: var(--avel-violet);
  border-radius: 50%;
  font-size: 0.145in;
  font-weight: 800;
}

[data-problem-id="56"] .finite-state-card > .problem-paper-note {
  grid-column: 1 / -1;
  margin: 0 !important;
  padding-top: 0.08in;
  color: #59646b;
  border-top: 1px solid #d4d2c8;
  font-size: 0.125in;
  text-align: center;
}

[data-problem-id="56"] .binding-rule-layout {
  display: grid;
  grid-template-columns: minmax(0, 1.06fr) minmax(2.65in, 0.94fr);
  gap: 0.23in;
  align-items: stretch;
  overflow: hidden;
  background: linear-gradient(145deg, #fffef8, #eee8d9);
  border: 1px solid #c2b9a2;
  border-left: 0.06in solid var(--avel-gold);
  border-radius: 0.09in;
}

[data-problem-id="56"] .binding-rule-copy {
  padding: 0.2in 0 0.2in 0.2in;
}

[data-problem-id="56"] .binding-rule-copy > mj-math {
  margin-top: 0.14in;
  padding: 0.11in 0.12in;
  background: rgb(255 255 255 / 68%);
  border: 1px solid #d2c49c;
  border-radius: 0.06in;
  font-size: 0.94em;
}

[data-problem-id="56"] .distance-note {
  color: #536168;
  font-size: 0.128in !important;
}

[data-problem-id="56"] .binding-diagram {
  display: grid;
  grid-template-rows: 1fr auto;
  margin: 0;
  overflow: hidden;
  background: #151b20;
}

[data-problem-id="56"] .binding-diagram img {
  display: block;
  width: 100%;
  height: 100%;
  min-height: 3.05in;
  object-fit: cover;
}

[data-problem-id="56"] .binding-diagram figcaption {
  padding: 0.065in 0.08in;
  color: #fff8dc;
  background: #263a4b;
  font-size: 0.125in;
  line-height: 1.3;
  text-align: center;
}

[data-problem-id="56"] .orbit-question,
[data-problem-id="56"] .final-questions {
  margin-top: 0;
}

[data-problem-id="56"] .orbit-question .problem-part,
[data-problem-id="56"] .final-questions .problem-part {
  padding: 0.14in 0.18in;
}

[data-problem-id="56"] .proof-checklist {
  display: grid;
  gap: 0.055in;
  margin: 0.08in 0 0.02in 0.2in;
  padding-left: 0.12in;
}

[data-problem-id="56"] .proof-checklist li {
  padding-left: 0.035in;
}

[data-problem-id="56"] .orbit-definition {
  margin: 0.08in 0 0 !important;
  padding: 0.08in 0.12in;
  color: #41515a;
  background: rgb(255 255 255 / 66%);
  border-left: 0.035in solid var(--avel-slate);
  font-size: 0.128in !important;
  line-height: 1.38 !important;
}

[data-problem-id="56"] .field-pause {
  margin-left: 0.8in;
  padding: 0.11in 0.16in;
  color: #526068;
  background: linear-gradient(90deg, rgb(220 229 226 / 78%), transparent);
  border-left: 0.04in solid var(--avel-silver);
  font-family: Georgia, serif;
  font-style: italic;
}

[data-problem-id="56"] .field-pause p {
  margin: 0;
  font-size: 0.132in;
}

[data-problem-id="56"] .binding-reference {
  display: grid;
  grid-template-columns: minmax(1.45in, 0.48fr) minmax(0, 1.52fr);
  gap: 0.16in;
  align-items: center;
  padding: 0.14in 0.17in;
  background: #f5f3e9;
  border: 1px solid #c5c0ad;
  border-left: 0.055in solid var(--avel-gold);
  border-radius: 0.075in;
}

[data-problem-id="56"] .binding-reference mj-math {
  padding-left: 0.15in;
  border-left: 1px solid #cdc7b6;
  font-size: 0.92em;
}

[data-problem-id="56"] .binding-reference .previous-facts {
  grid-column: 1 / -1;
  margin: 0 !important;
  padding-top: 0.08in;
  color: #4d5d64;
  border-top: 1px solid #d4cebc;
  font-size: 0.125in;
  line-height: 1.34;
  text-align: center;
}

[data-problem-id="56"] .final-questions .problem-part--keystone {
  background: linear-gradient(100deg, rgb(103 79 126 / 10%), transparent 74%);
  border-left: 0.05in solid var(--avel-violet);
}

[data-problem-id="56"] .part-eyebrow {
  margin-top: 0 !important;
  color: var(--avel-violet);
  font-size: 0.125in !important;
  font-weight: 800;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

[data-problem-id="56"] .part-eyebrow + p {
  margin-top: 0.045in;
}

[data-problem-id="56"] .proof-standard {
  display: grid;
  grid-template-columns: 1.55in 1fr;
  gap: 0.15in;
  align-items: center;
  padding: 0.13in 0.16in;
  background: #edf2f0;
  border-top: 1px solid #bcc9c4;
  border-bottom: 1px solid #bcc9c4;
}

[data-problem-id="56"] .proof-standard p {
  margin: 0;
}

[data-problem-id="56"] .proof-standard p:last-child {
  font-size: 0.132in;
}

[data-problem-id="56"] .binding-closing {
  margin: 0.015in 0 0 !important;
  color: var(--avel-slate);
  font-family: Georgia, serif;
  font-size: 0.135in !important;
  font-style: italic;
  text-align: center;
}

[data-problem-id="56"] .mist-procession {
  height: clamp(1.25in, 20vw, 1.65in);
  margin: 0;
  overflow: hidden;
  background: var(--avel-paper);
}

[data-problem-id="56"] .mist-procession img {
  display: block;
  width: 100%;
  height: 100%;
  object-fit: cover;
  mix-blend-mode: multiply;
}

[data-problem-id="56"] .mist-procession--page3 {
  height: clamp(1.4in, 22vw, 1.8in);
}

[data-problem-id="56"] .mist-procession--page3 img {
  object-position: center 52%;
}

[data-problem-id="56"] .mist-procession--page4 img {
  object-position: center 58%;
}

@media (max-width: 640px) {
  [data-problem-id="56"] .field-account--opening {
    grid-template-columns: 1fr;
  }

  [data-problem-id="56"] .field-account__column + .field-account__column {
    padding-top: 0.08in;
    padding-left: 0;
    border-top: 1px solid #d1cbb9;
    border-left: 0;
  }

  [data-problem-id="56"] .claim-exchange,
  [data-problem-id="56"] .finite-state-card,
  [data-problem-id="56"] .state-space-notebook,
  [data-problem-id="56"] .binding-rule-layout,
  [data-problem-id="56"] .binding-reference,
  [data-problem-id="56"] .proof-standard {
    grid-template-columns: 1fr;
  }

  [data-problem-id="56"] .state-space-notebook {
    background:
      repeating-linear-gradient(0deg, rgb(72 102 115 / 5%) 0, rgb(72 102 115 / 5%) 1px, transparent 1px, transparent 0.24in),
      #faf6e9;
  }

  [data-problem-id="56"] .notebook-comparison {
    grid-template-columns: 1fr;
  }

  [data-problem-id="56"] .avelwythe-hero img {
    height: auto;
    aspect-ratio: 16 / 9;
  }

  [data-problem-id="56"] .binding-continuation {
    align-items: flex-start;
    flex-direction: column;
  }

  [data-problem-id="56"] .binding-rule-copy {
    padding: 0.18in;
  }

  [data-problem-id="56"] .binding-diagram img {
    height: auto;
    min-height: 0;
    aspect-ratio: 3 / 2;
  }

  [data-problem-id="56"] .binding-reference mj-math {
    padding-top: 0.1in;
    padding-left: 0;
    border-top: 1px solid #cdc7b6;
    border-left: 0;
  }

  [data-problem-id="56"] .field-pause {
    margin-left: 0;
  }
}

@media print {
  [data-problem-id="56"] .binding-sheet--page2,
  [data-problem-id="56"] .binding-sheet--page3,
  [data-problem-id="56"] .binding-sheet--page4 {
    margin-top: 0;
    padding-top: 0;
    border-top: 0;
    break-before: page;
    page-break-before: always;
  }

  [data-problem-id="56"] .binding-sheet {
    gap: 0.13in;
  }

  [data-problem-id="56"] .binding-sheet p,
  [data-problem-id="56"] .binding-sheet dd,
  [data-problem-id="56"] .binding-sheet li {
    font-size: 0.14in;
    line-height: 1.42;
  }

  [data-problem-id="56"] .avelwythe-hero img {
    height: 3.8in;
  }

  [data-problem-id="56"] .field-account--opening {
    column-gap: 0.27in;
    padding-right: 0.08in;
    padding-left: 0.08in;
  }

  [data-problem-id="56"] .field-account__column + .field-account__column {
    padding-left: 0.27in;
  }

  [data-problem-id="56"] .claim-exchange,
  [data-problem-id="56"] .finite-state-card,
  [data-problem-id="56"] .state-space-notebook,
  [data-problem-id="56"] .binding-rule-layout,
  [data-problem-id="56"] .binding-reference,
  [data-problem-id="56"] .proof-standard {
    break-inside: avoid;
  }

  [data-problem-id="56"] .state-language,
  [data-problem-id="56"] .finite-state-card {
    padding: 0.14in 0.16in;
  }

  [data-problem-id="56"] .binding-rule-copy {
    padding: 0.16in 0 0.16in 0.16in;
  }

  [data-problem-id="56"] .binding-diagram img {
    min-height: 2.9in;
  }

  [data-problem-id="56"] .orbit-question .problem-part,
  [data-problem-id="56"] .final-questions .problem-part {
    padding: 0.12in 0.16in;
    break-inside: avoid;
  }

  [data-problem-id="56"] .mist-procession--page3 {
    height: 1.48in;
  }

  [data-problem-id="56"] .mist-procession--page4 {
    height: 1.28in;
  }

  [data-problem-id="56"] .binding-closing {
    margin-bottom: 0.25in !important;
  }
}