dProofs13.txt:11 3 Cpp DDDD1D11D1111:C0.0 dProofs11.txt:6 5 CpCqq DDD1D11D111:C0C1.1 dProofs19.txt:13 5 CpCqp DD1DD11D11D1DD1D111:C0C1.0 dProofs91-unfiltered83+.txt:139744796 5 NNCpp DDDD1DD1D111DD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D111111:NNC0.0 dProofs27.txt:204 6 CNCppq DDDD1DD1D111DD1DD11D11D1111:CNC0.0.1 dProofs37.txt:237 6 CpCNpq DDD1D11D1DD1D1DD1DD11D11D1DD1D111D111:C0CN0.1 dProofs39.txt:898 6 CNCpqp DDD1D1DD1DD11D11D11DD1DD11D11D1DD1D1111:CNC0.1.0 dProofs77.txt:1633737 6 CNpCpq DDD1DD1D111DDD1D1DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111DD1DD11D11D1111:CN0C0.1 dProofs9.txt:4 7 CpCqCrr DD1D11D11:C0C1C2.2 dProofs9.txt:5 7 CCpqCpq DDD11D111:CC0.1C0.1 [instance of Cpp] dProofs9.txt:6 7 CCpqCqq DDD1D1111:CC0.1C1.1 [instance of CpCqq] dProofs23.txt:12 7 CpCqCrq DD11DD1DD11D11D1DD1D111:C0C1C2.1 dProofs35.txt:445 7 CCCppqq DDD1D1DD1DD11D11D1DD1D111D1DD1D1111:CCC0.0.1.1 dProofs47.txt:3921 7 CCCpqpp DDD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D1111:CCC0.1.0.0 dProofs51.txt:2156 7 CpCqCrp DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:C0C1C2.0 dProofs77.txt:182421 7 CpCqNNp DD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0C1NN0 dProofs83-unfiltered83+.txt:3790040 7 CpNNCqp DDD11DD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D11111:C0NNC1.0 dProofs85-unfiltered83+.txt:7502742 7 CNCpNqq DDD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD11DD1DD1D1DD1DD11D11D1DD1D111D11DDD1DD11D11111:CNC0N1.1 dProofs89-unfiltered83+.txt:60947355 7 CpNNCqq DDD1DD1D111DD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D11111:C0NNC1.1 dProofs91-unfiltered83+.txt:135134047 7 NNCpCqq DDDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111DDD1D11D1111:NNC0C1.1 dProofs13.txt:7 8 CpCqCNpr DD1DD11D11D11:C0C1CN0.2 dProofs19.txt:15 8 CpCNCqpr DDD11DD1DD11D11D111:C0CNC1.0.2 dProofs25.txt:100 8 CpCNCqqr DDD1DD1D111DD1DD11D11D111:C0CNC1.1.2 dProofs27.txt:60 8 CNCpCqrq DDD1D11DDD11DD1DD11D11D1111:CNC0C1.2.1 dProofs27.txt:202 8 CNCpCqqr DDDD1DD11D11D11DDD1D11D1111:CNC0C1.1.2 dProofs35.txt:85 8 CpCqCNqr DD1D11D1DD1D1DD1DD11D11D1DD1D111D11:C0C1CN1.2 dProofs35.txt:740 8 CNCpCqpr DDDD1DD11D11D11DD1DD11D11D1DD1D1111:CNC0C1.0.2 dProofs37.txt:148 8 CpCNCqrq DD1D1DD1DD11D11D11DD1DD11D11D1DD1D111:C0CNC1.2.1 dProofs71.txt:355423 8 CNCpqCrp DDD1D1DD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D1111:CNC0.1C2.0 dProofs73.txt:115898 8 CNCpqCqr DD1DDD1DD11D11D1DD1D111D1DD1D111DDD1DD1DDD1DD11D11D1DD1D111D1DD1D1111D111:CNC0.1C1.2 dProofs73.txt:752824 8 CCNpNNpp DDD1DD1D1DDD11D111D1DD1D111D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D111:CCN0NN0.0 dProofs75.txt:143566 8 CpCNqCqr DD1DD1D111DDD1D1DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111DD1DD11D11D111:C0CN1C1.2 dProofs93-unfiltered83+.txt:68684329 8 CNNNCppq DDD11DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DDDD1DD1D111DD1DD11D11D111111:CNNNC0.0.1 dProofs7.txt:1 9 CpCCqrCqr DD11D11:C0CC1.2C1.2 [instance of CpCqq] dProofs7.txt:2 9 CpCCqrCrr DD1D111:C0CC1.2C2.2 [instance of CpCqCrr] dProofs9.txt:2 9 CCCppqCrq D1DD1D111:CCC0.0.1C2.1 dProofs15.txt:10 9 CpCCNqNpq DDD1D11DDD11111:C0CCN1N0.1 dProofs21.txt:8 9 CCCpqpCrp D1DD1DD11D11D1DD1D111:CCC0.1.0C2.0 dProofs23.txt:33 9 CCNpNCpqp DDD1D11DDD1D11DDD111111:CCN0NC0.1.0 dProofs27.txt:148 9 CCNpNCqqp DDD1DD1D111DDD1D11DDD111111:CCN0NC1.1.0 dProofs29.txt:197 9 CpCqCrCss DDD1DD11D11D1DD1D111DD1D11D11:C0C1C2C3.3 dProofs31.txt:25 9 CCCpqrCqr D1DDD1DD11D11D1DD1D111D1DD1D111:CCC0.1.2C1.2 dProofs33.txt:85 9 CpCCCqqrr DD1D1DD1DD11D11D1DD1D111D1DD1D111:C0CCC1.1.2.2 dProofs33.txt:318 9 CNCpqCNpr DDD1D1DD1DD11D11D11DD1DD11D11D111:CNC0.1CN0.2 dProofs43.txt:2189 9 CpCqCrCsr DDD1DD11D11D1DD1D111DD11DD1DD11D11D1DD1D111:C0C1C2C3.2 dProofs43.txt:3395 9 CNCNCppqr DDDD1DD11D11D11DDDD1DD1D111DD1DD11D11D11111:CNCNC0.0.1.2 dProofs45.txt:605 9 CpCCCqrqq DD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D111:C0CCC1.2.1.1 dProofs49.txt:5518 9 CCpCpqCpq DDD1D1DD1DD11D11D1DD1D111D1D1DD1DD11D11D1DD1D1111:CC0C0.1C0.1 dProofs53.txt:20840 9 CNCpCNpqr DDDD1DD11D11D11DDD1D11D1DD1D1DD1DD11D11D1DD1D111D1111:CNC0CN0.1.2 dProofs55.txt:910 9 CpCqCrCsq DD11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:C0C1C2C3.1 dProofs55.txt:30600 9 CNCNCpqpr DDDD1DD11D11D11DDD1D1DD1DD11D11D11DD1DD11D11D1DD1D11111:CNCNC0.1.0.2 dProofs57.txt:23551 9 CCCpCqqrr DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D11D111:CCC0C1.1.2.2 dProofs65.txt:26014 9 CpCCpqCrq DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0CC0.1C2.1 dProofs67.txt:33727 9 CpCNCNpqr DD1DD1D1DD1DD11D11D1DD1D111D11DDD1D11D1DD1D1DD1DD11D11D1DD1D111D111:C0CNCN0.1.2 dProofs69.txt:239462 9 CNCNCpqrp DDD1D1DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11DD1DD11D11D1DD1D1111:CNCNC0.1.2.0 dProofs71.txt:355492 9 CCCpCqprr DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD11DD1DD11D11D1DD1D1111:CCC0C1.0.2.2 dProofs71.txt:704274 9 CNpCNCpqr DDDD1D1DD1D1DDD11D111D1DD1D111DD1DD11D11D111DDD1D11DDD11DD1DD11D11D1111:CN0CNC0.1.2 dProofs79.txt:1746275 9 CCCpCqrqq DDD1D1DD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D1111:CCC0C1.2.1.1 dProofs81.txt:62620 9 CpCqNNCrq DD11DD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0C1NNC2.1 dProofs83-unfiltered83+.txt:997786 9 CpCNCqNrr DD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD11DD1DD1D1DD1DD11D11D1DD1D111D11DDD1DD11D1111:C0CNC1N2.2 dProofs83-unfiltered83+.txt:3739420 9 CpCqCrCsp DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:C0C1C2C3.0 dProofs87-unfiltered83+.txt:14496509 9 CpCqNNCrr DD1DD1D111DD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0C1NNC2.2 dProofs89-unfiltered83+.txt:56662159 9 CpNNCqCrr DDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111DDD1D11D111:C0NNC1C2.2 dProofs89-unfiltered83+.txt:86708464 9 NNCpCqCrr DDDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111DD1D11D111:NNC0C1C2.2 dProofs89-unfiltered83+.txt:86708465 9 NNCCpqCpq DDDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111DDD11D1111:NNCC0.1C0.1 [instance of NNCpp] dProofs89-unfiltered83+.txt:86708466 9 NNCCpqCqq DDDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111DDD1D11111:NNCC0.1C1.1 [instance of NNCpCqq] dProofs93-unfiltered83+.txt:21677680 9 CCNNpqCpq D1DD1D1DD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:CCNN0.1C0.1 dProofs93-unfiltered83+.txt:128558763 9 CCCpqNqNq DDD1D1DD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D11111:CCC0.1N1N1 dProofs93-unfiltered83+.txt:215878570 9 CNCNpCpqr DDDD1DD11D11D11DDD1DD1D111DDD1D1DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111DD1DD11D11D11111:CNCN0C0.1.2 dProofs95-unfiltered83+.txt:75295055 9 CpCqCrNNq DD1D11D1DDD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0C1C2NN1 dProofs95-unfiltered83+.txt:90021314 9 CpCNCqrNr DD1D1DD1DDD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DD1DD11D11D11D1DD1D111:C0CNC1.2N2 dProofs17.txt:6 10 CpCqCNCrqs DD11DD1DD11D11D11:C0C1CNC2.1.3 dProofs23.txt:24 10 CpCqCNCrrs DD1DD1D111DD1DD11D11D11:C0C1CNC2.2.3 dProofs25.txt:26 10 CpCNCqCrsr DD1D11DDD11DD1DD11D11D111:C0CNC1C2.3.2 dProofs25.txt:95 10 CpCNCqCrrs DDD1DD11D11D11DDD1D11D111:C0CNC1C2.2.3 dProofs25.txt:140 10 CNCpCqCrrs DDDD1DD11D11D11DD1D11D111:CNC0C1C2.2.3 dProofs25.txt:141 10 CNCCpqCpqr DDDD1DD11D11D11DDD11D1111:CNCC0.1C0.1.2 [instance of CNCppq] dProofs25.txt:142 10 CNCCpqCqqr DDDD1DD11D11D11DDD1D11111:CNCC0.1C1.1.2 [instance of CNCpCqqr] dProofs29.txt:18 10 CCCNpqrCpr D1DD1D1DD1DD11D11D1DD1D111D11:CCCN0.1.2C0.2 dProofs29.txt:170 10 CNCCCppqrq DDD1D1DD1DD11D11D11D1DD1D1111:CNCCC0.0.1.2.1 dProofs31.txt:52 10 CpCqCrCNqs DD1D11D1DDD1DD11D11D1DD1D111D11:C0C1C2CN1.3 dProofs33.txt:351 10 CpCNCqCrqs DDD1DD11D11D11DD1DD11D11D1DD1D111:C0CNC1C2.1.3 dProofs39.txt:1289 10 CNCpCqCrqs DDDD11DD1DD11D11D111DD1DD11D11D1DD1D111:CNC0C1C2.1.3 dProofs41.txt:1290 10 CNCCCpqprp DDD1D1DD1DD11D11D11D1DD1DD11D11D1DD1D1111:CNCCC0.1.0.2.0 dProofs41.txt:1294 10 CCCNCpqrpp DDD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D111:CCCNC0.1.2.0.0 dProofs45.txt:796 10 CpCqCrCNps DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D111:C0C1C2CN0.3 dProofs45.txt:800 10 CpCqCNCrps DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11:C0C1CNC2.0.3 dProofs51.txt:2157 10 CpCNCqCrps DD1DDD1DD11D11D1DD1D111D1DD1D111DDD11DD1DD11D11D111:C0CNC1C2.0.3 dProofs51.txt:7962 10 CCCNCppqrr DDD1D1DD1DD11D11D1DD1D111D1DD1DD1D111DD1DD11D11D111:CCCNC0.0.1.2.2 dProofs51.txt:14464 10 CNCCCppqqr DDDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1DD1D11111:CNCCC0.0.1.1.2 dProofs55.txt:19116 10 CpCqCrCNrs DDD1DD11D11D1DD1D111DD1D11D1DD1D1DD1DD11D11D1DD1D111D11:C0C1C2CN2.3 dProofs57.txt:27717 10 CpCqCNCrsr DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11DD1DD11D11D1DD1D111:C0C1CNC2.3.2 dProofs57.txt:47197 10 CCCppNCqqr DDDD1DD1D111DDD1D11DDD111111DDD1D1DD1DD11D11D11D1DD1D1111:CCC0.0NC1.1.2 dProofs59.txt:10664 10 CNCpCqCrsr DDD1D11DD1DDD1DD11D11D1DD1D111D1DD1D111DDD11DD1DD11D11D1111:CNC0C1C2.3.2 dProofs63.txt:145655 10 CNCCCpqppr DDDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D11111:CNCCC0.1.0.0.2 dProofs67.txt:320779 10 CNCpCqCrps DDDD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D1111:CNC0C1C2.0.3 dProofs69.txt:37677 10 CpCNCqrCsq DD1D1DD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:C0CNC1.2C3.1 dProofs71.txt:71459 10 CpCCNqNNqq DD1DD1D1DDD11D111D1DD1D111D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11:C0CCN1NN1.1 dProofs73.txt:1162780 10 CCCppNCqrq DDDD1DD1DDD1DD11D11D1DD1D111D1DD1D1111D1D111DDD1D1DD1DD11D11D11D1DD1D1111:CCC0.0NC1.2.1 dProofs75.txt:118469 10 CpCNCqrCrs DD1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111DDD11DD1DD11D11D111:C0CNC1.2C2.3 dProofs83-unfiltered83+.txt:3985697 10 CpCCCqqNpr DDD1D11D1DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D1111:C0CCC1.1N0.2 dProofs83-unfiltered83+.txt:9087568 10 CCCpCNpqrr DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D11D1DD1D1DD1DD11D11D1DD1D111D111:CCC0CN0.1.2.2 dProofs85-unfiltered83+.txt:983479 10 CCpqCNCprq D1DD1D1DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D111DD1DD11D11D1DD1D111:CC0.1CNC0.2.1 dProofs85-unfiltered83+.txt:16900667 10 CCCNCpqprr DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11DD1DD11D11D1DD1D1111:CCCNC0.1.0.2.2 dProofs91-unfiltered83+.txt:27479609 10 CpCNNNCqqr DD11DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DDDD1DD1D111DD1DD11D11D11111:C0CNNNC1.1.2 dProofs91-unfiltered83+.txt:81310627 10 CNCpqCNNqr DDD1D1DD1DDD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DD1DD11D11D11D111:CNC0.1CNN1.2 dProofs93-unfiltered83+.txt:60384451 10 CNCpCqrCsq DD1DD1D11DDD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D1111DD1DD11D11D1DD1D111:CNC0C1.2C3.1 dProofs93-unfiltered83+.txt:68684327 10 CNNNCpCqqr DDD11DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DDDD1DD11D11D11DDD1D11D111111:CNNNC0C1.1.2 dProofs93-unfiltered83+.txt:128533126 10 CNCCpqCprq DDD1D1DD1DD11D11D11D1DD1D11DDD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D11111:CNCC0.1C0.2.1 dProofs93-unfiltered83+.txt:214574596 10 CNCpCqNNpr DDDD1DD11D11D11DD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D11111:CNC0C1NN0.2 dProofs93-unfiltered83+.txt:217242233 10 NNCpCqCNpr DDDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111DD1DD11D11D111:NNC0C1CN0.2 dProofs95-unfiltered83+.txt:88918004 10 CpCNCqrNNq DD1D1DD1DD11D11D11DD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0CNC1.2NN1 dProofs95-unfiltered83+.txt:101093899 10 CpCqCNrCrs DD1DDD1DD11D11D1DD1D111DD1D1DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111DD1DD11D11D11D1DD1D111:C0C1CN2C2.3 dProofs95-unfiltered83+.txt:203656483 10 CCNpCqpCqp DDD1D1DD1DD11D11D1DD1D111D1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D11111:CCN0C1.0C1.0 dProofs13.txt:5 11 CpCqCCNrNqr DD1D11DDD1111:C0C1CCN2N1.2 dProofs21.txt:15 11 CpCCNqNCqrq DD1D11DDD1D11DDD11111:C0CCN1NC1.2.1 dProofs23.txt:6 11 CCpCpqCrCpq D1D1DD1DD11D11D1DD1D111:CC0C0.1C2C0.1 dProofs23.txt:22 11 CpCqCCNrNpr DD1D1DDD11D111D1DD1D111:C0C1CCN2N0.2 dProofs25.txt:38 11 CpCCNqNCrrq DD1DD1D111DDD1D11DDD11111:C0CCN1NC2.2.1 dProofs27.txt:145 11 CpCqCCrsCss DDD1DD11D11D1DD1D111DD1D111:C0C1CC2.3C3.3 [instance of CpCqCrCss] dProofs27.txt:191 11 CCNpNCqCrrp DDDD1D11DDD11111DDD1D11D111:CCN0NC1C2.2.0 dProofs29.txt:67 11 CpCCNqNCrpq DDD11DD1D1DDD11D111D1DD1D1111:C0CCN1NC2.0.1 dProofs29.txt:171 11 CCCpqCqrCqr DDD1D1DD1DD11D11D1DD1D111D111:CCC0.1C1.2C1.2 dProofs29.txt:196 11 CpCCCqqrCsr DDD1DD11D11D1DD1D111D1DD1D111:C0CCC1.1.2C3.2 dProofs29.txt:281 11 CNCpCqCNprs DDDD1DD11D11D11DD1DD11D11D111:CNC0C1CN0.2.3 dProofs31.txt:26 11 CCCpCqqrCsr D1DDD1DD11D11D1DD1D111DD1D11D11:CCC0C1.1.2C3.2 dProofs31.txt:66 11 CpCNCqrCNqs DD1D1DD1DD11D11D11DD1DD11D11D11:C0CNC1.2CN1.3 dProofs31.txt:238 11 CCCpqCrpCrp DDD1D1DD1DD11D11D1DD1D111D1D111:CCC0.1C2.0C2.0 dProofs35.txt:694 11 CCNpNCqCrqp DDDD1D11DDD11111DD1DD11D11D1DD1D111:CCN0NC1C2.1.0 dProofs35.txt:742 11 CNCpCNCqprs DDDD1DD11D11D11DDD11DD1DD11D11D1111:CNC0CNC1.0.2.3 dProofs37.txt:242 11 CCNpNCqCprp DDD1D11DDD11DD1D1DDD11D111D1DD1D11111:CCN0NC1C0.2.0 dProofs41.txt:1482 11 CpCNCNCqqrs DDD1DD11D11D11DDDD1DD1D111DD1DD11D11D1111:C0CNCNC1.1.2.3 dProofs41.txt:1490 11 CpCCCqrqCsq DDD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D111:C0CCC1.2.1C3.1 dProofs41.txt:2295 11 CNCpCNCqqrs DDDD1DD11D11D11DDD1DD1D111DD1DD11D11D1111:CNC0CNC1.1.2.3 dProofs43.txt:476 11 CpCqCNCNprs DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11:C0C1CNCN0.2.3 dProofs43.txt:3358 11 CNCNCpCqrqs DDDD1DD11D11D11DDD1D11DDD11DD1DD11D11D11111:CNCNC0C1.2.1.3 dProofs43.txt:3393 11 CNCNCpCqqrs DDDD1DD11D11D11DDDD1DD11D11D11DDD1D11D11111:CNCNC0C1.1.2.3 dProofs45.txt:144 11 CCCpCqprCsr D1DDD1DD11D11D1DD1D111DD11DD1DD11D11D1DD1D111:CCC0C1.0.2C3.2 dProofs47.txt:794 11 CpCCqCqrCqr DD1D1DD1DD11D11D1DD1D111D1D1DD1DD11D11D1DD1D111:C0CC1C1.2C1.2 dProofs49.txt:1431 11 CpCqCrCsCtt DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D11D11:C0C1C2C3C4.4 dProofs49.txt:1501 11 CpCNCqCNprs DD1DD1D1DD1DD11D11D1DD1D111D11DDD11DD1DD11D11D111:C0CNC1CN0.2.3 dProofs49.txt:1614 11 CpCNCNCqprs DDD11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D111:C0CNCNC1.0.2.3 dProofs51.txt:8894 11 CpCNCqCNqrs DDD1DD11D11D11DDD1D11D1DD1D1DD1DD11D11D1DD1D111D111:C0CNC1CN1.2.3 dProofs51.txt:9179 11 CpCCCqrsCrs DDD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111D1DD1D111:C0CCC1.2.3C2.3 dProofs51.txt:14341 11 CNCpCqCNqrs DDDD1DD11D11D11DD1D11D1DD1D1DD1DD11D11D1DD1D111D111:CNC0C1CN1.2.3 dProofs51.txt:14558 11 CNCNCpCqprs DDDD1DD11D11D11DDDD1DD11D11D11DD1DD11D11D1DD1D11111:CNCNC0C1.0.2.3 dProofs53.txt:513 11 CCCpCqrqCsq D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:CCC0C1.2.1C3.1 dProofs53.txt:12822 11 CpCNCNCqrqs DDD1DD11D11D11DDD1D1DD1DD11D11D11DD1DD11D11D1DD1D1111:C0CNCNC1.2.1.3 dProofs53.txt:13138 11 CpCqCCCrrss DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1DD1D111:C0C1CCC2.2.3.3 dProofs53.txt:20763 11 CNCpCNCqrqs DDDD1DD11D11D11DD1D1DD1DD11D11D11DD1DD11D11D1DD1D1111:CNC0CNC1.2.1.3 dProofs55.txt:3050 11 CpCCCqCrrss DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D11D11:C0CCC1C2.2.3.3 dProofs55.txt:16367 11 CCCCpqCqqrr DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D1111:CCCC0.1C1.1.2.2 [instance of CCCpCqqrr] dProofs57.txt:7581 11 CNCpCNCqrsq DDD1D11DD1DD1D1DD1DD11D11D1DD1D111D11DDD11DD1DD11D11D1111:CNC0CNC1.2.3.1 dProofs57.txt:7596 11 CNCNCpCqrsq DDD1D11DDD11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D1111:CNCNC0C1.2.3.1 dProofs57.txt:32002 11 CCNCpqNpCpq DDD1DD1DDD1DD11D11D1DD1D111D1DD1D1111DD1DD11D11D1DD1D1111:CCNC0.1N0C0.1 dProofs63.txt:15529 11 CpCqCrCsCts DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD11DD1DD11D11D1DD1D111:C0C1C2C3C4.3 dProofs65.txt:108982 11 CNCpqCrCNps DDD1D1DD1DD11D11D11DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D1111:CNC0.1C2CN0.3 dProofs65.txt:108983 11 CNCpqCNCrps DDD1D1DD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D111:CNC0.1CNC2.0.3 dProofs65.txt:109387 11 CNCpCqrCNqs DDD1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11DD1DD11D11D111:CNC0C1.2CN1.3 dProofs65.txt:130393 11 CpCqCCCrsrr DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D111:C0C1CCC2.3.2.2 dProofs67.txt:4516 11 CCCpqNqCrNq D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:CCC0.1N1C2N1 dProofs67.txt:25552 11 CpCqCNCNqrs DD1D1DD1DD11D11D1DD1D111DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11:C0C1CNCN1.2.3 dProofs67.txt:26167 11 CpCNCNCqrsq DD1D1DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11DD1DD11D11D1DD1D111:C0CNCNC1.2.3.1 dProofs69.txt:37746 11 CpCCCqCrqss DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD11DD1DD11D11D1DD1D111:C0CCC1C2.1.3.3 dProofs71.txt:356903 11 CNCpqCNCqrs DDD1D1DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D111DDD11DD1DD11D11D1111:CNC0.1CNC1.2.3 dProofs73.txt:145177 11 CCCCpqrqCpq DDD1D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D11111:CCCC0.1.2.1C0.1 dProofs75.txt:950409 11 CpCqCrCsCtr DDD1DD11D11D1DD1D111DD11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:C0C1C2C3C4.2 dProofs77.txt:169852 11 CpCCCqCrsrr DD1D1DD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:C0CCC1C2.3.2.2 dProofs77.txt:1167453 11 CCCpCqCrrss DDD1D1DD1DD11D11D1DD1D111D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D11D111:CCC0C1C2.2.3.3 dProofs79.txt:25003 11 CCNNCpqpCrp D1DD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:CCNNC0.1.0C2.0 dProofs79.txt:306015 11 CpCNqCNCqrs DD1DD1D111DDD1D1DD1DDD1DD11D11D1DD1D111D11DD1D1DDD11D111D1DD1D111DD1DD11D11D111:C0CN1CNC1.2.3 dProofs81.txt:2602295 11 CCCCCppqqrr DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1DD1D1111:CCCCC0.0.1.1.2.2 dProofs85-unfiltered83+.txt:19296684 11 CpCqCCqrCsr DDD1DD11D11D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0C1CC1.2C3.2 dProofs87-unfiltered83+.txt:7567949 11 CpCqCrCsCtq DD11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:C0C1C2C3C4.1 dProofs87-unfiltered83+.txt:33570630 11 CpNNCqCrCss DDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111DD1D11D11:C0NNC1C2C3.3 dProofs87-unfiltered83+.txt:33570631 11 CpNNCCqrCqr DDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111DDD11D111:C0NNCC1.2C1.2 [instance of CpNNCqq] dProofs87-unfiltered83+.txt:33570632 11 CpNNCCqrCrr DDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111DDD1D1111:C0NNCC1.2C2.2 [instance of CpNNCqCrr] dProofs87-unfiltered83+.txt:36963804 11 CCNpNNNCqqp DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DDDD1DD1D111DD1DD11D11D11111:CCN0NNNC1.1.0 dProofs87-unfiltered83+.txt:52931303 11 CNCNCpqCrps DDDD1DD11D11D11DDD1D1DD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D11111:CNCNC0.1C2.0.3 dProofs87-unfiltered83+.txt:53449747 11 NNCpCCqrCqr DDDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111DD11D111:NNC0CC1.2C1.2 [instance of NNCpCqq] dProofs87-unfiltered83+.txt:53449748 11 NNCpCCqrCrr DDDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111DD1D1111:NNC0CC1.2C2.2 [instance of NNCpCqCrr] dProofs89-unfiltered83+.txt:7408089 11 CCNNCppqCrq D1DD1DD1D111DD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:CCNNC0.0.1C2.1 dProofs89-unfiltered83+.txt:10988035 11 CCCpNNqrCqr D1DDD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:CCC0NN1.2C1.2 dProofs89-unfiltered83+.txt:85548185 11 CNCNCpqCqrs DDDD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DDD1DD1DDD1DD11D11D1DD1D111D1DD1D1111D1111:CNCNC0.1C1.2.3 dProofs89-unfiltered83+.txt:86118995 11 CNCCNpNNppq DDDD1DD11D11D11DDD1DD1D1DDD11D111D1DD1D111D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D1111:CNCCN0NN0.0.1 dProofs89-unfiltered83+.txt:86708462 11 NNCCCppqCrq DDDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111D1DD1D1111:NNCCC0.0.1C2.1 dProofs91-unfiltered83+.txt:36212310 11 CpCCCqrNrNr DD1D1DD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0CCC1.2N2N2 dProofs91-unfiltered83+.txt:80894292 11 CCCpCqCrqss DDD1D1DD1DD11D11D1DD1D111D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD11DD1DD11D11D1DD1D1111:CCC0C1C2.1.3.3 dProofs91-unfiltered83+.txt:87568514 11 CpCNCNqCqrs DDD1DD11D11D11DDD1DD1D111DDD1D1DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111DD1DD11D11D1111:C0CNCN1C1.2.3 dProofs91-unfiltered83+.txt:133372182 11 CNCpCNqCqrs DDDD1DD11D11D11DD1DD1D111DDD1D1DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111DD1DD11D11D1111:CNC0CN1C1.2.3 dProofs93-unfiltered83+.txt:128559247 11 CCCCCpqpprr DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D1111:CCCCC0.1.0.0.2.2 dProofs93-unfiltered83+.txt:171268238 11 NNCpCqCrCss DDDD11DD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D11111DD1D11D11:NNC0C1C2C3.3 dProofs93-unfiltered83+.txt:213841724 11 CNpCNCqCprs DDDD1D1DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111DD1DD11D11D111DDD1D11DDD11DD1DD11D11D1111:CN0CNC1C0.2.3 dProofs95-unfiltered83+.txt:113756359 11 CpCCCNpqNpr DDD1D11D1DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1DD11D11D1DD1D1111:C0CCCN0.1N0.2 dProofs95-unfiltered83+.txt:340037445 11 NNCpCCNqNpq DDDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111DDD1D11DDD111111:NNC0CCN1N0.1 dProofs95-unfiltered83+.txt:350958411 11 NNCCNpNCqqp DDDD1DD1D111DD1D1DDD11D111D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D111111:NNCCN0NC1.1.0 dProofs15.txt:5 12 CCCNCpqrpCsp D1DD1DD11D11D11:CCCNC0.1.2.0C3.0 dProofs23.txt:64 12 CpCNCqCrCsst DDD1DD11D11D11DD1D11D11:C0CNC1C2C3.3.4 dProofs23.txt:65 12 CpCNCCqrCqrs DDD1DD11D11D11DDD11D111:C0CNCC1.2C1.2.3 [instance of CpCNCqqr] dProofs23.txt:66 12 CpCNCCqrCrrs DDD1DD11D11D11DDD1D1111:C0CNCC1.2C2.2.3 [instance of CpCNCqCrrs] dProofs23.txt:90 12 CNCpCCqrCqrs DDDD1DD11D11D11DD11D111:CNC0CC1.2C1.2.3 [instance of CNCpCqqr] dProofs23.txt:91 12 CNCpCCqrCrrs DDDD1DD11D11D11DD1D1111:CNC0CC1.2C2.2.3 [instance of CNCpCqCrrs] dProofs25.txt:14 12 CCCNCppqrCsr D1DD1DD1D111DD1DD11D11D11:CCCNC0.0.1.2C3.2 dProofs25.txt:16 12 CCCpCNqrsCqs D1DDD1DD11D11D1DD1D111D11:CCC0CN1.2.3C1.3 dProofs25.txt:138 12 CNCCCppqCrqs DDDD1DD11D11D11D1DD1D1111:CNCCC0.0.1C2.1.3 dProofs27.txt:38 12 CpCNCCCqqrsr DD1D1DD1DD11D11D11D1DD1D111:C0CNCCC1.1.2.3.2 dProofs29.txt:234 12 CNCpCqCrCsst DDDD11DD1DD11D11D111DD1D11D11:CNC0C1C2C3.3.4 dProofs31.txt:86 12 CNCCNpNCqqpr DDD11DDD1DD1D111DD1DDD1111D1111:CNCCN0NC1.1.0.2 dProofs31.txt:378 12 CNCpCCNqNpqr DDDD1DD11D11D11DDD1D11DDD111111:CNC0CCN1N0.1.2 dProofs37.txt:678 12 CpCNCqCrCsrt DDD1DD11D11D11DD11DD1DD11D11D1DD1D111:C0CNC1C2C3.2.4 dProofs37.txt:719 12 CpCqCrCNCsrt DDD1DD11D11D1DD1D111DD11DD1DD11D11D11:C0C1C2CNC3.2.4 dProofs37.txt:1056 12 CNCCCpqpCrps DDDD1DD11D11D11D1DD1DD11D11D1DD1D1111:CNCCC0.1.0C2.0.3 dProofs39.txt:198 12 CpCNCCCqrqsq DD1D1DD1DD11D11D11D1DD1DD11D11D1DD1D111:C0CNCCC1.2.1.3.1 dProofs39.txt:202 12 CpCCCNCqrsqq DD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D11:C0CCCNC1.2.3.1.1 dProofs39.txt:256 12 CpCNCCNqNpqr DD1DDD1DD11D1111DDD1D1DD1DD11D11D11D111:C0CNCCN1N0.1.2 dProofs39.txt:1573 12 CNCCNpNCpqpr DDDD1DD11D11D11DDD1D11DDD1D11DDD1111111:CNCCN0NC0.1.0.2 dProofs43.txt:1893 12 CNCCNpNCqrpq DDD1D1DD1D1DDD11D111D11DD1DD11D11D1DD1D1111:CNCCN0NC1.2.0.1 dProofs43.txt:1896 12 CNCCpCpqrCpq DDD1D1DD1DD11D11D11D1D1DD1DD11D11D1DD1D1111:CNCC0C0.1.2C0.1 dProofs43.txt:1901 12 CNCpqCCNrNpr DDD1D1DD1DD11D11D11DD1D1DDD11D111D1DD1D1111:CNC0.1CCN2N0.2 dProofs43.txt:2195 12 CpCqCrCNCsst DDD1DD11D11D1DD1D111DD1DD1D111DD1DD11D11D11:C0C1C2CNC3.3.4 dProofs43.txt:2363 12 CCNpNCNCqqrp DDD1DD1DD1D111DD1DD11D11D11DDD1D11DDD111111:CCN0NCNC1.1.2.0 dProofs43.txt:2728 12 CNCpCqCrCsrt DDDD11DD1DD11D11D111DD11DD1DD11D11D1DD1D111:CNC0C1C2C3.2.4 dProofs45.txt:750 12 CpCCNqNCNprq DD1DD1D1DD1DD11D11D1DD1D111D11DDD1D11DDD11111:C0CCN1NCN0.2.1 dProofs45.txt:803 12 CpCqCNCrCsts DD1DDD1DD11D11D1DD1D111DD11DD1DD11D11D11D1D11:C0C1CNC2C3.4.3 dProofs45.txt:804 12 CpCqCNCrCsst DD1DDD1DD11D11D1DD1D111DD1D11D11DD1DD11D11D11:C0C1CNC2C3.3.4 dProofs47.txt:6888 12 CNCCCpqrCqrs DDDD1DD11D11D11D1DDD1DD11D11D1DD1D111D1DD1D1111:CNCCC0.1.2C1.2.3 dProofs49.txt:378 12 CpCqCrCNCsqt DD11DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D111:C0C1C2CNC3.1.4 dProofs49.txt:379 12 CpCqCNCrCsqt DD11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11:C0C1CNC2C3.1.4 dProofs49.txt:1193 12 CpCCCNCqqrss DD1D1DD1DD11D11D1DD1D111D1DD1DD1D111DD1DD11D11D11:C0CCCNC1.1.2.3.3 dProofs49.txt:6216 12 CpCNCCCqqrrs DDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1DD1D1111:C0CNCCC1.1.2.2.3 dProofs49.txt:6339 12 CpCCCNqrsCqs DDD1DD11D11D1DD1D111D1DD1D1DD1DD11D11D1DD1D111D11:C0CCCN1.2.3C1.3 dProofs49.txt:9902 12 CNCpCCCqqrrs DDDD1DD11D11D11DD1D1DD1DD11D11D1DD1D111D1DD1D1111:CNC0CCC1.1.2.2.3 dProofs49.txt:9973 12 CNCNCpqCNprs DDDD1DD11D11D11DDD1D1DD1DD11D11D11DD1DD11D11D1111:CNCNC0.1CN0.2.3 dProofs51.txt:7955 12 CNCCCpCqqrsr DDD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D11D111:CNCCC0C1.1.2.3.2 dProofs51.txt:9199 12 CpCqCrCsCNrt DDD1DD11D11D1DD1D111DD1D11D1DDD1DD11D11D1DD1D111D11:C0C1C2C3CN2.4 dProofs53.txt:3816 12 CCNpNCNCpqrp DDD1D11DD1DD1D1DD1DD11D11D1DD1D111D11DDD1D11DDD111111:CCN0NCNC0.1.2.0 dProofs53.txt:13180 12 CpCqCNCrCsrt DDD1DD11D11D1DD1D111DDD1DD11D11D11DD1DD11D11D1DD1D111:C0C1CNC2C3.2.4 dProofs53.txt:19408 12 CCNpNCqCNqrp DDDD1D11DDD11111DDD1D11D1DD1D1DD1DD11D11D1DD1D111D111:CCN0NC1CN1.2.0 dProofs55.txt:28533 12 CCNpNCNCqrqp DDDD1D11DDD11111DDD1D1DD1DD11D11D11DD1DD11D11D1DD1D1111:CCN0NCNC1.2.1.0 dProofs57.txt:997 12 CCCpCNpqrCsr D1DDD1DD11D11D1DD1D111DD1D11D1DD1D1DD1DD11D11D1DD1D111D11:CCC0CN0.1.2C3.2 dProofs57.txt:3366 12 CpCNCqCrCsts DD1D11DD1DDD1DD11D11D1DD1D111D1DD1D111DDD11DD1DD11D11D111:C0CNC1C2C3.4.3 dProofs57.txt:49886 12 CCCppNCqCrrs DDDDD1D11DDD11111DDD1D11D111DDD1D1DD1DD11D11D11D1DD1D1111:CCC0.0NC1C2.2.3 dProofs59.txt:1439 12 CCCNCpqprCsr D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11DD1DD11D11D1DD1D111:CCCNC0.1.0.2C3.2 dProofs59.txt:6477 12 CpCqCCCrrNps DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D111:C0C1CCC2.2N0.3 dProofs59.txt:8534 12 CpCCCNpqrCsr DD1DDD1DD11D11D1DD1D111D11DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0CCCN0.1.2C3.2 dProofs59.txt:66807 12 CNCNCNCppqrs DDDD1DD11D11D11DDDD1DD11D11D11DDDD1DD1D111DD1DD11D11D111111:CNCNCNC0.0.1.2.3 dProofs61.txt:50426 12 CNCpCCCqqrsr DDD1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11D1DD1D1111:CNC0CCC1.1.2.3.2 dProofs61.txt:57985 12 CpCNCCCqrqqs DDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D1111:C0CNCCC1.2.1.1.3 dProofs61.txt:97422 12 CNCpCCCqrqqs DDDD1DD11D11D11DD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D1111:CNC0CCC1.2.1.1.3 dProofs63.txt:74162 12 CNCpqCNCNprs DDD1D1DD1DD11D11D11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D111:CNC0.1CNCN0.2.3 dProofs63.txt:74362 12 CNCNCpqrCNps DDD1D1DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11DD1DD11D11D111:CNCNC0.1.2CN0.3 dProofs65.txt:26267 12 CpCCCqqNCrps DDD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D1111:C0CCC1.1NC2.0.3 dProofs65.txt:108907 12 CNCCCpCqprsr DDD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD11DD1DD11D11D1DD1D1111:CNCCC0C1.0.2.3.2 dProofs65.txt:109003 12 CCCpCNCqprss DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD11DD1DD11D11D111:CCC0CNC1.0.2.3.3 dProofs65.txt:124657 12 CpCNCqCrCsqt DDD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:C0CNC1C2C3.1.4 dProofs65.txt:130447 12 CpCqCrCsCNqt DDD1DD11D11D1DD1D111DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D111:C0C1C2C3CN1.4 dProofs65.txt:216018 12 CNCCpCpqCpqr DDDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1D1DD1DD11D11D1DD1D11111:CNCC0C0.1C0.1.2 dProofs65.txt:244338 12 CCCppNCqCrqs DDDDD1D11DDD11111DD1DD11D11D1DD1D111DDD1D1DD1DD11D11D11D1DD1D1111:CCC0.0NC1C2.1.3 dProofs69.txt:2970 12 CCNpCqpCrCqp D1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:CCN0C1.0C2C1.0 dProofs69.txt:338345 12 CCNpNNCCqqpp DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11D1DD1D1111:CCN0NNCC1.1.0.0 dProofs69.txt:482788 12 CNCNCpCNpqrs DDDD1DD11D11D11DDDD1DD11D11D11DDD1D11D1DD1D1DD1DD11D11D1DD1D111D11111:CNCNC0CN0.1.2.3 dProofs71.txt:69811 12 CpCCCqqNCrrs DD1DD1D111DDDD1DD1D111DDD1D11DDD111111DDD1D1DD1D1DDD11D111D11D1DD1D1111:C0CCC1.1NC2.2.3 dProofs71.txt:355497 12 CCCpCNCqqrss DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1DD1D111DD1DD11D11D111:CCC0CNC1.1.2.3.3 dProofs71.txt:492224 12 CNpCCNqNCprq DDD1DD1D111DDD1D1DD1DD11DD1D1D1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1111:CN0CCN1NC0.2.1 dProofs71.txt:580987 12 CNCpCqCrCsqt DDDD11DD1DD11D11D111DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:CNC0C1C2C3.1.4 dProofs71.txt:721700 12 CNCNCNCpqprs DDDD1DD11D11D11DDDD1DD11D11D11DDD1D1DD1DD11D11D11DD1DD11D11D1DD1D111111:CNCNCNC0.1.0.2.3 dProofs73.txt:7337 12 CCpqCNCrCpsq D1DD1D11DDD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D1111:CC0.1CNC2C0.3.1 dProofs73.txt:145239 12 CCCppNCqCrsr DDD1D11DDD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D11111:CCC0.0NC1C2.3.2 dProofs73.txt:525960 12 CNCCCpCqrqsq DDD1D1DD1DD11D11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D1111:CNCCC0C1.2.1.3.1 dProofs73.txt:526294 12 CCCpCNCqrsqq DDD1D1DD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D1111:CCC0CNC1.2.3.1.1 dProofs73.txt:526296 12 CCCNCpCqrsqq DDD1D1DD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D111:CCCNC0C1.2.3.1.1 dProofs73.txt:526299 12 CCCNCpCqrqss DDD1D1DD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111DD11DD1DD11D11D11D1D111:CCCNC0C1.2.1.3.3 dProofs73.txt:526300 12 CCCNCpCqqrss DDD1D1DD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111DD1D11D11DD1DD11D11D111:CCCNC0C1.1.2.3.3 dProofs73.txt:528706 12 CNCpCCCqrqsq DDD1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11D1DD1DD11D11D1DD1D1111:CNC0CCC1.2.1.3.1 dProofs73.txt:1068782 12 CNCCCpCqqrrs DDDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D11D1111:CNCCC0C1.1.2.2.3 dProofs75.txt:146070 12 CpCqCrCsCNst DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D11D1DD1D1DD1DD11D11D1DD1D111D11:C0C1C2C3CN3.4 dProofs77.txt:215904 12 CpCqCrCNCsts DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D1DD1DD11D11D11DD1DD11D11D1DD1D111:C0C1C2CNC3.4.3 dProofs77.txt:245027 12 CpCqCrCsCNpt DD1DDD1DD11D11D1DD1D111D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:C0C1C2C3CN0.4 dProofs77.txt:246192 12 CpCqCrCNCspt DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D111:C0C1C2CNC3.0.4 dProofs77.txt:246194 12 CpCqCNCrCspt DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11:C0C1CNC2C3.0.4 dProofs79.txt:1746313 12 CCCpCqCNprss DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D11D1DDD1DD11D11D1DD1D111D111:CCC0C1CN0.2.3.3 dProofs79.txt:3849725 12 CCCpCqqNCrrs DDDD1DD1D111DDD1D11DDD111111DDD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D11D111:CCC0C1.1NC2.2.3 dProofs81.txt:280044 12 CpCqCCCrrNqs DD1D11D1DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D111:C0C1CCC2.2N1.3 dProofs81.txt:363733 12 CpCCCqCNqrss DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D11D1DD1D1DD1DD11D11D1DD1D111D11:C0CCC1CN1.2.3.3 dProofs81.txt:2602332 12 CCCNCpCqprss DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DDD1DD11D11D11DD1DD11D11D1DD1D1111:CCCNC0C1.0.2.3.3 dProofs81.txt:3660311 12 CNCCNpNqpCqr DDD1DD1D111DDD1D1DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111DD1D1DDD11D111D1111:CNCCN0N1.0C1.2 dProofs81.txt:3767257 12 CCNpNNCCpqpp DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11D1DD1DD11D11D1DD1D1111:CCN0NNCC0.1.0.0 dProofs81.txt:5353499 12 CNCpCCpqCrqs DDDD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D11111:CNC0CC0.1C2.1.3 dProofs83-unfiltered83+.txt:2965577 12 CpCCCNCqrqss DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11DD1DD11D11D1DD1D111:C0CCCNC1.2.1.3.3 dProofs83-unfiltered83+.txt:2966182 12 CpCCCqqNCrsr DD1D1DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D111DD1DD11D11D1DD1D111:C0CCC1.1NC2.3.2 dProofs83-unfiltered83+.txt:3415700 12 CpCqCCNrNNrr DD1DD1DD1D1111D1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0C1CCN2NN2.2 dProofs83-unfiltered83+.txt:3739421 12 CpCNCqCrCspt DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D111DDD11DD1DD11D11D111:C0CNC1C2C3.0.4 dProofs83-unfiltered83+.txt:18625113 12 CNCpCNCNpqrs DDDD1DD11D11D11DD1DD1D1DD1DD11D11D1DD1D111D11DDD1D11D1DD1D1DD1DD11D11D1DD1D111D1111:CNC0CNCN0.1.2.3 dProofs85-unfiltered83+.txt:16900160 12 CCCCNpNNqpqq DDD1D1DD1DD11D11D1DD1D111D1D1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D111:CCCCN0NN1.0.1.1 dProofs85-unfiltered83+.txt:17057049 12 CNpCNCNCpqrs DDD1D1DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D111DDD1D1DD1DD11D11D11DD1DD11D11D1111:CN0CNCNC0.1.2.3 dProofs85-unfiltered83+.txt:32289114 12 CNCNCNCpqrps DDDD1DD11D11D11DDD1D1DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11DD1DD11D11D1DD1D11111:CNCNCNC0.1.2.0.3 dProofs87-unfiltered83+.txt:29970128 12 CNCCCpqNqrNq DDD1D1DD1DD11D11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D11111:CNCCC0.1N1.2N1 dProofs87-unfiltered83+.txt:52931371 12 CNCCCpCqprrs DDDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD11DD1DD11D11D1DD1D11111:CNCCC0C1.0.2.2.3 dProofs87-unfiltered83+.txt:53176625 12 CNCNpCNCpqrs DDDD1DD11D11D11DDDD1D1DD1D1DDD11D111D1DD1D111DD1DD11D11D111DDD1D11DDD11DD1DD11D11D11111:CNCN0CNC0.1.2.3 dProofs89-unfiltered83+.txt:23524353 12 CpCNCqrCNNrs DD1D1DD1DDD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DD1DD11D11D11D11:C0CNC1.2CNN2.3 dProofs89-unfiltered83+.txt:24804416 12 CpCqCNNNCrrs DD1DD1DD1DD1D111DD1DD11D11D11D1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11D11:C0C1CNNNC2.2.3 dProofs89-unfiltered83+.txt:56322685 12 CpCqCNCrsCtr DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:C0C1CNC2.3C4.2 dProofs91-unfiltered83+.txt:27479607 12 CpCNNNCqCrrs DD11DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DDDD1DD11D11D11DDD1D11D11111:C0CNNNC1C2.2.3 dProofs91-unfiltered83+.txt:36187962 12 CpCNCCqrCqsr DD1D1DD1DD11D11D11D1DD1D11DDD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D1111:C0CNCC1.2C1.3.2 dProofs91-unfiltered83+.txt:43538547 12 CNNNCpCqCrrs DDD11DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DDDD1DD11D11D11DD1D11D11111:CNNNC0C1C2.2.3 dProofs91-unfiltered83+.txt:43538548 12 CNNNCCpqCpqr DDD11DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DDDD1DD11D11D11DDD11D111111:CNNNCC0.1C0.1.2 [instance of CNNNCppq] dProofs91-unfiltered83+.txt:43538549 12 CNNNCCpqCqqr DDD11DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DDDD1DD11D11D11DDD1D1111111:CNNNCC0.1C1.1.2 [instance of CNNNCpCqqr] dProofs91-unfiltered83+.txt:46802532 12 CNCpCqCrCsts DDD1D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D111DDD11DD1DD11D11D1111:CNC0C1C2C3.4.3 dProofs91-unfiltered83+.txt:86209524 12 CpCNCqCrNNqs DDD1DD11D11D11DD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0CNC1C2NN1.3 dProofs91-unfiltered83+.txt:89154895 12 CpNNCqCrCNqs DDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111DD1DD11D11D11:C0NNC1C2CN1.3 dProofs93-unfiltered83+.txt:55823280 12 CpCCNqCrqCrq DD1D1DD1DD11D11D1DD1D111D1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0CCN1C2.1C2.1 dProofs93-unfiltered83+.txt:191358844 12 CCNpNCNqCqrp DDDD1D11DDD11111DDD1DD1D111DDD1D1DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111DD1DD11D11D1111:CCN0NCN1C1.2.0 dProofs93-unfiltered83+.txt:224475459 12 CCCpCqpNCrrs DDDD1DD1D111DDD1D11DDD111111DDD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD11DD1DD11D11D1DD1D1111:CCC0C1.0NC2.2.3 dProofs95-unfiltered83+.txt:91021591 12 CpCNCCNqNprq DD1DD11D11D1DD1D1DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D111DD1DD11D11D1DD1D111:C0CNCCN1N0.2.1 dProofs95-unfiltered83+.txt:95904439 12 CNCCCppqrCsq DD1DD1D1DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:CNCCC0.0.1.2C3.1 dProofs95-unfiltered83+.txt:100920591 12 CpCqCNCrsCst DD1DDD1DD11D11D1DD1D111DD11DD1DD11D11D11D1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:C0C1CNC2.3C3.4 dProofs95-unfiltered83+.txt:337397434 12 CNCCCpCqrqqs DDDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D11111:CNCCC0C1.2.1.1.3 dProofs95-unfiltered83+.txt:354906282 12 CCCpCqqNCrsr DDDD1DD1DDD1DD11D11D1DD1D111D1DD1D1111D1D111DDD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D11D111:CCC0C1.1NC2.3.2 dProofs3.txt:1 13 CCCpqCqrCsCqr D11:CCC0.1C1.2C3C1.2 dProofs5.txt:1 13 CCCpqCrpCsCrp D1D11:CCC0.1C2.0C3C2.0 dProofs9.txt:1 13 CCCCNpNqprCqr D1DD11D11:CCCCN0N1.0.2C1.2 dProofs19.txt:10 13 CpCqCrCCNsNrs DD1D11D1DD1DD1D1111:C0C1C2CCN3N2.3 dProofs19.txt:14 13 CpCqCCNrNCrsr DD1DD1DD1D1111D1D11:C0C1CCN2NC2.3.2 dProofs23.txt:27 13 CpCqCCNrNCssr DD1DD1DD1D1111D1DD1D111:C0C1CCN2NC3.3.2 dProofs25.txt:131 13 CCNpNCqCrCssp DDDD1D11DDD11111DD1D11D11:CCN0NC1C2C3.3.0 dProofs25.txt:132 13 CCNpNCCqrCqrp DDDD1D11DDD11111DDD11D111:CCN0NCC1.2C1.2.0 [instance of CCNpNCqqp] dProofs25.txt:133 13 CCNpNCCqrCrrp DDDD1D11DDD11111DDD1D1111:CCN0NCC1.2C2.2.0 [instance of CCNpNCqCrrp] dProofs27.txt:19 13 CpCqCCNrNCsqr DD11DD1D1DDD11D111D1DD1D111:C0C1CCN2NC3.1.2 dProofs27.txt:39 13 CpCCCqrCrsCrs DD1D1DD1DD11D11D1DD1D111D11:C0CCC1.2C2.3C2.3 dProofs27.txt:141 13 CpCNCqCrCNqst DDD1DD11D11D11DD1DD11D11D11:C0CNC1C2CN1.3.4 dProofs29.txt:23 13 CCCCpqCqqrCsr D1DDD1DD11D11D1DD1D111DD1D111:CCCC0.1C1.1.2C3.2 [instance of CCCpCqqrCsr] dProofs29.txt:57 13 CpCCCqrCsqCsq DD1D1DD1DD11D11D1DD1D111D1D11:C0CCC1.2C3.1C3.1 dProofs29.txt:58 13 CpCqCrCCNsNqs DD1DD11D11D1DD11DD1DD11D11D11:C0C1C2CCN3N1.3 dProofs33.txt:353 13 CpCNCqCNCrqst DDD1DD11D11D11DDD11DD1DD11D11D111:C0CNC1CNC2.1.3.4 dProofs33.txt:431 13 CNCpCqCrCNqst DDDD11DD1DD11D11D111DD1DD11D11D11:CNC0C1C2CN1.3.4 dProofs33.txt:518 13 CNCpCqCNCrqst DDDD1DD11D11D11DD11DD1DD11D11D111:CNC0C1CNC2.1.3.4 dProofs35.txt:90 13 CpCCNqNCrCqsq DD1D11DDD11DD1D1DDD11D111D1DD1D1111:C0CCN1NC2C1.3.1 dProofs35.txt:444 13 CNCCCNCpqrpsp DDD1D1DD1DD11D11D11D1DD1DD11D11D111:CNCCCNC0.1.2.0.3.0 dProofs35.txt:471 13 CpCCNqNCrCssq DDD1D1DDD11D111D1DD1D111DDD1D11D111:C0CCN1NC2C3.3.1 dProofs39.txt:217 13 CpCqCrCCNsNps DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D111:C0C1C2CCN3N0.3 dProofs39.txt:244 13 CpCqCNCNCrrst DD1DD1DD1D111DD1DD11D11D11DD1DD11D11D11:C0C1CNCNC2.2.3.4 dProofs39.txt:259 13 CpCqCNCrCNpst DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D11:C0C1CNC2CN0.3.4 dProofs39.txt:895 13 CCNpNCCCqqprp DDD1D1DD1D1DDD11D111D1DD1D111D1DD1D1111:CCN0NCCC1.1.0.2.0 dProofs39.txt:899 13 CCCpCCNqNpqrr DDD1D1DD1DD11D11D1DD1D111D1DD1DD1D11111:CCC0CCN1N0.1.2.2 dProofs39.txt:1016 13 CpCNCqCNCrrst DDD1DD11D11D11DDD1DD1D111DD1DD11D11D111:C0CNC1CNC2.2.3.4 dProofs39.txt:1450 13 CCNpNCqCrCsrp DDDD1D11DDD11111DD11DD1DD11D11D1DD1D111:CCN0NC1C2C3.2.0 dProofs39.txt:1565 13 CNCpCqCNCrrst DDDD1DD11D11D11DD1DD1D111DD1DD11D11D111:CNC0C1CNC2.2.3.4 dProofs41.txt:1444 13 CpCNCNCqCrsrt DDD1DD11D11D11DDD1D11DDD11DD1DD11D11D1111:C0CNCNC1C2.3.2.4 dProofs41.txt:1480 13 CpCNCNCqCrrst DDD1DD11D11D11DDDD1DD11D11D11DDD1D11D1111:C0CNCNC1C2.2.3.4 dProofs41.txt:1584 13 CCNCpqNCrpCpq DDD1DD1DDD1DD11D11D1DD1D111D1DD1D1111D111:CCNC0.1NC2.0C0.1 dProofs41.txt:2266 13 CNCpCNCqCrsrt DDDD1DD11D11D11DD1D11DDD11DD1DD11D11D1111:CNC0CNC1C2.3.2.4 dProofs41.txt:2293 13 CNCpCNCqCrrst DDDD1DD11D11D11DDD1DD11D11D11DDD1D11D1111:CNC0CNC1C2.2.3.4 dProofs41.txt:2306 13 CNCNCpCqCrrst DDDD1DD11D11D11DDDD1DD11D11D11DD1D11D1111:CNCNC0C1C2.2.3.4 dProofs41.txt:2307 13 CNCNCCpqCpqrs DDDD1DD11D11D11DDDD1DD11D11D11DDD11D11111:CNCNCC0.1C0.1.2.3 [instance of CNCNCppqr] dProofs41.txt:2308 13 CNCNCCpqCqqrs DDDD1DD11D11D11DDDD1DD11D11D11DDD1D111111:CNCNCC0.1C1.1.2.3 [instance of CNCNCpCqqrs] dProofs43.txt:2015 13 CpCCNqNCrCsrq DDD1D1DDD11D111D1DD1D111DD1DD11D11D1DD1D111:C0CCN1NC2C3.2.1 dProofs43.txt:2183 13 CpCCqCqrCsCqr DDD1DD11D11D1DD1D111D1D1DD1DD11D11D1DD1D111:C0CC1C1.2C3C1.2 dProofs43.txt:2367 13 CCNCpqNCqrCpq DDD1DD1DDD1DD11D11D1DD1D111D1DD1D1111D1D111:CCNC0.1NC1.2C0.1 dProofs45.txt:797 13 CpCNCqCrCNpst DD1DDD1DD11D11D1DD1D111D11DDD11DD1DD11D11D111:C0CNC1C2CN0.3.4 dProofs45.txt:808 13 CpCqCCNrNCspr DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111:C0C1CCN2NC3.0.2 dProofs45.txt:812 13 CpCNCqCNCrpst DDD11DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D111:C0CNC1CNC2.0.3.4 dProofs45.txt:2702 13 CNCCCNCppqrsr DDD1D1DD1DD11D11D11D1DD1DD1D111DD1DD11D11D111:CNCCCNC0.0.1.2.3.2 dProofs45.txt:4741 13 CNCCCNpqrCprs DDDD1DD11D11D11D1DD1D1DD1DD11D11D1DD1D111D111:CNCCCN0.1.2C0.2.3 dProofs45.txt:4809 13 CNCNCCCppqrqs DDDD1DD11D11D11DDD1D1DD1DD11D11D11D1DD1D11111:CNCNCCC0.0.1.2.1.3 dProofs47.txt:257 13 CpCqCNCNCrqst DD11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11:C0C1CNCNC2.1.3.4 dProofs47.txt:952 13 CpCqCrCCstCtt DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D111:C0C1C2CC3.4C4.4 [instance of CpCqCrCsCtt] dProofs47.txt:3922 13 CCCCNpNCpqprr DDD1D1DD1DD11D11D1DD1D111D1DD1DD1DD1D1111D1D111:CCCCN0NC0.1.0.2.2 dProofs49.txt:1429 13 CpCqCCCrrsCts DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111D1DD1D111:C0C1CCC2.2.3C4.3 dProofs49.txt:6083 13 CpCNCqCrCNrst DDD1DD11D11D11DD1D11D1DD1D1DD1DD11D11D1DD1D111D11:C0CNC1C2CN2.3.4 dProofs49.txt:6312 13 CpCNCNCqCrqst DDD1DD11D11D11DDDD1DD11D11D11DD1DD11D11D1DD1D1111:C0CNCNC1C2.1.3.4 dProofs49.txt:9986 13 CNCpCNCqCrqst DDDD1DD11D11D11DDD1DD11D11D11DD1DD11D11D1DD1D1111:CNC0CNC1C2.1.3.4 dProofs51.txt:358 13 CCCpCqCrrsCts D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D11D11:CCC0C1C2.2.3C4.3 dProofs51.txt:2223 13 CpCCNqNCrCspq DDD11DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D11111:C0CCN1NC2C3.0.1 dProofs51.txt:7947 13 CCNpNCCCpqprp DDD1D1DD1D1DDD11D111D1DD1D111D1DD1DD11D11D1DD1D1111:CCN0NCCC0.1.0.2.0 dProofs51.txt:7961 13 CCCCNpNCqrpqq DDD1D1DD1DD11D11D1DD1D111D1DD1D1DDD11D111D1DD1D1111:CCCCN0NC1.2.0.1.1 dProofs51.txt:7963 13 CCCCNpNCqqprr DDD1D1DD1DD11D11D1DD1D111D1DD1DD1DD1D1111D1DD1D1111:CCCCN0NC1.1.0.2.2 dProofs51.txt:8812 13 CpCNCqCNCrsrt DDD1DD11D11D11DD1D1DD1DD11D11D11DD1DD11D11D1DD1D111:C0CNC1CNC2.3.2.4 dProofs51.txt:9180 13 CpCCCqCrrsCts DDD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D11D11:C0CCC1C2.2.3C4.3 dProofs51.txt:9207 13 CpCqCNCrsCNrt DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11DD1DD11D11D11:C0C1CNC2.3CN2.4 dProofs51.txt:13543 13 CCNpNCCCqqrrp DDDD1D11DDD11111DDD1D1DD1DD11D11D1DD1D111D1DD1D1111:CCN0NCCC1.1.2.2.0 dProofs53.txt:2280 13 CpCCCCqrCrrss DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D111:C0CCCC1.2C2.2.3.3 [instance of CpCCCqCrrss] dProofs53.txt:3818 13 CNCpCqCNCrstr DDD1D11DD1DDD1DD11D11D1DD1D111D11DDD11DD1DD11D11D1111:CNC0C1CNC2.3.4.2 dProofs53.txt:3826 13 CNCpCNCqCrstr DDD1D11DDD11DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1111:CNC0CNC1C2.3.4.2 dProofs55.txt:796 13 CCCCCppqqrCsr D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1DD1D111:CCCCC0.0.1.1.2C3.2 dProofs55.txt:2388 13 CpCNCqCNCrstr DD1D11DD1DD1D1DD1DD11D11D1DD1D111D11DDD11DD1DD11D11D111:C0CNC1CNC2.3.4.2 dProofs55.txt:2403 13 CpCNCNCqCrstr DD1D11DDD11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D111:C0CNCNC1C2.3.4.2 dProofs55.txt:4213 13 CpCCNCqrNqCqr DD1DD1DDD1DD11D11D1DD1D111D1DD1D1111DD1DD11D11D1DD1D111:C0CCNC1.2N1C1.2 dProofs55.txt:24985 13 CNCpCqCrCNrst DDDD11DD1DD11D11D111DD1D11D1DD1D1DD1DD11D11D1DD1D111D11:CNC0C1C2CN2.3.4 dProofs55.txt:30721 13 CNCNCpCqCrqst DDDD1DD11D11D11DDDD11DD1DD11D11D111DD1DD11D11D1DD1D1111:CNCNC0C1C2.1.3.4 dProofs57.txt:36443 13 CNCpCqCNCrsrt DDDD11DD1DD11D11D111DD1D1DD1DD11D11D11DD1DD11D11D1DD1D111:CNC0C1CNC2.3.2.4 dProofs57.txt:44857 13 CNCNCCCpqprps DDDD1DD11D11D11DDD1D1DD1DD11D11D11D1DD1DD11D11D1DD1D11111:CNCNCCC0.1.0.2.0.3 dProofs57.txt:44861 13 CNCCCNCpqrpps DDDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1111:CNCCCNC0.1.2.0.0.3 dProofs59.txt:10704 13 CCNpNCqCrCpsp DDD1D11DDD11DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D111111:CCN0NC1C2C0.3.0 dProofs59.txt:34517 13 CNCNCCCppqrsq DDD1D1DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11D1DD1D1111:CNCNCCC0.0.1.2.3.1 dProofs61.txt:11121 13 CpCqCCCrsrCtr DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111D1DD1DD11D11D1DD1D111:C0C1CCC2.3.2C4.2 dProofs61.txt:97570 13 CNCpCqCrCNpst DDDD1DD11D11D11DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D1111:CNC0C1C2CN0.3.4 dProofs61.txt:97573 13 CNCpCqCNCrpst DDDD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D111:CNC0C1CNC2.0.3.4 dProofs63.txt:12229 13 CpCNCqrCsCNqt DD1D1DD1DD11D11D11DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D111:C0CNC1.2C3CN1.4 dProofs63.txt:12230 13 CpCNCqrCNCsqt DD1D1DD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11:C0CNC1.2CNC3.1.4 dProofs63.txt:12252 13 CpCqCNCrCNqst DD1D1DD1DD11D11D1DD1D111DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D11:C0C1CNC2CN1.3.4 dProofs63.txt:12604 13 CpCNCqCrsCNrt DD1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11DD1DD11D11D11:C0CNC1C2.3CN2.4 dProofs63.txt:88437 13 CpCqCrCNCNqst DDD1DD11D11D1DD1D111DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11:C0C1C2CNCN1.3.4 dProofs63.txt:134324 13 CCNpNCCCqrqqp DDDD1D11DDD11111DDD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D1111:CCN0NCCC1.2.1.1.0 dProofs65.txt:2387 13 CCCpCqCrqsCts D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD11DD1DD11D11D1DD1D111:CCC0C1C2.1.3C4.3 dProofs65.txt:130098 13 CpCCCqCrqsCts DDD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD11DD1DD11D11D1DD1D111:C0CCC1C2.1.3C4.3 dProofs67.txt:5083 13 CCCCCpqpprCsr D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D111:CCCCC0.1.0.0.2C3.2 dProofs67.txt:45606 13 CNCCCppNCqqrs DDD11DDDD1DD1D111DDD1D11DDD111111DDD1D1DD1D1DDD11D111D11D1DD1D11111:CNCCC0.0NC1.1.2.3 dProofs67.txt:161794 13 CCCNCNCppqrss DDD1D1DD1DD11D11D1DD1D111D1DD1DD1DD1D111DD1DD11D11D11DD1DD11D11D111:CCCNCNC0.0.1.2.3.3 dProofs67.txt:194014 13 CpCqCCrCrsCrs DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1D1DD1DD11D11D1DD1D111:C0C1CC2C2.3C2.3 dProofs67.txt:293961 13 CCNpNCqCrCsqp DDDD1D11DDD11111DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:CCN0NC1C2C3.1.0 dProofs67.txt:320780 13 CNCpCNCqCrpst DDDD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DDD11DD1DD11D11D1111:CNC0CNC1C2.0.3.4 dProofs67.txt:322137 13 CNCCCNCppqrrs DDDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1DD1DD1D111DD1DD11D11D1111:CNCCCNC0.0.1.2.2.3 dProofs67.txt:324479 13 CNCNCCCppqqrs DDDD1DD11D11D11DDDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1DD1D111111:CNCNCCC0.0.1.1.2.3 dProofs69.txt:38803 13 CpCNCqrCNCrst DD1D1DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D111DDD11DD1DD11D11D111:C0CNC1.2CNC2.3.4 dProofs69.txt:48305 13 CpCqCrCsCtCuu DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DDD1DD11D11D1DD1D111DD1D11D11:C0C1C2C3C4C5.5 dProofs69.txt:54175 13 CpCCCCNqNpqrr DD1DDD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D1111DD1DD11D11D1DD1D111:C0CCCCN1N0.1.2.2 dProofs69.txt:238675 13 CpNCCCNqNpqNp DDD1D1DD1DD11D11D1DD1D111DD1DD1D1DD1DD11D11D1DD1D111D11DDD1DD11D11111:C0NCCCN1N0.1N0 dProofs69.txt:511775 13 CCCNCppqNCppr DDDD1DD1D111DDD1D11DDD111111DDD1D1DD1DD11D11D11D1DD1DD11D11D1DD1D1111:CCCNC0.0.1NC0.0.2 [instance of CCCNCppqNCrrs] dProofs71.txt:42614 13 CpCCCCqrsrCqr DD1D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0CCCC1.2.3.2C1.2 dProofs71.txt:58318 13 CpCqCCCNprNps DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1DD11D11D1DD1D111:C0C1CCCN0.2N0.3 dProofs71.txt:68883 13 CpCqCCCrstCst DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111D1DDD1DD11D11D1DD1D111D1DD1D111:C0C1CCC2.3.4C3.4 dProofs71.txt:79371 13 CpCqCNCrCNrst DD1DDD1DD11D11D1DD1D111DD1D11D1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11:C0C1CNC2CN2.3.4 dProofs71.txt:355461 13 CCCNCNCpqrspp DDD1D1DD1DD11D11D1DD1D111D1DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D111:CCCNCNC0.1.2.3.0.0 dProofs71.txt:356634 13 CNCNCCCpqprsp DDD1D1DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11D1DD1DD11D11D1DD1D1111:CNCNCCC0.1.0.2.3.0 dProofs73.txt:101823 13 CpCqCrCCCsstt DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D1DD1DD11D11D1DD1D111D1DD1D111:C0C1C2CCC3.3.4.4 dProofs73.txt:116554 13 CpCqCNCNCrsrt DD1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11DD1DD11D11D1DD1D111DD1DD11D11D11:C0C1CNCNC2.3.2.4 dProofs73.txt:635511 13 CpCCCqCrsrCtr DDD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:C0CCC1C2.3.2C4.2 dProofs73.txt:1144636 13 CCCNCppqNCrrs DDDD1DD1D111DDD1D11DDD111111DDD1D1DD1DD11D11D11D1DD1DD1D111DD1DD11D11D111:CCCNC0.0.1NC2.2.3 dProofs73.txt:1160849 13 CCCppNCNCqqrs DDDD1DD1DD1D111DD1DD11D11D11DDD1D11DDD111111DDD1D1DD1DD11D11D11D1DD1D1111:CCC0.0NCNC1.1.2.3 dProofs75.txt:114918 13 CpCCCqCrCsstt DD1D1DD1DD11D11D1DD1D111D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D11D11:C0CCC1C2C3.3.4.4 dProofs75.txt:151814 13 CpCqCrCNCNpst DD1DD1D1DD1DD11D11D1DD1D111D11DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D111:C0C1C2CNCN0.3.4 dProofs75.txt:167735 13 CpCqCNCNCrpst DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11:C0C1CNCNC2.0.3.4 dProofs75.txt:785740 13 CCCpCCqrCrrss DDD1D1DD1DD11D11D1DD1D111D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D1111:CCC0CC1.2C2.2.3.3 [instance of CCCpCqCrrss] dProofs75.txt:951771 13 CpCqCCCrCsstt DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D11D11:C0C1CCC2C3.3.4.4 dProofs75.txt:1595740 13 CNCNCpCqCrsrt DDDD1DD11D11D11DDD1D11DD1DDD1DD11D11D1DD1D111D1DD1D111DDD11DD1DD11D11D11111:CNCNC0C1C2.3.2.4 dProofs77.txt:24872 13 CCCpCqCrpsCts D1DDD1DD11D11D1DD1D111DD11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:CCC0C1C2.0.3C4.3 dProofs77.txt:1166948 13 CNCCCpCNpqrsr DDD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D11D1DD1D1DD1DD11D11D1DD1D111D111:CNCCC0CN0.1.2.3.2 dProofs77.txt:1167451 13 CCCCCppqCrqss DDD1D1DD1DD11D11D1DD1D111D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111D1DD1D1111:CCCCC0.0.1C2.1.3.3 dProofs79.txt:24362 13 CCCNpqrCNCpsr D1DD1D1DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D111DD1DD11D11D11:CCCN0.1.2CNC0.3.2 dProofs79.txt:245953 13 CpCCCCCqqrrss DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1DD1D111:C0CCCCC1.1.2.2.3.3 dProofs79.txt:1745763 13 CNCCCNCpqprsr DDD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11DD1DD11D11D1DD1D1111:CNCCCNC0.1.0.2.3.2 dProofs79.txt:1745928 13 CNCpqCCCrrNps DDD1D1DD1DD11D11D11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D1111:CNC0.1CCC2.2N0.3 dProofs79.txt:1746321 13 CCCNCpqCNprss DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11DD1DD11D11D111:CCCNC0.1CN0.2.3.3 dProofs79.txt:1746427 13 CCCppNCqrCNqs DDD1D1DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D111DD1DD11D11D111:CCC0.0NC1.2CN1.3 dProofs79.txt:3617273 13 CNCNCCCpqpprs DDDD1DD11D11D11DDDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D111111:CNCNCCC0.1.0.0.2.3 dProofs81.txt:373211 13 CpCqNNCCNrNpr DD1D1DDD11D111D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0C1NNCCN2N0.2 dProofs81.txt:525387 13 CpCNCNCqCrpst DD1DDD1DD11D11D1DD1D111D1DD1D111DDD11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D111:C0CNCNC1C2.0.3.4 dProofs81.txt:2602064 13 CCpCqCprCqCpr DDD1D1DD1DD11D11D1DD1D111D1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D1111:CC0C1C0.2C1C0.2 dProofs83-unfiltered83+.txt:3368566 13 CpCqCrCsCtCut DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DDD1DD11D11D1DD1D111DD11DD1DD11D11D1DD1D111:C0C1C2C3C4C5.4 dProofs83-unfiltered83+.txt:18727695 13 CNCNCpCqCrpst DDDD1DD11D11D11DDDD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D11111:CNCNC0C1C2.0.3.4 dProofs83-unfiltered83+.txt:21405146 13 CCCppNCqCNqrs DDDDD1D11DDD11111DDD1D11D1DD1D1DD1DD11D11D1DD1D111D111DDD1D1DD1DD11D11D11D1DD1D1111:CCC0.0NC1CN1.2.3 dProofs85-unfiltered83+.txt:1017258 13 CCCpCqCrsrCtr D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:CCC0C1C2.3.2C4.2 dProofs85-unfiltered83+.txt:6888735 13 CpCqCrCCCstss DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D111:C0C1C2CCC3.4.3.3 dProofs85-unfiltered83+.txt:6958061 13 CpCCNqNNNCrrq DD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DDDD1DD1D111DD1DD11D11D1111:C0CCN1NNNC2.2.1 dProofs85-unfiltered83+.txt:18860863 13 CpCNCNCqrCsqt DDD1DD11D11D11DDD1D1DD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D1111:C0CNCNC1.2C3.1.4 dProofs85-unfiltered83+.txt:19440756 13 CpNNCqCCrsCrs DDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111DD11D11:C0NNC1CC2.3C2.3 [instance of CpNNCqCrr] dProofs85-unfiltered83+.txt:19440757 13 CpNNCqCCrsCss DDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111DD1D111:C0NNC1CC2.3C3.3 [instance of CpNNCqCrCss] dProofs85-unfiltered83+.txt:32103804 13 CNCpCNCqrCsqt DDDD1DD11D11D11DD1D1DD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D1111:CNC0CNC1.2C3.1.4 dProofs85-unfiltered83+.txt:34354982 13 CCCNCpqrNCpqp DDDD1DD1DDD1DD11D11D1DD1D111D1DD1D1111D1D111DDD1D1DD1DD11D11D11D1DD1DD11D11D1DD1D1111:CCCNC0.1.2NC0.1.0 dProofs85-unfiltered83+.txt:36728047 13 CCCppNCNCqrqs DDDDD1D11DDD11111DDD1D1DD1DD11D11D11DD1DD11D11D1DD1D1111DDD1D1DD1DD11D11D11D1DD1D1111:CCC0.0NCNC1.2.1.3 dProofs87-unfiltered83+.txt:14640218 13 CNCpCqrCsCNqt DD1DD1D11DDD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D1111DD1DD11D11D11:CNC0C1.2C3CN1.4 dProofs87-unfiltered83+.txt:14640686 13 CpCqCCNrNNNpr DD1DD1D1DD1DD11D11D1DD1D111D11D1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11:C0C1CCN2NNN0.2 dProofs87-unfiltered83+.txt:15418937 13 CpNNCCNqNCrpq DDD11DD1D1DDD11D111D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D11111:C0NNCCN1NC2.0.1 dProofs87-unfiltered83+.txt:32295639 13 CpCNCNCqrCrst DDD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DDD1DD1DDD1DD11D11D1DD1D111D1DD1D1111D111:C0CNCNC1.2C2.3.4 dProofs87-unfiltered83+.txt:32889930 13 CpCNCCNqNNqqr DDD1DD11D11D11DDD1DD1D1DDD11D111D1DD1D111D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D111:C0CNCCN1NN1.1.2 dProofs87-unfiltered83+.txt:33326227 13 CpCCCqrNrCsNr DDD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0CCC1.2N2C3N2 dProofs87-unfiltered83+.txt:33342881 13 CpCqCrCNCNrst DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11:C0C1C2CNCN2.3.4 dProofs87-unfiltered83+.txt:33343425 13 CpCqCNCNCrstr DDD1DD11D11D1DD1D111DD1D1DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11DD1DD11D11D1DD1D111:C0C1CNCNC2.3.4.2 dProofs87-unfiltered83+.txt:33570628 13 CpNNCCCqqrCsr DDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111D1DD1D111:C0NNCCC1.1.2C3.2 dProofs87-unfiltered83+.txt:36963802 13 CCNpNNNCqCrrp DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DDDD1DD11D11D11DDD1D11D11111:CCN0NNNC1C2.2.0 dProofs87-unfiltered83+.txt:52669201 13 CNCpCCNqNNqqr DDDD1DD11D11D11DD1DD1D1DDD11D111D1DD1D111D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D111:CNC0CCN1NN1.1.2 dProofs89-unfiltered83+.txt:23202699 13 CpCCCqCrCsrtt DD1D1DD1DD11D11D1DD1D111D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD11DD1DD11D11D1DD1D111:C0CCC1C2C3.2.4.4 dProofs89-unfiltered83+.txt:29930496 13 CNCNCpCqCrstr DDD1D11DD1DDD1DD11D11D1DD1D111D1DD1D111DDD11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D1111:CNCNC0C1C2.3.4.2 dProofs89-unfiltered83+.txt:51207442 13 CNCCNpCqprCqp DDD1D1DD1DD11D11D11D1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D11111:CNCCN0C1.0.2C1.0 dProofs89-unfiltered83+.txt:51219556 13 CCCCCpqpCrpss DDD1D1DD1DD11D11D1DD1D111D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111D1DD1DD11D11D1DD1D1111:CCCCC0.1.0C2.0.3.3 dProofs89-unfiltered83+.txt:54723907 13 CpCNCqCNrCrst DDD1DD11D11D11DD1DD1D111DDD1D1DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111DD1DD11D11D111:C0CNC1CN2C2.3.4 dProofs89-unfiltered83+.txt:56322753 13 CpCqCCCrCsrtt DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD11DD1DD11D11D1DD1D111:C0C1CCC2C3.2.4.4 dProofs89-unfiltered83+.txt:86404893 13 CNCCCppNCqrqs DDDD1DD11D11D11DDDD1DD1DDD1DD11D11D1DD1D111D1DD1D1111D1D111DDD1D1DD1DD11D11D11D1DD1D11111:CNCCC0.0NC1.2.1.3 dProofs89-unfiltered83+.txt:90775560 13 CCCNCppqNCrsr DDDD1DD1DDD1DD11D11D1DD1D111D1DD1D1111D1D111DDD1D1DD1DD11D11D11D1DD1DD1D111DD1DD11D11D111:CCCNC0.0.1NC2.3.2 dProofs91-unfiltered83+.txt:36212794 13 CpCCCCCqrqqss DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D111:C0CCCCC1.2.1.1.3.3 dProofs91-unfiltered83+.txt:45742627 13 CpNNCqCCNrNpr DDD1D11D1DD11DD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D11111:C0NNC1CCN2N0.2 dProofs91-unfiltered83+.txt:108280360 13 NNCpCqCCrsCss DDDD11DD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D11111DD1D111:NNC0C1CC2.3C3.3 [instance of NNCpCqCrCss] dProofs91-unfiltered83+.txt:133348522 13 CNCpCNCqrCrst DDDD1DD11D11D11DD1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111DDD11DD1DD11D11D1111:CNC0CNC1.2C2.3.4 dProofs93-unfiltered83+.txt:47580897 13 CpCqCCCNqrNqs DD1D11D1DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1DD11D11D1DD1D111:C0C1CCCN1.2N1.3 dProofs93-unfiltered83+.txt:60384452 13 CNCpCqrCNCsqt DD1DD1D11DDD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D1111DDD11DD1DD11D11D111:CNC0C1.2CNC3.1.4 dProofs93-unfiltered83+.txt:63265380 13 CNCCNpNCqNrpr DDD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD11DD1DD1D11D1DD1D1DD1DD11D11D1DD1D111D11DDD1DD11D11111:CNCCN0NC1N2.0.2 dProofs93-unfiltered83+.txt:63265381 13 CNCpCCNqNNrqr DDD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D11D1DD11DD1DD1D1DD1DD11D11D1DD1D111D11DDD1DD11D11111:CNC0CCN1NN2.1.2 dProofs93-unfiltered83+.txt:63346026 13 CpCCNqNNNCrpq DDD11DD1DD1D1DD1DD11D11D1DD1D111D11D1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D111:C0CCN1NNNC2.0.1 dProofs93-unfiltered83+.txt:128559003 13 CCCpCqCrCsstt DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DDD1DD11D11D11DD1D11D111:CCC0C1C2C3.3.4.4 dProofs93-unfiltered83+.txt:141160298 13 CpNNCqCCNrNqr DDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111DDD1D11DDD11111:C0NNC1CCN2N1.2 dProofs93-unfiltered83+.txt:151819976 13 CpNNCCNqNCrrq DDD1DD1D111DD1D1DDD11D111D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D11111:C0NNCCN1NC2.2.1 dProofs93-unfiltered83+.txt:171268236 13 NNCpCCCqqrCsr DDDD11DD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D11111D1DD1D111:NNC0CCC1.1.2C3.2 dProofs93-unfiltered83+.txt:190030669 13 CCNpNCqCrNNqp DDDD1D11DDD11111DD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:CCN0NC1C2NN1.0 dProofs93-unfiltered83+.txt:217242231 13 NNCpCqCCNrNqr DDDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111DD1D11DDD11111:NNC0C1CCN2N1.2 dProofs95-unfiltered83+.txt:90015155 13 CpCqCNrCNCrst DD1D1DD1DDD1DD11D11D1DD1D111D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111DD1DD11D11D11:C0C1CN2CNC2.3.4 dProofs95-unfiltered83+.txt:95443423 13 CpCqCrCsCtCus DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:C0C1C2C3C4C5.3 dProofs95-unfiltered83+.txt:100893709 13 CNNCCpqCqrCqr DD1DDD1DD11D11D1DD1D111D1DD1D111DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11D111:CNNCC0.1C1.2C1.2 dProofs95-unfiltered83+.txt:109711705 13 CNNNCpCqCNprs DDD11DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DDDD1DD11D11D11DD1DD11D11D11111:CNNNC0C1CN0.2.3 dProofs95-unfiltered83+.txt:203658839 13 CCCCpCpqCpqrr DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1D1DD1DD11D11D1DD1D1111:CCCC0C0.1C0.1.2.2 dProofs95-unfiltered83+.txt:244508391 13 CCNpNNNCqCrqp DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DDDD1DD11D11D11DD1DD11D11D1DD1D11111:CCN0NNNC1C2.1.0 dProofs95-unfiltered83+.txt:269664687 13 CNCpCqCNrCrst DDDD11DD1DD11D11D111DD1DD1D111DDD1D1DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111DD1DD11D11D111:CNC0C1CN2C2.3.4 dProofs95-unfiltered83+.txt:334921845 13 NNCCNpNCqCrrp DDDD1D1DDD11D111D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111DDD1D11D1111:NNCCN0NC1C2.2.0 dProofs17.txt:12 14 CpCqCNCCNrNprs DD1D1DDD11D111D11:C0C1CNCCN2N0.2.3 dProofs21.txt:38 14 CpCNCqCCrsCrst DDD1DD11D11D11DD11D11:C0CNC1CC2.3C2.3.4 [instance of CpCNCqCrrs] dProofs21.txt:39 14 CpCNCqCCrsCsst DDD1DD11D11D11DD1D111:C0CNC1CC2.3C3.3.4 [instance of CpCNCqCrCsst] dProofs23.txt:29 14 CpCNCCNqNCrpqs DDD11DD1D1DDD11D111D111:C0CNCCN1NC2.0.1.3 dProofs23.txt:57 14 CNCCCpqCqrsCqr DDD1D1DD1DD11D11D11D111:CNCCC0.1C1.2.3C1.2 dProofs23.txt:62 14 CpCNCCCqqrCsrt DDD1DD11D11D11D1DD1D111:C0CNCCC1.1.2C3.2.4 dProofs25.txt:82 14 CNCCCpqCrpsCrp DDD1D1DD1DD11D11D11D1D111:CNCCC0.1C2.0.3C2.0 dProofs27.txt:58 14 CpCNCqCCNrNprs DDD1D11D1DD11DD1DD11D11D111:C0CNC1CCN2N0.2.3 dProofs27.txt:172 14 CNCpCqCCrsCsst DDDD11DD1DD11D11D111DD1D111:CNC0C1CC2.3C3.3.4 [instance of CNCpCqCrCsst] dProofs29.txt:30 14 CpCNCCNqNCrrqs DD11DDD1DD1D111DD1DDD1111D111:C0CNCCN1NC2.2.1.3 dProofs29.txt:193 14 CpCNCqCCNrNqrs DDD1DD11D11D11DDD1D11DDD11111:C0CNC1CCN2N1.2.3 dProofs29.txt:232 14 CNCpCCCqqrCsrt DDDD11DD1DD11D11D111D1DD1D111:CNC0CCC1.1.2C3.2.4 dProofs29.txt:262 14 CCNpNCqCrCNqsp DDDD1D11DDD11111DD1DD11D11D11:CCN0NC1C2CN1.3.0 dProofs29.txt:279 14 CNCpCqCCNrNqrs DDDD1DD11D11D11DD1D11DDD11111:CNC0C1CCN2N1.2.3 dProofs31.txt:92 14 CNCCNpNCqCrrps DDD11DDD1DDD1111D11DDD1D11D1111:CNCCN0NC1C2.2.0.3 dProofs31.txt:100 14 CNCCNpNCqCrspr DDD1D11DDD11DD1D1DDD11D111D1111:CNCCN0NC1C2.3.0.2 dProofs35.txt:108 14 CpCNCCNqNpqCrs DD1D1DD1D1DD1DD11D11D1DD1D111D11D11:C0CNCCN1N0.1C2.3 [instance of CpCNCCNqNpqr] dProofs35.txt:174 14 CNCpCCNqNCrsqr DDD1D11DDD1D11D1DD11DD1DD11D11D1111:CNC0CCN1NC2.3.1.2 dProofs35.txt:479 14 CpCNCCCqrqCsqt DDD1DD11D11D11D1DD1DD11D11D1DD1D111:C0CNCCC1.2.1C3.1.4 dProofs35.txt:510 14 CpCCCNCqrsqCtq DDD1DD11D11D1DD1D111D1DD1DD11D11D11:C0CCCNC1.2.3.1C4.1 dProofs35.txt:696 14 CCNpNCqCNCrqsp DDDD1D11DDD11111DDD11DD1DD11D11D111:CCN0NC1CNC2.1.3.0 dProofs37.txt:105 14 CpCqCNCCNrNqrs DD1D11D1D1DD1D1DD1DD11D11D1DD1D111D11:C0C1CNCCN2N1.2.3 dProofs37.txt:698 14 CpCNCCNqNCqrqs DDD1DD11D11D11DDD1D11DDD1D11DDD111111:C0CNCCN1NC1.2.1.3 dProofs37.txt:1063 14 CNCpCCNqNCqrqs DDDD1DD11D11D11DD1D11DDD1D11DDD111111:CNC0CCN1NC1.2.1.3 dProofs39.txt:66 14 CCCpCNCqprsCts D1DDD1DD11D11D1DD1D111DD11DD1DD11D11D11:CCC0CNC1.0.2.3C4.3 dProofs39.txt:303 14 CNCCNpNCqCrqps DDD11DDD1DDD1111D11DD1DD11D11D1DD1D1111:CNCCN0NC1C2.1.0.3 dProofs39.txt:1091 14 CNCpCCNqNCrrqs DDD1DD1D111DDD1D11D1DD11DD1DD11D11D1111:CNC0CCN1NC2.2.1.3 dProofs39.txt:1548 14 CNCCpCpqCrCpqs DDDD1DD11D11D11D1D1DD1DD11D11D1DD1D1111:CNCC0C0.1C2C0.1.3 dProofs39.txt:1563 14 CNCpCqCCNrNprs DDDD1DD11D11D11DD1D1DDD11D111D1DD1D1111:CNC0C1CCN2N0.2.3 dProofs41.txt:282 14 CpCNCCNqNCrsqr DD1D1DD1D1DDD11D111D11DD1DD11D11D1DD1D111:C0CNCCN1NC2.3.1.2 dProofs41.txt:285 14 CpCNCCqCqrsCqr DD1D1DD1DD11D11D11D1D1DD1DD11D11D1DD1D111:C0CNCC1C1.2.3C1.2 dProofs41.txt:290 14 CpCNCqrCCNsNqs DD1D1DD1DD11D11D11DD1D1DDD11D111D1DD1D111:C0CNC1.2CCN3N1.3 dProofs41.txt:375 14 CpCCNqNCNCrrsq DD1DD1DD1D111DD1DD11D11D11DDD1D11DDD11111:C0CCN1NCNC2.2.3.1 dProofs41.txt:385 14 CpCCNqNCrCNpsq DD1DDD1DD11D11D1DD1D111D11DDD1D11DDD11111:C0CCN1NC2CN0.3.1 dProofs41.txt:1844 14 CNCpCCCqrqCsqt DDDD11DD1DD11D11D111D1DD1DD11D11D1DD1D111:CNC0CCC1.2.1C3.1.4 dProofs41.txt:2142 14 CCNpNCqCNCrrsp DDDD1D11DDD11111DDD1DD1D111DD1DD11D11D111:CCN0NC1CNC2.2.3.0 dProofs43.txt:290 14 CpCNCqCrCsCttu DD11DDDD11DD1D1DDD11D111D1DD1D1111DD1D11D11:C0CNC1C2C3C4.4.5 dProofs43.txt:485 14 CpCqCCNrNCNqsr DD1DD1DD1D1111D1DD1D1DD1DD11D11D1DD1D111D11:C0C1CCN2NCN1.3.2 dProofs43.txt:542 14 CpCqCNCCrsCsst DD1DDD1DD11D11D1DD1D111DD1D111DD1DD11D11D11:C0C1CNCC2.3C3.3.4 [instance of CpCqCNCrCsst] dProofs43.txt:2203 14 CpCqCNCrCsCttu DDD1DD11D11D1DD1D111DDD1DD11D11D11DD1D11D11:C0C1CNC2C3C4.4.5 dProofs43.txt:3138 14 CCNpNCNCqCrsrp DDDD1D11DDD11111DDD1D11DDD11DD1DD11D11D1111:CCN0NCNC1C2.3.2.0 dProofs43.txt:3174 14 CCNpNCNCqCrrsp DDDD1D11DDD11111DDDD1DD11D11D11DDD1D11D1111:CCN0NCNC1C2.2.3.0 dProofs45.txt:149 14 CCCpCNCqqrsCts D1DDD1DD11D11D1DD1D111DD1DD1D111DD1DD11D11D11:CCC0CNC1.1.2.3C4.3 dProofs45.txt:2939 14 CpCNCCCqrsCrst DDD1DD11D11D11D1DDD1DD11D11D1DD1D111D1DD1D111:C0CNCCC1.2.3C2.3.4 dProofs45.txt:3097 14 CpCCCNCqqrsCts DDD1DD11D11D1DD1D111D1DD1DD1D111DD1DD11D11D11:C0CCCNC1.1.2.3C4.3 dProofs45.txt:3099 14 CpCCCqCNrstCrt DDD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111D11:C0CCC1CN2.3.4C2.4 dProofs45.txt:4783 14 CNCpCCNqNCrpqs DDDD1DD11D11D11DDD11DD1D1DDD11D111D1DD1D11111:CNC0CCN1NC2.0.1.3 dProofs45.txt:4810 14 CNCCCpqCqrCqrs DDDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1111:CNCCC0.1C1.2C1.2.3 dProofs45.txt:4848 14 CNCNCpCqCNprst DDDD1DD11D11D11DDDD1DD11D11D11DD1DD11D11D1111:CNCNC0C1CN0.2.3.4 dProofs47.txt:213 14 CCCpCNCqrsqCtq D1DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D111:CCC0CNC1.2.3.1C4.1 dProofs47.txt:215 14 CCCNCpCqrsqCtq D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11:CCCNC0C1.2.3.1C4.1 dProofs47.txt:218 14 CCCNCpCqrqsCts D1DD1DDD1DD11D11D1DD1D111DD11DD1DD11D11D11D1D11:CCCNC0C1.2.1.3C4.3 dProofs47.txt:219 14 CCCNCpCqqrsCts D1DD1DDD1DD11D11D1DD1D111DD1D11D11DD1DD11D11D11:CCCNC0C1.1.2.3C4.3 dProofs47.txt:4306 14 CpCNCqCCCrrsst DDD1DD11D11D11DD1D1DD1DD11D11D1DD1D111D1DD1D111:C0CNC1CCC2.2.3.3.4 dProofs47.txt:4387 14 CpCNCNCqrCNqst DDD1DD11D11D11DDD1D1DD1DD11D11D11DD1DD11D11D111:C0CNCNC1.2CN1.3.4 dProofs47.txt:4502 14 CpCqCNCCCrrsts DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D111:C0C1CNCCC2.2.3.4.3 dProofs47.txt:6889 14 CNCCCpCqqrCsrt DDDD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D11D111:CNCCC0C1.1.2C3.2.4 dProofs47.txt:6928 14 CNCpCNCqrCNqst DDDD1DD11D11D11DD1D1DD1DD11D11D11DD1DD11D11D111:CNC0CNC1.2CN1.3.4 dProofs47.txt:6981 14 CNCCCpqCrpCrps DDDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1D1111:CNCCC0.1C2.0C2.0.3 dProofs49.txt:1186 14 CpCNCCCqCrrsts DD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D11D11:C0CNCCC1C2.2.3.4.3 dProofs49.txt:1943 14 CCNpNCqCNCprsp DDD1D11DD1DDD1DD11D11D1DD1D111D11DDD1D11DDD111111:CCN0NC1CNC0.2.3.0 dProofs49.txt:5515 14 CNCCCCpqCqqrsr DDD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D1111:CNCCCC0.1C1.1.2.3.2 [instance of CNCCCpCqqrsr] dProofs49.txt:8124 14 CNCpCqCrCsCttu DDDD11DD1DD11D11D111DDD1DD11D11D1DD1D111DD1D11D11:CNC0C1C2C3C4.4.5 dProofs51.txt:1210 14 CpCCNqNCNCqrsq DD1D11DD1DD1D1DD1DD11D11D1DD1D111D11DDD1D11DDD11111:C0CCN1NCNC1.2.3.1 dProofs51.txt:11794 14 CNCpCCCqrsCrst DDDD11DD1DD11D11D111D1DDD1DD11D11D1DD1D111D1DD1D111:CNC0CCC1.2.3C2.3.4 dProofs51.txt:13400 14 CCNpNCqCrCNrsp DDDD1D11DDD11111DD1D11D1DD1D1DD1DD11D11D1DD1D111D11:CCN0NC1C2CN2.3.0 dProofs51.txt:13638 14 CCNpNCNCqCrqsp DDDD1D11DDD11111DDDD1DD11D11D11DD1DD11D11D1DD1D1111:CCN0NCNC1C2.1.3.0 dProofs51.txt:14560 14 CNCNCpCNCqprst DDDD1DD11D11D11DDDD1DD11D11D11DDD11DD1DD11D11D11111:CNCNC0CNC1.0.2.3.4 dProofs53.txt:554 14 CCCpCqCNprsCts D1DDD1DD11D11D1DD1D111DD1D11D1DDD1DD11D11D1DD1D111D11:CCC0C1CN0.2.3C4.3 dProofs53.txt:2927 14 CpCqCCNrNCNpsr DD1DD1D1DD1DD11D11D1DD1D111D11DD1D1DDD11D111D1DD1D111:C0C1CCN2NCN0.3.2 dProofs53.txt:16993 14 CNCpCqCCCrrsst DDDD11DD1DD11D11D111DD1D1DD1DD11D11D1DD1D111D1DD1D111:CNC0C1CCC2.2.3.3.4 dProofs53.txt:19319 14 CCNpNCqCNCrsrp DDDD1D11DDD11111DD1D1DD1DD11D11D11DD1DD11D11D1DD1D111:CCN0NC1CNC2.3.2.0 dProofs53.txt:20845 14 CNCCNpNCqCprps DDDD1DD11D11D11DDD1D11DDD11DD1D1DDD11D111D1DD1D111111:CNCCN0NC1C0.2.0.3 dProofs55.txt:836 14 CCCNCpCqprsCts D1DDD1DD11D11D1DD1D111DDD1DD11D11D11DD1DD11D11D1DD1D111:CCCNC0C1.0.2.3C4.3 dProofs55.txt:33766 14 CCCppNCqCrCsst DDDDD1D11DDD11111DD1D11D11DDD1D1DD1DD11D11D11D1DD1D1111:CCC0.0NC1C2C3.3.4 dProofs55.txt:33767 14 CCCppNCCqrCqrs DDDDD1D11DDD11111DDD11D111DDD1D1DD1DD11D11D11D1DD1D1111:CCC0.0NCC1.2C1.2.3 [instance of CCCppNCqqr] dProofs55.txt:33768 14 CCCppNCCqrCrrs DDDDD1D11DDD11111DDD1D1111DDD1D1DD1DD11D11D11D1DD1D1111:CCC0.0NCC1.2C2.2.3 [instance of CCCppNCqCrrs] dProofs57.txt:3038 14 CpCNCqCrCsCtsu DD11DDDD11DD1D1DDD11D111D1DD1D1111DD11DD1DD11D11D1DD1D111:C0CNC1C2C3C4.3.5 dProofs57.txt:5490 14 CpCqCrCsCNCtsu DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD11DD1DD11D11D11:C0C1C2C3CNC4.3.5 dProofs57.txt:27507 14 CpCNCNCNCqqrst DDD1DD11D11D11DDDD1DD11D11D11DDDD1DD1D111DD1DD11D11D11111:C0CNCNCNC1.1.2.3.4 dProofs57.txt:27791 14 CpCqCNCrCsCtsu DDD1DD11D11D1DD1D111DDD1DD11D11D11DD11DD1DD11D11D1DD1D111:C0C1CNC2C3C4.3.5 dProofs57.txt:44962 14 CNCpCNCNCqqrst DDDD1DD11D11D11DDD1DD11D11D11DDDD1DD1D111DD1DD11D11D11111:CNC0CNCNC1.1.2.3.4 dProofs57.txt:45187 14 CNCNCpCNCqqrst DDDD1DD11D11D11DDDD1DD11D11D11DDD1DD1D111DD1DD11D11D11111:CNCNC0CNC1.1.2.3.4 dProofs59.txt:489 14 CCCCNpNNqpqCrq D1D1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11:CCCCN0NN1.0.1C2.1 dProofs59.txt:6187 14 CpCNCqCCCrrsts DD1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11D1DD1D111:C0CNC1CCC2.2.3.4.3 dProofs59.txt:8783 14 CpCCNqNCNCrpsq DDD11DD1DD1D1DD1DD11D11D1DD1D111D11DD1D1DDD11D111D1DD1D1111:C0CCN1NCNC2.0.3.1 dProofs59.txt:34438 14 CNCpqCrCCNsNps DDD1D1DD1DD11D11D11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111:CNC0.1C2CCN3N0.3 dProofs59.txt:34442 14 CNCpqCNCrCNpst DDD1D1DD1DD11D11D11DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D111:CNC0.1CNC2CN0.3.4 dProofs59.txt:34554 14 CNCpCNCqrsCNqt DDD1D1DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D11DD1DD11D11D111:CNC0CNC1.2.3CN1.4 dProofs59.txt:38910 14 CpCNCqCCCrsrrt DDD1DD11D11D11DD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D111:C0CNC1CCC2.3.2.2.4 dProofs59.txt:40730 14 CpCqCNCCCrsrtr DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1DD11D11D1DD1D111:C0C1CNCCC2.3.2.4.2 dProofs59.txt:40734 14 CpCqCCCNCrstrr DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D11:C0C1CCCNC2.3.4.2.2 dProofs59.txt:65958 14 CNCpCqCNCNprst DDDD1DD11D11D11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D111:CNC0C1CNCN0.2.3.4 dProofs59.txt:66770 14 CNCNCNCpCqrqst DDDD1DD11D11D11DDDD1DD11D11D11DDD1D11DDD11DD1DD11D11D111111:CNCNCNC0C1.2.1.3.4 dProofs59.txt:66805 14 CNCNCNCpCqqrst DDDD1DD11D11D11DDDD1DD11D11D11DDDD1DD11D11D11DDD1D11D111111:CNCNCNC0C1.1.2.3.4 dProofs61.txt:8749 14 CpCNCqrCNCNqst DD1D1DD1DD11D11D11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11:C0CNC1.2CNCN1.3.4 dProofs61.txt:8937 14 CpCNCNCqrsCNqt DD1D1DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11DD1DD11D11D11:C0CNCNC1.2.3CN1.4 dProofs61.txt:52964 14 CpCCNqNCrCNrsq DDD1D1DDD11D111D1DD1D111DDD1D11D1DD1D1DD1DD11D11D1DD1D111D111:C0CCN1NC2CN2.3.1 dProofs61.txt:96979 14 CNCCCpCqprCsrt DDDD1DD11D11D11D1DDD1DD11D11D1DD1D111DD11DD1DD11D11D1DD1D1111:CNCCC0C1.0.2C3.2.4 dProofs63.txt:2949 14 CpCqCCCrrNCsqt DD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D111:C0C1CCC2.2NC3.1.4 dProofs63.txt:12154 14 CpCNCCCqCrqsts DD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD11DD1DD11D11D1DD1D111:C0CNCCC1C2.1.3.4.3 dProofs63.txt:12250 14 CpCCCqCNCrqstt DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD11DD1DD11D11D11:C0CCC1CNC2.1.3.4.4 dProofs63.txt:15535 14 CpCqCrCsCNCttu DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1DD1D111DD1DD11D11D11:C0C1C2C3CNC4.4.5 dProofs63.txt:78328 14 CpCCNqNCNCrsrq DDD1D1DDD11D111D1DD1D111DDD1D1DD1DD11D11D11DD1DD11D11D1DD1D1111:C0CCN1NCNC2.3.2.1 dProofs63.txt:85643 14 CpCNCCqCqrCqrs DDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1D1DD1DD11D11D1DD1D1111:C0CNCC1C1.2C1.2.3 dProofs63.txt:118950 14 CNCpCqCrCsCtsu DDDD11DD1DD11D11D111DDD1DD11D11D1DD1D111DD11DD1DD11D11D1DD1D111:CNC0C1C2C3C4.3.5 dProofs63.txt:144764 14 CNCpCCqCqrCqrs DDDD1DD11D11D11DD1D1DD1DD11D11D1DD1D111D1D1DD1DD11D11D1DD1D1111:CNC0CC1C1.2C1.2.3 dProofs65.txt:23035 14 CpCqCrCNCsCtut DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D11DDD11DD1DD11D11D111:C0C1C2CNC3C4.5.4 dProofs65.txt:23049 14 CpCqCrCNCsCttu DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DDD1DD11D11D11DDD1D11D111:C0C1C2CNC3C4.4.5 dProofs65.txt:108984 14 CNCpqCCNrNCspr DDD1D1DD1DD11D11D11DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D11111:CNC0.1CCN2NC3.0.2 dProofs65.txt:109172 14 CNCpqCCNrNCqsr DDD1D1DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D111DDD11DD1DD11D11D1111:CNC0.1CCN2NC1.3.2 dProofs65.txt:174795 14 CNCpCqCCCrsrrt DDDD11DD1DD11D11D111DD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D111:CNC0C1CCC2.3.2.2.4 dProofs65.txt:215087 14 CNCpCNCqCNprst DDDD1DD11D11D11DD1DD1D1DD1DD11D11D1DD1D111D11DDD11DD1DD11D11D1111:CNC0CNC1CN0.2.3.4 dProofs65.txt:215150 14 CNCpCNCNCqprst DDDD1DD11D11D11DDD11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D1111:CNC0CNCNC1.0.2.3.4 dProofs67.txt:33821 14 CpCCNqNNCCrrqq DD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11D1DD1D111:C0CCN1NNCC2.2.1.1 dProofs67.txt:46621 14 CCCNCCpqrsqCpq DDD1D11DD1DDD1DD11D11D1DD1D111D11DD1DDD1DD11D11D1DD1D111D1DD1D11111:CCCNCC0.1.2.3.1C0.1 dProofs67.txt:46738 14 CCNpNCNCqCprsp DDD1D11DDD11DD1DD1D1DD1DD11D11D1DD1D111D11DD1D1DDD11D111D1DD1D11111:CCN0NCNC1C0.2.3.0 dProofs67.txt:191214 14 CpCNCNCqCNqrst DDD1DD11D11D11DDDD1DD11D11D11DDD1D11D1DD1D1DD1DD11D11D1DD1D111D1111:C0CNCNC1CN1.2.3.4 dProofs67.txt:322633 14 CNCpCNCqCNqrst DDDD1DD11D11D11DDD1DD11D11D11DDD1D11D1DD1D1DD1DD11D11D1DD1D111D1111:CNC0CNC1CN1.2.3.4 dProofs67.txt:324362 14 CNCNCpCqCNqrst DDDD1DD11D11D11DDDD1DD11D11D11DD1D11D1DD1D1DD1DD11D11D1DD1D111D1111:CNCNC0C1CN1.2.3.4 dProofs67.txt:324573 14 CNCNCNCpCqprst DDDD1DD11D11D11DDDD1DD11D11D11DDDD1DD11D11D11DD1DD11D11D1DD1D111111:CNCNCNC0C1.0.2.3.4 dProofs69.txt:6327 14 CCCpCqCNrstCrt D1DDD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111DD11DD1DD11D11D11D1D11:CCC0C1CN2.3.4C2.4 dProofs69.txt:37751 14 CpCCCqCNCrrstt DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1DD1D111DD1DD11D11D11:C0CCC1CNC2.2.3.4.4 dProofs69.txt:45955 14 CpCqCCCrrNCsst DD1DD1D111DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D111:C0C1CCC2.2NC3.3.4 dProofs69.txt:47348 14 CpCNqCCNrNCqsr DD1DD1D111DDD1D1DD1DD11DD1D1D1DD11D11D1DD1D111D1DD1D111DD1DD11D11D111:C0CN1CCN2NC1.3.2 dProofs69.txt:48252 14 CpCqCCCNrstCrt DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111D1DD1D1DD1DD11D11D1DD1D111D11:C0C1CCCN2.3.4C2.4 dProofs69.txt:55026 14 CpCqCNCCCrrsst DD1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11:C0C1CNCCC2.2.3.3.4 dProofs69.txt:270790 14 CpCNCqCrCsCtru DDD1DD11D11D11DD11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:C0CNC1C2C3C4.2.5 dProofs69.txt:283131 14 CpCNCNCNCqrqst DDD1DD11D11D11DDDD1DD11D11D11DDD1D1DD1DD11D11D11DD1DD11D11D1DD1D11111:C0CNCNCNC1.2.1.3.4 dProofs69.txt:286753 14 CpCqCrCsCNCtru DDD1DD11D11D1DD1D111DD11DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D111:C0C1C2C3CNC4.2.5 dProofs69.txt:286754 14 CpCqCrCNCsCtru DDD1DD11D11D1DD1D111DD11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11:C0C1C2CNC3C4.2.5 dProofs69.txt:287244 14 CpCqCCCNCrrstt DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1DD1DD1D111DD1DD11D11D11:C0C1CCCNC2.2.3.4.4 dProofs69.txt:474990 14 CNCCCpCqrqCsqt DDDD1DD11D11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D1111:CNCCC0C1.2.1C3.1.4 dProofs69.txt:480114 14 CNCpCNCNCqrqst DDDD1DD11D11D11DDD1DD11D11D11DDD1D1DD1DD11D11D11DD1DD11D11D1DD1D11111:CNC0CNCNC1.2.1.3.4 dProofs69.txt:482715 14 CNCNCpCNCqrqst DDDD1DD11D11D11DDDD1DD11D11D11DD1D1DD1DD11D11D11DD1DD11D11D1DD1D11111:CNCNC0CNC1.2.1.3.4 dProofs69.txt:545374 14 CCCppNCqCrCsrt DDDDD1D11DDD11111DD11DD1DD11D11D1DD1D111DDD1D1DD1DD11D11D11D1DD1D1111:CCC0.0NC1C2C3.2.4 dProofs71.txt:42676 14 CpCCCqqNCrCsts DD1D11DDD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D1111:C0CCC1.1NC2C3.4.3 dProofs71.txt:53656 14 CpCNCCCqCrsrtr DD1D1DD1DD11D11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:C0CNCCC1C2.3.2.4.2 dProofs71.txt:53990 14 CpCCCqCNCrstrr DD1D1DD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D111:C0CCC1CNC2.3.4.2.2 dProofs71.txt:53992 14 CpCCCNCqCrstrr DD1D1DD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11:C0CCCNC1C2.3.4.2.2 dProofs71.txt:53995 14 CpCCCNCqCrsrtt DD1D1DD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111DD11DD1DD11D11D11D1D11:C0CCCNC1C2.3.2.4.4 dProofs71.txt:53996 14 CpCCCNCqCrrstt DD1D1DD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111DD1D11D11DD1DD11D11D11:C0CCCNC1C2.2.3.4.4 dProofs71.txt:55700 14 CpCNCqCCCrsrtr DD1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11D1DD1DD11D11D1DD1D111:C0CNC1CCC2.3.2.4.2 dProofs71.txt:68904 14 CpCqCrCsCtCNsu DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D11D1DDD1DD11D11D1DD1D111D11:C0C1C2C3C4CN3.5 dProofs71.txt:69863 14 CpCCCqqNCrCsst DD1DD1D111DDDDD1D11DDD11111DDD1D11D111DDD1D1DD1D1DDD11D111D11D1DD1D1111:C0CCC1.1NC2C3.3.4 dProofs71.txt:87965 14 CNCCNCpqNpCpqr DDD11DDD1D1DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111DD1DDD1111D1111:CNCCNC0.1N0C0.1.2 dProofs71.txt:355274 14 CNCCCpCqCrrsts DDD1D1DD1DD11D11D11D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D11D111:CNCCC0C1C2.2.3.4.3 dProofs71.txt:355486 14 CCCNCCpqCqqrss DDD1D1DD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111DD1D111DD1DD11D11D111:CCCNCC0.1C1.1.2.3.3 [instance of CCCNCpCqqrss] dProofs71.txt:355505 14 CCCNCpCqCrrstt DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DDD1DD11D11D11DD1D11D111:CCCNC0C1C2.2.3.4.4 dProofs71.txt:413267 14 CpCNCCCqCrrsst DDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D11D111:C0CNCCC1C2.2.3.3.4 dProofs71.txt:712341 14 CNCpCCCqCrrsst DDDD1DD11D11D11DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D11D111:CNC0CCC1C2.2.3.3.4 dProofs71.txt:716281 14 CNCCCCpqCqqrrs DDDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D11111:CNCCCC0.1C1.1.2.2.3 [instance of CNCCCpCqqrrs] dProofs73.txt:101867 14 CpCqCrCNCsCtsu DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DDD1DD11D11D11DD1DD11D11D1DD1D111:C0C1C2CNC3C4.3.5 dProofs73.txt:106132 14 CpCqCNCNCNprst DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11:C0C1CNCNCN0.2.3.4 dProofs73.txt:1065899 14 CNCNCpCNCqrsqt DDDD1DD11D11D11DDD1D11DD1DD1D1DD1DD11D11D1DD1D111D11DDD11DD1DD11D11D11111:CNCNC0CNC1.2.3.1.4 dProofs73.txt:1065914 14 CNCNCNCpCqrsqt DDDD1DD11D11D11DDD1D11DDD11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11111:CNCNCNC0C1.2.3.1.4 dProofs75.txt:12372 14 CCCCCppNqrsCqs D1DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D111:CCCCC0.0N1.2.3C1.3 dProofs75.txt:12421 14 CCpqCNCCCrrpsq D1DD1D1DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D111D1DD1D111:CC0.1CNCCC2.2.0.3.1 dProofs75.txt:785087 14 CNCCNpNCqrpCsq DDD1D1DD1D1DDD11D111D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D1111:CNCCN0NC1.2.0C3.1 dProofs75.txt:785511 14 CNCCCCCppqqrsr DDD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1DD1D1111:CNCCCCC0.0.1.1.2.3.2 dProofs75.txt:785807 14 CCCNCCCppqrqss DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D1111:CCCNCCC0.0.1.2.1.3.3 dProofs75.txt:785866 14 CCCppNCCCqqrsr DDD1D1DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D111D1DD1D1111:CCC0.0NCCC1.1.2.3.2 dProofs75.txt:789304 14 CNCpCCqCqrsCqr DDD1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11D1D1DD1DD11D11D1DD1D1111:CNC0CC1C1.2.3C1.2 dProofs75.txt:789309 14 CNCpCqrCCNsNqs DDD1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11DD1D1DDD11D111D1DD1D1111:CNC0C1.2CCN3N1.3 dProofs75.txt:1292967 14 CNCpCqCrCsCtru DDDD11DD1DD11D11D111DD11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:CNC0C1C2C3C4.2.5 dProofs77.txt:18004 14 CCCpCqCNqrsCts D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D11D1DD1D1DD1DD11D11D1DD1D111D11:CCC0C1CN1.2.3C4.3 dProofs77.txt:129579 14 CpCqCrCCCssNqt DD1D11D1DDD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D111:C0C1C2CCC3.3N1.4 dProofs77.txt:169890 14 CpCCCqCrCNqstt DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D11D1DDD1DD11D11D1DD1D111D11:C0CCC1C2CN1.3.4.4 dProofs77.txt:246793 14 CpCqCNCrCsCtut DD1DDD1DD11D11D1DD1D111DD11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11D1D11:C0C1CNC2C3C4.5.4 dProofs77.txt:1415628 14 CpCCCqCNqrsCts DDD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D11D1DD1D1DD1DD11D11D1DD1D111D11:C0CCC1CN1.2.3C4.3 dProofs77.txt:2568094 14 CCCCpqCqqNCrrs DDDD1DD1D111DDD1D11DDD111111DDD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D1111:CCCC0.1C1.1NC2.2.3 [instance of CCCpCqqNCrrs] dProofs79.txt:28409 14 CCCpCNCqrqsCts D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D1DD1DD11D11D11DD1DD11D11D1DD1D111:CCC0CNC1.2.1.3C4.3 dProofs79.txt:245990 14 CpCCCNCqCrqstt DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DDD1DD11D11D11DD1DD11D11D1DD1D111:C0CCCNC1C2.1.3.4.4 dProofs79.txt:306017 14 CpCNCCNqNrqCrs DD1DD1D111DDD1D1DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111DD1D1DDD11D111D111:C0CNCCN1N2.1C2.3 dProofs79.txt:315890 14 CpCCCqqNCrCsrt DD1DD1D111DDDDD1D11DDD11111DD1DD11D11D1DD1D111DDD1D1DD1D1DDD11D111D11D1DD1D1111:C0CCC1.1NC2C3.2.4 dProofs79.txt:323937 14 CpCNCqCNCNprst DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD1D1DD1DD11D11D1DD1D111D11DDD11DD1DD11D11D111:C0CNC1CNCN0.2.3.4 dProofs79.txt:323950 14 CpCNCNCqCNprst DD1DD1D1DD1DD11D11D1DD1D111D11DDD11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D111:C0CNCNC1CN0.2.3.4 dProofs79.txt:325056 14 CpCCNqNNCCqrqq DD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11D1DD1DD11D11D1DD1D111:C0CCN1NNCC1.2.1.1 dProofs79.txt:365370 14 CpCNCNCNCqprst DDD11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D111:C0CNCNCNC1.0.2.3.4 dProofs79.txt:2014422 14 CpCNCqCCqrCsrt DDD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0CNC1CC1.2C3.2.4 dProofs79.txt:2119761 14 CpCCCNCqrqsCts DDD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11DD1DD11D11D1DD1D111:C0CCCNC1.2.1.3C4.3 dProofs79.txt:2123910 14 CpCqCCCNqrsCts DDD1DD11D11D1DD1D111DD1DDD1DD11D11D1DD1D111D11DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0C1CCCN1.2.3C4.3 dProofs79.txt:4120174 14 CCCpCqqNCrCsst DDDDD1D11DDD11111DDD1D11D111DDD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D11D111:CCC0C1.1NC2C3.3.4 dProofs81.txt:67648 14 CpCqCrCsCNCtqu DD11DD1DDD1DD11D11D1DD1D111D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:C0C1C2C3CNC4.1.5 dProofs81.txt:67705 14 CpCqCrCNCsCtqu DD11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D111:C0C1C2CNC3C4.1.5 dProofs81.txt:67706 14 CpCqCNCrCsCtqu DD11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11:C0C1CNC2C3C4.1.5 dProofs81.txt:390430 14 CpCqCCCrCssNpt DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D11D11:C0C1CCC2C3.3N0.4 dProofs81.txt:528852 14 CpCqCNCCCrsrrt DD1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D111DD1DD11D11D11:C0C1CNCCC2.3.2.2.4 dProofs81.txt:2616192 14 CNCCNpNCqrpCrs DDD1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111DDD11DD1D1DDD11D111D1111:CNCCN0NC1.2.0C2.3 dProofs81.txt:3003631 14 CpCNCqCNCNqrst DDD1DD11D11D11DD1DD1D1DD1DD11D11D1DD1D111D11DDD1D11D1DD1D1DD1DD11D11D1DD1D111D111:C0CNC1CNCN1.2.3.4 dProofs81.txt:5375497 14 CNCNCpqCrCNpst DDDD1DD11D11D11DDD1D1DD1DD11D11D11DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D11111:CNCNC0.1C2CN0.3.4 dProofs81.txt:5375498 14 CNCNCpqCNCrpst DDDD1DD11D11D11DDD1D1DD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1111:CNCNC0.1CNC2.0.3.4 dProofs81.txt:5375890 14 CNCNCpCqrCNqst DDDD1DD11D11D11DDD1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11DD1DD11D11D1111:CNCNC0C1.2CN1.3.4 dProofs81.txt:6185358 14 CCCppNCCCqqrrs DDDDD1D11DDD11111DDD1D1DD1DD11D11D1DD1D111D1DD1D1111DDD1D1DD1DD11D11D11D1DD1D1111:CCC0.0NCCC1.1.2.2.3 dProofs83-unfiltered83+.txt:2965070 14 CpCCCCNqNNrqrr DD1D1DD1DD11D11D1DD1D111D1D1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11:C0CCCCN1NN2.1.2.2 dProofs83-unfiltered83+.txt:3101033 14 CpCNqCNCNCqrst DD1D1DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D111DDD1D1DD1DD11D11D11DD1DD11D11D111:C0CN1CNCNC1.2.3.4 dProofs83-unfiltered83+.txt:3170459 14 CpCNCqCCNrNpsr DD1DD11D11D1DD1D11DDD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D1111:C0CNC1CCN2N0.3.2 dProofs83-unfiltered83+.txt:3404338 14 CNCpCCCqqrsCtr DD1DD1D11DDD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D1111D1DD1D111:CNC0CCC1.1.2.3C4.2 dProofs83-unfiltered83+.txt:9109832 14 CNCpCCCqCrrsts DDD1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D11D111:CNC0CCC1C2.2.3.4.3 dProofs83-unfiltered83+.txt:10291045 14 CpCNCNCNCqrsqt DDD1DD11D11D11DDD1D1DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11DD1DD11D11D1DD1D1111:C0CNCNCNC1.2.3.1.4 dProofs83-unfiltered83+.txt:18598040 14 CNCCCpqNqCrNqs DDDD1DD11D11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D11111:CNCCC0.1N1C2N1.3 dProofs83-unfiltered83+.txt:18617533 14 CNCpCqCNCNqrst DDDD1DD11D11D11DD1D1DD1DD11D11D1DD1D111DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D111:CNC0C1CNCN1.2.3.4 dProofs83-unfiltered83+.txt:18618146 14 CNCpCNCNCqrsqt DDDD1DD11D11D11DD1D1DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11DD1DD11D11D1DD1D1111:CNC0CNCNC1.2.3.1.4 dProofs85-unfiltered83+.txt:1002677 14 CCCCNpNNppqCrq D1DD1DD1DD1D1111D1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:CCCCN0NN0.0.1C2.1 dProofs85-unfiltered83+.txt:6333374 14 CpCNCCCqrNrsNr DD1D1DD1DD11D11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0CNCCC1.2N2.3N2 dProofs85-unfiltered83+.txt:6888833 14 CpCqCrCsCtCNru DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D111:C0C1C2C3C4CN2.5 dProofs85-unfiltered83+.txt:16894660 14 CNCCCpCqCrqsts DDD1D1DD1DD11D11D11D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD11DD1DD11D11D1DD1D1111:CNCCC0C1C2.1.3.4.3 dProofs85-unfiltered83+.txt:16900438 14 CCCpCqCNCrqstt DDD1D1DD1DD11D11D1DD1D111D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD11DD1DD11D11D111:CCC0C1CNC2.1.3.4.4 dProofs85-unfiltered83+.txt:16900731 14 CCCNCpCqCrqstt DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DDD1DD11D11D11DD11DD1DD11D11D1DD1D1111:CCCNC0C1C2.1.3.4.4 dProofs85-unfiltered83+.txt:17057531 14 CNCpCCNqNrqCrs DDD1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111DDD1D11D1DD11DD1DD11D11D1111:CNC0CCN1N2.1C2.3 dProofs85-unfiltered83+.txt:18860932 14 CpCNCCCqCrqsst DDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD11DD1DD11D11D1DD1D1111:C0CNCCC1C2.1.3.3.4 dProofs85-unfiltered83+.txt:19112579 14 CpCNCNqCNCqrst DDD1DD11D11D11DDDD1D1DD1D1DDD11D111D1DD1D111DD1DD11D11D111DDD1D11DDD11DD1DD11D11D1111:C0CNCN1CNC1.2.3.4 dProofs85-unfiltered83+.txt:19368213 14 CpCqCNCrCsCtru DDD1DD11D11D1DD1D111DDD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:C0C1CNC2C3C4.2.5 dProofs85-unfiltered83+.txt:24268978 14 CNCpCqCCqrCsrt DDDD11DD1DD11D11D111DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:CNC0C1CC1.2C3.2.4 dProofs85-unfiltered83+.txt:32103873 14 CNCpCCCqCrqsst DDDD1DD11D11D11DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD11DD1DD11D11D1DD1D1111:CNC0CCC1C2.1.3.3.4 dProofs87-unfiltered83+.txt:3569847 14 CCpqCNCCCprpsq D1DD1D1DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D111D1DD1DD11D11D1DD1D111:CC0.1CNCCC0.2.0.3.1 dProofs87-unfiltered83+.txt:15419033 14 CpCCCqCrrNCspt DDD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D11D111:C0CCC1C2.2NC3.0.4 dProofs87-unfiltered83+.txt:16755925 14 CNCpCNCNCqrstq DDD1D11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD1D1DD1DD11D11D1DD1D111D11DDD11DD1DD11D11D1111:CNC0CNCNC1.2.3.4.1 dProofs87-unfiltered83+.txt:16755933 14 CNCNCpCNCqrstq DDD1D11DD1DD1D1DD1DD11D11D1DD1D111D11DDD11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D1111:CNCNC0CNC1.2.3.4.1 dProofs87-unfiltered83+.txt:16760250 14 CNCNCNCpCqrstq DDD1D11DDD11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D1111:CNCNCNC0C1.2.3.4.1 dProofs87-unfiltered83+.txt:29970611 14 CNCCCCCpqpprsr DDD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D1111:CNCCCCC0.1.0.0.2.3.2 dProofs87-unfiltered83+.txt:29976587 14 CCCCCppNCqrsqq DDD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D1111:CCCCC0.0NC1.2.3.1.1 dProofs87-unfiltered83+.txt:29977113 14 CCCNCCCpqprpss DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1DD11D11D1DD1D1111:CCCNCCC0.1.0.2.0.3.3 dProofs87-unfiltered83+.txt:29977117 14 CCCCCNCpqrppss DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D111:CCCCCNC0.1.2.0.0.3.3 dProofs87-unfiltered83+.txt:29977545 14 CCCppNCCCqrqsq DDD1D1DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D111D1DD1DD11D11D1DD1D1111:CCC0.0NCCC1.2.1.3.1 dProofs87-unfiltered83+.txt:45345286 14 CCNpNCNCqrCsqp DDDD1D11DDD11111DDD1D1DD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D1111:CCN0NCNC1.2C3.1.0 dProofs87-unfiltered83+.txt:52932761 14 CNCNCpqCNCqrst DDDD1DD11D11D11DDD1D1DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D111DDD11DD1DD11D11D11111:CNCNC0.1CNC1.2.3.4 dProofs87-unfiltered83+.txt:59685150 14 CCCpCqqNCrCsrt DDDDD1D11DDD11111DD1DD11D11D1DD1D111DDD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D11D111:CCC0C1.1NC2C3.2.4 dProofs89-unfiltered83+.txt:16999436 14 CpCNNNCqCrCsst DD11DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DDDD1DD11D11D11DD1D11D1111:C0CNNNC1C2C3.3.4 dProofs89-unfiltered83+.txt:16999437 14 CpCNNNCCqrCqrs DD11DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DDDD1DD11D11D11DDD11D11111:C0CNNNCC1.2C1.2.3 [instance of CpCNNNCqqr] dProofs89-unfiltered83+.txt:16999438 14 CpCNNNCCqrCrrs DD11DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DDDD1DD11D11D11DDD1D111111:C0CNNNCC1.2C2.2.3 [instance of CpCNNNCqCrrs] dProofs89-unfiltered83+.txt:20359781 14 CpCNCqCrCsCtut DD1D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D111DDD11DD1DD11D11D111:C0CNC1C2C3C4.5.4 dProofs89-unfiltered83+.txt:28169442 14 CNNNCpCCqrCqrs DDD11DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DDDD1DD11D11D11DD11D11111:CNNNC0CC1.2C1.2.3 [instance of CNNNCpCqqr] dProofs89-unfiltered83+.txt:28169443 14 CNNNCpCCqrCrrs DDD11DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DDDD1DD11D11D11DD1D111111:CNNNC0CC1.2C2.2.3 [instance of CNNNCpCqCrrs] dProofs89-unfiltered83+.txt:29908410 14 CpCCCNCNpqrNps DDD1D11D1DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1DD11D11D111:C0CCCNCN0.1.2N0.3 dProofs89-unfiltered83+.txt:51499754 14 CCNpNCCNqNNpqp DDD1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111DDD1D11D1DDD111111:CCN0NCCN1NN0.1.0 dProofs89-unfiltered83+.txt:56294580 14 CpCCNqCrqCsCrq DDD1DD11D11D1DD1D111D1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0CCN1C2.1C3C2.1 dProofs89-unfiltered83+.txt:74405583 14 CCNpNCNCqrCrsp DDDD1D11DDD11111DD1DDD1DD11D11D1DD1D111D1DD1D111DDD1DD1DDD1DD11D11D1DD1D111D1DD1D1111D111:CCN0NCNC1.2C2.3.0 dProofs89-unfiltered83+.txt:74984612 14 CCNpNCCNqNNqqp DDDD1D11DDD11111DDD1DD1D1DDD11D111D1DD1D111D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D111:CCN0NCCN1NN1.1.0 dProofs89-unfiltered83+.txt:85576456 14 CNCCCCpqrqCpqs DDDD1DD11D11D11DDD1D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D111111:CNCCCC0.1.2.1C0.1.3 dProofs91-unfiltered83+.txt:13215231 14 CCCNNNCppqrCsr D1DD1DD1DD1DD1D111DD1DD11D11D11D1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11D11:CCCNNNC0.0.1.2C3.2 dProofs91-unfiltered83+.txt:18515815 14 CCCNCpqCrpsCts D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:CCCNC0.1C2.0.3C4.3 dProofs91-unfiltered83+.txt:37056562 14 CpCqCrCCCssNpt DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11D1DD1D111:C0C1C2CCC3.3N0.4 dProofs91-unfiltered83+.txt:39541880 14 CpCCCqCNprsCts DD1DDD1DD11D11D1DD1D111D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0CCC1CN0.2.3C4.3 dProofs91-unfiltered83+.txt:39563788 14 CpCqCCCrrNCspt DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D111:C0C1CCC2.2NC3.0.4 dProofs91-unfiltered83+.txt:39564327 14 CpCCCNCqprsCts DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D11DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0CCCNC1.0.2.3C4.3 dProofs91-unfiltered83+.txt:43538545 14 CNNNCCCppqCrqs DDD11DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DDDD1DD11D11D11D1DD1D111111:CNNNCCC0.0.1C2.1.3 dProofs91-unfiltered83+.txt:46543612 14 CNCpCCNqNCqrsq DDD1D11DD1DD11D11D1DD1D11DDD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D11111:CNC0CCN1NC1.2.3.1 dProofs91-unfiltered83+.txt:80885643 14 CNCpqCCCNprNps DDD1D1DD1DD11D11D11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1DD11D11D1DD1D1111:CNC0.1CCCN0.2N0.3 dProofs91-unfiltered83+.txt:80894298 14 CCCpCqCNCrrstt DDD1D1DD1DD11D11D1DD1D111D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1DD1D111DD1DD11D11D111:CCC0C1CNC2.2.3.4.4 dProofs91-unfiltered83+.txt:97422475 14 CCNpNNCCqCrrpp DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D11D111:CCN0NNCC1C2.2.0.0 dProofs91-unfiltered83+.txt:108135114 14 CNCpCNqCNCqrst DDDD11DD1DD11D11D111DDDD1D1DD1D1DDD11D111D1DD1D111DD1DD11D11D111DDD1D11DDD11DD1DD11D11D1111:CNC0CN1CNC1.2.3.4 dProofs91-unfiltered83+.txt:116749172 14 CCNpNCqCNrCrsp DDDD1D11DDD11111DD1DD1D111DDD1D1DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111DD1DD11D11D111:CCN0NC1CN2C2.3.0 dProofs93-unfiltered83+.txt:60249859 14 CpCCCqCrrNCsst DD1DD1D111DDDD1DD1D111DDD1D11DDD111111DDD1D1DD1D1DDD11D111D11D1DDD1DD11D11D1DD1D111DD1D11D111:C0CCC1C2.2NC3.3.4 dProofs93-unfiltered83+.txt:60447172 14 CNCpqCrCNCNpst DD1DD1D1DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D111DD1DD11D11D11DD1DD11D11D11:CNC0.1C2CNCN0.3.4 dProofs93-unfiltered83+.txt:128558311 14 CCCpCNCqCrsrtt DDD1D1DD1DD11D11D1DD1D111D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D11DDD11DD1DD11D11D1111:CCC0CNC1C2.3.2.4.4 dProofs93-unfiltered83+.txt:128558324 14 CCCpCNCqCrrstt DDD1D1DD1DD11D11D1DD1D111D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DDD1DD11D11D11DDD1D11D1111:CCC0CNC1C2.2.3.4.4 dProofs93-unfiltered83+.txt:129204992 14 CNCpCqCCCrrsts DDD1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11D1DD1D1111:CNC0C1CCC2.2.3.4.3 dProofs93-unfiltered83+.txt:138159447 14 CpCNCCCqCrsrrt DDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D1111:C0CNCCC1C2.3.2.2.4 dProofs93-unfiltered83+.txt:140331383 14 CpCCqrCNCsCqtr DDD1DD11D11D1DD1D111D1DD1D11DDD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D1111:C0CC1.2CNC3C1.4.2 dProofs93-unfiltered83+.txt:151902313 14 CNpCCNqNCrCpsq DDD1DD1D111DDD1D1DDD11DD1DD11DD1DD11DD1D1D1DD11D11D1DD1D111D1DD1D111D1DD1D1111DD1DD11D11D1111:CN0CCN1NC2C0.3.1 dProofs93-unfiltered83+.txt:214562099 14 CNCpCCCqCrsrrt DDDD1DD11D11D11DD1D1DD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D1111:CNC0CCC1C2.3.2.2.4 dProofs93-unfiltered83+.txt:215480722 14 CNCCCpCqCrrsst DDDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D11D1111:CNCCC0C1C2.2.3.3.4 dProofs93-unfiltered83+.txt:226907910 14 CCCCpqCqqNCrsr DDDD1DD1DDD1DD11D11D1DD1D111D1DD1D1111D1D111DDD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D1111:CCCC0.1C1.1NC2.3.2 [instance of CCCpCqqNCrsr] dProofs93-unfiltered83+.txt:241258007 14 CCCpCqpNCrCsst DDDDD1D11DDD11111DDD1D11D111DDD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD11DD1DD11D11D1DD1D1111:CCC0C1.0NC2C3.3.4 dProofs93-unfiltered83+.txt:241263935 14 CCCppNCCCqrqqs DDDDD1D11DDD11111DDD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D1111DDD1D1DD1DD11D11D11D1DD1D1111:CCC0.0NCCC1.2.1.1.3 dProofs95-unfiltered83+.txt:90422858 14 CpCCNqNCNrCrsq DD1D1DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111DD1DD1D1DD1DD11D11D1DD1D111D11DDD1D11DDD11111:C0CCN1NCN2C2.3.1 dProofs95-unfiltered83+.txt:91023397 14 CpCqCCCrCsrNpt DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD11DD1DD11D11D1DD1D111:C0C1CCC2C3.2N0.4 dProofs95-unfiltered83+.txt:95459173 14 CpCqCrCsCtCNtu DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DDD1DD11D11D1DD1D111DD1D11D1DD1D1DD1DD11D11D1DD1D111D11:C0C1C2C3C4CN4.5 dProofs95-unfiltered83+.txt:95813405 14 CNCpCCCqrqsCtq DD1DD1D11DDD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D1111D1DD1DD11D11D1DD1D111:CNC0CCC1.2.1.3C4.1 dProofs95-unfiltered83+.txt:109711689 14 CNNNCpCqCrCsst DDD11DDD1DD1DD11D11D1DD1DDD1DD11D11D1DD1D1111D1DD11DD1DD11D11D11DDDD11DD1DD11D11D111DD1D11D1111:CNNNC0C1C2C3.3.4 dProofs95-unfiltered83+.txt:115790023 14 CCCpCqqNCrCsts DDD1D11DDD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D11D1111:CCC0C1.1NC2C3.4.3 dProofs95-unfiltered83+.txt:203644301 14 CNCpqCNCNCrpst DDD1D1DD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D111:CNC0.1CNCNC2.0.3.4 dProofs95-unfiltered83+.txt:204551860 14 CNCNCpqrCsCNpt DDD1D1DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D1111:CNCNC0.1.2C3CN0.4 dProofs95-unfiltered83+.txt:204551862 14 CNCNCpqrCNCspt DDD1D1DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D111:CNCNC0.1.2CNC3.0.4 dProofs95-unfiltered83+.txt:204622371 14 CNCpCqrCNCNqst DDD1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D111:CNC0C1.2CNCN1.3.4 dProofs95-unfiltered83+.txt:204622708 14 CNCNCpCqrsCNqt DDD1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11DD1DD11D11D111:CNCNC0C1.2.3CN1.4 dProofs95-unfiltered83+.txt:215765522 14 CpCNCqCrNNCsrt DDD1DD11D11D11DD11DD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0CNC1C2NNC3.2.4 dProofs95-unfiltered83+.txt:222760219 14 CpNNCqCrCNCsrt DDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111DD11DD1DD11D11D11:C0NNC1C2CNC3.2.4 dProofs95-unfiltered83+.txt:240641294 14 CNCpCCNqNCrrsq DDD1DD1D111DD1DD11D11D1DD1D11DDD11DD1DD11D11D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11D1DD1D11111:CNC0CCN1NC2.2.3.1 dProofs95-unfiltered83+.txt:335803870 14 CNCCNNCpqpCrps DDDD1DD11D11D11D1DD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D11111:CNCCNNC0.1.0C2.0.3 dProofs95-unfiltered83+.txt:340037440 14 NNCCCNCpqrpCsp DDDD1DD11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111D1DD1DD11D11D111:NNCCCNC0.1.2.0C3.0 dProofs11.txt:7 15 CpCCNCNpqNpCNpq DDDD1111D11:C0CCNCN0.1N0CN0.1 [instance of CpCqCNpr] dProofs13.txt:4 15 CCCpCCNqNpqrCsr D1DD1DD1D1111:CCC0CCN1N0.1.2C3.2 dProofs13.txt:9 15 CpCCNCqNpNpCqNp DD1DDD11D1111:C0CCNC1N0N0C1N0 [instance of CpCCNqNpq] dProofs17.txt:13 15 CpCCNqNCCNrNprq DDD1D11D1DDD11111:C0CCN1NCCN2N0.2.1 dProofs21.txt:9 15 CCCCNpNCpqprCsr D1DD1DD1DD1D1111D1D11:CCCCN0NC0.1.0.2C3.2 dProofs23.txt:67 15 CpCCCqrCrsCtCrs DDD1DD11D11D1DD1D111D11:C0CCC1.2C2.3C4C2.3 dProofs23.txt:86 15 CCNpNCqCCrsCrsp DDDD1D11DDD11111DD11D11:CCN0NC1CC2.3C2.3.0 [instance of CCNpNCqCrrp] dProofs23.txt:87 15 CCNpNCqCCrsCssp DDDD1D11DDD11111DD1D111:CCN0NC1CC2.3C3.3.0 [instance of CCNpNCqCrCssp] dProofs25.txt:11 15 CCCpCCNqNrqsCrs D1DD11DD1DD11D11D1DD1D111:CCC0CCN1N2.1.3C2.3 dProofs25.txt:13 15 CCCCNpNCqrpqCsq D1DD1D1DDD11D111D1DD1D111:CCCCN0NC1.2.0.1C3.1 dProofs25.txt:15 15 CCCCNpNCqqprCsr D1DD1DD1DD1D1111D1DD1D111:CCCCN0NC1.1.0.2C3.2 dProofs25.txt:45 15 CCNpNCCNqNCprqp DDD1D11DDD1D11D1DDD111111:CCN0NCCN1NC0.2.1.0 dProofs25.txt:97 15 CpCCCqrCsqCtCsq DDD1DD11D11D1DD1D111D1D11:C0CCC1.2C3.1C4C3.1 dProofs25.txt:129 15 CCNpNCCCqqrCsrp DDDD1D11DDD11111D1DD1D111:CCN0NCCC1.1.2C3.2.0 dProofs29.txt:195 15 CpCCCCNqNrqsCrs DDD1DD11D11D1DD1D111D1DD11D11:C0CCCCN1N2.1.3C2.3 dProofs29.txt:202 15 CCNpNCCNqNCrrqp DDD1DD1D111DDD1D11D1DDD111111:CCN0NCCN1NC2.2.1.0 dProofs31.txt:258 15 CpCNCqCrCNCsrtu DDD1DD11D11D11DD11DD1DD11D11D11:C0CNC1C2CNC3.2.4.5 dProofs31.txt:274 15 CCNpNCqCCNrNqrp DDD1DD1DD1D1111DDD1D11DDD111111:CCN0NC1CCN2N1.2.0 dProofs31.txt:373 15 CNCCCNCpqrpCspt DDDD1DD11D11D11D1DD1DD11D11D111:CNCCCNC0.1.2.0C3.0.4 dProofs33.txt:84 15 CpCNCCCNCqrsqtq DD1D1DD1DD11D11D11D1DD1DD11D11D11:C0CNCCCNC1.2.3.1.4.1 dProofs33.txt:337 15 CpCCNqNCrCsCttq DDD1D1DDD11D111D1DD1D111DD1D11D11:C0CCN1NC2C3C4.4.1 dProofs33.txt:338 15 CpCCNqNCCrsCssq DDD1D1DDD11D111D1DD1D111DDD1D1111:C0CCN1NCC2.3C3.3.1 [instance of CpCCNqNCrCssq] dProofs37.txt:145 15 CpCCNqNCCCrrqsq DD1D1DD1D1DDD11D111D1DD1D111D1DD1D111:C0CCN1NCCC2.2.1.3.1 dProofs37.txt:149 15 CpCCCqCCNrNqrss DD1D1DD1DD11D11D1DD1D111D1DD1DD1D1111:C0CCC1CCN2N1.2.3.3 dProofs37.txt:621 15 CNCCNpNCqrpCNqs DDD1D1DD1D1DDD11D111D11DD1DD11D11D111:CNCCN0NC1.2.0CN1.3 dProofs37.txt:624 15 CNCpqCNCCNrNprs DDD1D1DD1DD11D11D11DD1D1DDD11D111D111:CNC0.1CNCCN2N0.2.3 dProofs37.txt:690 15 CpCNCqCrCNCsstu DDD1DD11D11D11DD1DD1D111DD1DD11D11D11:C0CNC1C2CNC3.3.4.5 dProofs37.txt:874 15 CNCpCqCrCNCsrtu DDDD11DD1DD11D11D111DD11DD1DD11D11D11:CNC0C1C2CNC3.2.4.5 dProofs37.txt:984 15 CCNpNCCCqrqCsqp DDDD1D11DDD11111D1DD1DD11D11D1DD1D111:CCN0NCCC1.2.1C3.1.0 dProofs39.txt:255 15 CpCCNCqrNCsqCqr DD1DD1DDD1DD11D11D1DD1D111D1DD1D1111D11:C0CCNC1.2NC3.1C1.2 dProofs39.txt:985 15 CpCNCqCNCrCstsu DDD1DD11D11D11DD1D11DDD11DD1DD11D11D111:C0CNC1CNC2C3.4.3.5 dProofs39.txt:1014 15 CpCNCqCNCrCsstu DDD1DD11D11D11DDD1DD11D11D11DDD1D11D111:C0CNC1CNC2C3.3.4.5 dProofs39.txt:1027 15 CpCNCNCqCrCsstu DDD1DD11D11D11DDDD1DD11D11D11DD1D11D111:C0CNCNC1C2C3.3.4.5 dProofs39.txt:1028 15 CpCNCNCCqrCqrst DDD1DD11D11D11DDDD1DD11D11D11DDD11D1111:C0CNCNCC1.2C1.2.3.4 [instance of CpCNCNCqqrs] dProofs39.txt:1029 15 CpCNCNCCqrCrrst DDD1DD11D11D11DDDD1DD11D11D11DDD1D11111:C0CNCNCC1.2C2.2.3.4 [instance of CpCNCNCqCrrst] dProofs39.txt:1043 15 CpCqCrCsCCNtNst DDD1DD11D11D1DD1D111DD1D11D1DD1DD1D1111:C0C1C2C3CCN4N3.4 dProofs39.txt:1044 15 CpCqCrCCNsNCsts DDD1DD11D11D1DD1D111DD1DD1DD1D1111D1D11:C0C1C2CCN3NC3.4.3 dProofs39.txt:1094 15 CCNpNCCNqNCqrqp DDD1DD1DD1DD1D1111D1D11DDD1D11DDD111111:CCN0NCCN1NC1.2.1.0 dProofs39.txt:1278 15 CCNpNCqCrCsCttp DDDD11DD1D1DDD11D111D1DD1D1111DD1D11D11:CCN0NC1C2C3C4.4.0 dProofs39.txt:1581 15 CNCpCNCqCrCsstu DDDD1DD11D11D11DDD1DD11D11D11DD1D11D111:CNC0CNC1C2C3.3.4.5 dProofs39.txt:1582 15 CNCpCNCCqrCqrst DDDD1DD11D11D11DDD1DD11D11D11DDD11D1111:CNC0CNCC1.2C1.2.3.4 [instance of CNCpCNCqqrs] dProofs39.txt:1583 15 CNCpCNCCqrCrrst DDDD1DD11D11D11DDD1DD11D11D11DDD1D11111:CNC0CNCC1.2C2.2.3.4 [instance of CNCpCNCqCrrst] dProofs39.txt:1586 15 CNCNCpCCqrCqrst DDDD1DD11D11D11DDDD1DD11D11D11DD11D1111:CNCNC0CC1.2C1.2.3.4 [instance of CNCNCpCqqrs] dProofs39.txt:1587 15 CNCNCpCCqrCrrst DDDD1DD11D11D11DDDD1DD11D11D11DD1D11111:CNCNC0CC1.2C2.2.3.4 [instance of CNCNCpCqCrrst] dProofs41.txt:60 15 CCCNCNCppqrsCts D1DD1DD1DD1D111DD1DD11D11D11DD1DD11D11D11:CCCNCNC0.0.1.2.3C4.3 dProofs41.txt:380 15 CpCCNCqrNCrsCqr DD1DD1DDD1DD11D11D1DD1D111D1DD1D1111D1D11:C0CCNC1.2NC2.3C1.2 dProofs41.txt:1581 15 CpNCCCNqNpqNCrr DDD1DD1DD1D111DD1DD11D11D11DDD1DD11D11111:C0NCCCN1N0.1NC2.2 dProofs41.txt:2254 15 CNCCCNCppqrCsrt DDDD1DD11D11D11D1DD1DD1D111DD1DD11D11D111:CNCCCNC0.0.1.2C3.2.4 dProofs41.txt:2256 15 CNCCCpCNqrsCqst DDDD1DD11D11D11D1DDD1DD11D11D1DD1D111D111:CNCCC0CN1.2.3C1.3.4 dProofs41.txt:2304 15 CNCNCCCppqCrqst DDDD1DD11D11D11DDDD1DD11D11D11D1DD1D11111:CNCNCCC0.0.1C2.1.3.4 dProofs43.txt:130 15 CpCqCrCCNsNCtqs DD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D111:C0C1C2CCN3NC4.1.3 dProofs43.txt:134 15 CpCqCNCrCNCsqtu DD11DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D11:C0C1CNC2CNC3.1.4.5 dProofs43.txt:395 15 CpCNCCCNCqqrsts DD1D1DD1DD11D11D11D1DD1DD1D111DD1DD11D11D11:C0CNCCCNC1.1.2.3.4.3 dProofs43.txt:479 15 CpCqNCCCNrNqrNp DD1DD1D1DD1DD11D11D1DD1D111D11DDD1DD11D1111:C0C1NCCCN2N1.2N0 dProofs43.txt:1895 15 CCNCNpqNCprCNpq DDD1D1DD1D1DDD11D111D1DD1D111DD1DD11D11D111:CCNCN0.1NC0.2CN0.1 dProofs43.txt:1902 15 CCpCNCpqrCNCpqr DDD1D1DD1DD11D11D1DD1D111D1D1DD1DD11D11D111:CC0CNC0.1.2CNC0.1.2 dProofs43.txt:2056 15 CpCNCCCNqrsCqst DDD1DD11D11D11D1DD1D1DD1DD11D11D1DD1D111D11:C0CNCCCN1.2.3C1.3.4 dProofs43.txt:2129 15 CpCNCNCCCqqrsrt DDD1DD11D11D11DDD1D1DD1DD11D11D11D1DD1D1111:C0CNCNCCC1.1.2.3.2.4 dProofs43.txt:2196 15 CpCqCrCCNsNCtts DDD1DD11D11D1DD1D111DD1DD1DD1D1111D1DD1D111:C0C1C2CCN3NC4.4.3 dProofs43.txt:2738 15 CNCpCqCrCNCsstu DDDD11DD1DD11D11D111DD1DD1D111DD1DD11D11D11:CNC0C1C2CNC3.3.4.5 dProofs43.txt:3339 15 CNCpCNCCCqqrsrt DDDD1DD11D11D11DD1D1DD1DD11D11D11D1DD1D1111:CNC0CNCCC1.1.2.3.2.4 dProofs45.txt:105 15 CCCNCNCpqrspCtp D1DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11:CCCNCNC0.1.2.3.0C4.0 dProofs45.txt:606 15 CpCCCCNqNCqrqss DD1D1DD1DD11D11D1DD1D111D1DD1DD1DD1D1111D1D11:C0CCCCN1NC1.2.1.3.3 dProofs45.txt:760 15 CpCqCCNrNCsCttr DD1DD1DD1D1111D1DDD1DD11D11D1DD1D111DD1D11D11:C0C1CCN2NC3C4.4.2 dProofs45.txt:799 15 CpCqCrCCNsNCtrs DD1DDD1DD11D11D1DD1D111D1DD11DD1DD11D11D11D11:C0C1C2CCN3NC4.2.3 dProofs45.txt:2966 15 CpCNCqCrCsCNrtu DDD1DD11D11D11DD1D11D1DDD1DD11D11D1DD1D111D11:C0CNC1C2C3CN2.4.5 dProofs45.txt:3878 15 CNCpCqCNCrCstsu DDDD11DD1DD11D11D111DD1D11DDD11DD1DD11D11D111:CNC0C1CNC2C3.4.3.5 dProofs45.txt:3898 15 CNCpCqCNCrCsstu DDDD11DD1DD11D11D111DDD1DD11D11D11DDD1D11D111:CNC0C1CNC2C3.3.4.5 dProofs45.txt:4832 15 CNCNCpCqCrCsstu DDDD1DD11D11D11DDDD11DD1DD11D11D111DD1D11D111:CNCNC0C1C2C3.3.4.5 dProofs47.txt:605 15 CpCqCrCsCCNtNrt DD1D11D1DDD1DD11D11D1DD1D111D1DD11DD1DD11D11D11:C0C1C2C3CCN4N2.4 dProofs47.txt:1225 15 CNCCNpNCNCqqrps DDD11DDD1DD1DD1D111DD1DD11D11D11DD1DDD1111D1111:CNCCN0NCNC1.1.2.0.3 dProofs47.txt:4112 15 CpCCNqNCrCsCtsq DDD1D1DDD11D111D1DD1D111DD11DD1DD11D11D1DD1D111:C0CCN1NC2C3C4.3.1 dProofs47.txt:4400 15 CpCNCqCNCrCsrtu DDD1DD11D11D11DDD1DD11D11D11DD1DD11D11D1DD1D111:C0CNC1CNC2C3.2.4.5 dProofs47.txt:4503 15 CpCqCCCrsCstCst DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D11:C0C1CCC2.3C3.4C3.4 dProofs47.txt:4521 15 CpCqCNCrCsCNrtu DDD1DD11D11D1DD1D111DDD1DD11D11D11DD1DD11D11D11:C0C1CNC2C3CN2.4.5 dProofs47.txt:6440 15 CCNpNCCCqrsCrsp DDDD1D11DDD11111D1DDD1DD11D11D1DD1D111D1DD1D111:CCN0NCCC1.2.3C2.3.0 dProofs47.txt:6944 15 CNCNCCNpNCqqprs DDDD1DD11D11D11DDD11DDD1DD1D111DD1DDD1111D11111:CNCNCCN0NC1.1.0.2.3 dProofs47.txt:7026 15 CNCNCpCCNqNpqrs DDDD1DD11D11D11DDDD1DD11D11D11DDD1D11DDD1111111:CNCNC0CCN1N0.1.2.3 dProofs49.txt:215 15 CCCpCCqrCrrsCts D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D111:CCC0CC1.2C2.2.3C4.3 [instance of CCCpCqCrrsCts] dProofs49.txt:380 15 CpCqCCNrNCsCtqr DD11DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111:C0C1CCN2NC3C4.1.2 dProofs49.txt:1178 15 CpCCNqNCCCqrqsq DD1D1DD1D1DDD11D111D1DD1D111D1DD1DD11D11D1DD1D111:C0CCN1NCCC1.2.1.3.1 dProofs49.txt:1192 15 CpCCCCNqNCrsqrr DD1D1DD1DD11D11D1DD1D111D1DD1D1DDD11D111D1DD1D111:C0CCCCN1NC2.3.1.2.2 dProofs49.txt:1194 15 CpCCCCNqNCrrqss DD1D1DD1DD11D11D1DD1D111D1DD1DD1DD1D1111D1DD1D111:C0CCCCN1NC2.2.1.3.3 dProofs49.txt:1395 15 CpCqCNCrCNCsstu DD1DD1D111DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D11:C0C1CNC2CNC3.3.4.5 dProofs49.txt:1615 15 CpNCCCNqNpqNCrp DDD11DD1DD1D1DD1DD11D11D1DD1D111D11DDD1DD11D11111:C0NCCCN1N0.1NC2.0 dProofs49.txt:6344 15 CpCCCCqrCrrsCts DDD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D111:C0CCCC1.2C2.2.3C4.3 [instance of CpCCCqCrrsCts] dProofs49.txt:6362 15 CpCqCCCrsCtrCtr DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1D11:C0C1CCC2.3C4.2C4.2 dProofs49.txt:8056 15 CNCpCCCNqrsCqst DDDD11DD1DD11D11D111D1DD1D1DD1DD11D11D1DD1D111D11:CNC0CCCN1.2.3C1.3.4 dProofs49.txt:9241 15 CCNpNCqCCCrrssp DDDD1D11DDD11111DD1D1DD1DD11D11D1DD1D111D1DD1D111:CCN0NC1CCC2.2.3.3.0 dProofs49.txt:9324 15 CCNpNCNCqrCNqsp DDDD1D11DDD11111DDD1D1DD1DD11D11D11DD1DD11D11D111:CCN0NCNC1.2CN1.3.0 dProofs51.txt:356 15 CCCCCppqCrqsCts D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111D1DD1D111:CCCCC0.0.1C2.1.3C4.3 dProofs51.txt:1212 15 CpCNCqCrCNCstus DD1D11DD1DDD1DD11D11D1DD1D111D11DDD11DD1DD11D11D111:C0CNC1C2CNC3.4.5.3 dProofs51.txt:1220 15 CpCNCqCNCrCstus DD1D11DDD11DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D111:C0CNC1CNC2C3.4.5.3 dProofs51.txt:11819 15 CNCpCqCrCsCNrtu DDDD11DD1DD11D11D111DD1D11D1DDD1DD11D11D1DD1D111D11:CNC0C1C2C3CN2.4.5 dProofs53.txt:562 15 CCCNCpqCNprsCts D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D11DD1DD11D11D11:CCCNC0.1CN0.2.3C4.3 dProofs53.txt:3098 15 CpCqCCNrNCsCrtr DD1DD1DDD1DD11D11D1DD1D111D1DD11DD1DD11D11D11D11D1D11:C0C1CCN2NC3C2.4.2 dProofs53.txt:3132 15 CpCqCNCrCNCsrtu DD1DDD1DD11D11D1DD1D111DD11DD1DD11D11D11DD1DD11D11D11:C0C1CNC2CNC3.2.4.5 dProofs53.txt:12952 15 CpCNCNCqCrCsrtu DDD1DD11D11D11DDDD11DD1DD11D11D111DD1DD11D11D1DD1D111:C0CNCNC1C2C3.2.4.5 dProofs53.txt:14632 15 NCCCNpNCqqpNCrr DDD1DD1D111DDD1DD1DD1D111DD1DD11D11D11DDD1DD11D111111:NCCCN0NC1.1.0NC2.2 dProofs53.txt:16903 15 CCNpNCqCrCsCtsp DDDD11DD1D1DDD11D111D1DD1D1111DD11DD1DD11D11D1DD1D111:CCN0NC1C2C3C4.3.0 dProofs53.txt:17066 15 CNCpCqCNCrCsrtu DDDD11DD1DD11D11D111DDD1DD11D11D11DD1DD11D11D1DD1D111:CNC0C1CNC2C3.2.4.5 dProofs53.txt:20915 15 CNCpCNCqCrCsrtu DDDD1DD11D11D11DDD1DD11D11D11DD11DD1DD11D11D1DD1D1111:CNC0CNC1C2C3.2.4.5 dProofs53.txt:21037 15 CNCNCCCpqpCrpst DDDD1DD11D11D11DDDD1DD11D11D11D1DD1DD11D11D1DD1D11111:CNCNCCC0.1.0C2.0.3.4 dProofs55.txt:309 15 CCpCqCprCsCqCpr D1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:CC0C1C0.2C3C1C0.2 dProofs55.txt:16407 15 CNCpCNCCCqqrstr DDD1D1DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D11D1DD1D1111:CNC0CNCCC1.1.2.3.4.2 dProofs55.txt:18617 15 CpCNCNCCCqrqsqt DDD1DD11D11D11DDD1D1DD1DD11D11D11D1DD1DD11D11D1DD1D1111:C0CNCNCCC1.2.1.3.1.4 dProofs55.txt:18621 15 CpCNCCCNCqrsqqt DDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D111:C0CNCCCNC1.2.3.1.1.4 dProofs55.txt:30402 15 CNCpCNCCCqrqsqt DDDD1DD11D11D11DD1D1DD1DD11D11D11D1DD1DD11D11D1DD1D1111:CNC0CNCCC1.2.1.3.1.4 dProofs55.txt:30406 15 CNCpCCCNCqrsqqt DDDD1DD11D11D11DD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D111:CNC0CCCNC1.2.3.1.1.4 dProofs55.txt:30453 15 CNCpCNCCNqNpqrs DDDD1DD11D11D11DD1DDD1DD11D1111DDD1D1DD1DD11D11D11D1111:CNC0CNCCN1N0.1.2.3 dProofs55.txt:30811 15 CNCNCCNpNCpqprs DDDD1DD11D11D11DDDD1DD11D11D11DDD1D11DDD1D11DDD11111111:CNCNCCN0NC0.1.0.2.3 dProofs57.txt:3406 15 CpCCNqNCrCsCqtq DD1D11DDD11DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D11111:C0CCN1NC2C3C1.4.1 dProofs57.txt:4464 15 CpCNCNCCCqqrstr DD1D1DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11D1DD1D111:C0CNCNCCC1.1.2.3.4.2 dProofs57.txt:7175 15 CNCCNpNCqCNqrps DDD11DDD1DDD1111D11DDD1D11D1DD1D1DD1DD11D11D1DD1D111D1111:CNCCN0NC1CN1.2.0.3 dProofs59.txt:6862 15 CpCCCCNqNpqrCsr DD1DD11DD1DD11D11D1DD1D111DD1DDD1DD11D11D1DD1D111D1DD1D1111:C0CCCCN1N0.1.2C3.2 dProofs59.txt:7842 15 CpCqCCNrNCsCtsr DD1DD1DD1D1111D1DDD1DD11D11D1DD1D111DD11DD1DD11D11D1DD1D111:C0C1CCN2NC3C4.3.2 dProofs59.txt:10139 15 CNCCNpNCNCqrqps DDD11DDD1DDD1111D11DDD1D1DD1DD11D11D11DD1DD11D11D1DD1D11111:CNCCN0NCNC1.2.1.0.3 dProofs59.txt:34433 15 CNCCCpCNCqprsts DDD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD11DD1DD11D11D111:CNCCC0CNC1.0.2.3.4.3 dProofs59.txt:36342 15 CpCCNqNCCCrrssq DDD1D1DDD11D111D1DD1D111DDD1D1DD1DD11D11D1DD1D111D1DD1D1111:C0CCN1NCCC2.2.3.3.1 dProofs59.txt:39068 15 CpCNCqCrCsCNqtu DDD1DD11D11D11DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D111:C0CNC1C2C3CN1.4.5 dProofs59.txt:39072 15 CpCNCqCrCNCsqtu DDD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11:C0CNC1C2CNC3.1.4.5 dProofs59.txt:40738 15 CpCqCrCsCCNtNqt DDD1DD11D11D1DD1D111DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D111:C0C1C2C3CCN4N1.4 dProofs59.txt:40747 15 CpCqCrCNCNCsstu DDD1DD11D11D1DD1D111DD1DD1DD1D111DD1DD11D11D11DD1DD11D11D11:C0C1C2CNCNC3.3.4.5 dProofs59.txt:40752 15 CpCqCrCNCsCNqtu DDD1DD11D11D1DD1D111DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D11:C0C1C2CNC3CN1.4.5 dProofs59.txt:47504 15 CCNpNCNCNCqqrsp DDD1DD1DD1DD1D111DD1DD11D11D11DD1DD11D11D11DDD1D11DDD111111:CCN0NCNCNC1.1.2.3.0 dProofs59.txt:66299 15 CNCNCCNpNCqrpqs DDDD1DD11D11D11DDD1D1DD1D1DDD11D111D11DD1DD11D11D1DD1D11111:CNCNCCN0NC1.2.0.1.3 dProofs59.txt:66302 15 CNCNCCpCpqrCpqs DDDD1DD11D11D11DDD1D1DD1DD11D11D11D1D1DD1DD11D11D1DD1D11111:CNCNCC0C0.1.2C0.1.3 dProofs59.txt:66307 15 CNCNCpqCCNrNprs DDDD1DD11D11D11DDD1D1DD1DD11D11D11DD1D1DDD11D111D1DD1D11111:CNCNC0.1CCN2N0.2.3 dProofs59.txt:66569 15 CNCNCpCqCrCsrtu DDDD1DD11D11D11DDDD11DD1DD11D11D111DD11DD1DD11D11D1DD1D1111:CNCNC0C1C2C3.2.4.5 dProofs59.txt:73956 15 CCCppNCqCrCNqst DDDDD1D11DDD11111DD1DD11D11D11DDD1D1DD1DD11D11D11D1DD1D1111:CCC0.0NC1C2CN1.3.4 dProofs61.txt:10365 15 CpCqCrCsCCNtNpt DD1DD11DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111D1DD1D111:C0C1C2C3CCN4N0.4 dProofs61.txt:12405 15 CpCqCNCNCrCstsu DD1DD1DDD1DD11D11D1DD1D111DD11DD1DD11D11D11D1D11DD1DD11D11D11:C0C1CNCNC2C3.4.3.5 dProofs61.txt:12406 15 CpCqCNCNCrCsstu DD1DD1DDD1DD11D11D1DD1D111DD1D11D11DD1DD11D11D11DD1DD11D11D11:C0C1CNCNC2C3.3.4.5 dProofs61.txt:50183 15 CCNpNCCCqCrrpsp DDD1D1DD1D1DDD11D111D1DD1D111D1DDD1DD11D11D1DD1D111DD1D11D111:CCN0NCCC1C2.2.0.3.0 dProofs61.txt:53216 15 CCNpNCqCCCrrpsp DDD1D1DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111D1DD1D1111:CCN0NC1CCC2.2.0.3.0 dProofs61.txt:89714 15 CCNpNCqCCCrsrrp DDDD1D11DDD11111DD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D111:CCN0NC1CCC2.3.2.2.0 dProofs61.txt:97545 15 CNCpCCNqNCNprqs DDDD1DD11D11D11DD1DD1D1DD1DD11D11D1DD1D111D11DDD1D11DDD111111:CNC0CCN1NCN0.2.1.3 dProofs63.txt:2065 15 CCCCCpqpCrpsCts D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111D1DD1DD11D11D1DD1D111:CCCCC0.1.0C2.0.3C4.3 dProofs63.txt:15523 15 CpCqCCrCrsCtCrs DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111D1D1DD1DD11D11D1DD1D111:C0C1CC2C2.3C4C2.3 dProofs63.txt:74178 15 CCCCNpNqpCqrCqr DDD1D1DD1DD11D11D1DD1D111D1D1DD1DDD1DD11D11D1DD1D111D1DD1D11111:CCCCN0N1.0C1.2C1.2 dProofs63.txt:74189 15 CCCpCqCCNrNqrss DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111D1D1DD1DD1D11111:CCC0C1CCN2N1.2.3.3 dProofs63.txt:146605 15 CNCNCCCpqrCqrst DDDD1DD11D11D11DDDD1DD11D11D11D1DDD1DD11D11D1DD1D111D1DD1D11111:CNCNCCC0.1.2C1.2.3.4 dProofs65.txt:12814 15 CpCNCCCqqNCrrst DD11DDDD1DD1D111DDD1D11DDD111111DDD1D1DD1D1DDD11D111D11D1DD1D1111:C0CNCCC1.1NC2.2.3.4 dProofs65.txt:18026 15 CpCCCNCNCqqrstt DD1D1DD1DD11D11D1DD1D111D1DD1DD1DD1D111DD1DD11D11D11DD1DD11D11D11:C0CCCNCNC1.1.2.3.4.4 dProofs65.txt:26051 15 CpCqCNCrCsCNqtu DD1DDD1DD11D11D1DD1D111DD11DD1DD11D11D11D1DDD1DD11D11D1DD1D111D11:C0C1CNC2C3CN1.4.5 dProofs65.txt:108912 15 CNCCCpCNCqqrsts DDD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1DD1D111DD1DD11D11D111:CNCCC0CNC1.1.2.3.4.3 dProofs65.txt:124658 15 CpCNCqCNCrCsqtu DDD1DD11D11D11DD1DDD1DD11D11D1DD1D111D1DD1D111DDD11DD1DD11D11D111:C0CNC1CNC2C3.1.4.5 dProofs65.txt:126274 15 CpCNCCCNCqqrsst DDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1DD1DD1D111DD1DD11D11D111:C0CNCCCNC1.1.2.3.3.4 dProofs65.txt:128732 15 CpCNCNCCCqqrrst DDD1DD11D11D11DDDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1DD1D11111:C0CNCNCCC1.1.2.2.3.4 dProofs65.txt:174968 15 CNCpCqCrCsCNqtu DDDD11DD1DD11D11D111DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D111:CNC0C1C2C3CN1.4.5 dProofs65.txt:174972 15 CNCpCqCrCNCsqtu DDDD11DD1DD11D11D111DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11:CNC0C1C2CNC3.1.4.5 dProofs65.txt:198464 15 CCNpNCCqCqrCqrp DDDD1D11DDD11111DDD1D1DD1DD11D11D1DD1D111D1D1DD1DD11D11D1DD1D1111:CCN0NCC1C1.2C1.2.0 dProofs65.txt:214056 15 CNCpCqCNCrCsqtu DDDD1DD11D11D11DD11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D111:CNC0C1CNC2C3.1.4.5 dProofs65.txt:214829 15 CNCpCCCNCqqrsst DDDD1DD11D11D11DD1D1DD1DD11D11D1DD1D111D1DD1DD1D111DD1DD11D11D111:CNC0CCCNC1.1.2.3.3.4 dProofs65.txt:216393 15 CNCpCNCCCqqrrst DDDD1DD11D11D11DDD1DD11D11D11DDD1D1DD1DD11D11D1DD1D111D1DD1D11111:CNC0CNCCC1.1.2.2.3.4 dProofs65.txt:217533 15 CNCNCpCCCqqrrst DDDD1DD11D11D11DDDD1DD11D11D11DD1D1DD1DD11D11D1DD1D111D1DD1D11111:CNCNC0CCC1.1.2.2.3.4 dProofs65.txt:217601 15 CNCNCNCpqCNprst DDDD1DD11D11D11DDDD1DD11D11D11DDD1D1DD1DD11D11D11DD1DD11D11D11111:CNCNCNC0.1CN0.2.3.4 dProofs65.txt:244356 15 CCCppNCqCNCrqst DDDDD1D11DDD11111DDD11DD1DD11D11D111DDD1D1DD1DD11D11D11D1DD1D1111:CCC0.0NC1CNC2.1.3.4 dProofs67.txt:4814 15 CCCpCqCrCsstCut D1DDD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DDD1DD11D11D11DD1D11D11:CCC0C1C2C3.3.4C5.4 dProofs67.txt:25553 15 CpCqNCCCNrNqrNq DD1D1DD1DD11D11D1DD1D111DD1DD1D1DD1DD11D11D1DD1D111D11DDD1DD11D1111:C0C1NCCCN2N1.2N1 dProofs67.txt:32651 15 CpCqCrCsCCtuCuu DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DDD1DD11D11D1DD1D111DD1D111:C0C1C2C3CC4.5C5.5 [instance of CpCqCrCsCtCuu] dProofs67.txt:38048 15 CpCqCrCCNsNCtps DDD11DD1DD11DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111D1DD1D1111:C0C1C2CCN3NC4.0.3 dProofs67.txt:45658 15 CNCCCppNCqCrrst DDD11DDDDD1D11DDD11111DDD1D11D111DDD1D1DD1D1DDD11D111D11D1DD1D11111:CNCCC0.0NC1C2.2.3.4 dProofs67.txt:161702 15 CNCCCpCNCqrsqtq DDD1D1DD1DD11D11D11D1DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D1111:CNCCC0CNC1.2.3.1.4.1 dProofs67.txt:161704 15 CNCCCNCpCqrsqtq DDD1D1DD1DD11D11D11D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D111:CNCCCNC0C1.2.3.1.4.1 dProofs67.txt:161707 15 CNCCCNCpCqrqsts DDD1D1DD1DD11D11D11D1DD1DDD1DD11D11D1DD1D111DD11DD1DD11D11D11D1D111:CNCCCNC0C1.2.1.3.4.3 dProofs67.txt:161708 15 CNCCCNCpCqqrsts DDD1D1DD1DD11D11D11D1DD1DDD1DD11D11D1DD1D111DD1D11D11DD1DD11D11D111:CNCCCNC0C1.1.2.3.4.3 dProofs67.txt:161786 15 CCCpCCNqNCrsqrr DDD1D1DD1DD11D11D1DD1D111D1DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111:CCC0CCN1NC2.3.1.2.2 dProofs67.txt:161798 15 CCCNCpCNCqrstqq DDD1D1DD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D111:CCCNC0CNC1.2.3.4.1.1 dProofs67.txt:161802 15 CCCpCqCCNrNprss DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111D1DD11DD1DD11D11D111:CCC0C1CCN2N0.2.3.3 dProofs67.txt:161804 15 CCCpCCNqNCqrqss DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1DD1DD1D1111D1D111:CCC0CCN1NC1.2.1.3.3 dProofs67.txt:162377 15 CNCpCNCCCqrqstq DDD1D1DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D11D1DD1DD11D11D1DD1D1111:CNC0CNCCC1.2.1.3.4.1 dProofs67.txt:162384 15 CNCpCCCNCqrsqtq DDD1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11D1DD1DD11D11D111:CNC0CCCNC1.2.3.1.4.1 dProofs67.txt:193673 15 CpCqCrCNCNCsrtu DDD1DD11D11D1DD1D111DD11DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11:C0C1C2CNCNC3.2.4.5 dProofs67.txt:322130 15 CNCNCCCpCqqrsrt DDDD1DD11D11D11DDD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D11D1111:CNCNCCC0C1.1.2.3.2.4 dProofs69.txt:6669 15 CCCCpCpqCpqrCsr D1DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1D1DD1DD11D11D1DD1D111:CCCC0C0.1C0.1.2C3.2 dProofs69.txt:26681 15 CpCNCqCrCsCNstu DD11DDDD11DD1D1DDD11D111D1DD1D1111DD1D11D1DD1D1DD1DD11D11D1DD1D111D11:C0CNC1C2C3CN3.4.5 dProofs69.txt:37715 15 CpCCCNCNCqrstqq DD1D1DD1DD11D11D1DD1D111D1DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11:C0CCCNCNC1.2.3.4.1.1 dProofs69.txt:38532 15 CpCNCNCCCqrqstq DD1D1DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11D1DD1DD11D11D1DD1D111:C0CNCNCCC1.2.1.3.4.1 dProofs69.txt:48304 15 CpCqCrCCCsstCut DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DDD1DD11D11D1DD1D111D1DD1D111:C0C1C2CCC3.3.4C5.4 dProofs69.txt:50236 15 CpCNCCNqNCNprqs DD1DD1D1DD1DD11D11D1DD1D111D11DD1DDD1DD11D1111DDD1D1DD1DD11D11D11D111:C0CNCCN1NCN0.2.1.3 dProofs69.txt:50456 15 CpCqCCNCrsNrCrs DD1DD1DD1D1111D1D1DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:C0C1CCNC2.3N2C2.3 dProofs69.txt:55184 15 CpCqCNCNCrCsrtu DD1DDD1DD11D11D1DD1D111DDD1DD11D11D11DD1DD11D11D1DD1D111DD1DD11D11D11:C0C1CNCNC2C3.2.4.5 dProofs69.txt:288027 15 CpCqCNCrCsCNstu DDD1DD11D11D1DD1D111DDD1DD11D11D11DD1D11D1DD1D1DD1DD11D11D1DD1D111D11:C0C1CNC2C3CN3.4.5 dProofs69.txt:442245 15 CCNpNCNCqCNqrsp DDDD1D11DDD11111DDDD1DD11D11D11DDD1D11D1DD1D1DD1DD11D11D1DD1D111D1111:CCN0NCNC1CN1.2.3.0 dProofs69.txt:477993 15 CNCCNpNCNCpqrps DDDD1DD11D11D11DDD1D11DD1DD1D1DD1DD11D11D1DD1D111D11DDD1D11DDD1111111:CNCCN0NCNC0.1.2.0.3 dProofs71.txt:39237 15 CpCNCqCrCNCstsu DD11DDDD11DD1D1DDD11D111D1DD1D1111DD1D1DD1DD11D11D11DD1DD11D11D1DD1D111:C0CNC1C2CNC3.4.3.5 dProofs71.txt:68884 15 CpCqCCCrCsstCut DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111D1DDD1DD11D11D1DD1D111DD1D11D11:C0C1CCC2C3.3.4C5.4 dProofs71.txt:68912 15 CpCqCrCNCstCNsu DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D1DD1DD11D11D11DD1DD11D11D11:C0C1C2CNC3.4CN3.5 dProofs71.txt:78711 15 CpCqCrCNCsCNptu DD1DDD1DD11D11D1DD1D111D11DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D1DD1D111:C0C1C2CNC3CN0.4.5 dProofs71.txt:78714 15 CpCqCNCrCsCNptu DD1DDD1DD11D11D1DD1D111D11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D11:C0C1CNC2C3CN0.4.5 dProofs71.txt:79004 15 CpCqCNCrCNCsptu DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DDD1DD11D11D1DD1D111D11DD1DD11D11D11:C0C1CNC2CNC3.0.4.5 dProofs71.txt:355498 15 CCCpCCNqNCrrqss DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1DD1DD1D1111D1DD1D1111:CCC0CCN1NC2.2.1.3.3 dProofs71.txt:375906 15 CpCCNqNCCCrsrrq DDD1D1DDD11D111D1DD1D111DDD1D1DD1DD11D11D1DD1D111D1DD1DD11D11D1DD1D1111:C0CCN1NCCC2.3.2.2.1 dProofs71.txt:427808 15 CpCCCqCrCsstCut DDD1DD11D11D1DD1D111D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D11D11:C0CCC1C2C3.3.4C5.4 dProofs71.txt:429908 15 CpCqCNCrCNCstsu DDD1DD11D11D1DD1D111DDD1DD11D11D11DD1D1DD1DD11D11D11DD1DD11D11D1DD1D111:C0C1CNC2CNC3.4.3.5 dProofs71.txt:648055 15 CCNpNCqCrCsCtrp DDDD1D11DDD11111DD11DD1DDD1DD11D11D1DD1D111D1DD1D111DD1DD11D11D1DD1D111:CCN0NC1C2C3C4.2.0 dProofs71.txt:660777 15 CCNpNCNCNCqrqsp DDDD1D11DDD11111DDDD1DD11D11D11DDD1D1DD1DD11D11D11DD1DD11D11D1DD1D11111:CCN0NCNCNC1.2.1.3.0 dProofs71.txt:704273 15 CNpCNCCNqNCprqs DDDD1D1DD1D1D1DD11D11D1DD1D111DD1DD11D11D111DDD1D11DDD11DD1DD11D11D1111:CN0CNCCN1NC0.2.1.3 dProofs71.txt:816313 15 CCCppNCqCNCrrst DDDDD1D11DDD11111DDD1DD1D111DD1DD11D11D111DDD1D1DD1DD11D11D11D1DD1D1111:CCC0.0NC1CNC2.2.3.4 dProofs73.txt:9057 15 CCCCCpqrCqrsCts D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111D1DDD1DD11D11D1DD1D111D1DD1D111:CCCCC0.1.2C1.2.3C4.3 dProofs73.txt:11841 15 CCCNCpCNpqrsCts D1DD1DDD1DD11D11D1DD1D111DD1D11D1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11:CCCNC0CN0.1.2.3C4.3 dProofs73.txt:79748 15 CpCCCqCCrsCsstt DD1D1DD1DD11D11D1DD1D111D1DD1DD1D111DDDD11DD1D1DDD11D111D1DD1D1111DD1D111:C0CCC1CC2.3C3.3.4.4 [instance of CpCCCqCrCsstt] dProofs73.txt:117871 15 CpCqCCNrNCsCtpr DDD11DDD11DD1DD11DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111D1DD1D11111:C0C1CCN2NC3C4.0.2 dProofs73.txt:525998 15 CNCCCpCqCNprsts DDD1D1DD1DD11D11D11D1DDD1DD11D11D1DD1D111DD1D11D1DDD1DD11D11D1DD1D111D111:CNCCC0C1CN0.2.3.4.3 dProofs73.txt:526206 15 CNCpqCCNrNCNpsr DDD1D1DD1DD11D11D11DD1DD1D1DD1DD11D11D1DD1D111D11DD1D1DDD11D111D1DD1D1111:CNC0.1CCN2NCN0.3.2 dProofs73.txt:526287 15 CCCCNpNCqCrrpss DDD1D1DD1DD11D11D1DD1D111D1DD1DD1DD1D1111D1DDD1DD11D11D1DD1D111DD1D11D111:CCCCN0NC1C2.2.0.3.3 dProofs73.txt:526295 15 CCCpCCNqNCrpqss DDD1D1DD1DD11D11D1DD1D111D1DD1DDD1DD11D11D1DD1D111D1DD11DD1DD11D11D11D111:CCC0CCN1NC2.0.1.3.3 dProofs73.txt:526301 15 CCCCNpNCqCrsprr DDD1D1DD1DD11D11D1DD1D111D1DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D11111:CCCCN0NC1C2.3.0.2.2 dProofs73.txt:528331 15 CNCCNpNCNCqrspq DDD1D1DD1DD1D1DD1DD11D11D1DD1D111D11DD1D1DDD11D111D11DD1DD11D11D1DD1D1111:CNCCN0NCNC1.2.3.0.1 dProofs73.txt:528334 15 CNCNCCpCpqrsCpq DDD1D1DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11D1D1DD1DD11D11D1DD1D1111:CNCNCC0C0.1.2.3C0.1 dProofs73.txt:528339 15 CNCNCpqrCCNsNps DDD1D1DD1DD1D1DD1DD11D11D1DD1D111D11DD1DD11D11D11DD1D1DDD11D111D1DD1D1111:CNCNC0.1.2CCN3N0.3 dProofs73.txt:559491 15 CCNpNCqCCCprpsp DDD1D1DDD11DD1DD11DD1D1DDD11D111D1DD1D111D1DD1D1111D1DD1DD11D11D1DD1D1111:CCN0NC1CCC0.2.0.3.0 dProofs73.txt:608060 15 CpCNCNCqCrCstsu DDD1DD11D11D11DDD1D11DD1DDD1DD11D11D1DD1D111D1DD1D111DDD11DD1DD11D11D1111:C0CNCNC1C2C3.4.3.5 dProofs73.txt:636659 15 CpCqCCCCrsCsstt DDD1DD11D11D1DD1D111DD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D111:C0C1CCCC2.3C3.3.4.4 [instance of CpCqCCCrCsstt] dProofs73.txt:974859 15 CCNpNCCCqCrrssp DDDD1D11DDD11111DDD1D1DD1DD11D11D1DD1D111D1DDD1DD11D11D1DD1D111DD1D11D111:CCN0NCCC1C2.2.3.3.0