Diff of the two buildlogs: -- --- b1/build.log 2024-03-28 07:05:49.229137543 +0000 +++ b2/build.log 2024-03-28 07:10:13.213885490 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Wed Apr 30 01:26:22 -12 2025 -I: pbuilder-time-stamp: 1746019582 +I: Current time: Thu Mar 28 21:05:51 +14 2024 +I: pbuilder-time-stamp: 1711609551 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/trixie-reproducible-base.tgz] I: copying local configuration @@ -29,54 +29,86 @@ dpkg-source: info: applying fix-JAR-assembly.patch I: Not using root during the build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/33001/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/40838/tmp/hooks/D01_modify_environment starting +debug: Running on ionos12-i386. +I: Changing host+domainname to test build reproducibility +I: Adding a custom variable just for the fun of it... +I: Changing /bin/sh to bash +'/bin/sh' -> '/bin/bash' +lrwxrwxrwx 1 root root 9 Mar 28 07:06 /bin/sh -> /bin/bash +I: Setting pbuilder2's login shell to /bin/bash +I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other +I: user script /srv/workspace/pbuilder/40838/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/40838/tmp/hooks/D02_print_environment starting I: set - BUILDDIR='/build/reproducible-path' - BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' - BUILDUSERNAME='pbuilder1' - BUILD_ARCH='i386' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=22 ' - DISTRIBUTION='trixie' - HOME='/root' - HOST_ARCH='i386' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:. + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="2" [2]="21" [3]="1" [4]="release" [5]="i686-pc-linux-gnu") + BASH_VERSION='5.2.21(1)-release' + BUILDDIR=/build/reproducible-path + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=i386 + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=10 ' + DIRSTACK=() + DISTRIBUTION=trixie + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=i686 + HOST_ARCH=i386 IFS=' ' - INVOCATION_ID='b90cf12b09114e81bdbe373693b2bc65' - LANG='C' - LANGUAGE='en_US:en' - LC_ALL='C' - LD_LIBRARY_PATH='/usr/lib/libeatmydata' - LD_PRELOAD='libeatmydata.so' - MAIL='/var/mail/root' - OPTIND='1' - PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' - PBCURRENTCOMMANDLINEOPERATION='build' - PBUILDER_OPERATION='build' - PBUILDER_PKGDATADIR='/usr/share/pbuilder' - PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' - PBUILDER_SYSCONFDIR='/etc' - PPID='33001' - PS1='# ' - PS2='> ' + INVOCATION_ID=a070fbef57094b71b5be7d2c87511252 + LANG=C + LANGUAGE=de_CH:de + LC_ALL=C + LD_LIBRARY_PATH=/usr/lib/libeatmydata + LD_PRELOAD=libeatmydata.so + MACHTYPE=i686-pc-linux-gnu + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnu + PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path + PBCURRENTCOMMANDLINEOPERATION=build + PBUILDER_OPERATION=build + PBUILDER_PKGDATADIR=/usr/share/pbuilder + PBUILDER_PKGLIBDIR=/usr/lib/pbuilder + PBUILDER_SYSCONFDIR=/etc + PIPESTATUS=([0]="0") + POSIXLY_CORRECT=y + PPID=40838 PS4='+ ' - PWD='/' - SHELL='/bin/bash' - SHLVL='2' - SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.kGmcYXUx/pbuilderrc_Lx6Z --distribution trixie --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.kGmcYXUx/b1 --logfile b1/build.log libsignatures-java_1.1.10.g614270e+ds-1.dsc' - SUDO_GID='112' - SUDO_UID='107' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://85.184.249.68:3128' + PWD=/ + SHELL=/bin/bash + SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix + SHLVL=3 + SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.kGmcYXUx/pbuilderrc_rB02 --distribution trixie --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.kGmcYXUx/b2 --logfile b2/build.log libsignatures-java_1.1.10.g614270e+ds-1.dsc' + SUDO_GID=112 + SUDO_UID=107 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://78.137.99.97:3128 I: uname -a - Linux ionos16-i386 6.1.0-18-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.76-1 (2024-02-01) x86_64 GNU/Linux + Linux i-capture-the-hostname 6.1.0-18-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.76-1 (2024-02-01) x86_64 GNU/Linux I: ls -l /bin - lrwxrwxrwx 1 root root 7 Apr 29 17:46 /bin -> usr/bin -I: user script /srv/workspace/pbuilder/33001/tmp/hooks/D02_print_environment finished + lrwxrwxrwx 1 root root 7 Mar 25 11:26 /bin -> usr/bin +I: user script /srv/workspace/pbuilder/40838/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -386,7 +418,7 @@ Get: 264 http://deb.debian.org/debian trixie/main i386 maven all 3.8.7-2 [19.3 kB] Get: 265 http://deb.debian.org/debian trixie/main i386 maven-repo-helper all 1.11 [142 kB] Get: 266 http://deb.debian.org/debian trixie/main i386 maven-debian-helper all 2.6.4 [108 kB] -Fetched 265 MB in 4s (62.0 MB/s) +Fetched 265 MB in 5s (54.8 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package sgml-base. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19816 files and directories currently installed.) @@ -1659,7 +1691,11 @@ Building tag database... -> Finished parsing the build-deps I: Building the package -I: Running cd /build/reproducible-path/libsignatures-java-1.1.10.g614270e+ds/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../libsignatures-java_1.1.10.g614270e+ds-1_source.changes +I: user script /srv/workspace/pbuilder/40838/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for trixie +I: user script /srv/workspace/pbuilder/40838/tmp/hooks/A99_set_merged_usr finished +hostname: Name or service not known +I: Running cd /build/reproducible-path/libsignatures-java-1.1.10.g614270e+ds/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S > ../libsignatures-java_1.1.10.g614270e+ds-1_source.changes dpkg-buildpackage: info: source package libsignatures-java dpkg-buildpackage: info: source version 1.1.10.g614270e+ds-1 dpkg-buildpackage: info: source distribution unstable @@ -1717,8 +1753,8 @@ [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ -[INFO] Total time: 2.282 s -[INFO] Finished at: 2025-04-30T13:27:11Z +[INFO] Total time: 4.040 s +[INFO] Finished at: 2024-03-28T07:07:10Z [INFO] ------------------------------------------------------------------------ dh_auto_test /usr/lib/jvm/default-java/bin/java -noverify -cp /usr/share/maven/boot/plexus-classworlds-2.x.jar -Dmaven.home=/usr/share/maven -Dmaven.multiModuleProjectDirectory=/build/reproducible-path/libsignatures-java-1.1.10.g614270e\+ds -Dclassworlds.conf=/etc/maven/m2-debian.conf -Dproperties.file.manual=/build/reproducible-path/libsignatures-java-1.1.10.g614270e\+ds/debian/maven.properties org.codehaus.plexus.classworlds.launcher.Launcher -s/etc/maven/settings-debian.xml -Ddebian.dir=/build/reproducible-path/libsignatures-java-1.1.10.g614270e\+ds/debian -Dmaven.repo.local=/build/reproducible-path/libsignatures-java-1.1.10.g614270e\+ds/debian/maven-repo --batch-mode test @@ -1750,12 +1786,192 @@ [INFO] ------------------------------------------------------- [INFO] T E S T S [INFO] ------------------------------------------------------- -[INFO] Running signature.edgecolored.BasicTests -0 [.](r[.](b[.,0])b[.](r[.,0])) -1 [.](r[.](b[.,0])b[.](r[.,0])) -2 [.](b[.](r[.,0])r[.](b[.,0])) -3 [.](b[.](r[.,0])r[.](b[.,0])) -[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.051 s - in signature.edgecolored.BasicTests +[INFO] Running signature.simple.SimpleGraphTest +1 0 [.]([.][.][.]) +1 1 [.]([.][.][.]) +1 2 [.]([.][.][.]) +1 3 [.]([.][.][.]) +1 4 [.]([.][.][.]) +1 5 [.]([.][.][.]) +1 6 [.]([.][.][.]) +1 7 [.]([.][.][.]) +2 0 [.]([.]([.][.,1])[.]([.][.,0])[.]([.,1][.,0])) +2 1 [.]([.]([.][.,0])[.]([.][.,1])[.,1]([.,0])) +2 2 [.]([.]([.][.,0])[.]([.][.,1])[.,1]([.,0])) +2 3 [.]([.]([.][.,1])[.]([.][.,0])[.]([.,1][.,0])) +2 4 [.]([.]([.][.,0])[.]([.][.,1])[.,1]([.,0])) +2 5 [.]([.]([.][.,0])[.]([.][.,1])[.,1]([.,0])) +2 6 [.]([.]([.][.])[.]([.][.,0])[.,0]([.])) +2 7 [.]([.]([.][.])[.]([.][.,0])[.,0]([.])) +3 0 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) +3 1 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) +3 2 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) +3 3 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) +3 4 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) +3 5 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) +3 6 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) +3 7 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) +4 0 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) +4 1 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) +4 2 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) +4 3 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) +4 4 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) +4 5 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) +4 6 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) +4 7 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) +5 0 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) +5 1 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) +5 2 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) +5 3 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) +5 4 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) +5 5 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) +5 6 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) +5 7 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) +6 0 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) +6 1 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) +6 2 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) +6 3 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) +6 4 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) +6 5 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) +6 6 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) +6 7 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) +7 0 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) +7 1 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) +7 2 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) +7 3 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) +7 4 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) +7 5 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) +7 6 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) +7 7 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) +[INFO] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.166 s - in signature.simple.SimpleGraphTest +[INFO] Running signature.simple.ReconstructionTest +[.]([.]([.]([.,1])[.]([.,1][.,2]))[.]([.]([.,0])[.,2]([.,0]))[.]([.,1][.,0])) +---------------------------------------- +[.]([.]([.]([.,1])[.]([.,1][.,2]))[.]([.]([.,0])[.,2]([.,0]))[.]([.,1][.,0])) +[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 s - in signature.simple.ReconstructionTest +[INFO] Running signature.simple.CanonicalLabellingTest +[.]([.]([.]([.,0])[.,2])[.]([.,0]([.,1])[.,3][.,1])[.,2]([.,3][.,1])[.,3]([.,1])) [0, 1, 2, 3] +[.]([.]([.,2]([.,1])[.,4][.,5])[.,4]([.,2][.,0])[.,5]([.,3]([.,1])[.,0])[.,0]([.,3])) [4] +[.]([.]([.]([.,1][.,0]))[.]([.,1]([.,2][.,0])[.,3][.,2]([.,0]))[.,3]([.,0][.,2])) [5, 6] +[.]([.]([.]([.,2][.,3][.,1])[.,2]([.,0][.,1]))[.]([.,3]([.,0][.,1])[.,0]([.,1]))) [7] +[WARNING] Tests run: 9, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 140.595 s - in signature.simple.CanonicalLabellingTest +[INFO] Running signature.simple.SimpleQuotientGraphTest +0 [.]([.]([.]([.,4]([.,3]([.,1])))[.]([.,0]([.,3])))[.]([.]([.]([.,2]([.,1]))[.,4])[.]([.]([.,2])[.,0]))) [0, 4, 6, 9, 11, 13] +1 [.]([.]([.]([.,2][.,0]))[.]([.]([.,3]([.,1]))[.]([.,2][.,4]([.,1])))[.]([.]([.,3])[.]([.,4][.,0]))) [1, 2, 3, 7, 8, 12] +2 [.]([.]([.]([.,3]([.]([.,2]))[.,1]([.]([.,2]))))[.]([.]([.,3][.,0]([.]([.,2]))))[.]([.]([.,0][.,1]))) [5, 10] +[0-1(6), 0-2(6), 1-1(6)] +0 [.]([.]([.,5]([.,2])[.,6])[.]([.,6][.,2])[.,6]([.]([.,3][.,4])[.,3]([.,1])[.,4]([.,0])[.,0]([.,1])[.,1][.,5][.,2])) [0, 1, 2, 3, 4, 5, 6, 7, 8, 9] +1 [.]([.]([.,4][.,5])[.,4]([.,2])[.,5]([.,1])[.]([.,6][.,7])[.,6]([.,3])[.,7]([.,0])[.,0]([.,3])[.,1]([.,2])[.,2][.,3]) [10] +[0-0(10), 0-1(10)] +0 [.]([.]([.]([.,4]([.,2])[.,5]([.,3]))[.]([.,6]([.,3])[.,1]([.,2])))[.]([.]([.,4][.,7]([.,3]))[.]([.,6][.,0]([.,2])))[.]([.]([.,7][.,1])[.]([.,5][.,0]))) [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17] +[0-0(27)] +0 [.]([.]([.]([.,1]([.,0])[.,0])[.]([.,3][.,4]))[.]([.]([.,1][.,4])[.,3]([.,2]))[.]([.,2]([.,0])[.,4])) [0, 1, 3, 4, 6, 7] +1 [.]([.]([.]([.,4][.,1])[.]([.,3][.,2]))[.]([.,3]([.,1])[.,4]([.,2]))[.]([.]([.,0][.,1])[.,0]([.,2]))) [2, 5, 8] +2 [.]([.]([.]([.,1]([.,2])[.,3]([.,0]))[.]([.,2][.,0]))[.]([.]([.,2][.,3])[.,4])[.,4]([.]([.,1][.,0]))) [9, 10, 11] +[0-0(6), 0-1(6), 1-2(3), 2-2(3)] +0 [.]([.]([.,4]([.,3]([.,2])[.,1]([.,2]))[.,5]([.,3][.,0]([.,2])))[.]([.,4][.,6]([.,0][.,1]))[.]([.,5][.,6])) [0, 9] +1 [.]([.]([.,4]([.,2])[.,0]([.,2]))[.]([.]([.,1][.,2])[.,3]([.,1])[.,4])[.]([.]([.,1][.,2])[.,3][.,0])) [1, 3, 5, 7, 8, 10] +2 [.]([.]([.,3]([.,2])[.,5]([.,2][.,0]))[.]([.,3][.,1]([.,2][.,0]))[.]([.,4]([.,0])[.,5])[.]([.,4][.,1])) [2, 4, 6] +[0-1(6), 1-2(12)] +0 [.]([.]([.]([.]([.,1][.,2])[.,2]([.,0]))[.,3])[.,3]([.]([.]([.,1][.,0])[.,0]))) [0] +1 [.]([.]([.,3])[.]([.]([.]([.,0])[.,2])[.,2]([.,1]([.,0])))[.,3]([.]([.,0][.,1]))) [1, 2] +2 [.]([.]([.]([.,2])[.,2]([.,1]([.,0])))[.]([.]([.,0])[.,3])[.,3]([.]([.,0][.,1]))) [3, 4] +3 [.]([.]([.]([.,1]([.,0])[.,3])[.,3]([.,2]))[.]([.,2][.,4])[.,4]([.]([.,0][.,1]))) [5, 6] +4 [.]([.]([.]([.,2][.,1]([.,0])))[.]([.]([.]([.,0])[.,0])[.,3])[.,3]([.,2]([.,1]))) [7, 8] +5 [.]([.]([.]([.]([.,2][.,1])[.,3])[.,3]([.,0]))[.]([.]([.,2]([.,1])[.,0])[.,0])) [9] +[0-1(2), 1-1(1), 1-2(2), 2-3(2), 2-4(2), 3-3(1), 3-4(2), 4-5(2)] +0 [.]([.]([.,3]([.,1]([.,0]))[.,4]([.,0]))[.]([.]([.,2][.,1])[.,3])[.]([.,2]([.,0])[.,4])) [0, 1, 2, 3, 4, 5, 6, 7, 8, 9] +[0-0(15)] +0 [.]([.]([.,2][.,3])[.,2]([.,3])[.,3]([.]([.,1][.,0])[.,1]([.,0])[.,0])) [0, 1, 2, 3, 4, 5] +1 [.]([.]([.,2][.,1])[.,2]([.,1])[.]([.,3][.,0])[.,3]([.,0])[.,0][.,1]) [6] +[0-0(6), 0-1(6)] +0 [.]([.]([.]([.,1][.,0])[.]([.,1][.,0]))[.]([.,1][.,2])[.,2]([.,0])) [0, 1, 2] +1 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,2][.,3])[.]([.,1]([.,0])[.,0])) [3, 5, 7] +2 [.]([.]([.]([.,1][.,0])[.,2])[.]([.,1]([.,0])[.,2])[.]([.,0][.,2])) [4, 6] +[0-0(3), 0-1(3), 1-2(6)] +0 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) [0, 3] +1 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) [1, 2, 4, 5] +2 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) [6, 7] +[0-0(1), 0-1(4), 1-1(2), 1-2(4), 2-2(1)] +[0-1, 0-4, 0-5, 1-2, 1-7, 2-3, 2-9, 3-4, 3-12, 4-14, 5-6, 5-15, 6-7, 6-17, 7-8, 8-9, 8-19, 9-10, 10-11, 10-20, 11-12, 11-22, 12-13, 13-14, 13-23, 14-15, 15-16, 16-17, 16-24, 17-18, 18-19, 18-25, 19-20, 20-21, 21-22, 21-25, 22-23, 23-24, 24-25] +0 [.]([.]([.]([.]([.]([.,4][.,3]([.,2]))[.,7])[.,10])[.]([.,7]([.]([.,5][.,3]))[.,11]))[.]([.,10]([.]([.,4]([.,1]([.,2]))[.,8]))[.]([.,8]([.]([.,6][.,1]))[.,12]))[.]([.,11]([.]([.,5]([.,0]([.,2]))[.,9]))[.,12]([.,9]([.,6]([.,0]))))) [0, 21] +1 [.]([.]([.]([.]([.,4]([.]([.,1][.,0]))[.,5]([.,1]([.,2])))[.,10])[.]([.]([.,5][.,7]([.,2]([.,3])))[.,11]))[.]([.,10]([.]([.,4][.,6]([.,0]([.,3]))))[.]([.]([.,6][.,8]([.,3]))[.,12]))[.]([.,11]([.]([.,9][.,7]))[.,12]([.,9]([.,8])))) [1, 4, 5, 20, 22, 25] +2 [.]([.]([.]([.]([.]([.,1]([.,0])[.,5])[.,8])[.,10]([.,5]([.,4])))[.]([.,8]([.]([.,3][.,1]))[.,12]))[.]([.]([.]([.,4]([.,0]([.,2]))[.,7])[.,10])[.]([.,7]([.,6]([.,2]))[.,11]))[.]([.,11]([.]([.,9][.,6]))[.,12]([.,9]([.,3]([.,2]))))) [2, 3, 6, 7, 10, 11, 14, 15, 18, 19, 23, 24] +3 [.]([.]([.]([.]([.]([.,2]([.,1])[.,4])[.,8])[.,10]([.,4]([.,3])))[.]([.,8]([.,5]([.,2]))[.,11]))[.]([.]([.]([.,3]([.,0]([.,1]))[.,9])[.,10])[.]([.,9]([.,6]([.,0]))[.,12]))[.]([.,11]([.]([.,5][.,7]([.,1])))[.,12]([.]([.,6][.,7])))) [8, 9, 12, 13, 16, 17] +[0-1(6), 1-2(12), 2-2(6), 2-3(12), 3-3(3)] +0 [.]([.]([.]([.,4][.,2]([.,1]))[.,4]([.,3]([.,0])))[.]([.]([.,1]([.,0])[.,2])[.,5])[.,5]([.]([.,0][.,3]))) [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11] +[0-0(18)] +0 [.]([.]([.]([.,2][.,1])[.,2][.,0]([.,1]))[.]([.,1][.,2][.,0])) [0] +1 [.]([.]([.,1]([.,0]))[.]([.,0][.,1])[.]([.,2][.,0])[.,2]([.,1])) [1, 2] +2 [.]([.]([.,1]([.,2])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,0][.,1])) [3, 4] +3 [.]([.]([.,3][.,1]([.,2]))[.]([.,0][.,1][.,2])[.,3]([.,0][.,2])) [5, 6] +[0-1(2), 1-2(2), 1-3(4), 2-2(1), 2-3(2)] +0 [.]([.]([.,6]([.,5])[.,7])[.]([.,7][.,2]([.,5]))[.,7]([.]([.,3][.,1])[.,3]([.,4])[.,4]([.,0])[.]([.,0][.,1])[.,5][.,0][.,1][.,6][.,2])) [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11] +1 [.]([.]([.,4][.,2])[.,4]([.,5])[.,5]([.,1])[.]([.,1][.,2])[.]([.,6][.,3])[.,6]([.,7])[.,7]([.,0])[.]([.,0][.,3])[.,0][.,1][.,2][.,3]) [12] +[0-0(12), 0-1(12)] +0 [.]([.]([.,4][.,1][.,2])[.]([.,5][.,0][.,3])[.]([.,4][.,5][.,0][.,1][.,2][.,3])) [0] +1 [.]([.]([.,3]([.,2][.,0][.,1]))[.]([.,3])[.]([.,3])[.]([.]([.,2][.,0][.,1])[.,3])) [1, 2] +2 [.]([.]([.,2][.,3]([.,1])[.,0])[.]([.]([.,1])[.]([.,1])[.]([.,1])[.,2][.,3][.,0])) [3, 4, 5, 6, 7, 8] +3 [.]([.]([.,1])[.]([.,1])[.]([.,1])[.]([.,0])[.]([.,0])[.]([.,0])[.]([.,1][.,0])) [9] +[0-1(2), 0-3(1), 1-2(6), 2-3(6)] +0 [.]([.]([.,3]([.,2])[.,1]([.,2]))[.]([.,3][.,0]([.,2]))[.]([.,0][.,1])) [0, 1, 2, 3, 4, 5, 6, 7] +[0-0(12)] +0 [.]([.]([.]([.,1]))[.]([.]([.]([.,0]))[.]([.]([.,0])[.,1]))) [0, 3, 6, 9] +1 [.]([.]([.]([.,1]))[.]([.]([.,0]))[.]([.]([.,1])[.]([.,0]))) [1, 2] +2 [.]([.]([.]([.,1]([.]([.,0]))))[.]([.]([.]([.]([.,0]))[.,1]))) [4, 5, 7, 8] +[0-1(4), 0-2(4), 1-1(1), 2-2(2)] +[0-1, 0-3, 0-4, 0-5, 1-2, 1-6, 1-7, 2-3, 2-6, 2-7, 3-4, 3-5, 4-5, 4-6, 5-7, 6-7] +0 [.]([.]([.,2]([.,0][.,1])[.,0]([.,1])[.,1])[.]([.,2][.,3][.,4])[.,3]([.,4][.,1])[.,4]([.,0])) [0, 1, 2, 3, 4, 5, 6, 7] +[0-0(16)] +0 [.]([.]([.]([.,2][.,3])[.]([.,1][.,0]))[.]([.,1]([.,2])[.,3]([.,0]))[.]([.,2][.,0])) [0, 1, 2, 3, 4, 5, 6, 7, 8, 9] +[0-0(15)] +0 [.]([.]([.,4][.,3])[.]([.,4][.,3])[.,4]([.]([.,2][.,1])[.,2]([.,0])[.,0]([.,1])[.,1][.,3])) [0, 1, 2, 3, 4, 5, 6, 7] +1 [.]([.]([.,4][.,2])[.,4]([.,1])[.]([.,5][.,3])[.,5]([.,0])[.,0]([.,3])[.,1]([.,2])[.,2][.,3]) [8] +[0-0(8), 0-1(8)] +0 [.]([.]([.]([.,2][.,1]))[.]([.]([.,2][.,0]))[.]([.]([.,0][.,1]))) [0, 4, 5, 6] +1 [.]([.]([.]([.,2]([.,1]))[.]([.,0]([.,1])))[.]([.]([.,2])[.]([.,0]))) [1, 2, 3, 7, 8, 9] +[0-1(12)] +0 [.]([.]([.]([.,1])[.,3][.,2]([.,1][.,0]))[.,3]([.]([.,0])[.,2])) [0] +1 [.]([.]([.,1])[.]([.,2])[.]([.]([.,0])[.,1][.,2])[.,2]([.,0])) [1, 2] +2 [.]([.]([.,1])[.]([.,0])[.]([.,3][.,1][.,2])[.,3]([.,2][.,0])) [3] +3 [.]([.]([.,2]([.]([.,0])[.,1]))[.]([.]([.,1])[.,1]([.,0])[.,2])) [4, 6] +4 [.]([.]([.,3]([.,2][.,1]))[.]([.]([.,0])[.,2]([.,0][.,1])[.,3])) [5, 7] +[0-1(2), 1-1(1), 1-2(2), 1-3(2), 2-4(2), 3-4(2)] +0 [.]([.]([.,2]([.,3][.,1])[.,4]([.,0][.,1]))[.]([.,3]([.,0])[.,1])[.]([.,2][.,0])[.]([.,0][.,1])[.]([.,3][.,4])) [0] +1 [.]([.]([.]([.,4][.,1][.,2])[.,3]([.,2])[.,5]([.,1][.,0]))[.]([.,2]([.,0])[.,4][.,5])[.]([.,1][.,0][.,3][.,4])) [1, 2, 3, 4, 5] +2 [.]([.]([.,3]([.,1][.,4])[.,5]([.,2][.,1][.,0]))[.]([.,4]([.,0])[.,5])[.]([.,1][.,2][.,4])[.]([.,0][.,2][.,3])) [6, 7, 8, 9, 10] +[0-1(5), 1-2(10), 2-2(5)] +0 [.]([.]([.]([.]([.,0][.,2])[.,3])[.,4]([.,2]([.,1])))[.]([.,3]([.,1]([.,0]))[.,4])) [0, 4] +1 [.]([.]([.,4]([.,3]))[.]([.]([.,2][.,1]([.,0]))[.,4])[.]([.,2]([.,0])[.,3]([.,1]))) [1, 3, 5, 7] +2 [.]([.]([.]([.,1])[.]([.,1][.,2]))[.]([.]([.,0])[.,2]([.,0]))[.]([.,1][.,0])) [2, 6] +3 [.]([.]([.]([.,2][.,3])[.,4])[.]([.,3]([.,0])[.,4])[.]([.,2]([.,1])[.,0]([.,1]))) [8, 9] +[0-1(4), 1-2(4), 1-3(4), 2-2(1), 3-3(1)] +0 [.]([.]([.,1]([.,0])[.,0])[.]([.,2][.,1])[.,2]([.,0])) [0, 1, 2, 3, 4, 5] +[0-0(9)] +0 [.]([.]([.]([.]([.,2])[.]([.,1][.,0])))[.]([.]([.,1])[.]([.]([.,0])[.,2]))) [0, 1, 3, 4, 6, 7, 9, 10] +1 [.]([.]([.]([.]([.,1][.,2])))[.]([.]([.,2]([.,0])))[.]([.]([.,1])[.]([.,0]))) [2, 5, 8, 11] +[0-0(4), 0-1(8), 1-1(2)] +[0-1, 0-7, 0-9, 0-15, 1-2, 1-8, 1-10, 2-3, 2-9, 2-11, 3-4, 3-10, 3-12, 4-5, 4-11, 4-13, 5-6, 5-12, 5-14, 6-7, 6-13, 6-15, 7-8, 7-14, 8-11, 8-13, 9-12, 9-14, 10-13, 10-15, 11-14, 12-15] +0 [.]([.]([.,7]([.,3]([.,2])[.,4]([.,2]))[.,8]([.,3][.,5]([.,2]))[.,9]([.,4][.,5]))[.]([.,7][.,10]([.,3][.,6]([.,2]))[.,1]([.,4][.,6]))[.]([.,8][.,10][.,0]([.,5][.,6]))[.]([.,9][.,0][.,1])) [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15] +[0-0(32)] +0 [.]([.]([.]([.,1][.,0]))[.]([.,1]([.,0])[.,2])[.,2]([.,0])) [0, 2] +1 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,0])) [1] +2 [.]([.]([.]([.,0][.,1])[.,1])[.]([.,0][.,2])[.,2]([.,1])) [3, 4, 5, 6] +[0-1(2), 0-2(4), 2-2(4)] +0 [.]([.]([.]([.,1]))[.]([.]([.,0][.,1]))[.]([.]([.,0])[.]([.,1]))) [0, 1, 6, 9] +1 [.]([.]([.]([.,1])[.]([.,2][.,0]))[.]([.]([.,0])[.]([.,1][.,2]))) [2, 5] +2 [.]([.]([.]([.,1][.,2]([.,0])))[.]([.]([.,2])[.]([.]([.,0])[.,1]))) [3, 4, 7, 8] +[0-0(2), 0-1(4), 0-2(4), 2-2(2)] +0 [.]([.]([.]([.,2])[.]([.,1][.,0]))[.]([.,1][.,2]([.,0]))) [0, 2, 4, 6] +1 [.]([.]([.]([.,1][.,2]))[.]([.,2]([.,0]))[.]([.,1][.,0])) [1, 3, 5, 7] +[0-1(8), 1-1(2)] +0 [.]([.]([.]([.,1]))[.]([.,1])[.]([.]([.,0]))[.]([.,0])) [0] +1 [.]([.]([.]([.,1]))[.]([.]([.]([.,0]))[.]([.,0])[.,1])) [1, 2, 3, 4] +2 [.]([.]([.]([.,1]))[.]([.,1]([.]([.]([.,0]))[.]([.,0])))) [5, 6, 7, 8] +[0-1(4), 1-2(4), 2-2(2)] +[INFO] Tests run: 31, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.346 s - in signature.simple.SimpleQuotientGraphTest +[INFO] Running signature.InvariantArrayTest +[INFO] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 s - in signature.InvariantArrayTest [INFO] Running signature.edgecolored.BipartiteGraphTests [0-3(b), 0-4(r), 0-5(b), 0-6(r), 1-3(r), 1-4(b), 1-5(r), 1-6(b), 2-3(b), 2-4(r), 2-5(b), 2-6(r)] [.](r[.](r[.,1]b[.,0])r[.](r[.,1]b[.,0])b[.](b[.,1]r[.,0])b[.](b[.,1]r[.,0])) [0, 2] @@ -1764,7 +1980,7 @@ [.](b[.](b[.,1]r[.,2]r[.,0])r[.](r[.,1]b[.,2]b[.,0])r[.](r[.,1]b[.,2]b[.,0])) [4, 6] [0-4(r), 0-5(b), 0-6(r), 0-7(b), 1-4(b), 1-5(r), 1-6(b), 1-7(r), 2-4(r), 2-5(b), 2-6(r), 2-7(b), 3-4(b), 3-5(r), 3-6(b), 3-7(r)] [.](b[.](r[.,2]r[.,0]b[.,1])b[.](r[.,2]r[.,0]b[.,1])r[.](b[.,2]b[.,0]r[.,1])r[.](b[.,2]b[.,0]r[.,1])) [0, 1, 2, 3, 4, 5, 6, 7] -[INFO] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.024 s - in signature.edgecolored.BipartiteGraphTests +[INFO] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.01 s - in signature.edgecolored.BipartiteGraphTests [INFO] Running signature.edgecolored.CompleteGraphTests [0-1(b), 0-2(r), 0-3(b), 1-2(b), 1-3(r), 2-3(b)] [.](b[.](r[.,0]b[.,1])b[.,0](b[.,1])r[.,1]) [0, 1, 2, 3] @@ -1786,7 +2002,169 @@ [.](r[.](r[.,7]b[.,8]b[.,0]r[.,1]b[.,2]r[.,3]b[.,4]r[.,5]b[.,6])r[.,7](b[.,8]b[.,0]r[.,1]b[.,2]r[.,3]b[.,4]r[.,5]b[.,6])b[.,8](r[.,0]b[.,1]r[.,2]b[.,3]r[.,4]b[.,5]r[.,6])b[.,0](b[.,1]r[.,2]b[.,3]r[.,4]b[.,5]r[.,6])r[.,1](b[.,2]r[.,3]b[.,4]r[.,5]b[.,6])b[.,2](b[.,3]r[.,4]b[.,5]r[.,6])r[.,3](b[.,4]r[.,5]b[.,6])b[.,4](b[.,5]r[.,6])r[.,5](b[.,6])b[.,6]) [0, 2, 4, 6, 8, 10] [.](b[.](r[.,7]b[.,8]r[.,0]r[.,1]b[.,2]r[.,3]b[.,4]r[.,5]b[.,6])b[.,7](b[.,8]r[.,0]r[.,1]b[.,2]r[.,3]b[.,4]r[.,5]b[.,6])r[.,8](b[.,0]b[.,1]r[.,2]b[.,3]r[.,4]b[.,5]r[.,6])b[.,0](r[.,1]b[.,2]r[.,3]b[.,4]r[.,5]b[.,6])b[.,1](b[.,2]r[.,3]b[.,4]r[.,5]b[.,6])r[.,2](b[.,3]r[.,4]b[.,5]r[.,6])b[.,3](b[.,4]r[.,5]b[.,6])r[.,4](b[.,5]r[.,6])b[.,5](b[.,6])r[.,6]) [1, 3, 5, 7, 9] [0-1(b), 0-2(b), 0-3(b), 0-4(r), 0-5(b), 0-6(b), 0-7(b), 0-8(r), 0-9(b), 0-10(b), 0-11(b), 1-2(b), 1-3(b), 1-4(b), 1-5(r), 1-6(b), 1-7(b), 1-8(b), 1-9(r), 1-10(b), 1-11(b), 2-3(b), 2-4(b), 2-5(b), 2-6(r), 2-7(b), 2-8(b), 2-9(b), 2-10(r), 2-11(b), 3-4(b), 3-5(b), 3-6(b), 3-7(r), 3-8(b), 3-9(b), 3-10(b), 3-11(r), 4-5(b), 4-6(b), 4-7(b), 4-8(r), 4-9(b), 4-10(b), 4-11(b), 5-6(b), 5-7(b), 5-8(b), 5-9(r), 5-10(b), 5-11(b), 6-7(b), 6-8(b), 6-9(b), 6-10(r), 6-11(b), 7-8(b), 7-9(b), 7-10(b), 7-11(r), 8-9(b), 8-10(b), 8-11(b), 9-10(b), 9-11(b), 10-11(b)] -[INFO] Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 8.587 s - in signature.edgecolored.CompleteGraphTests +[INFO] Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 17.086 s - in signature.edgecolored.CompleteGraphTests +[INFO] Running signature.edgecolored.BasicTests +0 [.](r[.](b[.,0])b[.](r[.,0])) +1 [.](r[.](b[.,0])b[.](r[.,0])) +2 [.](b[.](r[.,0])r[.](b[.,0])) +3 [.](b[.](r[.,0])r[.](b[.,0])) +[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.003 s - in signature.edgecolored.BasicTests +[INFO] Running signature.chemistry.MoleculeSignatureTest +isUnique?0C| +isUnique?0C|1H|0C-1H(SINGLE)| +isUnique?0C|1H|2H|0C-1H(SINGLE)|0C-2H(SINGLE)| +isUnique?0C|1H|2H|3H|0C-1H(SINGLE)|0C-2H(SINGLE)|0C-3H(SINGLE)| +isUnique?0C|1H|2H|3H|4H|0C-1H(SINGLE)|0C-2H(SINGLE)|0C-3H(SINGLE)|0C-4H(SINGLE)| +isUnique?0C| +isUnique?0C|1C|0C-1C(SINGLE)| +isUnique?0C|1C|2C|0C-1C(SINGLE)|0C-2C(SINGLE)| +isUnique?0C|1C|2C|3C|0C-1C(SINGLE)|0C-2C(SINGLE)|1C-3C(SINGLE)| +isUnique?0C|1C|2C|3C|0C-1C(SINGLE)|0C-2C(SINGLE)|0C-3C(SINGLE)| +isUnique?0C|1C|2C|0C-1C(SINGLE)|0C-2C(SINGLE)|1C-2C(SINGLE)| +1 +[C](=[C]([C]([C,0]([C]([H][H][H]))=[O])[H])[C]([C](=[C,0][H])=[O])[H]) +2 +[C](=[C]([C](=[C,2]([H])[H])[H])[C](=[C]([C,2][H])[N](=[C,3]))[S]([C,3]([S]([S]([C](=[N]([C]([C](=[C]([C,0][H])[H])=[C,1]))[S]([C,1]([C](=[C,0]([H])[H]))))))))) +3 +[C](=[C]([C](=[C,0]([H])[N]([O]=[O]))[H])[C](=[C]([C,0][Cl])[O]([H]))[N]([O]=[O])) +4 +[C](=[C]([C](=[C,2]([H])[H])[H])[C]([C]([C]([C](=[C]([C,0]([H])[N]([H][H]))[H])=[C,1]([C](=[C,0][H])))=[O])=[C]([C]([C,1]=[O])[C,2]))[H]) +5 +[Br]([C](=[C]([C](=[C,3]([H])[H])[O]([H]))[C](=[C]([C]([C]([C](=[C]([C,0]([H])[H])[H])=[C]([C](=[C,0][H])[C](=[O][O]([H]))))=[C,2]([C](=[C,1]([H])[H])))[C,3])[O]([C](=[C]([Br][C]([C,1]=[O]))[C,2]))))) +6 +[C](=[C]([C](=[C,1]([H])[H])[H])[C]([C]([C](=[C,0]([Cl])[N]([C]([H][H][H])[C]([H][H][H])))=[O])=[C]([C]([C,0]=[O])[C,1]))[H]) +7 +[C](=[C]([C](=[C,1]([H])[H])[H])[C]([C]([C](=[C]([C,0]([C]([H][H][H]))[H])[H])=[C,2]([C](=[C,0][N]([O]=[O]))))=[O])[C](=[C]([C,1][H])[C]([C,2]=[O]))) +8 +[C](=[C]([C](=[C,2]([H])[H])[H])[C](=[C]([C,2][H])[P]([C]([C](=[C]([C,1]([H])[H])[H])=[C]([C](=[C,1][H])[H]))[C]([C](=[C]([C,0]([H])[H])[H])=[C]([C](=[C,0][H])[H]))))[H]) +isUnique?0C|1C|2C|0C-1C(SINGLE)|0C-2C(SINGLE)|1C-2C(SINGLE)| +isUnique?0C|1C|2C|3C|4C|5C|0C-1C(SINGLE)|0C-5C(SINGLE)|1C-2C(SINGLE)|2C-3C(SINGLE)|3C-4C(SINGLE)|4C-5C(SINGLE)| +10 +isUnique?0C|1H|2H|0C-1H(SINGLE)|0C-2H(SINGLE)| +isUnique?0C|1C|2C|3C|0C-1C(SINGLE)|0C-3C(SINGLE)|1C-2C(SINGLE)|2C-3C(SINGLE)| +[C]([C]([C]([C,0]))[C]([C,0])) +isUnique?0C|1C|2C|3C|4C|0C-1C(SINGLE)|0C-4C(SINGLE)|1C-2C(SINGLE)|2C-3C(SINGLE)|3C-4C(SINGLE)| +isUnique?0C|1C|2C|3C|4C|5C|0C-1C(SINGLE)|1C-2C(SINGLE)|1C-3C(SINGLE)|2C-4C(SINGLE)|2C-5C(SINGLE)| +isUnique?0C|1C|2C|3C|0C-1C(SINGLE)|0C-2C(SINGLE)|0C-3C(SINGLE)| +isUnique?0C|1C|2C|3C|4C|5C|0C-1C(SINGLE)|0C-2C(SINGLE)|0C-3C(SINGLE)|1C-2C(SINGLE)|1C-3C(SINGLE)|2C-5C(SINGLE)|3C-4C(SINGLE)|3C-5C(SINGLE)|4C-5C(SINGLE)| +isUnique?0C|1C|2C|3C|4C|0C-1C(SINGLE)|0C-4C(SINGLE)|1C-2C(SINGLE)|1C-3C(SINGLE)|1C-4C(SINGLE)|2C-4C(SINGLE)|3C-4C(SINGLE)| +isUnique?0C|1C|2C|3C|4C|0C-1C(SINGLE)|0C-4C(SINGLE)|1C-2C(SINGLE)|1C-3C(SINGLE)|2C-4C(SINGLE)|3C-4C(SINGLE)| +[C]([C]([C]([C,0]))[C]([C,0])) +isUnique?0C|1C|2C|3C|4C|0C-1C(SINGLE)|0C-2C(SINGLE)|0C-3C(SINGLE)|0C-4C(SINGLE)|2C-3C(SINGLE)|3C-4C(SINGLE)| +isUnique?0C|1C|2C|3C|4C|0C-1C(SINGLE)|0C-2C(SINGLE)|0C-3C(SINGLE)|0C-4C(SINGLE)| +isUnique?0C|1H|2H|3H|4H|0C-1H(SINGLE)|0C-2H(SINGLE)|0C-3H(SINGLE)|0C-4H(SINGLE)| +isUnique?0C|1C|2C|3C|4C|5C|0C-1C(SINGLE)|0C-2C(SINGLE)|0C-3C(SINGLE)|0C-4C(SINGLE)|0C-5C(SINGLE)| +[C](=[C]([C](=[C,10]([C](=[O][O]([C]([C]([C]([C,8]([H][O]([C]([C](=[C]([C](=[C,5]([O])[O]))[C](=[C]([C,5][O]([C]([C]([C](=[C]([C,1]([O])[O]))=[C]([C](=[C,1][O])))=[O])))))=[O])))[H][O]([C]([C](=[C]([C](=[C,6]([O])[O]))[C](=[C]([C,6][O]([C]([C]([C](=[C]([C,2]([O])[O]))=[C]([C](=[C,2][O])))=[O])))))=[O])))[H][O]([C]([C](=[C]([C](=[C,7]([O])[O]))[C](=[C]([C,7][O]([C]([C]([C](=[C]([C,3]([O])[O]))=[C]([C](=[C,3][O])))=[O])))))=[O])))[H][O]([C]([C]([O]([C]([C](=[C]([C](=[C,4]([O])[O]))[C](=[C]([C,4][O]([C]([C]([C](=[C]([C,0]([O])[O]))=[C]([C](=[C,0][O])))=[O])))))=[O])))[C,8][H])))))))[O])[C](=[C]([C,10])[O]([C]([C]([C](=[C]([C,9]([O])[O]))=[C]([C](=[C,9][O])))=[O])))[O]) +[INFO] Tests run: 29, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.31 s - in signature.chemistry.MoleculeSignatureTest +[INFO] Running signature.chemistry.WriterTest +[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 s - in signature.chemistry.WriterTest +[INFO] Running signature.chemistry.ChiralityTest +[[C]([C]([C]([C,0]([H][O]([H]))[H][H])[H][H])[C]([C]([C,0][H][H])[H][H])[H][O]([H])) [0, 3], [C]([C]([C]([C,0]([H][H])[H][O]([H]))[H][H])[C]([C]([C,0][H][H])[H][O]([H]))[H][H]) [1, 2, 4, 5], [O]([C]([C]([C]([C,0]([H][O]([H]))[H][H])[H][H])[C]([C]([C,0][H][H])[H][H])[H])[H]) [6, 7], [H]([O]([C]([C]([C]([C,0]([H][O]([H]))[H][H])[H][H])[C]([C]([C,0][H][H])[H][H])[H]))) [8, 9], [H]([C]([C]([C]([C,0]([H][O]([H]))[H][H])[H][H])[C]([C]([C,0][H][H])[H][H])[O]([H]))) [10, 11], [H]([C]([C]([C]([C,0]([H][H])[H][O]([H]))[H][H])[C]([C]([C,0][H][H])[H][O]([H]))[H])) [12, 13, 14, 15, 16, 17, 18, 19]] +[INFO] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.038 s - in signature.chemistry.ChiralityTest +[INFO] Running signature.chemistry.NumberLabelsTest +[C]([H][O]) +[C]([H][O]) +[C]([H][O]) +[C]([H][O]) +[C]([H][O]) +[C]([H][O]) +[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.004 s - in signature.chemistry.NumberLabelsTest +[INFO] Running signature.chemistry.LargeMoleculeTest +0 [C](=[C]([C](=[C]([C,5][C,1]([C,0]))[C,7])[C](=[C,5]([C,3](=[C,0]))[C,9]))[C](=[C,7]([C]([C,4]=[C,1]))[C]([C,4](=[C,2]([C,0]))=[C,8]))[C]([C,8]([C](=[C,6][C,2]))=[C,9]([C,6]([C,3])))) [0, 8, 12, 15] +1 [C](=[C]([C](=[C]([C,4][C,1]([C,0]))[C,7])[C]([C,4](=[C,2]([C,0]))=[C,8]))[C](=[C,7]([C]([C,5]=[C,1]))[C](=[C,5]([C,3](=[C,0]))[C,9]))[C]([C,8]([C](=[C,6][C,2]))=[C,9]([C,6]([C,3])))) [1, 6, 14, 19] +2 [C]([C](=[C]([C](=[C,4][C,1]([C,0]))[C,7])[C]([C,4]([C,2]([C,0]))=[C,8]))[C](=[C,7]([C]([C,5]=[C,1]))[C](=[C,5]([C,3](=[C,0]))[C,9]))=[C]([C,8]([C]([C,6]=[C,2]))[C,9](=[C,6]([C,3])))) [2, 9, 11, 18] +3 [C]([C]([C](=[C]([C,4][C,1]([C,0]))[C,8])=[C]([C,4](=[C,2]([C,0]))[C,7]))=[C]([C,7](=[C]([C,5][C,2]))[C](=[C,5]([C,3](=[C,0]))[C,9]))[C](=[C,8]([C]([C,6]=[C,1]))[C,9](=[C,6]([C,3])))) [3, 4, 16, 17] +4 [C]([C](=[C]([C]([C,4]=[C,1]([C,0]))[C,7])[C]([C,4](=[C,2]([C,0]))=[C,8]))[C](=[C,7]([C](=[C,5][C,1]))[C]([C,5]([C,3](=[C,0]))=[C,9]))=[C]([C,8]([C](=[C,6][C,2]))[C,9]([C,6]([C,3])))) [5, 7, 10, 13] +[0-1(4), 0-3(4), 0-4(4), 1-1(2), 1-2(4), 2-3(4), 2-4(4), 3-3(2), 4-4(2)] +[C]([C]([C]([C]([C]([C]([C]([C]([C]([C]))))))))) +0 [C](=[C]([C](=[C,1][C](=[C,2]([C](=[C,3][C,4](=[C]([C,5][C,6]))))[C](=[C,7][C,3]([C](=[C,8][C,5](=[C,9]([C,10])))))))[C]([C,11](=[C]([C,12][C,13](=[C]([C,14][C,15]))))=[C]([C,2][C,12](=[C]([C,4][C,14](=[C,6]([C,16](=[C,10]))))))))[C]([C](=[C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))[C]([C,22]=[C]([C,19][C](=[C,23][C,20](=[C]([C,24][C,25]([C,10])))))))=[C]([C,11][C,22](=[C]([C,13][C,23]([C,15](=[C,24]([C,16])))))))[C]([C,1]([C](=[C,26]([C](=[C,27][C,28]([C]([C,29]=[C,30]))))[C,7]([C,27]([C,8]([C,30]([C,9]))))))=[C]([C,17][C]([C,26]=[C,18]([C](=[C,28][C,21]([C,29](=[C,25])))))))) [20, 35] +1 [C]([C]([C]([C,1]=[C]([C,2]([C]([C,3]=[C,4]([C]([C,5]=[C,6]))))[C]([C,7]=[C,3]([C]([C,8]=[C,5]([C,9]([C,10])))))))=[C]([C,11]([C]([C,12]=[C,13]([C]([C,14]=[C,15]))))[C](=[C,2][C,12](=[C]([C,4][C,15]([C,6]([C,16](=[C,10]))))))))=[C]([C](=[C,17]([C](=[C,18][C,19]([C]([C,20]=[C,21]))))[C](=[C,22][C](=[C,19][C]([C,23]=[C,20]([C]([C,24]=[C,25]([C,10])))))))[C](=[C,11][C,22]([C]([C,13]=[C,23]([C,14](=[C,24]([C,16])))))))[C]([C]([C,17]=[C]([C,26](=[C]([C,27][C,28]([C]([C,29]=[C,30]))))[C,18]([C](=[C,28][C,21]([C,30]([C,25]))))))=[C,1]([C]([C,26]=[C,7]([C,27](=[C,8]([C,29](=[C,9])))))))) [5, 25] +2 [C]([C]([C](=[C,2]([C](=[C,3][C,4]([C]([C,5]=[C,6]))))[C](=[C,7]([C]([C,8]=[C,9]([C]([C,10]=[C,11]))))[C,3]([C]([C,9]=[C,5]([C,10](=[C,12]([C,13])))))))=[C]([C,14][C]([C,7]=[C]([C,15][C,8](=[C]([C,16][C,11]([C,17](=[C,13]))))))))[C]([C](=[C,18]([C](=[C,19][C,20]([C]([C,21]=[C,22]))))[C](=[C,23]([C]([C,24]=[C,25]([C]([C,26]=[C,27]))))[C,19]([C]([C,25]=[C,21]([C,26](=[C,1]([C,13])))))))=[C,14]([C]([C,23]=[C,15]([C,24](=[C,16]([C,27]([C,17])))))))=[C]([C]([C,18]=[C]([C,28][C](=[C,20][C](=[C,29][C,22]([C]([C,1]=[C,30]))))))[C]([C,2]=[C,28]([C](=[C,4][C,29]([C,6]([C,30]([C,12])))))))) [45] +3 [C]([C]([C]([C,1]([C](=[C,2][C,3]([C]([C,4]=[C,5]))))=[C]([C,6](=[C]([C,7][C,8]([C]([C,9]=[C,10]))))[C,2]([C](=[C,8][C,5]([C,9](=[C,11]([C,12])))))))=[C]([C,13][C]([C,6]=[C]([C,14][C,7](=[C]([C,15][C,10]([C,16](=[C,12]))))))))=[C]([C]([C,17](=[C]([C,18][C,19]([C]([C,20]=[C,21]))))=[C]([C,22](=[C]([C,23][C,24](=[C]([C,25][C,26]))))[C,18](=[C]([C,24][C,21]([C,26](=[C,27]([C,12])))))))[C,13](=[C]([C,22][C,14](=[C,23]([C,15](=[C,25]([C,16])))))))[C](=[C]([C,17][C](=[C,28][C](=[C,19][C](=[C,29][C,20](=[C]([C,30][C,27]))))))[C](=[C,1][C,28]([C](=[C,3][C,29]([C,4](=[C,30]([C,11])))))))) [47, 49] +4 [C]([C]([C]([C,1]=[C]([C,2]([C](=[C,3][C,4]([C]([C,5]=[C,6]))))[C](=[C,7][C,3]([C]([C,8]=[C,5]([C,9]([C,10])))))))=[C]([C,11]([C](=[C,12][C,13]([C]([C,14]=[C,15]))))[C](=[C,2][C,12]([C](=[C,4][C,15]([C,6]([C,16](=[C,10]))))))))=[C]([C](=[C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))[C](=[C,22][C]([C,19]=[C]([C,23][C,21]([C](=[C,24][C,25]([C,10])))))))[C](=[C,11][C,22]([C](=[C,13][C,23](=[C,14]([C,24]([C,16])))))))[C](=[C]([C,17][C]([C,26](=[C]([C,27][C,28](=[C]([C,29][C,30]))))=[C,18]([C]([C,28]=[C,20]([C,29](=[C,25]))))))[C,1](=[C]([C,26][C,7]([C,27](=[C,8]([C,30](=[C,9])))))))) [2, 3] +5 [C]([C]([C]([C,1]=[C]([C,2]([C](=[C,3][C,4](=[C]([C,5][C,6]))))[C](=[C,7][C,3]([C](=[C,8][C,6](=[C,9]([C,10])))))))=[C]([C,11](=[C]([C,12][C,13](=[C]([C,14][C,15]))))[C](=[C,2][C,12](=[C]([C,4][C,15](=[C,5]([C,16](=[C,10]))))))))=[C]([C](=[C,17]([C](=[C,18][C,19](=[C]([C,20][C,21]))))[C]([C,22]=[C]([C,19][C]([C,23]=[C,20]([C]([C,24]=[C,25]([C,10])))))))[C]([C,11]=[C,22]([C]([C,13]=[C,23]([C,14](=[C,24]([C,16])))))))[C](=[C]([C,17][C](=[C,26]([C](=[C,27][C,28]([C]([C,29]=[C,30]))))[C,18]([C](=[C,28][C,21](=[C,29]([C,25]))))))[C,1](=[C]([C,26][C,7]([C,27]([C,8]([C,30]([C,9])))))))) [4, 16] +6 [C]([C](=[C]([C,1][C]([C,2](=[C]([C,3][C,4](=[C]([C,5][C,6]))))=[C]([C,7][C,3](=[C]([C,8][C,5](=[C,9]([C,10])))))))[C]([C,11](=[C]([C,12][C,13](=[C]([C,14][C,15]))))=[C]([C,2][C,12](=[C]([C,4][C,15](=[C,6]([C,16](=[C,10]))))))))=[C]([C]([C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))=[C]([C,22][C]([C,19]=[C]([C,23][C,20](=[C]([C,24][C,25]([C,10])))))))[C]([C,11]=[C,22]([C]([C,13]=[C,23]([C,14](=[C,24]([C,16])))))))[C]([C](=[C,17][C](=[C,26]([C]([C,27]=[C,28]([C]([C,29]=[C,30]))))[C,18](=[C]([C,28][C,21]([C,29](=[C,25]))))))=[C,1]([C]([C,26]=[C,7]([C,27](=[C,8]([C,30]([C,9])))))))) [22, 37] +7 [C]([C](=[C]([C,1](=[C]([C,2][C,3]([C]([C,4]=[C,5]))))[C](=[C,6]([C]([C,7]=[C,8]([C]([C,9]=[C,10]))))[C,2](=[C]([C,8][C,5]([C,9](=[C,11]([C,12])))))))[C](=[C,13][C]([C,6]=[C]([C,14][C,7](=[C]([C,15][C,10]([C,16](=[C,12]))))))))=[C]([C]([C,17]([C](=[C,18][C,19]([C]([C,20]=[C,21]))))=[C]([C,22]([C]([C,23]=[C,24]([C]([C,25]=[C,26]))))[C,18]([C]([C,24]=[C,20]([C,26]([C,27]([C,12])))))))[C,13]([C](=[C,22][C,14](=[C,23]([C,15](=[C,25]([C,16])))))))[C]([C](=[C,17][C](=[C,28][C](=[C,19][C](=[C,29][C,21]([C]([C,30]=[C,27]))))))=[C]([C,1][C,28]([C](=[C,3][C,29]([C,4](=[C,30]([C,11])))))))) [39, 54] +8 [C]([C]([C](=[C,1]([C]([C,2]=[C,3]([C]([C,4]=[C,5]))))[C]([C,6]([C]([C,7]=[C,8]([C]([C,9]=[C,10]))))=[C,2]([C]([C,8]=[C,4]([C,9](=[C,11]([C,12])))))))=[C]([C,13][C](=[C,6][C](=[C,14][C,7](=[C]([C,15][C,10]([C,16](=[C,12]))))))))=[C]([C]([C,17]([C](=[C,18][C,19]([C]([C,20]=[C,21]))))=[C]([C,22](=[C]([C,23][C,24]([C]([C,25]=[C,26]))))[C,18]([C](=[C,24][C,21]([C,25](=[C,27]([C,12])))))))[C,13](=[C]([C,22][C,14]([C,23](=[C,15]([C,26]([C,16])))))))[C]([C](=[C,17][C](=[C,28][C](=[C,19][C]([C,29]=[C,20]([C](=[C,30][C,27]))))))=[C]([C,1][C,28]([C]([C,3]=[C,29]([C,5]([C,30]([C,11])))))))) [38, 53] +9 [C]([C](=[C]([C,1](=[C]([C,2][C,3](=[C]([C,4][C,5]))))[C]([C,6]([C]([C,7]=[C,8]([C]([C,9]=[C,10]))))=[C,2]([C]([C,8]=[C,5]([C,9](=[C,11]([C,12])))))))[C](=[C,13][C](=[C,6][C](=[C,14][C,7](=[C]([C,15][C,10]([C,16](=[C,12]))))))))=[C]([C]([C,17](=[C]([C,18][C,19](=[C]([C,20][C,21]))))=[C]([C,22]([C]([C,23]=[C,24]([C]([C,25]=[C,26]))))[C,18](=[C]([C,24][C,20](=[C,25]([C,27]([C,12])))))))[C,13]([C](=[C,22][C,14]([C,23](=[C,15]([C,26]([C,16])))))))[C](=[C]([C,17][C]([C,28]=[C]([C,19][C]([C,29]=[C,21]([C]([C,30]=[C,27]))))))[C]([C,1]=[C,28]([C]([C,3]=[C,29]([C,4](=[C,30]([C,11])))))))) [48, 56] +10 [C]([C](=[C]([C,1][C](=[C,2]([C](=[C,3][C,4]([C]([C,5]=[C,6]))))[C](=[C,7][C,3]([C](=[C,8][C,6]([C,9]([C,10])))))))[C](=[C,11]([C]([C,12]=[C,13]([C]([C,14]=[C,15]))))[C]([C,2]=[C,12]([C](=[C,4][C,14](=[C,5]([C,16](=[C,10]))))))))=[C]([C](=[C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))[C]([C,22]=[C]([C,19][C]([C,23]=[C,20]([C](=[C,24][C,25]([C,10])))))))[C]([C,11]=[C,22]([C]([C,13]=[C,23]([C,15]([C,24]([C,16])))))))[C](=[C]([C,17][C](=[C,26]([C](=[C,27][C,28](=[C]([C,29][C,30]))))[C,18](=[C]([C,28][C,21]([C,29](=[C,25]))))))[C,1](=[C]([C,26][C,7]([C,27]([C,8]([C,30](=[C,9])))))))) [9, 14] +11 [C]([C](=[C]([C,2]([C](=[C,3][C,4]([C]([C,5]=[C,6]))))[C](=[C,7]([C]([C,8]=[C,9]([C]([C,10]=[C,11]))))[C,3]([C]([C,9]=[C,5]([C,11]([C,12]([C,13])))))))[C]([C,14]=[C]([C,7][C]([C,15]=[C,8]([C]([C,16]=[C,10]([C,17](=[C,13]))))))))[C](=[C]([C,18]([C](=[C,19][C,20]([C]([C,21]=[C,22]))))[C](=[C,23]([C]([C,24]=[C,25]([C]([C,26]=[C,27]))))[C,19]([C]([C,25]=[C,21]([C,27]([C,1]([C,13])))))))[C,14](=[C]([C,23][C,15](=[C,24]([C,16](=[C,26]([C,17])))))))=[C]([C](=[C,18][C](=[C,28][C](=[C,20][C](=[C,29][C,22]([C](=[C,1][C,30]))))))[C](=[C,2][C,28]([C](=[C,4][C,29]([C,6]([C,30](=[C,12])))))))) [1] +12 [C]([C](=[C]([C,1](=[C]([C,2][C,3]([C]([C,4]=[C,5]))))[C]([C,6]([C](=[C,7][C,8]([C]([C,9]=[C,10]))))=[C,2]([C](=[C,8][C,5]([C,10]([C,11]([C,12])))))))[C](=[C,13][C](=[C,6][C](=[C,14][C,7]([C]([C,15]=[C,9]([C,16](=[C,12]))))))))=[C]([C]([C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))=[C]([C,22]([C]([C,23]=[C,24]([C]([C,25]=[C,26]))))[C,18](=[C]([C,24][C,21]([C,25](=[C,27]([C,12])))))))[C,13]([C](=[C,22][C,14]([C,23](=[C,15]([C,26]([C,16])))))))[C]([C](=[C,17][C](=[C,28][C]([C,19]=[C]([C,29][C,20](=[C]([C,30][C,27]))))))=[C]([C,1][C,28]([C](=[C,3][C,29](=[C,4]([C,30](=[C,11])))))))) [40, 44] +13 [C]([C]([C](=[C,1]([C]([C,2]=[C,3]([C]([C,4]=[C,5]))))[C](=[C,6]([C]([C,7]=[C,8]([C]([C,9]=[C,10]))))[C,2](=[C]([C,8][C,5]([C,9](=[C,11]([C,12])))))))=[C]([C,13][C]([C,6]=[C]([C,14][C,7](=[C]([C,15][C,10]([C,16](=[C,12]))))))))=[C]([C](=[C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))[C]([C,22](=[C]([C,23][C,24](=[C]([C,25][C,26]))))=[C,18]([C]([C,24]=[C,20]([C,26](=[C,27]([C,12])))))))[C,13](=[C]([C,22][C,14](=[C,23]([C,15](=[C,25]([C,16])))))))[C]([C]([C,17]=[C]([C,28][C]([C,19]=[C]([C,29][C,21]([C](=[C,30][C,27]))))))=[C]([C,1][C,28](=[C]([C,3][C,29](=[C,4]([C,30]([C,11])))))))) [21, 59] +14 [C]([C](=[C]([C,1](=[C]([C,2][C,3](=[C]([C,4][C,5]))))[C]([C,6]([C]([C,7]=[C,8]([C]([C,9]=[C,10]))))=[C,2]([C]([C,8]=[C,5]([C,9](=[C,11]([C,12])))))))[C](=[C,13][C](=[C,6][C]([C,14]=[C,7]([C](=[C,15][C,10]([C,16](=[C,12]))))))))=[C]([C](=[C,17]([C](=[C,18][C,19]([C]([C,20]=[C,21]))))[C](=[C,22]([C](=[C,23][C,24]([C]([C,25]=[C,26]))))[C,18]([C](=[C,24][C,21]([C,25](=[C,27]([C,12])))))))[C,13]([C]([C,22]=[C,14]([C,23]([C,15]([C,26]([C,16])))))))[C]([C]([C,17]=[C]([C,28][C](=[C,19][C](=[C,29][C,20](=[C]([C,30][C,27]))))))=[C]([C,1][C,28](=[C]([C,3][C,29]([C,4](=[C,30]([C,11])))))))) [46, 51] +15 [C]([C](=[C]([C,2]([C]([C,3]=[C,4]([C]([C,5]=[C,6]))))[C]([C,7]([C](=[C,8][C,9]([C]([C,10]=[C,11]))))=[C,3]([C](=[C,9][C,6]([C,11]([C,12]([C,13])))))))[C](=[C,14][C](=[C,7][C](=[C,15][C,8]([C]([C,16]=[C,10]([C,17](=[C,13]))))))))[C](=[C]([C,18]([C]([C,19]=[C,20]([C]([C,21]=[C,22]))))[C]([C,23]([C](=[C,24][C,25]([C]([C,26]=[C,27]))))=[C,19]([C](=[C,25][C,22]([C,27]([C,1]([C,13])))))))[C,14]([C](=[C,23][C,15]([C,24]([C,16](=[C,26]([C,17])))))))=[C]([C](=[C,18][C]([C,28]=[C]([C,20][C]([C,29]=[C,21]([C](=[C,1][C,30]))))))[C](=[C,2][C,28](=[C]([C,4][C,29](=[C,5]([C,30](=[C,12])))))))) [0] +16 [C](=[C]([C]([C,1]=[C]([C,2]([C]([C,3]=[C,4]([C]([C,5]=[C,6]))))[C](=[C,7][C,3](=[C]([C,8][C,6]([C,9]([C,10])))))))[C](=[C,11]([C]([C,12]=[C,13]([C]([C,14]=[C,15]))))[C](=[C,2][C,12](=[C]([C,4][C,14](=[C,5]([C,16](=[C,10]))))))))[C](=[C]([C,17](=[C]([C,18][C,19](=[C]([C,20][C,21]))))[C]([C,22]=[C]([C,19][C]([C,23]=[C,20]([C](=[C,24][C,25]([C,10])))))))[C]([C,11]=[C,22]([C]([C,13]=[C,23]([C,15]([C,24]([C,16])))))))[C]([C,1](=[C]([C,26](=[C]([C,27][C,28](=[C]([C,29][C,30]))))[C,7]([C,27](=[C,8]([C,30](=[C,9]))))))=[C]([C,17][C]([C,26]=[C,18]([C]([C,28]=[C,21]([C,29](=[C,25])))))))) [30, 42] +17 [C]([C]([C]([C,1]=[C]([C,2]([C]([C,3]=[C,4]([C]([C,5]=[C,6]))))[C]([C,7]=[C,3]([C](=[C,8][C,6]([C,9]([C,10])))))))=[C]([C,11]([C]([C,12]=[C,13]([C]([C,14]=[C,15]))))[C](=[C,2][C,12](=[C]([C,4][C,14](=[C,5]([C,16](=[C,10]))))))))=[C]([C]([C,17]([C](=[C,18][C,19]([C]([C,20]=[C,21]))))=[C]([C,22][C](=[C,19][C](=[C,23][C,21]([C](=[C,24][C,25]([C,10])))))))[C](=[C,11][C,22](=[C]([C,13][C,23]([C,15]([C,24]([C,16])))))))[C]([C](=[C,17][C](=[C,26]([C](=[C,27][C,28](=[C]([C,29][C,30]))))[C,18]([C]([C,28]=[C,20]([C,30](=[C,25]))))))=[C,1]([C]([C,26]=[C,7]([C,27]([C,8]([C,29](=[C,9])))))))) [8, 36] +18 [C]([C](=[C]([C,1][C]([C,2](=[C]([C,3][C,4](=[C]([C,5][C,6]))))=[C]([C,7][C,3](=[C]([C,8][C,5](=[C,9]([C,10])))))))[C]([C,11]([C]([C,12]=[C,13]([C]([C,14]=[C,15]))))=[C]([C,2][C,12](=[C]([C,4][C,14](=[C,6]([C,16](=[C,10]))))))))=[C]([C](=[C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))[C]([C,22]=[C]([C,19][C](=[C,23][C,21]([C](=[C,24][C,25]([C,10])))))))[C](=[C,11][C,22](=[C]([C,13][C,23]([C,15]([C,24]([C,16])))))))[C](=[C]([C,17][C]([C,26](=[C]([C,27][C,28](=[C]([C,29][C,30]))))=[C,18]([C]([C,28]=[C,20]([C,29](=[C,25]))))))[C,1](=[C]([C,26][C,7](=[C,27]([C,8](=[C,30]([C,9])))))))) [17, 26] +19 [C](=[C]([C]([C,1]=[C]([C,2](=[C]([C,3][C,4]([C]([C,5]=[C,6]))))[C](=[C,7][C,3](=[C]([C,8][C,6]([C,9]([C,10])))))))[C]([C,11]([C](=[C,12][C,13](=[C]([C,14][C,15]))))=[C]([C,2][C,12]([C](=[C,4][C,14](=[C,5]([C,16](=[C,10]))))))))[C](=[C]([C,17](=[C]([C,18][C,19]([C]([C,20]=[C,21]))))[C](=[C,22][C](=[C,19][C]([C,23]=[C,20]([C]([C,24]=[C,25]([C,10])))))))[C](=[C,11][C,22]([C]([C,13]=[C,23]([C,15](=[C,24]([C,16])))))))[C]([C,1](=[C]([C,26]([C]([C,27]=[C,28]([C]([C,29]=[C,30]))))[C,7]([C,27](=[C,8]([C,29](=[C,9]))))))=[C]([C,17][C](=[C,26][C,18](=[C]([C,28][C,21]([C,30]([C,25])))))))) [7, 13] +20 [C]([C]([C]([C,1]=[C]([C,2]([C]([C,3]=[C,4]([C]([C,5]=[C,6]))))[C](=[C,7][C,3](=[C]([C,8][C,6]([C,9]([C,10])))))))=[C]([C,11](=[C]([C,12][C,13](=[C]([C,14][C,15]))))[C](=[C,2][C,12](=[C]([C,4][C,15](=[C,5]([C,16](=[C,10]))))))))=[C]([C]([C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))=[C]([C,22][C]([C,19]=[C]([C,23][C,21]([C]([C,24]=[C,25]([C,10])))))))[C]([C,11]=[C,22]([C]([C,13]=[C,23]([C,14](=[C,24]([C,16])))))))[C]([C](=[C,17][C]([C,26]([C]([C,27]=[C,28]([C]([C,29]=[C,30]))))=[C,18]([C]([C,28]=[C,20]([C,30]([C,25]))))))=[C,1]([C](=[C,26][C,7]([C,27](=[C,8]([C,29](=[C,9])))))))) [28, 32] +21 [C](=[C]([C]([C,1]=[C]([C,2](=[C]([C,3][C,4](=[C]([C,5][C,6]))))[C](=[C,7][C,3](=[C]([C,8][C,5](=[C,9]([C,10])))))))[C]([C,11](=[C]([C,12][C,13]([C]([C,14]=[C,15]))))=[C]([C,2][C,12](=[C]([C,4][C,14](=[C,6]([C,16](=[C,10]))))))))[C]([C](=[C,17]([C](=[C,18][C,19]([C]([C,20]=[C,21]))))[C](=[C,22][C](=[C,19][C](=[C,23][C,21]([C](=[C,24][C,25]([C,10])))))))=[C]([C,11][C,22]([C](=[C,13][C,23]([C,15]([C,24]([C,16])))))))[C]([C,1](=[C]([C,26]([C]([C,27]=[C,28]([C]([C,29]=[C,30]))))[C,7]([C,27](=[C,8]([C,30]([C,9]))))))=[C]([C,17][C](=[C,26][C,18]([C]([C,28]=[C,20]([C,29](=[C,25])))))))) [19, 34] +22 [C]([C](=[C]([C,1](=[C]([C,2][C,3](=[C]([C,4][C,5]))))[C](=[C,6]([C]([C,7]=[C,8]([C]([C,9]=[C,10]))))[C,2](=[C]([C,8][C,5](=[C,9]([C,11]([C,12])))))))[C]([C,13]=[C]([C,6][C](=[C,14][C,7](=[C]([C,15][C,10]([C,16](=[C,12]))))))))=[C]([C](=[C,17]([C](=[C,18][C,19]([C]([C,20]=[C,21]))))[C](=[C,22]([C](=[C,23][C,24]([C]([C,25]=[C,26]))))[C,18]([C](=[C,24][C,21]([C,26]([C,27]([C,12])))))))[C,13](=[C]([C,22][C,14]([C,23]([C,15](=[C,25]([C,16])))))))[C]([C]([C,17]=[C]([C,28][C](=[C,19][C]([C,29]=[C,20]([C]([C,30]=[C,27]))))))=[C]([C,1][C,28](=[C]([C,3][C,29](=[C,4]([C,30](=[C,11])))))))) [10, 24] +23 [C]([C]([C](=[C,2]([C]([C,3]=[C,4]([C]([C,5]=[C,6]))))[C]([C,7]([C](=[C,8][C,9]([C]([C,10]=[C,11]))))=[C,3]([C](=[C,9][C,6]([C,10](=[C,12]([C,13])))))))=[C]([C,14][C](=[C,7][C](=[C,15][C,8]([C](=[C,16][C,11]([C,17](=[C,13]))))))))[C]([C](=[C,18]([C]([C,19]=[C,20]([C]([C,21]=[C,22]))))[C]([C,23]([C](=[C,24][C,25]([C]([C,26]=[C,27]))))=[C,19]([C](=[C,25][C,22]([C,26](=[C,1]([C,13])))))))=[C,14]([C](=[C,23][C,15]([C,24]([C,16]([C,27]([C,17])))))))=[C]([C]([C,18]=[C]([C,28][C]([C,20]=[C]([C,29][C,21](=[C]([C,1][C,30]))))))[C]([C,2]=[C,28]([C]([C,4]=[C,29]([C,5](=[C,30]([C,12])))))))) [50] +24 [C](=[C]([C]([C,1]=[C]([C,2](=[C]([C,3][C,4]([C]([C,5]=[C,6]))))[C]([C,7]=[C,3]([C](=[C,8][C,6]([C,9]([C,10])))))))[C]([C,11]([C](=[C,12][C,13](=[C]([C,14][C,15]))))=[C]([C,2][C,12]([C](=[C,4][C,14](=[C,5]([C,16](=[C,10]))))))))[C](=[C]([C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))[C]([C,22]=[C]([C,19][C](=[C,23][C,20](=[C]([C,24][C,25]([C,10])))))))[C](=[C,11][C,22](=[C]([C,13][C,23]([C,15](=[C,24]([C,16])))))))[C](=[C,1]([C]([C,26]([C](=[C,27][C,28](=[C]([C,29][C,30]))))=[C,7]([C,27]([C,8]([C,29](=[C,9]))))))[C](=[C,17][C](=[C,26][C,18](=[C]([C,28][C,21]([C,30](=[C,25])))))))) [41, 43] +25 [C]([C]([C](=[C,1][C]([C,2]([C](=[C,3][C,4]([C]([C,5]=[C,6]))))=[C]([C,7][C,3]([C](=[C,8][C,6]([C,9]([C,10])))))))=[C]([C,11]([C](=[C,12][C,13](=[C]([C,14][C,15]))))[C](=[C,2][C,12]([C](=[C,4][C,15](=[C,5]([C,16](=[C,10]))))))))=[C]([C](=[C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))[C]([C,22]=[C]([C,19][C](=[C,23][C,21]([C]([C,24]=[C,25]([C,10])))))))[C](=[C,11][C,22](=[C]([C,13][C,23]([C,14](=[C,24]([C,16])))))))[C](=[C]([C,17][C]([C,26]([C]([C,27]=[C,28]([C]([C,29]=[C,30]))))=[C,18]([C]([C,28]=[C,20]([C,30]([C,25]))))))[C,1]([C](=[C,26][C,7](=[C,27]([C,8]([C,29](=[C,9])))))))) [6, 15] +26 [C](=[C]([C](=[C,1][C](=[C,2]([C]([C,3]=[C,4]([C]([C,5]=[C,6]))))[C]([C,7]=[C,3]([C]([C,8]=[C,5]([C,9]([C,10])))))))[C]([C,11]([C]([C,12]=[C,13]([C]([C,14]=[C,15]))))=[C]([C,2][C,12](=[C]([C,4][C,15]([C,6]([C,16](=[C,10]))))))))[C](=[C]([C,17](=[C]([C,18][C,19](=[C]([C,20][C,21]))))[C]([C,22]=[C]([C,19][C](=[C,23][C,20](=[C]([C,24][C,25]([C,10])))))))[C](=[C,11][C,22](=[C]([C,13][C,23]([C,14](=[C,24]([C,16])))))))[C]([C,1]([C]([C,26](=[C]([C,27][C,28](=[C]([C,29][C,30]))))=[C,7]([C,27](=[C,8]([C,30](=[C,9]))))))=[C]([C,17][C]([C,26]=[C,18]([C]([C,28]=[C,21]([C,29](=[C,25])))))))) [12, 23] +27 [C]([C]([C](=[C,1][C](=[C,2]([C]([C,3]=[C,4]([C]([C,5]=[C,6]))))[C]([C,7]=[C,3]([C]([C,8]=[C,5]([C,9]([C,10])))))))=[C]([C,11](=[C]([C,12][C,13](=[C]([C,14][C,15]))))[C]([C,2]=[C,12]([C]([C,4]=[C,15]([C,6]([C,16](=[C,10]))))))))=[C]([C](=[C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))[C]([C,22]=[C]([C,19][C]([C,23]=[C,20]([C]([C,24]=[C,25]([C,10])))))))[C]([C,11]=[C,22]([C]([C,13]=[C,23]([C,14](=[C,24]([C,16])))))))[C](=[C]([C,17][C](=[C,26]([C]([C,27]=[C,28]([C]([C,29]=[C,30]))))[C,18](=[C]([C,28][C,21]([C,30]([C,25]))))))[C,1]([C]([C,26]=[C,7]([C,27](=[C,8]([C,29](=[C,9])))))))) [18, 31] +28 [C]([C](=[C]([C,1]([C]([C,2]=[C,3]([C]([C,4]=[C,5]))))[C](=[C,6]([C]([C,7]=[C,8]([C]([C,9]=[C,10]))))[C,2](=[C]([C,8][C,5]([C,10]([C,11]([C,12])))))))[C]([C,13]=[C]([C,6][C]([C,14]=[C,7]([C]([C,15]=[C,9]([C,16](=[C,12]))))))))=[C]([C]([C,17](=[C]([C,18][C,19](=[C]([C,20][C,21]))))=[C]([C,22](=[C]([C,23][C,24](=[C]([C,25][C,26]))))[C,18](=[C]([C,24][C,20](=[C,26]([C,27]([C,12])))))))[C,13](=[C]([C,22][C,14](=[C,23]([C,15](=[C,25]([C,16])))))))[C](=[C]([C,17][C]([C,28]=[C]([C,19][C]([C,29]=[C,21]([C]([C,30]=[C,27]))))))[C](=[C,1][C,28](=[C]([C,3][C,29](=[C,4]([C,30](=[C,11])))))))) [27, 29] +29 [C]([C]([C](=[C,1]([C]([C,2]=[C,3]([C]([C,4]=[C,5]))))[C]([C,6]([C]([C,7]=[C,8]([C]([C,9]=[C,10]))))=[C,2]([C]([C,8]=[C,4]([C,10]([C,11]([C,12])))))))=[C]([C,13][C](=[C,6][C]([C,14]=[C,7]([C]([C,15]=[C,9]([C,16](=[C,12]))))))))=[C]([C]([C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))=[C]([C,22](=[C]([C,23][C,24](=[C]([C,25][C,26]))))[C,18](=[C]([C,24][C,21]([C,26](=[C,27]([C,12])))))))[C,13](=[C]([C,22][C,14](=[C,23]([C,15](=[C,25]([C,16])))))))[C]([C](=[C,17][C]([C,28]=[C]([C,19][C](=[C,29][C,20](=[C]([C,30][C,27]))))))=[C]([C,1][C,28](=[C]([C,3][C,29]([C,5]([C,30](=[C,11])))))))) [11, 57] +30 [C]([C]([C](=[C,1]([C](=[C,2][C,3](=[C]([C,4][C,5]))))[C](=[C,6]([C](=[C,7][C,8]([C]([C,9]=[C,10]))))[C,2]([C](=[C,8][C,4](=[C,9]([C,11]([C,12])))))))=[C]([C,13][C]([C,6]=[C]([C,14][C,7]([C](=[C,15][C,10]([C,16](=[C,12]))))))))=[C]([C](=[C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))[C](=[C,22]([C]([C,23]=[C,24]([C]([C,25]=[C,26]))))[C,18](=[C]([C,24][C,21]([C,25](=[C,27]([C,12])))))))[C,13](=[C]([C,22][C,14](=[C,23]([C,15]([C,26]([C,16])))))))[C]([C]([C,17]=[C]([C,28][C]([C,19]=[C]([C,29][C,20](=[C]([C,30][C,27]))))))=[C]([C,1][C,28](=[C]([C,3][C,29](=[C,5]([C,30](=[C,11])))))))) [52, 58] +31 [C]([C](=[C]([C,1][C]([C,2]([C](=[C,3][C,4]([C]([C,5]=[C,6]))))=[C]([C,7][C,3]([C]([C,8]=[C,5]([C,9]([C,10])))))))[C](=[C,11]([C](=[C,12][C,13]([C]([C,14]=[C,15]))))[C](=[C,2][C,12]([C](=[C,4][C,15]([C,6]([C,16](=[C,10]))))))))=[C]([C](=[C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))[C]([C,22]=[C]([C,19][C](=[C,23][C,20](=[C]([C,24][C,25]([C,10])))))))[C]([C,11]=[C,22]([C](=[C,13][C,23]([C,14](=[C,24]([C,16])))))))[C]([C]([C,17]=[C]([C,26](=[C]([C,27][C,28](=[C]([C,29][C,30]))))[C,18](=[C]([C,28][C,21]([C,30](=[C,25]))))))=[C,1]([C]([C,26]=[C,7]([C,27](=[C,8]([C,29](=[C,9])))))))) [33, 55] +[0-21(2), 0-30(2), 0-31(2), 1-21(2), 1-25(2), 1-27(2), 2-12(2), 2-23(1), 3-3(1), 3-9(2), 3-14(2), 4-5(2), 4-11(2), 4-25(2), 5-5(1), 5-18(2), 6-6(1), 6-9(2), 6-26(2), 7-8(2), 7-12(2), 7-31(2), 8-14(2), 8-30(2), 9-13(2), 10-17(2), 10-22(2), 10-25(2), 11-15(1), 12-24(2), 13-29(2), 13-30(2), 14-23(2), 15-17(2), 16-20(2), 16-24(2), 16-28(2), 17-19(2), 18-27(2), 18-28(2), 19-19(1), 19-26(2), 20-27(2), 20-31(2), 21-22(2), 22-29(2), 24-24(1), 26-29(2), 28-28(1)] +[C]([C]([C]([C,5])[C,5])[C]([C]([C,4])[C,4])[C]([C]([C,3])[C,3])[C]([C]([C,2])[C,2])[C]([C]([C,1])[C,1])[C]([C]([C,0])[C,0])) +0C|1C|2C|3C|4C|5C|6C|7C|8C|9C|10C|11C|12C|13C|14C|15C|16C|17C|18C|0C-1C(SINGLE)|0C-4C(SINGLE)|0C-7C(SINGLE)|0C-10C(SINGLE)|0C-13C(SINGLE)|0C-16C(SINGLE)|1C-2C(SINGLE)|1C-3C(SINGLE)|2C-3C(SINGLE)|4C-5C(SINGLE)|4C-6C(SINGLE)|5C-6C(SINGLE)|7C-8C(SINGLE)|7C-9C(SINGLE)|8C-9C(SINGLE)|10C-11C(SINGLE)|10C-12C(SINGLE)|11C-12C(SINGLE)|13C-14C(SINGLE)|13C-15C(SINGLE)|14C-15C(SINGLE)|16C-17C(SINGLE)|16C-18C(SINGLE)|17C-18C(SINGLE)| +result [C]([C]([C]([C,5])[C,5])[C]([C]([C,4])[C,4])[C]([C]([C,3])[C,3])[C]([C]([C,2])[C,2])[C]([C]([C,1])[C,1])[C]([C]([C,0])[C,0])) +[Rh]([P]([C]([C]([C]([C,6]))[C]([C]([C,6])))[C]([C]([C]([C,3]))[C]([C]([C,3])))[C]([C]([C]([C,2]))[C]([C]([C,2]))))[P]([C]([C]([C]([C,7]))[C]([C]([C,7])))[C]([C]([C]([C,4]))[C]([C]([C,4])))[C]([C]([C]([C,1]))[C]([C]([C,1]))))[P]([C]([C]([C]([C,8]))[C]([C]([C,8])))[C]([C]([C]([C,5]))[C]([C]([C,5])))[C]([C]([C]([C,0]))[C]([C]([C,0]))))) +0 [C]([C]([C]([C]([C]([C]([C]([C]([C,2]([C,1])[C,7])[C,12])[C,14]([C,7]([C,5])))[C,21])[C,24]([C]([C,16][C,14])))[C,27]([C,21]([C,19]([C,12]([C,10])))))[C]([C]([C]([C,16]([C]([C,5]([C,3]([C,1]))[C,9]))[C,23])[C,24])[C,29]))[C]([C]([C]([C]([C]([C]([C]([C,8][C,0]([C,1]))[C,13])[C,15]([C,8]([C,6])))[C,22])[C,25]([C]([C,17][C,15])))[C,28]([C,22]([C,20]([C,13]([C,11])))))[C,29]([C]([C,23]([C,17]([C,9]([C,6]([C,3]))))[C,25])))[C]([C]([C]([C]([C]([C,10]([C]([C,4][C,2]))[C,18])[C,19])[C,26])[C,27])[C]([C,26]([C]([C,18]([C,11]([C,4]([C,0])))[C,20]))[C,28]))) [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59] +[0-0(90)] +0 [C]([C](=[C]([C](=[C]([C]([C]([C]([C,2]([C,1])=[C,7])=[C,12])=[C,14]([C,7]([C,5])))[C,21])[C,24]([C](=[C,16][C,14])))[C,27]([C,21](=[C,19]([C,12]([C,10])))))[C]([C]([C]([C,16]([C](=[C,5]([C,3](=[C,1]))[C,9]))=[C,23])=[C,24])=[C,29]))[C](=[C]([C](=[C]([C]([C]([C](=[C,8][C,0]([C,1]))=[C,13])=[C,15]([C,8]([C,6])))[C,22])[C,25]([C](=[C,17][C,15])))[C,28]([C,22](=[C,20]([C,13]([C,11])))))[C,29]([C]([C,23]([C,17]([C,9](=[C,6]([C,3]))))=[C,25])))=[C]([C]([C](=[C]([C](=[C,10]([C]([C,4]=[C,2]))[C,18])[C,19])[C,26])=[C,27])[C]([C,26](=[C]([C,18](=[C,11]([C,4](=[C,0])))[C,20]))=[C,28]))) [0] +1 [C]([C](=[C]([C]([C]([C](=[C]([C]([C,2]([C,1])=[C,7])[C,12])[C,14]([C,7]([C,5])))=[C,21])=[C,24]([C]([C,16]=[C,14])))[C,27]([C,21]([C,19]([C,12](=[C,10])))))[C](=[C]([C](=[C,16]([C](=[C,5]([C,3](=[C,1]))[C,9]))[C,23])[C,24])[C,29]))[C](=[C]([C]([C]([C](=[C]([C](=[C,8][C,0]([C,1]))[C,13])[C,15]([C,8]([C,6])))=[C,22])=[C,25]([C]([C,17]=[C,15])))[C,28]([C,22]([C,20]([C,13](=[C,11])))))[C,29](=[C]([C,23](=[C,17]([C,9](=[C,6]([C,3]))))[C,25])))=[C]([C]([C]([C]([C]([C,10]([C]([C,4]=[C,2]))=[C,18])=[C,19])=[C,26])=[C,27])[C]([C,26]([C]([C,18]([C,11]([C,4](=[C,0])))=[C,20]))=[C,28]))) [1] +2 [C]([C](=[C]([C](=[C]([C](=[C]([C](=[C,1]([C,0])[C,7])[C,12])[C,14](=[C,7]([C,6])))[C,21])[C,24](=[C]([C,17][C,14])))[C,27]([C,21](=[C,19]([C,12](=[C,10])))))[C](=[C]([C]([C,17](=[C]([C,6](=[C,2]([C,0]))[C,9]))=[C,23])[C,24])[C,29]))[C](=[C]([C]([C]([C]([C]([C]([C,3](=[C,0])=[C,8])=[C,13])=[C,15]([C,8]([C,5])))=[C,22])=[C,25]([C](=[C,16][C,15])))[C,28]([C,22]([C,20]([C,13]([C,11])))))[C,29](=[C]([C,23]([C,16]([C,9](=[C,5]([C,2]))))[C,25])))=[C]([C]([C]([C](=[C]([C,10]([C](=[C,4][C,1]))[C,18])[C,19])=[C,26])=[C,27])[C]([C,26]([C]([C,18](=[C,11]([C,4]([C,3])))=[C,20]))=[C,28]))) [2, 3] +3 [C]([C](=[C]([C]([C](=[C]([C](=[C]([C,3](=[C,0])[C,7])[C,13])[C,14](=[C,7]([C,5])))[C,21])=[C,24]([C](=[C,16][C,14])))[C,27](=[C,21]([C,20](=[C,13]([C,10])))))[C](=[C]([C]([C,16]([C]([C,5](=[C,2]([C,0]))=[C,9]))=[C,23])[C,24])[C,29]))=[C]([C](=[C]([C](=[C]([C,10](=[C]([C,4][C,3]))[C,18])[C,20])[C,26])[C,27])[C]([C,26](=[C]([C,18](=[C]([C,4](=[C,1]([C,0]))[C,12]))[C,19](=[C,12]([C,11]))))=[C,28]([C](=[C,22][C,19]))))[C](=[C]([C]([C,22]([C]([C,11](=[C]([C,1][C,8]))=[C,15]([C,8](=[C,6]))))=[C,25]([C](=[C,17][C,15])))[C,28])[C,29](=[C]([C,23]([C,17]([C,9]([C,6]([C,2]))))[C,25])))) [4, 16] +4 [C]([C]([C](=[C]([C]([C]([C]([C]([C,1]([C,0])=[C,7])=[C,12])=[C,14]([C,7]([C,6])))=[C,21])[C,24](=[C]([C,17][C,14])))[C,27]([C,21]([C,19]([C,12]([C,10])))))=[C]([C](=[C]([C,17](=[C]([C,6](=[C,2]([C,0]))[C,9]))[C,23])[C,24])[C,29]))[C](=[C]([C]([C](=[C]([C]([C]([C,3](=[C,0])=[C,8])=[C,13])[C,15]([C,8]([C,5])))[C,22])=[C,25]([C]([C,16]=[C,15])))[C,28]([C,22](=[C,20]([C,13]([C,11])))))[C,29](=[C]([C,23](=[C,16]([C,9](=[C,5]([C,2]))))[C,25])))=[C]([C]([C]([C]([C](=[C,10]([C]([C,4]=[C,1]))[C,18])=[C,19])=[C,26])=[C,27])[C]([C,26]([C](=[C,18]([C,11](=[C,4]([C,3])))[C,20]))=[C,28]))) [5, 25] +5 [C]([C](=[C]([C]([C]([C]([C](=[C]([C,3](=[C,0])[C,8])[C,12])=[C,15]([C,8](=[C,6])))=[C,21])=[C,25]([C](=[C,17][C,15])))[C,27]([C,21]([C,19](=[C,12]([C,10])))))[C]([C](=[C]([C,17]([C]([C,6]([C,2]([C,0]))=[C,9]))[C,23])[C,25])=[C,29]))=[C]([C]([C](=[C]([C]([C,10](=[C]([C,4][C,3]))=[C,18])[C,19])[C,26])=[C,27])[C]([C,26](=[C]([C,18]([C]([C,4](=[C,1]([C,0]))=[C,13]))[C,20]([C,13]([C,11]))))=[C,28]([C]([C,22]=[C,20]))))[C](=[C]([C](=[C,22]([C](=[C,11]([C]([C,1]=[C,7]))[C,14]([C,7]([C,5]))))[C,24]([C]([C,16]=[C,14])))[C,28])[C,29]([C]([C,23](=[C,16]([C,9]([C,5](=[C,2]))))=[C,24])))) [6, 15] +6 [C](=[C]([C](=[C]([C]([C]([C](=[C]([C,3](=[C,0])[C,8])[C,12])=[C,15]([C,8](=[C,5])))=[C,21])[C,24](=[C]([C,16][C,15])))[C,27]([C,21]([C,19](=[C,12]([C,10])))))[C](=[C]([C]([C,16](=[C]([C,5]([C,2]([C,0]))[C,9]))=[C,23])[C,24])[C,29]))[C]([C]([C]([C](=[C]([C,10](=[C]([C,4][C,3]))[C,18])[C,19])=[C,26])=[C,27])=[C]([C,26]([C]([C,18](=[C]([C,4](=[C,1]([C,0]))[C,13]))=[C,20]([C,13](=[C,11]))))[C,28](=[C]([C,22][C,20]))))[C](=[C]([C]([C,22](=[C]([C,11]([C]([C,1]=[C,7]))[C,14]([C,7]([C,6]))))=[C,25]([C]([C,17]=[C,14])))[C,28])[C,29](=[C]([C,23]([C,17](=[C,9]([C,6](=[C,2]))))[C,25])))) [7, 13] +7 [C]([C]([C]([C]([C]([C](=[C]([C](=[C,1]([C,0])[C,7])[C,12])[C,14](=[C,7]([C,6])))=[C,21])=[C,24]([C](=[C,17][C,14])))=[C,27]([C,21]([C,19]([C,12](=[C,10])))))=[C]([C](=[C]([C,17]([C]([C,6](=[C,2]([C,0]))=[C,9]))[C,23])[C,24])[C,29]))[C](=[C]([C]([C](=[C]([C](=[C]([C,3](=[C,0])[C,8])[C,13])[C,15]([C,8](=[C,5])))[C,22])=[C,25]([C]([C,16]=[C,15])))[C,28]([C,22](=[C,20]([C,13](=[C,11])))))[C,29](=[C]([C,23](=[C,16]([C,9]([C,5]([C,2]))))[C,25])))=[C]([C](=[C]([C]([C]([C,10]([C](=[C,4][C,1]))=[C,18])=[C,19])[C,26])[C,27])[C]([C,26](=[C]([C,18]([C,11]([C,4]([C,3])))[C,20]))=[C,28]))) [8, 36] +8 [C]([C](=[C]([C]([C](=[C]([C]([C](=[C,1]([C,0])[C,7])=[C,12])[C,14](=[C,7]([C,5])))[C,21])=[C,24]([C](=[C,16][C,14])))[C,27]([C,21](=[C,19]([C,12]([C,10])))))[C](=[C]([C]([C,16]([C]([C,5](=[C,2]([C,0]))=[C,9]))=[C,23])[C,24])[C,29]))[C]([C]([C](=[C]([C]([C](=[C]([C,3](=[C,0])[C,8])[C,13])=[C,15]([C,8](=[C,6])))[C,22])[C,25]([C](=[C,17][C,15])))=[C,28]([C,22](=[C,20]([C,13](=[C,11])))))=[C,29]([C]([C,23]([C,17]([C,9]([C,6]([C,2]))))=[C,25])))=[C]([C]([C](=[C]([C](=[C,10]([C](=[C,4][C,1]))[C,18])[C,19])[C,26])=[C,27])[C](=[C,26]([C](=[C,18]([C,11]([C,4]([C,3])))[C,20]))[C,28]))) [9, 14] +9 [C]([C](=[C]([C]([C](=[C]([C](=[C]([C,1]([C,0])[C,7])[C,12])[C,14]([C,7](=[C,6])))[C,21])=[C,24]([C]([C,17]=[C,14])))[C,27](=[C,21]([C,19](=[C,12]([C,10])))))[C](=[C]([C]([C,17](=[C]([C,6]([C,3](=[C,0]))[C,9]))=[C,23])[C,24])[C,29]))[C](=[C]([C](=[C]([C](=[C,10]([C]([C,4]=[C,1]))[C,18])[C,19])[C,26])[C,27])[C](=[C,26]([C]([C,18](=[C]([C,4](=[C,2]([C,0]))[C,13]))=[C,20]([C,13](=[C,11]))))[C,28]([C](=[C,22][C,20]))))=[C]([C]([C]([C,22]([C]([C,11]([C]([C,2]=[C,8]))=[C,15]([C,8]([C,5]))))=[C,25]([C](=[C,16][C,15])))=[C,28])[C,29](=[C]([C,23]([C,16]([C,9](=[C,5]([C,3]))))[C,25])))) [10, 24] +10 [C](=[C]([C](=[C]([C](=[C]([C]([C](=[C,1]([C,0])[C,7])=[C,12])[C,14](=[C,7]([C,5])))[C,21])[C,24](=[C]([C,16][C,14])))[C,27]([C,21](=[C,19]([C,12]([C,10])))))[C](=[C]([C](=[C,16]([C](=[C,5]([C,3](=[C,0]))[C,9]))[C,23])[C,24])[C,29]))[C]([C]([C](=[C]([C](=[C]([C]([C,2]([C,0])=[C,8])[C,13])[C,15]([C,8]([C,6])))[C,22])[C,25]([C]([C,17]=[C,15])))=[C,28]([C,22](=[C,20]([C,13](=[C,11])))))=[C,29]([C]([C,23](=[C,17]([C,9](=[C,6]([C,3]))))=[C,25])))[C]([C]([C](=[C]([C]([C,10](=[C]([C,4][C,1]))=[C,18])[C,19])[C,26])=[C,27])=[C]([C,26](=[C]([C,18]([C,11]([C,4](=[C,2])))[C,20]))[C,28]))) [11, 57] +11 [C]([C](=[C]([C](=[C]([C](=[C]([C](=[C,1]([C,0])[C,7])[C,12])[C,14](=[C,7]([C,6])))[C,21])[C,24](=[C]([C,17][C,14])))[C,27](=[C,21]([C,19](=[C,12]([C,10])))))[C]([C](=[C]([C,17](=[C]([C,6](=[C,2]([C,0]))[C,9]))[C,23])[C,24])=[C,29]))[C](=[C]([C](=[C]([C]([C,10](=[C]([C,4][C,1]))=[C,18])[C,19])[C,26])[C,27])[C]([C,26](=[C]([C,18]([C](=[C,4]([C,3](=[C,0]))[C,13]))[C,20]([C,13](=[C,11]))))=[C,28]([C]([C,22]=[C,20]))))=[C]([C](=[C]([C,22](=[C]([C,11]([C]([C,3]=[C,8]))[C,15]([C,8]([C,5]))))[C,25]([C]([C,16]=[C,15])))[C,28])[C,29]([C]([C,23](=[C,16]([C,9](=[C,5]([C,2]))))=[C,25])))) [12, 23] +12 [C]([C](=[C]([C](=[C]([C](=[C]([C](=[C,1]([C,0])[C,7])[C,12])[C,14](=[C,7]([C,5])))[C,21])[C,24](=[C]([C,16][C,14])))[C,27]([C,21](=[C,19]([C,12](=[C,10])))))[C](=[C]([C](=[C,16]([C](=[C,5]([C,2]([C,0]))[C,9]))[C,23])[C,24])[C,29]))[C]([C](=[C]([C](=[C]([C](=[C]([C,3](=[C,0])[C,8])[C,13])[C,15](=[C,8]([C,6])))[C,22])[C,25](=[C]([C,17][C,15])))[C,28]([C,22](=[C,20]([C,13](=[C,11])))))=[C,29]([C](=[C,23]([C,17](=[C,9]([C,6](=[C,2]))))[C,25])))=[C]([C]([C](=[C]([C]([C,10]([C](=[C,4][C,1]))=[C,18])[C,19])[C,26])=[C,27])[C]([C,26](=[C]([C,18]([C,11]([C,4]([C,3])))[C,20]))=[C,28]))) [17, 26] +13 [C]([C](=[C]([C](=[C]([C](=[C]([C]([C,3](=[C,0])=[C,8])[C,12])[C,15]([C,8]([C,5])))[C,21])[C,25]([C]([C,16]=[C,15])))[C,27](=[C,21]([C,19](=[C,12]([C,10])))))[C]([C]([C](=[C,16]([C](=[C,5]([C,2]([C,0]))[C,9]))[C,23])=[C,25])=[C,29]))=[C]([C](=[C]([C](=[C]([C,10](=[C]([C,4][C,3]))[C,18])[C,19])[C,26])[C,27])[C]([C,26](=[C]([C,18](=[C]([C,4](=[C,1]([C,0]))[C,13]))[C,20]([C,13](=[C,11]))))=[C,28]([C]([C,22]=[C,20]))))[C](=[C]([C]([C,22](=[C]([C,11]([C]([C,1]=[C,7]))[C,14]([C,7]([C,6]))))=[C,24]([C]([C,17]=[C,14])))[C,28])[C,29]([C](=[C,23]([C,17](=[C,9]([C,6](=[C,2]))))[C,24])))) [18, 31] +14 [C](=[C]([C](=[C]([C](=[C]([C](=[C]([C,3](=[C,0])[C,7])[C,13])[C,14](=[C,7]([C,5])))[C,21])[C,24](=[C]([C,16][C,14])))[C,27](=[C,21]([C,20]([C,13](=[C,10])))))[C](=[C]([C]([C,16](=[C]([C,5](=[C,2]([C,0]))[C,9]))=[C,23])[C,24])[C,29]))[C](=[C]([C]([C]([C]([C,10]([C](=[C,4][C,3]))=[C,18])=[C,20])=[C,26])[C,27])[C]([C,26]([C]([C,18]([C]([C,4]([C,1]([C,0]))=[C,12]))=[C,19]([C,12]([C,11]))))=[C,28]([C](=[C,22][C,19]))))[C](=[C]([C]([C,22]([C](=[C,11]([C](=[C,1][C,8]))[C,15]([C,8](=[C,6]))))=[C,25]([C]([C,17]=[C,15])))[C,28])[C,29](=[C]([C,23]([C,17](=[C,9]([C,6]([C,2]))))[C,25])))) [19, 34] +15 [C](=[C]([C](=[C]([C](=[C]([C](=[C]([C,3](=[C,0])[C,7])[C,12])[C,14](=[C,7]([C,5])))[C,21])[C,24]([C](=[C,16][C,14])))[C,27](=[C,21]([C,19](=[C,12]([C,10])))))[C]([C]([C]([C,16]([C]([C,5](=[C,2]([C,0]))=[C,9]))=[C,23])=[C,24])=[C,29]))[C](=[C]([C](=[C]([C]([C,10](=[C]([C,4][C,3]))=[C,18])[C,19])[C,26])[C,27])[C]([C,26](=[C]([C,18]([C](=[C,4]([C,1]([C,0]))[C,13]))[C,20]([C,13](=[C,11]))))=[C,28]([C]([C,22]=[C,20]))))[C](=[C]([C](=[C,22]([C]([C,11]([C](=[C,1][C,8]))=[C,15]([C,8](=[C,6]))))[C,25]([C](=[C,17][C,15])))[C,28])[C,29]([C]([C,23]([C,17]([C,9]([C,6]([C,2]))))=[C,25])))) [20, 35] +16 [C](=[C]([C]([C](=[C]([C](=[C]([C](=[C,2]([C,0])[C,7])[C,13])[C,14](=[C,7]([C,5])))[C,21])[C,24](=[C]([C,16][C,14])))=[C,27]([C,21](=[C,20]([C,13](=[C,11])))))[C](=[C]([C](=[C,16]([C](=[C,5]([C,3](=[C,0]))[C,9]))[C,23])[C,24])[C,29]))[C]([C]([C]([C](=[C]([C]([C](=[C,1]([C,0])[C,8])=[C,12])[C,15]([C,8](=[C,6])))[C,22])=[C,25]([C]([C,17]=[C,15])))=[C,28]([C,22](=[C,19]([C,12]([C,10])))))=[C,29]([C](=[C,23]([C,17](=[C,9]([C,6]([C,3]))))[C,25])))[C](=[C]([C](=[C]([C](=[C,10]([C](=[C,4][C,1]))[C,18])[C,19])[C,26])[C,28])[C](=[C,26]([C](=[C,18]([C,11]([C,4]([C,2])))[C,20]))[C,27]))) [21, 59] +17 [C]([C]([C](=[C]([C](=[C]([C](=[C]([C,3](=[C,0])[C,7])[C,12])[C,14](=[C,7]([C,5])))[C,21])[C,24](=[C]([C,16][C,14])))[C,27](=[C,21]([C,19](=[C,12]([C,10])))))=[C]([C](=[C]([C,16](=[C]([C,5](=[C,2]([C,0]))[C,9]))[C,23])[C,24])[C,29]))=[C]([C](=[C]([C](=[C]([C,10](=[C]([C,4][C,3]))[C,18])[C,19])[C,26])[C,27])[C](=[C,26]([C](=[C,18]([C](=[C,4]([C,1]([C,0]))[C,13]))[C,20]([C,13](=[C,11]))))[C,28]([C]([C,22]=[C,20]))))[C]([C]([C]([C,22](=[C]([C,11]([C](=[C,1][C,8]))[C,15]([C,8](=[C,6]))))=[C,25]([C]([C,17]=[C,15])))=[C,28])=[C,29]([C](=[C,23]([C,17](=[C,9]([C,6]([C,2]))))[C,25])))) [22, 37] +18 [C](=[C]([C](=[C]([C](=[C]([C](=[C]([C,1]([C,0])[C,7])[C,12])[C,14](=[C,7]([C,5])))[C,21])[C,24](=[C]([C,16][C,14])))[C,27](=[C,21]([C,19](=[C,12]([C,10])))))[C](=[C]([C](=[C,16]([C](=[C,5]([C,3](=[C,0]))[C,9]))[C,23])[C,24])[C,29]))[C](=[C]([C](=[C]([C](=[C,10]([C]([C,4]=[C,1]))[C,18])[C,19])[C,26])[C,27])[C]([C,26](=[C]([C,18](=[C]([C,4](=[C,2]([C,0]))[C,13]))[C,20]([C,13](=[C,11]))))=[C,28]([C]([C,22]=[C,20]))))[C](=[C]([C]([C,22](=[C]([C,11]([C]([C,2]=[C,8]))[C,15]([C,8]([C,6]))))=[C,25]([C]([C,17]=[C,15])))[C,28])[C,29](=[C]([C,23](=[C,17]([C,9](=[C,6]([C,3]))))[C,25])))) [27, 29] +19 [C]([C](=[C]([C]([C](=[C]([C](=[C]([C,3](=[C,0])[C,8])[C,12])[C,15]([C,8](=[C,5])))[C,21])=[C,25]([C]([C,16]=[C,15])))[C,27](=[C,21]([C,19](=[C,12]([C,10])))))[C](=[C]([C]([C,16](=[C]([C,5]([C,2]([C,0]))[C,9]))=[C,23])[C,25])[C,29]))=[C]([C](=[C]([C](=[C]([C,10](=[C]([C,4][C,3]))[C,18])[C,19])[C,26])[C,27])[C](=[C,26]([C](=[C,18]([C]([C,4](=[C,1]([C,0]))=[C,13]))[C,20]([C,13]([C,11]))))[C,28]([C]([C,22]=[C,20]))))[C]([C]([C](=[C,22]([C](=[C,11]([C]([C,1]=[C,7]))[C,14]([C,7]([C,6]))))[C,24]([C]([C,17]=[C,14])))=[C,28])=[C,29]([C]([C,23]([C,17](=[C,9]([C,6](=[C,2]))))=[C,24])))) [28, 32] +20 [C]([C](=[C]([C](=[C]([C](=[C]([C](=[C,1]([C,0])[C,7])[C,12])[C,14](=[C,7]([C,5])))[C,21])[C,24](=[C]([C,16][C,14])))[C,27](=[C,21]([C,19](=[C,12]([C,10])))))[C](=[C]([C]([C,16](=[C]([C,5](=[C,2]([C,0]))[C,9]))=[C,23])[C,24])[C,29]))[C](=[C]([C](=[C]([C](=[C,10]([C](=[C,4][C,1]))[C,18])[C,19])[C,26])[C,27])[C](=[C,26]([C](=[C,18]([C]([C,4]([C,3](=[C,0]))=[C,13]))[C,20]([C,13]([C,11]))))[C,28]([C]([C,22]=[C,20]))))=[C]([C]([C]([C,22](=[C]([C,11](=[C]([C,3][C,8]))[C,15]([C,8](=[C,6]))))=[C,25]([C]([C,17]=[C,15])))=[C,28])[C,29](=[C]([C,23]([C,17](=[C,9]([C,6]([C,2]))))[C,25])))) [30, 42] +21 [C]([C]([C](=[C]([C](=[C]([C]([C](=[C,1]([C,0])[C,7])=[C,12])[C,14](=[C,7]([C,6])))[C,21])[C,24](=[C]([C,17][C,14])))[C,27]([C,21](=[C,19]([C,12]([C,10])))))=[C]([C](=[C]([C,17](=[C]([C,6](=[C,2]([C,0]))[C,9]))[C,23])[C,24])[C,29]))[C]([C]([C]([C]([C]([C]([C]([C,3](=[C,0])=[C,8])=[C,13])=[C,15]([C,8]([C,5])))=[C,22])=[C,25]([C](=[C,16][C,15])))=[C,28]([C,22]([C,20]([C,13]([C,11])))))=[C,29]([C](=[C,23]([C,16]([C,9](=[C,5]([C,2]))))[C,25])))=[C]([C]([C](=[C]([C]([C,10](=[C]([C,4][C,1]))=[C,18])[C,19])[C,26])=[C,27])[C](=[C,26]([C]([C,18]([C,11](=[C,4]([C,3])))=[C,20]))[C,28]))) [33, 55] +22 [C](=[C]([C](=[C]([C]([C]([C]([C](=[C,1]([C,0])[C,8])=[C,12])=[C,15]([C,8](=[C,5])))=[C,21])[C,24](=[C]([C,16][C,15])))[C,27]([C,21]([C,19]([C,12]([C,10])))))[C](=[C]([C]([C,16](=[C]([C,5]([C,3](=[C,0]))[C,9]))=[C,23])[C,24])[C,29]))[C]([C]([C](=[C]([C](=[C]([C](=[C,2]([C,0])[C,7])[C,13])[C,14]([C,7](=[C,6])))[C,22])[C,25]([C]([C,17]=[C,14])))=[C,28]([C,22](=[C,20]([C,13](=[C,11])))))=[C,29]([C]([C,23]([C,17](=[C,9]([C,6]([C,3]))))=[C,25])))[C]([C]([C]([C]([C](=[C,10]([C](=[C,4][C,1]))[C,18])=[C,19])=[C,26])=[C,27])=[C]([C,26]([C](=[C,18]([C,11]([C,4]([C,2])))[C,20]))[C,28]))) [38, 53] +23 [C]([C](=[C]([C]([C](=[C]([C]([C](=[C,1]([C,0])[C,8])=[C,12])[C,15]([C,8](=[C,6])))[C,21])=[C,25]([C]([C,17]=[C,15])))[C,27](=[C,21]([C,19]([C,12]([C,10])))))[C]([C](=[C]([C,17](=[C]([C,6]([C,3](=[C,0]))[C,9]))[C,23])[C,25])=[C,29]))[C](=[C]([C]([C]([C]([C,10](=[C]([C,4][C,1]))=[C,18])=[C,19])=[C,26])[C,27])[C]([C,26]([C]([C,18]([C]([C,4](=[C,2]([C,0]))=[C,13]))=[C,20]([C,13]([C,11]))))=[C,28]([C](=[C,22][C,20]))))=[C]([C](=[C]([C,22]([C](=[C,11]([C]([C,2]=[C,7]))[C,14]([C,7]([C,5]))))[C,24]([C]([C,16]=[C,14])))[C,28])[C,29]([C]([C,23](=[C,16]([C,9](=[C,5]([C,3]))))=[C,24])))) [39, 54] +24 [C]([C](=[C]([C](=[C]([C]([C]([C]([C,2]([C,0])=[C,8])=[C,13])=[C,15]([C,8]([C,5])))[C,21])[C,25]([C](=[C,16][C,15])))[C,27](=[C,21]([C,20]([C,13]([C,10])))))[C]([C]([C]([C,16]([C](=[C,5]([C,3](=[C,0]))[C,9]))=[C,23])=[C,25])=[C,29]))[C](=[C]([C]([C]([C](=[C,10]([C]([C,4]=[C,2]))[C,18])=[C,20])=[C,26])[C,27])[C]([C,26]([C](=[C,18]([C](=[C,4]([C,1]([C,0]))[C,12]))[C,19]([C,12](=[C,11]))))=[C,28]([C]([C,22]=[C,19]))))=[C]([C](=[C]([C,22](=[C]([C,11]([C](=[C,1][C,7]))[C,14]([C,7](=[C,6]))))[C,24]([C]([C,17]=[C,14])))[C,28])[C,29]([C]([C,23]([C,17](=[C,9]([C,6]([C,3]))))=[C,24])))) [40, 44] +25 [C](=[C]([C](=[C]([C]([C]([C](=[C]([C,3](=[C,0])[C,8])[C,12])=[C,15]([C,8](=[C,5])))=[C,21])[C,25](=[C]([C,16][C,15])))[C,27]([C,21]([C,19](=[C,12]([C,10])))))[C](=[C]([C](=[C,16]([C]([C,5]([C,2]([C,0]))=[C,9]))[C,23])[C,25])[C,29]))[C]([C]([C](=[C]([C]([C,10](=[C]([C,4][C,3]))=[C,18])[C,19])[C,26])=[C,27])=[C]([C,26](=[C]([C,18]([C](=[C,4]([C,1]([C,0]))[C,13]))[C,20]([C,13](=[C,11]))))[C,28]([C]([C,22]=[C,20]))))[C]([C]([C]([C,22](=[C]([C,11]([C](=[C,1][C,7]))[C,14](=[C,7]([C,6]))))=[C,24]([C](=[C,17][C,14])))=[C,28])=[C,29]([C](=[C,23]([C,17]([C,9]([C,6](=[C,2]))))[C,24])))) [41, 43] +26 [C]([C]([C]([C]([C]([C](=[C]([C](=[C,2]([C,1])[C,7])[C,12])[C,14]([C,7](=[C,5])))=[C,21])=[C,24]([C]([C,16]=[C,14])))=[C,27]([C,21]([C,19]([C,12](=[C,10])))))=[C]([C](=[C]([C,16](=[C]([C,5]([C,3](=[C,1]))[C,9]))[C,23])[C,24])[C,29]))[C]([C]([C]([C]([C](=[C]([C]([C,8]=[C,0]([C,1]))[C,13])[C,15]([C,8](=[C,6])))=[C,22])=[C,25]([C]([C,17]=[C,15])))=[C,28]([C,22]([C,20]([C,13](=[C,11])))))=[C,29]([C](=[C,23]([C,17](=[C,9]([C,6]([C,3]))))[C,25])))=[C]([C](=[C]([C]([C]([C,10]([C](=[C,4][C,2]))=[C,18])=[C,19])[C,26])[C,27])[C](=[C,26]([C]([C,18]([C,11]([C,4]([C,0])))=[C,20]))[C,28]))) [45] +27 [C]([C](=[C]([C](=[C]([C](=[C]([C](=[C,1]([C,0])[C,7])[C,12])[C,14]([C,7](=[C,5])))[C,21])[C,24]([C]([C,16]=[C,14])))[C,27](=[C,21]([C,19](=[C,12]([C,10])))))[C]([C]([C](=[C,16]([C]([C,5]([C,3](=[C,0]))=[C,9]))[C,23])=[C,24])=[C,29]))[C](=[C]([C](=[C]([C]([C,10](=[C]([C,4][C,1]))=[C,18])[C,19])[C,26])[C,27])[C](=[C,26]([C]([C,18]([C](=[C,4]([C,2]([C,0]))[C,13]))=[C,20]([C,13](=[C,11]))))[C,28]([C](=[C,22][C,20]))))=[C]([C]([C]([C,22]([C]([C,11]([C](=[C,2][C,8]))=[C,15]([C,8](=[C,6]))))=[C,25]([C](=[C,17][C,15])))=[C,28])[C,29]([C](=[C,23]([C,17]([C,9]([C,6]([C,3]))))[C,25])))) [46, 51] +28 [C](=[C]([C](=[C]([C](=[C]([C]([C](=[C,1]([C,0])[C,7])=[C,12])[C,14](=[C,7]([C,5])))[C,21])[C,24](=[C]([C,16][C,14])))[C,27](=[C,21]([C,19]([C,12]([C,10])))))[C](=[C]([C](=[C,16]([C](=[C,5]([C,3](=[C,0]))[C,9]))[C,23])[C,24])[C,29]))[C](=[C]([C]([C]([C]([C,10](=[C]([C,4][C,1]))=[C,18])=[C,19])=[C,26])[C,27])[C]([C,26]([C]([C,18]([C](=[C,4]([C,2]([C,0]))[C,13]))=[C,20]([C,13](=[C,11]))))=[C,28]([C](=[C,22][C,20]))))[C]([C](=[C]([C,22]([C]([C,11]([C](=[C,2][C,8]))=[C,15]([C,8](=[C,6]))))[C,25](=[C]([C,17][C,15])))[C,28])=[C,29]([C](=[C,23]([C,17](=[C,9]([C,6]([C,3]))))[C,25])))) [47, 49] +29 [C](=[C]([C](=[C]([C](=[C]([C](=[C]([C,2]([C,0])[C,7])[C,13])[C,14]([C,7](=[C,5])))[C,21])[C,24]([C]([C,16]=[C,14])))[C,27](=[C,21]([C,20](=[C,13]([C,11])))))[C]([C]([C]([C,16](=[C]([C,5]([C,3](=[C,0]))[C,9]))=[C,23])=[C,24])=[C,29]))[C](=[C]([C](=[C]([C](=[C]([C](=[C,1]([C,0])[C,8])[C,12])[C,15]([C,8](=[C,6])))[C,22])[C,25]([C]([C,17]=[C,15])))[C,28](=[C,22]([C,19](=[C,12]([C,10])))))[C,29]([C]([C,23]([C,17](=[C,9]([C,6]([C,3]))))=[C,25])))[C]([C](=[C]([C](=[C]([C,10](=[C]([C,4][C,1]))[C,18])[C,19])[C,26])[C,28])=[C]([C,26](=[C]([C,18](=[C,11]([C,4](=[C,2])))[C,20]))[C,27]))) [48, 56] +30 [C]([C]([C]([C](=[C]([C]([C]([C](=[C,2]([C,1])[C,7])=[C,12])=[C,14]([C,7](=[C,5])))[C,21])[C,24]([C](=[C,16][C,14])))=[C,27]([C,21](=[C,19]([C,12]([C,10])))))=[C]([C]([C]([C,16]([C]([C,5]([C,3](=[C,1]))=[C,9]))=[C,23])=[C,24])[C,29]))[C]([C]([C](=[C]([C]([C]([C]([C,8]=[C,0]([C,1]))=[C,13])=[C,15]([C,8](=[C,6])))[C,22])[C,25]([C](=[C,17][C,15])))=[C,28]([C,22](=[C,20]([C,13]([C,11])))))=[C,29]([C]([C,23]([C,17]([C,9]([C,6]([C,3]))))=[C,25])))=[C]([C](=[C]([C](=[C]([C,10](=[C]([C,4][C,2]))[C,18])[C,19])[C,26])[C,27])[C](=[C,26]([C](=[C,18]([C,11](=[C,4]([C,0])))[C,20]))[C,28]))) [50] +31 [C]([C]([C]([C]([C]([C]([C](=[C]([C,2]([C,0])[C,7])[C,12])=[C,14]([C,7](=[C,6])))=[C,21])=[C,24]([C](=[C,17][C,14])))=[C,27]([C,21]([C,19](=[C,12]([C,10])))))=[C]([C](=[C]([C,17]([C]([C,6]([C,3](=[C,0]))=[C,9]))[C,23])[C,24])[C,29]))[C](=[C]([C](=[C]([C](=[C,10]([C]([C,4]=[C,2]))[C,18])[C,19])[C,26])[C,27])[C](=[C,26]([C](=[C,18]([C](=[C,4]([C,1]([C,0]))[C,13]))[C,20]([C,13](=[C,11]))))[C,28]([C]([C,22]=[C,20]))))=[C]([C]([C]([C,22](=[C]([C,11]([C](=[C,1][C,8]))[C,15]([C,8](=[C,5]))))=[C,25]([C]([C,16]=[C,15])))=[C,28])[C,29](=[C]([C,23](=[C,16]([C,9]([C,5]([C,3]))))[C,25])))) [52, 58] +[0-1(1), 0-7(2), 1-2(2), 2-3(2), 2-5(2), 3-3(1), 3-12(2), 4-5(2), 4-13(2), 4-14(2), 5-8(2), 6-6(1), 6-7(2), 6-11(2), 7-8(2), 8-9(2), 9-10(2), 9-14(2), 10-11(2), 10-16(2), 11-17(2), 12-13(2), 12-18(2), 13-19(2), 14-15(2), 15-21(2), 15-31(2), 16-29(2), 16-31(2), 17-17(1), 17-29(2), 18-18(1), 18-20(2), 19-20(2), 19-21(2), 20-25(2), 21-23(2), 22-23(2), 22-27(2), 22-31(2), 23-24(2), 24-25(2), 24-26(2), 25-25(1), 26-30(1), 27-28(2), 27-30(2), 28-28(1), 28-29(2)] +[INFO] Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.413 s - in signature.chemistry.LargeMoleculeTest +[INFO] Running signature.chemistry.MultipleBondTest +[C]([C]([C,0])=[C]([C,0])) +[C](=[C]([C,0])[C](=[C,0])) +[O]([C](=[O])[C]([C]([O]))) +-------------------------------------- +[O]([C](=[O])[C]([C]([O]))) +[C]([C]=[C][H]) +[C]([C]=[C][H]) +[C](p[C](p[C](p[C,0]))p[C](p[C](p[C,0]))) +[INFO] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 s - in signature.chemistry.MultipleBondTest +[INFO] Running signature.ParsingTest +[A](=[B1]([C])=[B2]) +[A](=[B1]=[B2]) +[A](=[B]) +[INFO] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 s - in signature.ParsingTest [INFO] Running signature.PermutationTest 0O|1C|2C|3O|4C|5O|0O-1C(SINGLE)|1C-2C(SINGLE)|2C-3O(SINGLE)|3O-4C(SINGLE)|4C-5O(DOUBLE)| 0 [O]([C]([C]([O]([C](=[O]))))) @@ -3248,7 +3626,7 @@ 0O|1C|2N|0O-2N(SINGLE)|1C-2N(SINGLE)| [1, 2, 0] [C]([N]([O])) true 0N|1O|2C|0N-1O(SINGLE)|0N-2C(SINGLE)| [2, 0, 1] [C]([N]([O])) true 0O|1N|2C|0O-1N(SINGLE)|1N-2C(SINGLE)| [2, 1, 0] [C]([N]([O])) true -[INFO] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.493 s - in signature.PermutationTest +[INFO] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.401 s - in signature.PermutationTest [INFO] Running signature.HeightTest 1 [.]([.][.][.][.][.][.]) 2 [.]([.]([.,4][.,0][.,1][.,2][.,3])[.,4]([.,0][.,1][.,2][.,3])[.,0]([.,1][.,2][.,3])[.,1]([.,2][.,3])[.,2]([.,3])[.,3]) @@ -3256,349 +3634,7 @@ 4 [.]([.]([.,4][.,0][.,1][.,2][.,3])[.,4]([.,0][.,1][.,2][.,3])[.,0]([.,1][.,2][.,3])[.,1]([.,2][.,3])[.,2]([.,3])[.,3]) 5 [.]([.]([.,4][.,0][.,1][.,2][.,3])[.,4]([.,0][.,1][.,2][.,3])[.,0]([.,1][.,2][.,3])[.,1]([.,2][.,3])[.,2]([.,3])[.,3]) 6 [.]([.]([.,4][.,0][.,1][.,2][.,3])[.,4]([.,0][.,1][.,2][.,3])[.,0]([.,1][.,2][.,3])[.,1]([.,2][.,3])[.,2]([.,3])[.,3]) -[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.486 s - in signature.HeightTest -[INFO] Running signature.simple.ReconstructionTest -[.]([.]([.]([.,1])[.]([.,1][.,2]))[.]([.]([.,0])[.,2]([.,0]))[.]([.,1][.,0])) ----------------------------------------- -[.]([.]([.]([.,1])[.]([.,1][.,2]))[.]([.]([.,0])[.,2]([.,0]))[.]([.,1][.,0])) -[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 s - in signature.simple.ReconstructionTest -[INFO] Running signature.simple.SimpleQuotientGraphTest -0 [.]([.]([.]([.,4]([.,3]([.,1])))[.]([.,0]([.,3])))[.]([.]([.]([.,2]([.,1]))[.,4])[.]([.]([.,2])[.,0]))) [0, 4, 6, 9, 11, 13] -1 [.]([.]([.]([.,2][.,0]))[.]([.]([.,3]([.,1]))[.]([.,2][.,4]([.,1])))[.]([.]([.,3])[.]([.,4][.,0]))) [1, 2, 3, 7, 8, 12] -2 [.]([.]([.]([.,3]([.]([.,2]))[.,1]([.]([.,2]))))[.]([.]([.,3][.,0]([.]([.,2]))))[.]([.]([.,0][.,1]))) [5, 10] -[0-1(6), 0-2(6), 1-1(6)] -0 [.]([.]([.,5]([.,2])[.,6])[.]([.,6][.,2])[.,6]([.]([.,3][.,4])[.,3]([.,1])[.,4]([.,0])[.,0]([.,1])[.,1][.,5][.,2])) [0, 1, 2, 3, 4, 5, 6, 7, 8, 9] -1 [.]([.]([.,4][.,5])[.,4]([.,2])[.,5]([.,1])[.]([.,6][.,7])[.,6]([.,3])[.,7]([.,0])[.,0]([.,3])[.,1]([.,2])[.,2][.,3]) [10] -[0-0(10), 0-1(10)] -0 [.]([.]([.]([.,4]([.,2])[.,5]([.,3]))[.]([.,6]([.,3])[.,1]([.,2])))[.]([.]([.,4][.,7]([.,3]))[.]([.,6][.,0]([.,2])))[.]([.]([.,7][.,1])[.]([.,5][.,0]))) [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17] -[0-0(27)] -0 [.]([.]([.]([.,1]([.,0])[.,0])[.]([.,3][.,4]))[.]([.]([.,1][.,4])[.,3]([.,2]))[.]([.,2]([.,0])[.,4])) [0, 1, 3, 4, 6, 7] -1 [.]([.]([.]([.,4][.,1])[.]([.,3][.,2]))[.]([.,3]([.,1])[.,4]([.,2]))[.]([.]([.,0][.,1])[.,0]([.,2]))) [2, 5, 8] -2 [.]([.]([.]([.,1]([.,2])[.,3]([.,0]))[.]([.,2][.,0]))[.]([.]([.,2][.,3])[.,4])[.,4]([.]([.,1][.,0]))) [9, 10, 11] -[0-0(6), 0-1(6), 1-2(3), 2-2(3)] -0 [.]([.]([.,4]([.,3]([.,2])[.,1]([.,2]))[.,5]([.,3][.,0]([.,2])))[.]([.,4][.,6]([.,0][.,1]))[.]([.,5][.,6])) [0, 9] -1 [.]([.]([.,4]([.,2])[.,0]([.,2]))[.]([.]([.,1][.,2])[.,3]([.,1])[.,4])[.]([.]([.,1][.,2])[.,3][.,0])) [1, 3, 5, 7, 8, 10] -2 [.]([.]([.,3]([.,2])[.,5]([.,2][.,0]))[.]([.,3][.,1]([.,2][.,0]))[.]([.,4]([.,0])[.,5])[.]([.,4][.,1])) [2, 4, 6] -[0-1(6), 1-2(12)] -0 [.]([.]([.]([.]([.,1][.,2])[.,2]([.,0]))[.,3])[.,3]([.]([.]([.,1][.,0])[.,0]))) [0] -1 [.]([.]([.,3])[.]([.]([.]([.,0])[.,2])[.,2]([.,1]([.,0])))[.,3]([.]([.,0][.,1]))) [1, 2] -2 [.]([.]([.]([.,2])[.,2]([.,1]([.,0])))[.]([.]([.,0])[.,3])[.,3]([.]([.,0][.,1]))) [3, 4] -3 [.]([.]([.]([.,1]([.,0])[.,3])[.,3]([.,2]))[.]([.,2][.,4])[.,4]([.]([.,0][.,1]))) [5, 6] -4 [.]([.]([.]([.,2][.,1]([.,0])))[.]([.]([.]([.,0])[.,0])[.,3])[.,3]([.,2]([.,1]))) [7, 8] -5 [.]([.]([.]([.]([.,2][.,1])[.,3])[.,3]([.,0]))[.]([.]([.,2]([.,1])[.,0])[.,0])) [9] -[0-1(2), 1-1(1), 1-2(2), 2-3(2), 2-4(2), 3-3(1), 3-4(2), 4-5(2)] -0 [.]([.]([.,3]([.,1]([.,0]))[.,4]([.,0]))[.]([.]([.,2][.,1])[.,3])[.]([.,2]([.,0])[.,4])) [0, 1, 2, 3, 4, 5, 6, 7, 8, 9] -[0-0(15)] -0 [.]([.]([.,2][.,3])[.,2]([.,3])[.,3]([.]([.,1][.,0])[.,1]([.,0])[.,0])) [0, 1, 2, 3, 4, 5] -1 [.]([.]([.,2][.,1])[.,2]([.,1])[.]([.,3][.,0])[.,3]([.,0])[.,0][.,1]) [6] -[0-0(6), 0-1(6)] -0 [.]([.]([.]([.,1][.,0])[.]([.,1][.,0]))[.]([.,1][.,2])[.,2]([.,0])) [0, 1, 2] -1 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,2][.,3])[.]([.,1]([.,0])[.,0])) [3, 5, 7] -2 [.]([.]([.]([.,1][.,0])[.,2])[.]([.,1]([.,0])[.,2])[.]([.,0][.,2])) [4, 6] -[0-0(3), 0-1(3), 1-2(6)] -0 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) [0, 3] -1 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) [1, 2, 4, 5] -2 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) [6, 7] -[0-0(1), 0-1(4), 1-1(2), 1-2(4), 2-2(1)] -[0-1, 0-4, 0-5, 1-2, 1-7, 2-3, 2-9, 3-4, 3-12, 4-14, 5-6, 5-15, 6-7, 6-17, 7-8, 8-9, 8-19, 9-10, 10-11, 10-20, 11-12, 11-22, 12-13, 13-14, 13-23, 14-15, 15-16, 16-17, 16-24, 17-18, 18-19, 18-25, 19-20, 20-21, 21-22, 21-25, 22-23, 23-24, 24-25] -0 [.]([.]([.]([.]([.]([.,4][.,3]([.,2]))[.,7])[.,10])[.]([.,7]([.]([.,5][.,3]))[.,11]))[.]([.,10]([.]([.,4]([.,1]([.,2]))[.,8]))[.]([.,8]([.]([.,6][.,1]))[.,12]))[.]([.,11]([.]([.,5]([.,0]([.,2]))[.,9]))[.,12]([.,9]([.,6]([.,0]))))) [0, 21] -1 [.]([.]([.]([.]([.,4]([.]([.,1][.,0]))[.,5]([.,1]([.,2])))[.,10])[.]([.]([.,5][.,7]([.,2]([.,3])))[.,11]))[.]([.,10]([.]([.,4][.,6]([.,0]([.,3]))))[.]([.]([.,6][.,8]([.,3]))[.,12]))[.]([.,11]([.]([.,9][.,7]))[.,12]([.,9]([.,8])))) [1, 4, 5, 20, 22, 25] -2 [.]([.]([.]([.]([.]([.,1]([.,0])[.,5])[.,8])[.,10]([.,5]([.,4])))[.]([.,8]([.]([.,3][.,1]))[.,12]))[.]([.]([.]([.,4]([.,0]([.,2]))[.,7])[.,10])[.]([.,7]([.,6]([.,2]))[.,11]))[.]([.,11]([.]([.,9][.,6]))[.,12]([.,9]([.,3]([.,2]))))) [2, 3, 6, 7, 10, 11, 14, 15, 18, 19, 23, 24] -3 [.]([.]([.]([.]([.]([.,2]([.,1])[.,4])[.,8])[.,10]([.,4]([.,3])))[.]([.,8]([.,5]([.,2]))[.,11]))[.]([.]([.]([.,3]([.,0]([.,1]))[.,9])[.,10])[.]([.,9]([.,6]([.,0]))[.,12]))[.]([.,11]([.]([.,5][.,7]([.,1])))[.,12]([.]([.,6][.,7])))) [8, 9, 12, 13, 16, 17] -[0-1(6), 1-2(12), 2-2(6), 2-3(12), 3-3(3)] -0 [.]([.]([.]([.,4][.,2]([.,1]))[.,4]([.,3]([.,0])))[.]([.]([.,1]([.,0])[.,2])[.,5])[.,5]([.]([.,0][.,3]))) [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11] -[0-0(18)] -0 [.]([.]([.]([.,2][.,1])[.,2][.,0]([.,1]))[.]([.,1][.,2][.,0])) [0] -1 [.]([.]([.,1]([.,0]))[.]([.,0][.,1])[.]([.,2][.,0])[.,2]([.,1])) [1, 2] -2 [.]([.]([.,1]([.,2])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,0][.,1])) [3, 4] -3 [.]([.]([.,3][.,1]([.,2]))[.]([.,0][.,1][.,2])[.,3]([.,0][.,2])) [5, 6] -[0-1(2), 1-2(2), 1-3(4), 2-2(1), 2-3(2)] -0 [.]([.]([.,6]([.,5])[.,7])[.]([.,7][.,2]([.,5]))[.,7]([.]([.,3][.,1])[.,3]([.,4])[.,4]([.,0])[.]([.,0][.,1])[.,5][.,0][.,1][.,6][.,2])) [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11] -1 [.]([.]([.,4][.,2])[.,4]([.,5])[.,5]([.,1])[.]([.,1][.,2])[.]([.,6][.,3])[.,6]([.,7])[.,7]([.,0])[.]([.,0][.,3])[.,0][.,1][.,2][.,3]) [12] -[0-0(12), 0-1(12)] -0 [.]([.]([.,4][.,1][.,2])[.]([.,5][.,0][.,3])[.]([.,4][.,5][.,0][.,1][.,2][.,3])) [0] -1 [.]([.]([.,3]([.,2][.,0][.,1]))[.]([.,3])[.]([.,3])[.]([.]([.,2][.,0][.,1])[.,3])) [1, 2] -2 [.]([.]([.,2][.,3]([.,1])[.,0])[.]([.]([.,1])[.]([.,1])[.]([.,1])[.,2][.,3][.,0])) [3, 4, 5, 6, 7, 8] -3 [.]([.]([.,1])[.]([.,1])[.]([.,1])[.]([.,0])[.]([.,0])[.]([.,0])[.]([.,1][.,0])) [9] -[0-1(2), 0-3(1), 1-2(6), 2-3(6)] -0 [.]([.]([.,3]([.,2])[.,1]([.,2]))[.]([.,3][.,0]([.,2]))[.]([.,0][.,1])) [0, 1, 2, 3, 4, 5, 6, 7] -[0-0(12)] -0 [.]([.]([.]([.,1]))[.]([.]([.]([.,0]))[.]([.]([.,0])[.,1]))) [0, 3, 6, 9] -1 [.]([.]([.]([.,1]))[.]([.]([.,0]))[.]([.]([.,1])[.]([.,0]))) [1, 2] -2 [.]([.]([.]([.,1]([.]([.,0]))))[.]([.]([.]([.]([.,0]))[.,1]))) [4, 5, 7, 8] -[0-1(4), 0-2(4), 1-1(1), 2-2(2)] -[0-1, 0-3, 0-4, 0-5, 1-2, 1-6, 1-7, 2-3, 2-6, 2-7, 3-4, 3-5, 4-5, 4-6, 5-7, 6-7] -0 [.]([.]([.,2]([.,0][.,1])[.,0]([.,1])[.,1])[.]([.,2][.,3][.,4])[.,3]([.,4][.,1])[.,4]([.,0])) [0, 1, 2, 3, 4, 5, 6, 7] -[0-0(16)] -0 [.]([.]([.]([.,2][.,3])[.]([.,1][.,0]))[.]([.,1]([.,2])[.,3]([.,0]))[.]([.,2][.,0])) [0, 1, 2, 3, 4, 5, 6, 7, 8, 9] -[0-0(15)] -0 [.]([.]([.,4][.,3])[.]([.,4][.,3])[.,4]([.]([.,2][.,1])[.,2]([.,0])[.,0]([.,1])[.,1][.,3])) [0, 1, 2, 3, 4, 5, 6, 7] -1 [.]([.]([.,4][.,2])[.,4]([.,1])[.]([.,5][.,3])[.,5]([.,0])[.,0]([.,3])[.,1]([.,2])[.,2][.,3]) [8] -[0-0(8), 0-1(8)] -0 [.]([.]([.]([.,2][.,1]))[.]([.]([.,2][.,0]))[.]([.]([.,0][.,1]))) [0, 4, 5, 6] -1 [.]([.]([.]([.,2]([.,1]))[.]([.,0]([.,1])))[.]([.]([.,2])[.]([.,0]))) [1, 2, 3, 7, 8, 9] -[0-1(12)] -0 [.]([.]([.]([.,1])[.,3][.,2]([.,1][.,0]))[.,3]([.]([.,0])[.,2])) [0] -1 [.]([.]([.,1])[.]([.,2])[.]([.]([.,0])[.,1][.,2])[.,2]([.,0])) [1, 2] -2 [.]([.]([.,1])[.]([.,0])[.]([.,3][.,1][.,2])[.,3]([.,2][.,0])) [3] -3 [.]([.]([.,2]([.]([.,0])[.,1]))[.]([.]([.,1])[.,1]([.,0])[.,2])) [4, 6] -4 [.]([.]([.,3]([.,2][.,1]))[.]([.]([.,0])[.,2]([.,0][.,1])[.,3])) [5, 7] -[0-1(2), 1-1(1), 1-2(2), 1-3(2), 2-4(2), 3-4(2)] -0 [.]([.]([.,2]([.,3][.,1])[.,4]([.,0][.,1]))[.]([.,3]([.,0])[.,1])[.]([.,2][.,0])[.]([.,0][.,1])[.]([.,3][.,4])) [0] -1 [.]([.]([.]([.,4][.,1][.,2])[.,3]([.,2])[.,5]([.,1][.,0]))[.]([.,2]([.,0])[.,4][.,5])[.]([.,1][.,0][.,3][.,4])) [1, 2, 3, 4, 5] -2 [.]([.]([.,3]([.,1][.,4])[.,5]([.,2][.,1][.,0]))[.]([.,4]([.,0])[.,5])[.]([.,1][.,2][.,4])[.]([.,0][.,2][.,3])) [6, 7, 8, 9, 10] -[0-1(5), 1-2(10), 2-2(5)] -0 [.]([.]([.]([.]([.,0][.,2])[.,3])[.,4]([.,2]([.,1])))[.]([.,3]([.,1]([.,0]))[.,4])) [0, 4] -1 [.]([.]([.,4]([.,3]))[.]([.]([.,2][.,1]([.,0]))[.,4])[.]([.,2]([.,0])[.,3]([.,1]))) [1, 3, 5, 7] -2 [.]([.]([.]([.,1])[.]([.,1][.,2]))[.]([.]([.,0])[.,2]([.,0]))[.]([.,1][.,0])) [2, 6] -3 [.]([.]([.]([.,2][.,3])[.,4])[.]([.,3]([.,0])[.,4])[.]([.,2]([.,1])[.,0]([.,1]))) [8, 9] -[0-1(4), 1-2(4), 1-3(4), 2-2(1), 3-3(1)] -0 [.]([.]([.,1]([.,0])[.,0])[.]([.,2][.,1])[.,2]([.,0])) [0, 1, 2, 3, 4, 5] -[0-0(9)] -0 [.]([.]([.]([.]([.,2])[.]([.,1][.,0])))[.]([.]([.,1])[.]([.]([.,0])[.,2]))) [0, 1, 3, 4, 6, 7, 9, 10] -1 [.]([.]([.]([.]([.,1][.,2])))[.]([.]([.,2]([.,0])))[.]([.]([.,1])[.]([.,0]))) [2, 5, 8, 11] -[0-0(4), 0-1(8), 1-1(2)] -[0-1, 0-7, 0-9, 0-15, 1-2, 1-8, 1-10, 2-3, 2-9, 2-11, 3-4, 3-10, 3-12, 4-5, 4-11, 4-13, 5-6, 5-12, 5-14, 6-7, 6-13, 6-15, 7-8, 7-14, 8-11, 8-13, 9-12, 9-14, 10-13, 10-15, 11-14, 12-15] -0 [.]([.]([.,7]([.,3]([.,2])[.,4]([.,2]))[.,8]([.,3][.,5]([.,2]))[.,9]([.,4][.,5]))[.]([.,7][.,10]([.,3][.,6]([.,2]))[.,1]([.,4][.,6]))[.]([.,8][.,10][.,0]([.,5][.,6]))[.]([.,9][.,0][.,1])) [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15] -[0-0(32)] -0 [.]([.]([.]([.,1][.,0]))[.]([.,1]([.,0])[.,2])[.,2]([.,0])) [0, 2] -1 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,0])) [1] -2 [.]([.]([.]([.,0][.,1])[.,1])[.]([.,0][.,2])[.,2]([.,1])) [3, 4, 5, 6] -[0-1(2), 0-2(4), 2-2(4)] -0 [.]([.]([.]([.,1]))[.]([.]([.,0][.,1]))[.]([.]([.,0])[.]([.,1]))) [0, 1, 6, 9] -1 [.]([.]([.]([.,1])[.]([.,2][.,0]))[.]([.]([.,0])[.]([.,1][.,2]))) [2, 5] -2 [.]([.]([.]([.,1][.,2]([.,0])))[.]([.]([.,2])[.]([.]([.,0])[.,1]))) [3, 4, 7, 8] -[0-0(2), 0-1(4), 0-2(4), 2-2(2)] -0 [.]([.]([.]([.,2])[.]([.,1][.,0]))[.]([.,1][.,2]([.,0]))) [0, 2, 4, 6] -1 [.]([.]([.]([.,1][.,2]))[.]([.,2]([.,0]))[.]([.,1][.,0])) [1, 3, 5, 7] -[0-1(8), 1-1(2)] -0 [.]([.]([.]([.,1]))[.]([.,1])[.]([.]([.,0]))[.]([.,0])) [0] -1 [.]([.]([.]([.,1]))[.]([.]([.]([.,0]))[.]([.,0])[.,1])) [1, 2, 3, 4] -2 [.]([.]([.]([.,1]))[.]([.,1]([.]([.]([.,0]))[.]([.,0])))) [5, 6, 7, 8] -[0-1(4), 1-2(4), 2-2(2)] -[INFO] Tests run: 31, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.233 s - in signature.simple.SimpleQuotientGraphTest -[INFO] Running signature.simple.CanonicalLabellingTest -[.]([.]([.]([.,0])[.,2])[.]([.,0]([.,1])[.,3][.,1])[.,2]([.,3][.,1])[.,3]([.,1])) [0, 1, 2, 3] -[.]([.]([.,2]([.,1])[.,4][.,5])[.,4]([.,2][.,0])[.,5]([.,3]([.,1])[.,0])[.,0]([.,3])) [4] -[.]([.]([.]([.,1][.,0]))[.]([.,1]([.,2][.,0])[.,3][.,2]([.,0]))[.,3]([.,0][.,2])) [5, 6] -[.]([.]([.]([.,2][.,3][.,1])[.,2]([.,0][.,1]))[.]([.,3]([.,0][.,1])[.,0]([.,1]))) [7] -[WARNING] Tests run: 9, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 72.142 s - in signature.simple.CanonicalLabellingTest -[INFO] Running signature.simple.SimpleGraphTest -1 0 [.]([.][.][.]) -1 1 [.]([.][.][.]) -1 2 [.]([.][.][.]) -1 3 [.]([.][.][.]) -1 4 [.]([.][.][.]) -1 5 [.]([.][.][.]) -1 6 [.]([.][.][.]) -1 7 [.]([.][.][.]) -2 0 [.]([.]([.][.,1])[.]([.][.,0])[.]([.,1][.,0])) -2 1 [.]([.]([.][.,0])[.]([.][.,1])[.,1]([.,0])) -2 2 [.]([.]([.][.,0])[.]([.][.,1])[.,1]([.,0])) -2 3 [.]([.]([.][.,1])[.]([.][.,0])[.]([.,1][.,0])) -2 4 [.]([.]([.][.,0])[.]([.][.,1])[.,1]([.,0])) -2 5 [.]([.]([.][.,0])[.]([.][.,1])[.,1]([.,0])) -2 6 [.]([.]([.][.])[.]([.][.,0])[.,0]([.])) -2 7 [.]([.]([.][.])[.]([.][.,0])[.,0]([.])) -3 0 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) -3 1 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) -3 2 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) -3 3 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) -3 4 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) -3 5 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) -3 6 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) -3 7 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) -4 0 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) -4 1 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) -4 2 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) -4 3 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) -4 4 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) -4 5 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) -4 6 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) -4 7 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) -5 0 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) -5 1 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) -5 2 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) -5 3 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) -5 4 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) -5 5 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) -5 6 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) -5 7 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) -6 0 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) -6 1 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) -6 2 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) -6 3 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) -6 4 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) -6 5 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) -6 6 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) -6 7 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) -7 0 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) -7 1 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) -7 2 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) -7 3 [.]([.]([.,2]([.,1])[.,3]([.,0]))[.]([.,1]([.,0])[.,2])[.]([.,0][.,3])) -7 4 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) -7 5 [.]([.]([.]([.,1][.,0])[.,2]([.,0]))[.]([.,3][.,2])[.,3]([.,1]([.,0]))) -7 6 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) -7 7 [.]([.]([.]([.,1][.,2])[.,1]([.,0]))[.]([.,2]([.,0])[.,3])[.,3]([.,0])) -[INFO] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.007 s - in signature.simple.SimpleGraphTest -[INFO] Running signature.chemistry.ChiralityTest -[[C]([C]([C]([C,0]([H][O]([H]))[H][H])[H][H])[C]([C]([C,0][H][H])[H][H])[H][O]([H])) [0, 3], [C]([C]([C]([C,0]([H][H])[H][O]([H]))[H][H])[C]([C]([C,0][H][H])[H][O]([H]))[H][H]) [1, 2, 4, 5], [O]([C]([C]([C]([C,0]([H][O]([H]))[H][H])[H][H])[C]([C]([C,0][H][H])[H][H])[H])[H]) [6, 7], [H]([O]([C]([C]([C]([C,0]([H][O]([H]))[H][H])[H][H])[C]([C]([C,0][H][H])[H][H])[H]))) [8, 9], [H]([C]([C]([C]([C,0]([H][O]([H]))[H][H])[H][H])[C]([C]([C,0][H][H])[H][H])[O]([H]))) [10, 11], [H]([C]([C]([C]([C,0]([H][H])[H][O]([H]))[H][H])[C]([C]([C,0][H][H])[H][O]([H]))[H])) [12, 13, 14, 15, 16, 17, 18, 19]] -[INFO] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.021 s - in signature.chemistry.ChiralityTest -[INFO] Running signature.chemistry.LargeMoleculeTest -0 [C](=[C]([C](=[C]([C,5][C,1]([C,0]))[C,7])[C](=[C,5]([C,3](=[C,0]))[C,9]))[C](=[C,7]([C]([C,4]=[C,1]))[C]([C,4](=[C,2]([C,0]))=[C,8]))[C]([C,8]([C](=[C,6][C,2]))=[C,9]([C,6]([C,3])))) [0, 8, 12, 15] -1 [C](=[C]([C](=[C]([C,4][C,1]([C,0]))[C,7])[C]([C,4](=[C,2]([C,0]))=[C,8]))[C](=[C,7]([C]([C,5]=[C,1]))[C](=[C,5]([C,3](=[C,0]))[C,9]))[C]([C,8]([C](=[C,6][C,2]))=[C,9]([C,6]([C,3])))) [1, 6, 14, 19] -2 [C]([C](=[C]([C](=[C,4][C,1]([C,0]))[C,7])[C]([C,4]([C,2]([C,0]))=[C,8]))[C](=[C,7]([C]([C,5]=[C,1]))[C](=[C,5]([C,3](=[C,0]))[C,9]))=[C]([C,8]([C]([C,6]=[C,2]))[C,9](=[C,6]([C,3])))) [2, 9, 11, 18] -3 [C]([C]([C](=[C]([C,4][C,1]([C,0]))[C,8])=[C]([C,4](=[C,2]([C,0]))[C,7]))=[C]([C,7](=[C]([C,5][C,2]))[C](=[C,5]([C,3](=[C,0]))[C,9]))[C](=[C,8]([C]([C,6]=[C,1]))[C,9](=[C,6]([C,3])))) [3, 4, 16, 17] -4 [C]([C](=[C]([C]([C,4]=[C,1]([C,0]))[C,7])[C]([C,4](=[C,2]([C,0]))=[C,8]))[C](=[C,7]([C](=[C,5][C,1]))[C]([C,5]([C,3](=[C,0]))=[C,9]))=[C]([C,8]([C](=[C,6][C,2]))[C,9]([C,6]([C,3])))) [5, 7, 10, 13] -[0-1(4), 0-3(4), 0-4(4), 1-1(2), 1-2(4), 2-3(4), 2-4(4), 3-3(2), 4-4(2)] -[C]([C]([C]([C]([C]([C]([C]([C]([C]([C]))))))))) -0 [C](=[C]([C](=[C,1][C](=[C,2]([C](=[C,3][C,4](=[C]([C,5][C,6]))))[C](=[C,7][C,3]([C](=[C,8][C,5](=[C,9]([C,10])))))))[C]([C,11](=[C]([C,12][C,13](=[C]([C,14][C,15]))))=[C]([C,2][C,12](=[C]([C,4][C,14](=[C,6]([C,16](=[C,10]))))))))[C]([C](=[C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))[C]([C,22]=[C]([C,19][C](=[C,23][C,20](=[C]([C,24][C,25]([C,10])))))))=[C]([C,11][C,22](=[C]([C,13][C,23]([C,15](=[C,24]([C,16])))))))[C]([C,1]([C](=[C,26]([C](=[C,27][C,28]([C]([C,29]=[C,30]))))[C,7]([C,27]([C,8]([C,30]([C,9]))))))=[C]([C,17][C]([C,26]=[C,18]([C](=[C,28][C,21]([C,29](=[C,25])))))))) [20, 35] -1 [C]([C]([C]([C,1]=[C]([C,2]([C]([C,3]=[C,4]([C]([C,5]=[C,6]))))[C]([C,7]=[C,3]([C]([C,8]=[C,5]([C,9]([C,10])))))))=[C]([C,11]([C]([C,12]=[C,13]([C]([C,14]=[C,15]))))[C](=[C,2][C,12](=[C]([C,4][C,15]([C,6]([C,16](=[C,10]))))))))=[C]([C](=[C,17]([C](=[C,18][C,19]([C]([C,20]=[C,21]))))[C](=[C,22][C](=[C,19][C]([C,23]=[C,20]([C]([C,24]=[C,25]([C,10])))))))[C](=[C,11][C,22]([C]([C,13]=[C,23]([C,14](=[C,24]([C,16])))))))[C]([C]([C,17]=[C]([C,26](=[C]([C,27][C,28]([C]([C,29]=[C,30]))))[C,18]([C](=[C,28][C,21]([C,30]([C,25]))))))=[C,1]([C]([C,26]=[C,7]([C,27](=[C,8]([C,29](=[C,9])))))))) [5, 25] -2 [C]([C]([C](=[C,2]([C](=[C,3][C,4]([C]([C,5]=[C,6]))))[C](=[C,7]([C]([C,8]=[C,9]([C]([C,10]=[C,11]))))[C,3]([C]([C,9]=[C,5]([C,10](=[C,12]([C,13])))))))=[C]([C,14][C]([C,7]=[C]([C,15][C,8](=[C]([C,16][C,11]([C,17](=[C,13]))))))))[C]([C](=[C,18]([C](=[C,19][C,20]([C]([C,21]=[C,22]))))[C](=[C,23]([C]([C,24]=[C,25]([C]([C,26]=[C,27]))))[C,19]([C]([C,25]=[C,21]([C,26](=[C,1]([C,13])))))))=[C,14]([C]([C,23]=[C,15]([C,24](=[C,16]([C,27]([C,17])))))))=[C]([C]([C,18]=[C]([C,28][C](=[C,20][C](=[C,29][C,22]([C]([C,1]=[C,30]))))))[C]([C,2]=[C,28]([C](=[C,4][C,29]([C,6]([C,30]([C,12])))))))) [45] -3 [C]([C]([C]([C,1]([C](=[C,2][C,3]([C]([C,4]=[C,5]))))=[C]([C,6](=[C]([C,7][C,8]([C]([C,9]=[C,10]))))[C,2]([C](=[C,8][C,5]([C,9](=[C,11]([C,12])))))))=[C]([C,13][C]([C,6]=[C]([C,14][C,7](=[C]([C,15][C,10]([C,16](=[C,12]))))))))=[C]([C]([C,17](=[C]([C,18][C,19]([C]([C,20]=[C,21]))))=[C]([C,22](=[C]([C,23][C,24](=[C]([C,25][C,26]))))[C,18](=[C]([C,24][C,21]([C,26](=[C,27]([C,12])))))))[C,13](=[C]([C,22][C,14](=[C,23]([C,15](=[C,25]([C,16])))))))[C](=[C]([C,17][C](=[C,28][C](=[C,19][C](=[C,29][C,20](=[C]([C,30][C,27]))))))[C](=[C,1][C,28]([C](=[C,3][C,29]([C,4](=[C,30]([C,11])))))))) [47, 49] -4 [C]([C]([C]([C,1]=[C]([C,2]([C](=[C,3][C,4]([C]([C,5]=[C,6]))))[C](=[C,7][C,3]([C]([C,8]=[C,5]([C,9]([C,10])))))))=[C]([C,11]([C](=[C,12][C,13]([C]([C,14]=[C,15]))))[C](=[C,2][C,12]([C](=[C,4][C,15]([C,6]([C,16](=[C,10]))))))))=[C]([C](=[C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))[C](=[C,22][C]([C,19]=[C]([C,23][C,21]([C](=[C,24][C,25]([C,10])))))))[C](=[C,11][C,22]([C](=[C,13][C,23](=[C,14]([C,24]([C,16])))))))[C](=[C]([C,17][C]([C,26](=[C]([C,27][C,28](=[C]([C,29][C,30]))))=[C,18]([C]([C,28]=[C,20]([C,29](=[C,25]))))))[C,1](=[C]([C,26][C,7]([C,27](=[C,8]([C,30](=[C,9])))))))) [2, 3] -5 [C]([C]([C]([C,1]=[C]([C,2]([C](=[C,3][C,4](=[C]([C,5][C,6]))))[C](=[C,7][C,3]([C](=[C,8][C,6](=[C,9]([C,10])))))))=[C]([C,11](=[C]([C,12][C,13](=[C]([C,14][C,15]))))[C](=[C,2][C,12](=[C]([C,4][C,15](=[C,5]([C,16](=[C,10]))))))))=[C]([C](=[C,17]([C](=[C,18][C,19](=[C]([C,20][C,21]))))[C]([C,22]=[C]([C,19][C]([C,23]=[C,20]([C]([C,24]=[C,25]([C,10])))))))[C]([C,11]=[C,22]([C]([C,13]=[C,23]([C,14](=[C,24]([C,16])))))))[C](=[C]([C,17][C](=[C,26]([C](=[C,27][C,28]([C]([C,29]=[C,30]))))[C,18]([C](=[C,28][C,21](=[C,29]([C,25]))))))[C,1](=[C]([C,26][C,7]([C,27]([C,8]([C,30]([C,9])))))))) [4, 16] -6 [C]([C](=[C]([C,1][C]([C,2](=[C]([C,3][C,4](=[C]([C,5][C,6]))))=[C]([C,7][C,3](=[C]([C,8][C,5](=[C,9]([C,10])))))))[C]([C,11](=[C]([C,12][C,13](=[C]([C,14][C,15]))))=[C]([C,2][C,12](=[C]([C,4][C,15](=[C,6]([C,16](=[C,10]))))))))=[C]([C]([C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))=[C]([C,22][C]([C,19]=[C]([C,23][C,20](=[C]([C,24][C,25]([C,10])))))))[C]([C,11]=[C,22]([C]([C,13]=[C,23]([C,14](=[C,24]([C,16])))))))[C]([C](=[C,17][C](=[C,26]([C]([C,27]=[C,28]([C]([C,29]=[C,30]))))[C,18](=[C]([C,28][C,21]([C,29](=[C,25]))))))=[C,1]([C]([C,26]=[C,7]([C,27](=[C,8]([C,30]([C,9])))))))) [22, 37] -7 [C]([C](=[C]([C,1](=[C]([C,2][C,3]([C]([C,4]=[C,5]))))[C](=[C,6]([C]([C,7]=[C,8]([C]([C,9]=[C,10]))))[C,2](=[C]([C,8][C,5]([C,9](=[C,11]([C,12])))))))[C](=[C,13][C]([C,6]=[C]([C,14][C,7](=[C]([C,15][C,10]([C,16](=[C,12]))))))))=[C]([C]([C,17]([C](=[C,18][C,19]([C]([C,20]=[C,21]))))=[C]([C,22]([C]([C,23]=[C,24]([C]([C,25]=[C,26]))))[C,18]([C]([C,24]=[C,20]([C,26]([C,27]([C,12])))))))[C,13]([C](=[C,22][C,14](=[C,23]([C,15](=[C,25]([C,16])))))))[C]([C](=[C,17][C](=[C,28][C](=[C,19][C](=[C,29][C,21]([C]([C,30]=[C,27]))))))=[C]([C,1][C,28]([C](=[C,3][C,29]([C,4](=[C,30]([C,11])))))))) [39, 54] -8 [C]([C]([C](=[C,1]([C]([C,2]=[C,3]([C]([C,4]=[C,5]))))[C]([C,6]([C]([C,7]=[C,8]([C]([C,9]=[C,10]))))=[C,2]([C]([C,8]=[C,4]([C,9](=[C,11]([C,12])))))))=[C]([C,13][C](=[C,6][C](=[C,14][C,7](=[C]([C,15][C,10]([C,16](=[C,12]))))))))=[C]([C]([C,17]([C](=[C,18][C,19]([C]([C,20]=[C,21]))))=[C]([C,22](=[C]([C,23][C,24]([C]([C,25]=[C,26]))))[C,18]([C](=[C,24][C,21]([C,25](=[C,27]([C,12])))))))[C,13](=[C]([C,22][C,14]([C,23](=[C,15]([C,26]([C,16])))))))[C]([C](=[C,17][C](=[C,28][C](=[C,19][C]([C,29]=[C,20]([C](=[C,30][C,27]))))))=[C]([C,1][C,28]([C]([C,3]=[C,29]([C,5]([C,30]([C,11])))))))) [38, 53] -9 [C]([C](=[C]([C,1](=[C]([C,2][C,3](=[C]([C,4][C,5]))))[C]([C,6]([C]([C,7]=[C,8]([C]([C,9]=[C,10]))))=[C,2]([C]([C,8]=[C,5]([C,9](=[C,11]([C,12])))))))[C](=[C,13][C](=[C,6][C](=[C,14][C,7](=[C]([C,15][C,10]([C,16](=[C,12]))))))))=[C]([C]([C,17](=[C]([C,18][C,19](=[C]([C,20][C,21]))))=[C]([C,22]([C]([C,23]=[C,24]([C]([C,25]=[C,26]))))[C,18](=[C]([C,24][C,20](=[C,25]([C,27]([C,12])))))))[C,13]([C](=[C,22][C,14]([C,23](=[C,15]([C,26]([C,16])))))))[C](=[C]([C,17][C]([C,28]=[C]([C,19][C]([C,29]=[C,21]([C]([C,30]=[C,27]))))))[C]([C,1]=[C,28]([C]([C,3]=[C,29]([C,4](=[C,30]([C,11])))))))) [48, 56] -10 [C]([C](=[C]([C,1][C](=[C,2]([C](=[C,3][C,4]([C]([C,5]=[C,6]))))[C](=[C,7][C,3]([C](=[C,8][C,6]([C,9]([C,10])))))))[C](=[C,11]([C]([C,12]=[C,13]([C]([C,14]=[C,15]))))[C]([C,2]=[C,12]([C](=[C,4][C,14](=[C,5]([C,16](=[C,10]))))))))=[C]([C](=[C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))[C]([C,22]=[C]([C,19][C]([C,23]=[C,20]([C](=[C,24][C,25]([C,10])))))))[C]([C,11]=[C,22]([C]([C,13]=[C,23]([C,15]([C,24]([C,16])))))))[C](=[C]([C,17][C](=[C,26]([C](=[C,27][C,28](=[C]([C,29][C,30]))))[C,18](=[C]([C,28][C,21]([C,29](=[C,25]))))))[C,1](=[C]([C,26][C,7]([C,27]([C,8]([C,30](=[C,9])))))))) [9, 14] -11 [C]([C](=[C]([C,2]([C](=[C,3][C,4]([C]([C,5]=[C,6]))))[C](=[C,7]([C]([C,8]=[C,9]([C]([C,10]=[C,11]))))[C,3]([C]([C,9]=[C,5]([C,11]([C,12]([C,13])))))))[C]([C,14]=[C]([C,7][C]([C,15]=[C,8]([C]([C,16]=[C,10]([C,17](=[C,13]))))))))[C](=[C]([C,18]([C](=[C,19][C,20]([C]([C,21]=[C,22]))))[C](=[C,23]([C]([C,24]=[C,25]([C]([C,26]=[C,27]))))[C,19]([C]([C,25]=[C,21]([C,27]([C,1]([C,13])))))))[C,14](=[C]([C,23][C,15](=[C,24]([C,16](=[C,26]([C,17])))))))=[C]([C](=[C,18][C](=[C,28][C](=[C,20][C](=[C,29][C,22]([C](=[C,1][C,30]))))))[C](=[C,2][C,28]([C](=[C,4][C,29]([C,6]([C,30](=[C,12])))))))) [1] -12 [C]([C](=[C]([C,1](=[C]([C,2][C,3]([C]([C,4]=[C,5]))))[C]([C,6]([C](=[C,7][C,8]([C]([C,9]=[C,10]))))=[C,2]([C](=[C,8][C,5]([C,10]([C,11]([C,12])))))))[C](=[C,13][C](=[C,6][C](=[C,14][C,7]([C]([C,15]=[C,9]([C,16](=[C,12]))))))))=[C]([C]([C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))=[C]([C,22]([C]([C,23]=[C,24]([C]([C,25]=[C,26]))))[C,18](=[C]([C,24][C,21]([C,25](=[C,27]([C,12])))))))[C,13]([C](=[C,22][C,14]([C,23](=[C,15]([C,26]([C,16])))))))[C]([C](=[C,17][C](=[C,28][C]([C,19]=[C]([C,29][C,20](=[C]([C,30][C,27]))))))=[C]([C,1][C,28]([C](=[C,3][C,29](=[C,4]([C,30](=[C,11])))))))) [40, 44] -13 [C]([C]([C](=[C,1]([C]([C,2]=[C,3]([C]([C,4]=[C,5]))))[C](=[C,6]([C]([C,7]=[C,8]([C]([C,9]=[C,10]))))[C,2](=[C]([C,8][C,5]([C,9](=[C,11]([C,12])))))))=[C]([C,13][C]([C,6]=[C]([C,14][C,7](=[C]([C,15][C,10]([C,16](=[C,12]))))))))=[C]([C](=[C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))[C]([C,22](=[C]([C,23][C,24](=[C]([C,25][C,26]))))=[C,18]([C]([C,24]=[C,20]([C,26](=[C,27]([C,12])))))))[C,13](=[C]([C,22][C,14](=[C,23]([C,15](=[C,25]([C,16])))))))[C]([C]([C,17]=[C]([C,28][C]([C,19]=[C]([C,29][C,21]([C](=[C,30][C,27]))))))=[C]([C,1][C,28](=[C]([C,3][C,29](=[C,4]([C,30]([C,11])))))))) [21, 59] -14 [C]([C](=[C]([C,1](=[C]([C,2][C,3](=[C]([C,4][C,5]))))[C]([C,6]([C]([C,7]=[C,8]([C]([C,9]=[C,10]))))=[C,2]([C]([C,8]=[C,5]([C,9](=[C,11]([C,12])))))))[C](=[C,13][C](=[C,6][C]([C,14]=[C,7]([C](=[C,15][C,10]([C,16](=[C,12]))))))))=[C]([C](=[C,17]([C](=[C,18][C,19]([C]([C,20]=[C,21]))))[C](=[C,22]([C](=[C,23][C,24]([C]([C,25]=[C,26]))))[C,18]([C](=[C,24][C,21]([C,25](=[C,27]([C,12])))))))[C,13]([C]([C,22]=[C,14]([C,23]([C,15]([C,26]([C,16])))))))[C]([C]([C,17]=[C]([C,28][C](=[C,19][C](=[C,29][C,20](=[C]([C,30][C,27]))))))=[C]([C,1][C,28](=[C]([C,3][C,29]([C,4](=[C,30]([C,11])))))))) [46, 51] -15 [C]([C](=[C]([C,2]([C]([C,3]=[C,4]([C]([C,5]=[C,6]))))[C]([C,7]([C](=[C,8][C,9]([C]([C,10]=[C,11]))))=[C,3]([C](=[C,9][C,6]([C,11]([C,12]([C,13])))))))[C](=[C,14][C](=[C,7][C](=[C,15][C,8]([C]([C,16]=[C,10]([C,17](=[C,13]))))))))[C](=[C]([C,18]([C]([C,19]=[C,20]([C]([C,21]=[C,22]))))[C]([C,23]([C](=[C,24][C,25]([C]([C,26]=[C,27]))))=[C,19]([C](=[C,25][C,22]([C,27]([C,1]([C,13])))))))[C,14]([C](=[C,23][C,15]([C,24]([C,16](=[C,26]([C,17])))))))=[C]([C](=[C,18][C]([C,28]=[C]([C,20][C]([C,29]=[C,21]([C](=[C,1][C,30]))))))[C](=[C,2][C,28](=[C]([C,4][C,29](=[C,5]([C,30](=[C,12])))))))) [0] -16 [C](=[C]([C]([C,1]=[C]([C,2]([C]([C,3]=[C,4]([C]([C,5]=[C,6]))))[C](=[C,7][C,3](=[C]([C,8][C,6]([C,9]([C,10])))))))[C](=[C,11]([C]([C,12]=[C,13]([C]([C,14]=[C,15]))))[C](=[C,2][C,12](=[C]([C,4][C,14](=[C,5]([C,16](=[C,10]))))))))[C](=[C]([C,17](=[C]([C,18][C,19](=[C]([C,20][C,21]))))[C]([C,22]=[C]([C,19][C]([C,23]=[C,20]([C](=[C,24][C,25]([C,10])))))))[C]([C,11]=[C,22]([C]([C,13]=[C,23]([C,15]([C,24]([C,16])))))))[C]([C,1](=[C]([C,26](=[C]([C,27][C,28](=[C]([C,29][C,30]))))[C,7]([C,27](=[C,8]([C,30](=[C,9]))))))=[C]([C,17][C]([C,26]=[C,18]([C]([C,28]=[C,21]([C,29](=[C,25])))))))) [30, 42] -17 [C]([C]([C]([C,1]=[C]([C,2]([C]([C,3]=[C,4]([C]([C,5]=[C,6]))))[C]([C,7]=[C,3]([C](=[C,8][C,6]([C,9]([C,10])))))))=[C]([C,11]([C]([C,12]=[C,13]([C]([C,14]=[C,15]))))[C](=[C,2][C,12](=[C]([C,4][C,14](=[C,5]([C,16](=[C,10]))))))))=[C]([C]([C,17]([C](=[C,18][C,19]([C]([C,20]=[C,21]))))=[C]([C,22][C](=[C,19][C](=[C,23][C,21]([C](=[C,24][C,25]([C,10])))))))[C](=[C,11][C,22](=[C]([C,13][C,23]([C,15]([C,24]([C,16])))))))[C]([C](=[C,17][C](=[C,26]([C](=[C,27][C,28](=[C]([C,29][C,30]))))[C,18]([C]([C,28]=[C,20]([C,30](=[C,25]))))))=[C,1]([C]([C,26]=[C,7]([C,27]([C,8]([C,29](=[C,9])))))))) [8, 36] -18 [C]([C](=[C]([C,1][C]([C,2](=[C]([C,3][C,4](=[C]([C,5][C,6]))))=[C]([C,7][C,3](=[C]([C,8][C,5](=[C,9]([C,10])))))))[C]([C,11]([C]([C,12]=[C,13]([C]([C,14]=[C,15]))))=[C]([C,2][C,12](=[C]([C,4][C,14](=[C,6]([C,16](=[C,10]))))))))=[C]([C](=[C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))[C]([C,22]=[C]([C,19][C](=[C,23][C,21]([C](=[C,24][C,25]([C,10])))))))[C](=[C,11][C,22](=[C]([C,13][C,23]([C,15]([C,24]([C,16])))))))[C](=[C]([C,17][C]([C,26](=[C]([C,27][C,28](=[C]([C,29][C,30]))))=[C,18]([C]([C,28]=[C,20]([C,29](=[C,25]))))))[C,1](=[C]([C,26][C,7](=[C,27]([C,8](=[C,30]([C,9])))))))) [17, 26] -19 [C](=[C]([C]([C,1]=[C]([C,2](=[C]([C,3][C,4]([C]([C,5]=[C,6]))))[C](=[C,7][C,3](=[C]([C,8][C,6]([C,9]([C,10])))))))[C]([C,11]([C](=[C,12][C,13](=[C]([C,14][C,15]))))=[C]([C,2][C,12]([C](=[C,4][C,14](=[C,5]([C,16](=[C,10]))))))))[C](=[C]([C,17](=[C]([C,18][C,19]([C]([C,20]=[C,21]))))[C](=[C,22][C](=[C,19][C]([C,23]=[C,20]([C]([C,24]=[C,25]([C,10])))))))[C](=[C,11][C,22]([C]([C,13]=[C,23]([C,15](=[C,24]([C,16])))))))[C]([C,1](=[C]([C,26]([C]([C,27]=[C,28]([C]([C,29]=[C,30]))))[C,7]([C,27](=[C,8]([C,29](=[C,9]))))))=[C]([C,17][C](=[C,26][C,18](=[C]([C,28][C,21]([C,30]([C,25])))))))) [7, 13] -20 [C]([C]([C]([C,1]=[C]([C,2]([C]([C,3]=[C,4]([C]([C,5]=[C,6]))))[C](=[C,7][C,3](=[C]([C,8][C,6]([C,9]([C,10])))))))=[C]([C,11](=[C]([C,12][C,13](=[C]([C,14][C,15]))))[C](=[C,2][C,12](=[C]([C,4][C,15](=[C,5]([C,16](=[C,10]))))))))=[C]([C]([C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))=[C]([C,22][C]([C,19]=[C]([C,23][C,21]([C]([C,24]=[C,25]([C,10])))))))[C]([C,11]=[C,22]([C]([C,13]=[C,23]([C,14](=[C,24]([C,16])))))))[C]([C](=[C,17][C]([C,26]([C]([C,27]=[C,28]([C]([C,29]=[C,30]))))=[C,18]([C]([C,28]=[C,20]([C,30]([C,25]))))))=[C,1]([C](=[C,26][C,7]([C,27](=[C,8]([C,29](=[C,9])))))))) [28, 32] -21 [C](=[C]([C]([C,1]=[C]([C,2](=[C]([C,3][C,4](=[C]([C,5][C,6]))))[C](=[C,7][C,3](=[C]([C,8][C,5](=[C,9]([C,10])))))))[C]([C,11](=[C]([C,12][C,13]([C]([C,14]=[C,15]))))=[C]([C,2][C,12](=[C]([C,4][C,14](=[C,6]([C,16](=[C,10]))))))))[C]([C](=[C,17]([C](=[C,18][C,19]([C]([C,20]=[C,21]))))[C](=[C,22][C](=[C,19][C](=[C,23][C,21]([C](=[C,24][C,25]([C,10])))))))=[C]([C,11][C,22]([C](=[C,13][C,23]([C,15]([C,24]([C,16])))))))[C]([C,1](=[C]([C,26]([C]([C,27]=[C,28]([C]([C,29]=[C,30]))))[C,7]([C,27](=[C,8]([C,30]([C,9]))))))=[C]([C,17][C](=[C,26][C,18]([C]([C,28]=[C,20]([C,29](=[C,25])))))))) [19, 34] -22 [C]([C](=[C]([C,1](=[C]([C,2][C,3](=[C]([C,4][C,5]))))[C](=[C,6]([C]([C,7]=[C,8]([C]([C,9]=[C,10]))))[C,2](=[C]([C,8][C,5](=[C,9]([C,11]([C,12])))))))[C]([C,13]=[C]([C,6][C](=[C,14][C,7](=[C]([C,15][C,10]([C,16](=[C,12]))))))))=[C]([C](=[C,17]([C](=[C,18][C,19]([C]([C,20]=[C,21]))))[C](=[C,22]([C](=[C,23][C,24]([C]([C,25]=[C,26]))))[C,18]([C](=[C,24][C,21]([C,26]([C,27]([C,12])))))))[C,13](=[C]([C,22][C,14]([C,23]([C,15](=[C,25]([C,16])))))))[C]([C]([C,17]=[C]([C,28][C](=[C,19][C]([C,29]=[C,20]([C]([C,30]=[C,27]))))))=[C]([C,1][C,28](=[C]([C,3][C,29](=[C,4]([C,30](=[C,11])))))))) [10, 24] -23 [C]([C]([C](=[C,2]([C]([C,3]=[C,4]([C]([C,5]=[C,6]))))[C]([C,7]([C](=[C,8][C,9]([C]([C,10]=[C,11]))))=[C,3]([C](=[C,9][C,6]([C,10](=[C,12]([C,13])))))))=[C]([C,14][C](=[C,7][C](=[C,15][C,8]([C](=[C,16][C,11]([C,17](=[C,13]))))))))[C]([C](=[C,18]([C]([C,19]=[C,20]([C]([C,21]=[C,22]))))[C]([C,23]([C](=[C,24][C,25]([C]([C,26]=[C,27]))))=[C,19]([C](=[C,25][C,22]([C,26](=[C,1]([C,13])))))))=[C,14]([C](=[C,23][C,15]([C,24]([C,16]([C,27]([C,17])))))))=[C]([C]([C,18]=[C]([C,28][C]([C,20]=[C]([C,29][C,21](=[C]([C,1][C,30]))))))[C]([C,2]=[C,28]([C]([C,4]=[C,29]([C,5](=[C,30]([C,12])))))))) [50] -24 [C](=[C]([C]([C,1]=[C]([C,2](=[C]([C,3][C,4]([C]([C,5]=[C,6]))))[C]([C,7]=[C,3]([C](=[C,8][C,6]([C,9]([C,10])))))))[C]([C,11]([C](=[C,12][C,13](=[C]([C,14][C,15]))))=[C]([C,2][C,12]([C](=[C,4][C,14](=[C,5]([C,16](=[C,10]))))))))[C](=[C]([C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))[C]([C,22]=[C]([C,19][C](=[C,23][C,20](=[C]([C,24][C,25]([C,10])))))))[C](=[C,11][C,22](=[C]([C,13][C,23]([C,15](=[C,24]([C,16])))))))[C](=[C,1]([C]([C,26]([C](=[C,27][C,28](=[C]([C,29][C,30]))))=[C,7]([C,27]([C,8]([C,29](=[C,9]))))))[C](=[C,17][C](=[C,26][C,18](=[C]([C,28][C,21]([C,30](=[C,25])))))))) [41, 43] -25 [C]([C]([C](=[C,1][C]([C,2]([C](=[C,3][C,4]([C]([C,5]=[C,6]))))=[C]([C,7][C,3]([C](=[C,8][C,6]([C,9]([C,10])))))))=[C]([C,11]([C](=[C,12][C,13](=[C]([C,14][C,15]))))[C](=[C,2][C,12]([C](=[C,4][C,15](=[C,5]([C,16](=[C,10]))))))))=[C]([C](=[C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))[C]([C,22]=[C]([C,19][C](=[C,23][C,21]([C]([C,24]=[C,25]([C,10])))))))[C](=[C,11][C,22](=[C]([C,13][C,23]([C,14](=[C,24]([C,16])))))))[C](=[C]([C,17][C]([C,26]([C]([C,27]=[C,28]([C]([C,29]=[C,30]))))=[C,18]([C]([C,28]=[C,20]([C,30]([C,25]))))))[C,1]([C](=[C,26][C,7](=[C,27]([C,8]([C,29](=[C,9])))))))) [6, 15] -26 [C](=[C]([C](=[C,1][C](=[C,2]([C]([C,3]=[C,4]([C]([C,5]=[C,6]))))[C]([C,7]=[C,3]([C]([C,8]=[C,5]([C,9]([C,10])))))))[C]([C,11]([C]([C,12]=[C,13]([C]([C,14]=[C,15]))))=[C]([C,2][C,12](=[C]([C,4][C,15]([C,6]([C,16](=[C,10]))))))))[C](=[C]([C,17](=[C]([C,18][C,19](=[C]([C,20][C,21]))))[C]([C,22]=[C]([C,19][C](=[C,23][C,20](=[C]([C,24][C,25]([C,10])))))))[C](=[C,11][C,22](=[C]([C,13][C,23]([C,14](=[C,24]([C,16])))))))[C]([C,1]([C]([C,26](=[C]([C,27][C,28](=[C]([C,29][C,30]))))=[C,7]([C,27](=[C,8]([C,30](=[C,9]))))))=[C]([C,17][C]([C,26]=[C,18]([C]([C,28]=[C,21]([C,29](=[C,25])))))))) [12, 23] -27 [C]([C]([C](=[C,1][C](=[C,2]([C]([C,3]=[C,4]([C]([C,5]=[C,6]))))[C]([C,7]=[C,3]([C]([C,8]=[C,5]([C,9]([C,10])))))))=[C]([C,11](=[C]([C,12][C,13](=[C]([C,14][C,15]))))[C]([C,2]=[C,12]([C]([C,4]=[C,15]([C,6]([C,16](=[C,10]))))))))=[C]([C](=[C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))[C]([C,22]=[C]([C,19][C]([C,23]=[C,20]([C]([C,24]=[C,25]([C,10])))))))[C]([C,11]=[C,22]([C]([C,13]=[C,23]([C,14](=[C,24]([C,16])))))))[C](=[C]([C,17][C](=[C,26]([C]([C,27]=[C,28]([C]([C,29]=[C,30]))))[C,18](=[C]([C,28][C,21]([C,30]([C,25]))))))[C,1]([C]([C,26]=[C,7]([C,27](=[C,8]([C,29](=[C,9])))))))) [18, 31] -28 [C]([C](=[C]([C,1]([C]([C,2]=[C,3]([C]([C,4]=[C,5]))))[C](=[C,6]([C]([C,7]=[C,8]([C]([C,9]=[C,10]))))[C,2](=[C]([C,8][C,5]([C,10]([C,11]([C,12])))))))[C]([C,13]=[C]([C,6][C]([C,14]=[C,7]([C]([C,15]=[C,9]([C,16](=[C,12]))))))))=[C]([C]([C,17](=[C]([C,18][C,19](=[C]([C,20][C,21]))))=[C]([C,22](=[C]([C,23][C,24](=[C]([C,25][C,26]))))[C,18](=[C]([C,24][C,20](=[C,26]([C,27]([C,12])))))))[C,13](=[C]([C,22][C,14](=[C,23]([C,15](=[C,25]([C,16])))))))[C](=[C]([C,17][C]([C,28]=[C]([C,19][C]([C,29]=[C,21]([C]([C,30]=[C,27]))))))[C](=[C,1][C,28](=[C]([C,3][C,29](=[C,4]([C,30](=[C,11])))))))) [27, 29] -29 [C]([C]([C](=[C,1]([C]([C,2]=[C,3]([C]([C,4]=[C,5]))))[C]([C,6]([C]([C,7]=[C,8]([C]([C,9]=[C,10]))))=[C,2]([C]([C,8]=[C,4]([C,10]([C,11]([C,12])))))))=[C]([C,13][C](=[C,6][C]([C,14]=[C,7]([C]([C,15]=[C,9]([C,16](=[C,12]))))))))=[C]([C]([C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))=[C]([C,22](=[C]([C,23][C,24](=[C]([C,25][C,26]))))[C,18](=[C]([C,24][C,21]([C,26](=[C,27]([C,12])))))))[C,13](=[C]([C,22][C,14](=[C,23]([C,15](=[C,25]([C,16])))))))[C]([C](=[C,17][C]([C,28]=[C]([C,19][C](=[C,29][C,20](=[C]([C,30][C,27]))))))=[C]([C,1][C,28](=[C]([C,3][C,29]([C,5]([C,30](=[C,11])))))))) [11, 57] -30 [C]([C]([C](=[C,1]([C](=[C,2][C,3](=[C]([C,4][C,5]))))[C](=[C,6]([C](=[C,7][C,8]([C]([C,9]=[C,10]))))[C,2]([C](=[C,8][C,4](=[C,9]([C,11]([C,12])))))))=[C]([C,13][C]([C,6]=[C]([C,14][C,7]([C](=[C,15][C,10]([C,16](=[C,12]))))))))=[C]([C](=[C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))[C](=[C,22]([C]([C,23]=[C,24]([C]([C,25]=[C,26]))))[C,18](=[C]([C,24][C,21]([C,25](=[C,27]([C,12])))))))[C,13](=[C]([C,22][C,14](=[C,23]([C,15]([C,26]([C,16])))))))[C]([C]([C,17]=[C]([C,28][C]([C,19]=[C]([C,29][C,20](=[C]([C,30][C,27]))))))=[C]([C,1][C,28](=[C]([C,3][C,29](=[C,5]([C,30](=[C,11])))))))) [52, 58] -31 [C]([C](=[C]([C,1][C]([C,2]([C](=[C,3][C,4]([C]([C,5]=[C,6]))))=[C]([C,7][C,3]([C]([C,8]=[C,5]([C,9]([C,10])))))))[C](=[C,11]([C](=[C,12][C,13]([C]([C,14]=[C,15]))))[C](=[C,2][C,12]([C](=[C,4][C,15]([C,6]([C,16](=[C,10]))))))))=[C]([C](=[C,17]([C]([C,18]=[C,19]([C]([C,20]=[C,21]))))[C]([C,22]=[C]([C,19][C](=[C,23][C,20](=[C]([C,24][C,25]([C,10])))))))[C]([C,11]=[C,22]([C](=[C,13][C,23]([C,14](=[C,24]([C,16])))))))[C]([C]([C,17]=[C]([C,26](=[C]([C,27][C,28](=[C]([C,29][C,30]))))[C,18](=[C]([C,28][C,21]([C,30](=[C,25]))))))=[C,1]([C]([C,26]=[C,7]([C,27](=[C,8]([C,29](=[C,9])))))))) [33, 55] -[0-21(2), 0-30(2), 0-31(2), 1-21(2), 1-25(2), 1-27(2), 2-12(2), 2-23(1), 3-3(1), 3-9(2), 3-14(2), 4-5(2), 4-11(2), 4-25(2), 5-5(1), 5-18(2), 6-6(1), 6-9(2), 6-26(2), 7-8(2), 7-12(2), 7-31(2), 8-14(2), 8-30(2), 9-13(2), 10-17(2), 10-22(2), 10-25(2), 11-15(1), 12-24(2), 13-29(2), 13-30(2), 14-23(2), 15-17(2), 16-20(2), 16-24(2), 16-28(2), 17-19(2), 18-27(2), 18-28(2), 19-19(1), 19-26(2), 20-27(2), 20-31(2), 21-22(2), 22-29(2), 24-24(1), 26-29(2), 28-28(1)] -[C]([C]([C]([C,5])[C,5])[C]([C]([C,4])[C,4])[C]([C]([C,3])[C,3])[C]([C]([C,2])[C,2])[C]([C]([C,1])[C,1])[C]([C]([C,0])[C,0])) -0C|1C|2C|3C|4C|5C|6C|7C|8C|9C|10C|11C|12C|13C|14C|15C|16C|17C|18C|0C-1C(SINGLE)|0C-4C(SINGLE)|0C-7C(SINGLE)|0C-10C(SINGLE)|0C-13C(SINGLE)|0C-16C(SINGLE)|1C-2C(SINGLE)|1C-3C(SINGLE)|2C-3C(SINGLE)|4C-5C(SINGLE)|4C-6C(SINGLE)|5C-6C(SINGLE)|7C-8C(SINGLE)|7C-9C(SINGLE)|8C-9C(SINGLE)|10C-11C(SINGLE)|10C-12C(SINGLE)|11C-12C(SINGLE)|13C-14C(SINGLE)|13C-15C(SINGLE)|14C-15C(SINGLE)|16C-17C(SINGLE)|16C-18C(SINGLE)|17C-18C(SINGLE)| -result [C]([C]([C]([C,5])[C,5])[C]([C]([C,4])[C,4])[C]([C]([C,3])[C,3])[C]([C]([C,2])[C,2])[C]([C]([C,1])[C,1])[C]([C]([C,0])[C,0])) -[Rh]([P]([C]([C]([C]([C,6]))[C]([C]([C,6])))[C]([C]([C]([C,3]))[C]([C]([C,3])))[C]([C]([C]([C,2]))[C]([C]([C,2]))))[P]([C]([C]([C]([C,7]))[C]([C]([C,7])))[C]([C]([C]([C,4]))[C]([C]([C,4])))[C]([C]([C]([C,1]))[C]([C]([C,1]))))[P]([C]([C]([C]([C,8]))[C]([C]([C,8])))[C]([C]([C]([C,5]))[C]([C]([C,5])))[C]([C]([C]([C,0]))[C]([C]([C,0]))))) -0 [C]([C]([C]([C]([C]([C]([C]([C]([C,2]([C,1])[C,7])[C,12])[C,14]([C,7]([C,5])))[C,21])[C,24]([C]([C,16][C,14])))[C,27]([C,21]([C,19]([C,12]([C,10])))))[C]([C]([C]([C,16]([C]([C,5]([C,3]([C,1]))[C,9]))[C,23])[C,24])[C,29]))[C]([C]([C]([C]([C]([C]([C]([C,8][C,0]([C,1]))[C,13])[C,15]([C,8]([C,6])))[C,22])[C,25]([C]([C,17][C,15])))[C,28]([C,22]([C,20]([C,13]([C,11])))))[C,29]([C]([C,23]([C,17]([C,9]([C,6]([C,3]))))[C,25])))[C]([C]([C]([C]([C]([C,10]([C]([C,4][C,2]))[C,18])[C,19])[C,26])[C,27])[C]([C,26]([C]([C,18]([C,11]([C,4]([C,0])))[C,20]))[C,28]))) [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59] -[0-0(90)] -0 [C]([C](=[C]([C](=[C]([C]([C]([C]([C,2]([C,1])=[C,7])=[C,12])=[C,14]([C,7]([C,5])))[C,21])[C,24]([C](=[C,16][C,14])))[C,27]([C,21](=[C,19]([C,12]([C,10])))))[C]([C]([C]([C,16]([C](=[C,5]([C,3](=[C,1]))[C,9]))=[C,23])=[C,24])=[C,29]))[C](=[C]([C](=[C]([C]([C]([C](=[C,8][C,0]([C,1]))=[C,13])=[C,15]([C,8]([C,6])))[C,22])[C,25]([C](=[C,17][C,15])))[C,28]([C,22](=[C,20]([C,13]([C,11])))))[C,29]([C]([C,23]([C,17]([C,9](=[C,6]([C,3]))))=[C,25])))=[C]([C]([C](=[C]([C](=[C,10]([C]([C,4]=[C,2]))[C,18])[C,19])[C,26])=[C,27])[C]([C,26](=[C]([C,18](=[C,11]([C,4](=[C,0])))[C,20]))=[C,28]))) [0] -1 [C]([C](=[C]([C]([C]([C](=[C]([C]([C,2]([C,1])=[C,7])[C,12])[C,14]([C,7]([C,5])))=[C,21])=[C,24]([C]([C,16]=[C,14])))[C,27]([C,21]([C,19]([C,12](=[C,10])))))[C](=[C]([C](=[C,16]([C](=[C,5]([C,3](=[C,1]))[C,9]))[C,23])[C,24])[C,29]))[C](=[C]([C]([C]([C](=[C]([C](=[C,8][C,0]([C,1]))[C,13])[C,15]([C,8]([C,6])))=[C,22])=[C,25]([C]([C,17]=[C,15])))[C,28]([C,22]([C,20]([C,13](=[C,11])))))[C,29](=[C]([C,23](=[C,17]([C,9](=[C,6]([C,3]))))[C,25])))=[C]([C]([C]([C]([C]([C,10]([C]([C,4]=[C,2]))=[C,18])=[C,19])=[C,26])=[C,27])[C]([C,26]([C]([C,18]([C,11]([C,4](=[C,0])))=[C,20]))=[C,28]))) [1] -2 [C]([C](=[C]([C](=[C]([C](=[C]([C](=[C,1]([C,0])[C,7])[C,12])[C,14](=[C,7]([C,6])))[C,21])[C,24](=[C]([C,17][C,14])))[C,27]([C,21](=[C,19]([C,12](=[C,10])))))[C](=[C]([C]([C,17](=[C]([C,6](=[C,2]([C,0]))[C,9]))=[C,23])[C,24])[C,29]))[C](=[C]([C]([C]([C]([C]([C]([C,3](=[C,0])=[C,8])=[C,13])=[C,15]([C,8]([C,5])))=[C,22])=[C,25]([C](=[C,16][C,15])))[C,28]([C,22]([C,20]([C,13]([C,11])))))[C,29](=[C]([C,23]([C,16]([C,9](=[C,5]([C,2]))))[C,25])))=[C]([C]([C]([C](=[C]([C,10]([C](=[C,4][C,1]))[C,18])[C,19])=[C,26])=[C,27])[C]([C,26]([C]([C,18](=[C,11]([C,4]([C,3])))=[C,20]))=[C,28]))) [2, 3] -3 [C]([C](=[C]([C]([C](=[C]([C](=[C]([C,3](=[C,0])[C,7])[C,13])[C,14](=[C,7]([C,5])))[C,21])=[C,24]([C](=[C,16][C,14])))[C,27](=[C,21]([C,20](=[C,13]([C,10])))))[C](=[C]([C]([C,16]([C]([C,5](=[C,2]([C,0]))=[C,9]))=[C,23])[C,24])[C,29]))=[C]([C](=[C]([C](=[C]([C,10](=[C]([C,4][C,3]))[C,18])[C,20])[C,26])[C,27])[C]([C,26](=[C]([C,18](=[C]([C,4](=[C,1]([C,0]))[C,12]))[C,19](=[C,12]([C,11]))))=[C,28]([C](=[C,22][C,19]))))[C](=[C]([C]([C,22]([C]([C,11](=[C]([C,1][C,8]))=[C,15]([C,8](=[C,6]))))=[C,25]([C](=[C,17][C,15])))[C,28])[C,29](=[C]([C,23]([C,17]([C,9]([C,6]([C,2]))))[C,25])))) [4, 16] -4 [C]([C]([C](=[C]([C]([C]([C]([C]([C,1]([C,0])=[C,7])=[C,12])=[C,14]([C,7]([C,6])))=[C,21])[C,24](=[C]([C,17][C,14])))[C,27]([C,21]([C,19]([C,12]([C,10])))))=[C]([C](=[C]([C,17](=[C]([C,6](=[C,2]([C,0]))[C,9]))[C,23])[C,24])[C,29]))[C](=[C]([C]([C](=[C]([C]([C]([C,3](=[C,0])=[C,8])=[C,13])[C,15]([C,8]([C,5])))[C,22])=[C,25]([C]([C,16]=[C,15])))[C,28]([C,22](=[C,20]([C,13]([C,11])))))[C,29](=[C]([C,23](=[C,16]([C,9](=[C,5]([C,2]))))[C,25])))=[C]([C]([C]([C]([C](=[C,10]([C]([C,4]=[C,1]))[C,18])=[C,19])=[C,26])=[C,27])[C]([C,26]([C](=[C,18]([C,11](=[C,4]([C,3])))[C,20]))=[C,28]))) [5, 25] -5 [C]([C](=[C]([C]([C]([C]([C](=[C]([C,3](=[C,0])[C,8])[C,12])=[C,15]([C,8](=[C,6])))=[C,21])=[C,25]([C](=[C,17][C,15])))[C,27]([C,21]([C,19](=[C,12]([C,10])))))[C]([C](=[C]([C,17]([C]([C,6]([C,2]([C,0]))=[C,9]))[C,23])[C,25])=[C,29]))=[C]([C]([C](=[C]([C]([C,10](=[C]([C,4][C,3]))=[C,18])[C,19])[C,26])=[C,27])[C]([C,26](=[C]([C,18]([C]([C,4](=[C,1]([C,0]))=[C,13]))[C,20]([C,13]([C,11]))))=[C,28]([C]([C,22]=[C,20]))))[C](=[C]([C](=[C,22]([C](=[C,11]([C]([C,1]=[C,7]))[C,14]([C,7]([C,5]))))[C,24]([C]([C,16]=[C,14])))[C,28])[C,29]([C]([C,23](=[C,16]([C,9]([C,5](=[C,2]))))=[C,24])))) [6, 15] -6 [C](=[C]([C](=[C]([C]([C]([C](=[C]([C,3](=[C,0])[C,8])[C,12])=[C,15]([C,8](=[C,5])))=[C,21])[C,24](=[C]([C,16][C,15])))[C,27]([C,21]([C,19](=[C,12]([C,10])))))[C](=[C]([C]([C,16](=[C]([C,5]([C,2]([C,0]))[C,9]))=[C,23])[C,24])[C,29]))[C]([C]([C]([C](=[C]([C,10](=[C]([C,4][C,3]))[C,18])[C,19])=[C,26])=[C,27])=[C]([C,26]([C]([C,18](=[C]([C,4](=[C,1]([C,0]))[C,13]))=[C,20]([C,13](=[C,11]))))[C,28](=[C]([C,22][C,20]))))[C](=[C]([C]([C,22](=[C]([C,11]([C]([C,1]=[C,7]))[C,14]([C,7]([C,6]))))=[C,25]([C]([C,17]=[C,14])))[C,28])[C,29](=[C]([C,23]([C,17](=[C,9]([C,6](=[C,2]))))[C,25])))) [7, 13] -7 [C]([C]([C]([C]([C]([C](=[C]([C](=[C,1]([C,0])[C,7])[C,12])[C,14](=[C,7]([C,6])))=[C,21])=[C,24]([C](=[C,17][C,14])))=[C,27]([C,21]([C,19]([C,12](=[C,10])))))=[C]([C](=[C]([C,17]([C]([C,6](=[C,2]([C,0]))=[C,9]))[C,23])[C,24])[C,29]))[C](=[C]([C]([C](=[C]([C](=[C]([C,3](=[C,0])[C,8])[C,13])[C,15]([C,8](=[C,5])))[C,22])=[C,25]([C]([C,16]=[C,15])))[C,28]([C,22](=[C,20]([C,13](=[C,11])))))[C,29](=[C]([C,23](=[C,16]([C,9]([C,5]([C,2]))))[C,25])))=[C]([C](=[C]([C]([C]([C,10]([C](=[C,4][C,1]))=[C,18])=[C,19])[C,26])[C,27])[C]([C,26](=[C]([C,18]([C,11]([C,4]([C,3])))[C,20]))=[C,28]))) [8, 36] -8 [C]([C](=[C]([C]([C](=[C]([C]([C](=[C,1]([C,0])[C,7])=[C,12])[C,14](=[C,7]([C,5])))[C,21])=[C,24]([C](=[C,16][C,14])))[C,27]([C,21](=[C,19]([C,12]([C,10])))))[C](=[C]([C]([C,16]([C]([C,5](=[C,2]([C,0]))=[C,9]))=[C,23])[C,24])[C,29]))[C]([C]([C](=[C]([C]([C](=[C]([C,3](=[C,0])[C,8])[C,13])=[C,15]([C,8](=[C,6])))[C,22])[C,25]([C](=[C,17][C,15])))=[C,28]([C,22](=[C,20]([C,13](=[C,11])))))=[C,29]([C]([C,23]([C,17]([C,9]([C,6]([C,2]))))=[C,25])))=[C]([C]([C](=[C]([C](=[C,10]([C](=[C,4][C,1]))[C,18])[C,19])[C,26])=[C,27])[C](=[C,26]([C](=[C,18]([C,11]([C,4]([C,3])))[C,20]))[C,28]))) [9, 14] -9 [C]([C](=[C]([C]([C](=[C]([C](=[C]([C,1]([C,0])[C,7])[C,12])[C,14]([C,7](=[C,6])))[C,21])=[C,24]([C]([C,17]=[C,14])))[C,27](=[C,21]([C,19](=[C,12]([C,10])))))[C](=[C]([C]([C,17](=[C]([C,6]([C,3](=[C,0]))[C,9]))=[C,23])[C,24])[C,29]))[C](=[C]([C](=[C]([C](=[C,10]([C]([C,4]=[C,1]))[C,18])[C,19])[C,26])[C,27])[C](=[C,26]([C]([C,18](=[C]([C,4](=[C,2]([C,0]))[C,13]))=[C,20]([C,13](=[C,11]))))[C,28]([C](=[C,22][C,20]))))=[C]([C]([C]([C,22]([C]([C,11]([C]([C,2]=[C,8]))=[C,15]([C,8]([C,5]))))=[C,25]([C](=[C,16][C,15])))=[C,28])[C,29](=[C]([C,23]([C,16]([C,9](=[C,5]([C,3]))))[C,25])))) [10, 24] -10 [C](=[C]([C](=[C]([C](=[C]([C]([C](=[C,1]([C,0])[C,7])=[C,12])[C,14](=[C,7]([C,5])))[C,21])[C,24](=[C]([C,16][C,14])))[C,27]([C,21](=[C,19]([C,12]([C,10])))))[C](=[C]([C](=[C,16]([C](=[C,5]([C,3](=[C,0]))[C,9]))[C,23])[C,24])[C,29]))[C]([C]([C](=[C]([C](=[C]([C]([C,2]([C,0])=[C,8])[C,13])[C,15]([C,8]([C,6])))[C,22])[C,25]([C]([C,17]=[C,15])))=[C,28]([C,22](=[C,20]([C,13](=[C,11])))))=[C,29]([C]([C,23](=[C,17]([C,9](=[C,6]([C,3]))))=[C,25])))[C]([C]([C](=[C]([C]([C,10](=[C]([C,4][C,1]))=[C,18])[C,19])[C,26])=[C,27])=[C]([C,26](=[C]([C,18]([C,11]([C,4](=[C,2])))[C,20]))[C,28]))) [11, 57] -11 [C]([C](=[C]([C](=[C]([C](=[C]([C](=[C,1]([C,0])[C,7])[C,12])[C,14](=[C,7]([C,6])))[C,21])[C,24](=[C]([C,17][C,14])))[C,27](=[C,21]([C,19](=[C,12]([C,10])))))[C]([C](=[C]([C,17](=[C]([C,6](=[C,2]([C,0]))[C,9]))[C,23])[C,24])=[C,29]))[C](=[C]([C](=[C]([C]([C,10](=[C]([C,4][C,1]))=[C,18])[C,19])[C,26])[C,27])[C]([C,26](=[C]([C,18]([C](=[C,4]([C,3](=[C,0]))[C,13]))[C,20]([C,13](=[C,11]))))=[C,28]([C]([C,22]=[C,20]))))=[C]([C](=[C]([C,22](=[C]([C,11]([C]([C,3]=[C,8]))[C,15]([C,8]([C,5]))))[C,25]([C]([C,16]=[C,15])))[C,28])[C,29]([C]([C,23](=[C,16]([C,9](=[C,5]([C,2]))))=[C,25])))) [12, 23] -12 [C]([C](=[C]([C](=[C]([C](=[C]([C](=[C,1]([C,0])[C,7])[C,12])[C,14](=[C,7]([C,5])))[C,21])[C,24](=[C]([C,16][C,14])))[C,27]([C,21](=[C,19]([C,12](=[C,10])))))[C](=[C]([C](=[C,16]([C](=[C,5]([C,2]([C,0]))[C,9]))[C,23])[C,24])[C,29]))[C]([C](=[C]([C](=[C]([C](=[C]([C,3](=[C,0])[C,8])[C,13])[C,15](=[C,8]([C,6])))[C,22])[C,25](=[C]([C,17][C,15])))[C,28]([C,22](=[C,20]([C,13](=[C,11])))))=[C,29]([C](=[C,23]([C,17](=[C,9]([C,6](=[C,2]))))[C,25])))=[C]([C]([C](=[C]([C]([C,10]([C](=[C,4][C,1]))=[C,18])[C,19])[C,26])=[C,27])[C]([C,26](=[C]([C,18]([C,11]([C,4]([C,3])))[C,20]))=[C,28]))) [17, 26] -13 [C]([C](=[C]([C](=[C]([C](=[C]([C]([C,3](=[C,0])=[C,8])[C,12])[C,15]([C,8]([C,5])))[C,21])[C,25]([C]([C,16]=[C,15])))[C,27](=[C,21]([C,19](=[C,12]([C,10])))))[C]([C]([C](=[C,16]([C](=[C,5]([C,2]([C,0]))[C,9]))[C,23])=[C,25])=[C,29]))=[C]([C](=[C]([C](=[C]([C,10](=[C]([C,4][C,3]))[C,18])[C,19])[C,26])[C,27])[C]([C,26](=[C]([C,18](=[C]([C,4](=[C,1]([C,0]))[C,13]))[C,20]([C,13](=[C,11]))))=[C,28]([C]([C,22]=[C,20]))))[C](=[C]([C]([C,22](=[C]([C,11]([C]([C,1]=[C,7]))[C,14]([C,7]([C,6]))))=[C,24]([C]([C,17]=[C,14])))[C,28])[C,29]([C](=[C,23]([C,17](=[C,9]([C,6](=[C,2]))))[C,24])))) [18, 31] -14 [C](=[C]([C](=[C]([C](=[C]([C](=[C]([C,3](=[C,0])[C,7])[C,13])[C,14](=[C,7]([C,5])))[C,21])[C,24](=[C]([C,16][C,14])))[C,27](=[C,21]([C,20]([C,13](=[C,10])))))[C](=[C]([C]([C,16](=[C]([C,5](=[C,2]([C,0]))[C,9]))=[C,23])[C,24])[C,29]))[C](=[C]([C]([C]([C]([C,10]([C](=[C,4][C,3]))=[C,18])=[C,20])=[C,26])[C,27])[C]([C,26]([C]([C,18]([C]([C,4]([C,1]([C,0]))=[C,12]))=[C,19]([C,12]([C,11]))))=[C,28]([C](=[C,22][C,19]))))[C](=[C]([C]([C,22]([C](=[C,11]([C](=[C,1][C,8]))[C,15]([C,8](=[C,6]))))=[C,25]([C]([C,17]=[C,15])))[C,28])[C,29](=[C]([C,23]([C,17](=[C,9]([C,6]([C,2]))))[C,25])))) [19, 34] -15 [C](=[C]([C](=[C]([C](=[C]([C](=[C]([C,3](=[C,0])[C,7])[C,12])[C,14](=[C,7]([C,5])))[C,21])[C,24]([C](=[C,16][C,14])))[C,27](=[C,21]([C,19](=[C,12]([C,10])))))[C]([C]([C]([C,16]([C]([C,5](=[C,2]([C,0]))=[C,9]))=[C,23])=[C,24])=[C,29]))[C](=[C]([C](=[C]([C]([C,10](=[C]([C,4][C,3]))=[C,18])[C,19])[C,26])[C,27])[C]([C,26](=[C]([C,18]([C](=[C,4]([C,1]([C,0]))[C,13]))[C,20]([C,13](=[C,11]))))=[C,28]([C]([C,22]=[C,20]))))[C](=[C]([C](=[C,22]([C]([C,11]([C](=[C,1][C,8]))=[C,15]([C,8](=[C,6]))))[C,25]([C](=[C,17][C,15])))[C,28])[C,29]([C]([C,23]([C,17]([C,9]([C,6]([C,2]))))=[C,25])))) [20, 35] -16 [C](=[C]([C]([C](=[C]([C](=[C]([C](=[C,2]([C,0])[C,7])[C,13])[C,14](=[C,7]([C,5])))[C,21])[C,24](=[C]([C,16][C,14])))=[C,27]([C,21](=[C,20]([C,13](=[C,11])))))[C](=[C]([C](=[C,16]([C](=[C,5]([C,3](=[C,0]))[C,9]))[C,23])[C,24])[C,29]))[C]([C]([C]([C](=[C]([C]([C](=[C,1]([C,0])[C,8])=[C,12])[C,15]([C,8](=[C,6])))[C,22])=[C,25]([C]([C,17]=[C,15])))=[C,28]([C,22](=[C,19]([C,12]([C,10])))))=[C,29]([C](=[C,23]([C,17](=[C,9]([C,6]([C,3]))))[C,25])))[C](=[C]([C](=[C]([C](=[C,10]([C](=[C,4][C,1]))[C,18])[C,19])[C,26])[C,28])[C](=[C,26]([C](=[C,18]([C,11]([C,4]([C,2])))[C,20]))[C,27]))) [21, 59] -17 [C]([C]([C](=[C]([C](=[C]([C](=[C]([C,3](=[C,0])[C,7])[C,12])[C,14](=[C,7]([C,5])))[C,21])[C,24](=[C]([C,16][C,14])))[C,27](=[C,21]([C,19](=[C,12]([C,10])))))=[C]([C](=[C]([C,16](=[C]([C,5](=[C,2]([C,0]))[C,9]))[C,23])[C,24])[C,29]))=[C]([C](=[C]([C](=[C]([C,10](=[C]([C,4][C,3]))[C,18])[C,19])[C,26])[C,27])[C](=[C,26]([C](=[C,18]([C](=[C,4]([C,1]([C,0]))[C,13]))[C,20]([C,13](=[C,11]))))[C,28]([C]([C,22]=[C,20]))))[C]([C]([C]([C,22](=[C]([C,11]([C](=[C,1][C,8]))[C,15]([C,8](=[C,6]))))=[C,25]([C]([C,17]=[C,15])))=[C,28])=[C,29]([C](=[C,23]([C,17](=[C,9]([C,6]([C,2]))))[C,25])))) [22, 37] -18 [C](=[C]([C](=[C]([C](=[C]([C](=[C]([C,1]([C,0])[C,7])[C,12])[C,14](=[C,7]([C,5])))[C,21])[C,24](=[C]([C,16][C,14])))[C,27](=[C,21]([C,19](=[C,12]([C,10])))))[C](=[C]([C](=[C,16]([C](=[C,5]([C,3](=[C,0]))[C,9]))[C,23])[C,24])[C,29]))[C](=[C]([C](=[C]([C](=[C,10]([C]([C,4]=[C,1]))[C,18])[C,19])[C,26])[C,27])[C]([C,26](=[C]([C,18](=[C]([C,4](=[C,2]([C,0]))[C,13]))[C,20]([C,13](=[C,11]))))=[C,28]([C]([C,22]=[C,20]))))[C](=[C]([C]([C,22](=[C]([C,11]([C]([C,2]=[C,8]))[C,15]([C,8]([C,6]))))=[C,25]([C]([C,17]=[C,15])))[C,28])[C,29](=[C]([C,23](=[C,17]([C,9](=[C,6]([C,3]))))[C,25])))) [27, 29] -19 [C]([C](=[C]([C]([C](=[C]([C](=[C]([C,3](=[C,0])[C,8])[C,12])[C,15]([C,8](=[C,5])))[C,21])=[C,25]([C]([C,16]=[C,15])))[C,27](=[C,21]([C,19](=[C,12]([C,10])))))[C](=[C]([C]([C,16](=[C]([C,5]([C,2]([C,0]))[C,9]))=[C,23])[C,25])[C,29]))=[C]([C](=[C]([C](=[C]([C,10](=[C]([C,4][C,3]))[C,18])[C,19])[C,26])[C,27])[C](=[C,26]([C](=[C,18]([C]([C,4](=[C,1]([C,0]))=[C,13]))[C,20]([C,13]([C,11]))))[C,28]([C]([C,22]=[C,20]))))[C]([C]([C](=[C,22]([C](=[C,11]([C]([C,1]=[C,7]))[C,14]([C,7]([C,6]))))[C,24]([C]([C,17]=[C,14])))=[C,28])=[C,29]([C]([C,23]([C,17](=[C,9]([C,6](=[C,2]))))=[C,24])))) [28, 32] -20 [C]([C](=[C]([C](=[C]([C](=[C]([C](=[C,1]([C,0])[C,7])[C,12])[C,14](=[C,7]([C,5])))[C,21])[C,24](=[C]([C,16][C,14])))[C,27](=[C,21]([C,19](=[C,12]([C,10])))))[C](=[C]([C]([C,16](=[C]([C,5](=[C,2]([C,0]))[C,9]))=[C,23])[C,24])[C,29]))[C](=[C]([C](=[C]([C](=[C,10]([C](=[C,4][C,1]))[C,18])[C,19])[C,26])[C,27])[C](=[C,26]([C](=[C,18]([C]([C,4]([C,3](=[C,0]))=[C,13]))[C,20]([C,13]([C,11]))))[C,28]([C]([C,22]=[C,20]))))=[C]([C]([C]([C,22](=[C]([C,11](=[C]([C,3][C,8]))[C,15]([C,8](=[C,6]))))=[C,25]([C]([C,17]=[C,15])))=[C,28])[C,29](=[C]([C,23]([C,17](=[C,9]([C,6]([C,2]))))[C,25])))) [30, 42] -21 [C]([C]([C](=[C]([C](=[C]([C]([C](=[C,1]([C,0])[C,7])=[C,12])[C,14](=[C,7]([C,6])))[C,21])[C,24](=[C]([C,17][C,14])))[C,27]([C,21](=[C,19]([C,12]([C,10])))))=[C]([C](=[C]([C,17](=[C]([C,6](=[C,2]([C,0]))[C,9]))[C,23])[C,24])[C,29]))[C]([C]([C]([C]([C]([C]([C]([C,3](=[C,0])=[C,8])=[C,13])=[C,15]([C,8]([C,5])))=[C,22])=[C,25]([C](=[C,16][C,15])))=[C,28]([C,22]([C,20]([C,13]([C,11])))))=[C,29]([C](=[C,23]([C,16]([C,9](=[C,5]([C,2]))))[C,25])))=[C]([C]([C](=[C]([C]([C,10](=[C]([C,4][C,1]))=[C,18])[C,19])[C,26])=[C,27])[C](=[C,26]([C]([C,18]([C,11](=[C,4]([C,3])))=[C,20]))[C,28]))) [33, 55] -22 [C](=[C]([C](=[C]([C]([C]([C]([C](=[C,1]([C,0])[C,8])=[C,12])=[C,15]([C,8](=[C,5])))=[C,21])[C,24](=[C]([C,16][C,15])))[C,27]([C,21]([C,19]([C,12]([C,10])))))[C](=[C]([C]([C,16](=[C]([C,5]([C,3](=[C,0]))[C,9]))=[C,23])[C,24])[C,29]))[C]([C]([C](=[C]([C](=[C]([C](=[C,2]([C,0])[C,7])[C,13])[C,14]([C,7](=[C,6])))[C,22])[C,25]([C]([C,17]=[C,14])))=[C,28]([C,22](=[C,20]([C,13](=[C,11])))))=[C,29]([C]([C,23]([C,17](=[C,9]([C,6]([C,3]))))=[C,25])))[C]([C]([C]([C]([C](=[C,10]([C](=[C,4][C,1]))[C,18])=[C,19])=[C,26])=[C,27])=[C]([C,26]([C](=[C,18]([C,11]([C,4]([C,2])))[C,20]))[C,28]))) [38, 53] -23 [C]([C](=[C]([C]([C](=[C]([C]([C](=[C,1]([C,0])[C,8])=[C,12])[C,15]([C,8](=[C,6])))[C,21])=[C,25]([C]([C,17]=[C,15])))[C,27](=[C,21]([C,19]([C,12]([C,10])))))[C]([C](=[C]([C,17](=[C]([C,6]([C,3](=[C,0]))[C,9]))[C,23])[C,25])=[C,29]))[C](=[C]([C]([C]([C]([C,10](=[C]([C,4][C,1]))=[C,18])=[C,19])=[C,26])[C,27])[C]([C,26]([C]([C,18]([C]([C,4](=[C,2]([C,0]))=[C,13]))=[C,20]([C,13]([C,11]))))=[C,28]([C](=[C,22][C,20]))))=[C]([C](=[C]([C,22]([C](=[C,11]([C]([C,2]=[C,7]))[C,14]([C,7]([C,5]))))[C,24]([C]([C,16]=[C,14])))[C,28])[C,29]([C]([C,23](=[C,16]([C,9](=[C,5]([C,3]))))=[C,24])))) [39, 54] -24 [C]([C](=[C]([C](=[C]([C]([C]([C]([C,2]([C,0])=[C,8])=[C,13])=[C,15]([C,8]([C,5])))[C,21])[C,25]([C](=[C,16][C,15])))[C,27](=[C,21]([C,20]([C,13]([C,10])))))[C]([C]([C]([C,16]([C](=[C,5]([C,3](=[C,0]))[C,9]))=[C,23])=[C,25])=[C,29]))[C](=[C]([C]([C]([C](=[C,10]([C]([C,4]=[C,2]))[C,18])=[C,20])=[C,26])[C,27])[C]([C,26]([C](=[C,18]([C](=[C,4]([C,1]([C,0]))[C,12]))[C,19]([C,12](=[C,11]))))=[C,28]([C]([C,22]=[C,19]))))=[C]([C](=[C]([C,22](=[C]([C,11]([C](=[C,1][C,7]))[C,14]([C,7](=[C,6]))))[C,24]([C]([C,17]=[C,14])))[C,28])[C,29]([C]([C,23]([C,17](=[C,9]([C,6]([C,3]))))=[C,24])))) [40, 44] -25 [C](=[C]([C](=[C]([C]([C]([C](=[C]([C,3](=[C,0])[C,8])[C,12])=[C,15]([C,8](=[C,5])))=[C,21])[C,25](=[C]([C,16][C,15])))[C,27]([C,21]([C,19](=[C,12]([C,10])))))[C](=[C]([C](=[C,16]([C]([C,5]([C,2]([C,0]))=[C,9]))[C,23])[C,25])[C,29]))[C]([C]([C](=[C]([C]([C,10](=[C]([C,4][C,3]))=[C,18])[C,19])[C,26])=[C,27])=[C]([C,26](=[C]([C,18]([C](=[C,4]([C,1]([C,0]))[C,13]))[C,20]([C,13](=[C,11]))))[C,28]([C]([C,22]=[C,20]))))[C]([C]([C]([C,22](=[C]([C,11]([C](=[C,1][C,7]))[C,14](=[C,7]([C,6]))))=[C,24]([C](=[C,17][C,14])))=[C,28])=[C,29]([C](=[C,23]([C,17]([C,9]([C,6](=[C,2]))))[C,24])))) [41, 43] -26 [C]([C]([C]([C]([C]([C](=[C]([C](=[C,2]([C,1])[C,7])[C,12])[C,14]([C,7](=[C,5])))=[C,21])=[C,24]([C]([C,16]=[C,14])))=[C,27]([C,21]([C,19]([C,12](=[C,10])))))=[C]([C](=[C]([C,16](=[C]([C,5]([C,3](=[C,1]))[C,9]))[C,23])[C,24])[C,29]))[C]([C]([C]([C]([C](=[C]([C]([C,8]=[C,0]([C,1]))[C,13])[C,15]([C,8](=[C,6])))=[C,22])=[C,25]([C]([C,17]=[C,15])))=[C,28]([C,22]([C,20]([C,13](=[C,11])))))=[C,29]([C](=[C,23]([C,17](=[C,9]([C,6]([C,3]))))[C,25])))=[C]([C](=[C]([C]([C]([C,10]([C](=[C,4][C,2]))=[C,18])=[C,19])[C,26])[C,27])[C](=[C,26]([C]([C,18]([C,11]([C,4]([C,0])))=[C,20]))[C,28]))) [45] -27 [C]([C](=[C]([C](=[C]([C](=[C]([C](=[C,1]([C,0])[C,7])[C,12])[C,14]([C,7](=[C,5])))[C,21])[C,24]([C]([C,16]=[C,14])))[C,27](=[C,21]([C,19](=[C,12]([C,10])))))[C]([C]([C](=[C,16]([C]([C,5]([C,3](=[C,0]))=[C,9]))[C,23])=[C,24])=[C,29]))[C](=[C]([C](=[C]([C]([C,10](=[C]([C,4][C,1]))=[C,18])[C,19])[C,26])[C,27])[C](=[C,26]([C]([C,18]([C](=[C,4]([C,2]([C,0]))[C,13]))=[C,20]([C,13](=[C,11]))))[C,28]([C](=[C,22][C,20]))))=[C]([C]([C]([C,22]([C]([C,11]([C](=[C,2][C,8]))=[C,15]([C,8](=[C,6]))))=[C,25]([C](=[C,17][C,15])))=[C,28])[C,29]([C](=[C,23]([C,17]([C,9]([C,6]([C,3]))))[C,25])))) [46, 51] -28 [C](=[C]([C](=[C]([C](=[C]([C]([C](=[C,1]([C,0])[C,7])=[C,12])[C,14](=[C,7]([C,5])))[C,21])[C,24](=[C]([C,16][C,14])))[C,27](=[C,21]([C,19]([C,12]([C,10])))))[C](=[C]([C](=[C,16]([C](=[C,5]([C,3](=[C,0]))[C,9]))[C,23])[C,24])[C,29]))[C](=[C]([C]([C]([C]([C,10](=[C]([C,4][C,1]))=[C,18])=[C,19])=[C,26])[C,27])[C]([C,26]([C]([C,18]([C](=[C,4]([C,2]([C,0]))[C,13]))=[C,20]([C,13](=[C,11]))))=[C,28]([C](=[C,22][C,20]))))[C]([C](=[C]([C,22]([C]([C,11]([C](=[C,2][C,8]))=[C,15]([C,8](=[C,6]))))[C,25](=[C]([C,17][C,15])))[C,28])=[C,29]([C](=[C,23]([C,17](=[C,9]([C,6]([C,3]))))[C,25])))) [47, 49] -29 [C](=[C]([C](=[C]([C](=[C]([C](=[C]([C,2]([C,0])[C,7])[C,13])[C,14]([C,7](=[C,5])))[C,21])[C,24]([C]([C,16]=[C,14])))[C,27](=[C,21]([C,20](=[C,13]([C,11])))))[C]([C]([C]([C,16](=[C]([C,5]([C,3](=[C,0]))[C,9]))=[C,23])=[C,24])=[C,29]))[C](=[C]([C](=[C]([C](=[C]([C](=[C,1]([C,0])[C,8])[C,12])[C,15]([C,8](=[C,6])))[C,22])[C,25]([C]([C,17]=[C,15])))[C,28](=[C,22]([C,19](=[C,12]([C,10])))))[C,29]([C]([C,23]([C,17](=[C,9]([C,6]([C,3]))))=[C,25])))[C]([C](=[C]([C](=[C]([C,10](=[C]([C,4][C,1]))[C,18])[C,19])[C,26])[C,28])=[C]([C,26](=[C]([C,18](=[C,11]([C,4](=[C,2])))[C,20]))[C,27]))) [48, 56] -30 [C]([C]([C]([C](=[C]([C]([C]([C](=[C,2]([C,1])[C,7])=[C,12])=[C,14]([C,7](=[C,5])))[C,21])[C,24]([C](=[C,16][C,14])))=[C,27]([C,21](=[C,19]([C,12]([C,10])))))=[C]([C]([C]([C,16]([C]([C,5]([C,3](=[C,1]))=[C,9]))=[C,23])=[C,24])[C,29]))[C]([C]([C](=[C]([C]([C]([C]([C,8]=[C,0]([C,1]))=[C,13])=[C,15]([C,8](=[C,6])))[C,22])[C,25]([C](=[C,17][C,15])))=[C,28]([C,22](=[C,20]([C,13]([C,11])))))=[C,29]([C]([C,23]([C,17]([C,9]([C,6]([C,3]))))=[C,25])))=[C]([C](=[C]([C](=[C]([C,10](=[C]([C,4][C,2]))[C,18])[C,19])[C,26])[C,27])[C](=[C,26]([C](=[C,18]([C,11](=[C,4]([C,0])))[C,20]))[C,28]))) [50] -31 [C]([C]([C]([C]([C]([C]([C](=[C]([C,2]([C,0])[C,7])[C,12])=[C,14]([C,7](=[C,6])))=[C,21])=[C,24]([C](=[C,17][C,14])))=[C,27]([C,21]([C,19](=[C,12]([C,10])))))=[C]([C](=[C]([C,17]([C]([C,6]([C,3](=[C,0]))=[C,9]))[C,23])[C,24])[C,29]))[C](=[C]([C](=[C]([C](=[C,10]([C]([C,4]=[C,2]))[C,18])[C,19])[C,26])[C,27])[C](=[C,26]([C](=[C,18]([C](=[C,4]([C,1]([C,0]))[C,13]))[C,20]([C,13](=[C,11]))))[C,28]([C]([C,22]=[C,20]))))=[C]([C]([C]([C,22](=[C]([C,11]([C](=[C,1][C,8]))[C,15]([C,8](=[C,5]))))=[C,25]([C]([C,16]=[C,15])))=[C,28])[C,29](=[C]([C,23](=[C,16]([C,9]([C,5]([C,3]))))[C,25])))) [52, 58] -[0-1(1), 0-7(2), 1-2(2), 2-3(2), 2-5(2), 3-3(1), 3-12(2), 4-5(2), 4-13(2), 4-14(2), 5-8(2), 6-6(1), 6-7(2), 6-11(2), 7-8(2), 8-9(2), 9-10(2), 9-14(2), 10-11(2), 10-16(2), 11-17(2), 12-13(2), 12-18(2), 13-19(2), 14-15(2), 15-21(2), 15-31(2), 16-29(2), 16-31(2), 17-17(1), 17-29(2), 18-18(1), 18-20(2), 19-20(2), 19-21(2), 20-25(2), 21-23(2), 22-23(2), 22-27(2), 22-31(2), 23-24(2), 24-25(2), 24-26(2), 25-25(1), 26-30(1), 27-28(2), 27-30(2), 28-28(1), 28-29(2)] -[INFO] Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.679 s - in signature.chemistry.LargeMoleculeTest -[INFO] Running signature.chemistry.MoleculeSignatureTest -isUnique?0C| -isUnique?0C|1H|0C-1H(SINGLE)| -isUnique?0C|1H|2H|0C-1H(SINGLE)|0C-2H(SINGLE)| -isUnique?0C|1H|2H|3H|0C-1H(SINGLE)|0C-2H(SINGLE)|0C-3H(SINGLE)| -isUnique?0C|1H|2H|3H|4H|0C-1H(SINGLE)|0C-2H(SINGLE)|0C-3H(SINGLE)|0C-4H(SINGLE)| -isUnique?0C| -isUnique?0C|1C|0C-1C(SINGLE)| -isUnique?0C|1C|2C|0C-1C(SINGLE)|0C-2C(SINGLE)| -isUnique?0C|1C|2C|3C|0C-1C(SINGLE)|0C-2C(SINGLE)|1C-3C(SINGLE)| -isUnique?0C|1C|2C|3C|0C-1C(SINGLE)|0C-2C(SINGLE)|0C-3C(SINGLE)| -isUnique?0C|1C|2C|0C-1C(SINGLE)|0C-2C(SINGLE)|1C-2C(SINGLE)| -1 -[C](=[C]([C]([C,0]([C]([H][H][H]))=[O])[H])[C]([C](=[C,0][H])=[O])[H]) -2 -[C](=[C]([C](=[C,2]([H])[H])[H])[C](=[C]([C,2][H])[N](=[C,3]))[S]([C,3]([S]([S]([C](=[N]([C]([C](=[C]([C,0][H])[H])=[C,1]))[S]([C,1]([C](=[C,0]([H])[H]))))))))) -3 -[C](=[C]([C](=[C,0]([H])[N]([O]=[O]))[H])[C](=[C]([C,0][Cl])[O]([H]))[N]([O]=[O])) -4 -[C](=[C]([C](=[C,2]([H])[H])[H])[C]([C]([C]([C](=[C]([C,0]([H])[N]([H][H]))[H])=[C,1]([C](=[C,0][H])))=[O])=[C]([C]([C,1]=[O])[C,2]))[H]) -5 -[Br]([C](=[C]([C](=[C,3]([H])[H])[O]([H]))[C](=[C]([C]([C]([C](=[C]([C,0]([H])[H])[H])=[C]([C](=[C,0][H])[C](=[O][O]([H]))))=[C,2]([C](=[C,1]([H])[H])))[C,3])[O]([C](=[C]([Br][C]([C,1]=[O]))[C,2]))))) -6 -[C](=[C]([C](=[C,1]([H])[H])[H])[C]([C]([C](=[C,0]([Cl])[N]([C]([H][H][H])[C]([H][H][H])))=[O])=[C]([C]([C,0]=[O])[C,1]))[H]) -7 -[C](=[C]([C](=[C,1]([H])[H])[H])[C]([C]([C](=[C]([C,0]([C]([H][H][H]))[H])[H])=[C,2]([C](=[C,0][N]([O]=[O]))))=[O])[C](=[C]([C,1][H])[C]([C,2]=[O]))) -8 -[C](=[C]([C](=[C,2]([H])[H])[H])[C](=[C]([C,2][H])[P]([C]([C](=[C]([C,1]([H])[H])[H])=[C]([C](=[C,1][H])[H]))[C]([C](=[C]([C,0]([H])[H])[H])=[C]([C](=[C,0][H])[H]))))[H]) -isUnique?0C|1C|2C|0C-1C(SINGLE)|0C-2C(SINGLE)|1C-2C(SINGLE)| -isUnique?0C|1C|2C|3C|4C|5C|0C-1C(SINGLE)|0C-5C(SINGLE)|1C-2C(SINGLE)|2C-3C(SINGLE)|3C-4C(SINGLE)|4C-5C(SINGLE)| -10 -isUnique?0C|1H|2H|0C-1H(SINGLE)|0C-2H(SINGLE)| -isUnique?0C|1C|2C|3C|0C-1C(SINGLE)|0C-3C(SINGLE)|1C-2C(SINGLE)|2C-3C(SINGLE)| -[C]([C]([C]([C,0]))[C]([C,0])) -isUnique?0C|1C|2C|3C|4C|0C-1C(SINGLE)|0C-4C(SINGLE)|1C-2C(SINGLE)|2C-3C(SINGLE)|3C-4C(SINGLE)| -isUnique?0C|1C|2C|3C|4C|5C|0C-1C(SINGLE)|1C-2C(SINGLE)|1C-3C(SINGLE)|2C-4C(SINGLE)|2C-5C(SINGLE)| -isUnique?0C|1C|2C|3C|0C-1C(SINGLE)|0C-2C(SINGLE)|0C-3C(SINGLE)| -isUnique?0C|1C|2C|3C|4C|5C|0C-1C(SINGLE)|0C-2C(SINGLE)|0C-3C(SINGLE)|1C-2C(SINGLE)|1C-3C(SINGLE)|2C-5C(SINGLE)|3C-4C(SINGLE)|3C-5C(SINGLE)|4C-5C(SINGLE)| -isUnique?0C|1C|2C|3C|4C|0C-1C(SINGLE)|0C-4C(SINGLE)|1C-2C(SINGLE)|1C-3C(SINGLE)|1C-4C(SINGLE)|2C-4C(SINGLE)|3C-4C(SINGLE)| -isUnique?0C|1C|2C|3C|4C|0C-1C(SINGLE)|0C-4C(SINGLE)|1C-2C(SINGLE)|1C-3C(SINGLE)|2C-4C(SINGLE)|3C-4C(SINGLE)| -[C]([C]([C]([C,0]))[C]([C,0])) -isUnique?0C|1C|2C|3C|4C|0C-1C(SINGLE)|0C-2C(SINGLE)|0C-3C(SINGLE)|0C-4C(SINGLE)|2C-3C(SINGLE)|3C-4C(SINGLE)| -isUnique?0C|1C|2C|3C|4C|0C-1C(SINGLE)|0C-2C(SINGLE)|0C-3C(SINGLE)|0C-4C(SINGLE)| -isUnique?0C|1H|2H|3H|4H|0C-1H(SINGLE)|0C-2H(SINGLE)|0C-3H(SINGLE)|0C-4H(SINGLE)| -isUnique?0C|1C|2C|3C|4C|5C|0C-1C(SINGLE)|0C-2C(SINGLE)|0C-3C(SINGLE)|0C-4C(SINGLE)|0C-5C(SINGLE)| -[C](=[C]([C](=[C,10]([C](=[O][O]([C]([C]([C]([C,8]([H][O]([C]([C](=[C]([C](=[C,5]([O])[O]))[C](=[C]([C,5][O]([C]([C]([C](=[C]([C,1]([O])[O]))=[C]([C](=[C,1][O])))=[O])))))=[O])))[H][O]([C]([C](=[C]([C](=[C,6]([O])[O]))[C](=[C]([C,6][O]([C]([C]([C](=[C]([C,2]([O])[O]))=[C]([C](=[C,2][O])))=[O])))))=[O])))[H][O]([C]([C](=[C]([C](=[C,7]([O])[O]))[C](=[C]([C,7][O]([C]([C]([C](=[C]([C,3]([O])[O]))=[C]([C](=[C,3][O])))=[O])))))=[O])))[H][O]([C]([C]([O]([C]([C](=[C]([C](=[C,4]([O])[O]))[C](=[C]([C,4][O]([C]([C]([C](=[C]([C,0]([O])[O]))=[C]([C](=[C,0][O])))=[O])))))=[O])))[C,8][H])))))))[O])[C](=[C]([C,10])[O]([C]([C]([C](=[C]([C,9]([O])[O]))=[C]([C](=[C,9][O])))=[O])))[O]) -[INFO] Tests run: 29, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.741 s - in signature.chemistry.MoleculeSignatureTest -[INFO] Running signature.chemistry.MultipleBondTest -[C]([C]([C,0])=[C]([C,0])) -[C](=[C]([C,0])[C](=[C,0])) -[O]([C](=[O])[C]([C]([O]))) --------------------------------------- -[O]([C](=[O])[C]([C]([O]))) -[C]([C]=[C][H]) -[C]([C]=[C][H]) -[C](p[C](p[C](p[C,0]))p[C](p[C](p[C,0]))) -[INFO] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 s - in signature.chemistry.MultipleBondTest -[INFO] Running signature.chemistry.WriterTest -[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 s - in signature.chemistry.WriterTest -[INFO] Running signature.chemistry.NumberLabelsTest -[C]([H][O]) -[C]([H][O]) -[C]([H][O]) -[C]([H][O]) -[C]([H][O]) -[C]([H][O]) -[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 s - in signature.chemistry.NumberLabelsTest -[INFO] Running signature.InvariantArrayTest -[INFO] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 s - in signature.InvariantArrayTest -[INFO] Running signature.ParsingTest -[A](=[B1]([C])=[B2]) -[A](=[B1]=[B2]) -[A](=[B]) -[INFO] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.004 s - in signature.ParsingTest +[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.622 s - in signature.HeightTest [INFO] [INFO] Results: [INFO] @@ -3607,8 +3643,8 @@ [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ -[INFO] Total time: 01:30 min -[INFO] Finished at: 2025-04-30T13:28:42Z +[INFO] Total time: 02:50 min +[INFO] Finished at: 2024-03-28T07:10:02Z [INFO] ------------------------------------------------------------------------ create-stamp debian/debhelper-build-stamp dh_prep @@ -3631,8 +3667,8 @@ [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ -[INFO] Total time: 0.428 s -[INFO] Finished at: 2025-04-30T13:28:44Z +[INFO] Total time: 0.649 s +[INFO] Finished at: 2024-03-28T07:10:05Z [INFO] ------------------------------------------------------------------------ mh_resolve_dependencies --non-interactive --offline --build -plibsignatures-java --base-directory=/build/reproducible-path/libsignatures-java-1.1.10.g614270e\+ds --non-explore Analysing pom.xml... @@ -3657,12 +3693,14 @@ dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: including full source code in upload I: copying local configuration +I: user script /srv/workspace/pbuilder/40838/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/40838/tmp/hooks/B01_cleanup finished I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env -I: removing directory /srv/workspace/pbuilder/33001 and its subdirectories -I: Current time: Wed Apr 30 01:28:47 -12 2025 -I: pbuilder-time-stamp: 1746019727 +I: removing directory /srv/workspace/pbuilder/40838 and its subdirectories +I: Current time: Thu Mar 28 21:10:12 +14 2024 +I: pbuilder-time-stamp: 1711609812