dd e0 rot13 n2 ρ₁,₃ 2 e0->n2 n1 1 n2->n1 n0 0 n2->n0 e1 rot13_13 n4 ρ₂,₃ 4 e1->n4 n4->n0 n3 ρ₁,₂ 3 n4->n3 e2 rot13_13_13 e2->n1 e3 rot23 n5 ρ₂,₃ 5 e3->n5 n5->n1 n5->n0 e4 rot23_12 e4->n2 e5 rot12_23 e5->n5 n3->n1 n3->n0