Index of Instructions¶

Instruction	Binary Opcode	Type	Validation	Execution
$𝗎 𝗇 𝗋 𝖾 𝖺 𝖼 𝗁 𝖺 𝖻 𝗅 𝖾$	$𝟶 𝚡 𝟶 𝟶$	$[𝑡 * 1] \to [𝑡 * 2]$	validation	execution
$𝗇 𝗈 𝗉$	$𝟶 𝚡 𝟶 𝟷$	$[] \to []$	validation	execution
$𝖻 𝗅 𝗈 𝖼 𝗄 b t$	$𝟶 𝚡 𝟶 𝟸$	$[𝑡 * 1] \to [𝑡 * 2]$	validation	execution
$𝗅 𝗈 𝗈 𝗉 b t$	$𝟶 𝚡 𝟶 𝟹$	$[𝑡 * 1] \to [𝑡 * 2]$	validation	execution
$𝗂 𝖿 b t$	$𝟶 𝚡 𝟶 𝟺$	$[𝑡 * 1 𝗂 𝟥 𝟤] \to [𝑡 * 2]$	validation	execution
$𝖾 𝗅 𝗌 𝖾$	$𝟶 𝚡 𝟶 𝟻$
(reserved)	$𝟶 𝚡 𝟶 𝟼$
(reserved)	$𝟶 𝚡 𝟶 𝟽$
$𝗍 𝗁 𝗋 𝗈 𝗐 𝑥$	$𝟶 𝚡 𝟶 𝟾$	$[𝑡 * 1 𝑡 * 𝑥] \to [𝑡 * 2]$	validation	execution
(reserved)	$𝟶 𝚡 𝟶 𝟿$
$𝗍 𝗁 𝗋 𝗈 𝗐_𝗋 𝖾 𝖿$	$𝟶 𝚡 𝟶 𝙰$	$[𝑡 * 1 𝖾 𝗑 𝗇 𝗋 𝖾 𝖿] \to [𝑡 * 2]$	validation	execution
$𝖾 𝗇 𝖽$	$𝟶 𝚡 𝟶 𝙱$
$𝖻 𝗋 𝑙$	$𝟶 𝚡 𝟶 𝙲$	$[𝑡 * 1 𝑡 ] \to [𝑡 2]$	validation	execution
$𝖻 𝗋_𝗂 𝖿 𝑙$	$𝟶 𝚡 𝟶 𝙳$	$[𝑡 * 𝗂 𝟥 𝟤] \to [𝑡 *]$	validation	execution
$𝖻 𝗋_𝗍 𝖺 𝖻 𝗅 𝖾 𝑙 * 𝑙$	$𝟶 𝚡 𝟶 𝙴$	$[𝑡 * 1 𝑡 * 𝗂 𝟥 𝟤] \to [𝑡 * 2]$	validation	execution
$𝗋 𝖾 𝗍 𝗎 𝗋 𝗇$	$𝟶 𝚡 𝟶 𝙵$	$[𝑡 * 1 𝑡 ] \to [𝑡 2]$	validation	execution
$𝖼 𝖺 𝗅 𝗅 𝑥$	$𝟶 𝚡 𝟷 𝟶$	$[𝑡 * 1] \to [𝑡 * 2]$	validation	execution
$𝖼 𝖺 𝗅 𝗅_𝗂 𝗇 𝖽 𝗂 𝗋 𝖾 𝖼 𝗍 𝑥 𝑦$	$𝟶 𝚡 𝟷 𝟷$	$[𝑡 * 1 𝗂 𝟥 𝟤] \to [𝑡 * 2]$	validation	execution
$𝗋 𝖾 𝗍 𝗎 𝗋 𝗇_𝖼 𝖺 𝗅 𝗅 𝑥$	$𝟶 𝚡 𝟷 𝟸$	$[𝑡 * 1] \to [𝑡 * 2]$	validation	execution
$𝗋 𝖾 𝗍 𝗎 𝗋 𝗇_𝖼 𝖺 𝗅 𝗅_𝗂 𝗇 𝖽 𝗂 𝗋 𝖾 𝖼 𝗍 𝑥 𝑦$	$𝟶 𝚡 𝟷 𝟹$	$[𝑡 * 1 𝗂 𝟥 𝟤] \to [𝑡 * 2]$	validation	execution
$𝖼 𝖺 𝗅 𝗅_𝗋 𝖾 𝖿 𝑥$	$𝟶 𝚡 𝟷 𝟺$	$[𝑡 * 1 (𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝑥)] \to [𝑡 * 2]$	validation	execution
$𝗋 𝖾 𝗍 𝗎 𝗋 𝗇_𝖼 𝖺 𝗅 𝗅_𝗋 𝖾 𝖿 𝑥$	$𝟶 𝚡 𝟷 𝟻$	$[𝑡 * 1 (𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝑥)] \to [𝑡 * 2]$	validation	execution
(reserved)	$𝟶 𝚡 𝟷 𝟼$
(reserved)	$𝟶 𝚡 𝟷 𝟽$
(reserved)	$𝟶 𝚡 𝟷 𝟾$
(reserved)	$𝟶 𝚡 𝟷 𝟿$
$𝖽 𝗋 𝗈 𝗉$	$𝟶 𝚡 𝟷 𝙰$	$[𝑡] \to []$	validation	execution
$𝗌 𝖾 𝗅 𝖾 𝖼 𝗍$	$𝟶 𝚡 𝟷 𝙱$	$[𝑡 𝑡 𝗂 𝟥 𝟤] \to [𝑡]$	validation	execution
$𝗌 𝖾 𝗅 𝖾 𝖼 𝗍 𝑡$	$𝟶 𝚡 𝟷 𝙲$	$[𝑡 𝑡 𝗂 𝟥 𝟤] \to [𝑡]$	validation	execution
(reserved)	$𝟶 𝚡 𝟷 𝙳$
(reserved)	$𝟶 𝚡 𝟷 𝙴$
$𝗍 𝗋 𝗒_𝗍 𝖺 𝖻 𝗅 𝖾 b t$	$𝟶 𝚡 𝟷 𝙵$	$[𝑡 * 1] \to [𝑡 * 2]$	validation	execution
$𝗅 𝗈 𝖼 𝖺 𝗅 . 𝗀 𝖾 𝗍 𝑥$	$𝟶 𝚡 𝟸 𝟶$	$[] \to [𝑡]$	validation	execution
$𝗅 𝗈 𝖼 𝖺 𝗅 . 𝗌 𝖾 𝗍 𝑥$	$𝟶 𝚡 𝟸 𝟷$	$[𝑡] \to []$	validation	execution
$𝗅 𝗈 𝖼 𝖺 𝗅 . 𝗍 𝖾 𝖾 𝑥$	$𝟶 𝚡 𝟸 𝟸$	$[𝑡] \to [𝑡]$	validation	execution
$𝗀 𝗅 𝗈 𝖻 𝖺 𝗅 . 𝗀 𝖾 𝗍 𝑥$	$𝟶 𝚡 𝟸 𝟹$	$[] \to [𝑡]$	validation	execution
$𝗀 𝗅 𝗈 𝖻 𝖺 𝗅 . 𝗌 𝖾 𝗍 𝑥$	$𝟶 𝚡 𝟸 𝟺$	$[𝑡] \to []$	validation	execution
$𝗍 𝖺 𝖻 𝗅 𝖾 . 𝗀 𝖾 𝗍 𝑥$	$𝟶 𝚡 𝟸 𝟻$	$[a t] \to [𝑡]$	validation	execution
$𝗍 𝖺 𝖻 𝗅 𝖾 . 𝗌 𝖾 𝗍 𝑥$	$𝟶 𝚡 𝟸 𝟼$	$[a t 𝑡] \to []$	validation	execution
(reserved)	$𝟶 𝚡 𝟸 𝟽$
$𝗂 𝟥 𝟤 . 𝗅 𝗈 𝖺 𝖽 𝑥 m e m a r g$	$𝟶 𝚡 𝟸 𝟾$	$[a t] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗂 𝟨 𝟦 . 𝗅 𝗈 𝖺 𝖽 𝑥 m e m a r g$	$𝟶 𝚡 𝟸 𝟿$	$[a t] \to [𝗂 𝟨 𝟦]$	validation	execution
$𝖿 𝟥 𝟤 . 𝗅 𝗈 𝖺 𝖽 𝑥 m e m a r g$	$𝟶 𝚡 𝟸 𝙰$	$[a t] \to [𝖿 𝟥 𝟤]$	validation	execution
$𝖿 𝟨 𝟦 . 𝗅 𝗈 𝖺 𝖽 𝑥 m e m a r g$	$𝟶 𝚡 𝟸 𝙱$	$[a t] \to [𝖿 𝟨 𝟦]$	validation	execution
$𝗂 𝟥 𝟤 . 𝗅 𝗈 𝖺 𝖽 𝟪_𝗌 𝑥 m e m a r g$	$𝟶 𝚡 𝟸 𝙲$	$[a t] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗂 𝟥 𝟤 . 𝗅 𝗈 𝖺 𝖽 𝟪_𝗎 𝑥 m e m a r g$	$𝟶 𝚡 𝟸 𝙳$	$[a t] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗂 𝟥 𝟤 . 𝗅 𝗈 𝖺 𝖽 𝟣 𝟨_𝗌 𝑥 m e m a r g$	$𝟶 𝚡 𝟸 𝙴$	$[a t] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗂 𝟥 𝟤 . 𝗅 𝗈 𝖺 𝖽 𝟣 𝟨_𝗎 𝑥 m e m a r g$	$𝟶 𝚡 𝟸 𝙵$	$[a t] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗂 𝟨 𝟦 . 𝗅 𝗈 𝖺 𝖽 𝟪_𝗌 𝑥 m e m a r g$	$𝟶 𝚡 𝟹 𝟶$	$[a t] \to [𝗂 𝟨 𝟦]$	validation	execution
$𝗂 𝟨 𝟦 . 𝗅 𝗈 𝖺 𝖽 𝟪_𝗎 𝑥 m e m a r g$	$𝟶 𝚡 𝟹 𝟷$	$[a t] \to [𝗂 𝟨 𝟦]$	validation	execution
$𝗂 𝟨 𝟦 . 𝗅 𝗈 𝖺 𝖽 𝟣 𝟨_𝗌 𝑥 m e m a r g$	$𝟶 𝚡 𝟹 𝟸$	$[a t] \to [𝗂 𝟨 𝟦]$	validation	execution
$𝗂 𝟨 𝟦 . 𝗅 𝗈 𝖺 𝖽 𝟣 𝟨_𝗎 𝑥 m e m a r g$	$𝟶 𝚡 𝟹 𝟹$	$[a t] \to [𝗂 𝟨 𝟦]$	validation	execution
$𝗂 𝟨 𝟦 . 𝗅 𝗈 𝖺 𝖽 𝟥 𝟤_𝗌 𝑥 m e m a r g$	$𝟶 𝚡 𝟹 𝟺$	$[a t] \to [𝗂 𝟨 𝟦]$	validation	execution
$𝗂 𝟨 𝟦 . 𝗅 𝗈 𝖺 𝖽 𝟥 𝟤_𝗎 𝑥 m e m a r g$	$𝟶 𝚡 𝟹 𝟻$	$[a t] \to [𝗂 𝟨 𝟦]$	validation	execution
$𝗂 𝟥 𝟤 . 𝗌 𝗍 𝗈 𝗋 𝖾 𝑥 m e m a r g$	$𝟶 𝚡 𝟹 𝟼$	$[a t 𝗂 𝟥 𝟤] \to []$	validation	execution
$𝗂 𝟨 𝟦 . 𝗌 𝗍 𝗈 𝗋 𝖾 𝑥 m e m a r g$	$𝟶 𝚡 𝟹 𝟽$	$[a t 𝗂 𝟨 𝟦] \to []$	validation	execution
$𝖿 𝟥 𝟤 . 𝗌 𝗍 𝗈 𝗋 𝖾 𝑥 m e m a r g$	$𝟶 𝚡 𝟹 𝟾$	$[a t 𝖿 𝟥 𝟤] \to []$	validation	execution
$𝖿 𝟨 𝟦 . 𝗌 𝗍 𝗈 𝗋 𝖾 𝑥 m e m a r g$	$𝟶 𝚡 𝟹 𝟿$	$[a t 𝖿 𝟨 𝟦] \to []$	validation	execution
$𝗂 𝟥 𝟤 . 𝗌 𝗍 𝗈 𝗋 𝖾 𝟪 𝑥 m e m a r g$	$𝟶 𝚡 𝟹 𝙰$	$[a t 𝗂 𝟥 𝟤] \to []$	validation	execution
$𝗂 𝟥 𝟤 . 𝗌 𝗍 𝗈 𝗋 𝖾 𝟣 𝟨 𝑥 m e m a r g$	$𝟶 𝚡 𝟹 𝙱$	$[a t 𝗂 𝟥 𝟤] \to []$	validation	execution
$𝗂 𝟨 𝟦 . 𝗌 𝗍 𝗈 𝗋 𝖾 𝟪 𝑥 m e m a r g$	$𝟶 𝚡 𝟹 𝙲$	$[a t 𝗂 𝟨 𝟦] \to []$	validation	execution
$𝗂 𝟨 𝟦 . 𝗌 𝗍 𝗈 𝗋 𝖾 𝟣 𝟨 𝑥 m e m a r g$	$𝟶 𝚡 𝟹 𝙳$	$[a t 𝗂 𝟨 𝟦] \to []$	validation	execution
$𝗂 𝟨 𝟦 . 𝗌 𝗍 𝗈 𝗋 𝖾 𝟥 𝟤 𝑥 m e m a r g$	$𝟶 𝚡 𝟹 𝙴$	$[a t 𝗂 𝟨 𝟦] \to []$	validation	execution
$𝗆 𝖾 𝗆 𝗈 𝗋 𝗒 . 𝗌 𝗂 𝗓 𝖾 𝑥$	$𝟶 𝚡 𝟹 𝙵$	$[] \to [a t]$	validation	execution
$𝗆 𝖾 𝗆 𝗈 𝗋 𝗒 . 𝗀 𝗋 𝗈 𝗐 𝑥$	$𝟶 𝚡 𝟺 𝟶$	$[a t] \to [a t]$	validation	execution
$𝗂 𝟥 𝟤 . 𝖼 𝗈 𝗇 𝗌 𝗍 i 32$	$𝟶 𝚡 𝟺 𝟷$	$[] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗂 𝟨 𝟦 . 𝖼 𝗈 𝗇 𝗌 𝗍 i 64$	$𝟶 𝚡 𝟺 𝟸$	$[] \to [𝗂 𝟨 𝟦]$	validation	execution
$𝖿 𝟥 𝟤 . 𝖼 𝗈 𝗇 𝗌 𝗍 f 32$	$𝟶 𝚡 𝟺 𝟹$	$[] \to [𝖿 𝟥 𝟤]$	validation	execution
$𝖿 𝟨 𝟦 . 𝖼 𝗈 𝗇 𝗌 𝗍 f 64$	$𝟶 𝚡 𝟺 𝟺$	$[] \to [𝖿 𝟨 𝟦]$	validation	execution
$𝗂 𝟥 𝟤 . 𝖾 𝗊 𝗓$	$𝟶 𝚡 𝟺 𝟻$	$[𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝖾 𝗊$	$𝟶 𝚡 𝟺 𝟼$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗇 𝖾$	$𝟶 𝚡 𝟺 𝟽$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗅 𝗍_𝗌$	$𝟶 𝚡 𝟺 𝟾$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗅 𝗍_𝗎$	$𝟶 𝚡 𝟺 𝟿$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗀 𝗍_𝗌$	$𝟶 𝚡 𝟺 𝙰$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗀 𝗍_𝗎$	$𝟶 𝚡 𝟺 𝙱$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗅 𝖾_𝗌$	$𝟶 𝚡 𝟺 𝙲$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗅 𝖾_𝗎$	$𝟶 𝚡 𝟺 𝙳$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗀 𝖾_𝗌$	$𝟶 𝚡 𝟺 𝙴$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗀 𝖾_𝗎$	$𝟶 𝚡 𝟺 𝙵$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝖾 𝗊 𝗓$	$𝟶 𝚡 𝟻 𝟶$	$[𝗂 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝖾 𝗊$	$𝟶 𝚡 𝟻 𝟷$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗇 𝖾$	$𝟶 𝚡 𝟻 𝟸$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗅 𝗍_𝗌$	$𝟶 𝚡 𝟻 𝟹$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗅 𝗍_𝗎$	$𝟶 𝚡 𝟻 𝟺$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗀 𝗍_𝗌$	$𝟶 𝚡 𝟻 𝟻$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗀 𝗍_𝗎$	$𝟶 𝚡 𝟻 𝟼$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗅 𝖾_𝗌$	$𝟶 𝚡 𝟻 𝟽$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗅 𝖾_𝗎$	$𝟶 𝚡 𝟻 𝟾$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗀 𝖾_𝗌$	$𝟶 𝚡 𝟻 𝟿$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗀 𝖾_𝗎$	$𝟶 𝚡 𝟻 𝙰$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝖾 𝗊$	$𝟶 𝚡 𝟻 𝙱$	$[𝖿 𝟥 𝟤 𝖿 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝗇 𝖾$	$𝟶 𝚡 𝟻 𝙲$	$[𝖿 𝟥 𝟤 𝖿 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝗅 𝗍$	$𝟶 𝚡 𝟻 𝙳$	$[𝖿 𝟥 𝟤 𝖿 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝗀 𝗍$	$𝟶 𝚡 𝟻 𝙴$	$[𝖿 𝟥 𝟤 𝖿 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝗅 𝖾$	$𝟶 𝚡 𝟻 𝙵$	$[𝖿 𝟥 𝟤 𝖿 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝗀 𝖾$	$𝟶 𝚡 𝟼 𝟶$	$[𝖿 𝟥 𝟤 𝖿 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝖾 𝗊$	$𝟶 𝚡 𝟼 𝟷$	$[𝖿 𝟨 𝟦 𝖿 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝗇 𝖾$	$𝟶 𝚡 𝟼 𝟸$	$[𝖿 𝟨 𝟦 𝖿 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝗅 𝗍$	$𝟶 𝚡 𝟼 𝟹$	$[𝖿 𝟨 𝟦 𝖿 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝗀 𝗍$	$𝟶 𝚡 𝟼 𝟺$	$[𝖿 𝟨 𝟦 𝖿 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝗅 𝖾$	$𝟶 𝚡 𝟼 𝟻$	$[𝖿 𝟨 𝟦 𝖿 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝗀 𝖾$	$𝟶 𝚡 𝟼 𝟼$	$[𝖿 𝟨 𝟦 𝖿 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝖼 𝗅 𝗓$	$𝟶 𝚡 𝟼 𝟽$	$[𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝖼 𝗍 𝗓$	$𝟶 𝚡 𝟼 𝟾$	$[𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗉 𝗈 𝗉 𝖼 𝗇 𝗍$	$𝟶 𝚡 𝟼 𝟿$	$[𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝖺 𝖽 𝖽$	$𝟶 𝚡 𝟼 𝙰$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗌 𝗎 𝖻$	$𝟶 𝚡 𝟼 𝙱$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗆 𝗎 𝗅$	$𝟶 𝚡 𝟼 𝙲$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝖽 𝗂 𝗏_𝗌$	$𝟶 𝚡 𝟼 𝙳$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝖽 𝗂 𝗏_𝗎$	$𝟶 𝚡 𝟼 𝙴$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗋 𝖾 𝗆_𝗌$	$𝟶 𝚡 𝟼 𝙵$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗋 𝖾 𝗆_𝗎$	$𝟶 𝚡 𝟽 𝟶$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝖺 𝗇 𝖽$	$𝟶 𝚡 𝟽 𝟷$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗈 𝗋$	$𝟶 𝚡 𝟽 𝟸$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗑 𝗈 𝗋$	$𝟶 𝚡 𝟽 𝟹$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗌 𝗁 𝗅$	$𝟶 𝚡 𝟽 𝟺$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗌 𝗁 𝗋_𝗌$	$𝟶 𝚡 𝟽 𝟻$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗌 𝗁 𝗋_𝗎$	$𝟶 𝚡 𝟽 𝟼$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗋 𝗈 𝗍 𝗅$	$𝟶 𝚡 𝟽 𝟽$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗋 𝗈 𝗍 𝗋$	$𝟶 𝚡 𝟽 𝟾$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝖼 𝗅 𝗓$	$𝟶 𝚡 𝟽 𝟿$	$[𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝖼 𝗍 𝗓$	$𝟶 𝚡 𝟽 𝙰$	$[𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗉 𝗈 𝗉 𝖼 𝗇 𝗍$	$𝟶 𝚡 𝟽 𝙱$	$[𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝖺 𝖽 𝖽$	$𝟶 𝚡 𝟽 𝙲$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗌 𝗎 𝖻$	$𝟶 𝚡 𝟽 𝙳$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗆 𝗎 𝗅$	$𝟶 𝚡 𝟽 𝙴$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝖽 𝗂 𝗏_𝗌$	$𝟶 𝚡 𝟽 𝙵$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝖽 𝗂 𝗏_𝗎$	$𝟶 𝚡 𝟾 𝟶$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗋 𝖾 𝗆_𝗌$	$𝟶 𝚡 𝟾 𝟷$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗋 𝖾 𝗆_𝗎$	$𝟶 𝚡 𝟾 𝟸$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝖺 𝗇 𝖽$	$𝟶 𝚡 𝟾 𝟹$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗈 𝗋$	$𝟶 𝚡 𝟾 𝟺$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗑 𝗈 𝗋$	$𝟶 𝚡 𝟾 𝟻$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗌 𝗁 𝗅$	$𝟶 𝚡 𝟾 𝟼$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗌 𝗁 𝗋_𝗌$	$𝟶 𝚡 𝟾 𝟽$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗌 𝗁 𝗋_𝗎$	$𝟶 𝚡 𝟾 𝟾$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗋 𝗈 𝗍 𝗅$	$𝟶 𝚡 𝟾 𝟿$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗋 𝗈 𝗍 𝗋$	$𝟶 𝚡 𝟾 𝙰$	$[𝗂 𝟨 𝟦 𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝖺 𝖻 𝗌$	$𝟶 𝚡 𝟾 𝙱$	$[𝖿 𝟥 𝟤] \to [𝖿 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝗇 𝖾 𝗀$	$𝟶 𝚡 𝟾 𝙲$	$[𝖿 𝟥 𝟤] \to [𝖿 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝖼 𝖾 𝗂 𝗅$	$𝟶 𝚡 𝟾 𝙳$	$[𝖿 𝟥 𝟤] \to [𝖿 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝖿 𝗅 𝗈 𝗈 𝗋$	$𝟶 𝚡 𝟾 𝙴$	$[𝖿 𝟥 𝟤] \to [𝖿 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝗍 𝗋 𝗎 𝗇 𝖼$	$𝟶 𝚡 𝟾 𝙵$	$[𝖿 𝟥 𝟤] \to [𝖿 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝗇 𝖾 𝖺 𝗋 𝖾 𝗌 𝗍$	$𝟶 𝚡 𝟿 𝟶$	$[𝖿 𝟥 𝟤] \to [𝖿 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝗌 𝗊 𝗋 𝗍$	$𝟶 𝚡 𝟿 𝟷$	$[𝖿 𝟥 𝟤] \to [𝖿 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝖺 𝖽 𝖽$	$𝟶 𝚡 𝟿 𝟸$	$[𝖿 𝟥 𝟤 𝖿 𝟥 𝟤] \to [𝖿 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝗌 𝗎 𝖻$	$𝟶 𝚡 𝟿 𝟹$	$[𝖿 𝟥 𝟤 𝖿 𝟥 𝟤] \to [𝖿 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝗆 𝗎 𝗅$	$𝟶 𝚡 𝟿 𝟺$	$[𝖿 𝟥 𝟤 𝖿 𝟥 𝟤] \to [𝖿 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝖽 𝗂 𝗏$	$𝟶 𝚡 𝟿 𝟻$	$[𝖿 𝟥 𝟤 𝖿 𝟥 𝟤] \to [𝖿 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝗆 𝗂 𝗇$	$𝟶 𝚡 𝟿 𝟼$	$[𝖿 𝟥 𝟤 𝖿 𝟥 𝟤] \to [𝖿 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝗆 𝖺 𝗑$	$𝟶 𝚡 𝟿 𝟽$	$[𝖿 𝟥 𝟤 𝖿 𝟥 𝟤] \to [𝖿 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝖼 𝗈 𝗉 𝗒 𝗌 𝗂 𝗀 𝗇$	$𝟶 𝚡 𝟿 𝟾$	$[𝖿 𝟥 𝟤 𝖿 𝟥 𝟤] \to [𝖿 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝖺 𝖻 𝗌$	$𝟶 𝚡 𝟿 𝟿$	$[𝖿 𝟨 𝟦] \to [𝖿 𝟨 𝟦]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝗇 𝖾 𝗀$	$𝟶 𝚡 𝟿 𝙰$	$[𝖿 𝟨 𝟦] \to [𝖿 𝟨 𝟦]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝖼 𝖾 𝗂 𝗅$	$𝟶 𝚡 𝟿 𝙱$	$[𝖿 𝟨 𝟦] \to [𝖿 𝟨 𝟦]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝖿 𝗅 𝗈 𝗈 𝗋$	$𝟶 𝚡 𝟿 𝙲$	$[𝖿 𝟨 𝟦] \to [𝖿 𝟨 𝟦]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝗍 𝗋 𝗎 𝗇 𝖼$	$𝟶 𝚡 𝟿 𝙳$	$[𝖿 𝟨 𝟦] \to [𝖿 𝟨 𝟦]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝗇 𝖾 𝖺 𝗋 𝖾 𝗌 𝗍$	$𝟶 𝚡 𝟿 𝙴$	$[𝖿 𝟨 𝟦] \to [𝖿 𝟨 𝟦]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝗌 𝗊 𝗋 𝗍$	$𝟶 𝚡 𝟿 𝙵$	$[𝖿 𝟨 𝟦] \to [𝖿 𝟨 𝟦]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝖺 𝖽 𝖽$	$𝟶 𝚡 𝙰 𝟶$	$[𝖿 𝟨 𝟦 𝖿 𝟨 𝟦] \to [𝖿 𝟨 𝟦]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝗌 𝗎 𝖻$	$𝟶 𝚡 𝙰 𝟷$	$[𝖿 𝟨 𝟦 𝖿 𝟨 𝟦] \to [𝖿 𝟨 𝟦]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝗆 𝗎 𝗅$	$𝟶 𝚡 𝙰 𝟸$	$[𝖿 𝟨 𝟦 𝖿 𝟨 𝟦] \to [𝖿 𝟨 𝟦]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝖽 𝗂 𝗏$	$𝟶 𝚡 𝙰 𝟹$	$[𝖿 𝟨 𝟦 𝖿 𝟨 𝟦] \to [𝖿 𝟨 𝟦]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝗆 𝗂 𝗇$	$𝟶 𝚡 𝙰 𝟺$	$[𝖿 𝟨 𝟦 𝖿 𝟨 𝟦] \to [𝖿 𝟨 𝟦]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝗆 𝖺 𝗑$	$𝟶 𝚡 𝙰 𝟻$	$[𝖿 𝟨 𝟦 𝖿 𝟨 𝟦] \to [𝖿 𝟨 𝟦]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝖼 𝗈 𝗉 𝗒 𝗌 𝗂 𝗀 𝗇$	$𝟶 𝚡 𝙰 𝟼$	$[𝖿 𝟨 𝟦 𝖿 𝟨 𝟦] \to [𝖿 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗐 𝗋 𝖺 𝗉_𝗂 𝟨 𝟦$	$𝟶 𝚡 𝙰 𝟽$	$[𝗂 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗍 𝗋 𝗎 𝗇 𝖼_𝖿 𝟥 𝟤_𝗌$	$𝟶 𝚡 𝙰 𝟾$	$[𝖿 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗍 𝗋 𝗎 𝗇 𝖼_𝖿 𝟥 𝟤_𝗎$	$𝟶 𝚡 𝙰 𝟿$	$[𝖿 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗍 𝗋 𝗎 𝗇 𝖼_𝖿 𝟨 𝟦_𝗌$	$𝟶 𝚡 𝙰 𝙰$	$[𝖿 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗍 𝗋 𝗎 𝗇 𝖼_𝖿 𝟨 𝟦_𝗎$	$𝟶 𝚡 𝙰 𝙱$	$[𝖿 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝖾 𝗑 𝗍 𝖾 𝗇 𝖽_𝗂 𝟥 𝟤_𝗌$	$𝟶 𝚡 𝙰 𝙲$	$[𝗂 𝟥 𝟤] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝖾 𝗑 𝗍 𝖾 𝗇 𝖽_𝗂 𝟥 𝟤_𝗎$	$𝟶 𝚡 𝙰 𝙳$	$[𝗂 𝟥 𝟤] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗍 𝗋 𝗎 𝗇 𝖼_𝖿 𝟥 𝟤_𝗌$	$𝟶 𝚡 𝙰 𝙴$	$[𝖿 𝟥 𝟤] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗍 𝗋 𝗎 𝗇 𝖼_𝖿 𝟥 𝟤_𝗎$	$𝟶 𝚡 𝙰 𝙵$	$[𝖿 𝟥 𝟤] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗍 𝗋 𝗎 𝗇 𝖼_𝖿 𝟨 𝟦_𝗌$	$𝟶 𝚡 𝙱 𝟶$	$[𝖿 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗍 𝗋 𝗎 𝗇 𝖼_𝖿 𝟨 𝟦_𝗎$	$𝟶 𝚡 𝙱 𝟷$	$[𝖿 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝖼 𝗈 𝗇 𝗏 𝖾 𝗋 𝗍_𝗂 𝟥 𝟤_𝗌$	$𝟶 𝚡 𝙱 𝟸$	$[𝗂 𝟥 𝟤] \to [𝖿 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝖼 𝗈 𝗇 𝗏 𝖾 𝗋 𝗍_𝗂 𝟥 𝟤_𝗎$	$𝟶 𝚡 𝙱 𝟹$	$[𝗂 𝟥 𝟤] \to [𝖿 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝖼 𝗈 𝗇 𝗏 𝖾 𝗋 𝗍_𝗂 𝟨 𝟦_𝗌$	$𝟶 𝚡 𝙱 𝟺$	$[𝗂 𝟨 𝟦] \to [𝖿 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝖼 𝗈 𝗇 𝗏 𝖾 𝗋 𝗍_𝗂 𝟨 𝟦_𝗎$	$𝟶 𝚡 𝙱 𝟻$	$[𝗂 𝟨 𝟦] \to [𝖿 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝖽 𝖾 𝗆 𝗈 𝗍 𝖾_𝖿 𝟨 𝟦$	$𝟶 𝚡 𝙱 𝟼$	$[𝖿 𝟨 𝟦] \to [𝖿 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝖼 𝗈 𝗇 𝗏 𝖾 𝗋 𝗍_𝗂 𝟥 𝟤_𝗌$	$𝟶 𝚡 𝙱 𝟽$	$[𝗂 𝟥 𝟤] \to [𝖿 𝟨 𝟦]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝖼 𝗈 𝗇 𝗏 𝖾 𝗋 𝗍_𝗂 𝟥 𝟤_𝗎$	$𝟶 𝚡 𝙱 𝟾$	$[𝗂 𝟥 𝟤] \to [𝖿 𝟨 𝟦]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝖼 𝗈 𝗇 𝗏 𝖾 𝗋 𝗍_𝗂 𝟨 𝟦_𝗌$	$𝟶 𝚡 𝙱 𝟿$	$[𝗂 𝟨 𝟦] \to [𝖿 𝟨 𝟦]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝖼 𝗈 𝗇 𝗏 𝖾 𝗋 𝗍_𝗂 𝟨 𝟦_𝗎$	$𝟶 𝚡 𝙱 𝙰$	$[𝗂 𝟨 𝟦] \to [𝖿 𝟨 𝟦]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝗉 𝗋 𝗈 𝗆 𝗈 𝗍 𝖾_𝖿 𝟥 𝟤$	$𝟶 𝚡 𝙱 𝙱$	$[𝖿 𝟥 𝟤] \to [𝖿 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗋 𝖾 𝗂 𝗇 𝗍 𝖾 𝗋 𝗉 𝗋 𝖾 𝗍_𝖿 𝟥 𝟤$	$𝟶 𝚡 𝙱 𝙲$	$[𝖿 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗋 𝖾 𝗂 𝗇 𝗍 𝖾 𝗋 𝗉 𝗋 𝖾 𝗍_𝖿 𝟨 𝟦$	$𝟶 𝚡 𝙱 𝙳$	$[𝖿 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝖿 𝟥 𝟤 . 𝗋 𝖾 𝗂 𝗇 𝗍 𝖾 𝗋 𝗉 𝗋 𝖾 𝗍_𝗂 𝟥 𝟤$	$𝟶 𝚡 𝙱 𝙴$	$[𝗂 𝟥 𝟤] \to [𝖿 𝟥 𝟤]$	validation	execution (operator)
$𝖿 𝟨 𝟦 . 𝗋 𝖾 𝗂 𝗇 𝗍 𝖾 𝗋 𝗉 𝗋 𝖾 𝗍_𝗂 𝟨 𝟦$	$𝟶 𝚡 𝙱 𝙵$	$[𝗂 𝟨 𝟦] \to [𝖿 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝖾 𝗑 𝗍 𝖾 𝗇 𝖽 𝟪_𝗌$	$𝟶 𝚡 𝙲 𝟶$	$[𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝖾 𝗑 𝗍 𝖾 𝗇 𝖽 𝟣 𝟨_𝗌$	$𝟶 𝚡 𝙲 𝟷$	$[𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝖾 𝗑 𝗍 𝖾 𝗇 𝖽 𝟪_𝗌$	$𝟶 𝚡 𝙲 𝟸$	$[𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝖾 𝗑 𝗍 𝖾 𝗇 𝖽 𝟣 𝟨_𝗌$	$𝟶 𝚡 𝙲 𝟹$	$[𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝖾 𝗑 𝗍 𝖾 𝗇 𝖽 𝟥 𝟤_𝗌$	$𝟶 𝚡 𝙲 𝟺$	$[𝗂 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
(reserved)	$𝟶 𝚡 𝙲 𝟻$
(reserved)	$𝟶 𝚡 𝙲 𝟼$
(reserved)	$𝟶 𝚡 𝙲 𝟽$
(reserved)	$𝟶 𝚡 𝙲 𝟾$
(reserved)	$𝟶 𝚡 𝙲 𝟿$
(reserved)	$𝟶 𝚡 𝙲 𝙰$
(reserved)	$𝟶 𝚡 𝙲 𝙱$
(reserved)	$𝟶 𝚡 𝙲 𝙲$
(reserved)	$𝟶 𝚡 𝙲 𝙳$
(reserved)	$𝟶 𝚡 𝙲 𝙴$
(reserved)	$𝟶 𝚡 𝙲 𝙵$
$𝗋 𝖾 𝖿 . 𝗇 𝗎 𝗅 𝗅 h t$	$𝟶 𝚡 𝙳 𝟶$	$[] \to [(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 h t)]$	validation	execution
$𝗋 𝖾 𝖿 . 𝗂 𝗌_𝗇 𝗎 𝗅 𝗅$	$𝟶 𝚡 𝙳 𝟷$	$[(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 h t)] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗋 𝖾 𝖿 . 𝖿 𝗎 𝗇 𝖼 𝑥$	$𝟶 𝚡 𝙳 𝟸$	$[] \to [𝗋 𝖾 𝖿 h t]$	validation	execution
$𝗋 𝖾 𝖿 . 𝖾 𝗊$	$𝟶 𝚡 𝙳 𝟹$	$[𝖾 𝗊 𝗋 𝖾 𝖿 𝖾 𝗊 𝗋 𝖾 𝖿] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗋 𝖾 𝖿 . 𝖺 𝗌_𝗇 𝗈 𝗇_𝗇 𝗎 𝗅 𝗅$	$𝟶 𝚡 𝙳 𝟺$	$[(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 h t)] \to [(𝗋 𝖾 𝖿 h t)]$	validation	execution
$𝖻 𝗋_𝗈 𝗇_𝗇 𝗎 𝗅 𝗅 𝑙$	$𝟶 𝚡 𝙳 𝟻$	$[𝑡 * (𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 h t)] \to [𝑡 * (𝗋 𝖾 𝖿 h t)]$	validation	execution
$𝖻 𝗋_𝗈 𝗇_𝗇 𝗈 𝗇_𝗇 𝗎 𝗅 𝗅 𝑙$	$𝟶 𝚡 𝙳 𝟼$	$[𝑡 * (𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 h t)] \to [𝑡 *]$	validation	execution
(reserved)	$𝟶 𝚡 𝙳 𝟽$
(reserved)	$𝟶 𝚡 𝙳 𝟾$
(reserved)	$𝟶 𝚡 𝙳 𝟿$
(reserved)	$𝟶 𝚡 𝙳 𝙰$
(reserved)	$𝟶 𝚡 𝙳 𝙱$
(reserved)	$𝟶 𝚡 𝙳 𝙲$
(reserved)	$𝟶 𝚡 𝙳 𝙳$
(reserved)	$𝟶 𝚡 𝙳 𝙴$
(reserved)	$𝟶 𝚡 𝙳 𝙵$
(reserved)	$𝟶 𝚡 𝙴 𝟶$
(reserved)	$𝟶 𝚡 𝙴 𝟷$
(reserved)	$𝟶 𝚡 𝙴 𝟸$
(reserved)	$𝟶 𝚡 𝙴 𝟹$
(reserved)	$𝟶 𝚡 𝙴 𝟺$
(reserved)	$𝟶 𝚡 𝙴 𝟻$
(reserved)	$𝟶 𝚡 𝙴 𝟼$
(reserved)	$𝟶 𝚡 𝙴 𝟽$
(reserved)	$𝟶 𝚡 𝙴 𝟾$
(reserved)	$𝟶 𝚡 𝙴 𝟿$
(reserved)	$𝟶 𝚡 𝙴 𝙰$
(reserved)	$𝟶 𝚡 𝙴 𝙱$
(reserved)	$𝟶 𝚡 𝙴 𝙲$
(reserved)	$𝟶 𝚡 𝙴 𝙳$
(reserved)	$𝟶 𝚡 𝙴 𝙴$
(reserved)	$𝟶 𝚡 𝙴 𝙵$
(reserved)	$𝟶 𝚡 𝙵 𝟶$
(reserved)	$𝟶 𝚡 𝙵 𝟷$
(reserved)	$𝟶 𝚡 𝙵 𝟸$
(reserved)	$𝟶 𝚡 𝙵 𝟹$
(reserved)	$𝟶 𝚡 𝙵 𝟺$
(reserved)	$𝟶 𝚡 𝙵 𝟻$
(reserved)	$𝟶 𝚡 𝙵 𝟼$
(reserved)	$𝟶 𝚡 𝙵 𝟽$
(reserved)	$𝟶 𝚡 𝙵 𝟾$
(reserved)	$𝟶 𝚡 𝙵 𝟿$
(reserved)	$𝟶 𝚡 𝙵 𝙰$
$𝗌 𝗍 𝗋 𝗎 𝖼 𝗍 . 𝗇 𝖾 𝗐 𝑥$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟶 𝟶$	$[𝑡 *] \to [(𝗋 𝖾 𝖿 𝑥)]$	validation	execution
$𝗌 𝗍 𝗋 𝗎 𝖼 𝗍 . 𝗇 𝖾 𝗐_𝖽 𝖾 𝖿 𝖺 𝗎 𝗅 𝗍 𝑥$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟶 𝟷$	$[] \to [(𝗋 𝖾 𝖿 𝑥)]$	validation	execution
$𝗌 𝗍 𝗋 𝗎 𝖼 𝗍 . 𝗀 𝖾 𝗍 𝑥 𝑦$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟶 𝟸$	$[(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝑥)] \to [𝑡]$	validation	execution
$𝗌 𝗍 𝗋 𝗎 𝖼 𝗍 . 𝗀 𝖾 𝗍_𝗌 𝑥 𝑦$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟶 𝟹$	$[(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝑥)] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗌 𝗍 𝗋 𝗎 𝖼 𝗍 . 𝗀 𝖾 𝗍_𝗎 𝑥 𝑦$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟶 𝟺$	$[(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝑥)] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗌 𝗍 𝗋 𝗎 𝖼 𝗍 . 𝗌 𝖾 𝗍 𝑥 𝑦$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟶 𝟻$	$[(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝑥) 𝑡] \to []$	validation	execution
$𝖺 𝗋 𝗋 𝖺 𝗒 . 𝗇 𝖾 𝗐 𝑥$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟶 𝟼$	$[𝑡 𝗂 𝟥 𝟤] \to [(𝗋 𝖾 𝖿 𝑥)]$	validation	execution
$𝖺 𝗋 𝗋 𝖺 𝗒 . 𝗇 𝖾 𝗐_𝖽 𝖾 𝖿 𝖺 𝗎 𝗅 𝗍 𝑥$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟶 𝟽$	$[𝗂 𝟥 𝟤] \to [(𝗋 𝖾 𝖿 𝑥)]$	validation	execution
$𝖺 𝗋 𝗋 𝖺 𝗒 . 𝗇 𝖾 𝗐_𝖿 𝗂 𝗑 𝖾 𝖽 𝑥 𝑛$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟶 𝟾$	$[𝑡 𝑛] \to [(𝗋 𝖾 𝖿 𝑥)]$	validation	execution
$𝖺 𝗋 𝗋 𝖺 𝗒 . 𝗇 𝖾 𝗐_𝖽 𝖺 𝗍 𝖺 𝑥 𝑦$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟶 𝟿$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [(𝗋 𝖾 𝖿 𝑥)]$	validation	execution
$𝖺 𝗋 𝗋 𝖺 𝗒 . 𝗇 𝖾 𝗐_𝖾 𝗅 𝖾 𝗆 𝑥 𝑦$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟶 𝙰$	$[𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to [(𝗋 𝖾 𝖿 𝑥)]$	validation	execution
$𝖺 𝗋 𝗋 𝖺 𝗒 . 𝗀 𝖾 𝗍 𝑥$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟶 𝙱$	$[(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝑥) 𝗂 𝟥 𝟤] \to [𝑡]$	validation	execution
$𝖺 𝗋 𝗋 𝖺 𝗒 . 𝗀 𝖾 𝗍_𝗌 𝑥$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟶 𝙲$	$[(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝑥) 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝖺 𝗋 𝗋 𝖺 𝗒 . 𝗀 𝖾 𝗍_𝗎 𝑥$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟶 𝙳$	$[(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝑥) 𝗂 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝖺 𝗋 𝗋 𝖺 𝗒 . 𝗌 𝖾 𝗍 𝑥$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟶 𝙴$	$[(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝑥) 𝗂 𝟥 𝟤 𝑡] \to []$	validation	execution
$𝖺 𝗋 𝗋 𝖺 𝗒 . 𝗅 𝖾 𝗇$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟶 𝙵$	$[(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝖺 𝗋 𝗋 𝖺 𝗒)] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝖺 𝗋 𝗋 𝖺 𝗒 . 𝖿 𝗂 𝗅 𝗅 𝑥$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟷 𝟶$	$[(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝑥) 𝗂 𝟥 𝟤 𝑡 𝗂 𝟥 𝟤] \to []$	validation	execution
$𝖺 𝗋 𝗋 𝖺 𝗒 . 𝖼 𝗈 𝗉 𝗒 𝑥 𝑦$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟷 𝟷$	$[(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝑥) 𝗂 𝟥 𝟤 (𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝑦) 𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to []$	validation	execution
$𝖺 𝗋 𝗋 𝖺 𝗒 . 𝗂 𝗇 𝗂 𝗍_𝖽 𝖺 𝗍 𝖺 𝑥 𝑦$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟷 𝟸$	$[(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝑥) 𝗂 𝟥 𝟤 𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to []$	validation	execution
$𝖺 𝗋 𝗋 𝖺 𝗒 . 𝗂 𝗇 𝗂 𝗍_𝖾 𝗅 𝖾 𝗆 𝑥 𝑦$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟷 𝟹$	$[(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝑥) 𝗂 𝟥 𝟤 𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to []$	validation	execution
$𝗋 𝖾 𝖿 . 𝗍 𝖾 𝗌 𝗍 (𝗋 𝖾 𝖿 𝑡)$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟷 𝟺$	$[(𝗋 𝖾 𝖿 𝑡')] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗋 𝖾 𝖿 . 𝗍 𝖾 𝗌 𝗍 (𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝑡)$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟷 𝟻$	$[(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝑡')] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗋 𝖾 𝖿 . 𝖼 𝖺 𝗌 𝗍 (𝗋 𝖾 𝖿 𝑡)$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟷 𝟼$	$[(𝗋 𝖾 𝖿 𝑡')] \to [(𝗋 𝖾 𝖿 𝑡)]$	validation	execution
$𝗋 𝖾 𝖿 . 𝖼 𝖺 𝗌 𝗍 (𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝑡)$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟷 𝟽$	$[(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝑡')] \to [(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝑡)]$	validation	execution
$𝖻 𝗋_𝗈 𝗇_𝖼 𝖺 𝗌 𝗍 𝑡 1 𝑡 2$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟷 𝟾$	$[𝑡 1] \to [𝑡 1 ∖ 𝑡 2]$	validation	execution
$𝖻 𝗋_𝗈 𝗇_𝖼 𝖺 𝗌 𝗍_𝖿 𝖺 𝗂 𝗅 𝑡 1 𝑡 2$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟷 𝟿$	$[𝑡 1] \to [𝑡 2]$	validation	execution
$𝖺 𝗇 𝗒 . 𝖼 𝗈 𝗇 𝗏 𝖾 𝗋 𝗍_𝖾 𝗑 𝗍 𝖾 𝗋 𝗇$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟷 𝙰$	$[(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝖾 𝗑 𝗍 𝖾 𝗋 𝗇)] \to [(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝖺 𝗇 𝗒)]$	validation	execution
$𝖾 𝗑 𝗍 𝖾 𝗋 𝗇 . 𝖼 𝗈 𝗇 𝗏 𝖾 𝗋 𝗍_𝖺 𝗇 𝗒$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟷 𝙱$	$[(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝖺 𝗇 𝗒)] \to [(𝗋 𝖾 𝖿 𝗇 𝗎 𝗅 𝗅 𝖾 𝗑 𝗍 𝖾 𝗋 𝗇)]$	validation	execution
$𝗋 𝖾 𝖿 . 𝗂 𝟥 𝟣$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟷 𝙲$	$[𝗂 𝟥 𝟤] \to [(𝗋 𝖾 𝖿 𝗂 𝟥 𝟣)]$	validation	execution
$𝗂 𝟥 𝟣 . 𝗀 𝖾 𝗍_𝗌$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟷 𝙳$	$[𝗂 𝟥 𝟣 𝗋 𝖾 𝖿] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗂 𝟥 𝟣 . 𝗀 𝖾 𝗍_𝗎$	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟷 𝙴$	$[𝗂 𝟥 𝟣 𝗋 𝖾 𝖿] \to [𝗂 𝟥 𝟤]$	validation	execution
(reserved)	$𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟷 𝙴 \dots$
$𝗂 𝟥 𝟤 . 𝗍 𝗋 𝗎 𝗇 𝖼_𝗌 𝖺 𝗍_𝖿 𝟥 𝟤_𝗌$	$𝟶 𝚡 𝙵 𝙲 𝟶 𝚡 𝟶 𝟶$	$[𝖿 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗍 𝗋 𝗎 𝗇 𝖼_𝗌 𝖺 𝗍_𝖿 𝟥 𝟤_𝗎$	$𝟶 𝚡 𝙵 𝙲 𝟶 𝚡 𝟶 𝟷$	$[𝖿 𝟥 𝟤] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗍 𝗋 𝗎 𝗇 𝖼_𝗌 𝖺 𝗍_𝖿 𝟨 𝟦_𝗌$	$𝟶 𝚡 𝙵 𝙲 𝟶 𝚡 𝟶 𝟸$	$[𝖿 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟥 𝟤 . 𝗍 𝗋 𝗎 𝗇 𝖼_𝗌 𝖺 𝗍_𝖿 𝟨 𝟦_𝗎$	$𝟶 𝚡 𝙵 𝙲 𝟶 𝚡 𝟶 𝟹$	$[𝖿 𝟨 𝟦] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗍 𝗋 𝗎 𝗇 𝖼_𝗌 𝖺 𝗍_𝖿 𝟥 𝟤_𝗌$	$𝟶 𝚡 𝙵 𝙲 𝟶 𝚡 𝟶 𝟺$	$[𝖿 𝟥 𝟤] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗍 𝗋 𝗎 𝗇 𝖼_𝗌 𝖺 𝗍_𝖿 𝟥 𝟤_𝗎$	$𝟶 𝚡 𝙵 𝙲 𝟶 𝚡 𝟶 𝟻$	$[𝖿 𝟥 𝟤] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗍 𝗋 𝗎 𝗇 𝖼_𝗌 𝖺 𝗍_𝖿 𝟨 𝟦_𝗌$	$𝟶 𝚡 𝙵 𝙲 𝟶 𝚡 𝟶 𝟼$	$[𝖿 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗂 𝟨 𝟦 . 𝗍 𝗋 𝗎 𝗇 𝖼_𝗌 𝖺 𝗍_𝖿 𝟨 𝟦_𝗎$	$𝟶 𝚡 𝙵 𝙲 𝟶 𝚡 𝟶 𝟽$	$[𝖿 𝟨 𝟦] \to [𝗂 𝟨 𝟦]$	validation	execution (operator)
$𝗆 𝖾 𝗆 𝗈 𝗋 𝗒 . 𝗂 𝗇 𝗂 𝗍 𝑥 𝑦$	$𝟶 𝚡 𝙵 𝙲 𝟶 𝚡 𝟶 𝟾$	$[a t 𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to []$	validation	execution
$𝖽 𝖺 𝗍 𝖺 . 𝖽 𝗋 𝗈 𝗉 𝑥$	$𝟶 𝚡 𝙵 𝙲 𝟶 𝚡 𝟶 𝟿$	$[] \to []$	validation	execution
$𝗆 𝖾 𝗆 𝗈 𝗋 𝗒 . 𝖼 𝗈 𝗉 𝗒 𝑥 𝑦$	$𝟶 𝚡 𝙵 𝙲 𝟶 𝚡 𝟶 𝙰$	$[a t 1 a t 2 a t] \to []$	validation	execution
$𝗆 𝖾 𝗆 𝗈 𝗋 𝗒 . 𝖿 𝗂 𝗅 𝗅 𝑦$	$𝟶 𝚡 𝙵 𝙲 𝟶 𝚡 𝟶 𝙱$	$[a t 𝗂 𝟥 𝟤 a t] \to []$	validation	execution
$𝗍 𝖺 𝖻 𝗅 𝖾 . 𝗂 𝗇 𝗂 𝗍 𝑥 𝑦$	$𝟶 𝚡 𝙵 𝙲 𝟶 𝚡 𝟶 𝙲$	$[a t 𝗂 𝟥 𝟤 𝗂 𝟥 𝟤] \to []$	validation	execution
$𝖾 𝗅 𝖾 𝗆 . 𝖽 𝗋 𝗈 𝗉 𝑥$	$𝟶 𝚡 𝙵 𝙲 𝟶 𝚡 𝟶 𝙳$	$[] \to []$	validation	execution
$𝗍 𝖺 𝖻 𝗅 𝖾 . 𝖼 𝗈 𝗉 𝗒 𝑥 𝑦$	$𝟶 𝚡 𝙵 𝙲 𝟶 𝚡 𝟶 𝙴$	$[a t 1 a t 2 a t] \to []$	validation	execution
$𝗍 𝖺 𝖻 𝗅 𝖾 . 𝗀 𝗋 𝗈 𝗐 𝑥$	$𝟶 𝚡 𝙵 𝙲 𝟶 𝚡 𝟶 𝙵$	$[𝑡 a t] \to [a t]$	validation	execution
$𝗍 𝖺 𝖻 𝗅 𝖾 . 𝗌 𝗂 𝗓 𝖾 𝑥$	$𝟶 𝚡 𝙵 𝙲 𝟶 𝚡 𝟷 𝟶$	$[] \to [a t]$	validation	execution
$𝗍 𝖺 𝖻 𝗅 𝖾 . 𝖿 𝗂 𝗅 𝗅 𝑥$	$𝟶 𝚡 𝙵 𝙲 𝟶 𝚡 𝟷 𝟷$	$[a t 𝑡 a t] \to []$	validation	execution
(reserved)	$𝟶 𝚡 𝙵 𝙲 𝟶 𝚡 𝟷 𝙴 \dots$
$𝗏 𝟣 𝟤 𝟪 . 𝗅 𝗈 𝖺 𝖽 𝑥 m e m a r g$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟶 𝟶$	$[a t] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗅 𝗈 𝖺 𝖽 𝟪 𝗑 𝟪_𝗌 𝑥 m e m a r g$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟶 𝟷$	$[a t] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗅 𝗈 𝖺 𝖽 𝟪 𝗑 𝟪_𝗎 𝑥 m e m a r g$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟶 𝟸$	$[a t] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗅 𝗈 𝖺 𝖽 𝟣 𝟨 𝗑 𝟦_𝗌 𝑥 m e m a r g$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟶 𝟹$	$[a t] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗅 𝗈 𝖺 𝖽 𝟣 𝟨 𝗑 𝟦_𝗎 𝑥 m e m a r g$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟶 𝟺$	$[a t] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗅 𝗈 𝖺 𝖽 𝟥 𝟤 𝗑 𝟤_𝗌 𝑥 m e m a r g$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟶 𝟻$	$[a t] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗅 𝗈 𝖺 𝖽 𝟥 𝟤 𝗑 𝟤_𝗎 𝑥 m e m a r g$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟶 𝟼$	$[a t] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗅 𝗈 𝖺 𝖽 𝟪_𝗌 𝗉 𝗅 𝖺 𝗍 𝑥 m e m a r g$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟶 𝟽$	$[a t] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗅 𝗈 𝖺 𝖽 𝟣 𝟨_𝗌 𝗉 𝗅 𝖺 𝗍 𝑥 m e m a r g$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟶 𝟾$	$[a t] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗅 𝗈 𝖺 𝖽 𝟥 𝟤_𝗌 𝗉 𝗅 𝖺 𝗍 𝑥 m e m a r g$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟶 𝟿$	$[a t] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗅 𝗈 𝖺 𝖽 𝟨 𝟦_𝗌 𝗉 𝗅 𝖺 𝗍 𝑥 m e m a r g$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟶 𝙰$	$[a t] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗌 𝗍 𝗈 𝗋 𝖾 𝑥 m e m a r g$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟶 𝙱$	$[a t 𝗏 𝟣 𝟤 𝟪] \to []$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝖼 𝗈 𝗇 𝗌 𝗍 i 128$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟶 𝙲$	$[] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗌 𝗁 𝗎 𝖿 𝖿 𝗅 𝖾 l a n e i d x 16$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟶 𝙳$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗌 𝗐 𝗂 𝗓 𝗓 𝗅 𝖾$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟶 𝙴$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗌 𝗉 𝗅 𝖺 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟶 𝙵$	$[𝗂 𝟥 𝟤] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗌 𝗉 𝗅 𝖺 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟷 𝟶$	$[𝗂 𝟥 𝟤] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗌 𝗉 𝗅 𝖺 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟷 𝟷$	$[𝗂 𝟥 𝟤] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝗌 𝗉 𝗅 𝖺 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟷 𝟸$	$[𝗂 𝟨 𝟦] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗌 𝗉 𝗅 𝖺 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟷 𝟹$	$[𝖿 𝟥 𝟤] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗌 𝗉 𝗅 𝖺 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟷 𝟺$	$[𝖿 𝟨 𝟦] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝖾 𝗑 𝗍 𝗋 𝖺 𝖼 𝗍_𝗅 𝖺 𝗇 𝖾_𝗌 l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟷 𝟻$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝖾 𝗑 𝗍 𝗋 𝖺 𝖼 𝗍_𝗅 𝖺 𝗇 𝖾_𝗎 l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟷 𝟼$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗋 𝖾 𝗉 𝗅 𝖺 𝖼 𝖾_𝗅 𝖺 𝗇 𝖾 l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟷 𝟽$	$[𝗏 𝟣 𝟤 𝟪 𝗂 𝟥 𝟤] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝖾 𝗑 𝗍 𝗋 𝖺 𝖼 𝗍_𝗅 𝖺 𝗇 𝖾_𝗌 l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟷 𝟾$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝖾 𝗑 𝗍 𝗋 𝖺 𝖼 𝗍_𝗅 𝖺 𝗇 𝖾_𝗎 l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟷 𝟿$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗋 𝖾 𝗉 𝗅 𝖺 𝖼 𝖾_𝗅 𝖺 𝗇 𝖾 l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟷 𝙰$	$[𝗏 𝟣 𝟤 𝟪 𝗂 𝟥 𝟤] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝖾 𝗑 𝗍 𝗋 𝖺 𝖼 𝗍_𝗅 𝖺 𝗇 𝖾 l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟷 𝙱$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗋 𝖾 𝗉 𝗅 𝖺 𝖼 𝖾_𝗅 𝖺 𝗇 𝖾 l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟷 𝙲$	$[𝗏 𝟣 𝟤 𝟪 𝗂 𝟥 𝟤] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝖾 𝗑 𝗍 𝗋 𝖺 𝖼 𝗍_𝗅 𝖺 𝗇 𝖾 l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟷 𝙳$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗂 𝟨 𝟦]$	validation	execution
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝗋 𝖾 𝗉 𝗅 𝖺 𝖼 𝖾_𝗅 𝖺 𝗇 𝖾 l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟷 𝙴$	$[𝗏 𝟣 𝟤 𝟪 𝗂 𝟨 𝟦] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝖾 𝗑 𝗍 𝗋 𝖺 𝖼 𝗍_𝗅 𝖺 𝗇 𝖾 l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟷 𝙵$	$[𝗏 𝟣 𝟤 𝟪] \to [𝖿 𝟥 𝟤]$	validation	execution
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗋 𝖾 𝗉 𝗅 𝖺 𝖼 𝖾_𝗅 𝖺 𝗇 𝖾 l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟸 𝟶$	$[𝗏 𝟣 𝟤 𝟪 𝖿 𝟥 𝟤] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝖾 𝗑 𝗍 𝗋 𝖺 𝖼 𝗍_𝗅 𝖺 𝗇 𝖾 l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟸 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝖿 𝟨 𝟦]$	validation	execution
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗋 𝖾 𝗉 𝗅 𝖺 𝖼 𝖾_𝗅 𝖺 𝗇 𝖾 l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟸 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝖿 𝟨 𝟦] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝖾 𝗊$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟸 𝟹$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗇 𝖾$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟸 𝟺$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗅 𝗍_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟸 𝟻$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗅 𝗍_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟸 𝟼$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗀 𝗍_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟸 𝟽$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗀 𝗍_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟸 𝟾$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗅 𝖾_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟸 𝟿$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗅 𝖾_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟸 𝙰$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗀 𝖾_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟸 𝙱$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗀 𝖾_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟸 𝙲$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝖾 𝗊$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟸 𝙳$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗇 𝖾$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟸 𝙴$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗅 𝗍_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟸 𝙵$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗅 𝗍_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟹 𝟶$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗀 𝗍_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟹 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗀 𝗍_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟹 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗅 𝖾_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟹 𝟹$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗅 𝖾_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟹 𝟺$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗀 𝖾_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟹 𝟻$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗀 𝖾_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟹 𝟼$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝖾 𝗊$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟹 𝟽$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗇 𝖾$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟹 𝟾$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗅 𝗍_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟹 𝟿$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗅 𝗍_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟹 𝙰$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗀 𝗍_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟹 𝙱$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗀 𝗍_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟹 𝙲$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗅 𝖾_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟹 𝙳$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗅 𝖾_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟹 𝙴$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗀 𝖾_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟹 𝙵$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗀 𝖾_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟺 𝟶$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝖾 𝗊$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟺 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗇 𝖾$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟺 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗅 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟺 𝟹$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗀 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟺 𝟺$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗅 𝖾$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟺 𝟻$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗀 𝖾$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟺 𝟼$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝖾 𝗊$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟺 𝟽$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗇 𝖾$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟺 𝟾$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗅 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟺 𝟿$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗀 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟺 𝙰$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗅 𝖾$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟺 𝙱$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗀 𝖾$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟺 𝙲$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗏 𝟣 𝟤 𝟪 . 𝗇 𝗈 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟺 𝙳$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗏 𝟣 𝟤 𝟪 . 𝖺 𝗇 𝖽$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟺 𝙴$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗏 𝟣 𝟤 𝟪 . 𝖺 𝗇 𝖽 𝗇 𝗈 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟺 𝙵$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗏 𝟣 𝟤 𝟪 . 𝗈 𝗋$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟻 𝟶$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗏 𝟣 𝟤 𝟪 . 𝗑 𝗈 𝗋$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟻 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗏 𝟣 𝟤 𝟪 . 𝖻 𝗂 𝗍 𝗌 𝖾 𝗅 𝖾 𝖼 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟻 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗏 𝟣 𝟤 𝟪 . 𝖺 𝗇 𝗒_𝗍 𝗋 𝗎 𝖾$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟻 𝟹$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗅 𝗈 𝖺 𝖽 𝟪_𝗅 𝖺 𝗇 𝖾 m e m a r g l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟻 𝟺$	$[a t 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗅 𝗈 𝖺 𝖽 𝟣 𝟨_𝗅 𝖺 𝗇 𝖾 m e m a r g l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟻 𝟻$	$[a t 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗅 𝗈 𝖺 𝖽 𝟥 𝟤_𝗅 𝖺 𝗇 𝖾 m e m a r g l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟻 𝟼$	$[a t 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗅 𝗈 𝖺 𝖽 𝟨 𝟦_𝗅 𝖺 𝗇 𝖾 m e m a r g l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟻 𝟽$	$[a t 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗌 𝗍 𝗈 𝗋 𝖾 𝟪_𝗅 𝖺 𝗇 𝖾 m e m a r g l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟻 𝟾$	$[a t 𝗏 𝟣 𝟤 𝟪] \to []$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗌 𝗍 𝗈 𝗋 𝖾 𝟣 𝟨_𝗅 𝖺 𝗇 𝖾 m e m a r g l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟻 𝟿$	$[a t 𝗏 𝟣 𝟤 𝟪] \to []$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗌 𝗍 𝗈 𝗋 𝖾 𝟥 𝟤_𝗅 𝖺 𝗇 𝖾 m e m a r g l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟻 𝙰$	$[a t 𝗏 𝟣 𝟤 𝟪] \to []$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗌 𝗍 𝗈 𝗋 𝖾 𝟨 𝟦_𝗅 𝖺 𝗇 𝖾 m e m a r g l a n e i d x$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟻 𝙱$	$[a t 𝗏 𝟣 𝟤 𝟪] \to []$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗅 𝗈 𝖺 𝖽 𝟥 𝟤_𝗓 𝖾 𝗋 𝗈 m e m a r g$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟻 𝙲$	$[a t] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗏 𝟣 𝟤 𝟪 . 𝗅 𝗈 𝖺 𝖽 𝟨 𝟦_𝗓 𝖾 𝗋 𝗈 m e m a r g$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟻 𝙳$	$[a t] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝖽 𝖾 𝗆 𝗈 𝗍 𝖾_𝖿 𝟨 𝟦 𝗑 𝟤_𝗓 𝖾 𝗋 𝗈$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟻 𝙴$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗉 𝗋 𝗈 𝗆 𝗈 𝗍 𝖾_𝗅 𝗈 𝗐_𝖿 𝟥 𝟤 𝗑 𝟦$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟻 𝙵$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝖺 𝖻 𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟼 𝟶$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗇 𝖾 𝗀$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟼 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗉 𝗈 𝗉 𝖼 𝗇 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟼 𝟸$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝖺 𝗅 𝗅_𝗍 𝗋 𝗎 𝖾$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟼 𝟹$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝖻 𝗂 𝗍 𝗆 𝖺 𝗌 𝗄$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟼 𝟺$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗇 𝖺 𝗋 𝗋 𝗈 𝗐_𝗂 𝟣 𝟨 𝗑 𝟪_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟼 𝟻$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗇 𝖺 𝗋 𝗋 𝗈 𝗐_𝗂 𝟣 𝟨 𝗑 𝟪_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟼 𝟼$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝖼 𝖾 𝗂 𝗅$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟼 𝟽$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝖿 𝗅 𝗈 𝗈 𝗋$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟼 𝟾$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗍 𝗋 𝗎 𝗇 𝖼$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟼 𝟿$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗇 𝖾 𝖺 𝗋 𝖾 𝗌 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟼 𝙰$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗌 𝗁 𝗅$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟼 𝙱$	$[𝗏 𝟣 𝟤 𝟪 𝗂 𝟥 𝟤] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗌 𝗁 𝗋_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟼 𝙲$	$[𝗏 𝟣 𝟤 𝟪 𝗂 𝟥 𝟤] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗌 𝗁 𝗋_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟼 𝙳$	$[𝗏 𝟣 𝟤 𝟪 𝗂 𝟥 𝟤] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝖺 𝖽 𝖽$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟼 𝙴$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝖺 𝖽 𝖽_𝗌 𝖺 𝗍_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟼 𝙵$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝖺 𝖽 𝖽_𝗌 𝖺 𝗍_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟽 𝟶$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗌 𝗎 𝖻$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟽 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗌 𝗎 𝖻_𝗌 𝖺 𝗍_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟽 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗌 𝗎 𝖻_𝗌 𝖺 𝗍_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟽 𝟹$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝖼 𝖾 𝗂 𝗅$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟽 𝟺$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝖿 𝗅 𝗈 𝗈 𝗋$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟽 𝟻$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗆 𝗂 𝗇_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟽 𝟼$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗆 𝗂 𝗇_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟽 𝟽$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗆 𝖺 𝗑_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟽 𝟾$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗆 𝖺 𝗑_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟽 𝟿$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗍 𝗋 𝗎 𝗇 𝖼$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟽 𝙰$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝖺 𝗏 𝗀 𝗋_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟽 𝙱$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝖾 𝗑 𝗍 𝖺 𝖽 𝖽_𝗉 𝖺 𝗂 𝗋 𝗐 𝗂 𝗌 𝖾_𝗂 𝟪 𝗑 𝟣 𝟨_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟽 𝙲$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝖾 𝗑 𝗍 𝖺 𝖽 𝖽_𝗉 𝖺 𝗂 𝗋 𝗐 𝗂 𝗌 𝖾_𝗂 𝟪 𝗑 𝟣 𝟨_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟽 𝙳$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝖾 𝗑 𝗍 𝖺 𝖽 𝖽_𝗉 𝖺 𝗂 𝗋 𝗐 𝗂 𝗌 𝖾_𝗂 𝟣 𝟨 𝗑 𝟪_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟽 𝙴$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝖾 𝗑 𝗍 𝖺 𝖽 𝖽_𝗉 𝖺 𝗂 𝗋 𝗐 𝗂 𝗌 𝖾_𝗂 𝟣 𝟨 𝗑 𝟪_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟽 𝙵$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝖺 𝖻 𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝟶 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗇 𝖾 𝗀$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝟷 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗊 𝟣 𝟧 𝗆 𝗎 𝗅 𝗋_𝗌 𝖺 𝗍_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝟸 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝖺 𝗅 𝗅_𝗍 𝗋 𝗎 𝖾$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝟹 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝖻 𝗂 𝗍 𝗆 𝖺 𝗌 𝗄$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝟺 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗇 𝖺 𝗋 𝗋 𝗈 𝗐_𝗂 𝟥 𝟤 𝗑 𝟦_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝟻 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗇 𝖺 𝗋 𝗋 𝗈 𝗐_𝗂 𝟥 𝟤 𝗑 𝟦_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝟼 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝖾 𝗑 𝗍 𝖾 𝗇 𝖽_𝗅 𝗈 𝗐_𝗂 𝟪 𝗑 𝟣 𝟨_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝟽 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝖾 𝗑 𝗍 𝖾 𝗇 𝖽_𝗁 𝗂 𝗀 𝗁_𝗂 𝟪 𝗑 𝟣 𝟨_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝟾 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝖾 𝗑 𝗍 𝖾 𝗇 𝖽_𝗅 𝗈 𝗐_𝗂 𝟪 𝗑 𝟣 𝟨_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝟿 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝖾 𝗑 𝗍 𝖾 𝗇 𝖽_𝗁 𝗂 𝗀 𝗁_𝗂 𝟪 𝗑 𝟣 𝟨_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝙰 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗌 𝗁 𝗅$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝙱 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗂 𝟥 𝟤] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗌 𝗁 𝗋_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝙲 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗂 𝟥 𝟤] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗌 𝗁 𝗋_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝙳 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗂 𝟥 𝟤] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝖺 𝖽 𝖽$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝙴 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝖺 𝖽 𝖽_𝗌 𝖺 𝗍_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝙵 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝖺 𝖽 𝖽_𝗌 𝖺 𝗍_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝟶 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗌 𝗎 𝖻$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝟷 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗌 𝗎 𝖻_𝗌 𝖺 𝗍_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝟸 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗌 𝗎 𝖻_𝗌 𝖺 𝗍_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝟹 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗇 𝖾 𝖺 𝗋 𝖾 𝗌 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝟺 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗆 𝗎 𝗅$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝟻 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗆 𝗂 𝗇_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝟼 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗆 𝗂 𝗇_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝟽 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗆 𝖺 𝗑_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝟾 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗆 𝖺 𝗑_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝟿 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
(reserved)	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝙰 𝟶 𝚡 𝟶 𝟷$
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝖺 𝗏 𝗀 𝗋_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝙱 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝖾 𝗑 𝗍 𝗆 𝗎 𝗅_𝗅 𝗈 𝗐_𝗂 𝟪 𝗑 𝟣 𝟨_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝙲 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝖾 𝗑 𝗍 𝗆 𝗎 𝗅_𝗁 𝗂 𝗀 𝗁_𝗂 𝟪 𝗑 𝟣 𝟨_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝙳 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝖾 𝗑 𝗍 𝗆 𝗎 𝗅_𝗅 𝗈 𝗐_𝗂 𝟪 𝗑 𝟣 𝟨_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝙴 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝖾 𝗑 𝗍 𝗆 𝗎 𝗅_𝗁 𝗂 𝗀 𝗁_𝗂 𝟪 𝗑 𝟣 𝟨_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝙵 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝖺 𝖻 𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙰 𝟶 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗇 𝖾 𝗀$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙰 𝟷 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
(reserved)	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙰 𝟸 𝟶 𝚡 𝟶 𝟷$
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝖺 𝗅 𝗅_𝗍 𝗋 𝗎 𝖾$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙰 𝟹 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝖻 𝗂 𝗍 𝗆 𝖺 𝗌 𝗄$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙰 𝟺 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
(reserved)	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙰 𝟻 𝟶 𝚡 𝟶 𝟷$
(reserved)	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙰 𝟼 𝟶 𝚡 𝟶 𝟷$
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝖾 𝗑 𝗍 𝖾 𝗇 𝖽_𝗅 𝗈 𝗐_𝗂 𝟣 𝟨 𝗑 𝟪_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙰 𝟽 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝖾 𝗑 𝗍 𝖾 𝗇 𝖽_𝗁 𝗂 𝗀 𝗁_𝗂 𝟣 𝟨 𝗑 𝟪_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙰 𝟾 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝖾 𝗑 𝗍 𝖾 𝗇 𝖽_𝗅 𝗈 𝗐_𝗂 𝟣 𝟨 𝗑 𝟪_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙰 𝟿 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝖾 𝗑 𝗍 𝖾 𝗇 𝖽_𝗁 𝗂 𝗀 𝗁_𝗂 𝟣 𝟨 𝗑 𝟪_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙰 𝙰 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗌 𝗁 𝗅$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙰 𝙱 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗂 𝟥 𝟤] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗌 𝗁 𝗋_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙰 𝙲 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗂 𝟥 𝟤] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗌 𝗁 𝗋_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙰 𝙳 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗂 𝟥 𝟤] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝖺 𝖽 𝖽$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙰 𝙴 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
(reserved)	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙰 𝙵 𝟶 𝚡 𝟶 𝟷$
(reserved)	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙱 𝟶 𝟶 𝚡 𝟶 𝟷$
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗌 𝗎 𝖻$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙱 𝟷 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
(reserved)	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙱 𝟸 𝟶 𝚡 𝟶 𝟷$
(reserved)	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙱 𝟹 𝟶 𝚡 𝟶 𝟷$
(reserved)	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙱 𝟺 𝟶 𝚡 𝟶 𝟷$
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗆 𝗎 𝗅$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙱 𝟻 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗆 𝗂 𝗇_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙱 𝟼 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗆 𝗂 𝗇_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙱 𝟽 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗆 𝖺 𝗑_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙱 𝟾 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗆 𝖺 𝗑_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙱 𝟿 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝖽 𝗈 𝗍_𝗂 𝟣 𝟨 𝗑 𝟪_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙱 𝙰 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝖾 𝗑 𝗍 𝗆 𝗎 𝗅_𝗅 𝗈 𝗐_𝗂 𝟣 𝟨 𝗑 𝟪_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙱 𝙲 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝖾 𝗑 𝗍 𝗆 𝗎 𝗅_𝗁 𝗂 𝗀 𝗁_𝗂 𝟣 𝟨 𝗑 𝟪_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙱 𝙳 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝖾 𝗑 𝗍 𝗆 𝗎 𝗅_𝗅 𝗈 𝗐_𝗂 𝟣 𝟨 𝗑 𝟪_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙱 𝙴 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝖾 𝗑 𝗍 𝗆 𝗎 𝗅_𝗁 𝗂 𝗀 𝗁_𝗂 𝟣 𝟨 𝗑 𝟪_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙱 𝙵 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝖺 𝖻 𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙲 𝟶 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝗇 𝖾 𝗀$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙲 𝟷 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
(reserved)	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙲 𝟸 𝟶 𝚡 𝟶 𝟷$
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝖺 𝗅 𝗅_𝗍 𝗋 𝗎 𝖾$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙲 𝟹 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗂 𝟥 𝟤]$	validation	execution
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝖻 𝗂 𝗍 𝗆 𝖺 𝗌 𝗄$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙲 𝟺 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗂 𝟥 𝟤]$	validation	execution (operator)
(reserved)	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙲 𝟻 𝟶 𝚡 𝟶 𝟷$
(reserved)	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙲 𝟼 𝟶 𝚡 𝟶 𝟷$
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝖾 𝗑 𝗍 𝖾 𝗇 𝖽_𝗅 𝗈 𝗐_𝗂 𝟥 𝟤 𝗑 𝟦_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙲 𝟽 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝖾 𝗑 𝗍 𝖾 𝗇 𝖽_𝗁 𝗂 𝗀 𝗁_𝗂 𝟥 𝟤 𝗑 𝟦_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙲 𝟾 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝖾 𝗑 𝗍 𝖾 𝗇 𝖽_𝗅 𝗈 𝗐_𝗂 𝟥 𝟤 𝗑 𝟦_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙲 𝟿 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝖾 𝗑 𝗍 𝖾 𝗇 𝖽_𝗁 𝗂 𝗀 𝗁_𝗂 𝟥 𝟤 𝗑 𝟦_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙲 𝙰 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝗌 𝗁 𝗅$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙲 𝙱 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗂 𝟥 𝟤] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝗌 𝗁 𝗋_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙲 𝙲 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗂 𝟥 𝟤] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝗌 𝗁 𝗋_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙲 𝙳 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗂 𝟥 𝟤] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝖺 𝖽 𝖽$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙲 𝙴 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
(reserved)	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙲 𝙵 𝟶 𝚡 𝟶 𝟷$
(reserved)	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙳 𝟶 𝟶 𝚡 𝟶 𝟷$
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝗌 𝗎 𝖻$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙳 𝟷 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
(reserved)	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙳 𝟸 𝟶 𝚡 𝟶 𝟷$
(reserved)	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙳 𝟹 𝟶 𝚡 𝟶 𝟷$
(reserved)	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙳 𝟺 𝟶 𝚡 𝟶 𝟷$
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝗆 𝗎 𝗅$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙳 𝟻 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝖾 𝗊$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙳 𝟼 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝗇 𝖾$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙳 𝟽 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝗅 𝗍_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙳 𝟾 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝗀 𝗍_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙳 𝟿 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝗅 𝖾_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙳 𝙰 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝗀 𝖾_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙳 𝙱 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝖾 𝗑 𝗍 𝗆 𝗎 𝗅_𝗅 𝗈 𝗐_𝗂 𝟥 𝟤 𝗑 𝟦_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙳 𝙲 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝖾 𝗑 𝗍 𝗆 𝗎 𝗅_𝗁 𝗂 𝗀 𝗁_𝗂 𝟥 𝟤 𝗑 𝟦_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙳 𝙳 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝖾 𝗑 𝗍 𝗆 𝗎 𝗅_𝗅 𝗈 𝗐_𝗂 𝟥 𝟤 𝗑 𝟦_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙳 𝙴 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝖾 𝗑 𝗍 𝗆 𝗎 𝗅_𝗁 𝗂 𝗀 𝗁_𝗂 𝟥 𝟤 𝗑 𝟦_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙳 𝙵 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝖺 𝖻 𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙴 𝟶 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗇 𝖾 𝗀$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙴 𝟷 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
(reserved)	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙴 𝟸 𝟶 𝚡 𝟶 𝟷$
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗌 𝗊 𝗋 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙴 𝟹 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝖺 𝖽 𝖽$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙴 𝟺 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗌 𝗎 𝖻$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙴 𝟻 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗆 𝗎 𝗅$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙴 𝟼 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝖽 𝗂 𝗏$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙴 𝟽 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗆 𝗂 𝗇$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙴 𝟾 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗆 𝖺 𝗑$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙴 𝟿 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗉 𝗆 𝗂 𝗇$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙴 𝙰 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗉 𝗆 𝖺 𝗑$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙴 𝙱 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝖺 𝖻 𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙴 𝙲 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗇 𝖾 𝗀$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙴 𝙳 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗌 𝗊 𝗋 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙴 𝙵 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝖺 𝖽 𝖽$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙵 𝟶 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗌 𝗎 𝖻$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙵 𝟷 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗆 𝗎 𝗅$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙵 𝟸 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝖽 𝗂 𝗏$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙵 𝟹 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗆 𝗂 𝗇$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙵 𝟺 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗆 𝖺 𝗑$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙵 𝟻 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗉 𝗆 𝗂 𝗇$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙵 𝟼 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗉 𝗆 𝖺 𝗑$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙵 𝟽 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗍 𝗋 𝗎 𝗇 𝖼_𝗌 𝖺 𝗍_𝖿 𝟥 𝟤 𝗑 𝟦_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙵 𝟾 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗍 𝗋 𝗎 𝗇 𝖼_𝗌 𝖺 𝗍_𝖿 𝟥 𝟤 𝗑 𝟦_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙵 𝟿 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝖼 𝗈 𝗇 𝗏 𝖾 𝗋 𝗍_𝗂 𝟥 𝟤 𝗑 𝟦_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙵 𝙰 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝖼 𝗈 𝗇 𝗏 𝖾 𝗋 𝗍_𝗂 𝟥 𝟤 𝗑 𝟦_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙵 𝙱 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗍 𝗋 𝗎 𝗇 𝖼_𝗌 𝖺 𝗍_𝖿 𝟨 𝟦 𝗑 𝟤_𝗌_𝗓 𝖾 𝗋 𝗈$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙵 𝙲 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗍 𝗋 𝗎 𝗇 𝖼_𝗌 𝖺 𝗍_𝖿 𝟨 𝟦 𝗑 𝟤_𝗎_𝗓 𝖾 𝗋 𝗈$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝖼 𝗈 𝗇 𝗏 𝖾 𝗋 𝗍_𝗅 𝗈 𝗐_𝗂 𝟥 𝟤 𝗑 𝟦_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙵 𝙴 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝖼 𝗈 𝗇 𝗏 𝖾 𝗋 𝗍_𝗅 𝗈 𝗐_𝗂 𝟥 𝟤 𝗑 𝟦_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝙵 𝙵 𝟶 𝚡 𝟶 𝟷$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗋 𝖾 𝗅 𝖺 𝗑 𝖾 𝖽_𝗌 𝗐 𝗂 𝗓 𝗓 𝗅 𝖾$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝟶 𝟶 𝚡 𝟶 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗋 𝖾 𝗅 𝖺 𝗑 𝖾 𝖽_𝗍 𝗋 𝗎 𝗇 𝖼_𝖿 𝟥 𝟤 𝗑 𝟦_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝟷 𝟶 𝚡 𝟶 𝟸$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗋 𝖾 𝗅 𝖺 𝗑 𝖾 𝖽_𝗍 𝗋 𝗎 𝗇 𝖼_𝖿 𝟥 𝟤 𝗑 𝟦_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝟸 𝟶 𝚡 𝟶 𝟸$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗋 𝖾 𝗅 𝖺 𝗑 𝖾 𝖽_𝗍 𝗋 𝗎 𝗇 𝖼_𝖿 𝟨 𝟦 𝗑 𝟤_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝟹 𝟶 𝚡 𝟶 𝟸$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗋 𝖾 𝗅 𝖺 𝗑 𝖾 𝖽_𝗍 𝗋 𝗎 𝗇 𝖼_𝖿 𝟨 𝟦 𝗑 𝟤_𝗎$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝟺 𝟶 𝚡 𝟶 𝟸$	$[𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗋 𝖾 𝗅 𝖺 𝗑 𝖾 𝖽_𝗆 𝖺 𝖽 𝖽$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝟻 𝟶 𝚡 𝟶 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗋 𝖾 𝗅 𝖺 𝗑 𝖾 𝖽_𝗇 𝗆 𝖺 𝖽 𝖽$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝟼 𝟶 𝚡 𝟶 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗋 𝖾 𝗅 𝖺 𝗑 𝖾 𝖽_𝗆 𝖺 𝖽 𝖽$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝟽 𝟶 𝚡 𝟶 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗋 𝖾 𝗅 𝖺 𝗑 𝖾 𝖽_𝗇 𝗆 𝖺 𝖽 𝖽$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝟾 𝟶 𝚡 𝟶 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟪 𝗑 𝟣 𝟨 . 𝗋 𝖾 𝗅 𝖺 𝗑 𝖾 𝖽_𝗅 𝖺 𝗇 𝖾 𝗌 𝖾 𝗅 𝖾 𝖼 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝟿 𝟶 𝚡 𝟶 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗋 𝖾 𝗅 𝖺 𝗑 𝖾 𝖽_𝗅 𝖺 𝗇 𝖾 𝗌 𝖾 𝗅 𝖾 𝖼 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝙰 𝟶 𝚡 𝟶 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗋 𝖾 𝗅 𝖺 𝗑 𝖾 𝖽_𝗅 𝖺 𝗇 𝖾 𝗌 𝖾 𝗅 𝖾 𝖼 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝙱 𝟶 𝚡 𝟶 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟨 𝟦 𝗑 𝟤 . 𝗋 𝖾 𝗅 𝖺 𝗑 𝖾 𝖽_𝗅 𝖺 𝗇 𝖾 𝗌 𝖾 𝗅 𝖾 𝖼 𝗍$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝙲 𝟶 𝚡 𝟶 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗋 𝖾 𝗅 𝖺 𝗑 𝖾 𝖽_𝗆 𝗂 𝗇$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝙳 𝟶 𝚡 𝟶 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟥 𝟤 𝗑 𝟦 . 𝗋 𝖾 𝗅 𝖺 𝗑 𝖾 𝖽_𝗆 𝖺 𝗑$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝙴 𝟶 𝚡 𝟶 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗋 𝖾 𝗅 𝖺 𝗑 𝖾 𝖽_𝗆 𝗂 𝗇$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟾 𝙵 𝟶 𝚡 𝟶 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝖿 𝟨 𝟦 𝗑 𝟤 . 𝗋 𝖾 𝗅 𝖺 𝗑 𝖾 𝖽_𝗆 𝖺 𝗑$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝟶 𝟶 𝚡 𝟶 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗋 𝖾 𝗅 𝖺 𝗑 𝖾 𝖽_𝗊 𝟣 𝟧 𝗆 𝗎 𝗅 𝗋_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝟷 𝟶 𝚡 𝟶 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟣 𝟨 𝗑 𝟪 . 𝗋 𝖾 𝗅 𝖺 𝗑 𝖾 𝖽_𝖽 𝗈 𝗍_𝗂 𝟪 𝗑 𝟣 𝟨_𝗂 𝟩 𝗑 𝟣 𝟨_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝟸 𝟶 𝚡 𝟶 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
$𝗂 𝟥 𝟤 𝗑 𝟦 . 𝗋 𝖾 𝗅 𝖺 𝗑 𝖾 𝖽_𝖽 𝗈 𝗍_𝗂 𝟪 𝗑 𝟣 𝟨_𝗂 𝟩 𝗑 𝟣 𝟨_𝖺 𝖽 𝖽_𝗌$	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝟹 𝟶 𝚡 𝟶 𝟸$	$[𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪 𝗏 𝟣 𝟤 𝟪] \to [𝗏 𝟣 𝟤 𝟪]$	validation	execution (operator)
(reserved)	$𝟶 𝚡 𝙵 𝙳 𝟶 𝚡 𝟿 𝟺 𝟶 𝚡 𝟶 𝟸 \dots$
(reserved)	$𝟶 𝚡 𝙵 𝙴$
(reserved)	$𝟶 𝚡 𝙵 𝙵$

Note

Multi-byte opcodes are given with the shortest possible encoding in the table. However, what is following the first byte is actually a u32 with variable-length encoding and consequently has multiple possible representations.