%------------------------------------------------------------------------------ % File : E-Darwin---1.5 % Problem : SYN827-1 : TPTP v6.1.0. Released v2.5.0. % Transfm : none % Format : tptp:raw % Command : e-darwin -pev TPTP -pmd true -if tptp -pl 2 -pc false -ps false %s % Computer : n002.star.cs.uiowa.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2609 0 2.40GHz % Memory : 16127.75MB % OS : Linux 2.6.32-431.20.3.el6.x86_64 % CPULimit : 300s % DateTime : Fri Aug 1 22:18:28 EDT 2014 % Result : Satisfiable 1.90s % Output : Model 1.90s % Verified : % SZS Type : None (Parsing solution fails) % Syntax : Number of formulae : 0 % Comments : %------------------------------------------------------------------------------ %----ERROR: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % % Problem : SYN827-1 : TPTP v6.1.0. Released v2.5.0. % % Command : e-darwin -pev TPTP -pmd true -if tptp -pl 2 -pc false -ps false %s % % Computer : n002.star.cs.uiowa.edu % % Model : x86_64 x86_64 % % CPU : Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz % % Memory : 16127.75MB % % OS : Linux 2.6.32-431.20.3.el6.x86_64 % % CPULimit : 300 % % DateTime : Sat Jul 26 13:11:31 CDT 2014 % % CPUTime: 1.90 % E-Darwin 1.5 2012/06/20 (based on Darwin 1.3) % % % Defaulting to tptp format. % Parsing /export/starexec/sandbox/benchmark/theBenchmark.p ... % % % % Proving ... % % % SZS status Satisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p % % START OF MODEL (DIG): % ssNder1_0 % ssNder1_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9) % ssNder1_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10) % ssNder1_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11) % ssNder1_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12) % ssNder1_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssNder1_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssNder1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssNder1_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssNder1_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssNder1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssNder1_1r1(_0) % ssNder1_2r1r1(_0, _1) % ssNder1_3r1r1r1(_0, _1, _2) % ssNder1_4r1r1r1r1(_0, _1, _2, _3) % ssNder1_5r1r1r1r1r1(_0, _1, _2, _3, _4) % ssNder1_6r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5) % ssNder1_7r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6) % ssNder1_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7) % ssNder1_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8) % ssPv11_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8) % ssPv11_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8) % ssPv11_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8) % ssPv11_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8) % ssPv11_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9) % ssPv11_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9) % ssPv11_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9) % ssPv11_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9) % ssPv11_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10) % ssPv11_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10) % ssPv11_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10) % ssPv11_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10) % ssPv11_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11) % ssPv11_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11) % ssPv11_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11) % ssPv11_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11) % ssPv11_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv11_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12) % ssPv11_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12) % ssPv11_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv11_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv11_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv11_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13) % ssPv11_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv11_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv11_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv11_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv11_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv11_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv11_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv11_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv11_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv13_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8) % ssPv13_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7) -- exceptions: % ssPv13_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, skc25, _5, _6) % ssPv13_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9) % ssPv13_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8) -- exceptions: % ssPv13_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, skc25, _5, _6, _7) % ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10) % ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9) -- exceptions: % ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, skc25, _5, _6, _7, _8) % ssPv13_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11) % ssPv13_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9, _10) -- exceptions: % ssPv13_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, skc25, _5, _6, _7, _8, _9) % ssPv13_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12) % ssPv13_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9, _10, _11) -- exceptions: % ssPv13_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, skc25, _5, _6, _7, _8, _9, _10) % ssPv13_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13) % ssPv13_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9, _10, _11, _12) -- exceptions: % ssPv13_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11) % ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) -- exceptions: % ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) -- exceptions: % ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) -- exceptions: % ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv13_1r1(_0) % ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv13_5r1r1r1r1r1(_0, _1, _2, _3, _4) % ssPv13_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24) % ssPv13_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5) -- exceptions: % ssPv13_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, skc25) % ssPv13_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7) % ssPv13_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6) -- exceptions: % ssPv13_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, skc25, _5) % ssPv14_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8) % ssPv14_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9) % ssPv14_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10) % ssPv14_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11) % ssPv14_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12) % ssPv14_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv14_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv14_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv14_7r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26) % ssPv14_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6) % ssPv14_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7) % ssPv15_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9) -- exceptions: % ssPv15_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8) % ssPv15_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10) -- exceptions: % ssPv15_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9) % ssPv15_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11) -- exceptions: % ssPv15_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10) % ssPv15_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12) -- exceptions: % ssPv15_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11) % ssPv15_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) -- exceptions: % ssPv15_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv15_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, skc20) -- exceptions: % ssPv15_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, skc20) % ssPv15_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) -- exceptions: % ssPv15_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) -- exceptions: % ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv15_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv15_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv15_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv15_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv15_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) -- exceptions: % ssPv15_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, skc23, skc20, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, skc26, _5, _6, _7, _8, _9, skc23, skc20, _10, _11, _12, _13, _14, _15) % ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18, _19) -- exceptions: % ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, skc20, skc18, _13, _14, _15, _16, _17) -- exceptions: % ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, skc20, skc18, _12, _13, _14, _15, _16) % ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, skc20, skc18, _12, _13, _14, _15, _16) -- exceptions: % ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, skc23, skc20, skc18, _11, _12, _13, _14, _15) % ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, _10, skc20, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc29, skc26, _4, _5, _6, _7, _8, _9, skc20, _10, _11, _12, _13, _14, _15) % ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7, _8, _9, _10, _11, skc20, skc18, _12, _13, _14, _15, _16) -- exceptions: % ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc29, _4, _5, _6, _7, _8, _9, _10, skc20, skc18, _11, _12, _13, _14, _15) % ssPv15_6r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5) -- exceptions: % ssPv15_6r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29) % ssPv15_7r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6) -- exceptions: % ssPv15_7r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5) % ssPv15_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7) -- exceptions: % ssPv15_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6) % ssPv15_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8) -- exceptions: % ssPv15_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7) % ssPv16_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9) -- exceptions: % ssPv16_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7, _8) % ssPv16_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10) -- exceptions: % ssPv16_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7, _8, _9) % ssPv16_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11) -- exceptions: % ssPv16_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7, _8, _9, _10) % ssPv16_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12) -- exceptions: % ssPv16_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7, _8, _9, _10, _11) % ssPv16_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) -- exceptions: % ssPv16_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv16_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) -- exceptions: % ssPv16_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) -- exceptions: % ssPv16_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv16_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv16_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, _10, skc20, skc18, skc17, _11, _12) -- exceptions: % ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, _9, skc20, skc18, skc17, _10, _11) % ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, skc23, skc20, _10, _11, _12, _13) -- exceptions: % ssPv16_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, _9, _10, _11, _12) % ssPv16_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) -- exceptions: % ssPv16_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, skc26, _5, _6, _7, _8, _9, skc23, skc20, skc18, _10, _11, _12, _13, _14) -- exceptions: % ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc29, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11, _12, _13) % ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, skc20, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, _10, skc20, _11, _12, _13, _14, _15, _16) % ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18, _19) -- exceptions: % ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, _10, skc20, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, _9, skc20, _10, _11, _12, _13, _14, _15) % ssPv16_4r1r1r1r1(_0, _1, _2, _3) % ssPv16_5r1r1r1r1r1(_0, _1, _2, _3, _4) -- exceptions: % ssPv16_5r1r1r1r1r1(_0, _1, _2, _3, skc31) % ssPv16_6r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5) -- exceptions: % ssPv16_6r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4) % ssPv16_7r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6) -- exceptions: % ssPv16_7r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5) % ssPv16_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7) -- exceptions: % ssPv16_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6) % ssPv16_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8) -- exceptions: % ssPv16_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7) % ssPv17_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9) % ssPv17_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10) % ssPv17_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11) % ssPv17_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv17_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv17_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv17_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv17_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv17_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv17_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv17_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18, _19) % ssPv17_2r1r1(_0, _1) % ssPv17_4r1r1r1r1(_0, _1, _2, _3) % ssPv17_5r1r1r1r1r1(_0, _1, _2, _3, _4) % ssPv17_6r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5) % ssPv17_7r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6) % ssPv17_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7) % ssPv17_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8) % ssPv18_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9) % ssPv18_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10) % ssPv18_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11) % ssPv18_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv18_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv18_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv18_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv18_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv18_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv18_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv18_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18, _19) % ssPv18_3r1r1r1(_0, _1, _2) % ssPv18_4r1r1r1r1(_0, _1, _2, _3) % ssPv18_5r1r1r1r1r1(_0, _1, _2, _3, _4) % ssPv18_6r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5) % ssPv18_7r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6) % ssPv18_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7) % ssPv18_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8) % ssPv19_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9) % ssPv19_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10) % ssPv19_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11) % ssPv19_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv19_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv19_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv19_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv19_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv19_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv19_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv19_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18, _19) % ssPv19_2r1r1(_0, _1) % ssPv19_3r1r1r1(_0, _1, _2) % ssPv19_4r1r1r1r1(_0, _1, _2, _3) % ssPv19_5r1r1r1r1r1(_0, _1, _2, _3, _4) % ssPv19_6r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5) % ssPv19_7r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6) % ssPv19_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7) % ssPv19_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8) % ssPv1_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, skc20) % ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, skc20, _12, _13, _14, _15, _16, _17) % ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, skc20, _13, _14, _15, _16, _17, _18) -- exceptions: % ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, skc20, skc18, _13, _14, _15, _16, _17) % ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, skc20, _12, skc17, _13, _14, _15, _16) % ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, skc23, skc20, _11, _12, _13, _14, _15, _16) % ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, _10, skc20, _11, _12, _13, _14, _15, _16) % ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7, _8, _9, _10, skc23, skc20, skc18, _11, _12, _13, _14, _15) -- exceptions: % ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, skc23, skc20, skc18, _10, _11, _12, _13, _14) % ssPv2_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv2_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc19, _13, _14, _15, _16) % ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, skc20, _12, _13, _14, _15, _16) % ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc17, _14, _15, _16) % ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv2_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc19, _13, _14, _15, _16, _17) % ssPv2_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, skc20, _12, _13, _14, _15, _16, _17) % ssPv2_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc17, _14, _15, _16, _17) % ssPv2_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv2_7r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6) % ssPv3_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv3_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, skc26, _5, _6, _7, _8, _9, skc23, skc20, skc18, _10, _11, _12) -- exceptions: % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, skc26, _5, _6, _7, _8, _9, skc23, skc20, skc18, skc17, _10, _11) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc29, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, skc20, _12, _13, _14, _15) -- exceptions: % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, skc20, _12, skc17, _13, _14) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, skc23, skc20, _11, _12, _13, _14) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, _10, skc20, _11, _12, _13, _14) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc18, _14, _15, _16) -- exceptions: % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc18, skc17, _13, _14) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, skc23, skc20, skc18, _11, _12, _13) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, skc23, skc20, skc18, _11, _12, _13) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7, _8, _9, _10, skc23, skc20, skc18, _11, _12, _13) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, _10, skc20, skc18, _11, _12, _13) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, _10, skc20, _11, _12, _13, _14) -- exceptions: % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, _10, skc20, _11, skc17, _12, _13) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, skc23, skc20, _10, _11, _12, _13) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, _9, skc20, _10, _11, _12, _13) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, skc23, skc20, skc18, _10, _11, _12) -- exceptions: % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, skc23, skc20, skc18, skc17, _10, _11) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, skc23, skc20, _10, _11, _12, _13) -- exceptions: % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, skc23, skc20, _10, skc17, _11, _12) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc29, skc26, _4, _5, _6, _7, _8, skc23, skc20, _9, _10, _11, _12) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, skc23, skc20, skc18, _10, _11, _12) -- exceptions: % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, skc23, skc20, skc18, skc17, _10, _11) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc29, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, _9, skc20, skc18, _10, _11, _12) -- exceptions: % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, _9, skc20, skc18, skc17, _10, _11) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, _9, _10, _11, _12) -- exceptions: % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, _9, skc17, _10, _11) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, skc26, _5, _6, _7, _8, _9, skc23, skc20, skc18, _10, _11, _12, _13) -- exceptions: % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, skc26, _5, _6, _7, _8, _9, skc23, skc20, skc18, skc17, _10, _11, _12) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc29, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11, _12) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, skc20, _12, _13, _14, _15, _16) -- exceptions: % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, skc20, _12, skc17, _13, _14, _15) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, skc23, skc20, _11, _12, _13, _14, _15) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, _10, skc20, _11, _12, _13, _14, _15) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc18, _14, _15, _16, _17) -- exceptions: % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc18, skc17, _13, _14, _15) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, skc23, skc20, skc18, _11, _12, _13, _14) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, skc23, skc20, skc18, _11, _12, _13, _14) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7, _8, _9, _10, skc23, skc20, skc18, _11, _12, _13, _14) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, _10, skc20, skc18, _11, _12, _13, _14) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, _10, skc20, _11, _12, _13, _14, _15) -- exceptions: % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, _10, skc20, _11, skc17, _12, _13, _14) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, skc23, skc20, _10, _11, _12, _13, _14) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, _9, skc20, _10, _11, _12, _13, _14) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, skc23, skc20, skc18, _10, _11, _12, _13) -- exceptions: % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, skc23, skc20, skc18, skc17, _10, _11, _12) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11, _12) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, skc23, skc20, _10, _11, _12, _13, _14) -- exceptions: % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, skc23, skc20, _10, skc17, _11, _12, _13) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11, _12) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc29, skc26, _4, _5, _6, _7, _8, skc23, skc20, _9, _10, _11, _12, _13) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, skc23, skc20, skc18, _10, _11, _12, _13) -- exceptions: % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, skc23, skc20, skc18, skc17, _10, _11, _12) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11, _12) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc29, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11, _12) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, _9, skc20, skc18, _10, _11, _12, _13) -- exceptions: % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, _9, skc20, skc18, skc17, _10, _11, _12) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11, _12) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, _9, _10, _11, _12, _13) -- exceptions: % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, _9, skc17, _10, _11, _12) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11, _12) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, skc26, _5, _6, _7, _8, _9, skc23, skc20, skc18, _10, _11, _12, _13, _14) -- exceptions: % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, skc26, _5, _6, _7, _8, _9, skc23, skc20, skc18, skc17, _10, _11, _12, _13) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc29, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11, _12, _13) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, skc20, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, skc20, _12, skc17, _13, _14, _15, _16) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, skc23, skc20, _11, _12, _13, _14, _15, _16) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, _10, skc20, _11, _12, _13, _14, _15, _16) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc18, _14, _15, _16, _17, _18) -- exceptions: % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc18, skc17, _13, _14, _15, _16) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, skc23, skc20, skc18, _11, _12, _13, _14, _15) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, skc23, skc20, skc18, _11, _12, _13, _14, _15) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7, _8, _9, _10, skc23, skc20, skc18, _11, _12, _13, _14, _15) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, _10, skc20, skc18, _11, _12, _13, _14, _15) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, _10, skc20, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, _10, skc20, _11, skc17, _12, _13, _14, _15) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, skc23, skc20, _10, _11, _12, _13, _14, _15) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, _9, skc20, _10, _11, _12, _13, _14, _15) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, skc23, skc20, skc18, _10, _11, _12, _13, _14) -- exceptions: % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, skc23, skc20, skc18, skc17, _10, _11, _12, _13) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11, _12, _13) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, skc23, skc20, _10, _11, _12, _13, _14, _15) -- exceptions: % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, skc23, skc20, _10, skc17, _11, _12, _13, _14) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11, _12, _13) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc29, skc26, _4, _5, _6, _7, _8, skc23, skc20, _9, _10, _11, _12, _13, _14) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, skc23, skc20, skc18, _10, _11, _12, _13, _14) -- exceptions: % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc26, _5, _6, _7, _8, _9, skc23, skc20, skc18, skc17, _10, _11, _12, _13) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11, _12, _13) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc29, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11, _12, _13) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, _9, skc20, skc18, _10, _11, _12, _13, _14) -- exceptions: % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, _9, skc20, skc18, skc17, _10, _11, _12, _13) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11, _12, _13) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, _9, _10, _11, _12, _13, _14) -- exceptions: % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, _9, skc17, _10, _11, _12, _13) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, skc18, _9, _10, _11, _12, _13) % ssPv3_6r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5) % ssPv5_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, skc16) % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc18, _13) -- exceptions: % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc18, skc17) % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, skc20, _12, _13) -- exceptions: % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, skc20, _12, skc17) % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) -- exceptions: % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc17) % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, skc26, skc25, _4, _5, _6, _7, _8, _9, skc18, _10) -- exceptions: % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, skc26, skc25, _4, _5, _6, _7, _8, _9, skc18, skc17) % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, skc26, skc25, _4, _5, _6, _7, _8, skc20, _9, _10) -- exceptions: % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, skc26, skc25, _4, _5, _6, _7, _8, skc20, _9, skc17) % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, skc16, _15) % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc18, _13, _14) -- exceptions: % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc18, skc17, _13) % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, skc20, _12, _13, _14) -- exceptions: % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, skc20, _12, skc17, _13) % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) -- exceptions: % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc17, _14) % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, skc26, skc25, _4, _5, _6, _7, _8, _9, skc18, _10, _11) -- exceptions: % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, skc26, skc25, _4, _5, _6, _7, _8, _9, skc18, skc17, _10) % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, skc26, skc25, _4, _5, _6, _7, _8, skc20, _9, _10, _11) -- exceptions: % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, skc26, skc25, _4, _5, _6, _7, _8, skc20, _9, skc17, _10) % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, skc16, _15, _16) % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc18, _13, _14, _15) -- exceptions: % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc18, skc17, _13, _14) % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, skc20, _12, _13, _14, _15) -- exceptions: % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, skc20, _12, skc17, _13, _14) % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc17, _14, _15) % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, skc26, skc25, _4, _5, _6, _7, _8, _9, skc18, _10, _11, _12) -- exceptions: % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, skc26, skc25, _4, _5, _6, _7, _8, _9, skc18, skc17, _10, _11) % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, skc26, skc25, _4, _5, _6, _7, _8, skc20, _9, _10, _11, _12) -- exceptions: % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, skc26, skc25, _4, _5, _6, _7, _8, skc20, _9, skc17, _10, _11) % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, skc16, _15, _16, _17) % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc18, _13, _14, _15, _16) -- exceptions: % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc18, skc17, _13, _14, _15) % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, skc20, _12, _13, _14, _15, _16) -- exceptions: % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, skc20, _12, skc17, _13, _14, _15) % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc17, _14, _15, _16) % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, skc26, skc25, _4, _5, _6, _7, _8, _9, skc18, _10, _11, _12, _13) -- exceptions: % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, skc26, skc25, _4, _5, _6, _7, _8, _9, skc18, skc17, _10, _11, _12) % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, skc26, skc25, _4, _5, _6, _7, _8, skc20, _9, _10, _11, _12, _13) -- exceptions: % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, skc26, skc25, _4, _5, _6, _7, _8, skc20, _9, skc17, _10, _11, _12) % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, skc16, _15, _16, _17, _18) % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc18, _13, _14, _15, _16, _17) -- exceptions: % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc18, skc17, _13, _14, _15, _16) % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, skc20, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, skc20, _12, skc17, _13, _14, _15, _16) % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) -- exceptions: % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc17, _14, _15, _16, _17) % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, skc26, skc25, _4, _5, _6, _7, _8, _9, skc18, _10, _11, _12, _13, _14) -- exceptions: % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, skc26, skc25, _4, _5, _6, _7, _8, _9, skc18, skc17, _10, _11, _12, _13) % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, skc26, skc25, _4, _5, _6, _7, _8, skc20, _9, _10, _11, _12, _13, _14) -- exceptions: % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, skc26, skc25, _4, _5, _6, _7, _8, skc20, _9, skc17, _10, _11, _12, _13) % ssPv5_4r1r1r1r1(_0, _1, _2, _3) % ssPv5_6r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5) % ssPv5_7r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6) % ssPv5_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8) % ssPv6_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv6_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc18) % ssPv6_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13) -- exceptions: % ssPv6_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc19) % ssPv6_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, skc23, skc20, _10) % ssPv6_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc18, _14) % ssPv6_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14) -- exceptions: % ssPv6_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc19, _13) % ssPv6_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, skc23, skc20, _10, _11) % ssPv6_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc18, _14, _15) % ssPv6_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) -- exceptions: % ssPv6_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc19, _13, _14) % ssPv6_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, skc23, skc20, _10, _11, _12) % ssPv6_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc18, _14, _15, _16) % ssPv6_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv6_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc19, _13, _14, _15) % ssPv6_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, skc23, skc20, _10, _11, _12, _13) % ssPv6_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc18, _14, _15, _16, _17) % ssPv6_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv6_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc19, _13, _14, _15, _16) % ssPv6_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, skc23, skc20, _10, _11, _12, _13, _14) % ssPv6_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc18, _14, _15, _16, _17, _18) % ssPv6_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) -- exceptions: % ssPv6_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, skc19, _13, _14, _15, _16, _17) % ssPv6_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc26, _5, _6, _7, _8, _9, skc23, skc20, _10, _11, _12, _13, _14, _15) % ssPv6_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8) % ssPv7_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11) % ssPv7_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, skc20) % ssPv7_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, skc20, _13) % ssPv7_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, skc20, _13, _14) % ssPv7_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, skc20, _13, _14, _15) % ssPv7_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, skc20, _13, _14, _15, _16) % ssPv7_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, skc20, _13, _14, _15, _16, _17) % ssPv7_1r1(_0) % ssPv7_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, skc20, _13, _14, _15, _16, _17, _18) % ssPv8_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc22) % ssPv8_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11) -- exceptions: % ssPv8_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, skc23) % ssPv8_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, _9) -- exceptions: % ssPv8_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23) % ssPv8_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc22, _12) % ssPv8_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12) -- exceptions: % ssPv8_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, skc23, _11) % ssPv8_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, _9, _10) -- exceptions: % ssPv8_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, _9) % ssPv8_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc22, _12, _13) % ssPv8_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12, _13) -- exceptions: % ssPv8_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, skc23, _11, _12) % ssPv8_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, _9, _10, _11) -- exceptions: % ssPv8_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, _9, _10) % ssPv8_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc22, _12, _13, _14) % ssPv8_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) -- exceptions: % ssPv8_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, skc23, _11, _12, _13) % ssPv8_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, _9, _10, _11, _12) -- exceptions: % ssPv8_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, _9, _10, _11) % ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc22, _12, _13, _14, _15) % ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) -- exceptions: % ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, skc23, _11, _12, _13, _14) % ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) -- exceptions: % ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, _9, _10, _11, _12) % ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc22, _12, _13, _14, _15, _16) % ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, skc23, _11, _12, _13, _14, _15) % ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) -- exceptions: % ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, _9, _10, _11, _12, _13) % ssPv8_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc22, _12, _13, _14, _15, _16, _17) % ssPv8_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv8_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, skc23, _11, _12, _13, _14, _15, _16) % ssPv8_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) -- exceptions: % ssPv8_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, _9, _10, _11, _12, _13, _14) % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc22, _12, _13, _14, _15, _16, _17, _18) % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) -- exceptions: % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, skc23, _11, _12, _13, _14, _15, _16, _17) % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, _11, skc20, skc18, _12, _13, _14, _15, _16) -- exceptions: % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc29, _5, _6, _7, _8, _9, _10, skc23, skc20, skc18, _11, _12, _13, _14, _15) % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, _9, _10, _11, _12, _13, _14, _15) % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, _9, skc20, _10, _11, _12, _13, _14, _15) -- exceptions: % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc26, _4, _5, _6, _7, _8, skc23, skc20, _9, _10, _11, _12, _13, _14) % ssPv9_6r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5) % END OF MODEL % EOF %------------------------------------------------------------------------------