solution history
Proposed fix: [Python 3.11+ int limit] json.loads/int() of very long integers: 'Exceeds the limit (4300 digits) for integer string conversion' (also on str(int))
Revision reasons are not recorded in this slice.