该比赛已结束，您无法在比赛模式下递交该题目。您可以点击“在题库中打开”以普通模式查看和递交本题。

题目描述

关于数学定理证明，也有高下之分。最暴力的证明方法是“构造性证明”，即当需要证明某种解存在时，直接把解构造出来，而不是仅通过推理证明解之存在。

下面有一个定理：

设 $a_i$（$i=1, \cdots , 5$）均为正实数。则一定存在 4 个互不相同的下标 $i$、$j$、$k$、$l$，使得 $|a_i / a_j - a_k / a_l|<1/2$。

作为程序员，就请你编写程序构造出正确的下标，验证这个结论。

输入格式

输入在一行中顺序给出 5 个正实数。为保证计算中不产生浮点溢出，我们令输入的数字在 $[10^{-10}, 10^{10}]$ 区间内，且小数点后不超过 10 位小数。

输出格式

在一行中首先输出使得定理结论成立的下标有多少套，随后输出最小的一套下标。数字间以 1 个空格分隔，行首尾不得有多余空格。 注：所谓下标集 ${i_1, \cdots, i_4}$ 小于下标集 ${j_1, \cdots, j_4}$，是指存在 $1\le k\le 4$ 使得 $i_l=j_l$ 对所有 $l<k$ 成立，且 $i_k<j_k$。

样例

3.12 5.27 0.0007 9825.4413 10

18 1 4 3 2

限制

对于所有的测试用例,限制为400 ms, 64 MB