Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Isabelle/jEdit segmentation fault on start #56145

Closed
timjb opened this issue Feb 21, 2019 · 3 comments
Closed

Isabelle/jEdit segmentation fault on start #56145

timjb opened this issue Feb 21, 2019 · 3 comments

Comments

@timjb
Copy link
Contributor

timjb commented Feb 21, 2019

Issue description

Isabelle/jEdit crashes when starting, beginning with b9d77e9, as determined with git bisect.

I believe that this issue is related to #54278.

cc: @samueldr @jtojnar

Steps to reproduce

Install Isabelle from unstable and run

$ isabelle jedit
Output 
#
# A fatal error has been detected by the Java Runtime Environment:
#
#  SIGSEGV (0xb) at pc=0x00007f9373f74a58, pid=27249, tid=0x00007f92eeffd700
#
# JRE version: OpenJDK Runtime Environment (8.0_202) (build 1.8.0_202-ga)
# Java VM: OpenJDK 64-Bit Server VM (25.202-bga mixed mode linux-amd64 compressed oops)
# Problematic frame:
# C  [libc.so.6+0x152a58]  __memmove_avx_unaligned_erms+0x78
#
# Core dump written. Default location: /home/Projects/nixpkgs/core or core.27249
#
# An error report file with more information is saved as:
# /home/Projects/nixpkgs/hs_err_pid27249.log
#
# If you would like to submit a bug report, please visit:
#   http://bugreport.java.com/bugreport/crash.jsp
# The crash happened outside the Java Virtual Machine in native code.
# See problematic frame for where to report the bug.
#
/nix/store/wabvxj73si0zz2bjjf28nr596fjxs06a-isabelle-2017/Isabelle2017/lib/Tools/java: line 13: 27249 Aborted                 (core dumped) /nix/store/a80y9pb5skwbnmsr2rjvyx4652l5prh0-openjdk-8u202bga-jre/bin/java "${JAVA_ARGS[@]}" -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"
hs_err_pid27249.log 
#
# A fatal error has been detected by the Java Runtime Environment:
#
#  SIGSEGV (0xb) at pc=0x00007fdd00a4aa58, pid=2957, tid=0x00007fdcc5b3a700
#
# JRE version: OpenJDK Runtime Environment (8.0_192) (build 1.8.0_192-26)
# Java VM: OpenJDK 64-Bit Server VM (25.192-b26 mixed mode linux-amd64 compressed oops)
# Problematic frame:
# C  [libc.so.6+0x151a58]  __memmove_avx_unaligned_erms+0x78
#
# Failed to write core dump. Core dumps have been disabled. To enable core dumping, try "ulimit -c unlimited" before starting Java again
#
# If you would like to submit a bug report, please visit:
#   http://bugreport.java.com/bugreport/crash.jsp
# The crash happened outside the Java Virtual Machine in native code.
# See problematic frame for where to report the bug.
#

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

Current thread (0x00007fdcee129000):  JavaThread "AWT-EventQueue-0" [_thread_in_native, id=2992, stack(0x00007fdcc533a000,0x00007fdcc5b3b000)]

siginfo: si_signo: 11 (SIGSEGV), si_code: 1 (SEGV_MAPERR), si_addr: 0x000000000000001c

Registers:
RAX=0x000000000000001c, RBX=0x0000000000000000, RCX=0x000000000000001c, RDX=0x000000000000001c
RSP=0x00007fdcc5b36fb8, RBP=0x0000000000000000, RSI=0x00007fdc50147bc0, RDI=0x000000000000001c
R8 =0x0000000000000004, R9 =0x0000000000000007, R10=0x000000000000001c, R11=0x00007fdc50147bbf
R12=0x0000000000000000, R13=0x00000000ffffffff, R14=0x0000000000000001, R15=0x0000000000000006
RIP=0x00007fdd00a4aa58, EFLAGS=0x0000000000010206, CSGSFS=0x002b000000000033, ERR=0x0000000000000006
  TRAPNO=0x000000000000000e

Top of Stack: (sp=0x00007fdcc5b36fb8)
0x00007fdcc5b36fb8:   00007fdcfe860225 0000000000000001
0x00007fdcc5b36fc8:   a344720ac5e6cf00 0000000000000040
0x00007fdcc5b36fd8:   00007fdc501496e0 0000000000000000
0x00007fdcc5b36fe8:   000000000000001c 00007fdc50150bc0
0x00007fdcc5b36ff8:   0000000000000001 0000000000000006
0x00007fdcc5b37008:   00007fdcfe853438 0000006e00000007
0x00007fdcc5b37018:   000000000000001c 0000000020040806
0x00007fdcc5b37028:   a344720ac5e6cf00 00007fdc501496e0
0x00007fdcc5b37038:   00007fdc50150be0 0000000000000000
0x00007fdcc5b37048:   00007fdcfe854faa 00007fdc50079b50
0x00007fdcc5b37058:   00007fdc50150bb0 0000000000000001
0x00007fdcc5b37068:   00007fdcc5b37190 00007fdc5010a400
0x00007fdcc5b37078:   0000000000000000 00007fdc50079b50
0x00007fdcc5b37088:   00007fdc5014b7c0 0000000000000001
0x00007fdcc5b37098:   00007fdcc4a6e0ee 00007fdcc5b37190
0x00007fdcc5b370a8:   00007fdc5010a400 00007fdcfc25e84e
0x00007fdcc5b370b8:   00000006c5b37110 0000000600000007
0x00007fdcc5b370c8:   00007fdcc5b3a680 00007fdcc4a6e3d0
0x00007fdcc5b370d8:   00007fdcfc25e8e5 00007fdc5011a700
0x00007fdcc5b370e8:   00007fdc501496e0 00007fdc5012c270
0x00007fdcc5b370f8:   00007fdcc5b37190 00007fdc50150bb0
0x00007fdcc5b37108:   00007fdc5010a400 00007fdc5010a400
0x00007fdcc5b37118:   a344720ac5e6cf00 00007fdcc5b37190
0x00007fdcc5b37128:   00007fdc5010a400 00007fdc50148030
0x00007fdcc5b37138:   00007fdc50079b50 00007fdc5014b7c0
0x00007fdcc5b37148:   00007fdcfa277a29 00007fdc50079b50
0x00007fdcc5b37158:   00007fdc5010bd50 00007fdc50148030
0x00007fdcc5b37168:   00007fdc50148030 00007fdc50079b50
0x00007fdcc5b37178:   0000000000000001 0000000000000001
0x00007fdcc5b37188:   00007fdcc4f2fdc9 0000000000000000
0x00007fdcc5b37198:   a344720ac5e6cf00 00007fdc50079b50
0x00007fdcc5b371a8:   00007fdc5010bd50 00007fdc50079c30 

Instructions: (pc=0x00007fdd00a4aa58)
0x00007fdd00a4aa38:   fa 08 73 27 80 fa 04 73 33 80 fa 01 77 3b 72 05
0x00007fdd00a4aa48:   0f b6 0e 88 0f c3 c5 fa 6f 06 c5 fa 6f 4c 16 f0
0x00007fdd00a4aa58:   c5 fa 7f 07 c5 fa 7f 4c 17 f0 c3 48 8b 4c 16 f8
0x00007fdd00a4aa68:   48 8b 36 48 89 4c 17 f8 48 89 37 c3 8b 4c 16 fc 

Register to memory mapping:

RAX=0x000000000000001c is an unknown value
RBX=0x0000000000000000 is an unknown value
RCX=0x000000000000001c is an unknown value
RDX=0x000000000000001c is an unknown value
RSP=0x00007fdcc5b36fb8 is pointing into the stack for thread: 0x00007fdcee129000
RBP=0x0000000000000000 is an unknown value
RSI=0x00007fdc50147bc0 is an unknown value
RDI=0x000000000000001c is an unknown value
R8 =0x0000000000000004 is an unknown value
R9 =0x0000000000000007 is an unknown value
R10=0x000000000000001c is an unknown value
R11=0x00007fdc50147bbf is an unknown value
R12=0x0000000000000000 is an unknown value
R13=0x00000000ffffffff is an unknown value
R14=0x0000000000000001 is an unknown value
R15=0x0000000000000006 is an unknown value


Stack: [0x00007fdcc533a000,0x00007fdcc5b3b000],  sp=0x00007fdcc5b36fb8,  free space=8179k
Native frames: (J=compiled Java code, j=interpreted, Vv=VM code, C=native code)
C  [libc.so.6+0x151a58]  __memmove_avx_unaligned_erms+0x78

Java frames: (J=compiled Java code, j=interpreted, Vv=VM code)
j  com.sun.java.swing.plaf.gtk.GTKStyle.nativeGetXThickness(I)I+0
j  com.sun.java.swing.plaf.gtk.GTKStyle.<init>(Ljava/awt/Font;Lcom/sun/java/swing/plaf/gtk/GTKEngine$WidgetType;)V+24
j  com.sun.java.swing.plaf.gtk.GTKStyleFactory.getStyle(Ljavax/swing/JComponent;Ljavax/swing/plaf/synth/Region;)Ljavax/swing/plaf/synth/SynthStyle;+310
j  com.sun.java.swing.plaf.gtk.GTKLookAndFeel.initComponentDefaults(Ljavax/swing/UIDefaults;)V+140
j  com.sun.java.swing.plaf.gtk.GTKLookAndFeel.getDefaults()Ljavax/swing/UIDefaults;+38
j  javax.swing.UIManager.setLookAndFeel(Ljavax/swing/LookAndFeel;)V+79
j  javax.swing.UIManager.setLookAndFeel(Ljava/lang/String;)V+37
j  javax.swing.UIManager.initializeDefaultLAF(Ljava/util/Properties;)V+55
j  javax.swing.UIManager.initialize()V+9
j  javax.swing.UIManager.maybeInitialize()V+22
j  javax.swing.UIManager.getDefaults()Ljavax/swing/UIDefaults;+0
j  javax.swing.UIManager.getFont(Ljava/lang/Object;)Ljava/awt/Font;+0
j  org.gjt.sp.jedit.gui.SplashScreen.<init>()V+21
j  org.gjt.sp.jedit.GUIUtilities$9.run()V+4
j  java.awt.event.InvocationEvent.dispatch()V+11
j  java.awt.EventQueue.dispatchEventImpl(Ljava/awt/AWTEvent;Ljava/lang/Object;)V+21
j  java.awt.EventQueue.access$500(Ljava/awt/EventQueue;Ljava/awt/AWTEvent;Ljava/lang/Object;)V+3
j  java.awt.EventQueue$3.run()Ljava/lang/Void;+32
j  java.awt.EventQueue$3.run()Ljava/lang/Object;+1
v  ~StubRoutines::call_stub
j  java.security.AccessController.doPrivileged(Ljava/security/PrivilegedAction;Ljava/security/AccessControlContext;)Ljava/lang/Object;+0
j  java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(Ljava/security/PrivilegedAction;Ljava/security/AccessControlContext;Ljava/security/AccessControlContext;)Ljava/lang/Object;+18
j  java.awt.EventQueue.dispatchEvent(Ljava/awt/AWTEvent;)V+46
j  java.awt.EventDispatchThread.pumpOneEventForFilters(I)V+140
j  java.awt.EventDispatchThread.pumpEventsForFilter(ILjava/awt/Conditional;Ljava/awt/EventFilter;)V+35
j  java.awt.EventDispatchThread.pumpEventsForHierarchy(ILjava/awt/Conditional;Ljava/awt/Component;)V+11
j  java.awt.EventDispatchThread.pumpEvents(ILjava/awt/Conditional;)V+4
j  java.awt.EventDispatchThread.pumpEvents(Ljava/awt/Conditional;)V+3
j  java.awt.EventDispatchThread.run()V+9
v  ~StubRoutines::call_stub

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

Java Threads: ( => current thread )
=>0x00007fdcee129000 JavaThread "AWT-EventQueue-0" [_thread_in_native, id=2992, stack(0x00007fdcc533a000,0x00007fdcc5b3b000)]
  0x00007fdcee122800 JavaThread "AWT-Shutdown" [_thread_blocked, id=2991, stack(0x00007fdcc5b3b000,0x00007fdcc633c000)]
  0x00007fdcee0fb800 JavaThread "AWT-XAWT" daemon [_thread_in_native, id=2990, stack(0x00007fdcc633c000,0x00007fdcc6b3d000)]
  0x00007fdcedea2800 JavaThread "Java2D Disposer" daemon [_thread_blocked, id=2989, stack(0x00007fdcc739f000,0x00007fdcc7ba0000)]
  0x00007fdceddf5000 JavaThread "process reaper" daemon [_thread_blocked, id=2981, stack(0x00007fdccc84b000,0x00007fdccc884000)]
  0x00007fdcec0d8800 JavaThread "Service Thread" daemon [_thread_blocked, id=2977, stack(0x00007fdccc9e6000,0x00007fdccd1e7000)]
  0x00007fdcec0cd800 JavaThread "C1 CompilerThread3" daemon [_thread_blocked, id=2976, stack(0x00007fdccd1e8000,0x00007fdccd2e8000)]
  0x00007fdcec0cb800 JavaThread "C2 CompilerThread2" daemon [_thread_blocked, id=2975, stack(0x00007fdccd2e9000,0x00007fdccd3e9000)]
  0x00007fdcec0c9800 JavaThread "C2 CompilerThread1" daemon [_thread_blocked, id=2974, stack(0x00007fdccd3ea000,0x00007fdccd4ea000)]
  0x00007fdcec0c6800 JavaThread "C2 CompilerThread0" daemon [_thread_blocked, id=2973, stack(0x00007fdccd4eb000,0x00007fdccd5eb000)]
  0x00007fdcec0c5000 JavaThread "Signal Dispatcher" daemon [_thread_blocked, id=2972, stack(0x00007fdccd5eb000,0x00007fdccddec000)]
  0x00007fdcec092000 JavaThread "Finalizer" daemon [_thread_blocked, id=2971, stack(0x00007fdccddec000,0x00007fdcce5ed000)]
  0x00007fdcec08f800 JavaThread "Reference Handler" daemon [_thread_blocked, id=2970, stack(0x00007fdcce5ed000,0x00007fdccedee000)]
  0x00007fdcec00b000 JavaThread "main" [_thread_blocked, id=2958, stack(0x00007fdcf2d6b000,0x00007fdcf356b000)]

Other Threads:
  0x00007fdcec086000 VMThread [stack: 0x00007fdccedef000,0x00007fdcceeef000] [id=2969]
  0x00007fdcec0db000 WatcherThread [stack: 0x00007fdccc8e6000,0x00007fdccc9e6000] [id=2978]

VM state:not at safepoint (normal execution)

VM Mutex/Monitor currently owned by a thread: None

heap address: 0x0000000720000000, size: 2560 MB, Compressed Oops mode: Zero based, Oop shift amount: 3
Narrow klass base: 0x0000000000000000, Narrow klass shift: 3
Compressed class space size: 1073741824 Address: 0x00000007c0000000

Heap:
 PSYoungGen      total 153088K, used 42189K [0x000000078ab00000, 0x0000000795580000, 0x00000007c0000000)
  eden space 131584K, 32% used [0x000000078ab00000,0x000000078d4334c8,0x0000000792b80000)
  from space 21504K, 0% used [0x0000000794080000,0x0000000794080000,0x0000000795580000)
  to   space 21504K, 0% used [0x0000000792b80000,0x0000000792b80000,0x0000000794080000)
 ParOldGen       total 349696K, used 0K [0x0000000720000000, 0x0000000735580000, 0x000000078ab00000)
  object space 349696K, 0% used [0x0000000720000000,0x0000000720000000,0x0000000735580000)
 Metaspace       used 16086K, capacity 16554K, committed 16896K, reserved 1064960K
  class space    used 2118K, capacity 2228K, committed 2304K, reserved 1048576K

Card table byte_map: [0x00007fdcf1e4e000,0x00007fdcf234f000] byte_map_base: 0x00007fdcee54e000

Marking Bits: (ParMarkBitMap*) 0x00007fdcf4a60c40
 Begin Bits: [0x00007fdc9b000000, 0x00007fdc9d800000)
 End Bits:   [0x00007fdc9d800000, 0x00007fdca0000000)

Polling page: 0x00007fdd016f2000

CodeCache: size=245760Kb used=3717Kb max_used=3729Kb free=242042Kb
 bounds [0x00007fdcdd000000, 0x00007fdcdd3b0000, 0x00007fdcec000000]
 total_blobs=1597 nmethods=1073 adapters=439
 compilation: enabled

Compilation events (10 events):
Event: 0.511 Thread 0x00007fdcec0cd800 nmethod 1068 0x00007fdcdd3a0590 code [0x00007fdcdd3a0720, 0x00007fdcdd3a0a78]
Event: 0.512 Thread 0x00007fdcec0c9800 nmethod 1062% 0x00007fdcdd3a3b10 code [0x00007fdcdd3a3c80, 0x00007fdcdd3a3fd8]
Event: 0.514 Thread 0x00007fdcec0cb800 1070       4       java.util.HashMap::get (23 bytes)
Event: 0.514 Thread 0x00007fdcec0c6800 1071       4       java.lang.String::substring (79 bytes)
Event: 0.515 Thread 0x00007fdcec0cb800 nmethod 1070 0x00007fdcdd3a41d0 code [0x00007fdcdd3a4340, 0x00007fdcdd3a4678]
Event: 0.515 Thread 0x00007fdcec0cd800 1072       3       sun.util.ResourceBundleEnumeration::hasMoreElements (117 bytes)
Event: 0.516 Thread 0x00007fdcec0cd800 nmethod 1072 0x00007fdcdd3a2c90 code [0x00007fdcdd3a2e80, 0x00007fdcdd3a38c8]
Event: 0.516 Thread 0x00007fdcec0cd800 1073       3       java.lang.String::startsWith (72 bytes)
Event: 0.516 Thread 0x00007fdcec0cd800 nmethod 1073 0x00007fdcdd3a2610 code [0x00007fdcdd3a2780, 0x00007fdcdd3a2ab0]
Event: 0.516 Thread 0x00007fdcec0c6800 nmethod 1071 0x00007fdcdd3a64d0 code [0x00007fdcdd3a6640, 0x00007fdcdd3a6a58]

GC Heap History (0 events):
No events

