.
casio twin graph bdds