added contracted.cpp