bugfix
Receiver side implemented
faster difference
more adventures with SAT
more adventures with SAT
some bug in the influence algorithm
bugfix
bugfix
machine swap