forked from lintool/c-bfscan
-
Notifications
You must be signed in to change notification settings - Fork 0
/
termindexes_padding.h
50 lines (50 loc) · 12.4 KB
/
termindexes_padding.h
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
int *termindexes[] = {
(int []) {0, },
(int []) {0, 112021216, },
(int []) {0, 75023968, 150080288, },
(int []) {0, 56247552, 112021216, 168953464, },
(int []) {0, 44773552, 89842008, 134967648, 180004944, },
(int []) {0, 37285496, 75023968, 112021216, 150080288, 187562448, },
(int []) {0, 31846488, 64374824, 96108048, 128472392, 161008176, 192597160, },
(int []) {0, 28013776, 56247568, 84394728, 112021248, 140606256, 168953504, 196731216, },
(int []) {0, 24827912, 49914440, 75023976, 99534640, 124676904, 150080328, 175273904, 199843792, },
(int []) {0, 22181320, 44773560, 67659736, 89842048, 112021288, 134967672, 157759256, 180005000, 202289848, },
(int []) {0, 20042112, 40822648, 61260136, 82008752, 101912576, 122468800, 143325056, 163799536, 184200392, 204208872, },
(int []) {0, 18394704, 37285496, 56247552, 75023968, 93583728, 112021216, 131259496, 150080288, 168953464, 187562448, 205834512, },
(int []) {0, 17035760, 34194600, 51920576, 69364496, 86417936, 103517040, 120973640, 138315040, 155957200, 173407000, 190250712, 207297136, },
(int []) {0, 15869584, 31846488, 47995824, 64374824, 80582512, 96108048, 112021264, 128472392, 144823824, 161008176, 176939656, 192597160, 208614552, },
(int []) {0, 14807160, 29823896, 44773552, 59853800, 75023976, 89842008, 104687160, 119852056, 134967648, 150080328, 165114520, 180004944, 194796184, 209759816, },
(int []) {0, 13861344, 28013784, 42099688, 56247600, 70384008, 84394768, 97996024, 112021312, 126303800, 140606352, 154790600, 168953576, 182914936, 196731328, 210739208, },
(int []) {0, 13022888, 26338432, 39574696, 52967616, 66321024, 79642360, 92495712, 105580464, 118970520, 132383528, 145801248, 159113720, 172393928, 185403104, 198376344, 211590192, },
(int []) {0, 12277200, 24827936, 37285512, 49914472, 62478144, 75024016, 87309416, 99534712, 112021312, 124676968, 137360880, 150080384, 162721024, 175274008, 187562568, 199843904, 212344184, },
(int []) {0, 11613216, 23458128, 35163512, 47108816, 59076760, 71086136, 83009792, 94535280, 106280120, 118265648, 130238056, 142200464, 153998656, 165885128, 177730264, 189402224, 201143016, 213018376, },
(int []) {0, 11008696, 22181320, 33338760, 44773560, 56247592, 67659736, 78974528, 89842048, 100837144, 112021288, 123453008, 134967672, 146470704, 157759256, 168953544, 180005000, 191057080, 202289848, 213616712, },
(int []) {0, 10450712, 21038576, 31846488, 42741072, 53607336, 64374824, 75023984, 85651480, 96108048, 106842368, 117687728, 128472392, 139170472, 150080344, 161008176, 171753224, 182216264, 192597160, 203291920, 214152928, },
(int []) {0, 9939720, 20042112, 30471840, 40822648, 51107912, 61260136, 71607568, 82008752, 91899576, 101912576, 112021264, 122468800, 132988480, 143325056, 153431648, 163799536, 174182080, 184200392, 194085336, 204208872, 214641912, },
(int []) {0, 9476840, 19174512, 29211232, 38978952, 48748416, 58578056, 68636816, 78475640, 87806256, 97418360, 107294800, 117207728, 126963088, 136834448, 146960912, 156750848, 166398888, 176283056, 185970896, 195475632, 205049088, 215081256, },
(int []) {0, 9049448, 18394728, 28013784, 37285512, 46605856, 56247600, 65755016, 75024016, 84394768, 93583792, 102783792, 112021312, 121653808, 131259592, 140606352, 150080384, 159674512, 168953576, 178195704, 187562568, 196731328, 205834680, 215472472, },
(int []) {0, 8660608, 17686496, 26883352, 35680328, 44773576, 54036960, 63017392, 72005256, 81218512, 89842080, 98534048, 107667496, 116802928, 125706352, 134967704, 144166048, 153006224, 162253344, 171314472, 180005064, 188960736, 197846264, 206583608, 215825584, },
(int []) {0, 8306680, 17035760, 25816280, 34194600, 43125904, 51920576, 60436816, 69364496, 78088128, 86417936, 94960096, 103517040, 112021232, 120973640, 129767360, 138315040, 147338760, 155957200, 164556952, 173407000, 181783552, 190250712, 198892288, 207297136, 216147704, },
(int []) {0, 7983608, 16439720, 24827912, 32963352, 41585896, 49914440, 58228176, 66822576, 75023976, 83419440, 91520240, 99534640, 107981208, 116458216, 124676904, 133368632, 141730880, 150080328, 158613944, 166767224, 175273904, 183450088, 191448656, 199843792, 207977800, 216447632, },
(int []) {0, 7687384, 15869600, 23904776, 31846504, 40070776, 47995864, 56247648, 64374880, 72318800, 80582584, 88158848, 96108120, 104147024, 112021376, 120381168, 128472488, 136498680, 144823920, 152677664, 161008296, 168953640, 176939800, 184932368, 192597384, 200724016, 208614752, 216727136, },
(int []) {0, 7420712, 15325608, 23020344, 30808032, 38627416, 46283400, 54347208, 62015768, 69927104, 77780960, 85306744, 92948112, 100430272, 108249216, 116159960, 123826952, 131925224, 139562776, 147635944, 155313896, 163130160, 170993232, 178503568, 186302304, 193717984, 201546128, 209209032, 216989696, },
(int []) {0, 7174360, 14807168, 22181344, 29823912, 37285536, 44773584, 52513960, 59853872, 67659784, 75024048, 82647280, 89842104, 97111984, 104687224, 112021368, 119852136, 127315256, 134967768, 142615664, 150080464, 157759384, 165114664, 172834496, 180005128, 187562640, 194796400, 202290000, 209760064, 217233992, },
(int []) {0, 6946200, 14321968, 21403712, 28908072, 35993312, 43385976, 50764096, 57970200, 65445480, 72571408, 80071000, 86942816, 94171800, 101221128, 108484784, 115901464, 123102440, 130636104, 137756440, 145356792, 152416320, 159975920, 167042616, 174503232, 181491512, 188694096, 195805264, 202965144, 210270872, 217464024, },
(int []) {0, 6733552, 13861344, 20691664, 28013784, 34766360, 42099688, 49076232, 56247600, 63319632, 70384008, 77526584, 84394768, 91259576, 97996024, 105163864, 112021312, 119383720, 126303800, 133629392, 140606352, 147873688, 154790600, 161985768, 168953576, 176000088, 182914936, 189748240, 196731328, 203607120, 210739208, 217678856, },
(int []) {0, 6533920, 13429680, 20042112, 27158240, 33654320, 40822648, 47482024, 54583320, 61260136, 68342168, 75023984, 82008752, 88410720, 95200400, 101912576, 108693248, 115671312, 122468800, 129496512, 136262416, 143325056, 150080344, 157058464, 163799536, 170749720, 177394568, 184200392, 190737784, 197572776, 204208872, 211177304, 217881352, },
(int []) {0, 6346200, 13022912, 19451520, 26338464, 32738552, 39574744, 46057856, 52967696, 59417248, 66321120, 72780928, 79642448, 85941792, 92495808, 98792976, 105580576, 112021448, 118970640, 125429720, 132383728, 138838576, 145801368, 152203672, 159113896, 165544432, 172394128, 178720224, 185403304, 191680816, 198376520, 204777312, 211590424, 218074816, },
(int []) {0, 6171056, 12639888, 18907008, 25562576, 31846496, 38399104, 44773576, 51410680, 57771736, 64374848, 70764456, 77315520, 83642304, 89842080, 96108096, 102511496, 108879664, 115465400, 121908896, 128472448, 134967704, 141473496, 148068304, 154359864, 161008240, 167256376, 173896256, 180005064, 186519520, 192597272, 199140768, 205316784, 211979008, 218255680, },
(int []) {0, 6005544, 12277200, 18394728, 24827936, 31012832, 37285512, 43574320, 49914472, 56247600, 62478144, 68902472, 75024016, 81461904, 87309416, 93583792, 99534712, 105949000, 112021312, 118600584, 124676968, 131259592, 137360880, 143908520, 150080384, 156468120, 162721024, 168953576, 175274008, 181282664, 187562568, 193494296, 199843904, 205834680, 212344184, 218425112, },
(int []) {0, 5848984, 11935008, 17915568, 24130920, 30206480, 36204648, 42466192, 48462352, 54768848, 60678616, 67051144, 72956440, 79282136, 85109568, 91070248, 96921720, 103039488, 109044832, 115282728, 121414504, 127534392, 133815136, 139786896, 146166608, 152027272, 158386536, 164331104, 170559400, 176532240, 182519368, 188515928, 194372624, 200509704, 206336464, 212689392, 218587072, },
(int []) {0, 5702088, 11613216, 17462856, 23458128, 29453856, 35163512, 41365632, 47108816, 53323136, 59076760, 65248536, 71086136, 77135712, 83009792, 88598064, 94535280, 100217664, 106280120, 112021368, 118265648, 124028224, 130238056, 136089784, 142200464, 148230568, 153998656, 160165376, 165885128, 172041400, 177730264, 183668576, 189402224, 195210160, 201143016, 206827496, 213018376, 218740192, },
(int []) {0, 5561728, 11306784, 17035776, 22805784, 28728064, 34194640, 40287816, 45890392, 51920600, 57613208, 63510824, 69364552, 75024040, 80990728, 86417984, 92159080, 97654992, 103517120, 109192088, 115115648, 120973720, 126692240, 132724104, 138315152, 144404424, 150080416, 155957328, 161811928, 167425984, 173407144, 178880904, 184727112, 190250840, 195998016, 201738416, 207297304, 213327856, 218886984, },
(int []) {0, 5428472, 11008720, 16634664, 22181352, 28013808, 33338792, 39230680, 44773608, 50573704, 56247672, 61806840, 67659832, 73105384, 78974648, 84394832, 89842152, 95357408, 100837296, 106577032, 112021448, 117962568, 123453176, 129320072, 134967840, 140606520, 146470904, 151878440, 157759472, 163314864, 168953696, 174678800, 180005248, 185730936, 191057288, 196731568, 202290096, 207757128, 213616952, 219027672, },
(int []) {0, 5301856, 10724568, 16247480, 21591392, 27324616, 32586080, 38237584, 43719680, 49260752, 54916040, 60222504, 65988168, 71364552, 76981912, 82479000, 87574800, 93135704, 98321568, 103949160, 109327400, 114964568, 120571240, 125937152, 131729920, 137065200, 142807408, 148369240, 153692160, 159442496, 164761592, 170405240, 175842912, 181124448, 186672600, 191833080, 197416000, 202801320, 208195680, 213890504, 219161184, },
(int []) {0, 5179752, 10450712, 15869584, 21038576, 26662464, 31846488, 37285504, 42741072, 47995824, 53607336, 58802512, 64374824, 69754432, 75023984, 80582512, 85651480, 90924616, 96108048, 101401424, 106842368, 112021264, 117687728, 122937096, 128472392, 133956616, 139170472, 144823824, 150080344, 155512008, 161008176, 166164584, 171753224, 176939656, 182216264, 187562496, 192597160, 198058136, 203291920, 208614552, 214152928, 219290424, },
(int []) {0, 5064408, 10188912, 15503832, 20522968, 26023264, 31151848, 36357912, 41779928, 46825616, 52336080, 57484832, 62791800, 68184760, 73234368, 78708008, 83781480, 88741608, 94007024, 98945584, 104334776, 109448952, 114827648, 120197720, 125270608, 130810648, 135958616, 141311936, 146732248, 151750592, 157221736, 162450256, 167565456, 173008672, 177989904, 183251768, 188387088, 193346168, 198688736, 203761136, 209015552, 214403336, 219414272, },
(int []) {0, 4951976, 9939744, 15148856, 20042128, 25412816, 30471880, 35455728, 40822688, 45762208, 51107968, 56247672, 61260272, 66629320, 71607648, 76848480, 82008864, 86788808, 91899704, 96792632, 101912704, 107081440, 112021448, 117436320, 122468976, 127684264, 132988680, 137920136, 143325248, 148487952, 153431848, 158807064, 163799760, 168953696, 174182248, 179006056, 184200592, 189150144, 194085608, 199285968, 204209152, 209396648, 214642176, 219532808, },
(int []) {0, 4845520, 9703840, 14807160, 19593600, 24827912, 29823896, 34601688, 39880768, 44773552, 49914440, 55037272, 59853800, 65112736, 70088904, 75023976, 80231976, 84983104, 89842008, 94782776, 99534640, 104687160, 109559816, 114703184, 119852056, 124676904, 129965800, 134967648, 139930640, 145188616, 150080328, 155128872, 160294872, 165114520, 170277880, 175273904, 180004944, 185110648, 189893072, 194796184, 199843792, 204637424, 209759816, 214867240, 219645840, },
(int []) {0, 4743624, 9476840, 14480264, 19174512, 24269336, 29211232, 33804808, 38978952, 43832376, 48748416, 53842072, 58578056, 63644480, 68636816, 73348008, 78475640, 83249744, 87806256, 92781432, 97418360, 102368256, 107294800, 112021232, 117207728, 122042016, 126963088, 132096736, 136834448, 141926072, 146960912, 151639928, 156750848, 161691504, 166398888, 171514536, 176283056, 181000336, 185970896, 190600072, 195475632, 200378192, 205049088, 210104832, 215081256, 219753160, },
(int []) {0, 4647680, 9259560, 14166848, 18775608, 23725560, 28608000, 33132264, 38115872, 42954832, 47634856, 52679096, 57376728, 62193776, 67182064, 71818368, 76732816, 81591224, 86073448, 90811232, 95467504, 100086152, 105012968, 109661608, 114587816, 119533504, 124151768, 129195592, 134066720, 138692520, 143772720, 148590400, 153206056, 158252824, 162972680, 167682496, 172674960, 177259784, 181978328, 186786528, 191280456, 196123488, 200893656, 205449224, 210431440, 215283336, 219857328, },
(int []) {0, 4555496, 9049448, 13861344, 18394728, 23194408, 28013784, 32477432, 37285512, 42099688, 46605856, 51550752, 56247600, 60810816, 65755016, 70384008, 75024016, 79920072, 84394768, 88855832, 93583792, 97996024, 102783792, 107490064, 112021312, 116995864, 121653808, 126303800, 131259592, 135854120, 140606352, 145514240, 150080384, 154790600, 159674512, 164209056, 168953576, 173764408, 178195704, 182914936, 187562568, 191942240, 196731328, 201388304, 205834680, 210739208, 215472472, 219958480, }
};