For problem statement at 1000-1999/1600-1699/1600-1609/1600/problemF.txt this is a correct solution, but verifier at 1000-1999/1600-1699/1600-1609/1600/verifierF.go ends with All 142 tests passed can you fix the verifier? ```go
package main

import (
	"fmt"
	"io"
	"os"
)

func main() {
	input, _ := io.ReadAll(os.Stdin)
	var pos int
	readInt := func() int {
		for pos < len(input) && (input[pos] < '0' || input[pos] > '9') {
			pos++
		}
		if pos >= len(input) {
			return 0
		}
		res := 0
		for pos < len(input) && input[pos] >= '0' && input[pos] <= '9' {
			res = res*10 + int(input[pos]-'0')
			pos++
		}
		return res
	}

	n := readInt()
	m := readInt()

	adj := make([][]bool, 61)
	for i := range adj {
		adj[i] = make([]bool, 61)
	}

	for i := 0; i < m; i++ {
		u := readInt()
		v := readInt()
		if u <= 60 && v <= 60 {
			adj[u][v] = true
			adj[v][u] = true
		}
	}

	limit := n
	if limit > 60 {
		limit = 60
	}

	for i1 := 1; i1 <= limit-4; i1++ {
		for i2 := i1 + 1; i2 <= limit-3; i2++ {
			for i3 := i2 + 1; i3 <= limit-2; i3++ {
				for i4 := i3 + 1; i4 <= limit-1; i4++ {
					for i5 := i4 + 1; i5 <= limit; i5++ {
						isC := adj[i1][i2] && adj[i1][i3] && adj[i1][i4] && adj[i1][i5] &&
							adj[i2][i3] && adj[i2][i4] && adj[i2][i5] &&
							adj[i3][i4] && adj[i3][i5] &&
							adj[i4][i5]
						if isC {
							fmt.Printf("%d %d %d %d %d\n", i1, i2, i3, i4, i5)
							return
						}
						isI := !adj[i1][i2] && !adj[i1][i3] && !adj[i1][i4] && !adj[i1][i5] &&
							!adj[i2][i3] && !adj[i2][i4] && !adj[i2][i5] &&
							!adj[i3][i4] && !adj[i3][i5] &&
							!adj[i4][i5]
						if isI {
							fmt.Printf("%d %d %d %d %d\n", i1, i2, i3, i4, i5)
							return
						}
					}
				}
			}
		}
	}
	fmt.Println("-1")
}
```