no_meet (100B)
1 # No meet 2 3 [walks] in a [graph_directed] that avoid each other, cf [benameur2024nomeet] 4 5 Up: [walk]