PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-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.13
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 28510

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-25 02:45:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12442 boxname=wulflinc26 idbench=958 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  a0fff131fa124ee4d61d9b3bf266a4ba  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-air05.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-air05.opb
IDLAUNCH: 12442
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        586956 kB
Buffers:         32860 kB
Cached:         391280 kB
SwapCached:        656 kB
Active:         109920 kB
Inactive:       316892 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        586704 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            15284 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 03:05:40 (client local time) WITH STATUS 10 IN 1183.69 SECONDS
stats: 12442 0 1183.69 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 7195 variables and 852 constraints.
c After prepocess the problem consists of 6334 variables and 724 constraints.
c preprocess terminated 356.701 s
c Initial Lower Bound: 25878
c Lower Bound Elapsed time: 37.36
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 34139 @ 395.895
c NEW SOLUTION FOUND: 33545 @ 395.918
c NEW SOLUTION FOUND: 33234 @ 396.008
c NEW SOLUTION FOUND: 33129 @ 396.242
c NEW SOLUTION FOUND: 33118 @ 401.03
c NEW SOLUTION FOUND: 32900 @ 402.582
c NEW SOLUTION FOUND: 32499 @ 409.58
c NEW SOLUTION FOUND: 32336 @ 411.514
c NEW SOLUTION FOUND: 32215 @ 413.464
c NEW SOLUTION FOUND: 32096 @ 422.667
c NEW SOLUTION FOUND: 31891 @ 424.95
c NEW SOLUTION FOUND: 31844 @ 437.214
c NEW SOLUTION FOUND: 31736 @ 439.361
c NEW SOLUTION FOUND: 31719 @ 447.371
c NEW SOLUTION FOUND: 31535 @ 451.157
c NEW SOLUTION FOUND: 31435 @ 453.167
c NEW SOLUTION FOUND: 31433 @ 470.631
c NEW SOLUTION FOUND: 31403 @ 482.282
c NEW SOLUTION FOUND: 31079 @ 487.426
c NEW SOLUTION FOUND: 30975 @ 500.491
c NEW SOLUTION FOUND: 30928 @ 518.237
c NEW SOLUTION FOUND: 30896 @ 521.032
c NEW SOLUTION FOUND: 30855 @ 545.331
c NEW SOLUTION FOUND: 30793 @ 569.725
c NEW SOLUTION FOUND: 30761 @ 572.231
c NEW SOLUTION FOUND: 29923 @ 595.701
c NEW SOLUTION FOUND: 29721 @ 599.67
c NEW SOLUTION FOUND: 29720 @ 637.102
c NEW SOLUTION FOUND: 29704 @ 898.808
c NEW SOLUTION FOUND: 29642 @ 921.888
c NEW SOLUTION FOUND: 29628 @ 1168.47
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: 1183.52 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.93 0.96 0.91 2/54 29235
Raw data (stat): 29235 (runsolver) R 29234 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835391605 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99992 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 44327 0 0 0 910 87 0 0 25 0 1 0 835391605 194600960 44251 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47510 44251 1111 63 0 47447 0
vsize: 190040
[startup+20.0001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 45969 0 0 0 1906 90 0 0 25 0 1 0 835391605 201359360 45893 4294967295 134512640 134714508 3221224592 3221222880 134566785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49160 45893 1111 63 0 49097 0
vsize: 196640
[startup+29.9999 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 49736 0 0 0 2899 97 0 0 25 0 1 0 835391605 206934016 49631 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50521 49631 1111 63 0 50458 0
vsize: 202084
[startup+39.9998 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 52880 0 0 0 3892 103 0 0 25 0 1 0 835391605 219787264 52775 4294967295 134512640 134714508 3221224592 3221223096 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53659 52775 1111 63 0 53596 0
vsize: 214636
[startup+50.0002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 55899 0 0 0 4886 110 0 0 25 0 1 0 835391605 232099840 55794 4294967295 134512640 134714508 3221224592 3221223232 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56665 55794 1111 63 0 56602 0
vsize: 226660
[startup+60.0002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 58679 0 0 0 5880 116 0 0 25 0 1 0 835391605 243601408 58574 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59473 58574 1111 63 0 59410 0
vsize: 237892
[startup+70.0008 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 61475 0 0 0 6875 121 0 0 25 0 1 0 835391605 254967808 61370 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62248 61370 1111 63 0 62185 0
vsize: 248992
[startup+80.0012 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 64187 0 0 0 7870 126 0 0 25 0 1 0 835391605 266063872 64082 4294967295 134512640 134714508 3221224592 3221222956 134539217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64957 64082 1111 63 0 64894 0
vsize: 259828
[startup+90.0009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 66675 0 0 0 8865 132 0 0 25 0 1 0 835391605 276353024 66570 4294967295 134512640 134714508 3221224592 3221223072 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67469 66570 1111 63 0 67406 0
vsize: 269876
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 68918 0 0 0 9861 136 0 0 25 0 1 0 835391605 285552640 68813 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69715 68813 1111 63 0 69652 0
vsize: 278860
[startup+110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 71090 0 0 0 10856 141 0 0 25 0 1 0 835391605 294346752 70985 4294967295 134512640 134714508 3221224592 3221223088 134543744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71862 70985 1111 63 0 71799 0
vsize: 287448
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 72957 0 0 0 11852 146 0 0 25 0 1 0 835391605 302067712 72852 4294967295 134512640 134714508 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73747 72852 1111 63 0 73684 0
vsize: 294988
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 74877 0 0 0 12847 150 0 0 25 0 1 0 835391605 309915648 74772 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75663 74772 1111 63 0 75600 0
vsize: 302652
[startup+140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 76749 0 0 0 13844 154 0 0 25 0 1 0 835391605 317497344 76644 4294967295 134512640 134714508 3221224592 3221223080 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77514 76644 1111 63 0 77451 0
vsize: 310056
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 78506 0 0 0 14842 156 0 0 25 0 1 0 835391605 324800512 78401 4294967295 134512640 134714508 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79297 78401 1111 63 0 79234 0
vsize: 317188
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 80006 0 0 0 15840 158 0 0 25 0 1 0 835391605 330891264 79901 4294967295 134512640 134714508 3221224592 3221223216 134595001 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80784 79901 1111 63 0 80721 0
vsize: 323136
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 81229 0 0 0 16838 160 0 0 25 0 1 0 835391605 335904768 81124 4294967295 134512640 134714508 3221224592 3221222972 134539324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82008 81124 1111 63 0 81945 0
vsize: 328032
[startup+180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 82530 0 0 0 17835 163 0 0 25 0 1 0 835391605 341192704 82425 4294967295 134512640 134714508 3221224592 3221222956 134539270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83299 82425 1111 63 0 83236 0
vsize: 333196
[startup+190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 83819 0 0 0 18832 166 0 0 25 0 1 0 835391605 346476544 83714 4294967295 134512640 134714508 3221224592 3221223168 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84589 83714 1111 63 0 84526 0
vsize: 338356
[startup+199.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 84878 0 0 0 19830 168 0 0 25 0 1 0 835391605 350810112 84773 4294967295 134512640 134714508 3221224592 3221223208 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85647 84773 1111 63 0 85584 0
vsize: 342588
[startup+209.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 85726 0 0 0 20829 170 0 0 25 0 1 0 835391605 354332672 85621 4294967295 134512640 134714508 3221224592 3221223216 134528959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86507 85621 1111 63 0 86444 0
vsize: 346028
[startup+220 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 86562 0 0 0 21827 172 0 0 25 0 1 0 835391605 357720064 86457 4294967295 134512640 134714508 3221224592 3221222956 134539309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87334 86457 1111 63 0 87271 0
vsize: 349336
[startup+229.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 87250 0 0 0 22826 173 0 0 25 0 1 0 835391605 360566784 87145 4294967295 134512640 134714508 3221224592 3221223132 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88029 87145 1111 63 0 87966 0
vsize: 352116
[startup+239.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 87713 0 0 0 23824 175 0 0 25 0 1 0 835391605 362467328 87608 4294967295 134512640 134714508 3221224592 3221222996 134542788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88493 87608 1111 63 0 88430 0
vsize: 353972
[startup+249.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 88255 0 0 0 24823 176 0 0 25 0 1 0 835391605 364634112 88150 4294967295 134512640 134714508 3221224592 3221222984 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89022 88150 1111 63 0 88959 0
vsize: 356088
[startup+259.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 88529 0 0 0 25822 177 0 0 25 0 1 0 835391605 365854720 88424 4294967295 134512640 134714508 3221224592 3221222976 134542706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89320 88424 1111 63 0 89257 0
vsize: 357280
[startup+269.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 88589 0 0 0 26822 178 0 0 25 0 1 0 835391605 366002176 88484 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89356 88484 1111 63 0 89293 0
vsize: 357424
[startup+279.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 88603 0 0 0 27822 178 0 0 25 0 1 0 835391605 366137344 88498 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89389 88498 1111 63 0 89326 0
vsize: 357556
[startup+289.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 88613 0 0 0 28822 178 0 0 25 0 1 0 835391605 366137344 88508 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89389 88508 1111 63 0 89326 0
vsize: 357556
[startup+299.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 88615 0 0 0 29823 178 0 0 25 0 1 0 835391605 366137344 88510 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89389 88510 1111 63 0 89326 0
vsize: 357556
[startup+309.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 88619 0 0 0 30823 178 0 0 25 0 1 0 835391605 366137344 88514 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89389 88514 1111 63 0 89326 0
vsize: 357556
[startup+319.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 88627 0 0 0 31823 178 0 0 25 0 1 0 835391605 366272512 88522 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89422 88522 1111 63 0 89359 0
vsize: 357688
[startup+329.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 88632 0 0 0 32823 178 0 0 25 0 1 0 835391605 366272512 88527 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89422 88527 1111 63 0 89359 0
vsize: 357688
[startup+339.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 88633 0 0 0 33823 178 0 0 25 0 1 0 835391605 366272512 88528 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89422 88528 1111 63 0 89359 0
vsize: 357688
[startup+349.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 88634 0 0 0 34823 178 0 0 25 0 1 0 835391605 366272512 88529 4294967295 134512640 134714508 3221224592 3221223264 134627252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89422 88529 1111 63 0 89359 0
vsize: 357688
[startup+359.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 90557 0 0 0 35818 183 0 0 25 0 1 0 835391605 372498432 89873 4294967295 134512640 134714508 3221224592 3221221704 1074138303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90942 89873 1111 63 0 90879 0
vsize: 363768
[startup+369.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 90941 0 0 0 36817 183 0 0 25 0 1 0 835391605 371998720 90020 4294967295 134512640 134714508 3221224592 3221220556 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90820 90020 1111 63 0 90757 0
vsize: 363280
[startup+379.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 90941 0 0 0 37817 183 0 0 25 0 1 0 835391605 371998720 90020 4294967295 134512640 134714508 3221224592 3221220496 1074875163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90820 90020 1111 63 0 90757 0
vsize: 363280
[startup+389.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 92052 0 0 0 38815 185 0 0 25 0 1 0 835391605 369688576 89479 4294967295 134512640 134714508 3221224592 3221223040 134648531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90256 89479 1111 63 0 90193 0
vsize: 361024
[startup+399.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 93029 0 0 0 39812 189 0 0 25 0 1 0 835391605 370286592 89644 4294967295 134512640 134714508 3221224592 3221223344 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90402 89644 1111 63 0 90339 0
vsize: 361608
[startup+409.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 93130 0 0 0 40812 189 0 0 25 0 1 0 835391605 370216960 89651 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90385 89651 1111 63 0 90322 0
vsize: 361540
[startup+419.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 93399 0 0 0 41811 190 0 0 25 0 1 0 835391605 370216960 89651 4294967295 134512640 134714508 3221224592 3221223200 134549460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90385 89651 1111 63 0 90322 0
vsize: 361540
[startup+429.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 93988 0 0 0 42808 191 0 0 25 0 1 0 835391605 370216960 89651 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90385 89651 1111 63 0 90322 0
vsize: 361540
[startup+439.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 94798 0 0 0 43806 194 0 0 25 0 1 0 835391605 370216960 89651 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89651 1111 63 0 90322 0
vsize: 361540
[startup+449.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 95255 0 0 0 44805 195 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+459.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 95720 0 0 0 45803 196 0 0 25 0 1 0 835391605 370839552 89743 4294967295 134512640 134714508 3221224592 3221220864 1074961496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90537 89743 1111 63 0 90474 0
vsize: 362148
[startup+469.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 96565 0 0 0 46801 198 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+479.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 97323 0 0 0 47800 199 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+489.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 98001 0 0 0 48798 200 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+499.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 98833 0 0 0 49797 202 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+509.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 99694 0 0 0 50795 204 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221222256 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+519.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 100795 0 0 0 51792 207 0 0 25 0 1 0 835391605 370466816 89661 4294967295 134512640 134714508 3221224592 3221222512 1075799503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90446 89661 1111 63 0 90383 0
vsize: 361784
[startup+529.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 101711 0 0 0 52790 210 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221222736 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+539.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 102653 0 0 0 53788 212 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221223220 1077374082 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+549.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 103512 0 0 0 54786 214 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221222636 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+559.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 104606 0 0 0 55783 217 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+569.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 105962 0 0 0 56780 220 0 0 25 0 1 0 835391605 370466816 89720 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90446 89720 1111 63 0 90383 0
vsize: 361784
[startup+579.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 106475 0 0 0 57779 222 0 0 25 0 1 0 835391605 370954240 89768 4294967295 134512640 134714508 3221224592 3221220820 1075115073 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90565 89768 1111 63 0 90502 0
vsize: 362260
[startup+589.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 107180 0 0 0 58777 224 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+599.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 108274 0 0 0 59775 226 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+609.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 109492 0 0 0 60772 229 0 0 25 0 1 0 835391605 371208192 89816 4294967295 134512640 134714508 3221224592 3221220808 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90627 89816 1111 63 0 90564 0
vsize: 362508
[startup+619.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 110609 0 0 0 61770 231 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221222556 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+629.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 111965 0 0 0 62767 235 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221222032 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+639.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 113496 0 0 0 63763 238 0 0 25 0 1 0 835391605 371339264 89846 4294967295 134512640 134714508 3221224592 3221220636 1074873465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90659 89846 1111 63 0 90596 0
vsize: 362636
[startup+649.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 114761 0 0 0 64761 241 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+659.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 116574 0 0 0 65757 244 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+669.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 118067 0 0 0 66754 248 0 0 25 0 1 0 835391605 371298304 89837 4294967295 134512640 134714508 3221224592 3221220636 1074873486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90649 89837 1111 63 0 90586 0
vsize: 362596
[startup+679.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 119489 0 0 0 67751 251 0 0 25 0 1 0 835391605 371445760 89873 4294967295 134512640 134714508 3221224592 3221220636 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90685 89873 1111 63 0 90622 0
vsize: 362740
[startup+689.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 121270 0 0 0 68747 255 0 0 25 0 1 0 835391605 371412992 89858 4294967295 134512640 134714508 3221224592 3221220752 1074883509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90677 89858 1111 63 0 90614 0
vsize: 362708
[startup+699.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 122695 0 0 0 69743 259 0 0 25 0 1 0 835391605 371298304 89803 4294967295 134512640 134714508 3221224592 3221222240 1075818335 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90649 89803 1111 63 0 90586 0
vsize: 362596
[startup+709.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 124667 0 0 0 70740 263 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+719.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 126669 0 0 0 71735 268 0 0 25 0 1 0 835391605 371105792 89858 4294967295 134512640 134714508 3221224592 3221222992 1074118870 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90602 89858 1111 63 0 90539 0
vsize: 362408
[startup+729.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 128226 0 0 0 72732 271 0 0 25 0 1 0 835391605 370442240 89714 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90440 89714 1111 63 0 90377 0
vsize: 361760
[startup+739.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 129905 0 0 0 73727 276 0 0 25 0 1 0 835391605 370225152 89661 4294967295 134512640 134714508 3221224592 3221222896 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90387 89661 1111 63 0 90324 0
vsize: 361548
[startup+749.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 131656 0 0 0 74723 280 0 0 25 0 1 0 835391605 371789824 89952 4294967295 134512640 134714508 3221224592 3221220588 1075965152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90769 89952 1111 63 0 90706 0
vsize: 363076
[startup+759.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 134068 0 0 0 75718 285 0 0 25 0 1 0 835391605 371822592 89956 4294967295 134512640 134714508 3221224592 3221220636 1074873336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90777 89956 1111 63 0 90714 0
vsize: 363108
[startup+769.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 135617 0 0 0 76715 288 0 0 25 0 1 0 835391605 371421184 89867 4294967295 134512640 134714508 3221224592 3221220636 1074873512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90679 89867 1111 63 0 90616 0
vsize: 362716
[startup+780 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 137452 0 0 0 77712 293 0 0 25 0 1 0 835391605 371351552 89860 4294967295 134512640 134714508 3221224592 3221220820 1075115014 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90662 89860 1111 63 0 90599 0
vsize: 362648
[startup+789.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 138803 0 0 0 78709 295 0 0 25 0 1 0 835391605 370225152 89661 4294967295 134512640 134714508 3221224592 3221221440 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90387 89661 1111 63 0 90324 0
vsize: 361548
[startup+800 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 140533 0 0 0 79706 299 0 0 25 0 1 0 835391605 371699712 89933 4294967295 134512640 134714508 3221224592 3221220448 1074868686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90747 89933 1111 63 0 90684 0
vsize: 362988
[startup+810 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 142437 0 0 0 80701 303 0 0 25 0 1 0 835391605 371564544 89912 4294967295 134512640 134714508 3221224592 3221220532 1074786405 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90714 89912 1111 63 0 90651 0
vsize: 362856
[startup+820 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 143865 0 0 0 81698 307 0 0 25 0 1 0 835391605 371372032 89863 4294967295 134512640 134714508 3221224592 3221220448 1074871222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90667 89863 1111 63 0 90604 0
vsize: 362668
[startup+830 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 145161 0 0 0 82695 310 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221221872 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+840 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29235
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 146535 0 0 0 83693 312 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221222752 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+850 s]
Raw data (loadavg): 1.23 1.02 0.93 3/57 29272
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 148134 0 0 0 84690 315 0 0 25 0 1 0 835391605 370778112 89796 4294967295 134512640 134714508 3221224592 3221222592 1074916896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90522 89796 1111 63 0 90459 0
vsize: 362088
[startup+860 s]
Raw data (loadavg): 1.20 1.02 0.93 2/54 29288
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 149480 0 0 0 85687 319 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221222320 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+870.001 s]
Raw data (loadavg): 1.17 1.02 0.93 2/54 29288
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 151160 0 0 0 86683 323 0 0 25 0 1 0 835391605 371666944 89953 4294967295 134512640 134714508 3221224592 3221220692 1075964271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90739 89953 1111 63 0 90676 0
vsize: 362956
[startup+880 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 29288
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 153423 0 0 0 87678 328 0 0 25 0 1 0 835391605 371675136 89921 4294967295 134512640 134714508 3221224592 3221220752 1075093377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90741 89921 1111 63 0 90678 0
vsize: 362964
[startup+890 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 29288
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 154815 0 0 0 88675 331 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221222776 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+900.001 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 29288
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 156292 0 0 0 89672 334 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221222896 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+910.001 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 29288
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 158111 0 0 0 90668 338 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+920.002 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 159830 0 0 0 91664 342 0 0 25 0 1 0 835391605 371421184 89867 4294967295 134512640 134714508 3221224592 3221220576 1074875081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90679 89867 1111 63 0 90616 0
vsize: 362716
[startup+930.003 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 161365 0 0 0 92660 346 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221222032 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+940.002 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 162988 0 0 0 93657 349 0 0 25 0 1 0 835391605 371568640 89907 4294967295 134512640 134714508 3221224592 3221220448 1074871213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90715 89907 1111 63 0 90652 0
vsize: 362860
[startup+950.01 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 164764 0 0 0 94654 353 0 0 25 0 1 0 835391605 370216960 89659 4294967295 134512640 134714508 3221224592 3221222592 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90385 89659 1111 63 0 90322 0
vsize: 361540
[startup+960.015 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 166849 0 0 0 95650 358 0 0 25 0 1 0 835391605 371752960 89954 4294967295 134512640 134714508 3221224592 3221221056 1075603030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90760 89954 1111 63 0 90697 0
vsize: 363040
[startup+970.015 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 168718 0 0 0 96647 362 0 0 25 0 1 0 835391605 370413568 89707 4294967295 134512640 134714508 3221224592 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90433 89707 1111 63 0 90370 0
vsize: 361732
[startup+980.015 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 171009 0 0 0 97641 367 0 0 25 0 1 0 835391605 372219904 90082 4294967295 134512640 134714508 3221224592 3221220448 1074868482 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90874 90082 1111 63 0 90811 0
vsize: 363496
[startup+990.014 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 172356 0 0 0 98638 370 0 0 25 0 1 0 835391605 370593792 89751 4294967295 134512640 134714508 3221224592 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90477 89751 1111 63 0 90414 0
vsize: 361908
[startup+1000.01 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 173781 0 0 0 99635 373 0 0 25 0 1 0 835391605 370593792 89751 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90477 89751 1111 63 0 90414 0
vsize: 361908
[startup+1010.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 175429 0 0 0 100631 378 0 0 25 0 1 0 835391605 371580928 89904 4294967295 134512640 134714508 3221224592 3221220752 1075091264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90718 89904 1111 63 0 90655 0
vsize: 362872
[startup+1020.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 176408 0 0 0 101629 381 0 0 25 0 1 0 835391605 371507200 89883 4294967295 134512640 134714508 3221224592 3221220500 1074786562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90700 89883 1111 63 0 90637 0
vsize: 362800
[startup+1030.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 177716 0 0 0 102626 384 0 0 25 0 1 0 835391605 371679232 89913 4294967295 134512640 134714508 3221224592 3221220752 1075093377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90742 89913 1111 63 0 90679 0
vsize: 362968
[startup+1040.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 179084 0 0 0 103623 388 0 0 25 0 1 0 835391605 371609600 89881 4294967295 134512640 134714508 3221224592 3221222704 1074867337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90725 89881 1111 63 0 90662 0
vsize: 362900
[startup+1050.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 180644 0 0 0 104619 392 0 0 25 0 1 0 835391605 371990528 90018 4294967295 134512640 134714508 3221224592 3221220636 1074873527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90818 90018 1111 63 0 90755 0
vsize: 363272
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 182117 0 0 0 105616 395 0 0 25 0 1 0 835391605 371990528 90021 4294967295 134512640 134714508 3221224592 3221220448 1074868546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90818 90021 1111 63 0 90755 0
vsize: 363272
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 184086 0 0 0 106611 400 0 0 25 0 1 0 835391605 371945472 89994 4294967295 134512640 134714508 3221224592 3221220636 1074873465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90807 89994 1111 63 0 90744 0
vsize: 363228
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 185540 0 0 0 107609 403 0 0 25 0 1 0 835391605 372015104 89993 4294967295 134512640 134714508 3221224592 3221220448 1074868367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90824 89993 1111 63 0 90761 0
vsize: 363296
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 187124 0 0 0 108605 407 0 0 25 0 1 0 835391605 372015104 90014 4294967295 134512640 134714508 3221224592 3221220448 1074868705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90824 90014 1111 63 0 90761 0
vsize: 363296
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 188764 0 0 0 109603 410 0 0 25 0 1 0 835391605 370798592 89801 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90527 89801 1111 63 0 90464 0
vsize: 362108
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 190287 0 0 0 110599 415 0 0 25 0 1 0 835391605 370810880 89804 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90530 89804 1111 63 0 90467 0
vsize: 362120
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 192468 0 0 0 111595 419 0 0 25 0 1 0 835391605 372318208 90101 4294967295 134512640 134714508 3221224592 3221220636 1074873560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90898 90101 1111 63 0 90835 0
vsize: 363592
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 194227 0 0 0 112592 423 0 0 25 0 1 0 835391605 371814400 89964 4294967295 134512640 134714508 3221224592 3221220636 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90775 89964 1111 63 0 90712 0
vsize: 363100
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 195859 0 0 0 113589 426 0 0 25 0 1 0 835391605 371834880 89970 4294967295 134512640 134714508 3221224592 3221220448 1074868863 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90780 89970 1111 63 0 90717 0
vsize: 363120
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 197796 0 0 0 114584 431 0 0 25 0 1 0 835391605 370425856 89710 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90436 89710 1111 63 0 90373 0
vsize: 361744
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 199829 0 0 0 115579 437 0 0 25 0 1 0 835391605 371728384 89954 4294967295 134512640 134714508 3221224592 3221221696 1074139041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90754 89954 1111 63 0 90691 0
vsize: 363016
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 201181 0 0 0 116576 440 0 0 25 0 1 0 835391605 370417664 89708 4294967295 134512640 134714508 3221224592 3221222880 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90434 89708 1111 63 0 90371 0
vsize: 361736
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 29290
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 203458 0 0 0 117569 446 0 0 25 0 1 0 835391605 371888128 89975 4294967295 134512640 134714508 3221224592 3221220636 1074873590 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90793 89975 1111 63 0 90730 0
vsize: 363172
[startup+1183.6 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 29292
Raw data (stat): 29235 (bsolo_lpr) R 29234 20687 20686 0 -1 0 203458 0 0 0 117569 446 0 0 25 0 1 0 835391605 371888128 89975 4294967295 134512640 134714508 3221224592 3221220636 1074873590 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90793 89975 1111 63 0 90730 0
vsize: 0

Child status: 10
Real time (s): 1183.6
CPU time (s): 1183.69
CPU user time (s): 1179.05
CPU system time (s): 4.64129
CPU usage (%): 100.008
Max. virtual memory (Kb): 363768
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	29628
#### END VERIFIER DATA ####