#
# A fatal error has been detected by the Java Runtime Environment:
#
#  EXCEPTION_ACCESS_VIOLATION (0xc0000005) at pc=0x0000017cbf1ee0bd, pid=20992, tid=17008
#
# JRE version: OpenJDK Runtime Environment Zulu17.42+19-CA (17.0.7+7) (build 17.0.7+7-LTS)
# Java VM: OpenJDK 64-Bit Server VM Zulu17.42+19-CA (17.0.7+7-LTS, mixed mode, sharing, tiered, compressed oops, compressed class ptrs, g1 gc, windows-amd64)
# Problematic frame:
# v  ~BufferBlob::vtable chunks
#
# No core dump will be written. Minidumps are not enabled by default on client versions of Windows
#
# If you would like to submit a bug report, please visit:
#   http://www.azul.com/support/
#

---------------  S U M M A R Y ------------

Command Line: -Disabelle.root=C:\Users\Richc\Desktop\Isabelle2023 -Dcygwin.root=C:\Users\Richc\Desktop\Isabelle2023\contrib\cygwin -Dfile.encoding=UTF-8 -Disabelle.threads=0 -Duser.language=en -Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle2023 -Xms512m -Xmx4g -Xss16m -Disabelle.jedit_server=Isabelle2023 isabelle.jedit.JEdit_Main

Host: Intel(R) Core(TM) i9-14900HX, 32 cores, 63G,  Windows 11 , 64 bit Build 22621 (10.0.22621.3672)
Time: Fri Jun 28 13:49:41 2024 GMT dows 11 , 64 bit Build 22621 (10.0.22621.3672) elapsed time: 1108.842937 seconds (0d 0h 18m 28s)

---------------  T H R E A D  ---------------

Current thread (0x0000017cdba547b0):  JavaThread "AWT-EventQueue-0" [_thread_in_Java, id=17008, stack(0x0000005410f00000,0x0000005411f00000)]

Stack: [0x0000005410f00000,0x0000005411f00000],  sp=0x0000005411efdcc8,  free space=16375k
Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code)
C  0x0000017cbf1ee0bd


siginfo: EXCEPTION_ACCESS_VIOLATION (0xc0000005), reading address 0x000000100205aca8


Register to memory mapping:

RIP=0x0000017cbf1ee0bd is at entry_point+133 in a vtable stub
vtable stub (index = 5, receiver_location = 4, code = [0x0000017cbf1ee038, 0x0000017cbf1ee0e0])
RAX=0x000000080100dc10 is a pointer to class: 
scala.collection.Iterator {0x000000080100dc18}
 - instance size:     2
 - klass size:        64
 - access:            public interface abstract 
 - state:             fully_initialized
 - name:              'scala/collection/Iterator'
 - super:             'java/lang/Object'
 - sub:               
 - nof implementors:  2
 - arrays:            NULL
 - methods:           Array<T>(0x0000017cd74ba8c0)
 - method ordering:   Array<T>(0x0000000800925768)
 - default_methods:   Array<T>(0x0000017cd74afa58)
 - default vtable indices:   Array<T>(0x0000017cd74bad20)
 - local interfaces:  Array<T>(0x0000017cd74b1968)
 - trans. interfaces: Array<T>(0x0000017cd74b1968)
 - constants:         constant pool [858]/operands[94] {0x0000017cd74b8af0} for 'scala/collection/Iterator' cache=0x0000017cd7564740
 - class loader data:  loader data: 0x0000017cd565e8f0 for instance a 'jdk/internal/loader/ClassLoaders$AppClassLoader'{0x0000000700127e00}
 - source file:       'Iterator.scala'
 - class annotations:       Array<T>(0x0000017cd74b7e60)
 - class type annotations:  Array<T>(0x0000000000000000)
 - field annotations:       Array<T>(0x0000000000000000)
 - field type annotations:  Array<T>(0x0000000000000000)
 - generic signature: '<A:Ljava/lang/Object;>Ljava/lang/Object;Lscala/collection/IterableOnce<TA;>;Lscala/collection/IterableOnceOps<TA;Lscala/collection/Iterator;Lscala/collection/Iterator<TA;>;>;'
 - inner classes:     Array<T>(0x0000017cd7493140)
 - nest members:     Array<T>(0x0000000800600180)
 - permitted subclasses:     Array<T>(0x0000000800600180)
 - java mirror:       a 'java/lang/Class'{0x000000070182fa30} = 'scala/collection/Iterator'
 - vtable length      5  (start addr: 0x000000080100dde0)
 - itable length      0 (start addr: 0x000000080100de08)
 - ---- static fields (0 words):
 - ---- non-static fields (0 words):
 - non-static oop maps: 
RBX=0x000000080100dc10 is a pointer to class: 
scala.collection.Iterator {0x000000080100dc18}
 - instance size:     2
 - klass size:        64
 - access:            public interface abstract 
 - state:             fully_initialized
 - name:              'scala/collection/Iterator'
 - super:             'java/lang/Object'
 - sub:               
 - nof implementors:  2
 - arrays:            NULL
 - methods:           Array<T>(0x0000017cd74ba8c0)
 - method ordering:   Array<T>(0x0000000800925768)
 - default_methods:   Array<T>(0x0000017cd74afa58)
 - default vtable indices:   Array<T>(0x0000017cd74bad20)
 - local interfaces:  Array<T>(0x0000017cd74b1968)
 - trans. interfaces: Array<T>(0x0000017cd74b1968)
 - constants:         constant pool [858]/operands[94] {0x0000017cd74b8af0} for 'scala/collection/Iterator' cache=0x0000017cd7564740
 - class loader data:  loader data: 0x0000017cd565e8f0 for instance a 'jdk/internal/loader/ClassLoaders$AppClassLoader'{0x0000000700127e00}
 - source file:       'Iterator.scala'
 - class annotations:       Array<T>(0x0000017cd74b7e60)
 - class type annotations:  Array<T>(0x0000000000000000)
 - field annotations:       Array<T>(0x0000000000000000)
 - field type annotations:  Array<T>(0x0000000000000000)
 - generic signature: '<A:Ljava/lang/Object;>Ljava/lang/Object;Lscala/collection/IterableOnce<TA;>;Lscala/collection/IterableOnceOps<TA;Lscala/collection/Iterator;Lscala/collection/Iterator<TA;>;>;'
 - inner classes:     Array<T>(0x0000017cd7493140)
 - nest members:     Array<T>(0x0000000800600180)
 - permitted subclasses:     Array<T>(0x0000000800600180)
 - java mirror:       a 'java/lang/Class'{0x000000070182fa30} = 'scala/collection/Iterator'
 - vtable length      5  (start addr: 0x000000080100dde0)
 - itable length      0 (start addr: 0x000000080100de08)
 - ---- static fields (0 words):
 - ---- non-static fields (0 words):
 - non-static oop maps: 
RCX=0x0000000711976230 is an oop: isabelle.Text$Range 
{0x0000000711976230} - klass: 'isabelle/Text$Range'
 - ---- fields (total size 3 words):
 - private final 'start' 'I' @12  0
 - private final 'stop' 'I' @16  11 (b)
RDX=0x000000070180e620 is an oop: scala.collection.Iterator$$anon$19 
{0x000000070180e620} - klass: 'scala/collection/Iterator$$anon$19'
 - ---- fields (total size 2 words):
RSP=0x0000005411efdcc8 is pointing into the stack for thread: 0x0000017cdba547b0
RBP=0x00000007119762d0 is an oop: scala.collection.Iterator$$anon$10 
{0x00000007119762d0} - klass: 'scala/collection/Iterator$$anon$10'
 - ---- fields (total size 4 words):
 - private '_hasNext' 'I' @12  -1 (ffffffff)
 - private 'cur' 'Lscala/collection/Iterator;' @16  a 'scala/collection/Iterator$$anon$19'{0x000000070180e620} (e0301cc4)
 - private final synthetic '$outer' 'Lscala/collection/Iterator;' @20  a 'scala/collection/Iterator$$anon$6'{0x0000000711976298} (e232ec53)
 - private final 'f$3' 'Lscala/Function1;' @24  a 'isabelle/Document$Snapshot$$Lambda$2233+0x000000080170f3b8'{0x00000007119762b8} (e232ec57)
RSI=0x00000008012bcee0 is a pointer to class: 
scala.collection.Iterator$$anon$10 {0x00000008012bcee8}
 - instance size:     4
 - klass size:        312
 - access:            public final synchronized 
 - state:             fully_initialized
 - name:              'scala/collection/Iterator$$anon$10'
 - super:             'scala/collection/AbstractIterator'
 - sub:               
 - arrays:            NULL
 - methods:           Array<T>(0x0000017cd8479a30)
 - method ordering:   Array<T>(0x0000000800925768)
 - default_methods:   Array<T>(0x0000000000000000)
 - local interfaces:  Array<T>(0x00000008006001f0)
 - trans. interfaces: Array<T>(0x0000017cd757be40)
 - constants:         constant pool [80] {0x0000017cd8479700} for 'scala/collection/Iterator$$anon$10' cache=0x0000017cd8479e30
 - class loader data:  loader data: 0x0000017cd565e8f0 for instance a 'jdk/internal/loader/ClassLoaders$AppClassLoader'{0x0000000700127e00}
 - source file:       'Iterator.scala'
 - class annotations:       Array<T>(0x0000000000000000)
 - class type annotations:  Array<T>(0x0000000000000000)
 - field annotations:       Array<T>(0x0000000000000000)
 - field type annotations:  Array<T>(0x0000000000000000)
 - generic signature: 'Lscala/collection/AbstractIterator<TB;>;'
 - inner classes:     Array<T>(0x0000017cd8479e18)
 - nest members:     Array<T>(0x0000000800600180)
 - permitted subclasses:     Array<T>(0x0000000800600180)
 - java mirror:       a 'java/lang/Class'{0x0000000700b2a2e0} = 'scala/collection/Iterator$$anon$10'
 - vtable length      108  (start addr: 0x00000008012bd0b0)
 - itable length      145 (start addr: 0x00000008012bd410)
 - ---- static fields (0 words):
 - ---- non-static fields (4 words):
 - private '_hasNext' 'I' @12 
 - private 'cur' 'Lscala/collection/Iterator;' @16 
 - private final synthetic '$outer' 'Lscala/collection/Iterator;' @20 
 - private final 'f$3' 'Lscala/Function1;' @24 
 - non-static oop maps: 16-24 
RDI=0x0000000711975610 is an oop: scala.collection.Iterator$$anon$10 
{0x0000000711975610} - klass: 'scala/collection/Iterator$$anon$10'
 - ---- fields (total size 4 words):
 - private '_hasNext' 'I' @12  -1 (ffffffff)
 - private 'cur' 'Lscala/collection/Iterator;' @16  a 'scala/collection/Iterator$$anon$10'{0x00000007119762d0} (e232ec5a)
 - private final synthetic '$outer' 'Lscala/collection/Iterator;' @20  a 'scala/collection/Iterator$$anon$9'{0x00000007119755d0} (e232eaba)
 - private final 'f$3' 'Lscala/Function1;' @24  a 'isabelle/Document$Snapshot$$Lambda$2223+0x000000080170a4d0'{0x00000007119755e8} (e232eabd)
R8 =0x0000000801000c10 is a pointer to class: 
scala.collection.IterableOnce {0x0000000801000c18}
 - instance size:     2
 - klass size:        64
 - access:            public interface abstract 
 - state:             fully_initialized
 - name:              'scala/collection/IterableOnce'
 - super:             'java/lang/Object'
 - sub:               
 - nof implementors:  2
 - arrays:            'scala/collection/IterableOnce'[]
 - methods:           Array<T>(0x0000017cd740a1c0)
 - method ordering:   Array<T>(0x0000000800925768)
 - default_methods:   Array<T>(0x0000000000000000)
 - local interfaces:  Array<T>(0x00000008006001f0)
 - trans. interfaces: Array<T>(0x00000008006001f0)
 - constants:         constant pool [91] {0x0000017cd74062a0} for 'scala/collection/IterableOnce' cache=0x0000017cd74de020
 - class loader data:  loader data: 0x0000017cd565e8f0 for instance a 'jdk/internal/loader/ClassLoaders$AppClassLoader'{0x0000000700127e00}
 - source file:       'IterableOnce.scala'
 - class annotations:       Array<T>(0x0000017cd740a740)
 - class type annotations:  Array<T>(0x0000000000000000)
 - field annotations:       Array<T>(0x0000000000000000)
 - field type annotations:  Array<T>(0x0000000000000000)
 - generic signature: '<A:Ljava/lang/Object;>Ljava/lang/Object;'
 - inner classes:     Array<T>(0x0000000800600180)
 - nest members:     Array<T>(0x0000000800600180)
 - permitted subclasses:     Array<T>(0x0000000800600180)
 - java mirror:       a 'java/lang/Class'{0x00000007016e4e30} = 'scala/collection/IterableOnce'
 - vtable length      5  (start addr: 0x0000000801000de0)
 - itable length      0 (start addr: 0x0000000801000e08)
 - ---- static fields (0 words):
 - ---- non-static fields (0 words):
 - non-static oop maps: 
R9 =0x0000000711976288 is an oop: isabelle.Document$Snapshot$$Lambda$2232/0x000000080170efe8 
{0x0000000711976288} - klass: 'isabelle/Document$Snapshot$$Lambda$2232+0x000000080170efe8'
 - ---- fields (total size 2 words):
 - private final 'arg$1' 'Lisabelle/Document$Snapshot;' @12  a 'isabelle/Document$Snapshot'{0x00000007118ba0d8} (e231741b)
R10=0x000000080102d3c0 is pointing into metadata
R11=0x000000080102d8e8 is pointing into metadata
R12=0x0 is NULL
R13=0x0000000700176e08 is an oop: scala.collection.immutable.Nil$ 
{0x0000000700176e08} - klass: 'scala/collection/immutable/Nil$'
 - ---- fields (total size 2 words):
R14=0x0000017cc5120000 is an unknown value
R15=0x0000017cdba547b0 is a thread


Registers:
RAX=0x000000080100dc10, RBX=0x000000080100dc10, RCX=0x0000000711976230, RDX=0x000000070180e620
RSP=0x0000005411efdcc8, RBP=0x00000007119762d0, RSI=0x00000008012bcee0, RDI=0x0000000711975610
R8 =0x0000000801000c10, R9 =0x0000000711976288, R10=0x000000080102d3c0, R11=0x000000080102d8e8
R12=0x0000000000000000, R13=0x0000000700176e08, R14=0x0000017cc5120000, R15=0x0000017cdba547b0
RIP=0x0000017cbf1ee0bd, EFLAGS=0x0000000000010246

Top of Stack: (sp=0x0000005411efdcc8)
0x0000005411efdcc8:   0000017cbfde9b38 0000000711975740
0x0000005411efdcd8:   0000017c00000000 0000000711975850
0x0000005411efdce8:   0000000711975580 0000000711975770
0x0000005411efdcf8:   0000000700176e08 0000000700176e08
0x0000005411efdd08:   00000007119757c0 0000000700176e08
0x0000005411efdd18:   0000017cbfa66e88 0000000000000001
0x0000005411efdd28:   0000000000000008 0000000711975610
0x0000005411efdd38:   0000017cbfde9c88 00000000e31cc1fe
0x0000005411efdd48:   0000017cbff35660 00000007e232e517
0x0000005411efdd58:   0000000706ce2160 0000000711975610
0x0000005411efdd68:   00000007049f6300 00000007119729f8
0x0000005411efdd78:   0000017c00000001 0000017cc5120000
0x0000005411efdd88:   0000017cbfa66e88 000000071196f570
0x0000005411efdd98:   0000000700fbc268 00000007119753d8
0x0000005411efdda8:   0000017cbfde9c88 000000000000001a
0x0000005411efddb8:   0000000000000018 e232ded611972a40 

