i, vals, names[i], i)
			} else {
				// Normal SSA value
				fmt.Fprintf(f, "\t\tnode%d [label=<%s <font point-size=\"6\">[%d]</font>>]\n", i, names[i], i)
			}
			chl, chr := po.children(i)
			for _, ch := range []posetEdge{chl, chr} {
				if ch != 0 {
					if ch.Strict() {
						fmt.Fprintf(f, "\t\tnode%d -> node%d [label=\" <\" color=\"red\"]\n", i, ch.Target())
					} else {

�y�iJ�5�#P�Uuȋȕ���c�u�ugv��f�Y�Z��^EFs��Np��n�l��i.h���FX�e�FW�gq��5��N`��UZ�ѷ
���6�s��R[T�V$Չ5bMX�xH𐪒����jG��*h�\�Q�ᒘ�8�GTuupᎉjJH�� 򤧑�1cS�����z�K���:�����T�Q���j+��&�t���ZP�]A謻 �.�pƗLpJ�\,��2�Q����GH��"vR= �"��OX��I�q�i�|�ō�,1������(eQ?�Chl��\9��d$����G-�ͫ�}���J�+�2�`J��SY��,[E���jt4ak^������*�*�����L�N����+&/�VO��H�b*�4���Q�c"��P�+MhA�+.N娗�H��4N�]��ȟ
X��&*�j3�ѩ��++Hּ��!Y^�^9TN֧��h��L�W="��_:)U�D�Ң��D+���!Hʊ��DФ0J�(��E�U����iCJDj ��-T�JX!�%��D0#VD�*� 1����Bʅ�TaTe*�R�J�...