(DEF H_LIST (QUOTE (11 16 16 16 17 17 17 18 12 12 12 12 12 12 16 17 18 12 18 17 17 17 12 18 16 18 16 17 17 11 11 11 18 12 12 12 18 12 17 12 16 17 18 11 13 16 12 13 18 18 13 11 16 16 13 11 13 13 17 11 11 13 11 11 16 13 18 11 12 12 16 12 6 12 17 13 11 16 17 12 13 17 16 13 17 18 8 11 18 18 12 12 11 7 12 12 12 11 17 17 11 17 13 18 13 11 12 12 12 7 13 13 17 13 17 17 17 17 12 13 12 12 11 18 11 13 18 18 17 18 18 18 11 12 7 11 13 18 18 18 18 17 11 17 17 16 16 16 18 18 12 18 17 12 18 16 16 18 13 12 18 18 18 16 17 17 12 12 11 17 13 18 17 17 17 12 18 12 17 12 17 17 12 17 17 12 12 17 12 12 17 17 17 18 18 17 17 17 18 13 12 13 17 17 17 12 12 12 18 12 18 18 17 17 17 12 12 13 13 16 13 11 11 18 18 18 18 13 13 17 18 13 18 12 18 18 12 18 18 13 18 17 12 13 12 13 12 12 18 12 17 12 13 16 16 18 18 18 18 13 8 11 13 16 13 11 11 6 11 12 12 18 8 17 18 18 12 12 7 11 11 16 16 16 17 12 13 17 11 13 13 11 12 16 16 16 16 18 18 12 17 17 13 12 13 18 12 16 11 6 6 12 17 13 13 18 18 11 11 11 13 11 18 18 12 3 18 18 13 16 18 12 12 12 13 3 11 11 11 6 16 11 11 17 17 6 6 16 13 11 17 17 17 7 13 11 12 13 8 17 17 6 7 18 16 11 16 11 18 18 18 17 13 16 13 16 12 12 18 17 17 17 8 17 17 2 2 2 17 17 17 17 17 8 16 18 18 17 12 16 16 16 11 11 13 13 13 11 18 16 16 16 16 16 16 12 17 13 13 13 13 12 12 16 12 12 17 16 17 18 12 12 17 13 13 16 17 11 17 17 17 7 12 18 12 12 11 11 17 17 17 17 11 18 17 17 16 16 11 16 17 12 12 17 12 12 12 18 11 11 12 17 17 11 12 12 18 18 12 12 12 12 16 8 12 17 17 12 11 12 12 13 17 12 12 12 12 11 17 12 12 12 18 12 11 17 16 13 17 12 12 13 17 17 17 16 16 16 16 11 11 12 12 13 12 11 17 12 11 12 12 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 11 17 17 17 17 17 12 17 17 18 16 16 11 16 17 16 16 16 16 16 17 17 17 17 17 17 17 17 17 16 16 16 17 16 16 16 17 17 17 17 17 17 12 12 12 12 12 17 17 17 17 17 17 16 16 17 6 16 18 13 16 13 13 11 18 13 17 17 17 12 13 12 16 17 13 17 11 11 12 18 17 17 16 18 18 17 13 18 16 11 17 16 12 17 17 17 11 13 13 18 12 12 11 16 18 11 11 13 16 18 18 12 12 18 17 16 16 16 17 13 13 13 8 13 11 17 16 16 17 18 1 8 12 17 8 18 16 16 13 12 12 11 13 13 17 17 1 13 12 13 13 6 12 12 18 17 16 18 12 16 13 13 13 12 12 16 18 18 13 18 18 11 18 18 18 18 18 13 11 12 17 16 13 12 18 18 16 11 16 16 11 11 11 11 11 11 17 12 12 12 16 13 17 17 17 17 17 16 17 11 13 18 16 16 16 11 17 11 16 17 13 12 17 17 12 17 12 7 16 16 16 17 16 13 17 12 11 16 16 18 16 18 7 13 13 18 11 12 12 8 13 11 11 12 12 7 17 17 17 17 7 18 18 13 11 17 13 11 12 12 13 13 11 16 13 13 18 12 12 17 17 13 7 18 18 17 17 12 18 17 17 16 6 17 17 17 17 17 13 17 13 11 6 13 13 17 13 13 16 1 12 17 12 8 16 13 17 12 17 17 13 12 16 17 18 18 6 12 13 13 13 13 17 13 17 17 16 17 11 16 12 16 8 13 13 13 17 13 17 17 17 16 6 16 11 11 17 7 13 2 18 16 16 17 18 18 13 18 18 17 12 13 16 17 18 17 17 17 16 18 13 11 18 11 13 18 18 12 12 12 18 12 17 8 17 18 16 16 16 18 17 18 16 12 12 13 18 12 18 11 13 13 13 12 13 13 13 18 16 16 17 17 16 7 13 17 13 13 17 13 13 13 13 13 13 17 17 17 17 17 16 12 17 18 18 8 17 17 18 17 13 13 11 12 12 18 13 13 16 16 16 16 16 16 16 16 16 16 16 11 11 16 16 16 16 16 16 16 16 16 16 16 17 17 17))) 
(DEF L_LIST (QUOTE (1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1)))