cryptominisat: 5.0.1 -> 5.6.3, enable "full", run tests #43594

dtzWill · 2018-07-16T01:39:18Z

Significant update \o/

Tested using sandboxing (nix.useSandbox on NixOS, or option sandbox in nix.conf on non-NixOS)
Built on platform(s)
- NixOS
- macOS
- other Linux distributions
Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
Tested compilation of all pkgs that depend on this change using nix-shell -p nox --run "nox-review wip"
Tested execution of all binary files (usually in ./result/bin/)
Determined the impact on package closure size (by running nix path-info -S before and after)
Fits CONTRIBUTING.md.

GrahamcOfBorg · 2018-07-16T02:04:16Z

Success on aarch64-linux (full log)

Attempted: cryptominisat

Partial log (click to expand)

shrinking RPATHs of ELF executables and libraries in /nix/store/8jjgscya420z5n7gcnrly34shlscpvx9-cryptominisat-5.6.3
shrinking /nix/store/8jjgscya420z5n7gcnrly34shlscpvx9-cryptominisat-5.6.3/bin/cryptominisat5
shrinking /nix/store/8jjgscya420z5n7gcnrly34shlscpvx9-cryptominisat-5.6.3/bin/cryptominisat5_simple
shrinking /nix/store/8jjgscya420z5n7gcnrly34shlscpvx9-cryptominisat-5.6.3/lib/python2.7/site-packages/pycryptosat.so
shrinking /nix/store/8jjgscya420z5n7gcnrly34shlscpvx9-cryptominisat-5.6.3/lib/libcryptominisat5.so.5.6
strip is /nix/store/0pjsgkxz0rp5baycq5sp2s72lrr5q9sg-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/8jjgscya420z5n7gcnrly34shlscpvx9-cryptominisat-5.6.3/lib  /nix/store/8jjgscya420z5n7gcnrly34shlscpvx9-cryptominisat-5.6.3/bin
patching script interpreter paths in /nix/store/8jjgscya420z5n7gcnrly34shlscpvx9-cryptominisat-5.6.3
checking for references to /build in /nix/store/8jjgscya420z5n7gcnrly34shlscpvx9-cryptominisat-5.6.3...
/nix/store/8jjgscya420z5n7gcnrly34shlscpvx9-cryptominisat-5.6.3

GrahamcOfBorg · 2018-07-16T02:05:49Z

Failure on x86_64-darwin (full log)

Attempted: cryptominisat

Partial log (click to expand)

         18 - xorfinder_test (Child aborted)
         19 - comphandler_test (Child aborted)
         20 - dump_test (Child aborted)
         21 - searcher_test (Child aborted)
         22 - solver_test (Child aborted)
         23 - CNF (Failed)
