Variable: locate-mode-syntax-table

locate-mode-syntax-table is a variable defined in locate.el.gz.

Value

Large value
#^[nil
   #^[(0)
      nil syntax-table
      #^^[3 0
	    (1)
	    (1)
	    (1)
	    (1)
	    (1)
	    (1)
	    (1)
	    (1)
	    (1)
	    (0)
	    (0)
	    (1)
	    (0)
	    (0)
	    (1)
	    (1)
	    (1)
	    (1)
	    (1)
	    (1)
	    (1)
	    (1)
	    (1)
	    (1)
	    (1)
	    (1)
	    (1)
	    (1)
	    (1)
	    (1)
	    (1)
	    (1)
	    (0)
	    (1)
	    (7)
	    (1)
	    (2)
	    (2)
	    (3)
	    (1)
	    (4 . 41)
	    (5 . 40)
	    (3)
	    (3)
	    (1)
	    (3)
	    (1)
	    (3)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (1)
	    (1)
	    (3)
	    (3)
	    (3)
	    (1)
	    (1)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (4 . 93)
	    (9)
	    (5 . 91)
	    (1)
	    (3)
	    (1)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (4 . 125)
	    (3)
	    (5 . 123)
	    (1)
	    (1)]
      #^^[1 0
	    #^^[2 0
		  #^^[3 0
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(0)
			(0)
			(1)
			(0)
			(0)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(0)
			(1)
			(7)
			(1)
			(2)
			(2)
			(3)
			(1)
			(4 . 41)
			(5 . 40)
			(3)
			(3)
			(1)
			(3)
			(1)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(1)
			(1)
			(3)
			(3)
			(3)
			(1)
			(1)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(4 . 93)
			(9)
			(5 . 91)
			(1)
			(3)
			(1)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(4 . 125)
			(3)
			(5 . 123)
			(1)
			(1)]
		  #^^[3 128
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(0)
			(1)
			(3)
			(3)
			(3)
			(2)
			(3)
			(1)
			(3)
			(3)
			(3)
			(1)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(3)
			(2)
			(3)
			(3)
			(3)
			(2)
			(3)
			(1)
			(3)
			(3)
			(3)
			(1)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  (2)
		  (2)
		  #^^[3 640
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(2)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(3)
			(3)
			(2)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  #^^[3 896
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  (2)
		  (2)
		  #^^[3 1408
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(1)
			(2)
			(1)
			(2)
			(2)
			(1)
			(2)
			(2)
			(1)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(1)
			(1)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  #^^[3 3584
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  #^^[3 3712
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  #^^[3 3840
			(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)
			(2)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(1)
			(2)
			(1)
			(2)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(1)]
		  #^^[3 3968
			(2)
			(2)
			(2)
			(2)
			(2)
			(1)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]]
	    #^^[2 4096
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  #^^[3 4864
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  #^^[3 6144
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)]
	    #^^[2 8192
		  #^^[3 8192
			(0)
			(0)
			(0)
			(0)
			(0)
			(0)
			(0)
			(0)
			(0)
			(0)
			(0)
			(0)
			(1)
			(1)
			(1)
			(1)
			(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)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(0)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(3)
			(3)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(3)
			(4 . 8262)
			(5 . 8261)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(3)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(0)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(4 . 8318)
			(5 . 8317)
			(2)]
		  #^^[3 8320
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(4 . 8334)
			(5 . 8333)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  #^^[3 8448
			(2)
			(2)
			(2)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(1)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  #^^[3 8576
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)]
		  (3)
		  (3)
		  #^^[3 8960
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(4 . 9002)
			(5 . 9001)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)]
		  #^^[3 9088
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(4 . 9141)
			(5 . 9140)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)]
		  #^^[3 9216
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)]
		  #^^[3 9344
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  #^^[3 9472
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  #^^[3 9600
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(2)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(2)
			(2)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(2)
			(2)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(3)
			(2)
			(2)
			(3)
			(2)
			(2)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  #^^[3 9728
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(2)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(2)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(2)
			(3)
			(3)
			(3)
			(2)
			(3)
			(3)
			(3)
			(3)
			(2)
			(3)
			(3)
			(2)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  #^^[3 9984
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(4 . 10089)
			(5 . 10088)
			(4 . 10091)
			(5 . 10090)
			(4 . 10093)
			(5 . 10092)
			(2)
			(2)
			(4 . 10097)
			(5 . 10096)
			(4 . 10099)
			(5 . 10098)
			(4 . 10101)
			(5 . 10100)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  #^^[3 10112
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(4 . 10215)
			(5 . 10214)
			(4 . 10217)
			(5 . 10216)
			(4 . 10219)
			(5 . 10218)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  (2)
		  (2)
		  #^^[3 10624
			(2)
			(2)
			(2)
			(4 . 10628)
			(5 . 10627)
			(4 . 10630)
			(5 . 10629)
			(4 . 10632)
			(5 . 10631)
			(4 . 10634)
			(5 . 10633)
			(4 . 10636)
			(5 . 10635)
			(4 . 10638)
			(5 . 10637)
			(4 . 10640)
			(5 . 10639)
			(4 . 10642)
			(5 . 10641)
			(4 . 10644)
			(5 . 10643)
			(4 . 10646)
			(5 . 10645)
			(4 . 10648)
			(5 . 10647)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(4 . 10749)
			(5 . 10748)
			(2)
			(2)]
		  (3)
		  (3)
		  (3)
		  (3)
		  (2)
		  (2)
		  (2)
		  (2)
		  (1)
		  (2)
		  (2)
		  (2)]
	    #^^[2 12288
		  #^^[3 12288
			(0)
			(1)
			(1)
			(1)
			(2)
			(2)
			(2)
			(2)
			(4 . 12297)
			(5 . 12296)
			(4 . 12299)
			(5 . 12298)
			(4 . 12301)
			(5 . 12300)
			(4 . 12303)
			(5 . 12302)
			(4 . 12305)
			(5 . 12304)
			(3)
			(3)
			(4 . 12309)
			(5 . 12308)
			(4 . 12311)
			(5 . 12310)
			(4 . 12313)
			(5 . 12312)
			(4 . 12315)
			(5 . 12314)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  #^^[3 12416
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(1)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  (2)
		  #^^[3 12800
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(3)
			(3)]
		  (2)
		  (2)
		  #^^[3 13184
			(3)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(2)
			(2)
			(3)
			(2)
			(2)
			(3)
			(2)
			(3)
			(2)
			(2)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)]
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    #^^[2 40960
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  #^^[3 43648
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)]
	    (2)
	    (2)
	    (2)
	    (2)
	    #^^[2 61440
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  #^^[3 64768
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(4 . 64831)
			(5 . 64830)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  #^^[3 65024
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(4 . 65078)
			(5 . 65077)
			(4 . 65080)
			(5 . 65079)
			(4 . 65082)
			(5 . 65081)
			(4 . 65084)
			(5 . 65083)
			(4 . 65086)
			(5 . 65085)
			(4 . 65088)
			(5 . 65087)
			(4 . 65090)
			(5 . 65089)
			(4 . 65092)
			(5 . 65091)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(4 . 65114)
			(5 . 65113)
			(4 . 65116)
			(5 . 65115)
			(4 . 65118)
			(5 . 65117)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  #^^[3 65280
			(2)
			(1)
			(1)
			(1)
			(3)
			(1)
			(1)
			(1)
			(4 . 65289)
			(5 . 65288)
			(1)
			(3)
			(1)
			(1)
			(1)
			(1)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(1)
			(1)
			(3)
			(3)
			(3)
			(1)
			(1)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(4 . 65341)
			(3)
			(5 . 65339)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(4 . 65373)
			(3)
			(5 . 65371)
			(3)
			(4 . 65376)
			(5 . 65375)
			(1)
			(4 . 65379)
			(5 . 65378)
			(1)
			(1)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  #^^[3 65408
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(3)
			(3)
			(2)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]]]
      #^^[1 65536
	    (2)
	    #^^[2 69632
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  #^^[3 71168
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)]
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    #^^[2 126976
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (3)
		  #^^[3 129920
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(1)
			(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)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)]]
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      #^^[1 1114112
	    #^^[2 1114112
		  (3)
		  #^^[3 1114240
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  (2)
		  (2)
		  #^^[3 1114752
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)]
		  #^^[3 1114880
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)]
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)]
      (2)
      (2)
      #^^[1 1310720
	    #^^[2 1310720
		  (3)
		  #^^[3 1310848
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  (2)
		  (2)
		  #^^[3 1311360
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)]
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    #^^[2 1343488
		  (3)
		  (3)
		  #^^[3 1343744
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)]
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)]
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      #^^[1 2555904
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)
	    #^^[2 2592768
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  #^^[3 2596736
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)]]
	    #^^[2 2596864
		  #^^[3 2596864
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  #^^[3 2597120
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)]
		  (3)
		  #^^[3 2597376
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)]
		  #^^[3 2597504
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(3)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)
			(2)]
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)
		  (2)]
	    (2)
	    (2)
	    (2)
	    (2)
	    (2)]
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)
      (2)]
   syntax-table nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil]

