About the Execution of ITS-Tools for S_SafeBus-COL-50
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15843.220 | 3600000.00 | 4101695.00 | 457.00 | ?FTF?FFFTFTTTTTF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is S_SafeBus-COL-50, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r150-csrt-149443434800223
=====================================================================
--------------------
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 SafeBus-COL-50-ReachabilityCardinality-0
FORMULA_NAME SafeBus-COL-50-ReachabilityCardinality-1
FORMULA_NAME SafeBus-COL-50-ReachabilityCardinality-10
FORMULA_NAME SafeBus-COL-50-ReachabilityCardinality-11
FORMULA_NAME SafeBus-COL-50-ReachabilityCardinality-12
FORMULA_NAME SafeBus-COL-50-ReachabilityCardinality-13
FORMULA_NAME SafeBus-COL-50-ReachabilityCardinality-14
FORMULA_NAME SafeBus-COL-50-ReachabilityCardinality-15
FORMULA_NAME SafeBus-COL-50-ReachabilityCardinality-2
FORMULA_NAME SafeBus-COL-50-ReachabilityCardinality-3
FORMULA_NAME SafeBus-COL-50-ReachabilityCardinality-4
FORMULA_NAME SafeBus-COL-50-ReachabilityCardinality-5
FORMULA_NAME SafeBus-COL-50-ReachabilityCardinality-6
FORMULA_NAME SafeBus-COL-50-ReachabilityCardinality-7
FORMULA_NAME SafeBus-COL-50-ReachabilityCardinality-8
FORMULA_NAME SafeBus-COL-50-ReachabilityCardinality-9
=== Now, execution of the tool begins
BK_START 1496660089508
FORMULA SafeBus-COL-50-ReachabilityCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-50-ReachabilityCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-50-ReachabilityCardinality-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-50-ReachabilityCardinality-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-50-ReachabilityCardinality-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-50-ReachabilityCardinality-9 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-50-ReachabilityCardinality-8 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-50-ReachabilityCardinality-7 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-50-ReachabilityCardinality-6 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-50-ReachabilityCardinality-5 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-50-ReachabilityCardinality-4 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-50-ReachabilityCardinality-3 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-50-ReachabilityCardinality-2 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SafeBus-COL-50-ReachabilityCardinality-1 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-reach command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/ReachabilityCardinality.pnml.gal -t CGAL -reachable-file ReachabilityCardinality.prop --nowitness
Loading property file ReachabilityCardinality.prop.
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
Exit code :137
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.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 ReachabilityCardinality -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 05, 2017 10:54:51 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 05, 2017 10:54:51 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Jun 05, 2017 10:54:52 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1569 ms
Jun 05, 2017 10:54:52 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 20 places.
Jun 05, 2017 10:54:52 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 05, 2017 10:54:52 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :Dom->AMC,wait_ack,
Dot->cable_free,ACK,T_out,R_tout,S_tout,FMCb,
It->Cpt2,Cpt1,msgl,cable_used,FMC,wait_cable,listen,RMC,PMC,MSG,wait_msg,loop_em,
Jun 05, 2017 10:54:52 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 14 transitions.
Jun 05, 2017 10:54:52 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 05, 2017 10:54:52 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $x and $y of transition C_refuse
Jun 05, 2017 10:54:52 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $i and $j of transition C_free
Jun 05, 2017 10:54:52 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $x and $y of transition C_provide
Jun 05, 2017 10:54:52 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $r and $i of transition I_rec1
Jun 05, 2017 10:54:52 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $i and $j of transition I_emit
Jun 05, 2017 10:54:52 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $i and $j of transition I_refused
Jun 05, 2017 10:54:52 AM fr.lip6.move.gal.instantiate.Instantiator fuseEqualParameters
INFO: Fused parameters : $r and $i of transition I_rec2
Jun 05, 2017 10:54:54 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 50 instantiations of transitions. Total transitions/syncs built is 18160
Jun 05, 2017 10:54:54 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 5606 variables) in GAL type Document
Jun 05, 2017 10:54:54 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 50 constant array cells/variables (out of 5606 variables) in type Document
Jun 05, 2017 10:54:54 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: msgl[0-49],
Jun 05, 2017 10:54:54 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 2650 expressions due to constant valuations.
Jun 05, 2017 10:54:55 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property SafeBus-COL-50-ReachabilityCardinality-1 is trivially false : it is not verified in initial state.
Jun 05, 2017 10:54:55 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property SafeBus-COL-50-ReachabilityCardinality-2 is trivially true : it is verified in initial state.
Jun 05, 2017 10:54:55 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property SafeBus-COL-50-ReachabilityCardinality-3 is trivially false : it is not verified in initial state.
Jun 05, 2017 10:54:55 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property SafeBus-COL-50-ReachabilityCardinality-4 is trivially true : it is verified in initial state.
Jun 05, 2017 10:54:55 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property SafeBus-COL-50-ReachabilityCardinality-5 is trivially true : it is verified in initial state.
Jun 05, 2017 10:54:55 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property SafeBus-COL-50-ReachabilityCardinality-6 is trivially true : it is verified in initial state.
Jun 05, 2017 10:54:55 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property SafeBus-COL-50-ReachabilityCardinality-7 is trivially true : it is verified in initial state.
Jun 05, 2017 10:54:55 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property SafeBus-COL-50-ReachabilityCardinality-8 is trivially true : it is verified in initial state.
Jun 05, 2017 10:54:55 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property SafeBus-COL-50-ReachabilityCardinality-9 is trivially false : it is not verified in initial state.
Jun 05, 2017 10:54:55 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property SafeBus-COL-50-ReachabilityCardinality-10 is trivially true : it is verified in initial state.
Jun 05, 2017 10:54:55 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property SafeBus-COL-50-ReachabilityCardinality-11 is trivially false : it is not verified in initial state.
Jun 05, 2017 10:54:55 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property SafeBus-COL-50-ReachabilityCardinality-13 is trivially false : it is not verified in initial state.
Jun 05, 2017 10:54:55 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property SafeBus-COL-50-ReachabilityCardinality-14 is trivially false : it is not verified in initial state.
Jun 05, 2017 10:54:55 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property SafeBus-COL-50-ReachabilityCardinality-15 is trivially false : it is not verified in initial state.
Jun 05, 2017 10:54:55 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 2941 ms
Jun 05, 2017 10:54:57 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1593 ms
Jun 05, 2017 10:54:57 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityCardinality.pnml.gal : 212 ms
Jun 05, 2017 10:54:57 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSTools
INFO: Time to serialize properties into /home/mcc/execution/ReachabilityCardinality.prop : 5 ms
Jun 05, 2017 10:54:57 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1777 ms
Exception in thread "Thread-6" java.lang.OutOfMemoryError: Java heap space
at fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext.convertToLine(Gal2PinsTransformerNext.java:145)
at fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext.printDependencyMatrix(Gal2PinsTransformerNext.java:176)
at fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext.buildBodyFile(Gal2PinsTransformerNext.java:80)
at fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext.transform(Gal2PinsTransformerNext.java:739)
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:44)
at java.lang.Thread.run(Thread.java:748)
Jun 05, 2017 10:57:01 AM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: Ran tautology test, simplified 0 / 2 in 123843 ms.
Jun 05, 2017 10:57:01 AM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd runBMC
INFO: BMC solution for property SafeBus-COL-50-ReachabilityCardinality-0(UNSAT) depth K=0 took 3 ms
Jun 05, 2017 10:57:02 AM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd runBMC
INFO: BMC solution for property SafeBus-COL-50-ReachabilityCardinality-12(UNSAT) depth K=0 took 175 ms
Exception in thread "Thread-9" java.lang.OutOfMemoryError: Java heap space
at uniol.apt.analysis.invariants.InvariantCalculator.transposeMatrix(InvariantCalculator.java:590)
at uniol.apt.analysis.invariants.InvariantCalculator.calcSInvariants(InvariantCalculator.java:626)
at fr.lip6.move.gal.gal2smt.bmc.KInductionSolver.computeAndDeclareInvariants(KInductionSolver.java:210)
at fr.lip6.move.gal.gal2smt.bmc.KInductionSolver.init(KInductionSolver.java:77)
at fr.lip6.move.gal.gal2smt.smt.ISMTSolver.init(ISMTSolver.java:16)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runKInduction(Gal2SMTFrontEnd.java:280)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.access$2(Gal2SMTFrontEnd.java:275)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd$2.run(Gal2SMTFrontEnd.java:167)
at java.lang.Thread.run(Thread.java:748)
Jun 05, 2017 10:58:49 AM fr.lip6.move.gal.itstools.Runner runTool
INFO: Standard error output from running tool CommandLine [args=[/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/ReachabilityCardinality.pnml.gal, -t, CGAL, -reachable-file, ReachabilityCardinality.prop, --nowitness], workingDir=/home/mcc/execution]
Read property : SafeBus-COL-50-ReachabilityCardinality-0 with value :(((((((((((((((((((((((((((((((((((((((((((((((((((((wait_cable[0]+wait_cable[1])+wait_cable[2])+wait_cable[3])+wait_cable[4])+wait_cable[5])+wait_cable[6])+wait_cable[7])+wait_cable[8])+wait_cable[9])+wait_cable[10])+wait_cable[11])+wait_cable[12])+wait_cable[13])+wait_cable[14])+wait_cable[15])+wait_cable[16])+wait_cable[17])+wait_cable[18])+wait_cable[19])+wait_cable[20])+wait_cable[21])+wait_cable[22])+wait_cable[23])+wait_cable[24])+wait_cable[25])+wait_cable[26])+wait_cable[27])+wait_cable[28])+wait_cable[29])+wait_cable[30])+wait_cable[31])+wait_cable[32])+wait_cable[33])+wait_cable[34])+wait_cable[35])+wait_cable[36])+wait_cable[37])+wait_cable[38])+wait_cable[39])+wait_cable[40])+wait_cable[41])+wait_cable[42])+wait_cable[43])+wait_cable[44])+wait_cable[45])+wait_cable[46])+wait_cable[47])+wait_cable[48])+wait_cable[49])>=3)||(cable_free[0]<=ACK[0]))&&((((((((((((((((((((((((((((((((((((((((((((((((((cable_used[0]+cable_used[1])+cable_used[2])+cable_used[3])+cable_used[4])+cable_used[5])+cable_used[6])+cable_used[7])+cable_used[8])+cable_used[9])+cable_used[10])+cable_used[11])+cable_used[12])+cable_used[13])+cable_used[14])+cable_used[15])+cable_used[16])+cable_used[17])+cable_used[18])+cable_used[19])+cable_used[20])+cable_used[21])+cable_used[22])+cable_used[23])+cable_used[24])+cable_used[25])+cable_used[26])+cable_used[27])+cable_used[28])+cable_used[29])+cable_used[30])+cable_used[31])+cable_used[32])+cable_used[33])+cable_used[34])+cable_used[35])+cable_used[36])+cable_used[37])+cable_used[38])+cable_used[39])+cable_used[40])+cable_used[41])+cable_used[42])+cable_used[43])+cable_used[44])+cable_used[45])+cable_used[46])+cable_used[47])+cable_used[48])+cable_used[49])>=3))||((((((((((((((((((((((((((((((((((((((((((((((((((RMC[0]+RMC[1])+RMC[2])+RMC[3])+RMC[4])+RMC[5])+RMC[6])+RMC[7])+RMC[8])+RMC[9])+RMC[10])+RMC[11])+RMC[12])+RMC[13])+RMC[14])+RMC[15])+RMC[16])+RMC[17])+RMC[18])+RMC[19])+RMC[20])+RMC[21])+RMC[22])+RMC[23])+RMC[24])+RMC[25])+RMC[26])+RMC[27])+RMC[28])+RMC[29])+RMC[30])+RMC[31])+RMC[32])+RMC[33])+RMC[34])+RMC[35])+RMC[36])+RMC[37])+RMC[38])+RMC[39])+RMC[40])+RMC[41])+RMC[42])+RMC[43])+RMC[44])+RMC[45])+RMC[46])+RMC[47])+RMC[48])+RMC[49])>=2))
Read property : SafeBus-COL-50-ReachabilityCardinality-12 with value :((!(R_tout[0]>=2))||(!(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((wait_ack[0]+wait_ack[1])+wait_ack[2])+wait_ack[3])+wait_ack[4])+wait_ack[5])+wait_ack[6])+wait_ack[7])+wait_ack[8])+wait_ack[9])+wait_ack[10])+wait_ack[11])+wait_ack[12])+wait_ack[13])+wait_ack[14])+wait_ack[15])+wait_ack[16])+wait_ack[17])+wait_ack[18])+wait_ack[19])+wait_ack[20])+wait_ack[21])+wait_ack[22])+wait_ack[23])+wait_ack[24])+wait_ack[25])+wait_ack[26])+wait_ack[27])+wait_ack[28])+wait_ack[29])+wait_ack[30])+wait_ack[31])+wait_ack[32])+wait_ack[33])+wait_ack[34])+wait_ack[35])+wait_ack[36])+wait_ack[37])+wait_ack[38])+wait_ack[39])+wait_ack[40])+wait_ack[41])+wait_ack[42])+wait_ack[43])+wait_ack[44])+wait_ack[45])+wait_ack[46])+wait_ack[47])+wait_ack[48])+wait_ack[49])+wait_ack[50])+wait_ack[51])+wait_ack[52])+wait_ack[53])+wait_ack[54])+wait_ack[55])+wait_ack[56])+wait_ack[57])+wait_ack[58])+wait_ack[59])+wait_ack[60])+wait_ack[61])+wait_ack[62])+wait_ack[63])+wait_ack[64])+wait_ack[65])+wait_ack[66])+wait_ack[67])+wait_ack[68])+wait_ack[69])+wait_ack[70])+wait_ack[71])+wait_ack[72])+wait_ack[73])+wait_ack[74])+wait_ack[75])+wait_ack[76])+wait_ack[77])+wait_ack[78])+wait_ack[79])+wait_ack[80])+wait_ack[81])+wait_ack[82])+wait_ack[83])+wait_ack[84])+wait_ack[85])+wait_ack[86])+wait_ack[87])+wait_ack[88])+wait_ack[89])+wait_ack[90])+wait_ack[91])+wait_ack[92])+wait_ack[93])+wait_ack[94])+wait_ack[95])+wait_ack[96])+wait_ack[97])+wait_ack[98])+wait_ack[99])+wait_ack[100])+wait_ack[101])+wait_ack[102])+wait_ack[103])+wait_ack[104])+wait_ack[105])+wait_ack[106])+wait_ack[107])+wait_ack[108])+wait_ack[109])+wait_ack[110])+wait_ack[111])+wait_ack[112])+wait_ack[113])+wait_ack[114])+wait_ack[115])+wait_ack[116])+wait_ack[117])+wait_ack[118])+wait_ack[119])+wait_ack[120])+wait_ack[121])+wait_ack[122])+wait_ack[123])+wait_ack[124])+wait_ack[125])+wait_ack[126])+wait_ack[127])+wait_ack[128])+wait_ack[129])+wait_ack[130])+wait_ack[131])+wait_ack[132])+wait_ack[133])+wait_ack[134])+wait_ack[135])+wait_ack[136])+wait_ack[137])+wait_ack[138])+wait_ack[139])+wait_ack[140])+wait_ack[141])+wait_ack[142])+wait_ack[143])+wait_ack[144])+wait_ack[145])+wait_ack[146])+wait_ack[147])+wait_ack[148])+wait_ack[149])+wait_ack[150])+wait_ack[151])+wait_ack[152])+wait_ack[153])+wait_ack[154])+wait_ack[155])+wait_ack[156])+wait_ack[157])+wait_ack[158])+wait_ack[159])+wait_ack[160])+wait_ack[161])+wait_ack[162])+wait_ack[163])+wait_ack[164])+wait_ack[165])+wait_ack[166])+wait_ack[167])+wait_ack[168])+wait_ack[169])+wait_ack[170])+wait_ack[171])+wait_ack[172])+wait_ack[173])+wait_ack[174])+wait_ack[175])+wait_ack[176])+wait_ack[177])+wait_ack[178])+wait_ack[179])+wait_ack[180])+wait_ack[181])+wait_ack[182])+wait_ack[183])+wait_ack[184])+wait_ack[185])+wait_ack[186])+wait_ack[187])+wait_ack[188])+wait_ack[189])+wait_ack[190])+wait_ack[191])+wait_ack[192])+wait_ack[193])+wait_ack[194])+wait_ack[195])+wait_ack[196])+wait_ack[197])+wait_ack[198])+wait_ack[199])+wait_ack[200])+wait_ack[201])+wait_ack[202])+wait_ack[203])+wait_ack[204])+wait_ack[205])+wait_ack[206])+wait_ack[207])+wait_ack[208])+wait_ack[209])+wait_ack[210])+wait_ack[211])+wait_ack[212])+wait_ack[213])+wait_ack[214])+wait_ack[215])+wait_ack[216])+wait_ack[217])+wait_ack[218])+wait_ack[219])+wait_ack[220])+wait_ack[221])+wait_ack[222])+wait_ack[223])+wait_ack[224])+wait_ack[225])+wait_ack[226])+wait_ack[227])+wait_ack[228])+wait_ack[229])+wait_ack[230])+wait_ack[231])+wait_ack[232])+wait_ack[233])+wait_ack[234])+wait_ack[235])+wait_ack[236])+wait_ack[237])+wait_ack[238])+wait_ack[239])+wait_ack[240])+wait_ack[241])+wait_ack[242])+wait_ack[243])+wait_ack[244])+wait_ack[245])+wait_ack[246])+wait_ack[247])+wait_ack[248])+wait_ack[249])+wait_ack[250])+wait_ack[251])+wait_ack[252])+wait_ack[253])+wait_ack[254])+wait_ack[255])+wait_ack[256])+wait_ack[257])+wait_ack[258])+wait_ack[259])+wait_ack[260])+wait_ack[261])+wait_ack[262])+wait_ack[263])+wait_ack[264])+wait_ack[265])+wait_ack[266])+wait_ack[267])+wait_ack[268])+wait_ack[269])+wait_ack[270])+wait_ack[271])+wait_ack[272])+wait_ack[273])+wait_ack[274])+wait_ack[275])+wait_ack[276])+wait_ack[277])+wait_ack[278])+wait_ack[279])+wait_ack[280])+wait_ack[281])+wait_ack[282])+wait_ack[283])+wait_ack[284])+wait_ack[285])+wait_ack[286])+wait_ack[287])+wait_ack[288])+wait_ack[289])+wait_ack[290])+wait_ack[291])+wait_ack[292])+wait_ack[293])+wait_ack[294])+wait_ack[295])+wait_ack[296])+wait_ack[297])+wait_ack[298])+wait_ack[299])+wait_ack[300])+wait_ack[301])+wait_ack[302])+wait_ack[303])+wait_ack[304])+wait_ack[305])+wait_ack[306])+wait_ack[307])+wait_ack[308])+wait_ack[309])+wait_ack[310])+wait_ack[311])+wait_ack[312])+wait_ack[313])+wait_ack[314])+wait_ack[315])+wait_ack[316])+wait_ack[317])+wait_ack[318])+wait_ack[319])+wait_ack[320])+wait_ack[321])+wait_ack[322])+wait_ack[323])+wait_ack[324])+wait_ack[325])+wait_ack[326])+wait_ack[327])+wait_ack[328])+wait_ack[329])+wait_ack[330])+wait_ack[331])+wait_ack[332])+wait_ack[333])+wait_ack[334])+wait_ack[335])+wait_ack[336])+wait_ack[337])+wait_ack[338])+wait_ack[339])+wait_ack[340])+wait_ack[341])+wait_ack[342])+wait_ack[343])+wait_ack[344])+wait_ack[345])+wait_ack[346])+wait_ack[347])+wait_ack[348])+wait_ack[349])+wait_ack[350])+wait_ack[351])+wait_ack[352])+wait_ack[353])+wait_ack[354])+wait_ack[355])+wait_ack[356])+wait_ack[357])+wait_ack[358])+wait_ack[359])+wait_ack[360])+wait_ack[361])+wait_ack[362])+wait_ack[363])+wait_ack[364])+wait_ack[365])+wait_ack[366])+wait_ack[367])+wait_ack[368])+wait_ack[369])+wait_ack[370])+wait_ack[371])+wait_ack[372])+wait_ack[373])+wait_ack[374])+wait_ack[375])+wait_ack[376])+wait_ack[377])+wait_ack[378])+wait_ack[379])+wait_ack[380])+wait_ack[381])+wait_ack[382])+wait_ack[383])+wait_ack[384])+wait_ack[385])+wait_ack[386])+wait_ack[387])+wait_ack[388])+wait_ack[389])+wait_ack[390])+wait_ack[391])+wait_ack[392])+wait_ack[393])+wait_ack[394])+wait_ack[395])+wait_ack[396])+wait_ack[397])+wait_ack[398])+wait_ack[399])+wait_ack[400])+wait_ack[401])+wait_ack[402])+wait_ack[403])+wait_ack[404])+wait_ack[405])+wait_ack[406])+wait_ack[407])+wait_ack[408])+wait_ack[409])+wait_ack[410])+wait_ack[411])+wait_ack[412])+wait_ack[413])+wait_ack[414])+wait_ack[415])+wait_ack[416])+wait_ack[417])+wait_ack[418])+wait_ack[419])+wait_ack[420])+wait_ack[421])+wait_ack[422])+wait_ack[423])+wait_ack[424])+wait_ack[425])+wait_ack[426])+wait_ack[427])+wait_ack[428])+wait_ack[429])+wait_ack[430])+wait_ack[431])+wait_ack[432])+wait_ack[433])+wait_ack[434])+wait_ack[435])+wait_ack[436])+wait_ack[437])+wait_ack[438])+wait_ack[439])+wait_ack[440])+wait_ack[441])+wait_ack[442])+wait_ack[443])+wait_ack[444])+wait_ack[445])+wait_ack[446])+wait_ack[447])+wait_ack[448])+wait_ack[449])+wait_ack[450])+wait_ack[451])+wait_ack[452])+wait_ack[453])+wait_ack[454])+wait_ack[455])+wait_ack[456])+wait_ack[457])+wait_ack[458])+wait_ack[459])+wait_ack[460])+wait_ack[461])+wait_ack[462])+wait_ack[463])+wait_ack[464])+wait_ack[465])+wait_ack[466])+wait_ack[467])+wait_ack[468])+wait_ack[469])+wait_ack[470])+wait_ack[471])+wait_ack[472])+wait_ack[473])+wait_ack[474])+wait_ack[475])+wait_ack[476])+wait_ack[477])+wait_ack[478])+wait_ack[479])+wait_ack[480])+wait_ack[481])+wait_ack[482])+wait_ack[483])+wait_ack[484])+wait_ack[485])+wait_ack[486])+wait_ack[487])+wait_ack[488])+wait_ack[489])+wait_ack[490])+wait_ack[491])+wait_ack[492])+wait_ack[493])+wait_ack[494])+wait_ack[495])+wait_ack[496])+wait_ack[497])+wait_ack[498])+wait_ack[499])+wait_ack[500])+wait_ack[501])+wait_ack[502])+wait_ack[503])+wait_ack[504])+wait_ack[505])+wait_ack[506])+wait_ack[507])+wait_ack[508])+wait_ack[509])+wait_ack[510])+wait_ack[511])+wait_ack[512])+wait_ack[513])+wait_ack[514])+wait_ack[515])+wait_ack[516])+wait_ack[517])+wait_ack[518])+wait_ack[519])+wait_ack[520])+wait_ack[521])+wait_ack[522])+wait_ack[523])+wait_ack[524])+wait_ack[525])+wait_ack[526])+wait_ack[527])+wait_ack[528])+wait_ack[529])+wait_ack[530])+wait_ack[531])+wait_ack[532])+wait_ack[533])+wait_ack[534])+wait_ack[535])+wait_ack[536])+wait_ack[537])+wait_ack[538])+wait_ack[539])+wait_ack[540])+wait_ack[541])+wait_ack[542])+wait_ack[543])+wait_ack[544])+wait_ack[545])+wait_ack[546])+wait_ack[547])+wait_ack[548])+wait_ack[549])+wait_ack[550])+wait_ack[551])+wait_ack[552])+wait_ack[553])+wait_ack[554])+wait_ack[555])+wait_ack[556])+wait_ack[557])+wait_ack[558])+wait_ack[559])+wait_ack[560])+wait_ack[561])+wait_ack[562])+wait_ack[563])+wait_ack[564])+wait_ack[565])+wait_ack[566])+wait_ack[567])+wait_ack[568])+wait_ack[569])+wait_ack[570])+wait_ack[571])+wait_ack[572])+wait_ack[573])+wait_ack[574])+wait_ack[575])+wait_ack[576])+wait_ack[577])+wait_ack[578])+wait_ack[579])+wait_ack[580])+wait_ack[581])+wait_ack[582])+wait_ack[583])+wait_ack[584])+wait_ack[585])+wait_ack[586])+wait_ack[587])+wait_ack[588])+wait_ack[589])+wait_ack[590])+wait_ack[591])+wait_ack[592])+wait_ack[593])+wait_ack[594])+wait_ack[595])+wait_ack[596])+wait_ack[597])+wait_ack[598])+wait_ack[599])+wait_ack[600])+wait_ack[601])+wait_ack[602])+wait_ack[603])+wait_ack[604])+wait_ack[605])+wait_ack[606])+wait_ack[607])+wait_ack[608])+wait_ack[609])+wait_ack[610])+wait_ack[611])+wait_ack[612])+wait_ack[613])+wait_ack[614])+wait_ack[615])+wait_ack[616])+wait_ack[617])+wait_ack[618])+wait_ack[619])+wait_ack[620])+wait_ack[621])+wait_ack[622])+wait_ack[623])+wait_ack[624])+wait_ack[625])+wait_ack[626])+wait_ack[627])+wait_ack[628])+wait_ack[629])+wait_ack[630])+wait_ack[631])+wait_ack[632])+wait_ack[633])+wait_ack[634])+wait_ack[635])+wait_ack[636])+wait_ack[637])+wait_ack[638])+wait_ack[639])+wait_ack[640])+wait_ack[641])+wait_ack[642])+wait_ack[643])+wait_ack[644])+wait_ack[645])+wait_ack[646])+wait_ack[647])+wait_ack[648])+wait_ack[649])+wait_ack[650])+wait_ack[651])+wait_ack[652])+wait_ack[653])+wait_ack[654])+wait_ack[655])+wait_ack[656])+wait_ack[657])+wait_ack[658])+wait_ack[659])+wait_ack[660])+wait_ack[661])+wait_ack[662])+wait_ack[663])+wait_ack[664])+wait_ack[665])+wait_ack[666])+wait_ack[667])+wait_ack[668])+wait_ack[669])+wait_ack[670])+wait_ack[671])+wait_ack[672])+wait_ack[673])+wait_ack[674])+wait_ack[675])+wait_ack[676])+wait_ack[677])+wait_ack[678])+wait_ack[679])+wait_ack[680])+wait_ack[681])+wait_ack[682])+wait_ack[683])+wait_ack[684])+wait_ack[685])+wait_ack[686])+wait_ack[687])+wait_ack[688])+wait_ack[689])+wait_ack[690])+wait_ack[691])+wait_ack[692])+wait_ack[693])+wait_ack[694])+wait_ack[695])+wait_ack[696])+wait_ack[697])+wait_ack[698])+wait_ack[699])+wait_ack[700])+wait_ack[701])+wait_ack[702])+wait_ack[703])+wait_ack[704])+wait_ack[705])+wait_ack[706])+wait_ack[707])+wait_ack[708])+wait_ack[709])+wait_ack[710])+wait_ack[711])+wait_ack[712])+wait_ack[713])+wait_ack[714])+wait_ack[715])+wait_ack[716])+wait_ack[717])+wait_ack[718])+wait_ack[719])+wait_ack[720])+wait_ack[721])+wait_ack[722])+wait_ack[723])+wait_ack[724])+wait_ack[725])+wait_ack[726])+wait_ack[727])+wait_ack[728])+wait_ack[729])+wait_ack[730])+wait_ack[731])+wait_ack[732])+wait_ack[733])+wait_ack[734])+wait_ack[735])+wait_ack[736])+wait_ack[737])+wait_ack[738])+wait_ack[739])+wait_ack[740])+wait_ack[741])+wait_ack[742])+wait_ack[743])+wait_ack[744])+wait_ack[745])+wait_ack[746])+wait_ack[747])+wait_ack[748])+wait_ack[749])+wait_ack[750])+wait_ack[751])+wait_ack[752])+wait_ack[753])+wait_ack[754])+wait_ack[755])+wait_ack[756])+wait_ack[757])+wait_ack[758])+wait_ack[759])+wait_ack[760])+wait_ack[761])+wait_ack[762])+wait_ack[763])+wait_ack[764])+wait_ack[765])+wait_ack[766])+wait_ack[767])+wait_ack[768])+wait_ack[769])+wait_ack[770])+wait_ack[771])+wait_ack[772])+wait_ack[773])+wait_ack[774])+wait_ack[775])+wait_ack[776])+wait_ack[777])+wait_ack[778])+wait_ack[779])+wait_ack[780])+wait_ack[781])+wait_ack[782])+wait_ack[783])+wait_ack[784])+wait_ack[785])+wait_ack[786])+wait_ack[787])+wait_ack[788])+wait_ack[789])+wait_ack[790])+wait_ack[791])+wait_ack[792])+wait_ack[793])+wait_ack[794])+wait_ack[795])+wait_ack[796])+wait_ack[797])+wait_ack[798])+wait_ack[799])+wait_ack[800])+wait_ack[801])+wait_ack[802])+wait_ack[803])+wait_ack[804])+wait_ack[805])+wait_ack[806])+wait_ack[807])+wait_ack[808])+wait_ack[809])+wait_ack[810])+wait_ack[811])+wait_ack[812])+wait_ack[813])+wait_ack[814])+wait_ack[815])+wait_ack[816])+wait_ack[817])+wait_ack[818])+wait_ack[819])+wait_ack[820])+wait_ack[821])+wait_ack[822])+wait_ack[823])+wait_ack[824])+wait_ack[825])+wait_ack[826])+wait_ack[827])+wait_ack[828])+wait_ack[829])+wait_ack[830])+wait_ack[831])+wait_ack[832])+wait_ack[833])+wait_ack[834])+wait_ack[835])+wait_ack[836])+wait_ack[837])+wait_ack[838])+wait_ack[839])+wait_ack[840])+wait_ack[841])+wait_ack[842])+wait_ack[843])+wait_ack[844])+wait_ack[845])+wait_ack[846])+wait_ack[847])+wait_ack[848])+wait_ack[849])+wait_ack[850])+wait_ack[851])+wait_ack[852])+wait_ack[853])+wait_ack[854])+wait_ack[855])+wait_ack[856])+wait_ack[857])+wait_ack[858])+wait_ack[859])+wait_ack[860])+wait_ack[861])+wait_ack[862])+wait_ack[863])+wait_ack[864])+wait_ack[865])+wait_ack[866])+wait_ack[867])+wait_ack[868])+wait_ack[869])+wait_ack[870])+wait_ack[871])+wait_ack[872])+wait_ack[873])+wait_ack[874])+wait_ack[875])+wait_ack[876])+wait_ack[877])+wait_ack[878])+wait_ack[879])+wait_ack[880])+wait_ack[881])+wait_ack[882])+wait_ack[883])+wait_ack[884])+wait_ack[885])+wait_ack[886])+wait_ack[887])+wait_ack[888])+wait_ack[889])+wait_ack[890])+wait_ack[891])+wait_ack[892])+wait_ack[893])+wait_ack[894])+wait_ack[895])+wait_ack[896])+wait_ack[897])+wait_ack[898])+wait_ack[899])+wait_ack[900])+wait_ack[901])+wait_ack[902])+wait_ack[903])+wait_ack[904])+wait_ack[905])+wait_ack[906])+wait_ack[907])+wait_ack[908])+wait_ack[909])+wait_ack[910])+wait_ack[911])+wait_ack[912])+wait_ack[913])+wait_ack[914])+wait_ack[915])+wait_ack[916])+wait_ack[917])+wait_ack[918])+wait_ack[919])+wait_ack[920])+wait_ack[921])+wait_ack[922])+wait_ack[923])+wait_ack[924])+wait_ack[925])+wait_ack[926])+wait_ack[927])+wait_ack[928])+wait_ack[929])+wait_ack[930])+wait_ack[931])+wait_ack[932])+wait_ack[933])+wait_ack[934])+wait_ack[935])+wait_ack[936])+wait_ack[937])+wait_ack[938])+wait_ack[939])+wait_ack[940])+wait_ack[941])+wait_ack[942])+wait_ack[943])+wait_ack[944])+wait_ack[945])+wait_ack[946])+wait_ack[947])+wait_ack[948])+wait_ack[949])+wait_ack[950])+wait_ack[951])+wait_ack[952])+wait_ack[953])+wait_ack[954])+wait_ack[955])+wait_ack[956])+wait_ack[957])+wait_ack[958])+wait_ack[959])+wait_ack[960])+wait_ack[961])+wait_ack[962])+wait_ack[963])+wait_ack[964])+wait_ack[965])+wait_ack[966])+wait_ack[967])+wait_ack[968])+wait_ack[969])+wait_ack[970])+wait_ack[971])+wait_ack[972])+wait_ack[973])+wait_ack[974])+wait_ack[975])+wait_ack[976])+wait_ack[977])+wait_ack[978])+wait_ack[979])+wait_ack[980])+wait_ack[981])+wait_ack[982])+wait_ack[983])+wait_ack[984])+wait_ack[985])+wait_ack[986])+wait_ack[987])+wait_ack[988])+wait_ack[989])+wait_ack[990])+wait_ack[991])+wait_ack[992])+wait_ack[993])+wait_ack[994])+wait_ack[995])+wait_ack[996])+wait_ack[997])+wait_ack[998])+wait_ack[999])+wait_ack[1000])+wait_ack[1001])+wait_ack[1002])+wait_ack[1003])+wait_ack[1004])+wait_ack[1005])+wait_ack[1006])+wait_ack[1007])+wait_ack[1008])+wait_ack[1009])+wait_ack[1010])+wait_ack[1011])+wait_ack[1012])+wait_ack[1013])+wait_ack[1014])+wait_ack[1015])+wait_ack[1016])+wait_ack[1017])+wait_ack[1018])+wait_ack[1019])+wait_ack[1020])+wait_ack[1021])+wait_ack[1022])+wait_ack[1023])+wait_ack[1024])+wait_ack[1025])+wait_ack[1026])+wait_ack[1027])+wait_ack[1028])+wait_ack[1029])+wait_ack[1030])+wait_ack[1031])+wait_ack[1032])+wait_ack[1033])+wait_ack[1034])+wait_ack[1035])+wait_ack[1036])+wait_ack[1037])+wait_ack[1038])+wait_ack[1039])+wait_ack[1040])+wait_ack[1041])+wait_ack[1042])+wait_ack[1043])+wait_ack[1044])+wait_ack[1045])+wait_ack[1046])+wait_ack[1047])+wait_ack[1048])+wait_ack[1049])+wait_ack[1050])+wait_ack[1051])+wait_ack[1052])+wait_ack[1053])+wait_ack[1054])+wait_ack[1055])+wait_ack[1056])+wait_ack[1057])+wait_ack[1058])+wait_ack[1059])+wait_ack[1060])+wait_ack[1061])+wait_ack[1062])+wait_ack[1063])+wait_ack[1064])+wait_ack[1065])+wait_ack[1066])+wait_ack[1067])+wait_ack[1068])+wait_ack[1069])+wait_ack[1070])+wait_ack[1071])+wait_ack[1072])+wait_ack[1073])+wait_ack[1074])+wait_ack[1075])+wait_ack[1076])+wait_ack[1077])+wait_ack[1078])+wait_ack[1079])+wait_ack[1080])+wait_ack[1081])+wait_ack[1082])+wait_ack[1083])+wait_ack[1084])+wait_ack[1085])+wait_ack[1086])+wait_ack[1087])+wait_ack[1088])+wait_ack[1089])+wait_ack[1090])+wait_ack[1091])+wait_ack[1092])+wait_ack[1093])+wait_ack[1094])+wait_ack[1095])+wait_ack[1096])+wait_ack[1097])+wait_ack[1098])+wait_ack[1099])+wait_ack[1100])+wait_ack[1101])+wait_ack[1102])+wait_ack[1103])+wait_ack[1104])+wait_ack[1105])+wait_ack[1106])+wait_ack[1107])+wait_ack[1108])+wait_ack[1109])+wait_ack[1110])+wait_ack[1111])+wait_ack[1112])+wait_ack[1113])+wait_ack[1114])+wait_ack[1115])+wait_ack[1116])+wait_ack[1117])+wait_ack[1118])+wait_ack[1119])+wait_ack[1120])+wait_ack[1121])+wait_ack[1122])+wait_ack[1123])+wait_ack[1124])+wait_ack[1125])+wait_ack[1126])+wait_ack[1127])+wait_ack[1128])+wait_ack[1129])+wait_ack[1130])+wait_ack[1131])+wait_ack[1132])+wait_ack[1133])+wait_ack[1134])+wait_ack[1135])+wait_ack[1136])+wait_ack[1137])+wait_ack[1138])+wait_ack[1139])+wait_ack[1140])+wait_ack[1141])+wait_ack[1142])+wait_ack[1143])+wait_ack[1144])+wait_ack[1145])+wait_ack[1146])+wait_ack[1147])+wait_ack[1148])+wait_ack[1149])+wait_ack[1150])+wait_ack[1151])+wait_ack[1152])+wait_ack[1153])+wait_ack[1154])+wait_ack[1155])+wait_ack[1156])+wait_ack[1157])+wait_ack[1158])+wait_ack[1159])+wait_ack[1160])+wait_ack[1161])+wait_ack[1162])+wait_ack[1163])+wait_ack[1164])+wait_ack[1165])+wait_ack[1166])+wait_ack[1167])+wait_ack[1168])+wait_ack[1169])+wait_ack[1170])+wait_ack[1171])+wait_ack[1172])+wait_ack[1173])+wait_ack[1174])+wait_ack[1175])+wait_ack[1176])+wait_ack[1177])+wait_ack[1178])+wait_ack[1179])+wait_ack[1180])+wait_ack[1181])+wait_ack[1182])+wait_ack[1183])+wait_ack[1184])+wait_ack[1185])+wait_ack[1186])+wait_ack[1187])+wait_ack[1188])+wait_ack[1189])+wait_ack[1190])+wait_ack[1191])+wait_ack[1192])+wait_ack[1193])+wait_ack[1194])+wait_ack[1195])+wait_ack[1196])+wait_ack[1197])+wait_ack[1198])+wait_ack[1199])+wait_ack[1200])+wait_ack[1201])+wait_ack[1202])+wait_ack[1203])+wait_ack[1204])+wait_ack[1205])+wait_ack[1206])+wait_ack[1207])+wait_ack[1208])+wait_ack[1209])+wait_ack[1210])+wait_ack[1211])+wait_ack[1212])+wait_ack[1213])+wait_ack[1214])+wait_ack[1215])+wait_ack[1216])+wait_ack[1217])+wait_ack[1218])+wait_ack[1219])+wait_ack[1220])+wait_ack[1221])+wait_ack[1222])+wait_ack[1223])+wait_ack[1224])+wait_ack[1225])+wait_ack[1226])+wait_ack[1227])+wait_ack[1228])+wait_ack[1229])+wait_ack[1230])+wait_ack[1231])+wait_ack[1232])+wait_ack[1233])+wait_ack[1234])+wait_ack[1235])+wait_ack[1236])+wait_ack[1237])+wait_ack[1238])+wait_ack[1239])+wait_ack[1240])+wait_ack[1241])+wait_ack[1242])+wait_ack[1243])+wait_ack[1244])+wait_ack[1245])+wait_ack[1246])+wait_ack[1247])+wait_ack[1248])+wait_ack[1249])+wait_ack[1250])+wait_ack[1251])+wait_ack[1252])+wait_ack[1253])+wait_ack[1254])+wait_ack[1255])+wait_ack[1256])+wait_ack[1257])+wait_ack[1258])+wait_ack[1259])+wait_ack[1260])+wait_ack[1261])+wait_ack[1262])+wait_ack[1263])+wait_ack[1264])+wait_ack[1265])+wait_ack[1266])+wait_ack[1267])+wait_ack[1268])+wait_ack[1269])+wait_ack[1270])+wait_ack[1271])+wait_ack[1272])+wait_ack[1273])+wait_ack[1274])+wait_ack[1275])+wait_ack[1276])+wait_ack[1277])+wait_ack[1278])+wait_ack[1279])+wait_ack[1280])+wait_ack[1281])+wait_ack[1282])+wait_ack[1283])+wait_ack[1284])+wait_ack[1285])+wait_ack[1286])+wait_ack[1287])+wait_ack[1288])+wait_ack[1289])+wait_ack[1290])+wait_ack[1291])+wait_ack[1292])+wait_ack[1293])+wait_ack[1294])+wait_ack[1295])+wait_ack[1296])+wait_ack[1297])+wait_ack[1298])+wait_ack[1299])+wait_ack[1300])+wait_ack[1301])+wait_ack[1302])+wait_ack[1303])+wait_ack[1304])+wait_ack[1305])+wait_ack[1306])+wait_ack[1307])+wait_ack[1308])+wait_ack[1309])+wait_ack[1310])+wait_ack[1311])+wait_ack[1312])+wait_ack[1313])+wait_ack[1314])+wait_ack[1315])+wait_ack[1316])+wait_ack[1317])+wait_ack[1318])+wait_ack[1319])+wait_ack[1320])+wait_ack[1321])+wait_ack[1322])+wait_ack[1323])+wait_ack[1324])+wait_ack[1325])+wait_ack[1326])+wait_ack[1327])+wait_ack[1328])+wait_ack[1329])+wait_ack[1330])+wait_ack[1331])+wait_ack[1332])+wait_ack[1333])+wait_ack[1334])+wait_ack[1335])+wait_ack[1336])+wait_ack[1337])+wait_ack[1338])+wait_ack[1339])+wait_ack[1340])+wait_ack[1341])+wait_ack[1342])+wait_ack[1343])+wait_ack[1344])+wait_ack[1345])+wait_ack[1346])+wait_ack[1347])+wait_ack[1348])+wait_ack[1349])+wait_ack[1350])+wait_ack[1351])+wait_ack[1352])+wait_ack[1353])+wait_ack[1354])+wait_ack[1355])+wait_ack[1356])+wait_ack[1357])+wait_ack[1358])+wait_ack[1359])+wait_ack[1360])+wait_ack[1361])+wait_ack[1362])+wait_ack[1363])+wait_ack[1364])+wait_ack[1365])+wait_ack[1366])+wait_ack[1367])+wait_ack[1368])+wait_ack[1369])+wait_ack[1370])+wait_ack[1371])+wait_ack[1372])+wait_ack[1373])+wait_ack[1374])+wait_ack[1375])+wait_ack[1376])+wait_ack[1377])+wait_ack[1378])+wait_ack[1379])+wait_ack[1380])+wait_ack[1381])+wait_ack[1382])+wait_ack[1383])+wait_ack[1384])+wait_ack[1385])+wait_ack[1386])+wait_ack[1387])+wait_ack[1388])+wait_ack[1389])+wait_ack[1390])+wait_ack[1391])+wait_ack[1392])+wait_ack[1393])+wait_ack[1394])+wait_ack[1395])+wait_ack[1396])+wait_ack[1397])+wait_ack[1398])+wait_ack[1399])+wait_ack[1400])+wait_ack[1401])+wait_ack[1402])+wait_ack[1403])+wait_ack[1404])+wait_ack[1405])+wait_ack[1406])+wait_ack[1407])+wait_ack[1408])+wait_ack[1409])+wait_ack[1410])+wait_ack[1411])+wait_ack[1412])+wait_ack[1413])+wait_ack[1414])+wait_ack[1415])+wait_ack[1416])+wait_ack[1417])+wait_ack[1418])+wait_ack[1419])+wait_ack[1420])+wait_ack[1421])+wait_ack[1422])+wait_ack[1423])+wait_ack[1424])+wait_ack[1425])+wait_ack[1426])+wait_ack[1427])+wait_ack[1428])+wait_ack[1429])+wait_ack[1430])+wait_ack[1431])+wait_ack[1432])+wait_ack[1433])+wait_ack[1434])+wait_ack[1435])+wait_ack[1436])+wait_ack[1437])+wait_ack[1438])+wait_ack[1439])+wait_ack[1440])+wait_ack[1441])+wait_ack[1442])+wait_ack[1443])+wait_ack[1444])+wait_ack[1445])+wait_ack[1446])+wait_ack[1447])+wait_ack[1448])+wait_ack[1449])+wait_ack[1450])+wait_ack[1451])+wait_ack[1452])+wait_ack[1453])+wait_ack[1454])+wait_ack[1455])+wait_ack[1456])+wait_ack[1457])+wait_ack[1458])+wait_ack[1459])+wait_ack[1460])+wait_ack[1461])+wait_ack[1462])+wait_ack[1463])+wait_ack[1464])+wait_ack[1465])+wait_ack[1466])+wait_ack[1467])+wait_ack[1468])+wait_ack[1469])+wait_ack[1470])+wait_ack[1471])+wait_ack[1472])+wait_ack[1473])+wait_ack[1474])+wait_ack[1475])+wait_ack[1476])+wait_ack[1477])+wait_ack[1478])+wait_ack[1479])+wait_ack[1480])+wait_ack[1481])+wait_ack[1482])+wait_ack[1483])+wait_ack[1484])+wait_ack[1485])+wait_ack[1486])+wait_ack[1487])+wait_ack[1488])+wait_ack[1489])+wait_ack[1490])+wait_ack[1491])+wait_ack[1492])+wait_ack[1493])+wait_ack[1494])+wait_ack[1495])+wait_ack[1496])+wait_ack[1497])+wait_ack[1498])+wait_ack[1499])+wait_ack[1500])+wait_ack[1501])+wait_ack[1502])+wait_ack[1503])+wait_ack[1504])+wait_ack[1505])+wait_ack[1506])+wait_ack[1507])+wait_ack[1508])+wait_ack[1509])+wait_ack[1510])+wait_ack[1511])+wait_ack[1512])+wait_ack[1513])+wait_ack[1514])+wait_ack[1515])+wait_ack[1516])+wait_ack[1517])+wait_ack[1518])+wait_ack[1519])+wait_ack[1520])+wait_ack[1521])+wait_ack[1522])+wait_ack[1523])+wait_ack[1524])+wait_ack[1525])+wait_ack[1526])+wait_ack[1527])+wait_ack[1528])+wait_ack[1529])+wait_ack[1530])+wait_ack[1531])+wait_ack[1532])+wait_ack[1533])+wait_ack[1534])+wait_ack[1535])+wait_ack[1536])+wait_ack[1537])+wait_ack[1538])+wait_ack[1539])+wait_ack[1540])+wait_ack[1541])+wait_ack[1542])+wait_ack[1543])+wait_ack[1544])+wait_ack[1545])+wait_ack[1546])+wait_ack[1547])+wait_ack[1548])+wait_ack[1549])+wait_ack[1550])+wait_ack[1551])+wait_ack[1552])+wait_ack[1553])+wait_ack[1554])+wait_ack[1555])+wait_ack[1556])+wait_ack[1557])+wait_ack[1558])+wait_ack[1559])+wait_ack[1560])+wait_ack[1561])+wait_ack[1562])+wait_ack[1563])+wait_ack[1564])+wait_ack[1565])+wait_ack[1566])+wait_ack[1567])+wait_ack[1568])+wait_ack[1569])+wait_ack[1570])+wait_ack[1571])+wait_ack[1572])+wait_ack[1573])+wait_ack[1574])+wait_ack[1575])+wait_ack[1576])+wait_ack[1577])+wait_ack[1578])+wait_ack[1579])+wait_ack[1580])+wait_ack[1581])+wait_ack[1582])+wait_ack[1583])+wait_ack[1584])+wait_ack[1585])+wait_ack[1586])+wait_ack[1587])+wait_ack[1588])+wait_ack[1589])+wait_ack[1590])+wait_ack[1591])+wait_ack[1592])+wait_ack[1593])+wait_ack[1594])+wait_ack[1595])+wait_ack[1596])+wait_ack[1597])+wait_ack[1598])+wait_ack[1599])+wait_ack[1600])+wait_ack[1601])+wait_ack[1602])+wait_ack[1603])+wait_ack[1604])+wait_ack[1605])+wait_ack[1606])+wait_ack[1607])+wait_ack[1608])+wait_ack[1609])+wait_ack[1610])+wait_ack[1611])+wait_ack[1612])+wait_ack[1613])+wait_ack[1614])+wait_ack[1615])+wait_ack[1616])+wait_ack[1617])+wait_ack[1618])+wait_ack[1619])+wait_ack[1620])+wait_ack[1621])+wait_ack[1622])+wait_ack[1623])+wait_ack[1624])+wait_ack[1625])+wait_ack[1626])+wait_ack[1627])+wait_ack[1628])+wait_ack[1629])+wait_ack[1630])+wait_ack[1631])+wait_ack[1632])+wait_ack[1633])+wait_ack[1634])+wait_ack[1635])+wait_ack[1636])+wait_ack[1637])+wait_ack[1638])+wait_ack[1639])+wait_ack[1640])+wait_ack[1641])+wait_ack[1642])+wait_ack[1643])+wait_ack[1644])+wait_ack[1645])+wait_ack[1646])+wait_ack[1647])+wait_ack[1648])+wait_ack[1649])+wait_ack[1650])+wait_ack[1651])+wait_ack[1652])+wait_ack[1653])+wait_ack[1654])+wait_ack[1655])+wait_ack[1656])+wait_ack[1657])+wait_ack[1658])+wait_ack[1659])+wait_ack[1660])+wait_ack[1661])+wait_ack[1662])+wait_ack[1663])+wait_ack[1664])+wait_ack[1665])+wait_ack[1666])+wait_ack[1667])+wait_ack[1668])+wait_ack[1669])+wait_ack[1670])+wait_ack[1671])+wait_ack[1672])+wait_ack[1673])+wait_ack[1674])+wait_ack[1675])+wait_ack[1676])+wait_ack[1677])+wait_ack[1678])+wait_ack[1679])+wait_ack[1680])+wait_ack[1681])+wait_ack[1682])+wait_ack[1683])+wait_ack[1684])+wait_ack[1685])+wait_ack[1686])+wait_ack[1687])+wait_ack[1688])+wait_ack[1689])+wait_ack[1690])+wait_ack[1691])+wait_ack[1692])+wait_ack[1693])+wait_ack[1694])+wait_ack[1695])+wait_ack[1696])+wait_ack[1697])+wait_ack[1698])+wait_ack[1699])+wait_ack[1700])+wait_ack[1701])+wait_ack[1702])+wait_ack[1703])+wait_ack[1704])+wait_ack[1705])+wait_ack[1706])+wait_ack[1707])+wait_ack[1708])+wait_ack[1709])+wait_ack[1710])+wait_ack[1711])+wait_ack[1712])+wait_ack[1713])+wait_ack[1714])+wait_ack[1715])+wait_ack[1716])+wait_ack[1717])+wait_ack[1718])+wait_ack[1719])+wait_ack[1720])+wait_ack[1721])+wait_ack[1722])+wait_ack[1723])+wait_ack[1724])+wait_ack[1725])+wait_ack[1726])+wait_ack[1727])+wait_ack[1728])+wait_ack[1729])+wait_ack[1730])+wait_ack[1731])+wait_ack[1732])+wait_ack[1733])+wait_ack[1734])+wait_ack[1735])+wait_ack[1736])+wait_ack[1737])+wait_ack[1738])+wait_ack[1739])+wait_ack[1740])+wait_ack[1741])+wait_ack[1742])+wait_ack[1743])+wait_ack[1744])+wait_ack[1745])+wait_ack[1746])+wait_ack[1747])+wait_ack[1748])+wait_ack[1749])+wait_ack[1750])+wait_ack[1751])+wait_ack[1752])+wait_ack[1753])+wait_ack[1754])+wait_ack[1755])+wait_ack[1756])+wait_ack[1757])+wait_ack[1758])+wait_ack[1759])+wait_ack[1760])+wait_ack[1761])+wait_ack[1762])+wait_ack[1763])+wait_ack[1764])+wait_ack[1765])+wait_ack[1766])+wait_ack[1767])+wait_ack[1768])+wait_ack[1769])+wait_ack[1770])+wait_ack[1771])+wait_ack[1772])+wait_ack[1773])+wait_ack[1774])+wait_ack[1775])+wait_ack[1776])+wait_ack[1777])+wait_ack[1778])+wait_ack[1779])+wait_ack[1780])+wait_ack[1781])+wait_ack[1782])+wait_ack[1783])+wait_ack[1784])+wait_ack[1785])+wait_ack[1786])+wait_ack[1787])+wait_ack[1788])+wait_ack[1789])+wait_ack[1790])+wait_ack[1791])+wait_ack[1792])+wait_ack[1793])+wait_ack[1794])+wait_ack[1795])+wait_ack[1796])+wait_ack[1797])+wait_ack[1798])+wait_ack[1799])+wait_ack[1800])+wait_ack[1801])+wait_ack[1802])+wait_ack[1803])+wait_ack[1804])+wait_ack[1805])+wait_ack[1806])+wait_ack[1807])+wait_ack[1808])+wait_ack[1809])+wait_ack[1810])+wait_ack[1811])+wait_ack[1812])+wait_ack[1813])+wait_ack[1814])+wait_ack[1815])+wait_ack[1816])+wait_ack[1817])+wait_ack[1818])+wait_ack[1819])+wait_ack[1820])+wait_ack[1821])+wait_ack[1822])+wait_ack[1823])+wait_ack[1824])+wait_ack[1825])+wait_ack[1826])+wait_ack[1827])+wait_ack[1828])+wait_ack[1829])+wait_ack[1830])+wait_ack[1831])+wait_ack[1832])+wait_ack[1833])+wait_ack[1834])+wait_ack[1835])+wait_ack[1836])+wait_ack[1837])+wait_ack[1838])+wait_ack[1839])+wait_ack[1840])+wait_ack[1841])+wait_ack[1842])+wait_ack[1843])+wait_ack[1844])+wait_ack[1845])+wait_ack[1846])+wait_ack[1847])+wait_ack[1848])+wait_ack[1849])+wait_ack[1850])+wait_ack[1851])+wait_ack[1852])+wait_ack[1853])+wait_ack[1854])+wait_ack[1855])+wait_ack[1856])+wait_ack[1857])+wait_ack[1858])+wait_ack[1859])+wait_ack[1860])+wait_ack[1861])+wait_ack[1862])+wait_ack[1863])+wait_ack[1864])+wait_ack[1865])+wait_ack[1866])+wait_ack[1867])+wait_ack[1868])+wait_ack[1869])+wait_ack[1870])+wait_ack[1871])+wait_ack[1872])+wait_ack[1873])+wait_ack[1874])+wait_ack[1875])+wait_ack[1876])+wait_ack[1877])+wait_ack[1878])+wait_ack[1879])+wait_ack[1880])+wait_ack[1881])+wait_ack[1882])+wait_ack[1883])+wait_ack[1884])+wait_ack[1885])+wait_ack[1886])+wait_ack[1887])+wait_ack[1888])+wait_ack[1889])+wait_ack[1890])+wait_ack[1891])+wait_ack[1892])+wait_ack[1893])+wait_ack[1894])+wait_ack[1895])+wait_ack[1896])+wait_ack[1897])+wait_ack[1898])+wait_ack[1899])+wait_ack[1900])+wait_ack[1901])+wait_ack[1902])+wait_ack[1903])+wait_ack[1904])+wait_ack[1905])+wait_ack[1906])+wait_ack[1907])+wait_ack[1908])+wait_ack[1909])+wait_ack[1910])+wait_ack[1911])+wait_ack[1912])+wait_ack[1913])+wait_ack[1914])+wait_ack[1915])+wait_ack[1916])+wait_ack[1917])+wait_ack[1918])+wait_ack[1919])+wait_ack[1920])+wait_ack[1921])+wait_ack[1922])+wait_ack[1923])+wait_ack[1924])+wait_ack[1925])+wait_ack[1926])+wait_ack[1927])+wait_ack[1928])+wait_ack[1929])+wait_ack[1930])+wait_ack[1931])+wait_ack[1932])+wait_ack[1933])+wait_ack[1934])+wait_ack[1935])+wait_ack[1936])+wait_ack[1937])+wait_ack[1938])+wait_ack[1939])+wait_ack[1940])+wait_ack[1941])+wait_ack[1942])+wait_ack[1943])+wait_ack[1944])+wait_ack[1945])+wait_ack[1946])+wait_ack[1947])+wait_ack[1948])+wait_ack[1949])+wait_ack[1950])+wait_ack[1951])+wait_ack[1952])+wait_ack[1953])+wait_ack[1954])+wait_ack[1955])+wait_ack[1956])+wait_ack[1957])+wait_ack[1958])+wait_ack[1959])+wait_ack[1960])+wait_ack[1961])+wait_ack[1962])+wait_ack[1963])+wait_ack[1964])+wait_ack[1965])+wait_ack[1966])+wait_ack[1967])+wait_ack[1968])+wait_ack[1969])+wait_ack[1970])+wait_ack[1971])+wait_ack[1972])+wait_ack[1973])+wait_ack[1974])+wait_ack[1975])+wait_ack[1976])+wait_ack[1977])+wait_ack[1978])+wait_ack[1979])+wait_ack[1980])+wait_ack[1981])+wait_ack[1982])+wait_ack[1983])+wait_ack[1984])+wait_ack[1985])+wait_ack[1986])+wait_ack[1987])+wait_ack[1988])+wait_ack[1989])+wait_ack[1990])+wait_ack[1991])+wait_ack[1992])+wait_ack[1993])+wait_ack[1994])+wait_ack[1995])+wait_ack[1996])+wait_ack[1997])+wait_ack[1998])+wait_ack[1999])+wait_ack[2000])+wait_ack[2001])+wait_ack[2002])+wait_ack[2003])+wait_ack[2004])+wait_ack[2005])+wait_ack[2006])+wait_ack[2007])+wait_ack[2008])+wait_ack[2009])+wait_ack[2010])+wait_ack[2011])+wait_ack[2012])+wait_ack[2013])+wait_ack[2014])+wait_ack[2015])+wait_ack[2016])+wait_ack[2017])+wait_ack[2018])+wait_ack[2019])+wait_ack[2020])+wait_ack[2021])+wait_ack[2022])+wait_ack[2023])+wait_ack[2024])+wait_ack[2025])+wait_ack[2026])+wait_ack[2027])+wait_ack[2028])+wait_ack[2029])+wait_ack[2030])+wait_ack[2031])+wait_ack[2032])+wait_ack[2033])+wait_ack[2034])+wait_ack[2035])+wait_ack[2036])+wait_ack[2037])+wait_ack[2038])+wait_ack[2039])+wait_ack[2040])+wait_ack[2041])+wait_ack[2042])+wait_ack[2043])+wait_ack[2044])+wait_ack[2045])+wait_ack[2046])+wait_ack[2047])+wait_ack[2048])+wait_ack[2049])+wait_ack[2050])+wait_ack[2051])+wait_ack[2052])+wait_ack[2053])+wait_ack[2054])+wait_ack[2055])+wait_ack[2056])+wait_ack[2057])+wait_ack[2058])+wait_ack[2059])+wait_ack[2060])+wait_ack[2061])+wait_ack[2062])+wait_ack[2063])+wait_ack[2064])+wait_ack[2065])+wait_ack[2066])+wait_ack[2067])+wait_ack[2068])+wait_ack[2069])+wait_ack[2070])+wait_ack[2071])+wait_ack[2072])+wait_ack[2073])+wait_ack[2074])+wait_ack[2075])+wait_ack[2076])+wait_ack[2077])+wait_ack[2078])+wait_ack[2079])+wait_ack[2080])+wait_ack[2081])+wait_ack[2082])+wait_ack[2083])+wait_ack[2084])+wait_ack[2085])+wait_ack[2086])+wait_ack[2087])+wait_ack[2088])+wait_ack[2089])+wait_ack[2090])+wait_ack[2091])+wait_ack[2092])+wait_ack[2093])+wait_ack[2094])+wait_ack[2095])+wait_ack[2096])+wait_ack[2097])+wait_ack[2098])+wait_ack[2099])+wait_ack[2100])+wait_ack[2101])+wait_ack[2102])+wait_ack[2103])+wait_ack[2104])+wait_ack[2105])+wait_ack[2106])+wait_ack[2107])+wait_ack[2108])+wait_ack[2109])+wait_ack[2110])+wait_ack[2111])+wait_ack[2112])+wait_ack[2113])+wait_ack[2114])+wait_ack[2115])+wait_ack[2116])+wait_ack[2117])+wait_ack[2118])+wait_ack[2119])+wait_ack[2120])+wait_ack[2121])+wait_ack[2122])+wait_ack[2123])+wait_ack[2124])+wait_ack[2125])+wait_ack[2126])+wait_ack[2127])+wait_ack[2128])+wait_ack[2129])+wait_ack[2130])+wait_ack[2131])+wait_ack[2132])+wait_ack[2133])+wait_ack[2134])+wait_ack[2135])+wait_ack[2136])+wait_ack[2137])+wait_ack[2138])+wait_ack[2139])+wait_ack[2140])+wait_ack[2141])+wait_ack[2142])+wait_ack[2143])+wait_ack[2144])+wait_ack[2145])+wait_ack[2146])+wait_ack[2147])+wait_ack[2148])+wait_ack[2149])+wait_ack[2150])+wait_ack[2151])+wait_ack[2152])+wait_ack[2153])+wait_ack[2154])+wait_ack[2155])+wait_ack[2156])+wait_ack[2157])+wait_ack[2158])+wait_ack[2159])+wait_ack[2160])+wait_ack[2161])+wait_ack[2162])+wait_ack[2163])+wait_ack[2164])+wait_ack[2165])+wait_ack[2166])+wait_ack[2167])+wait_ack[2168])+wait_ack[2169])+wait_ack[2170])+wait_ack[2171])+wait_ack[2172])+wait_ack[2173])+wait_ack[2174])+wait_ack[2175])+wait_ack[2176])+wait_ack[2177])+wait_ack[2178])+wait_ack[2179])+wait_ack[2180])+wait_ack[2181])+wait_ack[2182])+wait_ack[2183])+wait_ack[2184])+wait_ack[2185])+wait_ack[2186])+wait_ack[2187])+wait_ack[2188])+wait_ack[2189])+wait_ack[2190])+wait_ack[2191])+wait_ack[2192])+wait_ack[2193])+wait_ack[2194])+wait_ack[2195])+wait_ack[2196])+wait_ack[2197])+wait_ack[2198])+wait_ack[2199])+wait_ack[2200])+wait_ack[2201])+wait_ack[2202])+wait_ack[2203])+wait_ack[2204])+wait_ack[2205])+wait_ack[2206])+wait_ack[2207])+wait_ack[2208])+wait_ack[2209])+wait_ack[2210])+wait_ack[2211])+wait_ack[2212])+wait_ack[2213])+wait_ack[2214])+wait_ack[2215])+wait_ack[2216])+wait_ack[2217])+wait_ack[2218])+wait_ack[2219])+wait_ack[2220])+wait_ack[2221])+wait_ack[2222])+wait_ack[2223])+wait_ack[2224])+wait_ack[2225])+wait_ack[2226])+wait_ack[2227])+wait_ack[2228])+wait_ack[2229])+wait_ack[2230])+wait_ack[2231])+wait_ack[2232])+wait_ack[2233])+wait_ack[2234])+wait_ack[2235])+wait_ack[2236])+wait_ack[2237])+wait_ack[2238])+wait_ack[2239])+wait_ack[2240])+wait_ack[2241])+wait_ack[2242])+wait_ack[2243])+wait_ack[2244])+wait_ack[2245])+wait_ack[2246])+wait_ack[2247])+wait_ack[2248])+wait_ack[2249])+wait_ack[2250])+wait_ack[2251])+wait_ack[2252])+wait_ack[2253])+wait_ack[2254])+wait_ack[2255])+wait_ack[2256])+wait_ack[2257])+wait_ack[2258])+wait_ack[2259])+wait_ack[2260])+wait_ack[2261])+wait_ack[2262])+wait_ack[2263])+wait_ack[2264])+wait_ack[2265])+wait_ack[2266])+wait_ack[2267])+wait_ack[2268])+wait_ack[2269])+wait_ack[2270])+wait_ack[2271])+wait_ack[2272])+wait_ack[2273])+wait_ack[2274])+wait_ack[2275])+wait_ack[2276])+wait_ack[2277])+wait_ack[2278])+wait_ack[2279])+wait_ack[2280])+wait_ack[2281])+wait_ack[2282])+wait_ack[2283])+wait_ack[2284])+wait_ack[2285])+wait_ack[2286])+wait_ack[2287])+wait_ack[2288])+wait_ack[2289])+wait_ack[2290])+wait_ack[2291])+wait_ack[2292])+wait_ack[2293])+wait_ack[2294])+wait_ack[2295])+wait_ack[2296])+wait_ack[2297])+wait_ack[2298])+wait_ack[2299])+wait_ack[2300])+wait_ack[2301])+wait_ack[2302])+wait_ack[2303])+wait_ack[2304])+wait_ack[2305])+wait_ack[2306])+wait_ack[2307])+wait_ack[2308])+wait_ack[2309])+wait_ack[2310])+wait_ack[2311])+wait_ack[2312])+wait_ack[2313])+wait_ack[2314])+wait_ack[2315])+wait_ack[2316])+wait_ack[2317])+wait_ack[2318])+wait_ack[2319])+wait_ack[2320])+wait_ack[2321])+wait_ack[2322])+wait_ack[2323])+wait_ack[2324])+wait_ack[2325])+wait_ack[2326])+wait_ack[2327])+wait_ack[2328])+wait_ack[2329])+wait_ack[2330])+wait_ack[2331])+wait_ack[2332])+wait_ack[2333])+wait_ack[2334])+wait_ack[2335])+wait_ack[2336])+wait_ack[2337])+wait_ack[2338])+wait_ack[2339])+wait_ack[2340])+wait_ack[2341])+wait_ack[2342])+wait_ack[2343])+wait_ack[2344])+wait_ack[2345])+wait_ack[2346])+wait_ack[2347])+wait_ack[2348])+wait_ack[2349])+wait_ack[2350])+wait_ack[2351])+wait_ack[2352])+wait_ack[2353])+wait_ack[2354])+wait_ack[2355])+wait_ack[2356])+wait_ack[2357])+wait_ack[2358])+wait_ack[2359])+wait_ack[2360])+wait_ack[2361])+wait_ack[2362])+wait_ack[2363])+wait_ack[2364])+wait_ack[2365])+wait_ack[2366])+wait_ack[2367])+wait_ack[2368])+wait_ack[2369])+wait_ack[2370])+wait_ack[2371])+wait_ack[2372])+wait_ack[2373])+wait_ack[2374])+wait_ack[2375])+wait_ack[2376])+wait_ack[2377])+wait_ack[2378])+wait_ack[2379])+wait_ack[2380])+wait_ack[2381])+wait_ack[2382])+wait_ack[2383])+wait_ack[2384])+wait_ack[2385])+wait_ack[2386])+wait_ack[2387])+wait_ack[2388])+wait_ack[2389])+wait_ack[2390])+wait_ack[2391])+wait_ack[2392])+wait_ack[2393])+wait_ack[2394])+wait_ack[2395])+wait_ack[2396])+wait_ack[2397])+wait_ack[2398])+wait_ack[2399])+wait_ack[2400])+wait_ack[2401])+wait_ack[2402])+wait_ack[2403])+wait_ack[2404])+wait_ack[2405])+wait_ack[2406])+wait_ack[2407])+wait_ack[2408])+wait_ack[2409])+wait_ack[2410])+wait_ack[2411])+wait_ack[2412])+wait_ack[2413])+wait_ack[2414])+wait_ack[2415])+wait_ack[2416])+wait_ack[2417])+wait_ack[2418])+wait_ack[2419])+wait_ack[2420])+wait_ack[2421])+wait_ack[2422])+wait_ack[2423])+wait_ack[2424])+wait_ack[2425])+wait_ack[2426])+wait_ack[2427])+wait_ack[2428])+wait_ack[2429])+wait_ack[2430])+wait_ack[2431])+wait_ack[2432])+wait_ack[2433])+wait_ack[2434])+wait_ack[2435])+wait_ack[2436])+wait_ack[2437])+wait_ack[2438])+wait_ack[2439])+wait_ack[2440])+wait_ack[2441])+wait_ack[2442])+wait_ack[2443])+wait_ack[2444])+wait_ack[2445])+wait_ack[2446])+wait_ack[2447])+wait_ack[2448])+wait_ack[2449])+wait_ack[2450])+wait_ack[2451])+wait_ack[2452])+wait_ack[2453])+wait_ack[2454])+wait_ack[2455])+wait_ack[2456])+wait_ack[2457])+wait_ack[2458])+wait_ack[2459])+wait_ack[2460])+wait_ack[2461])+wait_ack[2462])+wait_ack[2463])+wait_ack[2464])+wait_ack[2465])+wait_ack[2466])+wait_ack[2467])+wait_ack[2468])+wait_ack[2469])+wait_ack[2470])+wait_ack[2471])+wait_ack[2472])+wait_ack[2473])+wait_ack[2474])+wait_ack[2475])+wait_ack[2476])+wait_ack[2477])+wait_ack[2478])+wait_ack[2479])+wait_ack[2480])+wait_ack[2481])+wait_ack[2482])+wait_ack[2483])+wait_ack[2484])+wait_ack[2485])+wait_ack[2486])+wait_ack[2487])+wait_ack[2488])+wait_ack[2489])+wait_ack[2490])+wait_ack[2491])+wait_ack[2492])+wait_ack[2493])+wait_ack[2494])+wait_ack[2495])+wait_ack[2496])+wait_ack[2497])+wait_ack[2498])+wait_ack[2499])>=1)||(cable_free[0]>=2))))
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_SafeBus-COL-50"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/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_SafeBus-COL-50.tgz
mv S_SafeBus-COL-50 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_SafeBus-COL-50, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r150-csrt-149443434800223"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 '
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 ;