The time is now Mon, 12 Jan 2026 09:13:41 -0600 (/usr/bin/env PLTUSERHOME=/home/root//user PLT_PKG_BUILD_SERVICE=1 CI=true PLT_INFO_ALLOW_VARS=;PLT_PKG_BUILD_SERVICE PLTCOMPILEDROOTS=/home/root//zo: PLTSTDOUT=debug@pkg info@GC:major /usr/bin/xvfb-run --auto-servernum /bin/sh -c cd "/home/root/"/racket && bin/racket -MCR "/home/root/"/zo: -l- raco pkg install --jobs 1 -u --auto Karp) Resolved "Karp" via file:///home/root//catalogs/archive/catalog pkg: catalog response: #hash((author . "chenhao.zhang.rea@u.northwestern.edu") (checksum . "7d72484cfb21d1d3da689169afb51d582476fbfc") (dependencies . (("base") ("rosette") ("draw-lib") ("gui-lib") ("pict-lib") ("scribble-lib") ("racket-doc") ("rackunit-lib") ("scribble-math"))) (description . "A language for NP-Reductions") (modules . ((lib "karp/scribblings/reduction/reduction.scrbl") (lib "karp/scribblings/problem-definition/problem-definition.scrbl") (lib "karp/reduction.rkt") (lib "karp/scribblings/karp.scrbl") (lib "karp/lib/modified/dot.rkt") (lib "karp/private/karp-contract.rkt") (lib "karp/scribblings/libs/libs.scrbl") (lib "karp/private/core-structures.rkt") (lib "karp/private/problem-definition-core.rkt") (lib "karp/lib/mapping-reduction.rkt") (lib "karp/lib/graph.rkt") (lib "karp/lib/cnf.rkt") (lib "karp/lib/stepper.rkt") (lib "karp/tests/set-test.rkt") (lib "karp/private/primitive-data-type.rkt") (lib "karp/private/problem-definition-utility.rkt") (lib "karp/private/dp-type-info.rkt") (lib "karp/scribblings/libs/graph.scrbl") (lib "karp/scribblings/libs/mapping.scrbl") (lib "karp/tests/contract-test.rkt") (lib "karp/lib/graph-inspector.rkt") (lib "karp/problem-definition/lang/reader.rkt") (lib "karp/tests/decision-problem-test.rkt") (lib "karp/problem-definition.rkt") (lib "karp/reduction/lang/reader.rkt") (lib "karp/lib/mapping.rkt") (lib "karp/tests/graph-test.rkt") (lib "karp/private/reduction-dev-base.rkt") (lib "karp/private/decision-problem.rkt") (lib "karp/scribblings/quickstart/quickstart.scrbl") (lib "karp/reduction-base.rkt") (lib "karp/private/karp-dev-core.rkt") (lib "karp/lib/structure-inspector.rkt") (lib "karp/private/modified/error.rkt") (lib "karp/private/dp-stx-info.rkt") (lib "karp/scribblings/libs/cnf.scrbl") (lib "karp/private/verifier-type.rkt"))) (name . "Karp") (ring . 1) (source . "file:///home/root/catalogs/archive/pkgs/Karp.zip") (tags . ("dsl" "education"))) 00: Resolved "rosette" via file:///home/root//catalogs/built/catalog Resolved "scribble-math" via file:///home/root//catalogs/archive/catalog pkg: catalog response: #hash((author . "emina@cs.washington.edu") (checksum . "6104a7e3c6fa92d113331efa7483c76a4c8ae38e") (dependencies . (("custom-load") ("sandbox-lib") ("scribble-lib") ("racket" #:version "8.1") ("r6rs-lib") ("rfc6455") ("net-lib") ("web-server-lib") ("rackunit-lib") ("slideshow-lib") ("gui-lib") ("base") ("rackunit-doc") ("draw-lib") ("errortrace-lib") ("pict-lib") ("pict-doc") ("scribble-lib") ("racket-doc") ("gui-doc") ("errortrace-doc"))) (description . "The Rosette Language") (modules . ((lib "rosette/guide/scribble/libs/racket-libs.scrbl") (lib "sdsl/websynth/benchmarks/alanon_arkansas_16.rkt") (lib "rosette/lib/trace/raco.rkt") (lib "rosette/lib/util/ws-server.rkt") (lib "sdsl/bv/test/easy.rkt") (lib "sdsl/synthcl/model/memory.rkt") (lib "sdsl/websynth/test/itunes100_8.rkt") (lib "test/query/solve+.rkt") (lib "rosette/base/struct/generics.rkt") (lib "sdsl/fsm/demo.rkt") (lib "sdsl/ifc/basic.rkt") (lib "rosette/base/core/procedure.rkt") (lib "rosette/base/core/numerics.rkt") (lib "rosette/base/form/define.rkt") (lib "rosette/lib/trace/client-launcher.rkt") (lib "sdsl/ifc/test.rkt") (lib "rosette/lib/trace/sample-data.rkt") (lib "sdsl/websynth/test/itunes100_2.rkt") (lib "rosette/guide/scribble/datatypes/procedures.scrbl") (lib "test/base/merge.rkt") (lib "sdsl/synthcl/model/buffer.rkt") (lib "sdsl/synthcl/lang/operators.rkt") (lib "test/base/term.rkt") (lib "sdsl/synthcl/examples/toy/verify/host.rkt") (lib "rosette/base/core/union.rkt") (lib "test/base/vc.rkt") (lib "test/profile/benchmarks/list.rkt") (lib "sdsl/synthcl/test/reals.rkt") (lib "test/profile/test.rkt") (lib "sdsl/synthcl/lang/builtins.rkt") (lib "rosette/guide/scribble/datatypes/equality.scrbl") (lib "sdsl/synthcl/examples/toy/verify/kernel.rkt") (lib "test/profile/renderer.rkt") (lib "test/trace/code/ex-1-2.rkt") (lib "test/query/solve.rkt") (lib "sdsl/synthcl/test/memory.rkt") (lib "rosette/lib/util/streaming-server.rkt") (lib "rosette/solver/smt/env.rkt") (lib "rosette/guide/scribble/error-tracing/sum.rkt") (lib "test/trace/code/ex-1-3.rkt") (lib "rosette/lib/trace/compile.rkt") (lib "sdsl/websynth/test/itunes100_4.rkt") (lib "test/base/real.rkt") (lib "rosette/guide/scribble/unsafe/unsafe.scrbl") (lib "rosette/lib/profile/renderer/report/generic.rkt") (lib "rosette/solver/smt/enc.rkt") (lib "rosette/base/core/reporter.rkt") (lib "rosette/solver/smt/cvc4.rkt") (lib "test/query/grammar.rkt") (lib "test/config.rkt") (lib "test/trace/code/ex-3.rkt") (lib "rosette/base/base.rkt") (lib "rosette/lib/profile/record.rkt") (lib "rosette/guide/scribble/reflection/state-reflection.scrbl") (lib "sdsl/synthcl/model/reals.rkt") (lib "rosette/guide/scribble/error-tracing/select.rkt") (lib "rosette/base/core/term.rkt") (lib "rosette/lib/util/module.rkt") (lib "sdsl/synthcl/lang/util.rkt") (lib "rosette/main.rkt") (lib "sdsl/bv/lang/log.rkt") (lib "rosette/base/core/bvlib.rkt") (lib "rosette/guide/scribble/datatypes/vectors.scrbl") (lib "test/trace/stress/tail.rkt") (lib "rosette/base/adt/seq.rkt") (lib "test/trace/code/ex-1-1.rkt") (lib "rosette/lib/profile/renderer/syntax.rkt") (lib "rosette/guide/scribble/util/demo.rkt") (lib "rosette/lib/profile/raco.rkt") (lib "rosette/query/eval.rkt") (lib "rosette/guide/scribble/datatypes/builtin-datatypes.scrbl") (lib "sdsl/synthcl/model/objects.rkt") (lib "rosette/guide/scribble/datatypes/solvers+solutions.scrbl") (lib "sdsl/synthcl/examples/fastWalshTransform/verify/test.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/verify/host.rkt") (lib "rosette/private/install.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_8.rkt") (lib "sdsl/websynth/test/all-tests.rkt") (lib "rosette/solver/smt/boolector.rkt") (lib "sdsl/bv/examples/hard.rkt") (lib "sdsl/websynth/test/itunes100_16.rkt") (lib "rosette/lib/profile/renderer/renderer.rkt") (lib "test/base/reflect.rkt") (lib "sdsl/synthcl/model/kernel.rkt") (lib "test/trace/test.rkt") (lib "sdsl/bv/examples/medium.rkt") (lib "test/base/eval-guarded.rkt") (lib "sdsl/websynth/benchmarks/imdb250_4.rkt") (lib "rosette/safe.rkt") (lib "rosette/lib/profile/renderer/trace.rkt") (lib "rosette/lib/value-browser.rkt") (lib "rosette/lib/profile/reporter.rkt") (lib "test/trace/code/solver-limitation.rkt") (lib "rosette/guide/scribble/datatypes/test.rkt") (lib "rosette/base/core/forall.rkt") (lib "rosette/solver/smt/cvc5.rkt") (lib "rosette/base/core/bool.rkt") (lib "sdsl/ifc/call.rkt") (lib "sdsl/websynth/benchmarks/itunes100_16.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/synth/host.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_4.rkt") (lib "test/trace/code/macro.rkt") (lib "test/base/quantified.rkt") (lib "rosette/lib/roseunit.rkt") (lib "test/profile/benchmarks/update-at.rkt") (lib "rosette/solver/smt/stp.rkt") (lib "rosette/base/core/distinct.rkt") (lib "rosette/solver/smt/server.rkt") (lib "rosette/guide/scribble/error-tracing/error-tracing.scrbl") (lib "sdsl/synthcl/lang/queries.rkt") (lib "sdsl/ifc/verify-EENI-demo.rkt") (lib "sdsl/fsm/automaton.rkt") (lib "rosette/guide/scribble/datatypes/pairs.scrbl") (lib "rosette/guide/scribble/datatypes/defined-datatypes.scrbl") (lib "sdsl/synthcl/lang/sugar.rkt") (lib "test/base/generics.rkt") (lib "sdsl/ifc/verify.rkt") (lib "sdsl/bv/test/util.rkt") (lib "sdsl/synthcl/lang/typecheck.rkt") (lib "rosette/guide/scribble/reflection/value-reflection.scrbl") (lib "test/trace/code/non-tail.rkt") (lib "test/base/forall.rkt") (lib "rosette/solver/smt/dec.rkt") (lib "rosette/base/form/app.rkt") (lib "sdsl/bv/lang/core.rkt") (lib "rosette/lib/trace/report/fix-path.rkt") (lib "rosette/base/core/real.rkt") (lib "sdsl/websynth/benchmarks/itunes100_4.rkt") (lib "rosette/guide/scribble/libs/rosette-libs.scrbl") (lib "sdsl/synthcl/test/snippets.rkt") (lib "rosette/solver/smt/cmd.rkt") (lib "rosette/lib/profile/renderer/report/solver.rkt") (lib "sdsl/websynth/benchmarks/itunes100_2.rkt") (lib "sdsl/synthcl/model/pointers.rkt") (lib "test/base/list.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/host.rkt") (lib "test/base/exprs.rkt") (lib "test/query/optimize.rkt") (lib "rosette/guide/scribble/datatypes/bools+ints+reals.scrbl") (lib "rosette/base/core/result.rkt") (lib "test/base/bool.rkt") (lib "rosette/base/core/equality.rkt") (lib "sdsl/websynth/test/alanon_arkansas_16.rkt") (lib "rosette/lib/trace/mock-server.rkt") (lib "sdsl/bv/lang/bvops.rkt") (lib "sdsl/synthcl/examples/sobelFilter/host.rkt") (lib "test/trace/code/tail.rkt") (lib "rosette/lib/angelic.rkt") (lib "rosette/query/finitize.rkt") (lib "rosette/guide/scribble/performance/performance.scrbl") (lib "sdsl/bv/test/all-tests.rkt") (lib "sdsl/synthcl/lang/main.rkt") (lib "test/base/vector.rkt") (lib "rosette/guide/scribble/rosette-guide.scrbl") (lib "test/trace/stress/non-tail.rkt") (lib "test/base/finitize.rkt") (lib "rosette/lib/profile/graph.rkt") (lib "sdsl/synthcl/model/runtime.rkt") (lib "test/base/distinct.rkt") (lib "test/base/uninterpreted.rkt") (lib "rosette/base/core/safe.rkt") (lib "rosette/guide/scribble/error-tracing/test.rkt") (lib "test/trace/code/infeasible-solver.rkt") (lib "test/query/synthax-external.rkt") (lib "rosette/solver/smt/yices.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/synth/kernel.rkt") (lib "sdsl/synthcl/model/queue.rkt") (lib "rosette/query/query.rkt") (lib "rosette/query/form.rkt") (lib "rosette/guide/scribble/libs/utility-libs.scrbl") (lib "rosette/guide/scribble/essentials/essentials.scrbl") (lib "sdsl/synthcl/examples/fastWalshTransform/synth/test.rkt") (lib "sdsl/synthcl/test/work.rkt") (lib "sdsl/synthcl/lang/types.rkt") (lib "rosette/guide/scribble/util/clean.rkt") (lib "sdsl/synthcl/examples/toy/synth/kernel.rkt") (lib "sdsl/synthcl/model/operators.rkt") (lib "rosette/lib/profile/renderer/report.rkt") (lib "rosette/base/core/bitvector.rkt") (lib "test/base/bvlib.rkt") (lib "sdsl/bv/examples/reference.rkt") (lib "rosette/guide/scribble/libs/bvmul2.rkt") (lib "sdsl/websynth/test/imdb250_16.rkt") (lib "sdsl/bv/lang/form.rkt") (lib "test/base/optimize-order.rkt") (lib "rosette/base/form/control.rkt") (lib "rosette/base/form/module.rkt") (lib "rosette/solver/solver.rkt") (lib "sdsl/synthcl/model/errors.rkt") (lib "sdsl/fsm/fsm.rkt") (lib "rosette/solver/smt/bitwuzla.rkt") (lib "test/lib/destruct.rkt") (lib "rosette/lib/profile/data.rkt") (lib "rosette/solver/smt/z3.rkt") (lib "sdsl/synthcl/examples/sobelFilter/test.rkt") (lib "rosette/lib/profile/compile.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/host-buggy.rkt") (lib "sdsl/websynth/benchmarks/alanon_arkansas_2.rkt") (lib "rosette/guide/scribble/datatypes/bitvectors.scrbl") (lib "test/base/common.rkt") (lib "rosette/lib/match.rkt") (lib "sdsl/ifc/indistinguishable.rkt") (lib "sdsl/websynth/benchmarks/imdb250_16.rkt") (lib "sdsl/websynth/test/imdb250_4.rkt") (lib "sdsl/synthcl/model/context.rkt") (lib "rosette/base/core/polymorphic.rkt") (lib "rosette/solver/solution.rkt") (lib "sdsl/websynth/benchmarks/imdb250_2.rkt") (lib "test/base/equality.rkt") (lib "test/base/bitvector.rkt") (lib "rosette/base/struct/struct.rkt") (lib "rosette/lib/util/syntax-properties.rkt") (lib "rosette/lib/util/syntax.rkt") (lib "sdsl/bv/lang/program.rkt") (lib "rosette/lib/profile.rkt") (lib "sdsl/synthcl/model/type.rkt") (lib "sdsl/websynth/websynthlib.rkt") (lib "sdsl/ifc/instruction.rkt") (lib "sdsl/synthcl/test/all-tests.rkt") (lib "test/base/bvseq.rkt") (lib "sdsl/websynth/test/imdb250_2.rkt") (lib "test/trace/code/forall.rkt") (lib "test/trace/code/list.rkt") (lib "rosette/base/core/type.rkt") (lib "sdsl/fsm/viz.rkt") (lib "sdsl/synthcl/model/flags.rkt") (lib "test/base/type.rkt") (lib "test/trace/code/no-error.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/synth/kernel.rkt") (lib "test/trace/code/if.rkt") (lib "rosette/guide/scribble/util/lifted.rkt") (lib "test/base/solver.rkt") (lib "rosette/base/core/reflect.rkt") (lib "rosette/guide/scribble/reflection/symbolic-reflection.scrbl") (lib "sdsl/bv/test/medium.rkt") (lib "rosette/guide/scribble/welcome/welcome.scrbl") (lib "sdsl/websynth/test/alanon_arkansas_8.rkt") (lib "sdsl/synthcl/lang/errors.rkt") (lib "test/base/store.rkt") (lib "test/trace/code/assertion.rkt") (lib "rosette/base/adt/vector.rkt") (lib "rosette/base/core/function.rkt") (lib "sdsl/synthcl/test/typecheck.rkt") (lib "rosette/guide/scribble/datatypes/uninterpreted.scrbl") (lib "rosette/lib/profile/tool.rkt") (lib "sdsl/websynth/dom.rkt") (lib "test/query/synthax.rkt") (lib "rosette/lib/profile/renderer/heap.rkt") (lib "rosette/lang/reader.rkt") (lib "rosette/safe/lang/reader.rkt") (lib "sdsl/websynth/test/alanon_arkansas_2.rkt") (lib "test/trace/code/error.rkt") (lib "rosette/base/core/eval.rkt") (lib "rosette/lib/destruct.rkt") (lib "rosette/base/adt/box.rkt") (lib "test/trace/code/ex-2.rkt") (lib "test/trace/code/list-2.rkt") (lib "rosette/lib/synthax.rkt") (lib "rosette/base/core/merge.rkt") (lib "test/base/push-pop.rkt") (lib "rosette/query/core.rkt") (lib "rosette/base/adt/generic.rkt") (lib "sdsl/synthcl/lang/forms.rkt") (lib "sdsl/ifc/jump.rkt") (lib "rosette/guide/scribble/datatypes/boxes.scrbl") (lib "sdsl/synthcl/lang/env.rkt") (lib "sdsl/synthcl/model/program.rkt") (lib "sdsl/fsm/lib.rkt") (lib "sdsl/synthcl/test/operators.rkt") (lib "sdsl/synthcl/examples/sobelFilter/reference.rkt") (lib "rosette/guide/scribble/performance/xform.rkt") (lib "test/query/synthesize.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/synth/test.rkt") (lib "rosette/base/core/store.rkt") (lib "test/trace/perf-runner.rkt") (lib "test/all-rosette-tests.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/synth/host.rkt") (lib "rosette/base/adt/bvseq.rkt") (lib "sdsl/synthcl/test/grammar.rkt") (lib "test/profile/benchmarks/exn.rkt") (lib "sdsl/bv/bv.rkt") (lib "test/trace/code/lib.rkt") (lib "rosette/base/core/lift.rkt") (lib "sdsl/bv/examples/easy.rkt") (lib "sdsl/websynth/benchmarks/imdb250_8.rkt") (lib "test/base/decode.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/kernel.rkt") (lib "rosette/lib/profile/renderer/report/callgraph.rkt") (lib "rosette/guide/scribble/refs.scrbl") (lib "sdsl/websynth/benchmarks/itunes100_8.rkt") (lib "sdsl/ifc/value.rkt") (lib "sdsl/bv/lang/fragment.rkt") (lib "rosette/guide/scribble/forms/rosette-forms.scrbl") (lib "sdsl/synthcl/test/more-snippets.rkt") (lib "rosette/lib/profile/renderer/report/terms.rkt") (lib "rosette/base/adt/list.rkt") (lib "test/trace/code/test-stack.rkt") (lib "sdsl/synthcl/model/work.rkt") (lib "sdsl/websynth/test/imdb250_8.rkt") (lib "rosette/base/struct/struct-type.rkt") (lib "test/trace/code/macro-define.rkt") (lib "test/trace/code/infeasible.rkt") (lib "rosette/lib/trace/tool.rkt") (lib "test/trace/code/core-form.rkt") (lib "rosette/guide/scribble/forms/racket-forms.scrbl") (lib "sdsl/websynth/test/alanon_arkansas_4.rkt") (lib "test/query/verify.rkt") (lib "rosette/guide/scribble/libs/calc-lang.rkt") (lib "rosette/guide/scribble/forms/forms.scrbl") (lib "rosette/lib/profile/feature.rkt") (lib "rosette/guide/scribble/libs/libraries.scrbl") (lib "test/all-sdsl-tests.rkt") (lib "sdsl/ifc/machine.rkt") (lib "rosette/solver/smt/base-solver.rkt") (lib "rosette/lib/profile/renderer/noop.rkt") (lib "sdsl/fsm/query.rkt") (lib "sdsl/synthcl/examples/sobelFilter/kernel.rkt") (lib "test/trace/code/test-track-form.rkt") (lib "test/trace/code/toplevel.rkt") (lib "sdsl/synthcl/examples/toy/synth/host.rkt") (lib "sdsl/websynth/websynth.rkt") (lib "rosette/solver/smt/smtlib2.rkt") (lib "sdsl/synthcl/examples/matrixMultiply/verify/test.rkt") (lib "rosette/guide/scribble/essentials/bvmid.rkt") (lib "rosette/base/core/exn.rkt") (lib "sdsl/synthcl/examples/fastWalshTransform/verify/kernel.rkt"))) (name . "rosette") (ring . 1) (source . "file:///home/root/catalogs/built/pkgs/rosette.zip") (tags . ())) pkg: catalog response: #hash((author . "racket.suzanne.soy@suzanne.soy") (checksum . "a69b6fad193757de5a62b6a1cabacb7557d02ff7") (dependencies . (("base") ("rackunit-lib") ("scribble-lib") ("scribble-lib") ("racket-doc") ("at-exp-lib") ("scribble-doc"))) (description . "Typesetting math in scribble (uses MathJax and/or KaTeX). Also supports figures with Asymptote.") (modules . ((lib "scribble-math/katex-convert-unicode.rkt") (lib "scribble-math/asymptote.rkt") (lib "scribble-math/scribblings/scribble-math.scrbl") (lib "scribble-math/main.rkt") (lib "scribble-math/mathjax-convert-unicode.rkt") (lib "scribble-math/dollar.rkt"))) (name . "scribble-math") (ring . 1) (source . "https://gitea.suzanne.soy/suzanne.soy/scribble-math.git#main") (tags . ("documentation" "LaTeX" "math" "Math" "scribble"))) pkg: Downloading https://gitea.suzanne.soy/suzanne.soy/scribble-math.git#main to /var/tmp/17682308941768230894890-suzanne_soy_scribble-math_git_main Downloading repository https://gitea.suzanne.soy/suzanne.soy/scribble-math.git#main commit a69b6fad193757de5a62b6a1cabacb7557d02ff7 pkg: Contacting gitea.suzanne.soy pkg: Network error; retrying after 0.1s pkg: Contacting gitea.suzanne.soy pkg: Network error; retrying after 0.2s pkg: Contacting gitea.suzanne.soy pkg: Network error; retrying after 0.4s pkg: Contacting gitea.suzanne.soy pkg: Network error; retrying after 0.8s pkg: Contacting gitea.suzanne.soy pkg: Network error; retrying after 1.6s pkg: Contacting gitea.suzanne.soy GC: 0:atexit peak 112,991K(+43,052K); alloc 466,380K; major 1; minor 55; 6088ms tcp-connect: host not found hostname: gitea.suzanne.soy port number: 443 system error: Temporary failure in name resolution; gai_err=-3 context...: /home/root/racket/collects/openssl/mzssl.rkt:1736:0: do-ssl-connect /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:562:3 /home/root/racket/collects/net/http-client.rkt:70:0: http-conn-open! /home/root/racket/collects/net/http-client.rkt:356:0: http-conn-open /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:562:3 /home/root/racket/collects/net/url.rkt:201:0: http://getpost-impure-port /home/root/racket/collects/net/url.rkt:304:0: get-pure-port/headers /home/root/racket/collects/racket/contract/private/arrow-val-first.rkt:562:3 /home/root/racket/collects/net/git-checkout.rkt:247:0: initial-connect /home/root/racket/collects/net/git-checkout.rkt:55:2: retry-loop The time is now Mon, 12 Jan 2026 09:15:00 -0600