题目描述

凯文来给大家送零食吃了！

凯文准备了 $n$ 元钱的预算，他想用这些钱买可乐和薯片送给大家！

可乐 $3$ 元一瓶，薯片 $4$ 元一包，每样至少要有一种，问凯文有多少种买的方案，可以把 $n$ 元钱全部花完？

请按照可乐的数量从小到大输出。

输入格式

一个正整数 $n$。

输出格式

输出若干行，按可乐的数量从小到大输出所有符合要求的购买方案。

请注意，如果没有符合要求的方案，输出一个 -1。

12

-1

50

2 11
6 8
10 5
14 2

数据规模与约定

对于 $100\%$ 的数据，$1 \le n \le 1000$。