Exact Pell certificate records 961–1016

import Init
import Definitions.Def_D1Bound5_PellFiniteCertificate_Definitions
import Definitions.Def_D1Bound5_PellLightAllFiniteCertificates_Definitions_016

namespace D1Bound5
set_option maxRecDepth 32768
set_option maxHeartbeats 12000000

def Prove2MeTransfer.pellCertifiedFieldsSlice15_20261024 : List (Σ d : ℤ, PellFiniteCertificate d (10^275)) :=
  [⟨9447,pellFiniteCertificate_9447⟩,
   ⟨9455,pellFiniteCertificate_9455⟩,
   ⟨9463,pellFiniteCertificate_9463⟩,
   ⟨9471,pellFiniteCertificate_9471⟩,
   ⟨9479,pellFiniteCertificate_9479⟩,
   ⟨9487,pellFiniteCertificate_9487⟩,
   ⟨9503,pellFiniteCertificate_9503⟩,
   ⟨9511,pellFiniteCertificate_9511⟩,
   ⟨9519,pellFiniteCertificate_9519⟩,
   ⟨9527,pellFiniteCertificate_9527⟩,
   ⟨9535,pellFiniteCertificate_9535⟩,
   ⟨9543,pellFiniteCertificate_9543⟩,
   ⟨9551,pellFiniteCertificate_9551⟩,
   ⟨9591,pellFiniteCertificate_9591⟩,
   ⟨9599,pellFiniteCertificate_9599⟩,
   ⟨9607,pellFiniteCertificate_9607⟩,
   ⟨9615,pellFiniteCertificate_9615⟩,
   ⟨9623,pellFiniteCertificate_9623⟩,
   ⟨9631,pellFiniteCertificate_9631⟩,
   ⟨9647,pellFiniteCertificate_9647⟩,
   ⟨9655,pellFiniteCertificate_9655⟩,
   ⟨9663,pellFiniteCertificate_9663⟩,
   ⟨9671,pellFiniteCertificate_9671⟩,
   ⟨9679,pellFiniteCertificate_9679⟩,
   ⟨9687,pellFiniteCertificate_9687⟩,
   ⟨9695,pellFiniteCertificate_9695⟩,
   ⟨9703,pellFiniteCertificate_9703⟩,
   ⟨9719,pellFiniteCertificate_9719⟩,
   ⟨9727,pellFiniteCertificate_9727⟩,
   ⟨9735,pellFiniteCertificate_9735⟩,
   ⟨9743,pellFiniteCertificate_9743⟩,
   ⟨9759,pellFiniteCertificate_9759⟩,
   ⟨9767,pellFiniteCertificate_9767⟩,
   ⟨9791,pellFiniteCertificate_9791⟩,
   ⟨9799,pellFiniteCertificate_9799⟩,
   ⟨9807,pellFiniteCertificate_9807⟩,
   ⟨9815,pellFiniteCertificate_9815⟩,
   ⟨9823,pellFiniteCertificate_9823⟩,
   ⟨9831,pellFiniteCertificate_9831⟩,
   ⟨9839,pellFiniteCertificate_9839⟩,
   ⟨9847,pellFiniteCertificate_9847⟩,
   ⟨9863,pellFiniteCertificate_9863⟩,
   ⟨9871,pellFiniteCertificate_9871⟩,
   ⟨9879,pellFiniteCertificate_9879⟩,
   ⟨9887,pellFiniteCertificate_9887⟩,
   ⟨9895,pellFiniteCertificate_9895⟩,
   ⟨9903,pellFiniteCertificate_9903⟩,
   ⟨9911,pellFiniteCertificate_9911⟩,
   ⟨9919,pellFiniteCertificate_9919⟩,
   ⟨9935,pellFiniteCertificate_9935⟩,
   ⟨9943,pellFiniteCertificate_9943⟩,
   ⟨9951,pellFiniteCertificate_9951⟩,
   ⟨9959,pellFiniteCertificate_9959⟩,
   ⟨9967,pellFiniteCertificate_9967⟩,
   ⟨9983,pellFiniteCertificate_9983⟩,
   ⟨9991,pellFiniteCertificate_9991⟩]

end D1Bound5