%------------------------------------------------------------------------------
% File     : ZenonModulo---0.4.2
% Problem  : HWC002-1 : TPTP v8.1.0. Released v1.1.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : run_zenon_modulo %d %s

% Computer : n018.cluster.edu
% Model    : x86_64 x86_64
% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory   : 8042.1875MB
% OS       : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit  : 600s
% DateTime : Sat Jul 16 13:07:48 EDT 2022

% Result   : Unknown 0.54s 0.73s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12  % Problem  : HWC002-1 : TPTP v8.1.0. Released v1.1.0.
% 0.07/0.13  % Command  : run_zenon_modulo %d %s
% 0.14/0.34  % Computer : n018.cluster.edu
% 0.14/0.34  % Model    : x86_64 x86_64
% 0.14/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34  % Memory   : 8042.1875MB
% 0.14/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34  % CPULimit : 300
% 0.14/0.34  % WCLimit  : 600
% 0.14/0.34  % DateTime : Thu Jun  9 12:52:08 EDT 2022
% 0.14/0.34  % CPUTime  : 
% 0.54/0.72  Zenon error: exhausted search space without finding a proof
% 0.54/0.72  (* Current branch:
% 0.54/0.72  (zenon_X59 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  (zenon_X70 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.72  ((connect (not (n0)) zenon_X76) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((connect (or zenon_X7 zenon_X8) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((connect (and zenon_X50 zenon_X51) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (circuit (top (connect (or zenon_X17 zenon_X15) zenon_X16)) (nil) (bottom (connect (or zenon_X17 zenon_X18) (or (n1) (n0)))))
% 0.54/0.72  ((and (n0) (n1)) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.72  ((connect (not (and (n0) (n1))) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (zenon_X19 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  (zenon_X79 != (nil))
% 0.54/0.72  ((connect (not (or (n1) (n1))) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((connect zenon_X44 zenon_X45) != (or (n1) (n0)))
% 0.54/0.72  ((bottom (connect (or zenon_X17 zenon_X18) (and (n1) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((n0) != (connect zenon_X44 zenon_X45))
% 0.54/0.72  ((bottom (connect (or zenon_X57 zenon_X58) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((and (n0) (n0)) != (or (n1) (n1)))
% 0.54/0.72  ((and (n0) (n1)) != (or (n0) (n1)))
% 0.54/0.72  ((connect (or zenon_X17 zenon_X18) (and (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((bottom (connect (not (not (n0))) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((bottom (connect zenon_X30 (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((n1) != (connect zenon_X39 zenon_X40))
% 0.54/0.72  ((bottom (connect (or zenon_X17 zenon_X18) (or (n0) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((not (n1)) != (not (nil)))
% 0.54/0.72  (zenon_X85 != (not (nil)))
% 0.54/0.72  ((connect (and zenon_X50 zenon_X51) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((bottom (connect (not (not (nil))) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (not (n1))) (not (nil)))))
% 0.54/0.72  ((table (n0) (n1) (n0) (n1)) != (and (n1) (n0)))
% 0.54/0.72  ((bottom (connect (not (and (n1) (n0))) zenon_X80)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((connect (and zenon_X2 zenon_X3) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (and (n0) (n1))) (not (nil)))))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (and (n1) (n0))) (not (nil)))))
% 0.54/0.72  ((bottom (connect (and zenon_X2 zenon_X3) zenon_X4)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (zenon_X67 != (nil))
% 0.54/0.72  (zenon_X52 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  ((connect (not zenon_X70) (or (n1) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((bottom (connect zenon_X34 zenon_X35)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((bottom (connect (or zenon_X17 zenon_X18) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (zenon_X19 != (not (n1)))
% 0.54/0.72  ((bottom (connect (and zenon_X12 zenon_X13) (and (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (or (n1) (n0))) (nil))))
% 0.54/0.72  ((and (n0) (n0)) = (n0))
% 0.54/0.72  (circuit (top (connect (and zenon_X12 zenon_X10) zenon_X11)) (nil) (bottom (connect (and zenon_X12 zenon_X13) (n0))))
% 0.54/0.72  ((connect (and zenon_X2 zenon_X3) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((n0) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.72  ((or (n0) (n0)) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.72  (zenon_X85 != (nil))
% 0.54/0.72  ((middle (and zenon_X28 (table (n0) (n0) (n1) (n1)))) != (nil))
% 0.54/0.72  ((bottom (connect (and zenon_X12 zenon_X13) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (circuit (top (connect (or zenon_X53 zenon_X54) zenon_X55)) (middle zenon_X56) (bottom (connect (or zenon_X57 zenon_X58) (nil))))
% 0.54/0.72  (zenon_X79 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.72  (zenon_X9 != (nil))
% 0.54/0.72  ((bottom (connect (not zenon_X70) (and (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((connect (not (nil)) zenon_X72) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (or (n0) (n1))) (nil))))
% 0.54/0.72  ((connect (or zenon_X7 zenon_X8) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((or (n1) (n1)) != (not (nil)))
% 0.54/0.72  (zenon_X80 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  ((n1) != (not (n1)))
% 0.54/0.72  ((connect (not (or (n0) (n1))) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (zenon_X75 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.72  ((bottom (connect (not (not (n0))) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((bottom (connect (and zenon_X2 zenon_X3) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((not (n0)) = (n1))
% 0.54/0.72  ((bottom (connect (and zenon_X2 zenon_X3) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((and (n1) (n0)) != (or (n1) (n1)))
% 0.54/0.72  (zenon_X89 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.72  ((connect (or zenon_X17 zenon_X18) (or (n0) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (circuit (top (connect (or zenon_X53 zenon_X54) zenon_X55)) (middle zenon_X56) (bottom (connect (or zenon_X57 zenon_X58) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.72  (circuit (top (connect (and zenon_X12 zenon_X10) zenon_X11)) (nil) (bottom (connect (and zenon_X12 zenon_X13) (and (n1) (n0)))))
% 0.54/0.72  (zenon_X86 != (not (nil)))
% 0.54/0.72  ((not (or (n1) (n1))) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.72  (circuit (top (connect (and zenon_X12 zenon_X10) zenon_X11)) (nil) (bottom (connect (and zenon_X12 zenon_X13) (and (n0) (n1)))))
% 0.54/0.72  ((connect (or zenon_X17 zenon_X18) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((not zenon_X70) != (or (n1) (n1)))
% 0.54/0.72  ((connect (and zenon_X12 zenon_X13) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((connect (and zenon_X38 zenon_X39) (connect zenon_X39 zenon_X40)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((connect (and zenon_X12 zenon_X13) (and (n0) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (circuit (top (connect (and zenon_X12 zenon_X10) zenon_X11)) (nil) (bottom (connect (and zenon_X12 zenon_X13) (and (n1) (n1)))))
% 0.54/0.72  ((connect (not (or (n0) (n0))) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((and (n0) (n0)) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  ((connect (not (or (n0) (n1))) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (circuit (top (connect zenon_X28 zenon_X29)) (middle (and zenon_X28 zenon_X30)) (bottom (connect zenon_X30 zenon_X31)))
% 0.54/0.72  (zenon_X86 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.72  ((bottom (connect (not (not (nil))) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((not zenon_X70) != (and (n1) (n1)))
% 0.54/0.72  (zenon_X35 != (nil))
% 0.54/0.72  (circuit (top (connect zenon_X32 zenon_X33)) (middle (or zenon_X32 zenon_X34)) (bottom (connect zenon_X34 (table (n0) (n0) (n0) (n0)))))
% 0.54/0.72  ((and (n0) (n0)) != (or (n0) (n1)))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (and (n1) (n1))) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.72  ((bottom (connect (or zenon_X17 zenon_X18) (not (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (zenon_X19 != (not (nil)))
% 0.54/0.72  (zenon_X71 != (or (n1) (n0)))
% 0.54/0.72  ((connect (not (n1)) zenon_X77) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((bottom (connect (not (or (n0) (n0))) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (not (n1))) zenon_X79)))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not zenon_X70) (and (n1) (n0)))))
% 0.54/0.72  (zenon_X27 != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (zenon_X9 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  ((connect (not zenon_X70) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((bottom (connect (not (and (n0) (n0))) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((connect zenon_X39 zenon_X40) != (not (nil)))
% 0.54/0.72  ((or (n0) (n1)) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.72  ((n1) != zenon_X14)
% 0.54/0.72  ((bottom (connect (and zenon_X12 zenon_X13) (or (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (circuit (top zenon_X21) (middle (and zenon_X20 zenon_X22)) (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (zenon_X67 != (not (nil)))
% 0.54/0.72  (zenon_X9 != (not (nil)))
% 0.54/0.72  ((connect (not (and (n1) (n0))) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((middle (or zenon_X24 zenon_X26)) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.72  ((table (n0) (n1) (n0) (n1)) != (or (n1) (n1)))
% 0.54/0.72  ((connect (not zenon_X66) zenon_X67) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((and (n1) (n0)) != (not (n0)))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (or (n0) (n1))) zenon_X86)))
% 0.54/0.72  ((bottom (connect (not (or (n0) (n1))) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (zenon_X88 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.72  ((bottom (connect (not (not (n1))) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (table (not (n0)) (not (n0)) (not (n0)) (not (n0))) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.72  ((and zenon_X2 zenon_X3) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.72  ((bottom (connect (or zenon_X17 zenon_X18) (or (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((bottom (connect (or zenon_X17 zenon_X18) (and (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((connect (or zenon_X57 zenon_X58) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((bottom (connect (or zenon_X57 zenon_X58) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (zenon_X71 != (not (n0)))
% 0.54/0.72  ((and (n1) (n0)) = (n0))
% 0.54/0.72  ((not (n0)) != (not (nil)))
% 0.54/0.72  (zenon_X14 != (and (n0) (n1)))
% 0.54/0.72  ((middle (and zenon_X28 (table (n0) (n0) (n1) (n1)))) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  (zenon_X81 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  ((bottom (connect (not (or (n1) (n1))) zenon_X82)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((connect (table (not (n1)) (not (n1)) (not (n1)) (not (n1))) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((bottom (connect (table (n0) (n0) (n1) (n1)) zenon_X89)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (circuit (top (connect (or zenon_X17 zenon_X15) zenon_X16)) (nil) (bottom (connect (or zenon_X17 zenon_X18) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.72  ((bottom (connect (not (and (n1) (n1))) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (zenon_X19 != (or (n1) (n0)))
% 0.54/0.72  ((middle (or zenon_X32 (table (n0) (n0) (n1) (n1)))) != (nil))
% 0.54/0.72  ((connect (or zenon_X17 zenon_X18) (n1)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((n0) != zenon_X71)
% 0.54/0.72  ((middle (and zenon_X28 (table (n0) (n0) (n1) (n1)))) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.72  ((bottom (connect (not (or (n1) (n1))) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (zenon_X71 != (nil))
% 0.54/0.72  (zenon_X35 != (not (nil)))
% 0.54/0.72  ((bottom (connect (not (and (n0) (n1))) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((not (n1)) != (and (n1) (n1)))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (table (not (n1)) (not (n1)) (not (n1)) (not (n1))) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.72  (zenon_X84 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  ((connect (not (or (n1) (n1))) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((bottom (connect (not (or (n0) (n1))) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (or (n1) (n1))) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.72  ((not zenon_X70) != (not (n1)))
% 0.54/0.72  ((connect zenon_X39 zenon_X40) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.72  ((or (n0) (n0)) != (or (n1) (n0)))
% 0.54/0.72  ((connect (table (not (n1)) (not (n1)) (not (n1)) (not (n1))) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((middle (not zenon_X90)) != (nil))
% 0.54/0.72  ((or (n0) (n0)) != (or (n1) (n1)))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (and (n0) (n1))) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.72  ((connect (not (and (n0) (n1))) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((n0) != (not zenon_X70))
% 0.54/0.72  ((table (not (n1)) (not (n1)) (not (n1)) (not (n1))) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.72  (zenon_X70 != (not (n0)))
% 0.54/0.72  ((middle (or zenon_X24 zenon_X26)) != (nil))
% 0.54/0.72  ((not zenon_X70) != (and (n0) (n1)))
% 0.54/0.72  ((bottom (connect (and zenon_X12 zenon_X13) zenon_X14)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((bottom (connect (not zenon_X70) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((connect (not (and (n1) (n1))) zenon_X84) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((middle (or zenon_X24 zenon_X26)) != (not (nil)))
% 0.54/0.72  ((connect zenon_X44 zenon_X45) != (and (n1) (n1)))
% 0.54/0.72  ((connect (not (and (n1) (n1))) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((connect (or zenon_X7 zenon_X8) zenon_X9) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (or (n0) (n0))) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.72  (zenon_X75 != (nil))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (not (n0))) zenon_X81)))
% 0.54/0.72  (zenon_X14 != (and (n1) (n0)))
% 0.54/0.72  ((table (n0) (n1) (n0) (n1)) != (or (n1) (n0)))
% 0.54/0.72  ((and (n0) (n0)) != (not (n0)))
% 0.54/0.72  ((bottom (connect (and zenon_X38 zenon_X39) (connect zenon_X39 zenon_X40))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((table (n0) (n0) (n1) (n1)) != (and (n0) (n0)))
% 0.54/0.72  ((nil) != (and (n1) (n0)))
% 0.54/0.72  ((n1) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.72  ((bottom (connect (or zenon_X17 zenon_X18) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (zenon_X70 != (or (n0) (n1)))
% 0.54/0.72  (zenon_X14 != (not (n1)))
% 0.54/0.72  (zenon_X86 != (nil))
% 0.54/0.72  ((bottom (connect zenon_X30 (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((not (nil)) = (nil))
% 0.54/0.72  ((or (n0) (n0)) != (not (nil)))
% 0.54/0.72  ((and (n0) (n1)) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  ((table (n0) (n1) (n0) (n1)) != (or (n0) (n0)))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (not (n0))) (nil))))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (and (n0) (n0))) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.72  ((connect (not zenon_X66) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((connect (and zenon_X50 zenon_X51) zenon_X52) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((or zenon_X7 zenon_X8) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.72  ((bottom (connect (and zenon_X12 zenon_X13) (not (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((bottom (connect (and zenon_X12 zenon_X13) (and (n1) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (zenon_X83 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  ((connect (not zenon_X70) (not (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((bottom (connect (or zenon_X17 zenon_X18) (and (n0) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((connect (not (and (n1) (n0))) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (or (n1) (n0))) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.72  (circuit (top (connect (not zenon_X63) zenon_X64)) (middle zenon_X65) (bottom (connect (not zenon_X66) (not (nil)))))
% 0.54/0.72  ((connect (not zenon_X70) (n0)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((table (n0) (n1) (n0) (n1)) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  ((and (n1) (n0)) != (or (n1) (n0)))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not zenon_X70) (not (n0)))))
% 0.54/0.72  ((connect (not (not (n1))) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((bottom (connect (not (not (nil))) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (circuit (top (connect zenon_X28 zenon_X29)) (middle (and zenon_X28 zenon_X30)) (bottom (connect zenon_X30 (nil))))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (table (not (n1)) (not (n1)) (not (n1)) (not (n1))) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.72  (circuit (top zenon_X25) (middle (or zenon_X24 zenon_X26)) (bottom zenon_X27))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not zenon_X70) (n1))))
% 0.54/0.72  ((connect (or zenon_X17 zenon_X18) (or (n1) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((connect zenon_X39 zenon_X40) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  ((not (n1)) != (not (n0)))
% 0.54/0.72  (zenon_X4 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  (circuit (top (connect (not zenon_X63) zenon_X64)) (middle zenon_X65) (bottom (connect (not zenon_X66) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.72  ((bottom (connect (or zenon_X7 zenon_X8) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((bottom (connect zenon_X30 (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((table (n0) (n0) (n1) (n1)) != (and (n0) (n1)))
% 0.54/0.72  ((connect (or zenon_X57 zenon_X58) zenon_X59) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (circuit (top (connect zenon_X28 zenon_X29)) (middle (and zenon_X28 zenon_X30)) (bottom (connect zenon_X30 (table (n0) (n0) (n0) (n0)))))
% 0.54/0.72  ((nil) != (or (n0) (n1)))
% 0.54/0.72  ((bottom (connect (not zenon_X66) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((connect (table (n0) (n0) (n1) (n1)) zenon_X89) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((or (n0) (n0)) != (not (n0)))
% 0.54/0.72  ((connect (and zenon_X12 zenon_X13) (not (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (zenon_X71 != (not (nil)))
% 0.54/0.72  (zenon_X81 != (nil))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (and (n0) (n1))) (nil))))
% 0.54/0.72  ((bottom (connect (not zenon_X70) (and (n0) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((bottom (connect (and zenon_X12 zenon_X13) (or (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((and (n0) (n1)) != (not (nil)))
% 0.54/0.72  (circuit (top (connect (and zenon_X46 zenon_X47) zenon_X48)) (middle zenon_X49) (bottom (connect (and zenon_X50 zenon_X51) (nil))))
% 0.54/0.72  (zenon_X70 != (n1))
% 0.54/0.72  ((connect (not (not (n1))) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((not (not (n1))) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.72  ((bottom (connect (and zenon_X2 zenon_X3) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((bottom zenon_X23) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((not (n0)) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.72  ((connect (and zenon_X12 zenon_X13) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (zenon_X81 != (not (nil)))
% 0.54/0.72  ((bottom (connect (table (not (n0)) (not (n0)) (not (n0)) (not (n0))) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((connect (not (or (n0) (n1))) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (table (not (n0)) (not (n0)) (not (n0)) (not (n0))) zenon_X75)))
% 0.54/0.72  ((connect (not zenon_X70) (and (n0) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (zenon_X80 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.72  (circuit (top (connect (or zenon_X53 zenon_X54) zenon_X55)) (middle zenon_X56) (bottom (connect (or zenon_X57 zenon_X58) (not (nil)))))
% 0.54/0.72  ((connect (not (not (n0))) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (zenon_X19 != (and (n1) (n0)))
% 0.54/0.72  (zenon_X74 != (nil))
% 0.54/0.72  ((or zenon_X17 zenon_X18) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (and (n1) (n1))) zenon_X84)))
% 0.54/0.72  ((bottom (connect (not (or (n1) (n1))) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((connect (or zenon_X17 zenon_X18) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (zenon_X83 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.72  (zenon_X30 != (table (n0) (n0) (n1) (n1)))
% 0.54/0.72  ((connect (not zenon_X70) (or (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (circuit (top (connect zenon_X32 zenon_X33)) (middle (or zenon_X32 (table (n0) (n0) (n1) (n1)))) (bottom (connect (table (n0) (n0) (n1) (n1)) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.72  ((bottom (connect (and zenon_X12 zenon_X13) (or (n1) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((bottom (connect (table (not (n0)) (not (n0)) (not (n0)) (not (n0))) zenon_X75)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((connect (or zenon_X17 zenon_X18) (or (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((connect (not zenon_X70) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (circuit (top (connect (not zenon_X63) zenon_X64)) (middle zenon_X65) (bottom (connect (not zenon_X66) (nil))))
% 0.54/0.72  ((bottom (connect (not (and (n0) (n0))) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((n1) != (and (n1) (n0)))
% 0.54/0.72  ((n0) != (and (n1) (n1)))
% 0.54/0.72  ((bottom (connect (and zenon_X12 zenon_X13) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((table (n0) (n0) (n1) (n1)) != (or (n1) (n1)))
% 0.54/0.72  (circuit (top (connect (or zenon_X17 zenon_X15) zenon_X16)) (nil) (bottom (connect (or zenon_X17 zenon_X18) (or (n1) (n1)))))
% 0.54/0.72  ((connect (not (not (n0))) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not zenon_X70) (or (n1) (n1)))))
% 0.54/0.72  ((bottom (connect (table (not (n1)) (not (n1)) (not (n1)) (not (n1))) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (circuit (top (connect (or zenon_X17 zenon_X15) zenon_X16)) (nil) (bottom (connect (or zenon_X17 zenon_X18) (n0))))
% 0.54/0.72  (circuit (top zenon_X60) (middle (not zenon_X61)) (bottom zenon_X62))
% 0.54/0.72  ((connect (table (n0) (n0) (n1) (n1)) zenon_X88) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((n0) != (or (n1) (n1)))
% 0.54/0.72  ((bottom (connect (and zenon_X50 zenon_X51) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((connect (and zenon_X12 zenon_X13) (or (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (circuit (top (connect (and zenon_X12 zenon_X10) zenon_X11)) (nil) (bottom (connect (and zenon_X12 zenon_X13) (or (n0) (n1)))))
% 0.54/0.72  ((bottom (connect (not (or (n0) (n0))) zenon_X85)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((connect zenon_X34 (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (zenon_X70 != (and (n1) (n1)))
% 0.54/0.72  ((connect (not (and (n0) (n0))) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (zenon_X70 != (n0))
% 0.54/0.72  ((n0) != (connect zenon_X39 zenon_X40))
% 0.54/0.72  ((bottom (connect (and zenon_X50 zenon_X51) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((n0) != (or (n1) (n0)))
% 0.54/0.72  ((nil) != (not (n1)))
% 0.54/0.72  ((n1) != (not (nil)))
% 0.54/0.72  ((connect zenon_X39 zenon_X40) != (not (n1)))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (and (n0) (n0))) (nil))))
% 0.54/0.72  (zenon_X87 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  ((bottom (connect (and zenon_X12 zenon_X13) (n0))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (circuit (top (connect (and zenon_X12 zenon_X10) zenon_X11)) (nil) (bottom (connect (and zenon_X12 zenon_X13) (or (n1) (n0)))))
% 0.54/0.72  ((connect (not (and (n0) (n1))) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (zenon_X74 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  (zenon_X14 != (or (n0) (n0)))
% 0.54/0.72  ((connect (and zenon_X12 zenon_X13) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((connect (or zenon_X7 zenon_X8) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((not zenon_X70) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.72  (circuit (top (connect (or zenon_X7 zenon_X5) zenon_X6)) (middle zenon_X7) (bottom (connect (or zenon_X7 zenon_X8) (not (nil)))))
% 0.54/0.72  ((and (n1) (n1)) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.72  ((and (n0) (n1)) != (or (n1) (n1)))
% 0.54/0.72  ((middle (and zenon_X28 (table (n0) (n0) (n1) (n1)))) != (not (nil)))
% 0.54/0.72  (zenon_X88 != (not (nil)))
% 0.54/0.72  (zenon_X73 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (or (n0) (n1))) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.72  (circuit (top (connect (and zenon_X12 zenon_X10) zenon_X11)) (nil) (bottom (connect (and zenon_X12 zenon_X13) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.72  (circuit (top (connect (and zenon_X46 zenon_X47) zenon_X48)) (middle zenon_X49) (bottom (connect (and zenon_X50 zenon_X51) (not (nil)))))
% 0.54/0.72  ((connect (or zenon_X57 zenon_X58) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((not zenon_X70) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  ((bottom (connect (and zenon_X12 zenon_X13) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((connect zenon_X44 zenon_X45) != (not (n0)))
% 0.54/0.72  ((connect (not (and (n0) (n1))) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((connect (and zenon_X12 zenon_X13) zenon_X14) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (zenon_X14 != (not (nil)))
% 0.54/0.72  ((bottom (connect (not zenon_X70) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((connect zenon_X30 (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (circuit (top (connect zenon_X28 zenon_X29)) (middle (and zenon_X28 (table (n0) (n0) (n1) (n1)))) (bottom (connect (table (n0) (n0) (n1) (n1)) zenon_X88)))
% 0.54/0.72  ((nil) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.72  ((bottom (connect (or zenon_X57 zenon_X58) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (not (n1))) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.72  (circuit (top (connect (and zenon_X2 zenon_X0) zenon_X1)) (middle zenon_X2) (bottom (connect (and zenon_X2 zenon_X3) (not (nil)))))
% 0.54/0.72  (zenon_X60 != (connect (table (n0) (n1) (n0) (n1)) (nil)))
% 0.54/0.72  (zenon_X82 != (nil))
% 0.54/0.72  ((connect zenon_X39 zenon_X40) != (or (n0) (n1)))
% 0.54/0.72  (zenon_X67 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  ((connect zenon_X44 zenon_X45) != (and (n0) (n1)))
% 0.54/0.72  ((bottom (connect (not (not (nil))) zenon_X73)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (zenon_X89 != (nil))
% 0.54/0.72  ((bottom (connect (not (and (n1) (n0))) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((connect (table (not (n0)) (not (n0)) (not (n0)) (not (n0))) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (zenon_X74 != (not (nil)))
% 0.54/0.72  ((not (and (n0) (n0))) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.72  (zenon_X71 != (and (n1) (n1)))
% 0.54/0.72  ((not (n1)) != (or (n1) (n1)))
% 0.54/0.72  ((bottom (connect (not (not (n1))) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((middle (or zenon_X32 (table (n0) (n0) (n1) (n1)))) != (not (nil)))
% 0.54/0.72  ((table (n0) (n0) (n1) (n1)) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  (circuit (top (connect (and zenon_X12 zenon_X10) zenon_X11)) (nil) (bottom (connect (and zenon_X12 zenon_X13) (not (nil)))))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (and (n1) (n1))) (not (nil)))))
% 0.54/0.72  (zenon_X88 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  (circuit (top (connect (and zenon_X12 zenon_X10) zenon_X11)) (nil) (bottom (connect (and zenon_X12 zenon_X13) (or (n0) (n0)))))
% 0.54/0.72  (circuit (top zenon_X21) (middle (and zenon_X20 zenon_X22)) (bottom zenon_X23))
% 0.54/0.72  ((nil) != (and (n0) (n1)))
% 0.54/0.72  ((connect (not zenon_X70) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((bottom (connect (or zenon_X17 zenon_X18) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (zenon_X79 != (not (nil)))
% 0.54/0.72  ((bottom zenon_X27) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((bottom (connect (not (or (n0) (n0))) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (zenon_X78 != (nil))
% 0.54/0.72  (circuit (top (connect zenon_X28 zenon_X29)) (middle (and zenon_X28 zenon_X30)) (bottom (connect zenon_X30 (not (nil)))))
% 0.54/0.72  ((bottom (connect (not (and (n0) (n1))) zenon_X87)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((bottom (connect (and zenon_X12 zenon_X13) (and (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((bottom (connect (or zenon_X17 zenon_X18) zenon_X19)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((bottom (connect (or zenon_X17 zenon_X18) (not (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (zenon_X75 != (not (nil)))
% 0.54/0.72  (zenon_X86 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.72  ((n1) != (not zenon_X70))
% 0.54/0.72  (zenon_X70 != (not (n1)))
% 0.54/0.72  ((bottom (connect (not (or (n1) (n1))) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (and (n1) (n0))) (nil))))
% 0.54/0.72  (zenon_X19 != (not (n0)))
% 0.54/0.72  ((connect (and zenon_X12 zenon_X13) (and (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (zenon_X14 != (or (n1) (n0)))
% 0.54/0.72  ((bottom (connect (or zenon_X17 zenon_X18) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (zenon_X4 != (not (nil)))
% 0.54/0.72  ((top zenon_X60) != (top (connect (table (n0) (n1) (n0) (n1)) (nil))))
% 0.54/0.72  ((connect zenon_X34 zenon_X35) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (table (not (n0)) (not (n0)) (not (n0)) (not (n0))) (not (nil)))))
% 0.54/0.72  ((bottom (connect (not (nil)) zenon_X72)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (not (nil))) (not (nil)))))
% 0.54/0.72  ((bottom (connect (not zenon_X70) (n1))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((connect (not (not (n1))) zenon_X79) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((not (and (n1) (n1))) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.72  (zenon_X19 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.72  (circuit (top (connect (and zenon_X38 zenon_X36) (connect zenon_X36 zenon_X37))) (nil) (bottom (connect (and zenon_X38 zenon_X39) (connect zenon_X39 zenon_X40))))
% 0.54/0.72  (zenon_X71 != (or (n1) (n1)))
% 0.54/0.72  (zenon_X62 != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((bottom (connect (table (n0) (n0) (n1) (n1)) zenon_X88)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (zenon_X71 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.72  ((connect (and zenon_X50 zenon_X51) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (circuit (top (connect zenon_X28 zenon_X29)) (middle (and zenon_X28 (table (n0) (n0) (n1) (n1)))) (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not zenon_X70) (not (nil)))))
% 0.54/0.72  (circuit (top (connect (or zenon_X7 zenon_X5) zenon_X6)) (middle zenon_X7) (bottom (connect (or zenon_X7 zenon_X8) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.72  ((connect (not (or (n1) (n1))) zenon_X82) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((connect (not (and (n1) (n1))) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((or (n0) (n0)) = (n0))
% 0.54/0.72  ((connect (not (or (n1) (n0))) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((connect (not (or (n1) (n0))) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((bottom (connect zenon_X34 (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((connect (not (and (n0) (n0))) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((connect (and zenon_X50 zenon_X51) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (zenon_X70 != (or (n0) (n0)))
% 0.54/0.72  ((and (n0) (n1)) != (not (n0)))
% 0.54/0.72  ((table (n0) (n0) (n1) (n1)) != (and (n1) (n1)))
% 0.54/0.72  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (table (not (n1)) (not (n1)) (not (n1)) (not (n1))) (nil))))
% 0.54/0.72  (zenon_X73 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.72  ((connect (not (and (n0) (n0))) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  ((connect (and zenon_X12 zenon_X13) (and (n1) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.72  (zenon_X80 != (nil))
% 0.54/0.72  ((bottom (connect (not (not (n1))) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((n0) != (n1))
% 0.54/0.72  ((not zenon_X70) != (or (n0) (n0)))
% 0.54/0.72  (circuit (top (connect (or zenon_X17 zenon_X15) zenon_X16)) (nil) (bottom (connect (or zenon_X17 zenon_X18) (n1))))
% 0.54/0.72  ((bottom (connect (not zenon_X66) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((connect zenon_X39 zenon_X40) != (and (n1) (n1)))
% 0.54/0.72  (zenon_X14 != (nil))
% 0.54/0.72  (zenon_X14 != (not (n0)))
% 0.54/0.72  ((bottom (connect (not zenon_X70) (and (n1) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.72  ((and (n0) (n1)) != (and (n1) (n1)))
% 0.54/0.72  (circuit (top (connect zenon_X32 zenon_X33)) (middle (or zenon_X32 zenon_X34)) (bottom (connect zenon_X34 (not (nil)))))
% 0.54/0.73  ((connect (not (and (n0) (n1))) zenon_X87) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (zenon_X88 != (nil))
% 0.54/0.73  ((bottom (connect (table (not (n0)) (not (n0)) (not (n0)) (not (n0))) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom (connect (not (and (n1) (n1))) zenon_X84)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((or (n1) (n1)) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  ((connect (not zenon_X70) (not (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((connect zenon_X39 zenon_X40) != (and (n0) (n0)))
% 0.54/0.73  ((bottom (connect (not (or (n1) (n0))) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((not zenon_X66) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.73  ((connect (not (or (n1) (n1))) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not zenon_X70) (or (n0) (n1)))))
% 0.54/0.73  (zenon_X70 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (table (not (n1)) (not (n1)) (not (n1)) (not (n1))) (not (nil)))))
% 0.54/0.73  ((bottom (connect (not (not (nil))) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom (connect (not (and (n0) (n1))) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((connect (not zenon_X70) (or (n0) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (and (n1) (n0))) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.73  (circuit (top (connect (and zenon_X2 zenon_X0) zenon_X1)) (middle zenon_X2) (bottom (connect (and zenon_X2 zenon_X3) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.73  ((bottom (connect (not (not (n1))) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((connect (or zenon_X17 zenon_X18) zenon_X19) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((not (not (n0))) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (not (nil))) (nil))))
% 0.54/0.73  ((connect (table (not (n0)) (not (n0)) (not (n0)) (not (n0))) zenon_X75) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((bottom (connect (not zenon_X70) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((and zenon_X50 zenon_X51) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.73  ((or (n0) (n0)) != (or (n0) (n1)))
% 0.54/0.73  (circuit (top (connect (and zenon_X12 zenon_X10) zenon_X11)) (nil) (bottom (connect (and zenon_X12 zenon_X13) (not (n0)))))
% 0.54/0.73  ((connect zenon_X39 zenon_X40) != (nil))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not zenon_X70) (or (n1) (n0)))))
% 0.54/0.73  (circuit (top (connect zenon_X32 zenon_X33)) (middle (or zenon_X32 (table (n0) (n0) (n1) (n1)))) (bottom (connect (table (n0) (n0) (n1) (n1)) zenon_X89)))
% 0.54/0.73  (zenon_X84 != (nil))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (or (n0) (n0))) zenon_X85)))
% 0.54/0.73  ((bottom (connect (or zenon_X17 zenon_X18) (n0))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((connect zenon_X44 zenon_X45) != (and (n0) (n0)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (table (not (n0)) (not (n0)) (not (n0)) (not (n0))) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.73  ((bottom (connect (and zenon_X12 zenon_X13) (and (n0) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((n1) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not zenon_X70) (nil))))
% 0.54/0.73  ((not (n0)) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  ((and (n1) (n0)) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (n1)) zenon_X77)))
% 0.54/0.73  (zenon_X4 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  (circuit (top (connect (or zenon_X17 zenon_X15) zenon_X16)) (nil) (bottom (connect (or zenon_X17 zenon_X18) (and (n0) (n1)))))
% 0.54/0.73  (zenon_X73 != (nil))
% 0.54/0.73  ((connect (not (not (nil))) zenon_X73) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (circuit (top (connect (table (n0) (n1) (n0) (n1)) (nil))) (middle (not zenon_X90)) (bottom zenon_X91))
% 0.54/0.73  ((connect (not (or (n1) (n0))) zenon_X83) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((connect zenon_X34 (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((bottom (connect (not zenon_X70) (and (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (circuit (top (connect (and zenon_X12 zenon_X10) zenon_X11)) (nil) (bottom (connect (and zenon_X12 zenon_X13) (nil))))
% 0.54/0.73  (circuit (top (connect (or zenon_X17 zenon_X15) zenon_X16)) (nil) (bottom (connect (or zenon_X17 zenon_X18) (and (n1) (n0)))))
% 0.54/0.73  ((bottom (connect (and zenon_X50 zenon_X51) zenon_X52)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((connect (not zenon_X70) (n1)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (circuit (top (connect (or zenon_X7 zenon_X5) zenon_X6)) (middle zenon_X7) (bottom (connect (or zenon_X7 zenon_X8) zenon_X9)))
% 0.54/0.73  ((connect (and zenon_X12 zenon_X13) (or (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((or (n0) (n1)) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  ((connect (or zenon_X17 zenon_X18) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (zenon_X19 != (or (n0) (n0)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not zenon_X70) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.73  (circuit (top (connect zenon_X32 zenon_X33)) (middle (or zenon_X32 zenon_X34)) (bottom (connect zenon_X34 (table (n1) (n1) (n1) (n1)))))
% 0.54/0.73  (circuit (top (connect (and zenon_X46 zenon_X47) zenon_X48)) (middle zenon_X49) (bottom (connect (and zenon_X50 zenon_X51) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.73  (zenon_X59 != (not (nil)))
% 0.54/0.73  (circuit (top (connect (or zenon_X17 zenon_X15) zenon_X16)) (nil) (bottom (connect (or zenon_X17 zenon_X18) (or (n0) (n1)))))
% 0.54/0.73  (zenon_X70 != (and (n0) (n0)))
% 0.54/0.73  ((connect (not (or (n0) (n0))) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((bottom (connect (not zenon_X66) zenon_X67)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((and (n0) (n0)) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((not (n1)) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  (zenon_X70 != (and (n0) (n1)))
% 0.54/0.73  (circuit (top (connect (and zenon_X12 zenon_X10) zenon_X11)) (nil) (bottom (connect (and zenon_X12 zenon_X13) zenon_X14)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (and (n1) (n1))) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.73  ((and (n0) (n1)) = (n0))
% 0.54/0.73  ((n0) != (not (n0)))
% 0.54/0.73  ((connect (not (not (nil))) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (table (not (n0)) (not (n0)) (not (n0)) (not (n0))) (nil))))
% 0.54/0.73  ((and (n1) (n1)) = (n1))
% 0.54/0.73  ((connect (and zenon_X12 zenon_X13) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((table (n0) (n1) (n0) (n1)) != (and (n1) (n1)))
% 0.54/0.73  ((nil) != (not zenon_X70))
% 0.54/0.73  (zenon_X70 != (not (nil)))
% 0.54/0.73  (zenon_X82 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((not (and (n0) (n1))) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.73  ((bottom (connect (or zenon_X17 zenon_X18) (and (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (circuit (top (connect (or zenon_X53 zenon_X54) zenon_X55)) (middle zenon_X56) (bottom (connect (or zenon_X57 zenon_X58) zenon_X59)))
% 0.54/0.73  (zenon_X71 != (and (n0) (n1)))
% 0.54/0.73  ((bottom (connect (table (not (n0)) (not (n0)) (not (n0)) (not (n0))) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (circuit (top (connect (and zenon_X46 zenon_X47) zenon_X48)) (middle zenon_X49) (bottom (connect (and zenon_X50 zenon_X51) zenon_X52)))
% 0.54/0.73  (zenon_X14 != (or (n1) (n1)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not zenon_X70) (and (n1) (n1)))))
% 0.54/0.73  ((connect (or zenon_X17 zenon_X18) (and (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (zenon_X19 != (or (n0) (n1)))
% 0.54/0.73  (zenon_X71 != (or (n0) (n0)))
% 0.54/0.73  ((n0) != (table (n0) (n1) (n0) (n1)))
% 0.54/0.73  ((bottom (connect (or zenon_X17 zenon_X18) (or (n1) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (circuit (top (connect (or zenon_X17 zenon_X15) zenon_X16)) (nil) (bottom (connect (or zenon_X17 zenon_X18) (or (n0) (n0)))))
% 0.54/0.73  ((and (n0) (n0)) != (or (n1) (n0)))
% 0.54/0.73  (circuit (top zenon_X25) (middle (or zenon_X24 zenon_X26)) (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((connect (not (and (n0) (n0))) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (circuit (top (connect zenon_X32 zenon_X33)) (middle (or zenon_X32 (table (n0) (n0) (n1) (n1)))) (bottom (connect (table (n0) (n0) (n1) (n1)) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.73  ((table (n0) (n0) (n1) (n1)) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((bottom (connect (table (not (n1)) (not (n1)) (not (n1)) (not (n1))) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (zenon_X87 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  (circuit (top (connect (and zenon_X46 zenon_X47) zenon_X48)) (middle zenon_X49) (bottom (connect (and zenon_X50 zenon_X51) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.73  ((connect (not (not (n1))) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((bottom (connect (not (or (n1) (n0))) zenon_X83)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((nil) != (or (n1) (n0)))
% 0.54/0.73  ((connect (or zenon_X57 zenon_X58) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((bottom (connect zenon_X34 (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom (connect (table (n0) (n1) (n0) (n1)) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (not (nil))) zenon_X73)))
% 0.54/0.73  ((connect (not (not (n0))) zenon_X81) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (zenon_X23 != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (zenon_X52 != (not (nil)))
% 0.54/0.73  (zenon_X70 != (or (n1) (n1)))
% 0.54/0.73  ((connect (not (or (n1) (n1))) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((not (or (n1) (n0))) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.73  ((nil) != (n1))
% 0.54/0.73  ((not zenon_X70) != (or (n0) (n1)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not zenon_X70) (or (n0) (n0)))))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (not (n0))) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.73  ((n1) != zenon_X71)
% 0.54/0.73  ((connect zenon_X44 zenon_X45) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((bottom (connect (not zenon_X70) (not (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom (connect (and zenon_X12 zenon_X13) (or (n0) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((and (n0) (n0)) != (and (n1) (n1)))
% 0.54/0.73  (circuit (top (connect (and zenon_X12 zenon_X10) zenon_X11)) (nil) (bottom (connect (and zenon_X12 zenon_X13) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.73  ((table (n0) (n1) (n0) (n1)) != (and (n0) (n0)))
% 0.54/0.73  ((connect (table (not (n0)) (not (n0)) (not (n0)) (not (n0))) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (zenon_X75 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  ((middle (and zenon_X20 zenon_X22)) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not zenon_X70) zenon_X71)))
% 0.54/0.73  ((table (n0) (n0) (n0) (n0)) = (nil))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (or (n0) (n1))) (not (nil)))))
% 0.54/0.73  ((bottom (connect (table (not (n1)) (not (n1)) (not (n1)) (not (n1))) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((connect (and zenon_X2 zenon_X3) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (not (nil))) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.73  ((bottom (connect (not zenon_X70) (n0))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom (connect (not (and (n1) (n1))) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((connect zenon_X30 (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((connect (not (and (n1) (n0))) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((connect (and zenon_X2 zenon_X3) zenon_X4) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((connect (and zenon_X12 zenon_X13) (or (n0) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (zenon_X85 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  ((nil) != (n0))
% 0.54/0.73  (circuit (top (connect zenon_X28 zenon_X29)) (middle (and zenon_X28 (table (n0) (n0) (n1) (n1)))) (bottom (connect (table (n0) (n0) (n1) (n1)) (not (nil)))))
% 0.54/0.73  ((table (n0) (n1) (n0) (n1)) != (not (nil)))
% 0.54/0.73  ((connect zenon_X44 zenon_X45) != (not (nil)))
% 0.54/0.73  ((connect (not (not (nil))) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (or (n1) (n0))) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.73  ((or (n0) (n0)) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  ((table (n0) (n0) (n1) (n1)) != (not (n1)))
% 0.54/0.73  ((connect (not (and (n1) (n1))) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (not (nil))) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.73  ((connect (and zenon_X12 zenon_X13) (n1)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((bottom (connect (table (not (n1)) (not (n1)) (not (n1)) (not (n1))) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (zenon_X14 != (and (n0) (n0)))
% 0.54/0.73  (zenon_X71 != (and (n0) (n0)))
% 0.54/0.73  ((bottom (connect (not (and (n0) (n0))) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((not (n1)) = (n0))
% 0.54/0.73  ((connect (or zenon_X43 zenon_X44) (connect zenon_X44 zenon_X45)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (zenon_X67 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((bottom (connect (not (or (n1) (n0))) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (zenon_X4 != (nil))
% 0.54/0.73  (zenon_X70 != (or (n1) (n0)))
% 0.54/0.73  (circuit (top (connect zenon_X28 zenon_X29)) (middle (and zenon_X28 (table (n0) (n0) (n1) (n1)))) (bottom (connect (table (n0) (n0) (n1) (n1)) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.73  ((bottom (connect (and zenon_X2 zenon_X3) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (zenon_X89 != (not (nil)))
% 0.54/0.73  ((n0) != zenon_X19)
% 0.54/0.73  (circuit (top (connect zenon_X32 zenon_X33)) (middle (or zenon_X32 zenon_X34)) (bottom (connect zenon_X34 (nil))))
% 0.54/0.73  (circuit (top (connect (and zenon_X12 zenon_X10) zenon_X11)) (nil) (bottom (connect (and zenon_X12 zenon_X13) (and (n0) (n0)))))
% 0.54/0.73  ((table (n0) (n1) (n0) (n1)) != (and (n0) (n1)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (and (n1) (n1))) (nil))))
% 0.54/0.73  (zenon_X71 != (or (n0) (n1)))
% 0.54/0.73  ((table (n0) (n1) (n0) (n1)) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.73  (circuit (top (connect (or zenon_X53 zenon_X54) zenon_X55)) (middle zenon_X56) (bottom (connect (or zenon_X57 zenon_X58) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.73  ((connect (not (or (n0) (n0))) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((middle (not zenon_X90)) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((n1) != (or (n0) (n0)))
% 0.54/0.73  ((n0) != (or (n0) (n1)))
% 0.54/0.73  ((or (n1) (n0)) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  ((connect (table (not (n0)) (not (n0)) (not (n0)) (not (n0))) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((connect zenon_X30 (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (zenon_X52 != (nil))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (not (n1))) (nil))))
% 0.54/0.73  ((connect (table (not (n1)) (not (n1)) (not (n1)) (not (n1))) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (not (n1))) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.73  ((middle (and zenon_X20 zenon_X22)) != (nil))
% 0.54/0.73  (circuit (top (connect zenon_X32 zenon_X33)) (middle (or zenon_X32 (table (n0) (n0) (n1) (n1)))) (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((n0) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  (circuit (top (connect (not zenon_X63) zenon_X64)) (middle zenon_X65) (bottom (connect (not zenon_X66) zenon_X67)))
% 0.54/0.73  ((bottom (connect (or zenon_X57 zenon_X58) zenon_X59)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom (connect zenon_X30 zenon_X31)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom (connect (not (or (n1) (n0))) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((connect (not zenon_X70) (or (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (zenon_X85 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  (circuit (top (connect (or zenon_X17 zenon_X15) zenon_X16)) (nil) (bottom (connect (or zenon_X17 zenon_X18) zenon_X19)))
% 0.54/0.73  (zenon_X31 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  (zenon_X70 != (and (n1) (n0)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (not (n0))) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.73  ((bottom (connect (not (or (n0) (n1))) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((connect zenon_X44 zenon_X45) != (not (n1)))
% 0.54/0.73  ((bottom (connect (not (and (n1) (n0))) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom (connect (not zenon_X70) (or (n0) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (zenon_X31 != (nil))
% 0.54/0.73  ((bottom (connect (not zenon_X66) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom (connect (and zenon_X12 zenon_X13) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((connect (and zenon_X12 zenon_X13) (or (n1) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (zenon_X70 != (nil))
% 0.54/0.73  (circuit (top (connect (and zenon_X12 zenon_X10) zenon_X11)) (nil) (bottom (connect (and zenon_X12 zenon_X13) (or (n1) (n1)))))
% 0.54/0.73  (circuit (top (connect (not zenon_X63) zenon_X64)) (middle zenon_X65) (bottom (connect (not zenon_X66) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.73  (zenon_X19 != (and (n0) (n1)))
% 0.54/0.73  ((bottom (connect (not zenon_X70) (or (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (zenon_X78 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  ((n1) != (and (n0) (n1)))
% 0.54/0.73  ((bottom (connect (not zenon_X70) (or (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (zenon_X78 != (not (nil)))
% 0.54/0.73  ((n1) != (and (n0) (n0)))
% 0.54/0.73  ((connect (not zenon_X70) (and (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((connect (table (n0) (n1) (n0) (n1)) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((connect (not zenon_X70) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((middle (or zenon_X32 (table (n0) (n0) (n1) (n1)))) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  ((not (n1)) != (or (n0) (n1)))
% 0.54/0.73  ((connect (or zenon_X17 zenon_X18) (and (n0) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((bottom (connect zenon_X30 (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((and (n0) (n1)) != (or (n1) (n0)))
% 0.54/0.73  (circuit (top (connect (or zenon_X17 zenon_X15) zenon_X16)) (nil) (bottom (connect (or zenon_X17 zenon_X18) (not (n1)))))
% 0.54/0.73  ((bottom (connect (not (and (n1) (n0))) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom (connect (and zenon_X50 zenon_X51) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((n1) != zenon_X19)
% 0.54/0.73  ((bottom (connect (table (not (n1)) (not (n1)) (not (n1)) (not (n1))) zenon_X74)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((not zenon_X70) != (or (n1) (n0)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (table (not (n1)) (not (n1)) (not (n1)) (not (n1))) zenon_X74)))
% 0.54/0.73  (zenon_X81 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((connect zenon_X39 zenon_X40) != (not (n0)))
% 0.54/0.73  (zenon_X79 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not zenon_X70) (and (n0) (n0)))))
% 0.54/0.73  ((bottom (connect zenon_X34 (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (zenon_X14 != (or (n0) (n1)))
% 0.54/0.73  ((and (n1) (n0)) != (and (n1) (n1)))
% 0.54/0.73  ((not zenon_X70) != (and (n1) (n0)))
% 0.54/0.73  ((bottom (connect (or zenon_X7 zenon_X8) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((middle (not zenon_X90)) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  (circuit (top (connect (or zenon_X7 zenon_X5) zenon_X6)) (middle zenon_X7) (bottom (connect (or zenon_X7 zenon_X8) (nil))))
% 0.54/0.73  ((connect zenon_X30 (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (circuit (top (connect (or zenon_X17 zenon_X15) zenon_X16)) (nil) (bottom (connect (or zenon_X17 zenon_X18) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.73  (zenon_X80 != (not (nil)))
% 0.54/0.73  ((connect (not (not (n0))) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((connect (table (not (n1)) (not (n1)) (not (n1)) (not (n1))) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (and (n1) (n0))) zenon_X80)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (not (n0))) (not (nil)))))
% 0.54/0.73  ((connect zenon_X44 zenon_X45) != (and (n1) (n0)))
% 0.54/0.73  ((middle (or zenon_X24 zenon_X26)) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (and (n0) (n0))) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.73  ((not zenon_X70) != (not (n0)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (or (n1) (n0))) zenon_X83)))
% 0.54/0.73  ((connect (or zenon_X7 zenon_X8) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not zenon_X70) (n0))))
% 0.54/0.73  ((bottom (connect (not (not (n0))) (nil))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((connect (or zenon_X17 zenon_X18) (not (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((connect (not zenon_X70) (and (n1) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((connect (not (not (nil))) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (circuit (top (connect zenon_X32 zenon_X33)) (middle (or zenon_X32 zenon_X34)) (bottom (connect zenon_X34 zenon_X35)))
% 0.54/0.73  (circuit (top (connect (and zenon_X12 zenon_X10) zenon_X11)) (nil) (bottom (connect (and zenon_X12 zenon_X13) (not (n1)))))
% 0.54/0.73  ((connect zenon_X34 (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((or (n1) (n0)) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((connect (and zenon_X12 zenon_X13) (not (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((connect (not zenon_X66) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((table (n0) (n0) (n1) (n1)) != (or (n1) (n0)))
% 0.54/0.73  ((or (n1) (n1)) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((connect zenon_X44 zenon_X45) != (nil))
% 0.54/0.73  ((connect zenon_X39 zenon_X40) != (and (n0) (n1)))
% 0.54/0.73  ((connect (not zenon_X66) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (zenon_X84 != (not (nil)))
% 0.54/0.73  ((bottom (connect (not zenon_X66) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom zenon_X62) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom (connect (not (and (n1) (n1))) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((or (n1) (n0)) = (n1))
% 0.54/0.73  ((and (n1) (n0)) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((or (n1) (n0)) != (not (nil)))
% 0.54/0.73  (zenon_X31 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  (circuit (top (connect (or zenon_X17 zenon_X15) zenon_X16)) (nil) (bottom (connect (or zenon_X17 zenon_X18) (and (n0) (n0)))))
% 0.54/0.73  (circuit (top (connect (or zenon_X43 zenon_X41) (connect zenon_X41 zenon_X42))) (nil) (bottom (connect (or zenon_X43 zenon_X44) (connect zenon_X44 zenon_X45))))
% 0.54/0.73  ((not zenon_X70) != (and (n0) (n0)))
% 0.54/0.73  (circuit (top (connect (table (n0) (n0) (n1) (n1)) (nil))) (nil) (bottom (connect (table (n0) (n1) (n0) (n1)) (nil))))
% 0.54/0.73  ((connect zenon_X44 zenon_X45) != (or (n0) (n0)))
% 0.54/0.73  ((nil) != (and (n1) (n1)))
% 0.54/0.73  ((connect (table (not (n0)) (not (n0)) (not (n0)) (not (n0))) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((connect (and zenon_X12 zenon_X13) (n0)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((nil) != (and (n0) (n0)))
% 0.54/0.73  ((connect (and zenon_X2 zenon_X3) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((table (n1) (n1) (n1) (n1)) = (nil))
% 0.54/0.73  ((middle (or zenon_X32 (table (n0) (n0) (n1) (n1)))) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((or (n1) (n1)) = (n1))
% 0.54/0.73  ((connect (or zenon_X17 zenon_X18) (or (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (zenon_X31 != (not (nil)))
% 0.54/0.73  ((connect (not (or (n0) (n0))) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((connect zenon_X44 zenon_X45) != (or (n0) (n1)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (or (n1) (n1))) zenon_X82)))
% 0.54/0.73  (circuit (top (connect (and zenon_X2 zenon_X0) zenon_X1)) (middle zenon_X2) (bottom (connect (and zenon_X2 zenon_X3) zenon_X4)))
% 0.54/0.73  (zenon_X19 != (and (n0) (n0)))
% 0.54/0.73  ((n1) != (table (n0) (n1) (n0) (n1)))
% 0.54/0.73  ((nil) != (or (n1) (n1)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (or (n1) (n1))) (nil))))
% 0.54/0.73  ((connect zenon_X44 zenon_X45) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  ((not zenon_X70) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((nil) != (not (n0)))
% 0.54/0.73  ((n0) != (not (nil)))
% 0.54/0.73  ((not (not (nil))) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.73  ((bottom (connect (or zenon_X57 zenon_X58) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (zenon_X35 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  ((bottom (connect (not (and (n0) (n1))) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (zenon_X71 != (not (n1)))
% 0.54/0.73  ((bottom (connect (or zenon_X17 zenon_X18) (n1))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (circuit (top (connect (or zenon_X17 zenon_X15) zenon_X16)) (nil) (bottom (connect (or zenon_X17 zenon_X18) (not (nil)))))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not zenon_X70) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.73  (zenon_X82 != (not (nil)))
% 0.54/0.73  (zenon_X14 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((connect zenon_X39 zenon_X40) != (or (n0) (n0)))
% 0.54/0.73  ((bottom (connect (and zenon_X12 zenon_X13) (not (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (circuit (top (connect zenon_X28 zenon_X29)) (middle (and zenon_X28 (table (n0) (n0) (n1) (n1)))) (bottom (connect (table (n0) (n0) (n1) (n1)) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.73  ((not (or (n0) (n0))) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.73  ((nil) != (or (n0) (n0)))
% 0.54/0.73  ((and (n1) (n1)) != (not (nil)))
% 0.54/0.73  ((connect (not (not (n1))) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not zenon_X70) (and (n0) (n1)))))
% 0.54/0.73  (zenon_X52 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (n0)) zenon_X76)))
% 0.54/0.73  ((connect (not zenon_X66) (table (n1) (n1) (n1) (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((connect (not zenon_X70) zenon_X71) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (zenon_X19 != (and (n1) (n1)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (or (n1) (n1))) (not (nil)))))
% 0.54/0.73  ((connect (or zenon_X17 zenon_X18) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not zenon_X70) (not (n1)))))
% 0.54/0.73  ((connect (not (or (n1) (n0))) (table (n0) (n0) (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((bottom (connect (not zenon_X70) (not (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((middle (and zenon_X20 zenon_X22)) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((bottom (connect zenon_X34 (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom (connect (not (and (n0) (n0))) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom (connect (not (or (n0) (n0))) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((connect (not (or (n0) (n1))) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (zenon_X83 != (nil))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (and (n0) (n0))) (not (nil)))))
% 0.54/0.73  ((table (n0) (n0) (n1) (n1)) != (and (n1) (n0)))
% 0.54/0.73  (zenon_X9 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((connect (table (not (n1)) (not (n1)) (not (n1)) (not (n1))) zenon_X74) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((and (n1) (n1)) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  ((connect (not (or (n0) (n0))) zenon_X85) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (or (n0) (n0))) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.73  (zenon_X34 != (table (n0) (n0) (n1) (n1)))
% 0.54/0.73  (-. (circuit (top (connect (table (n0) (n1) (n0) (n1)) (nil))) (nil) (bottom (connect (table (n0) (n0) (n1) (n1)) (nil)))))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (and (n1) (n0))) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.73  (zenon_X59 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((or (n0) (n1)) != (not (nil)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (and (n0) (n1))) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.73  (circuit (top (connect zenon_X32 zenon_X33)) (middle (or zenon_X32 (table (n0) (n0) (n1) (n1)))) (bottom (connect (table (n0) (n0) (n1) (n1)) (not (nil)))))
% 0.54/0.73  ((bottom (connect (table (not (n0)) (not (n0)) (not (n0)) (not (n0))) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((and zenon_X12 zenon_X13) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.73  ((connect zenon_X39 zenon_X40) != (or (n1) (n0)))
% 0.54/0.73  ((table (not (n0)) (not (n0)) (not (n0)) (not (n0))) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.73  ((connect (not (or (n1) (n0))) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (zenon_X35 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((or (n0) (n1)) = (n1))
% 0.54/0.73  ((connect (or zenon_X17 zenon_X18) (not (n1))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((n0) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((not (n1)) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  ((bottom (connect (not (n0)) zenon_X76)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((connect (not (and (n1) (n1))) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((bottom (connect (not (and (n1) (n0))) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (zenon_X87 != (nil))
% 0.54/0.73  ((bottom (connect (not zenon_X70) (or (n1) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((n0) != zenon_X14)
% 0.54/0.73  ((connect zenon_X39 zenon_X40) != (or (n1) (n1)))
% 0.54/0.73  (circuit (top (connect (and zenon_X2 zenon_X0) zenon_X1)) (middle zenon_X2) (bottom (connect (and zenon_X2 zenon_X3) (nil))))
% 0.54/0.73  ((connect (not zenon_X70) (and (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((connect zenon_X34 (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((and (n0) (n0)) != (not (nil)))
% 0.54/0.73  (zenon_X14 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  ((connect zenon_X30 zenon_X31) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (circuit (top (connect (or zenon_X7 zenon_X5) zenon_X6)) (middle zenon_X7) (bottom (connect (or zenon_X7 zenon_X8) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (or (n1) (n1))) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (or (n0) (n0))) (not (nil)))))
% 0.54/0.73  ((connect zenon_X39 zenon_X40) != (and (n1) (n0)))
% 0.54/0.73  (zenon_X84 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((bottom (connect (not zenon_X70) zenon_X71)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (zenon_X74 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (and (n0) (n1))) zenon_X87)))
% 0.54/0.73  ((connect (not (not (n0))) (not (nil))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((connect (not (or (n0) (n1))) zenon_X86) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (circuit (top (connect (or zenon_X17 zenon_X15) zenon_X16)) (nil) (bottom (connect (or zenon_X17 zenon_X18) (and (n1) (n1)))))
% 0.54/0.73  ((bottom (connect (not (n1)) zenon_X77)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom (connect (not (or (n0) (n1))) zenon_X86)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((not (or (n0) (n1))) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.73  (zenon_X78 != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((or zenon_X57 zenon_X58) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.73  (circuit (top zenon_X60) (middle (not zenon_X61)) (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (zenon_X73 != (not (nil)))
% 0.54/0.73  ((table (n0) (n0) (n1) (n1)) != (not (n0)))
% 0.54/0.73  (zenon_X14 != (and (n1) (n1)))
% 0.54/0.73  ((bottom (connect (not (or (n1) (n0))) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (zenon_X91 != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((bottom (connect (not (and (n1) (n1))) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((middle (and zenon_X20 zenon_X22)) != (not (nil)))
% 0.54/0.73  ((bottom (connect (or zenon_X43 zenon_X44) (connect zenon_X44 zenon_X45))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((table (n0) (n1) (n0) (n1)) != (not (n0)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (or (n0) (n0))) (nil))))
% 0.54/0.73  ((n1) != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  ((connect (not (not (nil))) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  (zenon_X82 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (nil)) zenon_X72)))
% 0.54/0.73  ((middle (not zenon_X90)) != (not (nil)))
% 0.54/0.73  (circuit (top (connect (and zenon_X12 zenon_X10) zenon_X11)) (nil) (bottom (connect (and zenon_X12 zenon_X13) (n1))))
% 0.54/0.73  (zenon_X19 != (or (n1) (n1)))
% 0.54/0.73  ((bottom (connect (not (or (n0) (n1))) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom (connect (not (not (n0))) zenon_X81)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((and (n1) (n0)) != (or (n0) (n1)))
% 0.54/0.73  ((not (and (n1) (n0))) != (table (n0) (n0) (n1) (n1)))
% 0.54/0.73  ((connect (or zenon_X17 zenon_X18) (n0)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((and (n1) (n0)) != (not (nil)))
% 0.54/0.73  (zenon_X71 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  ((or (n0) (n0)) != (and (n1) (n1)))
% 0.54/0.73  ((connect (not (and (n0) (n0))) zenon_X78) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((bottom (connect (not (not (n1))) zenon_X79)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((not (n1)) != (or (n1) (n0)))
% 0.54/0.73  ((bottom (connect (not (not (n0))) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom (connect (not (or (n1) (n1))) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom (connect (and zenon_X12 zenon_X13) (n1))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (and (n0) (n0))) zenon_X78)))
% 0.54/0.73  ((not zenon_X70) != (not (nil)))
% 0.54/0.73  ((connect (not (and (n1) (n0))) zenon_X80) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((connect zenon_X44 zenon_X45) != (or (n1) (n1)))
% 0.54/0.73  ((bottom (connect (not (and (n0) (n0))) zenon_X78)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (zenon_X87 != (not (nil)))
% 0.54/0.73  (zenon_X83 != (not (nil)))
% 0.54/0.73  ((table (n0) (n1) (n0) (n1)) != (table (n1) (n1) (n1) (n1)))
% 0.54/0.73  ((bottom (connect (not zenon_X70) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom (connect (or zenon_X17 zenon_X18) (or (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom (connect (not (and (n0) (n1))) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (zenon_X89 != (table (n0) (n0) (n0) (n0)))
% 0.54/0.73  ((connect (and zenon_X12 zenon_X13) (and (n0) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((table (n0) (n1) (n0) (n1)) != (not (n1)))
% 0.54/0.73  ((connect (or zenon_X57 zenon_X58) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((table (n0) (n0) (n1) (n1)) != (not (nil)))
% 0.54/0.73  ((connect (or zenon_X17 zenon_X18) (and (n1) (n0))) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((nil) != (table (n0) (n1) (n0) (n1)))
% 0.54/0.73  ((bottom (connect (not (or (n0) (n0))) (table (n1) (n1) (n1) (n1)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((table (n0) (n0) (n1) (n1)) != (or (n0) (n0)))
% 0.54/0.73  (zenon_X71 != (and (n1) (n0)))
% 0.54/0.73  ((table (n0) (n0) (n1) (n1)) != (or (n0) (n1)))
% 0.54/0.73  ((n1) != (connect zenon_X44 zenon_X45))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (or (n1) (n0))) (not (nil)))))
% 0.54/0.73  (circuit (top (connect zenon_X28 zenon_X29)) (middle (and zenon_X28 zenon_X30)) (bottom (connect zenon_X30 (table (n1) (n1) (n1) (n1)))))
% 0.54/0.73  ((bottom (connect (or zenon_X7 zenon_X8) zenon_X9)) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((connect (not (and (n1) (n0))) (nil)) != (connect (table (n0) (n0) (n1) (n1)) (nil)))
% 0.54/0.73  ((bottom (connect (or zenon_X7 zenon_X8) (not (nil)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom zenon_X91) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (zenon_X19 != (nil))
% 0.54/0.73  (circuit (top (connect (or zenon_X17 zenon_X15) zenon_X16)) (nil) (bottom (connect (or zenon_X17 zenon_X18) (nil))))
% 0.54/0.73  (zenon_X59 != (nil))
% 0.54/0.73  (circuit (top (connect (and zenon_X2 zenon_X0) zenon_X1)) (middle zenon_X2) (bottom (connect (and zenon_X2 zenon_X3) (table (n1) (n1) (n1) (n1)))))
% 0.54/0.73  (circuit (top (connect (or zenon_X17 zenon_X15) zenon_X16)) (nil) (bottom (connect (or zenon_X17 zenon_X18) (not (n0)))))
% 0.54/0.73  (circuit (top (connect (not zenon_X68) zenon_X69)) (nil) (bottom (connect (not (or (n0) (n1))) (table (n0) (n0) (n0) (n0)))))
% 0.54/0.73  ((table (n0) (n1) (n0) (n1)) != (or (n0) (n1)))
% 0.54/0.73  ((bottom (connect (and zenon_X50 zenon_X51) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  (circuit (top (connect (table (n0) (n1) (n0) (n1)) (nil))) (middle (not zenon_X90)) (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  ((bottom (connect (or zenon_X7 zenon_X8) (table (n0) (n0) (n0) (n0)))) != (bottom (connect (table (n0) (n0) (n1) (n1)) (nil))))
% 0.54/0.73  *)
% 0.54/0.73  (* NO-PROOF *)
% 0.54/0.73  % SZS status GaveUp
% 0.54/0.73  nodes searched: 3023
% 0.54/0.73  max branch formulas: 1143
% 0.54/0.73  proof nodes created: 300
% 0.54/0.73  formulas created: 8445
% 0.54/0.73  
%------------------------------------------------------------------------------