Function QM1 ( levels ) returns primesput { } (empty set) into primesfor each level level do	irredundant level (remove duplicates from level)	put { } (empty set) into nonprimes	for every term term in level from 1 to the size of level –1 do		for every term compterm in level from term + 1 to the size of level do			put –1 into differentLiteral as a flag			for every literal literal from 1 to NUMINPUTS do				if literal literal of term  ?  literal literal of compterm then					if differentLiteral = –1 then						(there was no previous difference)						put literal into differentLiteral					else (there was a previous difference)						put –1 into differentLiteral as a flag						break (get out of this comparison loop)					end if				end if			end for of literal			if differentLiteral  ?  –1 then (there was exactly one difference)				add term to nonprimes				add compterm to nonprimes				add term with 2 in literal differentLiteral to level level + 1		end for of compterm	end for of term	if the size of nonprimes > 0 then		add all terms not in nonprimes to primes	else		break (get out of loop for levels)	end ifend for of levelreturn primes