Variable: hyrolo-org-mode-syntax-table

hyrolo-org-mode-syntax-table is a variable defined in hyrolo.el.

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 hyrolo-org-mode.

Source Code

;; Defined in ~/.emacs.d/elpa/hyperbole-20260414.325/hyrolo.el
(define-derived-mode hyrolo-org-mode outline-mode "HyRoloOrg"
  "Basic Org mode for use in HyRolo display match searches."
  (require 'org)
  ;; Don't actually derive from `org-mode' to avoid its costly setup but set
  ;; its parent mode property to org-mode so `derived-mode-p' checks will
  ;; pass.
  (put 'hyrolo-org-mode 'derived-mode-parent 'org-mode)

  (font-lock-mode -1) ;; Never font-lock in this mode to keep it fast

  (when (featurep 'org-fold) ;; newer Org versions
    (setq org-fold-core-style 'overlays) ;; Make compatible with reveal minor mode
    (hypb:add-to-invisibility-spec '(org-link))
    (org-fold-initialize (or (and (stringp org-ellipsis) (not (equal "" org-ellipsis)) org-ellipsis)
                             "..."))
    (make-local-variable 'org-link-descriptive)
    (when (eq org-fold-core-style 'overlays)
      (hypb:add-to-invisibility-spec '(org-hide-block . t)))
    (org-fold-core-set-folding-spec-property
     (cond ((boundp 'org-fold-core--specs)
	    ;; Org 9.7 and up
	    (caar org-fold-core--specs))
	   ((boundp 'org-link--link-folding-spec)
	    ;; Org pre-9.7
	    (car org-link--link-folding-spec)))
     :visible (not org-link-descriptive)))

  (setq-local hyrolo-entry-regexp "^\\(\\*+\\)\\([ \t\n\r]+\\)"
	      hyrolo-hdr-and-entry-regexp (concat hyrolo-hdr-prefix-regexp hyrolo-entry-regexp)
	      hyrolo-entry-group-number 1
	      ;; `hyrolo-add' handles removing * prefix from
	      ;; trailing-space grouping below
	      hyrolo-entry-trailing-space-group-number 2
	      outline-regexp (concat hyrolo-hdr-prefix-regexp "^\\(\\*+\\)\\([ \t\n\r]\\)")
	      outline-level #'hyrolo-outline-level)
  (use-local-map org-mode-map)
  ;; Modify a few syntax entries
  (modify-syntax-entry ?\" "\"")
  (modify-syntax-entry ?\\ "_")
  (modify-syntax-entry ?~ "_")
  (modify-syntax-entry ?< "(>")
  (modify-syntax-entry ?> ")<")

  (setq-local imenu-generic-expression
	      (if (boundp 'outline-imenu-generic-expression)
		  outline-imenu-generic-expression
		(list (list nil (concat "^\\(?:" outline-regexp "\\).*$") 0))))
  (remove-hook 'change-major-mode-hook #'outline-show-all t)
  (remove-hook 'hack-local-variables-hook #'outline-apply-default-state t)

  ;; Expose hidden text as move into it
  (hyrolo-reveal-mode 1))