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-2979
Executing tool itstools
Input is S_CSRepetitions-PT-10, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r169kn-ebro-146433128600537
=====================================================================

--------------------
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-LTLFireability-0
FORMULA_NAME CSRepetitions-COL-10-LTLFireability-1
FORMULA_NAME CSRepetitions-COL-10-LTLFireability-10
FORMULA_NAME CSRepetitions-COL-10-LTLFireability-11
FORMULA_NAME CSRepetitions-COL-10-LTLFireability-12
FORMULA_NAME CSRepetitions-COL-10-LTLFireability-13
FORMULA_NAME CSRepetitions-COL-10-LTLFireability-14
FORMULA_NAME CSRepetitions-COL-10-LTLFireability-15
FORMULA_NAME CSRepetitions-COL-10-LTLFireability-2
FORMULA_NAME CSRepetitions-COL-10-LTLFireability-3
FORMULA_NAME CSRepetitions-COL-10-LTLFireability-4
FORMULA_NAME CSRepetitions-COL-10-LTLFireability-5
FORMULA_NAME CSRepetitions-COL-10-LTLFireability-6
FORMULA_NAME CSRepetitions-COL-10-LTLFireability-7
FORMULA_NAME CSRepetitions-COL-10-LTLFireability-8
FORMULA_NAME CSRepetitions-COL-10-LTLFireability-9

=== Now, execution of the tool begins

BK_START 1464378309963


