Tautology

Problem Number: 
11 108
Type of Problem: 
Problem Category: 
Input: 
Random Input
0
0
Critical Input: 
Random Input: 
p q r s ApNp ApNq ApNNNp ANNpNNNp EKCpqCqpEpq EpNNp EpNNNp ENpNNNp NKpNp CpCqp 0
Problem Id: 
11108