I haven't tried on a smaller example yet, but it doesn't look like we can use the (e+2n, n), (e+4n, n) and (-f+2(n-1), (n-1)), (-f+4(n-1), (n-1)) thing on our (1,c) record. n is just way too large, since a and b are so far apart. e and f are meant to increase based on 2n and 2(n-1), so in the positive space, f would become positive while e is positive. In the example in pic related, in the record 2n away from e, e becomes 45832 and f becomes 45399, making it an invalid cell. So if we're meant to do something with these cell transforms, it doesn't involve (a,b)=(1,c).

I feel like I've been handed the remote control to the world's most complex TV but I've been told some of the buttons don't work and I don't even know which TV it works on so I have to test every single button on the remote on every single TV in the world in the hopes that I find the right one. There are just so many different concepts and rules but there's barely any direction. "This is the key, and this is the key, and this is the key, and this is the key, and this is the key". They're all keys but we don't know how to use them and we don't know what to use them on.