Date:     November 5, 1984 10:34:33 am PST
InType:   IFUPLA.PhAArgs
OutType:  IFUPLA.MicroState
Terms:    188

1 - --- - - -- - - - - - - - - - - - - - - - - - - - - - - | 0 0 0 0 1 00001111 0 00000000 0 0 0 0 1 1 1 1 00 00 00 0 0 0
0 1 --- - - -- - - - - - - - - - - - - - - - - - - - - - - | 0 0 0 0 1 00001110 0 00000000 0 0 0 0 1 1 1 1 00 00 00 0 0 0
0 0 001 - - -- - - - - - - - - - - - - - - - - - - - - - - | 0 0 0 0 1 00001100 0 00001000 0 1 0 0 1 1 1 1 00 00 00 0 0 0
0 0 010 - - -- - - - - - - - - - - - - - - - - - - - - - - | 0 0 0 0 1 00001100 0 00001000 0 1 0 0 1 1 1 1 00 00 00 0 0 0
0 0 011 - - -- - - - - - - - - - - - - - - - - - - - - - - | 0 0 0 0 1 00001100 0 00001000 0 1 0 0 1 1 1 1 00 00 00 0 0 0
0 0 100 - - -- - - - - - - - - - - - - - - - - - - - - - - | 0 0 0 0 1 00001100 0 00001000 0 1 0 0 1 1 1 1 00 00 00 0 0 0
0 0 101 - - -- - - - - - - - - - - - - - - - - - - - - - - | 0 0 0 0 1 00001100 0 00001000 0 1 0 0 1 1 1 1 00 00 00 0 0 0
0 0 110 - - -- - - - - - - - - - - - - - - - - - - - - - - | 0 0 0 0 1 00001100 0 00001000 0 1 0 0 1 1 1 1 00 00 00 0 0 0
0 0 111 - - -- - - - - - - - - - - - - - - - - - - - - - - | 0 0 0 0 1 00001100 0 00001000 0 1 0 0 1 1 1 1 00 00 00 0 0 0
0 0 000 1 - -- - - - - - - - - - - - - - - - - - - - - - - | 0 1 0 0 0 00000000 1 00000000 0 0 1 1 0 0 1 1 00 00 00 0 0 0
0 0 000 0 1 00 - - - - - - - - - - - - - - - - - - - - - - | 0 0 0 0 1 00001011 0 00010001 1 0 0 0 1 1 1 1 00 00 00 0 0 0
0 0 000 0 1 01 - - - - - - - - - - - - - - - - - - - - - - | 0 0 0 0 1 00001010 0 00000000 0 0 0 0 1 1 1 1 00 00 00 0 0 0
0 0 000 0 1 10 - - - - - - - - - - - - - - - - - - - - - - | 0 0 0 1 0 00000000 0 00000000 0 0 0 0 1 1 1 1 00 00 00 0 0 0
0 0 000 0 0 -- - - 1 - - - - - 1 - - - - - - - - - - - - - | 0 1 0 0 0 00000000 1 00000000 0 0 1 0 1 0 1 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 1 1 - 0 - - - - 1 - - - - - - - - - - - | 0 1 0 0 0 00000000 1 00000000 0 0 1 0 1 0 1 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 1 - - 0 - 0 - - 1 - - - - - - - - - - - | 0 1 0 0 0 00000000 1 00000000 0 0 1 0 1 0 1 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 1 - 1 - - - - - - - - - - - - - - - | 0 1 0 0 0 00000000 1 00000000 0 0 1 0 1 0 1 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - 0 - - - - - - - - - - 1 - - - - - - | 0 0 0 0 1 00000100 0 00000001 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - - - 0 - - - - - - - - 1 - - - - - - | 0 0 0 0 1 00000100 0 00000001 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 0 - - 1 0 - - - - - - 1 - - - - - - | 0 0 0 0 1 00000100 0 00000001 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 - - 0 1 0 - - - - - - 1 - - - - - - | 0 0 0 0 1 00000100 0 00000001 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 1 - - 0 - - - - - - 1 - - - - - - | 0 0 0 0 1 00000100 0 00000001 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - 1 0 - 0 - - - - - - 1 - - - - - - | 0 0 0 0 1 00000100 0 00000001 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 - - - 0 - 0 - - - - 1 - - - - - - | 0 0 0 0 1 00000100 0 00000001 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - - 0 - 0 - 0 - - - - 1 - - - - - - | 0 0 0 0 1 00000100 0 00000001 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - 0 - - - - - - - 1 - - 0 - - - - - - | 0 1 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - - - 0 - - - - - 1 - - 0 - - - - - - | 0 1 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 0 - - 1 0 - - - 1 - - 0 - - - - - - | 0 1 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 - - 0 1 0 - - - 1 - - 0 - - - - - - | 0 1 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 1 - - 0 - - - 1 - - 0 - - - - - - | 0 1 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - 1 0 - 0 - - - 1 - - 0 - - - - - - | 0 1 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 - - - 0 - 0 - 1 - - 0 - - - - - - | 0 1 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - - 0 - 0 - 0 - 1 - - 0 - - - - - - | 0 1 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - 0 - - - - - - - 0 1 0 0 - - - - - - | 0 0 1 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - - - 0 - - - - - 0 1 0 0 - - - - - - | 0 0 1 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 0 - - 1 0 - - - 0 1 0 0 - - - - - - | 0 0 1 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 - - 0 1 0 - - - 0 1 0 0 - - - - - - | 0 0 1 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 1 - - 0 - - - 0 1 0 0 - - - - - - | 0 0 1 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - 1 0 - 0 - - - 0 1 0 0 - - - - - - | 0 0 1 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 - - - 0 - 0 - 0 1 0 0 - - - - - - | 0 0 1 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - - 0 - 0 - 0 - 0 1 0 0 - - - - - - | 0 0 1 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - 0 - - - - - - - 0 0 - 0 1 - - - - - | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - 0 - - - - - - - 0 - 1 0 1 - - - - - | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - - - 0 - - - - - 0 0 - 0 1 - - - - - | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - - - 0 - - - - - 0 - 1 0 1 - - - - - | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 0 - - 1 0 - - - 0 0 - 0 1 - - - - - | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 0 - - 1 0 - - - 0 - 1 0 1 - - - - - | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 - - 0 1 0 - - - 0 0 - 0 1 - - - - - | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 - - 0 1 0 - - - 0 - 1 0 1 - - - - - | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 1 - - 0 - - - 0 0 - 0 1 - - - - - | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 1 - - 0 - - - 0 - 1 0 1 - - - - - | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - 1 0 - 0 - - - 0 0 - 0 1 - - - - - | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - 1 0 - 0 - - - 0 - 1 0 1 - - - - - | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 - - - 0 - 0 - 0 0 - 0 1 - - - - - | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 - - - 0 - 0 - 0 - 1 0 1 - - - - - | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - - 0 - 0 - 0 - 0 0 - 0 1 - - - - - | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - - 0 - 0 - 0 - 0 - 1 0 1 - - - - - | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - 0 - - - - - - - 0 0 - 0 0 1 - - - - | 0 0 0 0 1 00000010 0 00000100 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - 0 - - - - - - - 0 - 1 0 0 1 - - - - | 0 0 0 0 1 00000010 0 00000100 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - - - 0 - - - - - 0 0 - 0 0 1 - - - - | 0 0 0 0 1 00000010 0 00000100 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - - - 0 - - - - - 0 - 1 0 0 1 - - - - | 0 0 0 0 1 00000010 0 00000100 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 0 - - 1 0 - - - 0 0 - 0 0 1 - - - - | 0 0 0 0 1 00000010 0 00000100 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 0 - - 1 0 - - - 0 - 1 0 0 1 - - - - | 0 0 0 0 1 00000010 0 00000100 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 - - 0 1 0 - - - 0 0 - 0 0 1 - - - - | 0 0 0 0 1 00000010 0 00000100 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 - - 0 1 0 - - - 0 - 1 0 0 1 - - - - | 0 0 0 0 1 00000010 0 00000100 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 1 - - 0 - - - 0 0 - 0 0 1 - - - - | 0 0 0 0 1 00000010 0 00000100 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 1 - - 0 - - - 0 - 1 0 0 1 - - - - | 0 0 0 0 1 00000010 0 00000100 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - 1 0 - 0 - - - 0 0 - 0 0 1 - - - - | 0 0 0 0 1 00000010 0 00000100 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - 1 0 - 0 - - - 0 - 1 0 0 1 - - - - | 0 0 0 0 1 00000010 0 00000100 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 - - - 0 - 0 - 0 0 - 0 0 1 - - - - | 0 0 0 0 1 00000010 0 00000100 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 - - - 0 - 0 - 0 - 1 0 0 1 - - - - | 0 0 0 0 1 00000010 0 00000100 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - - 0 - 0 - 0 - 0 0 - 0 0 1 - - - - | 0 0 0 0 1 00000010 0 00000100 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - - 0 - 0 - 0 - 0 - 1 0 0 1 - - - - | 0 0 0 0 1 00000010 0 00000100 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - 0 - - - - - - - 0 0 - 0 0 0 1 1 - - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - 0 - - - - - - - 0 0 - 0 0 0 1 - 0 - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - 0 - - - - - - - 0 - 1 0 0 0 1 1 - - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - 0 - - - - - - - 0 - 1 0 0 0 1 - 0 - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - - - 0 - - - - - 0 0 - 0 0 0 1 1 - - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - - - 0 - - - - - 0 0 - 0 0 0 1 - 0 - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - - - 0 - - - - - 0 - 1 0 0 0 1 1 - - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - - - 0 - - - - - 0 - 1 0 0 0 1 - 0 - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 0 - - 1 0 - - - 0 0 - 0 0 0 1 1 - - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 0 - - 1 0 - - - 0 0 - 0 0 0 1 - 0 - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 0 - - 1 0 - - - 0 - 1 0 0 0 1 1 - - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 0 - - 1 0 - - - 0 - 1 0 0 0 1 - 0 - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 - - 0 1 0 - - - 0 0 - 0 0 0 1 1 - - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 - - 0 1 0 - - - 0 0 - 0 0 0 1 - 0 - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 - - 0 1 0 - - - 0 - 1 0 0 0 1 1 - - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 - - 0 1 0 - - - 0 - 1 0 0 0 1 - 0 - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 1 - - 0 - - - 0 0 - 0 0 0 1 1 - - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 1 - - 0 - - - 0 0 - 0 0 0 1 - 0 - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 1 - - 0 - - - 0 - 1 0 0 0 1 1 - - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 1 - - 0 - - - 0 - 1 0 0 0 1 - 0 - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - 1 0 - 0 - - - 0 0 - 0 0 0 1 1 - - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - 1 0 - 0 - - - 0 0 - 0 0 0 1 - 0 - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - 1 0 - 0 - - - 0 - 1 0 0 0 1 1 - - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - 1 0 - 0 - - - 0 - 1 0 0 0 1 - 0 - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 - - - 0 - 0 - 0 0 - 0 0 0 1 1 - - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 - - - 0 - 0 - 0 0 - 0 0 0 1 - 0 - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 - - - 0 - 0 - 0 - 1 0 0 0 1 1 - - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 - - - 0 - 0 - 0 - 1 0 0 0 1 - 0 - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - - 0 - 0 - 0 - 0 0 - 0 0 0 1 1 - - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - - 0 - 0 - 0 - 0 0 - 0 0 0 1 - 0 - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - - 0 - 0 - 0 - 0 - 1 0 0 0 1 1 - - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - - 0 - 0 - 0 - 0 - 1 0 0 0 1 - 0 - | 0 0 0 0 1 00000001 0 00000101 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - 0 - - - - - - - 0 0 - 0 0 0 0 - - 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - 0 - - - - - - - 0 0 - 0 0 0 - 0 1 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - 0 - - - - - - - 0 - 1 0 0 0 0 - - 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - 0 - - - - - - - 0 - 1 0 0 0 - 0 1 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - - - 0 - - - - - 0 0 - 0 0 0 0 - - 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - - - 0 - - - - - 0 0 - 0 0 0 - 0 1 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - - - 0 - - - - - 0 - 1 0 0 0 0 - - 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - - - 0 - - - - - 0 - 1 0 0 0 - 0 1 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 0 - - 1 0 - - - 0 0 - 0 0 0 0 - - 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 0 - - 1 0 - - - 0 0 - 0 0 0 - 0 1 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 0 - - 1 0 - - - 0 - 1 0 0 0 0 - - 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 0 - - 1 0 - - - 0 - 1 0 0 0 - 0 1 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 - - 0 1 0 - - - 0 0 - 0 0 0 0 - - 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 - - 0 1 0 - - - 0 0 - 0 0 0 - 0 1 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 - - 0 1 0 - - - 0 - 1 0 0 0 0 - - 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 - - 0 1 0 - - - 0 - 1 0 0 0 - 0 1 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 1 - - 0 - - - 0 0 - 0 0 0 0 - - 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 1 - - 0 - - - 0 0 - 0 0 0 - 0 1 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 1 - - 0 - - - 0 - 1 0 0 0 0 - - 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 1 - - 0 - - - 0 - 1 0 0 0 - 0 1 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - 1 0 - 0 - - - 0 0 - 0 0 0 0 - - 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - 1 0 - 0 - - - 0 0 - 0 0 0 - 0 1 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - 1 0 - 0 - - - 0 - 1 0 0 0 0 - - 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - 1 0 - 0 - - - 0 - 1 0 0 0 - 0 1 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 - - - 0 - 0 - 0 0 - 0 0 0 0 - - 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 - - - 0 - 0 - 0 0 - 0 0 0 - 0 1 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 - - - 0 - 0 - 0 - 1 0 0 0 0 - - 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 - - - 0 - 0 - 0 - 1 0 0 0 - 0 1 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - - 0 - 0 - 0 - 0 0 - 0 0 0 0 - - 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - - 0 - 0 - 0 - 0 0 - 0 0 0 - 0 1 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - - 0 - 0 - 0 - 0 - 1 0 0 0 0 - - 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - - 0 - 0 - 0 - 0 - 1 0 0 0 - 0 1 1 | 0 0 0 0 1 00000000 0 00000110 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - 0 - - - - - - - 0 0 - 0 0 0 0 - - 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - 0 - - - - - - - 0 0 - 0 0 0 - 0 1 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - 0 - - - - - - - 0 - 1 0 0 0 0 - - 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - 0 - - - - - - - 0 - 1 0 0 0 - 0 1 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - - - 0 - - - - - 0 0 - 0 0 0 0 - - 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - - - 0 - - - - - 0 0 - 0 0 0 - 0 1 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - - - 0 - - - - - 0 - 1 0 0 0 0 - - 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - 0 - - - 0 - - - - - 0 - 1 0 0 0 - 0 1 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 0 - - 1 0 - - - 0 0 - 0 0 0 0 - - 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 0 - - 1 0 - - - 0 0 - 0 0 0 - 0 1 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 0 - - 1 0 - - - 0 - 1 0 0 0 0 - - 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 0 - - 1 0 - - - 0 - 1 0 0 0 - 0 1 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 - - 0 1 0 - - - 0 0 - 0 0 0 0 - - 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 - - 0 1 0 - - - 0 0 - 0 0 0 - 0 1 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 - - 0 1 0 - - - 0 - 1 0 0 0 0 - - 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - 0 - - 0 1 0 - - - 0 - 1 0 0 0 - 0 1 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 1 - - 0 - - - 0 0 - 0 0 0 0 - - 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 1 - - 0 - - - 0 0 - 0 0 0 - 0 1 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 1 - - 0 - - - 0 - 1 0 0 0 0 - - 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 1 - - 0 - - - 0 - 1 0 0 0 - 0 1 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - 1 0 - 0 - - - 0 0 - 0 0 0 0 - - 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - 1 0 - 0 - - - 0 0 - 0 0 0 - 0 1 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - 1 0 - 0 - - - 0 - 1 0 0 0 0 - - 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - 1 0 - 0 - - - 0 - 1 0 0 0 - 0 1 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 - - - 0 - 0 - 0 0 - 0 0 0 0 - - 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 - - - 0 - 0 - 0 0 - 0 0 0 - 0 1 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 - - - 0 - 0 - 0 - 1 0 0 0 0 - - 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - 0 - - - 0 - 0 - 0 - 1 0 0 0 - 0 1 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - - 0 - 0 - 0 - 0 0 - 0 0 0 0 - - 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - - 0 - 0 - 0 - 0 0 - 0 0 0 - 0 1 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - - 0 - 0 - 0 - 0 - 1 0 0 0 0 - - 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
0 0 000 0 0 -- - - - - - - 0 - 0 - 0 - 0 - 1 0 0 0 - 0 1 0 | 1 0 0 0 0 00000000 0 00000010 0 0 0 0 0 0 0 0 00 00 00 0 0 0
- - --- - - -- 1 - - - - - - - - - - - - - - - - - - - - - | 0 0 0 0 0 00000000 0 00000000 0 0 0 0 0 0 0 0 00 00 00 0 0 0
- - --- - - -- 0 - - - - - - - 1 - - - - - - - - - - - - - | 0 0 0 0 0 00000000 0 00000000 0 0 0 0 0 0 0 0 01 00 00 0 0 0
- - --- - - -- 0 - - - - - - - 0 1 - - - - - - - - - - - - | 0 0 0 0 0 00000000 0 00000000 0 0 0 0 0 0 0 0 10 00 00 0 0 0
- - --- - - -- 0 - - - - - - - 0 0 - - - - - - - - - - - - | 0 0 0 0 0 00000000 0 00000000 0 0 0 0 0 0 0 0 00 00 00 0 0 0
- - --- - - -- 0 - - - - 1 - - - - - - - - - - - - - - - - | 0 0 0 0 0 00000000 0 00000000 0 0 0 0 0 0 0 0 00 11 00 0 0 0
- - --- - - -- 0 - 0 - - 0 - - - - 1 - - - - - - - - - - - | 0 0 0 0 0 00000000 0 00000000 0 0 0 0 0 0 0 0 00 01 00 0 0 0
- - --- - - -- 0 - 1 - - 0 - - - - - 1 - - - - - - - - - - | 0 0 0 0 0 00000000 0 00000000 0 0 0 0 0 0 0 0 00 10 00 0 0 0
- - --- - - -- 0 - - - - 0 - - - - 0 1 - - - - - - - - - - | 0 0 0 0 0 00000000 0 00000000 0 0 0 0 0 0 0 0 00 10 00 0 0 0
- - --- - - -- 0 - 1 - - 0 - - - - - 0 - - - - - - - - - - | 0 0 0 0 0 00000000 0 00000000 0 0 0 0 0 0 0 0 00 00 00 0 0 0
- - --- - - -- 0 - - - - 0 - - - - 0 0 - - - - - - - - - - | 0 0 0 0 0 00000000 0 00000000 0 0 0 0 0 0 0 0 00 00 00 0 0 0
- - --- - - -- 0 - - - - 0 - - - - - - - - - - - - - - - - | 0 0 0 0 0 00000000 0 00000000 0 0 0 0 0 0 0 0 00 00 00 0 0 0
- - --- - - -- 0 - 0 - - 1 - - - - 1 - - - - - - - - - - - | 0 0 0 0 0 00000000 0 00000000 0 0 0 0 0 0 0 0 00 00 01 0 0 0
- - --- - - -- 0 - 1 - - 1 - - - - - 1 - - - - - - - - - - | 0 0 0 0 0 00000000 0 00000000 0 0 0 0 0 0 0 0 00 00 10 0 0 0
- - --- - - -- 0 - - - - 1 - - - - 0 1 - - - - - - - - - - | 0 0 0 0 0 00000000 0 00000000 0 0 0 0 0 0 0 0 00 00 10 0 0 0
- - --- - - -- 0 - 1 - - 1 - - - - - 0 - - - - - - - - - - | 0 0 0 0 0 00000000 0 00000000 0 0 0 0 0 0 0 0 00 00 00 0 0 0
- - --- - - -- 0 - - - - 1 - - - - 0 0 - - - - - - - - - - | 0 0 0 0 0 00000000 0 00000000 0 0 0 0 0 0 0 0 00 00 00 0 0 0
- - --- - - -- 0 - - 0 - - - 1 - - 1 - - - - - - - - - - - | 0 0 0 0 0 00000000 0 00000000 0 0 0 0 0 0 0 0 00 00 00 0 1 0
- - --- - - -- 0 - - - - - - - - - 1 - - - - - - - - - - - | 0 0 0 0 0 00000000 0 00000000 0 0 0 0 0 0 0 0 00 00 00 1 0 0
- - --- - - -- 0 1 - - - - - - - - - - - - - - - - - - - - | 0 0 0 0 0 00000000 0 00000000 0 0 0 0 0 0 0 0 00 00 00 0 0 1