# Function: sym9 # This file has been taken from RevLib (www.revlib.org). .version 1.0 .numvars 10 .variables a b c d e f g h i j .inputs x1 x2 x3 x4 x5 x6 x7 x8 x9 0 .outputs g g g g g g g g g s .constants ---------0 .garbage 111111111- .begin ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------1 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------1 ---------- ---------1 ---------- ---------1 ---------- ---------0 ---------- ---------1 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------1 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- ---------0 ---------- .end