Here we provide code which can explicitly verify the sum of squares counterexample appearing in the article https://arxiv.org/abs/1909.00081.
License: MIT
ubuntu2004
x�ݽ�UEÆMwwI��� ��%$1����I��D%��V�n�y��A�����[��_��zo��p�gf֬�g�̬L���V{d����&����0j̰��G�����y�A�qSF=b�����F�K����;6��ǍO�0p�����F
;!�ozژ��qi���?l�(��6h�@+d>o֘��Ft�}=6K�Pgk�5$���i};�����bl���fK��Zk��L�/��������Y�k���C�F��w����cs
�X}h��9M��z�lc�M=~��<�S3�fL͔�95Kj��l��Ss��L͕�;5Oj��|��S�L-�Z8�Hj��b��SK��L-�Z:�L��eS˥�O��Z9�Jj��j��Sk��?6o���F��w�������36_b��&��Ʃ�������5f�-���O�Z-uj�9[���3��02-}��G�7.�~Qߴ�2f͐1s�,�2V̼p�P������03��,��,���wi���,�:�������͒��R�[����2�3�p�Y�uf9י�]�\�]��\��]�U\o���3��ά�:���̚�3�t�y���Z��ڮ�צǵ�um�\�~�f�uO�����Ό�Ό�ά�:���̫e�>k�r2�纸�]6��hC�f#�fc�f�m��uf3י�]g�pm�tm�rm�vm��6۸�*m]g�s���ufי]gvrmvvmvqmvumvsmvwm�pm^�'�t���ufoי}\g^�:�����~�C��6�6�6�6�\��]�C\�C]��\��u��:s����Hי�\��]�c\�c]o�tי�\g�w�9��9ѵ9ɵ9ٵ9ŵ9��V��u�4י�]g�p�9�u�,��l����\��<��|����B�=a���Ů3���\�:s������]��\��\��\��\��\��\�ڼ����uǽѵy�����z�y���[]��6י��67�6�pmnt�B�\gnv���u�Vי�\g�����ڼ˵y�k��潮��}�3�w�����]g>�:s��̝�3vm>��|Ե��k�q����']�O�� O��|�u泮3�s���u��3_p������ݮC����^��>ץ}��`�eי�]���6_um���<��|�uOx�u曮3�r���k��滮��\��6?pm~����uO��u�'�3��<�:�Sי�]�G\���6?wm~���ҵ��k�k��7��o]���\gu�y�u�qי'\g�t?�;�:���~�:�י?�6r]ڟ]6q���k�7����?\o�?]g��:�oיg�f�gȘ!����D�D��D�B�D��T����N�s��$9I�M���$9��� �������NR�$'�%HrI�\�$�&�eH�q��06�,�.G*]�$W ��\�ȕe'��
i�����Hru"� rM"_I䫈\�l��$9�${H��$�H���"�"r��"G�\�t��$�j�\�$�'�
HrC4�hD�� �������[��[9��m�nՖ��ܞ�H�u$ɝȰ�3)vR�$������!rO"�"��7I�C��%�}Ir?�ܟ��<�ȃ��F��DB䡤�#Ɇ$'�#H�H�<
{G��1DK�t"�#�x"O �D"O"�d"O!{�T"_G�=�$O'�"�$�,2�MZ{��y��y�����$/&�KH�R���$/'��D^A�D^E��D^C䵤��#�7���$�F�|I�
>o!ѷ�6"�N�
D������ț����[����w�}r;��"��D�����>"�O���N� �"�"�$��D~�l�GI�c$�q��I~�$?E䧉���%�sD�E����$/���$yI�K����а�e��ȯ�U"�F�D~��o�M"�E:��D~����=�`����!)�G$�c"B��I��bJ���#$�3"N�/��%��"��dS}C��%�ߑ�$�I>N�O��D>E��D���?�G"�D�I'��$�J�#ɿ��?H�$�/��7:�9Cʝ!�39�39��9��9�s9W��o�v����*)v^������\���\�ȅ�\��EI')F����$�$I.E�K��� rY"�#ry"W rE"W"re�=���$�I�N�k�䚙���J}�t-"�&r
�=���$�Gd?�D9D�0�#d�%��)v]�|5���>��!��M$7!�MIr3�ܜ$� �-Ir+"�&r*���-���=�;�Nґ$w"ɝIr�ܕ$w#��Ir4콆��'�{�7���Z"�%r?"�'� "$� "�y0�!;�P"#�!�p"� �H"�"�h��Ɛ�$9�$�#��I�"O$�$"O&�"O%�uD�F��D�A��L�<�$�&�sH�\�<
>�������ȋ���4�R����ˉ|=��
���ȫ����k���{בMu���F"�D䛉|�η���H��$yI��$o$ɛH�f"o!�V"o#�D�N仈|7�$���{I�}$�~�� I~�$?D�w�a�N�0��#D~�ȏ�q"?A�'����&����,��#��E��'�/�a�$y7�����$�#�/�e"�'�+D~�ȯ� �_'��
��&I~�$�M��!��q�{$�}"@����?&�'D>H�CD��ȇ�|��V��s"A��%I���_�"K��|��Lj|�t�$�$�O�a�iR��I� �?��H��D��ȿ�7"�N�?��'��"��o�|�$g��3:���K�$9sf2��B��9��9�s9�s9��9�3�� ��:"raR�"D.J�b��ʼn\��$I.E�K��� r�D���M9���I�+��D�D��D�B�D�F��D�A:IM�|%I��$�"ɵIr
|zH���>"�� r��!"��!r��u�\��VW�)v}"7 �nH����DnB�DnF�椵[��$�InM�TR�6d�ۖ$�#unO�;�#�;�3���+���;�$=H�5$�'I�E�{��>h�{-��K�~D�O�DH�ADN#�`"!�P�g#�!�pR�$y$�Gy4��y,��ɦG��y�'yi��$y
���a�u��ӈ<��3�<�ȳ�<��s�<���y$y>I^@���E$y1|.!�K����ˉ|=�Wy%�Wy5��y-�ב��"�'�D���7�־�$�J�ۈ|;���|I�H�7y3��y+���N"o'�H'�����^"�G���� �$�C��� �;I��$���(I~
{'�O�I"?E䧉���%�sD�E��I�~��/y7��y/���%"�L��D~�ȯ�5" ��D~��o�-"�M�w��.��#���ɡ�R�I�G$�c�� I>H��S"&�"F�ω���$��+��5I��$K��#�GI�1�|�ޜ �>I�}�$�&��D���?�'"�L6�/.�Ӫ��_I�o�ֿ�"�I俈�7��9C g$r&"g&r�D���7�����H����$9'I�E��D�C�D�G��D.@�D.D�¤{!�EIr1�\�$� �%���g)]�T��� rY"�#
V�$W �Ir%"W&r"W%r5"W'��I�I�+�|�s-"�&r
����^"�Ȱ�O,@�$�!�&�"G�\��u�|5���>��NҐ$7"ɍIr�ܔ$7#��Ir4�mI�[�J�&r*���-���=�;�#�;�3����ݕ$w#rwR�$��ܓȽH�{��>D���/I�G���I� R�$y�ӈ<��C�<��Èl�<��#�<�t�Q$y4IC�ǒ�t�<
>Ǔ� ���<�ȓ�<�4�T�|��y:�g��I�g���$y��y��[@�D^D꼘�K����ˈ�����dػ�$�$u^E�Wy
��y�o �z"�H�H'��$�B�o%ɷ���I��|Iވ���H�7y��V����wy;��"
v7I�����>"�O��� �T��D�I䇉��%�cD~��O�I"?E�ɰ��c<K�爼����"�H��D�C�D�G��K$�e���$�B�_%ɯ����:��D~��o�m"�C�w����'�D����c"B�D>D�O�|��G���?'�D���_�kr���$K��Ȱ�(��1"'� "�$�)"�&��D����I�O$�g��I��$�F�'��a�$�/R�I���!+�39�3;���`YHrV"g#rv"� rN"�"�*7I�C�D�G��D.@�D.D��D.B�D.F��d�(�(;��+I�K�:�&�eH�$�lV2�(G����+��+�
�������k���J"_E�Z�εIr
�=D��Gd?i� ��D�:�Ir�$G�\��.I�����\�ԹInH��1���:7%r3"7'����Z�b�"ɭIr*In���mIt;"�'r"w$r'"w&r"w%r7ҹ����!rO"�"ro"�!��Z�ܗ���ܟ��<�ȃ��F��DB�DFdC��d�A�Gy�Gyi��$9���<�{'��H�=�$OF��)$z*��#�4"O'�"�$�,"�&�"�%{�<"�'�"/$�""/&�"/%�2"/'���o� �J"�"u^M�5D^K�uD����z�|#�o"��D��ȷ�6"�N�
D������{7�c)�V��
{�$�ۉ|��&�=D�����~"?@�I�~��;�����"?J�Lj�8�� �D~��������%u~�ȻH��'�/�E"�&�"�%�>"�D䗉��ȯ�U"�Fv�$�u"�A��o�:���o��w��.��#��D����#"L�O�|��V���)���?#��D���_�N�I�����["G�D>F��D>A�D>E��D���?���G���&�/D��4�o$�w"�A�?����&��3dSe�F�����LD�L�,D�J�lD�N�D�I�\N����$9��b�#��Ir�\�$"ra"!rQ�`�Hrq"� rIR�R$�4I.C�+H����˓:W �Ir%�\��U�\���H�U'r
R�$�J�|I�E�ډ��Qo
I���dI��� I��:� ����D�C��.��&ŮG������� ����$͉܂�%�[�5�S�܆�v[���܁��܉ȝɦ�B������i�kHrO�܋$�&��>��גb�%��Hr�<