test/swim.c

   1 /* Generated from ./test/swim.cloog by CLooG v0.14.0 64 bits in 0.37s. */
   2 /* CLooG asked for 692 KBytes. */
   3 if (M == 1) {
   4   S1 ;
   5   S2 ;
   6   S3 ;
   7   S4 ;
   8   S5 ;
   9   S6 ;
  10   S7 ;
  11   S8 ;
  12   S9 ;
  13   S10 ;
  14   S11 ;
  15   S12 ;
  16   S13 ;
  17   S14 ;
  18   S15 ;
  19   S16 ;
  20   S17 ;
  21   S18 ;
  22   S19 ;
  23   S20 ;
  24   S21 ;
  25   S22 ;
  26   S23 ;
  27   S24 ;
  28   S25 ;
  29   S26 ;
  30   S27 ;
  31 }
  32 if (M == 1) {
  33   for (p1=1;p1<=N;p1++) {
  34     for (p3=1;p3<=N;p3++) {
  35       S28(i = p1,j = p3) ;
  36       S29(i = p1,j = p3) ;
  37       S30(i = p1,j = p3) ;
  38     }
  39     S31(i = p1) ;
  40   }
  41 }
  42 if (M == 1) {
  43   S32 ;
  44   S33 ;
  45   S34 ;
  46 }
  47 if ((M == 1) && (O <= 1)) {
  48   S35 ;
  49 }
  50 if (M == 1) {
  51   S36 ;
  52   S37 ;
  53 }
  54 if ((M == 1) && (N >= 1) && (Q >= 1) && (R >= 1)) {
  55   for (p1=2;p1<=P;p1++) {
  56     S38(i = p1) ;
  57     S39(i = p1) ;
  58     for (p3=1;p3<=Q;p3++) {
  59       for (p5=1;p5<=R;p5++) {
  60         S40(i = p1,j = p3,k = p5) ;
  61         S41(i = p1,j = p3,k = p5) ;
  62         S42(i = p1,j = p3,k = p5) ;
  63         S43(i = p1,j = p3,k = p5) ;
  64       }
  65     }
  66     for (p3=1;p3<=Q;p3++) {
  67       S44(i = p1,j = p3) ;
  68       S45(i = p1,j = p3) ;
  69       S46(i = p1,j = p3) ;
  70       S47(i = p1,j = p3) ;
  71     }
  72     for (p3=1;p3<=R;p3++) {
  73       S48(i = p1,j = p3) ;
  74       S49(i = p1,j = p3) ;
  75       S50(i = p1,j = p3) ;
  76       S51(i = p1,j = p3) ;
  77     }
  78     S52(i = p1) ;
  79     S53(i = p1) ;
  80     S54(i = p1) ;
  81     S55(i = p1) ;
  82     S56(i = p1) ;
  83     S57(i = p1) ;
  84     S58(i = p1) ;
  85     for (p3=1;p3<=Q;p3++) {
  86       for (p5=1;p5<=R;p5++) {
  87         S59(i = p1,j = p3,k = p5) ;
  88         S60(i = p1,j = p3,k = p5) ;
  89         S61(i = p1,j = p3,k = p5) ;
  90       }
  91     }
  92     for (p3=1;p3<=Q;p3++) {
  93       S62(i = p1,j = p3) ;
  94       S63(i = p1,j = p3) ;
  95       S64(i = p1,j = p3) ;
  96     }
  97     for (p3=1;p3<=R;p3++) {
  98       S65(i = p1,j = p3) ;
  99       S66(i = p1,j = p3) ;
 100       S67(i = p1,j = p3) ;
 101     }
 102     S68(i = p1) ;
 103     S69(i = p1) ;
 104     S70(i = p1) ;
 105     S71(i = p1) ;
 106     S72(i = p1) ;
 107     S73(i = p1) ;
 108     S74(i = p1) ;
 109     S75(i = p1) ;
 110     S76(i = p1) ;
 111     S77(i = p1) ;
 112     S78(i = p1) ;
 113     S79(i = p1) ;
 114     S80(i = p1) ;
 115     S81(i = p1) ;
 116     S82(i = p1) ;
 117     S83(i = p1) ;
 118     S84(i = p1) ;
 119     S85(i = p1) ;
 120     S86(i = p1) ;
 121     S87(i = p1) ;
 122     S88(i = p1) ;
 123     S89(i = p1) ;
 124     S90(i = p1) ;
 125     S91(i = p1) ;
 126     S92(i = p1) ;
 127     S93(i = p1) ;
 128     S94(i = p1) ;
 129     for (p3=1;p3<=N;p3++) {
 130       for (p5=1;p5<=N;p5++) {
 131         S95(i = p1,j = p3,k = p5) ;
 132         S96(i = p1,j = p3,k = p5) ;
 133         S97(i = p1,j = p3,k = p5) ;
 134       }
 135       S98(i = p1,j = p3) ;
 136     }
 137     S99(i = p1) ;
 138     S100(i = p1) ;
 139     S101(i = p1) ;
 140     for (p3=1;p3<=Q;p3++) {
 141       for (p5=1;p5<=R;p5++) {
 142         S102(i = p1,j = p3,k = p5) ;
 143         S103(i = p1,j = p3,k = p5) ;
 144         S104(i = p1,j = p3,k = p5) ;
 145         S105(i = p1,j = p3,k = p5) ;
 146         S106(i = p1,j = p3,k = p5) ;
 147         S107(i = p1,j = p3,k = p5) ;
 148       }
 149     }
 150     for (p3=1;p3<=Q;p3++) {
 151       S108(i = p1,j = p3) ;
 152       S109(i = p1,j = p3) ;
 153       S110(i = p1,j = p3) ;
 154       S111(i = p1,j = p3) ;
 155       S112(i = p1,j = p3) ;
 156       S113(i = p1,j = p3) ;
 157     }
 158     for (p3=1;p3<=R;p3++) {
 159       S114(i = p1,j = p3) ;
 160       S115(i = p1,j = p3) ;
 161       S116(i = p1,j = p3) ;
 162       S117(i = p1,j = p3) ;
 163       S118(i = p1,j = p3) ;
 164       S119(i = p1,j = p3) ;
 165     }
 166     S120(i = p1) ;
 167     S121(i = p1) ;
 168     S122(i = p1) ;
 169     S123(i = p1) ;
 170     S124(i = p1) ;
 171     S125(i = p1) ;
 172   }
 173 }
 174 if ((M == 1) && (N <= 0) && (Q >= 1) && (R >= 1)) {
 175   for (p1=2;p1<=P;p1++) {
 176     S38(i = p1) ;
 177     S39(i = p1) ;
 178     for (p3=1;p3<=Q;p3++) {
 179       for (p5=1;p5<=R;p5++) {
 180         S40(i = p1,j = p3,k = p5) ;
 181         S41(i = p1,j = p3,k = p5) ;
 182         S42(i = p1,j = p3,k = p5) ;
 183         S43(i = p1,j = p3,k = p5) ;
 184       }
 185     }
 186     for (p3=1;p3<=Q;p3++) {
 187       S44(i = p1,j = p3) ;
 188       S45(i = p1,j = p3) ;
 189       S46(i = p1,j = p3) ;
 190       S47(i = p1,j = p3) ;
 191     }
 192     for (p3=1;p3<=R;p3++) {
 193       S48(i = p1,j = p3) ;
 194       S49(i = p1,j = p3) ;
 195       S50(i = p1,j = p3) ;
 196       S51(i = p1,j = p3) ;
 197     }
 198     S52(i = p1) ;
 199     S53(i = p1) ;
 200     S54(i = p1) ;
 201     S55(i = p1) ;
 202     S56(i = p1) ;
 203     S57(i = p1) ;
 204     S58(i = p1) ;
 205     for (p3=1;p3<=Q;p3++) {
 206       for (p5=1;p5<=R;p5++) {
 207         S59(i = p1,j = p3,k = p5) ;
 208         S60(i = p1,j = p3,k = p5) ;
 209         S61(i = p1,j = p3,k = p5) ;
 210       }
 211     }
 212     for (p3=1;p3<=Q;p3++) {
 213       S62(i = p1,j = p3) ;
 214       S63(i = p1,j = p3) ;
 215       S64(i = p1,j = p3) ;
 216     }
 217     for (p3=1;p3<=R;p3++) {
 218       S65(i = p1,j = p3) ;
 219       S66(i = p1,j = p3) ;
 220       S67(i = p1,j = p3) ;
 221     }
 222     S68(i = p1) ;
 223     S69(i = p1) ;
 224     S70(i = p1) ;
 225     S71(i = p1) ;
 226     S72(i = p1) ;
 227     S73(i = p1) ;
 228     S74(i = p1) ;
 229     S75(i = p1) ;
 230     S76(i = p1) ;
 231     S77(i = p1) ;
 232     S78(i = p1) ;
 233     S79(i = p1) ;
 234     S80(i = p1) ;
 235     S81(i = p1) ;
 236     S82(i = p1) ;
 237     S83(i = p1) ;
 238     S84(i = p1) ;
 239     S85(i = p1) ;
 240     S86(i = p1) ;
 241     S87(i = p1) ;
 242     S88(i = p1) ;
 243     S89(i = p1) ;
 244     S90(i = p1) ;
 245     S91(i = p1) ;
 246     S92(i = p1) ;
 247     S93(i = p1) ;
 248     S94(i = p1) ;
 249     S99(i = p1) ;
 250     S100(i = p1) ;
 251     S101(i = p1) ;
 252     for (p3=1;p3<=Q;p3++) {
 253       for (p5=1;p5<=R;p5++) {
 254         S102(i = p1,j = p3,k = p5) ;
 255         S103(i = p1,j = p3,k = p5) ;
 256         S104(i = p1,j = p3,k = p5) ;
 257         S105(i = p1,j = p3,k = p5) ;
 258         S106(i = p1,j = p3,k = p5) ;
 259         S107(i = p1,j = p3,k = p5) ;
 260       }
 261     }
 262     for (p3=1;p3<=Q;p3++) {
 263       S108(i = p1,j = p3) ;
 264       S109(i = p1,j = p3) ;
 265       S110(i = p1,j = p3) ;
 266       S111(i = p1,j = p3) ;
 267       S112(i = p1,j = p3) ;
 268       S113(i = p1,j = p3) ;
 269     }
 270     for (p3=1;p3<=R;p3++) {
 271       S114(i = p1,j = p3) ;
 272       S115(i = p1,j = p3) ;
 273       S116(i = p1,j = p3) ;
 274       S117(i = p1,j = p3) ;
 275       S118(i = p1,j = p3) ;
 276       S119(i = p1,j = p3) ;
 277     }
 278     S120(i = p1) ;
 279     S121(i = p1) ;
 280     S122(i = p1) ;
 281     S123(i = p1) ;
 282     S124(i = p1) ;
 283     S125(i = p1) ;
 284   }
 285 }
 286 if ((M == 1) && (N >= 1) && (Q <= 0) && (R >= 1)) {
 287   for (p1=2;p1<=P;p1++) {
 288     S38(i = p1) ;
 289     S39(i = p1) ;
 290     for (p3=1;p3<=R;p3++) {
 291       S48(i = p1,j = p3) ;
 292       S49(i = p1,j = p3) ;
 293       S50(i = p1,j = p3) ;
 294       S51(i = p1,j = p3) ;
 295     }
 296     S52(i = p1) ;
 297     S53(i = p1) ;
 298     S54(i = p1) ;
 299     S55(i = p1) ;
 300     S56(i = p1) ;
 301     S57(i = p1) ;
 302     S58(i = p1) ;
 303     for (p3=1;p3<=R;p3++) {
 304       S65(i = p1,j = p3) ;
 305       S66(i = p1,j = p3) ;
 306       S67(i = p1,j = p3) ;
 307     }
 308     S68(i = p1) ;
 309     S69(i = p1) ;
 310     S70(i = p1) ;
 311     S71(i = p1) ;
 312     S72(i = p1) ;
 313     S73(i = p1) ;
 314     S74(i = p1) ;
 315     S75(i = p1) ;
 316     S76(i = p1) ;
 317     S77(i = p1) ;
 318     S78(i = p1) ;
 319     S79(i = p1) ;
 320     S80(i = p1) ;
 321     S81(i = p1) ;
 322     S82(i = p1) ;
 323     S83(i = p1) ;
 324     S84(i = p1) ;
 325     S85(i = p1) ;
 326     S86(i = p1) ;
 327     S87(i = p1) ;
 328     S88(i = p1) ;
 329     S89(i = p1) ;
 330     S90(i = p1) ;
 331     S91(i = p1) ;
 332     S92(i = p1) ;
 333     S93(i = p1) ;
 334     S94(i = p1) ;
 335     for (p3=1;p3<=N;p3++) {
 336       for (p5=1;p5<=N;p5++) {
 337         S95(i = p1,j = p3,k = p5) ;
 338         S96(i = p1,j = p3,k = p5) ;
 339         S97(i = p1,j = p3,k = p5) ;
 340       }
 341       S98(i = p1,j = p3) ;
 342     }
 343     S99(i = p1) ;
 344     S100(i = p1) ;
 345     S101(i = p1) ;
 346     for (p3=1;p3<=R;p3++) {
 347       S114(i = p1,j = p3) ;
 348       S115(i = p1,j = p3) ;
 349       S116(i = p1,j = p3) ;
 350       S117(i = p1,j = p3) ;
 351       S118(i = p1,j = p3) ;
 352       S119(i = p1,j = p3) ;
 353     }
 354     S120(i = p1) ;
 355     S121(i = p1) ;
 356     S122(i = p1) ;
 357     S123(i = p1) ;
 358     S124(i = p1) ;
 359     S125(i = p1) ;
 360   }
 361 }
 362 if ((M == 1) && (N <= 0) && (Q <= 0) && (R >= 1)) {
 363   for (p1=2;p1<=P;p1++) {
 364     S38(i = p1) ;
 365     S39(i = p1) ;
 366     for (p3=1;p3<=R;p3++) {
 367       S48(i = p1,j = p3) ;
 368       S49(i = p1,j = p3) ;
 369       S50(i = p1,j = p3) ;
 370       S51(i = p1,j = p3) ;
 371     }
 372     S52(i = p1) ;
 373     S53(i = p1) ;
 374     S54(i = p1) ;
 375     S55(i = p1) ;
 376     S56(i = p1) ;
 377     S57(i = p1) ;
 378     S58(i = p1) ;
 379     for (p3=1;p3<=R;p3++) {
 380       S65(i = p1,j = p3) ;
 381       S66(i = p1,j = p3) ;
 382       S67(i = p1,j = p3) ;
 383     }
 384     S68(i = p1) ;
 385     S69(i = p1) ;
 386     S70(i = p1) ;
 387     S71(i = p1) ;
 388     S72(i = p1) ;
 389     S73(i = p1) ;
 390     S74(i = p1) ;
 391     S75(i = p1) ;
 392     S76(i = p1) ;
 393     S77(i = p1) ;
 394     S78(i = p1) ;
 395     S79(i = p1) ;
 396     S80(i = p1) ;
 397     S81(i = p1) ;
 398     S82(i = p1) ;
 399     S83(i = p1) ;
 400     S84(i = p1) ;
 401     S85(i = p1) ;
 402     S86(i = p1) ;
 403     S87(i = p1) ;
 404     S88(i = p1) ;
 405     S89(i = p1) ;
 406     S90(i = p1) ;
 407     S91(i = p1) ;
 408     S92(i = p1) ;
 409     S93(i = p1) ;
 410     S94(i = p1) ;
 411     S99(i = p1) ;
 412     S100(i = p1) ;
 413     S101(i = p1) ;
 414     for (p3=1;p3<=R;p3++) {
 415       S114(i = p1,j = p3) ;
 416       S115(i = p1,j = p3) ;
 417       S116(i = p1,j = p3) ;
 418       S117(i = p1,j = p3) ;
 419       S118(i = p1,j = p3) ;
 420       S119(i = p1,j = p3) ;
 421     }
 422     S120(i = p1) ;
 423     S121(i = p1) ;
 424     S122(i = p1) ;
 425     S123(i = p1) ;
 426     S124(i = p1) ;
 427     S125(i = p1) ;
 428   }
 429 }
 430 if ((M == 1) && (N >= 1) && (Q <= 0) && (R <= 0)) {
 431   for (p1=2;p1<=P;p1++) {
 432     S38(i = p1) ;
 433     S39(i = p1) ;
 434     S52(i = p1) ;
 435     S53(i = p1) ;
 436     S54(i = p1) ;
 437     S55(i = p1) ;
 438     S56(i = p1) ;
 439     S57(i = p1) ;
 440     S58(i = p1) ;
 441     S68(i = p1) ;
 442     S69(i = p1) ;
 443     S70(i = p1) ;
 444     S71(i = p1) ;
 445     S72(i = p1) ;
 446     S73(i = p1) ;
 447     S74(i = p1) ;
 448     S75(i = p1) ;
 449     S76(i = p1) ;
 450     S77(i = p1) ;
 451     S78(i = p1) ;
 452     S79(i = p1) ;
 453     S80(i = p1) ;
 454     S81(i = p1) ;
 455     S82(i = p1) ;
 456     S83(i = p1) ;
 457     S84(i = p1) ;
 458     S85(i = p1) ;
 459     S86(i = p1) ;
 460     S87(i = p1) ;
 461     S88(i = p1) ;
 462     S89(i = p1) ;
 463     S90(i = p1) ;
 464     S91(i = p1) ;
 465     S92(i = p1) ;
 466     S93(i = p1) ;
 467     S94(i = p1) ;
 468     for (p3=1;p3<=N;p3++) {
 469       for (p5=1;p5<=N;p5++) {
 470         S95(i = p1,j = p3,k = p5) ;
 471         S96(i = p1,j = p3,k = p5) ;
 472         S97(i = p1,j = p3,k = p5) ;
 473       }
 474       S98(i = p1,j = p3) ;
 475     }
 476     S99(i = p1) ;
 477     S100(i = p1) ;
 478     S101(i = p1) ;
 479     S120(i = p1) ;
 480     S121(i = p1) ;
 481     S122(i = p1) ;
 482     S123(i = p1) ;
 483     S124(i = p1) ;
 484     S125(i = p1) ;
 485   }
 486 }
 487 if ((M == 1) && (N <= 0) && (Q <= 0) && (R <= 0)) {
 488   for (p1=2;p1<=P;p1++) {
 489     S38(i = p1) ;
 490     S39(i = p1) ;
 491     S52(i = p1) ;
 492     S53(i = p1) ;
 493     S54(i = p1) ;
 494     S55(i = p1) ;
 495     S56(i = p1) ;
 496     S57(i = p1) ;
 497     S58(i = p1) ;
 498     S68(i = p1) ;
 499     S69(i = p1) ;
 500     S70(i = p1) ;
 501     S71(i = p1) ;
 502     S72(i = p1) ;
 503     S73(i = p1) ;
 504     S74(i = p1) ;
 505     S75(i = p1) ;
 506     S76(i = p1) ;
 507     S77(i = p1) ;
 508     S78(i = p1) ;
 509     S79(i = p1) ;
 510     S80(i = p1) ;
 511     S81(i = p1) ;
 512     S82(i = p1) ;
 513     S83(i = p1) ;
 514     S84(i = p1) ;
 515     S85(i = p1) ;
 516     S86(i = p1) ;
 517     S87(i = p1) ;
 518     S88(i = p1) ;
 519     S89(i = p1) ;
 520     S90(i = p1) ;
 521     S91(i = p1) ;
 522     S92(i = p1) ;
 523     S93(i = p1) ;
 524     S94(i = p1) ;
 525     S99(i = p1) ;
 526     S100(i = p1) ;
 527     S101(i = p1) ;
 528     S120(i = p1) ;
 529     S121(i = p1) ;
 530     S122(i = p1) ;
 531     S123(i = p1) ;
 532     S124(i = p1) ;
 533     S125(i = p1) ;
 534   }
 535 }
 536 if ((M == 1) && (N >= 1) && (Q >= 1) && (R <= 0)) {
 537   for (p1=2;p1<=P;p1++) {
 538     S38(i = p1) ;
 539     S39(i = p1) ;
 540     for (p3=1;p3<=Q;p3++) {
 541       S44(i = p1,j = p3) ;
 542       S45(i = p1,j = p3) ;
 543       S46(i = p1,j = p3) ;
 544       S47(i = p1,j = p3) ;
 545     }
 546     S52(i = p1) ;
 547     S53(i = p1) ;
 548     S54(i = p1) ;
 549     S55(i = p1) ;
 550     S56(i = p1) ;
 551     S57(i = p1) ;
 552     S58(i = p1) ;
 553     for (p3=1;p3<=Q;p3++) {
 554       S62(i = p1,j = p3) ;
 555       S63(i = p1,j = p3) ;
 556       S64(i = p1,j = p3) ;
 557     }
 558     S68(i = p1) ;
 559     S69(i = p1) ;
 560     S70(i = p1) ;
 561     S71(i = p1) ;
 562     S72(i = p1) ;
 563     S73(i = p1) ;
 564     S74(i = p1) ;
 565     S75(i = p1) ;
 566     S76(i = p1) ;
 567     S77(i = p1) ;
 568     S78(i = p1) ;
 569     S79(i = p1) ;
 570     S80(i = p1) ;
 571     S81(i = p1) ;
 572     S82(i = p1) ;
 573     S83(i = p1) ;
 574     S84(i = p1) ;
 575     S85(i = p1) ;
 576     S86(i = p1) ;
 577     S87(i = p1) ;
 578     S88(i = p1) ;
 579     S89(i = p1) ;
 580     S90(i = p1) ;
 581     S91(i = p1) ;
 582     S92(i = p1) ;
 583     S93(i = p1) ;
 584     S94(i = p1) ;
 585     for (p3=1;p3<=N;p3++) {
 586       for (p5=1;p5<=N;p5++) {
 587         S95(i = p1,j = p3,k = p5) ;
 588         S96(i = p1,j = p3,k = p5) ;
 589         S97(i = p1,j = p3,k = p5) ;
 590       }
 591       S98(i = p1,j = p3) ;
 592     }
 593     S99(i = p1) ;
 594     S100(i = p1) ;
 595     S101(i = p1) ;
 596     for (p3=1;p3<=Q;p3++) {
 597       S108(i = p1,j = p3) ;
 598       S109(i = p1,j = p3) ;
 599       S110(i = p1,j = p3) ;
 600       S111(i = p1,j = p3) ;
 601       S112(i = p1,j = p3) ;
 602       S113(i = p1,j = p3) ;
 603     }
 604     S120(i = p1) ;
 605     S121(i = p1) ;
 606     S122(i = p1) ;
 607     S123(i = p1) ;
 608     S124(i = p1) ;
 609     S125(i = p1) ;
 610   }
 611 }
 612 if ((M == 1) && (N <= 0) && (Q >= 1) && (R <= 0)) {
 613   for (p1=2;p1<=P;p1++) {
 614     S38(i = p1) ;
 615     S39(i = p1) ;
 616     for (p3=1;p3<=Q;p3++) {
 617       S44(i = p1,j = p3) ;
 618       S45(i = p1,j = p3) ;
 619       S46(i = p1,j = p3) ;
 620       S47(i = p1,j = p3) ;
 621     }
 622     S52(i = p1) ;
 623     S53(i = p1) ;
 624     S54(i = p1) ;
 625     S55(i = p1) ;
 626     S56(i = p1) ;
 627     S57(i = p1) ;
 628     S58(i = p1) ;
 629     for (p3=1;p3<=Q;p3++) {
 630       S62(i = p1,j = p3) ;
 631       S63(i = p1,j = p3) ;
 632       S64(i = p1,j = p3) ;
 633     }
 634     S68(i = p1) ;
 635     S69(i = p1) ;
 636     S70(i = p1) ;
 637     S71(i = p1) ;
 638     S72(i = p1) ;
 639     S73(i = p1) ;
 640     S74(i = p1) ;
 641     S75(i = p1) ;
 642     S76(i = p1) ;
 643     S77(i = p1) ;
 644     S78(i = p1) ;
 645     S79(i = p1) ;
 646     S80(i = p1) ;
 647     S81(i = p1) ;
 648     S82(i = p1) ;
 649     S83(i = p1) ;
 650     S84(i = p1) ;
 651     S85(i = p1) ;
 652     S86(i = p1) ;
 653     S87(i = p1) ;
 654     S88(i = p1) ;
 655     S89(i = p1) ;
 656     S90(i = p1) ;
 657     S91(i = p1) ;
 658     S92(i = p1) ;
 659     S93(i = p1) ;
 660     S94(i = p1) ;
 661     S99(i = p1) ;
 662     S100(i = p1) ;
 663     S101(i = p1) ;
 664     for (p3=1;p3<=Q;p3++) {
 665       S108(i = p1,j = p3) ;
 666       S109(i = p1,j = p3) ;
 667       S110(i = p1,j = p3) ;
 668       S111(i = p1,j = p3) ;
 669       S112(i = p1,j = p3) ;
 670       S113(i = p1,j = p3) ;
 671     }
 672     S120(i = p1) ;
 673     S121(i = p1) ;
 674     S122(i = p1) ;
 675     S123(i = p1) ;
 676     S124(i = p1) ;
 677     S125(i = p1) ;
 678   }
 679 }