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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mkc.opb
MD5SUM	b9e9aa470fdb3341d7e10860fcc70cec
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	2946
Biggest coefficient in the objective function	20000
Number of bits for the biggest coefficient in the objective function	15
Sum of the numbers in the objective function	31442101
Number of bits of the sum of numbers in the objective function	25
Biggest number in a constraint	65536000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	629010691
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.11
Number of variables	5363
Total number of constraints	8734
Number of constraints which are clauses	2977
Number of constraints which are cardinality constraints (but not clauses)	5731
Number of constraints which are nor clauses,nor cardinality constraints	26
Minimum length of a constraint	1
Maximum length of a constraint	2942
Trace number 34221

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-27 20:27:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18611 boxname=wulflinc8 idbench=1432 idsolver=8 numberseed=0
MD5SUM SOLVER: 4b637b3b6117f2add1a6288e91336322  /oldhome/oroussel/solvers/vallstSAT2005PB.sh
MD5SUM BENCH:  b9e9aa470fdb3341d7e10860fcc70cec  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-mkc.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-mkc.opb 0
IDLAUNCH: 18611
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        731712 kB
Buffers:         36132 kB
Cached:         244016 kB
SwapCached:        896 kB
Active:          45288 kB
Inactive:       237176 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        731460 kB
SwapTotal:     2097136 kB
SwapFree:      2095540 kB
Dirty:             264 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            14780 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-27 20:53:51 (client local time) WITH STATUS 10 IN 1566.79 SECONDS
stats: 18611 0 1566.79 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
1:
seed: 0
Nr of vars set: 73  (#equs: 0)
Nr of vars set: 73  (#equs: 0)
#decisions: 1405582;  #end-nodes: 135375;
#proof improvement attempts: 0;  #restarts: 768
Current batch, end-nodes: 0 / 271 (271)
#axs: 3226, #non-axs: 1
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 73  (#equs: 0)
Time taken: 5 min, 34 sec

2:
seed: 0
Nr of vars set: 73  (#equs: 0)
Nr of vars set: 73  (#equs: 0)
#decisions: 4654455;  #end-nodes: 791218;
#proof improvement attempts: 0;  #restarts: 2078
Current batch, end-nodes: 610 / 639 (639)
#axs: 3215, #non-axs: 72
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant:  96049 (30206551:>=*);
Interupt request received.
#decisions: 4229977;  #end-nodes: 601668;
#proof improvement attempts: 0;  #restarts: 1763
Current batch, end-nodes: 469 / 560 (560)
#axs: 3215, #non-axs: 18
tight: meta-meta: start: 6, end: 9;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
Model found with constant:
  (pushed:) 96049 (30206551:>=*)

No proof was found though that an increment of the
last pushed constraint doesn't have a model.
result: an interupt signal has been received (3)
seed: 0
Nr of vars set: 5349  (#equs: 0)
Time taken: 20 min, 29 sec
times:
0m0.018s 0m0.014s
25m22.067s 0m42.918s
v -x0000_bit0 -x0100_bit0 -x0300_bit0 -x0400_bit0 -x0500_bit0 -x0600_bit0 -x0700_bit0 -x0800_bit0 -x0900_bit0 -x1000_bit0 -x1100_bit0 -x1300_bit0 -x1400_bit0 -x1500_bit0 -x1600_bit0 -x1700_bit0 -x1800_bit0 -x1900_bit0 -x2000_bit0 -x2200_bit0 -x2300_bit0 -x2400_bit0 -x2500_bit0 -x2600_bit0 -x2700_bit0 -x2800_bit0 -x2900_bit0 -x3000_bit0 -x3100_bit0 -x3300_bit0 -x3400_bit0 -x3500_bit0 -x3600_bit0 -x3700_bit0 -x3800_bit0 -x3900_bit0 -x4000_bit0 -x4100_bit0 -x4200_bit0 -x4300_bit0 -x4400_bit0 -x4500_bit0 -x4600_bit0 -x4700_bit0 -x4800_bit0 -x4900_bit0 -x5000_bit0 -x5100_bit0 -x5200_bit0 -x5500_bit0 -x5600_bit0 -x5700_bit0 -x5800_bit0 -x6000_bit0 -x6100_bit0 -x6200_bit0 -x6300_bit0 -x6500_bit0 -x6600_bit0 -x6700_bit0 -x6800_bit0 -x6900_bit0 -x7000_bit0 -x7100_bit0 -x7200_bit0 -x7300_bit0 -x7400_bit0 -x7500_bit0 -x7700_bit0 -x7800_bit0 -x7900_bit0 -x8000_bit0 -x8100_bit0 -x8300_bit0 -x8400_bit0 -x8500_bit0 -x8600_bit0 -x8700_bit0 -x8800_bit0 -x9000_bit0 -x9100_bit0 -x9200_bit0 -x9300_bit0 -x9400_bit0 -x9500_bit0 -x9600_bit0 -x9700_bit0 -x9800_bit0 -x10000_bit0 -x10200_bit0 -x10300_bit0 -x10500_bit0 -x10600_bit0 -x10700_bit0 -x10900_bit0 -x11000_bit0 -x11300_bit0 -x11400_bit0 -x11500_bit0 -x11600_bit0 -x11700_bit0 -x11800_bit0 -x13000_bit0 -x13100_bit0 -x13200_bit0 -x13300_bit0 -x13500_bit0 -x13600_bit0 -x13700_bit0 -x13900_bit0 -x14200_bit0 -x14300_bit0 -x14400_bit0 -x14500_bit0 -x14600_bit0 -x14700_bit0 -x14800_bit0 -x14900_bit0 -x15200_bit0 -x15300_bit0 -x15400_bit0 -x15500_bit0 -x15600_bit0 -x15700_bit0 -x15800_bit0 -x15900_bit0 -x16000_bit0 -x16100_bit0 -x16200_bit0 -x16300_bit0 -x16400_bit0 -x16500_bit0 -x16600_bit0 -x16700_bit0 -x16900_bit0 -x17000_bit0 -x17200_bit0 -x18000_bit0 -x18100_bit0 -x18200_bit0 -x18300_bit0 -x18400_bit0 -x19000_bit0 -x19100_bit0 -x19500_bit0 -x19600_bit0 -x23500_bit0 -x23600_bit0 -x23800_bit0 -x23900_bit0 -x24300_bit0 -x24800_bit0 -x24900_bit0 -x25100_bit0 -x25200_bit0 -x25300_bit0 -x25400_bit0 -x25500_bit0 -x25600_bit0 -x25700_bit0 -x25800_bit0 -x25900_bit0 -x26000_bit0 -x26100_bit0 -x26200_bit0 -x26300_bit0 -x26400_bit0 -x26500_bit0 -x26600_bit0 -x26700_bit0 -x26800_bit0 -x26900_bit0 -x27000_bit0 -x27100_bit0 -x27200_bit0 -x27300_bit0 -x27400_bit0 -x27500_bit0 -x27600_bit0 -x27700_bit0 -x27800_bit0 -x27900_bit0 -x28000_bit0 -x28200_bit0 -x28300_bit0 -x28400_bit0 -x28500_bit0 -x28600_bit0 -x28700_bit0 -x28800_bit0 -x29000_bit0 -x29100_bit0 -x29200_bit0 -x29300_bit0 -x29400_bit0 -x29500_bit0 -x29600_bit0 -x29700_bit0 -x29800_bit0 -x30000_bit0 -x30100_bit0 -x30300_bit0 -x30400_bit0 -x30600_bit0 -x30700_bit0 -x30800_bit0 -x30900_bit0 -x31000_bit0 -x31100_bit0 -x31200_bit0 -x31300_bit0 -x31400_bit0 -x31500_bit0 -x31600_bit0 -x31700_bit0 -x31800_bit0 -x31900_bit0 -x32000_bit0 -x32100_bit0 -x32200_bit0 -x32300_bit0 -x32400_bit0 -x32500_bit0 -x32600_bit0 -x32700_bit0 -x32800_bit0 -x34800_bit0 -x34900_bit0 -x35000_bit0 -x35100_bit0 -x35200_bit0 -x35300_bit0 -x35400_bit0 -x35500_bit0 -x35600_bit0 -x35700_bit0 -x35800_bit0 -x35900_bit0 -x36000_bit0 -x36100_bit0 -x36200_bit0 -x36500_bit0 -x36600_bit0 -x36700_bit0 -x36800_bit0 -x36900_bit0 -x37000_bit0 -x37100_bit0 -x37300_bit0 -x37400_bit0 -x37500_bit0 -x37600_bit0 -x39700_bit0 -x39900_bit0 -x40000_bit0 -x40100_bit0 -x40200_bit0 -x40300_bit0 -x40400_bit0 -x40500_bit0 -x40600_bit0 -x40700_bit0 -x40800_bit0 -x41100_bit0 -x41200_bit0 -x41300_bit0 -x41400_bit0 -x41500_bit0 -x41600_bit0 -x41700_bit0 -x41800_bit0 -x41900_bit0 -x42000_bit0 -x42100_bit0 -x42200_bit0 -x42400_bit0 -x42500_bit0 -x42600_bit0 -x42700_bit0 -x42800_bit0 -x42900_bit0 -x43000_bit0 -x43100_bit0 -x43200_bit0 -x43300_bit0 -x43400_bit0 -x43500_bit0 -x43600_bit0 -x43700_bit0 -x43800_bit0 -x0101_bit0 -x0301_bit0 -x0401_bit0 -x0801_bit0 -x1101_bit0 -x1501_bit0 -x1601_bit0 -x1901_bit0 -x2001_bit0 -x2201_bit0 -x2301_bit0 -x2901_bit0 -x3001_bit0 -x3401_bit0 -x3801_bit0 -x4001_bit0 -x4101_bit0 -x4401_bit0 -x4801_bit0 -x5001_bit0 -x5101_bit0 -x5201_bit0 -x5501_bit0 -x5601_bit0 -x6501_bit0 -x6601_bit0 -x7301_bit0 -x7401_bit0 -x7701_bit0 -x8301_bit0 -x8401_bit0 -x9001_bit0 -x9101_bit0 -x9201_bit0 -x9501_bit0 -x9601_bit0 -x10001_bit0 -x10201_bit0 -x10301_bit0 -x10501_bit0 -x10601_bit0 -x10701_bit0 -x10901_bit0 -x11301_bit0 -x11401_bit0 -x11601_bit0 -x11701_bit0 -x11801_bit0 -x13101_bit0 -x13301_bit0 -x13701_bit0 -x13901_bit0 -x14201_bit0 -x14301_bit0 -x14501_bit0 -x15201_bit0 -x15301_bit0 -x15601_bit0 -x16001_bit0 -x16201_bit0 -x19101_bit0 -x23601_bit0 -x25601_bit0 -x26201_bit0 -x26301_bit0 -x26401_bit0 -x26601_bit0 -x26701_bit0 -x26901_bit0 -x27001_bit0 -x27101_bit0 -x27201_bit0 -x27301_bit0 -x27401_bit0 -x27501_bit0 -x27601_bit0 -x27701_bit0 -x27801_bit0 -x27901_bit0 -x28201_bit0 -x29101_bit0 -x29201_bit0 -x29401_bit0 -x29501_bit0 -x29601_bit0 -x29701_bit0 -x29801_bit0 -x30101_bit0 -x30301_bit0 -x30401_bit0 -x30801_bit0 -x30901_bit0 -x31201_bit0 -x31301_bit0 -x31501_bit0 -x31801_bit0 -x32101_bit0 -x32201_bit0 -x32301_bit0 -x32401_bit0 -x32501_bit0 -x32601_bit0 -x32701_bit0 -x32801_bit0 -x35301_bit0 -x35501_bit0 -x35801_bit0 -x36101_bit0 -x36201_bit0 -x36901_bit0 -x37301_bit0 -x37401_bit0 -x37501_bit0 -x37601_bit0 -x40501_bit0 -x40601_bit0 -x40701_bit0 -x40801_bit0 -x41101_bit0 -x41501_bit0 -x41601_bit0 -x41701_bit0 -x41901_bit0 -x42101_bit0 -x42201_bit0 -x42501_bit0 -x42601_bit0 -x43501_bit0 -x43701_bit0 -x0102_bit0 -x0302_bit0 -x0402_bit0 -x0802_bit0 -x1102_bit0 -x1202_bit0 -x1502_bit0 -x1602_bit0 -x1902_bit0 -x2002_bit0 -x2202_bit0 -x2302_bit0 -x2902_bit0 -x3002_bit0 -x3202_bit0 -x3402_bit0 -x3802_bit0 -x4002_bit0 -x4102_bit0 -x4402_bit0 -x4802_bit0 -x5002_bit0 -x5102_bit0 -x5202_bit0 -x5302_bit0 -x5402_bit0 -x5502_bit0 -x5602_bit0 -x6502_bit0 -x6602_bit0 -x7302_bit0 -x7402_bit0 -x7602_bit0 -x7702_bit0 -x8302_bit0 -x8402_bit0 -x9002_bit0 -x9102_bit0 -x9202_bit0 -x9502_bit0 -x9602_bit0 -x10002_bit0 -x10102_bit0 -x10202_bit0 -x10302_bit0 -x10502_bit0 -x10802_bit0 -x10902_bit0 -x11202_bit0 -x11402_bit0 -x11602_bit0 -x11702_bit0 -x11802_bit0 -x12202_bit0 -x12902_bit0 -x13102_bit0 -x13902_bit0 -x14202_bit0 -x14302_bit0 -x15202_bit0 -x15302_bit0 -x16802_bit0 -x17102_bit0 -x17302_bit0 -x17402_bit0 -x17502_bit0 -x17602_bit0 -x17702_bit0 -x17802_bit0 -x17902_bit0 -x18502_bit0 -x18602_bit0 -x18702_bit0 -x18802_bit0 -x18902_bit0 -x19102_bit0 -x19202_bit0 -x19302_bit0 -x19402_bit0 -x19802_bit0 -x19902_bit0 -x20002_bit0 -x20202_bit0 -x20302_bit0 -x20502_bit0 -x20702_bit0 -x20902_bit0 -x21002_bit0 -x21302_bit0 -x21502_bit0 -x21802_bit0 -x21902_bit0 -x22002_bit0 -x22102_bit0 -x22302_bit0 -x22402_bit0 -x22502_bit0 -x22702_bit0 -x22902_bit0 -x23002_bit0 -x23602_bit0 -x24402_bit0 -x25602_bit0 -x26202_bit0 -x26302_bit0 -x26402_bit0 -x26602_bit0 -x26702_bit0 -x26902_bit0  x27002_bit0 -x27102_bit0 -x27202_bit0 -x27302_bit0 -x27402_bit0 -x27502_bit0 -x27602_bit0 -x27702_bit0 -x27802_bit0 -x27902_bit0 -x28202_bit0 -x29102_bit0 -x29202_bit0 -x29402_bit0 -x29502_bit0 -x29602_bit0 -x29702_bit0 -x29802_bit0 -x30102_bit0 -x30202_bit0 -x30302_bit0 -x30402_bit0 -x30802_bit0 -x30902_bit0 -x31202_bit0 -x31302_bit0 -x31502_bit0 -x31802_bit0 -x32102_bit0 -x32202_bit0 -x32302_bit0 -x32402_bit0 -x32502_bit0 -x32602_bit0 -x32702_bit0 -x32802_bit0 -x33002_bit0 -x33102_bit0 -x33302_bit0 -x33402_bit0 -x33602_bit0 -x34002_bit0 -x34202_bit0 -x34502_bit0 -x35302_bit0 -x35502_bit0 -x35802_bit0 -x36102_bit0 -x36202_bit0 -x36302_bit0 -x36402_bit0 -x37302_bit0 -x37402_bit0 -x37502_bit0 -x37602_bit0 -x37702_bit0 -x37802_bit0 -x38102_bit0 -x38202_bit0 -x38402_bit0 -x38502_bit0 -x38802_bit0 -x38902_bit0 -x39202_bit0 -x40502_bit0 -x40602_bit0 -x40702_bit0 -x40802_bit0 -x41102_bit0 -x41502_bit0 -x41602_bit0 -x41702_bit0 -x41902_bit0 -x42102_bit0 -x42202_bit0 -x42302_bit0 -x42502_bit0 -x42602_bit0 -x43502_bit0 -x43702_bit0 -x0103_bit0 -x0303_bit0 -x0403_bit0 -x0803_bit0 -x1103_bit0 -x1203_bit0 -x1503_bit0 -x1603_bit0 -x1903_bit0 -x2003_bit0 -x2203_bit0 -x2303_bit0 -x2903_bit0 -x3003_bit0 -x3203_bit0 -x3403_bit0 -x3803_bit0 -x4003_bit0 -x4103_bit0 -x4403_bit0 -x4803_bit0 -x5003_bit0 -x5103_bit0 -x5203_bit0 -x5303_bit0 -x5403_bit0 -x5503_bit0 -x5603_bit0 -x6503_bit0 -x6603_bit0 -x7303_bit0 -x7403_bit0 -x7603_bit0 -x7703_bit0 -x8303_bit0 -x8403_bit0 -x9003_bit0 -x9103_bit0 -x9203_bit0 -x9503_bit0 -x9603_bit0 -x10003_bit0 -x10103_bit0 -x10203_bit0 -x10303_bit0 -x10503_bit0 -x10803_bit0 -x10903_bit0 -x11203_bit0 -x11403_bit0 -x11603_bit0 -x11703_bit0 -x11803_bit0 -x12203_bit0 -x12903_bit0 -x13103_bit0 -x13903_bit0 -x14203_bit0 -x14303_bit0 -x15203_bit0 -x15303_bit0 -x16803_bit0 -x17103_bit0 -x17303_bit0 -x17403_bit0 -x17503_bit0 -x17603_bit0 -x17703_bit0 -x17803_bit0 -x17903_bit0 -x18503_bit0 -x18603_bit0 -x18703_bit0 -x18803_bit0 -x18903_bit0 -x19103_bit0 -x19203_bit0 -x19303_bit0 -x19403_bit0 -x19803_bit0 -x19903_bit0 -x20003_bit0 -x20203_bit0 -x20303_bit0 -x20503_bit0 -x20703_bit0 -x20903_bit0 -x21003_bit0 -x21303_bit0 -x21503_bit0 -x21803_bit0 -x21903_bit0 -x22003_bit0 -x22103_bit0 -x22303_bit0 -x22403_bit0 -x22503_bit0 -x22703_bit0 -x22903_bit0 -x23003_bit0 -x23603_bit0 -x24403_bit0 -x25603_bit0 -x26203_bit0 -x26303_bit0 -x26403_bit0 -x26603_bit0 -x26703_bit0 -x26903_bit0 -x27003_bit0 -x27103_bit0 -x27203_bit0 -x27303_bit0 -x27403_bit0 -x27503_bit0 -x27603_bit0 -x27703_bit0 -x27803_bit0 -x27903_bit0 -x28203_bit0 -x29103_bit0 -x29203_bit0 -x29403_bit0 -x29503_bit0 -x29603_bit0 -x29703_bit0 -x29803_bit0 -x30103_bit0 -x30203_bit0 -x30303_bit0 -x30403_bit0 -x30803_bit0 -x30903_bit0 -x31203_bit0 -x31303_bit0 -x31503_bit0 -x31803_bit0 -x32103_bit0 -x32203_bit0 -x32303_bit0 -x32403_bit0 -x32503_bit0 -x32603_bit0 -x32703_bit0 -x32803_bit0 -x33003_bit0 -x33103_bit0 -x33303_bit0 -x33403_bit0 -x33603_bit0 -x34003_bit0 -x34203_bit0 -x34503_bit0 -x35303_bit0 -x35503_bit0 -x35803_bit0 -x36103_bit0 -x36203_bit0 -x36303_bit0 -x36403_bit0 -x37303_bit0 -x37403_bit0 -x37503_bit0 -x37603_bit0 -x37703_bit0 -x37803_bit0 -x38103_bit0 -x38203_bit0 -x38403_bit0 -x38503_bit0 -x38803_bit0 -x38903_bit0 -x39203_bit0 -x40503_bit0 -x40603_bit0 -x40703_bit0 -x40803_bit0 -x41103_bit0 -x41503_bit0 -x41603_bit0 -x41703_bit0 -x41903_bit0 -x42103_bit0 -x42203_bit0 -x42303_bit0 -x42503_bit0 -x42603_bit0 -x43503_bit0 -x43703_bit0 -x0104_bit0 -x0304_bit0 -x0404_bit0 -x0704_bit0 -x1004_bit0 -x1104_bit0 -x1204_bit0 -x1504_bit0 -x1904_bit0 -x2004_bit0 -x2204_bit0 -x2304_bit0 -x2904_bit0 -x3004_bit0 -x3404_bit0 -x3804_bit0 -x3904_bit0 -x4004_bit0 -x4104_bit0 -x4404_bit0 -x4704_bit0 -x4804_bit0 -x5004_bit0 -x5104_bit0 -x5204_bit0 -x5604_bit0 -x5804_bit0 -x6504_bit0 -x6604_bit0 -x6904_bit0 -x7304_bit0 -x7404_bit0 -x7504_bit0 -x7604_bit0 -x7704_bit0 -x8304_bit0 -x8504_bit0 -x8604_bit0 -x9004_bit0 -x9104_bit0 -x9204_bit0 -x9504_bit0 -x9604_bit0 -x9704_bit0 -x9804_bit0 -x10204_bit0 -x10304_bit0 -x10504_bit0 -x10804_bit0 -x10904_bit0 -x11204_bit0 -x11404_bit0 -x11604_bit0 -x11704_bit0 -x11804_bit0 -x12204_bit0 -x12904_bit0 -x13904_bit0 -x14204_bit0 -x14304_bit0 -x15204_bit0 -x15304_bit0 -x16604_bit0 -x16704_bit0 -x16804_bit0 -x17104_bit0 -x17304_bit0 -x17404_bit0 -x17504_bit0 -x17604_bit0 -x17704_bit0 -x17804_bit0 -x17904_bit0 -x18504_bit0 -x18604_bit0 -x18704_bit0 -x18804_bit0 -x18904_bit0 -x19104_bit0 -x19204_bit0 -x19304_bit0 -x19404_bit0 -x19804_bit0 -x19904_bit0 -x20004_bit0 -x20204_bit0 -x20304_bit0 -x20504_bit0 -x20704_bit0 -x20904_bit0 -x21004_bit0 -x21304_bit0 -x21504_bit0 -x21804_bit0 -x21904_bit0 -x22004_bit0 -x22104_bit0 -x22304_bit0 -x22404_bit0 -x22504_bit0 -x22704_bit0 -x22904_bit0 -x23004_bit0 -x23604_bit0 -x23904_bit0 -x24404_bit0 -x25304_bit0 -x25404_bit0 -x25604_bit0 -x25704_bit0 -x25804_bit0 -x25904_bit0 -x26004_bit0 -x26104_bit0 -x26204_bit0 -x26304_bit0 -x26404_bit0 -x26504_bit0 -x26604_bit0 -x26704_bit0 -x26904_bit0 -x27004_bit0 -x27104_bit0 -x27204_bit0 -x27304_bit0 -x27404_bit0 -x27504_bit0 -x27604_bit0 -x27704_bit0 -x27804_bit0 -x27904_bit0 -x28204_bit0 -x28304_bit0 -x28404_bit0 -x28504_bit0 -x28604_bit0 -x28704_bit0 -x28804_bit0 -x29004_bit0 -x29104_bit0 -x29204_bit0 -x29404_bit0 -x29504_bit0 -x29604_bit0 -x29704_bit0 -x29804_bit0 -x30104_bit0 -x30204_bit0 -x30304_bit0 -x30404_bit0 -x30804_bit0 -x30904_bit0 -x31204_bit0 -x31304_bit0 -x31404_bit0 -x31504_bit0 -x32104_bit0 -x32204_bit0 -x32304_bit0 -x32404_bit0 -x32504_bit0 -x32604_bit0 -x32704_bit0 -x32804_bit0 -x33004_bit0 -x33104_bit0 -x33304_bit0 -x33404_bit0 -x33604_bit0 -x34004_bit0 -x34204_bit0 -x34504_bit0 -x35304_bit0 -x35504_bit0 -x36104_bit0 -x36204_bit0 -x37304_bit0 -x37404_bit0 -x37504_bit0 -x37604_bit0 -x37704_bit0 -x37804_bit0 -x38104_bit0 -x38204_bit0 -x38404_bit0 -x38504_bit0 -x38804_bit0 -x38904_bit0 -x39204_bit0 -x40504_bit0 -x40604_bit0 -x40704_bit0 -x40804_bit0 -x41504_bit0 -x41604_bit0 -x41704_bit0 -x41904_bit0 -x42204_bit0 -x42304_bit0 -x42604_bit0 -x0105_bit0 -x0305_bit0 -x0405_bit0 -x0805_bit0 -x1105_bit0 -x1205_bit0 -x1505_bit0 -x1605_bit0 -x1905_bit0 -x2005_bit0 -x2205_bit0 -x2305_bit0 -x2905_bit0 -x3005_bit0 -x3205_bit0 -x3405_bit0 -x3805_bit0 -x4005_bit0 -x4105_bit0 -x4405_bit0 -x4805_bit0 -x5005_bit0 -x5105_bit0 -x5205_bit0 -x5305_bit0 -x5405_bit0 -x5505_bit0 -x5605_bit0 -x6505_bit0 -x6605_bit0 -x7305_bit0 -x7405_bit0 -x7605_bit0 -x7705_bit0 -x8305_bit0 -x8405_bit0 -x9005_bit0 -x9105_bit0 -x9205_bit0 -x9505_bit0 -x9605_bit0 -x10005_bit0 -x10105_bit0 -x10205_bit0 -x10305_bit0 -x10505_bit0 -x10805_bit0 -x10905_bit0 -x11205_bit0 -x11405_bit0 -x11605_bit0 -x11705_bit0 -x11805_bit0 -x12205_bit0 -x12905_bit0 -x13105_bit0 -x13905_bit0 -x14205_bit0 -x14305_bit0 -x15205_bit0 -x15305_bit0 -x16805_bit0 -x17105_bit0 -x17305_bit0 -x17405_bit0 -x17505_bit0 -x17605_bit0 -x17705_bit0 -x17805_bit0 -x17905_bit0 -x18505_bit0 -x18605_bit0 -x18705_bit0 -x18805_bit0 -x18905_bit0 -x19105_bit0 -x19205_bit0 -x19305_bit0 -x19405_bit0 -x19805_bit0 -x19905_bit0 -x20005_bit0 -x20205_bit0 -x20305_bit0 -x20505_bit0 -x20705_bit0 -x20905_bit0 -x21005_bit0 -x21305_bit0 -x21505_bit0 -x21805_bit0 -x21905_bit0 -x22005_bit0 -x22105_bit0 -x22305_bit0 -x22405_bit0 -x22505_bit0 -x22705_bit0 -x22905_bit0 -x23005_bit0 -x23605_bit0 -x24405_bit0 -x25605_bit0 -x26205_bit0 -x26305_bit0 -x26405_bit0 -x26605_bit0 -x26705_bit0 -x26905_bit0 -x27005_bit0 -x27105_bit0 -x27205_bit0 -x27305_bit0 -x27405_bit0 -x27505_bit0 -x27605_bit0 -x27705_bit0 -x27805_bit0 -x27905_bit0 -x28205_bit0 -x29105_bit0 -x29205_bit0 -x29405_bit0 -x29505_bit0 -x29605_bit0 -x29705_bit0 -x29805_bit0 -x30105_bit0 -x30205_bit0 -x30305_bit0 -x30405_bit0 -x30805_bit0 -x30905_bit0 -x31205_bit0 -x31305_bit0 -x31505_bit0 -x31805_bit0 -x32105_bit0 -x32205_bit0 -x32305_bit0 -x32405_bit0 -x32505_bit0 -x32605_bit0 -x32705_bit0 -x32805_bit0 -x33005_bit0 -x33105_bit0 -x33305_bit0 -x33405_bit0 -x33605_bit0 -x34005_bit0 -x34205_bit0 -x34505_bit0 -x35305_bit0 -x35505_bit0 -x35805_bit0 -x36105_bit0 -x36205_bit0 -x36305_bit0 -x36405_bit0 -x37305_bit0 -x37405_bit0 -x37505_bit0 -x37605_bit0 -x37705_bit0 -x37805_bit0 -x38105_bit0 -x38205_bit0 -x38405_bit0 -x38505_bit0 -x38805_bit0 -x38905_bit0 -x39205_bit0 -x40505_bit0 -x40605_bit0 -x40705_bit0 -x40805_bit0 -x41105_bit0 -x41505_bit0 -x41605_bit0 -x41705_bit0 -x41905_bit0 -x42105_bit0 -x42205_bit0 -x42305_bit0 -x42505_bit0 -x42605_bit0 -x43505_bit0 -x43705_bit0 -x0106_bit0 -x0306_bit0 -x0406_bit0 -x0806_bit0 -x1106_bit0 -x1206_bit0 -x1506_bit0 -x1606_bit0 -x1906_bit0 -x2006_bit0 -x2206_bit0 -x2306_bit0 -x2906_bit0 -x3006_bit0 -x3206_bit0 -x3406_bit0 -x3806_bit0 -x4006_bit0 -x4106_bit0 -x4406_bit0 -x4806_bit0 -x5006_bit0 -x5106_bit0 -x5206_bit0 -x5306_bit0 -x5406_bit0 -x5506_bit0 -x5606_bit0 -x6506_bit0 -x6606_bit0 -x7306_bit0 -x7406_bit0 -x7606_bit0 -x7706_bit0 -x8306_bit0 -x8406_bit0 -x9006_bit0 -x9106_bit0 -x9206_bit0 -x9506_bit0 -x9606_bit0 -x10006_bit0 -x10106_bit0 -x10206_bit0 -x10306_bit0 -x10506_bit0 -x10806_bit0 -x10906_bit0 -x11206_bit0 -x11406_bit0 -x11606_bit0 -x11706_bit0 -x11806_bit0 -x12206_bit0 -x12906_bit0 -x13106_bit0 -x13906_bit0 -x14206_bit0 -x14306_bit0 -x15206_bit0 -x15306_bit0 -x16806_bit0 -x17106_bit0 -x17306_bit0 -x17406_bit0 -x17506_bit0 -x17606_bit0 -x17706_bit0 -x17806_bit0 -x17906_bit0 -x18506_bit0 -x18606_bit0 -x18706_bit0 -x18806_bit0 -x18906_bit0 -x19106_bit0 -x19206_bit0 -x19306_bit0 -x19406_bit0 -x19806_bit0 -x19906_bit0 -x20006_bit0 -x20206_bit0 -x20306_bit0 -x20506_bit0 -x20706_bit0 -x20906_bit0 -x21006_bit0 -x21306_bit0 -x21506_bit0 -x21806_bit0 -x21906_bit0 -x22006_bit0 -x22106_bit0 -x22306_bit0 -x22406_bit0 -x22506_bit0 -x22706_bit0 -x22906_bit0 -x23006_bit0 -x23606_bit0 -x24406_bit0 -x25606_bit0 -x26206_bit0 -x26306_bit0 -x26406_bit0 -x26606_bit0 -x26706_bit0 -x26906_bit0 -x27006_bit0 -x27106_bit0 -x27206_bit0 -x27306_bit0 -x27406_bit0 -x27506_bit0 -x27606_bit0 -x27706_bit0 -x27806_bit0 -x27906_bit0 -x28206_bit0 -x29106_bit0 -x29206_bit0 -x29406_bit0 -x29506_bit0 -x29606_bit0 -x29706_bit0 -x29806_bit0 -x30106_bit0 -x30206_bit0 -x30306_bit0 -x30406_bit0 -x30806_bit0 -x30906_bit0 -x31206_bit0 -x31306_bit0 -x31506_bit0 -x31806_bit0 -x32106_bit0 -x32206_bit0 -x32306_bit0 -x32406_bit0 -x32506_bit0 -x32606_bit0 -x32706_bit0 -x32806_bit0 -x33006_bit0 -x33106_bit0 -x33306_bit0 -x33406_bit0 -x33606_bit0 -x34006_bit0 -x34206_bit0 -x34506_bit0 -x35306_bit0 -x35506_bit0 -x35806_bit0 -x36106_bit0 -x36206_bit0 -x36306_bit0 -x36406_bit0 -x37306_bit0 -x37406_bit0 -x37506_bit0 -x37606_bit0 -x37706_bit0 -x37806_bit0 -x38106_bit0 -x38206_bit0 -x38406_bit0 -x38506_bit0 -x38806_bit0 -x38906_bit0 -x39206_bit0 -x40506_bit0 -x40606_bit0 -x40706_bit0 -x40806_bit0 -x41106_bit0 -x41506_bit0 -x41606_bit0 -x41706_bit0 -x41906_bit0 -x42106_bit0 -x42206_bit0 -x42306_bit0 -x42506_bit0 -x42606_bit0 -x43506_bit0 -x43706_bit0 -x0107_bit0 -x0307_bit0 -x0407_bit0 -x0807_bit0 -x1107_bit0 -x1207_bit0 -x1507_bit0 -x1607_bit0 -x1907_bit0 -x2007_bit0 -x2207_bit0 -x2307_bit0 -x2907_bit0 -x3007_bit0 -x3207_bit0 -x3407_bit0 -x3807_bit0 -x4007_bit0 -x4107_bit0 -x4407_bit0 -x4807_bit0 -x5007_bit0 -x5107_bit0 -x5207_bit0 -x5307_bit0 -x5407_bit0 -x5507_bit0 -x5607_bit0 -x6507_bit0 -x6607_bit0 -x7307_bit0 -x7407_bit0 -x7607_bit0 -x7707_bit0 -x8307_bit0 -x8407_bit0 -x9007_bit0 -x9107_bit0 -x9207_bit0 -x9507_bit0 -x9607_bit0 -x10007_bit0 -x10107_bit0 -x10207_bit0 -x10307_bit0 -x10507_bit0 -x10807_bit0 -x10907_bit0 -x11207_bit0 -x11407_bit0 -x11607_bit0 -x11707_bit0 -x11807_bit0 -x12207_bit0 -x12907_bit0 -x13107_bit0 -x13907_bit0 -x14207_bit0 -x14307_bit0 -x15207_bit0 -x15307_bit0 -x16807_bit0 -x17107_bit0 -x17307_bit0 -x17407_bit0 -x17507_bit0 -x17607_bit0 -x17707_bit0 -x17807_bit0 -x17907_bit0 -x18507_bit0 -x18607_bit0 -x18707_bit0 -x18807_bit0 -x18907_bit0 -x19107_bit0 -x19207_bit0 -x19307_bit0 -x19407_bit0 -x19807_bit0 -x19907_bit0 -x20007_bit0 -x20207_bit0 -x20307_bit0 -x20507_bit0 -x20707_bit0 -x20907_bit0 -x21007_bit0 -x21307_bit0 -x21507_bit0 -x21807_bit0 -x21907_bit0 -x22007_bit0 -x22107_bit0 -x22307_bit0 -x22407_bit0 -x22507_bit0 -x22707_bit0 -x22907_bit0 -x23007_bit0 -x23607_bit0 -x24407_bit0 -x25607_bit0 -x26207_bit0 -x26307_bit0 -x26407_bit0 -x26607_bit0 -x26707_bit0 -x26907_bit0 -x27007_bit0 -x27107_bit0 -x27207_bit0 -x27307_bit0 -x27407_bit0 -x27507_bit0 -x27607_bit0 -x27707_bit0 -x27807_bit0 -x27907_bit0 -x28207_bit0 -x29107_bit0 -x29207_bit0 -x29407_bit0 -x29507_bit0 -x29607_bit0 -x29707_bit0 -x29807_bit0 -x30107_bit0 -x30207_bit0 -x30307_bit0 -x30407_bit0 -x30807_bit0 -x30907_bit0 -x31207_bit0 -x31307_bit0 -x31507_bit0 -x31807_bit0 -x32107_bit0 -x32207_bit0 -x32307_bit0 -x32407_bit0 -x32507_bit0 -x32607_bit0 -x32707_bit0 -x32807_bit0 -x33007_bit0 -x33107_bit0 -x33307_bit0 -x33407_bit0 -x33607_bit0 -x34007_bit0 -x34207_bit0 -x34507_bit0 -x35307_bit0 -x35507_bit0 -x35807_bit0 -x36107_bit0 -x36207_bit0 -x36307_bit0 -x36407_bit0 -x37307_bit0 -x37407_bit0 -x37507_bit0 -x37607_bit0 -x37707_bit0 -x37807_bit0 -x38107_bit0 -x38207_bit0 -x38407_bit0 -x38507_bit0 -x38807_bit0 -x38907_bit0 -x39207_bit0 -x40507_bit0 -x40607_bit0 -x40707_bit0 -x40807_bit0 -x41107_bit0 -x41507_bit0  x41607_bit0 -x41707_bit0 -x41907_bit0 -x42107_bit0 -x42207_bit0 -x42307_bit0 -x42507_bit0 -x42607_bit0 -x43507_bit0 -x43707_bit0 -x0108_bit0 -x0308_bit0 -x0708_bit0 -x1008_bit0 -x1108_bit0 -x1308_bit0 -x1508_bit0 -x1908_bit0 -x2008_bit0 -x2208_bit0 -x3008_bit0 -x3408_bit0 -x3608_bit0 -x3808_bit0 -x3908_bit0 -x4008_bit0 -x4108_bit0 -x4408_bit0 -x4808_bit0 -x5008_bit0 -x5608_bit0 -x5808_bit0 -x5908_bit0 -x6208_bit0 -x6508_bit0 -x6908_bit0 -x7308_bit0 -x7408_bit0 -x7508_bit0 -x8108_bit0 -x8308_bit0 -x8508_bit0 -x8608_bit0 -x8708_bit0 -x8808_bit0 -x9308_bit0 -x9408_bit0 -x9508_bit0 -x9608_bit0 -x9708_bit0 -x9808_bit0 -x10308_bit0 -x10408_bit0 -x10508_bit0 -x10808_bit0 -x10908_bit0 -x11208_bit0 -x11408_bit0 -x11608_bit0 -x11708_bit0 -x11808_bit0 -x12108_bit0 -x12208_bit0 -x12308_bit0 -x12408_bit0 -x12508_bit0 -x12608_bit0 -x12708_bit0 -x12808_bit0 -x12908_bit0 -x13908_bit0 -x16408_bit0 -x16608_bit0 -x16708_bit0 -x16808_bit0 -x17108_bit0 -x17308_bit0 -x17408_bit0 -x17508_bit0 -x17608_bit0 -x17708_bit0 -x17808_bit0 -x17908_bit0 -x18508_bit0 -x18608_bit0 -x18708_bit0 -x18808_bit0 -x18908_bit0 -x19108_bit0 -x19208_bit0 -x19308_bit0 -x19408_bit0 -x19708_bit0 -x19808_bit0 -x19908_bit0 -x20008_bit0 -x20108_bit0 -x20208_bit0 -x20308_bit0 -x20408_bit0 -x20508_bit0 -x20708_bit0 -x20908_bit0 -x21008_bit0 -x21308_bit0 -x21508_bit0 -x21708_bit0 -x21808_bit0 -x21908_bit0 -x22008_bit0 -x22108_bit0 -x22308_bit0 -x22408_bit0 -x22508_bit0 -x22708_bit0 -x22808_bit0 -x22908_bit0 -x23008_bit0 -x23108_bit0 -x23508_bit0 -x23608_bit0 -x23908_bit0 -x24208_bit0 -x24408_bit0 -x25308_bit0 -x25408_bit0 -x25608_bit0 -x25708_bit0 -x25808_bit0 -x25908_bit0 -x26008_bit0 -x26108_bit0 -x26208_bit0 -x26308_bit0 -x26408_bit0 -x26508_bit0 -x26608_bit0 -x26708_bit0 -x26908_bit0 -x27008_bit0 -x27108_bit0 -x27208_bit0 -x27308_bit0 -x27408_bit0 -x27508_bit0 -x27608_bit0 -x27708_bit0 -x27808_bit0 -x27908_bit0 -x28108_bit0 -x28208_bit0 -x28308_bit0 -x28408_bit0 -x28508_bit0 -x28608_bit0 -x28708_bit0 -x28808_bit0 -x29008_bit0 -x29108_bit0 -x29408_bit0 -x29508_bit0 -x29608_bit0 -x29708_bit0 -x29808_bit0 -x29908_bit0 -x30108_bit0 -x30208_bit0 -x30308_bit0 -x30408_bit0 -x30808_bit0 -x30908_bit0 -x31208_bit0 -x31308_bit0 -x31408_bit0 -x31508_bit0 -x32108_bit0 -x32208_bit0 -x32308_bit0 -x32408_bit0 -x32508_bit0 -x32608_bit0 -x32708_bit0 -x32908_bit0 -x33008_bit0 -x33108_bit0 -x33308_bit0 -x33408_bit0 -x33508_bit0 -x33608_bit0 -x33708_bit0 -x33808_bit0 -x34008_bit0 -x34208_bit0 -x34508_bit0 -x35408_bit0 -x35508_bit0 -x35608_bit0 -x36108_bit0 -x37208_bit0 -x37308_bit0 -x37408_bit0 -x37508_bit0 -x37608_bit0 -x37708_bit0 -x37808_bit0 -x37908_bit0 -x38008_bit0 -x38108_bit0 -x38208_bit0 -x38408_bit0 -x38508_bit0 -x38608_bit0 -x38808_bit0 -x38908_bit0 -x39208_bit0 -x39708_bit0 -x40108_bit0 -x40608_bit0 -x40708_bit0 -x41508_bit0 -x41608_bit0 -x41708_bit0 -x42208_bit0 -x42308_bit0 -x0109_bit0 -x0309_bit0 -x0409_bit0 -x0709_bit0 -x1009_bit0 -x1109_bit0 -x1209_bit0 -x1309_bit0 -x1509_bit0 -x1909_bit0 -x2009_bit0 -x2209_bit0 -x2309_bit0 -x2909_bit0 -x3009_bit0 -x3409_bit0 -x3609_bit0 -x3809_bit0 -x3909_bit0 -x4009_bit0 -x4109_bit0 -x4409_bit0 -x4709_bit0 -x4809_bit0 -x5009_bit0 -x5109_bit0 -x5209_bit0 -x5609_bit0 -x5809_bit0 -x6209_bit0 -x6509_bit0 -x6609_bit0 -x6909_bit0 -x7309_bit0 -x7409_bit0 -x7509_bit0 -x7609_bit0 -x7709_bit0 -x8109_bit0 -x8309_bit0 -x8509_bit0 -x8609_bit0 -x8709_bit0 -x8809_bit0 -x9009_bit0 -x9109_bit0 -x9209_bit0 -x9309_bit0 -x9409_bit0 -x9509_bit0 -x9609_bit0 -x9709_bit0 -x9809_bit0 -x10209_bit0 -x10309_bit0 -x10509_bit0 -x10809_bit0 -x10909_bit0 -x11209_bit0 -x11409_bit0 -x11609_bit0 -x11709_bit0 -x11809_bit0 -x12109_bit0 -x12209_bit0 -x12309_bit0 -x12409_bit0 -x12509_bit0 -x12609_bit0 -x12709_bit0 -x12809_bit0 -x12909_bit0 -x13909_bit0 -x14209_bit0 -x14309_bit0 -x15209_bit0 -x15309_bit0 -x16409_bit0 -x16609_bit0 -x16709_bit0 -x16809_bit0 -x17109_bit0 -x17309_bit0 -x17409_bit0 -x17509_bit0 -x17609_bit0 -x17709_bit0 -x17809_bit0 -x17909_bit0 -x18509_bit0 -x18609_bit0 -x18709_bit0 -x18809_bit0 -x18909_bit0 -x19109_bit0 -x19209_bit0 -x19309_bit0 -x19409_bit0 -x19709_bit0 -x19809_bit0 -x19909_bit0 -x20009_bit0 -x20209_bit0 -x20309_bit0 -x20509_bit0 -x20709_bit0 -x20909_bit0 -x21009_bit0 -x21309_bit0 -x21509_bit0 -x21709_bit0 -x21809_bit0 -x21909_bit0 -x22009_bit0 -x22109_bit0 -x22309_bit0 -x22409_bit0 -x22509_bit0 -x22709_bit0 -x22909_bit0 -x23009_bit0 -x23509_bit0 -x23609_bit0 -x23909_bit0 -x24209_bit0 -x24409_bit0 -x25309_bit0 -x25409_bit0 -x25609_bit0 -x25709_bit0 -x25809_bit0 -x25909_bit0 -x26009_bit0 -x26109_bit0 -x26209_bit0 -x26309_bit0 -x26409_bit0 -x26509_bit0 -x26609_bit0 -x26709_bit0 -x26909_bit0 -x27009_bit0 -x27109_bit0 -x27209_bit0 -x27309_bit0 -x27409_bit0 -x27509_bit0 -x27609_bit0 -x27709_bit0 -x27809_bit0 -x27909_bit0 -x28209_bit0 -x28309_bit0 -x28409_bit0 -x28509_bit0 -x28609_bit0 -x28709_bit0 -x28809_bit0 -x29009_bit0 -x29109_bit0 -x29209_bit0 -x29409_bit0 -x29509_bit0 -x29609_bit0 -x29709_bit0 -x29809_bit0 -x30109_bit0 -x30209_bit0 -x30309_bit0 -x30409_bit0 -x30809_bit0 -x30909_bit0 -x31209_bit0 -x31309_bit0 -x31409_bit0 -x31509_bit0 -x32109_bit0 -x32209_bit0 -x32309_bit0 -x32409_bit0 -x32509_bit0 -x32609_bit0 -x32709_bit0 -x32809_bit0 -x33009_bit0 -x33109_bit0 -x33309_bit0 -x33409_bit0 -x33609_bit0 -x34009_bit0 -x34209_bit0 -x34509_bit0 -x35309_bit0 -x35409_bit0 -x35509_bit0 -x35609_bit0 -x36109_bit0 -x36209_bit0 -x37309_bit0 -x37409_bit0 -x37509_bit0 -x37609_bit0 -x37709_bit0 -x37809_bit0 -x38109_bit0 -x38209_bit0 -x38409_bit0 -x38509_bit0 -x38809_bit0 -x38909_bit0 -x39209_bit0 -x39709_bit0 -x39909_bit0 -x40009_bit0 -x40109_bit0 -x40509_bit0 -x40609_bit0 -x40709_bit0 -x40809_bit0 -x41509_bit0 -x41609_bit0 -x41709_bit0 -x41909_bit0 -x42209_bit0 -x42309_bit0 -x42609_bit0 -x0110_bit0 -x0210_bit0 -x0310_bit0 -x0710_bit0 -x1010_bit0 -x1110_bit0 -x1510_bit0 -x1910_bit0 -x2010_bit0 -x2110_bit0 -x2210_bit0 -x3010_bit0 -x3410_bit0 -x3810_bit0 -x3910_bit0 -x4010_bit0 -x4110_bit0 -x4410_bit0 -x4810_bit0 -x5010_bit0 -x5610_bit0 -x5810_bit0 -x6410_bit0 -x6510_bit0 -x6910_bit0 -x7310_bit0 -x7410_bit0 -x7510_bit0 -x8210_bit0 -x8310_bit0 -x8510_bit0 -x8610_bit0 -x9510_bit0 -x9610_bit0 -x9710_bit0 -x9810_bit0 -x9910_bit0 -x10310_bit0 -x10510_bit0 -x10810_bit0 -x10910_bit0 -x11110_bit0 -x11210_bit0 -x11410_bit0 -x11610_bit0 -x11710_bit0 -x11810_bit0 -x11910_bit0 -x12010_bit0 -x12210_bit0 -x12910_bit0 -x13410_bit0 -x13810_bit0 -x13910_bit0 -x15010_bit0 -x15210_bit0 -x16610_bit0 -x16710_bit0 -x16810_bit0 -x17110_bit0 -x17310_bit0 -x17410_bit0 -x17510_bit0 -x17610_bit0 -x17710_bit0 -x17810_bit0 -x17910_bit0 -x18510_bit0 -x18610_bit0 -x18710_bit0 -x18810_bit0 -x18910_bit0 -x19110_bit0 -x19210_bit0 -x19310_bit0 -x19410_bit0 -x19810_bit0 -x19910_bit0 -x20510_bit0 -x20610_bit0 -x20710_bit0 -x20810_bit0 -x20910_bit0 -x21010_bit0 -x21110_bit0 -x21210_bit0 -x21310_bit0 -x21410_bit0 -x21510_bit0 -x21610_bit0 -x21810_bit0 -x21910_bit0 -x22110_bit0 -x22210_bit0 -x22610_bit0 -x22710_bit0 -x22910_bit0 -x23010_bit0 -x23210_bit0 -x23310_bit0 -x23410_bit0 -x23610_bit0 -x23710_bit0 -x23910_bit0 -x24410_bit0 -x25310_bit0 -x25410_bit0 -x25610_bit0 -x25710_bit0 -x25810_bit0 -x25910_bit0 -x26010_bit0 -x26110_bit0 -x26210_bit0 -x26310_bit0 -x26410_bit0 -x26510_bit0 -x26610_bit0 -x26710_bit0 -x26910_bit0 -x27010_bit0 -x27110_bit0 -x27210_bit0 -x27310_bit0 -x27410_bit0 -x27510_bit0 -x27610_bit0 -x27710_bit0 -x27810_bit0 -x27910_bit0 -x28210_bit0 -x28310_bit0 -x28410_bit0 -x28510_bit0 -x28610_bit0 -x28710_bit0 -x28810_bit0 -x28910_bit0 -x29010_bit0 -x29110_bit0 -x29410_bit0 -x29510_bit0 -x29610_bit0 -x29710_bit0 -x29810_bit0 -x30110_bit0 -x30210_bit0 -x30310_bit0 -x30410_bit0 -x30510_bit0 -x30810_bit0 -x30910_bit0 -x31210_bit0 -x31310_bit0 -x31410_bit0 -x31510_bit0 -x32110_bit0 -x32210_bit0 -x32310_bit0 -x32410_bit0 -x32510_bit0 -x32610_bit0 -x32710_bit0 -x33010_bit0 -x33110_bit0 -x33210_bit0 -x33410_bit0 -x33610_bit0 -x33910_bit0 -x34110_bit0 -x34210_bit0 -x34310_bit0 -x34410_bit0 -x34510_bit0 -x35510_bit0 -x36110_bit0 -x37310_bit0 -x37410_bit0 -x37510_bit0 -x37610_bit0 -x37810_bit0 -x38110_bit0 -x38210_bit0 -x38310_bit0 -x38410_bit0 -x38510_bit0 -x38710_bit0 -x38810_bit0 -x39010_bit0 -x39110_bit0 -x39210_bit0 -x40610_bit0 -x40710_bit0 -x41510_bit0 -x41610_bit0 -x41710_bit0  x42210_bit0 -x42310_bit0 -x0311_bit0 -x0411_bit0 -x1111_bit0 -x1211_bit0 -x1511_bit0 -x1911_bit0 -x2011_bit0 -x2311_bit0 -x2911_bit0 -x3011_bit0 -x3411_bit0 -x3811_bit0 -x4011_bit0 -x4411_bit0 -x4811_bit0 -x5011_bit0 -x5111_bit0 -x5211_bit0 -x5611_bit0 -x6511_bit0 -x6611_bit0 -x7311_bit0 -x7411_bit0 -x7611_bit0 -x7711_bit0 -x8311_bit0 -x9011_bit0 -x9111_bit0 -x9211_bit0 -x9511_bit0 -x9611_bit0 -x10211_bit0 -x10511_bit0 -x10811_bit0 -x11211_bit0 -x11411_bit0 -x11611_bit0 -x11711_bit0 -x11811_bit0 -x12911_bit0 -x13911_bit0 -x14211_bit0 -x14311_bit0 -x15211_bit0 -x15311_bit0 -x17111_bit0 -x17311_bit0 -x17411_bit0 -x17511_bit0 -x17611_bit0 -x17711_bit0 -x17811_bit0 -x17911_bit0 -x18511_bit0 -x18611_bit0 -x18711_bit0 -x18811_bit0 -x18911_bit0 -x19111_bit0 -x19211_bit0 -x19311_bit0 -x19411_bit0 -x20011_bit0 -x20211_bit0 -x20311_bit0 -x20511_bit0 -x20711_bit0 -x20911_bit0 -x21011_bit0 -x21511_bit0 -x21911_bit0 -x22011_bit0 -x22111_bit0 -x22311_bit0 -x22411_bit0 -x22511_bit0 -x22711_bit0 -x22911_bit0 -x24411_bit0 -x26911_bit0 -x27011_bit0 -x27111_bit0 -x27211_bit0 -x27311_bit0 -x27411_bit0 -x28211_bit0 -x29111_bit0 -x29211_bit0 -x29411_bit0 -x29711_bit0 -x29811_bit0 -x30111_bit0 -x30211_bit0 -x30311_bit0 -x30411_bit0 -x30811_bit0 -x30911_bit0 -x31211_bit0 -x31311_bit0 -x32111_bit0 -x32211_bit0 -x32311_bit0 -x32411_bit0 -x32511_bit0 -x32611_bit0 -x32711_bit0 -x32811_bit0 -x33011_bit0 -x33111_bit0 -x33311_bit0 -x33411_bit0 -x33611_bit0 -x34011_bit0 -x34211_bit0 -x34511_bit0 -x35311_bit0 -x36111_bit0 -x36211_bit0 -x37311_bit0 -x37411_bit0 -x37511_bit0 -x37611_bit0 -x37711_bit0 -x37811_bit0 -x38111_bit0 -x38211_bit0 -x38411_bit0 -x38511_bit0 -x38811_bit0 -x38911_bit0 -x40511_bit0 -x40611_bit0 -x40711_bit0 -x40811_bit0 -x41511_bit0 -x41711_bit0 -x41911_bit0 -x42211_bit0 -x42311_bit0 -x42611_bit0 -x0312_bit0 -x0412_bit0 -x0712_bit0 -x1012_bit0 -x1112_bit0 -x1212_bit0 -x1312_bit0 -x1512_bit0 -x1912_bit0 -x2012_bit0 -x2312_bit0 -x2912_bit0 -x3012_bit0 -x3412_bit0 -x3612_bit0 -x3812_bit0 -x3912_bit0 -x4012_bit0 -x4412_bit0 -x4712_bit0 -x4812_bit0 -x5012_bit0 -x5112_bit0 -x5212_bit0 -x5612_bit0 -x5812_bit0 -x6212_bit0 -x6512_bit0 -x6612_bit0 -x6712_bit0 -x6912_bit0 -x7312_bit0 -x7412_bit0 -x7512_bit0 -x7612_bit0 -x7712_bit0 -x8112_bit0 -x8312_bit0 -x8712_bit0 -x8812_bit0 -x9012_bit0 -x9112_bit0 -x9212_bit0 -x9312_bit0 -x9412_bit0 -x9512_bit0 -x9612_bit0 -x9712_bit0 -x9812_bit0 -x10212_bit0 -x10512_bit0 -x10812_bit0 -x11212_bit0 -x11412_bit0 -x11612_bit0 -x11712_bit0 -x11812_bit0 -x12112_bit0 -x12412_bit0 -x12512_bit0 -x12712_bit0 -x12812_bit0 -x12912_bit0 -x13912_bit0 -x14212_bit0 -x14312_bit0 -x15212_bit0 -x15312_bit0 -x16412_bit0 -x16612_bit0 -x17112_bit0 -x17312_bit0 -x17412_bit0 -x17712_bit0 -x17812_bit0 -x17912_bit0 -x18512_bit0 -x18712_bit0 -x18812_bit0 -x18912_bit0 -x19112_bit0 -x19212_bit0 -x19412_bit0 -x19712_bit0 -x20012_bit0 -x20212_bit0 -x20312_bit0 -x20512_bit0 -x20712_bit0 -x20912_bit0 -x21012_bit0 -x21512_bit0 -x21712_bit0 -x21912_bit0 -x22012_bit0 -x22112_bit0 -x22312_bit0 -x22412_bit0 -x22512_bit0 -x22712_bit0 -x22912_bit0 -x23912_bit0 -x24212_bit0 -x25312_bit0 -x25412_bit0 -x26912_bit0 -x27012_bit0 -x27112_bit0 -x27212_bit0 -x27312_bit0 -x27412_bit0 -x28212_bit0 -x28312_bit0 -x28712_bit0 -x28812_bit0 -x29112_bit0 -x29212_bit0 -x29412_bit0 -x29712_bit0 -x29812_bit0 -x30112_bit0 -x30212_bit0 -x30312_bit0 -x30412_bit0 -x30912_bit0 -x31312_bit0 -x31412_bit0 -x32112_bit0 -x32212_bit0 -x32312_bit0 -x32412_bit0 -x32512_bit0 -x32612_bit0 -x32712_bit0 -x32812_bit0 -x33012_bit0 -x33112_bit0 -x33312_bit0 -x33412_bit0 -x33612_bit0 -x34012_bit0 -x34212_bit0 -x34512_bit0 -x35312_bit0 -x36112_bit0 -x36212_bit0 -x37312_bit0 -x37412_bit0 -x37512_bit0 -x37612_bit0 -x37712_bit0 -x37812_bit0 -x38112_bit0 -x38212_bit0 -x38412_bit0 -x38512_bit0 -x38912_bit0 -x39912_bit0 -x40012_bit0 -x40112_bit0 -x40512_bit0 -x40612_bit0 -x40812_bit0 -x41512_bit0 -x41712_bit0 -x41912_bit0 -x42112_bit0 -x42212_bit0 -x42312_bit0 -x42612_bit0 -x0413_bit0 -x0613_bit0 -x0713_bit0 -x1013_bit0 -x1413_bit0 -x1513_bit0 -x2013_bit0 -x2313_bit0 -x2413_bit0 -x2613_bit0 -x2713_bit0 -x2813_bit0 -x3113_bit0 -x3513_bit0 -x3713_bit0 -x3813_bit0 -x3913_bit0 -x4013_bit0 -x4313_bit0 -x4513_bit0 -x4613_bit0 -x4713_bit0 -x4813_bit0 -x4913_bit0 -x5013_bit0 -x5213_bit0 -x5813_bit0 -x6013_bit0 -x6113_bit0 -x6313_bit0 -x6513_bit0 -x6613_bit0 -x6913_bit0 -x7313_bit0 -x7713_bit0 -x7813_bit0 -x8313_bit0 -x9013_bit0 -x9113_bit0 -x9213_bit0 -x9513_bit0 -x9613_bit0 -x9713_bit0 -x10213_bit0 -x11013_bit0 -x11413_bit0 -x11613_bit0 -x11713_bit0 -x11813_bit0 -x13513_bit0 -x13613_bit0 -x14213_bit0 -x14313_bit0 -x14413_bit0 -x15213_bit0 -x15313_bit0 -x15813_bit0 -x16113_bit0 -x16613_bit0 -x17213_bit0 -x19513_bit0 -x24513_bit0 -x24613_bit0 -x24713_bit0 -x25013_bit0 -x25313_bit0 -x26813_bit0 -x26913_bit0 -x27013_bit0 -x27113_bit0 -x27213_bit0 -x27313_bit0 -x28013_bit0 -x28813_bit0 -x29213_bit0 -x29413_bit0 -x29713_bit0 -x30113_bit0 -x30313_bit0 -x31013_bit0 -x31413_bit0 -x31613_bit0 -x31713_bit0 -x32013_bit0 -x32113_bit0 -x32213_bit0 -x32313_bit0 -x32413_bit0 -x32613_bit0 -x32713_bit0 -x32813_bit0 -x34613_bit0 -x34713_bit0 -x34813_bit0 -x35013_bit0 -x35313_bit0 -x36013_bit0 -x36513_bit0 -x36613_bit0 -x36713_bit0 -x36813_bit0 -x37313_bit0 -x37413_bit0 -x37513_bit0 -x37613_bit0 -x39313_bit0 -x39413_bit0 -x39513_bit0 -x39613_bit0 -x39813_bit0 -x40113_bit0 -x40513_bit0 -x40913_bit0 -x41013_bit0 -x41313_bit0 -x41713_bit0 -x42213_bit0 -x42613_bit0 -x42713_bit0 -x42913_bit0 -x43013_bit0 -x43113_bit0 -x43213_bit0 -x43313_bit0 -x43413_bit0 -x0414_bit0 -x0814_bit0 -x1214_bit0 -x1514_bit0 -x1614_bit0 -x2014_bit0 -x2314_bit0 -x2914_bit0 -x3214_bit0 -x3814_bit0 -x4014_bit0 -x4814_bit0 -x5014_bit0 -x5114_bit0 -x5214_bit0 -x5314_bit0 -x5414_bit0 -x5514_bit0 -x6514_bit0 -x6614_bit0 -x7614_bit0 -x7714_bit0 -x8314_bit0 -x8414_bit0 -x9014_bit0 -x9114_bit0 -x9214_bit0 -x9514_bit0 -x9614_bit0 -x10014_bit0 -x10114_bit0 -x10214_bit0 -x11214_bit0 -x11414_bit0 -x11614_bit0 -x11714_bit0 -x11814_bit0 -x12914_bit0 -x13114_bit0 -x14214_bit0 -x14314_bit0 -x15214_bit0 -x15314_bit0 -x20014_bit0 -x20214_bit0 -x20314_bit0 -x22014_bit0 -x22414_bit0 -x22514_bit0 -x26914_bit0 -x27014_bit0 -x27114_bit0 -x27214_bit0 -x27314_bit0 -x29214_bit0 -x29414_bit0 -x29714_bit0 -x30114_bit0 -x30314_bit0 -x31814_bit0 -x32114_bit0 -x32214_bit0 -x32314_bit0 -x32414_bit0 -x32714_bit0 -x32814_bit0 -x33314_bit0 -x35314_bit0 -x35814_bit0 -x36214_bit0 -x36314_bit0 -x36414_bit0 -x37314_bit0 -x37414_bit0 -x37514_bit0 -x37614_bit0 -x37714_bit0 -x37814_bit0 -x38914_bit0 -x40514_bit0 -x40814_bit0 -x41114_bit0 -x41714_bit0 -x41914_bit0 -x42114_bit0 -x42514_bit0 -x42614_bit0 -x43514_bit0 -x43714_bit0 -x0415_bit0 -x2015_bit0 -x2315_bit0 -x2915_bit0 -x3815_bit0 -x4015_bit0 -x4815_bit0 -x5015_bit0 -x5115_bit0 -x5215_bit0 -x5515_bit0 -x6515_bit0 -x6615_bit0 -x7715_bit0 -x8315_bit0 -x9015_bit0 -x9115_bit0 -x9215_bit0 -x9515_bit0 -x9615_bit0 -x10215_bit0 -x11315_bit0 -x11415_bit0 -x11615_bit0 -x11715_bit0 -x11815_bit0 -x13115_bit0 -x13315_bit0 -x13715_bit0 -x14215_bit0 -x14315_bit0 -x14515_bit0 -x15215_bit0 -x15315_bit0 -x15615_bit0 -x16015_bit0 -x16215_bit0 -x26915_bit0 -x27015_bit0 -x27115_bit0 -x27215_bit0 -x27315_bit0 -x29215_bit0 -x29415_bit0 -x29715_bit0 -x30115_bit0 -x30315_bit0 -x32115_bit0 -x32215_bit0 -x32315_bit0 -x32415_bit0 -x32715_bit0 -x32815_bit0 -x35315_bit0 -x35815_bit0 -x36215_bit0 -x36915_bit0 -x37315_bit0 -x37415_bit0 -x37515_bit0 -x37615_bit0 -x40515_bit0 -x40815_bit0 -x41115_bit0 -x41715_bit0 -x41915_bit0 -x42115_bit0 -x42515_bit0 -x42615_bit0 -x43515_bit0 -x43715_bit0 -x0416_bit0 -x1216_bit0 -x2316_bit0 -x2916_bit0 -x4716_bit0 -x5116_bit0 -x5216_bit0 -x6616_bit0 -x6716_bit0 -x7616_bit0 -x7716_bit0 -x9016_bit0 -x9116_bit0 -x9216_bit0 -x10216_bit0 -x14216_bit0 -x14316_bit0 -x15316_bit0 -x29216_bit0 -x32816_bit0 -x35316_bit0 -x36216_bit0 -x39916_bit0 -x40016_bit0 -x40516_bit0 -x40816_bit0 -x41916_bit0 -x42116_bit0 -x42616_bit0 -x0417_bit0 -x1217_bit0 -x2317_bit0 -x2917_bit0 -x5117_bit0 -x5217_bit0  x7617_bit0 -x9017_bit0  x14217_bit0 -x14317_bit0 -x15317_bit0 -x36217_bit0 -x39917_bit0 -x40017_bit0 -x40517_bit0 -x40817_bit0 -x41917_bit0 -x0818_bit0 -x1618_bit0 -x3218_bit0 -x5318_bit0 -x5418_bit0 -x5518_bit0 -x6718_bit0 -x8418_bit0 -x10018_bit0 -x10118_bit0 -x13118_bit0 -x31818_bit0 -x35818_bit0 -x36318_bit0 -x36418_bit0 -x40318_bit0 -x41118_bit0 -x42118_bit0 -x42518_bit0 -x43518_bit0 -x43718_bit0 -x0819_bit0 -x1619_bit0 -x3219_bit0 -x5319_bit0 -x5419_bit0 -x5519_bit0 -x8419_bit0 -x10019_bit0 -x10119_bit0 -x13119_bit0 -x31819_bit0 -x35819_bit0 -x36319_bit0 -x36419_bit0 -x41119_bit0 -x42519_bit0 -x43519_bit0 -x0820_bit0 -x1620_bit0 -x3220_bit0 -x5320_bit0 -x5420_bit0 -x8420_bit0 -x10020_bit0 -x10120_bit0 -x13120_bit0 -x31820_bit0 -x35820_bit0 -x36320_bit0 -x36420_bit0 -x2921_bit0 -x8921_bit0 -x14021_bit0 -x14121_bit0 -x15121_bit0 -x16921_bit0 -x17021_bit0 -x18121_bit0 -x18321_bit0  x24021_bit0 -x24121_bit0 -x39921_bit0 -x40021_bit0 -x5522_bit0 -x10122_bit0 -x35822_bit0 -x41122_bit0 -x42122_bit0 -x42522_bit0 -x43522_bit0 -x43722_bit0 -x5523_bit0 -x10123_bit0 -x13123_bit0 -x35823_bit0 -x41123_bit0  x42523_bit0 -x43523_bit0  z00_bit0  z01_bit0  z02_bit0  z03_bit0  z04_bit0  z05_bit0  z06_bit0  z07_bit0 -z08_bit0  z09_bit0  z10_bit0  z11_bit0  z12_bit0  z13_bit0 -z14_bit0  z15_bit0  z16_bit0  z17_bit0  z18_bit0  z19_bit0  z20_bit0  z21_bit0  z22_bit0  z23_bit0 -y0000_bit0 -y0100_bit0 -y0200_bit0 -y0300_bit0 -y0400_bit0 -y0500_bit0 -y0600_bit0 -y0700_bit0 -y0800_bit0 -y0900_bit0 -y1000_bit0 -y1100_bit0 -y1200_bit0 -y1300_bit0 -y1400_bit0 -y1500_bit0 -y1600_bit0 -y1700_bit0 -y1800_bit0 -y1900_bit0 -y2000_bit0 -y2100_bit0 -y2200_bit0 -y2300_bit0 -y2400_bit0 -y2500_bit0 -y2600_bit0 -y2700_bit0 -y2800_bit0 -y2900_bit0 -y3000_bit0 -y3100_bit0 -y3200_bit0 -y3300_bit0 -y3400_bit0 -y3500_bit0 -y3600_bit0 -y3700_bit0 -y3800_bit0 -y3900_bit0 -y4000_bit0 -y4100_bit0 -y4200_bit0 -y4300_bit0 -y4400_bit0 -y4500_bit0 -y4600_bit0 -y4700_bit0 -y4800_bit0 -y4900_bit0 -y5000_bit0 -y5100_bit0 -y5200_bit0 -y5300_bit0 -y5400_bit0 -y5500_bit0 -y5600_bit0 -y5700_bit0 -y5800_bit0 -y5900_bit0 -y6000_bit0 -y6100_bit0 -y6200_bit0 -y6300_bit0 -y6400_bit0 -y6500_bit0 -y6600_bit0 -y6700_bit0 -y6800_bit0 -y6900_bit0 -y7000_bit0 -y7100_bit0 -y7200_bit0 -y7300_bit0 -y7400_bit0 -y7500_bit0 -y7600_bit0 -y7700_bit0 -y7800_bit0 -y7900_bit0 -y8000_bit0 -y8100_bit0 -y8200_bit0 -y8300_bit0 -y8400_bit0 -y8500_bit0 -y8600_bit0 -y8700_bit0 -y8800_bit0 -y8900_bit0 -y9000_bit0 -y9100_bit0 -y9200_bit0 -y9300_bit0 -y9400_bit0 -y9500_bit0 -y9600_bit0 -y9700_bit0 -y9800_bit0 -y9900_bit0 -y10000_bit0 -y10100_bit0 -y10200_bit0 -y10300_bit0 -y10400_bit0 -y10500_bit0 -y10600_bit0 -y10700_bit0 -y10800_bit0 -y10900_bit0 -y11000_bit0 -y11100_bit0 -y11200_bit0 -y11300_bit0 -y11400_bit0 -y11500_bit0 -y11600_bit0 -y11700_bit0 -y11800_bit0 -y11900_bit0 -y12000_bit0 -y12100_bit0 -y12200_bit0 -y12300_bit0 -y12400_bit0 -y12500_bit0 -y12600_bit0 -y12700_bit0 -y12800_bit0 -y12900_bit0 -y13000_bit0 -y13100_bit0 -y13200_bit0 -y13300_bit0 -y13400_bit0 -y13500_bit0 -y13600_bit0 -y13700_bit0 -y13800_bit0 -y13900_bit0 -y14000_bit0 -y14100_bit0 -y14200_bit0 -y14300_bit0 -y14400_bit0 -y14500_bit0 -y14600_bit0 -y14700_bit0 -y14800_bit0 -y14900_bit0 -y15000_bit0 -y15100_bit0 -y15200_bit0 -y15300_bit0 -y15400_bit0 -y15500_bit0 -y15600_bit0 -y15700_bit0 -y15800_bit0 -y15900_bit0 -y16000_bit0 -y16100_bit0 -y16200_bit0 -y16300_bit0 -y16400_bit0 -y16500_bit0 -y16600_bit0 -y16700_bit0 -y16800_bit0 -y16900_bit0 -y17000_bit0 -y17100_bit0 -y17200_bit0 -y17300_bit0 -y17400_bit0 -y17500_bit0 -y17600_bit0 -y17700_bit0 -y17800_bit0 -y17900_bit0 -y18000_bit0 -y18100_bit0 -y18200_bit0 -y18300_bit0 -y18400_bit0  y18500_bit0 -y18600_bit0 -y18700_bit0  y18800_bit0 -y18900_bit0 -y19000_bit0 -y19100_bit0 -y19200_bit0 -y19300_bit0 -y19400_bit0 -y19500_bit0 -y19600_bit0 -y19700_bit0 -y19800_bit0 -y19900_bit0 -y20000_bit0 -y20100_bit0 -y20200_bit0 -y20300_bit0 -y20400_bit0 -y20500_bit0 -y20600_bit0 -y20700_bit0 -y20800_bit0 -y20900_bit0 -y21000_bit0 -y21100_bit0 -y21200_bit0 -y21300_bit0 -y21400_bit0 -y21500_bit0 -y21600_bit0 -y21700_bit0 -y21800_bit0 -y21900_bit0 -y22000_bit0 -y22100_bit0 -y0101_bit0 -y0201_bit0 -y0301_bit0 -y0701_bit0 -y1001_bit0 -y1201_bit0 -y1501_bit0 -y1601_bit0 -y1701_bit0 -y1801_bit0 -y2301_bit0 -y2401_bit0 -y2701_bit0 -y3101_bit0 -y3201_bit0 -y3801_bit0 -y3901_bit0 -y4001_bit0 -y4101_bit0 -y4201_bit0 -y4301_bit0 -y4801_bit0 -y5401_bit0 -y5601_bit0 -y6001_bit0 -y6101_bit0 -y6401_bit0 -y6501_bit0 -y6601_bit0 -y6901_bit0 -y7101_bit0 -y7201_bit0 -y7301_bit0 -y7401_bit0 -y7501_bit0 -y7701_bit0 -y7801_bit0 -y8001_bit0 -y8101_bit0 -y8301_bit0 -y8501_bit0 -y8701_bit0 -y8801_bit0 -y8901_bit0 -y9201_bit0 -y9401_bit0 -y10601_bit0 -y10801_bit0 -y11701_bit0 -y12201_bit0 -y12301_bit0 -y12501_bit0 -y12601_bit0 -y12701_bit0 -y12801_bit0 -y12901_bit0 -y13001_bit0 -y13101_bit0 -y13201_bit0 -y13301_bit0 -y14001_bit0 -y14101_bit0 -y14301_bit0 -y14401_bit0 -y14501_bit0 -y14601_bit0 -y14801_bit0 -y14901_bit0 -y15001_bit0 -y15301_bit0 -y15401_bit0 -y15701_bit0 -y15801_bit0 -y15901_bit0 -y16101_bit0 -y16301_bit0 -y16401_bit0 -y16501_bit0 -y16601_bit0 -y16701_bit0 -y16801_bit0 -y16901_bit0 -y17401_bit0 -y17601_bit0 -y17901_bit0 -y18101_bit0 -y18201_bit0 -y18601_bit0 -y18901_bit0 -y19001_bit0 -y19701_bit0 -y19801_bit0 -y19901_bit0 -y20001_bit0 -y20101_bit0 -y20501_bit0 -y20601_bit0 -y20701_bit0 -y21001_bit0 -y21101_bit0 -y21301_bit0  y21401_bit0  y21901_bit0 -y22101_bit0 -y0102_bit0 -y0202_bit0 -y0302_bit0 -y0702_bit0 -y1002_bit0 -y1202_bit0 -y1502_bit0 -y1602_bit0 -y1702_bit0 -y1802_bit0 -y2302_bit0 -y2402_bit0 -y2702_bit0 -y3102_bit0 -y3202_bit0 -y3802_bit0 -y3902_bit0 -y4002_bit0 -y4102_bit0 -y4202_bit0 -y4302_bit0 -y4802_bit0 -y5402_bit0 -y5602_bit0 -y6002_bit0 -y6102_bit0 -y6402_bit0 -y6502_bit0 -y6602_bit0 -y6902_bit0 -y7102_bit0 -y7202_bit0 -y7302_bit0 -y7502_bit0 -y7802_bit0 -y8002_bit0 -y8102_bit0 -y8302_bit0 -y8802_bit0 -y8902_bit0 -y9202_bit0 -y10602_bit0 -y10802_bit0 -y11702_bit0 -y12202_bit0 -y12302_bit0 -y12502_bit0  y12602_bit0  y12702_bit0 -y12802_bit0 -y12902_bit0 -y13002_bit0 -y13102_bit0 -y13202_bit0 -y13302_bit0 -y14002_bit0 -y14102_bit0 -y14302_bit0 -y14402_bit0 -y14502_bit0 -y14602_bit0 -y14802_bit0 -y14902_bit0 -y15002_bit0 -y15302_bit0 -y15402_bit0 -y15702_bit0 -y15802_bit0 -y15902_bit0 -y16102_bit0 -y16302_bit0 -y16402_bit0 -y16502_bit0 -y16602_bit0 -y16702_bit0 -y16802_bit0 -y16902_bit0 -y17402_bit0 -y17602_bit0 -y17902_bit0 -y18102_bit0 -y18202_bit0 -y18902_bit0 -y19002_bit0 -y19702_bit0 -y19802_bit0 -y19902_bit0 -y20002_bit0 -y20102_bit0 -y20502_bit0 -y20602_bit0 -y20702_bit0 -y21002_bit0 -y21102_bit0 -y21302_bit0 -y21402_bit0 -y21902_bit0 -y22102_bit0 -y22202_bit0 -y22302_bit0 -y22402_bit0 -y22502_bit0 -y22602_bit0 -y22702_bit0 -y22802_bit0 -y22902_bit0 -y23002_bit0 -y23102_bit0 -y23202_bit0 -y23302_bit0 -y23402_bit0 -y23502_bit0 -y23602_bit0 -y23702_bit0 -y23802_bit0 -y23902_bit0 -y24002_bit0 -y24102_bit0 -y24202_bit0 -y24302_bit0 -y24402_bit0 -y24502_bit0 -y24602_bit0 -y24702_bit0 -y24802_bit0 -y24902_bit0 -y25002_bit0 -y25102_bit0 -y25202_bit0 -y25302_bit0 -y25402_bit0 -y25502_bit0 -y25602_bit0 -y25702_bit0 -y25802_bit0 -y25902_bit0 -y26002_bit0 -y26102_bit0 -y26202_bit0 -y26302_bit0 -y26402_bit0 -y26502_bit0 -y26602_bit0 -y26702_bit0 -y26802_bit0 -y26902_bit0 -y27002_bit0 -y27102_bit0 -y27202_bit0 -y27302_bit0 -y27402_bit0 -y27502_bit0 -y27602_bit0 -y27702_bit0 -y27802_bit0 -y27902_bit0 -y0103_bit0 -y0203_bit0 -y0303_bit0 -y0703_bit0 -y1003_bit0 -y1203_bit0 -y1503_bit0 -y1603_bit0 -y1703_bit0 -y1803_bit0 -y2303_bit0 -y2403_bit0 -y2703_bit0 -y3103_bit0 -y3203_bit0 -y3803_bit0  y3903_bit0 -y4003_bit0 -y4103_bit0 -y4203_bit0 -y4303_bit0 -y4803_bit0 -y5403_bit0 -y5603_bit0 -y6003_bit0 -y6103_bit0 -y6403_bit0 -y6503_bit0 -y6603_bit0 -y6903_bit0 -y7103_bit0 -y7203_bit0 -y7303_bit0 -y7503_bit0 -y7803_bit0 -y8003_bit0 -y8103_bit0 -y8303_bit0 -y8803_bit0 -y8903_bit0 -y9203_bit0 -y10603_bit0 -y10803_bit0 -y11703_bit0 -y12203_bit0 -y12303_bit0 -y12503_bit0 -y12603_bit0 -y12703_bit0 -y12803_bit0 -y12903_bit0 -y13003_bit0 -y13103_bit0 -y13203_bit0 -y13303_bit0 -y14003_bit0 -y14103_bit0 -y14303_bit0 -y14403_bit0 -y14503_bit0 -y14603_bit0 -y14803_bit0 -y14903_bit0 -y15003_bit0 -y15303_bit0 -y15403_bit0 -y15703_bit0 -y15803_bit0 -y15903_bit0 -y16103_bit0 -y16303_bit0 -y16403_bit0 -y16503_bit0 -y16603_bit0 -y16703_bit0 -y16803_bit0 -y16903_bit0 -y17403_bit0 -y17603_bit0 -y17903_bit0 -y18103_bit0 -y18203_bit0 -y18903_bit0 -y19003_bit0 -y19703_bit0 -y19803_bit0 -y19903_bit0 -y20003_bit0 -y20103_bit0 -y20503_bit0 -y20603_bit0 -y20703_bit0 -y21003_bit0 -y21103_bit0 -y21303_bit0 -y21403_bit0 -y21903_bit0 -y22103_bit0 -y22203_bit0 -y22303_bit0 -y22403_bit0 -y22503_bit0 -y22603_bit0 -y22703_bit0 -y22803_bit0 -y22903_bit0 -y23003_bit0  y23103_bit0 -y23203_bit0 -y23303_bit0 -y23403_bit0 -y23503_bit0 -y23603_bit0 -y23703_bit0 -y23803_bit0 -y23903_bit0 -y24003_bit0 -y24103_bit0 -y24203_bit0 -y24303_bit0 -y24403_bit0 -y24503_bit0 -y24603_bit0 -y24703_bit0 -y24803_bit0 -y24903_bit0 -y25003_bit0 -y25103_bit0 -y25203_bit0 -y25303_bit0 -y25403_bit0 -y25503_bit0 -y25603_bit0 -y25703_bit0 -y25803_bit0 -y25903_bit0 -y26003_bit0 -y26103_bit0 -y26203_bit0 -y26303_bit0 -y26403_bit0 -y26503_bit0 -y26603_bit0 -y26703_bit0 -y26803_bit0 -y26903_bit0 -y27003_bit0 -y27103_bit0 -y27203_bit0 -y27303_bit0 -y27403_bit0 -y27503_bit0 -y27603_bit0 -y27703_bit0 -y27803_bit0 -y27903_bit0 -y0104_bit0 -y0204_bit0 -y0304_bit0 -y0604_bit0 -y0904_bit0 -y1004_bit0 -y1204_bit0 -y1504_bit0  y1604_bit0 -y1704_bit0 -y1804_bit0 -y2304_bit0 -y2404_bit0 -y2704_bit0 -y3104_bit0 -y3204_bit0 -y3704_bit0 -y3804_bit0 -y3904_bit0 -y4004_bit0 -y4104_bit0 -y4304_bit0 -y4404_bit0 -y4804_bit0 -y5104_bit0 -y5404_bit0 -y5504_bit0 -y5604_bit0 -y6004_bit0 -y6204_bit0 -y6304_bit0 -y6404_bit0 -y6504_bit0 -y6604_bit0 -y6904_bit0 -y7004_bit0 -y7204_bit0 -y7304_bit0 -y7504_bit0 -y7804_bit0 -y8004_bit0 -y8104_bit0 -y8804_bit0 -y8904_bit0 -y9204_bit0 -y9904_bit0 -y10004_bit0 -y10604_bit0 -y10804_bit0 -y11004_bit0 -y11404_bit0 -y11504_bit0 -y11704_bit0 -y11804_bit0 -y11904_bit0 -y12004_bit0 -y12104_bit0 -y12204_bit0 -y12304_bit0 -y12404_bit0 -y12504_bit0 -y12604_bit0 -y12704_bit0 -y12804_bit0 -y12904_bit0 -y13004_bit0 -y13104_bit0 -y13204_bit0 -y13304_bit0 -y13404_bit0 -y13504_bit0 -y13604_bit0 -y13704_bit0 -y13804_bit0 -y13904_bit0 -y14004_bit0 -y14104_bit0 -y14304_bit0 -y14404_bit0 -y14504_bit0 -y14604_bit0 -y14804_bit0 -y14904_bit0 -y15004_bit0 -y15304_bit0 -y15404_bit0 -y15704_bit0 -y15804_bit0 -y15904_bit0 -y16304_bit0 -y16404_bit0 -y16504_bit0 -y16604_bit0 -y16704_bit0 -y16804_bit0 -y16904_bit0 -y17404_bit0 -y17604_bit0 -y18104_bit0  y18204_bit0 -y18904_bit0 -y19004_bit0 -y19704_bit0 -y19804_bit0 -y19904_bit0 -y20004_bit0 -y20504_bit0 -y20604_bit0 -y20704_bit0 -y21104_bit0 -y21404_bit0 -y22204_bit0 -y22604_bit0 -y22704_bit0 -y22804_bit0 -y22904_bit0 -y23004_bit0 -y23104_bit0 -y23204_bit0 -y23304_bit0 -y23404_bit0 -y23504_bit0 -y23604_bit0 -y23704_bit0 -y23804_bit0 -y23904_bit0 -y24004_bit0 -y24104_bit0 -y24204_bit0 -y24304_bit0 -y24404_bit0 -y24504_bit0 -y24604_bit0 -y24704_bit0 -y24804_bit0 -y24904_bit0 -y25004_bit0 -y25104_bit0 -y25204_bit0 -y25304_bit0 -y25404_bit0 -y25504_bit0 -y25604_bit0 -y25704_bit0 -y25804_bit0 -y25904_bit0 -y26004_bit0 -y26104_bit0 -y26204_bit0 -y26304_bit0 -y26404_bit0 -y26504_bit0 -y26604_bit0 -y26704_bit0 -y27004_bit0 -y27104_bit0 -y27204_bit0 -y27304_bit0 -y27404_bit0 -y27504_bit0 -y27604_bit0 -y27704_bit0 -y27804_bit0 -y27904_bit0 -y0105_bit0 -y0205_bit0 -y0305_bit0 -y0705_bit0 -y1005_bit0 -y1205_bit0 -y1505_bit0 -y1605_bit0 -y1705_bit0 -y1805_bit0 -y2305_bit0 -y2405_bit0 -y2705_bit0 -y3105_bit0 -y3205_bit0 -y3805_bit0 -y3905_bit0 -y4005_bit0 -y4105_bit0 -y4205_bit0 -y4305_bit0 -y4805_bit0 -y5405_bit0 -y5605_bit0 -y6005_bit0 -y6105_bit0 -y6405_bit0 -y6505_bit0 -y6605_bit0 -y6905_bit0 -y7105_bit0 -y7205_bit0 -y7305_bit0 -y7505_bit0 -y7805_bit0 -y8005_bit0 -y8105_bit0 -y8305_bit0 -y8805_bit0 -y8905_bit0 -y9205_bit0 -y10605_bit0 -y10805_bit0 -y11705_bit0 -y12205_bit0 -y12305_bit0 -y12505_bit0 -y12605_bit0 -y12705_bit0 -y12805_bit0 -y12905_bit0 -y13005_bit0 -y13105_bit0 -y13205_bit0 -y13305_bit0 -y14005_bit0 -y14105_bit0 -y14305_bit0 -y14405_bit0 -y14505_bit0 -y14605_bit0 -y14805_bit0 -y14905_bit0 -y15005_bit0 -y15305_bit0  y15405_bit0 -y15705_bit0 -y15805_bit0 -y15905_bit0 -y16105_bit0 -y16305_bit0 -y16405_bit0 -y16505_bit0 -y16605_bit0 -y16705_bit0 -y16805_bit0 -y16905_bit0 -y17405_bit0 -y17605_bit0 -y17905_bit0 -y18105_bit0 -y18205_bit0 -y18905_bit0 -y19005_bit0 -y19705_bit0 -y19805_bit0 -y19905_bit0 -y20005_bit0 -y20105_bit0 -y20505_bit0 -y20605_bit0 -y20705_bit0 -y21005_bit0 -y21105_bit0 -y21305_bit0 -y21405_bit0 -y21905_bit0 -y22105_bit0 -y22205_bit0 -y22305_bit0 -y22405_bit0 -y22505_bit0 -y22605_bit0 -y22705_bit0 -y22805_bit0 -y22905_bit0 -y23005_bit0 -y23105_bit0 -y23205_bit0 -y23305_bit0 -y23405_bit0 -y23505_bit0 -y23605_bit0 -y23705_bit0 -y23805_bit0 -y23905_bit0 -y24005_bit0 -y24105_bit0 -y24205_bit0 -y24305_bit0 -y24405_bit0 -y24505_bit0 -y24605_bit0 -y24705_bit0 -y24805_bit0 -y24905_bit0 -y25005_bit0 -y25105_bit0 -y25205_bit0 -y25305_bit0 -y25405_bit0 -y25505_bit0 -y25605_bit0 -y25705_bit0 -y25805_bit0  y25905_bit0 -y26005_bit0 -y26105_bit0 -y26205_bit0 -y26305_bit0 -y26405_bit0 -y26505_bit0 -y26605_bit0 -y26705_bit0 -y26805_bit0 -y26905_bit0 -y27005_bit0 -y27105_bit0 -y27205_bit0 -y27305_bit0 -y27405_bit0 -y27505_bit0 -y27605_bit0 -y27705_bit0 -y27805_bit0 -y27905_bit0 -y0106_bit0 -y0206_bit0 -y0306_bit0 -y0706_bit0 -y1006_bit0 -y1206_bit0 -y1506_bit0 -y1606_bit0 -y1706_bit0 -y1806_bit0 -y2306_bit0 -y2406_bit0 -y2706_bit0 -y3106_bit0 -y3206_bit0 -y3806_bit0 -y3906_bit0 -y4006_bit0 -y4106_bit0 -y4206_bit0 -y4306_bit0 -y4806_bit0 -y5406_bit0 -y5606_bit0 -y6006_bit0 -y6106_bit0 -y6406_bit0 -y6506_bit0 -y6606_bit0 -y6906_bit0 -y7106_bit0 -y7206_bit0 -y7306_bit0 -y7506_bit0 -y7806_bit0 -y8006_bit0 -y8106_bit0 -y8306_bit0 -y8806_bit0 -y8906_bit0 -y9206_bit0 -y10606_bit0 -y10806_bit0 -y11706_bit0 -y12206_bit0 -y12306_bit0 -y12506_bit0 -y12606_bit0 -y12706_bit0 -y12806_bit0 -y12906_bit0 -y13006_bit0 -y13106_bit0 -y13206_bit0 -y13306_bit0 -y14006_bit0 -y14106_bit0 -y14306_bit0 -y14406_bit0 -y14506_bit0 -y14606_bit0 -y14806_bit0 -y14906_bit0 -y15006_bit0 -y15306_bit0 -y15406_bit0 -y15706_bit0 -y15806_bit0 -y15906_bit0 -y16106_bit0 -y16306_bit0 -y16406_bit0 -y16506_bit0 -y16606_bit0 -y16706_bit0 -y16806_bit0 -y16906_bit0 -y17406_bit0 -y17606_bit0 -y17906_bit0 -y18106_bit0 -y18206_bit0 -y18906_bit0 -y19006_bit0 -y19706_bit0 -y19806_bit0 -y19906_bit0 -y20006_bit0 -y20106_bit0 -y20506_bit0 -y20606_bit0 -y20706_bit0 -y21006_bit0 -y21106_bit0 -y21306_bit0 -y21406_bit0 -y21906_bit0 -y22106_bit0 -y22206_bit0 -y22306_bit0 -y22406_bit0 -y22506_bit0 -y22606_bit0  y22706_bit0 -y22806_bit0 -y22906_bit0 -y23006_bit0 -y23106_bit0 -y23206_bit0 -y23306_bit0 -y23406_bit0 -y23506_bit0  y23606_bit0 -y23706_bit0 -y23806_bit0 -y23906_bit0 -y24006_bit0 -y24106_bit0 -y24206_bit0 -y24306_bit0 -y24406_bit0 -y24506_bit0 -y24606_bit0 -y24706_bit0 -y24806_bit0 -y24906_bit0 -y25006_bit0 -y25106_bit0 -y25206_bit0 -y25306_bit0 -y25406_bit0 -y25506_bit0 -y25606_bit0 -y25706_bit0 -y25806_bit0 -y25906_bit0 -y26006_bit0 -y26106_bit0 -y26206_bit0 -y26306_bit0 -y26406_bit0 -y26506_bit0 -y26606_bit0 -y26706_bit0 -y26806_bit0 -y26906_bit0 -y27006_bit0 -y27106_bit0 -y27206_bit0 -y27306_bit0 -y27406_bit0 -y27506_bit0 -y27606_bit0 -y27706_bit0 -y27806_bit0 -y27906_bit0 -y0107_bit0 -y0207_bit0 -y0307_bit0 -y0707_bit0 -y1007_bit0 -y1207_bit0 -y1507_bit0 -y1607_bit0 -y1707_bit0 -y1807_bit0 -y2307_bit0 -y2407_bit0 -y2707_bit0 -y3107_bit0 -y3207_bit0 -y3807_bit0 -y3907_bit0 -y4007_bit0 -y4107_bit0 -y4207_bit0 -y4307_bit0 -y4807_bit0 -y5407_bit0 -y5607_bit0 -y6007_bit0 -y6107_bit0 -y6407_bit0 -y6507_bit0 -y6607_bit0 -y6907_bit0 -y7107_bit0 -y7207_bit0 -y7307_bit0 -y7507_bit0 -y7807_bit0 -y8007_bit0 -y8107_bit0 -y8307_bit0 -y8807_bit0 -y8907_bit0 -y9207_bit0 -y10607_bit0 -y10807_bit0 -y11707_bit0 -y12207_bit0 -y12307_bit0 -y12507_bit0 -y12607_bit0 -y12707_bit0 -y12807_bit0 -y12907_bit0 -y13007_bit0 -y13107_bit0 -y13207_bit0 -y13307_bit0 -y14007_bit0 -y14107_bit0 -y14307_bit0 -y14407_bit0 -y14507_bit0 -y14607_bit0 -y14807_bit0 -y14907_bit0 -y15007_bit0 -y15307_bit0 -y15407_bit0 -y15707_bit0 -y15807_bit0 -y15907_bit0 -y16107_bit0 -y16307_bit0 -y16407_bit0 -y16507_bit0 -y16607_bit0 -y16707_bit0 -y16807_bit0 -y16907_bit0 -y17407_bit0 -y17607_bit0 -y17907_bit0 -y18107_bit0 -y18207_bit0 -y18907_bit0 -y19007_bit0 -y19707_bit0 -y19807_bit0 -y19907_bit0 -y20007_bit0 -y20107_bit0 -y20507_bit0  y20607_bit0 -y20707_bit0 -y21007_bit0 -y21107_bit0 -y21307_bit0 -y21407_bit0 -y21907_bit0 -y22107_bit0 -y22207_bit0 -y22307_bit0 -y22407_bit0 -y22507_bit0 -y22607_bit0 -y22707_bit0 -y22807_bit0 -y22907_bit0 -y23007_bit0 -y23107_bit0 -y23207_bit0 -y23307_bit0 -y23407_bit0 -y23507_bit0 -y23607_bit0 -y23707_bit0 -y23807_bit0 -y23907_bit0 -y24007_bit0 -y24107_bit0 -y24207_bit0 -y24307_bit0 -y24407_bit0 -y24507_bit0 -y24607_bit0 -y24707_bit0 -y24807_bit0 -y24907_bit0 -y25007_bit0 -y25107_bit0 -y25207_bit0 -y25307_bit0 -y25407_bit0 -y25507_bit0 -y25607_bit0 -y25707_bit0 -y25807_bit0 -y25907_bit0 -y26007_bit0 -y26107_bit0 -y26207_bit0 -y26307_bit0 -y26407_bit0 -y26507_bit0 -y26607_bit0 -y26707_bit0 -y26807_bit0 -y26907_bit0 -y27007_bit0  y27107_bit0 -y27207_bit0 -y27307_bit0 -y27407_bit0 -y27507_bit0 -y27607_bit0 -y27707_bit0 -y27807_bit0 -y27907_bit0 -y0108_bit0 -y0208_bit0 -y0608_bit0 -y0908_bit0 -y1008_bit0 -y1108_bit0 -y1208_bit0 -y1508_bit0 -y1608_bit0 -y1708_bit0 -y2408_bit0 -y2708_bit0 -y2908_bit0 -y3108_bit0 -y3208_bit0 -y3808_bit0 -y3908_bit0 -y4308_bit0 -y4408_bit0 -y4608_bit0 -y5108_bit0 -y5408_bit0 -y5508_bit0 -y5908_bit0 -y6008_bit0 -y6208_bit0 -y6308_bit0 -y6708_bit0 -y6808_bit0 -y6908_bit0 -y7008_bit0 -y7208_bit0 -y7308_bit0 -y7508_bit0 -y7808_bit0 -y8008_bit0 -y8108_bit0 -y8808_bit0 -y9808_bit0 -y9908_bit0 -y10008_bit0 -y10608_bit0 -y10708_bit0 -y10808_bit0 -y11008_bit0 -y11408_bit0 -y11508_bit0 -y11708_bit0 -y11808_bit0 -y11908_bit0 -y12008_bit0 -y12108_bit0 -y12208_bit0 -y12308_bit0 -y12408_bit0 -y12508_bit0  y12608_bit0 -y12708_bit0 -y12808_bit0 -y12908_bit0 -y13008_bit0 -y13108_bit0 -y13208_bit0 -y13308_bit0 -y13408_bit0 -y13508_bit0  y13608_bit0 -y13708_bit0 -y13808_bit0 -y13908_bit0 -y14008_bit0 -y14308_bit0 -y14408_bit0 -y14508_bit0 -y14608_bit0 -y14808_bit0 -y14908_bit0 -y15008_bit0 -y15308_bit0 -y15408_bit0 -y15708_bit0 -y15808_bit0 -y15908_bit0 -y16308_bit0 -y16408_bit0 -y16508_bit0 -y16608_bit0 -y16708_bit0 -y16808_bit0 -y17508_bit0 -y17608_bit0 -y17708_bit0 -y18108_bit0 -y18908_bit0 -y19008_bit0 -y19308_bit0 -y19808_bit0 -y19908_bit0 -y20508_bit0 -y20608_bit0 -y20708_bit0 -y21108_bit0 -y22608_bit0 -y22708_bit0 -y22808_bit0 -y22908_bit0 -y23008_bit0 -y23108_bit0 -y23208_bit0 -y23308_bit0 -y23408_bit0 -y23508_bit0 -y23608_bit0 -y23708_bit0 -y23808_bit0 -y23908_bit0 -y24008_bit0 -y24108_bit0 -y24208_bit0 -y24308_bit0 -y24408_bit0 -y24508_bit0 -y24608_bit0 -y24708_bit0 -y24808_bit0 -y24908_bit0 -y25008_bit0 -y25108_bit0 -y25208_bit0 -y25308_bit0 -y25408_bit0 -y25508_bit0 -y25608_bit0 -y25708_bit0 -y25808_bit0 -y25908_bit0 -y26008_bit0 -y26108_bit0 -y26208_bit0 -y26308_bit0 -y26408_bit0 -y26508_bit0 -y26608_bit0 -y26708_bit0 -y27008_bit0 -y27108_bit0 -y27208_bit0 -y27308_bit0 -y27408_bit0 -y27508_bit0 -y27608_bit0 -y27708_bit0 -y27808_bit0 -y27908_bit0 -y28008_bit0 -y28108_bit0 -y28208_bit0 -y28308_bit0 -y28408_bit0 -y28508_bit0 -y28608_bit0 -y28708_bit0 -y28808_bit0 -y28908_bit0 -y29008_bit0 -y29108_bit0 -y29208_bit0 -y29308_bit0 -y29408_bit0 -y29508_bit0 -y29608_bit0 -y29708_bit0 -y29808_bit0 -y29908_bit0 -y30008_bit0 -y30108_bit0 -y30208_bit0 -y30308_bit0 -y0109_bit0 -y0209_bit0 -y0309_bit0 -y0609_bit0 -y0909_bit0 -y1009_bit0 -y1109_bit0 -y1209_bit0 -y1509_bit0 -y1609_bit0 -y1709_bit0 -y1809_bit0 -y2309_bit0 -y2409_bit0 -y2709_bit0 -y2909_bit0 -y3109_bit0 -y3209_bit0 -y3709_bit0 -y3809_bit0 -y3909_bit0 -y4009_bit0 -y4109_bit0 -y4309_bit0 -y4409_bit0 -y4609_bit0 -y4809_bit0 -y5109_bit0 -y5409_bit0 -y5509_bit0 -y5609_bit0 -y5909_bit0 -y6009_bit0 -y6209_bit0 -y6309_bit0 -y6409_bit0 -y6509_bit0 -y6609_bit0 -y6709_bit0 -y6809_bit0 -y6909_bit0 -y7009_bit0 -y7209_bit0 -y7309_bit0 -y7509_bit0 -y7809_bit0 -y8009_bit0 -y8109_bit0 -y8809_bit0 -y8909_bit0 -y9209_bit0 -y9809_bit0 -y9909_bit0 -y10009_bit0 -y10609_bit0 -y10709_bit0 -y10809_bit0 -y11009_bit0 -y11409_bit0 -y11509_bit0 -y11709_bit0 -y11809_bit0 -y11909_bit0 -y12009_bit0 -y12109_bit0 -y12209_bit0 -y12309_bit0 -y12409_bit0 -y12509_bit0 -y12609_bit0 -y12709_bit0 -y12809_bit0 -y12909_bit0 -y13009_bit0 -y13109_bit0 -y13209_bit0 -y13309_bit0 -y13409_bit0 -y13509_bit0 -y13609_bit0 -y13709_bit0 -y13809_bit0 -y13909_bit0 -y14009_bit0 -y14109_bit0 -y14309_bit0 -y14409_bit0 -y14509_bit0 -y14609_bit0 -y14809_bit0 -y14909_bit0 -y15009_bit0 -y15309_bit0 -y15409_bit0 -y15709_bit0 -y15809_bit0 -y15909_bit0 -y16309_bit0 -y16409_bit0 -y16509_bit0 -y16609_bit0 -y16709_bit0 -y16809_bit0 -y16909_bit0 -y17409_bit0 -y17509_bit0 -y17609_bit0 -y17709_bit0 -y18109_bit0 -y18209_bit0 -y18909_bit0 -y19009_bit0 -y19109_bit0 -y19209_bit0  y19309_bit0 -y19709_bit0 -y19809_bit0 -y19909_bit0 -y20009_bit0 -y20509_bit0 -y20609_bit0 -y20709_bit0 -y21109_bit0 -y21409_bit0 -y22209_bit0 -y22609_bit0 -y22709_bit0 -y22809_bit0 -y22909_bit0 -y23009_bit0 -y23109_bit0 -y23209_bit0 -y23309_bit0 -y23409_bit0 -y23509_bit0 -y23609_bit0 -y23709_bit0 -y23809_bit0 -y23909_bit0 -y24009_bit0 -y24109_bit0 -y24209_bit0 -y24309_bit0 -y24409_bit0 -y24509_bit0 -y24609_bit0 -y24709_bit0 -y24809_bit0 -y24909_bit0 -y25009_bit0 -y25109_bit0 -y25209_bit0 -y25309_bit0 -y25409_bit0 -y25509_bit0 -y25609_bit0 -y25709_bit0 -y25809_bit0 -y25909_bit0 -y26009_bit0 -y26109_bit0 -y26209_bit0 -y26309_bit0 -y26409_bit0 -y26509_bit0 -y26609_bit0 -y26709_bit0 -y27009_bit0 -y27109_bit0 -y27209_bit0 -y27309_bit0 -y27409_bit0 -y27509_bit0  y27609_bit0 -y27709_bit0 -y27809_bit0 -y27909_bit0 -y28209_bit0 -y28309_bit0 -y28409_bit0 -y28509_bit0 -y28609_bit0 -y28709_bit0 -y28809_bit0 -y29009_bit0 -y29309_bit0 -y0110_bit0 -y0210_bit0 -y0610_bit0 -y0910_bit0 -y1010_bit0 -y1210_bit0 -y1510_bit0 -y1610_bit0 -y1710_bit0 -y2410_bit0 -y2710_bit0 -y3110_bit0 -y3210_bit0 -y3810_bit0 -y3910_bit0 -y4310_bit0 -y4410_bit0 -y5110_bit0 -y5410_bit0 -y5510_bit0 -y6010_bit0 -y6210_bit0 -y6310_bit0 -y6910_bit0 -y7010_bit0 -y7210_bit0 -y7310_bit0 -y7510_bit0 -y7810_bit0 -y8010_bit0 -y8110_bit0 -y8810_bit0 -y9210_bit0 -y9910_bit0 -y10010_bit0 -y10610_bit0 -y10810_bit0 -y11010_bit0 -y11410_bit0 -y11510_bit0 -y11710_bit0 -y11810_bit0 -y11910_bit0 -y12010_bit0 -y12110_bit0 -y12210_bit0 -y12310_bit0 -y12410_bit0 -y12510_bit0 -y12610_bit0 -y12710_bit0 -y12810_bit0 -y12910_bit0 -y13010_bit0 -y13110_bit0 -y13210_bit0 -y13310_bit0 -y13410_bit0 -y13510_bit0 -y13610_bit0 -y13710_bit0 -y13810_bit0 -y13910_bit0 -y14010_bit0 -y14310_bit0 -y14410_bit0 -y14510_bit0 -y14610_bit0 -y14810_bit0 -y14910_bit0 -y15010_bit0 -y15310_bit0 -y15410_bit0 -y15710_bit0 -y15810_bit0 -y15910_bit0 -y16310_bit0 -y16410_bit0 -y16510_bit0 -y16610_bit0 -y16710_bit0 -y16810_bit0 -y17610_bit0 -y18110_bit0 -y18910_bit0 -y19010_bit0 -y19810_bit0 -y19910_bit0 -y20510_bit0 -y20610_bit0 -y20710_bit0  y21110_bit0 -y22610_bit0 -y22710_bit0 -y22810_bit0 -y22910_bit0 -y23010_bit0 -y23110_bit0 -y23210_bit0 -y23310_bit0 -y23410_bit0 -y23510_bit0 -y23610_bit0 -y23710_bit0 -y23810_bit0 -y23910_bit0 -y24210_bit0 -y24310_bit0 -y24410_bit0 -y24510_bit0 -y24610_bit0 -y24710_bit0 -y24810_bit0 -y24910_bit0 -y25110_bit0 -y25510_bit0 -y25610_bit0 -y25710_bit0 -y25810_bit0 -y25910_bit0 -y26010_bit0 -y26110_bit0 -y26310_bit0 -y26410_bit0 -y26610_bit0 -y26710_bit0 -y27110_bit0 -y27210_bit0 -y27310_bit0 -y27410_bit0 -y27510_bit0 -y27610_bit0 -y27810_bit0 -y27910_bit0 -y30410_bit0 -y30510_bit0 -y30610_bit0 -y30710_bit0 -y30810_bit0 -y30910_bit0 -y31010_bit0 -y31110_bit0 -y31210_bit0 -y31310_bit0 -y31410_bit0 -y31510_bit0 -y31610_bit0 -y31710_bit0 -y31810_bit0 -y31910_bit0 -y32010_bit0 -y32110_bit0 -y32210_bit0 -y32310_bit0 -y32410_bit0 -y32510_bit0 -y32610_bit0 -y32710_bit0 -y32810_bit0  y32910_bit0 -y33010_bit0 -y33110_bit0 -y33210_bit0 -y33310_bit0 -y33410_bit0 -y0211_bit0 -y0311_bit0 -y1011_bit0 -y1211_bit0 -y1511_bit0 -y1611_bit0 -y1811_bit0 -y2311_bit0 -y2411_bit0 -y2711_bit0 -y3111_bit0 -y3211_bit0 -y3811_bit0 -y3911_bit0 -y4011_bit0 -y4111_bit0 -y4311_bit0 -y4811_bit0 -y5411_bit0 -y5611_bit0 -y6011_bit0 -y6411_bit0 -y6511_bit0 -y6611_bit0 -y6911_bit0 -y7311_bit0 -y7811_bit0 -y8011_bit0 -y8111_bit0 -y8811_bit0 -y8911_bit0 -y9211_bit0 -y10611_bit0 -y12611_bit0 -y12711_bit0 -y12811_bit0 -y13311_bit0 -y14011_bit0 -y14111_bit0 -y14311_bit0 -y14511_bit0 -y14611_bit0 -y14811_bit0 -y14911_bit0 -y15011_bit0 -y15311_bit0 -y15411_bit0 -y15711_bit0 -y15811_bit0 -y16311_bit0 -y16411_bit0 -y16511_bit0 -y16611_bit0 -y16711_bit0 -y16811_bit0 -y16911_bit0 -y17411_bit0 -y18111_bit0 -y18211_bit0 -y18911_bit0 -y19011_bit0 -y19711_bit0 -y19811_bit0 -y19911_bit0 -y20011_bit0 -y20511_bit0 -y20711_bit0 -y21111_bit0  y21411_bit0 -y22211_bit0 -y22611_bit0 -y22711_bit0 -y22911_bit0 -y23111_bit0 -y23211_bit0 -y23311_bit0 -y23411_bit0 -y23511_bit0 -y23611_bit0 -y23711_bit0 -y24011_bit0 -y24111_bit0 -y24211_bit0 -y24311_bit0 -y24411_bit0 -y24511_bit0 -y24711_bit0 -y24911_bit0 -y25011_bit0 -y25111_bit0 -y25211_bit0 -y25311_bit0 -y25411_bit0 -y25511_bit0 -y25611_bit0 -y25811_bit0 -y25911_bit0 -y26011_bit0 -y26111_bit0 -y26211_bit0  y26311_bit0 -y26411_bit0 -y26511_bit0 -y26611_bit0 -y26711_bit0 -y27011_bit0 -y27111_bit0 -y27211_bit0 -y27311_bit0 -y27411_bit0 -y27511_bit0 -y27611_bit0 -y27711_bit0 -y27911_bit0 -y0212_bit0 -y0312_bit0 -y0612_bit0 -y0912_bit0 -y1012_bit0 -y1112_bit0 -y1212_bit0 -y1512_bit0 -y1612_bit0 -y1812_bit0 -y2312_bit0 -y2412_bit0 -y2712_bit0 -y2912_bit0 -y3112_bit0 -y3212_bit0 -y3712_bit0 -y3812_bit0 -y3912_bit0 -y4012_bit0 -y4112_bit0 -y4312_bit0 -y4412_bit0 -y4612_bit0 -y4812_bit0 -y4912_bit0 -y5112_bit0 -y5412_bit0 -y5512_bit0 -y5612_bit0 -y5912_bit0 -y6012_bit0 -y6412_bit0 -y6512_bit0 -y6612_bit0 -y6712_bit0 -y6812_bit0 -y6912_bit0 -y7012_bit0 -y7312_bit0 -y7812_bit0 -y8012_bit0 -y8112_bit0 -y8812_bit0 -y8912_bit0 -y9212_bit0 -y9812_bit0 -y9912_bit0 -y10612_bit0 -y11012_bit0 -y11412_bit0 -y11512_bit0 -y12612_bit0 -y12712_bit0 -y12812_bit0 -y13312_bit0 -y13412_bit0 -y13812_bit0 -y13912_bit0 -y14012_bit0 -y14112_bit0 -y14312_bit0 -y14512_bit0 -y14612_bit0 -y14812_bit0 -y14912_bit0 -y15012_bit0 -y15412_bit0 -y15812_bit0 -y16312_bit0 -y16412_bit0 -y16512_bit0 -y16612_bit0 -y16712_bit0 -y16812_bit0 -y16912_bit0 -y17412_bit0 -y18112_bit0  y18212_bit0 -y18912_bit0 -y19012_bit0 -y19112_bit0  y19212_bit0 -y19312_bit0 -y19712_bit0 -y19812_bit0 -y20012_bit0 -y20512_bit0 -y20712_bit0 -y21012_bit0 -y21112_bit0 -y21412_bit0 -y22212_bit0 -y22612_bit0 -y22712_bit0 -y22912_bit0 -y23112_bit0 -y23212_bit0 -y23412_bit0 -y23512_bit0 -y23612_bit0 -y23712_bit0 -y24012_bit0 -y24112_bit0 -y24212_bit0 -y24312_bit0 -y24412_bit0 -y24512_bit0 -y24712_bit0 -y24912_bit0 -y25012_bit0 -y25112_bit0 -y25212_bit0 -y25312_bit0 -y25412_bit0 -y25512_bit0 -y25612_bit0 -y25912_bit0 -y26012_bit0 -y26112_bit0 -y26212_bit0 -y26312_bit0 -y26412_bit0 -y26512_bit0 -y26612_bit0 -y26712_bit0 -y27012_bit0 -y27112_bit0 -y27212_bit0 -y27312_bit0 -y27412_bit0 -y27512_bit0 -y27712_bit0 -y27912_bit0 -y28212_bit0 -y28412_bit0 -y28612_bit0 -y28712_bit0 -y28812_bit0 -y29012_bit0 -y29312_bit0 -y0313_bit0 -y0513_bit0 -y0613_bit0 -y0913_bit0 -y1213_bit0 -y1613_bit0 -y1813_bit0 -y1913_bit0 -y2113_bit0 -y2213_bit0 -y2513_bit0 -y2813_bit0 -y3013_bit0 -y3113_bit0 -y3213_bit0 -y3413_bit0 -y3513_bit0 -y3613_bit0 -y3713_bit0 -y3813_bit0 -y3913_bit0 -y4113_bit0 -y4413_bit0 -y4513_bit0 -y4713_bit0 -y4813_bit0 -y5113_bit0 -y5413_bit0 -y5613_bit0 -y6013_bit0 -y6413_bit0 -y6513_bit0 -y6613_bit0 -y6913_bit0 -y7013_bit0 -y7613_bit0 -y7813_bit0 -y8013_bit0 -y8113_bit0 -y8613_bit0 -y8913_bit0 -y9213_bit0 -y9613_bit0 -y9913_bit0 -y10313_bit0 -y11413_bit0 -y12613_bit0 -y12713_bit0 -y13913_bit0 -y14113_bit0 -y14313_bit0 -y14513_bit0 -y14813_bit0 -y14913_bit0 -y15513_bit0 -y16013_bit0 -y16313_bit0 -y16413_bit0 -y16513_bit0 -y16613_bit0 -y16713_bit0 -y16813_bit0 -y16913_bit0 -y17013_bit0 -y17413_bit0 -y18013_bit0 -y18313_bit0  y18413_bit0  y18513_bit0 -y18913_bit0 -y19013_bit0 -y19313_bit0 -y19713_bit0 -y20313_bit0 -y20713_bit0 -y21113_bit0 -y21413_bit0 -y21513_bit0 -y21713_bit0 -y21813_bit0 -y33513_bit0 -y33613_bit0 -y33713_bit0 -y33813_bit0 -y33913_bit0 -y34013_bit0 -y34113_bit0 -y34213_bit0 -y34313_bit0 -y0314_bit0 -y0714_bit0  y1214_bit0 -y1614_bit0 -y1814_bit0 -y2314_bit0 -y3114_bit0 -y3214_bit0 -y3814_bit0 -y3914_bit0 -y4014_bit0 -y4114_bit0 -y4214_bit0 -y4814_bit0 -y5614_bit0 -y6014_bit0 -y6114_bit0 -y6414_bit0 -y6514_bit0 -y6614_bit0 -y6914_bit0 -y7114_bit0 -y7814_bit0 -y8014_bit0 -y8114_bit0 -y8314_bit0 -y8914_bit0 -y9214_bit0 -y12614_bit0 -y12714_bit0 -y14114_bit0 -y14314_bit0 -y14514_bit0 -y14814_bit0 -y14914_bit0 -y16114_bit0 -y16314_bit0 -y16414_bit0 -y16514_bit0 -y16614_bit0 -y16814_bit0 -y16914_bit0 -y17414_bit0 -y17914_bit0 -y18214_bit0  y18914_bit0 -y19014_bit0 -y19714_bit0 -y20014_bit0 -y20114_bit0 -y20714_bit0 -y21014_bit0 -y21314_bit0 -y21414_bit0 -y21914_bit0 -y22114_bit0 -y22214_bit0 -y22314_bit0 -y22414_bit0 -y22514_bit0 -y22714_bit0 -y22914_bit0 -y24014_bit0 -y24114_bit0 -y25014_bit0 -y25314_bit0 -y25414_bit0 -y26214_bit0 -y26814_bit0 -y26914_bit0 -y27014_bit0 -y27114_bit0 -y27714_bit0 -y0315_bit0 -y1615_bit0 -y1815_bit0 -y2315_bit0 -y3115_bit0 -y3215_bit0 -y3815_bit0 -y3915_bit0 -y4015_bit0 -y4115_bit0 -y4215_bit0 -y4815_bit0 -y5615_bit0 -y6015_bit0 -y6415_bit0 -y6515_bit0 -y6615_bit0 -y6915_bit0 -y7715_bit0 -y7815_bit0 -y8015_bit0 -y8115_bit0 -y8315_bit0 -y8515_bit0 -y8715_bit0 -y8915_bit0 -y9215_bit0 -y9415_bit0 -y12615_bit0 -y12715_bit0 -y14115_bit0 -y14315_bit0 -y14515_bit0 -y14815_bit0 -y14915_bit0 -y16315_bit0 -y16415_bit0 -y16515_bit0 -y16615_bit0 -y16815_bit0 -y16915_bit0 -y17415_bit0 -y17915_bit0 -y18215_bit0 -y18615_bit0 -y18915_bit0  y19015_bit0 -y19715_bit0 -y20015_bit0 -y20115_bit0 -y20715_bit0 -y21015_bit0 -y21315_bit0 -y21415_bit0 -y21915_bit0  y22115_bit0 -y0316_bit0 -y1816_bit0 -y2316_bit0 -y3716_bit0 -y4016_bit0 -y4116_bit0 -y4816_bit0 -y4916_bit0  y5616_bit0 -y6416_bit0 -y6516_bit0 -y6616_bit0  y8916_bit0 -y14116_bit0 -y16916_bit0 -y17416_bit0 -y18216_bit0 -y19116_bit0 -y19216_bit0 -y19716_bit0 -y20016_bit0 -y21016_bit0 -y21416_bit0 -y22216_bit0 -y0317_bit0 -y1817_bit0 -y2317_bit0 -y4017_bit0 -y4117_bit0 -y6417_bit0  y8917_bit0 -y18217_bit0 -y19117_bit0 -y19217_bit0 -y19717_bit0 -y20017_bit0  y22217_bit0 -y0718_bit0 -y4218_bit0 -y4918_bit0 -y6118_bit0  y7118_bit0 -y8318_bit0 -y16118_bit0 -y17918_bit0 -y19518_bit0 -y20118_bit0 -y21018_bit0 -y21318_bit0 -y21918_bit0 -y22118_bit0 -y22318_bit0 -y22418_bit0  y22518_bit0 -y26818_bit0 -y26918_bit0 -y0719_bit0 -y4219_bit0 -y6119_bit0 -y7119_bit0  y8319_bit0 -y16119_bit0  y17919_bit0 -y20119_bit0 -y21319_bit0 -y21919_bit0 -y22319_bit0 -y22419_bit0 -y22519_bit0 -y26819_bit0 -y26919_bit0 -y0720_bit0 -y6120_bit0 -y7120_bit0 -y8320_bit0 -y16120_bit0 -y17920_bit0 -y22320_bit0 -y22420_bit0  y22520_bit0 -y26820_bit0  y26920_bit0 -y2321_bit0 -y10121_bit0  y10221_bit0 -y19121_bit0 -y19221_bit0 -y34421_bit0 -y34521_bit0  y34621_bit0 -y4222_bit0 -y17922_bit0  y20122_bit0 -y21022_bit0 -y21322_bit0 -y21922_bit0 -y22122_bit0  y22522_bit0 -y4223_bit0 -y8323_bit0 -y17923_bit0 -y20123_bit0  y21323_bit0 -y21923_bit0  y22523_bit0 -a_bit_7 -a_bit_6 -a_bit_5 -a_bit_4 -a_bit_3  a_bit_2 -a_bit_1  a_bit0  a_bit1  a_bit2 -a_bit3 -a_bit4 -a_bit5  a_bit6 -a_bit7 -a_bit8 -a_bit9 -a_bit10 -a_bit11 -a_bit12 -p_bit_7 -p_bit_6 -p_bit_5 -p_bit_4 -p_bit_3 -p_bit_2 -p_bit_1  p_bit0 -p_bit1 -p_bit2  p_bit3 -p_bit4 -p_bit5 -p_bit6 -p_bit7 -p_bit8  p_bit9 -p_bit10 -p_bit11 -p_bit12 
s SATISFIABLE
 Interupt; Current theory and settings are copied here:
   /tmp/vallst_sh_out_theory.vnf
   /tmp/vallst_sh_changing_setting.options
#### 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.80 0.95 0.96 2/54 11676
Raw data (stat): 11676 (runsolver) R 11675 3132 3131 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 787251513 884736 94 4294967295 134512640 135332820 3221224448 3221219612 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.83 0.95 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+20.0002 s]
Raw data (loadavg): 0.85 0.95 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+30.001 s]
Raw data (loadavg): 0.88 0.95 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+40.0004 s]
Raw data (loadavg): 0.89 0.95 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+50.0005 s]
Raw data (loadavg): 0.91 0.96 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+60.0013 s]
Raw data (loadavg): 0.92 0.96 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+70.0007 s]
Raw data (loadavg): 0.93 0.96 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+80.0018 s]
Raw data (loadavg): 0.94 0.96 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+90.0017 s]
Raw data (loadavg): 0.95 0.96 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+100.001 s]
Raw data (loadavg): 0.96 0.96 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+110.002 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+120.003 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+130.003 s]
Raw data (loadavg): 0.97 0.96 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+140.003 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+150.003 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+160.004 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+170.004 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+220.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+280.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11679
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 321 231 0 0 0 1 0 0 21 0 1 0 787251513 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+960.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1210.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1220.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1230.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1240.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1250.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1260.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1270.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1280.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1290.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1300.15 s]
Raw data (loadavg): 1.07 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1310.15 s]
Raw data (loadavg): 1.06 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1320.15 s]
Raw data (loadavg): 1.05 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1330.15 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1340.15 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1350.15 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1360.15 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1370.15 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1380.15 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1390.15 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1400.15 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1410.15 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1420.15 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1430.15 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1440.15 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1450.15 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1460.15 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1470.15 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1480.15 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1490.15 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1500.15 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1510.15 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1520.15 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1530.16 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1540.17 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1550.17 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1560.17 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 11681
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1568.18 s]
Raw data (loadavg): 0.92 0.97 0.96 1/53 11693
Raw data (stat): 11676 (vallstSAT2005PB) S 11675 3132 3131 0 -1 0 369 1516 0 0 1 1 32825 683 19 0 1 0 787251513 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 0

Child status: 10
Real time (s): 1568.18
CPU time (s): 1566.79
CPU user time (s): 1523.52
CPU system time (s): 43.2684
CPU usage (%): 99.9111
Max. virtual memory (Kb): 2128
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	224875
#### END VERIFIER DATA ####