TSTP Solution File: SYN857-1 by SETHEO---3.3
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SETHEO---3.3
% Problem : SYN857-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:10:36 EST 2010
% Result : GaveUp 1.86s
% Output : None
% Verified :
% SZS Type : None (Parsing solution fails)
% Syntax : Number of formulae : 0
% Comments :
%------------------------------------------------------------------------------
%----NO SOLUTION OUTPUT BY SYSTEM
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% /tmp/SystemOnTPTP22466/SYN SYN857-1+noeq /tmp/SystemOnTPTP22466/SYN/SYN857-1+noeq
% MUST DELETE /tmp/SystemOnTPTP22466/SYN/SYN857-1+noeq.hex
% MUST DELETE /tmp/SystemOnTPTP22466/SYN/SYN857-1+noeq.log
% MUST DELETE /tmp/SystemOnTPTP22466/SYN/SYN857-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_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_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_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 : ssPv10_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_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 : ssPv12_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_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 : ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_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 : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_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 : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_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 : 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 : 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 : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_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 : ssPv2_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_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 : ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_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 : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_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 : ssPv2_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_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 : 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 : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_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 : 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 : 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 : 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 : 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 : 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 : 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 : 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_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_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 : ssPv15_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_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 : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv16_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_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 : ssPv11_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_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_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv1_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 : ssPv10_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv4_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_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 : ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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
% codegen: 25989 [199999] labels, 4333 colls [146778 accesses]
% Assembler optimization: 15091 labels read, 3634 labels output
% /tmp/SystemOnTPTP22466/SYN/SYN857-1+noeq.hex generated in 1.03 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/SystemOnTPTP22466/SYN/SYN857-1+noeq
% Parsing input-file.
% Preprocessing: Generating weak-unification.
% Preprocessing: purity
% Message: Deleted clauses : 6 7 8 10 9 16 24 18 17 22 19 21 32 35 34 44 45 36 39 40 38 41 55 57 56 58 64 60 73 75 79 80 87 88 92 77 83 82 81 84 93 86 104 103 108 113 105 109 116 121 119 111 112 115 135 136 137 146 139 141 149 143 164 166 170 169 173 176 165 177 180 195 204 199 208 232 235 239 241 236 245 230 237 267 268 275 264 270 273 269 279 306 326 327 328 345 349 350 351 359 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 385 386 387 389 391 392 393 396 397 399 400 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 428 429 430 431 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 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 243
% Message: Making sortarray.
% Preprocessing: orbranch reordering
% Preprocessing: inserting tautology-constraints
% Preprocessing: inserting subsumption-constraints
% Message: 94 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:10:39 2010
% Options : -dr -cons -dynsgreord 2 /tmp/SystemOnTPTP22466/SYN/SYN857-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.29
% Cleaning up before exit
% Delete /tmp/SystemOnTPTP22466/SYN/SYN857-1+noeq.hex /tmp/SystemOnTPTP22466/SYN/SYN857-1+noeq.log /tmp/SystemOnTPTP22466/SYN/SYN857-1+noeq.tree
% That's all folks
% WARNING: TreeLimitedRun lost 1.85s, total lost is 1.85s
% Killed 1 orphans
%
%------------------------------------------------------------------------------