[{"__symbolic":"module","version":3,"metadata":{"count":{"__symbolic":"function"},"decimalChecker":{"__symbolic":"function"}}},{"__symbolic":"module","version":1,"metadata":{"count":{"__symbolic":"function"},"decimalChecker":{"__symbolic":"function"}}}]