Instructions: (pc=0x0000017cbf1ee0bd)
0x0000017cbf1edfbd:   8b 13 49 3b da 75 eb 44 8b 52 08 49 bb 00 00 00
0x0000017cbf1edfcd:   00 08 00 00 00 4d 03 d3 45 8b 9a a0 00 00 00 4f
0x0000017cbf1edfdd:   8d 9c da d0 01 00 00 4d 8d 52 08 49 8b 1b 48 3b
0x0000017cbf1edfed:   c3 74 15 48 85 db 0f 84 17 00 00 00 49 83 c3 10
0x0000017cbf1edffd:   49 8b 1b 48 3b c3 75 eb 45 8b 5b 08 4b 8b 1c 1a
0x0000017cbf1ee00d:   ff 63 40 e9 6b 2a f5 ff 00 00 00 00 00 00 00 00
0x0000017cbf1ee01d:   00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x0000017cbf1ee02d:   00 00 00 05 00 8d 00 07 00 00 00 48 8b 58 08 48
0x0000017cbf1ee03d:   8b 00 44 8b 52 08 49 bb 00 00 00 00 08 00 00 00
0x0000017cbf1ee04d:   4d 03 d3 45 8b 9a a0 00 00 00 4f 8d 9c da d0 01
0x0000017cbf1ee05d:   00 00 4d 8b 13 49 3b da 74 15 4d 85 d2 0f 84 58
0x0000017cbf1ee06d:   00 00 00 49 83 c3 10 4d 8b 13 49 3b da 75 eb 44
0x0000017cbf1ee07d:   8b 52 08 49 bb 00 00 00 00 08 00 00 00 4d 03 d3
0x0000017cbf1ee08d:   45 8b 9a a0 00 00 00 4f 8d 9c da d0 01 00 00 4d
0x0000017cbf1ee09d:   8d 52 28 49 8b 1b 48 3b c3 74 15 48 85 db 0f 84
0x0000017cbf1ee0ad:   17 00 00 00 49 83 c3 10 49 8b 1b 48 3b c3 75 eb
0x0000017cbf1ee0bd:   45 8b 5b 08 4b 8b 1c 1a ff 63 40 e9 b3 29 f5 ff
0x0000017cbf1ee0cd:   00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x0000017cbf1ee0dd:   00 00 00 00 00 00 00 00 00 00 00 06 00 8d 00 07
0x0000017cbf1ee0ed:   00 00 00 48 8b 58 08 48 8b 00 44 8b 52 08 49 bb
0x0000017cbf1ee0fd:   00 00 00 00 08 00 00 00 4d 03 d3 45 8b 9a a0 00
0x0000017cbf1ee10d:   00 00 4f 8d 9c da d0 01 00 00 4d 8b 13 49 3b da
0x0000017cbf1ee11d:   74 15 4d 85 d2 0f 84 58 00 00 00 49 83 c3 10 4d
0x0000017cbf1ee12d:   8b 13 49 3b da 75 eb 44 8b 52 08 49 bb 00 00 00
0x0000017cbf1ee13d:   00 08 00 00 00 4d 03 d3 45 8b 9a a0 00 00 00 4f
0x0000017cbf1ee14d:   8d 9c da d0 01 00 00 4d 8d 52 30 49 8b 1b 48 3b
0x0000017cbf1ee15d:   c3 74 15 48 85 db 0f 84 17 00 00 00 49 83 c3 10
0x0000017cbf1ee16d:   49 8b 1b 48 3b c3 75 eb 45 8b 5b 08 4b 8b 1c 1a
0x0000017cbf1ee17d:   ff 63 40 e9 fb 28 f5 ff 00 00 00 00 00 00 00 00
0x0000017cbf1ee18d:   00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
0x0000017cbf1ee19d:   00 00 00 0c 00 17 00 00 00 01 00 8b 42 08 49 ba
0x0000017cbf1ee1ad:   00 00 00 00 08 00 00 00 49 03 c2 48 8b 98 30 02 


Stack slot to memory mapping:
stack at sp + 0 slots: 0x0000017cbfde9b38 is at entry_point+120 in (nmethod*)0x0000017cbfde9910
stack at sp + 1 slots: 0x0000000711975740 is an oop: isabelle.Document$Snapshot$$Lambda$2227/0x000000080170b7d0 
{0x0000000711975740} - klass: 'isabelle/Document$Snapshot$$Lambda$2227+0x000000080170b7d0'
 - ---- fields (total size 3 words):
 - private final 'arg$2' 'I' @12  56523 (dccb)
 - private final 'arg$1' 'Lisabelle/Document$Snapshot;' @16  a 'isabelle/Document$Snapshot'{0x00000007118ba0d8} (e231741b)
 - private final 'arg$3' 'Lscala/Function2;' @20  a 'isabelle/Rendering$$Lambda$2243+0x0000000801711cb8'{0x0000000711975538} (e232eaa7)
stack at sp + 2 slots: 0x0000017c00000000 is an unknown value
stack at sp + 3 slots: 0x0000000711975850 is an oop: scala.collection.immutable.$colon$colon 
{0x0000000711975850} - klass: 'scala/collection/immutable/$colon$colon'
 - ---- fields (total size 3 words):
 - private final 'head' 'Ljava/lang/Object;' @12  a 'scala/Tuple2'{0x0000000711975820} (e232eb04)
 - private 'next' 'Lscala/collection/immutable/List;' @16  a 'scala/collection/immutable/Nil$'{0x0000000700176e08} (e002edc1)
stack at sp + 4 slots: 0x0000000711975580 is an oop: isabelle.Text$Range 
{0x0000000711975580} - klass: 'isabelle/Text$Range'
 - ---- fields (total size 3 words):
 - private final 'start' 'I' @12  0
 - private final 'stop' 'I' @16  11 (b)
stack at sp + 5 slots: 0x0000000711975770 is an oop: isabelle.Text$Info 
{0x0000000711975770} - klass: 'isabelle/Text$Info'
 - ---- fields (total size 3 words):
 - private final 'range' 'Lisabelle/Text$Range;' @12  a 'isabelle/Text$Range'{0x0000000711975580} (e232eab0)
 - private final 'info' 'Ljava/lang/Object;' @16  a 'scala/Tuple2'{0x00000007119728a0} (e232e514)
stack at sp + 6 slots: 0x0000000700176e08 is an oop: scala.collection.immutable.Nil$ 
{0x0000000700176e08} - klass: 'scala/collection/immutable/Nil$'
 - ---- fields (total size 2 words):
stack at sp + 7 slots: 0x0000000700176e08 is an oop: scala.collection.immutable.Nil$ 
{0x0000000700176e08} - klass: 'scala/collection/immutable/Nil$'
 - ---- fields (total size 2 words):

--------------------------------------------------------------------------------
Decoding CodeBlob, name: vtable chunks, at  [0x0000017cbf1eda00, 0x0000017cbf1ee408]  2568 bytes
[MachCode]
  0x0000017cbf1eda00: 0000 0000 | 0000 0000 | 0300 1700 | 0000 0100 | 8b42 0849 | ba00 0000 | 0008 0000 | 0049 03c2 
  0x0000017cbf1eda20: 488b 98e8 | 0100 00ff | 6340 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 
  0x0000017cbf1eda40: 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0100 1700 | 0000 0100 
  0x0000017cbf1eda60: 8b42 0849 | ba00 0000 | 0008 0000 | 0049 03c2 | 488b 98d8 | 0100 00ff | 6340 0000 | 0000 0000 
  0x0000017cbf1eda80: 0000 0000 | 0000 0000 | 1c00 1700 | 0000 0100 | 8b42 0849 | ba00 0000 | 0008 0000 | 0049 03c2 
  0x0000017cbf1edaa0: 488b 98b0 | 0200 00ff | 6340 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 1e00 1700 | 0000 0100 
  0x0000017cbf1edac0: 8b42 0849 | ba00 0000 | 0008 0000 | 0049 03c2 | 488b 98c0 | 0200 00ff | 6340 0000 | 0000 0000 
  0x0000017cbf1edae0: 0000 0000 | 0000 0000 | 2700 1700 | 0000 0100 | 8b42 0849 | ba00 0000 | 0008 0000 | 0049 03c2 
  0x0000017cbf1edb00: 488b 9808 | 0300 00ff | 6340 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 8c00 | 0700 0000 
  0x0000017cbf1edb20: 488b 5808 | 488b 0044 | 8b52 0849 | bb00 0000 | 0008 0000 | 004d 03d3 | 458b 9aa0 | 0000 004f 
  0x0000017cbf1edb40: 8d9c dad0 | 0100 004d | 8b13 493b | da74 154d | 85d2 0f84 | 5700 0000 | 4983 c310 | 4d8b 1349 
  0x0000017cbf1edb60: 3bda 75eb | 448b 5208 | 49bb 0000 | 0000 0800 | 0000 4d03 | d345 8b9a | a000 0000 | 4f8d 9cda 
  0x0000017cbf1edb80: d001 0000 | 4d8d 1249 | 8b1b 483b | c374 1548 | 85db 0f84 | 1700 0000 | 4983 c310 | 498b 1b48 
  0x0000017cbf1edba0: 3bc3 75eb | 458b 5b08 | 4b8b 1c1a | ff63 40e9 | cc2e f5ff | 0000 0000 | 0000 0000 | 0000 0000 
  0x0000017cbf1edbc0: 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 
  0x0000017cbf1edbe0: 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 
  0x0000017cbf1edc00: 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 
  0x0000017cbf1edc20: 0000 0000 | 0000 0000 | 0800 1700 | 0000 0100 | 8b42 0849 | ba00 0000 | 0008 0000 | 0049 03c2 
  0x0000017cbf1edc40: 488b 9810 | 0200 00ff | 6340 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0600 1700 | 0000 0100 
  0x0000017cbf1edc60: 8b42 0849 | ba00 0000 | 0008 0000 | 0049 03c2 | 488b 9800 | 0200 00ff | 6340 0000 | 0000 0000 
  0x0000017cbf1edc80: 0000 0000 | 0000 0000 | 0d00 1700 | 0000 0100 | 8b42 0849 | ba00 0000 | 0008 0000 | 0049 03c2 
  0x0000017cbf1edca0: 488b 9838 | 0200 00ff | 6340 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0300 8d00 | 0700 0000 
  0x0000017cbf1edcc0: 488b 5808 | 488b 0044 | 8b52 0849 | bb00 0000 | 0008 0000 | 004d 03d3 | 458b 9aa0 | 0000 004f 
  0x0000017cbf1edce0: 8d9c dad0 | 0100 004d | 8b13 493b | da74 154d | 85d2 0f84 | 5800 0000 | 4983 c310 | 4d8b 1349 
  0x0000017cbf1edd00: 3bda 75eb | 448b 5208 | 49bb 0000 | 0000 0800 | 0000 4d03 | d345 8b9a | a000 0000 | 4f8d 9cda 
  0x0000017cbf1edd20: d001 0000 | 4d8d 5218 | 498b 1b48 | 3bc3 7415 | 4885 db0f | 8417 0000 | 0049 83c3 | 1049 8b1b 
  0x0000017cbf1edd40: 483b c375 | eb45 8b5b | 084b 8b1c | 1aff 6340 | e92b 2df5 | ff00 0000 | 0000 0000 | 0000 0000 
  0x0000017cbf1edd60: 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0700 1700 | 0000 0100 | 8b42 0849 | ba00 0000 
  0x0000017cbf1edd80: 0008 0000 | 0049 03c2 | 488b 9808 | 0200 00ff | 6340 0000 | 0000 0000 | 0000 0000 | 0000 0000 
  0x0000017cbf1edda0: 0500 1700 | 0000 0100 | 8b42 0849 | ba00 0000 | 0008 0000 | 0049 03c2 | 488b 98f8 | 0100 00ff 
  0x0000017cbf1eddc0: 6340 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0b00 1700 | 0000 0100 | 8b42 0849 | ba00 0000 
  0x0000017cbf1edde0: 0008 0000 | 0049 03c2 | 488b 9828 | 0200 00ff | 6340 0000 | 0000 0000 | 0000 0000 | 0000 0000 
  0x0000017cbf1ede00: 2000 1700 | 0000 0100 | 8b42 0849 | ba00 0000 | 0008 0000 | 0049 03c2 | 488b 98d0 | 0200 00ff 
  0x0000017cbf1ede20: 6340 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 2400 1700 | 0000 0100 | 8b42 0849 | ba00 0000 
  0x0000017cbf1ede40: 0008 0000 | 0049 03c2 | 488b 98f0 | 0200 00ff | 6340 0000 | 0000 0000 | 0000 0000 | 0000 0000 
  0x0000017cbf1ede60: 0a00 8d00 | 0700 0000 | 488b 5808 | 488b 0044 | 8b52 0849 | bb00 0000 | 0008 0000 | 004d 03d3 
  0x0000017cbf1ede80: 458b 9aa0 | 0000 004f | 8d9c dad0 | 0100 004d | 8b13 493b | da74 154d | 85d2 0f84 | 5800 0000 
  0x0000017cbf1edea0: 4983 c310 | 4d8b 1349 | 3bda 75eb | 448b 5208 | 49bb 0000 | 0000 0800 | 0000 4d03 | d345 8b9a 
  0x0000017cbf1edec0: a000 0000 | 4f8d 9cda | d001 0000 | 4d8d 5250 | 498b 1b48 | 3bc3 7415 | 4885 db0f | 8417 0000 
  0x0000017cbf1edee0: 0049 83c3 | 1049 8b1b | 483b c375 | eb45 8b5b | 084b 8b1c | 1aff 6340 | e983 2bf5 | ff00 0000 
  0x0000017cbf1edf00: 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 1f00 1700 | 0000 0100 
  0x0000017cbf1edf20: 8b42 0849 | ba00 0000 | 0008 0000 | 0049 03c2 | 488b 98c8 | 0200 00ff | 6340 0000 | 0000 0000 
  0x0000017cbf1edf40: 0000 0000 | 0000 0000 | 2300 1700 | 0000 0100 | 8b42 0849 | ba00 0000 | 0008 0000 | 0049 03c2 
  0x0000017cbf1edf60: 488b 98e8 | 0200 00ff | 6340 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0100 8d00 | 0700 0000 
  0x0000017cbf1edf80: 488b 5808 | 488b 0044 | 8b52 0849 | bb00 0000 | 0008 0000 | 004d 03d3 | 458b 9aa0 | 0000 004f 
  0x0000017cbf1edfa0: 8d9c dad0 | 0100 004d | 8b13 493b | da74 154d | 85d2 0f84 | 5800 0000 | 4983 c310 | 4d8b 1349 
  0x0000017cbf1edfc0: 3bda 75eb | 448b 5208 | 49bb 0000 | 0000 0800 | 0000 4d03 | d345 8b9a | a000 0000 | 4f8d 9cda 
  0x0000017cbf1edfe0: d001 0000 | 4d8d 5208 | 498b 1b48 | 3bc3 7415 | 4885 db0f | 8417 0000 | 0049 83c3 | 1049 8b1b 
  0x0000017cbf1ee000: 483b c375 | eb45 8b5b | 084b 8b1c | 1aff 6340 | e96b 2af5 | ff00 0000 | 0000 0000 | 0000 0000 
  0x0000017cbf1ee020: 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0500 8d00 | 0700 0000 | 488b 5808 | 488b 0044 
  0x0000017cbf1ee040: 8b52 0849 | bb00 0000 | 0008 0000 | 004d 03d3 | 458b 9aa0 | 0000 004f | 8d9c dad0 | 0100 004d 
  0x0000017cbf1ee060: 8b13 493b | da74 154d | 85d2 0f84 | 5800 0000 | 4983 c310 | 4d8b 1349 | 3bda 75eb | 448b 5208 
  0x0000017cbf1ee080: 49bb 0000 | 0000 0800 | 0000 4d03 | d345 8b9a | a000 0000 | 4f8d 9cda | d001 0000 | 4d8d 5228 
  0x0000017cbf1ee0a0: 498b 1b48 | 3bc3 7415 | 4885 db0f | 8417 0000 | 0049 83c3 | 1049 8b1b | 483b c375 | eb45 8b5b 
  0x0000017cbf1ee0c0: 084b 8b1c | 1aff 6340 | e9b3 29f5 | ff00 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 
  0x0000017cbf1ee0e0: 0000 0000 | 0000 0000 | 0600 8d00 | 0700 0000 | 488b 5808 | 488b 0044 | 8b52 0849 | bb00 0000 
  0x0000017cbf1ee100: 0008 0000 | 004d 03d3 | 458b 9aa0 | 0000 004f | 8d9c dad0 | 0100 004d | 8b13 493b | da74 154d 
  0x0000017cbf1ee120: 85d2 0f84 | 5800 0000 | 4983 c310 | 4d8b 1349 | 3bda 75eb | 448b 5208 | 49bb 0000 | 0000 0800 
  0x0000017cbf1ee140: 0000 4d03 | d345 8b9a | a000 0000 | 4f8d 9cda | d001 0000 | 4d8d 5230 | 498b 1b48 | 3bc3 7415 
  0x0000017cbf1ee160: 4885 db0f | 8417 0000 | 0049 83c3 | 1049 8b1b | 483b c375 | eb45 8b5b | 084b 8b1c | 1aff 6340 
  0x0000017cbf1ee180: e9fb 28f5 | ff00 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 
  0x0000017cbf1ee1a0: 0c00 1700 | 0000 0100 | 8b42 0849 | ba00 0000 | 0008 0000 | 0049 03c2 | 488b 9830 | 0200 00ff 
  0x0000017cbf1ee1c0: 6340 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 3600 1700 | 0000 0100 | 8b42 0849 | ba00 0000 
  0x0000017cbf1ee1e0: 0008 0000 | 0049 03c2 | 488b 9880 | 0300 00ff | 6340 0000 | 0000 0000 | 0000 0000 | 0000 0000 
  0x0000017cbf1ee200: 0800 8d00 | 0700 0000 | 488b 5808 | 488b 0044 | 8b52 0849 | bb00 0000 | 0008 0000 | 004d 03d3 
  0x0000017cbf1ee220: 458b 9aa0 | 0000 004f | 8d9c dad0 | 0100 004d | 8b13 493b | da74 154d | 85d2 0f84 | 5800 0000 
  0x0000017cbf1ee240: 4983 c310 | 4d8b 1349 | 3bda 75eb | 448b 5208 | 49bb 0000 | 0000 0800 | 0000 4d03 | d345 8b9a 
  0x0000017cbf1ee260: a000 0000 | 4f8d 9cda | d001 0000 | 4d8d 5240 | 498b 1b48 | 3bc3 7415 | 4885 db0f | 8417 0000 
  0x0000017cbf1ee280: 0049 83c3 | 1049 8b1b | 483b c375 | eb45 8b5b | 084b 8b1c | 1aff 6340 | e9e3 27f5 | ff00 0000 
  0x0000017cbf1ee2a0: 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0400 8d00 | 0700 0000 
  0x0000017cbf1ee2c0: 488b 5808 | 488b 0044 | 8b52 0849 | bb00 0000 | 0008 0000 | 004d 03d3 | 458b 9aa0 | 0000 004f 
  0x0000017cbf1ee2e0: 8d9c dad0 | 0100 004d | 8b13 493b | da74 154d | 85d2 0f84 | 5800 0000 | 4983 c310 | 4d8b 1349 
  0x0000017cbf1ee300: 3bda 75eb | 448b 5208 | 49bb 0000 | 0000 0800 | 0000 4d03 | d345 8b9a | a000 0000 | 4f8d 9cda 
  0x0000017cbf1ee320: d001 0000 | 4d8d 5220 | 498b 1b48 | 3bc3 7415 | 4885 db0f | 8417 0000 | 0049 83c3 | 1049 8b1b 
  0x0000017cbf1ee340: 483b c375 | eb45 8b5b | 084b 8b1c | 1aff 6340 | e92b 27f5 | ff00 0000 | 0000 0000 | 0000 0000 
  0x0000017cbf1ee360: 0000 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0200 1700 | 0000 0100 | 8b42 0849 | ba00 0000 
  0x0000017cbf1ee380: 0008 0000 | 0049 03c2 | 488b 98e0 | 0100 00ff | 6340 0000 | 0000 0000 | 0000 0000 | 0000 0000 
  0x0000017cbf1ee3a0: 2200 1700 | 0000 0100 | 8b42 0849 | ba00 0000 | 0008 0000 | 0049 03c2 | 488b 98e0 | 0200 00ff 
  0x0000017cbf1ee3c0: 6340 0000 | 0000 0000 | 0000 0000 | 0000 0000 | 0f00 1700 | 0000 0100 | 8b42 0849 | ba00 0000 
  0x0000017cbf1ee3e0: 0008 0000 | 0049 03c2 | 488b 9848 | 0200 00ff | 6340 0000 | 0000 0000 | 0000 0000 | 0000 0000 
  0x0000017cbf1ee400: 0000 0000 | 0000 0000 
