\state.logK ṫ (K[[X3G&:pĦ1j|8CAXJ8r3( 8r^A҄b\Bႄh"%ˢLē=A-q`::{(G`+tWX2fu*GƔnOvWaE~=}YyXy5l