KJWW3H4L54MBKCV6ZSLMQB6D2Y45JSGHBYJ2ENXYSBX7PQL2UUMAC for (int d = 0; d < dim; ++d)file << sep << ++col << ":minloc[" << d << "]";for (int d = 0; d < dim; ++d)file << sep << ++col << ":maxloc[" << d << "]";
if (!out_norms_only_stable) {for (int d = 0; d < dim; ++d)file << sep << ++col << ":minloc[" << d << "]";for (int d = 0; d < dim; ++d)file << sep << ++col << ":maxloc[" << d << "]";}
for (int d = 0; d < dim; ++d)file << sep << red.minloc[d];for (int d = 0; d < dim; ++d)file << sep << red.maxloc[d];
if (!out_norms_only_stable) {for (int d = 0; d < dim; ++d)file << sep << red.minloc[d];for (int d = 0; d < dim; ++d)file << sep << red.maxloc[d];}