AGDB Upload

data/datasets/config.json

@@ -0,0 +1,305 @@
+{
+    "domains": {
+        "Healthcare": {
+            "domain": true,
+            "label": "Healthcare"
+        },
+        "Legislation": {
+            "domain": true,
+            "label": "Legislation"
+        },
+        "Healthcare Systems": {
+            "domain": true,
+            "label": "Healthcare Systems",
+            "inherits_from": "Healthcare"
+        },
+        "Healthcare Policies": {
+            "domain": true,
+            "label": "Healthcare Policies",
+            "inherits_from": "Healthcare"
+        },
+        "Hospitals": {
+            "type": "Facility",
+            "label": "Hospitals",
+            "inherits_from": "Healthcare Systems"
+        },
+        "Public Health": {
+            "type": "Service",
+            "label": "Public Health",
+            "inherits_from": "Healthcare Systems"
+        },
+        "Mental Health": {
+            "type": "Service",
+            "label": "Mental Health",
+            "inherits_from": "Healthcare Systems"
+        },
+        "Medical Services": {
+            "type": "Service",
+            "label": "Medical Services",
+            "inherits_from": "Healthcare Systems"
+        },
+        "Emergency Services": {
+            "type": "Service",
+            "label": "Emergency Services",
+            "inherits_from": "Healthcare Systems"
+        }
+    },
+    "entities": {
+        "Public Health Service Act": {
+            "type": "Legislation",
+            "label": "Public Health Service Act",
+            "inherits_from": "Legislation",
+            "attributes": {
+                "description": "Federal law covering public health and drug pricing regulations, including 340B program"
+            }
+        },
+        "340B Program": {
+            "type": "Policy Program",
+            "label": "340B Program",
+            "inherits_from": "Public Health Service Act",
+            "attributes": {
+                "purpose": "Provides drug pricing limits for eligible healthcare entities",
+                "effective_date": "1992"
+            }
+        },
+        "Social Security Act §1927": {
+            "type": "Legislation",
+            "label": "Social Security Act §1927",
+            "inherits_from": "Legislation",
+            "attributes": {
+                "description": "Defines Medicaid rebate program requirements and pricing regulations"
+            }
+        },
+        "Patient Protection and Affordable Care Act": {
+            "type": "Legislation",
+            "label": "Patient Protection and Affordable Care Act",
+            "inherits_from": "Legislation",
+            "attributes": {
+                "description": "Includes reforms impacting Medicaid, Medicare, and 340B program"
+            }
+        },
+        "Medicaid Program": {
+            "type": "Healthcare Program",
+            "label": "Medicaid Program",
+            "inherits_from": "Healthcare Systems",
+            "attributes": {
+                "description": "Provides health coverage for low-income individuals and families, with specific compliance requirements for 340B pricing",
+                "funding_source": "Federal and state governments"
+            }
+        },
+        "doctor": {
+            "type": "Professional",
+            "label": "Doctor",
+            "inherits_from": "Medical Services",
+            "attributes": {
+                "specialization": "Cardiology",
+                "experience": 15,
+                "associated_hospital": "Central Hospital"
+            }
+        },
+        "patient": {
+            "type": "Person",
+            "label": "Patient",
+            "inherits_from": "Public Health",
+            "attributes": {
+                "age": 45,
+                "condition": "Hypertension",
+                "insurance_status": "Active"
+            }
+        },
+        "hospital": {
+            "type": "Facility",
+            "label": "Hospital",
+            "inherits_from": "Hospitals",
+            "attributes": {
+                "location": "City Center",
+                "capacity": 300,
+                "services_offered": ["ER", "Cardiology", "Mental Health"]
+            }
+        },
+        "medical_procedure": {
+            "type": "Procedure",
+            "label": "Medical Procedure",
+            "inherits_from": "Medical Services",
+            "attributes": {
+                "description": "Cardiac Surgery",
+                "risk_level": "High"
+            }
+        },
+        "emergency_response_unit": {
+            "type": "Service Unit",
+            "label": "Emergency Response Unit",
+            "inherits_from": "Emergency Services",
+            "attributes": {
+                "response_time": 10,
+                "availability": "24/7"
+            }
+        },
+        "Covered Entities": {
+            "type": "Entity",
+            "label": "Covered Entities",
+            "inherits_from": "340B Program",
+            "attributes": {
+                "description": "Entities that benefit from the 340B Drug Pricing Program"
+            }
+        },
+        "Compliance Mechanisms": {
+            "type": "Policy",
+            "label": "Compliance Mechanisms",
+            "inherits_from": "340B Program",
+            "attributes": {
+                "description": "Regulations and guidelines that Covered Entities must follow"
+            }
+        },
+        "Prime Vendor Program": {
+            "type": "Program",
+            "label": "Prime Vendor Program",
+            "inherits_from": "340B Program",
+            "attributes": {
+                "description": "A program that helps entities purchase drugs at discounted prices"
+            }
+        }
+    },
+    "relationships": [
+        {
+            "source": "Healthcare Systems",
+            "target": "Healthcare Policies",
+            "attributes": {
+                "relationship": "governs"
+            }
+        },
+        {
+            "source": "Healthcare Systems",
+            "target": "Healthcare",
+            "attributes": {
+              "relationship": "includes"
+            }
+        },
+        {
+            "source": "Healthcare Systems",
+            "target": "Public Health Service Act",
+            "attributes": {
+                "relationship": "regulated_by"
+            }
+        },
+        {
+            "source": "Healthcare Systems",
+            "target": "Medicaid Program",
+            "attributes": {
+                "relationship": "integrates_with"
+            }
+        },
+        {
+            "source": "Public Health Service Act",
+            "target": "340B Program",
+            "attributes": {
+                "relationship": "contains"
+            }
+        },
+        {
+            "source": "340B Program",
+            "target": "Social Security Act §1927",
+            "attributes": {
+                "relationship": "references"
+            }
+        },
+        {
+            "source": "340B Program",
+            "target": "Patient Protection and Affordable Care Act",
+            "attributes": {
+                "relationship": "updated_by"
+            }
+        },
+        {
+            "source": "Medicaid Program",
+            "target": "340B Program",
+            "attributes": {
+                "relationship": "complies_with"
+            }
+        },
+        {
+            "source": "Medicaid Program",
+            "target": "Social Security Act §1927",
+            "attributes": {
+                "relationship": "regulated_by"
+            }
+        },
+        {
+            "source": "doctor",
+            "target": "hospital",
+            "attributes": {
+                "relationship": "works_in"
+            }
+        },
+        {
+            "source": "patient",
+            "target": "medical_procedure",
+            "attributes": {
+                "relationship": "undergoes"
+            }
+        },
+        {
+            "source": "hospital",
+            "target": "Mental Health",
+            "attributes": {
+                "relationship": "provides"
+            }
+        },
+        {
+            "source": "emergency_response_unit",
+            "target": "Emergency Services",
+            "attributes": {
+                "relationship": "assigned_to"
+            }
+        },
+        {
+            "source": "Healthcare Systems",
+            "target": "Healthcare Policies",
+            "attributes": {
+                "relationship": "governed_by"
+            }
+        },
+        {
+            "source": "Healthcare Systems",
+            "target": "Public Health Service Act",
+            "attributes": {
+                "relationship": "enforced_by"
+            }
+        },
+        {
+            "source": "340B Program",
+            "target": "Covered Entities",
+            "attributes": {
+                "relationship": "benefits"
+            }
+        },
+        {
+            "source": "Covered Entities",
+            "target": "Compliance Mechanisms",
+            "attributes": {
+                "relationship": "must_follow"
+            }
+        },
+        {
+            "source": "340B Program",
+            "target": "Prime Vendor Program",
+            "attributes": {
+                "relationship": "provides"
+            }
+        },
+        {
+            "source": "Prime Vendor Program",
+            "target": "Covered Entities",
+            "attributes": {
+                "relationship": "distributes_to"
+            }
+        },
+        {
+            "source": "Social Security Act §1927",
+            "target": "Medicaid Program",
+            "attributes": {
+                "relationship": "regulates"
+            }
+        }
+    ]
+}

