test_run

joel@joel-laptop:~/Desktop/variable-system$ python3
Python 3.4.3 (default, Oct 14 2015, 20:28:29)
[GCC 4.8.4] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> from bintri import *
>>> run_tests()
All OK
>>> verify_youtube_examples()
1 = [[]] (canonical)
2 = [[][]] = [[[]]] (canonical)
3 = [[][][]] = [[[]][]] (canonical)
4 = [[][][][]] = [[[]][[]]] = [[[[]]]] (canonical)
5 = [[][][][][]] = [[[]][[]][]] = [[[[]]][]] (canonical)
65536 = [[[[[[]]]]]] (canonical)
2^65536 = [[[[[[[]]]]]]] (canonical)
>>> scroll(100)
[]
[[]]
[[[]]]
[[[]][]]
[[[[]]]]
[[[[]]][]]
[[[[]]][[]]]
[[[[]]][[]][]]
[[[[]][]]]
[[[[]][]][]]
[[[[]][]][[]]]
[[[[]][]][[]][]]
[[[[]][]][[[]]]]
[[[[]][]][[[]]][]]
[[[[]][]][[[]]][[]]]
[[[[]][]][[[]]][[]][]]
[[[[[]]]]]
[[[[[]]]][]]
[[[[[]]]][[]]]
[[[[[]]]][[]][]]
[[[[[]]]][[[]]]]
[[[[[]]]][[[]]][]]
[[[[[]]]][[[]]][[]]]
[[[[[]]]][[[]]][[]][]]
[[[[[]]]][[[]][]]]
[[[[[]]]][[[]][]][]]
[[[[[]]]][[[]][]][[]]]
[[[[[]]]][[[]][]][[]][]]
[[[[[]]]][[[]][]][[[]]]]
[[[[[]]]][[[]][]][[[]]][]]
[[[[[]]]][[[]][]][[[]]][[]]]
[[[[[]]]][[[]][]][[[]]][[]][]]
[[[[[]]][]]]
[[[[[]]][]][]]
[[[[[]]][]][[]]]
[[[[[]]][]][[]][]]
[[[[[]]][]][[[]]]]
[[[[[]]][]][[[]]][]]
[[[[[]]][]][[[]]][[]]]
[[[[[]]][]][[[]]][[]][]]
[[[[[]]][]][[[]][]]]
[[[[[]]][]][[[]][]][]]
[[[[[]]][]][[[]][]][[]]]
[[[[[]]][]][[[]][]][[]][]]
[[[[[]]][]][[[]][]][[[]]]]
[[[[[]]][]][[[]][]][[[]]][]]
[[[[[]]][]][[[]][]][[[]]][[]]]
[[[[[]]][]][[[]][]][[[]]][[]][]]
[[[[[]]][]][[[[]]]]]
[[[[[]]][]][[[[]]]][]]
[[[[[]]][]][[[[]]]][[]]]
[[[[[]]][]][[[[]]]][[]][]]
[[[[[]]][]][[[[]]]][[[]]]]
[[[[[]]][]][[[[]]]][[[]]][]]
[[[[[]]][]][[[[]]]][[[]]][[]]]
[[[[[]]][]][[[[]]]][[[]]][[]][]]
[[[[[]]][]][[[[]]]][[[]][]]]
[[[[[]]][]][[[[]]]][[[]][]][]]
[[[[[]]][]][[[[]]]][[[]][]][[]]]
[[[[[]]][]][[[[]]]][[[]][]][[]][]]
[[[[[]]][]][[[[]]]][[[]][]][[[]]]]
[[[[[]]][]][[[[]]]][[[]][]][[[]]][]]
[[[[[]]][]][[[[]]]][[[]][]][[[]]][[]]]
[[[[[]]][]][[[[]]]][[[]][]][[[]]][[]][]]
[[[[[]]][[]]]]
[[[[[]]][[]]][]]
[[[[[]]][[]]][[]]]
[[[[[]]][[]]][[]][]]
[[[[[]]][[]]][[[]]]]
[[[[[]]][[]]][[[]]][]]
[[[[[]]][[]]][[[]]][[]]]
[[[[[]]][[]]][[[]]][[]][]]
[[[[[]]][[]]][[[]][]]]
[[[[[]]][[]]][[[]][]][]]
[[[[[]]][[]]][[[]][]][[]]]
[[[[[]]][[]]][[[]][]][[]][]]
[[[[[]]][[]]][[[]][]][[[]]]]
[[[[[]]][[]]][[[]][]][[[]]][]]
[[[[[]]][[]]][[[]][]][[[]]][[]]]
[[[[[]]][[]]][[[]][]][[[]]][[]][]]
[[[[[]]][[]]][[[[]]]]]
[[[[[]]][[]]][[[[]]]][]]
[[[[[]]][[]]][[[[]]]][[]]]
[[[[[]]][[]]][[[[]]]][[]][]]
[[[[[]]][[]]][[[[]]]][[[]]]]
[[[[[]]][[]]][[[[]]]][[[]]][]]
[[[[[]]][[]]][[[[]]]][[[]]][[]]]
[[[[[]]][[]]][[[[]]]][[[]]][[]][]]
[[[[[]]][[]]][[[[]]]][[[]][]]]
[[[[[]]][[]]][[[[]]]][[[]][]][]]
[[[[[]]][[]]][[[[]]]][[[]][]][[]]]
[[[[[]]][[]]][[[[]]]][[[]][]][[]][]]
[[[[[]]][[]]][[[[]]]][[[]][]][[[]]]]
[[[[[]]][[]]][[[[]]]][[[]][]][[[]]][]]
[[[[[]]][[]]][[[[]]]][[[]][]][[[]]][[]]]
[[[[[]]][[]]][[[[]]]][[[]][]][[[]]][[]][]]
[[[[[]]][[]]][[[[]]][]]]
[[[[[]]][[]]][[[[]]][]][]]
[[[[[]]][[]]][[[[]]][]][[]]]
[[[[[]]][[]]][[[[]]][]][[]][]]
>>> encode(6)
'[[[[]]][[]]]'
>>> encode(7)
'[[[[]]][[]][]]'
>>> mul(encode(6), encode(7))
'[[[[]][[]]][[[]][]][[[]]][[][[]]][[][]][[]]]'
>>> canonicalize(_)
'[[[[[]]][]][[[]][]][[]]]'
>>> decode(_)
42