Most of my proofs are tied to series in OEIS (the Online Encyclopedia of Integer Sequences).
Proof that A383250 is the Sorted Version of A342045
Proof that A383249 is the complement of A342045
Proof that A383500 is the Complement of A382935