cardinalities.txt

        1 dProofs1.txt
        1 dProofs3.txt
        1 dProofs5.txt
        1 dProofs7.txt
        2 dProofs9.txt
        2 dProofs11.txt
        2 dProofs13.txt
        2 dProofs15.txt
        5 dProofs17.txt
        5 dProofs19.txt
        3 dProofs21.txt
        6 dProofs23.txt
       10 dProofs25.txt
        7 dProofs27.txt
       12 dProofs29.txt
       14 dProofs31.txt
       17 dProofs33.txt
       21 dProofs35.txt
       30 dProofs37.txt
       28 dProofs39.txt
       44 dProofs41.txt
       56 dProofs43.txt
       66 dProofs45.txt
       80 dProofs47.txt
      108 dProofs49.txt
      123 dProofs51.txt
      168 dProofs53.txt
      197 dProofs55.txt
      241 dProofs57.txt
      303 dProofs59.txt
      390 dProofs61.txt
      444 dProofs63.txt
      570 dProofs65.txt
      707 dProofs67.txt
      863 dProofs69.txt
     1052 dProofs71.txt
     1340 dProofs73.txt
     1586 dProofs75.txt
     1990 dProofs77.txt
     2467 dProofs79.txt
     3018 dProofs81.txt
     3679 dProofs83.txt
     4661 dProofs85.txt
     5632 dProofs87.txt
     6994 dProofs89.txt
     8637 dProofs91.txt
    10677 dProofs93.txt
    13008 dProofs95.txt
    16295 dProofs97.txt
    19833 dProofs99.txt
    24567 dProofs101.txt
    30296 dProofs103.txt
    37377 dProofs105.txt
    45724 dProofs107.txt
    56922 dProofs109.txt
    69661 dProofs111.txt
    85894 dProofs113.txt
   105871 dProofs115.txt
   130737 dProofs117.txt
   160270 dProofs119.txt
   198446 dProofs121.txt
   243740 dProofs123.txt
   300530 dProofs125.txt
   370216 dProofs127.txt
   456911 dProofs129.txt
   560926 dProofs131.txt
   693346 dProofs133.txt
   853090 dProofs135.txt
  1051251 dProofs137.txt
  1294413 dProofs139.txt
  1597383 dProofs141.txt
  1963944 dProofs143.txt
  2423655 dProofs145.txt
  2983754 dProofs147.txt
  3676539 dProofs149.txt
  4527348 dProofs151.txt
 21395853 dProofs153-unfiltered153+.txt
 28040847 dProofs155-unfiltered153+.txt
 38836822 dProofs157-unfiltered153+.txt
 50013506 dProofs159-unfiltered153+.txt
 78239557 dProofs161-unfiltered153+.txt
101757325 dProofs163-unfiltered153+.txt
147063822 dProofs165-unfiltered153+.txt
205771643 dProofs167-unfiltered153+.txt
299846803 dProofs169-unfiltered153+.txt