data/datasets/healthcare.json

@@ -0,0 +1,153 @@
+{
+    "domains": {
+        "Healthcare": {
+            "domain": true,
+            "label": "Healthcare"
+        },
+        "Hospitals": {
+            "type": "Facility",
+            "label": "Hospitals",
+            "inherits_from": "Healthcare"
+        },
+        "Public Health": {
+            "type": "Service",
+            "label": "Public Health",
+            "inherits_from": "Healthcare"
+        },
+        "Mental Health": {
+            "type": "Service",
+            "label": "Mental Health",
+            "inherits_from": "Healthcare"
+        },
+        "Medical Services": {
+            "type": "Service",
+            "label": "Medical Services",
+            "inherits_from": "Healthcare"
+        },
+        "Healthcare Systems": {
+            "type": "Service",
+            "label": "Healthcare Systems",
+            "inherits_from": "Healthcare"
+        },
+        "Emergency Services": {
+            "type": "Service",
+            "label": "Emergency Services",
+            "inherits_from": "Healthcare"
+        }
+    },
+    "entities": {
+        "doctor": {
+            "type": "Professional",
+            "label": "Doctor",
+            "inherits_from": "Medical Services",
+            "attributes": {
+                "specialization": "Cardiology",
+                "experience": 15,
+                "associated_hospital": "Central Hospital"
+            }
+        },
+        "patient": {
+            "type": "Person",
+            "label": "Patient",
+            "inherits_from": "Public Health",
+            "attributes": {
+                "age": 45,
+                "condition": "Hypertension",
+                "insurance_status": "Active"
+            }
+        },
+        "hospital": {
+            "type": "Facility",
+            "label": "Hospital",
+            "inherits_from": "Hospitals",
+            "attributes": {
+                "location": "City Center",
+                "capacity": 300,
+                "services_offered": ["ER", "Cardiology", "Mental Health"]
+            }
+        },
+        "medical_procedure": {
+            "type": "Procedure",
+            "label": "Medical Procedure",
+            "inherits_from": "Medical Services",
+            "attributes": {
+                "description": "Cardiac Surgery",
+                "risk_level": "High"
+            }
+        },
+        "emergency_response_unit": {
+            "type": "Service Unit",
+            "label": "Emergency Response Unit",
+            "inherits_from": "Emergency Services",
+            "attributes": {
+                "response_time": 10,
+                "availability": "24/7"
+            }
+        }
+    },
+    "relationships": [
+        {
+            "source": "Hospitals",
+            "target": "Healthcare",
+            "attributes": {
+                "relationship": "part_of"
+            }
+        },
+        {
+            "source": "Public Health",
+            "target": "Healthcare",
+            "attributes": {
+                "relationship": "part_of"
+            }
+        },
+        {
+            "source": "Mental Health",
+            "target": "Healthcare",
+            "attributes": {
+                "relationship": "part_of"
+            }
+        },
+        {
+            "source": "Medical Services",
+            "target": "Healthcare",
+            "attributes": {
+                "relationship": "part_of"
+            }
+        },
+        {
+            "source": "Emergency Services",
+            "target": "Healthcare",
+            "attributes": {
+                "relationship": "part_of"
+            }
+        },
+        {
+            "source": "doctor",
+            "target": "hospital",
+            "attributes": {
+                "relationship": "works_in"
+            }
+        },
+        {
+            "source": "patient",
+            "target": "medical_procedure",
+            "attributes": {
+                "relationship": "undergoes"
+            }
+        },
+        {
+            "source": "hospital",
+            "target": "Mental Health",
+            "attributes": {
+                "relationship": "provides"
+            }
+        },
+        {
+            "source": "emergency_response_unit",
+            "target": "Emergency Services",
+            "attributes": {
+                "relationship": "assigned_to"
+            }
+        }
+    ]
+}

data/datasets/index.json

