final Thread[] readerThreads = new Thread[readerThreadCount];
        final java.util.List<Boolean>[] observations = new java.util.List[readerThreadCount];
        final CountDownLatch startLatch = new CountDownLatch(1);

        // Initialize observation lists
        for (int i = 0; i < readerThreadCount; i++) {
            observations[i] = new java.util.ArrayList<>();
        }

<code>~[]E</code>. This can be expressed as <code>S ≡<sub>C</sub> ~[]E</code>
where <code>X ≡<sub>C</sub> Y</code> stands for
"<code>X</code> satisfies constraint <code>Y</code>".
These observations lead to a set of two equations
</p>

<pre>
	Slice ≡<sub>A</sub> S      (1)
	S     ≡<sub>C</sub> ~[]E   (2)
</pre>

<p>

              // Only search a subset of the static header table. Most entries have an empty value, so
              // it's unnecessary to waste cycles looking at them. This check is built on the
              // observation that the header entries we care about are in adjacent pairs, and we
              // always know the first index of the pair.
              if (STATIC_HEADER_TABLE[headerNameIndex - 1].value == value) {