#include #include #include #include #include #include int main(int argc, char *argv[]) { printf("%i\n", int(ceil(500000/512.0))); }