dProofs19.txt:55 3 Cpp DDDD1D1D11D1D1D1111:C0.0 dProofs13.txt:10 5 CpCqp DDD11D1D1D111:C0C1.0 dProofs17.txt:31 5 CpCqq DDD1D1D11D1D1D111:C0C1.1 dProofs35.txt:969 5 CNNpp DDD11DDD1D1DD1D1D111DDD11D1D1D11111:CNN0.0 dProofs43.txt:14745 5 NNCpp DDDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNC0.0 dProofs59.txt:722706 5 CpNNp DDDD1D1D11D1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D111111:C0NN0 dProofs21.txt:85 6 CNCppq DDDD1D1D11DD1D11D1111:CNC0.0.1 dProofs41.txt:2347 6 CpCNpq DD1D1D1DD1D1D11D1D1D11D1D1DD1D1D11D1D1D11:C0CN0.1 dProofs59.txt:182585 6 CNpCpq DD1D1D1DD1D1D11D1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11:CN0C0.1 dProofs63.txt:1937286 6 CNCpqp DDDD1D1D11D1D1D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D1111:CNC0.1.0 dProofs11.txt:5 7 CpCqCrq DD11D1D1D11:C0C1C2.1 dProofs15.txt:8 7 CpCqCrr DD1D1D11D1D1D11:C0C1C2.2 dProofs31.txt:230 7 CpCqNNp DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NN0 dProofs33.txt:298 7 CpCNNqq DD11DDD1D1DD1D1D111DDD11D1D1D1111:C0CNN1.1 dProofs33.txt:418 7 CpCqCrp DD1D1DD1D1D11D1D1D11DDD11D1D1D111:C0C1C2.0 dProofs41.txt:6675 7 CpNNCqq DDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0NNC1.1 dProofs41.txt:9422 7 CNNpCqp DDDD1D1DDDD11D1D1D111D1D1111DDD11D1D1D111:CNN0C1.0 dProofs43.txt:11581 7 CNCpqNq DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D111D1D111:CNC0.1N1 dProofs47.txt:31210 7 CpNNCqp DDD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0NNC1.0 dProofs47.txt:38625 7 NNCpCqp DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11D1D1D1111:NNC0C1.0 dProofs51.txt:102208 7 NNCpCqq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1D1D11D1D1D1111:NNC0C1.1 dProofs57.txt:318798 7 CpCqNNq DDD1D1D11D1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D11111:C0C1NN1 dProofs63.txt:2054507 7 CNNNNpp DDDD1D1DDDD11D1D1D111D1D1111DDD11DDD1D1DD1D1D111DDD11D1D1D11111:CNNNN0.0 dProofs69.txt:8578173 7 NNCNNpp DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11DDD1D1DD1D1D111DDD11D1D1D111111:NNCNN0.0 dProofs73-unfiltered71+.txt:19640352 7 CNCpNqq DDD11DDDD1D1DD1DD1DD1DD11D1D1D11D1DD1D1DD1D111D1D1D1D111111DDD11D1D1D1111:CNC0N1.1 dProofs75-unfiltered71+.txt:48059050 7 NNNNCpp DDD1D1D1D11DD1D1DD1D1D11D1D1D11DDDDD1D1D11DD1D1111DDD1D1DD1DD11D1D1D1111111:NNNNC0.0 dProofs83-unfiltered71+.txt:744633431 7 NNCpNNp DDDD1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNC0NN0 dProofs9.txt:4 8 CpCqCNpr DD1D11D11:C0C1CN0.2 dProofs19.txt:45 8 CpCNCqqr DDD1D1D11DD1D11D111:C0CNC1.1.2 dProofs25.txt:179 8 CpCNCqpr DDD1DDD1D1D1111DD1D11D111:C0CNC1.0.2 dProofs25.txt:211 8 CNCpCqpr DDDD1D11D11DDD11D1D1D1111:CNC0C1.0.2 dProofs29.txt:521 8 CNCpCqqr DDDD1D11D11DDD1D1D11D1D1D1111:CNC0C1.1.2 dProofs39.txt:2379 8 CpCqCNqr DD1DDD1D1DD1D1DD1D1D11D1D1D111D111D1D11:C0C1CN1.2 dProofs39.txt:2451 8 CNNpCNpq DDD11DDDD1D1DD1DD11D1D1D11111DD1D11D111:CNN0CN0.1 [instance of CNpCpq] dProofs41.txt:2642 8 CCNpNNpp DD1D1DD1D1D11D1D1D11DDD1D1DD1D1D111D1D111:CCN0NN0.0 dProofs47.txt:35887 8 CNCNNppq DDDD1D11D11DDD11DDD1D1DD1D1D111DDD11D1D1D111111:CNCNN0.0.1 dProofs47.txt:42221 8 CNNNCppq DDDDD1D1D11DD1D1111DDD1D1DDDD11D1D1D111D1D11111:CNNNC0.0.1 dProofs53.txt:187212 8 NNCNCppq DDDDDD1D1D11DD1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNCNC0.0.1 dProofs61.txt:850605 8 CpCNCqrq DDD1D1D11D1D1D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D111:C0CNC1.2.1 dProofs61.txt:1184578 8 CNCpNNpq DDDD1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111DD1D11D1111:CNC0NN0.1 dProofs63.txt:1945305 8 CNCpqCqr DDDD1D1DD1D1DD1D1D11D1D1D111DD1D11D111DDD1DDD1D1D1111DD1D11D111:CNC0.1C1.2 dProofs65.txt:665597 8 CpCNqCqr DD11DDD1D1DD1D1DD1D1D11D1D1D111DD1D1DD1D1D11D1D1D11DDD11D1D1D1111:C0CN1C1.2 dProofs69.txt:2152357 8 CpCNNNpq DD1D1D1DD1D1D11D1D1D11DDD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D1111:C0CNNN0.1 dProofs73-unfiltered71+.txt:28083059 8 CCNppCqp DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D11111:CCN0.0C1.0 dProofs73-unfiltered71+.txt:29142162 8 CNCpCqrq DDD1D1DDD1D1DD1D1DD1D1D11D1D1D111DD1D1DD1DD11D1D1D111DDD11D1D1D1111D1D111:CNC0C1.2.1 dProofs75-unfiltered71+.txt:65419430 8 NNCpCNpq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1DD1D1D11D1D1D111:NNC0CN0.1 dProofs81-unfiltered71+.txt:313398666 8 CNNNCpqp DDD1D1D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DDD1D1DDDD11D1D1D111D1D11111:CNNNC0.1.0 dProofs7.txt:1 9 CCCppqCrq D1D1D11:CCC0.0.1C2.1 dProofs9.txt:6 9 CCpqCqCpq DDD11D111:CC0.1C1C0.1 [instance of CpCqp] dProofs13.txt:8 9 CpCqCrCsr DD1DD1D111D11:C0C1C2C3.2 dProofs19.txt:1 9 CCCpqrCqr D1D1DD1D1D11D1D1D11:CCC0.1.2C1.2 dProofs19.txt:26 9 CpCCqpCrp DDD11DDD11D1D1D1111:C0CC1.0C2.0 [instance of CpCqCrp] dProofs21.txt:32 9 CpCCpqCrq DD1D1DD1D1D11D1D1D111:C0CC0.1C2.1 dProofs21.txt:34 9 CpCqCrCss DD1DD11D1D1D11D1D1D11:C0C1C2C3.3 dProofs27.txt:286 9 CCpqCNNpq DDD1D1DDDD11D1D1D111D1D1111:CC0.1CNN0.1 dProofs31.txt:639 9 CpCCNqNpq DDD1D1D11D1D1D1DD1D1D11D1D1D111:C0CCN1N0.1 dProofs31.txt:916 9 CNCNCppqr DDDDDD1D1D11DD1D1111DD1D11D1111:CNCNC0.0.1.2 dProofs33.txt:220 9 CCCpqpCrp D1DDD1D1DD1D1DD1D1D11D1D1D111D111:CCC0.1.0C2.0 dProofs33.txt:436 9 CpCqCrCsq DD1DD11D1D1D11D1D1DD1D1D11D1D1D11:C0C1C2C3.1 dProofs33.txt:533 9 CpCqCNNrr DD1DD1D1DD1D1D111DDD11D1D1D111D11:C0C1CNN2.2 dProofs37.txt:1550 9 CNNCCppqq DDD11DDDD1D1DD1DD11D1D1D11111D1D1D111:CNNCC0.0.1.1 dProofs39.txt:1321 9 CpCqNNCrr DD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNC2.2 dProofs41.txt:2694 9 CpCNCqrNr DD1D1DD1D1DDDD11D1D1D111D1D11DD1D111D1D11:C0CNC1.2N2 dProofs41.txt:2869 9 CpCNNqCrq DD1DD11D1D1D11DDD1D1DDDD11D1D1D111D1D1111:C0CNN1C2.1 dProofs41.txt:6682 9 CCNpNCqqp DDD1D1D11DDD1D1D11D1D1D1DD1D1D11D1D1D1111:CCN0NC1.1.0 dProofs45.txt:5120 9 CpCqCrNNq DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11:C0C1C2NN1 dProofs45.txt:9808 9 CpCqNNCrq DD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNC2.1 dProofs45.txt:17465 9 CpNNCqCrq DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11D1D1D111:C0NNC1C2.1 dProofs45.txt:23929 9 NNCpCqCrq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD11D1D1D111:NNC0C1C2.1 dProofs49.txt:45595 9 CpNNCqCrr DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1D1D11D1D1D111:C0NNC1C2.2 dProofs49.txt:62718 9 NNCpCqCrr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1D11D1D1D111:NNC0C1C2.2 dProofs51.txt:28981 9 CpCqNNCrp DD1D1DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNC2.0 dProofs51.txt:30084 9 CpCqCrNNp DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DDD11D1D1D111:C0C1C2NN0 dProofs51.txt:36344 9 CpCqCrCsp DD1DD1D1DD1D1D11D1D1D111D1DD1DD1DD11D1D1D11D1D1D111:C0C1C2C3.0 dProofs51.txt:79221 9 CNCpqCrNq DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D111DDD11D1D1D1111:CNC0.1C2N1 dProofs53.txt:70443 9 CNpCNCpqr DDD11DDD1D1DD1D1DD1D1D11D1D1D111DD1D11DDD11D1D1D11111:CN0CNC0.1.2 dProofs53.txt:152620 9 CNCpCNpqr DDDD1D11D11DD1D1D1DD1D1D11D1D1D11D1D1DD1D1D11D1D1D111:CNC0CN0.1.2 dProofs55.txt:57384 9 CpCqCrNNr DD1D1D11D1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111:C0C1C2NN2 dProofs61.txt:942923 9 CNCpCqrNr DDD1D1DD1DD1DD1DD11D1D1D11D1D1D1111DDD1DDD1D1D1111DD1D11D1111:CNC0C1.2N2 dProofs61.txt:1252633 9 CNNpCqCrp DDDD1D1DDDD11D1D1D111D1D1111DD1D1DD1D1D11D1D1D11DDD11D1D1D111:CNN0C1C2.0 dProofs63.txt:616216 9 CpCNNNNqq DD1DD11DDD1D1DD1D1D111DDD11D1D1D1111DDD1D1DDDD11D1D1D111D1D1111:C0CNNNN1.1 dProofs63.txt:820029 9 CNNCCpqpp DDD11DDDD1D1DD1DD11D1D1D11111D1DDD1D1DD1D1DD1D1D11D1D1D111D1111:CNNCC0.1.0.0 dProofs65.txt:892620 9 CNCpNqCrq DD1D1DD1D1D11D1DD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D11D1D11:CNC0N1C2.1 dProofs65.txt:3181278 9 NNCpCqNNp DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:NNC0C1NN0 dProofs65.txt:3185256 9 CNCNCpqpr DDDD1D1D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DD1D11D1111:CNCNC0.1.0.2 dProofs67.txt:1456274 9 CpNNCqCrp DD1D1DD1D1D11D1D1D11DDD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0NNC1C2.0 dProofs67.txt:3744798 9 CpNNCNNqq DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11DDD1D1DD1D1D111DDD11D1D1D11111:C0NNCNN1.1 dProofs67.txt:5219267 9 NCCppNCqq DDDD1D1D11DD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11D1D1111:NCC0.0NC1.1 dProofs67.txt:5222754 9 NNCpCNNqq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD11DDD1D1DD1D1D111DDD11D1D1D11111:NNC0CNN1.1 dProofs67.txt:5222873 9 NNCpCqCrp DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1DD1D1D11D1D1D11DDD11D1D1D1111:NNC0C1C2.0 dProofs69.txt:6788094 9 CCpNpCqNp DDD1D1DD1DD1DD1D1D11D1DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D1111111:CC0N0C1N0 dProofs69.txt:9128471 9 CNNNNpCqp DDDD1D1DDDD11D1D1D111D1D1111DDDD1D1DDDD11D1D1D111D1D1111DDD11D1D1D111:CNNNN0C1.0 dProofs71-unfiltered71+.txt:4123142 9 CpCNCqNrr DD11DDDD1D1DD1DD1DD1DD11D1D1D11D1DD1D1DD1D111D1D1D1D111111DDD11D1D1D111:C0CNC1N2.2 dProofs71-unfiltered71+.txt:18093336 9 CNCNpCpqr DDDD1D11D11DD1D1D1DD1D1D11D1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D111:CNCN0C0.1.2 dProofs71-unfiltered71+.txt:21027005 9 CNNNCpqNq DDDD1D1DDDD11D1D1D111D1D1111DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D111D1D111:CNNNC0.1N1 dProofs73-unfiltered71+.txt:12314914 9 CpNNNNCqq DD1D1D1D11DD1D1DD1D1D11D1D1D11DDDDD1D1D11DD1D1111DDD1D1DD1DD11D1D1D111111:C0NNNNC1.1 dProofs73-unfiltered71+.txt:13880853 9 CpCqNNNNp DD1D1DD1DD1D1DDDD11D1D1D111D1D111D1DD11DDD1D1DD1D1D111DDD11D1D1D1111D1D11:C0C1NNNN0 dProofs73-unfiltered71+.txt:19597221 9 CNNpNNCqp DDD11DDD1D1DD1D1D111DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DDD11D1D1D11111:CNN0NNC1.0 dProofs75-unfiltered71+.txt:65422744 9 NNCpNNCqq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNC0NNC1.1 dProofs75-unfiltered71+.txt:65424761 9 NNCNNpCqp DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDDD1D1DDDD11D1D1D111D1D1111DDD11D1D1D1111:NNCNN0C1.0 dProofs77-unfiltered71+.txt:92550708 9 CNCpCqNrr DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D111DDD1DDD1D1D1111DD1D11D1111:CNC0C1N2.2 dProofs77-unfiltered71+.txt:117362101 9 NNCNCpqNq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D111D1D1111:NNCNC0.1N1 dProofs79-unfiltered71+.txt:167638865 9 NNNNCpCqp DDD1D1D1D11DD1D1DD1D1D11D1D1D11DDDDD1D111DDD11D1D1D111DDD1D1DD1DD11D1D1D1111111:NNNNC0C1.0 dProofs81-unfiltered71+.txt:156693621 9 CCNpNCpqp DD1D1DD1D1D11D1D1D11DDD1D1DD1D1DD1D1D11D1D1D111D1DDD1D1DD1D1DD1D1D11D1D1D111D1111:CCN0NC0.1.0 dProofs81-unfiltered71+.txt:312919589 9 CpNNCqNNq DDD1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0NNC1NN1 dProofs81-unfiltered71+.txt:332798900 9 CNCpqNNNq DDD1D1DD1DD1DD1DD11D1D1D11D1D1D1111DD1D1DD1D1D11D1D1D11DDD1D1DD1D1D111DD1D11D1111:CNC0.1NNN1 dProofs81-unfiltered71+.txt:403244795 9 NNCpNNCqp DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNC0NNC1.0 dProofs83-unfiltered71+.txt:575945876 9 NNNNCpCqq DDD1D1D1D11DD1D1DD1D1D11D1D1D11DDDDD1D111DDD1D1D11D1D1D111DDD1D1DD1DD11D1D1D1111111:NNNNC0C1.1 dProofs13.txt:7 10 CpCqCrCNqs DD1D1D11D1D11:C0C1C2CN1.3 dProofs17.txt:11 10 CpCqCNCrrs DD1D1D11DD1D11D11:C0C1CNC2.2.3 dProofs19.txt:16 10 CpCqCrCNps DD1D11DDD11D1D1D111:C0C1C2CN0.3 dProofs23.txt:65 10 CpCqCNCrqs DD1DDD1D1D1111DD1D11D11:C0C1CNC2.1.3 dProofs23.txt:92 10 CpCNCqCrqs DDD1D11D11DDD11D1D1D111:C0CNC1C2.1.3 dProofs23.txt:131 10 CNCpCqCrqs DDDD1D11D11DD11D1D1D111:CNC0C1C2.1.3 dProofs27.txt:231 10 CpCNCqCrrs DDD1D11D11DDD1D1D11D1D1D111:C0CNC1C2.2.3 dProofs27.txt:327 10 CNCpCqCrrs DDDD1D11D11DD1D1D11D1D1D111:CNC0C1C2.2.3 dProofs29.txt:6 10 CCCpNqqCrq D1D1DD1D1DDDD11D1D1D111D1D111:CCC0N1.1C2.1 dProofs29.txt:175 10 CpCqCNCrps DD1D1DD1D1D11D1D1D11DD1D11D11:C0C1CNC2.0.3 dProofs37.txt:746 10 CpCNNqCNqr DD11DDDD1D1DD1DD11D1D1D11111DD1D11D11:C0CNN1CN1.2 [instance of CpCNqCqr] dProofs37.txt:3636 10 CNNpCqCNpr DDDD1D1DDDD11D1D1D111D1D1111DD1D11D11:CNN0C1CN0.2 dProofs41.txt:3319 10 CpCCNqNNqq DD1DD1D1DD1D1D111D1D11D1D1DD1D1D11D1D1D11:C0CCN1NN1.1 dProofs41.txt:3906 10 CNNpCNCqpr DDD11DDD1D1DD1D1D111DD1D11DDD11D1D1D11111:CNN0CNC1.0.2 dProofs43.txt:13618 10 CNCpCqNNpr DDDD1D11D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:CNC0C1NN0.2 dProofs43.txt:14763 10 NNCpCqCNpr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D11D111:NNC0C1CN0.2 dProofs45.txt:6863 10 CpCNCqCrps DD1D1DD1D1D11D1D1D11DDD1DDD1D1D1111DD1D11D111:C0CNC1C2.0.3 dProofs45.txt:14274 10 CpCNCNNqqr DDD1D11D11DDD11DDD1D1DD1D1D111DDD11D1D1D11111:C0CNCNN1.1.2 dProofs45.txt:21964 10 CNCpCNNqqr DDDD1D11D11DD11DDD1D1DD1D1D111DDD11D1D1D11111:CNC0CNN1.1.2 dProofs45.txt:22083 10 CNCpCqCrps DDDD1D11D11DD1D1DD1D1D11D1D1D11DDD11D1D1D1111:CNC0C1C2.0.3 dProofs45.txt:23898 10 CpCNNNCqqr DDDD1D1D11DD1D1111DDD1D1DDDD11D1D1D111D1D1111:C0CNNNC1.1.2 dProofs47.txt:8194 10 CpCqCrCNrs DD1D1D11D1D1D1DD1DD1D1DD1D1DD1D1D11D1D1D111D111:C0C1C2CN2.3 dProofs47.txt:11456 10 CCNpNNpCqp DD1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111D1D11:CCN0NN0C1.0 dProofs49.txt:1 10 CCCNpqrCpr D1D1D1DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D111:CCCN0.1.2C0.2 dProofs49.txt:62647 10 NNCpCNCqqr DDDD1D1D11DD1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNC0CNC1.1.2 dProofs51.txt:109513 10 CNNNCpCqpr DDDDD1D111DDD11D1D1D111DDD1D1DDDD11D1D1D111D1D11111:CNNNC0C1.0.2 dProofs51.txt:112281 10 CpNNCNCqqr DDDDD1D1D11DD1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0NNCNC1.1.2 dProofs53.txt:128683 10 CCNCpqqCpq DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D11111:CCNC0.1.1C0.1 dProofs53.txt:155934 10 CNCpNNCqqr DDDD1D11D11DDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:CNC0NNC1.1.2 dProofs53.txt:157933 10 CNCNNpCqpr DDDD1D11D11DDDD1D1DDDD11D1D1D111D1D1111DDD11D1D1D1111:CNCNN0C1.0.2 dProofs55.txt:76399 10 CNCCpqrCpq DD1D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11D1D11:CNCC0.1.2C0.1 [instance of CNCpqp] dProofs55.txt:195685 10 CpNNCqCNpr DDD1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111D1D111:C0NNC1CN0.2 dProofs55.txt:254463 10 CNCNCpqNqr DDDD1D11D11DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D111D1D1111:CNCNC0.1N1.2 dProofs55.txt:293556 10 CNNNCpCqqr DDDDD1D111DDD1D1D11D1D1D111DDD1D1DDDD11D1D1D111D1D11111:CNNNC0C1.1.2 dProofs57.txt:187487 10 CNCpqCNNqr DDD11DDD1D1DD1D1DD1D1D11D1D1D111D1D1DDDD11D1D1D111D1D1111:CNC0.1CNN1.2 dProofs57.txt:496075 10 NNCNCpCqpr DDDDDD1D111DDD11D1D1D111DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNCNC0C1.0.2 dProofs59.txt:153255 10 CpCqCNCrsr DD1D1D11D1D1D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11:C0C1CNC2.3.2 dProofs59.txt:306149 10 CNNCCpNqqq DDD11DDDD1D1DD1DD11D1D1D11111D1D1DD1D1DDDD11D1D1D111D1D1111:CNNCC0N1.1.1 dProofs59.txt:521620 10 CpCNCqNNqr DDD1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111DD1D11D111:C0CNC1NN1.2 dProofs59.txt:680035 10 CNCpNNCqpr DDDD1D11D11DDD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:CNC0NNC1.0.2 dProofs59.txt:724067 10 NNCpCNCqpr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1DDD1D1D1111DD1D11D1111:NNC0CNC1.0.2 dProofs61.txt:936111 10 CNNCNpNNpp DDD1D1DD1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D1111D1D111:CNNCN0NN0.0 dProofs61.txt:1336997 10 NNCNCpCqqr DDDDDD1D111DDD1D1D11D1D1D111DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNCNC0C1.1.2 dProofs63.txt:759522 10 CpCNCqrCrs DD1DD1DDD1D1D1111DD1D11D11DDD1D1DD1D1DD1D1D11D1D1D111DD1D11D111:C0CNC1.2C2.3 dProofs65.txt:1104444 10 CpCqCNrCrs DD1DD1D1DD1D1DD1D1D11D1D1D111DD1D1DD1D1D11D1D1D11DDD11D1D1D111D11:C0C1CN2C2.3 dProofs67.txt:2204909 10 CNNNNpCNpq DDD11DDDD1D1DD1DD11D1D1D11111DDDD1D1DDDD11D1D1D111D1D1111DD1D11D111:CNNNN0CN0.1 dProofs69.txt:2973376 10 CpCqCNNNqr DD1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D111D1D1D1DD1D1D11D1D1D11:C0C1CNNN1.2 dProofs69.txt:3390741 10 CpCqCNNNpr DD1DDD1D1DD1DD11D1D1D111DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D1111D11:C0C1CNNN0.2 dProofs69.txt:7997862 10 CNCpCqNNqr DDDD1D11D11DDD1D1D11D1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D111111:CNC0C1NN1.2 dProofs71-unfiltered71+.txt:4810910 10 CCCppNqCqr DD1D1D1DD1D1D11D1D1D11D1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11:CCC0.0N1C1.2 dProofs71-unfiltered71+.txt:5476513 10 CCNpNCqNpp DD1D1DD1D1D11D1D1D11DDDD1D1DD1D1D111DDD11D1D1D1111DD1D1DD1D111D1D1D1D11:CCN0NC1N0.0 dProofs71-unfiltered71+.txt:5597949 10 CpCCNqqCrq DD1D1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D1111:C0CCN1.1C2.1 dProofs71-unfiltered71+.txt:5852988 10 CpCNCqCrsr DD1D1DDD1D1DD1D1DD1D1D11D1D1D111DD1D1DD1DD11D1D1D111DDD11D1D1D1111D1D11:C0CNC1C2.3.2 dProofs73-unfiltered71+.txt:12315274 10 CCCpqNqCqr DD1D1D1DD1D1D11D1D1D11D1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D1D11:CCC0.1N1C1.2 dProofs73-unfiltered71+.txt:12321058 10 CNCpCqrCsq DD1D1D1DD1DDD1D1D1111DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DD1D11D11D1D11:CNC0C1.2C3.1 dProofs73-unfiltered71+.txt:26619321 10 CpNNCqCNqr DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1DD1D1D11D1D1D11:C0NNC1CN1.2 dProofs73-unfiltered71+.txt:37445910 10 NNCpCqCNqr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1DDD1D1DD1D1DD1D1D11D1D1D111D111D1D111:NNC0C1CN1.2 dProofs73-unfiltered71+.txt:37445981 10 NNCNNpCNpq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11DDDD1D1DD1DD11D1D1D11111DD1D11D1111:NNCNN0CN0.1 dProofs73-unfiltered71+.txt:42632658 10 CNNNCNNppq DDDDD1D111DDD11DDD1D1DD1D1D111DDD11D1D1D11111DDD1D1DDDD11D1D1D111D1D11111:CNNNCNN0.0.1 dProofs75-unfiltered71+.txt:62661571 10 CNCNNNNppq DDDD1D11D11DDDD1D1DDDD11D1D1D111D1D1111DDD11DDD1D1DD1D1D111DDD11D1D1D111111:CNCNNNN0.0.1 dProofs75-unfiltered71+.txt:65348812 10 CCCppNCqrq DDDD1D1D11D1D1D1DD1D1D11D1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D1111:CCC0.0NC1.2.1 dProofs75-unfiltered71+.txt:65419725 10 NNCCNpNNpp DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1DD1D1D11D1D1D11DDD1D1DD1D1D111D1D1111:NNCCN0NN0.0 dProofs75-unfiltered71+.txt:69585415 10 CNNNNNCppq DDDD1D1DDDD11D1D1D111D1D1111DDDDD1D1D11DD1D1111DDD1D1DDDD11D1D1D111D1D11111:CNNNNNC0.0.1 dProofs77-unfiltered71+.txt:88589137 10 CCpqCNCprq DDD1D1D1DD1D1D11D1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1DD1D1D11D1D1D1111:CC0.1CNC0.2.1 dProofs79-unfiltered71+.txt:174797 10 CCCpqrCNpr D1D1D1DD1DD1DD11D1D1D11DDD1D1DD1DD1DD1DD11D1D1D11D1DD1D1DD1D111D1D1D1D111111D11:CCC0.1.2CN0.2 dProofs79-unfiltered71+.txt:84474682 10 CpCNNNCqrq DD1D1D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DDD1D1DDDD11D1D1D111D1D1111:C0CNNNC1.2.1 dProofs79-unfiltered71+.txt:89229511 10 CCNpNNNNpp DD1D1DD1D1D11D1D1D11DDDD1D1DD1DD11D1D1D11111DDD11DDD1D1DD1D1D111DDD11D1D1D11111:CCN0NNNN0.0 dProofs79-unfiltered71+.txt:91566707 10 CpCNCqNNpr DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DD1D1D1DD1D1D11D1D1D11D1D1DD1D1D11D1D1D11:C0CNC1NN0.2 dProofs79-unfiltered71+.txt:258319067 10 NNCNCNNppq DDDDDD1D111DDD11DDD1D1DD1D1D111DDD11D1D1D11111DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNCNCNN0.0.1 dProofs79-unfiltered71+.txt:260733733 10 CNCNCpqrNq DDDDDD1D1DD1DD11D1D1D111DD1D1111DD1D11D11DD1D1DD1D111D1D1D1D11DDD1D1D11D1D1D111:CNCNC0.1.2N1 dProofs81-unfiltered71+.txt:148897414 10 CpCqNNCNpr DD1D1D1DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D111DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNCN0.2 dProofs81-unfiltered71+.txt:403252321 10 NNCNNNCppq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDDDD1D1D11DD1D1111DDD1D1DDDD11D1D1D111D1D111111:NNCNNNC0.0.1 dProofs81-unfiltered71+.txt:466857863 10 CNCpCqrCrs DDDDD1D1DD1DD1DDD1D1D1111DD1D11DD1D11D11D1D1DD1D111D1111DDD1DDD1D1D1111DD1D11D111:CNC0C1.2C2.3 dProofs83-unfiltered71+.txt:228009195 10 CpCNqNNCqr DD11DDD1D1DD1D1DD1D1D11D1D1D111DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DDD11D1D1D1111:C0CN1NNC1.2 dProofs83-unfiltered71+.txt:228010695 10 CpCNqCrCqs DD11DDD1D1DD1D1DD1D1D11D1D1D111DD1DD1D1DD1D1D11D1D1D111D1DD1DD1DD11D1D1D11D1D1D1111:C0CN1C2C1.3 dProofs83-unfiltered71+.txt:272277884 10 CNCpqCrCqs DD1D1D1DD1D1DD1D1DD1D1D11D1D1D111DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DD1D11D11D11:CNC0.1C2C1.3 dProofs7.txt:2 11 CpCCqrCrCqr DD11D11:C0CC1.2C2C1.2 [instance of CpCqCrq] dProofs9.txt:1 11 CCCpqNqCrNq D1D1D1D11:CCC0.1N1C2N1 dProofs13.txt:2 11 CCCpCqprCsr D1DD11D1D1D11:CCC0C1.0.2C3.2 dProofs17.txt:4 11 CCCpCqqrCsr D1DD1D1D11D1D1D11:CCC0C1.1.2C3.2 dProofs17.txt:10 11 CpCqCCrqCsq DD11DDD11D1D1D111:C0C1CC2.1C3.1 [instance of CpCqCrCsq] dProofs19.txt:25 11 CpCCCqqrCsr DD1DD1D1D11D1D1D111:C0CCC1.1.2C3.2 dProofs21.txt:80 11 CNCpCqCNprs DDDD1D11D11DD1D11D111:CNC0C1CN0.2.3 dProofs23.txt:35 11 CpCqCrCsCts DD1D1D11D1DD1DD1D111D11:C0C1C2C3C4.3 dProofs25.txt:72 11 CpCCqrCNNqr DD1D1DDDD11D1D1D111D1D111:C0CC1.2CNN1.2 dProofs27.txt:348 11 CNCpCNCqqrs DDDD1D1D11DD1D11DD1D11D1111:CNC0CNC1.1.2.3 dProofs29.txt:127 11 CpCqCCNrNqr DD1D1D11D1D1D1DD1D1D11D1D1D11:C0C1CCN2N1.2 dProofs29.txt:244 11 CpCCCqrsCrs DD1DD1DD1DD11D1D1D11D1D1D1111:C0CCC1.2.3C2.3 dProofs29.txt:571 11 CpCNCNCqqrs DDDDD1D1D11DD1D1111DD1D11D111:C0CNCNC1.1.2.3 dProofs31.txt:194 11 CpCqCrCsCtt DD1D1D11D1DD1DD11D1D1D11D1D1D11:C0C1C2C3C4.4 dProofs33.txt:535 11 CpCCCqrqCsq DD1DD1D1DD1D1DD1D1D11D1D1D111D111:C0CCC1.2.1C3.1 dProofs35.txt:36 11 CCCpCqrqCsq D1D1DDD1D1DD1D1DD1D1D11D1D1D111D111:CCC0C1.2.1C3.1 dProofs35.txt:41 11 CCCNNppqCrq D1DD11DDD1D1DD1D1D111DDD11D1D1D1111:CCCNN0.0.1C2.1 dProofs35.txt:478 11 CpCNNCCqqrr DD11DDDD1D1DD1DD11D1D1D11111D1D1D11:C0CNNCC1.1.2.2 dProofs35.txt:588 11 CpCqCCNrNpr DD1D1D1DD1D1D11D1D1D11DDD11D1D1D111:C0C1CCN2N0.2 dProofs35.txt:1803 11 CpCqCCqrCsr DDDD11D1D1D111DD1D1DD1D1D11D1D1D111:C0C1CC1.2C3.2 dProofs35.txt:2252 11 CNNCCppqCrq DDDD1D1DDDD11D1D1D111D1D1111D1D1D11:CNNCC0.0.1C2.1 dProofs35.txt:2390 11 CNCNCpCqprs DDDDDD1D111DDD11D1D1D111DD1D11D1111:CNCNC0C1.0.2.3 dProofs37.txt:44 11 CCCpNNqrCqr D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11:CCC0NN1.2C1.2 dProofs37.txt:1110 11 CpCqCrCNNss DD1DD11D1D1D11D1D1DDDD11D1D1D111D1D11:C0C1C2CNN3.3 dProofs37.txt:1545 11 CpNNCCqpCrp DDD11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0NNCC1.0C2.0 [instance of CpNNCqCrp] dProofs37.txt:3374 11 CNCpCNCqprs DDDD1D11D11DDD1DDD1D1D1111DD1D11D1111:CNC0CNC1.0.2.3 dProofs39.txt:1459 11 CpCCNqNCrrq DD1D1D11DDD1D1D11D1D1D1DD1D1D11D1D1D111:C0CCN1NC2.2.1 dProofs39.txt:1719 11 CpCCNNpqCrq DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D111:C0CCNN0.1C2.1 dProofs39.txt:2445 11 CpCqCCrpCsp DDD11DD1D1DD1D1D11D1D1D11DDD11D1D1D1111:C0C1CC2.0C3.0 [instance of CpCqCrCsp] dProofs39.txt:2449 11 CNNCCpqNqNq DDD11DDDD1D1DD1DD11D1D1D11111D1D1D1D111:CNNCC0.1N1N1 dProofs39.txt:6196 11 CNCNCpCqqrs DDDDDD1D111DDD1D1D11D1D1D111DD1D11D1111:CNCNC0C1.1.2.3 dProofs41.txt:2639 11 CpCCCqprCsr DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D111:C0CCC1.0.2C3.2 dProofs41.txt:3332 11 CpCqCNNrCsr DD1DD1D1DDDD11D1D1D111D1D111D1DD11D1D1D11:C0C1CNN2C3.2 dProofs41.txt:9106 11 NNCCCppqCrq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11D1D1D111:NNCCC0.0.1C2.1 dProofs43.txt:2154 11 CCNNCppqCrq D1DDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:CCNNC0.0.1C2.1 dProofs43.txt:3162 11 CpCqCNCrsNs DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D111:C0C1CNC2.3N3 dProofs43.txt:3225 11 CpCqCrCsCtr DD1D1D11D1DD1DD11D1D1D11D1D1DD1D1D11D1D1D11:C0C1C2C3C4.2 dProofs43.txt:6352 11 CNNCCpCqprr DDD11DDDD1D1DD1DD11D1D1D11111D1DD11D1D1D111:CNNCC0C1.0.2.2 dProofs43.txt:10851 11 CpNNCqCrCsr DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD11D1D1D11:C0NNC1C2C3.2 dProofs43.txt:14765 11 NNCCpqCqCpq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11D1111:NNCC0.1C1C0.1 [instance of NNCpCqp] dProofs45.txt:6114 11 CpCqNCNNpNq DD1D1D1DD1D1D11D1D1D11D1D1D1D1DD1D1D11D1D1D11:C0C1NCNN0N1 dProofs45.txt:7339 11 CpCqNNCrCsr DD1DD11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNC2C3.2 dProofs45.txt:23885 11 CCNpNCqCrqp DDDD1D1D11D1D1D1DD1D1D11D1D1D111DDD11D1D1D111:CCN0NC1C2.1.0 dProofs47.txt:1 11 CCCpNNpqCrq D1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111:CCC0NN0.1C2.1 dProofs47.txt:18 11 CCCpCqrsCrs D1D1DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D111:CCC0C1.2.3C2.3 dProofs47.txt:8129 11 CpCNCqCNprs DD1D11DD1D1D1DD1D1D11D1D1D11D1D1DD1D1D11D1D1D11:C0CNC1CN0.2.3 dProofs47.txt:11235 11 CpCCNqNpCrq DD1D1DD1D1DD1D1DD1D1D11D1D1D111D11DDD11D1D1D111:C0CCN1N0C2.1 dProofs47.txt:16419 11 CNNCCpCqqrr DDD11DDDD1D1DD1DD11D1D1D11111D1DD1D1D11D1D1D111:CNNCC0C1.1.2.2 dProofs47.txt:28109 11 CpNNCqCrCss DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1D11D1D1D11:C0NNC1C2C3.3 dProofs47.txt:31170 11 CCCpqrCNNqr DDD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D1111:CCC0.1.2CNN1.2 dProofs47.txt:38623 11 NNCpCqCrCsr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1DD1D111D111:NNC0C1C2C3.2 dProofs47.txt:40229 11 CNNCCpqrCqr DDDD1D1DDDD11D1D1D111D1D1111D1D1DD1D1D11D1D1D11:CNNCC0.1.2C1.2 dProofs47.txt:40245 11 CNNpCCqpCrp DDDD1D1DDDD11D1D1D111D1D1111DDD11DDD11D1D1D1111:CNN0CC1.0C2.0 [instance of CNNpCqCrp] dProofs49.txt:13411 11 CpCqCrNNCss DD1D1D11D1DD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1C2NNC3.3 dProofs49.txt:15954 11 CpCNNCNqNpq DD1D1D1DD1D1D11D1D1D11DDD1D1DDDD11D1D1D111D1D1111:C0CNNCN1N0.1 dProofs49.txt:18237 11 CpCNCqrCsNr DD1D1DD1D1DDDD11D1D1D111D1D11DD1D111DDD11D1D1D111:C0CNC1.2C3N2 dProofs49.txt:20943 11 CpCqNNCrCss DD1DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNC2C3.3 dProofs49.txt:62605 11 CCNpNCqCrrp DDDD1D1D11D1D1D1DD1D1D11D1D1D111DDD1D1D11D1D1D111:CCN0NC1C2.2.0 dProofs49.txt:65553 11 CNNpCCpqCrq DDDD1D1DDDD11D1D1D111D1D1111DD1D1DD1D1D11D1D1D111:CNN0CC0.1C2.1 dProofs51.txt:21402 11 CpCNqCNCqrs DD11DDD1D1DD1D1DD1D1D11D1D1D111DD1D11DDD11D1D1D1111:C0CN1CNC1.2.3 dProofs51.txt:28990 11 CpCCNqNCrpq DD1D1DD1D1D11D1D1D11DDD1D1D11D1D1D1DD1D1D11D1D1D111:C0CCN1NC2.0.1 dProofs51.txt:30629 11 CpCqCrCsNNq DD1DD11D1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11:C0C1C2C3NN1 dProofs51.txt:58983 11 CpCNCqCNqrs DDD1D11D11DD1D1D1DD1D1D11D1D1D11D1D1DD1D1D11D1D1D11:C0CNC1CN1.2.3 dProofs51.txt:94716 11 CNCpCqCNqrs DDDD1D11D11DD1DDD1D1DD1D1DD1D1D11D1D1D111D111D1D111:CNC0C1CN1.2.3 dProofs51.txt:94787 11 CNCNNpCNpqr DDDD1D11D11DDD11DDDD1D1DD1DD11D1D1D11111DD1D11D1111:CNCNN0CN0.1.2 [instance of CNCNpCpqr] dProofs53.txt:152915 11 CNCCNpNNppq DDDD1D11D11DD1D1DD1D1D11D1D1D11DDD1D1DD1D1D111D1D1111:CNCCN0NN0.0.1 dProofs53.txt:166318 11 NNCCCpqrCqr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11D1D1DD1D1D11D1D1D111:NNCCC0.1.2C1.2 dProofs53.txt:166343 11 NNCpCCqpCrp DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11DDD11D1D1D11111:NNC0CC1.0C2.0 [instance of NNCpCqCrp] dProofs55.txt:57748 11 CpCqCrCsNNr DD1D1D11D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11:C0C1C2C3NN2 dProofs55.txt:60356 11 CpCqCrNNCsr DD1D1D11D1DD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1C2NNC3.2 dProofs55.txt:76401 11 CpCqNCCrrNp DD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11D1D11:C0C1NCC2.2N0 dProofs55.txt:97028 11 CpCqCrCsCtq DD1DD1DD11D1D1D11D1D1DD1D1D11D1D1D11D1D1DD1D1D11D1D1D11:C0C1C2C3C4.1 dProofs55.txt:195389 11 CpNCNNCqqNp DDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1DD1D1D11D1D1D111:C0NCNNC1.1N0 dProofs55.txt:270969 11 NNCpCCpqCrq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1DD1D1D11D1D1D1111:NNC0CC0.1C2.1 dProofs55.txt:270971 11 NNCpCqCrCss DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1DD11D1D1D11D1D1D111:NNC0C1C2C3.3 dProofs55.txt:285018 11 CNNCpqCNNpq DDDD1D1DDDD11D1D1D111D1D1111DDD1D1DDDD11D1D1D111D1D1111:CNNC0.1CNN0.1 dProofs57.txt:124564 11 CCNNpNCqpNp DD1D1DD1D1D11D1D1D11DDD1D1DD1D1DD1D1D11D1D1D111D1D1D1D111:CCNN0NC1.0N0 dProofs57.txt:124578 11 CpCqNCCrpNp DD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D1D11D1D11:C0C1NCC2.0N0 dProofs57.txt:318906 11 CCNpNCqqCrp DDD1D1D11DD1D1DD1D1DD1D1DD1D1D11D1D1D111D11DDD11D1D1D1111:CCN0NC1.1C2.0 dProofs57.txt:496123 11 CNCNCNNppqr DDDDDD1D111DDD11DDD1D1DD1D1D111DDD11D1D1D11111DD1D11D1111:CNCNCNN0.0.1.2 dProofs57.txt:503520 11 CNNNCNCppqr DDDDDDD1D1D11DD1D1111DD1D1111DDD1D1DDDD11D1D1D111D1D11111:CNNNCNC0.0.1.2 dProofs59.txt:182687 11 CpCqCNCNprs DD1D1D1DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D111DD1D11D11:C0C1CNCN0.2.3 dProofs59.txt:211520 11 CpCNCqCrsNs DD1D1DD1DD1DD1DD11D1D1D11D1D1D1111DDD1DDD1D1D1111DD1D11D111:C0CNC1C2.3N3 dProofs59.txt:520845 11 CNNCNpNCqqp DDD1D1D11DD1D1D1DD1D1D11D1D1D11DDD1D1DDDD11D1D1D111D1D11111:CNNCN0NC1.1.0 dProofs59.txt:557781 11 CCNpqCNCrpq DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D11DD1D1DD1D1D11D1D1D11111:CCN0.1CNC2.0.1 dProofs59.txt:687250 11 CNCNNNCppqr DDDD1D11D11DDDDD1D1D11DD1D1111DDD1D1DDDD11D1D1D111D1D111111:CNCNNNC0.0.1.2 dProofs59.txt:764379 11 CNNpCCNqNpq DDDD1D1DDDD11D1D1D111D1D1111DDD1D1D11D1D1D1DD1D1D11D1D1D111:CNN0CCN1N0.1 dProofs61.txt:247967 11 CpCNNCCqrqq DD11DDDD1D1DD1DD11D1D1D11111D1DDD1D1DD1D1DD1D1D11D1D1D111D111:C0CNNCC1.2.1.1 dProofs61.txt:331835 11 CCNCpqNpCpq DD1D1DD1D1D11D1D1D11DDD1D1DD1D1DD1D1D11D1D1D111DDD11D1D1D1111:CCNC0.1N0C0.1 dProofs61.txt:349090 11 CpCqCrCsNNs DD1DD11D1D1D11D1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111:C0C1C2C3NN3 dProofs61.txt:360260 11 CpCNNqCrCsq DD1DD11D1D1D11DDD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D1111:C0CNN1C2C3.1 dProofs61.txt:952784 11 CpNCNNCqpNp DDD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D1DD1D1D11D1D1D111:C0NCNNC1.0N0 dProofs61.txt:1184821 11 NNCCpqCNNpq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1D1DDDD11D1D1D111D1D11111:NNCC0.1CNN0.1 dProofs61.txt:1252545 11 CNNCCpqpCrp DDDD1D1DDDD11D1D1D111D1D1111D1DDD1D1DD1D1DD1D1D11D1D1D111D111:CNNCC0.1.0C2.0 dProofs63.txt:542832 11 CCNpNNNCqqp DD1D1DD1D1D11D1D1D11DDDDD1D1D11DD1D1111DDD1D1DD1DD11D1D1D111111:CCN0NNNC1.1.0 dProofs63.txt:677133 11 CpCqCNNNNrr DD1DD1D1DDDD11D1D1D111D1D111D1DD11DDD1D1DD1D1D111DDD11D1D1D1111:C0C1CNNNN2.2 dProofs63.txt:1393979 11 CpNNCqCrNNq DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0NNC1C2NN1 dProofs63.txt:1399409 11 CpCNCNCqrqs DDD1D1D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DD1D11D111:C0CNCNC1.2.1.3 dProofs63.txt:2226027 11 NNCNCNCppqr DDDDDDDD1D1D11DD1D1111DD1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNCNCNC0.0.1.2 dProofs65.txt:1261669 11 CpCqNNCrCsq DD1DDD1D1D1111DD1D1DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNC2C3.1 dProofs65.txt:1261737 11 CpCqCrNNCsq DD1DDD1D1D1111DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DDD11D1D1D111:C0C1C2NNC3.1 dProofs65.txt:1343618 11 CNNCCpCqrqq DDD11DDDD1D1DD1DD11D1D1D11111D1D1DDD1D1DD1D1DD1D1D11D1D1D111D1111:CNNCC0C1.2.1.1 dProofs65.txt:1343623 11 CNNCCNNppqq DDD11DDDD1D1DD1DD11D1D1D11111D1DD11DDD1D1DD1D1D111DDD11D1D1D11111:CNNCCNN0.0.1.1 dProofs65.txt:1344408 11 CNNNNCCppqq DDD11DDDD1D1DD1DD11D1D1D11111DDDD1D1DDDD11D1D1D111D1D1111D1D1D111:CNNNNCC0.0.1.1 dProofs65.txt:2280253 11 CpNCCqqNCrr DDD1D1D11DD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11D1D111:C0NCC1.1NC2.2 dProofs65.txt:2281944 11 NCNNCppNCqq DDD1D1D11DDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1DD1D1D11D1D1D1111:NCNNC0.0NC1.1 dProofs65.txt:2283685 11 CpNNCqCNNrr DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD11DDD1D1DD1D1D111DDD11D1D1D1111:C0NNC1CNN2.2 dProofs65.txt:2283804 11 CpNNCqCrCsq DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1DD1D1D11D1D1D11DDD11D1D1D111:C0NNC1C2C3.1 dProofs65.txt:3179057 11 NNCCNpNCqqp DDDD1D1D11DD1D1D1DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNCCN0NC1.1.0 dProofs65.txt:3181592 11 NNCpCCNqNpq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1D1D11D1D1D1DD1D1D11D1D1D1111:NNC0CCN1N0.1 dProofs67.txt:1105043 11 CpCNCqNrCsr DD1D1D11D1D1DD1D1D11D1DD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0CNC1N2C3.2 dProofs67.txt:1511717 11 CpCCqNqCrNq DD1D1DD1DD1DD1D1D11D1DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D111111:C0CC1N1C2N1 dProofs67.txt:1650535 11 CpCqNNCNNrr DD1DD11DDD1D1DD1D1D111DDD11D1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNCNN2.2 dProofs67.txt:1803433 11 CpCqCrCsNNp DD1DD1D1DD1D1D11D1D1D111D1DD1DD1DD11D1D1D11D1D1DDDD11D1D1D111D1D111:C0C1C2C3NN0 dProofs67.txt:2205004 11 CNCpNCCqqrr DDD11DDDD1D1DD1DD1DD1DD11D1D1D11D1DD1D1DD1D111D1D1D1D111111D1D1D111:CNC0NCC1.1.2.2 dProofs67.txt:5215322 11 CCNpNCNNqqp DDDD1D1D11D1D1D1DD1D1D11D1D1D111DDD11DDD1D1DD1D1D111DDD11D1D1D11111:CCN0NCNN1.1.0 dProofs67.txt:5222676 11 NNCCCpqpCrp DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11D1DDD1D1DD1D1DD1D1D11D1D1D111D1111:NNCCC0.1.0C2.0 dProofs67.txt:5222891 11 NNCpCqCrCsq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1DD11D1D1D11D1D1DD1D1D11D1D1D111:NNC0C1C2C3.1 dProofs67.txt:5222983 11 NNCpCqCNNrr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1DD1D1DD1D1D111DDD11D1D1D111D111:NNC0C1CNN2.2 dProofs69.txt:2473259 11 CpCqNNCrNNp DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNC2NN0 dProofs69.txt:4900151 11 CpCNCNqCqrs DDD1D11D11DD1D1D1DD1D1D11D1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11:C0CNCN1C1.2.3 dProofs69.txt:6573200 11 CNCpqNNCrNq DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D111DD1D1D1DD1D1D11D1D1D11D1D1D1D111:CNC0.1NNC2N1 dProofs69.txt:6877487 11 CCpqCNNNNpq DDD1D1DDDD11D1D1D111D1D11DD1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D111111:CC0.1CNNNN0.1 dProofs69.txt:8567318 11 CNCpCNCqrsq DDDD1D1D11D1D1D1DDDD11D1D1D111DD1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:CNC0CNC1.2.3.1 dProofs69.txt:8572030 11 NCCpCqqNCqq DDDD1D1D11DD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D1D11D1D1111:NCC0C1.1NC1.1 [instance of NCCpCqqNCrr] dProofs71-unfiltered71+.txt:4078301 11 CpCNNqNNCrq DD11DDD1D1DD1D1D111DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DDD11D1D1D1111:C0CNN1NNC2.1 dProofs71-unfiltered71+.txt:4810969 11 CpCqCrNNNNp DD1D1D1DD1D1D11D1D1D11D1D1DD1DD1DD1DD11D1D1D11D1D1DDDD11D1D1D111D1D1111:C0C1C2NNNN0 dProofs71-unfiltered71+.txt:5473511 11 CpCqNNCrCsp DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNC2C3.0 dProofs71-unfiltered71+.txt:5473740 11 CpCqCrNNCsp DD1D1DD1D1D11D1D1D11DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DDD11D1D1D111:C0C1C2NNC3.0 dProofs71-unfiltered71+.txt:5474055 11 CpCqCrCsCtp DD1D1DD1D1D11D1D1D11DD1DD1D1DD1D1D11D1D1D111D1DD1DD1DD11D1D1D11D1D1D111:C0C1C2C3C4.0 dProofs71-unfiltered71+.txt:7341233 11 CpCNNNCqrNr DD1DD1D1DD1D1DDDD11D1D1D111D1D11DD1D111D1D11DDD1D1DDDD11D1D1D111D1D1111:C0CNNNC1.2N2 dProofs71-unfiltered71+.txt:7538251 11 CpCNNNNqCrq DD1DD1DD11D1D1D11DDD1D1DDDD11D1D1D111D1D1111DDD1D1DDDD11D1D1D111D1D1111:C0CNNNN1C2.1 dProofs71-unfiltered71+.txt:13244653 11 CpNNCCNqNpq DDD1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111D1D1D1DD1D1D11D1D1D111:C0NNCCN1N0.1 dProofs71-unfiltered71+.txt:13971248 11 CNCpqCrCsNq DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D111DD1D1DD1D1D11D1D1D11DDD11D1D1D1111:CNC0.1C2C3N1 dProofs71-unfiltered71+.txt:13971265 11 CNCpCqrCsNr DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D11DD1D111DDD11D1D1D1111:CNC0C1.2C3N2 dProofs71-unfiltered71+.txt:14804427 11 CpNCCqqNCrp DDD1DDD1D1D1111DD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11D1D111:C0NCC1.1NC2.0 dProofs71-unfiltered71+.txt:19522712 11 NCCpCqpNCrr DDDD1D1D11DD1D1DD1DD1DD1DD1DD1D111D111DDD1D1DD1DD11D1D1D11111D11D1D1111:NCC0C1.0NC2.2 dProofs71-unfiltered71+.txt:19524974 11 NNCNNCCppqq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11DDDD1D1DD1DD11D1D1D11111D1D1D1111:NNCNNCC0.0.1.1 dProofs71-unfiltered71+.txt:19561572 11 NCCppNCqCrq DDDD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11D1D11DDD11D1D1D1111:NCC0.0NC1C2.1 dProofs71-unfiltered71+.txt:19595365 11 CNCpqCrCNps DDDD1D1DD1D1DD1D11DD1D1DD1D1D11D1D1D111DD1D11DD1D1DD1D1D11D1D1D11111D11:CNC0.1C2CN0.3 dProofs71-unfiltered71+.txt:23005806 11 CNCNCpNNpqr DDDDDD1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111DD1D1111DD1D11D1111:CNCNC0NN0.1.2 dProofs73-unfiltered71+.txt:13431359 11 CNCpNqCrCsq DD1D1DD1D1D11D1DD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11D1D1D111:CNC0N1C2C3.1 dProofs73-unfiltered71+.txt:16750610 11 CpCqCNCrNss DD1DD1DD11D1D1D11DDD1D1DD1DD1DD1DD11D1D1D11D1DD1D1DD1D111D1D1D1D111111D11:C0C1CNC2N3.3 dProofs73-unfiltered71+.txt:19600375 11 CNpCqCNCprs DDD11DDD1D1DD1D1DD1D1D11D1D1D111DD1D11DD1D1DD1D1D11D1D1D11DDD11D1D1D11111:CN0C1CNC0.2.3 dProofs73-unfiltered71+.txt:19600376 11 CNpCNCqCprs DDD11DDD1D1DD1D1DD1D1D11D1D1D111DD1D1DD1D1D11D1D1D11DD1D11DDD11D1D1D11111:CN0CNC1C0.2.3 dProofs73-unfiltered71+.txt:19636288 11 CNNCNNCppqq DDD11DDDD1D1DD1DD11D1D1D11111D1DDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:CNNCNNC0.0.1.1 dProofs73-unfiltered71+.txt:26622640 11 CpNNCqNNCrr DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0NNC1NNC2.2 dProofs73-unfiltered71+.txt:26624658 11 CpNNCNNqCrq DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDDD1D1DDDD11D1D1D111D1D1111DDD11D1D1D111:C0NNCNN1C2.1 dProofs73-unfiltered71+.txt:35473549 11 CNCpCNCqrqs DDDD1D11D11DDD1D1D11D1D1D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D1111:CNC0CNC1.2.1.3 dProofs73-unfiltered71+.txt:37444879 11 NNCpCqNNCrr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:NNC0C1NNC2.2 dProofs75-unfiltered71+.txt:21362873 11 CpCqCrNNNNq DD1D1D11D1D1DD1DD1D1DDDD11D1D1D111D1D111D1DD11DDD1D1DD1D1D111DDD11D1D1D1111:C0C1C2NNNN1 dProofs75-unfiltered71+.txt:25036998 11 CpCNCqCrNss DD1D1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D111DDD1DDD1D1D1111DD1D11D111:C0CNC1C2N3.3 dProofs75-unfiltered71+.txt:34051779 11 CpCqNNNNCrr DD1DD1DDDD1D1D11DD1D1111DDD1D1DD1DD11D1D1D11111D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNNNC2.2 dProofs75-unfiltered71+.txt:48069222 11 CpNNCNCqrNr DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D111D1D111:C0NNCNC1.2N2 dProofs75-unfiltered71+.txt:52518175 11 CNCNCpCqrsq DDD1D1DDDD1D1DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D111DD1D1111DD1D111D1D111:CNCNC0C1.2.3.1 dProofs75-unfiltered71+.txt:53002652 11 CpCNCNCqprs DDD1DDD1D1D1111DD1D1D1DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D111DD1D11D111:C0CNCNC1.0.2.3 dProofs75-unfiltered71+.txt:62557493 11 CNCNCpqCqrs DDDD1D11D11DDDD1D1DD1D1DD1D1D11D1D1D111DD1D11D111DDD1DDD1D1D1111DD1D11D1111:CNCNC0.1C1.2.3 dProofs75-unfiltered71+.txt:65419776 11 NNCpCNCqrNr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1DD1D1DDDD11D1D1D111D1D11DD1D111D1D111:NNC0CNC1.2N2 dProofs75-unfiltered71+.txt:65419949 11 NNCpCNNqCrq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1DD11D1D1D11DDD1D1DDDD11D1D1D111D1D11111:NNC0CNN1C2.1 dProofs75-unfiltered71+.txt:65492140 11 NCCppNCqCrr DDDD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11D1D11DDD1D1D11D1D1D1111:NCC0.0NC1C2.2 dProofs77-unfiltered71+.txt:45551249 11 CpNNNNCqCrq DD1D1D1D11DD1D1DD1D1D11D1D1D11DDDDD1D111DDD11D1D1D111DDD1D1DD1DD11D1D1D111111:C0NNNNC1C2.1 dProofs77-unfiltered71+.txt:69462932 11 CNNCCpNNpqq DDD11DDDD1D1DD1DD11D1D1D11111D1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D11111:CNNCC0NN0.1.1 dProofs77-unfiltered71+.txt:88411162 11 NNNNCpCqCrq DDD1D1D1D11DD1D1DD1D1D11D1D1D11DDDDD1D111DD11D1D1D11DDD1D1DD1DD11D1D1D1111111:NNNNC0C1C2.1 dProofs77-unfiltered71+.txt:95063231 11 CNCpCqrNNNr DDD1D1DD1DD1DD1DD11D1D1D11D1D1DDDD11D1D1D111D1D1111DDD1DDD1D1D1111DD1D11D1111:CNC0C1.2NNN2 dProofs77-unfiltered71+.txt:110829398 11 CNCpCNqCqrs DDDD1D11D11DD11DDD1D1DD1D1DD1D1D11D1D1D111DD1D1DD1D1D11D1D1D11DDD11D1D1D11111:CNC0CN1C1.2.3 dProofs77-unfiltered71+.txt:117284662 11 NCCpCqqNCrr DDDD1D1D11DD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1DD1D1D11D1D1D11D1D1111:NCC0C1.1NC2.2 dProofs79-unfiltered71+.txt:84463624 11 CpCqNNCrNNr DD1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNC2NN2 dProofs79-unfiltered71+.txt:92063734 11 CpCNCqrNNNr DD1D1DD1DD1DD1DD11D1D1D11D1D1D1111DD1D1DD1D1D11D1D1D11DDD1D1DD1D1D111DD1D11D111:C0CNC1.2NNN2 dProofs79-unfiltered71+.txt:126548303 11 CNpCNNNCpqr DDD11DDD1D1DD1D1DD1D1D11D1D1D111DD1D1D1DD1D1D11D1D1D11D1D1DDDD11D1D1D111D1D1111:CN0CNNNC0.1.2 dProofs79-unfiltered71+.txt:167666420 11 CpNNCqNNCrq DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0NNC1NNC2.1 dProofs79-unfiltered71+.txt:216536602 11 NNCpCqCrNNq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D111:NNC0C1C2NN1 dProofs79-unfiltered71+.txt:216541190 11 NNCpCqNNCrq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D111:NNC0C1NNC2.1 dProofs79-unfiltered71+.txt:216546298 11 NNCpNNCqCrq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11D1D1D1111:NNC0NNC1C2.1 dProofs79-unfiltered71+.txt:227501321 11 CNNpCqNNCrp DDDD1D1DDDD11D1D1D111D1D1111DD1D1DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:CNN0C1NNC2.0 dProofs79-unfiltered71+.txt:227508607 11 CNNpCqCrCsp DDDD1D1DDDD11D1D1D111D1D1111DD1DD1D1DD1D1D11D1D1D111D1DD1DD1DD11D1D1D11D1D1D111:CNN0C1C2C3.0 dProofs79-unfiltered71+.txt:227547471 11 CNNNCpqCrNq DDDD1D1DDDD11D1D1D111D1D1111DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D111DDD11D1D1D1111:CNNNC0.1C2N1 dProofs79-unfiltered71+.txt:245480135 11 CNNNCpCNpqr DDDDD1D111DD1D1D1DD1D1D11D1D1D11D1D1DD1D1D11D1D1D11DDD1D1DDDD11D1D1D111D1D11111:CNNNC0CN0.1.2 dProofs79-unfiltered71+.txt:260663267 11 NCCppNNNCqq DDDDDD1D1D11DD1D1111DDD1D1DD1DD11D1D1D111111DD11DDDD1D1DD1DD11D1D1D11111D1D1D11:NCC0.0NNNC1.1 dProofs81-unfiltered71+.txt:148875661 11 CpNNNNCqCrr DD1D1D1D11DD1D1DD1D1D11D1D1D11DDDDD1D111DDD1D1D11D1D1D111DDD1D1DD1DD11D1D1D111111:C0NNNNC1C2.2 dProofs81-unfiltered71+.txt:158018731 11 CpCCNNNqNpq DD1D1DD1D1DD1D1DD1D1D11D1D1D111D11DD1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111D1D11:C0CCNNN1N0.1 dProofs81-unfiltered71+.txt:190121147 11 CpCCNqNCqrq DD1DD1D1DD1D1DD1D1D11D1D1D111D1DDD1D1DD1D1DD1D1D11D1D1D111D111D1D1DD1D1D11D1D1D11:C0CCN1NC1.2.1 dProofs81-unfiltered71+.txt:312919564 11 NNNNCpCqCrr DDD1D1D1D11DD1D1DD1D1D11D1D1D11DDDDD1D111DD1D1D11D1D1D11DDD1D1DD1DD11D1D1D1111111:NNNNC0C1C2.2 dProofs81-unfiltered71+.txt:312919596 11 CCNpNCqNNqp DDD1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111DDD1D1D11D1D1D1DD1D1D11D1D1D1111:CCN0NC1NN1.0 dProofs81-unfiltered71+.txt:324878426 11 CNCpNNCqrNr DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DD1D111D1D111:CNC0NNC1.2N2 dProofs81-unfiltered71+.txt:332798901 11 CNCpCqCrsNs DDD1D1DD1DD1DD1DD11D1D1D11D1D1D1111DD1D1DD1D1D11D1D1D11DDD1DDD1D1D1111DD1D11D1111:CNC0C1C2.3N3 dProofs81-unfiltered71+.txt:385186853 11 CNCpCNNNpqr DDDD1D11D11DD1D1D1DD1D1D11D1D1D11DDD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D11111:CNC0CNNN0.1.2 dProofs81-unfiltered71+.txt:421628627 11 CNNNpCNCpqr DDDD1D1DDDD11D1D1D111D1D1111DDD11DDD1D1DD1D1DD1D1D11D1D1D111DD1D11DDD11D1D1D11111:CNNN0CNC0.1.2 dProofs81-unfiltered71+.txt:465840542 11 CNCpqCNCqrs DDDDD1D1DD1D1DD1D1D11D1D1D111DD1D11DDD11D1D1D1111DD1D11DDD1DDD1D1D1111DD1D11D1111:CNC0.1CNC1.2.3 dProofs83-unfiltered71+.txt:287874339 11 CCNpNCqCprp DD1D1DD1D1D11D1D1D11DDD1D1DD1D1DD1D1D11D1D1D111D1D1DDD1D1DD1D1DD1D1D11D1D1D111D1111:CCN0NC1C0.2.0 dProofs83-unfiltered71+.txt:385522414 11 CpCqNCCrrNq DD1DDD1D1DD1D1DD1D1D11D1D1D111D111D1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11:C0C1NCC2.2N1 dProofs83-unfiltered71+.txt:616292062 11 CNCpqCNNNpr DDD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D11DDD1D1DD1D1DD1D1D11D1D1D111DD1D11D1111:CNC0.1CNNN0.2 dProofs83-unfiltered71+.txt:744672568 11 NNCpNNCqCrr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1D1D11D1D1D1111:NNC0NNC1C2.2 dProofs5.txt:1 12 CCCpCNqrsCqs D1D11:CCC0CN1.2.3C1.3 dProofs7.txt:3 12 CpCCCNpqrCsr DD1D111:C0CCCN0.1.2C3.2 dProofs15.txt:12 12 CpCNCCqpCrps DDD11DD1D11D111:C0CNCC1.0C2.0.3 [instance of CpCNCqCrps] dProofs17.txt:32 12 CCCNCppqrCsr DDD1D1D11DD1D1111:CCCNC0.0.1.2C3.2 dProofs19.txt:22 12 CpCqCrCsCNqt DD1DD11D1D1D11D1D11:C0C1C2C3CN1.4 dProofs19.txt:51 12 CNCCCppqCrqs DDDD1D11D11D1D1D111:CNCCC0.0.1C2.1.3 dProofs21.txt:59 12 CpCNCqCrCsrt DDD1D11D11DD11D1D1D11:C0CNC1C2C3.2.4 dProofs21.txt:82 12 CNCCpqCqCpqr DDDD1D11D11DDD11D1111:CNCC0.1C1C0.1.2 [instance of CNCpCqpr] dProofs23.txt:34 12 CpCqCrCsCNrt DD1D1D11D1DD1D1D11D1D11:C0C1C2C3CN2.4 dProofs23.txt:50 12 CpCqCNCrCsrt DD1DD11D1D1D11DD1D11D11:C0C1CNC2C3.2.4 dProofs23.txt:55 12 CpCqCrCNCsst DD1DD1D1D11D1D11D1D1D11:C0C1C2CNC3.3.4 dProofs25.txt:137 12 CpCNCqCrCsst DDD1D11D11DD1D1D11D1D1D11:C0CNC1C2C3.3.4 dProofs25.txt:209 12 CNCpCqCrCsrt DDDD1D11D11DD1DD1D111D111:CNC0C1C2C3.2.4 dProofs27.txt:135 12 CpCqCNCrCsst DD1DD1D1D11D1D1D11DD1D11D11:C0C1CNC2C3.3.4 dProofs29.txt:207 12 CpCqCrCNCsrt DD1DD1D1D11D1D11D1DDD1D1D1111:C0C1C2CNC3.2.4 dProofs31.txt:785 12 CNCCCpqrCqrs DDDD1D11D11D1D1DD1D1D11D1D1D111:CNCCC0.1.2C1.2.3 dProofs31.txt:810 12 CNCpCCqpCrps DDDD1D11D11DDD11DDD11D1D1D11111:CNC0CC1.0C2.0.3 [instance of CNCpCqCrps] dProofs33.txt:600 12 CpCqCrCNCsqt DD1DDD1D1D1111DD1D11DDD11D1D1D111:C0C1C2CNC3.1.4 dProofs33.txt:1297 12 CNCpCCpqCrqs DDDD1D11D11DD1D1DD1D1D11D1D1D1111:CNC0CC0.1C2.1.3 dProofs33.txt:1299 12 CNCpCqCrCsst DDDD1D11D11DD1DD11D1D1D11D1D1D111:CNC0C1C2C3.3.4 dProofs37.txt:755 12 CpCqNNCrCNps DD1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNC2CN0.3 dProofs39.txt:1 12 CCCpCNpqrCsr D1D1D1DD1DD1D1DD1D1DD1D1D11D1D1D111D111:CCC0CN0.1.2C3.2 dProofs39.txt:1193 12 CpCNNqCNCrqs DD11DDD1D1DD1D1D111DD1D11DDD11D1D1D1111:C0CNN1CNC2.1.3 dProofs39.txt:1210 12 CpCqCrCsCNpt DD1D11DD1D1DD1D1D11D1D1D11DDD11D1D1D111:C0C1C2C3CN0.4 dProofs39.txt:1657 12 CpCqCrCNCspt DD1D1DD1D1D11D1D1D11DD1D11DDD11D1D1D111:C0C1C2CNC3.0.4 dProofs39.txt:5398 12 CNCCpqCNNpqr DDDD1D11D11DDD1D1DDDD11D1D1D111D1D11111:CNCC0.1CNN0.1.2 dProofs41.txt:5331 12 CpCNCqCrNNqs DDD1D11D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0CNC1C2NN1.3 dProofs41.txt:6690 12 CpNNCqCrCNqs DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D11D11:C0NNC1C2CN1.3 dProofs41.txt:10107 12 CNCNCNCppqrs DDDDDDDD1D1D11DD1D1111DD1D1111DD1D11D1111:CNCNCNC0.0.1.2.3 dProofs43.txt:5036 12 CpCNNqCrCNqs DD1DD1D1D11D1D11DDD1D1DDDD11D1D1D111D1D1111:C0CNN1C2CN1.3 [instance of CpCNqCrCqs] dProofs43.txt:5856 12 CpCCCqNrrCsr DD1DD1DD1D1D11D1DD1D1DDDD11D1D1D111D1D11111:C0CCC1N2.2C3.2 dProofs43.txt:6106 12 CpCqCNCrCsqt DD1DDD1D1D1111DD1D1DD1D1D11D1D1D11DD1D11D11:C0C1CNC2C3.1.4 dProofs43.txt:8567 12 CpCNCqCNNrrs DDD1D11D11DD11DDD1D1DD1D1D111DDD11D1D1D1111:C0CNC1CNN2.2.3 dProofs43.txt:8686 12 CpCNCqCrCsqt DDD1D11D11DD1D1DD1D1D11D1D1D11DDD11D1D1D111:C0CNC1C2C3.1.4 dProofs43.txt:13932 12 CNCpCCNqNpqr DDDD1D11D11DDD1D1D11D1D1D1DD1D1D11D1D1D1111:CNC0CCN1N0.1.2 dProofs43.txt:14746 12 CNCCNpNCqqpr DDDD1D1D11DD1D1D1DD1D1D11D1D1D11DD1D11D1111:CNCCN0NC1.1.0.2 dProofs45.txt:5127 12 CpCqCCNrNNrr DD1D1D11D1D1DD1DD1DD1DD1DD11D1D1D11D1D1D11111:C0C1CCN2NN2.2 dProofs45.txt:6115 12 CpCqCrCNNNps DD1D1D1DD1D1D11D1D1D11D1D1DDDD11D1D1D111D1D11:C0C1C2CNNN0.3 dProofs45.txt:7869 12 CpCqCNCNNrrs DD1DD11DDD1D1DD1D1D111DDD11D1D1D1111DD1D11D11:C0C1CNCNN2.2.3 dProofs45.txt:8688 12 CpCqCNNNCrrs DD1DD1D1DDDD11D1D1D111D1D111DDD1D1D11DD1D1111:C0C1CNNNC2.2.3 dProofs45.txt:9334 12 CpCqCNNrCNrs DD1DD1DD1D1D11D1D11DDD1D1DD1DD11D1D1D11111D11:C0C1CNN2CN2.3 [instance of CpCqCNrCrs] dProofs45.txt:21886 12 CNCCCpqpCrps DDDD1D11D11D1DDD1D1DD1D1DD1D1D11D1D1D111D1111:CNCCC0.1.0C2.0.3 dProofs45.txt:22101 12 CNCpCqCrCsqt DDDD1D11D11DD1DD11D1D1D11D1D1DD1D1D11D1D1D111:CNC0C1C2C3.1.4 dProofs45.txt:22193 12 CNCpCqCNNrrs DDDD1D11D11DD1DD1D1DD1D1D111DDD11D1D1D111D111:CNC0C1CNN2.2.3 dProofs47.txt:11405 12 CpCqCNCrNNps DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DD1D11D11:C0C1CNC2NN0.3 dProofs47.txt:16432 12 CNNCCNCppqrr DDD11DDDD1D1DD1DD11D1D1D11111DDD1D1D11DD1D11111:CNNCCNC0.0.1.2.2 dProofs47.txt:28048 12 CpNNCqCNCrrs DDD1D1D11DD1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0NNC1CNC2.2.3 dProofs47.txt:30047 12 CNCpqCNCrNqs DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D111DD1D11D111:CNC0.1CNC2N1.3 dProofs47.txt:38622 12 NNCpCqCrCNqs DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1D11D1D111:NNC0C1C2CN1.3 dProofs47.txt:40243 12 CNNpCqCrCNps DDDD1D1DDDD11D1D1D111D1D1111DD1D11DDD11D1D1D111:CNN0C1C2CN0.3 dProofs47.txt:40259 12 CNNpCqCNCrps DDDD1D1DDDD11D1D1D111D1D11DD1D1111DDD11D1D1D111:CNN0C1CNC2.0.3 dProofs49.txt:25 12 CCCpqrCNCrsr D1D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11:CCC0.1.2CNC2.3.2 [instance of CpCNCqrq] dProofs49.txt:13387 12 CpCCNqNNqCrq DD1D1D11D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111:C0CCN1NN1C2.1 dProofs49.txt:17851 12 CpCqCNCrCspt DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D11DD1D11D11:C0C1CNC2C3.0.4 dProofs49.txt:17854 12 CCNCpqNNqCpq DD1D1DD1D1D11D1D1D11DDD1D1DD1D1D111DDD11D1D1D1111:CCNC0.1NN1C0.1 dProofs49.txt:48686 12 CNCpCNCqrsNr DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D11DD1D111D1D111:CNC0CNC1.2.3N2 dProofs49.txt:55130 12 CpCNNNCqCrqs DDDD1D111DDD11D1D1D111DDD1D1DDDD11D1D1D111D1D1111:C0CNNNC1C2.1.3 dProofs49.txt:58218 12 CNCNNCCppqqr DDDD1D11D11DDD11DDDD1D1DD1DD11D1D1D11111D1D1D1111:CNCNNCC0.0.1.1.2 dProofs49.txt:62614 12 CpCqNNCNCrrs DDDD1D1D11DD1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNCNC2.2.3 dProofs49.txt:66433 12 CNNNCpCqCrqs DDDDD1D111DD11D1D1D11DDD1D1DDDD11D1D1D111D1D11111:CNNNC0C1C2.1.3 dProofs51.txt:1 12 CCCNCpqprCsr D1D1D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11:CCCNC0.1.0.2C3.2 dProofs51.txt:29657 12 CpCCNCqrrCqr DD1D1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D1111:C0CCNC1.2.2C1.2 dProofs51.txt:62302 12 CpCNCqNNCrrs DDD1D11D11DDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0CNC1NNC2.2.3 dProofs51.txt:64304 12 CpCNCNNqCrqs DDD1D11D11DDDD1D1DDDD11D1D1D111D1D1111DDD11D1D1D111:C0CNCNN1C2.1.3 dProofs51.txt:82372 12 CNCpCqrCNNrs DDD1D1DDDD11D1D1D111D1D11DDD1DDD1D1D1111DD1D11D1111:CNC0C1.2CNN2.3 dProofs51.txt:93687 12 CNCpCqNNCrrs DDDD1D11D11DD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:CNC0C1NNC2.2.3 dProofs51.txt:102192 12 NNCpCqCNCrrs DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1D11DD1D11D111:NNC0C1CNC2.2.3 dProofs51.txt:112289 12 CCNpNCNCqqrp DDDDD1D1D11DD1D1111DDD1D1D11D1D1D1DD1D1D11D1D1D1111:CCN0NCNC1.1.2.0 dProofs53.txt:35239 12 CpNNCqCrCNps DD1D11DDD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0NNC1C2CN0.3 dProofs53.txt:42119 12 CpCqNNCrCNqs DD1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111D1D11:C0C1NNC2CN1.3 dProofs53.txt:49522 12 CpCqCrCsCNst DD1DD11D1D1D11D1D1D1DD1DD1D1DD1D1DD1D1D11D1D1D111D111:C0C1C2C3CN3.4 dProofs53.txt:101909 12 CpCNCNCqrNrs DDD1D11D11DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D111D1D111:C0CNCNC1.2N2.3 dProofs53.txt:134123 12 CpNNCqCNCrps DDD1DDD1D1D1111DD1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0NNC1CNC2.0.3 dProofs53.txt:148096 12 CpCNNNCqCrrs DDDD1D111DDD1D1D11D1D1D111DDD1D1DDDD11D1D1D111D1D1111:C0CNNNC1C2.2.3 dProofs53.txt:152966 12 CNCpCNCqrNrs DDDD1D11D11DD1D1DD1D1DDDD11D1D1D111D1D11DD1D111D1D111:CNC0CNC1.2N2.3 dProofs53.txt:153139 12 CNCpCNNqCrqs DDDD1D11D11DD1DD11D1D1D11DDD1D1DDDD11D1D1D111D1D11111:CNC0CNN1C2.1.3 dProofs53.txt:164417 12 NNCpCNCqCrqs DDDD1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11D1D1D1111:NNC0CNC1C2.1.3 dProofs53.txt:166333 12 NNCpCqCrCNps DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D11DDD11D1D1D1111:NNC0C1C2CN0.3 dProofs53.txt:177090 12 CNNNCpCqCrrs DDDDD1D111DD1D1D11D1D1D11DDD1D1DDDD11D1D1D111D1D11111:CNNNC0C1C2.2.3 dProofs55.txt:56647 12 CpCNCqrCNNrs DD11DDD1D1DD1D1DD1D1D11D1D1D111D1D1DDDD11D1D1D111D1D111:C0CNC1.2CNN2.3 dProofs55.txt:68456 12 CpCqCCNNpNqr DD1D1D1DD1D1D11D1D1D11D1D1DD1D1DD1D1DD1D1D11D1D1D111D11:C0C1CCNN0N1.2 dProofs55.txt:291340 12 CpNNCNCqCrqs DDDDD1D111DDD11D1D1D111DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0NNCNC1C2.1.3 dProofs55.txt:301835 12 NNCNCpCqCrqs DDDDDD1D111DD11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNCNC0C1C2.1.3 dProofs57.txt:92591 12 CpCNNCCqNrrr DD11DDDD1D1DD1DD11D1D1D11111D1D1DD1D1DDDD11D1D1D111D1D111:C0CNNCC1N2.2.2 dProofs57.txt:93730 12 CpCNCCqrsCqr DD1D1D11D1D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11:C0CNCC1.2.3C1.2 [instance of CpCNCqrq] dProofs57.txt:111714 12 CpCqCNCrNNrs DD1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111DD1D11D11:C0C1CNC2NN2.3 dProofs57.txt:271356 12 CpCNCqNNCrqs DDD1D11D11DDD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0CNC1NNC2.1.3 dProofs57.txt:319488 12 CpNNCqCNCrqs DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1DDD1D1D1111DD1D11D111:C0NNC1CNC2.1.3 dProofs57.txt:404437 12 CNCpCqCrNNqs DDDD1D11D11DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D111:CNC0C1C2NN1.3 dProofs57.txt:409021 12 CNCpCqNNCrqs DDDD1D11D11DD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D111:CNC0C1NNC2.1.3 dProofs57.txt:414127 12 CNCpNNCqCrqs DDDD1D11D11DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11D1D1D1111:CNC0NNC1C2.1.3 dProofs57.txt:436971 12 NNCpCNCqCrrs DDDD1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1D1D11D1D1D1111:NNC0CNC1C2.2.3 dProofs57.txt:442618 12 NNCpCqCNCrqs DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1DDD1D1D1111DD1D11D111:NNC0C1CNC2.1.3 dProofs57.txt:466261 12 CNNCCpNqqCrq DDDD1D1DDDD11D1D1D111D1D1111D1D1DD1D1DDDD11D1D1D111D1D111:CNNCC0N1.1C2.1 dProofs57.txt:466574 12 CNCpqCrCNNqs DDDD1D1DDDD11D1D1D111D1DD1D1DD1D1D11D1D1D111DD1D11D111D11:CNC0.1C2CNN1.3 dProofs59.txt:203337 12 CCNpNNCCqqpp DD1D1DD1D1D11D1D1D11DDDDD1D1DD1DD11DDD11D1D1D111111D1D1D111:CCN0NNCC1.1.0.0 dProofs59.txt:210742 12 CpCNNCNqNNqq DD1D1DD1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D1111D1D11:C0CNNCN1NN1.1 dProofs59.txt:786711 12 CpNNCNCqCrrs DDDDD1D111DDD1D1D11D1D1D111DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0NNCNC1C2.2.3 dProofs59.txt:810479 12 NNCNCpCqCrrs DDDDDD1D111DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNCNC0C1C2.2.3 dProofs61.txt:500452 12 CNNpCNCqCrps DDD11DDD1D1DD1D1D111DD1D1DD1D1D11D1D1D11DD1D11DDD11D1D1D11111:CNN0CNC1C2.0.3 dProofs61.txt:952785 12 CpCqCNNNCrps DDD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1DDDD11D1D1D111D1D111:C0C1CNNNC2.0.3 dProofs61.txt:1107078 12 CNCpNNCqCrrs DDDD1D11D11DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1D1D11D1D1D1111:CNC0NNC1C2.2.3 dProofs61.txt:1253079 12 CNNpCNNNCqpr DDDD1D1DDDD11D1D1D111D1D11DD1D1111DDD1D1DDDD11D1D1D111D1D1111:CNN0CNNNC1.0.2 dProofs63.txt:487963 12 CpCNCCNqNpqr DD1D1D1DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1DD1D1D11D1D1D11:C0CNCCN1N0.1.2 dProofs63.txt:562200 12 CpCNCqCrNNps DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DDD1DDD1D1D1111DD1D11D111:C0CNC1C2NN0.3 dProofs63.txt:675380 12 CpCqCNCrsCst DD1DD1D1DD1D1DD1D1D11D1D1D111DD1D11D11D1DD1DDD1D1D1111DD1D11D11:C0C1CNC2.3C3.4 dProofs63.txt:1559495 12 CpCNCqNNCrps DDD1DDD1D1D1111DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DD1D11D111:C0CNC1NNC2.0.3 dProofs63.txt:1559586 12 CpCCCNqrsCqs DDDD11D1D1D111D1D1D1DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D111:C0CCCN1.2.3C1.3 dProofs63.txt:1777501 12 CNCpCqNNCrps DDDD1D11D11DD1D1DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:CNC0C1NNC2.0.3 dProofs63.txt:1778576 12 CNCpCqCrNNps DDDD1D11D11DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DDD11D1D1D1111:CNC0C1C2NN0.3 dProofs63.txt:1784697 12 CNCpCqCrCspt DDDD1D11D11DD1DD1D1DD1D1D11D1D1D111D1DD1DD1DD11D1D1D11D1D1D1111:CNC0C1C2C3.0.4 dProofs63.txt:1816412 12 CNCNCpqCrNqs DDDD1D11D11DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D111DDD11D1D1D11111:CNCNC0.1C2N1.3 dProofs63.txt:1939689 12 NNCCCpNqqCrq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11D1D1DD1D1DDDD11D1D1D111D1D1111:NNCCC0N1.1C2.1 dProofs63.txt:1939856 12 NNCpCqCNCrps DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1DD1D1D11D1D1D11DD1D11D111:NNC0C1CNC2.0.3 dProofs63.txt:2181434 12 CNCNCpCNpqrs DDDDDD1D111DD1D1D1DD1D1D11D1D1D11D1D1DD1D1D11D1D1D11DD1D11D1111:CNCNC0CN0.1.2.3 dProofs65.txt:667050 12 CpCNNNNqCNqr DD11DDDD1D1DD1DD11D1D1D11111DDDD1D1DDDD11D1D1D111D1D1111DD1D11D11:C0CNNNN1CN1.2 dProofs65.txt:888710 12 CpCNCqCrCspt DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D11DDD1DDD1D1D1111DD1D11D111:C0CNC1C2C3.0.4 dProofs65.txt:934902 12 CpCqCrCNCsts DD1DD11D1D1D11D1D1D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11:C0C1C2CNC3.4.3 dProofs65.txt:2280189 12 CpCCNNCqqNpr DDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1DD1D1DD1D1DD1D1D11D1D1D111D111:C0CCNNC1.1N0.2 dProofs65.txt:2936874 12 CNCNpCNCpqrs DDDD1D11D11DDD11DDD1D1DD1D1DD1D1D11D1D1D111DD1D11DDD11D1D1D111111:CNCN0CNC0.1.2.3 dProofs65.txt:3375636 12 CNNNNpCqCNpr DDDD1D1DDDD11D1D1D111D1D1111DDDD1D1DDDD11D1D1D111D1D1111DD1D11D11:CNNNN0C1CN0.2 dProofs67.txt:70141 12 CCCNpCpqrCsr D1DD11DDD1D1DD1D1DD1D1D11D1D1D111DD1D1DD1D1D11D1D1D11DDD11D1D1D1111:CCCN0C0.1.2C3.2 dProofs67.txt:2204249 12 CNNpNNCqCNpr DDD11DDDD1D1DD1DD11D1D1D11111DD1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:CNN0NNC1CN0.2 dProofs67.txt:2204999 12 CNNpNNCNCqpr DDD11DDDD1D1DD1DD11D1D1D111DD1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D111:CNN0NNCNC1.0.2 dProofs67.txt:3144797 12 CpCNCqCrNNrs DDD1D11D11DDD1D1D11D1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D11111:C0CNC1C2NN2.3 dProofs67.txt:4763471 12 CNCpCqCrNNrs DDDD1D11D11DD1D1D11D1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D11111:CNC0C1C2NN2.3 dProofs69.txt:1236333 12 CCCNNNpqrCpr D1DDD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D1111:CCCNNN0.1.2C0.2 dProofs69.txt:3618670 12 CNNCCpCNpqrr DDD11DDDD1D1DD1DD11D1D1D11111D1D1D1DD1DD1D1DD1D1DD1D1D11D1D1D111D1111:CNNCC0CN0.1.2.2 dProofs69.txt:8576685 12 NCCNCppqNCrr DDDD1D1D11DD1D1DD1DD1DD1D1D11DD1D111DDD1D1DD1DD11D1D1D11111D11D1D1111:NCCNC0.0.1NC2.2 dProofs69.txt:9125729 12 CNNNNpCNCqpr DDDD1D1DDDD11D1D1D111D1D1111DDD11DDD1D1DD1D1D111DD1D11DDD11D1D1D11111:CNNNN0CNC1.0.2 dProofs69.txt:9258404 12 CNNNCpCqNNpr DDDDD1D111DD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1D1DDDD11D1D1D111D1D11111:CNNNC0C1NN0.2 dProofs71-unfiltered71+.txt:110795 12 CCCpNNNqqCrq D1D1DD1D1DDDD11D1D1D111D1D11DD1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D11111:CCC0NNN1.1C2.1 dProofs71-unfiltered71+.txt:4813329 12 CpCqNNCrCNrs DD1D1D1DD1DD1D1DD1D1DD1D1D11D1D1D111D111DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNC2CN2.3 dProofs71-unfiltered71+.txt:5473521 12 CNCCpqCrqCqs DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D11DDD1D1DD1D1DD1D1D11D1D1D111D111:CNCC0.1C2.1C1.3 [instance of CNCpCqrCrs] dProofs71-unfiltered71+.txt:9029047 12 CNpCNCNCpqrs DDD11DDDD1D1DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D111DD1D1111DD1D11D111:CN0CNCNC0.1.2.3 dProofs71-unfiltered71+.txt:13247090 12 CpNNCqCrCNrs DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1DDD1D1DD1D1DD1D1D11D1D1D111D111D1D11:C0NNC1C2CN2.3 dProofs71-unfiltered71+.txt:13247161 12 CpNNCNNqCNqr DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11DDDD1D1DD1DD11D1D1D11111DD1D11D111:C0NNCNN1CN1.2 dProofs71-unfiltered71+.txt:14564812 12 CNCpCCqrsCqr DDD1D1DDD1D1DD1D1DD1D1D11D1D1D111DD1D1DD1DD11D1D1D111DDD11D1D1D1111D111:CNC0CC1.2.3C1.2 [instance of CNCpCqrq] dProofs71-unfiltered71+.txt:14565568 12 CNCpqCNNNNqr DDD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D11DDD1D1DD1D1D111DD1D11D1111:CNC0.1CNNNN1.2 dProofs71-unfiltered71+.txt:14804409 12 CpCCNNCqpNpr DDD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1DD1D1DD1D1DD1D1D11D1D1D111D111:C0CCNNC1.0N0.2 dProofs71-unfiltered71+.txt:17376499 12 CpCNNNCNNqqr DDDD1D111DDD11DDD1D1DD1D1D111DDD11D1D1D11111DDD1D1DDDD11D1D1D111D1D1111:C0CNNNCNN1.1.2 dProofs71-unfiltered71+.txt:19524187 12 NNCpCNNqCNqr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD11DDDD1D1DD1DD11D1D1D11111DD1D11D111:NNC0CNN1CN1.2 dProofs71-unfiltered71+.txt:19526397 12 NNCNNpCqCNpr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDDD1D1DDDD11D1D1D111D1D1111DD1D11D111:NNCNN0C1CN0.2 dProofs71-unfiltered71+.txt:21918508 12 CNNNCpCNNqqr DDDDD1D111DD11DDD1D1DD1D1D111DDD11D1D1D1111DDD1D1DDDD11D1D1D111D1D11111:CNNNC0CNN1.1.2 dProofs71-unfiltered71+.txt:21972551 12 CNNNCpCqCrps DDDDD1D111DD1D1DD1D1D11D1D1D11DDD11D1D1D111DDD1D1DDDD11D1D1D111D1D11111:CNNNC0C1C2.0.3 dProofs73-unfiltered71+.txt:11373889 12 CpCqCNCrCsts DD1D1D11D1D1DDD1D1DD1D1DD1D1D11D1D1D111DD1D1DD1DD11D1D1D111DDD11D1D1D1111:C0C1CNC2C3.4.3 dProofs73-unfiltered71+.txt:13402806 12 CNCpCNNqrCsq DD1D1DD1D1D11D1DD1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111D1D11D1D11:CNC0CNN1.2C3.1 dProofs73-unfiltered71+.txt:24290750 12 CpCNCNNNNqqr DDD1D11D11DDDD1D1DDDD11D1D1D111D1D1111DDD11DDD1D1DD1D1D111DDD11D1D1D11111:C0CNCNNNN1.1.2 dProofs73-unfiltered71+.txt:26575553 12 CpCCCqqNCrsr DDD1D1D11D1D1D1DD1D1D11D1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D111:C0CCC1.1NC2.3.2 dProofs73-unfiltered71+.txt:26619616 12 CpNNCCNqNNqq DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1DD1D1D11D1D1D11DDD1D1DD1D1D111D1D111:C0NNCCN1NN1.1 dProofs73-unfiltered71+.txt:26683923 12 CCNpNCqCNqrp DDD1D1D1DD1DD1D1DD1D1DD1D1D11D1D1D111D111DDD1D1D11D1D1D1DD1D1D11D1D1D1111:CCN0NC1CN1.2.0 dProofs73-unfiltered71+.txt:28083053 12 CCCpNCqrrCqr DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D111DD1D1DD1D1D11D1D1D1111:CCC0NC1.2.2C1.2 dProofs73-unfiltered71+.txt:35561383 12 CNCNCpCqrNrs DDDD1D11D11DDD1D1DD1DD1DD1DD11D1D1D11D1D1D1111DDD1DDD1D1D1111DD1D11D11111:CNCNC0C1.2N2.3 dProofs73-unfiltered71+.txt:35771636 12 CNCNNpCqCrps DDDD1D11D11DDDD1D1DDDD11D1D1D111D1D1111DD1D1DD1D1D11D1D1D11DDD11D1D1D1111:CNCNN0C1C2.0.3 dProofs73-unfiltered71+.txt:44872052 12 CNNCCppNCqqr DDDDDD1D1D11DD1D1DD1D1D11D1DDDD1D1DD1DD1DD11D1D1D11D1D11111D1D1D1111D1111:CNNCC0.0NC1.1.2 dProofs75-unfiltered71+.txt:21087567 12 CpCNNNNNCqqr DD11DDDD1D1DD1DD11D1D1D11111DDDDD1D1D11DD1D1111DDD1D1DDDD11D1D1D111D1D11111:C0CNNNNNC1.1.2 dProofs75-unfiltered71+.txt:21333777 12 CpCNCqCrsCtr DD1D1D11D1D1D1DD1DDD1D1D1111DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DD1D11D11:C0CNC1C2.3C4.2 dProofs75-unfiltered71+.txt:21602617 12 CpCqCrCNsCst DD1D1D11D1DD1DD1D1DD1D1DD1D1D11D1D1D111DD1D1DD1D1D11D1D1D11DDD11D1D1D111D11:C0C1C2CN3C3.4 dProofs75-unfiltered71+.txt:22914010 12 CCNNpNCqrCpq DD1D1D1DD1D1D11D1D1D11D1D1DD1DD1D1DDDD11D1D1D111D1D111D1D1D1DD1D1D11D1D1D11:CCNN0NC1.2C0.1 dProofs75-unfiltered71+.txt:22914091 12 CCCpCqpNrCrs DD1D1D1DD1D1D11D1D1D11D1D1DD1DD1DD1DD1DD1D111D111DDD1D1DD1DD11D1D1D11111D11:CCC0C1.0N2C2.3 dProofs75-unfiltered71+.txt:22918430 12 CpCCqrCNCqsr DD1D1D1DD1D1D11D1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1DD1D1D11D1D1D111:C0CC1.2CNC1.3.2 dProofs75-unfiltered71+.txt:25776503 12 CpCqNCCNprNp DD1D1DD1DD1DD1DD1D1DD1D1DD1D1D11D1D1D111D111DDD1D1DD1DD11D1D1D11111D11D1D11:C0C1NCCN0.2N0 dProofs75-unfiltered71+.txt:48022576 12 CCNNCppNCqqr DDD1D1D11DDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1DD1D1DD1D1DD1D1D11D1D1D111D1111:CCNNC0.0NC1.1.2 dProofs75-unfiltered71+.txt:48059045 12 NNNNCpCqCNpr DDD1D1D1D11DD1D1DD1D1D11D1D1D11DDDDD1D111DD1D11D11DDD1D1DD1DD11D1D1D1111111:NNNNC0C1CN0.2 dProofs75-unfiltered71+.txt:61601819 12 CNCpCNNNNqqr DDDD1D11D11DD1DD11DDD1D1DD1D1D111DDD11D1D1D1111DDD1D1DDDD11D1D1D111D1D11111:CNC0CNNNN1.1.2 dProofs75-unfiltered71+.txt:61798864 12 CNCNNCCpqppr DDDD1D11D11DDD11DDDD1D1DD1DD11D1D1D11111D1DDD1D1DD1D1DD1D1D11D1D1D111D11111:CNCNNCC0.1.0.0.2 dProofs75-unfiltered71+.txt:64433671 12 NNCpCNCNNqqr DDDD1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11DDD1D1DD1D1D111DDD11D1D1D111111:NNC0CNCNN1.1.2 dProofs75-unfiltered71+.txt:65420390 12 NNCpCCNqNNqq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1DD1D1DD1D1D111D1D11D1D1DD1D1D11D1D1D111:NNC0CCN1NN1.1 dProofs75-unfiltered71+.txt:65420946 12 NNCNNpCNCqpr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11DDD1D1DD1D1D111DD1D11DDD11D1D1D111111:NNCNN0CNC1.0.2 dProofs75-unfiltered71+.txt:69558976 12 CNNCNpNNpCqp DDDD1D1DDDD11D1D1D111D1D1111DD1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111D1D11:CNNCN0NN0C1.0 dProofs75-unfiltered71+.txt:78691716 12 NNCNCpCqNNpr DDDDDD1D111DD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNCNC0C1NN0.2 dProofs75-unfiltered71+.txt:79625442 12 CNCNCNCpqprs DDDDDD1D1D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DD1D1111DD1D11D1111:CNCNCNC0.1.0.2.3 dProofs77-unfiltered71+.txt:45561846 12 CpCqCNCrNNqs DD1D1D1DD1DD1D1DD1D1DD1D1D11D1D1D111D111D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11:C0C1CNC2NN1.3 dProofs77-unfiltered71+.txt:49689184 12 CCCppNCqqCrs DD1D1DD1DD1D1D11D1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11D1D1D11D1D11:CCC0.0NC1.1C2.3 dProofs77-unfiltered71+.txt:57741620 12 CpCCNqNCrNqq DD1DD1D1DD1D1DD1D1D11D1D1D111D1D1DD1D1DDDD11D1D1D111D1D111D1D1DD1D1D11D1D1D11:C0CCN1NC2N1.1 dProofs77-unfiltered71+.txt:97075174 12 CpCNNNCqCrps DDD1DDD1D1D1111DDD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1DDDD11D1D1D111D1D1111:C0CNNNC1C2.0.3 dProofs77-unfiltered71+.txt:97080487 12 CCNpNNCqpCqp DDD1DDD1D1DD1D1DD1D1D11D1D1D111D111D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D11111:CCN0NNC1.0C1.0 dProofs77-unfiltered71+.txt:111056085 12 CNCNCpNqCrqs DDDD1D11D11DD1D1DD1D1D11D1DD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D11D1D111:CNCNC0N1C2.1.3 dProofs77-unfiltered71+.txt:117245272 12 CCCpCqrNCqrq DDDD1D1D11D1D1D1DD1D1D11D1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D1D1111:CCC0C1.2NC1.2.1 dProofs77-unfiltered71+.txt:123882729 12 CNNCCNpqrCpr DDDD1D1DDDD11D1D1D111D1D1111D1D1D1DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D111:CNNCCN0.1.2C0.2 dProofs77-unfiltered71+.txt:133565275 12 CpNNCNCNNqqr DDDDD1D111DDD11DDD1D1DD1D1D111DDD11D1D1D11111DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0NNCNCNN1.1.2 dProofs77-unfiltered71+.txt:136298207 12 NCCppNCNCqqr DDDDD1D1DD1DD1D1D11DD1D111D1D1DD1D111D1111DD11DDDD1D1DD1DD11D1D1D11111D1D1D11:NCC0.0NCNC1.1.2 dProofs77-unfiltered71+.txt:139950005 12 NNCNCpCNNqqr DDDDDD1D111DD11DDD1D1DD1D1D111DDD11D1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNCNC0CNN1.1.2 dProofs77-unfiltered71+.txt:140135615 12 NNCNCpCqCrps DDDDDD1D111DD1D1DD1D1D11D1D1D11DDD11D1D1D111DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNCNC0C1C2.0.3 dProofs79-unfiltered71+.txt:78141091 12 CpCqCrCNNNqs DD1D1D11D1D1D1DD1D1D11DDD1D1DD1DD1DD1DD11D1D1D11D1DD1D1DD1D111D1D1D1111DD1D1111:C0C1C2CNNN1.3 dProofs79-unfiltered71+.txt:78884415 12 CpCqCrCNNNrs DD1D1D11D1DD1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D111D1D1D1DD1D1D11D1D1D11:C0C1C2CNNN2.3 dProofs79-unfiltered71+.txt:102904850 12 CpCNCNCqrsNr DD1DD1D1D11D1D1D11DDDDD1D1DD1DD11D1D1D111DD1D1111DD1D11D11DD1D1DD1D111D1D1D1D11:C0CNCNC1.2.3N2 dProofs79-unfiltered71+.txt:106469162 12 CpCqCNNNCrsr DD1DD1D1DDDD11D1D1D111D1D111D1D1D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11:C0C1CNNNC2.3.2 dProofs79-unfiltered71+.txt:127464135 12 CNCpNqCrCNqs DDD11DDDD1D1DD1DD1DD1DD11D1D1D11D1DD1D1DD1D111D1D1D1D111111DD1D11DDD11D1D1D1111:CNC0N1C2CN1.3 [instance of CNCpqCrCqs] dProofs79-unfiltered71+.txt:127464154 12 CNCpNqCNCrqs DDD11DDDD1D1DD1DD1DD1DD11D1D1D11D1DD1D1DD1D111D1D1D1D1111DD1D1111DDD11D1D1D1111:CNC0N1CNC2.1.3 dProofs79-unfiltered71+.txt:167673948 12 CpNNCNNNCqqr DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDDDD1D1D11DD1D1111DDD1D1DDDD11D1D1D111D1D11111:C0NNCNNNC1.1.2 dProofs79-unfiltered71+.txt:206063523 12 CNCpNNCqCrps DDDD1D11D11DD1D1DD1D1D11D1D1D11DDD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:CNC0NNC1C2.0.3 dProofs79-unfiltered71+.txt:207794772 12 CNCpNNCNNqqr DDDD1D11D11DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11DDD1D1DD1D1D111DDD11D1D1D111111:CNC0NNCNN1.1.2 dProofs79-unfiltered71+.txt:216359624 12 CCCpCqpNCrsr DDDD1D1D11D1D1D1DD1D1D11D1D1DD1DD1DD1DD1DD1D111D111DDD1D1DD1DD11D1D1D11111D1111:CCC0C1.0NC2.3.2 dProofs79-unfiltered71+.txt:216538343 12 NNCpCNCqCrps DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1DD1D1D11D1D1D11DDD1DDD1D1D1111DD1D11D1111:NNC0CNC1C2.0.3 dProofs79-unfiltered71+.txt:216550859 12 NNCpCNNNCqqr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDDD1D1D11DD1D1111DDD1D1DDDD11D1D1D111D1D11111:NNC0CNNNC1.1.2 dProofs79-unfiltered71+.txt:227569355 12 CNNNNNCpCqpr DDDD1D1DDDD11D1D1D111D1D1111DDDDD1D111DDD11D1D1D111DDD1D1DDDD11D1D1D111D1D11111:CNNNNNC0C1.0.2 dProofs79-unfiltered71+.txt:247318212 12 CNNNCpNNCqqr DDDDD1D111DDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111DDD1D1DDDD11D1D1D111D1D11111:CNNNC0NNC1.1.2 dProofs79-unfiltered71+.txt:248428145 12 CNNNCNNpCqpr DDDDD1D111DDDD1D1DDDD11D1D1D111D1D1111DDD11D1D1D111DDD1D1DDDD11D1D1D111D1D11111:CNNNCNN0C1.0.2 dProofs79-unfiltered71+.txt:251073818 12 CpCNCqCrsCst DDDDD1D1DD1DD1DDD1D1D1111DD1D11DD1D11D11D1D1DD1D11111D1DD1DDD1D1D1111DD1D11D111:C0CNC1C2.3C3.4 dProofs81-unfiltered71+.txt:3924 12 CCCNCpqrpCsp D1D1D1D1DD1DD1DD11D1D1D11DDD1D1DD1DD1DD1DD11D1D1D11D1DD1D1DD1D111D1D1D1D111111D11:CCCNC0.1.2.0C3.0 dProofs81-unfiltered71+.txt:137550027 12 CpCqCCNrrCsr DD1D1D11D1DD1D1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D1111:C0C1CCN2.2C3.2 dProofs81-unfiltered71+.txt:148882155 12 CCCpCqqNrCrs DD1D1D1DD1D1D11D1D1D11D1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1DD1D1D11D1D1D11:CCC0C1.1N2C2.3 dProofs81-unfiltered71+.txt:148897423 12 CpCCNqNCNprq DD1D1D1DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D111DDD1D1D11D1D1D1DD1D1D11D1D1D111:C0CCN1NCN0.2.1 dProofs81-unfiltered71+.txt:148910870 12 CNCpCqrCsCtq DD1D1D1DD1DDD1D1D1111DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DD1D11D11DDD11D1D1D111:CNC0C1.2C3C4.1 dProofs81-unfiltered71+.txt:156914061 12 CNCpNCNqNNqq DD1D1DD1D1D11D1DD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1D1DD1D1D111D1D111:CNC0NCN1NN1.1 dProofs81-unfiltered71+.txt:196745774 12 CpCCNqNNNNqq DD1DD1DD11DDD1D1DD1D1D111DDD11D1D1D1111DDD1D1DD1DD11D1D1D11111D1D1DD1D1D11D1D1D11:C0CCN1NNNN1.1 dProofs81-unfiltered71+.txt:227765603 12 CNNCCNCpqprr DDD11DDDD1D1DD1DD11D1D1D11111D1D1D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D111:CNNCCNC0.1.0.2.2 dProofs81-unfiltered71+.txt:312919582 12 NNNNCpCNCqqr DDD1D1D1D11DD1D1DD1D1D11D1D1D11DDDDD1D1D11DD1D11DD1D1111DDD1D1DD1DD11D1D1D1111111:NNNNC0CNC1.1.2 dProofs81-unfiltered71+.txt:388876340 12 CNCCpNpCqNpr DDDD1D11D11DDD1D1DD1DD1DD1D1D11D1DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D11111111:CNCC0N0C1N0.2 dProofs81-unfiltered71+.txt:390478376 12 CNCNNNNpCqpr DDDD1D11D11DDDD1D1DDDD11D1D1D111D1D1111DDDD1D1DDDD11D1D1D111D1D1111DDD11D1D1D1111:CNCNNNN0C1.0.2 dProofs81-unfiltered71+.txt:403226154 12 NNCpCqCrCNrs DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1D11D1D1D1DD1DD1D1DD1D1DD1D1D11D1D1D111D1111:NNC0C1C2CN2.3 dProofs81-unfiltered71+.txt:403229404 12 NNCCNpNNpCqp DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111D1D111:NNCCN0NN0C1.0 dProofs81-unfiltered71+.txt:421680388 12 CNNCNCpqqCpq DDDD1D1DDDD11D1D1D111D1D1111DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D11111:CNNCNC0.1.1C0.1 dProofs81-unfiltered71+.txt:460911317 12 CNNNCNCpqNqr DDDDD1D111DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D111D1D111DDD1D1DDDD11D1D1D111D1D11111:CNNNCNC0.1N1.2 dProofs81-unfiltered71+.txt:479427784 12 CNCNCNpCpqrs DDDDDD1D111DD1D1D1DD1D1D11D1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DD1D11D1111:CNCNCN0C0.1.2.3 dProofs83-unfiltered71+.txt:400008 12 CCCpqrCNCqsr D1D1D1DD1D1D1DD1DD1D1DD1D1DD1D1D11D1D1D111D111D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11:CCC0.1.2CNC1.3.2 dProofs83-unfiltered71+.txt:272237910 12 CpNNNNCNCqqr DD1D1D1D11DD1D1DD1D1D11D1D1D11DDDDDDD1D1D11DD1D1111DD1D1111DDD1D1DD1DD11D1D1D111111:C0NNNNCNC1.1.2 dProofs83-unfiltered71+.txt:272271280 12 CpCqNNCNCrsr DD1D1D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNCNC2.3.2 dProofs83-unfiltered71+.txt:287881456 12 CCNNNpNNpNNp DD1D1DD1D1D11D1D1D11DDDDD1D1DD1DD11DDD11D1D1D111111DD1D1D1DD1D1D11D1D1D11D1D1D1D111:CCNNN0NN0NN0 dProofs83-unfiltered71+.txt:296150574 12 CpCNNCCqqNpr DD1D1DD1DD1DD1D1D11D1D1D111DDD1D1DD1DD1DD1DD11D1D1D11D1DD1D1DD1D111D1D1D111111D1D11:C0CNNCC1.1N0.2 dProofs83-unfiltered71+.txt:350647289 12 CpCqCNrNNCrs DD1DD1D1DD1D1DD1D1D11D1D1D111DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DDD11D1D1D111D11:C0C1CN2NNC2.3 dProofs83-unfiltered71+.txt:350652253 12 CpCqCNrCsCrt DD1DD1D1DD1D1DD1D1D11D1D1D111DD1DD1D1DD1D1D11D1D1D111D1DD1DD1DD11D1D1D11D1D1D111D11:C0C1CN2C3C2.4 dProofs83-unfiltered71+.txt:374387652 12 CpCCCqqNrCrs DD1DD1DD1DD1DD11D1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D1111D1D1D1DD1D1D11D1D1D11:C0CCC1.1N2C2.3 dProofs83-unfiltered71+.txt:378815921 12 CpCNCqrCsCrt DD1DD1DDD1D1D1111DD1D1DD1D1D11D1D1D11DD1D11D11DDD1D1DD1D1DD1D1D11D1D1D111DD1D11D111:C0CNC1.2C3C2.4 dProofs83-unfiltered71+.txt:385340940 12 CpCqCNNNCrqs DD1DDD1D1D1111DD1DDD1D1DD1DD11D1D1D111DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D1111D11:C0C1CNNNC2.1.3 dProofs83-unfiltered71+.txt:420018131 12 CNCCNNpNpNpq DDD11DDDDD1D1DD1DD11D1D1D11111DD1D1D1DD1D1D11D1D1D11DD1D11D11DD1D1DD1D111D1D1D1D111:CNCCNN0N0N0.1 dProofs83-unfiltered71+.txt:510986016 12 CpCNCNCqNrrs DDD1D11D11DDD11DDDD1D1DD1DD1DD1DD11D1D1D11D1DD1D1DD1D111D1D1D1D111111DDD11D1D1D1111:C0CNCNC1N2.2.3 dProofs83-unfiltered71+.txt:571696310 12 CpCCCqqNCrrs DDD1D1D11D1D1D1DD1DD1D1D11D1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11D1D1D111:C0CCC1.1NC2.2.3 dProofs83-unfiltered71+.txt:707850776 12 CNCpCNCqNrrs DDDD1D11D11DD11DDDD1D1DD1DD1DD1DD11D1D1D11D1DD1D1DD1D111D1D1D1D111111DDD11D1D1D1111:CNC0CNC1N2.2.3 dProofs83-unfiltered71+.txt:721529513 12 CNCNNNCpqNqr DDDD1D11D11DDDD1D1DDDD11D1D1D111D1D1111DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D111D1D1111:CNCNNNC0.1N1.2 dProofs83-unfiltered71+.txt:744633850 12 NNCCCNpqrCpr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11D1D1D1DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D1111:NNCCCN0.1.2C0.2 dProofs83-unfiltered71+.txt:775512722 12 CNNNNNCpCqqr DDDD1D1DDDD11D1D1D111D1D1111DDDDD1D111DDD1D1D11D1D1D111DDD1D1DDDD11D1D1D111D1D11111:CNNNNNC0C1.1.2 dProofs13.txt:4 13 CCCpqCqrCsCqr D1DDD1D1D1111:CCC0.1C1.2C3C1.2 dProofs15.txt:4 13 CCCpCqCrqsCts D1DD1DD1D111D11:CCC0C1C2.1.3C4.3 dProofs15.txt:7 13 CpCqCNCrCNpst DD1D11DD1D11D11:C0C1CNC2CN0.3.4 dProofs17.txt:15 13 CpCqCrCCsrCtr DD1DD11D1D1D11D11:C0C1C2CC3.2C4.2 [instance of CpCqCrCsCtr] dProofs17.txt:18 13 CpCCCqCrqsCts DD1DD1DD1D111D111:C0CCC1C2.1.3C4.3 dProofs19.txt:39 13 CpCNCqCrCNqst DDD1D11D11DD1D11D11:C0CNC1C2CN1.3.4 dProofs21.txt:1 13 CCCCNpNqprCqr D1D1D1DD1D1D11D1D1D11:CCCCN0N1.0.2C1.2 dProofs23.txt:19 13 CCCpCqCrrsCts D1DD1DD11D1D1D11D1D1D11:CCC0C1C2.2.3C4.3 dProofs23.txt:64 13 CpCCCqrNrCsNr DD1DD1DD1D1D11D1D1D1111:C0CCC1.2N2C3N2 dProofs25.txt:92 13 CpCCCqCrrsCts DD1DD1DD11D1D1D11D1D1D111:C0CCC1C2.2.3C4.3 dProofs25.txt:167 13 CpCNCqCNCrrst DDD1D1D11DD1D11DD1D11D111:C0CNC1CNC2.2.3.4 dProofs25.txt:208 13 CNCpCqCrCNqst DDDD1D11D11DD1D1D11D1D111:CNC0C1C2CN1.3.4 dProofs27.txt:6 13 CCCpCqCrsrCtr D1D1DD1DDD1D1D1111DD1D11D11:CCC0C1C2.3.2C4.2 dProofs27.txt:347 13 CpCqCNCNCrrst DDDD1D1D11DD1D1111DD1D11D11:C0C1CNCNC2.2.3.4 dProofs29.txt:134 13 CpCqCCCrrsCts DD1D1D11D1DD1DD1D1D11D1D1D111:C0C1CCC2.2.3C4.3 dProofs29.txt:186 13 CpCqCrCsCtCut DD1DD11D1D1D11D1DD1DD1D111D11:C0C1C2C3C4C5.4 dProofs29.txt:505 13 CNCpCqCNCrrst DDDD1D11D11DD1D1D11DD1D11D111:CNC0C1CNC2.2.3.4 dProofs31.txt:187 13 CpCNCqCrCNpst DD1D11DDD1DDD1D1D1111DD1D11D111:C0CNC1C2CN0.3.4 dProofs31.txt:706 13 CpCNCqCNCrpst DDD1DDD1D1D1111DD1D11DD1D11D111:C0CNC1CNC2.0.3.4 dProofs31.txt:800 13 CNCpCqCrCNpst DDDD1D11D11DD1D11DDD11D1D1D1111:CNC0C1C2CN0.3.4 dProofs31.txt:849 13 CNCpCNCqCrqst DDDD1D11DD1D11D11DDD11D1D1D1111:CNC0CNC1C2.1.3.4 dProofs33.txt:1453 13 CpCNCNCqCrqst DDDDD1D111DDD11D1D1D111DD1D11D111:C0CNCNC1C2.1.3.4 dProofs33.txt:1489 13 CNCNCpCqCrqst DDDDDD1D111DD11D1D1D11DD1D11D1111:CNCNC0C1C2.1.3.4 dProofs35.txt:172 13 CCCpCqCrpsCts D1DD1DD11D1D1D11D1D1DD1D1D11D1D1D11:CCC0C1C2.0.3C4.3 dProofs35.txt:263 13 CCCpCNNqqrCsr D1DD1DD1D1DD1D1D111DDD11D1D1D111D11:CCC0CNN1.1.2C3.2 dProofs35.txt:473 13 CpCqNNCCrqCsq DD11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNCC2.1C3.1 [instance of CpCqNNCrCsq] dProofs35.txt:498 13 CpCqCCrsCNNrs DD1D1D11D1DD1D1DDDD11D1D1D111D1D111:C0C1CC2.3CNN2.3 dProofs35.txt:699 13 CpCqCrCCNsNqs DD1DD11D1D1D11D1D1D1DD1D1D11D1D1D11:C0C1C2CCN3N1.3 dProofs35.txt:1410 13 CpCNCqCNCrqst DDD1D11D11DDD1DDD1D1D1111DD1D11D111:C0CNC1CNC2.1.3.4 dProofs35.txt:1753 13 CCCpqCNpNCrrp DDD1D1DD1D1DD1D1D11D1D1D111D1D1D111:CCC0.1CN0NC2.2.0 dProofs35.txt:2064 13 CNCpCqCNCrqst DDDD1D11D11DD1DDD1D1D1111DD1D11D111:CNC0C1CNC2.1.3.4 dProofs35.txt:2166 13 CNCpCNCqCrrst DDDD1D11DD1D11D11DDD1D1D11D1D1D1111:CNC0CNC1C2.2.3.4 dProofs37.txt:740 13 CpCqCrCCsqCtq DD11DD1D1DD1D1D11D1D1D11DDD11D1D1D111:C0C1C2CC3.1C4.1 [instance of CpCqCrCsCtq] dProofs37.txt:744 13 CpCNNCCqrNrNr DD11DDDD1D1DD1DD11D1D1D11111D1D1D1D11:C0CNNCC1.2N2N2 dProofs37.txt:1117 13 CpCqCrCsCtCuu DD1DD11D1D1D11D1DD1DD11D1D1D11D1D1D11:C0C1C2C3C4C5.5 dProofs37.txt:1460 13 CpCCCNNqqrCsr DD1DD1DD1D1DD1D1D111DDD11D1D1D111D111:C0CCCNN1.1.2C3.2 dProofs37.txt:1461 13 CpCCCqCrsrCtr DD1DD1DD1D1DD1D1DD1D1D11D1D1D111D1111:C0CCC1C2.3.2C4.2 dProofs37.txt:3633 13 CNNCCpqNqCrNq DDDD1D1DDDD11D1D1D111D1D1111D1D1D1D11:CNNCC0.1N1C2N1 dProofs37.txt:3750 13 CpCNCNCqCrrst DDDDD1D111DDD1D1D11D1D1D111DD1D11D111:C0CNCNC1C2.2.3.4 dProofs37.txt:3831 13 CNCNCpCqCrrst DDDDDD1D111DD1D1D11D1D1D11DD1D11D1111:CNCNC0C1C2.2.3.4 dProofs39.txt:1226 13 CpCqCrCCNsNrs DD1D1D11D1DD1D1D11D1D1D1DD1D1D11D1D1D11:C0C1C2CCN3N2.3 dProofs39.txt:1294 13 CpCqCCCrstCst DD1D1D11D1DD1DD1DD1DD11D1D1D11D1D1D1111:C0C1CCC2.3.4C3.4 dProofs39.txt:1659 13 CpCCqCrpCsCrp DD1D1DD1D1D11D1D1D11DDD11DDD11D1D1D1111:C0CC1C2.0C3C2.0 [instance of CpCqCrCsp] dProofs39.txt:1962 13 CpCqCCNrNCssr DD1DD1D1D11D1D1D1DD1D1D11D1D1D11D1D1D11:C0C1CCN2NC3.3.2 dProofs39.txt:4178 13 CpNNCCCqqrCsr DDD1D1D1DD1D1D11D1D1D11D1D1D1D11D1D1D11:C0NNCCC1.1.2C3.2 dProofs41.txt:263 13 CCCpNNCqqrCsr D1DD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:CCC0NNC1.1.2C3.2 dProofs41.txt:1920 13 CpCNNCCqCrqss DD11DDDD1D1DD1DD11D1D1D11111D1DD11D1D1D11:C0CNNCC1C2.1.3.3 dProofs41.txt:6692 13 CpNNCCqrCrCqr DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11D111:C0NNCC1.2C2C1.2 [instance of CpNNCqCrq] dProofs41.txt:8261 13 CNCCCpNqqCrqs DDDD1D11D11D1D1DD1D1DDDD11D1D1D111D1D1111:CNCCC0N1.1C2.1.3 dProofs41.txt:8428 13 CNCpCqCNCrpst DDDD1D11D11DD1D1DD1D1D11D1D1D11DD1D11D111:CNC0C1CNC2.0.3.4 dProofs41.txt:9107 13 NNCpCCqrCrCqr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD11D111:NNC0CC1.2C2C1.2 [instance of NNCpCqCrq] dProofs41.txt:9418 13 CNNCCpCqprCsr DDDD1D1DDDD11D1D1D111D1D1111D1DD11D1D1D11:CNNCC0C1.0.2C3.2 dProofs43.txt:991 13 CCCNCpqNqrCsr D1DD1D1DD1D1DDDD11D1D1D111D1D11DD1D111D1D11:CCCNC0.1N1.2C3.2 dProofs43.txt:1164 13 CCCNNpCqprCsr D1DD1DD11D1D1D11DDD1D1DDDD11D1D1D111D1D1111:CCCNN0C1.0.2C3.2 dProofs43.txt:3282 13 CpCqCCCrsrCtr DD1D1D11D1DD1DD1D1DD1D1DD1D1D11D1D1D111D111:C0C1CCC2.3.2C4.2 dProofs43.txt:5193 13 CpCCNNCqqrCsr DD1DD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0CCNNC1.1.2C3.2 dProofs43.txt:6354 13 CNNCCpqCqrCqr DDD11DDDD1D1DD1DD11D1D1D11111D1DDD1D1D11111:CNNCC0.1C1.2C1.2 dProofs43.txt:14729 13 CCNpNCqCrCsrp DDDD1D1D11D1D1D1DD1D1D11D1D1D111DD11D1D1D11:CCN0NC1C2C3.2.0 dProofs43.txt:14760 13 NNCCCpqNqCrNq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11D1D1D1D111:NNCCC0.1N1C2N1 dProofs45.txt:1 13 CCCpqNNrCrNNr D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111:CCC0.1NN2C2NN2 [instance of CpCqNNq] dProofs45.txt:5018 13 CpCNNCCqCrrss DD11DDDD1D1DD1DD11D1D1D11111D1DD1D1D11D1D1D11:C0CNNCC1C2.2.3.3 dProofs45.txt:5132 13 CpCqCNNCCrrss DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11:C0C1CNNCC2.2.3.3 dProofs45.txt:5400 13 CpCqCrCCrsCts DD1D1D11D1DDDD11D1D1D111DD1D1DD1D1D11D1D1D111:C0C1C2CC2.3C4.3 dProofs45.txt:6120 13 CpCqCNCrCNqst DD1D1D1DD1DD1D1DD1D1DD1D1D11D1D1D111D111D1D11:C0C1CNC2CN1.3.4 dProofs45.txt:7204 13 CpCCCqrsCNNrs DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D111:C0CCC1.2.3CNN2.3 dProofs45.txt:7479 13 CpCCNqNCrCsrq DD1DD11D1D1D11DDD1D1D11D1D1D1DD1D1D11D1D1D111:C0CCN1NC2C3.2.1 dProofs45.txt:9528 13 CpCCCqNNrsCrs DD1DD1DD1DD11D1D1D11D1D1DDDD11D1D1D111D1D1111:C0CCC1NN2.3C2.3 dProofs45.txt:10211 13 CNNCCpCqCrqss DDD11DDDD1D1DD1DD11D1D1D11111D1DD1DD1D111D111:CNNCC0C1C2.1.3.3 dProofs45.txt:10213 13 CNNpCNCqCNprs DDD11DDDD1D1DD1DD11D1D1D11111DD1D11DD1D11D111:CNN0CNC1CN0.2.3 [instance of CNpCNCqCprs] dProofs45.txt:10218 13 CNNpCNCNCqprs DDD11DDDD1D1DD1DD11D1D1D111DD1D1111DD1D11D111:CNN0CNCNC1.0.2.3 dProofs45.txt:17463 13 CpNNCqCrCsCts DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1DD1D111D11:C0NNC1C2C3C4.3 dProofs45.txt:24861 13 CNNCCpCqqrCsr DDDD1D1DDDD11D1D1D111D1D1111D1DD1D1D11D1D1D11:CNNCC0C1.1.2C3.2 dProofs47.txt:199 13 CCCpCqrNrCsNr D1D1DD1D1DD1D1DD1D1DD1D1D11D1D1D111D11DD1D11D11:CCC0C1.2N2C3N2 dProofs47.txt:694 13 CCCpCqNNprCsr D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11:CCC0C1NN0.2C3.2 dProofs47.txt:5110 13 CCCpNNCqprCsr D1DD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D11:CCC0NNC1.0.2C3.2 dProofs47.txt:5579 13 CCNNCpCqprCsr D1DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11D1D1D111:CCNNC0C1.0.2C3.2 dProofs47.txt:8381 13 CpCqCrCsCNNtt DD1D1D11D1DD1DD11D1D1D11D1D1DDDD11D1D1D111D1D11:C0C1C2C3CNN4.4 dProofs47.txt:11593 13 CpCqCCNrNqCsr DD1DD11D1D1D11D1D1DD1D1DD1D1DD1D1D11D1D1D111D11:C0C1CCN2N1C3.2 dProofs47.txt:12591 13 CpCNNqCCrqCsq DD1DD11DDD11D1D1D111DDD1D1DDDD11D1D1D111D1D1111:C0CNN1CC2.1C3.1 [instance of CpCNNqCrCsq] dProofs47.txt:14672 13 CpCqNNCrCsCts DD1DD1DD1D111D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNC2C3C4.3 dProofs47.txt:15395 13 CpCqCrCNNsCts DD1DD1DD1DD1D111D111D1DD1D1DDDD11D1D1D111D1D111:C0C1C2CNN3C4.3 dProofs47.txt:28077 13 NNCCpCqqCrCqq DDD1D1D11DDD11DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNCC0C1.1C2C1.1 [instance of NNCpCqCrr] dProofs47.txt:38548 13 CCNpNCqCrCssp DDDD1D1D11D1D1D1DD1D1D11D1D1D111DD1D1D11D1D1D11:CCN0NC1C2C3.3.0 dProofs47.txt:38617 13 NNCCCpCqprCsr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11D1DD11D1D1D111:NNCCC0C1.0.2C3.2 dProofs47.txt:40845 13 CNNNCpCqCNprs DDDDD1D111DD1D11D11DDD1D1DDDD11D1D1D111D1D11111:CNNNC0C1CN0.2.3 dProofs49.txt:15955 13 CpCqCNCrCNrst DD1D1D1DD1DD1D1DD1D1DD1D1D11D1D1D111D111DD1D11D11:C0C1CNC2CN2.3.4 dProofs49.txt:18828 13 CpCqCNCrsCtNs DD1DD11D1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D111:C0C1CNC2.3C4N3 dProofs49.txt:18901 13 CpCqCrCsCtCus DD1DD11D1D1D11D1DD1DD11D1D1D11D1D1DD1D1D11D1D1D11:C0C1C2C3C4C5.3 dProofs49.txt:20950 13 CpCCNqNCrCssq DD1DD1D1D11D1D1D11DDD1D1D11D1D1D1DD1D1D11D1D1D111:C0CCN1NC2C3.3.1 dProofs49.txt:22490 13 CpCqCNNCNrNqr DD1DD1D1DDDD11D1D1D111D1D111D1D1D1DD1D1D11D1D1D11:C0C1CNNCN2N1.2 dProofs49.txt:24157 13 CpCNNCCqqrCsr DD1DD1DD1D1D11D1D1D111DDD1D1DDDD11D1D1D111D1D1111:C0CNNCC1.1.2C3.2 dProofs49.txt:25477 13 CpCqCCNrNCsqr DD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11DDD11D1D1D111:C0C1CCN2NC3.1.2 dProofs49.txt:37148 13 CpCNCqCrCNrst DDD1D11D11DD1DDD1D1DD1D1DD1D1D11D1D1D111D111D1D11:C0CNC1C2CN2.3.4 dProofs49.txt:37219 13 CpCNCNNqCNqrs DDD1D11D11DDD11DDDD1D1DD1DD11D1D1D11111DD1D11D111:C0CNCNN1CN1.2.3 [instance of CpCNCNqCqrs] dProofs49.txt:57431 13 CNCpCNNqCNqrs DDDD1D11D11DD11DDDD1D1DD1DD11D1D1D11111DD1D11D111:CNC0CNN1CN1.2.3 [instance of CNCpCNqCqrs] dProofs49.txt:59639 13 CNCNNpCqCNprs DDDD1D11D11DDDD1D1DDDD11D1D1D111D1D1111DD1D11D111:CNCNN0C1CN0.2.3 dProofs51.txt:14584 13 CCNNCpCqqrCsr D1DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1D1D11D1D1D111:CCNNC0C1.1.2C3.2 dProofs51.txt:36439 13 CpCqCNrCNCrst DD1DD1D1DD1D1DD1D1D11D1D1D111DD1D11DDD11D1D1D111D11:C0C1CN2CNC2.3.4 dProofs51.txt:59278 13 CpCNCCNqNNqqr DDD1D11D11DD1D1DD1D1D11D1D1D11DDD1D1DD1D1D111D1D111:C0CNCCN1NN1.1.2 dProofs51.txt:74130 13 CpNNCCCqrsCrs DDD1D1D1DD1D1D11D1D1D11D1D1D1D11D1D1DD1D1D11D1D1D11:C0NNCCC1.2.3C2.3 dProofs51.txt:74155 13 CpNNCqCCrqCsq DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11DDD11D1D1D1111:C0NNC1CC2.1C3.1 [instance of CpNNCqCrCsq] dProofs51.txt:102185 13 NNCCCpCqqrCsr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11D1DD1D1D11D1D1D111:NNCCC0C1.1.2C3.2 dProofs51.txt:102191 13 NNCpCqCCrqCsq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD11DDD11D1D1D1111:NNC0C1CC2.1C3.1 [instance of NNCpCqCrCsq] dProofs53.txt:35479 13 CpCqCrCNCstNt DD1D1D11D1DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D111:C0C1C2CNC3.4N4 dProofs53.txt:38006 13 CpCqNCNNCrrNq DD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1DD1D1D11D1D1D11:C0C1NCNNC2.2N1 dProofs53.txt:42129 13 CpCqNNCCNrNpr DD1D1D1DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNCCN2N0.2 dProofs53.txt:70457 13 CNNCCpCqCrrss DDD11DDDD1D1DD1DD11D1D1D11111D1DD1DD11D1D1D11D1D1D111:CNNCC0C1C2.2.3.3 dProofs53.txt:120386 13 CpNNCqCCqrCsr DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1DD1D1D11D1D1D111:C0NNC1CC1.2C3.2 dProofs53.txt:120388 13 CpNNCqCrCsCtt DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1DD11D1D1D11D1D1D11:C0NNC1C2C3C4.4 dProofs53.txt:134182 13 CpCqCCNNqrCsr DDDD11D1D1D111DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D111:C0C1CCNN1.2C3.2 dProofs53.txt:153580 13 CNCpCCNqNNqqr DDDD1D11D11DD1DD1D1DD1D1D111D1D11D1D1DD1D1D11D1D1D111:CNC0CCN1NN1.1.2 dProofs53.txt:154136 13 CNCNNpCNCqprs DDDD1D11D11DDD11DDD1D1DD1D1D111DD1D11DDD11D1D1D111111:CNCNN0CNC1.0.2.3 dProofs53.txt:161753 13 CNCpCNCNNqqrs DDDD1D11DD1D11D11DDD11DDD1D1DD1D1D111DDD11D1D1D111111:CNC0CNCNN1.1.2.3 dProofs53.txt:166342 13 NNCpCCCqqrCsr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1DD1D1D11D1D1D1111:NNC0CCC1.1.2C3.2 dProofs53.txt:183185 13 CNNNCpCNCqqrs DDDDD1D1D11DD1D11DD1D1111DDD1D1DDDD11D1D1D111D1D11111:CNNNC0CNC1.1.2.3 dProofs53.txt:184871 13 NNCNCpCqCNprs DDDDDD1D111DD1D11D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNCNC0C1CN0.2.3 dProofs53.txt:185085 13 CNCNCpCqNNprs DDDDDD1D111DD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D11D1111:CNCNC0C1NN0.2.3 dProofs55.txt:58671 13 CpCqCrNNCsCts DD1D1D11D1DD1DD11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1C2NNC3C4.3 dProofs55.txt:61897 13 CpCCNqNCrrCsq DD1D1D11DD1D1DD1D1DD1D1DD1D1D11D1D1D111D11DDD11D1D1D111:C0CCN1NC2.2C3.1 dProofs55.txt:68475 13 CpCqCrCCNsNps DD1D1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D11DDD11D1D1D111:C0C1C2CCN3N0.3 dProofs55.txt:76371 13 CpCqCCNrNCspr DD1D1DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11DDD11D1D1D111:C0C1CCN2NC3.0.2 dProofs55.txt:80557 13 CpCqCrCsNNCtt DD1DD11D1D1D11D1DD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1C2C3NNC4.4 dProofs55.txt:95924 13 CpCNNCqrCNNqr DD1DD1D1DDDD11D1D1D111D1D111DDD1D1DDDD11D1D1D111D1D1111:C0CNNC1.2CNN1.2 dProofs55.txt:96910 13 CpCqNNCrCsCtt DD1DD1DD11D1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNC2C3C4.4 dProofs55.txt:218320 13 CpCqCCCrqsCts DDDD11D1D1D111DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D111:C0C1CCC2.1.3C4.3 dProofs55.txt:291399 13 CpCNCNCNNqqrs DDDDD1D111DDD11DDD1D1DD1D1D111DDD11D1D1D11111DD1D11D111:C0CNCNCNN1.1.2.3 dProofs55.txt:301883 13 CNCNCpCNNqqrs DDDDDD1D111DD11DDD1D1DD1D1D111DDD11D1D1D1111DD1D11D1111:CNCNC0CNN1.1.2.3 dProofs55.txt:302438 13 CNCNCpCqCrpst DDDDDD1D111DD1D1DD1D1D11D1D1D11DDD11D1D1D111DD1D11D1111:CNCNC0C1C2.0.3.4 dProofs55.txt:305883 13 CpCNNNCNCqqrs DDDDDD1D1D11DD1D1111DD1D1111DDD1D1DDDD11D1D1D111D1D1111:C0CNNNCNC1.1.2.3 dProofs57.txt:7074 13 CCCpCqNNqrCsr D1DD1D1D11D1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111:CCC0C1NN1.2C3.2 dProofs57.txt:93732 13 CpCqCrNCCssNq DD1D1D11D1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11:C0C1C2NCC3.3N1 dProofs57.txt:100990 13 CpCNNCNqNCrrq DD1D1D11DD1D1D1DD1D1D11D1D1D11DDD1D1DDDD11D1D1D111D1D1111:C0CNNCN1NC2.2.1 dProofs57.txt:127389 13 CpCCNqrCNCsqr DD1D1DD1D1DDDD11D1D1D111D1D11DD1D11DD1D1DD1D1D11D1D1D1111:C0CCN1.2CNC3.1.2 dProofs57.txt:155678 13 CpCCNNqNCrqNq DD1DD1D1DD1D1DD1D1D11D1D1D111D1D1D1D11D1D1DD1D1D11D1D1D11:C0CCNN1NC2.1N1 dProofs57.txt:187295 13 CpNNCqCCrpCsp DDD11DD1D1DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0NNC1CC2.0C3.0 dProofs57.txt:187368 13 CpCqNNCCrpCsp DDD11DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DDD11D1D1D1111:C0C1NNCC2.0C3.0 [instance of CpCqNNCrCsp] dProofs57.txt:187461 13 CpCqCrCCspCtp DDD11DD1DD1D1DD1D1D11D1D1D111D1DD1DD1DD11D1D1D11D1D1D1111:C0C1C2CC3.0C4.0 [instance of CpCqCrCsCtp] dProofs57.txt:187491 13 CNNCCpCqCrsrr DDD11DDDD1D1DD1DD11D1D1D11111D1D1DD1DDD1D1D1111DD1D11D111:CNNCC0C1C2.3.2.2 dProofs57.txt:278572 13 CpCNCNNNCqqrs DDD1D11D11DDDDD1D1D11DD1D1111DDD1D1DDDD11D1D1D111D1D11111:C0CNCNNNC1.1.2.3 dProofs57.txt:406174 13 CNCpCNCqCrpst DDDD1D11D11DD1D1DD1D1D11D1D1D11DDD1DDD1D1D1111DD1D11D1111:CNC0CNC1C2.0.3.4 dProofs57.txt:418631 13 CNCpCNNNCqqrs DDDD1D11D11DDDD1D1D11DD1D1111DDD1D1DDDD11D1D1D111D1D11111:CNC0CNNNC1.1.2.3 dProofs57.txt:442589 13 NNCpCqCrCsCts DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1D11D1DD1DD1D111D111:NNC0C1C2C3C4.3 dProofs59.txt:918 13 CCCpqrCNCsNqr D1D1DD1D1D11D1DD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D11:CCC0.1.2CNC3N1.2 dProofs59.txt:153262 13 CpCqCrNCCsqNq DD1D1D11D1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D1D11:C0C1C2NCC3.1N1 dProofs59.txt:153445 13 CpCqCrCsCtNNs DD1D1D11D1D1DD1D1D11DDD1D111DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1C2C3C4NN3 dProofs59.txt:157589 13 CpCqCrNNCsCtt DD1D1D11D1DD1DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1C2NNC3C4.4 dProofs59.txt:182590 13 CpCqCCNrNNNpr DD1D1D1DD1D1D11D1D1D11D1D1DD1DD1DD1DD1DD11D1D1D11D1D1D11111:C0C1CCN2NNN0.2 dProofs59.txt:203307 13 CpCCNNCqprCsr DD1D1DD1D1D11D1D1D11DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D111:C0CCNNC1.0.2C3.2 dProofs59.txt:210628 13 CpCCCqNNprCsr DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DD1D1DD1D1D11D1D1D111:C0CCC1NN0.2C3.2 dProofs59.txt:211812 13 CpCqNCCrCsrNp DD1D1DD1DD1DD1DD1DD1D111D111DDD1D1DD1DD11D1D1D11111D11D1D11:C0C1NCC2C3.2N0 dProofs59.txt:236822 13 CpCCCqNNqrCsr DD1DD1D1D11D1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D11111:C0CCC1NN1.2C3.2 dProofs59.txt:236941 13 CpCNNqCCNrNqr DD1DD1D1D11D1D1D1DD1D1D11D1D1D11DDD1D1DDDD11D1D1D111D1D1111:C0CNN1CCN2N1.2 dProofs59.txt:283216 13 CpCNNCCqrsCrs DD1DD1DD1DD1DD11D1D1D11D1D1D1111DDD1D1DDDD11D1D1D111D1D1111:C0CNNCC1.2.3C2.3 dProofs59.txt:285223 13 CpCqCNCrCstNt DD1DD1DDD1D1D1111DD1D11D11D1D1DD1DD1DD1DD11D1D1D11D1D1D1111:C0C1CNC2C3.4N4 dProofs59.txt:289035 13 CpCqNCNNCrqNq DD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D1DD1D1D11D1D1D11:C0C1NCNNC2.1N1 dProofs59.txt:521865 13 CpNNCCqrCNNqr DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1D1DDDD11D1D1D111D1D1111:C0NNCC1.2CNN1.2 dProofs59.txt:521921 13 CpNCNNCqCrqNp DDD1D1D1DD1D1D11D1D1D11D1D1D1D1DD1D1D11D1D1D11DDD11D1D1D111:C0NCNNC1C2.1N0 dProofs59.txt:582893 13 CpCqCrNCNNqNr DDDD11D1D1D111DD1D1D1DD1D1D11D1D1D11D1D1D1D1DD1D1D11D1D1D11:C0C1C2NCNN1N2 dProofs59.txt:661411 13 CNCpCqCrCNrst DDDD1D11D11DD1D1D11D1D1D1DD1DD1D1DD1D1DD1D1D11D1D1D111D1111:CNC0C1C2CN2.3.4 dProofs59.txt:664659 13 CNCCNpNNpCqpr DDDD1D11D11DD1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111D1D111:CNCCN0NN0C1.0.2 dProofs59.txt:723987 13 NNCpCCqrCNNqr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1DDDD11D1D1D111D1D1111:NNC0CC1.2CNN1.2 dProofs59.txt:821162 13 NNCpCNCNCqqrs DDDDDD1D1D11DD1D1111DD1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNC0CNCNC1.1.2.3 dProofs59.txt:821237 13 NNCNCpCNCqqrs DDDDDD1D1D11DD1D11DD1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNCNC0CNC1.1.2.3 dProofs61.txt:166072 13 CCNNCpCqrqCsq D1DDD1D1DD1D1DD1D1D11D1D1D111DD1D1D1DD1D1D11D1D1D11D1D1D1D111:CCNNC0C1.2.1C3.1 dProofs61.txt:255737 13 CpCqCrCsCtNNr DD1D1D11D1DD1DD11D1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11:C0C1C2C3C4NN2 dProofs61.txt:298384 13 CpCqCNCNCrsrt DD1D1D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DD1D11D11:C0C1CNCNC2.3.2.4 dProofs61.txt:331781 13 CpCCCqCrpsCts DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D111:C0CCC1C2.0.3C4.3 dProofs61.txt:331834 13 CCNCpqNCrpCpq DD1D1DD1D1D11D1D1D11DDD1D1DD1D1DD1D1D11D1D1D111D1DDD1D1D11111:CCNC0.1NC2.0C0.1 dProofs61.txt:333244 13 CNCpNqCCqrCsr DD1D1DD1D1D11D1DD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D111:CNC0N1CC1.2C3.2 dProofs61.txt:352103 13 CpCqCrCsNNCts DD1DD11D1D1D11D1DD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1C2C3NNC4.3 dProofs61.txt:413468 13 CpCCNCqrNqCqr DD1DD1D1DD1D1DD1D1D11D1D1D111DDD11D1D1D111D1D1DD1D1D11D1D1D11:C0CCNC1.2N1C1.2 dProofs61.txt:414985 13 CpCqCNNrCsCtr DD1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D111D1DD11D1D1D11:C0C1CNN2C3C4.2 dProofs61.txt:444029 13 CpCCCqCrstCst DD1DD1DD1D1D11D1DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D11111:C0CCC1C2.3.4C3.4 dProofs61.txt:909969 13 CCCpqCNpNCprp DDD1D1DD1D1DD1D1D11D1D1D111D1DDD1D1DD1D1DD1D1D11D1D1D111D1111:CCC0.1CN0NC0.2.0 dProofs61.txt:910802 13 CCNpNCqCrqCsp DDD1D1DD1D1DD1D1DD1D1D11D1D1D111D11DDD11D1D1D111DDD11D1D1D111:CCN0NC1C2.1C3.0 dProofs61.txt:1068370 13 CNCCCNpqrCprs DDDD1D11D11D1D1D1DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D1111:CNCCCN0.1.2C0.2.3 dProofs61.txt:1350298 13 CNNNCNCpCqprs DDDDDDD1D111DDD11D1D1D111DD1D1111DDD1D1DDDD11D1D1D111D1D11111:CNNNCNC0C1.0.2.3 dProofs61.txt:1353669 13 CpNNCNCNCqqrs DDDDDDD1D1D11DD1D1111DD1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0NNCNCNC1.1.2.3 dProofs63.txt:20429 13 CCCpCqCrstCst D1D1DD1DD1DDD1D1D1111DD1D11D11D1D1DD1DD1DD1DD11D1D1D11D1D1D1111:CCC0C1C2.3.4C3.4 dProofs63.txt:405822 13 CpCNNCCqCrsrr DD11DDDD1D1DD1DD11D1D1D11111D1D1DDD1D1DD1D1DD1D1D11D1D1D111D111:C0CNNCC1C2.3.2.2 dProofs63.txt:405827 13 CpCNNCCNNqqrr DD11DDDD1D1DD1DD11D1D1D11111D1DD11DDD1D1DD1D1D111DDD11D1D1D1111:C0CNNCCNN1.1.2.2 dProofs63.txt:406687 13 CpCNNNNCCqqrr DD11DDDD1D1DD1DD11D1D1D11111DDDD1D1DDDD11D1D1D111D1D1111D1D1D11:C0CNNNNCC1.1.2.2 dProofs63.txt:441677 13 CpCqNCCrrNCss DD1D1D11DD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11D1D11:C0C1NCC2.2NC3.3 dProofs63.txt:483651 13 CpNCNNCqqNCrr DD1D1D11DDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1DD1D1D11D1D1D111:C0NCNNC1.1NC2.2 dProofs63.txt:487927 13 CpCCNqNNNpCrq DD1D1D1DD1D1D11D1D1D11D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111:C0CCN1NNN0C2.1 dProofs63.txt:542842 13 CpCqCrNCCssNp DD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11DDD11D1D1D111:C0C1C2NCC3.3N0 dProofs63.txt:545127 13 CNCpNCqrCsCqr DD1D1DD1D1D11D1DD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D11D11:CNC0NC1.2C3C1.2 [instance of CNCpNqCrq] dProofs63.txt:731461 13 CpCNNCCqrqCsq DD1DD1DD1D1DD1D1DD1D1D11D1D1D111D111DDD1D1DDDD11D1D1D111D1D1111:C0CNNCC1.2.1C3.1 dProofs63.txt:772215 13 CpCqCNNCNrNpr DD1DDD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D1111DDD11D1D1D111:C0C1CNNCN2N0.2 dProofs63.txt:812574 13 CpCCNqNNNCrrq DD1DDDD1D1D11DD1D1111DDD1D1DD1DD11D1D1D11111D1D1DD1D1D11D1D1D11:C0CCN1NNNC2.2.1 dProofs63.txt:1391777 13 CpNNCCNqNCrrq DDD1D1D11DD1D1D1DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0NNCCN1NC2.2.1 dProofs63.txt:1394293 13 CpNNCqCCNrNqr DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1D1D11D1D1D1DD1D1D11D1D1D111:C0NNC1CCN2N1.2 dProofs63.txt:1394507 13 CpNCNNCqCrrNp DDD1D1D1DD1D1D11D1D1D11D1D1D1D1DD1D1D11D1D1D11DDD1D1D11D1D1D111:C0NCNNC1C2.2N0 dProofs63.txt:1399373 13 CNNCNpNCqCrqp DDD1D1D1DD1D1D11D1D1D11DDD1D1DDDD11D1D1D111D1D1111DDD11D1D1D111:CNNCN0NC1C2.1.0 dProofs63.txt:1561796 13 CpCNNqCCqrCsr DDDD11D1D1D111DDDD1D1DDDD11D1D1D111D1D1111DD1D1DD1D1D11D1D1D111:C0CNN1CC1.2C3.2 dProofs63.txt:1837361 13 CNCNNNCpCqprs DDDD1D11D11DDDDD1D111DDD11D1D1D111DDD1D1DDDD11D1D1D111D1D111111:CNCNNNC0C1.0.2.3 dProofs63.txt:1839114 13 CNCpNNCNCqqrs DDDD1D11D11DDDDD1D1D11DD1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:CNC0NNCNC1.1.2.3 dProofs63.txt:1936784 13 CCNpNCqCrNNqp DDDD1D1D11D1D1D1DD1D1D11D1D1D111DD1D1D1DD1D1D11D1D1D11D1D1D1D11:CCN0NC1C2NN1.0 dProofs63.txt:1939810 13 NNCpCqCCNrNqr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1D11D1D1D1DD1D1D11D1D1D111:NNC0C1CCN2N1.2 dProofs63.txt:1939924 13 NNCpCCCqrsCrs DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1DD1DD1DD11D1D1D11D1D1D11111:NNC0CCC1.2.3C2.3 dProofs63.txt:2054043 13 CNNCCpCqrqCsq DDDD1D1DDDD11D1D1D111D1D1111D1D1DDD1D1DD1D1DD1D1D11D1D1D111D111:CNNCC0C1.2.1C3.1 dProofs63.txt:2054048 13 CNNCCNNppqCrq DDDD1D1DDDD11D1D1D111D1D1111D1DD11DDD1D1DD1D1D111DDD11D1D1D1111:CNNCCNN0.0.1C2.1 dProofs63.txt:2054488 13 CNNpCqCCNrNpr DDDD1D1DDDD11D1D1D111D1D1111DD1D1D1DD1D1D11D1D1D11DDD11D1D1D111:CNN0C1CCN2N0.2 dProofs63.txt:2055131 13 CNNNNCCppqCrq DDDD1D1DDDD11D1D1D111D1D1111DDDD1D1DDDD11D1D1D111D1D1111D1D1D11:CNNNNCC0.0.1C2.1 dProofs63.txt:2119657 13 CNNNCpCNCqprs DDDDD1D111DDD1DDD1D1D1111DD1D11D111DDD1D1DDDD11D1D1D111D1D11111:CNNNC0CNC1.0.2.3 dProofs63.txt:2193687 13 CNCNCpNNCqqrs DDDDDD1D111DDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111DD1D11D1111:CNCNC0NNC1.1.2.3 dProofs63.txt:2199161 13 CNCNCNNpCqprs DDDDDD1D111DDDD1D1DDDD11D1D1D111D1D1111DDD11D1D1D111DD1D11D1111:CNCNCNN0C1.0.2.3 dProofs65.txt:240987 13 CCCNNNNppqCrq D1DD1DD11DDD1D1DD1D1D111DDD11D1D1D1111DDD1D1DDDD11D1D1D111D1D1111:CCCNNNN0.0.1C2.1 dProofs65.txt:667149 13 CpCNCqNCCrrss DD11DDDD1D1DD1DD1DD1DD11D1D1D11D1DD1D1DD1D111D1D1D1D111111D1D1D11:C0CNC1NCC2.2.3.3 dProofs65.txt:696524 13 CpCqCrCsCtCur DD1D1D11D1DD1DD1DD11D1D1D11D1D1DD1D1D11D1D1D11D1D1DD1D1D11D1D1D11:C0C1C2C3C4C5.2 dProofs65.txt:888691 13 CpCqNCNNCrpNq DD1D1DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1DD1D1D11D1D1D11:C0C1NCNNC2.0N1 dProofs65.txt:888931 13 CpCqCrNCCspNp DD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D1D11DDD11D1D1D111:C0C1C2NCC3.0N0 dProofs65.txt:888939 13 CpCqNCCrCssNp DD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1DD1D1D11D1D1D11D1D11:C0C1NCC2C3.3N0 dProofs65.txt:906575 13 CpCCNqNpNNCrq DD1D1DD1D1DD1D1DD1D1D11D1D1D111D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0CCN1N0NNC2.1 dProofs65.txt:1012058 13 CpCqCrCNCNqst DD1DD1D1D11D1D11D1D1D1DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D111:C0C1C2CNCN1.3.4 dProofs65.txt:1228241 13 CpCqCNNCCrsrr DD1DD1DD1DD1D1DD1D1DD1D1D11D1D1D111D111DDD1D1DD1DD11D1D1D11111D11:C0C1CNNCC2.3.2.2 dProofs65.txt:1343733 13 CNNCCpCqCrpss DDD11DDDD1D1DD1DD11D1D1D11111D1DD1DD11D1D1D11D1D1DD1D1D11D1D1D111:CNNCC0C1C2.0.3.3 dProofs65.txt:1343824 13 CNNCCpCNNqqrr DDD11DDDD1D1DD1DD11D1D1D11111D1DD1DD1D1DD1D1D111DDD11D1D1D111D111:CNNCC0CNN1.1.2.2 dProofs65.txt:2283607 13 CpNNCCCqrqCsq DDD1D1D1DD1D1D11D1D1D11D1D1D1D11D1DDD1D1DD1D1DD1D1D11D1D1D111D111:C0NNCCC1.2.1C3.1 dProofs65.txt:2283822 13 CpNNCqCrCsCtr DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1DD11D1D1D11D1D1DD1D1D11D1D1D11:C0NNC1C2C3C4.2 dProofs65.txt:2283915 13 CpNNCqCrCNNss DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1DD1D1DD1D1D111DDD11D1D1D111D11:C0NNC1C2CNN3.3 dProofs65.txt:2441060 13 CCNpNCqCrrCsp DDD1D1DD1D1DD1D1DD1D1D11D1D1D111D11DDD11D1D1D111DDD1D1D11D1D1D111:CCN0NC1C2.2C3.0 dProofs65.txt:2442762 13 CNCCNpNCqrpNr DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D1D1DD1D1D11D1D1D11DD1D111D1D111:CNCCN0NC1.2.0N2 dProofs65.txt:2553095 13 CCNNCpqrCNNqr DDD1D1DDDD11D1D1D111D1D11DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D1111:CCNNC0.1.2CNN1.2 dProofs65.txt:2977330 13 CNCCNCpqqCpqr DDDD1D11D11DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D111111:CNCCNC0.1.1C0.1.2 dProofs65.txt:3176366 13 CCNpNCqCNNrrp DDDD1D1D11D1D1D1DD1D1D11D1D1D111DD11DDD1D1DD1D1D111DDD11D1D1D1111:CCN0NC1CNN2.2.0 dProofs65.txt:3176485 13 CCNpNCqCrCsqp DDDD1D1D11D1D1D1DD1D1D11D1D1D111DD1D1DD1D1D11D1D1D11DDD11D1D1D111:CCN0NC1C2C3.1.0 dProofs65.txt:3181242 13 NNCpCqCrCsCtt DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1D11D1DD1DD11D1D1D11D1D1D111:NNC0C1C2C3C4.4 dProofs65.txt:3373861 13 CNNCCpNNqrCqr DDDD1D1DDDD11D1D1D111D1D1111D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11:CNNCC0NN1.2C1.2 dProofs65.txt:3374598 13 CNNpNNCCqpCrp DDDD1D1DDDD11D1D1D111D1D1111DDD11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:CNN0NNCC1.0C2.0 dProofs65.txt:3606034 13 CNCNCNCpqNqrs DDDDDD1D111DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D111D1D111DD1D11D1111:CNCNCNC0.1N1.2.3 dProofs65.txt:3643403 13 CNNNCNCpCqqrs DDDDDDD1D111DDD1D1D11D1D1D111DD1D1111DDD1D1DDDD11D1D1D111D1D11111:CNNNCNC0C1.1.2.3 dProofs67.txt:45930 13 CCCpNNNNqrCqr D1D1DD1DD1D1DDDD11D1D1D111D1D111D1DD11DDD1D1DD1D1D111DDD11D1D1D1111:CCC0NNNN1.2C1.2 dProofs67.txt:1456078 13 CpCCNqNCrpCsq DD1D1DD1D1D11D1D1D11DD1D1DD1D1DD1D1DD1D1D11D1D1D111D11DDD11D1D1D111:C0CCN1NC2.0C3.1 dProofs67.txt:1456360 13 CCNpNNNCqCrqp DD1D1DD1D1D11D1D1D11DDDDD1D111DDD11D1D1D111DDD1D1DD1DD11D1D1D111111:CCN0NNNC1C2.1.0 dProofs67.txt:1484922 13 CpCCNqNpCrCsq DD1D1DD1D1DD1D1DD1D1D11D1D1D111D11DD1D1DD1D1D11D1D1D11DDD11D1D1D111:C0CCN1N0C2C3.1 dProofs67.txt:1484982 13 CpCNCqNCNrNpr DD1D1DD1D1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D111DD1D111D1D11:C0CNC1NCN2N0.2 dProofs67.txt:1488874 13 CpCNCqrNNCsNr DD1D1DD1D1DDDD11D1D1D111D1D11DD1D111DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0CNC1.2NNC3N2 dProofs67.txt:1524865 13 CpCCqrCNNNNqr DD1D1DDDD11D1D1D111D1D11DD1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D11111:C0CC1.2CNNNN1.2 dProofs67.txt:1650544 13 CpCCNqNCNNrrq DD1DD11DDD1D1DD1D1D111DDD11D1D1D1111DDD1D1D11D1D1D1DD1D1D11D1D1D111:C0CCN1NCNN2.2.1 dProofs67.txt:1832060 13 CpCqNNCrCsCtr DD1DD1DD11D1D1D11D1D1DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNC2C3C4.2 dProofs67.txt:1833623 13 CpCqCrCsNNCtr DD1DD1DD11D1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11D1DDD1D1D1111:C0C1C2C3NNC4.2 dProofs67.txt:1954782 13 CpCqNNCrCNNss DD1DD1DD1D1DD1D1D111DDD11D1D1D111D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNC2CNN3.3 dProofs67.txt:2008938 13 CpCqCrCNNNNss DD1DD1DD1DD1D1DD1D1D111DDD11D1D1D111D111D1DD1D1DDDD11D1D1D111D1D111:C0C1C2CNNNN3.3 dProofs67.txt:2204907 13 CNNNNCCpqNqNq DDD11DDDD1D1DD1DD11D1D1D11111DDDD1D1DDDD11D1D1D111D1D1111D1D1D1D111:CNNNNCC0.1N1N1 dProofs67.txt:3737907 13 CpCNCqCNCrstr DDD1D1D11D1D1D1DDDD11D1D1D111DD1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0CNC1CNC2.3.4.2 dProofs67.txt:3738717 13 CpNCCqCrrNCrr DDD1D1D11DD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D1D11D1D111:C0NCC1C2.2NC2.2 [instance of CpNCCqCrrNCss] dProofs67.txt:3758726 13 CNNCNpNCqCrrp DDD1D1D1DD1D1D11D1D1D11DDD1D1DDDD11D1D1D111D1D1111DDD1D1D11D1D1D111:CNNCN0NC1C2.2.0 dProofs67.txt:4189132 13 CCCpCqrsCNNrs DDD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D1111:CCC0C1.2.3CNN2.3 dProofs67.txt:4872280 13 CNCpNNCqCNprs DDDD1D11D11DDD1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111D1D1111:CNC0NNC1CN0.2.3 dProofs67.txt:4943622 13 CNCNNNCpCqqrs DDDD1D11D11DDDDD1D111DDD1D1D11D1D1D111DDD1D1DDDD11D1D1D111D1D111111:CNCNNNC0C1.1.2.3 dProofs67.txt:5222455 13 CNCpCNCqNNqrs DDDD1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111DD1D11DD1D11D1111:CNC0CNC1NN1.2.3 dProofs67.txt:5222985 13 NNCpCCCqrqCsq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1DD1D1DD1D1DD1D1D11D1D1D111D1111:NNC0CCC1.2.1C3.1 dProofs67.txt:5548406 13 CNNpCqCCrpCsp DDDD1D1DDDD11D1D1D111D1D1111DDD11DD1D1DD1D1D11D1D1D11DDD11D1D1D1111:CNN0C1CC2.0C3.0 [instance of CNNpCqCrCsp] dProofs67.txt:6009949 13 NNCNCNCpCqprs DDDDDDDD1D111DDD11D1D1D111DD1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNCNCNC0C1.0.2.3 dProofs69.txt:1182771 13 CCNNCNNppqCrq D1DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11DDD1D1DD1D1D111DDD11D1D1D11111:CCNNCNN0.0.1C2.1 dProofs69.txt:2151436 13 CpCqNNCCNrNqr DD1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111D1D1D1DD1D1D11D1D1D11:C0C1NNCCN2N1.2 dProofs69.txt:2151443 13 CpCCqrCCNqNpr DD1D1D1D1DD1D1D11D1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D1D111:C0CC1.2CCN1N0.2 dProofs69.txt:2152360 13 CpNNCqCCNrNpr DD1D1D1DD1D1D11D1D1D11DDD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0NNC1CCN2N0.2 dProofs69.txt:2152405 13 CpCqCrCNCNpst DD1D1D1DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D111DD1D11DDD11D1D1D111:C0C1C2CNCN0.3.4 dProofs69.txt:2388798 13 CpCNNCNqNCrpq DD1D1DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11DDD1D1DDDD11D1D1D111D1D1111:C0CNNCN1NC2.0.1 dProofs69.txt:2442871 13 CpCNCqrCsCtNr DD1D1DD1D1DDDD11D1D1D111D1D11DD1D111DD1D1DD1D1D11D1D1D11DDD11D1D1D111:C0CNC1.2C3C4N2 dProofs69.txt:2442888 13 CpCNCqCrsCtNs DD1D1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D11DD1D111DDD11D1D1D111:C0CNC1C2.3C4N3 dProofs69.txt:2473268 13 CpCCNqNCrNNpq DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DDD1D1D11D1D1D1DD1D1D11D1D1D111:C0CCN1NC2NN0.1 dProofs69.txt:2474030 13 CpCCNNNNpqCrq DD1D1DD1DD1D1DDDD11D1D1D111D1D111D1DD11DDD1D1DD1D1D111DDD11D1D1D11111:C0CCNNNN0.1C2.1 dProofs69.txt:2481269 13 CpCqNCNNpNCrr DD1D1DD1DD1DD1D1DDDD11D1D1D111D1D111D1D1D1DD1D1D11D1D1D11D1D1D11D1D11:C0C1NCNN0NC2.2 dProofs69.txt:3388572 13 CpCqNCCrrNCsq DD1DDD1D1D1111DD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11D1D11:C0C1NCC2.2NC3.1 dProofs69.txt:3620926 13 CNCpNCCqrNrNr DDD11DDDD1D1DD1DD1DD1DD11D1D1D11D1DD1D1DD1D111D1D1D1D111111D1D1D1D111:CNC0NCC1.2N2N2 dProofs69.txt:6136161 13 CpNCCqCrqNCss DDD1D1D11DD1D1DD1DD1DD1DD1DD1D111D111DDD1D1DD1DD11D1D1D11111D11D1D111:C0NCC1C2.1NC3.3 dProofs69.txt:6138652 13 NCNNCpCqpNCrr DDD1D1D11DDD1D1D1DD1D1D11D1D1D11D1D1D1D1DD1D1D11D1D1D11DDD11D1D1D1111:NCNNC0C1.0NC2.2 dProofs69.txt:6143933 13 CpNNCNNCCqqrr DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11DDDD1D1DD1DD11D1D1D11111D1D1D111:C0NNCNNCC1.1.2.2 dProofs69.txt:6505653 13 CpNCCqqNCrCsr DDD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11D1D11DDD11D1D1D111:C0NCC1.1NC2C3.2 dProofs69.txt:6887206 13 CpNNCCNqNCrpq DDD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0NNCCN1NC2.0.1 dProofs69.txt:7912464 13 CNCNCpqCNNqrs DDDD1D11D11DDD11DDD1D1DD1D1DD1D1D11D1D1D111D1D1DDDD11D1D1D111D1D11111:CNCNC0.1CNN1.2.3 dProofs69.txt:8571940 13 NCNNCppNCqCrq DDDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1DD1D1D11D1D1D111DDD11D1D1D111:NCNNC0.0NC1C2.1 dProofs69.txt:8577253 13 NNCCCpCqrqCsq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11D1D1DDD1D1DD1D1DD1D1D11D1D1D111D1111:NNCCC0C1.2.1C3.1 dProofs69.txt:8577258 13 NNCCCNNppqCrq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11D1DD11DDD1D1DD1D1D111DDD11D1D1D11111:NNCCCNN0.0.1C2.1 dProofs69.txt:8577695 13 NNCpCNNCCqqrr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD11DDDD1D1DD1DD11D1D1D11111D1D1D111:NNC0CNNCC1.1.2.2 dProofs69.txt:8577802 13 NNCpCqCCNrNpr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1D1DD1D1D11D1D1D11DDD11D1D1D1111:NNC0C1CCN2N0.2 dProofs69.txt:8578767 13 NNCpCqCCqrCsr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDDD11D1D1D111DD1D1DD1D1D11D1D1D1111:NNC0C1CC1.2C3.2 dProofs69.txt:8579041 13 NNCNNCCppqCrq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDDD1D1DDDD11D1D1D111D1D1111D1D1D111:NNCNNCC0.0.1C2.1 dProofs69.txt:8587265 13 NNCCNpNCqCrqp DDDD1D1D1DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11D1D1D1111:NNCCN0NC1C2.1.0 dProofs69.txt:8589319 13 NCCppNCqCrCsr DDDD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11D1D11DD11D1D1D111:NCC0.0NC1C2C3.2 dProofs69.txt:8605939 13 CNCpqCrCNCqst DDDD1D1DD1D1DD1D1D11D1D1D111DD1D11D111DD1D11DDD1DDD1D1D1111DD1D11D111:CNC0.1C2CNC1.3.4 dProofs69.txt:8605944 13 CNCpqCNCrCqst DDDD1D1DD1D1DD1D1D11D1D1D111DD1D11D111DDD1DDD1D1D1111DD1D11DD1D11D111:CNC0.1CNC2C1.3.4 dProofs69.txt:8605946 13 CNCpCNCqrsCrt DDDD1D1DD1D1DD1D1D11D1D1D111DD1D11DD1D11D111DDD1DDD1D1D1111DD1D11D111:CNC0CNC1.2.3C2.4 dProofs69.txt:9125675 13 CNNpCCCqprCsr DDDD1D1DDDD11D1D1D111D1D1111DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D111:CNN0CCC1.0.2C3.2 dProofs69.txt:9583127 13 CpCNCNCqNNqrs DDDDD1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111DD1D1111DD1D11D111:C0CNCNC1NN1.2.3 dProofs69.txt:9758590 13 NNCNCpCNCqprs DDDDDD1D111DDD1DDD1D1D1111DD1D11D111DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNCNC0CNC1.0.2.3 dProofs69.txt:9758615 13 CNCNCpNNCqprs DDDDDD1D111DDD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D111DD1D11D1111:CNCNC0NNC1.0.2.3 dProofs71-unfiltered71+.txt:4081459 13 CpCNqCrCNCqst DD11DDD1D1DD1D1DD1D1D11D1D1D111DD1D11DD1D1DD1D1D11D1D1D11DDD11D1D1D1111:C0CN1C2CNC1.3.4 dProofs71-unfiltered71+.txt:4081460 13 CpCNqCNCrCqst DD11DDD1D1DD1D1DD1D1D11D1D1D111DD1D1DD1D1D11D1D1D11DD1D11DDD11D1D1D1111:C0CN1CNC2C1.3.4 dProofs71-unfiltered71+.txt:4118479 13 CpCNNCNNCqqrr DD11DDDD1D1DD1DD11D1D1D11111D1DDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:C0CNNCNNC1.1.2.2 dProofs71-unfiltered71+.txt:4273622 13 CpCqCrCsCtNNt DD1D1D11D1DD1DD11D1D1D11D1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111:C0C1C2C3C4NN4 dProofs71-unfiltered71+.txt:5473520 13 CpCCNqNCrCspq DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D11DDD1D1D11D1D1D1DD1D1D11D1D1D111:C0CCN1NC2C3.0.1 dProofs71-unfiltered71+.txt:5476899 13 CCNpNNNCqCrrp DD1D1DD1D1D11D1D1D11DDDDD1D111DDD1D1D11D1D1D111DDD1D1DD1DD11D1D1D111111:CCN0NNNC1C2.2.0 dProofs71-unfiltered71+.txt:5477107 13 CpCqNCNNpNNNp DD1D1DD1D1D11D1D1DD1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D1111D1D11:C0C1NCNN0NNN0 dProofs71-unfiltered71+.txt:7308734 13 CpCqCNNrNNCsr DD1DD1D1DD1D1D111DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DDD11D1D1D111D11:C0C1CNN2NNC3.2 dProofs71-unfiltered71+.txt:7371279 13 CpCqCNNNCrsNs DD1DD1D1DDDD11D1D1D111D1D111D1DD1D1DD1D1DDDD11D1D1D111D1D11DD1D111D1D11:C0C1CNNNC2.3N3 dProofs71-unfiltered71+.txt:7371405 13 CpCqCNNNNrCsr DD1DD1D1DDDD11D1D1D111D1D111D1DD1DD11D1D1D11DDD1D1DDDD11D1D1D111D1D1111:C0C1CNNNN2C3.2 dProofs71-unfiltered71+.txt:9029242 13 CNNCCpNNCqqrr DDD11DDDD1D1DD1DD11D1D1D11111D1DD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:CNNCC0NNC1.1.2.2 dProofs71-unfiltered71+.txt:9032459 13 CNNNNCCpCqprr DDD11DDDD1D1DD1DD11D1D1D11111DDDD1D1DDDD11D1D1D111D1D1111D1DD11D1D1D111:CNNNNCC0C1.0.2.2 dProofs71-unfiltered71+.txt:11563032 13 CpCNCqCNCrsrt DDD1D11D11DDD1D1D11D1D1D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D111:C0CNC1CNC2.3.2.4 dProofs71-unfiltered71+.txt:13243740 13 NCNNCpCqqNCqq DDD1D1D11DDD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D1DD1D1D11D1D1D1111:NCNNC0C1.1NC1.1 [instance of NCNNCpCqqNCrr] dProofs71-unfiltered71+.txt:13246056 13 CpNNCqCrNNCss DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0NNC1C2NNC3.3 dProofs71-unfiltered71+.txt:18064083 13 CNCpCqCNCrsrt DDDD1D11D11DD1D1D11D1D1D1DD1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D111:CNC0C1CNC2.3.2.4 dProofs71-unfiltered71+.txt:18213988 13 CNCNNCCpNqqqr DDDD1D11D11DDD11DDDD1D1DD1DD11D1D1D11111D1D1DD1D1DDDD11D1D1D111D1D11111:CNCNNCC0N1.1.1.2 dProofs71-unfiltered71+.txt:19523485 13 NNCCCpNNqrCqr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D111:NNCCC0NN1.2C1.2 dProofs71-unfiltered71+.txt:19524548 13 NNCpCqCrCNNss DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1DD11D1D1D11D1D1DDDD11D1D1D111D1D111:NNC0C1C2CNN3.3 dProofs71-unfiltered71+.txt:19524969 13 NNCpNNCCqpCrp DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNC0NNCC1.0C2.0 dProofs71-unfiltered71+.txt:21018096 13 CNNCNNCppqCrq DDDD1D1DDDD11D1D1D111D1D1111D1DDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:CNNCNNC0.0.1C2.1 dProofs71-unfiltered71+.txt:23121617 13 NNCNCNCpCqqrs DDDDDDDD1D111DDD1D1D11D1D1D111DD1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D1111:NNCNCNC0C1.1.2.3 dProofs73-unfiltered71+.txt:412359 13 CCCpNNCqrqCsq D1D1DD1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D111D1D1D1DD1D1D11D1D1D11:CCC0NNC1.2.1C3.1 dProofs73-unfiltered71+.txt:1717740 13 CCCNCpNqqrCsr D1DD11DDDD1D1DD1DD1DD1DD11D1D1D11D1DD1D1DD1D111D1D1D1D111111DDD11D1D1D111:CCCNC0N1.1.2C3.2 dProofs73-unfiltered71+.txt:2340247 13 CCCpqNNpCrNNp D1DD1D1D1DD1D1D11D1D1D11D1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11:CCC0.1NN0C2NN0 dProofs73-unfiltered71+.txt:11618034 13 CpCqNNCrCsNNr DD1D1D11D1DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNC2C3NN2 dProofs73-unfiltered71+.txt:12315345 13 CCCNCppqNrCrs DD1D1D1DD1D1D11D1D1D11D1D1DD1DD1DD1D1D11DD1D111DDD1D1DD1DD11D1D1D11111D11:CCCNC0.0.1N2C2.3 dProofs73-unfiltered71+.txt:13402142 13 CCNNCppNNqCrq DD1D1DD1D1D11D1DD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1DD1D1D11D1D1D11D1D11:CCNNC0.0NN1C2.1 dProofs73-unfiltered71+.txt:14105018 13 CpCNCNCqCrstr DD1D1DDDD1D1DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D111DD1D1111DD1D111D1D11:C0CNCNC1C2.3.4.2 dProofs73-unfiltered71+.txt:14915709 13 CpCNCqNrCsCtr DD1DD11D1D1D11D1D1DD1D1D11D1DD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0CNC1N2C3C4.2 dProofs73-unfiltered71+.txt:15944805 13 CpCqNNCrNNCss DD1DD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNC2NNC3.3 dProofs73-unfiltered71+.txt:16581432 13 CpCqCrCsCtNNq DD1DD1DD11D1D1D11D1D1DD1D1D11D1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11:C0C1C2C3C4NN1 dProofs73-unfiltered71+.txt:16589305 13 CpCqCrCsNNCtq DD1DD1DD11D1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11D1D1DD1D1D11D1D1D11:C0C1C2C3NNC4.1 dProofs73-unfiltered71+.txt:18190687 13 CpCqCNCNCrqst DD1DDD1D1D1111DD1D1D1DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D111DD1D11D11:C0C1CNCNC2.1.3.4 dProofs73-unfiltered71+.txt:19635199 13 CNNCCNCpqNqrr DDD11DDDD1D1DD1DD11D1D1D11111D1DD1D1DD1D1DDDD11D1D1D111D1D11DD1D111D1D111:CNNCCNC0.1N1.2.2 dProofs73-unfiltered71+.txt:19635332 13 CNNCCNNpCqprr DDD11DDDD1D1DD1DD11D1D1D11111D1DD1DD11D1D1D11DDD1D1DDDD11D1D1D111D1D11111:CNNCCNN0C1.0.2.2 dProofs73-unfiltered71+.txt:19640349 13 CNCpNCCqCrqss DDD11DDDD1D1DD1DD1DD1DD11D1D1D11D1DD1D1DD1D111D1D1D1D111111D1DD11D1D1D111:CNC0NCC1C2.1.3.3 dProofs73-unfiltered71+.txt:24186644 13 CpCNCNCqrCrst DDD1D11D11DDDD1D1DD1D1DD1D1D11D1D1D111DD1D11D111DDD1DDD1D1D1111DD1D11D111:C0CNCNC1.2C2.3.4 dProofs73-unfiltered71+.txt:26578764 13 CCNpNNNCqqCrp DDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D11111:CCN0NNNC1.1C2.0 dProofs73-unfiltered71+.txt:26593751 13 NCNNCpCqqNCrr DDD1D1D11DDD1D1D1DD1D1D11D1D1D11D1D1D1D1DD1D1D11D1D1D11DDD1D1D11D1D1D1111:NCNNC0C1.1NC2.2 dProofs73-unfiltered71+.txt:26616826 13 NNNNCCCppqCrq DDD1D1D1D11DD1D1DD1D1D11D1D1D11DDDDD1D111D1D1D11DDD1D1DD1DD11D1D1D1111111:NNNNCCC0.0.1C2.1 dProofs73-unfiltered71+.txt:26619667 13 CpNNCqCNCrsNs DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1DD1D1DDDD11D1D1D111D1D11DD1D111D1D11:C0NNC1CNC2.3N3 dProofs73-unfiltered71+.txt:26619840 13 CpNNCqCNNrCsr DDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1DD11D1D1D11DDD1D1DDDD11D1D1D111D1D1111:C0NNC1CNN2C3.2 dProofs73-unfiltered71+.txt:27859624 13 CpNCCqqNCrCss DDD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11D1D11DDD1D1D11D1D1D111:C0NCC1.1NC2C3.3 dProofs73-unfiltered71+.txt:29145145 13 CCNpNCqrCNNrp DDD1D1DDDD11D1D1D111D1D11DD1D1DD1D1DD1D1DD1D1D11D1D1D111D11DDD11D1D1D1111:CCN0NC1.2CNN2.0 dProofs73-unfiltered71+.txt:29694034 13 CpNCCqCrpNCrp DDD1DDD1D1D1111DD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D1D11D1D111:C0NCC1C2.0NC2.0 dProofs73-unfiltered71+.txt:35555366 13 CNCNNCNpNNppq DDDD1D11D11DDD1D1DD1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D1111D1D1111:CNCNNCN0NN0.0.1 dProofs73-unfiltered71+.txt:37399845 13 CCNpNCqNNCrrp DDDD1D1D11D1D1D1DD1D1D11D1D1D111DDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:CCN0NC1NNC2.2.0 dProofs73-unfiltered71+.txt:37401905 13 CCNpNCNNqCrqp DDDD1D1D11D1D1D1DD1D1D11D1D1D111DDDD1D1DDDD11D1D1D111D1D1111DDD11D1D1D111:CCN0NCNN1C2.1.0 dProofs73-unfiltered71+.txt:37418161 13 NCNNCppNCqCrr DDDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1DD1D1D11D1D1D111DDD1D1D11D1D1D111:NCNNC0.0NC1C2.2 dProofs73-unfiltered71+.txt:37445017 13 NNCpCCNqNCrrq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1D11DDD1D1D11D1D1D1DD1D1D11D1D1D1111:NNC0CCN1NC2.2.1 dProofs73-unfiltered71+.txt:37445276 13 NNCpCCNNpqCrq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D1111:NNC0CCNN0.1C2.1 dProofs73-unfiltered71+.txt:37445975 13 NNCpCqCCrpCsp DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11DD1D1DD1D1D11D1D1D11DDD11D1D1D11111:NNC0C1CC2.0C3.0 dProofs73-unfiltered71+.txt:37445979 13 NNCNNCCpqNqNq DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD11DDDD1D1DD1DD11D1D1D11111D1D1D1D1111:NNCNNCC0.1N1N1 dProofs73-unfiltered71+.txt:37475328 13 NNCCNpNCqCrrp DDDD1D1D1DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11DDD1D1D11D1D1D1111:NNCCN0NC1C2.2.0 dProofs73-unfiltered71+.txt:37492725 13 NCCppNCqCrCss DDDD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11D1D11DD1D1D11D1D1D111:NCC0.0NC1C2C3.3 dProofs73-unfiltered71+.txt:39940393 13 CNNpCqNCNNpNq DDDD1D1DDDD11D1D1D111D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D1DD1D1D11D1D1D11:CNN0C1NCNN0N1 dProofs73-unfiltered71+.txt:39961401 13 CNNpCCNqNCrpq DDDD1D1DDDD11D1D1D111D1D11DD1D1D1DD1D1D11D1D1D11DDD11DDD11D1D1D11111D1D11:CNN0CCN1NC2.0.1 dProofs73-unfiltered71+.txt:39966080 13 CNCpqCCNrNNqr DDDD1D1DDDD11D1D1D111D1DD1D1DD1D1D11D1D1D111DD1D11D111D1D1DD1D1D11D1D1D11:CNC0.1CCN2NN1.2 dProofs75-unfiltered71+.txt:739973 13 CCCpNqrCNCsqr D1D1DD1DD1D1DD1D1D111DD1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11DDD11D1D1D111D11:CCC0N1.2CNC3.1.2 dProofs75-unfiltered71+.txt:755565 13 CCCpNNCqrsCrs D1D1DD1DD1D1DDDD11D1D1D111D1D111D1DD1D1DD1D1DDDD11D1D1D111D1D11DD1D111D1D11:CCC0NNC1.2.3C2.3 dProofs75-unfiltered71+.txt:4331317 13 CCNNNNCppqCrq D1DD1D1D1D11DD1D1DD1D1D11D1D1D11DDDDD1D1D11DD1D1111DDD1D1DD1DD11D1D1D111111:CCNNNNC0.0.1C2.1 dProofs75-unfiltered71+.txt:21065895 13 CpCNNCCqNNqrr DD11DDDD1D1DD1DD11D1D1D11111D1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111:C0CNNCC1NN1.2.2 dProofs75-unfiltered71+.txt:21133324 13 CpCNNNCqCNprs DD1D11DD1D1D1DD1D1D11D1D1D11DDD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D1111:C0CNNNC1CN0.2.3 dProofs75-unfiltered71+.txt:21348570 13 CpCqCNCrNsCts DD1D1D11D1D1DD1D1DD1D1DDDD11D1D1D111D1D11DD1D11DD1D1DD1D1D11D1D1D111DD1D111:C0C1CNC2N3C4.3 dProofs75-unfiltered71+.txt:21721793 13 CpCqCrNNCsCtr DD1D1D11D1DD1DDD1D1D1111DD1D1DD1D1D11D1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1C2NNC3C4.2 dProofs75-unfiltered71+.txt:22169266 13 CpCqCNCNrCrst DD1D1D11DDD1D111DD1D1D1DD1D1D11D1D1D11D1D1DD1DD1D1DD1D1D111DDD11D1D1D111D11:C0C1CNCN2C2.3.4 dProofs75-unfiltered71+.txt:22913362 13 CpNNNNCqCrCsr DD1D1D1D11DD1D1DD1D1D11D1D1D11DDDDD1D111DD11D1D1D11DDD1D1DD1DD11D1D1D111111:C0NNNNC1C2C3.2 dProofs75-unfiltered71+.txt:24680393 13 CpCqNCCrrNCsp DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11D1D11:C0C1NCC2.2NC3.0 dProofs75-unfiltered71+.txt:24682169 13 CpNCNNCqqNCrp DD1D1DD1D1D11D1D1D11DDD1D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D1DD1D1D11D1D1D111:C0NCNNC1.1NC2.0 dProofs75-unfiltered71+.txt:24682294 13 CCNpNCqCrCpsp DD1D1DD1D1D11D1D1D11DDD1D1DD1D1DD1D1D11D1D1D111D1D1DD1DDD1D1D1111DD1D11D111:CCN0NC1C2C0.3.0 dProofs75-unfiltered71+.txt:25542584 13 CpCqNNNCCrrNp DD1D1DD1DD1D1DDDD11D1D1D111D1D111D1DD11DDDD1D1DD1DD11D1D1D11111D1D1D11D1D11:C0C1NNNCC2.2N0 dProofs75-unfiltered71+.txt:25732577 13 CpCNCqCrsNNNs DD1D1DD1DD1DD1DD11D1D1D11D1D1DDDD11D1D1D111D1D1111DDD1DDD1D1D1111DD1D11D111:C0CNC1C2.3NNN3 dProofs75-unfiltered71+.txt:30238332 13 CpCqCrCsCtCuq DD1DD1D1DD1D1D11D1D1D111D1DD1D1DD1DD1DDD1D1D1111DD1D11DD1D11D11D1D1DD1D1111:C0C1C2C3C4C5.1 dProofs75-unfiltered71+.txt:30329326 13 CpCqNNCNCrsNs DD1DD1D1DD1D1DDDD11D1D1D111D1D11DD1D111D1D11DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNCNC2.3N3 dProofs75-unfiltered71+.txt:31308733 13 CpCqNNCNNrCsr DD1DD1DD11D1D1D11DDD1D1DDDD11D1D1D111D1D1111DD1D1D1DD1D1D11D1D1D11D1D1D1D11:C0C1NNCNN2C3.2 dProofs75-unfiltered71+.txt:33558400 13 CpCqCNCrCsNtt DD1DD1DDD1D1D1111DD1D11D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D111:C0C1CNC2C3N4.4 dProofs75-unfiltered71+.txt:36569191 13 CNNpNCNNpNNNp DDD11DDDD1D1DD1DD11D1D1D11111DD1D1D1DD1D1D11D1D1D11D1D1D1D1DD1D1D11D1D1D111:CNN0NCNN0NNN0 dProofs75-unfiltered71+.txt:36573723 13 CNNNNCCpCqqrr DDD11DDDD1D1DD1DD11D1D1D11111DDDD1D1DDDD11D1D1D111D1D1111D1DD1D1D11D1D1D111:CNNNNCC0C1.1.2.2 dProofs75-unfiltered71+.txt:42133161 13 CpCNCqCNrCrst DDD1D11D11DD11DDD1D1DD1D1DD1D1D11D1D1D111DD1D1DD1D1D11D1D1D11DDD11D1D1D1111:C0CNC1CN2C2.3.4 dProofs75-unfiltered71+.txt:47999226 13 CpNCCqCrrNCss DDD1D1D11DD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1DD1D1D11D1D1D11D1D111:C0NCC1C2.2NC3.3 dProofs75-unfiltered71+.txt:48002832 13 CCNpNCqqNNCrp DDD1D1D11DD1D1DD1D1DD1D1DD1D1D11D1D1D111D11DD1D1D1DD1D1D11D1D1D11D1D1D1D111:CCN0NC1.1NNC2.0 dProofs75-unfiltered71+.txt:48059047 13 NNNNCCpqCqCpq DDD1D1D1D11DD1D1DD1D1D11D1D1D11DDDDD1D111DDD11D111DDD1D1DD1DD11D1D1D1111111:NNNNCC0.1C1C0.1 [instance of NNNNCpCqp] dProofs75-unfiltered71+.txt:53002639 13 CpCCNqNNNCrpq DDD1DDD1D1D1111DD1D1D1DD1D1D11D1D1D11D1D1DD1DD1DD1DD1DD11D1D1D11D1D1D111111:C0CCN1NNNC2.0.1 dProofs75-unfiltered71+.txt:53003370 13 CpNCCqCrqNCsp DDD1DDD1D1D1111DD1D1DD1DD1DD1DD1DD1D111D111DDD1D1DD1DD11D1D1D11111D11D1D111:C0NCC1C2.1NC3.0 dProofs75-unfiltered71+.txt:53014604 13 CNCpqCNCNNqrs DDD1DDD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1DD1D1DD1D111D1D1D1111DD1D11D111:CNC0.1CNCNN1.2.3 dProofs75-unfiltered71+.txt:61740780 13 CNCpCNCqrCrst DDDD1D11D11DD1DD1DDD1D1D1111DD1D11D11DDD1D1DD1D1DD1D1D11D1D1D111DD1D11D1111:CNC0CNC1.2C2.3.4 dProofs75-unfiltered71+.txt:65345429 13 CCNpNCNCqrNrp DDDD1D1D11D1D1D1DD1D1D11D1D1D111DDD1D1DD1D1DDDD11D1D1D111D1D11DD1D111D1D111:CCN0NCNC1.2N2.0 dProofs75-unfiltered71+.txt:65374374 13 NCCpCqCrqNCss DDDD1D1D11DD1D1DD1D1D11D1DD11DDDD1D1DD1DD11D1D1D11111D1DD1DD1D111D11D1D1111:NCC0C1C2.1NC3.3 dProofs75-unfiltered71+.txt:65419722 13 NNCpCCCqprCsr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1D1DD1D1D11D1D1D11DD1D1DD1D1D11D1D1D1111:NNC0CCC1.0.2C3.2 dProofs75-unfiltered71+.txt:65420402 13 NNCpCqCNNrCsr DDDD1D1D1DD1D1D11D1D1D11D1D1D1D11DD1DD1D1DDDD11D1D1D111D1D111D1DD11D1D1D111:NNC0C1CNN2C3.2 dProofs75-unfiltered71+.txt:69455013 13 NCCpCqpNCrCsr DDDD1D1DD1DD1DD1DD1DD1D111D111DDD1D1DD1DD11D1D1D11111D11D1D11DDD11D1D1D1111:NCC0C1.0NC2C3.2 dProofs75-unfiltered71+.txt:69547525 13 CNNCCpNNpqCrq DDDD1D1DDDD11D1D1D111D1D1111D1D1D1D1D1DD1DD1DD1D1D11D1D1D1DD1D1D11D1D1D1111:CNNCC0NN0.1C2.1 dProofs75-unfiltered71+.txt:69547542 13 CNNCCpCqrsCrs DDDD1D1DDDD11D1D1D111D1D1111D1D1DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D111:CNNCC0C1.2.3C2.3 dProofs75-unfiltered71+.txt:69558756 13 CNNpCCNqNpCrq DDDD1D1DDDD11D1D1D111D1D1111DD1D1DD1D1DD1D1DD1D1D11D1D1D111D11DDD11D1D1D111:CNN0CCN1N0C2.1 dProofs75-unfiltered71+.txt:69577303 13 CNNCCpqrCNNqr DDDD1D1DDDD11D1D1D111D1D1111DDD1D1DDDD11D1D1D111D1D11DD1D1DD1D1D11D1D1D1111:CNNCC0.1.2CNN1.2 dProofs75-unfiltered71+.txt:69583681 13 CNNNNCCpqrCqr DDDD1D1DDDD11D1D1D111D1D1111DDDD1D1DDDD11D1D1D111D1D1111D1D1DD1D1D11D1D1D11:CNNNNCC0.1.2C1.2 dProofs75-unfiltered71+.txt:69583697 13 CNNNNpCCqpCrp DDDD1D1DDDD11D1D1D111D1D1111DDDD1D1DDDD11D1D1D111D1D1111DDD11DDD11D1D1D1111:CNNNN0CC1.0C2.0 dProofs77-unfiltered71+.txt:1649705 13 CCCpCqNNrsCrs D1D1DD1DD1DD11D1D1D11DDD1D1DD1DD1DD1DD11D1D1D11D1DD1D1DD1D111D1D1D1D111111D11:CCC0C1NN2.3C2.3 dProofs77-unfiltered71+.txt:38514950 13 CpCNqCNNNCqrs DD11DDD1D1DD1D1DD1D1D11D1D1D111DD1D1D1DD1D1D11D1D1D11D1D1DDDD11D1D1D111D1D111:C0CN1CNNNC1.2.3 dProofs77-unfiltered71+.txt:43207472 13 CpCqCCrNrCsNr DD1D1D11D1DD1D1DD1DD1DD1D1D11D1DD1D1D11D1D1DD1D1DDDD11D1D1D111D1D11DD1D111111:C0C1CC2N2C3N2