sequential;

if v4=-1 then v5:=(8-v5);
if v6=-1 then v7:=(8-v7);
if v8=-1 then v9:=(8-v9);
if v10=-1 then v11:=(8-v11);
if v12=-1 then v13:=(8-v13);
if v15=-1 then v16:=(8-v16);
if v17=-1 then v18:=(8-v18);
if v19=-1 then v20:=(8-v20);
if v21=-1 then v22:=(8-v22);
if v23=-1 then v24:=(8-v24);
if v26=-1 then v27:=(8-v27);
if v28=-1 then v29:=(8-v29);
if v30=-1 then v31:=(8-v31);
if v32=-1 then v33:=(8-v33);
if v34=-1 then v35:=(8-v35);
if v37=-1 then v38:=(8-v38);
if v39=-1 then v40:=(8-v40);
if v41=-1 then v42:=(8-v42);
if v43=-1 then v44:=(8-v44);
if v45=-1 then v46:=(8-v46);