Add new BDD example: P3□P3.

[msk-ono]

P3□P3

graph G {
  1 -- 2
  2 -- 4
  3 -- 5
  5 -- 7
  6 -- 8
  8 -- 9
  1 -- 3
  2 -- 5
  4 -- 7
  3 -- 6
  5 -- 8
  7 -- 9
}