For problem statement at 0-999/900-999/920-929/922/problemC.txt this is a correct solution, but verifier at 0-999/900-999/920-929/922/verifierC.go ends with All tests passed can you fix the verifier? package main

import (
	"bufio"
	"fmt"
	"os"
)

func gcd(a, b uint64) uint64 {
	for b != 0 {
		a, b = b, a%b
	}
	return a
}

func main() {
	in := bufio.NewReader(os.Stdin)
	var n, k uint64
	fmt.Fscan(in, &n, &k)

	limit := n + 1
	l := uint64(1)

	for i := uint64(1); i <= k; i++ {
		g := gcd(l, i)
		a := l / g
		if a > limit/i {
			fmt.Print("No")
			return
		}
		l = a * i
	}

	if limit%l == 0 {
		fmt.Print("Yes")
	} else {
		fmt.Print("No")
	}
}