Summand.cpp revision e7de22dcff9af7b49fc07fc1a9f6c90b40cd39fd
1