Write-up of Bouncers

Skelet #17 does not halt

Skelet #26 and #15 don't halt

Skelet #33 doesn't halt

Write-up of Finite Automata Reduction

Write-up of Halting Segment

Write-up of Backward Reasoning

Write-up of Translated Cyclers

Write-up of Cyclers

Correctness of bbchallenge's deciders