[ "±\nÀ¶EòÕ$«\u0015\bã¡93’", [ [ "Vale.Def.Words_s.two", 1, 1, 0, [ "@query" ], 0, "cc43dd4ac24e6168b78fe98ea68f8fb8" ], [ "Vale.Def.Words_s.four", 1, 1, 0, [ "@query" ], 0, "be4b75c80b1837414d08be6e8792ab1d" ], [ "Vale.Def.Words_s.eight", 1, 1, 0, [ "@query" ], 0, "a82ba60beaed37c096fd3899f612327f" ], [ "Vale.Def.Words_s.int_to_natN", 1, 1, 0, [ "@query" ], 0, "f47c4bf8118b491a0f488b7a7f9e8789" ] ] ]