PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb
MD5SUM	9a578fa18e88cebdbf227cdbb9fbab5f
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	84992
Optimality of the best value was proved	NO
Number of terms in the objective function	78
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073790975
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1024000000
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	2147979262
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1200.77
Number of variables	9464
Total number of constraints	2614
Number of constraints which are clauses	309
Number of constraints which are cardinality constraints (but not clauses)	794
Number of constraints which are nor clauses,nor cardinality constraints	1511
Minimum length of a constraint	1
Maximum length of a constraint	61
Trace number 42646

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 13:03:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25848 boxname=wulflinc2 idbench=1148 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9a578fa18e88cebdbf227cdbb9fbab5f  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-berlin_5_8_0.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-berlin_5_8_0.opb
IDLAUNCH: 25848
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        684552 kB
Buffers:         22448 kB
Cached:         304832 kB
SwapCached:       1432 kB
Active:          29188 kB
Inactive:       300192 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        684300 kB
SwapTotal:     2097136 kB
SwapFree:      2094708 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14816 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 13:23:07 (client local time) WITH STATUS 10 IN 1200.77 SECONDS
stats: 25848 0 1200.77 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 151552
c small objective detected
c CONFLICT during preprocess 
c [startup+15.4284 s]  setting bit 30 to 0
c CONFLICT during preprocess 
c [startup+16.0814 s]  setting bit 29 to 0
c CONFLICT during preprocess 
c [startup+16.723 s]  setting bit 28 to 0
c CONFLICT during preprocess 
c [startup+17.3657 s]  setting bit 27 to 0
c CONFLICT during preprocess 
c [startup+18.0068 s]  setting bit 26 to 0
c CONFLICT during preprocess 
c [startup+18.6494 s]  setting bit 25 to 0
c CONFLICT during preprocess 
c [startup+19.2906 s]  setting bit 24 to 0
c CONFLICT during preprocess 
c [startup+19.9335 s]  setting bit 23 to 0
c CONFLICT during preprocess 
c [startup+20.5746 s]  setting bit 22 to 0
c CONFLICT during preprocess 
c [startup+21.2168 s]  setting bit 21 to 0
c CONFLICT during preprocess 
c [startup+21.8587 s]  setting bit 20 to 0
c CONFLICT during preprocess 
c [startup+22.5012 s]  setting bit 19 to 0
c CONFLICT during preprocess 
c [startup+23.1431 s]  setting bit 18 to 0
c CONFLICT during preprocess 
c [startup+23.7862 s]  setting bit 17 to 0
c CONFLICT during preprocess 
c [startup+24.428 s]  setting bit 16 to 0

