F1449_solved where r = 367

r1 RATIONAL | r2 RATIONAL | op1 RATIONAL | op2 RATIONAL | r INTEGER | op CHARACTER
--- | --- | --- | --- | --- | ---
41.0 | 9.0 | 369.0 | 2.0 | 367 | -

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.0 | 9.0 | 369.0 | 2.0 | 371 | +
744.0 | 2.0 | 372.0 | 1.0 | 371 | -

F1449_solved where r = 382

r1 RATIONAL | r2 RATIONAL | op1 RATIONAL | op2 RATIONAL | r INTEGER | op CHARACTER
--- | --- | --- | --- | --- | ---
64.0 | 0.3333333333333333 | 63.666666666666664 | 6.0 | 382 | *
64.0 | 6.0 | 384.0 | 2.0 | 382 | -

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.0 | 0.3333333333333333 | 64.33333333333333 | 6.0 | 386 | *
64.0 | 6.0 | 384.0 | 2.0 | 386 | +

F1449_solved where r = 393

r1 RATIONAL | r2 RATIONAL | op1 RATIONAL | op2 RATIONAL | r INTEGER | op CHARACTER
--- | --- | --- | --- | --- | ---
41.0 | 9.0 | 369.0 | 24.0 | 393 | +
44.0 | 0.1111111111111111 | 396.0 | 3.0 | 393 | -
44.0 | 0.3333333333333333 | 43.666666666666664 | 9.0 | 393 | *