Instructions:
  JAL 0 0 8 1 0

APC advantage:
  - Main columns: 18 -> 2 (9.00x reduction)
  - Bus interactions: 10 -> 2 (5.00x reduction)
  - Constraints: 9 -> 1 (9.00x reduction)

Symbolic machine using 2 unique main columns:
  inner__from_state__timestamp_0
  is_valid

// Bus 0 (EXECUTION_BRIDGE):
mult=is_valid * -1, args=[0, inner__from_state__timestamp_0]
mult=is_valid * 1, args=[8, inner__from_state__timestamp_0 + 1]

// Algebraic constraints:
is_valid * (is_valid - 1) = 0