;;;
;;; Copyright (C) 1994 by Istituto per la Ricerca Scientifica e Tecnologica 
;;; (IRST) (38050 Povo, Trento Italy) and the Trustees of the University 
;;; of Rochester (Rochester, NY 14627, USA).  All rights reserved.

(5663142 (:M) #*011001011001011001101010) 
(10119590 (:B) #*011001011001011001011001) 
(14913080 (:A) #*000111000111000111000111) 
(14768533 (:E)                             #*101010011001101010000111) 
(14838165 (:S) #*101010011001011001000111) 
(14768568 (:F) #*000111011001101010000111) 
(14838200 (:D) #*000111011001011001000111) 
(14838182 (:O) #*011001011001011001000111) 
(14911928 (:O-) #*000111011001000111000111) 
(14768550 (:F-)                            #*011001011001101010000111) 
(14910840 (:M-) #*000111101010000111000111) 
(14911910 (:D-) #*011001011001000111000111) 
(14911893 (:S-) #*101010011001000111000111) 
(14698901 (:E :S)                          #*101010011001001000000111) 
(14748053 (:E :S-)                         #*101010011001000010000111) 
(14813589 (:S :S-)                         #*101010011001000001000111) 
(14682517 (:E :S :S-)                      #*101010011001000000000111) 
(1206694 (:M :B)                           #*011001011001011001001000) 
(14698918 (:F- :O)                         #*011001011001001000000111) 
(14748070 (:F- :D-)                        #*011001011001000010000111) 
(14813606 (:O :D-)                         #*011001011001000001000111) 
(14682534 (:F- :O :D-)                     #*011001011001000000000111) 
(4352422 (:M :O)                           #*011001011001011001000010) 
(4213158 (:M :F- :O) #*011001011001001000000010) 
(4327846 (:M :O :D-) #*011001011001000001000010) 
(4196774 (:M :F- :O :D-) #*011001011001000000000010) 
(8546726 (:B :O) #*011001011001011001000001) 
(8407462 (:B :F- :O) #*011001011001001000000001) 
(8522150 (:B :O :D-) #*011001011001000001000001) 
(8391078 (:B :F- :O :D-) #*011001011001000000000001) 
(158118 (:M :B :O) #*011001011001011001000000) 
(18854 (:M :B :F- :O) #*011001011001001000000000) 
(133542 (:M :B :O :D-)                     #*011001011001000001000000) 
(2470 (:M :B :F- :O :D-)                   #*011001011001000000000000) 
(14768516 (:E :F-)                         #*001000011001101010000111)
(14838148 (:S :O) #*001000011001011001000111) 
(14698884 (:E :S :F- :O) #*001000011001001000000111) 
(14911876 (:S- :D-) #*001000011001000111000111) 
(14748036 (:E :S- :F- :D-) #*001000011001000010000111) 
(14813572 (:S :S- :O :D-) #*001000011001000001000111) 
(14682500 (:E :S :S- :F- :D- :O) #*001000011001000000000111)
(4352388 (:S :M :O) #*001000011001011001000010) 
(4213124 (:S :M :F- :O) #*001000011001001000000010) 
(4327812 (:S :S- :M :O :D-) #*001000011001000001000010) 
(4196740 (:E :S :S- :M :F- :O :D-) #*001000011001000000000010) 
(8546692 (:S :B :O) #*001000011001011001000001) 
(8407428 (:E :S :B :F- :O) #*001000011001001000000001) 
(8522116 (:S :S- :B :O :D-) #*001000011001000001000001) 
(8391044 (:E :S :S- :B :F- :O :D-) #*001000011001000000000001) 
(158084 (:S :M :B :O) #*001000011001011001000000) 
(18820 (:E :S :M :B :F- :O) #*001000011001001000000000) 
(133508 (:S :S- :M :B :O :D-) #*001000011001000001000000) 
(2436 (:E :S :S- :M :B :F- :O :D-) #*001000011001000000000000) 
(14698936 (:F :D) #*000111011001001000000111) 
(14748088 (:F :O-) #*000111011001000010000111) 
(14813624 (:D :O-) #*000111011001000001000111) 
(14682552 (:F :D :O-) #*000111011001000000000111) 
(14909752 (:M- :O-) #*000111001000000111000111) 
(14745912 (:M- :F :O-) #*000111001000000010000111) 
(14811448 (:M- :D :O-) #*000111001000000001000111) 
(14680376 (:M- :F :D :O-) #*000111001000000000000111) 
(14910520 (:M- :A) #*000111000010000111000111) 
(14911544 (:O- :A) #*000111000001000111000111) 
(14747704 (:F :O- :A) #*000111000001000010000111) 
(14813240 (:D :O- :A) #*000111000001000001000111) 
(14682168 (:F :D :O- :A) #*000111000001000000000111) 
(14909496 (:M- :O- :A) #*000111000000000111000111) 
(14745656 (:M- :F :O- :A) #*000111000000000010000111) 
(14811192 (:M- :D :O- :A) #*000111000000000001000111) 
(14680120 (:M- :F :D :O- :A) #*000111000000000000000111) 
(14768528 (:E :F) #*000010011001101010000111) 
(14838160 (:S :D) #*000010011001011001000111) 
(14698896 (:E :S :F :D) #*000010011001001000000111) 
(14911888 (:S- :O-) #*000010011001000111000111) 
(14748048 (:E :S- :F :O-) #*000010011001000010000111) 
(14813584 (:S :S- :D :O-) #*000010011001000001000111) 
(14682512 (:E :S :S- :F :D :O-) #*000010011001000000000111) 
(14909712 (:S- :M- :O-) #*000010001000000111000111) 
(14745872 (:E :S- :M- :F :O-) #*000010001000000010000111) 
(14811408 (:S :S- :M- :D :O-) #*000010001000000001000111) 
(14680336 (:E :S :S- :M- :F :D :O-) #*000010001000000000000111) 
(14911504 (:S- :O- :A) #*000010000001000111000111) 
(14747664 (:E :S- :F :O- :A) #*000010000001000010000111) 
(14813200 (:S :S- :D :O- :A) #*000010000001000001000111) 
(14682128 (:E :S :S- :F :D :O- :A) #*000010000001000000000111) 
(14909456 (:S- :M- :O- :A) #*000010000000000111000111) 
(14745616 (:E :S- :M- :F :O- :A) #*000010000000000010000111) 
(14811152 (:S :S- :M- :D :O- :A) #*000010000000000001000111) 
(14680080 (:E :S :S- :M- :F :D :O- :A) #*000010000000000000000111) 
(14768544 (:F- :F) #*000001011001101010000111) 
(14838176 (:O :D) #*000001011001011001000111) 
(14698912 (:F- :O :F :D) #*000001011001001000000111) 
(14911904 (:D- :O-) #*000001011001000111000111) 
(14748064 (:F- :D- :F :O-) #*000001011001000010000111) 
(14813600 (:O :D- :D :O-) #*000001011001000001000111) 
(14682528 (:F- :O :D- :F :D :O-) #*000001011001000000000111) 
(4352416 (:M :O :D) #*000001011001011001000010) 
(4213152 (:M :F- :O :F :D) #*000001011001001000000010) 
(4327840 (:M :O :D- :D :O-) #*000001011001000001000010) 
(4196768 (:M :F- :O :D- :F :D :O-) #*000001011001000000000010) 
(8546720 (:B :O :D) #*000001011001011001000001) 
(8407456 (:B :F- :O :F :D) #*000001011001001000000001) 
(8522144 (:B :O :D- :D :O-) #*000001011001000001000001) 
(8391072 (:B :F- :O :D- :F :D :O-) #*000001011001000000000001) 
(158112 (:M :B :O :D) #*000001011001011001000000) 
(18848 (:M :B :F- :O :F :D) #*000001011001001000000000) 
(133536 (:M :B :O :D- :D :O-) #*000001011001000001000000) 
(2464 (:M :B :F- :O :D- :F :D :O-) #*000001011001000000000000) 
(14909728 (:D- :M- :O-) #*000001001000000111000111) 
(14745888 (:F- :D- :M- :F :O-) #*000001001000000010000111) 
(14811424 (:O :D- :M- :D :O-) #*000001001000000001000111) 
(14680352 (:F- :O :D- :M- :F :D :O-) #*000001001000000000000111) 
(4325664 (:M :O :D- :M- :D :O-) #*000001001000000001000010) 
(4194592 (:M :F- :O :D- :M- :F :D :O-) #*000001001000000000000010) 
(8519968 (:B :O :D- :M- :D :O-) #*000001001000000001000001) 
(8388896 (:B :F- :O :D- :M- :F :D :O-) #*000001001000000000000001) 
(131360 (:M :B :O :D- :M- :D :O-) #*000001001000000001000000) 
(288 (:M :B :F- :O :D- :M- :F :D :O-) #*000001001000000000000000) 
(14911520 (:D- :O- :A) #*000001000001000111000111) 
(14747680 (:F- :D- :F :O- :A) #*000001000001000010000111) 
(14813216 (:O :D- :D :O- :A) #*000001000001000001000111) 
(14682144 (:F- :O :D- :F :D :O- :A) #*000001000001000000000111) 
(4327456 (:M :O :D- :D :O- :A) #*000001000001000001000010) 
(4196384 (:M :F- :O :D- :F :D :O- :A) #*000001000001000000000010) 
(8521760 (:B :O :D- :D :O- :A) #*000001000001000001000001) 
(8390688 (:B :F- :O :D- :F :D :O- :A) #*000001000001000000000001) 
(133152 (:M :B :O :D- :D :O- :A) #*000001000001000001000000) 
(2080 (:M :B :F- :O :D- :F :D :O- :A) #*000001000001000000000000) 
(14909472 (:D- :M- :O- :A) #*000001000000000111000111) 
(14745632 (:F- :D- :M- :F :O- :A) #*000001000000000010000111) 
(14811168 (:O :D- :M- :D :O- :A) #*000001000000000001000111) 
(14680096 (:F- :O :D- :M- :F :D :O- :A) #*000001000000000000000111) 
(4325408 (:M :O :D- :M- :D :O- :A) #*000001000000000001000010) 
(4194336 (:M :F- :O :D- :M- :F :D :O- :A) #*000001000000000000000010) 
(8519712 (:B :O :D- :M- :D :O- :A) #*000001000000000001000001) 
(8388640 (:B :F- :O :D- :M- :F :D :O- :A) #*000001000000000000000001) 
(131104 (:M :B :O :D- :M- :D :O- :A) #*000001000000000001000000) 
(32 (:M :B :F- :O :D- :M- :F :D :O- :A) #*000001000000000000000000) 
(14768512 (:E :F- :F) #*000000011001101010000111) 
(14838144 (:S :O :D) #*000000011001011001000111) 
(14698880 (:E :S :F- :O :F :D) #*000000011001001000000111) 
(14911872 (:S- :D- :O-) #*000000011001000111000111) 
(14748032 (:E :S- :F- :D- :F :O-) #*000000011001000010000111) 
(14813568 (:S :S- :O :D- :D :O-) #*000000011001000001000111) 
(14682496 (:E :S :S- :F- :O :D- :F :D :O-) #*000000011001000000000111) 
(4352384 (:S :M :O :D) #*000000011001011001000010) 
(4213120 (:E :S :M :F- :O :F :D) #*000000011001001000000010) 
(4327808 (:S :S- :M :O :D- :D :O-) #*000000011001000001000010) 
(4196736 (:E :S :S- :M :F- :O :D- :F :D :O-) #*000000011001000000000010) 
(8546688 (:S :B :O :D) #*000000011001011001000001) 
(8407424 (:E :S :B :F- :O :F :D) #*000000011001001000000001) 
(8522112 (:S :S- :B :O :D- :D :O-) #*000000011001000001000001) 
(8391040 (:E :S :S- :B :F- :O :D- :F :D :O-) #*000000011001000000000001) 
(158080 (:S :M :B :O :D) #*000000011001011001000000) 
(18816 (:E :S :M :B :F- :O :F :D) #*000000011001001000000000) 
(133504 (:S :S- :M :B :O :D- :D :O-) #*000000011001000001000000) 
(2432 (:E :S :S- :M :B :F- :O :D- :F :D :O-) #*000000011001000000000000) 
(14909696 (:S- :D- :M- :O-) #*000000001000000111000111) 
(14745856 (:E :S- :F- :D- :M- :F :O-) #*000000001000000010000111) 
(14811392 (:S :S- :O :D- :M- :D :O-) #*000000001000000001000111) 
(14680320 (:E :S :S- :F- :O :D- :M- :F :D :O-) #*000000001000000000000111) 
(4325632 (:S :S- :M :O :D- :M- :D :O-) #*000000001000000001000010) 
(4194560 (:E :S :S- :M :F- :O :D- :M- :F :D :O-) #*000000001000000000000010) 
(8519936 (:S :S- :B :O :D- :M- :D :O-) #*000000001000000001000001) 
(8388864 (:E :S :S- :B :F- :O :D- :M- :F :D :O-) #*000000001000000000000001) 
(131328 (:S :S- :M :B :O :D- :M- :D :O-) #*000000001000000001000000) 
(256 (:E :S :S- :M :B :F- :O :D- :M- :F :D :O-) #*000000001000000000000000) 
(14911488 (:S- :D- :O- :A) #*000000000001000111000111) 
(14747648 (:E :S- :F- :D- :F :O- :A) #*000000000001000010000111) 
(14813184 (:S :S- :O :D- :D :O- :A) #*000000000001000001000111) 
(14682112 (:E :S :S- :F- :O :D- :F :D :O- :A) #*000000000001000000000111) 
(4327424 (:S :S- :M :O :D- :D :O- :A) #*000000000001000001000010) 
(4196352 (:E :S :S- :M :F- :O :D- :F :D :O- :A) #*000000000001000000000010) 
(8521728 (:S :S- :B :O :D- :D :O- :A) #*000000000001000001000001) 
(8390656 (:E :S :S- :B :F- :O :D- :F :D :O- :A) #*000000000001000000000001) 
(133120 (:S :S- :M :B :O :D- :D :O- :A) #*000000000001000001000000) 
(2048 (:E :S :S- :M :B :F- :O :D- :F :D :O- :A) #*000000000001000000000000) 
(14909440 (:S- :D- :M- :O- :A) #*000000000000000111000111) 
(14745600 (:E :S- :F- :D- :M- :F :O- :A) #*000000000000000010000111) 
(14811136 (:S :S- :O :D- :M- :D :O- :A) #*000000000000000001000111) 
(14680064 (:E :S :S- :F- :O :D- :M- :F :D :O- :A) #*000000000000000000000111) 
(4325376 (:S :S- :M :O :D- :M- :D :O- :A) #*000000000000000001000010) 
(4194304 (:E :S :S- :M :F- :O :D- :M- :F :D :O- :A) #*000000000000000000000010) 
(8519680 (:S :S- :B :O :D- :M- :D :O- :A) #*000000000000000001000001) 
(8388608 (:E :S :S- :B :F- :O :D- :M- :F :D :O- :A) #*000000000000000000000001) 
(131072 (:S :S- :M :B :O :D- :M- :D :O- :A) #*000000000000000001000000) 
(0 (:E :S :S- :M :M- :F :F- :O :O- :D :D- :A :B) #*000000000000000000000000) 
