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-vpm1.opb
MD5SUM	9d68724ddc6098af63bcc619f21688cc
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	168
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	819200
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	4941871
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	459.704
Number of variables	2754
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	82
Trace number 21922

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        312544 kB
Buffers:         33032 kB
Cached:         665540 kB
SwapCached:       3324 kB
Active:         354616 kB
Inactive:       348760 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        312292 kB
SwapTotal:     2097136 kB
SwapFree:      2092928 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            13144 kB
Committed_AS:    71780 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 01:46:06 (client local time) WITH STATUS 30 IN 459.704 SECONDS
stats: 12375 0 459.704 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 486 PB-constraints to clauses...
c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppp
c   -- Detecting intervals from adjacent constraints: ##############################
c   -- Clauses(.)/Splits(s): (none)
c ---[ 485]---> BDD-cost:   10
c ---[ 484]---> BDD-cost:   10
c ---[ 483]---> BDD-cost:   10
c ---[ 482]---> BDD-cost:   10
c ---[ 481]---> BDD-cost:   10
c ---[ 480]---> BDD-cost:   10
c ---[ 479]---> BDD-cost:   10
c ---[ 478]---> BDD-cost:   10
c ---[ 477]---> BDD-cost:   10
c ---[ 474]---> BDD-cost:   10
c ---[ 473]---> BDD-cost:   10
c ---[ 472]---> BDD-cost:   10
c ---[ 471]---> BDD-cost:   10
c ---[ 468]---> BDD-cost:   10
c ---[ 467]---> BDD-cost:   10
c ---[ 466]---> BDD-cost:   10
c ---[ 465]---> BDD-cost:   10
c ---[ 462]---> BDD-cost:   10
c ---[ 459]---> BDD-cost:   10
c ---[ 458]---> BDD-cost:   10
c ---[ 457]---> BDD-cost:   10
c ---[ 454]---> BDD-cost:   10
c ---[ 453]---> BDD-cost:   10
c ---[ 452]---> BDD-cost:   10
c ---[ 451]---> BDD-cost:   10
c ---[ 450]---> BDD-cost:   10
c ---[ 448]---> BDD-cost:   10
c ---[ 447]---> BDD-cost:   10
c ---[ 446]---> BDD-cost:   10
c ---[ 445]---> BDD-cost:   10
c ---[ 444]---> BDD-cost:   10
c ---[ 441]---> BDD-cost:   10
c ---[ 440]---> BDD-cost:   10
c ---[ 439]---> BDD-cost:   10
c ---[ 433]---> BDD-cost:   10
c ---[ 427]---> BDD-cost:   10
c ---[ 422]---> BDD-cost:   10
c ---[ 421]---> BDD-cost:   10
c ---[ 415]---> BDD-cost:   10
c ---[ 409]---> BDD-cost:   10
c ---[ 408]---> BDD-cost:   10
c ---[ 402]---> BDD-cost:   10
c ---[ 397]---> BDD-cost:   10
c ---[ 396]---> BDD-cost:   10
c ---[ 391]---> BDD-cost:   10
c ---[ 390]---> BDD-cost:   10
c ---[ 386]---> BDD-cost:   10
c ---[ 385]---> BDD-cost:   10
c ---[ 384]---> BDD-cost:   10
c ---[ 380]---> BDD-cost:   10
c ---[ 379]---> BDD-cost:   10
c ---[ 378]---> BDD-cost:   10
c ---[ 374]---> BDD-cost:   10
c ---[ 373]---> BDD-cost:   10
c ---[ 372]---> BDD-cost:   10
c ---[ 368]---> BDD-cost:   10
c ---[ 367]---> BDD-cost:   10
c ---[ 366]---> BDD-cost:   10
c ---[ 365]---> BDD-cost:   10
c ---[ 364]---> BDD-cost:   10
c ---[ 359]---> BDD-cost:   10
c ---[ 353]---> BDD-cost:   10
c ---[ 347]---> BDD-cost:   10
c ---[ 339]---> BDD-cost:   10
c ---[ 333]---> BDD-cost:   10
c ---[ 327]---> BDD-cost:   10
c ---[ 321]---> BDD-cost:   10
c ---[ 317]---> BDD-cost:   17
c ---[ 316]---> BDD-cost:   17
c ---[ 315]---> BDD-cost:   17
c ---[ 314]---> BDD-cost:   17
c ---[ 313]---> BDD-cost:   17
c ---[ 312]---> BDD-cost:   17
c ---[ 310]---> BDD-cost:   17
c ---[ 309]---> BDD-cost:   17
c ---[ 308]---> BDD-cost:   17
c ---[ 307]---> BDD-cost:   17
c ---[ 306]---> BDD-cost:   17
c ---[ 302]---> BDD-cost:   16
c ---[ 301]---> BDD-cost:   16
c ---[ 300]---> BDD-cost:   16
c ---[ 295]---> BDD-cost:   16
c ---[ 294]---> BDD-cost:   16
c ---[ 290]---> BDD-cost:   18
c ---[ 289]---> BDD-cost:   18
c ---[ 288]---> BDD-cost:   18
c ---[ 287]---> BDD-cost:   16
c ---[ 286]---> BDD-cost:   16
c ---[ 285]---> BDD-cost:   16
c ---[ 284]---> BDD-cost:   16
c ---[ 283]---> BDD-cost:   16
c ---[ 282]---> BDD-cost:   16
c ---[ 280]---> BDD-cost:   16
c ---[ 279]---> BDD-cost:   16
c ---[ 278]---> BDD-cost:   16
c ---[ 277]---> BDD-cost:   16
c ---[ 276]---> BDD-cost:   16
c ---[ 274]---> BDD-cost:11304
c ---[ 264]---> BDD-cost:10343
c ---[ 260]---> BDD-cost:19664
c ---[ 258]---> BDD-cost:19664
c ---[ 256]---> BDD-cost:16439
c ---[ 254]---> BDD-cost:16439
c ---[ 252]---> BDD-cost:20156
c ---[ 250]---> BDD-cost: 4480
c ---[ 248]---> BDD-cost: 7193
c ---[ 246]---> BDD-cost: 7455
c ---[ 244]---> BDD-cost: 7455
c ---[ 242]---> BDD-cost: 6299
c ---[ 236]---> BDD-cost: 8137
c ---[ 234]---> BDD-cost:15538
c ---[ 232]---> BDD-cost:11932
c ---[ 224]---> BDD-cost: 9270
c ---[ 222]---> BDD-cost:17235
c ---[ 216]---> BDD-cost: 5723
c ---[ 214]---> BDD-cost: 7949
c ---[ 212]---> BDD-cost: 8185
c ---[ 210]---> BDD-cost:18332
c ---[ 208]---> BDD-cost:13927
c ---[ 206]---> BDD-cost:13927
c ---[ 204]---> BDD-cost:13927
c ---[ 202]---> BDD-cost:13927
c ---[ 200]---> BDD-cost:12600
c ---[ 198]---> BDD-cost:22214
c ---[ 196]---> BDD-cost:16579
c ---[ 194]---> BDD-cost:16579
c ---[ 192]---> BDD-cost:16579
c ---[ 191]---> BDD-cost:   48
c ---[ 190]---> BDD-cost:  183
c ---[ 189]---> BDD-cost:  182
c ---[ 188]---> BDD-cost:  393
c ---[ 187]---> BDD-cost:  533
c ---[ 186]---> BDD-cost:  526
c ---[ 185]---> BDD-cost:   48
c ---[ 184]---> BDD-cost:  183
c ---[ 183]---> BDD-cost:  182
c ---[ 182]---> BDD-cost:  391
c ---[ 181]---> BDD-cost:  529
c ---[ 180]---> BDD-cost:  528
c ---[ 179]---> BDD-cost:   48
c ---[ 178]---> BDD-cost:  183
c ---[ 177]---> BDD-cost:  177
c ---[ 176]---> BDD-cost:  388
c ---[ 175]---> BDD-cost:  526
c ---[ 174]---> BDD-cost:  523
c ---[ 173]---> BDD-cost:   48
c ---[ 172]---> BDD-cost:  181
c ---[ 171]---> BDD-cost:  177
c ---[ 170]---> BDD-cost:  381
c ---[ 169]---> BDD-cost:  521
c ---[ 168]---> BDD-cost:  516
c ---[ 167]---> BDD-cost:    3
c ---[ 166]---> BDD-cost:    3
c ---[ 165]---> BDD-cost:    3
c ---[ 164]---> BDD-cost:    3
c ---[ 163]---> BDD-cost:    3
c ---[ 162]---> BDD-cost:    3
c ---[ 161]---> BDD-cost:    3
c ---[ 160]---> BDD-cost:    3
c ---[ 159]---> BDD-cost:    3
c ---[ 158]---> BDD-cost:   10
c ---[ 157]---> BDD-cost:   10
c ---[ 156]---> BDD-cost:    3
c ---[ 155]---> BDD-cost:    3
c ---[ 154]---> BDD-cost:    3
c ---[ 153]---> BDD-cost:    3
c ---[ 152]---> BDD-cost:   10
c ---[ 151]---> BDD-cost:   10
c ---[ 150]---> BDD-cost:    3
c ---[ 149]---> BDD-cost:    3
c ---[ 148]---> BDD-cost:    3
c ---[ 147]---> BDD-cost:    3
c ---[ 146]---> BDD-cost:   10
c ---[ 145]---> BDD-cost:   10
c ---[ 144]---> BDD-cost:    3
c ---[ 142]---> BDD-cost:   10
c ---[ 141]---> BDD-cost:    3
c ---[ 140]---> BDD-cost:    3
c ---[ 139]---> BDD-cost:    3
c ---[ 138]---> BDD-cost:   10
c ---[ 136]---> BDD-cost:    3
c ---[ 135]---> BDD-cost:    3
c ---[ 134]---> BDD-cost:    3
c ---[ 133]---> BDD-cost:    3
c ---[ 132]---> BDD-cost:    3
c ---[ 130]---> BDD-cost:    3
c ---[ 129]---> BDD-cost:    3
c ---[ 128]---> BDD-cost:    3
c ---[ 127]---> BDD-cost:    3
c ---[ 126]---> BDD-cost:    3
c ---[ 124]---> BDD-cost:   10
c ---[ 123]---> BDD-cost:    3
c ---[ 122]---> BDD-cost:    3
c ---[ 121]---> BDD-cost:    3
c ---[ 120]---> BDD-cost:   10
c ---[ 116]---> BDD-cost:   10
c ---[ 115]---> BDD-cost:    3
c ---[ 114]---> BDD-cost:    9
c ---[ 110]---> BDD-cost:   10
c ---[ 109]---> BDD-cost:    3
c ---[ 108]---> BDD-cost:    9
c ---[ 104]---> BDD-cost:    3
c ---[ 103]---> BDD-cost:    3
c ---[ 102]---> BDD-cost:    9
c ---[  98]---> BDD-cost:   10
c ---[  97]---> BDD-cost:    3
c ---[  96]---> BDD-cost:    9
c ---[  91]---> BDD-cost:    3
c ---[  90]---> BDD-cost:    3
c ---[  85]---> BDD-cost:   10
c ---[  84]---> BDD-cost:    3
c ---[  79]---> BDD-cost:    3
c ---[  78]---> BDD-cost:    3
c ---[  73]---> BDD-cost:    3
c ---[  72]---> BDD-cost:    3
c ---[  68]---> BDD-cost:    3
c ---[  67]---> BDD-cost:    3
c ---[  66]---> BDD-cost:    3
c ---[  62]---> BDD-cost:    3
c ---[  61]---> BDD-cost:    3
c ---[  60]---> BDD-cost:    3
c ---[  56]---> BDD-cost:    3
c ---[  55]---> BDD-cost:    3
c ---[  54]---> BDD-cost:    3
c ---[  50]---> BDD-cost:    3
c ---[  49]---> BDD-cost:    3
c ---[  48]---> BDD-cost:    3
c ---[  47]---> BDD-cost:    3
c ---[  46]---> BDD-cost:    3
c ---[  45]---> BDD-cost:    9
c ---[  44]---> BDD-cost:    9
c ---[  43]---> BDD-cost:    9
c ---[  42]---> BDD-cost:    9
c ---[  41]---> BDD-cost:    3
c ---[  40]---> BDD-cost:   10
c ---[  39]---> BDD-cost:    9
c ---[  38]---> BDD-cost:    9
c ---[  37]---> BDD-cost:    9
c ---[  36]---> BDD-cost:    9
c ---[  35]---> BDD-cost:    3
c ---[  34]---> BDD-cost:   10
c ---[  33]---> BDD-cost:    8
c ---[  32]---> BDD-cost:    8
c ---[  31]---> BDD-cost:    8
c ---[  30]---> BDD-cost:    8
c ---[  29]---> BDD-cost:    3
c ---[  28]---> BDD-cost:   10
c ---[  27]---> BDD-cost:    8
c ---[  26]---> BDD-cost:    8
c ---[  25]---> BDD-cost:    8
c ---[  24]---> BDD-cost:    8
c ---[  22]---> BDD-cost:   10
c ---[  21]---> BDD-cost:    3
c ---[  20]---> BDD-cost:    9
c ---[  19]---> BDD-cost:    9
c ---[  18]---> BDD-cost:    9
c ---[  16]---> BDD-cost:   10
c ---[  15]---> BDD-cost:    3
c ---[  14]---> BDD-cost:    9
c ---[  13]---> BDD-cost:    9
c ---[  12]---> BDD-cost:    9
c ---[  10]---> BDD-cost:   10
c ---[   9]---> BDD-cost:    3
c ---[   8]---> BDD-cost:    9
c ---[   7]---> BDD-cost:    9
c ---[   6]---> BDD-cost:    9
c ---[   4]---> BDD-cost:   10
c ---[   3]---> BDD-cost:    3
c ---[   2]---> BDD-cost:    8
c ---[   1]---> BDD-cost:    8
c ---[   0]---> BDD-cost:    8
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 | 1064428  2983038 |  354809       0        0     nan |  0.000 % |
c |       101 | 1064428  2983038 |  390289     101     1411    14.0 |  0.287 % |
c |       252 | 1064405  2982982 |  429318     251     5086    20.3 |  0.289 % |
c |       484 | 1064405  2982982 |  472250     483    14766    30.6 |  0.289 % |
c |       821 | 1064371  2982907 |  519475     818    31235    38.2 |  0.291 % |
c |      1327 | 1064371  2982907 |  571423    1324    56402    42.6 |  0.291 % |
c |      2087 | 1064371  2982907 |  628565    2084    93124    44.7 |  0.291 % |
c |      3227 | 1064371  2982907 |  691422    3224   229052    71.0 |  0.291 % |
c ==============================================================================
c [1mFound solution: 102[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost: 4788     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      4742 | 1069732  2995486 |  356577    4737   343356    72.5 |  0.291 % |
c |      4842 | 1069732  2995486 |  392234    4837   349077    72.2 |  0.292 % |
c |      4993 | 1069709  2995430 |  431458    4987   354854    71.2 |  0.294 % |
c |      5218 | 1069709  2995430 |  474603    5212   369906    71.0 |  0.294 % |
c |      5556 | 1069709  2995430 |  522064    5550   388056    69.9 |  0.294 % |
c |      6062 | 1069709  2995430 |  574270    6056   412355    68.1 |  0.294 % |
c |      6823 | 1069709  2995430 |  631697    6817   443394    65.0 |  0.294 % |
c ==============================================================================
c [1mFound solution: 85[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      7153 | 1069903  2995932 |  356634    7147   482337    67.5 |  0.294 % |
c |      7253 | 1069903  2995932 |  392297    7247   484924    66.9 |  0.294 % |
c |      7403 | 1069903  2995932 |  431527    7397   492206    66.5 |  0.294 % |
c |      7629 | 1069903  2995932 |  474679    7623   498211    65.4 |  0.294 % |
c |      7966 | 1069903  2995932 |  522147    7960   505737    63.5 |  0.294 % |
c |      8472 | 1069903  2995932 |  574362    8466   528606    62.4 |  0.294 % |
c |      9231 | 1069903  2995932 |  631798    9225   551585    59.8 |  0.294 % |
c |     10371 | 1069903  2995932 |  694978   10365   581101    56.1 |  0.294 % |
c |     12081 | 1069903  2995932 |  764476   12075   639307    52.9 |  0.294 % |
c |     14644 | 1069903  2995932 |  840924   14638   768332    52.5 |  0.294 % |
c |     18488 | 1069880  2995879 |  925016   18481  1071044    58.0 |  0.295 % |
c ==============================================================================
c [1mFound solution: 72[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     19339 | 1069976  2996130 |  356658   19332  1118282    57.8 |  0.295 % |
c |     19439 | 1069976  2996130 |  392323   19432  1120757    57.7 |  0.300 % |
c |     19589 | 1069976  2996130 |  431556   19582  1131373    57.8 |  0.300 % |
c |     19815 | 1069976  2996130 |  474711   19808  1138553    57.5 |  0.300 % |
c |     20153 | 1069976  2996130 |  522182   20146  1146953    56.9 |  0.300 % |
c |     20660 | 1069976  2996130 |  574401   20653  1169732    56.6 |  0.300 % |
c |     21420 | 1069976  2996130 |  631841   21413  1196886    55.9 |  0.300 % |
c |     22560 | 1069976  2996130 |  695025   22553  1273278    56.5 |  0.300 % |
c ==============================================================================
c [1mFound solution: 61[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     22601 | 1070084  2996407 |  356694   22594  1274390    56.4 |  0.300 % |
c |     22702 | 1070084  2996407 |  392363   22695  1284036    56.6 |  0.300 % |
c |     22852 | 1070084  2996407 |  431599   22845  1288102    56.4 |  0.300 % |
c |     23078 | 1070084  2996407 |  474759   23071  1298007    56.3 |  0.300 % |
c |     23415 | 1070084  2996407 |  522235   23408  1311883    56.0 |  0.300 % |
c |     23921 | 1070084  2996407 |  574459   23914  1322201    55.3 |  0.300 % |
c |     24680 | 1070084  2996407 |  631905   24673  1361776    55.2 |  0.300 % |
c |     25822 | 1070082  2996403 |  695095   25814  1408491    54.6 |  0.300 % |
c |     27531 | 1070082  2996403 |  764605   27523  1485742    54.0 |  0.300 % |
c |     30093 | 1070082  2996403 |  841065   30085  1560953    51.9 |  0.300 % |
c ==============================================================================
c [1mFound solution: 59[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     30166 | 1070103  2996465 |  356701   30158  1563525    51.8 |  0.300 % |
c |     30266 | 1070103  2996465 |  392371   30258  1565269    51.7 |  0.300 % |
c ==============================================================================
c [1mFound solution: 41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     30368 | 1070230  2996778 |  356743   30360  1569810    51.7 |  0.300 % |
c |     30470 | 1070230  2996778 |  392417   30462  1572583    51.6 |  0.300 % |
c |     30620 | 1070230  2996778 |  431659   30612  1584320    51.8 |  0.300 % |
c ==============================================================================
c [1mFound solution: 31[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     30691 | 1070287  2996923 |  356762   30683  1585893    51.7 |  0.300 % |
c |     30791 | 1070287  2996923 |  392438   30783  1590717    51.7 |  0.301 % |
c |     30941 | 1070287  2996923 |  431682   30933  1599635    51.7 |  0.301 % |
c |     31166 | 1070281  2996911 |  474850   31156  1609082    51.6 |  0.301 % |
c |     31505 | 1070275  2996899 |  522335   31494  1616651    51.3 |  0.302 % |
c ==============================================================================
c [1mFound solution: 30[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     31639 | 1070257  2996835 |  356752   31575  1614381    51.1 |  0.302 % |
c |     31740 | 1070257  2996835 |  392427   31676  1618244    51.1 |  0.306 % |
c |     31890 | 1070257  2996835 |  431669   31826  1622737    51.0 |  0.306 % |
c |     32116 | 1070257  2996835 |  474836   32052  1630638    50.9 |  0.306 % |
c |     32456 | 1070257  2996835 |  522320   32392  1641335    50.7 |  0.306 % |
c |     32962 | 1070238  2996796 |  574552   32895  1660261    50.5 |  0.308 % |
c ==============================================================================
c [1mFound solution: 27[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     33570 | 1070245  2996824 |  356748   33450  1680322    50.2 |  0.308 % |
c |     33670 | 1070231  2996794 |  392422   33549  1683486    50.2 |  0.314 % |
c |     33820 | 1070231  2996794 |  431665   33699  1689976    50.1 |  0.314 % |
c |     34045 | 1070231  2996794 |  474831   33924  1697623    50.0 |  0.314 % |
c ==============================================================================
c [1mFound solution: 26[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     34356 | 1070206  2996724 |  356735   34212  1706102    49.9 |  0.314 % |
c |     34456 | 1070206  2996724 |  392408   34312  1708841    49.8 |  0.319 % |
c |     34607 | 1070206  2996724 |  431649   34463  1713443    49.7 |  0.319 % |
c |     34833 | 1070206  2996724 |  474814   34689  1719068    49.6 |  0.319 % |
c |     35172 | 1070206  2996724 |  522295   35028  1737834    49.6 |  0.319 % |
c |     35678 | 1070206  2996724 |  574525   35534  1751497    49.3 |  0.319 % |
c ==============================================================================
c [1mFound solution: 23[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     36174 | 1070218  2996759 |  356739   36001  1772104    49.2 |  0.319 % |
c |     36275 | 1070218  2996759 |  392412   36102  1775024    49.2 |  0.321 % |
c |     36425 | 1070218  2996759 |  431654   36252  1780126    49.1 |  0.321 % |
c |     36651 | 1070218  2996759 |  474819   36478  1788202    49.0 |  0.321 % |
c |     36990 | 1070218  2996759 |  522301   36817  1798678    48.9 |  0.321 % |
c |     37496 | 1070218  2996759 |  574531   37323  1813122    48.6 |  0.321 % |
c |     38256 | 1070166  2996645 |  631984   38069  1846096    48.5 |  0.329 % |
c ==============================================================================
c [1mFound solution: 21[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     38429 | 1070178  2996675 |  356726   38242  1852176    48.4 |  0.329 % |
c |     38529 | 1070145  2996596 |  392398   38335  1854745    48.4 |  0.335 % |
c ==============================================================================
c [1mFound solution: 20[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     38629 | 1069855  2995840 |  356618   37569  1808048    48.1 |  0.335 % |
c |     38729 | 1069855  2995840 |  392279   37669  1810576    48.1 |  0.383 % |
c |     38879 | 1069854  2995837 |  431507   37783  1811427    47.9 |  0.383 % |
c ==============================================================================
c [1mOptimal solution: 20[0m
s OPTIMUM FOUND
v -Y010101_0x2e__bit0 -Y010102_0x2e__bit0 -Y010103_0x2e__bit0 -Y010104_0x2e__bit0 -Y010105_0x2e__bit0 -Y010106_0x2e__bit0 -Y010201_0x2e__bit0 -Y010202_0x2e__bit0 -Y010203_0x2e__bit0 -Y010204_0x2e__bit0 -Y010205_0x2e__bit0 -Y010206_0x2e__bit0 Y010301_0x2e__bit0 -Y010302_0x2e__bit0 Y010303_0x2e__bit0 -Y010304_0x2e__bit0 -Y010305_0x2e__bit0 Y010306_0x2e__bit0 -Y010401_0x2e__bit0 Y010402_0x2e__bit0 -Y010403_0x2e__bit0 -Y010404_0x2e__bit0 -Y010405_0x2e__bit0 -Y010406_0x2e__bit0 -Y020101_0x2e__bit0 Y020102_0x2e__bit0 -Y020103_0x2e__bit0 -Y020104_0x2e__bit0 Y020105_0x2e__bit0 -Y020106_0x2e__bit0 -Y020201_0x2e__bit0 -Y020202_0x2e__bit0 -Y020203_0x2e__bit0 -Y020204_0x2e__bit0 -Y020205_0x2e__bit0 -Y020206_0x2e__bit0 -Y020301_0x2e__bit0 -Y020302_0x2e__bit0 -Y020303_0x2e__bit0 -Y020304_0x2e__bit0 -Y020305_0x2e__bit0 -Y020306_0x2e__bit0 -Y020401_0x2e__bit0 -Y020402_0x2e__bit0 -Y020403_0x2e__bit0 Y020404_0x2e__bit0 -Y020405_0x2e__bit0 -Y020406_0x2e__bit0 -Y030101_0x2e__bit0 -Y030102_0x2e__bit0 -Y030103_0x2e__bit0 Y030104_0x2e__bit0 -Y030105_0x2e__bit0 -Y030106_0x2e__bit0 -Y030201_0x2e__bit0 -Y030202_0x2e__bit0 -Y030203_0x2e__bit0 -Y030204_0x2e__bit0 -Y030205_0x2e__bit0 -Y030206_0x2e__bit0 -Y030301_0x2e__bit0 -Y030302_0x2e__bit0 -Y030303_0x2e__bit0 -Y030304_0x2e__bit0 Y030305_0x2e__bit0 -Y030306_0x2e__bit0 -Y030401_0x2e__bit0 -Y030402_0x2e__bit0 -Y030403_0x2e__bit0 -Y030404_0x2e__bit0 Y030405_0x2e__bit0 -Y030406_0x2e__bit0 -Y040101_0x2e__bit0 -Y040102_0x2e__bit0 -Y040103_0x2e__bit0 -Y040104_0x2e__bit0 -Y040105_0x2e__bit0 Y040106_0x2e__bit0 -Y040201_0x2e__bit0 -Y040202_0x2e__bit0 -Y040203_0x2e__bit0 -Y040204_0x2e__bit0 Y040205_0x2e__bit0 Y040206_0x2e__bit0 -Y040301_0x2e__bit0 -Y040302_0x2e__bit0 -Y040303_0x2e__bit0 -Y040304_0x2e__bit0 -Y040305_0x2e__bit0 -Y040306_0x2e__bit0 -Y040401_0x2e__bit0 -Y040402_0x2e__bit0 -Y040403_0x2e__bit0 -Y040404_0x2e__bit0 -Y040405_0x2e__bit0 -Y040406_0x2e__bit0 -Y050101_0x2e__bit0 -Y050102_0x2e__bit0 -Y050103_0x2e__bit0 -Y050104_0x2e__bit0 -Y050105_0x2e__bit0 -Y050106_0x2e__bit0 -Y050201_0x2e__bit0 -Y050202_0x2e__bit0 -Y050203_0x2e__bit0 Y050204_0x2e__bit0 -Y050205_0x2e__bit0 -Y050206_0x2e__bit0 -Y050301_0x2e__bit0 -Y050302_0x2e__bit0 -Y050303_0x2e__bit0 -Y050304_0x2e__bit0 -Y050305_0x2e__bit0 -Y050306_0x2e__bit0 -Y050401_0x2e__bit0 -Y050402_0x2e__bit0 -Y050403_0x2e__bit0 -Y050404_0x2e__bit0 -Y050405_0x2e__bit0 Y050406_0x2e__bit0 Y060101_0x2e__bit0 -Y060102_0x2e__bit0 -Y060103_0x2e__bit0 -Y060104_0x2e__bit0 -Y060105_0x2e__bit0 -Y060106_0x2e__bit0 -Y060201_0x2e__bit0 Y060202_0x2e__bit0 -Y060203_0x2e__bit0 -Y060204_0x2e__bit0 -Y060205_0x2e__bit0 -Y060206_0x2e__bit0 -Y060301_0x2e__bit0 -Y060302_0x2e__bit0 -Y060303_0x2e__bit0 -Y060304_0x2e__bit0 -Y060305_0x2e__bit0 -Y060306_0x2e__bit0 Y060401_0x2e__bit0 -Y060402_0x2e__bit0 -Y060403_0x2e__bit0 -Y060404_0x2e__bit0 -Y060405_0x2e__bit0 -Y060406_0x2e__bit0 -Y070101_0x2e__bit0 -Y070102_0x2e__bit0 -Y070103_0x2e__bit0 -Y070104_0x2e__bit0 -Y070105_0x2e__bit0 -Y070106_0x2e__bit0 -Y070201_0x2e__bit0 -Y070202_0x2e__bit0 Y070203_0x2e__bit0 -Y070204_0x2e__bit0 -Y070205_0x2e__bit0 -Y070206_0x2e__bit0 -Y070301_0x2e__bit0 Y070302_0x2e__bit0 -Y070303_0x2e__bit0 -Y070304_0x2e__bit0 -Y070305_0x2e__bit0 -Y070306_0x2e__bit0 -Y070401_0x2e__bit0 -Y070402_0x2e__bit0 -Y070403_0x2e__bit0 -Y070404_0x2e__bit0 -Y070405_0x2e__bit0 -Y070406_0x2e__bit0 -X010101_0x2e__bit_10 -X010101_0x2e__bit_9 -X010101_0x2e__bit_8 -X010101_0x2e__bit_7 -X010101_0x2e__bit_6 -X010101_0x2e__bit_5 -X010101_0x2e__bit_4 -X010101_0x2e__bit_3 -X010101_0x2e__bit_2 -X010101_0x2e__bit_1 -X010101_0x2e__bit0 -X010102_0x2e__bit_10 -X010102_0x2e__bit_9 -X010102_0x2e__bit_8 -X010102_0x2e__bit_7 -X010102_0x2e__bit_6 -X010102_0x2e__bit_5 -X010102_0x2e__bit_4 -X010102_0x2e__bit_3 -X010102_0x2e__bit_2 -X010102_0x2e__bit_1 -X010102_0x2e__bit0 -X010103_0x2e__bit_10 -X010103_0x2e__bit_9 -X010103_0x2e__bit_8 -X010103_0x2e__bit_7 -X010103_0x2e__bit_6 -X010103_0x2e__bit_5 -X010103_0x2e__bit_4 -X010103_0x2e__bit_3 -X010103_0x2e__bit_2 -X010103_0x2e__bit_1 -X010103_0x2e__bit0 -X010104_0x2e__bit_10 -X010104_0x2e__bit_9 -X010104_0x2e__bit_8 -X010104_0x2e__bit_7 -X010104_0x2e__bit_6 -X010104_0x2e__bit_5 -X010104_0x2e__bit_4 -X010104_0x2e__bit_3 -X010104_0x2e__bit_2 -X010104_0x2e__bit_1 -X010104_0x2e__bit0 -X010105_0x2e__bit_10 -X010105_0x2e__bit_9 -X010105_0x2e__bit_8 -X010105_0x2e__bit_7 -X010105_0x2e__bit_6 -X010105_0x2e__bit_5 -X010105_0x2e__bit_4 -X010105_0x2e__bit_3 -X010105_0x2e__bit_2 -X010105_0x2e__bit_1 -X010105_0x2e__bit0 -X010106_0x2e__bit_10 -X010106_0x2e__bit_9 -X010106_0x2e__bit_8 -X010106_0x2e__bit_7 -X010106_0x2e__bit_6 -X010106_0x2e__bit_5 -X010106_0x2e__bit_4 -X010106_0x2e__bit_3 -X010106_0x2e__bit_2 -X010106_0x2e__bit_1 -X010106_0x2e__bit0 -X010201_0x2e__bit_10 -X010201_0x2e__bit_9 -X010201_0x2e__bit_8 -X010201_0x2e__bit_7 -X010201_0x2e__bit_6 -X010201_0x2e__bit_5 -X010201_0x2e__bit_4 -X010201_0x2e__bit_3 -X010201_0x2e__bit_2 -X010201_0x2e__bit_1 -X010201_0x2e__bit0 -X010202_0x2e__bit_10 -X010202_0x2e__bit_9 -X010202_0x2e__bit_8 -X010202_0x2e__bit_7 -X010202_0x2e__bit_6 -X010202_0x2e__bit_5 -X010202_0x2e__bit_4 -X010202_0x2e__bit_3 -X010202_0x2e__bit_2 -X010202_0x2e__bit_1 -X010202_0x2e__bit0 -X010203_0x2e__bit_10 -X010203_0x2e__bit_9 -X010203_0x2e__bit_8 -X010203_0x2e__bit_7 -X010203_0x2e__bit_6 -X010203_0x2e__bit_5 -X010203_0x2e__bit_4 -X010203_0x2e__bit_3 -X010203_0x2e__bit_2 -X010203_0x2e__bit_1 -X010203_0x2e__bit0 -X010204_0x2e__bit_10 -X010204_0x2e__bit_9 -X010204_0x2e__bit_8 -X010204_0x2e__bit_7 -X010204_0x2e__bit_6 -X010204_0x2e__bit_5 -X010204_0x2e__bit_4 -X010204_0x2e__bit_3 -X010204_0x2e__bit_2 -X010204_0x2e__bit_1 -X010204_0x2e__bit0 -X010205_0x2e__bit_10 -X010205_0x2e__bit_9 -X010205_0x2e__bit_8 -X010205_0x2e__bit_7 -X010205_0x2e__bit_6 -X010205_0x2e__bit_5 -X010205_0x2e__bit_4 -X010205_0x2e__bit_3 -X010205_0x2e__bit_2 -X010205_0x2e__bit_1 -X010205_0x2e__bit0 -X010206_0x2e__bit_10 -X010206_0x2e__bit_9 -X010206_0x2e__bit_8 -X010206_0x2e__bit_7 -X010206_0x2e__bit_6 -X010206_0x2e__bit_5 -X010206_0x2e__bit_4 -X010206_0x2e__bit_3 -X010206_0x2e__bit_2 -X010206_0x2e__bit_1 -X010206_0x2e__bit0 -X010301_0x2e__bit_10 -X010301_0x2e__bit_9 -X010301_0x2e__bit_8 -X010301_0x2e__bit_7 -X010301_0x2e__bit_6 -X010301_0x2e__bit_5 -X010301_0x2e__bit_4 -X010301_0x2e__bit_3 -X010301_0x2e__bit_2 -X010301_0x2e__bit_1 X010301_0x2e__bit0 -X010302_0x2e__bit_10 -X010302_0x2e__bit_9 -X010302_0x2e__bit_8 -X010302_0x2e__bit_7 -X010302_0x2e__bit_6 -X010302_0x2e__bit_5 -X010302_0x2e__bit_4 -X010302_0x2e__bit_3 -X010302_0x2e__bit_2 -X010302_0x2e__bit_1 -X010302_0x2e__bit0 -X010303_0x2e__bit_10 -X010303_0x2e__bit_9 -X010303_0x2e__bit_8 -X010303_0x2e__bit_7 -X010303_0x2e__bit_6 -X010303_0x2e__bit_5 -X010303_0x2e__bit_4 -X010303_0x2e__bit_3 -X010303_0x2e__bit_2 -X010303_0x2e__bit_1 X010303_0x2e__bit0 -X010304_0x2e__bit_10 -X010304_0x2e__bit_9 -X010304_0x2e__bit_8 -X010304_0x2e__bit_7 -X010304_0x2e__bit_6 -X010304_0x2e__bit_5 -X010304_0x2e__bit_4 -X010304_0x2e__bit_3 -X010304_0x2e__bit_2 -X010304_0x2e__bit_1 -X010304_0x2e__bit0 -X010305_0x2e__bit_10 -X010305_0x2e__bit_9 -X010305_0x2e__bit_8 -X010305_0x2e__bit_7 -X010305_0x2e__bit_6 -X010305_0x2e__bit_5 -X010305_0x2e__bit_4 -X010305_0x2e__bit_3 -X010305_0x2e__bit_2 -X010305_0x2e__bit_1 -X010305_0x2e__bit0 -X010306_0x2e__bit_10 -X010306_0x2e__bit_9 -X010306_0x2e__bit_8 -X010306_0x2e__bit_7 -X010306_0x2e__bit_6 -X010306_0x2e__bit_5 -X010306_0x2e__bit_4 -X010306_0x2e__bit_3 -X010306_0x2e__bit_2 -X010306_0x2e__bit_1 X010306_0x2e__bit0 -X010401_0x2e__bit_10 -X010401_0x2e__bit_9 -X010401_0x2e__bit_8 -X010401_0x2e__bit_7 -X010401_0x2e__bit_6 -X010401_0x2e__bit_5 -X010401_0x2e__bit_4 -X010401_0x2e__bit_3 -X010401_0x2e__bit_2 -X010401_0x2e__bit_1 -X010401_0x2e__bit0 -X010402_0x2e__bit_10 -X010402_0x2e__bit_9 -X010402_0x2e__bit_8 -X010402_0x2e__bit_7 -X010402_0x2e__bit_6 -X010402_0x2e__bit_5 -X010402_0x2e__bit_4 -X010402_0x2e__bit_3 -X010402_0x2e__bit_2 -X010402_0x2e__bit_1 X010402_0x2e__bit0 -X010403_0x2e__bit_10 -X010403_0x2e__bit_9 -X010403_0x2e__bit_8 -X010403_0x2e__bit_7 -X010403_0x2e__bit_6 -X010403_0x2e__bit_5 -X010403_0x2e__bit_4 -X010403_0x2e__bit_3 -X010403_0x2e__bit_2 -X010403_0x2e__bit_1 -X010403_0x2e__bit0 -X010404_0x2e__bit_10 -X010404_0x2e__bit_9 -X010404_0x2e__bit_8 -X010404_0x2e__bit_7 -X010404_0x2e__bit_6 -X010404_0x2e__bit_5 -X010404_0x2e__bit_4 -X010404_0x2e__bit_3 -X010404_0x2e__bit_2 -X010404_0x2e__bit_1 -X010404_0x2e__bit0 -X010405_0x2e__bit_10 -X010405_0x2e__bit_9 -X010405_0x2e__bit_8 -X010405_0x2e__bit_7 -X010405_0x2e__bit_6 -X010405_0x2e__bit_5 -X010405_0x2e__bit_4 -X010405_0x2e__bit_3 -X010405_0x2e__bit_2 -X010405_0x2e__bit_1 -X010405_0x2e__bit0 -X010406_0x2e__bit_10 -X010406_0x2e__bit_9 -X010406_0x2e__bit_8 -X010406_0x2e__bit_7 -X010406_0x2e__bit_6 -X010406_0x2e__bit_5 -X010406_0x2e__bit_4 -X010406_0x2e__bit_3 -X010406_0x2e__bit_2 -X010406_0x2e__bit_1 -X010406_0x2e__bit0 -X020101_0x2e__bit_10 -X020101_0x2e__bit_9 -X020101_0x2e__bit_8 -X020101_0x2e__bit_7 -X020101_0x2e__bit_6 -X020101_0x2e__bit_5 -X020101_0x2e__bit_4 -X020101_0x2e__bit_3 -X020101_0x2e__bit_2 -X020101_0x2e__bit_1 -X020101_0x2e__bit0 -X020102_0x2e__bit_10 -X020102_0x2e__bit_9 -X020102_0x2e__bit_8 -X020102_0x2e__bit_7 -X020102_0x2e__bit_6 -X020102_0x2e__bit_5 -X020102_0x2e__bit_4 -X020102_0x2e__bit_3 X020102_0x2e__bit_2 X020102_0x2e__bit_1 -X020102_0x2e__bit0 -X020103_0x2e__bit_10 -X020103_0x2e__bit_9 -X020103_0x2e__bit_8 -X020103_0x2e__bit_7 -X020103_0x2e__bit_6 -X020103_0x2e__bit_5 -X020103_0x2e__bit_4 -X020103_0x2e__bit_3 -X020103_0x2e__bit_2 -X020103_0x2e__bit_1 -X020103_0x2e__bit0 -X020104_0x2e__bit_10 -X020104_0x2e__bit_9 -X020104_0x2e__bit_8 -X020104_0x2e__bit_7 -X020104_0x2e__bit_6 -X020104_0x2e__bit_5 -X020104_0x2e__bit_4 -X020104_0x2e__bit_3 -X020104_0x2e__bit_2 -X020104_0x2e__bit_1 -X020104_0x2e__bit0 -X020105_0x2e__bit_10 -X020105_0x2e__bit_9 -X020105_0x2e__bit_8 -X020105_0x2e__bit_7 -X020105_0x2e__bit_6 -X020105_0x2e__bit_5 -X020105_0x2e__bit_4 -X020105_0x2e__bit_3 -X020105_0x2e__bit_2 -X020105_0x2e__bit_1 X020105_0x2e__bit0 -X020106_0x2e__bit_10 -X020106_0x2e__bit_9 -X020106_0x2e__bit_8 -X020106_0x2e__bit_7 -X020106_0x2e__bit_6 -X020106_0x2e__bit_5 -X020106_0x2e__bit_4 -X020106_0x2e__bit_3 -X020106_0x2e__bit_2 -X020106_0x2e__bit_1 -X020106_0x2e__bit0 -X020201_0x2e__bit_10 -X020201_0x2e__bit_9 -X020201_0x2e__bit_8 -X020201_0x2e__bit_7 -X020201_0x2e__bit_6 -X020201_0x2e__bit_5 -X020201_0x2e__bit_4 -X020201_0x2e__bit_3 -X020201_0x2e__bit_2 -X020201_0x2e__bit_1 -X020201_0x2e__bit0 -X020202_0x2e__bit_10 -X020202_0x2e__bit_9 -X020202_0x2e__bit_8 -X020202_0x2e__bit_7 -X020202_0x2e__bit_6 -X020202_0x2e__bit_5 -X020202_0x2e__bit_4 -X020202_0x2e__bit_3 -X020202_0x2e__bit_2 -X020202_0x2e__bit_1 -X020202_0x2e__bit0 -X020203_0x2e__bit_10 -X020203_0x2e__bit_9 -X020203_0x2e__bit_8 -X020203_0x2e__bit_7 -X020203_0x2e__bit_6 -X020203_0x2e__bit_5 -X020203_0x2e__bit_4 -X020203_0x2e__bit_3 -X020203_0x2e__bit_2 -X020203_0x2e__bit_1 -X020203_0x2e__bit0 -X020204_0x2e__bit_10 -X020204_0x2e__bit_9 -X020204_0x2e__bit_8 -X020204_0x2e__bit_7 -X020204_0x2e__bit_6 -X020204_0x2e__bit_5 -X020204_0x2e__bit_4 -X020204_0x2e__bit_3 -X020204_0x2e__bit_2 -X020204_0x2e__bit_1 -X020204_0x2e__bit0 -X020205_0x2e__bit_10 -X020205_0x2e__bit_9 -X020205_0x2e__bit_8 -X020205_0x2e__bit_7 -X020205_0x2e__bit_6 -X020205_0x2e__bit_5 -X020205_0x2e__bit_4 -X020205_0x2e__bit_3 -X020205_0x2e__bit_2 -X020205_0x2e__bit_1 -X020205_0x2e__bit0 -X020206_0x2e__bit_10 -X020206_0x2e__bit_9 -X020206_0x2e__bit_8 -X020206_0x2e__bit_7 -X020206_0x2e__bit_6 -X020206_0x2e__bit_5 -X020206_0x2e__bit_4 -X020206_0x2e__bit_3 -X020206_0x2e__bit_2 -X020206_0x2e__bit_1 -X020206_0x2e__bit0 -X020301_0x2e__bit_10 -X020301_0x2e__bit_9 -X020301_0x2e__bit_8 -X020301_0x2e__bit_7 -X020301_0x2e__bit_6 -X020301_0x2e__bit_5 -X020301_0x2e__bit_4 -X020301_0x2e__bit_3 -X020301_0x2e__bit_2 -X020301_0x2e__bit_1 -X020301_0x2e__bit0 -X020302_0x2e__bit_10 -X020302_0x2e__bit_9 -X020302_0x2e__bit_8 -X020302_0x2e__bit_7 -X020302_0x2e__bit_6 -X020302_0x2e__bit_5 -X020302_0x2e__bit_4 -X020302_0x2e__bit_3 -X020302_0x2e__bit_2 -X020302_0x2e__bit_1 -X020302_0x2e__bit0 -X020303_0x2e__bit_10 -X020303_0x2e__bit_9 -X020303_0x2e__bit_8 -X020303_0x2e__bit_7 -X020303_0x2e__bit_6 -X020303_0x2e__bit_5 -X020303_0x2e__bit_4 -X020303_0x2e__bit_3 -X020303_0x2e__bit_2 -X020303_0x2e__bit_1 -X020303_0x2e__bit0 -X020304_0x2e__bit_10 -X020304_0x2e__bit_9 -X020304_0x2e__bit_8 -X020304_0x2e__bit_7 -X020304_0x2e__bit_6 -X020304_0x2e__bit_5 -X020304_0x2e__bit_4 -X020304_0x2e__bit_3 -X020304_0x2e__bit_2 -X020304_0x2e__bit_1 -X020304_0x2e__bit0 -X020305_0x2e__bit_10 -X020305_0x2e__bit_9 -X020305_0x2e__bit_8 -X020305_0x2e__bit_7 -X020305_0x2e__bit_6 -X020305_0x2e__bit_5 -X020305_0x2e__bit_4 -X020305_0x2e__bit_3 -X020305_0x2e__bit_2 -X020305_0x2e__bit_1 -X020305_0x2e__bit0 -X020306_0x2e__bit_10 -X020306_0x2e__bit_9 -X020306_0x2e__bit_8 -X020306_0x2e__bit_7 -X020306_0x2e__bit_6 -X020306_0x2e__bit_5 -X020306_0x2e__bit_4 -X020306_0x2e__bit_3 -X020306_0x2e__bit_2 -X020306_0x2e__bit_1 -X020306_0x2e__bit0 -X020401_0x2e__bit_10 -X020401_0x2e__bit_9 -X020401_0x2e__bit_8 -X020401_0x2e__bit_7 -X020401_0x2e__bit_6 -X020401_0x2e__bit_5 -X020401_0x2e__bit_4 -X020401_0x2e__bit_3 -X020401_0x2e__bit_2 -X020401_0x2e__bit_1 -X020401_0x2e__bit0 -X020402_0x2e__bit_10 -X020402_0x2e__bit_9 -X020402_0x2e__bit_8 -X020402_0x2e__bit_7 -X020402_0x2e__bit_6 -X020402_0x2e__bit_5 -X020402_0x2e__bit_4 -X020402_0x2e__bit_3 -X020402_0x2e__bit_2 -X020402_0x2e__bit_1 -X020402_0x2e__bit0 -X020403_0x2e__bit_10 -X020403_0x2e__bit_9 -X020403_0x2e__bit_8 -X020403_0x2e__bit_7 -X020403_0x2e__bit_6 -X020403_0x2e__bit_5 -X020403_0x2e__bit_4 -X020403_0x2e__bit_3 -X020403_0x2e__bit_2 -X020403_0x2e__bit_1 -X020403_0x2e__bit0 -X020404_0x2e__bit_10 -X020404_0x2e__bit_9 -X020404_0x2e__bit_8 -X020404_0x2e__bit_7 -X020404_0x2e__bit_6 -X020404_0x2e__bit_5 -X020404_0x2e__bit_4 -X020404_0x2e__bit_3 -X020404_0x2e__bit_2 -X020404_0x2e__bit_1 X020404_0x2e__bit0 -X020405_0x2e__bit_10 -X020405_0x2e__bit_9 -X020405_0x2e__bit_8 -X020405_0x2e__bit_7 -X020405_0x2e__bit_6 -X020405_0x2e__bit_5 -X020405_0x2e__bit_4 -X020405_0x2e__bit_3 -X020405_0x2e__bit_2 -X020405_0x2e__bit_1 -X020405_0x2e__bit0 -X020406_0x2e__bit_10 -X020406_0x2e__bit_9 -X020406_0x2e__bit_8 -X020406_0x2e__bit_7 -X020406_0x2e__bit_6 -X020406_0x2e__bit_5 -X020406_0x2e__bit_4 -X020406_0x2e__bit_3 -X020406_0x2e__bit_2 -X020406_0x2e__bit_1 -X020406_0x2e__bit0 -X030101_0x2e__bit_10 -X030101_0x2e__bit_9 -X030101_0x2e__bit_8 -X030101_0x2e__bit_7 -X030101_0x2e__bit_6 -X030101_0x2e__bit_5 -X030101_0x2e__bit_4 -X030101_0x2e__bit_3 -X030101_0x2e__bit_2 -X030101_0x2e__bit_1 -X030101_0x2e__bit0 -X030102_0x2e__bit_10 -X030102_0x2e__bit_9 -X030102_0x2e__bit_8 -X030102_0x2e__bit_7 -X030102_0x2e__bit_6 -X030102_0x2e__bit_5 -X030102_0x2e__bit_4 -X030102_0x2e__bit_3 -X030102_0x2e__bit_2 -X030102_0x2e__bit_1 -X030102_0x2e__bit0 -X030103_0x2e__bit_10 -X030103_0x2e__bit_9 -X030103_0x2e__bit_8 -X030103_0x2e__bit_7 -X030103_0x2e__bit_6 -X030103_0x2e__bit_5 -X030103_0x2e__bit_4 -X030103_0x2e__bit_3 -X030103_0x2e__bit_2 -X030103_0x2e__bit_1 -X030103_0x2e__bit0 -X030104_0x2e__bit_10 -X030104_0x2e__bit_9 -X030104_0x2e__bit_8 -X030104_0x2e__bit_7 -X030104_0x2e__bit_6 -X030104_0x2e__bit_5 -X030104_0x2e__bit_4 -X030104_0x2e__bit_3 -X030104_0x2e__bit_2 X030104_0x2e__bit_1 -X030104_0x2e__bit0 -X030105_0x2e__bit_10 -X030105_0x2e__bit_9 -X030105_0x2e__bit_8 -X030105_0x2e__bit_7 -X030105_0x2e__bit_6 -X030105_0x2e__bit_5 -X030105_0x2e__bit_4 -X030105_0x2e__bit_3 -X030105_0x2e__bit_2 -X030105_0x2e__bit_1 -X030105_0x2e__bit0 -X030106_0x2e__bit_10 -X030106_0x2e__bit_9 -X030106_0x2e__bit_8 -X030106_0x2e__bit_7 -X030106_0x2e__bit_6 -X030106_0x2e__bit_5 -X030106_0x2e__bit_4 -X030106_0x2e__bit_3 -X030106_0x2e__bit_2 -X030106_0x2e__bit_1 -X030106_0x2e__bit0 -X030201_0x2e__bit_10 -X030201_0x2e__bit_9 -X030201_0x2e__bit_8 -X030201_0x2e__bit_7 -X030201_0x2e__bit_6 -X030201_0x2e__bit_5 -X030201_0x2e__bit_4 -X030201_0x2e__bit_3 -X030201_0x2e__bit_2 -X030201_0x2e__bit_1 -X030201_0x2e__bit0 -X030202_0x2e__bit_10 -X030202_0x2e__bit_9 -X030202_0x2e__bit_8 -X030202_0x2e__bit_7 -X030202_0x2e__bit_6 -X030202_0x2e__bit_5 -X030202_0x2e__bit_4 -X030202_0x2e__bit_3 -X030202_0x2e__bit_2 -X030202_0x2e__bit_1 -X030202_0x2e__bit0 -X030203_0x2e__bit_10 -X030203_0x2e__bit_9 -X030203_0x2e__bit_8 -X030203_0x2e__bit_7 -X030203_0x2e__bit_6 -X030203_0x2e__bit_5 -X030203_0x2e__bit_4 -X030203_0x2e__bit_3 -X030203_0x2e__bit_2 -X030203_0x2e__bit_1 -X030203_0x2e__bit0 -X030204_0x2e__bit_10 -X030204_0x2e__bit_9 -X030204_0x2e__bit_8 -X030204_0x2e__bit_7 -X030204_0x2e__bit_6 -X030204_0x2e__bit_5 -X030204_0x2e__bit_4 -X030204_0x2e__bit_3 -X030204_0x2e__bit_2 -X030204_0x2e__bit_1 -X030204_0x2e__bit0 -X030205_0x2e__bit_10 -X030205_0x2e__bit_9 -X030205_0x2e__bit_8 -X030205_0x2e__bit_7 -X030205_0x2e__bit_6 -X030205_0x2e__bit_5 -X030205_0x2e__bit_4 -X030205_0x2e__bit_3 -X030205_0x2e__bit_2 -X030205_0x2e__bit_1 -X030205_0x2e__bit0 -X030206_0x2e__bit_10 -X030206_0x2e__bit_9 -X030206_0x2e__bit_8 -X030206_0x2e__bit_7 -X030206_0x2e__bit_6 -X030206_0x2e__bit_5 -X030206_0x2e__bit_4 -X030206_0x2e__bit_3 -X030206_0x2e__bit_2 -X030206_0x2e__bit_1 -X030206_0x2e__bit0 -X030301_0x2e__bit_10 -X030301_0x2e__bit_9 -X030301_0x2e__bit_8 -X030301_0x2e__bit_7 -X030301_0x2e__bit_6 -X030301_0x2e__bit_5 -X030301_0x2e__bit_4 -X030301_0x2e__bit_3 -X030301_0x2e__bit_2 -X030301_0x2e__bit_1 -X030301_0x2e__bit0 -X030302_0x2e__bit_10 -X030302_0x2e__bit_9 -X030302_0x2e__bit_8 -X030302_0x2e__bit_7 -X030302_0x2e__bit_6 -X030302_0x2e__bit_5 -X030302_0x2e__bit_4 -X030302_0x2e__bit_3 -X030302_0x2e__bit_2 -X030302_0x2e__bit_1 -X030302_0x2e__bit0 -X030303_0x2e__bit_10 -X030303_0x2e__bit_9 -X030303_0x2e__bit_8 -X030303_0x2e__bit_7 -X030303_0x2e__bit_6 -X030303_0x2e__bit_5 -X030303_0x2e__bit_4 -X030303_0x2e__bit_3 -X030303_0x2e__bit_2 -X030303_0x2e__bit_1 -X030303_0x2e__bit0 -X030304_0x2e__bit_10 -X030304_0x2e__bit_9 -X030304_0x2e__bit_8 -X030304_0x2e__bit_7 -X030304_0x2e__bit_6 -X030304_0x2e__bit_5 -X030304_0x2e__bit_4 -X030304_0x2e__bit_3 -X030304_0x2e__bit_2 -X030304_0x2e__bit_1 -X030304_0x2e__bit0 -X030305_0x2e__bit_10 -X030305_0x2e__bit_9 -X030305_0x2e__bit_8 -X030305_0x2e__bit_7 -X030305_0x2e__bit_6 -X030305_0x2e__bit_5 -X030305_0x2e__bit_4 -X030305_0x2e__bit_3 X030305_0x2e__bit_2 X030305_0x2e__bit_1 -X030305_0x2e__bit0 -X030306_0x2e__bit_10 -X030306_0x2e__bit_9 -X030306_0x2e__bit_8 -X030306_0x2e__bit_7 -X030306_0x2e__bit_6 -X030306_0x2e__bit_5 -X030306_0x2e__bit_4 -X030306_0x2e__bit_3 -X030306_0x2e__bit_2 -X030306_0x2e__bit_1 -X030306_0x2e__bit0 -X030401_0x2e__bit_10 -X030401_0x2e__bit_9 -X030401_0x2e__bit_8 -X030401_0x2e__bit_7 -X030401_0x2e__bit_6 -X030401_0x2e__bit_5 -X030401_0x2e__bit_4 -X030401_0x2e__bit_3 -X030401_0x2e__bit_2 -X030401_0x2e__bit_1 -X030401_0x2e__bit0 -X030402_0x2e__bit_10 -X030402_0x2e__bit_9 -X030402_0x2e__bit_8 -X030402_0x2e__bit_7 -X030402_0x2e__bit_6 -X030402_0x2e__bit_5 -X030402_0x2e__bit_4 -X030402_0x2e__bit_3 -X030402_0x2e__bit_2 -X030402_0x2e__bit_1 -X030402_0x2e__bit0 -X030403_0x2e__bit_10 -X030403_0x2e__bit_9 -X030403_0x2e__bit_8 -X030403_0x2e__bit_7 -X030403_0x2e__bit_6 -X030403_0x2e__bit_5 -X030403_0x2e__bit_4 -X030403_0x2e__bit_3 -X030403_0x2e__bit_2 -X030403_0x2e__bit_1 -X030403_0x2e__bit0 -X030404_0x2e__bit_10 -X030404_0x2e__bit_9 -X030404_0x2e__bit_8 -X030404_0x2e__bit_7 -X030404_0x2e__bit_6 -X030404_0x2e__bit_5 -X030404_0x2e__bit_4 -X030404_0x2e__bit_3 -X030404_0x2e__bit_2 -X030404_0x2e__bit_1 -X030404_0x2e__bit0 -X030405_0x2e__bit_10 -X030405_0x2e__bit_9 -X030405_0x2e__bit_8 -X030405_0x2e__bit_7 -X030405_0x2e__bit_6 -X030405_0x2e__bit_5 X030405_0x2e__bit_4 X030405_0x2e__bit_3 X030405_0x2e__bit_2 X030405_0x2e__bit_1 -X030405_0x2e__bit0 -X030406_0x2e__bit_10 -X030406_0x2e__bit_9 -X030406_0x2e__bit_8 -X030406_0x2e__bit_7 -X030406_0x2e__bit_6 -X030406_0x2e__bit_5 -X030406_0x2e__bit_4 -X030406_0x2e__bit_3 -X030406_0x2e__bit_2 -X030406_0x2e__bit_1 -X030406_0x2e__bit0 -X040101_0x2e__bit_10 -X040101_0x2e__bit_9 -X040101_0x2e__bit_8 -X040101_0x2e__bit_7 -X040101_0x2e__bit_6 -X040101_0x2e__bit_5 -X040101_0x2e__bit_4 -X040101_0x2e__bit_3 -X040101_0x2e__bit_2 -X040101_0x2e__bit_1 -X040101_0x2e__bit0 -X040102_0x2e__bit_10 -X040102_0x2e__bit_9 -X040102_0x2e__bit_8 -X040102_0x2e__bit_7 -X040102_0x2e__bit_6 -X040102_0x2e__bit_5 -X040102_0x2e__bit_4 -X040102_0x2e__bit_3 -X040102_0x2e__bit_2 -X040102_0x2e__bit_1 -X040102_0x2e__bit0 -X040103_0x2e__bit_10 -X040103_0x2e__bit_9 -X040103_0x2e__bit_8 -X040103_0x2e__bit_7 -X040103_0x2e__bit_6 -X040103_0x2e__bit_5 -X040103_0x2e__bit_4 -X040103_0x2e__bit_3 -X040103_0x2e__bit_2 -X040103_0x2e__bit_1 -X040103_0x2e__bit0 -X040104_0x2e__bit_10 -X040104_0x2e__bit_9 -X040104_0x2e__bit_8 -X040104_0x2e__bit_7 -X040104_0x2e__bit_6 -X040104_0x2e__bit_5 -X040104_0x2e__bit_4 -X040104_0x2e__bit_3 -X040104_0x2e__bit_2 -X040104_0x2e__bit_1 -X040104_0x2e__bit0 -X040105_0x2e__bit_10 -X040105_0x2e__bit_9 -X040105_0x2e__bit_8 -X040105_0x2e__bit_7 -X040105_0x2e__bit_6 -X040105_0x2e__bit_5 -X040105_0x2e__bit_4 -X040105_0x2e__bit_3 -X040105_0x2e__bit_2 -X040105_0x2e__bit_1 -X040105_0x2e__bit0 -X040106_0x2e__bit_10 -X040106_0x2e__bit_9 -X040106_0x2e__bit_8 -X040106_0x2e__bit_7 -X040106_0x2e__bit_6 -X040106_0x2e__bit_5 -X040106_0x2e__bit_4 -X040106_0x2e__bit_3 -X040106_0x2e__bit_2 -X040106_0x2e__bit_1 X040106_0x2e__bit0 -X040201_0x2e__bit_10 -X040201_0x2e__bit_9 -X040201_0x2e__bit_8 -X040201_0x2e__bit_7 -X040201_0x2e__bit_6 -X040201_0x2e__bit_5 -X040201_0x2e__bit_4 -X040201_0x2e__bit_3 -X040201_0x2e__bit_2 -X040201_0x2e__bit_1 -X040201_0x2e__bit0 -X040202_0x2e__bit_10 -X040202_0x2e__bit_9 -X040202_0x2e__bit_8 -X040202_0x2e__bit_7 -X040202_0x2e__bit_6 -X040202_0x2e__bit_5 -X040202_0x2e__bit_4 -X040202_0x2e__bit_3 -X040202_0x2e__bit_2 -X040202_0x2e__bit_1 -X040202_0x2e__bit0 -X040203_0x2e__bit_10 -X040203_0x2e__bit_9 -X040203_0x2e__bit_8 -X040203_0x2e__bit_7 -X040203_0x2e__bit_6 -X040203_0x2e__bit_5 -X040203_0x2e__bit_4 -X040203_0x2e__bit_3 -X040203_0x2e__bit_2 -X040203_0x2e__bit_1 -X040203_0x2e__bit0 -X040204_0x2e__bit_10 -X040204_0x2e__bit_9 -X040204_0x2e__bit_8 -X040204_0x2e__bit_7 -X040204_0x2e__bit_6 -X040204_0x2e__bit_5 -X040204_0x2e__bit_4 -X040204_0x2e__bit_3 -X040204_0x2e__bit_2 -X040204_0x2e__bit_1 -X040204_0x2e__bit0 -X040205_0x2e__bit_10 -X040205_0x2e__bit_9 -X040205_0x2e__bit_8 -X040205_0x2e__bit_7 -X040205_0x2e__bit_6 -X040205_0x2e__bit_5 -X040205_0x2e__bit_4 -X040205_0x2e__bit_3 X040205_0x2e__bit_2 X040205_0x2e__bit_1 -X040205_0x2e__bit0 -X040206_0x2e__bit_10 -X040206_0x2e__bit_9 -X040206_0x2e__bit_8 -X040206_0x2e__bit_7 -X040206_0x2e__bit_6 -X040206_0x2e__bit_5 -X040206_0x2e__bit_4 -X040206_0x2e__bit_3 -X040206_0x2e__bit_2 -X040206_0x2e__bit_1 X040206_0x2e__bit0 -X040301_0x2e__bit_10 -X040301_0x2e__bit_9 -X040301_0x2e__bit_8 -X040301_0x2e__bit_7 -X040301_0x2e__bit_6 -X040301_0x2e__bit_5 -X040301_0x2e__bit_4 -X040301_0x2e__bit_3 -X040301_0x2e__bit_2 -X040301_0x2e__bit_1 -X040301_0x2e__bit0 -X040302_0x2e__bit_10 -X040302_0x2e__bit_9 -X040302_0x2e__bit_8 -X040302_0x2e__bit_7 -X040302_0x2e__bit_6 -X040302_0x2e__bit_5 -X040302_0x2e__bit_4 -X040302_0x2e__bit_3 -X040302_0x2e__bit_2 -X040302_0x2e__bit_1 -X040302_0x2e__bit0 -X040303_0x2e__bit_10 -X040303_0x2e__bit_9 -X040303_0x2e__bit_8 -X040303_0x2e__bit_7 -X040303_0x2e__bit_6 -X040303_0x2e__bit_5 -X040303_0x2e__bit_4 -X040303_0x2e__bit_3 -X040303_0x2e__bit_2 -X040303_0x2e__bit_1 -X040303_0x2e__bit0 -X040304_0x2e__bit_10 -X040304_0x2e__bit_9 -X040304_0x2e__bit_8 -X040304_0x2e__bit_7 -X040304_0x2e__bit_6 -X040304_0x2e__bit_5 -X040304_0x2e__bit_4 -X040304_0x2e__bit_3 -X040304_0x2e__bit_2 -X040304_0x2e__bit_1 -X040304_0x2e__bit0 -X040305_0x2e__bit_10 -X040305_0x2e__bit_9 -X040305_0x2e__bit_8 -X040305_0x2e__bit_7 -X040305_0x2e__bit_6 -X040305_0x2e__bit_5 -X040305_0x2e__bit_4 -X040305_0x2e__bit_3 -X040305_0x2e__bit_2 -X040305_0x2e__bit_1 -X040305_0x2e__bit0 -X040306_0x2e__bit_10 -X040306_0x2e__bit_9 -X040306_0x2e__bit_8 -X040306_0x2e__bit_7 -X040306_0x2e__bit_6 -X040306_0x2e__bit_5 -X040306_0x2e__bit_4 -X040306_0x2e__bit_3 -X040306_0x2e__bit_2 -X040306_0x2e__bit_1 -X040306_0x2e__bit0 -X040401_0x2e__bit_10 -X040401_0x2e__bit_9 -X040401_0x2e__bit_8 -X040401_0x2e__bit_7 -X040401_0x2e__bit_6 -X040401_0x2e__bit_5 -X040401_0x2e__bit_4 -X040401_0x2e__bit_3 -X040401_0x2e__bit_2 -X040401_0x2e__bit_1 -X040401_0x2e__bit0 -X040402_0x2e__bit_10 -X040402_0x2e__bit_9 -X040402_0x2e__bit_8 -X040402_0x2e__bit_7 -X040402_0x2e__bit_6 -X040402_0x2e__bit_5 -X040402_0x2e__bit_4 -X040402_0x2e__bit_3 -X040402_0x2e__bit_2 -X040402_0x2e__bit_1 -X040402_0x2e__bit0 -X040403_0x2e__bit_10 -X040403_0x2e__bit_9 -X040403_0x2e__bit_8 -X040403_0x2e__bit_7 -X040403_0x2e__bit_6 -X040403_0x2e__bit_5 -X040403_0x2e__bit_4 -X040403_0x2e__bit_3 -X040403_0x2e__bit_2 -X040403_0x2e__bit_1 -X040403_0x2e__bit0 -X040404_0x2e__bit_10 -X040404_0x2e__bit_9 -X040404_0x2e__bit_8 -X040404_0x2e__bit_7 -X040404_0x2e__bit_6 -X040404_0x2e__bit_5 -X040404_0x2e__bit_4 -X040404_0x2e__bit_3 -X040404_0x2e__bit_2 -X040404_0x2e__bit_1 -X040404_0x2e__bit0 -X040405_0x2e__bit_10 -X040405_0x2e__bit_9 -X040405_0x2e__bit_8 -X040405_0x2e__bit_7 -X040405_0x2e__bit_6 -X040405_0x2e__bit_5 -X040405_0x2e__bit_4 -X040405_0x2e__bit_3 -X040405_0x2e__bit_2 -X040405_0x2e__bit_1 -X040405_0x2e__bit0 -X040406_0x2e__bit_10 -X040406_0x2e__bit_9 -X040406_0x2e__bit_8 -X040406_0x2e__bit_7 -X040406_0x2e__bit_6 -X040406_0x2e__bit_5 -X040406_0x2e__bit_4 -X040406_0x2e__bit_3 -X040406_0x2e__bit_2 -X040406_0x2e__bit_1 -X040406_0x2e__bit0 -X050101_0x2e__bit_10 -X050101_0x2e__bit_9 -X050101_0x2e__bit_8 -X050101_0x2e__bit_7 -X050101_0x2e__bit_6 -X050101_0x2e__bit_5 -X050101_0x2e__bit_4 -X050101_0x2e__bit_3 -X050101_0x2e__bit_2 -X050101_0x2e__bit_1 -X050101_0x2e__bit0 -X050102_0x2e__bit_10 -X050102_0x2e__bit_9 -X050102_0x2e__bit_8 -X050102_0x2e__bit_7 -X050102_0x2e__bit_6 -X050102_0x2e__bit_5 -X050102_0x2e__bit_4 -X050102_0x2e__bit_3 -X050102_0x2e__bit_2 -X050102_0x2e__bit_1 -X050102_0x2e__bit0 -X050103_0x2e__bit_10 -X050103_0x2e__bit_9 -X050103_0x2e__bit_8 -X050103_0x2e__bit_7 -X050103_0x2e__bit_6 -X050103_0x2e__bit_5 -X050103_0x2e__bit_4 -X050103_0x2e__bit_3 -X050103_0x2e__bit_2 -X050103_0x2e__bit_1 -X050103_0x2e__bit0 -X050104_0x2e__bit_10 -X050104_0x2e__bit_9 -X050104_0x2e__bit_8 -X050104_0x2e__bit_7 -X050104_0x2e__bit_6 -X050104_0x2e__bit_5 -X050104_0x2e__bit_4 -X050104_0x2e__bit_3 -X050104_0x2e__bit_2 -X050104_0x2e__bit_1 -X050104_0x2e__bit0 -X050105_0x2e__bit_10 -X050105_0x2e__bit_9 -X050105_0x2e__bit_8 -X050105_0x2e__bit_7 -X050105_0x2e__bit_6 -X050105_0x2e__bit_5 -X050105_0x2e__bit_4 -X050105_0x2e__bit_3 -X050105_0x2e__bit_2 -X050105_0x2e__bit_1 -X050105_0x2e__bit0 -X050106_0x2e__bit_10 -X050106_0x2e__bit_9 -X050106_0x2e__bit_8 -X050106_0x2e__bit_7 -X050106_0x2e__bit_6 -X050106_0x2e__bit_5 -X050106_0x2e__bit_4 -X050106_0x2e__bit_3 -X050106_0x2e__bit_2 -X050106_0x2e__bit_1 -X050106_0x2e__bit0 -X050201_0x2e__bit_10 -X050201_0x2e__bit_9 -X050201_0x2e__bit_8 -X050201_0x2e__bit_7 -X050201_0x2e__bit_6 -X050201_0x2e__bit_5 -X050201_0x2e__bit_4 -X050201_0x2e__bit_3 -X050201_0x2e__bit_2 -X050201_0x2e__bit_1 -X050201_0x2e__bit0 -X050202_0x2e__bit_10 -X050202_0x2e__bit_9 -X050202_0x2e__bit_8 -X050202_0x2e__bit_7 -X050202_0x2e__bit_6 -X050202_0x2e__bit_5 -X050202_0x2e__bit_4 -X050202_0x2e__bit_3 -X050202_0x2e__bit_2 -X050202_0x2e__bit_1 -X050202_0x2e__bit0 -X050203_0x2e__bit_10 -X050203_0x2e__bit_9 -X050203_0x2e__bit_8 -X050203_0x2e__bit_7 -X050203_0x2e__bit_6 -X050203_0x2e__bit_5 -X050203_0x2e__bit_4 -X050203_0x2e__bit_3 -X050203_0x2e__bit_2 -X050203_0x2e__bit_1 -X050203_0x2e__bit0 -X050204_0x2e__bit_10 -X050204_0x2e__bit_9 -X050204_0x2e__bit_8 -X050204_0x2e__bit_7 -X050204_0x2e__bit_6 -X050204_0x2e__bit_5 -X050204_0x2e__bit_4 -X050204_0x2e__bit_3 -X050204_0x2e__bit_2 -X050204_0x2e__bit_1 X050204_0x2e__bit0 -X050205_0x2e__bit_10 -X050205_0x2e__bit_9 -X050205_0x2e__bit_8 -X050205_0x2e__bit_7 -X050205_0x2e__bit_6 -X050205_0x2e__bit_5 -X050205_0x2e__bit_4 -X050205_0x2e__bit_3 -X050205_0x2e__bit_2 -X050205_0x2e__bit_1 -X050205_0x2e__bit0 -X050206_0x2e__bit_10 -X050206_0x2e__bit_9 -X050206_0x2e__bit_8 -X050206_0x2e__bit_7 -X050206_0x2e__bit_6 -X050206_0x2e__bit_5 -X050206_0x2e__bit_4 -X050206_0x2e__bit_3 -X050206_0x2e__bit_2 -X050206_0x2e__bit_1 -X050206_0x2e__bit0 -X050301_0x2e__bit_10 -X050301_0x2e__bit_9 -X050301_0x2e__bit_8 -X050301_0x2e__bit_7 -X050301_0x2e__bit_6 -X050301_0x2e__bit_5 -X050301_0x2e__bit_4 -X050301_0x2e__bit_3 -X050301_0x2e__bit_2 -X050301_0x2e__bit_1 -X050301_0x2e__bit0 -X050302_0x2e__bit_10 -X050302_0x2e__bit_9 -X050302_0x2e__bit_8 -X050302_0x2e__bit_7 -X050302_0x2e__bit_6 -X050302_0x2e__bit_5 -X050302_0x2e__bit_4 -X050302_0x2e__bit_3 -X050302_0x2e__bit_2 -X050302_0x2e__bit_1 -X050302_0x2e__bit0 -X050303_0x2e__bit_10 -X050303_0x2e__bit_9 -X050303_0x2e__bit_8 -X050303_0x2e__bit_7 -X050303_0x2e__bit_6 -X050303_0x2e__bit_5 -X050303_0x2e__bit_4 -X050303_0x2e__bit_3 -X050303_0x2e__bit_2 -X050303_0x2e__bit_1 -X050303_0x2e__bit0 -X050304_0x2e__bit_10 -X050304_0x2e__bit_9 -X050304_0x2e__bit_8 -X050304_0x2e__bit_7 -X050304_0x2e__bit_6 -X050304_0x2e__bit_5 -X050304_0x2e__bit_4 -X050304_0x2e__bit_3 -X050304_0x2e__bit_2 -X050304_0x2e__bit_1 -X050304_0x2e__bit0 -X050305_0x2e__bit_10 -X050305_0x2e__bit_9 -X050305_0x2e__bit_8 -X050305_0x2e__bit_7 -X050305_0x2e__bit_6 -X050305_0x2e__bit_5 -X050305_0x2e__bit_4 -X050305_0x2e__bit_3 -X050305_0x2e__bit_2 -X050305_0x2e__bit_1 -X050305_0x2e__bit0 -X050306_0x2e__bit_10 -X050306_0x2e__bit_9 -X050306_0x2e__bit_8 -X050306_0x2e__bit_7 -X050306_0x2e__bit_6 -X050306_0x2e__bit_5 -X050306_0x2e__bit_4 -X050306_0x2e__bit_3 -X050306_0x2e__bit_2 -X050306_0x2e__bit_1 -X050306_0x2e__bit0 -X050401_0x2e__bit_10 -X050401_0x2e__bit_9 -X050401_0x2e__bit_8 -X050401_0x2e__bit_7 -X050401_0x2e__bit_6 -X050401_0x2e__bit_5 -X050401_0x2e__bit_4 -X050401_0x2e__bit_3 -X050401_0x2e__bit_2 -X050401_0x2e__bit_1 -X050401_0x2e__bit0 -X050402_0x2e__bit_10 -X050402_0x2e__bit_9 -X050402_0x2e__bit_8 -X050402_0x2e__bit_7 -X050402_0x2e__bit_6 -X050402_0x2e__bit_5 -X050402_0x2e__bit_4 -X050402_0x2e__bit_3 -X050402_0x2e__bit_2 -X050402_0x2e__bit_1 -X050402_0x2e__bit0 -X050403_0x2e__bit_10 -X050403_0x2e__bit_9 -X050403_0x2e__bit_8 -X050403_0x2e__bit_7 -X050403_0x2e__bit_6 -X050403_0x2e__bit_5 -X050403_0x2e__bit_4 -X050403_0x2e__bit_3 -X050403_0x2e__bit_2 -X050403_0x2e__bit_1 -X050403_0x2e__bit0 -X050404_0x2e__bit_10 -X050404_0x2e__bit_9 -X050404_0x2e__bit_8 -X050404_0x2e__bit_7 -X050404_0x2e__bit_6 -X050404_0x2e__bit_5 -X050404_0x2e__bit_4 -X050404_0x2e__bit_3 -X050404_0x2e__bit_2 -X050404_0x2e__bit_1 -X050404_0x2e__bit0 -X050405_0x2e__bit_10 -X050405_0x2e__bit_9 -X050405_0x2e__bit_8 -X050405_0x2e__bit_7 -X050405_0x2e__bit_6 -X050405_0x2e__bit_5 -X050405_0x2e__bit_4 -X050405_0x2e__bit_3 -X050405_0x2e__bit_2 -X050405_0x2e__bit_1 -X050405_0x2e__bit0 -X050406_0x2e__bit_10 -X050406_0x2e__bit_9 -X050406_0x2e__bit_8 -X050406_0x2e__bit_7 -X050406_0x2e__bit_6 -X050406_0x2e__bit_5 -X050406_0x2e__bit_4 -X050406_0x2e__bit_3 -X050406_0x2e__bit_2 X050406_0x2e__bit_1 -X050406_0x2e__bit0 -X060101_0x2e__bit_10 -X060101_0x2e__bit_9 -X060101_0x2e__bit_8 -X060101_0x2e__bit_7 -X060101_0x2e__bit_6 -X060101_0x2e__bit_5 -X060101_0x2e__bit_4 -X060101_0x2e__bit_3 -X060101_0x2e__bit_2 -X060101_0x2e__bit_1 X060101_0x2e__bit0 -X060102_0x2e__bit_10 -X060102_0x2e__bit_9 -X060102_0x2e__bit_8 -X060102_0x2e__bit_7 -X060102_0x2e__bit_6 -X060102_0x2e__bit_5 -X060102_0x2e__bit_4 -X060102_0x2e__bit_3 -X060102_0x2e__bit_2 -X060102_0x2e__bit_1 -X060102_0x2e__bit0 -X060103_0x2e__bit_10 -X060103_0x2e__bit_9 -X060103_0x2e__bit_8 -X060103_0x2e__bit_7 -X060103_0x2e__bit_6 -X060103_0x2e__bit_5 -X060103_0x2e__bit_4 -X060103_0x2e__bit_3 -X060103_0x2e__bit_2 -X060103_0x2e__bit_1 -X060103_0x2e__bit0 -X060104_0x2e__bit_10 -X060104_0x2e__bit_9 -X060104_0x2e__bit_8 -X060104_0x2e__bit_7 -X060104_0x2e__bit_6 -X060104_0x2e__bit_5 -X060104_0x2e__bit_4 -X060104_0x2e__bit_3 -X060104_0x2e__bit_2 -X060104_0x2e__bit_1 -X060104_0x2e__bit0 -X060105_0x2e__bit_10 -X060105_0x2e__bit_9 -X060105_0x2e__bit_8 -X060105_0x2e__bit_7 -X060105_0x2e__bit_6 -X060105_0x2e__bit_5 -X060105_0x2e__bit_4 -X060105_0x2e__bit_3 -X060105_0x2e__bit_2 -X060105_0x2e__bit_1 -X060105_0x2e__bit0 -X060106_0x2e__bit_10 -X060106_0x2e__bit_9 -X060106_0x2e__bit_8 -X060106_0x2e__bit_7 -X060106_0x2e__bit_6 -X060106_0x2e__bit_5 -X060106_0x2e__bit_4 -X060106_0x2e__bit_3 -X060106_0x2e__bit_2 -X060106_0x2e__bit_1 -X060106_0x2e__bit0 -X060201_0x2e__bit_10 -X060201_0x2e__bit_9 -X060201_0x2e__bit_8 -X060201_0x2e__bit_7 -X060201_0x2e__bit_6 -X060201_0x2e__bit_5 -X060201_0x2e__bit_4 -X060201_0x2e__bit_3 -X060201_0x2e__bit_2 -X060201_0x2e__bit_1 -X060201_0x2e__bit0 -X060202_0x2e__bit_10 -X060202_0x2e__bit_9 -X060202_0x2e__bit_8 -X060202_0x2e__bit_7 -X060202_0x2e__bit_6 -X060202_0x2e__bit_5 -X060202_0x2e__bit_4 -X060202_0x2e__bit_3 -X060202_0x2e__bit_2 X060202_0x2e__bit_1 -X060202_0x2e__bit0 -X060203_0x2e__bit_10 -X060203_0x2e__bit_9 -X060203_0x2e__bit_8 -X060203_0x2e__bit_7 -X060203_0x2e__bit_6 -X060203_0x2e__bit_5 -X060203_0x2e__bit_4 -X060203_0x2e__bit_3 -X060203_0x2e__bit_2 -X060203_0x2e__bit_1 -X060203_0x2e__bit0 -X060204_0x2e__bit_10 -X060204_0x2e__bit_9 -X060204_0x2e__bit_8 -X060204_0x2e__bit_7 -X060204_0x2e__bit_6 -X060204_0x2e__bit_5 -X060204_0x2e__bit_4 -X060204_0x2e__bit_3 -X060204_0x2e__bit_2 -X060204_0x2e__bit_1 -X060204_0x2e__bit0 -X060205_0x2e__bit_10 -X060205_0x2e__bit_9 -X060205_0x2e__bit_8 -X060205_0x2e__bit_7 -X060205_0x2e__bit_6 -X060205_0x2e__bit_5 -X060205_0x2e__bit_4 -X060205_0x2e__bit_3 -X060205_0x2e__bit_2 -X060205_0x2e__bit_1 -X060205_0x2e__bit0 -X060206_0x2e__bit_10 -X060206_0x2e__bit_9 -X060206_0x2e__bit_8 -X060206_0x2e__bit_7 -X060206_0x2e__bit_6 -X060206_0x2e__bit_5 -X060206_0x2e__bit_4 -X060206_0x2e__bit_3 -X060206_0x2e__bit_2 -X060206_0x2e__bit_1 -X060206_0x2e__bit0 -X060301_0x2e__bit_10 -X060301_0x2e__bit_9 -X060301_0x2e__bit_8 -X060301_0x2e__bit_7 -X060301_0x2e__bit_6 -X060301_0x2e__bit_5 -X060301_0x2e__bit_4 -X060301_0x2e__bit_3 -X060301_0x2e__bit_2 -X060301_0x2e__bit_1 -X060301_0x2e__bit0 -X060302_0x2e__bit_10 -X060302_0x2e__bit_9 -X060302_0x2e__bit_8 -X060302_0x2e__bit_7 -X060302_0x2e__bit_6 -X060302_0x2e__bit_5 -X060302_0x2e__bit_4 -X060302_0x2e__bit_3 -X060302_0x2e__bit_2 -X060302_0x2e__bit_1 -X060302_0x2e__bit0 -X060303_0x2e__bit_10 -X060303_0x2e__bit_9 -X060303_0x2e__bit_8 -X060303_0x2e__bit_7 -X060303_0x2e__bit_6 -X060303_0x2e__bit_5 -X060303_0x2e__bit_4 -X060303_0x2e__bit_3 -X060303_0x2e__bit_2 -X060303_0x2e__bit_1 -X060303_0x2e__bit0 -X060304_0x2e__bit_10 -X060304_0x2e__bit_9 -X060304_0x2e__bit_8 -X060304_0x2e__bit_7 -X060304_0x2e__bit_6 -X060304_0x2e__bit_5 -X060304_0x2e__bit_4 -X060304_0x2e__bit_3 -X060304_0x2e__bit_2 -X060304_0x2e__bit_1 -X060304_0x2e__bit0 -X060305_0x2e__bit_10 -X060305_0x2e__bit_9 -X060305_0x2e__bit_8 -X060305_0x2e__bit_7 -X060305_0x2e__bit_6 -X060305_0x2e__bit_5 -X060305_0x2e__bit_4 -X060305_0x2e__bit_3 -X060305_0x2e__bit_2 -X060305_0x2e__bit_1 -X060305_0x2e__bit0 -X060306_0x2e__bit_10 -X060306_0x2e__bit_9 -X060306_0x2e__bit_8 -X060306_0x2e__bit_7 -X060306_0x2e__bit_6 -X060306_0x2e__bit_5 -X060306_0x2e__bit_4 -X060306_0x2e__bit_3 -X060306_0x2e__bit_2 -X060306_0x2e__bit_1 -X060306_0x2e__bit0 -X060401_0x2e__bit_10 -X060401_0x2e__bit_9 -X060401_0x2e__bit_8 -X060401_0x2e__bit_7 -X060401_0x2e__bit_6 -X060401_0x2e__bit_5 -X060401_0x2e__bit_4 -X060401_0x2e__bit_3 X060401_0x2e__bit_2 X060401_0x2e__bit_1 -X060401_0x2e__bit0 -X060402_0x2e__bit_10 -X060402_0x2e__bit_9 -X060402_0x2e__bit_8 -X060402_0x2e__bit_7 -X060402_0x2e__bit_6 -X060402_0x2e__bit_5 -X060402_0x2e__bit_4 -X060402_0x2e__bit_3 -X060402_0x2e__bit_2 -X060402_0x2e__bit_1 -X060402_0x2e__bit0 -X060403_0x2e__bit_10 -X060403_0x2e__bit_9 -X060403_0x2e__bit_8 -X060403_0x2e__bit_7 -X060403_0x2e__bit_6 -X060403_0x2e__bit_5 -X060403_0x2e__bit_4 -X060403_0x2e__bit_3 -X060403_0x2e__bit_2 -X060403_0x2e__bit_1 -X060403_0x2e__bit0 -X060404_0x2e__bit_10 -X060404_0x2e__bit_9 -X060404_0x2e__bit_8 -X060404_0x2e__bit_7 -X060404_0x2e__bit_6 -X060404_0x2e__bit_5 -X060404_0x2e__bit_4 -X060404_0x2e__bit_3 -X060404_0x2e__bit_2 -X060404_0x2e__bit_1 -X060404_0x2e__bit0 -X060405_0x2e__bit_10 -X060405_0x2e__bit_9 -X060405_0x2e__bit_8 -X060405_0x2e__bit_7 -X060405_0x2e__bit_6 -X060405_0x2e__bit_5 -X060405_0x2e__bit_4 -X060405_0x2e__bit_3 -X060405_0x2e__bit_2 -X060405_0x2e__bit_1 -X060405_0x2e__bit0 -X060406_0x2e__bit_10 -X060406_0x2e__bit_9 -X060406_0x2e__bit_8 -X060406_0x2e__bit_7 -X060406_0x2e__bit_6 -X060406_0x2e__bit_5 -X060406_0x2e__bit_4 -X060406_0x2e__bit_3 -X060406_0x2e__bit_2 -X060406_0x2e__bit_1 -X060406_0x2e__bit0 -X070101_0x2e__bit_10 -X070101_0x2e__bit_9 -X070101_0x2e__bit_8 -X070101_0x2e__bit_7 -X070101_0x2e__bit_6 -X070101_0x2e__bit_5 -X070101_0x2e__bit_4 -X070101_0x2e__bit_3 -X070101_0x2e__bit_2 -X070101_0x2e__bit_1 -X070101_0x2e__bit0 -X070102_0x2e__bit_10 -X070102_0x2e__bit_9 -X070102_0x2e__bit_8 -X070102_0x2e__bit_7 -X070102_0x2e__bit_6 -X070102_0x2e__bit_5 -X070102_0x2e__bit_4 -X070102_0x2e__bit_3 -X070102_0x2e__bit_2 -X070102_0x2e__bit_1 -X070102_0x2e__bit0 -X070103_0x2e__bit_10 -X070103_0x2e__bit_9 -X070103_0x2e__bit_8 -X070103_0x2e__bit_7 -X070103_0x2e__bit_6 -X070103_0x2e__bit_5 -X070103_0x2e__bit_4 -X070103_0x2e__bit_3 -X070103_0x2e__bit_2 -X070103_0x2e__bit_1 -X070103_0x2e__bit0 -X070104_0x2e__bit_10 -X070104_0x2e__bit_9 -X070104_0x2e__bit_8 -X070104_0x2e__bit_7 -X070104_0x2e__bit_6 -X070104_0x2e__bit_5 -X070104_0x2e__bit_4 -X070104_0x2e__bit_3 -X070104_0x2e__bit_2 -X070104_0x2e__bit_1 -X070104_0x2e__bit0 -X070105_0x2e__bit_10 -X070105_0x2e__bit_9 -X070105_0x2e__bit_8 -X070105_0x2e__bit_7 -X070105_0x2e__bit_6 -X070105_0x2e__bit_5 -X070105_0x2e__bit_4 -X070105_0x2e__bit_3 -X070105_0x2e__bit_2 -X070105_0x2e__bit_1 -X070105_0x2e__bit0 -X070106_0x2e__bit_10 -X070106_0x2e__bit_9 -X070106_0x2e__bit_8 -X070106_0x2e__bit_7 -X070106_0x2e__bit_6 -X070106_0x2e__bit_5 -X070106_0x2e__bit_4 -X070106_0x2e__bit_3 -X070106_0x2e__bit_2 -X070106_0x2e__bit_1 -X070106_0x2e__bit0 -X070201_0x2e__bit_10 -X070201_0x2e__bit_9 -X070201_0x2e__bit_8 -X070201_0x2e__bit_7 -X070201_0x2e__bit_6 -X070201_0x2e__bit_5 -X070201_0x2e__bit_4 -X070201_0x2e__bit_3 -X070201_0x2e__bit_2 -X070201_0x2e__bit_1 -X070201_0x2e__bit0 -X070202_0x2e__bit_10 -X070202_0x2e__bit_9 -X070202_0x2e__bit_8 -X070202_0x2e__bit_7 -X070202_0x2e__bit_6 -X070202_0x2e__bit_5 -X070202_0x2e__bit_4 -X070202_0x2e__bit_3 -X070202_0x2e__bit_2 -X070202_0x2e__bit_1 -X070202_0x2e__bit0 -X070203_0x2e__bit_10 -X070203_0x2e__bit_9 -X070203_0x2e__bit_8 -X070203_0x2e__bit_7 -X070203_0x2e__bit_6 -X070203_0x2e__bit_5 -X070203_0x2e__bit_4 -X070203_0x2e__bit_3 -X070203_0x2e__bit_2 -X070203_0x2e__bit_1 X070203_0x2e__bit0 -X070204_0x2e__bit_10 -X070204_0x2e__bit_9 -X070204_0x2e__bit_8 -X070204_0x2e__bit_7 -X070204_0x2e__bit_6 -X070204_0x2e__bit_5 -X070204_0x2e__bit_4 -X070204_0x2e__bit_3 -X070204_0x2e__bit_2 -X070204_0x2e__bit_1 -X070204_0x2e__bit0 -X070205_0x2e__bit_10 -X070205_0x2e__bit_9 -X070205_0x2e__bit_8 -X070205_0x2e__bit_7 -X070205_0x2e__bit_6 -X070205_0x2e__bit_5 -X070205_0x2e__bit_4 -X070205_0x2e__bit_3 -X070205_0x2e__bit_2 -X070205_0x2e__bit_1 -X070205_0x2e__bit0 -X070206_0x2e__bit_10 -X070206_0x2e__bit_9 -X070206_0x2e__bit_8 -X070206_0x2e__bit_7 -X070206_0x2e__bit_6 -X070206_0x2e__bit_5 -X070206_0x2e__bit_4 -X070206_0x2e__bit_3 -X070206_0x2e__bit_2 -X070206_0x2e__bit_1 -X070206_0x2e__bit0 -X070301_0x2e__bit_10 -X070301_0x2e__bit_9 -X070301_0x2e__bit_8 -X070301_0x2e__bit_7 -X070301_0x2e__bit_6 -X070301_0x2e__bit_5 -X070301_0x2e__bit_4 -X070301_0x2e__bit_3 -X070301_0x2e__bit_2 -X070301_0x2e__bit_1 -X070301_0x2e__bit0 -X070302_0x2e__bit_10 -X070302_0x2e__bit_9 -X070302_0x2e__bit_8 -X070302_0x2e__bit_7 -X070302_0x2e__bit_6 -X070302_0x2e__bit_5 -X070302_0x2e__bit_4 -X070302_0x2e__bit_3 -X070302_0x2e__bit_2 X070302_0x2e__bit_1 -X070302_0x2e__bit0 -X070303_0x2e__bit_10 -X070303_0x2e__bit_9 -X070303_0x2e__bit_8 -X070303_0x2e__bit_7 -X070303_0x2e__bit_6 -X070303_0x2e__bit_5 -X070303_0x2e__bit_4 -X070303_0x2e__bit_3 -X070303_0x2e__bit_2 -X070303_0x2e__bit_1 -X070303_0x2e__bit0 -X070304_0x2e__bit_10 -X070304_0x2e__bit_9 -X070304_0x2e__bit_8 -X070304_0x2e__bit_7 -X070304_0x2e__bit_6 -X070304_0x2e__bit_5 -X070304_0x2e__bit_4 -X070304_0x2e__bit_3 -X070304_0x2e__bit_2 -X070304_0x2e__bit_1 -X070304_0x2e__bit0 -X070305_0x2e__bit_10 -X070305_0x2e__bit_9 -X070305_0x2e__bit_8 -X070305_0x2e__bit_7 -X070305_0x2e__bit_6 -X070305_0x2e__bit_5 -X070305_0x2e__bit_4 -X070305_0x2e__bit_3 -X070305_0x2e__bit_2 -X070305_0x2e__bit_1 -X070305_0x2e__bit0 -X070306_0x2e__bit_10 -X070306_0x2e__bit_9 -X070306_0x2e__bit_8 -X070306_0x2e__bit_7 -X070306_0x2e__bit_6 -X070306_0x2e__bit_5 -X070306_0x2e__bit_4 -X070306_0x2e__bit_3 -X070306_0x2e__bit_2 -X070306_0x2e__bit_1 -X070306_0x2e__bit0 -X070401_0x2e__bit_10 -X070401_0x2e__bit_9 -X070401_0x2e__bit_8 -X070401_0x2e__bit_7 -X070401_0x2e__bit_6 -X070401_0x2e__bit_5 -X070401_0x2e__bit_4 -X070401_0x2e__bit_3 -X070401_0x2e__bit_2 -X070401_0x2e__bit_1 -X070401_0x2e__bit0 -X070402_0x2e__bit_10 -X070402_0x2e__bit_9 -X070402_0x2e__bit_8 -X070402_0x2e__bit_7 -X070402_0x2e__bit_6 -X070402_0x2e__bit_5 -X070402_0x2e__bit_4 -X070402_0x2e__bit_3 -X070402_0x2e__bit_2 -X070402_0x2e__bit_1 -X070402_0x2e__bit0 -X070403_0x2e__bit_10 -X070403_0x2e__bit_9 -X070403_0x2e__bit_8 -X070403_0x2e__bit_7 -X070403_0x2e__bit_6 -X070403_0x2e__bit_5 -X070403_0x2e__bit_4 -X070403_0x2e__bit_3 -X070403_0x2e__bit_2 -X070403_0x2e__bit_1 -X070403_0x2e__bit0 -X070404_0x2e__bit_10 -X070404_0x2e__bit_9 -X070404_0x2e__bit_8 -X070404_0x2e__bit_7 -X070404_0x2e__bit_6 -X070404_0x2e__bit_5 -X070404_0x2e__bit_4 -X070404_0x2e__bit_3 -X070404_0x2e__bit_2 -X070404_0x2e__bit_1 -X070404_0x2e__bit0 -X070405_0x2e__bit_10 -X070405_0x2e__bit_9 -X070405_0x2e__bit_8 -X070405_0x2e__bit_7 -X070405_0x2e__bit_6 -X070405_0x2e__bit_5 -X070405_0x2e__bit_4 -X070405_0x2e__bit_3 -X070405_0x2e__bit_2 -X070405_0x2e__bit_1 -X070405_0x2e__bit0 -X070406_0x2e__bit_10 -X070406_0x2e__bit_9 -X070406_0x2e__bit_8 -X070406_0x2e__bit_7 -X070406_0x2e__bit_6 -X070406_0x2e__bit_5 -X070406_0x2e__bit_4 -X070406_0x2e__bit_3 -X070406_0x2e__bit_2 -X070406_0x2e__bit_1 -X070406_0x2e__bit0 -S01_0x2e_01_0x2e__0x2e__bit_10 -S01_0x2e_01_0x2e__0x2e__bit_9 -S01_0x2e_01_0x2e__0x2e__bit_8 -S01_0x2e_01_0x2e__0x2e__bit_7 -S01_0x2e_01_0x2e__0x2e__bit_6 -S01_0x2e_01_0x2e__0x2e__bit_5 -S01_0x2e_01_0x2e__0x2e__bit_4 -S01_0x2e_01_0x2e__0x2e__bit_3 -S01_0x2e_01_0x2e__0x2e__bit_2 -S01_0x2e_01_0x2e__0x2e__bit_1 -S01_0x2e_01_0x2e__0x2e__bit0 -S01_0x2e_01_0x2e__0x2e__bit1 S01_0x2e_01_0x2e__0x2e__bit2 -S01_0x2e_01_0x2e__0x2e__bit3 -S01_0x2e_01_0x2e__0x2e__bit4 S01_0x2e_01_0x2e__0x2e__bit5 S01_0x2e_01_0x2e__0x2e__bit6 -S01_0x2e_01_0x2e__0x2e__bit7 -S01_0x2e_02_0x2e__0x2e__bit_10 -S01_0x2e_02_0x2e__0x2e__bit_9 -S01_0x2e_02_0x2e__0x2e__bit_8 -S01_0x2e_02_0x2e__0x2e__bit_7 -S01_0x2e_02_0x2e__0x2e__bit_6 -S01_0x2e_02_0x2e__0x2e__bit_5 -S01_0x2e_02_0x2e__0x2e__bit_4 -S01_0x2e_02_0x2e__0x2e__bit_3 -S01_0x2e_02_0x2e__0x2e__bit_2 -S01_0x2e_02_0x2e__0x2e__bit_1 -S01_0x2e_02_0x2e__0x2e__bit0 -S01_0x2e_02_0x2e__0x2e__bit1 S01_0x2e_02_0x2e__0x2e__bit2 -S01_0x2e_02_0x2e__0x2e__bit3 -S01_0x2e_02_0x2e__0x2e__bit4 S01_0x2e_02_0x2e__0x2e__bit5 S01_0x2e_02_0x2e__0x2e__bit6 -S01_0x2e_02_0x2e__0x2e__bit7 -S01_0x2e_03_0x2e__0x2e__bit_10 -S01_0x2e_03_0x2e__0x2e__bit_9 -S01_0x2e_03_0x2e__0x2e__bit_8 -S01_0x2e_03_0x2e__0x2e__bit_7 -S01_0x2e_03_0x2e__0x2e__bit_6 -S01_0x2e_03_0x2e__0x2e__bit_5 -S01_0x2e_03_0x2e__0x2e__bit_4 -S01_0x2e_03_0x2e__0x2e__bit_3 -S01_0x2e_03_0x2e__0x2e__bit_2 -S01_0x2e_03_0x2e__0x2e__bit_1 -S01_0x2e_03_0x2e__0x2e__bit0 -S01_0x2e_03_0x2e__0x2e__bit1 -S01_0x2e_03_0x2e__0x2e__bit2 S01_0x2e_03_0x2e__0x2e__bit3 -S01_0x2e_03_0x2e__0x2e__bit4 -S01_0x2e_03_0x2e__0x2e__bit5 S01_0x2e_03_0x2e__0x2e__bit6 S01_0x2e_03_0x2e__0x2e__bit7 -S01_0x2e_04_0x2e__0x2e__bit_10 -S01_0x2e_04_0x2e__0x2e__bit_9 -S01_0x2e_04_0x2e__0x2e__bit_8 -S01_0x2e_04_0x2e__0x2e__bit_7 -S01_0x2e_04_0x2e__0x2e__bit_6 -S01_0x2e_04_0x2e__0x2e__bit_5 -S01_0x2e_04_0x2e__0x2e__bit_4 -S01_0x2e_04_0x2e__0x2e__bit_3 -S01_0x2e_04_0x2e__0x2e__bit_2 -S01_0x2e_04_0x2e__0x2e__bit_1 -S01_0x2e_04_0x2e__0x2e__bit0 -S01_0x2e_04_0x2e__0x2e__bit1 -S01_0x2e_04_0x2e__0x2e__bit2 S01_0x2e_04_0x2e__0x2e__bit3 -S01_0x2e_04_0x2e__0x2e__bit4 -S01_0x2e_04_0x2e__0x2e__bit5 S01_0x2e_04_0x2e__0x2e__bit6 S01_0x2e_04_0x2e__0x2e__bit7 -S01_0x2e_05_0x2e__0x2e__bit_10 -S01_0x2e_05_0x2e__0x2e__bit_9 -S01_0x2e_05_0x2e__0x2e__bit_8 -S01_0x2e_05_0x2e__0x2e__bit_7 -S01_0x2e_05_0x2e__0x2e__bit_6 -S01_0x2e_05_0x2e__0x2e__bit_5 -S01_0x2e_05_0x2e__0x2e__bit_4 -S01_0x2e_05_0x2e__0x2e__bit_3 -S01_0x2e_05_0x2e__0x2e__bit_2 -S01_0x2e_05_0x2e__0x2e__bit_1 -S01_0x2e_05_0x2e__0x2e__bit0 -S01_0x2e_05_0x2e__0x2e__bit1 -S01_0x2e_05_0x2e__0x2e__bit2 S01_0x2e_05_0x2e__0x2e__bit3 -S01_0x2e_05_0x2e__0x2e__bit4 -S01_0x2e_05_0x2e__0x2e__bit5 S01_0x2e_05_0x2e__0x2e__bit6 S01_0x2e_05_0x2e__0x2e__bit7 -S01_0x2e_06_0x2e__0x2e__bit_10 -S01_0x2e_06_0x2e__0x2e__bit_9 -S01_0x2e_06_0x2e__0x2e__bit_8 -S01_0x2e_06_0x2e__0x2e__bit_7 -S01_0x2e_06_0x2e__0x2e__bit_6 -S01_0x2e_06_0x2e__0x2e__bit_5 -S01_0x2e_06_0x2e__0x2e__bit_4 -S01_0x2e_06_0x2e__0x2e__bit_3 -S01_0x2e_06_0x2e__0x2e__bit_2 -S01_0x2e_06_0x2e__0x2e__bit_1 -S01_0x2e_06_0x2e__0x2e__bit0 -S01_0x2e_06_0x2e__0x2e__bit1 -S01_0x2e_06_0x2e__0x2e__bit2 -S01_0x2e_06_0x2e__0x2e__bit3 -S01_0x2e_06_0x2e__0x2e__bit4 -S01_0x2e_06_0x2e__0x2e__bit5 -S01_0x2e_06_0x2e__0x2e__bit6 -S01_0x2e_06_0x2e__0x2e__bit7 -S02_0x2e_01_0x2e__0x2e__bit_10 -S02_0x2e_01_0x2e__0x2e__bit_9 -S02_0x2e_01_0x2e__0x2e__bit_8 -S02_0x2e_01_0x2e__0x2e__bit_7 -S02_0x2e_01_0x2e__0x2e__bit_6 -S02_0x2e_01_0x2e__0x2e__bit_5 -S02_0x2e_01_0x2e__0x2e__bit_4 -S02_0x2e_01_0x2e__0x2e__bit_3 -S02_0x2e_01_0x2e__0x2e__bit_2 -S02_0x2e_01_0x2e__0x2e__bit_1 -S02_0x2e_01_0x2e__0x2e__bit0 -S02_0x2e_01_0x2e__0x2e__bit1 -S02_0x2e_01_0x2e__0x2e__bit2 S02_0x2e_01_0x2e__0x2e__bit3 -S02_0x2e_01_0x2e__0x2e__bit4 -S02_0x2e_01_0x2e__0x2e__bit5 S02_0x2e_01_0x2e__0x2e__bit6 S02_0x2e_01_0x2e__0x2e__bit7 -S02_0x2e_02_0x2e__0x2e__bit_10 -S02_0x2e_02_0x2e__0x2e__bit_9 -S02_0x2e_02_0x2e__0x2e__bit_8 -S02_0x2e_02_0x2e__0x2e__bit_7 -S02_0x2e_02_0x2e__0x2e__bit_6 -S02_0x2e_02_0x2e__0x2e__bit_5 -S02_0x2e_02_0x2e__0x2e__bit_4 -S02_0x2e_02_0x2e__0x2e__bit_3 -S02_0x2e_02_0x2e__0x2e__bit_2 -S02_0x2e_02_0x2e__0x2e__bit_1 -S02_0x2e_02_0x2e__0x2e__bit0 -S02_0x2e_02_0x2e__0x2e__bit1 -S02_0x2e_02_0x2e__0x2e__bit2 S02_0x2e_02_0x2e__0x2e__bit3 -S02_0x2e_02_0x2e__0x2e__bit4 -S02_0x2e_02_0x2e__0x2e__bit5 S02_0x2e_02_0x2e__0x2e__bit6 S02_0x2e_02_0x2e__0x2e__bit7 -S02_0x2e_03_0x2e__0x2e__bit_10 -S02_0x2e_03_0x2e__0x2e__bit_9 -S02_0x2e_03_0x2e__0x2e__bit_8 -S02_0x2e_03_0x2e__0x2e__bit_7 -S02_0x2e_03_0x2e__0x2e__bit_6 -S02_0x2e_03_0x2e__0x2e__bit_5 -S02_0x2e_03_0x2e__0x2e__bit_4 -S02_0x2e_03_0x2e__0x2e__bit_3 -S02_0x2e_03_0x2e__0x2e__bit_2 -S02_0x2e_03_0x2e__0x2e__bit_1 -S02_0x2e_03_0x2e__0x2e__bit0 -S02_0x2e_03_0x2e__0x2e__bit1 -S02_0x2e_03_0x2e__0x2e__bit2 -S02_0x2e_03_0x2e__0x2e__bit3 -S02_0x2e_03_0x2e__0x2e__bit4 -S02_0x2e_03_0x2e__0x2e__bit5 -S02_0x2e_03_0x2e__0x2e__bit6 -S02_0x2e_03_0x2e__0x2e__bit7 -S02_0x2e_04_0x2e__0x2e__bit_10 -S02_0x2e_04_0x2e__0x2e__bit_9 -S02_0x2e_04_0x2e__0x2e__bit_8 -S02_0x2e_04_0x2e__0x2e__bit_7 -S02_0x2e_04_0x2e__0x2e__bit_6 -S02_0x2e_04_0x2e__0x2e__bit_5 -S02_0x2e_04_0x2e__0x2e__bit_4 -S02_0x2e_04_0x2e__0x2e__bit_3 -S02_0x2e_04_0x2e__0x2e__bit_2 -S02_0x2e_04_0x2e__0x2e__bit_1 -S02_0x2e_04_0x2e__0x2e__bit0 -S02_0x2e_04_0x2e__0x2e__bit1 -S02_0x2e_04_0x2e__0x2e__bit2 -S02_0x2e_04_0x2e__0x2e__bit3 -S02_0x2e_04_0x2e__0x2e__bit4 -S02_0x2e_04_0x2e__0x2e__bit5 -S02_0x2e_04_0x2e__0x2e__bit6 -S02_0x2e_04_0x2e__0x2e__bit7 -S02_0x2e_05_0x2e__0x2e__bit_10 -S02_0x2e_05_0x2e__0x2e__bit_9 -S02_0x2e_05_0x2e__0x2e__bit_8 -S02_0x2e_05_0x2e__0x2e__bit_7 -S02_0x2e_05_0x2e__0x2e__bit_6 -S02_0x2e_05_0x2e__0x2e__bit_5 -S02_0x2e_05_0x2e__0x2e__bit_4 -S02_0x2e_05_0x2e__0x2e__bit_3 -S02_0x2e_05_0x2e__0x2e__bit_2 -S02_0x2e_05_0x2e__0x2e__bit_1 -S02_0x2e_05_0x2e__0x2e__bit0 -S02_0x2e_05_0x2e__0x2e__bit1 -S02_0x2e_05_0x2e__0x2e__bit2 -S02_0x2e_05_0x2e__0x2e__bit3 -S02_0x2e_05_0x2e__0x2e__bit4 -S02_0x2e_05_0x2e__0x2e__bit5 -S02_0x2e_05_0x2e__0x2e__bit6 -S02_0x2e_05_0x2e__0x2e__bit7 -S02_0x2e_06_0x2e__0x2e__bit_10 -S02_0x2e_06_0x2e__0x2e__bit_9 -S02_0x2e_06_0x2e__0x2e__bit_8 -S02_0x2e_06_0x2e__0x2e__bit_7 -S02_0x2e_06_0x2e__0x2e__bit_6 -S02_0x2e_06_0x2e__0x2e__bit_5 -S02_0x2e_06_0x2e__0x2e__bit_4 -S02_0x2e_06_0x2e__0x2e__bit_3 -S02_0x2e_06_0x2e__0x2e__bit_2 -S02_0x2e_06_0x2e__0x2e__bit_1 -S02_0x2e_06_0x2e__0x2e__bit0 -S02_0x2e_06_0x2e__0x2e__bit1 -S02_0x2e_06_0x2e__0x2e__bit2 -S02_0x2e_06_0x2e__0x2e__bit3 -S02_0x2e_06_0x2e__0x2e__bit4 -S02_0x2e_06_0x2e__0x2e__bit5 -S02_0x2e_06_0x2e__0x2e__bit6 -S02_0x2e_06_0x2e__0x2e__bit7 -S03_0x2e_01_0x2e__0x2e__bit_10 -S03_0x2e_01_0x2e__0x2e__bit_9 -S03_0x2e_01_0x2e__0x2e__bit_8 -S03_0x2e_01_0x2e__0x2e__bit_7 -S03_0x2e_01_0x2e__0x2e__bit_6 -S03_0x2e_01_0x2e__0x2e__bit_5 -S03_0x2e_01_0x2e__0x2e__bit_4 -S03_0x2e_01_0x2e__0x2e__bit_3 -S03_0x2e_01_0x2e__0x2e__bit_2 -S03_0x2e_01_0x2e__0x2e__bit_1 -S03_0x2e_01_0x2e__0x2e__bit0 -S03_0x2e_01_0x2e__0x2e__bit1 S03_0x2e_01_0x2e__0x2e__bit2 -S03_0x2e_01_0x2e__0x2e__bit3 -S03_0x2e_01_0x2e__0x2e__bit4 S03_0x2e_01_0x2e__0x2e__bit5 S03_0x2e_01_0x2e__0x2e__bit6 -S03_0x2e_02_0x2e__0x2e__bit_10 -S03_0x2e_02_0x2e__0x2e__bit_9 -S03_0x2e_02_0x2e__0x2e__bit_8 -S03_0x2e_02_0x2e__0x2e__bit_7 -S03_0x2e_02_0x2e__0x2e__bit_6 -S03_0x2e_02_0x2e__0x2e__bit_5 -S03_0x2e_02_0x2e__0x2e__bit_4 -S03_0x2e_02_0x2e__0x2e__bit_3 -S03_0x2e_02_0x2e__0x2e__bit_2 -S03_0x2e_02_0x2e__0x2e__bit_1 -S03_0x2e_02_0x2e__0x2e__bit0 -S03_0x2e_02_0x2e__0x2e__bit1 S03_0x2e_02_0x2e__0x2e__bit2 -S03_0x2e_02_0x2e__0x2e__bit3 -S03_0x2e_02_0x2e__0x2e__bit4 S03_0x2e_02_0x2e__0x2e__bit5 S03_0x2e_02_0x2e__0x2e__bit6 -S03_0x2e_03_0x2e__0x2e__bit_10 -S03_0x2e_03_0x2e__0x2e__bit_9 -S03_0x2e_03_0x2e__0x2e__bit_8 -S03_0x2e_03_0x2e__0x2e__bit_7 -S03_0x2e_03_0x2e__0x2e__bit_6 -S03_0x2e_03_0x2e__0x2e__bit_5 -S03_0x2e_03_0x2e__0x2e__bit_4 -S03_0x2e_03_0x2e__0x2e__bit_3 -S03_0x2e_03_0x2e__0x2e__bit_2 -S03_0x2e_03_0x2e__0x2e__bit_1 -S03_0x2e_03_0x2e__0x2e__bit0 -S03_0x2e_03_0x2e__0x2e__bit1 S03_0x2e_03_0x2e__0x2e__bit2 -S03_0x2e_03_0x2e__0x2e__bit3 -S03_0x2e_03_0x2e__0x2e__bit4 S03_0x2e_03_0x2e__0x2e__bit5 S03_0x2e_03_0x2e__0x2e__bit6 -S03_0x2e_04_0x2e__0x2e__bit_10 -S03_0x2e_04_0x2e__0x2e__bit_9 -S03_0x2e_04_0x2e__0x2e__bit_8 -S03_0x2e_04_0x2e__0x2e__bit_7 -S03_0x2e_04_0x2e__0x2e__bit_6 -S03_0x2e_04_0x2e__0x2e__bit_5 -S03_0x2e_04_0x2e__0x2e__bit_4 -S03_0x2e_04_0x2e__0x2e__bit_3 -S03_0x2e_04_0x2e__0x2e__bit_2 -S03_0x2e_04_0x2e__0x2e__bit_1 -S03_0x2e_04_0x2e__0x2e__bit0 -S03_0x2e_04_0x2e__0x2e__bit1 -S03_0x2e_04_0x2e__0x2e__bit2 -S03_0x2e_04_0x2e__0x2e__bit3 -S03_0x2e_04_0x2e__0x2e__bit4 -S03_0x2e_04_0x2e__0x2e__bit5 -S03_0x2e_04_0x2e__0x2e__bit6 -S03_0x2e_05_0x2e__0x2e__bit_10 -S03_0x2e_05_0x2e__0x2e__bit_9 -S03_0x2e_05_0x2e__0x2e__bit_8 -S03_0x2e_05_0x2e__0x2e__bit_7 -S03_0x2e_05_0x2e__0x2e__bit_6 -S03_0x2e_05_0x2e__0x2e__bit_5 -S03_0x2e_05_0x2e__0x2e__bit_4 -S03_0x2e_05_0x2e__0x2e__bit_3 -S03_0x2e_05_0x2e__0x2e__bit_2 -S03_0x2e_05_0x2e__0x2e__bit_1 -S03_0x2e_05_0x2e__0x2e__bit0 -S03_0x2e_05_0x2e__0x2e__bit1 -S03_0x2e_05_0x2e__0x2e__bit2 -S03_0x2e_05_0x2e__0x2e__bit3 -S03_0x2e_05_0x2e__0x2e__bit4 -S03_0x2e_05_0x2e__0x2e__bit5 -S03_0x2e_05_0x2e__0x2e__bit6 -S03_0x2e_06_0x2e__0x2e__bit_10 -S03_0x2e_06_0x2e__0x2e__bit_9 -S03_0x2e_06_0x2e__0x2e__bit_8 -S03_0x2e_06_0x2e__0x2e__bit_7 -S03_0x2e_06_0x2e__0x2e__bit_6 -S03_0x2e_06_0x2e__0x2e__bit_5 -S03_0x2e_06_0x2e__0x2e__bit_4 -S03_0x2e_06_0x2e__0x2e__bit_3 -S03_0x2e_06_0x2e__0x2e__bit_2 -S03_0x2e_06_0x2e__0x2e__bit_1 -S03_0x2e_06_0x2e__0x2e__bit0 -S03_0x2e_06_0x2e__0x2e__bit1 -S03_0x2e_06_0x2e__0x2e__bit2 -S03_0x2e_06_0x2e__0x2e__bit3 -S03_0x2e_06_0x2e__0x2e__bit4 -S03_0x2e_06_0x2e__0x2e__bit5 -S03_0x2e_06_0x2e__0x2e__bit6 -S04_0x2e_01_0x2e__0x2e__bit_10 -S04_0x2e_01_0x2e__0x2e__bit_9 -S04_0x2e_01_0x2e__0x2e__bit_8 -S04_0x2e_01_0x2e__0x2e__bit_7 -S04_0x2e_01_0x2e__0x2e__bit_6 -S04_0x2e_01_0x2e__0x2e__bit_5 -S04_0x2e_01_0x2e__0x2e__bit_4 -S04_0x2e_01_0x2e__0x2e__bit_3 -S04_0x2e_01_0x2e__0x2e__bit_2 -S04_0x2e_01_0x2e__0x2e__bit_1 -S04_0x2e_01_0x2e__0x2e__bit0 -S04_0x2e_01_0x2e__0x2e__bit1 S04_0x2e_01_0x2e__0x2e__bit2 -S04_0x2e_01_0x2e__0x2e__bit3 -S04_0x2e_01_0x2e__0x2e__bit4 S04_0x2e_01_0x2e__0x2e__bit5 S04_0x2e_01_0x2e__0x2e__bit6 -S04_0x2e_02_0x2e__0x2e__bit_10 -S04_0x2e_02_0x2e__0x2e__bit_9 -S04_0x2e_02_0x2e__0x2e__bit_8 -S04_0x2e_02_0x2e__0x2e__bit_7 -S04_0x2e_02_0x2e__0x2e__bit_6 -S04_0x2e_02_0x2e__0x2e__bit_5 -S04_0x2e_02_0x2e__0x2e__bit_4 -S04_0x2e_02_0x2e__0x2e__bit_3 -S04_0x2e_02_0x2e__0x2e__bit_2 -S04_0x2e_02_0x2e__0x2e__bit_1 -S04_0x2e_02_0x2e__0x2e__bit0 -S04_0x2e_02_0x2e__0x2e__bit1 S04_0x2e_02_0x2e__0x2e__bit2 -S04_0x2e_02_0x2e__0x2e__bit3 -S04_0x2e_02_0x2e__0x2e__bit4 S04_0x2e_02_0x2e__0x2e__bit5 S04_0x2e_02_0x2e__0x2e__bit6 -S04_0x2e_03_0x2e__0x2e__bit_10 -S04_0x2e_03_0x2e__0x2e__bit_9 -S04_0x2e_03_0x2e__0x2e__bit_8 -S04_0x2e_03_0x2e__0x2e__bit_7 -S04_0x2e_03_0x2e__0x2e__bit_6 -S04_0x2e_03_0x2e__0x2e__bit_5 -S04_0x2e_03_0x2e__0x2e__bit_4 -S04_0x2e_03_0x2e__0x2e__bit_3 -S04_0x2e_03_0x2e__0x2e__bit_2 -S04_0x2e_03_0x2e__0x2e__bit_1 -S04_0x2e_03_0x2e__0x2e__bit0 -S04_0x2e_03_0x2e__0x2e__bit1 S04_0x2e_03_0x2e__0x2e__bit2 -S04_0x2e_03_0x2e__0x2e__bit3 -S04_0x2e_03_0x2e__0x2e__bit4 S04_0x2e_03_0x2e__0x2e__bit5 S04_0x2e_03_0x2e__0x2e__bit6 -S04_0x2e_04_0x2e__0x2e__bit_10 -S04_0x2e_04_0x2e__0x2e__bit_9 -S04_0x2e_04_0x2e__0x2e__bit_8 -S04_0x2e_04_0x2e__0x2e__bit_7 -S04_0x2e_04_0x2e__0x2e__bit_6 -S04_0x2e_04_0x2e__0x2e__bit_5 -S04_0x2e_04_0x2e__0x2e__bit_4 -S04_0x2e_04_0x2e__0x2e__bit_3 -S04_0x2e_04_0x2e__0x2e__bit_2 -S04_0x2e_04_0x2e__0x2e__bit_1 -S04_0x2e_04_0x2e__0x2e__bit0 -S04_0x2e_04_0x2e__0x2e__bit1 S04_0x2e_04_0x2e__0x2e__bit2 -S04_0x2e_04_0x2e__0x2e__bit3 -S04_0x2e_04_0x2e__0x2e__bit4 S04_0x2e_04_0x2e__0x2e__bit5 S04_0x2e_04_0x2e__0x2e__bit6 -S04_0x2e_05_0x2e__0x2e__bit_10 -S04_0x2e_05_0x2e__0x2e__bit_9 -S04_0x2e_05_0x2e__0x2e__bit_8 -S04_0x2e_05_0x2e__0x2e__bit_7 -S04_0x2e_05_0x2e__0x2e__bit_6 -S04_0x2e_05_0x2e__0x2e__bit_5 -S04_0x2e_05_0x2e__0x2e__bit_4 -S04_0x2e_05_0x2e__0x2e__bit_3 -S04_0x2e_05_0x2e__0x2e__bit_2 -S04_0x2e_05_0x2e__0x2e__bit_1 -S04_0x2e_05_0x2e__0x2e__bit0 -S04_0x2e_05_0x2e__0x2e__bit1 S04_0x2e_05_0x2e__0x2e__bit2 -S04_0x2e_05_0x2e__0x2e__bit3 -S04_0x2e_05_0x2e__0x2e__bit4 S04_0x2e_05_0x2e__0x2e__bit5 S04_0x2e_05_0x2e__0x2e__bit6 -S04_0x2e_06_0x2e__0x2e__bit_10 -S04_0x2e_06_0x2e__0x2e__bit_9 -S04_0x2e_06_0x2e__0x2e__bit_8 -S04_0x2e_06_0x2e__0x2e__bit_7 -S04_0x2e_06_0x2e__0x2e__bit_6 -S04_0x2e_06_0x2e__0x2e__bit_5 -S04_0x2e_06_0x2e__0x2e__bit_4 -S04_0x2e_06_0x2e__0x2e__bit_3 -S04_0x2e_06_0x2e__0x2e__bit_2 -S04_0x2e_06_0x2e__0x2e__bit_1 -S04_0x2e_06_0x2e__0x2e__bit0 -S04_0x2e_06_0x2e__0x2e__bit1 -S04_0x2e_06_0x2e__0x2e__bit2 -S04_0x2e_06_0x2e__0x2e__bit3 -S04_0x2e_06_0x2e__0x2e__bit4 -S04_0x2e_06_0x2e__0x2e__bit5 -S04_0x2e_06_0x2e__0x2e__bit6 -S05_0x2e_01_0x2e__0x2e__bit_10 -S05_0x2e_01_0x2e__0x2e__bit_9 -S05_0x2e_01_0x2e__0x2e__bit_8 -S05_0x2e_01_0x2e__0x2e__bit_7 -S05_0x2e_01_0x2e__0x2e__bit_6 -S05_0x2e_01_0x2e__0x2e__bit_5 -S05_0x2e_01_0x2e__0x2e__bit_4 -S05_0x2e_01_0x2e__0x2e__bit_3 -S05_0x2e_01_0x2e__0x2e__bit_2 -S05_0x2e_01_0x2e__0x2e__bit_1 -S05_0x2e_01_0x2e__0x2e__bit0 -S05_0x2e_01_0x2e__0x2e__bit1 S05_0x2e_01_0x2e__0x2e__bit2 S05_0x2e_01_0x2e__0x2e__bit3 -S05_0x2e_01_0x2e__0x2e__bit4 S05_0x2e_01_0x2e__0x2e__bit5 -S05_0x2e_01_0x2e__0x2e__bit6 -S05_0x2e_01_0x2e__0x2e__bit7 S05_0x2e_01_0x2e__0x2e__bit8 -S05_0x2e_02_0x2e__0x2e__bit_10 -S05_0x2e_02_0x2e__0x2e__bit_9 -S05_0x2e_02_0x2e__0x2e__bit_8 -S05_0x2e_02_0x2e__0x2e__bit_7 -S05_0x2e_02_0x2e__0x2e__bit_6 -S05_0x2e_02_0x2e__0x2e__bit_5 -S05_0x2e_02_0x2e__0x2e__bit_4 -S05_0x2e_02_0x2e__0x2e__bit_3 -S05_0x2e_02_0x2e__0x2e__bit_2 -S05_0x2e_02_0x2e__0x2e__bit_1 -S05_0x2e_02_0x2e__0x2e__bit0 -S05_0x2e_02_0x2e__0x2e__bit1 S05_0x2e_02_0x2e__0x2e__bit2 S05_0x2e_02_0x2e__0x2e__bit3 -S05_0x2e_02_0x2e__0x2e__bit4 S05_0x2e_02_0x2e__0x2e__bit5 -S05_0x2e_02_0x2e__0x2e__bit6 -S05_0x2e_02_0x2e__0x2e__bit7 S05_0x2e_02_0x2e__0x2e__bit8 -S05_0x2e_03_0x2e__0x2e__bit_10 -S05_0x2e_03_0x2e__0x2e__bit_9 -S05_0x2e_03_0x2e__0x2e__bit_8 -S05_0x2e_03_0x2e__0x2e__bit_7 -S05_0x2e_03_0x2e__0x2e__bit_6 -S05_0x2e_03_0x2e__0x2e__bit_5 -S05_0x2e_03_0x2e__0x2e__bit_4 -S05_0x2e_03_0x2e__0x2e__bit_3 -S05_0x2e_03_0x2e__0x2e__bit_2 -S05_0x2e_03_0x2e__0x2e__bit_1 -S05_0x2e_03_0x2e__0x2e__bit0 -S05_0x2e_03_0x2e__0x2e__bit1 S05_0x2e_03_0x2e__0x2e__bit2 S05_0x2e_03_0x2e__0x2e__bit3 -S05_0x2e_03_0x2e__0x2e__bit4 S05_0x2e_03_0x2e__0x2e__bit5 -S05_0x2e_03_0x2e__0x2e__bit6 -S05_0x2e_03_0x2e__0x2e__bit7 S05_0x2e_03_0x2e__0x2e__bit8 -S05_0x2e_04_0x2e__0x2e__bit_10 -S05_0x2e_04_0x2e__0x2e__bit_9 -S05_0x2e_04_0x2e__0x2e__bit_8 -S05_0x2e_04_0x2e__0x2e__bit_7 -S05_0x2e_04_0x2e__0x2e__bit_6 -S05_0x2e_04_0x2e__0x2e__bit_5 -S05_0x2e_04_0x2e__0x2e__bit_4 -S05_0x2e_04_0x2e__0x2e__bit_3 -S05_0x2e_04_0x2e__0x2e__bit_2 -S05_0x2e_04_0x2e__0x2e__bit_1 -S05_0x2e_04_0x2e__0x2e__bit0 -S05_0x2e_04_0x2e__0x2e__bit1 -S05_0x2e_04_0x2e__0x2e__bit2 -S05_0x2e_04_0x2e__0x2e__bit3 -S05_0x2e_04_0x2e__0x2e__bit4 -S05_0x2e_04_0x2e__0x2e__bit5 -S05_0x2e_04_0x2e__0x2e__bit6 -S05_0x2e_04_0x2e__0x2e__bit7 -S05_0x2e_04_0x2e__0x2e__bit8 -S05_0x2e_05_0x2e__0x2e__bit_10 -S05_0x2e_05_0x2e__0x2e__bit_9 -S05_0x2e_05_0x2e__0x2e__bit_8 -S05_0x2e_05_0x2e__0x2e__bit_7 -S05_0x2e_05_0x2e__0x2e__bit_6 -S05_0x2e_05_0x2e__0x2e__bit_5 -S05_0x2e_05_0x2e__0x2e__bit_4 -S05_0x2e_05_0x2e__0x2e__bit_3 -S05_0x2e_05_0x2e__0x2e__bit_2 -S05_0x2e_05_0x2e__0x2e__bit_1 -S05_0x2e_05_0x2e__0x2e__bit0 -S05_0x2e_05_0x2e__0x2e__bit1 -S05_0x2e_05_0x2e__0x2e__bit2 -S05_0x2e_05_0x2e__0x2e__bit3 -S05_0x2e_05_0x2e__0x2e__bit4 -S05_0x2e_05_0x2e__0x2e__bit5 -S05_0x2e_05_0x2e__0x2e__bit6 -S05_0x2e_05_0x2e__0x2e__bit7 -S05_0x2e_05_0x2e__0x2e__bit8 -S05_0x2e_06_0x2e__0x2e__bit_10 -S05_0x2e_06_0x2e__0x2e__bit_9 -S05_0x2e_06_0x2e__0x2e__bit_8 -S05_0x2e_06_0x2e__0x2e__bit_7 -S05_0x2e_06_0x2e__0x2e__bit_6 -S05_0x2e_06_0x2e__0x2e__bit_5 -S05_0x2e_06_0x2e__0x2e__bit_4 -S05_0x2e_06_0x2e__0x2e__bit_3 -S05_0x2e_06_0x2e__0x2e__bit_2 -S05_0x2e_06_0x2e__0x2e__bit_1 -S05_0x2e_06_0x2e__0x2e__bit0 -S05_0x2e_06_0x2e__0x2e__bit1 -S05_0x2e_06_0x2e__0x2e__bit2 -S05_0x2e_06_0x2e__0x2e__bit3 -S05_0x2e_06_0x2e__0x2e__bit4 -S05_0x2e_06_0x2e__0x2e__bit5 -S05_0x2e_06_0x2e__0x2e__bit6 -S05_0x2e_06_0x2e__0x2e__bit7 -S05_0x2e_06_0x2e__0x2e__bit8 -S06_0x2e_01_0x2e__0x2e__bit_10 -S06_0x2e_01_0x2e__0x2e__bit_9 -S06_0x2e_01_0x2e__0x2e__bit_8 -S06_0x2e_01_0x2e__0x2e__bit_7 -S06_0x2e_01_0x2e__0x2e__bit_6 -S06_0x2e_01_0x2e__0x2e__bit_5 -S06_0x2e_01_0x2e__0x2e__bit_4 -S06_0x2e_01_0x2e__0x2e__bit_3 -S06_0x2e_01_0x2e__0x2e__bit_2 -S06_0x2e_01_0x2e__0x2e__bit_1 -S06_0x2e_01_0x2e__0x2e__bit0 S06_0x2e_01_0x2e__0x2e__bit1 -S06_0x2e_01_0x2e__0x2e__bit2 -S06_0x2e_01_0x2e__0x2e__bit3 S06_0x2e_01_0x2e__0x2e__bit4 S06_0x2e_01_0x2e__0x2e__bit5 -S06_0x2e_01_0x2e__0x2e__bit6 -S06_0x2e_02_0x2e__0x2e__bit_10 -S06_0x2e_02_0x2e__0x2e__bit_9 -S06_0x2e_02_0x2e__0x2e__bit_8 -S06_0x2e_02_0x2e__0x2e__bit_7 -S06_0x2e_02_0x2e__0x2e__bit_6 -S06_0x2e_02_0x2e__0x2e__bit_5 -S06_0x2e_02_0x2e__0x2e__bit_4 -S06_0x2e_02_0x2e__0x2e__bit_3 -S06_0x2e_02_0x2e__0x2e__bit_2 -S06_0x2e_02_0x2e__0x2e__bit_1 -S06_0x2e_02_0x2e__0x2e__bit0 -S06_0x2e_02_0x2e__0x2e__bit1 S06_0x2e_02_0x2e__0x2e__bit2 -S06_0x2e_02_0x2e__0x2e__bit3 -S06_0x2e_02_0x2e__0x2e__bit4 S06_0x2e_02_0x2e__0x2e__bit5 S06_0x2e_02_0x2e__0x2e__bit6 -S06_0x2e_03_0x2e__0x2e__bit_10 -S06_0x2e_03_0x2e__0x2e__bit_9 -S06_0x2e_03_0x2e__0x2e__bit_8 -S06_0x2e_03_0x2e__0x2e__bit_7 -S06_0x2e_03_0x2e__0x2e__bit_6 -S06_0x2e_03_0x2e__0x2e__bit_5 -S06_0x2e_03_0x2e__0x2e__bit_4 -S06_0x2e_03_0x2e__0x2e__bit_3 -S06_0x2e_03_0x2e__0x2e__bit_2 -S06_0x2e_03_0x2e__0x2e__bit_1 -S06_0x2e_03_0x2e__0x2e__bit0 -S06_0x2e_03_0x2e__0x2e__bit1 S06_0x2e_03_0x2e__0x2e__bit2 -S06_0x2e_03_0x2e__0x2e__bit3 -S06_0x2e_03_0x2e__0x2e__bit4 S06_0x2e_03_0x2e__0x2e__bit5 S06_0x2e_03_0x2e__0x2e__bit6 -S06_0x2e_04_0x2e__0x2e__bit_10 -S06_0x2e_04_0x2e__0x2e__bit_9 -S06_0x2e_04_0x2e__0x2e__bit_8 -S06_0x2e_04_0x2e__0x2e__bit_7 -S06_0x2e_04_0x2e__0x2e__bit_6 -S06_0x2e_04_0x2e__0x2e__bit_5 -S06_0x2e_04_0x2e__0x2e__bit_4 -S06_0x2e_04_0x2e__0x2e__bit_3 -S06_0x2e_04_0x2e__0x2e__bit_2 -S06_0x2e_04_0x2e__0x2e__bit_1 -S06_0x2e_04_0x2e__0x2e__bit0 -S06_0x2e_04_0x2e__0x2e__bit1 S06_0x2e_04_0x2e__0x2e__bit2 -S06_0x2e_04_0x2e__0x2e__bit3 -S06_0x2e_04_0x2e__0x2e__bit4 S06_0x2e_04_0x2e__0x2e__bit5 S06_0x2e_04_0x2e__0x2e__bit6 -S06_0x2e_05_0x2e__0x2e__bit_10 -S06_0x2e_05_0x2e__0x2e__bit_9 -S06_0x2e_05_0x2e__0x2e__bit_8 -S06_0x2e_05_0x2e__0x2e__bit_7 -S06_0x2e_05_0x2e__0x2e__bit_6 -S06_0x2e_05_0x2e__0x2e__bit_5 -S06_0x2e_05_0x2e__0x2e__bit_4 -S06_0x2e_05_0x2e__0x2e__bit_3 -S06_0x2e_05_0x2e__0x2e__bit_2 -S06_0x2e_05_0x2e__0x2e__bit_1 -S06_0x2e_05_0x2e__0x2e__bit0 -S06_0x2e_05_0x2e__0x2e__bit1 S06_0x2e_05_0x2e__0x2e__bit2 -S06_0x2e_05_0x2e__0x2e__bit3 -S06_0x2e_05_0x2e__0x2e__bit4 S06_0x2e_05_0x2e__0x2e__bit5 S06_0x2e_05_0x2e__0x2e__bit6 -S06_0x2e_06_0x2e__0x2e__bit_10 -S06_0x2e_06_0x2e__0x2e__bit_9 -S06_0x2e_06_0x2e__0x2e__bit_8 -S06_0x2e_06_0x2e__0x2e__bit_7 -S06_0x2e_06_0x2e__0x2e__bit_6 -S06_0x2e_06_0x2e__0x2e__bit_5 -S06_0x2e_06_0x2e__0x2e__bit_4 -S06_0x2e_06_0x2e__0x2e__bit_3 -S06_0x2e_06_0x2e__0x2e__bit_2 -S06_0x2e_06_0x2e__0x2e__bit_1 -S06_0x2e_06_0x2e__0x2e__bit0 -S06_0x2e_06_0x2e__0x2e__bit1 S06_0x2e_06_0x2e__0x2e__bit2 -S06_0x2e_06_0x2e__0x2e__bit3 -S06_0x2e_06_0x2e__0x2e__bit4 S06_0x2e_06_0x2e__0x2e__bit5 S06_0x2e_06_0x2e__0x2e__bit6 -S07_0x2e_01_0x2e__0x2e__bit_10 -S07_0x2e_01_0x2e__0x2e__bit_9 -S07_0x2e_01_0x2e__0x2e__bit_8 -S07_0x2e_01_0x2e__0x2e__bit_7 -S07_0x2e_01_0x2e__0x2e__bit_6 -S07_0x2e_01_0x2e__0x2e__bit_5 -S07_0x2e_01_0x2e__0x2e__bit_4 -S07_0x2e_01_0x2e__0x2e__bit_3 -S07_0x2e_01_0x2e__0x2e__bit_2 -S07_0x2e_01_0x2e__0x2e__bit_1 -S07_0x2e_01_0x2e__0x2e__bit0 -S07_0x2e_01_0x2e__0x2e__bit1 S07_0x2e_01_0x2e__0x2e__bit2 -S07_0x2e_01_0x2e__0x2e__bit3 -S07_0x2e_01_0x2e__0x2e__bit4 S07_0x2e_01_0x2e__0x2e__bit5 S07_0x2e_01_0x2e__0x2e__bit6 -S07_0x2e_02_0x2e__0x2e__bit_10 -S07_0x2e_02_0x2e__0x2e__bit_9 -S07_0x2e_02_0x2e__0x2e__bit_8 -S07_0x2e_02_0x2e__0x2e__bit_7 -S07_0x2e_02_0x2e__0x2e__bit_6 -S07_0x2e_02_0x2e__0x2e__bit_5 -S07_0x2e_02_0x2e__0x2e__bit_4 -S07_0x2e_02_0x2e__0x2e__bit_3 -S07_0x2e_02_0x2e__0x2e__bit_2 -S07_0x2e_02_0x2e__0x2e__bit_1 -S07_0x2e_02_0x2e__0x2e__bit0 -S07_0x2e_02_0x2e__0x2e__bit1 -S07_0x2e_02_0x2e__0x2e__bit2 -S07_0x2e_02_0x2e__0x2e__bit3 -S07_0x2e_02_0x2e__0x2e__bit4 -S07_0x2e_02_0x2e__0x2e__bit5 -S07_0x2e_02_0x2e__0x2e__bit6 -S07_0x2e_03_0x2e__0x2e__bit_10 -S07_0x2e_03_0x2e__0x2e__bit_9 -S07_0x2e_03_0x2e__0x2e__bit_8 -S07_0x2e_03_0x2e__0x2e__bit_7 -S07_0x2e_03_0x2e__0x2e__bit_6 -S07_0x2e_03_0x2e__0x2e__bit_5 -S07_0x2e_03_0x2e__0x2e__bit_4 -S07_0x2e_03_0x2e__0x2e__bit_3 -S07_0x2e_03_0x2e__0x2e__bit_2 -S07_0x2e_03_0x2e__0x2e__bit_1 -S07_0x2e_03_0x2e__0x2e__bit0 -S07_0x2e_03_0x2e__0x2e__bit1 -S07_0x2e_03_0x2e__0x2e__bit2 -S07_0x2e_03_0x2e__0x2e__bit3 -S07_0x2e_03_0x2e__0x2e__bit4 -S07_0x2e_03_0x2e__0x2e__bit5 -S07_0x2e_03_0x2e__0x2e__bit6 -S07_0x2e_04_0x2e__0x2e__bit_10 -S07_0x2e_04_0x2e__0x2e__bit_9 -S07_0x2e_04_0x2e__0x2e__bit_8 -S07_0x2e_04_0x2e__0x2e__bit_7 -S07_0x2e_04_0x2e__0x2e__bit_6 -S07_0x2e_04_0x2e__0x2e__bit_5 -S07_0x2e_04_0x2e__0x2e__bit_4 -S07_0x2e_04_0x2e__0x2e__bit_3 -S07_0x2e_04_0x2e__0x2e__bit_2 -S07_0x2e_04_0x2e__0x2e__bit_1 -S07_0x2e_04_0x2e__0x2e__bit0 -S07_0x2e_04_0x2e__0x2e__bit1 -S07_0x2e_04_0x2e__0x2e__bit2 -S07_0x2e_04_0x2e__0x2e__bit3 -S07_0x2e_04_0x2e__0x2e__bit4 -S07_0x2e_04_0x2e__0x2e__bit5 -S07_0x2e_04_0x2e__0x2e__bit6 -S07_0x2e_05_0x2e__0x2e__bit_10 -S07_0x2e_05_0x2e__0x2e__bit_9 -S07_0x2e_05_0x2e__0x2e__bit_8 -S07_0x2e_05_0x2e__0x2e__bit_7 -S07_0x2e_05_0x2e__0x2e__bit_6 -S07_0x2e_05_0x2e__0x2e__bit_5 -S07_0x2e_05_0x2e__0x2e__bit_4 -S07_0x2e_05_0x2e__0x2e__bit_3 -S07_0x2e_05_0x2e__0x2e__bit_2 -S07_0x2e_05_0x2e__0x2e__bit_1 -S07_0x2e_05_0x2e__0x2e__bit0 -S07_0x2e_05_0x2e__0x2e__bit1 -S07_0x2e_05_0x2e__0x2e__bit2 -S07_0x2e_05_0x2e__0x2e__bit3 -S07_0x2e_05_0x2e__0x2e__bit4 -S07_0x2e_05_0x2e__0x2e__bit5 -S07_0x2e_05_0x2e__0x2e__bit6 -S07_0x2e_06_0x2e__0x2e__bit_10 -S07_0x2e_06_0x2e__0x2e__bit_9 -S07_0x2e_06_0x2e__0x2e__bit_8 -S07_0x2e_06_0x2e__0x2e__bit_7 -S07_0x2e_06_0x2e__0x2e__bit_6 -S07_0x2e_06_0x2e__0x2e__bit_5 -S07_0x2e_06_0x2e__0x2e__bit_4 -S07_0x2e_06_0x2e__0x2e__bit_3 -S07_0x2e_06_0x2e__0x2e__bit_2 -S07_0x2e_06_0x2e__0x2e__bit_1 -S07_0x2e_06_0x2e__0x2e__bit0 -S07_0x2e_06_0x2e__0x2e__bit1 -S07_0x2e_06_0x2e__0x2e__bit2 -S07_0x2e_06_0x2e__0x2e__bit3 -S07_0x2e_06_0x2e__0x2e__bit4 -S07_0x2e_06_0x2e__0x2e__bit5 -S07_0x2e_06_0x2e__0x2e__bit6
c _______________________________________________________________________________
c 
c restarts              : 82
c conflicts             : 38996          (85 /sec)
c decisions             : 348519         (760 /sec)
c propagations          : 0              (0 /sec)
c inspects              : 0              (0 /sec)
c CPU time              : 458.5 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.92 0.95 0.91 2/54 17482
Raw data (stat): 17482 (runsolver) R 17481 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 491602374 1052672 99 4294967295 134512640 135381576 3221224432 3221219676 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+9.99987 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 34272 0 0 0 916 81 0 0 25 0 1 0 491602374 149078016 32063 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36396 32063 603 41 0 36355 0
vsize: 145584
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 34783 0 0 0 1914 83 0 0 25 0 1 0 491602374 150888448 32574 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36838 32574 603 41 0 36797 0
vsize: 147352
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 35045 0 0 0 2913 84 0 0 25 0 1 0 491602374 151560192 32836 4294967295 134512640 134672761 3221224544 3221223648 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37002 32836 603 41 0 36961 0
vsize: 148008
[startup+40.0008 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 35203 0 0 0 3913 84 0 0 25 0 1 0 491602374 152227840 32994 4294967295 134512640 134672761 3221224544 3221223712 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37165 32994 603 41 0 37124 0
vsize: 148660
[startup+50.0015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 35296 0 0 0 4912 85 0 0 25 0 1 0 491602374 152629248 33087 4294967295 134512640 134672761 3221224544 3221223712 134560839 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37263 33087 603 41 0 37222 0
vsize: 149052
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 35998 0 0 0 5910 87 0 0 25 0 1 0 491602374 155115520 33789 4294967295 134512640 134672761 3221224544 3221223712 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37870 33789 603 41 0 37829 0
vsize: 151480
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 36077 0 0 0 6909 88 0 0 25 0 1 0 491602374 155521024 33868 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37969 33868 603 41 0 37928 0
vsize: 151876
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 36168 0 0 0 7909 88 0 0 25 0 1 0 491602374 157343744 33959 4294967295 134512640 134672761 3221224544 3221223728 134558656 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38414 33959 603 41 0 38373 0
vsize: 153656
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 36214 0 0 0 8909 88 0 0 25 0 1 0 491602374 157622272 34005 4294967295 134512640 134672761 3221224544 3221223712 134561266 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38482 34005 603 41 0 38441 0
vsize: 153928
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 36267 0 0 0 9908 89 0 0 25 0 1 0 491602374 157757440 34058 4294967295 134512640 134672761 3221224544 3221223712 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38515 34058 603 41 0 38474 0
vsize: 154060
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 36312 0 0 0 10908 89 0 0 25 0 1 0 491602374 158023680 34103 4294967295 134512640 134672761 3221224544 3221223712 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38580 34103 603 41 0 38539 0
vsize: 154320
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 36355 0 0 0 11908 89 0 0 25 0 1 0 491602374 158154752 34146 4294967295 134512640 134672761 3221224544 3221223744 134557919 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38612 34146 603 41 0 38571 0
vsize: 154448
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 36415 0 0 0 12908 89 0 0 25 0 1 0 491602374 158425088 34206 4294967295 134512640 134672761 3221224544 3221223712 134560864 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38678 34206 603 41 0 38637 0
vsize: 154712
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 36471 0 0 0 13908 89 0 0 25 0 1 0 491602374 158683136 34262 4294967295 134512640 134672761 3221224544 3221223712 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38741 34262 603 41 0 38700 0
vsize: 154964
[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 36586 0 0 0 14909 90 0 0 25 0 1 0 491602374 159080448 34377 4294967295 134512640 134672761 3221224544 3221223712 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38838 34377 603 41 0 38797 0
vsize: 155352
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 36852 0 0 0 15908 91 0 0 25 0 1 0 491602374 160231424 34643 4294967295 134512640 134672761 3221224544 3221223712 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39119 34643 603 41 0 39078 0
vsize: 156476
[startup+170.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 36905 0 0 0 16909 91 0 0 25 0 1 0 491602374 160497664 34696 4294967295 134512640 134672761 3221224544 3221223668 134566034 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39184 34696 603 41 0 39143 0
vsize: 156736
[startup+180.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 36958 0 0 0 17910 92 0 0 25 0 1 0 491602374 160632832 34749 4294967295 134512640 134672761 3221224544 3221223712 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39217 34749 603 41 0 39176 0
vsize: 156868
[startup+190.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37000 0 0 0 18912 92 0 0 25 0 1 0 491602374 160899072 34791 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39282 34791 603 41 0 39241 0
vsize: 157128
[startup+200.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37047 0 0 0 19912 92 0 0 25 0 1 0 491602374 161034240 34838 4294967295 134512640 134672761 3221224544 3221223712 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39315 34838 603 41 0 39274 0
vsize: 157260
[startup+210.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37137 0 0 0 20912 92 0 0 25 0 1 0 491602374 161439744 34928 4294967295 134512640 134672761 3221224544 3221223712 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39414 34928 603 41 0 39373 0
vsize: 157656
[startup+220.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37193 0 0 0 21912 93 0 0 25 0 1 0 491602374 161570816 34984 4294967295 134512640 134672761 3221224544 3221223712 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39446 34984 603 41 0 39405 0
vsize: 157784
[startup+230.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37325 0 0 0 22911 93 0 0 25 0 1 0 491602374 162107392 35116 4294967295 134512640 134672761 3221224544 3221223728 134559417 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39577 35116 603 41 0 39536 0
vsize: 158308
[startup+240.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37423 0 0 0 23912 94 0 0 25 0 1 0 491602374 162504704 35214 4294967295 134512640 134672761 3221224544 3221223744 134557895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39674 35214 603 41 0 39633 0
vsize: 158696
[startup+250.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37481 0 0 0 24912 94 0 0 25 0 1 0 491602374 162766848 35272 4294967295 134512640 134672761 3221224544 3221223744 134557895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39738 35272 603 41 0 39697 0
vsize: 158952
[startup+260.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37511 0 0 0 25912 94 0 0 25 0 1 0 491602374 162902016 35302 4294967295 134512640 134672761 3221224544 3221223712 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39771 35302 603 41 0 39730 0
vsize: 159084
[startup+270.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37542 0 0 0 26912 94 0 0 25 0 1 0 491602374 162902016 35333 4294967295 134512640 134672761 3221224544 3221223844 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39771 35333 603 41 0 39730 0
vsize: 159084
[startup+280.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37566 0 0 0 27912 94 0 0 25 0 1 0 491602374 163033088 35357 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39803 35357 603 41 0 39762 0
vsize: 159212
[startup+290.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37583 0 0 0 28912 94 0 0 25 0 1 0 491602374 163168256 35374 4294967295 134512640 134672761 3221224544 3221223712 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39836 35374 603 41 0 39795 0
vsize: 159344
[startup+300.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37597 0 0 0 29912 95 0 0 25 0 1 0 491602374 163168256 35388 4294967295 134512640 134672761 3221224544 3221223728 134558687 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39836 35388 603 41 0 39795 0
vsize: 159344
[startup+310.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37620 0 0 0 30912 95 0 0 25 0 1 0 491602374 163303424 35411 4294967295 134512640 134672761 3221224544 3221223680 134565045 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39869 35411 603 41 0 39828 0
vsize: 159476
[startup+320.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37669 0 0 0 31912 95 0 0 25 0 1 0 491602374 163565568 35460 4294967295 134512640 134672761 3221224544 3221223712 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39933 35460 603 41 0 39892 0
vsize: 159732
[startup+330.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37669 0 0 0 32912 95 0 0 25 0 1 0 491602374 163565568 35460 4294967295 134512640 134672761 3221224544 3221223712 134560845 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39933 35460 603 41 0 39892 0
vsize: 159732
[startup+340.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37674 0 0 0 33912 95 0 0 25 0 1 0 491602374 163565568 35465 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39933 35465 603 41 0 39892 0
vsize: 159732
[startup+350.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37697 0 0 0 34912 95 0 0 25 0 1 0 491602374 163700736 35488 4294967295 134512640 134672761 3221224544 3221223712 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39966 35488 603 41 0 39925 0
vsize: 159864
[startup+360.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37710 0 0 0 35913 95 0 0 25 0 1 0 491602374 163700736 35501 4294967295 134512640 134672761 3221224544 3221223744 134557809 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39966 35501 603 41 0 39925 0
vsize: 159864
[startup+370.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37742 0 0 0 36913 95 0 0 25 0 1 0 491602374 163831808 35533 4294967295 134512640 134672761 3221224544 3221223616 1074718169 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39998 35533 603 41 0 39957 0
vsize: 159992
[startup+380.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37765 0 0 0 37914 95 0 0 25 0 1 0 491602374 163966976 35556 4294967295 134512640 134672761 3221224544 3221223712 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40031 35556 603 41 0 39990 0
vsize: 160124
[startup+390.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37789 0 0 0 38914 95 0 0 25 0 1 0 491602374 164102144 35580 4294967295 134512640 134672761 3221224544 3221223712 134561372 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40064 35580 603 41 0 40023 0
vsize: 160256
[startup+400.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37805 0 0 0 39914 95 0 0 25 0 1 0 491602374 164102144 35596 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40064 35596 603 41 0 40023 0
vsize: 160256
[startup+410.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37827 0 0 0 40914 95 0 0 25 0 1 0 491602374 164241408 35618 4294967295 134512640 134672761 3221224544 3221223700 134561241 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40098 35618 603 41 0 40057 0
vsize: 160392
[startup+420.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37842 0 0 0 41914 95 0 0 25 0 1 0 491602374 164241408 35633 4294967295 134512640 134672761 3221224544 3221223744 134557809 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40098 35633 603 41 0 40057 0
vsize: 160392
[startup+430.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37867 0 0 0 42914 95 0 0 25 0 1 0 491602374 164372480 35658 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40130 35658 603 41 0 40089 0
vsize: 160520
[startup+440.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37889 0 0 0 43914 96 0 0 25 0 1 0 491602374 164507648 35680 4294967295 134512640 134672761 3221224544 3221223760 134561985 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40163 35680 603 41 0 40122 0
vsize: 160652
[startup+450.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37899 0 0 0 44914 96 0 0 25 0 1 0 491602374 164507648 35690 4294967295 134512640 134672761 3221224544 3221223712 134561161 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40163 35690 603 41 0 40122 0
vsize: 160652
[startup+459.678 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 17482
Raw data (stat): 17482 (minisat+) R 17481 20937 20936 0 -1 0 37899 0 0 0 44914 96 0 0 25 0 1 0 491602374 164507648 35690 4294967295 134512640 134672761 3221224544 3221223712 134561161 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40163 35690 603 41 0 40122 0
vsize: 0

Child status: 30
Real time (s): 459.678
CPU time (s): 459.704
CPU user time (s): 458.669
CPU system time (s): 1.03484
CPU usage (%): 100.006
Max. virtual memory (Kb): 160652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	20
#### END VERIFIER DATA ####