[/MachCode]
--------------------------------------------------------------------------------


---------------  P R O C E S S  ---------------

Threads class SMR info:
_java_thread_list=0x0000017cdfb8ebb0, length=54, elements={
0x0000017cd5656db0, 0x0000017cd5659890, 0x0000017cd56730e0, 0x0000017cd5674bc0,
0x0000017cd56775a0, 0x0000017cd5679e80, 0x0000017cd567ae90, 0x0000017cd56847c0,
0x0000017cd56b9350, 0x0000017cd5836eb0, 0x0000017cd583b550, 0x0000017cd6813550,
0x0000017cd6bff140, 0x0000017cdb76ec70, 0x0000017cdba547b0, 0x0000017cdb3d19e0,
0x0000017cb01cbfd0, 0x0000017cdb995850, 0x0000017cdb996780, 0x0000017cdb993f00,
0x0000017cdb9934e0, 0x0000017cdb996270, 0x0000017cdb994410, 0x0000017cdb995340,
0x0000017cdb9939f0, 0x0000017cdb992fd0, 0x0000017cdb994920, 0x0000017cdbee76b0,
0x0000017cdbee5850, 0x0000017cdbee6270, 0x0000017cdbee5d60, 0x0000017cdbeeae60,
0x0000017cdbee71a0, 0x0000017cdbee7bc0, 0x0000017cdbee85e0, 0x0000017cdbee9510,
0x0000017cdbee6c90, 0x0000017cdbeea950, 0x0000017cdbeec2a0, 0x0000017cdbee80d0,
0x0000017cdbeea440, 0x0000017cdbee8af0, 0x0000017cdbee9000, 0x0000017cdbeeb370,
0x0000017cdbee9a20, 0x0000017cdbee9f30, 0x0000017cdbeeb880, 0x0000017cdbee4e30,
0x0000017cdbeec7b0, 0x0000017ce429c940, 0x0000017ce429d360, 0x0000017cdf6dc320,
0x0000017ce429d870, 0x0000017cdf6d9590
}

Java Threads: ( => current thread )
  0x0000017cd5656db0 JavaThread "Reference Handler" daemon [_thread_blocked, id=19116, stack(0x0000005403b00000,0x0000005404b00000)]
  0x0000017cd5659890 JavaThread "Finalizer" daemon [_thread_blocked, id=23404, stack(0x0000005404b00000,0x0000005405b00000)]
  0x0000017cd56730e0 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=5380, stack(0x0000005405b00000,0x0000005406b00000)]
  0x0000017cd5674bc0 JavaThread "Attach Listener" daemon [_thread_blocked, id=22336, stack(0x0000005406b00000,0x0000005407b00000)]
  0x0000017cd56775a0 JavaThread "Service Thread" daemon [_thread_blocked, id=22416, stack(0x0000005407b00000,0x0000005408b00000)]
  0x0000017cd5679e80 JavaThread "Monitor Deflation Thread" daemon [_thread_blocked, id=8688, stack(0x0000005408b00000,0x0000005409b00000)]
  0x0000017cd567ae90 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=17908, stack(0x0000005409b00000,0x0000005409c00000)]
  0x0000017cd56847c0 JavaThread "C1 CompilerThread0" daemon [_thread_blocked, id=7768, stack(0x0000005409c00000,0x0000005409d00000)]
  0x0000017cd56b9350 JavaThread "Sweeper thread" daemon [_thread_blocked, id=19120, stack(0x0000005409d00000,0x000000540ad00000)]
  0x0000017cd5836eb0 JavaThread "Notification Thread" daemon [_thread_blocked, id=3676, stack(0x000000540af00000,0x000000540bf00000)]
  0x0000017cd583b550 JavaThread "Common-Cleaner" daemon [_thread_blocked, id=19240, stack(0x000000540c000000,0x000000540d000000)]
  0x0000017cd6813550 JavaThread "Java2D Disposer" daemon [_thread_blocked, id=21992, stack(0x000000540d200000,0x000000540e200000)]
  0x0000017cd6bff140 JavaThread "AWT-Shutdown" [_thread_blocked, id=21768, stack(0x000000540ee00000,0x000000540fe00000)]
  0x0000017cdb76ec70 JavaThread "AWT-Windows" daemon [_thread_in_native, id=5988, stack(0x000000540fe00000,0x0000005410e00000)]
=>0x0000017cdba547b0 JavaThread "AWT-EventQueue-0" [_thread_in_Java, id=17008, stack(0x0000005410f00000,0x0000005411f00000)]
  0x0000017cdb3d19e0 JavaThread "TimerQueue" daemon [_thread_blocked, id=13740, stack(0x0000005411f00000,0x0000005412f00000)]
  0x0000017cb01cbfd0 JavaThread "DestroyJavaVM" [_thread_blocked, id=9944, stack(0x0000005402500000,0x0000005403500000)]
  0x0000017cdb995850 JavaThread "idle-timeout-task" daemon [_thread_blocked, id=15436, stack(0x0000005414800000,0x0000005415800000)]
  0x0000017cdb996780 JavaThread "Isabelle.Session.dispatcher" daemon [_thread_blocked, id=6036, stack(0x0000005412f00000,0x0000005413f00000)]
  0x0000017cdb993f00 JavaThread "Isabelle.change_parser" daemon [_thread_blocked, id=17544, stack(0x0000005416100000,0x0000005417100000)]
  0x0000017cdb9934e0 JavaThread "Isabelle.Session.manager" daemon [_thread_blocked, id=20032, stack(0x0000005417100000,0x0000005418100000)]
  0x0000017cdb996270 JavaThread "HTTP-Dispatcher" [_thread_in_native, id=17340, stack(0x0000005418100000,0x0000005419100000)]
  0x0000017cdb994410 JavaThread "event_timer" daemon [_thread_blocked, id=16316, stack(0x000000541a200000,0x000000541b200000)]
  0x0000017cdb995340 JavaThread "jEdit Worker #0" [_thread_blocked, id=12688, stack(0x000000541b200000,0x000000541c200000)]
  0x0000017cdb9939f0 JavaThread "jEdit server daemon [C:\Users\Richc\.isabelle\Isabelle2023\jedit\Isabelle2023]" daemon [_thread_in_native, id=8236, stack(0x000000541d200000,0x000000541e200000)]
  0x0000017cdb992fd0 JavaThread "SizeSaver-1" [_thread_blocked, id=16900, stack(0x000000541e300000,0x000000541f300000)]
  0x0000017cdb994920 JavaThread "Isabelle.worker-2" [_thread_blocked, id=8900, stack(0x000000541f300000,0x0000005420300000)]
  0x0000017cdbee76b0 JavaThread "Isabelle.worker-3" [_thread_blocked, id=21224, stack(0x0000005420300000,0x0000005421300000)]
  0x0000017cdbee5850 JavaThread "Isabelle.worker-4" [_thread_blocked, id=11864, stack(0x0000005421300000,0x0000005422300000)]
  0x0000017cdbee6270 JavaThread "SwingWorker-pool-2-thread-1" daemon [_thread_blocked, id=18112, stack(0x0000005422300000,0x0000005423300000)]
  0x0000017cdbee5d60 JavaThread "Isabelle.worker-5" [_thread_blocked, id=5772, stack(0x0000005424300000,0x0000005425300000)]
  0x0000017cdbeeae60 JavaThread "Isabelle.worker-6" [_thread_blocked, id=9516, stack(0x0000005425300000,0x0000005426300000)]
  0x0000017cdbee71a0 JavaThread "Isabelle.worker-7" [_thread_blocked, id=5124, stack(0x0000005426300000,0x0000005427300000)]
  0x0000017cdbee7bc0 JavaThread "Isabelle.worker-8" [_thread_blocked, id=12236, stack(0x0000005427300000,0x0000005428300000)]
  0x0000017cdbee85e0 JavaThread "Isabelle.worker-9" [_thread_blocked, id=21004, stack(0x0000005428300000,0x0000005429300000)]
  0x0000017cdbee9510 JavaThread "Isabelle.Naproche-SAD" [_thread_in_native, id=22700, stack(0x0000005419100000,0x000000541a100000)]
  0x0000017cdbee6c90 JavaThread "Isabelle.bash_stdout" [_thread_in_native, id=22440, stack(0x0000005423300000,0x0000005424300000)]
  0x0000017cdbeea950 JavaThread "Isabelle.bash_stderr" [_thread_in_native, id=17844, stack(0x0000005429300000,0x000000542a300000)]
  0x0000017cdbeec2a0 JavaThread "Isabelle.process_result" [_thread_in_native, id=23876, stack(0x000000541c200000,0x000000541d200000)]
  0x0000017cdbee80d0 JavaThread "Isabelle.process_manager" [_thread_blocked, id=24440, stack(0x000000542a300000,0x000000542b300000)]
  0x0000017cdbeea440 JavaThread "Isabelle.standard_output" [_thread_in_native, id=13784, stack(0x000000542b300000,0x000000542c300000)]
  0x0000017cdbee8af0 JavaThread "Isabelle.command_input" [_thread_blocked, id=4264, stack(0x000000542c300000,0x000000542d300000)]
  0x0000017cdbee9000 JavaThread "Isabelle.standard_error" [_thread_in_native, id=8532, stack(0x000000542d300000,0x000000542e300000)]
  0x0000017cdbeeb370 JavaThread "Isabelle.message_output" [_thread_in_native, id=4052, stack(0x000000542e300000,0x000000542f300000)]
  0x0000017cdbee9a20 JavaThread "Isabelle.server_handler" [_thread_in_native, id=22332, stack(0x000000542f300000,0x0000005430300000)]
  0x0000017cdbee9f30 JavaThread "Isabelle.Simplifier_Trace.manager" daemon [_thread_blocked, id=16772, stack(0x0000005430300000,0x0000005431300000)]
  0x0000017cdbeeb880 JavaThread "Isabelle.ML_statistics" [_thread_in_native, id=18044, stack(0x0000005431300000,0x0000005432300000)]
  0x0000017cdbee4e30 JavaThread "Isabelle.bash_stdout" [_thread_in_native, id=8080, stack(0x0000005433500000,0x0000005434500000)]
  0x0000017cdbeec7b0 JavaThread "Isabelle.bash_stderr" [_thread_in_native, id=19204, stack(0x0000005434500000,0x0000005435500000)]
  0x0000017ce429c940 JavaThread "jEdit Worker #1" [_thread_blocked, id=18900, stack(0x0000005436500000,0x0000005437500000)]
  0x0000017ce429d360 JavaThread "SwingWorker-pool-2-thread-2" daemon [_thread_blocked, id=6968, stack(0x0000005437500000,0x0000005438500000)]
  0x0000017cdf6dc320 JavaThread "jEdit Worker #2" [_thread_blocked, id=16576, stack(0x000000543e500000,0x000000543f500000)]
  0x0000017ce429d870 JavaThread "jEdit Worker #3" [_thread_blocked, id=20840, stack(0x0000005432300000,0x0000005433300000)]
  0x0000017cdf6d9590 JavaThread "SwingWorker-pool-2-thread-3" daemon [_thread_blocked, id=26004, stack(0x0000005438500000,0x0000005439500000)]

Other Threads:
  0x0000017cd563d920 VMThread "VM Thread" [stack: 0x0000005403a00000,0x0000005403b00000] [id=6504]
  0x0000017cd1aeffb0 WatcherThread [stack: 0x000000540bf00000,0x000000540c000000] [id=6928]
  0x0000017cd1a919b0 GCTaskThread "GC Thread#0" [stack: 0x0000005403500000,0x0000005403600000] [id=11248]
  0x0000017cd6bb9ae0 GCTaskThread "GC Thread#1" [stack: 0x000000540e200000,0x000000540e300000] [id=3840]
  0x0000017cd6b30de0 GCTaskThread "GC Thread#2" [stack: 0x000000540e300000,0x000000540e400000] [id=10300]
  0x0000017cd6b310a0 GCTaskThread "GC Thread#3" [stack: 0x000000540e400000,0x000000540e500000] [id=9456]
  0x0000017cd6bc2010 GCTaskThread "GC Thread#4" [stack: 0x000000540e500000,0x000000540e600000] [id=3220]
  0x0000017cd6bc26e0 GCTaskThread "GC Thread#5" [stack: 0x000000540e600000,0x000000540e700000] [id=19856]
  0x0000017cd6bc29a0 GCTaskThread "GC Thread#6" [stack: 0x000000540e700000,0x000000540e800000] [id=22604]
  0x0000017cd6bc2c60 GCTaskThread "GC Thread#7" [stack: 0x000000540e800000,0x000000540e900000] [id=7612]
  0x0000017cd6bc2f20 GCTaskThread "GC Thread#8" [stack: 0x000000540e900000,0x000000540ea00000] [id=8624]
  0x0000017cd6bc7800 GCTaskThread "GC Thread#9" [stack: 0x000000540ea00000,0x000000540eb00000] [id=19072]
  0x0000017cd6bca470 GCTaskThread "GC Thread#10" [stack: 0x000000540eb00000,0x000000540ec00000] [id=1456]
  0x0000017cd6bca730 GCTaskThread "GC Thread#11" [stack: 0x000000540ec00000,0x000000540ed00000] [id=12676]
  0x0000017cd6bca9f0 GCTaskThread "GC Thread#12" [stack: 0x0000005413f00000,0x0000005414000000] [id=24088]
  0x0000017cd6bcacb0 GCTaskThread "GC Thread#13" [stack: 0x0000005414000000,0x0000005414100000] [id=5612]
  0x0000017cd6bcb230 GCTaskThread "GC Thread#14" [stack: 0x0000005414100000,0x0000005414200000] [id=21960]
  0x0000017cd6bcb4f0 GCTaskThread "GC Thread#15" [stack: 0x0000005414200000,0x0000005414300000] [id=10928]
  0x0000017cde9d38b0 GCTaskThread "GC Thread#16" [stack: 0x0000005415c00000,0x0000005415d00000] [id=11312]
  0x0000017cde9d3330 GCTaskThread "GC Thread#17" [stack: 0x0000005415d00000,0x0000005415e00000] [id=21204]
  0x0000017cde9d35f0 GCTaskThread "GC Thread#18" [stack: 0x0000005415e00000,0x0000005415f00000] [id=9928]
  0x0000017cde9d3e30 GCTaskThread "GC Thread#19" [stack: 0x0000005415f00000,0x0000005416000000] [id=6916]
  0x0000017cdec20d90 GCTaskThread "GC Thread#20" [stack: 0x0000005416000000,0x0000005416100000] [id=24500]
  0x0000017cdec1ffd0 GCTaskThread "GC Thread#21" [stack: 0x0000005415800000,0x0000005415900000] [id=21936]
  0x0000017cdec21310 GCTaskThread "GC Thread#22" [stack: 0x0000005415900000,0x0000005415a00000] [id=7616]
  0x0000017cb01e8f80 ConcurrentGCThread "G1 Main Marker" [stack: 0x0000005403600000,0x0000005403700000] [id=8068]
  0x0000017cb021ec70 ConcurrentGCThread "G1 Conc#0" [stack: 0x0000005403700000,0x0000005403800000] [id=6384]
  0x0000017cd6bca1b0 ConcurrentGCThread "G1 Conc#1" [stack: 0x0000005414300000,0x0000005414400000] [id=20140]
  0x0000017cd6bcaf70 ConcurrentGCThread "G1 Conc#2" [stack: 0x0000005414400000,0x0000005414500000] [id=3344]
  0x0000017cde9d43b0 ConcurrentGCThread "G1 Conc#3" [stack: 0x0000005414500000,0x0000005414600000] [id=23612]
  0x0000017cde9d4670 ConcurrentGCThread "G1 Conc#4" [stack: 0x0000005414600000,0x0000005414700000] [id=17892]
  0x0000017cde9d40f0 ConcurrentGCThread "G1 Conc#5" [stack: 0x0000005414700000,0x0000005414800000] [id=15416]
  0x0000017cd1c57340 ConcurrentGCThread "G1 Refine#0" [stack: 0x0000005403800000,0x0000005403900000] [id=13392]
  0x0000017cd6cd1720 ConcurrentGCThread "G1 Refine#1" [stack: 0x0000005402200000,0x0000005402300000] [id=5884]
  0x0000017cd6cd1a10 ConcurrentGCThread "G1 Refine#2" [stack: 0x0000005402300000,0x0000005402400000] [id=13064]
  0x0000017cd1c57d70 ConcurrentGCThread "G1 Service" [stack: 0x0000005403900000,0x0000005403a00000] [id=17168]

