This market resolves YES if, before 12:00 AM ET on July 1, 2026, someone publicly identifies a valid value for A390875(5): the smallest integer k > 137724785 for which the 3-node triangle parity-routing process modulo k, starting from (1,1,1), does not halt for at least one of the 8 routing rules.

Known terms:
59, 107821, 3899141, 137724785

A valid claim should include enough information to independently verify it, preferably:
1. k

A larger non-halting k does not count unless it is shown to be the smallest such k above 137724785.

The market resolves NO if no valid A390875(5) value is publicly identified by the deadline.

OEIS entry:
https://oeis.org/A390875