a [class,eq,bddtest],[attr0,isPresent,0],[attr1,isPresent,0],[attr2,isPresent,0],[attr3,isPresent,0],[attr4,isPresent,0] p [class,bddtest],[class,bddtest],[attr4,3],[attr3,3],[attr1,4] p [class,bddtest],[class,bddtest],[attr4,3],[attr3,7],[attr2,2] p [class,bddtest],[attr1,0],[attr2,1],[attr4,5] p [class,bddtest],[attr4,2] p [class,bddtest],[attr1,9],[attr4,9],[attr0,3] p [class,bddtest],[attr4,9],[attr2,6] p [class,bddtest],[attr3,4] p [class,bddtest],[attr4,4] p [class,bddtest],[attr2,9],[attr4,9],[attr0,10] p [class,bddtest],[attr3,7],[attr1,8],[attr2,5] p [class,bddtest],[attr0,2] p [class,bddtest],[attr1,1],[attr2,5] p [class,bddtest],[attr2,6] p [class,bddtest],[attr3,3],[attr0,6] p [class,bddtest],[attr4,7],[attr3,0] p [class,bddtest],[attr0,9] p [class,bddtest],[attr2,2] p [class,bddtest],[attr4,9] p [class,bddtest],[attr2,3] p [class,bddtest],[attr0,8],[attr1,0] p [class,bddtest],[attr4,0],[attr2,10],[attr1,0] p [class,bddtest],[attr1,2] p [class,bddtest],[attr1,2],[attr2,4] p [class,bddtest],[attr3,6],[attr0,7] p [class,bddtest],[attr2,7],[attr3,9] p [class,bddtest],[attr3,6],[attr0,1] p [class,bddtest],[attr1,1] p [class,bddtest],[attr4,6],[attr2,10],[attr1,3] p [class,bddtest],[attr4,6],[attr0,0] p [class,bddtest],[attr1,6],[attr2,7],[attr4,4] p [class,bddtest],[attr2,4],[attr4,2] p [class,bddtest],[attr3,0],[attr1,6] p [class,bddtest],[attr3,9],[attr0,4],[attr1,10] p [class,bddtest],[attr4,3],[attr0,2],[attr2,8] p [class,bddtest],[attr3,9] p [class,bddtest],[attr4,6],[attr2,0] p [class,bddtest],[attr2,4],[attr1,1],[attr4,8] p [class,bddtest],[attr2,9],[attr3,8],[attr0,8] p [class,bddtest],[attr3,1],[attr2,9] p [class,bddtest],[attr2,8] p [class,bddtest],[attr3,2],[attr1,6] p [class,bddtest],[attr3,1],[attr0,7] p [class,bddtest],[attr4,1] p [class,bddtest],[attr3,9] p [class,bddtest],[attr2,4],[attr4,7] p [class,bddtest],[attr4,1],[attr2,8] p [class,bddtest],[attr1,7],[attr2,2] p [class,bddtest],[attr2,10],[attr3,1],[attr0,4] p [class,bddtest],[attr1,9],[attr3,8] p [class,bddtest],[attr4,4] p [class,bddtest],[attr3,10],[attr1,8] p [class,bddtest],[attr3,0],[attr1,9] p [class,bddtest],[attr2,8],[attr0,6],[attr3,7] p [class,bddtest],[attr3,2],[attr0,9],[attr4,2] p [class,bddtest],[attr2,9] p [class,bddtest],[attr2,0],[attr3,10],[attr4,5] p [class,bddtest],[attr3,0],[attr4,8] p [class,bddtest],[attr0,1],[attr1,7] p [class,bddtest],[attr4,5],[attr2,4],[attr1,9] p [class,bddtest],[attr4,10] p [class,bddtest],[attr1,0],[attr2,9],[attr0,7] p [class,bddtest],[attr2,10] p [class,bddtest],[attr1,8],[attr0,2] p [class,bddtest],[attr1,5] p [class,bddtest],[attr0,1] p [class,bddtest],[attr0,1],[attr1,5] p [class,bddtest],[attr2,10],[attr3,2],[attr4,10] p [class,bddtest],[attr0,10],[attr3,6],[attr2,3] p [class,bddtest],[attr4,4],[attr1,6] p [class,bddtest],[attr4,4],[attr2,4],[attr0,6] p [class,bddtest],[attr1,7],[attr0,9] p [class,bddtest],[attr2,10],[attr4,6],[attr0,4] p [class,bddtest],[attr1,7],[attr3,6],[attr0,7] p [class,bddtest],[attr4,5] p [class,bddtest],[attr0,10],[attr1,5] p [class,bddtest],[attr0,5] p [class,bddtest],[attr1,10],[attr2,2] p [class,bddtest],[attr2,5],[attr0,9],[attr4,4] p [class,bddtest],[attr2,2],[attr4,10],[attr3,6] p [class,bddtest],[attr3,2],[attr4,1],[attr0,0] p [class,bddtest],[attr2,9] p [class,bddtest],[attr2,8],[attr3,0],[attr1,5] p [class,bddtest],[attr1,2],[attr2,1] p [class,bddtest],[attr2,10],[attr4,10] p [class,bddtest],[attr1,4],[attr0,1] p [class,bddtest],[attr0,1],[attr3,7],[attr2,6] p [class,bddtest],[attr3,3],[attr0,4],[attr4,3] p [class,bddtest],[attr2,9],[attr4,3] p [class,bddtest],[attr4,3] p [class,bddtest],[attr4,8],[attr2,9] p [class,bddtest],[attr3,7],[attr2,0],[attr0,7] p [class,bddtest],[attr1,2] p [class,bddtest],[attr4,3],[attr2,1],[attr0,2] p [class,bddtest],[attr4,4],[attr3,8] p [class,bddtest],[attr3,4] p [class,bddtest],[attr0,7] p [class,bddtest],[attr0,5] p [class,bddtest],[attr2,10],[attr1,1] p [class,bddtest],[attr2,3],[attr3,3] p [class,bddtest],[attr1,8],[attr4,1],[attr3,4]