Threads with active compile tasks:

VM state: not at safepoint (normal execution)

VM Mutex/Monitor currently owned by a thread: None

Heap address: 0x0000000700000000, size: 4096 MB, Compressed Oops mode: Zero based, Oop shift amount: 3

CDS archive(s) mapped at: [0x0000000800000000-0x0000000800c00000-0x0000000800c00000), size 12582912, SharedBaseAddress: 0x0000000800000000, ArchiveRelocationMode: 0.
Compressed class space mapped at: 0x0000000801000000-0x0000000841000000, reserved size: 1073741824
Narrow klass base: 0x0000000800000000, Narrow klass shift: 0, Narrow klass range: 0x100000000

GC Precious Log:
 CPUs: 32 total, 32 available
 Memory: 65264M
 Large Page Support: Disabled
 NUMA Support: Disabled
 Compressed Oops: Enabled (Zero based)
 Heap Region Size: 2M
 Heap Min Capacity: 512M
 Heap Initial Capacity: 512M
 Heap Max Capacity: 4G
 Pre-touch: Disabled
 Parallel Workers: 23
 Concurrent Workers: 6
 Concurrent Refinement Workers: 23
 Periodic GC: Disabled

Heap:
 garbage-first heap   total 524288K, used 389501K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 118 young (241664K), 2 survivors (4096K)
 Metaspace       used 60223K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K

