#include <stdlib.h>
#include <stdio.h>

int main(int argc, char * argv[]) {
    int limit;

    if (argc < 2) {
	fprintf(stderr, "usage: %s <volume-limit>\n", argv[0]);
	return 1;
    }

    limit = atoi(argv[1]);

    int w, h, d;

    unsigned count = 0;
    while (scanf("%d%d%d", &w, &h, &d) == 3) {
	if (w*h*d >= limit)
	    count += 1;
    }
    printf("%u\n", count);
    return 0;
}