maindec-08-dikaa-b-pb	Random TAD Test (replaces 08-d0e)