Stargazers for set-syntax

0 0 51
0 0 88
0 0 23
0 0 51
0 0 63
0 0 58
0 0 1
0 0 18
0 0 15
0 0 29
0 0 46
0 0 368
0 0 1
0 0 42
0 0 5
0 0 1
0 0 28
0 0 78
0 0 17
0 0 31
0 0 4
0 0 104
0 0 33
0 0 135
0 0 38
0 0 9
0 0 43
0 0 10
0 0 5
0 0 115