« first day    last day (33 days later) » 

okie
okie
05:03
def swap as swap encoding
if var *n* is target string
We have swap(n) as encoded *n*
and def a swap that goes from end to begin (reversed) as rswap(reverse swap)
It has been found that rswap(swap(n)) = n (unproven hypothesis)
=> rswap decodes the swapped string
But since rswap is also a swap action, and swap have only 1 - 1 output (same string will have same output and is only possible output for that string)
which means there is no two string that leads to same encoded string after swap or rswap
so it's 100% sure that it will either loop back to target string or just keep going
but we have finite amount of permutation for each string
and swap do not add nor remove char
so, for each swap chained after, it will alway give you the target string or a unique permutation of target string
longest possible loop can only go through each permutation, which isn't infinity
Thus, it will always end up in target string no matter what

« first day    last day (33 days later) »