How many identical columns are used in the Cathedral of Brasília? [SEP] These columns, having hyperbolic section and weighing 90 t, represent two hands moving upwards to heaven.
not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment