@charset "UTF-8";@keyframes pop{0%{transform:scale(.7)}to{transform:scale(1)}}html,body{overflow:auto;height:100%;margin:0;padding:0}#root{height:100%;overflow:auto}.logicpenguin .derivationcomment .derivationstatus{font-weight:600;margin-bottom:.5ex}.logicpenguin .derivationcomment .derivationstatus.success{color:var(--lpgreen)}.logicpenguin .derivationcomment .derivationstatus.error{color:var(--lpred)}body[data-theme=dark] .logicpenguin{--lpblack: rgba(255, 255, 255, .92);--lpwhite: #0f1116;--lpgray1: #c7c9d1;--lpgray2: #a6abba;--lpgray3: #8a909b;--lpgray4: #6c7380;--lpgray5: #474c59;--lpgray6: #2e3340;--lpred: #ff8a8a;--lpgreen: #7cd992;--lpyellow: #f0c27a;--lpblue: #9db0ff;--lpmagenta: #d18cff;--lpcyan: #74d4e6;--lpbggreen: rgba(124, 217, 146, .16);--lpbgred: rgba(255, 138, 138, .16);--lpbgyellow: rgba(240, 194, 122, .18);--lpbgblue: rgba(157, 176, 255, .15);--lpbgmagenta: rgba(209, 140, 255, .16);--lpbgcyan: rgba(116, 212, 230, .16);--lpbgwhite: #1f222b}body[data-theme=dark] .logicpenguin .lp-problem-card,body[data-theme=dark] .logicpenguin .derivationcore,body[data-theme=dark] .logicpenguin .tt-table{background-color:#1f222b!important;border-color:#343a46!important}body[data-theme=dark] .logicpenguin .tt-head{background:#272b36}body[data-theme=dark] .logicpenguin .tt-group-row th{background:#2d3342}body[data-theme=dark] .logicpenguin .tt-token-row th{background:#232734}body[data-theme=dark] .logicpenguin .tt-row:nth-child(2n){background:#1c202a}body[data-theme=dark] .logicpenguin .tt-row-ok{background:#203226}body[data-theme=dark] .logicpenguin .tt-conclusion,body[data-theme=dark] .logicpenguin .tt-conclusion-cell{background:#242a38}body[data-theme=dark] .logicpenguin .derivationline input.justification,body[data-theme=dark] .logicpenguin .derivationline input.formulainput{color:var(--lpblack);--border-before-color: rgba(255, 255, 255, .2);--border-after-color: rgba(157, 176, 255, .6);--input-hovered-color: rgba(255, 255, 255, .06)}body[data-theme=dark] .logicpenguin .derivationcomment{color:var(--lpblack)}@keyframes spin{0%{transform:rotate(0)}to{transform:rotate(360deg)}}:where(.logicpenguin) .spinning{animation:spin 3s infinite linear;animation-direction:reverse}@keyframes fade{0%{color:transparent}to{color:inherit}}@keyframes flip{0%{transform:rotateX(0)}to{transform:rotateX(180deg)}}:root{--lpblack: rgba(0, 0, 0, .9);--lpbgblack: #282c34;--lpred: #e45649;--lpbgred: #f6d3d6;--lpgreen: #76b947;--lpbggreen: #e0edd7;--lpyellow: #c18401;--lpbgyellow: #ecdab3;--lpblue: #beafc2;--lpbgblue: #e8f4fd;--lpmagenta: #a626a4;--lpbgmagenta: #eed7f5;--lpcyan: #0997b3;--lpbgcyan: #cce9ed;--lpwhite: #fafafa;--lpbgwhite: #e4e5e6;--lpgray1: #464950;--lpgray4: #a0a2a5;--lpgray2: #64676d;--lpgray5: #bebfc1;--lpgray3: #828489;--lpgray6: #dcdddd}:where(.logicpenguin){all:revert-layer;font-size:20px;font-family:IBM Plex Sans,sans-serif;background-color:transparent;color:var(--lpblack)}:where(.logicpenguin),:where(.logicpenguin) *{box-sizing:border-box}:where(.logicpenguin) .lp-problem-card{background-color:#fff;border-radius:.5rem;padding:1rem;box-shadow:0 7px 12px -3px #00000014,0 3px 5px -2px #0000000a;border:1px solid rgba(0,0,0,.08);width:100%;max-width:100%;min-width:0;margin:0;box-sizing:border-box;overflow-x:auto;overflow-y:visible;overscroll-behavior-x:contain;-webkit-overflow-scrolling:touch;overflow-wrap:break-word;word-wrap:break-word}:where(.logicpenguin) .tt-table-wrap{width:auto;display:inline-block;max-width:100%;overflow-x:auto}:where(.logicpenguin) .tt-table{border-collapse:collapse;width:max-content!important;table-layout:auto;background:#fff;border:1px solid var(--lpgray6);font-size:.9rem}:where(.logicpenguin) .tt-table th,:where(.logicpenguin) .tt-table td{border:1px solid var(--lpgray6);padding:.35rem .55rem;text-align:center;vertical-align:middle}:where(.logicpenguin) .tt-head{background:var(--lpbgblue)}:where(.logicpenguin) .tt-group-row th{background:#e8f1ff;font-weight:700;font-size:.85rem}:where(.logicpenguin) .tt-token-row th{background:#f4f7ff;font-weight:600;text-transform:uppercase}:where(.logicpenguin) .tt-cell{min-width:2.2rem}:where(.logicpenguin) .tt-separator{background:#f0f0f0;font-weight:600;color:inherit}:where(.logicpenguin) .tt-separator-cell{background:#f5f5f5;font-weight:600;color:inherit;-webkit-user-select:none;user-select:none}:where(.logicpenguin) .tt-row:nth-child(2n){background:#f9fafc}:where(.logicpenguin) .tt-row-ok{background:#f3fbf1}:where(.logicpenguin) .tt-conclusion{background:#f1f4ff}:where(.logicpenguin) .tt-conclusion-cell{background:#f7f9ff}@media (max-width: 900px){:where(.logicpenguin){font-size:18px}:where(.logicpenguin) .lp-problem-card{width:100%;min-width:0;max-width:100%;padding:.85rem;box-sizing:border-box}:where(.logicpenguin) .tt-table-wrap{width:100%;display:block}:where(.logicpenguin) input.formulainput{min-width:0;width:100%;max-width:100%}}@media (max-width: 600px){:where(.logicpenguin){font-size:16px}:where(.logicpenguin) .tt-table{font-size:.8rem;width:100%!important;table-layout:fixed}:where(.logicpenguin) .tt-table th,:where(.logicpenguin) .tt-table td{padding:.25rem .35rem}:where(.logicpenguin) .tt-cell{min-width:1.6rem}:where(.logicpenguin) .tt-toggle{width:22px!important;height:22px!important;font-size:.75rem!important;letter-spacing:.08em}:where(.logicpenguin) .tt-table:has(th:nth-child(9)){width:max-content!important;table-layout:auto}:where(.logicpenguin) .tt-table:has(th:nth-child(9)) th,:where(.logicpenguin) .tt-table:has(th:nth-child(9)) td{padding:.35rem .55rem}:where(.logicpenguin) .tt-table:has(th:nth-child(9)) .tt-cell{min-width:2.2rem}:where(.logicpenguin) .tt-table:has(th:nth-child(9)) .tt-toggle{width:28px!important;height:28px!important;font-size:.85rem!important;letter-spacing:.12em}}:where(.logicpenguin) #savenotice{margin-top:4ex;font-size:90%;color:var(--lpgray1)}:where(.logicpenguin).symbolinsertwidget{background-color:transparent;z-index:10}:where(.logicpenguin) a,:where(.logicpenguin) a:link,:where(.logicpenguin) a:visited{color:var(--lpblue)}:where(.logicpenguin) a:hover,:where(.logicpenguin) a:link:hover,:where(.logicpenguin) a:visited:hover{color:var(--lpcyan)}:where(.logicpenguin) a.fakebutton{text-decoration:underline;cursor:pointer}:where(.logicpenguin) a.fakebutton:hover{color:var(--lpcyan)}:where(.logicpenguin) button{font-family:IBM Plex Sans,sans-serif}:where(.logicpenguin) .math,:where(.logicpenguin) .symbolic{font-family:IBM Plex Sans,sans-serif}:where(.logicpenguin) span.material-symbols-outlined{cursor:default;-webkit-user-select:none;user-select:none}:where(.logicpenguin) .hidden{display:none!important}:where(.logicpenguin) .invisible{visibility:hidden!important;cursor:none!important}a#lplogo,a#lplogo:link,a#lplogo:visited,a#lplogo:active{float:right;display:inline-block;margin-right:1em;margin-left:1em;text-decoration:none;color:var(--lpmagenta);cursor:pointer;font-size:130%;font-weight:200;vertical-align:middle}a#lplogo img{width:100px}a#lplogo span{display:none;position:relative;right:-100px;bottom:10px}a#lplogo:hover span{display:inline}:where(.logicpenguin) h1{font-weight:900;font-size:200%;color:var(--lpmagenta);text-shadow:4px 4px 15px var(--lpgray5);text-decoration:underline;text-decoration-color:var(--lpgray4);text-decoration-thickness:1px}:where(.logicpenguin) h2{font-style:italic;font-weight:200;font-size:180%;color:var(--lpyellow)}:where(.logicpenguin) h3{color:var(--lpblue);margin-bottom:1ex;font-weight:500}:where(.logicpenguin) .lecturelink{margin-top:2ex;margin-bottom:2ex}:where(.logicpenguin) .instructions:before{content:"Instructions: ";font-style:italic;color:var(--lpgray2)}:where(.logicpenguin) .problem{display:block}:where(.logicpenguin) .problemlist li{margin-bottom:4ex}:where(.logicpenguin).sampleproblem ol,:where(.logicpenguin) .sampleproblem ol{list-style-type:none;margin-left:0;padding-left:0}:where(.logicpenguin) .problemstatusindicator{text-align:center;margin-top:.7ex;border:2px solid var(--lpgray4);background-color:var(--lpgray6);border-radius:5ex;padding-left:.5em;padding-right:.5em;padding-bottom:.65ex;padding-top:.4ex;font-size:75%;min-height:3ex;color:var(--lpgray2);text-transform:uppercase;transition:background-color 1s}:where(.logicpenguin) .problemstatusindicator span.material-symbols-outlined{font-size:180%}:where(.logicpenguin) .saved.unknown .problemstatusindicator,:where(.logicpenguin) .unknown .problemstatusindicator,:where(.logicpenguin) .saved .problemstatusindicator{background-color:transparent}:where(.logicpenguin) .saved.correct .problemstatusindicator,:where(.logicpenguin) .correct .problemstatusindicator{background-color:var(--lpbggreen)}:where(.logicpenguin) .saved.incorrect .problemstatusindicator,:where(.logicpenguin) .incorrect .problemstatusindicator{background-color:var(--lpbgred)}:where(.logicpenguin) .malfunction .problemstatusindicator{background-color:var(--lpred);color:var(--lpwhite)}:where(.logicpenguin) .indeterminate .problemstatusindicator,:where(.logicpenguin) .saved.indeterminate .problemstatusindicator{background-color:var(--lpbgmagenta)}:where(.logicpenguin) .saveerror .problemstatusindicator{background-color:var(--lpred);color:var(--lpwhite)}:where(.logicpenguin) .problempointsindicator{padding-left:.5em;padding-right:.5em;position:relative;top:.63ex}:where(.logicpenguin) .problemindicatormessage{text-transform:none;position:relative;top:.63ex}:where(.logicpenguin) .problemsuccessindicator{color:var(--lpgray3);display:inline-block;float:left;margin-left:.5em;margin-right:.5em}:where(.logicpenguin) .problemsuccessindicator span{color:var(--lpgray6)}:where(.logicpenguin) .problemsuccessindicator:after{content:"unanswered";position:relative;bottom:1.05ex;left:.5em}:where(.logicpenguin) .checking .problemsuccessindicator span{color:var(--lpblue);animation:flip 1s infinite linear;animation-direction:alternate}:where(.logicpenguin) .checking .problemsuccessindicator:after{content:"checking"}:where(.logicpenguin) .unknown .problemsuccessindicator:after{content:"score tbd"}:where(.logicpenguin) .unknown .problemsuccessindicator span{color:var(--lpgray4)}:where(.logicpenguin) .correct .problemsuccessindicator span{color:#beafc2}:where(.logicpenguin) .correct .problemsuccessindicator:after{content:"correct"}:where(.logicpenguin) .edited .problemsuccessindicator span{color:var(--lpwhite)}:where(.logicpenguin) .edited .problemsuccessindicator:after{content:"edited"}:where(.logicpenguin) .edited.saveerror .problemsuccessindicator:after{color:var(--lpwhite)}:where(.logicpenguin) .incorrect .problemsuccessindicator span{color:var(--lpred)}:where(.logicpenguin) .incorrect .problemsuccessindicator:after{content:"incorrect"}:where(.logicpenguin) .indeterminate .problemsuccessindicator span{color:var(--lpmagenta)}:where(.logicpenguin) .indeterminate .problemsuccessindicator:after{content:"computer could not determine";color:var(--lpmagenta)}:where(.logicpenguin) .malfunction .problemsuccessindicator span{color:var(--lpbgyellow);background-color:var(--lpred)}:where(.logicpenguin) .malfunction .problemsuccessindicator:after{content:"malfunction";color:var(--lpbgyellow)}:where(.logicpenguin) .problemsavedindicator{color:var(--lpgray2);display:inline-block;float:right;margin-left:.5em;margin-right:.5em}:where(.logicpenguin) .problemsavedindicator span{color:var(--lpgray6)}:where(.logicpenguin) .problemsavedindicator:before{content:"unsaved";position:relative;bottom:1.05ex;right:.5em}:where(.logicpenguin) .malfunction .problemsavedindicator span{color:var(--lpbgyellow);background-color:var(--lpred)}:where(.logicpenguin) .malfunction .problemsavedindicator:before{color:var(--lpbgyellow);content:"malfunction"}:where(.logicpenguin) .saved .problemsavedindicator span{color:var(--lpgray2)}:where(.logicpenguin) .saved .problemsavedindicator:before{content:"saved"}:where(.logicpenguin) .saveerror .problemsavedindicator span{color:var(--lpbgred)}:where(.logicpenguin) .saveerror .problemsavedindicator:before{content:"error saving";color:var(--lpbgred)}:where(.logicpenguin) .saving .problemsavedindicator span{color:var(--lpblue);animation:spin 1s infinite linear}:where(.logicpenguin) .saving .problemsavedindicator:before{content:"saving"}:where(.logicpenguin) .unsavable .problemsavedindicator span{color:var(--lpgray3)}:where(.logicpenguin) .unsavable .problemsavedindicator:before{content:""}:where(.logicpenguin) input[type=checkbox],:where(.logicpenguin) input[type=radio]{width:1.5rem;height:1.5rem;accent-color:var(--lpblue);cursor:pointer}:where(.logicpenguin) input[type=radio]{position:relative;top:.25ex;margin-right:.8rem}:where(.logicpenguin) input[type=radio]+label{cursor:pointer}:where(.logicpenguin) .infobox table{border-collapse:collapse;border-style:solid;border-width:2px}:where(.logicpenguin) .infobox table.info{border-color:var(--lpcyan)}:where(.logicpenguin) .infobox table.warning{border-color:var(--lpyellow)}:where(.logicpenguin) .infobox table.error{border-color:var(--lpred)}:where(.logicpenguin) .infobox table td:first-child{padding-left:.5em;padding-right:.5em;vertical-align:middle}:where(.logicpenguin) .infobox table td:first-child span.material-symbols-outlined{font-size:180%}:where(.logicpenguin) .infobox table.info td:first-child{color:var(--lpblue);background-color:var(--lpbgcyan)}:where(.logicpenguin) .infobox table.warning td:first-child{color:var(--lpred);background-color:transparent}:where(.logicpenguin) .infobox table.error td:first-child{color:#fff;background-color:var(--lpred)}:where(.logicpenguin) .infobox table.error td:first-child span.material-symbols-outlined{animation:fade .8s infinite ease-out;animation-direction:alternate;animation-delay:1s}:where(.logicpenguin) .infobox table td:first-child{padding-top:.5ex}:where(.logicpenguin) .infobox table td:last-child{padding-left:.5em;padding-right:.5em;padding-top:1ex;padding-bottom:.5ex;color:var(--lpgray2)}:where(.logicpenguin) .buttondiv{display:flex;flex-direction:row;gap:12px;align-items:center;margin-top:16px;padding:0;overflow:visible}:where(.logicpenguin) button,:where(.logicpenguin) .buttondiv button{font-family:Roboto,Helvetica,Arial,sans-serif;font-weight:500;font-size:.875rem;line-height:1.75;letter-spacing:.02857em;text-transform:uppercase;min-width:64px;padding:6px 16px;border-radius:4px;border:none;cursor:pointer;display:inline-flex;align-items:center;justify-content:center;vertical-align:middle;position:relative;box-sizing:border-box;outline:0;-webkit-user-select:none;user-select:none;-webkit-tap-highlight-color:transparent;transition:background-color .25s cubic-bezier(.4,0,.2,1) 0ms,box-shadow .25s cubic-bezier(.4,0,.2,1) 0ms,border-color .25s cubic-bezier(.4,0,.2,1) 0ms,color .25s cubic-bezier(.4,0,.2,1) 0ms;color:#fff;background-color:#536dfe;box-shadow:0 3px 1px -2px #0003,0 2px 2px #00000024,0 1px 5px #0000001f;opacity:1}:where(.logicpenguin) .buttondiv button{padding:6px 16px;font-size:.875rem;text-transform:uppercase;letter-spacing:.02857em;font-weight:500}:where(.logicpenguin) .buttondiv button:first-of-type{color:#536dfe;background-color:transparent;border:1px solid rgba(83,109,254,.5);box-shadow:none}:where(.logicpenguin) .symbolicargumentinput td button{padding:.1em .3em;margin-right:.5em}:where(.logicpenguin) button:hover,:where(.logicpenguin) .buttondiv button:hover{background-color:#3d5afe;box-shadow:0 2px 4px -1px #0003,0 4px 5px #00000024,0 1px 10px #0000001f;opacity:1}:where(.logicpenguin) .buttondiv button:first-of-type:hover{background-color:#536dfe0a;border-color:#536dfe;box-shadow:none}:where(.logicpenguin) button:focus,:where(.logicpenguin) button:active,:where(.logicpenguin) .buttondiv button:focus,:where(.logicpenguin) .buttondiv button:active{box-shadow:0 5px 5px -3px #0003,0 8px 10px 1px #00000024,0 3px 14px 2px #0000001f;opacity:1}:where(.logicpenguin) .buttondiv button:first-of-type:active{box-shadow:none}:where(.logicpenguin) button:disabled,:where(.logicpenguin) button:disabled:hover,:where(.logicpenguin) button[disabled]:hover,:where(.logicpenguin) .buttondiv button:disabled,:where(.logicpenguin) .buttondiv button:disabled:hover,:where(.logicpenguin) .buttondiv button[disabled]:hover{color:#00000042;background-color:#0000001f;box-shadow:none;cursor:default;opacity:1}:where(.logicpenguin) button svg,:where(.logicpenguin) .buttondiv button svg{width:1.25rem;height:1.25rem}:where(.logicpenguin) input{background-color:var(--lpwhite);color:var(--lpblack)}:where(.logicpenguin) input.formulainput{font-size:inherit;padding:4px;min-width:22em;width:auto;max-width:none;border:2px solid var(--lpgray4);outline:1px solid transparent}:where(.logicpenguin) input.formulainput:focus{border:2px solid var(--lpblue);outline:1px solid var(--lpblue);background-color:var(--lpbgblue)}:where(.logicpenguin).symbolinsertwidget{display:none!important}.symbolinsertwidget table{border-spacing:4px;border-collapse:separate}.symbolinsertwidget td{width:1.4em;height:1.4em;text-align:center;vertical-align:middle;border-radius:6px;cursor:pointer;background-color:var(--lpgray1);color:var(--lpbgwhite)}.symbolinsertwidget td:hover{background-color:var(--lpblack);color:var(--lpbgmagenta)}:where(.logicpenguin) .lpprogressbar table{border-spacing:0;border-collapse:collapse;width:100%;border:2px ridge var(--lpgray3)}:where(.logicpenguin) .lpprogressbar table td{height:3ex;color:var(--lpbgwhite);text-align:center;vertical-align:middle}:where(.logicpenguin) .lpprogressbar table .pbcorrectcell{background-color:var(--lpgreen)}:where(.logicpenguin) .lpprogressbar table .pbincorrectcell{background-color:var(--lpred)}:where(.logicpenguin) .lpprogressbar table .pbsavedcell{background-color:var(--lpyellow)}:where(.logicpenguin) .lpprogressbar table .pbunansweredcell{background-color:var(--lpgray6)}.action_has{--color: 0 0% 60%;--color-has: 220deg 100% 59%;--sz: 1rem;cursor:pointer;display:flex;align-items:center;justify-content:center;height:calc(var(--sz) * 2.5);width:calc(var(--sz) * 2.5);padding:.4rem .5rem;border-radius:.375rem;border:none;background:transparent;transition:all .3s ease}.has_saved:hover{border-color:transparent}.has_liked:hover svg,.has_saved:hover svg{color:hsl(var(--color-has))}.has_liked svg,.has_saved svg{overflow:visible;height:calc(var(--sz) * 1.75);width:calc(var(--sz) * 1.75);--ease: cubic-bezier(.5, 0, .25, 1);--zoom-from: 1.75;--zoom-via: .75;--zoom-to: 1;--duration: 1s}.has_saved:hover path[data-path=box]{transition:all .3s var(--ease);animation:has-saved var(--duration) var(--ease) forwards;fill:hsl(var(--color-has) / .35)}.has_saved:hover path[data-path=line-top]{animation:has-saved-line-top var(--duration) var(--ease) forwards}.has_saved:hover path[data-path=line-bottom]{animation:has-saved-line-bottom var(--duration) var(--ease) forwards,has-saved-line-bottom-2 calc(var(--duration) * 1) var(--ease) calc(var(--duration) * .75)}@keyframes has-saved-line-top{33.333%{transform:rotate(0) translate(1px,2px) scale(var(--zoom-from));d:path("M 3 5 L 3 8 L 3 8")}66.666%{transform:rotate(20deg) translate(2px,-2px) scale(var(--zoom-via))}99.999%{transform:rotate(0) translate(0) scale(var(--zoom-to))}}@keyframes has-saved-line-bottom{33.333%{transform:rotate(0) translate(1px,2px) scale(var(--zoom-from));d:path("M 17 20 L 17 13 L 7 13 L 7 20")}66.666%{transform:rotate(20deg) translate(2px,-2px) scale(var(--zoom-via))}99.999%{transform:rotate(0) translate(0) scale(var(--zoom-to));d:path("M 17 21 L 17 21 L 7 21 L 7 21")}}@keyframes has-saved-line-bottom-2{0%{d:path("M 17 21 L 17 21 L 7 21 L 7 21")}to{transform:rotate(0) translate(0) scale(var(--zoom-to));d:path("M 17 20 L 17 13 L 7 13 L 7 20");fill:#fff}}@keyframes has-saved{33.333%{transform:rotate(0) translate(1px,2px) scale(var(--zoom-from))}66.666%{transform:rotate(20deg) translate(2px,-2px) scale(var(--zoom-via))}99.999%{transform:rotate(0) translate(0) scale(var(--zoom-to))}}.logicpenguin .derivationline input.justification,.logicpenguin .derivationline input.formulainput{--border-height: 1px;--border-before-color: rgba(221, 221, 221, .39);--border-after-color: var(--lpgray4);--input-hovered-color: rgba(240, 240, 240, .5);position:relative;color:var(--lpblack);font-size:inherit;width:100%;box-sizing:border-box;padding-inline:.5em;padding-block:.5em;border:none;border-bottom:var(--border-height) solid var(--border-before-color);outline:none;font-family:IBM Plex Sans,sans-serif;transition:background-size .3s ease,background-color .3s ease;background-color:transparent;background-image:linear-gradient(var(--border-after-color),var(--border-after-color));background-size:0% 2px;background-repeat:no-repeat;background-position:bottom left;height:2.5em;line-height:2.5em}.logicpenguin .derivationline input.justification:focus,.logicpenguin .derivationline input.formulainput:focus{outline:none;background-size:100% 2px}.logicpenguin .derivationline input.justification{width:4.5em;min-width:4.5em;flex-shrink:0;font-size:inherit;padding:.5em;height:2.5em;line-height:2.5em;max-width:none}.logicpenguin .derivationline.lastpremise input.justification{width:auto!important;min-width:4.5em;max-width:none!important}.logicpenguin .derivationline input.justification:hover,.logicpenguin .derivationline input.formulainput:hover{background-color:var(--input-hovered-color)}.logicpenguin .derivationline input.formulainput:read-only:hover:focus,.logicpenguin .derivationline input.formulainput:read-only:focus,.logicpenguin .derivationline input.formulainput:hover:focus,.logicpenguin .derivationline input.justification:read-only:hover:focus,.logicpenguin .derivationline input.justification:read-only:focus,.logicpenguin .derivationline input.justification:hover:focus{outline:none}.logicpenguin .derivationline input.formulainput:read-only:hover,.logicpenguin .derivationline input.justification:read-only:hover{background:var(--input-hovered-color)}.logicpenguin .derivationline input.justification:read-only,.logicpenguin .derivationline input.formulainput:read-only{cursor:default}.logicpenguin sub-derivation .subderivbuttons{margin-top:1ex}.logicpenguin sub-derivation.closed>div>.innersubderiv>.subderivbuttons{display:none}.logicpenguin sub-derivation .subderivbuttons>div{margin-right:1ex;background:transparent;color:#000000e6;padding:.2ex;border-radius:50px;cursor:pointer;-webkit-user-select:none;user-select:none;margin-bottom:.3ex;border:none;box-shadow:none;transition:all .6s ease;font-weight:700;opacity:.9}.logicpenguin sub-derivation .subderivbuttons>div.material-symbols-outlined{font-family:Material Symbols Outlined,sans-serif;font-variation-settings:"FILL" 0,"wght" 100,"GRAD" 0,"opsz" 24;font-weight:100}.logicpenguin sub-derivation .subderivbuttons>div:hover{opacity:.9;box-shadow:1.5px 1.5px 4px #bebebe4d,-1.5px -1.5px 4px #ffffff80;color:#2f6bff}.logicpenguin sub-derivation .subderivbuttons>div:focus,.logicpenguin sub-derivation .subderivbuttons>div:active{opacity:.85;box-shadow:1px 1px 3px #bebebe4d,-1px -1px 3px #ffffff80}.logicpenguin sub-derivation .subderivbuttons>div.derivchecklinestoggle:hover,.logicpenguin sub-derivation .subderivbuttons>div.derivchecklinestoggle.autocheckoff:hover{background-color:#6ba3f0}.logicpenguin sub-derivation .subderivbuttons>div.derivchecklinestoggle.autocheckon{background-color:var(--lpgreen)}.logicpenguin sub-derivation .subderivbuttons>div.derivchecklinestoggle.autocheckon:hover{color:var(--lpgray5);background-color:var(--lpbgwhite)}.logicpenguin .derivationlinenumber{position:relative;padding-right:.5em;padding-top:.7em;cursor:pointer;-webkit-user-select:none;user-select:none;text-align:right}.logicpenguin sub-derivation .derivationline .jbwrap{position:relative;display:inline-flex;align-items:center;height:2.5em;overflow-y:visible;margin-left:.5em;flex-shrink:0}.logicpenguin sub-derivation .derivlinebuttons .derivlinecheck div{border-radius:5px;padding:2px;-webkit-user-select:none;user-select:none;font-variation-settings:"FILL" 0,"wght" 100,"GRAD" 0,"opsz" 24;font-weight:100}.logicpenguin sub-derivation .derivationline .jbwrap div{display:inline-block;white-space:nowrap}.logicpenguin sub-derivation .derivationline .jbwrap div .derivlineactionbutton{position:relative;padding-left:.3ex;top:.2rem;-webkit-user-select:none;user-select:none;display:none;opacity:0;transition:opacity .2s ease}.logicpenguin sub-derivation .derivationline:hover .jbwrap div .derivlineactionbutton{display:inline-block;opacity:1}.logicpenguin sub-derivation .derivationline .derivlineactionbutton>.material-symbols-outlined{cursor:pointer;color:#000000b3;background:transparent;border:none;border-radius:4px;padding:2px;transition:all .2s ease;font-family:Material Symbols Outlined,sans-serif;font-variation-settings:"FILL" 0,"wght" 100,"GRAD" 0,"opsz" 20;font-weight:100;font-size:16px;width:18px;height:18px;display:inline-flex;align-items:center;justify-content:center}.logicpenguin sub-derivation .derivationline .derivlineactionbutton:hover>.material-symbols-outlined{color:#000000e6;background-color:#0000000d}.logicpenguin sub-derivation .derivationline .derivlineactionbutton:active>.material-symbols-outlined{background-color:#0000001a}.logicpenguin .subderivsymbolbar{display:inline-flex;gap:6px;flex-wrap:wrap;align-items:center;margin-left:-4px}.logicpenguin .subderivsymbolbar__btn{padding:2px 6px;border:none;border-radius:6px;background-color:var(--lpbgwhite);font-size:.9em;line-height:1.2;color:var(--lpgray1);cursor:pointer;-webkit-user-select:none;user-select:none}.logicpenguin .subderivsymbolbar__btn:hover{color:var(--lpblack);background-color:var(--lpgray7)}.logicpenguin sub-derivation .derivlinebuttons .derivlinecheck{font-size:125%;position:relative;top:.2rem;padding-left:.2rem}.logicpenguin sub-derivation .derivlinebuttons .derivlinecheck .baddependency{color:var(--lpyellow)}.logicpenguin sub-derivation .derivlinebuttons .derivlinecheck .checking{color:var(--lpgray3)}.logicpenguin sub-derivation .derivlinebuttons .derivlinecheck svg{width:1.2em;height:1.2em;transform-origin:center;animation:rotate4 2s linear infinite}.logicpenguin sub-derivation .derivlinebuttons .derivlinecheck svg circle{fill:none;stroke:#3189fc;stroke-width:2;stroke-dasharray:1,200;stroke-dashoffset:0;stroke-linecap:round;animation:dash4 1.5s ease-in-out infinite}@keyframes rotate4{to{transform:rotate(360deg)}}@keyframes dash4{0%{stroke-dasharray:1,200;stroke-dashoffset:0}50%{stroke-dasharray:90,200;stroke-dashoffset:-35px}to{stroke-dashoffset:-125px}}.logicpenguin sub-derivation .derivlinebuttons .derivlinecheck .good{color:#76b947}.logicpenguin sub-derivation .derivlinebuttons .derivlinecheck .incomplete{color:var(--lpgray4)}.logicpenguin sub-derivation .derivlinebuttons .derivlinecheck .multierror,.logicpenguin sub-derivation .derivlinebuttons .derivlinecheck .justificationerror,.logicpenguin sub-derivation .derivlinebuttons .derivlinecheck .ruleerror,.logicpenguin sub-derivation .derivlinebuttons .derivlinecheck .syntaxerror{background-color:transparent;color:#e45649}.logicpenguin sub-derivation .derivlinebuttons .derivlinecheck .malfunction{color:#fff;background-color:var(--lpred)}.logicpenguin sub-derivation .derivlinebuttons .derivlinecheck .turnedoff{color:var(--lpbgwhite);background-color:var(--lpgray5)}.logicpenguin sub-derivation .derivlinebuttons .derivlinecheck div.turnedoff:hover{color:var(--lpwhite);background-color:var(--lpgreen)}.logicpenguin sub-derivation .derivlinebuttons .derivlinecheck .unchecked{display:none}.logicpenguin sub-derivation .derivlinebuttons .derivlinecheck.hideunchecked .unchecked{display:none}.logicpenguin.rulepanel{display:inline-block;position:fixed;right:5px;bottom:5px;background-color:var(--lpgray1);color:var(--lpbgwhite);padding:1ex;border-radius:10px}.logicpenguin.rulepanel .derivchartlabel{text-align:center;width:100%;cursor:pointer}.logicpenguin.rulepanel .derivhidewidget{float:right;margin-right:2px;margin-left:1.5em;margin-bottom:-30px;font-size:150%;display:inline-block;top:-5px}.logicpenguin.rulepanel .derivchartlabel:hover{color:var(--lpbgmagenta)}.logicpenguin.rulepanel table.ruleclicktable{border-spacing:0;border-collapse:collapse;display:inline-table}.logicpenguin.rulepanel.minimized table.ruleclicktable{display:none}.logicpenguin.rulepanel .ruleclicktable>thead{cursor:pointer}.logicpenguin.rulepanel .ruleclicktable>thead>tr>th{padding-bottom:2ex;font-weight:400}.logicpenguin.rulepanel .ruleclicktable>thead>tr>th:first-child{font-weight:700}.logicpenguin.rulepanel table.ruleclicktable>tbody>tr>td{text-align:center;vertical-align:middle;padding:10px 5px;border:none;cursor:pointer;background-color:#2f6bff;color:#fff;border-radius:.5rem;box-shadow:0 1px 2px #45454666;transition:all .6s ease;font-weight:700;font-family:IBM Plex Sans,sans-serif}.logicpenguin.rulepanel table.ruleclicktable>tbody>tr>td:hover{opacity:.9;box-shadow:0 2px 4px #8155ba40}.logicpenguin.rulepanel table.ruleclicktable>tbody>tr>td:focus,.logicpenguin.rulepanel table.ruleclicktable>tbody>tr>td:active{opacity:.85;box-shadow:0 1px 1px #8155ba26}.logicpenguin.rulepanel table.ruleclicktable>tbody>tr>td.blank{cursor:default;background-color:transparent;color:inherit}.logicpenguin.rulepanel table.ruleclicktable>tbody>tr>td.blank:hover{background-color:transparent}.logicpenguin.rulepanel table.ruleclicktable>tbody>tr>td.meinongian:hover{background-color:var(--lpgray1);color:var(--lpgray4)}.logicpenguin.rulepanel table.ruleclicktable>tbody>tr>td>div{position:relative}.logicpenguin.rulepanel table.ruleclicktable>tbody>tr>td.meinongian{color:var(--lpgray4);cursor:not-allowed}.logicpenguin.rulepanel table.ruleclicktable>tbody>tr>td.meinongian span{position:absolute;left:0;right:0;top:-5px;margin-left:auto;margin-right:auto;color:var(--lpred);font-size:170%;cursor:not-allowed}.logicpenguin.rulepanel table.ruleclicktable>tbody>tr>td.meinongian.excluded:hover span,.logicpenguin.rulepanel table.ruleclicktable>tbody>tr>td.meinongian.excluded span{color:var(--lpblack);cursor:default}.logicpenguin.rulepanel table.ruleclicktable>tbody>tr>td.meinongian:hover span{color:var(--lpred)}.logicpenguin.rulepanel table.ruleclicktable>tbody>tr>td.excluded{color:var(--lpbgblack);cursor:default}.logicpenguin.rulepanel table.ruleclicktable>tbody>tr>td.excluded:hover{color:var(--lpbgblack);background-color:var(--lpgray1)}.logicpenguin.rulepanel .ruledisplayform{display:inline-block;text-align:left;padding:1ex 1em;border-radius:15px;background-color:var(--lpgray6);color:var(--lpblack);margin-top:1ex;margin-left:1em}.logicpenguin.rulepanel table>thead:hover .ruledisplayform{background-color:var(--lpbgblue)}.logicpenguin.rulepanel .ruledisplayform:first-child{margin-left:0}.logicpenguin.rulepanel .ruledisplayargtbl tr:last-child td{border-top:none}.logicpenguin.rulepanel .ruledisplayshowline span:first-child{text-decoration:line-through;text-decoration-thickness:3px;margin-right:.5em}.logicpenguin.rulepanel .ruledisplaydrop{margin-top:6ex}.logicpenguin .ruledisplayform .ruledisplaysubderiv{border:none;padding:1ex}.logicpenguin .ruledisplayform .ruledisplaysubderiv.withblank{min-height:3ex}.logicpenguin .ruledisplayform .rulenote{font-size:80%}.logicpenguin .derivationcomment{border-radius:8px;padding:1ex;background-color:transparent;margin-bottom:2ex;margin-top:2ex}.logicpenguin .derivationcomment .errortable{border-spacing:0;border-collapse:collapse}.logicpenguin .derivationcomment .errortable td:first-child{padding-right:1em;white-space:nowrap;vertical-align:text-top}.logicpenguin .derivationcomment .errortable td:last-child span{color:var(--lpred)}.logicpenguin .derivationcomment .errortable td:last-child span.dependency{color:var(--lpyellow)}@media (max-width: 900px){.logicpenguin .derivationline{align-items:center!important}.logicpenguin .derivationline input.justification,.logicpenguin .derivationline input.formulainput{font-size:14px!important;height:2em!important;line-height:2em!important;padding:0!important;padding-inline:.4em!important;vertical-align:top!important}.logicpenguin .derivationline input.justification{width:3.5em!important;min-width:3.5em!important;max-width:3.5em!important;padding-inline:.3em!important}.logicpenguin .derivationline .jbwrap{height:2em!important;align-items:center!important;display:flex!important}.logicpenguin .derivationline .jbwrap>div{height:2em!important;display:flex!important;align-items:center!important}.logicpenguin derivation-hurley{font-size:14px!important;width:100%!important;max-width:100%!important;overflow-x:hidden!important}}.logicpenguin{counter-reset:probnum}.logicpenguin ol.derivation-hurley-list{list-style-type:none;padding-left:0;margin-right:0}.logicpenguin .derivation-hurley-list li:before{counter-increment:probnum;content:"Question #" counter(probnum)}.logicpenguin .sampleproblem .derivation-hurley-list li:before{counter-increment:probnum;content:""}.logicpenguin derivation-hurley{vertical-align:text-top;margin-top:1ex}@media (max-width: 900px){.logicpenguin derivation-hurley{width:100%!important;max-width:100%!important;overflow-x:hidden!important}.logicpenguin derivation-hurley .derivationline{width:100%!important;max-width:100%!important;align-items:center!important}.logicpenguin derivation-hurley .derivationline input.formulainput{font-size:14px!important;min-width:0!important;padding:0!important;padding-inline:.5em!important;height:2em!important;line-height:2em!important;vertical-align:top!important}.logicpenguin derivation-hurley .derivationline input.justification{font-size:14px!important;width:3.5em!important;min-width:3.5em!important;max-width:3.5em!important;padding:0!important;padding-inline:.3em!important;height:2em!important;line-height:2em!important;vertical-align:top!important}.logicpenguin derivation-hurley .derivationcore{width:100%!important;max-width:100%!important;font-size:14px!important}.logicpenguin derivation-hurley .derivationline .derivationlinenumber{font-size:14px!important}.logicpenguin derivation-hurley .innersubderiv{width:100%!important;max-width:100%!important}.logicpenguin derivation-hurley .derivationline .jbwrap{height:2em!important;align-items:center!important;display:flex!important}.logicpenguin derivation-hurley .derivationline .jbwrap>div{height:2em!important;display:flex!important;align-items:center!important}}.logicpenguin derivation-hurley .derivationline{width:max-content!important;min-width:fit-content;display:flex;align-items:center;gap:.5em;max-width:none}.logicpenguin derivation-hurley .derivationline .derivationlinenumber{order:0;flex-shrink:0;padding-top:0;padding-bottom:0;display:flex;align-items:center}.logicpenguin derivation-hurley .derivationline input.formulainput{flex:0 1 auto;min-width:15em;width:auto!important;max-width:none!important;order:1}.logicpenguin derivation-hurley .derivationline .jbwrap{order:2;flex-shrink:0;min-width:fit-content}.logicpenguin derivation-hurley .derivationline.derivationshowline .bottombar{display:none!important}.logicpenguin derivation-hurley .derivationline.derivationshowline .showlineshow{display:inline-block;color:var(--lpmagenta);cursor:pointer;padding-left:4px}.logicpenguin derivation-hurley .derivationline .showlineshow{display:inline-block;width:3.5em;color:var(--lpmagenta);cursor:pointer}.logicpenguin derivation-hurley sub-derivation.closed>div>.derivationline .showlineshow{text-decoration:line-through;text-decoration-color:var(--lpmagenata);text-decoration-thickness:3px;color:var(--lpgray3)}.logicpenguin derivation-hurley .derivationline .showlineshow:hover{background-color:var(--lpbgmagenta);text-decoration:line-through;text-decoration-color:var(--lpblack);text-decoration-thickness:3px}.logicpenguin derivation-hurley sub-derivation.closed>div>.derivationline .showlineshow:hover{background-color:var(--lpbgmagenta);color:var(--lpmagenta);text-decoration:none}.logicpenguin derivation-hurley .derivationline.derivationshowline input.formulainput{flex:0 1 auto;min-width:15em;width:auto;max-width:none}.logicpenguin derivation-hurley .derivationcore{position:relative;margin-left:0;display:block;min-width:21em;width:max-content!important;max-width:none!important;border-left:1px solid rgba(221,221,221,.39);padding-left:.2em;background-color:#fff!important;border-radius:.5rem;padding:1rem;box-shadow:0 7px 12px -3px #00000014,0 3px 5px -2px #0000000a}body[data-theme=dark] .logicpenguin derivation-hurley .derivationcore{background-color:#1f222b!important;border-color:#343a46!important}.logicpenguin derivation-hurley .derivationlinenumber{color:var(--lpblack);font-family:IBM Plex Sans,sans-serif;font-size:inherit;font-weight:inherit;line-height:inherit;display:inline-block;min-width:2.5em;text-align:right}.logicpenguin derivation-hurley .derivationlinenumber:before{content:""}.logicpenguin derivation-hurley .derivationlinenumber:after{content:""}.logicpenguin derivation-hurley .innersubderiv{border:none;margin-left:.7em;margin-right:.1em;margin-top:.5ex;margin-bottom:.5ex;padding:.5ex;width:max-content;min-width:fit-content;max-width:none}.logicpenguin derivation-hurley sub-derivation.closed>div>.innersubderiv{border:none}.logicpenguin derivation-hurley sub-derivation.premiseroot>div>.innersubderiv{border:none;margin-left:0;margin-top:0;padding:0}.logicpenguin derivation-hurley sub-derivation.mainderivation>div>.innersubderiv{border:none;margin-left:0;margin-right:.1em;margin-top:0;margin-bottom:.5ex;padding:0}.logicpenguin derivation-hurley .derivationline.premiseline .jbwrap.premisejwrap{display:none!important}.logicpenguin derivation-hurley .derivationline.lastpremise .jbwrap{display:block!important}.logicpenguin derivation-hurley .derivationline.lastpremise .jbwrap input.justification{pointer-events:none;cursor:default;-webkit-user-select:none;user-select:none}.logicpenguin sub-derivation.mainderivation div.derivationshowline{display:none!important}.logicpenguin sub-derivation.mainderivation div.derivationshowline div.derivlinebuttons.invisible{visibility:visible!important;cursor:default!important}.logicpenguin sub-derivation.mainderivation div.derivationshowline div.derivlinebuttons.invisible div.derivlineactionbutton{visibility:hidden!important}.logicpenguin sub-derivation.mainderivation div.derivationshowline div.derivlinebuttons.invisible div.derivlinecheck{visibility:visible!important;cursor:default!important}