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