TSTP Solution File: SYN844-1 by SETHEO---3.3
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SETHEO---3.3
% Problem : SYN844-1 : TPTP v5.0.0. Released v2.5.0.
% Transfm : add_equality
% Format : setheo
% Command : setheo-wrapper %s
% Computer : art07.cs.miami.edu
% Model : i686 i686
% CPU : Intel(R) Pentium(R) 4 CPU 2.80GHz @ 2793MHz
% Memory : 2018MB
% OS : Linux 2.6.26.8-57.fc8
% CPULimit : 300s
% DateTime : Sat Dec 25 03:08:39 EST 2010
% Result : GaveUp 1.85s
% Output : None
% Verified :
% SZS Type : None (Parsing solution fails)
% Syntax : Number of formulae : 0
% Comments :
%------------------------------------------------------------------------------
%----NO SOLUTION OUTPUT BY SYSTEM
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% /tmp/SystemOnTPTP2224/SYN SYN844-1+noeq /tmp/SystemOnTPTP2224/SYN/SYN844-1+noeq
% MUST DELETE /tmp/SystemOnTPTP2224/SYN/SYN844-1+noeq.hex
% MUST DELETE /tmp/SystemOnTPTP2224/SYN/SYN844-1+noeq.log
% MUST DELETE /tmp/SystemOnTPTP2224/SYN/SYN844-1+noeq.tree
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% codegen: 25336 [199999] labels, 7026 colls [151136 accesses]
% Assembler optimization: 15573 labels read, 3720 labels output
% /tmp/SystemOnTPTP2224/SYN/SYN844-1+noeq.hex generated in 1.01 seconds
% inwasm V4.02b [wasm-less] Copyright TU Munich 1998 (03/30/98)
% Command line: /home/graph/tptp/Systems/SETHEO---3.3/setheo.linux/inwasm -cons -foldup /tmp/SystemOnTPTP2224/SYN/SYN844-1+noeq
% Parsing input-file.
% Preprocessing: Generating weak-unification.
% Preprocessing: purity
% Message: Deleted clauses : 7 13 8 9 10 4 14 15 16 11 21 22 23 25 29 26 28 38 40 41 42 43 45 58 61 59 62 56 63 75 76 83 85 88 79 82 80 84 95 87 90 89 78 107 110 113 114 116 103 109 127 134 133 135 152 154 153 159 157 158 161 184 187 191 179 213 217 219 231 255 256 258 260 287 289 292 293 296 299 307 308 309 332 333 334 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 371 365 366 367 370 372 373 374 375 378 379 380 381 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 409 412 413 416 420 424 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576
% Message: Making sortarray.
% Preprocessing: orbranch reordering
% Preprocessing: inserting tautology-constraints
% Preprocessing: inserting subsumption-constraints
% Message: 97 subsumption-constraints generated.
% Preprocessing: removing redundant constraints
% Message: 0 constraints deleted.
% Preprocessing: fanning
% Preprocessing: inserting reduction steps
% Preprocessing: inserting symmetry constraints
% Preprocessing: removing redundant constraints
% Message: 0 constraints deleted.
% Preprocessing: subgoal reordering
% Codegeneration.
% SAM V4.0[LINUX,PIL] Copyright TU Munich (June 1999)
% 32 bit word format
% main.c built on Feb 12 2004 at 21:51:21
% run Sat Dec 25 03:08:43 2010
% Options : -dr -cons -dynsgreord 2 /tmp/SystemOnTPTP2224/SYN/SYN844-1+noeq
% using antilemma-constraints
% using regularity-constraints
% using tautology-constraints
% using subsumption-constraints
% Loading code...
% Initializing memory...
% Initializing registers1...
% Initializing registers2...
% Initializing bounds...
% Initializing signals...
% Start proving...
% -d: 2 SETHEO ERROR: stack overflow
% time < 0.01 sec inferences = 510 fails = 0
% ******** INTERRUPT FAILURE ************
% Intermediate free variables : 0
% Intermediate inferences : 0
% Intermediate open subgoals : 0
% Generated antilemmata : 0
% Number of unifications : 510
% - E/R/F/L : 510/ 0/ 0/ 0
% Number of fails : 0
% Instructions executed : 2044
% Abstract machine time (seconds): < 0.01
% Overall time (seconds): 0.28
% Cleaning up before exit
% Delete /tmp/SystemOnTPTP2224/SYN/SYN844-1+noeq.hex /tmp/SystemOnTPTP2224/SYN/SYN844-1+noeq.log /tmp/SystemOnTPTP2224/SYN/SYN844-1+noeq.tree
% That's all folks
% WARNING: TreeLimitedRun lost 1.85s, total lost is 1.85s
% Killed 1 orphans
%
%------------------------------------------------------------------------------