.
casio twin graph btor