Input: An D-EVM .
(1)Procedure sectionSequence  (D-EVM )
(2)     EVM couplet;
(3)     EVM , ; // Previous and current section
(4)      Couplet initEVM ( );
(5)       initEVM ( );
(6)       initEVM ( );
(7)      couplet readCouplet ();
(8)     while  !endEVM ()  do
(9)            getSection (, couplet);
(10)        Process the current section ;
(11)         ;
(12)         couplet readCouplet (p);
Algorithm 1: Computing the section sequence for a given D-EVM .