Files
secondo/Selftest/result1_symmproductextend_ExtRelation
2026-01-23 17:03:45 +08:00

110 lines
1.9 KiB
Plaintext

(
(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)))