TSTP Solution File: SYN834-1 by SETHEO---3.3
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SETHEO---3.3
% Problem : SYN834-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:06:57 EST 2010
% Result : GaveUp 0.01s
% Output : None
% Verified :
% SZS Type : None (Parsing solution fails)
% Syntax : Number of formulae : 0
% Comments :
%------------------------------------------------------------------------------
%----NO SOLUTION OUTPUT BY SYSTEM
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% /tmp/SystemOnTPTP21824/SYN SYN834-1+noeq /tmp/SystemOnTPTP21824/SYN/SYN834-1+noeq
% MUST DELETE /tmp/SystemOnTPTP21824/SYN/SYN834-1+noeq.hex
% MUST DELETE /tmp/SystemOnTPTP21824/SYN/SYN834-1+noeq.log
% MUST DELETE /tmp/SystemOnTPTP21824/SYN/SYN834-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_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 : ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv10_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 : ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : 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_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 : ssPv4_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_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 : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_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 : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv20_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv11_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 : ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv16_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 : ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_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 : 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 : 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 : 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 : ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv4_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_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 : ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv6_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : 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 : ssPv17_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 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 : ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv15_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_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_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv14_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv18_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 : ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv19_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv1_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 : ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv5_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 : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv8_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 : ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv7_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssPv12_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% Warning : ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 token too long
% codegen: 23197 [199999] labels, 4204 colls [132471 accesses]
% Assembler optimization: 13733 labels read, 3314 labels output
% /tmp/SystemOnTPTP21824/SYN/SYN834-1+noeq.hex generated in 0.85 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/SystemOnTPTP21824/SYN/SYN834-1+noeq
% Parsing input-file.
% Preprocessing: Generating weak-unification.
% Preprocessing: purity
% Message: Deleted clauses : 6 7 9 13 12 10 8 19 22 20 30 31 39 32 34 37 35 36 43 52 53 72 70 73 78 75 76 79 90 91 92 97 94 101 102 99 93 113 118 130 124 126 116 127 128 119 123 121 144 147 152 151 150 153 157 175 176 177 181 185 188 207 211 214 210 217 205 243 244 281 289 290 291 309 311 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 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 259 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536
% Message: Making sortarray.
% Preprocessing: orbranch reordering
% Preprocessing: inserting tautology-constraints
% Preprocessing: inserting subsumption-constraints
% Message: 82 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:07:00 2010
% Options : -dr -cons -dynsgreord 2 /tmp/SystemOnTPTP21824/SYN/SYN834-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/SystemOnTPTP21824/SYN/SYN834-1+noeq.hex /tmp/SystemOnTPTP21824/SYN/SYN834-1+noeq.log /tmp/SystemOnTPTP21824/SYN/SYN834-1+noeq.tree
% That's all folks
% Killed 1 orphans
%
%------------------------------------------------------------------------------