Доказательство
시간 제한2초메모리 제한1024 MB
N개의 정의가 주어질 때, 선택한 함의들만으로 추이적으로 따라오는 함의는 다시 증명할 수 없다는 조건에서 최대로 얻을 수 있는 함의의 수와 그 목록을 구합니다.
문제
Аня и Валя поступили в институт. Первым предметом у них в расписании была дискретная математика. На первом занятии они изучали различных эквивалентных определений дерева и доказывали их эквивалентность. За каждое доказательство у доски того факта, что одно определение дерева следует из другого, студент получал конфетку.
Но чтобы все выступления у доски были содержательными, преподаватель поставил условие --- нельзя доказывать очевидные факты, которые являются логическими следствиями уже доказанных. То есть, если уже доказано, что из следует , из следует , , из следует , то нельзя доказывать, что из следует . Студенты в группе, где учатся Аня и Валя, очень дружные, и поэтому они решили распределить доказательства так, чтобы получить как можно больше конфеток.
Выясните, какое максимальное количество конфеток могут получить студенты, и как они должны действовать для этого.
입력
Во входном файле содержится единственное число () --- количество различных определений дерева.
출력
В первой строке выходного файла выведите число --- максимальное число конфеток, могут получить студенты.
В каждой из следующих строк выведите по два числа и , означающих, что очередной студент будет доказывать что из определения следует определение . Все определения пронумерованы целыми числами от до .