PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sample2.opb
MD5SUM	bdfddb0d042ec1aadcf4263f803cbd6f
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	384000
Optimality of the best value was proved	NO
Number of terms in the objective function	729
Biggest coefficient in the objective function	3221225472
Number of bits for the biggest coefficient in the objective function	32
Sum of the numbers in the objective function	70867574718
Number of bits of the sum of numbers in the objective function	37
Biggest number in a constraint	3221225472
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	70867574718
Number of bits of the biggest sum of numbers	37
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	47.9837
Number of variables	1296
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	43
Minimum length of a constraint	1
Maximum length of a constraint	150
Trace number 30697

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-25 18:57:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=22127 boxname=wulflinc24 idbench=943 idsolver=15 numberseed=0
MD5SUM SOLVER: 34d34154b8ad81f02ee98439942e0814  /oldhome/oroussel/solvers/minisat+_script
MD5SUM BENCH:  bdfddb0d042ec1aadcf4263f803cbd6f  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-sample2.opb
REAL COMMAND:  minisat+_script /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-sample2.opb
IDLAUNCH: 22127
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        626384 kB
Buffers:         32396 kB
Cached:         353936 kB
SwapCached:        588 kB
Active:          79900 kB
Inactive:       308448 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        626132 kB
SwapTotal:     2097892 kB
SwapFree:      2096416 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            14092 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 18:58:54 (client local time) WITH STATUS 30 IN 55.8465 SECONDS
stats: 22127 0 55.8465 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 67 PB-constraints to clauses...
c   -- Unit propagations: ppp
c   -- Detecting intervals from adjacent constraints: #####################
c   -- Clauses(.)/Splits(s): (none)
c ---[  66]---> BDD-cost:   14
c ---[  64]---> Sorter-cost:  357     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  62]---> Sorter-cost:  511     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  60]---> Sorter-cost:  511     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  58]---> Sorter-cost:  511     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  56]---> Sorter-cost:  547     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  54]---> Sorter-cost:  542     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  52]---> Sorter-cost:  547     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  50]---> Sorter-cost:  542     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  48]---> Sorter-cost:  547     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  46]---> Sorter-cost:  542     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  44]---> Sorter-cost:  547     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  42]---> Sorter-cost:  542     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  40]---> Sorter-cost:  600     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  38]---> Sorter-cost:  600     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  36]---> Sorter-cost:  600     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  35]---> BDD-cost:    5
c ---[  34]---> BDD-cost:    5
c ---[  33]---> BDD-cost:    5
c ---[  32]---> BDD-cost:   22
c ---[  31]---> BDD-cost:   22
c ---[  30]---> BDD-cost:   22
c ---[  29]---> BDD-cost:   14
c ---[  28]---> BDD-cost:   14
c ---[  27]---> BDD-cost:   14
c ---[  26]---> BDD-cost:   20
c ---[  25]---> BDD-cost:   14
c ---[  24]---> BDD-cost:   14
c ---[  23]---> BDD-cost:   14
c ---[  22]---> BDD-cost:   20
c ---[  21]---> BDD-cost:   14
c ---[  20]---> BDD-cost:   14
c ---[  19]---> BDD-cost:   14
c ---[  18]---> BDD-cost:   20
c ---[  17]---> BDD-cost:   14
c ---[  16]---> BDD-cost:   14
c ---[  15]---> BDD-cost:   14
c ---[  14]---> BDD-cost:   22
c ---[  13]---> BDD-cost:   22
c ---[  12]---> BDD-cost:   22
c ---[  10]---> Sorter-cost:  586     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[   8]---> Sorter-cost:  914     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[   6]---> Sorter-cost:  586     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[   4]---> Sorter-cost:  914     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[   2]---> Sorter-cost:  586     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[   0]---> Sorter-cost:  914     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |   30659    72343 |   10219       0        0     nan |  0.000 % |
c |       100 |   30409    71798 |   11240      63      188     3.0 | 12.103 % |
c |       250 |   29970    70839 |   12364     150      458     3.1 | 13.222 % |
c ==============================================================================
c [1mFound solution: 891298[0m
c ---[   0]---> Sorter-cost:19221     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 3
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |       440 |   79845   187303 |   26615     297     1145     3.9 | 13.222 % |
c ==============================================================================
c [1mFound solution: 836630[0m
c ---[   0]---> Sorter-cost:10854     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 3
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |       530 |  107180   251119 |   35726     382     2162     5.7 | 13.222 % |
c |       630 |  107100   250937 |   39298     479     3005     6.3 |  4.467 % |
c |       781 |  107100   250937 |   43228     630     4189     6.6 |  4.467 % |
c |      1006 |   97004   227817 |   47551     763     5035     6.6 | 12.119 % |
c |      1343 |   94613   222310 |   52306    1009     6678     6.6 | 14.028 % |
c |      1850 |   93746   220355 |   57537    1425    11330     8.0 | 14.640 % |
c |      2611 |   91269   214648 |   63290    2101    20011     9.5 | 16.619 % |
c ==============================================================================
c [1mFound solution: 817119[0m
c ---[   0]---> Sorter-cost:11112     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 3
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      2678 |  118971   279325 |   39657    2168    21558     9.9 | 16.619 % |
c |      2778 |  118395   277993 |   43622    2254    22267     9.9 | 13.767 % |
c |      2928 |  118009   277101 |   47984    2396    22946     9.6 | 14.014 % |
c |      3153 |  117898   276846 |   52783    2614    24028     9.2 | 14.086 % |
c ==============================================================================
c [1mFound solution: 758303[0m
c ---[   0]---> Sorter-cost:10185     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 3
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      3298 |  142689   334687 |   47563    2757    26981     9.8 | 14.086 % |
c |      3398 |  142673   334651 |   52319    2854    28419    10.0 | 12.204 % |
c |      3548 |  142325   333864 |   57551    2999    30565    10.2 | 12.373 % |
c ==============================================================================
c [1mFound solution: 747601[0m
c ---[   0]---> Sorter-cost:   15     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 3
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      3581 |  142557   334690 |   47519    3032    31060    10.2 | 12.373 % |
c |      3682 |  138831   326181 |   52270    3096    38138    12.3 | 14.263 % |
c |      3832 |  138730   325956 |   57497    3241    42001    13.0 | 14.310 % |
c |      4057 |  138709   325910 |   63247    3465    45808    13.2 | 14.321 % |
c |      4394 |  137011   322030 |   69572    3791    49635    13.1 | 15.192 % |
c ==============================================================================
c [1mFound solution: 744050[0m
c ---[   0]---> Sorter-cost:10906     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      4644 |  162089   380539 |   54029    4019    53839    13.4 | 15.192 % |
c |      4744 |  161621   379479 |   59431    4110    54758    13.3 | 14.353 % |
c ==============================================================================
c [1mFound solution: 658034[0m
c ---[   0]---> Sorter-cost: 7493     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      4799 |  179486   421078 |   59828    4165    55818    13.4 | 14.353 % |
c |      4899 |  179436   420968 |   65810    4255    56874    13.4 | 13.391 % |
c |      5049 |  179132   420295 |   72391    4389    58773    13.4 | 13.512 % |
c |      5274 |  177379   416303 |   79631    4552    62845    13.8 | 14.210 % |
c ==============================================================================
c [1mFound solution: 558750[0m
c ---[   0]---> Sorter-cost: 9016     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      5343 |  197120   462371 |   65706    4589    63573    13.9 | 14.210 % |
c |      5443 |  195078   457662 |   72276    4649    63922    13.7 | 14.755 % |
c |      5593 |  194037   455279 |   79504    4786    65737    13.7 | 15.124 % |
c ==============================================================================
c [1mFound solution: 521279[0m
c ---[   0]---> Sorter-cost:10723     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 3
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      5647 |  218682   512748 |   72894    4790    67397    14.1 | 15.124 % |
c |      5747 |  218042   511327 |   80183    4877    70371    14.4 | 14.204 % |
c |      5897 |  217002   508980 |   88201    5025    75864    15.1 | 14.542 % |
c ==============================================================================
c [1mFound solution: 519085[0m
c ---[   0]---> Sorter-cost: 6938     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 3
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      6095 |  230149   539730 |   76716    5198    80082    15.4 | 14.542 % |
c |      6195 |  229025   537122 |   84387    5288    84729    16.0 | 15.088 % |
c ==============================================================================
c [1mFound solution: 460800[0m
c ---[   0]---> Sorter-cost: 9016     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 3
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      6258 |  249081   583941 |   83027    5319    85147    16.0 | 15.088 % |
c ==============================================================================
c [1mFound solution: 414720[0m
c ---[   0]---> Sorter-cost:    7     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 3
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      6293 |  249261   584456 |   83087    5354    85925    16.0 | 15.088 % |
c ==============================================================================
c [1mFound solution: 399360[0m
c ---[   0]---> Sorter-cost:    4     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 3
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      6315 |  249155   584229 |   83051    5375    87070    16.2 | 15.088 % |
c |      6417 |  248883   583628 |   91356    5468    90218    16.5 | 14.685 % |
c ==============================================================================
c [1mFound solution: 384000[0m
c ---[   0]---> Sorter-cost:    5     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 3
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      6521 |  248857   583569 |   82952    5539    91127    16.5 | 14.685 % |
c |      6621 |  248636   583083 |   91247    5558    91850    16.5 | 14.763 % |
c |      6771 |  248636   583083 |  100371    5708    98265    17.2 | 14.763 % |
c |      6996 |  248636   583083 |  110409    5933   105907    17.9 | 14.763 % |
c |      7336 |  247675   580908 |  121450    6269   115345    18.4 | 15.041 % |
c ==============================================================================
c [1mOptimal solution: 384000[0m
s OPTIMUM FOUND
v -I_0x2e__0x2e__0x2e__0x2e_F01_bit0 -I_0x2e__0x2e__0x2e__0x2e_F02_bit0 I_0x2e__0x2e__0x2e__0x2e_F03_bit0 -I_0x2e_W01W01_bit0 I_0x2e_W02W02_bit0 -I_0x2e_W03W03_bit0 -I_0x2e_D01D01_bit0 I_0x2e_D02D02_bit0 I_0x2e_D03D03_bit0 -F_0x2e_F01W01_bit_10 -F_0x2e_F01W01_bit_9 -F_0x2e_F01W01_bit_8 -F_0x2e_F01W01_bit_7 -F_0x2e_F01W01_bit_6 -F_0x2e_F01W01_bit_5 -F_0x2e_F01W01_bit_4 -F_0x2e_F01W01_bit_3 -F_0x2e_F01W01_bit_2 -F_0x2e_F01W01_bit_1 -F_0x2e_F01W01_bit0 -F_0x2e_F01W01_bit1 -F_0x2e_F01W01_bit2 -F_0x2e_F01W01_bit3 -F_0x2e_F01W01_bit4 -F_0x2e_F01W01_bit5 -F_0x2e_F01W01_bit6 -F_0x2e_F01W01_bit7 -F_0x2e_F01W01_bit8 -F_0x2e_F01W01_bit9 -F_0x2e_F01W01_bit10 -F_0x2e_F01W01_bit11 -F_0x2e_F01W01_bit12 -F_0x2e_F01W01_bit13 -F_0x2e_F01W01_bit14 -F_0x2e_F01W01_bit15 -F_0x2e_F01W01_bit16 -F_0x2e_F01W01_bit17 -F_0x2e_F01W01_bit18 -F_0x2e_F01W01_bit19 -F_0x2e_F01W02_bit_10 -F_0x2e_F01W02_bit_9 -F_0x2e_F01W02_bit_8 -F_0x2e_F01W02_bit_7 -F_0x2e_F01W02_bit_6 -F_0x2e_F01W02_bit_5 -F_0x2e_F01W02_bit_4 -F_0x2e_F01W02_bit_3 -F_0x2e_F01W02_bit_2 -F_0x2e_F01W02_bit_1 -F_0x2e_F01W02_bit0 -F_0x2e_F01W02_bit1 -F_0x2e_F01W02_bit2 -F_0x2e_F01W02_bit3 -F_0x2e_F01W02_bit4 -F_0x2e_F01W02_bit5 -F_0x2e_F01W02_bit6 -F_0x2e_F01W02_bit7 -F_0x2e_F01W02_bit8 -F_0x2e_F01W02_bit9 -F_0x2e_F01W02_bit10 -F_0x2e_F01W02_bit11 -F_0x2e_F01W02_bit12 -F_0x2e_F01W02_bit13 -F_0x2e_F01W02_bit14 -F_0x2e_F01W02_bit15 -F_0x2e_F01W02_bit16 -F_0x2e_F01W02_bit17 -F_0x2e_F01W02_bit18 -F_0x2e_F01W02_bit19 -F_0x2e_F02W02_bit_10 -F_0x2e_F02W02_bit_9 -F_0x2e_F02W02_bit_8 -F_0x2e_F02W02_bit_7 -F_0x2e_F02W02_bit_6 -F_0x2e_F02W02_bit_5 -F_0x2e_F02W02_bit_4 -F_0x2e_F02W02_bit_3 -F_0x2e_F02W02_bit_2 -F_0x2e_F02W02_bit_1 -F_0x2e_F02W02_bit0 -F_0x2e_F02W02_bit1 -F_0x2e_F02W02_bit2 -F_0x2e_F02W02_bit3 -F_0x2e_F02W02_bit4 -F_0x2e_F02W02_bit5 -F_0x2e_F02W02_bit6 -F_0x2e_F02W02_bit7 -F_0x2e_F02W02_bit8 -F_0x2e_F02W02_bit9 -F_0x2e_F02W02_bit10 -F_0x2e_F02W02_bit11 -F_0x2e_F02W02_bit12 -F_0x2e_F02W02_bit13 -F_0x2e_F02W02_bit14 -F_0x2e_F02W02_bit15 -F_0x2e_F02W02_bit16 -F_0x2e_F02W02_bit17 -F_0x2e_F02W02_bit18 -F_0x2e_F02W02_bit19 -F_0x2e_F02W03_bit_10 -F_0x2e_F02W03_bit_9 -F_0x2e_F02W03_bit_8 -F_0x2e_F02W03_bit_7 -F_0x2e_F02W03_bit_6 -F_0x2e_F02W03_bit_5 -F_0x2e_F02W03_bit_4 -F_0x2e_F02W03_bit_3 -F_0x2e_F02W03_bit_2 -F_0x2e_F02W03_bit_1 -F_0x2e_F02W03_bit0 -F_0x2e_F02W03_bit1 -F_0x2e_F02W03_bit2 -F_0x2e_F02W03_bit3 -F_0x2e_F02W03_bit4 -F_0x2e_F02W03_bit5 -F_0x2e_F02W03_bit6 -F_0x2e_F02W03_bit7 -F_0x2e_F02W03_bit8 -F_0x2e_F02W03_bit9 -F_0x2e_F02W03_bit10 -F_0x2e_F02W03_bit11 -F_0x2e_F02W03_bit12 -F_0x2e_F02W03_bit13 -F_0x2e_F02W03_bit14 -F_0x2e_F02W03_bit15 -F_0x2e_F02W03_bit16 -F_0x2e_F02W03_bit17 -F_0x2e_F02W03_bit18 -F_0x2e_F02W03_bit19 -F_0x2e_F03W01_bit_10 -F_0x2e_F03W01_bit_9 -F_0x2e_F03W01_bit_8 -F_0x2e_F03W01_bit_7 -F_0x2e_F03W01_bit_6 -F_0x2e_F03W01_bit_5 -F_0x2e_F03W01_bit_4 -F_0x2e_F03W01_bit_3 -F_0x2e_F03W01_bit_2 -F_0x2e_F03W01_bit_1 -F_0x2e_F03W01_bit0 -F_0x2e_F03W01_bit1 -F_0x2e_F03W01_bit2 -F_0x2e_F03W01_bit3 -F_0x2e_F03W01_bit4 -F_0x2e_F03W01_bit5 -F_0x2e_F03W01_bit6 -F_0x2e_F03W01_bit7 -F_0x2e_F03W01_bit8 -F_0x2e_F03W01_bit9 -F_0x2e_F03W01_bit10 -F_0x2e_F03W01_bit11 -F_0x2e_F03W01_bit12 -F_0x2e_F03W01_bit13 -F_0x2e_F03W01_bit14 -F_0x2e_F03W01_bit15 -F_0x2e_F03W01_bit16 -F_0x2e_F03W01_bit17 -F_0x2e_F03W01_bit18 -F_0x2e_F03W01_bit19 -F_0x2e_F03W03_bit_10 -F_0x2e_F03W03_bit_9 -F_0x2e_F03W03_bit_8 -F_0x2e_F03W03_bit_7 -F_0x2e_F03W03_bit_6 -F_0x2e_F03W03_bit_5 -F_0x2e_F03W03_bit_4 -F_0x2e_F03W03_bit_3 -F_0x2e_F03W03_bit_2 -F_0x2e_F03W03_bit_1 -F_0x2e_F03W03_bit0 -F_0x2e_F03W03_bit1 -F_0x2e_F03W03_bit2 -F_0x2e_F03W03_bit3 -F_0x2e_F03W03_bit4 -F_0x2e_F03W03_bit5 -F_0x2e_F03W03_bit6 -F_0x2e_F03W03_bit7 -F_0x2e_F03W03_bit8 -F_0x2e_F03W03_bit9 -F_0x2e_F03W03_bit10 -F_0x2e_F03W03_bit11 -F_0x2e_F03W03_bit12 -F_0x2e_F03W03_bit13 -F_0x2e_F03W03_bit14 -F_0x2e_F03W03_bit15 -F_0x2e_F03W03_bit16 -F_0x2e_F03W03_bit17 -F_0x2e_F03W03_bit18 -F_0x2e_F03W03_bit19 -F_0x2e_W01D02_bit_10 -F_0x2e_W01D02_bit_9 -F_0x2e_W01D02_bit_8 -F_0x2e_W01D02_bit_7 -F_0x2e_W01D02_bit_6 -F_0x2e_W01D02_bit_5 -F_0x2e_W01D02_bit_4 -F_0x2e_W01D02_bit_3 -F_0x2e_W01D02_bit_2 -F_0x2e_W01D02_bit_1 -F_0x2e_W01D02_bit0 -F_0x2e_W01D02_bit1 -F_0x2e_W01D02_bit2 -F_0x2e_W01D02_bit3 -F_0x2e_W01D02_bit4 -F_0x2e_W01D02_bit5 -F_0x2e_W01D02_bit6 -F_0x2e_W01D02_bit7 -F_0x2e_W01D02_bit8 -F_0x2e_W01D02_bit9 -F_0x2e_W01D02_bit10 -F_0x2e_W01D02_bit11 -F_0x2e_W01D02_bit12 -F_0x2e_W01D02_bit13 -F_0x2e_W01D02_bit14 -F_0x2e_W01D02_bit15 -F_0x2e_W01D02_bit16 -F_0x2e_W01D02_bit17 -F_0x2e_W01D02_bit18 -F_0x2e_W01D02_bit19 -F_0x2e_W01D03_bit_10 -F_0x2e_W01D03_bit_9 -F_0x2e_W01D03_bit_8 -F_0x2e_W01D03_bit_7 -F_0x2e_W01D03_bit_6 -F_0x2e_W01D03_bit_5 -F_0x2e_W01D03_bit_4 -F_0x2e_W01D03_bit_3 -F_0x2e_W01D03_bit_2 -F_0x2e_W01D03_bit_1 -F_0x2e_W01D03_bit0 -F_0x2e_W01D03_bit1 -F_0x2e_W01D03_bit2 -F_0x2e_W01D03_bit3 -F_0x2e_W01D03_bit4 -F_0x2e_W01D03_bit5 -F_0x2e_W01D03_bit6 -F_0x2e_W01D03_bit7 -F_0x2e_W01D03_bit8 -F_0x2e_W01D03_bit9 -F_0x2e_W01D03_bit10 -F_0x2e_W01D03_bit11 -F_0x2e_W01D03_bit12 -F_0x2e_W01D03_bit13 -F_0x2e_W01D03_bit14 -F_0x2e_W01D03_bit15 -F_0x2e_W01D03_bit16 -F_0x2e_W01D03_bit17 -F_0x2e_W01D03_bit18 -F_0x2e_W01D03_bit19 -F_0x2e_W01D04_bit_10 -F_0x2e_W01D04_bit_9 -F_0x2e_W01D04_bit_8 -F_0x2e_W01D04_bit_7 -F_0x2e_W01D04_bit_6 -F_0x2e_W01D04_bit_5 -F_0x2e_W01D04_bit_4 -F_0x2e_W01D04_bit_3 -F_0x2e_W01D04_bit_2 -F_0x2e_W01D04_bit_1 -F_0x2e_W01D04_bit0 -F_0x2e_W01D04_bit1 -F_0x2e_W01D04_bit2 -F_0x2e_W01D04_bit3 -F_0x2e_W01D04_bit4 -F_0x2e_W01D04_bit5 -F_0x2e_W01D04_bit6 -F_0x2e_W01D04_bit7 -F_0x2e_W01D04_bit8 -F_0x2e_W01D04_bit9 -F_0x2e_W01D04_bit10 -F_0x2e_W01D04_bit11 -F_0x2e_W01D04_bit12 -F_0x2e_W01D04_bit13 -F_0x2e_W01D04_bit14 -F_0x2e_W01D04_bit15 -F_0x2e_W01D04_bit16 -F_0x2e_W01D04_bit17 -F_0x2e_W01D04_bit18 -F_0x2e_W01D04_bit19 -F_0x2e_W02D01_bit_10 -F_0x2e_W02D01_bit_9 -F_0x2e_W02D01_bit_8 -F_0x2e_W02D01_bit_7 -F_0x2e_W02D01_bit_6 -F_0x2e_W02D01_bit_5 -F_0x2e_W02D01_bit_4 -F_0x2e_W02D01_bit_3 -F_0x2e_W02D01_bit_2 -F_0x2e_W02D01_bit_1 -F_0x2e_W02D01_bit0 -F_0x2e_W02D01_bit1 -F_0x2e_W02D01_bit2 -F_0x2e_W02D01_bit3 -F_0x2e_W02D01_bit4 -F_0x2e_W02D01_bit5 -F_0x2e_W02D01_bit6 -F_0x2e_W02D01_bit7 -F_0x2e_W02D01_bit8 -F_0x2e_W02D01_bit9 -F_0x2e_W02D01_bit10 -F_0x2e_W02D01_bit11 -F_0x2e_W02D01_bit12 -F_0x2e_W02D01_bit13 -F_0x2e_W02D01_bit14 -F_0x2e_W02D01_bit15 -F_0x2e_W02D01_bit16 -F_0x2e_W02D01_bit17 -F_0x2e_W02D01_bit18 -F_0x2e_W02D01_bit19 -F_0x2e_W02D03_bit_10 -F_0x2e_W02D03_bit_9 -F_0x2e_W02D03_bit_8 -F_0x2e_W02D03_bit_7 -F_0x2e_W02D03_bit_6 -F_0x2e_W02D03_bit_5 -F_0x2e_W02D03_bit_4 -F_0x2e_W02D03_bit_3 -F_0x2e_W02D03_bit_2 -F_0x2e_W02D03_bit_1 F_0x2e_W02D03_bit0 F_0x2e_W02D03_bit1 F_0x2e_W02D03_bit2 F_0x2e_W02D03_bit3 -F_0x2e_W02D03_bit4 -F_0x2e_W02D03_bit5 -F_0x2e_W02D03_bit6 -F_0x2e_W02D03_bit7 -F_0x2e_W02D03_bit8 -F_0x2e_W02D03_bit9 -F_0x2e_W02D03_bit10 -F_0x2e_W02D03_bit11 -F_0x2e_W02D03_bit12 -F_0x2e_W02D03_bit13 -F_0x2e_W02D03_bit14 -F_0x2e_W02D03_bit15 -F_0x2e_W02D03_bit16 -F_0x2e_W02D03_bit17 -F_0x2e_W02D03_bit18 -F_0x2e_W02D03_bit19 -F_0x2e_W02D04_bit_10 -F_0x2e_W02D04_bit_9 -F_0x2e_W02D04_bit_8 -F_0x2e_W02D04_bit_7 -F_0x2e_W02D04_bit_6 -F_0x2e_W02D04_bit_5 -F_0x2e_W02D04_bit_4 -F_0x2e_W02D04_bit_3 -F_0x2e_W02D04_bit_2 -F_0x2e_W02D04_bit_1 F_0x2e_W02D04_bit0 F_0x2e_W02D04_bit1 F_0x2e_W02D04_bit2 F_0x2e_W02D04_bit3 -F_0x2e_W02D04_bit4 -F_0x2e_W02D04_bit5 -F_0x2e_W02D04_bit6 -F_0x2e_W02D04_bit7 -F_0x2e_W02D04_bit8 -F_0x2e_W02D04_bit9 -F_0x2e_W02D04_bit10 -F_0x2e_W02D04_bit11 -F_0x2e_W02D04_bit12 -F_0x2e_W02D04_bit13 -F_0x2e_W02D04_bit14 -F_0x2e_W02D04_bit15 -F_0x2e_W02D04_bit16 -F_0x2e_W02D04_bit17 -F_0x2e_W02D04_bit18 -F_0x2e_W02D04_bit19 -F_0x2e_W03D01_bit_10 -F_0x2e_W03D01_bit_9 -F_0x2e_W03D01_bit_8 -F_0x2e_W03D01_bit_7 -F_0x2e_W03D01_bit_6 -F_0x2e_W03D01_bit_5 -F_0x2e_W03D01_bit_4 -F_0x2e_W03D01_bit_3 -F_0x2e_W03D01_bit_2 -F_0x2e_W03D01_bit_1 -F_0x2e_W03D01_bit0 -F_0x2e_W03D01_bit1 -F_0x2e_W03D01_bit2 -F_0x2e_W03D01_bit3 -F_0x2e_W03D01_bit4 -F_0x2e_W03D01_bit5 -F_0x2e_W03D01_bit6 -F_0x2e_W03D01_bit7 -F_0x2e_W03D01_bit8 -F_0x2e_W03D01_bit9 -F_0x2e_W03D01_bit10 -F_0x2e_W03D01_bit11 -F_0x2e_W03D01_bit12 -F_0x2e_W03D01_bit13 -F_0x2e_W03D01_bit14 -F_0x2e_W03D01_bit15 -F_0x2e_W03D01_bit16 -F_0x2e_W03D01_bit17 -F_0x2e_W03D01_bit18 -F_0x2e_W03D01_bit19 -F_0x2e_W03D02_bit_10 -F_0x2e_W03D02_bit_9 -F_0x2e_W03D02_bit_8 -F_0x2e_W03D02_bit_7 -F_0x2e_W03D02_bit_6 -F_0x2e_W03D02_bit_5 -F_0x2e_W03D02_bit_4 -F_0x2e_W03D02_bit_3 -F_0x2e_W03D02_bit_2 -F_0x2e_W03D02_bit_1 -F_0x2e_W03D02_bit0 -F_0x2e_W03D02_bit1 -F_0x2e_W03D02_bit2 -F_0x2e_W03D02_bit3 -F_0x2e_W03D02_bit4 -F_0x2e_W03D02_bit5 -F_0x2e_W03D02_bit6 -F_0x2e_W03D02_bit7 -F_0x2e_W03D02_bit8 -F_0x2e_W03D02_bit9 -F_0x2e_W03D02_bit10 -F_0x2e_W03D02_bit11 -F_0x2e_W03D02_bit12 -F_0x2e_W03D02_bit13 -F_0x2e_W03D02_bit14 -F_0x2e_W03D02_bit15 -F_0x2e_W03D02_bit16 -F_0x2e_W03D02_bit17 -F_0x2e_W03D02_bit18 -F_0x2e_W03D02_bit19 -F_0x2e_W03D04_bit_10 -F_0x2e_W03D04_bit_9 -F_0x2e_W03D04_bit_8 -F_0x2e_W03D04_bit_7 -F_0x2e_W03D04_bit_6 -F_0x2e_W03D04_bit_5 -F_0x2e_W03D04_bit_4 -F_0x2e_W03D04_bit_3 -F_0x2e_W03D04_bit_2 -F_0x2e_W03D04_bit_1 -F_0x2e_W03D04_bit0 -F_0x2e_W03D04_bit1 -F_0x2e_W03D04_bit2 -F_0x2e_W03D04_bit3 -F_0x2e_W03D04_bit4 -F_0x2e_W03D04_bit5 -F_0x2e_W03D04_bit6 -F_0x2e_W03D04_bit7 -F_0x2e_W03D04_bit8 -F_0x2e_W03D04_bit9 -F_0x2e_W03D04_bit10 -F_0x2e_W03D04_bit11 -F_0x2e_W03D04_bit12 -F_0x2e_W03D04_bit13 -F_0x2e_W03D04_bit14 -F_0x2e_W03D04_bit15 -F_0x2e_W03D04_bit16 -F_0x2e_W03D04_bit17 -F_0x2e_W03D04_bit18 -F_0x2e_W03D04_bit19 -F_0x2e_D01C01_bit_10 -F_0x2e_D01C01_bit_9 -F_0x2e_D01C01_bit_8 -F_0x2e_D01C01_bit_7 -F_0x2e_D01C01_bit_6 -F_0x2e_D01C01_bit_5 -F_0x2e_D01C01_bit_4 -F_0x2e_D01C01_bit_3 -F_0x2e_D01C01_bit_2 -F_0x2e_D01C01_bit_1 -F_0x2e_D01C01_bit0 -F_0x2e_D01C01_bit1 -F_0x2e_D01C01_bit2 -F_0x2e_D01C01_bit3 -F_0x2e_D01C01_bit4 -F_0x2e_D01C01_bit5 -F_0x2e_D01C01_bit6 -F_0x2e_D01C01_bit7 -F_0x2e_D01C01_bit8 -F_0x2e_D01C01_bit9 -F_0x2e_D01C01_bit10 -F_0x2e_D01C01_bit11 -F_0x2e_D01C01_bit12 -F_0x2e_D01C01_bit13 -F_0x2e_D01C01_bit14 -F_0x2e_D01C01_bit15 -F_0x2e_D01C01_bit16 -F_0x2e_D01C01_bit17 -F_0x2e_D01C01_bit18 -F_0x2e_D01C01_bit19 -F_0x2e_D01C03_bit_10 -F_0x2e_D01C03_bit_9 -F_0x2e_D01C03_bit_8 -F_0x2e_D01C03_bit_7 -F_0x2e_D01C03_bit_6 -F_0x2e_D01C03_bit_5 -F_0x2e_D01C03_bit_4 -F_0x2e_D01C03_bit_3 -F_0x2e_D01C03_bit_2 -F_0x2e_D01C03_bit_1 -F_0x2e_D01C03_bit0 -F_0x2e_D01C03_bit1 -F_0x2e_D01C03_bit2 -F_0x2e_D01C03_bit3 -F_0x2e_D01C03_bit4 -F_0x2e_D01C03_bit5 -F_0x2e_D01C03_bit6 -F_0x2e_D01C03_bit7 -F_0x2e_D01C03_bit8 -F_0x2e_D01C03_bit9 -F_0x2e_D01C03_bit10 -F_0x2e_D01C03_bit11 -F_0x2e_D01C03_bit12 -F_0x2e_D01C03_bit13 -F_0x2e_D01C03_bit14 -F_0x2e_D01C03_bit15 -F_0x2e_D01C03_bit16 -F_0x2e_D01C03_bit17 -F_0x2e_D01C03_bit18 -F_0x2e_D01C03_bit19 -F_0x2e_D02C01_bit_10 -F_0x2e_D02C01_bit_9 -F_0x2e_D02C01_bit_8 -F_0x2e_D02C01_bit_7 -F_0x2e_D02C01_bit_6 -F_0x2e_D02C01_bit_5 -F_0x2e_D02C01_bit_4 -F_0x2e_D02C01_bit_3 -F_0x2e_D02C01_bit_2 -F_0x2e_D02C01_bit_1 -F_0x2e_D02C01_bit0 -F_0x2e_D02C01_bit1 -F_0x2e_D02C01_bit2 -F_0x2e_D02C01_bit3 -F_0x2e_D02C01_bit4 -F_0x2e_D02C01_bit5 -F_0x2e_D02C01_bit6 -F_0x2e_D02C01_bit7 -F_0x2e_D02C01_bit8 -F_0x2e_D02C01_bit9 -F_0x2e_D02C01_bit10 -F_0x2e_D02C01_bit11 -F_0x2e_D02C01_bit12 -F_0x2e_D02C01_bit13 -F_0x2e_D02C01_bit14 -F_0x2e_D02C01_bit15 -F_0x2e_D02C01_bit16 -F_0x2e_D02C01_bit17 -F_0x2e_D02C01_bit18 -F_0x2e_D02C01_bit19 -F_0x2e_D02C02_bit_10 -F_0x2e_D02C02_bit_9 -F_0x2e_D02C02_bit_8 -F_0x2e_D02C02_bit_7 -F_0x2e_D02C02_bit_6 -F_0x2e_D02C02_bit_5 -F_0x2e_D02C02_bit_4 -F_0x2e_D02C02_bit_3 -F_0x2e_D02C02_bit_2 -F_0x2e_D02C02_bit_1 -F_0x2e_D02C02_bit0 -F_0x2e_D02C02_bit1 -F_0x2e_D02C02_bit2 -F_0x2e_D02C02_bit3 -F_0x2e_D02C02_bit4 -F_0x2e_D02C02_bit5 -F_0x2e_D02C02_bit6 -F_0x2e_D02C02_bit7 -F_0x2e_D02C02_bit8 -F_0x2e_D02C02_bit9 -F_0x2e_D02C02_bit10 -F_0x2e_D02C02_bit11 -F_0x2e_D02C02_bit12 -F_0x2e_D02C02_bit13 -F_0x2e_D02C02_bit14 -F_0x2e_D02C02_bit15 -F_0x2e_D02C02_bit16 -F_0x2e_D02C02_bit17 -F_0x2e_D02C02_bit18 -F_0x2e_D02C02_bit19 -F_0x2e_D03C01_bit_10 -F_0x2e_D03C01_bit_9 -F_0x2e_D03C01_bit_8 -F_0x2e_D03C01_bit_7 -F_0x2e_D03C01_bit_6 -F_0x2e_D03C01_bit_5 -F_0x2e_D03C01_bit_4 -F_0x2e_D03C01_bit_3 -F_0x2e_D03C01_bit_2 -F_0x2e_D03C01_bit_1 -F_0x2e_D03C01_bit0 -F_0x2e_D03C01_bit1 -F_0x2e_D03C01_bit2 -F_0x2e_D03C01_bit3 -F_0x2e_D03C01_bit4 -F_0x2e_D03C01_bit5 -F_0x2e_D03C01_bit6 -F_0x2e_D03C01_bit7 -F_0x2e_D03C01_bit8 -F_0x2e_D03C01_bit9 -F_0x2e_D03C01_bit10 -F_0x2e_D03C01_bit11 -F_0x2e_D03C01_bit12 -F_0x2e_D03C01_bit13 -F_0x2e_D03C01_bit14 -F_0x2e_D03C01_bit15 -F_0x2e_D03C01_bit16 -F_0x2e_D03C01_bit17 -F_0x2e_D03C01_bit18 -F_0x2e_D03C01_bit19 -F_0x2e_D03C03_bit_10 -F_0x2e_D03C03_bit_9 -F_0x2e_D03C03_bit_8 -F_0x2e_D03C03_bit_7 -F_0x2e_D03C03_bit_6 -F_0x2e_D03C03_bit_5 -F_0x2e_D03C03_bit_4 -F_0x2e_D03C03_bit_3 -F_0x2e_D03C03_bit_2 -F_0x2e_D03C03_bit_1 -F_0x2e_D03C03_bit0 -F_0x2e_D03C03_bit1 -F_0x2e_D03C03_bit2 -F_0x2e_D03C03_bit3 -F_0x2e_D03C03_bit4 -F_0x2e_D03C03_bit5 -F_0x2e_D03C03_bit6 -F_0x2e_D03C03_bit7 -F_0x2e_D03C03_bit8 -F_0x2e_D03C03_bit9 -F_0x2e_D03C03_bit10 -F_0x2e_D03C03_bit11 -F_0x2e_D03C03_bit12 -F_0x2e_D03C03_bit13 -F_0x2e_D03C03_bit14 -F_0x2e_D03C03_bit15 -F_0x2e_D03C03_bit16 -F_0x2e_D03C03_bit17 -F_0x2e_D03C03_bit18 -F_0x2e_D03C03_bit19 -F_0x2e_D04C01_bit_10 -F_0x2e_D04C01_bit_9 -F_0x2e_D04C01_bit_8 -F_0x2e_D04C01_bit_7 -F_0x2e_D04C01_bit_6 -F_0x2e_D04C01_bit_5 -F_0x2e_D04C01_bit_4 -F_0x2e_D04C01_bit_3 -F_0x2e_D04C01_bit_2 -F_0x2e_D04C01_bit_1 F_0x2e_D04C01_bit0 F_0x2e_D04C01_bit1 F_0x2e_D04C01_bit2 F_0x2e_D04C01_bit3 -F_0x2e_D04C01_bit4 -F_0x2e_D04C01_bit5 -F_0x2e_D04C01_bit6 -F_0x2e_D04C01_bit7 -F_0x2e_D04C01_bit8 -F_0x2e_D04C01_bit9 -F_0x2e_D04C01_bit10 -F_0x2e_D04C01_bit11 -F_0x2e_D04C01_bit12 -F_0x2e_D04C01_bit13 -F_0x2e_D04C01_bit14 -F_0x2e_D04C01_bit15 -F_0x2e_D04C01_bit16 -F_0x2e_D04C01_bit17 -F_0x2e_D04C01_bit18 -F_0x2e_D04C01_bit19 -F_0x2e_D04C02_bit_10 -F_0x2e_D04C02_bit_9 -F_0x2e_D04C02_bit_8 -F_0x2e_D04C02_bit_7 -F_0x2e_D04C02_bit_6 -F_0x2e_D04C02_bit_5 -F_0x2e_D04C02_bit_4 -F_0x2e_D04C02_bit_3 -F_0x2e_D04C02_bit_2 -F_0x2e_D04C02_bit_1 -F_0x2e_D04C02_bit0 -F_0x2e_D04C02_bit1 -F_0x2e_D04C02_bit2 -F_0x2e_D04C02_bit3 -F_0x2e_D04C02_bit4 -F_0x2e_D04C02_bit5 -F_0x2e_D04C02_bit6 -F_0x2e_D04C02_bit7 -F_0x2e_D04C02_bit8 -F_0x2e_D04C02_bit9 -F_0x2e_D04C02_bit10 -F_0x2e_D04C02_bit11 -F_0x2e_D04C02_bit12 -F_0x2e_D04C02_bit13 -F_0x2e_D04C02_bit14 -F_0x2e_D04C02_bit15 -F_0x2e_D04C02_bit16 -F_0x2e_D04C02_bit17 -F_0x2e_D04C02_bit18 -F_0x2e_D04C02_bit19 -F_0x2e_D04C03_bit_10 -F_0x2e_D04C03_bit_9 -F_0x2e_D04C03_bit_8 -F_0x2e_D04C03_bit_7 -F_0x2e_D04C03_bit_6 -F_0x2e_D04C03_bit_5 -F_0x2e_D04C03_bit_4 -F_0x2e_D04C03_bit_3 -F_0x2e_D04C03_bit_2 -F_0x2e_D04C03_bit_1 -F_0x2e_D04C03_bit0 -F_0x2e_D04C03_bit1 -F_0x2e_D04C03_bit2 -F_0x2e_D04C03_bit3 -F_0x2e_D04C03_bit4 -F_0x2e_D04C03_bit5 -F_0x2e_D04C03_bit6 -F_0x2e_D04C03_bit7 -F_0x2e_D04C03_bit8 -F_0x2e_D04C03_bit9 -F_0x2e_D04C03_bit10 -F_0x2e_D04C03_bit11 -F_0x2e_D04C03_bit12 -F_0x2e_D04C03_bit13 -F_0x2e_D04C03_bit14 -F_0x2e_D04C03_bit15 -F_0x2e_D04C03_bit16 -F_0x2e_D04C03_bit17 -F_0x2e_D04C03_bit18 -F_0x2e_D04C03_bit19 -I_0x2e_D01C01_bit0 -I_0x2e_D01C02_bit0 -I_0x2e_D01C03_bit0 -I_0x2e_D02C01_bit0 -I_0x2e_D02C02_bit0 I_0x2e_D02C03_bit0 -I_0x2e_D03C01_bit0 I_0x2e_D03C02_bit0 -I_0x2e_D03C03_bit0 I_0x2e_D04C01_bit0 -I_0x2e_D04C02_bit0 -I_0x2e_D04C03_bit0 -F_0x2e_D04D04_bit_10 -F_0x2e_D04D04_bit_9 -F_0x2e_D04D04_bit_8 -F_0x2e_D04D04_bit_7 -F_0x2e_D04D04_bit_6 -F_0x2e_D04D04_bit_5 -F_0x2e_D04D04_bit_4 -F_0x2e_D04D04_bit_3 -F_0x2e_D04D04_bit_2 -F_0x2e_D04D04_bit_1 F_0x2e_D04D04_bit0 F_0x2e_D04D04_bit1 F_0x2e_D04D04_bit2 F_0x2e_D04D04_bit3 -F_0x2e_D04D04_bit4 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_10 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_9 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_8 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_7 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_6 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_5 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_4 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_3 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_2 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_1 -F_0x2e__0x2e__0x2e__0x2e_F01_bit0 -F_0x2e__0x2e__0x2e__0x2e_F01_bit1 -F_0x2e__0x2e__0x2e__0x2e_F01_bit2 -F_0x2e__0x2e__0x2e__0x2e_F01_bit3 -F_0x2e__0x2e__0x2e__0x2e_F01_bit4 -F_0x2e__0x2e__0x2e__0x2e_F01_bit5 -F_0x2e__0x2e__0x2e__0x2e_F01_bit6 -F_0x2e__0x2e__0x2e__0x2e_F01_bit7 -F_0x2e__0x2e__0x2e__0x2e_F01_bit8 -F_0x2e__0x2e__0x2e__0x2e_F01_bit9 -F_0x2e__0x2e__0x2e__0x2e_F01_bit10 -F_0x2e__0x2e__0x2e__0x2e_F01_bit11 -F_0x2e__0x2e__0x2e__0x2e_F01_bit12 -F_0x2e__0x2e__0x2e__0x2e_F01_bit13 -F_0x2e__0x2e__0x2e__0x2e_F01_bit14 -F_0x2e__0x2e__0x2e__0x2e_F01_bit15 -F_0x2e__0x2e__0x2e__0x2e_F01_bit16 -F_0x2e__0x2e__0x2e__0x2e_F01_bit17 -F_0x2e__0x2e__0x2e__0x2e_F01_bit18 -F_0x2e__0x2e__0x2e__0x2e_F01_bit19 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_10 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_9 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_8 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_7 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_6 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_5 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_4 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_3 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_2 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_1 -F_0x2e__0x2e__0x2e__0x2e_F02_bit0 -F_0x2e__0x2e__0x2e__0x2e_F02_bit1 -F_0x2e__0x2e__0x2e__0x2e_F02_bit2 -F_0x2e__0x2e__0x2e__0x2e_F02_bit3 -F_0x2e__0x2e__0x2e__0x2e_F02_bit4 -F_0x2e__0x2e__0x2e__0x2e_F02_bit5 -F_0x2e__0x2e__0x2e__0x2e_F02_bit6 -F_0x2e__0x2e__0x2e__0x2e_F02_bit7 -F_0x2e__0x2e__0x2e__0x2e_F02_bit8 -F_0x2e__0x2e__0x2e__0x2e_F02_bit9 -F_0x2e__0x2e__0x2e__0x2e_F02_bit10 -F_0x2e__0x2e__0x2e__0x2e_F02_bit11 -F_0x2e__0x2e__0x2e__0x2e_F02_bit12 -F_0x2e__0x2e__0x2e__0x2e_F02_bit13 -F_0x2e__0x2e__0x2e__0x2e_F02_bit14 -F_0x2e__0x2e__0x2e__0x2e_F02_bit15 -F_0x2e__0x2e__0x2e__0x2e_F02_bit16 -F_0x2e__0x2e__0x2e__0x2e_F02_bit17 -F_0x2e__0x2e__0x2e__0x2e_F02_bit18 -F_0x2e__0x2e__0x2e__0x2e_F02_bit19 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_10 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_9 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_8 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_7 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_6 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_5 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_4 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_3 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_2 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_1 F_0x2e__0x2e__0x2e__0x2e_F03_bit0 -F_0x2e__0x2e__0x2e__0x2e_F03_bit1 F_0x2e__0x2e__0x2e__0x2e_F03_bit2 F_0x2e__0x2e__0x2e__0x2e_F03_bit3 -F_0x2e__0x2e__0x2e__0x2e_F03_bit4 F_0x2e__0x2e__0x2e__0x2e_F03_bit5 -F_0x2e__0x2e__0x2e__0x2e_F03_bit6 -F_0x2e__0x2e__0x2e__0x2e_F03_bit7 -F_0x2e__0x2e__0x2e__0x2e_F03_bit8 -F_0x2e__0x2e__0x2e__0x2e_F03_bit9 -F_0x2e__0x2e__0x2e__0x2e_F03_bit10 -F_0x2e__0x2e__0x2e__0x2e_F03_bit11 -F_0x2e__0x2e__0x2e__0x2e_F03_bit12 -F_0x2e__0x2e__0x2e__0x2e_F03_bit13 -F_0x2e__0x2e__0x2e__0x2e_F03_bit14 -F_0x2e__0x2e__0x2e__0x2e_F03_bit15 -F_0x2e__0x2e__0x2e__0x2e_F03_bit16 -F_0x2e__0x2e__0x2e__0x2e_F03_bit17 -F_0x2e__0x2e__0x2e__0x2e_F03_bit18 -F_0x2e__0x2e__0x2e__0x2e_F03_bit19 -F_0x2e_D01C02_bit_10 -F_0x2e_D01C02_bit_9 -F_0x2e_D01C02_bit_8 -F_0x2e_D01C02_bit_7 -F_0x2e_D01C02_bit_6 -F_0x2e_D01C02_bit_5 -F_0x2e_D01C02_bit_4 -F_0x2e_D01C02_bit_3 -F_0x2e_D01C02_bit_2 -F_0x2e_D01C02_bit_1 -F_0x2e_D01C02_bit0 -F_0x2e_D01C02_bit1 -F_0x2e_D01C02_bit2 -F_0x2e_D01C02_bit3 -F_0x2e_D01C02_bit4 -F_0x2e_D01C02_bit5 -F_0x2e_D01C02_bit6 -F_0x2e_D01C02_bit7 -F_0x2e_D01C02_bit8 -F_0x2e_D01C02_bit9 -F_0x2e_D01C02_bit10 -F_0x2e_D01C02_bit11 -F_0x2e_D01C02_bit12 -F_0x2e_D01C02_bit13 -F_0x2e_D01C02_bit14 -F_0x2e_D01C02_bit15 -F_0x2e_D01C02_bit16 -F_0x2e_D01C02_bit17 -F_0x2e_D01C02_bit18 -F_0x2e_D01C02_bit19 -F_0x2e_D03C02_bit_10 -F_0x2e_D03C02_bit_9 -F_0x2e_D03C02_bit_8 -F_0x2e_D03C02_bit_7 -F_0x2e_D03C02_bit_6 -F_0x2e_D03C02_bit_5 -F_0x2e_D03C02_bit_4 -F_0x2e_D03C02_bit_3 -F_0x2e_D03C02_bit_2 -F_0x2e_D03C02_bit_1 F_0x2e_D03C02_bit0 F_0x2e_D03C02_bit1 F_0x2e_D03C02_bit2 F_0x2e_D03C02_bit3 -F_0x2e_D03C02_bit4 -F_0x2e_D03C02_bit5 -F_0x2e_D03C02_bit6 -F_0x2e_D03C02_bit7 -F_0x2e_D03C02_bit8 -F_0x2e_D03C02_bit9 -F_0x2e_D03C02_bit10 -F_0x2e_D03C02_bit11 -F_0x2e_D03C02_bit12 -F_0x2e_D03C02_bit13 -F_0x2e_D03C02_bit14 -F_0x2e_D03C02_bit15 -F_0x2e_D03C02_bit16 -F_0x2e_D03C02_bit17 -F_0x2e_D03C02_bit18 -F_0x2e_D03C02_bit19 -F_0x2e_D02C03_bit_10 -F_0x2e_D02C03_bit_9 -F_0x2e_D02C03_bit_8 -F_0x2e_D02C03_bit_7 -F_0x2e_D02C03_bit_6 -F_0x2e_D02C03_bit_5 -F_0x2e_D02C03_bit_4 -F_0x2e_D02C03_bit_3 -F_0x2e_D02C03_bit_2 -F_0x2e_D02C03_bit_1 F_0x2e_D02C03_bit0 F_0x2e_D02C03_bit1 F_0x2e_D02C03_bit2 F_0x2e_D02C03_bit3 -F_0x2e_D02C03_bit4 -F_0x2e_D02C03_bit5 -F_0x2e_D02C03_bit6 -F_0x2e_D02C03_bit7 -F_0x2e_D02C03_bit8 -F_0x2e_D02C03_bit9 -F_0x2e_D02C03_bit10 -F_0x2e_D02C03_bit11 -F_0x2e_D02C03_bit12 -F_0x2e_D02C03_bit13 -F_0x2e_D02C03_bit14 -F_0x2e_D02C03_bit15 -F_0x2e_D02C03_bit16 -F_0x2e_D02C03_bit17 -F_0x2e_D02C03_bit18 -F_0x2e_D02C03_bit19 -F_0x2e_W01D01_bit_10 -F_0x2e_W01D01_bit_9 -F_0x2e_W01D01_bit_8 -F_0x2e_W01D01_bit_7 -F_0x2e_W01D01_bit_6 -F_0x2e_W01D01_bit_5 -F_0x2e_W01D01_bit_4 -F_0x2e_W01D01_bit_3 -F_0x2e_W01D01_bit_2 -F_0x2e_W01D01_bit_1 -F_0x2e_W01D01_bit0 -F_0x2e_W01D01_bit1 -F_0x2e_W01D01_bit2 -F_0x2e_W01D01_bit3 -F_0x2e_W01D01_bit4 -F_0x2e_W01D01_bit5 -F_0x2e_W01D01_bit6 -F_0x2e_W01D01_bit7 -F_0x2e_W01D01_bit8 -F_0x2e_W01D01_bit9 -F_0x2e_W01D01_bit10 -F_0x2e_W01D01_bit11 -F_0x2e_W01D01_bit12 -F_0x2e_W01D01_bit13 -F_0x2e_W01D01_bit14 -F_0x2e_W01D01_bit15 -F_0x2e_W01D01_bit16 -F_0x2e_W01D01_bit17 -F_0x2e_W01D01_bit18 -F_0x2e_W01D01_bit19 -F_0x2e_D01D01_bit_10 -F_0x2e_D01D01_bit_9 -F_0x2e_D01D01_bit_8 -F_0x2e_D01D01_bit_7 -F_0x2e_D01D01_bit_6 -F_0x2e_D01D01_bit_5 -F_0x2e_D01D01_bit_4 -F_0x2e_D01D01_bit_3 -F_0x2e_D01D01_bit_2 -F_0x2e_D01D01_bit_1 -F_0x2e_D01D01_bit0 -F_0x2e_D01D01_bit1 -F_0x2e_D01D01_bit2 -F_0x2e_D01D01_bit3 -F_0x2e_D01D01_bit4 -F_0x2e_D01D01_bit5 -F_0x2e_D01D01_bit6 -F_0x2e_D01D01_bit7 -F_0x2e_D01D01_bit8 -F_0x2e_D01D01_bit9 -F_0x2e_D01D01_bit10 -F_0x2e_D01D01_bit11 -F_0x2e_D01D01_bit12 -F_0x2e_D01D01_bit13 -F_0x2e_D01D01_bit14 -F_0x2e_D01D01_bit15 -F_0x2e_D01D01_bit16 -F_0x2e_D01D01_bit17 -F_0x2e_D01D01_bit18 -F_0x2e_D01D01_bit19 -F_0x2e_W02D02_bit_10 -F_0x2e_W02D02_bit_9 -F_0x2e_W02D02_bit_8 -F_0x2e_W02D02_bit_7 -F_0x2e_W02D02_bit_6 -F_0x2e_W02D02_bit_5 -F_0x2e_W02D02_bit_4 -F_0x2e_W02D02_bit_3 -F_0x2e_W02D02_bit_2 -F_0x2e_W02D02_bit_1 F_0x2e_W02D02_bit0 F_0x2e_W02D02_bit1 F_0x2e_W02D02_bit2 F_0x2e_W02D02_bit3 -F_0x2e_W02D02_bit4 -F_0x2e_W02D02_bit5 -F_0x2e_W02D02_bit6 -F_0x2e_W02D02_bit7 -F_0x2e_W02D02_bit8 -F_0x2e_W02D02_bit9 -F_0x2e_W02D02_bit10 -F_0x2e_W02D02_bit11 -F_0x2e_W02D02_bit12 -F_0x2e_W02D02_bit13 -F_0x2e_W02D02_bit14 -F_0x2e_W02D02_bit15 -F_0x2e_W02D02_bit16 -F_0x2e_W02D02_bit17 -F_0x2e_W02D02_bit18 -F_0x2e_W02D02_bit19 -F_0x2e_D02D02_bit_10 -F_0x2e_D02D02_bit_9 -F_0x2e_D02D02_bit_8 -F_0x2e_D02D02_bit_7 -F_0x2e_D02D02_bit_6 -F_0x2e_D02D02_bit_5 -F_0x2e_D02D02_bit_4 -F_0x2e_D02D02_bit_3 -F_0x2e_D02D02_bit_2 -F_0x2e_D02D02_bit_1 F_0x2e_D02D02_bit0 F_0x2e_D02D02_bit1 F_0x2e_D02D02_bit2 F_0x2e_D02D02_bit3 -F_0x2e_D02D02_bit4 -F_0x2e_D02D02_bit5 -F_0x2e_D02D02_bit6 -F_0x2e_D02D02_bit7 -F_0x2e_D02D02_bit8 -F_0x2e_D02D02_bit9 -F_0x2e_D02D02_bit10 -F_0x2e_D02D02_bit11 -F_0x2e_D02D02_bit12 -F_0x2e_D02D02_bit13 -F_0x2e_D02D02_bit14 -F_0x2e_D02D02_bit15 -F_0x2e_D02D02_bit16 -F_0x2e_D02D02_bit17 -F_0x2e_D02D02_bit18 -F_0x2e_D02D02_bit19 -F_0x2e_W03D03_bit_10 -F_0x2e_W03D03_bit_9 -F_0x2e_W03D03_bit_8 -F_0x2e_W03D03_bit_7 -F_0x2e_W03D03_bit_6 -F_0x2e_W03D03_bit_5 -F_0x2e_W03D03_bit_4 -F_0x2e_W03D03_bit_3 -F_0x2e_W03D03_bit_2 -F_0x2e_W03D03_bit_1 -F_0x2e_W03D03_bit0 -F_0x2e_W03D03_bit1 -F_0x2e_W03D03_bit2 -F_0x2e_W03D03_bit3 -F_0x2e_W03D03_bit4 -F_0x2e_W03D03_bit5 -F_0x2e_W03D03_bit6 -F_0x2e_W03D03_bit7 -F_0x2e_W03D03_bit8 -F_0x2e_W03D03_bit9 -F_0x2e_W03D03_bit10 -F_0x2e_W03D03_bit11 -F_0x2e_W03D03_bit12 -F_0x2e_W03D03_bit13 -F_0x2e_W03D03_bit14 -F_0x2e_W03D03_bit15 -F_0x2e_W03D03_bit16 -F_0x2e_W03D03_bit17 -F_0x2e_W03D03_bit18 -F_0x2e_W03D03_bit19 -F_0x2e_D03D03_bit_10 -F_0x2e_D03D03_bit_9 -F_0x2e_D03D03_bit_8 -F_0x2e_D03D03_bit_7 -F_0x2e_D03D03_bit_6 -F_0x2e_D03D03_bit_5 -F_0x2e_D03D03_bit_4 -F_0x2e_D03D03_bit_3 -F_0x2e_D03D03_bit_2 -F_0x2e_D03D03_bit_1 F_0x2e_D03D03_bit0 F_0x2e_D03D03_bit1 F_0x2e_D03D03_bit2 F_0x2e_D03D03_bit3 -F_0x2e_D03D03_bit4 -F_0x2e_D03D03_bit5 -F_0x2e_D03D03_bit6 -F_0x2e_D03D03_bit7 -F_0x2e_D03D03_bit8 -F_0x2e_D03D03_bit9 -F_0x2e_D03D03_bit10 -F_0x2e_D03D03_bit11 -F_0x2e_D03D03_bit12 -F_0x2e_D03D03_bit13 -F_0x2e_D03D03_bit14 -F_0x2e_D03D03_bit15 -F_0x2e_D03D03_bit16 -F_0x2e_D03D03_bit17 -F_0x2e_D03D03_bit18 -F_0x2e_D03D03_bit19 -F_0x2e_F01W03_bit_10 -F_0x2e_F01W03_bit_9 -F_0x2e_F01W03_bit_8 -F_0x2e_F01W03_bit_7 -F_0x2e_F01W03_bit_6 -F_0x2e_F01W03_bit_5 -F_0x2e_F01W03_bit_4 -F_0x2e_F01W03_bit_3 -F_0x2e_F01W03_bit_2 -F_0x2e_F01W03_bit_1 -F_0x2e_F01W03_bit0 -F_0x2e_F01W03_bit1 -F_0x2e_F01W03_bit2 -F_0x2e_F01W03_bit3 -F_0x2e_F01W03_bit4 -F_0x2e_F01W03_bit5 -F_0x2e_F01W03_bit6 -F_0x2e_F01W03_bit7 -F_0x2e_F01W03_bit8 -F_0x2e_F01W03_bit9 -F_0x2e_F01W03_bit10 -F_0x2e_F01W03_bit11 -F_0x2e_F01W03_bit12 -F_0x2e_F01W03_bit13 -F_0x2e_F01W03_bit14 -F_0x2e_F01W03_bit15 -F_0x2e_F01W03_bit16 -F_0x2e_F01W03_bit17 -F_0x2e_F01W03_bit18 -F_0x2e_F01W03_bit19 -F_0x2e_F02W01_bit_10 -F_0x2e_F02W01_bit_9 -F_0x2e_F02W01_bit_8 -F_0x2e_F02W01_bit_7 -F_0x2e_F02W01_bit_6 -F_0x2e_F02W01_bit_5 -F_0x2e_F02W01_bit_4 -F_0x2e_F02W01_bit_3 -F_0x2e_F02W01_bit_2 -F_0x2e_F02W01_bit_1 -F_0x2e_F02W01_bit0 -F_0x2e_F02W01_bit1 -F_0x2e_F02W01_bit2 -F_0x2e_F02W01_bit3 -F_0x2e_F02W01_bit4 -F_0x2e_F02W01_bit5 -F_0x2e_F02W01_bit6 -F_0x2e_F02W01_bit7 -F_0x2e_F02W01_bit8 -F_0x2e_F02W01_bit9 -F_0x2e_F02W01_bit10 -F_0x2e_F02W01_bit11 -F_0x2e_F02W01_bit12 -F_0x2e_F02W01_bit13 -F_0x2e_F02W01_bit14 -F_0x2e_F02W01_bit15 -F_0x2e_F02W01_bit16 -F_0x2e_F02W01_bit17 -F_0x2e_F02W01_bit18 -F_0x2e_F02W01_bit19 -F_0x2e_F03W02_bit_10 -F_0x2e_F03W02_bit_9 -F_0x2e_F03W02_bit_8 -F_0x2e_F03W02_bit_7 -F_0x2e_F03W02_bit_6 -F_0x2e_F03W02_bit_5 -F_0x2e_F03W02_bit_4 -F_0x2e_F03W02_bit_3 -F_0x2e_F03W02_bit_2 -F_0x2e_F03W02_bit_1 F_0x2e_F03W02_bit0 -F_0x2e_F03W02_bit1 F_0x2e_F03W02_bit2 F_0x2e_F03W02_bit3 -F_0x2e_F03W02_bit4 F_0x2e_F03W02_bit5 -F_0x2e_F03W02_bit6 -F_0x2e_F03W02_bit7 -F_0x2e_F03W02_bit8 -F_0x2e_F03W02_bit9 -F_0x2e_F03W02_bit10 -F_0x2e_F03W02_bit11 -F_0x2e_F03W02_bit12 -F_0x2e_F03W02_bit13 -F_0x2e_F03W02_bit14 -F_0x2e_F03W02_bit15 -F_0x2e_F03W02_bit16 -F_0x2e_F03W02_bit17 -F_0x2e_F03W02_bit18 -F_0x2e_F03W02_bit19 -F_0x2e_W01W01_bit_10 -F_0x2e_W01W01_bit_9 -F_0x2e_W01W01_bit_8 -F_0x2e_W01W01_bit_7 -F_0x2e_W01W01_bit_6 -F_0x2e_W01W01_bit_5 -F_0x2e_W01W01_bit_4 -F_0x2e_W01W01_bit_3 -F_0x2e_W01W01_bit_2 -F_0x2e_W01W01_bit_1 -F_0x2e_W01W01_bit0 -F_0x2e_W01W01_bit1 -F_0x2e_W01W01_bit2 -F_0x2e_W01W01_bit3 -F_0x2e_W01W01_bit4 -F_0x2e_W01W01_bit5 -F_0x2e_W01W01_bit6 -F_0x2e_W01W01_bit7 -F_0x2e_W01W01_bit8 -F_0x2e_W01W01_bit9 -F_0x2e_W01W01_bit10 -F_0x2e_W01W01_bit11 -F_0x2e_W01W01_bit12 -F_0x2e_W01W01_bit13 -F_0x2e_W01W01_bit14 -F_0x2e_W01W01_bit15 -F_0x2e_W01W01_bit16 -F_0x2e_W01W01_bit17 -F_0x2e_W01W01_bit18 -F_0x2e_W01W01_bit19 -F_0x2e_W02W02_bit_10 -F_0x2e_W02W02_bit_9 -F_0x2e_W02W02_bit_8 -F_0x2e_W02W02_bit_7 -F_0x2e_W02W02_bit_6 -F_0x2e_W02W02_bit_5 -F_0x2e_W02W02_bit_4 -F_0x2e_W02W02_bit_3 -F_0x2e_W02W02_bit_2 -F_0x2e_W02W02_bit_1 F_0x2e_W02W02_bit0 -F_0x2e_W02W02_bit1 F_0x2e_W02W02_bit2 F_0x2e_W02W02_bit3 -F_0x2e_W02W02_bit4 F_0x2e_W02W02_bit5 -F_0x2e_W02W02_bit6 -F_0x2e_W02W02_bit7 -F_0x2e_W02W02_bit8 -F_0x2e_W02W02_bit9 -F_0x2e_W02W02_bit10 -F_0x2e_W02W02_bit11 -F_0x2e_W02W02_bit12 -F_0x2e_W02W02_bit13 -F_0x2e_W02W02_bit14 -F_0x2e_W02W02_bit15 -F_0x2e_W02W02_bit16 -F_0x2e_W02W02_bit17 -F_0x2e_W02W02_bit18 -F_0x2e_W02W02_bit19 -F_0x2e_W03W03_bit_10 -F_0x2e_W03W03_bit_9 -F_0x2e_W03W03_bit_8 -F_0x2e_W03W03_bit_7 -F_0x2e_W03W03_bit_6 -F_0x2e_W03W03_bit_5 -F_0x2e_W03W03_bit_4 -F_0x2e_W03W03_bit_3 -F_0x2e_W03W03_bit_2 -F_0x2e_W03W03_bit_1 -F_0x2e_W03W03_bit0 -F_0x2e_W03W03_bit1 -F_0x2e_W03W03_bit2 -F_0x2e_W03W03_bit3 -F_0x2e_W03W03_bit4 -F_0x2e_W03W03_bit5 -F_0x2e_W03W03_bit6 -F_0x2e_W03W03_bit7 -F_0x2e_W03W03_bit8 -F_0x2e_W03W03_bit9 -F_0x2e_W03W03_bit10 -F_0x2e_W03W03_bit11 -F_0x2e_W03W03_bit12 -F_0x2e_W03W03_bit13 -F_0x2e_W03W03_bit14 -F_0x2e_W03W03_bit15 -F_0x2e_W03W03_bit16 -F_0x2e_W03W03_bit17 -F_0x2e_W03W03_bit18 -F_0x2e_W03W03_bit19
c _______________________________________________________________________________
c 
c restarts              : 46
c conflicts             : 7474           (134 /sec)
c decisions             : 47326          (852 /sec)
c propagations          : 0              (0 /sec)
c inspects              : 0              (0 /sec)
c CPU time              : 55.5696 s
c _______________________________________________________________________________
#### 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.97 0.99 2/54 24135
Raw data (stat): 24135 (runsolver) R 24134 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 841215749 1052672 99 4294967295 134512640 135381576 3221224480 3221219688 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99982 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 24139
Raw data (stat): 24135 (minisat+_script) S 24134 4613 4612 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 841215749 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 24139
Raw data (stat): 24135 (minisat+_script) S 24134 4613 4612 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 841215749 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 24139
Raw data (stat): 24135 (minisat+_script) S 24134 4613 4612 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 841215749 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 24139
Raw data (stat): 24135 (minisat+_script) S 24134 4613 4612 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 841215749 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 24139
Raw data (stat): 24135 (minisat+_script) S 24134 4613 4612 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 841215749 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 2124
[startup+55.8702 s]
Raw data (loadavg): 0.96 0.97 0.99 1/53 24139
Raw data (stat): 24135 (minisat+_script) S 24134 4613 4612 0 -1 0 274 239 0 0 0 0 0 0 19 0 1 0 841215749 2174976 226 4294967295 134512640 135087896 3221224544 3221223816 1074634510 0 65536 5 65538 3222414538 0 0 17 1 0 0
Raw data (statm): 531 226 485 147 0 384 0
vsize: 0

Child status: 30
Real time (s): 55.8697
CPU time (s): 55.8465
CPU user time (s): 55.6205
CPU system time (s): 0.225965
CPU usage (%): 99.9585
Max. virtual memory (Kb): 2124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	384000
#### END VERIFIER DATA ####