Variable: shell-mode-syntax-table

shell-mode-syntax-table is a variable defined in shell.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 shell-mode.

Source Code

;; Defined in /usr/src/emacs/lisp/shell.el.gz
(define-derived-mode shell-mode comint-mode "Shell"
  "Major mode for interacting with an inferior shell.
\\<shell-mode-map>
\\[comint-send-input] after the end of the process' output sends the text from
    the end of process to the end of the current line.
\\[comint-send-input] before end of process output copies the current line minus the prompt to
    the end of the buffer and sends it (\\[comint-copy-old-input] just copies the current line).
\\[comint-send-invisible] reads a line of text without echoing it, and sends it to
    the shell.  This is useful for entering passwords.  Or, add the function
    `comint-watch-for-password-prompt' to `comint-output-filter-functions'.

If you want to make multiple shell buffers, rename the \"*shell*\" buffer
using \\[rename-buffer] or \\[rename-uniquely] and start a new shell.

If you want to make shell buffers limited in length, add the function
`comint-truncate-buffer' to `comint-output-filter-functions'.

If you accidentally suspend your process, use \\[comint-continue-subjob]
to continue it.

`cd', `pushd' and `popd' commands given to the shell are watched by Emacs to
keep this buffer's default directory the same as the shell's working directory.
While directory tracking is enabled, the shell's working directory is displayed
by \\[list-buffers] or \\[mouse-buffer-menu] in the `File' field.
\\[dirs] queries the shell and resyncs Emacs's idea of what the current
    directory stack is.
\\[shell-dirtrack-mode] turns directory tracking on and off.
\(The `dirtrack' package provides an alternative implementation of this
feature - see the function `dirtrack-mode'.)

\\{shell-mode-map}
Customization: Entry to this mode runs the hooks on `comint-mode-hook' and
`shell-mode-hook' (in that order).  Before each input, the hooks on
`comint-input-filter-functions' are run.  After each shell output, the hooks
on `comint-output-filter-functions' are run.

Variables `shell-cd-regexp', `shell-chdrive-regexp', `shell-pushd-regexp'
and `shell-popd-regexp' are used to match their respective commands,
while `shell-pushd-tohome', `shell-pushd-dextract' and `shell-pushd-dunique'
control the behavior of the relevant command.

Variables `comint-completion-autolist', `comint-completion-addsuffix',
`comint-completion-recexact' and `comint-completion-fignore' control the
behavior of file name, command name and variable name completion.  Variable
`shell-completion-execonly' controls the behavior of command name completion.
Variable `shell-completion-fignore' is used to initialize the value of
`comint-completion-fignore'.

Variables `comint-input-ring-file-name' and `comint-input-autoexpand' control
the initialization of the input ring history, and history expansion.

Variables `comint-output-filter-functions', a hook, and
`comint-scroll-to-bottom-on-input' and `comint-scroll-to-bottom-on-output'
control whether input and output cause the window to scroll to the end of the
buffer.

By default, shell mode does nothing special when it receives a
\"bell\" character (C-g or ^G).  If you
  (add-hook \\='comint-output-filter-functions #\\='shell-filter-ring-bell nil t)
from `shell-mode-hook', Emacs will call the `ding' function
whenever it receives the bell character in output from a
command."
  :interactive nil
  :after-hook
  (unless comint-use-prompt-regexp
    (if shell-fontify-input-enable
        (comint-fontify-input-mode))
    (if shell-highlight-undef-enable
        (shell-highlight-undef-mode)))

  (setq comint-prompt-regexp shell-prompt-pattern)
  (shell-completion-vars)
  (setq-local paragraph-separate "\\'")
  (setq-local paragraph-start comint-prompt-regexp)
  (setq-local font-lock-defaults '(shell-font-lock-keywords t))
  (setq-local shell-dirstack nil)
  (setq-local shell-last-dir nil)
  ;; People expect Shell mode to keep the last line of output at
  ;; window bottom.
  (setq-local scroll-conservatively 101)
  (shell-dirtrack-mode 1)

  ;; By default, ansi-color applies faces using overlays.  This is
  ;; very inefficient in Shell buffers (e.g. Bug#10835).  We use a
  ;; custom `ansi-color-apply-face-function' to convert color escape
  ;; sequences into `font-lock-face' properties.
  (setq-local ansi-color-apply-face-function #'shell-apply-ansi-color)
  (shell-reapply-ansi-color)

  (add-hook 'comint-indirect-setup-hook
            #'shell-indirect-setup-hook 'append t)
  (setq comint-indirect-setup-function
        (let ((shell shell--start-prog))
          (lambda ()
            (require 'sh-script)
            (cl-letf
                (((default-value 'sh-shell-file)
                  (or shell sh-shell-file))
                 (inhibit-message t)
                 (message-log-max nil))
              (sh-mode)))))

  (setq-local indent-line-function #'comint-indent-input-line-default)
  (setq-local indent-region-function
              #'comint-indent-input-region-default)

  ;; This is not really correct, since the shell buffer does not really
  ;; edit this directory.  But it is useful in the buffer list and menus.
  (setq list-buffers-directory (expand-file-name default-directory))
  ;; shell-dependent assignments.
  (when (ring-empty-p comint-input-ring)
    (let ((remote (file-remote-p default-directory))
          (shell (or shell--start-prog ""))
          (hsize (getenv "HISTSIZE"))
          (hfile (getenv "HISTFILE")))
      (when remote
        ;; `shell-snarf-envar' does not work trustworthy.
        (setq hsize (shell-command-to-string "echo -n $HISTSIZE")
              hfile (shell-command-to-string "echo -n $HISTFILE")))
      (and (string-equal hfile "") (setq hfile nil))
      (and (stringp hsize)
	   (integerp (setq hsize (string-to-number hsize)))
	   (> hsize 0)
           (setq-local comint-input-ring-size hsize))
      (setq comint-input-ring-file-name
            (concat
             remote
	     (or hfile
		 (cond ((string-equal shell "bash") "~/.bash_history")
		       ((string-equal shell "ksh") "~/.sh_history")
		       ((string-equal shell "zsh") "~/.zsh_history")
		       (t "~/.history")))))
      (if (or (equal comint-input-ring-file-name "")
	      (equal (file-truename comint-input-ring-file-name)
		     (file-truename null-device)))
	  (setq comint-input-ring-file-name nil))
      ;; Arrange to write out the input ring on exit, if the shell doesn't
      ;; do this itself.
      (if (and comint-input-ring-file-name
	       (string-match shell-dumb-shell-regexp shell))
	  (set-process-sentinel (get-buffer-process (current-buffer))
				#'shell-write-history-on-exit))
      (setq shell-dirstack-query
	    (cond ((string-equal shell "sh") "pwd")
		  ((string-equal shell "ksh") "echo $PWD ~-")
		  ;; Bypass any aliases.  TODO all shells could use this.
		  ((string-equal shell "bash") "command dirs")
		  ((string-equal shell "zsh") "dirs -l")
		  (t "dirs")))
      ;; Bypass a bug in certain versions of bash.
      (when (string-equal shell "bash")
        (add-hook 'comint-preoutput-filter-functions
                  #'shell-filter-ctrl-a-ctrl-b nil t))

      ;; Skip extended history for zsh.
      (when (string-equal shell "zsh")
        (setq-local comint-input-ring-file-prefix
                    ": [[:digit:]]+:[[:digit:]]+;")))
    (comint-read-input-ring t)))