PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-air05.opb
MD5SUM	a0fff131fa124ee4d61d9b3bf266a4ba
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	29628
Optimality of the best value was proved	NO
Number of terms in the objective function	7195
Biggest coefficient in the objective function	2679
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	3908448
Number of bits of the sum of numbers in the objective function	22
Biggest number in a constraint	2679
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	3908448
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.15
Number of variables	7195
Total number of constraints	7621
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	7621
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	404
Trace number 25804

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 15:47:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17436 boxname=wulflinc31 idbench=1342 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  a0fff131fa124ee4d61d9b3bf266a4ba  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air05.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air05.opb
IDLAUNCH: 17436
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        906344 kB
Buffers:          2660 kB
Cached:         106016 kB
SwapCached:        872 kB
Active:          63364 kB
Inactive:        47312 kB
HighTotal:      131008 kB
HighFree:        21728 kB
LowTotal:       903652 kB
LowFree:        884616 kB
SwapTotal:     2097892 kB
SwapFree:      2095820 kB
Dirty:            1164 kB
Writeback:           0 kB
Mapped:           4860 kB
Slab:            11992 kB
Committed_AS:    63844 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 16:07:12 (client local time) WITH STATUS 10 IN 1175.15 SECONDS
stats: 17436 0 1175.15 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 7195 variables and 852 constraints.
c After prepocess the problem consists of 6334 variables and 694 constraints.
c preprocess terminated 256.95 s
c Initial Lower Bound: 7937
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 45434 @ 270.545
c NEW SOLUTION FOUND: 44177 @ 270.551
c NEW SOLUTION FOUND: 44073 @ 270.561
c NEW SOLUTION FOUND: 44029 @ 270.62
c NEW SOLUTION FOUND: 43976 @ 270.767
c NEW SOLUTION FOUND: 43872 @ 270.775
c NEW SOLUTION FOUND: 43846 @ 270.892
c NEW SOLUTION FOUND: 43776 @ 274.24
c NEW SOLUTION FOUND: 43717 @ 274.256
c NEW SOLUTION FOUND: 43613 @ 274.266
c NEW SOLUTION FOUND: 43230 @ 281.458
c NEW SOLUTION FOUND: 43212 @ 281.464
c NEW SOLUTION FOUND: 42917 @ 281.49
c NEW SOLUTION FOUND: 42724 @ 281.496
c NEW SOLUTION FOUND: 42706 @ 281.524
c NEW SOLUTION FOUND: 42680 @ 281.566
c NEW SOLUTION FOUND: 42662 @ 281.603
c NEW SOLUTION FOUND: 42352 @ 281.845
c NEW SOLUTION FOUND: 42159 @ 281.85
c NEW SOLUTION FOUND: 42115 @ 281.862
c NEW SOLUTION FOUND: 41565 @ 281.878
c NEW SOLUTION FOUND: 41498 @ 282.09
c NEW SOLUTION FOUND: 41454 @ 282.192
c NEW SOLUTION FOUND: 41241 @ 283.799
c NEW SOLUTION FOUND: 41048 @ 283.804
c NEW SOLUTION FOUND: 41004 @ 283.819
c NEW SOLUTION FOUND: 40761 @ 283.832
c NEW SOLUTION FOUND: 40742 @ 288.499
c NEW SOLUTION FOUND: 40734 @ 288.53
c NEW SOLUTION FOUND: 40690 @ 288.596
c NEW SOLUTION FOUND: 40561 @ 291.975
c NEW SOLUTION FOUND: 40373 @ 291.989
c NEW SOLUTION FOUND: 40293 @ 293.116
c NEW SOLUTION FOUND: 40213 @ 293.144
c NEW SOLUTION FOUND: 40169 @ 293.249
c NEW SOLUTION FOUND: 40061 @ 295.839
c NEW SOLUTION FOUND: 40025 @ 298.11
c NEW SOLUTION FOUND: 39950 @ 298.257
c NEW SOLUTION FOUND: 39780 @ 300.103
c NEW SOLUTION FOUND: 39736 @ 300.167
c NEW SOLUTION FOUND: 39576 @ 300.506
c NEW SOLUTION FOUND: 39532 @ 300.531
c NEW SOLUTION FOUND: 39509 @ 309.933
c NEW SOLUTION FOUND: 39473 @ 315.947
c NEW SOLUTION FOUND: 39442 @ 316.152
c NEW SOLUTION FOUND: 39398 @ 316.273
s SATISFIABLE
v -x1_bit0 -x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 -x6_bit0 -x7_bit0 -x8_bit0 -x9_bit0 x10_bit0 -x11_bit0 -x12_bit0 -x13_bit0 -x14_bit0 -x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 x19_bit0 x20_bit0 x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 -x36_bit0 x37_bit0 -x38_bit0 -x39_bit0 x40_bit0 x41_bit0 -x42_bit0 -x43_bit0 x44_bit0 x45_bit0 x46_bit0 -x47_bit0 x48_bit0 x49_bit0 -x50_bit0 x51_bit0 -x52_bit0 -x53_bit0 -x54_bit0 -x55_bit0 x56_bit0 -x57_bit0 x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 -x63_bit0 -x64_bit0 -x65_bit0 -x66_bit0 x67_bit0 x68_bit0 -x69_bit0 -x70_bit0 -x71_bit0 -x72_bit0 -x73_bit0 -x74_bit0 -x75_bit0 -x76_bit0 -x77_bit0 -x78_bit0 -x79_bit0 -x80_bit0 -x81_bit0 -x82_bit0 -x83_bit0 x84_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 -x96_bit0 -x97_bit0 -x98_bit0 -x99_bit0 -x100_bit0 -x101_bit0 -x102_bit0 -x103_bit0 -x104_bit0 -x105_bit0 -x106_bit0 -x107_bit0 -x108_bit0 -x109_bit0 -x110_bit0 -x111_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 -x117_bit0 -x118_bit0 -x119_bit0 -x120_bit0 -x121_bit0 -x122_bit0 -x123_bit0 -x124_bit0 -x125_bit0 -x126_bit0 -x127_bit0 x128_bit0 -x129_bit0 -x130_bit0 -x131_bit0 -x132_bit0 -x133_bit0 -x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x138_bit0 -x139_bit0 -x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 -x145_bit0 -x146_bit0 -x147_bit0 -x148_bit0 -x149_bit0 -x150_bit0 -x151_bit0 -x152_bit0 -x153_bit0 -x154_bit0 -x155_bit0 -x156_bit0 -x157_bit0 -x158_bit0 -x159_bit0 -x160_bit0 -x161_bit0 -x162_bit0 -x163_bit0 -x164_bit0 -x165_bit0 -x166_bit0 -x167_bit0 -x168_bit0 -x169_bit0 -x170_bit0 -x171_bit0 -x172_bit0 -x173_bit0 -x174_bit0 -x175_bit0 -x176_bit0 -x177_bit0 -x178_bit0 -x179_bit0 -x180_bit0 -x181_bit0 -x182_bit0 -x183_bit0 -x184_bit0 -x185_bit0 -x186_bit0 -x187_bit0 -x188_bit0 -x189_bit0 -x190_bit0 -x191_bit0 -x192_bit0 -x193_bit0 -x194_bit0 x195_bit0 -x196_bit0 -x197_bit0 -x198_bit0 -x199_bit0 -x200_bit0 -x201_bit0 -x202_bit0 -x203_bit0 -x204_bit0 -x205_bit0 -x206_bit0 -x207_bit0 -x208_bit0 -x209_bit0 -x210_bit0 -x211_bit0 -x212_bit0 -x213_bit0 -x214_bit0 -x215_bit0 -x216_bit0 -x217_bit0 -x218_bit0 -x219_bit0 -x220_bit0 -x221_bit0 -x222_bit0 -x223_bit0 -x224_bit0 -x225_bit0 -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x235_bit0 -x236_bit0 -x237_bit0 -x238_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 -x244_bit0 -x245_bit0 -x246_bit0 -x247_bit0 -x248_bit0 -x249_bit0 -x250_bit0 -x251_bit0 -x252_bit0 -x253_bit0 -x254_bit0 -x255_bit0 -x256_bit0 -x257_bit0 -x258_bit0 -x259_bit0 -x260_bit0 -x261_bit0 -x262_bit0 -x263_bit0 -x264_bit0 -x265_bit0 -x266_bit0 -x267_bit0 -x268_bit0 -x269_bit0 -x270_bit0 -x271_bit0 -x272_bit0 -x273_bit0 -x274_bit0 -x275_bit0 -x276_bit0 -x277_bit0 -x278_bit0 -x279_bit0 x280_bit0 -x281_bit0 -x282_bit0 -x283_bit0 -x284_bit0 -x285_bit0 -x286_bit0 -x287_bit0 -x288_bit0 -x289_bit0 -x290_bit0 -x291_bit0 -x292_bit0 -x293_bit0 -x294_bit0 -x295_bit0 -x296_bit0 -x297_bit0 -x298_bit0 -x299_bit0 -x300_bit0 -x301_bit0 -x302_bit0 -x303_bit0 -x304_bit0 -x305_bit0 -x306_bit0 -x307_bit0 -x308_bit0 -x309_bit0 -x310_bit0 -x311_bit0 -x312_bit0 -x313_bit0 -x314_bit0 -x315_bit0 -x316_bit0 -x317_bit0 -x318_bit0 -x319_bit0 -x320_bit0 -x321_bit0 -x322_bit0 -x323_bit0 -x324_bit0 -x325_bit0 -x326_bit0 -x327_bit0 -x328_bit0 -x329_bit0 -x330_bit0 -x331_bit0 -x332_bit0 -x333_bit0 -x334_bit0 -x335_bit0 -x336_bit0 -x337_bit0 -x338_bit0 -x339_bit0 -x340_bit0 -x341_bit0 -x342_bit0 -x343_bit0 -x344_bit0 -x345_bit0 -x346_bit0 -x347_bit0 -x348_bit0 -x349_bit0 -x350_bit0 -x351_bit0 -x352_bit0 -x353_bit0 -x354_bit0 -x355_bit0 -x356_bit0 -x357_bit0 -x358_bit0 -x359_bit0 -x360_bit0 -x361_bit0 -x362_bit0 -x363_bit0 x364_bit0 -x365_bit0 -x366_bit0 -x367_bit0 -x368_bit0 -x369_bit0 -x370_bit0 -x371_bit0 -x372_bit0 -x373_bit0 -x374_bit0 -x375_bit0 -x376_bit0 -x377_bit0 -x378_bit0 -x379_bit0 -x380_bit0 -x381_bit0 -x382_bit0 -x383_bit0 -x384_bit0 -x385_bit0 -x386_bit0 -x387_bit0 -x388_bit0 -x389_bit0 -x390_bit0 -x391_bit0 -x392_bit0 -x393_bit0 -x394_bit0 -x395_bit0 -x396_bit0 -x397_bit0 -x398_bit0 -x399_bit0 -x400_bit0 -x401_bit0 -x402_bit0 -x403_bit0 -x404_bit0 -x405_bit0 -x406_bit0 -x407_bit0 -x408_bit0 -x409_bit0 -x410_bit0 -x411_bit0 -x412_bit0 -x413_bit0 -x414_bit0 -x415_bit0 -x416_bit0 -x417_bit0 -x418_bit0 -x419_bit0 -x420_bit0 -x421_bit0 -x422_bit0 -x423_bit0 -x424_bit0 -x425_bit0 -x426_bit0 -x427_bit0 -x428_bit0 x429_bit0 -x430_bit0 -x431_bit0 -x432_bit0 -x433_bit0 -x434_bit0 -x435_bit0 -x436_bit0 -x437_bit0 -x438_bit0 -x439_bit0 -x440_bit0 -x441_bit0 x442_bit0 -x443_bit0 -x444_bit0 -x445_bit0 -x446_bit0 -x447_bit0 -x448_bit0 -x449_bit0 -x450_bit0 -x451_bit0 -x452_bit0 -x453_bit0 -x454_bit0 -x455_bit0 -x456_bit0 -x457_bit0 -x458_bit0 -x459_bit0 -x460_bit0 -x461_bit0 -x462_bit0 -x463_bit0 -x464_bit0 -x465_bit0 -x466_bit0 -x467_bit0 -x468_bit0 -x469_bit0 -x470_bit0 -x471_bit0 -x472_bit0 -x473_bit0 -x474_bit0 -x475_bit0 -x476_bit0 -x477_bit0 -x478_bit0 -x479_bit0 -x480_bit0 -x481_bit0 -x482_bit0 -x483_bit0 -x484_bit0 -x485_bit0 -x486_bit0 -x487_bit0 -x488_bit0 -x489_bit0 -x490_bit0 -x491_bit0 -x492_bit0 -x493_bit0 -x494_bit0 -x495_bit0 -x496_bit0 -x497_bit0 -x498_bit0 -x499_bit0 -x500_bit0 -x501_bit0 -x502_bit0 -x503_bit0 -x504_bit0 -x505_bit0 -x506_bit0 -x507_bit0 -x508_bit0 -x509_bit0 -x510_bit0 -x511_bit0 -x512_bit0 -x513_bit0 -x514_bit0 -x515_bit0 -x516_bit0 -x517_bit0 -x518_bit0 -x519_bit0 -x520_bit0 -x521_bit0 -x522_bit0 -x523_bit0 -x524_bit0 -x525_bit0 -x526_bit0 -x527_bit0 -x528_bit0 -x529_bit0 -x530_bit0 -x531_bit0 -x532_bit0 -x533_bit0 -x534_bit0 -x535_bit0 -x536_bit0 -x537_bit0 -x538_bit0 -x539_bit0 -x540_bit0 -x541_bit0 -x542_bit0 -x543_bit0 -x544_bit0 -x545_bit0 -x546_bit0 -x547_bit0 -x548_bit0 -x549_bit0 -x550_bit0 -x551_bit0 -x552_bit0 -x553_bit0 -x554_bit0 -x555_bit0 -x556_bit0 -x557_bit0 -x558_bit0 -x559_bit0 -x560_bit0 -x561_bit0 -x562_bit0 -x563_bit0 -x564_bit0 -x565_bit0 -x566_bit0 -x567_bit0 -x568_bit0 -x569_bit0 -x570_bit0 -x571_bit0 -x572_bit0 -x573_bit0 -x574_bit0 -x575_bit0 -x576_bit0 -x577_bit0 -x578_bit0 -x579_bit0 -x580_bit0 -x581_bit0 -x582_bit0 -x583_bit0 -x584_bit0 -x585_bit0 -x586_bit0 -x587_bit0 x588_bit0 -x589_bit0 -x590_bit0 -x591_bit0 -x592_bit0 -x593_bit0 -x594_bit0 -x595_bit0 -x596_bit0 -x597_bit0 -x598_bit0 -x599_bit0 -x600_bit0 -x601_bit0 -x602_bit0 -x603_bit0 -x604_bit0 -x605_bit0 -x606_bit0 -x607_bit0 -x608_bit0 -x609_bit0 -x610_bit0 -x611_bit0 -x612_bit0 -x613_bit0 -x614_bit0 -x615_bit0 -x616_bit0 -x617_bit0 -x618_bit0 -x619_bit0 -x620_bit0 -x621_bit0 -x622_bit0 -x623_bit0 -x624_bit0 -x625_bit0 -x626_bit0 -x627_bit0 -x628_bit0 -x629_bit0 -x630_bit0 -x631_bit0 -x632_bit0 -x633_bit0 -x634_bit0 -x635_bit0 -x636_bit0 -x637_bit0 -x638_bit0 -x639_bit0 -x640_bit0 -x641_bit0 -x642_bit0 -x643_bit0 -x644_bit0 -x645_bit0 -x646_bit0 -x647_bit0 -x648_bit0 -x649_bit0 -x650_bit0 -x651_bit0 -x652_bit0 -x653_bit0 -x654_bit0 -x655_bit0 -x656_bit0 -x657_bit0 -x658_bit0 -x659_bit0 -x660_bit0 -x661_bit0 -x662_bit0 -x663_bit0 -x664_bit0 -x665_bit0 -x666_bit0 -x667_bit0 -x668_bit0 -x669_bit0 -x670_bit0 x671_bit0 -x672_bit0 -x673_bit0 -x674_bit0 -x675_bit0 -x676_bit0 -x677_bit0 -x678_bit0 -x679_bit0 -x680_bit0 -x681_bit0 -x682_bit0 -x683_bit0 -x684_bit0 -x685_bit0 -x686_bit0 -x687_bit0 -x688_bit0 -x689_bit0 -x690_bit0 -x691_bit0 -x692_bit0 -x693_bit0 -x694_bit0 -x695_bit0 -x696_bit0 -x697_bit0 -x698_bit0 -x699_bit0 -x700_bit0 -x701_bit0 -x702_bit0 -x703_bit0 -x704_bit0 -x705_bit0 -x706_bit0 -x707_bit0 -x708_bit0 -x709_bit0 -x710_bit0 -x711_bit0 -x712_bit0 -x713_bit0 -x714_bit0 -x715_bit0 -x716_bit0 -x717_bit0 -x718_bit0 -x719_bit0 -x720_bit0 -x721_bit0 -x722_bit0 x723_bit0 -x724_bit0 -x725_bit0 -x726_bit0 -x727_bit0 -x728_bit0 -x729_bit0 -x730_bit0 -x731_bit0 -x732_bit0 -x733_bit0 -x734_bit0 -x735_bit0 -x736_bit0 -x737_bit0 -x738_bit0 -x739_bit0 -x740_bit0 -x741_bit0 -x742_bit0 -x743_bit0 -x744_bit0 -x745_bit0 -x746_bit0 -x747_bit0 -x748_bit0 -x749_bit0 -x750_bit0 -x751_bit0 -x752_bit0 -x753_bit0 -x754_bit0 -x755_bit0 -x756_bit0 -x757_bit0 -x758_bit0 -x759_bit0 -x760_bit0 -x761_bit0 -x762_bit0 -x763_bit0 -x764_bit0 -x765_bit0 -x766_bit0 -x767_bit0 -x768_bit0 -x769_bit0 -x770_bit0 -x771_bit0 -x772_bit0 -x773_bit0 -x774_bit0 -x775_bit0 -x776_bit0 -x777_bit0 -x778_bit0 -x779_bit0 -x780_bit0 -x781_bit0 -x782_bit0 -x783_bit0 -x784_bit0 -x785_bit0 -x786_bit0 -x787_bit0 -x788_bit0 -x789_bit0 -x790_bit0 -x791_bit0 -x792_bit0 -x793_bit0 -x794_bit0 -x795_bit0 -x796_bit0 -x797_bit0 -x798_bit0 -x799_bit0 -x800_bit0 -x801_bit0 -x802_bit0 -x803_bit0 -x804_bit0 -x805_bit0 -x806_bit0 -x807_bit0 -x808_bit0 -x809_bit0 -x810_bit0 -x811_bit0 -x812_bit0 -x813_bit0 -x814_bit0 -x815_bit0 -x816_bit0 -x817_bit0 -x818_bit0 -x819_bit0 -x820_bit0 -x821_bit0 -x822_bit0 -x823_bit0 -x824_bit0 -x825_bit0 -x826_bit0 -x827_bit0 -x828_bit0 -x829_bit0 -x830_bit0 -x831_bit0 -x832_bit0 -x833_bit0 -x834_bit0 -x835_bit0 -x836_bit0 -x837_bit0 -x838_bit0 x839_bit0 -x840_bit0 -x841_bit0 -x842_bit0 -x843_bit0 -x844_bit0 -x845_bit0 -x846_bit0 -x847_bit0 -x848_bit0 -x849_bit0 -x850_bit0 -x851_bit0 -x852_bit0 -x853_bit0 -x854_bit0 -x855_bit0 -x856_bit0 -x857_bit0 -x858_bit0 -x859_bit0 -x860_bit0 -x861_bit0 -x862_bit0 -x863_bit0 -x864_bit0 -x865_bit0 -x866_bit0 -x867_bit0 -x868_bit0 -x869_bit0 -x870_bit0 -x871_bit0 -x872_bit0 -x873_bit0 -x874_bit0 -x875_bit0 -x876_bit0 -x877_bit0 -x878_bit0 -x879_bit0 -x880_bit0 -x881_bit0 -x882_bit0 -x883_bit0 -x884_bit0 -x885_bit0 -x886_bit0 -x887_bit0 -x888_bit0 -x889_bit0 -x890_bit0 -x891_bit0 -x892_bit0 -x893_bit0 -x894_bit0 -x895_bit0 -x896_bit0 -x897_bit0 -x898_bit0 -x899_bit0 -x900_bit0 -x901_bit0 -x902_bit0 -x903_bit0 -x904_bit0 -x905_bit0 -x906_bit0 -x907_bit0 -x908_bit0 -x909_bit0 -x910_bit0 -x911_bit0 -x912_bit0 -x913_bit0 -x914_bit0 -x915_bit0 -x916_bit0 -x917_bit0 -x918_bit0 -x919_bit0 -x920_bit0 -x921_bit0 -x922_bit0 -x923_bit0 -x924_bit0 -x925_bit0 -x926_bit0 -x927_bit0 -x928_bit0 -x929_bit0 -x930_bit0 -x931_bit0 -x932_bit0 -x933_bit0 -x934_bit0 -x935_bit0 -x936_bit0 -x937_bit0 -x938_bit0 -x939_bit0 -x940_bit0 -x941_bit0 -x942_bit0 -x943_bit0 -x944_bit0 -x945_bit0 -x946_bit0 -x947_bit0 -x948_bit0 -x949_bit0 -x950_bit0 -x951_bit0 -x952_bit0 x953_bit0 -x954_bit0 -x955_bit0 -x956_bit0 -x957_bit0 -x958_bit0 -x959_bit0 -x960_bit0 -x961_bit0 -x962_bit0 -x963_bit0 -x964_bit0 -x965_bit0 -x966_bit0 -x967_bit0 -x968_bit0 -x969_bit0 -x970_bit0 -x971_bit0 -x972_bit0 -x973_bit0 -x974_bit0 -x975_bit0 -x976_bit0 -x977_bit0 -x978_bit0 -x979_bit0 -x980_bit0 -x981_bit0 -x982_bit0 -x983_bit0 -x984_bit0 -x985_bit0 -x986_bit0 -x987_bit0 -x988_bit0 -x989_bit0 -x990_bit0 -x991_bit0 -x992_bit0 -x993_bit0 -x994_bit0 -x995_bit0 -x996_bit0 -x997_bit0 -x998_bit0 -x999_bit0 -x1000_bit0 -x1001_bit0 -x1002_bit0 -x1003_bit0 -x1004_bit0 -x1005_bit0 -x1006_bit0 -x1007_bit0 -x1008_bit0 -x1009_bit0 -x1010_bit0 -x1011_bit0 -x1012_bit0 -x1013_bit0 -x1014_bit0 -x1015_bit0 -x1016_bit0 -x1017_bit0 -x1018_bit0 x1019_bit0 -x1020_bit0 -x1021_bit0 -x1022_bit0 -x1023_bit0 -x1024_bit0 -x1025_bit0 -x1026_bit0 -x1027_bit0 -x1028_bit0 -x1029_bit0 -x1030_bit0 -x1031_bit0 -x1032_bit0 -x1033_bit0 -x1034_bit0 -x1035_bit0 -x1036_bit0 -x1037_bit0 -x1038_bit0 -x1039_bit0 -x1040_bit0 -x1041_bit0 -x1042_bit0 -x1043_bit0 -x1044_bit0 -x1045_bit0 -x1046_bit0 -x1047_bit0 -x1048_bit0 -x1049_bit0 -x1050_bit0 -x1051_bit0 -x1052_bit0 -x1053_bit0 -x1054_bit0 -x1055_bit0 -x1056_bit0 -x1057_bit0 -x1058_bit0 -x1059_bit0 -x1060_bit0 -x1061_bit0 -x1062_bit0 -x1063_bit0 -x1064_bit0 -x1065_bit0 -x1066_bit0 -x1067_bit0 -x1068_bit0 -x1069_bit0 -x1070_bit0 -x1071_bit0 -x1072_bit0 -x1073_bit0 -x1074_bit0 -x1075_bit0 -x1076_bit0 -x1077_bit0 -x1078_bit0 -x1079_bit0 -x1080_bit0 -x1081_bit0 -x1082_bit0 -x1083_bit0 -x1084_bit0 -x1085_bit0 -x1086_bit0 -x1087_bit0 -x1088_bit0 -x1089_bit0 -x1090_bit0 -x1091_bit0 -x1092_bit0 -x1093_bit0 -x1094_bit0 -x1095_bit0 -x1096_bit0 -x1097_bit0 -x1098_bit0 -x1099_bit0 -x1100_bit0 -x1101_bit0 -x1102_bit0 -x1103_bit0 -x1104_bit0 -x1105_bit0 -x1106_bit0 -x1107_bit0 -x1108_bit0 -x1109_bit0 -x1110_bit0 x1111_bit0 -x1112_bit0 -x1113_bit0 -x1114_bit0 -x1115_bit0 -x1116_bit0 -x1117_bit0 -x1118_bit0 -x1119_bit0 -x1120_bit0 -x1121_bit0 -x1122_bit0 -x1123_bit0 -x1124_bit0 -x1125_bit0 -x1126_bit0 -x1127_bit0 -x1128_bit0 -x1129_bit0 -x1130_bit0 -x1131_bit0 -x1132_bit0 -x1133_bit0 -x1134_bit0 -x1135_bit0 -x1136_bit0 -x1137_bit0 -x1138_bit0 -x1139_bit0 -x1140_bit0 -x1141_bit0 -x1142_bit0 -x1143_bit0 -x1144_bit0 -x1145_bit0 -x1146_bit0 -x1147_bit0 -x1148_bit0 -x1149_bit0 -x1150_bit0 -x1151_bit0 -x1152_bit0 -x1153_bit0 -x1154_bit0 -x1155_bit0 -x1156_bit0 -x1157_bit0 -x1158_bit0 -x1159_bit0 -x1160_bit0 -x1161_bit0 -x1162_bit0 -x1163_bit0 -x1164_bit0 -x1165_bit0 -x1166_bit0 -x1167_bit0 -x1168_bit0 -x1169_bit0 -x1170_bit0 -x1171_bit0 -x1172_bit0 -x1173_bit0 -x1174_bit0 -x1175_bit0 -x1176_bit0 -x1177_bit0 -x1178_bit0 -x1179_bit0 -x1180_bit0 -x1181_bit0 -x1182_bit0 -x1183_bit0 -x1184_bit0 -x1185_bit0 -x1186_bit0 -x1187_bit0 -x1188_bit0 -x1189_bit0 -x1190_bit0 -x1191_bit0 -x1192_bit0 -x1193_bit0 -x1194_bit0 -x1195_bit0 -x1196_bit0 -x1197_bit0 -x1198_bit0 -x1199_bit0 -x1200_bit0 -x1201_bit0 -x1202_bit0 -x1203_bit0 -x1204_bit0 -x1205_bit0 -x1206_bit0 -x1207_bit0 -x1208_bit0 -x1209_bit0 -x1210_bit0 -x1211_bit0 -x1212_bit0 -x1213_bit0 -x1214_bit0 -x1215_bit0 -x1216_bit0 -x1217_bit0 -x1218_bit0 -x1219_bit0 -x1220_bit0 -x1221_bit0 -x1222_bit0 x1223_bit0 -x1224_bit0 -x1225_bit0 -x1226_bit0 -x1227_bit0 -x1228_bit0 -x1229_bit0 -x1230_bit0 -x1231_bit0 -x1232_bit0 -x1233_bit0 -x1234_bit0 -x1235_bit0 -x1236_bit0 -x1237_bit0 -x1238_bit0 -x1239_bit0 -x1240_bit0 -x1241_bit0 -x1242_bit0 -x1243_bit0 -x1244_bit0 -x1245_bit0 -x1246_bit0 -x1247_bit0 -x1248_bit0 -x1249_bit0 -x1250_bit0 -x1251_bit0 -x1252_bit0 -x1253_bit0 -x1254_bit0 -x1255_bit0 -x1256_bit0 -x1257_bit0 -x1258_bit0 -x1259_bit0 -x1260_bit0 -x1261_bit0 -x1262_bit0 -x1263_bit0 -x1264_bit0 -x1265_bit0 x1266_bit0 -x1267_bit0 -x1268_bit0 -x1269_bit0 -x1270_bit0 -x1271_bit0 -x1272_bit0 -x1273_bit0 -x1274_bit0 -x1275_bit0 -x1276_bit0 -x1277_bit0 -x1278_bit0 -x1279_bit0 -x1280_bit0 -x1281_bit0 -x1282_bit0 -x1283_bit0 -x1284_bit0 -x1285_bit0 -x1286_bit0 -x1287_bit0 -x1288_bit0 -x1289_bit0 -x1290_bit0 -x1291_bit0 -x1292_bit0 -x1293_bit0 -x1294_bit0 -x1295_bit0 -x1296_bit0 -x1297_bit0 -x1298_bit0 -x1299_bit0 -x1300_bit0 -x1301_bit0 -x1302_bit0 -x1303_bit0 -x1304_bit0 -x1305_bit0 -x1306_bit0 -x1307_bit0 -x1308_bit0 -x1309_bit0 -x1310_bit0 -x1311_bit0 -x1312_bit0 -x1313_bit0 -x1314_bit0 -x1315_bit0 -x1316_bit0 -x1317_bit0 -x1318_bit0 -x1319_bit0 -x1320_bit0 -x1321_bit0 -x1322_bit0 -x1323_bit0 -x1324_bit0 -x1325_bit0 -x1326_bit0 -x1327_bit0 x1328_bit0 -x1329_bit0 -x1330_bit0 -x1331_bit0 -x1332_bit0 -x1333_bit0 -x1334_bit0 -x1335_bit0 -x1336_bit0 -x1337_bit0 -x1338_bit0 -x1339_bit0 -x1340_bit0 -x1341_bit0 -x1342_bit0 -x1343_bit0 -x1344_bit0 -x1345_bit0 -x1346_bit0 -x1347_bit0 -x1348_bit0 -x1349_bit0 -x1350_bit0 -x1351_bit0 -x1352_bit0 -x1353_bit0 -x1354_bit0 -x1355_bit0 -x1356_bit0 -x1357_bit0 -x1358_bit0 -x1359_bit0 -x1360_bit0 -x1361_bit0 -x1362_bit0 -x1363_bit0 -x1364_bit0 -x1365_bit0 -x1366_bit0 -x1367_bit0 -x1368_bit0 -x1369_bit0 -x1370_bit0 -x1371_bit0 -x1372_bit0 -x1373_bit0 -x1374_bit0 -x1375_bit0 -x1376_bit0 -x1377_bit0 -x1378_bit0 -x1379_bit0 -x1380_bit0 -x1381_bit0 -x1382_bit0 -x1383_bit0 -x1384_bit0 -x1385_bit0 -x1386_bit0 -x1387_bit0 -x1388_bit0 -x1389_bit0 -x1390_bit0 -x1391_bit0 -x1392_bit0 -x1393_bit0 -x1394_bit0 -x1395_bit0 -x1396_bit0 -x1397_bit0 -x1398_bit0 -x1399_bit0 -x1400_bit0 -x1401_bit0 -x1402_bit0 -x1403_bit0 -x1404_bit0 -x1405_bit0 -x1406_bit0 -x1407_bit0 -x1408_bit0 -x1409_bit0 -x1410_bit0 -x1411_bit0 -x1412_bit0 -x1413_bit0 -x1414_bit0 -x1415_bit0 -x1416_bit0 -x1417_bit0 -x1418_bit0 -x1419_bit0 -x1420_bit0 -x1421_bit0 -x1422_bit0 -x1423_bit0 -x1424_bit0 -x1425_bit0 -x1426_bit0 -x1427_bit0 -x1428_bit0 -x1429_bit0 -x1430_bit0 -x1431_bit0 -x1432_bit0 -x1433_bit0 -x1434_bit0 -x1435_bit0 -x1436_bit0 -x1437_bit0 -x1438_bit0 -x1439_bit0 -x1440_bit0 -x1441_bit0 -x1442_bit0 -x1443_bit0 x1444_bit0 -x1445_bit0 -x1446_bit0 -x1447_bit0 -x1448_bit0 -x1449_bit0 -x1450_bit0 -x1451_bit0 -x1452_bit0 -x1453_bit0 -x1454_bit0 -x1455_bit0 -x1456_bit0 -x1457_bit0 -x1458_bit0 -x1459_bit0 -x1460_bit0 -x1461_bit0 -x1462_bit0 -x1463_bit0 -x1464_bit0 -x1465_bit0 -x1466_bit0 -x1467_bit0 -x1468_bit0 -x1469_bit0 -x1470_bit0 -x1471_bit0 -x1472_bit0 -x1473_bit0 -x1474_bit0 -x1475_bit0 -x1476_bit0 -x1477_bit0 -x1478_bit0 -x1479_bit0 -x1480_bit0 -x1481_bit0 -x1482_bit0 -x1483_bit0 -x1484_bit0 -x1485_bit0 -x1486_bit0 -x1487_bit0 -x1488_bit0 -x1489_bit0 -x1490_bit0 -x1491_bit0 -x1492_bit0 -x1493_bit0 -x1494_bit0 -x1495_bit0 -x1496_bit0 -x1497_bit0 -x1498_bit0 -x1499_bit0 -x1500_bit0 -x1501_bit0 -x1502_bit0 -x1503_bit0 -x1504_bit0 -x1505_bit0 -x1506_bit0 -x1507_bit0 -x1508_bit0 -x1509_bit0 -x1510_bit0 -x1511_bit0 -x1512_bit0 -x1513_bit0 -x1514_bit0 -x1515_bit0 -x1516_bit0 -x1517_bit0 -x1518_bit0 -x1519_bit0 -x1520_bit0 -x1521_bit0 -x1522_bit0 -x1523_bit0 -x1524_bit0 -x1525_bit0 -x1526_bit0 -x1527_bit0 -x1528_bit0 -x1529_bit0 -x1530_bit0 -x1531_bit0 -x1532_bit0 -x1533_bit0 -x1534_bit0 -x1535_bit0 -x1536_bit0 -x1537_bit0 -x1538_bit0 -x1539_bit0 -x1540_bit0 -x1541_bit0 -x1542_bit0 -x1543_bit0 -x1544_bit0 -x1545_bit0 -x1546_bit0 -x1547_bit0 -x1548_bit0 -x1549_bit0 -x1550_bit0 -x1551_bit0 -x1552_bit0 x1553_bit0 -x1554_bit0 -x1555_bit0 -x1556_bit0 -x1557_bit0 -x1558_bit0 -x1559_bit0 -x1560_bit0 -x1561_bit0 -x1562_bit0 -x1563_bit0 -x1564_bit0 -x1565_bit0 -x1566_bit0 -x1567_bit0 -x1568_bit0 -x1569_bit0 -x1570_bit0 -x1571_bit0 -x1572_bit0 -x1573_bit0 -x1574_bit0 -x1575_bit0 -x1576_bit0 -x1577_bit0 -x1578_bit0 -x1579_bit0 -x1580_bit0 -x1581_bit0 -x1582_bit0 -x1583_bit0 -x1584_bit0 -x1585_bit0 -x1586_bit0 -x1587_bit0 -x1588_bit0 x1589_bit0 -x1590_bit0 -x1591_bit0 -x1592_bit0 -x1593_bit0 -x1594_bit0 -x1595_bit0 -x1596_bit0 -x1597_bit0 -x1598_bit0 -x1599_bit0 -x1600_bit0 -x1601_bit0 -x1602_bit0 -x1603_bit0 -x1604_bit0 -x1605_bit0 -x1606_bit0 -x1607_bit0 -x1608_bit0 -x1609_bit0 -x1610_bit0 -x1611_bit0 -x1612_bit0 -x1613_bit0 -x1614_bit0 -x1615_bit0 -x1616_bit0 -x1617_bit0 -x1618_bit0 -x1619_bit0 -x1620_bit0 -x1621_bit0 -x1622_bit0 -x1623_bit0 -x1624_bit0 -x1625_bit0 -x1626_bit0 x1627_bit0 -x1628_bit0 -x1629_bit0 -x1630_bit0 -x1631_bit0 -x1632_bit0 -x1633_bit0 -x1634_bit0 -x1635_bit0 -x1636_bit0 -x1637_bit0 -x1638_bit0 -x1639_bit0 -x1640_bit0 -x1641_bit0 -x1642_bit0 -x1643_bit0 -x1644_bit0 -x1645_bit0 -x1646_bit0 -x1647_bit0 -x1648_bit0 -x1649_bit0 -x1650_bit0 -x1651_bit0 -x1652_bit0 -x1653_bit0 -x1654_bit0 -x1655_bit0 -x1656_bit0 -x1657_bit0 -x1658_bit0 -x1659_bit0 -x1660_bit0 -x1661_bit0 -x1662_bit0 -x1663_bit0 x1664_bit0 -x1665_bit0 -x1666_bit0 -x1667_bit0 -x1668_bit0 -x1669_bit0 -x1670_bit0 -x1671_bit0 -x1672_bit0 -x1673_bit0 -x1674_bit0 -x1675_bit0 -x1676_bit0 -x1677_bit0 -x1678_bit0 -x1679_bit0 -x1680_bit0 -x1681_bit0 -x1682_bit0 -x1683_bit0 -x1684_bit0 -x1685_bit0 -x1686_bit0 -x1687_bit0 -x1688_bit0 -x1689_bit0 -x1690_bit0 -x1691_bit0 -x1692_bit0 -x1693_bit0 -x1694_bit0 -x1695_bit0 -x1696_bit0 -x1697_bit0 -x1698_bit0 -x1699_bit0 -x1700_bit0 -x1701_bit0 -x1702_bit0 -x1703_bit0 -x1704_bit0 -x1705_bit0 -x1706_bit0 -x1707_bit0 -x1708_bit0 -x1709_bit0 -x1710_bit0 -x1711_bit0 -x1712_bit0 x1713_bit0 -x1714_bit0 -x1715_bit0 -x1716_bit0 -x1717_bit0 -x1718_bit0 -x1719_bit0 -x1720_bit0 -x1721_bit0 -x1722_bit0 -x1723_bit0 -x1724_bit0 -x1725_bit0 -x1726_bit0 -x1727_bit0 -x1728_bit0 -x1729_bit0 -x1730_bit0 -x1731_bit0 -x1732_bit0 -x1733_bit0 -x1734_bit0 -x1735_bit0 -x1736_bit0 -x1737_bit0 -x1738_bit0 -x1739_bit0 -x1740_bit0 -x1741_bit0 -x1742_bit0 -x1743_bit0 -x1744_bit0 -x1745_bit0 -x1746_bit0 -x1747_bit0 -x1748_bit0 -x1749_bit0 -x1750_bit0 -x1751_bit0 -x1752_bit0 -x1753_bit0 -x1754_bit0 -x1755_bit0 -x1756_bit0 -x1757_bit0 -x1758_bit0 -x1759_bit0 -x1760_bit0 -x1761_bit0 -x1762_bit0 -x1763_bit0 -x1764_bit0 -x1765_bit0 -x1766_bit0 -x1767_bit0 -x1768_bit0 -x1769_bit0 -x1770_bit0 -x1771_bit0 -x1772_bit0 -x1773_bit0 -x1774_bit0 -x1775_bit0 -x1776_bit0 -x1777_bit0 -x1778_bit0 -x1779_bit0 -x1780_bit0 -x1781_bit0 -x1782_bit0 -x1783_bit0 -x1784_bit0 -x1785_bit0 -x1786_bit0 -x1787_bit0 -x1788_bit0 -x1789_bit0 x1790_bit0 -x1791_bit0 -x1792_bit0 -x1793_bit0 -x1794_bit0 -x1795_bit0 -x1796_bit0 -x1797_bit0 -x1798_bit0 -x1799_bit0 -x1800_bit0 -x1801_bit0 -x1802_bit0 -x1803_bit0 -x1804_bit0 -x1805_bit0 -x1806_bit0 -x1807_bit0 -x1808_bit0 -x1809_bit0 -x1810_bit0 -x1811_bit0 -x1812_bit0 -x1813_bit0 -x1814_bit0 -x1815_bit0 -x1816_bit0 -x1817_bit0 -x1818_bit0 -x1819_bit0 -x1820_bit0 -x1821_bit0 -x1822_bit0 -x1823_bit0 -x1824_bit0 -x1825_bit0 -x1826_bit0 -x1827_bit0 -x1828_bit0 -x1829_bit0 -x1830_bit0 -x1831_bit0 -x1832_bit0 -x1833_bit0 -x1834_bit0 -x1835_bit0 -x1836_bit0 -x1837_bit0 -x1838_bit0 -x1839_bit0 -x1840_bit0 -x1841_bit0 -x1842_bit0 -x1843_bit0 -x1844_bit0 -x1845_bit0 -x1846_bit0 -x1847_bit0 -x1848_bit0 -x1849_bit0 -x1850_bit0 x1851_bit0 -x1852_bit0 -x1853_bit0 -x1854_bit0 -x1855_bit0 -x1856_bit0 -x1857_bit0 -x1858_bit0 -x1859_bit0 -x1860_bit0 -x1861_bit0 -x1862_bit0 -x1863_bit0 -x1864_bit0 -x1865_bit0 -x1866_bit0 -x1867_bit0 -x1868_bit0 -x1869_bit0 -x1870_bit0 -x1871_bit0 -x1872_bit0 -x1873_bit0 -x1874_bit0 -x1875_bit0 -x1876_bit0 -x1877_bit0 -x1878_bit0 -x1879_bit0 -x1880_bit0 -x1881_bit0 -x1882_bit0 -x1883_bit0 -x1884_bit0 -x1885_bit0 -x1886_bit0 -x1887_bit0 -x1888_bit0 -x1889_bit0 -x1890_bit0 -x1891_bit0 -x1892_bit0 -x1893_bit0 -x1894_bit0 -x1895_bit0 -x1896_bit0 -x1897_bit0 -x1898_bit0 -x1899_bit0 -x1900_bit0 -x1901_bit0 -x1902_bit0 -x1903_bit0 -x1904_bit0 -x1905_bit0 -x1906_bit0 -x1907_bit0 -x1908_bit0 -x1909_bit0 -x1910_bit0 -x1911_bit0 -x1912_bit0 -x1913_bit0 -x1914_bit0 -x1915_bit0 -x1916_bit0 -x1917_bit0 -x1918_bit0 -x1919_bit0 -x1920_bit0 -x1921_bit0 -x1922_bit0 -x1923_bit0 -x1924_bit0 -x1925_bit0 -x1926_bit0 -x1927_bit0 -x1928_bit0 -x1929_bit0 -x1930_bit0 -x1931_bit0 -x1932_bit0 -x1933_bit0 -x1934_bit0 -x1935_bit0 -x1936_bit0 -x1937_bit0 -x1938_bit0 -x1939_bit0 -x1940_bit0 -x1941_bit0 -x1942_bit0 -x1943_bit0 -x1944_bit0 -x1945_bit0 -x1946_bit0 -x1947_bit0 -x1948_bit0 -x1949_bit0 -x1950_bit0 -x1951_bit0 -x1952_bit0 -x1953_bit0 -x1954_bit0 -x1955_bit0 -x1956_bit0 -x1957_bit0 -x1958_bit0 -x1959_bit0 -x1960_bit0 -x1961_bit0 -x1962_bit0 -x1963_bit0 -x1964_bit0 -x1965_bit0 -x1966_bit0 -x1967_bit0 -x1968_bit0 -x1969_bit0 -x1970_bit0 -x1971_bit0 -x1972_bit0 -x1973_bit0 -x1974_bit0 -x1975_bit0 -x1976_bit0 -x1977_bit0 -x1978_bit0 -x1979_bit0 -x1980_bit0 -x1981_bit0 -x1982_bit0 -x1983_bit0 -x1984_bit0 -x1985_bit0 -x1986_bit0 -x1987_bit0 -x1988_bit0 -x1989_bit0 x1990_bit0 -x1991_bit0 -x1992_bit0 -x1993_bit0 -x1994_bit0 -x1995_bit0 -x1996_bit0 -x1997_bit0 -x1998_bit0 -x1999_bit0 -x2000_bit0 -x2001_bit0 -x2002_bit0 -x2003_bit0 -x2004_bit0 -x2005_bit0 -x2006_bit0 -x2007_bit0 -x2008_bit0 -x2009_bit0 -x2010_bit0 -x2011_bit0 -x2012_bit0 -x2013_bit0 -x2014_bit0 -x2015_bit0 -x2016_bit0 -x2017_bit0 -x2018_bit0 -x2019_bit0 -x2020_bit0 -x2021_bit0 -x2022_bit0 -x2023_bit0 -x2024_bit0 -x2025_bit0 -x2026_bit0 -x2027_bit0 -x2028_bit0 -x2029_bit0 -x2030_bit0 x2031_bit0 -x2032_bit0 -x2033_bit0 -x2034_bit0 -x2035_bit0 -x2036_bit0 -x2037_bit0 -x2038_bit0 -x2039_bit0 -x2040_bit0 -x2041_bit0 -x2042_bit0 -x2043_bit0 -x2044_bit0 -x2045_bit0 -x2046_bit0 -x2047_bit0 -x2048_bit0 -x2049_bit0 -x2050_bit0 -x2051_bit0 -x2052_bit0 -x2053_bit0 -x2054_bit0 -x2055_bit0 -x2056_bit0 -x2057_bit0 -x2058_bit0 -x2059_bit0 -x2060_bit0 -x2061_bit0 -x2062_bit0 -x2063_bit0 -x2064_bit0 -x2065_bit0 -x2066_bit0 -x2067_bit0 -x2068_bit0 x2069_bit0 -x2070_bit0 -x2071_bit0 -x2072_bit0 -x2073_bit0 -x2074_bit0 -x2075_bit0 -x2076_bit0 -x2077_bit0 -x2078_bit0 -x2079_bit0 -x2080_bit0 -x2081_bit0 -x2082_bit0 -x2083_bit0 -x2084_bit0 -x2085_bit0 -x2086_bit0 -x2087_bit0 -x2088_bit0 -x2089_bit0 -x2090_bit0 -x2091_bit0 -x2092_bit0 -x2093_bit0 -x2094_bit0 -x2095_bit0 -x2096_bit0 -x2097_bit0 -x2098_bit0 -x2099_bit0 -x2100_bit0 x2101_bit0 -x2102_bit0 -x2103_bit0 -x2104_bit0 -x2105_bit0 -x2106_bit0 -x2107_bit0 -x2108_bit0 -x2109_bit0 -x2110_bit0 -x2111_bit0 -x2112_bit0 -x2113_bit0 -x2114_bit0 -x2115_bit0 -x2116_bit0 -x2117_bit0 -x2118_bit0 -x2119_bit0 -x2120_bit0 -x2121_bit0 -x2122_bit0 -x2123_bit0 -x2124_bit0 -x2125_bit0 -x2126_bit0 -x2127_bit0 -x2128_bit0 -x2129_bit0 -x2130_bit0 -x2131_bit0 -x2132_bit0 -x2133_bit0 -x2134_bit0 -x2135_bit0 -x2136_bit0 -x2137_bit0 -x2138_bit0 -x2139_bit0 -x2140_bit0 -x2141_bit0 -x2142_bit0 -x2143_bit0 -x2144_bit0 -x2145_bit0 -x2146_bit0 -x2147_bit0 -x2148_bit0 -x2149_bit0 -x2150_bit0 -x2151_bit0 -x2152_bit0 -x2153_bit0 -x2154_bit0 -x2155_bit0 -x2156_bit0 x2157_bit0 -x2158_bit0 -x2159_bit0 -x2160_bit0 -x2161_bit0 -x2162_bit0 -x2163_bit0 -x2164_bit0 -x2165_bit0 -x2166_bit0 -x2167_bit0 -x2168_bit0 -x2169_bit0 -x2170_bit0 -x2171_bit0 -x2172_bit0 -x2173_bit0 -x2174_bit0 -x2175_bit0 -x2176_bit0 -x2177_bit0 -x2178_bit0 -x2179_bit0 -x2180_bit0 -x2181_bit0 x2182_bit0 -x2183_bit0 -x2184_bit0 -x2185_bit0 -x2186_bit0 -x2187_bit0 -x2188_bit0 -x2189_bit0 -x2190_bit0 -x2191_bit0 -x2192_bit0 -x2193_bit0 -x2194_bit0 -x2195_bit0 -x2196_bit0 -x2197_bit0 -x2198_bit0 -x2199_bit0 -x2200_bit0 -x2201_bit0 -x2202_bit0 -x2203_bit0 -x2204_bit0 -x2205_bit0 -x2206_bit0 -x2207_bit0 -x2208_bit0 -x2209_bit0 -x2210_bit0 -x2211_bit0 -x2212_bit0 -x2213_bit0 -x2214_bit0 -x2215_bit0 -x2216_bit0 -x2217_bit0 -x2218_bit0 -x2219_bit0 -x2220_bit0 -x2221_bit0 -x2222_bit0 -x2223_bit0 -x2224_bit0 -x2225_bit0 -x2226_bit0 -x2227_bit0 -x2228_bit0 -x2229_bit0 -x2230_bit0 -x2231_bit0 -x2232_bit0 -x2233_bit0 -x2234_bit0 -x2235_bit0 -x2236_bit0 -x2237_bit0 -x2238_bit0 -x2239_bit0 -x2240_bit0 -x2241_bit0 -x2242_bit0 -x2243_bit0 -x2244_bit0 -x2245_bit0 -x2246_bit0 -x2247_bit0 -x2248_bit0 -x2249_bit0 -x2250_bit0 -x2251_bit0 -x2252_bit0 -x2253_bit0 -x2254_bit0 -x2255_bit0 -x2256_bit0 -x2257_bit0 -x2258_bit0 -x2259_bit0 -x2260_bit0 -x2261_bit0 -x2262_bit0 -x2263_bit0 -x2264_bit0 -x2265_bit0 -x2266_bit0 -x2267_bit0 -x2268_bit0 -x2269_bit0 -x2270_bit0 -x2271_bit0 -x2272_bit0 -x2273_bit0 -x2274_bit0 -x2275_bit0 -x2276_bit0 -x2277_bit0 -x2278_bit0 -x2279_bit0 -x2280_bit0 -x2281_bit0 -x2282_bit0 -x2283_bit0 -x2284_bit0 -x2285_bit0 -x2286_bit0 -x2287_bit0 -x2288_bit0 -x2289_bit0 -x2290_bit0 -x2291_bit0 -x2292_bit0 -x2293_bit0 -x2294_bit0 -x2295_bit0 -x2296_bit0 -x2297_bit0 -x2298_bit0 -x2299_bit0 -x2300_bit0 -x2301_bit0 -x2302_bit0 -x2303_bit0 -x2304_bit0 -x2305_bit0 -x2306_bit0 -x2307_bit0 -x2308_bit0 -x2309_bit0 -x2310_bit0 -x2311_bit0 -x2312_bit0 -x2313_bit0 -x2314_bit0 -x2315_bit0 -x2316_bit0 -x2317_bit0 -x2318_bit0 -x2319_bit0 -x2320_bit0 -x2321_bit0 -x2322_bit0 -x2323_bit0 -x2324_bit0 -x2325_bit0 -x2326_bit0 -x2327_bit0 -x2328_bit0 -x2329_bit0 -x2330_bit0 -x2331_bit0 -x2332_bit0 -x2333_bit0 -x2334_bit0 -x2335_bit0 -x2336_bit0 -x2337_bit0 -x2338_bit0 -x2339_bit0 -x2340_bit0 -x2341_bit0 -x2342_bit0 -x2343_bit0 -x2344_bit0 -x2345_bit0 -x2346_bit0 -x2347_bit0 -x2348_bit0 -x2349_bit0 -x2350_bit0 -x2351_bit0 -x2352_bit0 -x2353_bit0 -x2354_bit0 -x2355_bit0 -x2356_bit0 -x2357_bit0 -x2358_bit0 -x2359_bit0 -x2360_bit0 -x2361_bit0 -x2362_bit0 -x2363_bit0 -x2364_bit0 -x2365_bit0 -x2366_bit0 -x2367_bit0 -x2368_bit0 -x2369_bit0 -x2370_bit0 -x2371_bit0 -x2372_bit0 -x2373_bit0 -x2374_bit0 -x2375_bit0 -x2376_bit0 -x2377_bit0 -x2378_bit0 -x2379_bit0 -x2380_bit0 -x2381_bit0 -x2382_bit0 -x2383_bit0 -x2384_bit0 -x2385_bit0 -x2386_bit0 -x2387_bit0 -x2388_bit0 -x2389_bit0 -x2390_bit0 -x2391_bit0 -x2392_bit0 -x2393_bit0 -x2394_bit0 -x2395_bit0 -x2396_bit0 -x2397_bit0 -x2398_bit0 -x2399_bit0 -x2400_bit0 -x2401_bit0 -x2402_bit0 -x2403_bit0 -x2404_bit0 -x2405_bit0 -x2406_bit0 -x2407_bit0 -x2408_bit0 -x2409_bit0 -x2410_bit0 -x2411_bit0 -x2412_bit0 -x2413_bit0 -x2414_bit0 -x2415_bit0 -x2416_bit0 -x2417_bit0 -x2418_bit0 -x2419_bit0 -x2420_bit0 -x2421_bit0 -x2422_bit0 -x2423_bit0 -x2424_bit0 -x2425_bit0 -x2426_bit0 -x2427_bit0 -x2428_bit0 -x2429_bit0 -x2430_bit0 -x2431_bit0 -x2432_bit0 -x2433_bit0 -x2434_bit0 -x2435_bit0 -x2436_bit0 -x2437_bit0 -x2438_bit0 -x2439_bit0 -x2440_bit0 -x2441_bit0 -x2442_bit0 -x2443_bit0 -x2444_bit0 -x2445_bit0 -x2446_bit0 -x2447_bit0 -x2448_bit0 -x2449_bit0 -x2450_bit0 -x2451_bit0 -x2452_bit0 -x2453_bit0 -x2454_bit0 -x2455_bit0 -x2456_bit0 -x2457_bit0 -x2458_bit0 -x2459_bit0 -x2460_bit0 -x2461_bit0 -x2462_bit0 -x2463_bit0 -x2464_bit0 -x2465_bit0 -x2466_bit0 -x2467_bit0 -x2468_bit0 -x2469_bit0 -x2470_bit0 -x2471_bit0 -x2472_bit0 -x2473_bit0 -x2474_bit0 -x2475_bit0 -x2476_bit0 -x2477_bit0 -x2478_bit0 -x2479_bit0 -x2480_bit0 -x2481_bit0 -x2482_bit0 -x2483_bit0 -x2484_bit0 -x2485_bit0 -x2486_bit0 -x2487_bit0 -x2488_bit0 -x2489_bit0 -x2490_bit0 -x2491_bit0 -x2492_bit0 -x2493_bit0 -x2494_bit0 -x2495_bit0 -x2496_bit0 -x2497_bit0 -x2498_bit0 -x2499_bit0 -x2500_bit0 -x2501_bit0 -x2502_bit0 -x2503_bit0 -x2504_bit0 -x2505_bit0 -x2506_bit0 -x2507_bit0 -x2508_bit0 -x2509_bit0 -x2510_bit0 -x2511_bit0 -x2512_bit0 -x2513_bit0 -x2514_bit0 -x2515_bit0 -x2516_bit0 -x2517_bit0 -x2518_bit0 -x2519_bit0 -x2520_bit0 -x2521_bit0 -x2522_bit0 -x2523_bit0 -x2524_bit0 -x2525_bit0 -x2526_bit0 -x2527_bit0 -x2528_bit0 -x2529_bit0 -x2530_bit0 -x2531_bit0 -x2532_bit0 -x2533_bit0 -x2534_bit0 -x2535_bit0 -x2536_bit0 -x2537_bit0 -x2538_bit0 -x2539_bit0 -x2540_bit0 -x2541_bit0 -x2542_bit0 -x2543_bit0 -x2544_bit0 -x2545_bit0 -x2546_bit0 -x2547_bit0 -x2548_bit0 -x2549_bit0 -x2550_bit0 -x2551_bit0 -x2552_bit0 -x2553_bit0 -x2554_bit0 -x2555_bit0 -x2556_bit0 -x2557_bit0 -x2558_bit0 -x2559_bit0 -x2560_bit0 -x2561_bit0 -x2562_bit0 -x2563_bit0 -x2564_bit0 -x2565_bit0 -x2566_bit0 -x2567_bit0 -x2568_bit0 -x2569_bit0 -x2570_bit0 -x2571_bit0 -x2572_bit0 -x2573_bit0 -x2574_bit0 -x2575_bit0 -x2576_bit0 -x2577_bit0 -x2578_bit0 -x2579_bit0 -x2580_bit0 -x2581_bit0 -x2582_bit0 -x2583_bit0 -x2584_bit0 -x2585_bit0 -x2586_bit0 -x2587_bit0 -x2588_bit0 -x2589_bit0 -x2590_bit0 -x2591_bit0 -x2592_bit0 -x2593_bit0 -x2594_bit0 -x2595_bit0 -x2596_bit0 -x2597_bit0 -x2598_bit0 -x2599_bit0 -x2600_bit0 -x2601_bit0 -x2602_bit0 -x2603_bit0 -x2604_bit0 -x2605_bit0 -x2606_bit0 -x2607_bit0 -x2608_bit0 -x2609_bit0 -x2610_bit0 -x2611_bit0 -x2612_bit0 -x2613_bit0 -x2614_bit0 -x2615_bit0 -x2616_bit0 -x2617_bit0 -x2618_bit0 -x2619_bit0 -x2620_bit0 -x2621_bit0 -x2622_bit0 -x2623_bit0 -x2624_bit0 -x2625_bit0 -x2626_bit0 -x2627_bit0 -x2628_bit0 -x2629_bit0 -x2630_bit0 -x2631_bit0 -x2632_bit0 -x2633_bit0 -x2634_bit0 -x2635_bit0 -x2636_bit0 -x2637_bit0 -x2638_bit0 -x2639_bit0 -x2640_bit0 -x2641_bit0 -x2642_bit0 -x2643_bit0 -x2644_bit0 -x2645_bit0 -x2646_bit0 -x2647_bit0 -x2648_bit0 -x2649_bit0 -x2650_bit0 -x2651_bit0 -x2652_bit0 -x2653_bit0 -x2654_bit0 -x2655_bit0 -x2656_bit0 -x2657_bit0 -x2658_bit0 -x2659_bit0 -x2660_bit0 -x2661_bit0 -x2662_bit0 -x2663_bit0 -x2664_bit0 -x2665_bit0 -x2666_bit0 -x2667_bit0 -x2668_bit0 -x2669_bit0 -x2670_bit0 -x2671_bit0 -x2672_bit0 -x2673_bit0 -x2674_bit0 -x2675_bit0 -x2676_bit0 -x2677_bit0 -x2678_bit0 -x2679_bit0 -x2680_bit0 -x2681_bit0 -x2682_bit0 -x2683_bit0 -x2684_bit0 -x2685_bit0 -x2686_bit0 -x2687_bit0 -x2688_bit0 -x2689_bit0 -x2690_bit0 -x2691_bit0 -x2692_bit0 -x2693_bit0 -x2694_bit0 -x2695_bit0 -x2696_bit0 -x2697_bit0 -x2698_bit0 -x2699_bit0 -x2700_bit0 -x2701_bit0 -x2702_bit0 -x2703_bit0 -x2704_bit0 -x2705_bit0 -x2706_bit0 -x2707_bit0 -x2708_bit0 -x2709_bit0 -x2710_bit0 -x2711_bit0 -x2712_bit0 -x2713_bit0 -x2714_bit0 -x2715_bit0 -x2716_bit0 -x2717_bit0 -x2718_bit0 -x2719_bit0 -x2720_bit0 -x2721_bit0 -x2722_bit0 -x2723_bit0 -x2724_bit0 -x2725_bit0 -x2726_bit0 -x2727_bit0 -x2728_bit0 -x2729_bit0 -x2730_bit0 -x2731_bit0 -x2732_bit0 -x2733_bit0 -x2734_bit0 -x2735_bit0 -x2736_bit0 -x2737_bit0 -x2738_bit0 -x2739_bit0 -x2740_bit0 -x2741_bit0 -x2742_bit0 -x2743_bit0 -x2744_bit0 -x2745_bit0 -x2746_bit0 -x2747_bit0 -x2748_bit0 -x2749_bit0 -x2750_bit0 -x2751_bit0 -x2752_bit0 -x2753_bit0 -x2754_bit0 -x2755_bit0 -x2756_bit0 -x2757_bit0 -x2758_bit0 -x2759_bit0 -x2760_bit0 -x2761_bit0 -x2762_bit0 -x2763_bit0 -x2764_bit0 -x2765_bit0 -x2766_bit0 -x2767_bit0 -x2768_bit0 -x2769_bit0 -x2770_bit0 -x2771_bit0 -x2772_bit0 -x2773_bit0 -x2774_bit0 -x2775_bit0 -x2776_bit0 -x2777_bit0 -x2778_bit0 -x2779_bit0 -x2780_bit0 -x2781_bit0 -x2782_bit0 -x2783_bit0 -x2784_bit0 -x2785_bit0 -x2786_bit0 -x2787_bit0 -x2788_bit0 -x2789_bit0 -x2790_bit0 -x2791_bit0 -x2792_bit0 -x2793_bit0 -x2794_bit0 -x2795_bit0 -x2796_bit0 -x2797_bit0 -x2798_bit0 -x2799_bit0 -x2800_bit0 -x2801_bit0 -x2802_bit0 -x2803_bit0 -x2804_bit0 -x2805_bit0 -x2806_bit0 -x2807_bit0 -x2808_bit0 -x2809_bit0 -x2810_bit0 -x2811_bit0 -x2812_bit0 -x2813_bit0 -x2814_bit0 -x2815_bit0 -x2816_bit0 -x2817_bit0 -x2818_bit0 -x2819_bit0 -x2820_bit0 -x2821_bit0 -x2822_bit0 -x2823_bit0 -x2824_bit0 -x2825_bit0 -x2826_bit0 -x2827_bit0 -x2828_bit0 -x2829_bit0 x2830_bit0 -x2831_bit0 -x2832_bit0 -x2833_bit0 -x2834_bit0 -x2835_bit0 -x2836_bit0 -x2837_bit0 -x2838_bit0 -x2839_bit0 -x2840_bit0 -x2841_bit0 -x2842_bit0 -x2843_bit0 -x2844_bit0 -x2845_bit0 -x2846_bit0 -x2847_bit0 -x2848_bit0 -x2849_bit0 -x2850_bit0 -x2851_bit0 -x2852_bit0 -x2853_bit0 -x2854_bit0 -x2855_bit0 -x2856_bit0 -x2857_bit0 -x2858_bit0 -x2859_bit0 -x2860_bit0 -x2861_bit0 -x2862_bit0 -x2863_bit0 -x2864_bit0 -x2865_bit0 -x2866_bit0 -x2867_bit0 -x2868_bit0 -x2869_bit0 -x2870_bit0 -x2871_bit0 -x2872_bit0 -x2873_bit0 -x2874_bit0 -x2875_bit0 -x2876_bit0 -x2877_bit0 -x2878_bit0 -x2879_bit0 -x2880_bit0 -x2881_bit0 -x2882_bit0 -x2883_bit0 -x2884_bit0 -x2885_bit0 -x2886_bit0 -x2887_bit0 -x2888_bit0 -x2889_bit0 -x2890_bit0 -x2891_bit0 -x2892_bit0 -x2893_bit0 -x2894_bit0 -x2895_bit0 -x2896_bit0 -x2897_bit0 -x2898_bit0 -x2899_bit0 -x2900_bit0 -x2901_bit0 -x2902_bit0 -x2903_bit0 -x2904_bit0 -x2905_bit0 -x2906_bit0 -x2907_bit0 -x2908_bit0 -x2909_bit0 -x2910_bit0 -x2911_bit0 -x2912_bit0 -x2913_bit0 -x2914_bit0 -x2915_bit0 -x2916_bit0 -x2917_bit0 -x2918_bit0 -x2919_bit0 -x2920_bit0 -x2921_bit0 -x2922_bit0 -x2923_bit0 -x2924_bit0 -x2925_bit0 -x2926_bit0 -x2927_bit0 -x2928_bit0 -x2929_bit0 -x2930_bit0 -x2931_bit0 -x2932_bit0 -x2933_bit0 -x2934_bit0 -x2935_bit0 -x2936_bit0 -x2937_bit0 -x2938_bit0 -x2939_bit0 -x2940_bit0 -x2941_bit0 -x2942_bit0 -x2943_bit0 -x2944_bit0 -x2945_bit0 -x2946_bit0 -x2947_bit0 -x2948_bit0 -x2949_bit0 -x2950_bit0 -x2951_bit0 -x2952_bit0 -x2953_bit0 -x2954_bit0 -x2955_bit0 -x2956_bit0 -x2957_bit0 -x2958_bit0 -x2959_bit0 -x2960_bit0 -x2961_bit0 -x2962_bit0 -x2963_bit0 -x2964_bit0 -x2965_bit0 -x2966_bit0 -x2967_bit0 -x2968_bit0 -x2969_bit0 -x2970_bit0 -x2971_bit0 -x2972_bit0 -x2973_bit0 -x2974_bit0 -x2975_bit0 -x2976_bit0 -x2977_bit0 -x2978_bit0 -x2979_bit0 -x2980_bit0 -x2981_bit0 -x2982_bit0 -x2983_bit0 -x2984_bit0 x2985_bit0 -x2986_bit0 -x2987_bit0 -x2988_bit0 -x2989_bit0 -x2990_bit0 -x2991_bit0 -x2992_bit0 -x2993_bit0 -x2994_bit0 -x2995_bit0 -x2996_bit0 -x2997_bit0 -x2998_bit0 -x2999_bit0 -x3000_bit0 -x3001_bit0 -x3002_bit0 -x3003_bit0 -x3004_bit0 -x3005_bit0 -x3006_bit0 -x3007_bit0 -x3008_bit0 -x3009_bit0 -x3010_bit0 x3011_bit0 -x3012_bit0 -x3013_bit0 -x3014_bit0 -x3015_bit0 -x3016_bit0 -x3017_bit0 -x3018_bit0 -x3019_bit0 -x3020_bit0 -x3021_bit0 -x3022_bit0 -x3023_bit0 -x3024_bit0 -x3025_bit0 -x3026_bit0 -x3027_bit0 -x3028_bit0 -x3029_bit0 -x3030_bit0 -x3031_bit0 -x3032_bit0 -x3033_bit0 -x3034_bit0 -x3035_bit0 -x3036_bit0 -x3037_bit0 -x3038_bit0 -x3039_bit0 -x3040_bit0 -x3041_bit0 -x3042_bit0 -x3043_bit0 -x3044_bit0 x3045_bit0 -x3046_bit0 -x3047_bit0 -x3048_bit0 -x3049_bit0 -x3050_bit0 -x3051_bit0 -x3052_bit0 -x3053_bit0 -x3054_bit0 -x3055_bit0 -x3056_bit0 -x3057_bit0 -x3058_bit0 -x3059_bit0 -x3060_bit0 -x3061_bit0 -x3062_bit0 -x3063_bit0 -x3064_bit0 -x3065_bit0 -x3066_bit0 -x3067_bit0 -x3068_bit0 -x3069_bit0 -x3070_bit0 -x3071_bit0 -x3072_bit0 -x3073_bit0 -x3074_bit0 -x3075_bit0 -x3076_bit0 -x3077_bit0 -x3078_bit0 -x3079_bit0 -x3080_bit0 -x3081_bit0 -x3082_bit0 -x3083_bit0 -x3084_bit0 -x3085_bit0 -x3086_bit0 -x3087_bit0 -x3088_bit0 -x3089_bit0 -x3090_bit0 -x3091_bit0 -x3092_bit0 -x3093_bit0 -x3094_bit0 -x3095_bit0 -x3096_bit0 -x3097_bit0 -x3098_bit0 -x3099_bit0 -x3100_bit0 -x3101_bit0 -x3102_bit0 -x3103_bit0 -x3104_bit0 -x3105_bit0 -x3106_bit0 -x3107_bit0 -x3108_bit0 -x3109_bit0 -x3110_bit0 -x3111_bit0 -x3112_bit0 -x3113_bit0 -x3114_bit0 -x3115_bit0 -x3116_bit0 -x3117_bit0 -x3118_bit0 -x3119_bit0 -x3120_bit0 -x3121_bit0 -x3122_bit0 -x3123_bit0 -x3124_bit0 -x3125_bit0 -x3126_bit0 -x3127_bit0 -x3128_bit0 -x3129_bit0 -x3130_bit0 -x3131_bit0 -x3132_bit0 -x3133_bit0 -x3134_bit0 -x3135_bit0 -x3136_bit0 -x3137_bit0 -x3138_bit0 -x3139_bit0 -x3140_bit0 -x3141_bit0 -x3142_bit0 -x3143_bit0 -x3144_bit0 -x3145_bit0 -x3146_bit0 -x3147_bit0 -x3148_bit0 -x3149_bit0 -x3150_bit0 -x3151_bit0 -x3152_bit0 -x3153_bit0 -x3154_bit0 -x3155_bit0 -x3156_bit0 -x3157_bit0 -x3158_bit0 -x3159_bit0 -x3160_bit0 -x3161_bit0 -x3162_bit0 -x3163_bit0 -x3164_bit0 -x3165_bit0 -x3166_bit0 -x3167_bit0 -x3168_bit0 -x3169_bit0 -x3170_bit0 -x3171_bit0 -x3172_bit0 -x3173_bit0 -x3174_bit0 -x3175_bit0 -x3176_bit0 -x3177_bit0 -x3178_bit0 -x3179_bit0 -x3180_bit0 -x3181_bit0 -x3182_bit0 -x3183_bit0 -x3184_bit0 -x3185_bit0 -x3186_bit0 -x3187_bit0 -x3188_bit0 -x3189_bit0 -x3190_bit0 -x3191_bit0 -x3192_bit0 -x3193_bit0 -x3194_bit0 -x3195_bit0 -x3196_bit0 -x3197_bit0 -x3198_bit0 -x3199_bit0 -x3200_bit0 -x3201_bit0 -x3202_bit0 -x3203_bit0 -x3204_bit0 -x3205_bit0 -x3206_bit0 -x3207_bit0 -x3208_bit0 -x3209_bit0 -x3210_bit0 -x3211_bit0 -x3212_bit0 -x3213_bit0 -x3214_bit0 -x3215_bit0 -x3216_bit0 -x3217_bit0 -x3218_bit0 -x3219_bit0 -x3220_bit0 -x3221_bit0 -x3222_bit0 -x3223_bit0 -x3224_bit0 -x3225_bit0 -x3226_bit0 -x3227_bit0 -x3228_bit0 -x3229_bit0 -x3230_bit0 -x3231_bit0 -x3232_bit0 -x3233_bit0 -x3234_bit0 -x3235_bit0 -x3236_bit0 -x3237_bit0 -x3238_bit0 -x3239_bit0 -x3240_bit0 -x3241_bit0 -x3242_bit0 -x3243_bit0 -x3244_bit0 -x3245_bit0 -x3246_bit0 -x3247_bit0 -x3248_bit0 -x3249_bit0 -x3250_bit0 -x3251_bit0 -x3252_bit0 -x3253_bit0 -x3254_bit0 -x3255_bit0 -x3256_bit0 -x3257_bit0 -x3258_bit0 -x3259_bit0 -x3260_bit0 -x3261_bit0 -x3262_bit0 -x3263_bit0 -x3264_bit0 -x3265_bit0 -x3266_bit0 -x3267_bit0 -x3268_bit0 -x3269_bit0 -x3270_bit0 -x3271_bit0 -x3272_bit0 -x3273_bit0 -x3274_bit0 -x3275_bit0 -x3276_bit0 -x3277_bit0 -x3278_bit0 -x3279_bit0 -x3280_bit0 -x3281_bit0 -x3282_bit0 -x3283_bit0 -x3284_bit0 -x3285_bit0 -x3286_bit0 -x3287_bit0 -x3288_bit0 -x3289_bit0 -x3290_bit0 -x3291_bit0 -x3292_bit0 -x3293_bit0 -x3294_bit0 -x3295_bit0 -x3296_bit0 -x3297_bit0 -x3298_bit0 -x3299_bit0 -x3300_bit0 -x3301_bit0 -x3302_bit0 -x3303_bit0 -x3304_bit0 -x3305_bit0 -x3306_bit0 -x3307_bit0 -x3308_bit0 -x3309_bit0 -x3310_bit0 -x3311_bit0 -x3312_bit0 -x3313_bit0 -x3314_bit0 -x3315_bit0 -x3316_bit0 -x3317_bit0 -x3318_bit0 -x3319_bit0 -x3320_bit0 -x3321_bit0 -x3322_bit0 -x3323_bit0 -x3324_bit0 -x3325_bit0 -x3326_bit0 -x3327_bit0 -x3328_bit0 -x3329_bit0 -x3330_bit0 -x3331_bit0 -x3332_bit0 -x3333_bit0 -x3334_bit0 -x3335_bit0 -x3336_bit0 -x3337_bit0 -x3338_bit0 -x3339_bit0 -x3340_bit0 -x3341_bit0 -x3342_bit0 -x3343_bit0 -x3344_bit0 -x3345_bit0 -x3346_bit0 -x3347_bit0 -x3348_bit0 -x3349_bit0 -x3350_bit0 -x3351_bit0 -x3352_bit0 -x3353_bit0 -x3354_bit0 -x3355_bit0 -x3356_bit0 -x3357_bit0 -x3358_bit0 -x3359_bit0 -x3360_bit0 -x3361_bit0 -x3362_bit0 -x3363_bit0 -x3364_bit0 -x3365_bit0 -x3366_bit0 -x3367_bit0 -x3368_bit0 -x3369_bit0 -x3370_bit0 -x3371_bit0 -x3372_bit0 -x3373_bit0 -x3374_bit0 -x3375_bit0 -x3376_bit0 -x3377_bit0 -x3378_bit0 -x3379_bit0 -x3380_bit0 -x3381_bit0 -x3382_bit0 -x3383_bit0 -x3384_bit0 -x3385_bit0 -x3386_bit0 -x3387_bit0 -x3388_bit0 -x3389_bit0 -x3390_bit0 -x3391_bit0 -x3392_bit0 -x3393_bit0 -x3394_bit0 -x3395_bit0 -x3396_bit0 -x3397_bit0 -x3398_bit0 -x3399_bit0 -x3400_bit0 -x3401_bit0 -x3402_bit0 -x3403_bit0 -x3404_bit0 -x3405_bit0 -x3406_bit0 -x3407_bit0 -x3408_bit0 -x3409_bit0 -x3410_bit0 -x3411_bit0 -x3412_bit0 -x3413_bit0 -x3414_bit0 -x3415_bit0 -x3416_bit0 -x3417_bit0 -x3418_bit0 -x3419_bit0 -x3420_bit0 -x3421_bit0 -x3422_bit0 -x3423_bit0 -x3424_bit0 -x3425_bit0 -x3426_bit0 -x3427_bit0 -x3428_bit0 -x3429_bit0 -x3430_bit0 -x3431_bit0 -x3432_bit0 -x3433_bit0 -x3434_bit0 -x3435_bit0 -x3436_bit0 -x3437_bit0 -x3438_bit0 -x3439_bit0 -x3440_bit0 -x3441_bit0 -x3442_bit0 -x3443_bit0 -x3444_bit0 -x3445_bit0 -x3446_bit0 -x3447_bit0 -x3448_bit0 -x3449_bit0 -x3450_bit0 -x3451_bit0 -x3452_bit0 -x3453_bit0 -x3454_bit0 -x3455_bit0 -x3456_bit0 -x3457_bit0 -x3458_bit0 -x3459_bit0 -x3460_bit0 -x3461_bit0 -x3462_bit0 -x3463_bit0 -x3464_bit0 -x3465_bit0 -x3466_bit0 -x3467_bit0 -x3468_bit0 -x3469_bit0 -x3470_bit0 -x3471_bit0 -x3472_bit0 -x3473_bit0 -x3474_bit0 -x3475_bit0 -x3476_bit0 -x3477_bit0 -x3478_bit0 -x3479_bit0 -x3480_bit0 -x3481_bit0 -x3482_bit0 -x3483_bit0 -x3484_bit0 -x3485_bit0 -x3486_bit0 -x3487_bit0 -x3488_bit0 -x3489_bit0 -x3490_bit0 -x3491_bit0 -x3492_bit0 -x3493_bit0 -x3494_bit0 -x3495_bit0 -x3496_bit0 -x3497_bit0 -x3498_bit0 -x3499_bit0 -x3500_bit0 -x3501_bit0 -x3502_bit0 -x3503_bit0 -x3504_bit0 -x3505_bit0 -x3506_bit0 -x3507_bit0 -x3508_bit0 -x3509_bit0 -x3510_bit0 -x3511_bit0 -x3512_bit0 -x3513_bit0 -x3514_bit0 -x3515_bit0 -x3516_bit0 -x3517_bit0 -x3518_bit0 -x3519_bit0 -x3520_bit0 x3521_bit0 -x3522_bit0 -x3523_bit0 -x3524_bit0 -x3525_bit0 -x3526_bit0 -x3527_bit0 -x3528_bit0 -x3529_bit0 -x3530_bit0 -x3531_bit0 -x3532_bit0 -x3533_bit0 -x3534_bit0 -x3535_bit0 -x3536_bit0 -x3537_bit0 -x3538_bit0 -x3539_bit0 -x3540_bit0 -x3541_bit0 -x3542_bit0 -x3543_bit0 -x3544_bit0 -x3545_bit0 -x3546_bit0 -x3547_bit0 -x3548_bit0 -x3549_bit0 -x3550_bit0 -x3551_bit0 -x3552_bit0 -x3553_bit0 -x3554_bit0 -x3555_bit0 -x3556_bit0 -x3557_bit0 -x3558_bit0 -x3559_bit0 -x3560_bit0 -x3561_bit0 -x3562_bit0 -x3563_bit0 -x3564_bit0 -x3565_bit0 -x3566_bit0 -x3567_bit0 -x3568_bit0 -x3569_bit0 -x3570_bit0 -x3571_bit0 -x3572_bit0 -x3573_bit0 -x3574_bit0 -x3575_bit0 -x3576_bit0 -x3577_bit0 -x3578_bit0 -x3579_bit0 -x3580_bit0 -x3581_bit0 -x3582_bit0 -x3583_bit0 -x3584_bit0 -x3585_bit0 -x3586_bit0 -x3587_bit0 -x3588_bit0 -x3589_bit0 -x3590_bit0 -x3591_bit0 -x3592_bit0 -x3593_bit0 -x3594_bit0 -x3595_bit0 -x3596_bit0 -x3597_bit0 -x3598_bit0 -x3599_bit0 -x3600_bit0 -x3601_bit0 -x3602_bit0 -x3603_bit0 -x3604_bit0 -x3605_bit0 -x3606_bit0 -x3607_bit0 -x3608_bit0 -x3609_bit0 -x3610_bit0 -x3611_bit0 -x3612_bit0 -x3613_bit0 -x3614_bit0 -x3615_bit0 -x3616_bit0 -x3617_bit0 -x3618_bit0 -x3619_bit0 -x3620_bit0 -x3621_bit0 -x3622_bit0 -x3623_bit0 -x3624_bit0 -x3625_bit0 -x3626_bit0 -x3627_bit0 -x3628_bit0 -x3629_bit0 -x3630_bit0 -x3631_bit0 -x3632_bit0 -x3633_bit0 -x3634_bit0 -x3635_bit0 -x3636_bit0 -x3637_bit0 -x3638_bit0 -x3639_bit0 -x3640_bit0 -x3641_bit0 -x3642_bit0 -x3643_bit0 -x3644_bit0 -x3645_bit0 -x3646_bit0 -x3647_bit0 -x3648_bit0 -x3649_bit0 -x3650_bit0 -x3651_bit0 -x3652_bit0 -x3653_bit0 -x3654_bit0 -x3655_bit0 -x3656_bit0 -x3657_bit0 -x3658_bit0 -x3659_bit0 -x3660_bit0 -x3661_bit0 -x3662_bit0 -x3663_bit0 -x3664_bit0 -x3665_bit0 -x3666_bit0 -x3667_bit0 -x3668_bit0 -x3669_bit0 -x3670_bit0 -x3671_bit0 -x3672_bit0 -x3673_bit0 -x3674_bit0 -x3675_bit0 -x3676_bit0 -x3677_bit0 -x3678_bit0 -x3679_bit0 -x3680_bit0 -x3681_bit0 -x3682_bit0 -x3683_bit0 -x3684_bit0 -x3685_bit0 -x3686_bit0 -x3687_bit0 -x3688_bit0 -x3689_bit0 -x3690_bit0 -x3691_bit0 -x3692_bit0 -x3693_bit0 -x3694_bit0 -x3695_bit0 -x3696_bit0 -x3697_bit0 -x3698_bit0 -x3699_bit0 -x3700_bit0 -x3701_bit0 -x3702_bit0 -x3703_bit0 -x3704_bit0 -x3705_bit0 -x3706_bit0 -x3707_bit0 -x3708_bit0 -x3709_bit0 -x3710_bit0 -x3711_bit0 -x3712_bit0 -x3713_bit0 -x3714_bit0 -x3715_bit0 -x3716_bit0 -x3717_bit0 -x3718_bit0 -x3719_bit0 -x3720_bit0 -x3721_bit0 -x3722_bit0 -x3723_bit0 -x3724_bit0 -x3725_bit0 -x3726_bit0 -x3727_bit0 -x3728_bit0 -x3729_bit0 -x3730_bit0 -x3731_bit0 -x3732_bit0 -x3733_bit0 -x3734_bit0 -x3735_bit0 -x3736_bit0 -x3737_bit0 -x3738_bit0 -x3739_bit0 -x3740_bit0 -x3741_bit0 -x3742_bit0 -x3743_bit0 -x3744_bit0 -x3745_bit0 -x3746_bit0 -x3747_bit0 -x3748_bit0 -x3749_bit0 -x3750_bit0 -x3751_bit0 -x3752_bit0 -x3753_bit0 -x3754_bit0 -x3755_bit0 -x3756_bit0 -x3757_bit0 -x3758_bit0 -x3759_bit0 -x3760_bit0 -x3761_bit0 -x3762_bit0 -x3763_bit0 -x3764_bit0 -x3765_bit0 -x3766_bit0 -x3767_bit0 x3768_bit0 -x3769_bit0 -x3770_bit0 -x3771_bit0 -x3772_bit0 -x3773_bit0 -x3774_bit0 -x3775_bit0 -x3776_bit0 -x3777_bit0 -x3778_bit0 -x3779_bit0 -x3780_bit0 -x3781_bit0 -x3782_bit0 -x3783_bit0 -x3784_bit0 -x3785_bit0 -x3786_bit0 -x3787_bit0 -x3788_bit0 -x3789_bit0 -x3790_bit0 -x3791_bit0 -x3792_bit0 -x3793_bit0 -x3794_bit0 -x3795_bit0 -x3796_bit0 -x3797_bit0 -x3798_bit0 -x3799_bit0 -x3800_bit0 -x3801_bit0 -x3802_bit0 -x3803_bit0 -x3804_bit0 -x3805_bit0 -x3806_bit0 -x3807_bit0 -x3808_bit0 -x3809_bit0 -x3810_bit0 -x3811_bit0 -x3812_bit0 -x3813_bit0 -x3814_bit0 -x3815_bit0 -x3816_bit0 -x3817_bit0 -x3818_bit0 -x3819_bit0 -x3820_bit0 -x3821_bit0 -x3822_bit0 -x3823_bit0 -x3824_bit0 -x3825_bit0 -x3826_bit0 -x3827_bit0 -x3828_bit0 -x3829_bit0 -x3830_bit0 -x3831_bit0 -x3832_bit0 -x3833_bit0 -x3834_bit0 -x3835_bit0 -x3836_bit0 -x3837_bit0 -x3838_bit0 -x3839_bit0 -x3840_bit0 -x3841_bit0 -x3842_bit0 -x3843_bit0 -x3844_bit0 -x3845_bit0 -x3846_bit0 -x3847_bit0 -x3848_bit0 -x3849_bit0 -x3850_bit0 -x3851_bit0 -x3852_bit0 -x3853_bit0 -x3854_bit0 -x3855_bit0 -x3856_bit0 -x3857_bit0 -x3858_bit0 -x3859_bit0 -x3860_bit0 -x3861_bit0 -x3862_bit0 -x3863_bit0 -x3864_bit0 -x3865_bit0 -x3866_bit0 -x3867_bit0 -x3868_bit0 -x3869_bit0 -x3870_bit0 -x3871_bit0 -x3872_bit0 -x3873_bit0 -x3874_bit0 -x3875_bit0 -x3876_bit0 -x3877_bit0 -x3878_bit0 -x3879_bit0 -x3880_bit0 -x3881_bit0 -x3882_bit0 -x3883_bit0 -x3884_bit0 -x3885_bit0 -x3886_bit0 -x3887_bit0 -x3888_bit0 -x3889_bit0 -x3890_bit0 -x3891_bit0 -x3892_bit0 -x3893_bit0 -x3894_bit0 -x3895_bit0 -x3896_bit0 -x3897_bit0 -x3898_bit0 -x3899_bit0 -x3900_bit0 -x3901_bit0 -x3902_bit0 -x3903_bit0 -x3904_bit0 -x3905_bit0 -x3906_bit0 -x3907_bit0 -x3908_bit0 -x3909_bit0 -x3910_bit0 -x3911_bit0 -x3912_bit0 -x3913_bit0 -x3914_bit0 -x3915_bit0 -x3916_bit0 -x3917_bit0 -x3918_bit0 -x3919_bit0 -x3920_bit0 -x3921_bit0 -x3922_bit0 -x3923_bit0 -x3924_bit0 -x3925_bit0 -x3926_bit0 -x3927_bit0 -x3928_bit0 -x3929_bit0 -x3930_bit0 -x3931_bit0 -x3932_bit0 -x3933_bit0 -x3934_bit0 -x3935_bit0 -x3936_bit0 -x3937_bit0 -x3938_bit0 -x3939_bit0 -x3940_bit0 -x3941_bit0 -x3942_bit0 -x3943_bit0 -x3944_bit0 -x3945_bit0 -x3946_bit0 -x3947_bit0 -x3948_bit0 -x3949_bit0 -x3950_bit0 -x3951_bit0 -x3952_bit0 -x3953_bit0 -x3954_bit0 -x3955_bit0 -x3956_bit0 -x3957_bit0 -x3958_bit0 -x3959_bit0 -x3960_bit0 -x3961_bit0 -x3962_bit0 -x3963_bit0 -x3964_bit0 -x3965_bit0 -x3966_bit0 -x3967_bit0 -x3968_bit0 -x3969_bit0 -x3970_bit0 -x3971_bit0 -x3972_bit0 -x3973_bit0 -x3974_bit0 -x3975_bit0 -x3976_bit0 -x3977_bit0 -x3978_bit0 -x3979_bit0 -x3980_bit0 -x3981_bit0 -x3982_bit0 -x3983_bit0 -x3984_bit0 -x3985_bit0 -x3986_bit0 -x3987_bit0 -x3988_bit0 -x3989_bit0 -x3990_bit0 -x3991_bit0 -x3992_bit0 -x3993_bit0 -x3994_bit0 -x3995_bit0 -x3996_bit0 -x3997_bit0 -x3998_bit0 -x3999_bit0 -x4000_bit0 -x4001_bit0 -x4002_bit0 -x4003_bit0 -x4004_bit0 -x4005_bit0 x4006_bit0 -x4007_bit0 -x4008_bit0 -x4009_bit0 -x4010_bit0 -x4011_bit0 -x4012_bit0 -x4013_bit0 -x4014_bit0 -x4015_bit0 -x4016_bit0 -x4017_bit0 -x4018_bit0 -x4019_bit0 -x4020_bit0 -x4021_bit0 -x4022_bit0 -x4023_bit0 -x4024_bit0 -x4025_bit0 -x4026_bit0 -x4027_bit0 -x4028_bit0 -x4029_bit0 -x4030_bit0 -x4031_bit0 -x4032_bit0 -x4033_bit0 -x4034_bit0 -x4035_bit0 -x4036_bit0 -x4037_bit0 -x4038_bit0 -x4039_bit0 -x4040_bit0 -x4041_bit0 -x4042_bit0 -x4043_bit0 -x4044_bit0 -x4045_bit0 -x4046_bit0 -x4047_bit0 -x4048_bit0 -x4049_bit0 -x4050_bit0 -x4051_bit0 -x4052_bit0 -x4053_bit0 x4054_bit0 -x4055_bit0 -x4056_bit0 -x4057_bit0 -x4058_bit0 -x4059_bit0 -x4060_bit0 -x4061_bit0 -x4062_bit0 -x4063_bit0 -x4064_bit0 -x4065_bit0 -x4066_bit0 -x4067_bit0 -x4068_bit0 -x4069_bit0 -x4070_bit0 -x4071_bit0 -x4072_bit0 -x4073_bit0 -x4074_bit0 -x4075_bit0 -x4076_bit0 -x4077_bit0 -x4078_bit0 -x4079_bit0 -x4080_bit0 -x4081_bit0 -x4082_bit0 -x4083_bit0 -x4084_bit0 -x4085_bit0 -x4086_bit0 -x4087_bit0 -x4088_bit0 -x4089_bit0 -x4090_bit0 -x4091_bit0 -x4092_bit0 -x4093_bit0 -x4094_bit0 -x4095_bit0 -x4096_bit0 -x4097_bit0 -x4098_bit0 -x4099_bit0 -x4100_bit0 -x4101_bit0 -x4102_bit0 -x4103_bit0 -x4104_bit0 -x4105_bit0 -x4106_bit0 -x4107_bit0 -x4108_bit0 -x4109_bit0 -x4110_bit0 -x4111_bit0 -x4112_bit0 -x4113_bit0 -x4114_bit0 -x4115_bit0 -x4116_bit0 -x4117_bit0 -x4118_bit0 -x4119_bit0 -x4120_bit0 -x4121_bit0 -x4122_bit0 -x4123_bit0 -x4124_bit0 -x4125_bit0 -x4126_bit0 -x4127_bit0 -x4128_bit0 -x4129_bit0 -x4130_bit0 -x4131_bit0 -x4132_bit0 -x4133_bit0 -x4134_bit0 -x4135_bit0 -x4136_bit0 -x4137_bit0 -x4138_bit0 -x4139_bit0 -x4140_bit0 -x4141_bit0 -x4142_bit0 -x4143_bit0 -x4144_bit0 -x4145_bit0 -x4146_bit0 -x4147_bit0 -x4148_bit0 -x4149_bit0 -x4150_bit0 -x4151_bit0 -x4152_bit0 -x4153_bit0 -x4154_bit0 -x4155_bit0 -x4156_bit0 -x4157_bit0 -x4158_bit0 -x4159_bit0 -x4160_bit0 -x4161_bit0 -x4162_bit0 -x4163_bit0 -x4164_bit0 -x4165_bit0 -x4166_bit0 -x4167_bit0 -x4168_bit0 -x4169_bit0 -x4170_bit0 -x4171_bit0 -x4172_bit0 -x4173_bit0 -x4174_bit0 -x4175_bit0 -x4176_bit0 -x4177_bit0 -x4178_bit0 -x4179_bit0 -x4180_bit0 -x4181_bit0 -x4182_bit0 -x4183_bit0 -x4184_bit0 -x4185_bit0 -x4186_bit0 -x4187_bit0 -x4188_bit0 -x4189_bit0 -x4190_bit0 -x4191_bit0 -x4192_bit0 -x4193_bit0 -x4194_bit0 -x4195_bit0 -x4196_bit0 -x4197_bit0 -x4198_bit0 -x4199_bit0 -x4200_bit0 -x4201_bit0 -x4202_bit0 -x4203_bit0 -x4204_bit0 -x4205_bit0 -x4206_bit0 -x4207_bit0 -x4208_bit0 -x4209_bit0 -x4210_bit0 -x4211_bit0 -x4212_bit0 -x4213_bit0 -x4214_bit0 -x4215_bit0 -x4216_bit0 -x4217_bit0 -x4218_bit0 -x4219_bit0 -x4220_bit0 -x4221_bit0 -x4222_bit0 -x4223_bit0 -x4224_bit0 -x4225_bit0 -x4226_bit0 -x4227_bit0 -x4228_bit0 -x4229_bit0 -x4230_bit0 -x4231_bit0 -x4232_bit0 -x4233_bit0 -x4234_bit0 -x4235_bit0 -x4236_bit0 -x4237_bit0 -x4238_bit0 -x4239_bit0 -x4240_bit0 -x4241_bit0 -x4242_bit0 -x4243_bit0 -x4244_bit0 -x4245_bit0 -x4246_bit0 -x4247_bit0 -x4248_bit0 -x4249_bit0 -x4250_bit0 -x4251_bit0 -x4252_bit0 -x4253_bit0 -x4254_bit0 -x4255_bit0 -x4256_bit0 -x4257_bit0 -x4258_bit0 -x4259_bit0 -x4260_bit0 -x4261_bit0 -x4262_bit0 -x4263_bit0 -x4264_bit0 -x4265_bit0 -x4266_bit0 -x4267_bit0 -x4268_bit0 -x4269_bit0 -x4270_bit0 -x4271_bit0 -x4272_bit0 -x4273_bit0 -x4274_bit0 -x4275_bit0 -x4276_bit0 -x4277_bit0 -x4278_bit0 -x4279_bit0 -x4280_bit0 -x4281_bit0 -x4282_bit0 -x4283_bit0 -x4284_bit0 x4285_bit0 -x4286_bit0 -x4287_bit0 -x4288_bit0 -x4289_bit0 -x4290_bit0 -x4291_bit0 -x4292_bit0 -x4293_bit0 -x4294_bit0 -x4295_bit0 -x4296_bit0 -x4297_bit0 -x4298_bit0 -x4299_bit0 -x4300_bit0 -x4301_bit0 -x4302_bit0 -x4303_bit0 -x4304_bit0 -x4305_bit0 -x4306_bit0 -x4307_bit0 -x4308_bit0 -x4309_bit0 -x4310_bit0 -x4311_bit0 -x4312_bit0 -x4313_bit0 -x4314_bit0 -x4315_bit0 -x4316_bit0 -x4317_bit0 -x4318_bit0 -x4319_bit0 -x4320_bit0 -x4321_bit0 -x4322_bit0 -x4323_bit0 -x4324_bit0 -x4325_bit0 -x4326_bit0 -x4327_bit0 -x4328_bit0 -x4329_bit0 -x4330_bit0 -x4331_bit0 -x4332_bit0 -x4333_bit0 -x4334_bit0 -x4335_bit0 -x4336_bit0 -x4337_bit0 -x4338_bit0 -x4339_bit0 -x4340_bit0 -x4341_bit0 -x4342_bit0 -x4343_bit0 -x4344_bit0 -x4345_bit0 -x4346_bit0 -x4347_bit0 -x4348_bit0 -x4349_bit0 -x4350_bit0 -x4351_bit0 -x4352_bit0 -x4353_bit0 -x4354_bit0 -x4355_bit0 -x4356_bit0 -x4357_bit0 -x4358_bit0 -x4359_bit0 -x4360_bit0 -x4361_bit0 -x4362_bit0 -x4363_bit0 -x4364_bit0 -x4365_bit0 -x4366_bit0 -x4367_bit0 -x4368_bit0 -x4369_bit0 -x4370_bit0 -x4371_bit0 -x4372_bit0 -x4373_bit0 -x4374_bit0 -x4375_bit0 -x4376_bit0 -x4377_bit0 -x4378_bit0 -x4379_bit0 -x4380_bit0 -x4381_bit0 -x4382_bit0 x4383_bit0 -x4384_bit0 -x4385_bit0 -x4386_bit0 -x4387_bit0 -x4388_bit0 -x4389_bit0 -x4390_bit0 -x4391_bit0 -x4392_bit0 -x4393_bit0 -x4394_bit0 -x4395_bit0 -x4396_bit0 -x4397_bit0 -x4398_bit0 -x4399_bit0 -x4400_bit0 -x4401_bit0 -x4402_bit0 -x4403_bit0 -x4404_bit0 -x4405_bit0 -x4406_bit0 -x4407_bit0 -x4408_bit0 -x4409_bit0 -x4410_bit0 -x4411_bit0 -x4412_bit0 -x4413_bit0 -x4414_bit0 -x4415_bit0 -x4416_bit0 -x4417_bit0 -x4418_bit0 -x4419_bit0 -x4420_bit0 -x4421_bit0 -x4422_bit0 -x4423_bit0 -x4424_bit0 -x4425_bit0 -x4426_bit0 -x4427_bit0 -x4428_bit0 -x4429_bit0 -x4430_bit0 -x4431_bit0 -x4432_bit0 -x4433_bit0 -x4434_bit0 -x4435_bit0 -x4436_bit0 -x4437_bit0 -x4438_bit0 -x4439_bit0 -x4440_bit0 -x4441_bit0 -x4442_bit0 -x4443_bit0 -x4444_bit0 -x4445_bit0 -x4446_bit0 -x4447_bit0 -x4448_bit0 -x4449_bit0 -x4450_bit0 -x4451_bit0 -x4452_bit0 -x4453_bit0 -x4454_bit0 -x4455_bit0 -x4456_bit0 -x4457_bit0 -x4458_bit0 -x4459_bit0 -x4460_bit0 -x4461_bit0 -x4462_bit0 -x4463_bit0 -x4464_bit0 -x4465_bit0 -x4466_bit0 -x4467_bit0 -x4468_bit0 -x4469_bit0 -x4470_bit0 -x4471_bit0 -x4472_bit0 -x4473_bit0 -x4474_bit0 -x4475_bit0 -x4476_bit0 -x4477_bit0 -x4478_bit0 -x4479_bit0 -x4480_bit0 -x4481_bit0 -x4482_bit0 -x4483_bit0 -x4484_bit0 -x4485_bit0 -x4486_bit0 -x4487_bit0 -x4488_bit0 -x4489_bit0 -x4490_bit0 -x4491_bit0 -x4492_bit0 -x4493_bit0 -x4494_bit0 -x4495_bit0 -x4496_bit0 -x4497_bit0 -x4498_bit0 -x4499_bit0 -x4500_bit0 -x4501_bit0 -x4502_bit0 -x4503_bit0 -x4504_bit0 -x4505_bit0 -x4506_bit0 -x4507_bit0 -x4508_bit0 -x4509_bit0 -x4510_bit0 -x4511_bit0 -x4512_bit0 -x4513_bit0 -x4514_bit0 -x4515_bit0 -x4516_bit0 -x4517_bit0 -x4518_bit0 -x4519_bit0 -x4520_bit0 -x4521_bit0 -x4522_bit0 -x4523_bit0 -x4524_bit0 -x4525_bit0 -x4526_bit0 -x4527_bit0 -x4528_bit0 -x4529_bit0 -x4530_bit0 -x4531_bit0 -x4532_bit0 -x4533_bit0 -x4534_bit0 -x4535_bit0 -x4536_bit0 -x4537_bit0 -x4538_bit0 -x4539_bit0 -x4540_bit0 -x4541_bit0 -x4542_bit0 -x4543_bit0 -x4544_bit0 -x4545_bit0 -x4546_bit0 -x4547_bit0 -x4548_bit0 -x4549_bit0 -x4550_bit0 -x4551_bit0 -x4552_bit0 -x4553_bit0 -x4554_bit0 -x4555_bit0 -x4556_bit0 -x4557_bit0 -x4558_bit0 -x4559_bit0 -x4560_bit0 -x4561_bit0 -x4562_bit0 -x4563_bit0 -x4564_bit0 -x4565_bit0 -x4566_bit0 -x4567_bit0 -x4568_bit0 -x4569_bit0 -x4570_bit0 -x4571_bit0 -x4572_bit0 -x4573_bit0 -x4574_bit0 -x4575_bit0 -x4576_bit0 -x4577_bit0 -x4578_bit0 -x4579_bit0 -x4580_bit0 -x4581_bit0 -x4582_bit0 -x4583_bit0 -x4584_bit0 -x4585_bit0 -x4586_bit0 -x4587_bit0 -x4588_bit0 -x4589_bit0 -x4590_bit0 -x4591_bit0 -x4592_bit0 -x4593_bit0 -x4594_bit0 -x4595_bit0 -x4596_bit0 -x4597_bit0 -x4598_bit0 -x4599_bit0 -x4600_bit0 -x4601_bit0 -x4602_bit0 -x4603_bit0 -x4604_bit0 -x4605_bit0 -x4606_bit0 -x4607_bit0 -x4608_bit0 -x4609_bit0 -x4610_bit0 -x4611_bit0 -x4612_bit0 -x4613_bit0 -x4614_bit0 -x4615_bit0 -x4616_bit0 -x4617_bit0 -x4618_bit0 -x4619_bit0 -x4620_bit0 -x4621_bit0 -x4622_bit0 -x4623_bit0 -x4624_bit0 -x4625_bit0 -x4626_bit0 -x4627_bit0 -x4628_bit0 -x4629_bit0 -x4630_bit0 -x4631_bit0 -x4632_bit0 -x4633_bit0 -x4634_bit0 -x4635_bit0 -x4636_bit0 -x4637_bit0 -x4638_bit0 -x4639_bit0 -x4640_bit0 -x4641_bit0 -x4642_bit0 -x4643_bit0 -x4644_bit0 -x4645_bit0 -x4646_bit0 -x4647_bit0 -x4648_bit0 -x4649_bit0 -x4650_bit0 -x4651_bit0 -x4652_bit0 -x4653_bit0 -x4654_bit0 -x4655_bit0 -x4656_bit0 -x4657_bit0 -x4658_bit0 -x4659_bit0 x4660_bit0 -x4661_bit0 -x4662_bit0 -x4663_bit0 -x4664_bit0 -x4665_bit0 -x4666_bit0 -x4667_bit0 -x4668_bit0 -x4669_bit0 -x4670_bit0 -x4671_bit0 -x4672_bit0 x4673_bit0 -x4674_bit0 -x4675_bit0 -x4676_bit0 -x4677_bit0 -x4678_bit0 -x4679_bit0 -x4680_bit0 -x4681_bit0 -x4682_bit0 -x4683_bit0 -x4684_bit0 -x4685_bit0 -x4686_bit0 -x4687_bit0 -x4688_bit0 -x4689_bit0 -x4690_bit0 -x4691_bit0 -x4692_bit0 -x4693_bit0 -x4694_bit0 -x4695_bit0 -x4696_bit0 -x4697_bit0 -x4698_bit0 -x4699_bit0 -x4700_bit0 -x4701_bit0 -x4702_bit0 -x4703_bit0 -x4704_bit0 -x4705_bit0 -x4706_bit0 -x4707_bit0 -x4708_bit0 -x4709_bit0 -x4710_bit0 -x4711_bit0 -x4712_bit0 -x4713_bit0 -x4714_bit0 -x4715_bit0 -x4716_bit0 -x4717_bit0 -x4718_bit0 -x4719_bit0 -x4720_bit0 -x4721_bit0 -x4722_bit0 -x4723_bit0 -x4724_bit0 -x4725_bit0 -x4726_bit0 -x4727_bit0 -x4728_bit0 -x4729_bit0 -x4730_bit0 -x4731_bit0 -x4732_bit0 -x4733_bit0 -x4734_bit0 -x4735_bit0 -x4736_bit0 -x4737_bit0 -x4738_bit0 -x4739_bit0 -x4740_bit0 -x4741_bit0 -x4742_bit0 -x4743_bit0 -x4744_bit0 -x4745_bit0 -x4746_bit0 -x4747_bit0 -x4748_bit0 -x4749_bit0 -x4750_bit0 -x4751_bit0 -x4752_bit0 -x4753_bit0 -x4754_bit0 -x4755_bit0 -x4756_bit0 x4757_bit0 -x4758_bit0 -x4759_bit0 -x4760_bit0 -x4761_bit0 -x4762_bit0 -x4763_bit0 -x4764_bit0 -x4765_bit0 -x4766_bit0 -x4767_bit0 -x4768_bit0 -x4769_bit0 -x4770_bit0 -x4771_bit0 -x4772_bit0 -x4773_bit0 -x4774_bit0 -x4775_bit0 -x4776_bit0 -x4777_bit0 -x4778_bit0 -x4779_bit0 -x4780_bit0 -x4781_bit0 -x4782_bit0 -x4783_bit0 -x4784_bit0 -x4785_bit0 -x4786_bit0 -x4787_bit0 -x4788_bit0 -x4789_bit0 -x4790_bit0 -x4791_bit0 -x4792_bit0 -x4793_bit0 -x4794_bit0 -x4795_bit0 -x4796_bit0 -x4797_bit0 -x4798_bit0 -x4799_bit0 -x4800_bit0 -x4801_bit0 -x4802_bit0 -x4803_bit0 -x4804_bit0 -x4805_bit0 -x4806_bit0 -x4807_bit0 -x4808_bit0 -x4809_bit0 -x4810_bit0 -x4811_bit0 -x4812_bit0 -x4813_bit0 -x4814_bit0 -x4815_bit0 -x4816_bit0 -x4817_bit0 -x4818_bit0 -x4819_bit0 -x4820_bit0 -x4821_bit0 -x4822_bit0 -x4823_bit0 -x4824_bit0 -x4825_bit0 -x4826_bit0 -x4827_bit0 -x4828_bit0 -x4829_bit0 -x4830_bit0 -x4831_bit0 -x4832_bit0 -x4833_bit0 -x4834_bit0 -x4835_bit0 -x4836_bit0 -x4837_bit0 -x4838_bit0 -x4839_bit0 -x4840_bit0 -x4841_bit0 -x4842_bit0 -x4843_bit0 -x4844_bit0 -x4845_bit0 -x4846_bit0 -x4847_bit0 -x4848_bit0 -x4849_bit0 -x4850_bit0 -x4851_bit0 -x4852_bit0 -x4853_bit0 -x4854_bit0 -x4855_bit0 -x4856_bit0 -x4857_bit0 -x4858_bit0 -x4859_bit0 -x4860_bit0 -x4861_bit0 -x4862_bit0 -x4863_bit0 x4864_bit0 -x4865_bit0 -x4866_bit0 -x4867_bit0 -x4868_bit0 -x4869_bit0 -x4870_bit0 -x4871_bit0 -x4872_bit0 -x4873_bit0 -x4874_bit0 -x4875_bit0 -x4876_bit0 -x4877_bit0 -x4878_bit0 -x4879_bit0 -x4880_bit0 -x4881_bit0 -x4882_bit0 -x4883_bit0 -x4884_bit0 -x4885_bit0 -x4886_bit0 -x4887_bit0 -x4888_bit0 -x4889_bit0 -x4890_bit0 -x4891_bit0 -x4892_bit0 -x4893_bit0 -x4894_bit0 -x4895_bit0 -x4896_bit0 -x4897_bit0 -x4898_bit0 -x4899_bit0 -x4900_bit0 -x4901_bit0 x4902_bit0 -x4903_bit0 -x4904_bit0 -x4905_bit0 -x4906_bit0 -x4907_bit0 -x4908_bit0 -x4909_bit0 -x4910_bit0 -x4911_bit0 -x4912_bit0 -x4913_bit0 -x4914_bit0 -x4915_bit0 -x4916_bit0 -x4917_bit0 -x4918_bit0 -x4919_bit0 -x4920_bit0 -x4921_bit0 -x4922_bit0 -x4923_bit0 -x4924_bit0 -x4925_bit0 -x4926_bit0 -x4927_bit0 -x4928_bit0 -x4929_bit0 -x4930_bit0 -x4931_bit0 -x4932_bit0 -x4933_bit0 -x4934_bit0 -x4935_bit0 -x4936_bit0 -x4937_bit0 -x4938_bit0 -x4939_bit0 -x4940_bit0 -x4941_bit0 -x4942_bit0 -x4943_bit0 -x4944_bit0 -x4945_bit0 -x4946_bit0 -x4947_bit0 -x4948_bit0 -x4949_bit0 -x4950_bit0 -x4951_bit0 -x4952_bit0 -x4953_bit0 -x4954_bit0 -x4955_bit0 -x4956_bit0 -x4957_bit0 -x4958_bit0 -x4959_bit0 -x4960_bit0 -x4961_bit0 -x4962_bit0 -x4963_bit0 -x4964_bit0 -x4965_bit0 -x4966_bit0 -x4967_bit0 -x4968_bit0 -x4969_bit0 -x4970_bit0 -x4971_bit0 -x4972_bit0 -x4973_bit0 -x4974_bit0 -x4975_bit0 -x4976_bit0 -x4977_bit0 -x4978_bit0 -x4979_bit0 -x4980_bit0 -x4981_bit0 -x4982_bit0 -x4983_bit0 -x4984_bit0 -x4985_bit0 -x4986_bit0 -x4987_bit0 -x4988_bit0 -x4989_bit0 -x4990_bit0 -x4991_bit0 -x4992_bit0 -x4993_bit0 -x4994_bit0 -x4995_bit0 -x4996_bit0 -x4997_bit0 -x4998_bit0 -x4999_bit0 -x5000_bit0 -x5001_bit0 -x5002_bit0 -x5003_bit0 -x5004_bit0 -x5005_bit0 -x5006_bit0 -x5007_bit0 -x5008_bit0 -x5009_bit0 -x5010_bit0 -x5011_bit0 -x5012_bit0 -x5013_bit0 -x5014_bit0 -x5015_bit0 -x5016_bit0 -x5017_bit0 -x5018_bit0 -x5019_bit0 -x5020_bit0 -x5021_bit0 -x5022_bit0 -x5023_bit0 -x5024_bit0 -x5025_bit0 -x5026_bit0 -x5027_bit0 -x5028_bit0 -x5029_bit0 -x5030_bit0 -x5031_bit0 -x5032_bit0 -x5033_bit0 -x5034_bit0 -x5035_bit0 -x5036_bit0 -x5037_bit0 -x5038_bit0 -x5039_bit0 -x5040_bit0 -x5041_bit0 -x5042_bit0 -x5043_bit0 -x5044_bit0 -x5045_bit0 -x5046_bit0 -x5047_bit0 -x5048_bit0 -x5049_bit0 -x5050_bit0 -x5051_bit0 -x5052_bit0 -x5053_bit0 -x5054_bit0 -x5055_bit0 -x5056_bit0 -x5057_bit0 -x5058_bit0 -x5059_bit0 -x5060_bit0 -x5061_bit0 -x5062_bit0 -x5063_bit0 -x5064_bit0 -x5065_bit0 -x5066_bit0 -x5067_bit0 -x5068_bit0 -x5069_bit0 -x5070_bit0 -x5071_bit0 -x5072_bit0 -x5073_bit0 -x5074_bit0 -x5075_bit0 -x5076_bit0 -x5077_bit0 -x5078_bit0 -x5079_bit0 -x5080_bit0 -x5081_bit0 -x5082_bit0 -x5083_bit0 -x5084_bit0 -x5085_bit0 -x5086_bit0 -x5087_bit0 -x5088_bit0 -x5089_bit0 -x5090_bit0 -x5091_bit0 -x5092_bit0 -x5093_bit0 -x5094_bit0 -x5095_bit0 -x5096_bit0 -x5097_bit0 -x5098_bit0 -x5099_bit0 -x5100_bit0 -x5101_bit0 -x5102_bit0 -x5103_bit0 -x5104_bit0 -x5105_bit0 -x5106_bit0 -x5107_bit0 -x5108_bit0 -x5109_bit0 -x5110_bit0 -x5111_bit0 -x5112_bit0 -x5113_bit0 -x5114_bit0 -x5115_bit0 -x5116_bit0 -x5117_bit0 -x5118_bit0 -x5119_bit0 -x5120_bit0 -x5121_bit0 -x5122_bit0 -x5123_bit0 -x5124_bit0 -x5125_bit0 -x5126_bit0 -x5127_bit0 -x5128_bit0 -x5129_bit0 -x5130_bit0 -x5131_bit0 -x5132_bit0 -x5133_bit0 -x5134_bit0 -x5135_bit0 -x5136_bit0 -x5137_bit0 -x5138_bit0 -x5139_bit0 -x5140_bit0 -x5141_bit0 -x5142_bit0 -x5143_bit0 -x5144_bit0 -x5145_bit0 -x5146_bit0 -x5147_bit0 -x5148_bit0 -x5149_bit0 -x5150_bit0 -x5151_bit0 -x5152_bit0 -x5153_bit0 -x5154_bit0 -x5155_bit0 -x5156_bit0 -x5157_bit0 -x5158_bit0 -x5159_bit0 -x5160_bit0 -x5161_bit0 -x5162_bit0 -x5163_bit0 -x5164_bit0 -x5165_bit0 -x5166_bit0 -x5167_bit0 -x5168_bit0 -x5169_bit0 -x5170_bit0 -x5171_bit0 -x5172_bit0 -x5173_bit0 -x5174_bit0 -x5175_bit0 -x5176_bit0 -x5177_bit0 -x5178_bit0 -x5179_bit0 -x5180_bit0 -x5181_bit0 -x5182_bit0 -x5183_bit0 -x5184_bit0 -x5185_bit0 -x5186_bit0 -x5187_bit0 -x5188_bit0 -x5189_bit0 -x5190_bit0 -x5191_bit0 -x5192_bit0 -x5193_bit0 -x5194_bit0 -x5195_bit0 -x5196_bit0 -x5197_bit0 -x5198_bit0 -x5199_bit0 -x5200_bit0 -x5201_bit0 -x5202_bit0 -x5203_bit0 -x5204_bit0 -x5205_bit0 -x5206_bit0 -x5207_bit0 -x5208_bit0 -x5209_bit0 -x5210_bit0 -x5211_bit0 -x5212_bit0 -x5213_bit0 -x5214_bit0 -x5215_bit0 -x5216_bit0 -x5217_bit0 -x5218_bit0 -x5219_bit0 -x5220_bit0 -x5221_bit0 -x5222_bit0 -x5223_bit0 -x5224_bit0 -x5225_bit0 -x5226_bit0 -x5227_bit0 -x5228_bit0 -x5229_bit0 -x5230_bit0 -x5231_bit0 -x5232_bit0 -x5233_bit0 -x5234_bit0 -x5235_bit0 -x5236_bit0 -x5237_bit0 -x5238_bit0 -x5239_bit0 -x5240_bit0 -x5241_bit0 -x5242_bit0 -x5243_bit0 -x5244_bit0 -x5245_bit0 -x5246_bit0 -x5247_bit0 -x5248_bit0 -x5249_bit0 -x5250_bit0 -x5251_bit0 -x5252_bit0 -x5253_bit0 -x5254_bit0 -x5255_bit0 -x5256_bit0 -x5257_bit0 -x5258_bit0 -x5259_bit0 -x5260_bit0 -x5261_bit0 -x5262_bit0 -x5263_bit0 -x5264_bit0 -x5265_bit0 -x5266_bit0 -x5267_bit0 -x5268_bit0 -x5269_bit0 -x5270_bit0 -x5271_bit0 -x5272_bit0 -x5273_bit0 -x5274_bit0 -x5275_bit0 -x5276_bit0 -x5277_bit0 -x5278_bit0 -x5279_bit0 -x5280_bit0 -x5281_bit0 -x5282_bit0 -x5283_bit0 -x5284_bit0 -x5285_bit0 -x5286_bit0 -x5287_bit0 -x5288_bit0 -x5289_bit0 -x5290_bit0 -x5291_bit0 -x5292_bit0 -x5293_bit0 -x5294_bit0 -x5295_bit0 -x5296_bit0 -x5297_bit0 -x5298_bit0 -x5299_bit0 -x5300_bit0 -x5301_bit0 -x5302_bit0 x5303_bit0 -x5304_bit0 -x5305_bit0 -x5306_bit0 -x5307_bit0 -x5308_bit0 -x5309_bit0 -x5310_bit0 -x5311_bit0 -x5312_bit0 -x5313_bit0 -x5314_bit0 -x5315_bit0 -x5316_bit0 -x5317_bit0 -x5318_bit0 -x5319_bit0 -x5320_bit0 -x5321_bit0 -x5322_bit0 -x5323_bit0 -x5324_bit0 -x5325_bit0 -x5326_bit0 -x5327_bit0 -x5328_bit0 -x5329_bit0 -x5330_bit0 -x5331_bit0 -x5332_bit0 -x5333_bit0 -x5334_bit0 -x5335_bit0 -x5336_bit0 -x5337_bit0 -x5338_bit0 -x5339_bit0 -x5340_bit0 -x5341_bit0 -x5342_bit0 -x5343_bit0 -x5344_bit0 -x5345_bit0 -x5346_bit0 -x5347_bit0 -x5348_bit0 -x5349_bit0 -x5350_bit0 -x5351_bit0 -x5352_bit0 -x5353_bit0 -x5354_bit0 -x5355_bit0 -x5356_bit0 -x5357_bit0 -x5358_bit0 -x5359_bit0 -x5360_bit0 -x5361_bit0 -x5362_bit0 -x5363_bit0 -x5364_bit0 -x5365_bit0 -x5366_bit0 -x5367_bit0 -x5368_bit0 -x5369_bit0 -x5370_bit0 -x5371_bit0 -x5372_bit0 -x5373_bit0 -x5374_bit0 -x5375_bit0 -x5376_bit0 -x5377_bit0 -x5378_bit0 -x5379_bit0 -x5380_bit0 -x5381_bit0 -x5382_bit0 -x5383_bit0 -x5384_bit0 -x5385_bit0 -x5386_bit0 -x5387_bit0 -x5388_bit0 -x5389_bit0 -x5390_bit0 -x5391_bit0 -x5392_bit0 -x5393_bit0 -x5394_bit0 -x5395_bit0 -x5396_bit0 -x5397_bit0 -x5398_bit0 -x5399_bit0 -x5400_bit0 -x5401_bit0 -x5402_bit0 -x5403_bit0 -x5404_bit0 -x5405_bit0 -x5406_bit0 -x5407_bit0 -x5408_bit0 -x5409_bit0 -x5410_bit0 -x5411_bit0 -x5412_bit0 -x5413_bit0 -x5414_bit0 -x5415_bit0 -x5416_bit0 -x5417_bit0 -x5418_bit0 -x5419_bit0 -x5420_bit0 -x5421_bit0 -x5422_bit0 -x5423_bit0 -x5424_bit0 -x5425_bit0 -x5426_bit0 -x5427_bit0 -x5428_bit0 -x5429_bit0 -x5430_bit0 -x5431_bit0 -x5432_bit0 -x5433_bit0 -x5434_bit0 -x5435_bit0 -x5436_bit0 -x5437_bit0 -x5438_bit0 -x5439_bit0 -x5440_bit0 -x5441_bit0 -x5442_bit0 -x5443_bit0 -x5444_bit0 -x5445_bit0 -x5446_bit0 -x5447_bit0 -x5448_bit0 -x5449_bit0 -x5450_bit0 -x5451_bit0 -x5452_bit0 -x5453_bit0 -x5454_bit0 -x5455_bit0 -x5456_bit0 -x5457_bit0 -x5458_bit0 -x5459_bit0 -x5460_bit0 -x5461_bit0 -x5462_bit0 -x5463_bit0 -x5464_bit0 -x5465_bit0 -x5466_bit0 -x5467_bit0 -x5468_bit0 -x5469_bit0 -x5470_bit0 -x5471_bit0 -x5472_bit0 -x5473_bit0 -x5474_bit0 -x5475_bit0 -x5476_bit0 -x5477_bit0 -x5478_bit0 -x5479_bit0 -x5480_bit0 -x5481_bit0 -x5482_bit0 -x5483_bit0 -x5484_bit0 -x5485_bit0 -x5486_bit0 -x5487_bit0 -x5488_bit0 -x5489_bit0 -x5490_bit0 -x5491_bit0 -x5492_bit0 -x5493_bit0 -x5494_bit0 -x5495_bit0 -x5496_bit0 -x5497_bit0 -x5498_bit0 -x5499_bit0 -x5500_bit0 -x5501_bit0 -x5502_bit0 -x5503_bit0 -x5504_bit0 -x5505_bit0 -x5506_bit0 -x5507_bit0 -x5508_bit0 -x5509_bit0 -x5510_bit0 -x5511_bit0 -x5512_bit0 -x5513_bit0 -x5514_bit0 -x5515_bit0 -x5516_bit0 -x5517_bit0 -x5518_bit0 -x5519_bit0 -x5520_bit0 -x5521_bit0 -x5522_bit0 -x5523_bit0 -x5524_bit0 -x5525_bit0 -x5526_bit0 -x5527_bit0 -x5528_bit0 -x5529_bit0 -x5530_bit0 -x5531_bit0 -x5532_bit0 -x5533_bit0 -x5534_bit0 -x5535_bit0 -x5536_bit0 -x5537_bit0 -x5538_bit0 -x5539_bit0 -x5540_bit0 -x5541_bit0 -x5542_bit0 -x5543_bit0 -x5544_bit0 -x5545_bit0 -x5546_bit0 -x5547_bit0 -x5548_bit0 -x5549_bit0 -x5550_bit0 -x5551_bit0 -x5552_bit0 -x5553_bit0 -x5554_bit0 -x5555_bit0 -x5556_bit0 -x5557_bit0 -x5558_bit0 -x5559_bit0 -x5560_bit0 -x5561_bit0 -x5562_bit0 -x5563_bit0 -x5564_bit0 -x5565_bit0 -x5566_bit0 -x5567_bit0 -x5568_bit0 -x5569_bit0 -x5570_bit0 -x5571_bit0 -x5572_bit0 -x5573_bit0 -x5574_bit0 -x5575_bit0 -x5576_bit0 -x5577_bit0 -x5578_bit0 -x5579_bit0 -x5580_bit0 -x5581_bit0 -x5582_bit0 -x5583_bit0 -x5584_bit0 -x5585_bit0 -x5586_bit0 -x5587_bit0 -x5588_bit0 -x5589_bit0 -x5590_bit0 -x5591_bit0 -x5592_bit0 -x5593_bit0 -x5594_bit0 -x5595_bit0 -x5596_bit0 -x5597_bit0 -x5598_bit0 -x5599_bit0 -x5600_bit0 -x5601_bit0 -x5602_bit0 -x5603_bit0 -x5604_bit0 -x5605_bit0 -x5606_bit0 -x5607_bit0 x5608_bit0 -x5609_bit0 -x5610_bit0 -x5611_bit0 -x5612_bit0 -x5613_bit0 -x5614_bit0 -x5615_bit0 -x5616_bit0 -x5617_bit0 -x5618_bit0 -x5619_bit0 -x5620_bit0 -x5621_bit0 -x5622_bit0 -x5623_bit0 -x5624_bit0 -x5625_bit0 -x5626_bit0 -x5627_bit0 -x5628_bit0 -x5629_bit0 -x5630_bit0 -x5631_bit0 -x5632_bit0 -x5633_bit0 -x5634_bit0 -x5635_bit0 -x5636_bit0 -x5637_bit0 -x5638_bit0 -x5639_bit0 -x5640_bit0 -x5641_bit0 -x5642_bit0 -x5643_bit0 -x5644_bit0 -x5645_bit0 -x5646_bit0 -x5647_bit0 -x5648_bit0 -x5649_bit0 -x5650_bit0 -x5651_bit0 -x5652_bit0 -x5653_bit0 -x5654_bit0 -x5655_bit0 -x5656_bit0 -x5657_bit0 -x5658_bit0 -x5659_bit0 -x5660_bit0 -x5661_bit0 -x5662_bit0 -x5663_bit0 -x5664_bit0 -x5665_bit0 -x5666_bit0 -x5667_bit0 -x5668_bit0 -x5669_bit0 -x5670_bit0 -x5671_bit0 -x5672_bit0 -x5673_bit0 -x5674_bit0 -x5675_bit0 -x5676_bit0 -x5677_bit0 -x5678_bit0 -x5679_bit0 -x5680_bit0 -x5681_bit0 -x5682_bit0 -x5683_bit0 -x5684_bit0 -x5685_bit0 -x5686_bit0 -x5687_bit0 -x5688_bit0 -x5689_bit0 -x5690_bit0 -x5691_bit0 -x5692_bit0 -x5693_bit0 -x5694_bit0 -x5695_bit0 -x5696_bit0 -x5697_bit0 -x5698_bit0 -x5699_bit0 -x5700_bit0 -x5701_bit0 -x5702_bit0 -x5703_bit0 -x5704_bit0 -x5705_bit0 -x5706_bit0 -x5707_bit0 -x5708_bit0 -x5709_bit0 -x5710_bit0 -x5711_bit0 -x5712_bit0 -x5713_bit0 -x5714_bit0 -x5715_bit0 -x5716_bit0 -x5717_bit0 -x5718_bit0 -x5719_bit0 -x5720_bit0 -x5721_bit0 -x5722_bit0 -x5723_bit0 -x5724_bit0 -x5725_bit0 -x5726_bit0 -x5727_bit0 -x5728_bit0 -x5729_bit0 -x5730_bit0 -x5731_bit0 -x5732_bit0 -x5733_bit0 -x5734_bit0 -x5735_bit0 -x5736_bit0 -x5737_bit0 -x5738_bit0 -x5739_bit0 -x5740_bit0 -x5741_bit0 -x5742_bit0 -x5743_bit0 -x5744_bit0 -x5745_bit0 -x5746_bit0 -x5747_bit0 -x5748_bit0 -x5749_bit0 -x5750_bit0 -x5751_bit0 -x5752_bit0 -x5753_bit0 -x5754_bit0 -x5755_bit0 -x5756_bit0 -x5757_bit0 -x5758_bit0 -x5759_bit0 -x5760_bit0 -x5761_bit0 -x5762_bit0 -x5763_bit0 -x5764_bit0 -x5765_bit0 -x5766_bit0 -x5767_bit0 -x5768_bit0 -x5769_bit0 -x5770_bit0 -x5771_bit0 -x5772_bit0 -x5773_bit0 -x5774_bit0 -x5775_bit0 -x5776_bit0 -x5777_bit0 -x5778_bit0 -x5779_bit0 -x5780_bit0 -x5781_bit0 -x5782_bit0 -x5783_bit0 -x5784_bit0 -x5785_bit0 -x5786_bit0 -x5787_bit0 -x5788_bit0 -x5789_bit0 -x5790_bit0 -x5791_bit0 -x5792_bit0 -x5793_bit0 -x5794_bit0 -x5795_bit0 -x5796_bit0 -x5797_bit0 -x5798_bit0 -x5799_bit0 -x5800_bit0 -x5801_bit0 -x5802_bit0 -x5803_bit0 -x5804_bit0 -x5805_bit0 -x5806_bit0 -x5807_bit0 -x5808_bit0 -x5809_bit0 -x5810_bit0 -x5811_bit0 -x5812_bit0 -x5813_bit0 -x5814_bit0 -x5815_bit0 -x5816_bit0 -x5817_bit0 -x5818_bit0 -x5819_bit0 -x5820_bit0 -x5821_bit0 -x5822_bit0 -x5823_bit0 -x5824_bit0 -x5825_bit0 -x5826_bit0 -x5827_bit0 -x5828_bit0 -x5829_bit0 -x5830_bit0 -x5831_bit0 -x5832_bit0 -x5833_bit0 -x5834_bit0 -x5835_bit0 -x5836_bit0 -x5837_bit0 -x5838_bit0 -x5839_bit0 -x5840_bit0 -x5841_bit0 -x5842_bit0 -x5843_bit0 -x5844_bit0 -x5845_bit0 -x5846_bit0 -x5847_bit0 -x5848_bit0 -x5849_bit0 -x5850_bit0 -x5851_bit0 -x5852_bit0 -x5853_bit0 -x5854_bit0 -x5855_bit0 -x5856_bit0 -x5857_bit0 -x5858_bit0 -x5859_bit0 -x5860_bit0 -x5861_bit0 -x5862_bit0 -x5863_bit0 -x5864_bit0 -x5865_bit0 -x5866_bit0 -x5867_bit0 -x5868_bit0 -x5869_bit0 -x5870_bit0 -x5871_bit0 -x5872_bit0 -x5873_bit0 -x5874_bit0 -x5875_bit0 -x5876_bit0 -x5877_bit0 -x5878_bit0 -x5879_bit0 -x5880_bit0 -x5881_bit0 -x5882_bit0 -x5883_bit0 -x5884_bit0 -x5885_bit0 -x5886_bit0 -x5887_bit0 -x5888_bit0 -x5889_bit0 -x5890_bit0 -x5891_bit0 -x5892_bit0 -x5893_bit0 -x5894_bit0 -x5895_bit0 -x5896_bit0 -x5897_bit0 -x5898_bit0 -x5899_bit0 -x5900_bit0 -x5901_bit0 -x5902_bit0 -x5903_bit0 -x5904_bit0 -x5905_bit0 -x5906_bit0 -x5907_bit0 -x5908_bit0 -x5909_bit0 -x5910_bit0 -x5911_bit0 -x5912_bit0 -x5913_bit0 -x5914_bit0 -x5915_bit0 -x5916_bit0 -x5917_bit0 -x5918_bit0 -x5919_bit0 -x5920_bit0 -x5921_bit0 -x5922_bit0 -x5923_bit0 -x5924_bit0 -x5925_bit0 -x5926_bit0 -x5927_bit0 -x5928_bit0 -x5929_bit0 -x5930_bit0 -x5931_bit0 -x5932_bit0 -x5933_bit0 -x5934_bit0 -x5935_bit0 -x5936_bit0 -x5937_bit0 -x5938_bit0 -x5939_bit0 -x5940_bit0 -x5941_bit0 -x5942_bit0 -x5943_bit0 -x5944_bit0 -x5945_bit0 -x5946_bit0 -x5947_bit0 -x5948_bit0 -x5949_bit0 -x5950_bit0 -x5951_bit0 -x5952_bit0 -x5953_bit0 -x5954_bit0 -x5955_bit0 -x5956_bit0 -x5957_bit0 -x5958_bit0 -x5959_bit0 -x5960_bit0 -x5961_bit0 -x5962_bit0 -x5963_bit0 -x5964_bit0 -x5965_bit0 -x5966_bit0 -x5967_bit0 -x5968_bit0 -x5969_bit0 -x5970_bit0 -x5971_bit0 -x5972_bit0 -x5973_bit0 -x5974_bit0 -x5975_bit0 -x5976_bit0 -x5977_bit0 -x5978_bit0 -x5979_bit0 -x5980_bit0 -x5981_bit0 -x5982_bit0 -x5983_bit0 -x5984_bit0 -x5985_bit0 -x5986_bit0 -x5987_bit0 -x5988_bit0 -x5989_bit0 -x5990_bit0 -x5991_bit0 -x5992_bit0 -x5993_bit0 -x5994_bit0 -x5995_bit0 -x5996_bit0 -x5997_bit0 -x5998_bit0 -x5999_bit0 -x6000_bit0 -x6001_bit0 -x6002_bit0 -x6003_bit0 -x6004_bit0 -x6005_bit0 -x6006_bit0 -x6007_bit0 -x6008_bit0 -x6009_bit0 -x6010_bit0 -x6011_bit0 -x6012_bit0 -x6013_bit0 -x6014_bit0 -x6015_bit0 -x6016_bit0 -x6017_bit0 -x6018_bit0 -x6019_bit0 -x6020_bit0 -x6021_bit0 -x6022_bit0 -x6023_bit0 -x6024_bit0 -x6025_bit0 -x6026_bit0 -x6027_bit0 -x6028_bit0 -x6029_bit0 -x6030_bit0 -x6031_bit0 -x6032_bit0 -x6033_bit0 -x6034_bit0 -x6035_bit0 -x6036_bit0 -x6037_bit0 -x6038_bit0 -x6039_bit0 -x6040_bit0 -x6041_bit0 -x6042_bit0 -x6043_bit0 -x6044_bit0 -x6045_bit0 -x6046_bit0 -x6047_bit0 -x6048_bit0 -x6049_bit0 -x6050_bit0 -x6051_bit0 -x6052_bit0 -x6053_bit0 -x6054_bit0 -x6055_bit0 -x6056_bit0 -x6057_bit0 -x6058_bit0 -x6059_bit0 -x6060_bit0 -x6061_bit0 -x6062_bit0 -x6063_bit0 -x6064_bit0 -x6065_bit0 -x6066_bit0 -x6067_bit0 -x6068_bit0 -x6069_bit0 -x6070_bit0 -x6071_bit0 -x6072_bit0 -x6073_bit0 -x6074_bit0 -x6075_bit0 -x6076_bit0 -x6077_bit0 -x6078_bit0 -x6079_bit0 -x6080_bit0 -x6081_bit0 -x6082_bit0 -x6083_bit0 -x6084_bit0 -x6085_bit0 -x6086_bit0 -x6087_bit0 -x6088_bit0 -x6089_bit0 -x6090_bit0 -x6091_bit0 -x6092_bit0 -x6093_bit0 -x6094_bit0 -x6095_bit0 -x6096_bit0 -x6097_bit0 -x6098_bit0 -x6099_bit0 -x6100_bit0 -x6101_bit0 -x6102_bit0 -x6103_bit0 -x6104_bit0 -x6105_bit0 -x6106_bit0 -x6107_bit0 -x6108_bit0 -x6109_bit0 -x6110_bit0 -x6111_bit0 -x6112_bit0 -x6113_bit0 -x6114_bit0 -x6115_bit0 -x6116_bit0 -x6117_bit0 -x6118_bit0 -x6119_bit0 -x6120_bit0 -x6121_bit0 -x6122_bit0 -x6123_bit0 -x6124_bit0 -x6125_bit0 -x6126_bit0 -x6127_bit0 -x6128_bit0 -x6129_bit0 -x6130_bit0 -x6131_bit0 -x6132_bit0 -x6133_bit0 -x6134_bit0 -x6135_bit0 -x6136_bit0 -x6137_bit0 -x6138_bit0 -x6139_bit0 -x6140_bit0 -x6141_bit0 -x6142_bit0 -x6143_bit0 -x6144_bit0 -x6145_bit0 -x6146_bit0 -x6147_bit0 -x6148_bit0 -x6149_bit0 -x6150_bit0 -x6151_bit0 -x6152_bit0 -x6153_bit0 -x6154_bit0 -x6155_bit0 -x6156_bit0 -x6157_bit0 -x6158_bit0 -x6159_bit0 -x6160_bit0 -x6161_bit0 -x6162_bit0 -x6163_bit0 -x6164_bit0 -x6165_bit0 -x6166_bit0 -x6167_bit0 -x6168_bit0 -x6169_bit0 -x6170_bit0 -x6171_bit0 -x6172_bit0 -x6173_bit0 -x6174_bit0 -x6175_bit0 -x6176_bit0 -x6177_bit0 -x6178_bit0 -x6179_bit0 -x6180_bit0 -x6181_bit0 -x6182_bit0 -x6183_bit0 -x6184_bit0 -x6185_bit0 -x6186_bit0 -x6187_bit0 -x6188_bit0 -x6189_bit0 -x6190_bit0 -x6191_bit0 -x6192_bit0 -x6193_bit0 -x6194_bit0 -x6195_bit0 -x6196_bit0 -x6197_bit0 -x6198_bit0 -x6199_bit0 -x6200_bit0 -x6201_bit0 -x6202_bit0 -x6203_bit0 -x6204_bit0 -x6205_bit0 -x6206_bit0 -x6207_bit0 -x6208_bit0 -x6209_bit0 -x6210_bit0 -x6211_bit0 -x6212_bit0 -x6213_bit0 -x6214_bit0 -x6215_bit0 -x6216_bit0 -x6217_bit0 -x6218_bit0 -x6219_bit0 -x6220_bit0 -x6221_bit0 -x6222_bit0 -x6223_bit0 -x6224_bit0 -x6225_bit0 -x6226_bit0 -x6227_bit0 -x6228_bit0 -x6229_bit0 -x6230_bit0 -x6231_bit0 -x6232_bit0 -x6233_bit0 -x6234_bit0 -x6235_bit0 -x6236_bit0 -x6237_bit0 -x6238_bit0 -x6239_bit0 -x6240_bit0 -x6241_bit0 -x6242_bit0 -x6243_bit0 -x6244_bit0 -x6245_bit0 -x6246_bit0 -x6247_bit0 -x6248_bit0 -x6249_bit0 -x6250_bit0 -x6251_bit0 -x6252_bit0 -x6253_bit0 -x6254_bit0 -x6255_bit0 -x6256_bit0 -x6257_bit0 -x6258_bit0 -x6259_bit0 -x6260_bit0 -x6261_bit0 -x6262_bit0 -x6263_bit0 -x6264_bit0 -x6265_bit0 -x6266_bit0 -x6267_bit0 -x6268_bit0 -x6269_bit0 -x6270_bit0 -x6271_bit0 -x6272_bit0 -x6273_bit0 -x6274_bit0 -x6275_bit0 -x6276_bit0 -x6277_bit0 -x6278_bit0 -x6279_bit0 -x6280_bit0 -x6281_bit0 -x6282_bit0 -x6283_bit0 -x6284_bit0 -x6285_bit0 -x6286_bit0 -x6287_bit0 x6288_bit0 -x6289_bit0 -x6290_bit0 -x6291_bit0 -x6292_bit0 -x6293_bit0 -x6294_bit0 -x6295_bit0 -x6296_bit0 -x6297_bit0 -x6298_bit0 -x6299_bit0 -x6300_bit0 -x6301_bit0 -x6302_bit0 -x6303_bit0 -x6304_bit0 -x6305_bit0 -x6306_bit0 -x6307_bit0 -x6308_bit0 -x6309_bit0 -x6310_bit0 -x6311_bit0 -x6312_bit0 -x6313_bit0 -x6314_bit0 -x6315_bit0 -x6316_bit0 -x6317_bit0 -x6318_bit0 -x6319_bit0 -x6320_bit0 -x6321_bit0 -x6322_bit0 -x6323_bit0 -x6324_bit0 -x6325_bit0 -x6326_bit0 -x6327_bit0 -x6328_bit0 -x6329_bit0 -x6330_bit0 -x6331_bit0 -x6332_bit0 -x6333_bit0 -x6334_bit0 -x6335_bit0 -x6336_bit0 -x6337_bit0 -x6338_bit0 -x6339_bit0 -x6340_bit0 -x6341_bit0 -x6342_bit0 -x6343_bit0 -x6344_bit0 -x6345_bit0 -x6346_bit0 -x6347_bit0 -x6348_bit0 -x6349_bit0 -x6350_bit0 -x6351_bit0 -x6352_bit0 -x6353_bit0 -x6354_bit0 -x6355_bit0 -x6356_bit0 -x6357_bit0 -x6358_bit0 -x6359_bit0 -x6360_bit0 -x6361_bit0 -x6362_bit0 -x6363_bit0 -x6364_bit0 -x6365_bit0 -x6366_bit0 -x6367_bit0 -x6368_bit0 -x6369_bit0 -x6370_bit0 -x6371_bit0 -x6372_bit0 -x6373_bit0 -x6374_bit0 -x6375_bit0 -x6376_bit0 -x6377_bit0 -x6378_bit0 -x6379_bit0 -x6380_bit0 -x6381_bit0 -x6382_bit0 -x6383_bit0 -x6384_bit0 -x6385_bit0 -x6386_bit0 -x6387_bit0 -x6388_bit0 -x6389_bit0 -x6390_bit0 -x6391_bit0 -x6392_bit0 -x6393_bit0 -x6394_bit0 -x6395_bit0 -x6396_bit0 -x6397_bit0 -x6398_bit0 -x6399_bit0 -x6400_bit0 -x6401_bit0 -x6402_bit0 -x6403_bit0 -x6404_bit0 -x6405_bit0 -x6406_bit0 -x6407_bit0 -x6408_bit0 -x6409_bit0 -x6410_bit0 -x6411_bit0 -x6412_bit0 -x6413_bit0 -x6414_bit0 -x6415_bit0 -x6416_bit0 -x6417_bit0 -x6418_bit0 -x6419_bit0 -x6420_bit0 -x6421_bit0 -x6422_bit0 -x6423_bit0 -x6424_bit0 -x6425_bit0 -x6426_bit0 -x6427_bit0 -x6428_bit0 -x6429_bit0 -x6430_bit0 -x6431_bit0 -x6432_bit0 -x6433_bit0 -x6434_bit0 -x6435_bit0 -x6436_bit0 -x6437_bit0 -x6438_bit0 -x6439_bit0 -x6440_bit0 -x6441_bit0 -x6442_bit0 -x6443_bit0 -x6444_bit0 -x6445_bit0 -x6446_bit0 -x6447_bit0 -x6448_bit0 -x6449_bit0 -x6450_bit0 -x6451_bit0 -x6452_bit0 -x6453_bit0 -x6454_bit0 -x6455_bit0 -x6456_bit0 -x6457_bit0 -x6458_bit0 -x6459_bit0 -x6460_bit0 -x6461_bit0 -x6462_bit0 -x6463_bit0 -x6464_bit0 -x6465_bit0 -x6466_bit0 -x6467_bit0 -x6468_bit0 -x6469_bit0 -x6470_bit0 -x6471_bit0 -x6472_bit0 -x6473_bit0 -x6474_bit0 -x6475_bit0 -x6476_bit0 -x6477_bit0 -x6478_bit0 -x6479_bit0 -x6480_bit0 -x6481_bit0 -x6482_bit0 -x6483_bit0 -x6484_bit0 -x6485_bit0 -x6486_bit0 -x6487_bit0 -x6488_bit0 -x6489_bit0 -x6490_bit0 -x6491_bit0 -x6492_bit0 -x6493_bit0 -x6494_bit0 -x6495_bit0 -x6496_bit0 -x6497_bit0 -x6498_bit0 -x6499_bit0 -x6500_bit0 -x6501_bit0 -x6502_bit0 -x6503_bit0 -x6504_bit0 -x6505_bit0 -x6506_bit0 -x6507_bit0 -x6508_bit0 -x6509_bit0 -x6510_bit0 -x6511_bit0 -x6512_bit0 -x6513_bit0 -x6514_bit0 -x6515_bit0 -x6516_bit0 -x6517_bit0 -x6518_bit0 -x6519_bit0 -x6520_bit0 -x6521_bit0 -x6522_bit0 -x6523_bit0 -x6524_bit0 -x6525_bit0 -x6526_bit0 -x6527_bit0 -x6528_bit0 -x6529_bit0 -x6530_bit0 -x6531_bit0 -x6532_bit0 -x6533_bit0 -x6534_bit0 -x6535_bit0 -x6536_bit0 -x6537_bit0 -x6538_bit0 -x6539_bit0 -x6540_bit0 -x6541_bit0 -x6542_bit0 -x6543_bit0 -x6544_bit0 -x6545_bit0 -x6546_bit0 -x6547_bit0 -x6548_bit0 -x6549_bit0 -x6550_bit0 -x6551_bit0 -x6552_bit0 -x6553_bit0 -x6554_bit0 -x6555_bit0 -x6556_bit0 -x6557_bit0 -x6558_bit0 -x6559_bit0 -x6560_bit0 -x6561_bit0 -x6562_bit0 -x6563_bit0 -x6564_bit0 -x6565_bit0 -x6566_bit0 -x6567_bit0 -x6568_bit0 -x6569_bit0 -x6570_bit0 -x6571_bit0 -x6572_bit0 -x6573_bit0 -x6574_bit0 -x6575_bit0 -x6576_bit0 -x6577_bit0 -x6578_bit0 -x6579_bit0 -x6580_bit0 -x6581_bit0 -x6582_bit0 -x6583_bit0 -x6584_bit0 -x6585_bit0 -x6586_bit0 -x6587_bit0 -x6588_bit0 -x6589_bit0 -x6590_bit0 -x6591_bit0 -x6592_bit0 -x6593_bit0 -x6594_bit0 -x6595_bit0 -x6596_bit0 -x6597_bit0 -x6598_bit0 -x6599_bit0 -x6600_bit0 -x6601_bit0 -x6602_bit0 -x6603_bit0 -x6604_bit0 -x6605_bit0 -x6606_bit0 -x6607_bit0 -x6608_bit0 -x6609_bit0 -x6610_bit0 -x6611_bit0 -x6612_bit0 -x6613_bit0 -x6614_bit0 -x6615_bit0 -x6616_bit0 -x6617_bit0 -x6618_bit0 -x6619_bit0 -x6620_bit0 -x6621_bit0 -x6622_bit0 -x6623_bit0 -x6624_bit0 -x6625_bit0 -x6626_bit0 -x6627_bit0 -x6628_bit0 -x6629_bit0 -x6630_bit0 -x6631_bit0 -x6632_bit0 -x6633_bit0 -x6634_bit0 -x6635_bit0 -x6636_bit0 -x6637_bit0 -x6638_bit0 -x6639_bit0 -x6640_bit0 -x6641_bit0 -x6642_bit0 -x6643_bit0 -x6644_bit0 x6645_bit0 -x6646_bit0 -x6647_bit0 -x6648_bit0 -x6649_bit0 -x6650_bit0 -x6651_bit0 -x6652_bit0 -x6653_bit0 -x6654_bit0 -x6655_bit0 -x6656_bit0 -x6657_bit0 -x6658_bit0 -x6659_bit0 -x6660_bit0 -x6661_bit0 -x6662_bit0 -x6663_bit0 -x6664_bit0 -x6665_bit0 -x6666_bit0 -x6667_bit0 -x6668_bit0 -x6669_bit0 -x6670_bit0 -x6671_bit0 -x6672_bit0 -x6673_bit0 -x6674_bit0 -x6675_bit0 -x6676_bit0 -x6677_bit0 -x6678_bit0 -x6679_bit0 -x6680_bit0 -x6681_bit0 -x6682_bit0 -x6683_bit0 -x6684_bit0 -x6685_bit0 -x6686_bit0 -x6687_bit0 -x6688_bit0 -x6689_bit0 -x6690_bit0 -x6691_bit0 -x6692_bit0 -x6693_bit0 -x6694_bit0 -x6695_bit0 -x6696_bit0 -x6697_bit0 -x6698_bit0 -x6699_bit0 -x6700_bit0 -x6701_bit0 -x6702_bit0 -x6703_bit0 -x6704_bit0 -x6705_bit0 -x6706_bit0 -x6707_bit0 -x6708_bit0 -x6709_bit0 -x6710_bit0 -x6711_bit0 -x6712_bit0 -x6713_bit0 -x6714_bit0 -x6715_bit0 -x6716_bit0 -x6717_bit0 -x6718_bit0 -x6719_bit0 -x6720_bit0 -x6721_bit0 -x6722_bit0 -x6723_bit0 -x6724_bit0 -x6725_bit0 -x6726_bit0 -x6727_bit0 -x6728_bit0 -x6729_bit0 -x6730_bit0 -x6731_bit0 -x6732_bit0 -x6733_bit0 -x6734_bit0 -x6735_bit0 -x6736_bit0 -x6737_bit0 -x6738_bit0 -x6739_bit0 -x6740_bit0 -x6741_bit0 -x6742_bit0 -x6743_bit0 -x6744_bit0 -x6745_bit0 -x6746_bit0 -x6747_bit0 -x6748_bit0 -x6749_bit0 -x6750_bit0 -x6751_bit0 -x6752_bit0 -x6753_bit0 -x6754_bit0 -x6755_bit0 -x6756_bit0 -x6757_bit0 -x6758_bit0 -x6759_bit0 -x6760_bit0 -x6761_bit0 -x6762_bit0 -x6763_bit0 -x6764_bit0 -x6765_bit0 -x6766_bit0 -x6767_bit0 -x6768_bit0 -x6769_bit0 -x6770_bit0 -x6771_bit0 -x6772_bit0 -x6773_bit0 -x6774_bit0 -x6775_bit0 -x6776_bit0 -x6777_bit0 -x6778_bit0 -x6779_bit0 -x6780_bit0 -x6781_bit0 -x6782_bit0 -x6783_bit0 -x6784_bit0 -x6785_bit0 -x6786_bit0 -x6787_bit0 -x6788_bit0 -x6789_bit0 -x6790_bit0 -x6791_bit0 -x6792_bit0 -x6793_bit0 -x6794_bit0 -x6795_bit0 -x6796_bit0 -x6797_bit0 -x6798_bit0 -x6799_bit0 -x6800_bit0 -x6801_bit0 -x6802_bit0 -x6803_bit0 -x6804_bit0 -x6805_bit0 -x6806_bit0 -x6807_bit0 -x6808_bit0 -x6809_bit0 -x6810_bit0 -x6811_bit0 -x6812_bit0 -x6813_bit0 -x6814_bit0 -x6815_bit0 -x6816_bit0 -x6817_bit0 -x6818_bit0 -x6819_bit0 -x6820_bit0 -x6821_bit0 -x6822_bit0 -x6823_bit0 -x6824_bit0 -x6825_bit0 -x6826_bit0 -x6827_bit0 -x6828_bit0 -x6829_bit0 -x6830_bit0 -x6831_bit0 -x6832_bit0 -x6833_bit0 -x6834_bit0 -x6835_bit0 -x6836_bit0 -x6837_bit0 -x6838_bit0 -x6839_bit0 -x6840_bit0 -x6841_bit0 -x6842_bit0 -x6843_bit0 -x6844_bit0 -x6845_bit0 -x6846_bit0 -x6847_bit0 -x6848_bit0 -x6849_bit0 -x6850_bit0 -x6851_bit0 -x6852_bit0 -x6853_bit0 -x6854_bit0 -x6855_bit0 -x6856_bit0 -x6857_bit0 -x6858_bit0 -x6859_bit0 -x6860_bit0 -x6861_bit0 -x6862_bit0 -x6863_bit0 -x6864_bit0 -x6865_bit0 -x6866_bit0 -x6867_bit0 -x6868_bit0 -x6869_bit0 -x6870_bit0 -x6871_bit0 -x6872_bit0 -x6873_bit0 -x6874_bit0 -x6875_bit0 -x6876_bit0 -x6877_bit0 -x6878_bit0 -x6879_bit0 -x6880_bit0 -x6881_bit0 -x6882_bit0 -x6883_bit0 -x6884_bit0 -x6885_bit0 -x6886_bit0 -x6887_bit0 -x6888_bit0 -x6889_bit0 -x6890_bit0 -x6891_bit0 -x6892_bit0 -x6893_bit0 -x6894_bit0 -x6895_bit0 -x6896_bit0 -x6897_bit0 -x6898_bit0 -x6899_bit0 -x6900_bit0 -x6901_bit0 -x6902_bit0 -x6903_bit0 -x6904_bit0 -x6905_bit0 -x6906_bit0 -x6907_bit0 -x6908_bit0 -x6909_bit0 -x6910_bit0 -x6911_bit0 -x6912_bit0 -x6913_bit0 -x6914_bit0 -x6915_bit0 -x6916_bit0 -x6917_bit0 -x6918_bit0 -x6919_bit0 -x6920_bit0 -x6921_bit0 -x6922_bit0 -x6923_bit0 -x6924_bit0 -x6925_bit0 -x6926_bit0 -x6927_bit0 -x6928_bit0 -x6929_bit0 -x6930_bit0 -x6931_bit0 -x6932_bit0 -x6933_bit0 -x6934_bit0 -x6935_bit0 -x6936_bit0 -x6937_bit0 -x6938_bit0 -x6939_bit0 -x6940_bit0 -x6941_bit0 -x6942_bit0 -x6943_bit0 -x6944_bit0 -x6945_bit0 -x6946_bit0 -x6947_bit0 -x6948_bit0 -x6949_bit0 -x6950_bit0 -x6951_bit0 -x6952_bit0 -x6953_bit0 -x6954_bit0 -x6955_bit0 -x6956_bit0 -x6957_bit0 -x6958_bit0 -x6959_bit0 -x6960_bit0 -x6961_bit0 -x6962_bit0 -x6963_bit0 -x6964_bit0 -x6965_bit0 -x6966_bit0 -x6967_bit0 -x6968_bit0 -x6969_bit0 -x6970_bit0 -x6971_bit0 -x6972_bit0 -x6973_bit0 -x6974_bit0 -x6975_bit0 -x6976_bit0 -x6977_bit0 -x6978_bit0 -x6979_bit0 -x6980_bit0 -x6981_bit0 -x6982_bit0 -x6983_bit0 -x6984_bit0 -x6985_bit0 -x6986_bit0 -x6987_bit0 -x6988_bit0 -x6989_bit0 -x6990_bit0 -x6991_bit0 -x6992_bit0 -x6993_bit0 -x6994_bit0 -x6995_bit0 -x6996_bit0 -x6997_bit0 -x6998_bit0 -x6999_bit0 -x7000_bit0 -x7001_bit0 -x7002_bit0 -x7003_bit0 -x7004_bit0 -x7005_bit0 -x7006_bit0 -x7007_bit0 -x7008_bit0 -x7009_bit0 -x7010_bit0 -x7011_bit0 -x7012_bit0 -x7013_bit0 -x7014_bit0 -x7015_bit0 -x7016_bit0 -x7017_bit0 -x7018_bit0 -x7019_bit0 -x7020_bit0 -x7021_bit0 -x7022_bit0 -x7023_bit0 -x7024_bit0 -x7025_bit0 -x7026_bit0 -x7027_bit0 -x7028_bit0 -x7029_bit0 -x7030_bit0 -x7031_bit0 -x7032_bit0 -x7033_bit0 -x7034_bit0 -x7035_bit0 -x7036_bit0 -x7037_bit0 -x7038_bit0 -x7039_bit0 -x7040_bit0 -x7041_bit0 -x7042_bit0 -x7043_bit0 -x7044_bit0 -x7045_bit0 -x7046_bit0 -x7047_bit0 -x7048_bit0 -x7049_bit0 -x7050_bit0 -x7051_bit0 -x7052_bit0 -x7053_bit0 -x7054_bit0 -x7055_bit0 -x7056_bit0 -x7057_bit0 -x7058_bit0 -x7059_bit0 -x7060_bit0 -x7061_bit0 -x7062_bit0 -x7063_bit0 -x7064_bit0 -x7065_bit0 -x7066_bit0 -x7067_bit0 -x7068_bit0 -x7069_bit0 -x7070_bit0 -x7071_bit0 -x7072_bit0 -x7073_bit0 -x7074_bit0 -x7075_bit0 -x7076_bit0 -x7077_bit0 -x7078_bit0 -x7079_bit0 -x7080_bit0 -x7081_bit0 -x7082_bit0 -x7083_bit0 -x7084_bit0 -x7085_bit0 -x7086_bit0 -x7087_bit0 -x7088_bit0 -x7089_bit0 -x7090_bit0 -x7091_bit0 -x7092_bit0 -x7093_bit0 -x7094_bit0 -x7095_bit0 -x7096_bit0 -x7097_bit0 -x7098_bit0 -x7099_bit0 -x7100_bit0 -x7101_bit0 -x7102_bit0 -x7103_bit0 -x7104_bit0 -x7105_bit0 -x7106_bit0 -x7107_bit0 -x7108_bit0 -x7109_bit0 -x7110_bit0 -x7111_bit0 -x7112_bit0 -x7113_bit0 -x7114_bit0 -x7115_bit0 -x7116_bit0 -x7117_bit0 -x7118_bit0 -x7119_bit0 -x7120_bit0 x7121_bit0 -x7122_bit0 -x7123_bit0 -x7124_bit0 -x7125_bit0 -x7126_bit0 -x7127_bit0 -x7128_bit0 -x7129_bit0 -x7130_bit0 -x7131_bit0 -x7132_bit0 -x7133_bit0 -x7134_bit0 -x7135_bit0 -x7136_bit0 -x7137_bit0 -x7138_bit0 -x7139_bit0 -x7140_bit0 -x7141_bit0 -x7142_bit0 -x7143_bit0 -x7144_bit0 -x7145_bit0 -x7146_bit0 -x7147_bit0 -x7148_bit0 -x7149_bit0 -x7150_bit0 -x7151_bit0 -x7152_bit0 -x7153_bit0 -x7154_bit0 -x7155_bit0 -x7156_bit0 -x7157_bit0 -x7158_bit0 -x7159_bit0 -x7160_bit0 -x7161_bit0 -x7162_bit0 -x7163_bit0 -x7164_bit0 -x7165_bit0 -x7166_bit0 -x7167_bit0 -x7168_bit0 -x7169_bit0 -x7170_bit0 -x7171_bit0 -x7172_bit0 -x7173_bit0 -x7174_bit0 -x7175_bit0 -x7176_bit0 -x7177_bit0 -x7178_bit0 -x7179_bit0 -x7180_bit0 -x7181_bit0 -x7182_bit0 -x7183_bit0 -x7184_bit0 -x7185_bit0 -x7186_bit0 -x7187_bit0 -x7188_bit0 -x7189_bit0 -x7190_bit0 -x7191_bit0 -x7192_bit0 -x7193_bit0 -x7194_bit0 -x7195_bit0 
c Exit Code: 10
c Total time: 1175.03 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/55 26448
Raw data (stat): 26448 (runsolver) R 26447 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 814133045 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.9999 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 44281 0 0 0 909 87 0 0 25 0 1 0 814133045 195010560 44258 4294967295 134512640 134714540 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47610 44258 1111 63 0 47547 0
vsize: 190440
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 45968 0 0 0 1903 93 0 0 25 0 1 0 814133045 201904128 45945 4294967295 134512640 134714540 3221221776 3221218388 1077090785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49293 45945 1111 63 0 49230 0
vsize: 197172
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46599 0 0 0 2902 95 0 0 25 0 1 0 814133045 194666496 46547 4294967295 134512640 134714540 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47526 46547 1111 63 0 47463 0
vsize: 190104
[startup+40.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46600 0 0 0 3902 95 0 0 25 0 1 0 814133045 194666496 46548 4294967295 134512640 134714540 3221221776 3221220568 134617118 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47526 46548 1111 63 0 47463 0
vsize: 190104
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46601 0 0 0 4902 95 0 0 25 0 1 0 814133045 194666496 46549 4294967295 134512640 134714540 3221221776 3221220504 134672944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47526 46549 1111 63 0 47463 0
vsize: 190104
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46603 0 0 0 5902 95 0 0 25 0 1 0 814133045 194666496 46551 4294967295 134512640 134714540 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47526 46551 1111 63 0 47463 0
vsize: 190104
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46604 0 0 0 6902 95 0 0 25 0 1 0 814133045 194666496 46552 4294967295 134512640 134714540 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47526 46552 1111 63 0 47463 0
vsize: 190104
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46607 0 0 0 7902 95 0 0 25 0 1 0 814133045 194666496 46555 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47526 46555 1111 63 0 47463 0
vsize: 190104
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46610 0 0 0 8903 95 0 0 25 0 1 0 814133045 194666496 46558 4294967295 134512640 134714540 3221221776 3221220392 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47526 46558 1111 63 0 47463 0
vsize: 190104
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46615 0 0 0 9903 95 0 0 25 0 1 0 814133045 194666496 46563 4294967295 134512640 134714540 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47526 46563 1111 63 0 47463 0
vsize: 190104
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46617 0 0 0 10903 95 0 0 25 0 1 0 814133045 194666496 46565 4294967295 134512640 134714540 3221221776 3221220168 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47526 46565 1111 63 0 47463 0
vsize: 190104
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46622 0 0 0 11903 95 0 0 25 0 1 0 814133045 194666496 46570 4294967295 134512640 134714540 3221221776 3221220416 134584866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47526 46570 1111 63 0 47463 0
vsize: 190104
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46625 0 0 0 12903 95 0 0 25 0 1 0 814133045 194666496 46573 4294967295 134512640 134714540 3221221776 3221220256 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47526 46573 1111 63 0 47463 0
vsize: 190104
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46627 0 0 0 13903 95 0 0 25 0 1 0 814133045 194666496 46575 4294967295 134512640 134714540 3221221776 3221220272 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47526 46575 1111 63 0 47463 0
vsize: 190104
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46631 0 0 0 14904 95 0 0 25 0 1 0 814133045 194801664 46579 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47559 46579 1111 63 0 47496 0
vsize: 190236
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46633 0 0 0 15904 95 0 0 25 0 1 0 814133045 194801664 46581 4294967295 134512640 134714540 3221221776 3221220504 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47559 46581 1111 63 0 47496 0
vsize: 190236
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46639 0 0 0 16904 95 0 0 25 0 1 0 814133045 194801664 46587 4294967295 134512640 134714540 3221221776 3221220168 134542370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47559 46587 1111 63 0 47496 0
vsize: 190236
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46643 0 0 0 17904 95 0 0 25 0 1 0 814133045 194801664 46591 4294967295 134512640 134714540 3221221776 3221220156 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47559 46591 1111 63 0 47496 0
vsize: 190236
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46645 0 0 0 18904 95 0 0 25 0 1 0 814133045 194801664 46593 4294967295 134512640 134714540 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47559 46593 1111 63 0 47496 0
vsize: 190236
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46648 0 0 0 19904 95 0 0 25 0 1 0 814133045 194801664 46596 4294967295 134512640 134714540 3221221776 3221220280 134543617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47559 46596 1111 63 0 47496 0
vsize: 190236
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46652 0 0 0 20904 95 0 0 25 0 1 0 814133045 194801664 46600 4294967295 134512640 134714540 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47559 46600 1111 63 0 47496 0
vsize: 190236
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46656 0 0 0 21905 95 0 0 25 0 1 0 814133045 194801664 46604 4294967295 134512640 134714540 3221221776 3221220188 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47559 46604 1111 63 0 47496 0
vsize: 190236
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46665 0 0 0 22905 96 0 0 25 0 1 0 814133045 194936832 46613 4294967295 134512640 134714540 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47592 46613 1111 63 0 47529 0
vsize: 190368
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46672 0 0 0 23905 96 0 0 25 0 1 0 814133045 194936832 46620 4294967295 134512640 134714540 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47592 46620 1111 63 0 47529 0
vsize: 190368
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46678 0 0 0 24905 96 0 0 25 0 1 0 814133045 194936832 46626 4294967295 134512640 134714540 3221221776 3221220140 134539306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47592 46626 1111 63 0 47529 0
vsize: 190368
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 46975 0 0 0 25904 97 0 0 25 0 1 0 814133045 196096000 46923 4294967295 134512640 134714540 3221221776 3221220316 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47875 46923 1111 63 0 47812 0
vsize: 191500
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 47479 0 0 0 26902 99 0 0 25 0 1 0 814133045 198258688 47427 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48403 47427 1111 63 0 48340 0
vsize: 193612
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 48115 0 0 0 27899 101 0 0 25 0 1 0 814133045 200794112 48063 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49022 48063 1111 63 0 48959 0
vsize: 196088
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 49072 0 0 0 28896 104 0 0 25 0 1 0 814133045 204791808 49013 4294967295 134512640 134714540 3221221776 3221220352 134535391 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49998 49013 1111 63 0 49935 0
vsize: 199992
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 49856 0 0 0 29894 106 0 0 25 0 1 0 814133045 207929344 49795 4294967295 134512640 134714540 3221221776 3221220448 134535767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50764 49795 1111 63 0 50701 0
vsize: 203056
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 50147 0 0 0 30893 108 0 0 25 0 1 0 814133045 209166336 50086 4294967295 134512640 134714540 3221221776 3221220476 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51066 50086 1111 63 0 51003 0
vsize: 204264
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 50762 0 0 0 31891 110 0 0 25 0 1 0 814133045 211738624 50701 4294967295 134512640 134714540 3221221776 3221220592 134610711 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51694 50701 1111 63 0 51631 0
vsize: 206776
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 32890 111 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220500 134622905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 33890 111 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 34889 111 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 35889 111 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 36888 112 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 37888 112 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220500 134622811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 38888 112 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 39888 113 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 40888 113 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220488 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 41888 114 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 42887 115 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 43887 115 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220488 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 44886 115 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 45886 116 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 46886 117 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220500 134622811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 47886 117 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 48885 117 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 49885 117 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 50885 118 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 51884 119 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220560 134624498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 52883 120 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220368 134696114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 53883 120 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 54882 121 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 55882 121 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 56882 122 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 57882 122 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 58881 123 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 59881 123 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 60881 123 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 61881 124 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 62880 124 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 63880 124 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51065 0 0 0 64880 125 0 0 25 0 1 0 814133045 212897792 51004 4294967295 134512640 134714540 3221221776 3221220368 134543710 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51004 1111 63 0 51914 0
vsize: 207908
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51066 0 0 0 65879 125 0 0 25 0 1 0 814133045 212897792 51005 4294967295 134512640 134714540 3221221776 3221220544 134542598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51977 51005 1111 63 0 51914 0
vsize: 207908
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51110 0 0 0 66879 126 0 0 25 0 1 0 814133045 213032960 51049 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52010 51049 1111 63 0 51947 0
vsize: 208040
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51273 0 0 0 67878 127 0 0 25 0 1 0 814133045 213786624 51212 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52194 51212 1111 63 0 52131 0
vsize: 208776
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51516 0 0 0 68877 129 0 0 25 0 1 0 814133045 214745088 51455 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52428 51455 1111 63 0 52365 0
vsize: 209712
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51618 0 0 0 69876 130 0 0 25 0 1 0 814133045 215015424 51524 4294967295 134512640 134714540 3221221776 3221220584 134622412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52494 51524 1111 63 0 52431 0
vsize: 209976
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51708 0 0 0 70875 131 0 0 25 0 1 0 814133045 215429120 51614 4294967295 134512640 134714540 3221221776 3221220552 134543568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52595 51614 1111 63 0 52532 0
vsize: 210380
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51708 0 0 0 71874 132 0 0 25 0 1 0 814133045 215326720 51614 4294967295 134512640 134714540 3221221776 3221220424 1077374433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52570 51614 1111 63 0 52507 0
vsize: 210280
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51890 0 0 0 72873 133 0 0 25 0 1 0 814133045 216195072 51796 4294967295 134512640 134714540 3221221776 3221220476 134535620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52782 51796 1111 63 0 52719 0
vsize: 211128
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26448
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51894 0 0 0 73872 134 0 0 25 0 1 0 814133045 216145920 51800 4294967295 134512640 134714540 3221221776 3221220492 134592362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52770 51800 1111 63 0 52707 0
vsize: 211080
[startup+750.029 s]
Raw data (loadavg): 1.07 0.99 0.91 3/58 26486
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51896 0 0 0 74861 143 0 0 25 0 1 0 814133045 216145920 51802 4294967295 134512640 134714540 3221221776 3221220288 134540030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52770 51802 1111 63 0 52707 0
vsize: 211080
[startup+760.029 s]
Raw data (loadavg): 1.14 1.00 0.92 2/55 26501
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 51952 0 0 0 75860 144 0 0 25 0 1 0 814133045 216424448 51858 4294967295 134512640 134714540 3221221776 3221220316 1076648084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52838 51858 1111 63 0 52775 0
vsize: 211352
[startup+770.03 s]
Raw data (loadavg): 1.11 1.00 0.92 2/55 26501
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52012 0 0 0 76860 145 0 0 25 0 1 0 814133045 216702976 51918 4294967295 134512640 134714540 3221221776 3221220368 134696148 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52906 51918 1111 63 0 52843 0
vsize: 211624
[startup+780.031 s]
Raw data (loadavg): 1.18 1.02 0.93 2/55 26501
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52024 0 0 0 77859 146 0 0 25 0 1 0 814133045 216571904 51919 4294967295 134512640 134714540 3221221776 3221220368 134538795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52874 51919 1111 63 0 52811 0
vsize: 211496
[startup+790.031 s]
Raw data (loadavg): 1.15 1.02 0.93 2/55 26501
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52140 0 0 0 78858 147 0 0 25 0 1 0 814133045 217051136 52035 4294967295 134512640 134714540 3221221776 3221220416 134524583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52991 52035 1111 63 0 52928 0
vsize: 211964
[startup+800.031 s]
Raw data (loadavg): 1.13 1.02 0.93 2/55 26501
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52288 0 0 0 79857 148 0 0 25 0 1 0 814133045 217726976 52183 4294967295 134512640 134714540 3221221776 3221220060 1077379898 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53156 52183 1111 63 0 53093 0
vsize: 212624
[startup+810.032 s]
Raw data (loadavg): 1.11 1.02 0.93 2/55 26501
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52291 0 0 0 80857 148 0 0 25 0 1 0 814133045 217726976 52186 4294967295 134512640 134714540 3221221776 3221220356 134696285 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53156 52186 1111 63 0 53093 0
vsize: 212624
[startup+820.032 s]
Raw data (loadavg): 1.09 1.01 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52291 0 0 0 81857 149 0 0 25 0 1 0 814133045 217726976 52186 4294967295 134512640 134714540 3221221776 3221220592 134587890 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53156 52186 1111 63 0 53093 0
vsize: 212624
[startup+830.033 s]
Raw data (loadavg): 1.08 1.01 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52291 0 0 0 82856 150 0 0 25 0 1 0 814133045 217726976 52186 4294967295 134512640 134714540 3221221776 3221220560 134624498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53156 52186 1111 63 0 53093 0
vsize: 212624
[startup+840.034 s]
Raw data (loadavg): 1.06 1.01 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52291 0 0 0 83855 151 0 0 25 0 1 0 814133045 217726976 52186 4294967295 134512640 134714540 3221221776 3221220060 1077379927 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53156 52186 1111 63 0 53093 0
vsize: 212624
[startup+850.034 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52291 0 0 0 84854 152 0 0 25 0 1 0 814133045 217726976 52186 4294967295 134512640 134714540 3221221776 3221220404 1077374469 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53156 52186 1111 63 0 53093 0
vsize: 212624
[startup+860.034 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52312 0 0 0 85854 152 0 0 25 0 1 0 814133045 217866240 52207 4294967295 134512640 134714540 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53190 52207 1111 63 0 53127 0
vsize: 212760
[startup+870.035 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52312 0 0 0 86854 153 0 0 25 0 1 0 814133045 217767936 52207 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53166 52207 1111 63 0 53103 0
vsize: 212664
[startup+880.035 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52315 0 0 0 87853 154 0 0 25 0 1 0 814133045 217767936 52210 4294967295 134512640 134714540 3221221776 3221220472 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53166 52210 1111 63 0 53103 0
vsize: 212664
[startup+890.035 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52570 0 0 0 88853 155 0 0 25 0 1 0 814133045 218849280 52465 4294967295 134512640 134714540 3221221776 3221220496 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53430 52465 1111 63 0 53367 0
vsize: 213720
[startup+900.036 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52570 0 0 0 89852 155 0 0 25 0 1 0 814133045 218849280 52465 4294967295 134512640 134714540 3221221776 3221220352 134696055 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53430 52465 1111 63 0 53367 0
vsize: 213720
[startup+910.037 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52570 0 0 0 90852 156 0 0 25 0 1 0 814133045 218849280 52465 4294967295 134512640 134714540 3221221776 3221220576 134622163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53430 52465 1111 63 0 53367 0
vsize: 213720
[startup+920.038 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52570 0 0 0 91852 156 0 0 25 0 1 0 814133045 218849280 52465 4294967295 134512640 134714540 3221221776 3221220412 134523614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53430 52465 1111 63 0 53367 0
vsize: 213720
[startup+930.038 s]
Raw data (loadavg): 1.09 1.02 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52570 0 0 0 92850 158 0 0 25 0 1 0 814133045 218849280 52465 4294967295 134512640 134714540 3221221776 3221220060 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53430 52465 1111 63 0 53367 0
vsize: 213720
[startup+940.038 s]
Raw data (loadavg): 1.08 1.02 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52570 0 0 0 93850 158 0 0 25 0 1 0 814133045 218849280 52465 4294967295 134512640 134714540 3221221776 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53430 52465 1111 63 0 53367 0
vsize: 213720
[startup+950.038 s]
Raw data (loadavg): 1.06 1.02 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52570 0 0 0 94849 159 0 0 25 0 1 0 814133045 218849280 52465 4294967295 134512640 134714540 3221221776 3221220368 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53430 52465 1111 63 0 53367 0
vsize: 213720
[startup+960.039 s]
Raw data (loadavg): 1.05 1.02 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52570 0 0 0 95849 160 0 0 25 0 1 0 814133045 218849280 52465 4294967295 134512640 134714540 3221221776 3221220496 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53430 52465 1111 63 0 53367 0
vsize: 213720
[startup+970.039 s]
Raw data (loadavg): 1.05 1.02 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52631 0 0 0 96848 161 0 0 25 0 1 0 814133045 219095040 52526 4294967295 134512640 134714540 3221221776 3221220416 134538791 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53490 52526 1111 63 0 53427 0
vsize: 213960
[startup+980.04 s]
Raw data (loadavg): 1.04 1.02 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52631 0 0 0 97848 161 0 0 25 0 1 0 814133045 219095040 52526 4294967295 134512640 134714540 3221221776 3221220440 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53490 52526 1111 63 0 53427 0
vsize: 213960
[startup+990.039 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52631 0 0 0 98847 162 0 0 25 0 1 0 814133045 219095040 52526 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53490 52526 1111 63 0 53427 0
vsize: 213960
[startup+1000.04 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52631 0 0 0 99847 162 0 0 25 0 1 0 814133045 219095040 52526 4294967295 134512640 134714540 3221221776 3221220404 1077374550 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53490 52526 1111 63 0 53427 0
vsize: 213960
[startup+1010.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52631 0 0 0 100846 163 0 0 25 0 1 0 814133045 219095040 52526 4294967295 134512640 134714540 3221221776 3221220432 134524477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53490 52526 1111 63 0 53427 0
vsize: 213960
[startup+1020.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52631 0 0 0 101846 164 0 0 25 0 1 0 814133045 219095040 52526 4294967295 134512640 134714540 3221221776 3221220568 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53490 52526 1111 63 0 53427 0
vsize: 213960
[startup+1030.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52631 0 0 0 102845 165 0 0 25 0 1 0 814133045 219095040 52526 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53490 52526 1111 63 0 53427 0
vsize: 213960
[startup+1040.04 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52631 0 0 0 103844 166 0 0 25 0 1 0 814133045 219095040 52526 4294967295 134512640 134714540 3221221776 3221220464 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53490 52526 1111 63 0 53427 0
vsize: 213960
[startup+1050.04 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52631 0 0 0 104844 167 0 0 25 0 1 0 814133045 219095040 52526 4294967295 134512640 134714540 3221221776 3221220580 134611006 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53490 52526 1111 63 0 53427 0
vsize: 213960
[startup+1060.04 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52631 0 0 0 105843 168 0 0 25 0 1 0 814133045 219095040 52526 4294967295 134512640 134714540 3221221776 3221220256 134697476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53490 52526 1111 63 0 53427 0
vsize: 213960
[startup+1070.04 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52631 0 0 0 106843 168 0 0 25 0 1 0 814133045 219095040 52526 4294967295 134512640 134714540 3221221776 3221220528 134604472 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53490 52526 1111 63 0 53427 0
vsize: 213960
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52642 0 0 0 107843 168 0 0 25 0 1 0 814133045 219095040 52537 4294967295 134512640 134714540 3221221776 3221220528 134604532 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53490 52537 1111 63 0 53427 0
vsize: 213960
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26503
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 52642 0 0 0 108842 169 0 0 25 0 1 0 814133045 219095040 52537 4294967295 134512640 134714540 3221221776 3221220400 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53490 52537 1111 63 0 53427 0
vsize: 213960
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26505
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 53028 0 0 0 109841 171 0 0 25 0 1 0 814133045 220721152 52923 4294967295 134512640 134714540 3221221776 3221220060 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53887 52923 1111 63 0 53824 0
vsize: 215548
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26505
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 53030 0 0 0 110841 171 0 0 25 0 1 0 814133045 220721152 52925 4294967295 134512640 134714540 3221221776 3221220416 134524412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53887 52925 1111 63 0 53824 0
vsize: 215548
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26505
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 53045 0 0 0 111840 172 0 0 25 0 1 0 814133045 220860416 52940 4294967295 134512640 134714540 3221221776 3221220352 134535391 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53921 52940 1111 63 0 53858 0
vsize: 215684
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26505
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 53045 0 0 0 112840 172 0 0 25 0 1 0 814133045 220860416 52940 4294967295 134512640 134714540 3221221776 3221220104 1077377725 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53921 52940 1111 63 0 53858 0
vsize: 215684
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26505
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 53045 0 0 0 113840 173 0 0 25 0 1 0 814133045 220860416 52940 4294967295 134512640 134714540 3221221776 3221220368 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53921 52940 1111 63 0 53858 0
vsize: 215684
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26505
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 53045 0 0 0 114839 173 0 0 25 0 1 0 814133045 220860416 52940 4294967295 134512640 134714540 3221221776 3221220060 1077379860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53921 52940 1111 63 0 53858 0
vsize: 215684
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26505
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 53045 0 0 0 115839 174 0 0 25 0 1 0 814133045 220860416 52940 4294967295 134512640 134714540 3221221776 3221220376 134538739 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53921 52940 1111 63 0 53858 0
vsize: 215684
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 26505
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 53045 0 0 0 116838 175 0 0 25 0 1 0 814133045 220860416 52940 4294967295 134512640 134714540 3221221776 3221220296 1077377443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53921 52940 1111 63 0 53858 0
vsize: 215684
[startup+1175.07 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 26505
Raw data (stat): 26448 (bsolo_mis) R 26447 7876 7672 0 -1 0 53045 0 0 0 116838 175 0 0 25 0 1 0 814133045 220860416 52940 4294967295 134512640 134714540 3221221776 3221220296 1077377443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53921 52940 1111 63 0 53858 0
vsize: 0

Child status: 10
Real time (s): 1175.06
CPU time (s): 1175.15
CPU user time (s): 1173.29
CPU system time (s): 1.85672
CPU usage (%): 100.007
Max. virtual memory (Kb): 215684
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	39398
#### END VERIFIER DATA ####