Equation477 => Equation1519  dual to  Equation3150 => Equation2128     (explicit_conjecture_false)
Equation477 => Equation2128  dual to  Equation3150 => Equation1519     (explicit_conjecture_false)
Equation477 => Equation3150  dual to  Equation3150 => Equation477     (explicit_conjecture_false)
Equation481 => Equation1488  dual to  Equation3161 => Equation2041     (explicit_conjecture_false)
Equation481 => Equation2124  dual to  Equation3161 => Equation1429     (explicit_conjecture_false)
Equation481 => Equation2132  dual to  Equation3161 => Equation1523     (explicit_conjecture_false)
Equation481 => Equation3139  dual to  Equation3161 => Equation414     (explicit_conjecture_false)
Equation481 => Equation3161  dual to  Equation3161 => Equation481     (explicit_conjecture_false)
Equation504 => Equation1925  dual to  Equation3143 => Equation1722     (explicit_conjecture_false)
Equation680 => Equation2947  dual to  Equation2947 => Equation680     (explicit_conjecture_false)
Equation1086 => Equation2710  dual to  Equation2541 => Equation917     (explicit_conjecture_false)
Equation1443 => Equation3055  dual to  Equation2093 => Equation416     (explicit_conjecture_false)
Equation1486 => Equation2089  dual to  Equation2126 => Equation1480     (explicit_conjecture_false)
Equation1486 => Equation2126  dual to  Equation2126 => Equation1486     (explicit_conjecture_false)
Equation1519 => Equation2128  dual to  Equation2128 => Equation1519     (explicit_conjecture_false)
Equation1523 => Equation2124  dual to  Equation2132 => Equation1429     (explicit_conjecture_false)
Equation1523 => Equation2132  dual to  Equation2132 => Equation1523     (explicit_conjecture_false)
Equation2712 => Equation205  dual to  Equation854 => Equation104     (implicit_proof_false)
Equation2712 => Equation1647  dual to  Equation854 => Equation1850     (explicit_proof_false)
Equation2712 => Equation2240  dual to  Equation854 => Equation1238     (explicit_proof_false)
Equation2712 => Equation2459  dual to  Equation854 => Equation1038     (explicit_proof_false)
Equation2712 => Equation2462  dual to  Equation854 => Equation1041     (implicit_proof_false)
Equation2712 => Equation3068  dual to  Equation854 => Equation429     (explicit_proof_false)
Equation3545 => Equation3862  dual to  Equation3964 => Equation3456     (explicit_proof_false)
Equation3555 => Equation3862  dual to  Equation3961 => Equation3456     (explicit_proof_false)
Equation3588 => Equation3994  dual to  Equation3994 => Equation3588     (explicit_conjecture_false)