% Full summary: pmGenerator --transform data/L-pm.txt -f -n -t . -j 1 % - infix formulas: pmGenerator --transform data/L-pm.txt -f -n -t . -j 1 -u % - to file: pmGenerator --transform data/L-pm.txt -f -n -t . -j 1 -u -o data/tmp.txt % Same steps: % - step counting: pmGenerator --transform data/L-pm.txt -f -n -t . -j -1 -p -2 -d % - infix formulas: pmGenerator --transform data/L-pm.txt -f -n -t . -j -1 -u % Summary containing intermediate theorems with use counts of at least two: % - to file: pmGenerator --transform data/L-pm.txt -f -n -t . -o data/tmp.txt -d % (18845 bytes, in contrast to 28873 bytes here) % List of theorems: CpCqp,CCNpqCNqp,CCpCqrCqCpr,CCpqCCrpCrq,CCpNpNp,CCpNqCqNp,Cpp,CNNpp,CpNNp,CCpqCNqNp,CCNpNqCqp,CNpCpq,CpCCpqq,CNNpCCpqq,CCpCNqrCpCNrq,CCpCNqrCNCpqr,CCNCpqrCpCNqr,CCpqCCNrpCNqr,CCpqCCNprCNrq,CCpqCCNprCNqr,CCpCpqCpq,CCNpCqpCqp,CCNNpCpqCpq,CNCpqp,CNCpqNq,CNCpqCNpr,CNCpqCrNq,CNCpqCqr,CNpCCNqpq,CCNpqCCpqq,CCpqCCNpqq,CCNpqCCNpNqp,CCpqCCpNqNp,CCCNpqrCpr,CCCpqrCNpr,CCCpqrCCrpp,CCpqCCNCNpqrCNqr,CCpqCCNCNqprCNqr,CCpqCCpCqrCpr,CCpCqrCCpqCpr,CCpqCCNNqrCpr,CCpCqrCCspCCsqCsr,CCNCpqrCCNCpNrsCNCpqs,CCpCqrCCpCrsCpCqs,CCCpqCrsCrCqs,CNCpqNCNNpq,CNCNNpqNCpq,CNNCpqCNNpq,CCNNpqNNCpq,CpCqNCpNq,CpCqNCqNp,CNCpNqNCqNp,NNCpNNp,CNCpNqq,CCNCpNqrCpCqr,CCpCqrCNCpNqr,CNCCpqNCqrCpr,CNCCpqNCrpCrq,CNCpNCpqq,CCNCpNqrCNCpNNrNq,CNCpNqCrq,CCpqCNCprq,CCpqCNCrNpq,CNCCpqNCprCpNCqNr,CNCCpqNCrqCCNprq,CCpqCNCprNCqr,CNCCpqNCrsCNCpNrNCqNs,CNCCpqNCrsCCNprCNqs,NCCCpqCNqNpNCCNrNsCsr,NCCNCCpqNCrsNCCNsNrNCNqNpNCNCCNtNuNCNvNwNCCwvNCut,NCCNCCpNqNCNrsNCCqNpNCNsrNCNCCtNuNCNvwNCCuNtNCNwv,NCCpNNpNCNNqq,NCCCNCpNqrCNCpNNrNqNCCNCsNNtuCNCsut,NCCCNCpNqrCNCqrNpNCCNCstNuCNCuNst,NCCppNCqq,NCCNCpNqNCqNpNCNCrNsNCsNr,CNCNCCpqNCrsNNCCqtNCurNCCptNCus,NCCpNCpNpNCNCqNrr,NCCpCqpNCCNrrr,NCCCNpqCNqpNCCNrsCNsr,NCCNCNCpNqrNCpNNCqrNCNCsNNCtuNCNCsNtu,NCCCNCpqrCpCNqrNCCsCNtuCNCstu,CNCCpqNCrsNCCNCptNCqtNCNCruNCsu,CNCCpqNCrsNCCCNptCNqtNCCNruCNsu,CNCNCCpqNCrsNNCCtuNCvwNCCNCpNtNCqNuNCNCrNvNCsNw,CNCNCCpqNCrsNNCCtuNCvwNCCCNptCNquNCCNrvCNsw,NCCNCpNCqrCNNCpqNCpNrNCCNNCstNCsNuNCsNCtu,NCCCpNCqNrNCCpqNCprNCNCCstNCsuCsNCtNu,NCCpCNNCpqNCpNqNCCNNCrsNCrtr,NCCpNCCNpqNCNprNCNCCNstNCNsNts,NCCpCNpqNCCNrNCrsr,NCCpNCpNCNpqNCNCrsr,NCCNCpqNCNNpqNCNCNNrsNCrs,NCCNNCpqCNNpqNCCNNrsNNCrs,NCCNCpNNqNCNNpqNCNCNNrsNCrNNs,NCCNNCpNNqCNNpqNCCNNrsNNCrNNs,NCCNNppNCqNNq,NCCNCpNNqNCpqNCNCrsNCrNNs,NCCNNCpNNqCpqNCCrsNNCrNNs,NCCCpqCNNpqNCCNNrsCrs,NCCNCpqNCpNNqNCNCrNNsNCrs,NCCCpqCpNCpNqNCCrNCsNtCrt,NCCCpqNCCpNCpNqNCNCrsrNCNCCtNCuNvwCtv,NCCCpqNCCrCsrNCCNpqqNCNCtNCCNuvwCuw,CpNCCqNCqNpNCNCrsr,CpNCCqCrqNCCpss,NCCNCCpqNCprCpNCqNrNCCsNCtNuNCCstNCsu,NCCNCCpqNCrqCCNprqNCCCNstuNCCsuNCtu,NCCCNCpqCprCpCNqrNCCsCNtuCNCvtCsu,NCCCNCpqCrqCNCpNrqNCCNCsNtuCNCsvCtu,NCCCpNpNpNCqCrq,NCCCNpppNCqCrq,NCCNCCpqNCpNqNpNCNrNCCrsNCrt,NCCNCCpqNCNpqqNCrNCCsrNCtr,CNCCpqNCrsNCCCstCrtNCCquCpu,CNCCpqNCrsNCCCtpCtqNCCurCus,CNCCpqNCrsNCCNCCstNCupNCCrtNCuqNCNCCqvNCwrNCCpvNCws,NCNCNCCCNCpNqrCpCqrNCCsCtuCNCsNtuNNCCCvCwxCwCvxNCCyCzaCzCyaNNCCCbCcdCNCbNcdNCCNCeNfgCeCfg,CNCpNqNCCrqNCsp,CNNCCpqNCrsNCCsNqNCNrp,NNCNCCpqNCqpNNCCpNqNCNqp,NCCNCCNpqNNNrNCrNCNqpNCNCsNCNtuNCCNutNNNs,NCCNCCpqNCqpNNCCpNqNCNqpNCNNCCrNsNCNtuNCCusNCtr,NNCCpNpNCNpp,CNCNpNNqNCCprNCqs,NCCNNCCpqNCrsCNNCpNNqNCrNNsNCCNNCtNNuNCvNNwNNCCtuNCvw,NCCNCCpqNCqpCNNCpNqNCNpNNqNCCNNCrNsNCNtNNuNCCtsNCur,NCCNCNNCpNqNCNpNNqCNNCpNNqNCqNNpNCCNNCrNsNCtNNuNCNNCusNCNrNNt,NCCCNpqCCpqqNCCCrstCNrt,NCCCNCpqrCNCpqNCpNrNCCsNCtNuCsu,CNCpNCqrCqNCrNp,NCCCpNCCqrNCstNCCNCpNqNCpNrNCNCpNsNCpNtNCNCCNCuNvNCwNxNCNCuNyNCzNaCuNCCvxNCya,NCCNCpNCqrNCpNCNCsNqrNCNCtNCNCtNuvNCtNCuv,CNCCpqNCprCpNCCsrNCtq,NCCNCpNNCCpqrNCqNNCCpqrNCNCsNNCtNCsuNCuNNCtNCsu,NCCCpCpqCpqNCrCsr,NCCCCpqCrsCrCqsNCCtCuvCCtuCtv,NCCCpCqrCpCqNCpNrNCCsCtNCuNvCsCtv,CCpqNCCCprCpNCqNrNCCsNCtNuCsu,CpNCCCpqqNCrCsr,CpNCCqNCCrqNCspNCNCCptut,NCCCCNCNpqrsNCNCCpsNCqsNCrsNCNCNCCtuNCvuNCwuCCNCNtvwu,CNNCCpqNCrNCrNsNCCNCtNuuNCsp,CNNCCCNpqpNCrCNrsNCCtqNCuCvu,NCCCNCpNqrCpCqrNCCsCtuCNCsNtu,NCCNCCNpqNNqNCpNNqNCNCrsNCCNrts,NCCCNNCpqrCNprNCCNstCNNCstt,NCCNCCCNpqCNrsNCCNtuCNvsCNsNCCprNCtvNCCNwNCCxyNCzaNCCCNxwCNywNCCNzwCNaw,CCpNqNCCNCCNrpNqNCrNqNCNCstNCCNsut,NCCCpNCCqrNCstNCCCpqCprNCCpsCptNCNCCCuvCwxNCCyzCwaCwNCCvxNCza,CNCCpqNNCCrCstNCCupvNCCNCrNstNCpNCvNq,CCCCCpqCNrNsrtCCtpCsp,CCCpqpp,NCCNCCNCCpqNCrstNCuNCCsvNCrpNCCsNCCqtNCuvNCNCCruNCtrpNCNCCwNCCxyNCzaNCNCCxzNCybcNCCNCCcxNCxwyNCzNCCwaNCbc % - generated from 'data/L-pmproofs.txt' (version 11-Nov-2025) via % $ ./dProofsFromDB data/L-pmproofs.txt data/L-pmproofs_dproofs.txt 1 1 % $ ./pmGenerator -c -n -s CCpqCCqrCpr,CCNppp,CpCNpq --parse data/L-pmproofs_dProofs.txt -f -n -b -o data/tmp.txt % $ sed -i 's/[0-9]+\. //g' -r data/tmp.txt && tr '\n' ',' < data/tmp.txt > data/L-pmproofs_theorems.txt && sed -i 's/,$//g' -r data/L-pmproofs_theorems.txt % File generated from 'data/L-pmproofs.txt' via % $ ./dProofsFromDB data/L-pmproofs.txt data/L-pmproofs_dproofs.txt 1 1 % $ ./pmGenerator -c -n -s CCpqCCqrCpr,CCNppp,CpCNpq --parse data/L-pmproofs_dProofs.txt -f -n -s -o data/tmp.txt % $ ./pmGenerator --transform data/tmp.txt -f -n -j -1 -o data/L-pm.txt -t % Compacting list: CCCCNpppqCrq,CCNNpNqCpCqr,CCCpCqrsCNps,CCCpCqrsCNqs,CCCpCqrsCCqNps,CCpCNqqCpq,CCCCpqqrCCNqpr,CCNCpqCNCrqCrqCCprCpq,CCCNNpqrCCpqr,CCCNpCqrsCCqps,CCCpCNqrsCqs,CCCCCpqrrsCNps,CCCCpqCrCpstCCrCqst,CCpCqrCCqpCqr,CCCpqrCNNCpqr,CCpqCNNCCrCsrpq,CCCpqrCCCspqr,CCNpNqCrCqp,CCCpqrCNCsCtpr,CCNpNqCCNCprCprCqr,CCNpCNNqNqCqp,CCCpqrCNCsNCpqr,CCpqCpCNqr,CCpCNqqCCqrCpr,CCCpqCNrrCNrNCpq,CCCNNpqrCNCsNCpqr,CCNpNqCCprCqr,CCCCpqCrqsCps,CCCpqrCNCNNCpqsr,CCCNNCpqqrCpr,CCCNCpqrsCqs,CCCpqrCNCNCsNCpqtr,CCCpNNpqCrq,CCCNCpNqqrCsr,CCCNCNCpqprsCts,CCCpqrCNCsNCsNpr,CCpNCqrCpNNq,CNCCpNCqNrCprs,CCpqCpNNq,CCCCpqCprsCNCtNCqrs,CCpqCCprCpNCqNr,CCpqCrCpNCrNq,CCCpqrCNCNCCpqstr,CCNNpqCpNCqNp,CNCpNCCNqrsCqs,CCCpqrCNNCpNNqr,CNNCCpNqNCNrsNCCsqNCrp,CCpqCCNCprsCNCprNCqNs,CCCNCCpqNCrsNCCtqNCruvCNCCtpNCsuv,CNCCpNCqNrNCCpqNCprs,CCCCpNqNprCNCCpqsr,CCCCpNqNCNqprCNCCpqNCqpr,CCCCpqrsCNCtCNqNps,CNCNCCpNqNCNrsNCCqNpNCNsrt,CCCNCCpqNCrsNCCtqNCruvCNCCsuNCtpv % - generated from 'data/L-pm.txt' via % $ ./findCompactSummary data/L-pm.txt % - usage: % $ ./pmGenerator --transform data/L-pm.txt -f -n -j -1 -o data/L-pm-compact.txt -t -s -d % - examplary output: 74.28 ms taken to obtain 1933 helper proof candidates, i.e. the minimal set of referenced proofs such that each proof contains only a single rule with inputs. % 154.70 ms taken to morph and parse 2087 abstract proofs. % 2.39 ms taken to count 45936 symbols in 2087 formulas (≈22.01 symbols/formula). There are 3504 and 42432 symbols in 154 explicit and 1933 implicit conclusions (≈22.75 and ≈21.95 symbols/formula), respectively. % 0.29 ms taken to validate 154 conclusions. % 8.16 ms taken to find 154 occurrences of 154 theorems. % 0.63 ms taken to obtain 2087 referenced indices. % 5.13 ms taken to obtain 209 dedicated indices. % 1.85 ms taken to build transformed proof. % 2.72 ms taken to print and save 15132 bytes to data/L-pm-compact.txt. CCpqCCqrCpr = 1 CCNppp = 2 CpCNpq = 3 [0] CCCNpqrCpr = D13 [1] Cpp = D[0]2 [2] CCNpNqCqp = DD11DD11DD1D1D[0]DD1D1D322DD12[0] [3] CpCqp = D[0][2] [4] CNpCpq = DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD11D1D[0]D122 [5] CCCpqrCNpr = D1[4] [6] CpCCpqq = D[0]DD1DD11[0]DD1DD11DD11DD1D1D[0]DD1D1D3222D1D12 [7] CNNpp = D[5]2 [8] CCpqCCrpCrq = D[0]DD1DD11[0]DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11D12 [9] CCCpqpp = DD1[5]2 [10] CCpCqrCqCpr = DD11D1[6] [11] CCpNpNp = DD1D1[7]2 [12] CCpCpqCpq = DD1DD11[5]2 [13] CpNNp = D[0][11] [14] CCNpqCCNpNqp = DD1DD11D1[2]DD11DD1D1D[0]DD1D1D3222 [15] CNCpqCNpr = D2D[5]DD1D1D[0]DD11[0]3 [16] NCCppNCqq = D2DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12D1D[0]DD1D1D3[1]22D3[1] [17] CCpqCCNNqrCpr = DD11D1D1[13] [18] CNCpqp = DD1[15]2 [19] CCpqCNCprq = D1[18] [20] CCCpqrCCrpp = DD1[5]DD11DD11DD1D1D[0]DD1D1D3222 [21] CCNpqCNqp = DD1DD11[5]DD11DD1D1D[0]DD1D1D3222 [22] CCNpCqpCqp = DD1[10]DD11DD1D1D[0]DD1D1D3222 [23] CNNpCCpqq = DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD11D1D[0]D12DD11DD11DD1D1D[0]DD1D1D3222D1D12 [24] CNNCpqCNNpq = DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12D1[7] [25] CCpNqCqNp = DD1D1[7][2] [26] CCpqCCNrpCNqr = DD1DD11[5]DD11D1DD11DD11DD1D1D[0]DD1D1D3222 [27] CNCpqCqr = D[5]D1[3] [28] CCpCqrCCpqCpr = DD1DD11D11DD11DD1D1DD1D[0]DD1D1D322D1DD11[5]2 [29] CCNpqCCpqq = DD1DD11[5]DD1DD11DD11DD1D1D[0]DD1D1D3222D1D12 [30] CCpqCCpCqrCpr = DD11DD1DD11[5]DD1DD11D11DD11DD1D1D[0]DD1D1D3222 [31] CNCpNqq = DD1[27]2 [32] CCpqCNCrNpq = D1[31] [33] NCCCNpppNCqCrq = D2DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12DD1D1D[0]DD1D1D3222D3[3] [34] NCCpCqpNCCNrrr = D2DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122DD1D1DD1D[0]D1D3[3]22D32 [35] CCpCqrCCpCrsCpCqs = DD11DD1D1DD11D11DD11DD1D1DD1D[0]DD1D1D322D1DD11[5]2 [36] CCCpqCrsCrCqs = DD1D1[3][10] [37] CpCqNCqNp = D[0]D2DD1D[5]D1D[0]DD1DD11[0]DD11D1D[0]DD1D1D322DD121 [38] CpCqNCpNq = DD1D[0]DD11DD1[0]DD11D1DD12D12DD1D1D[0]DD11DD1[0]DD11D1D[0]D12DD1DD11DD11DD1D1D[0]DD1D1D3222D1D[0]D12 [39] CCpCNqrCpCNrq = DD11DD1D1DD1DD1D[0]D1D3DD11DD1D1D[0]DD1D1D32222D1DD11[5]2 [40] CNpCCNqpq = DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD11D1D[0]D12DD1DD11D11DD11DD1D1D[0]DD1D1D3222DD11DD1D1D[0]DD1D1D3222 [41] CCpqCNCprNCqr = DD1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2DD1DD11DD1D1D[0]DD1D1D33222 [42] CNCpNqCrq = DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]DD1DD11DD11DD1D1D[0]DD1D1D3222D1D[0]D12 [43] CNCpqNq = D2DD1[42]3 [44] CCpqCCNprCNrq = DD1D12DD1[8]D1DD11[5] [45] NNCpNNp = D2DD1[7]D3[13] [46] CCpqCCNprCNqr = DD1D1[7]DD1DD11[5]DD11D1D12 [47] CCNNpCpqCpq = DD1D1[13][12] [48] CCpqCNqNp = DD1DD11DD1D1D[0]DD1D1D3322DD1[32]2 [49] CNCpqCrNq = D2DD1D[5]D1D[0]DD1DD11[0]DD11D1D[0]DD1D1D322DD1[2]3 [50] CCNNpqNNCpq = DD1D1[13][13] [51] CCpqCCNCNqprCNqr = DD1D2DD1D[5]D1D[0]DD1DD11[0]DD11D1D[0]DD1D1D322DD12DD11DD11DD1D1D[0]DD1D1D3DD123221 [52] CCNCpqrCCNCpNrsCNCpqs = DD1DD11DD1D1DD11[0]DD1D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2DD11DD1D1D[0]DD1D1D3DD1232DD1221 [53] CNCNNpqNCpq = D2DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]DD12D1[7]3 [54] NCCpCNpqNCCNrNCrsr = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1D[0]DD1D1D3322D3DD1DD1DD11[0]DD1D1[0][9]2 [55] CNCCpqNCqrCpr = D2DD1D[5]D1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]23 [56] CCNCpNqrCpCqr = DD1D[0]DD11[0]DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD1DD1DD1D[0]DD11DD1[0]DD11D1D12D1D[0]DD11DD1[0]DD11DD1D1D[0]D[0]D1222DD11DD1[0]DD11D1DD12D12 [57] CCpqCCNpqq = DD1D12DD1DD1[8]DD11DD1D1D[0]DD1D1D3222D1DD11[5] [58] CpNCCqCrqNCCpss = DD1[6]DD1D[0]D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122DD1D1DD1D[0]D1D3[3]222 [59] CNCpqNCNNpq = D[5]DD1D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12D1[13]2 [60] NCCCpCpqCpqNCrCsr = D2DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12DD1D1DD1D[0]DD1D1D322D1DD11[5]2D3[3] [61] NCCCpNpNpNCqCrq = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]DD1D1D322D1D1[7]2D3[3] [62] CNCpNCpqq = D2DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1DD1[3]3DD12[19] [63] CNCCpqNCrpCrq = D2DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1DD1[3]32DD11[19] [64] CNCpNqNCqNp = D2DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]DD12D1[7]DD1[2]3 [65] CCpCqrCCspCCsqCsr = DD1[8]DD1DD11D1DD1D[0]DD1D1D322D1DD1DD11D11DD11D1DD1D[0]DD1D1D322D1DD11[5]2 [66] NCCNNppNCqNNq = D2DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12D1DD1D[0]DD1D1D322[5]2D3[13] [67] NCCpNNpNCNNqq = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]DD1D1D322D1D[0]D1[7]2D3[7] [68] CCNCpqrCpCNqr = DD1[8]D1D2DD1DD1D[5]D1D[0]DD1DD11[0]DD11D1D[0]DD1D1D3222DD11DD1D1D[0]DD1D1D3322 [69] CCpqCCpNqNp = DD1D1[7]DD1DD11DD11DD1D1D[0]DD1D1D3222D1[25] [70] NCCCpqCNNpqNCCNNrsCrs = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1DD1D[0]DD1D1D322[5]12D3D1[13] [71] CpNCCCpqqNCrCsr = DD1[6]DD1DD1DD1D[0]DD11DD1[0]DD11D1D12D1D[0]DD11DD1[0]DD11DD1D1D[0]D[0]D1222DD1DD1DD11D1D[0]D1D3[3]22 [72] CCpCNqrCNCpqr = DD11DD1D1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD11D1D[0]D12DD11DD11DD1D1D[0]DD1D1D3222D1DD1DD11DD11DD1D1D[0]DD1D1D3222D1D1[3]DD1DD11DD1D1D[0]DD1D1D33222 [73] CCpqCCNCNpqrCNqr = DD1D2DD1D[5]D1D[0]DD1DD11[0]DD11D1D[0]DD1D1D322DD12DD1DD1DD11[5]DD11D1D12DD11DD1D1D[0]DD1D1D3DD123221 [74] NCCCNpqCCpqqNCCCrstCNrt = D2DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122DD1D1DD1D[0]D1D3[29]22D3[5] [75] NNCCpNpNCNpp = D2DD1[7]D3D[0]DD1D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12DD12DD1D[0]D12DD1D1[24]22 [76] CCpCqrCNCpNqr = DD1DD1DD11D11DD1D1DD1D[0]DD1D1D322D1[27]2DD1DD11[5]DD1DD11DD1D1D[0]DD1D1D33222 [77] NCCCpqCNqNpNCCNrNsCsr = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]DD1D1D322D1DD1[32]DD11DD1D1D[0]DD1D1D33222D3[2] [78] NCCCNpqCNqpNCCNrsCNsr = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1DD1D[0]D1D3DD11DD1D1D[0]DD1D1D32222D1DD11[5]2D3[21] [79] CNCpNqNCCrqNCsp = D[5]DD1D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD11D1D[0]D12DD11DD1D1D[0]DD1D1D3222DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD1[3]32 [80] CNCCpqNCrsNCCCstCrtNCCquCpu = D2DD1D[5]D1DD11DD1[37]D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]213 [81] NCCCCpqCrsCrCqsNCCtCuvCCtuCtv = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3[36]22D3[28] [82] NCCpNCpNpNCNCqNrr = D2DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122DD1D1DD1D[0]D1D3DD1D[0]D12DD1D1[24]222D3[31] [83] CNCpNCqrCqNCrNp = D2DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1DD1[3]321D1DD1[15]D2DD1D[5]D1D[0]DD1DD11[0]DD11D1D[0]DD1D1D322DD121 [84] CCCCCpqCNrNsrtCCtpCsp = DD11DD11DD1D1DD1D[0]D1D3D2D[5]DD1D1DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD11D1D[0]D12DD11DD11DD1D1D[0]DD1D1D3222DD11D1DD1D[0]DD11[0]DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11DD11DD1D1D[0]DD1D1D32221DD1DD11[0]DD11D1D[0]DD1D1D32222 [85] CpNCCqNCqNpNCNCrsr = DD1[37]D2D2DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1DD1[3]32DD11D1D[0]D1D3[18] [86] NCCNNCpqCNNpqNCCNNrsNNCrs = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1DD1D[0]DD1D1D322[5]DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D1222D3[50] [87] NCCpNCpNCNpqNCNCrsr = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3D2DD1D2DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1DD1[3]32DD1DD11[0]DD11[5][0]22D3[18] [88] CNCNpNNqNCCprNCqs = D[5]DD1D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12[5]DD11DD1D1DD1D[0]DD1D1D322D1D2D[5]DD1D1D[0]DD11[0]DD1DD11DD1[0]DD11D1D[0]D12DD11DD1D1D[0]D12DD12322 [89] NCCCNCpqrCNCpqNCpNrNCCsNCtNuCsu = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3DD11DD1D1DD11[0]DD1D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2DD11DD1D1D[0]DD1D1D3DD1232DD12222D3DD11DD1D1DD1D[0]DD1D1D322D1[27]2 [90] NCCCNNCpqrCNprNCCNstCNNCstt = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1DD1DD1D[0]DD1D1D322D1D1[7]D1D[5]312D3DD11DD1[20]D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D12 [91] CCNCpNqrCNCpNNrNq = DD1DD1DD11D1DD1D[0]DD1D1D322D1D[0]D1[7]2D2DD1DD1D[5]D1D[0]DD1DD11[0]DD11D1D[0]DD1D1D3222DD1DD1[37]1DD11DD1D1D[0]DD1D1D3322 [92] NCCNNCpNNqCpqNCCrsNNCrNNs = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12DD11DD1D1DD1D[0]DD1D1D322[5]222D3DD1DD1DD11D1DD1D[0]DD1D1D322D1D[0]D1[7]2[13] [93] CNNCCCNpqpNCrCNrsNCCtqNCuCvu = DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12DD1D1[40]DD1DD11DD11DD1D1D[0]DD1D1D3222D1D[0]D1D33DD1DD1DD1D[0]DD11DD1[0]DD11D1D12D1D[0]DD11DD1[0]DD11DD1D1D[0]D[0]D1222DD1DD1DD11D1D[0]D1D3[3]22 [94] CNCCpqNCrsCCNprCNqs = D2DD1D[5]D1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]DD1DD123DD1DD11[0]DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11D12DD1D1[46]3 [95] NCCCpqCpNCpNqNCCrNCsNtCrt = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]DD1D1D322D1DD11D1D2DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1DD1[3]32DD1DD11[0]DD11[5]2D3DD11DD1D1DD1D[0]DD1D1D322D1[27]2 [96] CNCCpqNCprCpNCqNr = D2DD1D[5]D1DD1DD11DD1D1[37]DD1DD11[5]DD1DD11D11DD11DD1D1D[0]DD1D1D3222D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]23 [97] CNCCpqNCrqCCNprq = DD1[94]DD11DD1D1D[0]DD1D1D3222 [98] NCCCpCqrCpCqNCpNrNCCsCtNCuNvCsCtv = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]DD1D1D322D1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D12D1DD11D1[38]2D3DD11DD1D1DD1D[0]D1D3DD11DD1D1DD1D[0]DD1D1D322D1[27]222 [99] NCCNCpqNCNNpqNCNCNNrsNCrs = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]DD1D1D322D1D[5]D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12D1[13]2D3[53] [100] CNCCpqNCrsNCCCtpCtqNCCurCus = D2DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1D[5]32DD1D[0]DD11DD11DD1D1DD11D12DD11D1D[0]DD1D1D3DD1[0]22DD1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D122DD1DD11DD11DD1D1D[0]DD1D1D3222D1D[0]D12D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]DD1DD123DD1DD11[0]DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11D12 [101] CNNCCpqNCrNCrNsNCCNCtNuuNCsp = DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12[5][2]D1[37]DD1D[0]D1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]DD1D1D322D1[27]22 [102] NCCCpqNCCrCsrNCCNpqqNCNCtNCCNuvwCuw = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1DD1D[0]DD1D1D322D1D[0]D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122DD1D1DD1D[0]D1D3[3]22D1[57]2D3DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]DD12[0] [103] NCCNCpNqNCqNpNCNCrNsNCsNr = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3[64]22D3[64] [104] NCCNCpqNCpNNqNCNCrNNsNCrs = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]DD1D1D322D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD11D1D[0]D12DD12D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12DD11DD1D1DD1D[0]DD1D1D322[5]22D3D[5]DD1D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12DD1DD11D1DD1D[0]DD1D1D322D1D[0]D1[7]22 [105] NCCNCpNNqNCpqNCNCrsNCrNNs = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]DD1D1D322D1D[5]D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12DD1DD11D1DD1D[0]DD1D1D322D1D[0]D1[7]22D3D[5]DD1D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12DD11DD1D1DD1D[0]DD1D1D322[5]22 [106] CNCCpqNCrsNCCNCptNCqtNCNCruNCsu = D[5]DD1D1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1[41]DD1DD11[0]DD1D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2[41]22 [107] NCCCNCpNqrCpCqrNCCsCtuCNCsNtu = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3[56]22D3[76] [108] NCCpNCCNpqNCNprNCNCCNstNCNsNts = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3D2D[5]D1DD1D[0]DD1DD11[0]DD1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D122DD1DD11DD11DD1D1D[0]DD1D1D3222D1D[0]D12[0]22D3D2DD1D[5]D1DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]DD12[2]3 [109] CCpqNCCCprCpNCqNrNCCsNCtNuCsu = DD1DD11DD1D1[37]DD1DD11[5]DD1DD11D11DD11DD1D1D[0]DD1D1D3222D2D2DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1DD1[3]32DD11D1D[0]D1D3DD11DD1D1DD1D[0]DD1D1D322D1[27]2 [110] NCCCNCpqrCpCNqrNCCsCNtuCNCstu = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3[68]22D3[72] [111] NCCNCCNpqNNqNCpNNqNCNCrsNCCNrts = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]DD1D1D322D1D[5]D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12D2DD1DD1D[5]D1D[0]DD1DD11[0]DD11D1D[0]DD1D1D3222DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD11D1D[0]D12DD1DD11D11DD11DD1D1D[0]DD1D1D3222DD11D1D122D3D2DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]DD12[0]3 [112] NCCNNCpNNqCNNpqNCCNNrsNNCrNNs = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D12DD1DD11[0]DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD11D1D[0]D12DD11DD11DD1D1D[0]DD1D1D322222D3DD1DD1DD11[5]DD1D1[7]DD1DD11DD11DD1D1D[0]DD1D1D3222D1D[0]D12[13] [113] CNCCpqNCrsNCCCNptCNqtNCCNruCNsu = D[5]DD1D1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1[46]DD1DD11[0]DD1D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]DD12D1[7]DD1DD11[5]DD11D1D1222 [114] NCCpCNNCpqNCpNqNCCNNCrsNCrtr = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3D2DD1D[0]DD11DD1[0]DD11D1D[0]D12D1DD1DD1DD1D[0]DD11DD1[0]DD11D1D12D1D[0]DD11DD1[0]DD11DD1D1D[0]D[0]D1222DD11D1[38]22D3DD1DD11DD11DD1D1D[0]DD1D1D3222DD1D1D[5]3DD1DD1DD11[0]DD1D1[0][9]2 [115] CNCCpqNCprCpNCCsrNCtq = D2DD1D[5]D1DD1DD1DD11DD1D1DD1D[0]D1D3DD1[3]DD1[37]D1[3]22[28]D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]23 [116] CNNCCpqNCrsNCCsNqNCNrp = DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D[0]DD1D1D2DD1D[0]DD11DD1[0]DD11DD1D1D[0]D[0]D122DD1DD1DD1DD1D1[3]DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD1[3]3[38]D1DD1[20]D1D[0]3D1DD1D[0]DD11DD1[0]DD11D1D[0]D1222 [117] NCCCNCpqCprCpCNqrNCCsCNtuCNCvtCsu = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3DD1[10]DD1DD11D1DD1D2DD1DD1D[5]D1D[0]DD1DD11[0]DD11D1D[0]DD1D1D3222DD11DD1D1D[0]DD1D1D33221DD11DD1D1D[0]DD11DD1[0]DD11D1D[0]D12222D3DD11D1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD11D1D[0]D12DD11DD11DD1D1D[0]DD1D1D3222D1D1DD1D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD11D1D[0]D12DD11DD1D1D[0]DD1D1D32222 [118] CpNCCqNCCrqNCspNCNCCptut = D2D[5]D1DD1DD1DD1[3]DD1[37]D1[3][38]D1DD1D[0]DD11DD1[0]DD11D1D12DD1DD11[5]DD1DD11DD1D1D[0]DD1D1D33222 [119] NCCNCCpqNCNpqqNCrNCCsrNCtr = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]DD1D1D322D1D2DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1DD1[3]32DD1DD1DD11[5]DD11D1D12[19]2D3D2D[5]D1DD1DD1D[0]DD1DD11[0]DD11D1D[0]DD1D1D322DD1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D122DD1DD11DD11DD1D1D[0]DD1D1D3222D1D[0]D12D1[3] [120] NCCCNCpNqrCNCqrNpNCCNCstNuCNCuNst = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3D2DD1DD1D[5]D1D[0]DD1DD11[0]DD11D1D[0]DD1D1D3222DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D12D1D[0]DD11DD1[0]DD11DD1D1D[0]D[0]D1222DD11DD1[0]DD11D1D12DD11DD1D1D[0]DD1D1D332222D3DD1DD1DD11DD11DD1D1D[0]DD1D1D3222D1[15]DD1DD11D1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD11D1D[0]D12DD11DD11DD1D1D[0]DD1D1D3222D1D1DD1D1DD1[3]322 [121] CNCCpqNCrsCNCpNrNCqNs = D2DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1D[5]32DD1D1D2DD1[27]D[0]3DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11D1[38]D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2[32] [122] NCCNCpNNqNCNNpqNCNCNNrsNCrNNs = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]DD1D1D322D1D[5]D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12DD1DD11[5]DD1D1[7]DD1DD11DD11DD1D1D[0]DD1D1D3222D1D[0]D122D3D[5]DD1D1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D12DD1DD11[0]DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD11D1D[0]D12DD11DD11DD1D1D[0]DD1D1D32222 [123] NCCNCpNNCCpqrNCqNNCCpqrNCNCsNNCtNCsuNCuNNCtNCsu = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3D2DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2DD1D2D[5]DD1D11DD1D[0]D1[7]DD1DD11[0]DD11D1D[0]DD1D1D322322D3D2DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2DD1D2DD1D[5]D1D[0]DD1DD11[0]DD11D1D[0]DD1D1D322DD12DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]213 [124] CCpNqNCCNCCNrpNqNCrNqNCNCstNCCNsut = DD1DD1DD1D12DD1[8]D1D[0]DD11DD1[0]DD11D1D12DD1DD1DD11[5]DD11D1D12DD1D1[37]DD1D1DD1D[5]D1DD1[3]322D2D2DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1DD1[3]32DD11D1D[0]D1D3D2DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]DD12[0]3 [125] NCCNCCpqNCpNqNpNCNrNCCrsNCrt = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1D[0]D2DD1DD1D[5]D1D[0]DD1DD11[0]DD11D1D[0]DD1D1D3222DD1D2DD1D[0]DD11DD1[0]DD11D1D[0]D12D1DD1[6]DD11D1[38]D[0]12D3D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD11D1D[0]D12DD11DD11DD1D1D[0]DD1D1D3222D1D1[0]DD1D1DD1D[0]DD11DD1[0]DD11D1D[0]D122DD1DD11DD11DD1D1D[0]DD1D1D3222D1D[5]3 [126] NCCCpqNCCpNCpNqNCNCrsrNCNCCtNCuNvwCtv = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1DD1D[0]D1D3[18]D2DD1D[5]D1D[0]DD1DD11[0]DD11D1D[0]DD1D1D322DD121D1DD1DD11D1D2DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1DD1[3]32DD1DD11[0]DD11[5]22D3D2DD1D[5]D1DD11D1DD1D[0]DD1D1D322D1[27]3 [127] NCCCNCpqCrqCNCpNrqNCCNCsNtuCNCsvCtu = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3DD1DD1DD11D11DD1D1DD1D[0]DD1D1D322D1[27]2DD1DD1DD11DD11DD1D1D[0]DD1D1D3222DD1D1D[0]DD11DD1[0]DD11D1D[0]D12DD11DD1D1DD1D[0]D1D3[18]DD1212222D3DD1[6]D1DD1DD1[15]DD1DD11DD1[0]DD11D1D12DD1D1D[0]DD11DD1[0]DD11DD1D1D[0]D[0]D1222DD11DD1[0]DD11D1D12 [128] NCCNCCpqNCrqCCNprqNCCCNstuNCCsuNCtu = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3[97]22D3D2D[5]D1DD1DD1[0][38]D1D1[3] [129] NCCCNCpNqrCNCpNNrNqNCCNCsNNtuCNCsut = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3[91]22D3DD1DD1[6]D1DD1[37]1[21] [130] NCCNCCNpqNNNrNCrNCNqpNCNCsNCNtuNCCNutNNNs = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]DD1D1D322D1D[5]D1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12D1DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD11D1D[0]D12DD11DD11DD1D1D[0]DD1D1D3222D1D[0]D122[2]D1[21]2D3DD1D[5]D1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12[21]DD1DD11DD11DD1D1D[0]DD1D1D3222D1D[0]D1[7]2 [131] NCCNCNCpNqrNCpNNCqrNCNCsNNCtuNCNCsNtu = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]DD1D1D322D1D[5]D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12DD1DD11[0]DD1DD11DD11DD1D1D[0]DD1D1D3222DD1DD1DD11D11DD1D1DD1D[0]DD1D1D322D1[27]2DD1D1D[0]DD11DD1[0]DD11D1D[0]D[0]D1222D3DD1D[5]D1DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD11D1D[0]D12DD11DD11DD1D1D[0]DD1D1D3222D1DD1DD1DD1D[0]DD11DD1[0]DD11D1D12D1D[0]DD11DD1[0]DD11DD1D1D[0]D[0]D1222DD11DD1[0]DD11D1DD12D12DD1DD11D1DD1D[0]DD1D1D322D1D[0]D1[7]22 [132] CNCNCCpqNCrsNNCCqtNCurNCCptNCus = D2DD1D[5]D1DD1D2DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1D[5]32DD1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1D[5]32DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11D1[38]D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2DD1DD1D[0]DD11DD1[0]DD11D1D12D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1DD1[3]3212[32]3 [133] NCCNCpNCqrNCpNCNCsNqrNCNCtNCNCtNuvNCtNCuv = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]DD1D1D322D1D[5]D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122DD1DD11[0]DD1D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2[32]22D3D[5]DD1D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12DD1DD11D1DD1DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D12D1D[0]DD11DD1[0]DD11DD1D1D[0]D[0]D1222DD11DD1[0]DD11D1D12DD1DD11DD1D1D[0]DD1D1D3322D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]22[12]2 [134] NCCCpNCqNrNCCpqNCprNCNCCstNCsuCsNCtNu = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3D2D[5]D1DD1DD1DD11D1DD1D[0]D1D3[18]2DD1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D122DD1DD11DD11DD1D1D[0]DD1D1D3222D1D[0]D12D1DD11DD1D1DD1D[0]DD1D1D322D1[27]222D3[96] [135] NCCNCCpqNCprCpNCqNrNCCsNCtNuNCCstNCsu = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3[96]22D3D2D[5]D1DD1DD1DD11D1DD1D[0]D1D3[18]2DD1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D122DD1DD11DD11DD1D1D[0]DD1D1D3222D1D[0]D12D1DD11DD1D1DD1D[0]DD1D1D322D1[27]2 [136] NNCNCCpqNCqpNNCCpNqNCNqp = D2DD1[7]D3DD1D2DD1D[0]DD11DD1[0]DD11D1D[0]D12D1DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]DD12D1[7]DD11DD11DD1D1D[0]DD1D1D3222DD1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD1DD11[0]DD1DD11[5]DD1DD11D11DD11DD1D1D[0]DD1D1D3222D1D2DD1D[5]D1DD1D1[7]DD1DD11D1[25]DD11D1D[0]DD1D1D3223[13] [137] NCCNNCCpqNCrsCNNCpNNqNCrNNsNCCNNCtNNuNCvNNwNNCCtuNCvw = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12DD11DD1D1DD1D[0]DD1D1D322[5]2DD11DD1D1DD1D[0]DD1D1D322D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD11D1D[0]D12DD12D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12DD11DD1D1DD1D[0]DD1D1D322[5]2222D3DD1DD1D1DD1DD1DD11D1DD1D[0]DD1D1D322D1D[0]D1[7]2[13]DD11DD1D1DD1D[0]DD1D1D322D1D[5]D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12DD1DD11D1DD1D[0]DD1D1D322D1D[0]D1[7]22[13] [138] NCCNCCpqNCrsNCCNsNrNCNqNpNCNCCNtNuNCNvNwNCCwvNCut = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3D2DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1DD1[3]32DD1DD1D1[7]DD1DD11[5]DD11D1D[0]DD1D1D322DD1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D122DD1DD11DD11DD1D1D[0]DD1D1D3222D1D[0]D12D1D2DD1D[5]D1DD1D1[7]DD1DD11[5]DD11D1D[0]DD1D1D322322D3D2DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1DD1[3]32DD1DD1DD11[0]DD11D1D[0]DD1D1D322DD1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D122DD1DD11DD11DD1D1D[0]DD1D1D3222D1D[0]D12D1D2DD1D[5]D1DD1DD11[0]DD11D1D[0]DD1D1D3223 [139] NCCNCpNCqrCNNCpqNCpNrNCCNNCstNCsNuNCsNCtu = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3DD1[40]D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12DD1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD1DD11[0]DD1DD11[5]DD1DD11D11DD11DD1D1D[0]DD1D1D3222D1DD1D[0]DD11DD1[0]DD11D1D[0]D12222D3D[0]DD1D1D2DD1D[0]DD11DD1[0]DD11DD1D1D[0]D[0]D122DD1DD1DD1DD1DD11D1DD1D[0]D1D3[18]22D2DD1D[5]D1D[0]DD1DD11[0]DD11D1D[0]DD1D1D322DD12DD11DD1[0]DD11D1D[0]D12D1DD1DD11[0]DD1D1[42]2D1DD1D[0]DD11DD1[0]DD11D1D[0]D1222 [140] NCCNCCpNqNCNrsNCCqNpNCNsrNCNCCtNuNCNvwNCCuNtNCNwv = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3D2DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1D[5]32DD1DD1D1[7]DD1DD11[0]DD11D1D[0]DD1D1D322DD1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D122DD1DD11DD11DD1D1D[0]DD1D1D3222D1D[0]D12D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]DD12[21]22D3D2DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1D[5]32DD1DD1D1[7]DD1DD11[0]DD11D1D[0]DD1D1D322DD1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D122DD1DD11DD11DD1D1D[0]DD1D1D3222D1D[0]D12D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]DD12[21] [141] CNCCpqNNCCrCstNCCupvNCCNCrNstNCpNCvNq = D2DD1DD1DD1D[5]D1DD1[3]32D[19][76]DD1[38]D1D2DD1D[0]DD11DD1[0]DD11D1D[0]D12D1DD1DD1DD1[27]DD1DD11DD1[0]DD11D1D12DD1D1DD1[3]32DD1D1D2DD1D[5]D1D[0]DD1DD11[0]DD11D1D[0]DD1D1D3223DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11D1[38][19] [142] CNCNCCpqNCrsNNCCtuNCvwNCCCNptCNquNCCNrvCNsw = D2D[5]D1DD1DD1D2DD1DD1D[5]D1DD1[3]32DD1DD1[15]DD1DD11[0]DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11D12DD11D1DD1D2DD1D[5]D1DD1D1[7]DD1DD11[5]DD11D1D[0]DD1D1D322D[0]31[38]D1D2DD1DD1D[5]D1DD1[3]32DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]DD1DD123DD1DD11[0]DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11D12DD11D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1DD1[3]3DD12D1[7]DD1DD11[5]DD11D1D12 [143] NCCCpNCCqrNCstNCCCpqCprNCCpsCptNCNCCCuvCwxNCCyzCwaCwNCCvxNCza = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3D2D[5]D1DD1DD1DD11DD1D1D[5]3DD11DD1D1D[0]DD11DD1[0]DD11D1D[0]D12DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11D12[38]D1DD11DD1D1DD1[3]3DD11DD1D1D[0]DD11DD1[0]DD11D1D[0]D12DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11D1222D3D2DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1D[5]32DD1[36]DD11DD1D1[37]DD1DD11[5]DD1DD11D11DD11DD1D1D[0]DD1D1D3222D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2[36] [144] NCNCNCCCNCpNqrCpCqrNCCsCtuCNCsNtuNNCCCvCwxCwCvxNCCyCzaCzCyaNNCCCbCcdCNCbNcdNCCNCeNfgCeCfg = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1D[0]DD1D1DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3[56]22D3[76]22DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122DD1D1DD1D[0]D1D3[10]22D3[10]22DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122DD1D1DD1D[0]D1D3[76]22D3[56] [145] NCCCCNCNpqrsNCNCCpsNCqsNCrsNCNCNCCtuNCvuNCwuCCNCNtvwu = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3D2D[5]D1DD1DD1DD1[0]D2D[5]D1DD1DD1[0][38]D1D1[3][38]D1D1[3]22D3DD1D2DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12D1DD1DD1[94]DD1D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2DD11DD1D1D[0]DD1D1D3DD1232DD122DD11DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]DD1DD123DD1DD11[0]DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11D12DD1233DD11DD1D1D[0]DD1D1D3222 [146] NCCNCCpqNCqpNNCCpNqNCNqpNCNNCCrNsNCNtuNCCusNCtr = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1DD1D[0]DD1D1D322D1D[0]D1[7]D1D2DD1D[0]DD11DD1[0]DD11D1D[0]D12D1DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]DD12D1[7]DD11DD11DD1D1D[0]DD1D1D3222DD1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD1DD11[0]DD1DD11[5]DD1DD11D11DD11DD1D1D[0]DD1D1D3222D1D2DD1D[5]D1DD1D1[7]DD1DD11D1[25]DD11D1D[0]DD1D1D32232D3D2DD1D[0]DD11DD1[0]DD11DD1D1D[0]D[0]D122DD1DD1DD1DD1D1[3]DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD1[3]3[38]D1DD1[20]D1D[0]3D1DD1D[0]DD11DD1[0]DD11D1D[0]D122 [147] CNCCpqNCrsNCCNCCstNCupNCCrtNCuqNCNCCqvNCwrNCCpvNCws = D2D[5]D1DD1DD1D2DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1DD1[3]32DD1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1D[5]32DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11D1[38]D1DD1[15]DD1DD11DD1[0]DD11D1D12DD1D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1DD1[3]3212[38]D1D2DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1D[5]32DD1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1D[5]32DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11D1[38]D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2DD1DD1D[0]DD11DD1[0]DD11D1D12D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1DD1[3]3212 [148] NCCNCCpqNCqpCNNCpNqNCNpNNqNCCNNCrNsNCNtNNuNCCtsNCur = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3DD1D2DD1D[0]DD11DD1[0]DD11D1D[0]D12D1DD1DD1D2DD1D[5]D1DD1D1[7]DD1DD11D1[25]DD11D1D[0]DD1D1D3223DD11DD1D1[37]DD1DD11[5]DD1DD11D11DD11DD1D1D[0]DD1D1D3222D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]DD12D1[7]DD11DD11DD1D1D[0]DD1D1D3222D1DD1D[0]DD11DD1[0]DD11D1D[0]D12222D3DD1D1[13]D2D[5]D1DD1DD1DD1D1[3]DD1DD11DD11DD1D1D[0]DD1D1D3222D1D[0]3[38]D1DD1DD1[5][2]D1D[0][25] [149] NCCNCNNCpNqNCNpNNqCNNCpNNqNCqNNpNCCNNCrNsNCtNNuNCNNCusNCNrNNt = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3DD1D2DD1D[0]DD11DD1[0]DD11D1D[0]D12D1DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2DD1DD11[0]DD1DD11DD11DD1D1D[0]DD1D1D3222D1D12DD11DD1D1[37]DD1DD11[5]DD1DD11D11DD11DD1D1D[0]DD1D1D3222D1DD1D[0]DD11DD1[0]DD11DD1D1D[0]D[0]D122DD1DD1DD11[0]DD1DD11[5]DD1DD11D11DD11DD1D1D[0]DD1D1D3222DD1DD11D1DD1D[0]DD1D1D322D1D1[7]2D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD12DD11DD1D1DD1D[0]DD1D1D322[5]222D3DD1D1[13]D2D[5]D1DD1DD1DD1DD1D1[3][2]D1D[0][25]D2DD1D[5]D1D[0]DD1DD11[0]DD11D1D[0]DD1D1D322DD12DD11DD1[0]DD11D1D[0]D12D1DD1[5]DD11DD1D1DD1D[0]DD1D1D322D1D2D[5]DD1D1D[0]DD11[0]DD1DD11DD1[0]DD11D1D[0]D12DD11DD1D1D[0]D12DD1232 [150] CNCNCCpqNCrsNNCCtuNCvwNCCNCpNtNCqNuNCNCrNvNCsNw = D2D[5]D1DD1DD1D2DD1D[0]DD11DD1[0]DD11D1D[0]D12D1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1D[5]32DD1D1D2DD1[27]D[0]3DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11D1[38]D1D[32]D[19][32][38]D1D2DD1D[0]DD11DD1[0]DD11D1D[0]D12D1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1DD1[3]32DD1D1D2DD1[27]D[0]3DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11D1[38]D1DD1DD1[27]DD1DD11DD1[0]DD11D1D12DD1D1DD1[3]32[32] [151] NCCNCCCNpqCNrsNCCNtuCNvsCNsNCCprNCtvNCCNwNCCxyNCzaNCCCNxwCNywNCCNzwCNaw = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3D2DD1D[0]DD11DD1[0]DD11D1D[0]D12D1DD1DD1DD1DD1[15]DD12[0]DD11D1[40]DD11DD1D1[37]DD1DD11[5]DD1DD11D11DD11DD1D1D[0]DD1D1D3222D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]DD12[0]DD11D1[40]22D3D2D[5]D1DD1DD1DD1DD11DD1D1D[5]3DD11DD1D1D[0]DD11DD1[0]DD11D1D[0]D12DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11D12DD1D1[21][39][38]D1DD1DD11DD1D1DD1[3]3DD11DD1D1D[0]DD11DD1[0]DD11D1D[0]D12DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11D12DD1D1[21][39] [152] NCCCpNCCqrNCstNCCNCpNqNCpNrNCNCpNsNCpNtNCNCCNCuNvNCwNxNCNCuNyNCzNaCuNCCvxNCya = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3D2D[5]D1DD1DD1DD1DD1DD1DD1DD11[0]DD1D1D[5]D1DD1D1[7]DD1DD11[5]DD11D1D[0]DD1D1D3222[28]DD1DD11DD1D1D[0]DD1D1D3322D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]22[38]D1DD1DD1DD1DD11DD1D1DD1D[0]DD1D1D322D1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2[32]DD11DD1D1D[0]DD1D1D33222[28]DD1DD11DD1D1D[0]DD1D1D3322D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2222D3D2DD1D[0]DD11DD1[0]DD11D1D[0]D12D1DD1DD1DD1DD1D2DD1D[5]D1DD1DD11[0]DD11D1D[0]DD1D1D3223[36]DD1DD11D1DD1D[0]D1D3[2]22DD11DD1D1[37]DD1DD11[5]DD1DD11D11DD11DD1D1D[0]DD1D1D3222D1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]DD12[2][36]DD1DD11D1DD1D[0]D1D3[2]22 [153] NCCNCCNCCpqNCrstNCuNCCsvNCrpNCCsNCCqtNCuvNCNCCruNCtrpNCNCCwNCCxyNCzaNCNCCxzNCybcNCCNCCcxNCxwyNCzNCCwaNCbc = D2DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D122D1DD1D[0]D1D3D2D[5]D1DD1DD1D2DD1D[0]DD11DD1[0]DD11D1D[0]D12D1DD1DD1DD1DD1[15]DD1DD11[0]DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11D12D1DD1[3]DD1[37]D1[3]DD11DD1D1[37]DD1DD11[5]DD1DD11D11DD11DD1D1D[0]DD1D1D3222D1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]21D1DD1D[0]DD11DD1[0]DD11D1D12DD1DD11[5]DD1DD11DD1D1D[0]DD1D1D33222[38]D1DD1D2DD1D[0]DD11DD1[0]DD11D1D[0]D12D1DD1DD1DD1D[0]DD11DD1[0]DD11D1D12D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1D[5]32DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD1DD11D1[38]D12D1DD1DD1[15]DD121D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2DD11DD1D1DD1D[0]D1D3D2D[5]D1DD1DD1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2DD1DD11DD11DD1D1D[0]DD1D1D3222DD1DD11DD1D1DD1DD1D[0]D1D3[2]2D1[5]2D1D[0]DD11DD1[0]DD11D1D[0]D12DD1DD11D1DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD11D1D[0]D12DD11DD11DD1D1D[0]DD1D1D3222D1D1[0]2[29]D1DD1DD1[15]DD121DD1D1DD1[3]322222D3D2D[5]D1DD1DD1DD1D2DD1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1DD1[3]32DD1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1D[5]32DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11D1[38]D1DD1[15]DD1DD11DD1[0]DD11D1D12DD1D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1DD1[3]3212DD11DD1D1DD1D[0]D1D3D2D[5]D1DD1DD1D[19]D2DD1D[5]D1D[0]DD1DD11[0]DD11D1D[0]DD1D1D322DD1DD1DD1D[0]DD11DD1[0]DD11D1D12D1D[0]DD11DD1[0]DD11DD1D1D[0]D[0]D1222DD11DD1[0]DD11D1D12[20]D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]2DD11DD1D1D[5]3222[38]D1D2DD1D[0]DD11DD1[0]DD11D1D[0]D12D1DD1DD1DD1D2DD1D[5]D1DD11D1DD1D[0]DD1D1D322D1[27]3[10]DD11DD1D1[37]DD1DD11[5]DD1DD11D11DD11DD1D1D[0]DD1D1D3222D1DD1DD1D[0]DD11DD1[0]DD11D1D[0]D12DD1D1[3]DD1DD123DD1DD11[0]DD1DD11DD11DD1D1D[0]DD1D1D3222D1DD11D12D1DD1DD1D[0]DD1DD11[0]DD11D1D[0]DD1D1D322DD1DD11D1DD1D[0]DD11DD1[0]DD11D1D[0]D122DD1DD11DD11DD1D1D[0]DD1D1D3222D1D[0]D12D1[3]