--- VHDL generated by LogSynth framework (c) Petr Fiser
Library IEEE;
use IEEE.std_logic_1164.all;

entity ISCAS__s832 is 
  Port (
    pi00,pi01,pi02,pi03,pi04,pi05,pi06,pi07,pi08,pi09,pi10,pi11,pi12,pi13,pi14,pi15,pi16,pi17,lo0,lo1,lo2,lo3,lo4: in std_logic;
    po00,po01,po02,po03,po04,po05,po06,po07,po08,po09,po10,po11,po12,po13,po14,po15,po16,po17,po18,n75,n80_1,n85_1,n90_1,n95_1: inout std_logic
  );
end ISCAS__s832;

architecture ISCAS__s832_behav of ISCAS__s832 is
signal n76,n77,n78,n79,n80,n81,n82,n83,n84,n85,n86,n87,n88,n89,n90,n91,n92,n93,n94,n95,n96,n97,n98,n99,n100,n101,n102,n103,n104,n105,n106,n107,n108,n109,n110,n111,n112,n113,n114,n115,n116,n117,n118,n119,n120,n121,n122,n123,n124,n125,n126,n127,n128,n129,n130,n131,n132,n133,n134,n135,n136,n137,n138,n139,n140,n141,n142,n143,n144,n145,n146,n147,n148,n149,n150,n151,n152,n153,n154,n155,n156,n157,n158,n159,n160,n161,n162,n163,n164,n165,n166,n167,n168,n169,n170,n171,n172,n173,n174,n175,n176,n177,n178,n179,n180,n181,n182,n183,n184,n185,n186,n187,n188,n189,n190,n191,n192,n193,n194,n195,n196,n197,n198,n199,n200,n201,n202,n203,n204,n205,n206,n207,n208,n209,n210,n211,n212,n213,n214,n215,n216,n217,n218,n219,n220,n221,n222,n223,n224,n225,n226,n227,n228,n229,n230,n231,n232,n233,n234,n235,n236,n237,n238,n239,n240,n241,n242,n243,n244,n245,n246,n247,n248,n249,n250,n251,n252,n253,n254,n255,n256,n257,n258,n259,n260,n261,n262,n263,n264,n265,n266,n267,n268,n269,n270,n271,n272,n273,n274,n275,n276,n277,n278,n279,n280,n281,n282,n283,n284,n285,n286,n287,n288,n289,n290,n291,n292,n293,n294,n295,n296,n297,n298,n299,n300,n301,n302,n303,n304,n305,n306,n307,n308,n309,n310,n311,n312,n313: std_logic;
begin
    po00 <= ( lo4 and not n305 );
    po01 <= ( lo4 and not n304 );
    po02 <= ( not lo4 and not lo3 and not lo2 and not n299 );
    po03 <= ( not lo3 and not lo0 and pi01 and not n313 );
    po04 <= ( not lo4 and lo3 and lo2 and not n274 );
    po05 <= ( lo4 and lo3 and not n303 );
    po06 <= ( not lo4 and not n277 );
    po07 <= not (( n181 and n276 ));
    po08 <= ( not lo4 and not lo3 and not n275 );
    po09 <= ( not lo4 and not n296 );
    po10 <= ( not lo4 and not n293 );
    po11 <= ( not n179 and lo4 and not n295 );
    po12 <= ( not lo4 and lo3 and not lo2 and not n297 );
    po13 <= ( not lo4 and not n292 );
    po14 <= not (( n269 and n271 ));
    po15 <= ( not lo4 and not lo3 and not n278 );
    po16 <= ( not lo4 and lo3 and not n272 );
    po17 <= ( lo4 and not n302 );
    po18 <= not (( n263 and n265 and n267 and n300 ));
    n75 <= ( n76 and not pi17 );
    n80_1 <= ( n77 and not pi17 );
    n85_1 <= ( n78 and not pi17 );
    n90_1 <= ( n79 and not pi17 );
    n95_1 <= ( n80 and not pi17 );
    n76 <= not (( not n96 and not n98 and not n100 and not n210 ));
    n77 <= not (( n184 and n186 and n188 and n280 ));
    n78 <= not (( n193 and n194 and n196 and n282 ));
    n79 <= not (( n199 and n201 and n203 and n286 ));
    n80 <= not (( n205 and n207 and n209 and n285 ));
    n81 <= ( not lo3 and lo0 );
    n82 <= ( pi01 and not lo0 and lo1 and not lo3 );
    n83 <= ( not pi00 and lo0 and lo1 );
    n84 <= ( lo1 and lo2 and lo4 );
    n85 <= ( not lo1 and not lo2 and not lo4 );
    n86 <= ( lo0 and lo1 and not lo3 and not lo4 );
    n87 <= ( not lo0 and not lo1 and lo2 );
    n88 <= ( lo1 and not lo2 );
    n89 <= ( not lo4 and not lo3 );
    n90 <= ( not lo2 and pi16 and not pi01 and n89 );
    n91 <= ( lo2 and not pi16 );
    n92 <= ( lo2 and pi04 );
    n93 <= ( not lo0 and pi16 and pi15 );
    n94 <= ( not lo4 and lo3 and lo2 and not lo1 );
    n95 <= ( not n110 and not n111 );
    n96 <= ( not pi04 and n93 and n94 and n95 );
    n97 <= ( not n152 and not n153 and not n154 and not n155 );
    n98 <= ( lo0 and pi16 and not pi04 and n97 );
    n99 <= ( not n172 and not n173 and not n174 and not n175 );
    n100 <= ( not lo3 and not lo2 and not lo1 and n99 );
    n101 <= ( not n103 and not n104 and not n105 and not n106 );
    n102 <= ( not lo0 and n101 );
    n103 <= ( pi05 and not lo3 and not lo4 );
    n104 <= ( pi03 and lo4 );
    n105 <= ( pi01 and lo4 );
    n106 <= ( lo3 and lo4 );
    n107 <= ( lo4 and not lo3 );
    n108 <= ( not pi00 and lo0 and lo3 and lo4 );
    n109 <= ( not pi04 and lo0 and not lo3 );
    n110 <= ( not pi11 and not pi12 );
    n111 <= ( not pi10 and not pi11 );
    n112 <= ( not n123 and not n124 );
    n113 <= ( lo3 and lo2 and pi15 and n112 );
    n114 <= not (( lo4 and lo3 and not lo0 and pi15 ));
    n115 <= ( not lo2 and n114 );
    n116 <= ( not n118 and not n119 and not n120 and not n121 );
    n117 <= ( not lo0 and n116 );
    n118 <= ( pi05 and not lo3 and not lo4 );
    n119 <= ( pi03 and lo4 );
    n120 <= ( pi01 and lo4 );
    n121 <= ( lo3 and lo4 );
    n122 <= ( lo4 and not lo3 );
    n123 <= ( pi11 and not lo4 );
    n124 <= ( pi10 and not lo4 );
    n125 <= ( lo3 and lo4 );
    n126 <= ( lo0 and pi15 and pi09 );
    n127 <= ( pi08 and pi07 and pi06 and n126 );
    n128 <= ( not pi00 and lo0 and lo3 and lo4 );
    n129 <= ( not pi04 and lo0 and not lo3 );
    n130 <= ( lo4 and lo3 and lo2 );
    n131 <= ( lo1 and lo0 and not pi00 and n130 );
    n132 <= ( not n134 and not n135 and not n136 );
    n133 <= ( not lo2 and lo1 and not pi04 and n132 );
    n134 <= ( pi16 and not lo3 and not lo4 );
    n135 <= ( not pi15 and pi16 and not lo3 );
    n136 <= ( lo3 and lo4 );
    n137 <= ( not lo3 and not pi03 );
    n138 <= not (( n244 and n245 ));
    n139 <= ( pi02 and not pi01 and n137 and n138 );
    n140 <= ( not n143 and not n289 );
    n141 <= ( not lo1 and n140 );
    n142 <= ( not n150 and not n151 );
    n143 <= ( pi16 and n142 );
    n144 <= not (( not lo4 and lo3 and not pi04 ));
    n145 <= ( not lo1 and n144 );
    n146 <= ( pi15 and lo0 and not lo4 );
    n147 <= ( not pi15 and not lo3 );
    n148 <= ( lo0 and not lo1 );
    n149 <= ( pi15 and not lo1 );
    n150 <= ( pi15 and lo2 and not lo3 and lo4 );
    n151 <= ( not lo2 and not lo4 );
    n152 <= ( lo2 and lo3 and not lo4 );
    n153 <= ( lo1 and lo2 and lo4 );
    n154 <= ( not lo1 and not lo3 );
    n155 <= ( not lo1 and not lo2 );
    n156 <= not (( n212 and n213 and n214 ));
    n157 <= ( not lo1 and not lo0 and n156 );
    n158 <= ( not n161 and not n163 and not n164 );
    n159 <= ( lo3 and n158 );
    n160 <= not (( n218 and not lo2 ));
    n161 <= ( lo1 and lo0 and n160 );
    n162 <= not (( n215 and n216 and n217 and lo2 ));
    n163 <= ( not lo1 and n162 );
    n164 <= ( not lo2 and not pi15 );
    n165 <= ( not lo4 and not pi15 );
    n166 <= ( not lo4 and lo3 and not lo2 );
    n167 <= ( not lo1 and pi15 and pi14 and n166 );
    n168 <= ( not n176 and not n177 );
    n169 <= ( not lo1 and pi04 and n168 );
    n170 <= not (( n259 and n260 and n261 ));
    n171 <= ( lo2 and lo1 and n170 );
    n172 <= ( pi00 and lo0 and not lo4 );
    n173 <= ( not pi01 and not pi16 and not lo0 );
    n174 <= ( not lo0 and lo4 );
    n175 <= ( not pi16 and lo4 );
    n176 <= ( not lo2 and not lo4 );
    n177 <= ( not lo2 and not lo3 );
    n178 <= not (( pi08 and pi07 and pi06 and n294 ));
    n179 <= ( pi16 and n178 );
    n180 <= ( not lo2 and lo0 );
    n181 <= not (( lo4 and lo3 and not lo1 and not n180 ));
    n182 <= not (( lo3 and lo2 and not lo1 and pi16 ));
    n183 <= not (( n225 and n226 and n227 ));
    n184 <= not (( pi15 and not pi04 and not n182 and not n183 ));
    n185 <= not (( n232 and n233 ));
    n186 <= not (( not lo2 and lo1 and not pi04 and not n185 ));
    n187 <= ( not n102 and not n306 );
    n188 <= not (( lo2 and lo1 and not n187 ));
    n189 <= ( not n125 and lo0 );
    n190 <= not (( not n113 and not n115 and not n189 ));
    n191 <= not (( lo4 and lo3 and not lo2 ));
    n192 <= ( not n127 and pi16 );
    n193 <= not (( lo1 and not pi04 and not n191 and not n192 ));
    n194 <= not (( not lo1 and pi16 and not pi04 and not n190 ));
    n195 <= ( not n117 and not n307 );
    n196 <= not (( lo2 and lo1 and not n195 ));
    n197 <= not (( lo4 and lo3 and lo2 ));
    n198 <= ( pi16 and pi15 and pi13 );
    n199 <= not (( not lo1 and not pi04 and not n197 and not n198 ));
    n200 <= not (( n240 and n241 and n283 ));
    n201 <= not (( not lo2 and pi16 and not pi04 and not n200 ));
    n202 <= ( not n139 and not n141 and not n308 );
    n203 <= not (( not lo0 and not n202 ));
    n204 <= not (( n253 and n254 and n255 ));
    n205 <= not (( lo4 and lo3 and lo2 and not n204 ));
    n206 <= ( not n167 and not n169 and not n171 );
    n207 <= not (( not lo0 and not n206 ));
    n208 <= ( not n157 and not n159 and not n309 );
    n209 <= not (( pi16 and not n208 ));
    n210 <= ( not n81 and lo4 and lo2 and not n310 );
    n211 <= not (( not lo4 and lo2 and pi15 and pi09 ));
    n212 <= not (( not pi08 and not pi07 and pi06 and not n211 ));
    n213 <= not (( not lo3 and not lo2 and not pi01 ));
    n214 <= not (( lo4 and not pi15 ));
    n215 <= not (( pi13 and pi15 and lo4 ));
    n216 <= not (( lo0 and not lo4 ));
    n217 <= not (( not pi15 and not lo4 ));
    n218 <= not (( pi06 and pi07 and pi08 and pi09 ));
    n219 <= not (( pi15 and lo1 and lo4 ));
    n220 <= not (( not lo1 and not lo4 ));
    n221 <= not (( not lo1 and lo3 ));
    n222 <= not (( not pi11 and not pi12 ));
    n223 <= not (( not pi10 and not pi12 ));
    n224 <= not (( not pi10 and not pi11 ));
    n225 <= not (( pi10 and not pi11 and not pi12 and not lo4 ));
    n226 <= not (( not pi10 and pi11 and not pi12 and not lo4 ));
    n227 <= not (( lo0 and not lo4 ));
    n228 <= not (( lo0 and not lo2 ));
    n229 <= not (( not pi04 and pi16 ));
    n230 <= ( not lo4 and not lo3 and lo0 );
    n231 <= not (( lo2 and not n230 ));
    n232 <= not (( not pi16 and not lo4 ));
    n233 <= not (( not pi16 and not lo3 ));
    n234 <= ( not pi16 and not pi03 and pi02 and not pi01 );
    n235 <= not (( not lo3 and not n234 ));
    n236 <= not (( not pi14 and pi15 and not lo0 and not lo1 ));
    n237 <= not (( not lo0 and not lo1 and not lo3 ));
    n238 <= not (( pi09 and pi08 ));
    n239 <= not (( n242 and n243 ));
    n240 <= not (( pi07 and pi06 and not n238 and not n239 ));
    n241 <= not (( not lo4 and not lo3 ));
    n242 <= not (( not lo0 and lo3 ));
    n243 <= not (( not pi15 and lo3 ));
    n244 <= not (( lo1 and lo2 and lo4 ));
    n245 <= not (( not pi16 and not lo1 and not lo2 ));
    n246 <= not (( not pi14 and pi15 and not lo2 and not lo4 ));
    n247 <= not (( not lo2 and not lo3 and not lo4 ));
    n248 <= not (( pi04 and lo3 and lo4 ));
    n249 <= not (( pi04 and lo2 ));
    n250 <= not (( not lo3 and lo4 ));
    n251 <= not (( not pi05 and not lo3 ));
    n252 <= not (( pi16 and lo4 ));
    n253 <= not (( not pi04 and not lo1 ));
    n254 <= not (( not lo0 and lo1 ));
    n255 <= not (( pi00 and lo1 ));
    n256 <= ( not lo4 and not lo3 and lo0 );
    n257 <= not (( lo2 and not n256 ));
    n258 <= not (( lo4 and not lo3 ));
    n259 <= not (( not pi03 and not pi02 and not pi01 and not n258 ));
    n260 <= not (( not lo4 and lo3 ));
    n261 <= not (( not lo4 and not pi05 ));
    n262 <= not (( n228 and n229 ));
    n263 <= not (( lo4 and lo3 and not lo1 and not n262 ));
    n264 <= ( lo4 and lo3 );
    n265 <= not (( not lo2 and lo1 and not pi16 and not n264 ));
    n266 <= ( not n90 and not n91 and not n92 );
    n267 <= not (( not lo1 and not lo0 and not n266 ));
    n268 <= not (( not lo4 and not lo3 ));
    n269 <= not (( not lo2 and not lo1 and not lo0 and not n268 ));
    n270 <= not (( lo4 and lo3 ));
    n271 <= not (( lo2 and lo1 and not lo0 and not n270 ));
    n272 <= not (( not lo2 and not lo1 and not lo0 and pi15 ));
    n273 <= ( pi15 and not n287 );
    n274 <= not (( not lo1 and not lo0 and pi16 and n273 ));
    n275 <= not (( lo2 and lo1 and not lo0 and not pi05 ));
    n276 <= ( not n86 and not n87 and not n88 );
    n277 <= not (( lo3 and not lo2 and not lo1 and not lo0 ));
    n278 <= not (( lo2 and lo1 and not lo0 and pi05 ));
    n279 <= ( not pi03 and pi02 and not pi01 and not n288 );
    n280 <= not (( not lo4 and not lo3 and not lo2 and n279 ));
    n281 <= not (( n236 and n237 ));
    n282 <= not (( n235 and not lo4 and not lo2 and n281 ));
    n283 <= ( not n146 and not n147 and not n148 and not n149 );
    n284 <= ( lo1 and pi04 );
    n285 <= not (( n257 and n284 ));
    n286 <= ( not n131 and not n133 );
    n287 <= not (( n222 and n223 and n224 and not pi04 ));
    n288 <= not (( not lo1 and not lo0 and not pi16 ));
    n289 <= not (( n246 and n247 and n248 and n249 ));
    n290 <= not (( n250 and n251 and n252 and lo2 ));
    n291 <= not (( n219 and n220 and n221 and not lo2 ));
    n292 <= not (( not lo3 and lo2 and lo1 and not lo0 ));
    n293 <= not (( not lo3 and not lo2 and lo1 and pi15 ));
    n294 <= ( lo0 and pi15 and pi09 );
    n295 <= not (( lo3 and not lo2 and lo1 and not pi04 ));
    n296 <= not (( lo3 and lo2 and lo1 and not lo0 ));
    n297 <= not (( not lo1 and not lo0 and pi15 and pi14 ));
    n298 <= ( not lo1 and not lo0 );
    n299 <= not (( not pi16 and pi03 and not pi01 and n298 ));
    n300 <= not (( n231 and n301 ));
    n301 <= ( lo1 and pi04 );
    n302 <= not (( not lo3 and lo2 and lo1 and not lo0 ));
    n303 <= not (( lo2 and lo1 and not lo0 and pi16 ));
    n304 <= not (( not lo3 and lo2 and lo1 and not lo0 ));
    n305 <= not (( not lo3 and not lo2 and lo1 and pi15 ));
    n306 <= ( not n107 and not n311 );
    n307 <= ( not n122 and not n312 );
    n308 <= ( not n145 and not n290 );
    n309 <= ( not n165 and not n291 );
    n310 <= ( not n82 and not n83 );
    n311 <= ( not n108 and not n109 );
    n312 <= ( not n128 and not n129 );
    n313 <= ( not n84 and not n85 );
end ISCAS__s832_behav;
