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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos3.opb
MD5SUM	640a68756f6bc046860dd4d0fa3890ca
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	10485755
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	2396687647113216000
Number of bits of the biggest number in a constraint	62
Biggest sum of numbers in a constraint	282492798299765243904
Number of bits of the biggest sum of numbers	68
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	28623
Total number of constraints	2841
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1377
Number of constraints which are nor clauses,nor cardinality constraints	1464
Minimum length of a constraint	1
Maximum length of a constraint	3188
Trace number 13983

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-20 22:51:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19688 boxname=wulflinc30 idbench=1515 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  640a68756f6bc046860dd4d0fa3890ca  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-neos3.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-neos3.opb
IDLAUNCH: 19688
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 3
cpu MHz		: 451.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        894636 kB
Buffers:         16368 kB
Cached:          88352 kB
SwapCached:          0 kB
Active:          18516 kB
Inactive:        89076 kB
HighTotal:      131008 kB
HighFree:        78232 kB
LowTotal:       903652 kB
LowFree:        816404 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6900 kB
Slab:            26632 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 22:51:14 (client local time) WITH STATUS 30 IN 0.428934 SECONDS
stats: 19688 6 0.428934 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-neos3.opb ......
c The optimum solution is:0
s OPTIMUM FOUND
v -C0001_bit0 -C0001_bit1 -C0001_bit2 -C0001_bit3 -C0001_bit4 -C0001_bit_1 -C0001_bit_2 -C0001_bit_3 -C0001_bit_4 -C0001_bit_5 -C0001_bit_6 -C0001_bit_7 -C0002_bit0 -C0002_bit1 -C0002_bit2 -C0002_bit3 -C0002_bit4 -C0002_bit_1 -C0002_bit_2 -C0002_bit_3 -C0002_bit_4 -C0002_bit_5 -C0002_bit_6 -C0002_bit_7 -C0003_bit0 -C0003_bit1 -C0003_bit2 -C0003_bit3 -C0003_bit4 -C0003_bit_1 -C0003_bit_2 -C0003_bit_3 -C0003_bit_4 -C0003_bit_5 -C0003_bit_6 -C0003_bit_7 -C0004_bit0 -C0004_bit1 -C0004_bit2 -C0004_bit3 -C0004_bit4 -C0004_bit_1 -C0004_bit_2 -C0004_bit_3 -C0004_bit_4 -C0004_bit_5 -C0004_bit_6 -C0004_bit_7 -C0005_bit0 -C0005_bit1 -C0005_bit2 -C0005_bit3 C0005_bit4 -C0005_bit_1 -C0005_bit_2 -C0005_bit_3 -C0005_bit_4 -C0005_bit_5 -C0005_bit_6 -C0005_bit_7 -C0006_bit0 -C0006_bit1 -C0006_bit10 -C0006_bit11 -C0006_bit12 -C0006_bit13 -C0006_bit2 -C0006_bit3 -C0006_bit4 -C0006_bit5 -C0006_bit6 -C0006_bit7 -C0006_bit8 -C0006_bit9 -C0006_bit_1 -C0006_bit_2 -C0006_bit_3 -C0006_bit_4 -C0006_bit_5 -C0006_bit_6 -C0006_bit_7 -C0007_bit0 -C0007_bit1 -C0007_bit10 -C0007_bit11 -C0007_bit12 -C0007_bit13 -C0007_bit2 -C0007_bit3 -C0007_bit4 -C0007_bit5 -C0007_bit6 -C0007_bit7 -C0007_bit8 -C0007_bit9 -C0007_bit_1 -C0007_bit_2 -C0007_bit_3 -C0007_bit_4 -C0007_bit_5 -C0007_bit_6 -C0007_bit_7 -C0008_bit0 -C0008_bit1 -C0008_bit10 -C0008_bit11 -C0008_bit12 -C0008_bit13 -C0008_bit2 -C0008_bit3 -C0008_bit4 -C0008_bit5 -C0008_bit6 -C0008_bit7 -C0008_bit8 -C0008_bit9 -C0008_bit_1 -C0008_bit_2 -C0008_bit_3 -C0008_bit_4 -C0008_bit_5 -C0008_bit_6 -C0008_bit_7 -C0009_bit0 -C0009_bit1 -C0009_bit10 -C0009_bit11 -C0009_bit12 -C0009_bit13 -C0009_bit2 -C0009_bit3 -C0009_bit4 -C0009_bit5 -C0009_bit6 -C0009_bit7 -C0009_bit8 -C0009_bit9 -C0009_bit_1 -C0009_bit_2 -C0009_bit_3 -C0009_bit_4 -C0009_bit_5 -C0009_bit_6 -C0009_bit_7 -C0010_bit0 -C0010_bit1 -C0010_bit10 -C0010_bit11 -C0010_bit12 -C0010_bit13 -C0010_bit2 -C0010_bit3 -C0010_bit4 -C0010_bit5 -C0010_bit6 -C0010_bit7 -C0010_bit8 -C0010_bit9 -C0010_bit_1 -C0010_bit_2 -C0010_bit_3 -C0010_bit_4 -C0010_bit_5 -C0010_bit_6 -C0010_bit_7 -C0011_bit_1 -C0011_bit_2 -C0011_bit_3 -C0011_bit_4 -C0011_bit_5 -C0011_bit_6 -C0011_bit_7 -C0091_bit_1 -C0091_bit_2 -C0091_bit_3 -C0091_bit_4 -C0091_bit_5 -C0091_bit_6 -C0091_bit_7 -C0092_bit_1 -C0092_bit_2 -C0092_bit_3 -C0092_bit_4 -C0092_bit_5 -C0092_bit_6 -C0092_bit_7 -C0172_bit_1 -C0172_bit_2 -C0172_bit_3 -C0172_bit_4 -C0172_bit_5 -C0172_bit_6 -C0172_bit_7 -C0173_bit_1 -C0173_bit_2 -C0173_bit_3 -C0173_bit_4 -C0173_bit_5 -C0173_bit_6 -C0173_bit_7 -C0253_bit_1 -C0253_bit_2 -C0253_bit_3 -C0253_bit_4 -C0253_bit_5 -C0253_bit_6 -C0253_bit_7 -C0254_bit_1 -C0254_bit_2 -C0254_bit_3 -C0254_bit_4 -C0254_bit_5 -C0254_bit_6 -C0254_bit_7 -C0334_bit_1 -C0334_bit_2 -C0334_bit_3 -C0334_bit_4 -C0334_bit_5 -C0334_bit_6 -C0334_bit_7 -C0335_bit_1 -C0335_bit_2 -C0335_bit_3 -C0335_bit_4 -C0335_bit_5 -C0335_bit_6 -C0335_bit_7 -C0415_bit_1 -C0415_bit_2 -C0415_bit_3 -C0415_bit_4 -C0415_bit_5 -C0415_bit_6 -C0415_bit_7 -C0416_bit_1 -C0416_bit_2 -C0416_bit_3 -C0416_bit_4 -C0416_bit_5 -C0416_bit_6 -C0416_bit_7 -C0496_bit_1 -C0496_bit_2 -C0496_bit_3 -C0496_bit_4 -C0496_bit_5 -C0496_bit_6 -C0496_bit_7 -C0497_bit_1 -C0497_bit_2 -C0497_bit_3 -C0497_bit_4 -C0497_bit_5 -C0497_bit_6 -C0497_bit_7 -C0577_bit_1 -C0577_bit_2 -C0577_bit_3 -C0577_bit_4 -C0577_bit_5 -C0577_bit_6 -C0577_bit_7 -C0578_bit_1 -C0578_bit_2 -C0578_bit_3 -C0578_bit_4 -C0578_bit_5 -C0578_bit_6 -C0578_bit_7 -C0658_bit_1 -C0658_bit_2 -C0658_bit_3 -C0658_bit_4 -C0658_bit_5 -C0658_bit_6 -C0658_bit_7 -C0659_bit_1 -C0659_bit_2 -C0659_bit_3 -C0659_bit_4 -C0659_bit_5 -C0659_bit_6 -C0659_bit_7 -C0739_bit_1 -C0739_bit_2 -C0739_bit_3 -C0739_bit_4 -C0739_bit_5 -C0739_bit_6 -C0739_bit_7 -C0740_bit_1 -C0740_bit_2 -C0740_bit_3 -C0740_bit_4 -C0740_bit_5 -C0740_bit_6 -C0740_bit_7 -C0820_bit_1 -C0820_bit_2 -C0820_bit_3 -C0820_bit_4 -C0820_bit_5 -C0820_bit_6 -C0820_bit_7 -C0821_bit_1 -C0821_bit_2 -C0821_bit_3 -C0821_bit_4 -C0821_bit_5 -C0821_bit_6 -C0821_bit_7 -C0901_bit_1 -C0901_bit_2 -C0901_bit_3 -C0901_bit_4 -C0901_bit_5 -C0901_bit_6 -C0901_bit_7 -C0902_bit_1 -C0902_bit_2 -C0902_bit_3 -C0902_bit_4 -C0902_bit_5 -C0902_bit_6 -C0902_bit_7 -C0982_bit_1 -C0982_bit_2 -C0982_bit_3 -C0982_bit_4 -C0982_bit_5 -C0982_bit_6 -C0982_bit_7 -C0983_bit_1 -C0983_bit_2 -C0983_bit_3 -C0983_bit_4 -C0983_bit_5 -C0983_bit_6 -C0983_bit_7 -C1063_bit_1 -C1063_bit_2 -C1063_bit_3 -C1063_bit_4 -C1063_bit_5 -C1063_bit_6 -C1063_bit_7 -C1064_bit_1 -C1064_bit_2 -C1064_bit_3 -C1064_bit_4 C1064_bit_5 -C1064_bit_6 -C1064_bit_7 C1065_bit0 C1065_bit1 C1065_bit10 C1065_bit11 C1065_bit12 -C1065_bit2 C1065_bit3 C1065_bit4 -C1065_bit5 C1065_bit6 -C1065_bit7 -C1065_bit8 C1065_bit9 C1065_bit_1 C1065_bit_2 C1065_bit_3 -C1065_bit_4 -C1065_bit_5 -C1065_bit_6 C1065_bit_7 -C1066_bit0 -C1066_bit1 C1066_bit10 -C1066_bit11 C1066_bit12 -C1066_bit2 -C1066_bit3 -C1066_bit4 -C1066_bit5 -C1066_bit6 C1066_bit7 C1066_bit8 C1066_bit9 -C1066_bit_1 C1066_bit_2 C1066_bit_3 -C1066_bit_4 -C1066_bit_5 C1066_bit_6 -C1066_bit_7 C1067_bit0 -C1067_bit1 C1067_bit10 -C1067_bit11 C1067_bit12 -C1067_bit2 -C1067_bit3 C1067_bit4 -C1067_bit5 C1067_bit6 C1067_bit7 C1067_bit8 -C1067_bit9 C1067_bit_1 C1067_bit_2 C1067_bit_3 -C1067_bit_4 C1067_bit_5 -C1067_bit_6 -C1067_bit_7 C1068_bit0 -C1068_bit1 -C1068_bit10 -C1068_bit11 -C1068_bit12 C1068_bit2 C1068_bit3 C1068_bit4 -C1068_bit5 C1068_bit6 -C1068_bit7 C1068_bit8 -C1068_bit9 C1068_bit_1 -C1068_bit_2 -C1068_bit_3 C1068_bit_4 C1068_bit_5 -C1068_bit_6 -C1068_bit_7 C1069_bit0 C1069_bit1 C1069_bit10 -C1069_bit11 C1069_bit12 C1069_bit2 C1069_bit3 C1069_bit4 C1069_bit5 -C1069_bit6 C1069_bit7 C1069_bit8 -C1069_bit9 C1069_bit_1 -C1069_bit_2 -C1069_bit_3 C1069_bit_4 -C1069_bit_5 C1069_bit_6 -C1069_bit_7 C1070_bit0 C1070_bit1 C1070_bit10 C1070_bit11 -C1070_bit12 C1070_bit2 -C1070_bit3 C1070_bit4 C1070_bit5 C1070_bit6 C1070_bit7 -C1070_bit8 C1070_bit9 C1070_bit_1 -C1070_bit_2 C1070_bit_3 -C1070_bit_4 -C1070_bit_5 -C1070_bit_6 C1070_bit_7 -C1071_bit0 C1071_bit1 -C1071_bit10 -C1071_bit11 C1071_bit12 -C1071_bit2 C1071_bit3 -C1071_bit4 C1071_bit5 -C1071_bit6 -C1071_bit7 -C1071_bit8 C1071_bit9 C1071_bit_1 C1071_bit_2 -C1071_bit_3 C1071_bit_4 -C1071_bit_5 C1071_bit_6 C1071_bit_7 -C1072_bit0 -C1072_bit1 -C1072_bit10 C1072_bit11 -C1072_bit12 -C1072_bit2 C1072_bit3 C1072_bit4 -C1072_bit5 -C1072_bit6 C1072_bit7 -C1072_bit8 C1072_bit9 -C1072_bit_1 -C1072_bit_2 -C1072_bit_3 C1072_bit_4 C1072_bit_5 -C1072_bit_6 -C1072_bit_7 -C1073_bit0 C1073_bit1 C1073_bit10 C1073_bit11 -C1073_bit12 -C1073_bit2 C1073_bit3 -C1073_bit4 -C1073_bit5 C1073_bit6 C1073_bit7 -C1073_bit8 C1073_bit9 -C1073_bit_1 C1073_bit_2 -C1073_bit_3 C1073_bit_4 -C1073_bit_5 -C1073_bit_6 C1073_bit_7 -C1074_bit0 -C1074_bit1 -C1074_bit10 -C1074_bit11 -C1074_bit12 C1074_bit2 C1074_bit3 C1074_bit4 C1074_bit5 C1074_bit6 -C1074_bit7 -C1074_bit8 -C1074_bit9 -C1074_bit_1 -C1074_bit_2 -C1074_bit_3 -C1074_bit_4 -C1074_bit_5 -C1074_bit_6 -C1074_bit_7 -C1075_bit0 -C1075_bit1 -C1075_bit10 C1075_bit11 C1075_bit12 C1075_bit2 C1075_bit3 C1075_bit4 -C1075_bit5 -C1075_bit6 C1075_bit7 C1075_bit8 -C1075_bit9 -C1075_bit_1 -C1075_bit_2 -C1075_bit_3 C1075_bit_4 C1075_bit_5 C1075_bit_6 -C1075_bit_7 C1076_bit0 C1076_bit1 -C1076_bit10 C1076_bit11 -C1076_bit12 -C1076_bit2 -C1076_bit3 C1076_bit4 -C1076_bit5 C1076_bit6 C1076_bit7 -C1076_bit8 -C1076_bit9 -C1076_bit_1 -C1076_bit_2 -C1076_bit_3 -C1076_bit_4 C1076_bit_5 C1076_bit_6 C1076_bit_7 C1077_bit0 -C1077_bit1 -C1077_bit10 C1077_bit11 -C1077_bit12 -C1077_bit2 C1077_bit3 C1077_bit4 -C1077_bit5 C1077_bit6 -C1077_bit7 -C1077_bit8 -C1077_bit9 -C1077_bit_1 -C1077_bit_2 -C1077_bit_3 C1077_bit_4 -C1077_bit_5 C1077_bit_6 -C1077_bit_7 -C1078_bit0 C1078_bit1 C1078_bit10 C1078_bit11 -C1078_bit12 C1078_bit2 C1078_bit3 -C1078_bit4 -C1078_bit5 -C1078_bit6 -C1078_bit7 -C1078_bit8 -C1078_bit9 -C1078_bit_1 C1078_bit_2 C1078_bit_3 C1078_bit_4 C1078_bit_5 -C1078_bit_6 C1078_bit_7 -C1079_bit0 -C1079_bit1 -C1079_bit10 -C1079_bit11 -C1079_bit12 C1079_bit2 C1079_bit3 -C1079_bit4 C1079_bit5 C1079_bit6 C1079_bit7 C1079_bit8 -C1079_bit9 C1079_bit_1 -C1079_bit_2 -C1079_bit_3 -C1079_bit_4 C1079_bit_5 -C1079_bit_6 -C1079_bit_7 C1080_bit0 C1080_bit1 -C1080_bit10 C1080_bit11 -C1080_bit12 C1080_bit2 C1080_bit3 C1080_bit4 -C1080_bit5 -C1080_bit6 C1080_bit7 C1080_bit8 -C1080_bit9 C1080_bit_1 C1080_bit_2 C1080_bit_3 C1080_bit_4 C1080_bit_5 C1080_bit_6 -C1080_bit_7 C1081_bit0 C1081_bit1 -C1081_bit10 -C1081_bit11 -C1081_bit12 -C1081_bit2 C1081_bit3 C1081_bit4 C1081_bit5 C1081_bit6 -C1081_bit7 -C1081_bit8 C1081_bit9 C1081_bit_1 -C1081_bit_2 -C1081_bit_3 C1081_bit_4 -C1081_bit_5 C1081_bit_6 C1081_bit_7 -C1082_bit0 -C1082_bit1 C1082_bit10 -C1082_bit11 -C1082_bit12 C1082_bit2 -C1082_bit3 C1082_bit4 -C1082_bit5 C1082_bit6 -C1082_bit7 -C1082_bit8 C1082_bit9 -C1082_bit_1 C1082_bit_2 C1082_bit_3 C1082_bit_4 -C1082_bit_5 -C1082_bit_6 -C1082_bit_7 -C1083_bit0 -C1083_bit1 -C1083_bit10 -C1083_bit11 C1083_bit12 C1083_bit2 C1083_bit3 C1083_bit4 C1083_bit5 C1083_bit6 -C1083_bit7 C1083_bit8 C1083_bit9 -C1083_bit_1 -C1083_bit_2 C1083_bit_3 C1083_bit_4 -C1083_bit_5 C1083_bit_6 -C1083_bit_7 C1084_bit0 -C1084_bit1 -C1084_bit10 -C1084_bit11 C1084_bit12 -C1084_bit2 C1084_bit3 -C1084_bit4 C1084_bit5 C1084_bit6 C1084_bit7 -C1084_bit8 -C1084_bit9 C1084_bit_1 C1084_bit_2 -C1084_bit_3 -C1084_bit_4 -C1084_bit_5 -C1084_bit_6 C1084_bit_7 C1085_bit0 C1085_bit1 C1085_bit10 -C1085_bit11 C1085_bit12 -C1085_bit2 -C1085_bit3 C1085_bit4 -C1085_bit5 -C1085_bit6 -C1085_bit7 -C1085_bit8 -C1085_bit9 C1085_bit_1 C1085_bit_2 -C1085_bit_3 -C1085_bit_4 C1085_bit_5 -C1085_bit_6 C1085_bit_7 -C1086_bit0 C1086_bit1 C1086_bit10 C1086_bit11 C1086_bit12 C1086_bit2 C1086_bit3 C1086_bit4 C1086_bit5 C1086_bit6 C1086_bit7 C1086_bit8 -C1086_bit9 -C1086_bit_1 -C1086_bit_2 C1086_bit_3 C1086_bit_4 C1086_bit_5 -C1086_bit_6 C1086_bit_7 C1087_bit0 -C1087_bit1 -C1087_bit10 C1087_bit11 C1087_bit12 -C1087_bit2 -C1087_bit3 -C1087_bit4 -C1087_bit5 C1087_bit6 -C1087_bit7 -C1087_bit8 C1087_bit9 C1087_bit_1 -C1087_bit_2 C1087_bit_3 C1087_bit_4 C1087_bit_5 -C1087_bit_6 C1087_bit_7 C1088_bit0 -C1088_bit1 -C1088_bit10 -C1088_bit11 -C1088_bit12 C1088_bit2 -C1088_bit3 C1088_bit4 -C1088_bit5 C1088_bit6 -C1088_bit7 C1088_bit8 C1088_bit9 -C1088_bit_1 C1088_bit_2 C1088_bit_3 -C1088_bit_4 C1088_bit_5 -C1088_bit_6 C1088_bit_7 C1089_bit0 C1089_bit1 -C1089_bit10 C1089_bit11 C1089_bit12 C1089_bit2 -C1089_bit3 C1089_bit4 -C1089_bit5 -C1089_bit6 -C1089_bit7 C1089_bit8 -C1089_bit9 C1089_bit_1 C1089_bit_2 C1089_bit_3 -C1089_bit_4 -C1089_bit_5 -C1089_bit_6 C1089_bit_7 -C1090_bit0 -C1090_bit1 -C1090_bit10 C1090_bit11 -C1090_bit12 C1090_bit2 C1090_bit3 C1090_bit4 C1090_bit5 C1090_bit6 C1090_bit7 -C1090_bit8 -C1090_bit9 C1090_bit_1 -C1090_bit_2 -C1090_bit_3 -C1090_bit_4 C1090_bit_5 C1090_bit_6 -C1090_bit_7 C1091_bit0 C1091_bit1 C1091_bit10 C1091_bit11 C1091_bit12 -C1091_bit2 -C1091_bit3 -C1091_bit4 -C1091_bit5 C1091_bit6 C1091_bit7 C1091_bit8 C1091_bit9 -C1091_bit_1 C1091_bit_2 -C1091_bit_3 -C1091_bit_4 C1091_bit_5 -C1091_bit_6 -C1091_bit_7 C1092_bit0 -C1092_bit1 C1092_bit10 C1092_bit11 -C1092_bit12 -C1092_bit2 C1092_bit3 C1092_bit4 C1092_bit5 C1092_bit6 -C1092_bit7 -C1092_bit8 C1092_bit9 -C1092_bit_1 -C1092_bit_2 C1092_bit_3 C1092_bit_4 -C1092_bit_5 C1092_bit_6 C1092_bit_7 -C1093_bit0 -C1093_bit1 C1093_bit10 C1093_bit11 -C1093_bit12 -C1093_bit2 -C1093_bit3 -C1093_bit4 C1093_bit5 -C1093_bit6 C1093_bit7 C1093_bit8 -C1093_bit9 C1093_bit_1 C1093_bit_2 C1093_bit_3 C1093_bit_4 C1093_bit_5 C1093_bit_6 -C1093_bit_7 -C1094_bit0 C1094_bit1 -C1094_bit10 C1094_bit11 -C1094_bit12 -C1094_bit2 -C1094_bit3 -C1094_bit4 -C1094_bit5 -C1094_bit6 -C1094_bit7 -C1094_bit8 -C1094_bit9 -C1094_bit_1 C1094_bit_2 -C1094_bit_3 C1094_bit_4 -C1094_bit_5 -C1094_bit_6 -C1094_bit_7 C1095_bit0 -C1095_bit1 -C1095_bit10 -C1095_bit11 C1095_bit12 C1095_bit2 -C1095_bit3 -C1095_bit4 -C1095_bit5 -C1095_bit6 C1095_bit7 C1095_bit8 -C1095_bit9 -C1095_bit_1 C1095_bit_2 C1095_bit_3 C1095_bit_4 -C1095_bit_5 -C1095_bit_6 C1095_bit_7 C1096_bit0 -C1096_bit1 C1096_bit10 -C1096_bit11 -C1096_bit12 -C1096_bit2 -C1096_bit3 C1096_bit4 -C1096_bit5 C1096_bit6 -C1096_bit7 C1096_bit8 C1096_bit9 -C1096_bit_1 -C1096_bit_2 C1096_bit_3 C1096_bit_4 -C1096_bit_5 -C1096_bit_6 -C1096_bit_7 -C1097_bit0 C1097_bit1 -C1097_bit10 -C1097_bit11 -C1097_bit12 C1097_bit2 -C1097_bit3 C1097_bit4 -C1097_bit5 -C1097_bit6 -C1097_bit7 -C1097_bit8 C1097_bit9 -C1097_bit_1 -C1097_bit_2 C1097_bit_3 -C1097_bit_4 -C1097_bit_5 -C1097_bit_6 C1097_bit_7 C1098_bit0 -C1098_bit1 -C1098_bit10 C1098_bit11 -C1098_bit12 C1098_bit2 C1098_bit3 -C1098_bit4 -C1098_bit5 -C1098_bit6 -C1098_bit7 -C1098_bit8 -C1098_bit9 -C1098_bit_1 C1098_bit_2 C1098_bit_3 -C1098_bit_4 C1098_bit_5 C1098_bit_6 C1098_bit_7 C1099_bit0 C1099_bit1 C1099_bit10 -C1099_bit11 C1099_bit12 C1099_bit2 -C1099_bit3 -C1099_bit4 -C1099_bit5 -C1099_bit6 C1099_bit7 C1099_bit8 C1099_bit9 C1099_bit_1 C1099_bit_2 -C1099_bit_3 -C1099_bit_4 -C1099_bit_5 C1099_bit_6 -C1099_bit_7 C1100_bit0 -C1100_bit1 -C1100_bit10 -C1100_bit11 -C1100_bit12 -C1100_bit2 -C1100_bit3 -C1100_bit4 C1100_bit5 -C1100_bit6 C1100_bit7 -C1100_bit8 C1100_bit9 -C1100_bit_1 -C1100_bit_2 C1100_bit_3 C1100_bit_4 -C1100_bit_5 -C1100_bit_6 C1100_bit_7 -C1101_bit0 -C1101_bit1 C1101_bit10 -C1101_bit11 C1101_bit12 C1101_bit2 -C1101_bit3 C1101_bit4 -C1101_bit5 -C1101_bit6 -C1101_bit7 -C1101_bit8 C1101_bit9 C1101_bit_1 -C1101_bit_2 -C1101_bit_3 -C1101_bit_4 C1101_bit_5 C1101_bit_6 C1101_bit_7 -C1102_bit0 C1102_bit1 C1102_bit10 C1102_bit11 -C1102_bit12 -C1102_bit2 C1102_bit3 C1102_bit4 C1102_bit5 C1102_bit6 C1102_bit7 -C1102_bit8 -C1102_bit9 -C1102_bit_1 C1102_bit_2 -C1102_bit_3 -C1102_bit_4 C1102_bit_5 -C1102_bit_6 -C1102_bit_7 C1103_bit0 C1103_bit1 C1103_bit10 -C1103_bit11 -C1103_bit12 -C1103_bit2 -C1103_bit3 -C1103_bit4 -C1103_bit5 -C1103_bit6 C1103_bit7 C1103_bit8 C1103_bit9 -C1103_bit_1 -C1103_bit_2 -C1103_bit_3 -C1103_bit_4 C1103_bit_5 C1103_bit_6 -C1103_bit_7 C1104_bit0 C1104_bit1 C1104_bit10 C1104_bit11 -C1104_bit12 C1104_bit2 -C1104_bit3 C1104_bit4 -C1104_bit5 C1104_bit6 C1104_bit7 C1104_bit8 C1104_bit9 -C1104_bit_1 -C1104_bit_2 C1104_bit_3 C1104_bit_4 -C1104_bit_5 -C1104_bit_6 C1104_bit_7 -C1105_bit0 C1105_bit1 C1105_bit10 C1105_bit11 -C1105_bit12 C1105_bit2 C1105_bit3 C1105_bit4 -C1105_bit5 C1105_bit6 -C1105_bit7 C1105_bit8 C1105_bit9 C1105_bit_1 C1105_bit_2 C1105_bit_3 -C1105_bit_4 -C1105_bit_5 C1105_bit_6 C1105_bit_7 -C1106_bit0 -C1106_bit1 -C1106_bit10 C1106_bit11 C1106_bit12 -C1106_bit2 -C1106_bit3 C1106_bit4 C1106_bit5 -C1106_bit6 C1106_bit7 -C1106_bit8 C1106_bit9 C1106_bit_1 -C1106_bit_2 -C1106_bit_3 -C1106_bit_4 -C1106_bit_5 -C1106_bit_6 -C1106_bit_7 -C1107_bit0 C1107_bit1 -C1107_bit10 C1107_bit11 -C1107_bit12 -C1107_bit2 -C1107_bit3 -C1107_bit4 -C1107_bit5 -C1107_bit6 C1107_bit7 -C1107_bit8 C1107_bit9 -C1107_bit_1 C1107_bit_2 -C1107_bit_3 C1107_bit_4 C1107_bit_5 -C1107_bit_6 -C1107_bit_7 C1108_bit0 -C1108_bit1 -C1108_bit10 -C1108_bit11 C1108_bit12 C1108_bit2 C1108_bit3 -C1108_bit4 -C1108_bit5 C1108_bit6 C1108_bit7 C1108_bit8 -C1108_bit9 C1108_bit_1 C1108_bit_2 -C1108_bit_3 -C1108_bit_4 C1108_bit_5 C1108_bit_6 -C1108_bit_7 C1109_bit0 C1109_bit1 -C1109_bit10 C1109_bit11 -C1109_bit12 C1109_bit2 C1109_bit3 C1109_bit4 C1109_bit5 C1109_bit6 -C1109_bit7 -C1109_bit8 -C1109_bit9 C1109_bit_1 -C1109_bit_2 C1109_bit_3 C1109_bit_4 -C1109_bit_5 -C1109_bit_6 C1109_bit_7 C1110_bit0 -C1110_bit1 C1110_bit10 -C1110_bit11 C1110_bit12 C1110_bit2 C1110_bit3 -C1110_bit4 C1110_bit5 C1110_bit6 C1110_bit7 -C1110_bit8 -C1110_bit9 C1110_bit_1 -C1110_bit_2 -C1110_bit_3 C1110_bit_4 -C1110_bit_5 C1110_bit_6 C1110_bit_7 -C1111_bit0 C1111_bit1 -C1111_bit10 C1111_bit11 -C1111_bit12 C1111_bit2 C1111_bit3 -C1111_bit4 -C1111_bit5 -C1111_bit6 -C1111_bit7 -C1111_bit8 -C1111_bit9 C1111_bit_1 C1111_bit_2 C1111_bit_3 -C1111_bit_4 -C1111_bit_5 -C1111_bit_6 -C1111_bit_7 C1112_bit0 -C1112_bit1 C1112_bit10 -C1112_bit11 C1112_bit12 C1112_bit2 C1112_bit3 -C1112_bit4 -C1112_bit5 C1112_bit6 C1112_bit7 C1112_bit8 C1112_bit9 C1112_bit_1 C1112_bit_2 C1112_bit_3 -C1112_bit_4 -C1112_bit_5 C1112_bit_6 -C1112_bit_7 -C1113_bit0 -C1113_bit1 C1113_bit10 C1113_bit11 C1113_bit12 -C1113_bit2 -C1113_bit3 -C1113_bit4 C1113_bit5 C1113_bit6 -C1113_bit7 -C1113_bit8 C1113_bit9 C1113_bit_1 C1113_bit_2 -C1113_bit_3 C1113_bit_4 -C1113_bit_5 -C1113_bit_6 C1113_bit_7 C1114_bit0 C1114_bit1 C1114_bit10 C1114_bit11 C1114_bit12 C1114_bit2 -C1114_bit3 -C1114_bit4 -C1114_bit5 C1114_bit6 -C1114_bit7 C1114_bit8 C1114_bit9 C1114_bit_1 -C1114_bit_2 -C1114_bit_3 -C1114_bit_4 C1114_bit_5 C1114_bit_6 C1114_bit_7 C1115_bit0 -C1115_bit1 C1115_bit10 C1115_bit11 C1115_bit12 C1115_bit2 C1115_bit3 C1115_bit4 -C1115_bit5 C1115_bit6 -C1115_bit7 C1115_bit8 C1115_bit9 -C1115_bit_1 -C1115_bit_2 C1115_bit_3 C1115_bit_4 C1115_bit_5 -C1115_bit_6 -C1115_bit_7 C1116_bit0 C1116_bit1 C1116_bit10 C1116_bit11 C1116_bit12 C1116_bit2 C1116_bit3 -C1116_bit4 C1116_bit5 -C1116_bit6 C1116_bit7 -C1116_bit8 -C1116_bit9 C1116_bit_1 C1116_bit_2 -C1116_bit_3 C1116_bit_4 -C1116_bit_5 -C1116_bit_6 C1116_bit_7 C1117_bit0 C1117_bit1 C1117_bit10 -C1117_bit11 -C1117_bit12 C1117_bit2 -C1117_bit3 C1117_bit4 C1117_bit5 -C1117_bit6 -C1117_bit7 -C1117_bit8 C1117_bit9 C1117_bit_1 C1117_bit_2 C1117_bit_3 C1117_bit_4 C1117_bit_5 C1117_bit_6 C1117_bit_7 C1118_bit0 C1118_bit1 C1118_bit10 -C1118_bit11 C1118_bit12 C1118_bit2 -C1118_bit3 C1118_bit4 C1118_bit5 -C1118_bit6 C1118_bit7 C1118_bit8 C1118_bit9 -C1118_bit_1 -C1118_bit_2 -C1118_bit_3 C1118_bit_4 C1118_bit_5 C1118_bit_6 -C1118_bit_7 -C1119_bit0 -C1119_bit1 C1119_bit10 -C1119_bit11 -C1119_bit12 C1119_bit2 C1119_bit3 C1119_bit4 -C1119_bit5 -C1119_bit6 -C1119_bit7 C1119_bit8 C1119_bit9 C1119_bit_1 C1119_bit_2 C1119_bit_3 -C1119_bit_4 C1119_bit_5 C1119_bit_6 C1119_bit_7 C1120_bit0 C1120_bit1 -C1120_bit10 C1120_bit11 -C1120_bit12 C1120_bit2 C1120_bit3 C1120_bit4 C1120_bit5 -C1120_bit6 -C1120_bit7 C1120_bit8 C1120_bit9 -C1120_bit_1 C1120_bit_2 -C1120_bit_3 C1120_bit_4 C1120_bit_5 C1120_bit_6 -C1120_bit_7 -C1121_bit0 C1121_bit1 -C1121_bit10 -C1121_bit11 C1121_bit12 -C1121_bit2 C1121_bit3 C1121_bit4 -C1121_bit5 -C1121_bit6 -C1121_bit7 C1121_bit8 -C1121_bit9 -C1121_bit_1 -C1121_bit_2 C1121_bit_3 -C1121_bit_4 -C1121_bit_5 -C1121_bit_6 -C1121_bit_7 -C1122_bit0 C1122_bit1 C1122_bit10 -C1122_bit11 -C1122_bit12 -C1122_bit2 C1122_bit3 C1122_bit4 -C1122_bit5 -C1122_bit6 -C1122_bit7 C1122_bit8 C1122_bit9 C1122_bit_1 C1122_bit_2 -C1122_bit_3 -C1122_bit_4 C1122_bit_5 -C1122_bit_6 C1122_bit_7 C1123_bit0 C1123_bit1 C1123_bit10 -C1123_bit11 -C1123_bit12 C1123_bit2 C1123_bit3 -C1123_bit4 C1123_bit5 C1123_bit6 C1123_bit7 C1123_bit8 -C1123_bit9 C1123_bit_1 C1123_bit_2 C1123_bit_3 -C1123_bit_4 -C1123_bit_5 C1123_bit_6 -C1123_bit_7 -C1124_bit0 -C1124_bit1 -C1124_bit10 C1124_bit11 C1124_bit12 -C1124_bit2 C1124_bit3 C1124_bit4 -C1124_bit5 C1124_bit6 -C1124_bit7 -C1124_bit8 C1124_bit9 -C1124_bit_1 C1124_bit_2 -C1124_bit_3 -C1124_bit_4 -C1124_bit_5 -C1124_bit_6 -C1124_bit_7 C1125_bit0 -C1125_bit1 C1125_bit10 -C1125_bit11 -C1125_bit12 -C1125_bit2 C1125_bit3 -C1125_bit4 -C1125_bit5 -C1125_bit6 C1125_bit7 -C1125_bit8 -C1125_bit9 C1125_bit_1 -C1125_bit_2 -C1125_bit_3 -C1125_bit_4 -C1125_bit_5 C1125_bit_6 C1125_bit_7 -C1126_bit0 -C1126_bit1 C1126_bit10 C1126_bit11 C1126_bit12 -C1126_bit2 C1126_bit3 -C1126_bit4 C1126_bit5 -C1126_bit6 C1126_bit7 -C1126_bit8 C1126_bit9 -C1126_bit_1 C1126_bit_2 C1126_bit_3 -C1126_bit_4 -C1126_bit_5 -C1126_bit_6 C1126_bit_7 -C1127_bit0 C1127_bit1 -C1127_bit10 C1127_bit11 -C1127_bit12 -C1127_bit2 -C1127_bit3 C1127_bit4 -C1127_bit5 -C1127_bit6 C1127_bit7 -C1127_bit8 -C1127_bit9 C1127_bit_1 C1127_bit_2 C1127_bit_3 C1127_bit_4 -C1127_bit_5 C1127_bit_6 -C1127_bit_7 C1128_bit0 -C1128_bit1 C1128_bit10 -C1128_bit11 C1128_bit12 C1128_bit2 C1128_bit3 -C1128_bit4 C1128_bit5 -C1128_bit6 -C1128_bit7 C1128_bit8 -C1128_bit9 -C1128_bit_1 -C1128_bit_2 C1128_bit_3 C1128_bit_4 C1128_bit_5 -C1128_bit_6 -C1128_bit_7 C1129_bit0 C1129_bit1 C1129_bit10 -C1129_bit11 C1129_bit12 -C1129_bit2 -C1129_bit3 -C1129_bit4 C1129_bit5 C1129_bit6 -C1129_bit7 C1129_bit8 C1129_bit9 C1129_bit_1 -C1129_bit_2 C1129_bit_3 C1129_bit_4 -C1129_bit_5 -C1129_bit_6 -C1129_bit_7 C1130_bit0 C1130_bit1 -C1130_bit10 C1130_bit11 -C1130_bit12 -C1130_bit2 C1130_bit3 -C1130_bit4 -C1130_bit5 C1130_bit6 C1130_bit7 -C1130_bit8 -C1130_bit9 C1130_bit_1 -C1130_bit_2 -C1130_bit_3 -C1130_bit_4 -C1130_bit_5 -C1130_bit_6 -C1130_bit_7 -C1131_bit0 -C1131_bit1 -C1131_bit10 -C1131_bit11 -C1131_bit12 -C1131_bit2 C1131_bit3 -C1131_bit4 -C1131_bit5 -C1131_bit6 -C1131_bit7 -C1131_bit8 -C1131_bit9 -C1131_bit_1 -C1131_bit_2 -C1131_bit_3 C1131_bit_4 C1131_bit_5 C1131_bit_6 C1131_bit_7 C1132_bit0 -C1132_bit1 C1132_bit10 -C1132_bit11 C1132_bit12 -C1132_bit2 C1132_bit3 -C1132_bit4 C1132_bit5 C1132_bit6 -C1132_bit7 C1132_bit8 C1132_bit9 C1132_bit_1 C1132_bit_2 C1132_bit_3 C1132_bit_4 -C1132_bit_5 C1132_bit_6 C1132_bit_7 -C1133_bit0 C1133_bit1 -C1133_bit10 C1133_bit11 -C1133_bit12 C1133_bit2 -C1133_bit3 -C1133_bit4 -C1133_bit5 C1133_bit6 -C1133_bit7 -C1133_bit8 -C1133_bit9 C1133_bit_1 C1133_bit_2 C1133_bit_3 -C1133_bit_4 -C1133_bit_5 C1133_bit_6 C1133_bit_7 -C1134_bit0 C1134_bit1 -C1134_bit10 C1134_bit11 -C1134_bit12 -C1134_bit2 -C1134_bit3 C1134_bit4 -C1134_bit5 C1134_bit6 C1134_bit7 C1134_bit8 C1134_bit9 -C1134_bit_1 C1134_bit_2 C1134_bit_3 C1134_bit_4 C1134_bit_5 -C1134_bit_6 C1134_bit_7 -C1135_bit0 -C1135_bit1 -C1135_bit10 C1135_bit11 C1135_bit12 -C1135_bit2 -C1135_bit3 C1135_bit4 C1135_bit5 -C1135_bit6 C1135_bit7 -C1135_bit8 C1135_bit9 C1135_bit_1 C1135_bit_2 -C1135_bit_3 -C1135_bit_4 C1135_bit_5 -C1135_bit_6 C1135_bit_7 -C1136_bit0 -C1136_bit1 C1136_bit10 C1136_bit11 -C1136_bit12 C1136_bit2 C1136_bit3 C1136_bit4 C1136_bit5 -C1136_bit6 C1136_bit7 -C1136_bit8 C1136_bit9 -C1136_bit_1 -C1136_bit_2 C1136_bit_3 -C1136_bit_4 -C1136_bit_5 -C1136_bit_6 C1136_bit_7 -C1137_bit0 C1137_bit1 -C1137_bit10 C1137_bit11 -C1137_bit12 -C1137_bit2 -C1137_bit3 C1137_bit4 C1137_bit5 C1137_bit6 C1137_bit7 -C1137_bit8 C1137_bit9 -C1137_bit_1 -C1137_bit_2 -C1137_bit_3 -C1137_bit_4 C1137_bit_5 C1137_bit_6 -C1137_bit_7 C1138_bit0 -C1138_bit1 -C1138_bit10 C1138_bit11 C1138_bit12 -C1138_bit2 C1138_bit3 -C1138_bit4 -C1138_bit5 -C1138_bit6 C1138_bit7 C1138_bit8 -C1138_bit9 C1138_bit_1 -C1138_bit_2 C1138_bit_3 -C1138_bit_4 C1138_bit_5 -C1138_bit_6 -C1138_bit_7 -C1139_bit0 -C1139_bit1 C1139_bit10 -C1139_bit11 C1139_bit12 C1139_bit2 -C1139_bit3 C1139_bit4 C1139_bit5 -C1139_bit6 -C1139_bit7 C1139_bit8 C1139_bit9 -C1139_bit_1 C1139_bit_2 -C1139_bit_3 -C1139_bit_4 C1139_bit_5 C1139_bit_6 C1139_bit_7 -C1140_bit0 -C1140_bit1 C1140_bit10 -C1140_bit11 -C1140_bit12 C1140_bit2 -C1140_bit3 -C1140_bit4 -C1140_bit5 C1140_bit6 -C1140_bit7 C1140_bit8 C1140_bit9 -C1140_bit_1 -C1140_bit_2 C1140_bit_3 -C1140_bit_4 -C1140_bit_5 -C1140_bit_6 C1140_bit_7 -C1141_bit0 C1141_bit1 C1141_bit10 -C1141_bit11 C1141_bit12 -C1141_bit2 -C1141_bit3 C1141_bit4 C1141_bit5 -C1141_bit6 -C1141_bit7 C1141_bit8 C1141_bit9 C1141_bit_1 -C1141_bit_2 -C1141_bit_3 C1141_bit_4 -C1141_bit_5 -C1141_bit_6 -C1141_bit_7 -C1142_bit0 C1142_bit1 -C1142_bit10 -C1142_bit11 -C1142_bit12 -C1142_bit2 C1142_bit3 C1142_bit4 -C1142_bit5 C1142_bit6 C1142_bit7 -C1142_bit8 -C1142_bit9 C1142_bit_1 C1142_bit_2 C1142_bit_3 C1142_bit_4 C1142_bit_5 C1142_bit_6 -C1142_bit_7 C1143_bit0 C1143_bit1 -C1143_bit10 -C1143_bit11 -C1143_bit12 -C1143_bit2 C1143_bit3 -C1143_bit4 -C1143_bit5 C1143_bit6 -C1143_bit7 C1143_bit8 -C1143_bit9 C1143_bit_1 C1143_bit_2 -C1143_bit_3 -C1143_bit_4 -C1143_bit_5 C1143_bit_6 C1143_bit_7 -C1144_bit_1 -C1144_bit_2 -C1144_bit_3 -C1144_bit_4 -C1144_bit_5 -C1144_bit_6 C1144_bit_7 -C1145_bit_1 -C1145_bit_2 -C1145_bit_3 -C1145_bit_4 -C1145_bit_5 -C1145_bit_6 -C1145_bit_7 -C1225_bit_1 -C1225_bit_2 -C1225_bit_3 -C1225_bit_4 -C1225_bit_5 -C1225_bit_6 -C1225_bit_7 -C1226_bit_1 -C1226_bit_2 -C1226_bit_3 -C1226_bit_4 -C1226_bit_5 -C1226_bit_6 -C1226_bit_7 -C1306_bit_1 -C1306_bit_2 -C1306_bit_3 -C1306_bit_4 -C1306_bit_5 -C1306_bit_6 -C1306_bit_7 -C1307_bit_1 -C1307_bit_2 -C1307_bit_3 -C1307_bit_4 -C1307_bit_5 -C1307_bit_6 -C1307_bit_7 -C1387_bit_1 -C1387_bit_2 -C1387_bit_3 -C1387_bit_4 -C1387_bit_5 -C1387_bit_6 -C1387_bit_7 -C1388_bit0 -C1389_bit0 -C1390_bit0 -C1391_bit0 -C1392_bit0 -C1393_bit0 -C1394_bit0 -C1395_bit0 -C1396_bit0 -C1397_bit0 -C1398_bit0 -C1399_bit0 -C1400_bit0 -C1401_bit0 -C1402_bit0 -C1403_bit0 -C1404_bit0 -C1405_bit0 -C1406_bit0 -C1407_bit0 -C1408_bit0 -C1409_bit0 -C1410_bit0 -C1411_bit0 -C1412_bit0 -C1413_bit0 -C1414_bit0 -C1415_bit0 -C1416_bit0 -C1417_bit0 -C1418_bit0 -C1419_bit0 -C1420_bit0 -C1421_bit0 -C1422_bit0 -C1423_bit0 -C1424_bit0 -C1425_bit0 -C1426_bit0 -C1427_bit0 -C1428_bit0 -C1429_bit0 -C1430_bit0 -C1431_bit0 -C1432_bit0 -C1433_bit0 -C1434_bit0 -C1435_bit0 -C1436_bit0 -C1437_bit0 -C1438_bit0 -C1439_bit0 -C1440_bit0 -C1441_bit0 -C1442_bit0 -C1443_bit0 -C1444_bit0 -C1445_bit0 -C1446_bit0 -C1447_bit0 -C1448_bit0 -C1449_bit0 -C1450_bit0 -C1451_bit0 -C1452_bit0 -C1453_bit0 -C1454_bit0 -C1455_bit0 -C1456_bit0 -C1457_bit0 -C1458_bit0 -C1459_bit0 -C1460_bit0 -C1461_bit0 -C1462_bit0 -C1463_bit0 -C1464_bit0 -C1465_bit0 -C1466_bit0 -C1467_bit0 -C1468_bit0 -C1469_bit0 -C1470_bit0 -C1471_bit0 -C1472_bit0 -C1473_bit0 -C1474_bit0 -C1475_bit0 -C1476_bit0 -C1477_bit0 -C1478_bit0 -C1479_bit0 -C1480_bit0 -C1481_bit0 -C1482_bit0 -C1483_bit0 -C1484_bit0 -C1485_bit0 -C1486_bit0 -C1487_bit0 -C1488_bit0 -C1489_bit0 -C1490_bit0 -C1491_bit0 -C1492_bit0 -C1493_bit0 -C1494_bit0 -C1495_bit0 -C1496_bit0 -C1497_bit0 -C1498_bit0 -C1499_bit0 -C1500_bit0 -C1501_bit0 -C1502_bit0 -C1503_bit0 -C1504_bit0 -C1505_bit0 -C1506_bit0 -C1507_bit0 -C1508_bit0 -C1509_bit0 -C1510_bit0 -C1511_bit0 -C1512_bit0 -C1513_bit0 -C1514_bit0 -C1515_bit0 -C1516_bit0 -C1517_bit0 -C1518_bit0 -C1519_bit0 -C1520_bit0 -C1521_bit0 -C1522_bit0 -C1523_bit0 -C1524_bit0 -C1525_bit0 -C1526_bit0 -C1527_bit0 -C1528_bit0 -C1529_bit0 -C1530_bit0 -C1531_bit0 -C1532_bit0 -C1533_bit0 -C1534_bit0 -C1535_bit0 -C1536_bit0 -C1537_bit0 -C1538_bit0 -C1539_bit0 -C1540_bit0 -C1541_bit0 -C1542_bit0 -C1543_bit0 -C1544_bit0 -C1545_bit0 -C1546_bit0 -C1547_bit0 -C1548_bit0 -C1549_bit0 -C1550_bit0 -C1551_bit0 -C1552_bit0 -C1553_bit0 -C1554_bit0 -C1555_bit0 -C1556_bit0 -C1557_bit0 -C1558_bit0 -C1559_bit0 -C1560_bit0 -C1561_bit0 -C1562_bit0 -C1563_bit0 -C1564_bit0 -C1565_bit0 -C1566_bit0 -C1567_bit0 -C1568_bit0 -C1569_bit0 -C1570_bit0 -C1571_bit0 -C1572_bit0 -C1573_bit0 -C1574_bit0 -C1575_bit0 -C1576_bit0 -C1577_bit0 -C1578_bit0 -C1579_bit0 -C1580_bit0 -C1581_bit0 -C1582_bit0 -C1583_bit0 -C1584_bit0 -C1585_bit0 -C1586_bit0 -C1587_bit0 -C1588_bit0 -C1589_bit0 -C1590_bit0 -C1591_bit0 -C1592_bit0 -C1593_bit0 -C1594_bit0 -C1595_bit0 -C1596_bit0 -C1597_bit0 -C1598_bit0 -C1599_bit0 -C1600_bit0 -C1601_bit0 -C1602_bit0 -C1603_bit0 -C1604_bit0 -C1605_bit0 -C1606_bit0 -C1607_bit0 -C1608_bit0 -C1609_bit0 -C1610_bit0 -C1611_bit0 -C1612_bit0 -C1613_bit0 -C1614_bit0 -C1615_bit0 -C1616_bit0 -C1617_bit0 -C1618_bit0 -C1619_bit0 -C1620_bit0 -C1621_bit0 -C1622_bit0 -C1623_bit0 -C1624_bit0 -C1625_bit0 -C1626_bit0 -C1627_bit0 -C1628_bit0 -C1629_bit0 -C1630_bit0 -C1631_bit0 -C1632_bit0 -C1633_bit0 -C1634_bit0 -C1635_bit0 -C1636_bit0 -C1637_bit0 -C1638_bit0 -C1639_bit0 -C1640_bit0 -C1641_bit0 -C1642_bit0 -C1643_bit0 -C1644_bit0 -C1645_bit0 -C1646_bit0 -C1647_bit0 -C1648_bit0 -C1649_bit0 -C1650_bit0 -C1651_bit0 -C1652_bit0 -C1653_bit0 -C1654_bit0 -C1655_bit0 -C1656_bit0 -C1657_bit0 -C1658_bit0 -C1659_bit0 -C1660_bit0 -C1661_bit0 -C1662_bit0 -C1663_bit0 -C1664_bit0 -C1665_bit0 -C1666_bit0 -C1667_bit0 -C1668_bit0 -C1669_bit0 -C1670_bit0 -C1671_bit0 -C1672_bit0 -C1673_bit0 -C1674_bit0 -C1675_bit0 -C1676_bit0 -C1677_bit0 -C1678_bit0 -C1679_bit0 -C1680_bit0 -C1681_bit0 -C1682_bit0 -C1683_bit0 -C1684_bit0 -C1685_bit0 -C1686_bit0 -C1687_bit0 -C1688_bit0 -C1689_bit0 -C1690_bit0 -C1691_bit0 -C1692_bit0 -C1693_bit0 -C1694_bit0 -C1695_bit0 -C1696_bit0 -C1697_bit0 -C1698_bit0 -C1699_bit0 -C1700_bit0 -C1701_bit0 -C1702_bit0 -C1703_bit0 -C1704_bit0 -C1705_bit0 -C1706_bit0 -C1707_bit0 -C1708_bit0 -C1709_bit0 -C1710_bit0 -C1711_bit0 -C1712_bit0 -C1713_bit0 -C1714_bit0 -C1715_bit0 -C1716_bit0 -C1717_bit0 -C1718_bit0 -C1719_bit0 -C1720_bit0 -C1721_bit0 -C1722_bit0 -C1723_bit0 -C1724_bit0 -C1725_bit0 -C1726_bit0 -C1727_bit0 -C1728_bit0 -C1729_bit0 -C1730_bit0 -C1731_bit0 -C1732_bit0 -C1733_bit0 -C1734_bit0 -C1735_bit0 -C1736_bit0 -C1737_bit0 -C1738_bit0 -C1739_bit0 -C1740_bit0 -C1741_bit0 -C1742_bit0 -C1743_bit0 -C1744_bit0 -C1745_bit0 -C1746_bit0 -C1747_bit0 -C1748_bit0 -C1749_bit0 -C1750_bit0 -C1751_bit0 -C1752_bit0 -C1753_bit0 -C1754_bit0 -C1755_bit0 -C1756_bit0 -C1757_bit0 -C1758_bit0 -C1759_bit0 -C1760_bit0 -C1761_bit0 -C1762_bit0 -C1763_bit0 -C1764_bit0 -C1765_bit0 -C1766_bit0 -C1767_bit0 -C1768_bit0 -C1769_bit0 -C1770_bit0 -C1771_bit0 -C1772_bit0 -C1773_bit0 -C1774_bit0 -C1775_bit0 -C1776_bit0 -C1777_bit0 -C1778_bit0 -C1779_bit0 -C1780_bit0 -C1781_bit0 -C1782_bit0 -C1783_bit0 -C1784_bit0 -C1785_bit0 -C1786_bit0 -C1787_bit0 -C1788_bit0 -C1789_bit0 -C1790_bit0 -C1791_bit0 -C1792_bit0 -C1793_bit0 -C1794_bit0 -C1795_bit0 -C1796_bit0 -C1797_bit0 -C1798_bit0 -C1799_bit0 -C1800_bit0 -C1801_bit0 -C1802_bit0 -C1803_bit0 -C1804_bit0 -C1805_bit0 -C1806_bit0 -C1807_bit0 -C1808_bit0 -C1809_bit0 -C1810_bit0 -C1811_bit0 -C1812_bit0 -C1813_bit0 -C1814_bit0 -C1815_bit0 -C1816_bit0 -C1817_bit0 -C1818_bit0 -C1819_bit0 -C1820_bit0 -C1821_bit0 -C1822_bit0 -C1823_bit0 -C1824_bit0 -C1825_bit0 -C1826_bit0 -C1827_bit0 -C1828_bit0 -C1829_bit0 -C1830_bit0 -C1831_bit0 -C1832_bit0 -C1833_bit0 -C1834_bit0 -C1835_bit0 -C1836_bit0 -C1837_bit0 -C1838_bit0 -C1839_bit0 -C1840_bit0 -C1841_bit0 -C1842_bit0 -C1843_bit0 -C1844_bit0 -C1845_bit0 -C1846_bit0 -C1847_bit0 -C1848_bit0 -C1849_bit0 -C1850_bit0 -C1851_bit0 -C1852_bit0 -C1853_bit0 -C1854_bit0 -C1855_bit0 -C1856_bit0 -C1857_bit0 -C1858_bit0 -C1859_bit0 -C1860_bit0 -C1861_bit0 -C1862_bit0 -C1863_bit0 -C1864_bit0 -C1865_bit0 -C1866_bit0 -C1867_bit0 -C1868_bit0 -C1869_bit0 -C1870_bit0 -C1871_bit0 -C1872_bit0 -C1873_bit0 -C1874_bit0 -C1875_bit0 -C1876_bit0 -C1877_bit0 -C1878_bit0 -C1879_bit0 -C1880_bit0 -C1881_bit0 -C1882_bit0 -C1883_bit0 -C1884_bit0 -C1885_bit0 -C1886_bit0 -C1887_bit0 -C1888_bit0 -C1889_bit0 -C1890_bit0 -C1891_bit0 -C1892_bit0 -C1893_bit0 -C1894_bit0 -C1895_bit0 -C1896_bit0 -C1897_bit0 -C1898_bit0 -C1899_bit0 -C1900_bit0 -C1901_bit0 -C1902_bit0 -C1903_bit0 -C1904_bit0 -C1905_bit0 -C1906_bit0 -C1907_bit0 -C1908_bit0 -C1909_bit0 -C1910_bit0 -C1911_bit0 -C1912_bit0 -C1913_bit0 -C1914_bit0 -C1915_bit0 -C1916_bit0 -C1917_bit0 -C1918_bit0 -C1919_bit0 -C1920_bit0 -C1921_bit0 -C1922_bit0 -C1923_bit0 -C1924_bit0 -C1925_bit0 -C1926_bit0 -C1927_bit0 -C1928_bit0 -C1929_bit0 -C1930_bit0 -C1931_bit0 -C1932_bit0 -C1933_bit0 -C1934_bit0 -C1935_bit0 -C1936_bit0 -C1937_bit0 -C1938_bit0 -C1939_bit0 -C1940_bit0 -C1941_bit0 -C1942_bit0 -C1943_bit0 -C1944_bit0 -C1945_bit0 -C1946_bit0 -C1947_bit0 -C1948_bit0 -C1949_bit0 -C1950_bit0 -C1951_bit0 -C1952_bit0 -C1953_bit0 -C1954_bit0 -C1955_bit0 -C1956_bit0 -C1957_bit0 -C1958_bit0 -C1959_bit0 -C1960_bit0 -C1961_bit0 -C1962_bit0 -C1963_bit0 -C1964_bit0 -C1965_bit0 -C1966_bit0 -C1967_bit0 -C1968_bit0 -C1969_bit0 -C1970_bit0 -C1971_bit0 -C1972_bit0 -C1973_bit0 -C1974_bit0 -C1975_bit0 -C1976_bit0 -C1977_bit0 -C1978_bit0 -C1979_bit0 -C1980_bit0 -C1981_bit0 -C1982_bit0 -C1983_bit0 -C1984_bit0 -C1985_bit0 -C1986_bit0 -C1987_bit0 -C1988_bit0 -C1989_bit0 -C1990_bit0 -C1991_bit0 -C1992_bit0 -C1993_bit0 -C1994_bit0 -C1995_bit0 -C1996_bit0 -C1997_bit0 -C1998_bit0 -C1999_bit0 -C2000_bit0 -C2001_bit0 -C2002_bit0 -C2003_bit0 -C2004_bit0 -C2005_bit0 -C2006_bit0 -C2007_bit0 -C2008_bit0 -C2009_bit0 -C2010_bit0 -C2011_bit0 -C2012_bit0 -C2013_bit0 -C2014_bit0 -C2015_bit0 -C2016_bit0 -C2017_bit0 -C2018_bit0 -C2019_bit0 -C2020_bit0 -C2021_bit0 -C2022_bit0 -C2023_bit0 -C2024_bit0 -C2025_bit0 -C2026_bit0 -C2027_bit0 -C2028_bit0 -C2029_bit0 -C2030_bit0 -C2031_bit0 -C2032_bit0 -C2033_bit0 -C2034_bit0 -C2035_bit0 -C2036_bit0 -C2037_bit0 -C2038_bit0 -C2039_bit0 -C2040_bit0 -C2041_bit0 -C2042_bit0 -C2043_bit0 -C2044_bit0 -C2045_bit0 -C2046_bit0 -C2047_bit0 -C2048_bit0 -C2049_bit0 -C2050_bit0 -C2051_bit0 -C2052_bit0 -C2053_bit0 -C2054_bit0 -C2055_bit0 -C2056_bit0 -C2057_bit0 -C2058_bit0 -C2059_bit0 -C2060_bit0 -C2061_bit0 -C2062_bit0 -C2063_bit0 -C2064_bit0 -C2065_bit0 -C2066_bit0 -C2067_bit0 -C2068_bit0 -C2069_bit0 -C2070_bit0 -C2071_bit0 -C2072_bit0 -C2073_bit0 -C2074_bit0 -C2075_bit0 -C2076_bit0 -C2077_bit0 -C2078_bit0 -C2079_bit0 -C2080_bit0 -C2081_bit0 -C2082_bit0 -C2083_bit0 -C2084_bit0 -C2085_bit0 -C2086_bit0 -C2087_bit0 -C2088_bit0 -C2089_bit0 -C2090_bit0 -C2091_bit0 -C2092_bit0 -C2093_bit0 -C2094_bit0 -C2095_bit0 -C2096_bit0 -C2097_bit0 -C2098_bit0 -C2099_bit0 -C2100_bit0 -C2101_bit0 -C2102_bit0 -C2103_bit0 -C2104_bit0 -C2105_bit0 -C2106_bit0 -C2107_bit0 -C2108_bit0 -C2109_bit0 -C2110_bit0 -C2111_bit0 -C2112_bit0 -C2113_bit0 -C2114_bit0 -C2115_bit0 -C2116_bit0 -C2117_bit0 -C2118_bit0 -C2119_bit0 -C2120_bit0 -C2121_bit0 -C2122_bit0 -C2123_bit0 -C2124_bit0 -C2125_bit0 -C2126_bit0 -C2127_bit0 -C2128_bit0 -C2129_bit0 -C2130_bit0 -C2131_bit0 -C2132_bit0 -C2133_bit0 -C2134_bit0 -C2135_bit0 -C2136_bit0 -C2137_bit0 -C2138_bit0 -C2139_bit0 -C2140_bit0 -C2141_bit0 -C2142_bit0 -C2143_bit0 -C2144_bit0 -C2145_bit0 -C2146_bit0 -C2147_bit0 -C2148_bit0 -C2149_bit0 -C2150_bit0 -C2151_bit0 -C2152_bit0 -C2153_bit0 -C2154_bit0 -C2155_bit0 -C2156_bit0 -C2157_bit0 -C2158_bit0 -C2159_bit0 -C2160_bit0 -C2161_bit0 -C2162_bit0 -C2163_bit0 -C2164_bit0 -C2165_bit0 -C2166_bit0 -C2167_bit0 -C2168_bit0 -C2169_bit0 -C2170_bit0 -C2171_bit0 -C2172_bit0 -C2173_bit0 -C2174_bit0 -C2175_bit0 -C2176_bit0 -C2177_bit0 -C2178_bit0 -C2179_bit0 -C2180_bit0 -C2181_bit0 -C2182_bit0 -C2183_bit0 -C2184_bit0 -C2185_bit0 -C2186_bit0 -C2187_bit0 -C2188_bit0 -C2189_bit0 -C2190_bit0 -C2191_bit0 -C2192_bit0 -C2193_bit0 -C2194_bit0 -C2195_bit0 -C2196_bit0 -C2197_bit0 -C2198_bit0 -C2199_bit0 -C2200_bit0 -C2201_bit0 -C2202_bit0 -C2203_bit0 -C2204_bit0 -C2205_bit0 -C2206_bit0 -C2207_bit0 -C2208_bit0 -C2209_bit0 -C2210_bit0 -C2211_bit0 -C2212_bit0 -C2213_bit0 -C2214_bit0 -C2215_bit0 -C2216_bit0 -C2217_bit0 -C2218_bit0 -C2219_bit0 -C2220_bit0 -C2221_bit0 -C2222_bit0 -C2223_bit0 -C2224_bit0 -C2225_bit0 -C2226_bit0 -C2227_bit0 -C2228_bit0 -C2229_bit0 -C2230_bit0 -C2231_bit0 -C2232_bit0 -C2233_bit0 -C2234_bit0 -C2235_bit0 -C2236_bit0 -C2237_bit0 -C2238_bit0 -C2239_bit0 -C2240_bit0 -C2241_bit0 -C2242_bit0 -C2243_bit0 -C2244_bit0 -C2245_bit0 -C2246_bit0 -C2247_bit0 -C2248_bit0 -C2249_bit0 -C2250_bit0 -C2251_bit0 -C2252_bit0 -C2253_bit0 -C2254_bit0 -C2255_bit0 -C2256_bit0 -C2257_bit0 -C2258_bit0 -C2259_bit0 -C2260_bit0 -C2261_bit0 -C2262_bit0 -C2263_bit0 -C2264_bit0 -C2265_bit0 -C2266_bit0 -C2267_bit0 -C2268_bit0 -C2269_bit0 -C2270_bit0 -C2271_bit0 -C2272_bit0 -C2273_bit0 -C2274_bit0 -C2275_bit0 -C2276_bit0 -C2277_bit0 -C2278_bit0 -C2279_bit0 -C2280_bit0 -C2281_bit0 -C2282_bit0 -C2283_bit0 -C2284_bit0 -C2285_bit0 -C2286_bit0 -C2287_bit0 -C2288_bit0 -C2289_bit0 -C2290_bit0 -C2291_bit0 -C2292_bit0 -C2293_bit0 -C2294_bit0 -C2295_bit0 -C2296_bit0 -C2297_bit0 -C2298_bit0 -C2299_bit0 -C2300_bit0 -C2301_bit0 -C2302_bit0 -C2303_bit0 -C2304_bit0 -C2305_bit0 -C2306_bit0 -C2307_bit0 -C2308_bit0 -C2309_bit0 -C2310_bit0 -C2311_bit0 -C2312_bit0 -C2313_bit0 -C2314_bit0 -C2315_bit0 -C2316_bit0 -C2317_bit0 -C2318_bit0 -C2319_bit0 -C2320_bit0 -C2321_bit0 -C2322_bit0 -C2323_bit0 -C2324_bit0 -C2325_bit0 -C2326_bit0 -C2327_bit0 -C2328_bit0 -C2329_bit0 -C2330_bit0 -C2331_bit0 -C2332_bit0 -C2333_bit0 -C2334_bit0 -C2335_bit0 -C2336_bit0 -C2337_bit0 -C2338_bit0 -C2339_bit0 -C2340_bit0 -C2341_bit0 -C2342_bit0 -C2343_bit0 -C2344_bit0 -C2345_bit0 -C2346_bit0 -C2347_bit0 -C2348_bit0 -C2349_bit0 -C2350_bit0 -C2351_bit0 -C2352_bit0 -C2353_bit0 -C2354_bit0 -C2355_bit0 -C2356_bit0 -C2357_bit0 -C2358_bit0 -C2359_bit0 -C2360_bit0 -C2361_bit0 -C2362_bit0 -C2363_bit0 -C2364_bit0 -C2365_bit0 -C2366_bit0 -C2367_bit0 -C2368_bit0 -C2369_bit0 -C2370_bit0 -C2371_bit0 -C2372_bit0 -C2373_bit0 -C2374_bit0 -C2375_bit0 -C2376_bit0 -C2377_bit0 -C2378_bit0 -C2379_bit0 -C2380_bit0 -C2381_bit0 -C2382_bit0 -C2383_bit0 -C2384_bit0 -C2385_bit0 -C2386_bit0 -C2387_bit0 -C2388_bit0 -C2389_bit0 -C2390_bit0 -C2391_bit0 -C2392_bit0 -C2393_bit0 -C2394_bit0 -C2395_bit0 -C2396_bit0 -C2397_bit0 -C2398_bit0 -C2399_bit0 -C2400_bit0 -C2401_bit0 -C2402_bit0 -C2403_bit0 -C2404_bit0 -C2405_bit0 -C2406_bit0 -C2407_bit0 -C2408_bit0 -C2409_bit0 -C2410_bit0 -C2411_bit0 -C2412_bit0 -C2413_bit0 -C2414_bit0 -C2415_bit0 -C2416_bit0 -C2417_bit0 -C2418_bit0 -C2419_bit0 -C2420_bit0 -C2421_bit0 -C2422_bit0 -C2423_bit0 -C2424_bit0 -C2425_bit0 -C2426_bit0 -C2427_bit0 -C2428_bit0 -C2429_bit0 -C2430_bit0 -C2431_bit0 -C2432_bit0 -C2433_bit0 -C2434_bit0 -C2435_bit0 -C2436_bit0 -C2437_bit0 -C2438_bit0 -C2439_bit0 -C2440_bit0 -C2441_bit0 -C2442_bit0 -C2443_bit0 -C2444_bit0 -C2445_bit0 -C2446_bit0 -C2447_bit0 -C2448_bit0 -C2449_bit0 -C2450_bit0 -C2451_bit0 -C2452_bit0 -C2453_bit0 -C2454_bit0 -C2455_bit0 -C2456_bit0 -C2457_bit0 -C2458_bit0 -C2459_bit0 -C2460_bit0 -C2461_bit0 -C2462_bit0 -C2463_bit0 -C2464_bit0 -C2465_bit0 -C2466_bit0 -C2467_bit0 -C2468_bit0 -C2469_bit0 -C2470_bit0 -C2471_bit0 -C2472_bit0 -C2473_bit0 -C2474_bit0 -C2475_bit0 -C2476_bit0 -C2477_bit0 -C2478_bit0 -C2479_bit0 -C2480_bit0 -C2481_bit0 -C2482_bit0 -C2483_bit0 -C2484_bit0 -C2485_bit0 -C2486_bit0 -C2487_bit0 -C2488_bit0 -C2489_bit0 -C2490_bit0 -C2491_bit0 -C2492_bit0 -C2493_bit0 -C2494_bit0 -C2495_bit0 -C2496_bit0 -C2497_bit0 -C2498_bit0 -C2499_bit0 -C2500_bit0 -C2501_bit0 -C2502_bit0 -C2503_bit0 -C2504_bit0 -C2505_bit0 -C2506_bit0 -C2507_bit0 -C2508_bit0 -C2509_bit0 -C2510_bit0 -C2511_bit0 -C2512_bit0 -C2513_bit0 -C2514_bit0 -C2515_bit0 -C2516_bit0 -C2517_bit0 -C2518_bit0 -C2519_bit0 -C2520_bit0 -C2521_bit0 -C2522_bit0 -C2523_bit0 -C2524_bit0 -C2525_bit0 -C2526_bit0 -C2527_bit0 -C2528_bit0 -C2529_bit0 -C2530_bit0 -C2531_bit0 -C2532_bit0 -C2533_bit0 -C2534_bit0 -C2535_bit0 -C2536_bit0 -C2537_bit0 -C2538_bit0 -C2539_bit0 -C2540_bit0 -C2541_bit0 -C2542_bit0 -C2543_bit0 -C2544_bit0 -C2545_bit0 -C2546_bit0 -C2547_bit0 -C2548_bit0 -C2549_bit0 -C2550_bit0 -C2551_bit0 -C2552_bit0 -C2553_bit0 -C2554_bit0 -C2555_bit0 -C2556_bit0 -C2557_bit0 -C2558_bit0 -C2559_bit0 -C2560_bit0 -C2561_bit0 -C2562_bit0 -C2563_bit0 -C2564_bit0 -C2565_bit0 -C2566_bit0 -C2567_bit0 -C2568_bit0 -C2569_bit0 -C2570_bit0 -C2571_bit0 -C2572_bit0 -C2573_bit0 -C2574_bit0 -C2575_bit0 -C2576_bit0 -C2577_bit0 -C2578_bit0 -C2579_bit0 -C2580_bit0 -C2581_bit0 -C2582_bit0 -C2583_bit0 -C2584_bit0 -C2585_bit0 -C2586_bit0 -C2587_bit0 -C2588_bit0 -C2589_bit0 -C2590_bit0 -C2591_bit0 -C2592_bit0 -C2593_bit0 -C2594_bit0 -C2595_bit0 -C2596_bit0 -C2597_bit0 -C2598_bit0 -C2599_bit0 -C2600_bit0 -C2601_bit0 -C2602_bit0 -C2603_bit0 -C2604_bit0 -C2605_bit0 -C2606_bit0 -C2607_bit0 -C2608_bit0 -C2609_bit0 -C2610_bit0 -C2611_bit0 -C2612_bit0 -C2613_bit0 -C2614_bit0 -C2615_bit0 -C2616_bit0 -C2617_bit0 -C2618_bit0 -C2619_bit0 -C2620_bit0 -C2621_bit0 -C2622_bit0 -C2623_bit0 -C2624_bit0 -C2625_bit0 -C2626_bit0 -C2627_bit0 -C2628_bit0 -C2629_bit0 -C2630_bit0 -C2631_bit0 -C2632_bit0 -C2633_bit0 -C2634_bit0 -C2635_bit0 -C2636_bit0 -C2637_bit0 -C2638_bit0 -C2639_bit0 -C2640_bit0 -C2641_bit0 -C2642_bit0 -C2643_bit0 -C2644_bit0 -C2645_bit0 -C2646_bit0 -C2647_bit0 -C2648_bit0 -C2649_bit0 -C2650_bit0 -C2651_bit0 -C2652_bit0 -C2653_bit0 -C2654_bit0 -C2655_bit0 -C2656_bit0 -C2657_bit0 -C2658_bit0 -C2659_bit0 -C2660_bit0 -C2661_bit0 -C2662_bit0 -C2663_bit0 -C2664_bit0 -C2665_bit0 -C2666_bit0 -C2667_bit0 -C2668_bit0 -C2669_bit0 -C2670_bit0 -C2671_bit0 -C2672_bit0 -C2673_bit0 -C2674_bit0 -C2675_bit0 -C2676_bit0 -C2677_bit0 -C2678_bit0 -C2679_bit0 -C2680_bit0 -C2681_bit0 -C2682_bit0 -C2683_bit0 -C2684_bit0 -C2685_bit0 -C2686_bit0 -C2687_bit0 -C2688_bit0 -C2689_bit0 -C2690_bit0 -C2691_bit0 -C2692_bit0 -C2693_bit0 -C2694_bit0 -C2695_bit0 -C2696_bit0 -C2697_bit0 -C2698_bit0 -C2699_bit0 -C2700_bit0 -C2701_bit0 -C2702_bit0 -C2703_bit0 -C2704_bit0 -C2705_bit0 -C2706_bit0 -C2707_bit0 -C2708_bit0 -C2709_bit0 -C2710_bit0 -C2711_bit0 -C2712_bit0 -C2713_bit0 -C2714_bit0 -C2715_bit0 -C2716_bit0 -C2717_bit0 -C2718_bit0 -C2719_bit0 -C2720_bit0 -C2721_bit0 -C2722_bit0 -C2723_bit0 -C2724_bit0 -C2725_bit0 -C2726_bit0 -C2727_bit0 -C2728_bit0 -C2729_bit0 -C2730_bit0 -C2731_bit0 -C2732_bit0 -C2733_bit0 -C2734_bit0 -C2735_bit0 -C2736_bit0 -C2737_bit0 -C2738_bit0 -C2739_bit0 -C2740_bit0 -C2741_bit0 -C2742_bit0 -C2743_bit0 -C2744_bit0 -C2745_bit0 -C2746_bit0 -C2747_bit0 
c Done, CPU Time=0.102984
#### 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
Raw data (loadavg): 0.91 0.95 0.90 2/54 6164
Raw data (stat): 6164 (runsolver) R 6163 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540174255 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+0.436432 s]
Raw data (loadavg): 0.91 0.95 0.90 1/53 6164
Raw data (stat): 6164 (runsolver) R 6163 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540174255 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 0

Child status: 30
Real time (s): 0.435861
CPU time (s): 0.428934
CPU user time (s): 0.374943
CPU system time (s): 0.053991
CPU usage (%): 98.4107
Max. virtual memory (Kb): 1028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	FAILED
ERROR: unsatisfied constraint on line 4155
#### END VERIFIER DATA ####