TSTP Solution File: SYN819-1 by SETHEO---3.3
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SETHEO---3.3
% Problem : SYN819-1 : TPTP v5.0.0. Released v2.5.0.
% Transfm : add_equality
% Format : setheo
% Command : setheo-wrapper %s
% Computer : art04.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:04:28 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/SystemOnTPTP21566/SYN SYN819-1+noeq /tmp/SystemOnTPTP21566/SYN/SYN819-1+noeq
% MUST DELETE /tmp/SystemOnTPTP21566/SYN/SYN819-1+noeq.hex
% MUST DELETE /tmp/SystemOnTPTP21566/SYN/SYN819-1+noeq.log
% MUST DELETE /tmp/SystemOnTPTP21566/SYN/SYN819-1+noeq.tree
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv20_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv7_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 : ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv20_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv15_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv12_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv10_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv7_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv6_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv4_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv20_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv19_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv18_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv17_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 : ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv15_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv14_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv12_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv11_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv10_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv9_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv8_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv7_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv6_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv20_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_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 : ssPv19_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_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 : ssPv18_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_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 : ssPv17_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_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 : ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_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 : ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_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 : ssPv14_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_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 : ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_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 : ssPv12_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_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 : ssPv11_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_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 : ssPv10_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_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 : ssPv9_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_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 : ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_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 : ssPv7_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_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 : ssPv6_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_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 : ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_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 : ssPv4_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_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 : ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_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_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 : ssPv20_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv17_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_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 : ssPv7_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv7_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_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 : ssPv12_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_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 : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_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 : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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
% codegen: 24694 [199999] labels, 4452 colls [137053 accesses]
% Assembler optimization: 12866 labels read, 3379 labels output
% /tmp/SystemOnTPTP21566/SYN/SYN819-1+noeq.hex generated in 0.95 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/SystemOnTPTP21566/SYN/SYN819-1+noeq
% Parsing input-file.
% Preprocessing: Generating weak-unification.
% Preprocessing: purity
% Message: Deleted clauses : 6 10 7 11 8 16 19 22 29 30 35 36 37 48 50 51 67 69 68 70 84 85 89 86 87 88 90 106 110 111 114 108 112 109 113 132 135 133 134 156 159 158 157 184 185 186 213 214 216 253 283 284 285 286 293 287 290 288 295 324 327 328 329 331 332 334 333 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 370 371 372 373 374 375 376 377 378 379 380 381 382 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 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 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 107 326
% Message: Making sortarray.
% Preprocessing: orbranch reordering
% Preprocessing: inserting tautology-constraints
% Preprocessing: inserting subsumption-constraints
% Message: Clauses 18, 32, 47, 64, 181, 210 and 244 deleted.
% Message: 21 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:04:31 2010
% Options : -dr -cons -dynsgreord 2 /tmp/SystemOnTPTP21566/SYN/SYN819-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.27
% Cleaning up before exit
% Delete /tmp/SystemOnTPTP21566/SYN/SYN819-1+noeq.hex /tmp/SystemOnTPTP21566/SYN/SYN819-1+noeq.log /tmp/SystemOnTPTP21566/SYN/SYN819-1+noeq.tree
% That's all folks
% WARNING: TreeLimitedRun lost 1.84s, total lost is 1.84s
% Killed 1 orphans
%
%------------------------------------------------------------------------------