@@ -0,0 +1,178 @@
+{
+    "domains": {
+        "Legislation": {
+            "domain": true,
+            "label": "Legislation"
+        },
+        "Healthcare Systems": {
+            "domain": true,
+            "label": "Healthcare Systems"
+        },
+        "Healthcare Policies": {
+            "domain": true,
+            "label": "Healthcare Policies"
+        },
+        "Healthcare": {
+            "domain": true,
+            "label": "Healthcare"
+        }
+    },
+    "entities": {
+        "Public Health Service Act": {
+            "type": "Legislation",
+            "label": "Public Health Service Act",
+            "inherits_from": "Legislation",
+            "attributes": {
+                "description": "Federal law covering public health and drug pricing regulations, including 340B program"
+            }
+        },
+        "340B Program": {
+            "type": "Policy Program",
+            "label": "340B Program",
+            "inherits_from": "Public Health Service Act",
+            "attributes": {
+                "purpose": "Provides drug pricing limits for eligible healthcare entities",
+                "effective_date": "1992"
+            }
+        },
+        "Social Security Act §1927": {
+            "type": "Legislation",
+            "label": "Social Security Act §1927",
+            "inherits_from": "Legislation",
+            "attributes": {
+                "description": "Defines Medicaid rebate program requirements and pricing regulations"
+            }
+        },
+        "Patient Protection and Affordable Care Act": {
+            "type": "Legislation",
+            "label": "Patient Protection and Affordable Care Act",
+            "inherits_from": "Legislation",
+            "attributes": {
+                "description": "Includes reforms impacting Medicaid, Medicare, and 340B program"
+            }
+        },
+        "Medicaid Program": {
+            "type": "Healthcare Program",
+            "label": "Medicaid Program",
+            "inherits_from": "Healthcare Systems",
+            "attributes": {
+                "description": "Provides health coverage for low-income individuals and families, with specific compliance requirements for 340B pricing",
+                "funding_source": "Federal and state governments"
+            }
+        }
+    },
+    "relationships": [
+        {
+            "source": "Healthcare Systems",
+            "target": "Healthcare Policies",
+            "attributes": {
+                "relationship": "governs"
+            }
+        },
+        {
+            "source": "Healthcare Systems",
+            "target": "Healthcare",
+            "attributes": {
+              "relationship": "includes"
+            }
+          },
+        {
+            "source": "Healthcare Systems",
+            "target": "Public Health Service Act",
+            "attributes": {
+                "relationship": "regulated_by"
+            }
+        },
+        {
+            "source": "Healthcare Systems",
+            "target": "Medicaid Program",
+            "attributes": {
+                "relationship": "integrates_with"
+            }
+        },
+        {
+            "source": "Public Health Service Act",
+            "target": "340B Program",
+            "attributes": {
+                "relationship": "contains"
+            }
+        },
+        {
+            "source": "340B Program",
+            "target": "Social Security Act §1927",
+            "attributes": {
+                "relationship": "references"
+            }
+        },
+        {
+            "source": "340B Program",
+            "target": "Patient Protection and Affordable Care Act",
+            "attributes": {
+                "relationship": "updated_by"
+            }
+        },
+        {
+            "source": "Medicaid Program",
+            "target": "340B Program",
+            "attributes": {
+                "relationship": "complies_with"
+            }
+        },
+        {
+            "source": "Medicaid Program",
+            "target": "Social Security Act §1927",
+            "attributes": {
+                "relationship": "regulated_by"
+            }
+        },
+        {
+            "source": "Healthcare Systems",
+            "target": "Healthcare Policies",
+            "attributes": {
+                "relationship": "governed_by"
+            }
+        },
+        {
+            "source": "Healthcare Systems",
+            "target": "Public Health Service Act",
+            "attributes": {
+                "relationship": "enforced_by"
+            }
+        },
+        {
+            "source": "340B Program",
+            "target": "Covered Entities",
+            "attributes": {
+                "relationship": "benefits"
+            }
+        },
+        {
+            "source": "Covered Entities",
+            "target": "Compliance Mechanisms",
+            "attributes": {
+                "relationship": "must_follow"
+            }
+        },
+        {
+            "source": "340B Program",
+            "target": "Prime Vendor Program",
+            "attributes": {
+                "relationship": "provides"
+            }
+        },
+        {
+            "source": "Prime Vendor Program",
+            "target": "Covered Entities",
+            "attributes": {
+                "relationship": "distributes_to"
+            }
+        },
+        {
+            "source": "Social Security Act §1927",
+            "target": "Medicaid Program",
+            "attributes": {
+                "relationship": "regulates"
+            }
+        }
+    ]
+}

data/datasets/inferred_prime_perfect_data_with_agn.json