Documentation

Syntax table for locate-mode.

Source Code

;; Defined in /usr/src/emacs/lisp/locate.el.gz
;; Define a mode for locate
;; Default directory is set to "/" so that dired commands, which
;; expect to be in a tree, will work properly
(define-derived-mode locate-mode special-mode "Locate"
  "Major mode for the `*Locate*' buffer made by \\[locate].
\\<locate-mode-map>\
In that buffer, you can use almost all the usual dired bindings.
\\[locate-find-directory] visits the directory of the file on the current line.
This function runs `locate-mode-hook' before returning.

Operating on listed files works, but does not always
automatically update the buffer as in ordinary Dired.
This is true both for the main listing and for subdirectories.
Reverting the buffer using \\[revert-buffer] deletes all subdirectories.
Specific `locate-mode' commands, such as \\[locate-find-directory],
do not work in subdirectories.

\\{locate-mode-map}"
  (setq default-directory   "/"
	buffer-read-only    t)
  (add-to-invisibility-spec '(dired . t))
  (dired-alist-add-1 default-directory (point-min-marker))
  (setq dired-directory "/")
  (setq-local dired-subdir-switches locate-ls-subdir-switches)
  (setq dired-switches-alist nil)
  ;; This should support both Unix and Windoze style names
  (setq-local directory-listing-before-filename-regexp
              (concat "^.\\("
                      (make-string (1- locate-filename-indentation) ?\s)
                      "\\)\\|"
                      (default-value
                        'directory-listing-before-filename-regexp)))
  (setq-local dired-actual-switches "")
  (setq-local dired-permission-flags-regexp
              (concat "^.\\("
                      (make-string (1- locate-filename-indentation) ?\s)
                      "\\)\\|"
                      (default-value 'dired-permission-flags-regexp)))

  (setq-local revert-buffer-function #'locate-update)
  (setq-local page-delimiter "\n\n"))