state transitions cluster__P P cluster__P_orthogonal_tester orthogonal_tester cluster__P_orthogonal orthogonal cluster__P_orthogonal_wrapper wrapper cluster__P_orthogonal_wrapper_state_2 state_2 cluster__P_orthogonal_wrapper_state_1 state_1 __initial __initial->_P _P_orthogonal_tester_initial _P_orthogonal_tester_start start _P_orthogonal_tester_initial->_P_orthogonal_tester_start _P_orthogonal_tester_end end _P_orthogonal_tester_step3 step3 _P_orthogonal_tester_step3->_P_orthogonal_tester_end [INSTATE(["/P/orthogonal/wrapper/state_2/inner_4","/P/orthogonal/wrapper/state_1/inner_2"])]^out.check3    _P_orthogonal_tester_step2 step2 _P_orthogonal_tester_step2->_P_orthogonal_tester_step3 [INSTATE(["/P/orthogonal/outer"])]^out.check2 ^to_history    _P_orthogonal_tester_step1 step1 _P_orthogonal_tester_step1->_P_orthogonal_tester_step2 [INSTATE(["/P/orthogonal/wrapper/state_2/inner_4","/P/orthogonal/wrapper/state_1/inner_2"])]^out.check1 ^to_outer    _P_orthogonal_tester_start->_P_orthogonal_tester_step1 ^to_inner_2 ^to_inner_4    _P_orthogonal_initial _P_orthogonal_initial->_P_orthogonal_wrapper _P_orthogonal_outer outer _P_orthogonal_wrapper_history H* _P_orthogonal_outer->_P_orthogonal_wrapper_history to_history    _P_orthogonal_wrapper->_P_orthogonal_outer to_outer    _P_orthogonal_wrapper_state_2_initial _P_orthogonal_wrapper_state_2_inner_3 inner_3 _P_orthogonal_wrapper_state_2_initial->_P_orthogonal_wrapper_state_2_inner_3 _P_orthogonal_wrapper_state_2_inner_4 inner_4 _P_orthogonal_wrapper_state_2_inner_3->_P_orthogonal_wrapper_state_2_inner_4 to_inner_4    _P_orthogonal_wrapper_state_1_initial _P_orthogonal_wrapper_state_1_inner_1 inner_1 _P_orthogonal_wrapper_state_1_initial->_P_orthogonal_wrapper_state_1_inner_1 _P_orthogonal_wrapper_state_1_inner_2 inner_2 _P_orthogonal_wrapper_state_1_inner_1->_P_orthogonal_wrapper_state_1_inner_2 to_inner_2