Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sample2.opb |
MD5SUM | bdfddb0d042ec1aadcf4263f803cbd6f |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 384000 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 729 |
Biggest coefficient in the objective function | 3221225472 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 70867574718 |
Number of bits of the sum of numbers in the objective function | 37 |
Biggest number in a constraint | 3221225472 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 70867574718 |
Number of bits of the biggest sum of numbers | 37 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 47.9837 |
Number of variables | 1296 |
Total number of constraints | 67 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 43 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 150 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc21 THE 2005-05-27 06:54:32 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=23299 boxname=wulflinc21 idbench=943 idsolver=16 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: bdfddb0d042ec1aadcf4263f803cbd6f /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-sample2.opb REAL COMMAND: minisat+_script -cb -gs /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-sample2.opb IDLAUNCH: 23299 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 846848 kB Buffers: 6716 kB Cached: 159740 kB SwapCached: 1028 kB Active: 28232 kB Inactive: 140460 kB HighTotal: 131008 kB HighFree: 1736 kB LowTotal: 903652 kB LowFree: 845112 kB SwapTotal: 2097892 kB SwapFree: 2096008 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5124 kB Slab: 13252 kB Committed_AS: 63916 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-27 06:55:22 (client local time) WITH STATUS 30 IN 49.6604 SECONDS stats: 23299 0 49.6604 30 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Parsing PB file... c Converting 67 PB-constraints to clauses... c -- Unit propagations: ppp c -- Detecting intervals from adjacent constraints: ##################### c -- Clauses(.)/Splits(s): (none) c ---[ 66]---> BDD-cost: 14 c ---[ 64]---> BDD-cost: 172 c ---[ 62]---> BDD-cost: 270 c ---[ 60]---> BDD-cost: 270 c ---[ 58]---> BDD-cost: 270 c ---[ 56]---> BDD-cost: 243 c ---[ 54]---> BDD-cost: 237 c ---[ 52]---> BDD-cost: 243 c ---[ 50]---> BDD-cost: 237 c ---[ 48]---> BDD-cost: 243 c ---[ 46]---> BDD-cost: 237 c ---[ 44]---> BDD-cost: 243 c ---[ 42]---> BDD-cost: 237 c ---[ 40]---> BDD-cost: 261 c ---[ 38]---> BDD-cost: 261 c ---[ 36]---> BDD-cost: 261 c ---[ 35]---> BDD-cost: 5 c ---[ 34]---> BDD-cost: 5 c ---[ 33]---> BDD-cost: 5 c ---[ 32]---> BDD-cost: 22 c ---[ 31]---> BDD-cost: 22 c ---[ 30]---> BDD-cost: 22 c ---[ 29]---> BDD-cost: 14 c ---[ 28]---> BDD-cost: 14 c ---[ 27]---> BDD-cost: 14 c ---[ 26]---> BDD-cost: 20 c ---[ 25]---> BDD-cost: 14 c ---[ 24]---> BDD-cost: 14 c ---[ 23]---> BDD-cost: 14 c ---[ 22]---> BDD-cost: 20 c ---[ 21]---> BDD-cost: 14 c ---[ 20]---> BDD-cost: 14 c ---[ 19]---> BDD-cost: 14 c ---[ 18]---> BDD-cost: 20 c ---[ 17]---> BDD-cost: 14 c ---[ 16]---> BDD-cost: 14 c ---[ 15]---> BDD-cost: 14 c ---[ 14]---> BDD-cost: 22 c ---[ 13]---> BDD-cost: 22 c ---[ 12]---> BDD-cost: 22 c ---[ 10]---> BDD-cost: 261 c ---[ 8]---> BDD-cost: 420 c ---[ 6]---> BDD-cost: 261 c ---[ 4]---> BDD-cost: 420 c ---[ 2]---> BDD-cost: 261 c ---[ 0]---> BDD-cost: 420 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 0 | 15655 42893 | 5218 0 0 nan | 0.000 % | c | 103 | 15655 42893 | 5739 103 789 7.7 | 9.541 % | c ============================================================================== c [1mFound solution: 867957[0m c ---[ 0]---> Sorter-cost:19622 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 3 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 155 | 67130 163053 | 22376 155 1268 8.2 | 9.541 % | c | 255 | 67038 162846 | 24613 253 2105 8.3 | 2.784 % | c | 405 | 66737 162169 | 27074 399 5469 13.7 | 3.107 % | c | 630 | 66692 162066 | 29782 623 9040 14.5 | 3.163 % | c | 967 | 66304 161181 | 32760 924 12072 13.1 | 3.625 % | c ============================================================================== c [1mFound solution: 846239[0m c ---[ 0]---> Sorter-cost:11143 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 3 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 1330 | 91346 219691 | 30448 1243 16407 13.2 | 3.625 % | c | 1430 | 91346 219691 | 33492 1343 22474 16.7 | 5.123 % | c | 1580 | 91346 219691 | 36842 1493 23490 15.7 | 5.123 % | c | 1806 | 91283 219553 | 40526 1717 24541 14.3 | 5.177 % | c | 2143 | 90786 218416 | 44578 2034 27790 13.7 | 5.599 % | c | 2649 | 88492 213119 | 49036 2509 43227 17.2 | 7.550 % | c | 3408 | 88055 212133 | 53940 3263 67033 20.5 | 7.912 % | c ============================================================================== c [1mFound solution: 842686[0m c ---[ 0]---> Sorter-cost:12961 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 3613 | 118254 282606 | 39418 3413 68771 20.1 | 7.912 % | c | 3713 | 117726 281377 | 43359 3486 69747 20.0 | 8.568 % | c | 3865 | 117001 279719 | 47695 3632 73968 20.4 | 8.935 % | c | 4090 | 117001 279719 | 52465 3857 76372 19.8 | 8.935 % | c ============================================================================== c [1mFound solution: 835807[0m c ---[ 0]---> Sorter-cost: 8516 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 4206 | 136245 324678 | 45415 3950 78087 19.8 | 8.935 % | c | 4306 | 136220 324623 | 49956 4049 79296 19.6 | 8.671 % | c ============================================================================== c [1mFound solution: 831710[0m c ---[ 0]---> Sorter-cost: 12 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 4358 | 136757 326022 | 45585 4101 80895 19.7 | 8.671 % | c | 4460 | 136757 326022 | 50143 4203 82600 19.7 | 8.635 % | c ============================================================================== c [1mFound solution: 743822[0m c ---[ 0]---> Sorter-cost: 13 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 4546 | 136654 326009 | 45551 4286 83228 19.4 | 8.635 % | c | 4646 | 136654 326009 | 50106 4386 85682 19.5 | 8.704 % | c | 4796 | 136190 324925 | 55116 4458 87023 19.5 | 8.964 % | c ============================================================================== c [1mFound solution: 743518[0m c ---[ 0]---> Sorter-cost: 9028 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 4896 | 158668 377321 | 52889 4558 88972 19.5 | 8.964 % | c | 4996 | 158069 375909 | 58177 4646 89840 19.3 | 8.301 % | c | 5149 | 158069 375909 | 63995 4799 91760 19.1 | 8.301 % | c | 5374 | 158069 375909 | 70395 5024 98267 19.6 | 8.301 % | c | 5711 | 158069 375909 | 77434 5361 105001 19.6 | 8.301 % | c | 6217 | 154621 368065 | 85178 5841 118028 20.2 | 9.968 % | c ============================================================================== c [1mFound solution: 591360[0m c ---[ 0]---> Sorter-cost:11635 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 6376 | 183990 436565 | 61330 5999 121086 20.2 | 9.968 % | c ============================================================================== c [1mFound solution: 491519[0m c ---[ 0]---> Sorter-cost: 13 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 6443 | 183967 436708 | 61322 6060 122029 20.1 | 9.968 % | c ============================================================================== c [1mFound solution: 491488[0m c ---[ 0]---> Sorter-cost: 12 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 6447 | 183985 436753 | 61328 6064 122612 20.2 | 9.968 % | c ============================================================================== c [1mFound solution: 488448[0m c ---[ 0]---> Sorter-cost: 8 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 6456 | 183996 436779 | 61332 6073 122704 20.2 | 9.968 % | c ============================================================================== c [1mFound solution: 455680[0m c ---[ 0]---> Sorter-cost: 2 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 6504 | 184007 436805 | 61335 6121 126994 20.7 | 9.968 % | c | 6604 | 183247 435075 | 67468 6215 128773 20.7 | 9.228 % | c ============================================================================== c [1mFound solution: 454488[0m c ---[ 0]---> Sorter-cost: 14 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 6703 | 182893 434290 | 60964 6295 131611 20.9 | 9.228 % | c | 6803 | 182893 434290 | 67060 6395 133906 20.9 | 9.377 % | c ============================================================================== c [1mFound solution: 430080[0m c ---[ 0]---> Sorter-cost: 7 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 6838 | 182911 434332 | 60970 6430 134738 21.0 | 9.377 % | c | 6939 | 182911 434332 | 67067 6531 136780 20.9 | 9.379 % | c | 7090 | 182911 434332 | 73773 6682 154228 23.1 | 9.379 % | c | 7315 | 181490 431097 | 81151 6887 168882 24.5 | 9.968 % | c ============================================================================== c [1mFound solution: 414720[0m c ---[ 0]---> Sorter-cost: 6521 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 7543 | 193538 459225 | 64512 7067 174727 24.7 | 9.968 % | c | 7643 | 193538 459225 | 70963 7167 180955 25.2 | 10.687 % | c ============================================================================== c [1mFound solution: 394240[0m c ---[ 0]---> Sorter-cost: 5 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 7728 | 193521 459278 | 64507 7251 185954 25.6 | 10.687 % | c | 7828 | 193168 458478 | 70957 7348 189314 25.8 | 10.829 % | c | 7978 | 193168 458478 | 78053 7498 196917 26.3 | 10.829 % | c | 8203 | 191559 454815 | 85858 7715 201548 26.1 | 11.468 % | c ============================================================================== c [1mFound solution: 384000[0m c ---[ 0]---> Sorter-cost: 6 Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 8294 | 191578 454864 | 63859 7806 204945 26.3 | 11.468 % | c | 8395 | 191552 454811 | 70244 7905 206909 26.2 | 11.486 % | c ============================================================================== c [1mOptimal solution: 384000[0m s OPTIMUM FOUND v -I_0x2e__0x2e__0x2e__0x2e_F01_bit0 -I_0x2e__0x2e__0x2e__0x2e_F02_bit0 I_0x2e__0x2e__0x2e__0x2e_F03_bit0 -I_0x2e_W01W01_bit0 I_0x2e_W02W02_bit0 -I_0x2e_W03W03_bit0 -I_0x2e_D01D01_bit0 I_0x2e_D02D02_bit0 I_0x2e_D03D03_bit0 -F_0x2e_F01W01_bit_10 -F_0x2e_F01W01_bit_9 -F_0x2e_F01W01_bit_8 -F_0x2e_F01W01_bit_7 -F_0x2e_F01W01_bit_6 -F_0x2e_F01W01_bit_5 -F_0x2e_F01W01_bit_4 -F_0x2e_F01W01_bit_3 -F_0x2e_F01W01_bit_2 -F_0x2e_F01W01_bit_1 -F_0x2e_F01W01_bit0 -F_0x2e_F01W01_bit1 -F_0x2e_F01W01_bit2 -F_0x2e_F01W01_bit3 -F_0x2e_F01W01_bit4 -F_0x2e_F01W01_bit5 -F_0x2e_F01W01_bit6 -F_0x2e_F01W01_bit7 -F_0x2e_F01W01_bit8 -F_0x2e_F01W01_bit9 -F_0x2e_F01W01_bit10 -F_0x2e_F01W01_bit11 -F_0x2e_F01W01_bit12 -F_0x2e_F01W01_bit13 -F_0x2e_F01W01_bit14 -F_0x2e_F01W01_bit15 -F_0x2e_F01W01_bit16 -F_0x2e_F01W01_bit17 -F_0x2e_F01W01_bit18 -F_0x2e_F01W01_bit19 -F_0x2e_F01W02_bit_10 -F_0x2e_F01W02_bit_9 -F_0x2e_F01W02_bit_8 -F_0x2e_F01W02_bit_7 -F_0x2e_F01W02_bit_6 -F_0x2e_F01W02_bit_5 -F_0x2e_F01W02_bit_4 -F_0x2e_F01W02_bit_3 -F_0x2e_F01W02_bit_2 -F_0x2e_F01W02_bit_1 -F_0x2e_F01W02_bit0 -F_0x2e_F01W02_bit1 -F_0x2e_F01W02_bit2 -F_0x2e_F01W02_bit3 -F_0x2e_F01W02_bit4 -F_0x2e_F01W02_bit5 -F_0x2e_F01W02_bit6 -F_0x2e_F01W02_bit7 -F_0x2e_F01W02_bit8 -F_0x2e_F01W02_bit9 -F_0x2e_F01W02_bit10 -F_0x2e_F01W02_bit11 -F_0x2e_F01W02_bit12 -F_0x2e_F01W02_bit13 -F_0x2e_F01W02_bit14 -F_0x2e_F01W02_bit15 -F_0x2e_F01W02_bit16 -F_0x2e_F01W02_bit17 -F_0x2e_F01W02_bit18 -F_0x2e_F01W02_bit19 -F_0x2e_F02W02_bit_10 -F_0x2e_F02W02_bit_9 -F_0x2e_F02W02_bit_8 -F_0x2e_F02W02_bit_7 -F_0x2e_F02W02_bit_6 -F_0x2e_F02W02_bit_5 -F_0x2e_F02W02_bit_4 -F_0x2e_F02W02_bit_3 -F_0x2e_F02W02_bit_2 -F_0x2e_F02W02_bit_1 -F_0x2e_F02W02_bit0 -F_0x2e_F02W02_bit1 -F_0x2e_F02W02_bit2 -F_0x2e_F02W02_bit3 -F_0x2e_F02W02_bit4 -F_0x2e_F02W02_bit5 -F_0x2e_F02W02_bit6 -F_0x2e_F02W02_bit7 -F_0x2e_F02W02_bit8 -F_0x2e_F02W02_bit9 -F_0x2e_F02W02_bit10 -F_0x2e_F02W02_bit11 -F_0x2e_F02W02_bit12 -F_0x2e_F02W02_bit13 -F_0x2e_F02W02_bit14 -F_0x2e_F02W02_bit15 -F_0x2e_F02W02_bit16 -F_0x2e_F02W02_bit17 -F_0x2e_F02W02_bit18 -F_0x2e_F02W02_bit19 -F_0x2e_F02W03_bit_10 -F_0x2e_F02W03_bit_9 -F_0x2e_F02W03_bit_8 -F_0x2e_F02W03_bit_7 -F_0x2e_F02W03_bit_6 -F_0x2e_F02W03_bit_5 -F_0x2e_F02W03_bit_4 -F_0x2e_F02W03_bit_3 -F_0x2e_F02W03_bit_2 -F_0x2e_F02W03_bit_1 -F_0x2e_F02W03_bit0 -F_0x2e_F02W03_bit1 -F_0x2e_F02W03_bit2 -F_0x2e_F02W03_bit3 -F_0x2e_F02W03_bit4 -F_0x2e_F02W03_bit5 -F_0x2e_F02W03_bit6 -F_0x2e_F02W03_bit7 -F_0x2e_F02W03_bit8 -F_0x2e_F02W03_bit9 -F_0x2e_F02W03_bit10 -F_0x2e_F02W03_bit11 -F_0x2e_F02W03_bit12 -F_0x2e_F02W03_bit13 -F_0x2e_F02W03_bit14 -F_0x2e_F02W03_bit15 -F_0x2e_F02W03_bit16 -F_0x2e_F02W03_bit17 -F_0x2e_F02W03_bit18 -F_0x2e_F02W03_bit19 -F_0x2e_F03W01_bit_10 -F_0x2e_F03W01_bit_9 -F_0x2e_F03W01_bit_8 -F_0x2e_F03W01_bit_7 -F_0x2e_F03W01_bit_6 -F_0x2e_F03W01_bit_5 -F_0x2e_F03W01_bit_4 -F_0x2e_F03W01_bit_3 -F_0x2e_F03W01_bit_2 -F_0x2e_F03W01_bit_1 -F_0x2e_F03W01_bit0 -F_0x2e_F03W01_bit1 -F_0x2e_F03W01_bit2 -F_0x2e_F03W01_bit3 -F_0x2e_F03W01_bit4 -F_0x2e_F03W01_bit5 -F_0x2e_F03W01_bit6 -F_0x2e_F03W01_bit7 -F_0x2e_F03W01_bit8 -F_0x2e_F03W01_bit9 -F_0x2e_F03W01_bit10 -F_0x2e_F03W01_bit11 -F_0x2e_F03W01_bit12 -F_0x2e_F03W01_bit13 -F_0x2e_F03W01_bit14 -F_0x2e_F03W01_bit15 -F_0x2e_F03W01_bit16 -F_0x2e_F03W01_bit17 -F_0x2e_F03W01_bit18 -F_0x2e_F03W01_bit19 -F_0x2e_F03W03_bit_10 -F_0x2e_F03W03_bit_9 -F_0x2e_F03W03_bit_8 -F_0x2e_F03W03_bit_7 -F_0x2e_F03W03_bit_6 -F_0x2e_F03W03_bit_5 -F_0x2e_F03W03_bit_4 -F_0x2e_F03W03_bit_3 -F_0x2e_F03W03_bit_2 -F_0x2e_F03W03_bit_1 -F_0x2e_F03W03_bit0 -F_0x2e_F03W03_bit1 -F_0x2e_F03W03_bit2 -F_0x2e_F03W03_bit3 -F_0x2e_F03W03_bit4 -F_0x2e_F03W03_bit5 -F_0x2e_F03W03_bit6 -F_0x2e_F03W03_bit7 -F_0x2e_F03W03_bit8 -F_0x2e_F03W03_bit9 -F_0x2e_F03W03_bit10 -F_0x2e_F03W03_bit11 -F_0x2e_F03W03_bit12 -F_0x2e_F03W03_bit13 -F_0x2e_F03W03_bit14 -F_0x2e_F03W03_bit15 -F_0x2e_F03W03_bit16 -F_0x2e_F03W03_bit17 -F_0x2e_F03W03_bit18 -F_0x2e_F03W03_bit19 -F_0x2e_W01D02_bit_10 -F_0x2e_W01D02_bit_9 -F_0x2e_W01D02_bit_8 -F_0x2e_W01D02_bit_7 -F_0x2e_W01D02_bit_6 -F_0x2e_W01D02_bit_5 -F_0x2e_W01D02_bit_4 -F_0x2e_W01D02_bit_3 -F_0x2e_W01D02_bit_2 -F_0x2e_W01D02_bit_1 -F_0x2e_W01D02_bit0 -F_0x2e_W01D02_bit1 -F_0x2e_W01D02_bit2 -F_0x2e_W01D02_bit3 -F_0x2e_W01D02_bit4 -F_0x2e_W01D02_bit5 -F_0x2e_W01D02_bit6 -F_0x2e_W01D02_bit7 -F_0x2e_W01D02_bit8 -F_0x2e_W01D02_bit9 -F_0x2e_W01D02_bit10 -F_0x2e_W01D02_bit11 -F_0x2e_W01D02_bit12 -F_0x2e_W01D02_bit13 -F_0x2e_W01D02_bit14 -F_0x2e_W01D02_bit15 -F_0x2e_W01D02_bit16 -F_0x2e_W01D02_bit17 -F_0x2e_W01D02_bit18 -F_0x2e_W01D02_bit19 -F_0x2e_W01D03_bit_10 -F_0x2e_W01D03_bit_9 -F_0x2e_W01D03_bit_8 -F_0x2e_W01D03_bit_7 -F_0x2e_W01D03_bit_6 -F_0x2e_W01D03_bit_5 -F_0x2e_W01D03_bit_4 -F_0x2e_W01D03_bit_3 -F_0x2e_W01D03_bit_2 -F_0x2e_W01D03_bit_1 -F_0x2e_W01D03_bit0 -F_0x2e_W01D03_bit1 -F_0x2e_W01D03_bit2 -F_0x2e_W01D03_bit3 -F_0x2e_W01D03_bit4 -F_0x2e_W01D03_bit5 -F_0x2e_W01D03_bit6 -F_0x2e_W01D03_bit7 -F_0x2e_W01D03_bit8 -F_0x2e_W01D03_bit9 -F_0x2e_W01D03_bit10 -F_0x2e_W01D03_bit11 -F_0x2e_W01D03_bit12 -F_0x2e_W01D03_bit13 -F_0x2e_W01D03_bit14 -F_0x2e_W01D03_bit15 -F_0x2e_W01D03_bit16 -F_0x2e_W01D03_bit17 -F_0x2e_W01D03_bit18 -F_0x2e_W01D03_bit19 -F_0x2e_W01D04_bit_10 -F_0x2e_W01D04_bit_9 -F_0x2e_W01D04_bit_8 -F_0x2e_W01D04_bit_7 -F_0x2e_W01D04_bit_6 -F_0x2e_W01D04_bit_5 -F_0x2e_W01D04_bit_4 -F_0x2e_W01D04_bit_3 -F_0x2e_W01D04_bit_2 -F_0x2e_W01D04_bit_1 -F_0x2e_W01D04_bit0 -F_0x2e_W01D04_bit1 -F_0x2e_W01D04_bit2 -F_0x2e_W01D04_bit3 -F_0x2e_W01D04_bit4 -F_0x2e_W01D04_bit5 -F_0x2e_W01D04_bit6 -F_0x2e_W01D04_bit7 -F_0x2e_W01D04_bit8 -F_0x2e_W01D04_bit9 -F_0x2e_W01D04_bit10 -F_0x2e_W01D04_bit11 -F_0x2e_W01D04_bit12 -F_0x2e_W01D04_bit13 -F_0x2e_W01D04_bit14 -F_0x2e_W01D04_bit15 -F_0x2e_W01D04_bit16 -F_0x2e_W01D04_bit17 -F_0x2e_W01D04_bit18 -F_0x2e_W01D04_bit19 -F_0x2e_W02D01_bit_10 -F_0x2e_W02D01_bit_9 -F_0x2e_W02D01_bit_8 -F_0x2e_W02D01_bit_7 -F_0x2e_W02D01_bit_6 -F_0x2e_W02D01_bit_5 -F_0x2e_W02D01_bit_4 -F_0x2e_W02D01_bit_3 -F_0x2e_W02D01_bit_2 -F_0x2e_W02D01_bit_1 -F_0x2e_W02D01_bit0 -F_0x2e_W02D01_bit1 -F_0x2e_W02D01_bit2 -F_0x2e_W02D01_bit3 -F_0x2e_W02D01_bit4 -F_0x2e_W02D01_bit5 -F_0x2e_W02D01_bit6 -F_0x2e_W02D01_bit7 -F_0x2e_W02D01_bit8 -F_0x2e_W02D01_bit9 -F_0x2e_W02D01_bit10 -F_0x2e_W02D01_bit11 -F_0x2e_W02D01_bit12 -F_0x2e_W02D01_bit13 -F_0x2e_W02D01_bit14 -F_0x2e_W02D01_bit15 -F_0x2e_W02D01_bit16 -F_0x2e_W02D01_bit17 -F_0x2e_W02D01_bit18 -F_0x2e_W02D01_bit19 -F_0x2e_W02D03_bit_10 -F_0x2e_W02D03_bit_9 -F_0x2e_W02D03_bit_8 -F_0x2e_W02D03_bit_7 -F_0x2e_W02D03_bit_6 -F_0x2e_W02D03_bit_5 -F_0x2e_W02D03_bit_4 -F_0x2e_W02D03_bit_3 -F_0x2e_W02D03_bit_2 -F_0x2e_W02D03_bit_1 F_0x2e_W02D03_bit0 F_0x2e_W02D03_bit1 F_0x2e_W02D03_bit2 F_0x2e_W02D03_bit3 -F_0x2e_W02D03_bit4 -F_0x2e_W02D03_bit5 -F_0x2e_W02D03_bit6 -F_0x2e_W02D03_bit7 -F_0x2e_W02D03_bit8 -F_0x2e_W02D03_bit9 -F_0x2e_W02D03_bit10 -F_0x2e_W02D03_bit11 -F_0x2e_W02D03_bit12 -F_0x2e_W02D03_bit13 -F_0x2e_W02D03_bit14 -F_0x2e_W02D03_bit15 -F_0x2e_W02D03_bit16 -F_0x2e_W02D03_bit17 -F_0x2e_W02D03_bit18 -F_0x2e_W02D03_bit19 -F_0x2e_W02D04_bit_10 -F_0x2e_W02D04_bit_9 -F_0x2e_W02D04_bit_8 -F_0x2e_W02D04_bit_7 -F_0x2e_W02D04_bit_6 -F_0x2e_W02D04_bit_5 -F_0x2e_W02D04_bit_4 -F_0x2e_W02D04_bit_3 -F_0x2e_W02D04_bit_2 -F_0x2e_W02D04_bit_1 F_0x2e_W02D04_bit0 F_0x2e_W02D04_bit1 F_0x2e_W02D04_bit2 F_0x2e_W02D04_bit3 -F_0x2e_W02D04_bit4 -F_0x2e_W02D04_bit5 -F_0x2e_W02D04_bit6 -F_0x2e_W02D04_bit7 -F_0x2e_W02D04_bit8 -F_0x2e_W02D04_bit9 -F_0x2e_W02D04_bit10 -F_0x2e_W02D04_bit11 -F_0x2e_W02D04_bit12 -F_0x2e_W02D04_bit13 -F_0x2e_W02D04_bit14 -F_0x2e_W02D04_bit15 -F_0x2e_W02D04_bit16 -F_0x2e_W02D04_bit17 -F_0x2e_W02D04_bit18 -F_0x2e_W02D04_bit19 -F_0x2e_W03D01_bit_10 -F_0x2e_W03D01_bit_9 -F_0x2e_W03D01_bit_8 -F_0x2e_W03D01_bit_7 -F_0x2e_W03D01_bit_6 -F_0x2e_W03D01_bit_5 -F_0x2e_W03D01_bit_4 -F_0x2e_W03D01_bit_3 -F_0x2e_W03D01_bit_2 -F_0x2e_W03D01_bit_1 -F_0x2e_W03D01_bit0 -F_0x2e_W03D01_bit1 -F_0x2e_W03D01_bit2 -F_0x2e_W03D01_bit3 -F_0x2e_W03D01_bit4 -F_0x2e_W03D01_bit5 -F_0x2e_W03D01_bit6 -F_0x2e_W03D01_bit7 -F_0x2e_W03D01_bit8 -F_0x2e_W03D01_bit9 -F_0x2e_W03D01_bit10 -F_0x2e_W03D01_bit11 -F_0x2e_W03D01_bit12 -F_0x2e_W03D01_bit13 -F_0x2e_W03D01_bit14 -F_0x2e_W03D01_bit15 -F_0x2e_W03D01_bit16 -F_0x2e_W03D01_bit17 -F_0x2e_W03D01_bit18 -F_0x2e_W03D01_bit19 -F_0x2e_W03D02_bit_10 -F_0x2e_W03D02_bit_9 -F_0x2e_W03D02_bit_8 -F_0x2e_W03D02_bit_7 -F_0x2e_W03D02_bit_6 -F_0x2e_W03D02_bit_5 -F_0x2e_W03D02_bit_4 -F_0x2e_W03D02_bit_3 -F_0x2e_W03D02_bit_2 -F_0x2e_W03D02_bit_1 -F_0x2e_W03D02_bit0 -F_0x2e_W03D02_bit1 -F_0x2e_W03D02_bit2 -F_0x2e_W03D02_bit3 -F_0x2e_W03D02_bit4 -F_0x2e_W03D02_bit5 -F_0x2e_W03D02_bit6 -F_0x2e_W03D02_bit7 -F_0x2e_W03D02_bit8 -F_0x2e_W03D02_bit9 -F_0x2e_W03D02_bit10 -F_0x2e_W03D02_bit11 -F_0x2e_W03D02_bit12 -F_0x2e_W03D02_bit13 -F_0x2e_W03D02_bit14 -F_0x2e_W03D02_bit15 -F_0x2e_W03D02_bit16 -F_0x2e_W03D02_bit17 -F_0x2e_W03D02_bit18 -F_0x2e_W03D02_bit19 -F_0x2e_W03D04_bit_10 -F_0x2e_W03D04_bit_9 -F_0x2e_W03D04_bit_8 -F_0x2e_W03D04_bit_7 -F_0x2e_W03D04_bit_6 -F_0x2e_W03D04_bit_5 -F_0x2e_W03D04_bit_4 -F_0x2e_W03D04_bit_3 -F_0x2e_W03D04_bit_2 -F_0x2e_W03D04_bit_1 -F_0x2e_W03D04_bit0 -F_0x2e_W03D04_bit1 -F_0x2e_W03D04_bit2 -F_0x2e_W03D04_bit3 -F_0x2e_W03D04_bit4 -F_0x2e_W03D04_bit5 -F_0x2e_W03D04_bit6 -F_0x2e_W03D04_bit7 -F_0x2e_W03D04_bit8 -F_0x2e_W03D04_bit9 -F_0x2e_W03D04_bit10 -F_0x2e_W03D04_bit11 -F_0x2e_W03D04_bit12 -F_0x2e_W03D04_bit13 -F_0x2e_W03D04_bit14 -F_0x2e_W03D04_bit15 -F_0x2e_W03D04_bit16 -F_0x2e_W03D04_bit17 -F_0x2e_W03D04_bit18 -F_0x2e_W03D04_bit19 -F_0x2e_D01C01_bit_10 -F_0x2e_D01C01_bit_9 -F_0x2e_D01C01_bit_8 -F_0x2e_D01C01_bit_7 -F_0x2e_D01C01_bit_6 -F_0x2e_D01C01_bit_5 -F_0x2e_D01C01_bit_4 -F_0x2e_D01C01_bit_3 -F_0x2e_D01C01_bit_2 -F_0x2e_D01C01_bit_1 -F_0x2e_D01C01_bit0 -F_0x2e_D01C01_bit1 -F_0x2e_D01C01_bit2 -F_0x2e_D01C01_bit3 -F_0x2e_D01C01_bit4 -F_0x2e_D01C01_bit5 -F_0x2e_D01C01_bit6 -F_0x2e_D01C01_bit7 -F_0x2e_D01C01_bit8 -F_0x2e_D01C01_bit9 -F_0x2e_D01C01_bit10 -F_0x2e_D01C01_bit11 -F_0x2e_D01C01_bit12 -F_0x2e_D01C01_bit13 -F_0x2e_D01C01_bit14 -F_0x2e_D01C01_bit15 -F_0x2e_D01C01_bit16 -F_0x2e_D01C01_bit17 -F_0x2e_D01C01_bit18 -F_0x2e_D01C01_bit19 -F_0x2e_D01C03_bit_10 -F_0x2e_D01C03_bit_9 -F_0x2e_D01C03_bit_8 -F_0x2e_D01C03_bit_7 -F_0x2e_D01C03_bit_6 -F_0x2e_D01C03_bit_5 -F_0x2e_D01C03_bit_4 -F_0x2e_D01C03_bit_3 -F_0x2e_D01C03_bit_2 -F_0x2e_D01C03_bit_1 -F_0x2e_D01C03_bit0 -F_0x2e_D01C03_bit1 -F_0x2e_D01C03_bit2 -F_0x2e_D01C03_bit3 -F_0x2e_D01C03_bit4 -F_0x2e_D01C03_bit5 -F_0x2e_D01C03_bit6 -F_0x2e_D01C03_bit7 -F_0x2e_D01C03_bit8 -F_0x2e_D01C03_bit9 -F_0x2e_D01C03_bit10 -F_0x2e_D01C03_bit11 -F_0x2e_D01C03_bit12 -F_0x2e_D01C03_bit13 -F_0x2e_D01C03_bit14 -F_0x2e_D01C03_bit15 -F_0x2e_D01C03_bit16 -F_0x2e_D01C03_bit17 -F_0x2e_D01C03_bit18 -F_0x2e_D01C03_bit19 -F_0x2e_D02C01_bit_10 -F_0x2e_D02C01_bit_9 -F_0x2e_D02C01_bit_8 -F_0x2e_D02C01_bit_7 -F_0x2e_D02C01_bit_6 -F_0x2e_D02C01_bit_5 -F_0x2e_D02C01_bit_4 -F_0x2e_D02C01_bit_3 -F_0x2e_D02C01_bit_2 -F_0x2e_D02C01_bit_1 -F_0x2e_D02C01_bit0 -F_0x2e_D02C01_bit1 -F_0x2e_D02C01_bit2 -F_0x2e_D02C01_bit3 -F_0x2e_D02C01_bit4 -F_0x2e_D02C01_bit5 -F_0x2e_D02C01_bit6 -F_0x2e_D02C01_bit7 -F_0x2e_D02C01_bit8 -F_0x2e_D02C01_bit9 -F_0x2e_D02C01_bit10 -F_0x2e_D02C01_bit11 -F_0x2e_D02C01_bit12 -F_0x2e_D02C01_bit13 -F_0x2e_D02C01_bit14 -F_0x2e_D02C01_bit15 -F_0x2e_D02C01_bit16 -F_0x2e_D02C01_bit17 -F_0x2e_D02C01_bit18 -F_0x2e_D02C01_bit19 -F_0x2e_D02C02_bit_10 -F_0x2e_D02C02_bit_9 -F_0x2e_D02C02_bit_8 -F_0x2e_D02C02_bit_7 -F_0x2e_D02C02_bit_6 -F_0x2e_D02C02_bit_5 -F_0x2e_D02C02_bit_4 -F_0x2e_D02C02_bit_3 -F_0x2e_D02C02_bit_2 -F_0x2e_D02C02_bit_1 -F_0x2e_D02C02_bit0 -F_0x2e_D02C02_bit1 -F_0x2e_D02C02_bit2 -F_0x2e_D02C02_bit3 -F_0x2e_D02C02_bit4 -F_0x2e_D02C02_bit5 -F_0x2e_D02C02_bit6 -F_0x2e_D02C02_bit7 -F_0x2e_D02C02_bit8 -F_0x2e_D02C02_bit9 -F_0x2e_D02C02_bit10 -F_0x2e_D02C02_bit11 -F_0x2e_D02C02_bit12 -F_0x2e_D02C02_bit13 -F_0x2e_D02C02_bit14 -F_0x2e_D02C02_bit15 -F_0x2e_D02C02_bit16 -F_0x2e_D02C02_bit17 -F_0x2e_D02C02_bit18 -F_0x2e_D02C02_bit19 -F_0x2e_D03C01_bit_10 -F_0x2e_D03C01_bit_9 -F_0x2e_D03C01_bit_8 -F_0x2e_D03C01_bit_7 -F_0x2e_D03C01_bit_6 -F_0x2e_D03C01_bit_5 -F_0x2e_D03C01_bit_4 -F_0x2e_D03C01_bit_3 -F_0x2e_D03C01_bit_2 -F_0x2e_D03C01_bit_1 -F_0x2e_D03C01_bit0 -F_0x2e_D03C01_bit1 -F_0x2e_D03C01_bit2 -F_0x2e_D03C01_bit3 -F_0x2e_D03C01_bit4 -F_0x2e_D03C01_bit5 -F_0x2e_D03C01_bit6 -F_0x2e_D03C01_bit7 -F_0x2e_D03C01_bit8 -F_0x2e_D03C01_bit9 -F_0x2e_D03C01_bit10 -F_0x2e_D03C01_bit11 -F_0x2e_D03C01_bit12 -F_0x2e_D03C01_bit13 -F_0x2e_D03C01_bit14 -F_0x2e_D03C01_bit15 -F_0x2e_D03C01_bit16 -F_0x2e_D03C01_bit17 -F_0x2e_D03C01_bit18 -F_0x2e_D03C01_bit19 -F_0x2e_D03C03_bit_10 -F_0x2e_D03C03_bit_9 -F_0x2e_D03C03_bit_8 -F_0x2e_D03C03_bit_7 -F_0x2e_D03C03_bit_6 -F_0x2e_D03C03_bit_5 -F_0x2e_D03C03_bit_4 -F_0x2e_D03C03_bit_3 -F_0x2e_D03C03_bit_2 -F_0x2e_D03C03_bit_1 -F_0x2e_D03C03_bit0 -F_0x2e_D03C03_bit1 -F_0x2e_D03C03_bit2 -F_0x2e_D03C03_bit3 -F_0x2e_D03C03_bit4 -F_0x2e_D03C03_bit5 -F_0x2e_D03C03_bit6 -F_0x2e_D03C03_bit7 -F_0x2e_D03C03_bit8 -F_0x2e_D03C03_bit9 -F_0x2e_D03C03_bit10 -F_0x2e_D03C03_bit11 -F_0x2e_D03C03_bit12 -F_0x2e_D03C03_bit13 -F_0x2e_D03C03_bit14 -F_0x2e_D03C03_bit15 -F_0x2e_D03C03_bit16 -F_0x2e_D03C03_bit17 -F_0x2e_D03C03_bit18 -F_0x2e_D03C03_bit19 -F_0x2e_D04C01_bit_10 -F_0x2e_D04C01_bit_9 -F_0x2e_D04C01_bit_8 -F_0x2e_D04C01_bit_7 -F_0x2e_D04C01_bit_6 -F_0x2e_D04C01_bit_5 -F_0x2e_D04C01_bit_4 -F_0x2e_D04C01_bit_3 -F_0x2e_D04C01_bit_2 -F_0x2e_D04C01_bit_1 F_0x2e_D04C01_bit0 F_0x2e_D04C01_bit1 F_0x2e_D04C01_bit2 F_0x2e_D04C01_bit3 -F_0x2e_D04C01_bit4 -F_0x2e_D04C01_bit5 -F_0x2e_D04C01_bit6 -F_0x2e_D04C01_bit7 -F_0x2e_D04C01_bit8 -F_0x2e_D04C01_bit9 -F_0x2e_D04C01_bit10 -F_0x2e_D04C01_bit11 -F_0x2e_D04C01_bit12 -F_0x2e_D04C01_bit13 -F_0x2e_D04C01_bit14 -F_0x2e_D04C01_bit15 -F_0x2e_D04C01_bit16 -F_0x2e_D04C01_bit17 -F_0x2e_D04C01_bit18 -F_0x2e_D04C01_bit19 -F_0x2e_D04C02_bit_10 -F_0x2e_D04C02_bit_9 -F_0x2e_D04C02_bit_8 -F_0x2e_D04C02_bit_7 -F_0x2e_D04C02_bit_6 -F_0x2e_D04C02_bit_5 -F_0x2e_D04C02_bit_4 -F_0x2e_D04C02_bit_3 -F_0x2e_D04C02_bit_2 -F_0x2e_D04C02_bit_1 -F_0x2e_D04C02_bit0 -F_0x2e_D04C02_bit1 -F_0x2e_D04C02_bit2 -F_0x2e_D04C02_bit3 -F_0x2e_D04C02_bit4 -F_0x2e_D04C02_bit5 -F_0x2e_D04C02_bit6 -F_0x2e_D04C02_bit7 -F_0x2e_D04C02_bit8 -F_0x2e_D04C02_bit9 -F_0x2e_D04C02_bit10 -F_0x2e_D04C02_bit11 -F_0x2e_D04C02_bit12 -F_0x2e_D04C02_bit13 -F_0x2e_D04C02_bit14 -F_0x2e_D04C02_bit15 -F_0x2e_D04C02_bit16 -F_0x2e_D04C02_bit17 -F_0x2e_D04C02_bit18 -F_0x2e_D04C02_bit19 -F_0x2e_D04C03_bit_10 -F_0x2e_D04C03_bit_9 -F_0x2e_D04C03_bit_8 -F_0x2e_D04C03_bit_7 -F_0x2e_D04C03_bit_6 -F_0x2e_D04C03_bit_5 -F_0x2e_D04C03_bit_4 -F_0x2e_D04C03_bit_3 -F_0x2e_D04C03_bit_2 -F_0x2e_D04C03_bit_1 -F_0x2e_D04C03_bit0 -F_0x2e_D04C03_bit1 -F_0x2e_D04C03_bit2 -F_0x2e_D04C03_bit3 -F_0x2e_D04C03_bit4 -F_0x2e_D04C03_bit5 -F_0x2e_D04C03_bit6 -F_0x2e_D04C03_bit7 -F_0x2e_D04C03_bit8 -F_0x2e_D04C03_bit9 -F_0x2e_D04C03_bit10 -F_0x2e_D04C03_bit11 -F_0x2e_D04C03_bit12 -F_0x2e_D04C03_bit13 -F_0x2e_D04C03_bit14 -F_0x2e_D04C03_bit15 -F_0x2e_D04C03_bit16 -F_0x2e_D04C03_bit17 -F_0x2e_D04C03_bit18 -F_0x2e_D04C03_bit19 -I_0x2e_D01C01_bit0 -I_0x2e_D01C02_bit0 -I_0x2e_D01C03_bit0 -I_0x2e_D02C01_bit0 -I_0x2e_D02C02_bit0 I_0x2e_D02C03_bit0 -I_0x2e_D03C01_bit0 I_0x2e_D03C02_bit0 -I_0x2e_D03C03_bit0 I_0x2e_D04C01_bit0 -I_0x2e_D04C02_bit0 -I_0x2e_D04C03_bit0 -F_0x2e_D04D04_bit_10 -F_0x2e_D04D04_bit_9 -F_0x2e_D04D04_bit_8 -F_0x2e_D04D04_bit_7 -F_0x2e_D04D04_bit_6 -F_0x2e_D04D04_bit_5 -F_0x2e_D04D04_bit_4 -F_0x2e_D04D04_bit_3 -F_0x2e_D04D04_bit_2 -F_0x2e_D04D04_bit_1 F_0x2e_D04D04_bit0 F_0x2e_D04D04_bit1 F_0x2e_D04D04_bit2 F_0x2e_D04D04_bit3 -F_0x2e_D04D04_bit4 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_10 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_9 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_8 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_7 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_6 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_5 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_4 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_3 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_2 -F_0x2e__0x2e__0x2e__0x2e_F01_bit_1 -F_0x2e__0x2e__0x2e__0x2e_F01_bit0 -F_0x2e__0x2e__0x2e__0x2e_F01_bit1 -F_0x2e__0x2e__0x2e__0x2e_F01_bit2 -F_0x2e__0x2e__0x2e__0x2e_F01_bit3 -F_0x2e__0x2e__0x2e__0x2e_F01_bit4 -F_0x2e__0x2e__0x2e__0x2e_F01_bit5 -F_0x2e__0x2e__0x2e__0x2e_F01_bit6 -F_0x2e__0x2e__0x2e__0x2e_F01_bit7 -F_0x2e__0x2e__0x2e__0x2e_F01_bit8 -F_0x2e__0x2e__0x2e__0x2e_F01_bit9 -F_0x2e__0x2e__0x2e__0x2e_F01_bit10 -F_0x2e__0x2e__0x2e__0x2e_F01_bit11 -F_0x2e__0x2e__0x2e__0x2e_F01_bit12 -F_0x2e__0x2e__0x2e__0x2e_F01_bit13 -F_0x2e__0x2e__0x2e__0x2e_F01_bit14 -F_0x2e__0x2e__0x2e__0x2e_F01_bit15 -F_0x2e__0x2e__0x2e__0x2e_F01_bit16 -F_0x2e__0x2e__0x2e__0x2e_F01_bit17 -F_0x2e__0x2e__0x2e__0x2e_F01_bit18 -F_0x2e__0x2e__0x2e__0x2e_F01_bit19 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_10 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_9 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_8 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_7 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_6 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_5 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_4 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_3 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_2 -F_0x2e__0x2e__0x2e__0x2e_F02_bit_1 -F_0x2e__0x2e__0x2e__0x2e_F02_bit0 -F_0x2e__0x2e__0x2e__0x2e_F02_bit1 -F_0x2e__0x2e__0x2e__0x2e_F02_bit2 -F_0x2e__0x2e__0x2e__0x2e_F02_bit3 -F_0x2e__0x2e__0x2e__0x2e_F02_bit4 -F_0x2e__0x2e__0x2e__0x2e_F02_bit5 -F_0x2e__0x2e__0x2e__0x2e_F02_bit6 -F_0x2e__0x2e__0x2e__0x2e_F02_bit7 -F_0x2e__0x2e__0x2e__0x2e_F02_bit8 -F_0x2e__0x2e__0x2e__0x2e_F02_bit9 -F_0x2e__0x2e__0x2e__0x2e_F02_bit10 -F_0x2e__0x2e__0x2e__0x2e_F02_bit11 -F_0x2e__0x2e__0x2e__0x2e_F02_bit12 -F_0x2e__0x2e__0x2e__0x2e_F02_bit13 -F_0x2e__0x2e__0x2e__0x2e_F02_bit14 -F_0x2e__0x2e__0x2e__0x2e_F02_bit15 -F_0x2e__0x2e__0x2e__0x2e_F02_bit16 -F_0x2e__0x2e__0x2e__0x2e_F02_bit17 -F_0x2e__0x2e__0x2e__0x2e_F02_bit18 -F_0x2e__0x2e__0x2e__0x2e_F02_bit19 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_10 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_9 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_8 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_7 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_6 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_5 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_4 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_3 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_2 -F_0x2e__0x2e__0x2e__0x2e_F03_bit_1 F_0x2e__0x2e__0x2e__0x2e_F03_bit0 -F_0x2e__0x2e__0x2e__0x2e_F03_bit1 F_0x2e__0x2e__0x2e__0x2e_F03_bit2 F_0x2e__0x2e__0x2e__0x2e_F03_bit3 -F_0x2e__0x2e__0x2e__0x2e_F03_bit4 F_0x2e__0x2e__0x2e__0x2e_F03_bit5 -F_0x2e__0x2e__0x2e__0x2e_F03_bit6 -F_0x2e__0x2e__0x2e__0x2e_F03_bit7 -F_0x2e__0x2e__0x2e__0x2e_F03_bit8 -F_0x2e__0x2e__0x2e__0x2e_F03_bit9 -F_0x2e__0x2e__0x2e__0x2e_F03_bit10 -F_0x2e__0x2e__0x2e__0x2e_F03_bit11 -F_0x2e__0x2e__0x2e__0x2e_F03_bit12 -F_0x2e__0x2e__0x2e__0x2e_F03_bit13 -F_0x2e__0x2e__0x2e__0x2e_F03_bit14 -F_0x2e__0x2e__0x2e__0x2e_F03_bit15 -F_0x2e__0x2e__0x2e__0x2e_F03_bit16 -F_0x2e__0x2e__0x2e__0x2e_F03_bit17 -F_0x2e__0x2e__0x2e__0x2e_F03_bit18 -F_0x2e__0x2e__0x2e__0x2e_F03_bit19 -F_0x2e_D01C02_bit_10 -F_0x2e_D01C02_bit_9 -F_0x2e_D01C02_bit_8 -F_0x2e_D01C02_bit_7 -F_0x2e_D01C02_bit_6 -F_0x2e_D01C02_bit_5 -F_0x2e_D01C02_bit_4 -F_0x2e_D01C02_bit_3 -F_0x2e_D01C02_bit_2 -F_0x2e_D01C02_bit_1 -F_0x2e_D01C02_bit0 -F_0x2e_D01C02_bit1 -F_0x2e_D01C02_bit2 -F_0x2e_D01C02_bit3 -F_0x2e_D01C02_bit4 -F_0x2e_D01C02_bit5 -F_0x2e_D01C02_bit6 -F_0x2e_D01C02_bit7 -F_0x2e_D01C02_bit8 -F_0x2e_D01C02_bit9 -F_0x2e_D01C02_bit10 -F_0x2e_D01C02_bit11 -F_0x2e_D01C02_bit12 -F_0x2e_D01C02_bit13 -F_0x2e_D01C02_bit14 -F_0x2e_D01C02_bit15 -F_0x2e_D01C02_bit16 -F_0x2e_D01C02_bit17 -F_0x2e_D01C02_bit18 -F_0x2e_D01C02_bit19 -F_0x2e_D03C02_bit_10 -F_0x2e_D03C02_bit_9 -F_0x2e_D03C02_bit_8 -F_0x2e_D03C02_bit_7 -F_0x2e_D03C02_bit_6 -F_0x2e_D03C02_bit_5 -F_0x2e_D03C02_bit_4 -F_0x2e_D03C02_bit_3 -F_0x2e_D03C02_bit_2 -F_0x2e_D03C02_bit_1 F_0x2e_D03C02_bit0 F_0x2e_D03C02_bit1 F_0x2e_D03C02_bit2 F_0x2e_D03C02_bit3 -F_0x2e_D03C02_bit4 -F_0x2e_D03C02_bit5 -F_0x2e_D03C02_bit6 -F_0x2e_D03C02_bit7 -F_0x2e_D03C02_bit8 -F_0x2e_D03C02_bit9 -F_0x2e_D03C02_bit10 -F_0x2e_D03C02_bit11 -F_0x2e_D03C02_bit12 -F_0x2e_D03C02_bit13 -F_0x2e_D03C02_bit14 -F_0x2e_D03C02_bit15 -F_0x2e_D03C02_bit16 -F_0x2e_D03C02_bit17 -F_0x2e_D03C02_bit18 -F_0x2e_D03C02_bit19 -F_0x2e_D02C03_bit_10 -F_0x2e_D02C03_bit_9 -F_0x2e_D02C03_bit_8 -F_0x2e_D02C03_bit_7 -F_0x2e_D02C03_bit_6 -F_0x2e_D02C03_bit_5 -F_0x2e_D02C03_bit_4 -F_0x2e_D02C03_bit_3 -F_0x2e_D02C03_bit_2 -F_0x2e_D02C03_bit_1 F_0x2e_D02C03_bit0 F_0x2e_D02C03_bit1 F_0x2e_D02C03_bit2 F_0x2e_D02C03_bit3 -F_0x2e_D02C03_bit4 -F_0x2e_D02C03_bit5 -F_0x2e_D02C03_bit6 -F_0x2e_D02C03_bit7 -F_0x2e_D02C03_bit8 -F_0x2e_D02C03_bit9 -F_0x2e_D02C03_bit10 -F_0x2e_D02C03_bit11 -F_0x2e_D02C03_bit12 -F_0x2e_D02C03_bit13 -F_0x2e_D02C03_bit14 -F_0x2e_D02C03_bit15 -F_0x2e_D02C03_bit16 -F_0x2e_D02C03_bit17 -F_0x2e_D02C03_bit18 -F_0x2e_D02C03_bit19 -F_0x2e_W01D01_bit_10 -F_0x2e_W01D01_bit_9 -F_0x2e_W01D01_bit_8 -F_0x2e_W01D01_bit_7 -F_0x2e_W01D01_bit_6 -F_0x2e_W01D01_bit_5 -F_0x2e_W01D01_bit_4 -F_0x2e_W01D01_bit_3 -F_0x2e_W01D01_bit_2 -F_0x2e_W01D01_bit_1 -F_0x2e_W01D01_bit0 -F_0x2e_W01D01_bit1 -F_0x2e_W01D01_bit2 -F_0x2e_W01D01_bit3 -F_0x2e_W01D01_bit4 -F_0x2e_W01D01_bit5 -F_0x2e_W01D01_bit6 -F_0x2e_W01D01_bit7 -F_0x2e_W01D01_bit8 -F_0x2e_W01D01_bit9 -F_0x2e_W01D01_bit10 -F_0x2e_W01D01_bit11 -F_0x2e_W01D01_bit12 -F_0x2e_W01D01_bit13 -F_0x2e_W01D01_bit14 -F_0x2e_W01D01_bit15 -F_0x2e_W01D01_bit16 -F_0x2e_W01D01_bit17 -F_0x2e_W01D01_bit18 -F_0x2e_W01D01_bit19 -F_0x2e_D01D01_bit_10 -F_0x2e_D01D01_bit_9 -F_0x2e_D01D01_bit_8 -F_0x2e_D01D01_bit_7 -F_0x2e_D01D01_bit_6 -F_0x2e_D01D01_bit_5 -F_0x2e_D01D01_bit_4 -F_0x2e_D01D01_bit_3 -F_0x2e_D01D01_bit_2 -F_0x2e_D01D01_bit_1 -F_0x2e_D01D01_bit0 -F_0x2e_D01D01_bit1 -F_0x2e_D01D01_bit2 -F_0x2e_D01D01_bit3 -F_0x2e_D01D01_bit4 -F_0x2e_D01D01_bit5 -F_0x2e_D01D01_bit6 -F_0x2e_D01D01_bit7 -F_0x2e_D01D01_bit8 -F_0x2e_D01D01_bit9 -F_0x2e_D01D01_bit10 -F_0x2e_D01D01_bit11 -F_0x2e_D01D01_bit12 -F_0x2e_D01D01_bit13 -F_0x2e_D01D01_bit14 -F_0x2e_D01D01_bit15 -F_0x2e_D01D01_bit16 -F_0x2e_D01D01_bit17 -F_0x2e_D01D01_bit18 -F_0x2e_D01D01_bit19 -F_0x2e_W02D02_bit_10 -F_0x2e_W02D02_bit_9 -F_0x2e_W02D02_bit_8 -F_0x2e_W02D02_bit_7 -F_0x2e_W02D02_bit_6 -F_0x2e_W02D02_bit_5 -F_0x2e_W02D02_bit_4 -F_0x2e_W02D02_bit_3 -F_0x2e_W02D02_bit_2 -F_0x2e_W02D02_bit_1 F_0x2e_W02D02_bit0 F_0x2e_W02D02_bit1 F_0x2e_W02D02_bit2 F_0x2e_W02D02_bit3 -F_0x2e_W02D02_bit4 -F_0x2e_W02D02_bit5 -F_0x2e_W02D02_bit6 -F_0x2e_W02D02_bit7 -F_0x2e_W02D02_bit8 -F_0x2e_W02D02_bit9 -F_0x2e_W02D02_bit10 -F_0x2e_W02D02_bit11 -F_0x2e_W02D02_bit12 -F_0x2e_W02D02_bit13 -F_0x2e_W02D02_bit14 -F_0x2e_W02D02_bit15 -F_0x2e_W02D02_bit16 -F_0x2e_W02D02_bit17 -F_0x2e_W02D02_bit18 -F_0x2e_W02D02_bit19 -F_0x2e_D02D02_bit_10 -F_0x2e_D02D02_bit_9 -F_0x2e_D02D02_bit_8 -F_0x2e_D02D02_bit_7 -F_0x2e_D02D02_bit_6 -F_0x2e_D02D02_bit_5 -F_0x2e_D02D02_bit_4 -F_0x2e_D02D02_bit_3 -F_0x2e_D02D02_bit_2 -F_0x2e_D02D02_bit_1 F_0x2e_D02D02_bit0 F_0x2e_D02D02_bit1 F_0x2e_D02D02_bit2 F_0x2e_D02D02_bit3 -F_0x2e_D02D02_bit4 -F_0x2e_D02D02_bit5 -F_0x2e_D02D02_bit6 -F_0x2e_D02D02_bit7 -F_0x2e_D02D02_bit8 -F_0x2e_D02D02_bit9 -F_0x2e_D02D02_bit10 -F_0x2e_D02D02_bit11 -F_0x2e_D02D02_bit12 -F_0x2e_D02D02_bit13 -F_0x2e_D02D02_bit14 -F_0x2e_D02D02_bit15 -F_0x2e_D02D02_bit16 -F_0x2e_D02D02_bit17 -F_0x2e_D02D02_bit18 -F_0x2e_D02D02_bit19 -F_0x2e_W03D03_bit_10 -F_0x2e_W03D03_bit_9 -F_0x2e_W03D03_bit_8 -F_0x2e_W03D03_bit_7 -F_0x2e_W03D03_bit_6 -F_0x2e_W03D03_bit_5 -F_0x2e_W03D03_bit_4 -F_0x2e_W03D03_bit_3 -F_0x2e_W03D03_bit_2 -F_0x2e_W03D03_bit_1 -F_0x2e_W03D03_bit0 -F_0x2e_W03D03_bit1 -F_0x2e_W03D03_bit2 -F_0x2e_W03D03_bit3 -F_0x2e_W03D03_bit4 -F_0x2e_W03D03_bit5 -F_0x2e_W03D03_bit6 -F_0x2e_W03D03_bit7 -F_0x2e_W03D03_bit8 -F_0x2e_W03D03_bit9 -F_0x2e_W03D03_bit10 -F_0x2e_W03D03_bit11 -F_0x2e_W03D03_bit12 -F_0x2e_W03D03_bit13 -F_0x2e_W03D03_bit14 -F_0x2e_W03D03_bit15 -F_0x2e_W03D03_bit16 -F_0x2e_W03D03_bit17 -F_0x2e_W03D03_bit18 -F_0x2e_W03D03_bit19 -F_0x2e_D03D03_bit_10 -F_0x2e_D03D03_bit_9 -F_0x2e_D03D03_bit_8 -F_0x2e_D03D03_bit_7 -F_0x2e_D03D03_bit_6 -F_0x2e_D03D03_bit_5 -F_0x2e_D03D03_bit_4 -F_0x2e_D03D03_bit_3 -F_0x2e_D03D03_bit_2 -F_0x2e_D03D03_bit_1 F_0x2e_D03D03_bit0 F_0x2e_D03D03_bit1 F_0x2e_D03D03_bit2 F_0x2e_D03D03_bit3 -F_0x2e_D03D03_bit4 -F_0x2e_D03D03_bit5 -F_0x2e_D03D03_bit6 -F_0x2e_D03D03_bit7 -F_0x2e_D03D03_bit8 -F_0x2e_D03D03_bit9 -F_0x2e_D03D03_bit10 -F_0x2e_D03D03_bit11 -F_0x2e_D03D03_bit12 -F_0x2e_D03D03_bit13 -F_0x2e_D03D03_bit14 -F_0x2e_D03D03_bit15 -F_0x2e_D03D03_bit16 -F_0x2e_D03D03_bit17 -F_0x2e_D03D03_bit18 -F_0x2e_D03D03_bit19 -F_0x2e_F01W03_bit_10 -F_0x2e_F01W03_bit_9 -F_0x2e_F01W03_bit_8 -F_0x2e_F01W03_bit_7 -F_0x2e_F01W03_bit_6 -F_0x2e_F01W03_bit_5 -F_0x2e_F01W03_bit_4 -F_0x2e_F01W03_bit_3 -F_0x2e_F01W03_bit_2 -F_0x2e_F01W03_bit_1 -F_0x2e_F01W03_bit0 -F_0x2e_F01W03_bit1 -F_0x2e_F01W03_bit2 -F_0x2e_F01W03_bit3 -F_0x2e_F01W03_bit4 -F_0x2e_F01W03_bit5 -F_0x2e_F01W03_bit6 -F_0x2e_F01W03_bit7 -F_0x2e_F01W03_bit8 -F_0x2e_F01W03_bit9 -F_0x2e_F01W03_bit10 -F_0x2e_F01W03_bit11 -F_0x2e_F01W03_bit12 -F_0x2e_F01W03_bit13 -F_0x2e_F01W03_bit14 -F_0x2e_F01W03_bit15 -F_0x2e_F01W03_bit16 -F_0x2e_F01W03_bit17 -F_0x2e_F01W03_bit18 -F_0x2e_F01W03_bit19 -F_0x2e_F02W01_bit_10 -F_0x2e_F02W01_bit_9 -F_0x2e_F02W01_bit_8 -F_0x2e_F02W01_bit_7 -F_0x2e_F02W01_bit_6 -F_0x2e_F02W01_bit_5 -F_0x2e_F02W01_bit_4 -F_0x2e_F02W01_bit_3 -F_0x2e_F02W01_bit_2 -F_0x2e_F02W01_bit_1 -F_0x2e_F02W01_bit0 -F_0x2e_F02W01_bit1 -F_0x2e_F02W01_bit2 -F_0x2e_F02W01_bit3 -F_0x2e_F02W01_bit4 -F_0x2e_F02W01_bit5 -F_0x2e_F02W01_bit6 -F_0x2e_F02W01_bit7 -F_0x2e_F02W01_bit8 -F_0x2e_F02W01_bit9 -F_0x2e_F02W01_bit10 -F_0x2e_F02W01_bit11 -F_0x2e_F02W01_bit12 -F_0x2e_F02W01_bit13 -F_0x2e_F02W01_bit14 -F_0x2e_F02W01_bit15 -F_0x2e_F02W01_bit16 -F_0x2e_F02W01_bit17 -F_0x2e_F02W01_bit18 -F_0x2e_F02W01_bit19 -F_0x2e_F03W02_bit_10 -F_0x2e_F03W02_bit_9 -F_0x2e_F03W02_bit_8 -F_0x2e_F03W02_bit_7 -F_0x2e_F03W02_bit_6 -F_0x2e_F03W02_bit_5 -F_0x2e_F03W02_bit_4 -F_0x2e_F03W02_bit_3 -F_0x2e_F03W02_bit_2 -F_0x2e_F03W02_bit_1 F_0x2e_F03W02_bit0 -F_0x2e_F03W02_bit1 F_0x2e_F03W02_bit2 F_0x2e_F03W02_bit3 -F_0x2e_F03W02_bit4 F_0x2e_F03W02_bit5 -F_0x2e_F03W02_bit6 -F_0x2e_F03W02_bit7 -F_0x2e_F03W02_bit8 -F_0x2e_F03W02_bit9 -F_0x2e_F03W02_bit10 -F_0x2e_F03W02_bit11 -F_0x2e_F03W02_bit12 -F_0x2e_F03W02_bit13 -F_0x2e_F03W02_bit14 -F_0x2e_F03W02_bit15 -F_0x2e_F03W02_bit16 -F_0x2e_F03W02_bit17 -F_0x2e_F03W02_bit18 -F_0x2e_F03W02_bit19 -F_0x2e_W01W01_bit_10 -F_0x2e_W01W01_bit_9 -F_0x2e_W01W01_bit_8 -F_0x2e_W01W01_bit_7 -F_0x2e_W01W01_bit_6 -F_0x2e_W01W01_bit_5 -F_0x2e_W01W01_bit_4 -F_0x2e_W01W01_bit_3 -F_0x2e_W01W01_bit_2 -F_0x2e_W01W01_bit_1 -F_0x2e_W01W01_bit0 -F_0x2e_W01W01_bit1 -F_0x2e_W01W01_bit2 -F_0x2e_W01W01_bit3 -F_0x2e_W01W01_bit4 -F_0x2e_W01W01_bit5 -F_0x2e_W01W01_bit6 -F_0x2e_W01W01_bit7 -F_0x2e_W01W01_bit8 -F_0x2e_W01W01_bit9 -F_0x2e_W01W01_bit10 -F_0x2e_W01W01_bit11 -F_0x2e_W01W01_bit12 -F_0x2e_W01W01_bit13 -F_0x2e_W01W01_bit14 -F_0x2e_W01W01_bit15 -F_0x2e_W01W01_bit16 -F_0x2e_W01W01_bit17 -F_0x2e_W01W01_bit18 -F_0x2e_W01W01_bit19 -F_0x2e_W02W02_bit_10 -F_0x2e_W02W02_bit_9 -F_0x2e_W02W02_bit_8 -F_0x2e_W02W02_bit_7 -F_0x2e_W02W02_bit_6 -F_0x2e_W02W02_bit_5 -F_0x2e_W02W02_bit_4 -F_0x2e_W02W02_bit_3 -F_0x2e_W02W02_bit_2 -F_0x2e_W02W02_bit_1 F_0x2e_W02W02_bit0 -F_0x2e_W02W02_bit1 F_0x2e_W02W02_bit2 F_0x2e_W02W02_bit3 -F_0x2e_W02W02_bit4 F_0x2e_W02W02_bit5 -F_0x2e_W02W02_bit6 -F_0x2e_W02W02_bit7 -F_0x2e_W02W02_bit8 -F_0x2e_W02W02_bit9 -F_0x2e_W02W02_bit10 -F_0x2e_W02W02_bit11 -F_0x2e_W02W02_bit12 -F_0x2e_W02W02_bit13 -F_0x2e_W02W02_bit14 -F_0x2e_W02W02_bit15 -F_0x2e_W02W02_bit16 -F_0x2e_W02W02_bit17 -F_0x2e_W02W02_bit18 -F_0x2e_W02W02_bit19 -F_0x2e_W03W03_bit_10 -F_0x2e_W03W03_bit_9 -F_0x2e_W03W03_bit_8 -F_0x2e_W03W03_bit_7 -F_0x2e_W03W03_bit_6 -F_0x2e_W03W03_bit_5 -F_0x2e_W03W03_bit_4 -F_0x2e_W03W03_bit_3 -F_0x2e_W03W03_bit_2 -F_0x2e_W03W03_bit_1 -F_0x2e_W03W03_bit0 -F_0x2e_W03W03_bit1 -F_0x2e_W03W03_bit2 -F_0x2e_W03W03_bit3 -F_0x2e_W03W03_bit4 -F_0x2e_W03W03_bit5 -F_0x2e_W03W03_bit6 -F_0x2e_W03W03_bit7 -F_0x2e_W03W03_bit8 -F_0x2e_W03W03_bit9 -F_0x2e_W03W03_bit10 -F_0x2e_W03W03_bit11 -F_0x2e_W03W03_bit12 -F_0x2e_W03W03_bit13 -F_0x2e_W03W03_bit14 -F_0x2e_W03W03_bit15 -F_0x2e_W03W03_bit16 -F_0x2e_W03W03_bit17 -F_0x2e_W03W03_bit18 -F_0x2e_W03W03_bit19 c _______________________________________________________________________________ c c restarts : 51 c conflicts : 8509 (172 /sec) c decisions : 47288 (957 /sec) c propagations : 0 (0 /sec) c inspects : 0 (0 /sec) c CPU time : 49.4265 s c _______________________________________________________________________________ #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.93 0.97 0.91 2/55 26729 Raw data (stat): 26729 (runsolver) R 26728 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 731424458 1052672 99 4294967295 134512640 135381576 3221224464 3221219672 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.99955 s] Raw data (loadavg): 0.94 0.97 0.91 2/56 26733 Raw data (stat): 26729 (minisat+_script) S 26728 32363 32362 0 -1 0 275 239 0 0 0 0 0 0 20 0 1 0 731424458 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+20.0002 s] Raw data (loadavg): 0.95 0.97 0.91 2/56 26733 Raw data (stat): 26729 (minisat+_script) S 26728 32363 32362 0 -1 0 275 239 0 0 0 0 0 0 20 0 1 0 731424458 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+30.0009 s] Raw data (loadavg): 0.96 0.97 0.91 2/56 26733 Raw data (stat): 26729 (minisat+_script) S 26728 32363 32362 0 -1 0 275 239 0 0 0 0 0 0 20 0 1 0 731424458 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+40.0015 s] Raw data (loadavg): 0.96 0.97 0.91 2/56 26733 Raw data (stat): 26729 (minisat+_script) S 26728 32363 32362 0 -1 0 275 239 0 0 0 0 0 0 20 0 1 0 731424458 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 2124 [startup+49.6675 s] Raw data (loadavg): 0.97 0.97 0.91 1/54 26733 Raw data (stat): 26729 (minisat+_script) S 26728 32363 32362 0 -1 0 275 239 0 0 0 0 0 0 20 0 1 0 731424458 2174976 226 4294967295 134512640 135087896 3221224528 3221223800 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0 Raw data (statm): 531 226 485 147 0 384 0 vsize: 0 Child status: 30 Real time (s): 49.6672 CPU time (s): 49.6604 CPU user time (s): 49.4635 CPU system time (s): 0.19697 CPU usage (%): 99.9864 Max. virtual memory (Kb): 2124 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 384000 #### END VERIFIER DATA ####