257006
^EvalNoCKx*
( ob ob' → ob" )
258006
^EvalNoCKx+
259006
^EvalNoCKx-
25A006
^EvalNoCKx/
25B006
^EvalNoCKx^
25C006
^EvalNoCKxCHS
( ob → ob' )
25D006
^EvalNoCKxINV
25E006
^EvalNoCKxMOD
25F006
^EvalNoCKxPERM
260006
^EvalNoCKxCOMB
261006
^EvalNoCKxOR
262006
^EvalNoCKxAND
263006
^EvalNoCKxXOR
264006
^EvalNoCKxXROOT
265006
^TABVALext
( fnct x {} → {}' )