FAILURE MAP
← Case archive

FA-57121 / Auction allocation rules / Open access

Lot partition: serial coverage · case 01

A partition omits parent serials from every child.

Verified by executionVariant 1 · 10 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

A partition omits parent serials from every child.

VERIFIED REPAIR

For serial coverage, apply the stipulated decision {s for row in x["serials"] for s in row}==set(x["parent_serials"]).

Unsuccessful approach: The attempted repair uses bool({s for row in x["serials"] for s in row}&set(x["parent_serials"])); the explicit regression cases demonstrate that this still violates the stipulated auction rule.

Case contract

An auction seller partitions one identified parent lot into identified children before award. Child quantities, provenance, certificates and reservation inheritance are audited. Children cannot be independently sold until partition acceptance; a merged lot retires its child sale identifiers. Named decision serial-coverage: For serial coverage, apply the stipulated decision {s for row in x["serials"] for s in row}==set(x["parent_serials"]).

Why this case matters

Offline administrative auction model for software failure analysis.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    v0 = sum(x["sizes"])==x["parent_size"]
    v1 = [] if x["accepted"] else [x["parent"]]
    v2 = x["children"] if x["accepted"] else []
    v3 = x["children"] if x["parent"] in x["reserved"] else []
    v4 = x["parent"] not in x["sold"] and not set(x["children"])&set(x["sold"])
    v5 = sum(map(len,x["serials"]))==len({s for row in x["serials"] for s in row})
    v6 = {s for row in x["serials"] for s in row}<=set(x["parent_serials"])
    v7 = [c for c in x["children"] if c in x["child_certified"]]
    v8 = [] if x["merge"] else [c for c in x["children"] if c not in x["withdrawn"]]
    v9 = all(q>=x["minimum"] for q in x["sizes"])
    return {'partition-quantity-conservation':v0,'parent-retirement':v1,'child-sale-activation':v2,'reservation-inheritance':v3,'sold-parent-partition-block':v4,'serial-disjointness':v5,'serial-coverage':v6,'child-certificates':v7,'merge-retires-children':v8,'minimum-child-size':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('missing provenance', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 5], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1'], ['s2']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [False, False, False, False, False]), ('minimum child exactly / missing provenance', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [2, 6], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1'], ['s2']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [False, False, False, False, False]), ('normal contract', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 5], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('minimum child exactly', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [2, 6], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('accepted partition', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 5], 'parent_size': 8, 'accepted': True, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('missing quantity', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 4], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('excess quantity', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [5, 5], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('unique serials', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 5], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('all certified', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 5], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1', 'P2'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('merged children', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 5], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': True, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True])]
def vary(value):
 if type(value) is int: return value*N
 if isinstance(value,list): return [vary(v) for v in value]
 if isinstance(value,dict): return {k:(v if k in ['count', 'delivery_index', 'disputed', 'maximum_set', 'minimum_set', 'stage', 'threshold', 'waived'] else vary(v)) for k,v in value.items()}
 return value
for label, request, expected in fixtures:
 check(label, solve(vary(request))['serial-coverage'], expected[N-1])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
missing provenanceTrueFalseFailed
minimum child exactly / missing provenanceTrueFalseFailed
normal contractTrueTruePassed
minimum child exactlyTrueTruePassed
accepted partitionTrueTruePassed
missing quantityTrueTruePassed
excess quantityTrueTruePassed
unique serialsTrueTruePassed
all certifiedTrueTruePassed
merged childrenTrueTruePassed

SHA-256 / 4ce5e6862e50866855448c69ea276fd2245ad8feca536d46e4995ecc94c01cd3

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    v0 = sum(x["sizes"])==x["parent_size"]
    v1 = [] if x["accepted"] else [x["parent"]]
    v2 = x["children"] if x["accepted"] else []
    v3 = x["children"] if x["parent"] in x["reserved"] else []
    v4 = x["parent"] not in x["sold"] and not set(x["children"])&set(x["sold"])
    v5 = sum(map(len,x["serials"]))==len({s for row in x["serials"] for s in row})
    v6 = bool({s for row in x["serials"] for s in row}&set(x["parent_serials"]))
    v7 = [c for c in x["children"] if c in x["child_certified"]]
    v8 = [] if x["merge"] else [c for c in x["children"] if c not in x["withdrawn"]]
    v9 = all(q>=x["minimum"] for q in x["sizes"])
    return {'partition-quantity-conservation':v0,'parent-retirement':v1,'child-sale-activation':v2,'reservation-inheritance':v3,'sold-parent-partition-block':v4,'serial-disjointness':v5,'serial-coverage':v6,'child-certificates':v7,'merge-retires-children':v8,'minimum-child-size':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('missing provenance', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 5], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1'], ['s2']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [False, False, False, False, False]), ('minimum child exactly / missing provenance', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [2, 6], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1'], ['s2']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [False, False, False, False, False]), ('normal contract', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 5], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('minimum child exactly', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [2, 6], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('accepted partition', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 5], 'parent_size': 8, 'accepted': True, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('missing quantity', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 4], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('excess quantity', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [5, 5], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('unique serials', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 5], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('all certified', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 5], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1', 'P2'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('merged children', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 5], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': True, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True])]
