| Download
Project: Peter's Files
Views: 32Visibility: Unlisted (only visible to those who know the link)
Kernel: Python 3 (system-wide)
In [9]:
In [95]:
In [74]:
Starting...
Completed to a=0. Elapsed: 00:16:52. Total: 01:58:10. Until complete: 01:41:17.
Completed to a=1. Elapsed: 00:34:01. Total: 01:59:04. Until complete: 01:25:02.
Completed to a=2. Elapsed: 00:50:47. Total: 01:58:31. Until complete: 01:07:43.
Completed to a=3. Elapsed: 01:07:28. Total: 01:58:05. Until complete: 00:50:36.
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 0), (1, 2), (2, 1), (2, 3), (3, 0), (3, 2), (4, 3), (4, 5), (5, 4), (5, 6), (6, 5), (6, 0)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 0), (1, 2), (2, 1), (2, 3), (3, 2), (3, 4), (4, 1), (4, 3), (5, 4), (5, 6), (6, 5), (6, 0)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 0), (1, 2), (2, 1), (2, 3), (3, 2), (3, 4), (4, 3), (4, 5), (5, 2), (5, 4), (6, 5), (6, 0)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 0), (1, 2), (2, 1), (2, 3), (3, 2), (3, 4), (4, 3), (4, 5), (5, 4), (5, 6), (6, 3), (6, 5)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 0), (1, 2), (2, 1), (2, 3), (3, 2), (3, 4), (4, 3), (4, 5), (5, 4), (5, 6), (6, 5), (6, 0)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 0), (1, 2), (2, 5), (2, 0), (3, 1), (3, 3), (4, 4), (4, 6), (5, 0), (5, 2), (6, 3), (6, 5)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 0), (1, 2), (2, 6), (2, 1), (3, 2), (3, 4), (4, 3), (4, 5), (5, 4), (5, 6), (6, 5), (6, 0)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 1), (1, 3), (2, 0), (2, 2), (3, 4), (3, 6), (4, 1), (4, 3), (5, 5), (5, 0), (6, 2), (6, 4)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 1), (1, 3), (2, 1), (2, 3), (3, 5), (3, 0), (4, 0), (4, 2), (5, 2), (5, 4), (6, 4), (6, 6)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 1), (1, 3), (2, 3), (2, 5), (3, 3), (3, 5), (4, 0), (4, 2), (5, 2), (5, 4), (6, 4), (6, 6)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 1), (1, 3), (2, 3), (2, 5), (3, 5), (3, 0), (4, 0), (4, 2), (5, 0), (5, 2), (6, 4), (6, 6)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 1), (1, 3), (2, 3), (2, 5), (3, 5), (3, 0), (4, 0), (4, 2), (5, 2), (5, 4), (6, 2), (6, 4)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 1), (1, 3), (2, 3), (2, 5), (3, 5), (3, 0), (4, 0), (4, 2), (5, 2), (5, 4), (6, 4), (6, 6)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 1), (1, 3), (2, 3), (2, 5), (3, 5), (3, 0), (4, 5), (4, 0), (5, 2), (5, 4), (6, 4), (6, 6)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 2), (1, 4), (2, 2), (2, 4), (3, 0), (3, 2), (4, 5), (4, 0), (5, 3), (5, 5), (6, 1), (6, 3)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 2), (1, 4), (2, 3), (2, 5), (3, 1), (3, 3), (4, 4), (4, 6), (5, 0), (5, 2), (6, 3), (6, 5)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 2), (1, 4), (2, 5), (2, 0), (3, 1), (3, 3), (4, 2), (4, 4), (5, 0), (5, 2), (6, 3), (6, 5)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 2), (1, 4), (2, 5), (2, 0), (3, 1), (3, 3), (4, 4), (4, 6), (5, 0), (5, 2), (6, 1), (6, 3)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 2), (1, 4), (2, 5), (2, 0), (3, 1), (3, 3), (4, 4), (4, 6), (5, 0), (5, 2), (6, 3), (6, 5)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 2), (1, 4), (2, 5), (2, 0), (3, 1), (3, 3), (4, 4), (4, 6), (5, 5), (5, 0), (6, 3), (6, 5)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 2), (1, 4), (2, 5), (2, 0), (3, 6), (3, 1), (4, 4), (4, 6), (5, 0), (5, 2), (6, 3), (6, 5)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 3), (1, 5), (2, 0), (2, 2), (3, 2), (3, 4), (4, 1), (4, 3), (5, 5), (5, 0), (6, 2), (6, 4)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 3), (1, 5), (2, 0), (2, 2), (3, 4), (3, 6), (4, 1), (4, 3), (5, 3), (5, 5), (6, 2), (6, 4)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 3), (1, 5), (2, 0), (2, 2), (3, 4), (3, 6), (4, 1), (4, 3), (5, 5), (5, 0), (6, 0), (6, 2)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 3), (1, 5), (2, 0), (2, 2), (3, 4), (3, 6), (4, 1), (4, 3), (5, 5), (5, 0), (6, 2), (6, 4)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 3), (1, 5), (2, 0), (2, 2), (3, 4), (3, 6), (4, 6), (4, 1), (5, 5), (5, 0), (6, 2), (6, 4)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 3), (1, 5), (2, 4), (2, 6), (3, 3), (3, 5), (4, 2), (4, 4), (5, 1), (5, 3), (6, 0), (6, 2)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 3), (1, 5), (2, 5), (2, 0), (3, 4), (3, 6), (4, 1), (4, 3), (5, 5), (5, 0), (6, 2), (6, 4)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 4), (1, 6), (2, 0), (2, 2), (3, 0), (3, 2), (4, 5), (4, 0), (5, 3), (5, 5), (6, 1), (6, 3)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 4), (1, 6), (2, 2), (2, 4), (3, 0), (3, 2), (4, 3), (4, 5), (5, 3), (5, 5), (6, 1), (6, 3)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 4), (1, 6), (2, 2), (2, 4), (3, 0), (3, 2), (4, 5), (4, 0), (5, 1), (5, 3), (6, 1), (6, 3)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 4), (1, 6), (2, 2), (2, 4), (3, 0), (3, 2), (4, 5), (4, 0), (5, 3), (5, 5), (6, 1), (6, 3)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 4), (1, 6), (2, 2), (2, 4), (3, 0), (3, 2), (4, 5), (4, 0), (5, 3), (5, 5), (6, 6), (6, 1)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 4), (1, 6), (2, 2), (2, 4), (3, 5), (3, 0), (4, 5), (4, 0), (5, 3), (5, 5), (6, 1), (6, 3)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 4), (1, 6), (2, 6), (2, 1), (3, 6), (3, 1), (4, 6), (4, 1), (5, 6), (5, 1), (6, 6), (6, 1)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 5), (1, 0), (2, 1), (2, 3), (3, 2), (3, 4), (4, 3), (4, 5), (5, 4), (5, 6), (6, 5), (6, 0)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 5), (1, 0), (2, 2), (2, 4), (3, 3), (3, 5), (4, 2), (4, 4), (5, 1), (5, 3), (6, 0), (6, 2)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 5), (1, 0), (2, 4), (2, 6), (3, 1), (3, 3), (4, 2), (4, 4), (5, 1), (5, 3), (6, 0), (6, 2)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 5), (1, 0), (2, 4), (2, 6), (3, 3), (3, 5), (4, 0), (4, 2), (5, 1), (5, 3), (6, 0), (6, 2)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 5), (1, 0), (2, 4), (2, 6), (3, 3), (3, 5), (4, 2), (4, 4), (5, 1), (5, 3), (6, 0), (6, 2)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 5), (1, 0), (2, 4), (2, 6), (3, 3), (3, 5), (4, 2), (4, 4), (5, 1), (5, 3), (6, 5), (6, 0)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 5), (1, 0), (2, 4), (2, 6), (3, 3), (3, 5), (4, 2), (4, 4), (5, 6), (5, 1), (6, 0), (6, 2)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 6), (1, 1), (2, 3), (2, 5), (3, 5), (3, 0), (4, 0), (4, 2), (5, 2), (5, 4), (6, 4), (6, 6)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 6), (1, 1), (2, 4), (2, 6), (3, 6), (3, 1), (4, 6), (4, 1), (5, 6), (5, 1), (6, 6), (6, 1)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 6), (1, 1), (2, 6), (2, 1), (3, 4), (3, 6), (4, 6), (4, 1), (5, 6), (5, 1), (6, 6), (6, 1)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 6), (1, 1), (2, 6), (2, 1), (3, 6), (3, 1), (4, 4), (4, 6), (5, 6), (5, 1), (6, 6), (6, 1)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 6), (1, 1), (2, 6), (2, 1), (3, 6), (3, 1), (4, 6), (4, 1), (5, 4), (5, 6), (6, 6), (6, 1)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 6), (1, 1), (2, 6), (2, 1), (3, 6), (3, 1), (4, 6), (4, 1), (5, 6), (5, 1), (6, 4), (6, 6)].
Found weak (2,1)-sum-free set, A=[(0, 4), (0, 6), (0, 1), (1, 6), (1, 1), (2, 6), (2, 1), (3, 6), (3, 1), (4, 6), (4, 1), (5, 6), (5, 1), (6, 6), (6, 1)].
Completed to a=4. Elapsed: 01:24:51. Total: 01:58:47. Until complete: 00:33:56.
Completed to a=5. Elapsed: 01:41:06. Total: 01:57:57. Until complete: 00:16:51.
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 0), (1, 2), (2, 1), (2, 3), (3, 2), (3, 4), (4, 3), (4, 5), (5, 4), (5, 6), (6, 0), (6, 2)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 0), (1, 2), (2, 1), (2, 3), (3, 2), (3, 4), (4, 3), (4, 5), (5, 4), (5, 6), (6, 5), (6, 0)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 0), (1, 2), (2, 1), (2, 3), (3, 2), (3, 4), (4, 3), (4, 5), (5, 6), (5, 1), (6, 5), (6, 0)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 0), (1, 2), (2, 1), (2, 3), (3, 2), (3, 4), (4, 5), (4, 0), (5, 4), (5, 6), (6, 5), (6, 0)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 0), (1, 2), (2, 1), (2, 3), (3, 4), (3, 6), (4, 3), (4, 5), (5, 4), (5, 6), (6, 5), (6, 0)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 0), (1, 2), (2, 3), (2, 5), (3, 2), (3, 4), (4, 3), (4, 5), (5, 4), (5, 6), (6, 5), (6, 0)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 0), (1, 2), (2, 4), (2, 6), (3, 3), (3, 5), (4, 2), (4, 4), (5, 1), (5, 3), (6, 0), (6, 2)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 1), (1, 3), (2, 3), (2, 5), (3, 0), (3, 2), (4, 0), (4, 2), (5, 2), (5, 4), (6, 4), (6, 6)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 1), (1, 3), (2, 3), (2, 5), (3, 5), (3, 0), (4, 0), (4, 2), (5, 2), (5, 4), (6, 4), (6, 6)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 1), (1, 3), (2, 3), (2, 5), (3, 5), (3, 0), (4, 0), (4, 2), (5, 2), (5, 4), (6, 6), (6, 1)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 1), (1, 3), (2, 3), (2, 5), (3, 5), (3, 0), (4, 0), (4, 2), (5, 4), (5, 6), (6, 4), (6, 6)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 1), (1, 3), (2, 3), (2, 5), (3, 5), (3, 0), (4, 2), (4, 4), (5, 2), (5, 4), (6, 4), (6, 6)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 1), (1, 3), (2, 5), (2, 0), (3, 5), (3, 0), (4, 0), (4, 2), (5, 2), (5, 4), (6, 4), (6, 6)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 1), (1, 3), (2, 6), (2, 1), (3, 6), (3, 1), (4, 6), (4, 1), (5, 6), (5, 1), (6, 6), (6, 1)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 2), (1, 4), (2, 0), (2, 2), (3, 1), (3, 3), (4, 4), (4, 6), (5, 0), (5, 2), (6, 3), (6, 5)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 2), (1, 4), (2, 1), (2, 3), (3, 2), (3, 4), (4, 3), (4, 5), (5, 4), (5, 6), (6, 5), (6, 0)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 2), (1, 4), (2, 5), (2, 0), (3, 1), (3, 3), (4, 4), (4, 6), (5, 0), (5, 2), (6, 3), (6, 5)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 2), (1, 4), (2, 5), (2, 0), (3, 1), (3, 3), (4, 4), (4, 6), (5, 0), (5, 2), (6, 5), (6, 0)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 2), (1, 4), (2, 5), (2, 0), (3, 1), (3, 3), (4, 4), (4, 6), (5, 2), (5, 4), (6, 3), (6, 5)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 2), (1, 4), (2, 5), (2, 0), (3, 1), (3, 3), (4, 6), (4, 1), (5, 0), (5, 2), (6, 3), (6, 5)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 2), (1, 4), (2, 5), (2, 0), (3, 3), (3, 5), (4, 4), (4, 6), (5, 0), (5, 2), (6, 3), (6, 5)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 3), (1, 5), (2, 0), (2, 2), (3, 4), (3, 6), (4, 1), (4, 3), (5, 0), (5, 2), (6, 2), (6, 4)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 3), (1, 5), (2, 0), (2, 2), (3, 4), (3, 6), (4, 1), (4, 3), (5, 5), (5, 0), (6, 2), (6, 4)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 3), (1, 5), (2, 0), (2, 2), (3, 4), (3, 6), (4, 1), (4, 3), (5, 5), (5, 0), (6, 4), (6, 6)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 3), (1, 5), (2, 0), (2, 2), (3, 4), (3, 6), (4, 3), (4, 5), (5, 5), (5, 0), (6, 2), (6, 4)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 3), (1, 5), (2, 0), (2, 2), (3, 6), (3, 1), (4, 1), (4, 3), (5, 5), (5, 0), (6, 2), (6, 4)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 3), (1, 5), (2, 2), (2, 4), (3, 4), (3, 6), (4, 1), (4, 3), (5, 5), (5, 0), (6, 2), (6, 4)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 3), (1, 5), (2, 3), (2, 5), (3, 5), (3, 0), (4, 0), (4, 2), (5, 2), (5, 4), (6, 4), (6, 6)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 4), (1, 6), (2, 2), (2, 4), (3, 0), (3, 2), (4, 0), (4, 2), (5, 3), (5, 5), (6, 1), (6, 3)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 4), (1, 6), (2, 2), (2, 4), (3, 0), (3, 2), (4, 5), (4, 0), (5, 3), (5, 5), (6, 1), (6, 3)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 4), (1, 6), (2, 2), (2, 4), (3, 0), (3, 2), (4, 5), (4, 0), (5, 3), (5, 5), (6, 3), (6, 5)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 4), (1, 6), (2, 2), (2, 4), (3, 0), (3, 2), (4, 5), (4, 0), (5, 5), (5, 0), (6, 1), (6, 3)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 4), (1, 6), (2, 2), (2, 4), (3, 2), (3, 4), (4, 5), (4, 0), (5, 3), (5, 5), (6, 1), (6, 3)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 4), (1, 6), (2, 4), (2, 6), (3, 0), (3, 2), (4, 5), (4, 0), (5, 3), (5, 5), (6, 1), (6, 3)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 4), (1, 6), (2, 5), (2, 0), (3, 1), (3, 3), (4, 4), (4, 6), (5, 0), (5, 2), (6, 3), (6, 5)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 5), (1, 0), (2, 0), (2, 2), (3, 4), (3, 6), (4, 1), (4, 3), (5, 5), (5, 0), (6, 2), (6, 4)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 5), (1, 0), (2, 4), (2, 6), (3, 3), (3, 5), (4, 2), (4, 4), (5, 1), (5, 3), (6, 0), (6, 2)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 5), (1, 0), (2, 4), (2, 6), (3, 3), (3, 5), (4, 2), (4, 4), (5, 1), (5, 3), (6, 2), (6, 4)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 5), (1, 0), (2, 4), (2, 6), (3, 3), (3, 5), (4, 2), (4, 4), (5, 3), (5, 5), (6, 0), (6, 2)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 5), (1, 0), (2, 4), (2, 6), (3, 3), (3, 5), (4, 4), (4, 6), (5, 1), (5, 3), (6, 0), (6, 2)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 5), (1, 0), (2, 4), (2, 6), (3, 5), (3, 0), (4, 2), (4, 4), (5, 1), (5, 3), (6, 0), (6, 2)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 5), (1, 0), (2, 6), (2, 1), (3, 3), (3, 5), (4, 2), (4, 4), (5, 1), (5, 3), (6, 0), (6, 2)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 6), (1, 1), (2, 1), (2, 3), (3, 6), (3, 1), (4, 6), (4, 1), (5, 6), (5, 1), (6, 6), (6, 1)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 6), (1, 1), (2, 2), (2, 4), (3, 0), (3, 2), (4, 5), (4, 0), (5, 3), (5, 5), (6, 1), (6, 3)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 6), (1, 1), (2, 6), (2, 1), (3, 1), (3, 3), (4, 6), (4, 1), (5, 6), (5, 1), (6, 6), (6, 1)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 6), (1, 1), (2, 6), (2, 1), (3, 6), (3, 1), (4, 1), (4, 3), (5, 6), (5, 1), (6, 6), (6, 1)].
Found weak (2,1)-sum-free set, A=[(0, 6), (0, 1), (0, 3), (1, 6), (1, 1), (2, 6), (2, 1), (3, 6), (3, 1), (4, 6), (4, 1), (5, 1), (5, 3), (6, 6), (6, 1)].
WARNING: Some output was deleted.
In [89]:
All good here! Checked all 98 sets.
In [82]:
[{(0, 1), (1, 2), (3, 2), (5, 4), (3, 0), (4, 5), (5, 6), (6, 0), (2, 1), (0, 6), (2, 3), (4, 3), (0, 4), (1, 0), (6, 5)}, {(0, 1), (1, 2), (3, 2), (4, 1), (5, 4), (5, 6), (6, 0), (2, 1), (0, 6), (2, 3), (4, 3), (0, 4), (1, 0), (3, 4), (6, 5)}, {(0, 1), (1, 2), (3, 2), (5, 4), (4, 5), (5, 2), (6, 0), (2, 1), (0, 6), (2, 3), (4, 3), (0, 4), (1, 0), (3, 4), (6, 5)}, {(0, 1), (1, 2), (3, 2), (5, 4), (4, 5), (5, 6), (2, 1), (6, 3), (0, 6), (2, 3), (4, 3), (0, 4), (1, 0), (3, 4), (6, 5)}, {(0, 1), (1, 2), (3, 2), (5, 4), (4, 5), (5, 6), (6, 0), (2, 1), (0, 6), (2, 3), (4, 3), (0, 4), (1, 0), (3, 4), (6, 5)}, {(0, 1), (1, 2), (3, 3), (4, 6), (3, 1), (4, 4), (6, 3), (0, 6), (2, 0), (2, 5), (5, 0), (0, 4), (1, 0), (5, 2), (6, 5)}, {(0, 1), (1, 2), (3, 2), (2, 6), (5, 4), (4, 5), (5, 6), (6, 0), (2, 1), (0, 6), (4, 3), (0, 4), (1, 0), (3, 4), (6, 5)}, {(0, 1), (6, 4), (4, 1), (1, 3), (5, 5), (2, 2), (0, 6), (2, 0), (6, 2), (3, 6), (0, 4), (4, 3), (5, 0), (3, 4), (1, 1)}, {(0, 1), (6, 4), (5, 4), (1, 3), (6, 6), (3, 0), (4, 0), (2, 1), (0, 6), (2, 3), (0, 4), (4, 2), (5, 2), (1, 1), (3, 5)}, {(0, 1), (6, 4), (5, 4), (1, 3), (3, 3), (6, 6), (4, 0), (0, 6), (2, 3), (0, 4), (4, 2), (2, 5), (5, 2), (1, 1), (3, 5)}, {(0, 1), (6, 4), (1, 3), (6, 6), (3, 0), (4, 0), (0, 6), (2, 3), (5, 0), (0, 4), (4, 2), (2, 5), (5, 2), (1, 1), (3, 5)}, {(0, 1), (6, 4), (5, 4), (1, 3), (3, 0), (4, 0), (0, 6), (6, 2), (2, 3), (0, 4), (4, 2), (2, 5), (5, 2), (1, 1), (3, 5)}, {(0, 1), (6, 4), (5, 4), (1, 3), (6, 6), (3, 0), (4, 0), (0, 6), (2, 3), (0, 4), (4, 2), (2, 5), (5, 2), (1, 1), (3, 5)}, {(0, 1), (6, 4), (5, 4), (1, 3), (6, 6), (3, 0), (4, 5), (4, 0), (0, 6), (2, 3), (0, 4), (2, 5), (5, 2), (1, 1), (3, 5)}, {(0, 1), (1, 2), (3, 2), (5, 5), (3, 0), (2, 2), (4, 5), (6, 1), (1, 4), (6, 3), (0, 6), (5, 3), (0, 4), (2, 4), (4, 0)}, {(0, 1), (1, 2), (3, 3), (4, 6), (3, 1), (4, 4), (1, 4), (6, 3), (0, 6), (2, 3), (5, 0), (0, 4), (2, 5), (5, 2), (6, 5)}, {(0, 1), (1, 2), (3, 3), (3, 1), (4, 4), (1, 4), (6, 3), (0, 6), (2, 0), (5, 0), (0, 4), (4, 2), (2, 5), (5, 2), (6, 5)}, {(0, 1), (1, 2), (3, 3), (4, 6), (6, 1), (3, 1), (4, 4), (1, 4), (6, 3), (0, 6), (2, 0), (5, 0), (0, 4), (2, 5), (5, 2)}, {(0, 1), (1, 2), (3, 3), (4, 6), (3, 1), (4, 4), (1, 4), (6, 3), (0, 6), (2, 0), (5, 0), (0, 4), (2, 5), (5, 2), (6, 5)}, {(0, 1), (1, 2), (3, 3), (4, 6), (5, 5), (3, 1), (4, 4), (1, 4), (6, 3), (0, 6), (2, 0), (5, 0), (0, 4), (2, 5), (6, 5)}, {(0, 1), (1, 2), (4, 6), (3, 1), (4, 4), (1, 4), (6, 3), (0, 6), (2, 0), (3, 6), (0, 4), (5, 0), (2, 5), (5, 2), (6, 5)}, {(0, 1), (6, 4), (3, 2), (1, 3), (4, 1), (5, 5), (2, 2), (0, 6), (1, 5), (2, 0), (6, 2), (4, 3), (0, 4), (5, 0), (3, 4)}, {(0, 1), (6, 4), (4, 1), (1, 3), (5, 5), (2, 2), (0, 6), (1, 5), (2, 0), (6, 2), (3, 6), (0, 4), (4, 3), (3, 4), (5, 3)}, {(0, 1), (4, 1), (1, 3), (5, 5), (2, 2), (6, 0), (0, 6), (1, 5), (2, 0), (6, 2), (3, 6), (0, 4), (4, 3), (5, 0), (3, 4)}, {(0, 1), (6, 4), (4, 1), (1, 3), (5, 5), (2, 2), (0, 6), (1, 5), (2, 0), (6, 2), (3, 6), (0, 4), (4, 3), (5, 0), (3, 4)}, {(0, 1), (6, 4), (4, 1), (1, 3), (4, 6), (5, 5), (2, 2), (0, 6), (1, 5), (2, 0), (6, 2), (3, 6), (0, 4), (5, 0), (3, 4)}, {(0, 1), (5, 1), (1, 3), (2, 6), (3, 3), (4, 4), (6, 0), (0, 6), (1, 5), (6, 2), (5, 3), (0, 4), (4, 2), (2, 4), (3, 5)}, {(0, 1), (6, 4), (4, 1), (1, 3), (5, 5), (0, 6), (1, 5), (2, 0), (6, 2), (3, 6), (0, 4), (4, 3), (5, 0), (2, 5), (3, 4)}, {(0, 1), (3, 2), (5, 5), (3, 0), (2, 2), (4, 5), (6, 1), (1, 4), (6, 3), (0, 6), (2, 0), (1, 6), (5, 3), (0, 4), (4, 0)}, {(0, 1), (3, 2), (5, 5), (3, 0), (2, 2), (4, 5), (6, 1), (1, 4), (6, 3), (0, 6), (1, 6), (4, 3), (0, 4), (2, 4), (5, 3)}, {(0, 1), (3, 2), (3, 0), (2, 2), (4, 5), (6, 1), (1, 4), (6, 3), (0, 6), (1, 6), (5, 3), (0, 4), (5, 1), (2, 4), (4, 0)}, {(0, 1), (3, 2), (5, 5), (3, 0), (2, 2), (4, 5), (6, 1), (1, 4), (6, 3), (0, 6), (1, 6), (5, 3), (0, 4), (2, 4), (4, 0)}, {(0, 1), (3, 2), (5, 5), (6, 6), (3, 0), (2, 2), (4, 5), (6, 1), (1, 4), (0, 6), (1, 6), (5, 3), (0, 4), (2, 4), (4, 0)}, {(0, 1), (5, 5), (3, 0), (2, 2), (4, 5), (6, 1), (4, 0), (1, 4), (6, 3), (0, 6), (1, 6), (5, 3), (0, 4), (2, 4), (3, 5)}, {(0, 1), (2, 6), (4, 6), (6, 6), (5, 6), (6, 1), (3, 1), (1, 4), (2, 1), (0, 6), (1, 6), (3, 6), (0, 4), (5, 1), (4, 1)}, {(0, 1), (3, 2), (5, 4), (4, 5), (5, 6), (6, 0), (2, 1), (0, 6), (1, 5), (2, 3), (4, 3), (0, 4), (1, 0), (3, 4), (6, 5)}, {(0, 1), (5, 1), (3, 3), (2, 2), (4, 4), (6, 0), (0, 6), (1, 5), (6, 2), (5, 3), (0, 4), (4, 2), (1, 0), (2, 4), (3, 5)}, {(0, 1), (5, 1), (2, 6), (3, 3), (3, 1), (4, 4), (6, 0), (0, 6), (1, 5), (6, 2), (0, 4), (4, 2), (1, 0), (2, 4), (5, 3)}, {(0, 1), (5, 1), (2, 6), (3, 3), (4, 0), (6, 0), (0, 6), (1, 5), (6, 2), (5, 3), (0, 4), (4, 2), (1, 0), (2, 4), (3, 5)}, {(0, 1), (5, 1), (2, 6), (3, 3), (4, 4), (6, 0), (0, 6), (1, 5), (6, 2), (5, 3), (0, 4), (4, 2), (1, 0), (2, 4), (3, 5)}, {(0, 1), (5, 1), (2, 6), (3, 3), (4, 4), (6, 0), (0, 6), (1, 5), (5, 3), (0, 4), (4, 2), (1, 0), (2, 4), (6, 5), (3, 5)}, {(0, 1), (5, 1), (2, 6), (3, 3), (5, 6), (4, 4), (6, 0), (0, 6), (1, 5), (6, 2), (0, 4), (4, 2), (1, 0), (2, 4), (3, 5)}, {(0, 1), (6, 4), (5, 4), (6, 6), (3, 0), (4, 0), (0, 6), (1, 6), (2, 3), (0, 4), (4, 2), (2, 5), (5, 2), (1, 1), (3, 5)}, {(0, 1), (2, 6), (4, 6), (6, 6), (5, 6), (6, 1), (3, 1), (0, 6), (2, 4), (1, 6), (3, 6), (0, 4), (5, 1), (4, 1), (1, 1)}, {(0, 1), (4, 1), (2, 6), (4, 6), (6, 6), (5, 6), (6, 1), (2, 1), (0, 6), (1, 6), (3, 6), (0, 4), (5, 1), (3, 4), (1, 1)}, {(0, 1), (2, 6), (4, 6), (6, 6), (5, 6), (6, 1), (3, 1), (4, 4), (2, 1), (0, 6), (1, 6), (3, 6), (0, 4), (5, 1), (1, 1)}, {(0, 1), (5, 4), (2, 6), (4, 6), (6, 6), (5, 6), (6, 1), (3, 1), (2, 1), (0, 6), (1, 6), (3, 6), (0, 4), (4, 1), (1, 1)}, {(0, 1), (6, 4), (2, 6), (4, 6), (6, 6), (5, 6), (3, 1), (2, 1), (0, 6), (1, 6), (3, 6), (0, 4), (5, 1), (4, 1), (1, 1)}, {(0, 1), (2, 6), (4, 6), (6, 6), (5, 6), (6, 1), (3, 1), (2, 1), (0, 6), (1, 6), (3, 6), (0, 4), (5, 1), (4, 1), (1, 1)}, {(0, 1), (1, 2), (3, 2), (5, 4), (4, 5), (1, 0), (5, 6), (6, 0), (2, 1), (0, 6), (6, 2), (2, 3), (4, 3), (0, 3), (3, 4)}, {(0, 1), (1, 2), (3, 2), (5, 4), (4, 5), (1, 0), (5, 6), (6, 0), (2, 1), (0, 6), (2, 3), (4, 3), (0, 3), (3, 4), (6, 5)}, {(0, 1), (1, 2), (3, 2), (4, 5), (1, 0), (5, 6), (6, 0), (2, 1), (0, 6), (2, 3), (4, 3), (5, 1), (0, 3), (3, 4), (6, 5)}, {(0, 1), (1, 2), (3, 2), (5, 4), (4, 5), (1, 0), (5, 6), (6, 0), (2, 1), (0, 6), (2, 3), (0, 3), (3, 4), (6, 5), (4, 0)}, {(0, 1), (1, 2), (5, 4), (4, 5), (1, 0), (5, 6), (6, 0), (2, 1), (0, 6), (2, 3), (3, 6), (4, 3), (0, 3), (3, 4), (6, 5)}, {(0, 1), (1, 2), (3, 2), (5, 4), (4, 5), (1, 0), (5, 6), (6, 0), (0, 6), (2, 5), (2, 3), (4, 3), (0, 3), (3, 4), (6, 5)}, {(0, 1), (1, 2), (5, 1), (2, 6), (3, 3), (1, 0), (4, 4), (6, 0), (0, 6), (6, 2), (5, 3), (4, 2), (0, 3), (2, 4), (3, 5)}, {(0, 1), (6, 4), (3, 2), (1, 3), (5, 4), (6, 6), (3, 0), (0, 6), (2, 5), (2, 3), (4, 2), (0, 3), (5, 2), (1, 1), (4, 0)}, {(0, 1), (6, 4), (5, 4), (1, 3), (6, 6), (3, 0), (4, 0), (0, 6), (2, 5), (2, 3), (4, 2), (0, 3), (5, 2), (1, 1), (3, 5)}, {(0, 1), (5, 4), (1, 3), (6, 6), (3, 0), (6, 1), (4, 0), (0, 6), (2, 5), (2, 3), (4, 2), (0, 3), (5, 2), (1, 1), (3, 5)}, {(0, 1), (6, 4), (5, 4), (1, 3), (6, 6), (3, 0), (5, 6), (4, 0), (0, 6), (2, 5), (2, 3), (4, 2), (0, 3), (1, 1), (3, 5)}, {(0, 1), (6, 4), (5, 4), (1, 3), (6, 6), (3, 0), (4, 4), (0, 6), (2, 5), (2, 3), (4, 2), (0, 3), (5, 2), (1, 1), (3, 5)}, {(0, 1), (6, 4), (5, 4), (1, 3), (6, 6), (3, 0), (4, 0), (0, 6), (2, 0), (2, 5), (4, 2), (0, 3), (5, 2), (1, 1), (3, 5)}, {(0, 1), (1, 3), (2, 6), (4, 6), (6, 6), (5, 6), (6, 1), (3, 1), (2, 1), (0, 6), (3, 6), (5, 1), (0, 3), (4, 1), (1, 1)}, {(0, 1), (1, 2), (3, 3), (4, 6), (3, 1), (4, 4), (1, 4), (6, 3), (0, 6), (2, 0), (5, 0), (2, 2), (0, 3), (5, 2), (6, 5)}, {(0, 1), (1, 2), (3, 2), (5, 4), (4, 5), (5, 6), (6, 0), (1, 4), (2, 1), (0, 6), (2, 3), (4, 3), (0, 3), (3, 4), (6, 5)}, {(0, 1), (1, 2), (3, 3), (4, 6), (3, 1), (4, 4), (1, 4), (6, 3), (0, 6), (2, 0), (2, 5), (5, 0), (0, 3), (5, 2), (6, 5)}, {(0, 1), (1, 2), (3, 3), (4, 6), (3, 1), (4, 4), (6, 0), (1, 4), (0, 6), (2, 0), (2, 5), (5, 0), (0, 3), (5, 2), (6, 5)}, {(0, 1), (1, 2), (5, 4), (3, 3), (4, 6), (3, 1), (4, 4), (1, 4), (6, 3), (0, 6), (2, 0), (2, 5), (0, 3), (5, 2), (6, 5)}, {(0, 1), (1, 2), (3, 3), (4, 6), (3, 1), (5, 2), (1, 4), (6, 3), (0, 6), (2, 0), (2, 5), (5, 0), (0, 3), (4, 1), (6, 5)}, {(0, 1), (1, 2), (3, 3), (4, 6), (4, 4), (1, 4), (6, 3), (0, 6), (2, 0), (2, 5), (5, 0), (0, 3), (5, 2), (6, 5), (3, 5)}, {(0, 1), (6, 4), (4, 1), (1, 3), (5, 2), (0, 6), (1, 5), (2, 0), (6, 2), (3, 6), (2, 2), (4, 3), (5, 0), (0, 3), (3, 4)}, {(0, 1), (6, 4), (4, 1), (1, 3), (5, 5), (0, 6), (1, 5), (2, 0), (6, 2), (3, 6), (2, 2), (4, 3), (5, 0), (0, 3), (3, 4)}, {(0, 1), (6, 4), (4, 1), (1, 3), (5, 5), (6, 6), (0, 6), (1, 5), (2, 0), (3, 6), (2, 2), (4, 3), (5, 0), (0, 3), (3, 4)}, {(0, 1), (6, 4), (1, 3), (5, 5), (4, 5), (0, 6), (1, 5), (2, 0), (6, 2), (3, 6), (2, 2), (4, 3), (5, 0), (0, 3), (3, 4)}, {(0, 1), (6, 4), (1, 3), (5, 5), (3, 1), (0, 6), (1, 5), (2, 0), (6, 2), (3, 6), (2, 2), (4, 3), (5, 0), (0, 3), (4, 1)}, {(0, 1), (6, 4), (4, 1), (1, 3), (5, 5), (0, 6), (1, 5), (6, 2), (3, 6), (2, 2), (4, 3), (5, 0), (0, 3), (3, 4), (2, 4)}, {(0, 1), (6, 4), (5, 4), (1, 3), (6, 6), (3, 0), (4, 0), (0, 6), (1, 5), (2, 5), (2, 3), (4, 2), (0, 3), (5, 2), (3, 5)}, {(0, 1), (3, 2), (5, 5), (3, 0), (6, 1), (1, 4), (6, 3), (0, 6), (1, 6), (5, 3), (2, 2), (4, 2), (0, 3), (2, 4), (4, 0)}, {(0, 1), (3, 2), (5, 5), (3, 0), (4, 5), (6, 1), (1, 4), (6, 3), (0, 6), (1, 6), (5, 3), (2, 2), (0, 3), (2, 4), (4, 0)}, {(0, 1), (3, 2), (5, 5), (3, 0), (4, 5), (1, 4), (6, 3), (0, 6), (1, 6), (5, 3), (2, 2), (0, 3), (2, 4), (6, 5), (4, 0)}, {(0, 1), (3, 2), (5, 5), (3, 0), (4, 5), (6, 1), (1, 4), (6, 3), (0, 6), (1, 6), (5, 0), (2, 2), (0, 3), (2, 4), (4, 0)}, {(0, 1), (3, 2), (5, 5), (4, 5), (6, 1), (1, 4), (6, 3), (0, 6), (1, 6), (5, 3), (2, 2), (0, 3), (3, 4), (2, 4), (4, 0)}, {(0, 1), (3, 2), (2, 6), (5, 5), (3, 0), (4, 5), (6, 1), (1, 4), (6, 3), (0, 6), (1, 6), (5, 3), (0, 3), (2, 4), (4, 0)}, {(0, 1), (3, 3), (4, 6), (3, 1), (4, 4), (1, 4), (6, 3), (0, 6), (2, 0), (2, 5), (1, 6), (5, 0), (0, 3), (5, 2), (6, 5)}, {(0, 1), (6, 4), (4, 1), (5, 5), (1, 0), (0, 6), (1, 5), (2, 0), (6, 2), (3, 6), (2, 2), (4, 3), (5, 0), (0, 3), (3, 4)}, {(0, 1), (5, 1), (2, 6), (3, 3), (1, 0), (4, 4), (6, 0), (0, 6), (1, 5), (6, 2), (5, 3), (4, 2), (0, 3), (2, 4), (3, 5)}, {(0, 1), (6, 4), (5, 1), (2, 6), (3, 3), (1, 0), (4, 4), (0, 6), (1, 5), (6, 2), (5, 3), (4, 2), (0, 3), (2, 4), (3, 5)}, {(0, 1), (2, 6), (3, 3), (5, 5), (1, 0), (4, 4), (6, 0), (0, 6), (1, 5), (6, 2), (5, 3), (4, 2), (0, 3), (2, 4), (3, 5)}, {(0, 1), (2, 6), (3, 3), (4, 6), (1, 0), (4, 4), (6, 0), (0, 6), (1, 5), (6, 2), (5, 3), (5, 1), (0, 3), (2, 4), (3, 5)}, {(0, 1), (5, 1), (2, 6), (3, 0), (1, 0), (4, 4), (6, 0), (0, 6), (1, 5), (6, 2), (5, 3), (4, 2), (0, 3), (2, 4), (3, 5)}, {(0, 1), (5, 1), (2, 6), (3, 3), (1, 0), (4, 4), (6, 0), (2, 1), (0, 6), (1, 5), (6, 2), (5, 3), (4, 2), (0, 3), (3, 5)}, {(0, 1), (4, 6), (6, 6), (5, 6), (6, 1), (3, 1), (2, 1), (0, 6), (1, 6), (2, 3), (3, 6), (5, 1), (0, 3), (4, 1), (1, 1)}, {(0, 1), (3, 2), (5, 5), (3, 0), (4, 5), (6, 1), (6, 3), (0, 6), (2, 4), (1, 6), (5, 3), (2, 2), (0, 3), (1, 1), (4, 0)}, {(0, 1), (2, 6), (3, 3), (4, 6), (6, 6), (5, 6), (6, 1), (3, 1), (2, 1), (0, 6), (1, 6), (5, 1), (0, 3), (4, 1), (1, 1)}, {(0, 1), (2, 6), (6, 6), (5, 6), (6, 1), (3, 1), (2, 1), (0, 6), (1, 6), (3, 6), (4, 3), (5, 1), (0, 3), (4, 1), (1, 1)}, {(0, 1), (2, 6), (4, 6), (6, 6), (6, 1), (3, 1), (2, 1), (0, 6), (1, 6), (3, 6), (5, 1), (0, 3), (4, 1), (1, 1), (5, 3)}, {(0, 1), (2, 6), (4, 6), (5, 6), (6, 1), (3, 1), (2, 1), (6, 3), (0, 6), (1, 6), (3, 6), (5, 1), (0, 3), (4, 1), (1, 1)}, {(0, 1), (2, 6), (4, 6), (6, 6), (5, 6), (6, 1), (3, 1), (2, 1), (0, 6), (1, 6), (3, 6), (5, 1), (0, 3), (4, 1), (1, 1)}]
In [97]:
WARNING: Some output was deleted.