Introduction
This page shows the outputs produced by the execution of marcie on Peterson/5 (P/T). We provide:
- A short summary,
- the execution chart (evolution of CPU and memory over the execution),
- the sequence of actions to be executed by the VM,
- the results of these actions.
About the Execution
| Execution Summary | |||
| Memory (MB) | CPU (s) | End | |
| 42.66 | 0.13 | normal | |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
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.
export BK_INPUT=Peterson-PT-5
export BK_EXAMINATION=CTLMix
export BK_TOOL=marcie
export BK_RESULT_DIR=/tmp
export BK_LOG_FILE=/tmp/BenchKit_head_log_file.1659
export BIN_DIR=/home/mcc/BenchKit/bin
cd /home/mcc/BenchKit/INPUTS/Peterson-PT-5
echo =====================================================================
echo ' Generated by BenchKit 1.0'
echo ' Executing tool marcie:'
echo ' Test is Peterson-PT-5, examination is CTLMix'
echo =====================================================================
echo
echo --------------------
echo 'content from stdout:'
echo
bash /home/mcc/BenchKit/BenchKit_head.sh
Execution Outputs of marcie for Peterson/5 (P/T)
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
execution on node 39: cluster1u41.lip6.fr (runId=136966892801366_n_39)
=====================================================================
runnning marcie on Peterson-PT-5 (CTLMix)
We got on stdout:
Probing ssh
Waiting ssh to respond
Ssh up and responding
=====================================================================
Generated by BenchKit 1.0
Executing tool marcie:
Test is Peterson-PT-5, examination is CTLMix
=====================================================================
--------------------
content from stdout:
START 1369711166
Marcie rev. 1103M (build: rohrch on 2013-02-17)
A model checker for Generalized Stochastic Petri nets
authors: Alex Tovchigrechko (IDD package and CTL model checking)
Martin Schwarick (Symbolic numerical analysis and CSL model checking)
Christian Rohr (Simulative and approximative numerical model checking)
marcie@informatik.tu-cottbus.de
called as: marcie --net-file=model.pnml --mem=4 --mcc-file=CTLMix.txt
constant oo registered with value < INFINITY >
parse successfull!
(NrP: 834 NrTr: 1242)
net check time: 0m0sec
CANNOT_COMPUTE
STOP 1369711166
--------------------
content from stderr:
check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok
mcc/mcc_parse.cc:759: Exception: parse error ctl p_1880_mix_eq_x: E F (A F (UpdateTurn_0_4_3? | UpdateTurn_1_3_4? | UpdateTurn_5_0_1? | UpdateTurn_2_0_4? | UpdateTurn_4_2_2? | UpdateTurn_5_5_0? | UpdateTurn_4_1_0? | UpdateTurn_4_2_3? | UpdateTurn_5_3_3? | UpdateTurn_3_3_2? | UpdateTurn_0_4_4? | UpdateTurn_1_4_2? | UpdateTurn_0_5_3? | UpdateTurn_5_2_1? | UpdateTurn_4_3_3? | UpdateTurn_4_2_0? | UpdateTurn_2_5_0? | UpdateTurn_4_0_4? | UpdateTurn_3_0_4? | UpdateTurn_4_3_4? | UpdateTurn_3_1_1? | UpdateTurn_3_4_2? | UpdateTurn_2_4_0? | UpdateTurn_4_0_0? | UpdateTurn_3_5_1? | UpdateTurn_5_2_2? | UpdateTurn_5_5_4? | UpdateTurn_1_4_4? | UpdateTurn_1_1_4? | UpdateTurn_1_2_3? | UpdateTurn_1_0_3? | UpdateTurn_3_4_4? | UpdateTurn_3_2_1? | UpdateTurn_0_1_3? | UpdateTurn_2_0_1? | UpdateTurn_0_5_4? | UpdateTurn_5_3_4? | UpdateTurn_5_0_2? | UpdateTurn_3_1_0? | UpdateTurn_5_5_2? | UpdateTurn_0_3_2? | UpdateTurn_2_5_3? | UpdateTurn_4_4_2? | UpdateTurn_1_1_2? | UpdateTurn_0_0_3? | UpdateTurn_5_1_4? | UpdateTurn_1_5_1? | UpdateTurn_3_0_0? | UpdateTurn_3_4_1? | UpdateTurn_3_0_1? | UpdateTurn_2_4_2? | UpdateTurn_3_3_3? | UpdateTurn_4_0_1? | UpdateTurn_1_4_3? | UpdateTurn_1_5_2? | UpdateTurn_4_4_1? | UpdateTurn_0_3_3? | UpdateTurn_5_1_3? | UpdateTurn_3_5_0? | UpdateTurn_5_0_4? | UpdateTurn_2_3_3? | UpdateTurn_2_3_0? | UpdateTurn_0_2_3? | UpdateTurn_4_5_1? | UpdateTurn_0_4_1? | UpdateTurn_0_3_4? | UpdateTurn_2_1_0? | UpdateTurn_4_3_2? | UpdateTurn_3_1_4? | UpdateTurn_4_4_4? | UpdateTurn_2_3_1? | UpdateTurn_0_1_4? | UpdateTurn_0_2_0? | UpdateTurn_3_1_3? | UpdateTurn_0_4_0? | UpdateTurn_2_0_0? | UpdateTurn_2_2_0? | UpdateTurn_5_4_1? | UpdateTurn_4_0_3? | UpdateTurn_0_1_2? | UpdateTurn_1_2_4? | UpdateTurn_3_5_2? | UpdateTurn_0_3_1? | UpdateTurn_2_5_1? | UpdateTurn_3_4_3? | UpdateTurn_3_3_1? | UpdateTurn_1_5_0? | UpdateTurn_1_0_0? | UpdateTurn_2_5_4? | UpdateTurn_1_1_3? | UpdateTurn_2_3_2? | UpdateTurn_1_2_1? | UpdateTurn_1_0_4? | UpdateTurn_4_5_3? | UpdateTurn_1_1_0? | UpdateTurn_2_3_4? | UpdateTurn_5_2_4? | UpdateTurn_1_1_1? | UpdateTurn_5_4_2? | UpdateTurn_3_2_3? | UpdateTurn_5_4_4? | UpdateTurn_2_1_4? | UpdateTurn_0_3_0? | UpdateTurn_4_2_1? | UpdateTurn_5_2_3? | UpdateTurn_4_3_0? | UpdateTurn_3_2_0? | UpdateTurn_5_5_3? | UpdateTurn_0_0_0? | UpdateTurn_0_0_4? | UpdateTurn_0_5_2? | UpdateTurn_1_3_2? | UpdateTurn_4_2_4? | UpdateTurn_3_2_2? | UpdateTurn_4_5_0? | UpdateTurn_0_4_2? | UpdateTurn_2_0_3? | UpdateTurn_5_2_0? | UpdateTurn_3_2_4? | UpdateTurn_5_1_2? | UpdateTurn_2_4_3? | UpdateTurn_1_2_2? | UpdateTurn_2_4_4? | UpdateTurn_1_5_3? | UpdateTurn_3_0_3? | UpdateTurn_5_4_0? | UpdateTurn_2_4_1? | UpdateTurn_1_3_3? | UpdateTurn_0_2_1? | UpdateTurn_0_0_2? | UpdateTurn_4_4_3? | UpdateTurn_0_5_0? | UpdateTurn_5_5_1? | UpdateTurn_2_1_3? | UpdateTurn_0_1_0? | UpdateTurn_0_5_1? | UpdateTurn_2_5_2? | UpdateTurn_4_5_2? | UpdateTurn_2_1_1? | UpdateTurn_4_1_3? | UpdateTurn_4_3_1? | UpdateTurn_5_1_0? | UpdateTurn_1_3_0? | UpdateTurn_0_2_2? | UpdateTurn_3_1_2? | UpdateTurn_5_0_3? | UpdateTurn_1_5_4? | UpdateTurn_1_2_0? | UpdateTurn_3_3_4? | UpdateTurn_5_4_3? | UpdateTurn_5_3_2? | UpdateTurn_1_0_1? | UpdateTurn_2_0_2? | UpdateTurn_0_0_1? | UpdateTurn_2_2_1? | UpdateTurn_5_0_0? | UpdateTurn_3_5_3? | UpdateTurn_1_0_2? | UpdateTurn_2_2_3? | UpdateTurn_4_4_0? | UpdateTurn_2_2_4? | UpdateTurn_1_3_1? | UpdateTurn_5_3_1? | UpdateTurn_4_1_1? | UpdateTurn_3_0_2? | UpdateTurn_5_1_1? | UpdateTurn_4_0_2? | UpdateTurn_4_1_4? | UpdateTurn_4_5_4? | UpdateTurn_3_4_0? | UpdateTurn_3_5_4? | UpdateTurn_1_4_0? | UpdateTurn_4_1_2? | UpdateTurn_1_4_1? | UpdateTurn_5_3_0? | UpdateTurn_3_3_0? | UpdateTurn_0_1_1? | UpdateTurn_2_2_2? | UpdateTurn_2_1_2? | UpdateTurn_0_2_4?) & X ((|marking(Idle_0)|+|marking(Idle_2)|+|marking(Idle_4)|+|marking(Idle_1)|+|marking(Idle_5)|+|marking(Idle_3)|)!=(|marking(CS_2)|+|marking(CS_3)|+|marking(CS_0)|+|marking(CS_4)|+|marking(CS_1)|+|marking(CS_5)|)))
ctl p_1881_mix_full_and: E G (((|marking(TestIdentity_2_2_5)|+|marking(TestIdentity_3_1_4)|+|marking(TestIdentity_5_2_1)|+|marking(TestIdentity_5_3_3)|+|marking(TestIdentity_2_4_5)|+|marking(TestIdentity_2_2_1)|+|marking(TestIdentity_5_4_5)|+|marking(TestIdentity_0_2_0)|+|marking(TestIdentity_4_4_5)|+|marking(TestIdentity_5_3_4)|+|marking(TestIdentity_3_3_1)|+|marking(TestIdentity_2_1_4)|+|marking(TestIdentity_2_2_4)|+|marking(TestIdentity_4_1_0)|+|marking(TestIdentity_4_2_0)|+|marking(TestIdentity_2_1_2)|+|marking(TestIdentity_0_1_4)|+|marking(TestIdentity_1_1_3)|+|marking(TestIdentity_1_2_1)|+|marking(TestIdentity_5_2_2)|+|marking(TestIdentity_0_2_2)|+|marking(TestIdentity_0_1_5)|+|marking(TestIdentity_5_0_2)|+|marking(TestIdentity_2_3_5)|+|marking(TestIdentity_2_3_1)|+|marking(TestIdentity_1_3_0)|+|marking(TestIdentity_3_4_4)|+|marking(TestIdentity_4_2_3)|+|marking(TestIdentity_3_0_3)|+|marking(TestIdentity_3_0_4)|+|marking(TestIdentity_3_2_5)|+|marking(TestIdentity_2_2_2)|+|marking(TestIdentity_5_4_1)|+|marking(TestIdentity_4_4_1)|+|marking(TestIdentity_3_0_1)|+|marking(TestIdentity_1_1_0)|+|marking(TestIdentity_2_0_1)|+|marking(TestIdentity_3_3_4)|+|marking(TestIdentity_2_0_4)|+|marking(TestIdentity_0_1_1)|+|marking(TestIdentity_2_3_4)|+|marking(TestIdentity_0_0_1)|+|marking(TestIdentity_0_0_3)|+|marking(TestIdentity_2_0_3)|+|marking(TestIdentity_2_0_2)|+|marking(TestIdentity_5_0_3)|+|marking(TestIdentity_1_2_5)|+|marking(TestIdentity_5_2_3)|+|marking(TestIdentity_2_3_3)|+|marking(TestIdentity_1_3_3)|+|marking(TestIdentity_5_0_0)|+|marking(TestIdentity_2_1_1)|+|marking(TestIdentity_3_4_5)|+|marking(TestIdentity_2_0_5)|+|marking(TestIdentity_5_2_5)|+|marking(TestIdentity_2_4_4)|+|marking(TestIdentity_2_4_2)|+|marking(TestIdentity_1_0_4)|+|marking(TestIdentity_0_3_3)|+|marking(TestIdentity_4_3_0)|+|marking(TestIdentity_0_0_2)|+|marking(TestIdentity_5_1_1)|+|marking(TestIdentity_3_2_0)|+|marking(TestIdentity_0_4_3)|+|marking(TestIdentity_1_1_2)|+|marking(TestIdentity_1_4_5)|+|marking(TestIdentity_2_2_3)|+|marking(TestIdentity_0_2_4)|+|marking(TestIdentity_5_1_2)|+|marking(TestIdentity_2_1_3)|+|marking(TestIdentity_5_0_1)|+|marking(TestIdentity_0_2_1)|+|marking(TestIdentity_4_0_3)|+|marking(TestIdentity_3_2_1)|+|marking(TestIdentity_3_3_5)|+|marking(TestIdentity_5_3_2)|+|marking(TestIdentity_0_2_5)|+|marking(TestIdentity_4_3_3)|+|marking(TestIdentity_0_4_5)|+|marking(TestIdentity_4_4_4)|+|marking(TestIdentity_3_1_2)|+|marking(TestIdentity_4_0_5)|+|marking(TestIdentity_2_3_0)|+|marking(TestIdentity_4_0_1)|+|marking(TestIdentity_0_0_4)|+|marking(TestIdentity_1_0_3)|+|marking(TestIdentity_4_3_1)|+|marking(TestIdentity_4_0_0)|+|marking(TestIdentity_5_3_0)|+|marking(TestIdentity_3_2_3)|+|marking(TestIdentity_3_4_2)|+|marking(TestIdentity_2_0_0)|+|marking(TestIdentity_3_4_3)|+|marking(TestIdentity_3_3_3)|+|marking(TestIdentity_0_4_1)|+|marking(TestIdentity_0_0_5)|+|marking(TestIdentity_0_2_3)|+|marking(TestIdentity_4_1_4)|+|marking(TestIdentity_4_1_3)|+|marking(TestIdentity_5_3_5)|+|marking(TestIdentity_4_2_2)|+|marking(TestIdentity_0_3_1)|+|marking(TestIdentity_1_0_1)|+|marking(TestIdentity_3_1_3)|+|marking(TestIdentity_1_2_4)|+|marking(TestIdentity_0_4_4)|+|marking(TestIdentity_4_1_5)|+|marking(TestIdentity_1_1_1)|+|marking(TestIdentity_4_2_1)|+|marking(TestIdentity_4_4_0)|+|marking(TestIdentity_1_3_5)|+|marking(TestIdentity_1_4_2)|+|marking(TestIdentity_4_2_4)|+|marking(TestIdentity_5_1_5)|+|marking(TestIdentity_1_3_2)|+|marking(TestIdentity_3_1_0)|+|marking(TestIdentity_2_3_2)|+|marking(TestIdentity_5_4_2)|+|marking(TestIdentity_5_4_4)|+|marking(TestIdentity_4_0_2)|+|marking(TestIdentity_4_3_2)|+|marking(TestIdentity_0_0_0)|+|marking(TestIdentity_3_1_1)|+|marking(TestIdentity_4_4_3)|+|marking(TestIdentity_1_0_5)|+|marking(TestIdentity_2_1_0)|+|marking(TestIdentity_5_0_5)|+|marking(TestIdentity_3_3_0)|+|marking(TestIdentity_1_0_2)|+|marking(TestIdentity_3_2_4)|+|marking(TestIdentity_5_2_0)|+|marking(TestIdentity_4_0_4)|+|marking(TestIdentity_2_2_0)|+|marking(TestIdentity_1_4_4)|+|marking(TestIdentity_1_0_0)|+|marking(TestIdentity_5_2_4)|+|marking(TestIdentity_1_3_4)|+|marking(TestIdentity_2_4_1)|+|marking(TestIdentity_5_0_4)|+|marking(TestIdentity_4_2_5)|+|marking(TestIdentity_1_2_2)|+|marking(TestIdentity_4_3_4)|+|marking(TestIdentity_0_4_2)|+|marking(TestIdentity_5_1_0)|+|marking(TestIdentity_0_1_2)|+|marking(TestIdentity_3_2_2)|+|marking(TestIdentity_1_1_4)|+|marking(TestIdentity_1_2_0)|+|marking(TestIdentity_3_1_5)|+|marking(TestIdentity_1_1_5)|+|marking(TestIdentity_0_3_5)|+|marking(TestIdentity_1_2_3)|+|marking(TestIdentity_0_3_2)|+|marking(TestIdentity_5_3_1)|+|marking(TestIdentity_1_4_3)|+|marking(TestIdentity_1_4_1)|+|marking(TestIdentity_4_4_2)|+|marking(TestIdentity_0_1_3)|+|marking(TestIdentity_3_4_0)|+|marking(TestIdentity_0_3_4)|+|marking(TestIdentity_5_1_4)|+|marking(TestIdentity_5_4_0)|+|marking(TestIdentity_3_0_2)|+|marking(TestIdentity_0_4_0)|+|marking(TestIdentity_3_0_5)|+|marking(TestIdentity_4_3_5)|+|marking(TestIdentity_3_3_2)|+|marking(TestIdentity_2_4_3)|+|marking(TestIdentity_2_4_0)|+|marking(TestIdentity_5_1_3)|+|marking(TestIdentity_1_4_0)|+|marking(TestIdentity_3_0_0)|+|marking(TestIdentity_4_1_1)|+|marking(TestIdentity_1_3_1)|+|marking(TestIdentity_0_3_0)|+|marking(TestIdentity_4_1_2)|+|marking(TestIdentity_0_1_0)|+|marking(TestIdentity_5_4_3)|+|marking(TestIdentity_2_1_5)|+|marking(TestIdentity_3_4_1)|)>(|marking(IsEndLoop_2_4_3)|+|marking(IsEndLoop_3_4_3)|+|marking(IsEndLoop_3_3_1)|+|marking(IsEndLoop_0_4_2)|+|marking(IsEndLoop_5_2_0)|+|marking(IsEndLoop_2_3_1)|+|marking(IsEndLoop_5_2_1)|+|marking(IsEndLoop_1_0_1)|+|marking(IsEndLoop_4_2_5)|+|marking(IsEndLoop_5_4_0)|+|marking(IsEndLoop_1_2_4)|+|marking(IsEndLoop_3_2_4)|+|marking(IsEndLoop_1_3_3)|+|marking(IsEndLoop_3_1_1)|+|marking(IsEndLoop_3_4_2)|+|marking(IsEndLoop_1_3_5)|+|marking(IsEndLoop_5_2_3)|+|marking(IsEndLoop_1_2_5)|+|marking(IsEndLoop_5_3_2)|+|marking(IsEndLoop_1_4_0)|+|marking(IsEndLoop_1_2_3)|+|marking(IsEndLoop_5_4_3)|+|marking(IsEndLoop_1_0_0)|+|marking(IsEndLoop_1_4_2)|+|marking(IsEndLoop_1_2_2)|+|marking(IsEndLoop_0_1_5)|+|marking(IsEndLoop_5_3_3)|+|marking(IsEndLoop_2_1_5)|+|marking(IsEndLoop_5_1_1)|+|marking(IsEndLoop_2_0_5)|+|marking(IsEndLoop_1_1_5)|+|marking(IsEndLoop_0_0_4)|+|marking(IsEndLoop_4_2_2)|+|marking(IsEndLoop_3_4_4)|+|marking(IsEndLoop_5_2_5)|+|marking(IsEndLoop_2_3_2)|+|marking(IsEndLoop_4_4_3)|+|marking(IsEndLoop_2_0_2)|+|marking(IsEndLoop_3_2_0)|+|marking(IsEndLoop_1_1_1)|+|marking(IsEndLoop_4_3_1)|+|marking(IsEndLoop_0_3_4)|+|marking(IsEndLoop_2_1_4)|+|marking(IsEndLoop_5_1_4)|+|marking(IsEndLoop_2_1_2)|+|marking(IsEndLoop_0_2_2)|+|marking(IsEndLoop_1_1_3)|+|marking(IsEndLoop_3_3_4)|+|marking(IsEndLoop_0_1_0)|+|marking(IsEndLoop_4_1_2)|+|marking(IsEndLoop_1_1_4)|+|marking(IsEndLoop_2_1_0)|+|marking(IsEndLoop_2_3_5)|+|marking(IsEndLoop_4_0_3)|+|marking(IsEndLoop_2_2_0)|+|marking(IsEndLoop_0_0_1)|+|marking(IsEndLoop_3_1_4)|+|marking(IsEndLoop_0_4_0)|+|marking(IsEndLoop_3_0_3)|+|marking(IsEndLoop_0_4_3)|+|marking(IsEndLoop_5_2_2)|+|marking(IsEndLoop_1_1_2)|+|marking(IsEndLoop_2_2_3)|+|marking(IsEndLoop_5_0_2)|+|marking(IsEndLoop_0_4_4)|+|marking(IsEndLoop_5_0_3)|+|marking(IsEndLoop_0_4_5)|+|marking(IsEndLoop_0_0_3)|+|marking(IsEndLoop_3_4_0)|+|marking(IsEndLoop_2_4_1)|+|marking(IsEndLoop_4_0_5)|+|marking(IsEndLoop_4_0_1)|+|marking(IsEndLoop_0_0_2)|+|marking(IsEndLoop_1_0_3)|+|marking(IsEndLoop_2_0_4)|+|marking(IsEndLoop_4_2_4)|+|marking(IsEndLoop_4_1_5)|+|marking(IsEndLoop_1_0_5)|+|marking(IsEndLoop_4_4_4)|+|marking(IsEndLoop_0_3_0)|+|marking(IsEndLoop_4_2_0)|+|marking(IsEndLoop_0_1_4)|+|marking(IsEndLoop_0_4_1)|+|marking(IsEndLoop_1_3_4)|+|marking(IsEndLoop_5_3_5)|+|marking(IsEndLoop_3_1_0)|+|marking(IsEndLoop_1_2_0)|+|marking(IsEndLoop_3_0_4)|+|marking(IsEndLoop_0_1_1)|+|marking(IsEndLoop_4_4_0)|+|marking(IsEndLoop_3_2_1)|+|marking(IsEndLoop_3_2_2)|+|marking(IsEndLoop_2_4_0)|+|marking(IsEndLoop_4_3_0)|+|marking(IsEndLoop_5_4_2)|+|marking(IsEndLoop_3_3_5)|+|marking(IsEndLoop_1_4_4)|+|marking(IsEndLoop_2_2_5)|+|marking(IsEndLoop_4_3_5)|+|marking(IsEndLoop_2_3_0)|+|marking(IsEndLoop_0_2_4)|+|marking(IsEndLoop_5_4_5)|+|marking(IsEndLoop_1_1_0)|+|marking(IsEndLoop_0_1_2)|+|marking(IsEndLoop_5_3_0)|+|marking(IsEndLoop_0_0_5)|+|marking(IsEndLoop_0_2_5)|+|marking(IsEndLoop_3_3_2)|+|marking(IsEndLoop_1_3_1)|+|marking(IsEndLoop_5_4_4)|+|marking(IsEndLoop_4_1_3)|+|marking(IsEndLoop_5_1_5)|+|marking(IsEndLoop_2_2_1)|+|marking(IsEndLoop_3_2_3)|+|marking(IsEndLoop_4_1_0)|+|marking(IsEndLoop_4_2_3)|+|marking(IsEndLoop_2_1_1)|+|marking(IsEndLoop_5_1_3)|+|marking(IsEndLoop_4_1_1)|+|marking(IsEndLoop_4_4_5)|+|marking(IsEndLoop_3_0_1)|+|marking(IsEndLoop_2_3_3)|+|marking(IsEndLoop_0_2_0)|+|marking(IsEndLoop_2_2_4)|+|marking(IsEndLoop_2_0_1)|+|marking(IsEndLoop_0_1_3)|+|marking(IsEndLoop_2_4_5)|+|marking(IsEndLoop_4_0_0)|+|marking(IsEndLoop_3_2_5)|+|marking(IsEndLoop_3_4_1)|+|marking(IsEndLoop_1_0_4)|+|marking(IsEndLoop_1_3_2)|+|marking(IsEndLoop_2_4_2)|+|marking(IsEndLoop_0_3_3)|+|marking(IsEndLoop_4_2_1)|+|marking(IsEndLoop_5_4_1)|+|marking(IsEndLoop_3_1_2)|+|marking(IsEndLoop_0_0_0)|+|marking(IsEndLoop_3_0_0)|+|marking(IsEndLoop_5_0_1)|+|marking(IsEndLoop_1_4_3)|+|marking(IsEndLoop_5_0_4)|+|marking(IsEndLoop_5_3_1)|+|marking(IsEndLoop_5_1_2)|+|marking(IsEndLoop_2_0_3)|+|marking(IsEndLoop_3_4_5)|+|marking(IsEndLoop_4_0_2)|+|marking(IsEndLoop_3_3_3)|+|marking(IsEndLoop_4_0_4)|+|marking(IsEndLoop_1_4_5)|+|marking(IsEndLoop_4_3_3)|+|marking(IsEndLoop_5_2_4)|+|marking(IsEndLoop_4_3_4)|+|marking(IsEndLoop_2_4_4)|+|marking(IsEndLoop_2_3_4)|+|marking(IsEndLoop_2_1_3)|+|marking(IsEndLoop_4_4_1)|+|marking(IsEndLoop_0_3_2)|+|marking(IsEndLoop_1_3_0)|+|marking(IsEndLoop_1_2_1)|+|marking(IsEndLoop_2_2_2)|+|marking(IsEndLoop_4_3_2)|+|marking(IsEndLoop_4_1_4)|+|marking(IsEndLoop_3_0_2)|+|marking(IsEndLoop_5_0_5)|+|marking(IsEndLoop_0_2_1)|+|marking(IsEndLoop_1_0_2)|+|marking(IsEndLoop_5_0_0)|+|marking(IsEndLoop_3_1_3)|+|marking(IsEndLoop_3_3_0)|+|marking(IsEndLoop_3_1_5)|+|marking(IsEndLoop_2_0_0)|+|marking(IsEndLoop_0_3_1)|+|marking(IsEndLoop_3_0_5)|+|marking(IsEndLoop_5_3_4)|+|marking(IsEndLoop_4_4_2)|+|marking(IsEndLoop_0_3_5)|+|marking(IsEndLoop_0_2_3)|+|marking(IsEndLoop_1_4_1)|+|marking(IsEndLoop_5_1_0)|)) & (ContinueLoop_4_2_0? | ContinueLoop_4_5_3? | ContinueLoop_5_2_3? | ContinueLoop_3_1_3? | ContinueLoop_3_5_1? | ContinueLoop_2_4_1? | ContinueLoop_4_4_1? | ContinueLoop_2_2_1? | ContinueLoop_3_2_4? | ContinueLoop_3_0_4? | ContinueLoop_2_3_4? | ContinueLoop_4_4_4? | ContinueLoop_2_3_0? | ContinueLoop_1_4_1? | ContinueLoop_5_0_4? | ContinueLoop_4_0_3? | ContinueLoop_2_5_0? | ContinueLoop_1_0_0? | ContinueLoop_1_2_2? | ContinueLoop_2_5_4? | ContinueLoop_0_1_2? | ContinueLoop_4_3_4? | ContinueLoop_1_5_3? | ContinueLoop_1_5_2? | ContinueLoop_4_1_3? | ContinueLoop_2_1_3? | ContinueLoop_0_3_0? | ContinueLoop_5_1_1? | ContinueLoop_5_4_4? | ContinueLoop_0_0_4? | ContinueLoop_0_0_0? | ContinueLoop_5_3_0? | ContinueLoop_1_2_1? | ContinueLoop_1_2_3? | ContinueLoop_5_1_0? | ContinueLoop_2_4_0? | ContinueLoop_2_4_4? | ContinueLoop_3_4_0? | ContinueLoop_0_4_0? | ContinueLoop_2_0_3? | ContinueLoop_3_0_2? | ContinueLoop_5_0_2? | ContinueLoop_5_3_2? | ContinueLoop_3_0_3? | ContinueLoop_4_3_3? | ContinueLoop_3_3_0? | ContinueLoop_2_1_0? | ContinueLoop_4_2_2? | ContinueLoop_2_1_1? | ContinueLoop_0_4_3? | ContinueLoop_1_4_2? | ContinueLoop_1_3_2? | ContinueLoop_3_1_1? | ContinueLoop_4_3_2? | ContinueLoop_1_1_2? | ContinueLoop_1_0_3? | ContinueLoop_4_1_4? | ContinueLoop_4_2_4? | ContinueLoop_5_3_4? | ContinueLoop_5_1_3? | ContinueLoop_0_3_2? | ContinueLoop_1_3_4? | ContinueLoop_0_5_1? | ContinueLoop_2_0_0? | ContinueLoop_3_5_4? | ContinueLoop_2_3_1? | ContinueLoop_4_5_4? | ContinueLoop_1_0_1? | ContinueLoop_4_1_1? | ContinueLoop_1_0_2? | ContinueLoop_1_5_4? | ContinueLoop_0_3_4? | ContinueLoop_4_2_3? | ContinueLoop_1_0_4? | ContinueLoop_5_0_3? | ContinueLoop_4_4_0? | ContinueLoop_5_1_2? | ContinueLoop_0_4_1? | ContinueLoop_2_5_2? | ContinueLoop_2_4_2? | ContinueLoop_0_5_2? | ContinueLoop_0_5_0? | ContinueLoop_5_3_1? | ContinueLoop_5_5_0? | ContinueLoop_5_5_3? | ContinueLoop_1_1_1? | ContinueLoop_5_2_4? | ContinueLoop_0_0_3? | ContinueLoop_0_3_1? | ContinueLoop_1_3_0? | ContinueLoop_5_4_1? | ContinueLoop_1_4_0? | ContinueLoop_2_0_4? | ContinueLoop_3_4_3? | ContinueLoop_3_4_1? | ContinueLoop_5_4_2? | ContinueLoop_2_2_2? | ContinueLoop_5_2_2? | ContinueLoop_0_0_1? | ContinueLoop_1_2_4? | ContinueLoop_4_1_0? | ContinueLoop_4_0_0? | ContinueLoop_5_0_0? | ContinueLoop_5_4_0? | ContinueLoop_3_1_0? | ContinueLoop_5_0_1? | ContinueLoop_3_3_4? | ContinueLoop_3_0_1? | ContinueLoop_2_4_3? | ContinueLoop_4_5_2? | ContinueLoop_1_5_1? | ContinueLoop_5_5_2? | ContinueLoop_5_5_4? | ContinueLoop_3_0_0? | ContinueLoop_4_5_1? | ContinueLoop_0_5_3? | ContinueLoop_4_4_3? | ContinueLoop_3_1_2? | ContinueLoop_4_5_0? | ContinueLoop_2_3_3? | ContinueLoop_3_5_3? | ContinueLoop_2_1_2? | ContinueLoop_0_2_3? | ContinueLoop_2_2_4? | ContinueLoop_5_2_0? | ContinueLoop_2_0_1? | ContinueLoop_0_0_2? | ContinueLoop_3_2_0? | ContinueLoop_5_3_3? | ContinueLoop_3_2_2? | ContinueLoop_2_5_3? | ContinueLoop_0_2_1? | ContinueLoop_0_2_4? | ContinueLoop_0_4_2? | ContinueLoop_0_3_3? | ContinueLoop_2_1_4? | ContinueLoop_0_1_0? | ContinueLoop_3_5_2? | ContinueLoop_0_4_4? | ContinueLoop_3_4_2? | ContinueLoop_3_3_1? | ContinueLoop_4_0_2? | ContinueLoop_4_1_2? | ContinueLoop_4_2_1? | ContinueLoop_4_0_4? | ContinueLoop_1_4_3? | ContinueLoop_0_2_0? | ContinueLoop_5_4_3? | ContinueLoop_2_2_3? | ContinueLoop_0_5_4? | ContinueLoop_1_1_4? | ContinueLoop_0_1_1? | ContinueLoop_1_5_0? | ContinueLoop_0_1_3? | ContinueLoop_4_3_1? | ContinueLoop_0_1_4? | ContinueLoop_1_4_4? | ContinueLoop_1_3_1? | ContinueLoop_1_3_3? | ContinueLoop_1_1_3? | ContinueLoop_3_1_4? | ContinueLoop_4_3_0? | ContinueLoop_4_4_2? | ContinueLoop_5_1_4? | ContinueLoop_2_3_2? | ContinueLoop_3_3_3? | ContinueLoop_3_2_3? | ContinueLoop_5_5_1? | ContinueLoop_2_0_2? | ContinueLoop_2_5_1? | ContinueLoop_3_4_4? | ContinueLoop_5_2_1? | ContinueLoop_3_5_0? | ContinueLoop_2_2_0? | ContinueLoop_1_2_0? | ContinueLoop_4_0_1? | ContinueLoop_3_3_2? | ContinueLoop_1_1_0? | ContinueLoop_0_2_2? | ContinueLoop_3_2_1?))
ctl p_1882_mix_full_or: E G (((|marking(TestIdentity_2_2_5)|+|marking(TestIdentity_3_1_4)|+|marking(TestIdentity_5_2_1)|+|marking(TestIdentity_5_3_3)|+|marking(TestIdentity_2_4_5)|+|marking(TestIdentity_2_2_1)|+|marking(TestIdentity_5_4_5)|+|marking(TestIdentity_0_2_0)|+|marking(TestIdentity_4_4_5)|+|marking(TestIdentity_5_3_4)|+|marking(TestIdentity_3_3_1)|+|marking(TestIdentity_2_1_4)|+|marking(TestIdentity_2_2_4)|+|marking(TestIdentity_4_1_0)|+|marking(TestIdentity_4_2_0)|+|marking(TestIdentity_2_1_2)|+|marking(TestIdentity_0_1_4)|+|marking(TestIdentity_1_1_3)|+|marking(TestIdentity_1_2_1)|+|marking(TestIdentity_5_2_2)|+|marking(TestIdentity_0_2_2)|+|marking(TestIdentity_0_1_5)|+|marking(TestIdentity_5_0_2)|+|marking(TestIdentity_2_3_5)|+|marking(TestIdentity_2_3_1)|+|marking(TestIdentity_1_3_0)|+|marking(TestIdentity_3_4_4)|+|marking(TestIdentity_4_2_3)|+|marking(TestIdentity_3_0_3)|+|marking(TestIdentity_3_0_4)|+|marking(TestIdentity_3_2_5)|+|marking(TestIdentity_2_2_2)|+|marking(TestIdentity_5_4_1)|+|marking(TestIdentity_4_4_1)|+|marking(TestIdentity_3_0_1)|+|marking(TestIdentity_1_1_0)|+|marking(TestIdentity_2_0_1)|+|marking(TestIdentity_3_3_4)|+|marking(TestIdentity_2_0_4)|+|marking(TestIdentity_0_1_1)|+|marking(TestIdentity_2_3_4)|+|marking(TestIdentity_0_0_1)|+|marking(TestIdentity_0_0_3)|+|marking(TestIdentity_2_0_3)|+|marking(TestIdentity_2_0_2)|+|marking(TestIdentity_5_0_3)|+|marking(TestIdentity_1_2_5)|+|marking(TestIdentity_5_2_3)|+|marking(TestIdentity_2_3_3)|+|marking(TestIdentity_1_3_3)|+|marking(TestIdentity_5_0_0)|+|marking(TestIdentity_2_1_1)|+|marking(TestIdentity_3_4_5)|+|marking(TestIdentity_2_0_5)|+|marking(TestIdentity_5_2_5)|+|marking(TestIdentity_2_4_4)|+|marking(TestIdentity_2_4_2)|+|marking(TestIdentity_1_0_4)|+|marking(TestIdentity_0_3_3)|+|marking(TestIdentity_4_3_0)|+|marking(TestIdentity_0_0_2)|+|marking(TestIdentity_5_1_1)|+|marking(TestIdentity_3_2_0)|+|marking(TestIdentity_0_4_3)|+|marking(TestIdentity_1_1_2)|+|marking(TestIdentity_1_4_5)|+|marking(TestIdentity_2_2_3)|+|marking(TestIdentity_0_2_4)|+|marking(TestIdentity_5_1_2)|+|marking(TestIdentity_2_1_3)|+|marking(TestIdentity_5_0_1)|+|marking(TestIdentity_0_2_1)|+|marking(TestIdentity_4_0_3)|+|marking(TestIdentity_3_2_1)|+|marking(TestIdentity_3_3_5)|+|marking(TestIdentity_5_3_2)|+|marking(TestIdentity_0_2_5)|+|marking(TestIdentity_4_3_3)|+|marking(TestIdentity_0_4_5)|+|marking(TestIdentity_4_4_4)|+|marking(TestIdentity_3_1_2)|+|marking(TestIdentity_4_0_5)|+|marking(TestIdentity_2_3_0)|+|marking(TestIdentity_4_0_1)|+|marking(TestIdentity_0_0_4)|+|marking(TestIdentity_1_0_3)|+|marking(TestIdentity_4_3_1)|+|marking(TestIdentity_4_0_0)|+|marking(TestIdentity_5_3_0)|+|marking(TestIdentity_3_2_3)|+|marking(TestIdentity_3_4_2)|+|marking(TestIdentity_2_0_0)|+|marking(TestIdentity_3_4_3)|+|marking(TestIdentity_3_3_3)|+|marking(TestIdentity_0_4_1)|+|marking(TestIdentity_0_0_5)|+|marking(TestIdentity_0_2_3)|+|marking(TestIdentity_4_1_4)|+|marking(TestIdentity_4_1_3)|+|marking(TestIdentity_5_3_5)|+|marking(TestIdentity_4_2_2)|+|marking(TestIdentity_0_3_1)|+|marking(TestIdentity_1_0_1)|+|marking(TestIdentity_3_1_3)|+|marking(TestIdentity_1_2_4)|+|marking(TestIdentity_0_4_4)|+|marking(TestIdentity_4_1_5)|+|marking(TestIdentity_1_1_1)|+|marking(TestIdentity_4_2_1)|+|marking(TestIdentity_4_4_0)|+|marking(TestIdentity_1_3_5)|+|marking(TestIdentity_1_4_2)|+|marking(TestIdentity_4_2_4)|+|marking(TestIdentity_5_1_5)|+|marking(TestIdentity_1_3_2)|+|marking(TestIdentity_3_1_0)|+|marking(TestIdentity_2_3_2)|+|marking(TestIdentity_5_4_2)|+|marking(TestIdentity_5_4_4)|+|marking(TestIdentity_4_0_2)|+|marking(TestIdentity_4_3_2)|+|marking(TestIdentity_0_0_0)|+|marking(TestIdentity_3_1_1)|+|marking(TestIdentity_4_4_3)|+|marking(TestIdentity_1_0_5)|+|marking(TestIdentity_2_1_0)|+|marking(TestIdentity_5_0_5)|+|marking(TestIdentity_3_3_0)|+|marking(TestIdentity_1_0_2)|+|marking(TestIdentity_3_2_4)|+|marking(TestIdentity_5_2_0)|+|marking(TestIdentity_4_0_4)|+|marking(TestIdentity_2_2_0)|+|marking(TestIdentity_1_4_4)|+|marking(TestIdentity_1_0_0)|+|marking(TestIdentity_5_2_4)|+|marking(TestIdentity_1_3_4)|+|marking(TestIdentity_2_4_1)|+|marking(TestIdentity_5_0_4)|+|marking(TestIdentity_4_2_5)|+|marking(TestIdentity_1_2_2)|+|marking(TestIdentity_4_3_4)|+|marking(TestIdentity_0_4_2)|+|marking(TestIdentity_5_1_0)|+|marking(TestIdentity_0_1_2)|+|marking(TestIdentity_3_2_2)|+|marking(TestIdentity_1_1_4)|+|marking(TestIdentity_1_2_0)|+|marking(TestIdentity_3_1_5)|+|marking(TestIdentity_1_1_5)|+|marking(TestIdentity_0_3_5)|+|marking(TestIdentity_1_2_3)|+|marking(TestIdentity_0_3_2)|+|marking(TestIdentity_5_3_1)|+|marking(TestIdentity_1_4_3)|+|marking(TestIdentity_1_4_1)|+|marking(TestIdentity_4_4_2)|+|marking(TestIdentity_0_1_3)|+|marking(TestIdentity_3_4_0)|+|marking(TestIdentity_0_3_4)|+|marking(TestIdentity_5_1_4)|+|marking(TestIdentity_5_4_0)|+|marking(TestIdentity_3_0_2)|+|marking(TestIdentity_0_4_0)|+|marking(TestIdentity_3_0_5)|+|marking(TestIdentity_4_3_5)|+|marking(TestIdentity_3_3_2)|+|marking(TestIdentity_2_4_3)|+|marking(TestIdentity_2_4_0)|+|marking(TestIdentity_5_1_3)|+|marking(TestIdentity_1_4_0)|+|marking(TestIdentity_3_0_0)|+|marking(TestIdentity_4_1_1)|+|marking(TestIdentity_1_3_1)|+|marking(TestIdentity_0_3_0)|+|marking(TestIdentity_4_1_2)|+|marking(TestIdentity_0_1_0)|+|marking(TestIdentity_5_4_3)|+|marking(TestIdentity_2_1_5)|+|marking(TestIdentity_3_4_1)|)>(|marking(IsEndLoop_2_4_3)|+|marking(IsEndLoop_3_4_3)|+|marking(IsEndLoop_3_3_1)|+|marking(IsEndLoop_0_4_2)|+|marking(IsEndLoop_5_2_0)|+|marking(IsEndLoop_2_3_1)|+|marking(IsEndLoop_5_2_1)|+|marking(IsEndLoop_1_0_1)|+|marking(IsEndLoop_4_2_5)|+|marking(IsEndLoop_5_4_0)|+|marking(IsEndLoop_1_2_4)|+|marking(IsEndLoop_3_2_4)|+|marking(IsEndLoop_1_3_3)|+|marking(IsEndLoop_3_1_1)|+|marking(IsEndLoop_3_4_2)|+|marking(IsEndLoop_1_3_5)|+|marking(IsEndLoop_5_2_3)|+|marking(IsEndLoop_1_2_5)|+|marking(IsEndLoop_5_3_2)|+|marking(IsEndLoop_1_4_0)|+|marking(IsEndLoop_1_2_3)|+|marking(IsEndLoop_5_4_3)|+|marking(IsEndLoop_1_0_0)|+|marking(IsEndLoop_1_4_2)|+|marking(IsEndLoop_1_2_2)|+|marking(IsEndLoop_0_1_5)|+|marking(IsEndLoop_5_3_3)|+|marking(IsEndLoop_2_1_5)|+|marking(IsEndLoop_5_1_1)|+|marking(IsEndLoop_2_0_5)|+|marking(IsEndLoop_1_1_5)|+|marking(IsEndLoop_0_0_4)|+|marking(IsEndLoop_4_2_2)|+|marking(IsEndLoop_3_4_4)|+|marking(IsEndLoop_5_2_5)|+|marking(IsEndLoop_2_3_2)|+|marking(IsEndLoop_4_4_3)|+|marking(IsEndLoop_2_0_2)|+|marking(IsEndLoop_3_2_0)|+|marking(IsEndLoop_1_1_1)|+|marking(IsEndLoop_4_3_1)|+|marking(IsEndLoop_0_3_4)|+|marking(IsEndLoop_2_1_4)|+|marking(IsEndLoop_5_1_4)|+|marking(IsEndLoop_2_1_2)|+|marking(IsEndLoop_0_2_2)|+|marking(IsEndLoop_1_1_3)|+|marking(IsEndLoop_3_3_4)|+|marking(IsEndLoop_0_1_0)|+|marking(IsEndLoop_4_1_2)|+|marking(IsEndLoop_1_1_4)|+|marking(IsEndLoop_2_1_0)|+|marking(IsEndLoop_2_3_5)|+|marking(IsEndLoop_4_0_3)|+|marking(IsEndLoop_2_2_0)|+|marking(IsEndLoop_0_0_1)|+|marking(IsEndLoop_3_1_4)|+|marking(IsEndLoop_0_4_0)|+|marking(IsEndLoop_3_0_3)|+|marking(IsEndLoop_0_4_3)|+|marking(IsEndLoop_5_2_2)|+|marking(IsEndLoop_1_1_2)|+|marking(IsEndLoop_2_2_3)|+|marking(IsEndLoop_5_0_2)|+|marking(IsEndLoop_0_4_4)|+|marking(IsEndLoop_5_0_3)|+|marking(IsEndLoop_0_4_5)|+|marking(IsEndLoop_0_0_3)|+|marking(IsEndLoop_3_4_0)|+|marking(IsEndLoop_2_4_1)|+|marking(IsEndLoop_4_0_5)|+|marking(IsEndLoop_4_0_1)|+|marking(IsEndLoop_0_0_2)|+|marking(IsEndLoop_1_0_3)|+|marking(IsEndLoop_2_0_4)|+|marking(IsEndLoop_4_2_4)|+|marking(IsEndLoop_4_1_5)|+|marking(IsEndLoop_1_0_5)|+|marking(IsEndLoop_4_4_4)|+|marking(IsEndLoop_0_3_0)|+|marking(IsEndLoop_4_2_0)|+|marking(IsEndLoop_0_1_4)|+|marking(IsEndLoop_0_4_1)|+|marking(IsEndLoop_1_3_4)|+|marking(IsEndLoop_5_3_5)|+|marking(IsEndLoop_3_1_0)|+|marking(IsEndLoop_1_2_0)|+|marking(IsEndLoop_3_0_4)|+|marking(IsEndLoop_0_1_1)|+|marking(IsEndLoop_4_4_0)|+|marking(IsEndLoop_3_2_1)|+|marking(IsEndLoop_3_2_2)|+|marking(IsEndLoop_2_4_0)|+|marking(IsEndLoop_4_3_0)|+|marking(IsEndLoop_5_4_2)|+|marking(IsEndLoop_3_3_5)|+|marking(IsEndLoop_1_4_4)|+|marking(IsEndLoop_2_2_5)|+|marking(IsEndLoop_4_3_5)|+|marking(IsEndLoop_2_3_0)|+|marking(IsEndLoop_0_2_4)|+|marking(IsEndLoop_5_4_5)|+|marking(IsEndLoop_1_1_0)|+|marking(IsEndLoop_0_1_2)|+|marking(IsEndLoop_5_3_0)|+|marking(IsEndLoop_0_0_5)|+|marking(IsEndLoop_0_2_5)|+|marking(IsEndLoop_3_3_2)|+|marking(IsEndLoop_1_3_1)|+|marking(IsEndLoop_5_4_4)|+|marking(IsEndLoop_4_1_3)|+|marking(IsEndLoop_5_1_5)|+|marking(IsEndLoop_2_2_1)|+|marking(IsEndLoop_3_2_3)|+|marking(IsEndLoop_4_1_0)|+|marking(IsEndLoop_4_2_3)|+|marking(IsEndLoop_2_1_1)|+|marking(IsEndLoop_5_1_3)|+|marking(IsEndLoop_4_1_1)|+|marking(IsEndLoop_4_4_5)|+|marking(IsEndLoop_3_0_1)|+|marking(IsEndLoop_2_3_3)|+|marking(IsEndLoop_0_2_0)|+|marking(IsEndLoop_2_2_4)|+|marking(IsEndLoop_2_0_1)|+|marking(IsEndLoop_0_1_3)|+|marking(IsEndLoop_2_4_5)|+|marking(IsEndLoop_4_0_0)|+|marking(IsEndLoop_3_2_5)|+|marking(IsEndLoop_3_4_1)|+|marking(IsEndLoop_1_0_4)|+|marking(IsEndLoop_1_3_2)|+|marking(IsEndLoop_2_4_2)|+|marking(IsEndLoop_0_3_3)|+|marking(IsEndLoop_4_2_1)|+|marking(IsEndLoop_5_4_1)|+|marking(IsEndLoop_3_1_2)|+|marking(IsEndLoop_0_0_0)|+|marking(IsEndLoop_3_0_0)|+|marking(IsEndLoop_5_0_1)|+|marking(IsEndLoop_1_4_3)|+|marking(IsEndLoop_5_0_4)|+|marking(IsEndLoop_5_3_1)|+|marking(IsEndLoop_5_1_2)|+|marking(IsEndLoop_2_0_3)|+|marking(IsEndLoop_3_4_5)|+|marking(IsEndLoop_4_0_2)|+|marking(IsEndLoop_3_3_3)|+|marking(IsEndLoop_4_0_4)|+|marking(IsEndLoop_1_4_5)|+|marking(IsEndLoop_4_3_3)|+|marking(IsEndLoop_5_2_4)|+|marking(IsEndLoop_4_3_4)|+|marking(IsEndLoop_2_4_4)|+|marking(IsEndLoop_2_3_4)|+|marking(IsEndLoop_2_1_3)|+|marking(IsEndLoop_4_4_1)|+|marking(IsEndLoop_0_3_2)|+|marking(IsEndLoop_1_3_0)|+|marking(IsEndLoop_1_2_1)|+|marking(IsEndLoop_2_2_2)|+|marking(IsEndLoop_4_3_2)|+|marking(IsEndLoop_4_1_4)|+|marking(IsEndLoop_3_0_2)|+|marking(IsEndLoop_5_0_5)|+|marking(IsEndLoop_0_2_1)|+|marking(IsEndLoop_1_0_2)|+|marking(IsEndLoop_5_0_0)|+|marking(IsEndLoop_3_1_3)|+|marking(IsEndLoop_3_3_0)|+|marking(IsEndLoop_3_1_5)|+|marking(IsEndLoop_2_0_0)|+|marking(IsEndLoop_0_3_1)|+|marking(IsEndLoop_3_0_5)|+|marking(IsEndLoop_5_3_4)|+|marking(IsEndLoop_4_4_2)|+|marking(IsEndLoop_0_3_5)|+|marking(IsEndLoop_0_2_3)|+|marking(IsEndLoop_1_4_1)|+|marking(IsEndLoop_5_1_0)|)) | (ContinueLoop_4_2_0? | ContinueLoop_4_5_3? | ContinueLoop_5_2_3? | ContinueLoop_3_1_3? | ContinueLoop_3_5_1? | ContinueLoop_2_4_1? | ContinueLoop_4_4_1? | ContinueLoop_2_2_1? | ContinueLoop_3_2_4? | ContinueLoop_3_0_4? | ContinueLoop_2_3_4? | ContinueLoop_4_4_4? | ContinueLoop_2_3_0? | ContinueLoop_1_4_1? | ContinueLoop_5_0_4? | ContinueLoop_4_0_3? | ContinueLoop_2_5_0? | ContinueLoop_1_0_0? | ContinueLoop_1_2_2? | ContinueLoop_2_5_4? | ContinueLoop_0_1_2? | ContinueLoop_4_3_4? | ContinueLoop_1_5_3? | ContinueLoop_1_5_2? | ContinueLoop_4_1_3? | ContinueLoop_2_1_3? | ContinueLoop_0_3_0? | ContinueLoop_5_1_1? | ContinueLoop_5_4_4? | ContinueLoop_0_0_4? | ContinueLoop_0_0_0? | ContinueLoop_5_3_0? | ContinueLoop_1_2_1? | ContinueLoop_1_2_3? | ContinueLoop_5_1_0? | ContinueLoop_2_4_0? | ContinueLoop_2_4_4? | ContinueLoop_3_4_0? | ContinueLoop_0_4_0? | ContinueLoop_2_0_3? | ContinueLoop_3_0_2? | ContinueLoop_5_0_2? | ContinueLoop_5_3_2? | ContinueLoop_3_0_3? | ContinueLoop_4_3_3? | ContinueLoop_3_3_0? | ContinueLoop_2_1_0? | ContinueLoop_4_2_2? | ContinueLoop_2_1_1? | ContinueLoop_0_4_3? | ContinueLoop_1_4_2? | ContinueLoop_1_3_2? | ContinueLoop_3_1_1? | ContinueLoop_4_3_2? | ContinueLoop_1_1_2? | ContinueLoop_1_0_3? | ContinueLoop_4_1_4? | ContinueLoop_4_2_4? | ContinueLoop_5_3_4? | ContinueLoop_5_1_3? | ContinueLoop_0_3_2? | ContinueLoop_1_3_4? | ContinueLoop_0_5_1? | ContinueLoop_2_0_0? | ContinueLoop_3_5_4? | ContinueLoop_2_3_1? | ContinueLoop_4_5_4? | ContinueLoop_1_0_1? | ContinueLoop_4_1_1? | ContinueLoop_1_0_2? | ContinueLoop_1_5_4? | ContinueLoop_0_3_4? | ContinueLoop_4_2_3? | ContinueLoop_1_0_4? | ContinueLoop_5_0_3? | ContinueLoop_4_4_0? | ContinueLoop_5_1_2? | ContinueLoop_0_4_1? | ContinueLoop_2_5_2? | ContinueLoop_2_4_2? | ContinueLoop_0_5_2? | ContinueLoop_0_5_0? | ContinueLoop_5_3_1? | ContinueLoop_5_5_0? | ContinueLoop_5_5_3? | ContinueLoop_1_1_1? | ContinueLoop_5_2_4? | ContinueLoop_0_0_3? | ContinueLoop_0_3_1? | ContinueLoop_1_3_0? | ContinueLoop_5_4_1? | ContinueLoop_1_4_0? | ContinueLoop_2_0_4? | ContinueLoop_3_4_3? | ContinueLoop_3_4_1? | ContinueLoop_5_4_2? | ContinueLoop_2_2_2? | ContinueLoop_5_2_2? | ContinueLoop_0_0_1? | ContinueLoop_1_2_4? | ContinueLoop_4_1_0? | ContinueLoop_4_0_0? | ContinueLoop_5_0_0? | ContinueLoop_5_4_0? | ContinueLoop_3_1_0? | ContinueLoop_5_0_1? | ContinueLoop_3_3_4? | ContinueLoop_3_0_1? | ContinueLoop_2_4_3? | ContinueLoop_4_5_2? | ContinueLoop_1_5_1? | ContinueLoop_5_5_2? | ContinueLoop_5_5_4? | ContinueLoop_3_0_0? | ContinueLoop_4_5_1? | ContinueLoop_0_5_3? | ContinueLoop_4_4_3? | ContinueLoop_3_1_2? | ContinueLoop_4_5_0? | ContinueLoop_2_3_3? | ContinueLoop_3_5_3? | ContinueLoop_2_1_2? | ContinueLoop_0_2_3? | ContinueLoop_2_2_4? | ContinueLoop_5_2_0? | ContinueLoop_2_0_1? | ContinueLoop_0_0_2? | ContinueLoop_3_2_0? | ContinueLoop_5_3_3? | ContinueLoop_3_2_2? | ContinueLoop_2_5_3? | ContinueLoop_0_2_1? | ContinueLoop_0_2_4? | ContinueLoop_0_4_2? | ContinueLoop_0_3_3? | ContinueLoop_2_1_4? | ContinueLoop_0_1_0? | ContinueLoop_3_5_2? | ContinueLoop_0_4_4? | ContinueLoop_3_4_2? | ContinueLoop_3_3_1? | ContinueLoop_4_0_2? | ContinueLoop_4_1_2? | ContinueLoop_4_2_1? | ContinueLoop_4_0_4? | ContinueLoop_1_4_3? | ContinueLoop_0_2_0? | ContinueLoop_5_4_3? | ContinueLoop_2_2_3? | ContinueLoop_0_5_4? | ContinueLoop_1_1_4? | ContinueLoop_0_1_1? | ContinueLoop_1_5_0? | ContinueLoop_0_1_3? | ContinueLoop_4_3_1? | ContinueLoop_0_1_4? | ContinueLoop_1_4_4? | ContinueLoop_1_3_1? | ContinueLoop_1_3_3? | ContinueLoop_1_1_3? | ContinueLoop_3_1_4? | ContinueLoop_4_3_0? | ContinueLoop_4_4_2? | ContinueLoop_5_1_4? | ContinueLoop_2_3_2? | ContinueLoop_3_3_3? | ContinueLoop_3_2_3? | ContinueLoop_5_5_1? | ContinueLoop_2_0_2? | ContinueLoop_2_5_1? | ContinueLoop_3_4_4? | ContinueLoop_5_2_1? | ContinueLoop_3_5_0? | ContinueLoop_2_2_0? | ContinueLoop_1_2_0? | ContinueLoop_4_0_1? | ContinueLoop_3_3_2? | ContinueLoop_1_1_0? | ContinueLoop_0_2_2? | ContinueLoop_3_2_1?))
ctl p_1883_mix_full_and_notx: E G (((|marking(TestIdentity_2_2_5)|+|marking(TestIdentity_3_1_4)|+|marking(TestIdentity_5_2_1)|+|marking(TestIdentity_5_3_3)|+|marking(TestIdentity_2_4_5)|+|marking(TestIdentity_2_2_1)|+|marking(TestIdentity_5_4_5)|+|marking(TestIdentity_0_2_0)|+|marking(TestIdentity_4_4_5)|+|marking(TestIdentity_5_3_4)|+|marking(TestIdentity_3_3_1)|+|marking(TestIdentity_2_1_4)|+|marking(TestIdentity_2_2_4)|+|marking(TestIdentity_4_1_0)|+|marking(TestIdentity_4_2_0)|+|marking(TestIdentity_2_1_2)|+|marking(TestIdentity_0_1_4)|+|marking(TestIdentity_1_1_3)|+|marking(TestIdentity_1_2_1)|+|marking(TestIdentity_5_2_2)|+|marking(TestIdentity_0_2_2)|+|marking(TestIdentity_0_1_5)|+|marking(TestIdentity_5_0_2)|+|marking(TestIdentity_2_3_5)|+|marking(TestIdentity_2_3_1)|+|marking(TestIdentity_1_3_0)|+|marking(TestIdentity_3_4_4)|+|marking(TestIdentity_4_2_3)|+|marking(TestIdentity_3_0_3)|+|marking(TestIdentity_3_0_4)|+|marking(TestIdentity_3_2_5)|+|marking(TestIdentity_2_2_2)|+|marking(TestIdentity_5_4_1)|+|marking(TestIdentity_4_4_1)|+|marking(TestIdentity_3_0_1)|+|marking(TestIdentity_1_1_0)|+|marking(TestIdentity_2_0_1)|+|marking(TestIdentity_3_3_4)|+|marking(TestIdentity_2_0_4)|+|marking(TestIdentity_0_1_1)|+|marking(TestIdentity_2_3_4)|+|marking(TestIdentity_0_0_1)|+|marking(TestIdentity_0_0_3)|+|marking(TestIdentity_2_0_3)|+|marking(TestIdentity_2_0_2)|+|marking(TestIdentity_5_0_3)|+|marking(TestIdentity_1_2_5)|+|marking(TestIdentity_5_2_3)|+|marking(TestIdentity_2_3_3)|+|marking(TestIdentity_1_3_3)|+|marking(TestIdentity_5_0_0)|+|marking(TestIdentity_2_1_1)|+|marking(TestIdentity_3_4_5)|+|marking(TestIdentity_2_0_5)|+|marking(TestIdentity_5_2_5)|+|marking(TestIdentity_2_4_4)|+|marking(TestIdentity_2_4_2)|+|marking(TestIdentity_1_0_4)|+|marking(TestIdentity_0_3_3)|+|marking(TestIdentity_4_3_0)|+|marking(TestIdentity_0_0_2)|+|marking(TestIdentity_5_1_1)|+|marking(TestIdentity_3_2_0)|+|marking(TestIdentity_0_4_3)|+|marking(TestIdentity_1_1_2)|+|marking(TestIdentity_1_4_5)|+|marking(TestIdentity_2_2_3)|+|marking(TestIdentity_0_2_4)|+|marking(TestIdentity_5_1_2)|+|marking(TestIdentity_2_1_3)|+|marking(TestIdentity_5_0_1)|+|marking(TestIdentity_0_2_1)|+|marking(TestIdentity_4_0_3)|+|marking(TestIdentity_3_2_1)|+|marking(TestIdentity_3_3_5)|+|marking(TestIdentity_5_3_2)|+|marking(TestIdentity_0_2_5)|+|marking(TestIdentity_4_3_3)|+|marking(TestIdentity_0_4_5)|+|marking(TestIdentity_4_4_4)|+|marking(TestIdentity_3_1_2)|+|marking(TestIdentity_4_0_5)|+|marking(TestIdentity_2_3_0)|+|marking(TestIdentity_4_0_1)|+|marking(TestIdentity_0_0_4)|+|marking(TestIdentity_1_0_3)|+|marking(TestIdentity_4_3_1)|+|marking(TestIdentity_4_0_0)|+|marking(TestIdentity_5_3_0)|+|marking(TestIdentity_3_2_3)|+|marking(TestIdentity_3_4_2)|+|marking(TestIdentity_2_0_0)|+|marking(TestIdentity_3_4_3)|+|marking(TestIdentity_3_3_3)|+|marking(TestIdentity_0_4_1)|+|marking(TestIdentity_0_0_5)|+|marking(TestIdentity_0_2_3)|+|marking(TestIdentity_4_1_4)|+|marking(TestIdentity_4_1_3)|+|marking(TestIdentity_5_3_5)|+|marking(TestIdentity_4_2_2)|+|marking(TestIdentity_0_3_1)|+|marking(TestIdentity_1_0_1)|+|marking(TestIdentity_3_1_3)|+|marking(TestIdentity_1_2_4)|+|marking(TestIdentity_0_4_4)|+|marking(TestIdentity_4_1_5)|+|marking(TestIdentity_1_1_1)|+|marking(TestIdentity_4_2_1)|+|marking(TestIdentity_4_4_0)|+|marking(TestIdentity_1_3_5)|+|marking(TestIdentity_1_4_2)|+|marking(TestIdentity_4_2_4)|+|marking(TestIdentity_5_1_5)|+|marking(TestIdentity_1_3_2)|+|marking(TestIdentity_3_1_0)|+|marking(TestIdentity_2_3_2)|+|marking(TestIdentity_5_4_2)|+|marking(TestIdentity_5_4_4)|+|marking(TestIdentity_4_0_2)|+|marking(TestIdentity_4_3_2)|+|marking(TestIdentity_0_0_0)|+|marking(TestIdentity_3_1_1)|+|marking(TestIdentity_4_4_3)|+|marking(TestIdentity_1_0_5)|+|marking(TestIdentity_2_1_0)|+|marking(TestIdentity_5_0_5)|+|marking(TestIdentity_3_3_0)|+|marking(TestIdentity_1_0_2)|+|marking(TestIdentity_3_2_4)|+|marking(TestIdentity_5_2_0)|+|marking(TestIdentity_4_0_4)|+|marking(TestIdentity_2_2_0)|+|marking(TestIdentity_1_4_4)|+|marking(TestIdentity_1_0_0)|+|marking(TestIdentity_5_2_4)|+|marking(TestIdentity_1_3_4)|+|marking(TestIdentity_2_4_1)|+|marking(TestIdentity_5_0_4)|+|marking(TestIdentity_4_2_5)|+|marking(TestIdentity_1_2_2)|+|marking(TestIdentity_4_3_4)|+|marking(TestIdentity_0_4_2)|+|marking(TestIdentity_5_1_0)|+|marking(TestIdentity_0_1_2)|+|marking(TestIdentity_3_2_2)|+|marking(TestIdentity_1_1_4)|+|marking(TestIdentity_1_2_0)|+|marking(TestIdentity_3_1_5)|+|marking(TestIdentity_1_1_5)|+|marking(TestIdentity_0_3_5)|+|marking(TestIdentity_1_2_3)|+|marking(TestIdentity_0_3_2)|+|marking(TestIdentity_5_3_1)|+|marking(TestIdentity_1_4_3)|+|marking(TestIdentity_1_4_1)|+|marking(TestIdentity_4_4_2)|+|marking(TestIdentity_0_1_3)|+|marking(TestIdentity_3_4_0)|+|marking(TestIdentity_0_3_4)|+|marking(TestIdentity_5_1_4)|+|marking(TestIdentity_5_4_0)|+|marking(TestIdentity_3_0_2)|+|marking(TestIdentity_0_4_0)|+|marking(TestIdentity_3_0_5)|+|marking(TestIdentity_4_3_5)|+|marking(TestIdentity_3_3_2)|+|marking(TestIdentity_2_4_3)|+|marking(TestIdentity_2_4_0)|+|marking(TestIdentity_5_1_3)|+|marking(TestIdentity_1_4_0)|+|marking(TestIdentity_3_0_0)|+|marking(TestIdentity_4_1_1)|+|marking(TestIdentity_1_3_1)|+|marking(TestIdentity_0_3_0)|+|marking(TestIdentity_4_1_2)|+|marking(TestIdentity_0_1_0)|+|marking(TestIdentity_5_4_3)|+|marking(TestIdentity_2_1_5)|+|marking(TestIdentity_3_4_1)|)>(|marking(IsEndLoop_2_4_3)|+|marking(IsEndLoop_3_4_3)|+|marking(IsEndLoop_3_3_1)|+|marking(IsEndLoop_0_4_2)|+|marking(IsEndLoop_5_2_0)|+|marking(IsEndLoop_2_3_1)|+|marking(IsEndLoop_5_2_1)|+|marking(IsEndLoop_1_0_1)|+|marking(IsEndLoop_4_2_5)|+|marking(IsEndLoop_5_4_0)|+|marking(IsEndLoop_1_2_4)|+|marking(IsEndLoop_3_2_4)|+|marking(IsEndLoop_1_3_3)|+|marking(IsEndLoop_3_1_1)|+|marking(IsEndLoop_3_4_2)|+|marking(IsEndLoop_1_3_5)|+|marking(IsEndLoop_5_2_3)|+|marking(IsEndLoop_1_2_5)|+|marking(IsEndLoop_5_3_2)|+|marking(IsEndLoop_1_4_0)|+|marking(IsEndLoop_1_2_3)|+|marking(IsEndLoop_5_4_3)|+|marking(IsEndLoop_1_0_0)|+|marking(IsEndLoop_1_4_2)|+|marking(IsEndLoop_1_2_2)|+|marking(IsEndLoop_0_1_5)|+|marking(IsEndLoop_5_3_3)|+|marking(IsEndLoop_2_1_5)|+|marking(IsEndLoop_5_1_1)|+|marking(IsEndLoop_2_0_5)|+|marking(IsEndLoop_1_1_5)|+|marking(IsEndLoop_0_0_4)|+|marking(IsEndLoop_4_2_2)|+|marking(IsEndLoop_3_4_4)|+|marking(IsEndLoop_5_2_5)|+|marking(IsEndLoop_2_3_2)|+|marking(IsEndLoop_4_4_3)|+|marking(IsEndLoop_2_0_2)|+|marking(IsEndLoop_3_2_0)|+|marking(IsEndLoop_1_1_1)|+|marking(IsEndLoop_4_3_1)|+|marking(IsEndLoop_0_3_4)|+|marking(IsEndLoop_2_1_4)|+|marking(IsEndLoop_5_1_4)|+|marking(IsEndLoop_2_1_2)|+|marking(IsEndLoop_0_2_2)|+|marking(IsEndLoop_1_1_3)|+|marking(IsEndLoop_3_3_4)|+|marking(IsEndLoop_0_1_0)|+|marking(IsEndLoop_4_1_2)|+|marking(IsEndLoop_1_1_4)|+|marking(IsEndLoop_2_1_0)|+|marking(IsEndLoop_2_3_5)|+|marking(IsEndLoop_4_0_3)|+|marking(IsEndLoop_2_2_0)|+|marking(IsEndLoop_0_0_1)|+|marking(IsEndLoop_3_1_4)|+|marking(IsEndLoop_0_4_0)|+|marking(IsEndLoop_3_0_3)|+|marking(IsEndLoop_0_4_3)|+|marking(IsEndLoop_5_2_2)|+|marking(IsEndLoop_1_1_2)|+|marking(IsEndLoop_2_2_3)|+|marking(IsEndLoop_5_0_2)|+|marking(IsEndLoop_0_4_4)|+|marking(IsEndLoop_5_0_3)|+|marking(IsEndLoop_0_4_5)|+|marking(IsEndLoop_0_0_3)|+|marking(IsEndLoop_3_4_0)|+|marking(IsEndLoop_2_4_1)|+|marking(IsEndLoop_4_0_5)|+|marking(IsEndLoop_4_0_1)|+|marking(IsEndLoop_0_0_2)|+|marking(IsEndLoop_1_0_3)|+|marking(IsEndLoop_2_0_4)|+|marking(IsEndLoop_4_2_4)|+|marking(IsEndLoop_4_1_5)|+|marking(IsEndLoop_1_0_5)|+|marking(IsEndLoop_4_4_4)|+|marking(IsEndLoop_0_3_0)|+|marking(IsEndLoop_4_2_0)|+|marking(IsEndLoop_0_1_4)|+|marking(IsEndLoop_0_4_1)|+|marking(IsEndLoop_1_3_4)|+|marking(IsEndLoop_5_3_5)|+|marking(IsEndLoop_3_1_0)|+|marking(IsEndLoop_1_2_0)|+|marking(IsEndLoop_3_0_4)|+|marking(IsEndLoop_0_1_1)|+|marking(IsEndLoop_4_4_0)|+|marking(IsEndLoop_3_2_1)|+|marking(IsEndLoop_3_2_2)|+|marking(IsEndLoop_2_4_0)|+|marking(IsEndLoop_4_3_0)|+|marking(IsEndLoop_5_4_2)|+|marking(IsEndLoop_3_3_5)|+|marking(IsEndLoop_1_4_4)|+|marking(IsEndLoop_2_2_5)|+|marking(IsEndLoop_4_3_5)|+|marking(IsEndLoop_2_3_0)|+|marking(IsEndLoop_0_2_4)|+|marking(IsEndLoop_5_4_5)|+|marking(IsEndLoop_1_1_0)|+|marking(IsEndLoop_0_1_2)|+|marking(IsEndLoop_5_3_0)|+|marking(IsEndLoop_0_0_5)|+|marking(IsEndLoop_0_2_5)|+|marking(IsEndLoop_3_3_2)|+|marking(IsEndLoop_1_3_1)|+|marking(IsEndLoop_5_4_4)|+|marking(IsEndLoop_4_1_3)|+|marking(IsEndLoop_5_1_5)|+|marking(IsEndLoop_2_2_1)|+|marking(IsEndLoop_3_2_3)|+|marking(IsEndLoop_4_1_0)|+|marking(IsEndLoop_4_2_3)|+|marking(IsEndLoop_2_1_1)|+|marking(IsEndLoop_5_1_3)|+|marking(IsEndLoop_4_1_1)|+|marking(IsEndLoop_4_4_5)|+|marking(IsEndLoop_3_0_1)|+|marking(IsEndLoop_2_3_3)|+|marking(IsEndLoop_0_2_0)|+|marking(IsEndLoop_2_2_4)|+|marking(IsEndLoop_2_0_1)|+|marking(IsEndLoop_0_1_3)|+|marking(IsEndLoop_2_4_5)|+|marking(IsEndLoop_4_0_0)|+|marking(IsEndLoop_3_2_5)|+|marking(IsEndLoop_3_4_1)|+|marking(IsEndLoop_1_0_4)|+|marking(IsEndLoop_1_3_2)|+|marking(IsEndLoop_2_4_2)|+|marking(IsEndLoop_0_3_3)|+|marking(IsEndLoop_4_2_1)|+|marking(IsEndLoop_5_4_1)|+|marking(IsEndLoop_3_1_2)|+|marking(IsEndLoop_0_0_0)|+|marking(IsEndLoop_3_0_0)|+|marking(IsEndLoop_5_0_1)|+|marking(IsEndLoop_1_4_3)|+|marking(IsEndLoop_5_0_4)|+|marking(IsEndLoop_5_3_1)|+|marking(IsEndLoop_5_1_2)|+|marking(IsEndLoop_2_0_3)|+|marking(IsEndLoop_3_4_5)|+|marking(IsEndLoop_4_0_2)|+|marking(IsEndLoop_3_3_3)|+|marking(IsEndLoop_4_0_4)|+|marking(IsEndLoop_1_4_5)|+|marking(IsEndLoop_4_3_3)|+|marking(IsEndLoop_5_2_4)|+|marking(IsEndLoop_4_3_4)|+|marking(IsEndLoop_2_4_4)|+|marking(IsEndLoop_2_3_4)|+|marking(IsEndLoop_2_1_3)|+|marking(IsEndLoop_4_4_1)|+|marking(IsEndLoop_0_3_2)|+|marking(IsEndLoop_1_3_0)|+|marking(IsEndLoop_1_2_1)|+|marking(IsEndLoop_2_2_2)|+|marking(IsEndLoop_4_3_2)|+|marking(IsEndLoop_4_1_4)|+|marking(IsEndLoop_3_0_2)|+|marking(IsEndLoop_5_0_5)|+|marking(IsEndLoop_0_2_1)|+|marking(IsEndLoop_1_0_2)|+|marking(IsEndLoop_5_0_0)|+|marking(IsEndLoop_3_1_3)|+|marking(IsEndLoop_3_3_0)|+|marking(IsEndLoop_3_1_5)|+|marking(IsEndLoop_2_0_0)|+|marking(IsEndLoop_0_3_1)|+|marking(IsEndLoop_3_0_5)|+|marking(IsEndLoop_5_3_4)|+|marking(IsEndLoop_4_4_2)|+|marking(IsEndLoop_0_3_5)|+|marking(IsEndLoop_0_2_3)|+|marking(IsEndLoop_1_4_1)|+|marking(IsEndLoop_5_1_0)|)) & (ContinueLoop_4_2_0? | ContinueLoop_4_5_3? | ContinueLoop_5_2_3? | ContinueLoop_3_1_3? | ContinueLoop_3_5_1? | ContinueLoop_2_4_1? | ContinueLoop_4_4_1? | ContinueLoop_2_2_1? | ContinueLoop_3_2_4? | ContinueLoop_3_0_4? | ContinueLoop_2_3_4? | ContinueLoop_4_4_4? | ContinueLoop_2_3_0? | ContinueLoop_1_4_1? | ContinueLoop_5_0_4? | ContinueLoop_4_0_3? | ContinueLoop_2_5_0? | ContinueLoop_1_0_0? | ContinueLoop_1_2_2? | ContinueLoop_2_5_4? | ContinueLoop_0_1_2? | ContinueLoop_4_3_4? | ContinueLoop_1_5_3? | ContinueLoop_1_5_2? | ContinueLoop_4_1_3? | ContinueLoop_2_1_3? | ContinueLoop_0_3_0? | ContinueLoop_5_1_1? | ContinueLoop_5_4_4? | ContinueLoop_0_0_4? | ContinueLoop_0_0_0? | ContinueLoop_5_3_0? | ContinueLoop_1_2_1? | ContinueLoop_1_2_3? | ContinueLoop_5_1_0? | ContinueLoop_2_4_0? | ContinueLoop_2_4_4? | ContinueLoop_3_4_0? | ContinueLoop_0_4_0? | ContinueLoop_2_0_3? | ContinueLoop_3_0_2? | ContinueLoop_5_0_2? | ContinueLoop_5_3_2? | ContinueLoop_3_0_3? | ContinueLoop_4_3_3? | ContinueLoop_3_3_0? | ContinueLoop_2_1_0? | ContinueLoop_4_2_2? | ContinueLoop_2_1_1? | ContinueLoop_0_4_3? | ContinueLoop_1_4_2? | ContinueLoop_1_3_2? | ContinueLoop_3_1_1? | ContinueLoop_4_3_2? | ContinueLoop_1_1_2? | ContinueLoop_1_0_3? | ContinueLoop_4_1_4? | ContinueLoop_4_2_4? | ContinueLoop_5_3_4? | ContinueLoop_5_1_3? | ContinueLoop_0_3_2? | ContinueLoop_1_3_4? | ContinueLoop_0_5_1? | ContinueLoop_2_0_0? | ContinueLoop_3_5_4? | ContinueLoop_2_3_1? | ContinueLoop_4_5_4? | ContinueLoop_1_0_1? | ContinueLoop_4_1_1? | ContinueLoop_1_0_2? | ContinueLoop_1_5_4? | ContinueLoop_0_3_4? | ContinueLoop_4_2_3? | ContinueLoop_1_0_4? | ContinueLoop_5_0_3? | ContinueLoop_4_4_0? | ContinueLoop_5_1_2? | ContinueLoop_0_4_1? | ContinueLoop_2_5_2? | ContinueLoop_2_4_2? | ContinueLoop_0_5_2? | ContinueLoop_0_5_0? | ContinueLoop_5_3_1? | ContinueLoop_5_5_0? | ContinueLoop_5_5_3? | ContinueLoop_1_1_1? | ContinueLoop_5_2_4? | ContinueLoop_0_0_3? | ContinueLoop_0_3_1? | ContinueLoop_1_3_0? | ContinueLoop_5_4_1? | ContinueLoop_1_4_0? | ContinueLoop_2_0_4? | ContinueLoop_3_4_3? | ContinueLoop_3_4_1? | ContinueLoop_5_4_2? | ContinueLoop_2_2_2? | ContinueLoop_5_2_2? | ContinueLoop_0_0_1? | ContinueLoop_1_2_4? | ContinueLoop_4_1_0? | ContinueLoop_4_0_0? | ContinueLoop_5_0_0? | ContinueLoop_5_4_0? | ContinueLoop_3_1_0? | ContinueLoop_5_0_1? | ContinueLoop_3_3_4? | ContinueLoop_3_0_1? | ContinueLoop_2_4_3? | ContinueLoop_4_5_2? | ContinueLoop_1_5_1? | ContinueLoop_5_5_2? | ContinueLoop_5_5_4? | ContinueLoop_3_0_0? | ContinueLoop_4_5_1? | ContinueLoop_0_5_3? | ContinueLoop_4_4_3? | ContinueLoop_3_1_2? | ContinueLoop_4_5_0? | ContinueLoop_2_3_3? | ContinueLoop_3_5_3? | ContinueLoop_2_1_2? | ContinueLoop_0_2_3? | ContinueLoop_2_2_4? | ContinueLoop_5_2_0? | ContinueLoop_2_0_1? | ContinueLoop_0_0_2? | ContinueLoop_3_2_0? | ContinueLoop_5_3_3? | ContinueLoop_3_2_2? | ContinueLoop_2_5_3? | ContinueLoop_0_2_1? | ContinueLoop_0_2_4? | ContinueLoop_0_4_2? | ContinueLoop_0_3_3? | ContinueLoop_2_1_4? | ContinueLoop_0_1_0? | ContinueLoop_3_5_2? | ContinueLoop_0_4_4? | ContinueLoop_3_4_2? | ContinueLoop_3_3_1? | ContinueLoop_4_0_2? | ContinueLoop_4_1_2? | ContinueLoop_4_2_1? | ContinueLoop_4_0_4? | ContinueLoop_1_4_3? | ContinueLoop_0_2_0? | ContinueLoop_5_4_3? | ContinueLoop_2_2_3? | ContinueLoop_0_5_4? | ContinueLoop_1_1_4? | ContinueLoop_0_1_1? | ContinueLoop_1_5_0? | ContinueLoop_0_1_3? | ContinueLoop_4_3_1? | ContinueLoop_0_1_4? | ContinueLoop_1_4_4? | ContinueLoop_1_3_1? | ContinueLoop_1_3_3? | ContinueLoop_1_1_3? | ContinueLoop_3_1_4? | ContinueLoop_4_3_0? | ContinueLoop_4_4_2? | ContinueLoop_5_1_4? | ContinueLoop_2_3_2? | ContinueLoop_3_3_3? | ContinueLoop_3_2_3? | ContinueLoop_5_5_1? | ContinueLoop_2_0_2? | ContinueLoop_2_5_1? | ContinueLoop_3_4_4? | ContinueLoop_5_2_1? | ContinueLoop_3_5_0? | ContinueLoop_2_2_0? | ContinueLoop_1_2_0? | ContinueLoop_4_0_1? | ContinueLoop_3_3_2? | ContinueLoop_1_1_0? | ContinueLoop_0_2_2? | ContinueLoop_3_2_1?))
--------------------
content from /tmp/BenchKit_head_log_file.1659: