[INFO] cloning repository https://github.com/Benjamin-Lee/circkit [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Benjamin-Lee/circkit" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBenjamin-Lee%2Fcirckit", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBenjamin-Lee%2Fcirckit'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] f3ea92a81104619b1d4f93dc836c1a4977a4d128 [INFO] checking Benjamin-Lee/circkit against try#c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f for 2025-12-16-next-solver-global [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FBenjamin-Lee%2Fcirckit" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/Benjamin-Lee/circkit [INFO] finished tweaking git repo https://github.com/Benjamin-Lee/circkit [INFO] tweaked toml for git repo https://github.com/Benjamin-Lee/circkit written to /workspace/builds/worker-3-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/Benjamin-Lee/circkit on toolchain c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/Benjamin-Lee/circkit already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] b36a75df8116269129adf7373cd0be3e7edfdc7a592009e200f359cd0405c02a [INFO] running `Command { std: "docker" "start" "-a" "b36a75df8116269129adf7373cd0be3e7edfdc7a592009e200f359cd0405c02a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "b36a75df8116269129adf7373cd0be3e7edfdc7a592009e200f359cd0405c02a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b36a75df8116269129adf7373cd0be3e7edfdc7a592009e200f359cd0405c02a", kill_on_drop: false }` [INFO] [stdout] b36a75df8116269129adf7373cd0be3e7edfdc7a592009e200f359cd0405c02a [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 399451e0639446fd8e3a52d3d46f05967ac14183c899da0139606463e4c6509a [INFO] running `Command { std: "docker" "start" "-a" "399451e0639446fd8e3a52d3d46f05967ac14183c899da0139606463e4c6509a", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.141 [INFO] [stderr] Compiling unicode-ident v1.0.8 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling libm v0.2.6 [INFO] [stderr] Compiling num-traits v0.2.15 [INFO] [stderr] Compiling serde v1.0.183 [INFO] [stderr] Compiling serde_derive v1.0.183 [INFO] [stderr] Compiling log v0.4.17 [INFO] [stderr] Compiling io-lifetimes v1.0.10 [INFO] [stderr] Compiling rustix v0.37.12 [INFO] [stderr] Checking linux-raw-sys v0.3.3 [INFO] [stderr] Checking aho-corasick v0.7.20 [INFO] [stderr] Checking once_cell v1.17.1 [INFO] [stderr] Checking bytemuck v1.13.1 [INFO] [stderr] Compiling paste v1.0.12 [INFO] [stderr] Compiling proc-macro2 v1.0.66 [INFO] [stderr] Compiling semver v0.1.20 [INFO] [stderr] Checking either v1.8.1 [INFO] [stderr] Checking safe_arch v0.6.0 [INFO] [stderr] Compiling rustversion v1.0.12 [INFO] [stderr] Checking itertools v0.10.5 [INFO] [stderr] Checking miniz_oxide v0.6.2 [INFO] [stderr] Checking matrixmultiply v0.3.2 [INFO] [stderr] Compiling semver v1.0.17 [INFO] [stderr] Compiling rustc_version v0.1.7 [INFO] [stderr] Compiling futures-core v0.3.28 [INFO] [stderr] Compiling anyhow v1.0.70 [INFO] [stderr] Checking anstyle v1.0.0 [INFO] [stderr] Checking bit-vec v0.6.3 [INFO] [stderr] Compiling newtype_derive v0.1.6 [INFO] [stderr] Checking byteorder v1.4.3 [INFO] [stderr] Compiling futures-channel v0.3.28 [INFO] [stderr] Compiling quote v1.0.32 [INFO] [stderr] Checking regex v1.7.3 [INFO] [stderr] Checking csv-core v0.1.10 [INFO] [stderr] Checking bit-set v0.5.3 [INFO] [stderr] Checking itoa v1.0.6 [INFO] [stderr] Compiling syn v2.0.28 [INFO] [stderr] Checking ryu v1.0.13 [INFO] [stderr] Checking wide v0.7.8 [INFO] [stderr] Compiling jobserver v0.1.26 [INFO] [stderr] Checking bytecount v0.6.3 [INFO] [stderr] Checking futures-sink v0.3.28 [INFO] [stderr] Compiling zstd-safe v6.0.5+zstd.1.5.4 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Compiling futures-util v0.3.28 [INFO] [stderr] Checking regex-automata v0.1.10 [INFO] [stderr] Checking petgraph v0.6.3 [INFO] [stderr] Compiling rustc_version v0.4.0 [INFO] [stderr] Checking bstr v1.4.0 [INFO] [stderr] Checking fxhash v0.2.1 [INFO] [stderr] Checking flate2 v1.0.25 [INFO] [stderr] Checking getrandom v0.2.9 [INFO] [stderr] Checking triple_accel v0.4.0 [INFO] [stderr] Checking num-integer v0.1.45 [INFO] [stderr] Checking num-complex v0.4.3 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking approx v0.5.1 [INFO] [stderr] Checking num-rational v0.4.1 [INFO] [stderr] Checking ordered-float v3.6.0 [INFO] [stderr] Compiling cc v1.0.79 [INFO] [stderr] Checking itertools-num v0.1.3 [INFO] [stderr] Compiling crossbeam-utils v0.8.15 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking custom_derive v0.1.7 [INFO] [stderr] Checking winnow v0.4.1 [INFO] [stderr] Checking os_str_bytes v6.5.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Checking safemem v0.3.3 [INFO] [stderr] Checking editdistancek v1.0.2 [INFO] [stderr] Checking termcolor v1.2.0 [INFO] [stderr] Checking gimli v0.27.2 [INFO] [stderr] Checking clap_lex v0.2.4 [INFO] [stderr] Checking buffer-redux v1.0.0 [INFO] [stderr] Checking anstyle-parse v0.2.0 [INFO] [stderr] Compiling rstest_macros v0.14.0 [INFO] [stderr] Checking wait-timeout v0.2.0 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking object v0.30.3 [INFO] [stderr] Checking aho-corasick v1.0.1 [INFO] [stderr] Checking predicates-core v1.0.6 [INFO] [stderr] Checking ndarray v0.15.6 [INFO] [stderr] Checking textwrap v0.16.0 [INFO] [stderr] Checking rustc-demangle v0.1.23 [INFO] [stderr] Checking is-terminal v0.4.7 [INFO] [stderr] Checking rand_distr v0.4.3 [INFO] [stderr] Checking tempfile v3.5.0 [INFO] [stderr] Checking anstream v0.3.0 [INFO] [stderr] Checking walkdir v2.3.3 [INFO] [stderr] Checking globset v0.4.10 [INFO] [stderr] Checking uuid v1.3.1 [INFO] [stderr] Checking simba v0.6.0 [INFO] [stderr] Checking float-cmp v0.9.0 [INFO] [stderr] Checking thread_local v1.1.7 [INFO] [stderr] Checking normalize-line-endings v0.3.0 [INFO] [stderr] Checking termtree v0.4.1 [INFO] [stderr] Compiling zstd-sys v2.0.8+zstd.1.5.5 [INFO] [stderr] Compiling lzma-sys v0.1.20 [INFO] [stderr] Compiling bzip2-sys v0.1.11+1.0.8 [INFO] [stderr] Compiling backtrace v0.3.67 [INFO] [stderr] Checking difflib v0.4.0 [INFO] [stderr] Checking ignore v0.4.20 [INFO] [stderr] Checking xz2 v0.1.7 [INFO] [stderr] Checking predicates-tree v1.0.9 [INFO] [stderr] Checking predicates v3.0.3 [INFO] [stderr] Checking env_logger v0.10.0 [INFO] [stderr] Checking num_cpus v1.15.0 [INFO] [stderr] Checking xxhash-rust v0.8.6 [INFO] [stderr] Checking addr2line v0.19.0 [INFO] [stderr] Checking futures-timer v3.0.2 [INFO] [stderr] Checking quick-error v1.2.3 [INFO] [stderr] Checking rusty-fork v0.3.0 [INFO] [stderr] Checking rand_xorshift v0.3.0 [INFO] [stderr] Checking yansi v0.5.1 [INFO] [stderr] Checking quick-error v2.0.1 [INFO] [stderr] Checking unarray v0.1.4 [INFO] [stderr] Checking proptest v1.1.0 [INFO] [stderr] Checking assert_cmd v2.0.11 [INFO] [stderr] Checking pretty_assertions v1.3.0 [INFO] [stderr] Checking globwalk v0.8.1 [INFO] [stderr] Checking assert_fs v1.0.13 [INFO] [stderr] Checking bzip2 v0.4.4 [INFO] [stderr] Checking needletail v0.5.1 [INFO] [stderr] Checking serde_spanned v0.6.1 [INFO] [stderr] Checking bv v0.11.1 [INFO] [stderr] Checking multimap v0.8.3 [INFO] [stderr] Checking csv v1.2.2 [INFO] [stderr] Checking toml_datetime v0.6.1 [INFO] [stderr] Checking vec_map v0.8.2 [INFO] [stderr] Checking os_info v3.7.0 [INFO] [stderr] Checking seq_io v0.3.2 [INFO] [stderr] Checking toml_edit v0.19.8 [INFO] [stderr] Compiling thiserror-impl v1.0.40 [INFO] [stderr] Compiling futures-macro v0.3.28 [INFO] [stderr] Checking thiserror v1.0.40 [INFO] [stderr] Checking bgzip v0.2.2 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling darling_core v0.14.4 [INFO] [stderr] Compiling nalgebra-macros v0.1.0 [INFO] [stderr] Compiling strum_macros v0.24.3 [INFO] [stderr] Compiling derive-new v0.5.9 [INFO] [stderr] Compiling enum-map-derive v0.6.0 [INFO] [stderr] Compiling getset v0.1.2 [INFO] [stderr] Compiling clap_derive v3.2.25 [INFO] [stderr] Checking enum-map v1.1.1 [INFO] [stderr] Checking toml v0.7.3 [INFO] [stderr] Checking nalgebra v0.29.0 [INFO] [stderr] Checking zstd v0.12.3+zstd.1.5.2 [INFO] [stderr] Checking human-panic v1.1.4 [INFO] [stderr] Checking niffler v2.5.0 [INFO] [stderr] Checking bio-types v1.0.0 [INFO] [stderr] Checking clap v3.2.25 [INFO] [stderr] Compiling darling_macro v0.14.4 [INFO] [stderr] Checking futures-executor v0.3.28 [INFO] [stderr] Checking futures v0.3.28 [INFO] [stderr] Compiling darling v0.14.4 [INFO] [stderr] Compiling derive_builder_core v0.11.2 [INFO] [stderr] Checking rstest v0.15.0 [INFO] [stderr] Compiling derive_builder_macro v0.11.2 [INFO] [stderr] Checking derive_builder v0.11.2 [INFO] [stderr] Checking clap-verbosity-flag v1.0.1 [INFO] [stderr] Checking statrs v0.16.0 [INFO] [stderr] Checking bio v1.3.1 [INFO] [stderr] Checking circkit v0.1.0 (/opt/rustwide/workdir/lib) [INFO] [stderr] Checking circkit-cli v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `crate::canonicalize` [INFO] [stdout] --> lib/src/monomerize.rs:497:13 [INFO] [stdout] | [INFO] [stdout] 497 | use crate::canonicalize; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `assert_ne` [INFO] [stdout] --> lib/src/monomerize.rs:500:44 [INFO] [stdout] | [INFO] [stdout] 500 | use pretty_assertions::{assert_eq, assert_ne}; [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `circkit-cli` (lib test) [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f/bin/rustc --crate-name circkit_cli --edition=2021 src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --emit=dep-info,metadata -C embed-bitcode=no -C debuginfo=2 --test --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' -C metadata=98ee66e52947ccf0 -C extra-filename=-4d42625e43c51c44 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern aho_corasick=/opt/rustwide/target/debug/deps/libaho_corasick-94a7e26ed21483ef.rmeta --extern anyhow=/opt/rustwide/target/debug/deps/libanyhow-6a885064f8da3573.rmeta --extern assert_cmd=/opt/rustwide/target/debug/deps/libassert_cmd-1ecfa00776ffaa2c.rmeta --extern assert_fs=/opt/rustwide/target/debug/deps/libassert_fs-fd5f3a9b9a0e2065.rmeta --extern atty=/opt/rustwide/target/debug/deps/libatty-5125114c87741465.rmeta --extern bio=/opt/rustwide/target/debug/deps/libbio-f3ea53d795264a63.rmeta --extern circkit=/opt/rustwide/target/debug/deps/libcirckit-51e8e01289c4a5a1.rmeta --extern clap=/opt/rustwide/target/debug/deps/libclap-e5911940d189a59f.rmeta --extern clap_verbosity_flag=/opt/rustwide/target/debug/deps/libclap_verbosity_flag-0a11031b7dceaca7.rmeta --extern csv=/opt/rustwide/target/debug/deps/libcsv-4ccc2a1f4e6508b2.rmeta --extern env_logger=/opt/rustwide/target/debug/deps/libenv_logger-df3d886c44cb3e0c.rmeta --extern human_panic=/opt/rustwide/target/debug/deps/libhuman_panic-202b72901c1faece.rmeta --extern log=/opt/rustwide/target/debug/deps/liblog-0746c79d093427c1.rmeta --extern needletail=/opt/rustwide/target/debug/deps/libneedletail-371c30471ad9ad7e.rmeta --extern niffler=/opt/rustwide/target/debug/deps/libniffler-0c998ff4e1aec611.rmeta --extern nohash_hasher=/opt/rustwide/target/debug/deps/libnohash_hasher-089660ce1f261644.rmeta --extern num_cpus=/opt/rustwide/target/debug/deps/libnum_cpus-724cd53c9d226f36.rmeta --extern predicates=/opt/rustwide/target/debug/deps/libpredicates-1115ea50f6edffa1.rmeta --extern rstest=/opt/rustwide/target/debug/deps/librstest-62e03c169a2341c9.rmeta --extern seq_io=/opt/rustwide/target/debug/deps/libseq_io-c91ec92a056e5d97.rmeta --extern serde=/opt/rustwide/target/debug/deps/libserde-2d417922e808e9a1.rmeta --extern xxhash_rust=/opt/rustwide/target/debug/deps/libxxhash_rust-3f7319bed6107ecc.rmeta --cap-lints=forbid -L native=/opt/rustwide/target/debug/build/bzip2-sys-5a54b9bcbb6dc45e/out/lib -L native=/opt/rustwide/target/debug/build/zstd-sys-e99c14bf4daeee3c/out -L native=/usr/lib/x86_64-linux-gnu` (signal: 9, SIGKILL: kill) [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stderr] error: could not compile `circkit-cli` (lib) [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] process didn't exit successfully: `/opt/rustwide/rustup-home/toolchains/c9557a20e5ef2e0e02c29a5fafd850d1b7cf1e4f/bin/rustc --crate-name circkit_cli --edition=2021 src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata -C embed-bitcode=no -C debuginfo=2 --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values())' -C metadata=05d7c1374fd3b3c5 -C extra-filename=-c15a4c349079934d --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern aho_corasick=/opt/rustwide/target/debug/deps/libaho_corasick-94a7e26ed21483ef.rmeta --extern anyhow=/opt/rustwide/target/debug/deps/libanyhow-6a885064f8da3573.rmeta --extern atty=/opt/rustwide/target/debug/deps/libatty-5125114c87741465.rmeta --extern bio=/opt/rustwide/target/debug/deps/libbio-f3ea53d795264a63.rmeta --extern circkit=/opt/rustwide/target/debug/deps/libcirckit-51e8e01289c4a5a1.rmeta --extern clap=/opt/rustwide/target/debug/deps/libclap-e5911940d189a59f.rmeta --extern clap_verbosity_flag=/opt/rustwide/target/debug/deps/libclap_verbosity_flag-0a11031b7dceaca7.rmeta --extern csv=/opt/rustwide/target/debug/deps/libcsv-4ccc2a1f4e6508b2.rmeta --extern env_logger=/opt/rustwide/target/debug/deps/libenv_logger-df3d886c44cb3e0c.rmeta --extern human_panic=/opt/rustwide/target/debug/deps/libhuman_panic-202b72901c1faece.rmeta --extern log=/opt/rustwide/target/debug/deps/liblog-0746c79d093427c1.rmeta --extern needletail=/opt/rustwide/target/debug/deps/libneedletail-371c30471ad9ad7e.rmeta --extern niffler=/opt/rustwide/target/debug/deps/libniffler-0c998ff4e1aec611.rmeta --extern nohash_hasher=/opt/rustwide/target/debug/deps/libnohash_hasher-089660ce1f261644.rmeta --extern num_cpus=/opt/rustwide/target/debug/deps/libnum_cpus-724cd53c9d226f36.rmeta --extern seq_io=/opt/rustwide/target/debug/deps/libseq_io-c91ec92a056e5d97.rmeta --extern serde=/opt/rustwide/target/debug/deps/libserde-2d417922e808e9a1.rmeta --extern xxhash_rust=/opt/rustwide/target/debug/deps/libxxhash_rust-3f7319bed6107ecc.rmeta --cap-lints=forbid -L native=/opt/rustwide/target/debug/build/bzip2-sys-5a54b9bcbb6dc45e/out/lib -L native=/opt/rustwide/target/debug/build/zstd-sys-e99c14bf4daeee3c/out -L native=/usr/lib/x86_64-linux-gnu` (signal: 9, SIGKILL: kill) [INFO] running `Command { std: "docker" "inspect" "399451e0639446fd8e3a52d3d46f05967ac14183c899da0139606463e4c6509a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "399451e0639446fd8e3a52d3d46f05967ac14183c899da0139606463e4c6509a", kill_on_drop: false }` [INFO] [stdout] 399451e0639446fd8e3a52d3d46f05967ac14183c899da0139606463e4c6509a