@@ -0,0 +1,714 @@
+{
+    "nodes": [
+        {
+            "value": 2,
+            "category": "prime"
+        },
+        {
+            "value": 3,
+            "category": "prime"
+        },
+        {
+            "value": 5,
+            "category": "prime"
+        },
+        {
+            "value": 7,
+            "category": "prime"
+        },
+        {
+            "value": 11,
+            "category": "prime"
+        },
+        {
+            "value": 13,
+            "category": "prime"
+        },
+        {
+            "value": 17,
+            "category": "prime"
+        },
+        {
+            "value": 19,
+            "category": "prime"
+        },
+        {
+            "value": 23,
+            "category": "prime"
+        },
+        {
+            "value": 29,
+            "category": "prime"
+        },
+        {
+            "value": 31,
+            "category": "mersenne_prime"
+        },
+        {
+            "value": 61,
+            "category": "prime"
+        },
+        {
+            "value": 89,
+            "category": "prime"
+        },
+        {
+            "value": 107,
+            "category": "prime"
+        },
+        {
+            "value": 127,
+            "category": "mersenne_prime"
+        },
+        {
+            "value": 8191,
+            "category": "mersenne_prime"
+        },
+        {
+            "value": 131071,
+            "category": "mersenne_prime"
+        },
+        {
+            "value": 524287,
+            "category": "mersenne_prime"
+        },
+        {
+            "value": 2147483647,
+            "category": "mersenne_prime"
+        },
+        {
+            "value": 6,
+            "category": "perfect_number"
+        },
+        {
+            "value": 28,
+            "category": "perfect_number"
+        },
+        {
+            "value": 496,
+            "category": "perfect_number"
+        },
+        {
+            "value": 8128,
+            "category": "perfect_number"
+        },
+        {
+            "value": 33550336,
+            "category": "perfect_number"
+        },
+        {
+            "value": 8589869056,
+            "category": "perfect_number"
+        },
+        {
+            "value": 137438691328,
+            "category": "perfect_number"
+        },
+        {
+            "value": 2305843008139952128,
+            "category": "perfect_number"
+        }
+    ],
+    "relationships": [
+        {
+            "source": 2,
+            "target": 3,
+            "relationship": "generates_Mersenne_prime"
+        },
+        {
+            "source": 3,
+            "target": 7,
+            "relationship": "generates_Mersenne_prime"
+        },
+        {
+            "source": 5,
+            "target": 31,
+            "relationship": "generates_Mersenne_prime"
+        },
+        {
+            "source": 7,
+            "target": 127,
+            "relationship": "generates_Mersenne_prime"
+        },
+        {
+            "source": 11,
+            "target": 8191,
+            "relationship": "generates_Mersenne_prime"
+        },
+        {
+            "source": 13,
+            "target": 131071,
+            "relationship": "generates_Mersenne_prime"
+        },
+        {
+            "source": 17,
+            "target": 524287,
+            "relationship": "generates_Mersenne_prime"
+        },
+        {
+            "source": 31,
+            "target": 2147483647,
+            "relationship": "generates_Mersenne_prime"
+        },
+        {
+            "source": 3,
+            "target": 6,
+            "relationship": "generates_perfect_number"
+        },
+        {
+            "source": 7,
+            "target": 28,
+            "relationship": "generates_perfect_number"
+        },
+        {
+            "source": 31,
+            "target": 496,
+            "relationship": "generates_perfect_number"
+        },
+        {
+            "source": 127,
+            "target": 8128,
+            "relationship": "generates_perfect_number"
+        },
+        {
+            "source": 8191,
+            "target": 33550336,
+            "relationship": "generates_perfect_number"
+        },
+        {
+            "source": 131071,
+            "target": 8589869056,
+            "relationship": "generates_perfect_number"
+        },
+        {
+            "source": 524287,
+            "target": 137438691328,
+            "relationship": "generates_perfect_number"
+        },
+        {
+            "source": 2147483647,
+            "target": 2305843008139952128,
+            "relationship": "generates_perfect_number"
+        },
+        {
+            "source": 2,
+            "target": 3,
+            "relationship": "next_in_sequence"
+        },
+        {
+            "source": 3,
+            "target": 7,
+            "relationship": "next_in_sequence"
+        },
+        {
+            "source": 7,
+            "target": 28,
+            "relationship": "next_in_sequence"
+        },
+        {
+            "source": 28,
+            "target": 496,
+            "relationship": "next_in_sequence"
+        },
+        {
+            "source": 496,
+            "target": 8128,
+            "relationship": "next_in_sequence"
+        },
+        {
+            "source": 8128,
+            "target": 33550336,
+            "relationship": "next_in_sequence"
+        },
+        {
+            "source": 33550336,
+            "target": 8589869056,
+            "relationship": "next_in_sequence"
+        },
+        {
+            "source": 8589869056,
+            "target": 137438691328,
+            "relationship": "next_in_sequence"
+        },
+        {
+            "source": 137438691328,
+            "target": 2305843008139952128,
+            "relationship": "next_in_sequence"
+        },
+        {
+            "source": 2,
+            "target": 6,
+            "relationship": "multiplied_to_generate"
+        },
+        {
+            "source": 7,
+            "target": 496,
+            "relationship": "multiplied_to_generate"
+        },
+        {
+            "source": 11,
+            "target": 8191,
+            "relationship": "multiplied_to_generate"
+        },
+        {
+            "source": 13,
+            "target": 131071,
+            "relationship": "multiplied_to_generate"
+        },
+        {
+            "source": 17,
+            "target": 524287,
+            "relationship": "multiplied_to_generate"
+        },
+        {
+            "source": 3,
+            "target": 7,
+            "relationship": "inferred_similarity_0.89"
+        },
+        {
+            "source": 3,
+            "target": 127,
+            "relationship": "inferred_similarity_0.81"
+        },
+        {
+            "source": 3,
+            "target": 6,
+            "relationship": "inferred_similarity_0.90"
+        },
+        {
+            "source": 3,
+            "target": 28,
+            "relationship": "inferred_similarity_0.89"
+        },
+        {
+            "source": 3,
+            "target": 496,
+            "relationship": "inferred_similarity_0.87"
+        },
+        {
+            "source": 3,
+            "target": 8128,
+            "relationship": "inferred_similarity_0.81"
+        },
+        {
+            "source": 3,
+            "target": 33550336,
+            "relationship": "inferred_similarity_0.81"
+        },
+        {
+            "source": 5,
+            "target": 11,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 5,
+            "target": 13,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 5,
+            "target": 17,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 5,
+            "target": 8191,
+            "relationship": "inferred_similarity_0.80"
+        },
+        {
+            "source": 7,
+            "target": 127,
+            "relationship": "inferred_similarity_0.89"
+        },
+        {
+            "source": 7,
+            "target": 6,
+            "relationship": "inferred_similarity_0.82"
+        },
+        {
+            "source": 7,
+            "target": 28,
+            "relationship": "inferred_similarity_0.96"
+        },
+        {
+            "source": 7,
+            "target": 496,
+            "relationship": "inferred_similarity_0.95"
+        },
+        {
+            "source": 7,
+            "target": 8128,
+            "relationship": "inferred_similarity_0.83"
+        },
+        {
+            "source": 7,
+            "target": 33550336,
+            "relationship": "inferred_similarity_0.86"
+        },
+        {
+            "source": 7,
+            "target": 8589869056,
+            "relationship": "inferred_similarity_0.86"
+        },
+        {
+            "source": 7,
+            "target": 137438691328,
+            "relationship": "inferred_similarity_0.86"
+        },
+        {
+            "source": 11,
+            "target": 13,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 11,
+            "target": 17,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 11,
+            "target": 8191,
+            "relationship": "inferred_similarity_0.82"
+        },
+        {
+            "source": 13,
+            "target": 17,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 13,
+            "target": 8191,
+            "relationship": "inferred_similarity_0.82"
+        },
+        {
+            "source": 17,
+            "target": 8191,
+            "relationship": "inferred_similarity_0.83"
+        },
+        {
+            "source": 19,
+            "target": 23,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 19,
+            "target": 29,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 19,
+            "target": 61,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 19,
+            "target": 89,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 19,
+            "target": 107,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 23,
+            "target": 29,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 23,
+            "target": 61,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 23,
+            "target": 89,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 23,
+            "target": 107,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 29,
+            "target": 61,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 29,
+            "target": 89,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 29,
+            "target": 107,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 31,
+            "target": 127,
+            "relationship": "inferred_similarity_0.85"
+        },
+        {
+            "source": 31,
+            "target": 131071,
+            "relationship": "inferred_similarity_0.82"
+        },
+        {
+            "source": 31,
+            "target": 524287,
+            "relationship": "inferred_similarity_0.84"
+        },
+        {
+            "source": 31,
+            "target": 2147483647,
+            "relationship": "inferred_similarity_0.95"
+        },
+        {
+            "source": 31,
+            "target": 33550336,
+            "relationship": "inferred_similarity_0.80"
+        },
+        {
+            "source": 31,
+            "target": 8589869056,
+            "relationship": "inferred_similarity_0.81"
+        },
+        {
+            "source": 31,
+            "target": 137438691328,
+            "relationship": "inferred_similarity_0.81"
+        },
+        {
+            "source": 61,
+            "target": 89,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 61,
+            "target": 107,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 89,
+            "target": 107,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 127,
+            "target": 2147483647,
+            "relationship": "inferred_similarity_0.91"
+        },
+        {
+            "source": 127,
+            "target": 6,
+            "relationship": "inferred_similarity_0.92"
+        },
+        {
+            "source": 127,
+            "target": 28,
+            "relationship": "inferred_similarity_0.95"
+        },
+        {
+            "source": 127,
+            "target": 496,
+            "relationship": "inferred_similarity_0.95"
+        },
+        {
+            "source": 127,
+            "target": 8128,
+            "relationship": "inferred_similarity_0.92"
+        },
+        {
+            "source": 127,
+            "target": 33550336,
+            "relationship": "inferred_similarity_0.91"
+        },
+        {
+            "source": 127,
+            "target": 8589869056,
+            "relationship": "inferred_similarity_0.89"
+        },
+        {
+            "source": 127,
+            "target": 137438691328,
+            "relationship": "inferred_similarity_0.88"
+        },
+        {
+            "source": 8191,
+            "target": 131071,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 8191,
+            "target": 524287,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 131071,
+            "target": 524287,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 131071,
+            "target": 6,
+            "relationship": "inferred_similarity_0.81"
+        },
+        {
+            "source": 524287,
+            "target": 6,
+            "relationship": "inferred_similarity_0.82"
+        },
+        {
+            "source": 2147483647,
+            "target": 28,
+            "relationship": "inferred_similarity_0.84"
+        },
+        {
+            "source": 2147483647,
+            "target": 496,
+            "relationship": "inferred_similarity_0.85"
+        },
+        {
+            "source": 2147483647,
+            "target": 8128,
+            "relationship": "inferred_similarity_0.84"
+        },
+        {
+            "source": 2147483647,
+            "target": 33550336,
+            "relationship": "inferred_similarity_0.86"
+        },
+        {
+            "source": 2147483647,
+            "target": 8589869056,
+            "relationship": "inferred_similarity_0.88"
+        },
+        {
+            "source": 2147483647,
+            "target": 137438691328,
+            "relationship": "inferred_similarity_0.88"
+        },
+        {
+            "source": 6,
+            "target": 28,
+            "relationship": "inferred_similarity_0.90"
+        },
+        {
+            "source": 6,
+            "target": 496,
+            "relationship": "inferred_similarity_0.91"
+        },
+        {
+            "source": 6,
+            "target": 8128,
+            "relationship": "inferred_similarity_0.91"
+        },
+        {
+            "source": 6,
+            "target": 33550336,
+            "relationship": "inferred_similarity_0.88"
+        },
+        {
+            "source": 6,
+            "target": 8589869056,
+            "relationship": "inferred_similarity_0.83"
+        },
+        {
+            "source": 28,
+            "target": 496,
+            "relationship": "inferred_similarity_0.99"
+        },
+        {
+            "source": 28,
+            "target": 8128,
+            "relationship": "inferred_similarity_0.95"
+        },
+        {
+            "source": 28,
+            "target": 33550336,
+            "relationship": "inferred_similarity_0.96"
+        },
+        {
+            "source": 28,
+            "target": 8589869056,
+            "relationship": "inferred_similarity_0.96"
+        },
+        {
+            "source": 28,
+            "target": 137438691328,
+            "relationship": "inferred_similarity_0.94"
+        },
+        {
+            "source": 496,
+            "target": 8128,
+            "relationship": "inferred_similarity_0.96"
+        },
+        {
+            "source": 496,
+            "target": 33550336,
+            "relationship": "inferred_similarity_0.96"
+        },
+        {
+            "source": 496,
+            "target": 8589869056,
+            "relationship": "inferred_similarity_0.95"
+        },
+        {
+            "source": 496,
+            "target": 137438691328,
+            "relationship": "inferred_similarity_0.93"
+        },
+        {
+            "source": 8128,
+            "target": 33550336,
+            "relationship": "inferred_similarity_0.99"
+        },
+        {
+            "source": 8128,
+            "target": 8589869056,
+            "relationship": "inferred_similarity_0.96"
+        },
+        {
+            "source": 8128,
+            "target": 137438691328,
+            "relationship": "inferred_similarity_0.94"
+        },
+        {
+            "source": 8128,
+            "target": 2305843008139952128,
+            "relationship": "inferred_similarity_0.83"
+        },
+        {
+            "source": 33550336,
+            "target": 8589869056,
+            "relationship": "inferred_similarity_0.99"
+        },
+        {
+            "source": 33550336,
+            "target": 137438691328,
+            "relationship": "inferred_similarity_0.98"
+        },
+        {
+            "source": 33550336,
+            "target": 2305843008139952128,
+            "relationship": "inferred_similarity_0.86"
+        },
+        {
+            "source": 8589869056,
+            "target": 137438691328,
+            "relationship": "inferred_similarity_1.00"
+        },
+        {
+            "source": 8589869056,
+            "target": 2305843008139952128,
+            "relationship": "inferred_similarity_0.88"
+        },
+        {
+            "source": 137438691328,
+            "target": 2305843008139952128,
+            "relationship": "inferred_similarity_0.89"
+        }
+    ]
+}

