var readline = require('readline');

process.stdin.resume();
process.stdin.setEncoding('utf8');
  
var rl = readline.createInterface({
    input: process.stdin,
    output: {},
});
  
hs = [];
  
rl.on('line', function(h) {
    hs.push(h | 0);
});
  
rl.on('close', function() {
    console.log(3776);
    console.log(2848);
    console.log(2840);
});