TSTP Solution File: MGT067+1 by nanoCoP---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : nanoCoP---2.0
% Problem : MGT067+1 : TPTP v8.1.2. Released v5.5.0.
% Transfm : none
% Format : tptp:raw
% Command : nanocop.sh %s %d
% Computer : n031.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Fri May 19 11:35:45 EDT 2023
% Result : Theorem 1.44s 2.42s
% Output : Proof 1.44s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.01/0.12 % Problem : MGT067+1 : TPTP v8.1.2. Released v5.5.0.
% 0.12/0.13 % Command : nanocop.sh %s %d
% 0.13/0.34 % Computer : n031.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 300
% 0.13/0.34 % DateTime : Fri May 19 00:04:10 EDT 2023
% 0.13/0.34 % CPUTime :
% 1.44/2.42
% 1.44/2.42 /export/starexec/sandbox/benchmark/theBenchmark.p is a Theorem
% 1.44/2.42 Start of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
% 1.44/2.42 %-----------------------------------------------------
% 1.44/2.42 ncf(matrix, plain, [(968 ^ _253886) ^ [_286730, _286732, _286734, _286736, _286738, _286740, _286742, _286744, _286746] : [-(ssRequisition(_286738, _286736, _286734, _286746, ssINF, _286742, _286740, _286732, _286730))], (970 ^ _253886) ^ [_286796, _286798, _286800, _286802, _286804, _286806, _286808, _286810, _286812] : [ssRequisitionCreated(ssMUELLER, _286804, _286802, _286800, ssINF, _286810, _286808, _286806, _286798, _286796)], (2 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED, authObj(ssS_TCODE, ssTCD, ssME51N))))], (4 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED, authObj(ssS_TCODE, ssTCD, ssME52N))))], (6 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED, authObj(ssS_TCODE, ssTCD, ssME53N))))], (8 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED, authObj(ssM_BANF_WRK, ssACTVT, np__1))))], (10 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED, authObj(ssM_BANF_WRK, ssACTVT, np__2))))], (12 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED, authObj(ssM_BANF_WRK, ssACTVT, np__3))))], (14 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED, authObj(ssM_BANF_WRK, ssWERKS, ssADSU))))], (16 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED, authObj(ssM_BANF_BSA, ssACTVT, ssSTAR))))], (18 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED, authObj(ssM_BANF_BSA, ssBSART, ssSTAR))))], (20 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED, authObj(ssM_BANF_EKG, ssACTVT, ssSTAR))))], (22 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED, authObj(ssM_BANF_EKG, ssEKGRP, ssI26))))], (24 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssS_TCODE, ssTCD, ssME51N))))], (26 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_WRK, ssACTVT, np__1))))], (28 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_WRK, ssACTVT, np__2))))], (30 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_WRK, ssACTVT, np__3))))], (32 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_WRK, ssWERKS, ssINF))))], (34 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_BSA, ssACTVT, ssSTAR))))], (36 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_BSA, ssBSART, ssSTAR))))], (38 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_EKG, ssACTVT, ssSTAR))))], (40 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_EKG, ssEKGRP, ssI26))))], (42 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE, authObj(ssS_TCODE, ssTCD, ssME53N))))], (44 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE, authObj(ssS_TCODE, ssTCD, ssME54N))))], (46 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE, authObj(ssM_BANF_BSA, ssACTVT, np__2))))], (48 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE, authObj(ssM_BANF_BSA, ssACTVT, np__3))))], (50 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE, authObj(ssM_BANF_BSA, ssACTVT, np__8))))], (52 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE, authObj(ssM_BANF_BSA, ssBSART, ssNB))))], (54 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE, authObj(ssM_BANF_EKG, ssACTVT, np__2))))], (56 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE, authObj(ssM_BANF_EKG, ssACTVT, np__3))))], (58 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE, authObj(ssM_BANF_EKG, ssACTVT, np__8))))], (60 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE, authObj(ssM_BANF_EKG, ssEKGRP, ssI26))))], (62 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE, authObj(ssM_BANF_WRK, ssACTVT, np__2))))], (64 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE, authObj(ssM_BANF_WRK, ssACTVT, np__3))))], (66 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE, authObj(ssM_BANF_WRK, ssACTVT, np__8))))], (68 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE, authObj(ssM_BANF_WRK, ssWERKS, ssINF))))], (70 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_W1, authObj(ssM_EINK_FRG, ssFRGCO, ssW1))))], (72 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_W1, authObj(ssM_EINK_FRG, ssFRGGR, ssRGRP_01))))], (74 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_W2, authObj(ssM_EINK_FRG, ssFRGCO, ssW2))))], (76 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_W2, authObj(ssM_EINK_FRG, ssFRGGR, ssRGRP_01))))], (78 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssS_TCODE, ssTCD, ssME21N))))], (80 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssS_TCODE, ssTCD, ssME22N))))], (82 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssS_TCODE, ssTCD, ssME23N))))], (84 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_EKO, ssACTVT, np__1))))], (86 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_EKO, ssACTVT, np__2))))], (88 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_EKO, ssACTVT, np__3))))], (90 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_EKO, ssACTVT, np__8))))], (92 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_EKO, ssACTVT, np__9))))], (94 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_EKO, ssEKORG, ssINF))))], (96 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_BSA, ssACTVT, np__1))))], (98 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_BSA, ssACTVT, np__2))))], (100 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_BSA, ssACTVT, np__3))))], (102 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_BSA, ssACTVT, np__8))))], (104 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_BSA, ssACTVT, np__9))))], (106 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BANF_BSA, ssACTVT, np__1))))], (108 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_WRK, ssACTVT, np__1))))], (110 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_WRK, ssACTVT, np__2))))], (112 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_WRK, ssACTVT, np__3))))], (114 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_WRK, ssACTVT, np__8))))], (116 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_WRK, ssACTVT, np__9))))], (118 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_WRK, ssWERKS, ssINF))))], (120 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_EKG, ssACTVT, np__1))))], (122 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_EKG, ssACTVT, np__2))))], (124 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_EKG, ssACTVT, np__3))))], (126 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_EKG, ssACTVT, np__8))))], (128 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_EKG, ssACTVT, np__9))))], (130 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE, authObj(ssM_BEST_EKG, ssEKGRP, ssI26))))], (132 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_OFFICE, authObj(ssS_TCODE, ssTCD, ssME21NOFF))))], (134 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_OFFICE, authObj(ssM_EINK_MKL, ssMATKL, ssB0002))))], (136 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_OFFICE, authObj(ssM_EINK_GWT, ssGSWRT, ssLESS_EQUAL_1000_EUR))))], (138 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_OFFICE, authObj(ssM_BEST_BSA, ssBSART, ssDIRECT))))], (140 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_OFFICE, authObj(ssM_BANF_BSA, ssBSART, ssDIRECT))))], (142 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_ALL, authObj(ssM_EINK_MKL, ssMATKL, ssSTAR))))], (144 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_ALL, authObj(ssM_EINK_GWT, ssGSWRT, ssSTAR))))], (146 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_ALL, authObj(ssM_BEST_BSA, ssBSART, ssSTAR))))], (148 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_ALL, authObj(ssM_BANF_BSA, ssBSART, ssSTAR))))], (150 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssS_TCODE, ssTCD, ssME21N))))], (152 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_EKO, ssACTVT, np__1))))], (154 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_EKO, ssACTVT, np__2))))], (156 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_EKO, ssACTVT, np__3))))], (158 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_EKO, ssACTVT, np__8))))], (160 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_EKO, ssACTVT, np__9))))], (162 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_EKO, ssEKORG, ssADSU))))], (164 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_BSA, ssACTVT, np__1))))], (166 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_BSA, ssACTVT, np__2))))], (168 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_BSA, ssACTVT, np__3))))], (170 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_BSA, ssACTVT, np__8))))], (172 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_BSA, ssACTVT, np__9))))], (174 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_BSA, ssBSART, ssNB))))], (176 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BANF_BSA, ssACTVT, np__1))))], (178 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BANF_BSA, ssBSART, ssNB))))], (180 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_WRK, ssACTVT, np__1))))], (182 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_WRK, ssACTVT, np__2))))], (184 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_WRK, ssACTVT, np__3))))], (186 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_WRK, ssACTVT, np__8))))], (188 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_WRK, ssACTVT, np__9))))], (190 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_WRK, ssWERKS, ssADSU))))], (192 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_EKG, ssACTVT, np__1))))], (194 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_EKG, ssACTVT, np__2))))], (196 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_EKG, ssACTVT, np__3))))], (198 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_EKG, ssACTVT, np__8))))], (200 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_EKG, ssACTVT, np__9))))], (202 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_BEST_EKG, ssEKGRP, ssI26))))], (204 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_EINK_MKL, ssMATKL, ssSTAR))))], (206 ^ _253886) ^ [] : [-(ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED, authObj(ssM_EINK_GWT, ssGSWRT, ssSTAR))))], (208 ^ _253886) ^ [] : [-(ssCompositeRole(compositeRoleEntry(ssZRELEASE_WRK_INF_W1_MULTI, ssZRELEASE_WRK_INF_BASE)))], (210 ^ _253886) ^ [] : [-(ssCompositeRole(compositeRoleEntry(ssZRELEASE_WRK_INF_W1_MULTI, ssZRELEASE_WRK_INF_W1)))], (212 ^ _253886) ^ [] : [-(ssCompositeRole(compositeRoleEntry(ssZRELEASE_WRK_INF_W2_MULTI, ssZRELEASE_WRK_INF_BASE)))], (214 ^ _253886) ^ [] : [-(ssCompositeRole(compositeRoleEntry(ssZRELEASE_WRK_INF_W2_MULTI, ssZRELEASE_WRK_INF_W2)))], (216 ^ _253886) ^ [] : [-(ssCompositeRole(compositeRoleEntry(ssZORDER_WRK_INF_ALL, ssZORDER_WRK_INF_BASE)))], (218 ^ _253886) ^ [] : [-(ssCompositeRole(compositeRoleEntry(ssZORDER_WRK_INF_ALL, ssZORDER_WRK_INF_TYPE_ALL)))], (220 ^ _253886) ^ [] : [-(ssCompositeRole(compositeRoleEntry(ssZORDER_WRK_INF_OFFICE, ssZORDER_WRK_INF_BASE)))], (222 ^ _253886) ^ [] : [-(ssCompositeRole(compositeRoleEntry(ssZORDER_WRK_INF_OFFICE, ssZORDER_WRK_INF_TYPE_OFFICE)))], (224 ^ _253886) ^ [] : [-(ssHolds(ssKAISER, ssZRELEASE_WRK_INF_W1_MULTI))], (226 ^ _253886) ^ [] : [-(ssHolds(ssMEIER, ssZRELEASE_WRK_INF_W2_MULTI))], (228 ^ _253886) ^ [] : [-(ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED))], (230 ^ _253886) ^ [] : [-(ssHolds(ssSCHMITT, ssZORDER_WRK_INF_ALL))], (232 ^ _253886) ^ [] : [-(ssHolds(ssLAMOTTE, ssZORDER_WRK_INF_OFFICE))], (234 ^ _253886) ^ [] : [-(ssDirectPurchase(ssDIRECT))], (236 ^ _253886) ^ [] : [-(ssStandardPurchase(ssNB))], (238 ^ _253886) ^ [_260239] : [ssDirectPurchase(_260239), ssStandardPurchase(_260239)], (244 ^ _253886) ^ [] : [-(ssReleaseRequirement(ssKF, ssRGRP_01, ssW1))], (246 ^ _253886) ^ [] : [-(ssReleaseRequirement(ssVF, ssRGRP_01, ssW1))], (248 ^ _253886) ^ [] : [-(ssReleaseRequirement(ssVF, ssRGRP_01, ssW2))], (250 ^ _253886) ^ [] : [-(ssReleaseStrategy(ssKF, ssRGRP_01, class(ssFRG_EBAN, property(ssFRG_CEBAN_EKGRP, ssI26))))], (252 ^ _253886) ^ [] : [-(ssReleaseStrategy(ssKF, ssRGRP_01, class(ssFRG_EBAN, property(ssFRG_CEBAN_WERKS, ssINF))))], (254 ^ _253886) ^ [] : [-(ssReleaseStrategy(ssKF, ssRGRP_01, class(ssFRG_EBAN, property(ssFRG_CEBAN_GSWRT, ssGREATER_1000_LESS_10000_EUR))))], (256 ^ _253886) ^ [] : [-(ssReleaseStrategy(ssVF, ssRGRP_01, class(ssFRG_EBAN, property(ssFRG_CEBAN_EKGRP, ssI26))))], (258 ^ _253886) ^ [] : [-(ssReleaseStrategy(ssVF, ssRGRP_01, class(ssFRG_EBAN, property(ssFRG_CEBAN_WERKS, ssINF))))], (260 ^ _253886) ^ [] : [-(ssReleaseStrategy(ssVF, ssRGRP_01, class(ssFRG_EBAN, property(ssFRG_CEBAN_GSWRT, ssGREATER_10000_EUR))))], (262 ^ _253886) ^ [_260915, _260917] : [ssReleaseStrategy(_260917, _260915, class(ssFRG_EBAN, property(ssFRG_CEBAN_WERKS, ssINF))), 265 ^ _253886 : [(266 ^ _253886) ^ [] : [ssReleaseStrategy(_260917, _260915, class(ssFRG_EBAN, property(ssFRG_CEBAN_WERKS, ssADSU)))], (268 ^ _253886) ^ [] : [ssReleaseStrategy(_260917, _260915, class(ssFRG_EBAN, property(ssFRG_CEBAN_WERKS, ssGRSU)))]]], (270 ^ _253886) ^ [_261208, _261210] : [ssReleaseStrategy(_261210, _261208, class(ssFRG_EBAN, property(ssFRG_CEBAN_WERKS, ssGRSU))), 273 ^ _253886 : [(274 ^ _253886) ^ [] : [ssReleaseStrategy(_261210, _261208, class(ssFRG_EBAN, property(ssFRG_CEBAN_WERKS, ssADSU)))], (276 ^ _253886) ^ [] : [ssReleaseStrategy(_261210, _261208, class(ssFRG_EBAN, property(ssFRG_CEBAN_WERKS, ssINF)))]]], (278 ^ _253886) ^ [_261501, _261503] : [ssReleaseStrategy(_261503, _261501, class(ssFRG_EBAN, property(ssFRG_CEBAN_WERKS, ssADSU))), 281 ^ _253886 : [(282 ^ _253886) ^ [] : [ssReleaseStrategy(_261503, _261501, class(ssFRG_EBAN, property(ssFRG_CEBAN_WERKS, ssINF)))], (284 ^ _253886) ^ [] : [ssReleaseStrategy(_261503, _261501, class(ssFRG_EBAN, property(ssFRG_CEBAN_WERKS, ssGRSU)))]]], (286 ^ _253886) ^ [_261794, _261796] : [ssReleaseStrategy(_261796, _261794, class(ssFRG_EBAN, property(ssFRG_CEBAN_GSWRT, ssGREATER_1000_LESS_10000_EUR))), 289 ^ _253886 : [(290 ^ _253886) ^ [] : [ssReleaseStrategy(_261796, _261794, class(ssFRG_EBAN, property(ssFRG_CEBAN_GSWRT, ssGREATER_10000_EUR)))], (292 ^ _253886) ^ [] : [ssReleaseStrategy(_261796, _261794, class(ssFRG_EBAN, property(ssFRG_CEBAN_GSWRT, ssLESS_EQUAL_1000_EUR)))]]], (294 ^ _253886) ^ [_262087, _262089] : [ssReleaseStrategy(_262089, _262087, class(ssFRG_EBAN, property(ssFRG_CEBAN_GSWRT, ssGREATER_10000_EUR))), 297 ^ _253886 : [(298 ^ _253886) ^ [] : [ssReleaseStrategy(_262089, _262087, class(ssFRG_EBAN, property(ssFRG_CEBAN_GSWRT, ssGREATER_1000_LESS_10000_EUR)))], (300 ^ _253886) ^ [] : [ssReleaseStrategy(_262089, _262087, class(ssFRG_EBAN, property(ssFRG_CEBAN_GSWRT, ssLESS_EQUAL_1000_EUR)))]]], (302 ^ _253886) ^ [_262380, _262382] : [ssReleaseStrategy(_262382, _262380, class(ssFRG_EBAN, property(ssFRG_CEBAN_GSWRT, ssLESS_EQUAL_1000_EUR))), 305 ^ _253886 : [(306 ^ _253886) ^ [] : [ssReleaseStrategy(_262382, _262380, class(ssFRG_EBAN, property(ssFRG_CEBAN_GSWRT, ssGREATER_1000_LESS_10000_EUR)))], (308 ^ _253886) ^ [] : [ssReleaseStrategy(_262382, _262380, class(ssFRG_EBAN, property(ssFRG_CEBAN_GSWRT, ssGREATER_10000_EUR)))]]], (310 ^ _253886) ^ [_262673, _262675] : [ssReleaseStrategy(_262675, _262673, class(ssFRG_EBAN, property(ssFRG_CEBAN_EKGRP, ssI26))), ssReleaseStrategy(_262675, _262673, class(ssFRG_EBAN, property(ssFRG_CEBAN_EKGRP, ssI27)))], (316 ^ _253886) ^ [_262888, _262890] : [ssReleaseStrategy(_262890, _262888, class(ssFRG_EBAN, property(ssFRG_CEBAN_EKGRP, ssI27))), ssReleaseStrategy(_262890, _262888, class(ssFRG_EBAN, property(ssFRG_CEBAN_EKGRP, ssI26)))], (322 ^ _253886) ^ [_263131, _263133, _263135, _263137] : [ssUserProfile(userProfileEntry(_263137, authObj(_263135, _263133, _263131))), -(ssAccess(_263137, authObj(_263135, _263133, _263131)))], (328 ^ _253886) ^ [_263401, _263403, _263405, _263407] : [ssUserProfile(userProfileEntry(_263407, authObj(_263405, _263403, ssSTAR))), -(ssAccess(_263407, authObj(_263405, _263403, _263401)))], (334 ^ _253886) ^ [_263657, _263659, _263661] : [335 ^ _253886 : [(336 ^ _253886) ^ [] : [ssUserProfile(userProfileEntry(_263661, authObj(_263659, _263657, ssGREATER_1000_LESS_10000_EUR)))], (338 ^ _253886) ^ [] : [ssUserProfile(userProfileEntry(_263661, authObj(_263659, _263657, ssGREATER_10000_EUR)))]], -(ssAccess(_263661, authObj(_263659, _263657, ssLESS_EQUAL_1000_EUR)))], (342 ^ _253886) ^ [_263995, _263997, _263999] : [ssUserProfile(userProfileEntry(_263999, authObj(_263997, _263995, ssGREATER_10000_EUR))), -(ssAccess(_263999, authObj(_263997, _263995, ssGREATER_1000_LESS_10000_EUR)))], (348 ^ _253886) ^ [_264301, _264303, _264305, _264307, _264309, _264311, _264313] : [-(ssUserProfile(userProfileEntry(_264313, authObj(_264305, _264303, _264301)))), 349 ^ _253886 : [(350 ^ _253886) ^ [] : [ssProfile(profileEntry(_264311, authObj(_264305, _264303, _264301))), ssHolds(_264313, _264311)], (356 ^ _253886) ^ [] : [ssSingleRole(singleRoleEntry(_264309, authObj(_264305, _264303, _264301))), ssHolds(_264313, _264309)], (362 ^ _253886) ^ [] : [ssCompositeRole(compositeRoleEntry(_264307, _264309)), ssSingleRole(singleRoleEntry(_264309, authObj(_264305, _264303, _264301))), ssHolds(_264313, _264307)]]], (374 ^ _253886) ^ [_265224, _265226, _265228, _265230] : [-(ssAccess(_265230, ssME51N)), ssAccess(_265230, authObj(ssS_TCODE, ssTCD, ssME51N)), ssAccess(_265230, authObj(ssM_BANF_WRK, ssACTVT, np__1)), ssAccess(_265230, authObj(ssM_BANF_WRK, ssWERKS, _265228)), ssAccess(_265230, authObj(ssM_BANF_BSA, ssACTVT, np__1)), ssAccess(_265230, authObj(ssM_BANF_BSA, ssBSART, _265226)), ssAccess(_265230, authObj(ssM_BANF_EKG, ssACTVT, np__1)), ssAccess(_265230, authObj(ssM_BANF_EKG, ssEKGRP, _265224))], (404 ^ _253886) ^ [_266080, _266082, _266084, _266086] : [-(ssAccess(_266086, ssME52N)), ssAccess(_266086, authObj(ssS_TCODE, ssTCD, ssME52N)), ssAccess(_266086, authObj(ssM_BANF_WRK, ssACTVT, np__2)), ssAccess(_266086, authObj(ssM_BANF_WRK, ssWERKS, _266084)), ssAccess(_266086, authObj(ssM_BANF_BSA, ssACTVT, np__2)), ssAccess(_266086, authObj(ssM_BANF_BSA, ssACTVT, np__8)), ssAccess(_266086, authObj(ssM_BANF_BSA, ssBSART, _266082)), ssAccess(_266086, authObj(ssM_BANF_EKG, ssACTVT, np__2)), ssAccess(_266086, authObj(ssM_BANF_EKG, ssEKGRP, _266080))], (438 ^ _253886) ^ [_267033, _267035, _267037, _267039] : [-(ssAccess(_267039, ssME53N)), ssAccess(_267039, authObj(ssS_TCODE, ssTCD, ssME53N)), ssAccess(_267039, authObj(ssM_BANF_WRK, ssACTVT, np__3)), ssAccess(_267039, authObj(ssM_BANF_WRK, ssWERKS, _267037)), ssAccess(_267039, authObj(ssM_BANF_BSA, ssACTVT, np__3)), ssAccess(_267039, authObj(ssM_BANF_BSA, ssACTVT, np__8)), ssAccess(_267039, authObj(ssM_BANF_BSA, ssBSART, _267035)), ssAccess(_267039, authObj(ssM_BANF_EKG, ssACTVT, np__3)), ssAccess(_267039, authObj(ssM_BANF_EKG, ssEKGRP, _267033))], (472 ^ _253886) ^ [_268014, _268016, _268018, _268020, _268022, _268024] : [-(ssAccess(_268024, ssME54N)), ssAccess(_268024, authObj(ssS_TCODE, ssTCD, ssME54N)), ssAccess(_268024, ssME53N), ssAccess(_268024, authObj(ssM_BANF_WRK, ssWERKS, _268022)), ssAccess(_268024, authObj(ssM_BANF_BSA, ssBSART, _268020)), ssAccess(_268024, authObj(ssM_BANF_EKG, ssEKGRP, _268018)), ssAccess(_268024, authObj(ssM_EINK_FRG, ssFRGGR, _268016)), ssAccess(_268024, authObj(ssM_EINK_FRG, ssFRGCO, _268014)), ssAccess(_268024, authObj(ssM_BANF_WRK, ssACTVT, np__2)), ssAccess(_268024, authObj(ssM_BANF_BSA, ssACTVT, np__2)), ssAccess(_268024, authObj(ssM_BANF_BSA, ssACTVT, np__8)), ssAccess(_268024, authObj(ssM_BANF_EKG, ssACTVT, np__2))], (518 ^ _253886) ^ [_269380, _269382, _269384, _269386, _269388] : [-(ssAccess(_269388, ssME21N)), ssAccess(_269388, authObj(ssS_TCODE, ssTCD, ssME21N)), ssAccess(_269388, authObj(ssM_BEST_EKO, ssACTVT, np__1)), ssAccess(_269388, authObj(ssM_BEST_EKO, ssACTVT, np__9)), ssAccess(_269388, authObj(ssM_BEST_EKO, ssEKORG, _269380)), ssAccess(_269388, authObj(ssM_BEST_BSA, ssACTVT, np__1)), ssAccess(_269388, authObj(ssM_BEST_BSA, ssACTVT, np__9)), ssAccess(_269388, authObj(ssM_BEST_BSA, ssBSART, _269384)), ssAccess(_269388, authObj(ssM_BANF_BSA, ssACTVT, np__1)), ssAccess(_269388, authObj(ssM_BANF_BSA, ssBSART, _269384)), ssAccess(_269388, authObj(ssM_BEST_WRK, ssACTVT, np__1)), ssAccess(_269388, authObj(ssM_BEST_WRK, ssACTVT, np__8)), ssAccess(_269388, authObj(ssM_BEST_WRK, ssACTVT, np__9)), ssAccess(_269388, authObj(ssM_BEST_WRK, ssWERKS, _269386)), ssAccess(_269388, authObj(ssM_BEST_EKG, ssACTVT, np__1)), ssAccess(_269388, authObj(ssM_BEST_EKG, ssACTVT, np__9)), ssAccess(_269388, authObj(ssM_BEST_EKG, ssEKGRP, _269382))], (584 ^ _253886) ^ [_271205, _271207, _271209, _271211, _271213] : [-(ssAccess(_271213, ssME22N)), ssAccess(_271213, authObj(ssS_TCODE, ssTCD, ssME22N)), ssAccess(_271213, authObj(ssM_BEST_EKO, ssACTVT, np__2)), ssAccess(_271213, authObj(ssM_BEST_EKO, ssACTVT, np__8)), ssAccess(_271213, authObj(ssM_BEST_EKO, ssACTVT, np__9)), ssAccess(_271213, authObj(ssM_BEST_EKO, ssEKORG, _271205)), ssAccess(_271213, authObj(ssM_BEST_BSA, ssACTVT, np__2)), ssAccess(_271213, authObj(ssM_BEST_BSA, ssACTVT, np__8)), ssAccess(_271213, authObj(ssM_BEST_BSA, ssACTVT, np__9)), ssAccess(_271213, authObj(ssM_BEST_BSA, ssBSART, _271209)), ssAccess(_271213, authObj(ssM_BANF_BSA, ssACTVT, np__1)), ssAccess(_271213, authObj(ssM_BANF_BSA, ssBSART, _271209)), ssAccess(_271213, authObj(ssM_BEST_WRK, ssACTVT, np__2)), ssAccess(_271213, authObj(ssM_BEST_WRK, ssACTVT, np__8)), ssAccess(_271213, authObj(ssM_BEST_WRK, ssACTVT, np__9)), ssAccess(_271213, authObj(ssM_BEST_WRK, ssWERKS, _271211)), ssAccess(_271213, authObj(ssM_BEST_EKG, ssACTVT, np__2)), ssAccess(_271213, authObj(ssM_BEST_EKG, ssACTVT, np__8)), ssAccess(_271213, authObj(ssM_BEST_EKG, ssACTVT, np__9)), ssAccess(_271213, authObj(ssM_BEST_EKG, ssEKGRP, _271207))], (662 ^ _253886) ^ [_273333, _273335, _273337, _273339, _273341] : [-(ssAccess(_273341, ssME23N)), ssAccess(_273341, authObj(ssS_TCODE, ssTCD, ssME23N)), ssAccess(_273341, authObj(ssM_BEST_EKO, ssACTVT, np__3)), ssAccess(_273341, authObj(ssM_BEST_EKO, ssACTVT, np__8)), ssAccess(_273341, authObj(ssM_BEST_EKO, ssACTVT, np__9)), ssAccess(_273341, authObj(ssM_BEST_EKO, ssEKORG, _273333)), ssAccess(_273341, authObj(ssM_BEST_BSA, ssACTVT, np__3)), ssAccess(_273341, authObj(ssM_BEST_BSA, ssACTVT, np__8)), ssAccess(_273341, authObj(ssM_BEST_BSA, ssACTVT, np__9)), ssAccess(_273341, authObj(ssM_BEST_BSA, ssBSART, _273337)), ssAccess(_273341, authObj(ssM_BANF_BSA, ssACTVT, np__1)), ssAccess(_273341, authObj(ssM_BANF_BSA, ssBSART, _273337)), ssAccess(_273341, authObj(ssM_BEST_WRK, ssACTVT, np__3)), ssAccess(_273341, authObj(ssM_BEST_WRK, ssWERKS, _273339)), ssAccess(_273341, authObj(ssM_BEST_EKG, ssACTVT, np__3)), ssAccess(_273341, authObj(ssM_BEST_EKG, ssACTVT, np__8)), ssAccess(_273341, authObj(ssM_BEST_EKG, ssACTVT, np__9)), ssAccess(_273341, authObj(ssM_BEST_EKG, ssEKGRP, _273335))], (732 ^ _253886) ^ [_275329, _275331, _275333, _275335, _275337, _275339, _275341, _275343, _275345, _275347] : [-(ssRequisitionCreated(_275347, _275343, _275337, _275335, _275345, _275341, _275333, _275339, _275331, _275329)), ssRequisition(_275343, _275337, _275335, _275345, _275341, _275333, _275339, _275331, _275329), ssStandardPurchase(_275343), ssAccess(_275347, ssME51N), ssAccess(_275347, authObj(ssM_BANF_WRK, ssWERKS, _275345)), ssAccess(_275347, authObj(ssM_BANF_BSA, ssBSART, _275343)), ssAccess(_275347, authObj(ssM_BANF_EKG, ssEKGRP, _275341))], (758 ^ _253886) ^ [_276426, _276428, _276430, _276432, _276434, _276436, _276438, _276440, _276442, _276444, _276446, _276448, _276450, _276452, _276454] : [-(ssRequisitionReleasedStep(_276452, _276432, _276434, _276430, _276448, _276440, _276438, _276450, _276446, _276444, _276442, _276436, _276426)), ssRequisitionCreated(_276454, _276448, _276440, _276438, _276450, _276446, _276444, _276442, _276436, _276426), ssReleaseStrategy(_276434, _276432, class(_276428, property(ssFRG_CEBAN_EKGRP, _276446))), ssReleaseStrategy(_276434, _276432, class(_276428, property(ssFRG_CEBAN_WERKS, _276450))), ssReleaseStrategy(_276434, _276432, class(_276428, property(ssFRG_CEBAN_GSWRT, _276436))), ssReleaseRequirement(_276434, _276432, _276430), ssAccess(_276452, authObj(ssM_EINK_FRG, ssFRGGR, _276432)), ssAccess(_276452, authObj(ssM_EINK_FRG, ssFRGCO, _276430)), ssAccess(_276452, ssME54N), ssAccess(_276452, authObj(ssM_BANF_WRK, ssWERKS, _276450)), ssAccess(_276452, authObj(ssM_BANF_BSA, ssBSART, _276448)), ssAccess(_276452, authObj(ssM_BANF_EKG, ssEKGRP, _276446))], (804 ^ _253886) ^ [_278386, _278388, _278390, _278392, _278394, _278396, _278398, _278400, _278402, _278404, _278406, _278408] : [-(ssRequisitionReleased(_278408, _278404, _278396, _278394, _278406, _278402, _278400, _278398, _278392, _278386)), ssRequisitionCreated(_278408, _278404, _278396, _278394, _278406, _278402, _278400, _278398, _278392, _278386), 811 ^ _253886 : [(812 ^ _253886) ^ [] : [-(ssReleaseStrategy(ssKF, _278390, class(_278388, property(ssFRG_CEBAN_EKGRP, _278402))))], (814 ^ _253886) ^ [] : [-(ssReleaseStrategy(ssKF, _278390, class(_278388, property(ssFRG_CEBAN_WERKS, _278406))))], (816 ^ _253886) ^ [] : [-(ssReleaseStrategy(ssKF, _278390, class(_278388, property(ssFRG_CEBAN_GSWRT, _278392))))]], 817 ^ _253886 : [(818 ^ _253886) ^ [] : [-(ssReleaseStrategy(ssVF, _278390, class(_278388, property(ssFRG_CEBAN_EKGRP, _278402))))], (820 ^ _253886) ^ [] : [-(ssReleaseStrategy(ssVF, _278390, class(_278388, property(ssFRG_CEBAN_WERKS, _278406))))], (822 ^ _253886) ^ [] : [-(ssReleaseStrategy(ssVF, _278390, class(_278388, property(ssFRG_CEBAN_GSWRT, _278392))))]]], (826 ^ _253886) ^ [_279548, _279550, _279552, _279554, _279556, _279558, _279560, _279562, _279564, _279566, _279568] : [-(ssRequisitionReleased(_279566, _279562, _279554, _279552, _279564, _279560, _279558, _279556, _279550, _279548)), 827 ^ _253886 : [(828 ^ _253886) ^ [] : [ssRequisitionReleasedStep(_279566, ssRGRP_01, ssKF, ssW1, _279562, _279554, _279552, _279564, _279560, _279558, _279556, _279550, _279548)], (830 ^ _253886) ^ [] : [ssRequisitionReleasedStep(_279568, ssRGRP_01, ssVF, ssW1, _279562, _279554, _279552, _279564, _279560, _279558, _279556, _279550, _279548), ssRequisitionReleasedStep(_279566, ssRGRP_01, ssVF, ssW2, _279562, _279554, _279552, _279564, _279560, _279558, _279556, _279550, _279548)]]], (838 ^ _253886) ^ [_280237, _280239, _280241, _280243, _280245, _280247, _280249, _280251, _280253, _280255, _280257] : [-(ssOrderCreated(_280255, _280251, _280243, _280241, _280253, _280249, _280245, _280247, _280239, _280237)), ssRequisitionReleased(_280257, _280251, _280243, _280241, _280253, _280249, _280245, _280247, _280239, _280237), ssAccess(_280255, ssME21N), ssAccess(_280255, ssME22N), ssAccess(_280255, ssME23N), ssAccess(_280255, authObj(ssM_BEST_WRK, ssWERKS, _280253)), ssAccess(_280255, authObj(ssM_BANF_BSA, ssBSART, _280251)), ssAccess(_280255, authObj(ssM_BEST_BSA, ssBSART, _280251)), ssAccess(_280255, authObj(ssM_BEST_EKG, ssEKGRP, _280249)), ssAccess(_280255, authObj(ssM_BEST_EKO, ssEKORG, _280245)), ssAccess(_280255, authObj(ssM_EINK_MKL, ssMATKL, _280247)), ssAccess(_280255, authObj(ssM_EINK_GWT, ssGSWRT, _280239))], (942 ^ _253886) ^ [_284221, _284223, _284225, _284227, _284229, _284231, _284233, _284235, _284237, _284239] : [-(ssRequisition(_284229, _284227, _284225, _284237, _284235, _284233, _284231, _284223, _284221))], (944 ^ _253886) ^ [_284305, _284307, _284309, _284311, _284313, _284315, _284317, _284319, _284321, _284323] : [ssRequisitionCreated(_284323, _284313, _284311, _284309, _284321, _284319, _284317, _284315, _284307, _284305), ssRequisitionReleased(_284323, _284313, _284311, _284309, _284321, _284319, _284317, _284315, _284307, _284305), ssOrderCreated(_284323, _284313, _284311, _284309, _284321, _284319, _284317, _284315, _284307, _284305)], (955 ^ _253886) ^ [_284908, _284910, _284912, _284914, _284916, _284918, _284920, _284922, _284924] : [ssOrderCreated(_284924, _284914, _284912, _284910, _284922, _284918, _284916, _284920, ssGREATER_1000_LESS_10000_EUR, _284908), -(ssRequisitionCreated(953 ^ [_284908, _284910, _284912, _284914, _284916, _284918, _284920, _284922, _284924], _284914, _284912, _284910, _284922, _284918, _284916, _284920, ssGREATER_1000_LESS_10000_EUR, _284908))], (962 ^ _253886) ^ [_285389, _285391, _285393, _285395, _285397, _285399, _285401, _285403, _285405] : [ssOrderCreated(_285405, _285395, _285393, _285391, _285403, _285399, _285397, _285401, ssGREATER_10000_EUR, _285389), -(ssRequisitionCreated(960 ^ [_285389, _285391, _285393, _285395, _285397, _285399, _285401, _285403, _285405], _285395, _285393, _285391, _285403, _285399, _285397, _285401, ssGREATER_10000_EUR, _285389))], (884 ^ _253886) ^ [_281979, _281981, _281983, _281985, _281987, _281989, _281991, _281993, _281995, _281997, _281999, _282001] : [935 ^ _253886 : [(936 ^ _253886) ^ [] : [-(ssOrderCreated(_282001, _281993, _281985, _281983, _281995, _281991, _281987, _281989, _281981, _281979))], (938 ^ _253886) ^ [] : [ssRequisitionCreated(_281999, _281993, _281985, _281983, _281995, _281991, _281987, _281989, _281981, _281979)], (940 ^ _253886) ^ [] : [ssRequisitionReleased(_281997, _281993, _281985, _281983, _281995, _281991, _281987, _281989, _281981, _281979)]], ssRequisition(_281993, _281985, _281983, _281995, _281991, _281987, _281989, _281981, _281979), ssDirectPurchase(_281993), ssAccess(_282001, authObj(ssM_EINK_MKL, ssMATKL, _281989)), ssAccess(_282001, authObj(ssM_EINK_GWT, ssGSWRT, _281981)), ssAccess(_282001, authObj(ssS_TCODE, ssTCD, ssME21NOFF)), ssAccess(_282001, ssME21N), ssAccess(_282001, ssME22N), ssAccess(_282001, ssME23N), ssAccess(_282001, authObj(ssM_BEST_WRK, ssWERKS, _281995)), ssAccess(_282001, authObj(ssM_BANF_BSA, ssBSART, _281993)), ssAccess(_282001, authObj(ssM_BEST_BSA, ssBSART, _281993)), ssAccess(_282001, authObj(ssM_BEST_EKG, ssEKGRP, _281991)), ssAccess(_282001, authObj(ssM_BEST_EKO, ssEKORG, _281987))]], input).
% 1.44/2.42 ncf('1',plain,[ssRequisitionCreated(ssMUELLER, ssNB, _145364, _145362, ssINF, ssI26, _145370, _145368, _145360, _145358)],start(970 ^ 0,bind([[_286796, _286798, _286800, _286802, _286804, _286806, _286808, _286810, _286812], [_145358, _145360, _145362, _145364, ssNB, _145368, _145370, ssI26, _145374]]))).
% 1.44/2.42 ncf('1.1',plain,[-(ssRequisitionCreated(ssMUELLER, ssNB, _145364, _145362, ssINF, ssI26, _145370, _145368, _145360, _145358)), ssRequisition(ssNB, _145364, _145362, ssINF, ssI26, _145370, _145368, _145360, _145358), ssStandardPurchase(ssNB), ssAccess(ssMUELLER, ssME51N), ssAccess(ssMUELLER, authObj(ssM_BANF_WRK, ssWERKS, ssINF)), ssAccess(ssMUELLER, authObj(ssM_BANF_BSA, ssBSART, ssNB)), ssAccess(ssMUELLER, authObj(ssM_BANF_EKG, ssEKGRP, ssI26))],extension(732 ^ 1,bind([[_275329, _275331, _275333, _275335, _275337, _275339, _275341, _275343, _275345, _275347], [_145358, _145360, _145370, _145362, _145364, _145368, ssI26, ssNB, ssINF, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.1',plain,[-(ssRequisition(ssNB, _145364, _145362, ssINF, ssI26, _145370, _145368, _145360, _145358))],extension(942 ^ 2,bind([[_284221, _284223, _284225, _284227, _284229, _284231, _284233, _284235, _284237, _284239], [_145358, _145360, _145362, _145364, ssNB, _145368, _145370, ssI26, ssINF, _146307]]))).
% 1.44/2.42 ncf('1.1.2',plain,[-(ssStandardPurchase(ssNB))],extension(236 ^ 2)).
% 1.44/2.42 ncf('1.1.3',plain,[-(ssAccess(ssMUELLER, ssME51N)), ssAccess(ssMUELLER, authObj(ssS_TCODE, ssTCD, ssME51N)), ssAccess(ssMUELLER, authObj(ssM_BANF_WRK, ssACTVT, np__1)), ssAccess(ssMUELLER, authObj(ssM_BANF_WRK, ssWERKS, ssINF)), ssAccess(ssMUELLER, authObj(ssM_BANF_BSA, ssACTVT, np__1)), ssAccess(ssMUELLER, authObj(ssM_BANF_BSA, ssBSART, ssSTAR)), ssAccess(ssMUELLER, authObj(ssM_BANF_EKG, ssACTVT, np__1)), ssAccess(ssMUELLER, authObj(ssM_BANF_EKG, ssEKGRP, ssI26))],extension(374 ^ 2,bind([[_265224, _265226, _265228, _265230], [ssI26, ssSTAR, ssINF, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.3.1',plain,[-(ssAccess(ssMUELLER, authObj(ssS_TCODE, ssTCD, ssME51N))), ssUserProfile(userProfileEntry(ssMUELLER, authObj(ssS_TCODE, ssTCD, ssME51N)))],extension(322 ^ 3,bind([[_263131, _263133, _263135, _263137], [ssME51N, ssTCD, ssS_TCODE, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.3.1.1',plain,[-(ssUserProfile(userProfileEntry(ssMUELLER, authObj(ssS_TCODE, ssTCD, ssME51N)))), 356 : ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssS_TCODE, ssTCD, ssME51N))), 356 : ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED)],extension(348 ^ 4,bind([[_264301, _264303, _264305, _264307, _264309, _264311, _264313], [ssME51N, ssTCD, ssS_TCODE, _149036, ssZBANF_WRK_INF_ED, _149040, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.3.1.1.1',plain,[-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssS_TCODE, ssTCD, ssME51N))))],extension(24 ^ 7)).
% 1.44/2.42 ncf('1.1.3.1.1.2',plain,[-(ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED))],extension(228 ^ 7)).
% 1.44/2.42 ncf('1.1.3.2',plain,[-(ssAccess(ssMUELLER, authObj(ssM_BANF_WRK, ssACTVT, np__1))), ssUserProfile(userProfileEntry(ssMUELLER, authObj(ssM_BANF_WRK, ssACTVT, np__1)))],extension(322 ^ 3,bind([[_263131, _263133, _263135, _263137], [np__1, ssACTVT, ssM_BANF_WRK, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.3.2.1',plain,[-(ssUserProfile(userProfileEntry(ssMUELLER, authObj(ssM_BANF_WRK, ssACTVT, np__1)))), 356 : ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_WRK, ssACTVT, np__1))), 356 : ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED)],extension(348 ^ 4,bind([[_264301, _264303, _264305, _264307, _264309, _264311, _264313], [np__1, ssACTVT, ssM_BANF_WRK, _151259, ssZBANF_WRK_INF_ED, _151263, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.3.2.1.1',plain,[-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_WRK, ssACTVT, np__1))))],extension(26 ^ 7)).
% 1.44/2.42 ncf('1.1.3.2.1.2',plain,[-(ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED))],extension(228 ^ 7)).
% 1.44/2.42 ncf('1.1.3.3',plain,[-(ssAccess(ssMUELLER, authObj(ssM_BANF_WRK, ssWERKS, ssINF))), ssUserProfile(userProfileEntry(ssMUELLER, authObj(ssM_BANF_WRK, ssWERKS, ssINF)))],extension(322 ^ 3,bind([[_263131, _263133, _263135, _263137], [ssINF, ssWERKS, ssM_BANF_WRK, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.3.3.1',plain,[-(ssUserProfile(userProfileEntry(ssMUELLER, authObj(ssM_BANF_WRK, ssWERKS, ssINF)))), 356 : ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_WRK, ssWERKS, ssINF))), 356 : ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED)],extension(348 ^ 4,bind([[_264301, _264303, _264305, _264307, _264309, _264311, _264313], [ssINF, ssWERKS, ssM_BANF_WRK, _153486, ssZBANF_WRK_INF_ED, _153490, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.3.3.1.1',plain,[-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_WRK, ssWERKS, ssINF))))],extension(32 ^ 7)).
% 1.44/2.42 ncf('1.1.3.3.1.2',plain,[-(ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED))],extension(228 ^ 7)).
% 1.44/2.42 ncf('1.1.3.4',plain,[-(ssAccess(ssMUELLER, authObj(ssM_BANF_BSA, ssACTVT, np__1))), ssUserProfile(userProfileEntry(ssMUELLER, authObj(ssM_BANF_BSA, ssACTVT, ssSTAR)))],extension(328 ^ 3,bind([[_263401, _263403, _263405, _263407], [np__1, ssACTVT, ssM_BANF_BSA, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.3.4.1',plain,[-(ssUserProfile(userProfileEntry(ssMUELLER, authObj(ssM_BANF_BSA, ssACTVT, ssSTAR)))), 356 : ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_BSA, ssACTVT, ssSTAR))), 356 : ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED)],extension(348 ^ 4,bind([[_264301, _264303, _264305, _264307, _264309, _264311, _264313], [ssSTAR, ssACTVT, ssM_BANF_BSA, _155729, ssZBANF_WRK_INF_ED, _155733, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.3.4.1.1',plain,[-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_BSA, ssACTVT, ssSTAR))))],extension(34 ^ 7)).
% 1.44/2.42 ncf('1.1.3.4.1.2',plain,[-(ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED))],extension(228 ^ 7)).
% 1.44/2.42 ncf('1.1.3.5',plain,[-(ssAccess(ssMUELLER, authObj(ssM_BANF_BSA, ssBSART, ssSTAR))), ssUserProfile(userProfileEntry(ssMUELLER, authObj(ssM_BANF_BSA, ssBSART, ssSTAR)))],extension(322 ^ 3,bind([[_263131, _263133, _263135, _263137], [ssSTAR, ssBSART, ssM_BANF_BSA, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.3.5.1',plain,[-(ssUserProfile(userProfileEntry(ssMUELLER, authObj(ssM_BANF_BSA, ssBSART, ssSTAR)))), 356 : ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_BSA, ssBSART, ssSTAR))), 356 : ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED)],extension(348 ^ 4,bind([[_264301, _264303, _264305, _264307, _264309, _264311, _264313], [ssSTAR, ssBSART, ssM_BANF_BSA, _157972, ssZBANF_WRK_INF_ED, _157976, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.3.5.1.1',plain,[-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_BSA, ssBSART, ssSTAR))))],extension(36 ^ 7)).
% 1.44/2.42 ncf('1.1.3.5.1.2',plain,[-(ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED))],extension(228 ^ 7)).
% 1.44/2.42 ncf('1.1.3.6',plain,[-(ssAccess(ssMUELLER, authObj(ssM_BANF_EKG, ssACTVT, np__1))), ssUserProfile(userProfileEntry(ssMUELLER, authObj(ssM_BANF_EKG, ssACTVT, ssSTAR)))],extension(328 ^ 3,bind([[_263401, _263403, _263405, _263407], [np__1, ssACTVT, ssM_BANF_EKG, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.3.6.1',plain,[-(ssUserProfile(userProfileEntry(ssMUELLER, authObj(ssM_BANF_EKG, ssACTVT, ssSTAR)))), 356 : ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_EKG, ssACTVT, ssSTAR))), 356 : ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED)],extension(348 ^ 4,bind([[_264301, _264303, _264305, _264307, _264309, _264311, _264313], [ssSTAR, ssACTVT, ssM_BANF_EKG, _160223, ssZBANF_WRK_INF_ED, _160227, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.3.6.1.1',plain,[-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_EKG, ssACTVT, ssSTAR))))],extension(38 ^ 7)).
% 1.44/2.42 ncf('1.1.3.6.1.2',plain,[-(ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED))],extension(228 ^ 7)).
% 1.44/2.42 ncf('1.1.3.7',plain,[-(ssAccess(ssMUELLER, authObj(ssM_BANF_EKG, ssEKGRP, ssI26))), ssUserProfile(userProfileEntry(ssMUELLER, authObj(ssM_BANF_EKG, ssEKGRP, ssI26)))],extension(322 ^ 3,bind([[_263131, _263133, _263135, _263137], [ssI26, ssEKGRP, ssM_BANF_EKG, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.3.7.1',plain,[-(ssUserProfile(userProfileEntry(ssMUELLER, authObj(ssM_BANF_EKG, ssEKGRP, ssI26)))), 356 : ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_EKG, ssEKGRP, ssI26))), 356 : ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED)],extension(348 ^ 4,bind([[_264301, _264303, _264305, _264307, _264309, _264311, _264313], [ssI26, ssEKGRP, ssM_BANF_EKG, _162474, ssZBANF_WRK_INF_ED, _162478, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.3.7.1.1',plain,[-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_EKG, ssEKGRP, ssI26))))],extension(40 ^ 7)).
% 1.44/2.42 ncf('1.1.3.7.1.2',plain,[-(ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED))],extension(228 ^ 7)).
% 1.44/2.42 ncf('1.1.4',plain,[-(ssAccess(ssMUELLER, authObj(ssM_BANF_WRK, ssWERKS, ssINF))), ssUserProfile(userProfileEntry(ssMUELLER, authObj(ssM_BANF_WRK, ssWERKS, ssINF)))],extension(322 ^ 2,bind([[_263131, _263133, _263135, _263137], [ssINF, ssWERKS, ssM_BANF_WRK, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.4.1',plain,[-(ssUserProfile(userProfileEntry(ssMUELLER, authObj(ssM_BANF_WRK, ssWERKS, ssINF)))), 356 : ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_WRK, ssWERKS, ssINF))), 356 : ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED)],extension(348 ^ 3,bind([[_264301, _264303, _264305, _264307, _264309, _264311, _264313], [ssINF, ssWERKS, ssM_BANF_WRK, _164731, ssZBANF_WRK_INF_ED, _164735, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.4.1.1',plain,[-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_WRK, ssWERKS, ssINF))))],extension(32 ^ 6)).
% 1.44/2.42 ncf('1.1.4.1.2',plain,[-(ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED))],extension(228 ^ 6)).
% 1.44/2.42 ncf('1.1.5',plain,[-(ssAccess(ssMUELLER, authObj(ssM_BANF_BSA, ssBSART, ssNB))), ssUserProfile(userProfileEntry(ssMUELLER, authObj(ssM_BANF_BSA, ssBSART, ssSTAR)))],extension(328 ^ 2,bind([[_263401, _263403, _263405, _263407], [ssNB, ssBSART, ssM_BANF_BSA, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.5.1',plain,[-(ssUserProfile(userProfileEntry(ssMUELLER, authObj(ssM_BANF_BSA, ssBSART, ssSTAR)))), 356 : ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_BSA, ssBSART, ssSTAR))), 356 : ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED)],extension(348 ^ 3,bind([[_264301, _264303, _264305, _264307, _264309, _264311, _264313], [ssSTAR, ssBSART, ssM_BANF_BSA, _166974, ssZBANF_WRK_INF_ED, _166978, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.5.1.1',plain,[-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_BSA, ssBSART, ssSTAR))))],extension(36 ^ 6)).
% 1.44/2.42 ncf('1.1.5.1.2',plain,[-(ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED))],extension(228 ^ 6)).
% 1.44/2.42 ncf('1.1.6',plain,[-(ssAccess(ssMUELLER, authObj(ssM_BANF_EKG, ssEKGRP, ssI26))), ssUserProfile(userProfileEntry(ssMUELLER, authObj(ssM_BANF_EKG, ssEKGRP, ssI26)))],extension(322 ^ 2,bind([[_263131, _263133, _263135, _263137], [ssI26, ssEKGRP, ssM_BANF_EKG, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.6.1',plain,[-(ssUserProfile(userProfileEntry(ssMUELLER, authObj(ssM_BANF_EKG, ssEKGRP, ssI26)))), 356 : ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_EKG, ssEKGRP, ssI26))), 356 : ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED)],extension(348 ^ 3,bind([[_264301, _264303, _264305, _264307, _264309, _264311, _264313], [ssI26, ssEKGRP, ssM_BANF_EKG, _169221, ssZBANF_WRK_INF_ED, _169225, ssMUELLER]]))).
% 1.44/2.42 ncf('1.1.6.1.1',plain,[-(ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED, authObj(ssM_BANF_EKG, ssEKGRP, ssI26))))],extension(40 ^ 6)).
% 1.44/2.42 ncf('1.1.6.1.2',plain,[-(ssHolds(ssMUELLER, ssZBANF_WRK_INF_ED))],extension(228 ^ 6)).
% 1.44/2.42 %-----------------------------------------------------
% 1.44/2.42 End of proof for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------