F1449_solved where r = 367
r1
RATIONAL
r2
RATIONAL
op1
RATIONAL
op2
RATIONAL
r
INTEGER
op
CHARACTER
41.09.0369.02.0367-

F1449_solved where r = 353
r1
RATIONAL
r2
RATIONAL
op1
RATIONAL
op2
RATIONAL
r
INTEGER
op
CHARACTER

(extend F1449_ij_kl_solved{r} rename {r as s} : {r := ROUND(s)}) where r = 353
s
RATIONAL
r
INTEGER

(extend F1449_ij_kl_solved rename {r as s} : {r := ROUND(s)}) where r = 353
r1
RATIONAL
r2
RATIONAL
op1
RATIONAL
op2
RATIONAL
s
RATIONAL
op
CHARACTER
r
INTEGER

(extend F1449_il_jk_solved rename {r as s} : {r := ROUND(s)}) where r = 353
r1
RATIONAL
r2
RATIONAL
op1
RATIONAL
op2
RATIONAL
s
RATIONAL
op
CHARACTER
r
INTEGER

(extend F1449_triples_solved rename {r as s} : {r := ROUND(s)}) where r = 353
r1
RATIONAL
r2
RATIONAL
op1
RATIONAL
op2
RATIONAL
s
RATIONAL
op
CHARACTER
r
INTEGER

(extend F1449_lits_solved rename {r as s} : {r := ROUND(s)}) where r = 353
r1
RATIONAL
r2
RATIONAL
op1
RATIONAL
op2
RATIONAL
s
RATIONAL
op
CHARACTER
r
INTEGER

(F1449 where r >300 and r < 401) not matching
union{
extend F1449_ij_kl_solved{r} rename {r as s} : {r := ROUND(s)} {r},
extend F1449_il_jk_solved{r} rename {r as s} : {r := ROUND(s)} {r},
extend F1449_triples_solved{r} rename {r as s} : {r := ROUND(s)} {r},
extend F1449_lits_solved{r} rename {r as s} : {r := ROUND(s)} {r}
}
r
INTEGER
367
371
382
386
393

F1449_solved where r = 371
r1
RATIONAL
r2
RATIONAL
op1
RATIONAL
op2
RATIONAL
r
INTEGER
op
CHARACTER
41.09.0369.02.0371+
744.02.0372.01.0371-

F1449_solved where r = 382
r1
RATIONAL
r2
RATIONAL
op1
RATIONAL
op2
RATIONAL
r
INTEGER
op
CHARACTER
64.00.333333333333333363.6666666666666646.0382*
64.06.0384.02.0382-


union{
extend F1449_ij_kl_solved{r} rename {r as s} : {r := ROUND(s)} {r},
extend F1449_il_jk_solved{r} rename {r as s} : {r := ROUND(s)} {r},
extend F1449_triples_solved{r} rename {r as s} : {r := ROUND(s)} {r},
extend F1449_lits_solved{r} rename {r as s} : {r := ROUND(s)} {r}
}
not matching (F1449 where r >300 and r < 401)
r
INTEGER
300

F1449_solved where r = 386
r1
RATIONAL
r2
RATIONAL
op1
RATIONAL
op2
RATIONAL
r
INTEGER
op
CHARACTER
64.00.333333333333333364.333333333333336.0386*
64.06.0384.02.0386+

F1449_solved where r = 393
r1
RATIONAL
r2
RATIONAL
op1
RATIONAL
op2
RATIONAL
r
INTEGER
op
CHARACTER
41.09.0369.024.0393+
44.00.1111111111111111396.03.0393-
44.00.333333333333333343.6666666666666649.0393*