bug#31995: 26.1; Condition-case failed to catch error

bug#31995: 26.1; Condition-case failed to catch error

[Sheng Yang]

[-- Attachment #1.1: Type: text/plain, Size: 26570 bytes --]

I was trying to read code of undo-tree when I encounter this problem.
Here is a somewhat simplified version with some debug output (and the
offending undo-tree file can be found in attachment or at
https://dimlight.tk/~yangsheng/undo-tree):

'''
(defun load-undo-tree-history ()
   (interactive)
   (let ((filename "~/undo-tree"))
     (with-temp-buffer
       (insert-file-contents filename)
       (goto-char (point-min))
       (condition-case err
         (progn
           (message "before reading hash")
           (setq hash (read (current-buffer)))
           (message "before reading tree")
           (setq tree (read (current-buffer)))
           (message "after reading tree"))
         (error (message "error caught")))
       (message "outside condition-case")
    (kill-buffer nil))))
'''

The undo-tree file contains two lines, the first is a hash, and the
second is a undo-tree structure printed with ~prin1~. Some error will
happen in the second ~(read (current-buffer))~, so the expected behavior
is the following output:

'''
before reading hash
before reading tree
error caught
outside condition-case
'''

However, here is what I get.

'''
before reading hash
before reading tree
Re-entering top level after C stack overflow
'''

It seems that the function call ~(read (current-buffer))~ causes C stack
overflow. Though I personally believe the undo-tree file is not
corrupted, I assume this error should be caught by condition-case even
if the file to read is indeed corrupted.

I bisected with git (using current master head d0e2a341dd) and found the
first commit that introduced this (not exactly the same) problem was

commit f0a1e9ec3fba3d5bea5bd62f525dba3fb005d1b1
Author: Paul Eggert
Date: Thu Dec 8 11:32:48 2016 -0800

Make read1 more reentrant

This is needed if ‘read’ is called soon after startup, before the
Unicode tables have been set up, and it reads a \N escape and
needs to look up a value the Unicode tables, a lookup that in turn
calls read1 recursively. Although this change doesn’t make ‘read’
fully reentrant, it’s good enough to handle this case.
,* src/lread.c (read_buffer_size, read_buffer): Remove static vars.
(grow_read_buffer): Revamp to use locals, not statics, and to
record memory allocation un the specpdl. All callers changed.
(read1): Start with a stack-based buffer, and use the heap
only if the stack buffer is too small. Use unbind_to to
free any heap buffer allocated. Use bool for boolean.
Redo symbol loop so that only one call to grow_read_buffer
is needed.
(init_obarray): Remove no-longer-needed initialization.

Starting from this commit, the previous elisp code will crash emacs. An
attempt to fix this problem is

commit 9dee1c884eb50ba282eb9dd2495c5269add25963
Author: Paul Eggert
Date: Fri Jul 14 04:54:05 2017 -0700

Improve stack-overflow heuristic on GNU/Linux

Problem reported by Steve Kemp (Bug#27585).
,* src/eval.c (near_C_stack_top): Remove. All uses replaced
by current_thread->stack_top.
(record_in_backtrace): Set current_thread->stack_top.
This is for when the Lisp interpreter calls itself.
,* src/lread.c (read1): Set current_thread->stack_top.
This is for recursive s-expression reads.
,* src/print.c (print_object): Set current_thread->stack_top.
This is for recursive s-expression printing.
,* src/thread.c (mark_one_thread): Get stack top first.
,* src/thread.h (struct thread_state.stack_top): Now void *, not char *.

This commit fixed the crashing problem, but error catching still does
not work. As indicated in commit 9dee1c88, this commit tries to fix
Bug#27585, where Steve Kemp triggered it with a huge number of '`' or
',' . Wrapping these '`' or ',' with condition-case can also trigger the
problem.


Configured using:
'configure --prefix=/usr --sysconfdir=/etc --libexecdir=/usr/lib
--localstatedir=/var --with-x-toolkit=gtk3 --with-xft --with-modules
'CFLAGS=-march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong
-fno-plt' CPPFLAGS=-D_FORTIFY_SOURCE=2
LDFLAGS=-Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now'

Configured features:
XPM JPEG TIFF GIF PNG RSVG IMAGEMAGICK SOUND GPM DBUS GSETTINGS NOTIFY
ACL GNUTLS LIBXML2 FREETYPE M17N_FLT LIBOTF XFT ZLIB TOOLKIT_SCROLL_BARS
GTK3 X11 MODULES THREADS LIBSYSTEMD LCMS2

Important settings:
value of $LANG: zh_CN.utf-8
value of $XMODIFIERS: @im=fcitx
locale-coding-system: utf-8-unix

Major mode: Spacemacs buffer

Minor modes in effect:
highlight-changes-visible-mode: t
TeX-PDF-mode: t
TeX-source-correlate-mode: t
global-vi-tilde-fringe-mode: t
pupo-mode: t
purpose-mode: t
spaceline-info-mode: t
spaceline-helm-mode: t
projectile-mode: t
company-statistics-mode: t
eval-sexp-fu-flash-mode: t
global-semanticdb-minor-mode: t
recentf-mode: t
global-semantic-idle-scheduler-mode: t
global-semantic-idle-summary-mode: t
flycheck-pos-tip-mode: t
global-flycheck-mode: t
yas-global-mode: t
yas-minor-mode: t
global-atomic-chrome-edit-mode: t
dired-omit-mode: t
engine-mode: t
company-quickhelp-mode: t
company-quickhelp-local-mode: t
pdf-occur-global-minor-mode: t
global-semantic-stickyfunc-mode: t
semantic-mode: t
show-smartparens-global-mode: t
show-smartparens-mode: t
flyspell-lazy-mode: t
global-magit-file-mode: t
diff-auto-refine-mode: t
winner-mode: t
winum-mode: t
save-place-mode: t
savehist-mode: t
persp-mode: t
global-pangu-spacing-mode: t
pangu-spacing-mode: t
global-git-gutter+-mode: t
global-git-commit-mode: t
async-bytecomp-package-mode: t
flx-ido-mode: t
eyebrowse-mode: t
global-evil-surround-mode: t
evil-surround-mode: t
evil-lion-mode: t
evil-escape-mode: t
global-anzu-mode: t
anzu-mode: t
editorconfig-mode: t
counsel-mode: t
ivy-mode: t
clean-aindent-mode: t
ace-pinyin-global-mode: t
ace-pinyin-mode: t
which-key-mode: t
override-global-mode: t
global-undo-tree-mode: t
undo-tree-mode: t
evil-mode: t
evil-local-mode: t
spacemacs-leader-override-mode: t
global-spacemacs-leader-override-mode: t
global-hl-line-mode: t
xterm-mouse-mode: t
global-auto-revert-mode: t
shell-dirtrack-mode: t
ido-vertical-mode: t
global-page-break-lines-mode: t
page-break-lines-mode: t
global-eldoc-mode: t
electric-indent-mode: t
mouse-wheel-mode: t
file-name-shadow-mode: t
global-font-lock-mode: t
font-lock-mode: t
auto-composition-mode: t
auto-encryption-mode: t
auto-compression-mode: t
buffer-read-only: t
column-number-mode: t
line-number-mode: t
transient-mark-mode: t

Load-path shadows:
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-plot
hides /usr/share/emacs/26.1/lisp/org/org-plot
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-stan
hides /usr/share/emacs/26.1/lisp/org/ob-stan
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-processing
hides /usr/share/emacs/26.1/lisp/org/ob-processing
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-colview
hides /usr/share/emacs/26.1/lisp/org/org-colview
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ox-man
hides /usr/share/emacs/26.1/lisp/org/ox-man
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ox-org
hides /usr/share/emacs/26.1/lisp/org/ox-org
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-makefile
hides /usr/share/emacs/26.1/lisp/org/ob-makefile
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-org
hides /usr/share/emacs/26.1/lisp/org/ob-org
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-gnus
hides /usr/share/emacs/26.1/lisp/org/org-gnus
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-sed
hides /usr/share/emacs/26.1/lisp/org/ob-sed
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-java
hides /usr/share/emacs/26.1/lisp/org/ob-java
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ox-latex
hides /usr/share/emacs/26.1/lisp/org/ox-latex
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-habit
hides /usr/share/emacs/26.1/lisp/org/org-habit
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-feed
hides /usr/share/emacs/26.1/lisp/org/org-feed
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-duration
hides /usr/share/emacs/26.1/lisp/org/org-duration
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-calc
hides /usr/share/emacs/26.1/lisp/org/ob-calc
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-css
hides /usr/share/emacs/26.1/lisp/org/ob-css
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-protocol
hides /usr/share/emacs/26.1/lisp/org/org-protocol
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-timer
hides /usr/share/emacs/26.1/lisp/org/org-timer
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-J
hides /usr/share/emacs/26.1/lisp/org/ob-J
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ox-icalendar
hides /usr/share/emacs/26.1/lisp/org/ox-icalendar
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-forth
hides /usr/share/emacs/26.1/lisp/org/ob-forth
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-C
hides /usr/share/emacs/26.1/lisp/org/ob-C
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-lilypond
hides /usr/share/emacs/26.1/lisp/org/ob-lilypond
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-list
hides /usr/share/emacs/26.1/lisp/org/org-list
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-inlinetask
hides /usr/share/emacs/26.1/lisp/org/org-inlinetask
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-loaddefs
hides /usr/share/emacs/26.1/lisp/org/org-loaddefs
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-agenda
hides /usr/share/emacs/26.1/lisp/org/org-agenda
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-ctags
hides /usr/share/emacs/26.1/lisp/org/org-ctags
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ox-ascii
hides /usr/share/emacs/26.1/lisp/org/ox-ascii
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-indent
hides /usr/share/emacs/26.1/lisp/org/org-indent
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-gnuplot
hides /usr/share/emacs/26.1/lisp/org/ob-gnuplot
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-mobile
hides /usr/share/emacs/26.1/lisp/org/org-mobile
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-info
hides /usr/share/emacs/26.1/lisp/org/org-info
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-irc
hides /usr/share/emacs/26.1/lisp/org/org-irc
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-ledger
hides /usr/share/emacs/26.1/lisp/org/ob-ledger
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-asymptote
hides /usr/share/emacs/26.1/lisp/org/ob-asymptote
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-io
hides /usr/share/emacs/26.1/lisp/org/ob-io
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-fortran
hides /usr/share/emacs/26.1/lisp/org/ob-fortran
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ox
hides /usr/share/emacs/26.1/lisp/org/ox
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-w3m
hides /usr/share/emacs/26.1/lisp/org/org-w3m
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-compat
hides /usr/share/emacs/26.1/lisp/org/org-compat
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-mouse
hides /usr/share/emacs/26.1/lisp/org/org-mouse
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-sass
hides /usr/share/emacs/26.1/lisp/org/ob-sass
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-ocaml
hides /usr/share/emacs/26.1/lisp/org/ob-ocaml
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-faces
hides /usr/share/emacs/26.1/lisp/org/org-faces
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-python
hides /usr/share/emacs/26.1/lisp/org/ob-python
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-perl
hides /usr/share/emacs/26.1/lisp/org/ob-perl
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-vala
hides /usr/share/emacs/26.1/lisp/org/ob-vala
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-scheme
hides /usr/share/emacs/26.1/lisp/org/ob-scheme
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-ref
hides /usr/share/emacs/26.1/lisp/org/ob-ref
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-footnote
hides /usr/share/emacs/26.1/lisp/org/org-footnote
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-entities
hides /usr/share/emacs/26.1/lisp/org/org-entities
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-element
hides /usr/share/emacs/26.1/lisp/org/org-element
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-table
hides /usr/share/emacs/26.1/lisp/org/ob-table
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-crypt
hides /usr/share/emacs/26.1/lisp/org/org-crypt
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ox-publish
hides /usr/share/emacs/26.1/lisp/org/ox-publish
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-clock
hides /usr/share/emacs/26.1/lisp/org/org-clock
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-R
hides /usr/share/emacs/26.1/lisp/org/ob-R
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-src
hides /usr/share/emacs/26.1/lisp/org/org-src
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-ebnf
hides /usr/share/emacs/26.1/lisp/org/ob-ebnf
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-macs
hides /usr/share/emacs/26.1/lisp/org/org-macs
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-clojure
hides /usr/share/emacs/26.1/lisp/org/ob-clojure
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-haskell
hides /usr/share/emacs/26.1/lisp/org/ob-haskell
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-tangle
hides /usr/share/emacs/26.1/lisp/org/ob-tangle
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-rmail
hides /usr/share/emacs/26.1/lisp/org/org-rmail
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-bbdb
hides /usr/share/emacs/26.1/lisp/org/org-bbdb
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-bibtex
hides /usr/share/emacs/26.1/lisp/org/org-bibtex
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-lob
hides /usr/share/emacs/26.1/lisp/org/ob-lob
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-groovy
hides /usr/share/emacs/26.1/lisp/org/ob-groovy
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-lua
hides /usr/share/emacs/26.1/lisp/org/ob-lua
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-lisp
hides /usr/share/emacs/26.1/lisp/org/ob-lisp
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ox-html
hides /usr/share/emacs/26.1/lisp/org/ox-html
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-keys
hides /usr/share/emacs/26.1/lisp/org/ob-keys
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-ruby
hides /usr/share/emacs/26.1/lisp/org/ob-ruby
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-mscgen
hides /usr/share/emacs/26.1/lisp/org/ob-mscgen
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-abc
hides /usr/share/emacs/26.1/lisp/org/ob-abc
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-core
hides /usr/share/emacs/26.1/lisp/org/ob-core
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-maxima
hides /usr/share/emacs/26.1/lisp/org/ob-maxima
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-ditaa
hides /usr/share/emacs/26.1/lisp/org/ob-ditaa
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob
hides /usr/share/emacs/26.1/lisp/org/ob
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-sqlite
hides /usr/share/emacs/26.1/lisp/org/ob-sqlite
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-eshell
hides /usr/share/emacs/26.1/lisp/org/org-eshell
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-lint
hides /usr/share/emacs/26.1/lisp/org/org-lint
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-table
hides /usr/share/emacs/26.1/lisp/org/org-table
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-datetree
hides /usr/share/emacs/26.1/lisp/org/org-datetree
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-js
hides /usr/share/emacs/26.1/lisp/org/ob-js
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ox-md
hides /usr/share/emacs/26.1/lisp/org/ox-md
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ox-beamer
hides /usr/share/emacs/26.1/lisp/org/ox-beamer
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-hledger
hides /usr/share/emacs/26.1/lisp/org/ob-hledger
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ox-odt
hides /usr/share/emacs/26.1/lisp/org/ox-odt
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-dot
hides /usr/share/emacs/26.1/lisp/org/ob-dot
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-archive
hides /usr/share/emacs/26.1/lisp/org/org-archive
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-pcomplete
hides /usr/share/emacs/26.1/lisp/org/org-pcomplete
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-shen
hides /usr/share/emacs/26.1/lisp/org/ob-shen
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ox-texinfo
hides /usr/share/emacs/26.1/lisp/org/ox-texinfo
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-octave
hides /usr/share/emacs/26.1/lisp/org/ob-octave
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-picolisp
hides /usr/share/emacs/26.1/lisp/org/ob-picolisp
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-macro
hides /usr/share/emacs/26.1/lisp/org/org-macro
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-plantuml
hides /usr/share/emacs/26.1/lisp/org/ob-plantuml
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org
hides /usr/share/emacs/26.1/lisp/org/org
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-sql
hides /usr/share/emacs/26.1/lisp/org/ob-sql
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-emacs-lisp
hides /usr/share/emacs/26.1/lisp/org/ob-emacs-lisp
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-coq
hides /usr/share/emacs/26.1/lisp/org/ob-coq
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-matlab
hides /usr/share/emacs/26.1/lisp/org/ob-matlab
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-docview
hides /usr/share/emacs/26.1/lisp/org/org-docview
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-id
hides /usr/share/emacs/26.1/lisp/org/org-id
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-exp
hides /usr/share/emacs/26.1/lisp/org/ob-exp
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-shell
hides /usr/share/emacs/26.1/lisp/org/ob-shell
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-eww
hides /usr/share/emacs/26.1/lisp/org/org-eww
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-attach
hides /usr/share/emacs/26.1/lisp/org/org-attach
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-capture
hides /usr/share/emacs/26.1/lisp/org/org-capture
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-install
hides /usr/share/emacs/26.1/lisp/org/org-install
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-mhe
hides /usr/share/emacs/26.1/lisp/org/org-mhe
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-latex
hides /usr/share/emacs/26.1/lisp/org/ob-latex
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-comint
hides /usr/share/emacs/26.1/lisp/org/ob-comint
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-awk
hides /usr/share/emacs/26.1/lisp/org/ob-awk
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/org-version
hides /usr/share/emacs/26.1/lisp/org/org-version
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-eval
hides /usr/share/emacs/26.1/lisp/org/ob-eval
/home/yangsheng/.emacs.d/elpa/26.1/develop/org-plus-contrib-20180611/ob-screen
hides /usr/share/emacs/26.1/lisp/org/ob-screen

Features:
(shadow emacsbug mailalias mailclient sendmail qp mail-extr sort view
reftex-global magit-ediff evil-ediff ediff-merg ediff-wind ediff-diff
ediff-mult ediff-help ediff-init ediff-util ediff vc vc-dispatcher
gravatar url-cache org-timer org-clock expand-region
text-mode-expansions cc-mode-expansions the-org-mode-expansions
ruby-mode-expansions python-el-fgallina-expansions latex-mode-expansions
js2-mode-expansions js-mode-expansions web-mode-expansions
html-mode-expansions css-mode-expansions er-basic-expansions
expand-region-core expand-region-custom hide-comnt helm-find handwrite
hangul hanja-util quail helm-id-utils cal-bahai helm-sys helm-color
simple-httpd helm-eshell cal-china-x help-at-pt highlight-indentation
helm-config helm-easymenu helm-semantic helm-man hashcash helm-ring
cal-hebrew helm-dabbrev htmlfontify htmlfontify-loaddefs files-x mmm-erb
mmm-region mmm-auto mmm-vars mmm-utils mmm-compat helm-for-files
helm-bookmark helm-external helm-net helm-command helm-mode helm-org
cal-islam tutorial helm-elisp helm-files helm-buffers helm-tags
helm-locate helm-eval edebug helm-info holidays hol-loaddefs hexl
helm-make htmlize helm-grep helm-regexp helm-adaptive helm-misc
helm-types helm-elisp-package helm-font haml-mode smartparens-markdown
markdown-mode css-mode eww smartparens-ruby ruby-mode hanoi helm-imenu
helm-utils helm-help hilit-chg hungry-delete helm helm-source
helm-multi-match helm-lib canlock use-package-lint use-package-jump
whitespace semantic/tag-write fill-column-indicator magit-gitflow
pcre2el rxt re-builder semantic/edit semantic/analyze/complete
semantic/db-typecache org-duration cal-julian diary-lib diary-loaddefs
cal-iso org-agenda tabify elfeed-link org-projectile
org-category-capture org-capture reftex-index reftex-sel reftex-ref
reftex-cite reftex-parse texmathp pdf-sync pdf-annot pdf-outline
pdf-links pdf-history latexenc paren hippie-exp company-web-html
company-web company-css web-completion-data emmet-mode web-mode
ibuffer-projectile timezone elfeed-goodies-logging
elfeed-goodies-new-entry-hooks mm-url elfeed-goodies-split-pane
elfeed-goodies-show-mode noflet cl-indent elfeed-goodies-search-mode
elfeed-goodies elfeed-org elfeed-show elfeed-search shr svg elfeed-csv
elfeed elfeed-curl elfeed-log elfeed-db elfeed-lib url-queue browse-url
xml-query conf-mode company-shell flycheck-bashate sh-script smie
executable preview prv-emacs company-auctex tex-fold reftex-dcr
reftex-auc reftex reftex-loaddefs reftex-vars font-latex auctex-latexmk
tex-buf latex latex-flymake flymake-proc flymake tex-ispell tex-style
tex smartparens-latex tex-mode cl-print debug two-column iso-transl
network-stream starttls importmagic anaconda-mode pythonic hi-lock
evil-matchit evil-matchit-sdk semantic/wisent/python
semantic/wisent/python-wy smartparens-python python
semantic/decorate/mode org-eldoc org-journal org-crypt evil-org
org-table ob-python ob-C ob-js ob-shell ob-latex org-bullets
org-download toc-org image-file org-rmail org-mhe org-irc org-info
org-gnus nnir gnus-sum gnus-group gnus-undo gnus-start gnus-cloud nnimap
nnmail mail-source utf7 netrc nnoo gnus-spec gnus-int gnus-range
gnus-win gnus nnheader org-docview doc-view org-bibtex bibtex org-bbdb
org-w3m vc-git flycheck-rust stickyfunc-enhance company-c-headers
semantic/db-file data-debug cedet-files ggtags ewoc tramp-cache tramp-sh
colir smex vi-tilde-fringe spacemacs-purpose-popwin window-purpose-x
imenu-list window-purpose window-purpose-fixes
window-purpose-prefix-overload window-purpose-switch
window-purpose-layout spaceline-config spaceline-segments spaceline
powerline powerline-separators powerline-themes projectile grep
company-statistics company-files company-keywords company-etags
company-gtags company-template company-dabbrev-code company-dabbrev
company-yasnippet company-capf overseer pkg-info epl auto-compile packed
elisp-slime-nav eval-sexp-fu highlight font-lock+ frame-fns avoid
semantic/db-mode srefactor srefactor-ui recentf tree-widget
srecode/semantic semantic/senator semantic/decorate srecode/insert
srecode/filters srecode/args ede/speedbar ede/files ede ede/detect
ede/base ede/auto ede/source eieio-speedbar eieio-custom srecode/find
srecode/map srecode/ctxt srecode/compile srecode/dictionary
srecode/table srecode semantic/doc semantic/bovine/c hideif
semantic/bovine/c-by semantic/lex-spp semantic/idle semantic/bovine/gcc
semantic/dep semantic/analyze/refs semantic/db-find semantic/db-ref
semantic/analyze semantic/sort semantic/scope semantic/analyze/fcn
goto-addr bug-reference auto-highlight-symbol evil-lisp-state
flycheck-pos-tip flycheck highlight-numbers parent-mode
highlight-parentheses hideshow rainbow-delimiters yasnippet-snippets
yasnippet rainbow-mode color elec-pair window-purpose-core
window-purpose-configuration window-purpose-utils atomic-chrome
websocket bindat cnfonts cnfonts-ui cal-china lunar solar cal-dst
eterm-256color term ehelp dired-x ranger ivy-rich engine-mode
company-jed

-- 
Sheng Yang(杨圣)
PhD student
Computer Science Department
University of Maryland, College Park
E-mail:yangsheng6810@gmail.com


[-- Attachment #1.2: Type: text/html, Size: 35349 bytes --]

[-- Attachment #2: undo-tree --]
[-- Type: text/plain, Size: 86718 bytes --]

"b6b9ae829e91855b81fccce2a091e2c514218d1d"
#s(undo-tree [nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([nil ([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=[nil ([nil ([nil ([nil ([nil nil ((603 . 604) (#("1" 0 1 (fontified nil face highlight-numbers-number)) . 603) (undo-tree-id3144 . -1)) ((603 . 604) (#("2" 0 1 (fontified t face highlight-numbers-number)) . 603) (undo-tree-id3145 . -1)) (23345 17467 710073 33000) 0 nil] [nil ([nil ([nil nil ((278 . 279)) ((#("5" 0 1 (fontified t face highlight-numbers-number)) . 278) (undo-tree-id3141 . -1) (undo-tree-id3142 . -1) (undo-tree-id3143 . 1) (t 23345 17451 488667 720000)) (23345 17451 461280 424000) 0 nil]) ((#("0" 0 1 (fontified t face highlight-numbers-number)) . 278)) ((278 . 279)) (23345 17452 300015 125000) 0 nil]) ((#("2" 0 1 (fontified t face highlight-numbers-number)) . 278) (t 23345 17228 242953 288000)) ((278 . 279)) (23345 17452 627289 937000) 0 nil]) ((608 . 610)) ((#("10" 0 2 (fontified t face highlight-numbers-number)) . 608) (undo-tree-id3156 . 2) (undo-tree-id3157 . 1) (undo-tree-id3158 . 2) (undo-tree-id3159 . 2) (undo-tree-id3160 . 2) (undo-tree-id3161 . 2) (undo-tree-id3162 . 2) (undo-tree-id3163 . 2) (undo-tree-id3164 . 2) (undo-tree-id3165 . 2) (undo-tree-id3166 . -2) (undo-tree-id3167 . 2)) (23345 17468 657373 909000) 0 nil]) ((#("5" 0 1 (fontified nil face highlight-numbers-number)) . 608) (undo-tree-id3168 . -1)) ((608 . 609)) (23345 17469 565197 503000) 0 nil]) ((#("0" 0 1 (fontified nil face highlight-numbers-number)) . 611) (undo-tree-id3194 . -1)) ((611 . 612)) (23345 17477 641689 511000) 0 nil]) ((#("0" 0 1 (fontified nil face highlight-numbers-number)) . 606) (undo-tree-id3203 . 1) (undo-tree-id3204 . -1)) ((606 . 607)) (23345 17483 295884 146000) 0 nil]) ((4143 . 4144)) ((#("3" 0 1 (face font-lock-string-face fontified nil)) . 4143) (undo-tree-id3200 . -1) (undo-tree-id3201 . -1)) (23345 17481 976954 217000) 0 nil]) ((4153 . 4155)) ((#("%%" 0 2 (face font-lock-string-face fontified nil)) . 4153) (undo-tree-id3198 . -2) (undo-tree-id3199 . -2)) (23345 17481 233070 789000) 0 nil]) ((4215 . 4221)) ((#("100 * " 0 3 (fontified nil face highlight-numbers-number) 3 6 (fontified nil)) . 4215)) (23345 17472 540772 18000) 0 nil]) ((#("]" 0 1 (fontified nil face #1=(rainbow-delimiters-depth-3-face))) . 4254) (4252 . 4254) (4251 . 4253) (#("[" 0 1 (fontified nil)) . 4251) (4244 . 4252)) ((#(" ans_lp[" 0 7 (fontified nil) 7 8 (fontified nil)) . 4244) (undo-tree-id3180 . -7) (undo-tree-id3181 . -7) (undo-tree-id3182 . -7) (undo-tree-id3183 . -8) (4251 . 4252) (#("[]" 0 1 (fontified nil face (rainbow-delimiters-depth-3-face)) 1 2 (fontified nil face #1#)) . 4251) (undo-tree-id3184 . -1) (undo-tree-id3185 . -1) (undo-tree-id3186 . -1) (undo-tree-id3187 . -2) (#("i]" 0 1 (fontified nil) 1 2 (fontified nil face (rainbow-delimiters-depth-3-face))) . 4252) (undo-tree-id3188 . -2) (undo-tree-id3189 . -2) (undo-tree-id3190 . -2) (4254 . 4255)) (23345 17471 194036 885000) 0 nil]) ((4242 . 4244)) nil (23345 11574 910393 114000) 0 nil]) ((4243 . 4244) (#(")" 0 1 (fontified nil face (rainbow-delimiters-depth-2-face))) . 4243) (undo-tree-id3111 . 1) (undo-tree-id3112 . -1) (4242 . 4243) (#(" " 0 1 (fontified nil)) . -4242) (undo-tree-id3113 . 1) (4242 . 4243) (#(")" 0 1 (fontified nil face (rainbow-delimiters-depth-3-face))) . -4242) (undo-tree-id3114 . 1) (4242 . 4243) (#(")" 0 1 (fontified nil face (rainbow-delimiters-depth-3-face))) . 4242) (undo-tree-id3115 . 1) (undo-tree-id3116 . -1) (4241 . 4242) (#(" " 0 1 (fontified nil)) . -4241) (4241 . 4242) (#(")" 0 1 (fontified nil face (rainbow-delimiters-depth-4-face))) . -4241) (4241 . 4242)) nil (23345 11574 910436 449000) 0 nil]) ((#(")" 0 1 (fontified t face (rainbow-delimiters-depth-3-face))) . 4216) (undo-tree-id3117 . 1) (undo-tree-id3118 . 1) (undo-tree-id3119 . -1)) nil (23345 11574 910459 703000) 0 nil]) ((4215 . 4217) (#("(" 0 1 (fontified nil)) . -4215) (4215 . 4216)) nil (23345 11574 910468 804000) 0 nil]) ((#("i" 0 1 (fontified t)) . -4215) (undo-tree-id3120 . -1) (undo-tree-id3121 . -1) (undo-tree-id3122 . -1) (#("(" 0 1 (fontified nil face (rainbow-delimiters-depth-3-face))) . -4216) (undo-tree-id3123 . -1) (undo-tree-id3124 . 1) (undo-tree-id3125 . -1) (undo-tree-id3126 . -1) (#(")" 0 1 (fontified t face (rainbow-delimiters-depth-3-face))) . 4217) (undo-tree-id3127 . 1) (undo-tree-id3128 . -1)) nil (23345 11574 910508 846000) 0 nil]) ((4216 . 4218) (#("(" 0 1 (fontified nil)) . -4216) (4215 . 4217)) nil (23345 11574 910520 809000) 0 nil]) ((4197 . 4215) (#(" " 0 1 (fontified t)) . 4197) (undo-tree-id3129 . -1) 4198 (t 23345 11506 770205 878000)) nil (23345 11574 910533 879000) 0 nil]) ((609 . 610) (#("1" 0 1 (fontified t face highlight-numbers-number)) . 609) (undo-tree-id3103 . 1) (undo-tree-id3104 . 1) (undo-tree-id3105 . 1)) nil (23345 11506 742178 291000) 0 nil]) ((603 . 605)) nil (23345 11506 742197 956000) 0 nil]) ((#("2" 0 1 (fontified t face highlight-numbers-number)) . 603) (undo-tree-id3106 . 1) (t 23345 11427 800667 441000)) nil (23345 11506 742210 239000) 0 nil]) ((#("0" 0 1 (fontified t face highlight-numbers-number)) . 610) (undo-tree-id3098 . -1) (undo-tree-id3099 . 1) (undo-tree-id3100 . -1) (undo-tree-id3101 . -1) (undo-tree-id3102 . 1) (t 23345 11423 977349 145000)) nil (23345 11427 786027 620000) 0 nil]) ((#("0" 0 1 (fontified t face highlight-numbers-number)) . 606) (undo-tree-id3097 . 1) (t 23345 11412 177387 965000)) nil (23345 11423 969425 850000) 0 nil]) ((610 . 611)) nil (23345 11412 150931 853000) 0 nil]) ((606 . 607) (t 23345 11396 997418 591000)) nil (23345 11412 150953 413000) 0 nil]) ((#("\\" 0 1 (fontified t)) . 617) (undo-tree-id3095 . -1) (undo-tree-id3096 . 1) (t 23345 11391 60758 658000)) nil (23345 11396 985633 490000) 0 nil]) ((618 . 631)) nil (23345 11391 31042 242000) 0 nil]) ((617 . 618)) nil (23345 11391 31062 63000) 0 nil]) ((#(" " 0 1 (fontified t)) . -617) (undo-tree-id3085 . -1) (undo-tree-id3086 . 1) (undo-tree-id3087 . 1) (undo-tree-id3088 . 1) (undo-tree-id3089 . 1) (undo-tree-id3090 . -1) (undo-tree-id3091 . -1) (#("\\" 0 1 (fontified t)) . -618) (undo-tree-id3092 . -1) (undo-tree-id3093 . -1) (undo-tree-id3094 . 1) 619) nil (23345 11391 31128 506000) 0 nil]) ((618 . 619) (t 23345 11378 460761 323000)) nil (23345 11391 31142 27000) 0 nil]) ((603 . 606)) nil (23345 11378 451517 455000) 0 nil]) ((#("1" 0 1 (fontified t face highlight-numbers-number)) . 603) (t 23345 11351 90730 917000)) nil (23345 11378 451524 224000) 0 nil]) ((606 . 608)) nil (23345 11351 63176 899000) 0 nil]) ((#("2" 0 1 (fontified t face highlight-numbers-number)) . 606) (undo-tree-id3084 . 1) (t 23345 11279 440669 460000)) nil (23345 11351 63216 726000) 0 nil]) ((280 . 284) (t 23345 11274 560677 615000)) nil (23345 11279 415716 968000) 0 nil]) ((605 . 609) (t 23345 11268 620683 971000)) nil (23345 11274 554001 892000) 0 nil]) ((394 . 398)) nil (23345 11268 602611 767000) 0 nil]) ((275 . 276) (#("2" 0 1 (fontified t face highlight-numbers-number)) . 275) (t 23345 11208 263973 15000)) nil (23345 11268 602622 217000) 0 nil]) ((275 . 276) (#("1" 0 1 (fontified t face highlight-numbers-number)) . 275) (undo-tree-id3082 . 1) (undo-tree-id3083 . -1) (t 23345 11166 457165 857000)) nil (23345 11208 248166 933000) 0 nil]) ((519 . 520) (t 23345 11162 667171 87000) 519) nil (23345 11166 432055 241000) 0 nil]) ((#("    " 0 3 (fontified t) 3 4 (fontified t rear-nonsticky t)) . -249) (undo-tree-id3067 . -4) (undo-tree-id3068 . -3) (undo-tree-id3069 . -4) (undo-tree-id3070 . -4) 253) nil (23345 11162 639670 641000) 0 nil]) ((nil rear-nonsticky nil 252 . 253) (#("
" 0 1 (fontified nil)) . -322) (undo-tree-id3071 . -1) (248 . 323) 236) nil (23345 11162 639696 650000) 0 nil]) ((#("    LIMIT = [random.randrange(1, 20) for i in range(NUMBER_OF_RESOURCES)]
" 0 4 (fontified t) 4 9 (fontified t face font-lock-variable-name-face) 9 12 (fontified t) 12 13 (fontified t face (rainbow-delimiters-depth-1-face)) 13 29 (fontified t) 29 30 (fontified t face (rainbow-delimiters-depth-2-face)) 30 31 (fontified t face highlight-numbers-number) 31 33 (fontified t) 33 35 (fontified t face highlight-numbers-number) 35 36 (fontified t face (rainbow-delimiters-depth-2-face)) 36 37 (fontified t) 37 40 (fontified t face font-lock-keyword-face) 40 43 (fontified t) 43 45 (fontified t face font-lock-keyword-face) 45 46 (fontified t) 46 51 (fontified t face font-lock-builtin-face) 51 52 (fontified t face (rainbow-delimiters-depth-2-face)) 52 71 (fontified t) 71 72 (fontified t face (rainbow-delimiters-depth-2-face)) 72 73 (fontified t face (rainbow-delimiters-depth-1-face)) 73 74 (fontified t)) . 285) (undo-tree-id3072 . 55) (undo-tree-id3073 . -74) (undo-tree-id3074 . -12) (undo-tree-id3075 . -19) (undo-tree-id3076 . 62) (undo-tree-id3077 . -13) (undo-tree-id3078 . 2) (undo-tree-id3079 . -73) (undo-tree-id3080 . -17) (undo-tree-id3081 . -19) 304 (t 23345 11158 897174 249000)) nil (23345 11162 639741 945000) 0 nil]) ((303 . 304)) nil (23345 11158 871881 808000) 0 nil]) ((#("n" 0 1 (fontified t)) . -303) (undo-tree-id3064 . -1) (undo-tree-id3065 . -1) (undo-tree-id3066 . 1) 304) nil (23345 11158 871930 620000) 0 nil]) ((302 . 304) (t 23345 11149 67172 28000)) nil (23345 11158 871942 903000) 0 nil]) ((335 . 354) (#("NUMBER_OF_RE" 0 12 (fontified t)) . -335) (undo-tree-id2997 . -12) (undo-tree-id2998 . 9) (undo-tree-id2999 . -4) (undo-tree-id3000 . -4) (undo-tree-id3001 . -12) (undo-tree-id3002 . 8) (undo-tree-id3003 . 7) (undo-tree-id3004 . 6) (undo-tree-id3005 . 5) (undo-tree-id3006 . 4) (undo-tree-id3007 . 3) (undo-tree-id3008 . -10) (undo-tree-id3009 . 2) (undo-tree-id3010 . 1) 347) nil (23345 11149 56559 247000) 0 nil]) ((339 . 347)) nil (23345 11149 56569 577000) 0 nil]) ((335 . 339)) nil (23345 11149 56572 474000) 0 nil]) ((#("n" 0 1 (fontified t)) . -335) (undo-tree-id3011 . -1) (#("u" 0 1 (fontified t)) . -336) (undo-tree-id3012 . -1) (#("m" 0 1 (fontified t)) . -337) (undo-tree-id3013 . -1) (#("b" 0 1 (fontified t)) . -338) (undo-tree-id3014 . -1) (#("e" 0 1 (fontified t)) . -339) (undo-tree-id3015 . -1) (#("r" 0 1 (fontified t)) . -340) (undo-tree-id3016 . -1) (#("_" 0 1 (fontified t)) . -341) (undo-tree-id3017 . -1) (#("o" 0 1 (fontified t)) . -342) (undo-tree-id3018 . -1) (#("_" 0 1 (fontified t)) . -343) (undo-tree-id3019 . -1) (#("r" 0 1 (fontified t)) . -344) (undo-tree-id3020 . -1) (#("e" 0 1 (fontified t)) . -345) (undo-tree-id3021 . -1) 346) nil (23345 11149 56598 764000) 0 nil]) ((338 . 346)) nil (23345 11149 56607 765000) 0 nil]) ((335 . 338) (334 . 336) (#("(" 0 1 (fontified nil face font-lock-builtin-face)) . -334) (320 . 335) (#("f" 0 1 (fontified t)) . -320) (undo-tree-id3022 . -1) (319 . 321) (#(")" 0 1 (fontified nil face (rainbow-delimiters-depth-2-face))) . 319) (undo-tree-id3023 . 1) (undo-tree-id3024 . -1) (317 . 319)) nil (23345 11149 56619 913000) 0 nil]) ((313 . 317) (312 . 314) (#("(" 0 1 (fontified nil)) . -312) (298 . 313) (297 . 299) (#("[" 0 1 (fontified nil)) . -297) (undo-tree-id3025 . -1) (297 . 298)) nil (23345 11149 56630 284000) 0 nil]) ((#("[" 0 1 (fontified t face (rainbow-delimiters-depth-1-face))) . -297) (undo-tree-id3026 . -1) (undo-tree-id3027 . -1) (undo-tree-id3028 . -1) (undo-tree-id3029 . -1) (#("4" 0 1 (fontified t face highlight-numbers-number)) . -298) (undo-tree-id3030 . -1) (undo-tree-id3031 . -1) (undo-tree-id3032 . -1) (undo-tree-id3033 . -1) (#("," 0 1 (fontified t)) . -299) (undo-tree-id3034 . -1) (undo-tree-id3035 . -1) (undo-tree-id3036 . -1) (undo-tree-id3037 . -1) (#(" " 0 1 (fontified t)) . -300) (undo-tree-id3038 . -1) (undo-tree-id3039 . -1) (undo-tree-id3040 . -1) (undo-tree-id3041 . -1) (#("5" 0 1 (fontified t face highlight-numbers-number)) . -301) (undo-tree-id3042 . -1) (undo-tree-id3043 . -1) (undo-tree-id3044 . -1) (undo-tree-id3045 . -1) (#("," 0 1 (fontified t)) . -302) (undo-tree-id3046 . -1) (undo-tree-id3047 . -1) (undo-tree-id3048 . -1) (undo-tree-id3049 . -1) (#(" " 0 1 (fontified t)) . -303) (undo-tree-id3050 . -1) (undo-tree-id3051 . -1) (undo-tree-id3052 . -1) (undo-tree-id3053 . -1) (#("1" 0 1 (fontified t face highlight-numbers-number)) . -304) (undo-tree-id3054 . -1) (undo-tree-id3055 . -1) (undo-tree-id3056 . -1) (undo-tree-id3057 . -1) (#("0" 0 1 (fontified t face highlight-numbers-number)) . -305) (undo-tree-id3058 . -1) (undo-tree-id3059 . -1) (undo-tree-id3060 . -1) (undo-tree-id3061 . -1) (#("]" 0 1 (fontified t face (rainbow-delimiters-depth-1-face))) . -306) (undo-tree-id3062 . -1) (undo-tree-id3063 . -1) 307 (t 23345 11115 803703 777000)) nil (23345 11149 56697 399000) 0 nil]) ((#(")" 0 1 (fontified nil face (rainbow-delimiters-depth-2-face))) . 554) (undo-tree-id2969 . 1) (undo-tree-id2970 . -1) (undo-tree-id2971 . -1) (undo-tree-id2972 . 1) (undo-tree-id2973 . 1) (undo-tree-id2974 . 1) (undo-tree-id2975 . 1) (undo-tree-id2976 . 1) (undo-tree-id2977 . 1) (undo-tree-id2978 . 1) (undo-tree-id2979 . 1) (undo-tree-id2980 . -1) (550 . 554)) nil (23345 11115 789005 727000) 0 nil]) ((#("1" 0 1 (fontified t face highlight-numbers-number)) . -550) (undo-tree-id2981 . -1) (undo-tree-id2982 . 1) (undo-tree-id2983 . -1) (undo-tree-id2984 . -1) 551) nil (23345 11115 789025 452000) 0 nil]) ((550 . 551)) nil (23345 11115 789030 127000) 0 nil]) ((547 . 550) (546 . 548) (#("(" 0 1 (fontified nil)) . -546) (530 . 547)) nil (23345 11115 789035 491000) 0 nil]) ((#(")" 0 1 (fontified t face (rainbow-delimiters-mismatched-face))) . 530)) nil (23345 11115 789038 758000) 0 nil]) ((#("i" 0 1 (fontified t)) . 530)) nil (23345 11115 789041 605000) 0 nil]) ((#("(" 0 1 (fontified t face (rainbow-delimiters-depth-2-face))) . 530)) nil (23345 11115 789044 716000) 0 nil]) ((#("e" 0 1 (fontified t)) . 530)) nil (23345 11115 789048 313000) 0 nil]) ((#("c" 0 1 (fontified t)) . 530)) nil (23345 11115 789050 968000) 0 nil]) ((#("r" 0 1 (fontified t)) . 530)) nil (23345 11115 789054 294000) 0 nil]) ((#("u" 0 1 (fontified t)) . 530)) nil (23345 11115 789057 403000) 0 nil]) ((#("o" 0 1 (fontified t)) . 530)) nil (23345 11115 789060 43000) 0 nil]) ((#("s" 0 1 (fontified t)) . 530)) nil (23345 11115 789062 568000) 0 nil]) ((#("e" 0 1 (fontified t)) . 530)) nil (23345 11115 789065 85000) 0 nil]) ((#("r" 0 1 (fontified t)) . 530)) nil (23345 11115 789067 874000) 0 nil]) ((#("_" 0 1 (fontified t)) . 530)) nil (23345 11115 789070 378000) 0 nil]) ((#("d" 0 1 (fontified t)) . 530)) nil (23345 11115 789072 859000) 0 nil]) ((#("n" 0 1 (fontified t)) . 530)) nil (23345 11115 789075 327000) 0 nil]) ((#("a" 0 1 (fontified t)) . 530)) nil (23345 11115 789078 291000) 0 nil]) ((#("r" 0 1 (fontified t)) . 530)) nil (23345 11115 789080 770000) 0 nil]) ((570 . 581) (#("f" 0 1 (fontified t)) . -570) (undo-tree-id2985 . -1) (562 . 571)) nil (23345 11115 789087 36000) 0 nil]) ((#("N" 0 1 (fontified t)) . -562) (undo-tree-id2986 . -1) 563) nil (23345 11115 789092 609000) 0 nil]) ((562 . 563) (561 . 563) (#("(" 0 1 (fontified nil face font-lock-builtin-face)) . -561) (547 . 562) (#("f" 0 1 (fontified t)) . -547) (undo-tree-id2987 . -1) (546 . 548) (#(")" 0 1 (fontified nil face (rainbow-delimiters-depth-2-face))) . 546) (undo-tree-id2988 . 1) (undo-tree-id2989 . -1) (544 . 546)) nil (23345 11115 789105 935000) 0 nil]) ((543 . 545) (#("(" 0 1 (fontified nil)) . -543) (539 . 544)) nil (23345 11115 789111 960000) 0 nil]) ((530 . 539) (529 . 531) (#("[" 0 1 (fontified nil)) . -529) (522 . 530)) nil (23345 11115 789117 261000) 0 nil]) ((517 . 522)) nil (23345 11115 789120 65000) 0 nil]) ((516 . 517) (#(")" 0 1 (fontified nil face (rainbow-delimiters-depth-1-face))) . 516) (undo-tree-id2990 . 1) (undo-tree-id2991 . -1) (515 . 516)) nil (23345 11115 789127 616000) 0 nil]) ((504 . 515) (#("f" 0 1 (fontified t)) . -504) (undo-tree-id2992 . -1) (496 . 505) (495 . 497) (#("(" 0 1 (fontified nil face font-lock-function-name-face)) . -495) (495 . 496)) nil (23345 11115 789136 659000) 0 nil]) ((486 . 495)) nil (23345 11115 789140 606000) 0 nil]) ((485 . 486)) nil (23345 11115 789143 207000) 0 nil]) ((#("_" 0 1 (fontified t face font-lock-function-name-face)) . -485) (undo-tree-id2993 . -1) 486) nil (23345 11115 789147 348000) 0 nil]) ((475 . 486) (#("f" 0 1 (fontified t face font-lock-keyword-face)) . -475) (undo-tree-id2994 . -1) (473 . 476)) nil (23345 11115 789153 288000) 0 nil]) ((#("g" 0 1 (fontified t)) . -473) (undo-tree-id2995 . -1) (#("e" 0 1 (fontified t)) . -474) (undo-tree-id2996 . -1) 475) nil (23345 11115 789160 872000) 0 nil]) ((473 . 475)) nil (23345 11115 789164 407000) 0 nil]) ((472 . 473)) nil (23345 11115 789167 0) 0 nil]) ((471 . 472) (t 23345 11004 253952 680000) 414) nil (23345 11115 789170 523000) 0 nil]) ((3309 . 3310)) nil (23345 11004 243587 40000) 0 nil]) ((#(")" 0 1 (fontified t face (rainbow-delimiters-depth-1-face))) . -3309) (undo-tree-id2892 . 1) (undo-tree-id2893 . -1) (undo-tree-id2894 . -1) (undo-tree-id2895 . 1) (undo-tree-id2896 . 1) (undo-tree-id2897 . 1) (undo-tree-id2898 . 1) (undo-tree-id2899 . 1) (undo-tree-id2900 . 1) (undo-tree-id2901 . -1) (undo-tree-id2902 . -1) (undo-tree-id2903 . -1) (#("T" 0 1 (fontified t)) . -3310) (undo-tree-id2904 . -1) (undo-tree-id2905 . -1) (undo-tree-id2906 . -1) (undo-tree-id2907 . -1) (#("O" 0 1 (fontified t)) . -3311) (undo-tree-id2908 . -1) (undo-tree-id2909 . -1) (undo-tree-id2910 . -1) (undo-tree-id2911 . -1) (#("T" 0 1 (fontified t)) . -3312) (undo-tree-id2912 . -1) (undo-tree-id2913 . -1) (undo-tree-id2914 . -1) (undo-tree-id2915 . -1) (#("A" 0 1 (fontified t)) . -3313) (undo-tree-id2916 . -1) (undo-tree-id2917 . -1) (undo-tree-id2918 . -1) (undo-tree-id2919 . -1) (#("L" 0 1 (fontified t)) . -3314) (undo-tree-id2920 . -1) (undo-tree-id2921 . -1) (undo-tree-id2922 . -1) (undo-tree-id2923 . -1) (#("_" 0 1 (fontified t)) . -3315) (undo-tree-id2924 . -1) (undo-tree-id2925 . -1) (undo-tree-id2926 . -1) (undo-tree-id2927 . -1) (#("A" 0 1 (fontified t)) . -3316) (undo-tree-id2928 . -1) (undo-tree-id2929 . -1) (undo-tree-id2930 . -1) (undo-tree-id2931 . -1) (#("V" 0 1 (fontified t)) . -3317) (undo-tree-id2932 . -1) (undo-tree-id2933 . -1) (undo-tree-id2934 . -1) (undo-tree-id2935 . -1) (#("A" 0 1 (fontified t)) . -3318) (undo-tree-id2936 . -1) (undo-tree-id2937 . -1) (undo-tree-id2938 . -1) (undo-tree-id2939 . -1) (#("I" 0 1 (fontified t)) . -3319) (undo-tree-id2940 . -1) (undo-tree-id2941 . -1) (undo-tree-id2942 . -1) (undo-tree-id2943 . -1) (#("L" 0 1 (fontified t)) . -3320) (undo-tree-id2944 . -1) (undo-tree-id2945 . -1) (undo-tree-id2946 . -1) (undo-tree-id2947 . -1) (#("A" 0 1 (fontified t)) . -3321) (undo-tree-id2948 . -1) (undo-tree-id2949 . -1) (undo-tree-id2950 . -1) (undo-tree-id2951 . -1) (#("B" 0 1 (fontified nil)) . -3322) (undo-tree-id2952 . -1) (undo-tree-id2953 . -1) (undo-tree-id2954 . -1) (undo-tree-id2955 . -1) (#("L" 0 1 (fontified t)) . -3323) (undo-tree-id2956 . -1) (undo-tree-id2957 . -1) (undo-tree-id2958 . -1) (undo-tree-id2959 . -1) (#("E" 0 1 (fontified t)) . -3324) (undo-tree-id2960 . -1) (undo-tree-id2961 . -1) 3325) nil (23345 11004 243713 146000) 0 nil]) ((3290 . 3309) (#("NUMBER" 0 6 (fontified t)) . -3290) (undo-tree-id2962 . -6) (undo-tree-id2963 . -6) 3296) nil (23345 11004 243743 750000) 0 nil]) ((3290 . 3296)) nil (23345 11004 243747 686000) 0 nil]) ((#("n" 0 1 (fontified t)) . -3290) (undo-tree-id2964 . -1) 3291) nil (23345 11004 243751 733000) 0 nil]) ((3290 . 3291)) nil (23345 11004 243754 289000) 0 nil]) ((#(")" 0 1 (fontified nil face (rainbow-delimiters-depth-1-face))) . 3291) (undo-tree-id2965 . -1) (undo-tree-id2966 . 1) (undo-tree-id2967 . -1) (3290 . 3291) (3289 . 3291) (#("(" 0 1 (fontified nil)) . -3289) (undo-tree-id2968 . -1) (3275 . 3290)) nil (23345 11004 243764 643000) 0 nil]) ((3271 . 3275)) nil (23345 11004 243769 19000) 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 ((#("E" 0 1 (fontified t)) . 1055) (undo-tree-id389 . -1) (undo-tree-id391 . 1) (undo-tree-id393 . 1) (undo-tree-id395 . 1) (undo-tree-id397 . 1) (undo-tree-id399 . 1) (undo-tree-id401 . 1) (undo-tree-id403 . 1) (undo-tree-id405 . 1) (undo-tree-id407 . 1) (undo-tree-id409 . 1) (undo-tree-id411 . 1) (undo-tree-id413 . 1) (undo-tree-id415 . 1) (undo-tree-id417 . 1) (undo-tree-id419 . 1) (undo-tree-id421 . 1) (undo-tree-id423 . 1) (undo-tree-id425 . 1) (undo-tree-id427 . 1) (undo-tree-id429 . 1) (undo-tree-id431 . 1) (undo-tree-id433 . 1) (undo-tree-id435 . 1) (undo-tree-id437 . 1) (undo-tree-id439 . 1) (undo-tree-id441 . 1) (undo-tree-id443 . 1) (undo-tree-id445 . 1) (undo-tree-id447 . 1) (undo-tree-id449 . 1) (undo-tree-id451 . 1) (undo-tree-id453 . 1) (undo-tree-id455 . 1) (undo-tree-id457 . 1) (undo-tree-id459 . 1) (undo-tree-id461 . 1) (undo-tree-id463 . 1) (undo-tree-id465 . 1) (undo-tree-id467 . 1) (undo-tree-id469 . 1) (undo-tree-id471 . 1) (undo-tree-id473 . 1) (undo-tree-id475 . 1) (undo-tree-id477 . 1) (undo-tree-id479 . 1) (undo-tree-id481 . 1) (undo-tree-id483 . 1) (undo-tree-id485 . 1) (undo-tree-id487 . 1) (undo-tree-id489 . 1) (undo-tree-id491 . 1) (undo-tree-id493 . 1) (undo-tree-id495 . 1) (undo-tree-id497 . 1) (undo-tree-id499 . 1) (undo-tree-id501 . 1) (undo-tree-id503 . 1) (undo-tree-id505 . 1)) ((1055 . 1056) (t 23345 10913 494750 335000)) (23345 10913 479509 587000) 0 nil]) ((#("L" 0 1 (fontified t)) . 1055) (undo-tree-id507 . 1) (undo-tree-id509 . 1) (undo-tree-id511 . 1) (undo-tree-id513 . 1) (undo-tree-id515 . 1) (undo-tree-id517 . 1) (undo-tree-id519 . 1) (undo-tree-id521 . 1) (undo-tree-id523 . 1) (undo-tree-id525 . 1) (undo-tree-id527 . 1) (undo-tree-id529 . 1) (undo-tree-id531 . 1) (undo-tree-id533 . 1) (undo-tree-id535 . 1) (undo-tree-id537 . 1) (undo-tree-id539 . 1) (undo-tree-id541 . 1) (undo-tree-id543 . 1) (undo-tree-id545 . 1) (undo-tree-id547 . 1) (undo-tree-id549 . 1) (undo-tree-id551 . 1) (undo-tree-id553 . 1) (undo-tree-id555 . 1) (undo-tree-id557 . 1) (undo-tree-id559 . 1) (undo-tree-id561 . 1) (undo-tree-id563 . 1) (undo-tree-id565 . 1) (undo-tree-id567 . 1) (undo-tree-id569 . 1) (undo-tree-id571 . 1) (undo-tree-id573 . 1) (undo-tree-id575 . 1) (undo-tree-id577 . 1) (undo-tree-id579 . 1) (undo-tree-id581 . 1) (undo-tree-id583 . 1) (undo-tree-id585 . 1) (undo-tree-id587 . 1) (undo-tree-id589 . 1) (undo-tree-id591 . 1) (undo-tree-id593 . 1) (undo-tree-id595 . 1) (undo-tree-id597 . 1) (undo-tree-id599 . 1) (undo-tree-id601 . 1) (undo-tree-id603 . 1) (undo-tree-id605 . 1) (undo-tree-id607 . 1) (undo-tree-id609 . 1) (undo-tree-id611 . 1) (undo-tree-id613 . 1) (undo-tree-id615 . 1) (undo-tree-id617 . 1)) ((1055 . 1056)) (23345 10915 376322 333000) 0 nil]) ((#("B" 0 1 (fontified t)) . 1055) (undo-tree-id620 . 1) (undo-tree-id622 . 1) (undo-tree-id624 . 1) (undo-tree-id626 . 1) (undo-tree-id628 . 1) (undo-tree-id630 . 1) (undo-tree-id632 . 1) (undo-tree-id634 . 1) (undo-tree-id636 . 1) (undo-tree-id638 . 1) (undo-tree-id640 . 1) (undo-tree-id642 . 1) (undo-tree-id644 . 1) (undo-tree-id646 . 1) (undo-tree-id648 . 1) (undo-tree-id650 . 1) (undo-tree-id652 . 1) (undo-tree-id654 . 1) (undo-tree-id656 . 1) (undo-tree-id658 . 1) (undo-tree-id660 . 1) (undo-tree-id662 . 1) (undo-tree-id664 . 1) (undo-tree-id666 . 1) (undo-tree-id668 . 1) (undo-tree-id670 . 1) (undo-tree-id672 . 1) (undo-tree-id674 . 1) (undo-tree-id676 . 1) (undo-tree-id678 . 1) (undo-tree-id680 . 1) (undo-tree-id682 . 1) (undo-tree-id684 . 1) (undo-tree-id686 . 1) (undo-tree-id688 . 1) (undo-tree-id690 . 1) (undo-tree-id692 . 1) (undo-tree-id694 . 1) (undo-tree-id696 . 1) (undo-tree-id698 . 1) (undo-tree-id700 . 1) (undo-tree-id702 . 1) (undo-tree-id704 . 1) (undo-tree-id706 . 1) (undo-tree-id708 . 1) (undo-tree-id710 . 1) (undo-tree-id712 . 1) (undo-tree-id714 . 1) (undo-tree-id716 . 1) (undo-tree-id718 . 1) (undo-tree-id720 . 1) (undo-tree-id722 . 1) (undo-tree-id724 . 1) (undo-tree-id726 . 1) (undo-tree-id728 . 1)) ((1055 . 1056)) (23345 10915 582886 324000) 0 nil]) ((#("A" 0 1 (fontified t)) . 1055) (undo-tree-id731 . 1) (undo-tree-id733 . 1) (undo-tree-id735 . 1) (undo-tree-id737 . 1) (undo-tree-id739 . 1) (undo-tree-id741 . 1) (undo-tree-id743 . 1) (undo-tree-id745 . 1) (undo-tree-id747 . 1) (undo-tree-id749 . 1) (undo-tree-id751 . 1) (undo-tree-id753 . 1) (undo-tree-id755 . 1) (undo-tree-id757 . 1) (undo-tree-id759 . 1) (undo-tree-id761 . 1) (undo-tree-id763 . 1) (undo-tree-id765 . 1) (undo-tree-id767 . 1) (undo-tree-id769 . 1) (undo-tree-id771 . 1) (undo-tree-id773 . 1) (undo-tree-id775 . 1) (undo-tree-id777 . 1) (undo-tree-id779 . 1) (undo-tree-id781 . 1) (undo-tree-id783 . 1) (undo-tree-id785 . 1) (undo-tree-id787 . 1) (undo-tree-id789 . 1) (undo-tree-id791 . 1) (undo-tree-id793 . 1) (undo-tree-id795 . 1) (undo-tree-id797 . 1) (undo-tree-id799 . 1) (undo-tree-id801 . 1) (undo-tree-id803 . 1) (undo-tree-id805 . 1) (undo-tree-id807 . 1) (undo-tree-id809 . 1) (undo-tree-id811 . 1) (undo-tree-id813 . 1) (undo-tree-id815 . 1) (undo-tree-id817 . 1) (undo-tree-id819 . 1) (undo-tree-id821 . 1) (undo-tree-id823 . 1) (undo-tree-id825 . 1) (undo-tree-id827 . 1) (undo-tree-id829 . 1) (undo-tree-id831 . 1) (undo-tree-id833 . 1) (undo-tree-id835 . 1) (undo-tree-id837 . 1)) ((1055 . 1056)) (23345 10915 759542 777000) 0 nil]) ((#("L" 0 1 (fontified t)) . 1055) (undo-tree-id840 . 1) (undo-tree-id842 . 1) (undo-tree-id844 . 1) (undo-tree-id846 . 1) (undo-tree-id848 . 1) (undo-tree-id850 . 1) (undo-tree-id852 . 1) (undo-tree-id854 . 1) (undo-tree-id856 . 1) (undo-tree-id858 . 1) (undo-tree-id860 . 1) (undo-tree-id862 . 1) (undo-tree-id864 . 1) (undo-tree-id866 . 1) (undo-tree-id868 . 1) (undo-tree-id870 . 1) (undo-tree-id872 . 1) (undo-tree-id874 . 1) (undo-tree-id876 . 1) (undo-tree-id878 . 1) (undo-tree-id880 . 1) (undo-tree-id882 . 1) (undo-tree-id884 . 1) (undo-tree-id886 . 1) (undo-tree-id888 . 1) (undo-tree-id890 . 1) (undo-tree-id892 . 1) (undo-tree-id894 . 1) (undo-tree-id896 . 1) (undo-tree-id898 . 1) (undo-tree-id900 . 1) (undo-tree-id902 . 1) (undo-tree-id904 . 1) (undo-tree-id906 . 1) (undo-tree-id908 . 1) (undo-tree-id910 . 1) (undo-tree-id912 . 1) (undo-tree-id914 . 1) (undo-tree-id916 . 1) (undo-tree-id918 . 1) (undo-tree-id920 . 1) (undo-tree-id922 . 1) (undo-tree-id924 . 1) (undo-tree-id926 . 1) (undo-tree-id928 . 1) (undo-tree-id930 . 1) (undo-tree-id932 . 1) (undo-tree-id934 . 1) (undo-tree-id936 . 1) (undo-tree-id938 . 1) (undo-tree-id940 . 1) (undo-tree-id942 . 1) (undo-tree-id944 . 1)) ((1055 . 1056)) (23345 10915 911747 396000) 0 nil]) ((#("I" 0 1 (fontified t)) . 1055) (undo-tree-id947 . 1) (undo-tree-id949 . 1) (undo-tree-id951 . 1) (undo-tree-id953 . 1) (undo-tree-id955 . 1) (undo-tree-id957 . 1) (undo-tree-id959 . 1) (undo-tree-id961 . 1) (undo-tree-id963 . 1) (undo-tree-id965 . 1) (undo-tree-id967 . 1) (undo-tree-id969 . 1) (undo-tree-id971 . 1) (undo-tree-id973 . 1) (undo-tree-id975 . 1) (undo-tree-id977 . 1) (undo-tree-id979 . 1) (undo-tree-id981 . 1) (undo-tree-id983 . 1) (undo-tree-id985 . 1) (undo-tree-id987 . 1) (undo-tree-id989 . 1) (undo-tree-id991 . 1) (undo-tree-id993 . 1) (undo-tree-id995 . 1) (undo-tree-id997 . 1) (undo-tree-id999 . 1) (undo-tree-id1001 . 1) (undo-tree-id1003 . 1) (undo-tree-id1005 . 1) (undo-tree-id1007 . 1) (undo-tree-id1009 . 1) (undo-tree-id1011 . 1) (undo-tree-id1013 . 1) (undo-tree-id1015 . 1) (undo-tree-id1017 . 1) (undo-tree-id1019 . 1) (undo-tree-id1021 . 1) (undo-tree-id1023 . 1) (undo-tree-id1025 . 1) (undo-tree-id1027 . 1) (undo-tree-id1029 . 1) (undo-tree-id1031 . 1) (undo-tree-id1033 . 1) (undo-tree-id1035 . 1) (undo-tree-id1037 . 1) (undo-tree-id1039 . 1) (undo-tree-id1041 . 1) (undo-tree-id1043 . 1) (undo-tree-id1045 . 1) (undo-tree-id1047 . 1) (undo-tree-id1049 . 1)) ((1055 . 1056)) (23345 10916 55571 451000) 0 nil]) ((#("A" 0 1 (fontified t)) . 1055) (undo-tree-id1052 . 1) (undo-tree-id1054 . 1) (undo-tree-id1056 . 1) (undo-tree-id1058 . 1) (undo-tree-id1060 . 1) (undo-tree-id1062 . 1) (undo-tree-id1064 . 1) (undo-tree-id1066 . 1) (undo-tree-id1068 . 1) (undo-tree-id1070 . 1) (undo-tree-id1072 . 1) (undo-tree-id1074 . 1) (undo-tree-id1076 . 1) (undo-tree-id1078 . 1) (undo-tree-id1080 . 1) (undo-tree-id1082 . 1) (undo-tree-id1084 . 1) (undo-tree-id1086 . 1) (undo-tree-id1088 . 1) (undo-tree-id1090 . 1) (undo-tree-id1092 . 1) (undo-tree-id1094 . 1) (undo-tree-id1096 . 1) (undo-tree-id1098 . 1) (undo-tree-id1100 . 1) (undo-tree-id1102 . 1) (undo-tree-id1104 . 1) (undo-tree-id1106 . 1) (undo-tree-id1108 . 1) (undo-tree-id1110 . 1) (undo-tree-id1112 . 1) (undo-tree-id1114 . 1) (undo-tree-id1116 . 1) (undo-tree-id1118 . 1) (undo-tree-id1120 . 1) (undo-tree-id1122 . 1) (undo-tree-id1124 . 1) (undo-tree-id1126 . 1) (undo-tree-id1128 . 1) (undo-tree-id1130 . 1) (undo-tree-id1132 . 1) (undo-tree-id1134 . 1) (undo-tree-id1136 . 1) (undo-tree-id1138 . 1) (undo-tree-id1140 . 1) (undo-tree-id1142 . 1) (undo-tree-id1144 . 1) (undo-tree-id1146 . 1) (undo-tree-id1148 . 1) (undo-tree-id1150 . 1) (undo-tree-id1152 . 1)) ((1055 . 1056)) (23345 10916 215448 499000) 0 nil]) ((#("V" 0 1 (fontified t)) . 1055) (undo-tree-id1155 . 1) (undo-tree-id1157 . 1) (undo-tree-id1159 . 1) (undo-tree-id1161 . 1) (undo-tree-id1163 . 1) (undo-tree-id1165 . 1) (undo-tree-id1167 . 1) (undo-tree-id1169 . 1) (undo-tree-id1171 . 1) (undo-tree-id1173 . 1) (undo-tree-id1175 . 1) (undo-tree-id1177 . 1) (undo-tree-id1179 . 1) (undo-tree-id1181 . 1) (undo-tree-id1183 . 1) (undo-tree-id1185 . 1) (undo-tree-id1187 . 1) (undo-tree-id1189 . 1) (undo-tree-id1191 . 1) (undo-tree-id1193 . 1) (undo-tree-id1195 . 1) (undo-tree-id1197 . 1) (undo-tree-id1199 . 1) (undo-tree-id1201 . 1) (undo-tree-id1203 . 1) (undo-tree-id1205 . 1) (undo-tree-id1207 . 1) (undo-tree-id1209 . 1) (undo-tree-id1211 . 1) (undo-tree-id1213 . 1) (undo-tree-id1215 . 1) (undo-tree-id1217 . 1) (undo-tree-id1219 . 1) (undo-tree-id1221 . 1) (undo-tree-id1223 . 1) (undo-tree-id1225 . 1) (undo-tree-id1227 . 1) (undo-tree-id1229 . 1) (undo-tree-id1231 . 1) (undo-tree-id1233 . 1) (undo-tree-id1235 . 1) (undo-tree-id1237 . 1) (undo-tree-id1239 . 1) (undo-tree-id1241 . 1) (undo-tree-id1243 . 1) (undo-tree-id1245 . 1) (undo-tree-id1247 . 1) (undo-tree-id1249 . 1) (undo-tree-id1251 . 1) (undo-tree-id1253 . 1)) ((1055 . 1056)) (23345 10916 319268 245000) 0 nil]) ((#("A" 0 1 (fontified t)) . 1055) (undo-tree-id1256 . 1) (undo-tree-id1258 . 1) (undo-tree-id1260 . 1) (undo-tree-id1262 . 1) (undo-tree-id1264 . 1) (undo-tree-id1266 . 1) (undo-tree-id1268 . 1) (undo-tree-id1270 . 1) (undo-tree-id1272 . 1) (undo-tree-id1274 . 1) (undo-tree-id1276 . 1) (undo-tree-id1278 . 1) (undo-tree-id1280 . 1) (undo-tree-id1282 . 1) (undo-tree-id1284 . 1) (undo-tree-id1286 . 1) (undo-tree-id1288 . 1) (undo-tree-id1290 . 1) (undo-tree-id1292 . 1) (undo-tree-id1294 . 1) (undo-tree-id1296 . 1) (undo-tree-id1298 . 1) (undo-tree-id1300 . 1) (undo-tree-id1302 . 1) (undo-tree-id1304 . 1) (undo-tree-id1306 . 1) (undo-tree-id1308 . 1) (undo-tree-id1310 . 1) (undo-tree-id1312 . 1) (undo-tree-id1314 . 1) (undo-tree-id1316 . 1) (undo-tree-id1318 . 1) (undo-tree-id1320 . 1) (undo-tree-id1322 . 1) (undo-tree-id1324 . 1) (undo-tree-id1326 . 1) (undo-tree-id1328 . 1) (undo-tree-id1330 . 1) (undo-tree-id1332 . 1) (undo-tree-id1334 . 1) (undo-tree-id1336 . 1) (undo-tree-id1338 . 1) (undo-tree-id1340 . 1) (undo-tree-id1342 . 1) (undo-tree-id1344 . 1) (undo-tree-id1346 . 1) (undo-tree-id1348 . 1) (undo-tree-id1350 . 1) (undo-tree-id1352 . 1)) ((1055 . 1056)) (23345 10916 455416 497000) 0 nil]) ((#("_" 0 1 (fontified t)) . 1055) (undo-tree-id1355 . 1) (undo-tree-id1357 . 1) (undo-tree-id1359 . 1) (undo-tree-id1361 . 1) (undo-tree-id1363 . 1) (undo-tree-id1365 . 1) (undo-tree-id1367 . 1) (undo-tree-id1369 . 1) (undo-tree-id1371 . 1) (undo-tree-id1373 . 1) (undo-tree-id1375 . 1) (undo-tree-id1377 . 1) (undo-tree-id1379 . 1) (undo-tree-id1381 . 1) (undo-tree-id1383 . 1) (undo-tree-id1385 . 1) (undo-tree-id1387 . 1) (undo-tree-id1389 . 1) (undo-tree-id1391 . 1) (undo-tree-id1393 . 1) (undo-tree-id1395 . 1) (undo-tree-id1397 . 1) (undo-tree-id1399 . 1) (undo-tree-id1401 . 1) (undo-tree-id1403 . 1) (undo-tree-id1405 . 1) (undo-tree-id1407 . 1) (undo-tree-id1409 . 1) (undo-tree-id1411 . 1) (undo-tree-id1413 . 1) (undo-tree-id1415 . 1) (undo-tree-id1417 . 1) (undo-tree-id1419 . 1) (undo-tree-id1421 . 1) (undo-tree-id1423 . 1) (undo-tree-id1425 . 1) (undo-tree-id1427 . 1) (undo-tree-id1429 . 1) (undo-tree-id1431 . 1) (undo-tree-id1433 . 1) (undo-tree-id1435 . 1) (undo-tree-id1437 . 1) (undo-tree-id1439 . 1) (undo-tree-id1441 . 1) (undo-tree-id1443 . 1) (undo-tree-id1445 . 1) (undo-tree-id1447 . 1) (undo-tree-id1449 . 1)) ((1055 . 1056)) (23345 10916 588919 83000) 0 nil]) ((#("L" 0 1 (fontified t)) . 1055) (undo-tree-id1452 . 1) (undo-tree-id1454 . 1) (undo-tree-id1456 . 1) (undo-tree-id1458 . 1) (undo-tree-id1460 . 1) (undo-tree-id1462 . 1) (undo-tree-id1464 . 1) (undo-tree-id1466 . 1) (undo-tree-id1468 . 1) (undo-tree-id1470 . 1) (undo-tree-id1472 . 1) (undo-tree-id1474 . 1) (undo-tree-id1476 . 1) (undo-tree-id1478 . 1) (undo-tree-id1480 . 1) (undo-tree-id1482 . 1) (undo-tree-id1484 . 1) (undo-tree-id1486 . 1) (undo-tree-id1488 . 1) (undo-tree-id1490 . 1) (undo-tree-id1492 . 1) (undo-tree-id1494 . 1) (undo-tree-id1496 . 1) (undo-tree-id1498 . 1) (undo-tree-id1500 . 1) (undo-tree-id1502 . 1) (undo-tree-id1504 . 1) (undo-tree-id1506 . 1) (undo-tree-id1508 . 1) (undo-tree-id1510 . 1) (undo-tree-id1512 . 1) (undo-tree-id1514 . 1) (undo-tree-id1516 . 1) (undo-tree-id1518 . 1) (undo-tree-id1520 . 1) (undo-tree-id1522 . 1) (undo-tree-id1524 . 1) (undo-tree-id1526 . 1) (undo-tree-id1528 . 1) (undo-tree-id1530 . 1) (undo-tree-id1532 . 1) (undo-tree-id1534 . 1) (undo-tree-id1536 . 1) (undo-tree-id1538 . 1) (undo-tree-id1540 . 1) (undo-tree-id1542 . 1) (undo-tree-id1544 . 1)) ((1055 . 1056)) (23345 10916 735265 984000) 0 nil]) ((#("A" 0 1 (fontified t)) . 1055) (undo-tree-id1547 . 1) (undo-tree-id1549 . 1) (undo-tree-id1551 . 1) (undo-tree-id1553 . 1) (undo-tree-id1555 . 1) (undo-tree-id1557 . 1) (undo-tree-id1559 . 1) (undo-tree-id1561 . 1) (undo-tree-id1563 . 1) (undo-tree-id1565 . 1) (undo-tree-id1567 . 1) (undo-tree-id1569 . 1) (undo-tree-id1571 . 1) (undo-tree-id1573 . 1) (undo-tree-id1575 . 1) (undo-tree-id1577 . 1) (undo-tree-id1579 . 1) (undo-tree-id1581 . 1) (undo-tree-id1583 . 1) (undo-tree-id1585 . 1) (undo-tree-id1587 . 1) (undo-tree-id1589 . 1) (undo-tree-id1591 . 1) (undo-tree-id1593 . 1) (undo-tree-id1595 . 1) (undo-tree-id1597 . 1) (undo-tree-id1599 . 1) (undo-tree-id1601 . 1) (undo-tree-id1603 . 1) (undo-tree-id1605 . 1) (undo-tree-id1607 . 1) (undo-tree-id1609 . 1) (undo-tree-id1611 . 1) (undo-tree-id1613 . 1) (undo-tree-id1615 . 1) (undo-tree-id1617 . 1) (undo-tree-id1619 . 1) (undo-tree-id1621 . 1) (undo-tree-id1623 . 1) (undo-tree-id1625 . 1) (undo-tree-id1627 . 1) (undo-tree-id1629 . 1) (undo-tree-id1631 . 1) (undo-tree-id1633 . 1) (undo-tree-id1635 . 1) (undo-tree-id1637 . 1)) ((1055 . 1056)) (23345 10916 879206 461000) 0 nil]) ((#("T" 0 1 (fontified t)) . 1055) (undo-tree-id1640 . 1) (undo-tree-id1642 . 1) (undo-tree-id1644 . 1) (undo-tree-id1646 . 1) (undo-tree-id1648 . 1) (undo-tree-id1650 . 1) (undo-tree-id1652 . 1) (undo-tree-id1654 . 1) (undo-tree-id1656 . 1) (undo-tree-id1658 . 1) (undo-tree-id1660 . 1) (undo-tree-id1662 . 1) (undo-tree-id1664 . 1) (undo-tree-id1666 . 1) (undo-tree-id1668 . 1) (undo-tree-id1670 . 1) (undo-tree-id1672 . 1) (undo-tree-id1674 . 1) (undo-tree-id1676 . 1) (undo-tree-id1678 . 1) (undo-tree-id1680 . 1) (undo-tree-id1682 . 1) (undo-tree-id1684 . 1) (undo-tree-id1686 . 1) (undo-tree-id1688 . 1) (undo-tree-id1690 . 1) (undo-tree-id1692 . 1) (undo-tree-id1694 . 1) (undo-tree-id1696 . 1) (undo-tree-id1698 . 1) (undo-tree-id1700 . 1) (undo-tree-id1702 . 1) (undo-tree-id1704 . 1) (undo-tree-id1706 . 1) (undo-tree-id1708 . 1) (undo-tree-id1710 . 1) (undo-tree-id1712 . 1) (undo-tree-id1714 . 1) (undo-tree-id1716 . 1) (undo-tree-id1718 . 1) (undo-tree-id1720 . 1) (undo-tree-id1722 . 1) (undo-tree-id1724 . 1) (undo-tree-id1726 . 1) (undo-tree-id1728 . 1)) ((1055 . 1056)) (23345 10917 47180 851000) 0 nil]) ((#("O" 0 1 (fontified t)) . 1055) (undo-tree-id1731 . 1) (undo-tree-id1733 . 1) (undo-tree-id1735 . 1) (undo-tree-id1737 . 1) (undo-tree-id1739 . 1) (undo-tree-id1741 . 1) (undo-tree-id1743 . 1) (undo-tree-id1745 . 1) (undo-tree-id1747 . 1) (undo-tree-id1749 . 1) (undo-tree-id1751 . 1) (undo-tree-id1753 . 1) (undo-tree-id1755 . 1) (undo-tree-id1757 . 1) (undo-tree-id1759 . 1) (undo-tree-id1761 . 1) (undo-tree-id1763 . 1) (undo-tree-id1765 . 1) (undo-tree-id1767 . 1) (undo-tree-id1769 . 1) (undo-tree-id1771 . 1) (undo-tree-id1773 . 1) (undo-tree-id1775 . 1) (undo-tree-id1777 . 1) (undo-tree-id1779 . 1) (undo-tree-id1781 . 1) (undo-tree-id1783 . 1) (undo-tree-id1785 . 1) (undo-tree-id1787 . 1) (undo-tree-id1789 . 1) (undo-tree-id1791 . 1) (undo-tree-id1793 . 1) (undo-tree-id1795 . 1) (undo-tree-id1797 . 1) (undo-tree-id1799 . 1) (undo-tree-id1801 . 1) (undo-tree-id1803 . 1) (undo-tree-id1805 . 1) (undo-tree-id1807 . 1) (undo-tree-id1809 . 1) (undo-tree-id1811 . 1) (undo-tree-id1813 . 1) (undo-tree-id1815 . 1) (undo-tree-id1817 . 1)) ((1055 . 1056)) (23345 10917 247389 619000) 0 nil]) ((#("T" 0 1 (fontified t)) . 1055) (undo-tree-id1820 . 1) (undo-tree-id1822 . 1) (undo-tree-id1824 . 1) (undo-tree-id1826 . 1) (undo-tree-id1828 . 1) (undo-tree-id1830 . 1) (undo-tree-id1832 . 1) (undo-tree-id1834 . 1) (undo-tree-id1836 . 1) (undo-tree-id1838 . 1) (undo-tree-id1840 . 1) (undo-tree-id1842 . 1) (undo-tree-id1844 . 1) (undo-tree-id1846 . 1) (undo-tree-id1848 . 1) (undo-tree-id1850 . 1) (undo-tree-id1852 . 1) (undo-tree-id1854 . 1) (undo-tree-id1856 . 1) (undo-tree-id1858 . 1) (undo-tree-id1860 . 1) (undo-tree-id1862 . 1) (undo-tree-id1864 . 1) (undo-tree-id1866 . 1) (undo-tree-id1868 . 1) (undo-tree-id1870 . 1) (undo-tree-id1872 . 1) (undo-tree-id1874 . 1) (undo-tree-id1876 . 1) (undo-tree-id1878 . 1) (undo-tree-id1880 . 1) (undo-tree-id1882 . 1) (undo-tree-id1884 . 1) (undo-tree-id1886 . 1) (undo-tree-id1888 . 1) (undo-tree-id1890 . 1) (undo-tree-id1892 . 1) (undo-tree-id1894 . 1) (undo-tree-id1896 . 1) (undo-tree-id1898 . 1) (undo-tree-id1900 . 1) (undo-tree-id1902 . 1)) ((1055 . 1056)) (23345 10917 447258 700000) 0 nil]) ((#("=" 0 1 (fontified t)) . 1055) (undo-tree-id1905 . 1) (undo-tree-id1907 . 1) (undo-tree-id1909 . 1) (undo-tree-id1911 . 1) (undo-tree-id1913 . 1) (undo-tree-id1915 . 1) (undo-tree-id1917 . 1) (undo-tree-id1919 . 1) (undo-tree-id1921 . 1) (undo-tree-id1923 . 1) (undo-tree-id1925 . 1) (undo-tree-id1927 . 1) (undo-tree-id1929 . 1) (undo-tree-id1931 . 1) (undo-tree-id1933 . 1) (undo-tree-id1935 . 1) (undo-tree-id1937 . 1) (undo-tree-id1939 . 1) (undo-tree-id1941 . 1) (undo-tree-id1943 . 1) (undo-tree-id1945 . 1) (undo-tree-id1947 . 1) (undo-tree-id1949 . 1) (undo-tree-id1951 . 1) (undo-tree-id1953 . 1) (undo-tree-id1955 . 1) (undo-tree-id1957 . 1) (undo-tree-id1959 . 1) (undo-tree-id1961 . 1) (undo-tree-id1963 . 1) (undo-tree-id1965 . 1) (undo-tree-id1967 . 1) (undo-tree-id1969 . 1) (undo-tree-id1971 . 1) (undo-tree-id1973 . 1) (undo-tree-id1975 . 1) (undo-tree-id1977 . 1) (undo-tree-id1979 . 1) (undo-tree-id1981 . 1) (undo-tree-id1983 . 1)) ((1055 . 1056)) (23345 10917 623646 677000) 0 nil]) ((#("t" 0 1 (fontified t)) . 1055) (undo-tree-id1984 . -1) (undo-tree-id1986 . 1) (undo-tree-id1988 . 1) (undo-tree-id1990 . 1) (undo-tree-id1992 . 1) (undo-tree-id1994 . 1) (undo-tree-id1996 . 1) (undo-tree-id1998 . 1) (undo-tree-id2000 . 1) (undo-tree-id2002 . 1) (undo-tree-id2004 . 1) (undo-tree-id2006 . 1) (undo-tree-id2008 . 1) (undo-tree-id2010 . 1) (undo-tree-id2012 . 1) (undo-tree-id2014 . 1) (undo-tree-id2016 . 1) (undo-tree-id2018 . 1) (undo-tree-id2020 . 1) (undo-tree-id2022 . 1) (undo-tree-id2024 . 1) (undo-tree-id2026 . 1) (undo-tree-id2028 . 1) (undo-tree-id2030 . 1) (undo-tree-id2032 . 1) (undo-tree-id2034 . 1) (undo-tree-id2036 . 1) (undo-tree-id2038 . 1) (undo-tree-id2040 . 1) (undo-tree-id2042 . 1) (undo-tree-id2044 . 1) (undo-tree-id2046 . 1) (undo-tree-id2048 . 1) (undo-tree-id2050 . 1) (undo-tree-id2052 . 1) (undo-tree-id2054 . 1) (undo-tree-id2056 . 1)) ((1055 . 1056)) (23345 10917 847603 609000) 0 nil]) ((#("n" 0 1 (fontified t)) . 1055) (undo-tree-id2059 . 1) (undo-tree-id2061 . 1) (undo-tree-id2063 . 1) (undo-tree-id2065 . 1) (undo-tree-id2067 . 1) (undo-tree-id2069 . 1) (undo-tree-id2071 . 1) (undo-tree-id2073 . 1) (undo-tree-id2075 . 1) (undo-tree-id2077 . 1) (undo-tree-id2079 . 1) (undo-tree-id2081 . 1) (undo-tree-id2083 . 1) (undo-tree-id2085 . 1) (undo-tree-id2087 . 1) (undo-tree-id2089 . 1) (undo-tree-id2091 . 1) (undo-tree-id2093 . 1) (undo-tree-id2095 . 1) (undo-tree-id2097 . 1) (undo-tree-id2099 . 1) (undo-tree-id2101 . 1) (undo-tree-id2103 . 1) (undo-tree-id2105 . 1) (undo-tree-id2107 . 1) (undo-tree-id2109 . 1) (undo-tree-id2111 . 1) (undo-tree-id2113 . 1) (undo-tree-id2115 . 1) (undo-tree-id2117 . 1) (undo-tree-id2119 . 1) (undo-tree-id2121 . 1) (undo-tree-id2123 . 1)) ((1055 . 1056)) (23345 10918 135648 116000) 0 nil]) ((#("i" 0 1 (fontified t)) . 1055) (undo-tree-id2126 . 1) (undo-tree-id2128 . 1) (undo-tree-id2130 . 1) (undo-tree-id2132 . 1) (undo-tree-id2134 . 1) (undo-tree-id2136 . 1) (undo-tree-id2138 . 1) (undo-tree-id2140 . 1) (undo-tree-id2142 . 1) (undo-tree-id2144 . 1) (undo-tree-id2146 . 1) (undo-tree-id2148 . 1) (undo-tree-id2150 . 1) (undo-tree-id2152 . 1) (undo-tree-id2154 . 1) (undo-tree-id2156 . 1) (undo-tree-id2158 . 1) (undo-tree-id2160 . 1) (undo-tree-id2162 . 1) (undo-tree-id2164 . 1) (undo-tree-id2166 . 1) (undo-tree-id2168 . 1) (undo-tree-id2170 . 1) (undo-tree-id2172 . 1) (undo-tree-id2174 . 1) (undo-tree-id2176 . 1) (undo-tree-id2178 . 1) (undo-tree-id2180 . 1) (undo-tree-id2182 . 1) (undo-tree-id2184 . 1)) ((1055 . 1056)) (23345 10918 351180 636000) 0 nil]) ((#("a" 0 1 (fontified t)) . 1055) (undo-tree-id2187 . 1) (undo-tree-id2189 . 1) (undo-tree-id2191 . 1) (undo-tree-id2193 . 1) (undo-tree-id2195 . 1) (undo-tree-id2197 . 1) (undo-tree-id2199 . 1) (undo-tree-id2201 . 1) (undo-tree-id2203 . 1) (undo-tree-id2205 . 1) (undo-tree-id2207 . 1) (undo-tree-id2209 . 1) (undo-tree-id2211 . 1) (undo-tree-id2213 . 1) (undo-tree-id2215 . 1) (undo-tree-id2217 . 1) (undo-tree-id2219 . 1) (undo-tree-id2221 . 1) (undo-tree-id2223 . 1) (undo-tree-id2225 . 1) (undo-tree-id2227 . 1) (undo-tree-id2229 . 1) (undo-tree-id2231 . 1) (undo-tree-id2233 . 1) (undo-tree-id2235 . 1) (undo-tree-id2237 . 1) (undo-tree-id2239 . 1)) ((1055 . 1056)) (23345 10918 543646 28000) 0 nil]) ((#("r" 0 1 (fontified t)) . 1055) (undo-tree-id2242 . 1) (undo-tree-id2244 . 1) (undo-tree-id2246 . 1) (undo-tree-id2248 . 1) (undo-tree-id2250 . 1) (undo-tree-id2252 . 1) (undo-tree-id2254 . 1) (undo-tree-id2256 . 1) (undo-tree-id2258 . 1) (undo-tree-id2260 . 1) (undo-tree-id2262 . 1) (undo-tree-id2264 . 1) (undo-tree-id2266 . 1) (undo-tree-id2268 . 1) (undo-tree-id2270 . 1) (undo-tree-id2272 . 1) (undo-tree-id2274 . 1) (undo-tree-id2276 . 1) (undo-tree-id2278 . 1) (undo-tree-id2280 . 1) (undo-tree-id2282 . 1) (undo-tree-id2284 . 1) (undo-tree-id2286 . 1) (undo-tree-id2288 . 1)) ((1055 . 1056)) (23345 10918 719559 273000) 0 nil]) ((#("t" 0 1 (fontified t)) . 1055) (undo-tree-id2291 . 1) (undo-tree-id2293 . 1) (undo-tree-id2295 . 1) (undo-tree-id2297 . 1) (undo-tree-id2299 . 1) (undo-tree-id2301 . 1) (undo-tree-id2303 . 1) (undo-tree-id2305 . 1) (undo-tree-id2307 . 1) (undo-tree-id2309 . 1) (undo-tree-id2311 . 1) (undo-tree-id2313 . 1) (undo-tree-id2315 . 1) (undo-tree-id2317 . 1) (undo-tree-id2319 . 1) (undo-tree-id2321 . 1) (undo-tree-id2323 . 1) (undo-tree-id2325 . 1) (undo-tree-id2327 . 1) (undo-tree-id2329 . 1) (undo-tree-id2331 . 1)) ((1055 . 1056)) (23345 10918 895784 661000) 0 nil]) ((#("s" 0 1 (fontified t)) . 1055) (undo-tree-id2334 . 1) (undo-tree-id2336 . 1) (undo-tree-id2338 . 1) (undo-tree-id2340 . 1) (undo-tree-id2342 . 1) (undo-tree-id2344 . 1) (undo-tree-id2346 . 1) (undo-tree-id2348 . 1) (undo-tree-id2350 . 1) (undo-tree-id2352 . 1) (undo-tree-id2354 . 1) (undo-tree-id2356 . 1) (undo-tree-id2358 . 1) (undo-tree-id2360 . 1) (undo-tree-id2362 . 1) (undo-tree-id2364 . 1) (undo-tree-id2366 . 1) (undo-tree-id2368 . 1)) ((1055 . 1056)) (23345 10919 70660 457000) 0 nil]) ((#("n" 0 1 (fontified t)) . 1055) (undo-tree-id2371 . 1) (undo-tree-id2373 . 1) (undo-tree-id2375 . 1) (undo-tree-id2377 . 1) (undo-tree-id2379 . 1) (undo-tree-id2381 . 1) (undo-tree-id2383 . 1) (undo-tree-id2385 . 1) (undo-tree-id2387 . 1) (undo-tree-id2389 . 1) (undo-tree-id2391 . 1) (undo-tree-id2393 . 1) (undo-tree-id2395 . 1) (undo-tree-id2397 . 1) (undo-tree-id2399 . 1)) ((1055 . 1056)) (23345 10919 247736 35000) 0 nil]) ((#("o" 0 1 (fontified t)) . 1055) (undo-tree-id2402 . 1) (undo-tree-id2404 . 1) (undo-tree-id2406 . 1) (undo-tree-id2408 . 1) (undo-tree-id2410 . 1) (undo-tree-id2412 . 1) (undo-tree-id2414 . 1) (undo-tree-id2416 . 1) (undo-tree-id2418 . 1) (undo-tree-id2420 . 1) (undo-tree-id2422 . 1) (undo-tree-id2424 . 1)) ((1055 . 1056)) (23345 10919 408139 250000) 0 nil]) ((#("c" 0 1 (fontified t)) . 1055) (undo-tree-id2427 . 1) (undo-tree-id2429 . 1) (undo-tree-id2431 . 1) (undo-tree-id2433 . 1) (undo-tree-id2435 . 1) (undo-tree-id2437 . 1) (undo-tree-id2439 . 1) (undo-tree-id2441 . 1) (undo-tree-id2443 . 1)) ((1055 . 1056)) (23345 10919 567554 554000) 0 nil]) ((#(" " 0 1 (fontified t)) . 1055) (undo-tree-id2445 . -1) (undo-tree-id2447 . 1) (undo-tree-id2449 . 1) (undo-tree-id2451 . 1) (undo-tree-id2453 . 1) (undo-tree-id2455 . 1) (undo-tree-id2457 . 1)) ((1055 . 1056)) (23345 10919 719062 630000) 0 nil]) ((#("," 0 1 (fontified t)) . 1055) (undo-tree-id2460 . 1) (undo-tree-id2462 . 1)) ((1055 . 1056)) (23345 10919 888588 50000) 0 nil]) ((#(" " 0 1 (fontified t)) . 1103) (undo-tree-id2464 . 1) (undo-tree-id2466 . 1) (undo-tree-id2468 . 1) (undo-tree-id2470 . 1) (undo-tree-id2472 . 1) (undo-tree-id2474 . 1) (undo-tree-id2476 . 1) (undo-tree-id2478 . 1) (undo-tree-id2480 . 1) (undo-tree-id2482 . 1) (undo-tree-id2484 . 1) (undo-tree-id2486 . 1) (undo-tree-id2488 . 1) (undo-tree-id2490 . 1) (undo-tree-id2492 . 1) (undo-tree-id2494 . 1) (undo-tree-id2496 . 1) (undo-tree-id2498 . 1) (undo-tree-id2500 . 1)) ((1103 . 1104)) (23345 10920 47297 946000) 0 nil]) ((#("=" 0 1 (fontified t)) . 1103) (undo-tree-id2501 . 1) (undo-tree-id2503 . 1) (undo-tree-id2505 . 1) (undo-tree-id2507 . 1) (undo-tree-id2509 . 1) (undo-tree-id2511 . 1) (undo-tree-id2513 . 1) (undo-tree-id2515 . 1) (undo-tree-id2517 . 1) (undo-tree-id2519 . 1) (undo-tree-id2521 . 1) (undo-tree-id2523 . 1) (undo-tree-id2525 . 1) (undo-tree-id2527 . 1) (undo-tree-id2529 . 1) (undo-tree-id2531 . 1) (undo-tree-id2533 . 1) (undo-tree-id2535 . 1)) ((1103 . 1104)) (23345 10920 207330 179000) 0 nil]) ((#(" " 0 1 (fontified t)) . 1103) (undo-tree-id2536 . 1) (undo-tree-id2538 . 1) (undo-tree-id2540 . 1) (undo-tree-id2542 . 1) (undo-tree-id2544 . 1) (undo-tree-id2546 . 1) (undo-tree-id2548 . 1) (undo-tree-id2550 . 1) (undo-tree-id2552 . 1) (undo-tree-id2554 . 1) (undo-tree-id2556 . 1) (undo-tree-id2558 . 1) (undo-tree-id2560 . 1) (undo-tree-id2562 . 1) (undo-tree-id2564 . 1) (undo-tree-id2566 . 1) (undo-tree-id2568 . 1)) ((1103 . 1104)) (23345 10920 391216 929000) 0 nil]) ((#("E" 0 1 (fontified t face font-lock-variable-name-face)) . 1103) (undo-tree-id2569 . 1) (undo-tree-id2571 . 1) (undo-tree-id2573 . 1) (undo-tree-id2575 . 1) (undo-tree-id2577 . 1) (undo-tree-id2579 . 1) (undo-tree-id2581 . 1) (undo-tree-id2583 . 1) (undo-tree-id2585 . 1) (undo-tree-id2587 . 1) (undo-tree-id2589 . 1) (undo-tree-id2591 . 1) (undo-tree-id2593 . 1) (undo-tree-id2595 . 1) (undo-tree-id2597 . 1) (undo-tree-id2599 . 1)) ((1103 . 1104)) (23345 10920 965925 632000) 0 nil]) ((#("L" 0 1 (fontified t face font-lock-variable-name-face)) . 1103) (undo-tree-id2601 . 1) (undo-tree-id2603 . 1) (undo-tree-id2605 . 1) (undo-tree-id2607 . 1) (undo-tree-id2609 . 1) (undo-tree-id2611 . 1) (undo-tree-id2613 . 1) (undo-tree-id2615 . 1) (undo-tree-id2617 . 1) (undo-tree-id2619 . 1) (undo-tree-id2621 . 1) (undo-tree-id2623 . 1) (undo-tree-id2625 . 1) (undo-tree-id2627 . 1) (undo-tree-id2629 . 1)) ((1103 . 1104)) (23345 10921 59390 384000) 0 nil]) ((#("B" 0 1 (fontified t face font-lock-variable-name-face)) . 1103) (undo-tree-id2630 . 1) (undo-tree-id2632 . 1) (undo-tree-id2634 . 1) (undo-tree-id2636 . 1) (undo-tree-id2638 . 1) (undo-tree-id2640 . 1) (undo-tree-id2642 . 1) (undo-tree-id2644 . 1) (undo-tree-id2646 . 1) (undo-tree-id2648 . 1) (undo-tree-id2650 . 1) (undo-tree-id2652 . 1) (undo-tree-id2654 . 1) (undo-tree-id2656 . 1)) ((1103 . 1104)) (23345 10921 291385 921000) 0 nil]) ((#("A" 0 1 (fontified t face font-lock-variable-name-face)) . 1103) (undo-tree-id2657 . 1) (undo-tree-id2659 . 1) (undo-tree-id2661 . 1) (undo-tree-id2663 . 1) (undo-tree-id2665 . 1) (undo-tree-id2667 . 1) (undo-tree-id2669 . 1) (undo-tree-id2671 . 1) (undo-tree-id2673 . 1) (undo-tree-id2675 . 1) (undo-tree-id2677 . 1) (undo-tree-id2679 . 1) (undo-tree-id2681 . 1)) ((1103 . 1104)) (23345 10921 590830 798000) 0 nil]) ((#("L" 0 1 (fontified t face font-lock-variable-name-face)) . 1103) (undo-tree-id2682 . 1) (undo-tree-id2684 . 1) (undo-tree-id2686 . 1) (undo-tree-id2688 . 1) (undo-tree-id2690 . 1) (undo-tree-id2692 . 1) (undo-tree-id2694 . 1) (undo-tree-id2696 . 1) (undo-tree-id2698 . 1) (undo-tree-id2700 . 1) (undo-tree-id2702 . 1) (undo-tree-id2704 . 1)) ((1103 . 1104)) (23345 10921 783460 489000) 0 nil]) ((#("I" 0 1 (fontified t face font-lock-variable-name-face)) . 1103) (undo-tree-id2705 . 1) (undo-tree-id2707 . 1) (undo-tree-id2709 . 1) (undo-tree-id2711 . 1) (undo-tree-id2713 . 1) (undo-tree-id2715 . 1) (undo-tree-id2717 . 1) (undo-tree-id2719 . 1) (undo-tree-id2721 . 1) (undo-tree-id2723 . 1) (undo-tree-id2725 . 1)) ((1103 . 1104)) (23345 10921 928175 80000) 0 nil]) ((#("A" 0 1 (fontified t face font-lock-variable-name-face)) . 1103) (undo-tree-id2726 . 1) (undo-tree-id2728 . 1) (undo-tree-id2730 . 1) (undo-tree-id2732 . 1) (undo-tree-id2734 . 1) (undo-tree-id2736 . 1) (undo-tree-id2738 . 1) (undo-tree-id2740 . 1) (undo-tree-id2742 . 1) (undo-tree-id2744 . 1)) ((1103 . 1104)) (23345 10922 87242 527000) 0 nil]) ((#("V" 0 1 (fontified t face font-lock-variable-name-face)) . 1103) (undo-tree-id2745 . 1) (undo-tree-id2747 . 1) (undo-tree-id2749 . 1) (undo-tree-id2751 . 1) (undo-tree-id2753 . 1) (undo-tree-id2755 . 1) (undo-tree-id2757 . 1) (undo-tree-id2759 . 1) (undo-tree-id2761 . 1)) ((1103 . 1104)) (23345 10922 239726 360000) 0 nil]) ((#("A" 0 1 (fontified t face font-lock-variable-name-face)) . 1103) (undo-tree-id2762 . 1) (undo-tree-id2764 . 1) (undo-tree-id2766 . 1) (undo-tree-id2768 . 1) (undo-tree-id2770 . 1) (undo-tree-id2772 . 1) (undo-tree-id2774 . 1) (undo-tree-id2776 . 1)) ((1103 . 1104)) (23345 10922 399620 602000) 0 nil]) ((#("_" 0 1 (fontified t face font-lock-variable-name-face)) . 1103) (undo-tree-id2777 . 1) (undo-tree-id2779 . 1) (undo-tree-id2781 . 1) (undo-tree-id2783 . 1) (undo-tree-id2785 . 1) (undo-tree-id2787 . 1) (undo-tree-id2789 . 1)) ((1103 . 1104)) (23345 10922 551108 41000) 0 nil]) ((#("L" 0 1 (fontified t face font-lock-variable-name-face)) . 1103) (undo-tree-id2790 . 1) (undo-tree-id2792 . 1) (undo-tree-id2794 . 1) (undo-tree-id2796 . 1) (undo-tree-id2798 . 1) (undo-tree-id2800 . 1)) ((1103 . 1104)) (23345 10922 711636 655000) 0 nil]) ((#("A" 0 1 (fontified t face font-lock-variable-name-face)) . 1103) (undo-tree-id2801 . 1) (undo-tree-id2803 . 1) (undo-tree-id2805 . 1) (undo-tree-id2807 . 1) (undo-tree-id2809 . 1)) ((1103 . 1104)) (23345 10922 863409 628000) 0 nil]) ((#("T" 0 1 (fontified t face font-lock-variable-name-face)) . 1103) (undo-tree-id2810 . 1) (undo-tree-id2812 . 1) (undo-tree-id2814 . 1) (undo-tree-id2816 . 1)) ((1103 . 1104)) (23345 10923 15539 565000) 0 nil]) ((#("O" 0 1 (fontified t face font-lock-variable-name-face)) . 1103) (undo-tree-id2817 . 1) (undo-tree-id2819 . 1) (undo-tree-id2821 . 1)) ((1103 . 1104)) (23345 10923 159338 426000) 0 nil]) ((#("T" 0 1 (fontified t face font-lock-variable-name-face)) . 1103) (undo-tree-id2822 . 1) (undo-tree-id2824 . 1)) ((1103 . 1104)) (23345 10923 351418 829000) 0 nil]) ((1090 . 1103)) ((#("constraint = " 0 10 (fontified t face font-lock-variable-name-face) 10 13 (fontified t)) . 1090) (undo-tree-id2840 . -13) (undo-tree-id2841 . -13)) (23345 10923 551519 595000) 0 nil]) (1113) (nil undo-tree-canary) (23345 10923 735726 657000) 0 nil]) ((1086 . 1090)) ((#("    " 0 4 (fontified t)) . 1086) (undo-tree-id2842 . -4)) (23345 10923 926261 167000) 0 nil]) ((nil rear-nonsticky nil 1085 . 1086) (#("
" 0 1 (fontified nil)) . -1119) (undo-tree-id2825 . -1) (1085 . 1120) 1083) ((#("
TOTAL_AVAILABLE = [100, 200, 300]
" 0 1 (fontified nil rear-nonsticky nil) 1 2 (fontified nil face font-lock-variable-name-face) 2 3 (fontified nil face font-lock-variable-name-face) 3 4 (fontified nil face font-lock-variable-name-face) 4 5 (fontified nil face font-lock-variable-name-face) 5 6 (fontified nil face font-lock-variable-name-face) 6 7 (fontified nil face font-lock-variable-name-face) 7 8 (fontified nil face font-lock-variable-name-face) 8 9 (fontified nil face font-lock-variable-name-face) 9 10 (fontified nil face font-lock-variable-name-face) 10 11 (fontified nil face font-lock-variable-name-face) 11 12 (fontified nil face font-lock-variable-name-face) 12 13 (fontified nil face font-lock-variable-name-face) 13 14 (fontified nil face font-lock-variable-name-face) 14 15 (fontified nil face font-lock-variable-name-face) 15 16 (fontified nil face font-lock-variable-name-face) 16 17 (fontified nil) 17 18 (fontified nil) 18 19 (fontified nil) 19 20 (fontified nil face (rainbow-delimiters-depth-1-face)) 20 23 (fontified nil face highlight-numbers-number) 23 25 (fontified nil) 25 28 (fontified nil face highlight-numbers-number) 28 30 (fontified nil) 30 33 (fontified nil face highlight-numbers-number) 33 34 (fontified nil face (rainbow-delimiters-depth-1-face)) 34 35 (fontified nil)) . 1085) (undo-tree-id2843 . -34) (undo-tree-id2844 . 34) (undo-tree-id2845 . -1) (undo-tree-id2846 . -34) (undo-tree-id2847 . -1) (undo-tree-id2848 . -1) (undo-tree-id2849 . 17) (undo-tree-id2850 . 18) (undo-tree-id2851 . 18) (undo-tree-id2852 . 19) (undo-tree-id2853 . 19) (undo-tree-id2854 . 20) (undo-tree-id2855 . 20) (undo-tree-id2856 . 21) (undo-tree-id2857 . 21) (undo-tree-id2858 . 22) (undo-tree-id2859 . 22) (undo-tree-id2860 . 23) (undo-tree-id2861 . 23) (undo-tree-id2862 . 24) (undo-tree-id2863 . 24) (undo-tree-id2864 . 25) (undo-tree-id2865 . 25) (undo-tree-id2866 . 26) (undo-tree-id2867 . 26) (undo-tree-id2868 . 27) (undo-tree-id2869 . 27) (undo-tree-id2870 . 28) (undo-tree-id2871 . 28) (undo-tree-id2872 . 29) (undo-tree-id2873 . 29) (undo-tree-id2874 . 30) (undo-tree-id2875 . 30) (undo-tree-id2876 . 31) (undo-tree-id2877 . 31) (undo-tree-id2878 . 32) (undo-tree-id2879 . 32) (undo-tree-id2880 . 33) (undo-tree-id2881 . 33) (undo-tree-id2882 . 34) (undo-tree-id2883 . 34) (undo-tree-id2884 . 34) (undo-tree-id2885 . 34) (undo-tree-id2886 . 11) (undo-tree-id2887 . 34) (undo-tree-id2888 . 34) (undo-tree-id2889 . 11) (undo-tree-id2890 . -1) (undo-tree-id2891 . -16) (1119 . 1120) (nil rear-nonsticky t 1085 . 1086)) (23345 10924 484928 454000) 0 nil]) ((#("TOTAL_AVAILABLE = [100, 200, 300]
" 0 15 (fontified t face font-lock-variable-name-face) 15 18 (fontified t) 18 19 (fontified t face (rainbow-delimiters-depth-1-face)) 19 22 (fontified t face highlight-numbers-number) 22 24 (fontified t) 24 27 (fontified t face highlight-numbers-number) 27 29 (fontified t) 29 32 (fontified t face highlight-numbers-number) 32 33 (fontified t face (rainbow-delimiters-depth-1-face)) 33 34 (fontified t)) . 104) (undo-tree-id2826 . -34) (undo-tree-id2827 . 10) (undo-tree-id2828 . -24) (undo-tree-id2829 . 10) (undo-tree-id2830 . 10) (undo-tree-id2831 . 19) (undo-tree-id2832 . 10) (undo-tree-id2833 . -15) (undo-tree-id2834 . 19) (undo-tree-id2835 . 19) (undo-tree-id2836 . -4) 108) ((104 . 138)) (23345 10925 51296 58000) 0 nil]) ((285 . 289)) nil (23345 10927 79173 880000) 0 nil]) ((nil rear-nonsticky nil 284 . 285) (#("
" 0 1 (fontified nil)) . -303) (undo-tree-id2837 . -1) (284 . 304) 251) nil (23345 10913 485287 193000) 0 nil]) ((#("LIMIT = [4, 5, 10]
" 0 5 (fontified t face font-lock-variable-name-face) 5 8 (fontified t) 8 9 (fontified t face (rainbow-delimiters-depth-1-face)) 9 10 (fontified t face highlight-numbers-number) 10 12 (fontified t) 12 13 (fontified t face highlight-numbers-number) 13 15 (fontified t) 15 17 (fontified t face highlight-numbers-number) 17 18 (fontified t face (rainbow-delimiters-depth-1-face)) 18 19 (fontified t)) . 138) (undo-tree-id2838 . -19) (undo-tree-id2839 . -18) 156 (t 23345 10846 328766 276000)) nil (23345 10913 485295 231000) 0 nil]) ((101 . 103)) nil (23345 10846 317314 292000) 0 nil]) ((#("3" 0 1 (fontified t face highlight-numbers-number)) . 101) (undo-tree-id388 . -1) (t 23345 10415 905520 482000)) nil (23345 10846 317362 983000) 0 nil]) ((4775 . 4783)) nil (23345 10415 890157 445000) 0 nil]) ((4724 . 4732) (t 23345 10366 732061 605000)) nil (23345 10415 890179 446000) 0 nil]) ((4663 . 4665)) nil (23345 10366 710335 212000) 0 nil]) ((#("n" 0 1 (fontified t)) . 4663) (undo-tree-id360 . 1) (undo-tree-id361 . 1) (undo-tree-id362 . 1)) nil (23345 10366 710458 169000) 0 nil]) ((#("i" 0 1 (fontified t)) . 4663) (undo-tree-id363 . 1)) nil (23345 10366 710479 819000) 0 nil]) ((4632 . 4634)) nil (23345 10366 710491 646000) 0 nil]) ((#("x" 0 1 (fontified t)) . 4632) (undo-tree-id364 . 1) (undo-tree-id365 . 1) (undo-tree-id366 . 1) (undo-tree-id367 . 1) (undo-tree-id368 . 1)) nil (23345 10366 710561 620000) 0 nil]) ((#("a" 0 1 (fontified t)) . 4632) (undo-tree-id369 . 1)) nil (23345 10366 710579 519000) 0 nil]) ((4529 . 4531)) nil (23345 10366 710589 694000) 0 nil]) ((#("m" 0 1 (fontified t)) . -4529) (undo-tree-id370 . -1) (undo-tree-id371 . -1) (undo-tree-id372 . 1) 4530) nil (23345 10366 710619 638000) 0 nil]) ((4529 . 4530)) nil (23345 10366 710629 947000) 0 nil]) ((#("x" 0 1 (fontified t)) . 4529) (undo-tree-id373 . 1) (undo-tree-id374 . 1) (undo-tree-id375 . 1) (undo-tree-id376 . 1) (undo-tree-id377 . 1)) nil (23345 10366 710671 6000) 0 nil]) ((#("a" 0 1 (fontified t)) . 4529) (undo-tree-id378 . 1)) nil (23345 10366 710688 945000) 0 nil]) ((4557 . 4558)) nil (23345 10366 710704 496000) 0 nil]) ((#("n" 0 1 (fontified t)) . -4557) (undo-tree-id379 . -1) (undo-tree-id380 . -1) (undo-tree-id381 . 1) 4558) nil (23345 10366 710733 653000) 0 nil]) ((4556 . 4558)) nil (23345 10366 710745 538000) 0 nil]) ((#("n" 0 1 (fontified t)) . 4556) (undo-tree-id382 . 1) (undo-tree-id383 . 1) (undo-tree-id384 . 1) (undo-tree-id385 . 1) (undo-tree-id386 . 1)) nil (23345 10366 710788 985000) 0 nil]) ((#("i" 0 1 (fontified t)) . 4556) (undo-tree-id387 . 1) (t 23345 10294 358409 123000)) nil (23345 10366 710809 619000) 0 nil]) ((4440 . 4441) (#("/" 0 1 (fontified t)) . 4440) (undo-tree-id356 . 1)) nil (23345 10294 353746 270000) 0 nil]) ((4331 . 4332) (#("/" 0 1 (fontified t)) . 4331) (undo-tree-id357 . 1)) nil (23345 10294 353754 552000) 0 nil]) ((4222 . 4223) (#("/" 0 1 (fontified t)) . 4222) (undo-tree-id358 . 1)) nil (23345 10294 353758 887000) 0 nil]) ((4101 . 4102) (#("/" 0 1 (fontified t)) . 4101) (undo-tree-id359 . 1) (t 23345 10236 618400 460000)) nil (23345 10294 353763 250000) 0 nil]) ((#("    print(type(min_lp_dominant_resource))
" 0 3 (fontified t) 3 4 (fontified t rear-nonsticky t) 4 9 (fontified t face font-lock-keyword-face) 9 10 (fontified t face (rainbow-delimiters-depth-1-face)) 10 14 (fontified t face font-lock-builtin-face) 14 15 (fontified t face (rainbow-delimiters-depth-2-face)) 15 39 (fontified t) 39 40 (fontified t face (rainbow-delimiters-depth-2-face)) 40 41 (fontified t face (rainbow-delimiters-depth-1-face)) 41 42 (fontified t)) . 4479) (undo-tree-id290 . -18) (undo-tree-id291 . -41) (undo-tree-id292 . -22) (undo-tree-id293 . 24) (undo-tree-id294 . 24) (undo-tree-id295 . -18) (undo-tree-id296 . -18) (undo-tree-id297 . -41) (undo-tree-id298 . -18) (undo-tree-id299 . -18) (undo-tree-id300 . -18) (undo-tree-id301 . -18) (undo-tree-id302 . 24) (undo-tree-id303 . 24) (undo-tree-id304 . 24) (undo-tree-id305 . 24) (undo-tree-id306 . -18) (undo-tree-id307 . -18) (undo-tree-id308 . -18) (undo-tree-id309 . 20) (undo-tree-id310 . 24) (undo-tree-id311 . -22) (undo-tree-id312 . 20) (undo-tree-id313 . 20) (undo-tree-id314 . 20) (undo-tree-id315 . 20) (undo-tree-id316 . -22) (undo-tree-id317 . -22) (undo-tree-id318 . -4) (undo-tree-id319 . 20) (undo-tree-id320 . 20) (undo-tree-id321 . -22) (undo-tree-id322 . 20) (undo-tree-id323 . -42) (undo-tree-id324 . 1) (undo-tree-id325 . -40) (undo-tree-id326 . -41) (undo-tree-id327 . -40) (undo-tree-id328 . -41) (undo-tree-id329 . -40) (undo-tree-id330 . -41) (undo-tree-id331 . -40) (undo-tree-id332 . -41) (undo-tree-id333 . -40) (undo-tree-id334 . -41) (undo-tree-id335 . -40) (undo-tree-id336 . -41) (undo-tree-id337 . -39) (undo-tree-id338 . -40) (undo-tree-id339 . -14) (undo-tree-id340 . -15) (undo-tree-id341 . -9) (undo-tree-id342 . -10) (undo-tree-id343 . 33) (undo-tree-id344 . -10) (undo-tree-id345 . 2) (undo-tree-id346 . -41) (undo-tree-id347 . 42) (undo-tree-id348 . 1) (undo-tree-id349 . -41) (undo-tree-id350 . 38) (undo-tree-id351 . 42) 4483) nil (23345 10236 610597 485000) 0 nil]) ((#("    print(type(max_lp_dominant_resource))
" 0 4 (fontified t) 4 9 (fontified t face font-lock-keyword-face) 9 10 (fontified t face (rainbow-delimiters-depth-1-face)) 10 14 (fontified t face font-lock-builtin-face) 14 15 (fontified t face (rainbow-delimiters-depth-2-face)) 15 39 (fontified t) 39 40 (fontified t face (rainbow-delimiters-depth-2-face)) 40 41 (fontified t face (rainbow-delimiters-depth-1-face)) 41 42 (fontified t)) . 4479) (undo-tree-id352 . -42) (undo-tree-id353 . -41) (undo-tree-id354 . -42) (undo-tree-id355 . 1) 4520 (t 23345 10234 218399 753000)) nil (23345 10236 610622 381000) 0 nil]) ((4775 . 4776)) nil (23345 10234 211490 471000) 0 nil]) ((#(")" 0 1 (fontified t face (rainbow-delimiters-depth-2-face))) . 4715) (undo-tree-id261 . 1) (undo-tree-id262 . 1) (undo-tree-id263 . -1) (undo-tree-id264 . -1) (undo-tree-id265 . -1) (undo-tree-id266 . 1) (undo-tree-id267 . 1) (undo-tree-id268 . 1) (undo-tree-id269 . 1) (undo-tree-id270 . -1)) nil (23345 10234 211530 116000) 0 nil]) ((4714 . 4716) (#("(" 0 1 (fontified nil)) . -4714) (undo-tree-id271 . -1) (undo-tree-id272 . -1) (undo-tree-id273 . -1) (4714 . 4715)) nil (23345 10234 211541 430000) 0 nil]) (4768) nil (23345 10234 211544 985000) 0 nil]) ((4664 . 4665)) nil (23345 10234 211547 135000) 0 nil]) ((#(")" 0 1 (fontified t face (rainbow-delimiters-depth-2-face))) . 4612) (undo-tree-id274 . 1) (undo-tree-id275 . 1) (undo-tree-id276 . -1) (undo-tree-id277 . -1) (undo-tree-id278 . -1) (undo-tree-id279 . 1) (undo-tree-id280 . 1) (undo-tree-id281 . 1) (undo-tree-id282 . 1) (undo-tree-id283 . 1) (undo-tree-id284 . 1) (undo-tree-id285 . -1) (undo-tree-id286 . -1)) nil (23345 10234 211568 536000) 0 nil]) ((4611 . 4613) (#("(" 0 1 (fontified nil)) . -4611) (undo-tree-id287 . -1) (undo-tree-id288 . -1) (undo-tree-id289 . -1) (4611 . 4612) (t 23345 10166 948640 239000)) nil (23345 10234 211578 303000) 0 nil]) ((4537 . 4539)) nil (23345 10166 942743 327000) 0 nil]) ((#("x" 0 1 (fontified t)) . 4537) (undo-tree-id254 . 1) (undo-tree-id255 . 1) (undo-tree-id256 . 1)) nil (23345 10166 942775 407000) 0 nil]) ((#("a" 0 1 (fontified t)) . 4537) (undo-tree-id257 . 1)) nil (23345 10166 942781 155000) 0 nil]) ((nil rear-nonsticky nil 4524 . 4525) (#("
" 0 1 (fontified nil)) . -4562) (undo-tree-id258 . -1) (4520 . 4563) 4518) nil (23345 10166 942787 810000) 0 nil]) ((4494 . 4518) (#("max_lp_domi" 0 11 (fontified t)) . -4494) (undo-tree-id259 . -11) (undo-tree-id260 . -11) 4505) nil (23345 10166 942794 510000) 0 nil]) ((4504 . 4505)) nil (23345 10166 942797 500000) 0 nil]) ((4494 . 4504) (4493 . 4495) (#("(" 0 1 (fontified nil face font-lock-builtin-face)) . -4493) (4489 . 4494) (4488 . 4490) (#("(" 0 1 (fontified nil face font-lock-keyword-face)) . -4488) (4483 . 4489)) nil (23345 10166 942803 895000) 0 nil]) ((4478 . 4483) (t 23345 10048 688717 165000) 4465) nil (23345 10166 942807 994000) 0 nil]) ((4598 . 4606) (#("f" 0 1 (fontified t face font-lock-string-face)) . -4598) (undo-tree-id251 . -1) (4597 . 4599)) nil (23345 10048 672424 904000) 0 nil]) ((4493 . 4501) (#("f" 0 1 (fontified t face font-lock-string-face)) . -4493) (undo-tree-id252 . -1) (undo-tree-id253 . -1) (4492 . 4494) (t 23345 10039 71991 511000)) nil (23345 10048 672455 169000) 0 nil]) ((#(" " 0 1 (fontified t face font-lock-string-face)) . 4589) (undo-tree-id128 . 1) (undo-tree-id129 . 1) (undo-tree-id130 . 1) (undo-tree-id131 . 1) (undo-tree-id132 . 1) (undo-tree-id133 . 1) (undo-tree-id134 . 1) (undo-tree-id135 . 1) (undo-tree-id136 . 1) (undo-tree-id137 . 1) (undo-tree-id138 . 1) (undo-tree-id139 . 1) (undo-tree-id140 . 1) (undo-tree-id141 . 1) (undo-tree-id142 . 1) (undo-tree-id143 . 1) (undo-tree-id144 . 1) (undo-tree-id145 . 1) (undo-tree-id146 . 1) (undo-tree-id147 . 1) (undo-tree-id148 . 1) (undo-tree-id149 . 1) (undo-tree-id150 . 1) (undo-tree-id151 . 1) (undo-tree-id152 . 1) (undo-tree-id153 . 1) (undo-tree-id154 . 1) (undo-tree-id155 . 1) (undo-tree-id156 . 1)) nil (23345 10039 64050 780000) 0 nil]) ((#(" " 0 1 (fontified t face font-lock-string-face)) . 4589) (undo-tree-id157 . 1) (undo-tree-id158 . 1) (undo-tree-id159 . 1) (undo-tree-id160 . 1) (undo-tree-id161 . 1) (undo-tree-id162 . 1) (undo-tree-id163 . 1) (undo-tree-id164 . 1) (undo-tree-id165 . 1) (undo-tree-id166 . 1) (undo-tree-id167 . 1) (undo-tree-id168 . 1) (undo-tree-id169 . 1) (undo-tree-id170 . 1) (undo-tree-id171 . 1) (undo-tree-id172 . 1) (undo-tree-id173 . 1) (undo-tree-id174 . 1) (undo-tree-id175 . 1) (undo-tree-id176 . 1) (undo-tree-id177 . 1) (undo-tree-id178 . 1) (undo-tree-id179 . 1) (undo-tree-id180 . 1) (undo-tree-id181 . 1) (undo-tree-id182 . 1) (undo-tree-id183 . 1)) nil (23345 10039 64090 166000) 0 nil]) ((#(" " 0 1 (fontified t face font-lock-string-face)) . 4589) (undo-tree-id184 . 1) (undo-tree-id185 . 1) (undo-tree-id186 . 1) (undo-tree-id187 . 1) (undo-tree-id188 . 1) (undo-tree-id189 . 1) (undo-tree-id190 . 1) (undo-tree-id191 . 1) (undo-tree-id192 . 1) (undo-tree-id193 . 1) (undo-tree-id194 . 1) (undo-tree-id195 . 1) (undo-tree-id196 . 1) (undo-tree-id197 . 1) (undo-tree-id198 . 1) (undo-tree-id199 . 1) (undo-tree-id200 . 1) (undo-tree-id201 . 1) (undo-tree-id202 . 1) (undo-tree-id203 . 1) (undo-tree-id204 . 1) (undo-tree-id205 . 1) (undo-tree-id206 . 1) (undo-tree-id207 . 1) (undo-tree-id208 . 1)) nil (23345 10039 64297 612000) 0 nil]) ((#(" " 0 1 (fontified t face font-lock-string-face)) . 4589) (undo-tree-id209 . 1) (undo-tree-id210 . 1) (undo-tree-id211 . 1) (undo-tree-id212 . 1) (undo-tree-id213 . 1) (undo-tree-id214 . 1) (undo-tree-id215 . 1) (undo-tree-id216 . 1) (undo-tree-id217 . 1) (undo-tree-id218 . 1) (undo-tree-id219 . 1) (undo-tree-id220 . 1) (undo-tree-id221 . 1) (undo-tree-id222 . 1) (undo-tree-id223 . 1) (undo-tree-id224 . 1) (undo-tree-id225 . 1) (undo-tree-id226 . 1) (undo-tree-id227 . 1) (undo-tree-id228 . 1) (undo-tree-id229 . 1) (undo-tree-id230 . 1) (undo-tree-id231 . 1)) nil (23345 10039 64328 240000) 0 nil]) ((4584 . 4589)) nil (23345 10039 64333 73000) 0 nil]) ((4582 . 4584)) nil (23345 10039 64335 969000) 0 nil]) ((#(":" 0 1 (fontified t face font-lock-string-face)) . 4582) (undo-tree-id232 . 1) (undo-tree-id233 . 1) (undo-tree-id234 . 1) (undo-tree-id235 . 1) (undo-tree-id236 . 1) (undo-tree-id237 . 1) (undo-tree-id238 . 1) (undo-tree-id239 . 1) (undo-tree-id240 . 1)) nil (23345 10039 64348 433000) 0 nil]) ((#("p" 0 1 (fontified t face font-lock-string-face)) . 4582) (undo-tree-id241 . 1) (undo-tree-id242 . 1) (undo-tree-id243 . 1) (undo-tree-id244 . 1) (undo-tree-id245 . 1) (undo-tree-id246 . 1) (undo-tree-id247 . 1)) nil (23345 10039 64358 79000) 0 nil]) ((#("l" 0 1 (fontified t face font-lock-string-face)) . 4582) (undo-tree-id248 . 1) (undo-tree-id249 . 1) (undo-tree-id250 . 1) (t 23345 10029 668743 880000)) nil (23345 10039 64363 930000) 0 nil]) ((4600 . 4610) (#(" " 0 1 (fontified nil)) . 4600) (4599 . 4600)) nil (23345 10029 654668 356000) 0 nil]) ((#(" " 0 1 (fontified t)) . 4507) (undo-tree-id91 . -1) (undo-tree-id92 . -1)) nil (23345 10029 654714 868000) 0 nil]) ((#("\\" 0 1 (fontified t)) . 4508)) nil (23345 10029 654723 653000) 0 nil]) ((4509 . 4520)) nil (23345 10029 654729 672000) 0 nil]) ((4508 . 4509)) nil (23345 10029 654734 443000) 0 nil]) ((4625 . 4631)) nil (23345 10029 654739 544000) 0 nil]) ((#("p" 0 1 (fontified t)) . 4625)) nil (23345 10029 654744 741000) 0 nil]) ((#("l" 0 1 (fontified t)) . 4625)) nil (23345 10029 654749 698000) 0 nil]) ((4594 . 4600)) nil (23345 10029 654756 12000) 0 nil]) ((#("p" 0 1 (fontified t)) . 4594)) nil (23345 10029 654760 898000) 0 nil]) ((#("l" 0 1 (fontified t)) . 4594)) nil (23345 10029 654766 150000) 0 nil]) ((#("
" 0 1 (fontified t)) . 4561) (undo-tree-id93 . -1) (undo-tree-id94 . -1)) nil (23345 10029 654779 376000) 0 nil]) ((nil rear-nonsticky nil 4565 . 4566) (#("
" 0 1 (fontified nil)) . -4643) (4561 . 4644)) nil (23345 10029 654788 140000) 0 nil]) ((#("    " 0 4 (fontified t)) . -4561) (undo-tree-id95 . -4) 4565) nil (23345 10029 654854 238000) 0 nil]) ((4560 . 4565) 4559) nil (23345 10029 654862 71000) 0 nil]) ((4535 . 4559) (#("min_lp" 0 6 (fontified t)) . -4535) (undo-tree-id96 . -6) 4541) nil (23345 10029 654875 722000) 0 nil]) ((4532 . 4541)) nil (23345 10029 654882 923000) 0 nil]) ((#(" " 0 1 (fontified t)) . -4532) (undo-tree-id97 . -1) (#("/" 0 1 (fontified t)) . -4533) (undo-tree-id98 . -1) (#(" " 0 1 (fontified t)) . -4534) (undo-tree-id99 . -1) 4535) nil (23345 10029 654901 331000) 0 nil]) ((4532 . 4535)) nil (23345 10029 654911 43000) 0 nil]) ((4508 . 4532) (#("max_lp_d" 0 8 (fontified t)) . -4508) (undo-tree-id100 . -8) 4516) nil (23345 10029 654922 83000) 0 nil]) ((4514 . 4516)) nil (23345 10029 654929 44000) 0 nil]) ((4508 . 4514)) nil (23345 10029 654934 196000) 0 nil]) ((#("(" 0 1 (fontified nil face (rainbow-delimiters-depth-2-face))) . -4508) (undo-tree-id101 . -1) (undo-tree-id102 . 1) (undo-tree-id103 . -1) (undo-tree-id104 . -1) (#(")" 0 1 (fontified t face (rainbow-delimiters-depth-2-face))) . 4509) (undo-tree-id105 . 1) (undo-tree-id106 . -1)) nil (23345 10029 655016 196000) 0 nil]) ((4508 . 4510) (#("(" 0 1 (fontified nil)) . -4508) (4505 . 4509) (#("\"" 0 1 (fontified nil face font-lock-string-face syntax-table #2=(15))) . 4505) (4503 . 4505) (#("f" 0 1 (fontified t face font-lock-string-face)) . -4503) (undo-tree-id107 . -1) (4498 . 4504)) nil (23345 10029 655069 167000) 0 nil]) ((4490 . 4498) (4489 . 4491) (#("\"" 0 1 (fontified nil face (rainbow-delimiters-depth-1-face) syntax-table #2#)) . -4489) (4489 . 4490) (4488 . 4490) (#("(" 0 1 (fontified nil face font-lock-keyword-face)) . -4488) (4488 . 4489)) nil (23345 10029 655089 328000) 0 nil]) ((#(" " 0 1 (fontified t)) . -4488) (undo-tree-id108 . -1) (undo-tree-id109 . -1) (undo-tree-id110 . -1) (#("(" 0 1 (fontified nil face (rainbow-delimiters-depth-1-face))) . -4489) (undo-tree-id111 . -1) (undo-tree-id112 . 1) (undo-tree-id113 . -1) (undo-tree-id114 . -1) (#(")" 0 1 (fontified t face (rainbow-delimiters-depth-1-face))) . 4490) (undo-tree-id115 . 1) (undo-tree-id116 . -1) (#("\"" 0 1 (fontified nil syntax-table #2# face font-lock-string-face)) . -4490) (undo-tree-id117 . -1) (#("\"" 0 1 (fontified t syntax-table #2# face font-lock-string-face)) . 4491) (#("l" 0 1 (fontified t face font-lock-string-face)) . -4491) (undo-tree-id118 . -1) (#("p" 0 1 (fontified t face font-lock-string-face)) . -4492) (undo-tree-id119 . -1) 4493) nil (23345 10029 655143 788000) 0 nil]) ((4491 . 4493) (4490 . 4492) (#("\"" 0 1 (fontified nil face (rainbow-delimiters-depth-1-face) syntax-table #2#)) . -4490) (4490 . 4491) (4489 . 4491) (#("(" 0 1 (fontified nil)) . -4489) (4483 . 4490)) nil (23345 10029 655165 483000) 0 nil]) ((4478 . 4483) 4465) nil (23345 10029 655174 78000) 0 nil]) ((nil rear-nonsticky nil 4482 . 4483) (#("
" 0 1 (fontified nil)) . -4496) (4478 . 4497)) nil (23345 10029 655181 229000) 0 nil]) ((4430 . 4431) (#("                                       " 0 39 (fontified nil)) . 4430) (#("
" 0 1 (fontified t)) . -4430) (undo-tree-id120 . -1) 4401) nil (23345 10029 655193 998000) 0 nil]) ((4388 . 4401)) nil (23345 10029 655201 776000) 0 nil]) ((4387 . 4388)) nil (23345 10029 655206 352000) 0 nil]) ((4321 . 4322) (#("                                       " 0 39 (fontified nil)) . 4321) (#("
" 0 1 (fontified t)) . -4321) (undo-tree-id121 . -1) 4292) nil (23345 10029 655227 375000) 0 nil]) ((4279 . 4292)) nil (23345 10029 655234 451000) 0 nil]) ((4278 . 4279)) nil (23345 10029 655239 172000) 0 nil]) ((4208 . 4209) (#("                                           " 0 43 (fontified nil)) . 4208) (#("
" 0 1 (fontified t)) . -4208) (undo-tree-id122 . -1) 4175) nil (23345 10029 655250 949000) 0 nil]) ((4162 . 4175)) nil (23345 10029 655258 20000) 0 nil]) ((4161 . 4162)) nil (23345 10029 655262 541000) 0 nil]) ((4087 . 4088) (#("                                           " 0 43 (fontified nil)) . 4087) (#("
" 0 1 (fontified t)) . -4087) (undo-tree-id123 . -1) 4054) nil (23345 10029 655273 576000) 0 nil]) ((4041 . 4054)) nil (23345 10029 655280 341000) 0 nil]) ((4040 . 4041)) nil (23345 10029 655285 558000) 0 nil]) ((4478 . 4480)) nil (23345 10029 655291 587000) 0 nil]) ((#("y" 0 1 (fontified t)) . 4478)) nil (23345 10029 655296 488000) 0 nil]) ((#("d" 0 1 (fontified t)) . 4478)) nil (23345 10029 655301 891000) 0 nil]) ((#("e" 0 1 (fontified t)) . 4478)) nil (23345 10029 655307 388000) 0 nil]) ((#("e" 0 1 (fontified t)) . 4478)) nil (23345 10029 655313 437000) 0 nil]) ((#("r" 0 1 (fontified t)) . 4478)) nil (23345 10029 655319 271000) 0 nil]) ((#("g" 0 1 (fontified t)) . 4478)) nil (23345 10029 655324 948000) 0 nil]) ((4344 . 4346)) nil (23345 10029 655330 962000) 0 nil]) ((#("y" 0 1 (fontified t)) . 4344)) nil (23345 10029 655335 518000) 0 nil]) ((#("d" 0 1 (fontified t)) . 4344)) nil (23345 10029 655341 301000) 0 nil]) ((#("e" 0 1 (fontified t)) . 4344)) nil (23345 10029 655346 869000) 0 nil]) ((#("e" 0 1 (fontified t)) . 4344)) nil (23345 10029 655352 577000) 0 nil]) ((#("r" 0 1 (fontified t)) . 4344)) nil (23345 10029 655357 759000) 0 nil]) ((#("g" 0 1 (fontified t)) . 4344)) nil (23345 10029 655362 760000) 0 nil]) ((#("    " 0 4 (fontified t)) . -4547) 4553) nil (23345 10029 655368 534000) 0 nil]) ((#("    " 0 4 (fontified t)) . -4409) 4419) nil (23345 10029 655375 414000) 0 nil]) ((4559 . 4561)) nil (23345 10029 655381 2000) 0 nil]) ((#("y" 0 1 (fontified t)) . 4559)) nil (23345 10029 655386 54000) 0 nil]) ((#("d" 0 1 (fontified t)) . 4559)) nil (23345 10029 655391 852000) 0 nil]) ((#("e" 0 1 (fontified t)) . 4559)) nil (23345 10029 655396 688000) 0 nil]) ((#("e" 0 1 (fontified t)) . 4559)) nil (23345 10029 655401 524000) 0 nil]) ((#("r" 0 1 (fontified t)) . 4559)) nil (23345 10029 655407 588000) 0 nil]) ((#("g" 0 1 (fontified t)) . 4559)) nil (23345 10029 655413 376000) 0 nil]) ((4417 . 4419)) nil (23345 10029 655419 215000) 0 nil]) ((#("y" 0 1 (fontified t)) . 4417)) nil (23345 10029 655424 717000) 0 nil]) ((#("d" 0 1 (fontified t)) . 4417)) nil (23345 10029 655429 949000) 0 nil]) ((#("e" 0 1 (fontified t)) . 4417)) nil (23345 10029 655437 121000) 0 nil]) ((#("e" 0 1 (fontified t)) . 4417)) nil (23345 10029 655442 744000) 0 nil]) ((#("r" 0 1 (fontified t)) . 4417)) nil (23345 10029 655448 417000) 0 nil]) ((#("g" 0 1 (fontified t)) . 4417)) nil (23345 10029 655454 350000) 0 nil]) ((4459 . 4461)) nil (23345 10029 655460 279000) 0 nil]) ((#("y" 0 1 (fontified t face font-lock-variable-name-face)) . 4459)) nil (23345 10029 655465 320000) 0 nil]) ((#("d" 0 1 (fontified t face font-lock-variable-name-face)) . 4459)) nil (23345 10029 655470 422000) 0 nil]) ((#("e" 0 1 (fontified t face font-lock-variable-name-face)) . 4459)) nil (23345 10029 655476 261000) 0 nil]) ((#("e" 0 1 (fontified t face font-lock-variable-name-face)) . 4459)) nil (23345 10029 655481 327000) 0 nil]) ((#("r" 0 1 (fontified t face font-lock-variable-name-face)) . 4459)) nil (23345 10029 655486 324000) 0 nil]) ((#("g" 0 1 (fontified t face font-lock-variable-name-face)) . 4459)) nil (23345 10029 655491 686000) 0 nil]) ((4313 . 4315)) nil (23345 10029 655497 494000) 0 nil]) ((#("y" 0 1 (fontified t face font-lock-variable-name-face)) . 4313)) nil (23345 10029 655502 485000) 0 nil]) ((#("d" 0 1 (fontified t face font-lock-variable-name-face)) . 4313)) nil (23345 10029 655508 8000) 0 nil]) ((#("e" 0 1 (fontified t face font-lock-variable-name-face)) . 4313)) nil (23345 10029 655513 456000) 0 nil]) ((#("e" 0 1 (fontified t face font-lock-variable-name-face)) . 4313)) nil (23345 10029 655518 783000) 0 nil]) ((#("r" 0 1 (fontified t face font-lock-variable-name-face)) . 4313)) nil (23345 10029 655524 165000) 0 nil]) ((#("g" 0 1 (fontified t face font-lock-variable-name-face)) . 4313)) nil (23345 10029 655528 941000) 0 nil]) ((nil rear-nonsticky nil 4308 . 4309) (#("
" 0 1 (fontified nil)) . -4600) (4300 . 4601) 4270) nil (23345 10029 655538 393000) 0 nil]) ((4194 . 4197)) nil (23345 10029 655544 848000) 0 nil]) ((#("x" 0 1 (fontified t)) . 4194)) nil (23345 10029 655549 889000) 0 nil]) ((#("a" 0 1 (fontified t)) . 4194)) nil (23345 10029 655554 740000) 0 nil]) ((#("m" 0 1 (fontified t)) . 4194)) nil (23345 10029 655560 408000) 0 nil]) ((4190 . 4193)) nil (23345 10029 655566 823000) 0 nil]) ((#("x" 0 1 (fontified t)) . 4190)) nil (23345 10029 655572 170000) 0 nil]) ((#("a" 0 1 (fontified t)) . 4190)) nil (23345 10029 655577 908000) 0 nil]) ((#("m" 0 1 (fontified t face font-lock-builtin-face)) . 4190)) nil (23345 10029 655582 980000) 0 nil]) ((4159 . 4162)) nil (23345 10029 655587 791000) 0 nil]) ((#("x" 0 1 (fontified t face font-lock-variable-name-face)) . 4159)) nil (23345 10029 655592 321000) 0 nil]) ((#("a" 0 1 (fontified t face font-lock-variable-name-face)) . 4159)) nil (23345 10029 655597 904000) 0 nil]) ((#("m" 0 1 (fontified t face font-lock-variable-name-face)) . 4159)) nil (23345 10029 655603 402000) 0 nil]) ((nil rear-nonsticky nil 4158 . 4159) (#("
" 0 1 (fontified nil)) . -4300) (4150 . 4301) 4117) nil (23345 10029 655613 881000) 0 nil]) ((4074 . 4117) (#(" " 0 1 (fontified nil)) . 4074) (4073 . 4074)) nil (23345 10029 655622 511000) 0 nil]) ((#("\\" 0 1 (fontified t)) . 4037)) nil (23345 10029 655628 991000) 0 nil]) ((#(" " 0 1 (fontified t)) . 4037)) nil (23345 10029 655634 604000) 0 nil]) ((4039 . 4040) (#("            " 0 12 (fontified nil)) . 4039) (#("
" 0 1 (fontified t)) . -4039) (undo-tree-id124 . -1) 4038) nil (23345 10029 655647 528000) 0 nil]) ((#("]" 0 1 (fontified nil face (rainbow-delimiters-depth-2-face))) . 4120) (undo-tree-id125 . 1) (undo-tree-id126 . -1) (4118 . 4120) (4117 . 4119) (#("[" 0 1 (fontified nil)) . -4117) (4101 . 4118)) nil (23345 10029 655666 948000) 0 nil]) ((#("/" 0 1 (fontified t)) . -4101) (undo-tree-id127 . -1) 4102) nil (23345 10029 655679 436000) 0 nil]) ((4101 . 4102)) nil (23345 10029 655685 64000) 0 nil]) ((4039 . 4052)) nil (23345 10029 655689 479000) 0 nil]) ((4038 . 4039)) nil (23345 10029 655693 990000) 0 nil] [nil nil ((4073 . 4117) (#(" " 0 1 (fontified t)) . 4073) (undo-tree-id82 . -1) (undo-tree-id83 . -1) 4074) ((4073 . 4074) (#("
                                           " 0 44 (fontified t)) . 4073) (undo-tree-id88 . -44) (undo-tree-id89 . -1) (undo-tree-id90 . -44)) (23345 9838 524887 247000) 0 nil]) ((#("]" 0 1 (fontified nil face (rainbow-delimiters-depth-2-face))) . 4087) (undo-tree-id84 . 1) (undo-tree-id85 . -1) (undo-tree-id86 . -1) (4085 . 4087) (4084 . 4086) (#("[" 0 1 (fontified nil)) . -4084) (undo-tree-id87 . -1) (4074 . 4085)) nil (23345 9838 525100 586000) 0 nil]) ((4049 . 4055)) nil (23345 9838 524905 247000) 0 nil]) ((4048 . 4049)) nil (23345 9838 524907 605000) 0 nil]) ((4013 . 4020) (t 23345 9821 490344 206000)) nil (23345 9838 524910 50000) 0 nil]) ((3829 . 3832)) nil (23345 9821 477103 649000) 0 nil]) ((3796 . 3799)) nil (23345 9821 477124 79000) 0 nil]) ((3757 . 3764)) nil (23345 9821 477131 656000) 0 nil]) ((3720 . 3727)) nil (23345 9821 477137 193000) 0 nil]) ((nil rear-nonsticky nil 3777 . 3778) (#("
" 0 1 (fontified nil)) . -3835) (undo-tree-id72 . -1) (3773 . 3836) 3746) nil (23345 9821 477165 766000) 0 nil]) ((3976 . 3978)) nil (23345 9821 477174 510000) 0 nil]) ((3955 . 3976) (#("max_domi" 0 8 (fontified t)) . -3955) (undo-tree-id73 . -8) 3963) nil (23345 9821 477186 401000) 0 nil]) ((3957 . 3963)) nil (23345 9821 477193 336000) 0 nil]) ((3955 . 3957) (3954 . 3956) (#("(" 0 1 (fontified nil face font-lock-builtin-face)) . -3954) (3949 . 3955)) nil (23345 9821 477202 586000) 0 nil]) ((#(" " 0 1 (fontified t)) . -3949) (undo-tree-id74 . -1) 3950) nil (23345 9821 477213 490000) 0 nil]) ((3944 . 3950)) nil (23345 9821 477220 947000) 0 nil]) ((#("u" 0 1 (fontified t)) . -3944) (undo-tree-id75 . -1) 3945) nil (23345 9821 477230 668000) 0 nil]) ((3764 . 3765)) nil (23345 9821 477236 155000) 0 nil]) ((#("r" 0 1 (fontified t face font-lock-variable-name-face)) . -3765) (undo-tree-id76 . -1) 3766) nil (23345 9821 477244 995000) 0 nil]) ((3765 . 3766)) nil (23345 9821 477250 888000) 0 nil]) ((3734 . 3735)) nil (23345 9821 477255 603000) 0 nil]) ((#("r" 0 1 (fontified t)) . -3943) (undo-tree-id77 . -1) (#("c" 0 1 (fontified t)) . -3944) (undo-tree-id78 . -1) 3945) nil (23345 9821 477269 429000) 0 nil]) ((3942 . 3945)) nil (23345 9821 477276 840000) 0 nil]) ((#("u" 0 1 (fontified t)) . -3942) (undo-tree-id79 . -1) (#("r" 0 1 (fontified t)) . -3943) (undo-tree-id80 . -1) 3944) nil (23345 9821 477290 114000) 0 nil]) ((3927 . 3944)) nil (23345 9821 477297 510000) 0 nil]) ((#("s" 0 1 (fontified t)) . -3927) (undo-tree-id81 . -1) 3928) nil (23345 9821 477313 385000) 0 nil]) ((3925 . 3928)) nil (23345 9821 477319 739000) 0 nil]) ((3916 . 3925) (t 23345 9772 225406 488000) 3876) nil (23345 9821 477327 431000) 0 nil]) ((3766 . 3771)) nil (23345 9772 220131 18000) 0 nil]) ((3745 . 3766)) nil (23345 9772 220145 553000) 0 nil]) ((3740 . 3745)) nil (23345 9772 220150 135000) 0 nil]) ((3736 . 3740)) nil (23345 9772 220154 103000) 0 nil]) ((3729 . 3736)) nil (23345 9772 220157 949000) 0 nil]) ((#("r" 0 1 (fontified t)) . -3729) (undo-tree-id62 . -1) (undo-tree-id63 . -1) (#("a" 0 1 (fontified t)) . -3730) (undo-tree-id64 . -1) (undo-tree-id65 . -1) (#("t" 0 1 (fontified t)) . -3731) (undo-tree-id66 . -1) (undo-tree-id67 . -1) (#("i" 0 1 (fontified t)) . -3732) (undo-tree-id68 . -1) (undo-tree-id69 . -1) (#("o" 0 1 (fontified t)) . -3733) (undo-tree-id70 . -1) (undo-tree-id71 . -1) 3734) nil (23345 9772 220203 347000) 0 nil]) ((3716 . 3734)) nil (23345 9772 220213 601000) 0 nil]) ((3711 . 3716) (t 23345 8743 6906 362000) 3711) nil (23345 9772 220218 277000) 0 nil]) ((#("," 0 1 (fontified t)) . -61) (undo-tree-id0 . -1) (undo-tree-id1 . -1) (undo-tree-id2 . -1) (undo-tree-id3 . -1) (#(" " 0 1 (fontified t)) . -62) (undo-tree-id4 . -1) (undo-tree-id5 . -1) (undo-tree-id6 . -1) (undo-tree-id7 . -1) (#("D" 0 1 (fontified t)) . -63) (undo-tree-id8 . -1) (undo-tree-id9 . -1) (undo-tree-id10 . -1) (undo-tree-id11 . -1) (#("i" 0 1 (fontified t)) . -64) (undo-tree-id12 . -1) (undo-tree-id13 . -1) (undo-tree-id14 . -1) (undo-tree-id15 . -1) (#("c" 0 1 (fontified t)) . -65) (undo-tree-id16 . -1) (undo-tree-id17 . -1) (undo-tree-id18 . -1) (undo-tree-id19 . -1) (#("t" 0 1 (fontified t)) . -66) (undo-tree-id20 . -1) (undo-tree-id21 . -1) (undo-tree-id22 . -1) (undo-tree-id23 . -1) (#("," 0 1 (fontified t)) . -67) (undo-tree-id24 . -1) (undo-tree-id25 . -1) (undo-tree-id26 . -1) (undo-tree-id27 . -1) (#(" " 0 1 (fontified t)) . -68) (undo-tree-id28 . -1) (undo-tree-id29 . -1) (undo-tree-id30 . -1) (undo-tree-id31 . -1) (#("C" 0 1 (fontified t)) . -69) (undo-tree-id32 . -1) (undo-tree-id33 . -1) (undo-tree-id34 . -1) (undo-tree-id35 . -1) (#("a" 0 1 (fontified t)) . -70) (undo-tree-id36 . -1) (undo-tree-id37 . -1) (undo-tree-id38 . -1) (undo-tree-id39 . -1) (#("l" 0 1 (fontified t)) . -71) (undo-tree-id40 . -1) (undo-tree-id41 . -1) (undo-tree-id42 . -1) (undo-tree-id43 . -1) (#("l" 0 1 (fontified t)) . -72) (undo-tree-id44 . -1) (undo-tree-id45 . -1) (undo-tree-id46 . -1) (undo-tree-id47 . -1) (#("a" 0 1 (fontified t)) . -73) (undo-tree-id48 . -1) (undo-tree-id49 . -1) (undo-tree-id50 . -1) (undo-tree-id51 . -1) (#("b" 0 1 (fontified t)) . -74) (undo-tree-id52 . -1) (undo-tree-id53 . -1) (undo-tree-id54 . -1) (undo-tree-id55 . -1) (#("l" 0 1 (fontified t)) . -75) (undo-tree-id56 . -1) (undo-tree-id57 . -1) (undo-tree-id58 . -1) (undo-tree-id59 . -1) (#("e" 0 1 (fontified t)) . -76) (undo-tree-id60 . -1) (undo-tree-id61 . -1) 77 (t 23341 41910 774616 620000)) nil (23345 8742 986015 705000) 0 nil]) nil nil (23345 8742 986061 80000) 0 nil] #3# 22337 350 nil)

bug#31995: 26.1; Condition-case failed to catch error

[Noam Postavsky]

retitle 31995 Condition-case can't catch C stack overflow
tags 31995 + wontfix
quit

Sheng Yang (杨圣) <yangsheng6810@gmail.com> writes:

> It seems that the function call ~(read (current-buffer))~ causes C stack
> overflow. Though I personally believe the undo-tree file is not
> corrupted, I assume this error should be caught by condition-case even
> if the file to read is indeed corrupted.

The file is not corrupted, it's just that the recursion goes too deep
during reading.  However, I don't think condition-case can reasonably
catch C stack overflow.  As it is, recovering from C stack overflow at
all is a bit controversial, which is why we have the
attempt-stack-overflow-recovery variable which you can set to nil in
order to reliably segfault instead.

bug#31995: 26.1; Condition-case failed to catch error

[Sheng Yang]

[-- Attachment #1: Type: text/plain, Size: 2381 bytes --]

condition-case was able to catch C stack overflow before commit
f0a1e9ec. I understand that recovering from C stack overflow is magical
and can be tricky, but emacs is capable of this thanks to all of your
efforts. The only part missing is re-throwing this as a lisp exception,
which should not be as hard as recovering from C stack overflow.

Here is why this feature can be important. When we open a file,
find-file-hook will call many functions, including but not limited to
undo-tree. These functions read additional files (undo-tree, project
file, dir-local, etc.) and perform tasks. To guard against file
corruption and other problems, all reads are wrapped in some try-catch
clause. However, the trust in these try-catch clauses are let down, and
a single file corruption (or a file that can cause C stack overflow)
ruins the whole process of loading file with a mysterious message
of"Recovered from C stack overflow". I don't think this is acceptable.

From a lisp programmer's perspective, if exceptions should occur, they
should be caught. This is exactly the behavior that condition-case and
other try-catch clause promise.

I am not an expert in C, debugging the C part of emacs can be painful
for me. Therefore I bisected and found the offending commits (see my
original bug report). Hope this can help you pin point the problem and
fix the bug.

On 07/11/2018 02:48 PM, Noam Postavsky wrote:
> retitle 31995 Condition-case can't catch C stack overflow
> tags 31995 + wontfix
> quit
>
> Sheng Yang (杨圣) <yangsheng6810@gmail.com> writes:
>
>> It seems that the function call ~(read (current-buffer))~ causes C stack
>> overflow. Though I personally believe the undo-tree file is not
>> corrupted, I assume this error should be caught by condition-case even
>> if the file to read is indeed corrupted.
> The file is not corrupted, it's just that the recursion goes too deep
> during reading.  However, I don't think condition-case can reasonably
> catch C stack overflow.  As it is, recovering from C stack overflow at
> all is a bit controversial, which is why we have the
> attempt-stack-overflow-recovery variable which you can set to nil in
> order to reliably segfault instead.

-- 
Sheng Yang(杨圣)
PhD student
Computer Science Department
University of Maryland, College Park
E-mail:yangsheng6810@gmail.com


[-- Attachment #2: Type: text/html, Size: 3164 bytes --]

bug#31995: 26.1; Condition-case failed to catch error

[Sheng Yang]

[-- Attachment #1: Type: text/plain, Size: 4754 bytes --]

@Paul Eggert: I am cc-ing you because you are the author of commit
f0a1e9ec and may be more familiar with this topic.

Please ignore my previous email, I thought condition-case WAS able to
catch C stack overflow before commit f0a1e9ec, but it seems not the
case, or at least not related to this bug.

After some code reading and debugging, I find the problem: in commit
f0a1e9ec, the read_buffer for read1 is moved from a static variable to
an array stackbuf of size MAX_ALLOCA located on stack. MAX_ALLOCA is
defined to be 16 * 1024. So every recursion of read1 will eat up 16KB of
stack, and thousands of recursions (not uncommon for a deeply nested
structure) quickly use up whole stack and cause stack overflow.

One solution is to make stackbuf much smaller. I set it to 16, and this
bug disappeared. Though 16 may be too aggressive, 16 * 1024 is way too
big for a stack-based buffer in a function that may recur thousands of
times. To make things worse, the buffer is totally a waste of space when
read1 is dealing with everything ("[", "]", "(", ")", "#", "=", numbers,
etc.) other than the name of a symbol (usually tens of characters) or a
string, which is the only case when we would need a really long buffer.
A conservative choice would be a number higher than 40 or 80, making the
buffer long enough to hold any symbol, as people usually do not have
symbol longer than the one of half the width of a terminal. A more
aggressive choice is to totally remove the buffer and only allocate it
on heap. This comes at a cost of possible slow down because memory
allocation on heap is usually slower than on stack. The reason why this
was not the case before commit f0a1e9ec is that this buffer is reused by
every recursion of read1, and is not a problem.

As a reference, MAX_ALLOCA is defined in src/lisp.h for SAFE_ALLOCA,
which allocate memory on stack if its size is less than MAX_ALLOCA, and
allocate memory on heap otherwise. The usage for SAFE_ALLOCA and a
preparation macro USE_SAFE_ALLOCA seems pretty complicated and I am not
able to figure out.

On 07/11/2018 10:46 PM, Sheng Yang (杨圣) wrote:
> condition-case was able to catch C stack overflow before commit
> f0a1e9ec. I understand that recovering from C stack overflow is
> magical and can be tricky, but emacs is capable of this thanks to all
> of your efforts. The only part missing is re-throwing this as a lisp
> exception, which should not be as hard as recovering from C stack
> overflow.
>
> Here is why this feature can be important. When we open a file,
> find-file-hook will call many functions, including but not limited to
> undo-tree. These functions read additional files (undo-tree, project
> file, dir-local, etc.) and perform tasks. To guard against file
> corruption and other problems, all reads are wrapped in some try-catch
> clause. However, the trust in these try-catch clauses are let down,
> and a single file corruption (or a file that can cause C stack
> overflow) ruins the whole process of loading file with a mysterious
> message of"Recovered from C stack overflow". I don't think this is
> acceptable.
>
> From a lisp programmer's perspective, if exceptions should occur, they
> should be caught. This is exactly the behavior that condition-case and
> other try-catch clause promise.
>
> I am not an expert in C, debugging the C part of emacs can be painful
> for me. Therefore I bisected and found the offending commits (see my
> original bug report). Hope this can help you pin point the problem and
> fix the bug.
>
> On 07/11/2018 02:48 PM, Noam Postavsky wrote:
>> retitle 31995 Condition-case can't catch C stack overflow
>> tags 31995 + wontfix
>> quit
>>
>> Sheng Yang (杨圣) <yangsheng6810@gmail.com> writes:
>>
>>> It seems that the function call ~(read (current-buffer))~ causes C stack
>>> overflow. Though I personally believe the undo-tree file is not
>>> corrupted, I assume this error should be caught by condition-case even
>>> if the file to read is indeed corrupted.
>> The file is not corrupted, it's just that the recursion goes too deep
>> during reading.  However, I don't think condition-case can reasonably
>> catch C stack overflow.  As it is, recovering from C stack overflow at
>> all is a bit controversial, which is why we have the
>> attempt-stack-overflow-recovery variable which you can set to nil in
>> order to reliably segfault instead.
>
> -- 
> Sheng Yang(杨圣)
> PhD student
> Computer Science Department
> University of Maryland, College Park
> E-mail:yangsheng6810@gmail.com

-- 
Sheng Yang(杨圣)
PhD student
Computer Science Department
University of Maryland, College Park
E-mail:yangsheng6810@gmail.com


[-- Attachment #2: Type: text/html, Size: 6218 bytes --]

bug#31995: 26.1; Condition-case failed to catch error

[Paul Eggert]

[-- Attachment #1: Type: text/plain, Size: 482 bytes --]

On 07/12/2018 07:29 PM, Sheng Yang (杨圣) wrote:
> the buffer is totally a waste of space when read1 is dealing with
> everything ("[", "]", "(", ")", "#", "=", numbers, etc.) other than
> the name of a symbol (usually tens of characters) or a string
Thanks for reporting this. I attempted to work around the immediate
problem by installing the attached into the emacs-26 branch. Although
this doesn't address the overall problem of stack overflow, that is less
pressing.

[-- Attachment #2: 0001-Lessen-stack-consumption-in-recursive-read1.patch --]
[-- Type: text/x-patch, Size: 796 bytes --]

From b38b91a83491b6812e8267d0247355f0e8e3e189 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Thu, 12 Jul 2018 20:23:07 -0700
Subject: [PATCH] Lessen stack consumption in recursive read1

* src/lread.c (read1): Shrink local buffer size from
MAX_ALLOCA to 128 (Bug#31995).
---
 src/lread.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lread.c b/src/lread.c
index 72523c057f..d5ba48a170 100644
--- a/src/lread.c
+++ b/src/lread.c
@@ -2677,7 +2677,7 @@ read1 (Lisp_Object readcharfun, int *pch, bool first_in_list)
   int c;
   bool uninterned_symbol = false;
   bool multibyte;
-  char stackbuf[MAX_ALLOCA];
+  char stackbuf[128];  /* Small, as read1 is recursive (Bug#31995).  */
   current_thread->stack_top = stackbuf;
 
   *pch = 0;
-- 
2.17.1