Errors while running CTest
make: *** [Makefile:96: test] Error 8
builder for '/nix/store/3m765pfkqbvbz95birbfka5hfs4g3rir-cryptominisat-5.6.3.drv' failed with exit code 2
�[31;1merror:�[0m build of '/nix/store/3m765pfkqbvbz95birbfka5hfs4g3rir-cryptominisat-5.6.3.drv' failed

GrahamcOfBorg · 2018-07-16T02:12:05Z

Success on x86_64-linux (full log)

Attempted: cryptominisat

Partial log (click to expand)

shrinking RPATHs of ELF executables and libraries in /nix/store/wg91q6fk35rxspchx10jb53j58k672ax-cryptominisat-5.6.3
shrinking /nix/store/wg91q6fk35rxspchx10jb53j58k672ax-cryptominisat-5.6.3/lib/libcryptominisat5.so.5.6
shrinking /nix/store/wg91q6fk35rxspchx10jb53j58k672ax-cryptominisat-5.6.3/lib/python2.7/site-packages/pycryptosat.so
shrinking /nix/store/wg91q6fk35rxspchx10jb53j58k672ax-cryptominisat-5.6.3/bin/cryptominisat5
shrinking /nix/store/wg91q6fk35rxspchx10jb53j58k672ax-cryptominisat-5.6.3/bin/cryptominisat5_simple
strip is /nix/store/4qvrxzxa535y8304mk195x50b6p9607d-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/wg91q6fk35rxspchx10jb53j58k672ax-cryptominisat-5.6.3/lib  /nix/store/wg91q6fk35rxspchx10jb53j58k672ax-cryptominisat-5.6.3/bin
patching script interpreter paths in /nix/store/wg91q6fk35rxspchx10jb53j58k672ax-cryptominisat-5.6.3
checking for references to /build in /nix/store/wg91q6fk35rxspchx10jb53j58k672ax-cryptominisat-5.6.3...
/nix/store/wg91q6fk35rxspchx10jb53j58k672ax-cryptominisat-5.6.3

GrahamcOfBorg · 2018-07-16T02:38:39Z

Success on aarch64-linux (full log)

Attempted: cryptominisat

Partial log (click to expand)

shrinking RPATHs of ELF executables and libraries in /nix/store/g1zxc48sa92pq4m5r147i8ccr35rhq0g-cryptominisat-5.6.3
shrinking /nix/store/g1zxc48sa92pq4m5r147i8ccr35rhq0g-cryptominisat-5.6.3/bin/cryptominisat5
shrinking /nix/store/g1zxc48sa92pq4m5r147i8ccr35rhq0g-cryptominisat-5.6.3/bin/cryptominisat5_simple
shrinking /nix/store/g1zxc48sa92pq4m5r147i8ccr35rhq0g-cryptominisat-5.6.3/lib/python2.7/site-packages/pycryptosat.so
shrinking /nix/store/g1zxc48sa92pq4m5r147i8ccr35rhq0g-cryptominisat-5.6.3/lib/libcryptominisat5.so.5.6
strip is /nix/store/0pjsgkxz0rp5baycq5sp2s72lrr5q9sg-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/g1zxc48sa92pq4m5r147i8ccr35rhq0g-cryptominisat-5.6.3/lib  /nix/store/g1zxc48sa92pq4m5r147i8ccr35rhq0g-cryptominisat-5.6.3/bin
patching script interpreter paths in /nix/store/g1zxc48sa92pq4m5r147i8ccr35rhq0g-cryptominisat-5.6.3
checking for references to /build in /nix/store/g1zxc48sa92pq4m5r147i8ccr35rhq0g-cryptominisat-5.6.3...
/nix/store/g1zxc48sa92pq4m5r147i8ccr35rhq0g-cryptominisat-5.6.3

GrahamcOfBorg · 2018-07-16T02:38:43Z

Success on x86_64-linux (full log)

Attempted: cryptominisat

Partial log (click to expand)

shrinking RPATHs of ELF executables and libraries in /nix/store/gm03vba27lg9hkf9x0cvvzi93mx1kc78-cryptominisat-5.6.3
shrinking /nix/store/gm03vba27lg9hkf9x0cvvzi93mx1kc78-cryptominisat-5.6.3/bin/cryptominisat5_simple
shrinking /nix/store/gm03vba27lg9hkf9x0cvvzi93mx1kc78-cryptominisat-5.6.3/bin/cryptominisat5
shrinking /nix/store/gm03vba27lg9hkf9x0cvvzi93mx1kc78-cryptominisat-5.6.3/lib/libcryptominisat5.so.5.6
shrinking /nix/store/gm03vba27lg9hkf9x0cvvzi93mx1kc78-cryptominisat-5.6.3/lib/python2.7/site-packages/pycryptosat.so
strip is /nix/store/4qvrxzxa535y8304mk195x50b6p9607d-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/gm03vba27lg9hkf9x0cvvzi93mx1kc78-cryptominisat-5.6.3/lib  /nix/store/gm03vba27lg9hkf9x0cvvzi93mx1kc78-cryptominisat-5.6.3/bin 
patching script interpreter paths in /nix/store/gm03vba27lg9hkf9x0cvvzi93mx1kc78-cryptominisat-5.6.3
checking for references to /tmp/nix-build-cryptominisat-5.6.3.drv-0 in /nix/store/gm03vba27lg9hkf9x0cvvzi93mx1kc78-cryptominisat-5.6.3...
/nix/store/gm03vba27lg9hkf9x0cvvzi93mx1kc78-cryptominisat-5.6.3

GrahamcOfBorg · 2018-07-16T02:38:51Z

Failure on x86_64-darwin (full log)

Attempted: cryptominisat

Partial log (click to expand)

96% tests passed, 1 tests failed out of 25

Total Test time (real) =   2.52 sec

The following tests FAILED:
         23 - CNF (Failed)
Errors while running CTest
make: *** [Makefile:96: test] Error 8
builder for '/nix/store/d0g2n1h4ikljn3acz7wn645mhckyi3ww-cryptominisat-5.6.3.drv' failed with exit code 2
�[31;1merror:�[0m build of '/nix/store/d0g2n1h4ikljn3acz7wn645mhckyi3ww-cryptominisat-5.6.3.drv' failed

GrahamcOfBorg · 2018-07-16T12:47:28Z

Success on x86_64-linux (full log)

Attempted: cryptominisat

Partial log (click to expand)

shrinking RPATHs of ELF executables and libraries in /nix/store/9z3bn4ld9ax87jcddmgkdiszvh5d7ldz-cryptominisat-5.6.3
shrinking /nix/store/9z3bn4ld9ax87jcddmgkdiszvh5d7ldz-cryptominisat-5.6.3/bin/cryptominisat5_simple
shrinking /nix/store/9z3bn4ld9ax87jcddmgkdiszvh5d7ldz-cryptominisat-5.6.3/bin/cryptominisat5
shrinking /nix/store/9z3bn4ld9ax87jcddmgkdiszvh5d7ldz-cryptominisat-5.6.3/lib/python3.6/site-packages/pycryptosat.cpython-36m-x86_64-linux-gnu.so
shrinking /nix/store/9z3bn4ld9ax87jcddmgkdiszvh5d7ldz-cryptominisat-5.6.3/lib/libcryptominisat5.so.5.6
strip is /nix/store/4qvrxzxa535y8304mk195x50b6p9607d-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/9z3bn4ld9ax87jcddmgkdiszvh5d7ldz-cryptominisat-5.6.3/lib  /nix/store/9z3bn4ld9ax87jcddmgkdiszvh5d7ldz-cryptominisat-5.6.3/bin
patching script interpreter paths in /nix/store/9z3bn4ld9ax87jcddmgkdiszvh5d7ldz-cryptominisat-5.6.3
checking for references to /build in /nix/store/9z3bn4ld9ax87jcddmgkdiszvh5d7ldz-cryptominisat-5.6.3...
/nix/store/9z3bn4ld9ax87jcddmgkdiszvh5d7ldz-cryptominisat-5.6.3

GrahamcOfBorg · 2018-07-16T12:48:42Z

Failure on x86_64-darwin (full log)

Attempted: cryptominisat

Partial log (click to expand)

96% tests passed, 1 tests failed out of 25

Total Test time (real) =   2.76 sec

The following tests FAILED:
         23 - CNF (Failed)
Errors while running CTest
make: *** [Makefile:96: test] Error 8
builder for '/nix/store/1my5x2kxkp9pz8ihywgiznp7dppz9qr2-cryptominisat-5.6.3.drv' failed with exit code 2
�[31;1merror:�[0m build of '/nix/store/1my5x2kxkp9pz8ihywgiznp7dppz9qr2-cryptominisat-5.6.3.drv' failed

GrahamcOfBorg · 2018-07-16T12:48:45Z

Success on aarch64-linux (full log)

Attempted: cryptominisat

Partial log (click to expand)

shrinking RPATHs of ELF executables and libraries in /nix/store/6dylgnaid8hn20vm3zjdgvsqvx74ifw4-cryptominisat-5.6.3
shrinking /nix/store/6dylgnaid8hn20vm3zjdgvsqvx74ifw4-cryptominisat-5.6.3/bin/cryptominisat5
shrinking /nix/store/6dylgnaid8hn20vm3zjdgvsqvx74ifw4-cryptominisat-5.6.3/bin/cryptominisat5_simple
shrinking /nix/store/6dylgnaid8hn20vm3zjdgvsqvx74ifw4-cryptominisat-5.6.3/lib/python3.6/site-packages/pycryptosat.cpython-36m-aarch64-linux-gnu.so
shrinking /nix/store/6dylgnaid8hn20vm3zjdgvsqvx74ifw4-cryptominisat-5.6.3/lib/libcryptominisat5.so.5.6
strip is /nix/store/0pjsgkxz0rp5baycq5sp2s72lrr5q9sg-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/6dylgnaid8hn20vm3zjdgvsqvx74ifw4-cryptominisat-5.6.3/lib  /nix/store/6dylgnaid8hn20vm3zjdgvsqvx74ifw4-cryptominisat-5.6.3/bin
patching script interpreter paths in /nix/store/6dylgnaid8hn20vm3zjdgvsqvx74ifw4-cryptominisat-5.6.3
checking for references to /build in /nix/store/6dylgnaid8hn20vm3zjdgvsqvx74ifw4-cryptominisat-5.6.3...
/nix/store/6dylgnaid8hn20vm3zjdgvsqvx74ifw4-cryptominisat-5.6.3

GrahamcOfBorg · 2018-07-16T13:14:19Z

Success on x86_64-linux (full log)

Attempted: cryptominisat

Partial log (click to expand)

shrinking RPATHs of ELF executables and libraries in /nix/store/5dzsf21pyy584nchmq5n2b4qv821iyfm-cryptominisat-5.6.3
shrinking /nix/store/5dzsf21pyy584nchmq5n2b4qv821iyfm-cryptominisat-5.6.3/bin/cryptominisat5_simple
shrinking /nix/store/5dzsf21pyy584nchmq5n2b4qv821iyfm-cryptominisat-5.6.3/bin/cryptominisat5
shrinking /nix/store/5dzsf21pyy584nchmq5n2b4qv821iyfm-cryptominisat-5.6.3/lib/libcryptominisat5.so.5.6
shrinking /nix/store/5dzsf21pyy584nchmq5n2b4qv821iyfm-cryptominisat-5.6.3/lib/python3.6/site-packages/pycryptosat.cpython-36m-x86_64-linux-gnu.so
strip is /nix/store/4qvrxzxa535y8304mk195x50b6p9607d-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/5dzsf21pyy584nchmq5n2b4qv821iyfm-cryptominisat-5.6.3/lib  /nix/store/5dzsf21pyy584nchmq5n2b4qv821iyfm-cryptominisat-5.6.3/bin 
patching script interpreter paths in /nix/store/5dzsf21pyy584nchmq5n2b4qv821iyfm-cryptominisat-5.6.3
checking for references to /tmp/nix-build-cryptominisat-5.6.3.drv-0 in /nix/store/5dzsf21pyy584nchmq5n2b4qv821iyfm-cryptominisat-5.6.3...
/nix/store/5dzsf21pyy584nchmq5n2b4qv821iyfm-cryptominisat-5.6.3

GrahamcOfBorg · 2018-07-16T13:14:24Z

Success on aarch64-linux (full log)

Attempted: cryptominisat

Partial log (click to expand)

shrinking RPATHs of ELF executables and libraries in /nix/store/d45vwirsvn3lizr9bb1wwqzb9q739q7m-cryptominisat-5.6.3
shrinking /nix/store/d45vwirsvn3lizr9bb1wwqzb9q739q7m-cryptominisat-5.6.3/bin/cryptominisat5
shrinking /nix/store/d45vwirsvn3lizr9bb1wwqzb9q739q7m-cryptominisat-5.6.3/bin/cryptominisat5_simple
shrinking /nix/store/d45vwirsvn3lizr9bb1wwqzb9q739q7m-cryptominisat-5.6.3/lib/python3.6/site-packages/pycryptosat.cpython-36m-aarch64-linux-gnu.so
shrinking /nix/store/d45vwirsvn3lizr9bb1wwqzb9q739q7m-cryptominisat-5.6.3/lib/libcryptominisat5.so.5.6
strip is /nix/store/0pjsgkxz0rp5baycq5sp2s72lrr5q9sg-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/d45vwirsvn3lizr9bb1wwqzb9q739q7m-cryptominisat-5.6.3/lib  /nix/store/d45vwirsvn3lizr9bb1wwqzb9q739q7m-cryptominisat-5.6.3/bin
patching script interpreter paths in /nix/store/d45vwirsvn3lizr9bb1wwqzb9q739q7m-cryptominisat-5.6.3
checking for references to /build in /nix/store/d45vwirsvn3lizr9bb1wwqzb9q739q7m-cryptominisat-5.6.3...
/nix/store/d45vwirsvn3lizr9bb1wwqzb9q739q7m-cryptominisat-5.6.3

GrahamcOfBorg · 2018-07-16T13:14:26Z

Failure on x86_64-darwin (full log)

Attempted: cryptominisat

Partial log (click to expand)

96% tests passed, 1 tests failed out of 25

Total Test time (real) =   2.76 sec

The following tests FAILED:
         23 - CNF (Failed)
Errors while running CTest
make: *** [Makefile:96: test] Error 8
builder for '/nix/store/g0z0wyfv6qr1by1m9j27q0kviscnjiq9-cryptominisat-5.6.3.drv' failed with exit code 2
�[31;1merror:�[0m build of '/nix/store/g0z0wyfv6qr1by1m9j27q0kviscnjiq9-cryptominisat-5.6.3.drv' failed

GrahamcOfBorg · 2018-07-16T15:09:44Z

Success on x86_64-linux (full log)

Attempted: cryptominisat

Partial log (click to expand)

shrinking RPATHs of ELF executables and libraries in /nix/store/n5jyfa6wvwwdbdk882bb4y60sgzwxcrx-cryptominisat-5.6.3
shrinking /nix/store/n5jyfa6wvwwdbdk882bb4y60sgzwxcrx-cryptominisat-5.6.3/bin/cryptominisat5_simple
shrinking /nix/store/n5jyfa6wvwwdbdk882bb4y60sgzwxcrx-cryptominisat-5.6.3/bin/cryptominisat5
shrinking /nix/store/n5jyfa6wvwwdbdk882bb4y60sgzwxcrx-cryptominisat-5.6.3/lib/libcryptominisat5.so.5.6
shrinking /nix/store/n5jyfa6wvwwdbdk882bb4y60sgzwxcrx-cryptominisat-5.6.3/lib/python3.6/site-packages/pycryptosat.cpython-36m-x86_64-linux-gnu.so
strip is /nix/store/4qvrxzxa535y8304mk195x50b6p9607d-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/n5jyfa6wvwwdbdk882bb4y60sgzwxcrx-cryptominisat-5.6.3/lib  /nix/store/n5jyfa6wvwwdbdk882bb4y60sgzwxcrx-cryptominisat-5.6.3/bin 
patching script interpreter paths in /nix/store/n5jyfa6wvwwdbdk882bb4y60sgzwxcrx-cryptominisat-5.6.3
checking for references to /tmp/nix-build-cryptominisat-5.6.3.drv-0 in /nix/store/n5jyfa6wvwwdbdk882bb4y60sgzwxcrx-cryptominisat-5.6.3...
/nix/store/n5jyfa6wvwwdbdk882bb4y60sgzwxcrx-cryptominisat-5.6.3

GrahamcOfBorg · 2018-07-16T15:09:56Z

Success on aarch64-linux (full log)

Attempted: cryptominisat

Partial log (click to expand)

shrinking RPATHs of ELF executables and libraries in /nix/store/2gfagxpkigf2rf28kp7gkxl2nwv8345j-cryptominisat-5.6.3
shrinking /nix/store/2gfagxpkigf2rf28kp7gkxl2nwv8345j-cryptominisat-5.6.3/bin/cryptominisat5
shrinking /nix/store/2gfagxpkigf2rf28kp7gkxl2nwv8345j-cryptominisat-5.6.3/bin/cryptominisat5_simple
shrinking /nix/store/2gfagxpkigf2rf28kp7gkxl2nwv8345j-cryptominisat-5.6.3/lib/python3.6/site-packages/pycryptosat.cpython-36m-aarch64-linux-gnu.so
shrinking /nix/store/2gfagxpkigf2rf28kp7gkxl2nwv8345j-cryptominisat-5.6.3/lib/libcryptominisat5.so.5.6
strip is /nix/store/0pjsgkxz0rp5baycq5sp2s72lrr5q9sg-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/2gfagxpkigf2rf28kp7gkxl2nwv8345j-cryptominisat-5.6.3/lib  /nix/store/2gfagxpkigf2rf28kp7gkxl2nwv8345j-cryptominisat-5.6.3/bin
patching script interpreter paths in /nix/store/2gfagxpkigf2rf28kp7gkxl2nwv8345j-cryptominisat-5.6.3
checking for references to /build in /nix/store/2gfagxpkigf2rf28kp7gkxl2nwv8345j-cryptominisat-5.6.3...
/nix/store/2gfagxpkigf2rf28kp7gkxl2nwv8345j-cryptominisat-5.6.3

GrahamcOfBorg · 2018-07-16T15:10:08Z

Failure on x86_64-darwin (full log)

Attempted: cryptominisat

Partial log (click to expand)

96% tests passed, 1 tests failed out of 25

Total Test time (real) =   2.77 sec

The following tests FAILED:
         23 - CNF (Failed)
Errors while running CTest
make: *** [Makefile:96: test] Error 8
builder for '/nix/store/i06nmff3kd00k4ma9chz9i7ff54az56d-cryptominisat-5.6.3.drv' failed with exit code 2
�[31;1merror:�[0m build of '/nix/store/i06nmff3kd00k4ma9chz9i7ff54az56d-cryptominisat-5.6.3.drv' failed

dtzWill · 2018-07-16T15:24:15Z

Welp nevermind for now, then. Sorry O:).

dtzWill added 3 commits July 15, 2018 20:11

cryptominisat: 5.0.1 -> 5.6.3

4e76e24

cryptominisat: add deps recommended to support "full experience"

88d65c3

cryptominisat: enable tests, remove unneeded xxd

1f1c86b

dtzWill requested a review from Mic92 July 16, 2018 01:39

GrahamcOfBorg added 10.rebuild-darwin: 1-10 10.rebuild-linux: 1-10 labels Jul 16, 2018

cryptominisat: set darwin's library environment variable as well

3e990b7

dtzWill added 2 commits July 16, 2018 07:30

cryptominisat: use python3, preferred

d97bd65

cryptominisat: disable fortify hardening, avoid conflict w/build system

c9a546d

cryptominisat: try darwin fix

b75cc57

dtzWill added 2 commits July 16, 2018 09:15

verbose testing to help track darwin failure

698f639

cryptominisat: more verbose

8851641

dtzWill closed this Jul 16, 2018

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

cryptominisat: 5.0.1 -> 5.6.3, enable "full", run tests #43594

cryptominisat: 5.0.1 -> 5.6.3, enable "full", run tests #43594

dtzWill commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

dtzWill commented Jul 16, 2018

cryptominisat: 5.0.1 -> 5.6.3, enable "full", run tests #43594

cryptominisat: 5.0.1 -> 5.6.3, enable "full", run tests #43594

Conversation

dtzWill commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

GrahamcOfBorg commented Jul 16, 2018

dtzWill commented Jul 16, 2018