Diff of the two buildlogs: -- --- b1/build.log 2024-05-08 06:10:32.885306663 +0000 +++ b2/build.log 2024-05-08 06:16:51.129205396 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Tue May 7 18:05:12 -12 2024 -I: pbuilder-time-stamp: 1715148312 +I: Current time: Wed Jun 11 02:33:35 +14 2025 +I: pbuilder-time-stamp: 1749558815 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/trixie-reproducible-base.tgz] I: copying local configuration @@ -28,52 +28,84 @@ 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/2235190/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/2866808/tmp/hooks/D01_modify_environment starting +debug: Running on ionos5-amd64. +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 Jun 10 12:33 /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/2866808/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/2866808/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='amd64' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=20 ' - DISTRIBUTION='trixie' - HOME='/root' - HOST_ARCH='amd64' + 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]="x86_64-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=amd64 + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=42 ' + DIRSTACK=() + DISTRIBUTION=trixie + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=x86_64 + HOST_ARCH=amd64 IFS=' ' - INVOCATION_ID='094943a072de4c8ba19f11d91d2816a7' - LANG='C' - LANGUAGE='en_US:en' - LC_ALL='C' - 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='2235190' - PS1='# ' - PS2='> ' + INVOCATION_ID=1dae84c7eb51454a9a0bc2fd5a0ebf6a + LANG=C + LANGUAGE=et_EE:et + LC_ALL=C + MACHTYPE=x86_64-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=2866808 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.4yAIeVj8/pbuilderrc_mCMS --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.4yAIeVj8/b1 --logfile b1/build.log libsignatures-java_1.1.10.g614270e+ds-1.dsc' - SUDO_GID='110' - SUDO_UID='105' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://46.16.76.132: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.4yAIeVj8/pbuilderrc_gYSE --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.4yAIeVj8/b2 --logfile b2/build.log libsignatures-java_1.1.10.g614270e+ds-1.dsc' + SUDO_GID=110 + SUDO_UID=105 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://213.165.73.152:3128 I: uname -a - Linux ionos1-amd64 6.1.0-21-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.90-1 (2024-05-03) x86_64 GNU/Linux + Linux i-capture-the-hostname 6.6.13+bpo-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.6.13-1~bpo12+1 (2024-02-15) x86_64 GNU/Linux I: ls -l /bin - lrwxrwxrwx 1 root root 7 May 5 11:24 /bin -> usr/bin -I: user script /srv/workspace/pbuilder/2235190/tmp/hooks/D02_print_environment finished + lrwxrwxrwx 1 root root 7 Jun 7 17:46 /bin -> usr/bin +I: user script /srv/workspace/pbuilder/2866808/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -389,7 +421,7 @@ Get: 270 http://deb.debian.org/debian trixie/main amd64 maven all 3.8.7-2 [19.3 kB] Get: 271 http://deb.debian.org/debian trixie/main amd64 maven-repo-helper all 1.11 [142 kB] Get: 272 http://deb.debian.org/debian trixie/main amd64 maven-debian-helper all 2.6.4 [108 kB] -Fetched 256 MB in 16s (15.8 MB/s) +Fetched 256 MB in 28s (9011 kB/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 ... 19698 files and directories currently installed.) @@ -1686,7 +1718,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/2866808/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for trixie +I: user script /srv/workspace/pbuilder/2866808/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 @@ -1744,8 +1780,8 @@ [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ -[INFO] Total time: 6.369 s -[INFO] Finished at: 2024-05-08T06:08:15Z +[INFO] Total time: 2.358 s +[INFO] Finished at: 2025-06-10T12:38:31Z [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 @@ -1777,12 +1813,62 @@ [INFO] ------------------------------------------------------- [INFO] T E S T S [INFO] ------------------------------------------------------- +[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]) +3 [.]([.]([.,4][.,0][.,1][.,2][.,3])[.,4]([.,0][.,1][.,2][.,3])[.,0]([.,1][.,2][.,3])[.,1]([.,2][.,3])[.,2]([.,3])[.,3]) +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.515 s - in signature.HeightTest +[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.002 s - in signature.edgecolored.BasicTests +[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] +[0-1(b), 0-2(r), 0-3(b), 0-4(r), 1-2(b), 1-3(r), 1-4(b), 2-3(b), 2-4(r), 3-4(b)] +[.](r[.](r[.,1]b[.,2]b[.,0])r[.,1](b[.,2]b[.,0])b[.,2](r[.,0])b[.,0]) [0, 2, 4] +[.](b[.](r[.,1]b[.,2]r[.,0])b[.,1](b[.,2]r[.,0])r[.,2](b[.,0])b[.,0]) [1, 3] +[0-1(b), 0-2(r), 0-3(b), 0-4(r), 0-5(b), 1-2(b), 1-3(r), 1-4(b), 1-5(r), 2-3(b), 2-4(r), 2-5(b), 3-4(b), 3-5(r), 4-5(b)] +[.](b[.](r[.,2]b[.,3]r[.,0]b[.,1])b[.,2](b[.,3]r[.,0]b[.,1])r[.,3](b[.,0]r[.,1])b[.,0](b[.,1])r[.,1]) [0, 1, 2, 3, 4, 5] +[0-1(b), 0-2(r), 0-3(b), 0-4(r), 0-5(b), 0-6(r), 1-2(b), 1-3(r), 1-4(b), 1-5(r), 1-6(b), 2-3(b), 2-4(r), 2-5(b), 2-6(r), 3-4(b), 3-5(r), 3-6(b), 4-5(b), 4-6(r), 5-6(b)] +[.](r[.](r[.,3]b[.,4]b[.,0]r[.,1]b[.,2])r[.,3](b[.,4]b[.,0]r[.,1]b[.,2])b[.,4](r[.,0]b[.,1]r[.,2])b[.,0](b[.,1]r[.,2])r[.,1](b[.,2])b[.,2]) [0, 2, 4, 6] +[.](b[.](r[.,3]b[.,4]r[.,0]r[.,1]b[.,2])b[.,3](b[.,4]r[.,0]r[.,1]b[.,2])r[.,4](b[.,0]b[.,1]r[.,2])b[.,0](r[.,1]b[.,2])b[.,1](b[.,2])r[.,2]) [1, 3, 5] +[0-1(b), 0-2(r), 0-3(b), 0-4(r), 0-5(b), 0-6(r), 0-7(b), 1-2(b), 1-3(r), 1-4(b), 1-5(r), 1-6(b), 1-7(r), 2-3(b), 2-4(r), 2-5(b), 2-6(r), 2-7(b), 3-4(b), 3-5(r), 3-6(b), 3-7(r), 4-5(b), 4-6(r), 4-7(b), 5-6(b), 5-7(r), 6-7(b)] +[.](b[.](r[.,4]b[.,5]r[.,0]b[.,1]r[.,2]b[.,3])b[.,4](b[.,5]r[.,0]b[.,1]r[.,2]b[.,3])r[.,5](b[.,0]r[.,1]b[.,2]r[.,3])b[.,0](b[.,1]r[.,2]b[.,3])r[.,1](b[.,2]r[.,3])b[.,2](b[.,3])r[.,3]) [0, 1, 2, 3, 4, 5, 6, 7] +[0-1(b), 0-2(b), 0-3(r), 0-4(b), 0-5(b), 0-6(r), 0-7(b), 0-8(b), 1-2(b), 1-3(b), 1-4(r), 1-5(b), 1-6(b), 1-7(r), 1-8(b), 2-3(b), 2-4(b), 2-5(r), 2-6(b), 2-7(b), 2-8(r), 3-4(b), 3-5(b), 3-6(r), 3-7(b), 3-8(b), 4-5(b), 4-6(b), 4-7(r), 4-8(b), 5-6(b), 5-7(b), 5-8(r), 6-7(b), 6-8(b), 7-8(b)] +[.](b[.](r[.,5]b[.,6]r[.,0]b[.,1]b[.,2]b[.,3]b[.,4])b[.,5](b[.,6]r[.,0]b[.,1]b[.,2]b[.,3]b[.,4])r[.,6](b[.,0]b[.,1]b[.,2]b[.,3]r[.,4])b[.,0](b[.,1]b[.,2]b[.,3]b[.,4])b[.,1](r[.,2]r[.,3]b[.,4])b[.,2](r[.,3]b[.,4])b[.,3](b[.,4])r[.,4]) [0, 1, 2, 3, 4, 5, 6, 7, 8] +[0-1(b), 0-2(r), 0-3(b), 0-4(r), 0-5(b), 0-6(r), 0-7(b), 0-8(r), 0-9(b), 1-2(b), 1-3(r), 1-4(b), 1-5(r), 1-6(b), 1-7(r), 1-8(b), 1-9(r), 2-3(b), 2-4(r), 2-5(b), 2-6(r), 2-7(b), 2-8(r), 2-9(b), 3-4(b), 3-5(r), 3-6(b), 3-7(r), 3-8(b), 3-9(r), 4-5(b), 4-6(r), 4-7(b), 4-8(r), 4-9(b), 5-6(b), 5-7(r), 5-8(b), 5-9(r), 6-7(b), 6-8(r), 6-9(b), 7-8(b), 7-9(r), 8-9(b)] +[.](b[.](r[.,6]b[.,7]r[.,0]b[.,1]r[.,2]b[.,3]r[.,4]b[.,5])b[.,6](b[.,7]r[.,0]b[.,1]r[.,2]b[.,3]r[.,4]b[.,5])r[.,7](b[.,0]r[.,1]b[.,2]r[.,3]b[.,4]r[.,5])b[.,0](b[.,1]r[.,2]b[.,3]r[.,4]b[.,5])r[.,1](b[.,2]r[.,3]b[.,4]r[.,5])b[.,2](b[.,3]r[.,4]b[.,5])r[.,3](b[.,4]r[.,5])b[.,4](b[.,5])r[.,5]) [0, 1, 2, 3, 4, 5, 6, 7, 8, 9] +[0-1(b), 0-2(r), 0-3(b), 0-4(r), 0-5(b), 0-6(r), 0-7(b), 0-8(r), 0-9(b), 0-10(r), 1-2(b), 1-3(r), 1-4(b), 1-5(r), 1-6(b), 1-7(r), 1-8(b), 1-9(r), 1-10(b), 2-3(b), 2-4(r), 2-5(b), 2-6(r), 2-7(b), 2-8(r), 2-9(b), 2-10(r), 3-4(b), 3-5(r), 3-6(b), 3-7(r), 3-8(b), 3-9(r), 3-10(b), 4-5(b), 4-6(r), 4-7(b), 4-8(r), 4-9(b), 4-10(r), 5-6(b), 5-7(r), 5-8(b), 5-9(r), 5-10(b), 6-7(b), 6-8(r), 6-9(b), 6-10(r), 7-8(b), 7-9(r), 7-10(b), 8-9(b), 8-10(r), 9-10(b)] +[.](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: 7.251 s - in signature.edgecolored.CompleteGraphTests +[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] +[.](b[.](r[.,1]r[.,0])b[.](r[.,1]r[.,0])r[.](b[.,1]b[.,0])r[.](b[.,1]b[.,0])) [1] +[.](b[.](r[.,1]b[.,2]r[.,0])b[.](r[.,1]b[.,2]r[.,0])r[.](b[.,1]r[.,2]b[.,0])) [3, 5] +[.](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.005 s - in signature.edgecolored.BipartiteGraphTests [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: 100.037 s - in signature.simple.CanonicalLabellingTest +[WARNING] Tests run: 9, Failures: 0, Errors: 0, Skipped: 1, Time elapsed: 59.105 s - in signature.simple.CanonicalLabellingTest +[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.SimpleGraphTest 1 0 [.]([.][.][.]) 1 1 [.]([.][.][.]) @@ -1840,7 +1926,7 @@ 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.009 s - in signature.simple.SimpleGraphTest +[INFO] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.004 s - in signature.simple.SimpleGraphTest [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] @@ -1955,12 +2041,165 @@ 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.251 s - in signature.simple.SimpleQuotientGraphTest -[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.001 s - in signature.simple.ReconstructionTest +[INFO] Tests run: 31, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.157 s - in signature.simple.SimpleQuotientGraphTest +[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 s - in signature.ParsingTest +[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.763 s - in signature.chemistry.MoleculeSignatureTest +[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.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.526 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.001 s - in signature.chemistry.MultipleBondTest +[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.014 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.001 s - in signature.chemistry.NumberLabelsTest +[INFO] Running signature.InvariantArrayTest +[INFO] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 s - in signature.InvariantArrayTest [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]))))) @@ -3422,210 +3661,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.767 s - in signature.PermutationTest -[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.006 s - in signature.ParsingTest -[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]) -3 [.]([.]([.,4][.,0][.,1][.,2][.,3])[.,4]([.,0][.,1][.,2][.,3])[.,0]([.,1][.,2][.,3])[.,1]([.,2][.,3])[.,2]([.,3])[.,3]) -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.724 s - in signature.HeightTest -[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 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.138 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.001 s - in signature.chemistry.MultipleBondTest -[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.027 s - in signature.chemistry.ChiralityTest -[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: 1.299 s - in signature.chemistry.MoleculeSignatureTest -[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.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] -[0-1(b), 0-2(r), 0-3(b), 0-4(r), 1-2(b), 1-3(r), 1-4(b), 2-3(b), 2-4(r), 3-4(b)] -[.](r[.](r[.,1]b[.,2]b[.,0])r[.,1](b[.,2]b[.,0])b[.,2](r[.,0])b[.,0]) [0, 2, 4] -[.](b[.](r[.,1]b[.,2]r[.,0])b[.,1](b[.,2]r[.,0])r[.,2](b[.,0])b[.,0]) [1, 3] -[0-1(b), 0-2(r), 0-3(b), 0-4(r), 0-5(b), 1-2(b), 1-3(r), 1-4(b), 1-5(r), 2-3(b), 2-4(r), 2-5(b), 3-4(b), 3-5(r), 4-5(b)] -[.](b[.](r[.,2]b[.,3]r[.,0]b[.,1])b[.,2](b[.,3]r[.,0]b[.,1])r[.,3](b[.,0]r[.,1])b[.,0](b[.,1])r[.,1]) [0, 1, 2, 3, 4, 5] -[0-1(b), 0-2(r), 0-3(b), 0-4(r), 0-5(b), 0-6(r), 1-2(b), 1-3(r), 1-4(b), 1-5(r), 1-6(b), 2-3(b), 2-4(r), 2-5(b), 2-6(r), 3-4(b), 3-5(r), 3-6(b), 4-5(b), 4-6(r), 5-6(b)] -[.](r[.](r[.,3]b[.,4]b[.,0]r[.,1]b[.,2])r[.,3](b[.,4]b[.,0]r[.,1]b[.,2])b[.,4](r[.,0]b[.,1]r[.,2])b[.,0](b[.,1]r[.,2])r[.,1](b[.,2])b[.,2]) [0, 2, 4, 6] -[.](b[.](r[.,3]b[.,4]r[.,0]r[.,1]b[.,2])b[.,3](b[.,4]r[.,0]r[.,1]b[.,2])r[.,4](b[.,0]b[.,1]r[.,2])b[.,0](r[.,1]b[.,2])b[.,1](b[.,2])r[.,2]) [1, 3, 5] -[0-1(b), 0-2(r), 0-3(b), 0-4(r), 0-5(b), 0-6(r), 0-7(b), 1-2(b), 1-3(r), 1-4(b), 1-5(r), 1-6(b), 1-7(r), 2-3(b), 2-4(r), 2-5(b), 2-6(r), 2-7(b), 3-4(b), 3-5(r), 3-6(b), 3-7(r), 4-5(b), 4-6(r), 4-7(b), 5-6(b), 5-7(r), 6-7(b)] -[.](b[.](r[.,4]b[.,5]r[.,0]b[.,1]r[.,2]b[.,3])b[.,4](b[.,5]r[.,0]b[.,1]r[.,2]b[.,3])r[.,5](b[.,0]r[.,1]b[.,2]r[.,3])b[.,0](b[.,1]r[.,2]b[.,3])r[.,1](b[.,2]r[.,3])b[.,2](b[.,3])r[.,3]) [0, 1, 2, 3, 4, 5, 6, 7] -[0-1(b), 0-2(b), 0-3(r), 0-4(b), 0-5(b), 0-6(r), 0-7(b), 0-8(b), 1-2(b), 1-3(b), 1-4(r), 1-5(b), 1-6(b), 1-7(r), 1-8(b), 2-3(b), 2-4(b), 2-5(r), 2-6(b), 2-7(b), 2-8(r), 3-4(b), 3-5(b), 3-6(r), 3-7(b), 3-8(b), 4-5(b), 4-6(b), 4-7(r), 4-8(b), 5-6(b), 5-7(b), 5-8(r), 6-7(b), 6-8(b), 7-8(b)] -[.](b[.](r[.,5]b[.,6]r[.,0]b[.,1]b[.,2]b[.,3]b[.,4])b[.,5](b[.,6]r[.,0]b[.,1]b[.,2]b[.,3]b[.,4])r[.,6](b[.,0]b[.,1]b[.,2]b[.,3]r[.,4])b[.,0](b[.,1]b[.,2]b[.,3]b[.,4])b[.,1](r[.,2]r[.,3]b[.,4])b[.,2](r[.,3]b[.,4])b[.,3](b[.,4])r[.,4]) [0, 1, 2, 3, 4, 5, 6, 7, 8] -[0-1(b), 0-2(r), 0-3(b), 0-4(r), 0-5(b), 0-6(r), 0-7(b), 0-8(r), 0-9(b), 1-2(b), 1-3(r), 1-4(b), 1-5(r), 1-6(b), 1-7(r), 1-8(b), 1-9(r), 2-3(b), 2-4(r), 2-5(b), 2-6(r), 2-7(b), 2-8(r), 2-9(b), 3-4(b), 3-5(r), 3-6(b), 3-7(r), 3-8(b), 3-9(r), 4-5(b), 4-6(r), 4-7(b), 4-8(r), 4-9(b), 5-6(b), 5-7(r), 5-8(b), 5-9(r), 6-7(b), 6-8(r), 6-9(b), 7-8(b), 7-9(r), 8-9(b)] -[.](b[.](r[.,6]b[.,7]r[.,0]b[.,1]r[.,2]b[.,3]r[.,4]b[.,5])b[.,6](b[.,7]r[.,0]b[.,1]r[.,2]b[.,3]r[.,4]b[.,5])r[.,7](b[.,0]r[.,1]b[.,2]r[.,3]b[.,4]r[.,5])b[.,0](b[.,1]r[.,2]b[.,3]r[.,4]b[.,5])r[.,1](b[.,2]r[.,3]b[.,4]r[.,5])b[.,2](b[.,3]r[.,4]b[.,5])r[.,3](b[.,4]r[.,5])b[.,4](b[.,5])r[.,5]) [0, 1, 2, 3, 4, 5, 6, 7, 8, 9] -[0-1(b), 0-2(r), 0-3(b), 0-4(r), 0-5(b), 0-6(r), 0-7(b), 0-8(r), 0-9(b), 0-10(r), 1-2(b), 1-3(r), 1-4(b), 1-5(r), 1-6(b), 1-7(r), 1-8(b), 1-9(r), 1-10(b), 2-3(b), 2-4(r), 2-5(b), 2-6(r), 2-7(b), 2-8(r), 2-9(b), 2-10(r), 3-4(b), 3-5(r), 3-6(b), 3-7(r), 3-8(b), 3-9(r), 3-10(b), 4-5(b), 4-6(r), 4-7(b), 4-8(r), 4-9(b), 4-10(r), 5-6(b), 5-7(r), 5-8(b), 5-9(r), 5-10(b), 6-7(b), 6-8(r), 6-9(b), 6-10(r), 7-8(b), 7-9(r), 7-10(b), 8-9(b), 8-10(r), 9-10(b)] -[.](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: 12.952 s - in signature.edgecolored.CompleteGraphTests -[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] -[.](b[.](r[.,1]r[.,0])b[.](r[.,1]r[.,0])r[.](b[.,1]b[.,0])r[.](b[.,1]b[.,0])) [1] -[.](b[.](r[.,1]b[.,2]r[.,0])b[.](r[.,1]b[.,2]r[.,0])r[.](b[.,1]r[.,2]b[.,0])) [3, 5] -[.](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.006 s - in signature.edgecolored.BipartiteGraphTests -[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.001 s - in signature.edgecolored.BasicTests +[INFO] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.149 s - in signature.PermutationTest [INFO] [INFO] Results: [INFO] @@ -3634,8 +3670,8 @@ [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ -[INFO] Total time: 02:01 min -[INFO] Finished at: 2024-05-08T06:10:19Z +[INFO] Total time: 01:10 min +[INFO] Finished at: 2025-06-10T12:39:43Z [INFO] ------------------------------------------------------------------------ create-stamp debian/debhelper-build-stamp dh_prep @@ -3658,8 +3694,8 @@ [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ -[INFO] Total time: 0.995 s -[INFO] Finished at: 2024-05-08T06:10:23Z +[INFO] Total time: 0.374 s +[INFO] Finished at: 2025-06-10T12:39:44Z [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... @@ -3684,12 +3720,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/2866808/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/2866808/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/2235190 and its subdirectories -I: Current time: Tue May 7 18:10:32 -12 2024 -I: pbuilder-time-stamp: 1715148632 +I: removing directory /srv/workspace/pbuilder/2866808 and its subdirectories +I: Current time: Wed Jun 11 02:39:49 +14 2025 +I: pbuilder-time-stamp: 1749559189