$ perl double.pl
1.000000 4.000000
2.000000 5.000000
3.000000 6.000000
4
10
18