Heap Regions: E=young(eden), S=young(survivor), O=old, HS=humongous(starts), HC=humongous(continues), CS=collection set, F=free, OA=open archive, CA=closed archive, TAMS=top-at-mark-start (previous, next)
|   0|0x0000000700000000, 0x0000000700200000, 0x0000000700200000|100%| O|  |TAMS 0x0000000700200000, 0x0000000700000000| Untracked 
|   1|0x0000000700200000, 0x0000000700400000, 0x0000000700400000|100%| O|  |TAMS 0x0000000700400000, 0x0000000700200000| Untracked 
|   2|0x0000000700400000, 0x0000000700600000, 0x0000000700600000|100%| O|  |TAMS 0x0000000700600000, 0x0000000700400000| Untracked 
|   3|0x0000000700600000, 0x0000000700800000, 0x0000000700800000|100%| O|  |TAMS 0x0000000700800000, 0x0000000700600000| Untracked 
|   4|0x0000000700800000, 0x0000000700a00000, 0x0000000700a00000|100%| O|  |TAMS 0x0000000700a00000, 0x0000000700800000| Untracked 
|   5|0x0000000700a00000, 0x0000000700c00000, 0x0000000700c00000|100%| O|  |TAMS 0x0000000700c00000, 0x0000000700a00000| Untracked 
|   6|0x0000000700c00000, 0x0000000700e00000, 0x0000000700e00000|100%| O|  |TAMS 0x0000000700e00000, 0x0000000700c00000| Untracked 
|   7|0x0000000700e00000, 0x0000000701000000, 0x0000000701000000|100%| O|  |TAMS 0x0000000701000000, 0x0000000700e00000| Untracked 
|   8|0x0000000701000000, 0x0000000701200000, 0x0000000701200000|100%|HS|  |TAMS 0x0000000701200000, 0x0000000701000000| Complete 
|   9|0x0000000701200000, 0x0000000701400000, 0x0000000701400000|100%| O|  |TAMS 0x0000000701400000, 0x0000000701200000| Untracked 
|  10|0x0000000701400000, 0x0000000701600000, 0x0000000701600000|100%| O|  |TAMS 0x0000000701600000, 0x0000000701400000| Untracked 
|  11|0x0000000701600000, 0x0000000701800000, 0x0000000701800000|100%| O|  |TAMS 0x0000000701800000, 0x0000000701600000| Untracked 
|  12|0x0000000701800000, 0x0000000701a00000, 0x0000000701a00000|100%| O|  |TAMS 0x0000000701a00000, 0x0000000701800000| Untracked 
|  13|0x0000000701a00000, 0x0000000701c00000, 0x0000000701c00000|100%|HS|  |TAMS 0x0000000701c00000, 0x0000000701a00000| Complete 
|  14|0x0000000701c00000, 0x0000000701e00000, 0x0000000701e00000|100%|HS|  |TAMS 0x0000000701e00000, 0x0000000701c00000| Complete 
|  15|0x0000000701e00000, 0x0000000702000000, 0x0000000702000000|100%|HC|  |TAMS 0x0000000702000000, 0x0000000701e00000| Complete 
|  16|0x0000000702000000, 0x0000000702200000, 0x0000000702200000|100%|HC|  |TAMS 0x0000000702200000, 0x0000000702000000| Complete 
|  17|0x0000000702200000, 0x0000000702400000, 0x0000000702400000|100%|HC|  |TAMS 0x0000000702400000, 0x0000000702200000| Complete 
|  18|0x0000000702400000, 0x0000000702600000, 0x0000000702600000|100%|HC|  |TAMS 0x0000000702600000, 0x0000000702400000| Complete 
|  19|0x0000000702600000, 0x0000000702800000, 0x0000000702800000|100%|HC|  |TAMS 0x0000000702800000, 0x0000000702600000| Complete 
|  20|0x0000000702800000, 0x0000000702a00000, 0x0000000702a00000|100%|HC|  |TAMS 0x0000000702a00000, 0x0000000702800000| Complete 
|  21|0x0000000702a00000, 0x0000000702c00000, 0x0000000702c00000|100%|HC|  |TAMS 0x0000000702c00000, 0x0000000702a00000| Complete 
|  22|0x0000000702c00000, 0x0000000702e00000, 0x0000000702e00000|100%| O|  |TAMS 0x0000000702e00000, 0x0000000702c00000| Untracked 
|  23|0x0000000702e00000, 0x0000000703000000, 0x0000000703000000|100%| O|  |TAMS 0x0000000703000000, 0x0000000702e00000| Untracked 
|  24|0x0000000703000000, 0x0000000703200000, 0x0000000703200000|100%| O|  |TAMS 0x0000000703200000, 0x0000000703000000| Untracked 
|  25|0x0000000703200000, 0x0000000703400000, 0x0000000703400000|100%| O|  |TAMS 0x0000000703400000, 0x0000000703200000| Untracked 
|  26|0x0000000703400000, 0x0000000703600000, 0x0000000703600000|100%| O|  |TAMS 0x0000000703600000, 0x0000000703400000| Untracked 
|  27|0x0000000703600000, 0x0000000703800000, 0x0000000703800000|100%| O|  |TAMS 0x0000000703800000, 0x0000000703600000| Untracked 
|  28|0x0000000703800000, 0x0000000703a00000, 0x0000000703a00000|100%| O|  |TAMS 0x0000000703a00000, 0x0000000703800000| Untracked 
|  29|0x0000000703a00000, 0x0000000703c00000, 0x0000000703c00000|100%| O|  |TAMS 0x0000000703c00000, 0x0000000703a00000| Untracked 
|  30|0x0000000703c00000, 0x0000000703e00000, 0x0000000703e00000|100%| O|  |TAMS 0x0000000703e00000, 0x0000000703c00000| Untracked 
|  31|0x0000000703e00000, 0x0000000704000000, 0x0000000704000000|100%| O|  |TAMS 0x0000000704000000, 0x0000000703e00000| Untracked 
|  32|0x0000000704000000, 0x0000000704200000, 0x0000000704200000|100%| O|  |TAMS 0x0000000704200000, 0x0000000704000000| Untracked 
|  33|0x0000000704200000, 0x0000000704400000, 0x0000000704400000|100%| O|  |TAMS 0x0000000704400000, 0x0000000704200000| Untracked 
|  34|0x0000000704400000, 0x0000000704600000, 0x0000000704600000|100%| O|  |TAMS 0x0000000704600000, 0x0000000704400000| Untracked 
|  35|0x0000000704600000, 0x0000000704800000, 0x0000000704800000|100%| O|  |TAMS 0x0000000704600000, 0x0000000704600000| Untracked 
|  36|0x0000000704800000, 0x0000000704a00000, 0x0000000704a00000|100%| O|  |TAMS 0x0000000704800000, 0x0000000704800000| Untracked 
|  37|0x0000000704a00000, 0x0000000704c00000, 0x0000000704c00000|100%| O|  |TAMS 0x0000000704c00000, 0x0000000704a00000| Untracked 
|  38|0x0000000704c00000, 0x0000000704e00000, 0x0000000704e00000|100%| O|  |TAMS 0x0000000704e00000, 0x0000000704c00000| Untracked 
|  39|0x0000000704e00000, 0x0000000705000000, 0x0000000705000000|100%| O|  |TAMS 0x0000000705000000, 0x0000000704e00000| Untracked 
|  40|0x0000000705000000, 0x0000000705200000, 0x0000000705200000|100%| O|  |TAMS 0x0000000705200000, 0x0000000705000000| Untracked 
|  41|0x0000000705200000, 0x0000000705400000, 0x0000000705400000|100%| O|  |TAMS 0x0000000705400000, 0x0000000705200000| Untracked 
|  42|0x0000000705400000, 0x0000000705600000, 0x0000000705600000|100%| O|  |TAMS 0x0000000705600000, 0x0000000705400000| Untracked 
|  43|0x0000000705600000, 0x0000000705800000, 0x0000000705800000|100%| O|  |TAMS 0x0000000705800000, 0x0000000705600000| Untracked 
|  44|0x0000000705800000, 0x0000000705a00000, 0x0000000705a00000|100%| O|  |TAMS 0x0000000705a00000, 0x0000000705800000| Untracked 
|  45|0x0000000705a00000, 0x0000000705c00000, 0x0000000705c00000|100%|HS|  |TAMS 0x0000000705c00000, 0x0000000705a00000| Complete 
|  46|0x0000000705c00000, 0x0000000705e00000, 0x0000000705e00000|100%| O|  |TAMS 0x0000000705e00000, 0x0000000705c00000| Untracked 
|  47|0x0000000705e00000, 0x0000000706000000, 0x0000000706000000|100%| O|  |TAMS 0x0000000706000000, 0x0000000705e00000| Untracked 
|  48|0x0000000706000000, 0x0000000706200000, 0x0000000706200000|100%| O|  |TAMS 0x0000000706200000, 0x0000000706000000| Untracked 
|  49|0x0000000706200000, 0x0000000706400000, 0x0000000706400000|100%| O|  |TAMS 0x0000000706400000, 0x0000000706200000| Untracked 
|  50|0x0000000706400000, 0x0000000706600000, 0x0000000706600000|100%| O|  |TAMS 0x0000000706600000, 0x0000000706400000| Untracked 
|  51|0x0000000706600000, 0x0000000706800000, 0x0000000706800000|100%| O|  |TAMS 0x0000000706800000, 0x0000000706600000| Untracked 
|  52|0x0000000706800000, 0x0000000706a00000, 0x0000000706a00000|100%| O|  |TAMS 0x0000000706a00000, 0x0000000706800000| Untracked 
|  53|0x0000000706a00000, 0x0000000706c00000, 0x0000000706c00000|100%| O|  |TAMS 0x0000000706a00000, 0x0000000706a00000| Untracked 
|  54|0x0000000706c00000, 0x0000000706e00000, 0x0000000706e00000|100%| O|  |TAMS 0x0000000706c00000, 0x0000000706c00000| Untracked 
|  55|0x0000000706e00000, 0x0000000707000000, 0x0000000707000000|100%|HS|  |TAMS 0x0000000706e00000, 0x0000000706e00000| Complete 
|  56|0x0000000707000000, 0x0000000707200000, 0x0000000707200000|100%|HC|  |TAMS 0x0000000707000000, 0x0000000707000000| Complete 
|  57|0x0000000707200000, 0x0000000707400000, 0x0000000707400000|100%| O|  |TAMS 0x0000000707200000, 0x0000000707200000| Untracked 
|  58|0x0000000707400000, 0x0000000707600000, 0x0000000707600000|100%| O|  |TAMS 0x0000000707400000, 0x0000000707400000| Untracked 
|  59|0x0000000707600000, 0x0000000707800000, 0x0000000707800000|100%| O|  |TAMS 0x0000000707600000, 0x0000000707600000| Untracked 
|  60|0x0000000707800000, 0x0000000707a00000, 0x0000000707a00000|100%| O|  |TAMS 0x0000000707800000, 0x0000000707800000| Untracked 
|  61|0x0000000707a00000, 0x0000000707c00000, 0x0000000707c00000|100%| O|  |TAMS 0x0000000707c00000, 0x0000000707a00000| Untracked 
|  62|0x0000000707c00000, 0x0000000707e00000, 0x0000000707e00000|100%| O|  |TAMS 0x0000000707e00000, 0x0000000707c00000| Untracked 
|  63|0x0000000707e00000, 0x0000000708000000, 0x0000000708000000|100%| O|  |TAMS 0x0000000708000000, 0x0000000707e00000| Untracked 
|  64|0x0000000708000000, 0x0000000708200000, 0x0000000708200000|100%| O|  |TAMS 0x0000000708200000, 0x0000000708000000| Untracked 
|  65|0x0000000708200000, 0x00000007082c2600, 0x0000000708400000| 37%| O|  |TAMS 0x00000007082bda00, 0x0000000708200000| Untracked 
|  66|0x0000000708400000, 0x0000000708600000, 0x0000000708600000|100%| O|  |TAMS 0x0000000708600000, 0x0000000708400000| Untracked 
|  67|0x0000000708600000, 0x0000000708800000, 0x0000000708800000|100%| O|  |TAMS 0x0000000708600000, 0x0000000708600000| Untracked 
|  68|0x0000000708800000, 0x0000000708a00000, 0x0000000708a00000|100%| O|  |TAMS 0x0000000708800000, 0x0000000708800000| Untracked 
|  69|0x0000000708a00000, 0x0000000708c00000, 0x0000000708c00000|100%| O|  |TAMS 0x0000000708a00000, 0x0000000708a00000| Untracked 
|  70|0x0000000708c00000, 0x0000000708e00000, 0x0000000708e00000|100%| O|  |TAMS 0x0000000708c00000, 0x0000000708c00000| Untracked 
|  71|0x0000000708e00000, 0x0000000709000000, 0x0000000709000000|100%| O|  |TAMS 0x0000000708e00000, 0x0000000708e00000| Untracked 
|  72|0x0000000709000000, 0x0000000709124c00, 0x0000000709200000| 57%| O|  |TAMS 0x0000000709000000, 0x0000000709000000| Untracked 
|  73|0x0000000709200000, 0x0000000709200000, 0x0000000709400000|  0%| F|  |TAMS 0x0000000709200000, 0x0000000709200000| Untracked 
|  74|0x0000000709400000, 0x0000000709400000, 0x0000000709600000|  0%| F|  |TAMS 0x0000000709400000, 0x0000000709400000| Untracked 
|  75|0x0000000709600000, 0x0000000709600000, 0x0000000709800000|  0%| F|  |TAMS 0x0000000709600000, 0x0000000709600000| Untracked 
|  76|0x0000000709800000, 0x0000000709800000, 0x0000000709a00000|  0%| F|  |TAMS 0x0000000709800000, 0x0000000709800000| Untracked 
|  77|0x0000000709a00000, 0x0000000709a00000, 0x0000000709c00000|  0%| F|  |TAMS 0x0000000709a00000, 0x0000000709a00000| Untracked 
|  78|0x0000000709c00000, 0x0000000709c00000, 0x0000000709e00000|  0%| F|  |TAMS 0x0000000709c00000, 0x0000000709c00000| Untracked 
|  79|0x0000000709e00000, 0x0000000709e00000, 0x000000070a000000|  0%| F|  |TAMS 0x0000000709e00000, 0x0000000709e00000| Untracked 
|  80|0x000000070a000000, 0x000000070a000000, 0x000000070a200000|  0%| F|  |TAMS 0x000000070a000000, 0x000000070a000000| Untracked 
|  81|0x000000070a200000, 0x000000070a200000, 0x000000070a400000|  0%| F|  |TAMS 0x000000070a200000, 0x000000070a200000| Untracked 
|  82|0x000000070a400000, 0x000000070a400000, 0x000000070a600000|  0%| F|  |TAMS 0x000000070a400000, 0x000000070a400000| Untracked 
|  83|0x000000070a600000, 0x000000070a600000, 0x000000070a800000|  0%| F|  |TAMS 0x000000070a600000, 0x000000070a600000| Untracked 
|  84|0x000000070a800000, 0x000000070a800000, 0x000000070aa00000|  0%| F|  |TAMS 0x000000070a800000, 0x000000070a800000| Untracked 
|  85|0x000000070aa00000, 0x000000070aa00000, 0x000000070ac00000|  0%| F|  |TAMS 0x000000070aa00000, 0x000000070aa00000| Untracked 
|  86|0x000000070ac00000, 0x000000070ac00000, 0x000000070ae00000|  0%| F|  |TAMS 0x000000070ac00000, 0x000000070ac00000| Untracked 
|  87|0x000000070ae00000, 0x000000070ae00000, 0x000000070b000000|  0%| F|  |TAMS 0x000000070ae00000, 0x000000070ae00000| Untracked 
|  88|0x000000070b000000, 0x000000070b000000, 0x000000070b200000|  0%| F|  |TAMS 0x000000070b000000, 0x000000070b000000| Untracked 
|  89|0x000000070b200000, 0x000000070b400000, 0x000000070b400000|100%| O|  |TAMS 0x000000070b400000, 0x000000070b200000| Untracked 
|  90|0x000000070b400000, 0x000000070b600000, 0x000000070b600000|100%| O|  |TAMS 0x000000070b600000, 0x000000070b400000| Untracked 
|  91|0x000000070b600000, 0x000000070b600000, 0x000000070b800000|  0%| F|  |TAMS 0x000000070b600000, 0x000000070b600000| Untracked 
|  92|0x000000070b800000, 0x000000070b800000, 0x000000070ba00000|  0%| F|  |TAMS 0x000000070b800000, 0x000000070b800000| Untracked 
|  93|0x000000070ba00000, 0x000000070ba00000, 0x000000070bc00000|  0%| F|  |TAMS 0x000000070ba00000, 0x000000070ba00000| Untracked 
|  94|0x000000070bc00000, 0x000000070bc00000, 0x000000070be00000|  0%| F|  |TAMS 0x000000070bc00000, 0x000000070bc00000| Untracked 
|  95|0x000000070be00000, 0x000000070be00000, 0x000000070c000000|  0%| F|  |TAMS 0x000000070be00000, 0x000000070be00000| Untracked 
|  96|0x000000070c000000, 0x000000070c000000, 0x000000070c200000|  0%| F|  |TAMS 0x000000070c000000, 0x000000070c000000| Untracked 
|  97|0x000000070c200000, 0x000000070c200000, 0x000000070c400000|  0%| F|  |TAMS 0x000000070c200000, 0x000000070c200000| Untracked 
|  98|0x000000070c400000, 0x000000070c400000, 0x000000070c600000|  0%| F|  |TAMS 0x000000070c400000, 0x000000070c400000| Untracked 
|  99|0x000000070c600000, 0x000000070c600000, 0x000000070c800000|  0%| F|  |TAMS 0x000000070c600000, 0x000000070c600000| Untracked 
| 100|0x000000070c800000, 0x000000070c800000, 0x000000070ca00000|  0%| F|  |TAMS 0x000000070c800000, 0x000000070c800000| Untracked 
| 101|0x000000070ca00000, 0x000000070ca00000, 0x000000070cc00000|  0%| F|  |TAMS 0x000000070ca00000, 0x000000070ca00000| Untracked 
| 102|0x000000070cc00000, 0x000000070cc783a0, 0x000000070ce00000| 23%| S|CS|TAMS 0x000000070cc00000, 0x000000070cc00000| Complete 
| 103|0x000000070ce00000, 0x000000070ce00000, 0x000000070d000000|  0%| F|  |TAMS 0x000000070ce00000, 0x000000070ce00000| Untracked 
| 104|0x000000070d000000, 0x000000070d200000, 0x000000070d200000|100%| S|CS|TAMS 0x000000070d000000, 0x000000070d000000| Complete 
| 105|0x000000070d200000, 0x000000070d200000, 0x000000070d400000|  0%| F|  |TAMS 0x000000070d200000, 0x000000070d200000| Untracked 
| 106|0x000000070d400000, 0x000000070d400000, 0x000000070d600000|  0%| F|  |TAMS 0x000000070d400000, 0x000000070d400000| Untracked 
| 107|0x000000070d600000, 0x000000070d600000, 0x000000070d800000|  0%| F|  |TAMS 0x000000070d600000, 0x000000070d600000| Untracked 
| 108|0x000000070d800000, 0x000000070d800000, 0x000000070da00000|  0%| F|  |TAMS 0x000000070d800000, 0x000000070d800000| Untracked 
| 109|0x000000070da00000, 0x000000070da00000, 0x000000070dc00000|  0%| F|  |TAMS 0x000000070da00000, 0x000000070da00000| Untracked 
| 110|0x000000070dc00000, 0x000000070dc00000, 0x000000070de00000|  0%| F|  |TAMS 0x000000070dc00000, 0x000000070dc00000| Untracked 
| 111|0x000000070de00000, 0x000000070de00000, 0x000000070e000000|  0%| F|  |TAMS 0x000000070de00000, 0x000000070de00000| Untracked 
| 112|0x000000070e000000, 0x000000070e000000, 0x000000070e200000|  0%| F|  |TAMS 0x000000070e000000, 0x000000070e000000| Untracked 
| 113|0x000000070e200000, 0x000000070e200000, 0x000000070e400000|  0%| F|  |TAMS 0x000000070e200000, 0x000000070e200000| Untracked 
| 114|0x000000070e400000, 0x000000070e400000, 0x000000070e600000|  0%| F|  |TAMS 0x000000070e400000, 0x000000070e400000| Untracked 
| 115|0x000000070e600000, 0x000000070e600000, 0x000000070e800000|  0%| F|  |TAMS 0x000000070e600000, 0x000000070e600000| Untracked 
| 116|0x000000070e800000, 0x000000070e800000, 0x000000070ea00000|  0%| F|  |TAMS 0x000000070e800000, 0x000000070e800000| Untracked 
| 117|0x000000070ea00000, 0x000000070ea00000, 0x000000070ec00000|  0%| F|  |TAMS 0x000000070ea00000, 0x000000070ea00000| Untracked 
| 118|0x000000070ec00000, 0x000000070ec00000, 0x000000070ee00000|  0%| F|  |TAMS 0x000000070ec00000, 0x000000070ec00000| Untracked 
| 119|0x000000070ee00000, 0x000000070ee00000, 0x000000070f000000|  0%| F|  |TAMS 0x000000070ee00000, 0x000000070ee00000| Untracked 
| 120|0x000000070f000000, 0x000000070f000000, 0x000000070f200000|  0%| F|  |TAMS 0x000000070f000000, 0x000000070f000000| Untracked 
| 121|0x000000070f200000, 0x000000070f200000, 0x000000070f400000|  0%| F|  |TAMS 0x000000070f200000, 0x000000070f200000| Untracked 
| 122|0x000000070f400000, 0x000000070f400000, 0x000000070f600000|  0%| F|  |TAMS 0x000000070f400000, 0x000000070f400000| Untracked 
| 123|0x000000070f600000, 0x000000070f600000, 0x000000070f800000|  0%| F|  |TAMS 0x000000070f600000, 0x000000070f600000| Untracked 
| 124|0x000000070f800000, 0x000000070f800000, 0x000000070fa00000|  0%| F|  |TAMS 0x000000070f800000, 0x000000070f800000| Untracked 
| 125|0x000000070fa00000, 0x000000070fa00000, 0x000000070fc00000|  0%| F|  |TAMS 0x000000070fa00000, 0x000000070fa00000| Untracked 
| 126|0x000000070fc00000, 0x000000070fc00000, 0x000000070fe00000|  0%| F|  |TAMS 0x000000070fc00000, 0x000000070fc00000| Untracked 
| 127|0x000000070fe00000, 0x000000070fe00000, 0x0000000710000000|  0%| F|  |TAMS 0x000000070fe00000, 0x000000070fe00000| Untracked 
| 128|0x0000000710000000, 0x0000000710000000, 0x0000000710200000|  0%| F|  |TAMS 0x0000000710000000, 0x0000000710000000| Untracked 
| 129|0x0000000710200000, 0x0000000710200000, 0x0000000710400000|  0%| F|  |TAMS 0x0000000710200000, 0x0000000710200000| Untracked 
| 130|0x0000000710400000, 0x0000000710400000, 0x0000000710600000|  0%| F|  |TAMS 0x0000000710400000, 0x0000000710400000| Untracked 
| 131|0x0000000710600000, 0x0000000710600000, 0x0000000710800000|  0%| F|  |TAMS 0x0000000710600000, 0x0000000710600000| Untracked 
| 132|0x0000000710800000, 0x0000000710800000, 0x0000000710a00000|  0%| F|  |TAMS 0x0000000710800000, 0x0000000710800000| Untracked 
| 133|0x0000000710a00000, 0x0000000710a00000, 0x0000000710c00000|  0%| F|  |TAMS 0x0000000710a00000, 0x0000000710a00000| Untracked 
| 134|0x0000000710c00000, 0x0000000710c00000, 0x0000000710e00000|  0%| F|  |TAMS 0x0000000710c00000, 0x0000000710c00000| Untracked 
| 135|0x0000000710e00000, 0x0000000710e00000, 0x0000000711000000|  0%| F|  |TAMS 0x0000000710e00000, 0x0000000710e00000| Untracked 
| 136|0x0000000711000000, 0x0000000711000000, 0x0000000711200000|  0%| F|  |TAMS 0x0000000711000000, 0x0000000711000000| Untracked 
| 137|0x0000000711200000, 0x0000000711200000, 0x0000000711400000|  0%| F|  |TAMS 0x0000000711200000, 0x0000000711200000| Untracked 
| 138|0x0000000711400000, 0x0000000711400000, 0x0000000711600000|  0%| F|  |TAMS 0x0000000711400000, 0x0000000711400000| Untracked 
| 139|0x0000000711600000, 0x0000000711600000, 0x0000000711800000|  0%| F|  |TAMS 0x0000000711600000, 0x0000000711600000| Untracked 
| 140|0x0000000711800000, 0x0000000711a00000, 0x0000000711a00000|100%| E|  |TAMS 0x0000000711800000, 0x0000000711800000| Complete 
| 141|0x0000000711a00000, 0x0000000711c00000, 0x0000000711c00000|100%| E|CS|TAMS 0x0000000711a00000, 0x0000000711a00000| Complete 
| 142|0x0000000711c00000, 0x0000000711e00000, 0x0000000711e00000|100%| E|CS|TAMS 0x0000000711c00000, 0x0000000711c00000| Complete 
| 143|0x0000000711e00000, 0x0000000712000000, 0x0000000712000000|100%| E|CS|TAMS 0x0000000711e00000, 0x0000000711e00000| Complete 
| 144|0x0000000712000000, 0x0000000712200000, 0x0000000712200000|100%| E|CS|TAMS 0x0000000712000000, 0x0000000712000000| Complete 
| 145|0x0000000712200000, 0x0000000712400000, 0x0000000712400000|100%| E|CS|TAMS 0x0000000712200000, 0x0000000712200000| Complete 
| 146|0x0000000712400000, 0x0000000712600000, 0x0000000712600000|100%| E|CS|TAMS 0x0000000712400000, 0x0000000712400000| Complete 
| 147|0x0000000712600000, 0x0000000712800000, 0x0000000712800000|100%| E|CS|TAMS 0x0000000712600000, 0x0000000712600000| Complete 
| 148|0x0000000712800000, 0x0000000712a00000, 0x0000000712a00000|100%| E|CS|TAMS 0x0000000712800000, 0x0000000712800000| Complete 
| 149|0x0000000712a00000, 0x0000000712c00000, 0x0000000712c00000|100%| E|CS|TAMS 0x0000000712a00000, 0x0000000712a00000| Complete 
| 150|0x0000000712c00000, 0x0000000712e00000, 0x0000000712e00000|100%| E|CS|TAMS 0x0000000712c00000, 0x0000000712c00000| Complete 
| 151|0x0000000712e00000, 0x0000000713000000, 0x0000000713000000|100%| E|CS|TAMS 0x0000000712e00000, 0x0000000712e00000| Complete 
| 152|0x0000000713000000, 0x0000000713200000, 0x0000000713200000|100%| E|CS|TAMS 0x0000000713000000, 0x0000000713000000| Complete 
| 153|0x0000000713200000, 0x0000000713400000, 0x0000000713400000|100%| E|CS|TAMS 0x0000000713200000, 0x0000000713200000| Complete 
| 154|0x0000000713400000, 0x0000000713600000, 0x0000000713600000|100%| E|CS|TAMS 0x0000000713400000, 0x0000000713400000| Complete 
| 155|0x0000000713600000, 0x0000000713800000, 0x0000000713800000|100%| E|CS|TAMS 0x0000000713600000, 0x0000000713600000| Complete 
| 156|0x0000000713800000, 0x0000000713a00000, 0x0000000713a00000|100%| E|CS|TAMS 0x0000000713800000, 0x0000000713800000| Complete 
| 157|0x0000000713a00000, 0x0000000713c00000, 0x0000000713c00000|100%| E|CS|TAMS 0x0000000713a00000, 0x0000000713a00000| Complete 
| 158|0x0000000713c00000, 0x0000000713e00000, 0x0000000713e00000|100%| E|CS|TAMS 0x0000000713c00000, 0x0000000713c00000| Complete 
| 159|0x0000000713e00000, 0x0000000714000000, 0x0000000714000000|100%| E|CS|TAMS 0x0000000713e00000, 0x0000000713e00000| Complete 
| 160|0x0000000714000000, 0x0000000714200000, 0x0000000714200000|100%| E|CS|TAMS 0x0000000714000000, 0x0000000714000000| Complete 
| 161|0x0000000714200000, 0x0000000714400000, 0x0000000714400000|100%| E|CS|TAMS 0x0000000714200000, 0x0000000714200000| Complete 
| 162|0x0000000714400000, 0x0000000714600000, 0x0000000714600000|100%| E|CS|TAMS 0x0000000714400000, 0x0000000714400000| Complete 
| 163|0x0000000714600000, 0x0000000714800000, 0x0000000714800000|100%| E|CS|TAMS 0x0000000714600000, 0x0000000714600000| Complete 
| 164|0x0000000714800000, 0x0000000714a00000, 0x0000000714a00000|100%| E|CS|TAMS 0x0000000714800000, 0x0000000714800000| Complete 
| 165|0x0000000714a00000, 0x0000000714c00000, 0x0000000714c00000|100%| E|CS|TAMS 0x0000000714a00000, 0x0000000714a00000| Complete 
| 166|0x0000000714c00000, 0x0000000714e00000, 0x0000000714e00000|100%| E|CS|TAMS 0x0000000714c00000, 0x0000000714c00000| Complete 
| 167|0x0000000714e00000, 0x0000000715000000, 0x0000000715000000|100%| E|CS|TAMS 0x0000000714e00000, 0x0000000714e00000| Complete 
| 168|0x0000000715000000, 0x0000000715200000, 0x0000000715200000|100%| E|CS|TAMS 0x0000000715000000, 0x0000000715000000| Complete 
| 169|0x0000000715200000, 0x0000000715400000, 0x0000000715400000|100%| E|CS|TAMS 0x0000000715200000, 0x0000000715200000| Complete 
| 170|0x0000000715400000, 0x0000000715600000, 0x0000000715600000|100%| E|CS|TAMS 0x0000000715400000, 0x0000000715400000| Complete 
| 171|0x0000000715600000, 0x0000000715800000, 0x0000000715800000|100%| E|CS|TAMS 0x0000000715600000, 0x0000000715600000| Complete 
| 172|0x0000000715800000, 0x0000000715a00000, 0x0000000715a00000|100%| E|CS|TAMS 0x0000000715800000, 0x0000000715800000| Complete 
| 173|0x0000000715a00000, 0x0000000715c00000, 0x0000000715c00000|100%| E|CS|TAMS 0x0000000715a00000, 0x0000000715a00000| Complete 
| 174|0x0000000715c00000, 0x0000000715e00000, 0x0000000715e00000|100%| E|CS|TAMS 0x0000000715c00000, 0x0000000715c00000| Complete 
| 175|0x0000000715e00000, 0x0000000716000000, 0x0000000716000000|100%| E|CS|TAMS 0x0000000715e00000, 0x0000000715e00000| Complete 
| 176|0x0000000716000000, 0x0000000716200000, 0x0000000716200000|100%| E|CS|TAMS 0x0000000716000000, 0x0000000716000000| Complete 
| 177|0x0000000716200000, 0x0000000716400000, 0x0000000716400000|100%| E|CS|TAMS 0x0000000716200000, 0x0000000716200000| Complete 
| 178|0x0000000716400000, 0x0000000716600000, 0x0000000716600000|100%| E|CS|TAMS 0x0000000716400000, 0x0000000716400000| Complete 
| 179|0x0000000716600000, 0x0000000716800000, 0x0000000716800000|100%| E|CS|TAMS 0x0000000716600000, 0x0000000716600000| Complete 
| 180|0x0000000716800000, 0x0000000716a00000, 0x0000000716a00000|100%| E|CS|TAMS 0x0000000716800000, 0x0000000716800000| Complete 
| 181|0x0000000716a00000, 0x0000000716c00000, 0x0000000716c00000|100%| E|CS|TAMS 0x0000000716a00000, 0x0000000716a00000| Complete 
| 182|0x0000000716c00000, 0x0000000716e00000, 0x0000000716e00000|100%| E|CS|TAMS 0x0000000716c00000, 0x0000000716c00000| Complete 
| 183|0x0000000716e00000, 0x0000000717000000, 0x0000000717000000|100%| E|CS|TAMS 0x0000000716e00000, 0x0000000716e00000| Complete 
| 184|0x0000000717000000, 0x0000000717200000, 0x0000000717200000|100%| E|CS|TAMS 0x0000000717000000, 0x0000000717000000| Complete 
| 185|0x0000000717200000, 0x0000000717400000, 0x0000000717400000|100%| E|CS|TAMS 0x0000000717200000, 0x0000000717200000| Complete 
| 186|0x0000000717400000, 0x0000000717600000, 0x0000000717600000|100%| E|CS|TAMS 0x0000000717400000, 0x0000000717400000| Complete 
| 187|0x0000000717600000, 0x0000000717800000, 0x0000000717800000|100%| E|CS|TAMS 0x0000000717600000, 0x0000000717600000| Complete 
| 188|0x0000000717800000, 0x0000000717a00000, 0x0000000717a00000|100%| E|CS|TAMS 0x0000000717800000, 0x0000000717800000| Complete 
| 189|0x0000000717a00000, 0x0000000717c00000, 0x0000000717c00000|100%| E|CS|TAMS 0x0000000717a00000, 0x0000000717a00000| Complete 
| 190|0x0000000717c00000, 0x0000000717e00000, 0x0000000717e00000|100%| E|CS|TAMS 0x0000000717c00000, 0x0000000717c00000| Complete 
| 191|0x0000000717e00000, 0x0000000718000000, 0x0000000718000000|100%| E|CS|TAMS 0x0000000717e00000, 0x0000000717e00000| Complete 
| 192|0x0000000718000000, 0x0000000718200000, 0x0000000718200000|100%| E|CS|TAMS 0x0000000718000000, 0x0000000718000000| Complete 
| 193|0x0000000718200000, 0x0000000718400000, 0x0000000718400000|100%| E|CS|TAMS 0x0000000718200000, 0x0000000718200000| Complete 
| 194|0x0000000718400000, 0x0000000718600000, 0x0000000718600000|100%| E|CS|TAMS 0x0000000718400000, 0x0000000718400000| Complete 
| 195|0x0000000718600000, 0x0000000718800000, 0x0000000718800000|100%| E|CS|TAMS 0x0000000718600000, 0x0000000718600000| Complete 
| 196|0x0000000718800000, 0x0000000718a00000, 0x0000000718a00000|100%| E|CS|TAMS 0x0000000718800000, 0x0000000718800000| Complete 
| 197|0x0000000718a00000, 0x0000000718c00000, 0x0000000718c00000|100%| E|CS|TAMS 0x0000000718a00000, 0x0000000718a00000| Complete 
| 198|0x0000000718c00000, 0x0000000718e00000, 0x0000000718e00000|100%| E|CS|TAMS 0x0000000718c00000, 0x0000000718c00000| Complete 
| 199|0x0000000718e00000, 0x0000000719000000, 0x0000000719000000|100%| E|CS|TAMS 0x0000000718e00000, 0x0000000718e00000| Complete 
| 200|0x0000000719000000, 0x0000000719200000, 0x0000000719200000|100%| E|CS|TAMS 0x0000000719000000, 0x0000000719000000| Complete 
| 201|0x0000000719200000, 0x0000000719400000, 0x0000000719400000|100%| E|CS|TAMS 0x0000000719200000, 0x0000000719200000| Complete 
| 202|0x0000000719400000, 0x0000000719600000, 0x0000000719600000|100%| E|CS|TAMS 0x0000000719400000, 0x0000000719400000| Complete 
| 203|0x0000000719600000, 0x0000000719800000, 0x0000000719800000|100%| E|CS|TAMS 0x0000000719600000, 0x0000000719600000| Complete 
| 204|0x0000000719800000, 0x0000000719a00000, 0x0000000719a00000|100%| E|CS|TAMS 0x0000000719800000, 0x0000000719800000| Complete 
| 205|0x0000000719a00000, 0x0000000719c00000, 0x0000000719c00000|100%| E|CS|TAMS 0x0000000719a00000, 0x0000000719a00000| Complete 
| 206|0x0000000719c00000, 0x0000000719e00000, 0x0000000719e00000|100%| E|CS|TAMS 0x0000000719c00000, 0x0000000719c00000| Complete 
| 207|0x0000000719e00000, 0x000000071a000000, 0x000000071a000000|100%| E|CS|TAMS 0x0000000719e00000, 0x0000000719e00000| Complete 
| 208|0x000000071a000000, 0x000000071a200000, 0x000000071a200000|100%| E|CS|TAMS 0x000000071a000000, 0x000000071a000000| Complete 
| 209|0x000000071a200000, 0x000000071a400000, 0x000000071a400000|100%| E|CS|TAMS 0x000000071a200000, 0x000000071a200000| Complete 
| 210|0x000000071a400000, 0x000000071a600000, 0x000000071a600000|100%| E|CS|TAMS 0x000000071a400000, 0x000000071a400000| Complete 
| 211|0x000000071a600000, 0x000000071a800000, 0x000000071a800000|100%| E|CS|TAMS 0x000000071a600000, 0x000000071a600000| Complete 
| 212|0x000000071a800000, 0x000000071aa00000, 0x000000071aa00000|100%| E|CS|TAMS 0x000000071a800000, 0x000000071a800000| Complete 
| 213|0x000000071aa00000, 0x000000071ac00000, 0x000000071ac00000|100%| E|CS|TAMS 0x000000071aa00000, 0x000000071aa00000| Complete 
| 214|0x000000071ac00000, 0x000000071ae00000, 0x000000071ae00000|100%| E|CS|TAMS 0x000000071ac00000, 0x000000071ac00000| Complete 
| 215|0x000000071ae00000, 0x000000071b000000, 0x000000071b000000|100%| E|CS|TAMS 0x000000071ae00000, 0x000000071ae00000| Complete 
| 216|0x000000071b000000, 0x000000071b200000, 0x000000071b200000|100%| E|CS|TAMS 0x000000071b000000, 0x000000071b000000| Complete 
| 217|0x000000071b200000, 0x000000071b400000, 0x000000071b400000|100%| E|CS|TAMS 0x000000071b200000, 0x000000071b200000| Complete 
| 218|0x000000071b400000, 0x000000071b600000, 0x000000071b600000|100%| E|CS|TAMS 0x000000071b400000, 0x000000071b400000| Complete 
| 219|0x000000071b600000, 0x000000071b800000, 0x000000071b800000|100%| E|CS|TAMS 0x000000071b600000, 0x000000071b600000| Complete 
| 220|0x000000071b800000, 0x000000071ba00000, 0x000000071ba00000|100%| E|CS|TAMS 0x000000071b800000, 0x000000071b800000| Complete 
| 221|0x000000071ba00000, 0x000000071bc00000, 0x000000071bc00000|100%| E|CS|TAMS 0x000000071ba00000, 0x000000071ba00000| Complete 
| 222|0x000000071bc00000, 0x000000071be00000, 0x000000071be00000|100%| E|CS|TAMS 0x000000071bc00000, 0x000000071bc00000| Complete 
| 223|0x000000071be00000, 0x000000071c000000, 0x000000071c000000|100%| E|CS|TAMS 0x000000071be00000, 0x000000071be00000| Complete 
| 224|0x000000071c000000, 0x000000071c200000, 0x000000071c200000|100%| E|CS|TAMS 0x000000071c000000, 0x000000071c000000| Complete 
| 225|0x000000071c200000, 0x000000071c400000, 0x000000071c400000|100%| E|CS|TAMS 0x000000071c200000, 0x000000071c200000| Complete 
| 226|0x000000071c400000, 0x000000071c600000, 0x000000071c600000|100%| E|CS|TAMS 0x000000071c400000, 0x000000071c400000| Complete 
| 227|0x000000071c600000, 0x000000071c800000, 0x000000071c800000|100%| E|CS|TAMS 0x000000071c600000, 0x000000071c600000| Complete 
| 228|0x000000071c800000, 0x000000071ca00000, 0x000000071ca00000|100%| E|CS|TAMS 0x000000071c800000, 0x000000071c800000| Complete 
| 229|0x000000071ca00000, 0x000000071cc00000, 0x000000071cc00000|100%| E|CS|TAMS 0x000000071ca00000, 0x000000071ca00000| Complete 
| 230|0x000000071cc00000, 0x000000071ce00000, 0x000000071ce00000|100%| E|CS|TAMS 0x000000071cc00000, 0x000000071cc00000| Complete 
| 231|0x000000071ce00000, 0x000000071d000000, 0x000000071d000000|100%| E|CS|TAMS 0x000000071ce00000, 0x000000071ce00000| Complete 
| 232|0x000000071d000000, 0x000000071d200000, 0x000000071d200000|100%| E|CS|TAMS 0x000000071d000000, 0x000000071d000000| Complete 
| 233|0x000000071d200000, 0x000000071d400000, 0x000000071d400000|100%| E|CS|TAMS 0x000000071d200000, 0x000000071d200000| Complete 
| 234|0x000000071d400000, 0x000000071d600000, 0x000000071d600000|100%| E|CS|TAMS 0x000000071d400000, 0x000000071d400000| Complete 
| 235|0x000000071d600000, 0x000000071d800000, 0x000000071d800000|100%| E|CS|TAMS 0x000000071d600000, 0x000000071d600000| Complete 
| 236|0x000000071d800000, 0x000000071da00000, 0x000000071da00000|100%| E|CS|TAMS 0x000000071d800000, 0x000000071d800000| Complete 
| 237|0x000000071da00000, 0x000000071dc00000, 0x000000071dc00000|100%| E|CS|TAMS 0x000000071da00000, 0x000000071da00000| Complete 
| 238|0x000000071dc00000, 0x000000071de00000, 0x000000071de00000|100%| E|CS|TAMS 0x000000071dc00000, 0x000000071dc00000| Complete 
| 239|0x000000071de00000, 0x000000071e000000, 0x000000071e000000|100%| E|CS|TAMS 0x000000071de00000, 0x000000071de00000| Complete 
| 240|0x000000071e000000, 0x000000071e200000, 0x000000071e200000|100%| E|CS|TAMS 0x000000071e000000, 0x000000071e000000| Complete 
| 241|0x000000071e200000, 0x000000071e400000, 0x000000071e400000|100%| E|CS|TAMS 0x000000071e200000, 0x000000071e200000| Complete 
| 242|0x000000071e400000, 0x000000071e600000, 0x000000071e600000|100%| E|CS|TAMS 0x000000071e400000, 0x000000071e400000| Complete 
| 243|0x000000071e600000, 0x000000071e800000, 0x000000071e800000|100%| E|CS|TAMS 0x000000071e600000, 0x000000071e600000| Complete 
| 244|0x000000071e800000, 0x000000071ea00000, 0x000000071ea00000|100%| E|CS|TAMS 0x000000071e800000, 0x000000071e800000| Complete 
| 245|0x000000071ea00000, 0x000000071ec00000, 0x000000071ec00000|100%| E|CS|TAMS 0x000000071ea00000, 0x000000071ea00000| Complete 
| 246|0x000000071ec00000, 0x000000071ee00000, 0x000000071ee00000|100%| E|CS|TAMS 0x000000071ec00000, 0x000000071ec00000| Complete 
| 247|0x000000071ee00000, 0x000000071f000000, 0x000000071f000000|100%| E|CS|TAMS 0x000000071ee00000, 0x000000071ee00000| Complete 
| 248|0x000000071f000000, 0x000000071f200000, 0x000000071f200000|100%| E|CS|TAMS 0x000000071f000000, 0x000000071f000000| Complete 
| 249|0x000000071f200000, 0x000000071f400000, 0x000000071f400000|100%| E|CS|TAMS 0x000000071f200000, 0x000000071f200000| Complete 
| 454|0x0000000738c00000, 0x0000000738e00000, 0x0000000738e00000|100%| E|CS|TAMS 0x0000000738c00000, 0x0000000738c00000| Complete 
| 455|0x0000000738e00000, 0x0000000739000000, 0x0000000739000000|100%| E|CS|TAMS 0x0000000738e00000, 0x0000000738e00000| Complete 
| 570|0x0000000747400000, 0x0000000747600000, 0x0000000747600000|100%| E|CS|TAMS 0x0000000747400000, 0x0000000747400000| Complete 
| 571|0x0000000747600000, 0x0000000747800000, 0x0000000747800000|100%| E|CS|TAMS 0x0000000747600000, 0x0000000747600000| Complete 
| 572|0x0000000747800000, 0x0000000747a00000, 0x0000000747a00000|100%| E|CS|TAMS 0x0000000747800000, 0x0000000747800000| Complete 
| 573|0x0000000747a00000, 0x0000000747c00000, 0x0000000747c00000|100%| E|CS|TAMS 0x0000000747a00000, 0x0000000747a00000| Complete 