its-ltl command run as :

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201605191313/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((F(G(X((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((("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")))))))
Formula 0 simplified : !FGX(("Client_Sending_79>=1" & "Server_Anwering_79_10>=1") | ("Client_Sending_9>=1" & "Server_Anwering_9_7>=1") | ("Client_Sending_36>=1" & "Server_Anwering_36_8>=1") | ("Client_Sending_9>=1" & "Server_Anwering_9_1>=1") | ("Client_Sending_9>=1" & "Server_Anwering_9_8>=1") | ("Client_Sending_65>=1" & "Server_Anwering_65_7>=1") | ("Client_Sending_25>=1" & "Server_Anwering_25_6>=1") | ("Client_Sending_52>=1" & "Server_Anwering_52_10>=1") | ("Client_Sending_46>=1" & "Server_Anwering_46_10>=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") | ("Client_Sending_86>=1" & "Server_Anwering_86_4>=1") | ("Client_Sending_68>=1" & "Server_Anwering_68_4>=1") | ("Client_Sending_59>=1" & "Server_Anwering_59_3>=1") | ("Client_Sending_31>=1" & "Server_Anwering_31_3>=1") | ("Client_Sending_59>=1" & "Server_Anwering_59_6>=1") | ("Client_Sending_42>=1" & "Server_Anwering_42_3>=1") | ("Client_Sending_62>=1" & "Server_Anwering_62_5>=1") | ("Client_Sending_83>=1" & "Server_Anwering_83_2>=1") | ("Client_Sending_37>=1" & "Server_Anwering_37_10>=1") | ("Client_Sending_43>=1" & "Server_Anwering_43_2>=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") | ("Client_Sending_83>=1" & "Server_Anwering_83_3>=1") | ("Client_Sending_5>=1" & "Server_Anwering_5_5>=1") | ("Client_Sending_41>=1" & "Server_Anwering_41_1>=1") | ("Client_Sending_50>=1" & "Server_Anwering_50_4>=1") | ("Client_Sending_44>=1" & "Server_Anwering_44_1>=1") | ("Client_Sending_94>=1" & "Server_Anwering_94_10>=1") | ("Client_Sending_78>=1" & "Server_Anwering_78_2>=1") | ("Client_Sending_51>=1" & "Server_Anwering_51_5>=1") | ("Client_Sending_72>=1" & "Server_Anwering_72_1>=1") | ("Client_Sending_62>=1" & "Server_Anwering_62_1>=1") | ("Client_Sending_10>=1" & "Server_Anwering_10_10>=1") | ("Client_Sending_40>=1" & "Server_Anwering_40_6>=1") | ("Client_Sending_39>=1" & "Server_Anwering_39_4>=1") | ("Client_Sending_31>=1" & "Server_Anwering_31_9>=1") | ("Client_Sending_1>=1" & "Server_Anwering_1_4>=1") | ("Client_Sending_88>=1" & "Server_Anwering_88_6>=1") | ("Client_Sending_1>=1" & "Server_Anwering_1_3>=1") | ("Client_Sending_94>=1" & "Server_Anwering_94_3>=1") | ("Client_Sending_82>=1" & "Server_Anwering_82_6>=1") | ("Client_Sending_31>=1" & "Server_Anwering_31_6>=1") | ("Client_Sending_21>=1" & "Server_Anwering_21_3>=1") | ("Client_Sending_17>=1" & "Server_Anwering_17_9>=1") | ("Client_Sending_57>=1" & "Server_Anwering_57_4>=1") | ("Client_Sending_28>=1" & "Server_Anwering_28_6>=1") | ("Client_Sending_15>=1" & "Server_Anwering_15_7>=1") | ("Client_Sending_89>=1" & "Server_Anwering_89_8>=1") | ("Client_Sending_96>=1" & "Server_Anwering_96_8>=1") | ("Client_Sending_34>=1" & "Server_Anwering_34_1>=1") | ("Client_Sending_18>=1" & "Server_Anwering_18_6>=1") | ("Client_Sending_44>=1" & "Server_Anwering_44_5>=1") | ("Client_Sending_73>=1" & "Server_Anwering_73_6>=1") | ("Client_Sending_8>=1" & "Server_Anwering_8_5>=1") | ("Client_Sending_81>=1" & "Server_Anwering_81_1>=1") | ("Client_Sending_24>=1" & "Server_Anwering_24_5>=1") | ("Client_Sending_95>=1" & "Server_Anwering_95_1>=1") | ("Client_Sending_60>=1" & "Server_Anwering_60_9>=1") | ("Client_Sending_81>=1" & "Server_Anwering_81_7>=1") | ("Client_Sending_76>=1" & "Server_Anwering_76_1>=1") | ("Client_Sending_39>=1" & "Server_Anwering_39_3>=1") | ("Client_Sending_38>=1" & "Server_Anwering_38_8>=1") | ("Client_Sending_46>=1" & "Server_Anwering_46_9>=1") | ("Client_Sending_66>=1" & "Server_Anwering_66_8>=1") | ("Client_Sending_96>=1" & "Server_Anwering_96_6>=1") | ("Client_Sending_92>=1" & "Server_Anwering_92_5>=1") | ("Client_Sending_70>=1" & "Server_Anwering_70_6>=1") | ("Client_Sending_3>=1" & "Server_Anwering_3_9>=1") | ("Client_Sending_97>=1" & "Server_Anwering_97_6>=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") | ("Client_Sending_80>=1" & "Server_Anwering_80_6>=1") | ("Client_Sending_90>=1" & "Server_Anwering_90_7>=1") | ("Client_Sending_63>=1" & "Server_Anwering_63_1>=1") | ("Client_Sending_34>=1" & "Server_Anwering_34_2>=1") | ("Client_Sending_24>=1" & "Server_Anwering_24_10>=1") | ("Client_Sending_43>=1" & "Server_Anwering_43_10>=1") | ("Client_Sending_67>=1" & "Server_Anwering_67_3>=1") | ("Client_Sending_12>=1" & "Server_Anwering_12_3>=1") | ("Client_Sending_48>=1" & "Server_Anwering_48_8>=1") | ("Client_Sending_53>=1" & "Server_Anwering_53_2>=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") | ("Client_Sending_11>=1" & "Server_Anwering_11_4>=1") | ("Client_Sending_37>=1" & "Server_Anwering_37_4>=1") | ("Client_Sending_67>=1" & "Server_Anwering_67_8>=1") | ("Client_Sending_20>=1" & "Server_Anwering_20_6>=1") | ("Client_Sending_30>=1" & "Server_Anwering_30_3>=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") | ("Client_Sending_40>=1" & "Server_Anwering_40_2>=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") | ("Client_Sending_45>=1" & "Server_Anwering_45_9>=1") | ("Client_Sending_30>=1" & "Server_Anwering_30_4>=1") | ("Client_Sending_84>=1" & "Server_Anwering_84_3>=1") | ("Client_Sending_60>=1" & "Server_Anwering_60_2>=1") | ("Client_Sending_88>=1" & "Server_Anwering_88_9>=1") | ("Client_Sending_52>=1" & "Server_Anwering_52_6>=1") | ("Client_Sending_53>=1" & "Server_Anwering_53_9>=1") | ("Client_Sending_15>=1" & "Server_Anwering_15_10>=1") | ("Client_Sending_19>=1" & "Server_Anwering_19_8>=1") | ("Client_Sending_18>=1" & "Server_Anwering_18_9>=1") | ("Client_Sending_53>=1" & "Server_Anwering_53_1>=1") | ("Client_Sending_37>=1" & "Server_Anwering_37_2>=1") | ("Client_Sending_33>=1" & "Server_Anwering_33_5>=1") | ("Client_Sending_56>=1" & "Server_Anwering_56_2>=1") | ("Client_Sending_20>=1" & "Server_Anwering_20_8>=1") | ("Client_Sending_65>=1" & "Server_Anwering_65_9>=1") | ("Client_Sending_69>=1" & "Server_Anwering_69_4>=1") | ("Client_Sending_69>=1" & "Server_Anwering_69_5>=1") | ("Client_Sending_74>=1" & "Server_Anwering_74_8>=1") | ("Client_Sending_62>=1" & "Server_Anwering_62_3>=1") | ("Client_Sending_90>=1" & "Server_Anwering_90_4>=1") | ("Client_Sending_90>=1" & "Server_Anwering_90_8>=1") | ("Client_Sending_23>=1" & "Server_Anwering_23_10>=1") | ("Client_Sending_97>=1" & "Server_Anwering_97_5>=1") | ("Client_Sending_46>=1" & "Server_Anwering_46_8>=1") | ("Client_Sending_3>=1" & "Server_Anwering_3_10>=1") | ("Client_Sending_17>=1" & "Server_Anwering_17_2>=1") | ("Client_Sending_26>=1" & "Server_Anwering_26_1>=1") | ("Client_Sending_9>=1" & "Server_Anwering_9_2>=1") | ("Client_Sending_23>=1" & "Server_Anwering_23_3>=1") | ("Client_Sending_82>=1" & "Server_Anwering_82_5>=1") | ("Client_Sending_84>=1" & "Server_Anwering_84_8>=1") | ("Client_Sending_87>=1" & "Server_Anwering_87_2>=1") | ("Client_Sending_92>=1" & "Server_Anwering_92_7>=1") | ("Client_Sending_91>=1" & "Server_Anwering_91_8>=1") | ("Client_Sending_59>=1" & "Server_Anwering_59_10>=1") | ("Client_Sending_84>=1" & "Server_Anwering_84_1>=1") | ("Client_Sending_56>=1" & "Server_Anwering_56_9>=1") | ("Client_Sending_31>=1" & "Server_Anwering_31_1>=1") | ("Client_Sending_12>=1" & "Server_Anwering_12_10>=1") | ("Client_Sending_87>=1" & "Server_Anwering_87_10>=1") | ("Client_Sending_10>=1" & "Server_Anwering_10_6>=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") | ("Client_Sending_1>=1" & "Server_Anwering_1_1>=1") | ("Client_Sending_62>=1" & "Server_Anwering_62_4>=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") | ("Client_Sending_44>=1" & "Server_Anwering_44_3>=1") | ("Client_Sending_44>=1" & "Server_Anwering_44_6>=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") | ("Client_Sending_54>=1" & "Server_Anwering_54_7>=1") | ("Client_Sending_100>=1" & "Server_Anwering_100_8>=1") | ("Client_Sending_2>=1" & "Server_Anwering_2_4>=1") | ("Client_Sending_24>=1" & "Server_Anwering_24_9>=1") | ("Client_Sending_81>=1" & "Server_Anwering_81_9>=1") | ("Client_Sending_68>=1" & "Server_Anwering_68_10>=1") | ("Client_Sending_87>=1" & "Server_Anwering_87_6>=1") | ("Client_Sending_42>=1" & "Server_Anwering_42_5>=1") | ("Client_Sending_51>=1" & "Server_Anwering_51_10>=1") | ("Client_Sending_66>=1" & "Server_Anwering_66_7>=1") | ("Client_Sending_73>=1" & "Server_Anwering_73_7>=1") | ("Client_Sending_28>=1" & "Server_Anwering_28_7>=1") | ("Client_Sending_35>=1" & "Server_Anwering_35_7>=1") | ("Client_Sending_86>=1" & "Server_Anwering_86_10>=1") | ("Client_Sending_75>=1" & "Server_Anwering_75_8>=1") | ("Client_Sending_12>=1" & "Server_Anwering_12_2>=1") | ("Client_Sending_98>=1" & "Server_Anwering_98_2>=1") | ("Client_Sending_36>=1" & "Server_Anwering_36_1>=1") | ("Client_Sending_52>=1" & "Server_Anwering_52_5>=1") | ("Client_Sending_49>=1" & "Server_Anwering_49_1>=1") | ("Client_Sending_49>=1" & "Server_Anwering_49_4>=1") | ("Client_Sending_9>=1" & "Server_Anwering_9_9>=1") | ("Client_Sending_15>=1" & "Server_Anwering_15_1>=1") | ("Client_Sending_16>=1" & "Server_Anwering_16_3>=1") | ("Client_Sending_34>=1" & "Server_Anwering_34_6>=1") | ("Client_Sending_100>=1" & "Server_Anwering_100_6>=1") | ("Client_Sending_72>=1" & "Server_Anwering_72_6>=1") | ("Client_Sending_70>=1" & "Server_Anwering_70_1>=1") | ("Client_Sending_76>=1" & "Server_Anwering_76_4>=1") | ("Client_Sending_74>=1" & "Server_Anwering_74_9>=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") | ("Client_Sending_98>=1" & "Server_Anwering_98_1>=1") | ("Client_Sending_65>=1" & "Server_Anwering_65_3>=1") | ("Client_Sending_83>=1" & "Server_Anwering_83_4>=1") | ("Client_Sending_3>=1" & "Server_Anwering_3_4>=1") | ("Client_Sending_84>=1" & "Server_Anwering_84_9>=1") | ("Client_Sending_21>=1" & "Server_Anwering_21_4>=1") | ("Client_Sending_39>=1" & "Server_Anwering_39_5>=1") | ("Client_Sending_45>=1" & "Server_Anwering_45_2>=1") | ("Client_Sending_82>=1" & "Server_Anwering_82_7>=1") | ("Client_Sending_93>=1" & "Server_Anwering_93_3>=1") | ("Client_Sending_60>=1" & "Server_Anwering_60_5>=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") | ("Client_Sending_76>=1" & "Server_Anwering_76_8>=1") | ("Client_Sending_58>=1" & "Server_Anwering_58_4>=1") | ("Client_Sending_31>=1" & "Server_Anwering_31_8>=1") | ("Client_Sending_62>=1" & "Server_Anwering_62_6>=1") | ("Client_Sending_8>=1" & "Server_Anwering_8_1>=1") | ("Client_Sending_70>=1" & "Server_Anwering_70_2>=1") | ("Client_Sending_32>=1" & "Server_Anwering_32_5>=1") | ("Client_Sending_12>=1" & "Server_Anwering_12_4>=1") | ("Client_Sending_38>=1" & "Server_Anwering_38_3>=1") | ("Client_Sending_99>=1" & "Server_Anwering_99_3>=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") | ("Client_Sending_10>=1" & "Server_Anwering_10_8>=1") | ("Client_Sending_75>=1" & "Server_Anwering_75_3>=1") | ("Client_Sending_85>=1" & "Server_Anwering_85_6>=1") | ("Client_Sending_40>=1" & "Server_Anwering_40_3>=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") | ("Client_Sending_49>=1" & "Server_Anwering_49_8>=1") | ("Client_Sending_16>=1" & "Server_Anwering_16_10>=1") | ("Client_Sending_84>=1" & "Server_Anwering_84_2>=1") | ("Client_Sending_59>=1" & "Server_Anwering_59_2>=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") | ("Client_Sending_83>=1" & "Server_Anwering_83_9>=1") | ("Client_Sending_16>=1" & "Server_Anwering_16_1>=1") | ("Client_Sending_84>=1" & "Server_Anwering_84_5>=1") | ("Client_Sending_81>=1" & "Server_Anwering_81_5>=1") | ("Client_Sending_70>=1" & "Server_Anwering_70_4>=1") | ("Client_Sending_67>=1" & "Server_Anwering_67_2>=1") | ("Client_Sending_78>=1" & "Server_Anwering_78_10>=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") | ("Client_Sending_96>=1" & "Server_Anwering_96_10>=1") | ("Client_Sending_95>=1" & "Server_Anwering_95_2>=1") | ("Client_Sending_31>=1" & "Server_Anwering_31_4>=1") | ("Client_Sending_36>=1" & "Server_Anwering_36_7>=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") | ("Client_Sending_42>=1" & "Server_Anwering_42_6>=1") | ("Client_Sending_20>=1" & "Server_Anwering_20_4>=1") | ("Client_Sending_3>=1" & "Server_Anwering_3_5>=1") | ("Client_Sending_36>=1" & "Server_Anwering_36_9>=1") | ("Client_Sending_63>=1" & "Server_Anwering_63_7>=1") | ("Client_Sending_76>=1" & "Server_Anwering_76_2>=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") | ("Client_Sending_21>=1" & "Server_Anwering_21_10>=1") | ("Client_Sending_73>=1" & "Server_Anwering_73_3>=1") | ("Client_Sending_49>=1" & "Server_Anwering_49_10>=1") | ("Client_Sending_58>=1" & "Server_Anwering_58_10>=1") | ("Client_Sending_4>=1" & "Server_Anwering_4_3>=1") | ("Client_Sending_8>=1" & "Server_Anwering_8_7>=1") | ("Client_Sending_69>=1" & "Server_Anwering_69_1>=1") | ("Client_Sending_98>=1" & "Server_Anwering_98_5>=1") | ("Client_Sending_12>=1" & "Server_Anwering_12_8>=1") | ("Client_Sending_25>=1" & "Server_Anwering_25_1>=1") | ("Client_Sending_73>=1" & "Server_Anwering_73_8>=1") | ("Client_Sending_83>=1" & "Server_Anwering_83_8>=1") | ("Client_Sending_68>=1" & "Server_Anwering_68_3>=1") | ("Client_Sending_9>=1" & "Server_Anwering_9_6>=1") | ("Client_Sending_41>=1" & "Server_Anwering_41_4>=1") | ("Client_Sending_75>=1" & "Server_Anwering_75_1>=1") | ("Client_Sending_4>=1" & "Server_Anwering_4_2>=1") | ("Client_Sending_75>=1" & "Server_Anwering_75_4>=1") | ("Client_Sending_92>=1" & "Server_Anwering_92_9>=1") | ("Client_Sending_99>=1" & "Server_Anwering_99_10>=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") | ("Client_Sending_11>=1" & "Server_Anwering_11_5>=1") | ("Client_Sending_61>=1" & "Server_Anwering_61_5>=1") | ("Client_Sending_26>=1" & "Server_Anwering_26_2>=1") | ("Client_Sending_11>=1" & "Server_Anwering_11_10>=1") | ("Client_Sending_48>=1" & "Server_Anwering_48_2>=1") | ("Client_Sending_87>=1" & "Server_Anwering_87_5>=1") | ("Client_Sending_81>=1" & "Server_Anwering_81_2>=1") | ("Client_Sending_98>=1" & "Server_Anwering_98_4>=1") | ("Client_Sending_33>=1" & "Server_Anwering_33_6>=1") | ("Client_Sending_55>=1" & "Server_Anwering_55_7>=1") | ("Client_Sending_60>=1" & "Server_Anwering_60_10>=1") | ("Client_Sending_66>=1" & "Server_Anwering_66_9>=1") | ("Client_Sending_2>=1" & "Server_Anwering_2_1>=1") | ("Client_Sending_37>=1" & "Server_Anwering_37_3>=1") | ("Client_Sending_91>=1" & "Server_Anwering_91_3>=1") | ("Client_Sending_56>=1" & "Server_Anwering_56_1>=1") | ("Client_Sending_100>=1" & "Server_Anwering_100_3>=1") | ("Client_Sending_93>=1" & "Server_Anwering_93_1>=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") | ("Client_Sending_6>=1" & "Server_Anwering_6_7>=1") | ("Client_Sending_64>=1" & "Server_Anwering_64_7>=1") | ("Client_Sending_4>=1" & "Server_Anwering_4_10>=1") | ("Client_Sending_7>=1" & "Server_Anwering_7_1>=1") | ("Client_Sending_6>=1" & "Server_Anwering_6_4>=1") | ("Client_Sending_85>=1" & "Server_Anwering_85_10>=1") | ("Client_Sending_3>=1" & "Server_Anwering_3_2>=1") | ("Client_Sending_22>=1" & "Server_Anwering_22_10>=1") | ("Client_Sending_31>=1" & "Server_Anwering_31_10>=1") | ("Client_Sending_69>=1" & "Server_Anwering_69_8>=1") | ("Client_Sending_15>=1" & "Server_Anwering_15_6>=1") | ("Client_Sending_1>=1" & "Server_Anwering_1_10>=1") | ("Client_Sending_14>=1" & "Server_Anwering_14_2>=1") | ("Client_Sending_25>=1" & "Server_Anwering_25_4>=1") | ("Client_Sending_19>=1" & "Server_Anwering_19_9>=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") | ("Client_Sending_31>=1" & "Server_Anwering_31_2>=1") | ("Client_Sending_26>=1" & "Server_Anwering_26_9>=1") | ("Client_Sending_59>=1" & "Server_Anwering_59_8>=1") | ("Client_Sending_33>=1" & "Server_Anwering_33_1>=1") | ("Client_Sending_39>=1" & "Server_Anwering_39_1>=1") | ("Client_Sending_31>=1" & "Server_Anwering_31_5>=1") | ("Client_Sending_26>=1" & "Server_Anwering_26_6>=1") | ("Client_Sending_84>=1" & "Server_Anwering_84_4>=1") | ("Client_Sending_78>=1" & "Server_Anwering_78_3>=1") | ("Client_Sending_13>=1" & "Server_Anwering_13_7>=1") | ("Client_Sending_64>=1" & "Server_Anwering_64_6>=1") | ("Client_Sending_98>=1" & "Server_Anwering_98_7>=1") | ("Client_Sending_24>=1" & "Server_Anwering_24_2>=1") | ("Client_Sending_60>=1" & "Server_Anwering_60_8>=1") | ("Client_Sending_67>=1" & "Server_Anwering_67_5>=1") | ("Client_Sending_26>=1" & "Server_Anwering_26_5>=1") | ("Client_Sending_75>=1" & "Server_Anwering_75_10>=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") | ("Client_Sending_37>=1" & "Server_Anwering_37_9>=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") | ("Client_Sending_48>=1" & "Server_Anwering_48_1>=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") | ("Client_Sending_21>=1" & "Server_Anwering_21_2>=1") | ("Client_Sending_62>=1" & "Server_Anwering_62_2>=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") | ("Client_Sending_20>=1" & "Server_Anwering_20_7>=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") | ("Client_Sending_18>=1" & "Server_Anwering_18_3>=1") | ("Client_Sending_75>=1" & "Server_Anwering_75_7>=1") | ("Client_Sending_75>=1" & "Server_Anwering_75_6>=1") | ("Client_Sending_81>=1" & "Server_Anwering_81_8>=1") | ("Client_Sending_70>=1" & "Server_Anwering_70_7>=1") | ("Client_Sending_41>=1" & "Server_Anwering_41_7>=1") | ("Client_Sending_39>=1" & "Server_Anwering_39_10>=1") | ("Client_Sending_84>=1" & "Server_Anwering_84_7>=1") | ("Client_Sending_42>=1" & "Server_Anwering_42_4>=1") | ("Client_Sending_99>=1" & "Server_Anwering_99_4>=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") | ("Client_Sending_4>=1" & "Server_Anwering_4_6>=1") | ("Client_Sending_78>=1" & "Server_Anwering_78_1>=1") | ("Client_Sending_47>=1" & "Server_Anwering_47_6>=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") | ("Client_Sending_93>=1" & "Server_Anwering_93_9>=1") | ("Client_Sending_29>=1" & "Server_Anwering_29_10>=1") | ("Client_Sending_47>=1" & "Server_Anwering_47_7>=1") | ("Client_Sending_12>=1" & "Server_Anwering_12_5>=1") | ("Client_Sending_86>=1" & "Server_Anwering_86_1>=1") | ("Client_Sending_46>=1" & "Server_Anwering_46_3>=1") | ("Client_Sending_6>=1" & "Server_Anwering_6_9>=1") | ("Client_Sending_50>=1" & "Server_Anwering_50_10>=1") | ("Client_Sending_47>=1" & "Server_Anwering_47_8>=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") | ("Client_Sending_86>=1" & "Server_Anwering_86_6>=1") | ("Client_Sending_77>=1" & "Server_Anwering_77_9>=1") | ("Client_Sending_82>=1" & "Server_Anwering_82_4>=1") | ("Client_Sending_86>=1" & "Server_Anwering_86_3>=1") | ("Client_Sending_32>=1" & "Server_Anwering_32_10>=1") | ("Client_Sending_11>=1" & "Server_Anwering_11_2>=1") | ("Client_Sending_79>=1" & "Server_Anwering_79_2>=1") | ("Client_Sending_23>=1" & "Server_Anwering_23_6>=1") | ("Client_Sending_95>=1" & "Server_Anwering_95_5>=1") | ("Client_Sending_55>=1" & "Server_Anwering_55_9>=1") | ("Client_Sending_83>=1" & "Server_Anwering_83_1>=1") | ("Client_Sending_90>=1" & "Server_Anwering_90_10>=1") | ("Client_Sending_48>=1" & "Server_Anwering_48_9>=1") | ("Client_Sending_56>=1" & "Server_Anwering_56_4>=1") | ("Client_Sending_11>=1" & "Server_Anwering_11_8>=1") | ("Client_Sending_64>=1" & "Server_Anwering_64_9>=1") | ("Client_Sending_70>=1" & "Server_Anwering_70_10>=1") | ("Client_Sending_40>=1" & "Server_Anwering_40_8>=1") | ("Client_Sending_9>=1" & "Server_Anwering_9_5>=1") | ("Client_Sending_83>=1" & "Server_Anwering_83_7>=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") | ("Client_Sending_68>=1" & "Server_Anwering_68_8>=1") | ("Client_Sending_92>=1" & "Server_Anwering_92_8>=1") | ("Client_Sending_97>=1" & "Server_Anwering_97_2>=1") | ("Client_Sending_30>=1" & "Server_Anwering_30_1>=1") | ("Client_Sending_56>=1" & "Server_Anwering_56_10>=1") | ("Client_Sending_14>=1" & "Server_Anwering_14_7>=1") | ("Client_Sending_58>=1" & "Server_Anwering_58_1>=1") | ("Client_Sending_58>=1" & "Server_Anwering_58_6>=1") | ("Client_Sending_47>=1" & "Server_Anwering_47_4>=1") | ("Client_Sending_34>=1" & "Server_Anwering_34_7>=1") | ("Client_Sending_20>=1" & "Server_Anwering_20_9>=1") | ("Client_Sending_90>=1" & "Server_Anwering_90_2>=1") | ("Client_Sending_53>=1" & "Server_Anwering_53_5>=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") | ("Client_Sending_47>=1" & "Server_Anwering_47_10>=1") | ("Client_Sending_63>=1" & "Server_Anwering_63_3>=1") | ("Client_Sending_84>=1" & "Server_Anwering_84_10>=1") | ("Client_Sending_78>=1" & "Server_Anwering_78_6>=1") | ("Client_Sending_92>=1" & "Server_Anwering_92_4>=1") | ("Client_Sending_69>=1" & "Server_Anwering_69_2>=1") | ("Client_Sending_97>=1" & "Server_Anwering_97_7>=1") | ("Client_Sending_50>=1" & "Server_Anwering_50_7>=1") | ("Client_Sending_77>=1" & "Server_Anwering_77_3>=1") | ("Client_Sending_47>=1" & "Server_Anwering_47_1>=1") | ("Client_Sending_50>=1" & "Server_Anwering_50_6>=1") | ("Client_Sending_86>=1" & "Server_Anwering_86_9>=1") | ("Client_Sending_61>=1" & "Server_Anwering_61_10>=1") | ("Client_Sending_15>=1" & "Server_Anwering_15_3>=1") | ("Client_Sending_71>=1" & "Server_Anwering_71_4>=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") | ("Client_Sending_14>=1" & "Server_Anwering_14_10>=1") | ("Client_Sending_39>=1" & "Server_Anwering_39_2>=1") | ("Client_Sending_40>=1" & "Server_Anwering_40_1>=1") | ("Client_Sending_61>=1" & "Server_Anwering_61_7>=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") | ("Client_Sending_57>=1" & "Server_Anwering_57_7>=1") | ("Client_Sending_33>=1" & "Server_Anwering_33_4>=1") | ("Client_Sending_35>=1" & "Server_Anwering_35_6>=1") | ("Client_Sending_35>=1" & "Server_Anwering_35_9>=1") | ("Client_Sending_5>=1" & "Server_Anwering_5_10>=1") | ("Client_Sending_100>=1" & "Server_Anwering_100_2>=1") | ("Client_Sending_5>=1" & "Server_Anwering_5_4>=1") | ("Client_Sending_25>=1" & "Server_Anwering_25_5>=1") | ("Client_Sending_67>=1" & "Server_Anwering_67_1>=1") | ("Client_Sending_1>=1" & "Server_Anwering_1_2>=1") | ("Client_Sending_19>=1" & "Server_Anwering_19_7>=1") | ("Client_Sending_54>=1" & "Server_Anwering_54_2>=1") | ("Client_Sending_92>=1" & "Server_Anwering_92_6>=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") | ("Client_Sending_88>=1" & "Server_Anwering_88_1>=1") | ("Client_Sending_7>=1" & "Server_Anwering_7_3>=1") | ("Client_Sending_93>=1" & "Server_Anwering_93_5>=1") | ("Client_Sending_76>=1" & "Server_Anwering_76_7>=1") | ("Client_Sending_13>=1" & "Server_Anwering_13_1>=1") | ("Client_Sending_4>=1" & "Server_Anwering_4_8>=1") | ("Client_Sending_19>=1" & "Server_Anwering_19_10>=1") | ("Client_Sending_33>=1" & "Server_Anwering_33_10>=1") | ("Client_Sending_20>=1" & "Server_Anwering_20_5>=1") | ("Client_Sending_30>=1" & "Server_Anwering_30_2>=1") | ("Client_Sending_21>=1" & "Server_Anwering_21_9>=1") | ("Client_Sending_42>=1" & "Server_Anwering_42_9>=1") | ("Client_Sending_33>=1" & "Server_Anwering_33_3>=1") | ("Client_Sending_38>=1" & "Server_Anwering_38_5>=1") | ("Client_Sending_26>=1" & "Server_Anwering_26_3>=1") | ("Client_Sending_87>=1" & "Server_Anwering_87_7>=1") | ("Client_Sending_86>=1" & "Server_Anwering_86_7>=1") | ("Client_Sending_99>=1" & "Server_Anwering_99_8>=1") | ("Client_Sending_14>=1" & "Server_Anwering_14_1>=1") | ("Client_Sending_71>=1" & "Server_Anwering_71_8>=1") | ("Client_Sending_5>=1" & "Server_Anwering_5_8>=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") | ("Client_Sending_33>=1" & "Server_Anwering_33_7>=1") | ("Client_Sending_61>=1" & "Server_Anwering_61_3>=1") | ("Client_Sending_45>=1" & "Server_Anwering_45_5>=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") | ("Client_Sending_82>=1" & "Server_Anwering_82_8>=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") | ("Client_Sending_17>=1" & "Server_Anwering_17_5>=1") | ("Client_Sending_77>=1" & "Server_Anwering_77_7>=1") | ("Client_Sending_33>=1" & "Server_Anwering_33_8>=1") | ("Client_Sending_100>=1" & "Server_Anwering_100_4>=1") | ("Client_Sending_83>=1" & "Server_Anwering_83_6>=1") | ("Client_Sending_14>=1" & "Server_Anwering_14_9>=1") | ("Client_Sending_5>=1" & "Server_Anwering_5_7>=1") | ("Client_Sending_75>=1" & "Server_Anwering_75_5>=1") | ("Client_Sending_5>=1" & "Server_Anwering_5_3>=1") | ("Client_Sending_16>=1" & "Server_Anwering_16_2>=1") | ("Client_Sending_55>=1" & "Server_Anwering_55_6>=1") | ("Client_Sending_62>=1" & "Server_Anwering_62_7>=1") | ("Client_Sending_91>=1" & "Server_Anwering_91_4>=1") | ("Client_Sending_66>=1" & "Server_Anwering_66_5>=1") | ("Client_Sending_85>=1" & "Server_Anwering_85_9>=1") | ("Client_Sending_69>=1" & "Server_Anwering_69_7>=1") | ("Client_Sending_28>=1" & "Server_Anwering_28_9>=1") | ("Client_Sending_6>=1" & "Server_Anwering_6_10>=1") | ("Client_Sending_48>=1" & "Server_Anwering_48_5>=1") | ("Client_Sending_13>=1" & "Server_Anwering_13_10>=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") | ("Client_Sending_98>=1" & "Server_Anwering_98_9>=1") | ("Client_Sending_38>=1" & "Server_Anwering_38_6>=1") | ("Client_Sending_42>=1" & "Server_Anwering_42_10>=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") | ("Client_Sending_82>=1" & "Server_Anwering_82_2>=1") | ("Client_Sending_35>=1" & "Server_Anwering_35_8>=1") | ("Client_Sending_63>=1" & "Server_Anwering_63_4>=1") | ("Client_Sending_41>=1" & "Server_Anwering_41_10>=1") | ("Client_Sending_96>=1" & "Server_Anwering_96_5>=1") | ("Client_Sending_39>=1" & "Server_Anwering_39_7>=1") | ("Client_Sending_71>=1" & "Server_Anwering_71_3>=1") | ("Client_Sending_80>=1" & "Server_Anwering_80_1>=1") | ("Client_Sending_45>=1" & "Server_Anwering_45_1>=1") | ("Client_Sending_42>=1" & "Server_Anwering_42_7>=1") | ("Client_Sending_36>=1" & "Server_Anwering_36_6>=1") | ("Client_Sending_62>=1" & "Server_Anwering_62_10>=1") | ("Client_Sending_68>=1" & "Server_Anwering_68_5>=1") | ("Client_Sending_27>=1" & "Server_Anwering_27_1>=1") | ("Client_Sending_1>=1" & "Server_Anwering_1_5>=1") | ("Client_Sending_3>=1" & "Server_Anwering_3_6>=1") | ("Client_Sending_27>=1" & "Server_Anwering_27_9>=1") | ("Client_Sending_81>=1" & "Server_Anwering_81_4>=1") | ("Client_Sending_22>=1" & "Server_Anwering_22_1>=1") | ("Client_Sending_82>=1" & "Server_Anwering_82_10>=1") | ("Client_Sending_32>=1" & "Server_Anwering_32_7>=1") | ("Client_Sending_61>=1" & "Server_Anwering_61_4>=1") | ("Client_Sending_13>=1" & "Server_Anwering_13_2>=1") | ("Client_Sending_49>=1" & "Server_Anwering_49_9>=1") | ("Client_Sending_86>=1" & "Server_Anwering_86_5>=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") | ("Client_Sending_32>=1" & "Server_Anwering_32_1>=1") | ("Client_Sending_55>=1" & "Server_Anwering_55_5>=1") | ("Client_Sending_66>=1" & "Server_Anwering_66_3>=1") | ("Client_Sending_34>=1" & "Server_Anwering_34_8>=1") | ("Client_Sending_83>=1" & "Server_Anwering_83_10>=1") | ("Client_Sending_21>=1" & "Server_Anwering_21_6>=1") | ("Client_Sending_69>=1" & "Server_Anwering_69_10>=1") | ("Client_Sending_10>=1" & "Server_Anwering_10_3>=1") | ("Client_Sending_45>=1" & "Server_Anwering_45_6>=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") | ("Client_Sending_22>=1" & "Server_Anwering_22_9>=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") | ("Client_Sending_79>=1" & "Server_Anwering_79_3>=1") | ("Client_Sending_96>=1" & "Server_Anwering_96_7>=1") | ("Client_Sending_25>=1" & "Server_Anwering_25_3>=1") | ("Client_Sending_53>=1" & "Server_Anwering_53_8>=1") | ("Client_Sending_34>=1" & "Server_Anwering_34_3>=1") | ("Client_Sending_43>=1" & "Server_Anwering_43_4>=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") | ("Client_Sending_63>=1" & "Server_Anwering_63_8>=1") | ("Client_Sending_95>=1" & "Server_Anwering_95_7>=1") | ("Client_Sending_14>=1" & "Server_Anwering_14_8>=1") | ("Client_Sending_11>=1" & "Server_Anwering_11_6>=1") | ("Client_Sending_13>=1" & "Server_Anwering_13_3>=1") | ("Client_Sending_15>=1" & "Server_Anwering_15_8>=1") | ("Client_Sending_78>=1" & "Server_Anwering_78_7>=1") | ("Client_Sending_37>=1" & "Server_Anwering_37_5>=1") | ("Client_Sending_50>=1" & "Server_Anwering_50_9>=1") | ("Client_Sending_7>=1" & "Server_Anwering_7_4>=1") | ("Client_Sending_88>=1" & "Server_Anwering_88_7>=1") | ("Client_Sending_23>=1" & "Server_Anwering_23_9>=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") | ("Client_Sending_63>=1" & "Server_Anwering_63_6>=1") | ("Client_Sending_59>=1" & "Server_Anwering_59_1>=1") | ("Client_Sending_46>=1" & "Server_Anwering_46_5>=1") | ("Client_Sending_19>=1" & "Server_Anwering_19_5>=1") | ("Client_Sending_91>=1" & "Server_Anwering_91_1>=1") | ("Client_Sending_4>=1" & "Server_Anwering_4_9>=1") | ("Client_Sending_44>=1" & "Server_Anwering_44_8>=1") | ("Client_Sending_25>=1" & "Server_Anwering_25_8>=1") | ("Client_Sending_78>=1" & "Server_Anwering_78_9>=1") | ("Client_Sending_84>=1" & "Server_Anwering_84_6>=1") | ("Client_Sending_79>=1" & "Server_Anwering_79_1>=1") | ("Client_Sending_44>=1" & "Server_Anwering_44_2>=1") | ("Client_Sending_72>=1" & "Server_Anwering_72_4>=1") | ("Client_Sending_35>=1" & "Server_Anwering_35_3>=1") | ("Client_Sending_49>=1" & "Server_Anwering_49_7>=1") | ("Client_Sending_41>=1" & "Server_Anwering_41_2>=1") | ("Client_Sending_28>=1" & "Server_Anwering_28_5>=1") | ("Client_Sending_63>=1" & "Server_Anwering_63_2>=1") | ("Client_Sending_74>=1" & "Server_Anwering_74_6>=1") | ("Client_Sending_32>=1" & "Server_Anwering_32_9>=1") | ("Client_Sending_68>=1" & "Server_Anwering_68_1>=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") | ("Client_Sending_98>=1" & "Server_Anwering_98_3>=1") | ("Client_Sending_66>=1" & "Server_Anwering_66_4>=1") | ("Client_Sending_68>=1" & "Server_Anwering_68_7>=1") | ("Client_Sending_11>=1" & "Server_Anwering_11_7>=1") | ("Client_Sending_72>=1" & "Server_Anwering_72_8>=1") | ("Client_Sending_58>=1" & "Server_Anwering_58_3>=1") | ("Client_Sending_20>=1" & "Server_Anwering_20_3>=1") | ("Client_Sending_22>=1" & "Server_Anwering_22_2>=1") | ("Client_Sending_1>=1" & "Server_Anwering_1_7>=1") | ("Client_Sending_21>=1" & "Server_Anwering_21_7>=1") | ("Client_Sending_40>=1" & "Server_Anwering_40_7>=1") | ("Client_Sending_77>=1" & "Server_Anwering_77_5>=1") | ("Client_Sending_91>=1" & "Server_Anwering_91_10>=1") | ("Client_Sending_72>=1" & "Server_Anwering_72_3>=1") | ("Client_Sending_91>=1" & "Server_Anwering_91_5>=1") | ("Client_Sending_6>=1" & "Server_Anwering_6_6>=1") | ("Client_Sending_97>=1" & "Server_Anwering_97_9>=1") | ("Client_Sending_99>=1" & "Server_Anwering_99_1>=1") | ("Client_Sending_53>=1" & "Server_Anwering_53_4>=1") | ("Client_Sending_52>=1" & "Server_Anwering_52_2>=1") | ("Client_Sending_55>=1" & "Server_Anwering_55_10>=1") | ("Client_Sending_8>=1" & "Server_Anwering_8_4>=1") | ("Client_Sending_22>=1" & "Server_Anwering_22_5>=1") | ("Client_Sending_36>=1" & "Server_Anwering_36_4>=1") | ("Client_Sending_74>=1" & "Server_Anwering_74_2>=1") | ("Client_Sending_95>=1" & "Server_Anwering_95_8>=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") | ("Client_Sending_70>=1" & "Server_Anwering_70_9>=1") | ("Client_Sending_11>=1" & "Server_Anwering_11_1>=1") | ("Client_Sending_52>=1" & "Server_Anwering_52_8>=1") | ("Client_Sending_2>=1" & "Server_Anwering_2_3>=1") | ("Client_Sending_94>=1" & "Server_Anwering_94_8>=1") | ("Client_Sending_13>=1" & "Server_Anwering_13_8>=1") | ("Client_Sending_24>=1" & "Server_Anwering_24_1>=1") | ("Client_Sending_22>=1" & "Server_Anwering_22_7>=1") | ("Client_Sending_91>=1" & "Server_Anwering_91_2>=1") | ("Client_Sending_8>=1" & "Server_Anwering_8_2>=1") | ("Client_Sending_79>=1" & "Server_Anwering_79_8>=1") | ("Client_Sending_4>=1" & "Server_Anwering_4_7>=1") | ("Client_Sending_47>=1" & "Server_Anwering_47_3>=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") | ("Client_Sending_64>=1" & "Server_Anwering_64_10>=1") | ("Client_Sending_47>=1" & "Server_Anwering_47_5>=1") | ("Client_Sending_29>=1" & "Server_Anwering_29_5>=1") | ("Client_Sending_77>=1" & "Server_Anwering_77_2>=1") | ("Client_Sending_93>=1" & "Server_Anwering_93_4>=1") | ("Client_Sending_61>=1" & "Server_Anwering_61_9>=1") | ("Client_Sending_56>=1" & "Server_Anwering_56_6>=1") | ("Client_Sending_2>=1" & "Server_Anwering_2_6>=1") | ("Client_Sending_94>=1" & "Server_Anwering_94_4>=1") | ("Client_Sending_7>=1" & "Server_Anwering_7_5>=1") | ("Client_Sending_73>=1" & "Server_Anwering_73_10>=1") | ("Client_Sending_37>=1" & "Server_Anwering_37_6>=1") | ("Client_Sending_21>=1" & "Server_Anwering_21_1>=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") | ("Client_Sending_88>=1" & "Server_Anwering_88_5>=1") | ("Client_Sending_69>=1" & "Server_Anwering_69_3>=1") | ("Client_Sending_13>=1" & "Server_Anwering_13_9>=1") | ("Client_Sending_16>=1" & "Server_Anwering_16_8>=1") | ("Client_Sending_73>=1" & "Server_Anwering_73_4>=1") | ("Client_Sending_30>=1" & "Server_Anwering_30_7>=1") | ("Client_Sending_19>=1" & "Server_Anwering_19_6>=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") | ("Client_Sending_71>=1" & "Server_Anwering_71_6>=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") | ("Client_Sending_36>=1" & "Server_Anwering_36_5>=1") | ("Client_Sending_8>=1" & "Server_Anwering_8_10>=1") | ("Client_Sending_81>=1" & "Server_Anwering_81_10>=1") | ("Client_Sending_57>=1" & "Server_Anwering_57_1>=1") | ("Client_Sending_36>=1" & "Server_Anwering_36_2>=1") | ("Client_Sending_10>=1" & "Server_Anwering_10_4>=1") | ("Client_Sending_88>=1" & "Server_Anwering_88_3>=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") | ("Client_Sending_76>=1" & "Server_Anwering_76_6>=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") | ("Client_Sending_44>=1" & "Server_Anwering_44_4>=1") | ("Client_Sending_27>=1" & "Server_Anwering_27_3>=1") | ("Client_Sending_82>=1" & "Server_Anwering_82_3>=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") | ("Client_Sending_85>=1" & "Server_Anwering_85_7>=1") | ("Client_Sending_45>=1" & "Server_Anwering_45_8>=1") | ("Client_Sending_3>=1" & "Server_Anwering_3_7>=1") | ("Client_Sending_80>=1" & "Server_Anwering_80_4>=1") | ("Client_Sending_3>=1" & "Server_Anwering_3_1>=1") | ("Client_Sending_70>=1" & "Server_Anwering_70_8>=1") | ("Client_Sending_64>=1" & "Server_Anwering_64_8>=1") | ("Client_Sending_100>=1" & "Server_Anwering_100_1>=1") | ("Client_Sending_5>=1" & "Server_Anwering_5_6>=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") | ("Client_Sending_18>=1" & "Server_Anwering_18_2>=1") | ("Client_Sending_80>=1" & "Server_Anwering_80_5>=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") | ("Client_Sending_2>=1" & "Server_Anwering_2_5>=1") | ("Client_Sending_74>=1" & "Server_Anwering_74_5>=1") | ("Client_Sending_85>=1" & "Server_Anwering_85_1>=1") | ("Client_Sending_24>=1" & "Server_Anwering_24_8>=1") | ("Client_Sending_2>=1" & "Server_Anwering_2_8>=1") | ("Client_Sending_51>=1" & "Server_Anwering_51_4>=1") | ("Client_Sending_73>=1" & "Server_Anwering_73_1>=1") | ("Client_Sending_43>=1" & "Server_Anwering_43_5>=1") | ("Client_Sending_80>=1" & "Server_Anwering_80_9>=1") | ("Client_Sending_94>=1" & "Server_Anwering_94_1>=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") | ("Client_Sending_36>=1" & "Server_Anwering_36_10>=1") | ("Client_Sending_5>=1" & "Server_Anwering_5_9>=1") | ("Client_Sending_95>=1" & "Server_Anwering_95_3>=1") | ("Client_Sending_43>=1" & "Server_Anwering_43_9>=1") | ("Client_Sending_2>=1" & "Server_Anwering_2_7>=1") | ("Client_Sending_60>=1" & "Server_Anwering_60_7>=1") | ("Client_Sending_27>=1" & "Server_Anwering_27_2>=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") | ("Client_Sending_82>=1" & "Server_Anwering_82_1>=1") | ("Client_Sending_86>=1" & "Server_Anwering_86_8>=1") | ("Client_Sending_92>=1" & "Server_Anwering_92_10>=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") | ("Client_Sending_19>=1" & "Server_Anwering_19_3>=1") | ("Client_Sending_55>=1" & "Server_Anwering_55_3>=1") | ("Client_Sending_49>=1" & "Server_Anwering_49_5>=1") | ("Client_Sending_23>=1" & "Server_Anwering_23_8>=1") | ("Client_Sending_71>=1" & "Server_Anwering_71_2>=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") | ("Client_Sending_51>=1" & "Server_Anwering_51_9>=1") | ("Client_Sending_10>=1" & "Server_Anwering_10_5>=1") | ("Client_Sending_23>=1" & "Server_Anwering_23_4>=1") | ("Client_Sending_96>=1" & "Server_Anwering_96_9>=1") | ("Client_Sending_80>=1" & "Server_Anwering_80_7>=1") | ("Client_Sending_50>=1" & "Server_Anwering_50_3>=1") | ("Client_Sending_62>=1" & "Server_Anwering_62_9>=1") | ("Client_Sending_99>=1" & "Server_Anwering_99_7>=1") | ("Client_Sending_74>=1" & "Server_Anwering_74_4>=1") | ("Client_Sending_39>=1" & "Server_Anwering_39_6>=1") | ("Client_Sending_77>=1" & "Server_Anwering_77_8>=1") | ("Client_Sending_54>=1" & "Server_Anwering_54_10>=1") | ("Client_Sending_8>=1" & "Server_Anwering_8_8>=1") | ("Client_Sending_99>=1" & "Server_Anwering_99_2>=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") | ("Client_Sending_85>=1" & "Server_Anwering_85_2>=1") | ("Client_Sending_51>=1" & "Server_Anwering_51_1>=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") | ("Client_Sending_57>=1" & "Server_Anwering_57_2>=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") | ("Client_Sending_90>=1" & "Server_Anwering_90_1>=1") | ("Client_Sending_32>=1" & "Server_Anwering_32_6>=1") | ("Client_Sending_67>=1" & "Server_Anwering_67_7>=1") | ("Client_Sending_35>=1" & "Server_Anwering_35_4>=1") | ("Client_Sending_23>=1" & "Server_Anwering_23_7>=1") | ("Client_Sending_27>=1" & "Server_Anwering_27_10>=1") | ("Client_Sending_96>=1" & "Server_Anwering_96_2>=1") | ("Client_Sending_46>=1" & "Server_Anwering_46_2>=1") | ("Client_Sending_59>=1" & "Server_Anwering_59_9>=1") | ("Client_Sending_10>=1" & "Server_Anwering_10_7>=1") | ("Client_Sending_74>=1" & "Server_Anwering_74_10>=1") | ("Client_Sending_35>=1" & "Server_Anwering_35_2>=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") | ("Client_Sending_30>=1" & "Server_Anwering_30_5>=1") | ("Client_Sending_99>=1" & "Server_Anwering_99_5>=1") | ("Client_Sending_85>=1" & "Server_Anwering_85_4>=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") | ("Client_Sending_79>=1" & "Server_Anwering_79_9>=1") | ("Client_Sending_71>=1" & "Server_Anwering_71_5>=1") | ("Client_Sending_18>=1" & "Server_Anwering_18_4>=1") | ("Client_Sending_97>=1" & "Server_Anwering_97_8>=1") | ("Client_Sending_50>=1" & "Server_Anwering_50_8>=1") | ("Client_Sending_30>=1" & "Server_Anwering_30_8>=1") | ("Client_Sending_100>=1" & "Server_Anwering_100_9>=1") | ("Client_Sending_52>=1" & "Server_Anwering_52_7>=1") | ("Client_Sending_65>=1" & "Server_Anwering_65_6>=1") | ("Client_Sending_41>=1" & "Server_Anwering_41_3>=1") | ("Client_Sending_43>=1" & "Server_Anwering_43_1>=1") | ("Client_Sending_28>=1" & "Server_Anwering_28_3>=1") | ("Client_Sending_17>=1" & "Server_Anwering_17_7>=1") | ("Client_Sending_94>=1" & "Server_Anwering_94_7>=1") | ("Client_Sending_69>=1" & "Server_Anwering_69_9>=1") | ("Client_Sending_44>=1" & "Server_Anwering_44_9>=1") | ("Client_Sending_11>=1" & "Server_Anwering_11_3>=1") | ("Client_Sending_22>=1" & "Server_Anwering_22_6>=1") | ("Client_Sending_95>=1" & "Server_Anwering_95_10>=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") | ("Client_Sending_72>=1" & "Server_Anwering_72_5>=1") | ("Client_Sending_78>=1" & "Server_Anwering_78_4>=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") | ("Client_Sending_68>=1" & "Server_Anwering_68_9>=1") | ("Client_Sending_27>=1" & "Server_Anwering_27_6>=1") | ("Client_Sending_88>=1" & "Server_Anwering_88_4>=1") | ("Client_Sending_52>=1" & "Server_Anwering_52_4>=1") | ("Client_Sending_72>=1" & "Server_Anwering_72_7>=1") | ("Client_Sending_16>=1" & "Server_Anwering_16_7>=1") | ("Client_Sending_90>=1" & "Server_Anwering_90_9>=1") | ("Client_Sending_65>=1" & "Server_Anwering_65_10>=1") | ("Client_Sending_68>=1" & "Server_Anwering_68_2>=1") | ("Client_Sending_74>=1" & "Server_Anwering_74_1>=1") | ("Client_Sending_67>=1" & "Server_Anwering_67_4>=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") | ("Client_Sending_29>=1" & "Server_Anwering_29_4>=1") | ("Client_Sending_37>=1" & "Server_Anwering_37_7>=1") | ("Client_Sending_34>=1" & "Server_Anwering_34_5>=1") | ("Client_Sending_18>=1" & "Server_Anwering_18_10>=1") | ("Client_Sending_51>=1" & "Server_Anwering_51_6>=1") | ("Client_Sending_85>=1" & "Server_Anwering_85_5>=1") | ("Client_Sending_9>=1" & "Server_Anwering_9_4>=1") | ("Client_Sending_92>=1" & "Server_Anwering_92_1>=1") | ("Client_Sending_66>=1" & "Server_Anwering_66_10>=1") | ("Client_Sending_74>=1" & "Server_Anwering_74_7>=1") | ("Client_Sending_52>=1" & "Server_Anwering_52_3>=1") | ("Client_Sending_70>=1" & "Server_Anwering_70_3>=1") | ("Client_Sending_65>=1" & "Server_Anwering_65_2>=1") | ("Client_Sending_55>=1" & "Server_Anwering_55_2>=1") | ("Client_Sending_32>=1" & "Server_Anwering_32_3>=1") | ("Client_Sending_25>=1" & "Server_Anwering_25_9>=1") | ("Client_Sending_43>=1" & "Server_Anwering_43_7>=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") | ("Client_Sending_93>=1" & "Server_Anwering_93_6>=1") | ("Client_Sending_23>=1" & "Server_Anwering_23_5>=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") | ("Client_Sending_5>=1" & "Server_Anwering_5_2>=1") | ("Client_Sending_22>=1" & "Server_Anwering_22_3>=1") | ("Client_Sending_49>=1" & "Server_Anwering_49_3>=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") | ("Client_Sending_100>=1" & "Server_Anwering_100_10>=1") | ("Client_Sending_95>=1" & "Server_Anwering_95_4>=1") | ("Client_Sending_79>=1" & "Server_Anwering_79_6>=1") | ("Client_Sending_6>=1" & "Server_Anwering_6_5>=1") | ("Client_Sending_22>=1" & "Server_Anwering_22_8>=1") | ("Client_Sending_46>=1" & "Server_Anwering_46_7>=1") | ("Client_Sending_16>=1" & "Server_Anwering_16_9>=1") | ("Client_Sending_15>=1" & "Server_Anwering_15_4>=1") | ("Client_Sending_85>=1" & "Server_Anwering_85_8>=1") | ("Client_Sending_41>=1" & "Server_Anwering_41_5>=1") | ("Client_Sending_71>=1" & "Server_Anwering_71_1>=1") | ("Client_Sending_58>=1" & "Server_Anwering_58_5>=1") | ("Client_Sending_38>=1" & "Server_Anwering_38_4>=1") | ("Client_Sending_17>=1" & "Server_Anwering_17_1>=1") | ("Client_Sending_24>=1" & "Server_Anwering_24_7>=1") | ("Client_Sending_43>=1" & "Server_Anwering_43_8>=1") | ("Client_Sending_13>=1" & "Server_Anwering_13_6>=1") | ("Client_Sending_61>=1" & "Server_Anwering_61_1>=1") | ("Client_Sending_16>=1" & "Server_Anwering_16_5>=1") | ("Client_Sending_95>=1" & "Server_Anwering_95_9>=1") | ("Client_Sending_3>=1" & "Server_Anwering_3_3>=1") | ("Client_Sending_100>=1" & "Server_Anwering_100_5>=1") | ("Client_Sending_38>=1" & "Server_Anwering_38_2>=1") | ("Client_Sending_87>=1" & "Server_Anwering_87_9>=1") | ("Client_Sending_93>=1" & "Server_Anwering_93_10>=1") | ("Client_Sending_10>=1" & "Server_Anwering_10_9>=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") | ("Client_Sending_82>=1" & "Server_Anwering_82_9>=1") | ("Client_Sending_33>=1" & "Server_Anwering_33_2>=1") | ("Client_Sending_76>=1" & "Server_Anwering_76_3>=1") | ("Client_Sending_7>=1" & "Server_Anwering_7_8>=1") | ("Client_Sending_54>=1" & "Server_Anwering_54_9>=1") | ("Client_Sending_73>=1" & "Server_Anwering_73_9>=1") | ("Client_Sending_13>=1" & "Server_Anwering_13_5>=1") | ("Client_Sending_25>=1" & "Server_Anwering_25_10>=1"))
COULD_NOT_COMPUTE

BK_STOP 1464381829676

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -XX:MaxPermSize=512m -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLFireability -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its
Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=512m; support was removed in 8.0
May 27, 2016 7:45:14 PM fr.lip6.move.gal.application.Application transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
May 27, 2016 7:45:15 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 338 ms
May 27, 2016 7:45:15 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 1311 places.
May 27, 2016 7:45:16 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 2300 transitions.
May 27, 2016 7:45:18 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 634 ms
May 27, 2016 7:45:18 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.gal : 101 ms
May 27, 2016 7:45:18 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 89 ms
May 27, 2016 8:43:46 PM fr.lip6.move.gal.itstools.ProcessController$1 run
WARNING: null
java.io.IOException: Pipe broken
at java.io.PipedInputStream.read(PipedInputStream.java:321)
at java.io.PipedInputStream.read(PipedInputStream.java:377)
at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
at java.io.InputStreamReader.read(InputStreamReader.java:184)
at java.io.BufferedReader.fill(BufferedReader.java:161)
at java.io.BufferedReader.readLine(BufferedReader.java:324)
at java.io.BufferedReader.readLine(BufferedReader.java:389)
at fr.lip6.move.gal.application.Application$ITSInterpreter.run(Application.java:460)
at java.lang.Thread.run(Thread.java:745)

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="S_CSRepetitions-PT-10"
export BK_EXAMINATION="LTLFireability"
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/S_CSRepetitions-PT-10.tgz
mv S_CSRepetitions-PT-10 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2979"
echo " Executing tool itstools"
echo " Input is S_CSRepetitions-PT-10, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r169kn-ebro-146433128600537"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 '' LTLFireability.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 ;