53       if (thinking || pondering)  in Option()
173     if (thinking || pondering)  in Option()
190     if (thinking || pondering)  in Option()
203     if (thinking || pondering)  in Option()
273     if (thinking || pondering)  in Option()
283     if (thinking || pondering)  in Option()
508     if (thinking || pondering)  in Option()
530     if (thinking || pondering)  in Option()
601     if (thinking || pondering)  in Option()
614     if (thinking || pondering)  in Option()
675     if (thinking || pondering)  in Option()
705     if (thinking || pondering)  in Option()
731     if (thinking || pondering)  in Option()
783     if (thinking || pondering)  in Option()
867     if (thinking || pondering)  in Option()
912     if (thinking || pondering)  in Option()
945     if (thinking || pondering)  in Option()
1047     if (thinking || pondering)  in Option()
1579     if (thinking || pondering)  in Option()
2177     if (thinking || pondering)  in Option()
2225     if (thinking || pondering)  in Option()
2333     if (thinking || pondering)  in Option()
2445     if (thinking || pondering)  in Option()
2471     if (thinking || pondering)  in Option()
2589     if (thinking || pondering)  in Option()
2599     if (thinking || pondering)  in Option()
2948     if (thinking || pondering)  in Option()
3134     if (thinking || pondering)  in Option()
3178     if (thinking || pondering)  in Option()
3199     if (thinking || pondering)  in Option()
3219     if (thinking || pondering)  in Option()
3244     if (thinking || pondering)  in Option()
3406     if (thinking || pondering)  in Option()
3588     if (thinking || pondering)  in Option()
3648       if (thinking || pondering)  in Option()
3780     if (thinking || pondering)  in Option()
3825     if (thinking || pondering)  in Option()
3857     if (thinking || pondering)  in Option()