%------------------------------------------------------------------------------
% File : LisaST---0.9
% Problem : CSR114+10 : TPTP v9.3.1. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : casc-portfolio.sh -t 300 /export/starexec/sandbox2/benchmark/theBenchmark.p
% Computer : n007.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8046.5625MB
% OS : Linux 6.8.0-71-generic
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Sun Sep 27 07:04:35 AM UTC 2026
% Result : Theorem 168.37s 34.28s
% Output : CNFRefutation 168.37s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.05 % Problem : CSR114+10 : TPTP v9.3.1. Released v4.0.0.
% 0.00/0.07 % Command : casc-portfolio.sh -t 300 /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.20/0.46 % Computer : n007.cluster.edu
% 0.20/0.46 % Model : x86_64 x86_64
% 0.20/0.46 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.20/0.46 % Memory : 8046.5625MB
% 0.20/0.46 % OS : Linux 6.8.0-71-generic
% 0.20/0.46 % CPULimit : 300
% 0.20/0.46 % WCLimit : 300
% 0.20/0.46 % DateTime : Sun Sep 27 01:02:39 UTC 2026
% 0.20/0.46 % CPUTime :
% 0.20/0.46 Running casc-portfolio.sh -t 300 /export/starexec/sandbox2/benchmark/theBenchmark.p
% 168.37/34.28 % SZS status Theorem for theBenchmark.p
% 168.37/34.28 % SZS output start CNFRefutation for theBenchmark.p
% 168.37/34.28 fof(ave07_era5_synth_qa07_004_mira_news_613, hypothesis, (attr(c40862,c40863) & (sub(c40862,'stadt$u$u1$u1') & (sub(c40863,'name$u1$u1') & (val(c40863,'hallstatt$u0') & (sub(c40883,'titel$u1$u1') & (attch(c40889,c40883) & (prop(c40889,c40892) & (sub(c40889,'st$u$u374ck$u1$u1') & (supl(c40892,'neo$u1$u1',c40893) & (attch(c40895,c40889) & (prop(c40895,'slowenisch$u$u1$u1') & (sub(c40895,'dramatiker$u1$u1') & (attr(c40903,c40904) & (attr(c40903,c40905) & (sub(c40903,'romanautor$u1$u1') & (sub(c40904,'eigenname$u1$u1') & (val(c40904,'drago$u0') & (sub(c40905,'familiename$u1$u1') & (val(c40905,'jancar$u0') & (subs(c40936,'festival$u1$u1') & (attr(c40941,c40947) & (prop(c40941,'zeitgen$u$u366ssisch$u1$u1') & (sub(c40941,'schauspielhaus$u1$u1') & (sub(c40947,'name$u1$u1') & (val(c40947,'dionisya$u0') & (prop(c40954,'italienisch$u$u1$u1') & (sub(c40954,'stadt$u$u1$u1') & (pred(c40955,'veroli$u1$u1') & (subs(c40962,'herstellung$u1$u1') & (attch(c40970,c40962) & (prop(c40970,'slowenisch$u$u1$u1') & (sub(c40970,'schauspielhaus$u1$u1') & (attr(c40976,c40977) & (sub(c40976,'stadt$u$u1$u1') & (sub(c40977,'name$u1$u1') & (val(c40977,'triest$u0') & (subs(c40979,'debuet$u1$u1') & (attr(c41010,c41011) & (prop(c41010,'slowenisch$u$u1$u1') & (sub(c41010,'nachrichtenagentur$u1$u1') & (sub(c41011,'name$u1$u1') & (val(c41011,'sta$u0') & ('tupl$up14'(c41050,c40862,c40883,c40892,c40903,c40862,c40936,c40941,c40954,c40955,c40962,c40976,c40979,c41010) & (assoc('debuet$u1$u1','ur$u1$u1') & (subs('debuet$u1$u1','auff$u$u374hrung$u1$u1') & (assoc('nachrichtenagentur$u1$u1','nachricht$u1$u1') & (sub('nachrichtenagentur$u1$u1','agentur$u1$u1') & (sort(c40862,d) & (sort(c40862,io) & (card(c40862,int1) & (etype(c40862,int0) & (fact(c40862,real) & (gener(c40862,sp) & (quant(c40862,one) & (refer(c40862,det) & (varia(c40862,con) & (sort(c40863,na) & (card(c40863,int1) & (etype(c40863,int0) & (fact(c40863,real) & (gener(c40863,sp) & (quant(c40863,one) & (refer(c40863,indet) & (varia(c40863,'varia$uc') & (sort('stadt$u$u1$u1',d) & (sort('stadt$u$u1$u1',io) & (card('stadt$u$u1$u1',int1) & (etype('stadt$u$u1$u1',int0) & (fact('stadt$u$u1$u1',real) & (gener('stadt$u$u1$u1',ge) & (quant('stadt$u$u1$u1',one) & (refer('stadt$u$u1$u1','refer$uc') & (varia('stadt$u$u1$u1','varia$uc') & (sort('name$u1$u1',na) & (card('name$u1$u1',int1) & (etype('name$u1$u1',int0) & (fact('name$u1$u1',real) & (gener('name$u1$u1',ge) & (quant('name$u1$u1',one) & (refer('name$u1$u1','refer$uc') & (varia('name$u1$u1','varia$uc') & (sort('hallstatt$u0',fe) & (sort(c40883,d) & (sort(c40883,io) & (card(c40883,int1) & (etype(c40883,int0) & (fact(c40883,real) & (gener(c40883,sp) & (quant(c40883,one) & (refer(c40883,det) & (varia(c40883,con) & (sort('titel$u1$u1',d) & (sort('titel$u1$u1',io) & (card('titel$u1$u1',int1) & (etype('titel$u1$u1',int0) & (fact('titel$u1$u1',real) & (gener('titel$u1$u1',ge) & (quant('titel$u1$u1',one) & (refer('titel$u1$u1','refer$uc') & (varia('titel$u1$u1','varia$uc') & (sort(c40889,d) & (card(c40889,int1) & (etype(c40889,int0) & (fact(c40889,real) & (gener(c40889,sp) & (quant(c40889,one) & (refer(c40889,det) & (varia(c40889,con) & (sort(c40892,tq) & (sort('st$u$u374ck$u1$u1',d) & (card('st$u$u374ck$u1$u1',int1) & (etype('st$u$u374ck$u1$u1',int0) & (fact('st$u$u374ck$u1$u1',real) & (gener('st$u$u374ck$u1$u1',ge) & (quant('st$u$u374ck$u1$u1',one) & (refer('st$u$u374ck$u1$u1','refer$uc') & (varia('st$u$u374ck$u1$u1','varia$uc') & (sort('neo$u1$u1',nq) & (sort(c40893,o) & (card(c40893,'card$uc') & (etype(c40893,int1) & (etype(c40893,int2) & (fact(c40893,real) & (gener(c40893,'gener$uc') & (quant(c40893,'quant$uc') & (refer(c40893,'refer$uc') & (varia(c40893,'varia$uc') & (sort(c40895,d) & (card(c40895,int1) & (etype(c40895,int0) & (fact(c40895,real) & (gener(c40895,sp) & (quant(c40895,one) & (refer(c40895,det) & (varia(c40895,con) & (sort('slowenisch$u$u1$u1',nq) & (sort('dramatiker$u1$u1',d) & (card('dramatiker$u1$u1',int1) & (etype('dramatiker$u1$u1',int0) & (fact('dramatiker$u1$u1',real) & (gener('dramatiker$u1$u1',ge) & (quant('dramatiker$u1$u1',one) & (refer('dramatiker$u1$u1','refer$uc') & (varia('dramatiker$u1$u1','varia$uc') & (sort(c40903,d) & (card(c40903,int1) & (etype(c40903,int0) & (fact(c40903,real) & (gener(c40903,sp) & (quant(c40903,one) & (refer(c40903,det) & (varia(c40903,'varia$uc') & (sort(c40904,na) & (card(c40904,int1) & (etype(c40904,int0) & (fact(c40904,real) & (gener(c40904,sp) & (quant(c40904,one) & (refer(c40904,indet) & (varia(c40904,'varia$uc') & (sort(c40905,na) & (card(c40905,int1) & (etype(c40905,int0) & (fact(c40905,real) & (gener(c40905,sp) & (quant(c40905,one) & (refer(c40905,det) & (varia(c40905,'varia$uc') & (sort('romanautor$u1$u1',d) & (card('romanautor$u1$u1',int1) & (etype('romanautor$u1$u1',int0) & (fact('romanautor$u1$u1',real) & (gener('romanautor$u1$u1',ge) & (quant('romanautor$u1$u1',one) & (refer('romanautor$u1$u1','refer$uc') & (varia('romanautor$u1$u1','varia$uc') & (sort('eigenname$u1$u1',na) & (card('eigenname$u1$u1',int1) & (etype('eigenname$u1$u1',int0) & (fact('eigenname$u1$u1',real) & (gener('eigenname$u1$u1',ge) & (quant('eigenname$u1$u1',one) & (refer('eigenname$u1$u1','refer$uc') & (varia('eigenname$u1$u1','varia$uc') & (sort('drago$u0',fe) & (sort('familiename$u1$u1',na) & (card('familiename$u1$u1',int1) & (etype('familiename$u1$u1',int0) & (fact('familiename$u1$u1',real) & (gener('familiename$u1$u1',ge) & (quant('familiename$u1$u1',one) & (refer('familiename$u1$u1','refer$uc') & (varia('familiename$u1$u1','varia$uc') & (sort('jancar$u0',fe) & (sort(c40936,ad) & (card(c40936,int1) & (etype(c40936,int0) & (fact(c40936,real) & (gener(c40936,sp) & (quant(c40936,one) & (refer(c40936,det) & (varia(c40936,con) & (sort('festival$u1$u1',ad) & (card('festival$u1$u1',int1) & (etype('festival$u1$u1',int0) & (fact('festival$u1$u1',real) & (gener('festival$u1$u1',ge) & (quant('festival$u1$u1',one) & (refer('festival$u1$u1','refer$uc') & (varia('festival$u1$u1','varia$uc') & (sort(c40941,d) & (sort(c40941,io) & (card(c40941,int1) & (etype(c40941,int0) & (fact(c40941,real) & (gener(c40941,sp) & (quant(c40941,one) & (refer(c40941,det) & (varia(c40941,'varia$uc') & (sort(c40947,na) & (card(c40947,int1) & (etype(c40947,int0) & (fact(c40947,real) & (gener(c40947,sp) & (quant(c40947,one) & (refer(c40947,det) & (varia(c40947,'varia$uc') & (sort('zeitgen$u$u366ssisch$u1$u1',nq) & (sort('schauspielhaus$u1$u1',d) & (sort('schauspielhaus$u1$u1',io) & (card('schauspielhaus$u1$u1',int1) & (etype('schauspielhaus$u1$u1',int0) & (fact('schauspielhaus$u1$u1',real) & (gener('schauspielhaus$u1$u1',ge) & (quant('schauspielhaus$u1$u1',one) & (refer('schauspielhaus$u1$u1','refer$uc') & (varia('schauspielhaus$u1$u1','varia$uc') & (sort('dionisya$u0',fe) & (sort(c40954,d) & (sort(c40954,io) & (card(c40954,int1) & (etype(c40954,int0) & (fact(c40954,real) & (gener(c40954,sp) & (quant(c40954,one) & (refer(c40954,det) & (varia(c40954,con) & (sort('italienisch$u$u1$u1',nq) & (sort(c40955,o) & (card(c40955,cons('x$uconstant',cons(int1,nil))) & (etype(c40955,int1) & (fact(c40955,real) & (gener(c40955,'gener$uc') & (quant(c40955,mult) & (refer(c40955,indet) & (varia(c40955,'varia$uc') & (sort('veroli$u1$u1',o) & (card('veroli$u1$u1',int1) & (etype('veroli$u1$u1',int0) & (fact('veroli$u1$u1',real) & (gener('veroli$u1$u1',ge) & (quant('veroli$u1$u1',one) & (refer('veroli$u1$u1','refer$uc') & (varia('veroli$u1$u1','varia$uc') & (sort(c40962,ad) & (card(c40962,int1) & (etype(c40962,int0) & (fact(c40962,real) & (gener(c40962,sp) & (quant(c40962,one) & (refer(c40962,indet) & (varia(c40962,'varia$uc') & (sort('herstellung$u1$u1',ad) & (card('herstellung$u1$u1',int1) & (etype('herstellung$u1$u1',int0) & (fact('herstellung$u1$u1',real) & (gener('herstellung$u1$u1',ge) & (quant('herstellung$u1$u1',one) & (refer('herstellung$u1$u1','refer$uc') & (varia('herstellung$u1$u1','varia$uc') & (sort(c40970,d) & (sort(c40970,io) & (card(c40970,int1) & (etype(c40970,int0) & (fact(c40970,real) & (gener(c40970,sp) & (quant(c40970,one) & (refer(c40970,det) & (varia(c40970,con) & (sort(c40976,d) & (sort(c40976,io) & (card(c40976,int1) & (etype(c40976,int0) & (fact(c40976,real) & (gener(c40976,sp) & (quant(c40976,one) & (refer(c40976,det) & (varia(c40976,con) & (sort(c40977,na) & (card(c40977,int1) & (etype(c40977,int0) & (fact(c40977,real) & (gener(c40977,sp) & (quant(c40977,one) & (refer(c40977,indet) & (varia(c40977,'varia$uc') & (sort('triest$u0',fe) & (sort(c40979,ad) & (card(c40979,int1) & (etype(c40979,int0) & (fact(c40979,real) & (gener(c40979,sp) & (quant(c40979,one) & (refer(c40979,det) & (varia(c40979,con) & (sort('debuet$u1$u1',ad) & (card('debuet$u1$u1',int1) & (etype('debuet$u1$u1',int0) & (fact('debuet$u1$u1',real) & (gener('debuet$u1$u1',ge) & (quant('debuet$u1$u1',one) & (refer('debuet$u1$u1','refer$uc') & (varia('debuet$u1$u1','varia$uc') & (sort(c41010,d) & (sort(c41010,io) & (card(c41010,int1) & (etype(c41010,int0) & (fact(c41010,real) & (gener(c41010,sp) & (quant(c41010,one) & (refer(c41010,det) & (varia(c41010,con) & (sort(c41011,na) & (card(c41011,int1) & (etype(c41011,int0) & (fact(c41011,real) & (gener(c41011,sp) & (quant(c41011,one) & (refer(c41011,indet) & (varia(c41011,'varia$uc') & (sort('nachrichtenagentur$u1$u1',d) & (sort('nachrichtenagentur$u1$u1',io) & (card('nachrichtenagentur$u1$u1',int1) & (etype('nachrichtenagentur$u1$u1',int0) & (fact('nachrichtenagentur$u1$u1',real) & (gener('nachrichtenagentur$u1$u1',ge) & (quant('nachrichtenagentur$u1$u1',one) & (refer('nachrichtenagentur$u1$u1','refer$uc') & (varia('nachrichtenagentur$u1$u1','varia$uc') & (sort('sta$u0',fe) & (sort(c41050,ent) & (card(c41050,'card$uc') & (etype(c41050,'etype$uc') & (fact(c41050,real) & (gener(c41050,'gener$uc') & (quant(c41050,'quant$uc') & (refer(c41050,'refer$uc') & (varia(c41050,'varia$uc') & (sort('ur$u1$u1',o) & (card('ur$u1$u1',int1) & (etype('ur$u1$u1',int0) & (fact('ur$u1$u1',real) & (gener('ur$u1$u1',ge) & (quant('ur$u1$u1',one) & (refer('ur$u1$u1','refer$uc') & (varia('ur$u1$u1','varia$uc') & (sort('auff$u$u374hrung$u1$u1',ad) & (card('auff$u$u374hrung$u1$u1',int1) & (etype('auff$u$u374hrung$u1$u1',int0) & (fact('auff$u$u374hrung$u1$u1',real) & (gener('auff$u$u374hrung$u1$u1',ge) & (quant('auff$u$u374hrung$u1$u1',one) & (refer('auff$u$u374hrung$u1$u1','refer$uc') & (varia('auff$u$u374hrung$u1$u1','varia$uc') & (sort('nachricht$u1$u1',ad) & (sort('nachricht$u1$u1',d) & (sort('nachricht$u1$u1',io) & (card('nachricht$u1$u1',int1) & (etype('nachricht$u1$u1',int0) & (fact('nachricht$u1$u1',real) & (gener('nachricht$u1$u1',ge) & (quant('nachricht$u1$u1',one) & (refer('nachricht$u1$u1','refer$uc') & (varia('nachricht$u1$u1','varia$uc') & (sort('agentur$u1$u1',d) & (sort('agentur$u1$u1',io) & (card('agentur$u1$u1',int1) & (etype('agentur$u1$u1',int0) & (fact('agentur$u1$u1',real) & (gener('agentur$u1$u1',ge) & (quant('agentur$u1$u1',one) & (refer('agentur$u1$u1','refer$uc') & varia('agentur$u1$u1','varia$uc')))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))).
% 168.37/34.28 fof(state_adjective__in_state, axiom, ! [X0] : ! [X1] : ! [X2] : (((prop(X0,X1) & 'state$uadjective$ustate$ubinding'(X1,X2)) => ? [X3] : ? [X4] : ? [X5] : ((in(X5,X3) & (attr(X3,X4) & (loc(X0,X5) & (sub(X3,'land$u1$u1') & (sub(X4,'name$u1$u1') & val(X4,X2)))))))))).
% 168.37/34.28 fof(loc__stehen_1_1_loc, axiom, ! [X0] : ! [X1] : ((loc(X0,X1) => ? [X2] : ((loc(X2,X1) & (scar(X2,X0) & subs(X2,'stehen$u1$u1'))))))).
% 168.37/34.28 fof(fact_8886, axiom, 'state$uadjective$ustate$ubinding'('italienisch$u$u1$u1','italien$u0')).
% 168.37/34.28 fof(synth_qa07_004_mira_news_613, conjecture, ? [X0] : ? [X1] : ? [X2] : ? [X3] : ? [X4] : ((in(X2,X0) & (attr(X0,X1) & (loc(X4,X2) & (scar(X4,X3) & (sub(X1,'name$u1$u1') & subs(X4,'stehen$u1$u1')))))))).
% 168.37/34.28 fof(negated_conjecture, negated_conjecture, ~? [X0] : ? [X1] : ? [X2] : ? [X3] : ? [X4] : ((in(X2,X0) & (attr(X0,X1) & (loc(X4,X2) & (scar(X4,X3) & (sub(X1,'name$u1$u1') & subs(X4,'stehen$u1$u1'))))))), inference(negate_conjecture, [status(cth)], [synth_qa07_004_mira_news_613])).
% 168.37/34.28 cnf(c25, plain, prop(c40954,'italienisch$u$u1$u1'), inference(clausification, [status(esa)], [ave07_era5_synth_qa07_004_mira_news_613])).
% 168.37/34.28 cnf(c678, plain, ~prop(X0,X1) | ~'state$uadjective$ustate$ubinding'(X1,X2) | X3(X0,X2), inference(clausification, [status(esa)], [state_adjective__in_state])).
% 168.37/34.28 cnf(c679, plain, ~X0(X1,X2) | in(sK373(X1,X2),sK371(X1,X2)), inference(clausification, [status(esa)], [state_adjective__in_state])).
% 168.37/34.28 cnf(c680, plain, ~X0(X1,X2) | attr(sK371(X1,X2),sK372(X1,X2)), inference(clausification, [status(esa)], [state_adjective__in_state])).
% 168.37/34.28 cnf(c681, plain, ~X0(X1,X2) | loc(X1,sK373(X1,X2)), inference(clausification, [status(esa)], [state_adjective__in_state])).
% 168.37/34.28 cnf(c683, plain, ~X0(X1,X2) | sub(sK372(X1,X2),'name$u1$u1'), inference(clausification, [status(esa)], [state_adjective__in_state])).
% 168.37/34.28 cnf(c754, plain, ~loc(X0,X1) | loc(sK480(X0,X1),X1), inference(clausification, [status(esa)], [loc__stehen_1_1_loc])).
% 168.37/34.28 cnf(c755, plain, ~loc(X0,X1) | scar(sK480(X0,X1),X0), inference(clausification, [status(esa)], [loc__stehen_1_1_loc])).
% 168.37/34.28 cnf(c756, plain, ~loc(X0,X1) | subs(sK480(X0,X1),'stehen$u1$u1'), inference(clausification, [status(esa)], [loc__stehen_1_1_loc])).
% 168.37/34.28 cnf(c9643, plain, 'state$uadjective$ustate$ubinding'('italienisch$u$u1$u1','italien$u0'), inference(clausification, [status(esa)], [fact_8886])).
% 168.37/34.28 cnf(c10764, plain, ~attr(X0,X1) | ~subs(X2,'stehen$u1$u1') | ~sub(X1,'name$u1$u1') | ~scar(X2,X3) | ~loc(X2,X4) | ~in(X4,X0), inference(clausification, [status(esa)], [negated_conjecture])).
% 168.37/34.28 cnf(d0, plain, ~'Ts367'(X0,X1) | ~attr(sK371(X0,X1),X2) | ~sub(X2,'name$u1$u1') | ~subs(X3,'stehen$u1$u1') | ~loc(X3,sK373(X0,X1)) | ~scar(X3,X4), inference(resolution, [status(thm)], [c679,c10764])).
% 168.37/34.28 cnf(d1, plain, ~loc(X0,sK373(X1,X2)) | ~attr(sK371(X1,X2),X3) | ~sub(X3,'name$u1$u1') | ~subs(sK480(X0,sK373(X1,X2)),'stehen$u1$u1') | ~scar(sK480(X0,sK373(X1,X2)),X4) | ~'Ts367'(X1,X2), inference(resolution, [status(thm)], [c754,d0])).
% 168.37/34.28 cnf(d2, plain, ~attr(sK371(X0,X1),X2) | ~sub(X2,'name$u1$u1') | ~subs(sK480(X3,sK373(X0,X1)),'stehen$u1$u1') | ~loc(X3,sK373(X0,X1)) | ~'Ts367'(X0,X1) | ~loc(X3,sK373(X0,X1)), inference(resolution, [status(thm)], [d1,c755])).
% 168.37/34.28 cnf(d3, plain, ~attr(sK371(X0,X1),X2) | ~sub(X2,'name$u1$u1') | ~loc(X3,sK373(X0,X1)) | ~'Ts367'(X0,X1) | ~loc(X3,sK373(X0,X1)), inference(resolution, [status(thm)], [d2,c756])).
% 168.37/34.28 cnf(d4, plain, ~attr(sK371(X0,X1),X2) | ~sub(X2,'name$u1$u1') | ~'Ts367'(X0,X1) | ~'Ts367'(X0,X1), inference(resolution, [status(thm)], [d3,c681])).
% 168.37/34.28 cnf(d5, plain, ~sub(sK372(X0,X1),'name$u1$u1') | ~'Ts367'(X0,X1) | ~'Ts367'(X0,X1), inference(resolution, [status(thm)], [d4,c680])).
% 168.37/34.28 cnf(d6, plain, ~'Ts367'(X0,X1) | ~'Ts367'(X0,X1), inference(resolution, [status(thm)], [d5,c683])).
% 168.37/34.28 cnf(d7, plain, ~prop(X0,X1) | ~'state$uadjective$ustate$ubinding'(X1,X2), inference(resolution, [status(thm)], [d6,c678])).
% 168.37/34.28 cnf(d8, plain, ~prop(X0,'italienisch$u$u1$u1'), inference(resolution, [status(thm)], [d7,c9643])).
% 168.37/34.28 cnf(d9, plain, $false, inference(resolution, [status(thm)], [d8,c25])).
% 168.37/34.28 % SZS output end CNFRefutation for theBenchmark.p
%------------------------------------------------------------------------------