.res-edge[data-v-81d63c63]{fill:none;stroke:var(--fig-ink);stroke-width:.85px;stroke-linecap:round;stroke-dasharray:150}.lr-clause[data-v-81d63c63]{fill:var(--fig-t1)}.lr-clause[data-v-81d63c63],.lr-resolvent[data-v-81d63c63]{stroke:var(--fig-ink);stroke-width:1px}.lr-resolvent[data-v-81d63c63]{fill:var(--fig-t2)}.lr-empty[data-v-81d63c63]{fill:var(--fig-t3);stroke:var(--fig-accent);stroke-width:1.3px}@media (prefers-reduced-motion:no-preference){.lr-all[data-v-81d63c63]{animation:8s linear infinite lr-cycle-81d63c63}.lr-inputs[data-v-81d63c63]{animation:8s ease-out infinite both lr-inputs-81d63c63}.lr-e1[data-v-81d63c63]{animation:8s cubic-bezier(.6,0,.4,1) infinite both lr-e1-81d63c63}.lr-r1[data-v-81d63c63]{transform-box:fill-box;animation:8s cubic-bezier(.34,1.5,.64,1) infinite both lr-r1-81d63c63}.lr-e2[data-v-81d63c63]{animation:8s cubic-bezier(.6,0,.4,1) infinite both lr-e2-81d63c63}.lr-r2[data-v-81d63c63]{transform-box:fill-box;animation:8s cubic-bezier(.34,1.5,.64,1) infinite both lr-r2-81d63c63}.lr-e3[data-v-81d63c63]{animation:8s cubic-bezier(.6,0,.4,1) infinite both lr-e3-81d63c63}.lr-r3[data-v-81d63c63]{transform-box:fill-box;animation:8s cubic-bezier(.34,1.5,.64,1) infinite both lr-r3-81d63c63}}@keyframes lr-cycle-81d63c63{0%{opacity:0}4%,93%{opacity:1}99%,to{opacity:0}}@keyframes lr-inputs-81d63c63{0%,3%{opacity:0;transform:translateY(-3px)}12%,to{opacity:1;transform:translateY(0)}}@keyframes lr-e1-81d63c63{0%,18%{stroke-dashoffset:150px;opacity:0}22%{opacity:1}27%,to{stroke-dashoffset:0;opacity:1}}@keyframes lr-r1-81d63c63{0%,28%{opacity:0;transform:translateY(5px)}37%,to{opacity:1;transform:translateY(0)}}@keyframes lr-e2-81d63c63{0%,41%{stroke-dashoffset:150px;opacity:0}45%{opacity:1}50%,to{stroke-dashoffset:0;opacity:1}}@keyframes lr-r2-81d63c63{0%,51%{opacity:0;transform:translateY(5px)}60%,to{opacity:1;transform:translateY(0)}}@keyframes lr-e3-81d63c63{0%,64%{stroke-dashoffset:150px;opacity:0}68%{opacity:1}73%,to{stroke-dashoffset:0;opacity:1}}@keyframes lr-r3-81d63c63{0%,74%{opacity:0;transform:translateY(6px)}84%,to{opacity:1;transform:translateY(0)}}