Stargazers for set-syntax

0 0 4
0 0 33
0 0 1
1 0 35
0 0 24
0 0 47
0 0 7
5 0 106
0 0 78
0 0 14
0 0 28
0 0 467
0 0 15
0 0 65
0 0 77
0 0 27
0 0 16
0 0 40
0 0 68
0 0 17
0 0 32
0 0 10
2 0 31
0 1 19
0 0 32
0 0 17
0 0 1
0 0 9
0 0 29
0 0 12