There is no theory; this is just a theoretical example. Try integrating this into an existing SECP256K1 implementation. Get one of them to sit next to you while you program the ECDLP solver. You will need it.