First constructive completeness proof ever found for Walsh's 2nd axiom. Proof summary equivalent to proofs in w2.out from https://pastebin.com/Ct3gwVEU.

w2.txt from Prover9

% Walsh's 2nd Axiom (CpCCqCprCCNrCCNstqCsr), i.e. 0→((1→(0→2))→((¬2→((¬3→4)→1))→(3→2)))
% Completeness follows w.r.t. CpCqp,CCpCqrCCpqCpr,CCNpNqCqp and CCpqCCqrCpr,CCNppp,CpCNpq.
%
% Step counting: pmGenerator --transform data/w2.txt -f -n -t CpCqp,CCpCqrCCpqCpr,CCNpNqCqp,Cpp,CCpqCCqrCpr,CCNppp,CpCNpq -p -2 -d
% Compact (8364 bytes): pmGenerator --transform data/w2.txt -f -n -t CpCqp,CCpCqrCCpqCpr,CCNpNqCqp,Cpp,CCpqCCqrCpr,CCNppp,CpCNpq -j -1 -s CpCCNqCCNrsCNqCCNCCNtCCNuvNpCutwNCxCCyCxzCCNzCCNabyCazCrq,CCCpCCqCprCCNrCCNstqCsruCvu,CpCCNqCCNrsCCtCCuCtvCCNvCCNwxuCwvqCrq,CpCqCrr,CCNpCCNCqCCrCqsCCNsCCNturCtsvNwCwCxp,CCNCpqCCNrsCCtCupCCvCCwCvxCCNxCCNyzwCyxqCrCpq,CpCCNqCCNCCNrCCNstNCNpuCsrvNCwwq,CpCqCrCsCtq,CpCqCrp,CCNCpCqrCCNstrCsCpCqr,CCNCNpqCCNrspCrCNpq,CNCpCqNrCsCtCur,CNCpCqrCsNr,CCNpCCNqrCNppCqp,CpCCNqqq,CCNCCNCpqCpqqCCNrspCrCCNCpqCpqq,CCNCCpqqCCNrspCrCCpqq,CpCCNCpqCpqq,CCNCNpqpCNpq,CpCCNqNpq,CCNCpqCCNrsCNqNpCrCpq,CNNpCqp,CpCqNNCNpr,CpNNp,CCCpqCCrrsCqs,CpCqCNCrps,CpCqNNCrCsp,CpCCNCNqqCNqqq,CCCNpqNrCrCps,CCNpCCNqrNsCsCqp,CCNCpCqrrCpCqr,CpCCNqNNqq,CpCCNNNqNNqq,CpCCpqq,CCNCCpqqpCCpqq,CCNpCqpCqp,CpCCNqqCCqrr,CNCpqCrCqs,CCpCCqqrCpr,CpCCNNCqprr,CCpCqNpCqNp,CCpCNNpqCNNpq,CCCpqCrpCrp,CCNpCqCrpCqCrp,CCCpqCNprCNpr,CCpCqCrNpCqCrNp,CpCCNNCqrqq,CCpCqCprCqCpr,CCpCNCpqrCNCpqr,CCCpqCrCqsCrCqs,CCCCpqqCprCpr,CCCpqCrCspCrCsp,CCpCCNppqCCNppq,CCNNpCqCprCqCpr,CCNpCCpqqCCpqq,CCNpCNCqprCNCqpr,CCpqCpCrq,CCpqCrCpCsq,CpCqCCprCsr,CpCCCqprCsr,CCNNpqCpq,CCCNpqrCpNNr,CCCNpqrCpCCrss,CCCNpqrCpCNrs,CCpqCNNpq,CCNCpNpCpqCpq,CCpqCNCprq,CCCCpqqrCpr,CCpqCCNppq,CpCCqNpCqr,CpCCpNqCqr,CCpNqCpCqr,CCpNqCqCpr,CNCCNpqpq,CCNNCCNpqpqq,CCNCpNNqqCpNNq,CCCCNpqpCrqCrq,CCCCpqNpCrqCrq,CCpNqCNCpCqrs,CNCCNpqCrpq,CNCCCpqrpr,CNCCpqCprq,CNCpCCpqrq,CNCpNCpqNNq,CCpqCpNNq,CCpqCpCNqr,CpCCpqCNqr,CCNpqCNqp,CCpqCpCCqrr,CCNpqCCqpp,CCpCCqpNpNNNp,CCpCCNqpqCCNqpq,CCNNCNpNNNNNCCNNqqprCNrs,CCCpqrCNNNrp,CCpNNqCNNNNpq,CpCCpqCNCrqs,CNNCpNqCCCqNprr,CCCCpNNqqCprCpr,CCCNpqrCpNCrNr,CCCCpqCrqsCps,CpCCpqCCNNqrr,CNNCNpqCCqNCrrp,CCNCCpCCpqCrqsss,CCNCpqrCCrqCpq
%
% There are 37 steps towards Cpp / C0.0 (index 6).
% There are 465 steps towards CpCqp / C0C1.0 (index 34).
% There are 10049 steps towards CCNppp / CCN0.0.0 (index 46).
% There are 166589 steps towards CCNpNqCqp / CCN0N1C1.0 (index 59).
% There are 207 steps towards CpCNpq / C0CN0.1 (index 60).
% There are 330556198971 steps towards CCpqCCqrCpr / CC0.1CC1.2C0.2 (index 214).
% There are 661949665229 steps towards CCpCqrCCpqCpr / CC0C1.2CC0.1C0.2 (index 215).

    CpCCqCprCCNrCCNstqCsr = 1
