/* * * 6.35 * * */ int main () { return 0; }