#!/usr/bin/python

from random import choice
from string import uppercase
import sys

nvars = 6
nclauses = 24

vars = uppercase[0:nvars]

def get_var():
    return choice(vars) + choice(["'", ""])

def get_clause():
    s = '('
    s = s + get_var() + ' || '
    s = s + get_var() + ' || '
    s = s + get_var() + ')'
    return s

for i in range(0, nclauses):
    for j in range(0, 3):
        sys.stdout.write(get_var() + ' ')
    sys.stdout.write('\n')

#for j in range(0, 80):
#s = get_clause()
#for i in range(0, nclauses-1):
#    s = s + ' && ' + get_clause()
    #n = choice(range(0, 10))
#print s#[n:n+80]