Variable: checkdoc-syntax-table

checkdoc-syntax-table is a variable defined in checkdoc.el.gz.

Value

Large value
#^[nil
   #^[nil
      #^[nil
	 #^[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)
			   (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)
		     (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]
	 syntax-table
	 #^^[3 0
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)
	       (0)
	       (12)
	       (3)
	       (0)
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)
	       (0)
	       (3)
	       (7)
	       (6)
	       (3)
	       (3)
	       (3)
	       (6)
	       (4 . 41)
	       (5 . 40)
	       (3)
	       (3)
	       (6)
	       (3)
	       (3)
	       (3)
	       nil nil nil nil nil nil nil nil nil nil
	       (3)
	       (11)
	       (3)
	       (3)
	       (3)
	       (3)
	       (1048579)
	       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
	       (4 . 93)
	       (9)
	       (5 . 91)
	       (3)
	       (3)
	       (6)
	       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
	       (3)
	       (3)
	       (3)
	       (3)
	       (3)]
	 #^^[1 0
	       #^^[2 0
		     #^^[3 0
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)
			   (0)
			   (12)
			   (3)
			   (0)
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)
			   (0)
			   (3)
			   (7)
			   (6)
			   (3)
			   (3)
			   (3)
			   (6)
			   (4 . 41)
			   (5 . 40)
			   (3)
			   (3)
			   (6)
			   (3)
			   (3)
			   (3)
			   nil nil nil nil nil nil nil nil nil nil
			   (3)
			   (11)
			   (3)
			   (3)
			   (3)
			   (3)
			   (1048579)
			   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
			   (4 . 93)
			   (9)
			   (5 . 91)
			   (3)
			   (3)
			   (6)
			   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
			   (3)
			   (3)
			   (3)
			   (3)
			   (3)]
		     #^^[3 128 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
			   (0)
			   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 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 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 nil nil nil nil nil nil nil nil]
      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]
   syntax-table
   #^^[3 0 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
	 (2)
	 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 nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil]
   #^^[1 0
	 #^^[2 0
	       #^^[3 0 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
		     (2)
		     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 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 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 used by checkdoc in document strings.

Source Code

;; Defined in /usr/src/emacs/lisp/emacs-lisp/checkdoc.el.gz
(defvar checkdoc-syntax-table
  (let ((st (make-syntax-table emacs-lisp-mode-syntax-table)))
    ;; When dealing with syntax in doc strings, make sure that - are
    ;; encompassed in words so we can use cheap \\> to get the end of a symbol,
    ;; not the end of a word in a conglomerate.
    (modify-syntax-entry ?- "w" st)
    st)
  "Syntax table used by checkdoc in document strings.")