20
individual
1 10 60
alternating_bit.prism sbar \texttt{alternating\_bit}:12997725750318149087 39473 40415 32818 41050 41759 42041 32699 36151 41776 33093 40770 40765 32445 41315 36470 40640 34276 36013 42539 42107 294528 340005 377668 351604 325551 337208 314747 378568 298825 363242 311335 307628 350537 291177 335173 366376 385505 377388 309231 286567 1935017 1908766 2129719 1851747 1752417 2006226 2091621 1615125 1969147 1841760 1811483 1943711 1858625 1756780 1754911 1618875 1865523 1604614 1944849 1619687