{
  "counts": {
    "alias_identity_rows": 2,
    "canonical_questions": 650,
    "contact_status_table": {
      "off_axis": {
        "closed_form_confirmed": 56,
        "paper_proved_exact": 1,
        "unidentified": 76
      },
      "real_axis": {
        "closed_form_confirmed": 76,
        "paper_proved_exact": 18,
        "touch_proven_exact": 273,
        "unidentified": 6
      }
    },
    "eligible_closed_form_consistent": 557,
    "machine_replay_lanes": 8,
    "nontrivial_shared": 148,
    "nontrivial_shared_groups": 42,
    "nontrivial_total": 424,
    "paper_proved_exact": 19,
    "raw_key_rows": 702,
    "reciprocal_total": 240,
    "reciprocal_unequal": 234,
    "status_buckets": {
      "audit_required": 11,
      "closed_form_confirmed": 132,
      "paper_proved_exact": 19,
      "touch_proven_exact": 273,
      "trivial_containment": 133,
      "unidentified": 82
    }
  },
  "package_commit": "87deef9d0acb05b24600a38e76f84ca030c16d94",
  "package_release": "v0.5.0",
  "package_version": "0.5.0",
  "replay_note": "Available package-owned lanes, not replayed by this website; only a successful package replay certifies a lane.",
  "rows": [
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "cardioid",
      "value_exact": "log((1 + 1*log(3)))",
      "value_str": "0.741276311375015219306071257090122724602962476608242066846281"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "cosh_sqrt",
      "value_exact": "log(log(cosh(1)) + 1)",
      "value_str": "0.360314892618585165131499883490464725375024419118750580601063"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "crescent",
      "value_exact": "log(log(1 + sqrt(2)) + 1)",
      "value_str": "0.632002141454053189469569040006179934808719358120999931029598"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "exponential",
      "value_exact": "(1*log(2))",
      "value_str": "0.69314718055994530941723212145817656807550013436025525412068"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": null,
      "value_str": "0.731362708703100717164746058203728220899343346388359670140359"
    },
    {
      "evidence_status": "audit_required",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "log(log(7/3) + 1)",
      "value_str": "0.613723955343925174094743470787041096493101252876125586216402"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "janowski_A1_B-0.5",
      "value_exact": null,
      "value_str": "0.863536047048659907050165788167694379140314061095931011476359"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "janowski_A1_B0",
      "value_exact": "log((1 + 1*log(2)))",
      "value_str": "0.526589034139044481894103289690791217003566638719330685810144"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "lemniscate",
      "value_exact": "log((1 + (1/2)*log(2)))",
      "value_str": "0.297563284787586145035012836859776623741460337445000460573031"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "limacon_0.3",
      "value_exact": "log(log(169/100) + 1)",
      "value_str": "0.421816380399909018743830574373229130923577059800171060532778"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "limacon_0.5",
      "value_exact": "log((1 + (-2)*log(2) + 2*log(3)))",
      "value_str": "0.593840644871345310942390899508865900031091457856677255439001"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "limacon_0.707",
      "value_exact": "log(1 + log(sqrt(2) + 3/2))",
      "value_str": "0.727355348738899916789397554954421029126334823631435755855539"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "order_0.25",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "order_0.5",
      "value_exact": null,
      "value_str": "0.872883170696995125106414356797089469634658655727054956045921"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "order_0.75",
      "value_exact": "log(1/(1 + (-2)*log(2) + 1*log(3)))",
      "value_str": "0.339230939778514329506761803414659806538888685356644437271212"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "parabolic",
      "value_exact": null,
      "value_str": "0.676678685125201780488681615660380254754522169587871398493026"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "rational_kr",
      "value_exact": "-log(log(-2 + 2*sqrt(2)) + 1)",
      "value_str": "0.208533803388728481482052033654112571278779783167860288028968"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "sigmoid",
      "value_exact": "log(-log(1 + E) + log(2) + 2)",
      "value_str": "0.322000519669687042390189194680447183899211514792601983868756"
    },
    {
      "evidence_status": "paper_proved_exact",
      "machine_replay_available": false,
      "paper_theorem": "Theorem 4.5(d)",
      "source": "bell",
      "target": "sine",
      "value_exact": "log(log(sin(1) + 1) + 1)",
      "value_str": "0.476584863150118196005174246777327888969855539979396406712"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "strongly_0.25",
      "value_exact": null,
      "value_str": "0.375289495613115929181885826340220819540455234860553018603453"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "strongly_0.5",
      "value_exact": null,
      "value_str": "0.682423096472463186128351820613876906617308374293578629615156"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "strongly_0.75",
      "value_exact": null,
      "value_str": "0.924274939400954933689051016624382121667814858785969786300551"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "bell",
      "target": "tanh",
      "value_exact": "log(log(tanh(1) + 1) + 1)",
      "value_str": "0.448664542767506433704579631392696724950176698054861375727915"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "bell",
      "value_exact": "1 - sqrt(-2 + 6*exp(-1 + exp(-1)))/2",
      "value_str": "0.454843684728936200480501934348674255378452388544766654890823"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "cosh_sqrt",
      "value_exact": "-1 + sqrt(-2 + 6*cosh(1))/2",
      "value_str": "0.347078673360567188115095982218985628084192558204200826701547"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "crescent",
      "value_exact": "3/2 - sqrt(3)/2",
      "value_str": "0.633974596215561353236276829247063816528597373094809685972097"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "exponential",
      "value_exact": null,
      "value_str": "0.661777411316645047230090582817950488832757295400046764940094"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "sqrt(-1 + sqrt(2))",
      "value_str": "0.643594252905582624735443437418209808924202742444007651156152"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "sqrt(35)*sqrt(-14 + 8*sqrt(14))/35",
      "value_str": "0.674711771143618059073364670796006317732990408998048543744154"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "janowski_A1_B-0.5",
      "value_exact": "sqrt(10)*sqrt(-15 + 6*sqrt(15))/10",
      "value_str": "0.90762878299690900178710489704659776406603401949653679314596"
    },
    {
      "evidence_status": "audit_required",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "janowski_A1_B0",
      "value_exact": "-1 + sqrt(10)/2",
      "value_str": "0.581138830084189665999446772216359266859777569662608413428752"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "lemniscate",
      "value_exact": "CRootOf(4*x**4 + 16*x**3 + 28*x**2 + 24*x - 9, 1)",
      "value_str": "0.273310780430151927645465471303650376639167900207736751438465"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "limacon_0.3",
      "value_exact": "-1 + sqrt(814)/20",
      "value_str": "0.426534261768710551989008305795171560425318422955146880109247"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "limacon_0.5",
      "value_exact": "-1 + sqrt(46)/4",
      "value_str": "0.695582495781317034766139081656492276298937080980822058187555"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "limacon_0.707",
      "value_exact": "CRootOf(16*x**4 + 64*x**3 + 40*x**2 - 48*x - 63, 1)",
      "value_str": "0.967567112847651398557230050112394603689950220723722836395651"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "order_0.25",
      "value_exact": "sqrt(10)/4",
      "value_str": "0.790569415042094832999723386108179633429888784831304206714376"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "order_0.5",
      "value_exact": "1/2",
      "value_str": "0.5"
    },
    {
      "evidence_status": "audit_required",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "order_0.75",
      "value_exact": "1 - sqrt(10)/4",
      "value_str": "0.209430584957905167000276613891820366570111215168695793285624"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "parabolic",
      "value_exact": "CRootOf(4*x**6 - 15*x**4 + 72*x**2 - 16, 1)",
      "value_str": "0.482507259461970102924701000045616210275730564694366831490527"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "rational_kr",
      "value_exact": "CRootOf(4*x**4 - 16*x**3 + 52*x**2 - 72*x + 9, 0)",
      "value_str": "0.138233971939433466271776805512898311942873617075498253906493"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "sigmoid",
      "value_exact": "-1 + sqrt(-2 + 10*E)/(2*sqrt(1 + E))",
      "value_str": "0.301220863608486196852202743119501917948453080628345683865624"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "sine",
      "value_exact": "-1 + sqrt(4 + 6*sin(1))/2",
      "value_str": "0.504063322208159146884449872920239498466349096057699665539743"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "strongly_0.25",
      "value_exact": null,
      "value_str": "0.291276033878215796452858458823599694413084068416040236165163"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "strongly_0.5",
      "value_exact": null,
      "value_str": "0.564239433639117228386322511998507678188452837160883367291999"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "strongly_0.75",
      "value_exact": null,
      "value_str": "0.804316888834298656096464854993693787705494739725448032637571"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cardioid",
      "target": "tanh",
      "value_exact": "-1 + sqrt(4 + 6*tanh(1))/2",
      "value_str": "0.463690962578387764836336748998391644270901692125583269282347"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "bell",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "cardioid",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "crescent",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "exponential",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "janowski_A1_B-0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "janowski_A1_B0",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "paper_proved_exact",
      "machine_replay_available": false,
      "paper_theorem": "Theorem 4.5(a)",
      "source": "cosh_sqrt",
      "target": "lemniscate",
      "value_exact": "acosh(sqrt(2))**2",
      "value_str": "0.776819399895695981500574710089418904607057814309954909209024"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "limacon_0.3",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "limacon_0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "limacon_0.707",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "order_0.25",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "order_0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "order_0.75",
      "value_exact": "-acosh(3/4)**2",
      "value_str": "0.522344792962423648147743633794868224564993116581080301672204"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "parabolic",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "rational_kr",
      "value_exact": "-acosh(-2 + 2*sqrt(2))**2",
      "value_str": "0.353433487229242566268211659658150292498870654209554278621965"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "sigmoid",
      "value_exact": "acosh(2*E/(1 + E))**2",
      "value_str": "0.860701724829106871465689144378634404207341807352682723424565"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "sine",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "strongly_0.25",
      "value_exact": null,
      "value_str": "0.77985415307442690544172418664504844852323904339671238587801"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "strongly_0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "strongly_0.75",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "cosh_sqrt",
      "target": "tanh",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "bell",
      "value_exact": "(-exp(2*exp(-1)) + exp(2))*exp(-1 - exp(-1))/2",
      "value_str": "0.675066391072514892567100995840264035560074935389341570958191"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "cardioid",
      "value_exact": null,
      "value_str": "0.994734481641605882710311921407389766745303966371758625058175"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "cosh_sqrt",
      "value_exact": "sinh(1)**2/(2*cosh(1))",
      "value_str": "0.447513180575679189451464133765455679746519900146960840849768"
    },
    {
      "evidence_status": "paper_proved_exact",
      "machine_replay_available": false,
      "paper_theorem": "Theorem 4.4(a)",
      "source": "crescent",
      "target": "exponential",
      "value_exact": "sin(1)",
      "value_str": "0.841470984807896506652502321630298999622563060798371065672752"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "4/5",
      "value_str": "0.8"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "sqrt(4*sqrt(663) + 128)/19",
      "value_str": "0.79992233957657172544166368558380961579829841634627417628621"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "janowski_A1_B-0.5",
      "value_exact": "sqrt(sqrt(3) + 2)/2",
      "value_str": "0.965925826289068286749743199728897367633904839008404550402343"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "janowski_A1_B0",
      "value_exact": "3/4",
      "value_str": "0.75"
    },
    {
      "evidence_status": "paper_proved_exact",
      "machine_replay_available": true,
      "paper_theorem": "Theorem 4.7(a)",
      "source": "crescent",
      "target": "lemniscate",
      "value_exact": "sqrt(2)/4",
      "value_str": "0.35355339059327376220042218105242451964241796884423701829417"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "limacon_0.3",
      "value_exact": null,
      "value_str": "0.545056768394313304079958660301937898425145661075397342962216"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "limacon_0.5",
      "value_exact": null,
      "value_str": "0.830915185600500406553285610808485836502479394569412367002288"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "limacon_0.707",
      "value_exact": null,
      "value_str": "0.990711171897632077087766529048836454698182901066338358880495"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "order_0.25",
      "value_exact": "sqrt(sqrt(3) + 2)/2",
      "value_str": "0.965925826289068286749743199728897367633904839008404550402343"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "order_0.5",
      "value_exact": "3/4",
      "value_str": "0.75"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "order_0.75",
      "value_exact": "7/24",
      "value_str": "0.291666666666666666666666666666666666666666666666666666666667"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "parabolic",
      "value_exact": "CRootOf(8*x**6 + 13*x**4 + 54*x**2 - 27, 1)",
      "value_str": "0.663773500737545785534989943523844161588276806544945154412151"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "rational_kr",
      "value_exact": "5/4 - 3*sqrt(2)/4",
      "value_str": "0.18933982822017871339873345684272644107274609346728894511749"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "sigmoid",
      "value_exact": "(-(1 + E)**2/4 + exp(2))*exp(-1)/(1 + E)",
      "value_str": "0.389088718337144298852278299281471057503691857407114560649407"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "sine",
      "value_exact": "(-1 + (sin(1) + 1)**2)/(2*(sin(1) + 1))",
      "value_str": "0.649213429811058506141333097186092916243205121970620418094062"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "strongly_0.25",
      "value_exact": "sqrt(2 - sqrt(2))/2",
      "value_str": "0.382683432365089771728459984030398866761344562485627041433801"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "strongly_0.5",
      "value_exact": "sqrt(2)/2",
      "value_str": "0.70710678118654752440084436210484903928483593768847403658834"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "strongly_0.75",
      "value_exact": "sqrt(sqrt(2) + 2)/2",
      "value_str": "0.923879532511286756128183189396788286822416625863642486115098"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "crescent",
      "target": "tanh",
      "value_exact": "-(1 - (tanh(1) + 1)**2)/(2*tanh(1) + 2)",
      "value_str": "0.596963257168729271086229267559275694354476412151574305431366"
    },
    {
      "evidence_status": "paper_proved_exact",
      "machine_replay_available": false,
      "paper_theorem": "Theorem 4.5(e)",
      "source": "exponential",
      "target": "bell",
      "value_exact": "1 - exp(-1)",
      "value_str": "0.632120558828557678404476229838539132554188868968232165492163"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "exponential",
      "target": "cardioid",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "exponential",
      "target": "cosh_sqrt",
      "value_exact": "log(cosh(1))",
      "value_str": "0.433780830483027187026494684900127863358832928448103103429461"
    },
    {
      "evidence_status": "paper_proved_exact",
      "machine_replay_available": false,
      "paper_theorem": "Theorem 4.4(b)",
      "source": "exponential",
      "target": "crescent",
      "value_exact": "log((1 + 1*sqrt(2)))",
      "value_str": "0.881373587019543025232609324979792309028160328261635410753296"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "exponential",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "asin(4/5)",
      "value_str": "0.927295218001612232428512462922428804057074108572240527621866"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "exponential",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": null,
      "value_str": "0.847230874088846333667076740631152039708121489570185553254037"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "exponential",
      "target": "janowski_A1_B-0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "exponential",
      "target": "janowski_A1_B0",
      "value_exact": "(1*log(2))",
      "value_str": "0.69314718055994530941723212145817656807550013436025525412068"
    },
    {
      "evidence_status": "paper_proved_exact",
      "machine_replay_available": true,
      "paper_theorem": "Theorem 4.5(f)",
      "source": "exponential",
      "target": "lemniscate",
      "value_exact": "((1/2)*log(2))",
      "value_str": "0.34657359027997265470861606072908828403775006718012762706034"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "exponential",
      "target": "limacon_0.3",
      "value_exact": "log(1/((100+sqrt(10000))/338))",
      "value_str": "0.524728528934982104070991973761908794408332912262868280771435"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "exponential",
      "target": "limacon_0.5",
      "value_exact": "((-2)*log(2) + 2*log(3))",
      "value_str": "0.810930216216328763956026230928698273143980846924988395228029"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "exponential",
      "target": "limacon_0.707",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "exponential",
      "target": "order_0.25",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "paper_proved_exact",
      "machine_replay_available": true,
      "paper_theorem": "Theorem 4.5(g)",
      "source": "exponential",
      "target": "order_0.5",
      "value_exact": "(1*log(2))",
      "value_str": "0.69314718055994530941723212145817656807550013436025525412068"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "exponential",
      "target": "order_0.75",
      "value_exact": "(2*log(2) + (-1)*log(3))",
      "value_str": "0.287682072451780927439219005993827431503509710897761056506666"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "exponential",
      "target": "parabolic",
      "value_exact": null,
      "value_str": "0.690544033640746427778611238917388138430377641846040488856333"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "exponential",
      "target": "rational_kr",
      "value_exact": "log(((1/2) + (1/2)*sqrt(2)))",
      "value_str": "0.188226406459597715815377203521615740952660193901380156632615"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "exponential",
      "target": "sigmoid",
      "value_exact": "log(2/(exp(-1) + 1))",
      "value_str": "0.379885493041722475368236626490320926160220048689906879401616"
    },
    {
      "evidence_status": "paper_proved_exact",
      "machine_replay_available": false,
      "paper_theorem": "Theorem 4.5(b)",
      "source": "exponential",
      "target": "sine",
      "value_exact": "log(sin(1) + 1)",
      "value_str": "0.610564700497502808666023451063014889373312926274367444949621"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "exponential",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "exponential",
      "target": "strongly_0.25",
      "value_exact": "((1/8)*pi)",
      "value_str": "0.392699081698724154807830422909937860524646174921888227621868"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "exponential",
      "target": "strongly_0.5",
      "value_exact": "((1/4)*pi)",
      "value_str": "0.785398163397448309615660845819875721049292349843776455243736"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "exponential",
      "target": "strongly_0.75",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "exponential",
      "target": "tanh",
      "value_exact": "log(tanh(1) + 1)",
      "value_str": "0.566219169516972812973505315099872136641167071551896896570539"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "bell",
      "value_exact": "2*(E - exp(exp(-1)))/(exp(exp(-1)) + E)",
      "value_str": "0.611880547425876336669151845749815850518328128617669172066612"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "cardioid",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "cosh_sqrt",
      "value_exact": "-(2 - 2*cosh(1))/(1 + cosh(1))",
      "value_str": "0.427104534068145179700602131312727795021861716581491379389385"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "crescent",
      "value_exact": "-2 + 2*sqrt(2)",
      "value_str": "0.828427124746190097603377448419396157139343750753896146353359"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "exponential",
      "value_exact": "2*(-1 + E)/(1 + E)",
      "value_str": "0.924234314520019517004636967287345097460578560660226077105464"
    },
    {
      "evidence_status": "audit_required",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "4/5",
      "value_str": "0.8"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "janowski_A1_B-0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "janowski_A1_B0",
      "value_exact": "2/3",
      "value_str": "0.666666666666666666666666666666666666666666666666666666666667"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "lemniscate",
      "value_exact": "6 - 4*sqrt(2)",
      "value_str": "0.343145750507619804793245103161207685721312498492207707293281"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "limacon_0.3",
      "value_exact": "138/269",
      "value_str": "0.513011152416356877323420074349442379182156133828996282527881"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "limacon_0.5",
      "value_exact": "10/13",
      "value_str": "0.769230769230769230769230769230769230769230769230769230769231"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "limacon_0.707",
      "value_exact": "-6/17 + 16*sqrt(2)/17",
      "value_str": "0.978083352821736516519236446315009956300867647413598186519228"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "order_0.25",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "order_0.5",
      "value_exact": "2/3",
      "value_str": "0.666666666666666666666666666666666666666666666666666666666667"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "order_0.75",
      "value_exact": "2/7",
      "value_str": "0.285714285714285714285714285714285714285714285714285714285714"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "parabolic",
      "value_exact": "2/3",
      "value_str": "0.666666666666666666666666666666666666666666666666666666666667"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "rational_kr",
      "value_exact": "-10/7 + 8*sqrt(2)/7",
      "value_str": "0.187672642712108627201929970525369232651053571859369226487634"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "sigmoid",
      "value_exact": "2*(-1 + E)/(1 + 3*E)",
      "value_str": "0.375381939805237525295286061975405669472299948952045608620771"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "sine",
      "value_exact": "2*sin(1)/(sin(1) + 2)",
      "value_str": "0.592278428537102154664918468676410906502736905570602687218827"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "strongly_0.25",
      "value_exact": "2*CRootOf(x**4 + 4*x**3 - 6*x**2 - 4*x + 1, 2)",
      "value_str": "0.397824734759316013823195245289352457195701002643181963842234"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "strongly_0.5",
      "value_exact": "-2 + 2*sqrt(2)",
      "value_str": "0.828427124746190097603377448419396157139343750753896146353359"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "strongly_0.75",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.5_B-0.5",
      "target": "tanh",
      "value_exact": "2*tanh(1)/(tanh(1) + 2)",
      "value_str": "0.551561245386676632885214988211248961952533088204978377150309"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "bell",
      "value_exact": "4*(E - exp(exp(-1)))/(exp(exp(-1)) + 3*E)",
      "value_str": "0.530699389226286704801844914400310116915281954192239526231592"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "cardioid",
      "value_exact": "4/5",
      "value_str": "0.8"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "cosh_sqrt",
      "value_exact": "-(4 - 4*cosh(1))/(cosh(1) + 3)",
      "value_str": "0.478160682998601074793132737531104448365219284208545982893837"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "crescent",
      "value_exact": "12 - 8*sqrt(2)",
      "value_str": "0.686291501015239609586490206322415371442624996984415414586562"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "exponential",
      "value_exact": "4*(-1 + E)/(1 + 3*E)",
      "value_str": "0.750763879610475050590572123950811338944599897904091217241542"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "4/5",
      "value_str": "0.8"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "janowski_A1_B-0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "janowski_A1_B0",
      "value_exact": "4/5",
      "value_str": "0.8"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "lemniscate",
      "value_exact": "-20/7 + 16*sqrt(2)/7",
      "value_str": "0.375345285424217254403859941050738465302107143718738452975268"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "limacon_0.3",
      "value_exact": "204/349",
      "value_str": "0.584527220630372492836676217765042979942693409742120343839542"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "limacon_0.5",
      "value_exact": "12/13",
      "value_str": "0.923076923076923076923076923076923076923076923076923076923077"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "limacon_0.707",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "order_0.25",
      "value_exact": "12/13",
      "value_str": "0.923076923076923076923076923076923076923076923076923076923077"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "order_0.5",
      "value_exact": "4/7",
      "value_str": "0.571428571428571428571428571428571428571428571428571428571429"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "order_0.75",
      "value_exact": "4/15",
      "value_str": "0.266666666666666666666666666666666666666666666666666666666667"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "parabolic",
      "value_exact": "4/7",
      "value_str": "0.571428571428571428571428571428571428571428571428571428571429"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "rational_kr",
      "value_exact": "-44/7 + 32*sqrt(2)/7",
      "value_str": "0.179261999419863080236291310672905502032785716008905477379108"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "sigmoid",
      "value_exact": "4*(-1 + E)/(3 + 5*E)",
      "value_str": "0.414258201632496459134365972367568750420859824966632318890369"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "sine",
      "value_exact": "4*sin(1)/(sin(1) + 4)",
      "value_str": "0.695219273190612765312779074093692816850486666512567341493941"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "strongly_0.25",
      "value_exact": null,
      "value_str": "0.393811444716901226669057766775527050217353256688157877763065"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "strongly_0.5",
      "value_exact": "sqrt(208 - 64*sqrt(10))/3",
      "value_str": "0.78981219632853386825893837291749322893163385485649389610995"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "strongly_0.75",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A0.75_B-0.25",
      "target": "tanh",
      "value_exact": "4*tanh(1)/(tanh(1) + 4)",
      "value_str": "0.639780822146019184740549998934700250069880196907382558366222"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "bell",
      "value_exact": "2*(E - exp(exp(-1)))/(exp(exp(-1)) + 2*E)",
      "value_str": "0.370170358061954041929498602643601479077523649227352662490954"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "cardioid",
      "value_exact": "4/7",
      "value_str": "0.571428571428571428571428571428571428571428571428571428571429"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "cosh_sqrt",
      "value_exact": "-(2 - 2*cosh(1))/(cosh(1) + 2)",
      "value_str": "0.306558439273885206361318021282806266854399505448409344955874"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "crescent",
      "value_exact": "-8 + 6*sqrt(2)",
      "value_str": "0.485281374238570292810132345258188471418031252261688439060078"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "exponential",
      "value_exact": "2*(-1 + E)/(1 + 2*E)",
      "value_str": "0.533912789509109179619744235929102881108637472068282923695869"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "4/7",
      "value_str": "0.571428571428571428571428571428571428571428571428571428571429"
    },
    {
      "evidence_status": "audit_required",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "8/13",
      "value_str": "0.615384615384615384615384615384615384615384615384615384615385"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "janowski_A1_B0",
      "value_exact": "1/2",
      "value_str": "0.5"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "lemniscate",
      "value_exact": "-4 + 3*sqrt(2)",
      "value_str": "0.242640687119285146405066172629094235709015626130844219530039"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "limacon_0.3",
      "value_exact": "46/123",
      "value_str": "0.373983739837398373983739837398373983739837398373983739837398"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "limacon_0.5",
      "value_exact": "10/17",
      "value_str": "0.588235294117647058823529411764705882352941176470588235294118"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "limacon_0.707",
      "value_exact": "-2/41 + 24*sqrt(2)/41",
      "value_str": "0.779051841389128809054647058073969606967612805098701311127813"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "order_0.25",
      "value_exact": "2/3",
      "value_str": "0.666666666666666666666666666666666666666666666666666666666667"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "order_0.5",
      "value_exact": "2/5",
      "value_str": "0.4"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "order_0.75",
      "value_exact": "2/11",
      "value_str": "0.181818181818181818181818181818181818181818181818181818181818"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "parabolic",
      "value_exact": "2/5",
      "value_str": "0.4"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "rational_kr",
      "value_exact": "-2 + 3*sqrt(2)/2",
      "value_str": "0.121320343559642573202533086314547117854507813065422109765019"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "sigmoid",
      "value_exact": "(-1 + E)/(1 + 2*E)",
      "value_str": "0.266956394754554589809872117964551440554318736034141461847935"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "sine",
      "value_exact": "2*sin(1)/(sin(1) + 3)",
      "value_str": "0.438098316054300024928781755056246719747940661376111501693275"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "strongly_0.25",
      "value_exact": null,
      "value_str": "0.264013713396676633785608285057434311506343362633957034206884"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "strongly_0.5",
      "value_exact": "sqrt(7 - 3*sqrt(5))",
      "value_str": "0.540181513475452907203086314098187850994730243402813696336267"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "strongly_0.75",
      "value_exact": null,
      "value_str": "0.826067787021492521012241253716365845225680793140806457076404"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B-0.5",
      "target": "tanh",
      "value_exact": "2*tanh(1)/(tanh(1) + 3)",
      "value_str": "0.404931592500443572716232073518205121775790180365090353498917"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "bell",
      "value_exact": "1 - exp((1 - E)*exp(-1))",
      "value_str": "0.468536394613384327183085162899895816418596198280877483422714"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "cardioid",
      "value_exact": "2/3",
      "value_str": "0.666666666666666666666666666666666666666666666666666666666667"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "cosh_sqrt",
      "value_exact": "1 - cos(1)",
      "value_str": "0.459697694131860282599063392557023396267689579382077772329903"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "crescent",
      "value_exact": "2 - sqrt(2)",
      "value_str": "0.58578643762690495119831127579030192143032812462305192682332"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "exponential",
      "value_exact": "1 - exp(-1)",
      "value_str": "0.632120558828557678404476229838539132554188868968232165492163"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "2/3",
      "value_str": "0.666666666666666666666666666666666666666666666666666666666667"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "4/5",
      "value_str": "0.8"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "janowski_A1_B-0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "lemniscate",
      "value_exact": "-1 + sqrt(2)",
      "value_str": "0.41421356237309504880168872420969807856967187537694807317668"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "limacon_0.3",
      "value_exact": "51/100",
      "value_str": "0.51"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "limacon_0.5",
      "value_exact": "3/4",
      "value_str": "0.75"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "limacon_0.707",
      "value_exact": "-1/2 + sqrt(2)",
      "value_str": "0.91421356237309504880168872420969807856967187537694807317668"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "order_0.25",
      "value_exact": "3/4",
      "value_str": "0.75"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "order_0.5",
      "value_exact": "1/2",
      "value_str": "0.5"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "order_0.75",
      "value_exact": "1/4",
      "value_str": "0.25"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "parabolic",
      "value_exact": "1/2",
      "value_str": "0.5"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "rational_kr",
      "value_exact": "3 - 2*sqrt(2)",
      "value_str": "0.171572875253809902396622551580603842860656249246103853646641"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "sigmoid",
      "value_exact": "(-1 + E)/(1 + E)",
      "value_str": "0.462117157260009758502318483643672548730289280330113038552732"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "sine",
      "value_exact": "sin(1)",
      "value_str": "0.841470984807896506652502321630298999622563060798371065672752"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "strongly_0.25",
      "value_exact": "sqrt(2 - sqrt(2))/2",
      "value_str": "0.382683432365089771728459984030398866761344562485627041433801"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "strongly_0.5",
      "value_exact": "sqrt(2)/2",
      "value_str": "0.70710678118654752440084436210484903928483593768847403658834"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "strongly_0.75",
      "value_exact": "sqrt(sqrt(2) + 2)/2",
      "value_str": "0.923879532511286756128183189396788286822416625863642486115098"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "janowski_A1_B0",
      "target": "tanh",
      "value_exact": "tanh(1)",
      "value_str": "0.761594155955764888119458282604793590412768597257936551596811"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "bell",
      "value_exact": "1 - exp(-2 + 2*exp(-1))",
      "value_str": "0.717546436149459656400972192925906027344686177670338550159478"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "cardioid",
      "value_exact": "8/9",
      "value_str": "0.888888888888888888888888888888888888888888888888888888888889"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "cosh_sqrt",
      "value_exact": "sin(1)**2",
      "value_str": "0.708073418273571193498784114750381094883000385537772445377575"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "crescent",
      "value_exact": "-2 + 2*sqrt(2)",
      "value_str": "0.828427124746190097603377448419396157139343750753896146353359"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "exponential",
      "value_exact": "1 - exp(-2)",
      "value_str": "0.864664716763387308106000505027515596592368454090424118531841"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "8/9",
      "value_str": "0.888888888888888888888888888888888888888888888888888888888889"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "24/25",
      "value_str": "0.96"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "janowski_A1_B-0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "janowski_A1_B0",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "limacon_0.3",
      "value_exact": "7599/10000",
      "value_str": "0.7599"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "limacon_0.5",
      "value_exact": "15/16",
      "value_str": "0.9375"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "limacon_0.707",
      "value_exact": "-13/4 + 3*sqrt(2)",
      "value_str": "0.992640687119285146405066172629094235709015626130844219530039"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "order_0.25",
      "value_exact": "15/16",
      "value_str": "0.9375"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "order_0.5",
      "value_exact": "3/4",
      "value_str": "0.75"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "order_0.75",
      "value_exact": "7/16",
      "value_str": "0.4375"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "parabolic",
      "value_exact": "3/4",
      "value_str": "0.75"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "rational_kr",
      "value_exact": "-11 + 8*sqrt(2)",
      "value_str": "0.313708498984760390413509793677584628557375003015584585413438"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "sigmoid",
      "value_exact": "(-3 + 2*E + exp(2))/(1 + 2*E + exp(2))",
      "value_str": "0.710682047485946927154335901630981199949647702369480387410771"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "sine",
      "value_exact": "(2 - sin(1))*sin(1)",
      "value_str": "0.974868551342221819806220528510216904362125736058969685967928"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "strongly_0.25",
      "value_exact": "sqrt(2)/2",
      "value_str": "0.70710678118654752440084436210484903928483593768847403658834"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "strongly_0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "strongly_0.75",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "lemniscate",
      "target": "tanh",
      "value_exact": "(2 - tanh(1))*tanh(1)",
      "value_str": "0.943162653525555845633413304251288625742723922746644057906932"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "bell",
      "value_exact": "10/3 - 10*exp((1 - E)*exp(-1)/2)/3",
      "value_str": "0.903281652614917755415199070383296064612898547942274756927427"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "cardioid",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "cosh_sqrt",
      "value_exact": "-10/3 + 10*sqrt(cosh(1))/3",
      "value_str": "0.807359892062148918063283234350726630861680076320422171892308"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "crescent",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "exponential",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "janowski_A1_B-0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "janowski_A1_B0",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "lemniscate",
      "value_exact": "-10/3 + 10*2**(1/4)/3",
      "value_str": "0.630690383342403555724999901868253050976573641546058043396674"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "limacon_0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "limacon_0.707",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "order_0.25",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "order_0.5",
      "value_exact": "10/3 - 5*sqrt(2)/3",
      "value_str": "0.9763107293781749186638521263171698690505468743717532113722"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "order_0.75",
      "value_exact": "10/3 - 5*sqrt(3)/3",
      "value_str": "0.446581987385204510787589430823546055095324576982698953240322"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "parabolic",
      "value_exact": "10/3 - 5*sqrt(2)/3",
      "value_str": "0.9763107293781749186638521263171698690505468743717532113722"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "rational_kr",
      "value_exact": "-10*sqrt(2*sqrt(2) + 4)/(3*sqrt(4 + 3*sqrt(2))) + 10/3",
      "value_str": "0.29940092958515105797094828118354286919873081011233271607827"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "sigmoid",
      "value_exact": "-10/3 + 10*sqrt(2)*exp(1/2)/(3*sqrt(1 + E))",
      "value_str": "0.697267886308456807028530867832630938795590054932569017697988"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "sine",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "strongly_0.25",
      "value_exact": null,
      "value_str": "0.650301073387094226160949561590074136425638725839849359181674"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "strongly_0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "strongly_0.75",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.3",
      "target": "tanh",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "bell",
      "value_exact": "2 - 2*exp((1 - E)*exp(-1)/2)",
      "value_str": "0.541968991568950653249119442229977638767739128765364854156456"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "cardioid",
      "value_exact": "2 - 2*sqrt(3)/3",
      "value_str": "0.845299461620748470981702438996085088704796497459746247962795"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "cosh_sqrt",
      "value_exact": "-2 + 2*sqrt(cosh(1))",
      "value_str": "0.484415935237289350837969940610435978517008045792253303135385"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "crescent",
      "value_exact": "2 - 2*sqrt(-1 + sqrt(2))",
      "value_str": "0.712811494188834750529113125163580382151594515111984697687696"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "exponential",
      "value_exact": "2 - 2*exp(-1/2)",
      "value_str": "0.786938680574733152792400930017639093116163729025626088634216"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "sqrt(15)*sqrt(-40 + 16*sqrt(10))/15",
      "value_str": "0.840493607459095801063035822814130303371316530529217373844891"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "sqrt(285)*sqrt(-304 + 128*sqrt(19))/285",
      "value_str": "0.943935518116638658500638435441501868588718346458570613237718"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "janowski_A1_B-0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "janowski_A1_B0",
      "value_exact": "-2 + 2*sqrt(2)",
      "value_str": "0.828427124746190097603377448419396157139343750753896146353359"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "lemniscate",
      "value_exact": "-2 + 2*2**(1/4)",
      "value_str": "0.378414230005442133434999941120951830585944184927634826038004"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "limacon_0.3",
      "value_exact": "3/5",
      "value_str": "0.6"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "limacon_0.707",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "order_0.25",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "order_0.5",
      "value_exact": "2 - sqrt(2)",
      "value_str": "0.58578643762690495119831127579030192143032812462305192682332"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "order_0.75",
      "value_exact": "2 - sqrt(3)",
      "value_str": "0.267949192431122706472553658494127633057194746189619371944193"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "parabolic",
      "value_exact": "2 - sqrt(2)",
      "value_str": "0.58578643762690495119831127579030192143032812462305192682332"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "rational_kr",
      "value_exact": "-2*sqrt(2*sqrt(2) + 4)/sqrt(4 + 3*sqrt(2)) + 2",
      "value_str": "0.179640557751090634782568968710125721519238486067399629646962"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "sigmoid",
      "value_exact": "-2 + 2*sqrt(2)*exp(1/2)/sqrt(1 + E)",
      "value_str": "0.418360731785074084217118520699578563277354032959541410618793"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "sine",
      "value_exact": "-2 + 2*sqrt(sin(1) + 1)",
      "value_str": "0.714016200989151432779139035638802080146897130100689456372455"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "strongly_0.25",
      "value_exact": "CRootOf(x**8 - 8*x**6 + 20*x**4 - 16*x**2 + 2, 4)",
      "value_str": "0.390180644032256535696569736954044481855383235503909615509004"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "strongly_0.5",
      "value_exact": "sqrt(2 - sqrt(2))",
      "value_str": "0.765366864730179543456919968060797733522689124971254082867601"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "strongly_0.75",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.5",
      "target": "tanh",
      "value_exact": "-2 + 2*sqrt(tanh(1) + 1)",
      "value_str": "0.654501200569150157504901717247541634020382583970720214309982"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "bell",
      "value_exact": "sqrt(2)*(1 - exp((1 - E)*exp(-1)/2))",
      "value_str": "0.383229949131239809646041874227625068678602523102192175618515"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "cardioid",
      "value_exact": "-sqrt(6)/3 + sqrt(2)",
      "value_str": "0.597716981445369016069260699307734281247689381824724697032449"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "cosh_sqrt",
      "value_exact": "-sqrt(2)*(1 - sqrt(cosh(1)))",
      "value_str": "0.342533792721110737535452654703812291252985912128141387988277"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "crescent",
      "value_exact": "sqrt(2)*(1 - sqrt(-1 + sqrt(2)))",
      "value_str": "0.504033841248640366192973208564760939329291118410647888000161"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "exponential",
      "value_exact": "-sqrt(2)*exp(-1/2) + sqrt(2)",
      "value_str": "0.556449677412388252321499082930925600448873267624377779176938"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "sqrt(15)*sqrt(-20 + 8*sqrt(10))/15",
      "value_str": "0.594318729378270822806529015660036585541847527473140433866222"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "sqrt(285)*sqrt(-152 + 64*sqrt(19))/285",
      "value_str": "0.667463205863112378451232046103466549526687365228037867753017"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "janowski_A1_B-0.5",
      "value_exact": "sqrt(-2 + 2*sqrt(2))",
      "value_str": "0.910179721124454682608715515644937139240380756966300185176519"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "janowski_A1_B0",
      "value_exact": "2 - sqrt(2)",
      "value_str": "0.58578643762690495119831127579030192143032812462305192682332"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "lemniscate",
      "value_exact": "-sqrt(2) + 2**(3/4)",
      "value_str": "0.267579268134334037260562228256731711510396649336620948449772"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "limacon_0.3",
      "value_exact": "3*sqrt(2)/10",
      "value_str": "0.424264068711928514640506617262909423570901562613084421953004"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "limacon_0.5",
      "value_exact": "sqrt(2)/2",
      "value_str": "0.70710678118654752440084436210484903928483593768847403658834"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "order_0.25",
      "value_exact": "sqrt(2)/2",
      "value_str": "0.70710678118654752440084436210484903928483593768847403658834"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "order_0.5",
      "value_exact": "-1 + sqrt(2)",
      "value_str": "0.41421356237309504880168872420969807856967187537694807317668"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "order_0.75",
      "value_exact": "-sqrt(6)/2 + sqrt(2)",
      "value_str": "0.189468690981505999703046686856752382586698135048613008960333"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "parabolic",
      "value_exact": "-1 + sqrt(2)",
      "value_str": "0.41421356237309504880168872420969807856967187537694807317668"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "rational_kr",
      "value_exact": "(-2*sqrt(sqrt(2) + 2) + sqrt(8 + 6*sqrt(2)))/sqrt(4 + 3*sqrt(2))",
      "value_str": "0.127025056561929799330801849373278460721266390488932770864376"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "sigmoid",
      "value_exact": "(-sqrt(2)*sqrt(1 + E) + 2*exp(1/2))/sqrt(1 + E)",
      "value_str": "0.295825710427392278358320793496737667599614835778471018483632"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "sine",
      "value_exact": "sqrt(2)*(-1 + sqrt(sin(1) + 1))",
      "value_str": "0.504885697596485840230616806706022531240203448116893543949038"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "strongly_0.25",
      "value_exact": "CRootOf(8*x**8 - 32*x**6 + 40*x**4 - 16*x**2 + 1, 4)",
      "value_str": "0.275899379282943012335957563669372882363623621232445917521971"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "strongly_0.5",
      "value_exact": "sqrt(2)*sqrt(2 - sqrt(2))/2",
      "value_str": "0.541196100146196984399723205366389420061072063378015444681297"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "strongly_0.75",
      "value_exact": "CRootOf(8*x**8 - 32*x**6 + 40*x**4 - 16*x**2 + 1, 5)",
      "value_str": "0.785694958387102181277897367657216796046242113141381287248414"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "limacon_0.707",
      "target": "tanh",
      "value_exact": "-sqrt(2)*(1 - sqrt(tanh(1) + 1))",
      "value_str": "0.462802237217182714462489513910029632069208755219643412679377"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "bell",
      "value_exact": null,
      "value_str": "0.513730924478074304108579586765882357300614303355865936573252"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "cardioid",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "cosh_sqrt",
      "value_exact": null,
      "value_str": "0.461920868430061359964739204321159516879001535012141402745648"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "crescent",
      "value_exact": null,
      "value_str": "0.688887628058659334873000565088653444535292539916534500816957"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "exponential",
      "value_exact": null,
      "value_str": "0.725302642302189837863440074074472127088800726322398524412243"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "CRootOf(x**6 + 6*x**4 + 12*x**2 - 8, 1)",
      "value_str": "0.721000762683193234314271237305337257817008316523943543138907"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": null,
      "value_str": "0.785202630886448240596674409500154546046109205296785945711858"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "janowski_A1_B-0.5",
      "value_exact": null,
      "value_str": "0.980073858689849948068328896537638206233464084373864704598244"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "janowski_A1_B0",
      "value_exact": "CRootOf(x**3 + 3*x - 3, 0)",
      "value_str": "0.817731673886823506094087070409355369871047219885471470041977"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "lemniscate",
      "value_exact": null,
      "value_str": "0.426125891907303653541609926218654486435490453236743156113108"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "limacon_0.3",
      "value_exact": null,
      "value_str": "0.537508306566749514132530427411359325536202759161912621754731"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "limacon_0.5",
      "value_exact": null,
      "value_str": "0.814364876788443847245792304380757061378130687214754846413882"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "limacon_0.707",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "order_0.25",
      "value_exact": "CRootOf(16*x**6 + 48*x**4 + 48*x**2 - 65, 1)",
      "value_str": "0.84680066357437262090461979849953980552056907610278356602374"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "order_0.5",
      "value_exact": "CRootOf(2*x**3 - 6*x + 3, 1)",
      "value_str": "0.557874698331524587529179783173715322315376789745429770365008"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "order_0.75",
      "value_exact": "CRootOf(4*x**3 - 12*x + 3, 1)",
      "value_str": "0.25556387190823410267085453282244989315737001249841592326009"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "parabolic",
      "value_exact": null,
      "value_str": "0.549490237822772643581317809023572280680230717548753959493461"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "rational_kr",
      "value_exact": "CRootOf(x**6 - 6*x**4 + 18*x**3 + 9*x**2 - 54*x + 9, 2)",
      "value_str": "0.173308015952842173068548187332262697807923172334134313483395"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "sigmoid",
      "value_exact": null,
      "value_str": "0.495924719526207719232034839611824690965457985330365522394804"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "sine",
      "value_exact": null,
      "value_str": "0.917258735732792916222667133859436595833751866301562873949816"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "strongly_0.25",
      "value_exact": null,
      "value_str": "0.369479807349353158195141201583252539700977135939407029198049"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "strongly_0.5",
      "value_exact": null,
      "value_str": "0.661096019882935544163257150096359717886928879638245017422517"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "strongly_0.75",
      "value_exact": null,
      "value_str": "0.880529729326462694787670156588410135440988167631812576991851"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "nephroid",
      "target": "tanh",
      "value_exact": null,
      "value_str": "0.900281668788281797001122588532083702704881911660032944599872"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "bell",
      "value_exact": "2*(E - exp(exp(-1)))/(E + 2*exp(exp(-1)))",
      "value_str": "0.454244233307452847354435393632359711543384196664132675443873"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "cardioid",
      "value_exact": "4/7",
      "value_str": "0.571428571428571428571428571428571428571428571428571428571429"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "cosh_sqrt",
      "value_exact": "-(2 - 2*cosh(1))/(1 + 2*cosh(1))",
      "value_str": "0.265814586835607042581121144977711608402099775486083673074597"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "crescent",
      "value_exact": "-8 + 6*sqrt(2)",
      "value_str": "0.485281374238570292810132345258188471418031252261688439060078"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "exponential",
      "value_exact": "2*(-1 + E)/(1 + 2*E)",
      "value_str": "0.533912789509109179619744235929102881108637472068282923695869"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "4/7",
      "value_str": "0.571428571428571428571428571428571428571428571428571428571429"
    },
    {
      "evidence_status": "audit_required",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "8/17",
      "value_str": "0.470588235294117647058823529411764705882352941176470588235294"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "janowski_A1_B-0.5",
      "value_exact": "2/3",
      "value_str": "0.666666666666666666666666666666666666666666666666666666666667"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "janowski_A1_B0",
      "value_exact": "2/5",
      "value_str": "0.4"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "lemniscate",
      "value_exact": "10/7 - 6*sqrt(2)/7",
      "value_str": "0.216388375108775672455695379248830218368852678248330222991417"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "limacon_0.3",
      "value_exact": "23/73",
      "value_str": "0.315068493150684931506849315068493150684931506849315068493151"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "limacon_0.5",
      "value_exact": "5/11",
      "value_str": "0.454545454545454545454545454545454545454545454545454545454545"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "limacon_0.707",
      "value_exact": "-1/2 + 3*sqrt(2)/4",
      "value_str": "0.56066017177982128660126654315727355892725390653271105488251"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "order_0.5",
      "value_exact": "1/2",
      "value_str": "0.5"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "order_0.75",
      "value_exact": "1/5",
      "value_str": "0.2"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "parabolic",
      "value_exact": "1/2",
      "value_str": "0.5"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "rational_kr",
      "value_exact": "-14/23 + 12*sqrt(2)/23",
      "value_str": "0.129154902107701764592185421326798997514611413240146820787833"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "sigmoid",
      "value_exact": "2*(-1 + E)/(1 + 5*E)",
      "value_str": "0.235519655668946556033446113529181919064285548452632019765436"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "sine",
      "value_exact": "2*sin(1)/(2*sin(1) + 3)",
      "value_str": "0.359377071194813074934609234419707520766864076584608131920905"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "strongly_0.25",
      "value_exact": null,
      "value_str": "0.264013713396676633785608285057434311506343362633957034206884"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "strongly_0.5",
      "value_exact": "sqrt(7 - 3*sqrt(5))",
      "value_str": "0.540181513475452907203086314098187850994730243402813696336267"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "strongly_0.75",
      "value_exact": null,
      "value_str": "0.826067787021492521012241253716365845225680793140806457076404"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.25",
      "target": "tanh",
      "value_exact": "2*tanh(1)/(2*tanh(1) + 3)",
      "value_str": "0.336751027566177133108817387694578925627177643563791954940294"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "bell",
      "value_exact": "1 - exp(1 - E)",
      "value_str": "0.82062592126598281803801041268168350154031839824108438684263"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "cardioid",
      "value_exact": "2/3",
      "value_str": "0.666666666666666666666666666666666666666666666666666666666667"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "cosh_sqrt",
      "value_exact": "1 - 1/cosh(1)",
      "value_str": "0.351945726336114600425022646773849676891510687928057976962135"
    },
    {
      "evidence_status": "paper_proved_exact",
      "machine_replay_available": true,
      "paper_theorem": "Theorem 4.7(b)",
      "source": "order_0.5",
      "target": "crescent",
      "value_exact": "2 - sqrt(2)",
      "value_str": "0.58578643762690495119831127579030192143032812462305192682332"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "exponential",
      "value_exact": "1 - exp(-1)",
      "value_str": "0.632120558828557678404476229838539132554188868968232165492163"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "2/3",
      "value_str": "0.666666666666666666666666666666666666666666666666666666666667"
    },
    {
      "evidence_status": "audit_required",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "4/7",
      "value_str": "0.571428571428571428571428571428571428571428571428571428571429"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "janowski_A1_B-0.5",
      "value_exact": "3/4",
      "value_str": "0.75"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "janowski_A1_B0",
      "value_exact": "1/2",
      "value_str": "0.5"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "lemniscate",
      "value_exact": "1 - sqrt(2)/2",
      "value_str": "0.29289321881345247559915563789515096071516406231152596341166"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "limacon_0.3",
      "value_exact": "69/169",
      "value_str": "0.408284023668639053254437869822485207100591715976331360946746"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "limacon_0.5",
      "value_exact": "5/9",
      "value_str": "0.555555555555555555555555555555555555555555555555555555555556"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "limacon_0.707",
      "value_exact": "-5 + 4*sqrt(2)",
      "value_str": "0.656854249492380195206754896838792314278687501507792292706719"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "order_0.25",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "order_0.75",
      "value_exact": "1/3",
      "value_str": "0.333333333333333333333333333333333333333333333333333333333333"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "parabolic",
      "value_exact": "sqrt(2)/2",
      "value_str": "0.70710678118654752440084436210484903928483593768847403658834"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "rational_kr",
      "value_exact": "-1/2 + sqrt(2)/2",
      "value_str": "0.20710678118654752440084436210484903928483593768847403658834"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "sigmoid",
      "value_exact": "-(1 - E)*exp(-1)/2",
      "value_str": "0.316060279414278839202238114919269566277094434484116082746082"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "sine",
      "value_exact": "sin(1)/(sin(1) + 1)",
      "value_str": "0.456955874814220505630163872741886832863847183142869770515371"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "strongly_0.25",
      "value_exact": "sqrt(2 - sqrt(2))/2",
      "value_str": "0.382683432365089771728459984030398866761344562485627041433801"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "strongly_0.5",
      "value_exact": "sqrt(2)/2",
      "value_str": "0.70710678118654752440084436210484903928483593768847403658834"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "strongly_0.75",
      "value_exact": "sqrt(sqrt(2) + 2)/2",
      "value_str": "0.923879532511286756128183189396788286822416625863642486115098"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.5",
      "target": "tanh",
      "value_exact": "tanh(1)/(tanh(1) + 1)",
      "value_str": "0.432332358381693654053000252513757798296184227045212059265921"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "bell",
      "value_exact": "2*(1 - exp(-1 + E))/(1 - 2*exp(-1 + E))",
      "value_str": "0.901476697305678052977176121477529213041659552574222165032852"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "cardioid",
      "value_exact": "4/5",
      "value_str": "0.8"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "cosh_sqrt",
      "value_exact": "2*(1 - cosh(1))/(1 - 2*cosh(1))",
      "value_str": "0.520650673292805622461219217367384544919327862391400900574264"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "crescent",
      "value_exact": "8/7 - 2*sqrt(2)/7",
      "value_str": "0.738796125036258557485231793082943406122950892749443407663806"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "exponential",
      "value_exact": "2*(1 - E)/(1 - 2*E)",
      "value_str": "0.774600326439435921033808830711137661439130971646006600038513"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "4/5",
      "value_str": "0.8"
    },
    {
      "evidence_status": "audit_required",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "8/11",
      "value_str": "0.727272727272727272727272727272727272727272727272727272727273"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "janowski_A1_B-0.5",
      "value_exact": "6/7",
      "value_str": "0.857142857142857142857142857142857142857142857142857142857143"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "janowski_A1_B0",
      "value_exact": "2/3",
      "value_str": "0.666666666666666666666666666666666666666666666666666666666667"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "lemniscate",
      "value_exact": "6/7 - 2*sqrt(2)/7",
      "value_str": "0.453081839321972843199517507368657691837236607035157693378092"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "limacon_0.3",
      "value_exact": "69/119",
      "value_str": "0.579831932773109243697478991596638655462184873949579831932773"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "limacon_0.5",
      "value_exact": "5/7",
      "value_str": "0.714285714285714285714285714285714285714285714285714285714286"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "limacon_0.707",
      "value_exact": "3/2 - sqrt(2)/2",
      "value_str": "0.79289321881345247559915563789515096071516406231152596341166"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "order_0.25",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "order_0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "parabolic",
      "value_exact": "sqrt(3)/2",
      "value_str": "0.866025403784438646763723170752936183471402626905190314027903"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "rational_kr",
      "value_exact": "-2/7 + 4*sqrt(2)/7",
      "value_str": "0.522407749927482885029536413834113187754098214501113184672388"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "sigmoid",
      "value_exact": "2*(1 - E)/(1 - 3*E)",
      "value_str": "0.480312770407360848116671767865028342101271656771294341817394"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "sine",
      "value_exact": "2*sin(1)/(1 + 2*sin(1))",
      "value_str": "0.627274830643018486835170837752488650578722062026019250035319"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "strongly_0.25",
      "value_exact": "CRootOf(x**8 - 16*x**6 + 64*x**4 - 64*x**2 + 16, 4)",
      "value_str": "0.618821874885936424691676784669748895674648370964357416329839"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "strongly_0.5",
      "value_exact": "sqrt(3 - sqrt(5))",
      "value_str": "0.874032048897642141598602410111510227574941631974134376840413"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "strongly_0.75",
      "value_exact": "CRootOf(x**8 - 16*x**6 + 64*x**4 - 64*x**2 + 16, 5)",
      "value_str": "0.973034139551007212072891929852861089753856195176264156245215"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "order_0.75",
      "target": "tanh",
      "value_exact": "2*tanh(1)/(1 + 2*tanh(1))",
      "value_str": "0.603676033501274846584648276838175359056690054790421547717392"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "bell",
      "value_exact": "tan(sqrt(2)*pi*sqrt(1 - exp((1 - E)*exp(-1)))/4)**2",
      "value_str": "0.904390488870161988904877076081045285920321424035085602974111"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "cardioid",
      "value_exact": "tanh(pi/2)**2",
      "value_str": "0.841168406819936675168616961473777143131973704651258519224803"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "cosh_sqrt",
      "value_exact": "tanh(sqrt(2)*pi*sqrt(-1 + cosh(1))/4)**2",
      "value_str": "0.454642045258932454296715092674758783966553224729248667427398"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "crescent",
      "value_exact": "tanh(2**(3/4)*pi/4)**2",
      "value_str": "0.751692226096137154956830609520218445784637811123789513623463"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "exponential",
      "value_exact": "-tan(sqrt(2)*pi*sqrt(1 - E)/4)**2",
      "value_str": "0.804370103868131938007115430556561600812899218678519489023314"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "tanh(pi/2)**2",
      "value_str": "0.841168406819936675168616961473777143131973704651258519224803"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "tanh(sqrt(6)*pi/6)**2",
      "value_str": "0.734728055406499318522885203236483812383162186201682410606288"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "janowski_A1_B-0.5",
      "value_exact": "tanh(sqrt(6)*pi/4)**2",
      "value_str": "0.918207208533155834370583358433537947713663332666856693710782"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "janowski_A1_B0",
      "value_exact": "tanh(sqrt(2)*pi/4)**2",
      "value_str": "0.646925855302079443561229039698106161237656720062978128561698"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "lemniscate",
      "value_exact": "tanh(sqrt(2)*pi*sqrt(-1 + sqrt(2))/4)**2",
      "value_str": "0.376641567234267851939331403432642427405279106470247794050559"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "limacon_0.3",
      "value_exact": "tanh(sqrt(138)*pi/40)**2",
      "value_str": "0.528734147195194645694556027160547584782737762998750664621885"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "limacon_0.5",
      "value_exact": "tanh(sqrt(10)*pi/8)**2",
      "value_str": "0.71567348923828633282578748378752939012165079850182374303561"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "limacon_0.707",
      "value_exact": "tanh(sqrt(2)*pi*sqrt(-4 + (sqrt(2) + 2)**2)/8)**2",
      "value_str": "0.830961224973634721073479779420013069920719412278850229412002"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "order_0.25",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "order_0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "order_0.75",
      "value_exact": "tan(sqrt(2)*pi/8)**2",
      "value_str": "0.385026357846729765636995094862263263047002380092106432661154"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "rational_kr",
      "value_exact": "tan(2**(3/4)*pi/(4*sqrt(1 + sqrt(2))*sqrt(sqrt(2) + 2)))**2",
      "value_str": "0.245562786050746385245938434351656812534434875911939180691335"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "sigmoid",
      "value_exact": "tanh(sqrt(2)*pi*sqrt(tanh(1/2))/4)**2",
      "value_str": "0.407244900230323374238758166889481412657526798947635329443095"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "sine",
      "value_exact": "tanh(sqrt(2)*pi*sqrt(sin(1))/4)**2",
      "value_str": "0.591993770485391739015895668483399510667037401920744801982782"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "strongly_0.25",
      "value_exact": null,
      "value_str": "0.490248450778877561402542141741886189957544435505657151075938"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "strongly_0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "strongly_0.75",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "parabolic",
      "target": "tanh",
      "value_exact": "tanh(sqrt(2)*pi*sqrt(tanh(1))/4)**2",
      "value_str": "0.560109789980800519618043725831458634487650376298949860130351"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "bell",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "cardioid",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "cosh_sqrt",
      "value_exact": "(1 + sqrt(2))*(-cosh(1) + sqrt(-4 + cosh(1)**2 + 4*cosh(1)))/2",
      "value_str": "0.713151281811322749820744509881783377042837380143212328394958"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "crescent",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "exponential",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "janowski_A1_B-0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "janowski_A1_B0",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "lemniscate",
      "value_exact": "CRootOf(x**4 + 4*x**3 - 1, 1)",
      "value_str": "0.601231825852331011022331079309657669076065639391124090536276"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "limacon_0.3",
      "value_exact": "-(1 + sqrt(2))*(169 - sqrt(56161))/200",
      "value_str": "0.820628872849807103964198817991729497346362672995195747848191"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "limacon_0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "limacon_0.707",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "order_0.25",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "order_0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "order_0.75",
      "value_exact": null,
      "value_str": "0.881269238414618485955965576651328081639671438665175127785578"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "parabolic",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "sigmoid",
      "value_exact": "(-sqrt(2)*E - E + sqrt(-1 + 2*exp(2)) + sqrt(-2 + 4*exp(2)))/(1 + E)",
      "value_str": "0.645130600481839431047603136709379951926652600652409577762657"
    },
    {
      "evidence_status": "paper_proved_exact",
      "machine_replay_available": false,
      "paper_theorem": "Theorem 4.5(c)",
      "source": "rational_kr",
      "target": "sine",
      "value_exact": "-(1 + sqrt(2))*(-sqrt(sin(1)**2 + 1 + 6*sin(1)) + sin(1) + 1)/2",
      "value_str": "0.914905657859700557068570032490079557109808440778377965382503"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "strongly_0.25",
      "value_exact": null,
      "value_str": "0.745276654699344546364854277457802780159469937020344656975546"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "strongly_0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "strongly_0.75",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "rational_kr",
      "target": "tanh",
      "value_exact": "-(1 + sqrt(2))*(-sqrt(tanh(1)**2 + 1 + 6*tanh(1)) + tanh(1) + 1)/2",
      "value_str": "0.866995575773503732253945775854894569905101150906692509496953"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "bell",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "cardioid",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "cosh_sqrt",
      "value_exact": null,
      "value_str": "0.922403841043680556688589609454847718150977386988133596060352"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "crescent",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "exponential",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "janowski_A1_B-0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "janowski_A1_B0",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "lemniscate",
      "value_exact": null,
      "value_str": "0.854932955241649459351700877471157322193987562776413741724617"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "limacon_0.3",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "limacon_0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "limacon_0.707",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "order_0.25",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "order_0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "order_0.75",
      "value_exact": "log((5/3))",
      "value_str": "0.510825623765990683205514096303661934878110796445768270177954"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "parabolic",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "paper_proved_exact",
      "machine_replay_available": false,
      "paper_theorem": "Theorem 4.8(b)",
      "source": "sigmoid",
      "target": "rational_kr",
      "value_exact": "((1/2)*log(2))",
      "value_str": "0.34657359027997265470861606072908828403775006718012762706034"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "sine",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "strongly_0.25",
      "value_exact": null,
      "value_str": "0.738362258837414257789441443271101635412984207548653164712703"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "strongly_0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "strongly_0.75",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sigmoid",
      "target": "tanh",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "paper_proved_exact",
      "machine_replay_available": false,
      "paper_theorem": "Theorem 4.6(c)",
      "source": "sine",
      "target": "bell",
      "value_exact": "asin(1 - exp((1 - E)*exp(-1)))",
      "value_str": "0.487633344960069582817133611342504476288055024389812498680019"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sine",
      "target": "cardioid",
      "value_exact": "asin(2/3)",
      "value_str": "0.729727656226966363454796659813320695396505914047713690708949"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sine",
      "target": "cosh_sqrt",
      "value_exact": null,
      "value_str": "0.471737800503147474328107519992251841422124795760654962346476"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sine",
      "target": "crescent",
      "value_exact": "asin(2 - sqrt(2))",
      "value_str": "0.625850070927445820583648176952283176744638961517523373724562"
    },
    {
      "evidence_status": "paper_proved_exact",
      "machine_replay_available": false,
      "paper_theorem": "Theorem 4.6(b)",
      "source": "sine",
      "target": "exponential",
      "value_exact": "asin(1 - exp(-1))",
      "value_str": "0.684286830760812179045509876679532596006884219794021286745696"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sine",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": null,
      "value_str": "0.728735796363137436148688216556210736516498902484702447695032"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sine",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": null,
      "value_str": "0.836305782983773460514556661826641324895968438904708277713351"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sine",
      "target": "janowski_A1_B-0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sine",
      "target": "janowski_A1_B0",
      "value_exact": "log((1 + 1*sqrt(2)))",
      "value_str": "0.881373587019543025232609324979792309028160328261635410753296"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sine",
      "target": "lemniscate",
      "value_exact": null,
      "value_str": "0.426759856771512268589966682103504783911023923468491786761773"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sine",
      "target": "limacon_0.3",
      "value_exact": "asin(51/100)",
      "value_str": "0.535184790275599847540474050202901437648456770353791057687585"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sine",
      "target": "limacon_0.5",
      "value_exact": "asin(3/4)",
      "value_str": "0.848062078981481008052944338998418080073366213263112642860718"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sine",
      "target": "limacon_0.707",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sine",
      "target": "order_0.25",
      "value_exact": "asin(3/4)",
      "value_str": "0.848062078981481008052944338998418080073366213263112642860718"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sine",
      "target": "order_0.5",
      "value_exact": "((1/6)*pi)",
      "value_str": "0.523598775598298873077107230546583814032861566562517636829157"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sine",
      "target": "order_0.75",
      "value_exact": "asin(1/4)",
      "value_str": "0.252680255142078653485657436993710972252193733096838193633924"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sine",
      "target": "parabolic",
      "value_exact": "((1/6)*pi)",
      "value_str": "0.523598775598298873077107230546583814032861566562517636829157"
    },
    {
      "evidence_status": "paper_proved_exact",
      "machine_replay_available": false,
      "paper_theorem": "Theorem 4.8(a)",
      "source": "sine",
      "target": "rational_kr",
      "value_exact": "asin(3 - 2*sqrt(2))",
      "value_str": "0.172425997712849066185386276945547611385421801231405887168908"
    },
    {
      "evidence_status": "paper_proved_exact",
      "machine_replay_available": true,
      "paper_theorem": "Theorem 4.3",
      "source": "sine",
      "target": "sigmoid",
      "value_exact": "asin((-1 + E)/(1 + E))",
      "value_str": "0.480381079133729448604886289963232005609691792423076398821175"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sine",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sine",
      "target": "strongly_0.25",
      "value_exact": null,
      "value_str": "0.375999120485880346329265052519553431787927150251093702012163"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sine",
      "target": "strongly_0.5",
      "value_exact": null,
      "value_str": "0.690590628936725620581493652429584592593592338665075811366281"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "sine",
      "target": "strongly_0.75",
      "value_exact": null,
      "value_str": "0.947031534329666932609679924103391257598219622893598009264295"
    },
    {
      "evidence_status": "paper_proved_exact",
      "machine_replay_available": true,
      "paper_theorem": "Theorem 4.6(a)",
      "source": "sine",
      "target": "tanh",
      "value_exact": "asin(tanh(1))",
      "value_str": "0.865769483239658624289601846191844441379679199248760099611848"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "bell",
      "value_exact": "(E - exp(exp(-1)))/(exp(exp(-1)) + E)",
      "value_str": "0.305940273712938168334575922874907925259164064308834586033306"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "cardioid",
      "value_exact": "1/2",
      "value_str": "0.5"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "cosh_sqrt",
      "value_exact": "-(1 - cosh(1))/(1 + cosh(1))",
      "value_str": "0.213552267034072589850301065656363897510930858290745689694693"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "crescent",
      "value_exact": "-1 + sqrt(2)",
      "value_str": "0.41421356237309504880168872420969807856967187537694807317668"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "exponential",
      "value_exact": "(-1 + E)/(1 + E)",
      "value_str": "0.462117157260009758502318483643672548730289280330113038552732"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "1/2",
      "value_str": "0.5"
    },
    {
      "evidence_status": "audit_required",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "2/5",
      "value_str": "0.4"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "janowski_A1_B-0.5",
      "value_exact": "3/5",
      "value_str": "0.6"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "janowski_A1_B0",
      "value_exact": "1/3",
      "value_str": "0.333333333333333333333333333333333333333333333333333333333333"
    },
    {
      "evidence_status": "paper_proved_exact",
      "machine_replay_available": true,
      "paper_theorem": "Theorem 4.5(h)",
      "source": "starlike",
      "target": "lemniscate",
      "value_exact": "3 - 2*sqrt(2)",
      "value_str": "0.171572875253809902396622551580603842860656249246103853646641"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "limacon_0.3",
      "value_exact": "69/269",
      "value_str": "0.256505576208178438661710037174721189591078066914498141263941"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "limacon_0.5",
      "value_exact": "5/13",
      "value_str": "0.384615384615384615384615384615384615384615384615384615384615"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "limacon_0.707",
      "value_exact": "-3/17 + 8*sqrt(2)/17",
      "value_str": "0.489041676410868258259618223157504978150433823706799093259614"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "order_0.25",
      "value_exact": "3/5",
      "value_str": "0.6"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "order_0.5",
      "value_exact": "1/3",
      "value_str": "0.333333333333333333333333333333333333333333333333333333333333"
    },
    {
      "evidence_status": "paper_proved_exact",
      "machine_replay_available": true,
      "paper_theorem": "Theorem 4.5(i)",
      "source": "starlike",
      "target": "order_0.75",
      "value_exact": "1/7",
      "value_str": "0.142857142857142857142857142857142857142857142857142857142857"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "parabolic",
      "value_exact": "1/3",
      "value_str": "0.333333333333333333333333333333333333333333333333333333333333"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "rational_kr",
      "value_exact": "-5/7 + 4*sqrt(2)/7",
      "value_str": "0.0938363213560543136009649852626846163255267859296846132438169"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "sigmoid",
      "value_exact": "(-1 + E)/(1 + 3*E)",
      "value_str": "0.187690969902618762647643030987702834736149974476022804310386"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "sine",
      "value_exact": "sin(1)/(sin(1) + 2)",
      "value_str": "0.296139214268551077332459234338205453251368452785301343609413"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "strongly_0.25",
      "value_exact": "CRootOf(x**4 + 4*x**3 - 6*x**2 - 4*x + 1, 2)",
      "value_str": "0.198912367379658006911597622644676228597850501321590981921117"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "strongly_0.5",
      "value_exact": "-1 + sqrt(2)",
      "value_str": "0.41421356237309504880168872420969807856967187537694807317668"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "strongly_0.75",
      "value_exact": "CRootOf(x**4 - 4*x**3 - 6*x**2 + 4*x + 1, 2)",
      "value_str": "0.668178637919298919997757686523080761552472251379082816185914"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "starlike",
      "target": "tanh",
      "value_exact": "tanh(1)/(tanh(1) + 2)",
      "value_str": "0.275780622693338316442607494105624480976266544102489188575154"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "bell",
      "value_exact": "(-exp(4*exp(-1)) + exp(4))/(exp(4*exp(-1)) + exp(4))",
      "value_str": "0.852229130805321223022213189789730183214728841290956208722816"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "cardioid",
      "value_exact": "40/41",
      "value_str": "0.975609756097560975609756097560975609756097560975609756097561"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "cosh_sqrt",
      "value_exact": "-(1 - cosh(1)**4)/(1 + cosh(1)**4)",
      "value_str": "0.700133153626104549251671491013188269214927280694269646114528"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "crescent",
      "value_exact": "2*sqrt(2)/3",
      "value_str": "0.942809041582063365867792482806465385713114583584632048784453"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "exponential",
      "value_exact": "tanh(2)",
      "value_str": "0.964027580075816883946413724100923150255029976240934776048263"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "40/41",
      "value_str": "0.975609756097560975609756097560975609756097560975609756097561"
    },
    {
      "evidence_status": "audit_required",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "1160/1241",
      "value_str": "0.934730056406124093473005640612409347300564061240934730056406"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "janowski_A1_B-0.5",
      "value_exact": "255/257",
      "value_str": "0.992217898832684824902723735408560311284046692607003891050584"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "janowski_A1_B0",
      "value_exact": "15/17",
      "value_str": "0.882352941176470588235294117647058823529411764705882352941176"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "lemniscate",
      "value_exact": "3/5",
      "value_str": "0.6"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "limacon_0.3",
      "value_exact": "715730721/915730721",
      "value_str": "0.781595183591094133446681647366071057039485300832230133294829"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "limacon_0.5",
      "value_exact": "6305/6817",
      "value_str": "0.924893648232360275781135396802112366143464867243655566964941"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "limacon_0.707",
      "value_exact": "-255/18721 + 13056*sqrt(2)/18721",
      "value_str": "0.972649552392667536838568878974510876224861706368326160108687"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "order_0.25",
      "value_exact": "255/257",
      "value_str": "0.992217898832684824902723735408560311284046692607003891050584"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "order_0.5",
      "value_exact": "15/17",
      "value_str": "0.882352941176470588235294117647058823529411764705882352941176"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "order_0.75",
      "value_exact": "175/337",
      "value_str": "0.519287833827893175074183976261127596439169139465875370919881"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "parabolic",
      "value_exact": "15/17",
      "value_str": "0.882352941176470588235294117647058823529411764705882352941176"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "rational_kr",
      "value_exact": "-85/267 + 128*sqrt(2)/267",
      "value_str": "0.359622981212569911036015568160454509576471910293068739200805"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "sigmoid",
      "value_exact": "(-(1 + E)**4 + 16*exp(4))/((1 + E)**4 + 16*exp(4))",
      "value_str": "0.640942047527616129056539888871397587034521860758190608436207"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "sine",
      "value_exact": "(-1 + (sin(1) + 1)**4)/(1 + (sin(1) + 1)**4)",
      "value_str": "0.839987011565265530627109203032590268889407524692354350609503"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "strongly_0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "strongly_0.75",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.25",
      "target": "tanh",
      "value_exact": "-(1 - (tanh(1) + 1)**4)/(1 + (tanh(1) + 1)**4)",
      "value_str": "0.811852129484535768438918253156920635657068342645625370799683"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "bell",
      "value_exact": "(-exp(2*exp(-1)) + exp(2))/(exp(2*exp(-1)) + exp(2))",
      "value_str": "0.559510657052596351907159917029634611179516990966204708227673"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "cardioid",
      "value_exact": "4/5",
      "value_str": "0.8"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "cosh_sqrt",
      "value_exact": "sinh(1)**2/(1 + cosh(1)**2)",
      "value_str": "0.408476154383664967286843271488026244100071891075103829504359"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "crescent",
      "value_exact": "sqrt(2)/2",
      "value_str": "0.70710678118654752440084436210484903928483593768847403658834"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "exponential",
      "value_exact": "tanh(1)",
      "value_str": "0.761594155955764888119458282604793590412768597257936551596811"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "4/5",
      "value_str": "0.8"
    },
    {
      "evidence_status": "audit_required",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "20/29",
      "value_str": "0.689655172413793103448275862068965517241379310344827586206897"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "janowski_A1_B-0.5",
      "value_exact": "15/17",
      "value_str": "0.882352941176470588235294117647058823529411764705882352941176"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "janowski_A1_B0",
      "value_exact": "3/5",
      "value_str": "0.6"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "lemniscate",
      "value_exact": "1/3",
      "value_str": "0.333333333333333333333333333333333333333333333333333333333333"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "limacon_0.3",
      "value_exact": "18561/38561",
      "value_str": "0.481341251523560073649542283654469541764995721065325069370608"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "limacon_0.5",
      "value_exact": "65/97",
      "value_str": "0.670103092783505154639175257731958762886597938144329896907216"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "limacon_0.707",
      "value_exact": "-5/51 + 32*sqrt(2)/51",
      "value_str": "0.789310470508608658071647826955104676749598039452202712581446"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "order_0.25",
      "value_exact": "15/17",
      "value_str": "0.882352941176470588235294117647058823529411764705882352941176"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "order_0.5",
      "value_exact": "3/5",
      "value_str": "0.6"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "order_0.75",
      "value_exact": "7/25",
      "value_str": "0.28"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "parabolic",
      "value_exact": "3/5",
      "value_str": "0.6"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "rational_kr",
      "value_exact": "-15/41 + 16*sqrt(2)/41",
      "value_str": "0.186034560926085872703098038715979737978408536732467540751875"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "sigmoid",
      "value_exact": "(-(1 + E)**2 + 4*exp(2))/((1 + E)**2 + 4*exp(2))",
      "value_str": "0.362608020648289548132090888057357622896779530930315978654329"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "sine",
      "value_exact": "(-1 + (sin(1) + 1)**2)/(1 + (sin(1) + 1)**2)",
      "value_str": "0.544524483900444054876282283790049165794922662487979957949328"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "strongly_0.25",
      "value_exact": "-1 + sqrt(2)",
      "value_str": "0.41421356237309504880168872420969807856967187537694807317668"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "strongly_0.75",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.5",
      "target": "tanh",
      "value_exact": "-(1 - (tanh(1) + 1)**2)/(1 + (tanh(1) + 1)**2)",
      "value_str": "0.512577210333735066398733719519987404356284165075358270163433"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "bell",
      "value_exact": "(-exp(4*exp(-1)/3) + exp(4/3))/(exp(4*exp(-1)/3) + exp(4/3))",
      "value_str": "0.398120734479122591257512982946092155701933302731793876681518"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "cardioid",
      "value_exact": "CRootOf(41*x**3 - 120*x**2 + 123*x - 40, 0)",
      "value_str": "0.624536446425733856492546427149252689954520968222894945008803"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "cosh_sqrt",
      "value_exact": "-(1 - cosh(1)**(4/3))/(1 + cosh(1)**(4/3))",
      "value_str": "0.281386558876822214049275759359497517087392938997503045325674"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "crescent",
      "value_exact": "CRootOf(9*x**6 - 18*x**4 + 33*x**2 - 8, 1)",
      "value_str": "0.528154610683438395340037194872481810057391852296679542470125"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "exponential",
      "value_exact": "tanh(2/3)",
      "value_str": "0.58278294534791012006763998724863620140070458328815291696347"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": "CRootOf(41*x**3 - 120*x**2 + 123*x - 40, 0)",
      "value_str": "0.624536446425733856492546427149252689954520968222894945008803"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": "CRootOf(1241*x**3 - 3480*x**2 + 3723*x - 1160, 0)",
      "value_str": "0.511578313598366982713983996360934769620953822509176785081382"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "janowski_A1_B-0.5",
      "value_exact": "CRootOf(257*x**3 - 765*x**2 + 771*x - 255, 0)",
      "value_str": "0.727876502811181763630008428981991640648388532615962308767393"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "janowski_A1_B0",
      "value_exact": "CRootOf(17*x**3 - 45*x**2 + 51*x - 15, 0)",
      "value_str": "0.431792693166699815356188077349085136420532896212188696580095"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "lemniscate",
      "value_exact": "CRootOf(5*x**3 - 9*x**2 + 15*x - 3, 0)",
      "value_str": "0.227023580871381258086913769886340623700396159398734819857734"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "limacon_0.3",
      "value_exact": "(-1000 + 169*10**(1/3)*13**(2/3))/(1000 + 169*10**(1/3)*13**(2/3))",
      "value_str": "0.336215031553560703663654503296384434747560624847490017637031"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "limacon_0.5",
      "value_exact": "CRootOf(6817*x**3 - 18915*x**2 + 20451*x - 6305, 0)",
      "value_str": "0.493457249232355896094459260307044981809133668169772020733179"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "limacon_0.707",
      "value_exact": "(-8 + 2**(1/3)*(sqrt(2) + 2)**(8/3))/(8 + 2**(1/3)*(sqrt(2) + 2)**(8/3))",
      "value_str": "0.61259625583220987284482129314640773647168458174301378585707"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "order_0.25",
      "value_exact": "CRootOf(257*x**3 - 765*x**2 + 771*x - 255, 0)",
      "value_str": "0.727876502811181763630008428981991640648388532615962308767393"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "order_0.5",
      "value_exact": "CRootOf(17*x**3 - 45*x**2 + 51*x - 15, 0)",
      "value_str": "0.431792693166699815356188077349085136420532896212188696580095"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "order_0.75",
      "value_exact": "CRootOf(337*x**3 - 525*x**2 + 1011*x - 175, 0)",
      "value_str": "0.189470647171045420569315309669495846963677404949012888242298"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "parabolic",
      "value_exact": "CRootOf(17*x**3 - 45*x**2 + 51*x - 15, 0)",
      "value_str": "0.431792693166699815356188077349085136420532896212188696580095"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "rational_kr",
      "value_exact": "(1 - (-sqrt(2)/((1 + sqrt(2))*(sqrt(2) + 2)) + 1)**(4/3))/((-sqrt(2)/((1 + sqrt(2))*(sqrt(2) + 2)) + 1)**(4/3) + 1)",
      "value_str": "0.1248297553909696025857239065785554513022248249073098170514"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "sigmoid",
      "value_exact": "(-(1 + E)**(4/3) + 2*2**(1/3)*exp(4/3))/((1 + E)**(4/3) + 2*2**(1/3)*exp(4/3))",
      "value_str": "0.247977835289444628810986883548912621080160193547264034469322"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "sine",
      "value_exact": "(-1 + (sin(1) + 1)**(4/3))/(1 + (sin(1) + 1)**(4/3))",
      "value_str": "0.385959157743426609785011150569409825739215925111447399289108"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "strongly_0.25",
      "value_exact": "2 - sqrt(3)",
      "value_str": "0.267949192431122706472553658494127633057194746189619371944193"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "strongly_0.5",
      "value_exact": "sqrt(3)/3",
      "value_str": "0.577350269189625764509148780501957455647601751270126876018602"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "strongly_0.75",
      "target": "tanh",
      "value_exact": "-(1 - (tanh(1) + 1)**(4/3))/(1 + (tanh(1) + 1)**(4/3))",
      "value_str": "0.360516511277330433612686575104185542303551684245987392762446"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "bell",
      "value_exact": "atanh(1 - exp((1 - E)*exp(-1)))",
      "value_str": "0.508193406853851163997905891012355703208767096485247012552113"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "cardioid",
      "value_exact": "log((1*sqrt(5)))",
      "value_str": "0.804718956217050187300379666613093819762800677134258860956324"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "cosh_sqrt",
      "value_exact": null,
      "value_str": "0.461201920521840278344294804727423859075488693494066798030176"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "crescent",
      "value_exact": "log(sqrt((1 + 2*sqrt(2))))",
      "value_str": "0.671227023226762983391174499530578252678072155272607582455525"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "exponential",
      "value_exact": "atanh(1 - exp(-1))",
      "value_str": "0.744940062822374988356580548533896120330085964897677988326293"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": null,
      "value_str": "0.741242930738907465160023828804352318931719063376322124071025"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": null,
      "value_str": "0.776019758209213487202323246542959090309592609692180782101434"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "janowski_A1_B-0.5",
      "value_exact": null,
      "value_str": "0.971441529072987339429735791091925936306049124542261606463785"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "janowski_A1_B0",
      "value_exact": "((1/4)*pi)",
      "value_str": "0.785398163397448309615660845819875721049292349843776455243736"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "lemniscate",
      "value_exact": null,
      "value_str": "0.427466477620824729675850438735578661096993781388206870862308"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "limacon_0.3",
      "value_exact": null,
      "value_str": "0.539751311926908708276216693048348042868752463370375819706453"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "limacon_0.5",
      "value_exact": null,
      "value_str": "0.808653141160376984767256230473731104499468701929993445523506"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "limacon_0.707",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "order_0.25",
      "value_exact": null,
      "value_str": "0.909234038862381566745162317077190918615501317003550953427724"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "order_0.5",
      "value_exact": "((1/2)*log(3))",
      "value_str": "0.549306144334054845697622618461262852323745278911374725867347"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "order_0.75",
      "value_exact": "log((sqrt(60)/6))",
      "value_str": "0.255412811882995341602757048151830967439055398222884135088977"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "parabolic",
      "value_exact": "((1/2)*log(3))",
      "value_str": "0.549306144334054845697622618461262852323745278911374725867347"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "rational_kr",
      "value_exact": "((1/4)*log(2))",
      "value_str": "0.17328679513998632735430803036454414201887503359006381353017"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "sigmoid",
      "value_exact": "1/2",
      "value_str": "0.5"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "sine",
      "value_exact": null,
      "value_str": "0.865769483239658624289601846191844441379679199248760099611848"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "strongly_0.25",
      "value_exact": null,
      "value_str": "0.369181129418707128894720721635550817706492103774326582356352"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "strongly_0.5",
      "value_exact": null,
      "value_str": "0.662562529659956208964817995003654106817227594495657811660149"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "tanh",
      "target": "strongly_0.75",
      "value_exact": null,
      "value_str": "0.896894988162813967386300449210123573135815801686818782898483"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "bell",
      "value_exact": null,
      "value_str": "0.623437400123782495039545948900714151347600720803603422497452"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "cardioid",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "cosh_sqrt",
      "value_exact": null,
      "value_str": "0.570919341591964919308446182891048563297574401955759999710808"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "crescent",
      "value_exact": null,
      "value_str": "0.804949495691193920915682079671531395226826807028323855971502"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "exponential",
      "value_exact": null,
      "value_str": "0.836690401320730141686289644544642662967558258774325005318996"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "janowski_A0.5_B-0.5",
      "value_exact": null,
      "value_str": "0.837770416967598546169966779691540438740238136231508636503909"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "janowski_A0.75_B-0.25",
      "value_exact": null,
      "value_str": "0.918745892744402005821988966528272304374633553898997564657175"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "janowski_A1_B-0.5",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "janowski_A1_B0",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "touch_proven_exact",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "lemniscate",
      "value_exact": "CRootOf(x**8 + 8*x**5 + 10*x**4 + 16*x**2 + 40*x - 25, 1)",
      "value_str": "0.501902748310678297001244418928185138309887314875524007845946"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "limacon_0.3",
      "value_exact": null,
      "value_str": "0.649241557269352964290364356926249534181475544801517641509614"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "limacon_0.5",
      "value_exact": null,
      "value_str": "0.933567973855598364719613373964105226376161920164246433014514"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "limacon_0.707",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "order_0.25",
      "value_exact": null,
      "value_str": "0.952212620609617383389288647067172531075462379827729394585183"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "order_0.5",
      "value_exact": null,
      "value_str": "0.673667942020842148471374445902368993834851952828891856282219"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "order_0.75",
      "value_exact": "CRootOf(4*x**4 - 16*x + 5, 0)",
      "value_str": "0.31496015500225927884775796049761743459805685041031897708261"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "parabolic",
      "value_exact": null,
      "value_str": "0.656329496197041679837401868572982831508838598097507671733982"
    },
    {
      "evidence_status": "closed_form_confirmed",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "rational_kr",
      "value_exact": "CRootOf(x**8 - 8*x**5 + 30*x**4 + 16*x**2 - 120*x + 25, 0)",
      "value_str": "0.215000284551497481005015318602746494996168016641057121533968"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "sigmoid",
      "value_exact": null,
      "value_str": "0.554082976948849442626339756059976811951030406611685382689211"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "sine",
      "value_exact": null,
      "value_str": "0.892916767508324740889843835572476047918511431338677160538133"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "starlike",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "strongly_0.25",
      "value_exact": null,
      "value_str": "0.467102057570802941950882270587310789296542664894034745130316"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "strongly_0.5",
      "value_exact": null,
      "value_str": "0.794474103405078247002091759418135037238211633228777462151115"
    },
    {
      "evidence_status": "trivial_containment",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "strongly_0.75",
      "value_exact": "1",
      "value_str": "1"
    },
    {
      "evidence_status": "unidentified",
      "machine_replay_available": false,
      "paper_theorem": null,
      "source": "three_leaf",
      "target": "tanh",
      "value_exact": null,
      "value_str": "0.832126377294059211155402441146523913441126986373111351117939"
    }
  ],
  "schema_version": 1,
  "scope": {
    "catalog_key_count": 39,
    "distinct_catalog_generator_count": 38,
    "full_catalog": false,
    "never_source_keys": [
      "bean_tanh",
      "booth_0.3",
      "booth_0.7",
      "cardioid_exp",
      "cissoid_diocles",
      "epicycloid_3",
      "epicycloid_6",
      "four_leaf",
      "nonconvex_sec",
      "petal_arcsinh",
      "strip_arctan"
    ],
    "never_target_among_source_keys": [
      "nephroid",
      "three_leaf"
    ],
    "raw_grid_non_diagonal_key_questions": 702,
    "source_key_count": 28,
    "source_keys": [
      "bell",
      "cardioid",
      "cosh_sqrt",
      "crescent",
      "exponential",
      "janowski_A0.5_B-0.5",
      "janowski_A0.75_B-0.25",
      "janowski_A0_B-1",
      "janowski_A1_B-0.5",
      "janowski_A1_B0",
      "lemniscate",
      "limacon_0.3",
      "limacon_0.5",
      "limacon_0.707",
      "nephroid",
      "order_0.25",
      "order_0.5",
      "order_0.75",
      "parabolic",
      "rational_kr",
      "sigmoid",
      "sine",
      "starlike",
      "strongly_0.25",
      "strongly_0.5",
      "strongly_0.75",
      "tanh",
      "three_leaf"
    ],
    "target_key_count": 26,
    "target_keys": [
      "bell",
      "cardioid",
      "cosh_sqrt",
      "crescent",
      "exponential",
      "janowski_A0.5_B-0.5",
      "janowski_A0.75_B-0.25",
      "janowski_A0_B-1",
      "janowski_A1_B-0.5",
      "janowski_A1_B0",
      "lemniscate",
      "limacon_0.3",
      "limacon_0.5",
      "limacon_0.707",
      "order_0.25",
      "order_0.5",
      "order_0.75",
      "parabolic",
      "rational_kr",
      "sigmoid",
      "sine",
      "starlike",
      "strongly_0.25",
      "strongly_0.5",
      "strongly_0.75",
      "tanh"
    ],
    "unpopulated_incoming_key_directions": 54
  },
  "snapshot_sha256": "6a4fa701aaeada2f0b063604ad65c4ebed7b555e4f47894ea652d4c7ab3c617c",
  "snapshot_version": "2026.09.27-paper-review",
  "source_sha256": {
    "radii_snapshot.json": "6a4fa701aaeada2f0b063604ad65c4ebed7b555e4f47894ea652d4c7ab3c617c",
    "radius_certificate_fixture.json": "e77f1476e2c1ff04afd6661d6e62562bb05a7fb9a24b4219ac90c94c93ff459f",
    "radius_scope_2026_09_27.json": "84cc93862ce7eb32670989a5ee1d9bf045fd74468245aad882a816c777c45bbc"
  }
}