/datadisk/v-yifanwu/AutoMath/scala-isa-project/project/target/scala-2.12/sbt-1.0/classes:/home/argustest/.cache/coursier/v1/https/repo.scala-sbt.org/scalasbt/sbt-plugin-releases/com.eed3si9n/sbt-assembly/scala_2.12/sbt_1.0/0.15.0/jars/sbt-assembly.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/org/scalactic/scalactic_2.12/3.0.8/scalactic_2.12-3.0.8.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/com/eed3si9n/jarjarabrams/jarjar-abrams-core_2.12/0.1.0/jarjar-abrams-core_2.12-0.1.0.jar:/home/argustest/.sbt/boot/scala-2.12.18/lib/scala-library.jar:/home/argustest/.sbt/boot/scala-2.12.18/lib/scala-reflect.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/org/pantsbuild/jarjar/1.7.2/jarjar-1.7.2.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/org/apache/ant/ant/1.9.9/ant-1.9.9.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/org/ow2/asm/asm/7.0/asm-7.0.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/org/ow2/asm/asm-commons/7.0/asm-commons-7.0.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/org/apache/maven/maven-plugin-api/3.3.9/maven-plugin-api-3.3.9.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/org/apache/ant/ant-launcher/1.9.9/ant-launcher-1.9.9.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/org/ow2/asm/asm-tree/7.0/asm-tree-7.0.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/org/ow2/asm/asm-analysis/7.0/asm-analysis-7.0.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/org/apache/maven/maven-model/3.3.9/maven-model-3.3.9.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/org/apache/maven/maven-artifact/3.3.9/maven-artifact-3.3.9.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/org/eclipse/sisu/org.eclipse.sisu.plexus/0.3.2/org.eclipse.sisu.plexus-0.3.2.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/org/codehaus/plexus/plexus-utils/3.0.22/plexus-utils-3.0.22.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/org/apache/commons/commons-lang3/3.4/commons-lang3-3.4.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/javax/enterprise/cdi-api/1.0/cdi-api-1.0.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/org/eclipse/sisu/org.eclipse.sisu.inject/0.3.2/org.eclipse.sisu.inject-0.3.2.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/org/codehaus/plexus/plexus-component-annotations/1.5.5/plexus-component-annotations-1.5.5.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/org/codehaus/plexus/plexus-classworlds/2.5.2/plexus-classworlds-2.5.2.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/javax/annotation/jsr250-api/1.0/jsr250-api-1.0.jar:/home/argustest/.cache/coursier/v1/https/repo1.maven.org/maven2/javax/inject/javax.inject/1/javax.inject-1.jar:/home/argustest/.sbt/boot/scala-2.12.18/lib/scala-compiler.jar:/home/argustest/.sbt/boot/scala-2.12.18/lib/scala-xml_2.12-2.1.0.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/shaded-apache-httpasyncclient-0.7.0.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/test-interface-1.0.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/ssl-config-core_2.12-0.6.1.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/gigahorse-apache-http_2.12-0.7.0.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/ivy-2.3.0-sbt-396a783bba347016e7fe30dacc60d355be607fe2.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/compiler-bridge_2.12-1.9.4.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/jline-reader-3.19.0.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/jansi-2.1.0.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/task-system_2.12-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/scala-reflect-2.12.18.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/jsch-0.1.54.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/jline-terminal-jansi-3.19.0.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/zinc-classpath_2.12-1.9.4.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/ipcsocket-1.6.2.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/file-tree-views-2.1.10.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/scala-library-2.12.18.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/sjson-new-scalajson_2.12-0.9.1.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/zinc-classfile_2.12-1.9.4.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/util-cache_2.12-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/jline-terminal-jna-3.19.0.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/jline-builtins-3.19.0.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/jline-2.14.7-sbt-a1b0ffbb8f64bb820f4f84a0c07a0c0964507493.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/zinc-lm-integration_2.12-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/protocol_2.12-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/caffeine-2.8.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/zinc-persist_2.12-1.9.4.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/jline-style-3.19.0.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/zinc_2.12-1.9.4.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/launcher-interface-1.4.2.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/jna-platform-5.13.0.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/compiler-interface-1.9.4.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/log4j-core-2.17.1.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/disruptor-3.4.2.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/io_2.12-1.9.1.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/checker-qual-3.4.1.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/zinc-compile-core_2.12-1.9.4.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/util-logging_2.12-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/librarymanagement-ivy_2.12-1.9.3.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/log4j-api-2.17.1.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/config-1.4.2.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/util-interface-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/jna-5.13.0.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/scala-compiler-2.12.18.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/error_prone_annotations-2.4.0.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/zinc-persist-core-assembly-1.9.4.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/test-agent-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/util-relation_2.12-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/scala-xml_2.12-2.2.0.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/gigahorse-core_2.12-0.7.0.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/sbt-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/util-control_2.12-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/scala-parser-combinators_2.12-1.1.2.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/sjson-new-core_2.12-0.9.1.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/lm-coursier-shaded_2.12-2.1.1.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/shaded-jawn-parser_2.12-0.9.1.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/reactive-streams-1.0.3.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/scripted-plugin_2.12-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/testing_2.12-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/run_2.12-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/slf4j-api-1.7.36.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/main_2.12-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/sbinary_2.12-0.5.1.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/sjson-new-murmurhash_2.12-0.9.1.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/command_2.12-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/template-resolver-0.1.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/core-macros_2.12-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/logic_2.12-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/zero-allocation-hashing-0.10.1.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/zinc-apiinfo_2.12-1.9.4.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/tasks_2.12-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/librarymanagement-core_2.12-1.9.3.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/actions_2.12-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/main-settings_2.12-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/shaded-scalajson_2.12-1.0.0-M4.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/log4j-slf4j-impl-2.17.1.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/completion_2.12-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/util-tracking_2.12-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/zinc-core_2.12-1.9.4.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/jline-terminal-3.19.0.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/scala-collection-compat_2.12-2.10.0.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/collections_2.12-1.9.5.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/zinc-compile_2.12-1.9.4.jar:/home/argustest/.sbt/boot/scala-2.12.18/org.scala-sbt/sbt/1.9.5/util-position_2.12-1.9.5.jar
