#include <iostream>
#include <vector>
#include <cstdint>
#include <algorithm>
typedef std::vector <std::uint64_t> DType;
std::uint64_t Rot(std::uint64_t N){
std::uint64_t V = 0;
std::uint64_t R = 10;
DType D;
while (N != 0){
V = N % R;
D.push_back(V);
N /= R;
}
std::reverse(D.begin(), D.end());
std::rotate(D.begin(), D.begin() + 1, D.end());
N = 0;
for (auto&o : D){
N *= R;
N += o;
}
return N;
}
DType MakeHoge(){
DType D;
std::uint64_t V;
for (std::uint64_t i = 1000; i < 10000; i++){
V = Rot(i);
if (V == 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;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8dmVjdG9yPgojaW5jbHVkZSA8Y3N0ZGludD4KI2luY2x1ZGUgPGFsZ29yaXRobT4KCnR5cGVkZWYgc3RkOjp2ZWN0b3IgPHN0ZDo6dWludDY0X3Q+IERUeXBlOwoKc3RkOjp1aW50NjRfdCBSb3Qoc3RkOjp1aW50NjRfdCBOKXsKCXN0ZDo6dWludDY0X3QgViA9IDA7CglzdGQ6OnVpbnQ2NF90IFIgPSAxMDsKCURUeXBlIEQ7CgoKCXdoaWxlIChOICE9IDApewoJCVYgPSBOICUgUjsKCQlELnB1c2hfYmFjayhWKTsKCQlOIC89IFI7Cgl9CgoJc3RkOjpyZXZlcnNlKEQuYmVnaW4oKSwgRC5lbmQoKSk7CglzdGQ6OnJvdGF0ZShELmJlZ2luKCksIEQuYmVnaW4oKSArIDEsIEQuZW5kKCkpOwoKCU4gPSAwOwoJZm9yIChhdXRvJm8gOiBEKXsKCQlOICo9IFI7CgkJTiArPSBvOwoJfQoKCXJldHVybiBOOwp9CgpEVHlwZSBNYWtlSG9nZSgpewoJRFR5cGUgRDsKCXN0ZDo6dWludDY0X3QgVjsKCglmb3IgKHN0ZDo6dWludDY0X3QgaSA9IDEwMDA7IGkgPCAxMDAwMDsgaSsrKXsKCQlWID0gUm90KGkpOwoJCWlmIChWID09IHN0YXRpY19jYXN0PHN0ZDo6dWludDY0X3Q+KGkqKDMgLyA0LjApKSArIDEpIEQucHVzaF9iYWNrKGkpOwoJfQoKCXJldHVybiBEOwp9Cgpib29sIFNob3coRFR5cGUmIEQpewoJZm9yIChhdXRvJiBvIDogRCl7CgkJc3RkOjpjb3V0IDw8IG8gPDwgc3RkOjplbmRsOwoJfQoKCWlmIChELnNpemUoKSA9PSAwKSBzdGQ6OmNvdXQgPDwgIk5vdGhpbmciIDw8IHN0ZDo6ZW5kbDsKCglyZXR1cm4gdHJ1ZTsKfQoKaW50IG1haW4oKXsKCURUeXBlIEQ7CgoJRCA9IE1ha2VIb2dlKCk7CglTaG93KEQpOwoKCXJldHVybiAwOwp9