+ putStr "prop_swapping_vertices_doesnt_affect_coefficients1... "
+ quickCheckWith qc_args prop_swapping_vertices_doesnt_affect_coefficients1
+
+ putStr "prop_swapping_vertices_doesnt_affect_coefficients2... "
+ quickCheckWith qc_args prop_swapping_vertices_doesnt_affect_coefficients2
+
+ putStr "prop_swapping_vertices_doesnt_affect_coefficients3... "
+ quickCheckWith qc_args prop_swapping_vertices_doesnt_affect_coefficients3
+
+ putStr "prop_swapping_vertices_doesnt_affect_coefficients4... "
+ quickCheckWith qc_args prop_swapping_vertices_doesnt_affect_coefficients4
+