<div style="font-family: Arial, sans-serif; font-size: 14px; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">How large do SAT instances get when fully encoded with ECC mathematical circuits?<br><br>Are there any known public encodings?<br><br>Best, GG</div>