int a[] = {1, 1, 1};  // 记录每段 长度， 总长度为 1000 km    int t[] = {0, 0, 0};   // 记录每段路  返回经过的次数    int x = 0, xb = 0;    int xy = 0, xyb = 0;  // x + y    int remain, remainb;    int i, j;    int max = 0;    // 创建一个文件，用来记录结果    if((out=fopen("res.txt", "a++"))==NULL){        fprintf(stdout, "Cannot open \"res.txt\" file\n");        exit(1);    }    // invariant: a[0] + a[1] + a[2] = 1000    // invariant: 剩下的煤量超过剩下的距离    for(i = 1; i  max) max = remain;        }  // end of innner for loop j    }  // end of outer for (i    printf("max = %d\n", max);    if(fclose(out)!=0){        fprintf(stdout, "close failed");    }    getchar();    return 0;