1/* This is a generated file. DO NOT EDIT! */
2
3static const FoldFunc fold_func[] = {
4 fold_kfold_numarith,
5 fold_kfold_numabsneg,
6 fold_kfold_ldexp,
7 fold_kfold_fpmath,
8 fold_kfold_fpcall1,
9 fold_kfold_fpcall2,
10 fold_kfold_numpow,
11 fold_kfold_numcomp,
12 fold_kfold_intarith,
13 fold_kfold_intovarith,
14 fold_kfold_bnot,
15 fold_kfold_bswap,
16 fold_kfold_intcomp,
17 fold_kfold_intcomp0,
18 fold_kfold_int64arith,
19 fold_kfold_int64arith2,
20 fold_kfold_int64shift,
21 fold_kfold_bnot64,
22 fold_kfold_bswap64,
23 fold_kfold_int64comp,
24 fold_kfold_int64comp0,
25 fold_kfold_snew_kptr,
26 fold_kfold_snew_empty,
27 fold_kfold_strref,
28 fold_kfold_strref_snew,
29 fold_kfold_strcmp,
30 fold_bufput_append,
31 fold_bufput_kgc,
32 fold_bufstr_kfold_cse,
33 fold_bufput_kfold_op,
34 fold_bufput_kfold_rep,
35 fold_bufput_kfold_fmt,
36 fold_kfold_add_kgc,
37 fold_kfold_add_kptr,
38 fold_kfold_add_kright,
39 fold_kfold_tobit,
40 fold_kfold_conv_kint_num,
41 fold_kfold_conv_kintu32_num,
42 fold_kfold_conv_kint_ext,
43 fold_kfold_conv_kint_i64,
44 fold_kfold_conv_kint64_num_i64,
45 fold_kfold_conv_kint64_num_u64,
46 fold_kfold_conv_kint64_int_i64,
47 fold_kfold_conv_knum_int_num,
48 fold_kfold_conv_knum_u32_num,
49 fold_kfold_conv_knum_i64_num,
50 fold_kfold_conv_knum_u64_num,
51 fold_kfold_tostr_knum,
52 fold_kfold_tostr_kint,
53 fold_kfold_strto,
54 lj_opt_cse,
55 fold_kfold_kref,
56 fold_shortcut_round,
57 fold_shortcut_left,
58 fold_shortcut_dropleft,
59 fold_shortcut_leftleft,
60 fold_simplify_numadd_negx,
61 fold_simplify_numadd_xneg,
62 fold_simplify_numsub_k,
63 fold_simplify_numsub_negk,
64 fold_simplify_numsub_xneg,
65 fold_simplify_nummuldiv_k,
66 fold_simplify_nummuldiv_negk,
67 fold_simplify_nummuldiv_negneg,
68 fold_simplify_numpow_xkint,
69 fold_simplify_numpow_xknum,
70 fold_simplify_numpow_kx,
71 fold_shortcut_conv_num_int,
72 fold_simplify_conv_int_num,
73 fold_simplify_conv_i64_num,
74 fold_simplify_conv_int_i64,
75 fold_simplify_conv_flt_num,
76 fold_simplify_tobit_conv,
77 fold_simplify_floor_conv,
78 fold_simplify_conv_sext,
79 fold_simplify_conv_narrow,
80 fold_cse_conv,
81 fold_narrow_convert,
82 fold_simplify_intadd_k,
83 fold_simplify_intmul_k,
84 fold_simplify_intsub_k,
85 fold_simplify_intsub_kleft,
86 fold_simplify_intadd_k64,
87 fold_simplify_intsub_k64,
88 fold_simplify_intmul_k32,
89 fold_simplify_intmul_k64,
90 fold_simplify_intmod_k,
91 fold_simplify_intmod_kleft,
92 fold_simplify_intsub,
93 fold_simplify_intsubadd_leftcancel,
94 fold_simplify_intsubsub_leftcancel,
95 fold_simplify_intsubsub_rightcancel,
96 fold_simplify_intsubadd_rightcancel,
97 fold_simplify_intsubaddadd_cancel,
98 fold_simplify_band_k,
99 fold_simplify_bor_k,
100 fold_simplify_bxor_k,
101 fold_simplify_shift_ik,
102 fold_simplify_shift_andk,
103 fold_simplify_shift1_ki,
104 fold_simplify_shift2_ki,
105 fold_simplify_shiftk_andk,
106 fold_simplify_andk_shiftk,
107 fold_simplify_andor_k,
108 fold_simplify_andor_k64,
109 fold_reassoc_intarith_k,
110 fold_reassoc_intarith_k64,
111 fold_reassoc_dup,
112 fold_reassoc_dup_minmax,
113 fold_reassoc_bxor,
114 fold_reassoc_shift,
115 fold_reassoc_minmax_k,
116 fold_abc_fwd,
117 fold_abc_k,
118 fold_abc_invar,
119 fold_comm_swap,
120 fold_comm_equal,
121 fold_comm_comp,
122 fold_comm_dup,
123 fold_comm_dup_minmax,
124 fold_comm_bxor,
125 fold_merge_eqne_snew_kgc,
126 lj_opt_fwd_aload,
127 fold_kfold_hload_kkptr,
128 lj_opt_fwd_hload,
129 lj_opt_fwd_uload,
130 lj_opt_fwd_alen,
131 fold_cse_uref,
132 lj_opt_fwd_hrefk,
133 fold_fwd_href_tnew,
134 fold_fwd_href_tdup,
135 fold_fload_tab_tnew_asize,
136 fold_fload_tab_tnew_hmask,
137 fold_fload_tab_tdup_asize,
138 fold_fload_tab_tdup_hmask,
139 fold_fload_tab_ah,
140 fold_fload_str_len_kgc,
141 fold_fload_str_len_snew,
142 fold_fload_str_len_tostr,
143 fold_fload_cdata_typeid_kgc,
144 fold_fload_cdata_int64_kgc,
145 fold_fload_cdata_typeid_cnew,
146 fold_fload_cdata_ptr_int64_cnew,
147 lj_opt_cse,
148 lj_opt_fwd_fload,
149 fold_fwd_sload,
150 fold_xload_kptr,
151 lj_opt_fwd_xload,
152 fold_barrier_tab,
153 fold_barrier_tnew_tdup,
154 fold_prof,
155 lj_opt_dse_ahstore,
156 lj_opt_dse_ustore,
157 lj_opt_dse_fstore,
158 lj_opt_dse_xstore,
159 lj_ir_emit
160};
161
162static const uint32_t fold_hash[1002] = {
1630x0f5a741d,
1640xffffffff,
1650xffffffff,
1660x6e4a9417,
1670xffffffff,
1680x634877ff,
1690x8775ffff,
1700xffffffff,
1710xffffffff,
1720x8789fc09,
1730x83894008,
1740xffffffff,
1750x644e5fff,
1760xffffffff,
1770x0c0c5c17,
1780x26b45e71,
1790xffffffff,
1800x0e52741d,
1810xffffffff,
1820xffffffff,
1830x66429417,
1840xffffffff,
1850xffffffff,
1860x586dffff,
1870xffffffff,
1880xffffffff,
1890xffffffff,
1900xffffffff,
1910xffffffff,
1920xffffffff,
1930x4db4a6ae,
1940x46b56a95,
1950x0c045c17,
1960x169dfc17,
1970x2cb4728e,
1980xffffffff,
1990xffffffff,
2000x30b85fff,
2010xffffffff,
2020xffffffff,
2030x7765ffff,
2040xffffffff,
2050xffffffff,
2060xffffffff,
2070xffffffff,
2080xffffffff,
2090x37408000,
2100xffffffff,
2110xffffffff,
2120xffffffff,
2130xffffffff,
2140x0e42741d,
2150x2253fc18,
2160xffffffff,
2170xffffffff,
2180xffffffff,
2190x096e5c17,
2200xffffffff,
2210xffffffff,
2220xffffffff,
2230xffffffff,
2240xffffffff,
2250x3468d000,
2260xffffffff,
2270xffffffff,
2280x66429017,
2290x5d54a429,
2300xffffffff,
2310x8f89fc04,
2320xffffffff,
2330xffffffff,
2340xffffffff,
2350x6a44881d,
2360x08665c17,
2370x5855ffff,
2380x82754416,
2390x624bfc21,
2400x86894409,
2410xffffffff,
2420xffffffff,
2430xffffffff,
2440xffffffff,
2450xffffffff,
2460xffffffff,
2470xffffffff,
2480xffffffff,
2490x0712701c,
2500xffffffff,
2510x6b4287ff,
2520xffffffff,
2530x085e5c17,
2540x27b45ed4,
2550xffffffff,
2560x0d0bfc17,
2570xffffffff,
2580xffffffff,
2590xffffffff,
2600xffffffff,
2610xffffffff,
2620x9bbfffff,
2630x10507417,
2640xffffffff,
2650xffffffff,
2660x070a701c,
2670x5557fc1d,
2680xffffffff,
2690xffffffff,
2700x08565c17,
2710x7645ffff,
2720xffffffff,
2730xffffffff,
2740xffffffff,
2750xffffffff,
2760xffffffff,
2770xffffffff,
2780xffffffff,
2790xffffffff,
2800x6844841d,
2810x10487417,
2820x817543ff,
2830x0702701c,
2840xffffffff,
2850x84894009,
2860xffffffff,
2870x084e5c17,
2880xffffffff,
2890x26b45e72,
2900xffffffff,
2910x7f7863ff,
2920x7c85fc00,
2930xffffffff,
2940xffffffff,
2950xffffffff,
2960xffffffff,
2970xffffffff,
2980x4e6dfc17,
2990xffffffff,
3000x6047fc1d,
3010xffffffff,
3020xffffffff,
3030xffffffff,
3040x08465c17,
3050x46b56a96,
3060x4bb4ae95,
3070xffffffff,
3080x79113818,
3090x01607044,
3100xffffffff,
3110xffffffff,
3120x1dc18c09,
3130xffffffff,
3140xffffffff,
3150x2152681d,
3160x3312741d,
3170xffffffff,
3180x67428817,
3190xffffffff,
3200xffffffff,
3210xffffffff,
3220xffffffff,
3230xffffffff,
3240xffffffff,
3250x0064701c,
3260xffffffff,
3270x2253fc19,
3280xffffffff,
3290xffffffff,
3300x9b9fffff,
3310xffffffff,
3320x405dfc17,
3330x130a741d,
3340xffffffff,
3350xffffffff,
3360xffffffff,
3370x3468d001,
3380xffffffff,
3390x3213101b,
3400xffffffff,
3410xffffffff,
3420x12407400,
3430x065c701c,
3440xffffffff,
3450xffffffff,
3460x654a8417,
3470x9897ffff,
3480x47b569ae,
3490x5055fc17,
3500x1302741d,
3510x4bb4aa95,
3520xffffffff,
3530xffffffff,
3540xffffffff,
3550x2ab47675,
3560xffffffff,
3570xffffffff,
3580x2eb472ce,
3590x0054701c,
3600x8a897000,
3610x2152641d,
3620x8b88600e,
3630x69428417,
3640x5c55fc29,
3650x8f8fffff,
3660x0a3e5c00,
3670x614dfc17,
3680x6e4c9817,
3690xffffffff,
3700xffffffff,
3710x6956ac17,
3720xffffffff,
3730x7215ffff,
3740xffffffff,
3750xffffffff,
3760xffffffff,
3770x33106fff,
3780xffffffff,
3790xffffffff,
3800xffffffff,
3810xffffffff,
3820xffffffff,
3830x5f45fc17,
3840xffffffff,
3850xffffffff,
3860xffffffff,
3870xffffffff,
3880xffffffff,
3890xffffffff,
3900x750dffff,
3910xffffffff,
3920xffffffff,
3930xffffffff,
3940xffffffff,
3950xffffffff,
3960x4bb4a695,
3970xffffffff,
3980xffffffff,
3990xffffffff,
4000x3d59fc1c,
4010x23b6701c,
4020xffffffff,
4030xffffffff,
4040xffffffff,
4050x2052601d,
4060xffffffff,
4070x7505ffff,
4080xffffffff,
4090x0f5c741d,
4100x3560c044,
4110x44b56a8e,
4120xffffffff,
4130x928a6bff,
4140x634a77ff,
4150x9b77ffff,
4160x05bd8c3b,
4170x88886000,
4180x4bb4ae96,
4190xffffffff,
4200xffffffff,
4210x64505fff,
4220xffffffff,
4230x0c0e5c17,
4240x1fc18c0a,
4250xffffffff,
4260x0e54741d,
4270xffffffff,
4280xffffffff,
4290xffffffff,
4300xffffffff,
4310x1dc18c13,
4320x736fffff,
4330x19bd8c00,
4340xffffffff,
4350xffffffff,
4360x6a468c1d,
4370xffffffff,
4380x63485fff,
4390x2253fc1a,
4400x0c065c17,
4410x3311fc1b,
4420xffffffff,
4430xffffffff,
4440xffffffff,
4450xffffffff,
4460xffffffff,
4470xffffffff,
4480xffffffff,
4490x7767ffff,
4500x3468d002,
4510xffffffff,
4520x6b448bff,
4530x94affc00,
4540x28b475d5,
4550x3660bc44,
4560xffffffff,
4570xffffffff,
4580xffffffff,
4590xffffffff,
4600x0e44741d,
4610x82754418,
4620xffffffff,
4630x4bb4aa96,
4640xffffffff,
4650xffffffff,
4660xffffffff,
4670x4ab5fed3,
4680x04bc73ff,
4690xffffffff,
4700xffffffff,
4710xffffffff,
4720xffffffff,
4730xffffffff,
4740x8c88600f,
4750x5b55fc2a,
4760xffffffff,
4770xffffffff,
4780xffffffff,
4790xffffffff,
4800xffffffff,
4810xffffffff,
4820xffffffff,
4830x7357ffff,
4840xffffffff,
4850x7115fc17,
4860x624dfc21,
4870x43b569d3,
4880xffffffff,
4890xffffffff,
4900xffffffff,
4910xffffffff,
4920xffffffff,
4930xffffffff,
4940xffffffff,
4950xffffffff,
4960xffffffff,
4970xffffffff,
4980xffffffff,
4990x7015fc29,
5000x24b45dd3,
5010xffffffff,
5020xffffffff,
5030xffffffff,
5040xffffffff,
5050x3b54bc1c,
5060xffffffff,
5070xffffffff,
5080x4bb4a696,
5090x9bc1ffff,
5100xffffffff,
5110xffffffff,
5120x070c701c,
5130xffffffff,
5140xffffffff,
5150xffffffff,
5160xffffffff,
5170x7847ffff,
5180x49696800,
5190xffffffff,
5200x02627017,
5210x95af4400,
5220xffffffff,
5230xffffffff,
5240xffffffff,
5250xffffffff,
5260x104a7417,
5270xffffffff,
5280xffffffff,
5290x0704701c,
5300xffffffff,
5310xffffffff,
5320xffffffff,
5330x08505c17,
5340xffffffff,
5350xffffffff,
5360x1fc18c0b,
5370x7f7a63ff,
5380x7d87fc00,
5390xffffffff,
5400xffffffff,
5410xffffffff,
5420x94b1ffff,
5430x1dc18c14,
5440x4f6ffc17,
5450xffffffff,
5460xffffffff,
5470xffffffff,
5480xffffffff,
5490xffffffff,
5500x08485c17,
5510xffffffff,
5520xffffffff,
5530xffffffff,
5540x79133818,
5550xffffffff,
5560xffffffff,
5570xffffffff,
5580xffffffff,
5590x9ba9ffff,
5600x31ba6000,
5610xffffffff,
5620x27b45eb3,
5630xffffffff,
5640x69448817,
5650x29b475d6,
5660xffffffff,
5670xffffffff,
5680x6e4e9c17,
5690x95af4000,
5700xffffffff,
5710x0066701c,
5720x45b56ace,
5730xffffffff,
5740xffffffff,
5750xffffffff,
5760x9ba1ffff,
5770xffffffff,
5780xffffffff,
5790x130c741d,
5800xffffffff,
5810xffffffff,
5820xffffffff,
5830xffffffff,
5840xffffffff,
5850xffffffff,
5860x8c886010,
5870xffffffff,
5880x3852bfff,
5890xffffffff,
5900xffffffff,
5910xffffffff,
5920xffffffff,
5930x9999ffff,
5940xffffffff,
5950x5457fc17,
5960x1304741d,
5970xffffffff,
5980xffffffff,
5990xffffffff,
6000xffffffff,
6010x187f3bff,
6020xffffffff,
6030xffffffff,
6040xffffffff,
6050x0056701c,
6060xffffffff,
6070xffffffff,
6080xffffffff,
6090x67448417,
6100x7e91ffff,
6110x25b45dd4,
6120x0b405c00,
6130x614ffc17,
6140x46b56a75,
6150x48b7681c,
6160xffffffff,
6170x2bb4726e,
6180xffffffff,
6190x9b17ffff,
6200xffffffff,
6210xffffffff,
6220xffffffff,
6230x33126fff,
6240xffffffff,
6250xffffffff,
6260xffffffff,
6270x9089ffff,
6280xffffffff,
6290x6047fc17,
6300x49696801,
6310xffffffff,
6320xffffffff,
6330xffffffff,
6340xffffffff,
6350xffffffff,
6360x750fffff,
6370xffffffff,
6380xffffffff,
6390xffffffff,
6400xffffffff,
6410x6a52a41d,
6420xffffffff,
6430x515477ff,
6440x21526817,
6450xffffffff,
6460xffffffff,
6470xffffffff,
6480x1fc18c0c,
6490xffffffff,
6500x575a5fff,
6510xffffffff,
6520xffffffff,
6530x7507ffff,
6540x6d468fff,
6550x1dc18c15,
6560x9bb20000,
6570xffffffff,
6580xffffffff,
6590xffffffff,
6600x644c77ff,
6610x9479ffff,
6620xffffffff,
6630xffffffff,
6640xffffffff,
6650x6c64cbff,
6660xffffffff,
6670xffffffff,
6680xffffffff,
6690x33105c17,
6700xffffffff,
6710x425c73ff,
6720x0e56741d,
6730xffffffff,
6740x27b45eb4,
6750xffffffff,
6760xffffffff,
6770xffffffff,
6780xffffffff,
6790xffffffff,
6800xffffffff,
6810xffffffff,
6820xffffffff,
6830xffffffff,
6840x634a5fff,
6850xffffffff,
6860x0c085c17,
6870x3313fc1b,
6880xffffffff,
6890x21526417,
6900xffffffff,
6910xffffffff,
6920xffffffff,
6930xffffffff,
6940xffffffff,
6950xffffffff,
6960xffffffff,
6970xffffffff,
6980x8c886011,
6990xffffffff,
7000xffffffff,
7010xffffffff,
7020xffffffff,
7030x0c005c17,
7040xffffffff,
7050xffffffff,
7060x0e46741d,
7070xffffffff,
7080xffffffff,
7090xffffffff,
7100x8d894c0e,
7110xffffffff,
7120xffffffff,
7130xffffffff,
7140xffffffff,
7150xffffffff,
7160xffffffff,
7170xffffffff,
7180xffffffff,
7190xffffffff,
7200xffffffff,
7210xffffffff,
7220xffffffff,
7230xffffffff,
7240xffffffff,
7250x46b56a76,
7260x4bb4ae75,
7270xffffffff,
7280x096a5c17,
7290xffffffff,
7300xffffffff,
7310x624ffc21,
7320x8f89fc0e,
7330xffffffff,
7340x20526017,
7350xffffffff,
7360x33106018,
7370x159c6817,
7380xffffffff,
7390xffffffff,
7400xffffffff,
7410x49696802,
7420xffffffff,
7430xffffffff,
7440xffffffff,
7450xffffffff,
7460xffffffff,
7470xffffffff,
7480xffffffff,
7490xffffffff,
7500xffffffff,
7510x3e56bc1c,
7520xffffffff,
7530xffffffff,
7540x9bc3ffff,
7550x8d89480e,
7560xffffffff,
7570xffffffff,
7580x070e701c,
7590xffffffff,
7600x1fc18c0d,
7610xffffffff,
7620x085a5c17,
7630xffffffff,
7640xffffffff,
7650x69468c17,
7660xffffffff,
7670x1ec18c16,
7680xffffffff,
7690x6e50a017,
7700xffffffff,
7710x4bb4aa75,
7720x104c7417,
7730x4db6a81c,
7740xffffffff,
7750x0706701c,
7760x5253fc1d,
7770x6f64c817,
7780x2db472ae,
7790x08525c17,
7800xffffffff,
7810xffffffff,
7820xffffffff,
7830x065c7017,
7840x8f89fc00,
7850xffffffff,
7860xffffffff,
7870xffffffff,
7880xffffffff,
7890x3953fc2f,
7900xffffffff,
7910xffffffff,
7920xffffffff,
7930xffffffff,
7940xffffffff,
7950xffffffff,
7960x084a5c17,
7970xffffffff,
7980xffffffff,
7990xffffffff,
8000xffffffff,
8010xffffffff,
8020xffffffff,
8030xffffffff,
8040xffffffff,
8050x1babffff,
8060xffffffff,
8070xffffffff,
8080xffffffff,
8090x5e43fc1d,
8100xffffffff,
8110xffffffff,
8120xffffffff,
8130x08425c17,
8140xffffffff,
8150xffffffff,
8160x4bb4a675,
8170x4db6a41c,
8180xffffffff,
8190xffffffff,
8200xffffffff,
8210xffffffff,
8220x8e894c0f,
8230xffffffff,
8240xffffffff,
8250x130e741d,
8260xffffffff,
8270xffffffff,
8280xffffffff,
8290xffffffff,
8300x44b56a6e,
8310xffffffff,
8320xffffffff,
8330xffffffff,
8340xffffffff,
8350x7b846800,
8360xffffffff,
8370x8789fc06,
8380x654e8417,
8390x4bb4ae76,
8400x9a9bffff,
8410xffffffff,
8420x1306741d,
8430xffffffff,
8440x8f89fc0f,
8450xffffffff,
8460xffffffff,
8470xffffffff,
8480xffffffff,
8490xffffffff,
8500xffffffff,
8510x0058701c,
8520xffffffff,
8530xffffffff,
8540xffffffff,
8550xffffffff,
8560x9793ffff,
8570xffffffff,
8580x6151fc17,
8590xffffffff,
8600xffffffff,
8610xffffffff,
8620xffffffff,
8630xffffffff,
8640xffffffff,
8650xffffffff,
8660x6c66cfff,
8670xffffffff,
8680xffffffff,
8690xffffffff,
8700xffffffff,
8710xffffffff,
8720x1fc18c0e,
8730x938bffff,
8740xffffffff,
8750x6149fc17,
8760xffffffff,
8770x3f56bc2f,
8780xffffffff,
8790xffffffff,
8800xffffffff,
8810xffffffff,
8820x7411ffff,
8830x4bb4aa76,
8840xffffffff,
8850xffffffff,
8860xffffffff,
8870x4ab5feb3,
8880xffffffff,
8890xffffffff,
8900xffffffff,
8910xffffffff,
8920x415dfc1c,
8930xffffffff,
8940xffffffff,
8950xffffffff,
8960x8f89fc01,
8970xffffffff,
8980xffffffff,
8990x7509ffff,
9000x1aab5056,
9010xffffffff,
9020xffffffff,
9030xffffffff,
9040xffffffff,
9050xffffffff,
9060x644e77ff,
9070xffffffff,
9080xffffffff,
9090x3a55fc1c,
9100x8275441c,
9110xffffffff,
9120xffffffff,
9130x51545fff,
9140xffffffff,
9150x33125c17,
9160x7501ffff,
9170xffffffff,
9180x0f58741d,
9190xffffffff,
9200xffffffff,
9210xffffffff,
9220xffffffff,
9230xffffffff,
9240x8073ffff,
9250xffffffff,
9260xffffffff,
9270xffffffff,
9280x140bfc1d,
9290x4bb4a676,
9300x644c5fff,
9310xffffffff,
9320x0c0a5c17,
9330xffffffff,
9340x8e894c10,
9350xffffffff,
9360x2ab47695,
9370xffffffff,
9380xffffffff,
9390xffffffff,
9400xffffffff,
9410x736bffff,
9420xffffffff,
9430xffffffff,
9440xffffffff,
9450xffffffff,
9460xffffffff,
9470xffffffff,
9480xffffffff,
9490x0c025c17,
9500x8789fc07,
9510xffffffff,
9520xffffffff,
9530xffffffff,
9540x26b45e6f,
9550xffffffff,
9560x8f89fc10,
9570xffffffff,
9580xffffffff,
9590xffffffff,
9600xffffffff,
9610xffffffff,
9620xffffffff,
9630xffffffff,
9640xffffffff,
9650xffffffff,
9660x6e489017,
9670xffffffff,
9680xffffffff,
9690xffffffff,
9700x6952a417,
9710xffffffff,
9720xffffffff,
9730xffffffff,
9740x096c5c17,
9750xffffffff,
9760x2fb873ff,
9770x6251fc21,
9780x6f66cc17,
9790x9ba3fc00,
9800xffffffff,
9810xffffffff,
9820x33126018,
9830xffffffff,
9840x1fc18c0f,
9850xffffffff,
9860xffffffff,
9870xffffffff,
9880x4db4aa6e,
9890x89893800,
9900x6842881d,
9910x08645c17,
9920x45b56aae,
9930x7353ffff,
9940x6249fc21,
9950xffffffff,
9960xffffffff,
9970x3e58bc1c,
9980xffffffff,
9990xffffffff,
10000x9bc5ffff,
10010xffffffff,
10020xffffffff,
10030xffffffff,
10040x0710701c,
10050xffffffff,
10060xffffffff,
10070x373e7c00,
10080xffffffff,
10090xffffffff,
10100xffffffff,
10110xffffffff,
10120xffffffff,
10130xffffffff,
10140xffffffff,
10150xffffffff,
10160xffffffff,
10170xffffffff,
10180x104e7417,
10190xffffffff,
10200xffffffff,
10210x0708701c,
10220x5355fc1d,
10230xffffffff,
10240xffffffff,
10250x08545c17,
10260x7643ffff,
10270xffffffff,
10280xffffffff,
10290xffffffff,
10300xffffffff,
10310xffffffff,
10320xffffffff,
10330x4db4a66e,
10340x4cb5ffff,
10350x6a42841d,
10360x3c55fc2f,
10370xffffffff,
10380x0700701c,
10390xffffffff,
10400xffffffff,
10410xffffffff,
10420x084c5c17,
10430x6a56ac1d,
10440xffffffff,
10450xffffffff,
10460x8e894c11,
10470x7a83fc00,
10480xffffffff,
10490xffffffff,
10500xffffffff,
10510x1cadffff,
10520xffffffff,
10530x4e6bfc17,
10540xffffffff,
10550x5f45fc1d,
10560xffffffff,
10570xffffffff,
10580xffffffff,
10590x08445c17,
10600x5a54abff,
10610x8789fc08,
10620xffffffff,
10630x375ebfff,
10640x015e7044,
10650xffffffff,
10660x26b45e70,
10670xffffffff,
10680x8f89fc11,
10690x9ba5ffff,
10700xffffffff,
10710x3310741d,
10720xffffffff,
10730xffffffff,
10740xffffffff,
10750xffffffff,
10760xffffffff,
10770x962bffff,
10780xffffffff,
10790xffffffff,
10800x0062701c,
10810xffffffff,
10820xffffffff,
10830xffffffff,
10840x65508417,
10850xffffffff,
10860xffffffff,
10870x565bfc17,
10880x1308741d,
10890xffffffff,
10900xffffffff,
10910xffffffff,
10920xffffffff,
10930xffffffff,
10940x3211101b,
10950xffffffff,
10960xffffffff,
10970x113e7400,
10980xffffffff,
10990xffffffff,
11000xffffffff,
11010x65488417,
11020x9795ffff,
11030xffffffff,
11040x4e53fc17,
11050x5954a7ff,
11060x1300741d,
11070xffffffff,
11080xffffffff,
11090xffffffff,
11100xffffffff,
11110xffffffff,
11120xffffffff,
11130xffffffff,
11140x0052701c,
11150xffffffff,
11160xffffffff,
11170xffffffff,
11180xffffffff,
11190x918dffff,
11200xffffffff,
11210x614bfc17,
11220xffffffff,
11230x3f58bc2f,
11240xffffffff,
11250xffffffff,
11260xffffffff,
11270xffffffff,
11280x7413ffff,
11290x85894408,
11300xffffffff,
11310xffffffff,
11320xffffffff,
11330xffffffff,
11340xffffffff,
11350xffffffff,
11360xffffffff,
11370xffffffff,
11380x5e43fc17,
11390xffffffff,
11400xffffffff,
11410x177e6017,
11420xffffffff,
11430x27b45ed3,
11440xffffffff,
11450x750bffff,
11460x036873ff,
11470xffffffff,
11480xffffffff,
11490x4db4aaae,
11500xffffffff,
11510xffffffff,
11520x645077ff,
11530xffffffff,
11540xffffffff,
11550x3d57fc1c,
11560xffffffff,
11570xffffffff,
11580xffffffff,
11590xffffffff,
11600xffffffff,
11610x0c145c17,
11620x7503ffff,
11630xffffffff,
11640xffffffff
1165};
1166
1167#define fold_hashkey(k) (lj_rol(lj_rol((k),21)-(k),1)%1001)
1168
1169