TSTP Solution File: SYO528^1 by LEO-II---1.7.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : LEO-II---1.7.0
% Problem : SYO528^1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp
% Command : leo --timeout %d --proofoutput 1 --foatp e --atp e=./eprover %s
% Computer : n023.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 : 600s
% DateTime : Thu Jul 21 17:35:23 EDT 2022
% Result : Timeout 300.02s 300.20s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.13 % Problem : SYO528^1 : TPTP v8.1.0. Released v5.2.0.
% 0.11/0.14 % Command : leo --timeout %d --proofoutput 1 --foatp e --atp e=./eprover %s
% 0.14/0.35 % Computer : n023.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Fri Jul 8 23:32:11 EDT 2022
% 0.14/0.35 % CPUTime :
% 0.14/0.36
% 0.14/0.36 No.of.Axioms: 10
% 0.14/0.36
% 0.14/0.36 Length.of.Defs: 0
% 0.14/0.36
% 0.14/0.36 Contains.Choice.Funs: true
% 0.14/0.36 (rf:0,axioms:10,ps:3,u:1,ude:false,rLeibEQ:true,rAndEQ:true,use_choice:true,use_extuni:true,use_extcnf_combined:true,expand_extuni:false,foatp:e,atp_timeout:25,atp_calls_frequency:10,ordering:none,proof_output:1,protocol_output:false,clause_count:12,loop_count:0,foatp_calls:0,translation:fof_full)....
% 0.21/0.43
% 0.21/0.43 *** Modified list of choice operators: eps1 ***
% 0.21/0.43
% 0.21/0.43 *** Modified list of choice operators: eps2, eps1 ***
% 0.21/0.43 .
% 0.21/0.43
% 0.21/0.43 *** Modified list of choice operators: eps3, eps2, eps1 ***
% 0.21/0.43
% 0.21/0.43 *** Modified list of choice operators: eps4, eps3, eps2, eps1 ***
% 0.21/0.43 ..............................................................................................
% 6.15/6.33
% 6.15/6.33 Prim_subst applied to clause
% 6.15/6.33
% 6.15/6.33 3016:[ 0:<SV383@$true = $false>-w(1)-i() 1:<SV383@(eps1@SV383) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 161)-o(AXIOM)-fv([ SV383 ])
% 6.15/6.39
% 6.15/6.39 Prim_subst applied to clause
% 6.15/6.39
% 6.15/6.39 3016:[ 0:<SV383@$true = $false>-w(1)-i() 1:<SV383@(eps1@SV383) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 161)-o(AXIOM)-fv([ SV383 ])
% 6.23/6.45 .
% 7.40/7.61
% 7.40/7.61 Prim_subst applied to clause
% 7.40/7.61
% 7.40/7.61 3063:[ 0:<SV474@$false = $false>-w(1)-i() 1:<SV474@(eps1@SV474) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 162)-o(AXIOM)-fv([ SV474 ])
% 7.49/7.67
% 7.49/7.67 Prim_subst applied to clause
% 7.49/7.67
% 7.49/7.67 3063:[ 0:<SV474@$false = $false>-w(1)-i() 1:<SV474@(eps1@SV474) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 162)-o(AXIOM)-fv([ SV474 ])
% 7.56/7.73 .
% 9.02/9.23
% 9.02/9.23 Prim_subst applied to clause
% 9.02/9.23
% 9.02/9.23 3110:[ 0:<SV565 = $false>-w(1)-i() 1:<eps1@(^[SX0:$o]: SX0) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 169)-o(AXIOM)-fv([ SV565 ])
% 9.12/9.29 .eprover: CPU time limit exceeded, terminating
% 36.01/36.20
% 36.01/36.20
% 36.01/36.20 Prim_subst applied to clause
% 36.01/36.20
% 36.01/36.20 3151:[ 0:<SV585@$true = $false>-w(1)-i() 1:<SV585@(eps2@SV585) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 176)-o(AXIOM)-fv([ SV585 ])
% 36.14/36.31
% 36.14/36.31 Prim_subst applied to clause
% 36.14/36.31
% 36.14/36.31 3151:[ 0:<SV585@$true = $false>-w(1)-i() 1:<SV585@(eps2@SV585) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 176)-o(AXIOM)-fv([ SV585 ])
% 36.24/36.43 ..
% 38.52/38.71
% 38.52/38.71 Prim_subst applied to clause
% 38.52/38.71
% 38.52/38.71 3205:[ 0:<SV679@$false = $false>-w(1)-i() 1:<SV679@(eps2@SV679) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 177)-o(AXIOM)-fv([ SV679 ])
% 38.63/38.80
% 38.63/38.80 Prim_subst applied to clause
% 38.63/38.80
% 38.63/38.80 3205:[ 0:<SV679@$false = $false>-w(1)-i() 1:<SV679@(eps2@SV679) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 177)-o(AXIOM)-fv([ SV679 ])
% 41.06/41.26 .
% 41.31/41.48
% 41.31/41.48 Prim_subst applied to clause
% 41.31/41.48
% 41.31/41.48 3259:[ 0:<SV773 = $false>-w(1)-i() 1:<eps2@(^[SX0:$o]: SX0) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 184)-o(AXIOM)-fv([ SV773 ])
% 44.01/44.21 .
% 44.16/44.37
% 44.16/44.37 Prim_subst applied to clause
% 44.16/44.37
% 44.16/44.37 3310:[ 0:<SV793@$true = $false>-w(1)-i() 1:<SV793@(eps3@SV793) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 191)-o(AXIOM)-fv([ SV793 ])
% 44.25/44.47
% 44.25/44.47 Prim_subst applied to clause
% 44.25/44.47
% 44.25/44.47 3310:[ 0:<SV793@$true = $false>-w(1)-i() 1:<SV793@(eps3@SV793) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 191)-o(AXIOM)-fv([ SV793 ])
% 44.44/44.63 ..
% 47.85/48.05
% 47.85/48.05 Prim_subst applied to clause
% 47.85/48.05
% 47.85/48.05 3371:[ 0:<SV890@$false = $false>-w(1)-i() 1:<SV890@(eps3@SV890) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 192)-o(AXIOM)-fv([ SV890 ])
% 47.92/48.16
% 47.92/48.16 Prim_subst applied to clause
% 47.92/48.16
% 47.92/48.16 3371:[ 0:<SV890@$false = $false>-w(1)-i() 1:<SV890@(eps3@SV890) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 192)-o(AXIOM)-fv([ SV890 ])
% 48.32/48.50 .
% 52.63/52.82
% 52.63/52.82 Prim_subst applied to clause
% 52.63/52.82
% 52.63/52.82 3432:[ 0:<SV987 = $false>-w(1)-i() 1:<eps3@(^[SX0:$o]: SX0) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 199)-o(AXIOM)-fv([ SV987 ])
% 52.82/53.00 ..
% 57.51/57.73
% 57.51/57.73 Prim_subst applied to clause
% 57.51/57.73
% 57.51/57.73 3493:[ 0:<SV1007@$true = $false>-w(1)-i() 1:<SV1007@(eps4@SV1007) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 206)-o(AXIOM)-fv([ SV1007 ])
% 57.66/57.88
% 57.66/57.88 Prim_subst applied to clause
% 57.66/57.88
% 57.66/57.88 3493:[ 0:<SV1007@$true = $false>-w(1)-i() 1:<SV1007@(eps4@SV1007) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 206)-o(AXIOM)-fv([ SV1007 ])
% 58.11/58.30 .
% 63.21/63.40
% 63.21/63.40 Prim_subst applied to clause
% 63.21/63.40
% 63.21/63.40 3561:[ 0:<SV1107@$false = $false>-w(1)-i() 1:<SV1107@(eps4@SV1107) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 207)-o(AXIOM)-fv([ SV1107 ])
% 63.34/63.55 .
% 63.34/63.55
% 63.34/63.55 Prim_subst applied to clause
% 63.34/63.55
% 63.34/63.55 3561:[ 0:<SV1107@$false = $false>-w(1)-i() 1:<SV1107@(eps4@SV1107) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 207)-o(AXIOM)-fv([ SV1107 ])
% 63.81/64.04 .
% 69.94/70.17
% 69.94/70.17 Prim_subst applied to clause
% 69.94/70.17
% 69.94/70.17 3629:[ 0:<SV1207 = $false>-w(1)-i() 1:<eps4@(^[SX0:$o]: SX0) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 214)-o(AXIOM)-fv([ SV1207 ])
% 70.11/70.34 .
% 76.53/76.75 (rf:0,axioms:10,ps:0,u:1,ude:true,rLeibEQ:true,rAndEQ:true,use_choice:true,use_extuni:true,use_extcnf_combined:true,expand_extuni:false,foatp:e,atp_timeout:25,atp_calls_frequency:10,ordering:none,proof_output:1,protocol_output:false,clause_count:12,loop_count:0,foatp_calls:0,translation:fof_full).....
% 76.53/76.80
% 76.53/76.80 *** Modified list of choice operators: eps1 ***
% 76.53/76.80
% 76.53/76.80 *** Modified list of choice operators: eps2, eps1 ***
% 76.53/76.80
% 76.53/76.80 *** Modified list of choice operators: eps3, eps2, eps1 ***
% 76.53/76.80
% 76.53/76.80 *** Modified list of choice operators: eps4, eps3, eps2, eps1 ***
% 76.53/76.80 .......................................
% 78.01/78.20
% 78.01/78.20 Prim_subst applied to clause
% 78.01/78.20
% 78.01/78.20 2667:[ 0:<SV383@$true = $false>-w(1)-i() 1:<SV383@(eps1@SV383) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 172)-o(AXIOM)-fv([ SV383 ])
% 78.01/78.20
% 78.01/78.20 Prim_subst applied to clause
% 78.01/78.20
% 78.01/78.20 2667:[ 0:<SV383@$true = $false>-w(1)-i() 1:<SV383@(eps1@SV383) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 172)-o(AXIOM)-fv([ SV383 ])
% 78.01/78.21 .
% 78.27/78.47
% 78.27/78.47 Prim_subst applied to clause
% 78.27/78.47
% 78.27/78.47 2688:[ 0:<SV474@$false = $false>-w(1)-i() 1:<SV474@(eps1@SV474) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 173)-o(AXIOM)-fv([ SV474 ])
% 78.27/78.47
% 78.27/78.47 Prim_subst applied to clause
% 78.27/78.47
% 78.27/78.47 2688:[ 0:<SV474@$false = $false>-w(1)-i() 1:<SV474@(eps1@SV474) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 173)-o(AXIOM)-fv([ SV474 ])
% 78.31/78.51 .
% 78.66/78.83
% 78.66/78.83 Prim_subst applied to clause
% 78.66/78.83
% 78.66/78.83 2711:[ 0:<SV565 = $false>-w(1)-i() 1:<eps1@(^[SX0:$o]: SX0) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 180)-o(AXIOM)-fv([ SV565 ])
% 79.05/79.37 .
% 79.19/79.37
% 79.19/79.37 Prim_subst applied to clause
% 79.19/79.37
% 79.19/79.37 2742:[ 0:<SV585@$true = $false>-w(1)-i() 1:<SV585@(eps2@SV585) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 187)-o(AXIOM)-fv([ SV585 ])
% 79.19/79.37
% 79.19/79.37 Prim_subst applied to clause
% 79.19/79.37
% 79.19/79.37 2742:[ 0:<SV585@$true = $false>-w(1)-i() 1:<SV585@(eps2@SV585) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 187)-o(AXIOM)-fv([ SV585 ])
% 79.65/79.83 .
% 79.65/79.89
% 79.65/79.89 Prim_subst applied to clause
% 79.65/79.89
% 79.65/79.89 2770:[ 0:<SV679@$false = $false>-w(1)-i() 1:<SV679@(eps2@SV679) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 188)-o(AXIOM)-fv([ SV679 ])
% 79.65/79.89
% 79.65/79.89 Prim_subst applied to clause
% 79.65/79.89
% 79.65/79.89 2770:[ 0:<SV679@$false = $false>-w(1)-i() 1:<SV679@(eps2@SV679) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 188)-o(AXIOM)-fv([ SV679 ])
% 79.72/79.94 .
% 80.43/80.63
% 80.43/80.63 Prim_subst applied to clause
% 80.43/80.63
% 80.43/80.63 2800:[ 0:<SV773 = $false>-w(1)-i() 1:<eps2@(^[SX0:$o]: SX0) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 195)-o(AXIOM)-fv([ SV773 ])
% 80.47/80.72 .
% 81.21/81.43
% 81.21/81.43 Prim_subst applied to clause
% 81.21/81.43
% 81.21/81.43 2841:[ 0:<SV793@$true = $false>-w(1)-i() 1:<SV793@(eps3@SV793) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 202)-o(AXIOM)-fv([ SV793 ])
% 81.21/81.43
% 81.21/81.43 Prim_subst applied to clause
% 81.21/81.43
% 81.21/81.43 2841:[ 0:<SV793@$true = $false>-w(1)-i() 1:<SV793@(eps3@SV793) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 202)-o(AXIOM)-fv([ SV793 ])
% 81.21/81.43 ..
% 82.09/82.31
% 82.09/82.31 Prim_subst applied to clause
% 82.09/82.31
% 82.09/82.31 2876:[ 0:<SV890@$false = $false>-w(1)-i() 1:<SV890@(eps3@SV890) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 203)-o(AXIOM)-fv([ SV890 ])
% 82.09/82.31
% 82.09/82.31 Prim_subst applied to clause
% 82.09/82.31
% 82.09/82.31 2876:[ 0:<SV890@$false = $false>-w(1)-i() 1:<SV890@(eps3@SV890) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 203)-o(AXIOM)-fv([ SV890 ])
% 83.02/83.21 .
% 83.32/83.57
% 83.32/83.57 Prim_subst applied to clause
% 83.32/83.57
% 83.32/83.57 2913:[ 0:<SV987 = $false>-w(1)-i() 1:<eps3@(^[SX0:$o]: SX0) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 210)-o(AXIOM)-fv([ SV987 ])
% 83.56/83.73 .
% 84.79/84.98
% 84.79/84.98 Prim_subst applied to clause
% 84.79/84.98
% 84.79/84.98 2964:[ 0:<SV1007@$true = $false>-w(1)-i() 1:<SV1007@(eps4@SV1007) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 217)-o(AXIOM)-fv([ SV1007 ])
% 84.79/84.98
% 84.79/84.98 Prim_subst applied to clause
% 84.79/84.98
% 84.79/84.98 2964:[ 0:<SV1007@$true = $false>-w(1)-i() 1:<SV1007@(eps4@SV1007) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 217)-o(AXIOM)-fv([ SV1007 ])
% 84.79/84.98 ..
% 86.24/86.46
% 86.24/86.46 Prim_subst applied to clause
% 86.24/86.46
% 86.24/86.46 3006:[ 0:<SV1107@$false = $false>-w(1)-i() 1:<SV1107@(eps4@SV1107) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 218)-o(AXIOM)-fv([ SV1107 ])
% 86.24/86.46
% 86.24/86.46 Prim_subst applied to clause
% 86.24/86.46
% 86.24/86.46 3006:[ 0:<SV1107@$false = $false>-w(1)-i() 1:<SV1107@(eps4@SV1107) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 218)-o(AXIOM)-fv([ SV1107 ])
% 86.32/86.55 ..
% 88.34/88.52
% 88.34/88.52 Prim_subst applied to clause
% 88.34/88.52
% 88.34/88.52 3050:[ 0:<SV1207 = $false>-w(1)-i() 1:<eps4@(^[SX0:$o]: SX0) = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 225)-o(AXIOM)-fv([ SV1207 ])
% 90.29/90.47 ......
% 99.65/99.85
% 99.65/99.85 Prim_subst applied to clause
% 99.65/99.85
% 99.65/99.85 3303:[ 0:<eps1@(^[SX0:$o]: (~ (SX0))) = $false>-w(1)-i() 1:<SV1251 = $true>-w(1)-i() ]-mln(2)-w(2)-i(rename 267)-o(AXIOM)-fv([ SV1251 ])
% 99.82/100.03 .............................................................................................................................................................................................................................................................................................................................
% 150.95/151.13 (rf:0,axioms:10,ps:3,u:8,ude:false,rLeibEQ:true,rAndEQ:true,use_choice:true,use_extuni:false,use_extcnf_combined:true,expand_extuni:false,foatp:e,atp_timeout:25,atp_calls_frequency:10,ordering:none,proof_output:1,protocol_output:false,clause_count:12,loop_count:0,foatp_calls:0,translation:fof_full).....
% 150.95/151.18
% 150.95/151.18 *** Modified list of choice operators: eps1 ***
% 150.95/151.18
% 150.95/151.18 *** Modified list of choice operators: eps2, eps1 ***
% 150.95/151.18
% 150.95/151.18 *** Modified list of choice operators: eps3, eps2, eps1 ***
% 150.95/151.18
% 150.95/151.18 *** Modified list of choice operators: eps4, eps3, eps2, eps1 ***
% 150.95/151.19 ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
% 300.02/300.20 % SZS status ResourceOut for /export/starexec/sandbox/benchmark/theBenchmark.p
%------------------------------------------------------------------------------