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

entity DFF is
  Port ( D, CLK: in std_logic;
     Q: out std_logic);
end DFF;

architecture Behavior of DFF is
begin
  process(CLK)
  begin
    if CLK'event and CLK = '1' then
      Q <= D;
    end if;
  end process;
end Behavior;

Library IEEE;
use IEEE.std_logic_1164.all;

entity temp_sense is 
  Port (
    pi0,pi1, CLK: in std_logic;
    po00,po01,po02,po03,po04,po05,po06,po07,po08,po09,po10,po11,po12,po13,po14,po15,po16,po17,po18,po19,po20,po21,po22,po23,po24,po25,po26,po27,po28,po29: inout std_logic
  );
end temp_sense;

architecture temp_sense_behav of temp_sense is
component DFF
  Port ( D, CLK: in std_logic;
     Q: out std_logic);
end component;

signal lo00,lo01,lo02,lo03,lo04,lo05,lo06,lo07,lo08,lo09,lo10,lo11,lo12,lo13,lo14,lo15,lo16,lo17,lo18,lo19,lo20,lo21,lo22,lo23,lo24,lo25,lo26,lo27,lo28,lo29,lo30,lo31,lo32,lo33,lo34,lo35,lo36,lo37,lo38,lo39,lo40,lo41,lo42,lo43,lo44,lo45,lo46,lo47,lo48,lo49,lo50,lo51,lo52,lo53,lo54,lo55,lo56,lo57,lo58,lo59,lo60,lo61,lo62,lo63,lo64,lo65,lo66,lo67,lo68,lo69,lo70,lo71,lo72,lo73,lo74,lo75,lo76,lo77,lo78,n269,n270,n271,n272,n273,n274,n275,n276,n277,n278,n279,li78,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,n314,n315,n316,n317,n318,n319,li20,n321,n322,n323,n324,n325,n326,n327,n328,n329,n330,n331,n332,n333,n334,n335,n336,n337,n338,n339,n340,n341,n342,n343,n344,n345,n346,n347,n348,n349,n350,n351,n352,n353,n354,n355,n356,n357,n358,n359,n360,n361,n362,n363,n364,n365,n366,n367,n368,n369,n370,n371,n372,n373,n374,n375,n376,n377,n378,n379,n380,n381,n382,n383,n384,n385,n386,n387,n388,n389,n390,n391,li00,li01,li02,li03,li04,li05,li06,li07,li08,li09,li10,li11,li12,li13,li14,li15,li16,li17,li18,li19,n413,n414,n415,n416,n417,n418,n419,n420,n421,li23,li24,li25,li26,li27,li28,li29,li30,li21,li22,n432,n433,n434,n435,n436,n437,n438,n439,n440,n441,n442,n443,n444,n445,n446,n447,n448,n449,n450,n451,n452,n453,n454,n455,li31,li32,li33,li34,li35,li36,li37,li38,li39,n466,n467,n468,n469,n470,n471,n472,n473,n475,li40,n477,li41,n479,li42,n481,li43,n483,li44,n485,n486,n487,n488,n489,n490,li45,n495,li46,n497,li47,n502,n503,n504,n505,n506,n507,n508,n509,n510,n511,n512,n513,n514,n515,n516,n517,n518,n519,n520,n521,n522,n523,n524,n525,n526,n527,n528,n529,n530,n531,n532,n533,n534,n535,n536,n537,n538,n539,n540,n541,n543,n544,n545,n546,n547,n548,n549,n551,n552,n553,n554,n555,n556,n557,n558,n559,n560,n561,n562,n563,n564,n565,n566,n567,n568,n569,n570,n571,n572,n573,n574,n575,n576,n577,n578,n579,n580,n581,n582,n583,n584,n585,n586,n587,n588,n589,n590,n591,n592,n593,n594,n595,n596,n597,n598,n599,n600,n601,n602,n603,n604,n606,n607,n608,n609,n610,n611,n612,n614,n615,n616,n617,n618,n619,n620,n621,n622,n623,n624,n625,n626,n627,n628,n629,li48,n631,n632,li49,n634,n635,li50,n637,n638,li51,n640,n641,li52,n643,n644,li53,n646,n647,li54,n649,n650,li55,n652,n653,li56,n655,n656,li57,n658,n659,li58,n661,n662,li59,n664,n665,li60,n667,n668,li61,n670,n671,n672,n673,n674,n675,n676,n677,n678,n679,n680,n681,n682,n683,n684,n685,n686,n687,n688,n689,n690,n691,n692,n693,n694,n695,n696,n697,n698,n699,n700,n701,n702,n703,n704,n705,n706,n707,n708,n709,n710,n711,n712,n713,n714,n715,n716,n717,li62,li63,li64,li65,li66,li67,li68,li69,li70,li71,li72,li73,li74,li75,li76,li77: std_logic;
begin
    DFF0: DFF port map (li00, CLK, lo00);
    DFF1: DFF port map (li01, CLK, lo01);
    DFF2: DFF port map (li02, CLK, lo02);
    DFF3: DFF port map (li03, CLK, lo03);
    DFF4: DFF port map (li04, CLK, lo04);
    DFF5: DFF port map (li05, CLK, lo05);
    DFF6: DFF port map (li06, CLK, lo06);
    DFF7: DFF port map (li07, CLK, lo07);
    DFF8: DFF port map (li08, CLK, lo08);
    DFF9: DFF port map (li09, CLK, lo09);
    DFF10: DFF port map (li10, CLK, lo10);
    DFF11: DFF port map (li11, CLK, lo11);
    DFF12: DFF port map (li12, CLK, lo12);
    DFF13: DFF port map (li13, CLK, lo13);
    DFF14: DFF port map (li14, CLK, lo14);
    DFF15: DFF port map (li15, CLK, lo15);
    DFF16: DFF port map (li16, CLK, lo16);
    DFF17: DFF port map (li17, CLK, lo17);
    DFF18: DFF port map (li18, CLK, lo18);
    DFF19: DFF port map (li19, CLK, lo19);
    DFF20: DFF port map (li20, CLK, lo20);
    DFF21: DFF port map (li21, CLK, lo21);
    DFF22: DFF port map (li22, CLK, lo22);
    DFF23: DFF port map (li23, CLK, lo23);
    DFF24: DFF port map (li24, CLK, lo24);
    DFF25: DFF port map (li25, CLK, lo25);
    DFF26: DFF port map (li26, CLK, lo26);
    DFF27: DFF port map (li27, CLK, lo27);
    DFF28: DFF port map (li28, CLK, lo28);
    DFF29: DFF port map (li29, CLK, lo29);
    DFF30: DFF port map (li30, CLK, lo30);
    DFF31: DFF port map (li31, CLK, lo31);
    DFF32: DFF port map (li32, CLK, lo32);
    DFF33: DFF port map (li33, CLK, lo33);
    DFF34: DFF port map (li34, CLK, lo34);
    DFF35: DFF port map (li35, CLK, lo35);
    DFF36: DFF port map (li36, CLK, lo36);
    DFF37: DFF port map (li37, CLK, lo37);
    DFF38: DFF port map (li38, CLK, lo38);
    DFF39: DFF port map (li39, CLK, lo39);
    DFF40: DFF port map (li40, CLK, lo40);
    DFF41: DFF port map (li41, CLK, lo41);
    DFF42: DFF port map (li42, CLK, lo42);
    DFF43: DFF port map (li43, CLK, lo43);
    DFF44: DFF port map (li44, CLK, lo44);
    DFF45: DFF port map (li45, CLK, lo45);
    DFF46: DFF port map (li46, CLK, lo46);
    DFF47: DFF port map (li47, CLK, lo47);
    DFF48: DFF port map (li48, CLK, lo48);
    DFF49: DFF port map (li49, CLK, lo49);
    DFF50: DFF port map (li50, CLK, lo50);
    DFF51: DFF port map (li51, CLK, lo51);
    DFF52: DFF port map (li52, CLK, lo52);
    DFF53: DFF port map (li53, CLK, lo53);
    DFF54: DFF port map (li54, CLK, lo54);
    DFF55: DFF port map (li55, CLK, lo55);
    DFF56: DFF port map (li56, CLK, lo56);
    DFF57: DFF port map (li57, CLK, lo57);
    DFF58: DFF port map (li58, CLK, lo58);
    DFF59: DFF port map (li59, CLK, lo59);
    DFF60: DFF port map (li60, CLK, lo60);
    DFF61: DFF port map (li61, CLK, lo61);
    DFF62: DFF port map (li62, CLK, lo62);
    DFF63: DFF port map (li63, CLK, lo63);
    DFF64: DFF port map (li64, CLK, lo64);
    DFF65: DFF port map (li65, CLK, lo65);
    DFF66: DFF port map (li66, CLK, lo66);
    DFF67: DFF port map (li67, CLK, lo67);
    DFF68: DFF port map (li68, CLK, lo68);
    DFF69: DFF port map (li69, CLK, lo69);
    DFF70: DFF port map (li70, CLK, lo70);
    DFF71: DFF port map (li71, CLK, lo71);
    DFF72: DFF port map (li72, CLK, lo72);
    DFF73: DFF port map (li73, CLK, lo73);
    DFF74: DFF port map (li74, CLK, lo74);
    DFF75: DFF port map (li75, CLK, lo75);
    DFF76: DFF port map (li76, CLK, lo76);
    DFF77: DFF port map (li77, CLK, lo77);
    DFF78: DFF port map (li78, CLK, lo78);
    n269 <= '0';
    n270 <= '0';
    n271 <= '0';
    n272 <= '0';
    n273 <= '0';
    n274 <= '0';
    n275 <= '0';
    n276 <= '0';
    n277 <= '0';
    n278 <= '0';
    n279 <= '1';
    li78 <= ( not lo78 );
    n281 <= ( lo00 and not n278 )
      or ( not lo00 and n278 );
    n282 <= ( lo01 and not n279 )
      or ( not lo01 and n279 );
    n283 <= ( lo02 and not n279 )
      or ( not lo02 and n279 );
    n284 <= ( lo03 and not n279 )
      or ( not lo03 and n279 );
    n285 <= ( lo04 and not n279 )
      or ( not lo04 and n279 );
    n286 <= ( lo05 and not n279 )
      or ( not lo05 and n279 );
    n287 <= ( lo06 and not n279 )
      or ( not lo06 and n279 );
    n288 <= ( lo07 and not n279 )
      or ( not lo07 and n279 );
    n289 <= ( lo08 and not n279 )
      or ( not lo08 and n279 );
    n290 <= ( lo09 and not n279 )
      or ( not lo09 and n279 );
    n291 <= ( lo10 and not n279 )
      or ( not lo10 and n279 );
    n292 <= ( lo11 and not n279 )
      or ( not lo11 and n279 );
    n293 <= ( lo12 and not n279 )
      or ( not lo12 and n279 );
    n294 <= ( lo13 and not n279 )
      or ( not lo13 and n279 );
    n295 <= ( lo14 and not n279 )
      or ( not lo14 and n279 );
    n296 <= ( lo15 and not n279 )
      or ( not lo15 and n279 );
    n297 <= ( lo16 and not n279 )
      or ( not lo16 and n279 );
    n298 <= ( lo17 and not n279 )
      or ( not lo17 and n279 );
    n299 <= ( lo18 and not n279 )
      or ( not lo18 and n279 );
    n300 <= ( lo19 and not n279 )
      or ( not lo19 and n279 );
    n301 <= ( not n281 and n282 )
      or ( n281 and not n282 )
      or ( n281 and n282 );
    n302 <= ( not n284 and n285 )
      or ( n284 and not n285 )
      or ( n284 and n285 );
    n303 <= ( not n283 and n302 )
      or ( n283 and not n302 )
      or ( n283 and n302 );
    n304 <= ( not n301 and n303 )
      or ( n301 and not n303 )
      or ( n301 and n303 );
    n305 <= ( not n286 and n287 )
      or ( n286 and not n287 )
      or ( n286 and n287 );
    n306 <= ( not n289 and n290 )
      or ( n289 and not n290 )
      or ( n289 and n290 );
    n307 <= ( not n288 and n306 )
      or ( n288 and not n306 )
      or ( n288 and n306 );
    n308 <= ( not n305 and n307 )
      or ( n305 and not n307 )
      or ( n305 and n307 );
    n309 <= ( not n304 and n308 )
      or ( n304 and not n308 )
      or ( n304 and n308 );
    n310 <= ( not n291 and n292 )
      or ( n291 and not n292 )
      or ( n291 and n292 );
    n311 <= ( not n294 and n295 )
      or ( n294 and not n295 )
      or ( n294 and n295 );
    n312 <= ( not n293 and n311 )
      or ( n293 and not n311 )
      or ( n293 and n311 );
    n313 <= ( not n310 and n312 )
      or ( n310 and not n312 )
      or ( n310 and n312 );
    n314 <= ( not n296 and n297 )
      or ( n296 and not n297 )
      or ( n296 and n297 );
    n315 <= ( not n299 and n300 )
      or ( n299 and not n300 )
      or ( n299 and n300 );
    n316 <= ( not n298 and n315 )
      or ( n298 and not n315 )
      or ( n298 and n315 );
    n317 <= ( not n314 and n316 )
      or ( n314 and not n316 )
      or ( n314 and n316 );
    n318 <= ( not n313 and n317 )
      or ( n313 and not n317 )
      or ( n313 and n317 );
    n319 <= ( not n309 and n318 )
      or ( n309 and not n318 )
      or ( n309 and n318 );
    li20 <= ( not n319 );
    n321 <= ( lo04 and not n278 )
      or ( not lo04 and n278 );
    n322 <= ( lo05 and not n278 )
      or ( not lo05 and n278 );
    n323 <= ( lo06 and not n278 )
      or ( not lo06 and n278 );
    n324 <= ( lo07 and not n278 )
      or ( not lo07 and n278 );
    n325 <= ( lo08 and not n278 )
      or ( not lo08 and n278 );
    n326 <= ( lo09 and not n278 )
      or ( not lo09 and n278 );
    n327 <= ( lo10 and not n278 )
      or ( not lo10 and n278 );
    n328 <= ( lo11 and not n278 )
      or ( not lo11 and n278 );
    n329 <= ( lo12 and not n278 )
      or ( not lo12 and n278 );
    n330 <= ( lo13 and not n278 )
      or ( not lo13 and n278 );
    n331 <= ( lo14 and not n278 )
      or ( not lo14 and n278 );
    n332 <= ( lo15 and not n278 )
      or ( not lo15 and n278 );
    n333 <= ( lo16 and not n278 )
      or ( not lo16 and n278 );
    n334 <= ( lo17 and not n278 )
      or ( not lo17 and n278 );
    n335 <= ( lo18 and not n278 )
      or ( not lo18 and n278 );
    n336 <= ( lo19 and not n278 )
      or ( not lo19 and n278 );
    n337 <= ( not n321 and n322 )
      or ( n321 and not n322 )
      or ( n321 and n322 );
    n338 <= ( not n323 and n324 )
      or ( n323 and not n324 )
      or ( n323 and n324 );
    n339 <= ( not n337 and n338 )
      or ( n337 and not n338 )
      or ( n337 and n338 );
    n340 <= ( not n325 and n326 )
      or ( n325 and not n326 )
      or ( n325 and n326 );
    n341 <= ( not n327 and n328 )
      or ( n327 and not n328 )
      or ( n327 and n328 );
    n342 <= ( not n340 and n341 )
      or ( n340 and not n341 )
      or ( n340 and n341 );
    n343 <= ( not n339 and n342 )
      or ( n339 and not n342 )
      or ( n339 and n342 );
    n344 <= ( not n329 and n330 )
      or ( n329 and not n330 )
      or ( n329 and n330 );
    n345 <= ( not n331 and n332 )
      or ( n331 and not n332 )
      or ( n331 and n332 );
    n346 <= ( not n344 and n345 )
      or ( n344 and not n345 )
      or ( n344 and n345 );
    n347 <= ( not n333 and n334 )
      or ( n333 and not n334 )
      or ( n333 and n334 );
    n348 <= ( not n335 and n336 )
      or ( n335 and not n336 )
      or ( n335 and n336 );
    n349 <= ( not n347 and n348 )
      or ( n347 and not n348 )
      or ( n347 and n348 );
    n350 <= ( not n346 and n349 )
      or ( n346 and not n349 )
      or ( n346 and n349 );
    n351 <= ( not n343 and n350 )
      or ( n343 and not n350 )
      or ( n343 and n350 );
    n352 <= ( not n351 );
    n353 <= ( not n278 and not lo00 and n279 )
      or ( not n278 and lo00 and not n279 )
      or ( n278 and not lo00 and not n279 )
      or ( n278 and lo00 and n279 );
    n354 <= ( not n278 and lo00 and n279 )
      or ( n278 and not lo00 and n279 )
      or ( n278 and lo00 and not n279 )
      or ( n278 and lo00 and n279 );
    n355 <= ( not n354 and not lo01 and n278 )
      or ( not n354 and lo01 and not n278 )
      or ( n354 and not lo01 and not n278 )
      or ( n354 and lo01 and n278 );
    n356 <= ( not n354 and lo01 and n278 )
      or ( n354 and not lo01 and n278 )
      or ( n354 and lo01 and not n278 )
      or ( n354 and lo01 and n278 );
    n357 <= ( not n356 and not lo02 and n278 )
      or ( not n356 and lo02 and not n278 )
      or ( n356 and not lo02 and not n278 )
      or ( n356 and lo02 and n278 );
    n358 <= ( not n356 and lo02 and n278 )
      or ( n356 and not lo02 and n278 )
      or ( n356 and lo02 and not n278 )
      or ( n356 and lo02 and n278 );
    n359 <= ( not n358 and not lo03 and n278 )
      or ( not n358 and lo03 and not n278 )
      or ( n358 and not lo03 and not n278 )
      or ( n358 and lo03 and n278 );
    n360 <= ( not n358 and lo03 and n278 )
      or ( n358 and not lo03 and n278 )
      or ( n358 and lo03 and not n278 )
      or ( n358 and lo03 and n278 );
    n361 <= ( not n360 and not lo04 and n278 )
      or ( not n360 and lo04 and not n278 )
      or ( n360 and not lo04 and not n278 )
      or ( n360 and lo04 and n278 );
    n362 <= ( not n360 and lo04 and n278 )
      or ( n360 and not lo04 and n278 )
      or ( n360 and lo04 and not n278 )
      or ( n360 and lo04 and n278 );
    n363 <= ( not n362 and not lo05 and n278 )
      or ( not n362 and lo05 and not n278 )
      or ( n362 and not lo05 and not n278 )
      or ( n362 and lo05 and n278 );
    n364 <= ( not n362 and lo05 and n278 )
      or ( n362 and not lo05 and n278 )
      or ( n362 and lo05 and not n278 )
      or ( n362 and lo05 and n278 );
    n365 <= ( not n364 and not lo06 and n278 )
      or ( not n364 and lo06 and not n278 )
      or ( n364 and not lo06 and not n278 )
      or ( n364 and lo06 and n278 );
    n366 <= ( not n364 and lo06 and n278 )
      or ( n364 and not lo06 and n278 )
      or ( n364 and lo06 and not n278 )
      or ( n364 and lo06 and n278 );
    n367 <= ( not n366 and not lo07 and n278 )
      or ( not n366 and lo07 and not n278 )
      or ( n366 and not lo07 and not n278 )
      or ( n366 and lo07 and n278 );
    n368 <= ( not n366 and lo07 and n278 )
      or ( n366 and not lo07 and n278 )
      or ( n366 and lo07 and not n278 )
      or ( n366 and lo07 and n278 );
    n369 <= ( not n368 and not lo08 and n278 )
      or ( not n368 and lo08 and not n278 )
      or ( n368 and not lo08 and not n278 )
      or ( n368 and lo08 and n278 );
    n370 <= ( not n368 and lo08 and n278 )
      or ( n368 and not lo08 and n278 )
      or ( n368 and lo08 and not n278 )
      or ( n368 and lo08 and n278 );
    n371 <= ( not n370 and not lo09 and n278 )
      or ( not n370 and lo09 and not n278 )
      or ( n370 and not lo09 and not n278 )
      or ( n370 and lo09 and n278 );
    n372 <= ( not n370 and lo09 and n278 )
      or ( n370 and not lo09 and n278 )
      or ( n370 and lo09 and not n278 )
      or ( n370 and lo09 and n278 );
    n373 <= ( not n372 and not lo10 and n278 )
      or ( not n372 and lo10 and not n278 )
      or ( n372 and not lo10 and not n278 )
      or ( n372 and lo10 and n278 );
    n374 <= ( not n372 and lo10 and n278 )
      or ( n372 and not lo10 and n278 )
      or ( n372 and lo10 and not n278 )
      or ( n372 and lo10 and n278 );
    n375 <= ( not n374 and not lo11 and n278 )
      or ( not n374 and lo11 and not n278 )
      or ( n374 and not lo11 and not n278 )
      or ( n374 and lo11 and n278 );
    n376 <= ( not n374 and lo11 and n278 )
      or ( n374 and not lo11 and n278 )
      or ( n374 and lo11 and not n278 )
      or ( n374 and lo11 and n278 );
    n377 <= ( not n376 and not lo12 and n278 )
      or ( not n376 and lo12 and not n278 )
      or ( n376 and not lo12 and not n278 )
      or ( n376 and lo12 and n278 );
    n378 <= ( not n376 and lo12 and n278 )
      or ( n376 and not lo12 and n278 )
      or ( n376 and lo12 and not n278 )
      or ( n376 and lo12 and n278 );
    n379 <= ( not n378 and not lo13 and n278 )
      or ( not n378 and lo13 and not n278 )
      or ( n378 and not lo13 and not n278 )
      or ( n378 and lo13 and n278 );
    n380 <= ( not n378 and lo13 and n278 )
      or ( n378 and not lo13 and n278 )
      or ( n378 and lo13 and not n278 )
      or ( n378 and lo13 and n278 );
    n381 <= ( not n380 and not lo14 and n278 )
      or ( not n380 and lo14 and not n278 )
      or ( n380 and not lo14 and not n278 )
      or ( n380 and lo14 and n278 );
    n382 <= ( not n380 and lo14 and n278 )
      or ( n380 and not lo14 and n278 )
      or ( n380 and lo14 and not n278 )
      or ( n380 and lo14 and n278 );
    n383 <= ( not n382 and not lo15 and n278 )
      or ( not n382 and lo15 and not n278 )
      or ( n382 and not lo15 and not n278 )
      or ( n382 and lo15 and n278 );
    n384 <= ( not n382 and lo15 and n278 )
      or ( n382 and not lo15 and n278 )
      or ( n382 and lo15 and not n278 )
      or ( n382 and lo15 and n278 );
    n385 <= ( not n384 and not lo16 and n278 )
      or ( not n384 and lo16 and not n278 )
      or ( n384 and not lo16 and not n278 )
      or ( n384 and lo16 and n278 );
    n386 <= ( not n384 and lo16 and n278 )
      or ( n384 and not lo16 and n278 )
      or ( n384 and lo16 and not n278 )
      or ( n384 and lo16 and n278 );
    n387 <= ( not n386 and not lo17 and n278 )
      or ( not n386 and lo17 and not n278 )
      or ( n386 and not lo17 and not n278 )
      or ( n386 and lo17 and n278 );
    n388 <= ( not n386 and lo17 and n278 )
      or ( n386 and not lo17 and n278 )
      or ( n386 and lo17 and not n278 )
      or ( n386 and lo17 and n278 );
    n389 <= ( not n388 and not lo18 and n278 )
      or ( not n388 and lo18 and not n278 )
      or ( n388 and not lo18 and not n278 )
      or ( n388 and lo18 and n278 );
    n390 <= ( not n388 and lo18 and n278 )
      or ( n388 and not lo18 and n278 )
      or ( n388 and lo18 and not n278 )
      or ( n388 and lo18 and n278 );
    n391 <= ( not n390 and not lo19 and n278 )
      or ( not n390 and lo19 and not n278 )
      or ( n390 and not lo19 and not n278 )
      or ( n390 and lo19 and n278 );
    li00 <= ( n353 and not lo20 )
      or ( n278 and lo20 );
    li01 <= ( n355 and not lo20 )
      or ( n278 and lo20 );
    li02 <= ( n357 and not lo20 )
      or ( n278 and lo20 );
    li03 <= ( n359 and not lo20 )
      or ( n278 and lo20 );
    li04 <= ( n361 and not lo20 )
      or ( n278 and lo20 );
    li05 <= ( n363 and not lo20 )
      or ( n278 and lo20 );
    li06 <= ( n365 and not lo20 )
      or ( n278 and lo20 );
    li07 <= ( n367 and not lo20 )
      or ( n278 and lo20 );
    li08 <= ( n369 and not lo20 )
      or ( n278 and lo20 );
    li09 <= ( n371 and not lo20 )
      or ( n278 and lo20 );
    li10 <= ( n373 and not lo20 )
      or ( n278 and lo20 );
    li11 <= ( n375 and not lo20 )
      or ( n278 and lo20 );
    li12 <= ( n377 and not lo20 )
      or ( n278 and lo20 );
    li13 <= ( n379 and not lo20 )
      or ( n278 and lo20 );
    li14 <= ( n381 and not lo20 )
      or ( n278 and lo20 );
    li15 <= ( n383 and not lo20 )
      or ( n278 and lo20 );
    li16 <= ( n385 and not lo20 )
      or ( n278 and lo20 );
    li17 <= ( n387 and not lo20 )
      or ( n278 and lo20 );
    li18 <= ( n389 and not lo20 )
      or ( n278 and lo20 );
    li19 <= ( n391 and not lo20 )
      or ( n278 and lo20 );
    n413 <= ( lo23 and not n277 )
      or ( n276 and n277 );
    n414 <= ( lo24 and not n277 )
      or ( n275 and n277 );
    n415 <= ( lo25 and not n277 )
      or ( n274 and n277 );
    n416 <= ( lo26 and not n277 )
      or ( n273 and n277 );
    n417 <= ( lo27 and not n277 )
      or ( n272 and n277 );
    n418 <= ( lo28 and not n277 )
      or ( n271 and n277 );
    n419 <= ( lo29 and not n277 )
      or ( n270 and n277 );
    n420 <= ( lo30 and not n277 )
      or ( n269 and n277 );
    n421 <= ( not n277 );
    li23 <= ( lo23 and not lo20 )
      or ( n413 and lo20 );
    li24 <= ( lo24 and not lo20 )
      or ( n414 and lo20 );
    li25 <= ( lo25 and not lo20 )
      or ( n415 and lo20 );
    li26 <= ( lo26 and not lo20 )
      or ( n416 and lo20 );
    li27 <= ( lo27 and not lo20 )
      or ( n417 and lo20 );
    li28 <= ( lo28 and not lo20 )
      or ( n418 and lo20 );
    li29 <= ( lo29 and not lo20 )
      or ( n419 and lo20 );
    li30 <= ( lo30 and not lo20 )
      or ( n420 and lo20 );
    li21 <= ( n278 and not lo20 )
      or ( n277 and lo20 );
    li22 <= ( n278 and not lo20 )
      or ( n421 and lo20 );
    n432 <= ( not n279 );
    n433 <= ( not n278 );
    n434 <= ( not n279 );
    n435 <= ( not n278 );
    n436 <= ( not n278 );
    n437 <= ( not n278 );
    n438 <= ( not n278 );
    n439 <= ( not n279 );
    n440 <= '1';
    n441 <= ( not n440 and not lo23 and n432 )
      or ( not n440 and lo23 and not n432 )
      or ( n440 and not lo23 and not n432 )
      or ( n440 and lo23 and n432 );
    n442 <= ( not n440 and lo23 and n432 )
      or ( n440 and not lo23 and n432 )
      or ( n440 and lo23 and not n432 )
      or ( n440 and lo23 and n432 );
    n443 <= ( not n442 and not lo24 and n433 )
      or ( not n442 and lo24 and not n433 )
      or ( n442 and not lo24 and not n433 )
      or ( n442 and lo24 and n433 );
    n444 <= ( not n442 and lo24 and n433 )
      or ( n442 and not lo24 and n433 )
      or ( n442 and lo24 and not n433 )
      or ( n442 and lo24 and n433 );
    n445 <= ( not n444 and not lo25 and n434 )
      or ( not n444 and lo25 and not n434 )
      or ( n444 and not lo25 and not n434 )
      or ( n444 and lo25 and n434 );
    n446 <= ( not n444 and lo25 and n434 )
      or ( n444 and not lo25 and n434 )
      or ( n444 and lo25 and not n434 )
      or ( n444 and lo25 and n434 );
    n447 <= ( not n446 and not lo26 and n435 )
      or ( not n446 and lo26 and not n435 )
      or ( n446 and not lo26 and not n435 )
      or ( n446 and lo26 and n435 );
    n448 <= ( not n446 and lo26 and n435 )
      or ( n446 and not lo26 and n435 )
      or ( n446 and lo26 and not n435 )
      or ( n446 and lo26 and n435 );
    n449 <= ( not n448 and not lo27 and n436 )
      or ( not n448 and lo27 and not n436 )
      or ( n448 and not lo27 and not n436 )
      or ( n448 and lo27 and n436 );
    n450 <= ( not n448 and lo27 and n436 )
      or ( n448 and not lo27 and n436 )
      or ( n448 and lo27 and not n436 )
      or ( n448 and lo27 and n436 );
    n451 <= ( not n450 and not lo28 and n437 )
      or ( not n450 and lo28 and not n437 )
      or ( n450 and not lo28 and not n437 )
      or ( n450 and lo28 and n437 );
    n452 <= ( not n450 and lo28 and n437 )
      or ( n450 and not lo28 and n437 )
      or ( n450 and lo28 and not n437 )
      or ( n450 and lo28 and n437 );
    n453 <= ( not n452 and not lo29 and n438 )
      or ( not n452 and lo29 and not n438 )
      or ( n452 and not lo29 and not n438 )
      or ( n452 and lo29 and n438 );
    n454 <= ( not n452 and lo29 and n438 )
      or ( n452 and not lo29 and n438 )
      or ( n452 and lo29 and not n438 )
      or ( n452 and lo29 and n438 );
    n455 <= ( not n454 and not lo30 and n439 )
      or ( not n454 and lo30 and not n439 )
      or ( n454 and not lo30 and not n439 )
      or ( n454 and lo30 and n439 );
    li31 <= ( n352 and not pi1 )
      or ( lo31 and pi1 );
    li32 <= ( n441 and not pi1 )
      or ( lo32 and pi1 );
    li33 <= ( n443 and not pi1 )
      or ( lo33 and pi1 );
    li34 <= ( n445 and not pi1 )
      or ( lo34 and pi1 );
    li35 <= ( n447 and not pi1 )
      or ( lo35 and pi1 );
    li36 <= ( n449 and not pi1 )
      or ( lo36 and pi1 );
    li37 <= ( n451 and not pi1 )
      or ( lo37 and pi1 );
    li38 <= ( n453 and not pi1 )
      or ( lo38 and pi1 );
    li39 <= ( n455 and not pi1 )
      or ( lo39 and pi1 );
    n466 <= ( not lo34 );
    n467 <= ( not lo35 );
    n468 <= ( not lo36 );
    n469 <= ( not lo37 );
    n470 <= ( not lo38 );
    n471 <= ( not lo39 );
    n472 <= ( not n278 );
    n473 <= ( not n278 );
    n475 <= '1';
    li40 <= ( not n475 and not n278 and n466 )
      or ( not n475 and n278 and not n466 )
      or ( n475 and not n278 and not n466 )
      or ( n475 and n278 and n466 );
    n477 <= ( not n475 and n278 and n466 )
      or ( n475 and not n278 and n466 )
      or ( n475 and n278 and not n466 )
      or ( n475 and n278 and n466 );
    li41 <= ( not n477 and not lo32 and n467 )
      or ( not n477 and lo32 and not n467 )
      or ( n477 and not lo32 and not n467 )
      or ( n477 and lo32 and n467 );
    n479 <= ( not n477 and lo32 and n467 )
      or ( n477 and not lo32 and n467 )
      or ( n477 and lo32 and not n467 )
      or ( n477 and lo32 and n467 );
    li42 <= ( not n479 and not lo33 and n468 )
      or ( not n479 and lo33 and not n468 )
      or ( n479 and not lo33 and not n468 )
      or ( n479 and lo33 and n468 );
    n481 <= ( not n479 and lo33 and n468 )
      or ( n479 and not lo33 and n468 )
      or ( n479 and lo33 and not n468 )
      or ( n479 and lo33 and n468 );
    li43 <= ( not n481 and not lo34 and n469 )
      or ( not n481 and lo34 and not n469 )
      or ( n481 and not lo34 and not n469 )
      or ( n481 and lo34 and n469 );
    n483 <= ( not n481 and lo34 and n469 )
      or ( n481 and not lo34 and n469 )
      or ( n481 and lo34 and not n469 )
      or ( n481 and lo34 and n469 );
    li44 <= ( not n483 and not lo35 and n470 )
      or ( not n483 and lo35 and not n470 )
      or ( n483 and not lo35 and not n470 )
      or ( n483 and lo35 and n470 );
    n485 <= ( not n483 and lo35 and n470 )
      or ( n483 and not lo35 and n470 )
      or ( n483 and lo35 and not n470 )
      or ( n483 and lo35 and n470 );
    n486 <= ( not n485 and not lo36 and n471 )
      or ( not n485 and lo36 and not n471 )
      or ( n485 and not lo36 and not n471 )
      or ( n485 and lo36 and n471 );
    n487 <= ( not n485 and lo36 and n471 )
      or ( n485 and not lo36 and n471 )
      or ( n485 and lo36 and not n471 )
      or ( n485 and lo36 and n471 );
    n488 <= ( not n487 and not lo37 and n472 )
      or ( not n487 and lo37 and not n472 )
      or ( n487 and not lo37 and not n472 )
      or ( n487 and lo37 and n472 );
    n489 <= ( not n487 and lo37 and n472 )
      or ( n487 and not lo37 and n472 )
      or ( n487 and lo37 and not n472 )
      or ( n487 and lo37 and n472 );
    n490 <= ( not n489 and not lo38 and n473 )
      or ( not n489 and lo38 and not n473 )
      or ( n489 and not lo38 and not n473 )
      or ( n489 and lo38 and n473 );
    li45 <= ( not n278 and not n486 and n279 )
      or ( not n278 and n486 and not n279 )
      or ( n278 and not n486 and not n279 )
      or ( n278 and n486 and n279 );
    n495 <= ( not n278 and n486 and n279 )
      or ( n278 and not n486 and n279 )
      or ( n278 and n486 and not n279 )
      or ( n278 and n486 and n279 );
    li46 <= ( not n495 and not n488 and n278 )
      or ( not n495 and n488 and not n278 )
      or ( n495 and not n488 and not n278 )
      or ( n495 and n488 and n278 );
    n497 <= ( not n495 and n488 and n278 )
      or ( n495 and not n488 and n278 )
      or ( n495 and n488 and not n278 )
      or ( n495 and n488 and n278 );
    li47 <= ( not n497 and not n490 and n278 )
      or ( not n497 and n490 and not n278 )
      or ( n497 and not n490 and not n278 )
      or ( n497 and n490 and n278 );
    n502 <= ( n278 and not lo62 )
      or ( not n278 and lo62 );
    n503 <= ( n279 and not n502 )
      or ( lo62 and n502 );
    n504 <= ( n278 and not lo63 )
      or ( not n278 and lo63 );
    n505 <= ( n503 and not n504 )
      or ( lo63 and n504 );
    n506 <= ( n279 and not lo64 )
      or ( not n279 and lo64 );
    n507 <= ( n505 and not n506 )
      or ( lo64 and n506 );
    n508 <= ( n278 and not lo65 )
      or ( not n278 and lo65 );
    n509 <= ( n507 and not n508 )
      or ( lo65 and n508 );
    n510 <= ( n278 and not lo66 )
      or ( not n278 and lo66 );
    n511 <= ( n509 and not n510 )
      or ( lo66 and n510 );
    n512 <= ( n279 and not lo67 )
      or ( not n279 and lo67 );
    n513 <= ( n511 and not n512 )
      or ( lo67 and n512 );
    n514 <= ( n279 and not lo68 )
      or ( not n279 and lo68 );
    n515 <= ( n513 and not n514 )
      or ( lo68 and n514 );
    n516 <= ( n278 and not lo69 )
      or ( not n278 and lo69 );
    n517 <= ( n515 and not n516 )
      or ( lo69 and n516 );
    n518 <= ( not n278 );
    n519 <= ( not n278 );
    n520 <= ( not n279 );
    n521 <= ( not n278 );
    n522 <= ( not n278 );
    n523 <= ( not n279 );
    n524 <= ( not n279 );
    n525 <= ( not n278 );
    n526 <= '1';
    n527 <= ( not n526 and not lo62 and n518 )
      or ( not n526 and lo62 and not n518 )
      or ( n526 and not lo62 and not n518 )
      or ( n526 and lo62 and n518 );
    n528 <= ( not n526 and lo62 and n518 )
      or ( n526 and not lo62 and n518 )
      or ( n526 and lo62 and not n518 )
      or ( n526 and lo62 and n518 );
    n529 <= ( not n528 and not lo63 and n519 )
      or ( not n528 and lo63 and not n519 )
      or ( n528 and not lo63 and not n519 )
      or ( n528 and lo63 and n519 );
    n530 <= ( not n528 and lo63 and n519 )
      or ( n528 and not lo63 and n519 )
      or ( n528 and lo63 and not n519 )
      or ( n528 and lo63 and n519 );
    n531 <= ( not n530 and not lo64 and n520 )
      or ( not n530 and lo64 and not n520 )
      or ( n530 and not lo64 and not n520 )
      or ( n530 and lo64 and n520 );
    n532 <= ( not n530 and lo64 and n520 )
      or ( n530 and not lo64 and n520 )
      or ( n530 and lo64 and not n520 )
      or ( n530 and lo64 and n520 );
    n533 <= ( not n532 and not lo65 and n521 )
      or ( not n532 and lo65 and not n521 )
      or ( n532 and not lo65 and not n521 )
      or ( n532 and lo65 and n521 );
    n534 <= ( not n532 and lo65 and n521 )
      or ( n532 and not lo65 and n521 )
      or ( n532 and lo65 and not n521 )
      or ( n532 and lo65 and n521 );
    n535 <= ( not n534 and not lo66 and n522 )
      or ( not n534 and lo66 and not n522 )
      or ( n534 and not lo66 and not n522 )
      or ( n534 and lo66 and n522 );
    n536 <= ( not n534 and lo66 and n522 )
      or ( n534 and not lo66 and n522 )
      or ( n534 and lo66 and not n522 )
      or ( n534 and lo66 and n522 );
    n537 <= ( not n536 and not lo67 and n523 )
      or ( not n536 and lo67 and not n523 )
      or ( n536 and not lo67 and not n523 )
      or ( n536 and lo67 and n523 );
    n538 <= ( not n536 and lo67 and n523 )
      or ( n536 and not lo67 and n523 )
      or ( n536 and lo67 and not n523 )
      or ( n536 and lo67 and n523 );
    n539 <= ( not n538 and not lo68 and n524 )
      or ( not n538 and lo68 and not n524 )
      or ( n538 and not lo68 and not n524 )
      or ( n538 and lo68 and n524 );
    n540 <= ( not n538 and lo68 and n524 )
      or ( n538 and not lo68 and n524 )
      or ( n538 and lo68 and not n524 )
      or ( n538 and lo68 and n524 );
    n541 <= ( not n540 and not lo69 and n525 )
      or ( not n540 and lo69 and not n525 )
      or ( n540 and not lo69 and not n525 )
      or ( n540 and lo69 and n525 );
    n543 <= ( not n278 and not lo74 and n279 )
      or ( not n278 and lo74 and not n279 )
      or ( n278 and not lo74 and not n279 )
      or ( n278 and lo74 and n279 );
    n544 <= ( not n278 and lo74 and n279 )
      or ( n278 and not lo74 and n279 )
      or ( n278 and lo74 and not n279 )
      or ( n278 and lo74 and n279 );
    n545 <= ( not n544 and not lo75 and n278 )
      or ( not n544 and lo75 and not n278 )
      or ( n544 and not lo75 and not n278 )
      or ( n544 and lo75 and n278 );
    n546 <= ( not n544 and lo75 and n278 )
      or ( n544 and not lo75 and n278 )
      or ( n544 and lo75 and not n278 )
      or ( n544 and lo75 and n278 );
    n547 <= ( not n546 and not lo76 and n278 )
      or ( not n546 and lo76 and not n278 )
      or ( n546 and not lo76 and not n278 )
      or ( n546 and lo76 and n278 );
    n548 <= ( not n546 and lo76 and n278 )
      or ( n546 and not lo76 and n278 )
      or ( n546 and lo76 and not n278 )
      or ( n546 and lo76 and n278 );
    n549 <= ( not n548 and not lo77 and n278 )
      or ( not n548 and lo77 and not n278 )
      or ( n548 and not lo77 and not n278 )
      or ( n548 and lo77 and n278 );
    n551 <= ( lo62 and not n517 )
      or ( n527 and n517 );
    n552 <= ( lo63 and not n517 )
      or ( n529 and n517 );
    n553 <= ( lo64 and not n517 )
      or ( n531 and n517 );
    n554 <= ( lo65 and not n517 )
      or ( n533 and n517 );
    n555 <= ( lo66 and not n517 )
      or ( n535 and n517 );
    n556 <= ( lo67 and not n517 )
      or ( n537 and n517 );
    n557 <= ( lo68 and not n517 )
      or ( n539 and n517 );
    n558 <= ( lo69 and not n517 )
      or ( n541 and n517 );
    n559 <= ( lo74 and not n517 )
      or ( n543 and n517 );
    n560 <= ( lo75 and not n517 )
      or ( n545 and n517 );
    n561 <= ( lo76 and not n517 )
      or ( n547 and n517 );
    n562 <= ( lo77 and not n517 )
      or ( n549 and n517 );
    n563 <= ( n278 and not n517 )
      or ( lo60 and n517 );
    n564 <= ( n279 and not n517 )
      or ( lo61 and n517 );
    n565 <= ( n278 and not lo62 )
      or ( not n278 and lo62 );
    n566 <= ( n279 and not n565 )
      or ( lo62 and n565 );
    n567 <= ( n279 and not lo63 )
      or ( not n279 and lo63 );
    n568 <= ( n566 and not n567 )
      or ( lo63 and n567 );
    n569 <= ( n278 and not lo64 )
      or ( not n278 and lo64 );
    n570 <= ( n568 and not n569 )
      or ( lo64 and n569 );
    n571 <= ( n279 and not lo65 )
      or ( not n279 and lo65 );
    n572 <= ( n570 and not n571 )
      or ( lo65 and n571 );
    n573 <= ( n278 and not lo66 )
      or ( not n278 and lo66 );
    n574 <= ( n572 and not n573 )
      or ( lo66 and n573 );
    n575 <= ( n278 and not lo67 )
      or ( not n278 and lo67 );
    n576 <= ( n574 and not n575 )
      or ( lo67 and n575 );
    n577 <= ( n278 and not lo68 )
      or ( not n278 and lo68 );
    n578 <= ( n576 and not n577 )
      or ( lo68 and n577 );
    n579 <= ( n278 and not lo69 )
      or ( not n278 and lo69 );
    n580 <= ( n578 and not n579 )
      or ( lo69 and n579 );
    n581 <= ( not n278 );
    n582 <= ( not n279 );
    n583 <= ( not n278 );
    n584 <= ( not n279 );
    n585 <= ( not n278 );
    n586 <= ( not n278 );
    n587 <= ( not n278 );
    n588 <= ( not n278 );
    n589 <= '1';
    n590 <= ( not n589 and not lo62 and n581 )
      or ( not n589 and lo62 and not n581 )
      or ( n589 and not lo62 and not n581 )
      or ( n589 and lo62 and n581 );
    n591 <= ( not n589 and lo62 and n581 )
      or ( n589 and not lo62 and n581 )
      or ( n589 and lo62 and not n581 )
      or ( n589 and lo62 and n581 );
    n592 <= ( not n591 and not lo63 and n582 )
      or ( not n591 and lo63 and not n582 )
      or ( n591 and not lo63 and not n582 )
      or ( n591 and lo63 and n582 );
    n593 <= ( not n591 and lo63 and n582 )
      or ( n591 and not lo63 and n582 )
      or ( n591 and lo63 and not n582 )
      or ( n591 and lo63 and n582 );
    n594 <= ( not n593 and not lo64 and n583 )
      or ( not n593 and lo64 and not n583 )
      or ( n593 and not lo64 and not n583 )
      or ( n593 and lo64 and n583 );
    n595 <= ( not n593 and lo64 and n583 )
      or ( n593 and not lo64 and n583 )
      or ( n593 and lo64 and not n583 )
      or ( n593 and lo64 and n583 );
    n596 <= ( not n595 and not lo65 and n584 )
      or ( not n595 and lo65 and not n584 )
      or ( n595 and not lo65 and not n584 )
      or ( n595 and lo65 and n584 );
    n597 <= ( not n595 and lo65 and n584 )
      or ( n595 and not lo65 and n584 )
      or ( n595 and lo65 and not n584 )
      or ( n595 and lo65 and n584 );
    n598 <= ( not n597 and not lo66 and n585 )
      or ( not n597 and lo66 and not n585 )
      or ( n597 and not lo66 and not n585 )
      or ( n597 and lo66 and n585 );
    n599 <= ( not n597 and lo66 and n585 )
      or ( n597 and not lo66 and n585 )
      or ( n597 and lo66 and not n585 )
      or ( n597 and lo66 and n585 );
    n600 <= ( not n599 and not lo67 and n586 )
      or ( not n599 and lo67 and not n586 )
      or ( n599 and not lo67 and not n586 )
      or ( n599 and lo67 and n586 );
    n601 <= ( not n599 and lo67 and n586 )
      or ( n599 and not lo67 and n586 )
      or ( n599 and lo67 and not n586 )
      or ( n599 and lo67 and n586 );
    n602 <= ( not n601 and not lo68 and n587 )
      or ( not n601 and lo68 and not n587 )
      or ( n601 and not lo68 and not n587 )
      or ( n601 and lo68 and n587 );
    n603 <= ( not n601 and lo68 and n587 )
      or ( n601 and not lo68 and n587 )
      or ( n601 and lo68 and not n587 )
      or ( n601 and lo68 and n587 );
    n604 <= ( not n603 and not lo69 and n588 )
      or ( not n603 and lo69 and not n588 )
      or ( n603 and not lo69 and not n588 )
      or ( n603 and lo69 and n588 );
    n606 <= ( not n278 and not lo70 and n279 )
      or ( not n278 and lo70 and not n279 )
      or ( n278 and not lo70 and not n279 )
      or ( n278 and lo70 and n279 );
    n607 <= ( not n278 and lo70 and n279 )
      or ( n278 and not lo70 and n279 )
      or ( n278 and lo70 and not n279 )
      or ( n278 and lo70 and n279 );
    n608 <= ( not n607 and not lo71 and n278 )
      or ( not n607 and lo71 and not n278 )
      or ( n607 and not lo71 and not n278 )
      or ( n607 and lo71 and n278 );
    n609 <= ( not n607 and lo71 and n278 )
      or ( n607 and not lo71 and n278 )
      or ( n607 and lo71 and not n278 )
      or ( n607 and lo71 and n278 );
    n610 <= ( not n609 and not lo72 and n278 )
      or ( not n609 and lo72 and not n278 )
      or ( n609 and not lo72 and not n278 )
      or ( n609 and lo72 and n278 );
    n611 <= ( not n609 and lo72 and n278 )
      or ( n609 and not lo72 and n278 )
      or ( n609 and lo72 and not n278 )
      or ( n609 and lo72 and n278 );
    n612 <= ( not n611 and not lo73 and n278 )
      or ( not n611 and lo73 and not n278 )
      or ( n611 and not lo73 and not n278 )
      or ( n611 and lo73 and n278 );
    n614 <= ( lo62 and not n580 )
      or ( n590 and n580 );
    n615 <= ( lo63 and not n580 )
      or ( n592 and n580 );
    n616 <= ( lo64 and not n580 )
      or ( n594 and n580 );
    n617 <= ( lo65 and not n580 )
      or ( n596 and n580 );
    n618 <= ( lo66 and not n580 )
      or ( n598 and n580 );
    n619 <= ( lo67 and not n580 )
      or ( n600 and n580 );
    n620 <= ( lo68 and not n580 )
      or ( n602 and n580 );
    n621 <= ( lo69 and not n580 )
      or ( n604 and n580 );
    n622 <= ( lo70 and not n580 )
      or ( n606 and n580 );
    n623 <= ( lo71 and not n580 )
      or ( n608 and n580 );
    n624 <= ( lo72 and not n580 )
      or ( n610 and n580 );
    n625 <= ( lo73 and not n580 )
      or ( n612 and n580 );
    n626 <= ( n279 and not n580 )
      or ( lo60 and n580 );
    n627 <= ( n279 and not n580 )
      or ( lo61 and n580 );
    n628 <= ( lo48 and not lo60 )
      or ( lo48 and lo60 );
    n629 <= ( lo48 and not lo60 )
      or ( lo62 and lo60 );
    li48 <= ( n628 and not lo61 )
      or ( n629 and lo61 );
    n631 <= ( lo49 and not lo60 )
      or ( lo49 and lo60 );
    n632 <= ( lo49 and not lo60 )
      or ( lo63 and lo60 );
    li49 <= ( n631 and not lo61 )
      or ( n632 and lo61 );
    n634 <= ( lo50 and not lo60 )
      or ( lo50 and lo60 );
    n635 <= ( lo50 and not lo60 )
      or ( lo64 and lo60 );
    li50 <= ( n634 and not lo61 )
      or ( n635 and lo61 );
    n637 <= ( lo51 and not lo60 )
      or ( lo51 and lo60 );
    n638 <= ( lo51 and not lo60 )
      or ( lo65 and lo60 );
    li51 <= ( n637 and not lo61 )
      or ( n638 and lo61 );
    n640 <= ( lo52 and not lo60 )
      or ( lo52 and lo60 );
    n641 <= ( lo52 and not lo60 )
      or ( lo70 and lo60 );
    li52 <= ( n640 and not lo61 )
      or ( n641 and lo61 );
    n643 <= ( lo53 and not lo60 )
      or ( lo53 and lo60 );
    n644 <= ( lo53 and not lo60 )
      or ( lo71 and lo60 );
    li53 <= ( n643 and not lo61 )
      or ( n644 and lo61 );
    n646 <= ( lo54 and not lo60 )
      or ( lo54 and lo60 );
    n647 <= ( lo54 and not lo60 )
      or ( lo72 and lo60 );
    li54 <= ( n646 and not lo61 )
      or ( n647 and lo61 );
    n649 <= ( lo55 and not lo60 )
      or ( lo55 and lo60 );
    n650 <= ( lo55 and not lo60 )
      or ( lo73 and lo60 );
    li55 <= ( n649 and not lo61 )
      or ( n650 and lo61 );
    n652 <= ( lo56 and not lo60 )
      or ( lo56 and lo60 );
    n653 <= ( lo56 and not lo60 )
      or ( lo74 and lo60 );
    li56 <= ( n652 and not lo61 )
      or ( n653 and lo61 );
    n655 <= ( lo57 and not lo60 )
      or ( lo57 and lo60 );
    n656 <= ( lo57 and not lo60 )
      or ( lo75 and lo60 );
    li57 <= ( n655 and not lo61 )
      or ( n656 and lo61 );
    n658 <= ( lo58 and not lo60 )
      or ( lo58 and lo60 );
    n659 <= ( lo58 and not lo60 )
      or ( lo76 and lo60 );
    li58 <= ( n658 and not lo61 )
      or ( n659 and lo61 );
    n661 <= ( lo59 and not lo60 )
      or ( lo59 and lo60 );
    n662 <= ( lo59 and not lo60 )
      or ( lo77 and lo60 );
    li59 <= ( n661 and not lo61 )
      or ( n662 and lo61 );
    n664 <= ( n279 and not lo60 )
      or ( n563 and lo60 );
    n665 <= ( n626 and not lo60 )
      or ( n278 and lo60 );
    li60 <= ( n664 and not lo61 )
      or ( n665 and lo61 );
    n667 <= ( n278 and not lo60 )
      or ( n564 and lo60 );
    n668 <= ( n627 and not lo60 )
      or ( n278 and lo60 );
    li61 <= ( n667 and not lo61 )
      or ( n668 and lo61 );
    n670 <= ( lo40 and not lo60 )
      or ( n551 and lo60 );
    n671 <= ( n614 and not lo60 )
      or ( lo62 and lo60 );
    n672 <= ( n670 and not lo61 )
      or ( n671 and lo61 );
    n673 <= ( lo41 and not lo60 )
      or ( n552 and lo60 );
    n674 <= ( n615 and not lo60 )
      or ( lo63 and lo60 );
    n675 <= ( n673 and not lo61 )
      or ( n674 and lo61 );
    n676 <= ( lo42 and not lo60 )
      or ( n553 and lo60 );
    n677 <= ( n616 and not lo60 )
      or ( lo64 and lo60 );
    n678 <= ( n676 and not lo61 )
      or ( n677 and lo61 );
    n679 <= ( lo43 and not lo60 )
      or ( n554 and lo60 );
    n680 <= ( n617 and not lo60 )
      or ( lo65 and lo60 );
    n681 <= ( n679 and not lo61 )
      or ( n680 and lo61 );
    n682 <= ( lo44 and not lo60 )
      or ( n555 and lo60 );
    n683 <= ( n618 and not lo60 )
      or ( lo66 and lo60 );
    n684 <= ( n682 and not lo61 )
      or ( n683 and lo61 );
    n685 <= ( lo45 and not lo60 )
      or ( n556 and lo60 );
    n686 <= ( n619 and not lo60 )
      or ( lo67 and lo60 );
    n687 <= ( n685 and not lo61 )
      or ( n686 and lo61 );
    n688 <= ( lo46 and not lo60 )
      or ( n557 and lo60 );
    n689 <= ( n620 and not lo60 )
      or ( lo68 and lo60 );
    n690 <= ( n688 and not lo61 )
      or ( n689 and lo61 );
    n691 <= ( lo47 and not lo60 )
      or ( n558 and lo60 );
    n692 <= ( n621 and not lo60 )
      or ( lo69 and lo60 );
    n693 <= ( n691 and not lo61 )
      or ( n692 and lo61 );
    n694 <= ( n278 and not lo60 )
      or ( lo70 and lo60 );
    n695 <= ( n622 and not lo60 )
      or ( lo70 and lo60 );
    n696 <= ( n694 and not lo61 )
      or ( n695 and lo61 );
    n697 <= ( n278 and not lo60 )
      or ( lo71 and lo60 );
    n698 <= ( n623 and not lo60 )
      or ( lo71 and lo60 );
    n699 <= ( n697 and not lo61 )
      or ( n698 and lo61 );
    n700 <= ( n278 and not lo60 )
      or ( lo72 and lo60 );
    n701 <= ( n624 and not lo60 )
      or ( lo72 and lo60 );
    n702 <= ( n700 and not lo61 )
      or ( n701 and lo61 );
    n703 <= ( n278 and not lo60 )
      or ( lo73 and lo60 );
    n704 <= ( n625 and not lo60 )
      or ( lo73 and lo60 );
    n705 <= ( n703 and not lo61 )
      or ( n704 and lo61 );
    n706 <= ( n278 and not lo60 )
      or ( n559 and lo60 );
    n707 <= ( lo74 and not lo60 )
      or ( lo74 and lo60 );
    n708 <= ( n706 and not lo61 )
      or ( n707 and lo61 );
    n709 <= ( n278 and not lo60 )
      or ( n560 and lo60 );
    n710 <= ( lo75 and not lo60 )
      or ( lo75 and lo60 );
    n711 <= ( n709 and not lo61 )
      or ( n710 and lo61 );
    n712 <= ( n278 and not lo60 )
      or ( n561 and lo60 );
    n713 <= ( lo76 and not lo60 )
      or ( lo76 and lo60 );
    n714 <= ( n712 and not lo61 )
      or ( n713 and lo61 );
    n715 <= ( n278 and not lo60 )
      or ( n562 and lo60 );
    n716 <= ( lo77 and not lo60 )
      or ( lo77 and lo60 );
    n717 <= ( n715 and not lo61 )
      or ( n716 and lo61 );
    li62 <= ( n672 and not pi1 )
      or ( lo62 and pi1 );
    li63 <= ( n675 and not pi1 )
      or ( lo63 and pi1 );
    li64 <= ( n678 and not pi1 )
      or ( lo64 and pi1 );
    li65 <= ( n681 and not pi1 )
      or ( lo65 and pi1 );
    li66 <= ( n684 and not pi1 )
      or ( lo66 and pi1 );
    li67 <= ( n687 and not pi1 )
      or ( lo67 and pi1 );
    li68 <= ( n690 and not pi1 )
      or ( lo68 and pi1 );
    li69 <= ( n693 and not pi1 )
      or ( lo69 and pi1 );
    li70 <= ( n696 and not pi1 )
      or ( lo70 and pi1 );
    li71 <= ( n699 and not pi1 )
      or ( lo71 and pi1 );
    li72 <= ( n702 and not pi1 )
      or ( lo72 and pi1 );
    li73 <= ( n705 and not pi1 )
      or ( lo73 and pi1 );
    li74 <= ( n708 and not pi1 )
      or ( lo74 and pi1 );
    li75 <= ( n711 and not pi1 )
      or ( lo75 and pi1 );
    li76 <= ( n714 and not pi1 )
      or ( lo76 and pi1 );
    li77 <= ( n717 and not pi1 )
      or ( lo77 and pi1 );
    po00 <= ( lo39 );
    po01 <= ( lo38 );
    po02 <= ( lo37 );
    po03 <= ( lo36 );
    po04 <= ( lo35 );
    po05 <= ( lo34 );
    po06 <= ( lo33 );
    po07 <= ( lo32 );
    po08 <= ( lo47 );
    po09 <= ( lo46 );
    po10 <= ( lo45 );
    po11 <= ( lo44 );
    po12 <= ( lo43 );
    po13 <= ( lo42 );
    po14 <= ( lo41 );
    po15 <= ( lo40 );
    po16 <= ( lo59 );
    po17 <= ( lo58 );
    po18 <= ( lo57 );
    po19 <= ( lo56 );
    po20 <= ( lo55 );
    po21 <= ( lo54 );
    po22 <= ( lo53 );
    po23 <= ( lo52 );
    po24 <= ( lo51 );
    po25 <= ( lo50 );
    po26 <= ( lo49 );
    po27 <= ( lo48 );
    po28 <= ( lo21 );
    po29 <= ( lo22 );
end temp_sense_behav;