data/datasets/predicted_perfect_number.json

@@ -0,0 +1,5 @@
+{
+    "next_perfect_number": 14474011154664524427946373126085988481573677491474835889066354349131199152128,
+    "formula": "2**(127 - 1) * (2**127 - 1)",
+    "mersenne_candidate": 127
+}

data/datasets/predicted_perfect_numbers.json

@@ -0,0 +1,55 @@
+[
+    {
+        "next_perfect_number": 141053783706712069063207958086063189881486743514715667838838675999954867742652380114104193329037690251561950568709829327164087724366370087116731268159313652487450652439805877296207297446723295166658228846926807786652870188920867879451478364569313922060370695064736073572378695176473055266826253284886383715072974324463835300053138429460296575143368065570759537328128,
+        "formula": "2**(607 - 1) * (2**607 - 1)",
+        "mersenne_candidate": 607
+    }
+,
+{
+    "next_perfect_number": 54162526284365847412654465374391316140856490539031695784603920818387206994158534859198999921056719921919057390080263646159280013827605439746262788903057303445505827028395139475207769044924431494861729435113126280837904930462740681717960465867348720992572190569465545299629919823431031092624244463547789635441481391719816441605586788092147886677321398756661624714551726964302217554281784254817319611951659855553573937788923405146222324506715979193757372820860878214322052227584537552897476256179395176624426314480313446935085203657584798247536021172880403783048602873621259313789994900336673941503747224966984028240806042108690077670395259231894666273615212775603535764707952250173858305171028603021234896647851363949928904973292145107505979911456221519899345764984291328,
+    "formula": "2**(1279 - 1) * (2**1279 - 1)",
+    "mersenne_candidate": 1279
+}
+,
+{
+    "next_perfect_number": 1089258355057829337698225273522048981957108454302608067318906618508470155298616996291940961858901379546182685531220055762780759342407499066046704182083087124626926378164410931450968826355205573671671624202686633360807123109470452668371537599662797484934359039779954213666598820299501366380164619080260403235229556730554163992303009752651350320619930563673695280153023049498468696618144072021372831425963701460505606378119245841386552600145384072983309717141950085498085709671387054868320477972299055273914798446936214147860706887052107312380067072602317009422809314774791894700769891009818743169303028154303290071199392984292940283852217800166629229157110264080599294016452483028528153331119523441423159614934140265550242360007858215936798489500727196347516386044241721984706558329364277995903102292034620628080752342422906401283027034649671445569324281946859622177566643375489715678451311792675935981010355562887971948569016060035334607879359770371846507659970601616998311983878150420763306289490886429900481786499537645379839365212725494441511932772182768149943659849007457246983861558265144823191367758350341527780770221556945275566504831636564856831502556078058133043400055653540413313266034639355202834006126905491569560542489551023207382276137352665717018261519604817417112576526410535323991500058749996247580834453782528,
+    "formula": "2**(2203 - 1) * (2**2203 - 1)",
+    "mersenne_candidate": 2203
+}
+,
+{
+    "next_perfect_number": 99497054337086473442435202604522816989643863571126408511774020575773849326355529178686629498151336416502516645641699516813140394897940636561646545947753232301453603583223268085613647233768081645727669037394385696522820301535888041815559513408036145123870584325525813950487109647770743827362571822870567643040184723115825645590386313377067112638149253171843914780065137373446222406322953569124771480101363180966448099882292453452395428270875732536311539266115116490704940164192417744919250000894727407937229829300578253427884494358459949535231819781361449649779252948099909821642207485514805768288115583409148969875790523961878753124972681179944234641016960011815788847436610192704551637034472552319820336532014561412028820492176940418377074274389149924303484945446105121267538061583299291707972378807395016030765440655601759109370564522647989156121804273012266011783451102230081380401951383582987149578229940818181514046314819313206321375973336785023565443101305633127610230549588655605951332351485641757542611227108073263889434409595976835137412187025349639504404061654653755349162680629290551644153382760681862294677414989047491922795707210920437811136712794483496437355980833463329592838140157803182055197821702739206310971006260383262542900044072533196137796552746439051760940430082375641150129817960183028081010978780902441733680977714813543438752546136375675139915776,
+    "formula": "2**(2281 - 1) * (2**2281 - 1)",
+    "mersenne_candidate": 2281
+}
+,
+{
+    "next_perfect_number": 33570832131986724437010877211080384841138028499879725454996241573482158450444042882048778809437690388449535774260849885573694759906173841157438424730130807047623655942236174850509108537827658590642325482494761473196579074656099918600764404702181660294469121778737965822199901663478093006075022359223201849985636144177185925402078185073015045097727084859464743635537781500284915880244886306461785982956072060013474955617851481680185988557136609224841817877083608951191123174885226416130683197710667392351007374503755403352531476227943590071651702697594241031955529898971218001214641774673134944471562560957179657881556419122102935450299751813340515170956167951095453649485576150660101689160658011770193274226308280507786835049549112576654510119670456745939890194205255175384484489909328967646988163155982471564998196261632751283127879509198074253193409580454562488664383465379885002735506153988851506645137759275553988219425439764732399824712438125054117523837438256744437055019441051006489972341609117978404563794992004873057518455748701444951238377139620494287982489529827233140637014837408856156199515457669607964052126908149265601786094447595560440059050091763547114092255371397425807867554352112542194784815494784276201170845949274674632985210421075531784918358926690395463649721452265405713484388043911634485432358638806645313826206591131266232422007835577345584225720310518698143376736219283021119287617896146885584860065048876315701088796219593640826311622273328035603309475642390804499460156797855361018246696101253922254567240908315385468240931846166962495983407607141601251889544407008815874744654769507268678051757746956891212485456261121386667407711139619071530923355823178662705374393035049022603882479742334799407130280148769298597743778193050348749740786928096033906295910199238181338557856978191860647256209708168229116156300978059197026855726877649767072684960463452763160384093838292277544911857859658328888332628525056,
+    "formula": "2**(3217 - 1) * (2**3217 - 1)",
+    "mersenne_candidate": 3217
+}
+,
+{
+    "next_perfect_number": 18201749040140430273835167914751015293362889506937596103357359437740048438463485836303232258902400875568993809975036246337556768238366233707757573415903278080066115951092522543145952013119010340408099881835975590975835499003463227280543140756802691525621894771543951403656868707748606069885095036335283528581813088651653833089052785834280723280067200484903706704970113521040604064538274154252165373175595605248628998615687866235395077520314640188634353318831397392517095413127961059169783805545093120277974213161792712750189234973622853507624924636687588461310469170436099238232492598937308477793932361698480685664770932715430491007662682405163044765107996164343261202355969912750334459238591875176292279879181327972920090211444842306766331109269166235125509668704478958734853068636529397153443016761158813447481567868262367893981171020212189792514086148090215189947704212407282687964267041783873543080261582448824858431838554183153705837057341487700727731550997896239330477471263230726484877117521254868468174015562068490713644719481693089433418532636835808942200716440819313366362403191355576523173825131875335647759016207232990842875902548737480801898289658229210850221695663421649611729577245208490877897945867171915873804061345544603919338281884397538634259920738193259330950837923823615411304543599290641330796754637229721314074245135865275394292301532835414540035740253567232435673868968242806554916467387945199026147468808031055150281915733287931898181708779241724409277593094799901224641825850183281480975988801751016901958988814849430087926938683408662084176896164178170688871544229415824450055526787148715365214142372692896788902761679810950828268208180845309986581369910322372338718437892376924042425319226250711104694125177110946650435829229609212441927473293781744486775943173110295432226780186422343937384580708855852269417012387614583884866613236875101300845603785945237925447338784922452682337026775686191693583794243538309813874806083439394116832472101884074936138517168612519077402832074575032255369216417037979614393919019507244388546924316787128440250098924928769352393698587810869831127888084696751795845351130410199628821737636610886633120714458623846784948362409208330416268144841565505869827619451490634144640754203543507421045031995754480556197763855213987476437990952173006055503017305481394836591954388794314558786433824434673257753459825605748638411145315395326160048592155490496363095590187403880545069860151237473584639382355987779291886392614452838326884468500853448420623482240841078202705004101172745586672975106848437133377536,
+    "formula": "2**(4253 - 1) * (2**4253 - 1)",
+    "mersenne_candidate": 4253
+}
+,
+{
+    "next_perfect_number": 40767271711094423266286789500920409509472451956754173657558947684464681715260993357605734441071512726995067528227747339481802307406017975918463751821848507118336173625166416441051751909733833921511752076653991689253045435925355114303300112240094312492366309429025181937703076074631694330891971804062290637324463063370007444165676699382865548574698013900725344417715580901794517787294713626725247616431165717354475083506329812661542345174259067891050196093969424325393268526237129649381671501429508518532700654319135658688537822432173525578067619513381189044904675194018182193349875318307576479629202619084300084497552929130566459016664436323063518973396208264181441158994259766077215199598273505770807393645474832736784296681037040447804670653738245607704296033370069548245058222346937754342008266115596746009270472531585662215058309416971412450120373149200391305139626391147758497714062124945414219545021663761325651848979096956363445054874071200187004098334242171313866643279783121709224161095222080608666106221075196556669546036212033916214620015754946773858930331944632744676736422424630471770419404321630175578272380575860947613876452571102541656491464344575071152521057073596731123384560986412117728286743021819378916115542964437048959026512685144124956065485652281953670546881779736097894174076453897164963235414848542178185638376039787558515854327876892100291586150169593481653250617283841617035992495539326209286081463451168016943400175227907739209129141984002670216279803245614932227988255785347373220924269748847852670574748163344676257876208108900678912830541369572996543783984620215364954353893838464888672671453393130927672103268849597298792373028395452767031129100333696063046099180328138782391367566104347713165495897021159454503241952055937183814515589264894586591501363147676413662843302502175075791426238440513015405476007476498747783201892106205584698383524005031036187539925202274453467202350823213372999023061199920256689198899908817944610695281886646630824678765305845231339408011870948795735488385897157930791657525540518959449984465130248721166519809265271872913736358591494923276213116461018047328995621925367809697847697726183327599265650527446129800629718921404375627930737500435684546352140119118622625161732119556975036023320412126344181833754571377867747583783758174317957011000027824913530257131124993626863404596480086028834672069335493603141485087204213357254720762673897857837928958409382883536405344396217119883289266162616394049286804626796372654015917535645430198053751867174961912991147525380624081763689015391680510756697550659469557112900507657356152843089480485079285160832736274980123243426924630558985552020642912534528,
+    "formula": "2**(4423 - 1) * (2**4423 - 1)",
+    "mersenne_candidate": 4423
+}
+,
+{
+    "next_perfect_number": 11434731753038652271870510502563054290369839984534725895332249364908334961882164947674351989064116525342087095396782955614598901690359527368200306791037330859857972857435008419908682920845277220892386034162964072635709694931769479876248750202202966413347062605501560591838954155776739969243412686516039219207531547575533505784997468578047154815673455144291529551460592270962534531406165620944440834496909183933479177056134394989991079872495003112497387572982253655871642841276259997777969281650961184963681165156135030716133286358236790904294805085996539450440397259321779367404437324097409473827763050662988434475431439487893781464232206686643397789899506730271620505444721680758712995051366001609878486401756427622203061515536013038628113933285137794681656964917604398533820705074441564282611795522268562186704703666450026589020021088118208856495629918319917323246502646278589671096849425171744978412686617422702072318303876067532120552307086861404163620773329817538718438960094624691381751716824755508230593661091142583022460070488652758870749893562067416666683134710937562255888939283852449848883083949426685416747561615736871070322397677554824168698122415887624044491081523702163186214860670963974843434990150580336061361128446317947836395002812389227258535979589116682994095790818840141392100002121484746263398298269011568647849919325130179957764082742812086707435289888867996546182996334309106553241262702950865875890258826346579702381381532554959190921932580283034694452612563595237410148597510276295301661021465685367517269929486554251331056986921264847284801220356787886271451144575296681731210806262017773614658565355556304203525721218368092716803784696369604175605428669596483152723251207753030716796392719600906670836303595493470714193198199178512164466800911266395980327226741775067834142804538996505567385849212224049038933494413385316694249093117679932317175631713976414497786785387930339300514992922213670421059098550054655566738564333812948431411916586171122495203548154239947807358729100981341449364010936920913641239353666202161372565303868912597733470916773974659066920874581905740253737958111365707416415231569912388895514146043465350761210218323219258114752999284649256433615427727357746247521167973626920033206422419756880299734859922106610249531345645354898619984932287573732778253405930614511563461083563246421004359764227776138493737491924858971325462356870894436832415652563472219886604579549816794943137016560220374336411461772411702666554424421193101769766866425031904228432899084328109382386033140878217618407448151385536306356457975091999005435176331707792550355847678919185649003980612844127464953441948908653658626757079065602042234831459018617928015340713579893643269926553210324578896472679579143057499255651721081978203990842068950170363945528154181566893322027199540013868476424101983764560669826897372110032444263049853473999581274393509429702030074534259774441912514321429954486641764862389912165634753298503496987274297021603826373855299489665332980045626042070395302489206897376828872831681309460233198673717948526193173815998486243236940990054151299552963671083743133131320086142491994920076339753542242262159093060008717407830801449149246407429054060057869231925190215381637354397581702813299581595268958331206116587059631052398444368230084487200750858802408028362493080958863203350540104302885439820929652846810822012268159368936948783149742490267564849458269875764387284022479018545533708000475094136029739980611391149404998948850020574720276367581532096367245450111438861314016502251771626619770617482196040684241051229719638955848258711601449230431864642738016264616230947661977546921165614303336920594873047129309514963615057037955588709850041079865923722198085036156637475793278800587341968483510391600602017902571012696459982918204357935377381473615091532577811728590623970443827786656457202024947738949491050434479640309061643647354339446987086176829031794081709808641497939028951694979450772527950272653789549189971594471857296136989363428018479885550817503819909144866009873515648871527470089667117218970465504135840326783375492476724744637849602929995407405307200026828342697248300093649018698176608493732874265392514404262371752333888107561805388511227497667587557858216793416669121295999876380041411848421443009409598069284795805315649519636349094626799058059942233564734694322979510381089501783149257954775477023435267078094581178106163061749099650274125909364625366872670455272038421461889905163683639604619158296889325942133250572297473026399636420841343337282032910249489036914866216766306242746086617160783603260669828666764435495974703619964536047254724730591094280669421719280473782354957913365214181469812017021835874595030465977503896553607168170561453978564245013410219025191747460561722957552496171653955970861351116645053443355424088047260644609728255333649840992771523160167508544037518309121889943427982452859468270570716001999480469941211598166013334561097000740254837141359183281132981187173003018007907909084911534754016624659280687015006765916504752568366296745566161382550432878374711432860784006448579385752658478330108911715416587381980042411441736147879033756959899559967278828335729354948891349957093813441062886451717319282051073285430699786813324786910033950981485068506291236103005510413799745737938771620843753527896693275958193843005217248433029017905892371468821164355559298391566587285882803155556329668836395442377139281823916767305350368312012320720545103679686695403688633102445850860912200011106419036420168218686675505880007154586289426045638467535055657733195385749567833117323728527949370364538683091253891942661535063266940844527310380742163037454132151629920196049269431333414952710111030436049223732010382065130643059659584756326701909820785002538974738852620988773021343666913185983024145754783451177014049057728513234967982558429577216,
+    "formula": "2**(9689 - 1) * (2**9689 - 1)",
+    "mersenne_candidate": 9689
+}
+,
+{
+    "next_perfect_number": 598885496387336159215158337179296643572869874198415438721517031956294391267467138052833975210822790379645435252765184809790907879059390832431456890763826317589211758237474574018159857925570634144282954314842906400063553663884242875986410271598361502228854072762831378553289935007636618509623086614399709248699419865215841100064058520556986140758791562598688902501114759998860081837041267261910926840834156939147901883683592934604445887790093281004039491643639906988228730211742465708290649815465091229137126198956630386416170359815427838179479070235472610399015035810959640653610781106772716202393062410044423415928785961279533870544231701973513163229825784566847945851733257855753088163409148988722084210091625175105625266415505647159128966267046695766062982729521155903897799050637426474617110612526598459278585486968447249024042786308910850051017106038889061687767151283091964070893823182959298891383459811079403729066740772169275606698939480096480948919175320023826313542796993224153325663400369376016129480939312138469723199723534110595657777687480880412793207072338171511658351904166668048242956453135022989001809464768832188595267188382036606053289907501689359295334416673910623695996312840110689651484585283440480471698222497719355503194168560950281935485655294739301609663777113373659535718967303547951623526956338396985018174631435834656785781957446464286463809460246212247286223440883955123461676820718682834656934175017941968544782841849057554072567204274097863751252547881116514783088210584399664096224612954055771939895263749729051585416405834890522726931499793407634795102451963136189675604110386882667666700202021296939123142592598861407877348129582919695159135624222759532153769870798883632159023890309632619900847829779211195760910227705676555741607808745978228036024945439485997483773117861761846816143038325765449577516576845228775618794694822323427772717649125027086076998811187338852893643099277612863434755567049300968668608075953921793767085814197717905978584997781578440077423937447925873669288761103924157758615611230568564058097818416825907409237840644980565685003936400472616338363054823832113925515656141515345511440781430776107400081182066238156903296613221289208392191798325657897497026838673102803471094612120455368011519554557205053376663671919907929622429762923746679903431626862986005514917878931929165684488842314522696190750751104130758772492742171221506476388227098197462790072396811258045100484996907101399477804665561319641934728133590562936267652166532237603284227934840610439816138264438446708643682085053962432046459648769845201613113808872277523981275235642270948095440191476800941546005369324739646459243063300015084138888650243268999554932706194400103202052002256475547454921546756210434441774249495366559167821730580815611872299157633380987381812207714590674498242069538447774482969637038762378605688864932175145427786356322290946332387532834726569678238370085937344737751948866649747361373588969170028812987868238296955348481127935674306231597404181875425238311701462864830821158701402077328211001889853890086949823322215668362320216048221349456542834993635806413226788683589993095956742107311836481298366437924635728768234856559136863642247989697063646989127406234640433936180524078096916562215885382221221440174447087595474342702340083128927752717896538651110872000256594041548014611801466523195753961690032322786290650070510846917869315870454207312856770297593768844524696425727849441292728482259863151304805682511045957634104047520304681087570488096199426249870968715151352899262711414859028400306247511682097755259210044273287907069828213053162082804915911440204049504420189851777238231126675540195073124882510073151638213199509097027588754146115313488501895618592704144939889978242021363965347241635421115065464033561832225847238709861244250411633809994450569265409560194147735449585298329207794798511236425587495469494467899179662053326961034916517867933367808057191175385336962971973530250601332617559991043382608515546850921036964488304328204714534588455104569762031196764380573914497030120132291308170538348397837511623996297933672121009901941694829665518167940396094144081711936184081318439929556609569648834030333939030167533881530753927743675683048377118347128650493153271095307571548267716602161565111731981963404253792831860675668529002291340501102920781703654993775479142326056554305406934385461270207799502316565734128418269704729154185772068761081919140269479613439718429584336562493991766156958042518706487778614666958547617944366057917035046081816932122930397831885899367394704668767909522089490980411104133713860758251156103716971790705966662212818116148565527822567454545606791772821700331972738940950104057875162524624791534716722495993330597176066518166716680800409152545336552754751419653578617676888721974359792782967881648099394891147826325257661113821525698043547390457514434463473999530885287210000009489867014184718369266887805926383484231605051335786390632303781597551018628117508352980030059724480548533949284681845788829364189309471523884413954194859086869472657365044985433141123019472681576182090016085717562012755665853499189921886618259400375906348395090310900142148715431411955215491914127573351385908146653482483997520485329568230705228757993906938515288896844165579094197758186574987120643678489659211515541853732261407728812733452051953588927628461384781414660582371641376089400661867134510390162683271326617270588318894292606033372701978317622740978994527704380727470767368180702967071072288812051097001504045715988812189767358074825262336006037202238159764792224045818165003646975285929365924426658451465248929517024070447106402584830973235253084098352978893906920352652116340904008935681654751699242318452472319485281464039177405304692021677989652462657737972297496705447616703675014511838739629530737098712639069034012066077188936467469996574123242443286789792602919789894555982048116453916717116130063058668784438394777624864833158156184468926035001575570475329794750896833182478324073496576,
+    "formula": "2**(9941 - 1) * (2**9941 - 1)",
+    "mersenne_candidate": 9941
+}
+]

