Используйте fprintf и цикл. Что-то вроде
file = fopen("myfile.txt", "w");
for (i = 0; i < num_coords; ++i)
{
fprintf(file, "%d %d %d %d\n", coords[i].left_x, coords[i].left_y, coords[i].right_x, coords[i].right_y);
}
fclose(file);
Детали будут меняться, конечно, в зависимости от того, как именно у вас есть данные.