{
  "summary": {
    "cases": 5000,
    "invariants": 5,
    "casesPerInvariant": 1000,
    "failures": 0,
    "status": "PASS",
    "thirdPartyPropertyLibraryUsed": false
  },
  "truthBoundary": "ᛞᛖᛏᛖᚱᛗᛁᚾᛁᛊᛏᛁᚲ ᚱᛖᛈᛟᛊᛁᛏᛟᚱᛃ-ᛚᛟᚲᚨᛚ ᛈᚱᛟᛈᛖᚱᛏᛁᛖᛊ ᛟᚾᛚᛃ. ᛈᚱᛟᛞᚢᚲᛏᛁᛟᚾ ᛒᛖᚺᚨᚹᛁᛟᚱ ᛁᛊ ᚾᛟᛏ ᛁᚾᚠᛖᚱᚱᛖᛞ."
}