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