Card table byte_map: [0x0000017cc8920000,0x0000017cc9120000] _byte_map_base: 0x0000017cc5120000

Marking Bits (Prev, Next): (CMBitMap*) 0x0000017cb0219ea0, (CMBitMap*) 0x0000017cb0219e60
 Prev Bits: [0x0000017ccd920000, 0x0000017cd1920000)
 Next Bits: [0x0000017cc9920000, 0x0000017ccd920000)

Polling page: 0x0000017caf8c0000

Metaspace:

Usage:
  Non-class:     51.36 MB used.
      Class:      7.45 MB used.
       Both:     58.81 MB used.

Virtual space:
  Non-class space:       64.00 MB reserved,      51.81 MB ( 81%) committed,  1 nodes.
      Class space:        1.00 GB reserved,       7.81 MB ( <1%) committed,  1 nodes.
             Both:        1.06 GB reserved,      59.62 MB (  5%) committed. 

Chunk freelists:
   Non-Class:  12.09 MB
       Class:  8.00 MB
        Both:  20.09 MB

MaxMetaspaceSize: unlimited
CompressedClassSpaceSize: 1.00 GB
Initial GC threshold: 21.00 MB
Current GC threshold: 98.44 MB
CDS: on
MetaspaceReclaimPolicy: balanced
 - commit_granule_bytes: 65536.
 - commit_granule_words: 8192.
 - virtual_space_node_default_size: 8388608.
 - enlarge_chunks_in_place: 1.
 - new_chunks_are_fully_committed: 0.
 - uncommit_free_chunks: 1.
 - use_allocation_guard: 0.
 - handle_deallocations: 1.


Internal statistics:

num_allocs_failed_limit: 9.
num_arena_births: 1152.
num_arena_deaths: 0.
num_vsnodes_births: 2.
num_vsnodes_deaths: 0.
num_space_committed: 954.
num_space_uncommitted: 0.
num_chunks_returned_to_freelist: 9.
num_chunks_taken_from_freelist: 3067.
num_chunk_merges: 9.
num_chunk_splits: 2044.
num_chunks_enlarged: 1500.
num_inconsistent_stats: 0.

CodeHeap 'non-profiled nmethods': size=118848Kb used=15554Kb max_used=15941Kb free=103293Kb
 bounds [0x0000017cbf8d0000, 0x0000017cc0870000, 0x0000017cc6ce0000]
CodeHeap 'profiled nmethods': size=118848Kb used=25243Kb max_used=26122Kb free=93604Kb
 bounds [0x0000017cb7ce0000, 0x0000017cb9690000, 0x0000017cbf0f0000]
CodeHeap 'non-nmethods': size=8064Kb used=1594Kb max_used=3917Kb free=6469Kb
 bounds [0x0000017cbf0f0000, 0x0000017cbf4d0000, 0x0000017cbf8d0000]
 total_blobs=15688 nmethods=14694 adapters=904
 compilation: enabled
              stopped_count=0, restarted_count=0
 full_count=0

Compilation events (20 events):
Event: 1094.511 Thread 0x0000017cd56847c0 19818       3       org.gjt.sp.jedit.MiscUtilities::abbreviateView (15 bytes)
Event: 1094.511 Thread 0x0000017cd56847c0 nmethod 19818 0x0000017cb861c710 code [0x0000017cb861c920, 0x0000017cb861ce38]
Event: 1094.511 Thread 0x0000017cd56847c0 19819       3       org.gjt.sp.jedit.MiscUtilities::abbreviate (24 bytes)
Event: 1094.511 Thread 0x0000017cd56847c0 nmethod 19819 0x0000017cb8fc7810 code [0x0000017cb8fc79c0, 0x0000017cb8fc7c78]
Event: 1096.917 Thread 0x0000017cd56847c0 19821       1       java.awt.PointerInfo::getLocation (5 bytes)
Event: 1096.917 Thread 0x0000017cd56847c0 nmethod 19821 0x0000017cc0782510 code [0x0000017cc07826a0, 0x0000017cc0782778]
Event: 1098.605 Thread 0x0000017cd567ae90 19822       4       java.lang.StringConcatHelper::prepend (22 bytes)
Event: 1098.610 Thread 0x0000017cd567ae90 nmethod 19822 0x0000017cc0781110 code [0x0000017cc07812e0, 0x0000017cc0781e58]
Event: 1100.168 Thread 0x0000017cd56847c0 19823       3       sun.java2d.marlin.MarlinCache::copyAARowRLE_WithBlockFlags (733 bytes)
Event: 1100.169 Thread 0x0000017cd56847c0 nmethod 19823 0x0000017cb7ea1a10 code [0x0000017cb7ea1cc0, 0x0000017cb7ea2db8]
Event: 1100.171 Thread 0x0000017cd56847c0 19824       3       sun.java2d.marlin.Stroker::mayDrawRoundJoin (108 bytes)
Event: 1100.171 Thread 0x0000017cd567ae90 19825   !   4       sun.java2d.SunGraphics2D::drawImage (150 bytes)
Event: 1100.171 Thread 0x0000017cd56847c0 nmethod 19824 0x0000017cb9251f10 code [0x0000017cb9252120, 0x0000017cb9252548]
Event: 1100.183 Thread 0x0000017cd567ae90 nmethod 19825 0x0000017cc05f2e10 code [0x0000017cc05f3200, 0x0000017cc05f5850]
Event: 1100.183 Thread 0x0000017cd567ae90 19826       4       sun.java2d.marlin.MarlinCache::copyAARowRLE_WithBlockFlags (733 bytes)
Event: 1100.194 Thread 0x0000017cd567ae90 nmethod 19826 0x0000017cc077e910 code [0x0000017cc077eae0, 0x0000017cc077fe78]
Event: 1108.336 Thread 0x0000017cd56847c0 19827       3       scala.collection.immutable.MapOps$ImmutableKeySet::<init> (16 bytes)
Event: 1108.336 Thread 0x0000017cd56847c0 nmethod 19827 0x0000017cb88b9910 code [0x0000017cb88b9ac0, 0x0000017cb88b9df8]
Event: 1108.637 Thread 0x0000017cd56847c0 19828       3       javax.swing.ToolTipManager::mouseMoved (108 bytes)
Event: 1108.637 Thread 0x0000017cd56847c0 nmethod 19828 0x0000017cb8224a10 code [0x0000017cb8224c60, 0x0000017cb8225718]

