src/parsec/disk-image/parsec/parsec-benchmark/toolkit/hpt/table_select1

[3] 0:1 1:2 2:3 3:5 4:6 5:7 6:8 
[4] 0:1 1:2 2:3 3:5 4:7 5:9 6:11 7:13 8:14 9:15 10:16 
[5] 0:1 1:2 2:3 3:5 4:7 5:10 6:13 7:16 8:19 9:22 10:25 11:27 12:29 13:30 14:31 15:32 
[6] 0:1 1:2 2:3 3:5 4:7 5:10 6:14 7:18 8:22 9:27 10:32 11:37 12:42 13:46 14:50 15:54 16:57 17:59 18:61 19:62 20:63 21:64 
[7] 0:1 1:2 2:3 3:5 4:7 5:10 6:14 7:19 8:24 9:30 10:37 11:44 12:52 13:60 14:68 15:76 16:84 17:91 18:98 19:104 20:109 21:114 22:118 23:121 24:123 25:125 26:126 27:127 28:128 
[8] 0:1 1:2 2:3 3:5 4:7 5:10 6:14 7:19 8:25 9:32 10:40 11:49 12:59 13:70 14:82 15:95 16:108 17:121 18:135 19:148 20:161 21:174 22:186 23:197 24:207 25:216 26:224 27:231 28:237 29:242 30:246 31:249 32:251 33:253 34:254 35:255 36:256 
[9] 0:1 1:2 2:3 3:5 4:7 5:10 6:14 7:19 8:25 9:33 10:42 11:52 12:64 13:77 14:92 15:109 16:127 17:146 18:167 19:188 20:210 21:233 22:256 23:279 24:302 25:324 26:345 27:366 28:385 29:403 30:420 31:435 32:448 33:460 34:470 35:479 36:487 37:493 38:498 39:502 40:505 41:507 42:509 43:510 44:511 45:512 
[10] 0:1 1:2 2:3 3:5 4:7 5:10 6:14 7:19 8:25 9:33 10:43 11:54 12:67 13:82 14:99 15:119 16:141 17:165 18:192 19:221 20:252 21:285 22:320 23:356 24:394 25:433 26:472 27:512 28:552 29:591 30:630 31:668 32:704 33:739 34:772 35:803 36:832 37:859 38:883 39:905 40:925 41:942 42:957 43:970 44:981 45:991 46:999 47:1005 48:1010 49:1014 50:1017 51:1019 52:1021 53:1022 54:1023 55:1024 
[11] 0:1 1:2 2:3 3:5 4:7 5:10 6:14 7:19 8:25 9:33 10:43 11:55 12:69 13:85 14:104 15:126 16:151 17:179 18:211 19:246 20:285 21:328 22:374 23:423 24:476 25:532 26:591 27:653 28:717 29:783 30:851 31:920 32:989 33:1059 34:1128 35:1197 36:1265 37:1331 38:1395 39:1457 40:1516 41:1572 42:1625 43:1674 44:1720 45:1763 46:1802 47:1837 48:1869 49:1897 50:1922 51:1944 52:1963 53:1979 54:1993 55:2005 56:2015 57:2023 58:2029 59:2034 60:2038 61:2041 62:2043 63:2045 64:2046 65:2047 66:2048 
[12] 0:1 1:2 2:3 3:5 4:7 5:10 6:14 7:19 8:25 9:33 10:43 11:55 12:70 13:87 14:107 15:131 16:158 17:189 18:225 19:265 20:310 21:361 22:417 23:478 24:545 25:617 26:695 27:779 28:868 29:962 30:1062 31:1166 32:1274 33:1387 34:1502 35:1620 36:1741 37:1863 38:1986 39:2110 40:2233 41:2355 42:2476 43:2594 44:2709 45:2822 46:2930 47:3034 48:3134 49:3228 50:3317 51:3401 52:3479 53:3551 54:3618 55:3679 56:3735 57:3786 58:3831 59:3871 60:3907 61:3938 62:3965 63:3989 64:4009 65:4026 66:4041 67:4053 68:4063 69:4071 70:4077 71:4082 72:4086 73:4089 74:4091 75:4093 76:4094 77:4095 78:4096 
[13] 0:1 1:2 2:3 3:5 4:7 5:10 6:14 7:19 8:25 9:33 10:43 11:55 12:70 13:88 14:109 15:134 16:163 17:196 18:235 19:279 20:329 21:386 22:450 23:521 24:600 25:687 26:782 27:886 28:999 29:1120 30:1251 31:1391 32:1539 33:1697 34:1863 35:2037 36:2219 37:2408 38:2603 39:2805 40:3012 41:3223 42:3438 43:3656 44:3875 45:4096 46:4317 47:4536 48:4754 49:4969 50:5180 51:5387 52:5589 53:5784 54:5973 55:6155 56:6329 57:6495 58:6653 59:6801 60:6941 61:7072 62:7193 63:7306 64:7410 65:7505 66:7592 67:7671 68:7742 69:7806 70:7863 71:7913 72:7957 73:7996 74:8029 75:8058 76:8083 77:8104 78:8122 79:8137 80:8149 81:8159 82:8167 83:8173 84:8178 85:8182 86:8185 87:8187 88:8189 89:8190 90:8191 91:8192 
[14] 0:1 1:2 2:3 3:5 4:7 5:10 6:14 7:19 8:25 9:33 10:43 11:55 12:70 13:88 14:110 15:136 16:166 17:201 18:242 19:289 20:343 21:405 22:475 23:554 24:643 25:742 26:852 27:974 28:1108 29:1254 30:1414 31:1587 32:1774 33:1976 34:2192 35:2423 36:2669 37:2929 38:3203 39:3492 40:3794 41:4109 42:4437 43:4776 44:5126 45:5487 46:5856 47:6233 48:6617 49:7006 50:7399 51:7795 52:8192 53:8589 54:8985 55:9378 56:9767 57:10151 58:10528 59:10897 60:11258 61:11608 62:11947 63:12275 64:12590 65:12892 66:13181 67:13455 68:13715 69:13961 70:14192 71:14408 72:14610 73:14797 74:14970 75:15130 76:15276 77:15410 78:15532 79:15642 80:15741 81:15830 82:15909 83:15979 84:16041 85:16095 86:16142 87:16183 88:16218 89:16248 90:16274 91:16296 92:16314 93:16329 94:16341 95:16351 96:16359 97:16365 98:16370 99:16374 100:16377 101:16379 102:16381 103:16382 104:16383 105:16384 
[15] 0:1 1:2 2:3 3:5 4:7 5:10 6:14 7:19 8:25 9:33 10:43 11:55 12:70 13:88 14:110 15:137 16:168 17:204 18:247 19:296 20:353 21:419 22:494 23:579 24:676 25:785 26:907 27:1044 28:1196 29:1364 30:1550 31:1753 32:1975 33:2218 34:2481 35:2766 36:3074 37:3404 38:3757 39:4135 40:4536 41:4961 42:5411 43:5884 44:6380 45:6901 46:7443 47:8007 48:8593 49:9198 50:9822 51:10464 52:11121 53:11792 54:12477 55:13172 56:13876 57:14588 58:15304 59:16023 60:16745 61:17464 62:18180 63:18892 64:19596 65:20291 66:20976 67:21647 68:22304 69:22946 70:23570 71:24175 72:24761 73:25325 74:25867 75:26388 76:26884 77:27357 78:27807 79:28232 80:28633 81:29011 82:29364 83:29694 84:30002 85:30287 86:30550 87:30793 88:31015 89:31218 90:31404 91:31572 92:31724 93:31861 94:31983 95:32092 96:32189 97:32274 98:32349 99:32415 100:32472 101:32521 102:32564 103:32600 104:32631 105:32658 106:32680 107:32698 108:32713 109:32725 110:32735 111:32743 112:32749 113:32754 114:32758 115:32761 116:32763 117:32765 118:32766 119:32767 120:32768 
[16] 0:1 1:2 2:3 3:5 4:7 5:10 6:14 7:19 8:25 9:33 10:43 11:55 12:70 13:88 14:110 15:137 16:169 17:206 18:250 19:301 20:360 21:429 22:508 23:598 24:701 25:818 26:950 27:1099 28:1266 29:1452 30:1660 31:1890 32:2143 33:2422 34:2728 35:3062 36:3427 37:3823 38:4251 39:4714 40:5212 41:5746 42:6318 43:6928 44:7576 45:8265 46:8993 47:9760 48:10568 49:11416 50:12303 51:13230 52:14195 53:15196 54:16234 55:17307 56:18412 57:19549 58:20715 59:21907 60:23125 61:24365 62:25623 63:26899 64:28189 65:29489 66:30798 67:32111 68:33425 69:34738 70:36047 71:37347 72:38637 73:39913 74:41171 75:42411 76:43629 77:44821 78:45987 79:47124 80:48229 81:49302 82:50340 83:51341 84:52306 85:53233 86:54120 87:54968 88:55776 89:56543 90:57271 91:57960 92:58608 93:59218 94:59790 95:60324 96:60822 97:61285 98:61713 99:62109 100:62474 101:62808 102:63114 103:63393 104:63646 105:63876 106:64084 107:64270 108:64437 109:64586 110:64718 111:64835 112:64938 113:65028 114:65107 115:65176 116:65235 117:65286 118:65330 119:65367 120:65399 121:65426 122:65448 123:65466 124:65481 125:65493 126:65503 127:65511 128:65517 129:65522 130:65526 131:65529 132:65531 133:65533 134:65534 135:65535 136:65536 
[17] 0:1 1:2 2:3 3:5 4:7 5:10 6:14 7:19 8:25 9:33 10:43 11:55 12:70 13:88 14:110 15:137 16:169 17:207 18:252 19:304 20:365 21:436 22:518 23:612 24:720 25:843 26:983 27:1142 28:1321 29:1522 30:1748 31:2000 32:2280 33:2591 34:2934 35:3312 36:3728 37:4183 38:4680 39:5222 40:5810 41:6447 42:7136 43:7878 44:8675 45:9531 46:10445 47:11420 48:12458 49:13559 50:14725 51:15958 52:17257 53:18623 54:20057 55:21558 56:23126 57:24761 58:26461 59:28225 60:30053 61:31941 62:33888 63:35892 64:37949 65:40057 66:42214 67:44414 68:46655 69:48933 70:51243 71:53581 72:55944 73:58325 74:60720 75:63126 76:65536 77:67946 78:70352 79:72747 80:75128 81:77491 82:79829 83:82139 84:84417 85:86658 86:88858 87:91015 88:93123 89:95180 90:97184 91:99131 92:101019 93:102847 94:104611 95:106311 96:107946 97:109514 98:111015 99:112449 100:113815 101:115114 102:116347 103:117513 104:118614 105:119652 106:120627 107:121541 108:122397 109:123194 110:123936 111:124625 112:125262 113:125850 114:126392 115:126889 116:127344 117:127760 118:128138 119:128481 120:128792 121:129072 122:129324 123:129550 124:129751 125:129930 126:130089 127:130229 128:130352 129:130460 130:130554 131:130636 132:130707 133:130768 134:130820 135:130865 136:130903 137:130935 138:130962 139:130984 140:131002 141:131017 142:131029 143:131039 144:131047 145:131053 146:131058 147:131062 148:131065 149:131067 150:131069 151:131070 152:131071 153:131072 
[18] 0:1 1:2 2:3 3:5 4:7 5:10 6:14 7:19 8:25 9:33 10:43 11:55 12:70 13:88 14:110 15:137 16:169 17:207 18:253 19:306 20:368 21:441 22:525 23:622 24:734 25:862 26:1008 27:1175 28:1364 29:1577 30:1818 31:2088 32:2390 33:2728 34:3103 35:3519 36:3980 37:4487 38:5045 39:5658 40:6328 41:7059 42:7856 43:8721 44:9658 45:10673 46:11766 47:12942 48:14206 49:15559 50:17005 51:18549 52:20191 53:21935 54:23785 55:25741 56:27806 57:29983 58:32271 59:34672 60:37189 61:39819 62:42563 63:45423 64:48394 65:51477 66:54672 67:57973 68:61380 69:64891 70:68500 71:72204 72:76001 73:79883 74:83846 75:87887 76:91997 77:96171 78:100405 79:104688 80:109016 81:113383 82:117778 83:122196 84:126631 85:131072 86:135513 87:139948 88:144366 89:148761 90:153128 91:157456 92:161739 93:165973 94:170147 95:174257 96:178298 97:182261 98:186143 99:189940 100:193644 101:197253 102:200764 103:204171 104:207472 105:210667 106:213750 107:216721 108:219581 109:222325 110:224955 111:227472 112:229873 113:232161 114:234338 115:236403 116:238359 117:240209 118:241953 119:243595 120:245139 121:246585 122:247938 123:249202 124:250378 125:251471 126:252486 127:253423 128:254288 129:255085 130:255816 131:256486 132:257099 133:257657 134:258164 135:258625 136:259041 137:259416 138:259754 139:260056 140:260326 141:260567 142:260780 143:260969 144:261136 145:261282 146:261410 147:261522 148:261619 149:261703 150:261776 151:261838 152:261891 153:261937 154:261975 155:262007 156:262034 157:262056 158:262074 159:262089 160:262101 161:262111 162:262119 163:262125 164:262130 165:262134 166:262137 167:262139 168:262141 169:262142 170:262143 171:262144 
[19] 0:1 1:2 2:3 3:5 4:7 5:10 6:14 7:19 8:25 9:33 10:43 11:55 12:70 13:88 14:110 15:137 16:169 17:207 18:253 19:307 20:370 21:444 22:530 23:629 24:744 25:876 26:1027 27:1200 28:1397 29:1620 30:1873 31:2158 32:2478 33:2838 34:3240 35:3688 36:4187 37:4740 38:5351 39:6026 40:6769 41:7584 42:8478 43:9455 44:10520 45:11681 46:12941 47:14306 48:15783 49:17377 50:19093 51:20939 52:22919 53:25038 54:27304 55:29721 56:32293 57:35028 58:37929 59:41000 60:44248 61:47675 62:51284 63:55081 64:59067 65:63243 66:67614 67:72179 68:76939 69:81896 70:87049 71:92395 72:97936 73:103668 74:109587 75:115693 76:121980 77:128442 78:135077 79:141877 80:148835 81:155946 82:163201 83:170590 84:178108 85:185744 86:193486 87:201328 88:209257 89:217261 90:225332 91:233457 92:241622 93:249819 94:258034 95:266254 96:274469 97:282666 98:290831 99:298956 100:307027 101:315031 102:322960 103:330802 104:338544 105:346180 106:353698 107:361087 108:368342 109:375453 110:382411 111:389211 112:395846 113:402308 114:408595 115:414701 116:420620 117:426352 118:431893 119:437239 120:442392 121:447349 122:452109 123:456674 124:461045 125:465221 126:469207 127:473004 128:476613 129:480040 130:483288 131:486359 132:489260 133:491995 134:494567 135:496984 136:499250 137:501369 138:503349 139:505195 140:506911 141:508505 142:509982 143:511347 144:512607 145:513768 146:514833 147:515810 148:516704 149:517519 150:518262 151:518937 152:519548 153:520101 154:520600 155:521048 156:521450 157:521810 158:522130 159:522415 160:522668 161:522891 162:523088 163:523261 164:523412 165:523544 166:523659 167:523758 168:523844 169:523918 170:523981 171:524035 172:524081 173:524119 174:524151 175:524178 176:524200 177:524218 178:524233 179:524245 180:524255 181:524263 182:524269 183:524274 184:524278 185:524281 186:524283 187:524285 188:524286 189:524287 190:524288 
[20] 0:1 1:2 2:3 3:5 4:7 5:10 6:14 7:19 8:25 9:33 10:43 11:55 12:70 13:88 14:110 15:137 16:169 17:207 18:253 19:307 20:371 21:446 22:533 23:634 24:751 25:886 26:1041 27:1219 28:1422 29:1653 30:1916 31:2213 32:2548 33:2926 34:3350 35:3825 36:4356 37:4947 38:5604 39:6333 40:7139 41:8028 42:9008 43:10084 44:11264 45:12557 46:13968 47:15506 48:17180 49:18997 50:20966 51:23097 52:25397 53:27876 54:30544 55:33409 56:36480 57:39768 58:43280 59:47026 60:51017 61:55259 62:59762 63:64536 64:69587 65:74924 66:80555 67:86485 68:92722 69:99273 70:106142 71:113334 72:120855 73:128706 74:136891 75:145414 76:154273 77:163470 78:173006 79:182877 80:193083 81:203621 82:214485 83:225671 84:237175 85:248987 86:261100 87:273507 88:286196 89:299157 90:312381 91:325852 92:339558 93:353487 94:367621 95:381947 96:396449 97:411108 98:425908 99:440833 100:455862 101:470977 102:486161 103:501392 104:516652 105:531924 106:547184 107:562415 108:577599 109:592714 110:607743 111:622668 112:637468 113:652127 114:666629 115:680955 116:695089 117:709018 118:722724 119:736195 120:749419 121:762380 122:775069 123:787476 124:799589 125:811401 126:822905 127:834091 128:844955 129:855493 130:865699 131:875570 132:885106 133:894303 134:903162 135:911685 136:919870 137:927721 138:935242 139:942434 140:949303 141:955854 142:962091 143:968021 144:973652 145:978989 146:984040 147:988814 148:993317 149:997559 150:1001550 151:1005296 152:1008808 153:1012096 154:1015167 155:1018032 156:1020700 157:1023179 158:1025479 159:1027610 160:1029579 161:1031396 162:1033070 163:1034608 164:1036019 165:1037312 166:1038492 167:1039568 168:1040548 169:1041437 170:1042243 171:1042972 172:1043629 173:1044220 174:1044751 175:1045226 176:1045650 177:1046028 178:1046363 179:1046660 180:1046923 181:1047154 182:1047357 183:1047535 184:1047690 185:1047825 186:1047942 187:1048043 188:1048130 189:1048205 190:1048269 191:1048323 192:1048369 193:1048407 194:1048439 195:1048466 196:1048488 197:1048506 198:1048521 199:1048533 200:1048543 201:1048551 202:1048557 203:1048562 204:1048566 205:1048569 206:1048571 207:1048573 208:1048574 209:1048575 210:1048576 
[21] 0:1 1:2 2:3 3:5 4:7 5:10 6:14 7:19 8:25 9:33 10:43 11:55 12:70 13:88 14:110 15:137 16:169 17:207 18:253 19:307 20:371 21:447 22:535 23:637 24:756 25:893 26:1051 27:1233 28:1441 29:1678 30:1949 31:2256 32:2603 33:2996 34:3438 35:3935 36:4493 37:5116 38:5811 39:6586 40:7446 41:8399 42:9454 43:10617 44:11898 45:13308 46:14854 47:16547 48:18399 49:20419 50:22619 51:25013 52:27610 53:30424 54:33470 55:36759 56:40305 57:44124 58:48227 59:52630 60:57350 61:62398 62:67790 63:73544 64:79671 65:86188 66:93112 67:100453 68:108228 69:116453 70:125139 71:134300 72:143952 73:154103 74:164767 75:175958 76:187682 77:199950 78:212774 79:226157 80:240109 81:254638 82:269744 83:285433 84:301711 85:318574 86:336024 87:354062 88:372681 89:391879 90:411654 91:431994 92:452892 93:474342 94:496327 95:518838 96:541863 97:565381 98:589378 99:613839 100:638739 101:664060 102:689782 103:715877 104:742323 105:769099 106:796171 107:823515 108:851106 109:878910 110:906900 111:935049 112:963320 113:991685 114:1020116 115:1048576 116:1077036 117:1105467 118:1133832 119:1162103 120:1190252 121:1218242 122:1246046 123:1273637 124:1300981 125:1328053 126:1354829 127:1381275 128:1407370 129:1433092 130:1458413 131:1483313 132:1507774 133:1531771 134:1555289 135:1578314 136:1600825 137:1622810 138:1644260 139:1665158 140:1685498 141:1705273 142:1724471 143:1743090 144:1761128 145:1778578 146:1795441 147:1811719 148:1827408 149:1842514 150:1857043 151:1870995 152:1884378 153:1897202 154:1909470 155:1921194 156:1932385 157:1943049 158:1953200 159:1962852 160:1972013 161:1980699 162:1988924 163:1996699 164:2004040 165:2010964 166:2017481 167:2023608 168:2029362 169:2034754 170:2039802 171:2044522 172:2048925 173:2053028 174:2056847 175:2060393 176:2063682 177:2066728 178:2069542 179:2072139 180:2074533 181:2076733 182:2078753 183:2080605 184:2082298 185:2083844 186:2085254 187:2086535 188:2087698 189:2088753 190:2089706 191:2090566 192:2091341 193:2092036 194:2092659 195:2093217 196:2093714 197:2094156 198:2094549 199:2094896 200:2095203 201:2095474 202:2095711 203:2095919 204:2096101 205:2096259 206:2096396 207:2096515 208:2096617 209:2096705 210:2096781 211:2096845 212:2096899 213:2096945 214:2096983 215:2097015 216:2097042 217:2097064 218:2097082 219:2097097 220:2097109 221:2097119 222:2097127 223:2097133 224:2097138 225:2097142 226:2097145 227:2097147 228:2097149 229:2097150 230:2097151 231:2097152 
[22] 0:1 1:2 2:3 3:5 4:7 5:10 6:14 7:19 8:25 9:33 10:43 11:55 12:70 13:88 14:110 15:137 16:169 17:207 18:253 19:307 20:371 21:447 22:536 23:639 24:759 25:898 26:1058 27:1243 28:1455 29:1697 30:1974 31:2289 32:2646 33:3051 34:3508 35:4023 36:4603 37:5253 38:5980 39:6793 40:7699 41:8706 42:9825 43:11064 44:12433 45:13945 46:15610 47:17440 48:19450 49:21652 50:24060 51:26691 52:29559 53:32680 54:36073 55:39755 56:43743 57:48059 58:52720 59:57746 60:63161 61:68984 62:75236 63:81943 64:89125 65:96805 66:105010 67:113761 68:123082 69:133000 70:143538 71:154719 72:166571 73:179116 74:192377 75:206382 76:221152 77:236709 78:253079 79:270281 80:288336 81:307268 82:327094 83:347831 84:369501 85:392118 86:415695 87:440250 88:465793 89:492332 90:519882 91:548447 92:578031 93:608642 94:640279 95:672941 96:706630 97:741339 98:777060 99:813789 100:851513 101:890217 102:929891 103:970515 104:1012067 105:1054532 106:1097882 107:1142089 108:1187130 109:1232972 110:1279581 111:1326928 112:1374974 113:1423679 114:1473008 115:1522918 116:1573363 117:1624305 118:1675695 119:1727484 120:1779630 121:1832081 122:1884785 123:1937697 124:1990763 125:2043930 126:2097152 127:2150374 128:2203541 129:2256607 130:2309519 131:2362223 132:2414674 133:2466820 134:2518609 135:2569999 136:2620941 137:2671386 138:2721296 139:2770625 140:2819330 141:2867376 142:2914723 143:2961332 144:3007174 145:3052215 146:3096422 147:3139772 148:3182237 149:3223789 150:3264413 151:3304087 152:3342791 153:3380515 154:3417244 155:3452965 156:3487674 157:3521363 158:3554025 159:3585662 160:3616273 161:3645857 162:3674422 163:3701972 164:3728511 165:3754054 166:3778609 167:3802186 168:3824803 169:3846473 170:3867210 171:3887036 172:3905968 173:3924023 174:3941225 175:3957595 176:3973152 177:3987922 178:4001927 179:4015188 180:4027733 181:4039585 182:4050766 183:4061304 184:4071222 185:4080543 186:4089294 187:4097499 188:4105179 189:4112361 190:4119068 191:4125320 192:4131143 193:4136558 194:4141584 195:4146245 196:4150561 197:4154549 198:4158231 199:4161624 200:4164745 201:4167613 202:4170244 203:4172652 204:4174854 205:4176864 206:4178694 207:4180359 208:4181871 209:4183240 210:4184479 211:4185598 212:4186605 213:4187511 214:4188324 215:4189051 216:4189701 217:4190281 218:4190796 219:4191253 220:4191658 221:4192015 222:4192330 223:4192607 224:4192849 225:4193061 226:4193246 227:4193406 228:4193545 229:4193665 230:4193768 231:4193857 232:4193933 233:4193997 234:4194051 235:4194097 236:4194135 237:4194167 238:4194194 239:4194216 240:4194234 241:4194249 242:4194261 243:4194271 244:4194279 245:4194285 246:4194290 247:4194294 248:4194297 249:4194299 250:4194301 251:4194302 252:4194303 253:4194304 
[23] 0:1 1:2 2:3 3:5 4:7 5:10 6:14 7:19 8:25 9:33 10:43 11:55 12:70 13:88 14:110 15:137 16:169 17:207 18:253 19:307 20:371 21:447 22:536 23:640 24:761 25:901 26:1063 27:1250 28:1465 29:1711 30:1993 31:2314 32:2679 33:3094 34:3563 35:4093 36:4691 37:5363 38:6117 39:6962 40:7906 41:8959 42:10132 43:11435 44:12880 45:14481 46:16249 47:18199 48:20348 49:22710 50:25303 51:28146 52:31256 53:34654 54:38362 55:42401 56:46794 57:51567 58:56743 59:62349 60:68414 61:74964 62:82029 63:89642 64:97831 65:106630 66:116074 67:126194 68:137027 69:148610 70:160978 71:174169 72:188223 73:203176 74:219068 75:235941 76:253832 77:272782 78:292834 79:314024 80:336395 81:359988 82:384840 83:410992 84:438485 85:467354 86:497638 87:529375 88:562598 89:597342 90:633643 91:671529 92:711031 93:752180 94:794998 95:839512 96:885746 97:933716 98:983442 99:1034941 100:1088222 101:1143296 102:1200172 103:1258851 104:1319335 105:1381626 106:1445713 107:1511590 108:1579248 109:1648667 110:1719831 111:1792721 112:1867306 113:1943561 114:2021455 115:2100949 116:2182005 117:2264584 118:2348636 119:2434114 120:2520969 121:2609141 122:2698574 123:2789210 124:2880980 125:2973821 126:3067667 127:3162441 128:3258073 129:3354489 130:3451608 131:3549353 132:3647646 133:3746401 134:3845537 135:3944973 136:4044620 137:4144394 138:4244214 139:4343988 140:4443635 141:4543071 142:4642207 143:4740962 144:4839255 145:4937000 146:5034119 147:5130535 148:5226167 149:5320941 150:5414787 151:5507628 152:5599398 153:5690034 154:5779467 155:5867639 156:5954494 157:6039972 158:6124024 159:6206603 160:6287659 161:6367153 162:6445047 163:6521302 164:6595887 165:6668777 166:6739941 167:6809360 168:6877018 169:6942895 170:7006982 171:7069273 172:7129757 173:7188436 174:7245312 175:7300386 176:7353667 177:7405166 178:7454892 179:7502862 180:7549096 181:7593610 182:7636428 183:7677577 184:7717079 185:7754965 186:7791266 187:7826010 188:7859233 189:7890970 190:7921254 191:7950123 192:7977616 193:8003768 194:8028620 195:8052213 196:8074584 197:8095774 198:8115826 199:8134776 200:8152667 201:8169540 202:8185432 203:8200385 204:8214439 205:8227630 206:8239998 207:8251581 208:8262414 209:8272534 210:8281978 211:8290777 212:8298966 213:8306579 214:8313644 215:8320194 216:8326259 217:8331865 218:8337041 219:8341814 220:8346207 221:8350246 222:8353954 223:8357352 224:8360462 225:8363305 226:8365898 227:8368260 228:8370409 229:8372359 230:8374127 231:8375728 232:8377173 233:8378476 234:8379649 235:8380702 236:8381646 237:8382491 238:8383245 239:8383917 240:8384515 241:8385045 242:8385514 243:8385929 244:8386294 245:8386615 246:8386897 247:8387143 248:8387358 249:8387545 250:8387707 251:8387847 252:8387968 253:8388072 254:8388161 255:8388237 256:8388301 257:8388355 258:8388401 259:8388439 260:8388471 261:8388498 262:8388520 263:8388538 264:8388553 265:8388565 266:8388575 267:8388583 268:8388589 269:8388594 270:8388598 271:8388601 272:8388603 273:8388605 274:8388606 275:8388607 276:8388608 
[24] 0:1 1:2 2:3 3:5 4:7 5:10 6:14 7:19 8:25 9:33 10:43 11:55 12:70 13:88 14:110 15:137 16:169 17:207 18:253 19:307 20:371 21:447 22:536 23:640 24:762 25:903 26:1066 27:1255 28:1472 29:1721 30:2007 31:2333 32:2704 33:3127 34:3606 35:4148 36:4761 37:5451 38:6227 39:7099 40:8075 41:9166 42:10385 43:11742 44:13251 45:14928 46:16785 47:18839 48:21109 49:23611 50:26366 51:29396 52:32721 53:36365 54:40355 55:44715 56:49473 57:54661 58:60306 59:66442 60:73105 61:80327 62:88146 63:96604 64:105737 65:115589 66:126206 67:137629 68:149907 69:163091 70:177227 71:192368 72:208571 73:225886 74:244371 75:264087 76:285088 77:307436 78:331196 79:356425 80:383189 81:411555 82:441583 83:473341 84:506899 85:542318 86:579667 87:619017 88:660429 89:703972 90:749717 91:797723 92:848058 93:900790 94:955976 95:1013681 96:1073969 97:1136892 98:1202510 99:1270882 100:1342054 101:1416078 102:1493006 103:1572875 104:1655730 105:1741614 106:1830553 107:1922582 108:2017733 109:2116021 110:2217469 111:2322096 112:2429904 113:2540903 114:2655098 115:2772478 116:2893036 117:3016764 118:3143634 119:3273626 120:3406715 121:3542857 122:3682016 123:3824151 124:3969202 125:4117117 126:4267839 127:4421292 128:4577408 129:4736115 130:4897321 131:5060943 132:5226894 133:5395068 134:5565368 135:5737694 136:5911926 137:6087955 138:6265669 139:6444937 140:6625640 141:6807655 142:6990843 143:7175076 144:7360224 145:7546141 146:7732693 147:7919745 148:8107147 149:8294762 150:8482454 151:8670069 152:8857471 153:9044523 154:9231075 155:9416992 156:9602140 157:9786373 158:9969561 159:10151576 160:10332279 161:10511547 162:10689261 163:10865290 164:11039522 165:11211848 166:11382148 167:11550322 168:11716273 169:11879895 170:12041101 171:12199808 172:12355924 173:12509377 174:12660099 175:12808014 176:12953065 177:13095200 178:13234359 179:13370501 180:13503590 181:13633582 182:13760452 183:13884180 184:14004738 185:14122118 186:14236313 187:14347312 188:14455120 189:14559747 190:14661195 191:14759483 192:14854634 193:14946663 194:15035602 195:15121486 196:15204341 197:15284210 198:15361138 199:15435162 200:15506334 201:15574706 202:15640324 203:15703247 204:15763535 205:15821240 206:15876426 207:15929158 208:15979493 209:16027499 210:16073244 211:16116787 212:16158199 213:16197549 214:16234898 215:16270317 216:16303875 217:16335633 218:16365661 219:16394027 220:16420791 221:16446020 222:16469780 223:16492128 224:16513129 225:16532845 226:16551330 227:16568645 228:16584848 229:16599989 230:16614125 231:16627309 232:16639587 233:16651010 234:16661627 235:16671479 236:16680612 237:16689070 238:16696889 239:16704111 240:16710774 241:16716910 242:16722555 243:16727743 244:16732501 245:16736861 246:16740851 247:16744495 248:16747820 249:16750850 250:16753605 251:16756107 252:16758377 253:16760431 254:16762288 255:16763965 256:16765474 257:16766831 258:16768050 259:16769141 260:16770117 261:16770989 262:16771765 263:16772455 264:16773068 265:16773610 266:16774089 267:16774512 268:16774883 269:16775209 270:16775495 271:16775744 272:16775961 273:16776150 274:16776313 275:16776454 276:16776576 277:16776680 278:16776769 279:16776845 280:16776909 281:16776963 282:16777009 283:16777047 284:16777079 285:16777106 286:16777128 287:16777146 288:16777161 289:16777173 290:16777183 291:16777191 292:16777197 293:16777202 294:16777206 295:16777209 296:16777211 297:16777213 298:16777214 299:16777215 300:16777216