cardinalities.txt

        1 dProofs1.txt
        1 dProofs3.txt
        2 dProofs5.txt
        2 dProofs7.txt
        1 dProofs9.txt
        0 dProofs11.txt
        1 dProofs13.txt
        2 dProofs15.txt
        3 dProofs17.txt
        4 dProofs19.txt
        5 dProofs21.txt
        5 dProofs23.txt
        5 dProofs25.txt
        6 dProofs27.txt
        7 dProofs29.txt
       15 dProofs31.txt
       20 dProofs33.txt
       25 dProofs35.txt
       30 dProofs37.txt
       37 dProofs39.txt
       42 dProofs41.txt
       51 dProofs43.txt
       63 dProofs45.txt
       85 dProofs47.txt
      122 dProofs49.txt
      162 dProofs51.txt
      206 dProofs53.txt
      251 dProofs55.txt
      292 dProofs57.txt
      339 dProofs59.txt
      444 dProofs61.txt
      598 dProofs63.txt
      781 dProofs65.txt
     1016 dProofs67.txt
     1303 dProofs69.txt
     1593 dProofs71.txt
     1922 dProofs73.txt
     2359 dProofs75.txt
     2986 dProofs77.txt
     3875 dProofs79.txt
     5006 dProofs81.txt
     6466 dProofs83.txt
     8184 dProofs85.txt
    10182 dProofs87.txt
    12488 dProofs89.txt
    15534 dProofs91.txt
    19614 dProofs93.txt
    25087 dProofs95.txt
    32452 dProofs97.txt
    41840 dProofs99.txt
    53343 dProofs101.txt
    67105 dProofs103.txt
    84222 dProofs105.txt
   105925 dProofs107.txt
   134564 dProofs109.txt
   172053 dProofs111.txt
   221055 dProofs113.txt
   283569 dProofs115.txt
   361751 dProofs117.txt
   458509 dProofs119.txt
   579502 dProofs121.txt
   734352 dProofs123.txt
   935212 dProofs125.txt
  1197027 dProofs127.txt
  1534565 dProofs129.txt
  1965596 dProofs131.txt
  2509883 dProofs133.txt
  3196594 dProofs135.txt
  4066027 dProofs137.txt
  5180139 dProofs139.txt
 16952082 dProofs141-unfiltered141+.txt
 26431403 dProofs143-unfiltered141+.txt
 36855440 dProofs145-unfiltered141+.txt
 47814846 dProofs147-unfiltered141+.txt
 62366737 dProofs149-unfiltered141+.txt
 82234537 dProofs151-unfiltered141+.txt
109705510 dProofs153-unfiltered141+.txt
144348401 dProofs155-unfiltered141+.txt
192661720 dProofs157-unfiltered141+.txt
253992520 dProofs159-unfiltered141+.txt
338777355 dProofs161-unfiltered141+.txt