GATE zero	0	O=CONST0;
GATE one	0	O=CONST1;
GATE inv        6       O=!a;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE nnd2       6       O=!(a*b);
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE and2       6       O=(a*b);
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE and21      6       O=(!a*b);
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE and22      6       O=(a*!b);
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE and23      6       O=(!a*!b);
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE or21       6       O=(a+b);
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE or22       6       O=(!a+b);
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE or23       6       O=(a+!b);
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE or24       6       O=(!a+!b);
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE xor1       6       O=(!a*b+a*!b);
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE xor2       6       O=(a*b+!a*!b);
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE and3       6       O=(a*b*c);
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE and31      6       O=(!a*b*c);
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE and32      6       O=(a*!b*c);
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE and33      6       O=(!a*!b*c);
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE and34      6       O=(!a*!b*!c);
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE  or31      6       O=(a+b)*c;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE  or32      6       O=(!a+b)*c;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE  or33      6       O=(a+!b)*c;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE  or34      6       O=(!a+!b)*c;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE  or35      6       O=(a+b)*!c;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE  or321     6       O=(!a+b)*!c;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE mux21      6       O=a*b+!a*c;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE mux24      6       O=a*b*c*d+!a*b*c*d;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE mxx23      6       O=a*b*c+!a*b*d;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE mxx22      6       O=a*!b*c+!a*!b*d;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE blk42      6       O=!a*!(b+!c)*d;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE blk43      6       O=a*!b*c*d;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE blk44      6       O=a*b*c*d;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE blk44      6       O=a*!b*!c*d;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE mux25      6       O=a*b*c*d+!a*!b*c*d;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE mux26      6       O=a*b*c*d+!a*!b*!c*d;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE mux4       6       O=a*b*c+a*!b*d+!a*b*e+!a*!b*f;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE mux41      6       O=a*b*c*g+a*!b*d+!a*b*e+!a*!b*f;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE mux42      6       O=a*b*c+a*!b*d*g+!a*b*e+!a*!b*f;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE mux43      6       O=a*b*c+a*!b*d+!a*b*e*g+!a*!b*f;
PIN * INV 1 999 1.31 1.31 1.31 1.31
GATE mux44      6       O=a*b*c+a*!b*d+!a*b*e+!a*!b*f*g;
PIN * INV 1 999 1.31 1.31 1.31 1.31