list_parted2.sql

application/octet-stream
Filename: list_parted2.sql
Type: application/octet-stream
Part: 0
Message: Re: [HACKERS] advanced partition matching algorithm for partition-wise join
CREATE TABLE pt (a text, b text) PARTITION BY LIST (a);
CREATE TABLE ptp0 PARTITION OF pt FOR VALUES IN ('0000', '0010', '0020', '0030', '0040', '0050', '0060', '0070', '0080', '0090', '0100', '0110', '0120', '0130', '0140', '0150', '0160', '0170', '0180', '0190', '0200', '0210', '0220', '0230', '0240', '0250', '0260', '0270', '0280', '0290', '0300', '0310', '0320', '0330', '0340', '0350', '0360', '0370', '0380', '0390', '0400', '0410', '0420', '0430', '0440', '0450', '0460', '0470', '0480', '0490', '0500', '0510', '0520', '0530', '0540', '0550', '0560', '0570', '0580', '0590', '0600', '0610', '0620', '0630', '0640', '0650', '0660', '0670', '0680', '0690', '0700', '0710', '0720', '0730', '0740', '0750', '0760', '0770', '0780', '0790', '0800', '0810', '0820', '0830', '0840', '0850', '0860', '0870', '0880', '0890', '0900', '0910', '0920', '0930', '0940', '0950', '0960', '0970', '0980', '0990', '1000', '1010', '1020', '1030', '1040', '1050', '1060', '1070', '1080', '1090', '1100', '1110', '1120', '1130', '1140', '1150', '1160', '1170', '1180', '1190', '1200', '1210', '1220', '1230', '1240', '1250', '1260', '1270', '1280', '1290', '1300', '1310', '1320', '1330', '1340', '1350', '1360', '1370', '1380', '1390', '1400', '1410', '1420', '1430', '1440', '1450', '1460', '1470', '1480', '1490', '1500', '1510', '1520', '1530', '1540', '1550', '1560', '1570', '1580', '1590', '1600', '1610', '1620', '1630', '1640', '1650', '1660', '1670', '1680', '1690', '1700', '1710', '1720', '1730', '1740', '1750', '1760', '1770', '1780', '1790', '1800', '1810', '1820', '1830', '1840', '1850', '1860', '1870', '1880', '1890', '1900', '1910', '1920', '1930', '1940', '1950', '1960', '1970', '1980', '1990', '2000', '2010', '2020', '2030', '2040', '2050', '2060', '2070', '2080', '2090', '2100', '2110', '2120', '2130', '2140', '2150', '2160', '2170', '2180', '2190', '2200', '2210', '2220', '2230', '2240', '2250', '2260', '2270', '2280', '2290', '2300', '2310', '2320', '2330', '2340', '2350', '2360', '2370', '2380', '2390', '2400', '2410', '2420', '2430', '2440', '2450', '2460', '2470', '2480', '2490', '2500', '2510', '2520', '2530', '2540', '2550', '2560', '2570', '2580', '2590', '2600', '2610', '2620', '2630', '2640', '2650', '2660', '2670', '2680', '2690', '2700', '2710', '2720', '2730', '2740', '2750', '2760', '2770', '2780', '2790', '2800', '2810', '2820', '2830', '2840', '2850', '2860', '2870', '2880', '2890', '2900', '2910', '2920', '2930', '2940', '2950', '2960', '2970', '2980', '2990', '3000', '3010', '3020', '3030', '3040', '3050', '3060', '3070', '3080', '3090', '3100', '3110', '3120', '3130', '3140', '3150', '3160', '3170', '3180', '3190', '3200', '3210', '3220', '3230', '3240', '3250', '3260', '3270', '3280', '3290', '3300', '3310', '3320', '3330', '3340', '3350', '3360', '3370', '3380', '3390', '3400', '3410', '3420', '3430', '3440', '3450', '3460', '3470', '3480', '3490', '3500', '3510', '3520', '3530', '3540', '3550', '3560', '3570', '3580', '3590', '3600', '3610', '3620', '3630', '3640', '3650', '3660', '3670', '3680', '3690', '3700', '3710', '3720', '3730', '3740', '3750', '3760', '3770', '3780', '3790', '3800', '3810', '3820', '3830', '3840', '3850', '3860', '3870', '3880', '3890', '3900', '3910', '3920', '3930', '3940', '3950', '3960', '3970', '3980', '3990', '4000', '4010', '4020', '4030', '4040', '4050', '4060', '4070', '4080', '4090', '4100', '4110', '4120', '4130', '4140', '4150', '4160', '4170', '4180', '4190', '4200', '4210', '4220', '4230', '4240', '4250', '4260', '4270', '4280', '4290', '4300', '4310', '4320', '4330', '4340', '4350', '4360', '4370', '4380', '4390', '4400', '4410', '4420', '4430', '4440', '4450', '4460', '4470', '4480', '4490', '4500', '4510', '4520', '4530', '4540', '4550', '4560', '4570', '4580', '4590', '4600', '4610', '4620', '4630', '4640', '4650', '4660', '4670', '4680', '4690', '4700', '4710', '4720', '4730', '4740', '4750', '4760', '4770', '4780', '4790', '4800', '4810', '4820', '4830', '4840', '4850', '4860', '4870', '4880', '4890', '4900', '4910', '4920', '4930', '4940', '4950', '4960', '4970', '4980', '4990', '5000', '5010', '5020', '5030', '5040', '5050', '5060', '5070', '5080', '5090', '5100', '5110', '5120', '5130', '5140', '5150', '5160', '5170', '5180', '5190', '5200', '5210', '5220', '5230', '5240', '5250', '5260', '5270', '5280', '5290', '5300', '5310', '5320', '5330', '5340', '5350', '5360', '5370', '5380', '5390', '5400', '5410', '5420', '5430', '5440', '5450', '5460', '5470', '5480', '5490', '5500', '5510', '5520', '5530', '5540', '5550', '5560', '5570', '5580', '5590', '5600', '5610', '5620', '5630', '5640', '5650', '5660', '5670', '5680', '5690', '5700', '5710', '5720', '5730', '5740', '5750', '5760', '5770', '5780', '5790', '5800', '5810', '5820', '5830', '5840', '5850', '5860', '5870', '5880', '5890', '5900', '5910', '5920', '5930', '5940', '5950', '5960', '5970', '5980', '5990', '6000', '6010', '6020', '6030', '6040', '6050', '6060', '6070', '6080', '6090', '6100', '6110', '6120', '6130', '6140', '6150', '6160', '6170', '6180', '6190', '6200', '6210', '6220', '6230', '6240', '6250', '6260', '6270', '6280', '6290', '6300', '6310', '6320', '6330', '6340', '6350', '6360', '6370', '6380', '6390', '6400', '6410', '6420', '6430', '6440', '6450', '6460', '6470', '6480', '6490', '6500', '6510', '6520', '6530', '6540', '6550', '6560', '6570', '6580', '6590', '6600', '6610', '6620', '6630', '6640', '6650', '6660', '6670', '6680', '6690', '6700', '6710', '6720', '6730', '6740', '6750', '6760', '6770', '6780', '6790', '6800', '6810', '6820', '6830', '6840', '6850', '6860', '6870', '6880', '6890', '6900', '6910', '6920', '6930', '6940', '6950', '6960', '6970', '6980', '6990', '7000', '7010', '7020', '7030', '7040', '7050', '7060', '7070', '7080', '7090', '7100', '7110', '7120', '7130', '7140', '7150', '7160', '7170', '7180', '7190', '7200', '7210', '7220', '7230', '7240', '7250', '7260', '7270', '7280', '7290', '7300', '7310', '7320', '7330', '7340', '7350', '7360', '7370', '7380', '7390', '7400', '7410', '7420', '7430', '7440', '7450', '7460', '7470', '7480', '7490', '7500', '7510', '7520', '7530', '7540', '7550', '7560', '7570', '7580', '7590', '7600', '7610', '7620', '7630', '7640', '7650', '7660', '7670', '7680', '7690', '7700', '7710', '7720', '7730', '7740', '7750', '7760', '7770', '7780', '7790', '7800', '7810', '7820', '7830', '7840', '7850', '7860', '7870', '7880', '7890', '7900', '7910', '7920', '7930', '7940', '7950', '7960', '7970', '7980', '7990', '8000', '8010', '8020', '8030', '8040', '8050', '8060', '8070', '8080', '8090', '8100', '8110', '8120', '8130', '8140', '8150', '8160', '8170', '8180', '8190', '8200', '8210', '8220', '8230', '8240', '8250', '8260', '8270', '8280', '8290', '8300', '8310', '8320', '8330', '8340', '8350', '8360', '8370', '8380', '8390', '8400', '8410', '8420', '8430', '8440', '8450', '8460', '8470', '8480', '8490', '8500', '8510', '8520', '8530', '8540', '8550', '8560', '8570', '8580', '8590', '8600', '8610', '8620', '8630', '8640', '8650', '8660', '8670', '8680', '8690', '8700', '8710', '8720', '8730', '8740', '8750', '8760', '8770', '8780', '8790', '8800', '8810', '8820', '8830', '8840', '8850', '8860', '8870', '8880', '8890', '8900', '8910', '8920', '8930', '8940', '8950', '8960', '8970', '8980', '8990', '9000', '9010', '9020', '9030', '9040', '9050', '9060', '9070', '9080', '9090', '9100', '9110', '9120', '9130', '9140', '9150', '9160', '9170', '9180', '9190', '9200', '9210', '9220', '9230', '9240', '9250', '9260', '9270', '9280', '9290', '9300', '9310', '9320', '9330', '9340', '9350', '9360', '9370', '9380', '9390', '9400', '9410', '9420', '9430', '9440', '9450', '9460', '9470', '9480', '9490', '9500', '9510', '9520', '9530', '9540', '9550', '9560', '9570', '9580', '9590', '9600', '9610', '9620', '9630', '9640', '9650', '9660', '9670', '9680', '9690', '9700', '9710', '9720', '9730', '9740', '9750', '9760', '9770', '9780', '9790', '9800', '9810', '9820', '9830', '9840', '9850', '9860', '9870', '9880', '9890', '9900', '9910', '9920', '9930', '9940', '9950', '9960', '9970', '9980', '9990');
INSERT INTO ptp0 SELECT to_char(x, 'FM0000'), 'ptp0' FROM generate_series(0, 9999) x where x % 10 = 0;
CREATE TABLE ptp1 PARTITION OF pt FOR VALUES IN ('0001', '0011', '0021', '0031', '0041', '0051', '0061', '0071', '0081', '0091', '0101', '0111', '0121', '0131', '0141', '0151', '0161', '0171', '0181', '0191', '0201', '0211', '0221', '0231', '0241', '0251', '0261', '0271', '0281', '0291', '0301', '0311', '0321', '0331', '0341', '0351', '0361', '0371', '0381', '0391', '0401', '0411', '0421', '0431', '0441', '0451', '0461', '0471', '0481', '0491', '0501', '0511', '0521', '0531', '0541', '0551', '0561', '0571', '0581', '0591', '0601', '0611', '0621', '0631', '0641', '0651', '0661', '0671', '0681', '0691', '0701', '0711', '0721', '0731', '0741', '0751', '0761', '0771', '0781', '0791', '0801', '0811', '0821', '0831', '0841', '0851', '0861', '0871', '0881', '0891', '0901', '0911', '0921', '0931', '0941', '0951', '0961', '0971', '0981', '0991', '1001', '1011', '1021', '1031', '1041', '1051', '1061', '1071', '1081', '1091', '1101', '1111', '1121', '1131', '1141', '1151', '1161', '1171', '1181', '1191', '1201', '1211', '1221', '1231', '1241', '1251', '1261', '1271', '1281', '1291', '1301', '1311', '1321', '1331', '1341', '1351', '1361', '1371', '1381', '1391', '1401', '1411', '1421', '1431', '1441', '1451', '1461', '1471', '1481', '1491', '1501', '1511', '1521', '1531', '1541', '1551', '1561', '1571', '1581', '1591', '1601', '1611', '1621', '1631', '1641', '1651', '1661', '1671', '1681', '1691', '1701', '1711', '1721', '1731', '1741', '1751', '1761', '1771', '1781', '1791', '1801', '1811', '1821', '1831', '1841', '1851', '1861', '1871', '1881', '1891', '1901', '1911', '1921', '1931', '1941', '1951', '1961', '1971', '1981', '1991', '2001', '2011', '2021', '2031', '2041', '2051', '2061', '2071', '2081', '2091', '2101', '2111', '2121', '2131', '2141', '2151', '2161', '2171', '2181', '2191', '2201', '2211', '2221', '2231', '2241', '2251', '2261', '2271', '2281', '2291', '2301', '2311', '2321', '2331', '2341', '2351', '2361', '2371', '2381', '2391', '2401', '2411', '2421', '2431', '2441', '2451', '2461', '2471', '2481', '2491', '2501', '2511', '2521', '2531', '2541', '2551', '2561', '2571', '2581', '2591', '2601', '2611', '2621', '2631', '2641', '2651', '2661', '2671', '2681', '2691', '2701', '2711', '2721', '2731', '2741', '2751', '2761', '2771', '2781', '2791', '2801', '2811', '2821', '2831', '2841', '2851', '2861', '2871', '2881', '2891', '2901', '2911', '2921', '2931', '2941', '2951', '2961', '2971', '2981', '2991', '3001', '3011', '3021', '3031', '3041', '3051', '3061', '3071', '3081', '3091', '3101', '3111', '3121', '3131', '3141', '3151', '3161', '3171', '3181', '3191', '3201', '3211', '3221', '3231', '3241', '3251', '3261', '3271', '3281', '3291', '3301', '3311', '3321', '3331', '3341', '3351', '3361', '3371', '3381', '3391', '3401', '3411', '3421', '3431', '3441', '3451', '3461', '3471', '3481', '3491', '3501', '3511', '3521', '3531', '3541', '3551', '3561', '3571', '3581', '3591', '3601', '3611', '3621', '3631', '3641', '3651', '3661', '3671', '3681', '3691', '3701', '3711', '3721', '3731', '3741', '3751', '3761', '3771', '3781', '3791', '3801', '3811', '3821', '3831', '3841', '3851', '3861', '3871', '3881', '3891', '3901', '3911', '3921', '3931', '3941', '3951', '3961', '3971', '3981', '3991', '4001', '4011', '4021', '4031', '4041', '4051', '4061', '4071', '4081', '4091', '4101', '4111', '4121', '4131', '4141', '4151', '4161', '4171', '4181', '4191', '4201', '4211', '4221', '4231', '4241', '4251', '4261', '4271', '4281', '4291', '4301', '4311', '4321', '4331', '4341', '4351', '4361', '4371', '4381', '4391', '4401', '4411', '4421', '4431', '4441', '4451', '4461', '4471', '4481', '4491', '4501', '4511', '4521', '4531', '4541', '4551', '4561', '4571', '4581', '4591', '4601', '4611', '4621', '4631', '4641', '4651', '4661', '4671', '4681', '4691', '4701', '4711', '4721', '4731', '4741', '4751', '4761', '4771', '4781', '4791', '4801', '4811', '4821', '4831', '4841', '4851', '4861', '4871', '4881', '4891', '4901', '4911', '4921', '4931', '4941', '4951', '4961', '4971', '4981', '4991', '5001', '5011', '5021', '5031', '5041', '5051', '5061', '5071', '5081', '5091', '5101', '5111', '5121', '5131', '5141', '5151', '5161', '5171', '5181', '5191', '5201', '5211', '5221', '5231', '5241', '5251', '5261', '5271', '5281', '5291', '5301', '5311', '5321', '5331', '5341', '5351', '5361', '5371', '5381', '5391', '5401', '5411', '5421', '5431', '5441', '5451', '5461', '5471', '5481', '5491', '5501', '5511', '5521', '5531', '5541', '5551', '5561', '5571', '5581', '5591', '5601', '5611', '5621', '5631', '5641', '5651', '5661', '5671', '5681', '5691', '5701', '5711', '5721', '5731', '5741', '5751', '5761', '5771', '5781', '5791', '5801', '5811', '5821', '5831', '5841', '5851', '5861', '5871', '5881', '5891', '5901', '5911', '5921', '5931', '5941', '5951', '5961', '5971', '5981', '5991', '6001', '6011', '6021', '6031', '6041', '6051', '6061', '6071', '6081', '6091', '6101', '6111', '6121', '6131', '6141', '6151', '6161', '6171', '6181', '6191', '6201', '6211', '6221', '6231', '6241', '6251', '6261', '6271', '6281', '6291', '6301', '6311', '6321', '6331', '6341', '6351', '6361', '6371', '6381', '6391', '6401', '6411', '6421', '6431', '6441', '6451', '6461', '6471', '6481', '6491', '6501', '6511', '6521', '6531', '6541', '6551', '6561', '6571', '6581', '6591', '6601', '6611', '6621', '6631', '6641', '6651', '6661', '6671', '6681', '6691', '6701', '6711', '6721', '6731', '6741', '6751', '6761', '6771', '6781', '6791', '6801', '6811', '6821', '6831', '6841', '6851', '6861', '6871', '6881', '6891', '6901', '6911', '6921', '6931', '6941', '6951', '6961', '6971', '6981', '6991', '7001', '7011', '7021', '7031', '7041', '7051', '7061', '7071', '7081', '7091', '7101', '7111', '7121', '7131', '7141', '7151', '7161', '7171', '7181', '7191', '7201', '7211', '7221', '7231', '7241', '7251', '7261', '7271', '7281', '7291', '7301', '7311', '7321', '7331', '7341', '7351', '7361', '7371', '7381', '7391', '7401', '7411', '7421', '7431', '7441', '7451', '7461', '7471', '7481', '7491', '7501', '7511', '7521', '7531', '7541', '7551', '7561', '7571', '7581', '7591', '7601', '7611', '7621', '7631', '7641', '7651', '7661', '7671', '7681', '7691', '7701', '7711', '7721', '7731', '7741', '7751', '7761', '7771', '7781', '7791', '7801', '7811', '7821', '7831', '7841', '7851', '7861', '7871', '7881', '7891', '7901', '7911', '7921', '7931', '7941', '7951', '7961', '7971', '7981', '7991', '8001', '8011', '8021', '8031', '8041', '8051', '8061', '8071', '8081', '8091', '8101', '8111', '8121', '8131', '8141', '8151', '8161', '8171', '8181', '8191', '8201', '8211', '8221', '8231', '8241', '8251', '8261', '8271', '8281', '8291', '8301', '8311', '8321', '8331', '8341', '8351', '8361', '8371', '8381', '8391', '8401', '8411', '8421', '8431', '8441', '8451', '8461', '8471', '8481', '8491', '8501', '8511', '8521', '8531', '8541', '8551', '8561', '8571', '8581', '8591', '8601', '8611', '8621', '8631', '8641', '8651', '8661', '8671', '8681', '8691', '8701', '8711', '8721', '8731', '8741', '8751', '8761', '8771', '8781', '8791', '8801', '8811', '8821', '8831', '8841', '8851', '8861', '8871', '8881', '8891', '8901', '8911', '8921', '8931', '8941', '8951', '8961', '8971', '8981', '8991', '9001', '9011', '9021', '9031', '9041', '9051', '9061', '9071', '9081', '9091', '9101', '9111', '9121', '9131', '9141', '9151', '9161', '9171', '9181', '9191', '9201', '9211', '9221', '9231', '9241', '9251', '9261', '9271', '9281', '9291', '9301', '9311', '9321', '9331', '9341', '9351', '9361', '9371', '9381', '9391', '9401', '9411', '9421', '9431', '9441', '9451', '9461', '9471', '9481', '9491', '9501', '9511', '9521', '9531', '9541', '9551', '9561', '9571', '9581', '9591', '9601', '9611', '9621', '9631', '9641', '9651', '9661', '9671', '9681', '9691', '9701', '9711', '9721', '9731', '9741', '9751', '9761', '9771', '9781', '9791', '9801', '9811', '9821', '9831', '9841', '9851', '9861', '9871', '9881', '9891', '9901', '9911', '9921', '9931', '9941', '9951', '9961', '9971', '9981', '9991');
INSERT INTO ptp1 SELECT to_char(x, 'FM0000'), 'ptp1' FROM generate_series(0, 9999) x where x % 10 = 1;
CREATE TABLE ptp2 PARTITION OF pt FOR VALUES IN ('0002', '0012', '0022', '0032', '0042', '0052', '0062', '0072', '0082', '0092', '0102', '0112', '0122', '0132', '0142', '0152', '0162', '0172', '0182', '0192', '0202', '0212', '0222', '0232', '0242', '0252', '0262', '0272', '0282', '0292', '0302', '0312', '0322', '0332', '0342', '0352', '0362', '0372', '0382', '0392', '0402', '0412', '0422', '0432', '0442', '0452', '0462', '0472', '0482', '0492', '0502', '0512', '0522', '0532', '0542', '0552', '0562', '0572', '0582', '0592', '0602', '0612', '0622', '0632', '0642', '0652', '0662', '0672', '0682', '0692', '0702', '0712', '0722', '0732', '0742', '0752', '0762', '0772', '0782', '0792', '0802', '0812', '0822', '0832', '0842', '0852', '0862', '0872', '0882', '0892', '0902', '0912', '0922', '0932', '0942', '0952', '0962', '0972', '0982', '0992', '1002', '1012', '1022', '1032', '1042', '1052', '1062', '1072', '1082', '1092', '1102', '1112', '1122', '1132', '1142', '1152', '1162', '1172', '1182', '1192', '1202', '1212', '1222', '1232', '1242', '1252', '1262', '1272', '1282', '1292', '1302', '1312', '1322', '1332', '1342', '1352', '1362', '1372', '1382', '1392', '1402', '1412', '1422', '1432', '1442', '1452', '1462', '1472', '1482', '1492', '1502', '1512', '1522', '1532', '1542', '1552', '1562', '1572', '1582', '1592', '1602', '1612', '1622', '1632', '1642', '1652', '1662', '1672', '1682', '1692', '1702', '1712', '1722', '1732', '1742', '1752', '1762', '1772', '1782', '1792', '1802', '1812', '1822', '1832', '1842', '1852', '1862', '1872', '1882', '1892', '1902', '1912', '1922', '1932', '1942', '1952', '1962', '1972', '1982', '1992', '2002', '2012', '2022', '2032', '2042', '2052', '2062', '2072', '2082', '2092', '2102', '2112', '2122', '2132', '2142', '2152', '2162', '2172', '2182', '2192', '2202', '2212', '2222', '2232', '2242', '2252', '2262', '2272', '2282', '2292', '2302', '2312', '2322', '2332', '2342', '2352', '2362', '2372', '2382', '2392', '2402', '2412', '2422', '2432', '2442', '2452', '2462', '2472', '2482', '2492', '2502', '2512', '2522', '2532', '2542', '2552', '2562', '2572', '2582', '2592', '2602', '2612', '2622', '2632', '2642', '2652', '2662', '2672', '2682', '2692', '2702', '2712', '2722', '2732', '2742', '2752', '2762', '2772', '2782', '2792', '2802', '2812', '2822', '2832', '2842', '2852', '2862', '2872', '2882', '2892', '2902', '2912', '2922', '2932', '2942', '2952', '2962', '2972', '2982', '2992', '3002', '3012', '3022', '3032', '3042', '3052', '3062', '3072', '3082', '3092', '3102', '3112', '3122', '3132', '3142', '3152', '3162', '3172', '3182', '3192', '3202', '3212', '3222', '3232', '3242', '3252', '3262', '3272', '3282', '3292', '3302', '3312', '3322', '3332', '3342', '3352', '3362', '3372', '3382', '3392', '3402', '3412', '3422', '3432', '3442', '3452', '3462', '3472', '3482', '3492', '3502', '3512', '3522', '3532', '3542', '3552', '3562', '3572', '3582', '3592', '3602', '3612', '3622', '3632', '3642', '3652', '3662', '3672', '3682', '3692', '3702', '3712', '3722', '3732', '3742', '3752', '3762', '3772', '3782', '3792', '3802', '3812', '3822', '3832', '3842', '3852', '3862', '3872', '3882', '3892', '3902', '3912', '3922', '3932', '3942', '3952', '3962', '3972', '3982', '3992', '4002', '4012', '4022', '4032', '4042', '4052', '4062', '4072', '4082', '4092', '4102', '4112', '4122', '4132', '4142', '4152', '4162', '4172', '4182', '4192', '4202', '4212', '4222', '4232', '4242', '4252', '4262', '4272', '4282', '4292', '4302', '4312', '4322', '4332', '4342', '4352', '4362', '4372', '4382', '4392', '4402', '4412', '4422', '4432', '4442', '4452', '4462', '4472', '4482', '4492', '4502', '4512', '4522', '4532', '4542', '4552', '4562', '4572', '4582', '4592', '4602', '4612', '4622', '4632', '4642', '4652', '4662', '4672', '4682', '4692', '4702', '4712', '4722', '4732', '4742', '4752', '4762', '4772', '4782', '4792', '4802', '4812', '4822', '4832', '4842', '4852', '4862', '4872', '4882', '4892', '4902', '4912', '4922', '4932', '4942', '4952', '4962', '4972', '4982', '4992', '5002', '5012', '5022', '5032', '5042', '5052', '5062', '5072', '5082', '5092', '5102', '5112', '5122', '5132', '5142', '5152', '5162', '5172', '5182', '5192', '5202', '5212', '5222', '5232', '5242', '5252', '5262', '5272', '5282', '5292', '5302', '5312', '5322', '5332', '5342', '5352', '5362', '5372', '5382', '5392', '5402', '5412', '5422', '5432', '5442', '5452', '5462', '5472', '5482', '5492', '5502', '5512', '5522', '5532', '5542', '5552', '5562', '5572', '5582', '5592', '5602', '5612', '5622', '5632', '5642', '5652', '5662', '5672', '5682', '5692', '5702', '5712', '5722', '5732', '5742', '5752', '5762', '5772', '5782', '5792', '5802', '5812', '5822', '5832', '5842', '5852', '5862', '5872', '5882', '5892', '5902', '5912', '5922', '5932', '5942', '5952', '5962', '5972', '5982', '5992', '6002', '6012', '6022', '6032', '6042', '6052', '6062', '6072', '6082', '6092', '6102', '6112', '6122', '6132', '6142', '6152', '6162', '6172', '6182', '6192', '6202', '6212', '6222', '6232', '6242', '6252', '6262', '6272', '6282', '6292', '6302', '6312', '6322', '6332', '6342', '6352', '6362', '6372', '6382', '6392', '6402', '6412', '6422', '6432', '6442', '6452', '6462', '6472', '6482', '6492', '6502', '6512', '6522', '6532', '6542', '6552', '6562', '6572', '6582', '6592', '6602', '6612', '6622', '6632', '6642', '6652', '6662', '6672', '6682', '6692', '6702', '6712', '6722', '6732', '6742', '6752', '6762', '6772', '6782', '6792', '6802', '6812', '6822', '6832', '6842', '6852', '6862', '6872', '6882', '6892', '6902', '6912', '6922', '6932', '6942', '6952', '6962', '6972', '6982', '6992', '7002', '7012', '7022', '7032', '7042', '7052', '7062', '7072', '7082', '7092', '7102', '7112', '7122', '7132', '7142', '7152', '7162', '7172', '7182', '7192', '7202', '7212', '7222', '7232', '7242', '7252', '7262', '7272', '7282', '7292', '7302', '7312', '7322', '7332', '7342', '7352', '7362', '7372', '7382', '7392', '7402', '7412', '7422', '7432', '7442', '7452', '7462', '7472', '7482', '7492', '7502', '7512', '7522', '7532', '7542', '7552', '7562', '7572', '7582', '7592', '7602', '7612', '7622', '7632', '7642', '7652', '7662', '7672', '7682', '7692', '7702', '7712', '7722', '7732', '7742', '7752', '7762', '7772', '7782', '7792', '7802', '7812', '7822', '7832', '7842', '7852', '7862', '7872', '7882', '7892', '7902', '7912', '7922', '7932', '7942', '7952', '7962', '7972', '7982', '7992', '8002', '8012', '8022', '8032', '8042', '8052', '8062', '8072', '8082', '8092', '8102', '8112', '8122', '8132', '8142', '8152', '8162', '8172', '8182', '8192', '8202', '8212', '8222', '8232', '8242', '8252', '8262', '8272', '8282', '8292', '8302', '8312', '8322', '8332', '8342', '8352', '8362', '8372', '8382', '8392', '8402', '8412', '8422', '8432', '8442', '8452', '8462', '8472', '8482', '8492', '8502', '8512', '8522', '8532', '8542', '8552', '8562', '8572', '8582', '8592', '8602', '8612', '8622', '8632', '8642', '8652', '8662', '8672', '8682', '8692', '8702', '8712', '8722', '8732', '8742', '8752', '8762', '8772', '8782', '8792', '8802', '8812', '8822', '8832', '8842', '8852', '8862', '8872', '8882', '8892', '8902', '8912', '8922', '8932', '8942', '8952', '8962', '8972', '8982', '8992', '9002', '9012', '9022', '9032', '9042', '9052', '9062', '9072', '9082', '9092', '9102', '9112', '9122', '9132', '9142', '9152', '9162', '9172', '9182', '9192', '9202', '9212', '9222', '9232', '9242', '9252', '9262', '9272', '9282', '9292', '9302', '9312', '9322', '9332', '9342', '9352', '9362', '9372', '9382', '9392', '9402', '9412', '9422', '9432', '9442', '9452', '9462', '9472', '9482', '9492', '9502', '9512', '9522', '9532', '9542', '9552', '9562', '9572', '9582', '9592', '9602', '9612', '9622', '9632', '9642', '9652', '9662', '9672', '9682', '9692', '9702', '9712', '9722', '9732', '9742', '9752', '9762', '9772', '9782', '9792', '9802', '9812', '9822', '9832', '9842', '9852', '9862', '9872', '9882', '9892', '9902', '9912', '9922', '9932', '9942', '9952', '9962', '9972', '9982', '9992');
INSERT INTO ptp2 SELECT to_char(x, 'FM0000'), 'ptp2' FROM generate_series(0, 9999) x where x % 10 = 2;
CREATE TABLE ptp3 PARTITION OF pt FOR VALUES IN ('0003', '0013', '0023', '0033', '0043', '0053', '0063', '0073', '0083', '0093', '0103', '0113', '0123', '0133', '0143', '0153', '0163', '0173', '0183', '0193', '0203', '0213', '0223', '0233', '0243', '0253', '0263', '0273', '0283', '0293', '0303', '0313', '0323', '0333', '0343', '0353', '0363', '0373', '0383', '0393', '0403', '0413', '0423', '0433', '0443', '0453', '0463', '0473', '0483', '0493', '0503', '0513', '0523', '0533', '0543', '0553', '0563', '0573', '0583', '0593', '0603', '0613', '0623', '0633', '0643', '0653', '0663', '0673', '0683', '0693', '0703', '0713', '0723', '0733', '0743', '0753', '0763', '0773', '0783', '0793', '0803', '0813', '0823', '0833', '0843', '0853', '0863', '0873', '0883', '0893', '0903', '0913', '0923', '0933', '0943', '0953', '0963', '0973', '0983', '0993', '1003', '1013', '1023', '1033', '1043', '1053', '1063', '1073', '1083', '1093', '1103', '1113', '1123', '1133', '1143', '1153', '1163', '1173', '1183', '1193', '1203', '1213', '1223', '1233', '1243', '1253', '1263', '1273', '1283', '1293', '1303', '1313', '1323', '1333', '1343', '1353', '1363', '1373', '1383', '1393', '1403', '1413', '1423', '1433', '1443', '1453', '1463', '1473', '1483', '1493', '1503', '1513', '1523', '1533', '1543', '1553', '1563', '1573', '1583', '1593', '1603', '1613', '1623', '1633', '1643', '1653', '1663', '1673', '1683', '1693', '1703', '1713', '1723', '1733', '1743', '1753', '1763', '1773', '1783', '1793', '1803', '1813', '1823', '1833', '1843', '1853', '1863', '1873', '1883', '1893', '1903', '1913', '1923', '1933', '1943', '1953', '1963', '1973', '1983', '1993', '2003', '2013', '2023', '2033', '2043', '2053', '2063', '2073', '2083', '2093', '2103', '2113', '2123', '2133', '2143', '2153', '2163', '2173', '2183', '2193', '2203', '2213', '2223', '2233', '2243', '2253', '2263', '2273', '2283', '2293', '2303', '2313', '2323', '2333', '2343', '2353', '2363', '2373', '2383', '2393', '2403', '2413', '2423', '2433', '2443', '2453', '2463', '2473', '2483', '2493', '2503', '2513', '2523', '2533', '2543', '2553', '2563', '2573', '2583', '2593', '2603', '2613', '2623', '2633', '2643', '2653', '2663', '2673', '2683', '2693', '2703', '2713', '2723', '2733', '2743', '2753', '2763', '2773', '2783', '2793', '2803', '2813', '2823', '2833', '2843', '2853', '2863', '2873', '2883', '2893', '2903', '2913', '2923', '2933', '2943', '2953', '2963', '2973', '2983', '2993', '3003', '3013', '3023', '3033', '3043', '3053', '3063', '3073', '3083', '3093', '3103', '3113', '3123', '3133', '3143', '3153', '3163', '3173', '3183', '3193', '3203', '3213', '3223', '3233', '3243', '3253', '3263', '3273', '3283', '3293', '3303', '3313', '3323', '3333', '3343', '3353', '3363', '3373', '3383', '3393', '3403', '3413', '3423', '3433', '3443', '3453', '3463', '3473', '3483', '3493', '3503', '3513', '3523', '3533', '3543', '3553', '3563', '3573', '3583', '3593', '3603', '3613', '3623', '3633', '3643', '3653', '3663', '3673', '3683', '3693', '3703', '3713', '3723', '3733', '3743', '3753', '3763', '3773', '3783', '3793', '3803', '3813', '3823', '3833', '3843', '3853', '3863', '3873', '3883', '3893', '3903', '3913', '3923', '3933', '3943', '3953', '3963', '3973', '3983', '3993', '4003', '4013', '4023', '4033', '4043', '4053', '4063', '4073', '4083', '4093', '4103', '4113', '4123', '4133', '4143', '4153', '4163', '4173', '4183', '4193', '4203', '4213', '4223', '4233', '4243', '4253', '4263', '4273', '4283', '4293', '4303', '4313', '4323', '4333', '4343', '4353', '4363', '4373', '4383', '4393', '4403', '4413', '4423', '4433', '4443', '4453', '4463', '4473', '4483', '4493', '4503', '4513', '4523', '4533', '4543', '4553', '4563', '4573', '4583', '4593', '4603', '4613', '4623', '4633', '4643', '4653', '4663', '4673', '4683', '4693', '4703', '4713', '4723', '4733', '4743', '4753', '4763', '4773', '4783', '4793', '4803', '4813', '4823', '4833', '4843', '4853', '4863', '4873', '4883', '4893', '4903', '4913', '4923', '4933', '4943', '4953', '4963', '4973', '4983', '4993', '5003', '5013', '5023', '5033', '5043', '5053', '5063', '5073', '5083', '5093', '5103', '5113', '5123', '5133', '5143', '5153', '5163', '5173', '5183', '5193', '5203', '5213', '5223', '5233', '5243', '5253', '5263', '5273', '5283', '5293', '5303', '5313', '5323', '5333', '5343', '5353', '5363', '5373', '5383', '5393', '5403', '5413', '5423', '5433', '5443', '5453', '5463', '5473', '5483', '5493', '5503', '5513', '5523', '5533', '5543', '5553', '5563', '5573', '5583', '5593', '5603', '5613', '5623', '5633', '5643', '5653', '5663', '5673', '5683', '5693', '5703', '5713', '5723', '5733', '5743', '5753', '5763', '5773', '5783', '5793', '5803', '5813', '5823', '5833', '5843', '5853', '5863', '5873', '5883', '5893', '5903', '5913', '5923', '5933', '5943', '5953', '5963', '5973', '5983', '5993', '6003', '6013', '6023', '6033', '6043', '6053', '6063', '6073', '6083', '6093', '6103', '6113', '6123', '6133', '6143', '6153', '6163', '6173', '6183', '6193', '6203', '6213', '6223', '6233', '6243', '6253', '6263', '6273', '6283', '6293', '6303', '6313', '6323', '6333', '6343', '6353', '6363', '6373', '6383', '6393', '6403', '6413', '6423', '6433', '6443', '6453', '6463', '6473', '6483', '6493', '6503', '6513', '6523', '6533', '6543', '6553', '6563', '6573', '6583', '6593', '6603', '6613', '6623', '6633', '6643', '6653', '6663', '6673', '6683', '6693', '6703', '6713', '6723', '6733', '6743', '6753', '6763', '6773', '6783', '6793', '6803', '6813', '6823', '6833', '6843', '6853', '6863', '6873', '6883', '6893', '6903', '6913', '6923', '6933', '6943', '6953', '6963', '6973', '6983', '6993', '7003', '7013', '7023', '7033', '7043', '7053', '7063', '7073', '7083', '7093', '7103', '7113', '7123', '7133', '7143', '7153', '7163', '7173', '7183', '7193', '7203', '7213', '7223', '7233', '7243', '7253', '7263', '7273', '7283', '7293', '7303', '7313', '7323', '7333', '7343', '7353', '7363', '7373', '7383', '7393', '7403', '7413', '7423', '7433', '7443', '7453', '7463', '7473', '7483', '7493', '7503', '7513', '7523', '7533', '7543', '7553', '7563', '7573', '7583', '7593', '7603', '7613', '7623', '7633', '7643', '7653', '7663', '7673', '7683', '7693', '7703', '7713', '7723', '7733', '7743', '7753', '7763', '7773', '7783', '7793', '7803', '7813', '7823', '7833', '7843', '7853', '7863', '7873', '7883', '7893', '7903', '7913', '7923', '7933', '7943', '7953', '7963', '7973', '7983', '7993', '8003', '8013', '8023', '8033', '8043', '8053', '8063', '8073', '8083', '8093', '8103', '8113', '8123', '8133', '8143', '8153', '8163', '8173', '8183', '8193', '8203', '8213', '8223', '8233', '8243', '8253', '8263', '8273', '8283', '8293', '8303', '8313', '8323', '8333', '8343', '8353', '8363', '8373', '8383', '8393', '8403', '8413', '8423', '8433', '8443', '8453', '8463', '8473', '8483', '8493', '8503', '8513', '8523', '8533', '8543', '8553', '8563', '8573', '8583', '8593', '8603', '8613', '8623', '8633', '8643', '8653', '8663', '8673', '8683', '8693', '8703', '8713', '8723', '8733', '8743', '8753', '8763', '8773', '8783', '8793', '8803', '8813', '8823', '8833', '8843', '8853', '8863', '8873', '8883', '8893', '8903', '8913', '8923', '8933', '8943', '8953', '8963', '8973', '8983', '8993', '9003', '9013', '9023', '9033', '9043', '9053', '9063', '9073', '9083', '9093', '9103', '9113', '9123', '9133', '9143', '9153', '9163', '9173', '9183', '9193', '9203', '9213', '9223', '9233', '9243', '9253', '9263', '9273', '9283', '9293', '9303', '9313', '9323', '9333', '9343', '9353', '9363', '9373', '9383', '9393', '9403', '9413', '9423', '9433', '9443', '9453', '9463', '9473', '9483', '9493', '9503', '9513', '9523', '9533', '9543', '9553', '9563', '9573', '9583', '9593', '9603', '9613', '9623', '9633', '9643', '9653', '9663', '9673', '9683', '9693', '9703', '9713', '9723', '9733', '9743', '9753', '9763', '9773', '9783', '9793', '9803', '9813', '9823', '9833', '9843', '9853', '9863', '9873', '9883', '9893', '9903', '9913', '9923', '9933', '9943', '9953', '9963', '9973', '9983', '9993');
INSERT INTO ptp3 SELECT to_char(x, 'FM0000'), 'ptp3' FROM generate_series(0, 9999) x where x % 10 = 3;
CREATE TABLE ptp4 PARTITION OF pt FOR VALUES IN ('0004', '0014', '0024', '0034', '0044', '0054', '0064', '0074', '0084', '0094', '0104', '0114', '0124', '0134', '0144', '0154', '0164', '0174', '0184', '0194', '0204', '0214', '0224', '0234', '0244', '0254', '0264', '0274', '0284', '0294', '0304', '0314', '0324', '0334', '0344', '0354', '0364', '0374', '0384', '0394', '0404', '0414', '0424', '0434', '0444', '0454', '0464', '0474', '0484', '0494', '0504', '0514', '0524', '0534', '0544', '0554', '0564', '0574', '0584', '0594', '0604', '0614', '0624', '0634', '0644', '0654', '0664', '0674', '0684', '0694', '0704', '0714', '0724', '0734', '0744', '0754', '0764', '0774', '0784', '0794', '0804', '0814', '0824', '0834', '0844', '0854', '0864', '0874', '0884', '0894', '0904', '0914', '0924', '0934', '0944', '0954', '0964', '0974', '0984', '0994', '1004', '1014', '1024', '1034', '1044', '1054', '1064', '1074', '1084', '1094', '1104', '1114', '1124', '1134', '1144', '1154', '1164', '1174', '1184', '1194', '1204', '1214', '1224', '1234', '1244', '1254', '1264', '1274', '1284', '1294', '1304', '1314', '1324', '1334', '1344', '1354', '1364', '1374', '1384', '1394', '1404', '1414', '1424', '1434', '1444', '1454', '1464', '1474', '1484', '1494', '1504', '1514', '1524', '1534', '1544', '1554', '1564', '1574', '1584', '1594', '1604', '1614', '1624', '1634', '1644', '1654', '1664', '1674', '1684', '1694', '1704', '1714', '1724', '1734', '1744', '1754', '1764', '1774', '1784', '1794', '1804', '1814', '1824', '1834', '1844', '1854', '1864', '1874', '1884', '1894', '1904', '1914', '1924', '1934', '1944', '1954', '1964', '1974', '1984', '1994', '2004', '2014', '2024', '2034', '2044', '2054', '2064', '2074', '2084', '2094', '2104', '2114', '2124', '2134', '2144', '2154', '2164', '2174', '2184', '2194', '2204', '2214', '2224', '2234', '2244', '2254', '2264', '2274', '2284', '2294', '2304', '2314', '2324', '2334', '2344', '2354', '2364', '2374', '2384', '2394', '2404', '2414', '2424', '2434', '2444', '2454', '2464', '2474', '2484', '2494', '2504', '2514', '2524', '2534', '2544', '2554', '2564', '2574', '2584', '2594', '2604', '2614', '2624', '2634', '2644', '2654', '2664', '2674', '2684', '2694', '2704', '2714', '2724', '2734', '2744', '2754', '2764', '2774', '2784', '2794', '2804', '2814', '2824', '2834', '2844', '2854', '2864', '2874', '2884', '2894', '2904', '2914', '2924', '2934', '2944', '2954', '2964', '2974', '2984', '2994', '3004', '3014', '3024', '3034', '3044', '3054', '3064', '3074', '3084', '3094', '3104', '3114', '3124', '3134', '3144', '3154', '3164', '3174', '3184', '3194', '3204', '3214', '3224', '3234', '3244', '3254', '3264', '3274', '3284', '3294', '3304', '3314', '3324', '3334', '3344', '3354', '3364', '3374', '3384', '3394', '3404', '3414', '3424', '3434', '3444', '3454', '3464', '3474', '3484', '3494', '3504', '3514', '3524', '3534', '3544', '3554', '3564', '3574', '3584', '3594', '3604', '3614', '3624', '3634', '3644', '3654', '3664', '3674', '3684', '3694', '3704', '3714', '3724', '3734', '3744', '3754', '3764', '3774', '3784', '3794', '3804', '3814', '3824', '3834', '3844', '3854', '3864', '3874', '3884', '3894', '3904', '3914', '3924', '3934', '3944', '3954', '3964', '3974', '3984', '3994', '4004', '4014', '4024', '4034', '4044', '4054', '4064', '4074', '4084', '4094', '4104', '4114', '4124', '4134', '4144', '4154', '4164', '4174', '4184', '4194', '4204', '4214', '4224', '4234', '4244', '4254', '4264', '4274', '4284', '4294', '4304', '4314', '4324', '4334', '4344', '4354', '4364', '4374', '4384', '4394', '4404', '4414', '4424', '4434', '4444', '4454', '4464', '4474', '4484', '4494', '4504', '4514', '4524', '4534', '4544', '4554', '4564', '4574', '4584', '4594', '4604', '4614', '4624', '4634', '4644', '4654', '4664', '4674', '4684', '4694', '4704', '4714', '4724', '4734', '4744', '4754', '4764', '4774', '4784', '4794', '4804', '4814', '4824', '4834', '4844', '4854', '4864', '4874', '4884', '4894', '4904', '4914', '4924', '4934', '4944', '4954', '4964', '4974', '4984', '4994', '5004', '5014', '5024', '5034', '5044', '5054', '5064', '5074', '5084', '5094', '5104', '5114', '5124', '5134', '5144', '5154', '5164', '5174', '5184', '5194', '5204', '5214', '5224', '5234', '5244', '5254', '5264', '5274', '5284', '5294', '5304', '5314', '5324', '5334', '5344', '5354', '5364', '5374', '5384', '5394', '5404', '5414', '5424', '5434', '5444', '5454', '5464', '5474', '5484', '5494', '5504', '5514', '5524', '5534', '5544', '5554', '5564', '5574', '5584', '5594', '5604', '5614', '5624', '5634', '5644', '5654', '5664', '5674', '5684', '5694', '5704', '5714', '5724', '5734', '5744', '5754', '5764', '5774', '5784', '5794', '5804', '5814', '5824', '5834', '5844', '5854', '5864', '5874', '5884', '5894', '5904', '5914', '5924', '5934', '5944', '5954', '5964', '5974', '5984', '5994', '6004', '6014', '6024', '6034', '6044', '6054', '6064', '6074', '6084', '6094', '6104', '6114', '6124', '6134', '6144', '6154', '6164', '6174', '6184', '6194', '6204', '6214', '6224', '6234', '6244', '6254', '6264', '6274', '6284', '6294', '6304', '6314', '6324', '6334', '6344', '6354', '6364', '6374', '6384', '6394', '6404', '6414', '6424', '6434', '6444', '6454', '6464', '6474', '6484', '6494', '6504', '6514', '6524', '6534', '6544', '6554', '6564', '6574', '6584', '6594', '6604', '6614', '6624', '6634', '6644', '6654', '6664', '6674', '6684', '6694', '6704', '6714', '6724', '6734', '6744', '6754', '6764', '6774', '6784', '6794', '6804', '6814', '6824', '6834', '6844', '6854', '6864', '6874', '6884', '6894', '6904', '6914', '6924', '6934', '6944', '6954', '6964', '6974', '6984', '6994', '7004', '7014', '7024', '7034', '7044', '7054', '7064', '7074', '7084', '7094', '7104', '7114', '7124', '7134', '7144', '7154', '7164', '7174', '7184', '7194', '7204', '7214', '7224', '7234', '7244', '7254', '7264', '7274', '7284', '7294', '7304', '7314', '7324', '7334', '7344', '7354', '7364', '7374', '7384', '7394', '7404', '7414', '7424', '7434', '7444', '7454', '7464', '7474', '7484', '7494', '7504', '7514', '7524', '7534', '7544', '7554', '7564', '7574', '7584', '7594', '7604', '7614', '7624', '7634', '7644', '7654', '7664', '7674', '7684', '7694', '7704', '7714', '7724', '7734', '7744', '7754', '7764', '7774', '7784', '7794', '7804', '7814', '7824', '7834', '7844', '7854', '7864', '7874', '7884', '7894', '7904', '7914', '7924', '7934', '7944', '7954', '7964', '7974', '7984', '7994', '8004', '8014', '8024', '8034', '8044', '8054', '8064', '8074', '8084', '8094', '8104', '8114', '8124', '8134', '8144', '8154', '8164', '8174', '8184', '8194', '8204', '8214', '8224', '8234', '8244', '8254', '8264', '8274', '8284', '8294', '8304', '8314', '8324', '8334', '8344', '8354', '8364', '8374', '8384', '8394', '8404', '8414', '8424', '8434', '8444', '8454', '8464', '8474', '8484', '8494', '8504', '8514', '8524', '8534', '8544', '8554', '8564', '8574', '8584', '8594', '8604', '8614', '8624', '8634', '8644', '8654', '8664', '8674', '8684', '8694', '8704', '8714', '8724', '8734', '8744', '8754', '8764', '8774', '8784', '8794', '8804', '8814', '8824', '8834', '8844', '8854', '8864', '8874', '8884', '8894', '8904', '8914', '8924', '8934', '8944', '8954', '8964', '8974', '8984', '8994', '9004', '9014', '9024', '9034', '9044', '9054', '9064', '9074', '9084', '9094', '9104', '9114', '9124', '9134', '9144', '9154', '9164', '9174', '9184', '9194', '9204', '9214', '9224', '9234', '9244', '9254', '9264', '9274', '9284', '9294', '9304', '9314', '9324', '9334', '9344', '9354', '9364', '9374', '9384', '9394', '9404', '9414', '9424', '9434', '9444', '9454', '9464', '9474', '9484', '9494', '9504', '9514', '9524', '9534', '9544', '9554', '9564', '9574', '9584', '9594', '9604', '9614', '9624', '9634', '9644', '9654', '9664', '9674', '9684', '9694', '9704', '9714', '9724', '9734', '9744', '9754', '9764', '9774', '9784', '9794', '9804', '9814', '9824', '9834', '9844', '9854', '9864', '9874', '9884', '9894', '9904', '9914', '9924', '9934', '9944', '9954', '9964', '9974', '9984', '9994');
INSERT INTO ptp4 SELECT to_char(x, 'FM0000'), 'ptp4' FROM generate_series(0, 9999) x where x % 10 = 4;
CREATE TABLE ptp5 PARTITION OF pt FOR VALUES IN ('0005', '0015', '0025', '0035', '0045', '0055', '0065', '0075', '0085', '0095', '0105', '0115', '0125', '0135', '0145', '0155', '0165', '0175', '0185', '0195', '0205', '0215', '0225', '0235', '0245', '0255', '0265', '0275', '0285', '0295', '0305', '0315', '0325', '0335', '0345', '0355', '0365', '0375', '0385', '0395', '0405', '0415', '0425', '0435', '0445', '0455', '0465', '0475', '0485', '0495', '0505', '0515', '0525', '0535', '0545', '0555', '0565', '0575', '0585', '0595', '0605', '0615', '0625', '0635', '0645', '0655', '0665', '0675', '0685', '0695', '0705', '0715', '0725', '0735', '0745', '0755', '0765', '0775', '0785', '0795', '0805', '0815', '0825', '0835', '0845', '0855', '0865', '0875', '0885', '0895', '0905', '0915', '0925', '0935', '0945', '0955', '0965', '0975', '0985', '0995', '1005', '1015', '1025', '1035', '1045', '1055', '1065', '1075', '1085', '1095', '1105', '1115', '1125', '1135', '1145', '1155', '1165', '1175', '1185', '1195', '1205', '1215', '1225', '1235', '1245', '1255', '1265', '1275', '1285', '1295', '1305', '1315', '1325', '1335', '1345', '1355', '1365', '1375', '1385', '1395', '1405', '1415', '1425', '1435', '1445', '1455', '1465', '1475', '1485', '1495', '1505', '1515', '1525', '1535', '1545', '1555', '1565', '1575', '1585', '1595', '1605', '1615', '1625', '1635', '1645', '1655', '1665', '1675', '1685', '1695', '1705', '1715', '1725', '1735', '1745', '1755', '1765', '1775', '1785', '1795', '1805', '1815', '1825', '1835', '1845', '1855', '1865', '1875', '1885', '1895', '1905', '1915', '1925', '1935', '1945', '1955', '1965', '1975', '1985', '1995', '2005', '2015', '2025', '2035', '2045', '2055', '2065', '2075', '2085', '2095', '2105', '2115', '2125', '2135', '2145', '2155', '2165', '2175', '2185', '2195', '2205', '2215', '2225', '2235', '2245', '2255', '2265', '2275', '2285', '2295', '2305', '2315', '2325', '2335', '2345', '2355', '2365', '2375', '2385', '2395', '2405', '2415', '2425', '2435', '2445', '2455', '2465', '2475', '2485', '2495', '2505', '2515', '2525', '2535', '2545', '2555', '2565', '2575', '2585', '2595', '2605', '2615', '2625', '2635', '2645', '2655', '2665', '2675', '2685', '2695', '2705', '2715', '2725', '2735', '2745', '2755', '2765', '2775', '2785', '2795', '2805', '2815', '2825', '2835', '2845', '2855', '2865', '2875', '2885', '2895', '2905', '2915', '2925', '2935', '2945', '2955', '2965', '2975', '2985', '2995', '3005', '3015', '3025', '3035', '3045', '3055', '3065', '3075', '3085', '3095', '3105', '3115', '3125', '3135', '3145', '3155', '3165', '3175', '3185', '3195', '3205', '3215', '3225', '3235', '3245', '3255', '3265', '3275', '3285', '3295', '3305', '3315', '3325', '3335', '3345', '3355', '3365', '3375', '3385', '3395', '3405', '3415', '3425', '3435', '3445', '3455', '3465', '3475', '3485', '3495', '3505', '3515', '3525', '3535', '3545', '3555', '3565', '3575', '3585', '3595', '3605', '3615', '3625', '3635', '3645', '3655', '3665', '3675', '3685', '3695', '3705', '3715', '3725', '3735', '3745', '3755', '3765', '3775', '3785', '3795', '3805', '3815', '3825', '3835', '3845', '3855', '3865', '3875', '3885', '3895', '3905', '3915', '3925', '3935', '3945', '3955', '3965', '3975', '3985', '3995', '4005', '4015', '4025', '4035', '4045', '4055', '4065', '4075', '4085', '4095', '4105', '4115', '4125', '4135', '4145', '4155', '4165', '4175', '4185', '4195', '4205', '4215', '4225', '4235', '4245', '4255', '4265', '4275', '4285', '4295', '4305', '4315', '4325', '4335', '4345', '4355', '4365', '4375', '4385', '4395', '4405', '4415', '4425', '4435', '4445', '4455', '4465', '4475', '4485', '4495', '4505', '4515', '4525', '4535', '4545', '4555', '4565', '4575', '4585', '4595', '4605', '4615', '4625', '4635', '4645', '4655', '4665', '4675', '4685', '4695', '4705', '4715', '4725', '4735', '4745', '4755', '4765', '4775', '4785', '4795', '4805', '4815', '4825', '4835', '4845', '4855', '4865', '4875', '4885', '4895', '4905', '4915', '4925', '4935', '4945', '4955', '4965', '4975', '4985', '4995', '5005', '5015', '5025', '5035', '5045', '5055', '5065', '5075', '5085', '5095', '5105', '5115', '5125', '5135', '5145', '5155', '5165', '5175', '5185', '5195', '5205', '5215', '5225', '5235', '5245', '5255', '5265', '5275', '5285', '5295', '5305', '5315', '5325', '5335', '5345', '5355', '5365', '5375', '5385', '5395', '5405', '5415', '5425', '5435', '5445', '5455', '5465', '5475', '5485', '5495', '5505', '5515', '5525', '5535', '5545', '5555', '5565', '5575', '5585', '5595', '5605', '5615', '5625', '5635', '5645', '5655', '5665', '5675', '5685', '5695', '5705', '5715', '5725', '5735', '5745', '5755', '5765', '5775', '5785', '5795', '5805', '5815', '5825', '5835', '5845', '5855', '5865', '5875', '5885', '5895', '5905', '5915', '5925', '5935', '5945', '5955', '5965', '5975', '5985', '5995', '6005', '6015', '6025', '6035', '6045', '6055', '6065', '6075', '6085', '6095', '6105', '6115', '6125', '6135', '6145', '6155', '6165', '6175', '6185', '6195', '6205', '6215', '6225', '6235', '6245', '6255', '6265', '6275', '6285', '6295', '6305', '6315', '6325', '6335', '6345', '6355', '6365', '6375', '6385', '6395', '6405', '6415', '6425', '6435', '6445', '6455', '6465', '6475', '6485', '6495', '6505', '6515', '6525', '6535', '6545', '6555', '6565', '6575', '6585', '6595', '6605', '6615', '6625', '6635', '6645', '6655', '6665', '6675', '6685', '6695', '6705', '6715', '6725', '6735', '6745', '6755', '6765', '6775', '6785', '6795', '6805', '6815', '6825', '6835', '6845', '6855', '6865', '6875', '6885', '6895', '6905', '6915', '6925', '6935', '6945', '6955', '6965', '6975', '6985', '6995', '7005', '7015', '7025', '7035', '7045', '7055', '7065', '7075', '7085', '7095', '7105', '7115', '7125', '7135', '7145', '7155', '7165', '7175', '7185', '7195', '7205', '7215', '7225', '7235', '7245', '7255', '7265', '7275', '7285', '7295', '7305', '7315', '7325', '7335', '7345', '7355', '7365', '7375', '7385', '7395', '7405', '7415', '7425', '7435', '7445', '7455', '7465', '7475', '7485', '7495', '7505', '7515', '7525', '7535', '7545', '7555', '7565', '7575', '7585', '7595', '7605', '7615', '7625', '7635', '7645', '7655', '7665', '7675', '7685', '7695', '7705', '7715', '7725', '7735', '7745', '7755', '7765', '7775', '7785', '7795', '7805', '7815', '7825', '7835', '7845', '7855', '7865', '7875', '7885', '7895', '7905', '7915', '7925', '7935', '7945', '7955', '7965', '7975', '7985', '7995', '8005', '8015', '8025', '8035', '8045', '8055', '8065', '8075', '8085', '8095', '8105', '8115', '8125', '8135', '8145', '8155', '8165', '8175', '8185', '8195', '8205', '8215', '8225', '8235', '8245', '8255', '8265', '8275', '8285', '8295', '8305', '8315', '8325', '8335', '8345', '8355', '8365', '8375', '8385', '8395', '8405', '8415', '8425', '8435', '8445', '8455', '8465', '8475', '8485', '8495', '8505', '8515', '8525', '8535', '8545', '8555', '8565', '8575', '8585', '8595', '8605', '8615', '8625', '8635', '8645', '8655', '8665', '8675', '8685', '8695', '8705', '8715', '8725', '8735', '8745', '8755', '8765', '8775', '8785', '8795', '8805', '8815', '8825', '8835', '8845', '8855', '8865', '8875', '8885', '8895', '8905', '8915', '8925', '8935', '8945', '8955', '8965', '8975', '8985', '8995', '9005', '9015', '9025', '9035', '9045', '9055', '9065', '9075', '9085', '9095', '9105', '9115', '9125', '9135', '9145', '9155', '9165', '9175', '9185', '9195', '9205', '9215', '9225', '9235', '9245', '9255', '9265', '9275', '9285', '9295', '9305', '9315', '9325', '9335', '9345', '9355', '9365', '9375', '9385', '9395', '9405', '9415', '9425', '9435', '9445', '9455', '9465', '9475', '9485', '9495', '9505', '9515', '9525', '9535', '9545', '9555', '9565', '9575', '9585', '9595', '9605', '9615', '9625', '9635', '9645', '9655', '9665', '9675', '9685', '9695', '9705', '9715', '9725', '9735', '9745', '9755', '9765', '9775', '9785', '9795', '9805', '9815', '9825', '9835', '9845', '9855', '9865', '9875', '9885', '9895', '9905', '9915', '9925', '9935', '9945', '9955', '9965', '9975', '9985', '9995');
INSERT INTO ptp5 SELECT to_char(x, 'FM0000'), 'ptp5' FROM generate_series(0, 9999) x where x % 10 = 5;
CREATE TABLE ptp6 PARTITION OF pt FOR VALUES IN ('0006', '0016', '0026', '0036', '0046', '0056', '0066', '0076', '0086', '0096', '0106', '0116', '0126', '0136', '0146', '0156', '0166', '0176', '0186', '0196', '0206', '0216', '0226', '0236', '0246', '0256', '0266', '0276', '0286', '0296', '0306', '0316', '0326', '0336', '0346', '0356', '0366', '0376', '0386', '0396', '0406', '0416', '0426', '0436', '0446', '0456', '0466', '0476', '0486', '0496', '0506', '0516', '0526', '0536', '0546', '0556', '0566', '0576', '0586', '0596', '0606', '0616', '0626', '0636', '0646', '0656', '0666', '0676', '0686', '0696', '0706', '0716', '0726', '0736', '0746', '0756', '0766', '0776', '0786', '0796', '0806', '0816', '0826', '0836', '0846', '0856', '0866', '0876', '0886', '0896', '0906', '0916', '0926', '0936', '0946', '0956', '0966', '0976', '0986', '0996', '1006', '1016', '1026', '1036', '1046', '1056', '1066', '1076', '1086', '1096', '1106', '1116', '1126', '1136', '1146', '1156', '1166', '1176', '1186', '1196', '1206', '1216', '1226', '1236', '1246', '1256', '1266', '1276', '1286', '1296', '1306', '1316', '1326', '1336', '1346', '1356', '1366', '1376', '1386', '1396', '1406', '1416', '1426', '1436', '1446', '1456', '1466', '1476', '1486', '1496', '1506', '1516', '1526', '1536', '1546', '1556', '1566', '1576', '1586', '1596', '1606', '1616', '1626', '1636', '1646', '1656', '1666', '1676', '1686', '1696', '1706', '1716', '1726', '1736', '1746', '1756', '1766', '1776', '1786', '1796', '1806', '1816', '1826', '1836', '1846', '1856', '1866', '1876', '1886', '1896', '1906', '1916', '1926', '1936', '1946', '1956', '1966', '1976', '1986', '1996', '2006', '2016', '2026', '2036', '2046', '2056', '2066', '2076', '2086', '2096', '2106', '2116', '2126', '2136', '2146', '2156', '2166', '2176', '2186', '2196', '2206', '2216', '2226', '2236', '2246', '2256', '2266', '2276', '2286', '2296', '2306', '2316', '2326', '2336', '2346', '2356', '2366', '2376', '2386', '2396', '2406', '2416', '2426', '2436', '2446', '2456', '2466', '2476', '2486', '2496', '2506', '2516', '2526', '2536', '2546', '2556', '2566', '2576', '2586', '2596', '2606', '2616', '2626', '2636', '2646', '2656', '2666', '2676', '2686', '2696', '2706', '2716', '2726', '2736', '2746', '2756', '2766', '2776', '2786', '2796', '2806', '2816', '2826', '2836', '2846', '2856', '2866', '2876', '2886', '2896', '2906', '2916', '2926', '2936', '2946', '2956', '2966', '2976', '2986', '2996', '3006', '3016', '3026', '3036', '3046', '3056', '3066', '3076', '3086', '3096', '3106', '3116', '3126', '3136', '3146', '3156', '3166', '3176', '3186', '3196', '3206', '3216', '3226', '3236', '3246', '3256', '3266', '3276', '3286', '3296', '3306', '3316', '3326', '3336', '3346', '3356', '3366', '3376', '3386', '3396', '3406', '3416', '3426', '3436', '3446', '3456', '3466', '3476', '3486', '3496', '3506', '3516', '3526', '3536', '3546', '3556', '3566', '3576', '3586', '3596', '3606', '3616', '3626', '3636', '3646', '3656', '3666', '3676', '3686', '3696', '3706', '3716', '3726', '3736', '3746', '3756', '3766', '3776', '3786', '3796', '3806', '3816', '3826', '3836', '3846', '3856', '3866', '3876', '3886', '3896', '3906', '3916', '3926', '3936', '3946', '3956', '3966', '3976', '3986', '3996', '4006', '4016', '4026', '4036', '4046', '4056', '4066', '4076', '4086', '4096', '4106', '4116', '4126', '4136', '4146', '4156', '4166', '4176', '4186', '4196', '4206', '4216', '4226', '4236', '4246', '4256', '4266', '4276', '4286', '4296', '4306', '4316', '4326', '4336', '4346', '4356', '4366', '4376', '4386', '4396', '4406', '4416', '4426', '4436', '4446', '4456', '4466', '4476', '4486', '4496', '4506', '4516', '4526', '4536', '4546', '4556', '4566', '4576', '4586', '4596', '4606', '4616', '4626', '4636', '4646', '4656', '4666', '4676', '4686', '4696', '4706', '4716', '4726', '4736', '4746', '4756', '4766', '4776', '4786', '4796', '4806', '4816', '4826', '4836', '4846', '4856', '4866', '4876', '4886', '4896', '4906', '4916', '4926', '4936', '4946', '4956', '4966', '4976', '4986', '4996', '5006', '5016', '5026', '5036', '5046', '5056', '5066', '5076', '5086', '5096', '5106', '5116', '5126', '5136', '5146', '5156', '5166', '5176', '5186', '5196', '5206', '5216', '5226', '5236', '5246', '5256', '5266', '5276', '5286', '5296', '5306', '5316', '5326', '5336', '5346', '5356', '5366', '5376', '5386', '5396', '5406', '5416', '5426', '5436', '5446', '5456', '5466', '5476', '5486', '5496', '5506', '5516', '5526', '5536', '5546', '5556', '5566', '5576', '5586', '5596', '5606', '5616', '5626', '5636', '5646', '5656', '5666', '5676', '5686', '5696', '5706', '5716', '5726', '5736', '5746', '5756', '5766', '5776', '5786', '5796', '5806', '5816', '5826', '5836', '5846', '5856', '5866', '5876', '5886', '5896', '5906', '5916', '5926', '5936', '5946', '5956', '5966', '5976', '5986', '5996', '6006', '6016', '6026', '6036', '6046', '6056', '6066', '6076', '6086', '6096', '6106', '6116', '6126', '6136', '6146', '6156', '6166', '6176', '6186', '6196', '6206', '6216', '6226', '6236', '6246', '6256', '6266', '6276', '6286', '6296', '6306', '6316', '6326', '6336', '6346', '6356', '6366', '6376', '6386', '6396', '6406', '6416', '6426', '6436', '6446', '6456', '6466', '6476', '6486', '6496', '6506', '6516', '6526', '6536', '6546', '6556', '6566', '6576', '6586', '6596', '6606', '6616', '6626', '6636', '6646', '6656', '6666', '6676', '6686', '6696', '6706', '6716', '6726', '6736', '6746', '6756', '6766', '6776', '6786', '6796', '6806', '6816', '6826', '6836', '6846', '6856', '6866', '6876', '6886', '6896', '6906', '6916', '6926', '6936', '6946', '6956', '6966', '6976', '6986', '6996', '7006', '7016', '7026', '7036', '7046', '7056', '7066', '7076', '7086', '7096', '7106', '7116', '7126', '7136', '7146', '7156', '7166', '7176', '7186', '7196', '7206', '7216', '7226', '7236', '7246', '7256', '7266', '7276', '7286', '7296', '7306', '7316', '7326', '7336', '7346', '7356', '7366', '7376', '7386', '7396', '7406', '7416', '7426', '7436', '7446', '7456', '7466', '7476', '7486', '7496', '7506', '7516', '7526', '7536', '7546', '7556', '7566', '7576', '7586', '7596', '7606', '7616', '7626', '7636', '7646', '7656', '7666', '7676', '7686', '7696', '7706', '7716', '7726', '7736', '7746', '7756', '7766', '7776', '7786', '7796', '7806', '7816', '7826', '7836', '7846', '7856', '7866', '7876', '7886', '7896', '7906', '7916', '7926', '7936', '7946', '7956', '7966', '7976', '7986', '7996', '8006', '8016', '8026', '8036', '8046', '8056', '8066', '8076', '8086', '8096', '8106', '8116', '8126', '8136', '8146', '8156', '8166', '8176', '8186', '8196', '8206', '8216', '8226', '8236', '8246', '8256', '8266', '8276', '8286', '8296', '8306', '8316', '8326', '8336', '8346', '8356', '8366', '8376', '8386', '8396', '8406', '8416', '8426', '8436', '8446', '8456', '8466', '8476', '8486', '8496', '8506', '8516', '8526', '8536', '8546', '8556', '8566', '8576', '8586', '8596', '8606', '8616', '8626', '8636', '8646', '8656', '8666', '8676', '8686', '8696', '8706', '8716', '8726', '8736', '8746', '8756', '8766', '8776', '8786', '8796', '8806', '8816', '8826', '8836', '8846', '8856', '8866', '8876', '8886', '8896', '8906', '8916', '8926', '8936', '8946', '8956', '8966', '8976', '8986', '8996', '9006', '9016', '9026', '9036', '9046', '9056', '9066', '9076', '9086', '9096', '9106', '9116', '9126', '9136', '9146', '9156', '9166', '9176', '9186', '9196', '9206', '9216', '9226', '9236', '9246', '9256', '9266', '9276', '9286', '9296', '9306', '9316', '9326', '9336', '9346', '9356', '9366', '9376', '9386', '9396', '9406', '9416', '9426', '9436', '9446', '9456', '9466', '9476', '9486', '9496', '9506', '9516', '9526', '9536', '9546', '9556', '9566', '9576', '9586', '9596', '9606', '9616', '9626', '9636', '9646', '9656', '9666', '9676', '9686', '9696', '9706', '9716', '9726', '9736', '9746', '9756', '9766', '9776', '9786', '9796', '9806', '9816', '9826', '9836', '9846', '9856', '9866', '9876', '9886', '9896', '9906', '9916', '9926', '9936', '9946', '9956', '9966', '9976', '9986', '9996');
INSERT INTO ptp6 SELECT to_char(x, 'FM0000'), 'ptp6' FROM generate_series(0, 9999) x where x % 10 = 6;
CREATE TABLE ptp7 PARTITION OF pt FOR VALUES IN ('0007', '0017', '0027', '0037', '0047', '0057', '0067', '0077', '0087', '0097', '0107', '0117', '0127', '0137', '0147', '0157', '0167', '0177', '0187', '0197', '0207', '0217', '0227', '0237', '0247', '0257', '0267', '0277', '0287', '0297', '0307', '0317', '0327', '0337', '0347', '0357', '0367', '0377', '0387', '0397', '0407', '0417', '0427', '0437', '0447', '0457', '0467', '0477', '0487', '0497', '0507', '0517', '0527', '0537', '0547', '0557', '0567', '0577', '0587', '0597', '0607', '0617', '0627', '0637', '0647', '0657', '0667', '0677', '0687', '0697', '0707', '0717', '0727', '0737', '0747', '0757', '0767', '0777', '0787', '0797', '0807', '0817', '0827', '0837', '0847', '0857', '0867', '0877', '0887', '0897', '0907', '0917', '0927', '0937', '0947', '0957', '0967', '0977', '0987', '0997', '1007', '1017', '1027', '1037', '1047', '1057', '1067', '1077', '1087', '1097', '1107', '1117', '1127', '1137', '1147', '1157', '1167', '1177', '1187', '1197', '1207', '1217', '1227', '1237', '1247', '1257', '1267', '1277', '1287', '1297', '1307', '1317', '1327', '1337', '1347', '1357', '1367', '1377', '1387', '1397', '1407', '1417', '1427', '1437', '1447', '1457', '1467', '1477', '1487', '1497', '1507', '1517', '1527', '1537', '1547', '1557', '1567', '1577', '1587', '1597', '1607', '1617', '1627', '1637', '1647', '1657', '1667', '1677', '1687', '1697', '1707', '1717', '1727', '1737', '1747', '1757', '1767', '1777', '1787', '1797', '1807', '1817', '1827', '1837', '1847', '1857', '1867', '1877', '1887', '1897', '1907', '1917', '1927', '1937', '1947', '1957', '1967', '1977', '1987', '1997', '2007', '2017', '2027', '2037', '2047', '2057', '2067', '2077', '2087', '2097', '2107', '2117', '2127', '2137', '2147', '2157', '2167', '2177', '2187', '2197', '2207', '2217', '2227', '2237', '2247', '2257', '2267', '2277', '2287', '2297', '2307', '2317', '2327', '2337', '2347', '2357', '2367', '2377', '2387', '2397', '2407', '2417', '2427', '2437', '2447', '2457', '2467', '2477', '2487', '2497', '2507', '2517', '2527', '2537', '2547', '2557', '2567', '2577', '2587', '2597', '2607', '2617', '2627', '2637', '2647', '2657', '2667', '2677', '2687', '2697', '2707', '2717', '2727', '2737', '2747', '2757', '2767', '2777', '2787', '2797', '2807', '2817', '2827', '2837', '2847', '2857', '2867', '2877', '2887', '2897', '2907', '2917', '2927', '2937', '2947', '2957', '2967', '2977', '2987', '2997', '3007', '3017', '3027', '3037', '3047', '3057', '3067', '3077', '3087', '3097', '3107', '3117', '3127', '3137', '3147', '3157', '3167', '3177', '3187', '3197', '3207', '3217', '3227', '3237', '3247', '3257', '3267', '3277', '3287', '3297', '3307', '3317', '3327', '3337', '3347', '3357', '3367', '3377', '3387', '3397', '3407', '3417', '3427', '3437', '3447', '3457', '3467', '3477', '3487', '3497', '3507', '3517', '3527', '3537', '3547', '3557', '3567', '3577', '3587', '3597', '3607', '3617', '3627', '3637', '3647', '3657', '3667', '3677', '3687', '3697', '3707', '3717', '3727', '3737', '3747', '3757', '3767', '3777', '3787', '3797', '3807', '3817', '3827', '3837', '3847', '3857', '3867', '3877', '3887', '3897', '3907', '3917', '3927', '3937', '3947', '3957', '3967', '3977', '3987', '3997', '4007', '4017', '4027', '4037', '4047', '4057', '4067', '4077', '4087', '4097', '4107', '4117', '4127', '4137', '4147', '4157', '4167', '4177', '4187', '4197', '4207', '4217', '4227', '4237', '4247', '4257', '4267', '4277', '4287', '4297', '4307', '4317', '4327', '4337', '4347', '4357', '4367', '4377', '4387', '4397', '4407', '4417', '4427', '4437', '4447', '4457', '4467', '4477', '4487', '4497', '4507', '4517', '4527', '4537', '4547', '4557', '4567', '4577', '4587', '4597', '4607', '4617', '4627', '4637', '4647', '4657', '4667', '4677', '4687', '4697', '4707', '4717', '4727', '4737', '4747', '4757', '4767', '4777', '4787', '4797', '4807', '4817', '4827', '4837', '4847', '4857', '4867', '4877', '4887', '4897', '4907', '4917', '4927', '4937', '4947', '4957', '4967', '4977', '4987', '4997', '5007', '5017', '5027', '5037', '5047', '5057', '5067', '5077', '5087', '5097', '5107', '5117', '5127', '5137', '5147', '5157', '5167', '5177', '5187', '5197', '5207', '5217', '5227', '5237', '5247', '5257', '5267', '5277', '5287', '5297', '5307', '5317', '5327', '5337', '5347', '5357', '5367', '5377', '5387', '5397', '5407', '5417', '5427', '5437', '5447', '5457', '5467', '5477', '5487', '5497', '5507', '5517', '5527', '5537', '5547', '5557', '5567', '5577', '5587', '5597', '5607', '5617', '5627', '5637', '5647', '5657', '5667', '5677', '5687', '5697', '5707', '5717', '5727', '5737', '5747', '5757', '5767', '5777', '5787', '5797', '5807', '5817', '5827', '5837', '5847', '5857', '5867', '5877', '5887', '5897', '5907', '5917', '5927', '5937', '5947', '5957', '5967', '5977', '5987', '5997', '6007', '6017', '6027', '6037', '6047', '6057', '6067', '6077', '6087', '6097', '6107', '6117', '6127', '6137', '6147', '6157', '6167', '6177', '6187', '6197', '6207', '6217', '6227', '6237', '6247', '6257', '6267', '6277', '6287', '6297', '6307', '6317', '6327', '6337', '6347', '6357', '6367', '6377', '6387', '6397', '6407', '6417', '6427', '6437', '6447', '6457', '6467', '6477', '6487', '6497', '6507', '6517', '6527', '6537', '6547', '6557', '6567', '6577', '6587', '6597', '6607', '6617', '6627', '6637', '6647', '6657', '6667', '6677', '6687', '6697', '6707', '6717', '6727', '6737', '6747', '6757', '6767', '6777', '6787', '6797', '6807', '6817', '6827', '6837', '6847', '6857', '6867', '6877', '6887', '6897', '6907', '6917', '6927', '6937', '6947', '6957', '6967', '6977', '6987', '6997', '7007', '7017', '7027', '7037', '7047', '7057', '7067', '7077', '7087', '7097', '7107', '7117', '7127', '7137', '7147', '7157', '7167', '7177', '7187', '7197', '7207', '7217', '7227', '7237', '7247', '7257', '7267', '7277', '7287', '7297', '7307', '7317', '7327', '7337', '7347', '7357', '7367', '7377', '7387', '7397', '7407', '7417', '7427', '7437', '7447', '7457', '7467', '7477', '7487', '7497', '7507', '7517', '7527', '7537', '7547', '7557', '7567', '7577', '7587', '7597', '7607', '7617', '7627', '7637', '7647', '7657', '7667', '7677', '7687', '7697', '7707', '7717', '7727', '7737', '7747', '7757', '7767', '7777', '7787', '7797', '7807', '7817', '7827', '7837', '7847', '7857', '7867', '7877', '7887', '7897', '7907', '7917', '7927', '7937', '7947', '7957', '7967', '7977', '7987', '7997', '8007', '8017', '8027', '8037', '8047', '8057', '8067', '8077', '8087', '8097', '8107', '8117', '8127', '8137', '8147', '8157', '8167', '8177', '8187', '8197', '8207', '8217', '8227', '8237', '8247', '8257', '8267', '8277', '8287', '8297', '8307', '8317', '8327', '8337', '8347', '8357', '8367', '8377', '8387', '8397', '8407', '8417', '8427', '8437', '8447', '8457', '8467', '8477', '8487', '8497', '8507', '8517', '8527', '8537', '8547', '8557', '8567', '8577', '8587', '8597', '8607', '8617', '8627', '8637', '8647', '8657', '8667', '8677', '8687', '8697', '8707', '8717', '8727', '8737', '8747', '8757', '8767', '8777', '8787', '8797', '8807', '8817', '8827', '8837', '8847', '8857', '8867', '8877', '8887', '8897', '8907', '8917', '8927', '8937', '8947', '8957', '8967', '8977', '8987', '8997', '9007', '9017', '9027', '9037', '9047', '9057', '9067', '9077', '9087', '9097', '9107', '9117', '9127', '9137', '9147', '9157', '9167', '9177', '9187', '9197', '9207', '9217', '9227', '9237', '9247', '9257', '9267', '9277', '9287', '9297', '9307', '9317', '9327', '9337', '9347', '9357', '9367', '9377', '9387', '9397', '9407', '9417', '9427', '9437', '9447', '9457', '9467', '9477', '9487', '9497', '9507', '9517', '9527', '9537', '9547', '9557', '9567', '9577', '9587', '9597', '9607', '9617', '9627', '9637', '9647', '9657', '9667', '9677', '9687', '9697', '9707', '9717', '9727', '9737', '9747', '9757', '9767', '9777', '9787', '9797', '9807', '9817', '9827', '9837', '9847', '9857', '9867', '9877', '9887', '9897', '9907', '9917', '9927', '9937', '9947', '9957', '9967', '9977', '9987', '9997');
INSERT INTO ptp7 SELECT to_char(x, 'FM0000'), 'ptp7' FROM generate_series(0, 9999) x where x % 10 = 7;
CREATE TABLE ptp8 PARTITION OF pt FOR VALUES IN ('0008', '0018', '0028', '0038', '0048', '0058', '0068', '0078', '0088', '0098', '0108', '0118', '0128', '0138', '0148', '0158', '0168', '0178', '0188', '0198', '0208', '0218', '0228', '0238', '0248', '0258', '0268', '0278', '0288', '0298', '0308', '0318', '0328', '0338', '0348', '0358', '0368', '0378', '0388', '0398', '0408', '0418', '0428', '0438', '0448', '0458', '0468', '0478', '0488', '0498', '0508', '0518', '0528', '0538', '0548', '0558', '0568', '0578', '0588', '0598', '0608', '0618', '0628', '0638', '0648', '0658', '0668', '0678', '0688', '0698', '0708', '0718', '0728', '0738', '0748', '0758', '0768', '0778', '0788', '0798', '0808', '0818', '0828', '0838', '0848', '0858', '0868', '0878', '0888', '0898', '0908', '0918', '0928', '0938', '0948', '0958', '0968', '0978', '0988', '0998', '1008', '1018', '1028', '1038', '1048', '1058', '1068', '1078', '1088', '1098', '1108', '1118', '1128', '1138', '1148', '1158', '1168', '1178', '1188', '1198', '1208', '1218', '1228', '1238', '1248', '1258', '1268', '1278', '1288', '1298', '1308', '1318', '1328', '1338', '1348', '1358', '1368', '1378', '1388', '1398', '1408', '1418', '1428', '1438', '1448', '1458', '1468', '1478', '1488', '1498', '1508', '1518', '1528', '1538', '1548', '1558', '1568', '1578', '1588', '1598', '1608', '1618', '1628', '1638', '1648', '1658', '1668', '1678', '1688', '1698', '1708', '1718', '1728', '1738', '1748', '1758', '1768', '1778', '1788', '1798', '1808', '1818', '1828', '1838', '1848', '1858', '1868', '1878', '1888', '1898', '1908', '1918', '1928', '1938', '1948', '1958', '1968', '1978', '1988', '1998', '2008', '2018', '2028', '2038', '2048', '2058', '2068', '2078', '2088', '2098', '2108', '2118', '2128', '2138', '2148', '2158', '2168', '2178', '2188', '2198', '2208', '2218', '2228', '2238', '2248', '2258', '2268', '2278', '2288', '2298', '2308', '2318', '2328', '2338', '2348', '2358', '2368', '2378', '2388', '2398', '2408', '2418', '2428', '2438', '2448', '2458', '2468', '2478', '2488', '2498', '2508', '2518', '2528', '2538', '2548', '2558', '2568', '2578', '2588', '2598', '2608', '2618', '2628', '2638', '2648', '2658', '2668', '2678', '2688', '2698', '2708', '2718', '2728', '2738', '2748', '2758', '2768', '2778', '2788', '2798', '2808', '2818', '2828', '2838', '2848', '2858', '2868', '2878', '2888', '2898', '2908', '2918', '2928', '2938', '2948', '2958', '2968', '2978', '2988', '2998', '3008', '3018', '3028', '3038', '3048', '3058', '3068', '3078', '3088', '3098', '3108', '3118', '3128', '3138', '3148', '3158', '3168', '3178', '3188', '3198', '3208', '3218', '3228', '3238', '3248', '3258', '3268', '3278', '3288', '3298', '3308', '3318', '3328', '3338', '3348', '3358', '3368', '3378', '3388', '3398', '3408', '3418', '3428', '3438', '3448', '3458', '3468', '3478', '3488', '3498', '3508', '3518', '3528', '3538', '3548', '3558', '3568', '3578', '3588', '3598', '3608', '3618', '3628', '3638', '3648', '3658', '3668', '3678', '3688', '3698', '3708', '3718', '3728', '3738', '3748', '3758', '3768', '3778', '3788', '3798', '3808', '3818', '3828', '3838', '3848', '3858', '3868', '3878', '3888', '3898', '3908', '3918', '3928', '3938', '3948', '3958', '3968', '3978', '3988', '3998', '4008', '4018', '4028', '4038', '4048', '4058', '4068', '4078', '4088', '4098', '4108', '4118', '4128', '4138', '4148', '4158', '4168', '4178', '4188', '4198', '4208', '4218', '4228', '4238', '4248', '4258', '4268', '4278', '4288', '4298', '4308', '4318', '4328', '4338', '4348', '4358', '4368', '4378', '4388', '4398', '4408', '4418', '4428', '4438', '4448', '4458', '4468', '4478', '4488', '4498', '4508', '4518', '4528', '4538', '4548', '4558', '4568', '4578', '4588', '4598', '4608', '4618', '4628', '4638', '4648', '4658', '4668', '4678', '4688', '4698', '4708', '4718', '4728', '4738', '4748', '4758', '4768', '4778', '4788', '4798', '4808', '4818', '4828', '4838', '4848', '4858', '4868', '4878', '4888', '4898', '4908', '4918', '4928', '4938', '4948', '4958', '4968', '4978', '4988', '4998', '5008', '5018', '5028', '5038', '5048', '5058', '5068', '5078', '5088', '5098', '5108', '5118', '5128', '5138', '5148', '5158', '5168', '5178', '5188', '5198', '5208', '5218', '5228', '5238', '5248', '5258', '5268', '5278', '5288', '5298', '5308', '5318', '5328', '5338', '5348', '5358', '5368', '5378', '5388', '5398', '5408', '5418', '5428', '5438', '5448', '5458', '5468', '5478', '5488', '5498', '5508', '5518', '5528', '5538', '5548', '5558', '5568', '5578', '5588', '5598', '5608', '5618', '5628', '5638', '5648', '5658', '5668', '5678', '5688', '5698', '5708', '5718', '5728', '5738', '5748', '5758', '5768', '5778', '5788', '5798', '5808', '5818', '5828', '5838', '5848', '5858', '5868', '5878', '5888', '5898', '5908', '5918', '5928', '5938', '5948', '5958', '5968', '5978', '5988', '5998', '6008', '6018', '6028', '6038', '6048', '6058', '6068', '6078', '6088', '6098', '6108', '6118', '6128', '6138', '6148', '6158', '6168', '6178', '6188', '6198', '6208', '6218', '6228', '6238', '6248', '6258', '6268', '6278', '6288', '6298', '6308', '6318', '6328', '6338', '6348', '6358', '6368', '6378', '6388', '6398', '6408', '6418', '6428', '6438', '6448', '6458', '6468', '6478', '6488', '6498', '6508', '6518', '6528', '6538', '6548', '6558', '6568', '6578', '6588', '6598', '6608', '6618', '6628', '6638', '6648', '6658', '6668', '6678', '6688', '6698', '6708', '6718', '6728', '6738', '6748', '6758', '6768', '6778', '6788', '6798', '6808', '6818', '6828', '6838', '6848', '6858', '6868', '6878', '6888', '6898', '6908', '6918', '6928', '6938', '6948', '6958', '6968', '6978', '6988', '6998', '7008', '7018', '7028', '7038', '7048', '7058', '7068', '7078', '7088', '7098', '7108', '7118', '7128', '7138', '7148', '7158', '7168', '7178', '7188', '7198', '7208', '7218', '7228', '7238', '7248', '7258', '7268', '7278', '7288', '7298', '7308', '7318', '7328', '7338', '7348', '7358', '7368', '7378', '7388', '7398', '7408', '7418', '7428', '7438', '7448', '7458', '7468', '7478', '7488', '7498', '7508', '7518', '7528', '7538', '7548', '7558', '7568', '7578', '7588', '7598', '7608', '7618', '7628', '7638', '7648', '7658', '7668', '7678', '7688', '7698', '7708', '7718', '7728', '7738', '7748', '7758', '7768', '7778', '7788', '7798', '7808', '7818', '7828', '7838', '7848', '7858', '7868', '7878', '7888', '7898', '7908', '7918', '7928', '7938', '7948', '7958', '7968', '7978', '7988', '7998', '8008', '8018', '8028', '8038', '8048', '8058', '8068', '8078', '8088', '8098', '8108', '8118', '8128', '8138', '8148', '8158', '8168', '8178', '8188', '8198', '8208', '8218', '8228', '8238', '8248', '8258', '8268', '8278', '8288', '8298', '8308', '8318', '8328', '8338', '8348', '8358', '8368', '8378', '8388', '8398', '8408', '8418', '8428', '8438', '8448', '8458', '8468', '8478', '8488', '8498', '8508', '8518', '8528', '8538', '8548', '8558', '8568', '8578', '8588', '8598', '8608', '8618', '8628', '8638', '8648', '8658', '8668', '8678', '8688', '8698', '8708', '8718', '8728', '8738', '8748', '8758', '8768', '8778', '8788', '8798', '8808', '8818', '8828', '8838', '8848', '8858', '8868', '8878', '8888', '8898', '8908', '8918', '8928', '8938', '8948', '8958', '8968', '8978', '8988', '8998', '9008', '9018', '9028', '9038', '9048', '9058', '9068', '9078', '9088', '9098', '9108', '9118', '9128', '9138', '9148', '9158', '9168', '9178', '9188', '9198', '9208', '9218', '9228', '9238', '9248', '9258', '9268', '9278', '9288', '9298', '9308', '9318', '9328', '9338', '9348', '9358', '9368', '9378', '9388', '9398', '9408', '9418', '9428', '9438', '9448', '9458', '9468', '9478', '9488', '9498', '9508', '9518', '9528', '9538', '9548', '9558', '9568', '9578', '9588', '9598', '9608', '9618', '9628', '9638', '9648', '9658', '9668', '9678', '9688', '9698', '9708', '9718', '9728', '9738', '9748', '9758', '9768', '9778', '9788', '9798', '9808', '9818', '9828', '9838', '9848', '9858', '9868', '9878', '9888', '9898', '9908', '9918', '9928', '9938', '9948', '9958', '9968', '9978', '9988', '9998');
INSERT INTO ptp8 SELECT to_char(x, 'FM0000'), 'ptp8' FROM generate_series(0, 9999) x where x % 10 = 8;
CREATE TABLE ptp9 PARTITION OF pt FOR VALUES IN ('0009', '0019', '0029', '0039', '0049', '0059', '0069', '0079', '0089', '0099', '0109', '0119', '0129', '0139', '0149', '0159', '0169', '0179', '0189', '0199', '0209', '0219', '0229', '0239', '0249', '0259', '0269', '0279', '0289', '0299', '0309', '0319', '0329', '0339', '0349', '0359', '0369', '0379', '0389', '0399', '0409', '0419', '0429', '0439', '0449', '0459', '0469', '0479', '0489', '0499', '0509', '0519', '0529', '0539', '0549', '0559', '0569', '0579', '0589', '0599', '0609', '0619', '0629', '0639', '0649', '0659', '0669', '0679', '0689', '0699', '0709', '0719', '0729', '0739', '0749', '0759', '0769', '0779', '0789', '0799', '0809', '0819', '0829', '0839', '0849', '0859', '0869', '0879', '0889', '0899', '0909', '0919', '0929', '0939', '0949', '0959', '0969', '0979', '0989', '0999', '1009', '1019', '1029', '1039', '1049', '1059', '1069', '1079', '1089', '1099', '1109', '1119', '1129', '1139', '1149', '1159', '1169', '1179', '1189', '1199', '1209', '1219', '1229', '1239', '1249', '1259', '1269', '1279', '1289', '1299', '1309', '1319', '1329', '1339', '1349', '1359', '1369', '1379', '1389', '1399', '1409', '1419', '1429', '1439', '1449', '1459', '1469', '1479', '1489', '1499', '1509', '1519', '1529', '1539', '1549', '1559', '1569', '1579', '1589', '1599', '1609', '1619', '1629', '1639', '1649', '1659', '1669', '1679', '1689', '1699', '1709', '1719', '1729', '1739', '1749', '1759', '1769', '1779', '1789', '1799', '1809', '1819', '1829', '1839', '1849', '1859', '1869', '1879', '1889', '1899', '1909', '1919', '1929', '1939', '1949', '1959', '1969', '1979', '1989', '1999', '2009', '2019', '2029', '2039', '2049', '2059', '2069', '2079', '2089', '2099', '2109', '2119', '2129', '2139', '2149', '2159', '2169', '2179', '2189', '2199', '2209', '2219', '2229', '2239', '2249', '2259', '2269', '2279', '2289', '2299', '2309', '2319', '2329', '2339', '2349', '2359', '2369', '2379', '2389', '2399', '2409', '2419', '2429', '2439', '2449', '2459', '2469', '2479', '2489', '2499', '2509', '2519', '2529', '2539', '2549', '2559', '2569', '2579', '2589', '2599', '2609', '2619', '2629', '2639', '2649', '2659', '2669', '2679', '2689', '2699', '2709', '2719', '2729', '2739', '2749', '2759', '2769', '2779', '2789', '2799', '2809', '2819', '2829', '2839', '2849', '2859', '2869', '2879', '2889', '2899', '2909', '2919', '2929', '2939', '2949', '2959', '2969', '2979', '2989', '2999', '3009', '3019', '3029', '3039', '3049', '3059', '3069', '3079', '3089', '3099', '3109', '3119', '3129', '3139', '3149', '3159', '3169', '3179', '3189', '3199', '3209', '3219', '3229', '3239', '3249', '3259', '3269', '3279', '3289', '3299', '3309', '3319', '3329', '3339', '3349', '3359', '3369', '3379', '3389', '3399', '3409', '3419', '3429', '3439', '3449', '3459', '3469', '3479', '3489', '3499', '3509', '3519', '3529', '3539', '3549', '3559', '3569', '3579', '3589', '3599', '3609', '3619', '3629', '3639', '3649', '3659', '3669', '3679', '3689', '3699', '3709', '3719', '3729', '3739', '3749', '3759', '3769', '3779', '3789', '3799', '3809', '3819', '3829', '3839', '3849', '3859', '3869', '3879', '3889', '3899', '3909', '3919', '3929', '3939', '3949', '3959', '3969', '3979', '3989', '3999', '4009', '4019', '4029', '4039', '4049', '4059', '4069', '4079', '4089', '4099', '4109', '4119', '4129', '4139', '4149', '4159', '4169', '4179', '4189', '4199', '4209', '4219', '4229', '4239', '4249', '4259', '4269', '4279', '4289', '4299', '4309', '4319', '4329', '4339', '4349', '4359', '4369', '4379', '4389', '4399', '4409', '4419', '4429', '4439', '4449', '4459', '4469', '4479', '4489', '4499', '4509', '4519', '4529', '4539', '4549', '4559', '4569', '4579', '4589', '4599', '4609', '4619', '4629', '4639', '4649', '4659', '4669', '4679', '4689', '4699', '4709', '4719', '4729', '4739', '4749', '4759', '4769', '4779', '4789', '4799', '4809', '4819', '4829', '4839', '4849', '4859', '4869', '4879', '4889', '4899', '4909', '4919', '4929', '4939', '4949', '4959', '4969', '4979', '4989', '4999', '5009', '5019', '5029', '5039', '5049', '5059', '5069', '5079', '5089', '5099', '5109', '5119', '5129', '5139', '5149', '5159', '5169', '5179', '5189', '5199', '5209', '5219', '5229', '5239', '5249', '5259', '5269', '5279', '5289', '5299', '5309', '5319', '5329', '5339', '5349', '5359', '5369', '5379', '5389', '5399', '5409', '5419', '5429', '5439', '5449', '5459', '5469', '5479', '5489', '5499', '5509', '5519', '5529', '5539', '5549', '5559', '5569', '5579', '5589', '5599', '5609', '5619', '5629', '5639', '5649', '5659', '5669', '5679', '5689', '5699', '5709', '5719', '5729', '5739', '5749', '5759', '5769', '5779', '5789', '5799', '5809', '5819', '5829', '5839', '5849', '5859', '5869', '5879', '5889', '5899', '5909', '5919', '5929', '5939', '5949', '5959', '5969', '5979', '5989', '5999', '6009', '6019', '6029', '6039', '6049', '6059', '6069', '6079', '6089', '6099', '6109', '6119', '6129', '6139', '6149', '6159', '6169', '6179', '6189', '6199', '6209', '6219', '6229', '6239', '6249', '6259', '6269', '6279', '6289', '6299', '6309', '6319', '6329', '6339', '6349', '6359', '6369', '6379', '6389', '6399', '6409', '6419', '6429', '6439', '6449', '6459', '6469', '6479', '6489', '6499', '6509', '6519', '6529', '6539', '6549', '6559', '6569', '6579', '6589', '6599', '6609', '6619', '6629', '6639', '6649', '6659', '6669', '6679', '6689', '6699', '6709', '6719', '6729', '6739', '6749', '6759', '6769', '6779', '6789', '6799', '6809', '6819', '6829', '6839', '6849', '6859', '6869', '6879', '6889', '6899', '6909', '6919', '6929', '6939', '6949', '6959', '6969', '6979', '6989', '6999', '7009', '7019', '7029', '7039', '7049', '7059', '7069', '7079', '7089', '7099', '7109', '7119', '7129', '7139', '7149', '7159', '7169', '7179', '7189', '7199', '7209', '7219', '7229', '7239', '7249', '7259', '7269', '7279', '7289', '7299', '7309', '7319', '7329', '7339', '7349', '7359', '7369', '7379', '7389', '7399', '7409', '7419', '7429', '7439', '7449', '7459', '7469', '7479', '7489', '7499', '7509', '7519', '7529', '7539', '7549', '7559', '7569', '7579', '7589', '7599', '7609', '7619', '7629', '7639', '7649', '7659', '7669', '7679', '7689', '7699', '7709', '7719', '7729', '7739', '7749', '7759', '7769', '7779', '7789', '7799', '7809', '7819', '7829', '7839', '7849', '7859', '7869', '7879', '7889', '7899', '7909', '7919', '7929', '7939', '7949', '7959', '7969', '7979', '7989', '7999', '8009', '8019', '8029', '8039', '8049', '8059', '8069', '8079', '8089', '8099', '8109', '8119', '8129', '8139', '8149', '8159', '8169', '8179', '8189', '8199', '8209', '8219', '8229', '8239', '8249', '8259', '8269', '8279', '8289', '8299', '8309', '8319', '8329', '8339', '8349', '8359', '8369', '8379', '8389', '8399', '8409', '8419', '8429', '8439', '8449', '8459', '8469', '8479', '8489', '8499', '8509', '8519', '8529', '8539', '8549', '8559', '8569', '8579', '8589', '8599', '8609', '8619', '8629', '8639', '8649', '8659', '8669', '8679', '8689', '8699', '8709', '8719', '8729', '8739', '8749', '8759', '8769', '8779', '8789', '8799', '8809', '8819', '8829', '8839', '8849', '8859', '8869', '8879', '8889', '8899', '8909', '8919', '8929', '8939', '8949', '8959', '8969', '8979', '8989', '8999', '9009', '9019', '9029', '9039', '9049', '9059', '9069', '9079', '9089', '9099', '9109', '9119', '9129', '9139', '9149', '9159', '9169', '9179', '9189', '9199', '9209', '9219', '9229', '9239', '9249', '9259', '9269', '9279', '9289', '9299', '9309', '9319', '9329', '9339', '9349', '9359', '9369', '9379', '9389', '9399', '9409', '9419', '9429', '9439', '9449', '9459', '9469', '9479', '9489', '9499', '9509', '9519', '9529', '9539', '9549', '9559', '9569', '9579', '9589', '9599', '9609', '9619', '9629', '9639', '9649', '9659', '9669', '9679', '9689', '9699', '9709', '9719', '9729', '9739', '9749', '9759', '9769', '9779', '9789', '9799', '9809', '9819', '9829', '9839', '9849', '9859', '9869', '9879', '9889', '9899', '9909', '9919', '9929', '9939', '9949', '9959', '9969', '9979', '9989', '9999');
INSERT INTO ptp9 SELECT to_char(x, 'FM0000'), 'ptp9' FROM generate_series(0, 9999) x where x % 10 = 9;
ANALYZE pt;