14 PROCEDURE Chk(a
, b
: HUGEINT
);
16 Out
.Int(a
, 0); Out
.String(" = "); Out
.Int(b
, 0); Out
.Ln
;
24 Chk(ASH(i
, nConK
), ASH(xConI
, nConK
));
25 Chk(ASH(i
, nConL
), ASH(xConI
, nConL
));
26 Chk(ASH(j
, nConK
), ASH(xConJ
, nConK
));
27 Chk(ASH(j
, nConL
), ASH(xConJ
, nConL
));
29 Chk(SYSTEM
.LSH(i
, nConK
), SYSTEM
.LSH(xConI
, nConK
));
30 Chk(SYSTEM
.LSH(i
, nConL
), SYSTEM
.LSH(xConI
, nConL
));
31 Chk(SYSTEM
.LSH(j
, nConK
), SYSTEM
.LSH(xConJ
, nConK
));
32 Chk(SYSTEM
.LSH(j
, nConL
), SYSTEM
.LSH(xConJ
, nConL
));
34 Chk(SYSTEM
.ROT(i
, nConK
), SYSTEM
.ROT(xConI
, nConK
));
35 Chk(SYSTEM
.ROT(i
, nConL
), SYSTEM
.ROT(xConI
, nConL
));
36 Chk(SYSTEM
.ROT(j
, nConK
), SYSTEM
.ROT(xConJ
, nConK
));
37 Chk(SYSTEM
.ROT(j
, nConL
), SYSTEM
.ROT(xConJ
, nConL
));