For problem statement at 0-999/700-799/730-739/730/problemK.txt this is a correct solution, but verifier at 0-999/700-799/730-739/730/verifierK.go ends with panic: invalid argument to Intn

goroutine 1 [running]:
math/rand.(*Rand).Intn(0x12a078?, 0x40000b0140?)
	/usr/local/go/src/math/rand/rand.go:180 +0x64
main.genCases()
	/home/ubuntu/codeforces/0-999/700-799/730-739/730/verifierK.go:54 +0x250
main.main()
	/home/ubuntu/codeforces/0-999/700-799/730-739/730/verifierK.go:109 +0x108
exit status 2 can you fix the verifier? ```go
package main

import (
	"bufio"
	"fmt"
	"io"
	"os"
	"runtime/debug"
)

func init() {
	debug.SetMaxStack(1 << 28)
}

type Scanner struct {
	buf []byte
	pos int
}

func NewScanner() *Scanner {
	b, _ := io.ReadAll(os.Stdin)
	return &Scanner{buf: b, pos: 0}
}

func (s *Scanner) NextInt() int {
	for s.pos < len(s.buf) && s.buf[s.pos] <= ' ' {
		s.pos++
	}
	if s.pos >= len(s.buf) {
		return 0
	}
	res := 0
	for s.pos < len(s.buf) && s.buf[s.pos] > ' ' {
		res = res*10 + int(s.buf[s.pos]-'0')
		s.pos++
	}
	return res
}

type Edge struct {
	to, id int
}

func main() {
	sc := NewScanner()
	if sc.pos >= len(sc.buf) {
		return
	}
	T := sc.NextInt()
	if T == 0 {
		return
	}

	out := bufio.NewWriter(os.Stdout)
	defer out.Flush()

	for tCase := 0; tCase < T; tCase++ {
		n := sc.NextInt()
		m := sc.NextInt()
		s := sc.NextInt()
		t := sc.NextInt()

		U := make([]int, m+1)
		V := make([]int, m+1)
		adj := make([][]Edge, n+1)

		// Add fake edge with id 0 between s and t
		adj[s] = append(adj[s], Edge{t, 0})
		adj[t] = append(adj[t], Edge{s, 0})

		for i := 1; i <= m; i++ {
			U[i] = sc.NextInt()
			V[i] = sc.NextInt()
			adj[U[i]] = append(adj[U[i]], Edge{V[i], i})
			adj[V[i]] = append(adj[V[i]], Edge{U[i], i})
		}

		// Ensure the fake edge is traversed first from s
		for i := 0; i < len(adj[s]); i++ {
			if adj[s][i].id == 0 {
				adj[s][0], adj[s][i] = adj[s][i], adj[s][0]
				break
			}
		}

		timer := 0
		dfn := make([]int, n+1)
		low := make([]int, n+1)
		parent := make([]int, n+1)

		var dfs func(u, edgeID int)
		dfs = func(u, edgeID int) {
			timer++
			dfn[u] = timer
			low[u] = timer
			for _, e := range adj[u] {
				if e.id == edgeID {
					continue
				}
				v := e.to
				if dfn[v] == 0 {
					parent[v] = u
					dfs(v, e.id)
					if low[v] < low[u] {
						low[u] = low[v]
					}
				} else {
					if dfn[v] < low[u] {
						low[u] = dfn[v]
					}
				}
			}
		}

		dfs(s, -1)

		isBi := true
		if timer < n {
			isBi = false
		} else {
			childrenOfS := 0
			for _, e := range adj[s] {
				if parent[e.to] == s {
					childrenOfS++
				}
			}
			if childrenOfS > 1 {
				isBi = false
			}

			for i := 1; i <= n; i++ {
				if i == s {
					continue
				}
				for _, e := range adj[i] {
					if parent[e.to] == i {
						if low[e.to] >= dfn[i] {
							isBi = false
						}
					}
				}
			}
		}

		if !isBi {
			fmt.Fprintln(out, "No")
			continue
		}

		nodeAt := make([]int, n+1)
		for i := 1; i <= n; i++ {
			nodeAt[dfn[i]] = i
		}

		prev := make([]int, n+1)
		next := make([]int, n+1)

		// Initialize list with s and t
		prev[t] = s
		next[s] = t
		sign := make([]int, n+1)
		sign[s] = -1

		// Tarjan's list construction for st-numbering
		for i := 3; i <= n; i++ {
			v := nodeAt[i]
			p := parent[v]
			l := nodeAt[low[v]]

			if sign[l] == -1 {
				pr := prev[p]
				prev[v] = pr
				next[v] = p
				if pr != 0 {
					next[pr] = v
				}
				prev[p] = v
				sign[p] = 1
			} else {
				nx := next[p]
				next[v] = nx
				prev[v] = p
				if nx != 0 {
					prev[nx] = v
				}
				next[p] = v
				sign[p] = -1
			}
		}

		rank := make([]int, n+1)
		r := 0
		for curr := s; curr != 0; curr = next[curr] {
			r++
			rank[curr] = r
		}

		fmt.Fprintln(out, "Yes")
		for i := 1; i <= m; i++ {
			u := U[i]
			v := V[i]
			if rank[u] < rank[v] {
				fmt.Fprintln(out, u, v)
			} else {
				fmt.Fprintln(out, v, u)
			}
		}
	}
}
```