import { ExpressionRunnerShorthandConfig } from './expressionRunnerShorthandConfig' ; import * as initialExpressionContainers from './initialExpressionContainers' ; export const aaov = { runner : 'singleStep' , initialExpressionContainer : initialExpressionContainers . pisd , initialState : 'default' , finalState : 'active' , showPriorities : true } ; export const qxob = { runner : 'singleStep' , initialExpressionContainer : initialExpressionContainers . pisd , initialState : 'active' , finalState : 'showFuncUnbound' , showPriorities : true } ; export const bcgp = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pisd , initialState : 'active' , showPriorities : true } ; export const pbhg = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pisd , initialState : 'showFuncUnbound' , showPriorities : true , highlightOverrides : { b : 'highlighted' } } ; export const itvv = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pisd , initialState : 'betaReducePreviewBefore' , showPriorities : true , explanationsVisibility : 'visible' } ; export const nefh = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pisd , initialState : 'betaReducePreviewAfter' , showPriorities : true , explanationsVisibility : 'visible' } ; export const qwtn = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pisd , initialState : 'betaReducePreviewCrossed' , showPriorities : true , explanationsVisibility : 'visible' } ; export const wwtl = { runner : 'singleStep' , initialExpressionContainer : initialExpressionContainers . pisd , initialState : 'showFuncUnbound' , finalState : 'betaReducePreviewBefore' , showPriorities : true } ; export const vdhd = { runner : 'runButtonOnly' , skipToTheEnd : false , initialExpressionContainer : initialExpressionContainers . pisd , initialState : 'showFuncUnbound' , showPriorities : true , speed : 1.25 } ; export const ltpe = { runner : 'singleStep' , initialExpressionContainer : initialExpressionContainers . pisd , initialState : 'betaReducePreviewBefore' , finalState : 'betaReducePreviewAfter' , showPriorities : true } ; export const apuz = { runner : 'singleStep' , initialExpressionContainer : initialExpressionContainers . pisd , initialState : 'betaReducePreviewAfter' , finalState : 'betaReducePreviewCrossed' , showPriorities : true } ; export const aezk = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . lqti , initialState : 'active' , showPriorities : true } ; export const qwzy = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . prxd } ; export const igrl = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . lqti , initialState : 'showCallArg' , showAllShowSteps : true , showPriorities : true , explanationsVisibility : 'visible' } ; export const uppk = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . lqti , initialState : 'showFuncArg' , showAllShowSteps : true , showPriorities : true , explanationsVisibility : 'visible' } ; export const qfbk = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . lqti , initialState : 'showFuncBound' , showAllShowSteps : true , showPriorities : true , explanationsVisibility : 'visible' } ; export const zynf = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . lqti , initialState : 'showFuncBound' , showAllShowSteps : true , showPriorities : true , highlightOverrides : { c : 'active' } , highlightOverrideActiveAfterStart : true } ; export const yfwd = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . lqti , initialState : 'showFuncUnbound' , showAllShowSteps : true , showPriorities : true , explanationsVisibility : 'visible' } ; export const wcer = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . oyph , showPriorities : true } ; export const dhzf = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . drvy , showPriorities : true } ; export const mhyv = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . drvy , showPriorities : true , initialState : 'active' } ; export const myjz = { runner : 'runButtonOnly' , skipToTheEnd : false , initialExpressionContainer : initialExpressionContainers . drvy , showPriorities : true , initialState : 'active' , speed : 1.25 } ; export const ayok = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . drvy , showPriorities : true , skipToTheEnd : false , initialState : 'active' } ; export const thkn = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . oyph , showPriorities : true , skipToTheEnd : false } ; export const mqvu = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . oqlf , showPriorities : true } ; export const bgfl = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . txbv , isDone : true } ; export const cpkp = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ysyy , isDone : true } ; export const cvtc = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pisd , showPriorities : true } ; export const lxzn = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pisd , showPriorities : true , highlightOverrides : { a : 'highlighted' , b : 'highlighted' } } ; export const ujuq = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pisd , showPriorities : true , highlightOverrides : { c : 'highlighted' , d : 'highlighted' } } ; export const oork = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . hrdv , initialState : 'showFuncBound' , showPriorities : true } ; export const diis = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . hrdv , initialState : 'showFuncBound' , skipToTheEnd : false , showPriorities : true } ; export const dkiy = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . epon , showPriorities : true } ; export const dqey = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . hrdv , initialState : 'active' , showPriorities : true } ; export const zemy = { runner : 'runButtonOnly' , skipToTheEnd : false , initialExpressionContainer : initialExpressionContainers . hrdv , initialState : 'active' , showPriorities : true , speed : 1.25 } ; export const fclo = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . rlzd , showPriorities : true } ; export const rgta = { runner : 'simple' , isDone : true , initialExpressionContainer : initialExpressionContainers . rlzd , showPriorities : true } ; export const cuwg = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . rlzd , showPriorities : true , skipToTheEnd : false } ; export const rivc = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . sisf } ; export const rakk = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . sisf } ; export const ycxr = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . sisf , initialState : 'showFuncBound' , highlightOverrides : { g : 'highlighted' , o : 'highlighted' } } ; export const dkdt = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . sisf , initialState : 'betaReducePreviewBefore' , explanationsVisibility : 'visible' } ; export const sxnt = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . sisf , initialState : 'betaReducePreviewAfter' , explanationsVisibility : 'visible' } ; export const issq = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . sisf , initialState : 'betaReducePreviewCrossed' , explanationsVisibility : 'visible' } ; export const dtzu = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . lqti , initialState : 'betaReducePreviewBefore' , showPriorities : true , explanationsVisibility : 'visible' } ; export const vilr = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . lqti , initialState : 'betaReducePreviewAfter' , showPriorities : true , explanationsVisibility : 'visible' } ; export const eozk = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . dupe } ; export const xxas = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . dupe , highlightOverrides : { Amult : 'highlighted' , Bsingle : 'highlighted' } } ; export const mgku = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . iyee , highlightOverrides : { A : 'highlighted' , B : 'highlighted' } } ; export const whbu = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . qlfn } ; export const pirb = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . lbyq } ; export const evqx = { runner : 'singleStep' , hideFuncUnboundBadgeOnExplanation : true , initialExpressionContainer : initialExpressionContainers . nyhe , initialState : 'betaReducePreviewBefore' , finalState : 'betaReducePreviewAfter' } ; export const gtdu = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . hrdv , showPriorities : true } ; export const roko = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . hrdv , showPriorities : true , crossed : true } ; export const guhy = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pslb , initialState : 'falseCaseActive' , explanationsVisibility : 'visible' } ; export const gwtp = { runner : 'singleStep' , hideFuncUnboundBadgeOnExplanation : true , initialExpressionContainer : initialExpressionContainers . txbv , initialState : 'betaReducePreviewBefore' , finalState : 'betaReducePreviewCrossed' } ; export const grla = { runner : 'singleStep' , hideFuncUnboundBadgeOnExplanation : true , initialExpressionContainer : initialExpressionContainers . txbv , initialState : 'betaReducePreviewCrossed' , finalState : 'default' } ; export const uvmv = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . neny } ; export const mutg = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . neny } ; export const hvqh = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . iuif } ; export const hdxc = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . epon , showPriorities : true , skipToTheEnd : false } ; export const xhje = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . mfca , showPriorities : true , skipToTheEnd : false } ; export const hyvj = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . csqx , showPriorities : true , skipToTheEnd : false , applicativeOrder : true } ; export const hykj = { runner : 'runButtonOnly' , skipToTheEnd : false , initialExpressionContainer : initialExpressionContainers . lqti , initialState : 'showFuncUnbound' , showPriorities : true , speed : 1.25 } ; export const iatt = { runner : 'predefined' , initialExpressionContainers : [ initialExpressionContainers . ekyd , initialExpressionContainers . ntua ] } ; export const ilpo = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . nyhe } ; export const lngo = { runner : 'simple' , isDone : true , initialExpressionContainer : initialExpressionContainers . nyhe } ; export const elku = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . nyhe , highlightOverrides : { a : 'highlighted' } } ; export const vowa = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . nyhe , highlightOverrides : { b : 'highlighted' } } ; export const imyd = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . txbv } ; export const itbm = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . nyhe } ; export const izgz = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . lqti , initialState : 'betaReducePreviewAfter' , showPriorities : true , skipToTheEnd : false } ; export const jbam = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . txbv , initialState : 'active' , skipToTheEnd : false } ; export const hluq = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . sisf , initialState : 'active' , skipToTheEnd : false } ; export const jmmp = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . hrdv , showPriorities : true , highlightOverrides : { b : 'highlighted' } } ; export const jwzh = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . txbv , initialState : 'betaReducePreviewBefore' } ; export const keck = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . nyhe , initialState : 'betaReducePreviewBefore' } ; export const knhw = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . txbv , initialState : 'betaReducePreviewCrossed' } ; export const kvso = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . pisd , nextIterations : 1 , initialState : 'showFuncBound' , showPriorities : true , skipToTheEnd : false } ; export const iwxm = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . pisd , nextIterations : 1 , initialState : 'active' , showPriorities : true , skipToTheEnd : false } ; export const sgnp = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pisd , nextIterations : 1 , initialState : 'showFuncBound' , showPriorities : true , highlightOverrides : { b : 'highlighted' } } ; export const beiz = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . pisd , showPriorities : true , skipToTheEnd : false } ; export const laea = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . lqti , showPriorities : true } ; export const nmmz = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . ysyy } ; export const ldqk = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ysyy } ; export const loai = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . gvjy } ; export const mhgm = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . nyhe , initialState : 'betaReducePreviewCrossed' } ; export const msiw = { runner : 'singleStep' , hideFuncUnboundBadgeOnExplanation : true , initialExpressionContainer : initialExpressionContainers . nyhe , initialState : 'betaReducePreviewAfter' , finalState : 'betaReducePreviewCrossed' } ; export const kbnn = { runner : 'singleStep' , hideFuncUnboundBadgeOnExplanation : true , initialExpressionContainer : initialExpressionContainers . nyhe , initialState : 'betaReducePreviewCrossed' , finalState : 'default' } ; export const osqo = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . nyhe , isDone : true } ; export const yiri = { runner : 'simple' , isDone : true , initialExpressionContainer : initialExpressionContainers . epon } ; export const ozbe = { runner : 'singleStep' , hideFuncUnboundBadgeOnExplanation : true , initialExpressionContainer : initialExpressionContainers . nyhe , initialState : 'active' , finalState : 'showFuncBound' } ; export const plbv = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pslb } ; export const seie = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . mxkk } ; export const kmyl = { runner : 'predefined' , initialExpressionContainers : [ initialExpressionContainers . pslb , initialExpressionContainers . mxkk ] } ; export const qcmh = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pslb , initialState : 'conditionActive' , explanationsVisibility : 'visible' } ; export const qoms = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . nyhe , initialState : 'betaReducePreviewAfter' } ; export const rjfy = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ekyd , initialState : 'trueCaseActive' , explanationsVisibility : 'visible' } ; export const rqjo = { runner : 'singleStep' , hideFuncUnboundBadgeOnExplanation : true , initialExpressionContainer : initialExpressionContainers . nyhe , initialState : 'showFuncBound' , finalState : 'betaReducePreviewBefore' } ; export const sgfj = { runner : 'singleStep' , hideFuncUnboundBadgeOnExplanation : true , initialExpressionContainer : initialExpressionContainers . txbv , initialState : 'showFuncBound' , finalState : 'betaReducePreviewBefore' } ; export const hehx = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . dupe , highlightOverrides : { Amult : 'highlighted' } } ; export const jarm = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . mzxw } ; export const pjih = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . nhmt , applicativeOrder : true } ; export const kqtz = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . sjbn , applicativeOrder : true } ; export const afxj = { runner : 'runButtonOnly' , showPriorities : true , skipToTheEnd : false , initialExpressionContainer : initialExpressionContainers . psen , applicativeOrder : true , speed : 1.25 } ; export const egka = { runner : 'runButtonOnly' , showPriorities : true , skipToTheEnd : false , initialExpressionContainer : initialExpressionContainers . dzod , applicativeOrder : true , speed : 1.25 } ; export const uxno = { runner : 'predefined' , showPriorities : true , initialExpressionContainers : [ initialExpressionContainers . nzne , initialExpressionContainers . ntua ] , convert : 'toMathBox' } ; export const dvio = { runner : 'predefined' , showPriorities : true , initialExpressionContainers : [ initialExpressionContainers . fkvc , initialExpressionContainers . hdpc ] , convert : 'toMathBox' , applicativeOrder : true } ; export const mili = { runner : 'predefined' , showPriorities : true , initialExpressionContainers : [ initialExpressionContainers . rtum , initialExpressionContainers . rjyq ] , convert : 'toMathBox' , applicativeOrder : true } ; export const qyhn = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . hgjl , applicativeOrder : true } ; export const weow = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . qjod , applicativeOrder : true } ; export const pmss = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . soer , applicativeOrder : true } ; export const vdcr = { runner : 'runButtonOnly' , skipToTheEnd : false , showPriorities : true , initialExpressionContainer : initialExpressionContainers . kmwe , applicativeOrder : true , speed : 2 } ; export const vyic = { runner : 'runButtonOnly' , skipToTheEnd : false , showPriorities : true , initialExpressionContainer : initialExpressionContainers . rryd , applicativeOrder : true , speed : 2 } ; export const hfgh = { runner : 'predefined' , showPriorities : true , initialExpressionContainers : [ initialExpressionContainers . yqiv , initialExpressionContainers . irhr ] , convert : 'toMathBox' } ; export const yfwq = { runner : 'predefined' , showPriorities : true , initialExpressionContainers : [ initialExpressionContainers . aeoc , initialExpressionContainers . ntua ] , convert : 'toMathBox' } ; export const jjjh = { runner : 'predefined' , initialExpressionContainers : [ initialExpressionContainers . mzxw , initialExpressionContainers . irhr ] , showPriorities : true , convert : 'toMathBox' } ; export const dwzy = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . mzxw , bottomRightBadgeOverrides : { b : '🅱️' , a : '🅰️' } } ; export const mifg = { runner : 'predefined' , initialExpressionContainers : [ initialExpressionContainers . ntes , initialExpressionContainers . ntua ] , showPriorities : true , convert : 'toMathBox' } ; export const epoi = { runner : 'predefined' , initialExpressionContainers : [ initialExpressionContainers . nskn , initialExpressionContainers . hdpc ] , showPriorities : true , convert : 'toMathBox' } ; export const fgen = { runner : 'predefined' , initialExpressionContainers : [ initialExpressionContainers . nskn , initialExpressionContainers . hdpc ] , showPriorities : true , convert : 'toMathBox' , applicativeOrder : true } ; export const nlyu = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . nskn } ; export const jyqf = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . qbnd } ; export const mzqc = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . qbnd , bottomRightBadgeOverrides : { l : '🅱️' , k : '🅰️' } } ; export const qwdg = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . tnyj , bottomRightBadgeOverrides : { l : '🅱️' , k : '🅰️' } } ; export const mepb = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . nskn , bottomRightBadgeOverrides : { f : '🅱️' , e : '🅰️' } , highlightOverrides : { f : 'highlighted' } } ; export const alca = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . nskn , bottomRightBadgeOverrides : { e : '🅰️' } , highlightOverrides : { e : 'highlighted' } } ; export const wopl = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . hwnq , bottomRightBadgeOverrides : { f : '🅱️' , e : '🅰️' } } ; export const pmdm = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . hdpc } ; export const kizi = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . uarl } ; export const ldcq = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . kaaf } ; export const aflw = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . avsj } ; export const nxjv = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . yudv } ; export const jwah = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . irhr } ; export const nbck = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . haeo } ; export const cawl = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . yljj } ; export const vlob = { runner : 'predefined' , initialExpressionContainers : [ initialExpressionContainers . tgxv , initialExpressionContainers . qjcv ] , showPriorities : true , convert : 'toMathBox' } ; export const pebp = { runner : 'predefined' , initialExpressionContainers : [ initialExpressionContainers . tgxv , initialExpressionContainers . qjcv ] , showPriorities : true , convert : 'toMathBox' , applicativeOrder : true } ; export const dubm = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . wcdn } ; export const rnug = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . ntua } ; export const jzwg = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . dpvy } ; export const rqer = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . vzjq , highlightOverrides : { a : 'highlighted' , b : 'highlighted' , c : 'highlighted' } } ; export const xmgo = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . hvqf } ; export const duuk = { runner : 'simple' , showPriorities : true , initialExpressionContainer : initialExpressionContainers . hzkx , bottomRightBadgeOverrides : { j : '🅱️' , i : '🅰️' } } ; export const ehxq = { runner : 'predefined' , showPriorities : true , initialExpressionContainers : [ initialExpressionContainers . wcdn , initialExpressionContainers . uarl ] , convert : 'toMathBox' } ; export const weoz = { runner : 'simple' , isDone : true , initialExpressionContainer : initialExpressionContainers . sisf } ; export const uwma = { runner : 'singleStep' , initialExpressionContainer : initialExpressionContainers . pisd , initialState : 'betaReducePreviewCrossed' , finalState : 'default' , showPriorities : true } ; export const vozu = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ekyd , initialState : 'conditionActive' , explanationsVisibility : 'visible' } ; export const vvjn = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . gvjy , isDone : true } ; export const wunw = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . nyhe , initialState : 'active' , skipToTheEnd : false } ; export const zwpj = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . txbv } ; export const zzxj = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . nyhe , initialState : 'showFuncBound' } ; export const zzyu = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . gvjy } ; export const lizi = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . vibe } ; export const mcug = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . vibe } ; export const aovj = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . kfwf } ; export const rviy = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . fpuz } ; export const dgyc = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . fpuz , crossed : true } ; export const ggxl = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ofza , crossed : true } ; export const fdig = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . qtns } ; export const xmqp = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . qtns } ; export const ditw = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ofza } ; export const tcyv = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . gjyx } ; export const jiqb = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . gjyx } ; export const eagi = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . qcio } ; export const yjur = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . wsia } ; export const amoq = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . rnth } ; export const dfjp = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . bwig } ; export const lxrk = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . bwig } ; export const sucz = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . bmar } ; export const xlgb = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . dacg } ; export const pgxb = { runner : 'predefined' , initialExpressionContainers : [ initialExpressionContainers . bmar , initialExpressionContainers . hdpc ] } ; export const ednv = { runner : 'predefined' , initialExpressionContainers : [ initialExpressionContainers . dams , initialExpressionContainers . rjyq ] } ; export const xpks = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . dams } ; export const dgpx = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . yvfc } ; export const nmbt = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . zpil } ; export const etku = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . gnpv } ; export const jaqs = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ilhz } ; export const vsvt = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . odcm } ; export const iwmu = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . zxad } ; export const iczf = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . qgrh } ; export const bwnp = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ulsd } ; export const ewfr = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pcdb } ; export const vmkg = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . gnmt } ; export const nplf = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . saii } ; export const wtup = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . bywf } ; export const immq = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . zbzu } ; export const zuus = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . zbzu , initialState : 'active' , skipToTheEnd : false } ; export const dogu = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . geut } ; export const cowm = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . srvq } ; export const ozxi = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . neny , isDone : true } ; export const envj = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . epmt , showPriorities : true } ; export const stda = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ikrk , showPriorities : true } ; export const cawa = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . zxji , showPriorities : true } ; export const fzpz = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . mzms , showPriorities : true } ; export const pbop = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . vemg , showPriorities : true } ; export const dvfg = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . lyet , showPriorities : true } ; export const hkbs = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . lyet , showPriorities : true , bottomRightBadgeOverrides : { d : '🅰️' , e : '🅱️' } } ; export const ehsw = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . aocc , showPriorities : true , bottomRightBadgeOverrides : { d : '🅰️' , e : '🅱️' } } ; export const cmla = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . qyqi , showPriorities : true , bottomRightBadgeOverrides : { d : '🅰️' , b : '🅱️' } } ; export const ymtp = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . tsms , showPriorities : true } ; export const jfgb = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . hipa , showPriorities : true } ; export const jxvy = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . hswh , showPriorities : true } ; export const olyw = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ktus , showPriorities : true , crossed : true } ; export const nuco = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . kwqc , showPriorities : true } ; export const dhiu = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . kwqc , skipToTheEnd : false , showPriorities : true , initialState : 'active' , lastAllowedExpressionState : 'default' } ; export const akjy = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . kwqc , skipToTheEnd : false , showPriorities : true , initialState : 'active' , lastAllowedExpressionState : 'default' , nextIterations : 1 } ; export const hnyn = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . kwqc , skipToTheEnd : false , showPriorities : true , initialState : 'active' , nextIterations : 2 } ; export const bwff = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . kwqc , isDone : true , showPriorities : true } ; export const xwzc = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . kwqc , isDone : true , showPriorities : true , crossed : true } ; export const fhrd = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . iqbf , showPriorities : true , bottomRightBadgeOverrides : { b : '🅰️' , c : '🅱️' } } ; export const bgxi = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . abbh , showPriorities : true , bottomRightBadgeOverrides : { b : '🅰️' , c : '🅱️' } } ; export const plde = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . uqth , showPriorities : true } ; export const cpim = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . uqth , showPriorities : true , highlightOverrides : { a : 'highlighted' , b : 'highlighted' , c : 'highlighted' } } ; export const jsvg = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . uqth , showPriorities : true , skipToTheEnd : false , initialState : 'active' , lastAllowedExpressionState : 'default' } ; export const uexo = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . uqth , showPriorities : true , skipToTheEnd : false , initialState : 'active' , lastAllowedExpressionState : 'default' , nextIterations : 1 } ; export const hdhy = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . uqth , showPriorities : true , skipToTheEnd : false , initialState : 'active' , lastAllowedExpressionState : 'default' , nextIterations : 2 } ; export const rhcv = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . uqth , showPriorities : true , isDone : true } ; export const rico = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . oxuf , showPriorities : true , bottomRightBadgeOverrides : { c : '🅱️' , b : '🅰️' } } ; export const awwn = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ngth , showPriorities : true , highlightOverrides : { a : 'highlighted' , b : 'highlighted' , c : 'highlighted' } } ; export const nlbn = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . ngth , showPriorities : true , skipToTheEnd : false , speed : 1.25 } ; export const ifqp = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . yywl , showPriorities : true , bottomRightBadgeOverrides : { c : '🅱️' , b : '🅰️' } } ; export const blvt = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . blns , showPriorities : true } ; export const oykb = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . disc , showPriorities : true , bottomRightBadgeOverrides : { b : '🅱️' , a : '🅰️' , c : 'C' } } ; export const onyr = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ccjv , showPriorities : true , bottomRightBadgeOverrides : { h : '🅱️' , g : '🅰️' , i : 'C' , j : 'D' , k : 'E' , l : 'F' } } ; export const dvpl = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ojsm , showPriorities : true , bottomRightBadgeOverrides : { i : '🅱️' , h : '🅰️' , j : 'C' } } ; export const oifs = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . sqcx , showPriorities : true } ; export const caem = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . jxur , showPriorities : true , highlightOverrides : { a : 'highlighted' , b : 'highlighted' , c : 'highlighted' } } ; export const byaf = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . jxur , showPriorities : true , skipAlphaConvert : true } ; export const nhqo = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . orfr , showPriorities : true } ; export const akik = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . qdoh , showPriorities : true , skipToTheEnd : false , skipAlphaConvert : true , skipActive : true , speed : 1.5 } ; export const auks = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . zigt , showPriorities : true , crossed : true } ; export const vqwp = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . uwoq , showPriorities : true , bottomRightBadgeOverrides : { c : '🅱️' , b : '🅰️' } } ; export const qlcq = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . qdoh , showPriorities : true , initialState : 'showFuncUnbound' , explanationsVisibility : 'visible' } ; export const kwyy = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . qdoh , showPriorities : true , initialState : 'showFuncUnbound' , highlightOverrides : { b : 'highlighted' } , highlightOverridesCallArgAndFuncUnboundOnly : true , highlightOverrideActiveAfterStart : true } ; export const oukl = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pisd , showPriorities : true , initialState : 'showFuncUnbound' , highlightOverrides : { b : 'highlighted' , c : 'highlighted' } , highlightOverrideActiveAfterStart : true } ; export const rypq = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . kipz , showPriorities : true , initialState : 'showFuncUnbound' , highlightOverrides : { b : 'highlighted' } , highlightOverrideActiveAfterStart : true } ; export const etae = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pisd , showPriorities : true , initialState : 'betaReducePreviewBefore' , highlightOverrideActiveAfterStart : true } ; export const wqml = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . kipz , showPriorities : true , initialState : 'betaReducePreviewBefore' , highlightOverrideActiveAfterStart : true , skipAlphaConvert : true } ; export const jwdn = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pisd , showPriorities : true , initialState : 'betaReducePreviewAfter' , skipAlphaConvert : true } ; export const abnp = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . kipz , showPriorities : true , initialState : 'betaReducePreviewAfter' , skipAlphaConvert : true } ; export const yabb = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pisd , showPriorities : true , initialState : 'betaReducePreviewCrossed' , skipAlphaConvert : true } ; export const osff = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . kipz , showPriorities : true , initialState : 'betaReducePreviewCrossed' , skipAlphaConvert : true } ; export const hbbv = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pisd , showPriorities : true , nextIterations : 1 , skipAlphaConvert : true } ; export const fxok = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . kipz , showPriorities : true , nextIterations : 1 , skipAlphaConvert : true } ; export const lxhc = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pisd , showPriorities : true , nextIterations : 1 , skipAlphaConvert : true , initialState : 'betaReducePreviewBefore' } ; export const hvqy = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . kipz , showPriorities : true , nextIterations : 1 , skipAlphaConvert : true , initialState : 'betaReducePreviewBefore' } ; export const nntn = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pisd , showPriorities : true , nextIterations : 1 , skipAlphaConvert : true , initialState : 'betaReducePreviewCrossed' } ; export const veft = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . kipz , showPriorities : true , nextIterations : 1 , skipAlphaConvert : true , initialState : 'betaReducePreviewAfter' } ; export const bdme = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . kipz , showPriorities : true , nextIterations : 1 , skipAlphaConvert : true , initialState : 'betaReducePreviewCrossed' } ; export const yxel = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pisd , showPriorities : true , skipAlphaConvert : true , isDone : true } ; export const ivol = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . kipz , showPriorities : true , skipAlphaConvert : true , isDone : true } ; export const smdm = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . qdoh , showPriorities : true , initialState : 'needsAlphaConvert' , explanationsVisibility : 'visible' } ; export const niwv = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . qdoh , showPriorities : true , initialState : 'alphaConvertDone' , explanationsVisibility : 'visible' } ; export const fsgq = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . qdoh , showPriorities : true , initialState : 'alphaConvertDone' , skipToTheEnd : false , skipActive : true , speed : 1.25 } ; export const gvxz = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . jskq , showPriorities : true } ; export const xqjd = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . xwlj , showPriorities : true } ; export const qcme = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . sckn } ; export const gthd = { runner : 'runButtonOnly' , skipToTheEnd : false , initialExpressionContainer : initialExpressionContainers . sckn } ; export const gogn = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . sckn , initialState : 'showFuncBound' } ; export const zvpc = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . sckn , initialState : 'betaReducePreviewBefore' } ; export const nsds = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . sckn , initialState : 'betaReducePreviewCrossed' } ; export const bjny = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . sckn } ; export const ukzq = { runner : 'simple' , isDone : true , initialExpressionContainer : initialExpressionContainers . sckn } ; export const cldb = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . smxz , showPriorities : true } ; export const sldg = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . udaf , showPriorities : true , highlightOverrides : { g : 'highlighted' , h : 'highlighted' } } ; export const dtle = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . lwpw , showPriorities : true , highlightOverrides : { g : 'highlighted' , h : 'highlighted' } } ; export const hiag = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . nhpm , showPriorities : true } ; export const fomt = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . dyrk , showPriorities : true } ; export const gqct = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . yjhv , showPriorities : true } ; export const zwut = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . udaf , showPriorities : true , skipToTheEnd : false , lastAllowedExpressionState : 'needsAlphaConvert' , skipActive : true , speed : 1.5 } ; export const xusi = { runner : 'singleStep' , initialExpressionContainer : initialExpressionContainers . udaf , showPriorities : true , initialState : 'needsAlphaConvert' , finalState : 'alphaConvertDone' , explanationsVisibility : 'visible' } ; export const zjto = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . udaf , showPriorities : true , initialState : 'needsAlphaConvert' , explanationsVisibility : 'visible' } ; export const lipt = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . udaf , showPriorities : true , skipToTheEnd : false , initialState : 'alphaConvertDone' , skipActive : true , speed : 1.25 } ; export const zzhq = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . csai , showPriorities : true , bottomRightBadgeOverrides : { b : '🅰️' , c : '🅱️' } } ; export const mzys = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . uvwt , showPriorities : true , bottomRightBadgeOverrides : { g : '🅰️' , h : '🅱️' } } ; export const ifiq = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . lwpw , showPriorities : true , skipToTheEnd : false , skipActive : true , speed : 2 } ; export const joaq = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . myzx , showPriorities : true , bottomRightBadgeOverrides : { b : '🅰️' , c : '🅱️' } } ; export const cbmn = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . vfwt , showPriorities : true } ; export const eweo = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . yvkr , showPriorities : true } ; export const bgko = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . whey , showPriorities : true } ; export const jehv = { runner : 'predefined' , initialExpressionContainers : [ initialExpressionContainers . ptsa , initialExpressionContainers . qefa ] } ; export const rhoa = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . anme } ; export const hhjq = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . rpcm , showPriorities : true } ; export const dqwh = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . zpak } ; export const vwvb = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . xgav } ; export const glbk = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . fylp } ; export const rtza = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . cunp } ; export const elyq = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . xvjz , showPriorities : true , bottomRightBadgeOverrides : { f : '🅰️' , g : '🅱️' } } ; export const nmrp = { runner : 'runButtonOnly' , skipToTheEnd : false , initialExpressionContainer : initialExpressionContainers . psdd , showPriorities : true , skipActive : true , speed : 1.5 } ; export const ycpk = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . zcia , showPriorities : true } ; export const bndi = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . qrvj , showPriorities : true } ; export const ooya = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . entt , showPriorities : true , bottomRightBadgeOverrides : { f : '🅰️' , g : '🅱️' } } ; export const gpat = { runner : 'runButtonOnly' , skipToTheEnd : false , initialExpressionContainer : initialExpressionContainers . nnqw , showPriorities : true , skipActive : true , speed : 1.5 } ; export const psyv = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . vwpl , showPriorities : true } ; export const kiiq = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . xgur , showPriorities : true } ; export const zdpf = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ekyd } ; export const jbqw = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . eryp , showPriorities : true } ; export const kfru = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . zmua , showPriorities : true } ; export const svbd = { runner : 'runButtonOnly' , skipToTheEnd : false , initialExpressionContainer : initialExpressionContainers . exhr , showPriorities : true , skipActive : true , speed : 2 } ; export const fton = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . lcce , showPriorities : true } ; export const imhz = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . vwlq , showPriorities : true , bottomRightBadgeOverrides : { g : '🅱️' , f : '🅰️' , h : 'C' , i : 'D' , j : 'E' } } ; export const bnyo = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . gbbo , showPriorities : true } ; export const hkfq = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . nden , showPriorities : true } ; export const ywpq = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . gbbo , showPriorities : true , highlightOverrides : { i : 'highlighted' , j : 'highlighted' } } ; export const ayrl = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . loem , showPriorities : true , bottomRightBadgeOverrides : { l : '🅰️' , m : '🅱️' } } ; export const uwgj = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . wvsk , showPriorities : true } ; export const itis = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . nuux , showPriorities : true , highlightOverrides : { g : 'highlighted' , h : 'highlighted' } } ; export const wgby = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . aqul , showPriorities : true } ; export const poha = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . syvj , showPriorities : true } ; export const vcqp = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . aqvq , showPriorities : true } ; export const cpdy = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . abrk , showPriorities : true } ; export const lxgj = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . xskc , showPriorities : true , highlightOverrides : { a : 'highlighted' , b : 'highlighted' , c : 'highlighted' , d : 'highlighted' , e : 'highlighted' } } ; export const wenx = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . gxhl , showPriorities : true } ; export const vlhb = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . cmay , showPriorities : true } ; export const awbq = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . exoq , showPriorities : true } ; export const crvj = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . oyzh , showPriorities : true } ; export const ghwe = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . aiyb , showPriorities : true } ; export const zcwk = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . mldl , showPriorities : true } ; export const gmzn = { runner : 'runButtonOnly' , skipToTheEnd : false , skipActive : true , initialExpressionContainer : initialExpressionContainers . aiyb , showPriorities : true , lastAllowedExpressionState : 'default' } ; export const uiwl = { runner : 'runButtonOnly' , skipToTheEnd : false , skipActive : true , initialExpressionContainer : initialExpressionContainers . aiyb , showPriorities : true , nextIterations : 1 } ; export const ynoy = { runner : 'runButtonOnly' , skipToTheEnd : false , speed : 4 , skipActive : true , initialExpressionContainer : initialExpressionContainers . gbbo , showPriorities : true } ; export const ykqf = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . awxe , showPriorities : true } ; export const ifpo = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . uggy , showPriorities : true } ; export const cefx = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . xlrf , showPriorities : true , highlightOverrides : { a : 'highlighted' , b : 'highlighted' } } ; export const kjba = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . jrfk , showPriorities : true } ; export const peiy = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . aqni , showPriorities : true } ; export const mbje = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . uxvq } ; export const ovua = { runner : 'runButtonOnly' , skipToTheEnd : false , skipActive : true , initialExpressionContainer : initialExpressionContainers . jrfk , showPriorities : true , lastAllowedExpressionState : 'default' , lastAllowedExpressionStateAfterIterations : 3 , speed : 2 } ; export const bras = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . jrfk , showPriorities : true , nextIterations : 4 , highlightFunctions : true } ; export const yyfi = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . reak , showPriorities : true , highlightOverrides : { ignoreForNow : 'highlighted' } } ; export const amjx = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . edye , showPriorities : true } ; export const avsl = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . reak , showPriorities : true , initialState : 'conditionActive' , explanationsVisibility : 'visible' } ; export const fkqu = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . reak , showPriorities : true , initialState : 'falseCaseActive' , explanationsVisibility : 'visible' } ; export const wjwu = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . reak , showPriorities : true , nextIterations : 1 } ; export const ngxc = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . reak , showPriorities : true , initialState : 'default' , nextIterations : 1 , highlightOverrides : { ignoreForNow : 'highlighted' } , explanationsVisibility : 'hidden' } ; export const fkvy = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . jrfk , showPriorities : true , nextIterations : 5 , highlightFunctions : true } ; export const dwmc = { runner : 'runButtonOnly' , skipToTheEnd : false , skipActive : true , initialExpressionContainer : initialExpressionContainers . jrfk , showPriorities : true , nextIterations : 5 , lastAllowedExpressionState : 'default' , lastAllowedExpressionStateAfterIterations : 3 , speed : 2 } ; export const tfsi = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . jrfk , showPriorities : true , nextIterations : 9 , highlightFunctions : true } ; export const fkat = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . nrff , showPriorities : true , highlightOverrides : { ignoreForNow : 'highlighted' } , explanationsVisibility : 'hidden' } ; export const qgau = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . twpb , showPriorities : true , explanationsVisibility : 'hidden' } ; export const uwyn = { runner : 'runButtonOnly' , skipToTheEnd : false , skipActive : true , initialExpressionContainer : initialExpressionContainers . jrfk , showPriorities : true , nextIterations : 9 , lastAllowedExpressionState : 'default' , lastAllowedExpressionStateAfterIterations : 5 , speed : 2 } ; export const jjet = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . jrfk , showPriorities : true , nextIterations : 15 , highlightFunctions : true } ; export const cyyp = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . tsjd , showPriorities : true , explanationsVisibility : 'hidden' , highlightOverrides : { ignoreForNow : 'highlighted' } } ; export const kosw = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . qojl , showPriorities : true , explanationsVisibility : 'hidden' } ; export const ysxf = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . zxhp , showPriorities : true , explanationsVisibility : 'hidden' } ; export const snlf = { runner : 'runButtonOnly' , skipToTheEnd : false , skipActive : true , initialExpressionContainer : initialExpressionContainers . jrfk , showPriorities : true , nextIterations : 15 , lastAllowedExpressionState : 'default' , lastAllowedExpressionStateAfterIterations : 6 , speed : 2 } ; export const gngw = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . jrfk , showPriorities : true , nextIterations : 22 , highlightFunctions : true } ; export const toem = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . ihdu , showPriorities : true , explanationsVisibility : 'hidden' , highlightOverrides : { ignoreForNow : 'highlighted' } } ; export const kdgv = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . npmi , showPriorities : true , explanationsVisibility : 'hidden' } ; export const nphi = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . abou , showPriorities : true , explanationsVisibility : 'hidden' } ; export const mibj = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . znga , showPriorities : true , explanationsVisibility : 'hidden' } ; export const afoh = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . ihdu , showPriorities : true , initialState : 'conditionActive' , explanationsVisibility : 'visible' } ; export const msrk = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . ihdu , showPriorities : true , initialState : 'trueCaseActive' } ; export const jwce = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . ohhf , showPriorities : true } ; export const sskt = { runner : 'simple' , skipActive : true , initialExpressionContainer : initialExpressionContainers . rzkp , showPriorities : true } ; export const qycx = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . dxcw } ; export const owpg = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . rhzs } ; export const hafp = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . pqsi , showPriorities : true } ; export const bxuv = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . brri , showPriorities : true } ; export const xhul = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . dmgj , showPriorities : true } ; export const anzh = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . jtfj , showPriorities : true } ; export const zkon = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ykbi , showPriorities : true } ; export const irsu = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . oosg , showPriorities : true } ; export const xjzx = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . vazr , showPriorities : true } ; export const rjho = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . psxr , showPriorities : true } ; export const beug = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . mqoa , showPriorities : true , bottomRightBadgeOverrides : { c : '🅰️' , d : '🅱️' } } ; export const hvfb = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . silw , showPriorities : true } ; export const jwsj = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ibzy , showPriorities : true } ; export const dmrz = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . jpac , showPriorities : true , bottomRightBadgeOverrides : { h : '🅱️' , g : '🅰️' } } ; export const tpyg = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . yknu , showPriorities : true , highlightOverrides : { e : 'highlighted' , f : 'highlighted' , g : 'highlighted' , h : 'highlighted' } } ; export const ugvz = { runner : 'runButtonOnly' , skipToTheEnd : false , skipActive : true , speed : 2 , initialExpressionContainer : initialExpressionContainers . yknu , showPriorities : true } ; export const xkcm = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ajfq , showPriorities : true , bottomRightBadgeOverrides : { d : '🅱️' , c : '🅰️' } } ; export const edzu = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . hnzs , showPriorities : true , bottomRightBadgeOverrides : { d : '🅱️' , c : '🅰️' } } ; export const mlnt = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ibfr , showPriorities : true } ; export const ryqp = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . bgiy } ; export const vqyl = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . yuov , showPriorities : true } ; export const njqi = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ncdj , showPriorities : true , applicativeOrder : true } ; export const kdxf = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . cdda , showPriorities : true , applicativeOrder : true } ; export const anfx = { runner : 'runButtonOnly' , skipToTheEnd : false , speed : 4 , initialExpressionContainer : initialExpressionContainers . cteb , showPriorities : true , applicativeOrder : true } ; export const nnzx = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . acpu , showPriorities : true , applicativeOrder : true } ; export const yiet = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ndtm , showPriorities : true } ; export const wzqv = { runner : 'runButtonOnly' , skipToTheEnd : false , skipActive : true , speed : 2 , initialExpressionContainer : initialExpressionContainers . ndtm , showPriorities : true } ; export const nvdn = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . rovo , showPriorities : true } ; export const fvii = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . wetc , showPriorities : true } ; export const uhqo = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . tjcx } ; export const kzkg = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . glvb , showPriorities : true } ; export const trwj = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . ygum , showPriorities : true } ; export const potg = { runner : 'runButtonOnly' , initialExpressionContainer : initialExpressionContainers . babw , showPriorities : true } ; export const aklf = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . nuoh , showPriorities : true } ; export const olqy = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . bgid , showPriorities : true } ; export const gemh = { runner : 'simple' , isDone : true , initialExpressionContainer : initialExpressionContainers . nuoh , showPriorities : true } ; export const unxf = { runner : 'runButtonOnly' , skipToTheEnd : false , skipActive : true , initialExpressionContainer : initialExpressionContainers . glvb , showPriorities : true } ; export const zick = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . hbzd , showPriorities : true } ; export const zlfx = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . jypn , showPriorities : true } ; export const rrmc = { runner : 'runButtonOnly' , skipToTheEnd : false , initialExpressionContainer : initialExpressionContainers . jypn , showPriorities : true , speed : 4 , showDefaultAndActiveOnly : true , lastAllowedExpressionState : 'default' , lastAllowedExpressionStateAfterIterations : 19 } ; export const qurt = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . jypn , showPriorities : true , nextIterations : 20 } ; export const gzuj = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . jypn , showPriorities : true , isDone : true } ; export const ancc = { runner : 'runButtonOnly' , skipToTheEnd : false , initialExpressionContainer : initialExpressionContainers . jypn , showPriorities : true , nextIterations : 20 } ; export const txxw = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . jvmi , showPriorities : true } ; export const kmgw = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . abhd , showPriorities : true } ; export const xbki = { runner : 'runButtonOnly' , skipToTheEnd : false , initialExpressionContainer : initialExpressionContainers . jvmi , showPriorities : true , speed : 4 , showDefaultAndActiveOnly : true } ; export const dqdv = { runner : 'simple' , initialExpressionContainer : initialExpressionContainers . kgpl , showPriorities : true , bottomRightBadgeOverrides : { g : '🅰️' , h : '🅱️' } } ;