scheme48 1.9-5 / usr / share / scheme48-1.9 / big / unicode-normalization-info.scm

; Automatically generated by WRITE-UNICODE-CATEGORY-TABLES; do not edit.

(define *normalization-info-block-bits* 8)
(define *normalization-info-indices* '#(0 255 503 759 1015 1265 1505 1744 1988 2203 2427 2633 2839 3045 3268 3512 3730 1988 1988 3983 1988 1988 1988 4219 4441 4640 4873 5123 1988 5335 5591 5847 6103 6359 6611 6849 7009 1988 1988 1988 1988 1988 7253 1988 1988 7474 7586 7842 8098 8354 8610 8866 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 9122 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 9378 9620 9876 8866 10087 10340 10595 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 10838 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 11000 11193 1988 11449 11699 11789 11957 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 9378 9378 12213 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1988 1990))
(define *normalization-info-encodings* '#(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 0 0 0 0 0 0 0 512 0 512 0 0 0 0 512 0 0 512 512 512 512 0 0 512 512 512 0 512 512 512 0 256 256 256 256 256 256 0 256 256 256 256 256 256 256 256 256 0 256 256 256 256 256 256 0 0 256 256 256 256 256 0 0 256 256 256 256 256 256 0 256 256 256 256 256 256 256 256 256 0 256 256 256 256 256 256 0 0 256 256 256 256 256 0 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 0 0 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 0 0 256 256 256 256 256 256 256 256 256 0 512 512 256 256 256 256 0 256 256 256 256 256 256 512 512 0 0 256 256 256 256 256 256 512 0 0 256 256 256 256 256 256 0 0 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 0 0 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 512 512 512 512 512 512 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 0 256 256 256 256 256 256 0 0 256 256 256 256 256 256 256 256 256 256 256 512 512 512 256 256 0 0 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 0 0 256 256 0 0 0 0 0 0 256 256 256 256 256 256 256 256 256 256 256 256 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 512 512 512 512 512 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 512 512 512 0 0 512 512 512 512 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 230 230 230 230 230 230 230 230 230 230 230 230 230 230 230 230 230 230 230 230 230 232 220 220 220 220 232 216 220 220 220 220 220 202 202 220 220 220 220 202 202 220 220 220 220 220 220 220 220 220 220 220 1 1 1 1 1 220 220 220 220 230 230 230 486 486 230 486 486 240 230 220 220 220 230 230 230 220 220 0 230 230 230 220 220 220 220 230 232 220 220 230 233 234 234 233 234 234 233 230 230 230 230 230 230 230 230 230 230 230 230 230 0 0 0 0 256 0 0 0 0 0 512 0 0 0 256 0 0 0 0 0 512 256 256 256 256 256 256 0 256 0 256 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 256 256 256 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 256 256 256 0 512 512 512 256 256 512 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 0 512 512 0 0 0 512 0 0 0 0 0 0 256 256 0 256 0 0 0 256 0 0 0 0 256 256 256 0 0 0 0 0 0 0 0 0 0 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 0 256 0 0 0 256 0 0 0 0 256 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 0 0 0 0 0 0 0 0 0 0 0 230 230 230 230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 256 256 0 0 256 256 0 0 256 256 256 256 256 256 0 0 256 256 256 256 256 256 0 0 256 256 256 256 256 256 256 256 256 256 256 256 0 0 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 0 0 0 0 0 0 0 0 0 220 230 230 230 230 220 230 230 230 222 220 230 230 230 230 230 230 220 220 220 220 220 220 230 230 220 230 230 222 228 230 10 11 12 13 14 15 16 17 18 19 19 20 21 22 0 23 0 24 25 0 230 220 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 230 230 230 230 230 230 0 0 0 0 0 0 0 0 0 0 0 0 256 256 256 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 27 28 29 30 31 32 33 34 230 230 220 220 230 230 230 230 230 220 230 230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 35 0 0 0 0 512 512 512 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 0 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 0 0 230 230 230 230 230 230 230 0 0 230 230 230 230 220 230 0 0 230 230 0 220 230 230 220 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 36 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 230 220 230 230 220 230 230 220 220 220 230 220 220 230 220 230 230 230 220 230 220 230 220 230 220 230 230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 230 230 230 230 230 230 230 220 230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 0 0 0 0 0 0 0 256 0 0 256 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 230 220 230 230 0 0 0 256 256 256 256 256 256 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 0 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 0 0 256 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 256 256 256 0 0 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 0 256 0 0 256 256 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 256 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 0 0 0 0 9 0 0 0 0 0 0 0 84 91 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 256 0 0 0 0 0 0 256 256 0 256 256 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 256 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 0 256 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 0 0 0 0 103 103 9 0 0 0 0 0 0 0 0 0 0 0 0 0 107 107 107 107 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 0 0 0 0 118 118 0 0 0 0 0 0 0 0 0 0 0 0 0 0 122 122 122 122 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 0 0 0 0 0 0 0 0 0 0 0 220 220 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 220 0 220 0 216 0 0 0 0 0 0 0 0 0 256 0 0 0 0 0 0 0 0 0 256 0 0 0 0 256 0 0 0 0 256 0 0 0 0 256 0 0 0 0 0 0 0 0 0 0 0 0 256 0 0 0 0 0 0 0 129 130 256 132 256 256 512 256 512 130 130 130 130 0 0 130 256 230 230 9 0 230 230 0 0 0 0 0 0 0 0 0 0 0 256 0 0 0 0 0 0 0 0 0 256 0 0 0 0 256 0 0 0 0 256 0 0 0 0 256 0 0 0 0 0 0 0 0 0 0 0 0 256 0 0 0 0 0 0 0 0 0 0 0 0 220 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 228 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 222 230 220 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 230 220 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 0 256 0 256 0 256 0 256 0 0 0 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 0 0 0 0 0 256 0 256 0 0 256 256 0 256 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 230 220 230 230 230 230 230 230 230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 0 512 512 512 512 512 512 512 512 512 512 512 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 0 0 0 0 0 0 0 0 0 0 0 0 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 230 230 220 230 230 230 230 230 230 230 220 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 230 220 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 512 256 0 0 0 0 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 0 0 0 0 0 0 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 0 0 256 256 256 256 256 256 0 0 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 0 0 256 256 256 256 256 256 0 0 256 256 256 256 256 256 256 256 0 256 0 256 0 256 0 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 0 0 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 0 256 256 256 256 256 256 256 512 256 512 512 256 256 256 256 0 256 256 256 256 256 256 256 256 256 256 256 256 256 256 0 0 256 256 256 256 256 256 0 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 0 0 256 256 256 0 256 256 256 256 256 256 256 256 512 0 256 256 512 512 512 512 512 512 512 512 512 0 0 0 0 0 0 512 0 0 0 0 0 512 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 0 0 0 0 0 0 0 0 512 0 0 0 512 512 0 512 512 0 0 0 0 512 0 512 0 0 0 0 0 0 0 0 512 512 512 0 0 0 0 0 0 0 0 0 0 0 0 0 512 0 0 0 0 0 0 0 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 512 0 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 512 512 512 512 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 230 230 1 1 230 230 230 230 1 1 1 230 230 0 0 0 0 230 0 0 0 1 1 230 220 230 1 1 220 220 220 220 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 512 0 512 512 512 0 512 512 512 512 512 512 512 512 512 512 512 0 512 512 0 0 512 512 512 512 512 0 0 512 512 512 0 512 0 256 0 512 0 256 256 512 512 0 512 512 512 0 512 512 512 512 512 512 512 0 512 512 512 512 512 512 0 0 0 0 512 512 512 512 512 0 0 0 0 0 0 0 0 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 0 0 0 0 256 0 0 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 0 256 0 0 0 0 0 512 512 0 512 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 0 0 256 0 0 256 0 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 0 256 0 0 0 0 0 0 0 0 0 0 256 256 256 256 256 0 0 256 256 0 0 256 256 0 0 0 0 0 0 256 256 0 0 256 256 0 0 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 256 256 0 0 0 0 0 0 256 256 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 218 228 232 222 224 224 0 0 0 0 0 0 512 0 512 512 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 0 256 0 256 0 256 0 256 0 256 0 256 0 256 0 256 0 256 0 256 0 256 0 0 256 0 256 0 256 0 0 0 0 0 0 256 256 0 256 256 0 256 256 0 256 256 0 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 0 0 0 0 8 8 512 512 0 256 512 0 0 0 0 0 0 0 0 0 0 0 0 256 0 256 0 256 0 256 0 256 0 256 0 256 0 256 0 256 0 256 0 256 0 256 0 0 256 0 256 0 256 0 0 0 0 0 0 256 256 0 256 256 0 256 256 0 256 256 0 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 0 0 256 256 256 256 0 0 0 256 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 0 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 0 0 256 0 256 0 0 256 256 256 256 256 256 256 256 256 256 0 256 0 256 0 0 256 256 0 0 0 256 256 256 256 0 0 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 0 0 0 0 0 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 512 512 512 512 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 512 512 0 0 0 0 0 256 26 256 512 512 512 512 512 512 512 512 512 512 256 256 256 256 256 256 256 256 256 256 256 256 256 0 256 256 256 256 256 0 256 0 256 256 0 256 256 0 256 256 256 256 256 256 256 256 256 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 512 512 512 512 512 512 512 512 512 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 512 512 512 512 512 512 512 0 0 0 0 0 0 230 230 230 230 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 0 512 512 512 512 512 512 512 512 512 512 512 512 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 512 512 512 512 0 0 0 0 512 512 512 0 512 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 0 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 0 0 512 512 512 512 512 512 0 0 512 512 512 512 512 512 0 0 512 512 512 512 512 512 0 0 512 512 512 0 0 0 512 512 512 512 512 512 512 0 512 512 512 512 512 512 512 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 220 0 230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 230 1 220 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 256 256 256 256 256 216 216 1 1 1 0 0 0 226 216 216 216 216 216 0 0 0 0 0 0 0 0 220 220 220 220 220 220 220 220 0 0 230 230 230 230 230 220 220 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 230 230 230 230 0 0 0 0 0 0 0 0 0 0 0 0 0 256 256 256 256 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 230 230 230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 512 512 0 0 512 0 0 512 512 0 0 512 512 512 512 0 512 512 512 512 512 512 512 512 512 512 512 512 0 512 0 512 512 512 512 512 512 512 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 512 512 512 512 0 0 512 512 512 512 512 512 512 512 0 512 512 512 512 512 512 512 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 512 512 512 512 0 512 512 512 512 512 0 512 0 0 0 512 512 512 512 512 512 512 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 0 0 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 512 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 256 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0))

(define *canonical-decomposition-scalar-values* '#(192 193 194 195 196 197 199 200 201 202 203 204 205 206 207 209 210 211 212 213 214 217 218 219 220 221 224 225 226 227 228 229 231 232 233 234 235 236 237 238 239 241 242 243 244 245 246 249 250 251 252 253 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 296 297 298 299 300 301 302 303 304 308 309 310 311 313 314 315 316 317 318 323 324 325 326 327 328 332 333 334 335 336 337 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 416 417 431 432 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 478 479 480 481 482 483 486 487 488 489 490 491 492 493 494 495 496 500 501 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 542 543 550 551 552 553 554 555 556 557 558 559 560 561 562 563 832 833 835 836 884 894 901 902 903 904 905 906 908 910 911 912 938 939 940 941 942 943 944 970 971 972 973 974 979 980 1024 1025 1027 1031 1036 1037 1038 1049 1081 1104 1105 1107 1111 1116 1117 1118 1142 1143 1217 1218 1232 1233 1234 1235 1238 1239 1242 1243 1244 1245 1246 1247 1250 1251 1252 1253 1254 1255 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1272 1273 1570 1571 1572 1573 1574 1728 1730 1747 2345 2353 2356 2392 2393 2394 2395 2396 2397 2398 2399 2507 2508 2524 2525 2527 2611 2614 2649 2650 2651 2654 2888 2891 2892 2908 2909 2964 3018 3019 3020 3144 3264 3271 3272 3274 3275 3402 3403 3404 3546 3548 3549 3550 3907 3917 3922 3927 3932 3945 3955 3957 3958 3960 3969 3987 3997 4002 4007 4012 4025 4134 6918 6920 6922 6924 6926 6930 6971 6973 6976 6977 6979 7680 7681 7682 7683 7684 7685 7686 7687 7688 7689 7690 7691 7692 7693 7694 7695 7696 7697 7698 7699 7700 7701 7702 7703 7704 7705 7706 7707 7708 7709 7710 7711 7712 7713 7714 7715 7716 7717 7718 7719 7720 7721 7722 7723 7724 7725 7726 7727 7728 7729 7730 7731 7732 7733 7734 7735 7736 7737 7738 7739 7740 7741 7742 7743 7744 7745 7746 7747 7748 7749 7750 7751 7752 7753 7754 7755 7756 7757 7758 7759 7760 7761 7762 7763 7764 7765 7766 7767 7768 7769 7770 7771 7772 7773 7774 7775 7776 7777 7778 7779 7780 7781 7782 7783 7784 7785 7786 7787 7788 7789 7790 7791 7792 7793 7794 7795 7796 7797 7798 7799 7800 7801 7802 7803 7804 7805 7806 7807 7808 7809 7810 7811 7812 7813 7814 7815 7816 7817 7818 7819 7820 7821 7822 7823 7824 7825 7826 7827 7828 7829 7830 7831 7832 7833 7835 7840 7841 7842 7843 7844 7845 7846 7847 7848 7849 7850 7851 7852 7853 7854 7855 7856 7857 7858 7859 7860 7861 7862 7863 7864 7865 7866 7867 7868 7869 7870 7871 7872 7873 7874 7875 7876 7877 7878 7879 7880 7881 7882 7883 7884 7885 7886 7887 7888 7889 7890 7891 7892 7893 7894 7895 7896 7897 7898 7899 7900 7901 7902 7903 7904 7905 7906 7907 7908 7909 7910 7911 7912 7913 7914 7915 7916 7917 7918 7919 7920 7921 7922 7923 7924 7925 7926 7927 7928 7929 7936 7937 7938 7939 7940 7941 7942 7943 7944 7945 7946 7947 7948 7949 7950 7951 7952 7953 7954 7955 7956 7957 7960 7961 7962 7963 7964 7965 7968 7969 7970 7971 7972 7973 7974 7975 7976 7977 7978 7979 7980 7981 7982 7983 7984 7985 7986 7987 7988 7989 7990 7991 7992 7993 7994 7995 7996 7997 7998 7999 8000 8001 8002 8003 8004 8005 8008 8009 8010 8011 8012 8013 8016 8017 8018 8019 8020 8021 8022 8023 8025 8027 8029 8031 8032 8033 8034 8035 8036 8037 8038 8039 8040 8041 8042 8043 8044 8045 8046 8047 8048 8049 8050 8051 8052 8053 8054 8055 8056 8057 8058 8059 8060 8061 8064 8065 8066 8067 8068 8069 8070 8071 8072 8073 8074 8075 8076 8077 8078 8079 8080 8081 8082 8083 8084 8085 8086 8087 8088 8089 8090 8091 8092 8093 8094 8095 8096 8097 8098 8099 8100 8101 8102 8103 8104 8105 8106 8107 8108 8109 8110 8111 8112 8113 8114 8115 8116 8118 8119 8120 8121 8122 8123 8124 8126 8129 8130 8131 8132 8134 8135 8136 8137 8138 8139 8140 8141 8142 8143 8144 8145 8146 8147 8150 8151 8152 8153 8154 8155 8157 8158 8159 8160 8161 8162 8163 8164 8165 8166 8167 8168 8169 8170 8171 8172 8173 8174 8175 8178 8179 8180 8182 8183 8184 8185 8186 8187 8188 8189 8192 8193 8486 8490 8491 8602 8603 8622 8653 8654 8655 8708 8713 8716 8740 8742 8769 8772 8775 8777 8800 8802 8813 8814 8815 8816 8817 8820 8821 8824 8825 8832 8833 8836 8837 8840 8841 8876 8877 8878 8879 8928 8929 8930 8931 8938 8939 8940 8941 9001 9002 10972 12364 12366 12368 12370 12372 12374 12376 12378 12380 12382 12384 12386 12389 12391 12393 12400 12401 12403 12404 12406 12407 12409 12410 12412 12413 12436 12446 12460 12462 12464 12466 12468 12470 12472 12474 12476 12478 12480 12482 12485 12487 12489 12496 12497 12499 12500 12502 12503 12505 12506 12508 12509 12532 12535 12536 12537 12538 12542 63744 63745 63746 63747 63748 63749 63750 63751 63752 63753 63754 63755 63756 63757 63758 63759 63760 63761 63762 63763 63764 63765 63766 63767 63768 63769 63770 63771 63772 63773 63774 63775 63776 63777 63778 63779 63780 63781 63782 63783 63784 63785 63786 63787 63788 63789 63790 63791 63792 63793 63794 63795 63796 63797 63798 63799 63800 63801 63802 63803 63804 63805 63806 63807 63808 63809 63810 63811 63812 63813 63814 63815 63816 63817 63818 63819 63820 63821 63822 63823 63824 63825 63826 63827 63828 63829 63830 63831 63832 63833 63834 63835 63836 63837 63838 63839 63840 63841 63842 63843 63844 63845 63846 63847 63848 63849 63850 63851 63852 63853 63854 63855 63856 63857 63858 63859 63860 63861 63862 63863 63864 63865 63866 63867 63868 63869 63870 63871 63872 63873 63874 63875 63876 63877 63878 63879 63880 63881 63882 63883 63884 63885 63886 63887 63888 63889 63890 63891 63892 63893 63894 63895 63896 63897 63898 63899 63900 63901 63902 63903 63904 63905 63906 63907 63908 63909 63910 63911 63912 63913 63914 63915 63916 63917 63918 63919 63920 63921 63922 63923 63924 63925 63926 63927 63928 63929 63930 63931 63932 63933 63934 63935 63936 63937 63938 63939 63940 63941 63942 63943 63944 63945 63946 63947 63948 63949 63950 63951 63952 63953 63954 63955 63956 63957 63958 63959 63960 63961 63962 63963 63964 63965 63966 63967 63968 63969 63970 63971 63972 63973 63974 63975 63976 63977 63978 63979 63980 63981 63982 63983 63984 63985 63986 63987 63988 63989 63990 63991 63992 63993 63994 63995 63996 63997 63998 63999 64000 64001 64002 64003 64004 64005 64006 64007 64008 64009 64010 64011 64012 64013 64016 64018 64021 64022 64023 64024 64025 64026 64027 64028 64029 64030 64032 64034 64037 64038 64042 64043 64044 64045 64048 64049 64050 64051 64052 64053 64054 64055 64056 64057 64058 64059 64060 64061 64062 64063 64064 64065 64066 64067 64068 64069 64070 64071 64072 64073 64074 64075 64076 64077 64078 64079 64080 64081 64082 64083 64084 64085 64086 64087 64088 64089 64090 64091 64092 64093 64094 64095 64096 64097 64098 64099 64100 64101 64102 64103 64104 64105 64106 64112 64113 64114 64115 64116 64117 64118 64119 64120 64121 64122 64123 64124 64125 64126 64127 64128 64129 64130 64131 64132 64133 64134 64135 64136 64137 64138 64139 64140 64141 64142 64143 64144 64145 64146 64147 64148 64149 64150 64151 64152 64153 64154 64155 64156 64157 64158 64159 64160 64161 64162 64163 64164 64165 64166 64167 64168 64169 64170 64171 64172 64173 64174 64175 64176 64177 64178 64179 64180 64181 64182 64183 64184 64185 64186 64187 64188 64189 64190 64191 64192 64193 64194 64195 64196 64197 64198 64199 64200 64201 64202 64203 64204 64205 64206 64207 64208 64209 64210 64211 64212 64213 64214 64215 64216 64217 64285 64287 64298 64299 64300 64301 64302 64303 64304 64305 64306 64307 64308 64309 64310 64312 64313 64314 64315 64316 64318 64320 64321 64323 64324 64326 64327 64328 64329 64330 64331 64332 64333 64334 119134 119135 119136 119137 119138 119139 119140 119227 119228 119229 119230 119231 119232 194560 194561 194562 194563 194564 194565 194566 194567 194568 194569 194570 194571 194572 194573 194574 194575 194576 194577 194578 194579 194580 194581 194582 194583 194584 194585 194586 194587 194588 194589 194590 194591 194592 194593 194594 194595 194596 194597 194598 194599 194600 194601 194602 194603 194604 194605 194606 194607 194608 194609 194610 194611 194612 194613 194614 194615 194616 194617 194618 194619 194620 194621 194622 194623 194624 194625 194626 194627 194628 194629 194630 194631 194632 194633 194634 194635 194636 194637 194638 194639 194640 194641 194642 194643 194644 194645 194646 194647 194648 194649 194650 194651 194652 194653 194654 194655 194656 194657 194658 194659 194660 194661 194662 194663 194664 194665 194666 194667 194668 194669 194670 194671 194672 194673 194674 194675 194676 194677 194678 194679 194680 194681 194682 194683 194684 194685 194686 194687 194688 194689 194690 194691 194692 194693 194694 194695 194696 194697 194698 194699 194700 194701 194702 194703 194704 194705 194706 194707 194708 194709 194710 194711 194712 194713 194714 194715 194716 194717 194718 194719 194720 194721 194722 194723 194724 194725 194726 194727 194728 194729 194730 194731 194732 194733 194734 194735 194736 194737 194738 194739 194740 194741 194742 194743 194744 194745 194746 194747 194748 194749 194750 194751 194752 194753 194754 194755 194756 194757 194758 194759 194760 194761 194762 194763 194764 194765 194766 194767 194768 194769 194770 194771 194772 194773 194774 194775 194776 194777 194778 194779 194780 194781 194782 194783 194784 194785 194786 194787 194788 194789 194790 194791 194792 194793 194794 194795 194796 194797 194798 194799 194800 194801 194802 194803 194804 194805 194806 194807 194808 194809 194810 194811 194812 194813 194814 194815 194816 194817 194818 194819 194820 194821 194822 194823 194824 194825 194826 194827 194828 194829 194830 194831 194832 194833 194834 194835 194836 194837 194838 194839 194840 194841 194842 194843 194844 194845 194846 194847 194848 194849 194850 194851 194852 194853 194854 194855 194856 194857 194858 194859 194860 194861 194862 194863 194864 194865 194866 194867 194868 194869 194870 194871 194872 194873 194874 194875 194876 194877 194878 194879 194880 194881 194882 194883 194884 194885 194886 194887 194888 194889 194890 194891 194892 194893 194894 194895 194896 194897 194898 194899 194900 194901 194902 194903 194904 194905 194906 194907 194908 194909 194910 194911 194912 194913 194914 194915 194916 194917 194918 194919 194920 194921 194922 194923 194924 194925 194926 194927 194928 194929 194930 194931 194932 194933 194934 194935 194936 194937 194938 194939 194940 194941 194942 194943 194944 194945 194946 194947 194948 194949 194950 194951 194952 194953 194954 194955 194956 194957 194958 194959 194960 194961 194962 194963 194964 194965 194966 194967 194968 194969 194970 194971 194972 194973 194974 194975 194976 194977 194978 194979 194980 194981 194982 194983 194984 194985 194986 194987 194988 194989 194990 194991 194992 194993 194994 194995 194996 194997 194998 194999 195000 195001 195002 195003 195004 195005 195006 195007 195008 195009 195010 195011 195012 195013 195014 195015 195016 195017 195018 195019 195020 195021 195022 195023 195024 195025 195026 195027 195028 195029 195030 195031 195032 195033 195034 195035 195036 195037 195038 195039 195040 195041 195042 195043 195044 195045 195046 195047 195048 195049 195050 195051 195052 195053 195054 195055 195056 195057 195058 195059 195060 195061 195062 195063 195064 195065 195066 195067 195068 195069 195070 195071 195072 195073 195074 195075 195076 195077 195078 195079 195080 195081 195082 195083 195084 195085 195086 195087 195088 195089 195090 195091 195092 195093 195094 195095 195096 195097 195098 195099 195100 195101))
(define *canonical-decompositions* '#(50331713 50397249 50462785 50528321 50856001 50987073 52887619 50331717 50397253 50462789 50856005 50331721 50397257 50462793 50856009 50528334 50331727 50397263 50462799 50528335 50856015 50331733 50397269 50462805 50856021 50397273 50331745 50397281 50462817 50528353 50856033 50987105 52887651 50331749 50397285 50462821 50856037 50331753 50397289 50462825 50856041 50528366 50331759 50397295 50462831 50528367 50856047 50331765 50397301 50462837 50856053 50397305 50856057 50593857 50593889 50724929 50724961 52953153 52953185 50397251 50397283 50462787 50462819 50790467 50790499 51118147 51118179 51118148 51118180 50593861 50593893 50724933 50724965 50790469 50790501 52953157 52953189 51118149 51118181 50462791 50462823 50724935 50724967 50790471 50790503 52887623 52887655 50462792 50462824 50528329 50528361 50593865 50593897 50724937 50724969 52953161 52953193 50790473 50462794 50462826 52887627 52887659 50397260 50397292 52887628 52887660 51118156 51118188 50397262 50397294 52887630 52887662 51118158 51118190 50593871 50593903 50724943 50724975 51052623 51052655 50397266 50397298 52887634 52887666 51118162 51118194 50397267 50397299 50462803 50462835 52887635 52887667 51118163 51118195 52887636 52887668 51118164 51118196 50528341 50528373 50593877 50593909 50724949 50724981 50987093 50987125 51052629 51052661 52953173 52953205 50462807 50462839 50462809 50462841 50856025 50397274 50397306 50790490 50790522 51118170 51118202 52101199 52101231 52101205 52101237 51118145 51118177 51118153 51118185 51118159 51118191 51118165 51118197 50594012 50594044 50397404 50397436 51118300 51118332 50331868 50331900 50593988 50594020 50594342 50594343 50593990 50594022 51118151 51118183 51118155 51118187 52953167 52953199 50594282 50594283 51118519 51118738 51118186 50397255 50397287 50331726 50331758 50397381 50397413 50397382 50397414 50397400 50397432 51314753 51314785 51445825 51445857 51314757 51314789 51445829 51445861 51314761 51314793 51445833 51445865 51314767 51314799 51445839 51445871 51314770 51314802 51445842 51445874 51314773 51314805 51445845 51445877 52822099 52822131 52822100 52822132 51118152 51118184 50790465 50790497 52887621 52887653 50594006 50594038 50594005 50594037 50790479 50790511 50594350 50594351 50593881 50593913 768 769 787 50397960 697 59 50397352 50398097 183 50398101 50398103 50398105 50398111 50398117 50398121 50398154 50856857 50856869 50398129 50398133 50398135 50398137 50398155 50856889 50856901 50398143 50398149 50398153 50398162 50856914 50332693 50856981 50398227 50856966 50398234 50332696 50725923 50725912 50725944 50332725 50857013 50398259 50857046 50398266 50332728 50725955 51315828 51315829 50725910 50725942 50725904 50725936 50856976 50857008 50725909 50725941 50857176 50857177 50856982 50857014 50856983 50857015 50594840 50594872 50856984 50857016 50856990 50857022 50857192 50857193 50857005 50857037 50594851 50594883 50856995 50857027 51053603 51053635 50856999 50857031 50857003 50857035 106104359 106169895 106169928 106235431 106169930 106170069 106170049 106170066 154929448 154929456 154929459 154929429 154929430 154929431 154929436 154929441 154929442 154929451 154929455 163449287 165087687 163318177 163318178 163318191 171706930 171706936 171706902 171706903 171706908 171706923 190188359 188615495 190253895 188484385 188484386 198642578 197004230 197004231 198642630 206965830 215289023 215289030 215354566 214043846 215289034 222170438 222170439 223808838 231345625 231673305 231345628 232721881 263655234 263655244 263655249 263655254 263655259 263524160 259133297 259264369 260050866 260050867 260050801 263655314 263655324 263655329 263655334 263655339 263524240 271454245 456465157 456465159 456465161 456465163 456465165 456465169 456465210 456465212 456465214 456465215 456465218 52756545 52756577 50790466 50790498 52625474 52625506 53542978 53543010 50397383 50397415 50790468 50790500 52625476 52625508 53542980 53543012 52887620 52887652 53280836 53280868 50331922 50331923 50397458 50397459 53280837 53280869 53477445 53477477 50725416 50725417 50790470 50790502 50593863 50593895 50790472 50790504 52625480 52625512 50856008 50856040 52887624 52887656 53346376 53346408 53477449 53477481 50397391 50397423 50397259 50397291 52625483 52625515 53542987 53543019 52625484 52625516 50601526 50601527 53542988 53543020 53280844 53280876 50397261 50397293 50790477 50790509 52625485 52625517 50790478 50790510 52625486 52625518 53542990 53543022 53280846 53280878 50397397 50397429 50856149 50856181 50331980 50331981 50397516 50397517 50397264 50397296 50790480 50790512 50790482 50790514 52625490 52625522 50601562 50601563 53542994 53543026 50790483 50790515 52625491 52625523 50790746 50790747 50790752 50790753 50798178 50798179 50790484 50790516 52625492 52625524 53542996 53543028 53280852 53280884 52691029 52691061 53477461 53477493 53280853 53280885 50397544 50397545 50856298 50856299 50528342 50528374 52625494 52625526 50331735 50331767 50397271 50397303 50856023 50856055 50790487 50790519 52625495 52625527 50790488 50790520 50856024 50856056 50790489 50790521 50462810 50462842 52625498 52625530 53543002 53543034 53543016 50856052 50987127 50987129 50790783 52625473 52625505 50921537 50921569 50397378 50397410 50331842 50331874 50921666 50921698 50528450 50528482 50470560 50470561 50397442 50397443 50331906 50331907 50921730 50921731 50528514 50528515 50732704 50732705 52625477 52625509 50921541 50921573 50528325 50528357 50397386 50397418 50331850 50331882 50921674 50921706 50528458 50528490 50470584 50470585 50921545 50921577 52625481 52625513 52625487 52625519 50921551 50921583 50397396 50397428 50331860 50331892 50921684 50921716 50528468 50528500 50470604 50470605 50397600 50397601 50332064 50332065 50921888 50921889 50528672 50528673 52625824 52625825 52625493 52625525 50921557 50921589 50397615 50397616 50332079 50332080 50921903 50921904 50528687 50528688 52625839 52625840 50331737 50331769 52625497 52625529 50921561 50921593 50528345 50528377 51577777 51643313 50339584 50339585 50405120 50405121 54664960 54664961 51577745 51643281 50339592 50339593 50405128 50405129 54664968 54664969 51577781 51643317 50339600 50339601 50405136 50405137 51577749 51643285 50339608 50339609 50405144 50405145 51577783 51643319 50339616 50339617 50405152 50405153 54664992 54664993 51577751 51643287 50339624 50339625 50405160 50405161 54665000 54665001 51577785 51643321 50339632 50339633 50405168 50405169 54665008 54665009 51577753 51643289 50339640 50339641 50405176 50405177 54665016 54665017 51577791 51643327 50339648 50339649 50405184 50405185 51577759 51643295 50339656 50339657 50405192 50405193 51577797 51643333 50339664 50339665 50405200 50405201 54665040 54665041 51643301 50339673 50405209 54665049 51577801 51643337 50339680 50339681 50405216 50405217 54665056 54665057 51577769 51643305 50339688 50339689 50405224 50405225 54665064 54665065 50332593 940 50332597 941 50332599 942 50332601 943 50332607 972 50332613 973 50332617 974 54861568 54861569 54861570 54861571 54861572 54861573 54861574 54861575 54861576 54861577 54861578 54861579 54861580 54861581 54861582 54861583 54861600 54861601 54861602 54861603 54861604 54861605 54861606 54861607 54861608 54861609 54861610 54861611 54861612 54861613 54861614 54861615 54861664 54861665 54861666 54861667 54861668 54861669 54861670 54861671 54861672 54861673 54861674 54861675 54861676 54861677 54861678 54861679 50725809 50594737 54861680 54854577 54854572 54657969 54861750 50725777 50594705 50332561 902 54854545 953 54657192 54861684 54854583 54854574 54657975 54861766 50332565 904 50332567 905 54854551 50339775 50405311 54665151 50725817 50594745 50332618 912 54657977 54657994 50725785 50594713 50332569 906 50339838 50405374 54665214 50725829 50594757 50332619 944 51577793 51643329 54657989 54657995 50725797 50594725 50332581 910 51643297 50331816 901 96 54861692 54854601 54854606 54657993 54861814 50332575 908 50332585 911 54854569 180 8194 8195 937 75 197 54010256 54010258 54010260 54010320 54010324 54010322 54010371 54010376 54010379 54010403 54010405 54010428 54010435 54010437 54010440 54001725 54010465 54010445 54001724 54001726 54010468 54010469 54010482 54010483 54010486 54010487 54010490 54010491 54010498 54010499 54010502 54010503 54010530 54010536 54010537 54010539 54010492 54010493 54010513 54010514 54010546 54010547 54010548 54010549 12296 12297 54012637 815345739 815345741 815345743 815345745 815345747 815345749 815345751 815345753 815345755 815345757 815345759 815345761 815345764 815345766 815345768 815345775 815411311 815345778 815411314 815345781 815411317 815345784 815411320 815345787 815411323 815345734 815345821 815345835 815345837 815345839 815345841 815345843 815345845 815345847 815345849 815345851 815345853 815345855 815345857 815345860 815345862 815345864 815345871 815411407 815345874 815411410 815345877 815411413 815345880 815411416 815345883 815411419 815345830 815345903 815345904 815345905 815345906 815345917 35912 26356 36554 36040 28369 20018 21477 40860 40860 22865 37329 21895 22856 25078 30313 32645 34367 34746 35064 37007 27138 27931 28889 29662 33853 37226 39409 20098 21365 27396 29211 34349 40478 23888 28651 34253 35172 25289 33240 34847 24266 26391 28010 29436 37070 20358 20919 21214 25796 27347 29200 30439 32769 34310 34396 36335 38706 39791 40442 30860 31103 32160 33737 37636 40575 35542 22751 24324 31840 32894 29282 30922 36034 38647 22744 23650 27155 28122 28431 32047 32311 38475 21202 32907 20956 20940 31260 32190 33777 38517 35712 25295 27138 35582 20025 23527 24594 29575 30064 21271 30971 20415 24489 19981 27852 25976 32034 21443 22622 30465 33865 35498 27578 36784 27784 25342 33509 25504 30053 20142 20841 20937 26753 31975 33391 35538 37327 21237 21570 22899 24300 26053 28670 31018 38317 39530 40599 40654 21147 26310 27511 36706 24180 24976 25088 25754 28451 29001 29833 31178 32244 32879 36646 34030 36899 37706 21015 21155 21693 28872 35010 35498 24265 24565 25467 27566 31806 29557 20196 22265 23527 23994 24604 29618 29801 32666 32838 37428 38646 38728 38936 20363 31150 37300 38584 24801 20102 20698 23534 23615 26009 27138 29134 30274 34044 36988 40845 26248 38446 21129 26491 26611 27969 28316 29705 30041 30827 32016 39006 20845 25134 38520 20523 23833 28138 36650 24459 24900 26647 29575 38534 21033 21519 23653 26131 26446 26792 27877 29702 30178 32633 35023 35041 37324 38626 21311 28346 21533 29136 29848 34298 38563 40023 40607 26519 28107 33256 31435 31520 31890 29376 28825 35672 20160 33590 21050 20999 24230 25299 31958 23429 27934 26292 36667 34892 38477 35211 24275 20800 21952 22618 26228 20958 29482 30410 31036 31070 31077 31119 38742 31934 32701 34322 35576 36920 37117 39151 39164 39208 40372 20398 20711 20813 21193 21220 21329 21917 22022 22120 22592 22696 23652 23662 24724 24936 24974 25074 25935 26082 26257 26757 28023 28186 28450 29038 29227 29730 30865 31038 31049 31048 31056 31062 31069 31117 31118 31296 31361 31680 32244 32265 32321 32626 32773 33261 33401 33401 33879 35088 35222 35585 35641 36051 36104 36790 36920 38627 38911 38971 20006 20917 20840 20352 20805 20864 21191 21242 21917 21845 21913 21986 22618 22707 22852 22868 23138 23336 24274 24281 24425 24493 24792 24910 24840 24974 24928 25074 25140 25540 25628 25682 25942 26228 26391 26395 26454 27513 27578 27969 28379 28363 28450 28702 29038 30631 29237 29359 29482 29809 29958 30011 30237 30239 30410 30427 30452 30538 30528 30924 31409 31680 31867 32091 32244 32574 32773 33618 33775 34681 35137 35206 35222 35519 35576 35531 35585 35582 35565 35641 35722 36104 36664 36978 37273 37494 38524 38627 38742 38875 38911 38923 38971 39698 40860 (141386) (141380) (144341) 15261 16408 16441 (152137) (154832) (163539) 40771 40846 95684057 95880690 96536041 96601577 96598857 96664393 95880656 95946192 96208336 96208337 96208338 96208339 96208340 96208341 96208342 96208344 96208345 96208346 96208347 96208348 96208350 96208352 96208353 96208355 96208356 96208358 96208359 96208360 96208361 96208362 96011733 96404945 96404955 96404964 (119127 . 119141) (119128 . 119141) (119135 . 119150) (119135 . 119151) (119135 . 119152) (119135 . 119153) (119135 . 119154) (119225 . 119141) (119226 . 119141) (119227 . 119150) (119228 . 119150) (119227 . 119151) (119228 . 119151) 20029 20024 20033 (131362) 20320 20398 20411 20482 20602 20633 20711 20687 13470 (132666) 20813 20820 20836 20855 (132380) 13497 20839 20877 (132427) 20887 20900 20172 20908 20917 (168415) 20981 20995 13535 21051 21062 21106 21111 13589 21191 21193 21220 21242 21253 21254 21271 21321 21329 21338 21363 21373 21375 21375 21375 (133676) 28784 21450 21471 (133987) 21483 21489 21510 21662 21560 21576 21608 21666 21750 21776 21843 21859 21892 21892 21913 21931 21939 21954 22294 22022 22295 22097 22132 20999 22766 22478 22516 22541 22411 22578 22577 22700 (136420) 22770 22775 22790 22810 22818 22882 (136872) (136938) 23020 23067 23079 23000 23142 14062 14076 23304 23358 23358 (137672) 23491 23512 23527 23539 (138008) 23551 23558 24403 23586 14209 23648 23662 23744 23693 (138724) 23875 (138726) 23918 23915 23932 24033 24034 14383 24061 24104 24125 24169 14434 (139651) 14460 24240 24243 24246 24266 (172946) 24318 (140081) (140081) 33281 24354 24354 14535 (144056) (156122) 24418 24427 14563 24474 24525 24535 24569 24705 14650 14620 24724 (141012) 24775 24904 24908 24910 24908 24954 24974 25010 24996 25007 25054 25074 25078 25104 25115 25181 25265 25300 25424 (142092) 25405 25340 25448 25475 25572 (142321) 25634 25541 25513 14894 25705 25726 25757 25719 14956 25935 25964 (143370) 26083 26360 26185 15129 26257 15112 15076 20882 20885 26368 26268 32941 17369 26391 26395 26401 26462 26451 (144323) 15177 26618 26501 26706 26757 (144493) 26766 26655 26900 15261 26946 27043 27114 27304 (145059) 27355 15384 27425 (145575) 27476 15438 27506 27551 27578 27579 (146061) (138507) (146170) 27726 (146620) 27839 27853 27751 27926 27966 28023 27969 28009 28024 28037 (146718) 27956 28207 28270 15667 28363 28359 (147153) 28153 28526 (147294) (147342) 28614 28729 28702 28699 15766 28746 28797 28791 28845 (132389) 28997 (148067) 29084 (148395) 29224 29237 29264 (149000) 29312 29333 (149301) (149524) 29562 29579 16044 29605 16056 16056 29767 29788 29809 29829 29898 16155 29988 (150582) 30014 (150674) 30064 (139679) 30224 (151457) (151480) (151620) 16380 16392 30452 (151795) (151794) (151833) (151859) 30494 30495 30495 30538 16441 30603 16454 16534 (152605) 30798 30860 30924 16611 (153126) 31062 (153242) (153285) 31119 31211 16687 31296 31306 31311 (153980) (154279) (154279) 31470 16898 (154539) 31686 31689 16935 (154752) 31954 17056 31976 31971 32000 (155526) 32099 17153 32199 32258 32325 17204 (156200) (156231) 17241 (156377) 32634 (156478) 32661 32762 32773 (156890) (156963) 32864 (157096) 32880 (144223) 17365 32946 33027 17419 33086 23221 (157607) (157621) (144275) (144284) 33281 33284 36766 17515 33425 33419 33437 21171 33457 33459 33469 33510 (158524) 33509 33565 33635 33709 33571 33725 33767 33879 33619 33738 33740 33756 (158774) (159083) (158933) 17707 34033 34035 34070 (160714) 34148 (159532) 17757 17761 (159665) (159954) 17771 34384 34396 34407 34409 34473 34440 34574 34530 34681 34600 34667 34694 17879 34785 34817 17913 34912 34915 (161383) 35031 35038 17973 35066 13499 (161966) (162150) 18110 18119 35488 35565 35722 35925 (162984) 36011 36033 36123 36215 (163631) (133124) 36299 36284 36336 (133342) 36564 36664 (165330) (165357) 37012 37105 37137 (165678) 37147 37432 37591 37592 37500 37881 37909 (166906) 38283 18837 38327 (167287) 18918 38595 23986 38691 (168261) (168474) 19054 19062 38880 (168970) 19122 (169110) 38923 38923 38953 (169398) 39138 19251 39209 39335 39362 39422 19406 (170800) 39698 40000 40189 19662 19693 40295 (172238) 19704 (172293) (172558) (172689) 40635 19798 40697 40702 40709 40719 40726 40763 (173568)))

(define *compatibility-decompositions* '#(32 32 776 97 32 772 50 51 32 769 956 32 807 49 111 49 8260 52 49 8260 50 51 8260 52 73 74 105 106 76 183 108 183 700 110 115 68 381 68 382 100 382 76 74 76 106 108 106 78 74 78 106 110 106 68 90 68 122 100 122 104 614 106 114 633 635 641 119 121 32 774 32 775 32 778 32 808 32 771 32 779 611 108 115 120 661 32 837 32 769 946 952 933 966 960 954 961 962 920 949 931 1381 1410 1575 1652 1608 1652 1735 1652 1610 1652 3661 3634 3789 3762 3755 3737 3755 3745 3851 4018 3969 4019 3969 4316 65 198 66 68 69 398 71 72 73 74 75 76 77 78 79 546 80 82 84 85 87 97 592 593 7426 98 100 101 601 603 604 103 107 109 331 111 596 7446 7447 112 116 117 7453 623 118 7461 946 947 948 966 967 105 114 117 118 946 947 961 966 967 1085 594 99 597 240 604 102 607 609 613 616 617 618 7547 669 621 7557 671 625 624 626 627 628 629 632 642 643 427 649 650 7452 651 652 122 656 657 658 952 97 702 32 787 32 787 32 834 32 788 32 32 32 32 32 32 32 32 32 8208 32 819 46 46 46 46 46 46 32 8242 8242 8242 8242 8242 8245 8245 8245 8245 8245 33 33 32 773 63 63 63 33 33 63 8242 8242 8242 8242 32 48 105 52 53 54 55 56 57 43 8722 61 40 41 110 48 49 50 51 52 53 54 55 56 57 43 8722 61 40 41 97 101 111 120 601 82 115 97 47 99 97 47 115 67 176 67 99 47 111 99 47 117 400 176 70 103 72 72 72 104 295 73 73 76 108 78 78 111 80 81 82 82 82 83 77 84 69 76 84 77 90 90 66 67 101 69 70 77 111 1488 1489 1490 1491 105 70 65 88 960 947 915 928 8721 68 100 101 105 106 49 8260 51 50 8260 51 49 8260 53 50 8260 53 51 8260 53 52 8260 53 49 8260 54 53 8260 54 49 8260 56 51 8260 56 53 8260 56 55 8260 56 49 8260 73 73 73 73 73 73 73 86 86 86 73 86 73 73 86 73 73 73 73 88 88 88 73 88 73 73 76 67 68 77 105 105 105 105 105 105 105 118 118 118 105 118 105 105 118 105 105 105 105 120 120 120 105 120 105 105 108 99 100 109 8747 8747 8747 8747 8747 8750 8750 8750 8750 8750 49 50 51 52 53 54 55 56 57 49 48 49 49 49 50 49 51 49 52 49 53 49 54 49 55 49 56 49 57 50 48 40 49 41 40 50 41 40 51 41 40 52 41 40 53 41 40 54 41 40 55 41 40 56 41 40 57 41 40 49 48 41 40 49 49 41 40 49 50 41 40 49 51 41 40 49 52 41 40 49 53 41 40 49 54 41 40 49 55 41 40 49 56 41 40 49 57 41 40 50 48 41 49 46 50 46 51 46 52 46 53 46 54 46 55 46 56 46 57 46 49 48 46 49 49 46 49 50 46 49 51 46 49 52 46 49 53 46 49 54 46 49 55 46 49 56 46 49 57 46 50 48 46 40 97 41 40 98 41 40 99 41 40 100 41 40 101 41 40 102 41 40 103 41 40 104 41 40 105 41 40 106 41 40 107 41 40 108 41 40 109 41 40 110 41 40 111 41 40 112 41 40 113 41 40 114 41 40 115 41 40 116 41 40 117 41 40 118 41 40 119 41 40 120 41 40 121 41 40 122 41 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 48 8747 8747 8747 8747 58 58 61 61 61 61 61 61 11617 27597 40863 19968 20008 20022 20031 20057 20101 20108 20128 20154 20799 20837 20843 20866 20886 20907 20960 20981 20992 21147 21241 21269 21274 21304 21313 21340 21353 21378 21430 21448 21475 22231 22303 22763 22786 22794 22805 22823 22899 23376 23424 23544 23567 23586 23608 23662 23665 24027 24037 24049 24062 24178 24186 24191 24308 24318 24331 24339 24400 24417 24435 24515 25096 25142 25163 25903 25908 25991 26007 26020 26041 26080 26085 26352 26376 26408 27424 27490 27513 27571 27595 27604 27611 27663 27668 27700 28779 29226 29238 29243 29247 29255 29273 29275 29356 29572 29577 29916 29926 29976 29983 29992 30000 30091 30098 30326 30333 30382 30399 30446 30683 30690 30707 31034 31160 31166 31348 31435 31481 31859 31992 32566 32593 32650 32701 32769 32780 32786 32819 32895 32905 33251 33258 33267 33276 33292 33307 33311 33390 33394 33400 34381 34411 34880 34892 34915 35198 35211 35282 35328 35895 35910 35925 35960 35997 36196 36208 36275 36523 36554 36763 36784 36789 37009 37193 37318 37324 37329 38263 38272 38428 38582 38585 38632 38737 38750 38754 38761 38859 38893 38899 38913 39080 39131 39135 39318 39321 39340 39592 39640 39647 39717 39727 39730 39740 39770 40165 40565 40575 40613 40635 40643 40653 40657 40697 40701 40718 40723 40736 40763 40778 40786 40845 40860 40864 32 12306 21313 21316 21317 32 12441 32 12442 12424 12426 12467 12488 4352 4353 4522 4354 4524 4525 4355 4356 4357 4528 4529 4530 4531 4532 4533 4378 4358 4359 4360 4385 4361 4362 4363 4364 4365 4366 4367 4368 4369 4370 4449 4450 4451 4452 4453 4454 4455 4456 4457 4458 4459 4460 4461 4462 4463 4464 4465 4466 4467 4468 4469 4448 4372 4373 4551 4552 4556 4558 4563 4567 4569 4380 4573 4575 4381 4382 4384 4386 4387 4391 4393 4395 4396 4397 4398 4399 4402 4406 4416 4423 4428 4593 4594 4439 4440 4441 4484 4485 4488 4497 4498 4500 4510 4513 19968 20108 19977 22235 19978 20013 19979 30002 20057 19993 19969 22825 22320 20154 40 4352 41 40 4354 41 40 4355 41 40 4357 41 40 4358 41 40 4359 41 40 4361 41 40 4363 41 40 4364 41 40 4366 41 40 4367 41 40 4368 41 40 4369 41 40 4370 41 40 4352 4449 41 40 4354 4449 41 40 4355 4449 41 40 4357 4449 41 40 4358 4449 41 40 4359 4449 41 40 4361 4449 41 40 4363 4449 41 40 4364 4449 41 40 4366 4449 41 40 4367 4449 41 40 4368 4449 41 40 4369 4449 41 40 4370 4449 41 40 4364 4462 41 40 4363 4457 4364 4453 4523 41 40 4363 4457 4370 4462 41 40 19968 41 40 20108 41 40 19977 41 40 22235 41 40 20116 41 40 20845 41 40 19971 41 40 20843 41 40 20061 41 40 21313 41 40 26376 41 40 28779 41 40 27700 41 40 26408 41 40 37329 41 40 22303 41 40 26085 41 40 26666 41 40 26377 41 40 31038 41 40 21517 41 40 29305 41 40 36001 41 40 31069 41 40 21172 41 40 20195 41 40 21628 41 40 23398 41 40 30435 41 40 20225 41 40 36039 41 40 21332 41 40 31085 41 40 20241 41 40 33258 41 40 33267 41 80 84 69 50 49 50 50 50 51 50 52 50 53 50 54 50 55 50 56 50 57 51 48 51 49 51 50 51 51 51 52 51 53 4352 4354 4355 4357 4358 4359 4361 4363 4364 4366 4367 4368 4369 4370 4352 4449 4354 4449 4355 4449 4357 4449 4358 4449 4359 4449 4361 4449 4363 4449 4364 4449 4366 4449 4367 4449 4368 4449 4369 4449 4370 4449 4366 4449 4535 4352 4457 4364 4462 4363 4468 4363 4462 19968 20108 19977 22235 20116 20845 19971 20843 20061 21313 26376 28779 27700 26408 37329 22303 26085 26666 26377 31038 21517 29305 36001 31069 21172 31192 30007 22899 36969 20778 21360 27880 38917 20241 20889 27491 19978 20013 19979 24038 21491 21307 23447 23398 30435 20225 36039 21332 22812 51 54 51 55 51 56 51 57 52 48 52 49 52 50 52 51 52 52 52 53 52 54 52 55 52 56 52 57 53 48 49 26376 50 26376 51 26376 52 26376 53 26376 54 26376 55 26376 56 26376 57 26376 49 48 26376 49 49 26376 49 50 26376 72 103 101 114 103 101 86 76 84 68 12450 12452 12454 12456 12458 12459 12461 12463 12465 12467 12469 12471 12473 12475 12477 12479 12481 12484 12486 12488 12490 12491 12492 12493 12494 12495 12498 12501 12504 12507 12510 12511 12512 12513 12514 12516 12518 12520 12521 12522 12523 12524 12525 12527 12528 12529 12530 12450 12497 12540 12488 12450 12523 12501 12449 12450 12531 12506 12450 12450 12540 12523 12452 12491 12531 12464 12452 12531 12481 12454 12457 12531 12456 12473 12463 12540 12489 12456 12540 12459 12540 12458 12531 12473 12458 12540 12512 12459 12452 12522 12459 12521 12483 12488 12459 12525 12522 12540 12460 12525 12531 12460 12531 12510 12462 12460 12462 12491 12540 12461 12517 12522 12540 12462 12523 12480 12540 12461 12525 12461 12525 12464 12521 12512 12461 12525 12513 12540 12488 12523 12461 12525 12527 12483 12488 12464 12521 12512 12464 12521 12512 12488 12531 12463 12523 12476 12452 12525 12463 12525 12540 12493 12465 12540 12473 12467 12523 12490 12467 12540 12509 12469 12452 12463 12523 12469 12531 12481 12540 12512 12471 12522 12531 12464 12475 12531 12481 12475 12531 12488 12480 12540 12473 12487 12471 12489 12523 12488 12531 12490 12494 12494 12483 12488 12495 12452 12484 12497 12540 12475 12531 12488 12497 12540 12484 12496 12540 12524 12523 12500 12450 12473 12488 12523 12500 12463 12523 12500 12467 12499 12523 12501 12449 12521 12483 12489 12501 12451 12540 12488 12502 12483 12471 12455 12523 12501 12521 12531 12504 12463 12479 12540 12523 12506 12477 12506 12491 12498 12504 12523 12484 12506 12531 12473 12506 12540 12472 12505 12540 12479 12509 12452 12531 12488 12508 12523 12488 12507 12531 12509 12531 12489 12507 12540 12523 12507 12540 12531 12510 12452 12463 12525 12510 12452 12523 12510 12483 12495 12510 12523 12463 12510 12531 12471 12519 12531 12511 12463 12525 12531 12511 12522 12511 12522 12496 12540 12523 12513 12460 12513 12460 12488 12531 12513 12540 12488 12523 12516 12540 12489 12516 12540 12523 12518 12450 12531 12522 12483 12488 12523 12522 12521 12523 12500 12540 12523 12540 12502 12523 12524 12512 12524 12531 12488 12466 12531 12527 12483 12488 48 28857 49 28857 50 28857 51 28857 52 28857 53 28857 54 28857 55 28857 56 28857 57 28857 49 48 28857 49 49 28857 49 50 28857 49 51 28857 49 52 28857 49 53 28857 49 54 28857 49 55 28857 49 56 28857 49 57 28857 50 48 28857 50 49 28857 50 50 28857 50 51 28857 50 52 28857 104 80 97 100 97 65 85 98 97 114 111 86 112 99 100 109 100 109 178 100 109 179 73 85 24179 25104 26157 21644 22823 27491 26126 27835 26666 24335 20250 31038 112 65 110 65 956 65 109 65 107 65 75 66 77 66 71 66 99 97 108 107 99 97 108 112 70 110 70 956 70 956 103 109 103 107 103 72 122 107 72 122 77 72 122 71 72 122 84 72 122 956 8467 109 8467 100 8467 107 8467 102 109 110 109 956 109 109 109 99 109 107 109 109 109 178 99 109 178 109 178 107 109 178 109 109 179 99 109 179 109 179 107 109 179 109 8725 115 109 8725 115 178 80 97 107 80 97 77 80 97 71 80 97 114 97 100 114 97 100 8725 115 114 97 100 8725 115 178 112 115 110 115 956 115 109 115 112 86 110 86 956 86 109 86 107 86 77 86 112 87 110 87 956 87 109 87 107 87 77 87 107 937 77 937 97 46 109 46 66 113 99 99 99 100 67 8725 107 103 67 111 46 100 66 71 121 104 97 72 80 105 110 75 75 75 77 107 116 108 109 108 110 108 111 103 108 120 109 98 109 105 108 109 111 108 80 72 112 46 109 46 80 80 77 80 82 115 114 83 118 87 98 86 8725 109 65 8725 109 49 26085 50 26085 51 26085 52 26085 53 26085 54 26085 55 26085 56 26085 57 26085 49 48 26085 49 49 26085 49 50 26085 49 51 26085 49 52 26085 49 53 26085 49 54 26085 49 55 26085 49 56 26085 49 57 26085 50 48 26085 50 49 26085 50 50 26085 50 51 26085 50 52 26085 50 53 26085 50 54 26085 50 55 26085 50 56 26085 50 57 26085 51 48 26085 51 49 26085 103 97 108 102 102 102 105 102 108 102 102 105 102 102 108 383 116 115 116 1396 1398 1396 1381 1396 1387 1406 1398 1396 1389 1506 1488 1491 1492 1499 1500 1501 1512 1514 43 1488 1500 1649 1649 1659 1659 1659 1659 1662 1662 1662 1662 1664 1664 1664 1664 1658 1658 1658 1658 1663 1663 1663 1663 1657 1657 1657 1657 1700 1700 1700 1700 1702 1702 1702 1702 1668 1668 1668 1668 1667 1667 1667 1667 1670 1670 1670 1670 1671 1671 1671 1671 1677 1677 1676 1676 1678 1678 1672 1672 1688 1688 1681 1681 1705 1705 1705 1705 1711 1711 1711 1711 1715 1715 1715 1715 1713 1713 1713 1713 1722 1722 1723 1723 1723 1723 1728 1728 1729 1729 1729 1729 1726 1726 1726 1726 1746 1746 1747 1747 1709 1709 1709 1709 1735 1735 1734 1734 1736 1736 1655 1739 1739 1733 1733 1737 1737 1744 1744 1744 1744 1609 1609 1574 1575 1574 1575 1574 1749 1574 1749 1574 1608 1574 1608 1574 1735 1574 1735 1574 1734 1574 1734 1574 1736 1574 1736 1574 1744 1574 1744 1574 1744 1574 1609 1574 1609 1574 1609 1740 1740 1740 1740 1574 1580 1574 1581 1574 1605 1574 1609 1574 1610 1576 1580 1576 1581 1576 1582 1576 1605 1576 1609 1576 1610 1578 1580 1578 1581 1578 1582 1578 1605 1578 1609 1578 1610 1579 1580 1579 1605 1579 1609 1579 1610 1580 1581 1580 1605 1581 1580 1581 1605 1582 1580 1582 1581 1582 1605 1587 1580 1587 1581 1587 1582 1587 1605 1589 1581 1589 1605 1590 1580 1590 1581 1590 1582 1590 1605 1591 1581 1591 1605 1592 1605 1593 1580 1593 1605 1594 1580 1594 1605 1601 1580 1601 1581 1601 1582 1601 1605 1601 1609 1601 1610 1602 1581 1602 1605 1602 1609 1602 1610 1603 1575 1603 1580 1603 1581 1603 1582 1603 1604 1603 1605 1603 1609 1603 1610 1604 1580 1604 1581 1604 1582 1604 1605 1604 1609 1604 1610 1605 1580 1605 1581 1605 1582 1605 1605 1605 1609 1605 1610 1606 1580 1606 1581 1606 1582 1606 1605 1606 1609 1606 1610 1607 1580 1607 1605 1607 1609 1607 1610 1610 1580 1610 1581 1610 1582 1610 1605 1610 1609 1610 1610 1584 1648 1585 1648 1609 1648 32 1612 1617 32 1613 1617 32 1614 1617 32 1615 1617 32 1616 1617 32 1617 1648 1574 1585 1574 1586 1574 1605 1574 1606 1574 1609 1574 1610 1576 1585 1576 1586 1576 1605 1576 1606 1576 1609 1576 1610 1578 1585 1578 1586 1578 1605 1578 1606 1578 1609 1578 1610 1579 1585 1579 1586 1579 1605 1579 1606 1579 1609 1579 1610 1601 1609 1601 1610 1602 1609 1602 1610 1603 1575 1603 1604 1603 1605 1603 1609 1603 1610 1604 1605 1604 1609 1604 1610 1605 1575 1605 1605 1606 1585 1606 1586 1606 1605 1606 1606 1606 1609 1606 1610 1609 1648 1610 1585 1610 1586 1610 1605 1610 1606 1610 1609 1610 1610 1574 1580 1574 1581 1574 1582 1574 1605 1574 1607 1576 1580 1576 1581 1576 1582 1576 1605 1576 1607 1578 1580 1578 1581 1578 1582 1578 1605 1578 1607 1579 1605 1580 1581 1580 1605 1581 1580 1581 1605 1582 1580 1582 1605 1587 1580 1587 1581 1587 1582 1587 1605 1589 1581 1589 1582 1589 1605 1590 1580 1590 1581 1590 1582 1590 1605 1591 1581 1592 1605 1593 1580 1593 1605 1594 1580 1594 1605 1601 1580 1601 1581 1601 1582 1601 1605 1602 1581 1602 1605 1603 1580 1603 1581 1603 1582 1603 1604 1603 1605 1604 1580 1604 1581 1604 1582 1604 1605 1604 1607 1605 1580 1605 1581 1605 1582 1605 1605 1606 1580 1606 1581 1606 1582 1606 1605 1606 1607 1607 1580 1607 1605 1607 1648 1610 1580 1610 1581 1610 1582 1610 1605 1610 1607 1574 1605 1574 1607 1576 1605 1576 1607 1578 1605 1578 1607 1579 1605 1579 1607 1587 1605 1587 1607 1588 1605 1588 1607 1603 1604 1603 1605 1604 1605 1606 1605 1606 1607 1610 1605 1610 1607 1600 1614 1617 1600 1615 1617 1600 1616 1617 1591 1609 1591 1610 1593 1609 1593 1610 1594 1609 1594 1610 1587 1609 1587 1610 1588 1609 1588 1610 1581 1609 1581 1610 1580 1609 1580 1610 1582 1609 1582 1610 1589 1609 1589 1610 1590 1609 1590 1610 1588 1580 1588 1581 1588 1582 1588 1605 1588 1585 1587 1585 1589 1585 1590 1585 1591 1609 1591 1610 1593 1609 1593 1610 1594 1609 1594 1610 1587 1609 1587 1610 1588 1609 1588 1610 1581 1609 1581 1610 1580 1609 1580 1610 1582 1609 1582 1610 1589 1609 1589 1610 1590 1609 1590 1610 1588 1580 1588 1581 1588 1582 1588 1605 1588 1585 1587 1585 1589 1585 1590 1585 1588 1580 1588 1581 1588 1582 1588 1605 1587 1607 1588 1607 1591 1605 1587 1580 1587 1581 1587 1582 1588 1580 1588 1581 1588 1582 1591 1605 1592 1605 1575 1611 1575 1611 1578 1580 1605 1578 1581 1580 1578 1581 1580 1578 1581 1605 1578 1582 1605 1578 1605 1580 1578 1605 1581 1578 1605 1582 1580 1605 1581 1580 1605 1581 1581 1605 1610 1581 1605 1609 1587 1581 1580 1587 1580 1581 1587 1580 1609 1587 1605 1581 1587 1605 1581 1587 1605 1580 1587 1605 1605 1587 1605 1605 1589 1581 1581 1589 1581 1581 1589 1605 1605 1588 1581 1605 1588 1581 1605 1588 1580 1610 1588 1605 1582 1588 1605 1582 1588 1605 1605 1588 1605 1605 1590 1581 1609 1590 1582 1605 1590 1582 1605 1591 1605 1581 1591 1605 1581 1591 1605 1605 1591 1605 1610 1593 1580 1605 1593 1605 1605 1593 1605 1605 1593 1605 1609 1594 1605 1605 1594 1605 1610 1594 1605 1609 1601 1582 1605 1601 1582 1605 1602 1605 1581 1602 1605 1605 1604 1581 1605 1604 1581 1610 1604 1581 1609 1604 1580 1580 1604 1580 1580 1604 1582 1605 1604 1582 1605 1604 1605 1581 1604 1605 1581 1605 1581 1580 1605 1581 1605 1605 1581 1610 1605 1580 1581 1605 1580 1605 1605 1582 1580 1605 1582 1605 1605 1580 1582 1607 1605 1580 1607 1605 1605 1606 1581 1605 1606 1581 1609 1606 1580 1605 1606 1580 1605 1606 1580 1609 1606 1605 1610 1606 1605 1609 1610 1605 1605 1610 1605 1605 1576 1582 1610 1578 1580 1610 1578 1580 1609 1578 1582 1610 1578 1582 1609 1578 1605 1610 1578 1605 1609 1580 1605 1610 1580 1581 1609 1580 1605 1609 1587 1582 1609 1589 1581 1610 1588 1581 1610 1590 1581 1610 1604 1580 1610 1604 1605 1610 1610 1581 1610 1610 1580 1610 1610 1605 1610 1605 1605 1610 1602 1605 1610 1606 1581 1610 1602 1605 1581 1604 1581 1605 1593 1605 1610 1603 1605 1610 1606 1580 1581 1605 1582 1610 1604 1580 1605 1603 1605 1605 1604 1580 1605 1606 1580 1581 1580 1581 1610 1581 1580 1610 1605 1580 1610 1601 1605 1610 1576 1581 1610 1603 1605 1605 1593 1580 1605 1589 1605 1605 1587 1582 1610 1606 1580 1610 1589 1604 1746 1602 1604 1746 1575 1604 1604 1607 1575 1603 1576 1585 1605 1581 1605 1583 1589 1604 1593 1605 1585 1587 1608 1604 1593 1604 1610 1607 1608 1587 1604 1605 1589 1604 1609 1589 1604 1609 32 1575 1604 1604 1607 32 1593 1604 1610 1607 32 1608 1587 1604 1605 1580 1604 32 1580 1604 1575 1604 1607 1585 1740 1575 1604 44 12289 12290 58 59 33 63 12310 12311 8230 8229 8212 8211 95 95 40 41 123 125 12308 12309 12304 12305 12298 12299 12296 12297 12300 12301 12302 12303 91 93 8254 8254 8254 8254 95 95 95 44 12289 46 59 58 63 33 8212 40 41 123 125 12308 12309 35 38 42 43 45 60 62 61 92 36 37 64 32 1611 1600 1611 32 1612 32 1613 32 1614 1600 1614 32 1615 1600 1615 32 1616 1600 1616 32 1617 1600 1617 32 1618 1600 1618 1569 1570 1570 1571 1571 1572 1572 1573 1573 1574 1574 1574 1574 1575 1575 1576 1576 1576 1576 1577 1577 1578 1578 1578 1578 1579 1579 1579 1579 1580 1580 1580 1580 1581 1581 1581 1581 1582 1582 1582 1582 1583 1583 1584 1584 1585 1585 1586 1586 1587 1587 1587 1587 1588 1588 1588 1588 1589 1589 1589 1589 1590 1590 1590 1590 1591 1591 1591 1591 1592 1592 1592 1592 1593 1593 1593 1593 1594 1594 1594 1594 1601 1601 1601 1601 1602 1602 1602 1602 1603 1603 1603 1603 1604 1604 1604 1604 1605 1605 1605 1605 1606 1606 1606 1606 1607 1607 1607 1607 1608 1608 1609 1609 1610 1610 1610 1610 1604 1570 1604 1570 1604 1571 1604 1571 1604 1573 1604 1573 1604 1575 1604 1575 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 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 10629 10630 12290 12300 12301 12289 12539 12530 12449 12451 12453 12455 12457 12515 12517 12519 12483 12540 12450 12452 12454 12456 12458 12459 12461 12463 12465 12467 12469 12471 12473 12475 12477 12479 12481 12484 12486 12488 12490 12491 12492 12493 12494 12495 12498 12501 12504 12507 12510 12511 12512 12513 12514 12516 12518 12520 12521 12522 12523 12524 12525 12527 12531 12441 12442 12644 12593 12594 12595 12596 12597 12598 12599 12600 12601 12602 12603 12604 12605 12606 12607 12608 12609 12610 12611 12612 12613 12614 12615 12616 12617 12618 12619 12620 12621 12622 12623 12624 12625 12626 12627 12628 12629 12630 12631 12632 12633 12634 12635 12636 12637 12638 12639 12640 12641 12642 12643 162 163 172 175 166 165 8361 9474 8592 8593 8594 8595 9632 9675 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 97 98 99 100 101 102 103 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 65 67 68 71 74 75 78 79 80 81 83 84 85 86 87 88 89 90 97 98 99 100 102 104 105 106 107 108 109 110 112 113 114 115 116 117 118 119 120 121 122 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 65 66 68 69 70 71 74 75 76 77 78 79 80 81 83 84 85 86 87 88 89 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 65 66 68 69 70 71 73 74 75 76 77 79 83 84 85 86 87 88 89 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 305 567 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 1012 931 932 933 934 935 936 937 8711 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 8706 1013 977 1008 981 1009 982 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 1012 931 932 933 934 935 936 937 8711 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 8706 1013 977 1008 981 1009 982 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 1012 931 932 933 934 935 936 937 8711 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 8706 1013 977 1008 981 1009 982 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 1012 931 932 933 934 935 936 937 8711 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 8706 1013 977 1008 981 1009 982 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 1012 931 932 933 934 935 936 937 8711 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 8706 1013 977 1008 981 1009 982 988 989 48 49 50 51 52 53 54 55 56 57 48 49 50 51 52 53 54 55 56 57 48 49 50 51 52 53 54 55 56 57 48 49 50 51 52 53 54 55 56 57 48 49 50 51 52 53 54 55 56 57))
(define *compatibility-scalar-values* '#(160 168 170 175 178 179 180 181 184 185 186 188 189 190 306 307 319 320 329 383 452 453 454 455 456 457 458 459 460 497 498 499 688 689 690 691 692 693 694 695 696 728 729 730 731 732 733 736 737 738 739 740 890 900 976 977 978 981 982 1008 1009 1010 1012 1013 1017 1415 1653 1654 1655 1656 3635 3763 3804 3805 3852 3959 3961 4348 7468 7469 7470 7472 7473 7474 7475 7476 7477 7478 7479 7480 7481 7482 7484 7485 7486 7487 7488 7489 7490 7491 7492 7493 7494 7495 7496 7497 7498 7499 7500 7501 7503 7504 7505 7506 7507 7508 7509 7510 7511 7512 7513 7514 7515 7516 7517 7518 7519 7520 7521 7522 7523 7524 7525 7526 7527 7528 7529 7530 7544 7579 7580 7581 7582 7583 7584 7585 7586 7587 7588 7589 7590 7591 7592 7593 7594 7595 7596 7597 7598 7599 7600 7601 7602 7603 7604 7605 7606 7607 7608 7609 7610 7611 7612 7613 7614 7615 7834 8125 8127 8128 8190 8194 8195 8196 8197 8198 8199 8200 8201 8202 8209 8215 8228 8229 8230 8239 8243 8244 8246 8247 8252 8254 8263 8264 8265 8279 8287 8304 8305 8308 8309 8310 8311 8312 8313 8314 8315 8316 8317 8318 8319 8320 8321 8322 8323 8324 8325 8326 8327 8328 8329 8330 8331 8332 8333 8334 8336 8337 8338 8339 8340 8360 8448 8449 8450 8451 8453 8454 8455 8457 8458 8459 8460 8461 8462 8463 8464 8465 8466 8467 8469 8470 8473 8474 8475 8476 8477 8480 8481 8482 8484 8488 8492 8493 8495 8496 8497 8499 8500 8501 8502 8503 8504 8505 8507 8508 8509 8510 8511 8512 8517 8518 8519 8520 8521 8531 8532 8533 8534 8535 8536 8537 8538 8539 8540 8541 8542 8543 8544 8545 8546 8547 8548 8549 8550 8551 8552 8553 8554 8555 8556 8557 8558 8559 8560 8561 8562 8563 8564 8565 8566 8567 8568 8569 8570 8571 8572 8573 8574 8575 8748 8749 8751 8752 9312 9313 9314 9315 9316 9317 9318 9319 9320 9321 9322 9323 9324 9325 9326 9327 9328 9329 9330 9331 9332 9333 9334 9335 9336 9337 9338 9339 9340 9341 9342 9343 9344 9345 9346 9347 9348 9349 9350 9351 9352 9353 9354 9355 9356 9357 9358 9359 9360 9361 9362 9363 9364 9365 9366 9367 9368 9369 9370 9371 9372 9373 9374 9375 9376 9377 9378 9379 9380 9381 9382 9383 9384 9385 9386 9387 9388 9389 9390 9391 9392 9393 9394 9395 9396 9397 9398 9399 9400 9401 9402 9403 9404 9405 9406 9407 9408 9409 9410 9411 9412 9413 9414 9415 9416 9417 9418 9419 9420 9421 9422 9423 9424 9425 9426 9427 9428 9429 9430 9431 9432 9433 9434 9435 9436 9437 9438 9439 9440 9441 9442 9443 9444 9445 9446 9447 9448 9449 9450 10764 10868 10869 10870 11631 11935 12019 12032 12033 12034 12035 12036 12037 12038 12039 12040 12041 12042 12043 12044 12045 12046 12047 12048 12049 12050 12051 12052 12053 12054 12055 12056 12057 12058 12059 12060 12061 12062 12063 12064 12065 12066 12067 12068 12069 12070 12071 12072 12073 12074 12075 12076 12077 12078 12079 12080 12081 12082 12083 12084 12085 12086 12087 12088 12089 12090 12091 12092 12093 12094 12095 12096 12097 12098 12099 12100 12101 12102 12103 12104 12105 12106 12107 12108 12109 12110 12111 12112 12113 12114 12115 12116 12117 12118 12119 12120 12121 12122 12123 12124 12125 12126 12127 12128 12129 12130 12131 12132 12133 12134 12135 12136 12137 12138 12139 12140 12141 12142 12143 12144 12145 12146 12147 12148 12149 12150 12151 12152 12153 12154 12155 12156 12157 12158 12159 12160 12161 12162 12163 12164 12165 12166 12167 12168 12169 12170 12171 12172 12173 12174 12175 12176 12177 12178 12179 12180 12181 12182 12183 12184 12185 12186 12187 12188 12189 12190 12191 12192 12193 12194 12195 12196 12197 12198 12199 12200 12201 12202 12203 12204 12205 12206 12207 12208 12209 12210 12211 12212 12213 12214 12215 12216 12217 12218 12219 12220 12221 12222 12223 12224 12225 12226 12227 12228 12229 12230 12231 12232 12233 12234 12235 12236 12237 12238 12239 12240 12241 12242 12243 12244 12245 12288 12342 12344 12345 12346 12443 12444 12447 12543 12593 12594 12595 12596 12597 12598 12599 12600 12601 12602 12603 12604 12605 12606 12607 12608 12609 12610 12611 12612 12613 12614 12615 12616 12617 12618 12619 12620 12621 12622 12623 12624 12625 12626 12627 12628 12629 12630 12631 12632 12633 12634 12635 12636 12637 12638 12639 12640 12641 12642 12643 12644 12645 12646 12647 12648 12649 12650 12651 12652 12653 12654 12655 12656 12657 12658 12659 12660 12661 12662 12663 12664 12665 12666 12667 12668 12669 12670 12671 12672 12673 12674 12675 12676 12677 12678 12679 12680 12681 12682 12683 12684 12685 12686 12690 12691 12692 12693 12694 12695 12696 12697 12698 12699 12700 12701 12702 12703 12800 12801 12802 12803 12804 12805 12806 12807 12808 12809 12810 12811 12812 12813 12814 12815 12816 12817 12818 12819 12820 12821 12822 12823 12824 12825 12826 12827 12828 12829 12830 12832 12833 12834 12835 12836 12837 12838 12839 12840 12841 12842 12843 12844 12845 12846 12847 12848 12849 12850 12851 12852 12853 12854 12855 12856 12857 12858 12859 12860 12861 12862 12863 12864 12865 12866 12867 12880 12881 12882 12883 12884 12885 12886 12887 12888 12889 12890 12891 12892 12893 12894 12895 12896 12897 12898 12899 12900 12901 12902 12903 12904 12905 12906 12907 12908 12909 12910 12911 12912 12913 12914 12915 12916 12917 12918 12919 12920 12921 12922 12923 12924 12925 12926 12928 12929 12930 12931 12932 12933 12934 12935 12936 12937 12938 12939 12940 12941 12942 12943 12944 12945 12946 12947 12948 12949 12950 12951 12952 12953 12954 12955 12956 12957 12958 12959 12960 12961 12962 12963 12964 12965 12966 12967 12968 12969 12970 12971 12972 12973 12974 12975 12976 12977 12978 12979 12980 12981 12982 12983 12984 12985 12986 12987 12988 12989 12990 12991 12992 12993 12994 12995 12996 12997 12998 12999 13000 13001 13002 13003 13004 13005 13006 13007 13008 13009 13010 13011 13012 13013 13014 13015 13016 13017 13018 13019 13020 13021 13022 13023 13024 13025 13026 13027 13028 13029 13030 13031 13032 13033 13034 13035 13036 13037 13038 13039 13040 13041 13042 13043 13044 13045 13046 13047 13048 13049 13050 13051 13052 13053 13054 13056 13057 13058 13059 13060 13061 13062 13063 13064 13065 13066 13067 13068 13069 13070 13071 13072 13073 13074 13075 13076 13077 13078 13079 13080 13081 13082 13083 13084 13085 13086 13087 13088 13089 13090 13091 13092 13093 13094 13095 13096 13097 13098 13099 13100 13101 13102 13103 13104 13105 13106 13107 13108 13109 13110 13111 13112 13113 13114 13115 13116 13117 13118 13119 13120 13121 13122 13123 13124 13125 13126 13127 13128 13129 13130 13131 13132 13133 13134 13135 13136 13137 13138 13139 13140 13141 13142 13143 13144 13145 13146 13147 13148 13149 13150 13151 13152 13153 13154 13155 13156 13157 13158 13159 13160 13161 13162 13163 13164 13165 13166 13167 13168 13169 13170 13171 13172 13173 13174 13175 13176 13177 13178 13179 13180 13181 13182 13183 13184 13185 13186 13187 13188 13189 13190 13191 13192 13193 13194 13195 13196 13197 13198 13199 13200 13201 13202 13203 13204 13205 13206 13207 13208 13209 13210 13211 13212 13213 13214 13215 13216 13217 13218 13219 13220 13221 13222 13223 13224 13225 13226 13227 13228 13229 13230 13231 13232 13233 13234 13235 13236 13237 13238 13239 13240 13241 13242 13243 13244 13245 13246 13247 13248 13249 13250 13251 13252 13253 13254 13255 13256 13257 13258 13259 13260 13261 13262 13263 13264 13265 13266 13267 13268 13269 13270 13271 13272 13273 13274 13275 13276 13277 13278 13279 13280 13281 13282 13283 13284 13285 13286 13287 13288 13289 13290 13291 13292 13293 13294 13295 13296 13297 13298 13299 13300 13301 13302 13303 13304 13305 13306 13307 13308 13309 13310 13311 64256 64257 64258 64259 64260 64261 64262 64275 64276 64277 64278 64279 64288 64289 64290 64291 64292 64293 64294 64295 64296 64297 64335 64336 64337 64338 64339 64340 64341 64342 64343 64344 64345 64346 64347 64348 64349 64350 64351 64352 64353 64354 64355 64356 64357 64358 64359 64360 64361 64362 64363 64364 64365 64366 64367 64368 64369 64370 64371 64372 64373 64374 64375 64376 64377 64378 64379 64380 64381 64382 64383 64384 64385 64386 64387 64388 64389 64390 64391 64392 64393 64394 64395 64396 64397 64398 64399 64400 64401 64402 64403 64404 64405 64406 64407 64408 64409 64410 64411 64412 64413 64414 64415 64416 64417 64418 64419 64420 64421 64422 64423 64424 64425 64426 64427 64428 64429 64430 64431 64432 64433 64467 64468 64469 64470 64471 64472 64473 64474 64475 64476 64477 64478 64479 64480 64481 64482 64483 64484 64485 64486 64487 64488 64489 64490 64491 64492 64493 64494 64495 64496 64497 64498 64499 64500 64501 64502 64503 64504 64505 64506 64507 64508 64509 64510 64511 64512 64513 64514 64515 64516 64517 64518 64519 64520 64521 64522 64523 64524 64525 64526 64527 64528 64529 64530 64531 64532 64533 64534 64535 64536 64537 64538 64539 64540 64541 64542 64543 64544 64545 64546 64547 64548 64549 64550 64551 64552 64553 64554 64555 64556 64557 64558 64559 64560 64561 64562 64563 64564 64565 64566 64567 64568 64569 64570 64571 64572 64573 64574 64575 64576 64577 64578 64579 64580 64581 64582 64583 64584 64585 64586 64587 64588 64589 64590 64591 64592 64593 64594 64595 64596 64597 64598 64599 64600 64601 64602 64603 64604 64605 64606 64607 64608 64609 64610 64611 64612 64613 64614 64615 64616 64617 64618 64619 64620 64621 64622 64623 64624 64625 64626 64627 64628 64629 64630 64631 64632 64633 64634 64635 64636 64637 64638 64639 64640 64641 64642 64643 64644 64645 64646 64647 64648 64649 64650 64651 64652 64653 64654 64655 64656 64657 64658 64659 64660 64661 64662 64663 64664 64665 64666 64667 64668 64669 64670 64671 64672 64673 64674 64675 64676 64677 64678 64679 64680 64681 64682 64683 64684 64685 64686 64687 64688 64689 64690 64691 64692 64693 64694 64695 64696 64697 64698 64699 64700 64701 64702 64703 64704 64705 64706 64707 64708 64709 64710 64711 64712 64713 64714 64715 64716 64717 64718 64719 64720 64721 64722 64723 64724 64725 64726 64727 64728 64729 64730 64731 64732 64733 64734 64735 64736 64737 64738 64739 64740 64741 64742 64743 64744 64745 64746 64747 64748 64749 64750 64751 64752 64753 64754 64755 64756 64757 64758 64759 64760 64761 64762 64763 64764 64765 64766 64767 64768 64769 64770 64771 64772 64773 64774 64775 64776 64777 64778 64779 64780 64781 64782 64783 64784 64785 64786 64787 64788 64789 64790 64791 64792 64793 64794 64795 64796 64797 64798 64799 64800 64801 64802 64803 64804 64805 64806 64807 64808 64809 64810 64811 64812 64813 64814 64815 64816 64817 64818 64819 64820 64821 64822 64823 64824 64825 64826 64827 64828 64829 64848 64849 64850 64851 64852 64853 64854 64855 64856 64857 64858 64859 64860 64861 64862 64863 64864 64865 64866 64867 64868 64869 64870 64871 64872 64873 64874 64875 64876 64877 64878 64879 64880 64881 64882 64883 64884 64885 64886 64887 64888 64889 64890 64891 64892 64893 64894 64895 64896 64897 64898 64899 64900 64901 64902 64903 64904 64905 64906 64907 64908 64909 64910 64911 64914 64915 64916 64917 64918 64919 64920 64921 64922 64923 64924 64925 64926 64927 64928 64929 64930 64931 64932 64933 64934 64935 64936 64937 64938 64939 64940 64941 64942 64943 64944 64945 64946 64947 64948 64949 64950 64951 64952 64953 64954 64955 64956 64957 64958 64959 64960 64961 64962 64963 64964 64965 64966 64967 65008 65009 65010 65011 65012 65013 65014 65015 65016 65017 65018 65019 65020 65040 65041 65042 65043 65044 65045 65046 65047 65048 65049 65072 65073 65074 65075 65076 65077 65078 65079 65080 65081 65082 65083 65084 65085 65086 65087 65088 65089 65090 65091 65092 65095 65096 65097 65098 65099 65100 65101 65102 65103 65104 65105 65106 65108 65109 65110 65111 65112 65113 65114 65115 65116 65117 65118 65119 65120 65121 65122 65123 65124 65125 65126 65128 65129 65130 65131 65136 65137 65138 65140 65142 65143 65144 65145 65146 65147 65148 65149 65150 65151 65152 65153 65154 65155 65156 65157 65158 65159 65160 65161 65162 65163 65164 65165 65166 65167 65168 65169 65170 65171 65172 65173 65174 65175 65176 65177 65178 65179 65180 65181 65182 65183 65184 65185 65186 65187 65188 65189 65190 65191 65192 65193 65194 65195 65196 65197 65198 65199 65200 65201 65202 65203 65204 65205 65206 65207 65208 65209 65210 65211 65212 65213 65214 65215 65216 65217 65218 65219 65220 65221 65222 65223 65224 65225 65226 65227 65228 65229 65230 65231 65232 65233 65234 65235 65236 65237 65238 65239 65240 65241 65242 65243 65244 65245 65246 65247 65248 65249 65250 65251 65252 65253 65254 65255 65256 65257 65258 65259 65260 65261 65262 65263 65264 65265 65266 65267 65268 65269 65270 65271 65272 65273 65274 65275 65276 65281 65282 65283 65284 65285 65286 65287 65288 65289 65290 65291 65292 65293 65294 65295 65296 65297 65298 65299 65300 65301 65302 65303 65304 65305 65306 65307 65308 65309 65310 65311 65312 65313 65314 65315 65316 65317 65318 65319 65320 65321 65322 65323 65324 65325 65326 65327 65328 65329 65330 65331 65332 65333 65334 65335 65336 65337 65338 65339 65340 65341 65342 65343 65344 65345 65346 65347 65348 65349 65350 65351 65352 65353 65354 65355 65356 65357 65358 65359 65360 65361 65362 65363 65364 65365 65366 65367 65368 65369 65370 65371 65372 65373 65374 65375 65376 65377 65378 65379 65380 65381 65382 65383 65384 65385 65386 65387 65388 65389 65390 65391 65392 65393 65394 65395 65396 65397 65398 65399 65400 65401 65402 65403 65404 65405 65406 65407 65408 65409 65410 65411 65412 65413 65414 65415 65416 65417 65418 65419 65420 65421 65422 65423 65424 65425 65426 65427 65428 65429 65430 65431 65432 65433 65434 65435 65436 65437 65438 65439 65440 65441 65442 65443 65444 65445 65446 65447 65448 65449 65450 65451 65452 65453 65454 65455 65456 65457 65458 65459 65460 65461 65462 65463 65464 65465 65466 65467 65468 65469 65470 65474 65475 65476 65477 65478 65479 65482 65483 65484 65485 65486 65487 65490 65491 65492 65493 65494 65495 65498 65499 65500 65504 65505 65506 65507 65508 65509 65510 65512 65513 65514 65515 65516 65517 65518 119808 119809 119810 119811 119812 119813 119814 119815 119816 119817 119818 119819 119820 119821 119822 119823 119824 119825 119826 119827 119828 119829 119830 119831 119832 119833 119834 119835 119836 119837 119838 119839 119840 119841 119842 119843 119844 119845 119846 119847 119848 119849 119850 119851 119852 119853 119854 119855 119856 119857 119858 119859 119860 119861 119862 119863 119864 119865 119866 119867 119868 119869 119870 119871 119872 119873 119874 119875 119876 119877 119878 119879 119880 119881 119882 119883 119884 119885 119886 119887 119888 119889 119890 119891 119892 119894 119895 119896 119897 119898 119899 119900 119901 119902 119903 119904 119905 119906 119907 119908 119909 119910 119911 119912 119913 119914 119915 119916 119917 119918 119919 119920 119921 119922 119923 119924 119925 119926 119927 119928 119929 119930 119931 119932 119933 119934 119935 119936 119937 119938 119939 119940 119941 119942 119943 119944 119945 119946 119947 119948 119949 119950 119951 119952 119953 119954 119955 119956 119957 119958 119959 119960 119961 119962 119963 119964 119966 119967 119970 119973 119974 119977 119978 119979 119980 119982 119983 119984 119985 119986 119987 119988 119989 119990 119991 119992 119993 119995 119997 119998 119999 120000 120001 120002 120003 120005 120006 120007 120008 120009 120010 120011 120012 120013 120014 120015 120016 120017 120018 120019 120020 120021 120022 120023 120024 120025 120026 120027 120028 120029 120030 120031 120032 120033 120034 120035 120036 120037 120038 120039 120040 120041 120042 120043 120044 120045 120046 120047 120048 120049 120050 120051 120052 120053 120054 120055 120056 120057 120058 120059 120060 120061 120062 120063 120064 120065 120066 120067 120068 120069 120071 120072 120073 120074 120077 120078 120079 120080 120081 120082 120083 120084 120086 120087 120088 120089 120090 120091 120092 120094 120095 120096 120097 120098 120099 120100 120101 120102 120103 120104 120105 120106 120107 120108 120109 120110 120111 120112 120113 120114 120115 120116 120117 120118 120119 120120 120121 120123 120124 120125 120126 120128 120129 120130 120131 120132 120134 120138 120139 120140 120141 120142 120143 120144 120146 120147 120148 120149 120150 120151 120152 120153 120154 120155 120156 120157 120158 120159 120160 120161 120162 120163 120164 120165 120166 120167 120168 120169 120170 120171 120172 120173 120174 120175 120176 120177 120178 120179 120180 120181 120182 120183 120184 120185 120186 120187 120188 120189 120190 120191 120192 120193 120194 120195 120196 120197 120198 120199 120200 120201 120202 120203 120204 120205 120206 120207 120208 120209 120210 120211 120212 120213 120214 120215 120216 120217 120218 120219 120220 120221 120222 120223 120224 120225 120226 120227 120228 120229 120230 120231 120232 120233 120234 120235 120236 120237 120238 120239 120240 120241 120242 120243 120244 120245 120246 120247 120248 120249 120250 120251 120252 120253 120254 120255 120256 120257 120258 120259 120260 120261 120262 120263 120264 120265 120266 120267 120268 120269 120270 120271 120272 120273 120274 120275 120276 120277 120278 120279 120280 120281 120282 120283 120284 120285 120286 120287 120288 120289 120290 120291 120292 120293 120294 120295 120296 120297 120298 120299 120300 120301 120302 120303 120304 120305 120306 120307 120308 120309 120310 120311 120312 120313 120314 120315 120316 120317 120318 120319 120320 120321 120322 120323 120324 120325 120326 120327 120328 120329 120330 120331 120332 120333 120334 120335 120336 120337 120338 120339 120340 120341 120342 120343 120344 120345 120346 120347 120348 120349 120350 120351 120352 120353 120354 120355 120356 120357 120358 120359 120360 120361 120362 120363 120364 120365 120366 120367 120368 120369 120370 120371 120372 120373 120374 120375 120376 120377 120378 120379 120380 120381 120382 120383 120384 120385 120386 120387 120388 120389 120390 120391 120392 120393 120394 120395 120396 120397 120398 120399 120400 120401 120402 120403 120404 120405 120406 120407 120408 120409 120410 120411 120412 120413 120414 120415 120416 120417 120418 120419 120420 120421 120422 120423 120424 120425 120426 120427 120428 120429 120430 120431 120432 120433 120434 120435 120436 120437 120438 120439 120440 120441 120442 120443 120444 120445 120446 120447 120448 120449 120450 120451 120452 120453 120454 120455 120456 120457 120458 120459 120460 120461 120462 120463 120464 120465 120466 120467 120468 120469 120470 120471 120472 120473 120474 120475 120476 120477 120478 120479 120480 120481 120482 120483 120484 120485 120488 120489 120490 120491 120492 120493 120494 120495 120496 120497 120498 120499 120500 120501 120502 120503 120504 120505 120506 120507 120508 120509 120510 120511 120512 120513 120514 120515 120516 120517 120518 120519 120520 120521 120522 120523 120524 120525 120526 120527 120528 120529 120530 120531 120532 120533 120534 120535 120536 120537 120538 120539 120540 120541 120542 120543 120544 120545 120546 120547 120548 120549 120550 120551 120552 120553 120554 120555 120556 120557 120558 120559 120560 120561 120562 120563 120564 120565 120566 120567 120568 120569 120570 120571 120572 120573 120574 120575 120576 120577 120578 120579 120580 120581 120582 120583 120584 120585 120586 120587 120588 120589 120590 120591 120592 120593 120594 120595 120596 120597 120598 120599 120600 120601 120602 120603 120604 120605 120606 120607 120608 120609 120610 120611 120612 120613 120614 120615 120616 120617 120618 120619 120620 120621 120622 120623 120624 120625 120626 120627 120628 120629 120630 120631 120632 120633 120634 120635 120636 120637 120638 120639 120640 120641 120642 120643 120644 120645 120646 120647 120648 120649 120650 120651 120652 120653 120654 120655 120656 120657 120658 120659 120660 120661 120662 120663 120664 120665 120666 120667 120668 120669 120670 120671 120672 120673 120674 120675 120676 120677 120678 120679 120680 120681 120682 120683 120684 120685 120686 120687 120688 120689 120690 120691 120692 120693 120694 120695 120696 120697 120698 120699 120700 120701 120702 120703 120704 120705 120706 120707 120708 120709 120710 120711 120712 120713 120714 120715 120716 120717 120718 120719 120720 120721 120722 120723 120724 120725 120726 120727 120728 120729 120730 120731 120732 120733 120734 120735 120736 120737 120738 120739 120740 120741 120742 120743 120744 120745 120746 120747 120748 120749 120750 120751 120752 120753 120754 120755 120756 120757 120758 120759 120760 120761 120762 120763 120764 120765 120766 120767 120768 120769 120770 120771 120772 120773 120774 120775 120776 120777 120778 120779 120782 120783 120784 120785 120786 120787 120788 120789 120790 120791 120792 120793 120794 120795 120796 120797 120798 120799 120800 120801 120802 120803 120804 120805 120806 120807 120808 120809 120810 120811 120812 120813 120814 120815 120816 120817 120818 120819 120820 120821 120822 120823 120824 120825 120826 120827 120828 120829 120830 120831))
(define *compatibility-indices* '#(0 1 3 4 6 7 8 10 11 13 14 15 18 21 24 26 28 30 32 34 35 37 39 41 43 45 47 49 51 53 55 57 59 60 61 62 63 64 65 66 67 68 70 72 74 76 78 80 81 82 83 84 85 87 89 90 91 92 93 94 95 96 97 98 99 100 102 104 106 108 110 112 114 116 118 119 121 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 224 226 228 230 232 233 234 235 236 237 238 239 240 241 242 244 245 247 250 251 253 256 258 261 263 265 267 269 271 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 312 315 318 319 321 324 327 328 330 331 332 333 334 335 336 337 338 339 340 341 343 344 345 346 347 348 350 353 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 372 373 374 375 376 377 378 379 380 381 382 385 388 391 394 397 400 403 406 409 412 415 418 420 421 423 426 428 429 431 434 438 440 441 443 446 447 448 449 450 451 453 456 458 459 461 464 468 470 471 473 476 477 478 479 480 482 485 487 490 491 492 493 494 495 496 497 498 499 501 503 505 507 509 511 513 515 517 519 521 524 527 530 533 536 539 542 545 548 552 556 560 564 568 572 576 580 584 588 592 594 596 598 600 602 604 606 608 610 613 616 619 622 625 628 631 634 637 640 643 646 649 652 655 658 661 664 667 670 673 676 679 682 685 688 691 694 697 700 703 706 709 712 715 718 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 778 781 783 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1010 1012 1014 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1127 1130 1133 1136 1139 1142 1145 1148 1151 1154 1157 1160 1163 1166 1170 1174 1178 1182 1186 1190 1194 1198 1202 1206 1210 1214 1218 1222 1226 1233 1239 1242 1245 1248 1251 1254 1257 1260 1263 1266 1269 1272 1275 1278 1281 1284 1287 1290 1293 1296 1299 1302 1305 1308 1311 1314 1317 1320 1323 1326 1329 1332 1335 1338 1341 1344 1347 1350 1352 1354 1356 1358 1360 1362 1364 1366 1368 1370 1372 1374 1376 1378 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1396 1398 1400 1402 1404 1406 1408 1410 1412 1414 1416 1418 1420 1422 1427 1431 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1484 1486 1488 1490 1492 1494 1496 1498 1500 1502 1504 1506 1508 1510 1512 1514 1516 1518 1520 1522 1524 1526 1528 1530 1533 1536 1539 1541 1544 1546 1549 1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1600 1604 1608 1611 1615 1618 1621 1626 1630 1633 1636 1639 1643 1647 1650 1653 1655 1658 1662 1666 1668 1673 1679 1684 1687 1692 1697 1701 1704 1707 1710 1714 1719 1723 1726 1729 1732 1734 1736 1738 1740 1743 1746 1751 1754 1758 1763 1766 1768 1770 1775 1779 1784 1787 1792 1794 1797 1800 1803 1806 1809 1813 1816 1818 1821 1824 1827 1831 1834 1837 1840 1845 1849 1851 1856 1858 1862 1866 1869 1872 1875 1879 1881 1884 1888 1890 1895 1898 1900 1902 1904 1906 1908 1910 1912 1914 1916 1918 1921 1924 1927 1930 1933 1936 1939 1942 1945 1948 1951 1954 1957 1960 1963 1966 1968 1970 1973 1975 1977 1979 1982 1985 1987 1989 1991 1993 1995 1999 2001 2003 2005 2007 2009 2011 2013 2015 2018 2022 2024 2026 2028 2030 2032 2034 2036 2039 2042 2045 2048 2050 2052 2054 2056 2058 2060 2062 2064 2066 2068 2071 2074 2076 2079 2082 2085 2087 2090 2093 2097 2099 2102 2105 2108 2111 2116 2122 2124 2126 2128 2130 2132 2134 2136 2138 2140 2142 2144 2146 2148 2150 2152 2154 2156 2158 2162 2164 2166 2168 2172 2175 2177 2179 2181 2183 2185 2187 2189 2191 2193 2195 2198 2200 2202 2205 2208 2210 2214 2217 2219 2221 2223 2225 2228 2231 2233 2235 2237 2239 2241 2243 2245 2247 2249 2252 2255 2258 2261 2264 2267 2270 2273 2276 2279 2282 2285 2288 2291 2294 2297 2300 2303 2306 2309 2312 2315 2318 2320 2322 2324 2327 2330 2332 2334 2336 2338 2340 2342 2344 2345 2346 2347 2348 2349 2350 2351 2352 2353 2354 2356 2357 2358 2359 2360 2361 2362 2363 2364 2365 2366 2367 2368 2369 2370 2371 2372 2373 2374 2375 2376 2377 2378 2379 2380 2381 2382 2383 2384 2385 2386 2387 2388 2389 2390 2391 2392 2393 2394 2395 2396 2397 2398 2399 2400 2401 2402 2403 2404 2405 2406 2407 2408 2409 2410 2411 2412 2413 2414 2415 2416 2417 2418 2419 2420 2421 2422 2423 2424 2425 2426 2427 2428 2429 2430 2431 2432 2433 2434 2435 2436 2437 2438 2439 2440 2441 2442 2443 2444 2445 2446 2447 2448 2449 2450 2451 2452 2453 2454 2455 2456 2457 2458 2459 2460 2461 2462 2463 2464 2465 2466 2467 2468 2469 2470 2471 2472 2473 2474 2475 2476 2477 2479 2481 2483 2485 2487 2489 2491 2493 2495 2497 2499 2501 2503 2505 2507 2509 2511 2513 2514 2515 2516 2517 2519 2521 2523 2525 2527 2529 2531 2533 2535 2537 2539 2541 2543 2545 2547 2549 2551 2553 2555 2557 2559 2561 2563 2565 2567 2569 2571 2573 2575 2577 2579 2581 2583 2585 2587 2589 2591 2593 2595 2597 2599 2601 2603 2605 2607 2609 2611 2613 2615 2617 2619 2621 2623 2625 2627 2629 2631 2633 2635 2637 2639 2641 2643 2645 2647 2649 2651 2653 2655 2657 2659 2661 2663 2665 2667 2669 2671 2673 2675 2677 2679 2681 2683 2685 2687 2689 2691 2693 2695 2697 2699 2701 2703 2705 2708 2711 2714 2717 2720 2723 2725 2727 2729 2731 2733 2735 2737 2739 2741 2743 2745 2747 2749 2751 2753 2755 2757 2759 2761 2763 2765 2767 2769 2771 2773 2775 2777 2779 2781 2783 2785 2787 2789 2791 2793 2795 2797 2799 2801 2803 2805 2807 2809 2811 2813 2815 2817 2819 2821 2823 2825 2827 2829 2831 2833 2835 2837 2839 2841 2843 2845 2847 2849 2851 2853 2855 2857 2859 2861 2863 2865 2867 2869 2871 2873 2875 2877 2879 2881 2883 2885 2887 2889 2891 2893 2895 2897 2899 2901 2903 2905 2907 2909 2911 2913 2915 2917 2919 2921 2923 2925 2927 2929 2931 2933 2935 2937 2939 2941 2943 2945 2947 2949 2951 2953 2955 2957 2959 2961 2963 2965 2967 2969 2971 2973 2975 2977 2979 2981 2983 2985 2987 2989 2991 2993 2995 2997 2999 3001 3003 3005 3007 3010 3013 3016 3018 3020 3022 3024 3026 3028 3030 3032 3034 3036 3038 3040 3042 3044 3046 3048 3050 3052 3054 3056 3058 3060 3062 3064 3066 3068 3070 3072 3074 3076 3078 3080 3082 3084 3086 3088 3090 3092 3094 3096 3098 3100 3102 3104 3106 3108 3110 3112 3114 3116 3118 3120 3122 3124 3126 3128 3130 3132 3134 3136 3138 3140 3142 3144 3146 3148 3150 3152 3154 3156 3158 3160 3162 3165 3168 3171 3174 3177 3180 3183 3186 3189 3192 3195 3198 3201 3204 3207 3210 3213 3216 3219 3222 3225 3228 3231 3234 3237 3240 3243 3246 3249 3252 3255 3258 3261 3264 3267 3270 3273 3276 3279 3282 3285 3288 3291 3294 3297 3300 3303 3306 3309 3312 3315 3318 3321 3324 3327 3330 3333 3336 3339 3342 3345 3348 3351 3354 3357 3360 3363 3366 3369 3372 3375 3378 3381 3384 3387 3390 3393 3396 3399 3402 3405 3408 3411 3414 3417 3420 3423 3426 3429 3432 3435 3438 3441 3444 3447 3450 3453 3456 3459 3462 3465 3468 3471 3474 3477 3480 3483 3486 3489 3492 3495 3498 3501 3504 3507 3510 3513 3516 3519 3522 3526 3530 3534 3538 3542 3546 3550 3553 3571 3579 3583 3584 3585 3586 3587 3588 3589 3590 3591 3592 3593 3594 3595 3596 3597 3598 3599 3600 3601 3602 3603 3604 3605 3606 3607 3608 3609 3610 3611 3612 3613 3614 3615 3616 3617 3618 3619 3620 3621 3622 3623 3624 3625 3626 3627 3628 3629 3630 3631 3632 3633 3634 3635 3636 3637 3638 3639 3640 3641 3642 3643 3644 3645 3646 3647 3648 3649 3651 3653 3655 3657 3659 3661 3663 3665 3667 3669 3671 3673 3675 3677 3678 3679 3680 3681 3682 3683 3684 3685 3686 3687 3688 3689 3690 3691 3692 3693 3694 3695 3696 3697 3698 3699 3700 3701 3702 3703 3704 3705 3706 3707 3708 3709 3710 3711 3712 3713 3714 3715 3716 3717 3718 3719 3720 3721 3722 3723 3724 3725 3726 3727 3728 3729 3730 3731 3732 3733 3734 3735 3736 3737 3738 3739 3740 3741 3742 3743 3744 3745 3746 3747 3748 3749 3750 3751 3752 3753 3754 3755 3756 3757 3758 3759 3760 3761 3762 3763 3764 3765 3766 3767 3768 3769 3770 3771 3772 3773 3774 3775 3776 3777 3778 3779 3780 3781 3782 3783 3784 3785 3786 3787 3788 3789 3790 3791 3792 3793 3794 3796 3798 3800 3802 3804 3806 3808 3810 3811 3812 3813 3814 3815 3816 3817 3818 3819 3820 3821 3822 3823 3824 3825 3826 3827 3828 3829 3830 3831 3832 3833 3834 3835 3836 3837 3838 3839 3840 3841 3842 3843 3844 3845 3846 3847 3848 3849 3850 3851 3852 3853 3854 3855 3856 3857 3858 3859 3860 3861 3862 3863 3864 3865 3866 3867 3868 3869 3870 3871 3872 3873 3874 3875 3876 3877 3878 3879 3880 3881 3882 3883 3884 3885 3886 3887 3888 3889 3890 3891 3892 3893 3894 3895 3896 3897 3898 3899 3900 3901 3902 3903 3904 3905 3906 3907 3908 3909 3910 3911 3912 3913 3914 3915 3916 3917 3918 3919 3920 3921 3922 3923 3924 3925 3926 3927 3928 3929 3930 3931 3932 3933 3934 3935 3936 3937 3938 3939 3940 3941 3942 3943 3944 3945 3946 3947 3948 3949 3950 3951 3952 3953 3954 3955 3956 3957 3958 3959 3960 3961 3962 3963 3964 3965 3966 3967 3968 3969 3970 3971 3972 3973 3974 3975 3976 3977 3978 3979 3980 3981 3982 3983 3984 3985 3986 3987 3988 3989 3990 3991 3992 3993 3994 3995 3996 3997 3998 3999 4000 4001 4002 4003 4004 4005 4006 4007 4008 4009 4010 4011 4012 4013 4014 4015 4016 4017 4018 4019 4020 4021 4022 4023 4024 4025 4026 4027 4028 4029 4030 4031 4032 4033 4034 4035 4036 4037 4038 4039 4040 4041 4042 4043 4044 4045 4046 4047 4048 4049 4050 4051 4052 4053 4054 4055 4056 4057 4058 4059 4060 4061 4062 4063 4064 4065 4066 4067 4068 4069 4070 4071 4072 4073 4074 4075 4076 4077 4078 4079 4080 4081 4082 4083 4084 4085 4086 4087 4088 4089 4090 4091 4092 4093 4094 4095 4096 4097 4098 4099 4100 4101 4102 4103 4104 4105 4106 4107 4108 4109 4110 4111 4112 4113 4114 4115 4116 4117 4118 4119 4120 4121 4122 4123 4124 4125 4126 4127 4128 4129 4130 4131 4132 4133 4134 4135 4136 4137 4138 4139 4140 4141 4142 4143 4144 4145 4146 4147 4148 4149 4150 4151 4152 4153 4154 4155 4156 4157 4158 4159 4160 4161 4162 4163 4164 4165 4166 4167 4168 4169 4170 4171 4172 4173 4174 4175 4176 4177 4178 4179 4180 4181 4182 4183 4184 4185 4186 4187 4188 4189 4190 4191 4192 4193 4194 4195 4196 4197 4198 4199 4200 4201 4202 4203 4204 4205 4206 4207 4208 4209 4210 4211 4212 4213 4214 4215 4216 4217 4218 4219 4220 4221 4222 4223 4224 4225 4226 4227 4228 4229 4230 4231 4232 4233 4234 4235 4236 4237 4238 4239 4240 4241 4242 4243 4244 4245 4246 4247 4248 4249 4250 4251 4252 4253 4254 4255 4256 4257 4258 4259 4260 4261 4262 4263 4264 4265 4266 4267 4268 4269 4270 4271 4272 4273 4274 4275 4276 4277 4278 4279 4280 4281 4282 4283 4284 4285 4286 4287 4288 4289 4290 4291 4292 4293 4294 4295 4296 4297 4298 4299 4300 4301 4302 4303 4304 4305 4306 4307 4308 4309 4310 4311 4312 4313 4314 4315 4316 4317 4318 4319 4320 4321 4322 4323 4324 4325 4326 4327 4328 4329 4330 4331 4332 4333 4334 4335 4336 4337 4338 4339 4340 4341 4342 4343 4344 4345 4346 4347 4348 4349 4350 4351 4352 4353 4354 4355 4356 4357 4358 4359 4360 4361 4362 4363 4364 4365 4366 4367 4368 4369 4370 4371 4372 4373 4374 4375 4376 4377 4378 4379 4380 4381 4382 4383 4384 4385 4386 4387 4388 4389 4390 4391 4392 4393 4394 4395 4396 4397 4398 4399 4400 4401 4402 4403 4404 4405 4406 4407 4408 4409 4410 4411 4412 4413 4414 4415 4416 4417 4418 4419 4420 4421 4422 4423 4424 4425 4426 4427 4428 4429 4430 4431 4432 4433 4434 4435 4436 4437 4438 4439 4440 4441 4442 4443 4444 4445 4446 4447 4448 4449 4450 4451 4452 4453 4454 4455 4456 4457 4458 4459 4460 4461 4462 4463 4464 4465 4466 4467 4468 4469 4470 4471 4472 4473 4474 4475 4476 4477 4478 4479 4480 4481 4482 4483 4484 4485 4486 4487 4488 4489 4490 4491 4492 4493 4494 4495 4496 4497 4498 4499 4500 4501 4502 4503 4504 4505 4506 4507 4508 4509 4510 4511 4512 4513 4514 4515 4516 4517 4518 4519 4520 4521 4522 4523 4524 4525 4526 4527 4528 4529 4530 4531 4532 4533 4534 4535 4536 4537 4538 4539 4540 4541 4542 4543 4544 4545 4546 4547 4548 4549 4550 4551 4552 4553 4554 4555 4556 4557 4558 4559 4560 4561 4562 4563 4564 4565 4566 4567 4568 4569 4570 4571 4572 4573 4574 4575 4576 4577 4578 4579 4580 4581 4582 4583 4584 4585 4586 4587 4588 4589 4590 4591 4592 4593 4594 4595 4596 4597 4598 4599 4600 4601 4602 4603 4604 4605 4606 4607 4608 4609 4610 4611 4612 4613 4614 4615 4616 4617 4618 4619 4620 4621 4622 4623 4624 4625 4626 4627 4628 4629 4630 4631 4632 4633 4634 4635 4636 4637 4638 4639 4640 4641 4642 4643 4644 4645 4646 4647 4648 4649 4650 4651 4652 4653 4654 4655 4656 4657 4658 4659 4660 4661 4662 4663 4664 4665 4666 4667 4668 4669 4670 4671 4672 4673 4674 4675 4676 4677 4678 4679 4680 4681 4682 4683 4684 4685 4686 4687 4688 4689 4690 4691 4692 4693 4694 4695 4696 4697 4698 4699 4700 4701 4702 4703 4704 4705 4706 4707 4708 4709 4710 4711 4712 4713 4714 4715 4716 4717 4718 4719 4720 4721 4722 4723 4724 4725 4726 4727 4728 4729 4730 4731 4732 4733 4734 4735 4736 4737 4738 4739 4740 4741 4742 4743 4744 4745 4746 4747 4748 4749 4750 4751 4752 4753 4754 4755 4756 4757 4758 4759 4760 4761 4762 4763 4764 4765 4766 4767 4768 4769 4770 4771 4772 4773 4774 4775 4776 4777 4778 4779 4780 4781 4782 4783 4784 4785 4786 4787 4788 4789 4790 4791 4792 4793 4794 4795 4796 4797 4798 4799 4800 4801 4802 4803 4804 4805 4806 4807 4808 4809 4810 4811 4812 4813 4814 4815 4816 4817 4818 4819 4820 4821 4822 4823 4824 4825 4826 4827 4828 4829 4830 4831 4832 4833 4834 4835 4836 4837 4838 4839 4840 4841 4842 4843 4844 4845 4846 4847 4848 4849 4850 4851 4852 4853 4854 4855 4856 4857 4858 4859 4860 4861 4862 4863 4864 4865 4866 4867 4868 4869 4870 4871 4872 4873 4874 4875 4876 4877 4878 4879 4880 4881 4882 4883 4884 4885 4886 4887 4888 4889 4890 4891 4892 4893 4894 4895 4896 4897 4898 4899 4900 4901 4902 4903 4904 4905 4906 4907 4908 4909 4910 4911 4912 4913 4914 4915 4916 4917 4918 4919 4920 4921 4922 4923 4924 4925 4926 4927 4928 4929 4930 4931 4932 4933 4934 4935 4936 4937 4938 4939 4940 4941 4942 4943 4944 4945 4946 4947 4948 4949 4950 4951 4952 4953 4954 4955 4956 4957 4958 4959 4960 4961 4962 4963 4964 4965 4966 4967 4968 4969 4970 4971 4972 4973 4974 4975 4976 4977 4978 4979 4980 4981 4982 4983 4984 4985 4986 4987 4988 4989 4990 4991 4992 4993 4994 4995 4996 4997 4998 4999 5000 5001 5002 5003 5004 5005 5006 5007 5008 5009 5010 5011 5012 5013 5014 5015 5016 5017 5018 5019 5020 5021 5022 5023 5024 5025 5026 5027 5028 5029 5030 5031))

(define *composition-scalar-values* '#(192 200 204 504 210 217 7808 7922 224 232 236 505 242 249 7809 7923 8173 7846 7872 7890 475 7847 7873 7891 476 7856 7857 7700 7701 7760 7761 7900 7901 7914 7915 8122 8136 8138 8154 8184 8170 8186 8048 8050 8052 8054 8056 8058 8060 8146 8162 1024 1037 1104 1117 7938 7939 7946 7947 7954 7955 7962 7963 7970 7971 7978 7979 7986 7987 7994 7995 8002 8003 8010 8011 8018 8019 8027 8034 8035 8042 8043 8141 8157 193 262 201 500 205 7728 313 7742 323 211 7764 340 346 218 7810 221 377 225 263 233 501 237 7729 314 7743 324 243 7765 341 347 250 7811 253 378 901 7844 506 508 7688 7870 7726 7888 7756 510 471 7845 507 509 7689 7871 7727 7889 7757 511 472 7854 7855 7702 7703 7762 7763 7800 7801 7898 7899 7912 7913 836 902 904 905 906 908 910 911 940 941 942 943 972 973 974 912 944 979 1027 1036 1107 1116 7940 7941 7948 7949 7956 7957 7964 7965 7972 7973 7980 7981 7988 7989 7996 7997 8004 8005 8012 8013 8020 8021 8029 8036 8037 8044 8045 8142 8158 194 264 202 284 292 206 308 212 348 219 372 374 7824 226 265 234 285 293 238 309 244 349 251 373 375 7825 7852 7853 7878 7879 7896 7897 195 7868 296 209 213 360 7804 7928 227 7869 297 241 245 361 7805 7929 7850 7876 7894 7851 7877 7895 7860 7861 7904 7905 7918 7919 256 274 7712 298 332 362 562 257 275 7713 299 333 363 563 478 482 556 554 469 479 483 557 555 470 492 493 480 481 560 561 8121 8153 8169 8113 8145 8161 1250 1262 1251 1263 7736 7737 7772 7773 258 276 286 300 334 364 259 277 287 301 335 365 7708 7709 8120 8152 8168 8112 8144 8160 1232 1238 1217 1049 1038 1233 1239 1218 1081 1118 7862 7863 550 7682 266 7690 278 7710 288 7714 304 7744 7748 558 7766 7768 7776 7786 7814 7818 7822 379 551 7683 267 7691 279 7711 289 7715 7745 7749 559 7767 7769 7777 7787 7815 7819 7823 380 7780 7781 7782 7783 7835 7784 7785 196 203 7718 207 214 220 7812 7820 376 228 235 7719 239 246 7831 252 7813 7821 255 7758 7759 7802 7803 938 939 970 971 980 1031 1234 1025 1244 1246 1252 1254 1264 1268 1272 1260 1235 1105 1245 1247 1253 1255 1265 1269 1273 1261 1111 1242 1243 1258 1259 7842 7866 7880 7886 7910 7926 7843 7867 7881 7887 7911 7927 7848 7874 7892 7849 7875 7893 7858 7859 7902 7903 7916 7917 197 366 229 367 7832 7833 336 368 337 369 1266 1267 461 268 270 282 486 542 463 488 317 327 465 344 352 356 467 381 462 269 271 283 487 543 464 496 489 318 328 466 345 353 357 468 382 473 474 494 495 512 516 520 524 528 532 513 517 521 525 529 533 1142 1143 514 518 522 526 530 534 515 519 523 527 531 535 7944 7960 7976 7992 8008 8040 7936 7952 7968 7984 8000 8164 8016 8032 7945 7961 7977 7993 8009 8172 8025 8041 7937 7953 7969 7985 8001 8165 8017 8033 416 431 417 432 7840 7684 7692 7864 7716 7882 7730 7734 7746 7750 7884 7770 7778 7788 7908 7806 7816 7924 7826 7841 7685 7693 7865 7717 7883 7731 7735 7747 7751 7885 7771 7779 7789 7909 7807 7817 7925 7827 7906 7907 7920 7921 7794 7795 7680 7681 536 538 537 539 199 7696 552 290 7720 310 315 325 342 350 354 231 7697 553 291 7721 311 316 326 343 351 355 260 280 302 490 370 261 281 303 491 371 7698 7704 7740 7754 7792 7798 7699 7705 7741 7755 7793 7799 7722 7723 7706 7724 7796 7707 7725 7797 7686 7694 7732 7738 7752 7774 7790 7828 7687 7695 7830 7733 7739 7753 7775 7791 7829 8814 8800 8815 8602 8603 8622 8653 8655 8654 8708 8713 8716 8740 8742 8769 8772 8775 8777 8813 8802 8816 8817 8820 8821 8824 8825 8832 8833 8928 8929 8836 8837 8840 8841 8930 8931 8876 8877 8878 8879 8938 8939 8940 8941 8129 8118 8134 8150 8166 8182 8151 8167 7942 7943 7950 7951 7974 7975 7982 7983 7990 7991 7998 7999 8022 8023 8031 8038 8039 8046 8047 8143 8159 8124 8140 8188 8116 8132 8115 8131 8179 8180 8064 8065 8066 8067 8068 8069 8070 8071 8072 8073 8074 8075 8076 8077 8078 8079 8080 8081 8082 8083 8084 8085 8086 8087 8088 8089 8090 8091 8092 8093 8094 8095 8096 8097 8098 8099 8100 8101 8102 8103 8104 8105 8106 8107 8108 8109 8110 8111 8114 8130 8178 8119 8135 8183 1570 1571 1572 1574 1730 1747 1728 1573 2345 2353 2356 2507 2508 2891 2888 2892 3018 3019 2964 3020 3144 3274 3264 3271 3275 3272 3402 3403 3404 3546 3549 3548 3550 3955 3957 3969 4134 6918 6920 6922 6924 6926 6930 6971 6973 6976 6977 6979 12436 12364 12366 12368 12370 12372 12374 12376 12378 12380 12382 12384 12386 12389 12391 12393 12400 12403 12406 12409 12412 12446 12532 12460 12462 12464 12466 12468 12470 12472 12474 12476 12478 12480 12482 12485 12487 12489 12496 12499 12502 12505 12508 12535 12536 12537 12538 12542 12401 12404 12407 12410 12413 12497 12500 12503 12506 12509))
(define *composition-encodings* '#(50331713 50331717 50331721 50331726 50331727 50331733 50331735 50331737 50331745 50331749 50331753 50331758 50331759 50331765 50331767 50331769 50331816 50331842 50331850 50331860 50331868 50331874 50331882 50331892 50331900 50331906 50331907 50331922 50331923 50331980 50331981 50332064 50332065 50332079 50332080 50332561 50332565 50332567 50332569 50332575 50332581 50332585 50332593 50332597 50332599 50332601 50332607 50332613 50332617 50332618 50332619 50332693 50332696 50332725 50332728 50339584 50339585 50339592 50339593 50339600 50339601 50339608 50339609 50339616 50339617 50339624 50339625 50339632 50339633 50339640 50339641 50339648 50339649 50339656 50339657 50339664 50339665 50339673 50339680 50339681 50339688 50339689 50339775 50339838 50397249 50397251 50397253 50397255 50397257 50397259 50397260 50397261 50397262 50397263 50397264 50397266 50397267 50397269 50397271 50397273 50397274 50397281 50397283 50397285 50397287 50397289 50397291 50397292 50397293 50397294 50397295 50397296 50397298 50397299 50397301 50397303 50397305 50397306 50397352 50397378 50397381 50397382 50397383 50397386 50397391 50397396 50397397 50397400 50397404 50397410 50397413 50397414 50397415 50397418 50397423 50397428 50397429 50397432 50397436 50397442 50397443 50397458 50397459 50397516 50397517 50397544 50397545 50397600 50397601 50397615 50397616 50397960 50398097 50398101 50398103 50398105 50398111 50398117 50398121 50398129 50398133 50398135 50398137 50398143 50398149 50398153 50398154 50398155 50398162 50398227 50398234 50398259 50398266 50405120 50405121 50405128 50405129 50405136 50405137 50405144 50405145 50405152 50405153 50405160 50405161 50405168 50405169 50405176 50405177 50405184 50405185 50405192 50405193 50405200 50405201 50405209 50405216 50405217 50405224 50405225 50405311 50405374 50462785 50462787 50462789 50462791 50462792 50462793 50462794 50462799 50462803 50462805 50462807 50462809 50462810 50462817 50462819 50462821 50462823 50462824 50462825 50462826 50462831 50462835 50462837 50462839 50462841 50462842 50470560 50470561 50470584 50470585 50470604 50470605 50528321 50528325 50528329 50528334 50528335 50528341 50528342 50528345 50528353 50528357 50528361 50528366 50528367 50528373 50528374 50528377 50528450 50528458 50528468 50528482 50528490 50528500 50528514 50528515 50528672 50528673 50528687 50528688 50593857 50593861 50593863 50593865 50593871 50593877 50593881 50593889 50593893 50593895 50593897 50593903 50593909 50593913 50593988 50593990 50594005 50594006 50594012 50594020 50594022 50594037 50594038 50594044 50594282 50594283 50594342 50594343 50594350 50594351 50594705 50594713 50594725 50594737 50594745 50594757 50594840 50594851 50594872 50594883 50601526 50601527 50601562 50601563 50724929 50724933 50724935 50724937 50724943 50724949 50724961 50724965 50724967 50724969 50724975 50724981 50725416 50725417 50725777 50725785 50725797 50725809 50725817 50725829 50725904 50725909 50725910 50725912 50725923 50725936 50725941 50725942 50725944 50725955 50732704 50732705 50790465 50790466 50790467 50790468 50790469 50790470 50790471 50790472 50790473 50790477 50790478 50790479 50790480 50790482 50790483 50790484 50790487 50790488 50790489 50790490 50790497 50790498 50790499 50790500 50790501 50790502 50790503 50790504 50790509 50790510 50790511 50790512 50790514 50790515 50790516 50790519 50790520 50790521 50790522 50790746 50790747 50790752 50790753 50790783 50798178 50798179 50856001 50856005 50856008 50856009 50856015 50856021 50856023 50856024 50856025 50856033 50856037 50856040 50856041 50856047 50856052 50856053 50856055 50856056 50856057 50856149 50856181 50856298 50856299 50856857 50856869 50856889 50856901 50856914 50856966 50856976 50856981 50856982 50856983 50856984 50856990 50856995 50856999 50857003 50857005 50857008 50857013 50857014 50857015 50857016 50857022 50857027 50857031 50857035 50857037 50857046 50857176 50857177 50857192 50857193 50921537 50921541 50921545 50921551 50921557 50921561 50921569 50921573 50921577 50921583 50921589 50921593 50921666 50921674 50921684 50921698 50921706 50921716 50921730 50921731 50921888 50921889 50921903 50921904 50987073 50987093 50987105 50987125 50987127 50987129 51052623 51052629 51052655 51052661 51053603 51053635 51118145 51118147 51118148 51118149 51118151 51118152 51118153 51118155 51118156 51118158 51118159 51118162 51118163 51118164 51118165 51118170 51118177 51118179 51118180 51118181 51118183 51118184 51118185 51118186 51118187 51118188 51118190 51118191 51118194 51118195 51118196 51118197 51118202 51118300 51118332 51118519 51118738 51314753 51314757 51314761 51314767 51314770 51314773 51314785 51314789 51314793 51314799 51314802 51314805 51315828 51315829 51445825 51445829 51445833 51445839 51445842 51445845 51445857 51445861 51445865 51445871 51445874 51445877 51577745 51577749 51577751 51577753 51577759 51577769 51577777 51577781 51577783 51577785 51577791 51577793 51577797 51577801 51643281 51643285 51643287 51643289 51643295 51643297 51643301 51643305 51643313 51643317 51643319 51643321 51643327 51643329 51643333 51643337 52101199 52101205 52101231 52101237 52625473 52625474 52625476 52625477 52625480 52625481 52625483 52625484 52625485 52625486 52625487 52625490 52625491 52625492 52625493 52625494 52625495 52625497 52625498 52625505 52625506 52625508 52625509 52625512 52625513 52625515 52625516 52625517 52625518 52625519 52625522 52625523 52625524 52625525 52625526 52625527 52625529 52625530 52625824 52625825 52625839 52625840 52691029 52691061 52756545 52756577 52822099 52822100 52822131 52822132 52887619 52887620 52887621 52887623 52887624 52887627 52887628 52887630 52887634 52887635 52887636 52887651 52887652 52887653 52887655 52887656 52887659 52887660 52887662 52887666 52887667 52887668 52953153 52953157 52953161 52953167 52953173 52953185 52953189 52953193 52953199 52953205 53280836 53280837 53280844 53280846 53280852 53280853 53280868 53280869 53280876 53280878 53280884 53280885 53346376 53346408 53477445 53477449 53477461 53477477 53477481 53477493 53542978 53542980 53542987 53542988 53542990 53542994 53542996 53543002 53543010 53543012 53543016 53543019 53543020 53543022 53543026 53543028 53543034 54001724 54001725 54001726 54010256 54010258 54010260 54010320 54010322 54010324 54010371 54010376 54010379 54010403 54010405 54010428 54010435 54010437 54010440 54010445 54010465 54010468 54010469 54010482 54010483 54010486 54010487 54010490 54010491 54010492 54010493 54010498 54010499 54010502 54010503 54010513 54010514 54010530 54010536 54010537 54010539 54010546 54010547 54010548 54010549 54657192 54657969 54657975 54657977 54657989 54657993 54657994 54657995 54664960 54664961 54664968 54664969 54664992 54664993 54665000 54665001 54665008 54665009 54665016 54665017 54665040 54665041 54665049 54665056 54665057 54665064 54665065 54665151 54665214 54854545 54854551 54854569 54854572 54854574 54854577 54854583 54854601 54854606 54861568 54861569 54861570 54861571 54861572 54861573 54861574 54861575 54861576 54861577 54861578 54861579 54861580 54861581 54861582 54861583 54861600 54861601 54861602 54861603 54861604 54861605 54861606 54861607 54861608 54861609 54861610 54861611 54861612 54861613 54861614 54861615 54861664 54861665 54861666 54861667 54861668 54861669 54861670 54861671 54861672 54861673 54861674 54861675 54861676 54861677 54861678 54861679 54861680 54861684 54861692 54861750 54861766 54861814 106104359 106169895 106169928 106169930 106170049 106170066 106170069 106235431 154929448 154929456 154929459 163449287 165087687 188615495 190188359 190253895 197004230 197004231 198642578 198642630 206965830 214043846 215289023 215289030 215289034 215354566 222170438 222170439 223808838 231345625 231345628 231673305 232721881 259133297 259264369 260050801 271454245 456465157 456465159 456465161 456465163 456465165 456465169 456465210 456465212 456465214 456465215 456465218 815345734 815345739 815345741 815345743 815345745 815345747 815345749 815345751 815345753 815345755 815345757 815345759 815345761 815345764 815345766 815345768 815345775 815345778 815345781 815345784 815345787 815345821 815345830 815345835 815345837 815345839 815345841 815345843 815345845 815345847 815345849 815345851 815345853 815345855 815345857 815345860 815345862 815345864 815345871 815345874 815345877 815345880 815345883 815345903 815345904 815345905 815345906 815345917 815411311 815411314 815411317 815411320 815411323 815411407 815411410 815411413 815411416 815411419))