fond
Model Checking Contest @ Petri Nets 2015
Bruxelles, Belgium, June 23, 2015
Execution of r005kn-ebro-143214234200259
Last Updated
August 19, 2015

About the Execution of ITS-Tools for CSRepetitions-PT-10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15952.280 1243855.00 3762033.00 1888.30 ?FT???TFFTFTT?F? normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..............
=====================================================================
Generated by BenchKit 2-2265
Executing tool itstools
Input is CSRepetitions-PT-10, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r005kn-ebro-143214234200259
=====================================================================


--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CSRepetitions-COL-10-ReachabilityFireability-0
FORMULA_NAME CSRepetitions-COL-10-ReachabilityFireability-1
FORMULA_NAME CSRepetitions-COL-10-ReachabilityFireability-10
FORMULA_NAME CSRepetitions-COL-10-ReachabilityFireability-11
FORMULA_NAME CSRepetitions-COL-10-ReachabilityFireability-12
FORMULA_NAME CSRepetitions-COL-10-ReachabilityFireability-13
FORMULA_NAME CSRepetitions-COL-10-ReachabilityFireability-14
FORMULA_NAME CSRepetitions-COL-10-ReachabilityFireability-15
FORMULA_NAME CSRepetitions-COL-10-ReachabilityFireability-2
FORMULA_NAME CSRepetitions-COL-10-ReachabilityFireability-3
FORMULA_NAME CSRepetitions-COL-10-ReachabilityFireability-4
FORMULA_NAME CSRepetitions-COL-10-ReachabilityFireability-5
FORMULA_NAME CSRepetitions-COL-10-ReachabilityFireability-6
FORMULA_NAME CSRepetitions-COL-10-ReachabilityFireability-7
FORMULA_NAME CSRepetitions-COL-10-ReachabilityFireability-8
FORMULA_NAME CSRepetitions-COL-10-ReachabilityFireability-9

=== Now, execution of the tool begins

BK_START 1432303804726

FORMULA CSRepetitions-COL-10-ReachabilityFireability-15 FALSE TECHNIQUES TOPOLOGICAL
FORMULA CSRepetitions-COL-10-ReachabilityFireability-14 TRUE TECHNIQUES TOPOLOGICAL
FORMULA CSRepetitions-COL-10-ReachabilityFireability-8 FALSE TECHNIQUES TOPOLOGICAL
FORMULA CSRepetitions-COL-10-ReachabilityFireability-6 TRUE TECHNIQUES TOPOLOGICAL
FORMULA CSRepetitions-COL-10-ReachabilityFireability-4 FALSE TECHNIQUES TOPOLOGICAL
FORMULA CSRepetitions-COL-10-ReachabilityFireability-2 FALSE TECHNIQUES TOPOLOGICAL
FORMULA CSRepetitions-COL-10-ReachabilityFireability-1 FALSE TECHNIQUES TOPOLOGICAL
work folder: /home/mcc/execution
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
sat
FORMULA CSRepetitions-COL-10-ReachabilityFireability-3 TRUE TECHNIQUES SAT_SMT COLLATERAL_PROCESSING
sat
FORMULA CSRepetitions-COL-10-ReachabilityFireability-5 TRUE TECHNIQUES SAT_SMT COLLATERAL_PROCESSING
unsat
unsat
sat
FORMULA CSRepetitions-COL-10-ReachabilityFireability-10 TRUE TECHNIQUES SAT_SMT COLLATERAL_PROCESSING
unsat
work folder: /home/mcc/execution

BK_STOP 1432305048581

