%------------------------------------------------------------------------------ % File : E-Darwin---1.5 % Problem : SYN835-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 : n009.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:33 EDT 2014 % Result : Satisfiable 43.55s % Output : Model 43.55s % Verified : % SZS Type : None (Parsing solution fails) % Syntax : Number of formulae : 0 % Comments : %------------------------------------------------------------------------------ %----ERROR: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % % Problem : SYN835-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 : n009.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:14:21 CDT 2014 % % CPUTime: 43.55 % 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) % ssPv10_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10) % ssPv10_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11) % ssPv10_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv10_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv10_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv10_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv10_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv10_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv10_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv10_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18, _19) % ssPv10_4r1r1r1r1(_0, _1, _2, _3) % ssPv11_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7) % ssPv11_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8) -- exceptions: % ssPv11_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6) % ssPv11_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7, _8) % ssPv11_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9) -- exceptions: % ssPv11_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7) % ssPv11_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7, _8, _9) % ssPv11_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10) -- exceptions: % ssPv11_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8) % ssPv11_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7, _8, _9, _10) % ssPv11_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11) -- exceptions: % ssPv11_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9) % ssPv11_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7, _8, _9, _10, _11) % ssPv11_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12) -- exceptions: % ssPv11_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10) % ssPv11_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, skc20) -- exceptions: % ssPv11_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, skc20) % ssPv11_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv11_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13) -- exceptions: % ssPv11_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11) % ssPv11_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, skc18) -- exceptions: % ssPv11_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, skc18) % ssPv11_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, skc20, skc19) -- exceptions: % ssPv11_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, skc20, skc19) % ssPv11_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, skc21, skc18) -- exceptions: % ssPv11_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, skc21, skc18) % ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) -- exceptions: % ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc17) -- exceptions: % ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, skc17) % ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, skc23, _11, skc18, _12) -- exceptions: % ssPv11_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, skc23, _9, skc18, _10) % ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) -- exceptions: % ssPv11_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv11_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv11_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv11_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv11_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv11_1r1(_0) % ssPv11_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv11_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) -- exceptions: % ssPv11_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv11_6r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5) % ssPv11_7r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6) % ssPv12_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9) % ssPv12_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10) % ssPv12_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11) % ssPv12_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv12_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv12_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv12_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv12_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv12_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv12_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv12_1r1(_0) % ssPv12_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18, _19) % ssPv12_5r1r1r1r1r1(_0, _1, _2, _3, _4) % ssPv12_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8) % ssPv13_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8) % ssPv13_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9) -- exceptions: % ssPv13_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8) % ssPv13_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8) % ssPv13_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8) -- exceptions: % ssPv13_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7) % ssPv13_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7) % ssPv13_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9) % ssPv13_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10) -- exceptions: % ssPv13_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9) % ssPv13_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9) % ssPv13_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9) -- exceptions: % ssPv13_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8) % ssPv13_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8) % ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10) % ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11) -- exceptions: % ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10) % ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10) % ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10) -- exceptions: % ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8, _9) % ssPv13_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9) % ssPv13_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11) % ssPv13_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12) -- exceptions: % ssPv13_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, _11) % ssPv13_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11) % ssPv13_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11) -- exceptions: % ssPv13_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8, _9, _10) % ssPv13_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9, _10) % ssPv13_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12) % ssPv13_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) -- exceptions: % ssPv13_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, _11, _12) % ssPv13_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv13_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12) -- exceptions: % ssPv13_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8, _9, _10, _11) % ssPv13_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9, _10, _11) % ssPv13_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13) % ssPv13_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) -- exceptions: % ssPv13_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, _11, _12, _13) % ssPv13_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv13_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13) -- exceptions: % ssPv13_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8, _9, _10, _11, _12) % ssPv13_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) -- exceptions: % ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, skc17) -- exceptions: % ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, _11, _12, _13, skc17) % ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc17) % ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) -- exceptions: % ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv13_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) % 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, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) -- exceptions: % ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv13_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % 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, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv13_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % 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, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) -- exceptions: % ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc22, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, skc22, _11, _12, _13, _14, _15, _16) % ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, skc22, _11, _12, _13, _14, _15, _16) % ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv13_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % 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, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18, _19) -- exceptions: % ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) -- exceptions: % ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7, _8, _9, _10, skc23, _11, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv13_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, skc25, _6, _7, _8, _9, skc23, _10, _11, _12, _13, _14, _15, _16) % ssPv13_3r1r1r1(_0, _1, _2) % ssPv13_5r1r1r1r1r1(_0, _1, _2, _3, _4) % ssPv13_6r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5) % ssPv13_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24) % ssPv13_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7) -- exceptions: % ssPv13_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25) % ssPv13_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6) % ssPv13_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6) -- exceptions: % ssPv13_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25) % ssPv13_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5) % ssPv13_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7) % ssPv13_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8) -- exceptions: % ssPv13_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7) % ssPv13_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7) % ssPv13_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7) -- exceptions: % ssPv13_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6) % ssPv13_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6) % ssPv14_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8) % ssPv14_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8) -- exceptions: % ssPv14_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7) % ssPv14_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9) % ssPv14_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9) -- exceptions: % ssPv14_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7, _8) % ssPv14_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10) % ssPv14_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10) -- exceptions: % ssPv14_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7, _8, _9) % ssPv14_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11) % ssPv14_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11) -- exceptions: % ssPv14_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7, _8, _9, _10) % ssPv14_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12) % ssPv14_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12) -- exceptions: % ssPv14_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7, _8, _9, _10, _11) % ssPv14_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv14_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13) -- exceptions: % ssPv14_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) -- exceptions: % ssPv14_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) -- exceptions: % ssPv14_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv14_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv14_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv14_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv14_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv14_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv14_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) -- exceptions: % ssPv14_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv14_5r1r1r1r1r1(_0, _1, _2, _3, _4) % ssPv14_7r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26) % ssPv14_7r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5) -- exceptions: % ssPv14_7r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27) % ssPv14_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6) % ssPv14_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6) -- exceptions: % ssPv14_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5) % ssPv14_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7) % ssPv14_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7) -- exceptions: % ssPv14_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, skc27, _5, _6) % ssPv15_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8) % ssPv15_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9) % ssPv15_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10) % ssPv15_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11) % ssPv15_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv15_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv15_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv15_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv15_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv15_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv15_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv15_6r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28) % ssPv15_7r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5) % ssPv15_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6) % ssPv15_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _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_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, _5, _6, skc25, _7, _8, _9, _10, skc23, _11, skc18, _12, _13, _14, _15, _16) -- exceptions: % ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, skc25, _6, _7, _8, _9, skc23, _10, skc18, _11, _12, _13, _14, _15) % 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, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, skc16, _15, _16, _17, _18) -- exceptions: % ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc16, _14, _15, _16, _17) % ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc22, _12, _13, skc16, _14, _15, _16, _17) -- exceptions: % ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7, _8, _9, _10, skc22, _11, _12, skc16, _13, _14, _15, _16) % ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, _13, _14, _15, _16, _17, _18) -- exceptions: % ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, _6, _7, _8, _9, _10, skc23, _11, _12, _13, _14, _15, _16, _17) % ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, skc22, _11, _12, skc16, _13, _14, _15, _16) -- exceptions: % ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, _5, _6, _7, _8, _9, skc22, _10, _11, skc16, _12, _13, _14, _15) % ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, skc22, _11, skc18, skc16, _12, _13, _14, _15) -- exceptions: % ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, _5, _6, _7, _8, _9, skc22, _10, skc18, skc16, _11, _12, _13, _14) % ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc24, _6, _7, _8, _9, skc22, _10, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv16_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc24, _5, _6, _7, _8, skc22, _9, _10, _11, _12, _13, _14, _15) % ssPv16_2r1r1(_0, _1) % 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_1r1(_0) % ssPv17_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18, _19) % 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) % 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_1r1(_0) % 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_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv1_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv1_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, skc23, _11, skc18, _12, _13, _14, _15, _16) -- exceptions: % ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, skc25, _6, _7, _8, _9, skc23, _10, skc18, _11, _12, _13, _14, _15) % ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18, _19) -- exceptions: % ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, skc25, _6, _7, _8, _9, skc23, _10, _11, _12, _13, _14, _15, _16) % ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, skc16, _15, _16, _17, _18) % ssPv1_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8) % ssPv20_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9) % ssPv20_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10) % ssPv20_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11) % ssPv20_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv20_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv20_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv20_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv20_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv20_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv20_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv20_1r1(_0) % ssPv20_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18, _19) % ssPv20_2r1r1(_0, _1) % ssPv20_3r1r1r1(_0, _1, _2) % ssPv20_4r1r1r1r1(_0, _1, _2, _3) % ssPv20_5r1r1r1r1r1(_0, _1, _2, _3, _4) % ssPv20_6r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5) % ssPv20_7r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6) % ssPv20_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7) % ssPv20_9r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8) % ssPv2_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10) % ssPv2_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, skc22, _11, _12, skc16, _13, _14, _15) -- exceptions: % ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, skc22, _11, skc18, skc16, _12, _13, _14) % ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9, skc22, _10, _11, skc16, _12, _13, _14) % ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) -- exceptions: % ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, skc22, _11, _12, _13, _14, _15, _16) % ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc18, skc16, _14, _15, _16) -- exceptions: % ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, skc22, _11, skc18, skc16, _12, _13, _14) % ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, skc22, _11, _12, _13, _14, _15, _16) % ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9, skc22, _10, _11, _12, _13, _14, _15) % ssPv2_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9, skc22, _10, _11, skc16, _12, _13, _14, _15) % ssPv2_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18, _19) -- exceptions: % ssPv2_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, skc22, _11, _12, _13, _14, _15, _16, _17) % ssPv2_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc18, skc16, _14, _15, _16, _17) -- exceptions: % ssPv2_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, skc22, _11, skc18, skc16, _12, _13, _14, _15) % ssPv2_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc22, _12, _13, skc16, _14, _15, _16, _17) -- exceptions: % ssPv2_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, skc22, _11, skc18, skc16, _12, _13, _14, _15) % ssPv2_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, skc22, _11, _12, _13, _14, _15, _16, _17) % ssPv2_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) -- exceptions: % ssPv2_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, skc28, _4, _5, _6, _7, _8, _9, skc22, _10, _11, _12, _13, _14, _15, _16) % ssPv2_2r1r1(_0, _1) % ssPv2_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7) % ssPv3_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv3_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv3_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc26, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv3_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv3_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7) % ssPv4_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11) % ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13) -- exceptions: % ssPv4_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, skc23, _9, _10, _11, _12) % ssPv4_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) -- exceptions: % ssPv4_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, skc23, _9, _10, _11, _12, _13) % ssPv4_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) -- exceptions: % ssPv4_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, skc23, _9, _10, _11, _12, _13, _14) % ssPv4_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv4_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, skc23, _9, _10, _11, _12, _13, _14, _15) % ssPv5_10r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9) % ssPv5_11r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10) % 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, skc27, _6, _7, _8, _9, _10, skc23, _11, skc18, _12) -- exceptions: % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc27, _6, _7, _8, _9, _10, skc23, _11, skc18, skc17) % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc27, skc25, _5, _6, _7, _8, skc23, _9, skc18, _10) % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, skc23, _11, skc18, _12) -- exceptions: % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, skc23, _11, skc18, skc17) % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, skc25, _6, _7, _8, _9, skc23, _10, skc18, _11) % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, _13, _14) -- exceptions: % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, _13, skc17) % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, skc18, _13) % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, skc19, _13) % ssPv5_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, skc25, _6, _7, _8, _9, skc23, _10, _11, _12) % 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, skc27, _6, _7, _8, _9, _10, skc23, _11, skc18, _12, _13) -- exceptions: % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc27, _6, _7, _8, _9, _10, skc23, _11, skc18, skc17, _12) % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc27, skc25, _5, _6, _7, _8, skc23, _9, skc18, _10, _11) % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, skc23, _11, skc18, _12, _13) -- exceptions: % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, skc23, _11, skc18, skc17, _12) % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, skc25, _6, _7, _8, _9, skc23, _10, skc18, _11, _12) % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, _13, _14, _15) -- exceptions: % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, _13, skc17, _14) % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, skc18, _13, _14) % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, skc19, _13, _14) % ssPv5_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, skc25, _6, _7, _8, _9, skc23, _10, _11, _12, _13) % 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, skc27, _6, _7, _8, _9, _10, skc23, _11, skc18, _12, _13, _14) -- exceptions: % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc27, _6, _7, _8, _9, _10, skc23, _11, skc18, skc17, _12, _13) % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc27, skc25, _5, _6, _7, _8, skc23, _9, skc18, _10, _11, _12) % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, skc23, _11, skc18, _12, _13, _14) -- exceptions: % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, skc23, _11, skc18, skc17, _12, _13) % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, skc25, _6, _7, _8, _9, skc23, _10, skc18, _11, _12, _13) % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, _13, _14, _15, _16) -- exceptions: % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, _13, skc17, _14, _15) % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, skc18, _13, _14, _15) % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, skc19, _13, _14, _15) % ssPv5_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, skc25, _6, _7, _8, _9, skc23, _10, _11, _12, _13, _14) % 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, skc27, _6, _7, _8, _9, _10, skc23, _11, skc18, _12, _13, _14, _15) -- exceptions: % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc27, _6, _7, _8, _9, _10, skc23, _11, skc18, skc17, _12, _13, _14) % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc27, skc25, _5, _6, _7, _8, skc23, _9, skc18, _10, _11, _12, _13) % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, skc23, _11, skc18, _12, _13, _14, _15) -- exceptions: % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, skc23, _11, skc18, skc17, _12, _13, _14) % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, skc25, _6, _7, _8, _9, skc23, _10, skc18, _11, _12, _13, _14) % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, _13, skc17, _14, _15, _16) % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, skc18, _13, _14, _15, _16) % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, skc19, _13, _14, _15, _16) % ssPv5_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, skc25, _6, _7, _8, _9, skc23, _10, _11, _12, _13, _14, _15) % 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, skc27, _6, _7, _8, _9, _10, skc23, _11, skc18, _12, _13, _14, _15, _16) -- exceptions: % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, skc27, _6, _7, _8, _9, _10, skc23, _11, skc18, skc17, _12, _13, _14, _15) % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, skc27, skc25, _5, _6, _7, _8, skc23, _9, skc18, _10, _11, _12, _13, _14) % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, skc23, _11, skc18, _12, _13, _14, _15, _16) -- exceptions: % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, skc23, _11, skc18, skc17, _12, _13, _14, _15) % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, skc25, _6, _7, _8, _9, skc23, _10, skc18, _11, _12, _13, _14, _15) % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, _13, _14, _15, _16, _17, _18) -- exceptions: % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, _13, skc17, _14, _15, _16, _17) % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, skc18, _13, _14, _15, _16, _17) % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, skc19, _13, _14, _15, _16, _17) % ssPv5_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, _4, _5, skc25, _6, _7, _8, _9, skc23, _10, _11, _12, _13, _14, _15, _16) % ssPv5_8r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7) % ssPv6_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, skc20) -- exceptions: % ssPv6_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, _5, _6, _7, _8, _9, _10, skc20) % ssPv6_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc18) % ssPv6_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, skc22, _11, _12) -- exceptions: % ssPv6_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, skc22, _11, skc19) % 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, skc28, _5, _6, _7, _8, _9, _10, skc22, _11, _12, _13) -- exceptions: % ssPv6_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, skc22, _11, skc19, _12) % 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, skc28, _5, _6, _7, _8, _9, _10, skc22, _11, _12, _13, _14) -- exceptions: % ssPv6_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, skc22, _11, skc19, _12, _13) % 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, skc28, _5, _6, _7, _8, _9, _10, skc22, _11, _12, _13, _14, _15) -- exceptions: % ssPv6_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, skc22, _11, skc19, _12, _13, _14) % 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, skc28, _5, _6, _7, _8, _9, _10, skc22, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv6_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, skc22, _11, skc19, _12, _13, _14, _15) % 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, skc28, _5, _6, _7, _8, _9, _10, skc22, _11, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv6_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, skc22, _11, skc19, _12, _13, _14, _15, _16) % 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_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, _5, _6, _7, _8, _9, _10, _11, _12) -- exceptions: % ssPv8_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23) % ssPv8_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11) % ssPv8_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11) % ssPv8_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11) % ssPv8_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9) -- exceptions: % ssPv8_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _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, _5, _6, _7, _8, _9, _10, _11, _12, _13) -- exceptions: % ssPv8_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12) % ssPv8_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12) % ssPv8_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv8_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv8_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10) -- exceptions: % ssPv8_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _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, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) -- exceptions: % ssPv8_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, _13) % ssPv8_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13) % ssPv8_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv8_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv8_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11) -- exceptions: % ssPv8_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _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, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) -- exceptions: % ssPv8_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, _13, _14) % ssPv8_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv8_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv8_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv8_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12) -- exceptions: % ssPv8_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _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, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, _13, _14, _15) % ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13) -- exceptions: % ssPv8_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _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, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, _13, _14, _15, _16) % ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) -- exceptions: % ssPv8_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _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, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) -- exceptions: % ssPv8_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, _13, _14, _15, _16, _17) % ssPv8_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv8_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv8_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv8_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) -- exceptions: % ssPv8_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _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, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18, _19) -- exceptions: % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, _13, _14, _15, _16, _17, _18) % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, skc16, _15, _16, _17, _18) -- exceptions: % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, _13, skc16, _14, _15, _16, _17) % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, _13, skc16, _14, _15, _16, _17) % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc16, _14, _15, _16, _17) % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc16, _14, _15, _16, _17) % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc18, skc16, _14, _15, _16, _17) -- exceptions: % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, skc18, skc16, _13, _14, _15, _16) % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc24, _7, _8, _9, _10, _11, _12, skc18, skc16, _13, _14, _15, _16) % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, skc18, skc16, _13, _14, _15, _16) % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc30, _4, _5, _6, _7, _8, _9, _10, _11, _12, skc18, skc16, _13, _14, _15, _16) % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, skc23, _9, _10, _11, _12, _13, _14, _15) % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, skc16, _12, _13, _14, _15) -- exceptions: % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, skc23, _9, _10, skc16, _11, _12, _13, _14) % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, skc18, skc16, _11, _12, _13, _14) -- exceptions: % ssPv8_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, skc23, _9, skc18, skc16, _10, _11, _12, _13) % ssPv8_4r1r1r1r1(_0, _1, _2, _3) % ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10) -- exceptions: % ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8, _9) % ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11) -- exceptions: % ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10) % ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8) -- exceptions: % ssPv9_12r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc27, skc25, _4, _5, _6, _7) % ssPv9_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, _11) -- exceptions: % ssPv9_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8, _9, _10) % ssPv9_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12) -- exceptions: % ssPv9_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11) % ssPv9_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9) -- exceptions: % ssPv9_13r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc27, skc25, _4, _5, _6, _7, _8) % ssPv9_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, _11, _12) -- exceptions: % ssPv9_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8, _9, _10, _11) % ssPv9_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, _11, skc20) -- exceptions: % ssPv9_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8, _9, _10, skc20) % ssPv9_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) -- exceptions: % ssPv9_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv9_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, skc20) -- exceptions: % ssPv9_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, skc20) % ssPv9_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10) -- exceptions: % ssPv9_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc27, skc25, _4, _5, _6, _7, _8, _9) % ssPv9_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, skc20) -- exceptions: % ssPv9_14r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc27, skc25, _4, _5, _6, _7, _8, skc20) % ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, _11, _12, _13) -- exceptions: % ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8, _9, _10, _11, _12) % ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) -- exceptions: % ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc18) -- exceptions: % ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, skc18) % ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, skc21, skc18) -- exceptions: % ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, skc21, skc18) % ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11) -- exceptions: % ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc27, skc25, _4, _5, _6, _7, _8, _9, _10) % ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, skc18) -- exceptions: % ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc27, skc25, _4, _5, _6, _7, _8, _9, skc18) % ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, skc20, skc18) -- exceptions: % ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc27, skc25, _4, _5, _6, _7, _8, skc20, skc18) % ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, skc21, skc18) -- exceptions: % ssPv9_15r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc27, skc25, _4, _5, _6, _7, _8, skc21, skc18) % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, _11, _12, _13, _14) -- exceptions: % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, _11, _12, skc19, skc16) -- exceptions: % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8, _9, _10, _11, skc19, skc16) % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) -- exceptions: % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, skc19, skc16) -- exceptions: % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, skc19, skc16) % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, _13, _14) -- exceptions: % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, skc23, _11, _12, _13) % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, skc19, _13) -- exceptions: % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, skc23, _11, skc19, _12) % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, skc23, _12, skc19, skc16) -- exceptions: % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, skc23, _11, skc19, skc16) % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12) -- exceptions: % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc27, skc25, _4, _5, _6, _7, _8, _9, _10, _11) % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, skc19, skc16) -- exceptions: % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc27, skc25, _4, _5, _6, _7, _8, _9, skc19, skc16) % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, skc23, _9, _10, _11) -- exceptions: % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc27, skc25, _4, _5, _6, _7, skc23, _8, _9, _10) % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, skc23, _9, skc19, _10) -- exceptions: % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc27, skc25, _4, _5, _6, _7, skc23, _8, skc19, _9) % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, skc23, _9, skc19, skc16) -- exceptions: % ssPv9_16r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc27, skc25, _4, _5, _6, _7, skc23, _8, skc19, skc16) % ssPv9_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, _11, _12, _13, _14, _15) -- exceptions: % ssPv9_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv9_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv9_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv9_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13) -- exceptions: % ssPv9_17r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc27, skc25, _4, _5, _6, _7, _8, _9, _10, _11, _12) % ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) -- exceptions: % ssPv9_18r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc27, skc25, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13) % ssPv9_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) -- exceptions: % ssPv9_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) % ssPv9_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) -- exceptions: % ssPv9_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv9_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) -- exceptions: % ssPv9_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc27, skc25, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14) % ssPv9_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, skc25, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) -- exceptions: % ssPv9_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, skc25, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17) % ssPv9_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18, _19) -- exceptions: % ssPv9_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, _4, skc28, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18) % ssPv9_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, _4, skc25, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16) -- exceptions: % ssPv9_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1(_0, _1, _2, _3, skc31, skc28, skc27, skc25, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15) % END OF MODEL % EOF %------------------------------------------------------------------------------