[0] CCpCCqCCrCqsCCNsCCNturCtsvCCNvCCNwxpCwv = D11
[1] CpCCNCCNqCCNrsCNqCCNtuNpCrqCCNvwtCvCCNqCCNrsCNqCCNtuNpCrq = DD[0]11
[2] CCNCCNpCCNqrCNpCCNstNCuCCvCuwCCNwCCNxyvCxwCqpCCNzasCzCCNpCCNqrCNpCCNstNCuCCvCuwCCNwCCNxyvCxwCqp = D[1]1
[3] CpCCNqCCNrsCNqCCNCCNtCCNuvNpCutwNCxCCyCxzCCNzCCNabyCazCrq = D[2]1
[4] CCCpCCqCprCCNrCCNstqCsruCvu = DD[0][0][3]
[5] CCpCCCqCCrCCsCrtCCNtCCNuvsCutwCCNwCCNxyqCxwzCCNzCCNabpCaz = D1[0]
[6] Cpp = DD[5][4][3]
[7] CCNCCNpCCNqrCCsCCtCsuCCNuCCNvwtCvupCqpCCNxyzCxCCNpCCNqrCCsCCtCsuCCNuCCNvwtCvupCqp = DD1[4]1
[8] CCpCCqCCNrCCNstCNrCCNCCNuCCNvwNqCvuxNCyCCzCyaCCNaCCNbczCbaCsrdCCNdCCNefpCed = D1[3]
[9] CCNCpqCCNrsCCtpCCuCCvCuwCCNwCCNxyvCxwqCrCpq = D[8][0]
[10] CpCqCCCNCrCCsCrtCCNtCCNuvsCutwNqx = D[4][9]
[11] CpCCNqCCNrsCCtCCuCtvCCNvCCNwxuCwvqCrq = D[7][10]
[12] CCpCCqCCNrCCNstCCuCCvCuwCCNwCCNxyvCxwrCsrzCCNzCCNabpCaz = D1[11]
[13] CCNCpCqrCCNstCCNquCCvCCwCvxCCNxCCNyzwCyxrCsCpCqr = D[12]DD[12]1[11]
[14] CpCqCrr = D[13]D[4][7]
[15] CCNCCNCpqCCNrsCtCCuCCvCuwCCNwCCNxyvCxwqCrCpqCCNzaCNqCCNpbtCzCCNCpqCCNrsCtCCuCCvCuwCCNwCCNxyvCxwqCrCpq = D[5]1
[16] CCCNpqrCCNCpsCCNtuCrCCvCCwCvxCCNxCCNyzwCyxsCtCps = D[15][11]
[17] CCNCpCqrCCNstCCNquCNrCCNCvCCwCvxCCNxCCNyzwCyxaNpCsCpCqr = D[0][16]
[18] CCNpCCNCqCCrCqsCCNsCCNturCtsvNwCwCxp = D[17][11]
[19] CCNCpqCCNrsCCtCupCCvCCwCvxCCNxCCNyzwCyxqCrCpq = D[16][18]
[20] CpCqCCNrCCNstCNrCCNCCNuCCNvwNqCvuxNCyyCsr = DD[0][1][14]
[21] CpCCNqCCNCCNrCCNstNCNpuCsrvNCwwq = D[19][20]
[22] CCCNCpCCqCprCCNrCCNstqCsruCNvCCNwxyCCNCwvCCNzaCyCCbCCcCbdCCNdCCNefcCedvCzCwv = DD[0][15][11]
[23] CCpCCCCNCqCCrCqsCCNsCCNturCtsvCNwCCNxyzCCNCxwCCNabCzCCcCCdCceCCNeCCNfgdCfewCaCxwhCCNhCCNijpCih = D1[22]
[24] CCCNpqCrCCsCCtCsuCCNuCCNvwtCvuxCCNCpCyxCCNzaCCNCbCCcCbdCCNdCCNefcCedgCNxCCNyhrCzCpCyx = DD[23]1[11]
[25] CpCqCrCsCtq = DD[24]1[20]
[26] CpCqCrp = DD[0][17][25]
[27] CCNCpqCCNrsqCrCpq = D[23][26]
[28] CpCqCrCsp = D[25][25]
[29] CCNCpCqrCCNstrCsCpCqr = D[23][28]
[30] CCpCCqCrCsCtquCCNuCCNvwpCvu = D1[28]
[31] CCpCCqCrCsqtCCNtCCNuvpCut = D1[26]
[32] CpCqCNpr = DD[31][0][10]
[33] CCNCNpqCCNrspCrCNpq = D[30][32]
[34] CpCqp = DD[22][25]1
[35] CCCpCCNqCCNrsCNqCCNCCNtCCNuvNpCutwNCxCCyCxzCCNzCCNabyCazCrqcCdc = DD[0][8][11]
[36] CCpCCqCrCNsCCNtCCNuvsCutwCCNwCCNxypCxw = D1DDD[0]D1DD1D[9]11[11][35]
[37] CCpCCCqCCrCsCtCurvCCNvCCNwxqCwvyCCNyCCNzapCzy = D1[30]
[38] CCCNpqrCCNCpsCCNtuCrCCvCwCxCyvsCtCps = DD[37]1[11]
[39] CNCpCqNrCsCtCur = DD[36][38][11]
[40] CpCNCqCrsCtNs = D[33][39]
[41] CNCpCqrCsNr = D[40][40]
[42] CCpCCqqrCCNrCCNstpCsr = D1[6]
[43] CCNCCNpCCNqrCspCqpCCNtusCtCCNpCCNqrCspCqp = D[42]1
[44] CpCCNqCCNrsCNqqCrq = D[43][41]
[45] CCNpCCNqrCNppCqp = D[44][44]
[46] CCNppp = D[45][21]
[47] CpCCNqqq = D[34][46]
[48] CCpCCqCCNrrrsCCNsCCNtupCts = D1[47]
[49] CpCCNqCCNrsCNCpqCpqCrq = DDD1[46]1[47]
[50] CCNCCNCpqCpqqCCNrspCrCCNCpqCpqq = D[48][49]
[51] CCNCCpqqCCNrspCrCCpqq = D[12][49]
[52] CpCCNCpqCpqq = D[50][47]
[53] CCNCNpqpCNpq = D[33][52]
[54] CCNpCCNqrCCsCCNCstCsttpCqp = DD1[52][6]
[55] CpCCNqNpq = D[54]1
[56] CCpCCqCCNrNqrsCCNsCCNtupCts = D1[55]
[57] CCNpNqCCNpCCNrsqCrp = DD[56]1[55]
[58] CCNCpqCCNrsCNqNpCrCpq = D[56][57]
[59] CCNpNqCqp = D[58][55]
[60] CpCNpq = D[19]1
[61] CpCqq = D[14][14]
[62] CNNpCqp = DD[33][41]D[60][61]
[63] CpCqNNp = D[18][62]
[64] CpCqNNCNpr = D[58]D[34]D[59]D[59]D[54]D[34][63]
[65] CNNpp = D[46]D[18][64]
[66] CpNNp = D[59][65]
[67] CCCpqCCrrsCqs = DD[8][42]D[34]D[55][6]
[68] CpCqCNCrps = D[67]D[19]D[35][43]
[69] CpCqCrCsNNr = D[26][63]
[70] CpCqNNCrq = D[9][69]
[71] CNCpCqCrsCtNs = D[53][39]
[72] CNCpNqCrCsq = D[53][71]
[73] CpCqNNCrCsp = DD[19]D[26]D[59]D[59]DD[19][69]D[60]D[59]D[70][70]D[66]DD[33][71]D[53][72]
[74] CNCpCqNrCsr = D[18][73]
[75] CpCCNCNqqCNqqq = D[50]D[53][74]
[76] CCCNpqNrCrCps = DD[9][21]D[43][21]
[77] CCNpCCNqrNsCsCqp = DD[24][6]D[2][25]
[78] CCNCpCqrrCpCqr = D[29][52]
[79] CCNpCCNqrNNpCqp = D[56][62]
[80] CpCCNqNNqq = D[34]D[79][52]
[81] CpCCNNNqNNqq = D[34]D[79][75]
[82] CpCCqCCrrsCqs = DD[48][48]D[26][42]
[83] CpCCpqq = D[51][80]
[84] CCNCCpqqpCCpqq = D[51][52]
[85] CCNpCCNqrpCqp = D[37][34]
[86] CpCCNCNqCrqCNqCrqCrq = D[50][41]
[87] CCNpCqpCqp = D[85][86]
[88] CCNppCCpqq = D[51][75]
[89] CpCCNqqCCqrr = D[62]D[66][88]
[90] CNCpqCrCqs = DD[36][12][89]
[91] CCpCCqqrCpr = D[82][82]
[92] CpCNCCpqqr = D[33][89]
[93] CpCCNNCqprr = DDD[12][57]D[34]D[91]DD[31][57][80]D[87][92]
[94] CCpCqNpCqNp = D[87]D[51]DD[27][86][93]
[95] CpCCNNCNNqrqq = D[34]D[87]D[51]D[34][66]
[96] CCpCNNpqCNNpq = D[87]D[51][95]
[97] CpCCNNqNqCqr = D[34]D[76]D[94][88]
[98] CCCpqCrpCrp = D[84]DD[38][18][97]
[99] CCNpCqCrpCqCrp = D[84]D[91][71]
[100] CCCpqCNprCNpr = D[84]DD[17][21]D[67]D[18][74]
[101] CCpCqCrNpCqCrNp = D[84]D[59]D[67][73]
[102] CNNpCCNCpqCpqq = D[50][81]
[103] CpCCNNpqq = D[51]D[34]DD[42][6][102]
[104] CpCCNNCqrqq = D[34]D[98][103]
[105] CCpCqCprCqCpr = D[84]D[98]DD[19]D[26][32]D[59]D[59]D[54]D[34][64]
[106] CCpCNCpqrCNCpqr = D[84]D[98]D[33]D[19][14]
[107] CCCpqCrCqsCrCqs = D[84]D[78]D[98]D[67]D[67]D[13]D[34]D[19][25]
[108] CpCCCCpqqrr = D[51][89]
[109] CCCCpqqCprCpr = D[105][108]
[110] CpCqCNCrCspt = D[67]D[67]D[13][25]
[111] CCCpqCrCspCrCsp = D[84]D[105]D[67][110]
[112] CCpCCNppqCCNppq = D[84]D[45]D[34]D[98][93]
[113] CCNNpCqCprCqCpr = D[84]D[94]D[100][110]
[114] CCNpCCpqqCCpqq = D[84]D[94]D[109][68]
[115] CCNpCNCqprCNCqpr = DD[83]D[51]D[34]D[94][93][105]
[116] CNCpqCCNCprCprr = D[50][104]
[117] CCpqCpCrq = D[29][116]
[118] CCpqCrCpCsq = D[117][117]
[119] CpCCpqCrq = D[109][118]
[120] CpCqCCprCsr = D[117][119]
[121] CpCCCqprCsr = DD[84]D[78]D[98]D[67]D[58]D[34]D[9][10][120]
[122] CpCCNNpqCrq = DD[84]D[94]D[100][68][120]
[123] CCNNpqCpq = D[105][122]
[124] CCCpqrCqr = D[105][121]
[125] CCCNpqrCpNNr = D[124]D[56][63]
[126] CCCNpqrCpCCrss = D[124][51]
[127] CCCNpqrCpCNrs = D[124][33]
[128] CNNpCCpqCrq = D[96][120]
[129] CCpqCNNpq = D[105][128]
[130] CCNCpNpCpqCpq = D[114]D[117]D[105]D[59]D[106]D[96]D[29]D[50]D[53][41]
[131] CCpqCNCprq = D[105]D[106][120]
[132] CpCCCCpqqrCsr = D[109][120]
[133] CCCCpqqrCpr = D[105][132]
[134] CCNppCCpqCrq = D[112][120]
[135] CCpqCCNppq = D[105][134]
[136] CpCCqNpCqr = D[77][116]
[137] CpCCpNqCqr = D[99]D[131]D[77]D[131][135]
[138] CCpNqCpCqr = D[99]D[131][136]
[139] CCpNqCqCpr = D[99]D[131][137]
[140] CNCCpqrCpCsq = D[106][118]
[141] CpCNCCpqrq = D[105][140]
[142] CCNppCNCCpqrq = D[112]D[117][141]
[143] CNCCNpqpq = D[53]D[117]D[59]D[125][142]
[144] CCNNCCNpqpqq = D[114]D[117]D[129][143]
[145] CNCCNpqpNNq = D[125][144]
[146] CCNCpNNqqCpNNq = D[78][145]
[147] CNCCNpqpCrq = D[117][143]
[148] CCCCNpqpCrqCrq = D[114]D[117][147]
[149] CCCCpqNpCrqCrq = D[114]D[117]D[117]D[53]D[101]D[127][142]
[150] CCpNqCNCpCqrs = D[138]D[146]D[131][138]
[151] CCNCpqCpqCpCrq = D[112][118]
[152] CCpqCNCpCrqs = D[127][151]
[153] CNCCNpqCrpq = D[148][152]
[154] CNCCCpqrpr = D[149]D[138]D[146]D[131]D[111][136]
[155] CNCCpqCprq = D[149][150]
[156] CNCpCCpqrq = D[149]D[138]D[146]D[131][139]
[157] CCpNqCqNp = D[101][137]
[158] CCpNqNNCqNp = D[146]D[131][157]
[159] CNCpNCpqNNq = D[146]D[131]D[149]D[138][158]
[160] CNCNCCpqCprsq = D[131][155]
[161] CNCCpqCprNNq = D[146][160]
[162] CCpqCpNNq = D[78][161]
[163] CCpqCpCNqr = D[78]D[138][161]
[164] CpCCpqCNqr = D[133][163]
[165] CCNpqCNqp = D[99][164]
[166] CCpqCpCCqrr = D[78]D[126]D[114]D[117]D[129][155]
[167] CpCCpqCCqrr = D[133][166]
[168] CCNpqCCqpp = D[99][167]
[169] CCpCCqpNpNNNp = DD[101]D[129][137]DD[114]D[117]D[129]D[105]D[59]D[106]D[117]DD[51][72]D[87]D[51]D[34]D[29][75]D[59][159]
[170] CCpCCNqpqCCNqpq = DD[99]DD[107][132][166]DD[83]D[76]D[52][61][148]
[171] CpCCNNpqCNqr = D[123][164]
[172] CCpqCNqNNNp = D[101]D[129][164]
[173] CCNNCNpNNNNNCCNNqqprCNrs = D[171]DD[83]D[96]D[117]D[83][65][172]
[174] CNpCCCpqrCsr = D[100][120]
[175] CCCpqrCNCNpsr = D[105]D[131][174]
[176] CNpCqCCqpr = D[59]D[162][156]
[177] CCCpqrCNNNrp = D[111]D[99]D[175]D[135][176]
[178] CCNCpCqrNqCpCqr = D[99]D[106]D[117][55]
[179] CCpNNqCNNNNpq = D[99]DD[178]D[149][92]D[117]D[99]D[175]D[135]D[59][161]
[180] CCNCpqCpqCNCprq = D[112]D[117][131]
[181] CCNpqCrCNqp = D[117][165]
[182] CNCCpqCprCsq = D[117][155]
[183] CpCCpqCNCrqs = D[133]D[99]D[180]D[181][182]
[184] CNNNNCpqCpCCqrr = D[179]D[162][166]
[185] CCNCpqCpqCNNpq = D[112]D[117][129]
[186] CNNCpNqCCCqNprr = D[184]D[169]DD[127][185][157]
[187] CpCqCrCCpsCts = D[117][120]
[188] CCCCpqqrCNNpr = D[105]D[96]D[109][187]
[189] CCCCpNNqqCprCpr = D[113]D[188]D[126]D[114]D[117]D[129]D[99][136]
[190] CpNNCCpNqCqr = D[125]D[135][137]
[191] CCNpNqCqCrp = D[78]D[117]D[59][190]
[192] CCCNpqrCpNCrNr = D[77]D[129]DD[170]D[117]D[83]D[76]D[87][102]DDD[126]DDD[48][31][80]D[27][52]D[34]D[165]D[191][159][166]
[193] CCCCpqCrqsCps = D[105]DD[113]DD[83][128][166][120]
[194] CCpqCrCpCCqss = D[117][166]
[195] CpCCpqCCNNqrr = DD[113]D[188]D[126]D[135][162][194]
[196] CNCCNpqCrpCCqss = D[184]D[169]D[60][153]
[197] CNNCNpqCCqNCrrp = D[129]D[105]DD[105]DD[170]D[117]DD[56]D[60][6][116]DD[105]D[165]D[117][153]D[165][153][196]
[198] CCpqCNqNp = D[101][164]
[199] CCpqNNCNqNp = D[162][198]
[200] CCpqCNCpCCqrrs = D[163][166]
[201] CCNCCpCCpqCrqsss = DD[197]D[199]D[78]D[149][200]D[173]DD[27][89][119]
[202] CNCCCpqrpCsr = D[117][154]
[203] CNCpqp = D[53]D[91][90]
[204] CCNCpqCCNrsCpCCttqCrCpq = D[48][42]
[205] CNNCpqCpCrq = D[96][118]
[206] CpCNNCpqq = D[105][205]
[207] CCCpqrCsCqr = D[117][124]
[208] CCpqCNCpCNqrs = D[163][163]
[209] CCpqCpCrCsq = D[78]D[117][182]
[210] CNCCNNpqCprq = D[148][150]
[211] CCNCpqrCCrqCpq = D[99]DDDDD[197]DD[125][151][154]DDD[184]DDD[101]D[129]D[99]D[180]DD[117]D[105]DD[105]D[130]D[117]D[59][145]D[59]D[125]D[112][187][176]D[139]D[162]D[114][202]DD[117]D[83][203]D[77][102]D[198]D[178]DD[204]D[34]D[91]D[99][55]D[34][153]D[206][119]D[197]DD[125][185]D[193][170]DD[129]D[78]DD[129]D[99]DDDDD[178]D[192]D[168]D[125][134][167]DD[101]D[180]D[207][164]DD[197]D[199][163]D[173]DD[117][105]DD[107]DD[105]D[51]D[51]D[18]D[18]D[18]D[67]D[59]D[59]D[59]D[59]DD[19][21]D[18]D[78]D[59]D[59]D[59]D[85]D[34]D[59]D[79][81][120]D[177]D[168]D[165]D[148]D[163]D[78]D[117]D[59]D[125]D[135][136]D[34]DDDD[197]D[199][168]D[173]DD[117][94]D[127]D[117]D[114]D[78]DD[42][59][95]D[131][183]DD[99]D[131][164]DDDD[111][195]DDD[111]D[123]D[189][194]DD[129]D[55]D[58][49]DD[162]D[99][171]D[177]D[168]D[165]D[149]D[163][172]DD[111][183]D[168]D[101]D[133]D[99]D[131][163]D[129]D[117][205]D[165]DDD[99]D[115]D[117][167][176][208]D[105]D[165][196]DD[162]D[107]D[189]D[117][209]DDDDD[123][195]DDD[99]D[180]D[181][210]DD[105]D[165]DD[101]DD[114]D[117]D[129]D[59]D[131]D[130]D[101]D[127]D[114]D[117]D[96]D[117]D[84]D[53][90]D[191][161]D[117]D[149][152]D[139]D[94]D[126]D[135]D[58]D[34]D[112]D[117][206]DD[101]D[204][89]D[60]D[105]D[123]D[78]D[117]D[59]D[125]D[135]D[133][139]D[34]D[201]DD[78]D[117][210]D[177]D[126]D[114]D[117]D[129]D[114][147]D[129]D[201]DD[105]DD[129]D[105]DD[105]D[165]DD[78]DD[78]DD[124][45][144][160][153]D[115]D[115]DD[105]DD[105][174][122]D[117]D[129][141]DD[162]D[99]D[59]D[148][200]D[165]D[177]D[168]D[165]D[148]D[163][209]DD[197]D[158]D[146]D[131][131]D[173]D[118]D[51]D[34]D[114]D[117]D[96]D[117]DD[51][90]D[66][203]D[186]D[66][190]DD[146]D[106][207]DD[179]D[162]D[101]D[165][182]DDD[186]D[66]D[94]D[127]D[114]D[129]D[117]D[87][108]D[101]D[165]D[149][208]DDDD[165][202]DD[83]D[94]D[33]D[50]D[4][13]D[103]D[94]D[33][97]DD[99]D[123][167]DD[105]DD[129]D[105]D[129][128]D[66][121]D[135]D[101]D[165]D[117][156]DD[78]D[58][104]D[192]D[114]D[117]D[129][156][120]
[212] CCpCqrCCqpCqr = D[211][155]
[213] CCpCqrCpCqCsr = D[212][118]
[214] CCpqCCqrCpr = D[105]D[213]DD[211][140][212]
[215] CCpCqrCCpqCpr = DD[214]D[105]D[213]D[193][212][212]