gistfile1.txt

2267	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/p2/org.eclipse.equinox.p2.core/cache/binary
2272	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/p2/org.eclipse.equinox.p2.core/cache
2272	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/p2/org.eclipse.equinox.p2.core
10	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/p2/org.eclipse.equinox.p2.engine/.settings
5	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/p2/org.eclipse.equinox.p2.engine/profileRegistry/DefaultProfile.profile/.data/.settings
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/p2/org.eclipse.equinox.p2.engine/profileRegistry/DefaultProfile.profile/.data/org.eclipse.equinox.internal.p2.touchpoint.eclipse.actions
31	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/p2/org.eclipse.equinox.p2.engine/profileRegistry/DefaultProfile.profile/.data
274	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/p2/org.eclipse.equinox.p2.engine/profileRegistry/DefaultProfile.profile
274	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/p2/org.eclipse.equinox.p2.engine/profileRegistry
284	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/p2/org.eclipse.equinox.p2.engine
2557	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/p2
14	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/util/compare
31	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/util/pref
10	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/util/e4
301	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/util
10	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/job
217	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/ui/handler
114	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/ui/preference
31	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/ui/property
58	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/ui/contribution
10	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/ui/perspective
27	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/ui/provider
45	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/ui/view
10	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/ui/expression
40	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/ui/wizard
14	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/ui/navigator
5	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/ui/dialog
576	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/ui
14	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/spec/manager
62	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/spec/parser
56	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/spec/nature
166	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/spec
31	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox/tool
1132	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla/toolbox
1132	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport/tla
1133	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org/lamport
1133	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/org
37	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/images
42	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/META-INF
114	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/icons/full/etool16
2	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/icons/full/ovr16
5	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/icons/full/eview16
72	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/icons/full/obj16
219	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/icons/full
224	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858/icons
1462	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox_1.0.0.202004251858
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.eclipse.ui.themes_1.2.700.v20190826-0816/META-INF
35	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.eclipse.ui.themes_1.2.700.v20190826-0816/css/dark
93	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.eclipse.ui.themes_1.2.700.v20190826-0816/css
144	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.eclipse.ui.themes_1.2.700.v20190826-0816/images
277	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.eclipse.ui.themes_1.2.700.v20190826-0816
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.eclipse.equinox.security.linux.x86_64_1.1.300.v20190830-1238/META-INF
10	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.eclipse.equinox.security.linux.x86_64_1.1.300.v20190830-1238/org/eclipse/equinox/internal/security/linux/nls
15	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.eclipse.equinox.security.linux.x86_64_1.1.300.v20190830-1238/org/eclipse/equinox/internal/security/linux
15	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.eclipse.equinox.security.linux.x86_64_1.1.300.v20190830-1238/org/eclipse/equinox/internal/security
16	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.eclipse.equinox.security.linux.x86_64_1.1.300.v20190830-1238/org/eclipse/equinox/internal
16	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.eclipse.equinox.security.linux.x86_64_1.1.300.v20190830-1238/org/eclipse/equinox
17	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.eclipse.equinox.security.linux.x86_64_1.1.300.v20190830-1238/org/eclipse
17	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.eclipse.equinox.security.linux.x86_64_1.1.300.v20190830-1238/org
66	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.eclipse.equinox.security.linux.x86_64_1.1.300.v20190830-1238
6	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/META-INF/maven/org.lamport.openjdk/org.lamport.openjdk.linux.x86_64
6	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/META-INF/maven/org.lamport.openjdk
7	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/META-INF/maven
61	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/META-INF
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/lib/jfr
203	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/lib/security
17098	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/lib/server
83232	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/lib
128	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/bin
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.security.auth
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.management.jfr
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.prefs
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.management.rmi
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.jdwp.agent
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.security.sasl
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.internal.vm.ci
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.incubator.jpackage
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.se
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.scripting.nashorn
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.xml.dom
13	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.dynalink
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.naming
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.management.agent
43	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.xml
65	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.desktop
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.naming.dns
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.jlink
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.accessibility
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.jsobject
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.scripting
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.internal.vm.compiler
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.jfr
17	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.xml.crypto
13	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.internal.le
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.nio.mapmode
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.sql
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.sql.rowset
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.rmi
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.compiler
13	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.internal.opt
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.incubator.foreign
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.internal.ed
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.logging
13	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.smartcardio
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.httpserver
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.instrument
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.security.jgss
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.aot
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.management
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.charsets
13	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.localedata
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.sctp
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.security.jgss
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.internal.vm.compiler.management
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.zipfs
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.naming.rmi
25	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.crypto.ec
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.jdeps
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.unsupported
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.net.http
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.crypto.cryptoki
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.scripting.nashorn.shell
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.transaction.xa
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.net
78	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.base
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.management
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/java.datatransfer
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal/jdk.compiler
360	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/legal
10	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/conf/security/policy/unlimited
10	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/conf/security/policy/limited
24	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/conf/security/policy
58	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/conf/security
26	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/conf/management
5	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/conf/sdp
111	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre/conf
83843	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7/jre
83904	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.openjdk.linux.x86_64_14.0.1.7
60	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tla2sany/configuration
44	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tla2sany/st
579	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tla2sany/parser
61	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tla2sany/modanalyzer
35	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tla2sany/drivers
43	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tla2sany/xml
40	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tla2sany/explorer
469	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tla2sany/semantic
58	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tla2sany/StandardModules
36	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tla2sany/utilities
1440	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tla2sany
22	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/model
193	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/META-INF
458	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tla2tex
186	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/com/sun/mail/util
49	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/com/sun/mail/handlers
35	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/com/sun/mail/auth
136	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/com/sun/mail/smtp
406	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/com/sun/mail
407	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/com/sun
407	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/com
134	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/output
40	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/model
40	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/pprint
10	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/util/statistics/management
67	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/util/statistics
373	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/util
74	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/input
473	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/value/impl
592	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/value
74	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/module
31	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/tool/management
71	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/tool/coverage
75	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/tool/queue
352	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/tool/liveness
36	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/tool/distributed/selector
36	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/tool/distributed/fp/callable
106	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/tool/distributed/fp
10	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/tool/distributed/management
291	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/tool/distributed
152	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/tool/impl
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/tool/fp/dfid
10	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/tool/fp/management
687	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/tool/fp
2015	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/tool
27	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2/overrides
3461	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/tlc2
72	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/pcal/exception
876	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/pcal
244	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/util
111	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/javax/activation
85	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/javax/mail/event
31	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/javax/mail/util
252	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/javax/mail/internet
660	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/javax/mail
772	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858/javax
7883	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tlatools_1.0.0.202004251858
31	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/org/lamport/tla/toolbox/doc/handler
36	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/org/lamport/tla/toolbox/doc
37	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/org/lamport/tla/toolbox
37	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/org/lamport/tla
38	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/org/lamport
38	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/org
5	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/html/pluscal
31	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/html/tasks
5	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/html/help-us
134	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/html/gettingstarted
1311	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/html/cloudtlc
65	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/html/spec
9	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/html/trouble
14	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/html/reference
14	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/html/update
36	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/html/concepts
814	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/html/model
200	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/html/prover
2729	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/html
26	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/META-INF
3150	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858/pdfs
5987	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.lamport.tla.toolbox.doc_1.7.0.202004251858
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.eclipse.jdt.debug_3.13.100.v20190902-1050/META-INF
1022	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.eclipse.jdt.debug_3.13.100.v20190902-1050
9	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.junit_4.12.0.v201504281640/about_files
19	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.junit_4.12.0.v201504281640/META-INF
346	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.junit_4.12.0.v201504281640
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.1100.v20190907-0426/META-INF
136	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.1.1100.v20190907-0426
213695	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/plugins
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/META-INF
41	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/readme
5	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/configuration/org.eclipse.update
13	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/configuration/org.eclipse.equinox.simpleconfigurator
31	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/configuration
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.equinox.p2.rcp.feature_1.4.500.v20190903-0934/META-INF
61	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.equinox.p2.rcp.feature_1.4.500.v20190903-0934
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.jclouds_1.0.0.202004251858/rootfiles
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.jclouds_1.0.0.202004251858/META-INF
24	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.jclouds_1.0.0.202004251858
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/com.abstratt.eclipsegraphviz.feature_2.5.201812/META-INF
27	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/com.abstratt.eclipsegraphviz.feature_2.5.201812
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.help_2.2.700.v20190916-1045/META-INF
40	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.help_2.2.700.v20190916-1045
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.rcp_4.13.0.v20190916-1045/META-INF
40	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.rcp_4.13.0.v20190916-1045
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.jnlp_1.0.0.202004251858/META-INF
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.jnlp_1.0.0.202004251858/rootfiles
24	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.jnlp_1.0.0.202004251858
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.emf.ecore_2.18.0.v20190528-0845/META-INF
40	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.emf.ecore_2.18.0.v20190528-0845
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.branding_1.0.0.202004251858/rootfiles
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.branding_1.0.0.202004251858/META-INF
32	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.branding_1.0.0.202004251858
5	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.apache.jclouds.feature_2.1.2.5
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.e4.rcp_1.6.600.v20190907-0426/META-INF
40	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.e4.rcp_1.6.600.v20190907-0426
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.tla2tex_1.0.0.202004251858/rootfiles
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.tla2tex_1.0.0.202004251858/META-INF
24	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.tla2tex_1.0.0.202004251858
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.emf.common_2.16.0.v20190625-1131/META-INF
40	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.emf.common_2.16.0.v20190625-1131
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.ecf.filetransfer.httpclient45.feature_1.0.0.v20190530-1947/META-INF
74	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.ecf.filetransfer.httpclient45.feature_1.0.0.v20190530-1947
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.ecf.filetransfer.ssl.feature_1.1.100.v20180301-0132/META-INF
48	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.ecf.filetransfer.ssl.feature_1.1.100.v20180301-0132
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.ecf.core.feature_1.5.3.v20190423-0625/META-INF
44	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.ecf.core.feature_1.5.3.v20190423-0625
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.recommenders.news.rcp.feature_2.5.4.v20180909-1132/META-INF
40	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.recommenders.news.rcp.feature_2.5.4.v20180909-1132
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.ecf.filetransfer.feature_3.14.5.v20190423-0614/META-INF
40	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.ecf.filetransfer.feature_3.14.5.v20190423-0614
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.standalone_1.0.0.202004251858/META-INF
28	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.standalone_1.0.0.202004251858
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.help_1.0.0.202004251858/rootfiles
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.help_1.0.0.202004251858/META-INF
24	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.help_1.0.0.202004251858
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/de.vonloesch.pdf4eclipse.feature_1.1.0.201907070246/META-INF
27	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/de.vonloesch.pdf4eclipse.feature_1.1.0.201907070246
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.base_1.0.0.202004251858/rootfiles
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.base_1.0.0.202004251858/META-INF
24	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.base_1.0.0.202004251858
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.equinox.p2.core.feature_1.6.300.v20190903-0934/META-INF
40	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.equinox.p2.core.feature_1.6.300.v20190903-0934
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.tlc_1.0.0.202004251858/rootfiles
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.tlc_1.0.0.202004251858/META-INF
24	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.tlc_1.0.0.202004251858
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.openjdk.feature_14.0.1.7/META-INF
23	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.openjdk.feature_14.0.1.7
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.prover_1.0.0.202004251858/rootfiles
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.prover_1.0.0.202004251858/META-INF
24	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.prover_1.0.0.202004251858
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.ecf.core.ssl.feature_1.1.200.v20190502-0212/META-INF
40	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.eclipse.ecf.core.ssl.feature_1.1.200.v20190502-0212
18	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.editor_1.0.0.202004251858/META-INF
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.editor_1.0.0.202004251858/rootfiles
24	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features/org.lamport.tla.toolbox.feature.editor_1.0.0.202004251858
944	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox/features
219560	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/toolbox
5	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/share/applications
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/share/icons/hicolor/16x16/apps
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/share/icons/hicolor/16x16
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/share/icons/hicolor/32x32/apps
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/share/icons/hicolor/32x32
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/share/icons/hicolor/128x128/apps
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/share/icons/hicolor/128x128
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/share/icons/hicolor/256x256/apps
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/share/icons/hicolor/256x256
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/share/icons/hicolor/48x48/apps
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/share/icons/hicolor/48x48
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/share/icons/hicolor/64x64/apps
1	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/share/icons/hicolor/64x64
15	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/share/icons/hicolor
15	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/share/icons
21	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/share
5	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0/bin
219586	/nix/store/11w1sv3gri6l6k84xn0csnimyssz724n-tla-toolbox-1.7.0