Installing with docker ubuntu 22.04 fails (2.0)

Trying to install clean copy of XLS with Docker.
We use the TU Dresden university internet link. should be reliable..

**To Reproduce**
Steps to reproduce the behavior:
1. docker builder prune
2. git clone https://github.com/google/xls.git
3. cd xls
4. docker build . -f Dockerfile-ubuntu-22.04

**Expected behavior**
A clear and concise description of what you expected to happen.

**Screenshots**
=> ERROR [11/11] RUN bazel test -c opt --test_summary=terse --test_verbose_timeout_warnings -- //xls/... -//xls/contrib/... -//xls/dev_tools/... 572.4s
------
> [11/11] RUN bazel test -c opt --test_summary=terse --test_verbose_timeout_warnings -- //xls/... -//xls/contrib/... -//xls/dev_tools/...:
0.416 2025/08/21 10:36:43 Downloading https://releases.bazel.build/7.4.1/release/bazel-7.4.1-linux-x86_64...
1.618 Extracting Bazel installation...
5.061 Starting local Bazel server and connecting to it...
7.359 Computing main repo mapping:
8.361 Computing main repo mapping:
9.362 Computing main repo mapping:
10.36 Computing main repo mapping:
11.37 Computing main repo mapping:
12.38 Computing main repo mapping:
13.39 Computing main repo mapping:
14.41 Computing main repo mapping:
15.43 Computing main repo mapping:
16.03 WARNING: For repository 'riegeli', the root module requires module version riegeli@0.0.0-20241218-3385e3c, but got riegeli@0.0.0-20250706-c4d1f27 in the resolved dependency graph.
17.36 Computing main repo mapping:
19.01 Computing main repo mapping:
20.02 Computing main repo mapping:
21.09 Computing main repo mapping:
22.12 Computing main repo mapping:
23.32 Computing main repo mapping:
24.37 Computing main repo mapping:
25.52 Computing main repo mapping:
26.53 Computing main repo mapping:
27.54 Computing main repo mapping:
29.37 Computing main repo mapping:
57.33 Computing main repo mapping:
58.56 Computing main repo mapping:
61.57 Loading:
61.58 Loading: 3 packages loaded
62.72 Loading: 104 packages loaded
62.72 currently loading: xls/visualization/ir_viz ... (14 packages)
64.56 Loading: 117 packages loaded
64.56 currently loading: xls/synthesis
65.56 Loading: 117 packages loaded
65.56 currently loading: xls/synthesis
66.56 Analyzing: 5118 targets (118 packages loaded)
66.77 Analyzing: 5118 targets (118 packages loaded, 0 targets configured)
66.85 Analyzing: 5118 targets (118 packages loaded, 0 targets configured)
66.85
67.85 Analyzing: 5118 targets (163 packages loaded, 429 targets configured)
67.85
68.90 Analyzing: 5118 targets (212 packages loaded, 1006 targets configured)
68.90
69.90 Analyzing: 5118 targets (246 packages loaded, 1189 targets configured)
69.90 [7 / 10] checking cached actions
70.95 Analyzing: 5118 targets (262 packages loaded, 3981 targets configured)
70.95 [7 / 10] checking cached actions
71.97 Analyzing: 5118 targets (262 packages loaded, 6071 targets configured)
71.97 [7 / 10] checking cached actions
72.02 WARNING: /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/grpc~/src/compiler/BUILD:87:18: target 'grpc_cpp_plugin' is both a rule and a file; please choose another name for the rule
72.02 WARNING: /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/grpc~/src/compiler/BUILD:93:18: target 'grpc_csharp_plugin' is both a rule and a file; please choose another name for the rule
72.03 WARNING: /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/grpc~/src/compiler/BUILD:99:18: target 'grpc_node_plugin' is both a rule and a file; please choose another name for the rule
72.03 WARNING: /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/grpc~/src/compiler/BUILD:105:18: target 'grpc_objective_c_plugin' is both a rule and a file; please choose another name for the rule
72.05 WARNING: /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/grpc~/src/compiler/BUILD:111:18: target 'grpc_php_plugin' is both a rule and a file; please choose another name for the rule
72.05 WARNING: /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/grpc~/src/compiler/BUILD:117:18: target 'grpc_python_plugin' is both a rule and a file; please choose another name for the rule
72.05 WARNING: /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/grpc~/src/compiler/BUILD:123:18: target 'grpc_ruby_plugin' is both a rule and a file; please choose another name for the rule
74.51 Analyzing: 5118 targets (264 packages loaded, 6073 targets configured)
74.51 [7 / 10] checking cached actions
74.51 Analyzing: 5118 targets (264 packages loaded, 6073 targets configured)
74.51 [7 / 10] checking cached actions
77.56 Analyzing: 5118 targets (292 packages loaded, 6608 targets configured)
77.56 [7 / 11] [Prepa] Executing genrule //xls/public:c_api_symbols_underscores ... (2 actions, 1 running)
77.99 INFO: From Checking sha256sum on file: bazel-out/k8-opt/bin/xls/build_rules/tests/generated.x:
77.99 bazel-out/k8-opt/bin/xls/build_rules/tests/generated.x: OK
78.55 Analyzing: 5118 targets (303 packages loaded, 9454 targets configured)
78.55 [17 / 17] 2 / 2 tests; no actions running
79.55 Analyzing: 5118 targets (304 packages loaded, 11224 targets configured)
79.55 [17 / 17] 2 / 2 tests; no actions running
80.68 Analyzing: 5118 targets (308 packages loaded, 11271 targets configured)
80.68 [17 / 17] 2 / 2 tests; no actions running
82.98 Analyzing: 5118 targets (318 packages loaded, 12485 targets configured)
82.98 [17 / 17] 2 / 2 tests; no actions running
83.37 Analyzing: 5118 targets (319 packages loaded, 14923 targets configured)
83.37 [17 / 17] 2 / 2 tests; no actions running
85.00 Analyzing: 5118 targets (319 packages loaded, 14923 targets configured)
85.00 [17 / 17] 2 / 2 tests; no actions running
86.01 Analyzing: 5118 targets (335 packages loaded, 14978 targets configured)
86.01 [17 / 17] 2 / 2 tests; no actions running
87.02 Analyzing: 5118 targets (340 packages loaded, 15021 targets configured)
87.02 [17 / 17] 2 / 2 tests; no actions running
88.02 Analyzing: 5118 targets (342 packages loaded, 15056 targets configured)
88.02 [17 / 17] 2 / 2 tests; no actions running
91.54 Analyzing: 5118 targets (344 packages loaded, 19558 targets configured)
91.54 [17 / 17] 2 / 2 tests; no actions running
95.73 Analyzing: 5118 targets (344 packages loaded, 19558 targets configured)
95.73 [17 / 17] 2 / 2 tests; no actions running
101.0 Analyzing: 5118 targets (344 packages loaded, 19558 targets configured)
101.0 [17 / 17] 2 / 2 tests; no actions running
102.0 Analyzing: 5118 targets (346 packages loaded, 19558 targets configured)
102.0 [17 / 17] 2 / 2 tests; no actions running
103.0 Analyzing: 5118 targets (348 packages loaded, 29755 targets configured)
103.0 [17 / 17] 2 / 2 tests; no actions running
104.0 Analyzing: 5118 targets (355 packages loaded, 29797 targets configured)
104.0 [17 / 17] 2 / 2 tests; no actions running
105.1 Analyzing: 5118 targets (355 packages loaded, 29797 targets configured)
105.1 [17 / 17] 2 / 2 tests; no actions running
106.1 Analyzing: 5118 targets (356 packages loaded, 30397 targets configured)
106.1 [17 / 17] 2 / 2 tests; no actions running
107.1 Analyzing: 5118 targets (357 packages loaded, 30398 targets configured)
107.1 [17 / 17] 2 / 2 tests; no actions running
108.2 Analyzing: 5118 targets (358 packages loaded, 30398 targets configured)
108.2 [17 / 17] 2 / 2 tests; no actions running
109.2 Analyzing: 5118 targets (359 packages loaded, 30398 targets configured)
109.2 [17 / 17] 2 / 2 tests; no actions running
110.2 Analyzing: 5118 targets (367 packages loaded, 32025 targets configured)
110.2 [17 / 17] 2 / 2 tests; no actions running
116.1 Analyzing: 5118 targets (367 packages loaded, 32025 targets configured)
116.1 [17 / 17] 2 / 2 tests; no actions running
116.1 Analyzing: 5118 targets (367 packages loaded, 32025 targets configured)
116.1 [17 / 17] 2 / 2 tests; no actions running
117.0 Analyzing: 5118 targets (369 packages loaded, 32048 targets configured)
117.0 [17 / 17] 2 / 2 tests; no actions running
118.1 Analyzing: 5118 targets (369 packages loaded, 32048 targets configured)
118.1 [17 / 17] 2 / 2 tests; no actions running
119.1 Analyzing: 5118 targets (369 packages loaded, 32048 targets configured)
119.1 [17 / 17] 2 / 2 tests; no actions running
120.1 Analyzing: 5118 targets (373 packages loaded, 32312 targets configured)
120.1 [17 / 17] 2 / 2 tests; no actions running
121.1 Analyzing: 5118 targets (376 packages loaded, 32373 targets configured)
121.1 [17 / 17] 2 / 2 tests; no actions running
123.0 Analyzing: 5118 targets (377 packages loaded, 32409 targets configured)
123.0 [17 / 17] 2 / 2 tests; no actions running
127.5 Analyzing: 5118 targets (377 packages loaded, 32409 targets configured)
127.5 [17 / 17] 2 / 2 tests; no actions running
129.5 Analyzing: 5118 targets (377 packages loaded, 32409 targets configured)
129.5 [17 / 17] 2 / 2 tests; no actions running
136.6 Analyzing: 5118 targets (377 packages loaded, 32409 targets configured)
136.6 [17 / 17] 2 / 2 tests; no actions running
139.7 Analyzing: 5118 targets (377 packages loaded, 32409 targets configured)
139.7 [17 / 17] 2 / 2 tests; no actions running
140.7 Analyzing: 5118 targets (377 packages loaded, 32409 targets configured)
140.7 [17 / 17] 2 / 2 tests; no actions running
141.7 Analyzing: 5118 targets (377 packages loaded, 32409 targets configured)
141.7 [17 / 17] 2 / 2 tests; no actions running
142.7 Analyzing: 5118 targets (378 packages loaded, 32767 targets configured)
142.7 [17 / 17] 2 / 2 tests; no actions running
143.7 Analyzing: 5118 targets (388 packages loaded, 32819 targets configured)
143.7 [17 / 17] 2 / 2 tests; no actions running
144.6 DEBUG: /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/rules_jvm_external~/private/extensions/maven.bzl:351:18: The maven repository 'maven' has contributions from multiple bzlmod modules, and will be resolved together: ["grpc-java", "or-tools", "rules_closure", "rules_web_testing_java"]
144.8 Analyzing: 5118 targets (448 packages loaded, 34599 targets configured)
144.8 [17 / 17] 2 / 2 tests; no actions running
147.6 Analyzing: 5118 targets (448 packages loaded, 34599 targets configured)
147.6 [17 / 17] 2 / 2 tests; no actions running
148.6 Analyzing: 5118 targets (448 packages loaded, 34599 targets configured)
148.6 [17 / 17] 2 / 2 tests; no actions running
149.6 Analyzing: 5118 targets (449 packages loaded, 34599 targets configured)
149.6 [17 / 17] 2 / 2 tests; no actions running
150.6 Analyzing: 5118 targets (449 packages loaded, 34599 targets configured)
150.6 [17 / 17] 2 / 2 tests; no actions running
151.6 Analyzing: 5118 targets (449 packages loaded, 34599 targets configured)
151.6 [17 / 17] 2 / 2 tests; no actions running
152.7 Analyzing: 5118 targets (449 packages loaded, 34599 targets configured)
152.7 [17 / 17] 2 / 2 tests; no actions running
158.5 Analyzing: 5118 targets (449 packages loaded, 34599 targets configured)
158.5 [17 / 17] 2 / 2 tests; no actions running
158.5 Analyzing: 5118 targets (449 packages loaded, 34599 targets configured)
158.5 [17 / 17] 2 / 2 tests; no actions running
158.5 DEBUG: /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/rules_jvm_external~/private/rules/coursier.bzl:754:18: Found duplicate artifact versions
158.5 com.google.truth:truth has multiple versions 0.32, 1.4.2
158.5 com.google.guava:guava has multiple versions 33.2.1-android, 33.2.1-jre
158.5 Please remove duplicate artifacts from the artifact list so you do not get unexpected artifact versions
159.8 Analyzing: 5118 targets (449 packages loaded, 34599 targets configured)
159.8 [17 / 17] 2 / 2 tests; no actions running
161.5 Analyzing: 5118 targets (449 packages loaded, 34599 targets configured)
161.5 [17 / 17] 2 / 2 tests; no actions running
181.0 Analyzing: 5118 targets (449 packages loaded, 34599 targets configured)
181.0 [17 / 17] 2 / 2 tests; no actions running
182.3 Analyzing: 5118 targets (449 packages loaded, 34599 targets configured)
182.3 [17 / 17] 2 / 2 tests; no actions running
183.3 Analyzing: 5118 targets (449 packages loaded, 34599 targets configured)
183.3 [17 / 17] 2 / 2 tests; no actions running
184.4 Analyzing: 5118 targets (449 packages loaded, 34599 targets configured)
184.4 [17 / 17] 2 / 2 tests; no actions running
185.5 Analyzing: 5118 targets (449 packages loaded, 34599 targets configured)
185.5 [17 / 17] 2 / 2 tests; no actions running
186.5 Analyzing: 5118 targets (449 packages loaded, 34599 targets configured)
186.5 [17 / 17] 2 / 2 tests; no actions running
187.7 Analyzing: 5118 targets (449 packages loaded, 34599 targets configured)
187.7 [17 / 17] 2 / 2 tests; no actions running
188.7 Analyzing: 5118 targets (449 packages loaded, 34599 targets configured)
188.7 [17 / 17] 2 / 2 tests; no actions running
189.7 Analyzing: 5118 targets (449 packages loaded, 34599 targets configured)
189.7 [17 / 17] 2 / 2 tests; no actions running
190.7 Analyzing: 5118 targets (449 packages loaded, 34599 targets configured)
190.7 [17 / 17] 2 / 2 tests; no actions running
198.6 Analyzing: 5118 targets (449 packages loaded, 34599 targets configured)
198.6 [17 / 17] 2 / 2 tests; no actions running
199.6 Analyzing: 5118 targets (451 packages loaded, 35510 targets configured)
199.6 [17 / 17] 2 / 2 tests; no actions running
200.6 Analyzing: 5118 targets (451 packages loaded, 35510 targets configured)
200.6 [17 / 17] 2 / 2 tests; no actions running
201.7 Analyzing: 5118 targets (451 packages loaded, 35510 targets configured)
201.7 [17 / 17] 2 / 2 tests; no actions running
202.7 Analyzing: 5118 targets (453 packages loaded, 35514 targets configured)
202.7 [17 / 17] 2 / 2 tests; no actions running
203.7 Analyzing: 5118 targets (453 packages loaded, 35514 targets configured)
203.7 [17 / 17] 2 / 2 tests; no actions running
205.6 Analyzing: 5118 targets (454 packages loaded, 37176 targets configured)
205.6 [17 / 17] 2 / 2 tests; no actions running
211.4 Analyzing: 5118 targets (454 packages loaded, 37176 targets configured)
211.4 [17 / 17] 2 / 2 tests; no actions running
213.4 Analyzing: 5118 targets (454 packages loaded, 37176 targets configured)
213.4 [17 / 17] 2 / 2 tests; no actions running
217.4 Analyzing: 5118 targets (454 packages loaded, 37176 targets configured)
217.4 [17 / 17] 2 / 2 tests; no actions running
219.1 Analyzing: 5118 targets (454 packages loaded, 37176 targets configured)
219.1 [17 / 17] 2 / 2 tests; no actions running
220.2 Analyzing: 5118 targets (454 packages loaded, 37176 targets configured)
220.2 [17 / 17] 2 / 2 tests; no actions running
221.2 Analyzing: 5118 targets (454 packages loaded, 37176 targets configured)
221.2 [17 / 17] 2 / 2 tests; no actions running
222.4 Analyzing: 5118 targets (454 packages loaded, 37176 targets configured)
222.4 [17 / 17] 2 / 2 tests; no actions running
225.1 Analyzing: 5118 targets (454 packages loaded, 37176 targets configured)
225.1 [17 / 17] 2 / 2 tests; no actions running
226.1 Analyzing: 5118 targets (455 packages loaded, 37772 targets configured)
226.1 [17 / 17] 2 / 2 tests; no actions running
227.1 Analyzing: 5118 targets (457 packages loaded, 38938 targets configured)
227.1 [17 / 17] 2 / 2 tests; no actions running
228.4 Analyzing: 5118 targets (458 packages loaded, 38969 targets configured)
228.4 [17 / 17] 2 / 2 tests; no actions running
229.4 Analyzing: 5118 targets (458 packages loaded, 38969 targets configured)
229.4 [17 / 17] 2 / 2 tests; no actions running
230.4 Analyzing: 5118 targets (458 packages loaded, 38969 targets configured)
230.4 [17 / 17] 2 / 2 tests; no actions running
231.4 Analyzing: 5118 targets (458 packages loaded, 38969 targets configured)
231.4 [17 / 17] 2 / 2 tests; no actions running
232.4 Analyzing: 5118 targets (463 packages loaded, 39072 targets configured)
232.4 [17 / 17] 2 / 2 tests; no actions running
233.4 Analyzing: 5118 targets (471 packages loaded, 41563 targets configured)
233.4 [17 / 17] 2 / 2 tests; no actions running
233.6 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/com/google/guava/guava-beta-checker/1.0/guava-beta-checker-1.0.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
233.9 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/com/google/dagger/dagger-compiler/2.43.2/dagger-compiler-2.43.2.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
234.2 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/com/google/dagger/dagger-producers/2.43.2/dagger-producers-2.43.2.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
234.3 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/com/google/dagger/dagger-spi/2.43.2/dagger-spi-2.43.2.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
234.4 Analyzing: 5118 targets (477 packages loaded, 41593 targets configured)
234.4 [17 / 17] 2 / 2 tests; no actions running
234.5 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/com/google/devtools/ksp/symbol-processing-api/1.7.0-1.0.6/symbol-processing-api-1.7.0-1.0.6.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
236.0 Analyzing: 5118 targets (478 packages loaded, 41597 targets configured)
236.0 [17 / 17] 2 / 2 tests; no actions running
237.1 Analyzing: 5118 targets (478 packages loaded, 41597 targets configured)
237.1 [17 / 17] 2 / 2 tests; no actions running
238.2 Analyzing: 5118 targets (478 packages loaded, 41597 targets configured)
238.2 [17 / 17] 2 / 2 tests; no actions running
238.6 DEBUG: Rule 'eigen' indicated that a canonical reproducible form can be obtained by modifying arguments commit = "3147391d946bb4b6c68edd901f2add6ac1f31f8c" and dropping ["tag"]
238.6 DEBUG: Repository eigen instantiated at:
238.6 /home/xls-developer/xls/WORKSPACE:40:33: in
238.6 /home/xls-developer/xls/dependency_support/initialize_external.bzl:31:33: in initialize_external_repositories
238.6 /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/rules_hdl/dependency_support/dependency_support.bzl:92:23: in dependency_support
238.6 /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/rules_hdl/dependency_support/com_google_ortools/com_google_ortools.bzl:47:10: in com_google_ortools
238.6 /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/bazel_tools/tools/build_defs/repo/utils.bzl:268:18: in maybe
238.6 Repository rule git_repository defined at:
238.6 /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/bazel_tools/tools/build_defs/repo/git.bzl:189:33: in
239.2 Analyzing: 5118 targets (483 packages loaded, 42258 targets configured)
239.2 [17 / 17] 2 / 2 tests; no actions running
239.3 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/com/google/googlejavaformat/google-java-format/1.18.1/google-java-format-1.18.1.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
239.5 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/com/squareup/javapoet/1.13.0/javapoet-1.13.0.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
240.2 Analyzing: 5118 targets (491 packages loaded, 42474 targets configured)
240.2 [17 / 17] 2 / 2 tests; no actions running
241.2 Analyzing: 5118 targets (492 packages loaded, 42547 targets configured)
241.2 [17 / 17] 2 / 2 tests; no actions running
242.2 Analyzing: 5118 targets (496 packages loaded, 42577 targets configured)
242.2 [17 / 17] 2 / 2 tests; no actions running
242.6 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/org/jetbrains/kotlinx/kotlinx-metadata-jvm/0.5.0/kotlinx-metadata-jvm-0.5.0.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
242.8 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/org/jetbrains/kotlin/kotlin-stdlib-jdk7/1.8.0/kotlin-stdlib-jdk7-1.8.0.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
243.0 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/org/jetbrains/kotlin/kotlin-stdlib-jdk8/1.8.0/kotlin-stdlib-jdk8-1.8.0.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
243.1 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/org/jetbrains/annotations/13.0/annotations-13.0.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
243.3 Analyzing: 5118 targets (505 packages loaded, 42756 targets configured)
243.3 [17 / 17] 2 / 2 tests; no actions running
243.3 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/org/jetbrains/kotlin/kotlin-stdlib-common/1.8.0/kotlin-stdlib-common-1.8.0.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
243.4 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/org/jetbrains/kotlin/kotlin-stdlib/1.8.0/kotlin-stdlib-1.8.0.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
243.6 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/net/ltgt/gradle/incap/incap/0.2/incap-0.2.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
243.8 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/org/checkerframework/checker-qual/3.43.0/checker-qual-3.43.0.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
244.3 Analyzing: 5118 targets (511 packages loaded, 42780 targets configured)
244.3 [17 / 17] 2 / 2 tests; no actions running
245.3 Analyzing: 5118 targets (512 packages loaded, 43110 targets configured)
245.3 [17 / 17] 2 / 2 tests; no actions running
246.3 Analyzing: 5118 targets (513 packages loaded, 43185 targets configured)
246.3 [17 / 17] 2 / 2 tests; no actions running
247.7 Analyzing: 5118 targets (513 packages loaded, 43185 targets configured)
247.7 [17 / 17] 2 / 2 tests; no actions running
258.0 Analyzing: 5118 targets (515 packages loaded, 43217 targets configured)
258.0 [17 / 17] 2 / 2 tests; no actions running
259.9 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/com/google/auto/service/auto-service-annotations/1.1.1/auto-service-annotations-1.1.1.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
259.9 Analyzing: 5118 targets (518 packages loaded, 43267 targets configured)
259.9 [17 / 17] 2 / 2 tests; no actions running
261.8 Analyzing: 5118 targets (519 packages loaded, 43271 targets configured)
261.8 [17 / 17] 2 / 2 tests; no actions running
261.8 WARNING: Download from https://ftp.gnu.org/gnu/readline/readline-8.0.tar.gz failed: class java.io.IOException Read timed out
261.9 Analyzing: 5118 targets (519 packages loaded, 43271 targets configured)
261.9 [17 / 17] 2 / 2 tests; no actions running
261.9 WARNING: Download from http://ftp.vim.org/ftp/gnu/readline/readline-8.0.tar.gz failed: class com.google.devtools.build.lib.bazel.repository.downloader.UnrecoverableHttpException Unknown host: ftp.vim.org
264.4 Analyzing: 5118 targets (519 packages loaded, 43271 targets configured)
264.4 [17 / 17] 2 / 2 tests; no actions running
264.7 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/com/google/errorprone/error_prone_annotations/2.36.0/error_prone_annotations-2.36.0.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
265.4 Analyzing: 5118 targets (525 packages loaded, 43326 targets configured)
265.4 [17 / 17] 2 / 2 tests; no actions running
268.8 Analyzing: 5118 targets (529 packages loaded, 43371 targets configured)
268.8 [17 / 17] 2 / 2 tests; no actions running
268.8 Analyzing: 5118 targets (529 packages loaded, 43371 targets configured)
268.8 [17 / 17] 2 / 2 tests; no actions running
269.6 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/com/google/guava/guava/33.4.0-jre/guava-33.4.0-jre.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
269.8 Analyzing: 5118 targets (540 packages loaded, 43449 targets configured)
269.8 [17 / 17] 2 / 2 tests; no actions running
270.8 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/com/google/dagger/dagger/2.43.2/dagger-2.43.2.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
270.8 Analyzing: 5118 targets (544 packages loaded, 43470 targets configured)
270.8 [17 / 17] 2 / 2 tests; no actions running
270.9 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/com/google/auto/value/auto-value/1.10.4/auto-value-1.10.4.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
271.1 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/com/google/auto/auto-common/1.2.2/auto-common-1.2.2.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
271.9 Analyzing: 5118 targets (547 packages loaded, 43482 targets configured)
271.9 [17 / 17] 2 / 2 tests; no actions running
272.9 Analyzing: 5118 targets (547 packages loaded, 43482 targets configured)
272.9 [17 / 17] 2 / 2 tests; no actions running
276.0 Analyzing: 5118 targets (547 packages loaded, 43482 targets configured)
276.0 [17 / 17] 2 / 2 tests; no actions running
276.0 Analyzing: 5118 targets (547 packages loaded, 43482 targets configured)
276.0 [17 / 17] 2 / 2 tests; no actions running
276.6 Analyzing: 5118 targets (561 packages loaded, 43922 targets configured)
276.6 [17 / 17] 2 / 2 tests; no actions running
283.9 Analyzing: 5118 targets (567 packages loaded, 44020 targets configured)
283.9 [17 / 17] 2 / 2 tests; no actions running
286.9 Analyzing: 5118 targets (568 packages loaded, 44035 targets configured)
286.9 [17 / 17] 2 / 2 tests; no actions running
286.9 Analyzing: 5118 targets (568 packages loaded, 44035 targets configured)
286.9 [17 / 17] 2 / 2 tests; no actions running
288.6 Analyzing: 5118 targets (568 packages loaded, 44035 targets configured)
288.6 [17 / 17] 2 / 2 tests; no actions running
290.2 Analyzing: 5118 targets (569 packages loaded, 44953 targets configured)
290.2 [17 / 17] 2 / 2 tests; no actions running
294.4 Analyzing: 5118 targets (575 packages loaded, 45016 targets configured)
294.4 [17 / 17] 2 / 2 tests; no actions running
294.4 Analyzing: 5118 targets (575 packages loaded, 45016 targets configured)
294.4 [17 / 17] 2 / 2 tests; no actions running
295.4 Analyzing: 5118 targets (581 packages loaded, 45063 targets configured)
295.4 [17 / 17] 2 / 2 tests; no actions running
296.4 Analyzing: 5118 targets (581 packages loaded, 45063 targets configured)
296.4 [17 / 17] 2 / 2 tests; no actions running
299.0 Analyzing: 5118 targets (581 packages loaded, 45063 targets configured)
299.0 [17 / 17] 2 / 2 tests; no actions running
300.0 Analyzing: 5118 targets (583 packages loaded, 45097 targets configured)
300.0 [17 / 17] 2 / 2 tests; no actions running
301.0 Analyzing: 5118 targets (584 packages loaded, 45097 targets configured)
301.0 [17 / 17] 2 / 2 tests; no actions running
302.0 Analyzing: 5118 targets (587 packages loaded, 55495 targets configured)
302.0 [17 / 17] 2 / 2 tests; no actions running
303.0 Analyzing: 5118 targets (587 packages loaded, 55495 targets configured)
303.0 [17 / 17] 2 / 2 tests; no actions running
304.0 Analyzing: 5118 targets (587 packages loaded, 55495 targets configured)
304.0 [17 / 17] 2 / 2 tests; no actions running
305.0 Analyzing: 5118 targets (587 packages loaded, 55495 targets configured)
305.0 [17 / 17] 2 / 2 tests; no actions running
306.0 Analyzing: 5118 targets (592 packages loaded, 55720 targets configured)
306.0 [17 / 17] 2 / 2 tests; no actions running
307.0 Analyzing: 5118 targets (594 packages loaded, 55809 targets configured)
307.0 [17 / 17] 2 / 2 tests; no actions running
308.0 Analyzing: 5118 targets (596 packages loaded, 55826 targets configured)
308.0 [17 / 17] 2 / 2 tests; no actions running
309.0 Analyzing: 5118 targets (596 packages loaded, 55826 targets configured)
309.0 [17 / 17] 2 / 2 tests; no actions running
310.1 Analyzing: 5118 targets (596 packages loaded, 55826 targets configured)
310.1 [17 / 17] 2 / 2 tests; no actions running
310.4 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/com/google/auto/value/auto-value-annotations/1.11.0/auto-value-annotations-1.11.0.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
310.6 WARNING: Download from https://bazel-mirror.storage.googleapis.com/repo1.maven.org/maven2/com/google/auto/service/auto-service/1.1.1/auto-service-1.1.1.jar failed: class java.io.FileNotFoundException GET returned 404 Not Found
311.1 Analyzing: 5118 targets (609 packages loaded, 56049 targets configured)
311.1 [17 / 17] 2 / 2 tests; no actions running
312.1 Analyzing: 5118 targets (609 packages loaded, 56049 targets configured)
312.1 [17 / 17] 2 / 2 tests; no actions running
313.1 Analyzing: 5118 targets (609 packages loaded, 56049 targets configured)
313.1 [17 / 17] 2 / 2 tests; no actions running
314.1 Analyzing: 5118 targets (610 packages loaded, 56049 targets configured)
314.1 [17 / 17] 2 / 2 tests; no actions running
315.8 Analyzing: 5118 targets (610 packages loaded, 56049 targets configured)
315.8 [17 / 17] 2 / 2 tests; no actions running
316.8 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
316.8 [17 / 17] 2 / 2 tests; no actions running
317.9 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
317.9 [17 / 17] 2 / 2 tests; no actions running
318.9 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
318.9 [17 / 17] 2 / 2 tests; no actions running
319.9 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
319.9 [17 / 17] 2 / 2 tests; no actions running
320.9 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
320.9 [17 / 17] 2 / 2 tests; no actions running
321.9 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
321.9 [17 / 17] 2 / 2 tests; no actions running
323.0 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
323.0 [17 / 17] 2 / 2 tests; no actions running
324.0 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
324.0 [17 / 17] 2 / 2 tests; no actions running
325.0 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
325.0 [17 / 17] 2 / 2 tests; no actions running
326.1 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
326.1 [17 / 17] 2 / 2 tests; no actions running
327.3 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
327.3 [17 / 17] 2 / 2 tests; no actions running
328.4 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
328.4 [17 / 17] 2 / 2 tests; no actions running
329.6 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
329.6 [17 / 17] 2 / 2 tests; no actions running
330.7 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
330.7 [17 / 17] 2 / 2 tests; no actions running
332.0 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
332.0 [17 / 17] 2 / 2 tests; no actions running
333.2 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
333.2 [17 / 17] 2 / 2 tests; no actions running
334.5 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
334.5 [17 / 17] 2 / 2 tests; no actions running
335.6 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
335.6 [17 / 17] 2 / 2 tests; no actions running
336.7 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
336.7 [17 / 17] 2 / 2 tests; no actions running
338.0 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
338.0 [17 / 17] 2 / 2 tests; no actions running
343.3 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
343.3 [17 / 17] 2 / 2 tests; no actions running
381.0 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
381.0 [17 / 17] 2 / 2 tests; no actions running
382.0 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
382.0 [17 / 17] 2 / 2 tests; no actions running
383.1 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
383.1 [17 / 17] 2 / 2 tests; no actions running
384.1 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
384.1 [17 / 17] 2 / 2 tests; no actions running
385.1 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
385.1 [17 / 17] 2 / 2 tests; no actions running
386.1 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
386.1 [17 / 17] 2 / 2 tests; no actions running
387.1 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
387.1 [17 / 17] 2 / 2 tests; no actions running
388.1 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
388.1 [17 / 17] 2 / 2 tests; no actions running
389.1 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
389.1 [17 / 17] 2 / 2 tests; no actions running
390.2 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
390.2 [17 / 17] 2 / 2 tests; no actions running
391.3 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
391.3 [17 / 17] 2 / 2 tests; no actions running
392.3 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
392.3 [17 / 17] 2 / 2 tests; no actions running
393.3 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
393.3 [17 / 17] 2 / 2 tests; no actions running
394.3 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
394.3 [17 / 17] 2 / 2 tests; no actions running
397.9 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
397.9 [17 / 17] 2 / 2 tests; no actions running
398.9 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
398.9 [17 / 17] 2 / 2 tests; no actions running
400.2 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
400.2 [17 / 17] 2 / 2 tests; no actions running
401.3 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
401.3 [17 / 17] 2 / 2 tests; no actions running
402.3 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
402.3 [17 / 17] 2 / 2 tests; no actions running
403.4 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
403.4 [17 / 17] 2 / 2 tests; no actions running
404.5 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
404.5 [17 / 17] 2 / 2 tests; no actions running
405.6 Analyzing: 5118 targets (617 packages loaded, 56158 targets configured)
405.6 [17 / 17] 2 / 2 tests; no actions running
406.9 Analyzing: 5118 targets (618 packages loaded, 56307 targets configured)
406.9 [17 / 17] 2 / 2 tests; no actions running
407.9 Analyzing: 5118 targets (618 packages loaded, 56307 targets configured)
407.9 [17 / 17] 2 / 2 tests; no actions running
408.9 Analyzing: 5118 targets (618 packages loaded, 56307 targets configured)
408.9 [17 / 17] 2 / 2 tests; no actions running
410.7 Analyzing: 5118 targets (618 packages loaded, 56307 targets configured)
410.7 [17 / 17] 2 / 2 tests; no actions running
411.9 Analyzing: 5118 targets (618 packages loaded, 56307 targets configured)
411.9 [17 / 17] 2 / 2 tests; no actions running
467.8 Analyzing: 5118 targets (618 packages loaded, 56307 targets configured)
467.8 [17 / 17] 2 / 2 tests; no actions running
467.8 Analyzing: 5118 targets (618 packages loaded, 56307 targets configured)
467.8 [17 / 17] 2 / 2 tests; no actions running
468.8 Analyzing: 5118 targets (618 packages loaded, 56307 targets configured)
468.8 [17 / 17] 2 / 2 tests; no actions running
470.0 Analyzing: 5118 targets (618 packages loaded, 56307 targets configured)
470.0 [17 / 17] 2 / 2 tests; no actions running
471.2 Analyzing: 5118 targets (618 packages loaded, 56307 targets configured)
471.2 [17 / 17] 2 / 2 tests; no actions running
472.3 Analyzing: 5118 targets (618 packages loaded, 56307 targets configured)
472.3 [17 / 17] 2 / 2 tests; no actions running
473.3 Analyzing: 5118 targets (618 packages loaded, 56307 targets configured)
473.3 [17 / 17] 2 / 2 tests; no actions running
474.4 Analyzing: 5118 targets (618 packages loaded, 56307 targets configured)
474.4 [17 / 17] 2 / 2 tests; no actions running
475.5 Analyzing: 5118 targets (618 packages loaded, 56307 targets configured)
475.5 [17 / 17] 2 / 2 tests; no actions running
476.6 Analyzing: 5118 targets (618 packages loaded, 56307 targets configured)
476.6 [17 / 17] 2 / 2 tests; no actions running
477.6 Analyzing: 5118 targets (618 packages loaded, 56307 targets configured)
477.6 [17 / 17] 2 / 2 tests; no actions running
500.4 Analyzing: 5118 targets (618 packages loaded, 56307 targets configured)
500.4 [17 / 17] 2 / 2 tests; no actions running
500.5 Analyzing: 5118 targets (618 packages loaded, 56307 targets configured)
500.5 [17 / 17] 2 / 2 tests; no actions running
500.5 WARNING: Download from https://github.com/The-OpenROAD-Project/asap7sc7p5t_27/archive/900f55ed8bef025f39edcc8b8be5e04a2c55c15a.tar.gz failed: class java.io.IOException java.net.SocketTimeoutException: Read timed out
501.2 INFO: Repository org_theopenroadproject_asap7sc7p5t_27 instantiated at:
501.2 /home/xls-developer/xls/WORKSPACE:40:33: in
501.2 /home/xls-developer/xls/dependency_support/initialize_external.bzl:31:33: in initialize_external_repositories
501.2 /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/rules_hdl/dependency_support/dependency_support.bzl:116:42: in dependency_support
501.2 /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/rules_hdl/dependency_support/org_theopenroadproject_asap7sc7p5t_27/org_theopenroadproject_asap7sc7p5t_27.bzl:21:10: in org_theopenroadproject_asap7sc7p5t_27
501.2 /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/bazel_tools/tools/build_defs/repo/utils.bzl:268:18: in maybe
501.2 Repository rule http_archive defined at:
501.2 /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/bazel_tools/tools/build_defs/repo/http.bzl:387:31: in
501.3 ERROR: /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/bazel_tools/tools/build_defs/repo/http.bzl:136:45: An error occurred during the fetch of repository 'org_theopenroadproject_asap7sc7p5t_27':
501.3 Traceback (most recent call last):
501.3 File "/home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/bazel_tools/tools/build_defs/repo/http.bzl", line 136, column 45, in _http_archive_impl
501.3 download_info = ctx.download_and_extract(
501.3 Error in download_and_extract: java.io.IOException: Error downloading [https://github.com/The-OpenROAD-Project/asap7sc7p5t_27/archive/900f55ed8bef025f39edcc8b8be5e04a2c55c15a.tar.gz] to /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/org_theopenroadproject_asap7sc7p5t_27/temp2676408909760434474/900f55ed8bef025f39edcc8b8be5e04a2c55c15a.tar.gz: java.net.SocketTimeoutException: Read timed out
502.5 Analyzing: 5118 targets (618 packages loaded, 56307 targets configured)
502.5 [17 / 17] 2 / 2 tests; no actions running
550.2 ERROR: no such package '@@org_theopenroadproject_asap7sc7p5t_27//': java.io.IOException: Error downloading [https://github.com/The-OpenROAD-Project/asap7sc7p5t_27/archive/900f55ed8bef025f39edcc8b8be5e04a2c55c15a.tar.gz] to /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/org_theopenroadproject_asap7sc7p5t_27/temp2676408909760434474/900f55ed8bef025f39edcc8b8be5e04a2c55c15a.tar.gz: java.net.SocketTimeoutException: Read timed out
550.4 ERROR: /home/xls-developer/xls/xls/examples/BUILD:731:15: //xls/examples:find_index_5000ps_model_unit_verilog_synth_asap7 depends on @@org_theopenroadproject_asap7sc7p5t_27//:asap7-sc7p5t_rev27_rvt in repository @@org_theopenroadproject_asap7sc7p5t_27 which failed to fetch. no such package '@@org_theopenroadproject_asap7sc7p5t_27//': java.io.IOException: Error downloading [https://github.com/The-OpenROAD-Project/asap7sc7p5t_27/archive/900f55ed8bef025f39edcc8b8be5e04a2c55c15a.tar.gz] to /home/xls-developer/.cache/bazel/_bazel_xls-developer/970c5c2433bb6038ab152477a024c421/external/org_theopenroadproject_asap7sc7p5t_27/temp2676408909760434474/900f55ed8bef025f39edcc8b8be5e04a2c55c15a.tar.gz: java.net.SocketTimeoutException: Read timed out
551.5 Analyzing: 5118 targets (618 packages loaded, 56307 targets configured)
551.5 [17 / 17] 2 / 2 tests; no actions running
551.7 ERROR: Analysis of target '//xls/examples:find_index_5000ps_model_unit_verilog_synth_asap7' failed; build aborted: Analysis failed
552.4 INFO: Elapsed time: 550.045s, Critical Path: 2.35s
552.4 INFO: 17 processes: 7 internal, 10 processwrapper-sandbox.
552.4 ERROR: Build did NOT complete successfully
552.4 FAILED:
552.5
552.5 Executed 2 out of 2 tests: 2 tests pass.
552.5 All tests passed but there were other errors during the build.
552.5
------
Dockerfile-ubuntu-22.04:41
--------------------
39 | # Test everything (opt), exclude contrib (including xlscc) for now due to
40 | # increased build time when we add Clang.
41 | >>> RUN bazel test -c opt --test_summary=terse --test_verbose_timeout_warnings -- //xls/... -//xls/contrib/... -//xls/dev_tools/...
42 |
--------------------
ERROR: failed to build: failed to solve: process "/bin/sh -c bazel test -c opt --test_summary=terse --test_verbose_timeout_warnings -- //xls/... -//xls/contrib/... -//xls/dev_tools/..." did not complete successfully: exit code: 1
**Environment (this can be helpful for troubleshooting):**
- OS: [e.g. Ubuntu]
- Versions [e.g. 22.04]

**Additional context**
Add any other context about the problem here.

[error2.txt](https://github.com/user-attachments/files/21916163/error2.txt)