p edge 20 0
e 1 5
e 1 6
e 1 9
e 1 11
e 1 13
e 1 15
e 1 17
e 2 3
e 2 8
e 2 10
e 2 12
e 2 13
e 2 14
e 2 16
e 2 18
e 2 19
e 2 20
e 3 6
e 3 7
e 3 8
e 3 9
e 3 10
e 3 12
e 3 15
e 3 16
e 3 18
e 3 19
e 3 20
e 4 6
e 4 10
e 4 11
e 4 12
e 4 13
e 4 14
e 4 16
e 4 17
e 5 8
e 5 9
e 5 10
e 5 11
e 5 13
e 5 14
e 5 15
e 5 19
e 6 9
e 6 12
e 6 13
e 6 14
e 6 20
e 7 8
e 7 9
e 7 10
e 7 12
e 7 13
e 7 14
e 7 15
e 7 18
e 7 19
e 8 14
e 8 15
e 8 17
e 8 20
e 9 10
e 9 12
e 9 13
e 9 16
e 10 12
e 10 14
e 10 18
e 10 19
e 11 13
e 11 14
e 11 15
e 11 16
e 11 17
e 11 19
e 11 20
e 12 16
e 12 20
e 13 14
e 13 17
e 13 19
e 14 16
e 14 17
e 14 18
e 14 19
e 14 20
e 15 16
e 15 20
e 16 17
e 16 20
e 17 18
e 17 20
e 18 19
e 18 20