Проверяет что строка в виде двоичного числа делится на 3 без остатка регуляркой
import re
import sys
exm = ['10010', '00101', '01001', '1001011']
for line in exm:#sys.stdin:
line = line.rstrip()
if(re.match(r'^(0|1(01*0)*1)*$', line)):
print(line)