演算レジスタが 16 ビットの CPU で符号付き 16 ビット整数 $x_1$，$x_2$ を 16 ビット符号付き加算 ($x_1 + x_2$) するときに，全ての $x_1$，$x_2$ の組合せにおいて加算結果がオーバフローしないものはどれか。ここで，$|x|$ は $x$ の絶対値を表し，負数は 2 の補数で表すものとする。