TSTP Solution File: LCL665+1.020 by ZenonModulo---0.4.2
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : ZenonModulo---0.4.2
% Problem : LCL665+1.020 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_zenon_modulo %d %s
% Computer : n016.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 : Sun Jul 17 16:30:44 EDT 2022
% Result : Unknown 201.35s 201.58s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.11 % Problem : LCL665+1.020 : TPTP v8.1.0. Released v4.0.0.
% 0.10/0.11 % Command : run_zenon_modulo %d %s
% 0.11/0.32 % Computer : n016.cluster.edu
% 0.11/0.32 % Model : x86_64 x86_64
% 0.11/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.32 % Memory : 8042.1875MB
% 0.11/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.32 % CPULimit : 300
% 0.11/0.32 % WCLimit : 600
% 0.11/0.32 % DateTime : Sat Jul 2 12:37:59 EDT 2022
% 0.11/0.32 % CPUTime :
% 201.35/201.57 Zenon error: exhausted search space without finding a proof
% 201.35/201.57 (* Current branch:
% 201.35/201.57 (p201 zenon_Vmv)
% 201.35/201.57 (zenon_Vvbe != zenon_Vnce)
% 201.35/201.57 (p43 zenon_Vsyd)
% 201.35/201.57 (p63 zenon_Vftd)
% 201.35/201.57 (p32 zenon_Vgzd)
% 201.35/201.57 (p194 zenon_Vkp)
% 201.35/201.57 (p65 zenon_Vdsd)
% 201.35/201.57 (p122 zenon_Vbec)
% 201.35/201.57 (p34 zenon_Vpxd)
% 201.35/201.57 (p52 zenon_Vbud)
% 201.35/201.57 (p32 zenon_Vsxd)
% 201.35/201.57 (p161 zenon_Vukb)
% 201.35/201.57 (p162 zenon_Vvza)
% 201.35/201.57 (-. (p23 zenon_Vice))
% 201.35/201.57 (p105 zenon_Vzyc)
% 201.35/201.57 (p55 zenon_Vkvd)
% 201.35/201.57 (p82 zenon_Vjed)
% 201.35/201.57 (p164 zenon_Vfza)
% 201.35/201.57 (p66 zenon_Vaqd)
% 201.35/201.57 (p62 zenon_Vaod)
% 201.35/201.57 (r1 Tau_0 Tau_2)
% 201.35/201.57 (p131 zenon_Vvjc)
% 201.35/201.57 (p44 zenon_Vbvd)
% 201.35/201.57 (r1 Tau_4 zenon_Vmce)
% 201.35/201.57 (p121 zenon_Varc)
% 201.35/201.57 (p13 zenon_X323)
% 201.35/201.57 (p81 zenon_Vsmd)
% 201.35/201.57 (p16 zenon_X310)
% 201.35/201.57 (zenon_Vdce != zenon_Vlce)
% 201.35/201.57 (p56 zenon_Vosd)
% 201.35/201.57 (p24 zenon_Vlae)
% 201.35/201.57 (p153 zenon_Vyqb)
% 201.35/201.57 (p123 zenon_Vuoc)
% 201.35/201.57 (p174 zenon_Vdia)
% 201.35/201.57 (p171 zenon_Vubb)
% 201.35/201.57 (p103 zenon_Vfbd)
% 201.35/201.57 (-. (p13 Tau_2))
% 201.35/201.57 (p113 zenon_Vmvc)
% 201.35/201.57 (-. (p25 zenon_Vmce))
% 201.35/201.57 (p71 zenon_Vard)
% 201.35/201.57 (p141 zenon_Vrcc)
% 201.35/201.57 (zenon_Vjbe != zenon_Vjce)
% 201.35/201.57 (p111 zenon_Vmxc)
% 201.35/201.57 (p84 zenon_Vagd)
% 201.35/201.57 (p63 zenon_Vzsd)
% 201.35/201.57 (p166 zenon_Vhsa)
% 201.35/201.57 (p33 zenon_Vqae)
% 201.35/201.57 (p22 zenon_Vzae)
% 201.35/201.57 (zenon_Vnbe != zenon_Vjce)
% 201.35/201.57 (p22 zenon_Vnae)
% 201.35/201.57 (r1 Tau_1 zenon_Vice)
% 201.35/201.57 (p101 zenon_Vbdd)
% 201.35/201.57 (p165 zenon_Vodb)
% 201.35/201.57 (p64 zenon_Vund)
% 201.35/201.57 (p12 zenon_X325)
% 201.35/201.57 (p55 zenon_Vpvd)
% 201.35/201.57 (p145 zenon_Vxwb)
% 201.35/201.57 (zenon_X325 != Tau_3)
% 201.35/201.57 (p126 zenon_Vnfc)
% 201.35/201.57 (p112 zenon_Vbxc)
% 201.35/201.57 (-. (p15 Tau_1))
% 201.35/201.57 (p166 zenon_Vpya)
% 201.35/201.57 (p123 zenon_Vgpc)
% 201.35/201.57 (r1 Tau_1 zenon_Vhce)
% 201.35/201.57 (p143 zenon_Vnzb)
% 201.35/201.57 (p176 zenon_Vyoa)
% 201.35/201.57 (p103 zenon_Vpbd)
% 201.35/201.57 (p176 zenon_Vmha)
% 201.35/201.57 (p195 zenon_Vhy)
% 201.35/201.57 (p81 zenon_Vand)
% 201.35/201.57 (p182 zenon_Vqea)
% 201.35/201.57 (-. (p25 zenon_Vhce))
% 201.35/201.57 (p173 zenon_Vzxa)
% 201.35/201.57 (p163 zenon_Vehb)
% 201.35/201.57 (p111 zenon_Vxxc)
% 201.35/201.57 (p174 zenon_Vppa)
% 201.35/201.57 (p166 zenon_Vlva)
% 201.35/201.57 (p173 zenon_Vixa)
% 201.35/201.57 (p16 zenon_X305)
% 201.35/201.57 (p83 zenon_Vold)
% 201.35/201.57 (p185 zenon_Vxka)
% 201.35/201.57 (p176 zenon_Vola)
% 201.35/201.57 (p51 zenon_Vhxd)
% 201.35/201.57 (-. (p23 zenon_Vkce))
% 201.35/201.57 (p214 zenon_Vtb)
% 201.35/201.57 (p54 zenon_Vgwd)
% 201.35/201.57 (p114 zenon_Vwnc)
% 201.35/201.57 (p15 zenon_X322)
% 201.35/201.57 (p184 zenon_Vyda)
% 201.35/201.57 (p95 zenon_Vkfd)
% 201.35/201.57 (p91 zenon_Vqid)
% 201.35/201.57 (p92 zenon_Vpyc)
% 201.35/201.57 (p62 zenon_Vmqd)
% 201.35/201.57 (p191 zenon_Vvga)
% 201.35/201.57 (p184 zenon_Vww)
% 201.35/201.57 (p153 zenon_Vjqb)
% 201.35/201.57 (zenon_Vrbe != zenon_Vice)
% 201.35/201.57 (p143 zenon_Vzyb)
% 201.35/201.57 (zenon_Vtbe != zenon_Vice)
% 201.35/201.57 (p71 zenon_Vhrd)
% 201.35/201.57 (p11 zenon_X327)
% 201.35/201.57 (p161 zenon_Vekb)
% 201.35/201.57 (p183 zenon_Vhoa)
% 201.35/201.57 (p35 zenon_Vhae)
% 201.35/201.57 (zenon_Vjbe != zenon_Vmce)
% 201.35/201.57 (zenon_Vrbe != zenon_Vkce)
% 201.35/201.57 (p21 zenon_Vzbe)
% 201.35/201.57 (p203 zenon_Vyq)
% 201.35/201.57 (p122 zenon_Vlgc)
% 201.35/201.57 (p45 zenon_Viyd)
% 201.35/201.57 (p94 zenon_Vybd)
% 201.35/201.57 (p156 zenon_Vzfb)
% 201.35/201.57 (zenon_X322 != Tau_1)
% 201.35/201.57 (p66 zenon_Vond)
% 201.35/201.57 (p185 zenon_Vvia)
% 201.35/201.57 (p122 zenon_Vvic)
% 201.35/201.57 (p106 zenon_Vwrc)
% 201.35/201.57 (p85 zenon_Vckd)
% 201.35/201.57 (p23 zenon_Vtbe)
% 201.35/201.57 (p144 zenon_Vasb)
% 201.35/201.57 (p165 zenon_Veeb)
% 201.35/201.57 (p81 zenon_Vkmd)
% 201.35/201.57 (p46 zenon_Vtvd)
% 201.35/201.57 (p204 zenon_Vqi)
% 201.35/201.57 (p181 zenon_Vrra)
% 201.35/201.57 (p203 zenon_Veq)
% 201.35/201.57 (p133 zenon_Vlhc)
% 201.35/201.57 (zenon_Vlbe != zenon_Vjce)
% 201.35/201.57 (p26 zenon_Vjae)
% 201.35/201.57 (p104 zenon_Vgsc)
% 201.35/201.57 (p154 zenon_Vycb)
% 201.35/201.57 (p126 zenon_Vxhc)
% 201.35/201.57 (p33 zenon_Vtae)
% 201.35/201.57 (p146 zenon_Vylb)
% 201.35/201.57 (p116 zenon_Vtkc)
% 201.35/201.57 (p196 zenon_Vro)
% 201.35/201.57 (p31 zenon_Vfbe)
% 201.35/201.57 (p94 zenon_Vcad)
% 201.35/201.57 (p25 zenon_Vlbe)
% 201.35/201.57 (zenon_X323 != Tau_2)
% 201.35/201.57 (p61 zenon_Vhud)
% 201.35/201.57 (zenon_X326 != Tau_4)
% 201.35/201.57 (p56 zenon_Vmrd)
% 201.35/201.57 (p133 zenon_Vygc)
% 201.35/201.57 (p102 zenon_Vqsc)
% 201.35/201.57 (p74 zenon_Vcmd)
% 201.35/201.57 (p114 zenon_Velc)
% 201.35/201.57 (p22 zenon_Vyzd)
% 201.35/201.57 (p113 zenon_Vbvc)
% 201.35/201.57 (p165 zenon_Vkfb)
% 201.35/201.57 (p102 zenon_Vqwc)
% 201.35/201.57 (p41 zenon_Vozd)
% 201.35/201.57 (p26 zenon_Vuzd)
% 201.35/201.57 (p15 zenon_X321)
% 201.35/201.57 (p116 zenon_Vlnc)
% 201.35/201.57 (p34 zenon_Vdzd)
% 201.35/201.57 (-. (p12 Tau_3))
% 201.35/201.57 (p171 zenon_Vdbb)
% 201.35/201.57 (p125 zenon_Vomc)
% 201.35/201.57 (p161 zenon_Vklb)
% 201.35/201.57 (p135 zenon_Vbfc)
% 201.35/201.57 (p41 zenon_Vszd)
% 201.35/201.57 (p74 zenon_Vejd)
% 201.35/201.57 (p32 zenon_Voyd)
% 201.35/201.57 (p162 zenon_Vnta)
% 201.35/201.57 (p205 zenon_Vql)
% 201.35/201.57 (p14 zenon_X311)
% 201.35/201.57 (p13 zenon_X324)
% 201.35/201.57 (p56 zenon_Vwtd)
% 201.35/201.57 (p102 zenon_Vquc)
% 201.35/201.57 (p205 zenon_Vyn)
% 201.35/201.57 (zenon_X327 != Tau_4)
% 201.35/201.57 (p93 zenon_Vrgd)
% 201.35/201.57 (p155 zenon_Vpnb)
% 201.35/201.57 (p144 zenon_Vgpb)
% 201.35/201.57 (p116 zenon_Vrpc)
% 201.35/201.57 (p76 zenon_Vjkd)
% 201.35/201.57 (-. (p25 zenon_Vjce))
% 201.35/201.57 (p92 zenon_Vlad)
% 201.35/201.57 (p212 zenon_Vnc)
% 201.35/201.57 (p104 zenon_Vguc)
% 201.35/201.57 (p124 zenon_Vjic)
% 201.35/201.57 (p206 zenon_Vgd)
% 201.35/201.57 (p193 zenon_Vvba)
% 201.35/201.57 (p83 zenon_Vykd)
% 201.35/201.57 (p76 zenon_Vvld)
% 201.35/201.57 (p53 zenon_Vqwd)
% 201.35/201.57 (p182 zenon_Vcba)
% 201.35/201.57 (p126 zenon_Vddc)
% 201.35/201.57 (p125 zenon_Vanc)
% 201.35/201.57 (zenon_Vvbe != zenon_Vkce)
% 201.35/201.57 (p185 zenon_Vnja)
% 201.35/201.57 (p51 zenon_Vmxd)
% 201.35/201.57 (p124 zenon_Vzfc)
% 201.35/201.57 (p45 zenon_Vayd)
% 201.35/201.57 (p23 zenon_Vvbe)
% 201.35/201.57 (p64 zenon_Vgqd)
% 201.35/201.57 (zenon_Vnbe != zenon_Vhce)
% 201.35/201.57 (p175 zenon_Veua)
% 201.35/201.57 (p105 zenon_Vjzc)
% 201.35/201.57 (p72 zenon_Vtqd)
% 201.35/201.57 (p46 zenon_Vuwd)
% 201.35/201.57 (p121 zenon_Vmrc)
% 201.35/201.57 (zenon_Vjbe != zenon_Vhce)
% 201.35/201.57 (p45 zenon_Veyd)
% 201.35/201.57 (p206 zenon_Vof)
% 201.35/201.57 (p26 zenon_Vvae)
% 201.35/201.57 (p216 zenon_Vfa)
% 201.35/201.57 (p101 zenon_Vldd)
% 201.35/201.57 (p61 zenon_Vnud)
% 201.35/201.57 (p194 zenon_Vwk)
% 201.35/201.57 (p81 zenon_Vind)
% 201.35/201.57 (zenon_Vzbe != zenon_Vlce)
% 201.35/201.57 (p44 zenon_Vxvd)
% 201.35/201.57 (p65 zenon_Vxrd)
% 201.35/201.57 (p142 zenon_Vupb)
% 201.35/201.57 (p196 zenon_Vdk)
% 201.35/201.57 (p74 zenon_Vqkd)
% 201.35/201.57 (p151 zenon_Vstb)
% 201.35/201.57 (p82 zenon_Vigd)
% 201.35/201.57 (p16 zenon_X315)
% 201.35/201.57 (r1 Tau_0 Tau_4)
% 201.35/201.57 (p24 zenon_Vwzd)
% 201.35/201.57 (p202 zenon_Vkj)
% 201.35/201.57 (p183 zenon_Vpna)
% 201.35/201.57 (p204 zenon_Vig)
% 201.35/201.57 (r1 Tau_0 Tau_3)
% 201.35/201.57 (p164 zenon_Vbwa)
% 201.35/201.57 (p202 zenon_Vue)
% 201.35/201.57 (p206 zenon_Vwh)
% 201.35/201.57 (p186 zenon_Vgda)
% 201.35/201.57 (p85 zenon_Vujd)
% 201.35/201.57 (p183 zenon_Vxma)
% 201.35/201.57 (p186 zenon_Vew)
% 201.35/201.57 (p95 zenon_Vbfd)
% 201.35/201.57 (p65 zenon_Vjsd)
% 201.35/201.57 (p25 zenon_Vjbe)
% 201.35/201.57 (p182 zenon_Vox)
% 201.35/201.57 (p41 zenon_Vkzd)
% 201.35/201.57 (p93 zenon_Vahd)
% 201.35/201.57 (p21 zenon_Vdce)
% 201.35/201.57 (p141 zenon_Vdcc)
% 201.35/201.57 (p181 zenon_Vzqa)
% 201.35/201.57 (zenon_X324 != Tau_2)
% 201.35/201.57 (p82 zenon_Vyhd)
% 201.35/201.57 (zenon_Vtbe != zenon_Vkce)
% 201.35/201.57 (p23 zenon_Vrbe)
% 201.35/201.57 (p184 zenon_Vkaa)
% 201.35/201.57 (zenon_Vtbe != zenon_Vnce)
% 201.35/201.57 (p115 zenon_Vmtc)
% 201.35/201.57 (p121 zenon_Voqc)
% 201.35/201.57 (p163 zenon_Vkib)
% 201.35/201.57 (p201 zenon_Vsu)
% 201.35/201.57 (p136 zenon_Vyxb)
% 201.35/201.57 (p132 zenon_Vijc)
% 201.35/201.57 (p86 zenon_Vsfd)
% 201.35/201.57 (zenon_Vvbe != zenon_Vice)
% 201.35/201.57 (p185 zenon_Vfka)
% 201.35/201.57 (r1 Tau_0 Tau_1)
% 201.35/201.57 (p154 zenon_Vogb)
% 201.35/201.57 (p35 zenon_Veae)
% 201.35/201.57 (p61 zenon_Vtud)
% 201.35/201.57 (p152 zenon_Vdtb)
% 201.35/201.57 (p94 zenon_Vgyc)
% 201.35/201.57 (p84 zenon_Vbed)
% 201.35/201.57 (p136 zenon_Vuub)
% 201.35/201.57 (p46 zenon_Vxud)
% 201.35/201.57 (p186 zenon_Vsz)
% 201.35/201.57 (p43 zenon_Vwyd)
% 201.35/201.57 (p141 zenon_Vpbc)
% 201.35/201.57 (p191 zenon_Vcga)
% 201.35/201.57 (p201 zenon_Vyt)
% 201.35/201.57 (p52 zenon_Vtsd)
% 201.35/201.57 (p146 zenon_Vsob)
% 201.35/201.57 (p75 zenon_Vood)
% 201.35/201.57 (p195 zenon_Vaz)
% 201.35/201.57 (p124 zenon_Vpdc)
% 201.35/201.57 (p104 zenon_Vgwc)
% 201.35/201.57 (p63 zenon_Vrtd)
% 201.35/201.57 (p125 zenon_Vcmc)
% 201.35/201.57 (r1 Tau_4 zenon_Vnce)
% 201.35/201.57 (p73 zenon_Vupd)
% 201.35/201.57 (p83 zenon_Vgld)
% 201.35/201.57 (p115 zenon_Vbtc)
% 201.35/201.57 (zenon_Vrbe != zenon_Vnce)
% 201.35/201.57 (p96 zenon_Vsed)
% 201.35/201.57 (p142 zenon_Vanb)
% 201.35/201.57 (zenon_Vfce != zenon_Vlce)
% 201.35/201.57 (p14 zenon_X316)
% 201.35/201.57 (p134 zenon_Vlyb)
% 201.35/201.57 (p134 zenon_Vbbc)
% 201.35/201.57 (p14 zenon_X306)
% 201.35/201.57 (p202 zenon_Vch)
% 201.35/201.57 (p106 zenon_Vwtc)
% 201.35/201.57 (p164 zenon_Vxsa)
% 201.35/201.57 (p34 zenon_Vlyd)
% 201.35/201.57 (p92 zenon_Vhcd)
% 201.35/201.57 (p114 zenon_Vcqc)
% 201.35/201.57 (-. (p11 Tau_4))
% 201.35/201.57 (p84 zenon_Vqhd)
% 201.35/201.57 (p66 zenon_Vuod)
% 201.35/201.57 (p196 zenon_Vls)
% 201.35/201.57 (p146 zenon_Vmrb)
% 201.35/201.57 (p154 zenon_Vojb)
% 201.35/201.57 (p103 zenon_Vvad)
% 201.35/201.57 (p106 zenon_Vwvc)
% 201.35/201.57 (p42 zenon_Vbwd)
% 201.35/201.57 (p91 zenon_Vhid)
% 201.35/201.57 (p21 zenon_Vbce)
% 201.35/201.57 (p85 zenon_Vmjd)
% 201.35/201.57 (p194 zenon_Vet)
% 201.35/201.57 (p25 zenon_Vnbe)
% 201.35/201.57 (-. (p23 zenon_Vnce))
% 201.35/201.57 (r1 Tau_2 zenon_Vkce)
% 201.35/201.57 (p86 zenon_Vihd)
% 201.35/201.57 (p75 zenon_Vhod)
% 201.35/201.57 (p43 zenon_Vazd)
% 201.35/201.57 (p135 zenon_Voec)
% 201.35/201.57 (p162 zenon_Vrwa)
% 201.35/201.57 (p24 zenon_Vxae)
% 201.35/201.57 (p125 zenon_Vqlc)
% 201.35/201.57 (zenon_Vbce != zenon_Vlce)
% 201.35/201.57 (p36 zenon_Vbae)
% 201.35/201.57 (p136 zenon_Voac)
% 201.35/201.57 (p53 zenon_Vlwd)
% 201.35/201.57 (p203 zenon_Vsr)
% 201.35/201.57 (r1 Tau_2 zenon_Vjce)
% 201.35/201.57 (p44 zenon_Vywd)
% 201.35/201.57 (p156 zenon_Vzib)
% 201.35/201.57 (p63 zenon_Vltd)
% 201.35/201.57 (p45 zenon_Vwxd)
% 201.35/201.57 (p31 zenon_Vcbe)
% 201.35/201.57 (p62 zenon_Vgpd)
% 201.35/201.57 (p165 zenon_Vueb)
% 201.35/201.57 (p205 zenon_Vkm)
% 201.35/201.57 (p155 zenon_Veob)
% 201.35/201.57 (p42 zenon_Vfvd)
% 201.35/201.57 (-. (p21 zenon_Vlce))
% 201.35/201.57 (p192 zenon_Vjfa)
% 201.35/201.57 (p145 zenon_Vvvb)
% 201.35/201.57 (zenon_X321 != Tau_1)
% 201.35/201.57 (zenon_Vnbe != zenon_Vmce)
% 201.35/201.57 (p131 zenon_Vikc)
% 201.35/201.57 (p193 zenon_Voca)
% 201.35/201.57 (p64 zenon_Vapd)
% 201.35/201.57 (p172 zenon_Vmab)
% 201.35/201.57 (p163 zenon_Vuhb)
% 201.35/201.57 (p134 zenon_Vhvb)
% 201.35/201.57 (p86 zenon_Vtdd)
% 201.35/201.57 (p76 zenon_Vxid)
% 201.35/201.57 (p11 zenon_X326)
% 201.35/201.57 (p143 zenon_Vbac)
% 201.35/201.57 (r1 Tau_3 zenon_Vlce)
% 201.35/201.57 (p105 zenon_Vtzc)
% 201.35/201.57 (zenon_Vlbe != zenon_Vmce)
% 201.35/201.57 (p145 zenon_Vjwb)
% 201.35/201.57 (p151 zenon_Vhub)
% 201.35/201.57 (p145 zenon_Vlxb)
% 201.35/201.57 (p52 zenon_Vrrd)
% 201.35/201.57 (p156 zenon_Vjcb)
% 201.35/201.57 (p204 zenon_Vae)
% 201.35/201.57 (p174 zenon_Vfma)
% 201.35/201.57 (p73 zenon_Vnpd)
% 201.35/201.57 (p212 zenon_Vza)
% 201.35/201.57 (p142 zenon_Vosb)
% 201.35/201.57 (p101 zenon_Vrcd)
% 201.35/201.57 (p205 zenon_Ven)
% 201.35/201.57 (p181 zenon_Vhqa)
% 201.35/201.57 (p123 zenon_Vioc)
% 201.35/201.57 (p144 zenon_Vmmb)
% 201.35/201.57 (zenon_Vlbe != zenon_Vhce)
% 201.35/201.57 (p42 zenon_Vcxd)
% 201.35/201.57 (p175 zenon_Vvua)
% 201.35/201.57 (p21 zenon_Vfce)
% 201.35/201.57 *)
% 201.35/201.57 (* NO-PROOF *)
% 201.35/201.57 % SZS status GaveUp
% 201.35/201.57 nodes searched: 7029
% 201.35/201.57 max branch formulas: 7345
% 201.35/201.57 proof nodes created: 14
% 201.35/201.57 formulas created: 43572
% 201.35/201.57
%------------------------------------------------------------------------------