배드민턴

비트란디아 배드민턴 팀 비타이가 바이트란디아 팀 바이타이와 결승전을 치른다. 바이타이가 홈에서 경기하므로 팀 구성을 미리 발표했다.

각 팀은 선수 세 쌍으로 이루어진다.

• 각 선수는 강도 지수 $s_i$를 가진다.
• 선수 $i$와 $j$가 한 쌍을 이루면 쌍의 강도 지수는 $P = s_i + s_j$이다.
• 두 쌍이 맞붙으면 강도 지수가 더 큰 쪽이 이긴다.

비타이는 발표된 정보를 활용해 바이타이를 이기는 팀을 짜려 한다. 비타이의 각 쌍은 바이타이의 각 쌍과 한 번씩 맞붙어 총 9경기가 열린다. 비타이가 이길 수 있을까?

비타이 선수들로 쌍 3개를 만들어, 가능한 한 많은 경기를 이기게 하라. 데이터는 동점이 나오지 않도록 주어진다.

첫 번째 줄에 바이타이 쌍의 강도 지수 $B_1$, $B_2$, $B_3$가 주어진다. 이어지는 여섯 줄에는 비타이 개별 선수의 강도 지수 $S_i$가 한 줄에 하나씩 주어진다.

비타이가 이길 수 있는 경기 수 $M$을 정수로 출력한다. 이어지는 세 줄에는 이 최선의 결과를 내는 팀 구성을 아무거나 하나 출력한다. 각 줄에는 한 쌍을 이루는 두 선수의 강도 지수를 적는다.

$1 \le B_i \le 200\,000$

$1 \le S_i \le 100\,000$