package main import ( "bufio" "fmt" "math" "os" "strconv" ) var sc = bufio.NewScanner(os.Stdin) func Scanner() string { sc.Scan() return sc.Text() } func main() { buf := make([]byte, 0) sc.Buffer(buf, 100000007) sc.Split(bufio.ScanWords) n, _ := strconv.Atoi(Scanner()) flag := false if n-3 > 2 && n != 7 { for i := 2; i < 60; i++ { if math.Pow(2.0, float64(i)) == float64(n-3) { flag = true break } } if flag { fmt.Printf("5 %d", n-5) } else { fmt.Printf("3 %d", n-3) } } else { fmt.Print("-1") } fmt.Println() }