def vary(value):
 if type(value) is int: return value*N
 if isinstance(value,list): return [vary(v) for v in value]
 if isinstance(value,dict): return {k:(v if k in ['count', 'delivery_index', 'disputed', 'maximum_set', 'minimum_set', 'stage', 'threshold', 'waived'] else vary(v)) for k,v in value.items()}
 return value
for label, request, expected in fixtures:
 check(label, solve(vary(request))['serial-coverage'], expected[N-1])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
missing provenanceTrueFalseFailed
minimum child exactly / missing provenanceTrueFalseFailed
normal contractTrueTruePassed
minimum child exactlyTrueTruePassed
accepted partitionTrueTruePassed
missing quantityTrueTruePassed
excess quantityTrueTruePassed
unique serialsTrueTruePassed
all certifiedTrueTruePassed
merged childrenTrueTruePassed

SHA-256 / 03b087f4a6b6a368cf995d868d19187da9ce9a4397b5b3ed0c3973ca5061adde

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    v0 = sum(x["sizes"])==x["parent_size"]
    v1 = [] if x["accepted"] else [x["parent"]]
    v2 = x["children"] if x["accepted"] else []
    v3 = x["children"] if x["parent"] in x["reserved"] else []
    v4 = x["parent"] not in x["sold"] and not set(x["children"])&set(x["sold"])
    v5 = sum(map(len,x["serials"]))==len({s for row in x["serials"] for s in row})
    v6 = {s for row in x["serials"] for s in row}==set(x["parent_serials"])
    v7 = [c for c in x["children"] if c in x["child_certified"]]
    v8 = [] if x["merge"] else [c for c in x["children"] if c not in x["withdrawn"]]
    v9 = all(q>=x["minimum"] for q in x["sizes"])
    return {'partition-quantity-conservation':v0,'parent-retirement':v1,'child-sale-activation':v2,'reservation-inheritance':v3,'sold-parent-partition-block':v4,'serial-disjointness':v5,'serial-coverage':v6,'child-certificates':v7,'merge-retires-children':v8,'minimum-child-size':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('missing provenance', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 5], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1'], ['s2']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [False, False, False, False, False]), ('minimum child exactly / missing provenance', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [2, 6], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1'], ['s2']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [False, False, False, False, False]), ('normal contract', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 5], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('minimum child exactly', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [2, 6], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('accepted partition', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 5], 'parent_size': 8, 'accepted': True, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('missing quantity', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 4], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('excess quantity', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [5, 5], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('unique serials', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 5], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('all certified', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 5], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1', 'P2'], 'merge': False, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True]), ('merged children', {'parent': 'P', 'children': ['P1', 'P2'], 'sizes': [3, 5], 'parent_size': 8, 'accepted': False, 'reserved': ['P'], 'sold': ['P1'], 'serials': [['s1', 's2'], ['s2', 's3']], 'parent_serials': ['s1', 's2', 's3'], 'certified': ['P'], 'child_certified': ['P1'], 'merge': True, 'withdrawn': ['P2'], 'minimum': 2, 'fees': [2, 3], 'parent_fee': 4}, [True, True, True, True, True])]
def vary(value):
 if type(value) is int: return value*N
 if isinstance(value,list): return [vary(v) for v in value]
 if isinstance(value,dict): return {k:(v if k in ['count', 'delivery_index', 'disputed', 'maximum_set', 'minimum_set', 'stage', 'threshold', 'waived'] else vary(v)) for k,v in value.items()}
 return value
for label, request, expected in fixtures:
 check(label, solve(vary(request))['serial-coverage'], expected[N-1])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
missing provenanceFalseFalsePassed
minimum child exactly / missing provenanceFalseFalsePassed
normal contractTrueTruePassed
minimum child exactlyTrueTruePassed
accepted partitionTrueTruePassed
missing quantityTrueTruePassed
excess quantityTrueTruePassed
unique serialsTrueTruePassed
all certifiedTrueTruePassed
merged childrenTrueTruePassed

SHA-256 / 1c1df3f213f9fe4389108f1126806f1eb7411c71de8daabdcf157d3977166020

Verification & scope

Stipulated toy auction rules, not a venue specification, financial advice, optimization claim, or live trading implementation. Nonnegative integer inputs and internally aligned list fields only. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.

Observations recorded using Python 3.12.14 at 2026-09-29T14:46:13.637281+00:00.

Case digest / 12b977fd44303ad5cbc9057144657c8a5fdec3a2e2f07c729b12eb4c7af9d181