The Boolean Pythagorean triples problem, a $200$-terabyte proof, and $d=163$ I came across this interesting math article,
"Computer cracks 200-terabyte maths proof"
where one phrase caught my attention and I quote, "... all triples could be multi-coloured in integers up to $7824$". Alternatively, from page 2 of this paper,
Theorem 1. The set {$1,\dots,7824$}  can be partitioned into two parts, such that no part contains a Pythagorean triple. This is impossible for {$1,\dots,7825$}.
The number $N=7824$ was awfully familiar. A quick factorization showed that it was in fact, 
$$N = 7824 = 2^4 \times 3\times \color{blue}{163}$$

Questions:



*

*Does anybody know why the largest Heegner number $163$ figures in the largest $N$ that can be multi-colored in the Boolean Pythagorean triples problem?

*A272709 is the sequence $2, 4, 8, 16, 24, 48, 96, 192,....0,0,0,0,0\dots$ where the zeros start at $a(7825)$. What is the exact value of $a(7824)$? (In the comments, it just says $a(7824)\geq8$.)

 A: It is not difficult at all to show that $a(7824)$ is immensely huge. For example, many numbers do not appear in any pythagorean triple of numbers up to 7824. These can be put in any partition. More precisely, in the article (arXiv:1605.00723, section 6.3) they say they found a solution of 7824 with 1567 free variables. I guess these are boolean variables, so this gives at least $a(7824)\geq 2^{1567}$.
(On a side note, let me share a remark on the appearance of 163. Neither the number 7824 nor the set $\{1,\ldots,7824\}$ look anyhow special to this problem. For instance, the number 7824 is one of the numbers that can be put in any side of the partition. The true special number here is 7825, together with the combinatorial complexity of the Pythagorean triples containing it, etcetera. There is a beautiful system of triples (not involving 7824) that is an obstruction to the problem, and that in fact allows a partition as soon as you remove the 7825. Therefore, I would rather seek for a pattern for $a(163 k+1)$... or better look at the factorization $7825=5^2\times 313$.)
