P
Initializing...
$s_1 + s_2 = N_0^*(T - D_0,\ 2T + D_0)$ · Prove2Me