diop: encode permanent coverage for sum_of_four_squares
diop: encode permanent coverage for sum_of_four_squares

Titan-C/sympy,Titan-C/sympy,postvakje/sympy,jaimahajan1997/sympy,aktech/sympy,skidzo/sympy,chaffra/sympy,drufat/sympy,kaushik94/sympy,kaushik94/sympy,kaushik94/sympy,madan96/sympy,skidzo/sympy,souravsingh/sympy,jaimahajan1997/sympy,chaffra/sympy,madan96/sympy,souravsingh/sympy,rahuldan/sympy,hargup/sympy,sampadsaha5/sympy,ChristinaZografou/sympy,hargup/sympy,sampadsaha5/sympy,ChristinaZografou/sympy,drufat/sympy,skidzo/sympy,yashsharan/sympy,aktech/sympy,yashsharan/sympy,yashsharan/sympy,sampadsaha5/sympy,souravsingh/sympy,chaffra/sympy,hargup/sympy,rahuldan/sympy,aktech/sympy,madan96/sympy,postvakje/sympy,rahuldan/sympy,ChristinaZografou/sympy,jaimahajan1997/sympy,Titan-C/sympy,drufat/sympy,postvakje/sympy