Relation R (linear order, degenerate 0 = 1):
R(0,0)

Orthosupplement:
0
0

Candidates to generate: