1: \begin{abstract} The $p$-group generation algorithm from computational

2: group theory is used to obtain information about large quotients of the 

3: pro-$2$ group $G = \text{Gal}\,(k^{nr,2}/k)$ for $k = \mathbb{Q}(\sqrt{d})$

4: with $d = -445, -1015, -1595, -2379$. In each case we are able to

5: narrow the identity of $G$ down to one of a finite number of  explicitly

6: given finite groups. From this follow several results regarding the 

7: corresponding 2-class tower.

8: \end{abstract}

9: