Variable: inferior-lisp-mode-syntax-table

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

Source Code

;; Defined in /usr/src/emacs/lisp/progmodes/inf-lisp.el.gz
(define-derived-mode inferior-lisp-mode comint-mode "Inferior Lisp"
  "Major mode for interacting with an inferior Lisp process.
Runs a Lisp interpreter as a subprocess of Emacs, with Lisp I/O through an
Emacs buffer.  Variable `inferior-lisp-program' controls which Lisp interpreter
is run.  Variables `inferior-lisp-prompt', `inferior-lisp-filter-regexp' and
`inferior-lisp-load-command' can customize this mode for different Lisp
interpreters.

For information on running multiple processes in multiple buffers, see
documentation for variable `inferior-lisp-buffer'.

\\{inferior-lisp-mode-map}

Customization: Entry to this mode runs the hooks on `comint-mode-hook' and
`inferior-lisp-mode-hook' (in that order).

You can send text to the inferior Lisp process from other buffers containing
Lisp source.
    `switch-to-lisp' switches the current buffer to the Lisp process buffer.
    `lisp-eval-defun' sends the current defun to the Lisp process.
    `lisp-compile-defun' compiles the current defun.
    `lisp-eval-region' sends the current region to the Lisp process.
    `lisp-compile-region' compiles the current region.

    Prefixing the lisp-eval/compile-defun/region commands with
    a \\[universal-argument] causes a switch to the Lisp process buffer after sending
    the text.

Commands:\\<inferior-lisp-mode-map>
\\[comint-send-input] after the end of the process' output sends the text from the
    end of process to point.
\\[comint-send-input] before the end of the process' output copies the sexp ending at point
    to the end of the process' output, and sends it.
\\[comint-copy-old-input] copies the sexp ending at point to the end of the process' output,
    allowing you to edit it before sending it.
If `comint-use-prompt-regexp' is nil (the default), \\[comint-insert-input] on old input
   copies the entire old input to the end of the process' output, allowing
   you to edit it before sending it.  When not used on old input, or if
   `comint-use-prompt-regexp' is non-nil, \\[comint-insert-input] behaves according to
   its global binding.
\\[backward-delete-char-untabify] converts tabs to spaces as it moves back.
\\[lisp-indent-line] indents for Lisp; with argument, shifts rest
    of expression rigidly with the current line.
\\[indent-sexp] does \\[lisp-indent-line] on each line starting within following expression.
Paragraphs are separated only by blank lines.  Semicolons start comments.
If you accidentally suspend your process, use \\[comint-continue-subjob]
to continue it."
  (setq comint-prompt-regexp inferior-lisp-prompt)
  (setq mode-line-process '(":%s"))
  (lisp-mode-variables)
  (set-syntax-table lisp-mode-syntax-table)
  (setq comint-get-old-input (function lisp-get-old-input))
  (setq comint-input-filter (function lisp-input-filter)))