v4.2j2 Tuned 27-Phase Body

26 move. 1 witnesses. 27 completes.

• Selected schedule: 26_active_plus_root_overflow
• Total phase slots: 27
• Active walkers: 26
• Root overflow phase: 26
• Collisions: 0
• Minimum pair distance: 216
• Collision-free: True