.name correlator-v2	# more complex variant of Leiserson/Saxe and De Micheli:
      			# computes a different sum, and now includes two 3-way adders
.n 7		        # total number of vertices, but excluding v_0  
.d 3 3 3 3 7 7 7    # vertex weights for v_1 to v_7, listed in order
.g			#start of graph body
0 1 1
1 2 1
2 3 1
3 4 1
4 5 0
5 6 0
6 7 0
7 0 0
1 7 0 
2 6 0
3 5 0    
1 6 1	 # new arc
2 5 1	 # another new arc 
.e