Finished untested GADDAG