GC Heap History (20 events):
Event: 1042.794 GC heap before
{Heap before GC invocations=217 (full 0):
 garbage-first heap   total 524288K, used 458420K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 153 young (313344K), 4 survivors (8192K)
 Metaspace       used 60213K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K
}
Event: 1042.798 GC heap after
{Heap after GC invocations=218 (full 0):
 garbage-first heap   total 524288K, used 153030K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 3 young (6144K), 3 survivors (6144K)
 Metaspace       used 60213K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K
}
Event: 1044.389 GC heap before
{Heap before GC invocations=218 (full 0):
 garbage-first heap   total 524288K, used 460230K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 153 young (313344K), 3 survivors (6144K)
 Metaspace       used 60213K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K
}
Event: 1044.392 GC heap after
{Heap after GC invocations=219 (full 0):
 garbage-first heap   total 524288K, used 153394K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 3 young (6144K), 3 survivors (6144K)
 Metaspace       used 60213K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K
}
Event: 1044.740 GC heap before
{Heap before GC invocations=219 (full 0):
 garbage-first heap   total 524288K, used 460594K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 153 young (313344K), 3 survivors (6144K)
 Metaspace       used 60213K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K
}
Event: 1044.743 GC heap after
{Heap after GC invocations=220 (full 0):
 garbage-first heap   total 524288K, used 153321K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 3 young (6144K), 3 survivors (6144K)
 Metaspace       used 60213K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K
}
Event: 1045.012 GC heap before
{Heap before GC invocations=220 (full 0):
 garbage-first heap   total 524288K, used 460521K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 153 young (313344K), 3 survivors (6144K)
 Metaspace       used 60213K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K
}
Event: 1045.015 GC heap after
{Heap after GC invocations=221 (full 0):
 garbage-first heap   total 524288K, used 153211K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 3 young (6144K), 3 survivors (6144K)
 Metaspace       used 60213K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K
}
Event: 1045.330 GC heap before
{Heap before GC invocations=221 (full 0):
 garbage-first heap   total 524288K, used 458363K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 154 young (315392K), 3 survivors (6144K)
 Metaspace       used 60213K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K
}
Event: 1045.332 GC heap after
{Heap after GC invocations=222 (full 0):
 garbage-first heap   total 524288K, used 153620K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 3 young (6144K), 3 survivors (6144K)
 Metaspace       used 60213K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K
}
Event: 1045.785 GC heap before
{Heap before GC invocations=222 (full 0):
 garbage-first heap   total 524288K, used 460820K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 153 young (313344K), 3 survivors (6144K)
 Metaspace       used 60215K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K
}
Event: 1045.788 GC heap after
{Heap after GC invocations=223 (full 0):
 garbage-first heap   total 524288K, used 153696K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 3 young (6144K), 3 survivors (6144K)
 Metaspace       used 60215K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K
}
Event: 1046.681 GC heap before
{Heap before GC invocations=223 (full 0):
 garbage-first heap   total 524288K, used 458848K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 153 young (313344K), 3 survivors (6144K)
 Metaspace       used 60215K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K
}
Event: 1046.685 GC heap after
{Heap after GC invocations=224 (full 0):
 garbage-first heap   total 524288K, used 153910K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 3 young (6144K), 3 survivors (6144K)
 Metaspace       used 60215K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K
}
Event: 1073.605 GC heap before
{Heap before GC invocations=224 (full 0):
 garbage-first heap   total 524288K, used 461110K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 153 young (313344K), 3 survivors (6144K)
 Metaspace       used 60216K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K
}
Event: 1073.609 GC heap after
{Heap after GC invocations=225 (full 0):
 garbage-first heap   total 524288K, used 154250K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 3 young (6144K), 3 survivors (6144K)
 Metaspace       used 60216K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K
}
Event: 1077.412 GC heap before
{Heap before GC invocations=225 (full 0):
 garbage-first heap   total 524288K, used 461450K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 153 young (313344K), 3 survivors (6144K)
 Metaspace       used 60216K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K
}
Event: 1077.415 GC heap after
{Heap after GC invocations=226 (full 0):
 garbage-first heap   total 524288K, used 153624K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 2 young (4096K), 2 survivors (4096K)
 Metaspace       used 60216K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K
}
Event: 1106.648 GC heap before
{Heap before GC invocations=226 (full 0):
 garbage-first heap   total 524288K, used 462872K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 153 young (313344K), 2 survivors (4096K)
 Metaspace       used 60222K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K
}
Event: 1106.651 GC heap after
{Heap after GC invocations=227 (full 0):
 garbage-first heap   total 524288K, used 153981K [0x0000000700000000, 0x0000000800000000)
  region size 2048K, 2 young (4096K), 2 survivors (4096K)
 Metaspace       used 60222K, committed 61056K, reserved 1114112K
  class space    used 7627K, committed 8000K, reserved 1048576K
}

Dll operation events (15 events):
Event: 0.007 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\java.dll
Event: 0.016 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\jsvml.dll
Event: 0.037 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\net.dll
Event: 0.037 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\nio.dll
Event: 0.044 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\zip.dll
Event: 12.775 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\jimage.dll
Event: 12.963 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\awt.dll
Event: 13.028 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\freetype.dll
Event: 13.029 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\fontmanager.dll
Event: 14.771 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\verify.dll
Event: 15.544 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\jawt.dll
Event: 15.557 Loaded shared library C:\Users\Richc\AppData\Local\Temp\flatlaf.temp\flatlaf-windows-x86_64-6370008314000.dll
Event: 15.846 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\sunmscapi.dll
Event: 20.724 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\zstd-jni-1.5.5-4\x86_64-windows\libzstd-jni-1.5.5-4.dll
Event: 27.042 Loaded shared library C:\Users\Richc\Desktop\Isabelle2023\contrib\sqlite-jdbc-3.42.0.0-1\x86_64-windows\sqlitejdbc.dll

Deoptimization events (20 events):
Event: 962.848 Thread 0x0000017cdba547b0 Uncommon trap: trap_request=0xffffff45 fr.pc=0x0000017cbff55168 relative=0x0000000000000148
Event: 962.848 Thread 0x0000017cdba547b0 Uncommon trap: reason=unstable_if action=reinterpret pc=0x0000017cbff55168 method=isabelle.Document_Status$Node_Status.equals(Ljava/lang/Object;)Z @ 82 c2
Event: 962.848 Thread 0x0000017cdba547b0 DEOPT PACKING pc=0x0000017cbff55168 sp=0x0000005411efe9b0
Event: 962.848 Thread 0x0000017cdba547b0 DEOPT UNPACKING pc=0x0000017cbf1469a3 sp=0x0000005411efe938 mode 2
Event: 962.848 Thread 0x0000017cdba547b0 Uncommon trap: trap_request=0xffffffde fr.pc=0x0000017cc0531928 relative=0x0000000000003c88
Event: 962.848 Thread 0x0000017cdba547b0 Uncommon trap: reason=class_check action=maybe_recompile pc=0x0000017cc0531928 method=isabelle.Pretty$.body_length$1(ILscala/collection/immutable/List;D)D @ 25 c2
Event: 962.848 Thread 0x0000017cdba547b0 DEOPT PACKING pc=0x0000017cc0531928 sp=0x0000005411efe130
Event: 962.848 Thread 0x0000017cdba547b0 DEOPT UNPACKING pc=0x0000017cbf1469a3 sp=0x0000005411efde48 mode 2
Event: 962.848 Thread 0x0000017cdbee5d60 Uncommon trap: trap_request=0xffffffde fr.pc=0x0000017cc01da040 relative=0x0000000000002040
Event: 962.848 Thread 0x0000017cdbee5d60 Uncommon trap: reason=class_check action=maybe_recompile pc=0x0000017cc01da040 method=isabelle.Markup_Tree$.make_trees(Lscala/Tuple2;Lisabelle/XML$Tree;)Lscala/Tuple2; @ 131 c2
Event: 962.848 Thread 0x0000017cdbee5d60 DEOPT PACKING pc=0x0000017cc01da040 sp=0x00000054252fe820
Event: 962.848 Thread 0x0000017cdbee5d60 DEOPT UNPACKING pc=0x0000017cbf1469a3 sp=0x00000054252fe778 mode 2
Event: 1094.518 Thread 0x0000017cdba547b0 Uncommon trap: trap_request=0xffffff45 fr.pc=0x0000017cc00d76f8 relative=0x0000000000001398
Event: 1094.518 Thread 0x0000017cdba547b0 Uncommon trap: reason=unstable_if action=reinterpret pc=0x0000017cc00d76f8 method=sun.java2d.marlin.MarlinCache.touchTile(IIII[I)V @ 78 c2
Event: 1094.518 Thread 0x0000017cdba547b0 DEOPT PACKING pc=0x0000017cc00d76f8 sp=0x0000005411efd510
Event: 1094.518 Thread 0x0000017cdba547b0 DEOPT UNPACKING pc=0x0000017cbf1469a3 sp=0x0000005411efd338 mode 2
Event: 1095.917 Thread 0x0000017cdba547b0 Uncommon trap: trap_request=0xffffff45 fr.pc=0x0000017cc0589bf4 relative=0x0000000000000854
Event: 1095.917 Thread 0x0000017cdba547b0 Uncommon trap: reason=unstable_if action=reinterpret pc=0x0000017cc0589bf4 method=javax.swing.ToolTipManager.mouseMoved(Ljava/awt/event/MouseEvent;)V @ 4 c2
Event: 1095.917 Thread 0x0000017cdba547b0 DEOPT PACKING pc=0x0000017cc0589bf4 sp=0x0000005411efe970
Event: 1095.917 Thread 0x0000017cdba547b0 DEOPT UNPACKING pc=0x0000017cbf1469a3 sp=0x0000005411efe928 mode 2

Classes unloaded (0 events):
No events

Classes redefined (0 events):
No events

Internal exceptions (20 events):
Event: 813.827 Thread 0x0000017cdba547b0 Exception <a 'java/lang/NoSuchMethodError'{0x00000007112c10e8}: 'java.lang.Object java.lang.invoke.Invokers$Holder.linkToTargetMethod(java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object, java.lang.Object, int, java.lang.Object)'> (0x00000007112c10e8) 
thrown [s\src\hotspot\share\interpreter\linkResolver.cpp, line 759]
Event: 813.881 Thread 0x0000017cdba547b0 Exception <a 'java/lang/NoSuchMethodError'{0x000000071062ce50}: 'java.lang.Object java.lang.invoke.DirectMethodHandle$Holder.invokeSpecial(java.lang.Object, java.lang.Object, int, int, int, java.lang.Object)'> (0x000000071062ce50) 
thrown [s\src\hotspot\share\interpreter\linkResolver.cpp, line 759]
Event: 813.883 Thread 0x0000017cdba547b0 Exception <a 'java/lang/ClassNotFoundException'{0x000000071063c1d8}: org/gjt/sp/jedit/proto/c/Handler> (0x000000071063c1d8) 
thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259]
Event: 813.883 Thread 0x0000017cdba547b0 Exception <a 'java/lang/ClassNotFoundException'{0x000000071063d608}: sun/net/www/protocol/c/Handler> (0x000000071063d608) 
thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259]
Event: 813.929 Thread 0x0000017cdba547b0 Exception <a 'java/lang/ClassNotFoundException'{0x000000071028bce8}: org/gjt/sp/jedit/proto/c/Handler> (0x000000071028bce8) 
thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259]
Event: 813.929 Thread 0x0000017cdba547b0 Exception <a 'java/lang/ClassNotFoundException'{0x000000071028d118}: sun/net/www/protocol/c/Handler> (0x000000071028d118) 
thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259]
Event: 814.031 Thread 0x0000017cdf6dfad0 Exception <a 'java/lang/InterruptedException'{0x00000007109d1e60}: sleep interrupted> (0x00000007109d1e60) 
thrown [s\src\hotspot\share\prims\jvm.cpp, line 3044]
Event: 816.540 Thread 0x0000017cdba547b0 Exception <a 'java/lang/ClassNotFoundException'{0x000000070d8d8010}: org/gjt/sp/jedit/proto/c/Handler> (0x000000070d8d8010) 
thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259]
Event: 816.540 Thread 0x0000017cdba547b0 Exception <a 'java/lang/ClassNotFoundException'{0x000000070d8d8ef0}: sun/net/www/protocol/c/Handler> (0x000000070d8d8ef0) 
thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259]
Event: 816.547 Thread 0x0000017ce429d870 Exception <a 'java/io/FileNotFoundException'{0x000000070d7fdae0}> (0x000000070d7fdae0) 
thrown [s\src\hotspot\share\prims\jni.cpp, line 516]
Event: 816.624 Thread 0x0000017cdba547b0 Implicit null exception at 0x0000017cc00ec468 to 0x0000017cc00eccf8
Event: 817.430 Thread 0x0000017cdb9934e0 Exception <a 'java/lang/ClassNotFoundException'{0x00000007175639c0}: org/gjt/sp/jedit/proto/c/Handler> (0x00000007175639c0) 
thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259]
Event: 817.430 Thread 0x0000017cdb9934e0 Exception <a 'java/lang/ClassNotFoundException'{0x00000007175645f8}: sun/net/www/protocol/c/Handler> (0x00000007175645f8) 
thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259]
Event: 817.430 Thread 0x0000017cdb9934e0 Exception <a 'java/lang/ClassNotFoundException'{0x0000000717566a58}: org/gjt/sp/jedit/proto/c/Handler> (0x0000000717566a58) 
thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259]
Event: 817.430 Thread 0x0000017cdb9934e0 Exception <a 'java/lang/ClassNotFoundException'{0x0000000717567690}: sun/net/www/protocol/c/Handler> (0x0000000717567690) 
thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259]
Event: 817.438 Thread 0x0000017cdb9934e0 Exception <a 'java/lang/ClassNotFoundException'{0x00000007159d0428}: org/gjt/sp/jedit/proto/c/Handler> (0x00000007159d0428) 
thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259]
Event: 817.438 Thread 0x0000017cdb9934e0 Exception <a 'java/lang/ClassNotFoundException'{0x00000007159d0db8}: sun/net/www/protocol/c/Handler> (0x00000007159d0db8) 
thrown [s\src\hotspot\share\classfile\systemDictionary.cpp, line 259]
Event: 891.635 Thread 0x0000017cdba547b0 Implicit null exception at 0x0000017cc058374b to 0x0000017cc0583c50
Event: 892.623 Thread 0x0000017cdba547b0 Implicit null exception at 0x0000017cc00ecf8a to 0x0000017cc00ed2f4
Event: 957.041 Thread 0x0000017cdba547b0 Implicit null exception at 0x0000017cbf932547 to 0x0000017cbf932dc8

VM Operations (20 events):
Event: 1045.012 Executing VM operation: G1CollectForAllocation
Event: 1045.015 Executing VM operation: G1CollectForAllocation done
Event: 1045.329 Executing VM operation: G1CollectForAllocation
Event: 1045.330 Executing VM operation: G1CollectForAllocation done
Event: 1045.330 Executing VM operation: G1CollectForAllocation
Event: 1045.332 Executing VM operation: G1CollectForAllocation done
Event: 1045.785 Executing VM operation: G1CollectForAllocation
Event: 1045.788 Executing VM operation: G1CollectForAllocation done
Event: 1046.681 Executing VM operation: G1CollectForAllocation
Event: 1046.685 Executing VM operation: G1CollectForAllocation done
Event: 1073.605 Executing VM operation: G1CollectForAllocation
Event: 1073.609 Executing VM operation: G1CollectForAllocation done
Event: 1077.412 Executing VM operation: G1CollectForAllocation
Event: 1077.415 Executing VM operation: G1CollectForAllocation done
Event: 1095.458 Executing VM operation: Cleanup
Event: 1095.458 Executing VM operation: Cleanup done
Event: 1100.461 Executing VM operation: Cleanup
Event: 1100.461 Executing VM operation: Cleanup done
Event: 1106.647 Executing VM operation: G1CollectForAllocation
Event: 1106.651 Executing VM operation: G1CollectForAllocation done

Events (20 events):
Event: 962.262 Thread 0x0000017cdf6ddc70 Thread exited: 0x0000017cdf6ddc70
Event: 962.262 Thread 0x0000017cdf6da4c0 Thread exited: 0x0000017cdf6da4c0
Event: 962.274 Thread 0x0000017cdf6dc830 Thread exited: 0x0000017cdf6dc830
Event: 962.275 Thread 0x0000017cdf6dfad0 Thread exited: 0x0000017cdf6dfad0
Event: 962.302 Thread 0x0000017cdf6deba0 Thread added: 0x0000017cdf6deba0
Event: 962.370 Thread 0x0000017cdf6daee0 Thread added: 0x0000017cdf6daee0
Event: 962.370 Thread 0x0000017cdf6da9d0 Thread added: 0x0000017cdf6da9d0
Event: 962.370 Thread 0x0000017cdf6db3f0 Thread added: 0x0000017cdf6db3f0
Event: 962.474 Thread 0x0000017cdf6db3f0 Thread exited: 0x0000017cdf6db3f0
Event: 962.474 Thread 0x0000017cdf6da9d0 Thread exited: 0x0000017cdf6da9d0
Event: 962.490 Thread 0x0000017cdf6daee0 Thread exited: 0x0000017cdf6daee0
Event: 962.490 Thread 0x0000017cdf6deba0 Thread exited: 0x0000017cdf6deba0
Event: 962.514 Thread 0x0000017cdf6d9080 Thread added: 0x0000017cdf6d9080
Event: 962.586 Thread 0x0000017cdf6df0b0 Thread added: 0x0000017cdf6df0b0
Event: 962.586 Thread 0x0000017cdf6df5c0 Thread added: 0x0000017cdf6df5c0
Event: 962.586 Thread 0x0000017cdf6dc830 Thread added: 0x0000017cdf6dc830
Event: 962.706 Thread 0x0000017cdf6dc830 Thread exited: 0x0000017cdf6dc830
Event: 962.706 Thread 0x0000017cdf6df5c0 Thread exited: 0x0000017cdf6df5c0
Event: 962.722 Thread 0x0000017cdf6df0b0 Thread exited: 0x0000017cdf6df0b0
Event: 962.722 Thread 0x0000017cdf6d9080 Thread exited: 0x0000017cdf6d9080


