#include <iostream>
#include <vector>
#include <cstdint>
 
typedef std::vector <std::uint64_t> DType;
 
DType MakeHoge(){
	DType D;
 
	for (std::uint64_t i = 1000; i < 10000; i++){
		if ((i / 1000) == static_cast<std::uint64_t>((i * (3 / 4.0)) + 1)) D.push_back(i);
	}
 
	return D;
}
 
bool Show(DType& D){
	for (auto& o : D){
		std::cout << o << std::endl;
	}
 
	if (D.size() == 0) std::cout << "Nothing" << std::endl;
 
	return true;
}
 
int main(){
	DType D;
 
	D = MakeHoge();
	Show(D);
 
	return 0;
}

I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8dmVjdG9yPgojaW5jbHVkZSA8Y3N0ZGludD4KCnR5cGVkZWYgc3RkOjp2ZWN0b3IgPHN0ZDo6dWludDY0X3Q+IERUeXBlOwoKRFR5cGUgTWFrZUhvZ2UoKXsKCURUeXBlIEQ7CgoJZm9yIChzdGQ6OnVpbnQ2NF90IGkgPSAxMDAwOyBpIDwgMTAwMDA7IGkrKyl7CgkJaWYgKChpIC8gMTAwMCkgPT0gc3RhdGljX2Nhc3Q8c3RkOjp1aW50NjRfdD4oKGkgKiAoMyAvIDQuMCkpICsgMSkpIEQucHVzaF9iYWNrKGkpOwoJfQoKCXJldHVybiBEOwp9Cgpib29sIFNob3coRFR5cGUmIEQpewoJZm9yIChhdXRvJiBvIDogRCl7CgkJc3RkOjpjb3V0IDw8IG8gPDwgc3RkOjplbmRsOwoJfQoKCWlmIChELnNpemUoKSA9PSAwKSBzdGQ6OmNvdXQgPDwgIk5vdGhpbmciIDw8IHN0ZDo6ZW5kbDsKCglyZXR1cm4gdHJ1ZTsKfQoKaW50IG1haW4oKXsKCURUeXBlIEQ7CgoJRCA9IE1ha2VIb2dlKCk7CglTaG93KEQpOwoKCXJldHVybiAwOwp9