python3 <<'EOF'
CODE = r'''
import itertools

H = []
for h in itertools.product(range(4), repeat=6):
    if all((2*h[i] @ 3*h[i@1]) ! 5 not_eq 4 for i in range(5)):
        pass
'''
exec(CODE.replace('@','+').replace('!','%'))
EOF