Deoptimization events (9 events):
Event: 0.292 Thread 0x00007fdcec00b000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fdcdd200bf0 method=sun.misc.URLClassPath.getLoader(I)Lsun/misc/URLClassPath$Loader; @ 36
Event: 0.292 Thread 0x00007fdcec00b000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fdcdd1fea4c method=sun.misc.URLClassPath.getLoader(I)Lsun/misc/URLClassPath$Loader; @ 36
Event: 0.298 Thread 0x00007fdcec00b000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fdcdd1d6758 method=java.lang.String.indexOf([CII[CIII)I @ 3
Event: 0.298 Thread 0x00007fdcec00b000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fdcdd1d8d7c method=java.lang.String.replace(CC)Ljava/lang/String; @ 2
Event: 0.357 Thread 0x00007fdcec00b000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fdcdd20f22c method=sun.misc.MetaIndex.mayContain(Ljava/lang/String;)Z @ 13
Event: 0.376 Thread 0x00007fdcec00b000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fdcdd26b5f4 method=java.lang.Integer.valueOf(I)Ljava/lang/Integer; @ 10
Event: 0.482 Thread 0x00007fdcec00b000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fdcdd2d7f48 method=java.lang.AbstractStringBuilder.append(Ljava/lang/String;)Ljava/lang/AbstractStringBuilder; @ 1
Event: 0.491 Thread 0x00007fdcee129000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fdcdd32aba4 method=java.lang.ThreadLocal.get()Ljava/lang/Object; @ 11
Event: 0.515 Thread 0x00007fdcee129000 Uncommon trap: reason=unstable_if action=reinterpret pc=0x00007fdcdd1ebe08 method=java.lang.String.startsWith(Ljava/lang/String;I)Z @ 25

Classes redefined (0 events):
No events

Internal exceptions (10 events):
Event: 0.358 Thread 0x00007fdcec00b000 Exception <a 'java/io/FileNotFoundException'> (0x000000078c648db8) thrown at [/build/jdk8u-jdk8u192-b26/hotspot/src/share/vm/prims/jni.cpp, line 709]
Event: 0.358 Thread 0x00007fdcec00b000 Exception <a 'java/io/FileNotFoundException'> (0x000000078c649980) thrown at [/build/jdk8u-jdk8u192-b26/hotspot/src/share/vm/prims/jni.cpp, line 709]
Event: 0.362 Thread 0x00007fdcec00b000 Exception <a 'java/lang/ClassNotFoundException': sun/dc/DuctusRenderingEngine> (0x000000078c6506e8) thrown at [/build/jdk8u-jdk8u192-b26/hotspot/src/share/vm/classfile/systemDictionary.cpp, line 210]
Event: 0.377 Thread 0x00007fdcec00b000 Exception <a 'java/lang/NoSuchMethodError': java.lang.Object.$anonfun$filterImpl$1(Lscala/Function1;ZLscala/collection/mutable/Builder;Ljava/lang/Object;)Ljava/lang/Object;> (0x000000078c6fae68) thrown at [/build/jdk8u-jdk8u192-b26/hotspot/src/share/vm/in
Event: 0.379 Thread 0x00007fdcec00b000 Exception <a 'java/lang/NoSuchMethodError': java.lang.Object.$anonfun$contains$1$adapted(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;> (0x000000078c727f38) thrown at [/build/jdk8u-jdk8u192-b26/hotspot/src/share/vm/interpreter/linkResolver.cpp, 
Event: 0.384 Thread 0x00007fdcec00b000 Exception <a 'java/lang/NoSuchMethodError': java.lang.Object.$anonfun$flatten$1(Lscala/Function1;Lscala/collection/mutable/Builder;Ljava/lang/Object;)Lscala/collection/mutable/Builder;> (0x000000078c748980) thrown at [/build/jdk8u-jdk8u192-b26/hotspot/src
Event: 0.385 Thread 0x00007fdcec00b000 Exception <a 'java/lang/NoSuchMethodError': java.lang.Object.$anonfun$addString$1(Lscala/collection/mutable/StringBuilder;Ljava/lang/String;Lscala/runtime/BooleanRef;Ljava/lang/Object;)Ljava/lang/Object;> (0x000000078c754c90) thrown at [/build/jdk8u-jdk8u
Event: 0.444 Thread 0x00007fdcec00b000 Exception <a 'java/lang/NoSuchMethodError': java.lang.Object.$anonfun$find$1$adapted(Lscala/Function1;Ljava/lang/Object;)Ljava/lang/Object;> (0x000000078ca26a90) thrown at [/build/jdk8u-jdk8u192-b26/hotspot/src/share/vm/interpreter/linkResolver.cpp, line 
Event: 0.482 Thread 0x00007fdcec00b000 Implicit null exception at 0x00007fdcdd2d7b75 to 0x00007fdcdd2d7f35
Event: 0.491 Thread 0x00007fdcee129000 Implicit null exception at 0x00007fdcdd32aac8 to 0x00007fdcdd32ab91

Events (10 events):
Event: 0.515 loading class sun/util/ResourceBundleEnumeration done
Event: 0.515 loading class com/sun/swing/internal/plaf/synth/resources/synth
Event: 0.515 loading class com/sun/swing/internal/plaf/synth/resources/synth done
Event: 0.515 loading class com/sun/swing/internal/plaf/basic/resources/basic
Event: 0.515 loading class com/sun/swing/internal/plaf/basic/resources/basic done
Event: 0.515 Thread 0x00007fdcee129000 Uncommon trap: trap_request=0xffffff65 fr.pc=0x00007fdcdd1ebe08
Event: 0.515 Thread 0x00007fdcee129000 DEOPT PACKING pc=0x00007fdcdd1ebe08 sp=0x00007fdcc5b37a50
Event: 0.515 Thread 0x00007fdcee129000 DEOPT UNPACKING pc=0x00007fdcdd04547a sp=0x00007fdcc5b379e8 mode 2
Event: 0.516 loading class com/sun/java/swing/plaf/gtk/GTKStyle$GTKLazyValue
Event: 0.516 loading class com/sun/java/swing/plaf/gtk/GTKStyle$GTKLazyValue done


Dynamic libraries:
003ff000-00400000 rw-p 00000000 08:05 1193635                            /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/bin/java
00400000-00401000 r-xp 00001000 08:05 1193635                            /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/bin/java
00600000-00601000 r--p 00001000 08:05 1193635                            /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/bin/java
00601000-00602000 rw-p 00002000 08:05 1193635                            /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/bin/java
0243f000-024a2000 rw-p 00000000 00:00 0                                  [heap]
720000000-735580000 rw-p 00000000 00:00 0 
735580000-78ab00000 ---p 00000000 00:00 0 
78ab00000-795580000 rw-p 00000000 00:00 0 
795580000-7c0000000 ---p 00000000 00:00 0 
7c0000000-7c0240000 rw-p 00000000 00:00 0 
7c0240000-800000000 ---p 00000000 00:00 0 
7fdc50000000-7fdc501a8000 rw-p 00000000 00:00 0 
7fdc501a8000-7fdc54000000 ---p 00000000 00:00 0 
7fdc58000000-7fdc58021000 rw-p 00000000 00:00 0 
7fdc58021000-7fdc5c000000 ---p 00000000 00:00 0 
7fdc5c000000-7fdc5c021000 rw-p 00000000 00:00 0 
7fdc5c021000-7fdc60000000 ---p 00000000 00:00 0 
7fdc60000000-7fdc60021000 rw-p 00000000 00:00 0 
7fdc60021000-7fdc64000000 ---p 00000000 00:00 0 
7fdc64000000-7fdc64021000 rw-p 00000000 00:00 0 
7fdc64021000-7fdc68000000 ---p 00000000 00:00 0 
7fdc68000000-7fdc68021000 rw-p 00000000 00:00 0 
7fdc68021000-7fdc6c000000 ---p 00000000 00:00 0 
7fdc6c000000-7fdc6c021000 rw-p 00000000 00:00 0 
7fdc6c021000-7fdc70000000 ---p 00000000 00:00 0 
7fdc70000000-7fdc7007c000 rw-p 00000000 00:00 0 
7fdc7007c000-7fdc74000000 ---p 00000000 00:00 0 
7fdc74000000-7fdc741ad000 rw-p 00000000 00:00 0 
7fdc741ad000-7fdc78000000 ---p 00000000 00:00 0 
7fdc78000000-7fdc78157000 rw-p 00000000 00:00 0 
7fdc78157000-7fdc7c000000 ---p 00000000 00:00 0 
7fdc7c000000-7fdc7c05b000 rw-p 00000000 00:00 0 
7fdc7c05b000-7fdc80000000 ---p 00000000 00:00 0 
7fdc80000000-7fdc80021000 rw-p 00000000 00:00 0 
7fdc80021000-7fdc84000000 ---p 00000000 00:00 0 
7fdc846e9000-7fdc8c000000 r--p 00000000 08:05 1249334                    /nix/store/xhx74n52mwajpb3cbb351wzg851pq0yw-glibc-locales-2.27/lib/locale/locale-archive
7fdc8c000000-7fdc8c021000 rw-p 00000000 00:00 0 
7fdc8c021000-7fdc90000000 ---p 00000000 00:00 0 
7fdc90000000-7fdc90021000 rw-p 00000000 00:00 0 
7fdc90021000-7fdc94000000 ---p 00000000 00:00 0 
7fdc94000000-7fdc94021000 rw-p 00000000 00:00 0 
7fdc94021000-7fdc98000000 ---p 00000000 00:00 0 
7fdc9b000000-7fdca0000000 rw-p 00000000 00:00 0 
7fdca0000000-7fdca0021000 rw-p 00000000 00:00 0 
7fdca0021000-7fdca4000000 ---p 00000000 00:00 0 
7fdca4000000-7fdca4021000 rw-p 00000000 00:00 0 
7fdca4021000-7fdca8000000 ---p 00000000 00:00 0 
7fdca8000000-7fdca8021000 rw-p 00000000 00:00 0 
7fdca8021000-7fdcac000000 ---p 00000000 00:00 0 
7fdcb0000000-7fdcb0021000 rw-p 00000000 00:00 0 
7fdcb0021000-7fdcb4000000 ---p 00000000 00:00 0 
7fdcb8000000-7fdcb8021000 rw-p 00000000 00:00 0 
7fdcb8021000-7fdcbc000000 ---p 00000000 00:00 0 
7fdcc0000000-7fdcc0021000 rw-p 00000000 00:00 0 
7fdcc0021000-7fdcc4000000 ---p 00000000 00:00 0 
7fdcc4a6a000-7fdcc4a6f000 r-xp 00000000 08:05 2471961                    /nix/store/wlyz5v3q2rv2wagrzv5qnvppbbzq30a4-gdk-pixbuf-2.36.12/lib/gdk-pixbuf-2.0/2.10.0/loaders/libpixbufloader-png.so
7fdcc4a6f000-7fdcc4c6f000 ---p 00005000 08:05 2471961                    /nix/store/wlyz5v3q2rv2wagrzv5qnvppbbzq30a4-gdk-pixbuf-2.36.12/lib/gdk-pixbuf-2.0/2.10.0/loaders/libpixbufloader-png.so
7fdcc4c6f000-7fdcc4c70000 r--p 00005000 08:05 2471961                    /nix/store/wlyz5v3q2rv2wagrzv5qnvppbbzq30a4-gdk-pixbuf-2.36.12/lib/gdk-pixbuf-2.0/2.10.0/loaders/libpixbufloader-png.so
7fdcc4c70000-7fdcc4c71000 rw-p 00006000 08:05 2471961                    /nix/store/wlyz5v3q2rv2wagrzv5qnvppbbzq30a4-gdk-pixbuf-2.36.12/lib/gdk-pixbuf-2.0/2.10.0/loaders/libpixbufloader-png.so
7fdcc4c71000-7fdcc4cb1000 rw-p 00000000 00:00 0 
7fdcc4cb1000-7fdcc4e71000 ---p 00000000 00:00 0 
7fdcc4e71000-7fdcc4f2a000 r--p 00000000 08:05 922902                     /nix/store/8gn2b5vvlazg608cj1y5l4igp9rckmnq-dejavu-fonts-minimal-2.37/share/fonts/truetype/DejaVuSans.ttf
7fdcc4f2a000-7fdcc4f34000 r-xp 00000000 08:05 3803674                    /nix/store/zj90lr5yrrn8h886691cdl08lbnbby4j-gtk+-2.24.32/lib/gtk-2.0/2.10.0/engines/libpixmap.so
7fdcc4f34000-7fdcc5134000 ---p 0000a000 08:05 3803674                    /nix/store/zj90lr5yrrn8h886691cdl08lbnbby4j-gtk+-2.24.32/lib/gtk-2.0/2.10.0/engines/libpixmap.so
7fdcc5134000-7fdcc5135000 r--p 0000a000 08:05 3803674                    /nix/store/zj90lr5yrrn8h886691cdl08lbnbby4j-gtk+-2.24.32/lib/gtk-2.0/2.10.0/engines/libpixmap.so
7fdcc5135000-7fdcc5136000 rw-p 0000b000 08:05 3803674                    /nix/store/zj90lr5yrrn8h886691cdl08lbnbby4j-gtk+-2.24.32/lib/gtk-2.0/2.10.0/engines/libpixmap.so
7fdcc5136000-7fdcc5139000 r-xp 00000000 08:05 2536396                    /nix/store/hfbppqrrn25r08bbijijmpjfa53jj3xh-gnome-themes-extra-3.28/lib/gtk-2.0/2.10.0/engines/libadwaita.so
7fdcc5139000-7fdcc5338000 ---p 00003000 08:05 2536396                    /nix/store/hfbppqrrn25r08bbijijmpjfa53jj3xh-gnome-themes-extra-3.28/lib/gtk-2.0/2.10.0/engines/libadwaita.so
7fdcc5338000-7fdcc5339000 r--p 00002000 08:05 2536396                    /nix/store/hfbppqrrn25r08bbijijmpjfa53jj3xh-gnome-themes-extra-3.28/lib/gtk-2.0/2.10.0/engines/libadwaita.so
7fdcc5339000-7fdcc533a000 rw-p 00003000 08:05 2536396                    /nix/store/hfbppqrrn25r08bbijijmpjfa53jj3xh-gnome-themes-extra-3.28/lib/gtk-2.0/2.10.0/engines/libadwaita.so
7fdcc533a000-7fdcc533d000 ---p 00000000 00:00 0 
7fdcc533d000-7fdcc5b3b000 rw-p 00000000 00:00 0 
7fdcc5b3b000-7fdcc5b3e000 ---p 00000000 00:00 0 
7fdcc5b3e000-7fdcc633c000 rw-p 00000000 00:00 0 
7fdcc633c000-7fdcc633f000 ---p 00000000 00:00 0 
7fdcc633f000-7fdcc6d3d000 rw-p 00000000 00:00 0 
7fdcc6d3d000-7fdcc6d68000 r--s 002dd000 08:05 3811389                    /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/src/Tools/jEdit/dist/jedit.jar
7fdcc6d68000-7fdcc6d7a000 r-xp 00000000 08:05 1193676                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libnio.so
7fdcc6d7a000-7fdcc6f79000 ---p 00012000 08:05 1193676                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libnio.so
7fdcc6f79000-7fdcc6f7a000 r--p 00011000 08:05 1193676                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libnio.so
7fdcc6f7a000-7fdcc6f7b000 rw-p 00012000 08:05 1193676                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libnio.so
7fdcc6f7b000-7fdcc6f82000 rw-p 00018000 08:05 1193676                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libnio.so
7fdcc6f82000-7fdcc7182000 rw-p 00000000 00:00 0 
7fdcc7182000-7fdcc7199000 r-xp 00000000 08:05 1193675                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libnet.so
7fdcc7199000-7fdcc7398000 ---p 00017000 08:05 1193675                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libnet.so
7fdcc7398000-7fdcc7399000 r--p 00016000 08:05 1193675                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libnet.so
7fdcc7399000-7fdcc739a000 rw-p 00017000 08:05 1193675                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libnet.so
7fdcc739a000-7fdcc739f000 rw-p 0001d000 08:05 1193675                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libnet.so
7fdcc739f000-7fdcc73a2000 ---p 00000000 00:00 0 
7fdcc73a2000-7fdcc7ba0000 rw-p 00000000 00:00 0 
7fdcc7ba0000-7fdcc7bf1000 r-xp 00000000 08:05 1193656                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libfontmanager.so
7fdcc7bf1000-7fdcc7df0000 ---p 00051000 08:05 1193656                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libfontmanager.so
7fdcc7df0000-7fdcc7df3000 r--p 00050000 08:05 1193656                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libfontmanager.so
7fdcc7df3000-7fdcc7df4000 rw-p 00053000 08:05 1193656                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libfontmanager.so
7fdcc7df4000-7fdcc7df9000 rw-p 00069000 08:05 1193656                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libfontmanager.so
7fdcc7df9000-7fdcc7dfe000 r-xp 00000000 08:05 3801494                    /nix/store/7fsv1zayxhcbgk72m99f2672m5w2q1q6-libXtst-1.2.3/lib/libXtst.so.6.1.0
7fdcc7dfe000-7fdcc7ffe000 ---p 00005000 08:05 3801494                    /nix/store/7fsv1zayxhcbgk72m99f2672m5w2q1q6-libXtst-1.2.3/lib/libXtst.so.6.1.0
7fdcc7ffe000-7fdcc7fff000 r--p 00005000 08:05 3801494                    /nix/store/7fsv1zayxhcbgk72m99f2672m5w2q1q6-libXtst-1.2.3/lib/libXtst.so.6.1.0
7fdcc7fff000-7fdcc8000000 rw-p 00006000 08:05 3801494                    /nix/store/7fsv1zayxhcbgk72m99f2672m5w2q1q6-libXtst-1.2.3/lib/libXtst.so.6.1.0
7fdcc8000000-7fdcc8021000 rw-p 00000000 00:00 0 
7fdcc8021000-7fdccc000000 ---p 00000000 00:00 0 
7fdccc006000-7fdccc021000 r--p 00000000 08:05 944709                     /nix/store/g5n36dis1fbhbf0yg1mgsqs0p917gnvx-cantarell-fonts-0.100/share/fonts/cantarell/Cantarell-Regular.otf
7fdccc021000-7fdccc022000 r--s 00000000 08:05 1254905                    /nix/store/sddmk8wzfphi014p12lzly5k19nlj6xk-fc-cache/16dc8b2143ad110f37e0804bc309ac8b-x86_64.cache-7
7fdccc022000-7fdccc038000 r--s 00000000 08:05 1254904                    /nix/store/sddmk8wzfphi014p12lzly5k19nlj6xk-fc-cache/a113582726bfd49a7f8169a4b019bb98-x86_64.cache-7
7fdccc038000-7fdccc05c000 r--s 00000000 08:05 1255159                    /nix/store/sddmk8wzfphi014p12lzly5k19nlj6xk-fc-cache/b0f59aff7a3706e6f99fd9a6677b4bba-x86_64.cache-7
7fdccc05c000-7fdccc066000 r--s 00000000 08:05 1255153                    /nix/store/sddmk8wzfphi014p12lzly5k19nlj6xk-fc-cache/74fe3ea410cbb160309610f7135ce6a4-x86_64.cache-7
7fdccc066000-7fdccc070000 r--s 00000000 08:05 1255151                    /nix/store/sddmk8wzfphi014p12lzly5k19nlj6xk-fc-cache/568980bbbcbe6bb1e5bf0572c3d110fd-x86_64.cache-7
7fdccc070000-7fdccc071000 r--s 00000000 08:04 14159725                   /home/.cache/fontconfig/ebc40753d3923f36a82942a409804645-x86_64.cache-7
7fdccc071000-7fdccc077000 r--s 00000000 08:04 14159724                   /home/.cache/fontconfig/46ab2f80a30a45a536f0e883cfb625b7-x86_64.cache-7
7fdccc077000-7fdccc07e000 r--s 00000000 08:05 1255137                    /nix/store/sddmk8wzfphi014p12lzly5k19nlj6xk-fc-cache/eb37eddca24c938d5b5ef918df8a6f7b-x86_64.cache-7
7fdccc07e000-7fdccc07f000 r--s 00000000 08:04 14159723                   /home/.cache/fontconfig/bb6ea3f6f46c8bbc815c0d5b8206541d-x86_64.cache-7
7fdccc07f000-7fdccc082000 r--s 00000000 08:04 14159719                   /home/.cache/fontconfig/a1a302b64c65aff100c9af014ddefb1c-x86_64.cache-7
7fdccc082000-7fdccc083000 r--s 00000000 08:05 1254896                    /nix/store/sddmk8wzfphi014p12lzly5k19nlj6xk-fc-cache/149bfc6ca613d519b511cadee6434e86-x86_64.cache-7
7fdccc083000-7fdccc088000 r--s 00000000 08:04 14159708                   /home/.cache/fontconfig/8d58240ad64d53232720e0962f012f29-x86_64.cache-7
7fdccc088000-7fdccc096000 r--s 00000000 08:04 14159705                   /home/.cache/fontconfig/d79938c1ca7a6019b56b71998a5ab7a7-x86_64.cache-7
7fdccc096000-7fdccc0a9000 r--s 00000000 08:04 14159703                   /home/.cache/fontconfig/67bb5dd444ae27bb9d6ed3eafe2a1e26-x86_64.cache-7
7fdccc0a9000-7fdccc0ac000 r--s 00000000 08:04 14159699                   /home/.cache/fontconfig/260a8ae6f2ef1f7381660d00d57aa0cc-x86_64.cache-7
7fdccc0ac000-7fdccc0b8000 r--s 00000000 08:04 14159697                   /home/.cache/fontconfig/21cc169da8974360f7dc5b2a1daa1279-x86_64.cache-7
7fdccc0b8000-7fdccc0ed000 r--s 00000000 00:13 290228                     /run/nscd/dbMY2FTb (deleted)
7fdccc0ed000-7fdccc100000 r--s 00346000 08:05 1193702                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/resources.jar
7fdccc100000-7fdccc155000 r-xp 00000000 08:05 1193654                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libawt_xawt.so
7fdccc155000-7fdccc355000 ---p 00055000 08:05 1193654                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libawt_xawt.so
7fdccc355000-7fdccc356000 r--p 00055000 08:05 1193654                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libawt_xawt.so
7fdccc356000-7fdccc358000 rw-p 00056000 08:05 1193654                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libawt_xawt.so
7fdccc358000-7fdccc35a000 rw-p 00000000 00:00 0 
7fdccc35a000-7fdccc368000 rw-p 0006c000 08:05 1193654                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libawt_xawt.so
7fdccc368000-7fdccc40b000 r-xp 00000000 08:05 1193652                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libawt.so
7fdccc40b000-7fdccc60a000 ---p 000a3000 08:05 1193652                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libawt.so
7fdccc60a000-7fdccc60b000 r--p 000a2000 08:05 1193652                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libawt.so
7fdccc60b000-7fdccc616000 rw-p 000a3000 08:05 1193652                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libawt.so
7fdccc616000-7fdccc63b000 rw-p 00000000 00:00 0 
7fdccc63b000-7fdccc64b000 rw-p 000bd000 08:05 1193652                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libawt.so
7fdccc64b000-7fdccc84b000 rw-p 00000000 00:00 0 
7fdccc84b000-7fdccc84e000 ---p 00000000 00:00 0 
7fdccc84e000-7fdccc884000 rw-p 00000000 00:00 0 
7fdccc884000-7fdccc888000 r--s 000a1000 08:05 1193694                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/jsse.jar
7fdccc888000-7fdccc88c000 r--s 00016000 08:05 3806222                    /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/xz-java-1.6/lib/xz.jar
7fdccc88c000-7fdccc890000 r--s 00651000 08:05 3806197                    /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/sqlite-jdbc-3.20.0/sqlite-jdbc-3.20.0.jar
7fdccc890000-7fdccc892000 r--s 00015000 08:05 3806207                    /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/ssh-java-20161009/lib/jce.jar
7fdccc892000-7fdccc894000 r--s 00010000 08:05 3806209                    /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/ssh-java-20161009/lib/jzlib-1.1.3.jar
7fdccc894000-7fdccc899000 r--s 00040000 08:05 3806208                    /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/ssh-java-20161009/lib/jsch-0.1.54.jar
7fdccc899000-7fdccc89f000 r--s 00080000 08:05 3806165                    /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/scala-2.12.3/lib/scala-xml_2.12-1.0.6.jar
7fdccc89f000-7fdccc8a8000 r--s 000ab000 08:05 3806164                    /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/scala-2.12.3/lib/scala-swing_2.12-2.0.0.jar
7fdccc8a8000-7fdccc8ae000 r--s 00077000 08:05 3806166                    /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/scala-2.12.3/lib/scalap-2.12.3.jar
7fdccc8ae000-7fdccc8e5000 r--s 004ca000 08:05 3806161                    /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/scala-2.12.3/lib/scala-library.jar
7fdccc8e5000-7fdccc8e6000 ---p 00000000 00:00 0 
7fdccc8e6000-7fdccc9e6000 rw-p 00000000 00:00 0 
7fdccc9e6000-7fdccc9e9000 ---p 00000000 00:00 0 
7fdccc9e9000-7fdccd1e7000 rw-p 00000000 00:00 0 
7fdccd1e7000-7fdccd1e8000 ---p 00000000 00:00 0 
7fdccd1e8000-7fdccd1eb000 ---p 00000000 00:00 0 
7fdccd1eb000-7fdccd2e8000 rw-p 00000000 00:00 0 
7fdccd2e8000-7fdccd2e9000 ---p 00000000 00:00 0 
7fdccd2e9000-7fdccd2ec000 ---p 00000000 00:00 0 
7fdccd2ec000-7fdccd3e9000 rw-p 00000000 00:00 0 
7fdccd3e9000-7fdccd3ea000 ---p 00000000 00:00 0 
7fdccd3ea000-7fdccd3ed000 ---p 00000000 00:00 0 
7fdccd3ed000-7fdccd4ea000 rw-p 00000000 00:00 0 
7fdccd4ea000-7fdccd4eb000 ---p 00000000 00:00 0 
7fdccd4eb000-7fdccd4ee000 ---p 00000000 00:00 0 
7fdccd4ee000-7fdccd5eb000 rw-p 00000000 00:00 0 
7fdccd5eb000-7fdccd5ee000 ---p 00000000 00:00 0 
7fdccd5ee000-7fdccddec000 rw-p 00000000 00:00 0 
7fdccddec000-7fdccddef000 ---p 00000000 00:00 0 
7fdccddef000-7fdcce5ed000 rw-p 00000000 00:00 0 
7fdcce5ed000-7fdcce5f0000 ---p 00000000 00:00 0 
7fdcce5f0000-7fdccedee000 rw-p 00000000 00:00 0 
7fdccedee000-7fdccedef000 ---p 00000000 00:00 0 
7fdccedef000-7fdcd0000000 rw-p 00000000 00:00 0 
7fdcd0000000-7fdcd0021000 rw-p 00000000 00:00 0 
7fdcd0021000-7fdcd4000000 ---p 00000000 00:00 0 
7fdcd4000000-7fdcd4021000 rw-p 00000000 00:00 0 
7fdcd4021000-7fdcd8000000 ---p 00000000 00:00 0 
7fdcd8000000-7fdcd8021000 rw-p 00000000 00:00 0 
7fdcd8021000-7fdcdc000000 ---p 00000000 00:00 0 
7fdcdc000000-7fdcdc003000 r--s 00031000 08:05 3806162                    /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/scala-2.12.3/lib/scala-parser-combinators_2.12-1.0.6.jar
7fdcdc003000-7fdcdc026000 r--s 00345000 08:05 3806163                    /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/scala-2.12.3/lib/scala-reflect.jar
7fdcdc026000-7fdcdc072000 r--s 00914000 08:05 3806160                    /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/scala-2.12.3/lib/scala-compiler.jar
7fdcdc072000-7fdcdc076000 r--s 0003e000 08:05 3806159                    /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/scala-2.12.3/lib/jline-2.14.4.jar
7fdcdc076000-7fdcdc07e000 r--s 000a7000 08:05 3806120                    /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/postgresql-42.1.4/postgresql-42.1.4.jar
7fdcdc07e000-7fdcdc08e000 r--s 00155000 08:05 3804676                    /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/jfreechart-1.0.14-1/lib/jfreechart-1.0.14.jar
7fdcdc08e000-7fdcdd000000 rw-p 00000000 00:00 0 
7fdcdd000000-7fdcdd3b0000 rwxp 00000000 00:00 0 
7fdcdd3b0000-7fdcec000000 ---p 00000000 00:00 0 
7fdcec000000-7fdcee38c000 rw-p 00000000 00:00 0 
7fdcee38c000-7fdcf0000000 ---p 00000000 00:00 0 
7fdcf0000000-7fdcf0019000 r--s 0030a000 08:05 2775453                    /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/lib/classes/Pure.jar
7fdcf0019000-7fdcf024f000 rw-p 00000000 00:00 0 
7fdcf024f000-7fdcf041e000 r--s 03c34000 08:05 1193703                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/rt.jar
7fdcf041e000-7fdcf11ef000 rw-p 00000000 00:00 0 
7fdcf11ef000-7fdcf11f0000 ---p 00000000 00:00 0 
7fdcf11f0000-7fdcf12f0000 rw-p 00000000 00:00 0 
7fdcf12f0000-7fdcf12f1000 ---p 00000000 00:00 0 
7fdcf12f1000-7fdcf13f1000 rw-p 00000000 00:00 0 
7fdcf13f1000-7fdcf13f2000 ---p 00000000 00:00 0 
7fdcf13f2000-7fdcf14f2000 rw-p 00000000 00:00 0 
7fdcf14f2000-7fdcf14f3000 ---p 00000000 00:00 0 
7fdcf14f3000-7fdcf15f3000 rw-p 00000000 00:00 0 
7fdcf15f3000-7fdcf15f4000 ---p 00000000 00:00 0 
7fdcf15f4000-7fdcf16f4000 rw-p 00000000 00:00 0 
7fdcf16f4000-7fdcf16f5000 ---p 00000000 00:00 0 
7fdcf16f5000-7fdcf17f5000 rw-p 00000000 00:00 0 
7fdcf17f5000-7fdcf17f6000 ---p 00000000 00:00 0 
7fdcf17f6000-7fdcf18f6000 rw-p 00000000 00:00 0 
7fdcf18f6000-7fdcf18f7000 ---p 00000000 00:00 0 
7fdcf18f7000-7fdcf19f7000 rw-p 00000000 00:00 0 
7fdcf19f7000-7fdcf19f8000 ---p 00000000 00:00 0 
7fdcf19f8000-7fdcf1ba3000 rw-p 00000000 00:00 0 
7fdcf1ba3000-7fdcf1e4e000 ---p 00000000 00:00 0 
7fdcf1e4e000-7fdcf1ef9000 rw-p 00000000 00:00 0 
7fdcf1ef9000-7fdcf21a3000 ---p 00000000 00:00 0 
7fdcf21a3000-7fdcf21f9000 rw-p 00000000 00:00 0 
7fdcf21f9000-7fdcf234e000 ---p 00000000 00:00 0 
7fdcf234e000-7fdcf235e000 rw-p 00000000 00:00 0 
7fdcf235e000-7fdcf270f000 ---p 00000000 00:00 0 
7fdcf270f000-7fdcf2717000 r-xp 00000000 08:05 1193684                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libzip.so
7fdcf2717000-7fdcf2916000 ---p 00008000 08:05 1193684                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libzip.so
7fdcf2916000-7fdcf2917000 r--p 00007000 08:05 1193684                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libzip.so
7fdcf2917000-7fdcf2918000 rw-p 00008000 08:05 1193684                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libzip.so
7fdcf2918000-7fdcf291c000 rw-p 0000b000 08:05 1193684                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libzip.so
7fdcf291c000-7fdcf2949000 r-xp 00000000 08:05 1193663                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libjava.so
7fdcf2949000-7fdcf2b49000 ---p 0002d000 08:05 1193663                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libjava.so
7fdcf2b49000-7fdcf2b4a000 r--p 0002d000 08:05 1193663                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libjava.so
7fdcf2b4a000-7fdcf2b4b000 rw-p 0002e000 08:05 1193663                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libjava.so
7fdcf2b4b000-7fdcf2b4c000 rw-p 00000000 00:00 0 
7fdcf2b4c000-7fdcf2b55000 rw-p 0003a000 08:05 1193663                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libjava.so
7fdcf2b55000-7fdcf2b65000 r-xp 00000000 08:05 1193683                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libverify.so
7fdcf2b65000-7fdcf2d64000 ---p 00010000 08:05 1193683                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libverify.so
7fdcf2d64000-7fdcf2d66000 r--p 0000f000 08:05 1193683                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libverify.so
7fdcf2d66000-7fdcf2d67000 rw-p 00011000 08:05 1193683                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libverify.so
7fdcf2d67000-7fdcf2d6a000 rw-p 00013000 08:05 1193683                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/libverify.so
7fdcf2d6a000-7fdcf2d6b000 ---p 00000000 00:00 0 
7fdcf2d6b000-7fdcf2d6e000 ---p 00000000 00:00 0 
7fdcf2d6e000-7fdcf356b000 rw-p 00000000 00:00 0 
7fdcf356b000-7fdcf3581000 r-xp 00000000 08:05 3335731                    /nix/store/x6inizi5ahlyhqxxwv1rvn05a25icarq-gcc-7.3.0-lib/lib/libgcc_s.so.1
7fdcf3581000-7fdcf3781000 ---p 00016000 08:05 3335731                    /nix/store/x6inizi5ahlyhqxxwv1rvn05a25icarq-gcc-7.3.0-lib/lib/libgcc_s.so.1
7fdcf3781000-7fdcf3782000 r--p 00016000 08:05 3335731                    /nix/store/x6inizi5ahlyhqxxwv1rvn05a25icarq-gcc-7.3.0-lib/lib/libgcc_s.so.1
7fdcf3782000-7fdcf3783000 rw-p 00017000 08:05 3335731                    /nix/store/x6inizi5ahlyhqxxwv1rvn05a25icarq-gcc-7.3.0-lib/lib/libgcc_s.so.1
7fdcf3783000-7fdcf38fb000 r-xp 00000000 08:05 3335764                    /nix/store/x6inizi5ahlyhqxxwv1rvn05a25icarq-gcc-7.3.0-lib/lib/libstdc++.so.6.0.24
7fdcf38fb000-7fdcf3afa000 ---p 00178000 08:05 3335764                    /nix/store/x6inizi5ahlyhqxxwv1rvn05a25icarq-gcc-7.3.0-lib/lib/libstdc++.so.6.0.24
7fdcf3afa000-7fdcf3b06000 r--p 00177000 08:05 3335764                    /nix/store/x6inizi5ahlyhqxxwv1rvn05a25icarq-gcc-7.3.0-lib/lib/libstdc++.so.6.0.24
7fdcf3b06000-7fdcf3b07000 rw-p 00183000 08:05 3335764                    /nix/store/x6inizi5ahlyhqxxwv1rvn05a25icarq-gcc-7.3.0-lib/lib/libstdc++.so.6.0.24
7fdcf3b07000-7fdcf3b0a000 rw-p 00000000 00:00 0 
7fdcf3b0a000-7fdcf4791000 r-xp 00000000 08:05 1331958                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/server/libjvm.so
7fdcf4791000-7fdcf4991000 ---p 00c87000 08:05 1331958                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/server/libjvm.so
7fdcf4991000-7fdcf4a25000 r--p 00c87000 08:05 1331958                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/server/libjvm.so
7fdcf4a25000-7fdcf4a4d000 rw-p 00d1b000 08:05 1331958                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/server/libjvm.so
7fdcf4a4d000-7fdcf4a7d000 rw-p 00000000 00:00 0 
7fdcf4a7d000-7fdcf4a84000 rw-p 00fb7000 08:05 1331958                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/server/libjvm.so
7fdcf4a84000-7fdcf4aa3000 r-xp 00000000 08:05 3158656                    /nix/store/kvd0aw4ikb85an2fjsx7ldp20ji11p1z-libgpg-error-1.32/lib/libgpg-error.so.0.24.3
7fdcf4aa3000-7fdcf4ca2000 ---p 0001f000 08:05 3158656                    /nix/store/kvd0aw4ikb85an2fjsx7ldp20ji11p1z-libgpg-error-1.32/lib/libgpg-error.so.0.24.3
7fdcf4ca2000-7fdcf4ca3000 r--p 0001e000 08:05 3158656                    /nix/store/kvd0aw4ikb85an2fjsx7ldp20ji11p1z-libgpg-error-1.32/lib/libgpg-error.so.0.24.3
7fdcf4ca3000-7fdcf4ca4000 rw-p 0001f000 08:05 3158656                    /nix/store/kvd0aw4ikb85an2fjsx7ldp20ji11p1z-libgpg-error-1.32/lib/libgpg-error.so.0.24.3
7fdcf4ca4000-7fdcf4db9000 r-xp 00000000 08:05 3335611                    /nix/store/jycv1dmyjs3045rsnbky3m1s7xdj7xpg-libgcrypt-1.8.4/lib/libgcrypt.so.20.2.4
7fdcf4db9000-7fdcf4fb9000 ---p 00115000 08:05 3335611                    /nix/store/jycv1dmyjs3045rsnbky3m1s7xdj7xpg-libgcrypt-1.8.4/lib/libgcrypt.so.20.2.4
7fdcf4fb9000-7fdcf4fbb000 r--p 00115000 08:05 3335611                    /nix/store/jycv1dmyjs3045rsnbky3m1s7xdj7xpg-libgcrypt-1.8.4/lib/libgcrypt.so.20.2.4
7fdcf4fbb000-7fdcf4fc0000 rw-p 00117000 08:05 3335611                    /nix/store/jycv1dmyjs3045rsnbky3m1s7xdj7xpg-libgcrypt-1.8.4/lib/libgcrypt.so.20.2.4
7fdcf4fc0000-7fdcf4fc1000 rw-p 00000000 00:00 0 
7fdcf4fc1000-7fdcf4fc5000 r-xp 00000000 08:05 3158650                    /nix/store/r5g3f78k3qcrqj05bl1wv04c12r589bl-libcap-2.25-lib/lib/libcap.so.2.25
7fdcf4fc5000-7fdcf51c4000 ---p 00004000 08:05 3158650                    /nix/store/r5g3f78k3qcrqj05bl1wv04c12r589bl-libcap-2.25-lib/lib/libcap.so.2.25
7fdcf51c4000-7fdcf51c5000 r--p 00003000 08:05 3158650                    /nix/store/r5g3f78k3qcrqj05bl1wv04c12r589bl-libcap-2.25-lib/lib/libcap.so.2.25
7fdcf51c5000-7fdcf51c6000 rw-p 00004000 08:05 3158650                    /nix/store/r5g3f78k3qcrqj05bl1wv04c12r589bl-libcap-2.25-lib/lib/libcap.so.2.25
7fdcf51c6000-7fdcf51f8000 r-xp 00000000 08:05 2773767                    /nix/store/a9gwz05611m6rxdc55hpla5zns3h36xw-lz4-1.8.3/lib/liblz4.so.1.8.3
7fdcf51f8000-7fdcf53f7000 ---p 00032000 08:05 2773767                    /nix/store/a9gwz05611m6rxdc55hpla5zns3h36xw-lz4-1.8.3/lib/liblz4.so.1.8.3
7fdcf53f7000-7fdcf53f8000 r--p 00031000 08:05 2773767                    /nix/store/a9gwz05611m6rxdc55hpla5zns3h36xw-lz4-1.8.3/lib/liblz4.so.1.8.3
7fdcf53f8000-7fdcf53f9000 rw-p 00032000 08:05 2773767                    /nix/store/a9gwz05611m6rxdc55hpla5zns3h36xw-lz4-1.8.3/lib/liblz4.so.1.8.3
7fdcf53f9000-7fdcf541e000 r-xp 00000000 08:05 2258263                    /nix/store/430ajcrv4llfcw12kgizgkb5rnm2hczk-xz-5.2.4/lib/liblzma.so.5.2.4
7fdcf541e000-7fdcf561e000 ---p 00025000 08:05 2258263                    /nix/store/430ajcrv4llfcw12kgizgkb5rnm2hczk-xz-5.2.4/lib/liblzma.so.5.2.4
7fdcf561e000-7fdcf561f000 r--p 00025000 08:05 2258263                    /nix/store/430ajcrv4llfcw12kgizgkb5rnm2hczk-xz-5.2.4/lib/liblzma.so.5.2.4
7fdcf561f000-7fdcf5620000 rw-p 00026000 08:05 2258263                    /nix/store/430ajcrv4llfcw12kgizgkb5rnm2hczk-xz-5.2.4/lib/liblzma.so.5.2.4
7fdcf5620000-7fdcf5626000 r-xp 00000000 08:05 2773792                    /nix/store/z0x40kmai1daywwv9v1p2d1wvc6wzhpw-util-linux-2.33/lib/libuuid.so.1.3.0
7fdcf5626000-7fdcf5826000 ---p 00006000 08:05 2773792                    /nix/store/z0x40kmai1daywwv9v1p2d1wvc6wzhpw-util-linux-2.33/lib/libuuid.so.1.3.0
7fdcf5826000-7fdcf5827000 r--p 00006000 08:05 2773792                    /nix/store/z0x40kmai1daywwv9v1p2d1wvc6wzhpw-util-linux-2.33/lib/libuuid.so.1.3.0
7fdcf5827000-7fdcf5828000 rw-p 00007000 08:05 2773792                    /nix/store/z0x40kmai1daywwv9v1p2d1wvc6wzhpw-util-linux-2.33/lib/libuuid.so.1.3.0
7fdcf5828000-7fdcf5875000 r-xp 00000000 08:05 2773776                    /nix/store/z0x40kmai1daywwv9v1p2d1wvc6wzhpw-util-linux-2.33/lib/libblkid.so.1.1.0
7fdcf5875000-7fdcf5a74000 ---p 0004d000 08:05 2773776                    /nix/store/z0x40kmai1daywwv9v1p2d1wvc6wzhpw-util-linux-2.33/lib/libblkid.so.1.1.0
7fdcf5a74000-7fdcf5a79000 r--p 0004c000 08:05 2773776                    /nix/store/z0x40kmai1daywwv9v1p2d1wvc6wzhpw-util-linux-2.33/lib/libblkid.so.1.1.0
7fdcf5a79000-7fdcf5a7a000 rw-p 00051000 08:05 2773776                    /nix/store/z0x40kmai1daywwv9v1p2d1wvc6wzhpw-util-linux-2.33/lib/libblkid.so.1.1.0
7fdcf5a7a000-7fdcf5aeb000 r-xp 00000000 08:05 3679764                    /nix/store/5l37h12ga8paxryhd0sf7j2wbcj92f79-pcre-8.42/lib/libpcre.so.1.2.10
7fdcf5aeb000-7fdcf5cea000 ---p 00071000 08:05 3679764                    /nix/store/5l37h12ga8paxryhd0sf7j2wbcj92f79-pcre-8.42/lib/libpcre.so.1.2.10
7fdcf5cea000-7fdcf5ceb000 r--p 00070000 08:05 3679764                    /nix/store/5l37h12ga8paxryhd0sf7j2wbcj92f79-pcre-8.42/lib/libpcre.so.1.2.10
7fdcf5ceb000-7fdcf5cec000 rw-p 00071000 08:05 3679764                    /nix/store/5l37h12ga8paxryhd0sf7j2wbcj92f79-pcre-8.42/lib/libpcre.so.1.2.10
7fdcf5cec000-7fdcf5cf5000 r-xp 00000000 08:05 3335558                    /nix/store/ddgaziqy9m2jgm4z8dzkhqd3w9hzryns-libffi-3.2.1/lib/libffi.so.6.0.4
7fdcf5cf5000-7fdcf5ef4000 ---p 00009000 08:05 3335558                    /nix/store/ddgaziqy9m2jgm4z8dzkhqd3w9hzryns-libffi-3.2.1/lib/libffi.so.6.0.4
7fdcf5ef4000-7fdcf5ef5000 r--p 00008000 08:05 3335558                    /nix/store/ddgaziqy9m2jgm4z8dzkhqd3w9hzryns-libffi-3.2.1/lib/libffi.so.6.0.4
7fdcf5ef5000-7fdcf5ef6000 rw-p 00009000 08:05 3335558                    /nix/store/ddgaziqy9m2jgm4z8dzkhqd3w9hzryns-libffi-3.2.1/lib/libffi.so.6.0.4
7fdcf5ef6000-7fdcf5f88000 r-xp 00000000 08:05 3682401                    /nix/store/9yb6gizxpll4l6gf7md75kbii6b1dvjc-gmp-6.1.2/lib/libgmp.so.10.3.2
7fdcf5f88000-7fdcf6187000 ---p 00092000 08:05 3682401                    /nix/store/9yb6gizxpll4l6gf7md75kbii6b1dvjc-gmp-6.1.2/lib/libgmp.so.10.3.2
7fdcf6187000-7fdcf6189000 r--p 00091000 08:05 3682401                    /nix/store/9yb6gizxpll4l6gf7md75kbii6b1dvjc-gmp-6.1.2/lib/libgmp.so.10.3.2
7fdcf6189000-7fdcf618a000 rw-p 00093000 08:05 3682401                    /nix/store/9yb6gizxpll4l6gf7md75kbii6b1dvjc-gmp-6.1.2/lib/libgmp.so.10.3.2
7fdcf618a000-7fdcf61bf000 r-xp 00000000 08:05 1978846                    /nix/store/yskk4g4x20d6gk867hdcwzn81lkqkwwr-nettle-3.4/lib/libhogweed.so.4.4
7fdcf61bf000-7fdcf63be000 ---p 00035000 08:05 1978846                    /nix/store/yskk4g4x20d6gk867hdcwzn81lkqkwwr-nettle-3.4/lib/libhogweed.so.4.4
7fdcf63be000-7fdcf63c0000 r--p 00034000 08:05 1978846                    /nix/store/yskk4g4x20d6gk867hdcwzn81lkqkwwr-nettle-3.4/lib/libhogweed.so.4.4
7fdcf63c0000-7fdcf63c1000 rw-p 00036000 08:05 1978846                    /nix/store/yskk4g4x20d6gk867hdcwzn81lkqkwwr-nettle-3.4/lib/libhogweed.so.4.4
7fdcf63c1000-7fdcf63f7000 r-xp 00000000 08:05 1978849                    /nix/store/yskk4g4x20d6gk867hdcwzn81lkqkwwr-nettle-3.4/lib/libnettle.so.6.4
7fdcf63f7000-7fdcf65f6000 ---p 00036000 08:05 1978849                    /nix/store/yskk4g4x20d6gk867hdcwzn81lkqkwwr-nettle-3.4/lib/libnettle.so.6.4
7fdcf65f6000-7fdcf65f8000 r--p 00035000 08:05 1978849                    /nix/store/yskk4g4x20d6gk867hdcwzn81lkqkwwr-nettle-3.4/lib/libnettle.so.6.4
7fdcf65f8000-7fdcf65f9000 rw-p 00037000 08:05 1978849                    /nix/store/yskk4g4x20d6gk867hdcwzn81lkqkwwr-nettle-3.4/lib/libnettle.so.6.4
7fdcf65f9000-7fdcf660a000 r-xp 00000000 08:05 3335605                    /nix/store/0qjvyh5q1yd16knxa9xh15pnrx4lb61w-libtasn1-4.13/lib/libtasn1.so.6.5.5
7fdcf660a000-7fdcf680a000 ---p 00011000 08:05 3335605                    /nix/store/0qjvyh5q1yd16knxa9xh15pnrx4lb61w-libtasn1-4.13/lib/libtasn1.so.6.5.5
7fdcf680a000-7fdcf680b000 r--p 00011000 08:05 3335605                    /nix/store/0qjvyh5q1yd16knxa9xh15pnrx4lb61w-libtasn1-4.13/lib/libtasn1.so.6.5.5
7fdcf680b000-7fdcf680c000 rw-p 00012000 08:05 3335605                    /nix/store/0qjvyh5q1yd16knxa9xh15pnrx4lb61w-libtasn1-4.13/lib/libtasn1.so.6.5.5
7fdcf680c000-7fdcf698a000 r-xp 00000000 08:05 3553425                    /nix/store/ja2h63lw0x1mvzyam4hqv2iwvvcwa8gm-libunistring-0.9.10/lib/libunistring.so.2.1.0
7fdcf698a000-7fdcf6b8a000 ---p 0017e000 08:05 3553425                    /nix/store/ja2h63lw0x1mvzyam4hqv2iwvvcwa8gm-libunistring-0.9.10/lib/libunistring.so.2.1.0
7fdcf6b8a000-7fdcf6b8e000 r--p 0017e000 08:05 3553425                    /nix/store/ja2h63lw0x1mvzyam4hqv2iwvvcwa8gm-libunistring-0.9.10/lib/libunistring.so.2.1.0
7fdcf6b8e000-7fdcf6b8f000 rw-p 00182000 08:05 3553425                    /nix/store/ja2h63lw0x1mvzyam4hqv2iwvvcwa8gm-libunistring-0.9.10/lib/libunistring.so.2.1.0
7fdcf6b8f000-7fdcf6ca9000 r-xp 00000000 08:05 1978808                    /nix/store/yr1fdkyz2gxnfwifn1q2pifgl0k54yab-p11-kit-0.23.14/lib/libp11-kit.so.0.3.0
7fdcf6ca9000-7fdcf6ea8000 ---p 0011a000 08:05 1978808                    /nix/store/yr1fdkyz2gxnfwifn1q2pifgl0k54yab-p11-kit-0.23.14/lib/libp11-kit.so.0.3.0
7fdcf6ea8000-7fdcf6eb3000 r--p 00119000 08:05 1978808                    /nix/store/yr1fdkyz2gxnfwifn1q2pifgl0k54yab-p11-kit-0.23.14/lib/libp11-kit.so.0.3.0
7fdcf6eb3000-7fdcf6ebd000 rw-p 00124000 08:05 1978808                    /nix/store/yr1fdkyz2gxnfwifn1q2pifgl0k54yab-p11-kit-0.23.14/lib/libp11-kit.so.0.3.0
7fdcf6ebd000-7fdcf6ebf000 r-xp 00000000 08:05 1193194                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libutil-2.27.so
7fdcf6ebf000-7fdcf70be000 ---p 00002000 08:05 1193194                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libutil-2.27.so
7fdcf70be000-7fdcf70bf000 r--p 00001000 08:05 1193194                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libutil-2.27.so
7fdcf70bf000-7fdcf70c0000 rw-p 00002000 08:05 1193194                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libutil-2.27.so
7fdcf70c0000-7fdcf70c2000 r-xp 00000000 08:05 3335759                    /nix/store/x6inizi5ahlyhqxxwv1rvn05a25icarq-gcc-7.3.0-lib/lib/libssp.so.0.0.0
7fdcf70c2000-7fdcf72c1000 ---p 00002000 08:05 3335759                    /nix/store/x6inizi5ahlyhqxxwv1rvn05a25icarq-gcc-7.3.0-lib/lib/libssp.so.0.0.0
7fdcf72c1000-7fdcf72c2000 r--p 00001000 08:05 3335759                    /nix/store/x6inizi5ahlyhqxxwv1rvn05a25icarq-gcc-7.3.0-lib/lib/libssp.so.0.0.0
7fdcf72c2000-7fdcf72c3000 rw-p 00002000 08:05 3335759                    /nix/store/x6inizi5ahlyhqxxwv1rvn05a25icarq-gcc-7.3.0-lib/lib/libssp.so.0.0.0
7fdcf72c3000-7fdcf736d000 r-xp 00000000 08:05 2773796                    /nix/store/4xbfmvkyib1dck6cflbs0r97g4ghj0c0-systemd-239-lib/lib/libsystemd.so.0.23.0
7fdcf736d000-7fdcf756d000 ---p 000aa000 08:05 2773796                    /nix/store/4xbfmvkyib1dck6cflbs0r97g4ghj0c0-systemd-239-lib/lib/libsystemd.so.0.23.0
7fdcf756d000-7fdcf7570000 r--p 000aa000 08:05 2773796                    /nix/store/4xbfmvkyib1dck6cflbs0r97g4ghj0c0-systemd-239-lib/lib/libsystemd.so.0.23.0
7fdcf7570000-7fdcf7571000 rw-p 000ad000 08:05 2773796                    /nix/store/4xbfmvkyib1dck6cflbs0r97g4ghj0c0-systemd-239-lib/lib/libsystemd.so.0.23.0
7fdcf7571000-7fdcf7572000 rw-p 00000000 00:00 0 
7fdcf7572000-7fdcf75c2000 r-xp 00000000 08:05 3801463                    /nix/store/5j29cl90ssiqygmi3kqdf10r9a1jjgyi-dbus-1.12.12-lib/lib/libdbus-1.so.3.19.9
7fdcf75c2000-7fdcf77c1000 ---p 00050000 08:05 3801463                    /nix/store/5j29cl90ssiqygmi3kqdf10r9a1jjgyi-dbus-1.12.12-lib/lib/libdbus-1.so.3.19.9
7fdcf77c1000-7fdcf77c3000 r--p 0004f000 08:05 3801463                    /nix/store/5j29cl90ssiqygmi3kqdf10r9a1jjgyi-dbus-1.12.12-lib/lib/libdbus-1.so.3.19.9
7fdcf77c3000-7fdcf77c4000 rw-p 00051000 08:05 3801463                    /nix/store/5j29cl90ssiqygmi3kqdf10r9a1jjgyi-dbus-1.12.12-lib/lib/libdbus-1.so.3.19.9
7fdcf77c4000-7fdcf77c7000 r-xp 00000000 08:05 3802551                    /nix/store/dkdifbfqqnih7pkcq97nvam33xfm6wsr-avahi-0.7/lib/libavahi-glib.so.1.0.2
7fdcf77c7000-7fdcf79c6000 ---p 00003000 08:05 3802551                    /nix/store/dkdifbfqqnih7pkcq97nvam33xfm6wsr-avahi-0.7/lib/libavahi-glib.so.1.0.2
7fdcf79c6000-7fdcf79c7000 r--p 00002000 08:05 3802551                    /nix/store/dkdifbfqqnih7pkcq97nvam33xfm6wsr-avahi-0.7/lib/libavahi-glib.so.1.0.2
7fdcf79c7000-7fdcf79c8000 rw-p 00003000 08:05 3802551                    /nix/store/dkdifbfqqnih7pkcq97nvam33xfm6wsr-avahi-0.7/lib/libavahi-glib.so.1.0.2
7fdcf79c8000-7fdcf7c06000 r-xp 00000000 08:05 3158754                    /nix/store/3lk4hcp1r6pnrvf91kd5p0ni97nd2dj3-openssl-1.0.2q/lib/libcrypto.so.1.0.0
7fdcf7c06000-7fdcf7e05000 ---p 0023e000 08:05 3158754                    /nix/store/3lk4hcp1r6pnrvf91kd5p0ni97nd2dj3-openssl-1.0.2q/lib/libcrypto.so.1.0.0
7fdcf7e05000-7fdcf7e21000 r--p 0023d000 08:05 3158754                    /nix/store/3lk4hcp1r6pnrvf91kd5p0ni97nd2dj3-openssl-1.0.2q/lib/libcrypto.so.1.0.0
7fdcf7e21000-7fdcf7e2c000 rw-p 00259000 08:05 3158754                    /nix/store/3lk4hcp1r6pnrvf91kd5p0ni97nd2dj3-openssl-1.0.2q/lib/libcrypto.so.1.0.0
7fdcf7e2c000-7fdcf7e30000 rw-p 00000000 00:00 0 
7fdcf7e30000-7fdcf7e99000 r-xp 00000000 08:05 3158756                    /nix/store/3lk4hcp1r6pnrvf91kd5p0ni97nd2dj3-openssl-1.0.2q/lib/libssl.so.1.0.0
7fdcf7e99000-7fdcf8099000 ---p 00069000 08:05 3158756                    /nix/store/3lk4hcp1r6pnrvf91kd5p0ni97nd2dj3-openssl-1.0.2q/lib/libssl.so.1.0.0
7fdcf8099000-7fdcf809e000 r--p 00069000 08:05 3158756                    /nix/store/3lk4hcp1r6pnrvf91kd5p0ni97nd2dj3-openssl-1.0.2q/lib/libssl.so.1.0.0
7fdcf809e000-7fdcf80a4000 rw-p 0006e000 08:05 3158756                    /nix/store/3lk4hcp1r6pnrvf91kd5p0ni97nd2dj3-openssl-1.0.2q/lib/libssl.so.1.0.0
7fdcf80a4000-7fdcf80ca000 r-xp 00000000 08:05 1978898                    /nix/store/bgmd02s6zzx86a2p7psvxxzk1j2sbr30-dbus-glib-0.110/lib/libdbus-glib-1.so.2.3.4
7fdcf80ca000-7fdcf82ca000 ---p 00026000 08:05 1978898                    /nix/store/bgmd02s6zzx86a2p7psvxxzk1j2sbr30-dbus-glib-0.110/lib/libdbus-glib-1.so.2.3.4
7fdcf82ca000-7fdcf82cc000 r--p 00026000 08:05 1978898                    /nix/store/bgmd02s6zzx86a2p7psvxxzk1j2sbr30-dbus-glib-0.110/lib/libdbus-glib-1.so.2.3.4
7fdcf82cc000-7fdcf82cd000 rw-p 00028000 08:05 1978898                    /nix/store/bgmd02s6zzx86a2p7psvxxzk1j2sbr30-dbus-glib-0.110/lib/libdbus-glib-1.so.2.3.4
7fdcf82cd000-7fdcf8428000 r-xp 00000000 08:05 1193392                    /nix/store/9wjsv44xjm10c3vkbl4yf3a0r1rldf52-libxml2-2.9.8/lib/libxml2.so.2.9.8
7fdcf8428000-7fdcf8627000 ---p 0015b000 08:05 1193392                    /nix/store/9wjsv44xjm10c3vkbl4yf3a0r1rldf52-libxml2-2.9.8/lib/libxml2.so.2.9.8
7fdcf8627000-7fdcf8630000 r--p 0015a000 08:05 1193392                    /nix/store/9wjsv44xjm10c3vkbl4yf3a0r1rldf52-libxml2-2.9.8/lib/libxml2.so.2.9.8
7fdcf8630000-7fdcf8631000 rw-p 00163000 08:05 1193392                    /nix/store/9wjsv44xjm10c3vkbl4yf3a0r1rldf52-libxml2-2.9.8/lib/libxml2.so.2.9.8
7fdcf8631000-7fdcf8633000 rw-p 00000000 00:00 0 
7fdcf8633000-7fdcf8693000 r-xp 00000000 08:05 1075053                    /nix/store/w0nkg0ifhz3f1kji436460ycdv2djgkd-ORBit2-2.14.19/lib/libORBit-2.so.0.1.0
7fdcf8693000-7fdcf8892000 ---p 00060000 08:05 1075053                    /nix/store/w0nkg0ifhz3f1kji436460ycdv2djgkd-ORBit2-2.14.19/lib/libORBit-2.so.0.1.0
7fdcf8892000-7fdcf88a2000 r--p 0005f000 08:05 1075053                    /nix/store/w0nkg0ifhz3f1kji436460ycdv2djgkd-ORBit2-2.14.19/lib/libORBit-2.so.0.1.0
7fdcf88a2000-7fdcf88a4000 rw-p 0006f000 08:05 1075053                    /nix/store/w0nkg0ifhz3f1kji436460ycdv2djgkd-ORBit2-2.14.19/lib/libORBit-2.so.0.1.0
7fdcf88a4000-7fdcf88a5000 rw-p 00000000 00:00 0 
7fdcf88a5000-7fdcf88b8000 r-xp 00000000 08:05 1193185                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libresolv-2.27.so
7fdcf88b8000-7fdcf8ab8000 ---p 00013000 08:05 1193185                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libresolv-2.27.so
7fdcf8ab8000-7fdcf8ab9000 r--p 00013000 08:05 1193185                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libresolv-2.27.so
7fdcf8ab9000-7fdcf8aba000 rw-p 00014000 08:05 1193185                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libresolv-2.27.so
7fdcf8aba000-7fdcf8abc000 rw-p 00000000 00:00 0 
7fdcf8abc000-7fdcf8ae3000 r-xp 00000000 08:05 3682441                    /nix/store/v4i35a0bhbxb146vsbd8fd66wg74zqk4-libselinux-2.7/lib/libselinux.so.1
7fdcf8ae3000-7fdcf8ce3000 ---p 00027000 08:05 3682441                    /nix/store/v4i35a0bhbxb146vsbd8fd66wg74zqk4-libselinux-2.7/lib/libselinux.so.1
7fdcf8ce3000-7fdcf8ce4000 r--p 00027000 08:05 3682441                    /nix/store/v4i35a0bhbxb146vsbd8fd66wg74zqk4-libselinux-2.7/lib/libselinux.so.1
7fdcf8ce4000-7fdcf8ce5000 rw-p 00028000 08:05 3682441                    /nix/store/v4i35a0bhbxb146vsbd8fd66wg74zqk4-libselinux-2.7/lib/libselinux.so.1
7fdcf8ce5000-7fdcf8ce7000 rw-p 00000000 00:00 0 
7fdcf8ce7000-7fdcf8d40000 r-xp 00000000 08:05 2773784                    /nix/store/z0x40kmai1daywwv9v1p2d1wvc6wzhpw-util-linux-2.33/lib/libmount.so.1.1.0
7fdcf8d40000-7fdcf8f3f000 ---p 00059000 08:05 2773784                    /nix/store/z0x40kmai1daywwv9v1p2d1wvc6wzhpw-util-linux-2.33/lib/libmount.so.1.1.0
7fdcf8f3f000-7fdcf8f42000 r--p 00058000 08:05 2773784                    /nix/store/z0x40kmai1daywwv9v1p2d1wvc6wzhpw-util-linux-2.33/lib/libmount.so.1.1.0
7fdcf8f42000-7fdcf8f43000 rw-p 0005b000 08:05 2773784                    /nix/store/z0x40kmai1daywwv9v1p2d1wvc6wzhpw-util-linux-2.33/lib/libmount.so.1.1.0
7fdcf8f43000-7fdcf907d000 r-xp 00000000 08:05 1193400                    /nix/store/k2cl7p0cnzvgz36fb7ibj4fpamdg3sax-glib-2.58.1/lib/libglib-2.0.so.0.5800.1
7fdcf907d000-7fdcf927d000 ---p 0013a000 08:05 1193400                    /nix/store/k2cl7p0cnzvgz36fb7ibj4fpamdg3sax-glib-2.58.1/lib/libglib-2.0.so.0.5800.1
7fdcf927d000-7fdcf927e000 r--p 0013a000 08:05 1193400                    /nix/store/k2cl7p0cnzvgz36fb7ibj4fpamdg3sax-glib-2.58.1/lib/libglib-2.0.so.0.5800.1
7fdcf927e000-7fdcf927f000 rw-p 0013b000 08:05 1193400                    /nix/store/k2cl7p0cnzvgz36fb7ibj4fpamdg3sax-glib-2.58.1/lib/libglib-2.0.so.0.5800.1
7fdcf927f000-7fdcf9280000 rw-p 00000000 00:00 0 
7fdcf9280000-7fdcf92d8000 r-xp 00000000 08:05 1193406                    /nix/store/k2cl7p0cnzvgz36fb7ibj4fpamdg3sax-glib-2.58.1/lib/libgobject-2.0.so.0.5800.1
7fdcf92d8000-7fdcf94d7000 ---p 00058000 08:05 1193406                    /nix/store/k2cl7p0cnzvgz36fb7ibj4fpamdg3sax-glib-2.58.1/lib/libgobject-2.0.so.0.5800.1
7fdcf94d7000-7fdcf94d8000 r--p 00057000 08:05 1193406                    /nix/store/k2cl7p0cnzvgz36fb7ibj4fpamdg3sax-glib-2.58.1/lib/libgobject-2.0.so.0.5800.1
7fdcf94d8000-7fdcf94d9000 rw-p 00058000 08:05 1193406                    /nix/store/k2cl7p0cnzvgz36fb7ibj4fpamdg3sax-glib-2.58.1/lib/libgobject-2.0.so.0.5800.1
7fdcf94d9000-7fdcf94f5000 r-xp 00000000 08:05 2113537                    /nix/store/h2adz81mfq7w4hzq4hk15s7vnxf5savh-fribidi-1.0.5/lib/libfribidi.so.0.4.0
7fdcf94f5000-7fdcf96f4000 ---p 0001c000 08:05 2113537                    /nix/store/h2adz81mfq7w4hzq4hk15s7vnxf5savh-fribidi-1.0.5/lib/libfribidi.so.0.4.0
7fdcf96f4000-7fdcf96f5000 r--p 0001b000 08:05 2113537                    /nix/store/h2adz81mfq7w4hzq4hk15s7vnxf5savh-fribidi-1.0.5/lib/libfribidi.so.0.4.0
7fdcf96f5000-7fdcf96f6000 rw-p 0001c000 08:05 2113537                    /nix/store/h2adz81mfq7w4hzq4hk15s7vnxf5savh-fribidi-1.0.5/lib/libfribidi.so.0.4.0
7fdcf96f6000-7fdcf96f7000 r-xp 00000000 08:05 1193409                    /nix/store/k2cl7p0cnzvgz36fb7ibj4fpamdg3sax-glib-2.58.1/lib/libgthread-2.0.so.0.5800.1
7fdcf96f7000-7fdcf98f6000 ---p 00001000 08:05 1193409                    /nix/store/k2cl7p0cnzvgz36fb7ibj4fpamdg3sax-glib-2.58.1/lib/libgthread-2.0.so.0.5800.1
7fdcf98f6000-7fdcf98f7000 r--p 00000000 08:05 1193409                    /nix/store/k2cl7p0cnzvgz36fb7ibj4fpamdg3sax-glib-2.58.1/lib/libgthread-2.0.so.0.5800.1
7fdcf98f7000-7fdcf98f8000 rw-p 00001000 08:05 1193409                    /nix/store/k2cl7p0cnzvgz36fb7ibj4fpamdg3sax-glib-2.58.1/lib/libgthread-2.0.so.0.5800.1
7fdcf98f8000-7fdcf993b000 r-xp 00000000 08:05 1075073                    /nix/store/26wlax1h5y4gfx3xdyrjm093iq4r6q8z-pango-1.42.4/lib/libpango-1.0.so.0.4200.4
7fdcf993b000-7fdcf9b3a000 ---p 00043000 08:05 1075073                    /nix/store/26wlax1h5y4gfx3xdyrjm093iq4r6q8z-pango-1.42.4/lib/libpango-1.0.so.0.4200.4
7fdcf9b3a000-7fdcf9b3d000 r--p 00042000 08:05 1075073                    /nix/store/26wlax1h5y4gfx3xdyrjm093iq4r6q8z-pango-1.42.4/lib/libpango-1.0.so.0.4200.4
7fdcf9b3d000-7fdcf9b3e000 rw-p 00045000 08:05 1075073                    /nix/store/26wlax1h5y4gfx3xdyrjm093iq4r6q8z-pango-1.42.4/lib/libpango-1.0.so.0.4200.4
7fdcf9b3e000-7fdcf9b6f000 r-xp 00000000 08:05 3682378                    /nix/store/fv660vamzmzgzab8laq15kdk1kda4jyj-graphite2-1.3.6/lib/libgraphite2.so.3.0.1
7fdcf9b6f000-7fdcf9d6e000 ---p 00031000 08:05 3682378                    /nix/store/fv660vamzmzgzab8laq15kdk1kda4jyj-graphite2-1.3.6/lib/libgraphite2.so.3.0.1
7fdcf9d6e000-7fdcf9d70000 r--p 00030000 08:05 3682378                    /nix/store/fv660vamzmzgzab8laq15kdk1kda4jyj-graphite2-1.3.6/lib/libgraphite2.so.3.0.1
7fdcf9d70000-7fdcf9d71000 rw-p 00032000 08:05 3682378                    /nix/store/fv660vamzmzgzab8laq15kdk1kda4jyj-graphite2-1.3.6/lib/libgraphite2.so.3.0.1
7fdcf9d71000-7fdcf9e52000 r-xp 00000000 08:05 3335869                    /nix/store/mkfdy0b2pxnmhrca4765470cffzpp0qj-harfbuzz-2.1.0/lib/libharfbuzz.so.0.20100.0
7fdcf9e52000-7fdcfa052000 ---p 000e1000 08:05 3335869                    /nix/store/mkfdy0b2pxnmhrca4765470cffzpp0qj-harfbuzz-2.1.0/lib/libharfbuzz.so.0.20100.0
7fdcfa052000-7fdcfa053000 r--p 000e1000 08:05 3335869                    /nix/store/mkfdy0b2pxnmhrca4765470cffzpp0qj-harfbuzz-2.1.0/lib/libharfbuzz.so.0.20100.0
7fdcfa053000-7fdcfa054000 rw-p 000e2000 08:05 3335869                    /nix/store/mkfdy0b2pxnmhrca4765470cffzpp0qj-harfbuzz-2.1.0/lib/libharfbuzz.so.0.20100.0
7fdcfa054000-7fdcfa068000 r-xp 00000000 08:05 1075081                    /nix/store/26wlax1h5y4gfx3xdyrjm093iq4r6q8z-pango-1.42.4/lib/libpangoft2-1.0.so.0.4200.4
7fdcfa068000-7fdcfa268000 ---p 00014000 08:05 1075081                    /nix/store/26wlax1h5y4gfx3xdyrjm093iq4r6q8z-pango-1.42.4/lib/libpangoft2-1.0.so.0.4200.4
7fdcfa268000-7fdcfa269000 r--p 00014000 08:05 1075081                    /nix/store/26wlax1h5y4gfx3xdyrjm093iq4r6q8z-pango-1.42.4/lib/libpangoft2-1.0.so.0.4200.4
7fdcfa269000-7fdcfa26a000 rw-p 00015000 08:05 1075081                    /nix/store/26wlax1h5y4gfx3xdyrjm093iq4r6q8z-pango-1.42.4/lib/libpangoft2-1.0.so.0.4200.4
7fdcfa26a000-7fdcfa297000 r-xp 00000000 08:05 3467008                    /nix/store/402siv2c4fnmnqzmj0816lq1zy9v7kbi-gdk-pixbuf-2.38.0/lib/libgdk_pixbuf-2.0.so.0.3800.0
7fdcfa297000-7fdcfa496000 ---p 0002d000 08:05 3467008                    /nix/store/402siv2c4fnmnqzmj0816lq1zy9v7kbi-gdk-pixbuf-2.38.0/lib/libgdk_pixbuf-2.0.so.0.3800.0
7fdcfa496000-7fdcfa497000 r--p 0002c000 08:05 3467008                    /nix/store/402siv2c4fnmnqzmj0816lq1zy9v7kbi-gdk-pixbuf-2.38.0/lib/libgdk_pixbuf-2.0.so.0.3800.0
7fdcfa497000-7fdcfa498000 rw-p 0002d000 08:05 3467008                    /nix/store/402siv2c4fnmnqzmj0816lq1zy9v7kbi-gdk-pixbuf-2.38.0/lib/libgdk_pixbuf-2.0.so.0.3800.0
7fdcfa498000-7fdcfa49f000 r-xp 00000000 08:05 1193188                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/librt-2.27.so
7fdcfa49f000-7fdcfa69e000 ---p 00007000 08:05 1193188                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/librt-2.27.so
7fdcfa69e000-7fdcfa69f000 r--p 00006000 08:05 1193188                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/librt-2.27.so
7fdcfa69f000-7fdcfa6a0000 rw-p 00007000 08:05 1193188                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/librt-2.27.so
7fdcfa6a0000-7fdcfa70e000 r-xp 00000000 08:05 3683781                    /nix/store/azvjiz14if7dinh00ai50d7lq93qwx34-libglvnd-1.0.0/lib/libGLdispatch.so.0.0.0
7fdcfa70e000-7fdcfa90d000 ---p 0006e000 08:05 3683781                    /nix/store/azvjiz14if7dinh00ai50d7lq93qwx34-libglvnd-1.0.0/lib/libGLdispatch.so.0.0.0
7fdcfa90d000-7fdcfa935000 r--p 0006d000 08:05 3683781                    /nix/store/azvjiz14if7dinh00ai50d7lq93qwx34-libglvnd-1.0.0/lib/libGLdispatch.so.0.0.0
7fdcfa935000-7fdcfa936000 rw-p 00095000 08:05 3683781                    /nix/store/azvjiz14if7dinh00ai50d7lq93qwx34-libglvnd-1.0.0/lib/libGLdispatch.so.0.0.0
7fdcfa936000-7fdcfa956000 rw-p 00000000 00:00 0 
7fdcfa956000-7fdcfa966000 r-xp 00000000 08:05 3683777                    /nix/store/azvjiz14if7dinh00ai50d7lq93qwx34-libglvnd-1.0.0/lib/libGLX.so.0.0.0
7fdcfa966000-7fdcfab66000 ---p 00010000 08:05 3683777                    /nix/store/azvjiz14if7dinh00ai50d7lq93qwx34-libglvnd-1.0.0/lib/libGLX.so.0.0.0
7fdcfab66000-7fdcfab67000 r--p 00010000 08:05 3683777                    /nix/store/azvjiz14if7dinh00ai50d7lq93qwx34-libglvnd-1.0.0/lib/libGLX.so.0.0.0
7fdcfab67000-7fdcfab68000 rw-p 00011000 08:05 3683777                    /nix/store/azvjiz14if7dinh00ai50d7lq93qwx34-libglvnd-1.0.0/lib/libGLX.so.0.0.0
7fdcfab68000-7fdcfab88000 rw-p 00000000 00:00 0 
7fdcfab88000-7fdcfabfe000 r-xp 00000000 08:05 3683765                    /nix/store/azvjiz14if7dinh00ai50d7lq93qwx34-libglvnd-1.0.0/lib/libGL.so.1.0.0
7fdcfabfe000-7fdcfadfd000 ---p 00076000 08:05 3683765                    /nix/store/azvjiz14if7dinh00ai50d7lq93qwx34-libglvnd-1.0.0/lib/libGL.so.1.0.0
7fdcfadfd000-7fdcfae17000 r--p 00075000 08:05 3683765                    /nix/store/azvjiz14if7dinh00ai50d7lq93qwx34-libglvnd-1.0.0/lib/libGL.so.1.0.0
7fdcfae17000-7fdcfae18000 rw-p 0008f000 08:05 3683765                    /nix/store/azvjiz14if7dinh00ai50d7lq93qwx34-libglvnd-1.0.0/lib/libGL.so.1.0.0
7fdcfae18000-7fdcfae19000 rw-p 00000000 00:00 0 
7fdcfae19000-7fdcfae26000 r-xp 00000000 08:05 1193254                    /nix/store/ji0fkcgpqwvb65l14wx9r1n8zm6n7d9s-libxcb-1.13.1/lib/libxcb-render.so.0.0.0
7fdcfae26000-7fdcfb025000 ---p 0000d000 08:05 1193254                    /nix/store/ji0fkcgpqwvb65l14wx9r1n8zm6n7d9s-libxcb-1.13.1/lib/libxcb-render.so.0.0.0
7fdcfb025000-7fdcfb026000 r--p 0000c000 08:05 1193254                    /nix/store/ji0fkcgpqwvb65l14wx9r1n8zm6n7d9s-libxcb-1.13.1/lib/libxcb-render.so.0.0.0
7fdcfb026000-7fdcfb027000 rw-p 0000d000 08:05 1193254                    /nix/store/ji0fkcgpqwvb65l14wx9r1n8zm6n7d9s-libxcb-1.13.1/lib/libxcb-render.so.0.0.0
7fdcfb027000-7fdcfb029000 r-xp 00000000 08:05 1193270                    /nix/store/ji0fkcgpqwvb65l14wx9r1n8zm6n7d9s-libxcb-1.13.1/lib/libxcb-shm.so.0.0.0
7fdcfb029000-7fdcfb229000 ---p 00002000 08:05 1193270                    /nix/store/ji0fkcgpqwvb65l14wx9r1n8zm6n7d9s-libxcb-1.13.1/lib/libxcb-shm.so.0.0.0
7fdcfb229000-7fdcfb22a000 r--p 00002000 08:05 1193270                    /nix/store/ji0fkcgpqwvb65l14wx9r1n8zm6n7d9s-libxcb-1.13.1/lib/libxcb-shm.so.0.0.0
7fdcfb22a000-7fdcfb22b000 rw-p 00003000 08:05 1193270                    /nix/store/ji0fkcgpqwvb65l14wx9r1n8zm6n7d9s-libxcb-1.13.1/lib/libxcb-shm.so.0.0.0
7fdcfb22b000-7fdcfb23d000 r-xp 00000000 08:05 3683761                    /nix/store/azvjiz14if7dinh00ai50d7lq93qwx34-libglvnd-1.0.0/lib/libEGL.so.1.0.0
7fdcfb23d000-7fdcfb43d000 ---p 00012000 08:05 3683761                    /nix/store/azvjiz14if7dinh00ai50d7lq93qwx34-libglvnd-1.0.0/lib/libEGL.so.1.0.0
7fdcfb43d000-7fdcfb43e000 r--p 00012000 08:05 3683761                    /nix/store/azvjiz14if7dinh00ai50d7lq93qwx34-libglvnd-1.0.0/lib/libEGL.so.1.0.0
7fdcfb43e000-7fdcfb43f000 rw-p 00013000 08:05 3683761                    /nix/store/azvjiz14if7dinh00ai50d7lq93qwx34-libglvnd-1.0.0/lib/libEGL.so.1.0.0
7fdcfb43f000-7fdcfb4de000 r-xp 00000000 08:05 1328181                    /nix/store/snvbfmvzy0cq8r1zamnsi34nwrfkm839-pixman-0.36.0/lib/libpixman-1.so.0.36.0
7fdcfb4de000-7fdcfb6de000 ---p 0009f000 08:05 1328181                    /nix/store/snvbfmvzy0cq8r1zamnsi34nwrfkm839-pixman-0.36.0/lib/libpixman-1.so.0.36.0
7fdcfb6de000-7fdcfb6e6000 r--p 0009f000 08:05 1328181                    /nix/store/snvbfmvzy0cq8r1zamnsi34nwrfkm839-pixman-0.36.0/lib/libpixman-1.so.0.36.0
7fdcfb6e6000-7fdcfb6e7000 rw-p 000a7000 08:05 1328181                    /nix/store/snvbfmvzy0cq8r1zamnsi34nwrfkm839-pixman-0.36.0/lib/libpixman-1.so.0.36.0
7fdcfb6e7000-7fdcfb817000 r-xp 00000000 08:05 1075042                    /nix/store/2b3m7w5h2x4l59mig6rdym3x31czzv9i-cairo-1.16.0/lib/libcairo.so.2.11600.0
7fdcfb817000-7fdcfba17000 ---p 00130000 08:05 1075042                    /nix/store/2b3m7w5h2x4l59mig6rdym3x31czzv9i-cairo-1.16.0/lib/libcairo.so.2.11600.0
7fdcfba17000-7fdcfba1b000 r--p 00130000 08:05 1075042                    /nix/store/2b3m7w5h2x4l59mig6rdym3x31czzv9i-cairo-1.16.0/lib/libcairo.so.2.11600.0
7fdcfba1b000-7fdcfba1c000 rw-p 00134000 08:05 1075042                    /nix/store/2b3m7w5h2x4l59mig6rdym3x31czzv9i-cairo-1.16.0/lib/libcairo.so.2.11600.0
7fdcfba1c000-7fdcfba1e000 rw-p 00000000 00:00 0 
7fdcfba1e000-7fdcfba42000 r-xp 00000000 08:05 1331776                    /nix/store/brakqnmbcnjsv3xjaflbh68liwp45xms-atk-2.30.0/lib/libatk-1.0.so.0.23009.1
7fdcfba42000-7fdcfbc42000 ---p 00024000 08:05 1331776                    /nix/store/brakqnmbcnjsv3xjaflbh68liwp45xms-atk-2.30.0/lib/libatk-1.0.so.0.23009.1
7fdcfbc42000-7fdcfbc45000 r--p 00024000 08:05 1331776                    /nix/store/brakqnmbcnjsv3xjaflbh68liwp45xms-atk-2.30.0/lib/libatk-1.0.so.0.23009.1
7fdcfbc45000-7fdcfbc46000 rw-p 00027000 08:05 1331776                    /nix/store/brakqnmbcnjsv3xjaflbh68liwp45xms-atk-2.30.0/lib/libatk-1.0.so.0.23009.1
7fdcfbc46000-7fdcfbc48000 r-xp 00000000 08:05 3682415                    /nix/store/vmvljj56nqf5yil3nxjymvrjynz0cd5z-libXcomposite-0.4.4/lib/libXcomposite.so.1.0.0
7fdcfbc48000-7fdcfbe47000 ---p 00002000 08:05 3682415                    /nix/store/vmvljj56nqf5yil3nxjymvrjynz0cd5z-libXcomposite-0.4.4/lib/libXcomposite.so.1.0.0
7fdcfbe47000-7fdcfbe48000 r--p 00001000 08:05 3682415                    /nix/store/vmvljj56nqf5yil3nxjymvrjynz0cd5z-libXcomposite-0.4.4/lib/libXcomposite.so.1.0.0
7fdcfbe48000-7fdcfbe49000 rw-p 00002000 08:05 3682415                    /nix/store/vmvljj56nqf5yil3nxjymvrjynz0cd5z-libXcomposite-0.4.4/lib/libXcomposite.so.1.0.0
7fdcfbe49000-7fdcfbe4e000 r-xp 00000000 08:05 1193331                    /nix/store/jcycns512pa5g44m5wnnca0g7ssg76ai-libXfixes-5.0.3/lib/libXfixes.so.3.1.0
7fdcfbe4e000-7fdcfc04d000 ---p 00005000 08:05 1193331                    /nix/store/jcycns512pa5g44m5wnnca0g7ssg76ai-libXfixes-5.0.3/lib/libXfixes.so.3.1.0
7fdcfc04d000-7fdcfc04e000 r--p 00004000 08:05 1193331                    /nix/store/jcycns512pa5g44m5wnnca0g7ssg76ai-libXfixes-5.0.3/lib/libXfixes.so.3.1.0
7fdcfc04e000-7fdcfc04f000 rw-p 00005000 08:05 1193331                    /nix/store/jcycns512pa5g44m5wnnca0g7ssg76ai-libXfixes-5.0.3/lib/libXfixes.so.3.1.0
7fdcfc04f000-7fdcfc05c000 r-xp 00000000 08:05 1075077                    /nix/store/26wlax1h5y4gfx3xdyrjm093iq4r6q8z-pango-1.42.4/lib/libpangocairo-1.0.so.0.4200.4
7fdcfc05c000-7fdcfc25b000 ---p 0000d000 08:05 1075077                    /nix/store/26wlax1h5y4gfx3xdyrjm093iq4r6q8z-pango-1.42.4/lib/libpangocairo-1.0.so.0.4200.4
7fdcfc25b000-7fdcfc25c000 r--p 0000c000 08:05 1075077                    /nix/store/26wlax1h5y4gfx3xdyrjm093iq4r6q8z-pango-1.42.4/lib/libpangocairo-1.0.so.0.4200.4
7fdcfc25c000-7fdcfc25d000 rw-p 0000d000 08:05 1075077                    /nix/store/26wlax1h5y4gfx3xdyrjm093iq4r6q8z-pango-1.42.4/lib/libpangocairo-1.0.so.0.4200.4
7fdcfc25d000-7fdcfc260000 r-xp 00000000 08:05 1193403                    /nix/store/k2cl7p0cnzvgz36fb7ibj4fpamdg3sax-glib-2.58.1/lib/libgmodule-2.0.so.0.5800.1
7fdcfc260000-7fdcfc45f000 ---p 00003000 08:05 1193403                    /nix/store/k2cl7p0cnzvgz36fb7ibj4fpamdg3sax-glib-2.58.1/lib/libgmodule-2.0.so.0.5800.1
7fdcfc45f000-7fdcfc460000 r--p 00002000 08:05 1193403                    /nix/store/k2cl7p0cnzvgz36fb7ibj4fpamdg3sax-glib-2.58.1/lib/libgmodule-2.0.so.0.5800.1
7fdcfc460000-7fdcfc461000 rw-p 00003000 08:05 1193403                    /nix/store/k2cl7p0cnzvgz36fb7ibj4fpamdg3sax-glib-2.58.1/lib/libgmodule-2.0.so.0.5800.1
7fdcfc461000-7fdcfc46b000 r-xp 00000000 08:05 3682995                    /nix/store/nfpy7bg74n84ihpg1a56qnx734y09ap7-libXcursor-1.1.15/lib/libXcursor.so.1.0.2
7fdcfc46b000-7fdcfc66a000 ---p 0000a000 08:05 3682995                    /nix/store/nfpy7bg74n84ihpg1a56qnx734y09ap7-libXcursor-1.1.15/lib/libXcursor.so.1.0.2
7fdcfc66a000-7fdcfc66b000 r--p 00009000 08:05 3682995                    /nix/store/nfpy7bg74n84ihpg1a56qnx734y09ap7-libXcursor-1.1.15/lib/libXcursor.so.1.0.2
7fdcfc66b000-7fdcfc66c000 rw-p 0000a000 08:05 3682995                    /nix/store/nfpy7bg74n84ihpg1a56qnx734y09ap7-libXcursor-1.1.15/lib/libXcursor.so.1.0.2
7fdcfc66c000-7fdcfc67c000 r-xp 00000000 08:05 1193379                    /nix/store/yxa777qj7b0lrxpa2qx20zr74h2vpj0g-libXi-1.7.9/lib/libXi.so.6.1.0
7fdcfc67c000-7fdcfc87b000 ---p 00010000 08:05 1193379                    /nix/store/yxa777qj7b0lrxpa2qx20zr74h2vpj0g-libXi-1.7.9/lib/libXi.so.6.1.0
7fdcfc87b000-7fdcfc87c000 r--p 0000f000 08:05 1193379                    /nix/store/yxa777qj7b0lrxpa2qx20zr74h2vpj0g-libXi-1.7.9/lib/libXi.so.6.1.0
7fdcfc87c000-7fdcfc87d000 rw-p 00010000 08:05 1193379                    /nix/store/yxa777qj7b0lrxpa2qx20zr74h2vpj0g-libXi-1.7.9/lib/libXi.so.6.1.0
7fdcfc87d000-7fdcfc92f000 r-xp 00000000 08:05 1331925                    /nix/store/zj90lr5yrrn8h886691cdl08lbnbby4j-gtk+-2.24.32/lib/libgdk-x11-2.0.so.0.2400.32
7fdcfc92f000-7fdcfcb2e000 ---p 000b2000 08:05 1331925                    /nix/store/zj90lr5yrrn8h886691cdl08lbnbby4j-gtk+-2.24.32/lib/libgdk-x11-2.0.so.0.2400.32
7fdcfcb2e000-7fdcfcb33000 r--p 000b1000 08:05 1331925                    /nix/store/zj90lr5yrrn8h886691cdl08lbnbby4j-gtk+-2.24.32/lib/libgdk-x11-2.0.so.0.2400.32
7fdcfcb33000-7fdcfcb34000 rw-p 000b6000 08:05 1331925                    /nix/store/zj90lr5yrrn8h886691cdl08lbnbby4j-gtk+-2.24.32/lib/libgdk-x11-2.0.so.0.2400.32
7fdcfcb34000-7fdcfcb3d000 r-xp 00000000 08:05 2258269                    /nix/store/ksjmabwc3nwhmv1h1xgk9vi2q0gq63x5-libXrender-0.9.10/lib/libXrender.so.1.3.0
7fdcfcb3d000-7fdcfcd3d000 ---p 00009000 08:05 2258269                    /nix/store/ksjmabwc3nwhmv1h1xgk9vi2q0gq63x5-libXrender-0.9.10/lib/libXrender.so.1.3.0
7fdcfcd3d000-7fdcfcd3e000 r--p 00009000 08:05 2258269                    /nix/store/ksjmabwc3nwhmv1h1xgk9vi2q0gq63x5-libXrender-0.9.10/lib/libXrender.so.1.3.0
7fdcfcd3e000-7fdcfcd3f000 rw-p 0000a000 08:05 2258269                    /nix/store/ksjmabwc3nwhmv1h1xgk9vi2q0gq63x5-libXrender-0.9.10/lib/libXrender.so.1.3.0
7fdcfcd3f000-7fdcfcd44000 r-xp 00000000 08:05 3158606                    /nix/store/03qq9wvzbfkjail9ycwmn0f3sb34182y-libXdmcp-1.1.2/lib/libXdmcp.so.6.0.0
7fdcfcd44000-7fdcfcf43000 ---p 00005000 08:05 3158606                    /nix/store/03qq9wvzbfkjail9ycwmn0f3sb34182y-libXdmcp-1.1.2/lib/libXdmcp.so.6.0.0
7fdcfcf43000-7fdcfcf44000 r--p 00004000 08:05 3158606                    /nix/store/03qq9wvzbfkjail9ycwmn0f3sb34182y-libXdmcp-1.1.2/lib/libXdmcp.so.6.0.0
7fdcfcf44000-7fdcfcf45000 rw-p 00005000 08:05 3158606                    /nix/store/03qq9wvzbfkjail9ycwmn0f3sb34182y-libXdmcp-1.1.2/lib/libXdmcp.so.6.0.0
7fdcfcf45000-7fdcfcf48000 r-xp 00000000 08:05 3158612                    /nix/store/5jnnzqfxf6y7kq6npjqnrgn3c1j61xzm-libXau-1.0.8/lib/libXau.so.6.0.0
7fdcfcf48000-7fdcfd147000 ---p 00003000 08:05 3158612                    /nix/store/5jnnzqfxf6y7kq6npjqnrgn3c1j61xzm-libXau-1.0.8/lib/libXau.so.6.0.0
7fdcfd147000-7fdcfd148000 r--p 00002000 08:05 3158612                    /nix/store/5jnnzqfxf6y7kq6npjqnrgn3c1j61xzm-libXau-1.0.8/lib/libXau.so.6.0.0
7fdcfd148000-7fdcfd149000 rw-p 00003000 08:05 3158612                    /nix/store/5jnnzqfxf6y7kq6npjqnrgn3c1j61xzm-libXau-1.0.8/lib/libXau.so.6.0.0
7fdcfd149000-7fdcfd171000 r-xp 00000000 08:05 1193310                    /nix/store/ji0fkcgpqwvb65l14wx9r1n8zm6n7d9s-libxcb-1.13.1/lib/libxcb.so.1.1.0
7fdcfd171000-7fdcfd370000 ---p 00028000 08:05 1193310                    /nix/store/ji0fkcgpqwvb65l14wx9r1n8zm6n7d9s-libxcb-1.13.1/lib/libxcb.so.1.1.0
7fdcfd370000-7fdcfd371000 r--p 00027000 08:05 1193310                    /nix/store/ji0fkcgpqwvb65l14wx9r1n8zm6n7d9s-libxcb-1.13.1/lib/libxcb.so.1.1.0
7fdcfd371000-7fdcfd372000 rw-p 00028000 08:05 1193310                    /nix/store/ji0fkcgpqwvb65l14wx9r1n8zm6n7d9s-libxcb-1.13.1/lib/libxcb.so.1.1.0
7fdcfd372000-7fdcfd4ad000 r-xp 00000000 08:05 3158766                    /nix/store/xfd6ip748l4vkym372s7sww1x22nwr06-libX11-1.6.7/lib/libX11.so.6.3.0
7fdcfd4ad000-7fdcfd6ad000 ---p 0013b000 08:05 3158766                    /nix/store/xfd6ip748l4vkym372s7sww1x22nwr06-libX11-1.6.7/lib/libX11.so.6.3.0
7fdcfd6ad000-7fdcfd6ae000 r--p 0013b000 08:05 3158766                    /nix/store/xfd6ip748l4vkym372s7sww1x22nwr06-libX11-1.6.7/lib/libX11.so.6.3.0
7fdcfd6ae000-7fdcfd6b3000 rw-p 0013c000 08:05 3158766                    /nix/store/xfd6ip748l4vkym372s7sww1x22nwr06-libX11-1.6.7/lib/libX11.so.6.3.0
7fdcfd6b3000-7fdcfd6c4000 r-xp 00000000 08:05 1193326                    /nix/store/0ympzp3qwdkq1ms8nbv5fv06yj5ayjdl-libXext-1.3.3/lib/libXext.so.6.4.0
7fdcfd6c4000-7fdcfd8c4000 ---p 00011000 08:05 1193326                    /nix/store/0ympzp3qwdkq1ms8nbv5fv06yj5ayjdl-libXext-1.3.3/lib/libXext.so.6.4.0
7fdcfd8c4000-7fdcfd8c5000 r--p 00011000 08:05 1193326                    /nix/store/0ympzp3qwdkq1ms8nbv5fv06yj5ayjdl-libXext-1.3.3/lib/libXext.so.6.4.0
7fdcfd8c5000-7fdcfd8c6000 rw-p 00012000 08:05 1193326                    /nix/store/0ympzp3qwdkq1ms8nbv5fv06yj5ayjdl-libXext-1.3.3/lib/libXext.so.6.4.0
7fdcfd8c6000-7fdcfd8ce000 r-xp 00000000 08:05 1193140                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libcrypt-2.27.so
7fdcfd8ce000-7fdcfdace000 ---p 00008000 08:05 1193140                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libcrypt-2.27.so
7fdcfdace000-7fdcfdacf000 r--p 00008000 08:05 1193140                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libcrypt-2.27.so
7fdcfdacf000-7fdcfdad0000 rw-p 00009000 08:05 1193140                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libcrypt-2.27.so
7fdcfdad0000-7fdcfdafe000 rw-p 00000000 00:00 0 
7fdcfdafe000-7fdcfdb0e000 r-xp 00000000 08:05 3802539                    /nix/store/dkdifbfqqnih7pkcq97nvam33xfm6wsr-avahi-0.7/lib/libavahi-client.so.3.2.9
7fdcfdb0e000-7fdcfdd0e000 ---p 00010000 08:05 3802539                    /nix/store/dkdifbfqqnih7pkcq97nvam33xfm6wsr-avahi-0.7/lib/libavahi-client.so.3.2.9
7fdcfdd0e000-7fdcfdd0f000 r--p 00010000 08:05 3802539                    /nix/store/dkdifbfqqnih7pkcq97nvam33xfm6wsr-avahi-0.7/lib/libavahi-client.so.3.2.9
7fdcfdd0f000-7fdcfdd10000 rw-p 00011000 08:05 3802539                    /nix/store/dkdifbfqqnih7pkcq97nvam33xfm6wsr-avahi-0.7/lib/libavahi-client.so.3.2.9
7fdcfdd10000-7fdcfdd1c000 r-xp 00000000 08:05 3802543                    /nix/store/dkdifbfqqnih7pkcq97nvam33xfm6wsr-avahi-0.7/lib/libavahi-common.so.3.5.3
7fdcfdd1c000-7fdcfdf1b000 ---p 0000c000 08:05 3802543                    /nix/store/dkdifbfqqnih7pkcq97nvam33xfm6wsr-avahi-0.7/lib/libavahi-common.so.3.5.3
7fdcfdf1b000-7fdcfdf1c000 r--p 0000b000 08:05 3802543                    /nix/store/dkdifbfqqnih7pkcq97nvam33xfm6wsr-avahi-0.7/lib/libavahi-common.so.3.5.3
7fdcfdf1c000-7fdcfdf1d000 rw-p 0000c000 08:05 3802543                    /nix/store/dkdifbfqqnih7pkcq97nvam33xfm6wsr-avahi-0.7/lib/libavahi-common.so.3.5.3
7fdcfdf1d000-7fdcfe06b000 r-xp 00000000 08:05 1331787                    /nix/store/6s135y1341ip077r6r8p0ifkb0kqfck2-gnutls-3.6.2/lib/libgnutls.so.30.20.2
7fdcfe06b000-7fdcfe26b000 ---p 0014e000 08:05 1331787                    /nix/store/6s135y1341ip077r6r8p0ifkb0kqfck2-gnutls-3.6.2/lib/libgnutls.so.30.20.2
7fdcfe26b000-7fdcfe279000 r--p 0014e000 08:05 1331787                    /nix/store/6s135y1341ip077r6r8p0ifkb0kqfck2-gnutls-3.6.2/lib/libgnutls.so.30.20.2
7fdcfe279000-7fdcfe27a000 rw-p 0015c000 08:05 1331787                    /nix/store/6s135y1341ip077r6r8p0ifkb0kqfck2-gnutls-3.6.2/lib/libgnutls.so.30.20.2
7fdcfe27a000-7fdcfe27b000 rw-p 00000000 00:00 0 
7fdcfe27b000-7fdcfe2aa000 r-xp 00000000 08:05 3335565                    /nix/store/dxiswg6gy3m4x32syhwwg7w0mj6i6jig-expat-2.2.6/lib/libexpat.so.1.6.8
7fdcfe2aa000-7fdcfe4aa000 ---p 0002f000 08:05 3335565                    /nix/store/dxiswg6gy3m4x32syhwwg7w0mj6i6jig-expat-2.2.6/lib/libexpat.so.1.6.8
7fdcfe4aa000-7fdcfe4ac000 r--p 0002f000 08:05 3335565                    /nix/store/dxiswg6gy3m4x32syhwwg7w0mj6i6jig-expat-2.2.6/lib/libexpat.so.1.6.8
7fdcfe4ac000-7fdcfe4ad000 rw-p 00031000 08:05 3335565                    /nix/store/dxiswg6gy3m4x32syhwwg7w0mj6i6jig-expat-2.2.6/lib/libexpat.so.1.6.8
7fdcfe4ad000-7fdcfe640000 r-xp 00000000 08:05 1193148                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libm-2.27.so
7fdcfe640000-7fdcfe840000 ---p 00193000 08:05 1193148                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libm-2.27.so
7fdcfe840000-7fdcfe841000 r--p 00193000 08:05 1193148                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libm-2.27.so
7fdcfe841000-7fdcfe842000 rw-p 00194000 08:05 1193148                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libm-2.27.so
7fdcfe842000-7fdcfe877000 r-xp 00000000 08:05 1193386                    /nix/store/px5w0kjsn31dcs1zscqss8zjxkb9j45m-libpng-apng-1.6.35/lib/libpng16.so.16.35.0
7fdcfe877000-7fdcfea77000 ---p 00035000 08:05 1193386                    /nix/store/px5w0kjsn31dcs1zscqss8zjxkb9j45m-libpng-apng-1.6.35/lib/libpng16.so.16.35.0
7fdcfea77000-7fdcfea78000 r--p 00035000 08:05 1193386                    /nix/store/px5w0kjsn31dcs1zscqss8zjxkb9j45m-libpng-apng-1.6.35/lib/libpng16.so.16.35.0
7fdcfea78000-7fdcfea79000 rw-p 00036000 08:05 1193386                    /nix/store/px5w0kjsn31dcs1zscqss8zjxkb9j45m-libpng-apng-1.6.35/lib/libpng16.so.16.35.0
7fdcfea79000-7fdcfea88000 r-xp 00000000 08:05 1074856                    /nix/store/40ql7v4ai08wm61xps1kh5s4issc3yb8-bzip2-1.0.6.0.1/lib/libbz2.so.1.0.6
7fdcfea88000-7fdcfec87000 ---p 0000f000 08:05 1074856                    /nix/store/40ql7v4ai08wm61xps1kh5s4issc3yb8-bzip2-1.0.6.0.1/lib/libbz2.so.1.0.6
7fdcfec87000-7fdcfec88000 r--p 0000e000 08:05 1074856                    /nix/store/40ql7v4ai08wm61xps1kh5s4issc3yb8-bzip2-1.0.6.0.1/lib/libbz2.so.1.0.6
7fdcfec88000-7fdcfec89000 rw-p 0000f000 08:05 1074856                    /nix/store/40ql7v4ai08wm61xps1kh5s4issc3yb8-bzip2-1.0.6.0.1/lib/libbz2.so.1.0.6
7fdcfec89000-7fdcfed3a000 r-xp 00000000 08:05 2258329                    /nix/store/b0pqjv07ky71jlw9bjnw21lgyq39057q-freetype-2.9/lib/libfreetype.so.6.16.0
7fdcfed3a000-7fdcfef3a000 ---p 000b1000 08:05 2258329                    /nix/store/b0pqjv07ky71jlw9bjnw21lgyq39057q-freetype-2.9/lib/libfreetype.so.6.16.0
7fdcfef3a000-7fdcfef41000 r--p 000b1000 08:05 2258329                    /nix/store/b0pqjv07ky71jlw9bjnw21lgyq39057q-freetype-2.9/lib/libfreetype.so.6.16.0
7fdcfef41000-7fdcfef42000 rw-p 000b8000 08:05 2258329                    /nix/store/b0pqjv07ky71jlw9bjnw21lgyq39057q-freetype-2.9/lib/libfreetype.so.6.16.0
7fdcfef42000-7fdcfef7e000 r-xp 00000000 08:05 1331943                    /nix/store/ikmk2x3dwbw833v0v21vwn8hhmd9hhjf-gconf-3.2.6/lib/libgconf-2.so.4.1.5
7fdcfef7e000-7fdcff17e000 ---p 0003c000 08:05 1331943                    /nix/store/ikmk2x3dwbw833v0v21vwn8hhmd9hhjf-gconf-3.2.6/lib/libgconf-2.so.4.1.5
7fdcff17e000-7fdcff181000 r--p 0003c000 08:05 1331943                    /nix/store/ikmk2x3dwbw833v0v21vwn8hhmd9hhjf-gconf-3.2.6/lib/libgconf-2.so.4.1.5
7fdcff181000-7fdcff183000 rw-p 0003f000 08:05 1331943                    /nix/store/ikmk2x3dwbw833v0v21vwn8hhmd9hhjf-gconf-3.2.6/lib/libgconf-2.so.4.1.5
7fdcff183000-7fdcff1ea000 r-xp 00000000 08:05 1331954                    /nix/store/azyqbx5xk2w42qbvhvfmkpl3m7y6mib1-gnome-vfs-2.24.4/lib/libgnomevfs-2.so.0.2400.4
7fdcff1ea000-7fdcff3e9000 ---p 00067000 08:05 1331954                    /nix/store/azyqbx5xk2w42qbvhvfmkpl3m7y6mib1-gnome-vfs-2.24.4/lib/libgnomevfs-2.so.0.2400.4
7fdcff3e9000-7fdcff3ed000 r--p 00066000 08:05 1331954                    /nix/store/azyqbx5xk2w42qbvhvfmkpl3m7y6mib1-gnome-vfs-2.24.4/lib/libgnomevfs-2.so.0.2400.4
7fdcff3ed000-7fdcff3ee000 rw-p 0006a000 08:05 1331954                    /nix/store/azyqbx5xk2w42qbvhvfmkpl3m7y6mib1-gnome-vfs-2.24.4/lib/libgnomevfs-2.so.0.2400.4
7fdcff3ee000-7fdcff3ef000 rw-p 00000000 00:00 0 
7fdcff3ef000-7fdcff5b1000 r-xp 00000000 08:05 1193397                    /nix/store/k2cl7p0cnzvgz36fb7ibj4fpamdg3sax-glib-2.58.1/lib/libgio-2.0.so.0.5800.1
7fdcff5b1000-7fdcff7b1000 ---p 001c2000 08:05 1193397                    /nix/store/k2cl7p0cnzvgz36fb7ibj4fpamdg3sax-glib-2.58.1/lib/libgio-2.0.so.0.5800.1
7fdcff7b1000-7fdcff7b9000 r--p 001c2000 08:05 1193397                    /nix/store/k2cl7p0cnzvgz36fb7ibj4fpamdg3sax-glib-2.58.1/lib/libgio-2.0.so.0.5800.1
7fdcff7b9000-7fdcff7ba000 rw-p 001ca000 08:05 1193397                    /nix/store/k2cl7p0cnzvgz36fb7ibj4fpamdg3sax-glib-2.58.1/lib/libgio-2.0.so.0.5800.1
7fdcff7ba000-7fdcff7bc000 rw-p 00000000 00:00 0 
7fdcff7bc000-7fdcffbf6000 r-xp 00000000 08:05 1331929                    /nix/store/zj90lr5yrrn8h886691cdl08lbnbby4j-gtk+-2.24.32/lib/libgtk-x11-2.0.so.0.2400.32
7fdcffbf6000-7fdcffdf6000 ---p 0043a000 08:05 1331929                    /nix/store/zj90lr5yrrn8h886691cdl08lbnbby4j-gtk+-2.24.32/lib/libgtk-x11-2.0.so.0.2400.32
7fdcffdf6000-7fdcffe00000 r--p 0043a000 08:05 1331929                    /nix/store/zj90lr5yrrn8h886691cdl08lbnbby4j-gtk+-2.24.32/lib/libgtk-x11-2.0.so.0.2400.32
7fdcffe00000-7fdcffe01000 rw-p 00444000 08:05 1331929                    /nix/store/zj90lr5yrrn8h886691cdl08lbnbby4j-gtk+-2.24.32/lib/libgtk-x11-2.0.so.0.2400.32
7fdcffe01000-7fdcffe03000 rw-p 00000000 00:00 0 
7fdcffe03000-7fdcffe25000 r-xp 00000000 08:05 3801526                    /nix/store/9zpb2g67f8jrh48fb20zai2angzqn6gf-file-5.35/lib/libmagic.so.1.0.0
7fdcffe25000-7fdd00024000 ---p 00022000 08:05 3801526                    /nix/store/9zpb2g67f8jrh48fb20zai2angzqn6gf-file-5.35/lib/libmagic.so.1.0.0
7fdd00024000-7fdd00026000 r--p 00021000 08:05 3801526                    /nix/store/9zpb2g67f8jrh48fb20zai2angzqn6gf-file-5.35/lib/libmagic.so.1.0.0
7fdd00026000-7fdd00027000 rw-p 00023000 08:05 3801526                    /nix/store/9zpb2g67f8jrh48fb20zai2angzqn6gf-file-5.35/lib/libmagic.so.1.0.0
7fdd00027000-7fdd00031000 r-xp 00000000 08:05 3683184                    /nix/store/dv5i0p8844fl6a9rzw1bcmckga9wp2ny-libXrandr-1.5.1/lib/libXrandr.so.2.2.0
7fdd00031000-7fdd00230000 ---p 0000a000 08:05 3683184                    /nix/store/dv5i0p8844fl6a9rzw1bcmckga9wp2ny-libXrandr-1.5.1/lib/libXrandr.so.2.2.0
7fdd00230000-7fdd00231000 r--p 00009000 08:05 3683184                    /nix/store/dv5i0p8844fl6a9rzw1bcmckga9wp2ny-libXrandr-1.5.1/lib/libXrandr.so.2.2.0
7fdd00231000-7fdd00232000 rw-p 0000a000 08:05 3683184                    /nix/store/dv5i0p8844fl6a9rzw1bcmckga9wp2ny-libXrandr-1.5.1/lib/libXrandr.so.2.2.0
7fdd00232000-7fdd00234000 r-xp 00000000 08:05 1193373                    /nix/store/1q1g74swhk2h60b5bidnxnrdd4hphspb-libXinerama-1.1.4/lib/libXinerama.so.1.0.0
7fdd00234000-7fdd00433000 ---p 00002000 08:05 1193373                    /nix/store/1q1g74swhk2h60b5bidnxnrdd4hphspb-libXinerama-1.1.4/lib/libXinerama.so.1.0.0
7fdd00433000-7fdd00434000 r--p 00001000 08:05 1193373                    /nix/store/1q1g74swhk2h60b5bidnxnrdd4hphspb-libXinerama-1.1.4/lib/libXinerama.so.1.0.0
7fdd00434000-7fdd00435000 rw-p 00002000 08:05 1193373                    /nix/store/1q1g74swhk2h60b5bidnxnrdd4hphspb-libXinerama-1.1.4/lib/libXinerama.so.1.0.0
7fdd00435000-7fdd004a9000 r-xp 00000000 08:05 1978907                    /nix/store/m0p17np4sdwq14jjsl3605zw9i42y7f3-cups-2.2.6-lib/lib/libcups.so.2
7fdd004a9000-7fdd006a9000 ---p 00074000 08:05 1978907                    /nix/store/m0p17np4sdwq14jjsl3605zw9i42y7f3-cups-2.2.6-lib/lib/libcups.so.2
7fdd006a9000-7fdd006b2000 r--p 00074000 08:05 1978907                    /nix/store/m0p17np4sdwq14jjsl3605zw9i42y7f3-cups-2.2.6-lib/lib/libcups.so.2
7fdd006b2000-7fdd006b3000 rw-p 0007d000 08:05 1978907                    /nix/store/m0p17np4sdwq14jjsl3605zw9i42y7f3-cups-2.2.6-lib/lib/libcups.so.2
7fdd006b3000-7fdd006f2000 r-xp 00000000 08:05 1075004                    /nix/store/ngipd3p6yd5l82af22hs6i3n5mswk1pa-fontconfig-2.12.6-lib/lib/libfontconfig.so.1.10.1
7fdd006f2000-7fdd008f2000 ---p 0003f000 08:05 1075004                    /nix/store/ngipd3p6yd5l82af22hs6i3n5mswk1pa-fontconfig-2.12.6-lib/lib/libfontconfig.so.1.10.1
7fdd008f2000-7fdd008f4000 r--p 0003f000 08:05 1075004                    /nix/store/ngipd3p6yd5l82af22hs6i3n5mswk1pa-fontconfig-2.12.6-lib/lib/libfontconfig.so.1.10.1
7fdd008f4000-7fdd008f9000 rw-p 00041000 08:05 1075004                    /nix/store/ngipd3p6yd5l82af22hs6i3n5mswk1pa-fontconfig-2.12.6-lib/lib/libfontconfig.so.1.10.1
7fdd008f9000-7fdd00aa3000 r-xp 00000000 08:05 1193133                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libc-2.27.so
7fdd00aa3000-7fdd00ca3000 ---p 001aa000 08:05 1193133                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libc-2.27.so
7fdd00ca3000-7fdd00ca7000 r--p 001aa000 08:05 1193133                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libc-2.27.so
7fdd00ca7000-7fdd00ca9000 rw-p 001ae000 08:05 1193133                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libc-2.27.so
7fdd00ca9000-7fdd00cad000 rw-p 00000000 00:00 0 
7fdd00cad000-7fdd00cb0000 r-xp 00000000 08:05 1193143                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libdl-2.27.so
7fdd00cb0000-7fdd00eaf000 ---p 00003000 08:05 1193143                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libdl-2.27.so
7fdd00eaf000-7fdd00eb0000 r--p 00002000 08:05 1193143                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libdl-2.27.so
7fdd00eb0000-7fdd00eb1000 rw-p 00003000 08:05 1193143                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libdl-2.27.so
7fdd00eb1000-7fdd00ebf000 r-xp 00000000 08:05 1193649                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/jli/libjli.so
7fdd00ebf000-7fdd010be000 ---p 0000e000 08:05 1193649                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/jli/libjli.so
7fdd010be000-7fdd010bf000 r--p 0000d000 08:05 1193649                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/jli/libjli.so
7fdd010bf000-7fdd010c0000 rw-p 0000e000 08:05 1193649                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/jli/libjli.so
7fdd010c0000-7fdd010c3000 rw-p 00011000 08:05 1193649                    /nix/store/4cihgby76z52vfhd65x2ms69i62lysqv-openjdk-8u192b26-jre/lib/openjdk/jre/lib/amd64/jli/libjli.so
7fdd010c3000-7fdd010de000 r-xp 00000000 08:05 3801253                    /nix/store/nsrwlly5ikwhppcslaazp547kh7q7j6s-zlib-1.2.11/lib/libz.so.1.2.11
7fdd010de000-7fdd012dd000 ---p 0001b000 08:05 3801253                    /nix/store/nsrwlly5ikwhppcslaazp547kh7q7j6s-zlib-1.2.11/lib/libz.so.1.2.11
7fdd012dd000-7fdd012de000 r--p 0001a000 08:05 3801253                    /nix/store/nsrwlly5ikwhppcslaazp547kh7q7j6s-zlib-1.2.11/lib/libz.so.1.2.11
7fdd012de000-7fdd012df000 rw-p 0001b000 08:05 3801253                    /nix/store/nsrwlly5ikwhppcslaazp547kh7q7j6s-zlib-1.2.11/lib/libz.so.1.2.11
7fdd012df000-7fdd012f8000 r-xp 00000000 08:05 1193181                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libpthread-2.27.so
7fdd012f8000-7fdd014f8000 ---p 00019000 08:05 1193181                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libpthread-2.27.so
7fdd014f8000-7fdd014f9000 r--p 00019000 08:05 1193181                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libpthread-2.27.so
7fdd014f9000-7fdd014fa000 rw-p 0001a000 08:05 1193181                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/libpthread-2.27.so
7fdd014fa000-7fdd014fe000 rw-p 00000000 00:00 0 
7fdd014fe000-7fdd01523000 r-xp 00000000 08:05 1193124                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/ld-2.27.so
7fdd01523000-7fdd01524000 r--s 00000000 08:05 1256817                    /nix/store/sddmk8wzfphi014p12lzly5k19nlj6xk-fc-cache/955b2110c1b750a4910bb3a8ac3a685b-x86_64.cache-7
7fdd01524000-7fdd01526000 r--s 0000c000 08:05 3804746                    /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/jortho-1.0-2/jortho.jar
7fdd01526000-7fdd0152c000 r--s 00046000 08:05 3804675                    /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/jfreechart-1.0.14-1/lib/jcommon-1.0.18.jar
7fdd0152c000-7fdd01538000 r--s 00105000 08:05 3804674                    /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/jfreechart-1.0.14-1/lib/iText-2.1.5.jar
7fdd01538000-7fdd015b3000 rw-p 00000000 00:00 0 
7fdd015b3000-7fdd015b4000 ---p 00000000 00:00 0 
7fdd015b4000-7fdd016b4000 rw-p 00000000 00:00 0 
7fdd016b4000-7fdd016bc000 rw-s 00000000 08:05 4063250                    /tmp/hsperfdata_tim/2957
7fdd016bc000-7fdd016f1000 r--s 00000000 00:13 290226                     /run/nscd/dbMNRxjr (deleted)
7fdd016f1000-7fdd016f2000 rw-p 00000000 00:00 0 
7fdd016f2000-7fdd016f3000 r--p 00000000 00:00 0 
7fdd016f3000-7fdd01722000 rw-p 00000000 00:00 0 
7fdd01722000-7fdd01723000 r--p 00024000 08:05 1193124                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/ld-2.27.so
7fdd01723000-7fdd01724000 rw-p 00025000 08:05 1193124                    /nix/store/xdsjx0gba4id3yyqxv66bxnm2sqixkjj-glibc-2.27/lib/ld-2.27.so
7fdd01724000-7fdd01725000 rw-p 00000000 00:00 0 
7ffcb6751000-7ffcb677b000 rw-p 00000000 00:00 0                          [stack]
7ffcb6797000-7ffcb679a000 r--p 00000000 00:00 0                          [vvar]
7ffcb679a000-7ffcb679c000 r-xp 00000000 00:00 0                          [vdso]
ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0                  [vsyscall]

VM Arguments:
jvm_args: -Dfile.encoding=UTF-8 -Disabelle.threads=0 -Duser.language=en -Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle -Xms512m -Xmx2560m -Xss8m 
java_command: isabelle.Main
java_class_path (initial): /nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/lib/classes/Pure.jar:/nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/jfreechart-1.0.14-1/lib/iText-2.1.5.jar:/nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/jfreechart-1.0.14-1/lib/jcommon-1.0.18.jar:/nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/jfreechart-1.0.14-1/lib/jfreechart-1.0.14.jar:/nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/jortho-1.0-2/jortho.jar:/nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/postgresql-42.1.4/postgresql-42.1.4.jar:/nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/scala-2.12.3/lib/jline-2.14.4.jar:/nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/scala-2.12.3/lib/scala-compiler.jar:/nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/scala-2.12.3/lib/scala-library.jar:/nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/scala-2.12.3/lib/scalap-2.12.3.jar:/nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/scala-2.12.3/lib/scala-parser-combinators_2.12-1.0.6.jar:/nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/scala-2.12.3/lib/scala-reflect.jar:/nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/scala-2.12.3/lib/scala-swing_2.12-2.0.0.jar:/nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/scala-2.12.3/lib/scala-xml_2.12-1.0.6.jar:/nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/ssh-java-20161009/lib/jsch-0.1.54.jar:/nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/ssh-java-20161009/lib/jzlib-1.1.3.jar:/nix/store/vpxcvzq91ki3ssb4mjsblrqnhfyg3b0l-isabelle-2017/Isabelle2017/contrib/ssh-java-20161009/lib/jce.ja
Launcher Type: SUN_STANDARD

[...]

Technical details

  • system: "x86_64-linux"
  • host os: Linux 4.14.101, NixOS, 18.09.2211.19a0543c628 (Jellyfish)
  • multi-user?: yes
  • sandbox: yes
  • version: nix-env (Nix) 2.1.3
  • channels(tim): "nixos-unstable-19.03pre164581.ae002fe44e9"
  • channels(root): "nixos-18.09.2243.63a09881b67, nixos-unstable-19.03pre166987.bc41317e243, nixpkgs-unstable-19.03pre167327.11cf7d6e1ff"
  • nixpkgs: /nix/var/nix/profiles/per-user/root/channels/nixos
@timjb
Copy link
Contributor Author

timjb commented Feb 21, 2019

Running

$ strace -f -s 1000 -o prog.log isabelle jedit

I get

[...]
29302 openat(AT_FDCWD, "/nix/store/pmr1nba1x10fhnz7q7c75k9x6q6ccm5r-librsvg-2.42.4/lib/gdk-pixbuf-2.0/2.10.0/loaders.cache", O_RDONLY) = 203
29302 fstat(203, {st_mode=S_IFREG|0444, st_size=4487, ...}) = 0
29302 read(203, "# GdkPixbuf Image Loader Modules file\n# Automatically generated file, do not edit\n# Created by gdk-pixbuf-query-loaders from gdk-pixbuf-2.36.12\n#\n# LoaderDir = /nix/store/wlyz5v3q2rv2wagrzv5qnvppbbzq30a4-gdk-pixbuf-2.36.12/lib/gdk-pixbuf-2.0/2.10.0/loaders\n#\n\"/nix/store/wlyz5v3q2rv2wagrzv5qnvppbbzq30a4-gdk-pixbuf-2.36.12/lib/gdk-pixbuf-2.0/2.10.0/loaders/libpixbufloader-ani.so\"\n\"ani\" 4 \"gdk-pixbuf\" \"Windows animated cursor\" \"LGPL\"\n\"application/x-navi-animation\" \"\"\n\"ani\" \"\"\n\"RIFF    ACON\" \"    xxxx    \" 100\n\n\"/nix/store/wlyz5v3q2rv2wagrzv5qnvppbbzq30a4-gdk-pixbuf-2.36.12/lib/gdk-pixbuf-2.0/2.10.0/loaders/libpixbufloader-bmp.so\"\n\"bmp\" 5 \"gdk-pixbuf\" \"BMP\" \"LGPL\"\n\"image/bmp\" \"image/x-bmp\" \"image/x-MS-bmp\" \"\"\n\"bmp\" \"\"\n\"BM\" \"\" 100\n\n\"/nix/store/wlyz5v3q2rv2wagrzv5qnvppbbzq30a4-gdk-pixbuf-2.36.12/lib/gdk-pixbuf-2.0/2.10.0/loaders/libpixbufloader-gif.so\"\n\"gif\" 4 \"gdk-pixbuf\" \"GIF\" \"LGPL\"\n\"image/gif\" \"\"\n\"gif\" \"\"\n\"GIF8\" \"\" 100\n\n\"/nix/store/wlyz5v3q2rv2wagrzv5qnvppbbzq30a4-gdk-pixbuf-2.36.12/lib/"..., 1024) = 1024
29302 read(203, "aders/libpixbufloader-icns.so\"\n\"icns\" 4 \"gdk-pixbuf\" \"MacOS X icon\" \"GPL\"\n\"image/x-icns\" \"\"\n\"icns\" \"\"\n\"icns\" \"\" 100\n\n\"/nix/store/wlyz5v3q2rv2wagrzv5qnvppbbzq30a4-gdk-pixbuf-2.36.12/lib/gdk-pixbuf-2.0/2.10.0/loaders/libpixbufloader-ico.so\"\n\"ico\" 5 \"gdk-pixbuf\" \"Windows icon\" \"LGPL\"\n\"image/x-icon\" \"image/x-ico\" \"image/x-win-bitmap\" \"image/vnd.microsoft.icon\" \"application/ico\" \"image/ico\" \"image/icon\" \"text/ico\" \"\"\n\"ico\" \"cur\" \"\"\n\"  \\001   \" \"zz znz\" 100\n\"  \\002   \" \"zz znz\" 100\n\n\"/nix/store/wlyz5v3q2rv2wagrzv5qnvppbbzq30a4-gdk-pixbuf-2.36.12/lib/gdk-pixbuf-2.0/2.10.0/loaders/libpixbufloader-jasper.so\"\n\"jpeg2000\" 4 \"gdk-pixbuf\" \"JPEG 2000\" \"LGPL\"\n\"image/jp2\" \"image/jpeg2000\" \"image/jpx\" \"\"\n\"jp2\" \"jpc\" \"jpx\" \"j2k\" \"jpf\" \"\"\n\"    jP\" \"!!!!  \" 100\n\"\\377O\\377Q\" \"\" 100\n\n\"/nix/store/wlyz5v3q2rv2wagrzv5qnvppbbzq30a4-gdk-pixbuf-2.36.12/lib/gdk-pixbuf-2.0/2.10.0/loaders/libpixbufloader-jpeg.so\"\n\"jpeg\" 5 \"gdk-pixbuf\" \"JPEG\" \"LGPL\"\n\"image/jpeg\" \"\"\n\"jpeg\" \"jpe\" \"jpg\" \"\"\n\"\\377\\330\" \"\" 100\n\n\"/nix/store/"..., 1024) = 1024
29302 read(203, "bbzq30a4-gdk-pixbuf-2.36.12/lib/gdk-pixbuf-2.0/2.10.0/loaders/libpixbufloader-png.so\"\n\"png\" 5 \"gdk-pixbuf\" \"PNG\" \"LGPL\"\n\"image/png\" \"\"\n\"png\" \"\"\n\"\\211PNG\\r\\n\\032\\n\" \"\" 100\n\n\"/nix/store/wlyz5v3q2rv2wagrzv5qnvppbbzq30a4-gdk-pixbuf-2.36.12/lib/gdk-pixbuf-2.0/2.10.0/loaders/libpixbufloader-pnm.so\"\n\"pnm\" 4 \"gdk-pixbuf\" \"PNM/PBM/PGM/PPM\" \"LGPL\"\n\"image/x-portable-anymap\" \"image/x-portable-bitmap\" \"image/x-portable-graymap\" \"image/x-portable-pixmap\" \"\"\n\"pnm\" \"pbm\" \"pgm\" \"ppm\" \"\"\n\"P1\" \"\" 100\n\"P2\" \"\" 100\n\"P3\" \"\" 100\n\"P4\" \"\" 100\n\"P5\" \"\" 100\n\"P6\" \"\" 100\n\n\"/nix/store/wlyz5v3q2rv2wagrzv5qnvppbbzq30a4-gdk-pixbuf-2.36.12/lib/gdk-pixbuf-2.0/2.10.0/loaders/libpixbufloader-qtif.so\"\n\"qtif\" 4 \"gdk-pixbuf\" \"QuickTime\" \"LGPL\"\n\"image/x-quicktime\" \"image/qtif\" \"\"\n\"qtif\" \"qif\" \"\"\n\"abcdidsc\" \"xxxx    \" 100\n\"abcdidat\" \"xxxx    \" 100\n\n\"/nix/store/wlyz5v3q2rv2wagrzv5qnvppbbzq30a4-gdk-pixbuf-2.36.12/lib/gdk-pixbuf-2.0/2.10.0/loaders/libpixbufloader-tga.so\"\n\"tga\" 4 \"gdk-pixbuf\" \"Targa\" \"LGPL\"\n\"image/x-tga\" \"\"\n\"tga\" \"t"..., 1024) = 1024
29302 read(203, " \" 100\n\" \\001\\t\" \"x  \" 100\n\"  \\002\" \"xz \" 99\n\"  \\003\" \"xz \" 100\n\"  \\n\" \"xz \" 100\n\"  \\v\" \"xz \" 100\n\n\"/nix/store/wlyz5v3q2rv2wagrzv5qnvppbbzq30a4-gdk-pixbuf-2.36.12/lib/gdk-pixbuf-2.0/2.10.0/loaders/libpixbufloader-tiff.so\"\n\"tiff\" 5 \"gdk-pixbuf\" \"TIFF\" \"LGPL\"\n\"image/tiff\" \"\"\n\"tiff\" \"tif\" \"\"\n\"MM *\" \"  z \" 100\n\"II* \" \"   z\" 100\n\"II* \\020   CR\\002 \" \"   z zzz   z\" 0\n\n\"/nix/store/wlyz5v3q2rv2wagrzv5qnvppbbzq30a4-gdk-pixbuf-2.36.12/lib/gdk-pixbuf-2.0/2.10.0/loaders/libpixbufloader-xbm.so\"\n\"xbm\" 4 \"gdk-pixbuf\" \"XBM\" \"LGPL\"\n\"image/x-xbitmap\" \"\"\n\"xbm\" \"\"\n\"#define \" \"\" 100\n\"/*\" \"\" 50\n\n\"/nix/store/wlyz5v3q2rv2wagrzv5qnvppbbzq30a4-gdk-pixbuf-2.36.12/lib/gdk-pixbuf-2.0/2.10.0/loaders/libpixbufloader-xpm.so\"\n\"xpm\" 4 \"gdk-pixbuf\" \"XPM\" \"LGPL\"\n\"image/x-xpixmap\" \"\"\n\"xpm\" \"\"\n\"/* XPM */\" \"\" 100\n\n# GdkPixbuf Image Loader Modules file\n# Automatically generated file, do not edit\n# Created by gdk-pixbuf-query-loaders from gdk-pixbuf-2.36.12\n#\n# LoaderDir = /nix/store/pmr1nba1x10fhnz7q7c75k9x6q6ccm5r-librsvg-2"..., 1024) = 1024
29302 read(203, "/2.10.0/loaders\n#\n\"/nix/store/pmr1nba1x10fhnz7q7c75k9x6q6ccm5r-librsvg-2.42.4/lib/gdk-pixbuf-2.0/2.10.0/loaders/libpixbufloader-svg.so\"\n\"svg\" 6 \"gdk-pixbuf\" \"Scalable Vector Graphics\" \"LGPL\"\n\"image/svg+xml\" \"image/svg\" \"image/svg-xml\" \"image/vnd.adobe.svg+xml\" \"text/xml-svg\" \"image/svg+xml-compressed\" \"\"\n\"svg\" \"svgz\" \"svg.gz\" \"\"\n\" <svg\" \"*    \" 100\n\" <!DOCTYPE svg\" \"*             \" 100\n\n\n", 1024) = 391
29302 read(203, "", 1024)               = 0
29302 close(203)                        = 0
29302 stat("/nix/store/wlyz5v3q2rv2wagrzv5qnvppbbzq30a4-gdk-pixbuf-2.36.12/lib/gdk-pixbuf-2.0/2.10.0/loaders/libpixbufloader-png.so", {st_mode=S_IFREG|0555, st_size=32992, ...}) = 0
29302 openat(AT_FDCWD, "/nix/store/wlyz5v3q2rv2wagrzv5qnvppbbzq30a4-gdk-pixbuf-2.36.12/lib/gdk-pixbuf-2.0/2.10.0/loaders/libpixbufloader-png.so", O_RDONLY|O_CLOEXEC) = 203
29302 read(203, "\177ELF\2\1\1\0\0\0\0\0\0\0\0\0\3\0>\0\1\0\0\0@%\0\0\0\0\0\0@\0\0\0\0\0\0\0\340y\0\0\0\0\0\0\0\0\0\0@\08\0\7\0@\0\34\0\33\0\1\0\0\0\5\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\364O\0\0\0\0\0\0\364O\0\0\0\0\0\0\0\0 \0\0\0\0\0\1\0\0\0\6\0\0\0\260Z\0\0\0\0\0\0\260Z \0\0\0\0\0\260Z \0\0\0\0\0\200\5\0\0\0\0\0\0\210\5\0\0\0\0\0\0\0\0 \0\0\0\0\0\2\0\0\0\6\0\0\0\360Z\0\0\0\0\0\0\360Z \0\0\0\0\0\360Z \0\0\0\0\0p\2\0\0\0\0\0\0p\2\0\0\0\0\0\0\10\0\0\0\0\0\0\0P\345td\4\0\0\0hJ\0\0\0\0\0\0hJ\0\0\0\0\0\0hJ\0\0\0\0\0\0\314\0\0\0\0\0\0\0\314\0\0\0\0\0\0\0\4\0\0\0\0\0\0\0Q\345td\6\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\20\0\0\0\0\0\0\0R\345td\4\0\0\0\260Z\0\0\0\0\0\0\260Z \0\0\0\0\0\260Z \0\0\0\0\0P\5\0\0\0\0\0\0P\5\0\0\0\0\0\0\1\0\0\0\0\0\0\0\200\25\4e\0(\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\10\0\0\0\0\0\0\0\247\0\0\0X\0\0\0\0\0\0\0\20\0\0\0\0\0\0\0\0\0\0\0W\0\0\0\0\0\0\09\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0!\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0004\0\0\0\25\0\0\0\37\0\0\0\5\0\0\0\0\0\0\0G\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0)\0\0\0\0\0\0\0C\0\0\0\0\0\0\0N\0\0\0\27\0\0\0\24\0\0\0M\0\0\0B\0\0\0>\0\0\0\0\0\0\0006\0\0\0\0\0\0\0005\0\0\0S\0\0\0\0\0\0\0 \0\0\0\2\0\0\0\0\0\0\0#\0\0\0O\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0(\0\0\0\0\0\0\0D\0\0\0&\0\0\0\n\0\0\0\v\0\0\0\0\0\0\0\0\0\0\0U\0\0\0\0\0\0\0\17\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\"\0\0\0\0\0\0\0\0\0\0\0007\0\0\0\0\0\0\0H\0\0\0<\0\0\0\0\0\0\0\0\0\0\0=\0\0\0;\0\0\0-\0\0\0?\0\0\0@\0\0\0\0\0\0\0\0\0\0\0L\0\0\0\0\0\0\0\16\0\0\0\3\0\0\0\0\0\0\0\0\0\0\0", 832) = 832
29302 fstat(203, {st_mode=S_IFREG|0555, st_size=32992, ...}) = 0
29302 mmap(NULL, 2121784, PROT_READ|PROT_EXEC, MAP_PRIVATE|MAP_DENYWRITE, 203, 0) = 0x7fd74824a000
29302 mprotect(0x7fd74824f000, 2097152, PROT_NONE) = 0
29302 mmap(0x7fd74844f000, 8192, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_FIXED|MAP_DENYWRITE, 203, 0x5000) = 0x7fd74844f000
29302 close(203)                        = 0
29302 mprotect(0x7fd74844f000, 4096, PROT_READ) = 0
29302 lseek(197, 0, SEEK_SET)           = 0
29302 read(197, "\211PNG\r\n\32\n\0\0\0\rIHDR\0\0\0\7\0\0\0\6\10\6\0\0\0\17\16\204v\0\0\0JIDATx\1c \10\244\345\344|\244\25\24\337I\313+\374\227QPx+-/\357\r\227\4\t\250hj\377W\327\321\373\257\242\251\365_F^\341\r\232\244\26DRC\33U\22d\f\3048\5\260\204\214\274\274\27A\267\0\0004\7\30^\311|\260\365\0\0\0\0IEND\256B`\202", 4096) = 131
29302 futex(0x7fd7932acf78, FUTEX_WAKE_PRIVATE, 2147483647) = 0
29302 openat(AT_FDCWD, "/nix/store/vyibwikjzxwr2l19xhz3b5zmrj73d8sw-gdk-pixbuf-2.38.0/share/locale/en_US.UTF-8/LC_MESSAGES/gdk-pixbuf.mo", O_RDONLY) = -1 ENOENT (No such file or directory)
29302 openat(AT_FDCWD, "/nix/store/vyibwikjzxwr2l19xhz3b5zmrj73d8sw-gdk-pixbuf-2.38.0/share/locale/en_US.utf8/LC_MESSAGES/gdk-pixbuf.mo", O_RDONLY) = -1 ENOENT (No such file or directory)
29302 openat(AT_FDCWD, "/nix/store/vyibwikjzxwr2l19xhz3b5zmrj73d8sw-gdk-pixbuf-2.38.0/share/locale/en_US/LC_MESSAGES/gdk-pixbuf.mo", O_RDONLY) = -1 ENOENT (No such file or directory)
29302 openat(AT_FDCWD, "/nix/store/vyibwikjzxwr2l19xhz3b5zmrj73d8sw-gdk-pixbuf-2.38.0/share/locale/en.UTF-8/LC_MESSAGES/gdk-pixbuf.mo", O_RDONLY) = -1 ENOENT (No such file or directory)
29302 openat(AT_FDCWD, "/nix/store/vyibwikjzxwr2l19xhz3b5zmrj73d8sw-gdk-pixbuf-2.38.0/share/locale/en.utf8/LC_MESSAGES/gdk-pixbuf.mo", O_RDONLY) = -1 ENOENT (No such file or directory)
29302 openat(AT_FDCWD, "/nix/store/vyibwikjzxwr2l19xhz3b5zmrj73d8sw-gdk-pixbuf-2.38.0/share/locale/en/LC_MESSAGES/gdk-pixbuf.mo", O_RDONLY) = -1 ENOENT (No such file or directory)
29302 futex(0x7fd7932acf78, FUTEX_WAKE_PRIVATE, 2147483647) = 0
29302 futex(0x7fd7932acf78, FUTEX_WAKE_PRIVATE, 2147483647) = 0
29302 --- SIGSEGV {si_signo=SIGSEGV, si_code=SEGV_MAPERR, si_addr=0x1c} ---
29302 rt_sigprocmask(SIG_UNBLOCK, [SEGV], NULL, 8) = 0
[...]

This looks quite similar to the strace output in #55048.

@samueldr
Copy link
Member

Yeah, the strace output pretty much confirms this is the same issue, mixed gdk-pixbuf, 2.36's png loader with 2.38's.

@das-g das-g mentioned this issue Feb 22, 2019
Open
@jtojnar
Copy link
Member

jtojnar commented Mar 21, 2019

Closing as a duplicate of #54278

@jtojnar jtojnar closed this as completed Mar 21, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@timjb @samueldr @jtojnar