Variable: calculator-mode-syntax-table

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

Source Code

;; Defined in /usr/src/emacs/lisp/calculator.el.gz
;;;---------------------------------------------------------------------
;;; Startup and mode stuff

(define-derived-mode calculator-mode fundamental-mode "Calculator"
  ;; this help is also used as the major help screen
  "A [not so] simple calculator for Emacs.

This calculator is used in the same way as other popular calculators
like xcalc or calc.exe -- but using an Emacs interface.

Expressions are entered using normal infix notation, parens are used as
normal.  Unary functions are usually postfix, but some depends on the
value of `calculator-unary-style' (if the style for an operator below is
specified, then it is fixed, otherwise it depends on this variable).
`+' and `-' can be used as either binary operators or prefix unary
operators.  Numbers can be entered with exponential notation using `e',
except when using a non-decimal radix mode for input (in this case `e'
will be the hexadecimal digit).

Here are the editing keys:
* \\`RET' \\`='          evaluate the current expression
* \\`C-<insert>'     copy the whole current expression to the `kill-ring'
* \\`C-<return>'     evaluate, save result the `kill-ring' and exit
* \\`<insert>'       paste a number if the one was copied (normally)
* \\`<delete>' \\`C-d'   clear last argument or whole expression (hit twice)
* \\`<backspace>'    delete a digit or a previous expression element
* \\`h' \\`?'            pop-up a quick reference help
* \\`ESC' \\`q'          exit (\\`ESC' can be used if `calculator-bind-escape' is
                 non-nil, otherwise use three consecutive \\`ESC's)

These operators are pre-defined:
* `+' `-' `*' `/' the common binary operators
* `\\' `%'         integer division and remainder
* `_' `;'         postfix unary negation and reciprocal
* `^' `L'         binary operators for x^y and log(x) in base y
* `Q' `!'         unary square root and factorial
* `S' `C' `T'     unary trigonometric operators: sin, cos and tan
* `|' `#' `&' `~' bitwise operators: or, xor, and, not

The trigonometric functions can be inverted if prefixed with an `I', see
below for the way to use degrees instead of the default radians.

Two special postfix unary operators are `>' and `<': whenever a binary
operator is performed, it is remembered along with its arguments; then
`>' (`<') will apply the same operator with the same right (left)
argument.

hex/oct/bin modes can be set for input and for display separately.
Another toggle-able mode is for using degrees instead of radians for
trigonometric functions.
The keys to switch modes are (both \\`H' and \\`X' are for hex):
* \\`D'             switch to all-decimal mode, or toggle degrees/radians
* \\`B' \\`O' \\`H' \\`X'       binary/octal/hexadecimal modes for input & display
* \\`i' \\`o'         followed by one of \\`D' \\`B' \\`O' \\`H' \\`X' (case
                  insensitive) sets only the input or display radix mode
The prompt indicates the current modes:
* \"==\": decimal mode (using radians);
* \"D=\": decimal mode using degrees;
* \"?=\": ? is B/O/H, the radix for both input and output;
* \"=?\": ? is B/O/H, the display radix (with decimal input);
* \"??\": ? is D/B/O/H, 1st char for input radix, 2nd for display.

Also, the quote key can be used to switch display modes for decimal
numbers (double-quote rotates back), and the two brace characters
\(\"{\" and \"}\" change display parameters that these displayers use,
if they handle such).  If output is using any radix mode, then these
keys toggle digit grouping mode and the chunk size.

Values can be saved for future reference in either a list of saved
values, or in registers.

The list of saved values is useful for statistics operations on some
collected data.  It is possible to navigate in this list, and if the
value shown is the current one on the list, an indication is displayed
as \"[N]\" if this is the last number and there are N numbers, or
\"[M/N]\" if the M-th value is shown.
* \\`SPC'            evaluate the current value as usual, but also adds
                   the result to the list of saved values
* \\`l' \\`v'            computes total / average of saved values
* \\`<up>' \\`C-p'       browse to the previous value in the list
* \\`<down>' \\`C-n'     browse to the next value in the list
* \\`<delete>' \\`C-d'   remove current value from the list (if it is on it)
* \\`C-<delete>' \\`C-c' delete the whole list

Registers are variable-like place-holders for values:
* \\`s' followed by a character attach the current value to that character
* \\`g' followed by a character fetches the attached value

There are many variables that can be used to customize the calculator.
Some interesting customization variables are:
* `calculator-electric-mode'  use only the echo-area electrically.
* `calculator-unary-style'    set most unary ops to pre/postfix style.
* `calculator-user-registers' to define user-preset registers.
* `calculator-user-operators' to add user-defined operators.
See the documentation for these variables, and \"calculator.el\" for
more information.

\\{calculator-mode-map}")