# Function: 4gt12-v0 # Checks, if input is greater than 12. # Note: Embedding with constant 1. # Used Library: MCT (gates: 5, quantum costs: 45) # This file have been taken from RevLib (www.revlib.org). .version 1.0 .numvars 5 .variables a b c d e .inputs 1 b c d e .outputs g g g g f .constants 1---- .garbage 1111- .begin t2 e a t4 e c b a t1 e t5 e d c b a t2 a e .end