--------------------
content from stderr:

Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=512m; support was removed in 8.0
May 22, 2015 2:10:14 PM fr.lip6.move.gal.application.Application transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
May 22, 2015 2:10:14 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 297 ms
May 22, 2015 2:10:14 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 1311 places.
May 22, 2015 2:10:14 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 2300 transitions.
May 22, 2015 2:10:20 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property CSRepetitions-COL-10-ReachabilityFireability-1 is trivially false : it is not verified in initial state.
May 22, 2015 2:10:20 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property CSRepetitions-COL-10-ReachabilityFireability-2 is trivially false : it is not verified in initial state.
May 22, 2015 2:10:20 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property CSRepetitions-COL-10-ReachabilityFireability-4 is trivially false : it is not verified in initial state.
May 22, 2015 2:10:20 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property CSRepetitions-COL-10-ReachabilityFireability-6 is trivially true : it is verified in initial state.
May 22, 2015 2:10:20 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property CSRepetitions-COL-10-ReachabilityFireability-8 is trivially false : it is not verified in initial state.
May 22, 2015 2:10:20 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property CSRepetitions-COL-10-ReachabilityFireability-14 is trivially true : it is verified in initial state.
May 22, 2015 2:10:20 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property CSRepetitions-COL-10-ReachabilityFireability-15 is trivially false : it is not verified in initial state.
May 22, 2015 2:10:20 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property CSRepetitions-COL-10-ReachabilityFireability-1 is trivially false : it is not verified in initial state.
May 22, 2015 2:10:20 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property CSRepetitions-COL-10-ReachabilityFireability-2 is trivially false : it is not verified in initial state.
May 22, 2015 2:10:20 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property CSRepetitions-COL-10-ReachabilityFireability-4 is trivially false : it is not verified in initial state.
May 22, 2015 2:10:20 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property CSRepetitions-COL-10-ReachabilityFireability-6 is trivially true : it is verified in initial state.
May 22, 2015 2:10:20 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property CSRepetitions-COL-10-ReachabilityFireability-8 is trivially false : it is not verified in initial state.
May 22, 2015 2:10:20 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property CSRepetitions-COL-10-ReachabilityFireability-14 is trivially true : it is verified in initial state.
May 22, 2015 2:10:20 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property CSRepetitions-COL-10-ReachabilityFireability-15 is trivially false : it is not verified in initial state.
May 22, 2015 2:10:20 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1027 ms
May 22, 2015 2:10:21 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityFireability.gal : 138 ms
May 22, 2015 2:10:21 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: No display to refresh.
May 22, 2015 2:10:21 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSTools
INFO: Time to serialize properties into /home/mcc/execution/ReachabilityFireability.prop : 176 ms
May 22, 2015 2:10:22 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1841 ms
May 22, 2015 2:10:22 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1700 ms
May 22, 2015 2:10:23 PM fr.lip6.move.gal.cegar.support.SupportManager computeSupport
INFO: For property CSRepetitions-COL-10-ReachabilityFireability-0:[reachable] : ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((Client_Sending_79>=1)&&(Server_Anwering_79_10>=1))||((Server_Anwering_9_7>=1)&&(Client_Sending_9>=1)))||((Client_Sending_36>=1)&&(Server_Anwering_36_8>=1)))||((Client_Sending_9>=1)&&(Server_Anwering_9_1>=1)))||((Server_Anwering_9_8>=1)&&(Client_Sending_9>=1)))||((Server_Anwering_65_7>=1)&&(Client_Sending_65>=1)))||((Server_Anwering_25_6>=1)&&(Client_Sending_25>=1)))||((Client_Sending_52>=1)&&(Server_Anwering_52_10>=1)))||((Server_Anwering_46_10>=1)&&(Client_Sending_46>=1)))||((Client_Sending_88>=1)&&(Server_Anwering_88_2>=1)))||((Client_Sending_87>=1)&&(Server_Anwering_87_4>=1)))||((Client_Sending_18>=1)&&(Server_Anwering_18_8>=1)))||((Client_Sending_67>=1)&&(Server_Anwering_67_9>=1)))||((Client_Sending_23>=1)&&(Server_Anwering_23_1>=1)))||((Server_Anwering_86_4>=1)&&(Client_Sending_86>=1)))||((Client_Sending_68>=1)&&(Server_Anwering_68_4>=1)))||((Client_Sending_59>=1)&&(Server_Anwering_59_3>=1)))||((Server_Anwering_31_3>=1)&&(Client_Sending_31>=1)))||((Server_Anwering_59_6>=1)&&(Client_Sending_59>=1)))||((Client_Sending_42>=1)&&(Server_Anwering_42_3>=1)))||((Server_Anwering_62_5>=1)&&(Client_Sending_62>=1)))||((Client_Sending_83>=1)&&(Server_Anwering_83_2>=1)))||((Server_Anwering_37_10>=1)&&(Client_Sending_37>=1)))||((Server_Anwering_43_2>=1)&&(Client_Sending_43>=1)))||((Client_Sending_59>=1)&&(Server_Anwering_59_4>=1)))||((Client_Sending_73>=1)&&(Server_Anwering_73_2>=1)))||((Client_Sending_57>=1)&&(Server_Anwering_57_8>=1)))||((Client_Sending_7>=1)&&(Server_Anwering_7_6>=1)))||((Client_Sending_77>=1)&&(Server_Anwering_77_4>=1)))||((Client_Sending_6>=1)&&(Server_Anwering_6_3>=1)))||((Server_Anwering_83_3>=1)&&(Client_Sending_83>=1)))||((Server_Anwering_5_5>=1)&&(Client_Sending_5>=1)))||((Client_Sending_41>=1)&&(Server_Anwering_41_1>=1)))||((Server_Anwering_50_4>=1)&&(Client_Sending_50>=1)))||((Server_Anwering_44_1>=1)&&(Client_Sending_44>=1)))||((Server_Anwering_94_10>=1)&&(Client_Sending_94>=1)))||((Server_Anwering_78_2>=1)&&(Client_Sending_78>=1)))||((Client_Sending_51>=1)&&(Server_Anwering_51_5>=1)))||((Server_Anwering_72_1>=1)&&(Client_Sending_72>=1)))||((Server_Anwering_62_1>=1)&&(Client_Sending_62>=1)))||((Server_Anwering_10_10>=1)&&(Client_Sending_10>=1)))||((Client_Sending_40>=1)&&(Server_Anwering_40_6>=1)))||((Server_Anwering_39_4>=1)&&(Client_Sending_39>=1)))||((Server_Anwering_31_9>=1)&&(Client_Sending_31>=1)))||((Server_Anwering_1_4>=1)&&(Client_Sending_1>=1)))||((Server_Anwering_88_6>=1)&&(Client_Sending_88>=1)))||((Client_Sending_1>=1)&&(Server_Anwering_1_3>=1)))||((Server_Anwering_94_3>=1)&&(Client_Sending_94>=1)))||((Client_Sending_82>=1)&&(Server_Anwering_82_6>=1)))||((Server_Anwering_31_6>=1)&&(Client_Sending_31>=1)))||((Server_Anwering_21_3>=1)&&(Client_Sending_21>=1)))||((Client_Sending_17>=1)&&(Server_Anwering_17_9>=1)))||((Client_Sending_57>=1)&&(Server_Anwering_57_4>=1)))||((Server_Anwering_28_6>=1)&&(Client_Sending_28>=1)))||((Server_Anwering_15_7>=1)&&(Client_Sending_15>=1)))||((Client_Sending_89>=1)&&(Server_Anwering_89_8>=1)))||((Server_Anwering_96_8>=1)&&(Client_Sending_96>=1)))||((Client_Sending_34>=1)&&(Server_Anwering_34_1>=1)))||((Server_Anwering_18_6>=1)&&(Client_Sending_18>=1)))||((Client_Sending_44>=1)&&(Server_Anwering_44_5>=1)))||((Server_Anwering_73_6>=1)&&(Client_Sending_73>=1)))||((Server_Anwering_8_5>=1)&&(Client_Sending_8>=1)))||((Server_Anwering_81_1>=1)&&(Client_Sending_81>=1)))||((Client_Sending_24>=1)&&(Server_Anwering_24_5>=1)))||((Server_Anwering_95_1>=1)&&(Client_Sending_95>=1)))||((Server_Anwering_60_9>=1)&&(Client_Sending_60>=1)))||((Client_Sending_81>=1)&&(Server_Anwering_81_7>=1)))||((Server_Anwering_76_1>=1)&&(Client_Sending_76>=1)))||((Server_Anwering_39_3>=1)&&(Client_Sending_39>=1)))||((Server_Anwering_38_8>=1)&&(Client_Sending_38>=1)))||((Server_Anwering_46_9>=1)&&(Client_Sending_46>=1)))||((Client_Sending_66>=1)&&(Server_Anwering_66_8>=1)))||((Server_Anwering_96_6>=1)&&(Client_Sending_96>=1)))||((Server_Anwering_92_5>=1)&&(Client_Sending_92>=1)))||((Server_Anwering_70_6>=1)&&(Client_Sending_70>=1)))||((Server_Anwering_3_9>=1)&&(Client_Sending_3>=1)))||((Server_Anwering_97_6>=1)&&(Client_Sending_97>=1)))||((Client_Sending_96>=1)&&(Server_Anwering_96_4>=1)))||((Client_Sending_91>=1)&&(Server_Anwering_91_7>=1)))||((Client_Sending_6>=1)&&(Server_Anwering_6_2>=1)))||((Server_Anwering_80_6>=1)&&(Client_Sending_80>=1)))||((Client_Sending_90>=1)&&(Server_Anwering_90_7>=1)))||((Client_Sending_63>=1)&&(Server_Anwering_63_1>=1)))||((Server_Anwering_34_2>=1)&&(Client_Sending_34>=1)))||((Server_Anwering_24_10>=1)&&(Client_Sending_24>=1)))||((Client_Sending_43>=1)&&(Server_Anwering_43_10>=1)))||((Client_Sending_67>=1)&&(Server_Anwering_67_3>=1)))||((Server_Anwering_12_3>=1)&&(Client_Sending_12>=1)))||((Client_Sending_48>=1)&&(Server_Anwering_48_8>=1)))||((Server_Anwering_53_2>=1)&&(Client_Sending_53>=1)))||((Client_Sending_49>=1)&&(Server_Anwering_49_6>=1)))||((Client_Sending_100>=1)&&(Server_Anwering_100_7>=1)))||((Client_Sending_39>=1)&&(Server_Anwering_39_8>=1)))||((Client_Sending_4>=1)&&(Server_Anwering_4_4>=1)))||((Client_Sending_77>=1)&&(Server_Anwering_77_6>=1)))||((Client_Sending_14>=1)&&(Server_Anwering_14_5>=1)))||((Server_Anwering_11_4>=1)&&(Client_Sending_11>=1)))||((Server_Anwering_37_4>=1)&&(Client_Sending_37>=1)))||((Server_Anwering_67_8>=1)&&(Client_Sending_67>=1)))||((Client_Sending_20>=1)&&(Server_Anwering_20_6>=1)))||((Server_Anwering_30_3>=1)&&(Client_Sending_30>=1)))||((Client_Sending_22>=1)&&(Server_Anwering_22_4>=1)))||((Client_Sending_50>=1)&&(Server_Anwering_50_2>=1)))||((Client_Sending_57>=1)&&(Server_Anwering_57_3>=1)))||((Client_Sending_72>=1)&&(Server_Anwering_72_10>=1)))||((Client_Sending_29>=1)&&(Server_Anwering_29_8>=1)))||((Server_Anwering_40_2>=1)&&(Client_Sending_40>=1)))||((Client_Sending_15>=1)&&(Server_Anwering_15_5>=1)))||((Client_Sending_23>=1)&&(Server_Anwering_23_2>=1)))||((Client_Sending_53>=1)&&(Server_Anwering_53_7>=1)))||((Server_Anwering_45_9>=1)&&(Client_Sending_45>=1)))||((Server_Anwering_30_4>=1)&&(Client_Sending_30>=1)))||((Server_Anwering_84_3>=1)&&(Client_Sending_84>=1)))||((Client_Sending_60>=1)&&(Server_Anwering_60_2>=1)))||((Client_Sending_88>=1)&&(Server_Anwering_88_9>=1)))||((Server_Anwering_52_6>=1)&&(Client_Sending_52>=1)))||((Client_Sending_53>=1)&&(Server_Anwering_53_9>=1)))||((Client_Sending_15>=1)&&(Server_Anwering_15_10>=1)))||((Server_Anwering_19_8>=1)&&(Client_Sending_19>=1)))||((Client_Sending_18>=1)&&(Server_Anwering_18_9>=1)))||((Server_Anwering_53_1>=1)&&(Client_Sending_53>=1)))||((Client_Sending_37>=1)&&(Server_Anwering_37_2>=1)))||((Client_Sending_33>=1)&&(Server_Anwering_33_5>=1)))||((Server_Anwering_56_2>=1)&&(Client_Sending_56>=1)))||((Server_Anwering_20_8>=1)&&(Client_Sending_20>=1)))||((Server_Anwering_65_9>=1)&&(Client_Sending_65>=1)))||((Client_Sending_69>=1)&&(Server_Anwering_69_4>=1)))||((Client_Sending_69>=1)&&(Server_Anwering_69_5>=1)))||((Server_Anwering_74_8>=1)&&(Client_Sending_74>=1)))||((Server_Anwering_62_3>=1)&&(Client_Sending_62>=1)))||((Server_Anwering_90_4>=1)&&(Client_Sending_90>=1)))||((Server_Anwering_90_8>=1)&&(Client_Sending_90>=1)))||((Server_Anwering_23_10>=1)&&(Client_Sending_23>=1)))||((Client_Sending_97>=1)&&(Server_Anwering_97_5>=1)))||((Server_Anwering_46_8>=1)&&(Client_Sending_46>=1)))||((Client_Sending_3>=1)&&(Server_Anwering_3_10>=1)))||((Server_Anwering_17_2>=1)&&(Client_Sending_17>=1)))||((Client_Sending_26>=1)&&(Server_Anwering_26_1>=1)))||((Server_Anwering_9_2>=1)&&(Client_Sending_9>=1)))||((Server_Anwering_23_3>=1)&&(Client_Sending_23>=1)))||((Server_Anwering_82_5>=1)&&(Client_Sending_82>=1)))||((Client_Sending_84>=1)&&(Server_Anwering_84_8>=1)))||((Server_Anwering_87_2>=1)&&(Client_Sending_87>=1)))||((Client_Sending_92>=1)&&(Server_Anwering_92_7>=1)))||((Server_Anwering_91_8>=1)&&(Client_Sending_91>=1)))||((Server_Anwering_59_10>=1)&&(Client_Sending_59>=1)))||((Client_Sending_84>=1)&&(Server_Anwering_84_1>=1)))||((Client_Sending_56>=1)&&(Server_Anwering_56_9>=1)))||((Server_Anwering_31_1>=1)&&(Client_Sending_31>=1)))||((Client_Sending_12>=1)&&(Server_Anwering_12_10>=1)))||((Server_Anwering_87_10>=1)&&(Client_Sending_87>=1)))||((Server_Anwering_10_6>=1)&&(Client_Sending_10>=1)))||((Client_Sending_7>=1)&&(Server_Anwering_7_7>=1)))||((Client_Sending_77>=1)&&(Server_Anwering_77_10>=1)))||((Client_Sending_97>=1)&&(Server_Anwering_97_4>=1)))||((Client_Sending_79>=1)&&(Server_Anwering_79_5>=1)))||((Server_Anwering_1_1>=1)&&(Client_Sending_1>=1)))||((Server_Anwering_62_4>=1)&&(Client_Sending_62>=1)))||((Client_Sending_97>=1)&&(Server_Anwering_97_10>=1)))||((Client_Sending_2>=1)&&(Server_Anwering_2_10>=1)))||((Client_Sending_25>=1)&&(Server_Anwering_25_7>=1)))||((Client_Sending_32>=1)&&(Server_Anwering_32_4>=1)))||((Server_Anwering_44_3>=1)&&(Client_Sending_44>=1)))||((Server_Anwering_44_6>=1)&&(Client_Sending_44>=1)))||((Client_Sending_9>=1)&&(Server_Anwering_9_10>=1)))||((Client_Sending_56>=1)&&(Server_Anwering_56_8>=1)))||((Client_Sending_18>=1)&&(Server_Anwering_18_7>=1)))||((Server_Anwering_54_7>=1)&&(Client_Sending_54>=1)))||((Server_Anwering_100_8>=1)&&(Client_Sending_100>=1)))||((Server_Anwering_2_4>=1)&&(Client_Sending_2>=1)))||((Server_Anwering_24_9>=1)&&(Client_Sending_24>=1)))||((Client_Sending_81>=1)&&(Server_Anwering_81_9>=1)))||((Server_Anwering_68_10>=1)&&(Client_Sending_68>=1)))||((Server_Anwering_87_6>=1)&&(Client_Sending_87>=1)))||((Client_Sending_42>=1)&&(Server_Anwering_42_5>=1)))||((Server_Anwering_51_10>=1)&&(Client_Sending_51>=1)))||((Server_Anwering_66_7>=1)&&(Client_Sending_66>=1)))||((Client_Sending_73>=1)&&(Server_Anwering_73_7>=1)))||((Server_Anwering_28_7>=1)&&(Client_Sending_28>=1)))||((Client_Sending_35>=1)&&(Server_Anwering_35_7>=1)))||((Client_Sending_86>=1)&&(Server_Anwering_86_10>=1)))||((Server_Anwering_75_8>=1)&&(Client_Sending_75>=1)))||((Server_Anwering_12_2>=1)&&(Client_Sending_12>=1)))||((Client_Sending_98>=1)&&(Server_Anwering_98_2>=1)))||((Client_Sending_36>=1)&&(Server_Anwering_36_1>=1)))||((Server_Anwering_52_5>=1)&&(Client_Sending_52>=1)))||((Server_Anwering_49_1>=1)&&(Client_Sending_49>=1)))||((Client_Sending_49>=1)&&(Server_Anwering_49_4>=1)))||((Server_Anwering_9_9>=1)&&(Client_Sending_9>=1)))||((Client_Sending_15>=1)&&(Server_Anwering_15_1>=1)))||((Server_Anwering_16_3>=1)&&(Client_Sending_16>=1)))||((Client_Sending_34>=1)&&(Server_Anwering_34_6>=1)))||((Server_Anwering_100_6>=1)&&(Client_Sending_100>=1)))||((Client_Sending_72>=1)&&(Server_Anwering_72_6>=1)))||((Server_Anwering_70_1>=1)&&(Client_Sending_70>=1)))||((Server_Anwering_76_4>=1)&&(Client_Sending_76>=1)))||((Server_Anwering_74_9>=1)&&(Client_Sending_74>=1)))||((Client_Sending_28>=1)&&(Server_Anwering_28_8>=1)))||((Client_Sending_27>=1)&&(Server_Anwering_27_4>=1)))||((Client_Sending_48>=1)&&(Server_Anwering_48_7>=1)))||((Client_Sending_67>=1)&&(Server_Anwering_67_10>=1)))||((Server_Anwering_98_1>=1)&&(Client_Sending_98>=1)))||((Client_Sending_65>=1)&&(Server_Anwering_65_3>=1)))||((Server_Anwering_83_4>=1)&&(Client_Sending_83>=1)))||((Client_Sending_3>=1)&&(Server_Anwering_3_4>=1)))||((Server_Anwering_84_9>=1)&&(Client_Sending_84>=1)))||((Server_Anwering_21_4>=1)&&(Client_Sending_21>=1)))||((Server_Anwering_39_5>=1)&&(Client_Sending_39>=1)))||((Server_Anwering_45_2>=1)&&(Client_Sending_45>=1)))||((Server_Anwering_82_7>=1)&&(Client_Sending_82>=1)))||((Server_Anwering_93_3>=1)&&(Client_Sending_93>=1)))||((Server_Anwering_60_5>=1)&&(Client_Sending_60>=1)))||((Client_Sending_17>=1)&&(Server_Anwering_17_3>=1)))||((Client_Sending_9>=1)&&(Server_Anwering_9_3>=1)))||((Client_Sending_44>=1)&&(Server_Anwering_44_10>=1)))||((Client_Sending_89>=1)&&(Server_Anwering_89_1>=1)))||((Server_Anwering_76_8>=1)&&(Client_Sending_76>=1)))||((Server_Anwering_58_4>=1)&&(Client_Sending_58>=1)))||((Client_Sending_31>=1)&&(Server_Anwering_31_8>=1)))||((Client_Sending_62>=1)&&(Server_Anwering_62_6>=1)))||((Server_Anwering_8_1>=1)&&(Client_Sending_8>=1)))||((Server_Anwering_70_2>=1)&&(Client_Sending_70>=1)))||((Client_Sending_32>=1)&&(Server_Anwering_32_5>=1)))||((Server_Anwering_12_4>=1)&&(Client_Sending_12>=1)))||((Server_Anwering_38_3>=1)&&(Client_Sending_38>=1)))||((Server_Anwering_99_3>=1)&&(Client_Sending_99>=1)))||((Client_Sending_67>=1)&&(Server_Anwering_67_6>=1)))||((Client_Sending_32>=1)&&(Server_Anwering_32_2>=1)))||((Client_Sending_40>=1)&&(Server_Anwering_40_4>=1)))||((Server_Anwering_10_8>=1)&&(Client_Sending_10>=1)))||((Client_Sending_75>=1)&&(Server_Anwering_75_3>=1)))||((Client_Sending_85>=1)&&(Server_Anwering_85_6>=1)))||((Server_Anwering_40_3>=1)&&(Client_Sending_40>=1)))||((Client_Sending_75>=1)&&(Server_Anwering_75_9>=1)))||((Client_Sending_77>=1)&&(Server_Anwering_77_1>=1)))||((Client_Sending_41>=1)&&(Server_Anwering_41_6>=1)))||((Client_Sending_38>=1)&&(Server_Anwering_38_10>=1)))||((Server_Anwering_49_8>=1)&&(Client_Sending_49>=1)))||((Client_Sending_16>=1)&&(Server_Anwering_16_10>=1)))||((Server_Anwering_84_2>=1)&&(Client_Sending_84>=1)))||((Server_Anwering_59_2>=1)&&(Client_Sending_59>=1)))||((Client_Sending_30>=1)&&(Server_Anwering_30_10>=1)))||((Client_Sending_12>=1)&&(Server_Anwering_12_6>=1)))||((Client_Sending_92>=1)&&(Server_Anwering_92_3>=1)))||((Client_Sending_98>=1)&&(Server_Anwering_98_8>=1)))||((Server_Anwering_83_9>=1)&&(Client_Sending_83>=1)))||((Server_Anwering_16_1>=1)&&(Client_Sending_16>=1)))||((Client_Sending_84>=1)&&(Server_Anwering_84_5>=1)))||((Server_Anwering_81_5>=1)&&(Client_Sending_81>=1)))||((Server_Anwering_70_4>=1)&&(Client_Sending_70>=1)))||((Client_Sending_67>=1)&&(Server_Anwering_67_2>=1)))||((Server_Anwering_78_10>=1)&&(Client_Sending_78>=1)))||((Client_Sending_70>=1)&&(Server_Anwering_70_5>=1)))||((Client_Sending_90>=1)&&(Server_Anwering_90_6>=1)))||((Client_Sending_8>=1)&&(Server_Anwering_8_9>=1)))||((Server_Anwering_96_10>=1)&&(Client_Sending_96>=1)))||((Client_Sending_95>=1)&&(Server_Anwering_95_2>=1)))||((Client_Sending_31>=1)&&(Server_Anwering_31_4>=1)))||((Server_Anwering_36_7>=1)&&(Client_Sending_36>=1)))||((Client_Sending_43>=1)&&(Server_Anwering_43_6>=1)))||((Client_Sending_89>=1)&&(Server_Anwering_89_7>=1)))||((Client_Sending_24>=1)&&(Server_Anwering_24_3>=1)))||((Server_Anwering_42_6>=1)&&(Client_Sending_42>=1)))||((Server_Anwering_20_4>=1)&&(Client_Sending_20>=1)))||((Client_Sending_3>=1)&&(Server_Anwering_3_5>=1)))||((Server_Anwering_36_9>=1)&&(Client_Sending_36>=1)))||((Client_Sending_63>=1)&&(Server_Anwering_63_7>=1)))||((Server_Anwering_76_2>=1)&&(Client_Sending_76>=1)))||((Client_Sending_98>=1)&&(Server_Anwering_98_6>=1)))||((Client_Sending_54>=1)&&(Server_Anwering_54_3>=1)))||((Client_Sending_54>=1)&&(Server_Anwering_54_5>=1)))||((Client_Sending_26>=1)&&(Server_Anwering_26_7>=1)))||((Server_Anwering_21_10>=1)&&(Client_Sending_21>=1)))||((Client_Sending_73>=1)&&(Server_Anwering_73_3>=1)))||((Client_Sending_49>=1)&&(Server_Anwering_49_10>=1)))||((Server_Anwering_58_10>=1)&&(Client_Sending_58>=1)))||((Server_Anwering_4_3>=1)&&(Client_Sending_4>=1)))||((Client_Sending_8>=1)&&(Server_Anwering_8_7>=1)))||((Client_Sending_69>=1)&&(Server_Anwering_69_1>=1)))||((Server_Anwering_98_5>=1)&&(Client_Sending_98>=1)))||((Client_Sending_12>=1)&&(Server_Anwering_12_8>=1)))||((Server_Anwering_25_1>=1)&&(Client_Sending_25>=1)))||((Client_Sending_73>=1)&&(Server_Anwering_73_8>=1)))||((Client_Sending_83>=1)&&(Server_Anwering_83_8>=1)))||((Server_Anwering_68_3>=1)&&(Client_Sending_68>=1)))||((Client_Sending_9>=1)&&(Server_Anwering_9_6>=1)))||((Client_Sending_41>=1)&&(Server_Anwering_41_4>=1)))||((Server_Anwering_75_1>=1)&&(Client_Sending_75>=1)))||((Server_Anwering_4_2>=1)&&(Client_Sending_4>=1)))||((Server_Anwering_75_4>=1)&&(Client_Sending_75>=1)))||((Server_Anwering_92_9>=1)&&(Client_Sending_92>=1)))||((Server_Anwering_99_10>=1)&&(Client_Sending_99>=1)))||((Client_Sending_28>=1)&&(Server_Anwering_28_1>=1)))||((Client_Sending_40>=1)&&(Server_Anwering_40_10>=1)))||((Client_Sending_61>=1)&&(Server_Anwering_61_2>=1)))||((Client_Sending_88>=1)&&(Server_Anwering_88_10>=1)))||((Client_Sending_55>=1)&&(Server_Anwering_55_8>=1)))||((Server_Anwering_11_5>=1)&&(Client_Sending_11>=1)))||((Server_Anwering_61_5>=1)&&(Client_Sending_61>=1)))||((Server_Anwering_26_2>=1)&&(Client_Sending_26>=1)))||((Client_Sending_11>=1)&&(Server_Anwering_11_10>=1)))||((Server_Anwering_48_2>=1)&&(Client_Sending_48>=1)))||((Server_Anwering_87_5>=1)&&(Client_Sending_87>=1)))||((Client_Sending_81>=1)&&(Server_Anwering_81_2>=1)))||((Server_Anwering_98_4>=1)&&(Client_Sending_98>=1)))||((Client_Sending_33>=1)&&(Server_Anwering_33_6>=1)))||((Server_Anwering_55_7>=1)&&(Client_Sending_55>=1)))||((Server_Anwering_60_10>=1)&&(Client_Sending_60>=1)))||((Client_Sending_66>=1)&&(Server_Anwering_66_9>=1)))||((Server_Anwering_2_1>=1)&&(Client_Sending_2>=1)))||((Client_Sending_37>=1)&&(Server_Anwering_37_3>=1)))||((Server_Anwering_91_3>=1)&&(Client_Sending_91>=1)))||((Client_Sending_56>=1)&&(Server_Anwering_56_1>=1)))||((Client_Sending_100>=1)&&(Server_Anwering_100_3>=1)))||((Server_Anwering_93_1>=1)&&(Client_Sending_93>=1)))||((Client_Sending_20>=1)&&(Server_Anwering_20_1>=1)))||((Client_Sending_94>=1)&&(Server_Anwering_94_9>=1)))||((Client_Sending_28>=1)&&(Server_Anwering_28_4>=1)))||((Client_Sending_42>=1)&&(Server_Anwering_42_2>=1)))||((Server_Anwering_6_7>=1)&&(Client_Sending_6>=1)))||((Server_Anwering_64_7>=1)&&(Client_Sending_64>=1)))||((Server_Anwering_4_10>=1)&&(Client_Sending_4>=1)))||((Server_Anwering_7_1>=1)&&(Client_Sending_7>=1)))||((Server_Anwering_6_4>=1)&&(Client_Sending_6>=1)))||((Client_Sending_85>=1)&&(Server_Anwering_85_10>=1)))||((Server_Anwering_3_2>=1)&&(Client_Sending_3>=1)))||((Client_Sending_22>=1)&&(Server_Anwering_22_10>=1)))||((Client_Sending_31>=1)&&(Server_Anwering_31_10>=1)))||((Server_Anwering_69_8>=1)&&(Client_Sending_69>=1)))||((Client_Sending_15>=1)&&(Server_Anwering_15_6>=1)))||((Server_Anwering_1_10>=1)&&(Client_Sending_1>=1)))||((Server_Anwering_14_2>=1)&&(Client_Sending_14>=1)))||((Server_Anwering_25_4>=1)&&(Client_Sending_25>=1)))||((Server_Anwering_19_9>=1)&&(Client_Sending_19>=1)))||((Client_Sending_76>=1)&&(Server_Anwering_76_5>=1)))||((Client_Sending_61>=1)&&(Server_Anwering_61_6>=1)))||((Client_Sending_59>=1)&&(Server_Anwering_59_5>=1)))||((Server_Anwering_31_2>=1)&&(Client_Sending_31>=1)))||((Client_Sending_26>=1)&&(Server_Anwering_26_9>=1)))||((Server_Anwering_59_8>=1)&&(Client_Sending_59>=1)))||((Client_Sending_33>=1)&&(Server_Anwering_33_1>=1)))||((Server_Anwering_39_1>=1)&&(Client_Sending_39>=1)))||((Server_Anwering_31_5>=1)&&(Client_Sending_31>=1)))||((Client_Sending_26>=1)&&(Server_Anwering_26_6>=1)))||((Server_Anwering_84_4>=1)&&(Client_Sending_84>=1)))||((Client_Sending_78>=1)&&(Server_Anwering_78_3>=1)))||((Client_Sending_13>=1)&&(Server_Anwering_13_7>=1)))||((Server_Anwering_64_6>=1)&&(Client_Sending_64>=1)))||((Client_Sending_98>=1)&&(Server_Anwering_98_7>=1)))||((Client_Sending_24>=1)&&(Server_Anwering_24_2>=1)))||((Server_Anwering_60_8>=1)&&(Client_Sending_60>=1)))||((Server_Anwering_67_5>=1)&&(Client_Sending_67>=1)))||((Client_Sending_26>=1)&&(Server_Anwering_26_5>=1)))||((Server_Anwering_75_10>=1)&&(Client_Sending_75>=1)))||((Client_Sending_48>=1)&&(Server_Anwering_48_4>=1)))||((Client_Sending_56>=1)&&(Server_Anwering_56_7>=1)))||((Client_Sending_47>=1)&&(Server_Anwering_47_9>=1)))||((Client_Sending_17>=1)&&(Server_Anwering_17_8>=1)))||((Client_Sending_54>=1)&&(Server_Anwering_54_8>=1)))||((Server_Anwering_37_9>=1)&&(Client_Sending_37>=1)))||((Client_Sending_76>=1)&&(Server_Anwering_76_9>=1)))||((Client_Sending_45>=1)&&(Server_Anwering_45_3>=1)))||((Client_Sending_13>=1)&&(Server_Anwering_13_4>=1)))||((Client_Sending_55>=1)&&(Server_Anwering_55_4>=1)))||((Server_Anwering_48_1>=1)&&(Client_Sending_48>=1)))||((Client_Sending_17>=1)&&(Server_Anwering_17_6>=1)))||((Client_Sending_60>=1)&&(Server_Anwering_60_3>=1)))||((Client_Sending_85>=1)&&(Server_Anwering_85_3>=1)))||((Server_Anwering_21_2>=1)&&(Client_Sending_21>=1)))||((Server_Anwering_62_2>=1)&&(Client_Sending_62>=1)))||((Client_Sending_34>=1)&&(Server_Anwering_34_4>=1)))||((Client_Sending_58>=1)&&(Server_Anwering_58_9>=1)))||((Client_Sending_57>=1)&&(Server_Anwering_57_6>=1)))||((Server_Anwering_20_7>=1)&&(Client_Sending_20>=1)))||((Client_Sending_51>=1)&&(Server_Anwering_51_2>=1)))||((Client_Sending_91>=1)&&(Server_Anwering_91_9>=1)))||((Client_Sending_74>=1)&&(Server_Anwering_74_3>=1)))||((Client_Sending_90>=1)&&(Server_Anwering_90_5>=1)))||((Client_Sending_3>=1)&&(Server_Anwering_3_8>=1)))||((Client_Sending_19>=1)&&(Server_Anwering_19_4>=1)))||((Server_Anwering_18_3>=1)&&(Client_Sending_18>=1)))||((Server_Anwering_75_7>=1)&&(Client_Sending_75>=1)))||((Client_Sending_75>=1)&&(Server_Anwering_75_6>=1)))||((Server_Anwering_81_8>=1)&&(Client_Sending_81>=1)))||((Server_Anwering_70_7>=1)&&(Client_Sending_70>=1)))||((Server_Anwering_41_7>=1)&&(Client_Sending_41>=1)))||((Server_Anwering_39_10>=1)&&(Client_Sending_39>=1)))||((Client_Sending_84>=1)&&(Server_Anwering_84_7>=1)))||((Server_Anwering_42_4>=1)&&(Client_Sending_42>=1)))||((Server_Anwering_99_4>=1)&&(Client_Sending_99>=1)))||((Client_Sending_7>=1)&&(Server_Anwering_7_9>=1)))||((Client_Sending_89>=1)&&(Server_Anwering_89_10>=1)))||((Client_Sending_41>=1)&&(Server_Anwering_41_8>=1)))||((Client_Sending_29>=1)&&(Server_Anwering_29_9>=1)))||((Client_Sending_99>=1)&&(Server_Anwering_99_6>=1)))||((Server_Anwering_4_6>=1)&&(Client_Sending_4>=1)))||((Server_Anwering_78_1>=1)&&(Client_Sending_78>=1)))||((Server_Anwering_47_6>=1)&&(Client_Sending_47>=1)))||((Client_Sending_89>=1)&&(Server_Anwering_89_2>=1)))||((Client_Sending_89>=1)&&(Server_Anwering_89_5>=1)))||((Client_Sending_32>=1)&&(Server_Anwering_32_8>=1)))||((Client_Sending_40>=1)&&(Server_Anwering_40_5>=1)))||((Client_Sending_51>=1)&&(Server_Anwering_51_3>=1)))||((Client_Sending_96>=1)&&(Server_Anwering_96_1>=1)))||((Server_Anwering_93_9>=1)&&(Client_Sending_93>=1)))||((Client_Sending_29>=1)&&(Server_Anwering_29_10>=1)))||((Server_Anwering_47_7>=1)&&(Client_Sending_47>=1)))||((Server_Anwering_12_5>=1)&&(Client_Sending_12>=1)))||((Client_Sending_86>=1)&&(Server_Anwering_86_1>=1)))||((Server_Anwering_46_3>=1)&&(Client_Sending_46>=1)))||((Client_Sending_6>=1)&&(Server_Anwering_6_9>=1)))||((Server_Anwering_50_10>=1)&&(Client_Sending_50>=1)))||((Server_Anwering_47_8>=1)&&(Client_Sending_47>=1)))||((Client_Sending_27>=1)&&(Server_Anwering_27_7>=1)))||((Client_Sending_57>=1)&&(Server_Anwering_57_10>=1)))||((Client_Sending_42>=1)&&(Server_Anwering_42_1>=1)))||((Server_Anwering_86_6>=1)&&(Client_Sending_86>=1)))||((Server_Anwering_77_9>=1)&&(Client_Sending_77>=1)))||((Client_Sending_82>=1)&&(Server_Anwering_82_4>=1)))||((Client_Sending_86>=1)&&(Server_Anwering_86_3>=1)))||((Server_Anwering_32_10>=1)&&(Client_Sending_32>=1)))||((Client_Sending_11>=1)&&(Server_Anwering_11_2>=1)))||((Client_Sending_79>=1)&&(Server_Anwering_79_2>=1)))||((Server_Anwering_23_6>=1)&&(Client_Sending_23>=1)))||((Client_Sending_95>=1)&&(Server_Anwering_95_5>=1)))||((Server_Anwering_55_9>=1)&&(Client_Sending_55>=1)))||((Server_Anwering_83_1>=1)&&(Client_Sending_83>=1)))||((Client_Sending_90>=1)&&(Server_Anwering_90_10>=1)))||((Client_Sending_48>=1)&&(Server_Anwering_48_9>=1)))||((Server_Anwering_56_4>=1)&&(Client_Sending_56>=1)))||((Server_Anwering_11_8>=1)&&(Client_Sending_11>=1)))||((Server_Anwering_64_9>=1)&&(Client_Sending_64>=1)))||((Server_Anwering_70_10>=1)&&(Client_Sending_70>=1)))||((Server_Anwering_40_8>=1)&&(Client_Sending_40>=1)))||((Client_Sending_9>=1)&&(Server_Anwering_9_5>=1)))||((Server_Anwering_83_7>=1)&&(Client_Sending_83>=1)))||((Client_Sending_1>=1)&&(Server_Anwering_1_9>=1)))||((Client_Sending_29>=1)&&(Server_Anwering_29_2>=1)))||((Client_Sending_64>=1)&&(Server_Anwering_64_4>=1)))||((Server_Anwering_68_8>=1)&&(Client_Sending_68>=1)))||((Client_Sending_92>=1)&&(Server_Anwering_92_8>=1)))||((Client_Sending_97>=1)&&(Server_Anwering_97_2>=1)))||((Server_Anwering_30_1>=1)&&(Client_Sending_30>=1)))||((Client_Sending_56>=1)&&(Server_Anwering_56_10>=1)))||((Server_Anwering_14_7>=1)&&(Client_Sending_14>=1)))||((Server_Anwering_58_1>=1)&&(Client_Sending_58>=1)))||((Client_Sending_58>=1)&&(Server_Anwering_58_6>=1)))||((Server_Anwering_47_4>=1)&&(Client_Sending_47>=1)))||((Client_Sending_34>=1)&&(Server_Anwering_34_7>=1)))||((Client_Sending_20>=1)&&(Server_Anwering_20_9>=1)))||((Server_Anwering_90_2>=1)&&(Client_Sending_90>=1)))||((Server_Anwering_53_5>=1)&&(Client_Sending_53>=1)))||((Client_Sending_14>=1)&&(Server_Anwering_14_4>=1)))||((Client_Sending_53>=1)&&(Server_Anwering_53_3>=1)))||((Client_Sending_37>=1)&&(Server_Anwering_37_1>=1)))||((Server_Anwering_47_10>=1)&&(Client_Sending_47>=1)))||((Server_Anwering_63_3>=1)&&(Client_Sending_63>=1)))||((Client_Sending_84>=1)&&(Server_Anwering_84_10>=1)))||((Server_Anwering_78_6>=1)&&(Client_Sending_78>=1)))||((Server_Anwering_92_4>=1)&&(Client_Sending_92>=1)))||((Client_Sending_69>=1)&&(Server_Anwering_69_2>=1)))||((Server_Anwering_97_7>=1)&&(Client_Sending_97>=1)))||((Client_Sending_50>=1)&&(Server_Anwering_50_7>=1)))||((Server_Anwering_77_3>=1)&&(Client_Sending_77>=1)))||((Client_Sending_47>=1)&&(Server_Anwering_47_1>=1)))||((Server_Anwering_50_6>=1)&&(Client_Sending_50>=1)))||((Server_Anwering_86_9>=1)&&(Client_Sending_86>=1)))||((Client_Sending_61>=1)&&(Server_Anwering_61_10>=1)))||((Client_Sending_15>=1)&&(Server_Anwering_15_3>=1)))||((Server_Anwering_71_4>=1)&&(Client_Sending_71>=1)))||((Client_Sending_56>=1)&&(Server_Anwering_56_3>=1)))||((Client_Sending_69>=1)&&(Server_Anwering_69_6>=1)))||((Client_Sending_72>=1)&&(Server_Anwering_72_2>=1)))||((Client_Sending_34>=1)&&(Server_Anwering_34_9>=1)))||((Server_Anwering_14_10>=1)&&(Client_Sending_14>=1)))||((Server_Anwering_39_2>=1)&&(Client_Sending_39>=1)))||((Server_Anwering_40_1>=1)&&(Client_Sending_40>=1)))||((Server_Anwering_61_7>=1)&&(Client_Sending_61>=1)))||((Client_Sending_26>=1)&&(Server_Anwering_26_8>=1)))||((Client_Sending_89>=1)&&(Server_Anwering_89_4>=1)))||((Client_Sending_19>=1)&&(Server_Anwering_19_1>=1)))||((Server_Anwering_57_7>=1)&&(Client_Sending_57>=1)))||((Server_Anwering_33_4>=1)&&(Client_Sending_33>=1)))||((Client_Sending_35>=1)&&(Server_Anwering_35_6>=1)))||((Client_Sending_35>=1)&&(Server_Anwering_35_9>=1)))||((Server_Anwering_5_10>=1)&&(Client_Sending_5>=1)))||((Client_Sending_100>=1)&&(Server_Anwering_100_2>=1)))||((Server_Anwering_5_4>=1)&&(Client_Sending_5>=1)))||((Server_Anwering_25_5>=1)&&(Client_Sending_25>=1)))||((Server_Anwering_67_1>=1)&&(Client_Sending_67>=1)))||((Client_Sending_1>=1)&&(Server_Anwering_1_2>=1)))||((Server_Anwering_19_7>=1)&&(Client_Sending_19>=1)))||((Server_Anwering_54_2>=1)&&(Client_Sending_54>=1)))||((Server_Anwering_92_6>=1)&&(Client_Sending_92>=1)))||((Client_Sending_43>=1)&&(Server_Anwering_43_3>=1)))||((Client_Sending_93>=1)&&(Server_Anwering_93_8>=1)))||((Client_Sending_26>=1)&&(Server_Anwering_26_4>=1)))||((Client_Sending_24>=1)&&(Server_Anwering_24_6>=1)))||((Server_Anwering_88_1>=1)&&(Client_Sending_88>=1)))||((Client_Sending_7>=1)&&(Server_Anwering_7_3>=1)))||((Server_Anwering_93_5>=1)&&(Client_Sending_93>=1)))||((Server_Anwering_76_7>=1)&&(Client_Sending_76>=1)))||((Client_Sending_13>=1)&&(Server_Anwering_13_1>=1)))||((Client_Sending_4>=1)&&(Server_Anwering_4_8>=1)))||((Server_Anwering_19_10>=1)&&(Client_Sending_19>=1)))||((Server_Anwering_33_10>=1)&&(Client_Sending_33>=1)))||((Server_Anwering_20_5>=1)&&(Client_Sending_20>=1)))||((Server_Anwering_30_2>=1)&&(Client_Sending_30>=1)))||((Client_Sending_21>=1)&&(Server_Anwering_21_9>=1)))||((Server_Anwering_42_9>=1)&&(Client_Sending_42>=1)))||((Server_Anwering_33_3>=1)&&(Client_Sending_33>=1)))||((Client_Sending_38>=1)&&(Server_Anwering_38_5>=1)))||((Server_Anwering_26_3>=1)&&(Client_Sending_26>=1)))||((Server_Anwering_87_7>=1)&&(Client_Sending_87>=1)))||((Client_Sending_86>=1)&&(Server_Anwering_86_7>=1)))||((Server_Anwering_99_8>=1)&&(Client_Sending_99>=1)))||((Server_Anwering_14_1>=1)&&(Client_Sending_14>=1)))||((Client_Sending_71>=1)&&(Server_Anwering_71_8>=1)))||((Server_Anwering_5_8>=1)&&(Client_Sending_5>=1)))||((Client_Sending_36>=1)&&(Server_Anwering_36_3>=1)))||((Client_Sending_28>=1)&&(Server_Anwering_28_10>=1)))||((Client_Sending_76>=1)&&(Server_Anwering_76_10>=1)))||((Client_Sending_80>=1)&&(Server_Anwering_80_8>=1)))||((Server_Anwering_33_7>=1)&&(Client_Sending_33>=1)))||((Server_Anwering_61_3>=1)&&(Client_Sending_61>=1)))||((Server_Anwering_45_5>=1)&&(Client_Sending_45>=1)))||((Client_Sending_64>=1)&&(Server_Anwering_64_2>=1)))||((Client_Sending_50>=1)&&(Server_Anwering_50_1>=1)))||((Client_Sending_61>=1)&&(Server_Anwering_61_8>=1)))||((Server_Anwering_82_8>=1)&&(Client_Sending_82>=1)))||((Client_Sending_27>=1)&&(Server_Anwering_27_5>=1)))||((Client_Sending_60>=1)&&(Server_Anwering_60_1>=1)))||((Client_Sending_98>=1)&&(Server_Anwering_98_10>=1)))||((Server_Anwering_17_5>=1)&&(Client_Sending_17>=1)))||((Server_Anwering_77_7>=1)&&(Client_Sending_77>=1)))||((Server_Anwering_33_8>=1)&&(Client_Sending_33>=1)))||((Server_Anwering_100_4>=1)&&(Client_Sending_100>=1)))||((Server_Anwering_83_6>=1)&&(Client_Sending_83>=1)))||((Server_Anwering_14_9>=1)&&(Client_Sending_14>=1)))||((Server_Anwering_5_7>=1)&&(Client_Sending_5>=1)))||((Client_Sending_75>=1)&&(Server_Anwering_75_5>=1)))||((Server_Anwering_5_3>=1)&&(Client_Sending_5>=1)))||((Server_Anwering_16_2>=1)&&(Client_Sending_16>=1)))||((Server_Anwering_55_6>=1)&&(Client_Sending_55>=1)))||((Client_Sending_62>=1)&&(Server_Anwering_62_7>=1)))||((Client_Sending_91>=1)&&(Server_Anwering_91_4>=1)))||((Server_Anwering_66_5>=1)&&(Client_Sending_66>=1)))||((Server_Anwering_85_9>=1)&&(Client_Sending_85>=1)))||((Server_Anwering_69_7>=1)&&(Client_Sending_69>=1)))||((Client_Sending_28>=1)&&(Server_Anwering_28_9>=1)))||((Server_Anwering_6_10>=1)&&(Client_Sending_6>=1)))||((Server_Anwering_48_5>=1)&&(Client_Sending_48>=1)))||((Server_Anwering_13_10>=1)&&(Client_Sending_13>=1)))||((Client_Sending_81>=1)&&(Server_Anwering_81_6>=1)))||((Client_Sending_48>=1)&&(Server_Anwering_48_10>=1)))||((Client_Sending_83>=1)&&(Server_Anwering_83_5>=1)))||((Client_Sending_55>=1)&&(Server_Anwering_55_1>=1)))||((Server_Anwering_98_9>=1)&&(Client_Sending_98>=1)))||((Server_Anwering_38_6>=1)&&(Client_Sending_38>=1)))||((Server_Anwering_42_10>=1)&&(Client_Sending_42>=1)))||((Client_Sending_48>=1)&&(Server_Anwering_48_3>=1)))||((Client_Sending_54>=1)&&(Server_Anwering_54_4>=1)))||((Client_Sending_57>=1)&&(Server_Anwering_57_9>=1)))||((Client_Sending_58>=1)&&(Server_Anwering_58_7>=1)))||((Server_Anwering_82_2>=1)&&(Client_Sending_82>=1)))||((Client_Sending_35>=1)&&(Server_Anwering_35_8>=1)))||((Client_Sending_63>=1)&&(Server_Anwering_63_4>=1)))||((Server_Anwering_41_10>=1)&&(Client_Sending_41>=1)))||((Server_Anwering_96_5>=1)&&(Client_Sending_96>=1)))||((Client_Sending_39>=1)&&(Server_Anwering_39_7>=1)))||((Server_Anwering_71_3>=1)&&(Client_Sending_71>=1)))||((Server_Anwering_80_1>=1)&&(Client_Sending_80>=1)))||((Client_Sending_45>=1)&&(Server_Anwering_45_1>=1)))||((Server_Anwering_42_7>=1)&&(Client_Sending_42>=1)))||((Server_Anwering_36_6>=1)&&(Client_Sending_36>=1)))||((Client_Sending_62>=1)&&(Server_Anwering_62_10>=1)))||((Server_Anwering_68_5>=1)&&(Client_Sending_68>=1)))||((Server_Anwering_27_1>=1)&&(Client_Sending_27>=1)))||((Server_Anwering_1_5>=1)&&(Client_Sending_1>=1)))||((Server_Anwering_3_6>=1)&&(Client_Sending_3>=1)))||((Server_Anwering_27_9>=1)&&(Client_Sending_27>=1)))||((Server_Anwering_81_4>=1)&&(Client_Sending_81>=1)))||((Client_Sending_22>=1)&&(Server_Anwering_22_1>=1)))||((Server_Anwering_82_10>=1)&&(Client_Sending_82>=1)))||((Client_Sending_32>=1)&&(Server_Anwering_32_7>=1)))||((Server_Anwering_61_4>=1)&&(Client_Sending_61>=1)))||((Server_Anwering_13_2>=1)&&(Client_Sending_13>=1)))||((Client_Sending_49>=1)&&(Server_Anwering_49_9>=1)))||((Server_Anwering_86_5>=1)&&(Client_Sending_86>=1)))||((Client_Sending_14>=1)&&(Server_Anwering_14_6>=1)))||((Client_Sending_78>=1)&&(Server_Anwering_78_5>=1)))||((Client_Sending_63>=1)&&(Server_Anwering_63_9>=1)))||((Server_Anwering_32_1>=1)&&(Client_Sending_32>=1)))||((Client_Sending_55>=1)&&(Server_Anwering_55_5>=1)))||((Server_Anwering_66_3>=1)&&(Client_Sending_66>=1)))||((Server_Anwering_34_8>=1)&&(Client_Sending_34>=1)))||((Client_Sending_83>=1)&&(Server_Anwering_83_10>=1)))||((Client_Sending_21>=1)&&(Server_Anwering_21_6>=1)))||((Server_Anwering_69_10>=1)&&(Client_Sending_69>=1)))||((Server_Anwering_10_3>=1)&&(Client_Sending_10>=1)))||((Server_Anwering_45_6>=1)&&(Client_Sending_45>=1)))||((Client_Sending_1>=1)&&(Server_Anwering_1_6>=1)))||((Client_Sending_29>=1)&&(Server_Anwering_29_7>=1)))||((Client_Sending_6>=1)&&(Server_Anwering_6_8>=1)))||((Client_Sending_59>=1)&&(Server_Anwering_59_7>=1)))||((Server_Anwering_22_9>=1)&&(Client_Sending_22>=1)))||((Client_Sending_52>=1)&&(Server_Anwering_52_1>=1)))||((Client_Sending_91>=1)&&(Server_Anwering_91_6>=1)))||((Client_Sending_19>=1)&&(Server_Anwering_19_2>=1)))||((Server_Anwering_79_3>=1)&&(Client_Sending_79>=1)))||((Server_Anwering_96_7>=1)&&(Client_Sending_96>=1)))||((Server_Anwering_25_3>=1)&&(Client_Sending_25>=1)))||((Server_Anwering_53_8>=1)&&(Client_Sending_53>=1)))||((Server_Anwering_34_3>=1)&&(Client_Sending_34>=1)))||((Server_Anwering_43_4>=1)&&(Client_Sending_43>=1)))||((Client_Sending_62>=1)&&(Server_Anwering_62_8>=1)))||((Client_Sending_2>=1)&&(Server_Anwering_2_2>=1)))||((Client_Sending_4>=1)&&(Server_Anwering_4_5>=1)))||((Server_Anwering_63_8>=1)&&(Client_Sending_63>=1)))||((Client_Sending_95>=1)&&(Server_Anwering_95_7>=1)))||((Server_Anwering_14_8>=1)&&(Client_Sending_14>=1)))||((Server_Anwering_11_6>=1)&&(Client_Sending_11>=1)))||((Server_Anwering_13_3>=1)&&(Client_Sending_13>=1)))||((Client_Sending_15>=1)&&(Server_Anwering_15_8>=1)))||((Client_Sending_78>=1)&&(Server_Anwering_78_7>=1)))||((Server_Anwering_37_5>=1)&&(Client_Sending_37>=1)))||((Server_Anwering_50_9>=1)&&(Client_Sending_50>=1)))||((Server_Anwering_7_4>=1)&&(Client_Sending_7>=1)))||((Server_Anwering_88_7>=1)&&(Client_Sending_88>=1)))||((Server_Anwering_23_9>=1)&&(Client_Sending_23>=1)))||((Client_Sending_20>=1)&&(Server_Anwering_20_10>=1)))||((Client_Sending_92>=1)&&(Server_Anwering_92_2>=1)))||((Client_Sending_29>=1)&&(Server_Anwering_29_6>=1)))||((Client_Sending_56>=1)&&(Server_Anwering_56_5>=1)))||((Client_Sending_4>=1)&&(Server_Anwering_4_1>=1)))||((Server_Anwering_63_6>=1)&&(Client_Sending_63>=1)))||((Server_Anwering_59_1>=1)&&(Client_Sending_59>=1)))||((Client_Sending_46>=1)&&(Server_Anwering_46_5>=1)))||((Client_Sending_19>=1)&&(Server_Anwering_19_5>=1)))||((Server_Anwering_91_1>=1)&&(Client_Sending_91>=1)))||((Server_Anwering_4_9>=1)&&(Client_Sending_4>=1)))||((Server_Anwering_44_8>=1)&&(Client_Sending_44>=1)))||((Server_Anwering_25_8>=1)&&(Client_Sending_25>=1)))||((Server_Anwering_78_9>=1)&&(Client_Sending_78>=1)))||((Server_Anwering_84_6>=1)&&(Client_Sending_84>=1)))||((Client_Sending_79>=1)&&(Server_Anwering_79_1>=1)))||((Server_Anwering_44_2>=1)&&(Client_Sending_44>=1)))||((Server_Anwering_72_4>=1)&&(Client_Sending_72>=1)))||((Client_Sending_35>=1)&&(Server_Anwering_35_3>=1)))||((Server_Anwering_49_7>=1)&&(Client_Sending_49>=1)))||((Client_Sending_41>=1)&&(Server_Anwering_41_2>=1)))||((Server_Anwering_28_5>=1)&&(Client_Sending_28>=1)))||((Server_Anwering_63_2>=1)&&(Client_Sending_63>=1)))||((Client_Sending_74>=1)&&(Server_Anwering_74_6>=1)))||((Server_Anwering_32_9>=1)&&(Client_Sending_32>=1)))||((Server_Anwering_68_1>=1)&&(Client_Sending_68>=1)))||((Client_Sending_79>=1)&&(Server_Anwering_79_4>=1)))||((Client_Sending_80>=1)&&(Server_Anwering_80_3>=1)))||((Client_Sending_53>=1)&&(Server_Anwering_53_6>=1)))||((Client_Sending_97>=1)&&(Server_Anwering_97_3>=1)))||((Server_Anwering_98_3>=1)&&(Client_Sending_98>=1)))||((Server_Anwering_66_4>=1)&&(Client_Sending_66>=1)))||((Client_Sending_68>=1)&&(Server_Anwering_68_7>=1)))||((Client_Sending_11>=1)&&(Server_Anwering_11_7>=1)))||((Server_Anwering_72_8>=1)&&(Client_Sending_72>=1)))||((Client_Sending_58>=1)&&(Server_Anwering_58_3>=1)))||((Server_Anwering_20_3>=1)&&(Client_Sending_20>=1)))||((Server_Anwering_22_2>=1)&&(Client_Sending_22>=1)))||((Server_Anwering_1_7>=1)&&(Client_Sending_1>=1)))||((Client_Sending_21>=1)&&(Server_Anwering_21_7>=1)))||((Client_Sending_40>=1)&&(Server_Anwering_40_7>=1)))||((Server_Anwering_77_5>=1)&&(Client_Sending_77>=1)))||((Server_Anwering_91_10>=1)&&(Client_Sending_91>=1)))||((Client_Sending_72>=1)&&(Server_Anwering_72_3>=1)))||((Server_Anwering_91_5>=1)&&(Client_Sending_91>=1)))||((Client_Sending_6>=1)&&(Server_Anwering_6_6>=1)))||((Client_Sending_97>=1)&&(Server_Anwering_97_9>=1)))||((Server_Anwering_99_1>=1)&&(Client_Sending_99>=1)))||((Server_Anwering_53_4>=1)&&(Client_Sending_53>=1)))||((Client_Sending_52>=1)&&(Server_Anwering_52_2>=1)))||((Server_Anwering_55_10>=1)&&(Client_Sending_55>=1)))||((Client_Sending_8>=1)&&(Server_Anwering_8_4>=1)))||((Server_Anwering_22_5>=1)&&(Client_Sending_22>=1)))||((Server_Anwering_36_4>=1)&&(Client_Sending_36>=1)))||((Client_Sending_74>=1)&&(Server_Anwering_74_2>=1)))||((Server_Anwering_95_8>=1)&&(Client_Sending_95>=1)))||((Client_Sending_80>=1)&&(Server_Anwering_80_2>=1)))||((Client_Sending_34>=1)&&(Server_Anwering_34_10>=1)))||((Client_Sending_65>=1)&&(Server_Anwering_65_5>=1)))||((Client_Sending_18>=1)&&(Server_Anwering_18_5>=1)))||((Server_Anwering_70_9>=1)&&(Client_Sending_70>=1)))||((Server_Anwering_11_1>=1)&&(Client_Sending_11>=1)))||((Server_Anwering_52_8>=1)&&(Client_Sending_52>=1)))||((Server_Anwering_2_3>=1)&&(Client_Sending_2>=1)))||((Server_Anwering_94_8>=1)&&(Client_Sending_94>=1)))||((Client_Sending_13>=1)&&(Server_Anwering_13_8>=1)))||((Server_Anwering_24_1>=1)&&(Client_Sending_24>=1)))||((Client_Sending_22>=1)&&(Server_Anwering_22_7>=1)))||((Server_Anwering_91_2>=1)&&(Client_Sending_91>=1)))||((Server_Anwering_8_2>=1)&&(Client_Sending_8>=1)))||((Client_Sending_79>=1)&&(Server_Anwering_79_8>=1)))||((Client_Sending_4>=1)&&(Server_Anwering_4_7>=1)))||((Server_Anwering_47_3>=1)&&(Client_Sending_47>=1)))||((Client_Sending_46>=1)&&(Server_Anwering_46_6>=1)))||((Client_Sending_57>=1)&&(Server_Anwering_57_5>=1)))||((Client_Sending_16>=1)&&(Server_Anwering_16_6>=1)))||((Server_Anwering_64_10>=1)&&(Client_Sending_64>=1)))||((Client_Sending_47>=1)&&(Server_Anwering_47_5>=1)))||((Client_Sending_29>=1)&&(Server_Anwering_29_5>=1)))||((Server_Anwering_77_2>=1)&&(Client_Sending_77>=1)))||((Server_Anwering_93_4>=1)&&(Client_Sending_93>=1)))||((Client_Sending_61>=1)&&(Server_Anwering_61_9>=1)))||((Server_Anwering_56_6>=1)&&(Client_Sending_56>=1)))||((Client_Sending_2>=1)&&(Server_Anwering_2_6>=1)))||((Client_Sending_94>=1)&&(Server_Anwering_94_4>=1)))||((Server_Anwering_7_5>=1)&&(Client_Sending_7>=1)))||((Server_Anwering_73_10>=1)&&(Client_Sending_73>=1)))||((Server_Anwering_37_6>=1)&&(Client_Sending_37>=1)))||((Server_Anwering_21_1>=1)&&(Client_Sending_21>=1)))||((Client_Sending_49>=1)&&(Server_Anwering_49_2>=1)))||((Client_Sending_50>=1)&&(Server_Anwering_50_5>=1)))||((Client_Sending_73>=1)&&(Server_Anwering_73_5>=1)))||((Client_Sending_5>=1)&&(Server_Anwering_5_1>=1)))||((Server_Anwering_88_5>=1)&&(Client_Sending_88>=1)))||((Client_Sending_69>=1)&&(Server_Anwering_69_3>=1)))||((Server_Anwering_13_9>=1)&&(Client_Sending_13>=1)))||((Server_Anwering_16_8>=1)&&(Client_Sending_16>=1)))||((Server_Anwering_73_4>=1)&&(Client_Sending_73>=1)))||((Client_Sending_30>=1)&&(Server_Anwering_30_7>=1)))||((Server_Anwering_19_6>=1)&&(Client_Sending_19>=1)))||((Client_Sending_7>=1)&&(Server_Anwering_7_2>=1)))||((Client_Sending_89>=1)&&(Server_Anwering_89_9>=1)))||((Client_Sending_66>=1)&&(Server_Anwering_66_2>=1)))||((Client_Sending_41>=1)&&(Server_Anwering_41_9>=1)))||((Server_Anwering_71_6>=1)&&(Client_Sending_71>=1)))||((Client_Sending_46>=1)&&(Server_Anwering_46_1>=1)))||((Client_Sending_14>=1)&&(Server_Anwering_14_3>=1)))||((Client_Sending_44>=1)&&(Server_Anwering_44_7>=1)))||((Client_Sending_99>=1)&&(Server_Anwering_99_9>=1)))||((Client_Sending_35>=1)&&(Server_Anwering_35_1>=1)))||((Client_Sending_17>=1)&&(Server_Anwering_17_4>=1)))||((Server_Anwering_36_5>=1)&&(Client_Sending_36>=1)))||((Client_Sending_8>=1)&&(Server_Anwering_8_10>=1)))||((Server_Anwering_81_10>=1)&&(Client_Sending_81>=1)))||((Server_Anwering_57_1>=1)&&(Client_Sending_57>=1)))||((Server_Anwering_36_2>=1)&&(Client_Sending_36>=1)))||((Client_Sending_10>=1)&&(Server_Anwering_10_4>=1)))||((Server_Anwering_88_3>=1)&&(Client_Sending_88>=1)))||((Client_Sending_93>=1)&&(Server_Anwering_93_7>=1)))||((Client_Sending_27>=1)&&(Server_Anwering_27_8>=1)))||((Client_Sending_30>=1)&&(Server_Anwering_30_6>=1)))||((Client_Sending_6>=1)&&(Server_Anwering_6_1>=1)))||((Client_Sending_42>=1)&&(Server_Anwering_42_8>=1)))||((Server_Anwering_76_6>=1)&&(Client_Sending_76>=1)))||((Client_Sending_71>=1)&&(Server_Anwering_71_9>=1)))||((Client_Sending_12>=1)&&(Server_Anwering_12_9>=1)))||((Client_Sending_15>=1)&&(Server_Anwering_15_9>=1)))||((Server_Anwering_44_4>=1)&&(Client_Sending_44>=1)))||((Client_Sending_27>=1)&&(Server_Anwering_27_3>=1)))||((Server_Anwering_82_3>=1)&&(Client_Sending_82>=1)))||((Client_Sending_52>=1)&&(Server_Anwering_52_9>=1)))||((Client_Sending_21>=1)&&(Server_Anwering_21_8>=1)))||((Client_Sending_28>=1)&&(Server_Anwering_28_2>=1)))||((Server_Anwering_85_7>=1)&&(Client_Sending_85>=1)))||((Server_Anwering_45_8>=1)&&(Client_Sending_45>=1)))||((Client_Sending_3>=1)&&(Server_Anwering_3_7>=1)))||((Server_Anwering_80_4>=1)&&(Client_Sending_80>=1)))||((Server_Anwering_3_1>=1)&&(Client_Sending_3>=1)))||((Client_Sending_70>=1)&&(Server_Anwering_70_8>=1)))||((Server_Anwering_64_8>=1)&&(Client_Sending_64>=1)))||((Client_Sending_100>=1)&&(Server_Anwering_100_1>=1)))||((Server_Anwering_5_6>=1)&&(Client_Sending_5>=1)))||((Client_Sending_87>=1)&&(Server_Anwering_87_8>=1)))||((Client_Sending_64>=1)&&(Server_Anwering_64_3>=1)))||((Client_Sending_45>=1)&&(Server_Anwering_45_10>=1)))||((Client_Sending_30>=1)&&(Server_Anwering_30_9>=1)))||((Server_Anwering_18_2>=1)&&(Client_Sending_18>=1)))||((Server_Anwering_80_5>=1)&&(Client_Sending_80>=1)))||((Client_Sending_31>=1)&&(Server_Anwering_31_7>=1)))||((Client_Sending_71>=1)&&(Server_Anwering_71_7>=1)))||((Client_Sending_64>=1)&&(Server_Anwering_64_5>=1)))||((Client_Sending_66>=1)&&(Server_Anwering_66_6>=1)))||((Server_Anwering_2_5>=1)&&(Client_Sending_2>=1)))||((Client_Sending_74>=1)&&(Server_Anwering_74_5>=1)))||((Server_Anwering_85_1>=1)&&(Client_Sending_85>=1)))||((Server_Anwering_24_8>=1)&&(Client_Sending_24>=1)))||((Server_Anwering_2_8>=1)&&(Client_Sending_2>=1)))||((Client_Sending_51>=1)&&(Server_Anwering_51_4>=1)))||((Client_Sending_73>=1)&&(Server_Anwering_73_1>=1)))||((Server_Anwering_43_5>=1)&&(Client_Sending_43>=1)))||((Client_Sending_80>=1)&&(Server_Anwering_80_9>=1)))||((Server_Anwering_94_1>=1)&&(Client_Sending_94>=1)))||((Client_Sending_48>=1)&&(Server_Anwering_48_6>=1)))||((Client_Sending_12>=1)&&(Server_Anwering_12_7>=1)))||((Client_Sending_66>=1)&&(Server_Anwering_66_1>=1)))||((Client_Sending_89>=1)&&(Server_Anwering_89_3>=1)))||((Server_Anwering_36_10>=1)&&(Client_Sending_36>=1)))||((Server_Anwering_5_9>=1)&&(Client_Sending_5>=1)))||((Client_Sending_95>=1)&&(Server_Anwering_95_3>=1)))||((Server_Anwering_43_9>=1)&&(Client_Sending_43>=1)))||((Server_Anwering_2_7>=1)&&(Client_Sending_2>=1)))||((Server_Anwering_60_7>=1)&&(Client_Sending_60>=1)))||((Server_Anwering_27_2>=1)&&(Client_Sending_27>=1)))||((Client_Sending_89>=1)&&(Server_Anwering_89_6>=1)))||((Client_Sending_94>=1)&&(Server_Anwering_94_2>=1)))||((Client_Sending_8>=1)&&(Server_Anwering_8_3>=1)))||((Client_Sending_8>=1)&&(Server_Anwering_8_6>=1)))||((Client_Sending_94>=1)&&(Server_Anwering_94_6>=1)))||((Server_Anwering_82_1>=1)&&(Client_Sending_82>=1)))||((Server_Anwering_86_8>=1)&&(Client_Sending_86>=1)))||((Server_Anwering_92_10>=1)&&(Client_Sending_92>=1)))||((Client_Sending_95>=1)&&(Server_Anwering_95_6>=1)))||((Client_Sending_63>=1)&&(Server_Anwering_63_10>=1)))||((Client_Sending_97>=1)&&(Server_Anwering_97_1>=1)))||((Client_Sending_29>=1)&&(Server_Anwering_29_1>=1)))||((Server_Anwering_19_3>=1)&&(Client_Sending_19>=1)))||((Server_Anwering_55_3>=1)&&(Client_Sending_55>=1)))||((Server_Anwering_49_5>=1)&&(Client_Sending_49>=1)))||((Client_Sending_23>=1)&&(Server_Anwering_23_8>=1)))||((Server_Anwering_71_2>=1)&&(Client_Sending_71>=1)))||((Client_Sending_2>=1)&&(Server_Anwering_2_9>=1)))||((Client_Sending_10>=1)&&(Server_Anwering_10_1>=1)))||((Client_Sending_40>=1)&&(Server_Anwering_40_9>=1)))||((Client_Sending_51>=1)&&(Server_Anwering_51_7>=1)))||((Server_Anwering_51_9>=1)&&(Client_Sending_51>=1)))||((Client_Sending_10>=1)&&(Server_Anwering_10_5>=1)))||((Server_Anwering_23_4>=1)&&(Client_Sending_23>=1)))||((Client_Sending_96>=1)&&(Server_Anwering_96_9>=1)))||((Server_Anwering_80_7>=1)&&(Client_Sending_80>=1)))||((Client_Sending_50>=1)&&(Server_Anwering_50_3>=1)))||((Server_Anwering_62_9>=1)&&(Client_Sending_62>=1)))||((Server_Anwering_99_7>=1)&&(Client_Sending_99>=1)))||((Client_Sending_74>=1)&&(Server_Anwering_74_4>=1)))||((Server_Anwering_39_6>=1)&&(Client_Sending_39>=1)))||((Server_Anwering_77_8>=1)&&(Client_Sending_77>=1)))||((Client_Sending_54>=1)&&(Server_Anwering_54_10>=1)))||((Server_Anwering_8_8>=1)&&(Client_Sending_8>=1)))||((Server_Anwering_99_2>=1)&&(Client_Sending_99>=1)))||((Client_Sending_26>=1)&&(Server_Anwering_26_10>=1)))||((Client_Sending_38>=1)&&(Server_Anwering_38_7>=1)))||((Client_Sending_17>=1)&&(Server_Anwering_17_10>=1)))||((Client_Sending_65>=1)&&(Server_Anwering_65_4>=1)))||((Client_Sending_45>=1)&&(Server_Anwering_45_7>=1)))||((Server_Anwering_85_2>=1)&&(Client_Sending_85>=1)))||((Server_Anwering_51_1>=1)&&(Client_Sending_51>=1)))||((Client_Sending_54>=1)&&(Server_Anwering_54_6>=1)))||((Client_Sending_21>=1)&&(Server_Anwering_21_5>=1)))||((Client_Sending_45>=1)&&(Server_Anwering_45_4>=1)))||((Client_Sending_58>=1)&&(Server_Anwering_58_8>=1)))||((Client_Sending_38>=1)&&(Server_Anwering_38_1>=1)))||((Server_Anwering_57_2>=1)&&(Client_Sending_57>=1)))||((Client_Sending_12>=1)&&(Server_Anwering_12_1>=1)))||((Client_Sending_94>=1)&&(Server_Anwering_94_5>=1)))||((Client_Sending_16>=1)&&(Server_Anwering_16_4>=1)))||((Server_Anwering_90_1>=1)&&(Client_Sending_90>=1)))||((Client_Sending_32>=1)&&(Server_Anwering_32_6>=1)))||((Server_Anwering_67_7>=1)&&(Client_Sending_67>=1)))||((Client_Sending_35>=1)&&(Server_Anwering_35_4>=1)))||((Server_Anwering_23_7>=1)&&(Client_Sending_23>=1)))||((Server_Anwering_27_10>=1)&&(Client_Sending_27>=1)))||((Server_Anwering_96_2>=1)&&(Client_Sending_96>=1)))||((Client_Sending_46>=1)&&(Server_Anwering_46_2>=1)))||((Client_Sending_59>=1)&&(Server_Anwering_59_9>=1)))||((Server_Anwering_10_7>=1)&&(Client_Sending_10>=1)))||((Server_Anwering_74_10>=1)&&(Client_Sending_74>=1)))||((Server_Anwering_35_2>=1)&&(Client_Sending_35>=1)))||((Client_Sending_81>=1)&&(Server_Anwering_81_3>=1)))||((Client_Sending_35>=1)&&(Server_Anwering_35_5>=1)))||((Client_Sending_80>=1)&&(Server_Anwering_80_10>=1)))||((Server_Anwering_30_5>=1)&&(Client_Sending_30>=1)))||((Client_Sending_99>=1)&&(Server_Anwering_99_5>=1)))||((Server_Anwering_85_4>=1)&&(Client_Sending_85>=1)))||((Client_Sending_25>=1)&&(Server_Anwering_25_2>=1)))||((Client_Sending_72>=1)&&(Server_Anwering_72_9>=1)))||((Client_Sending_68>=1)&&(Server_Anwering_68_6>=1)))||((Client_Sending_10>=1)&&(Server_Anwering_10_2>=1)))||((Client_Sending_60>=1)&&(Server_Anwering_60_4>=1)))||((Server_Anwering_79_9>=1)&&(Client_Sending_79>=1)))||((Server_Anwering_71_5>=1)&&(Client_Sending_71>=1)))||((Client_Sending_18>=1)&&(Server_Anwering_18_4>=1)))||((Server_Anwering_97_8>=1)&&(Client_Sending_97>=1)))||((Server_Anwering_50_8>=1)&&(Client_Sending_50>=1)))||((Server_Anwering_30_8>=1)&&(Client_Sending_30>=1)))||((Server_Anwering_100_9>=1)&&(Client_Sending_100>=1)))||((Server_Anwering_52_7>=1)&&(Client_Sending_52>=1)))||((Server_Anwering_65_6>=1)&&(Client_Sending_65>=1)))||((Server_Anwering_41_3>=1)&&(Client_Sending_41>=1)))||((Server_Anwering_43_1>=1)&&(Client_Sending_43>=1)))||((Server_Anwering_28_3>=1)&&(Client_Sending_28>=1)))||((Server_Anwering_17_7>=1)&&(Client_Sending_17>=1)))||((Client_Sending_94>=1)&&(Server_Anwering_94_7>=1)))||((Server_Anwering_69_9>=1)&&(Client_Sending_69>=1)))||((Client_Sending_44>=1)&&(Server_Anwering_44_9>=1)))||((Client_Sending_11>=1)&&(Server_Anwering_11_3>=1)))||((Server_Anwering_22_6>=1)&&(Client_Sending_22>=1)))||((Server_Anwering_95_10>=1)&&(Client_Sending_95>=1)))||((Client_Sending_7>=1)&&(Server_Anwering_7_10>=1)))||((Client_Sending_90>=1)&&(Server_Anwering_90_3>=1)))||((Client_Sending_88>=1)&&(Server_Anwering_88_8>=1)))||((Client_Sending_96>=1)&&(Server_Anwering_96_3>=1)))||((Client_Sending_65>=1)&&(Server_Anwering_65_8>=1)))||((Client_Sending_33>=1)&&(Server_Anwering_33_9>=1)))||((Server_Anwering_72_5>=1)&&(Client_Sending_72>=1)))||((Server_Anwering_78_4>=1)&&(Client_Sending_78>=1)))||((Client_Sending_75>=1)&&(Server_Anwering_75_2>=1)))||((Client_Sending_63>=1)&&(Server_Anwering_63_5>=1)))||((Client_Sending_51>=1)&&(Server_Anwering_51_8>=1)))||((Client_Sending_1>=1)&&(Server_Anwering_1_8>=1)))||((Client_Sending_65>=1)&&(Server_Anwering_65_1>=1)))||((Client_Sending_71>=1)&&(Server_Anwering_71_10>=1)))||((Server_Anwering_68_9>=1)&&(Client_Sending_68>=1)))||((Client_Sending_27>=1)&&(Server_Anwering_27_6>=1)))||((Client_Sending_88>=1)&&(Server_Anwering_88_4>=1)))||((Server_Anwering_52_4>=1)&&(Client_Sending_52>=1)))||((Server_Anwering_72_7>=1)&&(Client_Sending_72>=1)))||((Server_Anwering_16_7>=1)&&(Client_Sending_16>=1)))||((Server_Anwering_90_9>=1)&&(Client_Sending_90>=1)))||((Server_Anwering_65_10>=1)&&(Client_Sending_65>=1)))||((Server_Anwering_68_2>=1)&&(Client_Sending_68>=1)))||((Client_Sending_74>=1)&&(Server_Anwering_74_1>=1)))||((Server_Anwering_67_4>=1)&&(Client_Sending_67>=1)))||((Client_Sending_35>=1)&&(Server_Anwering_35_10>=1)))||((Client_Sending_87>=1)&&(Server_Anwering_87_1>=1)))||((Client_Sending_79>=1)&&(Server_Anwering_79_7>=1)))||((Client_Sending_93>=1)&&(Server_Anwering_93_2>=1)))||((Client_Sending_86>=1)&&(Server_Anwering_86_2>=1)))||((Client_Sending_20>=1)&&(Server_Anwering_20_2>=1)))||((Server_Anwering_29_4>=1)&&(Client_Sending_29>=1)))||((Server_Anwering_37_7>=1)&&(Client_Sending_37>=1)))||((Client_Sending_34>=1)&&(Server_Anwering_34_5>=1)))||((Server_Anwering_18_10>=1)&&(Client_Sending_18>=1)))||((Server_Anwering_51_6>=1)&&(Client_Sending_51>=1)))||((Server_Anwering_85_5>=1)&&(Client_Sending_85>=1)))||((Server_Anwering_9_4>=1)&&(Client_Sending_9>=1)))||((Client_Sending_92>=1)&&(Server_Anwering_92_1>=1)))||((Server_Anwering_66_10>=1)&&(Client_Sending_66>=1)))||((Server_Anwering_74_7>=1)&&(Client_Sending_74>=1)))||((Server_Anwering_52_3>=1)&&(Client_Sending_52>=1)))||((Client_Sending_70>=1)&&(Server_Anwering_70_3>=1)))||((Server_Anwering_65_2>=1)&&(Client_Sending_65>=1)))||((Client_Sending_55>=1)&&(Server_Anwering_55_2>=1)))||((Server_Anwering_32_3>=1)&&(Client_Sending_32>=1)))||((Server_Anwering_25_9>=1)&&(Client_Sending_25>=1)))||((Server_Anwering_43_7>=1)&&(Client_Sending_43>=1)))||((Client_Sending_60>=1)&&(Server_Anwering_60_6>=1)))||((Client_Sending_37>=1)&&(Server_Anwering_37_8>=1)))||((Client_Sending_18>=1)&&(Server_Anwering_18_1>=1)))||((Server_Anwering_93_6>=1)&&(Client_Sending_93>=1)))||((Server_Anwering_23_5>=1)&&(Client_Sending_23>=1)))||((Client_Sending_87>=1)&&(Server_Anwering_87_3>=1)))||((Client_Sending_38>=1)&&(Server_Anwering_38_9>=1)))||((Client_Sending_53>=1)&&(Server_Anwering_53_10>=1)))||((Client_Sending_39>=1)&&(Server_Anwering_39_9>=1)))||((Client_Sending_58>=1)&&(Server_Anwering_58_2>=1)))||((Client_Sending_54>=1)&&(Server_Anwering_54_1>=1)))||((Client_Sending_78>=1)&&(Server_Anwering_78_8>=1)))||((Server_Anwering_5_2>=1)&&(Client_Sending_5>=1)))||((Client_Sending_22>=1)&&(Server_Anwering_22_3>=1)))||((Server_Anwering_49_3>=1)&&(Client_Sending_49>=1)))||((Client_Sending_15>=1)&&(Server_Anwering_15_2>=1)))||((Client_Sending_29>=1)&&(Server_Anwering_29_3>=1)))||((Client_Sending_11>=1)&&(Server_Anwering_11_9>=1)))||((Server_Anwering_100_10>=1)&&(Client_Sending_100>=1)))||((Client_Sending_95>=1)&&(Server_Anwering_95_4>=1)))||((Server_Anwering_79_6>=1)&&(Client_Sending_79>=1)))||((Client_Sending_6>=1)&&(Server_Anwering_6_5>=1)))||((Client_Sending_22>=1)&&(Server_Anwering_22_8>=1)))||((Server_Anwering_46_7>=1)&&(Client_Sending_46>=1)))||((Client_Sending_16>=1)&&(Server_Anwering_16_9>=1)))||((Server_Anwering_15_4>=1)&&(Client_Sending_15>=1)))||((Server_Anwering_85_8>=1)&&(Client_Sending_85>=1)))||((Client_Sending_41>=1)&&(Server_Anwering_41_5>=1)))||((Server_Anwering_71_1>=1)&&(Client_Sending_71>=1)))||((Server_Anwering_58_5>=1)&&(Client_Sending_58>=1)))||((Server_Anwering_38_4>=1)&&(Client_Sending_38>=1)))||((Server_Anwering_17_1>=1)&&(Client_Sending_17>=1)))||((Client_Sending_24>=1)&&(Server_Anwering_24_7>=1)))||((Client_Sending_43>=1)&&(Server_Anwering_43_8>=1)))||((Server_Anwering_13_6>=1)&&(Client_Sending_13>=1)))||((Client_Sending_61>=1)&&(Server_Anwering_61_1>=1)))||((Server_Anwering_16_5>=1)&&(Client_Sending_16>=1)))||((Server_Anwering_95_9>=1)&&(Client_Sending_95>=1)))||((Client_Sending_3>=1)&&(Server_Anwering_3_3>=1)))||((Server_Anwering_100_5>=1)&&(Client_Sending_100>=1)))||((Client_Sending_38>=1)&&(Server_Anwering_38_2>=1)))||((Server_Anwering_87_9>=1)&&(Client_Sending_87>=1)))||((Server_Anwering_93_10>=1)&&(Client_Sending_93>=1)))||((Server_Anwering_10_9>=1)&&(Client_Sending_10>=1)))||((Client_Sending_64>=1)&&(Server_Anwering_64_1>=1)))||((Client_Sending_24>=1)&&(Server_Anwering_24_4>=1)))||((Client_Sending_46>=1)&&(Server_Anwering_46_4>=1)))||((Client_Sending_47>=1)&&(Server_Anwering_47_2>=1)))||((Server_Anwering_82_9>=1)&&(Client_Sending_82>=1)))||((Server_Anwering_33_2>=1)&&(Client_Sending_33>=1)))||((Server_Anwering_76_3>=1)&&(Client_Sending_76>=1)))||((Client_Sending_7>=1)&&(Server_Anwering_7_8>=1)))||((Server_Anwering_54_9>=1)&&(Client_Sending_54>=1)))||((Server_Anwering_73_9>=1)&&(Client_Sending_73>=1)))||((Client_Sending_13>=1)&&(Server_Anwering_13_5>=1)))||((Client_Sending_25>=1)&&(Server_Anwering_25_10>=1)))&&((!(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((Client_Sending_79>=1)&&(Server_Anwering_79_10>=1))||((Server_Anwering_9_7>=1)&&(Client_Sending_9>=1)))||((Client_Sending_36>=1)&&(Server_Anwering_36_8>=1)))||((Client_Sending_9>=1)&&(Server_Anwering_9_1>=1)))||((Server_Anwering_9_8>=1)&&(Client_Sending_9>=1)))||((Server_Anwering_65_7>=1)&&(Client_Sending_65>=1)))||((Server_Anwering_25_6>=1)&&(Client_Sending_25>=1)))||((Client_Sending_52>=1)&&(Server_Anwering_52_10>=1)))||((Server_Anwering_46_10>=1)&&(Client_Sending_46>=1)))||((Client_Sending_88>=1)&&(Server_Anwering_88_2>=1)))||((Client_Sending_87>=1)&&(Server_Anwering_87_4>=1)))||((Client_Sending_18>=1)&&(Server_Anwering_18_8>=1)))||((Client_Sending_67>=1)&&(Server_Anwering_67_9>=1)))||((Client_Sending_23>=1)&&(Server_Anwering_23_1>=1)))||((Server_Anwering_86_4>=1)&&(Client_Sending_86>=1)))||((Client_Sending_68>=1)&&(Server_Anwering_68_4>=1)))||((Client_Sending_59>=1)&&(Server_Anwering_59_3>=1)))||((Server_Anwering_31_3>=1)&&(Client_Sending_31>=1)))||((Server_Anwering_59_6>=1)&&(Client_Sending_59>=1)))||((Client_Sending_42>=1)&&(Server_Anwering_42_3>=1)))||((Server_Anwering_62_5>=1)&&(Client_Sending_62>=1)))||((Client_Sending_83>=1)&&(Server_Anwering_83_2>=1)))||((Server_Anwering_37_10>=1)&&(Client_Sending_37>=1)))||((Server_Anwering_43_2>=1)&&(Client_Sending_43>=1)))||((Client_Sending_59>=1)&&(Server_Anwering_59_4>=1)))||((Client_Sending_73>=1)&&(Server_Anwering_73_2>=1)))||((Client_Sending_57>=1)&&(Server_Anwering_57_8>=1)))||((Client_Sending_7>=1)&&(Server_Anwering_7_6>=1)))||((Client_Sending_77>=1)&&(Server_Anwering_77_4>=1)))||((Client_Sending_6>=1)&&(Server_Anwering_6_3>=1)))||((Server_Anwering_83_3>=1)&&(Client_Sending_83>=1)))||((Server_Anwering_5_5>=1)&&(Client_Sending_5>=1)))||((Client_Sending_41>=1)&&(Server_Anwering_41_1>=1)))||((Server_Anwering_50_4>=1)&&(Client_Sending_50>=1)))||((Server_Anwering_44_1>=1)&&(Client_Sending_44>=1)))||((Server_Anwering_94_10>=1)&&(Client_Sending_94>=1)))||((Server_Anwering_78_2>=1)&&(Client_Sending_78>=1)))||((Client_Sending_51>=1)&&(Server_Anwering_51_5>=1)))||((Server_Anwering_72_1>=1)&&(Client_Sending_72>=1)))||((Server_Anwering_62_1>=1)&&(Client_Sending_62>=1)))||((Server_Anwering_10_10>=1)&&(Client_Sending_10>=1)))||((Client_Sending_40>=1)&&(Server_Anwering_40_6>=1)))||((Server_Anwering_39_4>=1)&&(Client_Sending_39>=1)))||((Server_Anwering_31_9>=1)&&(Client_Sending_31>=1)))||((Server_Anwering_1_4>=1)&&(Client_Sending_1>=1)))||((Server_Anwering_88_6>=1)&&(Client_Sending_88>=1)))||((Client_Sending_1>=1)&&(Server_Anwering_1_3>=1)))||((Server_Anwering_94_3>=1)&&(Client_Sending_94>=1)))||((Client_Sending_82>=1)&&(Server_Anwering_82_6>=1)))||((Server_Anwering_31_6>=1)&&(Client_Sending_31>=1)))||((Server_Anwering_21_3>=1)&&(Client_Sending_21>=1)))||((Client_Sending_17>=1)&&(Server_Anwering_17_9>=1)))||((Client_Sending_57>=1)&&(Server_Anwering_57_4>=1)))||((Server_Anwering_28_6>=1)&&(Client_Sending_28>=1)))||((Server_Anwering_15_7>=1)&&(Client_Sending_15>=1)))||((Client_Sending_89>=1)&&(Server_Anwering_89_8>=1)))||((Server_Anwering_96_8>=1)&&(Client_Sending_96>=1)))||((Client_Sending_34>=1)&&(Server_Anwering_34_1>=1)))||((Server_Anwering_18_6>=1)&&(Client_Sending_18>=1)))||((Client_Sending_44>=1)&&(Server_Anwering_44_5>=1)))||((Server_Anwering_73_6>=1)&&(Client_Sending_73>=1)))||((Server_Anwering_8_5>=1)&&(Client_Sending_8>=1)))||((Server_Anwering_81_1>=1)&&(Client_Sending_81>=1)))||((Client_Sending_24>=1)&&(Server_Anwering_24_5>=1)))||((Server_Anwering_95_1>=1)&&(Client_Sending_95>=1)))||((Server_Anwering_60_9>=1)&&(Client_Sending_60>=1)))||((Client_Sending_81>=1)&&(Server_Anwering_81_7>=1)))||((Server_Anwering_76_1>=1)&&(Client_Sending_76>=1)))||((Server_Anwering_39_3>=1)&&(Client_Sending_39>=1)))||((Server_Anwering_38_8>=1)&&(Client_Sending_38>=1)))||((Server_Anwering_46_9>=1)&&(Client_Sending_46>=1)))||((Client_Sending_66>=1)&&(Server_Anwering_66_8>=1)))||((Server_Anwering_96_6>=1)&&(Client_Sending_96>=1)))||((Server_Anwering_92_5>=1)&&(Client_Sending_92>=1)))||((Server_Anwering_70_6>=1)&&(Client_Sending_70>=1)))||((Server_Anwering_3_9>=1)&&(Client_Sending_3>=1)))||((Server_Anwering_97_6>=1)&&(Client_Sending_97>=1)))||((Client_Sending_96>=1)&&(Server_Anwering_96_4>=1)))||((Client_Sending_91>=1)&&(Server_Anwering_91_7>=1)))||((Client_Sending_6>=1)&&(Server_Anwering_6_2>=1)))||((Server_Anwering_80_6>=1)&&(Client_Sending_80>=1)))||((Client_Sending_90>=1)&&(Server_Anwering_90_7>=1)))||((Client_Sending_63>=1)&&(Server_Anwering_63_1>=1)))||((Server_Anwering_34_2>=1)&&(Client_Sending_34>=1)))||((Server_Anwering_24_10>=1)&&(Client_Sending_24>=1)))||((Client_Sending_43>=1)&&(Server_Anwering_43_10>=1)))||((Client_Sending_67>=1)&&(Server_Anwering_67_3>=1)))||((Server_Anwering_12_3>=1)&&(Client_Sending_12>=1)))||((Client_Sending_48>=1)&&(Server_Anwering_48_8>=1)))||((Server_Anwering_53_2>=1)&&(Client_Sending_53>=1)))||((Client_Sending_49>=1)&&(Server_Anwering_49_6>=1)))||((Client_Sending_100>=1)&&(Server_Anwering_100_7>=1)))||((Client_Sending_39>=1)&&(Server_Anwering_39_8>=1)))||((Client_Sending_4>=1)&&(Server_Anwering_4_4>=1)))||((Client_Sending_77>=1)&&(Server_Anwering_77_6>=1)))||((Client_Sending_14>=1)&&(Server_Anwering_14_5>=1)))||((Server_Anwering_11_4>=1)&&(Client_Sending_11>=1)))||((Server_Anwering_37_4>=1)&&(Client_Sending_37>=1)))||((Server_Anwering_67_8>=1)&&(Client_Sending_67>=1)))||((Client_Sending_20>=1)&&(Server_Anwering_20_6>=1)))||((Server_Anwering_30_3>=1)&&(Client_Sending_30>=1)))||((Client_Sending_22>=1)&&(Server_Anwering_22_4>=1)))||((Client_Sending_50>=1)&&(Server_Anwering_50_2>=1)))||((Client_Sending_57>=1)&&(Server_Anwering_57_3>=1)))||((Client_Sending_72>=1)&&(Server_Anwering_72_10>=1)))||((Client_Sending_29>=1)&&(Server_Anwering_29_8>=1)))||((Server_Anwering_40_2>=1)&&(Client_Sending_40>=1)))||((Client_Sending_15>=1)&&(Server_Anwering_15_5>=1)))||((Client_Sending_23>=1)&&(Server_Anwering_23_2>=1)))||((Client_Sending_53>=1)&&(Server_Anwering_53_7>=1)))||((Server_Anwering_45_9>=1)&&(Client_Sending_45>=1)))||((Server_Anwering_30_4>=1)&&(Client_Sending_30>=1)))||((Server_Anwering_84_3>=1)&&(Client_Sending_84>=1)))||((Client_Sending_60>=1)&&(Server_Anwering_60_2>=1)))||((Client_Sending_88>=1)&&(Server_Anwering_88_9>=1)))||((Server_Anwering_52_6>=1)&&(Client_Sending_52>=1)))||((Client_Sending_53>=1)&&(Server_Anwering_53_9>=1)))||((Client_Sending_15>=1)&&(Server_Anwering_15_10>=1)))||((Server_Anwering_19_8>=1)&&(Client_Sending_19>=1)))||((Client_Sending_18>=1)&&(Server_Anwering_18_9>=1)))||((Server_Anwering_53_1>=1)&&(Client_Sending_53>=1)))||((Client_Sending_37>=1)&&(Server_Anwering_37_2>=1)))||((Client_Sending_33>=1)&&(Server_Anwering_33_5>=1)))||((Server_Anwering_56_2>=1)&&(Client_Sending_56>=1)))||((Server_Anwering_20_8>=1)&&(Client_Sending_20>=1)))||((Server_Anwering_65_9>=1)&&(Client_Sending_65>=1)))||((Client_Sending_69>=1)&&(Server_Anwering_69_4>=1)))||((Client_Sending_69>=1)&&(Server_Anwering_69_5>=1)))||((Server_Anwering_74_8>=1)&&(Client_Sending_74>=1)))||((Server_Anwering_62_3>=1)&&(Client_Sending_62>=1)))||((Server_Anwering_90_4>=1)&&(Client_Sending_90>=1)))||((Server_Anwering_90_8>=1)&&(Client_Sending_90>=1)))||((Server_Anwering_23_10>=1)&&(Client_Sending_23>=1)))||((Client_Sending_97>=1)&&(Server_Anwering_97_5>=1)))||((Server_Anwering_46_8>=1)&&(Client_Sending_46>=1)))||((Client_Sending_3>=1)&&(Server_Anwering_3_10>=1)))||((Server_Anwering_17_2>=1)&&(Client_Sending_17>=1)))||((Client_Sending_26>=1)&&(Server_Anwering_26_1>=1)))||((Server_Anwering_9_2>=1)&&(Client_Sending_9>=1)))||((Server_Anwering_23_3>=1)&&(Client_Sending_23>=1)))||((Server_Anwering_82_5>=1)&&(Client_Sending_82>=1)))||((Client_Sending_84>=1)&&(Server_Anwering_84_8>=1)))||((Server_Anwering_87_2>=1)&&(Client_Sending_87>=1)))||((Client_Sending_92>=1)&&(Server_Anwering_92_7>=1)))||((Server_Anwering_91_8>=1)&&(Client_Sending_91>=1)))||((Server_Anwering_59_10>=1)&&(Client_Sending_59>=1)))||((Client_Sending_84>=1)&&(Server_Anwering_84_1>=1)))||((Client_Sending_56>=1)&&(Server_Anwering_56_9>=1)))||((Server_Anwering_31_1>=1)&&(Client_Sending_31>=1)))||((Client_Sending_12>=1)&&(Server_Anwering_12_10>=1)))||((Server_Anwering_87_10>=1)&&(Client_Sending_87>=1)))||((Server_Anwering_10_6>=1)&&(Client_Sending_10>=1)))||((Client_Sending_7>=1)&&(Server_Anwering_7_7>=1)))||((Client_Sending_77>=1)&&(Server_Anwering_77_10>=1)))||((Client_Sending_97>=1)&&(Server_Anwering_97_4>=1)))||((Client_Sending_79>=1)&&(Server_Anwering_79_5>=1)))||((Server_Anwering_1_1>=1)&&(Client_Sending_1>=1)))||((Server_Anwering_62_4>=1)&&(Client_Sending_62>=1)))||((Client_Sending_97>=1)&&(Server_Anwering_97_10>=1)))||((Client_Sending_2>=1)&&(Server_Anwering_2_10>=1)))||((Client_Sending_25>=1)&&(Server_Anwering_25_7>=1)))||((Client_Sending_32>=1)&&(Server_Anwering_32_4>=1)))||((Server_Anwering_44_3>=1)&&(Client_Sending_44>=1)))||((Server_Anwering_44_6>=1)&&(Client_Sending_44>=1)))||((Client_Sending_9>=1)&&(Server_Anwering_9_10>=1)))||((Client_Sending_56>=1)&&(Server_Anwering_56_8>=1)))||((Client_Sending_18>=1)&&(Server_Anwering_18_7>=1)))||((Server_Anwering_54_7>=1)&&(Client_Sending_54>=1)))||((Server_Anwering_100_8>=1)&&(Client_Sending_100>=1)))||((Server_Anwering_2_4>=1)&&(Client_Sending_2>=1)))||((Server_Anwering_24_9>=1)&&(Client_Sending_24>=1)))||((Client_Sending_81>=1)&&(Server_Anwering_81_9>=1)))||((Server_Anwering_68_10>=1)&&(Client_Sending_68>=1)))||((Server_Anwering_87_6>=1)&&(Client_Sending_87>=1)))||((Client_Sending_42>=1)&&(Server_Anwering_42_5>=1)))||((Server_Anwering_51_10>=1)&&(Client_Sending_51>=1)))||((Server_Anwering_66_7>=1)&&(Client_Sending_66>=1)))||((Client_Sending_73>=1)&&(Server_Anwering_73_7>=1)))||((Server_Anwering_28_7>=1)&&(Client_Sending_28>=1)))||((Client_Sending_35>=1)&&(Server_Anwering_35_7>=1)))||((Client_Sending_86>=1)&&(Server_Anwering_86_10>=1)))||((Server_Anwering_75_8>=1)&&(Client_Sending_75>=1)))||((Server_Anwering_12_2>=1)&&(Client_Sending_12>=1)))||((Client_Sending_98>=1)&&(Server_Anwering_98_2>=1)))||((Client_Sending_36>=1)&&(Server_Anwering_36_1>=1)))||((Server_Anwering_52_5>=1)&&(Client_Sending_52>=1)))||((Server_Anwering_49_1>=1)&&(Client_Sending_49>=1)))||((Client_Sending_49>=1)&&(Server_Anwering_49_4>=1)))||((Server_Anwering_9_9>=1)&&(Client_Sending_9>=1)))||((Client_Sending_15>=1)&&(Server_Anwering_15_1>=1)))||((Server_Anwering_16_3>=1)&&(Client_Sending_16>=1)))||((Client_Sending_34>=1)&&(Server_Anwering_34_6>=1)))||((Server_Anwering_100_6>=1)&&(Client_Sending_100>=1)))||((Client_Sending_72>=1)&&(Server_Anwering_72_6>=1)))||((Server_Anwering_70_1>=1)&&(Client_Sending_70>=1)))||((Server_Anwering_76_4>=1)&&(Client_Sending_76>=1)))||((Server_Anwering_74_9>=1)&&(Client_Sending_74>=1)))||((Client_Sending_28>=1)&&(Server_Anwering_28_8>=1)))||((Client_Sending_27>=1)&&(Server_Anwering_27_4>=1)))||((Client_Sending_48>=1)&&(Server_Anwering_48_7>=1)))||((Client_Sending_67>=1)&&(Server_Anwering_67_10>=1)))||((Server_Anwering_98_1>=1)&&(Client_Sending_98>=1)))||((Client_Sending_65>=1)&&(Server_Anwering_65_3>=1)))||((Server_Anwering_83_4>=1)&&(Client_Sending_83>=1)))||((Client_Sending_3>=1)&&(Server_Anwering_3_4>=1)))||((Server_Anwering_84_9>=1)&&(Client_Sending_84>=1)))||((Server_Anwering_21_4>=1)&&(Client_Sending_21>=1)))||((Server_Anwering_39_5>=1)&&(Client_Sending_39>=1)))||((Server_Anwering_45_2>=1)&&(Client_Sending_45>=1)))||((Server_Anwering_82_7>=1)&&(Client_Sending_82>=1)))||((Server_Anwering_93_3>=1)&&(Client_Sending_93>=1)))||((Server_Anwering_60_5>=1)&&(Client_Sending_60>=1)))||((Client_Sending_17>=1)&&(Server_Anwering_17_3>=1)))||((Client_Sending_9>=1)&&(Server_Anwering_9_3>=1)))||((Client_Sending_44>=1)&&(Server_Anwering_44_10>=1)))||((Client_Sending_89>=1)&&(Server_Anwering_89_1>=1)))||((Server_Anwering_76_8>=1)&&(Client_Sending_76>=1)))||((Server_Anwering_58_4>=1)&&(Client_Sending_58>=1)))||((Client_Sending_31>=1)&&(Server_Anwering_31_8>=1)))||((Client_Sending_62>=1)&&(Server_Anwering_62_6>=1)))||((Server_Anwering_8_1>=1)&&(Client_Sending_8>=1)))||((Server_Anwering_70_2>=1)&&(Client_Sending_70>=1)))||((Client_Sending_32>=1)&&(Server_Anwering_32_5>=1)))||((Server_Anwering_12_4>=1)&&(Client_Sending_12>=1)))||((Server_Anwering_38_3>=1)&&(Client_Sending_38>=1)))||((Server_Anwering_99_3>=1)&&(Client_Sending_99>=1)))||((Client_Sending_67>=1)&&(Server_Anwering_67_6>=1)))||((Client_Sending_32>=1)&&(Server_Anwering_32_2>=1)))||((Client_Sending_40>=1)&&(Server_Anwering_40_4>=1)))||((Server_Anwering_10_8>=1)&&(Client_Sending_10>=1)))||((Client_Sending_75>=1)&&(Server_Anwering_75_3>=1)))||((Client_Sending_85>=1)&&(Server_Anwering_85_6>=1)))||((Server_Anwering_40_3>=1)&&(Client_Sending_40>=1)))||((Client_Sending_75>=1)&&(Server_Anwering_75_9>=1)))||((Client_Sending_77>=1)&&(Server_Anwering_77_1>=1)))||((Client_Sending_41>=1)&&(Server_Anwering_41_6>=1)))||((Client_Sending_38>=1)&&(Server_Anwering_38_10>=1)))||((Server_Anwering_49_8>=1)&&(Client_Sending_49>=1)))||((Client_Sending_16>=1)&&(Server_Anwering_16_10>=1)))||((Server_Anwering_84_2>=1)&&(Client_Sending_84>=1)))||((Server_Anwering_59_2>=1)&&(Client_Sending_59>=1)))||((Client_Sending_30>=1)&&(Server_Anwering_30_10>=1)))||((Client_Sending_12>=1)&&(Server_Anwering_12_6>=1)))||((Client_Sending_92>=1)&&(Server_Anwering_92_3>=1)))||((Client_Sending_98>=1)&&(Server_Anwering_98_8>=1)))||((Server_Anwering_83_9>=1)&&(Client_Sending_83>=1)))||((Server_Anwering_16_1>=1)&&(Client_Sending_16>=1)))||((Client_Sending_84>=1)&&(Server_Anwering_84_5>=1)))||((Server_Anwering_81_5>=1)&&(Client_Sending_81>=1)))||((Server_Anwering_70_4>=1)&&(Client_Sending_70>=1)))||((Client_Sending_67>=1)&&(Server_Anwering_67_2>=1)))||((Server_Anwering_78_10>=1)&&(Client_Sending_78>=1)))||((Client_Sending_70>=1)&&(Server_Anwering_70_5>=1)))||((Client_Sending_90>=1)&&(Server_Anwering_90_6>=1)))||((Client_Sending_8>=1)&&(Server_Anwering_8_9>=1)))||((Server_Anwering_96_10>=1)&&(Client_Sending_96>=1)))||((Client_Sending_95>=1)&&(Server_Anwering_95_2>=1)))||((Client_Sending_31>=1)&&(Server_Anwering_31_4>=1)))||((Server_Anwering_36_7>=1)&&(Client_Sending_36>=1)))||((Client_Sending_43>=1)&&(Server_Anwering_43_6>=1)))||((Client_Sending_89>=1)&&(Server_Anwering_89_7>=1)))||((Client_Sending_24>=1)&&(Server_Anwering_24_3>=1)))||((Server_Anwering_42_6>=1)&&(Client_Sending_42>=1)))||((Server_Anwering_20_4>=1)&&(Client_Sending_20>=1)))||((Client_Sending_3>=1)&&(Server_Anwering_3_5>=1)))||((Server_Anwering_36_9>=1)&&(Client_Sending_36>=1)))||((Client_Sending_63>=1)&&(Server_Anwering_63_7>=1)))||((Server_Anwering_76_2>=1)&&(Client_Sending_76>=1)))||((Client_Sending_98>=1)&&(Server_Anwering_98_6>=1)))||((Client_Sending_54>=1)&&(Server_Anwering_54_3>=1)))||((Client_Sending_54>=1)&&(Server_Anwering_54_5>=1)))||((Client_Sending_26>=1)&&(Server_Anwering_26_7>=1)))||((Server_Anwering_21_10>=1)&&(Client_Sending_21>=1)))||((Client_Sending_73>=1)&&(Server_Anwering_73_3>=1)))||((Client_Sending_49>=1)&&(Server_Anwering_49_10>=1)))||((Server_Anwering_58_10>=1)&&(Client_Sending_58>=1)))||((Server_Anwering_4_3>=1)&&(Client_Sending_4>=1)))||((Client_Sending_8>=1)&&(Server_Anwering_8_7>=1)))||((Client_Sending_69>=1)&&(Server_Anwering_69_1>=1)))||((Server_Anwering_98_5>=1)&&(Client_Sending_98>=1)))||((Client_Sending_12>=1)&&(Server_Anwering_12_8>=1)))||((Server_Anwering_25_1>=1)&&(Client_Sending_25>=1)))||((Client_Sending_73>=1)&&(Server_Anwering_73_8>=1)))||((Client_Sending_83>=1)&&(Server_Anwering_83_8>=1)))||((Server_Anwering_68_3>=1)&&(Client_Sending_68>=1)))||((Client_Sending_9>=1)&&(Server_Anwering_9_6>=1)))||((Client_Sending_41>=1)&&(Server_Anwering_41_4>=1)))||((Server_Anwering_75_1>=1)&&(Client_Sending_75>=1)))||((Server_Anwering_4_2>=1)&&(Client_Sending_4>=1)))||((Server_Anwering_75_4>=1)&&(Client_Sending_75>=1)))||((Server_Anwering_92_9>=1)&&(Client_Sending_92>=1)))||((Server_Anwering_99_10>=1)&&(Client_Sending_99>=1)))||((Client_Sending_28>=1)&&(Server_Anwering_28_1>=1)))||((Client_Sending_40>=1)&&(Server_Anwering_40_10>=1)))||((Client_Sending_61>=1)&&(Server_Anwering_61_2>=1)))||((Client_Sending_88>=1)&&(Server_Anwering_88_10>=1)))||((Client_Sending_55>=1)&&(Server_Anwering_55_8>=1)))||((Server_Anwering_11_5>=1)&&(Client_Sending_11>=1)))||((Server_Anwering_61_5>=1)&&(Client_Sending_61>=1)))||((Server_Anwering_26_2>=1)&&(Client_Sending_26>=1)))||((Client_Sending_11>=1)&&(Server_Anwering_11_10>=1)))||((Server_Anwering_48_2>=1)&&(Client_Sending_48>=1)))||((Server_Anwering_87_5>=1)&&(Client_Sending_87>=1)))||((Client_Sending_81>=1)&&(Server_Anwering_81_2>=1)))||((Server_Anwering_98_4>=1)&&(Client_Sending_98>=1)))||((Client_Sending_33>=1)&&(Server_Anwering_33_6>=1)))||((Server_Anwering_55_7>=1)&&(Client_Sending_55>=1)))||((Server_Anwering_60_10>=1)&&(Client_Sending_60>=1)))||((Client_Sending_66>=1)&&(Server_Anwering_66_9>=1)))||((Server_Anwering_2_1>=1)&&(Client_Sending_2>=1)))||((Client_Sending_37>=1)&&(Server_Anwering_37_3>=1)))||((Server_Anwering_91_3>=1)&&(Client_Sending_91>=1)))||((Client_Sending_56>=1)&&(Server_Anwering_56_1>=1)))||((Client_Sending_100>=1)&&(Server_Anwering_100_3>=1)))||((Server_Anwering_93_1>=1)&&(Client_Sending_93>=1)))||((Client_Sending_20>=1)&&(Server_Anwering_20_1>=1)))||((Client_Sending_94>=1)&&(Server_Anwering_94_9>=1)))||((Client_Sending_28>=1)&&(Server_Anwering_28_4>=1)))||((Client_Sending_42>=1)&&(Server_Anwering_42_2>=1)))||((Server_Anwering_6_7>=1)&&(Client_Sending_6>=1)))||((Server_Anwering_64_7>=1)&&(Client_Sending_64>=1)))||((Server_Anwering_4_10>=1)&&(Client_Sending_4>=1)))||((Server_Anwering_7_1>=1)&&(Client_Sending_7>=1)))||((Server_Anwering_6_4>=1)&&(Client_Sending_6>=1)))||((Client_Sending_85>=1)&&(Server_Anwering_85_10>=1)))||((Server_Anwering_3_2>=1)&&(Client_Sending_3>=1)))||((Client_Sending_22>=1)&&(Server_Anwering_22_10>=1)))||((Client_Sending_31>=1)&&(Server_Anwering_31_10>=1)))||((Server_Anwering_69_8>=1)&&(Client_Sending_69>=1)))||((Client_Sending_15>=1)&&(Server_Anwering_15_6>=1)))||((Server_Anwering_1_10>=1)&&(Client_Sending_1>=1)))||((Server_Anwering_14_2>=1)&&(Client_Sending_14>=1)))||((Server_Anwering_25_4>=1)&&(Client_Sending_25>=1)))||((Server_Anwering_19_9>=1)&&(Client_Sending_19>=1)))||((Client_Sending_76>=1)&&(Server_Anwering_76_5>=1)))||((Client_Sending_61>=1)&&(Server_Anwering_61_6>=1)))||((Client_Sending_59>=1)&&(Server_Anwering_59_5>=1)))||((Server_Anwering_31_2>=1)&&(Client_Sending_31>=1)))||((Client_Sending_26>=1)&&(Server_Anwering_26_9>=1)))||((Server_Anwering_59_8>=1)&&(Client_Sending_59>=1)))||((Client_Sending_33>=1)&&(Server_Anwering_33_1>=1)))||((Server_Anwering_39_1>=1)&&(Client_Sending_39>=1)))||((Server_Anwering_31_5>=1)&&(Client_Sending_31>=1)))||((Client_Sending_26>=1)&&(Server_Anwering_26_6>=1)))||((Server_Anwering_84_4>=1)&&(Client_Sending_84>=1)))||((Client_Sending_78>=1)&&(Server_Anwering_78_3>=1)))||((Client_Sending_13>=1)&&(Server_Anwering_13_7>=1)))||((Server_Anwering_64_6>=1)&&(Client_Sending_64>=1)))||((Client_Sending_98>=1)&&(Server_Anwering_98_7>=1)))||((Client_Sending_24>=1)&&(Server_Anwering_24_2>=1)))||((Server_Anwering_60_8>=1)&&(Client_Sending_60>=1)))||((Server_Anwering_67_5>=1)&&(Client_Sending_67>=1)))||((Client_Sending_26>=1)&&(Server_Anwering_26_5>=1)))||((Server_Anwering_75_10>=1)&&(Client_Sending_75>=1)))||((Client_Sending_48>=1)&&(Server_Anwering_48_4>=1)))||((Client_Sending_56>=1)&&(Server_Anwering_56_7>=1)))||((Client_Sending_47>=1)&&(Server_Anwering_47_9>=1)))||((Client_Sending_17>=1)&&(Server_Anwering_17_8>=1)))||((Client_Sending_54>=1)&&(Server_Anwering_54_8>=1)))||((Server_Anwering_37_9>=1)&&(Client_Sending_37>=1)))||((Client_Sending_76>=1)&&(Server_Anwering_76_9>=1)))||((Client_Sending_45>=1)&&(Server_Anwering_45_3>=1)))||((Client_Sending_13>=1)&&(Server_Anwering_13_4>=1)))||((Client_Sending_55>=1)&&(Server_Anwering_55_4>=1)))||((Server_Anwering_48_1>=1)&&(Client_Sending_48>=1)))||((Client_Sending_17>=1)&&(Server_Anwering_17_6>=1)))||((Client_Sending_60>=1)&&(Server_Anwering_60_3>=1)))||((Client_Sending_85>=1)&&(Server_Anwering_85_3>=1)))||((Server_Anwering_21_2>=1)&&(Client_Sending_21>=1)))||((Server_Anwering_62_2>=1)&&(Client_Sending_62>=1)))||((Client_Sending_34>=1)&&(Server_Anwering_34_4>=1)))||((Client_Sending_58>=1)&&(Server_Anwering_58_9>=1)))||((Client_Sending_57>=1)&&(Server_Anwering_57_6>=1)))||((Server_Anwering_20_7>=1)&&(Client_Sending_20>=1)))||((Client_Sending_51>=1)&&(Server_Anwering_51_2>=1)))||((Client_Sending_91>=1)&&(Server_Anwering_91_9>=1)))||((Client_Sending_74>=1)&&(Server_Anwering_74_3>=1)))||((Client_Sending_90>=1)&&(Server_Anwering_90_5>=1)))||((Client_Sending_3>=1)&&(Server_Anwering_3_8>=1)))||((Client_Sending_19>=1)&&(Server_Anwering_19_4>=1)))||((Server_Anwering_18_3>=1)&&(Client_Sending_18>=1)))||((Server_Anwering_75_7>=1)&&(Client_Sending_75>=1)))||((Client_Sending_75>=1)&&(Server_Anwering_75_6>=1)))||((Server_Anwering_81_8>=1)&&(Client_Sending_81>=1)))||((Server_Anwering_70_7>=1)&&(Client_Sending_70>=1)))||((Server_Anwering_41_7>=1)&&(Client_Sending_41>=1)))||((Server_Anwering_39_10>=1)&&(Client_Sending_39>=1)))||((Client_Sending_84>=1)&&(Server_Anwering_84_7>=1)))||((Server_Anwering_42_4>=1)&&(Client_Sending_42>=1)))||((Server_Anwering_99_4>=1)&&(Client_Sending_99>=1)))||((Client_Sending_7>=1)&&(Server_Anwering_7_9>=1)))||((Client_Sending_89>=1)&&(Server_Anwering_89_10>=1)))||((Client_Sending_41>=1)&&(Server_Anwering_41_8>=1)))||((Client_Sending_29>=1)&&(Server_Anwering_29_9>=1)))||((Client_Sending_99>=1)&&(Server_Anwering_99_6>=1)))||((Server_Anwering_4_6>=1)&&(Client_Sending_4>=1)))||((Server_Anwering_78_1>=1)&&(Client_Sending_78>=1)))||((Server_Anwering_47_6>=1)&&(Client_Sending_47>=1)))||((Client_Sending_89>=1)&&(Server_Anwering_89_2>=1)))||((Client_Sending_89>=1)&&(Server_Anwering_89_5>=1)))||((Client_Sending_32>=1)&&(Server_Anwering_32_8>=1)))||((Client_Sending_40>=1)&&(Server_Anwering_40_5>=1)))||((Client_Sending_51>=1)&&(Server_Anwering_51_3>=1)))||((Client_Sending_96>=1)&&(Server_Anwering_96_1>=1)))||((Server_Anwering_93_9>=1)&&(Client_Sending_93>=1)))||((Client_Sending_29>=1)&&(Server_Anwering_29_10>=1)))||((Server_Anwering_47_7>=1)&&(Client_Sending_47>=1)))||((Server_Anwering_12_5>=1)&&(Client_Sending_12>=1)))||((Client_Sending_86>=1)&&(Server_Anwering_86_1>=1)))||((Server_Anwering_46_3>=1)&&(Client_Sending_46>=1)))||((Client_Sending_6>=1)&&(Server_Anwering_6_9>=1)))||((Server_Anwering_50_10>=1)&&(Client_Sending_50>=1)))||((Server_Anwering_47_8>=1)&&(Client_Sending_47>=1)))||((Client_Sending_27>=1)&&(Server_Anwering_27_7>=1)))||((Client_Sending_57>=1)&&(Server_Anwering_57_10>=1)))||((Client_Sending_42>=1)&&(Server_Anwering_42_1>=1)))||((Server_Anwering_86_6>=1)&&(Client_Sending_86>=1)))||((Server_Anwering_77_9>=1)&&(Client_Sending_77>=1)))||((Client_Sending_82>=1)&&(Server_Anwering_82_4>=1)))||((Client_Sending_86>=1)&&(Server_Anwering_86_3>=1)))||((Server_Anwering_32_10>=1)&&(Client_Sending_32>=1)))||((Client_Sending_11>=1)&&(Server_Anwering_11_2>=1)))||((Client_Sending_79>=1)&&(Server_Anwering_79_2>=1)))||((Server_Anwering_23_6>=1)&&(Client_Sending_23>=1)))||((Client_Sending_95>=1)&&(Server_Anwering_95_5>=1)))||((Server_Anwering_55_9>=1)&&(Client_Sending_55>=1)))||((Server_Anwering_83_1>=1)&&(Client_Sending_83>=1)))||((Client_Sending_90>=1)&&(Server_Anwering_90_10>=1)))||((Client_Sending_48>=1)&&(Server_Anwering_48_9>=1)))||((Server_Anwering_56_4>=1)&&(Client_Sending_56>=1)))||((Server_Anwering_11_8>=1)&&(Client_Sending_11>=1)))||((Server_Anwering_64_9>=1)&&(Client_Sending_64>=1)))||((Server_Anwering_70_10>=1)&&(Client_Sending_70>=1)))||((Server_Anwering_40_8>=1)&&(Client_Sending_40>=1)))||((Client_Sending_9>=1)&&(Server_Anwering_9_5>=1)))||((Server_Anwering_83_7>=1)&&(Client_Sending_83>=1)))||((Client_Sending_1>=1)&&(Server_Anwering_1_9>=1)))||((Client_Sending_29>=1)&&(Server_Anwering_29_2>=1)))||((Client_Sending_64>=1)&&(Server_Anwering_64_4>=1)))||((Server_Anwering_68_8>=1)&&(Client_Sending_68>=1)))||((Client_Sending_92>=1)&&(Server_Anwering_92_8>=1)))||((Client_Sending_97>=1)&&(Server_Anwering_97_2>=1)))||((Server_Anwering_30_1>=1)&&(Client_Sending_30>=1)))||((Client_Sending_56>=1)&&(Server_Anwering_56_10>=1)))||((Server_Anwering_14_7>=1)&&(Client_Sending_14>=1)))||((Server_Anwering_58_1>=1)&&(Client_Sending_58>=1)))||((Client_Sending_58>=1)&&(Server_Anwering_58_6>=1)))||((Server_Anwering_47_4>=1)&&(Client_Sending_47>=1)))||((Client_Sending_34>=1)&&(Server_Anwering_34_7>=1)))||((Client_Sending_20>=1)&&(Server_Anwering_20_9>=1)))||((Server_Anwering_90_2>=1)&&(Client_Sending_90>=1)))||((Server_Anwering_53_5>=1)&&(Client_Sending_53>=1)))||((Client_Sending_14>=1)&&(Server_Anwering_14_4>=1)))||((Client_Sending_53>=1)&&(Server_Anwering_53_3>=1)))||((Client_Sending_37>=1)&&(Server_Anwering_37_1>=1)))||((Server_Anwering_47_10>=1)&&(Client_Sending_47>=1)))||((Server_Anwering_63_3>=1)&&(Client_Sending_63>=1)))||((Client_Sending_84>=1)&&(Server_Anwering_84_10>=1)))||((Server_Anwering_78_6>=1)&&(Client_Sending_78>=1)))||((Server_Anwering_92_4>=1)&&(Client_Sending_92>=1)))||((Client_Sending_69>=1)&&(Server_Anwering_69_2>=1)))||((Server_Anwering_97_7>=1)&&(Client_Sending_97>=1)))||((Client_Sending_50>=1)&&(Server_Anwering_50_7>=1)))||((Server_Anwering_77_3>=1)&&(Client_Sending_77>=1)))||((Client_Sending_47>=1)&&(Server_Anwering_47_1>=1)))||((Server_Anwering_50_6>=1)&&(Client_Sending_50>=1)))||((Server_Anwering_86_9>=1)&&(Client_Sending_86>=1)))||((Client_Sending_61>=1)&&(Server_Anwering_61_10>=1)))||((Client_Sending_15>=1)&&(Server_Anwering_15_3>=1)))||((Server_Anwering_71_4>=1)&&(Client_Sending_71>=1)))||((Client_Sending_56>=1)&&(Server_Anwering_56_3>=1)))||((Client_Sending_69>=1)&&(Server_Anwering_69_6>=1)))||((Client_Sending_72>=1)&&(Server_Anwering_72_2>=1)))||((Client_Sending_34>=1)&&(Server_Anwering_34_9>=1)))||((Server_Anwering_14_10>=1)&&(Client_Sending_14>=1)))||((Server_Anwering_39_2>=1)&&(Client_Sending_39>=1)))||((Server_Anwering_40_1>=1)&&(Client_Sending_40>=1)))||((Server_Anwering_61_7>=1)&&(Client_Sending_61>=1)))||((Client_Sending_26>=1)&&(Server_Anwering_26_8>=1)))||((Client_Sending_89>=1)&&(Server_Anwering_89_4>=1)))||((Client_Sending_19>=1)&&(Server_Anwering_19_1>=1)))||((Server_Anwering_57_7>=1)&&(Client_Sending_57>=1)))||((Server_Anwering_33_4>=1)&&(Client_Sending_33>=1)))||((Client_Sending_35>=1)&&(Server_Anwering_35_6>=1)))||((Client_Sending_35>=1)&&(Server_Anwering_35_9>=1)))||((Server_Anwering_5_10>=1)&&(Client_Sending_5>=1)))||((Client_Sending_100>=1)&&(Server_Anwering_100_2>=1)))||((Server_Anwering_5_4>=1)&&(Client_Sending_5>=1)))||((Server_Anwering_25_5>=1)&&(Client_Sending_25>=1)))||((Server_Anwering_67_1>=1)&&(Client_Sending_67>=1)))||((Client_Sending_1>=1)&&(Server_Anwering_1_2>=1)))||((Server_Anwering_19_7>=1)&&(Client_Sending_19>=1)))||((Server_Anwering_54_2>=1)&&(Client_Sending_54>=1)))||((Server_Anwering_92_6>=1)&&(Client_Sending_92>=1)))||((Client_Sending_43>=1)&&(Server_Anwering_43_3>=1)))||((Client_Sending_93>=1)&&(Server_Anwering_93_8>=1)))||((Client_Sending_26>=1)&&(Server_Anwering_26_4>=1)))||((Client_Sending_24>=1)&&(Server_Anwering_24_6>=1)))||((Server_Anwering_88_1>=1)&&(Client_Sending_88>=1)))||((Client_Sending_7>=1)&&(Server_Anwering_7_3>=1)))||((Server_Anwering_93_5>=1)&&(Client_Sending_93>=1)))||((Server_Anwering_76_7>=1)&&(Client_Sending_76>=1)))||((Client_Sending_13>=1)&&(Server_Anwering_13_1>=1)))||((Client_Sending_4>=1)&&(Server_Anwering_4_8>=1)))||((Server_Anwering_19_10>=1)&&(Client_Sending_19>=1)))||((Server_Anwering_33_10>=1)&&(Client_Sending_33>=1)))||((Server_Anwering_20_5>=1)&&(Client_Sending_20>=1)))||((Server_Anwering_30_2>=1)&&(Client_Sending_30>=1)))||((Client_Sending_21>=1)&&(Server_Anwering_21_9>=1)))||((Server_Anwering_42_9>=1)&&(Client_Sending_42>=1)))||((Server_Anwering_33_3>=1)&&(Client_Sending_33>=1)))||((Client_Sending_38>=1)&&(Server_Anwering_38_5>=1)))||((Server_Anwering_26_3>=1)&&(Client_Sending_26>=1)))||((Server_Anwering_87_7>=1)&&(Client_Sending_87>=1)))||((Client_Sending_86>=1)&&(Server_Anwering_86_7>=1)))||((Server_Anwering_99_8>=1)&&(Client_Sending_99>=1)))||((Server_Anwering_14_1>=1)&&(Client_Sending_14>=1)))||((Client_Sending_71>=1)&&(Server_Anwering_71_8>=1)))||((Server_Anwering_5_8>=1)&&(Client_Sending_5>=1)))||((Client_Sending_36>=1)&&(Server_Anwering_36_3>=1)))||((Client_Sending_28>=1)&&(Server_Anwering_28_10>=1)))||((Client_Sending_76>=1)&&(Server_Anwering_76_10>=1)))||((Client_Sending_80>=1)&&(Server_Anwering_80_8>=1)))||((Server_Anwering_33_7>=1)&&(Client_Sending_33>=1)))||((Server_Anwering_61_3>=1)&&(Client_Sending_61>=1)))||((Server_Anwering_45_5>=1)&&(Client_Sending_45>=1)))||((Client_Sending_64>=1)&&(Server_Anwering_64_2>=1)))||((Client_Sending_50>=1)&&(Server_Anwering_50_1>=1)))||((Client_Sending_61>=1)&&(Server_Anwering_61_8>=1)))||((Server_Anwering_82_8>=1)&&(Client_Sending_82>=1)))||((Client_Sending_27>=1)&&(Server_Anwering_27_5>=1)))||((Client_Sending_60>=1)&&(Server_Anwering_60_1>=1)))||((Client_Sending_98>=1)&&(Server_Anwering_98_10>=1)))||((Server_Anwering_17_5>=1)&&(Client_Sending_17>=1)))||((Server_Anwering_77_7>=1)&&(Client_Sending_77>=1)))||((Server_Anwering_33_8>=1)&&(Client_Sending_33>=1)))||((Server_Anwering_100_4>=1)&&(Client_Sending_100>=1)))||((Server_Anwering_83_6>=1)&&(Client_Sending_83>=1)))||((Server_Anwering_14_9>=1)&&(Client_Sending_14>=1)))||((Server_Anwering_5_7>=1)&&(Client_Sending_5>=1)))||((Client_Sending_75>=1)&&(Server_Anwering_75_5>=1)))||((Server_Anwering_5_3>=1)&&(Client_Sending_5>=1)))||((Server_Anwering_16_2>=1)&&(Client_Sending_16>=1)))||((Server_Anwering_55_6>=1)&&(Client_Sending_55>=1)))||((Client_Sending_62>=1)&&(Server_Anwering_62_7>=1)))||((Client_Sending_91>=1)&&(Server_Anwering_91_4>=1)))||((Server_Anwering_66_5>=1)&&(Client_Sending_66>=1)))||((Server_Anwering_85_9>=1)&&(Client_Sending_85>=1)))||((Server_Anwering_69_7>=1)&&(Client_Sending_69>=1)))||((Client_Sending_28>=1)&&(Server_Anwering_28_9>=1)))||((Server_Anwering_6_10>=1)&&(Client_Sending_6>=1)))||((Server_Anwering_48_5>=1)&&(Client_Sending_48>=1)))||((Server_Anwering_13_10>=1)&&(Client_Sending_13>=1)))||((Client_Sending_81>=1)&&(Server_Anwering_81_6>=1)))||((Client_Sending_48>=1)&&(Server_Anwering_48_10>=1)))||((Client_Sending_83>=1)&&(Server_Anwering_83_5>=1)))||((Client_Sending_55>=1)&&(Server_Anwering_55_1>=1)))||((Server_Anwering_98_9>=1)&&(Client_Sending_98>=1)))||((Server_Anwering_38_6>=1)&&(Client_Sending_38>=1)))||((Server_Anwering_42_10>=1)&&(Client_Sending_42>=1)))||((Client_Sending_48>=1)&&(Server_Anwering_48_3>=1)))||((Client_Sending_54>=1)&&(Server_Anwering_54_4>=1)))||((Client_Sending_57>=1)&&(Server_Anwering_57_9>=1)))||((Client_Sending_58>=1)&&(Server_Anwering_58_7>=1)))||((Server_Anwering_82_2>=1)&&(Client_Sending_82>=1)))||((Client_Sending_35>=1)&&(Server_Anwering_35_8>=1)))||((Client_Sending_63>=1)&&(Server_Anwering_63_4>=1)))||((Server_Anwering_41_10>=1)&&(Client_Sending_41>=1)))||((Server_Anwering_96_5>=1)&&(Client_Sending_96>=1)))||((Client_Sending_39>=1)&&(Server_Anwering_39_7>=1)))||((Server_Anwering_71_3>=1)&&(Client_Sending_71>=1)))||((Server_Anwering_80_1>=1)&&(Client_Sending_80>=1)))||((Client_Sending_45>=1)&&(Server_Anwering_45_1>=1)))||((Server_Anwering_42_7>=1)&&(Client_Sending_42>=1)))||((Server_Anwering_36_6>=1)&&(Client_Sending_36>=1)))||((Client_Sending_62>=1)&&(Server_Anwering_62_10>=1)))||((Server_Anwering_68_5>=1)&&(Client_Sending_68>=1)))||((Server_Anwering_27_1>=1)&&(Client_Sending_27>=1)))||((Server_Anwering_1_5>=1)&&(Client_Sending_1>=1)))||((Server_Anwering_3_6>=1)&&(Client_Sending_3>=1)))||((Server_Anwering_27_9>=1)&&(Client_Sending_27>=1)))||((Server_Anwering_81_4>=1)&&(Client_Sending_81>=1)))||((Client_Sending_22>=1)&&(Server_Anwering_22_1>=1)))||((Server_Anwering_82_10>=1)&&(Client_Sending_82>=1)))||((Client_Sending_32>=1)&&(Server_Anwering_32_7>=1)))||((Server_Anwering_61_4>=1)&&(Client_Sending_61>=1)))||((Server_Anwering_13_2>=1)&&(Client_Sending_13>=1)))||((Client_Sending_49>=1)&&(Server_Anwering_49_9>=1)))||((Server_Anwering_86_5>=1)&&(Client_Sending_86>=1)))||((Client_Sending_14>=1)&&(Server_Anwering_14_6>=1)))||((Client_Sending_78>=1)&&(Server_Anwering_78_5>=1)))||((Client_Sending_63>=1)&&(Server_Anwering_63_9>=1)))||((Server_Anwering_32_1>=1)&&(Client_Sending_32>=1)))||((Client_Sending_55>=1)&&(Server_Anwering_55_5>=1)))||((Server_Anwering_66_3>=1)&&(Client_Sending_66>=1)))||((Server_Anwering_34_8>=1)&&(Client_Sending_34>=1)))||((Client_Sending_83>=1)&&(Server_Anwering_83_10>=1)))||((Client_Sending_21>=1)&&(Server_Anwering_21_6>=1)))||((Server_Anwering_69_10>=1)&&(Client_Sending_69>=1)))||((Server_Anwering_10_3>=1)&&(Client_Sending_10>=1)))||((Server_Anwering_45_6>=1)&&(Client_Sending_45>=1)))||((Client_Sending_1>=1)&&(Server_Anwering_1_6>=1)))||((Client_Sending_29>=1)&&(Server_Anwering_29_7>=1)))||((Client_Sending_6>=1)&&(Server_Anwering_6_8>=1)))||((Client_Sending_59>=1)&&(Server_Anwering_59_7>=1)))||((Server_Anwering_22_9>=1)&&(Client_Sending_22>=1)))||((Client_Sending_52>=1)&&(Server_Anwering_52_1>=1)))||((Client_Sending_91>=1)&&(Server_Anwering_91_6>=1)))||((Client_Sending_19>=1)&&(Server_Anwering_19_2>=1)))||((Server_Anwering_79_3>=1)&&(Client_Sending_79>=1)))||((Server_Anwering_96_7>=1)&&(Client_Sending_96>=1)))||((Server_Anwering_25_3>=1)&&(Client_Sending_25>=1)))||((Server_Anwering_53_8>=1)&&(Client_Sending_53>=1)))||((Server_Anwering_34_3>=1)&&(Client_Sending_34>=1)))||((Server_Anwering_43_4>=1)&&(Client_Sending_43>=1)))||((Client_Sending_62>=1)&&(Server_Anwering_62_8>=1)))||((Client_Sending_2>=1)&&(Server_Anwering_2_2>=1)))||((Client_Sending_4>=1)&&(Server_Anwering_4_5>=1)))||((Server_Anwering_63_8>=1)&&(Client_Sending_63>=1)))||((Client_Sending_95>=1)&&(Server_Anwering_95_7>=1)))||((Server_Anwering_14_8>=1)&&(Client_Sending_14>=1)))||((Server_Anwering_11_6>=1)&&(Client_Sending_11>=1)))||((Server_Anwering_13_3>=1)&&(Client_Sending_13>=1)))||((Client_Sending_15>=1)&&(Server_Anwering_15_8>=1)))||((Client_Sending_78>=1)&&(Server_Anwering_78_7>=1)))||((Server_Anwering_37_5>=1)&&(Client_Sending_37>=1)))||((Server_Anwering_50_9>=1)&&(Client_Sending_50>=1)))||((Server_Anwering_7_4>=1)&&(Client_Sending_7>=1)))||((Server_Anwering_88_7>=1)&&(Client_Sending_88>=1)))||((Server_Anwering_23_9>=1)&&(Client_Sending_23>=1)))||((Client_Sending_20>=1)&&(Server_Anwering_20_10>=1)))||((Client_Sending_92>=1)&&(Server_Anwering_92_2>=1)))||((Client_Sending_29>=1)&&(Server_Anwering_29_6>=1)))||((Client_Sending_56>=1)&&(Server_Anwering_56_5>=1)))||((Client_Sending_4>=1)&&(Server_Anwering_4_1>=1)))||((Server_Anwering_63_6>=1)&&(Client_Sending_63>=1)))||((Server_Anwering_59_1>=1)&&(Client_Sending_59>=1)))||((Client_Sending_46>=1)&&(Server_Anwering_46_5>=1)))||((Client_Sending_19>=1)&&(Server_Anwering_19_5>=1)))||((Server_Anwering_91_1>=1)&&(Client_Sending_91>=1)))||((Server_Anwering_4_9>=1)&&(Client_Sending_4>=1)))||((Server_Anwering_44_8>=1)&&(Client_Sending_44>=1)))||((Server_Anwering_25_8>=1)&&(Client_Sending_25>=1)))||((Server_Anwering_78_9>=1)&&(Client_Sending_78>=1)))||((Server_Anwering_84_6>=1)&&(Client_Sending_84>=1)))||((Client_Sending_79>=1)&&(Server_Anwering_79_1>=1)))||((Server_Anwering_44_2>=1)&&(Client_Sending_44>=1)))||((Server_Anwering_72_4>=1)&&(Client_Sending_72>=1)))||((Client_Sending_35>=1)&&(Server_Anwering_35_3>=1)))||((Server_Anwering_49_7>=1)&&(Client_Sending_49>=1)))||((Client_Sending_41>=1)&&(Server_Anwering_41_2>=1)))||((Server_Anwering_28_5>=1)&&(Client_Sending_28>=1)))||((Server_Anwering_63_2>=1)&&(Client_Sending_63>=1)))||((Client_Sending_74>=1)&&(Server_Anwering_74_6>=1)))||((Server_Anwering_32_9>=1)&&(Client_Sending_32>=1)))||((Server_Anwering_68_1>=1)&&(Client_Sending_68>=1)))||((Client_Sending_79>=1)&&(Server_Anwering_79_4>=1)))||((Client_Sending_80>=1)&&(Server_Anwering_80_3>=1)))||((Client_Sending_53>=1)&&(Server_Anwering_53_6>=1)))||((Client_Sending_97>=1)&&(Server_Anwering_97_3>=1)))||((Server_Anwering_98_3>=1)&&(Client_Sending_98>=1)))||((Server_Anwering_66_4>=1)&&(Client_Sending_66>=1)))||((Client_Sending_68>=1)&&(Server_Anwering_68_7>=1)))||((Client_Sending_11>=1)&&(Server_Anwering_11_7>=1)))||((Server_Anwering_72_8>=1)&&(Client_Sending_72>=1)))||((Client_Sending_58>=1)&&(Server_Anwering_58_3>=1)))||((Server_Anwering_20_3>=1)&&(Client_Sending_20>=1)))||((Server_Anwering_22_2>=1)&&(Client_Sending_22>=1)))||((Server_Anwering_1_7>=1)&&(Client_Sending_1>=1)))||((Client_Sending_21>=1)&&(Server_Anwering_21_7>=1)))||((Client_Sending_40>=1)&&(Server_Anwering_40_7>=1)))||((Server_Anwering_77_5>=1)&&(Client_Sending_77>=1)))||((Server_Anwering_91_10>=1)&&(Client_Sending_91>=1)))||((Client_Sending_72>=1)&&(Server_Anwering_72_3>=1)))||((Server_Anwering_91_5>=1)&&(Client_Sending_91>=1)))||((Client_Sending_6>=1)&&(Server_Anwering_6_6>=1)))||((Client_Sending_97>=1)&&(Server_Anwering_97_9>=1)))||((Server_Anwering_99_1>=1)&&(Client_Sending_99>=1)))||((Server_Anwering_53_4>=1)&&(Client_Sending_53>=1)))||((Client_Sending_52>=1)&&(Server_Anwering_52_2>=1)))||((Server_Anwering_55_10>=1)&&(Client_Sending_55>=1)))||((Client_Sending_8>=1)&&(Server_Anwering_8_4>=1)))||((Server_Anwering_22_5>=1)&&(Client_Sending_22>=1)))||((Server_Anwering_36_4>=1)&&(Client_Sending_36>=1)))||((Client_Sending_74>=1)&&(Server_Anwering_74_2>=1)))||((Server_Anwering_95_8>=1)&&(Client_Sending_95>=1)))||((Client_Sending_80>=1)&&(Server_Anwering_80_2>=1)))||((Client_Sending_34>=1)&&(Server_Anwering_34_10>=1)))||((Client_Sending_65>=1)&&(Server_Anwering_65_5>=1)))||((Client_Sending_18>=1)&&(Server_Anwering_18_5>=1)))||((Server_Anwering_70_9>=1)&&(Client_Sending_70>=1)))||((Server_Anwering_11_1>=1)&&(Client_Sending_11>=1)))||((Server_Anwering_52_8>=1)&&(Client_Sending_52>=1)))||((Server_Anwering_2_3>=1)&&(Client_Sending_2>=1)))||((Server_Anwering_94_8>=1)&&(Client_Sending_94>=1)))||((Client_Sending_13>=1)&&(Server_Anwering_13_8>=1)))||((Server_Anwering_24_1>=1)&&(Client_Sending_24>=1)))||((Client_Sending_22>=1)&&(Server_Anwering_22_7>=1)))||((Server_Anwering_91_2>=1)&&(Client_Sending_91>=1)))||((Server_Anwering_8_2>=1)&&(Client_Sending_8>=1)))||((Client_Sending_79>=1)&&(Server_Anwering_79_8>=1)))||((Client_Sending_4>=1)&&(Server_Anwering_4_7>=1)))||((Server_Anwering_47_3>=1)&&(Client_Sending_47>=1)))||((Client_Sending_46>=1)&&(Server_Anwering_46_6>=1)))||((Client_Sending_57>=1)&&(Server_Anwering_57_5>=1)))||((Client_Sending_16>=1)&&(Server_Anwering_16_6>=1)))||((Server_Anwering_64_10>=1)&&(Client_Sending_64>=1)))||((Client_Sending_47>=1)&&(Server_Anwering_47_5>=1)))||((Client_Sending_29>=1)&&(Server_Anwering_29_5>=1)))||((Server_Anwering_77_2>=1)&&(Client_Sending_77>=1)))||((Server_Anwering_93_4>=1)&&(Client_Sending_93>=1)))||((Client_Sending_61>=1)&&(Server_Anwering_61_9>=1)))||((Server_Anwering_56_6>=1)&&(Client_Sending_56>=1)))||((Client_Sending_2>=1)&&(Server_Anwering_2_6>=1)))||((Client_Sending_94>=1)&&(Server_Anwering_94_4>=1)))||((Server_Anwering_7_5>=1)&&(Client_Sending_7>=1)))||((Server_Anwering_73_10>=1)&&(Client_Sending_73>=1)))||((Server_Anwering_37_6>=1)&&(Client_Sending_37>=1)))||((Server_Anwering_21_1>=1)&&(Client_Sending_21>=1)))||((Client_Sending_49>=1)&&(Server_Anwering_49_2>=1)))||((Client_Sending_50>=1)&&(Server_Anwering_50_5>=1)))||((Client_Sending_73>=1)&&(Server_Anwering_73_5>=1)))||((Client_Sending_5>=1)&&(Server_Anwering_5_1>=1)))||((Server_Anwering_88_5>=1)&&(Client_Sending_88>=1)))||((Client_Sending_69>=1)&&(Server_Anwering_69_3>=1)))||((Server_Anwering_13_9>=1)&&(Client_Sending_13>=1)))||((Server_Anwering_16_8>=1)&&(Client_Sending_16>=1)))||((Server_Anwering_73_4>=1)&&(Client_Sending_73>=1)))||((Client_Sending_30>=1)&&(Server_Anwering_30_7>=1)))||((Server_Anwering_19_6>=1)&&(Client_Sending_19>=1)))||((Client_Sending_7>=1)&&(Server_Anwering_7_2>=1)))||((Client_Sending_89>=1)&&(Server_Anwering_89_9>=1)))||((Client_Sending_66>=1)&&(Server_Anwering_66_2>=1)))||((Client_Sending_41>=1)&&(Server_Anwering_41_9>=1)))||((Server_Anwering_71_6>=1)&&(Client_Sending_71>=1)))||((Client_Sending_46>=1)&&(Server_Anwering_46_1>=1)))||((Client_Sending_14>=1)&&(Server_Anwering_14_3>=1)))||((Client_Sending_44>=1)&&(Server_Anwering_44_7>=1)))||((Client_Sending_99>=1)&&(Server_Anwering_99_9>=1)))||((Client_Sending_35>=1)&&(Server_Anwering_35_1>=1)))||((Client_Sending_17>=1)&&(Server_Anwering_17_4>=1)))||((Server_Anwering_36_5>=1)&&(Client_Sending_36>=1)))||((Client_Sending_8>=1)&&(Server_Anwering_8_10>=1)))||((Server_Anwering_81_10>=1)&&(Client_Sending_81>=1)))||((Server_Anwering_57_1>=1)&&(Client_Sending_57>=1)))||((Server_Anwering_36_2>=1)&&(Client_Sending_36>=1)))||((Client_Sending_10>=1)&&(Server_Anwering_10_4>=1)))||((Server_Anwering_88_3>=1)&&(Client_Sending_88>=1)))||((Client_Sending_93>=1)&&(Server_Anwering_93_7>=1)))||((Client_Sending_27>=1)&&(Server_Anwering_27_8>=1)))||((Client_Sending_30>=1)&&(Server_Anwering_30_6>=1)))||((Client_Sending_6>=1)&&(Server_Anwering_6_1>=1)))||((Client_Sending_42>=1)&&(Server_Anwering_42_8>=1)))||((Server_Anwering_76_6>=1)&&(Client_Sending_76>=1)))||((Client_Sending_71>=1)&&(Server_Anwering_71_9>=1)))||((Client_Sending_12>=1)&&(Server_Anwering_12_9>=1)))||((Client_Sending_15>=1)&&(Server_Anwering_15_9>=1)))||((Server_Anwering_44_4>=1)&&(Client_Sending_44>=1)))||((Client_Sending_27>=1)&&(Server_Anwering_27_3>=1)))||((Server_Anwering_82_3>=1)&&(Client_Sending_82>=1)))||((Client_Sending_52>=1)&&(Server_Anwering_52_9>=1)))||((Client_Sending_21>=1)&&(Server_Anwering_21_8>=1)))||((Client_Sending_28>=1)&&(Server_Anwering_28_2>=1)))||((Server_Anwering_85_7>=1)&&(Client_Sending_85>=1)))||((Server_Anwering_45_8>=1)&&(Client_Sending_45>=1)))||((Client_Sending_3>=1)&&(Server_Anwering_3_7>=1)))||((Server_Anwering_80_4>=1)&&(Client_Sending_80>=1)))||((Server_Anwering_3_1>=1)&&(Client_Sending_3>=1)))||((Client_Sending_70>=1)&&(Server_Anwering_70_8>=1)))||((Server_Anwering_64_8>=1)&&(Client_Sending_64>=1)))||((Client_Sending_100>=1)&&(Server_Anwering_100_1>=1)))||((Server_Anwering_5_6>=1)&&(Client_Sending_5>=1)))||((Client_Sending_87>=1)&&(Server_Anwering_87_8>=1)))||((Client_Sending_64>=1)&&(Server_Anwering_64_3>=1)))||((Client_Sending_45>=1)&&(Server_Anwering_45_10>=1)))||((Client_Sending_30>=1)&&(Server_Anwering_30_9>=1)))||((Server_Anwering_18_2>=1)&&(Client_Sending_18>=1)))||((Server_Anwering_80_5>=1)&&(Client_Sending_80>=1)))||((Client_Sending_31>=1)&&(Server_Anwering_31_7>=1)))||((Client_Sending_71>=1)&&(Server_Anwering_71_7>=1)))||((Client_Sending_64>=1)&&(Server_Anwering_64_5>=1)))||((Client_Sending_66>=1)&&(Server_Anwering_66_6>=1)))||((Server_Anwering_2_5>=1)&&(Client_Sending_2>=1)))||((Client_Sending_74>=1)&&(Server_Anwering_74_5>=1)))||((Server_Anwering_85_1>=1)&&(Client_Sending_85>=1)))||((Server_Anwering_24_8>=1)&&(Client_Sending_24>=1)))||((Server_Anwering_2_8>=1)&&(Client_Sending_2>=1)))||((Client_Sending_51>=1)&&(Server_Anwering_51_4>=1)))||((Client_Sending_73>=1)&&(Server_Anwering_73_1>=1)))||((Server_Anwering_43_5>=1)&&(Client_Sending_43>=1)))||((Client_Sending_80>=1)&&(Server_Anwering_80_9>=1)))||((Server_Anwering_94_1>=1)&&(Client_Sending_94>=1)))||((Client_Sending_48>=1)&&(Server_Anwering_48_6>=1)))||((Client_Sending_12>=1)&&(Server_Anwering_12_7>=1)))||((Client_Sending_66>=1)&&(Server_Anwering_66_1>=1)))||((Client_Sending_89>=1)&&(Server_Anwering_89_3>=1)))||((Server_Anwering_36_10>=1)&&(Client_Sending_36>=1)))||((Server_Anwering_5_9>=1)&&(Client_Sending_5>=1)))||((Client_Sending_95>=1)&&(Server_Anwering_95_3>=1)))||((Server_Anwering_43_9>=1)&&(Client_Sending_43>=1)))||((Server_Anwering_2_7>=1)&&(Client_Sending_2>=1)))||((Server_Anwering_60_7>=1)&&(Client_Sending_60>=1)))||((Server_Anwering_27_2>=1)&&(Client_Sending_27>=1)))||((Client_Sending_89>=1)&&(Server_Anwering_89_6>=1)))||((Client_Sending_94>=1)&&(Server_Anwering_94_2>=1)))||((Client_Sending_8>=1)&&(Server_Anwering_8_3>=1)))||((Client_Sending_8>=1)&&(Server_Anwering_8_6>=1)))||((Client_Sending_94>=1)&&(Server_Anwering_94_6>=1)))||((Server_Anwering_82_1>=1)&&(Client_Sending_82>=1)))||((Server_Anwering_86_8>=1)&&(Client_Sending_86>=1)))||((Server_Anwering_92_10>=1)&&(Client_Sending_92>=1)))||((Client_Sending_95>=1)&&(Server_Anwering_95_6>=1)))||((Client_Sending_63>=1)&&(Server_Anwering_63_10>=1)))||((Client_Sending_97>=1)&&(Server_Anwering_97_1>=1)))||((Client_Sending_29>=1)&&(Server_Anwering_29_1>=1)))||((Server_Anwering_19_3>=1)&&(Client_Sending_19>=1)))||((Server_Anwering_55_3>=1)&&(Client_Sending_55>=1)))||((Server_Anwering_49_5>=1)&&(Client_Sending_49>=1)))||((Client_Sending_23>=1)&&(Server_Anwering_23_8>=1)))||((Server_Anwering_71_2>=1)&&(Client_Sending_71>=1)))||((Client_Sending_2>=1)&&(Server_Anwering_2_9>=1)))||((Client_Sending_10>=1)&&(Server_Anwering_10_1>=1)))||((Client_Sending_40>=1)&&(Server_Anwering_40_9>=1)))||((Client_Sending_51>=1)&&(Server_Anwering_51_7>=1)))||((Server_Anwering_51_9>=1)&&(Client_Sending_51>=1)))||((Client_Sending_10>=1)&&(Server_Anwering_10_5>=1)))||((Server_Anwering_23_4>=1)&&(Client_Sending_23>=1)))||((Client_Sending_96>=1)&&(Server_Anwering_96_9>=1)))||((Server_Anwering_80_7>=1)&&(Client_Sending_80>=1)))||((Client_Sending_50>=1)&&(Server_Anwering_50_3>=1)))||((Server_Anwering_62_9>=1)&&(Client_Sending_62>=1)))||((Server_Anwering_99_7>=1)&&(Client_Sending_99>=1)))||((Client_Sending_74>=1)&&(Server_Anwering_74_4>=1)))||((Server_Anwering_39_6>=1)&&(Client_Sending_39>=1)))||((Server_Anwering_77_8>=1)&&(Client_Sending_77>=1)))||((Client_Sending_54>=1)&&(Server_Anwering_54_10>=1)))||((Server_Anwering_8_8>=1)&&(Client_Sending_8>=1)))||((Server_Anwering_99_2>=1)&&(Client_Sending_99>=1)))||((Client_Sending_26>=1)&&(Server_Anwering_26_10>=1)))||((Client_Sending_38>=1)&&(Server_Anwering_38_7>=1)))||((Client_Sending_17>=1)&&(Server_Anwering_17_10>=1)))||((Client_Sending_65>=1)&&(Server_Anwering_65_4>=1)))||((Client_Sending_45>=1)&&(Server_Anwering_45_7>=1)))||((Server_Anwering_85_2>=1)&&(Client_Sending_85>=1)))||((Server_Anwering_51_1>=1)&&(Client_Sending_51>=1)))||((Client_Sending_54>=1)&&(Server_Anwering_54_6>=1)))||((Client_Sending_21>=1)&&(Server_Anwering_21_5>=1)))||((Client_Sending_45>=1)&&(Server_Anwering_45_4>=1)))||((Client_Sending_58>=1)&&(Server_Anwering_58_8>=1)))||((Client_Sending_38>=1)&&(Server_Anwering_38_1>=1)))||((Server_Anwering_57_2>=1)&&(Client_Sending_57>=1)))||((Client_Sending_12>=1)&&(Server_Anwering_12_1>=1)))||((Client_Sending_94>=1)&&(Server_Anwering_94_5>=1)))||((Client_Sending_16>=1)&&(Server_Anwering_16_4>=1)))||((Server_Anwering_90_1>=1)&&(Client_Sending_90>=1)))||((Client_Sending_32>=1)&&(Server_Anwering_32_6>=1)))||((Server_Anwering_67_7>=1)&&(Client_Sending_67>=1)))||((Client_Sending_35>=1)&&(Server_Anwering_35_4>=1)))||((Server_Anwering_23_7>=1)&&(Client_Sending_23>=1)))||((Server_Anwering_27_10>=1)&&(Client_Sending_27>=1)))||((Server_Anwering_96_2>=1)&&(Client_Sending_96>=1)))||((Client_Sending_46>=1)&&(Server_Anwering_46_2>=1)))||((Client_Sending_59>=1)&&(Server_Anwering_59_9>=1)))||((Server_Anwering_10_7>=1)&&(Client_Sending_10>=1)))||((Server_Anwering_74_10>=1)&&(Client_Sending_74>=1)))||((Server_Anwering_35_2>=1)&&(Client_Sending_35>=1)))||((Client_Sending_81>=1)&&(Server_Anwering_81_3>=1)))||((Client_Sending_35>=1)&&(Server_Anwering_35_5>=1)))||((Client_Sending_80>=1)&&(Server_Anwering_80_10>=1)))||((Server_Anwering_30_5>=1)&&(Client_Sending_30>=1)))||((Client_Sending_99>=1)&&(Server_Anwering_99_5>=1)))||((Server_Anwering_85_4>=1)&&(Client_Sending_85>=1)))||((Client_Sending_25>=1)&&(Server_Anwering_25_2>=1)))||((Client_Sending_72>=1)&&(Server_Anwering_72_9>=1)))||((Client_Sending_68>=1)&&(Server_Anwering_68_6>=1)))||((Client_Sending_10>=1)&&(Server_Anwering_10_2>=1)))||((Client_Sending_60>=1)&&(Server_Anwering_60_4>=1)))||((Server_Anwering_79_9>=1)&&(Client_Sending_79>=1)))||((Server_Anwering_71_5>=1)&&(Client_Sending_71>=1)))||((Client_Sending_18>=1)&&(Server_Anwering_18_4>=1)))||((Server_Anwering_97_8>=1)&&(Client_Sending_97>=1)))||((Server_Anwering_50_8>=1)&&(Client_Sending_50>=1)))||((Server_Anwering_30_8>=1)&&(Client_Sending_30>=1)))||((Server_Anwering_100_9>=1)&&(Client_Sending_100>=1)))||((Server_Anwering_52_7>=1)&&(Client_Sending_52>=1)))||((Server_Anwering_65_6>=1)&&(Client_Sending_65>=1)))||((Server_Anwering_41_3>=1)&&(Client_Sending_41>=1)))||((Server_Anwering_43_1>=1)&&(Client_Sending_43>=1)))||((Server_Anwering_28_3>=1)&&(Client_Sending_28>=1)))||((Server_Anwering_17_7>=1)&&(Client_Sending_17>=1)))||((Client_Sending_94>=1)&&(Server_Anwering_94_7>=1)))||((Server_Anwering_69_9>=1)&&(Client_Sending_69>=1)))||((Client_Sending_44>=1)&&(Server_Anwering_44_9>=1)))||((Client_Sending_11>=1)&&(Server_Anwering_11_3>=1)))||((Server_Anwering_22_6>=1)&&(Client_Sending_22>=1)))||((Server_Anwering_95_10>=1)&&(Client_Sending_95>=1)))||((Client_Sending_7>=1)&&(Server_Anwering_7_10>=1)))||((Client_Sending_90>=1)&&(Server_Anwering_90_3>=1)))||((Client_Sending_88>=1)&&(Server_Anwering_88_8>=1)))||((Client_Sending_96>=1)&&(Server_Anwering_96_3>=1)))||((Client_Sending_65>=1)&&(Server_Anwering_65_8>=1)))||((Client_Sending_33>=1)&&(Server_Anwering_33_9>=1)))||((Server_Anwering_72_5>=1)&&(Client_Sending_72>=1)))||((Server_Anwering_78_4>=1)&&(Client_Sending_78>=1)))||((Client_Sending_75>=1)&&(Server_Anwering_75_2>=1)))||((Client_Sending_63>=1)&&(Server_Anwering_63_5>=1)))||((Client_Sending_51>=1)&&(Server_Anwering_51_8>=1)))||((Client_Sending_1>=1)&&(Server_Anwering_1_8>=1)))||((Client_Sending_65>=1)&&(Server_Anwering_65_1>=1)))||((Client_Sending_71>=1)&&(Server_Anwering_71_10>=1)))||((Server_Anwering_68_9>=1)&&(Client_Sending_68>=1)))||((Client_Sending_27>=1)&&(Server_Anwering_27_6>=1)))||((Client_Sending_88>=1)&&(Server_Anwering_88_4>=1)))||((Server_Anwering_52_4>=1)&&(Client_Sending_52>=1)))||((Server_Anwering_72_7>=1)&&(Client_Sending_72>=1)))||((Server_Anwering_16_7>=1)&&(Client_Sending_16>=1)))||((Server_Anwering_90_9>=1)&&(Client_Sending_90>=1)))||((Server_Anwering_65_10>=1)&&(Client_Sending_65>=1)))||((Server_Anwering_68_2>=1)&&(Client_Sending_68>=1)))||((Client_Sending_74>=1)&&(Server_Anwering_74_1>=1)))||((Server_Anwering_67_4>=1)&&(Client_Sending_67>=1)))||((Client_Sending_35>=1)&&(Server_Anwering_35_10>=1)))||((Client_Sending_87>=1)&&(Server_Anwering_87_1>=1)))||((Client_Sending_79>=1)&&(Server_Anwering_79_7>=1)))||((Client_Sending_93>=1)&&(Server_Anwering_93_2>=1)))||((Client_Sending_86>=1)&&(Server_Anwering_86_2>=1)))||((Client_Sending_20>=1)&&(Server_Anwering_20_2>=1)))||((Server_Anwering_29_4>=1)&&(Client_Sending_29>=1)))||((Server_Anwering_37_7>=1)&&(Client_Sending_37>=1)))||((Client_Sending_34>=1)&&(Server_Anwering_34_5>=1)))||((Server_Anwering_18_10>=1)&&(Client_Sending_18>=1)))||((Server_Anwering_51_6>=1)&&(Client_Sending_51>=1)))||((Server_Anwering_85_5>=1)&&(Client_Sending_85>=1)))||((Server_Anwering_9_4>=1)&&(Client_Sending_9>=1)))||((Client_Sending_92>=1)&&(Server_Anwering_92_1>=1)))||((Server_Anwering_66_10>=1)&&(Client_Sending_66>=1)))||((Server_Anwering_74_7>=1)&&(Client_Sending_74>=1)))||((Server_Anwering_52_3>=1)&&(Client_Sending_52>=1)))||((Client_Sending_70>=1)&&(Server_Anwering_70_3>=1)))||((Server_Anwering_65_2>=1)&&(Client_Sending_65>=1)))||((Client_Sending_55>=1)&&(Server_Anwering_55_2>=1)))||((Server_Anwering_32_3>=1)&&(Client_Sending_32>=1)))||((Server_Anwering_25_9>=1)&&(Client_Sending_25>=1)))||((Server_Anwering_43_7>=1)&&(Client_Sending_43>=1)))||((Client_Sending_60>=1)&&(Server_Anwering_60_6>=1)))||((Client_Sending_37>=1)&&(Server_Anwering_37_8>=1)))||((Client_Sending_18>=1)&&(Server_Anwering_18_1>=1)))||((Server_Anwering_93_6>=1)&&(Client_Sending_93>=1)))||((Server_Anwering_23_5>=1)&&(Client_Sending_23>=1)))||((Client_Sending_87>=1)&&(Server_Anwering_87_3>=1)))||((Client_Sending_38>=1)&&(Server_Anwering_38_9>=1)))||((Client_Sending_53>=1)&&(Server_Anwering_53_10>=1)))||((Client_Sending_39>=1)&&(Server_Anwering_39_9>=1)))||((Client_Sending_58>=1)&&(Server_Anwering_58_2>=1)))||((Client_Sending_54>=1)&&(Server_Anwering_54_1>=1)))||((Client_Sending_78>=1)&&(Server_Anwering_78_8>=1)))||((Server_Anwering_5_2>=1)&&(Client_Sending_5>=1)))||((Client_Sending_22>=1)&&(Server_Anwering_22_3>=1)))||((Server_Anwering_49_3>=1)&&(Client_Sending_49>=1)))||((Client_Sending_15>=1)&&(Server_Anwering_15_2>=1)))||((Client_Sending_29>=1)&&(Server_Anwering_29_3>=1)))||((Client_Sending_11>=1)&&(Server_Anwering_11_9>=1)))||((Server_Anwering_100_10>=1)&&(Client_Sending_100>=1)))||((Client_Sending_95>=1)&&(Server_Anwering_95_4>=1)))||((Server_Anwering_79_6>=1)&&(Client_Sending_79>=1)))||((Client_Sending_6>=1)&&(Server_Anwering_6_5>=1)))||((Client_Sending_22>=1)&&(Server_Anwering_22_8>=1)))||((Server_Anwering_46_7>=1)&&(Client_Sending_46>=1)))||((Client_Sending_16>=1)&&(Server_Anwering_16_9>=1)))||((Server_Anwering_15_4>=1)&&(Client_Sending_15>=1)))||((Server_Anwering_85_8>=1)&&(Client_Sending_85>=1)))||((Client_Sending_41>=1)&&(Server_Anwering_41_5>=1)))||((Server_Anwering_71_1>=1)&&(Client_Sending_71>=1)))||((Server_Anwering_58_5>=1)&&(Client_Sending_58>=1)))||((Server_Anwering_38_4>=1)&&(Client_Sending_38>=1)))||((Server_Anwering_17_1>=1)&&(Client_Sending_17>=1)))||((Client_Sending_24>=1)&&(Server_Anwering_24_7>=1)))||((Client_Sending_43>=1)&&(Server_Anwering_43_8>=1)))||((Server_Anwering_13_6>=1)&&(Client_Sending_13>=1)))||((Client_Sending_61>=1)&&(Server_Anwering_61_1>=1)))||((Server_Anwering_16_5>=1)&&(Client_Sending_16>=1)))||((Server_Anwering_95_9>=1)&&(Client_Sending_95>=1)))||((Client_Sending_3>=1)&&(Server_Anwering_3_3>=1)))||((Server_Anwering_100_5>=1)&&(Client_Sending_100>=1)))||((Client_Sending_38>=1)&&(Server_Anwering_38_2>=1)))||((Server_Anwering_87_9>=1)&&(Client_Sending_87>=1)))||((Server_Anwering_93_10>=1)&&(Client_Sending_93>=1)))||((Server_Anwering_10_9>=1)&&(Client_Sending_10>=1)))||((Client_Sending_64>=1)&&(Server_Anwering_64_1>=1)))||((Client_Sending_24>=1)&&(Server_Anwering_24_4>=1)))||((Client_Sending_46>=1)&&(Server_Anwering_46_4>=1)))||((Client_Sending_47>=1)&&(Server_Anwering_47_2>=1)))||((Server_Anwering_82_9>=1)&&(Client_Sending_82>=1)))||((Server_Anwering_33_2>=1)&&(Client_Sending_33>=1)))||((Server_Anwering_76_3>=1)&&(Client_Sending_76>=1)))||((Client_Sending_7>=1)&&(Server_Anwering_7_8>=1)))||((Server_Anwering_54_9>=1)&&(Client_Sending_54>=1)))||((Server_Anwering_73_9>=1)&&(Client_Sending_73>=1)))||((Client_Sending_13>=1)&&(Server_Anwering_13_5>=1)))||((Client_Sending_25>=1)&&(Server_Anwering_25_10>=1))))&&(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((Client_Sending_28>=1)&&(RequestBufferSlots>=1))||((RequestBufferSlots>=1)&&(Client_Sending_97>=1)))||((Client_Sending_35>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_47>=1)))||((Client_Sending_46>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_88>=1)))||((Client_Sending_69>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_22>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_96>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_8>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_75>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_60>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_61>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_29>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_33>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_24>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_15>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_82>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_42>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_89>=1)))||((Client_Sending_6>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_54>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_7>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_76>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_85>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_57>=1)))||((Client_Sending_14>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_95>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_48>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_68>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_16>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_66>=1)))||((Client_Sending_94>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_67>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_34>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_41>=1)))||((Client_Sending_13>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_87>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_84>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_49>=1)))||((Client_Sending_74>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_56>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_26>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_59>=1)))||((Client_Sending_77>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_23>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_12>=1)))||((Client_Sending_78>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_3>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_31>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_40>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_50>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_79>=1)))||((Client_Sending_17>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_18>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_11>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_5>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_4>=1)))||((Client_Sending_25>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_71>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_58>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_39>=1)))||((Client_Sending_86>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_10>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_1>=1)))||((Client_Sending_32>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_51>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_93>=1)))||((Client_Sending_92>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_65>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_64>=1)))||((Client_Sending_99>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_62>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_63>=1)))||((Client_Sending_53>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_72>=1)))||((Client_Sending_43>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_91>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_19>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_37>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_44>=1)))||((Client_Sending_81>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_52>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_70>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_38>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_20>=1)))||((Client_Sending_100>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_73>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_90>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_45>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_55>=1)))||((Client_Sending_36>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_83>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_27>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_98>=1)))||((Client_Sending_80>=1)&&(RequestBufferSlots>=1)))||((Client_Sending_2>=1)&&(RequestBufferSlots>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_30>=1)))||((RequestBufferSlots>=1)&&(Client_Sending_9>=1)))||((Client_Sending_21>=1)&&(RequestBufferSlots>=1))))) found Support [Client_Sending_79, Server_Anwering_79_10, Server_Anwering_9_7, Client_Sending_9, Client_Sending_36, Server_Anwering_36_8, Server_Anwering_9_1, Server_Anwering_9_8, Server_Anwering_65_7, Client_Sending_65, Server_Anwering_25_6, Client_Sending_25, Client_Sending_52, Server_Anwering_52_10, Server_Anwering_46_10, Client_Sending_46, Client_Sending_88, Server_Anwering_88_2, Client_Sending_87, Server_Anwering_87_4, Client_Sending_18, Server_Anwering_18_8, Client_Sending_67, Server_Anwering_67_9, Client_Sending_23, Server_Anwering_23_1, Server_Anwering_86_4, Client_Sending_86, Client_Sending_68, Server_Anwering_68_4, Client_Sending_59, Server_Anwering_59_3, Server_Anwering_31_3, Client_Sending_31, Server_Anwering_59_6, Client_Sending_42, Server_Anwering_42_3, Server_Anwering_62_5, Client_Sending_62, Client_Sending_83, Server_Anwering_83_2, Server_Anwering_37_10, Client_Sending_37, Server_Anwering_43_2, Client_Sending_43, Server_Anwering_59_4, Client_Sending_73, Server_Anwering_73_2, Client_Sending_57, Server_Anwering_57_8, Client_Sending_7, Server_Anwering_7_6, Client_Sending_77, Server_Anwering_77_4, Client_Sending_6, Server_Anwering_6_3, Server_Anwering_83_3, Server_Anwering_5_5, Client_Sending_5, Client_Sending_41, Server_Anwering_41_1, Server_Anwering_50_4, Client_Sending_50, Server_Anwering_44_1, Client_Sending_44, Server_Anwering_94_10, Client_Sending_94, Server_Anwering_78_2, Client_Sending_78, Client_Sending_51, Server_Anwering_51_5, Server_Anwering_72_1, Client_Sending_72, Server_Anwering_62_1, Server_Anwering_10_10, Client_Sending_10, Client_Sending_40, Server_Anwering_40_6, Server_Anwering_39_4, Client_Sending_39, Server_Anwering_31_9, Server_Anwering_1_4, Client_Sending_1, Server_Anwering_88_6, Server_Anwering_1_3, Server_Anwering_94_3, Client_Sending_82, Server_Anwering_82_6, Server_Anwering_31_6, Server_Anwering_21_3, Client_Sending_21, Client_Sending_17, Server_Anwering_17_9, Server_Anwering_57_4, Server_Anwering_28_6, Client_Sending_28, Server_Anwering_15_7, Client_Sending_15, Client_Sending_89, Server_Anwering_89_8, Server_Anwering_96_8, Client_Sending_96, Client_Sending_34, Server_Anwering_34_1, Server_Anwering_18_6, Server_Anwering_44_5, Server_Anwering_73_6, Server_Anwering_8_5, Client_Sending_8, Server_Anwering_81_1, Client_Sending_81, Client_Sending_24, Server_Anwering_24_5, Server_Anwering_95_1, Client_Sending_95, Server_Anwering_60_9, Client_Sending_60, Server_Anwering_81_7, Server_Anwering_76_1, Client_Sending_76, Server_Anwering_39_3, Server_Anwering_38_8, Client_Sending_38, Server_Anwering_46_9, Client_Sending_66, Server_Anwering_66_8, Server_Anwering_96_6, Server_Anwering_92_5, Client_Sending_92, Server_Anwering_70_6, Client_Sending_70, Server_Anwering_3_9, Client_Sending_3, Server_Anwering_97_6, Client_Sending_97, Server_Anwering_96_4, Client_Sending_91, Server_Anwering_91_7, Server_Anwering_6_2, Server_Anwering_80_6, Client_Sending_80, Client_Sending_90, Server_Anwering_90_7, Client_Sending_63, Server_Anwering_63_1, Server_Anwering_34_2, Server_Anwering_24_10, Server_Anwering_43_10, Server_Anwering_67_3, Server_Anwering_12_3, Client_Sending_12, Client_Sending_48, Server_Anwering_48_8, Server_Anwering_53_2, Client_Sending_53, Client_Sending_49, Server_Anwering_49_6, Client_Sending_100, Server_Anwering_100_7, Server_Anwering_39_8, Client_Sending_4, Server_Anwering_4_4, Server_Anwering_77_6, Client_Sending_14, Server_Anwering_14_5, Server_Anwering_11_4, Client_Sending_11, Server_Anwering_37_4, Server_Anwering_67_8, Client_Sending_20, Server_Anwering_20_6, Server_Anwering_30_3, Client_Sending_30, Client_Sending_22, Server_Anwering_22_4, Server_Anwering_50_2, Server_Anwering_57_3, Server_Anwering_72_10, Client_Sending_29, Server_Anwering_29_8, Server_Anwering_40_2, Server_Anwering_15_5, Server_Anwering_23_2, Server_Anwering_53_7, Server_Anwering_45_9, Client_Sending_45, Server_Anwering_30_4, Server_Anwering_84_3, Client_Sending_84, Server_Anwering_60_2, Server_Anwering_88_9, Server_Anwering_52_6, Server_Anwering_53_9, Server_Anwering_15_10, Server_Anwering_19_8, Client_Sending_19, Server_Anwering_18_9, Server_Anwering_53_1, Server_Anwering_37_2, Client_Sending_33, Server_Anwering_33_5, Server_Anwering_56_2, Client_Sending_56, Server_Anwering_20_8, Server_Anwering_65_9, Client_Sending_69, Server_Anwering_69_4, Server_Anwering_69_5, Server_Anwering_74_8, Client_Sending_74, Server_Anwering_62_3, Server_Anwering_90_4, Server_Anwering_90_8, Server_Anwering_23_10, Server_Anwering_97_5, Server_Anwering_46_8, Server_Anwering_3_10, Server_Anwering_17_2, Client_Sending_26, Server_Anwering_26_1, Server_Anwering_9_2, Server_Anwering_23_3, Server_Anwering_82_5, Server_Anwering_84_8, Server_Anwering_87_2, Server_Anwering_92_7, Server_Anwering_91_8, Server_Anwering_59_10, Server_Anwering_84_1, Server_Anwering_56_9, Server_Anwering_31_1, Server_Anwering_12_10, Server_Anwering_87_10, Server_Anwering_10_6, Server_Anwering_7_7, Server_Anwering_77_10, Server_Anwering_97_4, Server_Anwering_79_5, Server_Anwering_1_1, Server_Anwering_62_4, Server_Anwering_97_10, Client_Sending_2, Server_Anwering_2_10, Server_Anwering_25_7, Client_Sending_32, Server_Anwering_32_4, Server_Anwering_44_3, Server_Anwering_44_6, Server_Anwering_9_10, Server_Anwering_56_8, Server_Anwering_18_7, Server_Anwering_54_7, Client_Sending_54, Server_Anwering_100_8, Server_Anwering_2_4, Server_Anwering_24_9, Server_Anwering_81_9, Server_Anwering_68_10, Server_Anwering_87_6, Server_Anwering_42_5, Server_Anwering_51_10, Server_Anwering_66_7, Server_Anwering_73_7, Server_Anwering_28_7, Client_Sending_35, Server_Anwering_35_7, Server_Anwering_86_10, Server_Anwering_75_8, Client_Sending_75, Server_Anwering_12_2, Client_Sending_98, Server_Anwering_98_2, Server_Anwering_36_1, Server_Anwering_52_5, Server_Anwering_49_1, Server_Anwering_49_4, Server_Anwering_9_9, Server_Anwering_15_1, Server_Anwering_16_3, Client_Sending_16, Server_Anwering_34_6, Server_Anwering_100_6, Server_Anwering_72_6, Server_Anwering_70_1, Server_Anwering_76_4, Server_Anwering_74_9, Server_Anwering_28_8, Client_Sending_27, Server_Anwering_27_4, Server_Anwering_48_7, Server_Anwering_67_10, Server_Anwering_98_1, Server_Anwering_65_3, Server_Anwering_83_4, Server_Anwering_3_4, Server_Anwering_84_9, Server_Anwering_21_4, Server_Anwering_39_5, Server_Anwering_45_2, Server_Anwering_82_7, Server_Anwering_93_3, Client_Sending_93, Server_Anwering_60_5, Server_Anwering_17_3, Server_Anwering_9_3, Server_Anwering_44_10, Server_Anwering_89_1, Server_Anwering_76_8, Server_Anwering_58_4, Client_Sending_58, Server_Anwering_31_8, Server_Anwering_62_6, Server_Anwering_8_1, Server_Anwering_70_2, Server_Anwering_32_5, Server_Anwering_12_4, Server_Anwering_38_3, Server_Anwering_99_3, Client_Sending_99, Server_Anwering_67_6, Server_Anwering_32_2, Server_Anwering_40_4, Server_Anwering_10_8, Server_Anwering_75_3, Client_Sending_85, Server_Anwering_85_6, Server_Anwering_40_3, Server_Anwering_75_9, Server_Anwering_77_1, Server_Anwering_41_6, Server_Anwering_38_10, Server_Anwering_49_8, Server_Anwering_16_10, Server_Anwering_84_2, Server_Anwering_59_2, Server_Anwering_30_10, Server_Anwering_12_6, Server_Anwering_92_3, Server_Anwering_98_8, Server_Anwering_83_9, Server_Anwering_16_1, Server_Anwering_84_5, Server_Anwering_81_5, Server_Anwering_70_4, Server_Anwering_67_2, Server_Anwering_78_10, Server_Anwering_70_5, Server_Anwering_90_6, Server_Anwering_8_9, Server_Anwering_96_10, Server_Anwering_95_2, Server_Anwering_31_4, Server_Anwering_36_7, Server_Anwering_43_6, Server_Anwering_89_7, Server_Anwering_24_3, Server_Anwering_42_6, Server_Anwering_20_4, Server_Anwering_3_5, Server_Anwering_36_9, Server_Anwering_63_7, Server_Anwering_76_2, Server_Anwering_98_6, Server_Anwering_54_3, Server_Anwering_54_5, Server_Anwering_26_7, Server_Anwering_21_10, Server_Anwering_73_3, Server_Anwering_49_10, Server_Anwering_58_10, Server_Anwering_4_3, Server_Anwering_8_7, Server_Anwering_69_1, Server_Anwering_98_5, Server_Anwering_12_8, Server_Anwering_25_1, Server_Anwering_73_8, Server_Anwering_83_8, Server_Anwering_68_3, Server_Anwering_9_6, Server_Anwering_41_4, Server_Anwering_75_1, Server_Anwering_4_2, Server_Anwering_75_4, Server_Anwering_92_9, Server_Anwering_99_10, Server_Anwering_28_1, Server_Anwering_40_10, Client_Sending_61, Server_Anwering_61_2, Server_Anwering_88_10, Client_Sending_55, Server_Anwering_55_8, Server_Anwering_11_5, Server_Anwering_61_5, Server_Anwering_26_2, Server_Anwering_11_10, Server_Anwering_48_2, Server_Anwering_87_5, Server_Anwering_81_2, Server_Anwering_98_4, Server_Anwering_33_6, Server_Anwering_55_7, Server_Anwering_60_10, Server_Anwering_66_9, Server_Anwering_2_1, Server_Anwering_37_3, Server_Anwering_91_3, Server_Anwering_56_1, Server_Anwering_100_3, Server_Anwering_93_1, Server_Anwering_20_1, Server_Anwering_94_9, Server_Anwering_28_4, Server_Anwering_42_2, Server_Anwering_6_7, Server_Anwering_64_7, Client_Sending_64, Server_Anwering_4_10, Server_Anwering_7_1, Server_Anwering_6_4, Server_Anwering_85_10, Server_Anwering_3_2, Server_Anwering_22_10, Server_Anwering_31_10, Server_Anwering_69_8, Server_Anwering_15_6, Server_Anwering_1_10, Server_Anwering_14_2, Server_Anwering_25_4, Server_Anwering_19_9, Server_Anwering_76_5, Server_Anwering_61_6, Server_Anwering_59_5, Server_Anwering_31_2, Server_Anwering_26_9, Server_Anwering_59_8, Server_Anwering_33_1, Server_Anwering_39_1, Server_Anwering_31_5, Server_Anwering_26_6, Server_Anwering_84_4, Server_Anwering_78_3, Client_Sending_13, Server_Anwering_13_7, Server_Anwering_64_6, Server_Anwering_98_7, Server_Anwering_24_2, Server_Anwering_60_8, Server_Anwering_67_5, Server_Anwering_26_5, Server_Anwering_75_10, Server_Anwering_48_4, Server_Anwering_56_7, Client_Sending_47, Server_Anwering_47_9, Server_Anwering_17_8, Server_Anwering_54_8, Server_Anwering_37_9, Server_Anwering_76_9, Server_Anwering_45_3, Server_Anwering_13_4, Server_Anwering_55_4, Server_Anwering_48_1, Server_Anwering_17_6, Server_Anwering_60_3, Server_Anwering_85_3, Server_Anwering_21_2, Server_Anwering_62_2, Server_Anwering_34_4, Server_Anwering_58_9, Server_Anwering_57_6, Server_Anwering_20_7, Server_Anwering_51_2, Server_Anwering_91_9, Server_Anwering_74_3, Server_Anwering_90_5, Server_Anwering_3_8, Server_Anwering_19_4, Server_Anwering_18_3, Server_Anwering_75_7, Server_Anwering_75_6, Server_Anwering_81_8, Server_Anwering_70_7, Server_Anwering_41_7, Server_Anwering_39_10, Server_Anwering_84_7, Server_Anwering_42_4, Server_Anwering_99_4, Server_Anwering_7_9, Server_Anwering_89_10, Server_Anwering_41_8, Server_Anwering_29_9, Server_Anwering_99_6, Server_Anwering_4_6, Server_Anwering_78_1, Server_Anwering_47_6, Server_Anwering_89_2, Server_Anwering_89_5, Server_Anwering_32_8, Server_Anwering_40_5, Server_Anwering_51_3, Server_Anwering_96_1, Server_Anwering_93_9, Server_Anwering_29_10, Server_Anwering_47_7, Server_Anwering_12_5, Server_Anwering_86_1, Server_Anwering_46_3, Server_Anwering_6_9, Server_Anwering_50_10, Server_Anwering_47_8, Server_Anwering_27_7, Server_Anwering_57_10, Server_Anwering_42_1, Server_Anwering_86_6, Server_Anwering_77_9, Server_Anwering_82_4, Server_Anwering_86_3, Server_Anwering_32_10, Server_Anwering_11_2, Server_Anwering_79_2, Server_Anwering_23_6, Server_Anwering_95_5, Server_Anwering_55_9, Server_Anwering_83_1, Server_Anwering_90_10, Server_Anwering_48_9, Server_Anwering_56_4, Server_Anwering_11_8, Server_Anwering_64_9, Server_Anwering_70_10, Server_Anwering_40_8, Server_Anwering_9_5, Server_Anwering_83_7, Server_Anwering_1_9, Server_Anwering_29_2, Server_Anwering_64_4, Server_Anwering_68_8, Server_Anwering_92_8, Server_Anwering_97_2, Server_Anwering_30_1, Server_Anwering_56_10, Server_Anwering_14_7, Server_Anwering_58_1, Server_Anwering_58_6, Server_Anwering_47_4, Server_Anwering_34_7, Server_Anwering_20_9, Server_Anwering_90_2, Server_Anwering_53_5, Server_Anwering_14_4, Server_Anwering_53_3, Server_Anwering_37_1, Server_Anwering_47_10, Server_Anwering_63_3, Server_Anwering_84_10, Server_Anwering_78_6, Server_Anwering_92_4, Server_Anwering_69_2, Server_Anwering_97_7, Server_Anwering_50_7, Server_Anwering_77_3, Server_Anwering_47_1, Server_Anwering_50_6, Server_Anwering_86_9, Server_Anwering_61_10, Server_Anwering_15_3, Server_Anwering_71_4, Client_Sending_71, Server_Anwering_56_3, Server_Anwering_69_6, Server_Anwering_72_2, Server_Anwering_34_9, Server_Anwering_14_10, Server_Anwering_39_2, Server_Anwering_40_1, Server_Anwering_61_7, Server_Anwering_26_8, Server_Anwering_89_4, Server_Anwering_19_1, Server_Anwering_57_7, Server_Anwering_33_4, Server_Anwering_35_6, Server_Anwering_35_9, Server_Anwering_5_10, Server_Anwering_100_2, Server_Anwering_5_4, Server_Anwering_25_5, Server_Anwering_67_1, Server_Anwering_1_2, Server_Anwering_19_7, Server_Anwering_54_2, Server_Anwering_92_6, Server_Anwering_43_3, Server_Anwering_93_8, Server_Anwering_26_4, Server_Anwering_24_6, Server_Anwering_88_1, Server_Anwering_7_3, Server_Anwering_93_5, Server_Anwering_76_7, Server_Anwering_13_1, Server_Anwering_4_8, Server_Anwering_19_10, Server_Anwering_33_10, Server_Anwering_20_5, Server_Anwering_30_2, Server_Anwering_21_9, Server_Anwering_42_9, Server_Anwering_33_3, Server_Anwering_38_5, Server_Anwering_26_3, Server_Anwering_87_7, Server_Anwering_86_7, Server_Anwering_99_8, Server_Anwering_14_1, Server_Anwering_71_8, Server_Anwering_5_8, Server_Anwering_36_3, Server_Anwering_28_10, Server_Anwering_76_10, Server_Anwering_80_8, Server_Anwering_33_7, Server_Anwering_61_3, Server_Anwering_45_5, Server_Anwering_64_2, Server_Anwering_50_1, Server_Anwering_61_8, Server_Anwering_82_8, Server_Anwering_27_5, Server_Anwering_60_1, Server_Anwering_98_10, Server_Anwering_17_5, Server_Anwering_77_7, Server_Anwering_33_8, Server_Anwering_100_4, Server_Anwering_83_6, Server_Anwering_14_9, Server_Anwering_5_7, Server_Anwering_75_5, Server_Anwering_5_3, Server_Anwering_16_2, Server_Anwering_55_6, Server_Anwering_62_7, Server_Anwering_91_4, Server_Anwering_66_5, Server_Anwering_85_9, Server_Anwering_69_7, Server_Anwering_28_9, Server_Anwering_6_10, Server_Anwering_48_5, Server_Anwering_13_10, Server_Anwering_81_6, Server_Anwering_48_10, Server_Anwering_83_5, Server_Anwering_55_1, Server_Anwering_98_9, Server_Anwering_38_6, Server_Anwering_42_10, Server_Anwering_48_3, Server_Anwering_54_4, Server_Anwering_57_9, Server_Anwering_58_7, Server_Anwering_82_2, Server_Anwering_35_8, Server_Anwering_63_4, Server_Anwering_41_10, Server_Anwering_96_5, Server_Anwering_39_7, Server_Anwering_71_3, Server_Anwering_80_1, Server_Anwering_45_1, Server_Anwering_42_7, Server_Anwering_36_6, Server_Anwering_62_10, Server_Anwering_68_5, Server_Anwering_27_1, Server_Anwering_1_5, Server_Anwering_3_6, Server_Anwering_27_9, Server_Anwering_81_4, Server_Anwering_22_1, Server_Anwering_82_10, Server_Anwering_32_7, Server_Anwering_61_4, Server_Anwering_13_2, Server_Anwering_49_9, Server_Anwering_86_5, Server_Anwering_14_6, Server_Anwering_78_5, Server_Anwering_63_9, Server_Anwering_32_1, Server_Anwering_55_5, Server_Anwering_66_3, Server_Anwering_34_8, Server_Anwering_83_10, Server_Anwering_21_6, Server_Anwering_69_10, Server_Anwering_10_3, Server_Anwering_45_6, Server_Anwering_1_6, Server_Anwering_29_7, Server_Anwering_6_8, Server_Anwering_59_7, Server_Anwering_22_9, Server_Anwering_52_1, Server_Anwering_91_6, Server_Anwering_19_2, Server_Anwering_79_3, Server_Anwering_96_7, Server_Anwering_25_3, Server_Anwering_53_8, Server_Anwering_34_3, Server_Anwering_43_4, Server_Anwering_62_8, Server_Anwering_2_2, Server_Anwering_4_5, Server_Anwering_63_8, Server_Anwering_95_7, Server_Anwering_14_8, Server_Anwering_11_6, Server_Anwering_13_3, Server_Anwering_15_8, Server_Anwering_78_7, Server_Anwering_37_5, Server_Anwering_50_9, Server_Anwering_7_4, Server_Anwering_88_7, Server_Anwering_23_9, Server_Anwering_20_10, Server_Anwering_92_2, Server_Anwering_29_6, Server_Anwering_56_5, Server_Anwering_4_1, Server_Anwering_63_6, Server_Anwering_59_1, Server_Anwering_46_5, Server_Anwering_19_5, Server_Anwering_91_1, Server_Anwering_4_9, Server_Anwering_44_8, Server_Anwering_25_8, Server_Anwering_78_9, Server_Anwering_84_6, Server_Anwering_79_1, Server_Anwering_44_2, Server_Anwering_72_4, Server_Anwering_35_3, Server_Anwering_49_7, Server_Anwering_41_2, Server_Anwering_28_5, Server_Anwering_63_2, Server_Anwering_74_6, Server_Anwering_32_9, Server_Anwering_68_1, Server_Anwering_79_4, Server_Anwering_80_3, Server_Anwering_53_6, Server_Anwering_97_3, Server_Anwering_98_3, Server_Anwering_66_4, Server_Anwering_68_7, Server_Anwering_11_7, Server_Anwering_72_8, Server_Anwering_58_3, Server_Anwering_20_3, Server_Anwering_22_2, Server_Anwering_1_7, Server_Anwering_21_7, Server_Anwering_40_7, Server_Anwering_77_5, Server_Anwering_91_10, Server_Anwering_72_3, Server_Anwering_91_5, Server_Anwering_6_6, Server_Anwering_97_9, Server_Anwering_99_1, Server_Anwering_53_4, Server_Anwering_52_2, Server_Anwering_55_10, Server_Anwering_8_4, Server_Anwering_22_5, Server_Anwering_36_4, Server_Anwering_74_2, Server_Anwering_95_8, Server_Anwering_80_2, Server_Anwering_34_10, Server_Anwering_65_5, Server_Anwering_18_5, Server_Anwering_70_9, Server_Anwering_11_1, Server_Anwering_52_8, Server_Anwering_2_3, Server_Anwering_94_8, Server_Anwering_13_8, Server_Anwering_24_1, Server_Anwering_22_7, Server_Anwering_91_2, Server_Anwering_8_2, Server_Anwering_79_8, Server_Anwering_4_7, Server_Anwering_47_3, Server_Anwering_46_6, Server_Anwering_57_5, Server_Anwering_16_6, Server_Anwering_64_10, Server_Anwering_47_5, Server_Anwering_29_5, Server_Anwering_77_2, Server_Anwering_93_4, Server_Anwering_61_9, Server_Anwering_56_6, Server_Anwering_2_6, Server_Anwering_94_4, Server_Anwering_7_5, Server_Anwering_73_10, Server_Anwering_37_6, Server_Anwering_21_1, Server_Anwering_49_2, Server_Anwering_50_5, Server_Anwering_73_5, Server_Anwering_5_1, Server_Anwering_88_5, Server_Anwering_69_3, Server_Anwering_13_9, Server_Anwering_16_8, Server_Anwering_73_4, Server_Anwering_30_7, Server_Anwering_19_6, Server_Anwering_7_2, Server_Anwering_89_9, Server_Anwering_66_2, Server_Anwering_41_9, Server_Anwering_71_6, Server_Anwering_46_1, Server_Anwering_14_3, Server_Anwering_44_7, Server_Anwering_99_9, Server_Anwering_35_1, Server_Anwering_17_4, Server_Anwering_36_5, Server_Anwering_8_10, Server_Anwering_81_10, Server_Anwering_57_1, Server_Anwering_36_2, Server_Anwering_10_4, Server_Anwering_88_3, Server_Anwering_93_7, Server_Anwering_27_8, Server_Anwering_30_6, Server_Anwering_6_1, Server_Anwering_42_8, Server_Anwering_76_6, Server_Anwering_71_9, Server_Anwering_12_9, Server_Anwering_15_9, Server_Anwering_44_4, Server_Anwering_27_3, Server_Anwering_82_3, Server_Anwering_52_9, Server_Anwering_21_8, Server_Anwering_28_2, Server_Anwering_85_7, Server_Anwering_45_8, Server_Anwering_3_7, Server_Anwering_80_4, Server_Anwering_3_1, Server_Anwering_70_8, Server_Anwering_64_8, Server_Anwering_100_1, Server_Anwering_5_6, Server_Anwering_87_8, Server_Anwering_64_3, Server_Anwering_45_10, Server_Anwering_30_9, Server_Anwering_18_2, Server_Anwering_80_5, Server_Anwering_31_7, Server_Anwering_71_7, Server_Anwering_64_5, Server_Anwering_66_6, Server_Anwering_2_5, Server_Anwering_74_5, Server_Anwering_85_1, Server_Anwering_24_8, Server_Anwering_2_8, Server_Anwering_51_4, Server_Anwering_73_1, Server_Anwering_43_5, Server_Anwering_80_9, Server_Anwering_94_1, Server_Anwering_48_6, Server_Anwering_12_7, Server_Anwering_66_1, Server_Anwering_89_3, Server_Anwering_36_10, Server_Anwering_5_9, Server_Anwering_95_3, Server_Anwering_43_9, Server_Anwering_2_7, Server_Anwering_60_7, Server_Anwering_27_2, Server_Anwering_89_6, Server_Anwering_94_2, Server_Anwering_8_3, Server_Anwering_8_6, Server_Anwering_94_6, Server_Anwering_82_1, Server_Anwering_86_8, Server_Anwering_92_10, Server_Anwering_95_6, Server_Anwering_63_10, Server_Anwering_97_1, Server_Anwering_29_1, Server_Anwering_19_3, Server_Anwering_55_3, Server_Anwering_49_5, Server_Anwering_23_8, Server_Anwering_71_2, Server_Anwering_2_9, Server_Anwering_10_1, Server_Anwering_40_9, Server_Anwering_51_7, Server_Anwering_51_9, Server_Anwering_10_5, Server_Anwering_23_4, Server_Anwering_96_9, Server_Anwering_80_7, Server_Anwering_50_3, Server_Anwering_62_9, Server_Anwering_99_7, Server_Anwering_74_4, Server_Anwering_39_6, Server_Anwering_77_8, Server_Anwering_54_10, Server_Anwering_8_8, Server_Anwering_99_2, Server_Anwering_26_10, Server_Anwering_38_7, Server_Anwering_17_10, Server_Anwering_65_4, Server_Anwering_45_7, Server_Anwering_85_2, Server_Anwering_51_1, Server_Anwering_54_6, Server_Anwering_21_5, Server_Anwering_45_4, Server_Anwering_58_8, Server_Anwering_38_1, Server_Anwering_57_2, Server_Anwering_12_1, Server_Anwering_94_5, Server_Anwering_16_4, Server_Anwering_90_1, Server_Anwering_32_6, Server_Anwering_67_7, Server_Anwering_35_4, Server_Anwering_23_7, Server_Anwering_27_10, Server_Anwering_96_2, Server_Anwering_46_2, Server_Anwering_59_9, Server_Anwering_10_7, Server_Anwering_74_10, Server_Anwering_35_2, Server_Anwering_81_3, Server_Anwering_35_5, Server_Anwering_80_10, Server_Anwering_30_5, Server_Anwering_99_5, Server_Anwering_85_4, Server_Anwering_25_2, Server_Anwering_72_9, Server_Anwering_68_6, Server_Anwering_10_2, Server_Anwering_60_4, Server_Anwering_79_9, Server_Anwering_71_5, Server_Anwering_18_4, Server_Anwering_97_8, Server_Anwering_50_8, Server_Anwering_30_8, Server_Anwering_100_9, Server_Anwering_52_7, Server_Anwering_65_6, Server_Anwering_41_3, Server_Anwering_43_1, Server_Anwering_28_3, Server_Anwering_17_7, Server_Anwering_94_7, Server_Anwering_69_9, Server_Anwering_44_9, Server_Anwering_11_3, Server_Anwering_22_6, Server_Anwering_95_10, Server_Anwering_7_10, Server_Anwering_90_3, Server_Anwering_88_8, Server_Anwering_96_3, Server_Anwering_65_8, Server_Anwering_33_9, Server_Anwering_72_5, Server_Anwering_78_4, Server_Anwering_75_2, Server_Anwering_63_5, Server_Anwering_51_8, Server_Anwering_1_8, Server_Anwering_65_1, Server_Anwering_71_10, Server_Anwering_68_9, Server_Anwering_27_6, Server_Anwering_88_4, Server_Anwering_52_4, Server_Anwering_72_7, Server_Anwering_16_7, Server_Anwering_90_9, Server_Anwering_65_10, Server_Anwering_68_2, Server_Anwering_74_1, Server_Anwering_67_4, Server_Anwering_35_10, Server_Anwering_87_1, Server_Anwering_79_7, Server_Anwering_93_2, Server_Anwering_86_2, Server_Anwering_20_2, Server_Anwering_29_4, Server_Anwering_37_7, Server_Anwering_34_5, Server_Anwering_18_10, Server_Anwering_51_6, Server_Anwering_85_5, Server_Anwering_9_4, Server_Anwering_92_1, Server_Anwering_66_10, Server_Anwering_74_7, Server_Anwering_52_3, Server_Anwering_70_3, Server_Anwering_65_2, Server_Anwering_55_2, Server_Anwering_32_3, Server_Anwering_25_9, Server_Anwering_43_7, Server_Anwering_60_6, Server_Anwering_37_8, Server_Anwering_18_1, Server_Anwering_93_6, Server_Anwering_23_5, Server_Anwering_87_3, Server_Anwering_38_9, Server_Anwering_53_10, Server_Anwering_39_9, Server_Anwering_58_2, Server_Anwering_54_1, Server_Anwering_78_8, Server_Anwering_5_2, Server_Anwering_22_3, Server_Anwering_49_3, Server_Anwering_15_2, Server_Anwering_29_3, Server_Anwering_11_9, Server_Anwering_100_10, Server_Anwering_95_4, Server_Anwering_79_6, Server_Anwering_6_5, Server_Anwering_22_8, Server_Anwering_46_7, Server_Anwering_16_9, Server_Anwering_15_4, Server_Anwering_85_8, Server_Anwering_41_5, Server_Anwering_71_1, Server_Anwering_58_5, Server_Anwering_38_4, Server_Anwering_17_1, Server_Anwering_24_7, Server_Anwering_43_8, Server_Anwering_13_6, Server_Anwering_61_1, Server_Anwering_16_5, Server_Anwering_95_9, Server_Anwering_3_3, Server_Anwering_100_5, Server_Anwering_38_2, Server_Anwering_87_9, Server_Anwering_93_10, Server_Anwering_10_9, Server_Anwering_64_1, Server_Anwering_24_4, Server_Anwering_46_4, Server_Anwering_47_2, Server_Anwering_82_9, Server_Anwering_33_2, Server_Anwering_76_3, Server_Anwering_7_8, Server_Anwering_54_9, Server_Anwering_73_9, Server_Anwering_13_5, Server_Anwering_25_10, RequestBufferSlots]
May 22, 2015 2:10:23 PM fr.lip6.move.gal.cegar.support.SupportManager computeSupport
INFO: Computing abstraction support, depth 0, found support 1101
May 22, 2015 2:10:26 PM fr.lip6.move.gal.cegar.abstractor.BoundComputer compute
INFO: Bounding GAL to K = 10
May 22, 2015 2:10:27 PM fr.lip6.move.gal.cegar.abstractor.VariablesAbstractor abstractUsingSupport
INFO: Abstracting GAL, removed 210 / 1311 variable(s)
May 22, 2015 2:10:49 PM fr.lip6.move.gal.cegar.checkers.CEGARChecker check
INFO: Checking abstraction for property CSRepetitions-COL-10-ReachabilityFireability-0(refined 0 times)...
May 22, 2015 2:10:49 PM fr.lip6.move.gal.cegar.checkers.CEGARChecker check
INFO: Running its-reach -reachable on the abstraction...
May 22, 2015 2:11:22 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 14667 ms
May 22, 2015 2:11:22 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/work/abstract.gal : 58 ms
May 22, 2015 2:11:58 PM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-10-ReachabilityFireability-0(UNSAT) depth K=1 took 95871 ms
May 22, 2015 2:12:37 PM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-10-ReachabilityFireability-3(UNSAT) depth K=1 took 39302 ms
May 22, 2015 2:13:14 PM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-10-ReachabilityFireability-5(UNSAT) depth K=1 took 36413 ms
May 22, 2015 2:13:50 PM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-10-ReachabilityFireability-7(UNSAT) depth K=1 took 35800 ms
May 22, 2015 2:14:25 PM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-10-ReachabilityFireability-9(UNSAT) depth K=1 took 35114 ms
May 22, 2015 2:15:01 PM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-10-ReachabilityFireability-10(UNSAT) depth K=1 took 36711 ms
May 22, 2015 2:15:36 PM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-10-ReachabilityFireability-11(UNSAT) depth K=1 took 34456 ms
May 22, 2015 2:16:12 PM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-10-ReachabilityFireability-12(UNSAT) depth K=1 took 35873 ms
May 22, 2015 2:16:49 PM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-10-ReachabilityFireability-13(UNSAT) depth K=1 took 37093 ms
May 22, 2015 2:18:19 PM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-10-ReachabilityFireability-0(UNSAT) depth K=6 took 90188 ms
May 22, 2015 2:20:16 PM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-10-ReachabilityFireability-3(SAT) depth K=6 took 116473 ms
May 22, 2015 2:21:49 PM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-10-ReachabilityFireability-5(SAT) depth K=6 took 93702 ms
May 22, 2015 2:23:46 PM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-10-ReachabilityFireability-7(UNSAT) depth K=6 took 117179 ms
May 22, 2015 2:25:55 PM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-10-ReachabilityFireability-9(UNSAT) depth K=6 took 128090 ms
May 22, 2015 2:27:31 PM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-10-ReachabilityFireability-10(SAT) depth K=6 took 96810 ms
May 22, 2015 2:29:45 PM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-10-ReachabilityFireability-11(UNSAT) depth K=6 took 133965 ms
java.lang.IllegalThreadStateException: process hasn't exited
at java.lang.UNIXProcess.exitValue(UNIXProcess.java:421)
at fr.lip6.move.gal.itstools.ProcessController.execute(ProcessController.java:125)
at fr.lip6.move.gal.cegar.checkers.ITSLauncher.run(ITSLauncher.java:99)
at fr.lip6.move.gal.cegar.checkers.ITSLauncher.run(ITSLauncher.java:56)
at fr.lip6.move.gal.cegar.checkers.ITSPropertyCheckerAdapter.check(ITSPropertyCheckerAdapter.java:72)
at fr.lip6.move.gal.cegar.checkers.CEGARChecker.check(CEGARChecker.java:46)
at fr.lip6.move.gal.cegar.frontend.CegarFrontEnd.processGal(CegarFrontEnd.java:24)
at fr.lip6.move.gal.application.Application$3.run(Application.java:354)
at java.lang.Thread.run(Thread.java:745)
May 22, 2015 2:30:48 PM fr.lip6.move.gal.application.Application$3 run
WARNING: Aborting CEGAR check of property CSRepetitions-COL-10-ReachabilityFireability-0 due to an exception when running procedure.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CSRepetitions-PT-10"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/users/gast00/fkordon/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/CSRepetitions-PT-10.tgz
mv CSRepetitions-PT-10 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2265"
echo " Executing tool itstools"
echo " Input is CSRepetitions-PT-10, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r005kn-ebro-143214234200259"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "ReachabilityComputeBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;