Marked_iffactiveMarked_markiffalseMarked_activectrueMarked_fmarkX3X2X1YXactive(f(X))mark(if(X,c,f(true)))active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)mark(f(X))active(f(mark(X)))mark(if(X1,X2,X3))active(if(mark(X1),mark(X2),X3))mark(c)active(c)mark(true)active(true)mark(false)active(false)f(mark(X))f(X)f(active(X))f(X)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)active(f(X))mark(if(X,c,f(true)))active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)mark(f(X))active(f(mark(X)))mark(if(X1,X2,X3))active(if(mark(X1),mark(X2),X3))mark(c)active(c)mark(true)active(true)mark(false)active(false)f(mark(X))f(X)f(active(X))f(X)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)Marked_active(f(X))Marked_mark(if(X,c,f(true)))Marked_active(f(X))Marked_if(X,c,f(true))Marked_active(f(X))Marked_f(true)Marked_active(if(true,X,Y))Marked_mark(X)Marked_active(if(false,X,Y))Marked_mark(Y)Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(f(X))Marked_f(mark(X))Marked_mark(f(X))Marked_mark(X)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),mark(X2),X3))Marked_mark(if(X1,X2,X3))Marked_if(mark(X1),mark(X2),X3)Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_mark(X2)Marked_mark(c)Marked_active(c)Marked_mark(true)Marked_active(true)Marked_mark(false)Marked_active(false)Marked_f(mark(X))Marked_f(X)Marked_f(active(X))Marked_f(X)Marked_if(mark(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if(X1,mark(X2),X3)Marked_if(X1,X2,X3)Marked_if(X1,X2,mark(X3))Marked_if(X1,X2,X3)Marked_if(active(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if(X1,active(X2),X3)Marked_if(X1,X2,X3)Marked_if(X1,X2,active(X3))Marked_if(X1,X2,X3)active(f(X))mark(if(X,c,f(true)))active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)mark(f(X))active(f(mark(X)))mark(if(X1,X2,X3))active(if(mark(X1),mark(X2),X3))mark(c)active(c)mark(true)active(true)mark(false)active(false)f(mark(X))f(X)f(active(X))f(X)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)Marked_active(f(X))Marked_mark(if(X,c,f(true)))Marked_active(if(true,X,Y))Marked_mark(X)Marked_active(if(false,X,Y))Marked_mark(Y)Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(f(X))Marked_mark(X)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),mark(X2),X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_mark(X2)mark10true0c0Marked_active20false20if2220Marked_mark20active10f20Marked_active(if(false,X,Y))Marked_mark(Y)active(f(X))mark(if(X,c,f(true)))active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)mark(f(X))active(f(mark(X)))mark(if(X1,X2,X3))active(if(mark(X1),mark(X2),X3))mark(c)active(c)mark(true)active(true)mark(false)active(false)f(mark(X))f(X)f(active(X))f(X)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)Marked_active(f(X))Marked_mark(if(X,c,f(true)))Marked_active(if(true,X,Y))Marked_mark(X)Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(f(X))Marked_mark(X)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),mark(X2),X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_mark(X2)active(f(X))mark(if(X,c,f(true)))active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)mark(f(X))active(f(mark(X)))mark(if(X1,X2,X3))active(if(mark(X1),mark(X2),X3))mark(c)active(c)mark(true)active(true)mark(false)active(false)f(mark(X))f(X)f(active(X))f(X)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)Marked_active(f(X))Marked_mark(if(X,c,f(true)))Marked_active(if(true,X,Y))Marked_mark(X)Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(f(X))Marked_mark(X)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),mark(X2),X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_mark(X2)mark10true0c0Marked_active20false0if1110Marked_mark20active10f210Marked_mark(f(X))Marked_mark(X)active(f(X))mark(if(X,c,f(true)))active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)mark(f(X))active(f(mark(X)))mark(if(X1,X2,X3))active(if(mark(X1),mark(X2),X3))mark(c)active(c)mark(true)active(true)mark(false)active(false)f(mark(X))f(X)f(active(X))f(X)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)Marked_active(f(X))Marked_mark(if(X,c,f(true)))Marked_active(if(true,X,Y))Marked_mark(X)Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),mark(X2),X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_mark(X2)active(f(X))mark(if(X,c,f(true)))active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)mark(f(X))active(f(mark(X)))mark(if(X1,X2,X3))active(if(mark(X1),mark(X2),X3))mark(c)active(c)mark(true)active(true)mark(false)active(false)f(mark(X))f(X)f(active(X))f(X)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)Marked_active(f(X))Marked_mark(if(X,c,f(true)))Marked_active(if(true,X,Y))Marked_mark(X)Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),mark(X2),X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_mark(X2)mark10true0c0Marked_active20false20if1210Marked_mark20active10f120Marked_active(f(X))Marked_mark(if(X,c,f(true)))active(f(X))mark(if(X,c,f(true)))active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)mark(f(X))active(f(mark(X)))mark(if(X1,X2,X3))active(if(mark(X1),mark(X2),X3))mark(c)active(c)mark(true)active(true)mark(false)active(false)f(mark(X))f(X)f(active(X))f(X)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)Marked_active(if(true,X,Y))Marked_mark(X)Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),mark(X2),X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_mark(X2)active(f(X))mark(if(X,c,f(true)))active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)mark(f(X))active(f(mark(X)))mark(if(X1,X2,X3))active(if(mark(X1),mark(X2),X3))mark(c)active(c)mark(true)active(true)mark(false)active(false)f(mark(X))f(X)f(active(X))f(X)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)Marked_active(if(true,X,Y))Marked_mark(X)Marked_mark(f(X))Marked_active(f(mark(X)))Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),mark(X2),X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_mark(X2)mark0true0c0Marked_active10false0if20Marked_mark20active0f0Marked_mark(f(X))Marked_active(f(mark(X)))active(f(X))mark(if(X,c,f(true)))active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)mark(f(X))active(f(mark(X)))mark(if(X1,X2,X3))active(if(mark(X1),mark(X2),X3))mark(c)active(c)mark(true)active(true)mark(false)active(false)f(mark(X))f(X)f(active(X))f(X)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)Marked_active(if(true,X,Y))Marked_mark(X)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),mark(X2),X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_mark(X2)active(f(X))mark(if(X,c,f(true)))active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)mark(f(X))active(f(mark(X)))mark(if(X1,X2,X3))active(if(mark(X1),mark(X2),X3))mark(c)active(c)mark(true)active(true)mark(false)active(false)f(mark(X))f(X)f(active(X))f(X)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)Marked_active(if(true,X,Y))Marked_mark(X)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),mark(X2),X3))Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_mark(X2)mark10true0c0Marked_active10false10if11210Marked_mark10active10f120Marked_active(if(true,X,Y))Marked_mark(X)Marked_mark(if(X1,X2,X3))Marked_mark(X1)Marked_mark(if(X1,X2,X3))Marked_mark(X2)active(f(X))mark(if(X,c,f(true)))active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)mark(f(X))active(f(mark(X)))mark(if(X1,X2,X3))active(if(mark(X1),mark(X2),X3))mark(c)active(c)mark(true)active(true)mark(false)active(false)f(mark(X))f(X)f(active(X))f(X)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)Marked_mark(if(X1,X2,X3))Marked_active(if(mark(X1),mark(X2),X3))active(f(X))mark(if(X,c,f(true)))active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)mark(f(X))active(f(mark(X)))mark(if(X1,X2,X3))active(if(mark(X1),mark(X2),X3))mark(c)active(c)mark(true)active(true)mark(false)active(false)f(mark(X))f(X)f(active(X))f(X)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)Marked_f(mark(X))Marked_f(X)Marked_f(active(X))Marked_f(X)Marked_f1Marked_f(active(X))Marked_f(X)Marked_f(mark(X))Marked_f(X)active(f(X))mark(if(X,c,f(true)))active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)mark(f(X))active(f(mark(X)))mark(if(X1,X2,X3))active(if(mark(X1),mark(X2),X3))mark(c)active(c)mark(true)active(true)mark(false)active(false)f(mark(X))f(X)f(active(X))f(X)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)active(f(X))mark(if(X,c,f(true)))active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)mark(f(X))active(f(mark(X)))mark(if(X1,X2,X3))active(if(mark(X1),mark(X2),X3))mark(c)active(c)mark(true)active(true)mark(false)active(false)f(mark(X))f(X)f(active(X))f(X)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)Marked_if(mark(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if(X1,mark(X2),X3)Marked_if(X1,X2,X3)Marked_if(X1,X2,mark(X3))Marked_if(X1,X2,X3)Marked_if(active(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if(X1,active(X2),X3)Marked_if(X1,X2,X3)Marked_if(X1,X2,active(X3))Marked_if(X1,X2,X3)Marked_if3Marked_if(X1,X2,active(X3))Marked_if(X1,X2,X3)Marked_if(X1,X2,mark(X3))Marked_if(X1,X2,X3)active(f(X))mark(if(X,c,f(true)))active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)mark(f(X))active(f(mark(X)))mark(if(X1,X2,X3))active(if(mark(X1),mark(X2),X3))mark(c)active(c)mark(true)active(true)mark(false)active(false)f(mark(X))f(X)f(active(X))f(X)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)Marked_if(X1,active(X2),X3)Marked_if(X1,X2,X3)Marked_if(active(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if(X1,mark(X2),X3)Marked_if(X1,X2,X3)Marked_if(mark(X1),X2,X3)Marked_if(X1,X2,X3)active(f(X))mark(if(X,c,f(true)))active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)mark(f(X))active(f(mark(X)))mark(if(X1,X2,X3))active(if(mark(X1),mark(X2),X3))mark(c)active(c)mark(true)active(true)mark(false)active(false)f(mark(X))f(X)f(active(X))f(X)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)Marked_if(X1,active(X2),X3)Marked_if(X1,X2,X3)Marked_if(active(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if(X1,mark(X2),X3)Marked_if(X1,X2,X3)Marked_if(mark(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if2Marked_if(X1,mark(X2),X3)Marked_if(X1,X2,X3)Marked_if(X1,active(X2),X3)Marked_if(X1,X2,X3)active(f(X))mark(if(X,c,f(true)))active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)mark(f(X))active(f(mark(X)))mark(if(X1,X2,X3))active(if(mark(X1),mark(X2),X3))mark(c)active(c)mark(true)active(true)mark(false)active(false)f(mark(X))f(X)f(active(X))f(X)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)Marked_if(mark(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if(active(X1),X2,X3)Marked_if(X1,X2,X3)active(f(X))mark(if(X,c,f(true)))active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)mark(f(X))active(f(mark(X)))mark(if(X1,X2,X3))active(if(mark(X1),mark(X2),X3))mark(c)active(c)mark(true)active(true)mark(false)active(false)f(mark(X))f(X)f(active(X))f(X)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)Marked_if(mark(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if(active(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if1Marked_if(active(X1),X2,X3)Marked_if(X1,X2,X3)Marked_if(mark(X1),X2,X3)Marked_if(X1,X2,X3)active(f(X))mark(if(X,c,f(true)))active(if(true,X,Y))mark(X)active(if(false,X,Y))mark(Y)mark(f(X))active(f(mark(X)))mark(if(X1,X2,X3))active(if(mark(X1),mark(X2),X3))mark(c)active(c)mark(true)active(true)mark(false)active(false)f(mark(X))f(X)f(active(X))f(X)if(mark(X1),X2,X3)if(X1,X2,X3)if(X1,mark(X2),X3)if(X1,X2,X3)if(X1,X2,mark(X3))if(X1,X2,X3)if(active(X1),X2,X3)if(X1,X2,X3)if(X1,active(X2),X3)if(X1,X2,X3)if(X1,X2,active(X3))if(X1,X2,X3)