try to tack Decoder
change number of processes for wpgui
use first version of EqualBits64
adapt proof to overloaded EqualBits64
adapt proof