[385] R15.

[386] e16.

[387] e5.

[388] e5.

[389] e3.

[390] e7, 10, 17; R16, 17.

[391] e17; cp. e3; R15, 16, 17.

[392] e7; R16, 17.

[393] e3, 17; R15.

[394] e17.