-
-
Notifications
You must be signed in to change notification settings - Fork 3
/
top1000SmallestConclusions_1to83Steps.txt
1000 lines (1000 loc) · 127 KB
/
top1000SmallestConclusions_1to83Steps.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
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