TSTP Solution File: SYN820-1 by SETHEO---3.3
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SETHEO---3.3
% Problem : SYN820-1 : TPTP v5.0.0. Released v2.5.0.
% Transfm : add_equality
% Format : setheo
% Command : setheo-wrapper %s
% Computer : art09.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:35 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/SystemOnTPTP29976/SYN SYN820-1+noeq /tmp/SystemOnTPTP29976/SYN/SYN820-1+noeq
% MUST DELETE /tmp/SystemOnTPTP29976/SYN/SYN820-1+noeq.hex
% MUST DELETE /tmp/SystemOnTPTP29976/SYN/SYN820-1+noeq.log
% MUST DELETE /tmp/SystemOnTPTP29976/SYN/SYN820-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 : 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_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_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 : 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 : 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 : ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_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 : ssPv6_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_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 : 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 : ssPv4_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_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 : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_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 : ssPv10_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_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 : ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv17_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_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 : 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 : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_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 : ssPv6_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv8_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_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 : ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_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 : ssPv14_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_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 : ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_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
% codegen: 23845 [199999] labels, 4579 colls [134297 accesses]
% Assembler optimization: 12669 labels read, 3340 labels output
% /tmp/SystemOnTPTP29976/SYN/SYN820-1+noeq.hex generated in 0.89 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/SystemOnTPTP29976/SYN/SYN820-1+noeq
% Parsing input-file.
% Preprocessing: Generating weak-unification.
% Preprocessing: purity
% Message: Deleted clauses : 4 8 7 14 15 18 19 28 31 33 36 34 45 50 54 49 53 52 67 74 70 71 72 73 75 89 90 93 91 95 92 96 112 113 116 114 117 115 118 119 137 139 138 142 141 162 163 164 192 191 219 220 222 221 251 252 255 256 257 254 284 285 286 287 293 296 288 290 297 327 332 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 370 371 374 369 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 367 368 372
% Message: Making sortarray.
% Preprocessing: orbranch reordering
% Preprocessing: inserting tautology-constraints
% Preprocessing: inserting subsumption-constraints
% Message: Clauses 17, 30, 47, 66, 186, 216 and 248 deleted.
% Message: 28 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:38 2010
% Options : -dr -cons -dynsgreord 2 /tmp/SystemOnTPTP29976/SYN/SYN820-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.25
% Cleaning up before exit
% Delete /tmp/SystemOnTPTP29976/SYN/SYN820-1+noeq.hex /tmp/SystemOnTPTP29976/SYN/SYN820-1+noeq.log /tmp/SystemOnTPTP29976/SYN/SYN820-1+noeq.tree
% That's all folks
% WARNING: TreeLimitedRun lost 1.84s, total lost is 1.84s
% Killed 1 orphans
%
%------------------------------------------------------------------------------