Dynamic libraries:
0x00007ff768e80000 - 0x00007ff768e8e000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\javaw.exe
0x00007ff961ad0000 - 0x00007ff961ce7000 	C:\Windows\SYSTEM32\ntdll.dll
0x00007ff9604d0000 - 0x00007ff960594000 	C:\Windows\System32\KERNEL32.DLL
0x00007ff95f460000 - 0x00007ff95f80d000 	C:\Windows\System32\KERNELBASE.dll
0x00007ff95ee00000 - 0x00007ff95ef11000 	C:\Windows\System32\ucrtbase.dll
0x00007ff959300000 - 0x00007ff95931b000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\VCRUNTIME140.dll
0x00007ff9592e0000 - 0x00007ff9592f9000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\jli.dll
0x00007ff95fe00000 - 0x00007ff95ffae000 	C:\Windows\System32\USER32.dll
0x00007ff95f290000 - 0x00007ff95f2b6000 	C:\Windows\System32\win32u.dll
0x00007ff94b320000 - 0x00007ff94b5b3000 	C:\Windows\WinSxS\amd64_microsoft.windows.common-controls_6595b64144ccf1df_6.0.22621.3672_none_2713b9d173822955\COMCTL32.dll
0x00007ff960310000 - 0x00007ff960339000 	C:\Windows\System32\GDI32.dll
0x00007ff960360000 - 0x00007ff960407000 	C:\Windows\System32\msvcrt.dll
0x00007ff95f030000 - 0x00007ff95f149000 	C:\Windows\System32\gdi32full.dll
0x00007ff95ef20000 - 0x00007ff95efba000 	C:\Windows\System32\msvcp_win.dll
0x00007ff9615c0000 - 0x00007ff9615f1000 	C:\Windows\System32\IMM32.DLL
0x00007ff9592d0000 - 0x00007ff9592dc000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\vcruntime140_1.dll
0x00007ff9439f0000 - 0x00007ff943a7d000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\msvcp140.dll
0x00007ff8b1d50000 - 0x00007ff8b29b5000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\server\jvm.dll
0x00007ff960410000 - 0x00007ff9604c2000 	C:\Windows\System32\ADVAPI32.dll
0x00007ff961290000 - 0x00007ff961339000 	C:\Windows\System32\sechost.dll
0x00007ff95f430000 - 0x00007ff95f458000 	C:\Windows\System32\bcrypt.dll
0x00007ff9600c0000 - 0x00007ff9601d4000 	C:\Windows\System32\RPCRT4.dll
0x00007ff956580000 - 0x00007ff9565b4000 	C:\Windows\SYSTEM32\WINMM.dll
0x00007ff955de0000 - 0x00007ff955dea000 	C:\Windows\SYSTEM32\VERSION.dll
0x00007ff92a1b0000 - 0x00007ff92a1b9000 	C:\Windows\SYSTEM32\WSOCK32.dll
0x00007ff9605a0000 - 0x00007ff960611000 	C:\Windows\System32\WS2_32.dll
0x00007ff9439b0000 - 0x00007ff9439eb000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\splashscreen.dll
0x00007ff956bc0000 - 0x00007ff956be5000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\java.dll
0x00007ff95fca0000 - 0x00007ff95fd94000 	C:\Windows\System32\shcore.dll
0x00007ff95df20000 - 0x00007ff95df38000 	C:\Windows\SYSTEM32\kernel.appcore.dll
0x00007ff95b950000 - 0x00007ff95b9ff000 	C:\Windows\system32\uxtheme.dll
0x00007ff961600000 - 0x00007ff961988000 	C:\Windows\System32\combase.dll
0x00007ff9592c0000 - 0x00007ff9592ca000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\jimage.dll
0x00007ff95c340000 - 0x00007ff95c572000 	C:\Windows\SYSTEM32\DBGHELP.DLL
0x00007ff960620000 - 0x00007ff9606f7000 	C:\Windows\System32\OLEAUT32.dll
0x00007ff953d70000 - 0x00007ff953da2000 	C:\Windows\SYSTEM32\dbgcore.DLL
0x00007ff95f210000 - 0x00007ff95f28b000 	C:\Windows\System32\bcryptPrimitives.dll
0x0000000180000000 - 0x0000000180102000 	C:\Program Files (x86)\MyDrivers\DriverGenius\dghmpg64.dll
0x00007ff95fda0000 - 0x00007ff95fdfe000 	C:\Windows\System32\SHLWAPI.dll
0x00007ff95f810000 - 0x00007ff95f818000 	C:\Windows\System32\PSAPI.DLL
0x00007ff9608b0000 - 0x00007ff96110f000 	C:\Windows\System32\SHELL32.dll
0x00007ff960700000 - 0x00007ff9608a5000 	C:\Windows\System32\ole32.dll
0x00007ff95e490000 - 0x00007ff95e4b8000 	C:\Windows\SYSTEM32\USERENV.dll
0x00007ff93f8a0000 - 0x00007ff93fd94000 	C:\Windows\SYSTEM32\WININET.dll
0x00007ff95dce0000 - 0x00007ff95dcf4000 	C:\Windows\SYSTEM32\WTSAPI32.dll
0x00007ff961110000 - 0x00007ff961263000 	C:\Windows\System32\MSCTF.dll
0x00007ff94bcb0000 - 0x00007ff94bdfe000 	C:\Windows\SYSTEM32\textinputframework.dll
0x00007ff958e40000 - 0x00007ff958f73000 	C:\Windows\SYSTEM32\CoreMessaging.dll
0x00007ff955000000 - 0x00007ff95536d000 	C:\Windows\SYSTEM32\CoreUIComponents.dll
0x00007ff95cc20000 - 0x00007ff95cd5f000 	C:\Windows\SYSTEM32\wintypes.dll
0x00007ff934360000 - 0x00007ff934437000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\jsvml.dll
0x00007ff95e5f0000 - 0x00007ff95e5fc000 	C:\Windows\SYSTEM32\CRYPTBASE.DLL
0x00007ff95cd60000 - 0x00007ff95d65c000 	C:\Windows\SYSTEM32\windows.storage.dll
0x00007ff95ed30000 - 0x00007ff95ed51000 	C:\Windows\SYSTEM32\profapi.dll
0x00007ff94a4b0000 - 0x00007ff94a4c9000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\net.dll
0x00007ff95a2a0000 - 0x00007ff95a3d6000 	C:\Windows\SYSTEM32\WINHTTP.dll
0x00007ff95e390000 - 0x00007ff95e3f9000 	C:\Windows\system32\mswsock.dll
0x00007ff944190000 - 0x00007ff9441a6000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\nio.dll
0x00007ff943b50000 - 0x00007ff943b68000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\zip.dll
0x00007ff95e600000 - 0x00007ff95e61b000 	C:\Windows\SYSTEM32\CRYPTSP.dll
0x00007ff95de80000 - 0x00007ff95deb5000 	C:\Windows\system32\rsaenh.dll
0x00007ff95d8b0000 - 0x00007ff95d8dd000 	C:\Windows\SYSTEM32\IPHLPAPI.DLL
0x00007ff961270000 - 0x00007ff961279000 	C:\Windows\System32\NSI.dll
0x00007ff95a280000 - 0x00007ff95a299000 	C:\Windows\SYSTEM32\dhcpcsvc6.DLL
0x00007ff95a260000 - 0x00007ff95a27f000 	C:\Windows\SYSTEM32\dhcpcsvc.DLL
0x00007ff95d8e0000 - 0x00007ff95d9d8000 	C:\Windows\SYSTEM32\DNSAPI.dll
0x00007ff959400000 - 0x00007ff959497000 	C:\Windows\system32\apphelp.dll
0x00007ff8b1bc0000 - 0x00007ff8b1d4f000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\awt.dll
0x00007ff95bbd0000 - 0x00007ff95bbfb000 	C:\Windows\system32\DWMAPI.DLL
0x00007ff959370000 - 0x00007ff9593f6000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\freetype.dll
0x00007ff8e7960000 - 0x00007ff8e7a25000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\fontmanager.dll
0x00007ff959360000 - 0x00007ff959370000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\verify.dll
0x00007ff8e74c0000 - 0x00007ff8e75c0000 	C:\Windows\system32\opengl32.dll
0x00007ff943710000 - 0x00007ff94373d000 	C:\Windows\SYSTEM32\GLU32.dll
0x00007ff95c220000 - 0x00007ff95c259000 	C:\Windows\SYSTEM32\dxcore.dll
0x00007ff9592b0000 - 0x00007ff9592b7000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\jawt.dll
0x00007ff954ef0000 - 0x00007ff954ef6000 	C:\Users\Richc\AppData\Local\Temp\flatlaf.temp\flatlaf-windows-x86_64-6370008314000.dll
0x00007ff94ca00000 - 0x00007ff94ca0e000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\sunmscapi.dll
0x00007ff95f2c0000 - 0x00007ff95f427000 	C:\Windows\System32\CRYPT32.dll
0x00007ff95e790000 - 0x00007ff95e7be000 	C:\Windows\SYSTEM32\ncrypt.dll
0x00007ff95e750000 - 0x00007ff95e787000 	C:\Windows\SYSTEM32\NTASN1.dll
0x00007ff92e240000 - 0x00007ff92e248000 	C:\Windows\system32\wshunix.dll
0x00007ff8d5990000 - 0x00007ff8d5aad000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\zstd-jni-1.5.5-4\x86_64-windows\libzstd-jni-1.5.5-4.dll
0x00007ff95d9e0000 - 0x00007ff95da46000 	C:\Windows\SYSTEM32\WINSTA.dll
0x00007ff960010000 - 0x00007ff9600c0000 	C:\Windows\System32\clbcatq.dll
0x00007ff95b760000 - 0x00007ff95b910000 	C:\Windows\SYSTEM32\WindowsCodecs.dll
0x00007ff9254c0000 - 0x00007ff92551e000 	C:\Windows\system32\dataexchange.dll
0x00007ff954c10000 - 0x00007ff954e9a000 	C:\Windows\system32\twinapi.appcore.dll
0x00007ff8d4550000 - 0x00007ff8d463c000 	C:\Users\Richc\Desktop\Isabelle2023\contrib\sqlite-jdbc-3.42.0.0-1\x86_64-windows\sqlitejdbc.dll

dbghelp: loaded successfully - version: 4.0.5 - missing functions: none
symbol engine: initialized successfully - sym options: 0x614 - pdb path: .;C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin;C:\Windows\SYSTEM32;C:\Windows\WinSxS\amd64_microsoft.windows.common-controls_6595b64144ccf1df_6.0.22621.3672_none_2713b9d173822955;C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin\server;C:\Program Files (x86)\MyDrivers\DriverGenius;C:\Users\Richc\AppData\Local\Temp\flatlaf.temp;C:\Users\Richc\Desktop\Isabelle2023\contrib\zstd-jni-1.5.5-4\x86_64-windows;C:\Users\Richc\Desktop\Isabelle2023\contrib\sqlite-jdbc-3.42.0.0-1\x86_64-windows

VM Arguments:
jvm_args: -Disabelle.root=C:\Users\Richc\Desktop\Isabelle2023 -Dcygwin.root=C:\Users\Richc\Desktop\Isabelle2023\contrib\cygwin -Dfile.encoding=UTF-8 -Disabelle.threads=0 -Duser.language=en -Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle2023 -Xms512m -Xmx4g -Xss16m -Disabelle.jedit_server=Isabelle2023 
java_command: isabelle.jedit.JEdit_Main
java_class_path (initial): C:\Users\Richc\Desktop\Isabelle2023\contrib\flatlaf-2.6\lib\flatlaf-2.6.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\isabelle_setup-20230206\lib\isabelle_setup.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\jedit-20211103\jedit5.6.0-patched\jedit.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\jfreechart-1.5.3\lib\iText-2.1.5.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\jfreechart-1.5.3\lib\jfreechart-1.5.3.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\jortho-1.0-2\jortho.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\jsoup-1.15.4\lib\jsoup-1.15.4.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\kodkodi-1.5.7\jar\antlr-runtime-3.1.1.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\kodkodi-1.5.7\jar\kodkod-1.5.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\kodkodi-1.5.7\jar\kodkodi-1.5.7.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\kodkodi-1.5.7\jar\sat4j-2.3.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\postgresql-42.6.0\postgresql-42.6.0.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\scala-library-2.13.10.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\scala3-library_3-3.3.0.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\scala-asm-9.4.0-scala-1.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\compiler-interface-1.3.5.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\scala3-interfaces-3.3.0.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\scala3-compiler_3-3.3.0.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\tasty-core_3-3.3.0.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\scala3-staging_3-3.3.0.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\scala3-tasty-inspector_3-3.3.0.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\jline-reader-3.19.0.jar;C:\Users\Richc\Desktop\Isabelle2023\contrib\scala-3.3.0\lib\jline-terminal-3.19.0.jar;C:\Users\Richc\Desktop\Isabelle2023\con
Launcher Type: SUN_STANDARD

[Global flags]
     intx CICompilerCount                          = 15                                        {product} {ergonomic}
     uint ConcGCThreads                            = 6                                         {product} {ergonomic}
     uint G1ConcRefinementThreads                  = 23                                        {product} {ergonomic}
   size_t G1HeapRegionSize                         = 2097152                                   {product} {ergonomic}
    uintx GCDrainStackTargetSize                   = 64                                        {product} {ergonomic}
   size_t InitialHeapSize                          = 536870912                                 {product} {command line}
   size_t MarkStackSize                            = 4194304                                   {product} {ergonomic}
   size_t MaxHeapSize                              = 4294967296                                {product} {command line}
   size_t MaxNewSize                               = 2575302656                                {product} {ergonomic}
   size_t MinHeapDeltaBytes                        = 2097152                                   {product} {ergonomic}
   size_t MinHeapSize                              = 536870912                                 {product} {command line}
    uintx NonNMethodCodeHeapSize                   = 8192380                                {pd product} {ergonomic}
    uintx NonProfiledCodeHeapSize                  = 121732930                              {pd product} {ergonomic}
    uintx ProfiledCodeHeapSize                     = 121732930                              {pd product} {ergonomic}
    uintx ReservedCodeCacheSize                    = 251658240                              {pd product} {ergonomic}
     bool SegmentedCodeCache                       = true                                      {product} {ergonomic}
   size_t SoftMaxHeapSize                          = 4294967296                             {manageable} {ergonomic}
     intx ThreadStackSize                          = 16384                                  {pd product} {command line}
     bool UseCompressedClassPointers               = true                           {product lp64_product} {ergonomic}
     bool UseCompressedOops                        = true                           {product lp64_product} {ergonomic}
     bool UseG1GC                                  = true                                      {product} {ergonomic}
     bool UseLargePagesIndividualAllocation        = false                                  {pd product} {ergonomic}

Logging:
Log output configuration:
 #0: stdout all=warning uptime,level,tags
 #1: stderr all=off uptime,level,tags

Environment Variables:
PATH=D:\Scripts\;D:\;C:\Windows\system32;C:\Windows;C:\Windows\System32\Wbem;C:\Windows\System32\WindowsPowerShell\v1.0\;C:\Windows\System32\OpenSSH\;C:\Program Files\dotnet\;C:\Program Files (x86)\NVIDIA Corporation\PhysX\Common;C:\Program Files\NVIDIA Corporation\NVIDIA NvDLISR;C:\Program Files\Git\cmd;C:\Users\Richc\AppData\Local\Microsoft\WindowsApps;C:\Users\Richc\AppData\Local\Programs\Microsoft VS Code\bin;C:\Users\Richc\AppData\Local\GitHubDesktop\bin;C:\Users\Richc\Desktop\Isabelle2023\contrib\jdk-17.0.7\x86_64-windows\bin
USERNAME=Richc
OS=Windows_NT
PROCESSOR_IDENTIFIER=Intel64 Family 6 Model 183 Stepping 1, GenuineIntel
TMP=C:\Users\Richc\AppData\Local\Temp
TEMP=C:\Users\Richc\AppData\Local\Temp



---------------  S Y S T E M  ---------------

OS:
 Windows 11 , 64 bit Build 22621 (10.0.22621.3672)
OS uptime: 0 days 0:28 hours

CPU: total 32 (initial active 32) (16 cores per cpu, 2 threads per core) family 6 model 183 stepping 1 microcode 0x120, cx8, cmov, fxsr, ht, mmx, 3dnowpref, sse, sse2, sse3, ssse3, sse4.1, sse4.2, popcnt, lzcnt, tsc, tscinvbit, avx, avx2, aes, erms, clmul, bmi1, bmi2, adx, sha, fma, vzeroupper, clflush, clflushopt, clwb

Memory: 4k page, system-wide physical 65264M (44507M free)
TotalPageFile size 74992M (AvailPageFile size 53539M)
current process WorkingSet (physical memory assigned to process): 803M, peak: 1442M
current process commit charge ("private bytes"): 851M, peak: 1516M

vm_info: OpenJDK 64-Bit Server VM (17.0.7+7-LTS) for windows-amd64 JRE (17.0.7+7-LTS) (Zulu17.42+19-CA), built on Apr 10 2023 13:02:30 by "zulu_re" with MS VC++ 16.10 / 16.11 (VS2019)

END.