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