data/datasets/prime_perfect_data.json

@@ -0,0 +1,68 @@
+{
+    "primes": [
+        {"value": 2, "category": "prime"},
+        {"value": 3, "category": "prime"},
+        {"value": 5, "category": "prime"},
+        {"value": 7, "category": "prime"},
+        {"value": 11, "category": "prime"},
+        {"value": 13, "category": "prime"},
+        {"value": 17, "category": "prime"},
+        {"value": 19, "category": "prime"},
+        {"value": 23, "category": "prime"},
+        {"value": 29, "category": "prime"},
+        {"value": 31, "category": "mersenne_prime"},
+        {"value": 61, "category": "prime"},
+        {"value": 89, "category": "prime"},
+        {"value": 107, "category": "prime"},
+        {"value": 127, "category": "mersenne_prime"},
+        {"value": 8191, "category": "mersenne_prime"},
+        {"value": 131071, "category": "mersenne_prime"},
+        {"value": 524287, "category": "mersenne_prime"},
+        {"value": 2147483647, "category": "mersenne_prime"}
+    ],
+    "perfect_numbers": [
+        {"value": 6, "category": "perfect_number"},
+        {"value": 28, "category": "perfect_number"},
+        {"value": 496, "category": "perfect_number"},
+        {"value": 8128, "category": "perfect_number"},
+        {"value": 33550336, "category": "perfect_number"},
+        {"value": 8589869056, "category": "perfect_number"},
+        {"value": 137438691328, "category": "perfect_number"},
+        {"value": 2305843008139952128, "category": "perfect_number"}
+    ],
+    "relationships": [
+        {"source": 2, "target": 3, "relationship": "generates_Mersenne_prime"},
+        {"source": 3, "target": 7, "relationship": "generates_Mersenne_prime"},
+        {"source": 5, "target": 31, "relationship": "generates_Mersenne_prime"},
+        {"source": 7, "target": 127, "relationship": "generates_Mersenne_prime"},
+        {"source": 11, "target": 8191, "relationship": "generates_Mersenne_prime"},
+        {"source": 13, "target": 131071, "relationship": "generates_Mersenne_prime"},
+        {"source": 17, "target": 524287, "relationship": "generates_Mersenne_prime"},
+        {"source": 31, "target": 2147483647, "relationship": "generates_Mersenne_prime"},
+        
+        {"source": 3, "target": 6, "relationship": "generates_perfect_number"},
+        {"source": 7, "target": 28, "relationship": "generates_perfect_number"},
+        {"source": 31, "target": 496, "relationship": "generates_perfect_number"},
+        {"source": 127, "target": 8128, "relationship": "generates_perfect_number"},
+        {"source": 8191, "target": 33550336, "relationship": "generates_perfect_number"},
+        {"source": 131071, "target": 8589869056, "relationship": "generates_perfect_number"},
+        {"source": 524287, "target": 137438691328, "relationship": "generates_perfect_number"},
+        {"source": 2147483647, "target": 2305843008139952128, "relationship": "generates_perfect_number"},
+        
+        {"source": 2, "target": 3, "relationship": "next_in_sequence"},
+        {"source": 3, "target": 7, "relationship": "next_in_sequence"},
+        {"source": 7, "target": 28, "relationship": "next_in_sequence"},
+        {"source": 28, "target": 496, "relationship": "next_in_sequence"},
+        {"source": 496, "target": 8128, "relationship": "next_in_sequence"},
+        {"source": 8128, "target": 33550336, "relationship": "next_in_sequence"},
+        {"source": 33550336, "target": 8589869056, "relationship": "next_in_sequence"},
+        {"source": 8589869056, "target": 137438691328, "relationship": "next_in_sequence"},
+        {"source": 137438691328, "target": 2305843008139952128, "relationship": "next_in_sequence"},
+
+        {"source": 2, "target": 6, "relationship": "multiplied_to_generate"},
+        {"source": 7, "target": 496, "relationship": "multiplied_to_generate"},
+        {"source": 11, "target": 8191, "relationship": "multiplied_to_generate"},
+        {"source": 13, "target": 131071, "relationship": "multiplied_to_generate"},
+        {"source": 17, "target": 524287, "relationship": "multiplied_to_generate"}
+    ]
+}