[profiler-profile "24.3" cpu #s(hash-table size 97 test equal rehash-size 1.5 rehash-threshold 0.8 data ([nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil] 3308 ["#" funcall with-no-warnings setq let ad-Advice-font-lock-fontify-keywords-region apply font-lock-fontify-keywords-region font-lock-default-fontify-region font-lock-fontify-region run-hook-with-args "#" funcall jit-lock-fontify-now jit-lock-function recenter] 20 [end-of-buffer call-interactively command-execute nil nil nil nil nil nil nil nil nil nil nil nil nil] 9 [font-lock-fontify-region run-hook-with-args "#" funcall jit-lock-fontify-now jit-lock-function recenter end-of-buffer call-interactively command-execute nil nil nil nil nil nil] 3 [read-event "#" funcall track-mouse eval mouse-drag-track mouse-drag-region call-interactively command-execute nil nil nil nil nil nil nil] 8 [byte-code tooltip-show tooltip-help-tips run-hook-with-args-until-success tooltip-timeout apply byte-code timer-event-handler nil nil nil nil nil nil nil nil] 6 [coq-script-parse-cmdend-forward coq-script-parse-function proof-segment-up-to proof-segment-up-to-using-cache proof-assert-until-point proof-toolbar-goto call-interactively command-execute nil nil nil nil nil nil nil nil] 14 ["#" funcall syntax-ppss proof-buffer-syntactic-context coq-script-parse-cmdend-forward coq-script-parse-function proof-segment-up-to proof-segment-up-to-using-cache proof-assert-until-point proof-toolbar-goto call-interactively command-execute nil nil nil nil] 43 [proof-segment-up-to proof-segment-up-to-using-cache proof-assert-until-point proof-toolbar-goto call-interactively command-execute nil nil nil nil nil nil nil nil nil nil] 4 [proof-buffer-syntactic-context proof-inside-comment coq-looking-at-comment coq-find-comment-start coq-find-not-in-comment-backward coq-empty-command-p coq-script-parse-cmdend-forward coq-script-parse-function proof-segment-up-to proof-segment-up-to-using-cache proof-assert-until-point proof-toolbar-goto call-interactively command-execute nil nil] 5 ["#" funcall syntax-ppss proof-buffer-syntactic-context proof-inside-comment coq-looking-at-comment coq-find-not-in-comment-backward coq-empty-command-p coq-empty-command-p coq-empty-command-p coq-script-parse-cmdend-forward coq-script-parse-function proof-segment-up-to proof-segment-up-to-using-cache proof-assert-until-point proof-toolbar-goto] 3 [coq-empty-command-p coq-script-parse-cmdend-forward coq-script-parse-function proof-segment-up-to proof-segment-up-to-using-cache proof-assert-until-point proof-toolbar-goto call-interactively command-execute nil nil nil nil nil nil nil] 4 [proof-segment-up-to-using-cache proof-assert-until-point proof-toolbar-goto call-interactively command-execute nil nil nil nil nil nil nil nil nil nil nil] 4 ["#" funcall syntax-ppss proof-buffer-syntactic-context proof-inside-comment coq-looking-at-comment coq-find-not-in-comment-backward coq-empty-command-p coq-script-parse-cmdend-forward coq-script-parse-function proof-segment-up-to proof-segment-up-to-using-cache proof-assert-until-point proof-toolbar-goto call-interactively command-execute] 11 ["#" funcall syntax-ppss proof-buffer-syntactic-context proof-inside-comment coq-looking-at-comment coq-find-comment-start coq-find-not-in-comment-backward coq-empty-command-p coq-script-parse-cmdend-forward coq-script-parse-function proof-segment-up-to proof-segment-up-to-using-cache proof-assert-until-point proof-toolbar-goto call-interactively] 8 [syntax-ppss proof-buffer-syntactic-context coq-script-parse-cmdend-forward coq-script-parse-function proof-segment-up-to proof-segment-up-to-using-cache proof-assert-until-point proof-toolbar-goto call-interactively command-execute nil nil nil nil nil nil] 4 [redisplay proof-shell-wait proof-shell-invisible-command coq-adapt-printing-width run-hooks proof-assert-until-point proof-toolbar-goto call-interactively command-execute nil nil nil nil nil nil nil] 2 [proof-script-delete-secondary-spans proof-assert-semis proof-assert-until-point proof-toolbar-goto call-interactively command-execute nil nil nil nil nil nil nil nil nil nil] 8 [apply coq-seq-get-library-dependencies coq-seq-map-module-id-to-obj-file coq-seq-check-module coq-seq-preprocess-require-commands run-hooks byte-code proof-extend-queue proof-assert-semis proof-assert-until-point proof-toolbar-goto call-interactively command-execute nil nil nil] 7 [coq-seq-preprocess-require-commands run-hooks byte-code proof-extend-queue proof-assert-semis proof-assert-until-point proof-toolbar-goto call-interactively command-execute nil nil nil nil nil nil nil] 3 [proof-done-advancing byte-code proof-shell-invoke-callback mapc proof-add-to-queue proof-extend-queue proof-assert-semis proof-assert-until-point proof-toolbar-goto call-interactively command-execute nil nil nil nil nil] 2 [proof-done-advancing-other proof-done-advancing byte-code proof-shell-invoke-callback mapc proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil nil nil] 4 [proof-set-overlay-arrow proof-done-advancing byte-code proof-shell-invoke-callback mapc proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil nil nil] 13 [proof-toolbar-next-enable-p redisplay_internal\ \(C\ function\) nil nil nil nil nil nil nil nil nil nil nil nil nil nil] 19 [run-hooks proof-done-advancing byte-code proof-shell-invoke-callback mapc proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil nil nil] 17 [proof-done-advancing byte-code proof-shell-invoke-callback mapc proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil nil nil nil] 25 [redisplay--update-region-highlight "#" funcall redisplay--update-region-highlights apply "#" redisplay_internal\ \(C\ function\) nil nil nil nil nil nil nil nil nil] 2 [proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil nil nil nil nil nil nil nil nil] 7 [scomint-send-input proof-shell-insert proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil nil nil nil nil nil] 11 [proof-shell-handle-immediate-output proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil nil nil nil nil nil nil nil] 7 [company-coq-state-change run-hooks proof-done-advancing byte-code proof-shell-invoke-callback mapc proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil nil] 4 [proof-unprocessed-begin proof-locked-region-full-p proof-toolbar-use-enable-p redisplay_internal\ \(C\ function\) nil nil nil nil nil nil nil nil nil nil nil nil] 1 [run-hook-with-args scomint-output-filter nil nil nil nil nil nil nil nil nil nil nil nil nil nil] 4 [menu-bar-update-buffers redisplay_internal\ \(C\ function\) nil nil nil nil nil nil nil nil nil nil nil nil nil nil] 14 [redisplay_internal\ \(C\ function\) nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil] 8 [proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil nil nil nil nil nil nil nil nil nil] 19 [proof-done-advancing-save proof-done-advancing byte-code proof-shell-invoke-callback mapc proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil nil nil] 9 [file-remote-p redisplay_internal\ \(C\ function\) nil nil nil nil nil nil nil nil nil nil nil nil nil nil] 17 [display-graphic-p if eval redisplay_internal\ \(C\ function\) nil nil nil nil nil nil nil nil nil nil nil nil] 6 [proof-get-name-from-goal proof-done-advancing-save proof-done-advancing byte-code proof-shell-invoke-callback mapc proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil nil] 2 [tool-bar-make-keymap redisplay_internal\ \(C\ function\) nil nil nil nil nil nil nil nil nil nil nil nil nil nil] 14 [image-search-load-path find-image eval "#" mapcar tool-bar-make-keymap-1 tool-bar-make-keymap redisplay_internal\ \(C\ function\) nil nil nil nil nil nil nil nil] 3 [coq-set-state-infos run-hooks proof-done-advancing byte-code proof-shell-invoke-callback mapc proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil nil] 2 [if company-coq-state-change run-hooks proof-done-advancing byte-code proof-shell-invoke-callback mapc proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil] 1 [eval redisplay_internal\ \(C\ function\) nil nil nil nil nil nil nil nil nil nil nil nil nil nil] 7 [proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil nil nil nil nil nil nil nil] 2 [coq-count-match coq-module-opening-p coq-goal-command-p proof-done-advancing-other proof-done-advancing byte-code proof-shell-invoke-callback mapc proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil] 4 [coq-search-urgent-message proof-shell-process-urgent-messages proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil nil nil nil nil nil nil nil] 4 [if eval redisplay_internal\ \(C\ function\) nil nil nil nil nil nil nil nil nil nil nil nil nil] 19 [keymap-canonicalize redisplay_internal\ \(C\ function\) nil nil nil nil nil nil nil nil nil nil nil nil nil nil] 5 [proof-shell-insert proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil nil nil nil nil nil nil] 2 [mapc proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil nil nil nil nil nil nil] 2 [proof-element-id proof-next-element-id proof-done-advancing-other proof-done-advancing byte-code proof-shell-invoke-callback mapc proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil] 1 [unless eval redisplay_internal\ \(C\ function\) nil nil nil nil nil nil nil nil nil nil nil nil nil] 4 [byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil nil nil nil nil nil nil nil nil nil nil] 9 [progn if let if let company-coq-state-change run-hooks proof-done-advancing byte-code proof-shell-invoke-callback mapc proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper] 5 [coq-last-prompt-info coq-last-prompt-info-safe coq-set-state-infos run-hooks proof-done-advancing byte-code proof-shell-invoke-callback mapc proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil] 4 [coq-count-match coq-module-opening-p coq-goal-command-p proof-done-advancing-save proof-done-advancing byte-code proof-shell-invoke-callback mapc proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil] 2 [and company-coq-boundp-string-match-p and let* if company-coq-maybe-proof-input-reload-things run-hooks proof-shell-insert proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil] 2 [run-hooks proof-shell-insert proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil nil nil nil nil nil] 5 [pg-processing-complete-hint proof-shell-exec-loop proof-shell-filter-manage-output proof-shell-filter byte-code proof-shell-filter-wrapper run-hook-with-args scomint-output-filter nil nil nil nil nil nil nil nil] 6 ["#" funcall with-no-warnings setq let ad-Advice-font-lock-fontify-keywords-region apply font-lock-fontify-keywords-region font-lock-default-fontify-region font-lock-fontify-region run-hook-with-args "#" funcall jit-lock-fontify-now jit-lock-function pos-visible-in-window-p] 4 [completing-read-default completing-read read-extended-command byte-code call-interactively command-execute nil nil nil nil nil nil nil nil nil nil] 38 [read-from-minibuffer completing-read-default completing-read read-extended-command byte-code call-interactively command-execute nil nil nil nil nil nil nil nil nil] 78 [profiler-cpu-profile profiler-report-cpu profiler-report call-interactively command-execute execute-extended-command call-interactively command-execute nil nil nil nil nil nil nil nil] 10 [Automatic\ GC] 53)) (22380 15820 895462 621000) nil]