Bipartitioning implementiert. Carrys werden noch nicht behandelt.