(
    (rel 
        (tuple 
            (
                (No_a int) 
                (No_b int) 
                (Prod int)))) 
    (
        (1 1 1) 
        (1 2 2) 
        (2 1 2) 
        (2 2 4) 
        (1 3 3) 
        (2 3 6) 
        (3 1 3) 
        (3 2 6) 
        (3 3 9) 
        (1 4 4) 
        (2 4 8) 
        (3 4 12) 
        (4 1 4) 
        (4 2 8) 
        (4 3 12) 
        (4 4 16) 
        (1 5 5) 
        (2 5 10) 
        (3 5 15) 
        (4 5 20) 
        (5 1 5) 
        (5 2 10) 
        (5 3 15) 
        (5 4 20) 
        (5 5 25) 
        (1 6 6) 
        (2 6 12) 
        (3 6 18) 
        (4 6 24) 
        (5 6 30) 
        (6 1 6) 
        (6 2 12) 
        (6 3 18) 
        (6 4 24) 
        (6 5 30) 
        (6 6 36) 
        (1 7 7) 
        (2 7 14) 
        (3 7 21) 
        (4 7 28) 
        (5 7 35) 
        (6 7 42) 
        (7 1 7) 
        (7 2 14) 
        (7 3 21) 
        (7 4 28) 
        (7 5 35) 
        (7 6 42) 
        (7 7 49) 
        (1 8 8) 
        (2 8 16) 
        (3 8 24) 
        (4 8 32) 
        (5 8 40) 
        (6 8 48) 
        (7 8 56) 
        (8 1 8) 
        (8 2 16) 
        (8 3 24) 
        (8 4 32) 
        (8 5 40) 
        (8 6 48) 
        (8 7 56) 
        (8 8 64) 
        (1 9 9) 
        (2 9 18) 
        (3 9 27) 
        (4 9 36) 
        (5 9 45) 
        (6 9 54) 
        (7 9 63) 
        (8 9 72) 
        (9 1 9) 
        (9 2 18) 
        (9 3 27) 
        (9 4 36) 
        (9 5 45) 
        (9 6 54) 
        (9 7 63) 
        (9 8 72) 
        (9 9 81) 
        (1 10 10) 
        (2 10 20) 
        (3 10 30) 
        (4 10 40) 
        (5 10 50) 
        (6 10 60) 
        (7 10 70) 
        (8 10 80) 
        (9 10 90) 
        (10 1 10) 
        (10 2 20) 
        (10 3 30) 
        (10 4 40) 
        (10 5 50) 
        (10 6 60) 
        (10 7 70) 
        (10 8 80) 
        (10 9 90) 
        (10 10 100)))