Yes it is clear that compared to LBC this is a louse (but if desired and a louse a lion can gnaw) this is so for luck, suddenly there is a magic step for a random house. There are many options you can think of, and step through a number, sort only even, odd, take each 128,256,512 ... multiply them ... floating scan area, some magical jumps, etc.
from bitcoin import *
import random
import math
while True:
f = random.random() + 15.1
g = f
b = 1152921504606846976 - ((((((((((g * 128) * 128) * 128) * 128)* 128) * 128) * 128)* 128) - 1143914305352105984) * 128)
c = math.trunc(b)
ran = c
myhex = "%064x" % ran
myhex = myhex[:64]
priv = myhex
pub = privtopub(priv)
pubkey1 = encode_pubkey(privtopub(priv), "bin_compressed")
addr = pubtoaddr(pubkey1)
n = addr
if n.strip() == "1HAX2n9Uruu9YDt4cqRgYcvtGvZj1rbUyt":
print ("found!!!",addr,myhex)
s1 = myhex
s2 = addr
f=open(u"C:/a.txt","a")
f.write(s1)
f.write(s2)
f.close()
break
else:
print ("searching...",f,addr,myhex)
formula 1152921504606846976 - ((((((((((15.9 * 128) * 128) * 128) * 128)* 128) * 128) * 128)* 128) - 1143914305352105984) * 128)
after 15.9xxxxxxxxxxxxxxxxxxxxxxxxxxx a random number of 29, 30 numbers can be sausage immediately at all after 7 steps of the puzzle.
1152921504606846976 - ((((((((((15,9075849271 * 128) * 128) * 128) * 128)* 128) * 128) * 128)* 128) - 1143914305352105984) * 128)
147573952589676412928 - (((((((((((15,9041635330 * 128) * 128) * 128) * 128)* 128) * 128) * 128)* 128)* 128) - 146421031085069565952) * 128)
18889465931478580854784 - ((((((((((((15,9058575788 * 128) * 128) * 128) * 128)* 128) * 128) * 128)* 128)* 128)* 128) - 18741891978888904441856) * 128)
2417851639229258349412352 - (((((((((((((15,9058575788 * 128) * 128) * 128) * 128)* 128) * 128) * 128)* 128)* 128)* 128)* 128) - 2398962173297779768557568) * 128)
309485009821345068724781056 - ((((((((((((((15,9081997978 * 128) * 128) * 128) * 128)* 128) * 128) * 128)* 128)* 128)* 128)* 128)* 128) - 307067158182115810375368704) * 128)
39614081257132168796771975168 - (((((((((((((((15,9081997978 * 128) * 128) * 128) * 128)* 128) * 128) * 128)* 128)* 128)* 128)* 128)* 128)* 128) - 39304596247310823728047194112) * 128)
5070602400912917605986812821504 - ((((((((((((((((15,9095945490 * 128) * 128) * 128) * 128)* 128) * 128) * 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128) - 5030988319655785437190040846336) * 128)
649037107316853453566312041152512 - (((((((((((((((((15,9095945490 * 128) * 128) * 128) * 128)* 128) * 128) * 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128) - 643966504915940535960325228331008) * 128)
83076749736557242056487941267521536 - ((((((((((((((((((15,90 * 128) * 128) * 128) * 128)* 128) * 128) * 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128) - 82427712629240388602921629226369024) * 128)
10633823966279326983230456482242756608 - (((((((((((((((((((15,90 * 128) * 128) * 128) * 128)* 128) * 128) * 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128) - 10550747216542769741173968540975235072) * 128)
1361129467683753853853498429727072845824 - ((((((((((((((((((((15,90 * 128) * 128) * 128) * 128)* 128) * 128) * 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128) - 1350495643717474526870267973244830089216) * 128)
174224571863520493293247799005065324265472 - (((((((((((((((((((((15,90 * 128) * 128) * 128) * 128)* 128) * 128) * 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128) - 172863442395836739439394300575338251419648) * 128)
22300745198530623141535718272648361505980416 - ((((((((((((((((((((((15,90 * 128) * 128) * 128) * 128)* 128) * 128) * 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128) - 22126520626667102648242470473643296181714944) * 128)
2854495385411919762116571938898990272765493248 - (((((((((((((((((((((((15,90 * 128) * 128) * 128) * 128)* 128) * 128) * 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128) - 2832194640213389138975036220626341911259512832) * 128)
365375409332725729550921208179070754913983135744 - ((((((((((((((((((((((((15,90 * 128) * 128) * 128) * 128)* 128) * 128) * 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128)* 128) - 362520913947313809788804636240171764641217642496) * 128)