Badmintonas

Bitlandijos badmintono komanda Bitai žaidžia finalines rungtynes prieš Baitlandijos komandą Baitus. Kadangi Baitai žaidžia namuose, jie savąją komandos sudėtį paskelbė iš anksto.

Kiekvieną komandą sudaro trys poros žaidėjų:

• Kiekvienas žaidėjas turi savo stiprumo indeksą $s_i$;
• Jei žaidėjai $i$ ir $j$ sudaro porą, tai poros stiprumo indeksas $P = s_i + s_j$;
• Jei dvi poros žaidžia tarpusavyje, laimi ta, kurios stiprumo indeksas didesnis.

Bitai, pasinaudodami paskelbta informacija, nori sudaryti komandą taip, kad nugalėtų Baitus. Kiekviena Bitų pora sužaidžia su kiekviena Baitų pora, iš viso vyksta $9$ rungtynės. Ar įmanoma Bitams laimėti?

Sudarykite $3$ komandas iš Bitų žaidėjų taip, kad šie laimėtų kuo daugiau rungtynių. Duomenys pateikti tokie, kad lygiosios neįmanomos.

Pirmoje eilutėje pateikti Baitų žaidėjų porų stiprumo indeksai $B_1$, $B_2$, $B_3$. Tolimesnėse šešiose eilutėse – Bitų atskirų žaidėjų stiprumo indeksai $S_i$.

Išveskite sveikąjį skaičių $M$, nurodantį, kiek žaidimų pavyks laimėti Bitams. Tolimesnėse trijose eilutėse išveskite bet kokią galimą komandos sudėtį, nurodydami žaidėjų stiprumo indeksus, kuri pasieks geriausią rezultatą.

• $1 ≤ B_i ≤ 200\,000$
• $1 ≤ S_i ≤ 100\,000$