Борис, ти неправий!#5194
Нещодавно Борис придумав новий критерій рівності трикутників.
Теорема. Трикутники A_1B_1C_1 і A_2B_2C_2 рівні, якщо дві сторони і кут, який лежить навпроти однієї з них, в одному трикутнику дорівнюють відповідним сторонам і куту в іншому трикутнику:
A_1B_1 = A_2B_2,
B_1C_1 = B_2C_2,
\angle B_1A_1C_1 = \angle B_2A_2C_2.
Доведіть Борису, що він неправий. Нехай дано трикутник A_1B_1C_1, побудуйте такий трикутник A_2B_2C_2, що відповідно до теореми Бориса він рівний поданому, але насправді це не так.
Задані координати точок A_1, B_1, і C_1 у трьох рядках. Усі числа цілі, їхні абсолютні значення не перевищують . Трикутник A_1B_1C_1 невироджений.
Виведіть YES у першому рядку, якщо теорема вірна для цього трикутника. Інакше, якщо існує трикутник A_2B_2C_2, що відповідно до теореми рівний поданому, але насправді не рівний, виведіть NO у першому рядку, а у наступних трьох рядках виведіть координати точок A_2, B_2 і C_2 з максимальною точністю. Абсолютні значення координат не повинні перевищувати , трикутник має бути невиродженим.
Приклад 1