…
..
resultants_from_0010_quadrics_with_0010_bits.nix	…
resultants_from_0010_quadrics_with_0020_bits.nix	…
resultants_from_0010_quadrics_with_0030_bits.nix	…
resultants_from_0010_quadrics_with_0040_bits.nix	…
resultants_from_0010_quadrics_with_0050_bits.nix	…
resultants_from_0010_quadrics_with_0060_bits.nix	…
resultants_from_0010_quadrics_with_0070_bits.nix	…
resultants_from_0010_quadrics_with_0080_bits.nix	…
resultants_from_0010_quadrics_with_0090_bits.nix	…