c Decision: 10862/172990	Time: 1167.05/86400s SATISFIABLE
v x1000_bit0 -x1000_bit1 x1000_bit10 x1000_bit11 x1000_bit12 x1000_bit13 x1000_bit14 x1000_bit15 -x1000_bit16 -x1000_bit17 -x1000_bit18 -x1000_bit19 x1000_bit2 -x1000_bit3 x1000_bit4 -x1000_bit5 x1000_bit6 x1000_bit7 x1000_bit8 x1000_bit9 x1000_bit_1 x1000_bit_10 x1000_bit_2 x1000_bit_3 x1000_bit_4 x1000_bit_5 x1000_bit_6 x1000_bit_7 x1000_bit_8 x1000_bit_9 x1001_bit0 -x1001_bit1 -x1001_bit10 -x1001_bit11 -x1001_bit12 -x1001_bit13 -x1001_bit14 -x1001_bit15 -x1001_bit16 -x1001_bit17 -x1001_bit18 x1001_bit19 -x1001_bit2 x1001_bit3 -x1001_bit4 -x1001_bit5 -x1001_bit6 x1001_bit7 -x1001_bit8 -x1001_bit9 x1001_bit_1 x1001_bit_10 -x1001_bit_2 -x1001_bit_3 x1001_bit_4 x1001_bit_5 x1001_bit_6 x1001_bit_7 x1001_bit_8 x1001_bit_9 x1002_bit0 x1002_bit1 -x1002_bit10 -x1002_bit11 -x1002_bit12 -x1002_bit13 -x1002_bit14 -x1002_bit15 -x1002_bit16 -x1002_bit17 -x1002_bit18 x1002_bit19 x1002_bit2 x1002_bit3 x1002_bit4 -x1002_bit5 -x1002_bit6 -x1002_bit7 -x1002_bit8 -x1002_bit9 x1002_bit_1 -x1002_bit_10 x1002_bit_2 -x1002_bit_3 x1002_bit_4 x1002_bit_5 -x1002_bit_6 x1002_bit_7 x1002_bit_8 x1002_bit_9 x1003_bit0 x1003_bit1 x1003_bit10 x1003_bit11 x1003_bit12 x1003_bit13 x1003_bit14 x1003_bit15 -x1003_bit16 -x1003_bit17 -x1003_bit18 -x1003_bit19 -x1003_bit2 x1003_bit3 x1003_bit4 -x1003_bit5 x1003_bit6 x1003_bit7 x1003_bit8 x1003_bit9 x1003_bit_1 x1003_bit_10 x1003_bit_2 x1003_bit_3 x1003_bit_4 x1003_bit_5 x1003_bit_6 x1003_bit_7 x1003_bit_8 x1003_bit_9 -x1004_bit0 x1004_bit1 x1004_bit10 x1004_bit11 x1004_bit12 x1004_bit13 x1004_bit14 x1004_bit15 -x1004_bit16 -x1004_bit17 -x1004_bit18 -x1004_bit19 x1004_bit2 x1004_bit3 -x1004_bit4 -x1004_bit5 x1004_bit6 x1004_bit7 x1004_bit8 x1004_bit9 x1004_bit_1 x1004_bit_10 x1004_bit_2 -x1004_bit_3 x1004_bit_4 x1004_bit_5 x1004_bit_6 x1004_bit_7 x1004_bit_8 x1004_bit_9 -x1005_bit0 x1005_bit1 x1005_bit10 x1005_bit11 x1005_bit12 x1005_bit13 x1005_bit14 x1005_bit15 x1005_bit16 x1005_bit17 x1005_bit18 -x1005_bit19 -x1005_bit2 -x1005_bit3 x1005_bit4 x1005_bit5 x1005_bit6 x1005_bit7 x1005_bit8 x1005_bit9 x1005_bit_1 -x1005_bit_10 x1005_bit_2 x1005_bit_3 x1005_bit_4 x1005_bit_5 x1005_bit_6 x1005_bit_7 x1005_bit_8 x1005_bit_9 x1006_bit0 x1006_bit1 -x1006_bit10 -x1006_bit11 -x1006_bit12 -x1006_bit13 -x1006_bit14 -x1006_bit15 x1006_bit16 -x1006_bit17 -x1006_bit18 -x1006_bit19 -x1006_bit2 x1006_bit3 -x1006_bit4 x1006_bit5 -x1006_bit6 -x1006_bit7 -x1006_bit8 -x1006_bit9 x1006_bit_1 x1006_bit_10 x1006_bit_2 x1006_bit_3 x1006_bit_4 x1006_bit_5 x1006_bit_6 x1006_bit_7 x1006_bit_8 x1006_bit_9 -x1007_bit0 -x1007_bit1 -x1007_bit10 -x1007_bit11 -x1007_bit12 -x1007_bit13 -x1007_bit14 -x1007_bit15 -x1007_bit16 -x1007_bit17 -x1007_bit18 x1007_bit19 -x1007_bit2 -x1007_bit3 x1007_bit4 x1007_bit5 -x1007_bit6 -x1007_bit7 -x1007_bit8 -x1007_bit9 -x1007_bit_1 x1007_bit_10 x1007_bit_2 x1007_bit_3 x1007_bit_4 x1007_bit_5 x1007_bit_6 x1007_bit_7 x1007_bit_8 x1007_bit_9 -x1008_bit0 x1008_bit1 x1008_bit10 x1008_bit11 x1008_bit12 x1008_bit13 x1008_bit14 x1008_bit15 x1008_bit16 x1008_bit17 x1008_bit18 -x1008_bit19 x1008_bit2 x1008_bit3 x1008_bit4 -x1008_bit5 x1008_bit6 x1008_bit7 x1008_bit8 x1008_bit9 x1008_bit_1 -x1008_bit_10 x1008_bit_2 x1008_bit_3 x1008_bit_4 x1008_bit_5 x1008_bit_6 x1008_bit_7 x1008_bit_8 x1008_bit_9 x1009_bit0 x1009_bit1 -x1009_bit10 -x1009_bit11 -x1009_bit12 -x1009_bit13 -x1009_bit14 -x1009_bit15 x1009_bit16 -x1009_bit17 -x1009_bit18 -x1009_bit19 -x1009_bit2 -x1009_bit3 x1009_bit4 x1009_bit5 -x1009_bit6 -x1009_bit7 -x1009_bit8 -x1009_bit9 x1009_bit_1 x1009_bit_10 x1009_bit_2 x1009_bit_3 x1009_bit_4 x1009_bit_5 x1009_bit_6 x1009_bit_7 x1009_bit_8 x1009_bit_9 -x100_bit0 x1010_bit0 x1010_bit1 -x1010_bit10 -x1010_bit11 -x1010_bit12 -x1010_bit13 -x1010_bit14 -x1010_bit15 x1010_bit16 -x1010_bit17 -x1010_bit18 -x1010_bit19 -x1010_bit2 x1010_bit3 -x1010_bit4 x1010_bit5 -x1010_bit6 -x1010_bit7 -x1010_bit8 -x1010_bit9 x1010_bit_1 x1010_bit_10 x1010_bit_2 x1010_bit_3 x1010_bit_4 x1010_bit_5 x1010_bit_6 x1010_bit_7 x1010_bit_8 x1010_bit_9 x1011_bit0 x1011_bit1 x1011_bit10 x1011_bit11 x1011_bit12 x1011_bit13 x1011_bit14 x1011_bit15 x1011_bit16 x1011_bit17 x1011_bit18 -x1011_bit19 -x1011_bit2 x1011_bit3 x1011_bit4 -x1011_bit5 x1011_bit6 x1011_bit7 x1011_bit8 x1011_bit9 x1011_bit_1 -x1011_bit_10 x1011_bit_2 x1011_bit_3 x1011_bit_4 x1011_bit_5 x1011_bit_6 x1011_bit_7 x1011_bit_8 x1011_bit_9 -x1012_bit0 x1012_bit1 -x1012_bit10 -x1012_bit11 -x1012_bit12 -x1012_bit13 -x1012_bit14 -x1012_bit15 x1012_bit16 -x1012_bit17 -x1012_bit18 -x1012_bit19 x1012_bit2 x1012_bit3 x1012_bit4 -x1012_bit5 -x1012_bit6 -x1012_bit7 -x1012_bit8 -x1012_bit9 x1012_bit_1 x1012_bit_10 x1012_bit_2 x1012_bit_3 x1012_bit_4 x1012_bit_5 x1012_bit_6 x1012_bit_7 x1012_bit_8 x1012_bit_9 -x1013_bit0 -x1013_bit1 -x1013_bit10 -x1013_bit11 -x1013_bit12 -x1013_bit13 -x1013_bit14 -x1013_bit15 -x1013_bit16 -x1013_bit17 -x1013_bit18 x1013_bit19 -x1013_bit2 x1013_bit3 -x1013_bit4 x1013_bit5 -x1013_bit6 -x1013_bit7 -x1013_bit8 -x1013_bit9 x1013_bit_1 x1013_bit_10 x1013_bit_2 x1013_bit_3 x1013_bit_4 x1013_bit_5 x1013_bit_6 x1013_bit_7 x1013_bit_8 x1013_bit_9 x1014_bit0 x1014_bit1 x1014_bit10 x1014_bit11 x1014_bit12 x1014_bit13 x1014_bit14 x1014_bit15 x1014_bit16 x1014_bit17 x1014_bit18 -x1014_bit19 -x1014_bit2 x1014_bit3 x1014_bit4 -x1014_bit5 x1014_bit6 x1014_bit7 x1014_bit8 x1014_bit9 x1014_bit_1 x1014_bit_10 x1014_bit_2 x1014_bit_3 x1014_bit_4 -x1014_bit_5 x1014_bit_6 x1014_bit_7 x1014_bit_8 x1014_bit_9 x1015_bit0 -x1015_bit1 -x1015_bit10 -x1015_bit11 -x1015_bit12 -x1015_bit13 -x1015_bit14 -x1015_bit15 x1015_bit16 -x1015_bit17 -x1015_bit18 -x1015_bit19 x1015_bit2 -x1015_bit3 -x1015_bit4 x1015_bit5 -x1015_bit6 -x1015_bit7 -x1015_bit8 -x1015_bit9 x1015_bit_1 x1015_bit_10 x1015_bit_2 x1015_bit_3 x1015_bit_4 x1015_bit_5 x1015_bit_6 x1015_bit_7 x1015_bit_8 x1015_bit_9 x1016_bit0 -x1016_bit1 -x1016_bit10 -x1016_bit11 -x1016_bit12 -x1016_bit13 -x1016_bit14 -x1016_bit15 x1016_bit16 -x1016_bit17 -x1016_bit18 -x1016_bit19 x1016_bit2 x1016_bit3 x1016_bit4 -x1016_bit5 -x1016_bit6 -x1016_bit7 -x1016_bit8 -x1016_bit9 x1016_bit_1 x1016_bit_10 x1016_bit_2 x1016_bit_3 x1016_bit_4 x1016_bit_5 x1016_bit_6 x1016_bit_7 x1016_bit_8 x1016_bit_9 x1017_bit0 -x1017_bit1 x1017_bit10 x1017_bit11 x1017_bit12 x1017_bit13 x1017_bit14 x1017_bit15 x1017_bit16 x1017_bit17 x1017_bit18 -x1017_bit19 x1017_bit2 x1017_bit3 x1017_bit4 x1017_bit5 x1017_bit6 x1017_bit7 x1017_bit8 x1017_bit9 x1017_bit_1 -x1017_bit_10 x1017_bit_2 x1017_bit_3 x1017_bit_4 x1017_bit_5 x1017_bit_6 x1017_bit_7 x1017_bit_8 x1017_bit_9 x1018_bit0 -x1018_bit1 x1018_bit10 x1018_bit11 x1018_bit12 x1018_bit13 x1018_bit14 x1018_bit15 -x1018_bit16 -x1018_bit17 -x1018_bit18 -x1018_bit19 x1018_bit2 -x1018_bit3 x1018_bit4 x1018_bit5 x1018_bit6 x1018_bit7 x1018_bit8 x1018_bit9 x1018_bit_1 x1018_bit_10 x1018_bit_2 x1018_bit_3 x1018_bit_4 x1018_bit_5 x1018_bit_6 x1018_bit_7 x1018_bit_8 x1018_bit_9 x1019_bit0 -x1019_bit1 x1019_bit10 x1019_bit11 x1019_bit12 x1019_bit13 x1019_bit14 x1019_bit15 x1019_bit16 x1019_bit17 x1019_bit18 -x1019_bit19 x1019_bit2 x1019_bit3 x1019_bit4 x1019_bit5 x1019_bit6 x1019_bit7 x1019_bit8 x1019_bit9 x1019_bit_1 -x1019_bit_10 x1019_bit_2 x1019_bit_3 x1019_bit_4 x1019_bit_5 x1019_bit_6 x1019_bit_7 x1019_bit_8 x1019_bit_9 -x101_bit0 x1020_bit0 -x1020_bit1 x1020_bit10 x1020_bit11 x1020_bit12 x1020_bit13 x1020_bit14 x1020_bit15 x1020_bit16 x1020_bit17 x1020_bit18 -x1020_bit19 x1020_bit2 -x1020_bit3 x1020_bit4 -x1020_bit5 x1020_bit6 x1020_bit7 x1020_bit8 x1020_bit9 -x1020_bit_1 -x1020_bit_10 x1020_bit_2 x1020_bit_3 x1020_bit_4 x1020_bit_5 x1020_bit_6 x1020_bit_7 x1020_bit_8 x1020_bit_9 x1021_bit0 -x1021_bit1 x1021_bit10 x1021_bit11 x1021_bit12 x1021_bit13 x1021_bit14 x1021_bit15 -x1021_bit16 -x1021_bit17 -x1021_bit18 -x1021_bit19 x1021_bit2 x1021_bit3 x1021_bit4 x1021_bit5 x1021_bit6 x1021_bit7 x1021_bit8 x1021_bit9 x1021_bit_1 -x1021_bit_10 x1021_bit_2 x1021_bit_3 x1021_bit_4 x1021_bit_5 x1021_bit_6 x1021_bit_7 x1021_bit_8 x1021_bit_9 x1022_bit0 -x1022_bit1 x1022_bit10 x1022_bit11 x1022_bit12 x1022_bit13 x1022_bit14 x1022_bit15 -x1022_bit16 -x1022_bit17 -x1022_bit18 -x1022_bit19 -x1022_bit2 -x1022_bit3 x1022_bit4 x1022_bit5 x1022_bit6 x1022_bit7 x1022_bit8 x1022_bit9 x1022_bit_1 x1022_bit_10 x1022_bit_2 x1022_bit_3 x1022_bit_4 x1022_bit_5 x1022_bit_6 x1022_bit_7 x1022_bit_8 x1022_bit_9 x1023_bit0 -x1023_bit1 x1023_bit10 x1023_bit11 x1023_bit12 x1023_bit13 x1023_bit14 x1023_bit15 x1023_bit16 x1023_bit17 x1023_bit18 -x1023_bit19 -x1023_bit2 x1023_bit3 x1023_bit4 x1023_bit5 -x1023_bit6 x1023_bit7 x1023_bit8 x1023_bit9 x1023_bit_1 -x1023_bit_10 x1023_bit_2 x1023_bit_3 x1023_bit_4 x1023_bit_5 x1023_bit_6 x1023_bit_7 x1023_bit_8 x1023_bit_9 x1024_bit0 x1024_bit1 -x1024_bit10 -x1024_bit11 -x1024_bit12 -x1024_bit13 -x1024_bit14 -x1024_bit15 x1024_bit16 -x1024_bit17 -x1024_bit18 -x1024_bit19 -x1024_bit2 -x1024_bit3 x1024_bit4 -x1024_bit5 -x1024_bit6 -x1024_bit7 -x1024_bit8 -x1024_bit9 x1024_bit_1 x1024_bit_10 x1024_bit_2 x1024_bit_3 x1024_bit_4 x1024_bit_5 x1024_bit_6 x1024_bit_7 x1024_bit_8 x1024_bit_9 x1025_bit0 x1025_bit1 x1025_bit10 x1025_bit11 x1025_bit12 x1025_bit13 x1025_bit14 x1025_bit15 x1025_bit16 x1025_bit17 x1025_bit18 -x1025_bit19 x1025_bit2 -x1025_bit3 x1025_bit4 x1025_bit5 x1025_bit6 x1025_bit7 x1025_bit8 x1025_bit9 x1025_bit_1 x1025_bit_10 x1025_bit_2 x1025_bit_3 x1025_bit_4 x1025_bit_5 x1025_bit_6 x1025_bit_7 x1025_bit_8 x1025_bit_9 x1026_bit0 -x1026_bit1 x1026_bit10 x1026_bit11 x1026_bit12 x1026_bit13 x1026_bit14 x1026_bit15 x1026_bit16 x1026_bit17 x1026_bit18 -x1026_bit19 x1026_bit2 -x1026_bit3 x1026_bit4 -x1026_bit5 -x1026_bit6 x1026_bit7 x1026_bit8 x1026_bit9 x1026_bit_1 x1026_bit_10 x1026_bit_2 x1026_bit_3 x1026_bit_4 x1026_bit_5 x1026_bit_6 x1026_bit_7 x1026_bit_8 x1026_bit_9 x1027_bit0 x1027_bit1 -x1027_bit10 -x1027_bit11 -x1027_bit12 -x1027_bit13 -x1027_bit14 -x1027_bit15 x1027_bit16 -x1027_bit17 -x1027_bit18 -x1027_bit19 x1027_bit2 -x1027_bit3 x1027_bit4 -x1027_bit5 -x1027_bit6 -x1027_bit7 -x1027_bit8 -x1027_bit9 x1027_bit_1 x1027_bit_10 x1027_bit_2 x1027_bit_3 x1027_bit_4 x1027_bit_5 x1027_bit_6 x1027_bit_7 x1027_bit_8 x1027_bit_9 x1028_bit0 x1028_bit1 -x1028_bit10 -x1028_bit11 -x1028_bit12 -x1028_bit13 -x1028_bit14 -x1028_bit15 x1028_bit16 -x1028_bit17 -x1028_bit18 -x1028_bit19 x1028_bit2 x1028_bit3 -x1028_bit4 -x1028_bit5 -x1028_bit6 -x1028_bit7 -x1028_bit8 -x1028_bit9 x1028_bit_1 x1028_bit_10 x1028_bit_2 x1028_bit_3 x1028_bit_4 x1028_bit_5 x1028_bit_6 x1028_bit_7 x1028_bit_8 x1028_bit_9 x1029_bit0 x1029_bit1 x1029_bit10 x1029_bit11 x1029_bit12 x1029_bit13 x1029_bit14 x1029_bit15 x1029_bit16 x1029_bit17 x1029_bit18 -x1029_bit19 -x1029_bit2 -x1029_bit3 x1029_bit4 x1029_bit5 -x1029_bit6 -x1029_bit7 x1029_bit8 x1029_bit9 x1029_bit_1 -x1029_bit_10 x1029_bit_2 x1029_bit_3 x1029_bit_4 x1029_bit_5 x1029_bit_6 x1029_bit_7 x1029_bit_8 x1029_bit_9 -x102_bit0 x1030_bit0 -x1030_bit1 -x1030_bit10 -x1030_bit11 -x1030_bit12 -x1030_bit13 -x1030_bit14 -x1030_bit15 x1030_bit16 -x1030_bit17 -x1030_bit18 -x1030_bit19 x1030_bit2 -x1030_bit3 x1030_bit4 x1030_bit5 -x1030_bit6 -x1030_bit7 -x1030_bit8 -x1030_bit9 x1030_bit_1 x1030_bit_10 x1030_bit_2 x1030_bit_3 x1030_bit_4 x1030_bit_5 x1030_bit_6 x1030_bit_7 x1030_bit_8 x1030_bit_9 x1031_bit0 -x1031_bit1 x1031_bit10 x1031_bit11 x1031_bit12 x1031_bit13 x1031_bit14 x1031_bit15 x1031_bit16 x1031_bit17 x1031_bit18 -x1031_bit19 x1031_bit2 x1031_bit3 x1031_bit4 x1031_bit5 -x1031_bit6 -x1031_bit7 x1031_bit8 x1031_bit9 x1031_bit_1 -x1031_bit_10 x1031_bit_2 x1031_bit_3 x1031_bit_4 x1031_bit_5 x1031_bit_6 x1031_bit_7 x1031_bit_8 x1031_bit_9 -x1032_bit0 -x1032_bit1 x1032_bit10 x1032_bit11 x1032_bit12 x1032_bit13 x1032_bit14 x1032_bit15 x1032_bit16 x1032_bit17 x1032_bit18 -x1032_bit19 -x1032_bit2 -x1032_bit3 x1032_bit4 x1032_bit5 x1032_bit6 x1032_bit7 -x1032_bit8 x1032_bit9 x1032_bit_1 x1032_bit_10 x1032_bit_2 x1032_bit_3 x1032_bit_4 x1032_bit_5 x1032_bit_6 x1032_bit_7 x1032_bit_8 x1032_bit_9 x1033_bit0 x1033_bit1 -x1033_bit10 -x1033_bit11 -x1033_bit12 -x1033_bit13 -x1033_bit14 -x1033_bit15 x1033_bit16 -x1033_bit17 -x1033_bit18 -x1033_bit19 -x1033_bit2 x1033_bit3 x1033_bit4 x1033_bit5 -x1033_bit6 -x1033_bit7 -x1033_bit8 -x1033_bit9 x1033_bit_1 -x1033_bit_10 -x1033_bit_2 x1033_bit_3 x1033_bit_4 x1033_bit_5 x1033_bit_6 x1033_bit_7 x1033_bit_8 x1033_bit_9 x1034_bit0 x1034_bit1 -x1034_bit10 -x1034_bit11 -x1034_bit12 -x1034_bit13 -x1034_bit14 -x1034_bit15 x1034_bit16 -x1034_bit17 -x1034_bit18 -x1034_bit19 x1034_bit2 x1034_bit3 -x1034_bit4 x1034_bit5 -x1034_bit6 -x1034_bit7 -x1034_bit8 -x1034_bit9 x1034_bit_1 -x1034_bit_10 x1034_bit_2 x1034_bit_3 x1034_bit_4 x1034_bit_5 x1034_bit_6 x1034_bit_7 x1034_bit_8 x1034_bit_9 -x1035_bit0 x1035_bit1 x1035_bit10 x1035_bit11 x1035_bit12 x1035_bit13 x1035_bit14 x1035_bit15 x1035_bit16 x1035_bit17 x1035_bit18 -x1035_bit19 -x1035_bit2 x1035_bit3 x1035_bit4 x1035_bit5 -x1035_bit6 -x1035_bit7 x1035_bit8 x1035_bit9 x1035_bit_1 -x1035_bit_10 x1035_bit_2 x1035_bit_3 x1035_bit_4 x1035_bit_5 x1035_bit_6 x1035_bit_7 x1035_bit_8 x1035_bit_9 -x1036_bit0 x1036_bit1 -x1036_bit10 -x1036_bit11 -x1036_bit12 -x1036_bit13 -x1036_bit14 -x1036_bit15 x1036_bit16 -x1036_bit17 -x1036_bit18 -x1036_bit19 -x1036_bit2 x1036_bit3 -x1036_bit4 -x1036_bit5 x1036_bit6 -x1036_bit7 -x1036_bit8 -x1036_bit9 x1036_bit_1 x1036_bit_10 x1036_bit_2 x1036_bit_3 x1036_bit_4 x1036_bit_5 x1036_bit_6 x1036_bit_7 x1036_bit_8 x1036_bit_9 x1037_bit0 x1037_bit1 x1037_bit10 x1037_bit11 x1037_bit12 x1037_bit13 x1037_bit14 x1037_bit15 x1037_bit16 x1037_bit17 x1037_bit18 -x1037_bit19 x1037_bit2 -x1037_bit3 x1037_bit4 x1037_bit5 x1037_bit6 -x1037_bit7 x1037_bit8 x1037_bit9 x1037_bit_1 x1037_bit_10 x1037_bit_2 x1037_bit_3 x1037_bit_4 x1037_bit_5 x1037_bit_6 x1037_bit_7 x1037_bit_8 -x1037_bit_9 x1038_bit0 x1038_bit1 x1038_bit10 x1038_bit11 x1038_bit12 x1038_bit13 x1038_bit14 x1038_bit15 x1038_bit16 x1038_bit17 x1038_bit18 -x1038_bit19 x1038_bit2 -x1038_bit3 x1038_bit4 -x1038_bit5 -x1038_bit6 -x1038_bit7 x1038_bit8 x1038_bit9 x1038_bit_1 x1038_bit_10 x1038_bit_2 x1038_bit_3 x1038_bit_4 x1038_bit_5 x1038_bit_6 x1038_bit_7 x1038_bit_8 x1038_bit_9 x1039_bit0 x1039_bit1 -x1039_bit10 -x1039_bit11 -x1039_bit12 -x1039_bit13 -x1039_bit14 -x1039_bit15 x1039_bit16 -x1039_bit17 -x1039_bit18 -x1039_bit19 x1039_bit2 x1039_bit3 -x1039_bit4 -x1039_bit5 x1039_bit6 -x1039_bit7 -x1039_bit8 -x1039_bit9 x1039_bit_1 x1039_bit_10 x1039_bit_2 x1039_bit_3 x1039_bit_4 x1039_bit_5 x1039_bit_6 x1039_bit_7 x1039_bit_8 x1039_bit_9 -x103_bit0 x1040_bit0 x1040_bit1 -x1040_bit10 -x1040_bit11 -x1040_bit12 -x1040_bit13 -x1040_bit14 -x1040_bit15 x1040_bit16 -x1040_bit17 -x1040_bit18 -x1040_bit19 x1040_bit2 -x1040_bit3 -x1040_bit4 -x1040_bit5 x1040_bit6 -x1040_bit7 -x1040_bit8 -x1040_bit9 -x1040_bit_1 -x1040_bit_10 x1040_bit_2 x1040_bit_3 x1040_bit_4 x1040_bit_5 -x1040_bit_6 x1040_bit_7 x1040_bit_8 x1040_bit_9 x1041_bit0 x1041_bit1 -x1041_bit10 -x1041_bit11 -x1041_bit12 -x1041_bit13 -x1041_bit14 -x1041_bit15 -x1041_bit16 -x1041_bit17 -x1041_bit18 x1041_bit19 x1041_bit2 -x1041_bit3 x1041_bit4 -x1041_bit5 x1041_bit6 -x1041_bit7 -x1041_bit8 -x1041_bit9 x1041_bit_1 -x1041_bit_10 x1041_bit_2 x1041_bit_3 x1041_bit_4 x1041_bit_5 x1041_bit_6 x1041_bit_7 x1041_bit_8 x1041_bit_9 x1042_bit0 x1042_bit1 x1042_bit10 x1042_bit11 x1042_bit12 x1042_bit13 x1042_bit14 x1042_bit15 -x1042_bit16 -x1042_bit17 -x1042_bit18 -x1042_bit19 -x1042_bit2 x1042_bit3 x1042_bit4 x1042_bit5 x1042_bit6 x1042_bit7 x1042_bit8 x1042_bit9 x1042_bit_1 x1042_bit_10 x1042_bit_2 x1042_bit_3 x1042_bit_4 x1042_bit_5 x1042_bit_6 x1042_bit_7 x1042_bit_8 x1042_bit_9 x1043_bit0 -x1043_bit1 -x1043_bit10 -x1043_bit11 -x1043_bit12 -x1043_bit13 -x1043_bit14 -x1043_bit15 -x1043_bit16 -x1043_bit17 -x1043_bit18 x1043_bit19 -x1043_bit2 -x1043_bit3 -x1043_bit4 -x1043_bit5 -x1043_bit6 x1043_bit7 -x1043_bit8 -x1043_bit9 x1043_bit_1 -x1043_bit_10 x1043_bit_2 x1043_bit_3 x1043_bit_4 x1043_bit_5 x1043_bit_6 x1043_bit_7 x1043_bit_8 x1043_bit_9 x1044_bit0 x1044_bit1 -x1044_bit10 -x1044_bit11 -x1044_bit12 -x1044_bit13 -x1044_bit14 -x1044_bit15 -x1044_bit16 -x1044_bit17 -x1044_bit18 x1044_bit19 -x1044_bit2 x1044_bit3 -x1044_bit4 x1044_bit5 -x1044_bit6 -x1044_bit7 -x1044_bit8 -x1044_bit9 x1044_bit_1 x1044_bit_10 x1044_bit_2 x1044_bit_3 x1044_bit_4 x1044_bit_5 x1044_bit_6 x1044_bit_7 x1044_bit_8 x1044_bit_9 x1045_bit0 -x1045_bit1 x1045_bit10 x1045_bit11 x1045_bit12 x1045_bit13 x1045_bit14 x1045_bit15 -x1045_bit16 -x1045_bit17 -x1045_bit18 -x1045_bit19 x1045_bit2 x1045_bit3 x1045_bit4 x1045_bit5 x1045_bit6 x1045_bit7 x1045_bit8 x1045_bit9 x1045_bit_1 -x1045_bit_10 x1045_bit_2 x1045_bit_3 x1045_bit_4 x1045_bit_5 x1045_bit_6 x1045_bit_7 x1045_bit_8 x1045_bit_9 x1046_bit0 x1046_bit1 x1046_bit10 x1046_bit11 x1046_bit12 x1046_bit13 x1046_bit14 x1046_bit15 -x1046_bit16 -x1046_bit17 -x1046_bit18 -x1046_bit19 -x1046_bit2 -x1046_bit3 x1046_bit4 x1046_bit5 x1046_bit6 x1046_bit7 x1046_bit8 x1046_bit9 x1046_bit_1 x1046_bit_10 x1046_bit_2 x1046_bit_3 x1046_bit_4 x1046_bit_5 x1046_bit_6 x1046_bit_7 x1046_bit_8 x1046_bit_9 x1047_bit0 x1047_bit1 -x1047_bit10 -x1047_bit11 -x1047_bit12 -x1047_bit13 -x1047_bit14 -x1047_bit15 -x1047_bit16 -x1047_bit17 -x1047_bit18 x1047_bit19 x1047_bit2 -x1047_bit3 x1047_bit4 -x1047_bit5 x1047_bit6 -x1047_bit7 -x1047_bit8 -x1047_bit9 x1047_bit_1 -x1047_bit_10 x1047_bit_2 x1047_bit_3 x1047_bit_4 x1047_bit_5 x1047_bit_6 x1047_bit_7 x1047_bit_8 x1047_bit_9 x1048_bit0 x1048_bit1 x1048_bit10 x1048_bit11 x1048_bit12 x1048_bit13 x1048_bit14 x1048_bit15 -x1048_bit16 -x1048_bit17 -x1048_bit18 -x1048_bit19 -x1048_bit2 x1048_bit3 x1048_bit4 x1048_bit5 x1048_bit6 x1048_bit7 x1048_bit8 x1048_bit9 x1048_bit_1 x1048_bit_10 x1048_bit_2 x1048_bit_3 x1048_bit_4 x1048_bit_5 x1048_bit_6 x1048_bit_7 x1048_bit_8 x1048_bit_9 x1049_bit0 x1049_bit1 -x1049_bit10 -x1049_bit11 -x1049_bit12 -x1049_bit13 -x1049_bit14 -x1049_bit15 -x1049_bit16 -x1049_bit17 -x1049_bit18 x1049_bit19 x1049_bit2 -x1049_bit3 x1049_bit4 x1049_bit5 x1049_bit6 -x1049_bit7 -x1049_bit8 -x1049_bit9 x1049_bit_1 -x1049_bit_10 x1049_bit_2 x1049_bit_3 x1049_bit_4 x1049_bit_5 x1049_bit_6 x1049_bit_7 x1049_bit_8 x1049_bit_9 -x104_bit0 x1050_bit0 -x1050_bit1 -x1050_bit10 -x1050_bit11 -x1050_bit12 -x1050_bit13 -x1050_bit14 -x1050_bit15 -x1050_bit16 -x1050_bit17 -x1050_bit18 x1050_bit19 -x1050_bit2 x1050_bit3 x1050_bit4 -x1050_bit5 -x1050_bit6 -x1050_bit7 -x1050_bit8 -x1050_bit9 x1050_bit_1 x1050_bit_10 x1050_bit_2 x1050_bit_3 x1050_bit_4 x1050_bit_5 x1050_bit_6 x1050_bit_7 x1050_bit_8 x1050_bit_9 x1051_bit0 x1051_bit1 -x1051_bit10 -x1051_bit11 -x1051_bit12 -x1051_bit13 -x1051_bit14 -x1051_bit15 x1051_bit16 -x1051_bit17 -x1051_bit18 -x1051_bit19 -x1051_bit2 -x1051_bit3 -x1051_bit4 -x1051_bit5 -x1051_bit6 -x1051_bit7 -x1051_bit8 -x1051_bit9 x1051_bit_1 x1051_bit_10 x1051_bit_2 x1051_bit_3 x1051_bit_4 x1051_bit_5 x1051_bit_6 x1051_bit_7 x1051_bit_8 x1051_bit_9 x1052_bit0 -x1052_bit1 x1052_bit10 x1052_bit11 x1052_bit12 x1052_bit13 x1052_bit14 x1052_bit15 -x1052_bit16 -x1052_bit17 -x1052_bit18 -x1052_bit19 x1052_bit2 -x1052_bit3 x1052_bit4 x1052_bit5 x1052_bit6 x1052_bit7 x1052_bit8 x1052_bit9 x1052_bit_1 x1052_bit_10 x1052_bit_2 x1052_bit_3 x1052_bit_4 x1052_bit_5 x1052_bit_6 x1052_bit_7 x1052_bit_8 x1052_bit_9 x1053_bit0 -x1053_bit1 -x1053_bit10 -x1053_bit11 -x1053_bit12 -x1053_bit13 -x1053_bit14 -x1053_bit15 -x1053_bit16 -x1053_bit17 -x1053_bit18 x1053_bit19 x1053_bit2 x1053_bit3 x1053_bit4 -x1053_bit5 x1053_bit6 -x1053_bit7 -x1053_bit8 -x1053_bit9 x1053_bit_1 -x1053_bit_10 x1053_bit_2 x1053_bit_3 x1053_bit_4 x1053_bit_5 x1053_bit_6 x1053_bit_7 x1053_bit_8 x1053_bit_9 x1054_bit0 -x1054_bit1 -x1054_bit10 -x1054_bit11 -x1054_bit12 -x1054_bit13 -x1054_bit14 -x1054_bit15 x1054_bit16 -x1054_bit17 -x1054_bit18 -x1054_bit19 -x1054_bit2 -x1054_bit3 x1054_bit4 -x1054_bit5 -x1054_bit6 -x1054_bit7 -x1054_bit8 -x1054_bit9 x1054_bit_1 x1054_bit_10 x1054_bit_2 x1054_bit_3 x1054_bit_4 x1054_bit_5 x1054_bit_6 x1054_bit_7 x1054_bit_8 x1054_bit_9 x1055_bit0 -x1055_bit1 -x1055_bit10 -x1055_bit11 -x1055_bit12 -x1055_bit13 -x1055_bit14 -x1055_bit15 -x1055_bit16 -x1055_bit17 -x1055_bit18 x1055_bit19 x1055_bit2 x1055_bit3 -x1055_bit4 x1055_bit5 -x1055_bit6 x1055_bit7 -x1055_bit8 -x1055_bit9 -x1055_bit_1 x1055_bit_10 x1055_bit_2 x1055_bit_3 x1055_bit_4 x1055_bit_5 x1055_bit_6 x1055_bit_7 x1055_bit_8 x1055_bit_9 x1056_bit0 x1056_bit1 -x1056_bit10 -x1056_bit11 -x1056_bit12 -x1056_bit13 -x1056_bit14 -x1056_bit15 -x1056_bit16 -x1056_bit17 -x1056_bit18 x1056_bit19 x1056_bit2 -x1056_bit3 x1056_bit4 -x1056_bit5 -x1056_bit6 -x1056_bit7 -x1056_bit8 -x1056_bit9 x1056_bit_1 x1056_bit_10 x1056_bit_2 x1056_bit_3 x1056_bit_4 x1056_bit_5 x1056_bit_6 x1056_bit_7 x1056_bit_8 x1056_bit_9 -x1057_bit0 x1057_bit1 -x1057_bit10 -x1057_bit11 -x1057_bit12 -x1057_bit13 -x1057_bit14 -x1057_bit15 x1057_bit16 -x1057_bit17 -x1057_bit18 -x1057_bit19 -x1057_bit2 x1057_bit3 x1057_bit4 -x1057_bit5 -x1057_bit6 -x1057_bit7 -x1057_bit8 -x1057_bit9 x1057_bit_1 -x1057_bit_10 x1057_bit_2 x1057_bit_3 x1057_bit_4 x1057_bit_5 x1057_bit_6 x1057_bit_7 x1057_bit_8 x1057_bit_9 x1058_bit0 -x1058_bit1 -x1058_bit10 -x1058_bit11 -x1058_bit12 -x1058_bit13 -x1058_bit14 -x1058_bit15 x1058_bit16 -x1058_bit17 -x1058_bit18 -x1058_bit19 -x1058_bit2 -x1058_bit3 x1058_bit4 -x1058_bit5 -x1058_bit6 -x1058_bit7 -x1058_bit8 -x1058_bit9 x1058_bit_1 x1058_bit_10 x1058_bit_2 x1058_bit_3 x1058_bit_4 x1058_bit_5 x1058_bit_6 x1058_bit_7 x1058_bit_8 x1058_bit_9 x1059_bit0 -x1059_bit1 -x1059_bit10 -x1059_bit11 -x1059_bit12 -x1059_bit13 -x1059_bit14 -x1059_bit15 -x1059_bit16 -x1059_bit17 -x1059_bit18 x1059_bit19 -x1059_bit2 x1059_bit3 x1059_bit4 x1059_bit5 -x1059_bit6 -x1059_bit7 -x1059_bit8 -x1059_bit9 x1059_bit_1 -x1059_bit_10 x1059_bit_2 x1059_bit_3 x1059_bit_4 x1059_bit_5 x1059_bit_6 x1059_bit_7 x1059_bit_8 x1059_bit_9 -x105_bit0 -x1060_bit0 -x1060_bit1 -x1060_bit10 -x1060_bit11 -x1060_bit12 -x1060_bit13 -x1060_bit14 -x1060_bit15 x1060_bit16 -x1060_bit17 -x1060_bit18 -x1060_bit19 -x1060_bit2 -x1060_bit3 -x1060_bit4 -x1060_bit5 x1060_bit6 -x1060_bit7 -x1060_bit8 -x1060_bit9 x1060_bit_1 x1060_bit_10 x1060_bit_2 x1060_bit_3 x1060_bit_4 x1060_bit_5 x1060_bit_6 x1060_bit_7 x1060_bit_8 x1060_bit_9 -x1061_bit0 -x1061_bit1 -x1061_bit10 -x1061_bit11 -x1061_bit12 -x1061_bit13 -x1061_bit14 -x1061_bit15 -x1061_bit16 -x1061_bit17 -x1061_bit18 x1061_bit19 -x1061_bit2 x1061_bit3 -x1061_bit4 -x1061_bit5 -x1061_bit6 x1061_bit7 -x1061_bit8 -x1061_bit9 -x1061_bit_1 x1061_bit_10 x1061_bit_2 x1061_bit_3 x1061_bit_4 x1061_bit_5 x1061_bit_6 x1061_bit_7 x1061_bit_8 x1061_bit_9 x1062_bit0 -x1062_bit1 -x1062_bit10 -x1062_bit11 -x1062_bit12 -x1062_bit13 -x1062_bit14 -x1062_bit15 -x1062_bit16 -x1062_bit17 -x1062_bit18 x1062_bit19 x1062_bit2 x1062_bit3 x1062_bit4 -x1062_bit5 -x1062_bit6 -x1062_bit7 -x1062_bit8 -x1062_bit9 x1062_bit_1 -x1062_bit_10 x1062_bit_2 x1062_bit_3 x1062_bit_4 x1062_bit_5 x1062_bit_6 x1062_bit_7 x1062_bit_8 x1062_bit_9 x1063_bit0 -x1063_bit1 -x1063_bit10 -x1063_bit11 -x1063_bit12 -x1063_bit13 -x1063_bit14 -x1063_bit15 x1063_bit16 -x1063_bit17 -x1063_bit18 -x1063_bit19 -x1063_bit2 x1063_bit3 -x1063_bit4 -x1063_bit5 x1063_bit6 -x1063_bit7 -x1063_bit8 -x1063_bit9 x1063_bit_1 x1063_bit_10 x1063_bit_2 x1063_bit_3 x1063_bit_4 x1063_bit_5 x1063_bit_6 x1063_bit_7 x1063_bit_8 x1063_bit_9 -x1064_bit0 -x1064_bit1 -x1064_bit10 -x1064_bit11 -x1064_bit12 -x1064_bit13 -x1064_bit14 -x1064_bit15 x1064_bit16 -x1064_bit17 -x1064_bit18 -x1064_bit19 -x1064_bit2 -x1064_bit3 -x1064_bit4 -x1064_bit5 x1064_bit6 -x1064_bit7 -x1064_bit8 -x1064_bit9 -x1064_bit_1 x1064_bit_10 x1064_bit_2 x1064_bit_3 x1064_bit_4 x1064_bit_5 x1064_bit_6 x1064_bit_7 x1064_bit_8 x1064_bit_9 x1065_bit0 x1065_bit1 x1065_bit10 x1065_bit11 x1065_bit12 x1065_bit13 x1065_bit14 x1065_bit15 x1065_bit16 x1065_bit17 x1065_bit18 -x1065_bit19 x1065_bit2 x1065_bit3 x1065_bit4 -x1065_bit5 x1065_bit6 x1065_bit7 x1065_bit8 x1065_bit9 x1065_bit_1 -x1065_bit_10 x1065_bit_2 x1065_bit_3 x1065_bit_4 x1065_bit_5 x1065_bit_6 x1065_bit_7 x1065_bit_8 x1065_bit_9 x1066_bit0 -x1066_bit1 -x1066_bit10 -x1066_bit11 -x1066_bit12 -x1066_bit13 -x1066_bit14 -x1066_bit15 x1066_bit16 -x1066_bit17 -x1066_bit18 -x1066_bit19 -x1066_bit2 -x1066_bit3 x1066_bit4 -x1066_bit5 -x1066_bit6 -x1066_bit7 -x1066_bit8 -x1066_bit9 x1066_bit_1 x1066_bit_10 x1066_bit_2 x1066_bit_3 x1066_bit_4 x1066_bit_5 x1066_bit_6 x1066_bit_7 x1066_bit_8 x1066_bit_9 x1067_bit0 x1067_bit1 x1067_bit10 x1067_bit11 x1067_bit12 x1067_bit13 x1067_bit14 x1067_bit15 x1067_bit16 x1067_bit17 x1067_bit18 -x1067_bit19 x1067_bit2 x1067_bit3 x1067_bit4 -x1067_bit5 x1067_bit6 x1067_bit7 x1067_bit8 x1067_bit9 x1067_bit_1 -x1067_bit_10 x1067_bit_2 x1067_bit_3 x1067_bit_4 x1067_bit_5 x1067_bit_6 x1067_bit_7 x1067_bit_8 x1067_bit_9 x1068_bit0 -x1068_bit1 x1068_bit10 x1068_bit11 x1068_bit12 x1068_bit13 x1068_bit14 x1068_bit15 x1068_bit16 x1068_bit17 x1068_bit18 -x1068_bit19 x1068_bit2 x1068_bit3 -x1068_bit4 x1068_bit5 x1068_bit6 -x1068_bit7 x1068_bit8 x1068_bit9 x1068_bit_1 x1068_bit_10 x1068_bit_2 x1068_bit_3 x1068_bit_4 x1068_bit_5 x1068_bit_6 x1068_bit_7 x1068_bit_8 x1068_bit_9 x1069_bit0 x1069_bit1 -x1069_bit10 -x1069_bit11 -x1069_bit12 -x1069_bit13 -x1069_bit14 -x1069_bit15 x1069_bit16 -x1069_bit17 -x1069_bit18 -x1069_bit19 x1069_bit2 -x1069_bit3 x1069_bit4 -x1069_bit5 -x1069_bit6 -x1069_bit7 -x1069_bit8 -x1069_bit9 x1069_bit_1 x1069_bit_10 x1069_bit_2 x1069_bit_3 x1069_bit_4 x1069_bit_5 x1069_bit_6 x1069_bit_7 x1069_bit_8 x1069_bit_9 -x106_bit0 x1070_bit0 -x1070_bit1 -x1070_bit10 -x1070_bit11 -x1070_bit12 -x1070_bit13 -x1070_bit14 -x1070_bit15 x1070_bit16 -x1070_bit17 -x1070_bit18 -x1070_bit19 -x1070_bit2 x1070_bit3 -x1070_bit4 -x1070_bit5 -x1070_bit6 -x1070_bit7 -x1070_bit8 -x1070_bit9 x1070_bit_1 x1070_bit_10 x1070_bit_2 x1070_bit_3 x1070_bit_4 x1070_bit_5 x1070_bit_6 x1070_bit_7 x1070_bit_8 x1070_bit_9 -x1071_bit0 x1071_bit1 -x1071_bit10 -x1071_bit11 -x1071_bit12 -x1071_bit13 -x1071_bit14 -x1071_bit15 -x1071_bit16 -x1071_bit17 -x1071_bit18 x1071_bit19 -x1071_bit2 x1071_bit3 x1071_bit4 -x1071_bit5 x1071_bit6 -x1071_bit7 -x1071_bit8 -x1071_bit9 x1071_bit_1 -x1071_bit_10 x1071_bit_2 x1071_bit_3 x1071_bit_4 x1071_bit_5 x1071_bit_6 x1071_bit_7 x1071_bit_8 x1071_bit_9 x1072_bit0 x1072_bit1 x1072_bit10 x1072_bit11 x1072_bit12 x1072_bit13 x1072_bit14 x1072_bit15 -x1072_bit16 -x1072_bit17 -x1072_bit18 -x1072_bit19 x1072_bit2 -x1072_bit3 x1072_bit4 x1072_bit5 x1072_bit6 x1072_bit7 x1072_bit8 x1072_bit9 x1072_bit_1 x1072_bit_10 x1072_bit_2 x1072_bit_3 x1072_bit_4 x1072_bit_5 x1072_bit_6 x1072_bit_7 x1072_bit_8 x1072_bit_9 x1073_bit0 x1073_bit1 -x1073_bit10 -x1073_bit11 -x1073_bit12 -x1073_bit13 -x1073_bit14 -x1073_bit15 -x1073_bit16 -x1073_bit17 -x1073_bit18 x1073_bit19 -x1073_bit2 -x1073_bit3 -x1073_bit4 -x1073_bit5 -x1073_bit6 x1073_bit7 -x1073_bit8 -x1073_bit9 x1073_bit_1 -x1073_bit_10 x1073_bit_2 x1073_bit_3 x1073_bit_4 x1073_bit_5 x1073_bit_6 x1073_bit_7 x1073_bit_8 x1073_bit_9 x1074_bit0 -x1074_bit1 -x1074_bit10 -x1074_bit11 -x1074_bit12 -x1074_bit13 -x1074_bit14 -x1074_bit15 -x1074_bit16 -x1074_bit17 -x1074_bit18 x1074_bit19 x1074_bit2 x1074_bit3 -x1074_bit4 x1074_bit5 -x1074_bit6 -x1074_bit7 -x1074_bit8 -x1074_bit9 x1074_bit_1 x1074_bit_10 x1074_bit_2 x1074_bit_3 x1074_bit_4 x1074_bit_5 x1074_bit_6 x1074_bit_7 x1074_bit_8 x1074_bit_9 x1075_bit0 x1075_bit1 x1075_bit10 x1075_bit11 x1075_bit12 x1075_bit13 x1075_bit14 x1075_bit15 -x1075_bit16 -x1075_bit17 -x1075_bit18 -x1075_bit19 x1075_bit2 -x1075_bit3 x1075_bit4 x1075_bit5 x1075_bit6 x1075_bit7 x1075_bit8 x1075_bit9 x1075_bit_1 x1075_bit_10 x1075_bit_2 x1075_bit_3 x1075_bit_4 x1075_bit_5 x1075_bit_6 x1075_bit_7 x1075_bit_8 x1075_bit_9 x1076_bit0 x1076_bit1 x1076_bit10 x1076_bit11 x1076_bit12 x1076_bit13 x1076_bit14 x1076_bit15 -x1076_bit16 -x1076_bit17 -x1076_bit18 -x1076_bit19 x1076_bit2 x1076_bit3 -x1076_bit4 x1076_bit5 x1076_bit6 x1076_bit7 x1076_bit8 x1076_bit9 x1076_bit_1 -x1076_bit_10 x1076_bit_2 x1076_bit_3 x1076_bit_4 x1076_bit_5 x1076_bit_6 x1076_bit_7 x1076_bit_8 x1076_bit_9 -x1077_bit0 -x1077_bit1 -x1077_bit10 -x1077_bit11 -x1077_bit12 -x1077_bit13 -x1077_bit14 -x1077_bit15 -x1077_bit16 -x1077_bit17 -x1077_bit18 x1077_bit19 -x1077_bit2 -x1077_bit3 -x1077_bit4 -x1077_bit5 -x1077_bit6 -x1077_bit7 -x1077_bit8 -x1077_bit9 x1077_bit_1 -x1077_bit_10 x1077_bit_2 x1077_bit_3 x1077_bit_4 x1077_bit_5 x1077_bit_6 x1077_bit_7 x1077_bit_8 x1077_bit_9 -x1078_bit0 -x1078_bit1 x1078_bit10 x1078_bit11 x1078_bit12 x1078_bit13 x1078_bit14 x1078_bit15 -x1078_bit16 -x1078_bit17 -x1078_bit18 -x1078_bit19 x1078_bit2 -x1078_bit3 -x1078_bit4 x1078_bit5 x1078_bit6 x1078_bit7 x1078_bit8 x1078_bit9 x1078_bit_1 x1078_bit_10 x1078_bit_2 x1078_bit_3 x1078_bit_4 x1078_bit_5 x1078_bit_6 x1078_bit_7 x1078_bit_8 x1078_bit_9 x1079_bit0 -x1079_bit1 -x1079_bit10 -x1079_bit11 -x1079_bit12 -x1079_bit13 -x1079_bit14 -x1079_bit15 -x1079_bit16 -x1079_bit17 -x1079_bit18 x1079_bit19 x1079_bit2 x1079_bit3 x1079_bit4 x1079_bit5 -x1079_bit6 -x1079_bit7 -x1079_bit8 -x1079_bit9 x1079_bit_1 x1079_bit_10 x1079_bit_2 x1079_bit_3 x1079_bit_4 x1079_bit_5 x1079_bit_6 x1079_bit_7 x1079_bit_8 x1079_bit_9 -x107_bit0 -x1080_bit0 -x1080_bit1 x1080_bit10 x1080_bit11 x1080_bit12 x1080_bit13 x1080_bit14 x1080_bit15 x1080_bit16 x1080_bit17 x1080_bit18 -x1080_bit19 x1080_bit2 x1080_bit3 x1080_bit4 x1080_bit5 -x1080_bit6 x1080_bit7 x1080_bit8 x1080_bit9 -x1080_bit_1 x1080_bit_10 x1080_bit_2 x1080_bit_3 x1080_bit_4 x1080_bit_5 x1080_bit_6 x1080_bit_7 x1080_bit_8 x1080_bit_9 x1081_bit0 x1081_bit1 x1081_bit10 x1081_bit11 x1081_bit12 x1081_bit13 x1081_bit14 x1081_bit15 -x1081_bit16 -x1081_bit17 -x1081_bit18 -x1081_bit19 x1081_bit2 -x1081_bit3 -x1081_bit4 x1081_bit5 x1081_bit6 x1081_bit7 x1081_bit8 x1081_bit9 x1081_bit_1 x1081_bit_10 x1081_bit_2 x1081_bit_3 x1081_bit_4 x1081_bit_5 x1081_bit_6 x1081_bit_7 x1081_bit_8 x1081_bit_9 x1082_bit0 x1082_bit1 x1082_bit10 x1082_bit11 x1082_bit12 x1082_bit13 x1082_bit14 x1082_bit15 -x1082_bit16 -x1082_bit17 -x1082_bit18 -x1082_bit19 -x1082_bit2 x1082_bit3 x1082_bit4 -x1082_bit5 x1082_bit6 x1082_bit7 x1082_bit8 x1082_bit9 x1082_bit_1 x1082_bit_10 x1082_bit_2 x1082_bit_3 x1082_bit_4 x1082_bit_5 x1082_bit_6 x1082_bit_7 x1082_bit_8 x1082_bit_9 -x108_bit0 -x109_bit0 -x10_bit0 -x110_bit0 -x111_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 -x117_bit0 -x118_bit0 -x119_bit0 -x11_bit0 -x120_bit0 -x121_bit0 -x122_bit0 -x123_bit0 -x124_bit0 -x125_bit0 -x126_bit0 -x127_bit0 -x128_bit0 -x129_bit0 -x12_bit0 -x130_bit0 -x131_bit0 -x132_bit0 -x133_bit0 -x134_bit0 x135_bit0 -x136_bit0 -x137_bit0 -x138_bit0 x139_bit0 -x13_bit0 -x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 -x145_bit0 -x146_bit0 -x147_bit0 -x148_bit0 -x149_bit0 -x14_bit0 -x150_bit0 -x151_bit0 -x152_bit0 -x153_bit0 -x154_bit0 -x155_bit0 -x156_bit0 -x157_bit0 -x158_bit0 -x159_bit0 -x15_bit0 -x160_bit0 -x161_bit0 -x162_bit0 -x163_bit0 -x164_bit0 -x165_bit0 -x166_bit0 -x167_bit0 -x168_bit0 -x169_bit0 -x16_bit0 -x170_bit0 -x171_bit0 -x172_bit0 -x173_bit0 -x174_bit0 -x175_bit0 -x176_bit0 -x177_bit0 -x178_bit0 -x179_bit0 -x17_bit0 -x180_bit0 -x181_bit0 -x182_bit0 -x183_bit0 -x184_bit0 -x185_bit0 -x186_bit0 -x187_bit0 -x188_bit0 -x189_bit0 -x18_bit0 -x190_bit0 x191_bit0 -x192_bit0 -x193_bit0 -x194_bit0 -x195_bit0 -x196_bit0 -x197_bit0 x198_bit0 -x199_bit0 -x19_bit0 -x1_bit0 -x200_bit0 -x201_bit0 -x202_bit0 -x203_bit0 -x204_bit0 -x205_bit0 -x206_bit0 -x207_bit0 -x208_bit0 -x209_bit0 -x20_bit0 -x210_bit0 -x211_bit0 -x212_bit0 -x213_bit0 -x214_bit0 -x215_bit0 -x216_bit0 -x217_bit0 -x218_bit0 -x219_bit0 -x21_bit0 -x220_bit0 -x221_bit0 -x222_bit0 x223_bit0 -x224_bit0 -x225_bit0 -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x22_bit0 x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x235_bit0 x236_bit0 -x237_bit0 -x238_bit0 -x239_bit0 -x23_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 -x244_bit0 -x245_bit0 -x246_bit0 x247_bit0 -x248_bit0 x249_bit0 -x24_bit0 -x250_bit0 -x251_bit0 -x252_bit0 x253_bit0 -x254_bit0 -x255_bit0 -x256_bit0 x257_bit0 -x258_bit0 -x259_bit0 -x25_bit0 x260_bit0 -x261_bit0 -x262_bit0 -x263_bit0 -x264_bit0 -x265_bit0 -x266_bit0 x267_bit0 -x268_bit0 -x269_bit0 -x26_bit0 -x270_bit0 -x271_bit0 -x272_bit0 x273_bit0 -x274_bit0 x275_bit0 -x276_bit0 -x277_bit0 -x278_bit0 x279_bit0 -x27_bit0 -x280_bit0 -x281_bit0 -x282_bit0 -x283_bit0 -x284_bit0 -x285_bit0 -x286_bit0 -x287_bit0 -x288_bit0 -x289_bit0 -x28_bit0 -x290_bit0 -x291_bit0 -x292_bit0 -x293_bit0 -x294_bit0 -x295_bit0 -x296_bit0 -x297_bit0 -x298_bit0 -x299_bit0 -x29_bit0 -x2_bit0 -x300_bit0 -x301_bit0 -x302_bit0 -x303_bit0 -x304_bit0 -x305_bit0 -x306_bit0 -x307_bit0 -x308_bit0 x309_bit0 -x30_bit0 -x310_bit0 x311_bit0 -x312_bit0 -x313_bit0 -x314_bit0 x315_bit0 -x316_bit0 -x317_bit0 -x318_bit0 -x319_bit0 -x31_bit0 -x320_bit0 -x321_bit0 x322_bit0 -x323_bit0 -x324_bit0 -x325_bit0 -x326_bit0 -x327_bit0 -x328_bit0 x329_bit0 -x32_bit0 x330_bit0 -x331_bit0 -x332_bit0 -x333_bit0 -x334_bit0 -x335_bit0 -x336_bit0 -x337_bit0 -x338_bit0 -x339_bit0 -x33_bit0 -x340_bit0 -x341_bit0 -x342_bit0 -x343_bit0 -x344_bit0 -x345_bit0 -x346_bit0 -x347_bit0 -x348_bit0 -x349_bit0 -x34_bit0 -x350_bit0 -x351_bit0 -x352_bit0 -x353_bit0 x354_bit0 -x355_bit0 -x356_bit0 -x357_bit0 -x358_bit0 x359_bit0 -x35_bit0 -x360_bit0 -x361_bit0 -x362_bit0 -x363_bit0 -x364_bit0 -x365_bit0 -x366_bit0 -x367_bit0 -x368_bit0 x369_bit0 -x36_bit0 -x370_bit0 -x371_bit0 -x372_bit0 -x373_bit0 -x374_bit0 x375_bit0 -x376_bit0 -x377_bit0 -x378_bit0 -x379_bit0 -x37_bit0 -x380_bit0 -x381_bit0 -x382_bit0 -x383_bit0 -x384_bit0 -x385_bit0 -x386_bit0 x387_bit0 x388_bit0 -x389_bit0 -x38_bit0 -x390_bit0 -x391_bit0 -x392_bit0 -x393_bit0 -x394_bit0 -x395_bit0 -x396_bit0 -x397_bit0 -x398_bit0 -x399_bit0 -x39_bit0 -x3_bit0 -x400_bit0 -x401_bit0 -x402_bit0 -x403_bit0 x404_bit0 x405_bit0 x406_bit0 x407_bit0 -x408_bit0 x409_bit0 -x40_bit0 -x410_bit0 -x411_bit0 -x412_bit0 -x413_bit0 -x414_bit0 x415_bit0 -x416_bit0 -x417_bit0 -x418_bit0 x419_bit0 -x41_bit0 -x420_bit0 -x421_bit0 -x422_bit0 -x423_bit0 -x424_bit0 x425_bit0 -x426_bit0 -x427_bit0 x428_bit0 x429_bit0 -x42_bit0 -x430_bit0 x431_bit0 -x432_bit0 -x433_bit0 -x434_bit0 -x435_bit0 -x436_bit0 -x437_bit0 -x438_bit0 -x439_bit0 -x43_bit0 x440_bit0 -x441_bit0 -x442_bit0 -x443_bit0 -x444_bit0 -x445_bit0 -x446_bit0 -x447_bit0 -x448_bit0 -x449_bit0 -x44_bit0 -x450_bit0 -x451_bit0 -x452_bit0 x453_bit0 x454_bit0 -x455_bit0 -x456_bit0 -x457_bit0 -x458_bit0 -x459_bit0 -x45_bit0 -x460_bit0 x461_bit0 x462_bit0 -x463_bit0 -x464_bit0 -x465_bit0 -x466_bit0 -x467_bit0 x468_bit0 x469_bit0 -x46_bit0 -x470_bit0 -x471_bit0 x472_bit0 -x473_bit0 -x474_bit0 x475_bit0 -x476_bit0 x477_bit0 -x478_bit0 -x479_bit0 -x47_bit0 -x480_bit0 x481_bit0 -x482_bit0 -x483_bit0 -x484_bit0 -x485_bit0 -x486_bit0 x487_bit0 x488_bit0 x489_bit0 -x48_bit0 -x490_bit0 -x491_bit0 -x492_bit0 x493_bit0 -x494_bit0 -x495_bit0 -x496_bit0 -x497_bit0 -x498_bit0 -x499_bit0 -x49_bit0 -x4_bit0 -x500_bit0 -x501_bit0 -x502_bit0 x503_bit0 -x504_bit0 -x505_bit0 -x506_bit0 -x507_bit0 -x508_bit0 x509_bit0 -x50_bit0 -x510_bit0 -x511_bit0 -x512_bit0 -x513_bit0 -x514_bit0 -x515_bit0 -x516_bit0 -x517_bit0 x518_bit0 x519_bit0 -x51_bit0 x520_bit0 -x521_bit0 -x522_bit0 -x523_bit0 x524_bit0 -x525_bit0 x526_bit0 -x527_bit0 -x528_bit0 -x529_bit0 -x52_bit0 -x530_bit0 -x531_bit0 -x532_bit0 -x533_bit0 -x534_bit0 -x535_bit0 -x536_bit0 -x537_bit0 -x538_bit0 -x539_bit0 -x53_bit0 x540_bit0 -x541_bit0 -x542_bit0 -x543_bit0 x544_bit0 -x545_bit0 -x546_bit0 -x547_bit0 -x548_bit0 -x549_bit0 -x54_bit0 x550_bit0 -x551_bit0 -x552_bit0 x553_bit0 x554_bit0 -x555_bit0 -x556_bit0 -x557_bit0 -x558_bit0 x559_bit0 -x55_bit0 -x560_bit0 -x561_bit0 -x562_bit0 -x563_bit0 -x564_bit0 -x565_bit0 -x566_bit0 -x567_bit0 -x568_bit0 -x569_bit0 x56_bit0 -x570_bit0 -x571_bit0 x572_bit0 -x573_bit0 x574_bit0 -x575_bit0 -x576_bit0 x577_bit0 -x578_bit0 x579_bit0 -x57_bit0 -x580_bit0 -x581_bit0 -x582_bit0 -x583_bit0 x584_bit0 -x585_bit0 x586_bit0 -x587_bit0 -x588_bit0 -x589_bit0 -x58_bit0 -x590_bit0 -x591_bit0 x592_bit0 -x593_bit0 -x594_bit0 -x595_bit0 -x596_bit0 -x597_bit0 -x598_bit0 -x599_bit0 -x59_bit0 -x5_bit0 -x600_bit0 -x601_bit0 -x602_bit0 -x603_bit0 -x604_bit0 -x605_bit0 -x606_bit0 -x607_bit0 -x608_bit0 -x609_bit0 x60_bit0 -x610_bit0 x611_bit0 x612_bit0 x613_bit0 -x614_bit0 -x615_bit0 -x616_bit0 x617_bit0 -x618_bit0 x619_bit0 -x61_bit0 -x620_bit0 -x621_bit0 x622_bit0 -x623_bit0 x624_bit0 -x625_bit0 -x626_bit0 -x627_bit0 -x628_bit0 x629_bit0 -x62_bit0 -x630_bit0 -x631_bit0 -x632_bit0 x633_bit0 -x634_bit0 -x635_bit0 -x636_bit0 x637_bit0 x638_bit0 -x639_bit0 -x63_bit0 -x640_bit0 -x641_bit0 -x642_bit0 -x643_bit0 -x644_bit0 -x645_bit0 -x646_bit0 -x647_bit0 -x648_bit0 -x649_bit0 -x64_bit0 x650_bit0 x651_bit0 -x652_bit0 -x653_bit0 -x654_bit0 -x655_bit0 -x656_bit0 -x657_bit0 -x658_bit0 -x659_bit0 -x65_bit0 x660_bit0 x661_bit0 x662_bit0 x663_bit0 x664_bit0 -x665_bit0 x666_bit0 -x667_bit0 -x668_bit0 -x669_bit0 -x66_bit0 -x670_bit0 -x671_bit0 -x672_bit0 -x673_bit0 -x674_bit0 -x675_bit0 -x676_bit0 x677_bit0 -x678_bit0 -x679_bit0 -x67_bit0 -x680_bit0 x681_bit0 -x682_bit0 -x683_bit0 x684_bit0 -x685_bit0 x686_bit0 -x687_bit0 -x688_bit0 -x689_bit0 -x68_bit0 x690_bit0 -x691_bit0 -x692_bit0 x693_bit0 -x694_bit0 -x695_bit0 -x696_bit0 -x697_bit0 -x698_bit0 -x699_bit0 -x69_bit0 -x6_bit0 -x700_bit0 -x701_bit0 -x702_bit0 x703_bit0 -x704_bit0 x705_bit0 -x706_bit0 x707_bit0 -x708_bit0 x709_bit0 -x70_bit0 -x710_bit0 -x711_bit0 -x712_bit0 x713_bit0 -x714_bit0 -x715_bit0 -x716_bit0 -x717_bit0 -x718_bit0 -x719_bit0 -x71_bit0 -x720_bit0 -x721_bit0 -x722_bit0 -x723_bit0 -x724_bit0 -x725_bit0 -x726_bit0 -x727_bit0 -x728_bit0 x729_bit0 -x72_bit0 x730_bit0 -x731_bit0 x732_bit0 -x733_bit0 x734_bit0 x735_bit0 -x736_bit0 -x737_bit0 -x738_bit0 x739_bit0 -x73_bit0 x740_bit0 x741_bit0 -x742_bit0 -x743_bit0 -x744_bit0 -x745_bit0 -x746_bit0 -x747_bit0 -x748_bit0 -x749_bit0 -x74_bit0 -x750_bit0 x751_bit0 -x752_bit0 -x753_bit0 x754_bit0 x755_bit0 -x756_bit0 -x757_bit0 -x758_bit0 x759_bit0 -x75_bit0 x760_bit0 -x761_bit0 -x762_bit0 -x763_bit0 -x764_bit0 -x765_bit0 x766_bit0 -x767_bit0 -x768_bit0 -x769_bit0 -x76_bit0 -x770_bit0 -x771_bit0 x772_bit0 -x773_bit0 -x774_bit0 -x775_bit0 -x776_bit0 -x777_bit0 -x778_bit0 -x779_bit0 -x77_bit0 -x780_bit0 x781_bit0 -x782_bit0 -x783_bit0 -x784_bit0 -x785_bit0 -x786_bit0 -x787_bit0 -x788_bit0 -x789_bit0 -x78_bit0 -x790_bit0 -x791_bit0 -x792_bit0 -x793_bit0 x794_bit0 x795_bit0 -x795_bit1 -x795_bit10 -x795_bit11 -x795_bit12 -x795_bit13 -x795_bit14 -x795_bit15 -x795_bit16 -x795_bit17 -x795_bit18 x795_bit19 -x795_bit2 -x795_bit3 -x795_bit4 x795_bit5 x795_bit6 -x795_bit7 -x795_bit8 -x795_bit9 x795_bit_1 -x795_bit_10 x795_bit_2 x795_bit_3 x795_bit_4 x795_bit_5 x795_bit_6 x795_bit_7 x795_bit_8 x795_bit_9 -x796_bit0 x796_bit1 x796_bit10 x796_bit11 x796_bit12 x796_bit13 x796_bit14 x796_bit15 -x796_bit16 -x796_bit17 -x796_bit18 -x796_bit19 -x796_bit2 -x796_bit3 x796_bit4 x796_bit5 x796_bit6 x796_bit7 x796_bit8 x796_bit9 x796_bit_1 x796_bit_10 x796_bit_2 x796_bit_3 x796_bit_4 x796_bit_5 x796_bit_6 x796_bit_7 x796_bit_8 x796_bit_9 -x797_bit0 -x797_bit1 -x797_bit10 -x797_bit11 -x797_bit12 -x797_bit13 -x797_bit14 -x797_bit15 -x797_bit16 -x797_bit17 -x797_bit18 x797_bit19 x797_bit2 x797_bit3 -x797_bit4 x797_bit5 -x797_bit6 x797_bit7 -x797_bit8 -x797_bit9 x797_bit_1 x797_bit_10 x797_bit_2 x797_bit_3 x797_bit_4 x797_bit_5 x797_bit_6 x797_bit_7 x797_bit_8 x797_bit_9 -x798_bit0 x798_bit1 -x798_bit10 -x798_bit11 -x798_bit12 -x798_bit13 -x798_bit14 -x798_bit15 -x798_bit16 -x798_bit17 -x798_bit18 x798_bit19 x798_bit2 -x798_bit3 -x798_bit4 x798_bit5 -x798_bit6 -x798_bit7 -x798_bit8 -x798_bit9 x798_bit_1 x798_bit_10 x798_bit_2 x798_bit_3 x798_bit_4 x798_bit_5 x798_bit_6 -x798_bit_7 x798_bit_8 x798_bit_9 x799_bit0 x799_bit1 x799_bit10 x799_bit11 x799_bit12 x799_bit13 x799_bit14 x799_bit15 -x799_bit16 -x799_bit17 -x799_bit18 -x799_bit19 -x799_bit2 x799_bit3 x799_bit4 x799_bit5 x799_bit6 x799_bit7 x799_bit8 x799_bit9 x799_bit_1 -x799_bit_10 x799_bit_2 x799_bit_3 x799_bit_4 x799_bit_5 x799_bit_6 x799_bit_7 x799_bit_8 x799_bit_9 -x79_bit0 -x7_bit0 x800_bit0 x800_bit1 x800_bit10 x800_bit11 x800_bit12 x800_bit13 x800_bit14 x800_bit15 -x800_bit16 -x800_bit17 -x800_bit18 -x800_bit19 -x800_bit2 x800_bit3 -x800_bit4 x800_bit5 x800_bit6 x800_bit7 x800_bit8 x800_bit9 x800_bit_1 x800_bit_10 x800_bit_2 x800_bit_3 x800_bit_4 x800_bit_5 x800_bit_6 x800_bit_7 x800_bit_8 x800_bit_9 x801_bit0 x801_bit1 -x801_bit10 -x801_bit11 -x801_bit12 -x801_bit13 -x801_bit14 -x801_bit15 -x801_bit16 -x801_bit17 -x801_bit18 x801_bit19 x801_bit2 -x801_bit3 x801_bit4 -x801_bit5 x801_bit6 -x801_bit7 -x801_bit8 -x801_bit9 x801_bit_1 -x801_bit_10 x801_bit_2 x801_bit_3 x801_bit_4 x801_bit_5 x801_bit_6 x801_bit_7 x801_bit_8 x801_bit_9 x802_bit0 x802_bit1 x802_bit10 x802_bit11 x802_bit12 x802_bit13 x802_bit14 x802_bit15 -x802_bit16 -x802_bit17 -x802_bit18 -x802_bit19 -x802_bit2 x802_bit3 x802_bit4 x802_bit5 x802_bit6 x802_bit7 x802_bit8 x802_bit9 x802_bit_1 x802_bit_10 x802_bit_2 x802_bit_3 x802_bit_4 x802_bit_5 x802_bit_6 x802_bit_7 x802_bit_8 x802_bit_9 -x803_bit0 -x803_bit1 -x803_bit10 -x803_bit11 -x803_bit12 -x803_bit13 -x803_bit14 -x803_bit15 -x803_bit16 -x803_bit17 -x803_bit18 x803_bit19 x803_bit2 x803_bit3 -x803_bit4 x803_bit5 x803_bit6 -x803_bit7 -x803_bit8 -x803_bit9 x803_bit_1 x803_bit_10 x803_bit_2 x803_bit_3 x803_bit_4 x803_bit_5 x803_bit_6 x803_bit_7 x803_bit_8 x803_bit_9 x804_bit0 x804_bit1 -x804_bit10 -x804_bit11 -x804_bit12 -x804_bit13 -x804_bit14 -x804_bit15 -x804_bit16 -x804_bit17 -x804_bit18 x804_bit19 x804_bit2 x804_bit3 -x804_bit4 -x804_bit5 -x804_bit6 -x804_bit7 -x804_bit8 -x804_bit9 x804_bit_1 x804_bit_10 x804_bit_2 x804_bit_3 x804_bit_4 x804_bit_5 x804_bit_6 x804_bit_7 x804_bit_8 x804_bit_9 x805_bit0 x805_bit1 x805_bit10 x805_bit11 x805_bit12 x805_bit13 x805_bit14 x805_bit15 -x805_bit16 -x805_bit17 -x805_bit18 -x805_bit19 -x805_bit2 x805_bit3 x805_bit4 x805_bit5 x805_bit6 x805_bit7 x805_bit8 x805_bit9 x805_bit_1 x805_bit_10 x805_bit_2 x805_bit_3 x805_bit_4 x805_bit_5 x805_bit_6 x805_bit_7 x805_bit_8 x805_bit_9 x806_bit0 x806_bit1 x806_bit10 x806_bit11 x806_bit12 x806_bit13 x806_bit14 x806_bit15 -x806_bit16 -x806_bit17 -x806_bit18 -x806_bit19 -x806_bit2 -x806_bit3 x806_bit4 x806_bit5 x806_bit6 x806_bit7 x806_bit8 x806_bit9 x806_bit_1 x806_bit_10 x806_bit_2 x806_bit_3 x806_bit_4 x806_bit_5 x806_bit_6 x806_bit_7 x806_bit_8 x806_bit_9 -x807_bit0 x807_bit1 x807_bit10 x807_bit11 x807_bit12 x807_bit13 x807_bit14 x807_bit15 x807_bit16 x807_bit17 x807_bit18 -x807_bit19 x807_bit2 -x807_bit3 x807_bit4 x807_bit5 x807_bit6 -x807_bit7 x807_bit8 x807_bit9 x807_bit_1 -x807_bit_10 x807_bit_2 x807_bit_3 x807_bit_4 x807_bit_5 x807_bit_6 x807_bit_7 x807_bit_8 x807_bit_9 x808_bit0 x808_bit1 -x808_bit10 -x808_bit11 -x808_bit12 -x808_bit13 -x808_bit14 -x808_bit15 x808_bit16 -x808_bit17 -x808_bit18 -x808_bit19 x808_bit2 -x808_bit3 -x808_bit4 x808_bit5 -x808_bit6 -x808_bit7 -x808_bit8 -x808_bit9 x808_bit_1 x808_bit_10 x808_bit_2 x808_bit_3 x808_bit_4 x808_bit_5 x808_bit_6 x808_bit_7 x808_bit_8 x808_bit_9 x809_bit0 x809_bit1 x809_bit10 x809_bit11 x809_bit12 x809_bit13 x809_bit14 x809_bit15 x809_bit16 x809_bit17 x809_bit18 -x809_bit19 -x809_bit2 -x809_bit3 -x809_bit4 x809_bit5 -x809_bit6 x809_bit7 x809_bit8 x809_bit9 x809_bit_1 -x809_bit_10 x809_bit_2 x809_bit_3 x809_bit_4 x809_bit_5 x809_bit_6 x809_bit_7 x809_bit_8 x809_bit_9 -x80_bit0 x810_bit0 -x810_bit1 x810_bit10 x810_bit11 x810_bit12 x810_bit13 x810_bit14 x810_bit15 x810_bit16 x810_bit17 x810_bit18 -x810_bit19 x810_bit2 x810_bit3 x810_bit4 x810_bit5 -x810_bit6 -x810_bit7 x810_bit8 x810_bit9 x810_bit_1 x810_bit_10 x810_bit_2 x810_bit_3 x810_bit_4 x810_bit_5 x810_bit_6 x810_bit_7 x810_bit_8 x810_bit_9 x811_bit0 x811_bit1 -x811_bit10 -x811_bit11 -x811_bit12 -x811_bit13 -x811_bit14 -x811_bit15 x811_bit16 -x811_bit17 -x811_bit18 -x811_bit19 x811_bit2 -x811_bit3 -x811_bit4 x811_bit5 -x811_bit6 -x811_bit7 -x811_bit8 -x811_bit9 x811_bit_1 x811_bit_10 x811_bit_2 x811_bit_3 x811_bit_4 x811_bit_5 x811_bit_6 x811_bit_7 x811_bit_8 x811_bit_9 x812_bit0 x812_bit1 -x812_bit10 -x812_bit11 -x812_bit12 -x812_bit13 -x812_bit14 -x812_bit15 x812_bit16 -x812_bit17 -x812_bit18 -x812_bit19 x812_bit2 x812_bit3 x812_bit4 -x812_bit5 -x812_bit6 -x812_bit7 -x812_bit8 -x812_bit9 x812_bit_1 x812_bit_10 x812_bit_2 x812_bit_3 x812_bit_4 x812_bit_5 x812_bit_6 x812_bit_7 x812_bit_8 x812_bit_9 -x813_bit0 -x813_bit1 x813_bit10 x813_bit11 x813_bit12 x813_bit13 x813_bit14 x813_bit15 x813_bit16 x813_bit17 x813_bit18 -x813_bit19 x813_bit2 -x813_bit3 -x813_bit4 -x813_bit5 -x813_bit6 x813_bit7 x813_bit8 x813_bit9 x813_bit_1 -x813_bit_10 x813_bit_2 x813_bit_3 x813_bit_4 x813_bit_5 x813_bit_6 x813_bit_7 x813_bit_8 x813_bit_9 x814_bit0 -x814_bit1 -x814_bit10 -x814_bit11 -x814_bit12 -x814_bit13 -x814_bit14 -x814_bit15 x814_bit16 -x814_bit17 -x814_bit18 -x814_bit19 -x814_bit2 -x814_bit3 -x814_bit4 x814_bit5 -x814_bit6 -x814_bit7 -x814_bit8 -x814_bit9 x814_bit_1 x814_bit_10 x814_bit_2 x814_bit_3 x814_bit_4 x814_bit_5 x814_bit_6 x814_bit_7 x814_bit_8 x814_bit_9 x815_bit0 x815_bit1 x815_bit10 x815_bit11 x815_bit12 x815_bit13 x815_bit14 x815_bit15 x815_bit16 x815_bit17 x815_bit18 -x815_bit19 -x815_bit2 x815_bit3 x815_bit4 x815_bit5 -x815_bit6 x815_bit7 x815_bit8 x815_bit9 x815_bit_1 -x815_bit_10 x815_bit_2 x815_bit_3 x815_bit_4 x815_bit_5 x815_bit_6 x815_bit_7 x815_bit_8 x815_bit_9 x816_bit0 x816_bit1 x816_bit10 x816_bit11 x816_bit12 x816_bit13 x816_bit14 x816_bit15 x816_bit16 x816_bit17 x816_bit18 -x816_bit19 x816_bit2 -x816_bit3 x816_bit4 x816_bit5 x816_bit6 -x816_bit7 x816_bit8 x816_bit9 x816_bit_1 x816_bit_10 x816_bit_2 x816_bit_3 x816_bit_4 x816_bit_5 x816_bit_6 x816_bit_7 x816_bit_8 x816_bit_9 x817_bit0 -x817_bit1 -x817_bit10 -x817_bit11 -x817_bit12 -x817_bit13 -x817_bit14 -x817_bit15 x817_bit16 -x817_bit17 -x817_bit18 -x817_bit19 -x817_bit2 x817_bit3 -x817_bit4 x817_bit5 -x817_bit6 -x817_bit7 -x817_bit8 -x817_bit9 x817_bit_1 -x817_bit_10 x817_bit_2 x817_bit_3 x817_bit_4 x817_bit_5 x817_bit_6 x817_bit_7 x817_bit_8 x817_bit_9 x818_bit0 -x818_bit1 -x818_bit10 -x818_bit11 -x818_bit12 -x818_bit13 -x818_bit14 -x818_bit15 x818_bit16 -x818_bit17 -x818_bit18 -x818_bit19 -x818_bit2 x818_bit3 x818_bit4 -x818_bit5 -x818_bit6 -x818_bit7 -x818_bit8 -x818_bit9 x818_bit_1 x818_bit_10 x818_bit_2 x818_bit_3 x818_bit_4 x818_bit_5 x818_bit_6 x818_bit_7 x818_bit_8 x818_bit_9 -x819_bit0 -x819_bit1 x819_bit10 x819_bit11 x819_bit12 x819_bit13 x819_bit14 x819_bit15 x819_bit16 x819_bit17 x819_bit18 -x819_bit19 x819_bit2 -x819_bit3 x819_bit4 x819_bit5 -x819_bit6 x819_bit7 x819_bit8 x819_bit9 x819_bit_1 -x819_bit_10 x819_bit_2 x819_bit_3 x819_bit_4 x819_bit_5 x819_bit_6 x819_bit_7 x819_bit_8 x819_bit_9 -x81_bit0 -x820_bit0 x820_bit1 -x820_bit10 -x820_bit11 -x820_bit12 -x820_bit13 -x820_bit14 -x820_bit15 x820_bit16 -x820_bit17 -x820_bit18 -x820_bit19 x820_bit2 x820_bit3 x820_bit4 -x820_bit5 -x820_bit6 -x820_bit7 -x820_bit8 -x820_bit9 x820_bit_1 x820_bit_10 x820_bit_2 x820_bit_3 x820_bit_4 x820_bit_5 x820_bit_6 x820_bit_7 x820_bit_8 x820_bit_9 x821_bit0 x821_bit1 x821_bit10 x821_bit11 x821_bit12 x821_bit13 x821_bit14 x821_bit15 x821_bit16 x821_bit17 x821_bit18 -x821_bit19 -x821_bit2 x821_bit3 x821_bit4 x821_bit5 x821_bit6 x821_bit7 x821_bit8 x821_bit9 x821_bit_1 x821_bit_10 x821_bit_2 x821_bit_3 x821_bit_4 x821_bit_5 x821_bit_6 x821_bit_7 x821_bit_8 x821_bit_9 x822_bit0 -x822_bit1 x822_bit10 x822_bit11 x822_bit12 x822_bit13 x822_bit14 x822_bit15 x822_bit16 x822_bit17 x822_bit18 -x822_bit19 x822_bit2 x822_bit3 x822_bit4 -x822_bit5 x822_bit6 -x822_bit7 x822_bit8 x822_bit9 x822_bit_1 x822_bit_10 x822_bit_2 x822_bit_3 x822_bit_4 x822_bit_5 x822_bit_6 x822_bit_7 x822_bit_8 x822_bit_9 x823_bit0 x823_bit1 -x823_bit10 -x823_bit11 -x823_bit12 -x823_bit13 -x823_bit14 -x823_bit15 x823_bit16 -x823_bit17 -x823_bit18 -x823_bit19 x823_bit2 -x823_bit3 -x823_bit4 x823_bit5 -x823_bit6 -x823_bit7 -x823_bit8 -x823_bit9 x823_bit_1 -x823_bit_10 x823_bit_2 x823_bit_3 x823_bit_4 x823_bit_5 x823_bit_6 x823_bit_7 x823_bit_8 x823_bit_9 x824_bit0 -x824_bit1 -x824_bit10 -x824_bit11 -x824_bit12 -x824_bit13 -x824_bit14 -x824_bit15 x824_bit16 -x824_bit17 -x824_bit18 -x824_bit19 -x824_bit2 x824_bit3 x824_bit4 -x824_bit5 -x824_bit6 -x824_bit7 -x824_bit8 -x824_bit9 x824_bit_1 x824_bit_10 x824_bit_2 x824_bit_3 x824_bit_4 x824_bit_5 x824_bit_6 x824_bit_7 x824_bit_8 x824_bit_9 x825_bit0 x825_bit1 x825_bit10 x825_bit11 x825_bit12 x825_bit13 x825_bit14 x825_bit15 x825_bit16 x825_bit17 x825_bit18 -x825_bit19 x825_bit2 -x825_bit3 x825_bit4 -x825_bit5 x825_bit6 -x825_bit7 x825_bit8 x825_bit9 x825_bit_1 -x825_bit_10 x825_bit_2 x825_bit_3 x825_bit_4 x825_bit_5 x825_bit_6 x825_bit_7 x825_bit_8 x825_bit_9 x826_bit0 -x826_bit1 -x826_bit10 -x826_bit11 -x826_bit12 -x826_bit13 -x826_bit14 -x826_bit15 x826_bit16 -x826_bit17 -x826_bit18 -x826_bit19 -x826_bit2 x826_bit3 -x826_bit4 x826_bit5 -x826_bit6 -x826_bit7 -x826_bit8 -x826_bit9 x826_bit_1 x826_bit_10 x826_bit_2 x826_bit_3 x826_bit_4 x826_bit_5 x826_bit_6 x826_bit_7 x826_bit_8 x826_bit_9 x827_bit0 x827_bit1 x827_bit10 x827_bit11 x827_bit12 x827_bit13 x827_bit14 x827_bit15 x827_bit16 x827_bit17 x827_bit18 -x827_bit19 -x827_bit2 x827_bit3 x827_bit4 x827_bit5 x827_bit6 -x827_bit7 x827_bit8 x827_bit9 x827_bit_1 -x827_bit_10 x827_bit_2 x827_bit_3 x827_bit_4 x827_bit_5 x827_bit_6 x827_bit_7 x827_bit_8 x827_bit_9 -x828_bit0 x828_bit1 x828_bit10 x828_bit11 x828_bit12 x828_bit13 x828_bit14 x828_bit15 x828_bit16 x828_bit17 x828_bit18 -x828_bit19 x828_bit2 -x828_bit3 -x828_bit4 -x828_bit5 x828_bit6 -x828_bit7 x828_bit8 x828_bit9 x828_bit_1 x828_bit_10 -x828_bit_2 x828_bit_3 x828_bit_4 x828_bit_5 x828_bit_6 x828_bit_7 x828_bit_8 x828_bit_9 -x829_bit0 x829_bit1 -x829_bit10 -x829_bit11 -x829_bit12 -x829_bit13 -x829_bit14 -x829_bit15 x829_bit16 -x829_bit17 -x829_bit18 -x829_bit19 -x829_bit2 -x829_bit3 x829_bit4 x829_bit5 -x829_bit6 -x829_bit7 -x829_bit8 -x829_bit9 x829_bit_1 -x829_bit_10 x829_bit_2 x829_bit_3 x829_bit_4 x829_bit_5 x829_bit_6 x829_bit_7 x829_bit_8 x829_bit_9 -x82_bit0 x830_bit0 -x830_bit1 -x830_bit10 -x830_bit11 -x830_bit12 -x830_bit13 -x830_bit14 -x830_bit15 x830_bit16 -x830_bit17 -x830_bit18 -x830_bit19 -x830_bit2 x830_bit3 -x830_bit4 x830_bit5 -x830_bit6 -x830_bit7 -x830_bit8 -x830_bit9 -x830_bit_1 x830_bit_10 x830_bit_2 x830_bit_3 x830_bit_4 x830_bit_5 x830_bit_6 x830_bit_7 x830_bit_8 x830_bit_9 x831_bit0 -x831_bit1 x831_bit10 x831_bit11 x831_bit12 x831_bit13 x831_bit14 x831_bit15 x831_bit16 x831_bit17 x831_bit18 -x831_bit19 -x831_bit2 -x831_bit3 -x831_bit4 -x831_bit5 x831_bit6 -x831_bit7 x831_bit8 x831_bit9 x831_bit_1 -x831_bit_10 x831_bit_2 x831_bit_3 x831_bit_4 x831_bit_5 x831_bit_6 x831_bit_7 x831_bit_8 x831_bit_9 x832_bit0 x832_bit1 -x832_bit10 -x832_bit11 -x832_bit12 -x832_bit13 -x832_bit14 -x832_bit15 x832_bit16 -x832_bit17 -x832_bit18 -x832_bit19 -x832_bit2 -x832_bit3 x832_bit4 -x832_bit5 -x832_bit6 -x832_bit7 -x832_bit8 -x832_bit9 x832_bit_1 x832_bit_10 x832_bit_2 x832_bit_3 x832_bit_4 x832_bit_5 x832_bit_6 x832_bit_7 x832_bit_8 x832_bit_9 x833_bit0 x833_bit1 x833_bit10 x833_bit11 x833_bit12 x833_bit13 x833_bit14 x833_bit15 x833_bit16 x833_bit17 x833_bit18 -x833_bit19 x833_bit2 x833_bit3 x833_bit4 x833_bit5 x833_bit6 -x833_bit7 x833_bit8 x833_bit9 x833_bit_1 -x833_bit_10 x833_bit_2 x833_bit_3 x833_bit_4 x833_bit_5 x833_bit_6 x833_bit_7 x833_bit_8 x833_bit_9 -x834_bit0 x834_bit1 x834_bit10 x834_bit11 x834_bit12 x834_bit13 x834_bit14 x834_bit15 x834_bit16 x834_bit17 x834_bit18 -x834_bit19 x834_bit2 x834_bit3 x834_bit4 x834_bit5 -x834_bit6 -x834_bit7 x834_bit8 x834_bit9 -x834_bit_1 x834_bit_10 x834_bit_2 x834_bit_3 x834_bit_4 x834_bit_5 x834_bit_6 x834_bit_7 x834_bit_8 x834_bit_9 -x835_bit0 -x835_bit1 -x835_bit10 -x835_bit11 -x835_bit12 -x835_bit13 -x835_bit14 -x835_bit15 x835_bit16 -x835_bit17 -x835_bit18 -x835_bit19 x835_bit2 x835_bit3 x835_bit4 -x835_bit5 -x835_bit6 -x835_bit7 -x835_bit8 -x835_bit9 x835_bit_1 -x835_bit_10 x835_bit_2 x835_bit_3 x835_bit_4 x835_bit_5 x835_bit_6 x835_bit_7 x835_bit_8 x835_bit_9 x836_bit0 x836_bit1 -x836_bit10 -x836_bit11 -x836_bit12 -x836_bit13 -x836_bit14 -x836_bit15 x836_bit16 -x836_bit17 -x836_bit18 -x836_bit19 x836_bit2 x836_bit3 -x836_bit4 -x836_bit5 -x836_bit6 -x836_bit7 -x836_bit8 -x836_bit9 x836_bit_1 x836_bit_10 x836_bit_2 x836_bit_3 x836_bit_4 x836_bit_5 x836_bit_6 x836_bit_7 x836_bit_8 x836_bit_9 x837_bit0 -x837_bit1 x837_bit10 x837_bit11 x837_bit12 x837_bit13 x837_bit14 x837_bit15 x837_bit16 x837_bit17 x837_bit18 -x837_bit19 x837_bit2 x837_bit3 -x837_bit4 x837_bit5 -x837_bit6 -x837_bit7 x837_bit8 x837_bit9 x837_bit_1 -x837_bit_10 x837_bit_2 x837_bit_3 x837_bit_4 x837_bit_5 x837_bit_6 x837_bit_7 x837_bit_8 x837_bit_9 -x838_bit0 -x838_bit1 x838_bit10 x838_bit11 x838_bit12 x838_bit13 x838_bit14 x838_bit15 -x838_bit16 -x838_bit17 -x838_bit18 -x838_bit19 x838_bit2 x838_bit3 x838_bit4 x838_bit5 x838_bit6 x838_bit7 x838_bit8 x838_bit9 x838_bit_1 x838_bit_10 x838_bit_2 x838_bit_3 x838_bit_4 x838_bit_5 x838_bit_6 x838_bit_7 x838_bit_8 x838_bit_9 x839_bit0 x839_bit1 x839_bit10 x839_bit11 x839_bit12 x839_bit13 x839_bit14 x839_bit15 x839_bit16 x839_bit17 x839_bit18 -x839_bit19 x839_bit2 -x839_bit3 x839_bit4 x839_bit5 x839_bit6 -x839_bit7 x839_bit8 x839_bit9 x839_bit_1 x839_bit_10 x839_bit_2 x839_bit_3 x839_bit_4 x839_bit_5 x839_bit_6 x839_bit_7 x839_bit_8 x839_bit_9 -x83_bit0 -x840_bit0 x840_bit1 x840_bit10 x840_bit11 x840_bit12 x840_bit13 x840_bit14 x840_bit15 x840_bit16 x840_bit17 x840_bit18 -x840_bit19 x840_bit2 x840_bit3 x840_bit4 x840_bit5 -x840_bit6 x840_bit7 -x840_bit8 x840_bit9 x840_bit_1 x840_bit_10 -x840_bit_2 x840_bit_3 x840_bit_4 x840_bit_5 x840_bit_6 x840_bit_7 x840_bit_8 x840_bit_9 x841_bit0 x841_bit1 x841_bit10 x841_bit11 x841_bit12 x841_bit13 x841_bit14 x841_bit15 -x841_bit16 -x841_bit17 -x841_bit18 -x841_bit19 x841_bit2 x841_bit3 x841_bit4 x841_bit5 x841_bit6 x841_bit7 x841_bit8 x841_bit9 x841_bit_1 x841_bit_10 x841_bit_2 x841_bit_3 x841_bit_4 x841_bit_5 x841_bit_6 x841_bit_7 x841_bit_8 x841_bit_9 x842_bit0 x842_bit1 x842_bit10 x842_bit11 x842_bit12 x842_bit13 x842_bit14 x842_bit15 -x842_bit16 -x842_bit17 -x842_bit18 -x842_bit19 x842_bit2 -x842_bit3 x842_bit4 x842_bit5 x842_bit6 x842_bit7 x842_bit8 x842_bit9 x842_bit_1 x842_bit_10 x842_bit_2 x842_bit_3 x842_bit_4 x842_bit_5 x842_bit_6 x842_bit_7 x842_bit_8 x842_bit_9 -x843_bit0 x843_bit1 -x843_bit10 -x843_bit11 -x843_bit12 -x843_bit13 -x843_bit14 -x843_bit15 -x843_bit16 -x843_bit17 -x843_bit18 x843_bit19 -x843_bit2 x843_bit3 -x843_bit4 x843_bit5 -x843_bit6 -x843_bit7 -x843_bit8 -x843_bit9 x843_bit_1 -x843_bit_10 x843_bit_2 x843_bit_3 x843_bit_4 x843_bit_5 x843_bit_6 x843_bit_7 x843_bit_8 x843_bit_9 x844_bit0 -x844_bit1 x844_bit10 x844_bit11 x844_bit12 x844_bit13 x844_bit14 x844_bit15 -x844_bit16 -x844_bit17 -x844_bit18 -x844_bit19 -x844_bit2 -x844_bit3 x844_bit4 x844_bit5 x844_bit6 x844_bit7 x844_bit8 x844_bit9 x844_bit_1 x844_bit_10 x844_bit_2 x844_bit_3 x844_bit_4 x844_bit_5 x844_bit_6 x844_bit_7 x844_bit_8 x844_bit_9 x845_bit0 x845_bit1 -x845_bit10 -x845_bit11 -x845_bit12 -x845_bit13 -x845_bit14 -x845_bit15 -x845_bit16 -x845_bit17 -x845_bit18 x845_bit19 -x845_bit2 -x845_bit3 x845_bit4 x845_bit5 -x845_bit6 -x845_bit7 -x845_bit8 -x845_bit9 x845_bit_1 -x845_bit_10 x845_bit_2 x845_bit_3 x845_bit_4 x845_bit_5 x845_bit_6 x845_bit_7 x845_bit_8 x845_bit_9 x846_bit0 x846_bit1 -x846_bit10 -x846_bit11 -x846_bit12 -x846_bit13 -x846_bit14 -x846_bit15 -x846_bit16 -x846_bit17 -x846_bit18 x846_bit19 x846_bit2 x846_bit3 -x846_bit4 -x846_bit5 -x846_bit6 -x846_bit7 -x846_bit8 -x846_bit9 x846_bit_1 x846_bit_10 x846_bit_2 x846_bit_3 x846_bit_4 x846_bit_5 x846_bit_6 x846_bit_7 x846_bit_8 x846_bit_9 -x847_bit0 x847_bit1 x847_bit10 x847_bit11 x847_bit12 x847_bit13 x847_bit14 x847_bit15 -x847_bit16 -x847_bit17 -x847_bit18 -x847_bit19 -x847_bit2 x847_bit3 x847_bit4 x847_bit5 x847_bit6 x847_bit7 x847_bit8 x847_bit9 x847_bit_1 -x847_bit_10 x847_bit_2 x847_bit_3 x847_bit_4 x847_bit_5 x847_bit_6 x847_bit_7 x847_bit_8 x847_bit_9 x848_bit0 -x848_bit1 x848_bit10 x848_bit11 x848_bit12 x848_bit13 x848_bit14 x848_bit15 -x848_bit16 -x848_bit17 -x848_bit18 -x848_bit19 x848_bit2 x848_bit3 -x848_bit4 x848_bit5 x848_bit6 x848_bit7 x848_bit8 x848_bit9 x848_bit_1 x848_bit_10 x848_bit_2 -x848_bit_3 x848_bit_4 x848_bit_5 x848_bit_6 x848_bit_7 x848_bit_8 x848_bit_9 -x849_bit0 x849_bit1 -x849_bit10 -x849_bit11 -x849_bit12 -x849_bit13 -x849_bit14 -x849_bit15 -x849_bit16 -x849_bit17 -x849_bit18 x849_bit19 -x849_bit2 -x849_bit3 -x849_bit4 x849_bit5 x849_bit6 -x849_bit7 -x849_bit8 -x849_bit9 x849_bit_1 -x849_bit_10 x849_bit_2 x849_bit_3 x849_bit_4 x849_bit_5 x849_bit_6 x849_bit_7 x849_bit_8 x849_bit_9 -x84_bit0 -x850_bit0 -x850_bit1 -x850_bit10 -x850_bit11 -x850_bit12 -x850_bit13 -x850_bit14 -x850_bit15 x850_bit16 -x850_bit17 -x850_bit18 -x850_bit19 -x850_bit2 -x850_bit3 -x850_bit4 x850_bit5 -x850_bit6 -x850_bit7 -x850_bit8 -x850_bit9 x850_bit_1 x850_bit_10 x850_bit_2 x850_bit_3 x850_bit_4 x850_bit_5 x850_bit_6 x850_bit_7 x850_bit_8 x850_bit_9 x851_bit0 x851_bit1 -x851_bit10 -x851_bit11 -x851_bit12 -x851_bit13 -x851_bit14 -x851_bit15 -x851_bit16 -x851_bit17 -x851_bit18 x851_bit19 x851_bit2 -x851_bit3 -x851_bit4 -x851_bit5 -x851_bit6 x851_bit7 -x851_bit8 -x851_bit9 x851_bit_1 x851_bit_10 x851_bit_2 x851_bit_3 x851_bit_4 x851_bit_5 x851_bit_6 x851_bit_7 x851_bit_8 x851_bit_9 x852_bit0 -x852_bit1 -x852_bit10 -x852_bit11 -x852_bit12 -x852_bit13 -x852_bit14 -x852_bit15 -x852_bit16 -x852_bit17 -x852_bit18 x852_bit19 x852_bit2 x852_bit3 x852_bit4 x852_bit5 -x852_bit6 -x852_bit7 -x852_bit8 -x852_bit9 x852_bit_1 -x852_bit_10 x852_bit_2 x852_bit_3 x852_bit_4 x852_bit_5 -x852_bit_6 x852_bit_7 x852_bit_8 x852_bit_9 -x853_bit0 -x853_bit1 -x853_bit10 -x853_bit11 -x853_bit12 -x853_bit13 -x853_bit14 -x853_bit15 x853_bit16 -x853_bit17 -x853_bit18 -x853_bit19 -x853_bit2 x853_bit3 -x853_bit4 x853_bit5 -x853_bit6 -x853_bit7 -x853_bit8 -x853_bit9 x853_bit_1 x853_bit_10 x853_bit_2 x853_bit_3 x853_bit_4 x853_bit_5 x853_bit_6 x853_bit_7 x853_bit_8 x853_bit_9 x854_bit0 -x854_bit1 -x854_bit10 -x854_bit11 -x854_bit12 -x854_bit13 -x854_bit14 -x854_bit15 x854_bit16 -x854_bit17 -x854_bit18 -x854_bit19 -x854_bit2 x854_bit3 x854_bit4 -x854_bit5 -x854_bit6 -x854_bit7 -x854_bit8 -x854_bit9 x854_bit_1 -x854_bit_10 x854_bit_2 x854_bit_3 x854_bit_4 x854_bit_5 x854_bit_6 x854_bit_7 x854_bit_8 x854_bit_9 -x855_bit0 -x855_bit1 x855_bit10 x855_bit11 x855_bit12 x855_bit13 x855_bit14 x855_bit15 x855_bit16 x855_bit17 x855_bit18 -x855_bit19 x855_bit2 -x855_bit3 x855_bit4 x855_bit5 x855_bit6 -x855_bit7 x855_bit8 x855_bit9 x855_bit_1 -x855_bit_10 x855_bit_2 x855_bit_3 x855_bit_4 x855_bit_5 x855_bit_6 x855_bit_7 x855_bit_8 x855_bit_9 -x856_bit0 -x856_bit1 -x856_bit10 -x856_bit11 -x856_bit12 -x856_bit13 -x856_bit14 -x856_bit15 x856_bit16 -x856_bit17 -x856_bit18 -x856_bit19 -x856_bit2 -x856_bit3 x856_bit4 x856_bit5 -x856_bit6 -x856_bit7 -x856_bit8 -x856_bit9 x856_bit_1 x856_bit_10 x856_bit_2 x856_bit_3 x856_bit_4 x856_bit_5 x856_bit_6 x856_bit_7 x856_bit_8 x856_bit_9 x857_bit0 x857_bit1 x857_bit10 x857_bit11 x857_bit12 x857_bit13 x857_bit14 x857_bit15 x857_bit16 x857_bit17 x857_bit18 -x857_bit19 x857_bit2 x857_bit3 x857_bit4 -x857_bit5 -x857_bit6 x857_bit7 x857_bit8 x857_bit9 x857_bit_1 -x857_bit_10 x857_bit_2 x857_bit_3 x857_bit_4 x857_bit_5 -x857_bit_6 x857_bit_7 x857_bit_8 x857_bit_9 x858_bit0 -x858_bit1 x858_bit10 x858_bit11 x858_bit12 x858_bit13 x858_bit14 x858_bit15 x858_bit16 x858_bit17 x858_bit18 -x858_bit19 x858_bit2 -x858_bit3 x858_bit4 -x858_bit5 -x858_bit6 -x858_bit7 x858_bit8 x858_bit9 -x858_bit_1 -x858_bit_10 x858_bit_2 x858_bit_3 x858_bit_4 x858_bit_5 x858_bit_6 x858_bit_7 x858_bit_8 x858_bit_9 x859_bit0 x859_bit1 -x859_bit10 -x859_bit11 -x859_bit12 -x859_bit13 -x859_bit14 -x859_bit15 x859_bit16 -x859_bit17 -x859_bit18 -x859_bit19 -x859_bit2 -x859_bit3 x859_bit4 x859_bit5 -x859_bit6 -x859_bit7 -x859_bit8 -x859_bit9 x859_bit_1 -x859_bit_10 x859_bit_2 x859_bit_3 x859_bit_4 x859_bit_5 x859_bit_6 x859_bit_7 x859_bit_8 x859_bit_9 -x85_bit0 x860_bit0 x860_bit1 -x860_bit10 -x860_bit11 -x860_bit12 -x860_bit13 -x860_bit14 -x860_bit15 x860_bit16 -x860_bit17 -x860_bit18 -x860_bit19 -x860_bit2 x860_bit3 -x860_bit4 x860_bit5 -x860_bit6 -x860_bit7 -x860_bit8 -x860_bit9 x860_bit_1 -x860_bit_10 x860_bit_2 x860_bit_3 x860_bit_4 x860_bit_5 x860_bit_6 x860_bit_7 x860_bit_8 x860_bit_9 x861_bit0 -x861_bit1 -x861_bit10 -x861_bit11 -x861_bit12 -x861_bit13 -x861_bit14 -x861_bit15 -x861_bit16 -x861_bit17 -x861_bit18 x861_bit19 x861_bit2 -x861_bit3 x861_bit4 -x861_bit5 x861_bit6 -x861_bit7 -x861_bit8 -x861_bit9 x861_bit_1 -x861_bit_10 x861_bit_2 x861_bit_3 x861_bit_4 x861_bit_5 x861_bit_6 x861_bit_7 x861_bit_8 x861_bit_9 x862_bit0 -x862_bit1 x862_bit10 x862_bit11 x862_bit12 x862_bit13 x862_bit14 x862_bit15 -x862_bit16 -x862_bit17 -x862_bit18 -x862_bit19 x862_bit2 -x862_bit3 x862_bit4 x862_bit5 x862_bit6 x862_bit7 x862_bit8 x862_bit9 x862_bit_1 x862_bit_10 x862_bit_2 x862_bit_3 x862_bit_4 x862_bit_5 x862_bit_6 x862_bit_7 x862_bit_8 x862_bit_9 x863_bit0 x863_bit1 -x863_bit10 -x863_bit11 -x863_bit12 -x863_bit13 -x863_bit14 -x863_bit15 -x863_bit16 -x863_bit17 -x863_bit18 x863_bit19 -x863_bit2 -x863_bit3 x863_bit4 x863_bit5 -x863_bit6 x863_bit7 -x863_bit8 -x863_bit9 x863_bit_1 x863_bit_10 x863_bit_2 x863_bit_3 x863_bit_4 x863_bit_5 x863_bit_6 x863_bit_7 x863_bit_8 x863_bit_9 x864_bit0 x864_bit1 -x864_bit10 -x864_bit11 -x864_bit12 -x864_bit13 -x864_bit14 -x864_bit15 -x864_bit16 -x864_bit17 -x864_bit18 x864_bit19 x864_bit2 x864_bit3 x864_bit4 x864_bit5 -x864_bit6 -x864_bit7 -x864_bit8 -x864_bit9 x864_bit_1 x864_bit_10 x864_bit_2 x864_bit_3 x864_bit_4 x864_bit_5 x864_bit_6 -x864_bit_7 x864_bit_8 x864_bit_9 x865_bit0 -x865_bit1 x865_bit10 x865_bit11 x865_bit12 x865_bit13 x865_bit14 x865_bit15 -x865_bit16 -x865_bit17 -x865_bit18 -x865_bit19 x865_bit2 x865_bit3 x865_bit4 x865_bit5 x865_bit6 x865_bit7 x865_bit8 x865_bit9 x865_bit_1 -x865_bit_10 x865_bit_2 x865_bit_3 x865_bit_4 x865_bit_5 x865_bit_6 x865_bit_7 x865_bit_8 x865_bit_9 x866_bit0 -x866_bit1 x866_bit10 x866_bit11 x866_bit12 x866_bit13 x866_bit14 x866_bit15 -x866_bit16 -x866_bit17 -x866_bit18 -x866_bit19 -x866_bit2 -x866_bit3 x866_bit4 x866_bit5 x866_bit6 x866_bit7 x866_bit8 x866_bit9 x866_bit_1 x866_bit_10 x866_bit_2 x866_bit_3 x866_bit_4 x866_bit_5 x866_bit_6 x866_bit_7 x866_bit_8 x866_bit_9 x867_bit0 -x867_bit1 -x867_bit10 -x867_bit11 -x867_bit12 -x867_bit13 -x867_bit14 -x867_bit15 -x867_bit16 -x867_bit17 -x867_bit18 x867_bit19 -x867_bit2 x867_bit3 x867_bit4 -x867_bit5 -x867_bit6 -x867_bit7 -x867_bit8 -x867_bit9 x867_bit_1 -x867_bit_10 x867_bit_2 x867_bit_3 x867_bit_4 x867_bit_5 x867_bit_6 x867_bit_7 x867_bit_8 x867_bit_9 x868_bit0 x868_bit1 x868_bit10 x868_bit11 x868_bit12 x868_bit13 x868_bit14 x868_bit15 -x868_bit16 -x868_bit17 -x868_bit18 -x868_bit19 x868_bit2 x868_bit3 x868_bit4 x868_bit5 x868_bit6 x868_bit7 x868_bit8 x868_bit9 x868_bit_1 x868_bit_10 x868_bit_2 x868_bit_3 x868_bit_4 x868_bit_5 x868_bit_6 x868_bit_7 x868_bit_8 x868_bit_9 -x869_bit0 x869_bit1 -x869_bit10 -x869_bit11 -x869_bit12 -x869_bit13 -x869_bit14 -x869_bit15 -x869_bit16 -x869_bit17 -x869_bit18 x869_bit19 x869_bit2 -x869_bit3 -x869_bit4 -x869_bit5 x869_bit6 -x869_bit7 -x869_bit8 -x869_bit9 x869_bit_1 -x869_bit_10 x869_bit_2 x869_bit_3 x869_bit_4 x869_bit_5 x869_bit_6 x869_bit_7 x869_bit_8 x869_bit_9 -x86_bit0 x870_bit0 x870_bit1 x870_bit10 x870_bit11 x870_bit12 x870_bit13 x870_bit14 x870_bit15 x870_bit16 x870_bit17 x870_bit18 -x870_bit19 x870_bit2 x870_bit3 x870_bit4 x870_bit5 x870_bit6 x870_bit7 x870_bit8 x870_bit9 x870_bit_1 x870_bit_10 -x870_bit_2 x870_bit_3 x870_bit_4 x870_bit_5 x870_bit_6 x870_bit_7 x870_bit_8 x870_bit_9 x871_bit0 x871_bit1 -x871_bit10 -x871_bit11 -x871_bit12 -x871_bit13 -x871_bit14 -x871_bit15 x871_bit16 -x871_bit17 -x871_bit18 -x871_bit19 x871_bit2 -x871_bit3 -x871_bit4 -x871_bit5 -x871_bit6 -x871_bit7 -x871_bit8 -x871_bit9 x871_bit_1 -x871_bit_10 x871_bit_2 x871_bit_3 x871_bit_4 x871_bit_5 x871_bit_6 x871_bit_7 x871_bit_8 x871_bit_9 x872_bit0 -x872_bit1 x872_bit10 x872_bit11 x872_bit12 x872_bit13 x872_bit14 x872_bit15 -x872_bit16 -x872_bit17 -x872_bit18 -x872_bit19 x872_bit2 x872_bit3 x872_bit4 x872_bit5 x872_bit6 x872_bit7 x872_bit8 x872_bit9 x872_bit_1 x872_bit_10 x872_bit_2 x872_bit_3 x872_bit_4 x872_bit_5 x872_bit_6 x872_bit_7 x872_bit_8 x872_bit_9 -x873_bit0 -x873_bit1 -x873_bit10 -x873_bit11 -x873_bit12 -x873_bit13 -x873_bit14 -x873_bit15 -x873_bit16 -x873_bit17 -x873_bit18 x873_bit19 x873_bit2 x873_bit3 x873_bit4 -x873_bit5 x873_bit6 -x873_bit7 -x873_bit8 -x873_bit9 x873_bit_1 -x873_bit_10 x873_bit_2 x873_bit_3 x873_bit_4 x873_bit_5 x873_bit_6 x873_bit_7 x873_bit_8 x873_bit_9 x874_bit0 x874_bit1 x874_bit10 x874_bit11 x874_bit12 x874_bit13 x874_bit14 x874_bit15 -x874_bit16 -x874_bit17 -x874_bit18 -x874_bit19 x874_bit2 x874_bit3 x874_bit4 x874_bit5 x874_bit6 x874_bit7 x874_bit8 x874_bit9 x874_bit_1 x874_bit_10 x874_bit_2 x874_bit_3 x874_bit_4 x874_bit_5 x874_bit_6 x874_bit_7 x874_bit_8 x874_bit_9 x875_bit0 x875_bit1 -x875_bit10 -x875_bit11 -x875_bit12 -x875_bit13 -x875_bit14 -x875_bit15 -x875_bit16 -x875_bit17 -x875_bit18 x875_bit19 -x875_bit2 x875_bit3 -x875_bit4 -x875_bit5 -x875_bit6 x875_bit7 -x875_bit8 -x875_bit9 x875_bit_1 x875_bit_10 x875_bit_2 x875_bit_3 x875_bit_4 x875_bit_5 x875_bit_6 x875_bit_7 x875_bit_8 x875_bit_9 x876_bit0 -x876_bit1 -x876_bit10 -x876_bit11 -x876_bit12 -x876_bit13 -x876_bit14 -x876_bit15 -x876_bit16 -x876_bit17 -x876_bit18 x876_bit19 -x876_bit2 -x876_bit3 x876_bit4 x876_bit5 -x876_bit6 -x876_bit7 -x876_bit8 -x876_bit9 x876_bit_1 x876_bit_10 x876_bit_2 x876_bit_3 x876_bit_4 x876_bit_5 x876_bit_6 x876_bit_7 x876_bit_8 x876_bit_9 x877_bit0 x877_bit1 -x877_bit10 -x877_bit11 -x877_bit12 -x877_bit13 -x877_bit14 -x877_bit15 x877_bit16 -x877_bit17 -x877_bit18 -x877_bit19 x877_bit2 -x877_bit3 -x877_bit4 -x877_bit5 -x877_bit6 -x877_bit7 -x877_bit8 -x877_bit9 x877_bit_1 -x877_bit_10 x877_bit_2 x877_bit_3 -x877_bit_4 -x877_bit_5 x877_bit_6 x877_bit_7 x877_bit_8 x877_bit_9 x878_bit0 -x878_bit1 x878_bit10 x878_bit11 x878_bit12 x878_bit13 x878_bit14 x878_bit15 -x878_bit16 -x878_bit17 -x878_bit18 -x878_bit19 x878_bit2 x878_bit3 x878_bit4 x878_bit5 x878_bit6 x878_bit7 x878_bit8 x878_bit9 x878_bit_1 x878_bit_10 x878_bit_2 x878_bit_3 x878_bit_4 x878_bit_5 x878_bit_6 x878_bit_7 x878_bit_8 x878_bit_9 x879_bit0 x879_bit1 x879_bit10 x879_bit11 x879_bit12 x879_bit13 x879_bit14 x879_bit15 x879_bit16 x879_bit17 x879_bit18 -x879_bit19 x879_bit2 x879_bit3 x879_bit4 -x879_bit5 x879_bit6 -x879_bit7 x879_bit8 x879_bit9 x879_bit_1 -x879_bit_10 x879_bit_2 x879_bit_3 x879_bit_4 x879_bit_5 x879_bit_6 x879_bit_7 x879_bit_8 x879_bit_9 -x87_bit0 x880_bit0 x880_bit1 -x880_bit10 -x880_bit11 -x880_bit12 -x880_bit13 -x880_bit14 -x880_bit15 x880_bit16 -x880_bit17 -x880_bit18 -x880_bit19 x880_bit2 x880_bit3 -x880_bit4 -x880_bit5 x880_bit6 -x880_bit7 -x880_bit8 -x880_bit9 x880_bit_1 x880_bit_10 x880_bit_2 x880_bit_3 x880_bit_4 x880_bit_5 x880_bit_6 x880_bit_7 x880_bit_8 x880_bit_9 x881_bit0 -x881_bit1 x881_bit10 x881_bit11 x881_bit12 x881_bit13 x881_bit14 x881_bit15 x881_bit16 x881_bit17 x881_bit18 -x881_bit19 x881_bit2 x881_bit3 x881_bit4 -x881_bit5 -x881_bit6 x881_bit7 x881_bit8 x881_bit9 -x881_bit_1 x881_bit_10 x881_bit_2 x881_bit_3 x881_bit_4 x881_bit_5 x881_bit_6 x881_bit_7 x881_bit_8 x881_bit_9 x882_bit0 -x882_bit1 x882_bit10 x882_bit11 x882_bit12 x882_bit13 x882_bit14 x882_bit15 x882_bit16 x882_bit17 x882_bit18 -x882_bit19 x882_bit2 x882_bit3 x882_bit4 x882_bit5 -x882_bit6 -x882_bit7 x882_bit8 x882_bit9 x882_bit_1 x882_bit_10 x882_bit_2 x882_bit_3 x882_bit_4 x882_bit_5 x882_bit_6 x882_bit_7 x882_bit_8 x882_bit_9 -x883_bit0 -x883_bit1 -x883_bit10 -x883_bit11 -x883_bit12 -x883_bit13 -x883_bit14 -x883_bit15 x883_bit16 -x883_bit17 -x883_bit18 -x883_bit19 x883_bit2 -x883_bit3 x883_bit4 -x883_bit5 x883_bit6 -x883_bit7 -x883_bit8 -x883_bit9 x883_bit_1 x883_bit_10 x883_bit_2 x883_bit_3 x883_bit_4 x883_bit_5 x883_bit_6 x883_bit_7 x883_bit_8 x883_bit_9 x884_bit0 x884_bit1 -x884_bit10 -x884_bit11 -x884_bit12 -x884_bit13 -x884_bit14 -x884_bit15 x884_bit16 -x884_bit17 -x884_bit18 -x884_bit19 -x884_bit2 x884_bit3 -x884_bit4 -x884_bit5 x884_bit6 -x884_bit7 -x884_bit8 -x884_bit9 x884_bit_1 x884_bit_10 x884_bit_2 x884_bit_3 x884_bit_4 x884_bit_5 x884_bit_6 x884_bit_7 x884_bit_8 x884_bit_9 -x885_bit0 -x885_bit1 x885_bit10 x885_bit11 x885_bit12 x885_bit13 x885_bit14 x885_bit15 x885_bit16 x885_bit17 x885_bit18 -x885_bit19 -x885_bit2 x885_bit3 x885_bit4 -x885_bit5 x885_bit6 -x885_bit7 x885_bit8 x885_bit9 x885_bit_1 -x885_bit_10 x885_bit_2 x885_bit_3 x885_bit_4 x885_bit_5 x885_bit_6 x885_bit_7 x885_bit_8 x885_bit_9 -x886_bit0 -x886_bit1 -x886_bit10 -x886_bit11 -x886_bit12 -x886_bit13 -x886_bit14 -x886_bit15 x886_bit16 -x886_bit17 -x886_bit18 -x886_bit19 x886_bit2 -x886_bit3 x886_bit4 x886_bit5 -x886_bit6 -x886_bit7 -x886_bit8 -x886_bit9 x886_bit_1 x886_bit_10 x886_bit_2 x886_bit_3 x886_bit_4 x886_bit_5 x886_bit_6 x886_bit_7 x886_bit_8 x886_bit_9 x887_bit0 -x887_bit1 x887_bit10 x887_bit11 x887_bit12 x887_bit13 x887_bit14 x887_bit15 x887_bit16 x887_bit17 x887_bit18 -x887_bit19 -x887_bit2 x887_bit3 x887_bit4 -x887_bit5 -x887_bit6 x887_bit7 x887_bit8 x887_bit9 x887_bit_1 -x887_bit_10 x887_bit_2 x887_bit_3 x887_bit_4 x887_bit_5 x887_bit_6 x887_bit_7 x887_bit_8 x887_bit_9 x888_bit0 -x888_bit1 x888_bit10 x888_bit11 x888_bit12 x888_bit13 x888_bit14 x888_bit15 x888_bit16 x888_bit17 x888_bit18 -x888_bit19 x888_bit2 -x888_bit3 x888_bit4 -x888_bit5 x888_bit6 -x888_bit7 x888_bit8 x888_bit9 x888_bit_1 x888_bit_10 x888_bit_2 x888_bit_3 x888_bit_4 x888_bit_5 x888_bit_6 x888_bit_7 x888_bit_8 x888_bit_9 x889_bit0 x889_bit1 -x889_bit10 -x889_bit11 -x889_bit12 -x889_bit13 -x889_bit14 -x889_bit15 x889_bit16 -x889_bit17 -x889_bit18 -x889_bit19 x889_bit2 -x889_bit3 x889_bit4 x889_bit5 -x889_bit6 -x889_bit7 -x889_bit8 -x889_bit9 x889_bit_1 x889_bit_10 x889_bit_2 x889_bit_3 x889_bit_4 x889_bit_5 x889_bit_6 x889_bit_7 x889_bit_8 x889_bit_9 -x88_bit0 x890_bit0 x890_bit1 -x890_bit10 -x890_bit11 -x890_bit12 -x890_bit13 -x890_bit14 -x890_bit15 x890_bit16 -x890_bit17 -x890_bit18 -x890_bit19 x890_bit2 x890_bit3 -x890_bit4 x890_bit5 -x890_bit6 -x890_bit7 -x890_bit8 -x890_bit9 x890_bit_1 x890_bit_10 x890_bit_2 x890_bit_3 x890_bit_4 x890_bit_5 x890_bit_6 x890_bit_7 x890_bit_8 x890_bit_9 -x891_bit0 -x891_bit1 x891_bit10 x891_bit11 x891_bit12 x891_bit13 x891_bit14 x891_bit15 x891_bit16 x891_bit17 x891_bit18 -x891_bit19 -x891_bit2 -x891_bit3 -x891_bit4 -x891_bit5 -x891_bit6 x891_bit7 x891_bit8 x891_bit9 x891_bit_1 -x891_bit_10 x891_bit_2 x891_bit_3 x891_bit_4 x891_bit_5 x891_bit_6 x891_bit_7 x891_bit_8 x891_bit_9 x892_bit0 -x892_bit1 -x892_bit10 -x892_bit11 -x892_bit12 -x892_bit13 -x892_bit14 -x892_bit15 x892_bit16 -x892_bit17 -x892_bit18 -x892_bit19 -x892_bit2 -x892_bit3 -x892_bit4 x892_bit5 -x892_bit6 -x892_bit7 -x892_bit8 -x892_bit9 x892_bit_1 x892_bit_10 x892_bit_2 x892_bit_3 x892_bit_4 x892_bit_5 x892_bit_6 x892_bit_7 x892_bit_8 x892_bit_9 x893_bit0 -x893_bit1 x893_bit10 x893_bit11 x893_bit12 x893_bit13 x893_bit14 x893_bit15 x893_bit16 x893_bit17 x893_bit18 -x893_bit19 x893_bit2 x893_bit3 x893_bit4 x893_bit5 -x893_bit6 x893_bit7 x893_bit8 x893_bit9 x893_bit_1 -x893_bit_10 x893_bit_2 x893_bit_3 x893_bit_4 x893_bit_5 x893_bit_6 x893_bit_7 x893_bit_8 x893_bit_9 x894_bit0 x894_bit1 x894_bit10 x894_bit11 x894_bit12 x894_bit13 x894_bit14 x894_bit15 x894_bit16 x894_bit17 x894_bit18 -x894_bit19 x894_bit2 x894_bit3 x894_bit4 x894_bit5 -x894_bit6 -x894_bit7 x894_bit8 x894_bit9 x894_bit_1 x894_bit_10 x894_bit_2 x894_bit_3 x894_bit_4 x894_bit_5 x894_bit_6 x894_bit_7 x894_bit_8 x894_bit_9 x895_bit0 -x895_bit1 -x895_bit10 -x895_bit11 -x895_bit12 -x895_bit13 -x895_bit14 -x895_bit15 x895_bit16 -x895_bit17 -x895_bit18 -x895_bit19 -x895_bit2 x895_bit3 -x895_bit4 x895_bit5 -x895_bit6 -x895_bit7 -x895_bit8 -x895_bit9 x895_bit_1 -x895_bit_10 x895_bit_2 x895_bit_3 x895_bit_4 x895_bit_5 x895_bit_6 x895_bit_7 x895_bit_8 x895_bit_9 x896_bit0 -x896_bit1 -x896_bit10 -x896_bit11 -x896_bit12 -x896_bit13 -x896_bit14 -x896_bit15 x896_bit16 -x896_bit17 -x896_bit18 -x896_bit19 x896_bit2 x896_bit3 x896_bit4 -x896_bit5 -x896_bit6 -x896_bit7 -x896_bit8 -x896_bit9 x896_bit_1 x896_bit_10 x896_bit_2 x896_bit_3 x896_bit_4 x896_bit_5 x896_bit_6 x896_bit_7 x896_bit_8 x896_bit_9 -x897_bit0 x897_bit1 -x897_bit10 -x897_bit11 -x897_bit12 -x897_bit13 -x897_bit14 -x897_bit15 -x897_bit16 -x897_bit17 -x897_bit18 x897_bit19 -x897_bit2 x897_bit3 x897_bit4 -x897_bit5 x897_bit6 -x897_bit7 -x897_bit8 -x897_bit9 x897_bit_1 -x897_bit_10 x897_bit_2 x897_bit_3 x897_bit_4 x897_bit_5 x897_bit_6 x897_bit_7 x897_bit_8 x897_bit_9 x898_bit0 x898_bit1 x898_bit10 x898_bit11 x898_bit12 x898_bit13 x898_bit14 x898_bit15 -x898_bit16 -x898_bit17 -x898_bit18 -x898_bit19 x898_bit2 -x898_bit3 x898_bit4 x898_bit5 x898_bit6 x898_bit7 x898_bit8 x898_bit9 x898_bit_1 x898_bit_10 x898_bit_2 x898_bit_3 x898_bit_4 x898_bit_5 x898_bit_6 x898_bit_7 x898_bit_8 x898_bit_9 x899_bit0 -x899_bit1 -x899_bit10 -x899_bit11 -x899_bit12 -x899_bit13 -x899_bit14 -x899_bit15 -x899_bit16 -x899_bit17 -x899_bit18 x899_bit19 -x899_bit2 -x899_bit3 x899_bit4 -x899_bit5 x899_bit6 x899_bit7 -x899_bit8 -x899_bit9 x899_bit_1 x899_bit_10 x899_bit_2 -x899_bit_3 x899_bit_4 x899_bit_5 x899_bit_6 x899_bit_7 x899_bit_8 x899_bit_9 -x89_bit0 -x8_bit0 x900_bit0 x900_bit1 -x900_bit10 -x900_bit11 -x900_bit12 -x900_bit13 -x900_bit14 -x900_bit15 -x900_bit16 -x900_bit17 -x900_bit18 x900_bit19 x900_bit2 x900_bit3 -x900_bit4 x900_bit5 -x900_bit6 -x900_bit7 -x900_bit8 -x900_bit9 x900_bit_1 x900_bit_10 x900_bit_2 x900_bit_3 x900_bit_4 x900_bit_5 x900_bit_6 x900_bit_7 x900_bit_8 x900_bit_9 -x901_bit0 x901_bit1 x901_bit10 x901_bit11 x901_bit12 x901_bit13 x901_bit14 x901_bit15 -x901_bit16 -x901_bit17 -x901_bit18 -x901_bit19 -x901_bit2 x901_bit3 x901_bit4 x901_bit5 x901_bit6 x901_bit7 x901_bit8 x901_bit9 x901_bit_1 -x901_bit_10 x901_bit_2 x901_bit_3 x901_bit_4 x901_bit_5 x901_bit_6 x901_bit_7 x901_bit_8 x901_bit_9 x902_bit0 x902_bit1 x902_bit10 x902_bit11 x902_bit12 x902_bit13 x902_bit14 x902_bit15 -x902_bit16 -x902_bit17 -x902_bit18 -x902_bit19 x902_bit2 x902_bit3 -x902_bit4 x902_bit5 x902_bit6 x902_bit7 x902_bit8 x902_bit9 x902_bit_1 x902_bit_10 x902_bit_2 x902_bit_3 x902_bit_4 x902_bit_5 x902_bit_6 x902_bit_7 x902_bit_8 x902_bit_9 -x903_bit0 -x903_bit1 -x903_bit10 -x903_bit11 -x903_bit12 -x903_bit13 -x903_bit14 -x903_bit15 -x903_bit16 -x903_bit17 -x903_bit18 x903_bit19 x903_bit2 x903_bit3 x903_bit4 -x903_bit5 x903_bit6 -x903_bit7 -x903_bit8 -x903_bit9 x903_bit_1 -x903_bit_10 x903_bit_2 x903_bit_3 x903_bit_4 x903_bit_5 x903_bit_6 x903_bit_7 x903_bit_8 x903_bit_9 x904_bit0 x904_bit1 x904_bit10 x904_bit11 x904_bit12 x904_bit13 x904_bit14 x904_bit15 -x904_bit16 -x904_bit17 -x904_bit18 -x904_bit19 x904_bit2 x904_bit3 x904_bit4 x904_bit5 x904_bit6 x904_bit7 x904_bit8 x904_bit9 x904_bit_1 x904_bit_10 x904_bit_2 x904_bit_3 x904_bit_4 x904_bit_5 x904_bit_6 x904_bit_7 x904_bit_8 x904_bit_9 x905_bit0 -x905_bit1 -x905_bit10 -x905_bit11 -x905_bit12 -x905_bit13 -x905_bit14 -x905_bit15 -x905_bit16 -x905_bit17 -x905_bit18 x905_bit19 -x905_bit2 -x905_bit3 -x905_bit4 x905_bit5 -x905_bit6 x905_bit7 -x905_bit8 -x905_bit9 x905_bit_1 x905_bit_10 x905_bit_2 x905_bit_3 x905_bit_4 x905_bit_5 x905_bit_6 x905_bit_7 x905_bit_8 x905_bit_9 x906_bit0 x906_bit1 -x906_bit10 -x906_bit11 -x906_bit12 -x906_bit13 -x906_bit14 -x906_bit15 -x906_bit16 -x906_bit17 -x906_bit18 x906_bit19 x906_bit2 -x906_bit3 x906_bit4 -x906_bit5 -x906_bit6 -x906_bit7 -x906_bit8 -x906_bit9 x906_bit_1 x906_bit_10 x906_bit_2 x906_bit_3 x906_bit_4 x906_bit_5 x906_bit_6 x906_bit_7 x906_bit_8 x906_bit_9 x907_bit0 x907_bit1 -x907_bit10 -x907_bit11 -x907_bit12 -x907_bit13 -x907_bit14 -x907_bit15 x907_bit16 -x907_bit17 -x907_bit18 -x907_bit19 x907_bit2 -x907_bit3 -x907_bit4 -x907_bit5 -x907_bit6 -x907_bit7 -x907_bit8 -x907_bit9 x907_bit_1 -x907_bit_10 x907_bit_2 x907_bit_3 x907_bit_4 x907_bit_5 x907_bit_6 x907_bit_7 x907_bit_8 x907_bit_9 x908_bit0 -x908_bit1 x908_bit10 x908_bit11 x908_bit12 x908_bit13 x908_bit14 x908_bit15 -x908_bit16 -x908_bit17 -x908_bit18 -x908_bit19 x908_bit2 x908_bit3 x908_bit4 x908_bit5 x908_bit6 x908_bit7 x908_bit8 x908_bit9 x908_bit_1 x908_bit_10 x908_bit_2 x908_bit_3 x908_bit_4 x908_bit_5 x908_bit_6 x908_bit_7 x908_bit_8 x908_bit_9 -x909_bit0 x909_bit1 x909_bit10 x909_bit11 x909_bit12 x909_bit13 x909_bit14 x909_bit15 x909_bit16 x909_bit17 x909_bit18 -x909_bit19 -x909_bit2 x909_bit3 -x909_bit4 -x909_bit5 -x909_bit6 -x909_bit7 x909_bit8 x909_bit9 x909_bit_1 -x909_bit_10 x909_bit_2 x909_bit_3 x909_bit_4 x909_bit_5 x909_bit_6 x909_bit_7 x909_bit_8 x909_bit_9 -x90_bit0 -x910_bit0 -x910_bit1 -x910_bit10 -x910_bit11 -x910_bit12 -x910_bit13 -x910_bit14 -x910_bit15 x910_bit16 -x910_bit17 -x910_bit18 -x910_bit19 x910_bit2 -x910_bit3 x910_bit4 -x910_bit5 x910_bit6 -x910_bit7 -x910_bit8 -x910_bit9 x910_bit_1 x910_bit_10 x910_bit_2 x910_bit_3 x910_bit_4 x910_bit_5 x910_bit_6 x910_bit_7 x910_bit_8 x910_bit_9 x911_bit0 x911_bit1 x911_bit10 x911_bit11 x911_bit12 x911_bit13 x911_bit14 x911_bit15 x911_bit16 x911_bit17 x911_bit18 -x911_bit19 x911_bit2 x911_bit3 x911_bit4 x911_bit5 -x911_bit6 -x911_bit7 x911_bit8 x911_bit9 x911_bit_1 x911_bit_10 x911_bit_2 x911_bit_3 x911_bit_4 x911_bit_5 x911_bit_6 x911_bit_7 x911_bit_8 x911_bit_9 x912_bit0 x912_bit1 x912_bit10 x912_bit11 x912_bit12 x912_bit13 x912_bit14 x912_bit15 x912_bit16 x912_bit17 x912_bit18 -x912_bit19 -x912_bit2 x912_bit3 x912_bit4 -x912_bit5 x912_bit6 x912_bit7 -x912_bit8 x912_bit9 x912_bit_1 -x912_bit_10 -x912_bit_2 x912_bit_3 x912_bit_4 x912_bit_5 x912_bit_6 x912_bit_7 x912_bit_8 x912_bit_9 -x913_bit0 -x913_bit1 -x913_bit10 -x913_bit11 -x913_bit12 -x913_bit13 -x913_bit14 -x913_bit15 x913_bit16 -x913_bit17 -x913_bit18 -x913_bit19 x913_bit2 x913_bit3 x913_bit4 -x913_bit5 x913_bit6 -x913_bit7 -x913_bit8 -x913_bit9 x913_bit_1 x913_bit_10 x913_bit_2 x913_bit_3 x913_bit_4 x913_bit_5 x913_bit_6 x913_bit_7 x913_bit_8 x913_bit_9 x914_bit0 x914_bit1 -x914_bit10 -x914_bit11 -x914_bit12 -x914_bit13 -x914_bit14 -x914_bit15 x914_bit16 -x914_bit17 -x914_bit18 -x914_bit19 x914_bit2 x914_bit3 -x914_bit4 -x914_bit5 x914_bit6 -x914_bit7 -x914_bit8 -x914_bit9 x914_bit_1 x914_bit_10 x914_bit_2 x914_bit_3 x914_bit_4 x914_bit_5 x914_bit_6 x914_bit_7 x914_bit_8 x914_bit_9 x915_bit0 x915_bit1 x915_bit10 x915_bit11 x915_bit12 x915_bit13 x915_bit14 x915_bit15 x915_bit16 x915_bit17 x915_bit18 -x915_bit19 x915_bit2 x915_bit3 -x915_bit4 x915_bit5 x915_bit6 -x915_bit7 x915_bit8 x915_bit9 x915_bit_1 -x915_bit_10 x915_bit_2 x915_bit_3 x915_bit_4 x915_bit_5 x915_bit_6 x915_bit_7 x915_bit_8 x915_bit_9 -x916_bit0 -x916_bit1 -x916_bit10 -x916_bit11 -x916_bit12 -x916_bit13 -x916_bit14 -x916_bit15 x916_bit16 -x916_bit17 -x916_bit18 -x916_bit19 x916_bit2 x916_bit3 x916_bit4 x916_bit5 -x916_bit6 -x916_bit7 -x916_bit8 -x916_bit9 x916_bit_1 x916_bit_10 x916_bit_2 x916_bit_3 x916_bit_4 x916_bit_5 x916_bit_6 x916_bit_7 x916_bit_8 x916_bit_9 x917_bit0 -x917_bit1 x917_bit10 x917_bit11 x917_bit12 x917_bit13 x917_bit14 x917_bit15 x917_bit16 x917_bit17 x917_bit18 -x917_bit19 x917_bit2 x917_bit3 -x917_bit4 -x917_bit5 -x917_bit6 x917_bit7 x917_bit8 x917_bit9 x917_bit_1 x917_bit_10 x917_bit_2 x917_bit_3 x917_bit_4 x917_bit_5 x917_bit_6 x917_bit_7 x917_bit_8 x917_bit_9 x918_bit0 x918_bit1 x918_bit10 x918_bit11 x918_bit12 x918_bit13 x918_bit14 x918_bit15 x918_bit16 x918_bit17 x918_bit18 -x918_bit19 x918_bit2 x918_bit3 -x918_bit4 -x918_bit5 x918_bit6 -x918_bit7 x918_bit8 x918_bit9 x918_bit_1 -x918_bit_10 x918_bit_2 x918_bit_3 x918_bit_4 x918_bit_5 x918_bit_6 x918_bit_7 x918_bit_8 x918_bit_9 x919_bit0 -x919_bit1 -x919_bit10 -x919_bit11 -x919_bit12 -x919_bit13 -x919_bit14 -x919_bit15 x919_bit16 -x919_bit17 -x919_bit18 -x919_bit19 x919_bit2 -x919_bit3 -x919_bit4 -x919_bit5 x919_bit6 -x919_bit7 -x919_bit8 -x919_bit9 x919_bit_1 -x919_bit_10 -x919_bit_2 x919_bit_3 x919_bit_4 x919_bit_5 x919_bit_6 x919_bit_7 x919_bit_8 -x919_bit_9 -x91_bit0 x920_bit0 -x920_bit1 -x920_bit10 -x920_bit11 -x920_bit12 -x920_bit13 -x920_bit14 -x920_bit15 x920_bit16 -x920_bit17 -x920_bit18 -x920_bit19 -x920_bit2 x920_bit3 x920_bit4 x920_bit5 -x920_bit6 -x920_bit7 -x920_bit8 -x920_bit9 x920_bit_1 x920_bit_10 x920_bit_2 x920_bit_3 x920_bit_4 x920_bit_5 x920_bit_6 x920_bit_7 x920_bit_8 x920_bit_9 -x921_bit0 -x921_bit1 -x921_bit10 -x921_bit11 -x921_bit12 -x921_bit13 -x921_bit14 -x921_bit15 -x921_bit16 -x921_bit17 -x921_bit18 x921_bit19 -x921_bit2 -x921_bit3 x921_bit4 x921_bit5 x921_bit6 -x921_bit7 -x921_bit8 -x921_bit9 x921_bit_1 -x921_bit_10 x921_bit_2 x921_bit_3 x921_bit_4 x921_bit_5 x921_bit_6 x921_bit_7 x921_bit_8 x921_bit_9 -x922_bit0 -x922_bit1 -x922_bit10 -x922_bit11 -x922_bit12 -x922_bit13 -x922_bit14 -x922_bit15 x922_bit16 -x922_bit17 -x922_bit18 -x922_bit19 -x922_bit2 x922_bit3 x922_bit4 -x922_bit5 -x922_bit6 -x922_bit7 -x922_bit8 -x922_bit9 x922_bit_1 x922_bit_10 x922_bit_2 x922_bit_3 x922_bit_4 x922_bit_5 x922_bit_6 x922_bit_7 x922_bit_8 x922_bit_9 -x923_bit0 x923_bit1 -x923_bit10 -x923_bit11 -x923_bit12 -x923_bit13 -x923_bit14 -x923_bit15 -x923_bit16 -x923_bit17 -x923_bit18 x923_bit19 x923_bit2 x923_bit3 x923_bit4 -x923_bit5 -x923_bit6 x923_bit7 -x923_bit8 -x923_bit9 x923_bit_1 x923_bit_10 -x923_bit_2 x923_bit_3 x923_bit_4 x923_bit_5 x923_bit_6 x923_bit_7 x923_bit_8 x923_bit_9 x924_bit0 -x924_bit1 -x924_bit10 -x924_bit11 -x924_bit12 -x924_bit13 -x924_bit14 -x924_bit15 -x924_bit16 -x924_bit17 -x924_bit18 x924_bit19 -x924_bit2 x924_bit3 -x924_bit4 -x924_bit5 x924_bit6 -x924_bit7 -x924_bit8 -x924_bit9 x924_bit_1 x924_bit_10 x924_bit_2 x924_bit_3 x924_bit_4 x924_bit_5 x924_bit_6 x924_bit_7 x924_bit_8 x924_bit_9 x925_bit0 -x925_bit1 -x925_bit10 -x925_bit11 -x925_bit12 -x925_bit13 -x925_bit14 -x925_bit15 x925_bit16 -x925_bit17 -x925_bit18 -x925_bit19 -x925_bit2 -x925_bit3 -x925_bit4 x925_bit5 -x925_bit6 -x925_bit7 -x925_bit8 -x925_bit9 x925_bit_1 x925_bit_10 x925_bit_2 x925_bit_3 x925_bit_4 x925_bit_5 x925_bit_6 x925_bit_7 x925_bit_8 x925_bit_9 -x926_bit0 -x926_bit1 -x926_bit10 -x926_bit11 -x926_bit12 -x926_bit13 -x926_bit14 -x926_bit15 x926_bit16 -x926_bit17 -x926_bit18 -x926_bit19 -x926_bit2 x926_bit3 x926_bit4 -x926_bit5 -x926_bit6 -x926_bit7 -x926_bit8 -x926_bit9 x926_bit_1 x926_bit_10 x926_bit_2 x926_bit_3 x926_bit_4 x926_bit_5 x926_bit_6 x926_bit_7 x926_bit_8 x926_bit_9 -x927_bit0 x927_bit1 x927_bit10 x927_bit11 x927_bit12 x927_bit13 x927_bit14 x927_bit15 x927_bit16 x927_bit17 x927_bit18 -x927_bit19 -x927_bit2 -x927_bit3 -x927_bit4 -x927_bit5 x927_bit6 x927_bit7 x927_bit8 x927_bit9 x927_bit_1 -x927_bit_10 x927_bit_2 x927_bit_3 x927_bit_4 x927_bit_5 x927_bit_6 x927_bit_7 x927_bit_8 x927_bit_9 x928_bit0 -x928_bit1 -x928_bit10 -x928_bit11 -x928_bit12 -x928_bit13 -x928_bit14 -x928_bit15 x928_bit16 -x928_bit17 -x928_bit18 -x928_bit19 x928_bit2 -x928_bit3 x928_bit4 x928_bit5 -x928_bit6 -x928_bit7 -x928_bit8 -x928_bit9 x928_bit_1 x928_bit_10 x928_bit_2 x928_bit_3 x928_bit_4 x928_bit_5 x928_bit_6 x928_bit_7 x928_bit_8 x928_bit_9 x929_bit0 -x929_bit1 x929_bit10 x929_bit11 x929_bit12 x929_bit13 x929_bit14 x929_bit15 x929_bit16 x929_bit17 x929_bit18 -x929_bit19 -x929_bit2 x929_bit3 x929_bit4 x929_bit5 x929_bit6 x929_bit7 x929_bit8 x929_bit9 x929_bit_1 x929_bit_10 x929_bit_2 x929_bit_3 x929_bit_4 x929_bit_5 x929_bit_6 x929_bit_7 x929_bit_8 x929_bit_9 -x92_bit0 x930_bit0 x930_bit1 x930_bit10 x930_bit11 x930_bit12 x930_bit13 x930_bit14 x930_bit15 x930_bit16 x930_bit17 x930_bit18 -x930_bit19 x930_bit2 x930_bit3 x930_bit4 -x930_bit5 -x930_bit6 x930_bit7 x930_bit8 x930_bit9 x930_bit_1 x930_bit_10 x930_bit_2 x930_bit_3 x930_bit_4 x930_bit_5 x930_bit_6 x930_bit_7 x930_bit_8 x930_bit_9 x931_bit0 -x931_bit1 -x931_bit10 -x931_bit11 -x931_bit12 -x931_bit13 -x931_bit14 -x931_bit15 x931_bit16 -x931_bit17 -x931_bit18 -x931_bit19 x931_bit2 x931_bit3 x931_bit4 x931_bit5 -x931_bit6 -x931_bit7 -x931_bit8 -x931_bit9 x931_bit_1 x931_bit_10 x931_bit_2 x931_bit_3 x931_bit_4 x931_bit_5 x931_bit_6 x931_bit_7 x931_bit_8 x931_bit_9 x932_bit0 -x932_bit1 -x932_bit10 -x932_bit11 -x932_bit12 -x932_bit13 -x932_bit14 -x932_bit15 x932_bit16 -x932_bit17 -x932_bit18 -x932_bit19 x932_bit2 -x932_bit3 x932_bit4 x932_bit5 -x932_bit6 -x932_bit7 -x932_bit8 -x932_bit9 x932_bit_1 x932_bit_10 x932_bit_2 x932_bit_3 x932_bit_4 x932_bit_5 x932_bit_6 x932_bit_7 x932_bit_8 x932_bit_9 x933_bit0 x933_bit1 x933_bit10 x933_bit11 x933_bit12 x933_bit13 x933_bit14 x933_bit15 x933_bit16 x933_bit17 x933_bit18 -x933_bit19 x933_bit2 -x933_bit3 x933_bit4 x933_bit5 x933_bit6 -x933_bit7 x933_bit8 x933_bit9 x933_bit_1 -x933_bit_10 x933_bit_2 x933_bit_3 x933_bit_4 x933_bit_5 x933_bit_6 x933_bit_7 x933_bit_8 x933_bit_9 x934_bit0 -x934_bit1 -x934_bit10 -x934_bit11 -x934_bit12 -x934_bit13 -x934_bit14 -x934_bit15 x934_bit16 -x934_bit17 -x934_bit18 -x934_bit19 -x934_bit2 -x934_bit3 -x934_bit4 x934_bit5 -x934_bit6 -x934_bit7 -x934_bit8 -x934_bit9 x934_bit_1 x934_bit_10 x934_bit_2 x934_bit_3 x934_bit_4 x934_bit_5 x934_bit_6 x934_bit_7 x934_bit_8 x934_bit_9 x935_bit0 -x935_bit1 x935_bit10 x935_bit11 x935_bit12 x935_bit13 x935_bit14 x935_bit15 x935_bit16 x935_bit17 x935_bit18 -x935_bit19 x935_bit2 -x935_bit3 -x935_bit4 -x935_bit5 x935_bit6 x935_bit7 x935_bit8 x935_bit9 x935_bit_1 -x935_bit_10 x935_bit_2 x935_bit_3 x935_bit_4 x935_bit_5 x935_bit_6 x935_bit_7 x935_bit_8 x935_bit_9 x936_bit0 x936_bit1 x936_bit10 x936_bit11 x936_bit12 x936_bit13 x936_bit14 x936_bit15 x936_bit16 x936_bit17 x936_bit18 -x936_bit19 x936_bit2 x936_bit3 x936_bit4 x936_bit5 x936_bit6 x936_bit7 -x936_bit8 x936_bit9 x936_bit_1 x936_bit_10 x936_bit_2 x936_bit_3 x936_bit_4 x936_bit_5 x936_bit_6 x936_bit_7 x936_bit_8 x936_bit_9 x937_bit0 -x937_bit1 -x937_bit10 -x937_bit11 -x937_bit12 -x937_bit13 -x937_bit14 -x937_bit15 x937_bit16 -x937_bit17 -x937_bit18 -x937_bit19 -x937_bit2 x937_bit3 -x937_bit4 x937_bit5 -x937_bit6 -x937_bit7 -x937_bit8 -x937_bit9 x937_bit_1 -x937_bit_10 x937_bit_2 x937_bit_3 x937_bit_4 x937_bit_5 x937_bit_6 x937_bit_7 x937_bit_8 x937_bit_9 x938_bit0 -x938_bit1 -x938_bit10 -x938_bit11 -x938_bit12 -x938_bit13 -x938_bit14 -x938_bit15 x938_bit16 -x938_bit17 -x938_bit18 -x938_bit19 -x938_bit2 -x938_bit3 -x938_bit4 x938_bit5 -x938_bit6 -x938_bit7 -x938_bit8 -x938_bit9 x938_bit_1 -x938_bit_10 x938_bit_2 x938_bit_3 x938_bit_4 x938_bit_5 x938_bit_6 x938_bit_7 x938_bit_8 x938_bit_9 x939_bit0 x939_bit1 x939_bit10 x939_bit11 x939_bit12 x939_bit13 x939_bit14 x939_bit15 x939_bit16 x939_bit17 x939_bit18 -x939_bit19 -x939_bit2 -x939_bit3 x939_bit4 x939_bit5 x939_bit6 -x939_bit7 x939_bit8 x939_bit9 x939_bit_1 -x939_bit_10 x939_bit_2 x939_bit_3 x939_bit_4 x939_bit_5 x939_bit_6 x939_bit_7 x939_bit_8 x939_bit_9 -x93_bit0 -x940_bit0 x940_bit1 -x940_bit10 -x940_bit11 -x940_bit12 -x940_bit13 -x940_bit14 -x940_bit15 x940_bit16 -x940_bit17 -x940_bit18 -x940_bit19 -x940_bit2 x940_bit3 -x940_bit4 x940_bit5 -x940_bit6 -x940_bit7 -x940_bit8 -x940_bit9 x940_bit_1 x940_bit_10 x940_bit_2 x940_bit_3 x940_bit_4 x940_bit_5 x940_bit_6 x940_bit_7 x940_bit_8 x940_bit_9 -x941_bit0 x941_bit1 x941_bit10 x941_bit11 x941_bit12 x941_bit13 x941_bit14 x941_bit15 x941_bit16 x941_bit17 x941_bit18 -x941_bit19 x941_bit2 -x941_bit3 x941_bit4 x941_bit5 -x941_bit6 x941_bit7 x941_bit8 x941_bit9 x941_bit_1 -x941_bit_10 x941_bit_2 x941_bit_3 x941_bit_4 x941_bit_5 x941_bit_6 x941_bit_7 x941_bit_8 x941_bit_9 x942_bit0 -x942_bit1 x942_bit10 x942_bit11 x942_bit12 x942_bit13 x942_bit14 x942_bit15 x942_bit16 x942_bit17 x942_bit18 -x942_bit19 x942_bit2 x942_bit3 x942_bit4 -x942_bit5 x942_bit6 -x942_bit7 x942_bit8 x942_bit9 x942_bit_1 x942_bit_10 x942_bit_2 x942_bit_3 x942_bit_4 x942_bit_5 x942_bit_6 x942_bit_7 x942_bit_8 x942_bit_9 x943_bit0 x943_bit1 -x943_bit10 -x943_bit11 -x943_bit12 -x943_bit13 -x943_bit14 -x943_bit15 x943_bit16 -x943_bit17 -x943_bit18 -x943_bit19 x943_bit2 x943_bit3 -x943_bit4 x943_bit5 -x943_bit6 -x943_bit7 -x943_bit8 -x943_bit9 x943_bit_1 -x943_bit_10 x943_bit_2 x943_bit_3 x943_bit_4 x943_bit_5 x943_bit_6 x943_bit_7 x943_bit_8 x943_bit_9 x944_bit0 -x944_bit1 -x944_bit10 -x944_bit11 -x944_bit12 -x944_bit13 -x944_bit14 -x944_bit15 x944_bit16 -x944_bit17 -x944_bit18 -x944_bit19 x944_bit2 -x944_bit3 -x944_bit4 x944_bit5 -x944_bit6 -x944_bit7 -x944_bit8 -x944_bit9 x944_bit_1 x944_bit_10 x944_bit_2 x944_bit_3 x944_bit_4 x944_bit_5 x944_bit_6 x944_bit_7 x944_bit_8 x944_bit_9 -x945_bit0 x945_bit1 -x945_bit10 -x945_bit11 -x945_bit12 -x945_bit13 -x945_bit14 -x945_bit15 -x945_bit16 -x945_bit17 -x945_bit18 x945_bit19 -x945_bit2 x945_bit3 x945_bit4 -x945_bit5 x945_bit6 -x945_bit7 -x945_bit8 -x945_bit9 x945_bit_1 -x945_bit_10 x945_bit_2 x945_bit_3 x945_bit_4 x945_bit_5 x945_bit_6 x945_bit_7 x945_bit_8 x945_bit_9 -x946_bit0 x946_bit1 -x946_bit10 -x946_bit11 -x946_bit12 -x946_bit13 -x946_bit14 -x946_bit15 x946_bit16 -x946_bit17 -x946_bit18 -x946_bit19 x946_bit2 -x946_bit3 -x946_bit4 -x946_bit5 -x946_bit6 -x946_bit7 -x946_bit8 -x946_bit9 x946_bit_1 x946_bit_10 x946_bit_2 x946_bit_3 x946_bit_4 x946_bit_5 x946_bit_6 x946_bit_7 x946_bit_8 x946_bit_9 x947_bit0 -x947_bit1 -x947_bit10 -x947_bit11 -x947_bit12 -x947_bit13 -x947_bit14 -x947_bit15 -x947_bit16 -x947_bit17 -x947_bit18 x947_bit19 x947_bit2 x947_bit3 -x947_bit4 x947_bit5 -x947_bit6 x947_bit7 -x947_bit8 -x947_bit9 x947_bit_1 -x947_bit_10 x947_bit_2 x947_bit_3 x947_bit_4 x947_bit_5 x947_bit_6 x947_bit_7 x947_bit_8 x947_bit_9 x948_bit0 x948_bit1 -x948_bit10 -x948_bit11 -x948_bit12 -x948_bit13 -x948_bit14 -x948_bit15 -x948_bit16 -x948_bit17 -x948_bit18 x948_bit19 x948_bit2 -x948_bit3 x948_bit4 -x948_bit5 x948_bit6 -x948_bit7 -x948_bit8 -x948_bit9 x948_bit_1 x948_bit_10 x948_bit_2 x948_bit_3 x948_bit_4 x948_bit_5 x948_bit_6 x948_bit_7 x948_bit_8 x948_bit_9 x949_bit0 x949_bit1 -x949_bit10 -x949_bit11 -x949_bit12 -x949_bit13 -x949_bit14 -x949_bit15 x949_bit16 -x949_bit17 -x949_bit18 -x949_bit19 x949_bit2 x949_bit3 -x949_bit4 -x949_bit5 -x949_bit6 -x949_bit7 -x949_bit8 -x949_bit9 x949_bit_1 -x949_bit_10 x949_bit_2 x949_bit_3 x949_bit_4 x949_bit_5 x949_bit_6 x949_bit_7 x949_bit_8 x949_bit_9 -x94_bit0 x950_bit0 x950_bit1 x950_bit10 x950_bit11 x950_bit12 x950_bit13 x950_bit14 x950_bit15 -x950_bit16 -x950_bit17 -x950_bit18 -x950_bit19 x950_bit2 x950_bit3 x950_bit4 x950_bit5 x950_bit6 x950_bit7 x950_bit8 x950_bit9 x950_bit_1 x950_bit_10 x950_bit_2 x950_bit_3 x950_bit_4 x950_bit_5 x950_bit_6 x950_bit_7 x950_bit_8 x950_bit_9 x951_bit0 x951_bit1 x951_bit10 x951_bit11 x951_bit12 x951_bit13 x951_bit14 x951_bit15 x951_bit16 x951_bit17 x951_bit18 -x951_bit19 x951_bit2 x951_bit3 x951_bit4 x951_bit5 -x951_bit6 x951_bit7 x951_bit8 x951_bit9 x951_bit_1 -x951_bit_10 x951_bit_2 x951_bit_3 x951_bit_4 x951_bit_5 x951_bit_6 x951_bit_7 x951_bit_8 x951_bit_9 -x952_bit0 -x952_bit1 -x952_bit10 -x952_bit11 -x952_bit12 -x952_bit13 -x952_bit14 -x952_bit15 x952_bit16 -x952_bit17 -x952_bit18 -x952_bit19 x952_bit2 x952_bit3 -x952_bit4 x952_bit5 -x952_bit6 -x952_bit7 -x952_bit8 -x952_bit9 x952_bit_1 x952_bit_10 x952_bit_2 x952_bit_3 x952_bit_4 x952_bit_5 x952_bit_6 x952_bit_7 x952_bit_8 x952_bit_9 x953_bit0 x953_bit1 -x953_bit10 -x953_bit11 -x953_bit12 -x953_bit13 -x953_bit14 -x953_bit15 -x953_bit16 -x953_bit17 -x953_bit18 x953_bit19 x953_bit2 x953_bit3 -x953_bit4 -x953_bit5 -x953_bit6 -x953_bit7 -x953_bit8 -x953_bit9 x953_bit_1 -x953_bit_10 x953_bit_2 x953_bit_3 x953_bit_4 x953_bit_5 x953_bit_6 x953_bit_7 x953_bit_8 x953_bit_9 x954_bit0 -x954_bit1 x954_bit10 x954_bit11 x954_bit12 x954_bit13 x954_bit14 x954_bit15 x954_bit16 x954_bit17 x954_bit18 -x954_bit19 x954_bit2 x954_bit3 -x954_bit4 x954_bit5 -x954_bit6 x954_bit7 x954_bit8 x954_bit9 x954_bit_1 x954_bit_10 x954_bit_2 x954_bit_3 x954_bit_4 x954_bit_5 x954_bit_6 x954_bit_7 x954_bit_8 x954_bit_9 x955_bit0 -x955_bit1 -x955_bit10 -x955_bit11 -x955_bit12 -x955_bit13 -x955_bit14 -x955_bit15 x955_bit16 -x955_bit17 -x955_bit18 -x955_bit19 x955_bit2 -x955_bit3 x955_bit4 x955_bit5 -x955_bit6 -x955_bit7 -x955_bit8 -x955_bit9 x955_bit_1 -x955_bit_10 x955_bit_2 x955_bit_3 x955_bit_4 x955_bit_5 x955_bit_6 x955_bit_7 x955_bit_8 x955_bit_9 x956_bit0 x956_bit1 -x956_bit10 -x956_bit11 -x956_bit12 -x956_bit13 -x956_bit14 -x956_bit15 x956_bit16 -x956_bit17 -x956_bit18 -x956_bit19 -x956_bit2 x956_bit3 -x956_bit4 x956_bit5 -x956_bit6 -x956_bit7 -x956_bit8 -x956_bit9 x956_bit_1 x956_bit_10 x956_bit_2 x956_bit_3 x956_bit_4 x956_bit_5 x956_bit_6 x956_bit_7 x956_bit_8 x956_bit_9 -x957_bit0 -x957_bit1 x957_bit10 x957_bit11 x957_bit12 x957_bit13 x957_bit14 x957_bit15 x957_bit16 x957_bit17 x957_bit18 -x957_bit19 x957_bit2 -x957_bit3 x957_bit4 x957_bit5 -x957_bit6 x957_bit7 x957_bit8 x957_bit9 x957_bit_1 -x957_bit_10 x957_bit_2 x957_bit_3 x957_bit_4 x957_bit_5 x957_bit_6 x957_bit_7 x957_bit_8 x957_bit_9 -x958_bit0 x958_bit1 -x958_bit10 -x958_bit11 -x958_bit12 -x958_bit13 -x958_bit14 -x958_bit15 x958_bit16 -x958_bit17 -x958_bit18 -x958_bit19 x958_bit2 x958_bit3 x958_bit4 -x958_bit5 -x958_bit6 -x958_bit7 -x958_bit8 -x958_bit9 x958_bit_1 x958_bit_10 x958_bit_2 x958_bit_3 x958_bit_4 x958_bit_5 x958_bit_6 x958_bit_7 x958_bit_8 x958_bit_9 x959_bit0 x959_bit1 x959_bit10 x959_bit11 x959_bit12 x959_bit13 x959_bit14 x959_bit15 x959_bit16 x959_bit17 x959_bit18 -x959_bit19 -x959_bit2 x959_bit3 -x959_bit4 x959_bit5 x959_bit6 x959_bit7 x959_bit8 x959_bit9 x959_bit_1 x959_bit_10 x959_bit_2 x959_bit_3 x959_bit_4 x959_bit_5 x959_bit_6 x959_bit_7 x959_bit_8 x959_bit_9 -x95_bit0 x960_bit0 x960_bit1 x960_bit10 x960_bit11 x960_bit12 x960_bit13 x960_bit14 x960_bit15 x960_bit16 x960_bit17 x960_bit18 -x960_bit19 x960_bit2 x960_bit3 x960_bit4 x960_bit5 x960_bit6 -x960_bit7 x960_bit8 x960_bit9 x960_bit_1 x960_bit_10 x960_bit_2 x960_bit_3 x960_bit_4 x960_bit_5 x960_bit_6 x960_bit_7 x960_bit_8 x960_bit_9 x961_bit0 x961_bit1 -x961_bit10 -x961_bit11 -x961_bit12 -x961_bit13 -x961_bit14 -x961_bit15 x961_bit16 -x961_bit17 -x961_bit18 -x961_bit19 x961_bit2 -x961_bit3 -x961_bit4 x961_bit5 -x961_bit6 -x961_bit7 -x961_bit8 -x961_bit9 x961_bit_1 -x961_bit_10 x961_bit_2 x961_bit_3 x961_bit_4 x961_bit_5 x961_bit_6 x961_bit_7 x961_bit_8 x961_bit_9 x962_bit0 -x962_bit1 -x962_bit10 -x962_bit11 -x962_bit12 -x962_bit13 -x962_bit14 -x962_bit15 x962_bit16 -x962_bit17 -x962_bit18 -x962_bit19 -x962_bit2 x962_bit3 x962_bit4 -x962_bit5 -x962_bit6 -x962_bit7 -x962_bit8 -x962_bit9 x962_bit_1 x962_bit_10 x962_bit_2 x962_bit_3 x962_bit_4 x962_bit_5 x962_bit_6 -x962_bit_7 x962_bit_8 x962_bit_9 x963_bit0 -x963_bit1 -x963_bit10 -x963_bit11 -x963_bit12 -x963_bit13 -x963_bit14 -x963_bit15 -x963_bit16 -x963_bit17 -x963_bit18 x963_bit19 x963_bit2 -x963_bit3 x963_bit4 -x963_bit5 x963_bit6 -x963_bit7 -x963_bit8 -x963_bit9 x963_bit_1 -x963_bit_10 x963_bit_2 x963_bit_3 x963_bit_4 x963_bit_5 x963_bit_6 x963_bit_7 x963_bit_8 x963_bit_9 x964_bit0 -x964_bit1 x964_bit10 x964_bit11 x964_bit12 x964_bit13 x964_bit14 x964_bit15 -x964_bit16 -x964_bit17 -x964_bit18 -x964_bit19 x964_bit2 -x964_bit3 x964_bit4 x964_bit5 x964_bit6 x964_bit7 x964_bit8 x964_bit9 x964_bit_1 x964_bit_10 x964_bit_2 x964_bit_3 x964_bit_4 x964_bit_5 x964_bit_6 x964_bit_7 x964_bit_8 x964_bit_9 x965_bit0 x965_bit1 -x965_bit10 -x965_bit11 -x965_bit12 -x965_bit13 -x965_bit14 -x965_bit15 -x965_bit16 -x965_bit17 -x965_bit18 x965_bit19 x965_bit2 -x965_bit3 x965_bit4 x965_bit5 x965_bit6 -x965_bit7 -x965_bit8 -x965_bit9 x965_bit_1 -x965_bit_10 x965_bit_2 x965_bit_3 x965_bit_4 x965_bit_5 x965_bit_6 x965_bit_7 x965_bit_8 x965_bit_9 x966_bit0 x966_bit1 -x966_bit10 -x966_bit11 -x966_bit12 -x966_bit13 -x966_bit14 -x966_bit15 -x966_bit16 -x966_bit17 -x966_bit18 x966_bit19 x966_bit2 x966_bit3 -x966_bit4 -x966_bit5 -x966_bit6 -x966_bit7 -x966_bit8 -x966_bit9 x966_bit_1 x966_bit_10 x966_bit_2 x966_bit_3 x966_bit_4 x966_bit_5 x966_bit_6 x966_bit_7 x966_bit_8 x966_bit_9 -x967_bit0 x967_bit1 x967_bit10 x967_bit11 x967_bit12 x967_bit13 x967_bit14 x967_bit15 -x967_bit16 -x967_bit17 -x967_bit18 -x967_bit19 x967_bit2 x967_bit3 x967_bit4 x967_bit5 x967_bit6 x967_bit7 x967_bit8 x967_bit9 x967_bit_1 -x967_bit_10 x967_bit_2 x967_bit_3 x967_bit_4 x967_bit_5 x967_bit_6 x967_bit_7 x967_bit_8 x967_bit_9 x968_bit0 -x968_bit1 x968_bit10 x968_bit11 x968_bit12 x968_bit13 x968_bit14 x968_bit15 -x968_bit16 -x968_bit17 -x968_bit18 -x968_bit19 -x968_bit2 -x968_bit3 x968_bit4 x968_bit5 x968_bit6 x968_bit7 x968_bit8 x968_bit9 x968_bit_1 x968_bit_10 x968_bit_2 x968_bit_3 x968_bit_4 x968_bit_5 x968_bit_6 x968_bit_7 x968_bit_8 x968_bit_9 x969_bit0 -x969_bit1 x969_bit10 x969_bit11 x969_bit12 x969_bit13 x969_bit14 x969_bit15 x969_bit16 x969_bit17 x969_bit18 -x969_bit19 x969_bit2 x969_bit3 -x969_bit4 -x969_bit5 x969_bit6 -x969_bit7 x969_bit8 x969_bit9 x969_bit_1 -x969_bit_10 x969_bit_2 x969_bit_3 x969_bit_4 x969_bit_5 x969_bit_6 x969_bit_7 x969_bit_8 x969_bit_9 -x96_bit0 x970_bit0 -x970_bit1 -x970_bit10 -x970_bit11 -x970_bit12 -x970_bit13 -x970_bit14 -x970_bit15 x970_bit16 -x970_bit17 -x970_bit18 -x970_bit19 -x970_bit2 -x970_bit3 x970_bit4 -x970_bit5 -x970_bit6 -x970_bit7 -x970_bit8 -x970_bit9 x970_bit_1 x970_bit_10 x970_bit_2 x970_bit_3 x970_bit_4 x970_bit_5 x970_bit_6 x970_bit_7 x970_bit_8 x970_bit_9 x971_bit0 x971_bit1 x971_bit10 x971_bit11 x971_bit12 x971_bit13 x971_bit14 x971_bit15 x971_bit16 x971_bit17 x971_bit18 -x971_bit19 x971_bit2 x971_bit3 x971_bit4 x971_bit5 -x971_bit6 x971_bit7 x971_bit8 x971_bit9 x971_bit_1 -x971_bit_10 x971_bit_2 x971_bit_3 x971_bit_4 x971_bit_5 x971_bit_6 x971_bit_7 x971_bit_8 x971_bit_9 x972_bit0 x972_bit1 x972_bit10 x972_bit11 x972_bit12 x972_bit13 x972_bit14 x972_bit15 x972_bit16 x972_bit17 x972_bit18 -x972_bit19 x972_bit2 x972_bit3 x972_bit4 x972_bit5 -x972_bit6 -x972_bit7 x972_bit8 x972_bit9 x972_bit_1 x972_bit_10 x972_bit_2 x972_bit_3 x972_bit_4 x972_bit_5 x972_bit_6 x972_bit_7 x972_bit_8 x972_bit_9 x973_bit0 -x973_bit1 -x973_bit10 -x973_bit11 -x973_bit12 -x973_bit13 -x973_bit14 -x973_bit15 x973_bit16 -x973_bit17 -x973_bit18 -x973_bit19 -x973_bit2 x973_bit3 x973_bit4 -x973_bit5 -x973_bit6 -x973_bit7 -x973_bit8 -x973_bit9 x973_bit_1 -x973_bit_10 x973_bit_2 x973_bit_3 x973_bit_4 x973_bit_5 x973_bit_6 x973_bit_7 x973_bit_8 x973_bit_9 x974_bit0 -x974_bit1 -x974_bit10 -x974_bit11 -x974_bit12 -x974_bit13 -x974_bit14 -x974_bit15 x974_bit16 -x974_bit17 -x974_bit18 -x974_bit19 -x974_bit2 x974_bit3 -x974_bit4 -x974_bit5 -x974_bit6 -x974_bit7 -x974_bit8 -x974_bit9 x974_bit_1 -x974_bit_10 x974_bit_2 x974_bit_3 x974_bit_4 x974_bit_5 x974_bit_6 x974_bit_7 x974_bit_8 x974_bit_9 -x975_bit0 x975_bit1 x975_bit10 x975_bit11 x975_bit12 x975_bit13 x975_bit14 x975_bit15 x975_bit16 x975_bit17 x975_bit18 -x975_bit19 x975_bit2 -x975_bit3 x975_bit4 x975_bit5 -x975_bit6 x975_bit7 x975_bit8 x975_bit9 x975_bit_1 -x975_bit_10 x975_bit_2 x975_bit_3 x975_bit_4 x975_bit_5 x975_bit_6 x975_bit_7 x975_bit_8 x975_bit_9 x976_bit0 x976_bit1 -x976_bit10 -x976_bit11 -x976_bit12 -x976_bit13 -x976_bit14 -x976_bit15 x976_bit16 -x976_bit17 -x976_bit18 -x976_bit19 -x976_bit2 -x976_bit3 -x976_bit4 x976_bit5 -x976_bit6 -x976_bit7 -x976_bit8 -x976_bit9 x976_bit_1 x976_bit_10 x976_bit_2 x976_bit_3 x976_bit_4 x976_bit_5 x976_bit_6 x976_bit_7 x976_bit_8 x976_bit_9 x977_bit0 x977_bit1 x977_bit10 x977_bit11 x977_bit12 x977_bit13 x977_bit14 x977_bit15 x977_bit16 x977_bit17 x977_bit18 -x977_bit19 x977_bit2 -x977_bit3 -x977_bit4 -x977_bit5 x977_bit6 x977_bit7 x977_bit8 x977_bit9 -x977_bit_1 -x977_bit_10 x977_bit_2 x977_bit_3 x977_bit_4 x977_bit_5 x977_bit_6 x977_bit_7 x977_bit_8 x977_bit_9 x978_bit0 x978_bit1 x978_bit10 x978_bit11 x978_bit12 x978_bit13 x978_bit14 x978_bit15 x978_bit16 x978_bit17 x978_bit18 -x978_bit19 x978_bit2 x978_bit3 x978_bit4 x978_bit5 x978_bit6 -x978_bit7 x978_bit8 x978_bit9 x978_bit_1 x978_bit_10 x978_bit_2 x978_bit_3 x978_bit_4 x978_bit_5 x978_bit_6 x978_bit_7 x978_bit_8 x978_bit_9 x979_bit0 x979_bit1 -x979_bit10 -x979_bit11 -x979_bit12 -x979_bit13 -x979_bit14 -x979_bit15 x979_bit16 -x979_bit17 -x979_bit18 -x979_bit19 x979_bit2 -x979_bit3 -x979_bit4 x979_bit5 -x979_bit6 -x979_bit7 -x979_bit8 -x979_bit9 x979_bit_1 -x979_bit_10 x979_bit_2 x979_bit_3 x979_bit_4 x979_bit_5 x979_bit_6 x979_bit_7 x979_bit_8 x979_bit_9 -x97_bit0 x980_bit0 x980_bit1 -x980_bit10 -x980_bit11 -x980_bit12 -x980_bit13 -x980_bit14 -x980_bit15 x980_bit16 -x980_bit17 -x980_bit18 -x980_bit19 -x980_bit2 x980_bit3 x980_bit4 -x980_bit5 -x980_bit6 -x980_bit7 -x980_bit8 -x980_bit9 x980_bit_1 x980_bit_10 x980_bit_2 x980_bit_3 x980_bit_4 x980_bit_5 x980_bit_6 x980_bit_7 x980_bit_8 x980_bit_9 -x981_bit0 -x981_bit1 x981_bit10 x981_bit11 x981_bit12 x981_bit13 x981_bit14 x981_bit15 x981_bit16 x981_bit17 x981_bit18 -x981_bit19 x981_bit2 x981_bit3 -x981_bit4 -x981_bit5 x981_bit6 x981_bit7 x981_bit8 x981_bit9 x981_bit_1 -x981_bit_10 x981_bit_2 x981_bit_3 x981_bit_4 x981_bit_5 x981_bit_6 x981_bit_7 x981_bit_8 x981_bit_9 -x982_bit0 -x982_bit1 -x982_bit10 -x982_bit11 -x982_bit12 -x982_bit13 -x982_bit14 -x982_bit15 x982_bit16 -x982_bit17 -x982_bit18 -x982_bit19 x982_bit2 -x982_bit3 -x982_bit4 -x982_bit5 -x982_bit6 -x982_bit7 -x982_bit8 -x982_bit9 x982_bit_1 x982_bit_10 x982_bit_2 x982_bit_3 x982_bit_4 x982_bit_5 x982_bit_6 x982_bit_7 x982_bit_8 x982_bit_9 x983_bit0 -x983_bit1 x983_bit10 x983_bit11 x983_bit12 x983_bit13 x983_bit14 x983_bit15 x983_bit16 x983_bit17 x983_bit18 -x983_bit19 x983_bit2 -x983_bit3 -x983_bit4 x983_bit5 x983_bit6 x983_bit7 x983_bit8 x983_bit9 x983_bit_1 -x983_bit_10 x983_bit_2 x983_bit_3 x983_bit_4 x983_bit_5 x983_bit_6 x983_bit_7 x983_bit_8 x983_bit_9 x984_bit0 x984_bit1 x984_bit10 x984_bit11 x984_bit12 x984_bit13 x984_bit14 x984_bit15 x984_bit16 x984_bit17 x984_bit18 -x984_bit19 x984_bit2 x984_bit3 x984_bit4 x984_bit5 x984_bit6 -x984_bit7 x984_bit8 x984_bit9 x984_bit_1 -x984_bit_10 x984_bit_2 x984_bit_3 x984_bit_4 x984_bit_5 x984_bit_6 x984_bit_7 x984_bit_8 x984_bit_9 x985_bit0 -x985_bit1 -x985_bit10 -x985_bit11 -x985_bit12 -x985_bit13 -x985_bit14 -x985_bit15 x985_bit16 -x985_bit17 -x985_bit18 -x985_bit19 x985_bit2 x985_bit3 -x985_bit4 -x985_bit5 -x985_bit6 -x985_bit7 -x985_bit8 -x985_bit9 x985_bit_1 -x985_bit_10 x985_bit_2 x985_bit_3 x985_bit_4 x985_bit_5 x985_bit_6 x985_bit_7 x985_bit_8 x985_bit_9 x986_bit0 x986_bit1 -x986_bit10 -x986_bit11 -x986_bit12 -x986_bit13 -x986_bit14 -x986_bit15 x986_bit16 -x986_bit17 -x986_bit18 -x986_bit19 -x986_bit2 -x986_bit3 -x986_bit4 -x986_bit5 -x986_bit6 -x986_bit7 -x986_bit8 -x986_bit9 x986_bit_1 x986_bit_10 x986_bit_2 x986_bit_3 x986_bit_4 x986_bit_5 x986_bit_6 x986_bit_7 x986_bit_8 x986_bit_9 -x987_bit0 x987_bit1 -x987_bit10 -x987_bit11 -x987_bit12 -x987_bit13 -x987_bit14 -x987_bit15 -x987_bit16 -x987_bit17 -x987_bit18 x987_bit19 -x987_bit2 x987_bit3 x987_bit4 -x987_bit5 x987_bit6 -x987_bit7 -x987_bit8 -x987_bit9 x987_bit_1 -x987_bit_10 x987_bit_2 x987_bit_3 x987_bit_4 x987_bit_5 x987_bit_6 x987_bit_7 x987_bit_8 x987_bit_9 -x988_bit0 x988_bit1 -x988_bit10 -x988_bit11 -x988_bit12 -x988_bit13 -x988_bit14 -x988_bit15 x988_bit16 -x988_bit17 -x988_bit18 -x988_bit19 x988_bit2 -x988_bit3 -x988_bit4 -x988_bit5 -x988_bit6 -x988_bit7 -x988_bit8 -x988_bit9 x988_bit_1 x988_bit_10 x988_bit_2 x988_bit_3 x988_bit_4 x988_bit_5 x988_bit_6 x988_bit_7 x988_bit_8 x988_bit_9 x989_bit0 -x989_bit1 -x989_bit10 -x989_bit11 -x989_bit12 -x989_bit13 -x989_bit14 -x989_bit15 -x989_bit16 -x989_bit17 -x989_bit18 x989_bit19 x989_bit2 x989_bit3 -x989_bit4 x989_bit5 x989_bit6 -x989_bit7 -x989_bit8 -x989_bit9 x989_bit_1 -x989_bit_10 x989_bit_2 x989_bit_3 x989_bit_4 x989_bit_5 x989_bit_6 x989_bit_7 x989_bit_8 x989_bit_9 -x98_bit0 x990_bit0 x990_bit1 -x990_bit10 -x990_bit11 -x990_bit12 -x990_bit13 -x990_bit14 -x990_bit15 -x990_bit16 -x990_bit17 -x990_bit18 x990_bit19 x990_bit2 -x990_bit3 -x990_bit4 -x990_bit5 -x990_bit6 -x990_bit7 -x990_bit8 -x990_bit9 x990_bit_1 x990_bit_10 x990_bit_2 x990_bit_3 x990_bit_4 x990_bit_5 x990_bit_6 x990_bit_7 x990_bit_8 x990_bit_9 x991_bit0 x991_bit1 -x991_bit10 -x991_bit11 -x991_bit12 -x991_bit13 -x991_bit14 -x991_bit15 x991_bit16 -x991_bit17 -x991_bit18 -x991_bit19 x991_bit2 x991_bit3 -x991_bit4 -x991_bit5 -x991_bit6 -x991_bit7 -x991_bit8 -x991_bit9 x991_bit_1 x991_bit_10 x991_bit_2 x991_bit_3 x991_bit_4 x991_bit_5 x991_bit_6 x991_bit_7 x991_bit_8 x991_bit_9 x992_bit0 x992_bit1 x992_bit10 x992_bit11 x992_bit12 x992_bit13 x992_bit14 x992_bit15 -x992_bit16 -x992_bit17 -x992_bit18 -x992_bit19 x992_bit2 x992_bit3 x992_bit4 x992_bit5 x992_bit6 x992_bit7 x992_bit8 x992_bit9 x992_bit_1 x992_bit_10 x992_bit_2 x992_bit_3 x992_bit_4 x992_bit_5 x992_bit_6 x992_bit_7 x992_bit_8 x992_bit_9 x993_bit0 -x993_bit1 -x993_bit10 -x993_bit11 -x993_bit12 -x993_bit13 -x993_bit14 -x993_bit15 -x993_bit16 -x993_bit17 -x993_bit18 x993_bit19 x993_bit2 x993_bit3 x993_bit4 -x993_bit5 x993_bit6 -x993_bit7 -x993_bit8 -x993_bit9 x993_bit_1 -x993_bit_10 x993_bit_2 x993_bit_3 x993_bit_4 x993_bit_5 x993_bit_6 x993_bit_7 x993_bit_8 x993_bit_9 x994_bit0 -x994_bit1 -x994_bit10 -x994_bit11 -x994_bit12 -x994_bit13 -x994_bit14 -x994_bit15 x994_bit16 -x994_bit17 -x994_bit18 -x994_bit19 -x994_bit2 -x994_bit3 -x994_bit4 -x994_bit5 -x994_bit6 -x994_bit7 -x994_bit8 -x994_bit9 x994_bit_1 x994_bit_10 x994_bit_2 x994_bit_3 x994_bit_4 x994_bit_5 x994_bit_6 x994_bit_7 x994_bit_8 x994_bit_9 x995_bit0 -x995_bit1 -x995_bit10 -x995_bit11 -x995_bit12 -x995_bit13 -x995_bit14 -x995_bit15 -x995_bit16 -x995_bit17 -x995_bit18 x995_bit19 -x995_bit2 x995_bit3 -x995_bit4 x995_bit5 x995_bit6 -x995_bit7 -x995_bit8 -x995_bit9 x995_bit_1 x995_bit_10 x995_bit_2 x995_bit_3 x995_bit_4 x995_bit_5 x995_bit_6 x995_bit_7 x995_bit_8 x995_bit_9 x996_bit0 x996_bit1 -x996_bit10 -x996_bit11 -x996_bit12 -x996_bit13 -x996_bit14 -x996_bit15 -x996_bit16 -x996_bit17 -x996_bit18 x996_bit19 -x996_bit2 -x996_bit3 -x996_bit4 x996_bit5 -x996_bit6 -x996_bit7 -x996_bit8 -x996_bit9 x996_bit_1 x996_bit_10 x996_bit_2 x996_bit_3 x996_bit_4 x996_bit_5 x996_bit_6 x996_bit_7 x996_bit_8 x996_bit_9 -x997_bit0 x997_bit1 -x997_bit10 -x997_bit11 -x997_bit12 -x997_bit13 -x997_bit14 -x997_bit15 x997_bit16 -x997_bit17 -x997_bit18 -x997_bit19 -x997_bit2 x997_bit3 -x997_bit4 -x997_bit5 -x997_bit6 -x997_bit7 -x997_bit8 -x997_bit9 x997_bit_1 x997_bit_10 x997_bit_2 x997_bit_3 x997_bit_4 x997_bit_5 x997_bit_6 x997_bit_7 x997_bit_8 x997_bit_9 -x998_bit0 -x998_bit1 -x998_bit10 -x998_bit11 -x998_bit12 -x998_bit13 -x998_bit14 -x998_bit15 x998_bit16 -x998_bit17 -x998_bit18 -x998_bit19 -x998_bit2 -x998_bit3 -x998_bit4 -x998_bit5 -x998_bit6 -x998_bit7 -x998_bit8 -x998_bit9 x998_bit_1 x998_bit_10 x998_bit_2 x998_bit_3 x998_bit_4 x998_bit_5 x998_bit_6 x998_bit_7 x998_bit_8 x998_bit_9 x999_bit0 x999_bit1 -x999_bit10 -x999_bit11 -x999_bit12 -x999_bit13 -x999_bit14 -x999_bit15 -x999_bit16 -x999_bit17 -x999_bit18 x999_bit19 -x999_bit2 x999_bit3 -x999_bit4 x999_bit5 -x999_bit6 -x999_bit7 -x999_bit8 -x999_bit9 x999_bit_1 -x999_bit_10 x999_bit_2 x999_bit_3 x999_bit_4 x999_bit_5 x999_bit_6 x999_bit_7 x999_bit_8 x999_bit_9 -x99_bit0 -x9_bit0 -xx0_bit0 -xx0_bit1 -xx0_bit10 -xx0_bit11 -xx0_bit12 -xx0_bit13 -xx0_bit14 -xx0_bit15 -xx0_bit16 -xx0_bit17 -xx0_bit18 -xx0_bit19 xx0_bit2 -xx0_bit3 -xx0_bit4 xx0_bit5 xx0_bit6 -xx0_bit7 -xx0_bit8 -xx0_bit9 -xx0_bit_1 -xx0_bit_10 -xx0_bit_2 -xx0_bit_3 -xx0_bit_4 -xx0_bit_5 -xx0_bit_6 -xx0_bit_7 -xx0_bit_8 -xx0_bit_9 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 1/54 10642
Raw data (stat): 10642 (runsolver) R 10641 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970976470 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 10642
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 22983 0 0 0 946 52 0 0 25 0 1 0 970976470 68079616 11721 4294967295 134512640 135730672 3221224576 3221223120 134749618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16621 11721 301 301 0 16320 0
vsize: 66484
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 10642
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 26715 0 0 0 1935 63 0 0 25 0 1 0 970976470 72335360 12411 4294967295 134512640 135730672 3221224576 3221222944 134741595 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17660 12411 301 301 0 17359 0
vsize: 70640
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 10642
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 30046 0 0 0 2928 71 0 0 25 0 1 0 970976470 74985472 12939 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18307 12939 301 301 0 18006 0
vsize: 73228
[startup+40.0016 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 10642
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 30549 0 0 0 3924 74 0 0 25 0 1 0 970976470 77418496 13442 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18901 13442 301 301 0 18600 0
vsize: 75604
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 10642
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 31214 0 0 0 4920 78 0 0 25 0 1 0 970976470 80560128 14041 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19668 14041 301 301 0 19367 0
vsize: 78672
[startup+60.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10642
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 31434 0 0 0 5919 80 0 0 25 0 1 0 970976470 81498112 14228 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19897 14228 301 301 0 19596 0
vsize: 79588
[startup+70.0017 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10642
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 31711 0 0 0 6918 81 0 0 25 0 1 0 970976470 82837504 14472 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20224 14472 301 301 0 19923 0
vsize: 80896
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10642
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 31871 0 0 0 7916 83 0 0 25 0 1 0 970976470 83501056 14632 4294967295 134512640 135730672 3221224576 3221222992 134748145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20386 14632 301 301 0 20085 0
vsize: 81544
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10642
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 32004 0 0 0 8914 86 0 0 25 0 1 0 970976470 83968000 14765 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20500 14765 301 301 0 20199 0
vsize: 82000
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10642
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 32176 0 0 0 9912 87 0 0 25 0 1 0 970976470 84623360 14871 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20660 14871 301 301 0 20359 0
vsize: 82640
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10642
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 32483 0 0 0 10910 90 0 0 25 0 1 0 970976470 85344256 15046 4294967295 134512640 135730672 3221224576 3221222976 134744856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20836 15046 301 301 0 20535 0
vsize: 83344
[startup+120.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10642
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 32705 0 0 0 11909 91 0 0 25 0 1 0 970976470 86138880 15235 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21030 15235 301 301 0 20729 0
vsize: 84120
[startup+130.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10642
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 32951 0 0 0 12907 93 0 0 25 0 1 0 970976470 87068672 15448 4294967295 134512640 135730672 3221224576 3221223024 134734776 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21257 15448 301 301 0 20956 0
vsize: 85028
[startup+140.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10642
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 33325 0 0 0 13905 95 0 0 25 0 1 0 970976470 88596480 15723 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21630 15723 301 301 0 21329 0
vsize: 86520
[startup+150.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10642
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 33485 0 0 0 14904 96 0 0 25 0 1 0 970976470 89137152 15883 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21762 15883 301 301 0 21461 0
vsize: 87048
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10642
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 33689 0 0 0 15903 98 0 0 25 0 1 0 970976470 98189312 15988 4294967295 134512640 135730672 3221224576 3221222984 134748218 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23972 15988 301 301 0 23671 0
vsize: 95888
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10642
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 33758 0 0 0 16903 98 0 0 25 0 1 0 970976470 98459648 16057 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24038 16057 301 301 0 23737 0
vsize: 96152
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10642
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 34314 0 0 0 17901 100 0 0 25 0 1 0 970976470 100315136 16415 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24491 16415 301 301 0 24190 0
vsize: 97964
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 34557 0 0 0 18899 102 0 0 25 0 1 0 970976470 101388288 16625 4294967295 134512640 135730672 3221224576 3221222864 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24753 16625 301 301 0 24452 0
vsize: 99012
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 34659 0 0 0 19898 103 0 0 25 0 1 0 970976470 101793792 16727 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24852 16727 301 301 0 24551 0
vsize: 99408
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 34824 0 0 0 20897 105 0 0 25 0 1 0 970976470 102588416 16826 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25046 16826 301 301 0 24745 0
vsize: 100184
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 34989 0 0 0 21896 106 0 0 25 0 1 0 970976470 103116800 16925 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25175 16925 301 301 0 24874 0
vsize: 100700
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 35018 0 0 0 22895 107 0 0 25 0 1 0 970976470 103116800 16954 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25175 16954 301 301 0 24874 0
vsize: 100700
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 35074 0 0 0 23894 108 0 0 25 0 1 0 970976470 103383040 17010 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25240 17010 301 301 0 24939 0
vsize: 100960
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 35158 0 0 0 24893 109 0 0 25 0 1 0 970976470 103788544 17094 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25339 17094 301 301 0 25038 0
vsize: 101356
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 35294 0 0 0 25892 110 0 0 25 0 1 0 970976470 104189952 17197 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25437 17197 301 301 0 25136 0
vsize: 101748
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 35340 0 0 0 26891 111 0 0 25 0 1 0 970976470 104325120 17243 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25470 17243 301 301 0 25169 0
vsize: 101880
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 35358 0 0 0 27891 112 0 0 25 0 1 0 970976470 104325120 17261 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25470 17261 301 301 0 25169 0
vsize: 101880
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 35403 0 0 0 28890 113 0 0 25 0 1 0 970976470 104460288 17306 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25503 17306 301 301 0 25202 0
vsize: 102012
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 35482 0 0 0 29889 114 0 0 25 0 1 0 970976470 104726528 17352 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25568 17352 301 301 0 25267 0
vsize: 102272
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 35536 0 0 0 30888 115 0 0 25 0 1 0 970976470 104996864 17406 4294967295 134512640 135730672 3221224576 3221222688 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25634 17406 301 301 0 25333 0
vsize: 102536
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 35600 0 0 0 31887 117 0 0 25 0 1 0 970976470 104996864 17470 4294967295 134512640 135730672 3221224576 3221223024 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25634 17470 301 301 0 25333 0
vsize: 102536
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 35615 0 0 0 32886 118 0 0 25 0 1 0 970976470 104996864 17485 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25634 17485 301 301 0 25333 0
vsize: 102536
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 35650 0 0 0 33885 119 0 0 25 0 1 0 970976470 105132032 17520 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25667 17520 301 301 0 25366 0
vsize: 102668
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 35736 0 0 0 34884 120 0 0 25 0 1 0 970976470 105529344 17573 4294967295 134512640 135730672 3221224576 3221223056 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25764 17573 301 301 0 25463 0
vsize: 103056
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 35803 0 0 0 35883 121 0 0 25 0 1 0 970976470 105660416 17607 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25796 17607 301 301 0 25495 0
vsize: 103184
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 35820 0 0 0 36882 122 0 0 25 0 1 0 970976470 105660416 17624 4294967295 134512640 135730672 3221224576 3221222864 134747631 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25796 17624 301 301 0 25495 0
vsize: 103184
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 35839 0 0 0 37882 123 0 0 25 0 1 0 970976470 105660416 17643 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25796 17643 301 301 0 25495 0
vsize: 103184
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 35929 0 0 0 38881 124 0 0 25 0 1 0 970976470 106201088 17733 4294967295 134512640 135730672 3221224576 3221223024 134734842 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25928 17733 301 301 0 25627 0
vsize: 103712
[startup+400.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 35982 0 0 0 39885 125 0 0 25 0 1 0 970976470 106336256 17786 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25961 17786 301 301 0 25660 0
vsize: 103844
[startup+410.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36043 0 0 0 40884 126 0 0 25 0 1 0 970976470 106602496 17847 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26026 17847 301 301 0 25725 0
vsize: 104104
[startup+420.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36113 0 0 0 41883 127 0 0 25 0 1 0 970976470 106733568 17884 4294967295 134512640 135730672 3221224576 3221222976 134748234 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26058 17884 301 301 0 25757 0
vsize: 104232
[startup+430.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36137 0 0 0 42882 128 0 0 25 0 1 0 970976470 106733568 17908 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26058 17908 301 301 0 25757 0
vsize: 104232
[startup+440.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36214 0 0 0 43881 129 0 0 25 0 1 0 970976470 106864640 17952 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26090 17952 301 301 0 25789 0
vsize: 104360
[startup+450.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36233 0 0 0 44881 130 0 0 25 0 1 0 970976470 106864640 17971 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26090 17971 301 301 0 25789 0
vsize: 104360
[startup+460.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36243 0 0 0 45881 130 0 0 25 0 1 0 970976470 106864640 17981 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26090 17981 301 301 0 25789 0
vsize: 104360
[startup+470.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36261 0 0 0 46880 131 0 0 25 0 1 0 970976470 106864640 17999 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26090 17999 301 301 0 25789 0
vsize: 104360
[startup+480.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36315 0 0 0 47879 132 0 0 25 0 1 0 970976470 106999808 18053 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26123 18053 301 301 0 25822 0
vsize: 104492
[startup+490.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36343 0 0 0 48879 133 0 0 25 0 1 0 970976470 106999808 18081 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26123 18081 301 301 0 25822 0
vsize: 104492
[startup+500.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36362 0 0 0 49878 134 0 0 25 0 1 0 970976470 106999808 18100 4294967295 134512640 135730672 3221224576 3221222696 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26123 18100 301 301 0 25822 0
vsize: 104492
[startup+510.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36381 0 0 0 50877 135 0 0 25 0 1 0 970976470 106999808 18119 4294967295 134512640 135730672 3221224576 3221222992 134748170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26123 18119 301 301 0 25822 0
vsize: 104492
[startup+520.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36405 0 0 0 51877 135 0 0 25 0 1 0 970976470 106999808 18143 4294967295 134512640 135730672 3221224576 3221222992 134748204 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26123 18143 301 301 0 25822 0
vsize: 104492
[startup+530.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36423 0 0 0 52876 136 0 0 25 0 1 0 970976470 106999808 18161 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26123 18161 301 301 0 25822 0
vsize: 104492
[startup+540.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36460 0 0 0 53875 137 0 0 25 0 1 0 970976470 106999808 18198 4294967295 134512640 135730672 3221224576 3221222864 134747465 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26123 18198 301 301 0 25822 0
vsize: 104492
[startup+550.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36502 0 0 0 54874 139 0 0 25 0 1 0 970976470 107196416 18240 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26171 18240 301 301 0 25870 0
vsize: 104684
[startup+560.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36577 0 0 0 55872 140 0 0 25 0 1 0 970976470 107331584 18315 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26204 18315 301 301 0 25903 0
vsize: 104816
[startup+570.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36611 0 0 0 56870 143 0 0 25 0 1 0 970976470 107331584 18349 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26204 18349 301 301 0 25903 0
vsize: 104816
[startup+580.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36654 0 0 0 57869 144 0 0 25 0 1 0 970976470 107466752 18392 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26237 18392 301 301 0 25936 0
vsize: 104948
[startup+590.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36699 0 0 0 58868 145 0 0 25 0 1 0 970976470 107466752 18437 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26237 18437 301 301 0 25936 0
vsize: 104948
[startup+600.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36747 0 0 0 59866 147 0 0 25 0 1 0 970976470 107466752 18485 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26237 18485 301 301 0 25936 0
vsize: 104948
[startup+610.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36811 0 0 0 60865 148 0 0 25 0 1 0 970976470 107597824 18549 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26269 18549 301 301 0 25968 0
vsize: 105076
[startup+620.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 36874 0 0 0 61863 150 0 0 25 0 1 0 970976470 107761664 18612 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26309 18612 301 301 0 26008 0
vsize: 105236
[startup+630.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 37009 0 0 0 62862 152 0 0 25 0 1 0 970976470 108269568 18747 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26433 18747 301 301 0 26132 0
vsize: 105732
[startup+640.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 37181 0 0 0 63861 153 0 0 25 0 1 0 970976470 109023232 18919 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26617 18919 301 301 0 26316 0
vsize: 106468
[startup+650.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 37265 0 0 0 64860 155 0 0 25 0 1 0 970976470 109187072 19003 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26657 19003 301 301 0 26356 0
vsize: 106628
[startup+660.056 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 37313 0 0 0 65858 156 0 0 25 0 1 0 970976470 109187072 19051 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26657 19051 301 301 0 26356 0
vsize: 106628
[startup+670.056 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 37356 0 0 0 66857 158 0 0 25 0 1 0 970976470 109187072 19094 4294967295 134512640 135730672 3221224576 3221222864 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26657 19094 301 301 0 26356 0
vsize: 106628
[startup+680.057 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 37436 0 0 0 67856 159 0 0 25 0 1 0 970976470 109490176 19174 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26731 19174 301 301 0 26430 0
vsize: 106924
[startup+690.056 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 37521 0 0 0 68854 161 0 0 25 0 1 0 970976470 109625344 19259 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26764 19259 301 301 0 26463 0
vsize: 107056
[startup+700.056 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 37560 0 0 0 69854 162 0 0 25 0 1 0 970976470 109625344 19298 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26764 19298 301 301 0 26463 0
vsize: 107056
[startup+710.057 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 37618 0 0 0 70852 163 0 0 25 0 1 0 970976470 109625344 19356 4294967295 134512640 135730672 3221224576 3221223024 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26764 19356 301 301 0 26463 0
vsize: 107056
[startup+720.056 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 37678 0 0 0 71850 165 0 0 25 0 1 0 970976470 109936640 19416 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26840 19416 301 301 0 26539 0
vsize: 107360
[startup+730.057 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 37702 0 0 0 72849 167 0 0 25 0 1 0 970976470 109936640 19440 4294967295 134512640 135730672 3221224576 3221222864 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26840 19440 301 301 0 26539 0
vsize: 107360
[startup+740.058 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 37758 0 0 0 73847 169 0 0 25 0 1 0 970976470 109936640 19496 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26840 19496 301 301 0 26539 0
vsize: 107360
[startup+750.058 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 37790 0 0 0 74846 170 0 0 25 0 1 0 970976470 109936640 19528 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26840 19528 301 301 0 26539 0
vsize: 107360
[startup+760.058 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 37855 0 0 0 75845 171 0 0 25 0 1 0 970976470 110092288 19593 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26878 19593 301 301 0 26577 0
vsize: 107512
[startup+770.057 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 37876 0 0 0 76844 172 0 0 25 0 1 0 970976470 110092288 19614 4294967295 134512640 135730672 3221224576 3221222864 134747539 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26878 19614 301 301 0 26577 0
vsize: 107512
[startup+780.058 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 37926 0 0 0 77843 174 0 0 25 0 1 0 970976470 110092288 19664 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26878 19664 301 301 0 26577 0
vsize: 107512
[startup+790.057 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 37963 0 0 0 78841 176 0 0 25 0 1 0 970976470 110092288 19701 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26878 19701 301 301 0 26577 0
vsize: 107512
[startup+800.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 38090 0 0 0 79839 178 0 0 25 0 1 0 970976470 110501888 19828 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26978 19828 301 301 0 26677 0
vsize: 107912
[startup+810.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 38166 0 0 0 80839 179 0 0 25 0 1 0 970976470 110780416 19904 4294967295 134512640 135730672 3221224576 3221223024 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27046 19904 301 301 0 26745 0
vsize: 108184
[startup+820.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 38201 0 0 0 81837 180 0 0 25 0 1 0 970976470 110780416 19939 4294967295 134512640 135730672 3221224576 3221222864 134747662 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27046 19939 301 301 0 26745 0
vsize: 108184
[startup+830.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 38238 0 0 0 82837 181 0 0 25 0 1 0 970976470 110780416 19976 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27046 19976 301 301 0 26745 0
vsize: 108184
[startup+840.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 38276 0 0 0 83835 183 0 0 25 0 1 0 970976470 110780416 20014 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27046 20014 301 301 0 26745 0
vsize: 108184
[startup+850.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 38307 0 0 0 84833 185 0 0 25 0 1 0 970976470 110780416 20045 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27046 20045 301 301 0 26745 0
vsize: 108184
[startup+860.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 38331 0 0 0 85833 186 0 0 25 0 1 0 970976470 110780416 20069 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27046 20069 301 301 0 26745 0
vsize: 108184
[startup+870.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 38368 0 0 0 86832 187 0 0 25 0 1 0 970976470 110780416 20106 4294967295 134512640 135730672 3221224576 3221222864 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27046 20106 301 301 0 26745 0
vsize: 108184
[startup+880.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 38412 0 0 0 87830 188 0 0 25 0 1 0 970976470 110915584 20150 4294967295 134512640 135730672 3221224576 3221223016 134748261 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27079 20150 301 301 0 26778 0
vsize: 108316
[startup+890.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 38514 0 0 0 88828 191 0 0 25 0 1 0 970976470 111308800 20252 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27175 20252 301 301 0 26874 0
vsize: 108700
[startup+900.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 38611 0 0 0 89827 192 0 0 25 0 1 0 970976470 111714304 20349 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27274 20349 301 301 0 26973 0
vsize: 109096
[startup+910.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 38655 0 0 0 90825 194 0 0 25 0 1 0 970976470 111714304 20393 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27274 20393 301 301 0 26973 0
vsize: 109096
[startup+920.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 38694 0 0 0 91824 195 0 0 25 0 1 0 970976470 111714304 20432 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27274 20432 301 301 0 26973 0
vsize: 109096
[startup+930.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 38722 0 0 0 92822 197 0 0 25 0 1 0 970976470 111714304 20460 4294967295 134512640 135730672 3221224576 3221222688 134732493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27274 20460 301 301 0 26973 0
vsize: 109096
[startup+940.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 38749 0 0 0 93821 199 0 0 25 0 1 0 970976470 111714304 20487 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27274 20487 301 301 0 26973 0
vsize: 109096
[startup+950.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 38788 0 0 0 94819 201 0 0 25 0 1 0 970976470 111714304 20526 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27274 20526 301 301 0 26973 0
vsize: 109096
[startup+960.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 38840 0 0 0 95818 202 0 0 25 0 1 0 970976470 111714304 20578 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27274 20578 301 301 0 26973 0
vsize: 109096
[startup+970.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 38890 0 0 0 96817 203 0 0 25 0 1 0 970976470 111849472 20628 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27307 20628 301 301 0 27006 0
vsize: 109228
[startup+980.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 39015 0 0 0 97815 205 0 0 25 0 1 0 970976470 129212416 20753 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31546 20753 301 301 0 31245 0
vsize: 126184
[startup+990.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 39065 0 0 0 98814 207 0 0 25 0 1 0 970976470 129409024 20803 4294967295 134512640 135730672 3221224576 3221222956 134747723 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31594 20803 301 301 0 31293 0
vsize: 126376
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 39122 0 0 0 99813 208 0 0 25 0 1 0 970976470 129409024 20860 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31594 20860 301 301 0 31293 0
vsize: 126376
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 39182 0 0 0 100811 210 0 0 25 0 1 0 970976470 129556480 20920 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31630 20920 301 301 0 31329 0
vsize: 126520
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 39218 0 0 0 101811 211 0 0 25 0 1 0 970976470 129556480 20956 4294967295 134512640 135730672 3221224576 3221222976 134748222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31630 20956 301 301 0 31329 0
vsize: 126520
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 39265 0 0 0 102810 212 0 0 25 0 1 0 970976470 129687552 21003 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31662 21003 301 301 0 31361 0
vsize: 126648
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 39362 0 0 0 103809 213 0 0 25 0 1 0 970976470 130093056 21100 4294967295 134512640 135730672 3221224576 3221222864 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31761 21100 301 301 0 31460 0
vsize: 127044
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 39429 0 0 0 104807 215 0 0 25 0 1 0 970976470 130363392 21167 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31827 21167 301 301 0 31526 0
vsize: 127308
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 39468 0 0 0 105806 216 0 0 25 0 1 0 970976470 130363392 21206 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31827 21206 301 301 0 31526 0
vsize: 127308
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 39508 0 0 0 106805 217 0 0 25 0 1 0 970976470 130363392 21246 4294967295 134512640 135730672 3221224576 3221223024 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31827 21246 301 301 0 31526 0
vsize: 127308
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 39578 0 0 0 107804 218 0 0 25 0 1 0 970976470 130494464 21283 4294967295 134512640 135730672 3221224576 3221223024 134748670 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31859 21283 301 301 0 31558 0
vsize: 127436
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 39611 0 0 0 108803 220 0 0 25 0 1 0 970976470 130494464 21316 4294967295 134512640 135730672 3221224576 3221222864 134747639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31859 21316 301 301 0 31558 0
vsize: 127436
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 39632 0 0 0 109801 222 0 0 25 0 1 0 970976470 130494464 21337 4294967295 134512640 135730672 3221224576 3221222864 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31859 21337 301 301 0 31558 0
vsize: 127436
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 39657 0 0 0 110800 223 0 0 25 0 1 0 970976470 130494464 21362 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31859 21362 301 301 0 31558 0
vsize: 127436
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 39699 0 0 0 111798 226 0 0 25 0 1 0 970976470 130494464 21404 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31859 21404 301 301 0 31558 0
vsize: 127436
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 39830 0 0 0 112796 227 0 0 25 0 1 0 970976470 131063808 21535 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31998 21535 301 301 0 31697 0
vsize: 127992
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 39870 0 0 0 113795 229 0 0 25 0 1 0 970976470 131063808 21575 4294967295 134512640 135730672 3221224576 3221222864 134747738 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31998 21575 301 301 0 31697 0
vsize: 127992
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 39949 0 0 0 114794 230 0 0 25 0 1 0 970976470 131395584 21654 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32079 21654 301 301 0 31778 0
vsize: 128316
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 39976 0 0 0 115793 231 0 0 25 0 1 0 970976470 131395584 21681 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32079 21681 301 301 0 31778 0
vsize: 128316
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 40010 0 0 0 116791 233 0 0 25 0 1 0 970976470 131395584 21715 4294967295 134512640 135730672 3221224576 3221222864 134747624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32079 21715 301 301 0 31778 0
vsize: 128316
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 40045 0 0 0 117790 234 0 0 25 0 1 0 970976470 131559424 21750 4294967295 134512640 135730672 3221224576 3221222864 134747744 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32119 21750 301 301 0 31818 0
vsize: 128476
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 40092 0 0 0 118789 236 0 0 25 0 1 0 970976470 131559424 21797 4294967295 134512640 135730672 3221224576 3221222880 134745849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32119 21797 301 301 0 31818 0
vsize: 128476
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 10644
Raw data (stat): 10642 (pb2sat-v2) R 10641 31399 31398 0 -1 0 40432 0 0 0 119785 239 0 0 25 0 1 0 970976470 131559424 21799 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32119 21799 301 301 0 31818 0
vsize: 128476
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.59 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 10644
Raw data (stat): 10642 (pb2sat-v2) Z 10641 31399 31398 0 -1 12 40434 0 0 0 119832 244 0 0 25 0 1 0 970976470 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.59
CPU time (s): 1200.77
CPU user time (s): 1198.32
CPU system time (s): 2.44263
CPU usage (%): 100.015
Max. virtual memory (Kb): 128476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	102400
#### END VERIFIER DATA ####