* verification of duval algorithm
* graphics for verified duval decomposition