From 5be8b33c34e2ede0b9294f0401cf0a5f0d602651 Mon Sep 17 00:00:00 2001 From: Priya Mishra <52657555+Priya2698@users.noreply.github.com> Date: Fri, 19 Apr 2024 15:27:36 -0700 Subject: [PATCH] Matmul Python Benchmarks (#2088) Fixes #2082 --------- Co-authored-by: Jacob Hinkle --- benchmarks/python/matmul_problems.csv | 8001 +++++++++++++++++++++++++ benchmarks/python/test_matmul.py | 56 + 2 files changed, 8057 insertions(+) create mode 100644 benchmarks/python/matmul_problems.csv create mode 100644 benchmarks/python/test_matmul.py diff --git a/benchmarks/python/matmul_problems.csv b/benchmarks/python/matmul_problems.csv new file mode 100644 index 00000000000..fb99bf61b63 --- /dev/null +++ b/benchmarks/python/matmul_problems.csv @@ -0,0 +1,8001 @@ +M,N,K,layout +920,2120,152120,NN +136,624,112,NT +272,456,112416,TN +46112,976,6288,NT +272,9104,3200,TT +128,720,12272,TN +2160,1016,6120,TT +1240,560,1840,NT +616,3992,1336,NT +272,8952,360,TT +3840,2144,3848,NT +2304,3040,4384,TT +1320,4848,6128,TN +384,2720,4424,NT +776,976,3080,TN +32,3424,6408,NT +24,888,41176,TN +64,264,11944,NT +72,512,2680,TN +1368,13576,10488,TT +528,120,5528,NN +1488,328,20664,NN +296,3952,14368,TT +288,6128,784,TT +488,56,9200,NN +2312,96,464720,TN +72,55256,36176,NT +1680,2248,1824,TN +7832,2216,1192,TT +128,664,6552,TN +120,416,18144,NN +528,288,157024,TT +480,10056,20040,TN +11032,24,1944,TN +1304,4936,688,TN +168,288,5552,TT +2088,2784,4800,NN +1304,248,528,NT +1568,2696,23360,NT +2216,384,2888,NT +328,7752,4032,NT +3272,64,1232,NT +856,3504,5344,NN +600,256,6560,TN +168,368,26384,NN +7176,1952,1256,NT +24,488,6288,NN +600,4048,168984,NN +960,40,11472,NN +8256,144,8704,NN +4352,528,10664,NN +936,14416,2968,TN +816,872,400,TN +520,1040,5880,TN +992,70056,6704,TN +208,56,118336,TN +304,136,5736,TT +19312,4528,12624,NT +1856,480,16960,TT +776,864,9736,TN +1096,16,5720,NN +1864,360,472,TT +4088,984,5232,NT +528,184,33768,NN +2056,264,744,TT +640,496,23344,TT +528,21784,5456,NT +216,1368,130248,NT +448,1272,496,NN +29424,2456,16808,NT +696,544,2208,NT +592,64,232,NN +88,1856,2192,NT +864,1776,28192,TT +432,448,7544,NN +344,7520,6144,NT +424,3352,2592,NT +144,960,3032,TN +840,2408,7720,NN +192,192,1120,NN +6568,1656,680,NT +808,2784,816,TT +16,792,5488,NN +48,1768,18992,TN +24,912,77480,TT +600,312,2552,NT +464,832,2192,NN +96,1736,38688,TN +200,1288,25192,NN +2848,312,119368,TT +416,496,3000,TT +3544,168,12144,NN +1408,4144,2040,NN +136,784,3760,NT +344,152,680,TN +256,88,11200,TN +976,216,8552,TT +1672,352,15592,NN +232,3968,112208,NN +11384,48,39160,NT +216,424,119960,NN +6136,38472,9640,NT +15184,2168,2472,NT +24,240,368,NT +2136,944,2920,TN +88,2240,33536,TT +640,3008,5480,TT +520,1576,37992,NT +328,302328,22072,TN +72,264,13280,TT +3456,14808,2296,NT +952,1408,848,NN +40,728,5056,TT +16,760,40232,TN +2096,13744,2608,NT +272,10392,5632,NN +944,1016,1424,TT +304,120,3344,NT +616,208,4344,TT +14408,7112,4128,TN +416,2456,80680,NT +504,6912,26768,TN +416,344,3344,TN +2640,152,10688,NN +504,384,25472,NN +6560,2504,256,TN +376,224,6240,NN +6832,128,22768,TN +3600,4744,1912,TN +1256,240,22112,TN +856,632,4240,TT +224312,3016,6072,TN +1512,2128,4408,NT +40,528,11632,NT +30408,2568,1776,NT +109896,3840,8808,NT +3184,392,4064,TN +6416,1032,1904,TN +1112,4808,1464,TT +248,1384,10144,TT +2640,1928,4096,NN +584,736,60136,NN +424,2008,12296,NT +9736,304,5776,TT +152,66904,504,NT +256,240,2664,NN +760,232,15744,TT +1200,8400,86800,NT +1160,7712,5072,NT +13952,5544,2288,NT +86960,14376,5488,NT +864,496,5128,NT +1344,2640,1232,TT +3784,1040,43840,TN +360,120,69944,TT +232,408,440,TT +4288,6616,10256,NT +5088,13360,19544,NT +752,2784,49096,TN +64,888,31504,NN +4360,672,136,NN +10816,112,3816,TT +56,1960,6112,TN +120,776,7976,TN +560,4496,4904,TN +864,816,130808,NN +5840,376,120,NN +1520,2192,11896,NT +1584,33472,2824,NN +1504,1632,9320,NT +112,160,28128,NT +59776,24,1248,NN +3536,15288,1912,NT +5320,33928,3464,NN +32,4152,142632,NN +56,528,4400,TN +736,712,4048,TN +888,4744,4152,TT +64,3056,6040,TT +1472,2720,5784,NN +792,1280,6688,NT +24,504,2872,NN +520,880,20688,TN +32,576,70416,TN +7616,4920,3720,TN +48,2464,15008,TT +96,464,28608,TT +2128,6208,8168,TT +1488,160,14408,NT +80,1672,10976,TT +10840,480,6984,TN +192,80,25528,NT +920,920,1584,TT +392,1048,17640,NT +11656,27224,4192,NN +24,2152,3640,TN +3856,2752,6952,TN +128,1904,9752,NT +120,2056,10352,TN +10992,6712,19744,TN +920,504,10272,NT +1392,1832,4184,TT +904,183672,1760,NT +96,344,1296,NN +120,200,5856,NN +224,12088,83480,NN +840,584,4360,TN +6696,4688,3352,TN +6768,664,11864,TT +56,4984,9976,NN +5864,2032,15432,TN +720,376,39752,TN +2040,1880,2480,TN +776,3264,312,NT +2432,920,3328,NT +840,2656,13376,NT +648,32,7080,NN +5312,3752,9256,TN +8752,23504,1536,NT +28504,568,5376,NN +376,229144,280,NT +464,1552,1576,TN +120,5304,133672,NT +320,1240,1784,TT +88,112,1600,NT +72,4640,8336,TN +272,7184,952,TN +688,1512,44336,TT +384,2904,3224,NT +744,3488,5952,TN +27056,10464,1448,NT +136,216,3704,TN +32,392,82160,NT +4224,384,3576,NN +392,1384,352,NN +32,1744,648,TT +928,1264,39880,TT +6552,448,2144,NN +928,64,6448,NN +1656,256,13696,NN +5288,5696,2312,NT +1080,336,944,NT +104,2968,256,TT +208,1288,7320,TN +72,1480,14880,TT +632,976,1920,NN +128,24,186360,NT +2448,1384,3568,NT +216,31448,122584,NN +30248,512,1432,TN +496,2576,5744,TT +152,1272,1000,NT +216,80,5672,TN +5080,120,43728,NN +2400,1120,11096,TN +16,9568,21688,NN +96,232,2704,TT +1408,1192,92344,TN +8664,2568,7400,NN +160,2208,16928,NN +4640,4456,1656,NT +64,72,109800,TN +384,552,1024,NN +1488,160,14408,TN +2808,30128,4968,NT +1560,440,696,TN +184,1856,7560,TT +592,64,232,TT +128,632,8536,TT +896,8976,4352,TN +1248,128,407448,TT +224,6464,173320,NN +488,1112,3992,NN +6816,48,736,NT +1128,328,1496,NT +1216,45296,704,NT +272,3344,2000,TN +416,1720,4456,NT +1728,5928,5416,TT +24,1032,18544,TN +2568,1432,29912,TT +3592,184,31856,TN +12816,16,3832,TN +24,1216,7752,NN +304,1512,712,TT +48,464,2448,TN +560,560,3960,NN +3816,1608,2376,TN +32,24464,109472,NT +40,712,1896,NN +5232,672,1784,NN +184,272,4544,NT +1088,808,3496,NT +24336,1416,66200,NN +264,1328,4640,TT +2592,4848,82520,NN +1560,48,121480,TN +608,912,44920,NN +4384,256,3352,NT +496,352,4728,NN +112,728,24344,NT +208,16,24392,NT +4816,5008,5672,NT +488,6896,3696,TN +184,128,6696,TN +656,1872,8600,TN +40,1576,135144,NT +160,360,4896,TN +616,656,8168,TT +424,3352,2592,TN +5776,560,5352,TT +1952,8,8944,TT +176,3872,5032,NN +128,1064,60320,TT +6168,1840,21656,NN +160,10072,7968,NN +5344,40,75832,TT +2896,6568,6000,TN +6088,920,84056,TN +984,12816,26720,NN +784,200,24392,NN +2312,2912,1568,NN +1784,448,9880,TN +5192,7048,68936,NN +136,2712,166064,TN +1240,7336,39096,NN +56,5800,656,NN +832,2384,8296,TN +48,3920,10176,NT +3872,648,15304,NT +1616,766840,4176,NN +104,272,48,TN +9776,2048,281784,TT +2600,3864,8464,NT +1648,1000,272,NT +224,4096,6232,TT +1032,328,5048,NN +12080,472,2888,NT +32,15528,1280,TN +88,2352,30616,TT +24,20368,1312,TN +488,600,17608,NN +72,8000,464,NN +1472,1352,23312,NT +568,2096,5320,NT +5992,1048,4648,TN +4408,40,6896,NN +336,1384,5064,TT +1376,45784,8816,NT +1848,9016,3896,TN +592,6904,9632,TT +64,1920,4904,TN +2504,38312,904,NT +312,56,7128,TT +1216,22752,2880,TT +352,792,10992,TT +248,2208,4024,TN +376,904,20600,NN +1568,3312,7216,TN +2512,112,36936,TT +1184,400,12248,TT +520,360,752,TN +392,1288,5032,TT +840,112,19096,TT +272,208,1768,NN +1240,1696,6672,NN +912,2160,180856,NN +432,432,968,NT +26448,4224,9680,NN +11192,7720,1736,NN +3480,984,28048,NN +2824,264,2488,TN +504,80,232,TT +152,64,8856,NT +816,1048,3280,TT +2336,896,34632,NN +136,14648,40992,TN +1264,88,6032,TN +280,224,4816,NN +1360,112,616,TN +464,6016,1080,NN +17464,872,3368,TT +800,1880,5512,NN +504,18048,51640,TN +976,12080,49896,TN +432,208,5424,NN +32,1520,16064,NN +27448,1760,7488,NN +9568,392,77896,NT +1264,1136,5848,TT +1400,5048,3296,TT +432,96,2376,TT +1952,13912,96,TN +41776,1800,536,NT +5664,1152,33040,NN +632,112,984,TN +888,1928,5504,TT +1400,64544,20264,TN +4216,24,8104,NN +1216,116480,1568,NT +568,2096,5320,TN +1336,688,432,NN +272,6992,27136,TT +416,6304,2824,NT +32,1200,14104,TN +144,127360,11688,TT +2152,17264,24576,TN +624,1832,9744,NN +72,5616,4008,NN +384448,2472,16664,TT +3368,2896,16880,TT +1032,12608,42368,TT +424,3352,2592,TT +640,3280,15520,TN +544,16,2240,NN +160,73072,2168,NN +184,384,816,NN +448,11872,1056,TN +1296,9512,3024,TT +1728,688,85552,NN +7984,3328,36272,NN +1072,112,912,NT +400,3504,7296,TN +2888,18288,13880,TN +3784,5272,1200,TN +448,6136,1080,NN +344,1680,3520,NN +464,384,14456,TN +1256,240,22112,TT +72,736,12016,TT +5520,408,42880,NT +904,608,83936,TN +5920,2040,928,TN +856,760,4072,TT +104,32,6320,NT +288,792,8248,NN +472,1016,4072,NN +16,3480,216,NT +2768,8408,2560,NN +1120,336,14896,NT +15312,3336,1272,TT +160,1224,7504,TT +1584,19784,36216,TN +968,1240,4536,NT +808,14184,13488,NN +736,2656,336,TT +1168,80,73680,NN +320,77864,27144,TT +504,1048,2120,TN +984,4720,188520,TT +2664,936,19632,TT +1680,112,282672,NT +64,776,7936,NN +72,472,4952,NN +1648,520,1640,TN +640,5280,1528,TN +3296,24,15680,TT +328,2200,12048,NN +1712,4696,160,TT +2504,1352,3752,TT +520,784,304,TN +192,80,800,NN +40,8880,1288,TT +16456,280,3744,NN +312,48,156472,TT +376,304,9464,TT +15288,40,3416,TT +984,576,1038672,NT +656,792,1296,TT +320,400,4848,TN +5464,6336,13656,TN +288,2408,3912,TN +840,4808,8440,NN +2504,600,25800,NT +1184,624,3216,TT +680,696,32000,NN +56,72,11760,NN +48,192,12016,TN +888,1824,2264,TN +856,2000,4496,TT +40,528,11632,TT +1112,664,93288,NN +168,88,4944,NT +72,2608,424,NT +184,2136,8344,TT +1112,4808,1464,TN +1152,488,2640,NN +2424,2048,3224,NT +144,6728,19888,NT +16,104,16088,NT +592,3496,7872,NT +6528,528,1608,NN +1144,600,12672,TN +1912,2792,232,TT +4976,40,9304,TT +4120,72,1160,NT +416,48,16472,NT +16,88,3280,NT +144,168,5624,TT +1784,928,3064,NN +808,120,8952,TT +696,352,3104,NT +416,3584,59256,NN +3928,88,1784,NT +1288,3552,5072,NN +2056,2920,22424,TN +160,9016,2480,NT +1512,27640,1024,NN +2152,88,96,TN +360,2040,304,NN +2784,1192,267752,NN +800,1208,61128,NN +608,520,7648,TN +272,240,9784,TN +72,5392,12704,TT +1784,512,14504,NN +144,1096,72,TN +4192,144,8680,NN +32,1304,10560,TN +13656,896,2856,TT +288,768,21464,NN +2368,2280,4080,TT +1760,1168,155992,NT +496,512,38960,TT +800,2936,513064,TT +872,528,144,TT +648,168,4312,NT +424,1608,7360,NT +4632,11480,11456,TN +280,2864,1008,TT +13528,11232,2032,TN +216,1416,71472,TN +3128,2600,26992,NT +160,200,15840,TN +824,1432,16280,NT +24,2008,6704,NN +67632,800,18784,TT +888,2000,5704,NN +2064,3208,28456,NT +1560,1304,32464,TT +1200,2160,35360,TN +9552,1632,1584,TT +1984,96,1560,TN +4768,576,55928,TT +232,48,16056,NT +1480,152,3088,TT +240,152,5984,TT +88,1504,9712,NN +539624,312,10744,TT +1896,168,149800,TN +136,3832,64640,TN +232,14016,4608,TN +1152,424,4704,NT +432,840,5296,TT +208,3280,5952,NT +168,3304,70304,TT +360,13032,3992,TT +56,936,25496,NT +856,96,4096,NN +376,32,4320,NN +296,352,9560,NT +2704,3576,2456,TT +360,1088,6568,TN +120,2536,15592,NN +4984,160,13648,NT +352,552,3704,TN +4000,1176,1296,NN +568,1344,24688,NT +168,40,3848,TT +88,16408,39752,TT +3024,736,992,NT +31328,256,62344,NT +96,728,280360,TN +1832,544,232,NT +584,16792,38488,TT +792,496,7872,NT +7696,3144,848,NN +480,800,976,NT +4128,320,63864,NN +392,29784,17904,TT +1200,3664,944,TN +392,232,46984,TT +216,1024,63824,NN +128128,1976,1640,NN +1520,2192,11896,NN +72,2608,424,TT +840,2656,13376,TT +88,7688,96,TN +288,336,6696,TN +80,1336,6632,NN +2832,1224,12280,NN +72,112,24224,NN +560,480,1640,NT +8176,376,14744,NN +936,1744,25992,TT +416,328,3992,TT +48,408,28512,NN +120,432,880,TN +888,448,88,NN +4840,992,307600,NT +3656,3192,26120,TT +192,1928,920,TN +96,11104,11304,TN +1008,280,8520,NT +1360,7608,96,NN +664,944,4096,NN +152,168,8936,TT +56,376,95256,TN +1224,2288,96,NT +880,632,1168,NT +680,64,13776,NN +1048,4464,23896,TT +520,1296,368,TT +60456,8968,387936,TT +80,2760,10576,TN +72,1184,9328,TN +1176,1184,1736,NN +104808,1128,32128,NT +736,248,4120,NN +608,32,68728,TN +2960,1384,2960,NN +6944,120,4808,TN +1784,208,4000,TT +1192,4480,7696,NN +41808,384,46816,TT +2984,232,136,TN +600,2632,82320,TT +528,104,5504,TT +160,648,4032,NT +80,160,7776,TT +1072,17624,631976,TN +208,1888,28704,TT +152,1168,2688,TT +4208,1704,15400,TN +5736,528,4280,NN +744,1888,70992,NN +544,4776,14232,NT +224,536,2856,TT +432,80,240832,NN +512,21808,4240,TT +528,448,3880,TN +24,504,2872,NT +14592,18608,2168,NT +1088,1136,27904,TT +1560,752,16080,TT +1320,72,6888,NN +656,104,15416,TT +424,1272,7584,NT +1496,2656,1608,NT +5520,192,7096,TN +1816,55024,1568,NT +1736,2424,2448,NT +488,16,2024,NT +12008,4496,13272,TT +2088,8744,2824,TN +96,472,5296,TN +136,4616,2072,NN +1792,888,208,TN +53928,14680,59848,NN +2256,320,2336,NT +224,1088,8456,NT +9320,1632,32552,NN +472,2056,3104,TT +3992,1696,571504,NT +161344,3512,1272,NN +8,528,15088,TN +720,2656,3176,TN +8608,1088,2416,TN +2272,1048,8784,NN +33064,272,361056,NT +1744,1120,3088,TN +264,360,6800,TT +624,1416,192,TT +1000,176,24208,TT +1176,736,1064,TN +72,1048,10216,TN +16,56,150352,NN +1216,136,3304,NN +7512,5944,7280,TT +48,416,1784,NT +1536,2384,5688,TN +56,832,2864,TT +148624,1048,693576,TT +32,2792,5280,TN +408,56,52304,TT +53760,13312,6432,NN +40,256,30776,NN +1944,19368,5264,NN +80,680,6312,NN +792,736,21632,NT +2408,104,14496,NN +920,39776,1384,TN +1136,4152,11232,NN +504,2952,29504,TT +132768,744,19992,NN +1416,6872,1696,NN +200,8992,1592,NN +1016,968,1528,NN +576,360,171280,NN +3040,32,5472,NN +16,33928,25744,TN +208,2256,408,NN +64,2856,6008,TN +352,1472,7368,TT +88,23864,896,NN +4816,6064,12984,TT +208,256,19328,TN +2160,10448,5360,TN +56,1760,4840,TT +4568,530368,8352,NT +312,168,1288,TT +384,1192,87056,TT +128,2488,352,NT +3272,800,11432,NT +9440,264,888,TT +320,56,25680,TT +776,504,23328,TT +472,792,13568,TT +1880,1728,38224,NT +1064,2296,31120,TN +496,44760,65456,NN +272,208,4400,NT +1728,688,85552,NT +3024,2232,1864,NN +1456,296,7440,TT +4224,38784,4568,TN +2016,4816,8304,TT +1176,248,3328,TT +1456,80,81208,TN +15184,2168,2472,NN +648,95832,1576,NT +296,2312,2640,NT +3560,2904,702920,TN +840,288,3032,NT +128,56,25864,TT +16576,264,70568,TN +72,4520,3080,TN +5528,600,53840,TT +472,1008,22536,NN +3080,2760,44184,NT +1128,19688,3704,TN +176,8392,17856,NT +14728,1360,5344,NN +1144,2088,38480,NT +672,2160,34896,NT +288,1544,4552,TN +336,4800,1464,NT +3256,29992,1280,NT +2864,99024,32416,NT +7672,2720,22536,NT +12856,448,102008,TN +456,424,1336,TN +792,352,5848,NN +296,864,368,TT +312,1112,17824,TT +528,21784,5456,NN +400,296,2512,TT +136,4616,2072,TN +192,4064,2208,NT +240,3224,24696,TN +664,840,3632,NN +40,1648,16120,TN +1368,856,7024,NT +2456,296,5592,TT +216,1296,1248,NN +16592,72,9320,NN +832,544,2480,NT +96,3768,824,NN +6432,328,1024,TN +1576,1328,24608,TN +2904,632,33368,TN +1376,2536,4400,NT +272,9432,9288,TN +312,7928,88,TT +360,712,2272,NN +24736,792,14680,NT +1080,3232,6024,TT +15120,1312,1600,NN +80,3464,2288,TT +4040,600,39592,TT +42840,4560,11304,TN +24,520,25568,TN +4000,928,97680,TT +1344,2592,16,NT +200,343128,41624,NT +464,976,7152,NN +760,3152,7336,NT +1016,4096,26320,TN +40,800,888,TT +120,1440,168192,NN +1320,7520,8512,TN +24,128,1728,TT +20224,432,1672,TN +144,312,58456,NN +24,432,278432,TT +216,2968,86736,NN +13992,1656,6448,TN +888,232,6832,NN +122376,240,8760,TT +608,424,4728,NN +408,6376,11040,TN +9552,1632,1584,TN +32,776,23296,TT +2016,280,11616,TN +280,1352,47344,NT +600,3008,6320,TT +9160,776,5160,TT +456,7480,472,NT +11680,208,17960,TT +344,1168,520,TN +80,1264,8088,TN +2456,1088,40504,TT +136,672,128976,NT +544,16,2288,TT +7672,1256,5504,NT +480,464,20416,NN +6944,4784,856,NT +4176,72,22448,TN +288,232,2032,TT +576,184,8032,TT +704,72,13056,TT +904,3608,1664,NT +3144,2888,3208,TN +400,192,20048,NN +104,16,3104,TN +3512,376,16376,TT +1792,392,10984,TN +16,600,162824,NN +128,3600,6128,NT +2360,424,127488,NT +120,456,3496,NT +3000,560,2104,TT +520,21152,5176,NN +8792,4200,25208,TN +4776,6528,3296,TT +936,2616,3528,NN +288,6128,784,TN +152,16,1768,TN +248,2352,4960,TN +1984,7656,296,NN +568,5944,6888,NT +104,80,2456,NT +1152,56,2912,NT +480,664,23824,NT +528,104,5504,NN +4424,2016,4936,NN +4016,152,19560,NN +936,72,840,TN +136,184,175704,NN +3752,128,45896,NN +240,13944,172600,TN +2504,2104,2656,NN +312,1360,121800,NN +304,288,11312,NN +744,736,8488,NN +128,144,8072,TT +920,312,22512,NN +504,608,3272,NN +2112,3632,304240,NT +208,1104,2464,NN +8720,944,3816,NN +1952,8,8944,TN +808,120,8952,NN +56,32,1032,TT +112,1880,21536,NT +1312,744,6008,TT +768,224,9944,TN +4608,14304,688,TN +1296,103704,9672,NN +176,1312,88504,NN +288,1912,27864,NT +400,2864,7152,NN +360,792,1968,TT +576,1224,3192,TN +184,344,376,TN +2288,456,49328,TT +344,536,10504,TN +224,1560,1144,TT +6816,48,736,TN +240,1152,15304,NT +136,80,6216,NT +1312,232,6072,TN +22592,2728,7600,NN +120,24,7264,TT +768,1600,34952,TN +1776,8696,31352,TN +2992,328,14600,TT +800,464,192,TN +504,912,1600,NT +528,4680,7320,TN +1992,1936,2728,NT +336,208,100672,NT +3544,168,12144,TN +248,136,8112,NN +14664,136,10344,TN +256,6664,1152,TT +2184,42192,25376,NT +1168,392,8520,TT +384,1184,25200,TT +13080,6368,4536,TN +40,432,33448,TN +48,1072,1456,NN +208,1032,512,TN +88,64,37152,TT +1112,1680,216,TT +1712,176,7744,TT +880,256,108928,NN +2456,296,14680,TN +1184,2032,21600,NT +34472,200,11760,TN +136,440,33192,NT +312,168,1288,NT +1552,2968,1480,NN +4016,13512,51576,TT +440,3520,3144,TN +144,240,4992,TN +24648,120,34224,NT +9584,1184,27192,TN +32,160,3144,TT +14560,1816,5472,NT +6808,192,6824,NT +328,816,3072,TN +64,3056,6040,NN +1936,1480,17552,NT +1288,72,30440,TN +1144,2304,52128,TN +504,288,33488,NT +248,344,2256,TN +2792,120,1432,TN +208,3800,47256,TT +1024,496,872,NT +536,952,3104,TT +587728,296,2440,TN +1032,168,5976,NN +3080,424,1600,NT +12328,12200,456,TT +168,2624,382408,TN +1160,5624,12104,NT +23944,64,3872,TN +26752,2552,54264,TN +2592,4848,82520,NT +1304,736,2520,NN +192,624,496,NN +1776,432,10584,TT +1264,3568,2184,TN +920,384,5232,TN +272,624,5776,NT +4368,5392,9968,NT +2056,3616,1952,NN +808,1960,432,NT +208,112,5104,NT +89992,1752,3816,NN +312,352,77192,NN +9440,10536,7000,TN +56,31768,32432,NN +360,40,12704,TT +1912,1344,3480,NN +1232,1096,4464,NN +392,2544,42552,NN +640,24,3184,NN +840,4808,8440,TT +656,1360,2624,NT +544,1880,29864,NT +544,3472,9768,NN +1240,1784,1624,NN +2288,760,10088,TN +2448,104,30688,TN +304,17272,4216,TT +368,21208,3840,NN +1768,24,16000,NT +104,1592,1704,TT +16,536,6136,NN +272,712,536,TT +9960,32,568,TT +62064,5240,208,TN +224,54016,32856,NT +216,25048,2024,TN +3936,1600,3976,NT +832,1600,31696,TN +856,2704,6688,NN +3200,864,2408,TN +208,424,3112,NT +424,17216,10800,TT +317624,344,6464,TT +544,1464,5424,NN +40,1384,3016,NT +1048,4464,23896,NN +160,1656,28328,TN +32,4152,142632,TN +416,128,6128,TT +264,2024,2656,NT +760,17608,9784,TN +176,40,512,TT +208,1032,512,NN +136,4120,30256,NT +32704,488,9392,NN +3768,248,392,TN +3648,1576,4328,TT +480,800,976,TN +32,16,41144,TN +464,8384,13328,NN +40,256,30776,NT +240,464,13056,TN +1488,11848,2968,NT +1392,2296,4640,TT +1008,3864,3696,TN +2144,1856,1072,TT +6016,160,10472,TT +848,264,872,NT +17336,4056,88,NN +24,840,5560,NN +19968,288,18328,NT +640,1272,688,TN +408,1800,11920,NT +328,302328,22072,NT +2440,32,9816,NN +1072,888,103800,TT +8592,2464,2600,NN +216,75112,44024,TN +512,880,5984,TT +2440,1288,1408,NN +1136,344,3896,NT +912,3360,3072,NT +392,656,13560,NT +2288,1200,85224,NN +232,1584,47680,NN +1888,320,6072,TT +18664,9432,72,TT +1464,784,87400,TT +144,136,288,NT +56,64,6360,TN +64,8792,3904,TN +192,688,784,NN +7264,824,1664,NT +376,328,56312,NT +1000,800,2488,TN +5320,688,7520,TT +248,4144,1288,TN +504,152,155336,NT +256,760,6776,NT +40,136,14304,TN +1752,36936,176,NT +2192,1704,2544,NT +168,536,108184,NN +7760,12272,10744,TT +312,808,432,TT +432,264,6816,NN +6576,432,5656,NN +88240,32,1504,TT +456,5560,6264,TT +64,1080,5744,NT +2272,1976,29872,TN +712,96,3840,NT +992,952,37432,TN +213840,16152,7088,TT +1360,74584,22488,TN +1376,80,92616,TT +696,544,2208,TN +1664,168,1728,NN +448,13152,66416,TT +192,392,92256,NT +896,5776,25424,NN +480,96,112,TN +3848,2208,30016,TT +328,2352,3336,TT +872,280,126448,NT +1272,848,27784,NN +912,8328,33576,NT +240,872,280,NT +17256,3264,20200,NT +72,384,2136,TT +1640,1192,3928,TT +336,1384,5064,TN +3992,1696,571504,TN +10752,120,57296,NT +56,440,792,TT +48,3880,6280,TT +9680,3080,83200,NN +248,48,9520,TN +152,15664,46104,TN +56,832,2864,TN +52552,48,1624,NN +128,187504,5208,TN +40,3744,2400,NT +168,1704,1056,NN +16,472,2832,TN +528,360,25736,TT +120,64,12344,NT +1512,888,1752,NT +744,928,1144,TN +176,536,4032,NT +1288,8072,18952,TN +752,120,2856,TN +7248,9800,2696,NT +2208,3632,1928,NN +6928,24,6392,NN +7784,7552,5376,NT +208,2560,12128,TT +656,848,10608,NN +696,208,32,NN +80,1264,8088,NT +1704,1248,120,NN +1560,440,696,NT +2320,1776,2856,NN +744,2752,37976,NT +1256,200,1072,NT +1560,256,3536,NN +40720,2760,2864,NT +32,13728,232,TT +384,504,34752,NN +64,1832,43000,TN +176,336,63472,NT +23128,1728,2256,TT +648,928,2232,TT +1176,3296,12296,TN +136,6064,13144,NT +1192,6232,10200,NN +328,688,4528,TN +20424,48,3512,NN +240,2088,9576,NT +624,2240,3080,NN +760,760,8272,TN +1032,2840,520648,NT +152,1144,10632,TN +352,6888,6816,TN +1240,9392,4024,NT +536,1544,22096,TT +1632,3432,3256,NN +472,120,14840,NN +48,1440,304,NT +32,3000,47440,TT +4120,1472,7312,TT +384,5216,1528,TN +528,952,4096,NT +2632,528,224664,TT +200,1688,2344,NT +888,7384,2376,NN +136,712,10848,NN +544,2680,2864,NN +64,320,17160,TN +8176,376,14744,NT +3712,2096,18744,NT +28496,48,808,TN +1600,560,4648,NN +12136,7408,6896,NT +968,568,250688,TT +600,512,11904,NN +192,5616,8104,NT +1696,31952,12920,TT +592,88,19424,NN +16,448,2056,TN +33080,720,520,NT +1136,312,60544,TN +2184,472,90936,TN +112,2768,1744,NN +576,304,664,TN +544,4776,14232,TT +1120,40,115848,TN +1400,64,1136,TT +312,1912,21224,NN +256,408,4008,NT +960,680,4704,TN +104,472,528,TT +1672,2496,2768,NN +1768,240,984,TN +376,672,352,TT +520,21152,5176,TN +18944,2288,12136,TN +440,168,11712,NT +512,80,384,TT +16,24,4800,NT +472,1936,6264,TT +1016,912,20400,TT +1240,40,6448,TT +168,928,96,TT +40,232,2392,NT +376,1096,181640,TN +1072,200,40,NT +1120,336,14896,NN +1056,176,6912,NT +416,1160,4008,NN +264,12880,50208,TN +104,80,10752,TN +1544,2424,952,NN +7424,80,2272,TT +1600,1168,57352,NT +1008,1128,204056,TN +288,768,21464,NT +176,40,13120,NT +744,5088,14456,NT +256,144,17640,NN +1160,3624,10912,TT +144,840,10952,NN +2256,1872,23224,TN +2664,344,696,NT +24,11720,16936,TN +952,568,1672,NT +9304,888,41992,TT +2128,64104,44872,NT +56,432,4688,NT +888,432,224,NN +1752,824,1256,NN +32,56,21112,NN +8320,256,26264,NT +1720,896,2448,TN +16,976,14352,TT +768,1072,17024,TN +192,4296,3552,TN +1552,392,2536,TT +2784,1528,4192,TT +464,1208,20568,TN +632,1192,194688,TN +1576,136,75960,NT +1064,64,16168,TT +1096,48,11168,NT +23488,296,39432,TN +768,200,11544,NN +80,5544,1240,NN +512,2056,1624,TN +72,4296,4088,TT +216,56,3208,TT +136,72,52088,TN +2144,96,464,TN +2872,736,50704,TN +480,744,2312,TT +504,56,14976,NT +11848,704,7824,NN +760,4624,36080,TN +2840,1992,18344,NT +6440,120,496,NN +536,448,20000,NN +104,32,6320,NN +1432,2056,46104,NT +1024,19032,34888,NT +184,1520,42552,TT +936,496,248,NN +9376,56,640,NT +18928,1272,25664,NT +1312,5088,6632,NN +3216,8664,232616,TT +2264,6120,59696,TT +1256,208,27488,NN +1680,5048,3072,NT +48,368,4856,NT +1576,48,1016,NN +81496,136,6288,NN +272,4024,13840,TT +1200,304,152,NN +80,840,1040,NT +1496,144,19176,NT +1912,8,368,TN +88,19440,4032,TN +1440,48,6896,NN +2896,1744,21864,TN +9568,1384,2464,TN +15720,9240,6944,NT +1824,10776,6816,NT +528,448,3880,NN +53928,14680,59848,NT +1408,400,584,NN +264,2672,824,NT +2904,3008,57424,TT +1288,984,4264,NN +632,72,13704,TT +304,104,2192,TN +552,56,864,NN +936,344,10008,NT +112,1832,1088,TT +168,2760,30504,NN +56,336,4088,NN +2872,656,6968,NT +336,107744,528,NN +4280,2304,4936,TN +37704,1400,13352,NT +1936,3344,4560,TN +336,5248,68152,NN +352,160,6080,TT +1712,104,13304,TN +24,1624,33680,NT +256,1168,5872,NT +232,2176,18464,NT +744,2392,66192,NN +144,1800,2064,TN +15264,3696,17128,NT +208,688,45560,TT +72,2632,864,NT +104,1184,16616,TN +9176,264,1200,NT +120,1888,27760,TN +104,2560,5944,NT +248,1936,4144,NN +232,480,4832,TN +672,18192,41208,NN +1560,74400,5224,NT +448,1272,496,NT +400,18536,6592,NT +52752,1488,6208,NT +3856,2752,6952,NN +80,4240,51728,NN +3712,2096,18744,TN +200,784,400,NN +2256,320,2336,TN +1872,128,9344,NT +3696,1352,67432,TN +26752,2552,54264,NT +5256,1048,1128,NT +5328,1072,14496,TN +808,21088,12848,NN +6912,24792,384,NT +1224,3440,1320,NN +5368,1968,4944,NT +976,712,27608,NT +600,800,11800,NT +1976,256,2632,NN +3864,8,39984,NN +17680,264,14400,NT +9696,96,1448,TN +8984,5272,106176,NN +288,208,65096,TN +3936,2240,14192,NN +168,808,10344,TN +1128,1824,13928,TN +632,192,7512,NT +2976,1488,13656,NT +368,25312,66984,NT +36024,3160,840,TN +160,912,1344,NN +688,536,7840,TT +8,272,80960,TT +152,520,18488,TT +74960,56,1544,NT +416,328,3992,NN +360,416,8592,TT +16,208,5328,TN +9584,1184,27192,TT +1504,48,237720,NN +1144,2392,576,NT +1872,1696,1040,NN +128,1808,624,NN +4032,1744,2192,NN +3040,1032,1176,TN +192,888,45800,TN +688,416,10408,NN +6040,776,22408,NN +16,3480,216,NN +712,11184,3552,NT +560,1656,3504,TT +152,208,2744,NN +640,73712,2048,NT +1496,1000,3904,NT +584,1144,28864,NT +520,600,2872,TT +712,3904,6304,TT +8648,43760,18392,NN +1520,2976,57184,TN +48,4040,680,TN +16,264,7464,NT +8312,5128,1240,NT +984,608,41704,NT +672,1432,192,TT +400,328,3000,NN +1416,9768,8904,TN +6240,400,26872,NN +304,4976,14128,NN +512,1464,17488,NN +392,1552,74184,TN +1352,6112,5192,TT +1632,496,2648,TT +224,112,81984,NT +768,40,31672,NN +3896,1944,1432,TN +3208,2280,1824,NT +304,2088,3664,NT +368,4536,20224,NT +224,1360,7432,NT +448,2088,7352,NT +96,3000,22416,TN +136,784,3760,NN +1408,400,584,TN +256,160,1328,NN +152352,624,16640,NN +48,1408,4800,NT +4424,2016,4936,NT +48,2424,21680,NT +312,1912,21224,TN +2880,144,204984,NT +224,1672,52744,NT +16,48,1192,NT +2984,352,3920,TT +32,4152,142632,TT +320,1264,39240,NN +1680,752,2064,TN +1016,520,9688,NN +208,3136,2648,NT +2232,104,6464,NT +32,448,8760,NN +632,1432,23656,NN +1400,24,56,TT +5016,1048,10136,TT +3704,232,4528,TT +768,1600,34952,NT +1024,192,18088,NT +1936,120,3320,NN +2552,5800,29256,NN +488,1128,2128,TT +552,592,176,NN +1328,864,37080,TN +45192,2824,18896,NT +680,1032,752,TN +320,1352,127040,TN +1168,3752,6520,NT +4288,160,129432,NT +2392,864,472,NT +424,2640,61880,TT +3816,1608,2376,TT +304,1664,3344,TN +512,2800,5640,TT +240,248,1728,NN +3248,1376,1904,NN +1216,45296,704,NN +376,53944,696,NN +4728,1944,3896,TT +1720,3992,112,NN +232,48,313816,NT +56,14384,8456,TN +5528,4360,59168,TT +1544,680,67680,NT +3616,4672,856,TT +168,2920,18264,NN +16,648,2464,NN +2128,6208,8168,TN +1560,2160,648,TN +288,4304,149936,NN +256,3864,458728,NN +328,7752,4032,NN +216,528,75064,TN +1544,96,18328,TN +288,456,1160,TT +1344,1936,34280,NN +10816,112,3816,NT +816,1872,6968,TT +952,11904,31528,NT +1600,600,98576,TT +9280,2168,64176,TN +216,48,14832,TN +24,192,19280,TN +1896,5064,9560,TT +72,480,13064,TN +128,600,336,TT +1200,688,2104,TT +2472,2176,20304,TN +424,2240,39224,NN +616,128,6864,NT +10728,576,76160,NN +2072,27648,6040,NN +120,728,26040,TN +2776,6504,3528,NT +120,1680,1512,TT +536,312,248,NT +176,11632,43272,TT +96,952,24216,NN +168,1472,47432,TT +264,1368,3704,TT +160,184,11232,TT +840,16,6912,NN +24,4608,6368,TT +120,1552,632,NT +144,6096,2736,NT +8288,616,9280,TT +1680,112,282672,TT +752,2504,9784,TT +1024,104,12312,TT +496,304,15624,TN +112,992,24656,NN +464,1192,24504,NN +160,176,3304,NN +400,1408,2184,NT +856,840,66536,TT +8,640,29848,NN +80,688,107736,TT +752,1184,4528,NN +520,456,21320,NT +544,1296,3760,TN +7416,8784,144,TT +304,448,3184,TT +14352,992,32,NN +1944,5792,4104,NN +3752,248,3104,TN +4608,14304,688,NT +1352,600,13952,NN +7136,3976,1928,TT +744,112,16456,NN +904,208,29248,TN +4952,864,632,TT +200,720,137240,NN +928,672,11296,TN +14720,1024,5976,NN +96,3144,11976,TN +1920,1848,75320,NT +744,2392,66192,NT +4504,5440,5288,TN +1744,1560,6608,NN +432,24,6632,TN +4528,12016,896,TN +112,328,338416,NT +848,8688,38128,NT +23752,1888,14952,TN +232,3168,104672,TT +48,464,2448,TT +288,288,7728,NT +19888,736,9680,NT +2216,384,2888,TT +4496,1848,1976,TT +504,1368,4288,TN +1032,984,2128,NT +32,1584,968,NT +48,136,58968,TN +1632,648,440,NT +784,2904,768,TT +504,488,1376,NT +432,496,62688,NN +257744,368,4624,NT +1816,136,1544,NT +168,808,10344,NN +320,1264,39240,NT +3976,1408,22808,NN +4216,24,8104,NT +144,168,3960,TN +320,624,6952,TT +480,1056,584,TN +416,14840,187904,TN +13200,2104,512,NN +560,336,13216,NT +80,1984,21456,NN +1080,1360,1480,TT +18200,800,14560,TN +16,1272,512,TN +304,448,3184,NN +744,3480,3968,TT +56,272,33400,NT +872,88,25560,TT +504,5744,21728,NT +59776,24,1248,TT +672,4088,8248,NN +6192,528,1288,TN +1376,2952,29328,TT +56224,1640,6984,TN +736,72,2736,TT +608,992,4024,TN +1600,200,32144,TN +328,232,8960,TT +1112,9416,4368,TN +704,4936,15272,TN +1192,288,91320,TT +2776,640,3712,NN +728,240,31448,TT +3376,5520,174360,TN +80,4872,3928,NT +168,32,456,TN +72,592,34736,TT +8824,2360,14496,NT +1336,1016,208,NN +12376,88,5872,TT +6392,112,10168,TN +1240,928,2208,NT +5224,680,22848,NT +1048,2744,24,NN +4024,4952,2256,TT +3560,1184,2280,TT +1760,200,51704,NN +1384,2808,3112,TN +384,2968,4440,TT +656,392,72408,NT +3184,608,26920,TT +112,1168,24632,TT +6240,400,26872,NT +1200,888,30648,TT +96,1736,38688,NT +1832,1744,9648,TN +192,192,1120,TN +1704,6832,7544,NN +24,7232,3800,NT +2168,4720,6408,NT +224,112,81984,NN +38464,10736,4680,NT +120,1360,7944,NN +896,8976,4352,TT +200,32952,3648,TN +48,3880,6280,NN +392,3800,2520,NN +248,1936,4144,TN +464,4168,9744,TT +24,24,1376,NN +760,304,68552,TT +680,248,7440,TT +440,2120,49520,NT +176,568,1352,NN +1968,1248,14336,TN +600,776,16368,TT +200,48,320,TN +328,744,6176,TN +1560,1304,32464,TN +3624,800,6280,NN +224,144,408160,NT +2736,2584,1760,NT +200,1312,10672,TN +5432,11592,27944,NT +904,840,5272,NT +160,32,36320,NT +400,82152,776,TT +32,1256,33168,TT +944,152,15752,NT +256,144,9912,TN +384,80,13736,TN +64,30016,568872,TT +472,192,9808,TN +152,8904,7456,TN +7760,80,12408,NT +6952,1720,620256,TN +296,2312,2640,TN +448,280,3184,TT +432,4208,11296,NN +200,32952,3648,NN +2184,42192,25376,NN +216,2576,30352,TT +736,2200,2624,TN +760,8480,16984,NN +152,568,2064,NN +48,624,5840,NN +46328,22456,4344,NN +448,1272,496,TT +88,2240,33536,NT +32,2112,1856,TT +3096,3096,776,NN +688,2544,13904,NN +1072,168,40,TN +3584,144,1328,TT +416,20576,3896,TT +400,1456,80624,NN +624,256,23968,NT +160,1144,6416,NN +22960,520,4464,TN +64,152,15976,NT +1144,1176,21376,TT +936,1616,30768,TT +720,376,39752,TT +1776,560,108720,NN +144,192,439096,NN +272,4136,5224,NN +2160,49144,3408,NT +24,144,9384,TN +456,21912,3312,TN +40,2928,13984,NT +168,3296,104400,NN +328,72,2184,TT +15440,1360,22104,NT +2984,232,136,NN +136,1240,1064,TN +1696,168,2752,NN +176,712,18240,NN +400,928,288,NN +768,3960,5944,TN +56,1656,3248,TN +784,4784,696,TT +2888,24,21712,NT +824,224,3544,NN +360,3312,4616,TN +600,776,16368,TN +3616,1112,5568,TN +9376,56,640,TT +160,408,14128,NT +1616,4016,10656,TN +4000,2304,93760,TN +264,12880,50208,NT +4264,2072,3024,NN +488,2408,952,NN +264,2856,11592,NT +3448,1184,40232,TN +640,88,4584,TN +1544,12248,7368,TT +432,2152,14000,NN +296,1080,1296,TN +1512,24944,159544,TN +112,104,22472,NN +264,216,44664,NT +536,136,10376,NN +1384,7496,1880,NT +240,144,2256,TT +1048,42440,3504,TT +504,6928,552,NN +400,472,1072,NN +552,33488,736,TT +16696,592,59824,NT +320,3904,9176,NN +1912,224,20968,TN +192,6248,10688,NT +4288,6616,10256,TT +1672,760,31176,NN +272,328,11728,NT +272,896,8264,NN +392,496,7104,TT +4632,104,1256,NT +408,104,219048,TN +360,2960,2784,TN +139896,808,584,TT +96,3144,11976,NT +640,688,3528,NT +384,11352,4080,TT +2192,2296,21712,NT +744,248,15112,NT +1344,1936,34280,TN +1320,9912,576,TT +1280,600,4712,NT +7472,3072,15032,NT +544,80,16096,TN +800,1152,9480,TN +3624,800,6280,TN +3056,856,5040,TT +1024,160,33864,TT +24,17424,12408,TN +224,1816,2696,NN +2848,440,157352,NT +56,1328,976,TN +1192,640,10160,TN +776,32,7696,TT +24,14616,23752,NT +232,2320,4000,NT +392,92128,13952,NN +432,864,19408,TN +4488,56,27616,NT +656,24,5872,TT +1472,16,8592,TN +3648,480,8632,NT +328,1576,2520,TT +600,512,11904,NT +3368,2552,36168,NN +6128,2736,8864,TT +2144,3296,235392,TN +1000,20240,3856,TT +760,304,68552,NN +1568,2696,23360,TT +200,504,1536,TT +368,344,26552,NN +400,4576,7288,NN +280,112,484480,NT +536,2080,952,TN +328,600,7976,TN +1056,64,14568,TN +1296,15288,178032,TN +112,4632,24360,TT +840,232,23312,TN +888,3808,16520,TN +1448,352,4096,NT +4416,1840,248248,TT +88,24792,5472,TN +170952,56,5440,NN +32,2392,240,TT +840,2680,2536,TN +56,10832,3856,NT +1720,712,82776,TN +2664,344,696,TN +64,160,4040,NN +592,64,12720,NT +132704,8216,47624,NN +392,104,8632,NT +1496,2656,1608,TN +72,10400,1000,NT +3888,1800,8832,NT +30864,16,2008,NT +40,1288,6328,NT +224,45944,2960,NN +1752,5400,3600,TN +3784,136,9808,NN +736,2656,336,NN +320,608,119400,TT +192,784,2632,NN +1512,17968,6512,NN +10616,752,248,TT +464,32,23688,TT +1456,168,2280,NT +4040,18096,150320,NT +2192,200,2376,TN +512,4560,26216,TN +4648,808,15280,TT +3016,800,89016,NT +10032,736,6808,NT +1776,656,11776,NN +272,12000,20184,TT +104,80,10752,NN +1008,168,917848,TT +1712,4696,160,TN +55776,1264,33376,NT +160,80,2096,NN +5128,6576,2216,NN +3912,208,5248,TN +3128,32,424,TT +138216,236592,50664,NT +232,6528,856,TN +4760,4144,320,TT +16224,66800,26400,NT +240,112,13480,TT +112,6648,1816,TN +216,5080,30600,TN +2984,3032,5992,NT +40,1864,10256,TT +336,4856,37904,NN +1392,152504,2776,NN +64,8792,3904,NT +1664,168,1728,TN +168,104,12040,NT +1216,4064,76024,NT +768,160,176,NT +2088,21784,1424,NN +5400,47264,11816,TN +168,5704,24128,NT +1152,1336,1512,NT +480,3464,13584,TT +10328,1440,1072,NT +648,11320,27624,TT +416,496,3000,NN +624,1264,2128,NN +232,3168,104672,TN +9440,264,888,NN +408,2544,15848,NN +280,11128,21632,TT +1608,7016,10440,NT +16,1872,1296,NN +22376,1360,11312,TN +2328,40128,254528,NT +40,800,888,NN +920,152,9800,TT +424,1608,7360,TT +736,1336,3696,NT +1024,2976,944,TN +4080,584,22400,NN +1152,3032,2408,TT +20816,1448,15928,NN +56,936,25496,NN +280,2480,72,NN +112,616,5832,NT +368,25312,66984,TN +600,680,1800,TT +1176,4968,1368,TT +48,1808,1832,TN +720,29368,30432,NN +64,376,4000,TN +4464,344,11720,TT +120,520,5664,NT +360,3936,3424,NN +96,3048,40408,TN +32,72,102200,TT +23568,3664,12712,TN +720,680,888,NT +720,584,4608,TN +944,152,15752,NN +928,1264,39880,NT +4000,2872,16824,TT +2928,368,168,NN +712,48,3320,TN +1720,4096,10080,NN +296,392,37392,NT +72,8000,464,TT +432,1312,75552,TT +720,2656,3176,NT +248,352,688,TT +192,80,25528,NN +1232,13640,848,TT +248,2568,2696,NT +1544,232,1336,NN +640,280,1680,NT +856,448,7448,TT +624,200,15872,NN +64,1296,17600,TN +3464,3896,672,TT +68120,4248,3848,TT +48,5424,39984,NN +2632,4216,1480,NT +128,768,11648,NT +104,176,53768,TN +112,1416,91640,TN +1312,1088,39208,NN +5864,2032,15432,NN +984,336,9760,NT +768,7504,15672,TN +1336,800,2368,NN +648,10368,40368,NN +64,456,12272,TN +312,696,14488,NN +80,472,13568,TT +1176,2312,456,NN +3152,160,2424,NN +1552,1576,1112,TT +7608,312,32688,TN +312,520,26024,TN +32,1232,6424,TT +264,1344,15640,TN +672,120,95616,TN +10216,1856,390800,NN +2040,1880,2480,NT +20432,232,15448,NN +688,320,5552,TN +48,1504,1560,TN +424,384,252096,NN +1208,2616,36016,NT +1112,9416,4368,NT +2544,85136,8144,TT +520,560,12384,TT +48,648,64168,TN +880,144,10072,NT +3496,1584,2256,TT +816,240,1728,TT +760,64,7800,TN +400,1936,4920,NN +880,2048,28000,TT +320,312,1888,NT +680,22872,5056,NN +4040,48808,25336,NT +744,1232,40592,TN +6960,7368,241896,NT +488,6744,100504,NN +688,3112,3960,NN +7736,440,2568,TN +17032,1024,13248,TN +352,1128,3656,NN +688,376,116936,TN +520,592,7248,NN +4640,40,24,NT +32,160,3144,TN +1344,152,21312,NN +16,4984,3200,NN +15120,1312,1600,TT +472,69264,10880,NT +2304,56,2376,NT +920,1000,328,NN +1112,3752,5008,TN +24,208,3504,NN +14680,336,11032,NN +272,344,47656,TN +208,880,73608,TN +1736,24,22632,NT +1032,88,34200,TN +33136,1368,4880,NN +576,408,30504,TT +576,2776,20672,TT +2704,9944,864,NT +10016,648,110696,TN +51968,760,1552,NN +16352,720,18512,TN +109896,3840,8808,NN +232,28432,211856,NT +5776,448,3416,NN +1360,7608,96,NT +10296,1312,3864,NN +1416,912,2712,TN +208,2088,12352,TT +744,13192,32008,NN +352,1472,752,TT +2496,248,137024,TT +24,72,11280,TN +304,352,8560,NT +456,2264,93448,NT +4040,48808,25336,NN +272,2392,30480,NN +896,400,8632,NT +88,3968,4248,TT +80,1984,21456,TN +208,400,872,TN +1336,18824,7064,NN +1680,6040,12096,TN +848,1576,608,NN +1096,2136,69456,TT +352,13112,56448,NN +96,287048,152632,TN +1152,3032,2408,NN +616,4592,1928,TT +2576,1600,7760,TN +5104,4472,619896,NN +176,3200,1328,NT +136,1552,2448,NN +8984,5272,106176,NT +1992,4048,108024,NN +240,976,7640,NT +296,6568,11216,NN +7384,2960,20512,NT +208,72,120,NT +208,424,3112,TT +1520,560,4216,NT +2888,24,21712,NN +912,1016,22856,TN +50080,744,15952,NN +1152,424,4704,TT +14440,5336,2656,NN +64,1296,17600,NT +472,5144,12504,NT +840,624,1720,TT +384,3464,440,TT +304,360,5360,NN +552,1384,17360,NN +17336,4056,88,NT +1032,464,160,NN +160,1600,76672,TT +1696,800,344,NN +1960,544,3016,NN +80,872,1936,TT +168,2000,1344,NN +4688,880,76936,NT +152,5160,108504,NT +88,2352,30616,NT +64,1096,416,TT +8176,376,14744,TN +496,1736,24760,NT +1032,728,3552,TT +152,50824,2536,TN +5400,1944,23048,TN +912,96,6504,NN +200,343128,41624,TN +240,3768,90552,TN +1112,7224,42224,NT +2576,152,8904,TN +6392,112,10168,TT +144,736,768,NN +1040,3240,1016,TT +272,11832,344,NT +3152,15608,6104,NN +880,3208,816,NT +584,1144,16976,NT +4520,400,48,TT +384,200,12632,NT +408,2384,1496,TN +1024,304,22032,NT +304,2480,34920,TT +320,120,117512,NN +160,6272,10528,TN +936,904,12640,NN +152,7760,2344,NT +352,96,2768,TN +336,768,320,NT +16,6216,9152,TN +1096,1568,4608,TN +32,6168,4752,TN +1528,5104,3288,TT +2672,14664,6720,TN +11448,240,27688,TN +440,70432,210792,NT +1136,6952,10712,TN +105744,448,163272,NT +3992,272,12584,NT +312,1352,3336,TT +1256,1856,2456,TN +576,1560,4640,NT +456,424,1336,NN +1088,976,216,TT +368,656,1128,TN +208,168,10360,NN +280,784,8656,TT +56224,1640,6984,NT +472,136,32,NT +3192,3320,574424,NN +192,80,25528,TT +5144,480,5624,NT +160,184,33920,NN +424,2240,39224,TN +768,8104,34232,NT +2424,1696,4384,TT +1928,2976,26344,TT +31360,728,8304,NT +696,464,4992,NT +872,1656,9088,NT +1832,368,14152,NN +1024,3736,5176,NN +416,16,121792,TN +744,1448,2128,NN +536,72,11064,TN +136,2712,166064,NN +240,2744,9624,NT +224,112,2120,TT +272,2496,8696,TN +280,480,11256,TN +552,1384,17360,TN +560,680,80936,NT +1104,184,49472,TN +56,14384,8456,NN +128,416,8736,TN +3896,1568,3872,NT +152,50824,2536,NN +432,11728,12184,TT +3816,632,7664,TT +13272,104,115712,NT +904,840,24208,NN +720,1424,2560,NN +424,344,7048,NT +928,328,2648,TT +672,376,46760,NT +248,3424,8928,TT +376,856,4232,TT +39416,9136,10392,TT +1600,560,4648,TN +32200,2104,21840,NT +1024,1216,6864,NN +448,1192,219664,TN +10064,1224,4768,NN +344,240,65944,NN +424,40,592400,TN +4624,8392,5536,NT +1336,13264,832,NN +43720,1240,27904,TN +184,1136,55864,NN +16360,136,118160,TT +19264,287576,16688,NT +264,360,6800,NT +200,320,2568,TT +296,1752,8952,TT +24,496,4584,NT +7704,152,18976,TN +936,3872,2952,NN +304,1712,48,TN +1200,9640,290192,NT +3160,76128,20440,TN +1224,2088,528,TN +1352,768,25888,NT +64,264,11944,TN +160,9016,2480,TT +26808,7424,4856,TN +536,928,2752,NN +9736,304,5776,NT +1552,2784,4624,NN +392,1168,3976,TN +120,792,5320,TN +8664,240,8360,TT +47976,304,101904,TN +432,2728,48424,TT +392,1128,27184,TN +16272,8336,1760,TN +912,2888,6664,NN +256,592,6264,NT +168,6272,52224,TN +3416,2240,28176,NN +72,18104,21472,TT +1032,856,320504,TT +104,9152,1216,NN +376,100824,18864,TT +1160,640,27848,TN +5680,21056,1632,NT +14880,208,11608,TN +144,960,3032,NT +1208,3688,1200,NN +1320,1080,8136,TN +120,1808,625184,TN +5416,2568,1264,TT +3864,3200,24176,TT +2296,4032,1504,NN +2632,5144,51216,NT +200,1016,5416,TT +72,368,8408,NT +1520,352,156864,TT +16,10928,1472,TT +456,464,4432,TN +2944,3424,16664,NN +192,280,17504,NN +440,40,142552,TT +368,200,134712,TN +1384,1592,3168,TT +80,1336,6632,TN +56,720,640,TN +1088,480,5368,NT +264,864,5416,NN +1056,336,43960,TT +2912,120,29824,TN +544,104,7904,TN +488,2408,952,TT +248,616,24512,TN +400,8248,1472,NN +216,31304,5992,NN +816,392,19576,TT +728,2408,4544,NN +184,808,1480,NN +1568,216,4560,NT +304,2256,2432,TT +472,11696,27088,TT +808,208,1192,NT +296,24,15688,TT +2208,544,15552,TN +816,20576,9584,NT +1680,752,2064,NT +5560,160,9424,NN +1776,432,10584,NN +1040,344,51824,NN +184,448,7512,TN +256,144,392,NT +144,232,10144,NN +736,784,19368,NN +1512,4328,2920,TN +6944,320,15896,TT +7912,1272,3120,NN +480,3376,7872,TT +96,448,6320,TN +200,1448,5528,NN +64,5120,2992,TT +224,1184,114344,TN +584,184,1856,NT +9416,160,55056,TN +14456,176,1496,TT +24,592,9120,NT +2048,4592,840,NT +10176,128,8528,NN +416,176,5776,NT +7432,912,35240,NT +1232,688,29704,TT +232,22728,80,TN +752,96,71864,NN +88,1856,2192,TT +72,2608,424,NN +632,2064,37288,TN +568,3344,29800,TT +67360,312,58720,NN +216,56,3208,TN +3480,72,48064,NT +576,136,31184,TT +104,32,6320,TT +16352,4336,108032,TT +120,600,400,NT +192,24,32032,NT +920,1952,10008,TN +1792,2560,10088,NN +1640,32,91776,TN +512,1032,48600,NN +2424,280,70432,NT +1768,2016,5568,TT +3704,26152,36248,NT +1488,656,10416,TN +152,208,2744,NT +7304,32,132104,NT +16,5816,57120,TT +704,328,288600,TT +1528,5104,3288,TN +1112,137664,7664,TN +600,256,6560,NT +904,1568,17152,NN +620024,8448,6416,NN +1704,1224,12816,TN +168,1704,1056,NT +24,2128,43904,NT +4000,2872,16824,TN +2344,416,3472,TT +13384,408,39064,TT +672,2832,341632,NT +120,4016,6232,NN +8688,6184,1200,TN +272,608,278112,TN +624,6144,1760,NN +3432,2200,54360,TN +1080,712,2824,NT +13096,960,78632,NT +128,960,48656,TN +2456,632,13864,NT +3688,8392,84064,TT +2424,280,70432,TT +392,1808,9712,TT +40,56,1656,TN +2704,1824,1072,TN +1336,688,432,NT +56,4736,6032,NT +512,40,27024,TN +56,3896,8872,NN +200,40,5456,NT +120,1416,7648,TN +4752,3144,4344,TT +1304,1808,6120,TT +320,2728,3552,TT +168,2520,1800,TN +104,2008,6832,NT +40,1576,135144,TT +4032,1256,17024,TN +808,7088,10264,NN +168,704,18080,TN +10712,3632,11248,NN +1448,1624,13688,TT +664,240,22248,TT +2720,776,320680,NT +3096,824,1528,TT +2024,728,6072,NN +248,144,156600,TT +1912,1416,3480,TT +744,696,3056,TN +936,496,248,TT +1264,400,3928,TN +1472,1448,5512,TN +3840,1032,20568,NN +445264,1048,1728,NN +3896,1568,3872,TT +408,56,10512,NN +74448,2296,17600,NT +224,4072,7496,NT +80,2160,5128,NN +2088,2784,4800,NT +16,384,47208,NT +24,1136,9584,NT +40,16,132672,TN +1896,104,4016,TN +1224,424,120,NN +1600,56,22408,TN +776,120,179296,NN +120,176,10296,TT +64,1928,1136,NT +80,1288,131328,NT +96,952,24216,NT +672,88,496,TT +208,72,120,NN +18640,119224,8144,NN +64,392,2576,TT +24,808,20248,NT +472,120,4592,TN +752,120,2856,TT +20264,656,201312,NT +3032,1128,5664,NT +4984,160,13648,TT +584,712,8224,NT +32,5960,135360,NT +32,11608,41096,TN +1136,952,13856,TN +224,360,496048,NN +2872,472,8232,TT +744,8504,12576,NN +48,560,872,NT +224,144,408160,TN +2608,96,21440,TN +18040,2424,79704,TN +1896,2024,14128,NT +4960,360,8624,TT +2096,3592,200,NN +2640,2704,13440,TN +13912,5248,536,TT +3024,10704,344,TT +3840,1032,20568,NT +72,1984,13024,TN +1576,4688,9096,TT +608,2536,368,TT +6960,1216,1672,TN +872,88,25560,TN +872,48,35992,NN +1168,3920,25040,NN +2728,3056,1016,NT +504,280,1976,NT +48480,104,1232,TT +22472,5280,1160,TN +2744,512,46672,NN +496,1488,2736,NN +18040,2424,79704,TT +376,464,2864,NN +112,216,2224,NN +280,368,15248,NT +40,768,488,NN +3544,568,4520,NN +360,160,30032,TT +1720,112,9896,NT +1592,1088,49168,NN +352,2456,10928,TN +72792,2680,16224,TN +448,2192,9248,TN +176,164368,8480,TT +536,1112,86432,TN +216,3600,8600,TT +1768,1592,3520,NN +4016,6368,2264,TT +352,3072,24960,TT +2168,2560,129240,NN +16696,592,59824,NN +208,5384,3840,TN +1032,224,2400,NT +132704,8216,47624,NT +288,7416,23632,TT +304,1544,5264,NN +192,1936,3192,TT +1880,18696,34600,NN +712,8408,6448,TN +8296,152,55536,TT +600,1328,11584,NT +728,2408,4544,TT +24,240,368,NN +2352,8264,360,NN +352,952,3768,NN +112,168,49504,TN +584,656,2416,NN +3704,88,3088,TN +10704,1008,18968,TN +17752,8328,3840,NN +376,64,5008,TT +208,120,38040,NN +2088,2216,3144,NN +2192,12304,10864,NT +392,92128,13952,TN +936,1352,2408,NT +2776,10720,9720,NT +32,472,3000,NN +49720,456,58376,TN +2504,2104,2656,TT +11688,256,7800,TT +1536,1336,24408,TT +120,832,456,TT +1808,204312,4816,TN +80,1512,1656,TT +448,224,11632,TT +32,1344,1904,TT +9272,808,858544,NT +56,2872,592,NT +880,81168,55144,TN +400,2632,14568,TT +184,2136,8344,TN +920,384,5232,TT +3504,264,6088,TT +4560,600,5744,NN +16,11128,2688,TN +232,584,4704,NT +3360,71600,128192,NT +160,184,13032,NT +121408,2304,1608,NN +8248,4160,24912,NN +1288,1032,4800,TN +28424,104,30968,NT +4848,472,31024,TN +88,832,24456,NN +568,18544,12872,NT +488,296,1208,TN +40,9968,424,NT +376,752,99824,NN +1752,2672,3264,TT +360,13200,3648,TN +16,600,162824,TT +464,8384,13328,TN +2672,14664,6720,NT +40,7000,8032,NN +128,3888,2136,TN +616,3944,32848,NT +2728,1328,4368,TN +408,15736,3048,NN +320,1088,5088,TT +200,544,194256,NN +16,488,16312,NT +16,1184,1080,NN +21216,88,105760,TT +32,3080,26208,NN +48,192,16160,NT +224,1672,52744,TT +1608,616,2888,NT +96,272,6120,NN +1096,264,247904,TN +2392,6176,168,NT +176,80,2056,TT +672,56,6808,TT +5416,112,4928,NN +7864,91928,12472,TN +704,74392,25224,TT +3312,21416,2688,TN +1656,1552,1832,TN +40,3800,24480,TT +1864,14984,640,TT +1352,1032,5632,TT +2304,18288,1728,TN +368,1416,100392,NN +360,10944,25424,NN +960,192,15360,TN +584,2136,13512,NT +592,920,8376,TN +2192,56,112272,NT +208,336,71192,NN +1176,248,3328,NN +4512,960,8128,TT +104,520,181072,NT +544,1664,67952,NT +544,4096,8720,TT +1744,144,7056,TT +656,1896,2928,TT +4688,880,76936,NN +384,1184,25200,NT +480,3144,110064,TT +72,2840,29728,TN +448,1184,8856,NT +1224,912,3712,TT +5072,1344,3936,TT +96,1472,19584,NN +2824,2472,2296,NT +312,1112,52496,TN +56,632,10536,TN +1448,4744,39104,TT +544,432,34272,NN +3800,472,7112,TT +656,864,1888,NT +16,504,2872,TT +160,200,8208,TT +4072,1600,112,TT +96,40,3936,NT +408,8384,4488,NN +1056,568,696,NT +136,216,3704,TT +472,136,2400,TT +15864,696,9856,NN +56,880,15944,NN +1192,336,1840,TN +112,184,24984,TT +112,30704,904,NT +7704,152,18976,NN +200,7384,14768,TN +2064,24,10032,NN +344,248,28760,NN +312,1360,121800,TN +216,3064,1080,TT +2512,2376,4680,NN +1040,88,680,NN +64,464,59152,NN +1576,1328,24608,NT +624,1464,1480,TN +272,712,536,TN +36032,2184,5480,NN +768,200,11544,TN +936,14416,2968,TT +96,328,5680,TT +5024,1216,1464,TT +1120,944,13640,TT +384,200,12632,NN +512,152,136,NN +7984,1872,9312,TN +2664,59696,16280,NN +520,456,21320,NN +824,6256,21080,TT +3752,248,3104,TT +128,2400,816,TT +72,1480,14880,TN +104,1576,256336,TN +392,1224,108328,TT +5832,40,128504,TN +640,24,3184,TT +3840,1032,4552,NT +263408,216,576,TN +384,1792,8592,NT +504,8240,6568,TT +936,624,528,NT +88,1432,148864,NN +168,440,38216,TT +1096,96,4488,TN +1536,80,280,NN +2136,1776,50824,NT +408,1984,944,TN +416,104,4824,TN +7504,72,9848,TN +816,13880,8624,TN +2328,1592,137104,NT +336,1976,1960,NT +56,28008,37688,TT +224,2096,1192,TN +1152,80,11440,NN +248,5240,3888,NT +1952,656,144,NN +32,1496,8856,NN +1184,3752,7448,NT +5032,4712,376,NN +144,5200,24560,NT +4592,224,784,TN +88,10000,9536,TN +10320,2536,106216,TT +5032,4712,376,TN +4968,976,80360,NT +128,1552,6088,TN +56,112,8224,NN +7984,696,12160,TT +800,912,23608,TN +4008,2144,11976,TN +3440,208,4088,NT +352,792,10992,TN +232,6504,8368,TT +104,128,6472,TN +6776,344,15048,NN +7632,6152,232,TN +464,744,22192,NT +512,80,384,NT +104,99256,1184,NN +464,32,10896,NN +424,2992,1528,NT +896,9480,8400,TT +2480,1576,6088,TT +40,400,13896,TN +176,240,2352,NN +1696,264,18368,TT +360,256,11736,TN +440,768,9240,NT +152,2672,1640,TN +464,104,63672,NN +664,1240,16488,TT +2136,1776,50824,NN +3904,8736,97216,TT +232,1472,2464,NN +1016,912,20400,TN +5872,816,24880,NN +528,4680,7320,TT +256,1128,7000,NT +3680,400,624,TT +2520,3176,4120,NT +232,1512,19872,TN +5816,120,31376,TT +24,56,1968,TN +1016,23984,3104,TN +1936,376,7464,NT +536,480,61096,TN +3680,1600,278576,NN +1672,1656,40016,TN +152,1616,10104,TN +560,104,400,TN +2832,1224,12280,TN +904,7032,1912,TN +192,1312,120,TN +5568,80,23576,TN +3800,3208,12200,NT +456,408,18984,NN +19576,7720,1800,TT +1544,592,22856,TN +4136,3752,128,TT +400,448,1424,TN +168,120,6352,TN +2464,464,51768,TN +7960,4688,35976,TT +2064,3208,28456,TN +2680,13608,2000,TN +304,696,59120,TN +384,5976,18824,NT +720,368,264,TT +936,224,14232,TN +1240,6336,9992,NT +64,248,41928,TT +6208,656,8384,NT +4480,2384,17784,TN +112,184,24984,TN +608,1408,7696,TT +152,8304,27360,TN +40,1344,105472,TT +5048,416,14496,NT +952,88,12224,TT +80,272,21440,TN +320,312,1888,TN +160,6272,10528,NN +32,776,23296,NN +256,1168,5872,NN +704,64,16280,TN +3240,304,19136,TT +15928,144,968,NT +2168,1208,3504,NN +32,224,2464,NN +80,95144,60432,NN +4112,5920,1360,NN +4520,720,8784,TN +168,2168,18464,TN +848,544,336,TN +968,1080,52064,TN +48,192,216,TN +224,4688,45792,NT +64,576,26288,NN +432,3128,2728,NT +15032,2104,128,TT +2816,128,141800,NN +5536,816,3440,NN +1096,83816,71040,TN +40,2464,3456,TT +48,864,7040,NT +392,1360,7080,TN +1032,144,21280,NN +80,1248,2800,NN +824,1160,5128,NN +184,184,51336,TT +216,5088,19896,NN +424,3192,16968,NT +7952,1944,256,TT +208,5664,2688,NN +1032,2256,21944,NN +32,9296,5312,TN +504,912,1600,TN +1280,1288,151696,TT +496,784,11072,TN +352,160,6080,TN +744,18832,1752,TN +688,96,2688,NN +232,6528,856,NN +1160,1456,14952,NT +1576,3328,24744,NN +16,1168,7824,NT +89992,1752,3816,NT +648,256,3528,NT +184,4600,32600,NN +1256,544,183784,NN +56,88,352,NT +1232,1120,48640,NT +432,520,152408,NN +344,192,60192,TN +1664,224,4616,NT +8984,1160,3000,TT +1160,672,64024,NT +3784,5272,1200,NN +3032,952,7760,NN +816,3696,9896,TN +264,2200,109216,TN +160,34672,568,NT +184,848,105920,TN +128,4264,32,NN +56,32,17752,TN +1784,912,21568,TT +88,2112,30960,NT +160,1112,1968,TN +272,2392,30480,NT +848,264,872,TT +1336,1912,904,NN +104,88,2704,NN +4440,112,9112,NT +1792,1336,22568,NN +320,1264,39240,TN +168,5704,24128,NN +752,2944,3320,TT +968,1240,4536,TT +872,216,15336,NT +2696,280,13136,TT +2088,4504,6888,TN +3200,368,536,NT +4400,312,6800,NN +280,2528,142944,TT +360,640,27408,TN +96,1416,3408,TT +952,64,13336,NT +16,240,2056,TT +3440,264,2120,NT +88,200,2952,NN +14440,5336,2656,TN +120,2344,8576,TT +248,6400,3768,NN +80,2800,7360,TT +800,2936,513064,NN +800,2136,77792,TN +360,3400,21008,TT +2224,2280,11704,NN +40,864,6280,NN +496,96,10392,TT +248,4144,1288,NT +472,120,4592,TT +480,744,2312,NN +688,224,31320,NT +344,8256,4000,NN +328,1008,11640,TT +288,336,6696,NT +104,2264,12152,TT +328,1336,2024,NT +424,856,44576,NN +1664,616,8128,NT +3488,2144,49552,TN +128,32,5200,NT +496,33824,23320,NT +16,520,216,NN +3728,3080,2800,NT +3216,280,1384,NT +7984,1872,9312,NT +280,112,484480,TT +488,776,232,NN +456,464,4432,NT +48,9016,3024,NN +176,2096,248,NN +824,6256,21080,TN +5160,1128,63192,TN +1608,760,2456,NT +1000,9288,2472,NT +184,16,39632,NT +1040,16,2856,TT +3080,424,1600,TT +7192,6384,4720,TT +4432,520,9704,NN +288,112,9016,TN +6400,5648,27032,NT +1344,208,14240,TT +1496,648,7368,NN +992,3088,11912,TN +912,776,520,NN +1624,4888,84480,TN +184,968,2088,TN +1456,1064,224888,NN +32,13728,232,NN +528,4904,5408,TT +624,3104,816,NT +160,1784,21552,TN +592,512,23048,NN +752,1984,1280,NT +2632,1264,1304,NN +2248,168,6544,NT +944,1664,3000,NN +696,720,10808,TN +864,632,3176,TT +1088,880,11504,TT +1456,5536,18192,NN +1664,616,8128,TT +1128,56,16664,TT +1000,680,11968,NT +24,4464,25464,TT +56,1088,24472,TT +912,296,686072,NT +12896,1528,1168,NT +512,408,8760,TN +872,2816,4400,NT +280,240,9288,TT +544,432,34272,TT +4616,2384,152304,NT +784,680,8448,NT +7000,5368,6400,NN +208,6544,18536,TT +1864,14984,640,TN +1304,2856,3776,TN +496,18440,3896,NT +432,208,5424,NT +168,1744,50160,TT +32736,832,282728,TN +352,216,229992,NN +33504,496,31904,NN +792,96344,13400,NT +176,11632,43272,TN +232,2328,2896,NT +21984,3008,8568,NN +2560,48,4432,TN +688,2896,1888,TT +2128,6208,8168,NT +88,872,6608,NN +160,21248,30696,NN +760,10488,5360,TT +88,3032,808,NN +1048,392,11736,NN +424,680,9376,NN +800,392,19928,NN +752,544,6128,TN +32,392,82160,TT +224,328,8120,TN +488,552,72,TT +48,648,13120,TT +760,344,9440,TN +12816,16,3832,NN +1840,432,120,NT +41336,17400,249152,NT +1752,2112,3672,NT +368,1416,100392,TN +832,288,3472,NT +272,3344,2000,NT +96,264,59792,TN +280,2976,3064,TN +1912,2792,232,NT +120,2928,7488,TT +18032,992,3552,NT +8288,87408,624,NN +6136,1104,3816,TN +792,1760,2520,TN +4416,1840,248248,TN +592,624,53280,NT +320,424,5616,NN +768,2960,8584,NN +48,4344,720,NT +16,1920,5704,TN +3736,280,6496,TN +192,2000,408,NT +360,336,22480,TT +2464,632,3608,NT +136,1312,52624,TN +5600,3888,17432,TT +360,23224,45168,NT +1072,2472,6344,TN +344,8256,4000,TT +6240,1552,5736,NT +1104,36080,720,TT +2632,16,19848,NN +3152,160,2424,TT +128,32,5200,NN +136,1656,7936,TT +144,2992,15048,NN +2376,2144,11696,NT +360,336,22480,NN +920,40,3568,TN +3416,504,1192,TN +96,3048,40408,TT +5400,1944,23048,NT +13104,6448,14376,NN +4824,152,68488,TN +952,112,1816,NT +15288,40,3416,TN +2024,416,27880,TT +1560,752,16080,NN +936,128,28040,NN +1128,3088,5376,NT +6712,360,26880,TT +3680,1600,278576,NT +496,48,13024,TT +184,352,7400,NN +3400,80,1928,TN +240,9776,56472,TT +408,128,2160,TT +2656,2264,22376,NT +1936,72,3920,TT +9608,888,560,NN +11416,1056,3520,NN +560,680,80936,TN +3488,2144,49552,NT +1584,20680,4760,NT +72,16992,26912,NT +2200,376,1240,TN +120,488,74976,TN +5464,752,9624,TT +384,408,4968,TN +4088,984,5232,TN +1216,480,944,TN +984,1024,163256,NT +848,520,187296,NT +8464,888,1032,TN +40,3040,1120,TT +2672,14664,6720,NN +2184,1072,1528,TT +512,320,3040,TN +40,2464,3456,NN +88,1432,148864,NT +1136,1320,3008,TN +344,272,640,TN +1432,240,21064,TN +130656,832,13520,TT +416,224,15536,TT +24,4800,17312,NN +40,416,22320,TT +2768,256,61520,NN +1472,1680,10600,NT +432,2200,2496,NT +296,352,9560,TN +10648,544,88,NT +504,9600,11464,NT +1040,3648,23040,NT +1784,208,4000,TN +304,2880,175152,TN +240,584,8904,TN +16,9664,368,NT +32,40,26952,TN +864,72,15424,TN +184,11976,21216,TN +392,592,1136,TT +2432,264,105376,NT +1184,2392,3680,TN +136,3520,13088,NT +104,768,1472,TN +152,8928,157816,NN +88,9800,2312,TT +56,7064,8792,NT +120,64,184864,NT +8216,752,10784,NT +576,816,20920,NN +1728,168,104,NT +328,872,4856,TT +3200,4072,15152,TT +344,68760,192,NT +744,8504,12576,TT +168,344,408344,TN +856,1264,19016,TT +1568,504,4408,NN +480,112,3400,TN +4040,976,13424,TT +1032,88,34200,NN +16232,1920,5792,TT +120,1584,3960,TT +1872,416,16480,NN +592,1784,1496,TN +536,720,1352,NT +16080,496,1976,TN +128,768,11648,TT +40168,1280,143016,TN +368,38224,15312,TT +1208,408,33808,TN +144,184,552,NN +18400,920,285000,NN +1040,3240,1016,NT +312,4584,943568,TT +7864,29864,7048,TT +968,444888,840,TT +24,3192,9320,TT +1352,33104,92016,NN +288,576,5664,TN +26464,400,6976,TN +53416,22112,20432,NT +896,1392,2320,TN +792,328,856,NT +3048,640,15304,NN +224,112,81984,TT +7504,72,9848,NN +120,2944,94080,NT +912,2888,6664,NT +80,1176,35928,TN +848,696,56,TT +144,8504,232,NN +192,3888,3776,NN +5808,6232,6952,NT +1064,8,5792,NN +256,16,496,TT +5536,5056,13920,NN +24,3432,5720,NN +304,120,3344,TN +1288,136,18216,TN +328,200,13240,NT +32,64,7328,NT +4032,608,888,NT +10088,12512,164904,NT +256,144,4144,TN +872,80,929256,NN +1800,56,39600,NN +768,3528,21968,NN +24256,2752,5392,TT +120,592,3520,TT +2280,336,92192,NT +1752,36936,176,TT +784,1152,6872,NT +2032,232,19624,TN +112,1256,37328,TT +88,4000,24080,NN +1216,16,2920,NT +1528,216,3064,TT +4120,688,6792,TT +1768,304,4744,NN +56,32,17752,NT +208,6544,18536,NT +1112,2320,3464,TT +227856,640,10600,NT +336,152,7792,TT +312,1696,13864,TT +168,1768,28232,TN +1296,9112,7632,NN +16,19760,12736,NN +1536,176,1160,TN +184,160,21656,NN +864,4736,31496,TN +2592,72,2096,TN +120,64,12344,NN +7472,3072,15032,NN +144,352,34232,TN +528,288,157024,NT +384,2904,3224,TN +96,2064,10456,NT +392,1552,74184,NN +464,744,22192,TN +152,1616,10104,NN +936,48,240,NN +304,232,23088,NN +2216,376,23640,TT +4120,72,1160,TT +184,2800,3920,TN +48,528,96,TN +624,1008,2056,TN +3344,9248,968,NT +2000,9536,2144,TT +1704,1248,120,TN +6552,976,272,NN +2176,40,16,NN +80,1720,3184,TT +880,928,440,NT +456,920,22128,NN +16,19760,12736,NT +496,7760,58296,TT +3816,9424,9936,TT +112,104,2200,NT +1296,424,141424,TN +1136,488,3744,NT +88,56744,24,NT +1192,3144,63448,NT +16616,5384,1304,NT +40,688,15056,NT +160,1240,416,TN +152,1512,5288,TN +208,5384,3840,NN +1824,9568,8768,NN +10200,1616,1960,NT +96,15576,3864,TN +600,6064,48,TN +272,1304,54096,NT +2472,31288,3008,TT +840,5352,4408,NT +1360,1040,800,NT +32,480,3736,TT +4200,688,1168,TT +520,18328,8728,TT +1200,11280,5848,NT +2184,3680,85520,TN +552,1368,16016,TT +5232,39336,31288,TT +896,368,3032,NT +1144,600,296,NT +464,1776,1952,TT +360,4768,11848,NT +148160,688,35232,NN +67784,5584,20328,NN +152,1720,10920,TT +312,224,15632,NN +504,504,32496,TT +656,824,1216,TN +5048,416,14496,TN +400,688,11712,NT +320,1104,104,NN +1080,2968,12632,TN +72,7456,11224,NN +3784,22880,3216,TT +864,39176,59920,TN +456,43520,1440,NN +3840,8,9232,TT +56,2576,2352,TN +13600,456,3192,TN +160,1784,25288,NN +49232,608,10536,TN +2696,10656,9968,NN +680,2024,1304,NT +144,42400,51216,TT +120,1144,1512,NT +784,1520,38864,TT +1840,72,11472,NT +96,328,5680,NN +152352,624,16640,TN +456,2056,2264,TT +288,408,4792,NT +632,112,984,NT +152,1520,280,TN +48,752,3360,TT +30520,440,6000,NT +928,544,17616,TT +24,592,108136,TN +96,2760,8256,TN +72,672,25688,TN +1368,1152,2336,TT +10032,384,2360,TT +4840,560,5360,NN +3672,16,4112,NN +6272,1608,35120,NT +240,120,8144,NT +22016,1648,9424,NN +1048,712,8544,TN +1936,376,7464,TN +112,648,36456,NT +48480,104,1232,NT +1024,496,872,TN +776,7056,7360,NT +440,184,2568,TT +272,29160,6936,NN +504,488,1376,TN +472,1312,17664,TT +4016,13512,51576,NT +168,3296,104400,TN +464,1184,153536,TT +48,1504,1560,NN +7088,112,22960,NT +256,960,3976,NN +2312,328,280408,NT +1920,6280,432,NN +2392,128,15336,NN +376,712,5936,TT +288,304,37536,NN +8552,80,432,TN +3648,824,3232,NN +248,64,48600,NN +104,216,68352,TT +1280,80,7248,TT +4072,1520,4088,TT +1168,3752,6520,NN +680,7816,1776,NT +1336,2664,9112,TT +8192,9352,11072,TT +3096,824,1528,TN +8000,1080,504,TN +224,2056,1600,TN +1312,1248,22352,TT +2488,528,92944,NT +3352,5040,13744,NT +256,560,57968,TN +8608,1088,2416,NN +3512,17360,10256,NT +336,24,16120,NN +456,888,832,TN +848,376,28208,TT +368,6888,2992,NT +72,3336,32952,NT +168,9440,3160,TT +2128,568,21952,NN +480,31224,15696,NN +2768,8408,2560,TT +256,168,28952,TN +408,2280,10280,NT +48,456,7664,NT +7760,80,12408,NN +88,592,2504,NN +760,2992,27640,NT +1944,3696,148888,TN +5320,5600,27160,NN +864,496,5128,TN +72,592,34736,NN +1720,712,82776,NN +9112,248,1256,TN +128,1584,12832,NN +56,18168,184,NN +40720,2760,2864,TN +456,288,38632,NN +568,184,38928,TT +1160,568,1904,TT +5032,728,5304,TT +856,96,4096,NT +2032,4576,20632,NT +440,880,98552,NN +15112,240,616,NN +64,80,4784,NT +1048,432,13960,TN +1296,15288,178032,NN +144,672,9736,NN +1144,1672,154080,NN +1688,376,1688,NN +512,1552,11528,TT +4624,1584,2648,TT +40,1688,4704,NT +5664,648,128,NT +1880,96,4304,TN +400,2888,83688,TT +47304,24,2328,NT +360,5160,1240,TN +232,5088,3584,TT +1232,688,29704,NN +152,2504,53816,NT +656,1328,1288,TT +440,1016,264,TT +1042016,2104,152,NT +488,552,72,TN +1528,448,33752,TN +2816,1968,8448,TN +648,95832,1576,TT +1664,2344,70160,TT +1104,16272,4000,TT +72,680,16328,NT +3088,1800,3288,NT +424,7528,11720,TN +656,24,272120,TT +620024,8448,6416,TN +384,7872,7624,TN +5664,648,128,TN +1032,984,2128,TT +184,56,1600,NT +192,632,11816,NN +168,528,2232,TN +144,116112,3776,TN +72,184,5496,NN +32,64,86032,NN +824,1688,4696,TN +760,1872,26824,NT +4208,12512,25616,NT +976,568,3376,NT +952,7624,8256,TN +352,4072,2064,TT +1200,800,4272,NT +152,760,5752,TT +2016,280,11616,TT +7744,744,2712,NT +128,216,3848,TT +10600,15472,472,NT +344,8256,4000,NT +696,432,96608,NT +480,6392,4096,NT +448,1096,960,TN +216,1992,46656,TT +384,552,1024,TT +144,744,19120,TT +5024,1216,1464,NT +240,3768,90552,TT +1248,11344,12720,TN +96,47640,2768,TT +848,4272,169984,NN +72,352,2360,TN +1352,352,29360,TT +488,1944,9304,NN +64,152,32856,TN +6680,384,8944,NN +2552,5800,29256,TT +632,2368,728,NT +280,1384,51224,TT +928,64,6448,TT +184,1728,944,NT +704,74392,25224,TN +1960,5608,352,TN +1792,24,1160,NT +16,7352,3312,NN +1632,1744,417904,TN +11872,1352,73296,TT +1496,312,27344,TT +528,2000,113560,NN +400,328,3000,NT +2064,24,10032,NT +960,1328,2272,TN +9344,3432,20280,TN +2064,104,21432,TN +752,32,8144,NN +432,2152,14000,NT +42272,56,181424,TN +96,112,8104,NN +6776,344,15048,TN +2000,1072,1952,TT +704,328,288600,NT +1024,19032,34888,TT +2184,640,116880,TN +1672,448,6672,NT +2192,56,112272,TN +600,33640,376,TN +48,536,392,NN +1184,368,992,NT +296,15384,2824,TT +1200,2656,5680,NT +192,392,92256,TN +808,1120,45104,NT +352,24,8192,NN +17192,39248,14008,NN +1288,1272,344,TT +840,136,2760,NT +96,16,9160,TT +896,1944,6536,NN +648,408,43048,NN +1312,3648,14608,NN +328,72,2184,TN +968,752,2520,TN +120,8544,1232,TN +3008,88,184,TN +9128,952,3800,NN +896,2400,344240,NT +1040,320,63824,TT +1296,6376,7696,TT +16,11128,2688,NT +8032,4960,22016,TN +2312,96,464720,NT +11768,24840,7768,TN +1816,544,11000,TN +848,520,187296,TT +320,2240,4992,TT +704,568,2040,TN +88,920,1072,TT +40,944,3544,TN +272,1160,3784,TT +1424,88,71352,NN +1568,104,2048,TN +1536,1336,24408,TN +8216,160,16,TT +264,4040,7128,TN +616,3944,32848,TN +1160,4048,12960,TN +640,32,3824,NN +616,5624,309816,NN +264,1728,232392,NN +1184,704,1944,TT +392,592,1136,NN +72792,2680,16224,NN +800,408,2200,TT +1096,16,5720,TN +24,4064,14048,NT +40,944,3544,NT +8768,696,27000,NN +1168,224,3040,TT +1024,1672,3240,TN +528,1600,632,TN +1616,424,94928,TN +3408,7752,6416,NT +64,1984,1856,NT +528,160,1280,TN +168,2760,30504,TT +1408,1072,10288,NN +232,1280,4736,TN +440,7792,16392,NT +44040,1280,21256,NN +368,7856,7016,TT +136,1448,25240,NN +1424,6344,8160,TN +432,952,896,TT +544,1224,4312,NN +40,640,103352,NN +20512,312,72,NN +864,12176,6888,TN +2616,1600,688,NT +2600,12952,23664,NN +288,720,1112,NT +456,4368,4112,TN +2752,4656,29704,TT +8,272,80960,TN +120,432,880,NN +136,4400,872,NT +22936,64688,62696,NN +19144,584,3152,NT +1304,992,8800,TN +2016,80,6560,TT +576,42768,75552,TT +480,22080,6632,NN +592,936,8240,NT +568,72,85680,TN +1504,680,17992,TN +448,240,22088,TT +7176,7464,8544,TN +11192,7720,1736,TT +32224,1040,24400,TN +768,2424,720,TT +224,1184,114344,NT +125608,776,33408,NT +648,256,3528,TN +704,568,21800,TN +832,376,4944,TT +173208,912,39600,TN +7400,88,43648,NT +224,12088,83480,NT +224,5632,4688,NT +4072,1360,61232,TT +136,105776,1992,TT +208,880,73608,NN +424,2640,61880,TN +16,40280,9120,NT +952,9744,4416,NN +1384,528,168,NT +208,1664,976,TN +80,688,107736,NN +1824,2720,1624,TT +240,2168,4456,NN +64,376,4000,TT +624,272,84504,TN +632,192,7512,TT +24,7232,3800,NN +568,152,104720,TN +1968,360,9352,NT +152,88,2024,NT +1256,1744,164488,NN +3664,110272,1448,NT +1800,432,10936,NN +680,264,20608,TT +3936,2240,14192,NT +16576,1568,29888,NT +488,5816,55312,NN +4280,112,4584,TT +1008,1192,2240,TT +288,864,3384,NT +176,1568,10472,NN +352,6888,6816,NN +4120,1104,816,TT +1000,20240,3856,NN +584,2568,5320,TN +504,23264,448,NT +3984,7480,11184,TN +112,128,3736,TN +1272,96,165152,TN +2000,1512,9408,NN +2168,2520,84824,NN +248,1736,5744,NT +2472,72,3880,NN +2944,576,6936,NN +3984,1296,784,TN +1512,1416,6368,NT +1056,16,5272,NN +664,1752,45280,NN +248,944,8240,NN +512,544,2568,TT +7240,1000,1704,TN +2520,3176,4120,NN +1632,1112,17304,TN +752,7944,1000,NN +1160,736,154904,TN +4600,1656,112,TT +496,248,3104,NN +2824,536,3024,TN +1320,4848,6128,TT +48688,3136,6816,NT +4000,928,97680,NN +120,96,21112,NT +464,496,6088,NN +1560,440,696,NN +10808,2816,9048,TT +928,2192,1224,TN +264,184,142024,NN +3128,32,424,TN +928,196640,10664,NT +1136,208,768,TT +5032,1016,2744,TN +1904,184,1552,TT +185680,280,52288,TN +344,648,69024,TN +264,864,544,NN +456,1920,82912,NN +1240,12416,21208,NT +544,4776,14232,NN +3896,1656,36248,NN +160,80,2096,TT +2256,22280,1256,TN +1528,744,4208,NN +688,12424,25296,TT +1976,944,9288,NT +552,824,1648,TN +35536,32,19496,TT +40,80,624,TN +1592,104,10376,NT +192,64,10032,NT +72,2056,2120,NT +76144,2360,2208,TT +1600,1344,1240,NT +4208,328,467064,NN +1200,3664,944,NT +1624,3848,8792,TN +1112,2672,4872,NT +3296,1384,1800,NT +1040,6000,3312,NT +9400,1784,15856,TT +536,1216,1056,NT +640,24,3184,NT +97952,319616,3232,TT +144,96,79736,NT +1520,4264,1904,TT +16,2216,62800,NT +152,192,9536,TN +280,688,3176,TT +232,6528,856,NT +2352,1016,296368,TT +312,992,32152,NN +968,160,7728,TT +992,70056,6704,NT +824,920,1088,NT +408,21680,1584,NT +80,3344,1528,TN +9320,1632,32552,NT +136,4400,872,NN +2600,4848,1304,TN +112,328,338416,TT +856,96,4096,NN +1072,448,1264,NN +2304,1416,44488,NT +352,36904,11952,TN +312,1112,52496,NT +1984,1048,75672,NT +5448,13072,1440,NN +1680,2248,1824,TT +728,2936,13296,TN +160,5640,512,NN +2744,1864,14672,NN +144,1096,72,TT +1368,5816,28248,NT +1384,1496,3136,NT +48,544,10384,NN +4632,664,2792,NT +1584,33472,2824,TT +72,880,22144,TT +280,2528,142944,TN +200,8992,1592,TN +1072,2416,1696,TT +16,4984,3200,TN +7672,1256,5504,NN +320,1152,8072,NT +520,1040,5880,NN +448,2928,6448,TN +216,520,1072,TN +344,128,16400,TT +264,72,12328,NT +40,1416,22384,NN +536,152,7560,NN +6192,528,1288,NN +944,1000,35112,TT +24,5752,16576,NN +448,240,22088,TN +784,4048,6696,NT +3208,288,51632,TT +752,1184,4528,TN +3288,456,976,NN +1016,1184,22216,NT +352,3072,24960,NT +1952,656,144,TT +288,1888,1880,TN +488,168,5640,NT +160,168,15336,TT +1744,480,1656,NT +408,2280,10280,NN +560,4608,3248,TN +112,1880,21536,TT +880,240,15776,NN +3280,672,86320,NN +4776,1216,10696,TN +1288,1272,344,TN +600,5584,31048,NN +3520,1856,4872,TT +240,21400,55424,TT +1896,904,5184,NN +320,632,11840,NN +568,2752,7856,TN +416,10792,2112,TT +1240,928,2208,TN +2048,27776,19424,TN +200,272,80,TT +2912,9200,5944,TN +4224,3544,4256,TN +7864,6896,2920,TN +488,552,72,NN +1744,2192,31872,NT +1064,5304,40752,NN +2864,99024,32416,TT +144,536,44616,TT +80,248,11016,NT +1720,1680,96,TT +256,3456,256,NT +4208,328,467064,TN +712,240,4744,TT +1320,56,6496,TT +6512,3176,5336,NT +48,2064,4984,TT +760,2992,27640,TT +120,2536,15592,TT +448,3776,2216,NT +648,104,106376,TT +96,1664,147952,NN +2536,320,1888,NT +4128,2968,360,TT +84880,6480,28504,NT +7488,56,3696,TN +23944,64,3872,NN +320,5768,389272,TN +37624,6832,14976,TN +2136,1112,22088,TN +936,2712,87920,TT +2600,32192,34144,TT +2008,384,49032,TN +728,448,7688,NN +2992,336,45672,NN +1736,1960,1176,TN +2752,5328,5200,NN +704,288,3864,TN +5544,2392,2504,TN +176,4824,5464,TN +512,320,3040,TT +1176,4968,1368,NT +2816,3096,656,NT +1064,2296,31120,NN +1640,912,64496,NT +1048,200,200304,NT +88,128,100144,NT +3160,56,248,TN +5192,7048,68936,TN +864,18336,4272,TT +3296,1224,376,TN +40,792,7824,TN +4888,72,67672,NN +2304,1416,44488,TN +424,1624,9880,NT +264,408,10552,TT +176,2600,9120,TN +904,504,78424,NT +240,1248,15392,TT +264,2856,11592,TN +480,272,16632,NT +8264,3248,9568,TN +368,656,1128,TT +6392,112,10168,NT +784,192,448,NT +56,800,56,TT +70864,408,16552,TN +40,1824,2680,TT +328,7464,56256,NT +400,688,11712,NN +136,105776,1992,NN +6240,1552,5736,TT +784,504,258264,NT +640,2144,29720,NT +864,1776,28192,NN +384,808,10352,TN +360,312,3160,TN +352,80,726720,NT +1024,192,18088,NN +8848,216,2248,NT +728,2344,91680,TN +9568,392,77896,TT +104,1336,5800,NN +2608,5864,13248,TN +5104,40,2632,TN +1688,5288,1664,TT +2720,1280,104,TT +48,5424,39984,NT +448,20104,392,NN +16,40,189128,TN +128,23912,3304,TT +600,6184,12472,TT +3760,20432,376,NN +208,96,18816,TN +608,512,1464,TN +112,160,3680,NT +392,1216,3688,TT +64,752,14456,NN +184,144,17328,NN +616,56,22440,TN +1608,256,104112,NT +2208,544,15552,TT +464,46080,5544,TT +120,2056,10352,TT +280,472,1752,NT +656,792,1296,TN +3600,328,19352,TN +48,2064,4984,NN +568,1912,4360,NT +472,64,52984,NN +528,1952,21584,TN +136,6800,232,NT +104,3864,56208,NN +392,464,3960,TN +96,968,7832,TN +376,53944,696,NT +3208,32,14408,TN +648,928,2232,TN +248,48,9520,NN +24,4800,17312,TT +20968,312,2608,NT +72,432,4696,NN +1296,12968,296448,NN +824,336,5768,TT +1320,72,6888,TT +6720,149208,16968,TT +272,1840,61928,TN +14448,424,5016,NN +2592,1536,2608,TT +1024,832,352,NT +480,760,2416,TN +288,2192,10960,NN +2056,3616,1952,TN +1616,224,8752,TT +1360,1040,800,TT +200,104,864,NN +808,7224,3648,NN +3464,528,34904,TT +864,2368,26824,TT +1928,2976,3992,NN +1512,4328,2920,NN +456,664,6824,NN +624,2240,3080,TN +176,568,1352,NT +368,31048,29584,NT +888,296,17336,TT +128,632,1744,TT +24,14616,23752,NN +544,1296,3760,NT +192,280,17504,NT +368,44536,1664,TN +640,3560,447944,TN +512,15136,3400,NN +1936,1136,6872,NT +160,184,33920,TT +272,456,112416,NT +312,808,432,TN +544,6200,9392,TT +1864,14984,640,NT +240,2088,1808,TN +104,2816,1888,TN +728,3240,2680,TN +7304,32,132104,TT +1048,38824,27320,TN +6400,112,176,NT +280,600,5504,TT +3256,1552,3792,TT +1704,2240,1344,NT +880,1328,560,TT +4976,1568,56,NN +2080,14712,46552,TN +400,72,64832,NT +7072,32,2096,TN +1016,2136,28928,NN +264,2288,1216,NT +48,1088,16600,NT +280,216,8688,NN +2672,1016,27496,NN +176,2064,34784,NN +1864,360,472,NT +264,1344,15640,TT +808,152,4608,TT +1936,1136,6872,TT +31472,808,3832,NT +8016,40336,2240,NN +13416,3344,12304,TN +2696,1712,944,NT +1088,584,26264,NT +560,392,3224,TT +176,3304,11440,TN +6776,344,15048,TT +112,1168,24632,NT +24,3976,11240,TT +368,2560,62432,TN +32,37376,110976,NN +2016,80,6560,TN +872,48,35992,NT +568,2752,7856,TT +264,864,5416,TT +1792,40,29408,NT +4392,2048,10344,NT +832,1528,2176,NT +440,920,87232,TN +88,1192,37616,TT +1344,2592,16,TN +2440,136,1976,TN +200,472,44000,NN +1864,360,472,NN +336,824,40000,TT +752,496,11448,TT +1336,208,3552,NN +2376,56,1768,TN +232,8696,11432,NT +1032,336,24480,NN +1232,360,5112,TN +2176,40,16,TN +72,1656,73040,NT +992,328,39264,NN +16,9664,368,TT +888,2048,58920,NT +1456,728,72,TN +4992,120,3288,NT +768,344,19568,NN +176,166288,4328,NN +2792,5240,11912,TT +696,32,4872,NT +5904,1760,91256,NT +1136,992,10016,NT +768,7952,70000,NT +1272,96,165152,TT +64,1432,12440,NN +3664,1624,464,NN +16,3728,10056,TN +32,9296,5312,NN +424,2240,39224,NT +16,19760,12736,TT +552,704,5880,TN +1040,392,88016,NN +168,1176,4192,NT +624,1304,28688,NT +4824,152,68488,NN +1584,248,20576,NN +3976,2136,5760,TT +3256,344,36856,TT +368,840,104464,TT +4416,1840,248248,NN +752,1880,5288,NN +320,120,117512,NT +184,1168,2456,NT +24,7528,10048,TN +208,12200,24424,NN +320,7544,3272,NN +408,3864,1256,NT +3888,3912,1408,NN +125608,776,33408,NN +3488,272,16776,TT +40,8200,2192,NN +456,440,71936,NT +33712,2944,35928,TT +416,2744,2680,NN +8304,624,6152,TT +976,1336,9120,NT +8528,1112,45072,TN +59144,2240,880,NN +336,2464,115624,TT +1512,1416,6368,TT +1120,2160,88,TN +3968,40,17728,NN +1128,1424,15384,NT +608,6352,3352,NN +488,1112,3992,TT +4616,928,32880,NT +1232,664,2912,NN +552,5888,5664,TN +18640,119224,8144,TT +80960,328,5840,NT +496,40,3520,NN +408,20176,1576,NT +216,1512,3896,TN +896,1208,6872,TT +5304,96,632,NT +136,72,52088,TT +344,2896,11352,TT +72,2056,2120,NN +4368,5392,9968,TN +35192,144,1992,NN +24,224,5032,NN +13464,1152,10904,TT +96,13200,552,TN +464,64,72,TT +112,182056,8400,NT +22320,32,26072,TN +1544,2720,2840,NN +128,2192,3080,TT +512,488,1256,NT +400,960,12024,NT +536,1640,4864,NN +520,72,41984,TN +1584,400,6840,TT +400,1144,29392,TN +216,136,5704,TT +576,2032,8088,NN +808,1248,4688,TN +432,432,12824,TN +3688,3000,465632,NN +384,10360,728,NT +200,784,400,TN +696,576,6656,TT +728,640,8256,NT +64,656,47736,TT +2288,456,49328,NT +1032,984,2128,TN +16,33168,42200,NT +968,568,250688,NT +280,136,9736,NN +3072,504,1432,NT +6616,39016,23112,NT +1400,64,1136,TN +2128,6128,7328,NT +3456,3456,8136,TN +248,1936,4144,TT +128,776,8000,TT +496,216,3552,TN +3992,88,136392,NT +1552,752,78944,TT +264,968,2664,NT +712,1704,40480,NT +832,18568,504,NT +3464,472,24600,NN +240,1248,15392,TN +496,88,33208,NT +5288,208,7544,NN +1192,4464,6272,TN +40,7624,6096,NT +5088,864,19656,NT +1984,18512,7320,TN +488,984,3512,TN +16,648,2464,TN +80,103800,4888,NN +96,912,2640,NT +32,3000,47440,NT +1072,688,304,NT +1488,336,2328,NT +2080,400,2840,NN +42712,4200,2840,NN +37624,6832,14976,NT +248,2056,9280,TN +264,2384,19904,NT +3136,496,3272,NT +328,32,2688,NT +1048,12856,56512,NT +16,40280,9120,TT +336,1272,4608,TT +8,528,15088,NT +3304,376,5304,NT +2040,152,1040,NT +272,12000,20184,NN +1416,408,2800,NN +88,16448,8288,TT +344,456,176,NN +376,64,5008,TN +184,1856,7560,NN +1408,776,226368,TN +480,2568,44488,NN +248,624,52960,TT +528,2000,113560,TN +40,9968,424,TT +856,2056,15592,NN +1512,9152,100288,TN +1008,1376,17264,TN +8280,344,264,NN +224,56,3416,NT +1928,5680,5168,NN +5760,824,31640,NN +520,208,23280,TN +544,424,1312,NN +1024,72,4088,NT +48,576,16968,TN +328,2304,1400,TT +1112,664,93288,TN +904,1632,31904,NT +656,40,8912,NT +968,568,250688,NN +5416,2568,1264,TN +7760,80,12408,TT +4960,360,8624,NT +11176,1832,82888,TT +184,3056,44480,NN +3000,272,17104,NN +720,32,336,NN +5496,400,3248,TN +568,1080,38504,TT +696,3520,3008,NN +1392,2568,1304,NN +824,672,5352,TN +560,392,3224,NN +896,312,3952,TT +400,3664,4136,NT +1008,40,11288,TN +384,616,11320,NN +4080,584,22400,TN +64,120,2320,TT +48,2144,2848,NN +4000,2304,93760,NN +1712,4696,160,NT +400,328,3000,TT +1040,264,5152,NT +24,16120,3088,NT +656,312,4064,NT +5520,408,42880,TT +2968,448,2240,NN +72,96,12056,NN +96,3528,22344,TN +472,424,25360,TN +904,48,9920,NN +1824,248,1968,NT +160,1064,4632,NN +24,960,38840,NT +5776,2496,53880,TN +1208,408,33808,TT +16,5560,776,NN +2120,1080,12768,NN +13040,192,64,TT +872,816,31552,NT +352,56,16536,NN +280,1336,48400,TT +4728,11856,18672,NN +848,1104,25368,NN +952,11904,31528,TT +352,3072,24960,TN +128,2192,3080,NT +208,672,8480,NN +304,4976,14128,NT +1192,336,1840,TT +256,88,440,TN +2408,1368,12488,TT +104,6520,8576,NN +2744,1504,61944,TN +1256,4392,1312,TN +424,480,49048,NN +2536,120,3504,NT +160,22104,1688,NN +2264,520,6808,TT +504,2048,53056,NN +8544,3776,496,TT +2136,1584,920,TN +848,14040,16,TN +808,1584,6872,NT +80,840,1040,TT +4632,784,27160,TN +600,9864,21816,NN +800,2104,376,NT +264,496,10568,TT +160,88,2000,NT +856,632,4240,NN +16,18552,85752,NT +1688,128,3128,NT +400,296,2512,TN +3232,16544,5416,TT +3040,13232,5264,NN +216,25048,2024,NN +96,10520,62824,TN +4408,40,6896,TT +2064,160,1112,NN +7728,160,45664,NT +6368,360,19384,NT +2632,704,1776,TN +392,3280,424,NN +816,248,1240,NN +64,30016,568872,NT +424,1064,3096,NN +288,112,9016,NT +1504,10136,9120,TT +136,688,18616,NT +440,2928,6960,NT +3640,10760,51688,NT +192,7768,3288,TN +696,328,4168,TN +72904,14992,28208,NT +6776,7528,23592,NT +328,112,5088,TN +176,1368,111032,TN +8368,488,9160,NT +976,10256,656,NT +360,1088,6568,TT +7776,368,92408,TN +3488,3328,79552,TN +1392,1360,4544,TN +1528,216,3064,NT +1904,976,5520,TT +12872,7376,10784,NN +616,568,9056,NT +11528,7960,3784,NN +392,5512,4976,TT +216,1992,46656,NN +1088,64,3976,TN +184,360,3752,TT +240,3448,632,TT +872,216,15336,TT +608,1184,14216,TN +14128,10112,1912,TN +432,2728,48424,NN +2272,192,112344,NT +64,248,41928,TN +272,608,278112,NN +376,1096,181640,TT +960,40,11472,TN +5144,33568,4824,NN +3560,2528,23736,TN +5328,1072,14496,TT +712,24,37328,NN +1008,3864,3696,TT +488,648,211888,TT +400,160,7560,NN +296,144,144224,TT +21368,1664,1280,NN +1040,608,23320,TT +1896,120,7712,TN +6216,272,6240,NN +416,1176,37344,TT +592,88,19424,NT +88,56,10912,NN +88840,4032,10296,TT +912,5096,93432,NT +3248,1520,2904,NT +1536,24,72288,TT +304,32,1960,TT +16,1464,3000,TN +360,536,51616,TN +576,40,187912,NN +576,136,31184,NT +232,360,22888,NT +2824,2472,2296,TN +360,464,7672,NT +576,536,27808,TN +64,52768,32,NN +384,168,2456,NN +312,27344,47888,TT +952,1480,43056,TT +816,1232,7416,TT +824,328,6344,NT +296,1752,8952,NN +72,1152,73968,TT +360,1160,1736,NN +552,48,6536,NT +2192,6480,14600,TN +4280,824,9976,TT +1544,1072,2184,NT +264,4184,4528,NN +352,2240,36208,TN +2440,32,9816,TT +328,39296,2016,NN +1608,616,2888,NN +13520,3384,328,NT +24,360,29288,TN +888,664,36880,TT +4760,1728,9936,NN +1368,1296,47576,TN +4536,848,4992,NN +88,32616,20488,NN +96,232,648,TN +928,160,52600,NT +1968,1248,14336,NN +240,1128,17136,NT +296,616,15648,TN +776,384,7472,NN +544,1664,67952,TT +8992,2544,1400,TT +328,344,5424,NT +224,1672,52744,NN +12608,1816,8000,NT +216,344,2336,NN +2048,440,10496,NT +640,672,2552,NT +992,14488,3408,NN +88,568,14056,TT +32,584,3312,TN +1536,520,1232,NN +38672,233312,160,TT +432,64,4872,NT +1560,400,4920,NN +1856,1672,3360,NN +232,6504,8368,NT +104,952,40,TN +1872,2144,3872,NN +2136,1584,920,NN +104,888,46152,TN +1536,1544,4120,NT +24,368,5184,TN +24,216,976,TN +144,352,34232,NT +472,952,15576,NT +1400,1736,81224,NT +216,48,14832,NT +3616,1112,5568,NN +7544,37128,112584,TN +2640,344,29480,NT +88,1504,9712,TN +1928,496,25696,NN +88,464,60216,TN +968,360,7992,TN +1656,1512,8976,NN +200,104,12728,TN +3032,1128,5664,NN +3544,112,12664,NN +72736,90808,19096,NT +4120,9600,45960,TN +3480,4920,5416,NT +1952,792,10200,TN +864,16,6136,TN +1080,6496,2832,TN +13608,648,21984,TT +208,720,10656,TN +2464,12592,139376,TT +1368,1152,2336,NT +1000,712,24720,TN +504,152,155336,TN +248,432,78216,TT +528,680,42352,NN +328,1672,3424,NN +472,176,621768,TT +168,168,712,TN +312,120,14416,NN +1912,224,20968,NN +3160,584,344,NT +2536,408,1984,TN +760,344,9440,TT +38672,233312,160,TN +1240,480,9032,NT +112,182056,8400,NN +128,2848,5184,NT +80,8464,2656,NT +4848,472,31024,NN +72,152,5176,NT +2488,392,47152,TN +8072,624,32576,NT +720,288,36768,NN +184,1240,1160,NT +472,496,43712,NT +3608,400,4624,TT +328,1296,6664,NT +1632,3176,1696,NT +568,18544,12872,NN +128,1808,624,TN +2720,352,9512,NN +112,80,2080,TN +1656,7520,62096,TN +232,216,1064,NT +1400,1800,111080,TN +4880,11880,25168,TN +1176,1840,44280,NT +384,17056,11576,TN +54312,4680,5664,NN +384,8160,776,TN +3464,2624,4480,NN +280,784,8656,NT +568,1912,4360,TN +256,13168,21872,TT +2392,408,221024,NN +1512,368,13608,TN +176,320,3456,NN +856,840,66536,NT +15720,1288,144,TN +248,496,19296,TT +32,744,89000,NT +96,9488,216,NT +136,2744,6240,TT +344,536,10504,TT +2696,752,15928,NN +768,552,536,TN +304,144,720,NN +4488,176,42968,TN +152,4168,5688,TT +59928,272,16936,TN +1936,2912,54256,TN +120,1816,9056,NN +1144,2304,52128,NT +8040,72,26240,NN +304,128,832,NT +192,15216,4520,TT +576,104,1936,TT +1672,760,31176,TN +40,416,10504,TT +3432,480,10904,TT +176,384,15888,NT +5160,1128,63192,TT +15112,240,616,TN +13608,648,21984,TN +808,14184,13488,TN +104,296,6960,TN +240,2088,9576,TN +824,1160,5128,TT +1208,1224,10576,TN +1208,96,5120,NN +424,7528,11720,TT +6808,192,6824,TN +3912,2264,704,NN +336,880,11920,NN +960,120,7592,TN +320,336,7592,TT +992,70056,6704,TT +80960,328,5840,TT +108352,5336,19912,NN +272,800,36048,NT +856,2056,15592,TN +2440,64,14552,TT +440,2552,53272,NN +12832,8096,82672,NT +712,96,3840,NN +1040,1576,40640,NT +8,640,29848,TT +165272,22528,30560,TN +176,712,18240,NT +416,10176,2616,TT +16,64,43376,NN +864,1344,3696,TT +304,2520,160,TN +672,728,616,TN +456,23928,3168,TT +2440,112,2048,TT +1992,11792,8128,NT +472,1016,4072,TT +2064,35656,24576,TN +40,528,328,TT +672,24,3296,TN +336,1976,1960,TN +1512,400,5648,TT +148992,144,44288,NT +3352,1032,1056,NN +1136,24,20504,TT +200,872,14536,NT +608,512,1464,TT +96,2760,8256,NN +8352,920,40696,TT +4008,31776,149712,TT +448,4528,296,NT +784,5032,21504,TT +768,240,9592,NN +584,832,8000,NT +472,920,8136,TN +5312,1248,96312,NN +152,688,54520,NN +272,376,2960,TN +1272,5680,40288,TT +536,3120,210032,NT +1480,168704,16256,NT +648,648,608,TT +2184,592,20240,NN +1240,26248,64,TT +664,32,77480,NN +728,2120,1416,TN +14968,9112,984,TN +120,816,2848,NT +24,152,4128,TT +120,5352,344,TT +5080,120,43728,TT +5072,672,112680,TN +144,1256,4792,TN +8880,10168,5216,TN +352,1016,69832,NN +720,2384,1128,TT +4632,104,1256,NN +1480,73472,1872,TT +128,560,6016,NN +216,3064,1080,NT +824,1688,4696,TT +76808,3200,20264,NN +104,1280,936,TT +360,1016,67600,NT +72,3336,5128,NT +1312,2032,5400,NT +130656,832,13520,NN +64,15736,8584,TT +192,336,717512,NN +1032,144,21280,TT +29744,2104,4184,NN +120,376,57120,NT +5592,6912,43088,NN +992,8016,35056,NN +400,240,4304,TT +10232,120,10224,NN +4152,752,4696,TN +1576,936,1272,TN +3432,1192,21424,NN +96,72,15192,NT +40,1576,1208,NT +4176,328,1952,NN +448,2192,9248,NT +64,392,2576,NN +31504,80,81240,NN +1192,3144,63448,NN +10000,2296,5512,NT +432,480,3872,TN +256,1992,11784,NT +584,1096,55720,TN +6944,120,4808,TT +176,6888,9304,NN +392,40,3240,NN +160,1600,76672,TN +256,720,8696,NN +96,2144,5256,NN +504,248,21888,NT +448,688,968,TN +104,584,1336,TN +376,912,2776,TN +2064,104,21432,NT +304,104,2192,NN +936,712,8616,NN +208,3376,9368,TT +872,440,400,NT +10728,88,1880,TN +504,1688,3592,NT +3648,480,8632,NN +16,3904,2720,TT +263408,216,576,NN +1576,13080,1648,NT +520,3392,12824,NT +30208,2472,8528,TN +2120,16,1896,TT +2392,6176,168,TT +16,18552,85752,NN +600,1912,27664,NN +712,1568,16680,NN +616,4800,198472,TN +824,4696,4288,TT +224,432,624,TT +89776,104,1136,NN +368,4360,5640,TT +424,1512,17904,TT +1224,912,3712,NT +384,2792,1632,NN +88,2816,512,TT +1456,11080,20904,TN +1040,5432,3984,TT +488,168,5640,TN +608,25280,1232,TN +1072,688,304,TN +552,432,4056,TN +264,16,3616,TN +18928,1272,25664,TT +1960,1056,14272,NN +1856,480,16960,NT +192,1056,2224,NN +16,760,40232,NN +208,7424,3272,TT +192,1744,8368,TT +544,440,5048,NT +464,72,68720,NN +7032,832,6984,TN +1432,2056,46104,TN +480,56,7816,TT +2736,2328,2648,TN +1664,2824,2960,TN +1048,304,1184,NT +12240,1928,3824,TT +5104,15344,18688,TT +936,624,528,TT +415568,176,27728,TT +1032,2256,21944,TN +120,2472,4656,TN +2976,712,31744,NN +24,4464,25464,NN +323376,3656,4344,TN +3688,3000,465632,TN +5536,5056,13920,TT +1472,2792,12128,TT +216,75112,44024,NN +624,272,84504,NT +296,1024,752,TN +5792,584,25912,NN +2464,12592,139376,NN +600,3568,2392,NT +120,600,8120,TT +184,64,23952,TN +120,1144,1512,NN +344,624,47856,TT +1048,2376,6312,TN +4552,520,14000,TT +20424,48,3512,TT +20424,48,3512,TN +768,552,536,TT +360,256,872,NT +40,400,13896,NN +96,3768,824,NT +832,4968,48160,NN +256,2992,25488,NN +2184,2696,4960,TN +200,320,3824,NN +88,2480,4400,NN +336,280,37456,NN +200,1448,6832,NN +56,360,69896,NT +136,2080,1992,TN +1048,2680,240,TT +176,1848,23528,NT +152,16,1768,NN +520,296,480,NT +64,120,8000,NT +216,424,119960,TN +6432,184,96,NN +152,64,8856,NN +6152,48,6400,NT +304,232,23088,TT +32,208,23776,TT +2976,712,31744,TT +312,1424,8248,NT +67632,800,18784,TN +880,96,5064,TT +120,2344,8576,TN +1040,895632,15296,NN +152,51800,1400,TN +752,3528,136,NT +4392,2048,10344,TT +272,4160,18176,TN +760,1752,13752,TN +3472,1232,105664,NN +4744,2056,424,TN +1120,19360,1864,NN +3784,22880,3216,TN +96,3416,968,NN +408,1016,7376,TN +8512,5232,39592,NN +1168,8320,72,NT +416,360,1424,TN +96,912,2640,NN +72,328,6872,TT +896,928,464,NT +720,2264,1744,NT +3144,10080,5624,TT +5016,1048,10136,TN +504,56,14976,TN +432,3112,1352,TT +456,2056,2264,NT +888,432,224,TT +1040,1336,8824,TN +1744,144,7056,TN +352,160,6080,NN +1072,184,20696,NT +216,25048,2024,TT +208,20240,4936,NT +18928,1272,25664,NN +3104,32,536,NT +240,2496,11824,NT +1824,2720,1624,TN +736,384,1168,TN +200,40,216,NN +136,288,13624,TT +624,4480,25096,TN +168,344,408344,NN +352,4488,8144,NN +224,488,91072,NT +2352,176,248,NT +896,1000,8424,TN +24,72,68336,NT +80,95144,60432,TT +160,32,36320,NN +328,344,17848,TT +320,120,117512,TN +216,3280,41504,TN +360,10944,25424,TN +432,840,5296,TN +40,7328,38672,NN +1896,904,5184,NT +9792,312,3944,TT +1856,54608,41256,TT +352,448,349416,NT +2808,152,648,TT +480,10592,15512,NN +32,80,1152,TT +184,3720,2824,NN +1216,72144,1024,NT +448,720,4072,NN +5160,40,1168,TN +208,1712,1248,TN +712,48,3320,NN +840,440,3744,NN +192,456,136,TN +208,2256,408,TT +28504,568,5376,TT +224,2440,33504,NN +1464,456,840,NT +184,4512,98864,NT +184,27600,1536,NT +31440,1096,5576,TT +24,240,1648,NT +3752,864,3720,TT +5160,1128,63192,NN +64,4056,11416,NT +1136,1096,17992,TT +1776,656,11776,TT +200,40,5456,NN +96,1176,1792,NN +1704,4352,6472,TT +424,664,4824,NT +304,17272,4216,TN +600,24,23448,TN +512,152,136,NT +96,10448,7240,TN +608,656,53008,NN +7552,872,9888,NT +2376,2144,11696,TN +400,2488,22280,NN +160,312,40136,TN +848,632,4560,NN +320,400,4848,TT +656,24,5872,NT +7888,18304,4704,NT +936,48,240,TT +4608,824,23576,NN +96,376,12872,NT +24,312,219248,NT +368,4024,29024,TT +1784,928,3064,TN +648,3520,89928,NN +216,6984,1984,TN +2320,2448,2376,TN +208,792,192360,TT +64,80,9896,NT +1008,3152,7016,TT +6160,25536,8376,TN +2784,1192,267752,TT +208,72,720,NT +208,112,30440,TT +1728,1984,3928,NT +1568,224,175352,TT +1664,168,1728,NT +96,336,42272,TN +48,1768,18992,NN +192,4064,2208,TT +216,1992,46656,TN +1144,440,13520,NT +304,208,12280,TN +160,856,19128,TT +288,2192,10960,TN +16400,12576,16688,TN +1544,29992,4120,NT +48,416,1024,TT +152,1536,560,NN +536,1216,1056,TT +3120,432,8560,NN +264,136,664,NT +1840,72,11472,TT +592,2984,408,NN +760,11720,3904,NT +82416,1360,1248,NT +67360,312,58720,TT +400,4416,10024,NN +1848,72,31128,TT +144,544,100568,TT +17032,1024,13248,NN +96,16,9160,NN +5464,6336,13656,NN +2088,1048,4360,NN +120,1144,1512,TT +2408,104,14496,TT +1560,48,121480,NT +2776,1624,4280,TT +1680,5048,3072,TT +584,45376,5928,TN +984,1024,163256,TT +1440,56,5384,NT +384,2904,3224,NN +600,2632,82320,NN +816,80,33000,NT +648,264,2336,TT +256,88,11200,NT +448,4216,7048,NN +72,112,160192,TT +4360,440,2120,NN +136,4120,30256,TN +1760,1056,824,NT +3160,456,496,NT +760,328,3912,NN +56,376,95256,NT +96,152,1032,NT +41488,472,120,TT +1240,16,7912,TN +6672,9168,9152,TN +288,720,13872,NT +40,528,328,NN +336,2560,344,NN +64,744,16976,TN +48,69056,7208,NN +120,600,8120,NT +152,112,5168,TT +472,128,2144,TT +3584,144,1328,NT +144,2280,81736,NT +712,24,11768,NN +32,1192,336,NT +424,1584,632,TN +13504,96,25664,TT +80,2824,5480,NN +288,720,1112,TN +816,1872,6968,NT +712,544,27840,TN +132704,8216,47624,TT +64,912,1912,TT +72,1152,73968,NT +9272,808,858544,TN +6048,200,2928,TN +2640,9176,2520,NN +280,472,1752,TN +112,1272,3672,TT +1976,88,21904,NN +7864,29864,7048,TN +168,568,1648,TN +5464,752,9624,TN +1872,2144,3872,TT +232,5488,11408,NT +264,2568,7400,TN +189816,832,96488,NT +256,10888,3952,TT +64,13304,728,TN +3504,264,6088,NN +686528,296,7152,NN +144,448,608,NT +1112,3752,5008,TT +680,200,25888,NT +6552,976,272,TT +856,2680,67576,NT +400,3112,29616,NN +224,96,3888,TN +24,4800,17312,NT +480,768,12632,NT +712,16,34528,NN +5000,240,6912,NT +1568,320,10688,NT +4408,712,46088,TT +144,544,1800,TT +760,1560,55688,TN +304,1752,112,NT +5008,128,69168,NT +1344,104,2000,NN +7736,440,2568,NN +3024,264,46208,NN +960,200,11608,TT +80,13040,12520,TN +864,56,4744,TN +520,880,20688,NT +80,384,2200,TT +952,4984,19120,TT +4064,1344,33648,TT +11056,136,2576,TN +16,5816,57120,NN +1288,232,3352,NT +1912,224,2872,NT +464,3952,1280,TN +512,1272,4976,NN +4384,32,7008,TN +80,3344,1528,NN +1576,136,1376,NN +12040,3352,3296,TT +1448,48,7272,NT +336,4856,37904,TT +60328,1968,200,NN +2392,2192,74728,TT +448,280,3184,NT +16272,8336,1760,NT +368,7856,7016,NT +296,144,15568,NN +3832,1680,16840,TN +688,1128,1192,NN +488,2752,35136,NN +264,2200,109216,TT +1104,5464,4264,NN +2776,360,1048,NN +272,264,2280,TN +16,104,4320,NT +17960,1928,5696,NN +1024,64,4232,TT +1424,120,2656,NT +552,24,9776,TN +56,344,5152,NN +3072,1264,98640,NN +184,1728,944,TN +1208,1224,10576,NN +504,2360,1128,TT +560,1440,3112,NT +200,343128,41624,TT +272,3344,2000,TT +640,784,1000,NN +1160,736,154904,NT +816,4840,21432,TN +136,672,128976,TN +824,672,5352,NN +96,224,15328,TT +2032,6744,81632,TN +240,112,13480,NN +944,248,2816,NT +792,152,4856,TT +4064,944,70968,NT +4976,1568,56,TT +576,200,8,NN +1040,104,19408,NT +1312,576,312,NT +352,152,1544,TN +64,248,1520,TN +96,2064,10456,TT +185680,280,52288,NT +600,224,5648,NN +1264,1104,10928,TN +19488,5064,13664,TN +1416,1576,1744,NN +12664,112,3160,TN +544,872,11408,NN +1296,480,2608,TN +30752,816,508304,TN +132480,1400,5384,NN +808,1328,672,NT +1048,176,14504,NN +1128,5640,3216,NN +208,184,1056,NT +328,5216,44392,NT +216,1224,888,NN +22376,1360,11312,NN +176,3896,8488,NT +984,432,27472,NT +440,4088,23032,TN +160,176,3304,TT +39032,208,23536,TN +2792,5240,11912,TN +440,880,98552,TT +3384,696,18480,TN +416,208,9960,TT +360,464,7672,NN +4616,1728,46936,TT +5448,624,3120,TN +7464,20008,15192,TN +224,5392,26320,TN +408,6376,11040,NN +640,52968,13280,NN +432,496,62688,TN +176,40,13696,TN +5688,10768,4728,TN +320,1696,328,NT +1008,5848,11000,NN +920,264,816,TN +696,24,4880,NN +5320,5600,27160,TN +648,2144,5232,TN +4488,56,27616,NN +1088,64,3976,NT +168,6320,240,TT +70864,408,16552,NT +312,448,4136,NT +4232,104,4128,TN +912,5096,93432,TN +1224,160,1448,TT +9272,488,20264,TN +560,1392,1968,NN +3848,2208,30016,NT +19968,288,18328,TN +1032,464,160,TT +1392,296,63680,TT +72,624,3744,TT +1040,264,5152,NN +296,24,15688,TN +120,2328,88768,TN +72,4320,11216,TT +96,4608,20792,NT +1536,80,280,TN +976,2696,720,NT +592,2512,16632,TT +256,272,6176,NN +1488,264,8136,TN +936,1088,3952,NT +2920,736,39104,TT +888,448,88,TN +264,408,10552,TN +608,768,1144,TN +1096,264,247904,NT +504,5744,21728,TN +280,816,91896,TN +1376,312,22560,TN +5104,6864,2376,NN +968,2456,2160,TT +528,5816,27440,TT +16456,280,3744,TN +20168,152,12288,TT +2432,1136,9320,TT +280,88,19400,TN +1896,5064,9560,NN +440,2240,1088,TT +976,5488,23864,TT +680,600,22440,NT +376,1504,9232,TT +264,472,6880,TN +1440,48,6896,TN +6696,344,17712,TT +248,120,20600,TT +800,6416,77656,NN +32,552,8952,TN +19488,5064,13664,NN +2184,1072,1528,NT +4040,14888,2736,NT +8552,51824,296,TN +1664,272,5480,NT +136,4520,1176,TN +3904,400,18648,TT +445896,5752,245784,TN +9544,121744,1208,NN +4552,880,3000,NN +104,1592,1704,NT +8608,1560,136,NT +1624,1584,6240,TN +224,2880,17152,TT +2944,40,5184,NN +3120,1984,9968,TT +456,304,1808,NN +3208,2280,1824,TN +184,200,16304,TN +672,512,19912,TN +432,904,33816,TT +1216,312,4384,TT +80,4872,3928,NN +400,240,4304,NT +1456,456,344,TT +3160,584,344,TT +1184,2392,3680,TT +168,120,6352,NN +440,1360,12608,TT +4672,1032,1096,NN +200,968,156144,NT +7944,1112,2504,TT +224,12088,83480,TN +688,96,2688,TT +1648,912,5976,TN +2848,1304,1208,NT +904,104,968,TN +616,832,29840,TT +696,2640,27248,NN +27096,760,2120,TT +2536,128,14192,NT +1544,12248,7368,TN +12704,3728,4680,TN +4840,992,307600,TN +528,9584,32888,NT +120,400,136,TN +6136,152,12416,NN +232,2144,19688,NN +544,4096,8720,TN +8248,144,3136,NN +3160,584,344,TN +2432,264,105376,NN +224,4688,45792,TN +200,448,1096,NN +32,144,2320,TN +1432,64,1128,NT +176,6888,9304,NT +144,3320,3344,TT +1752,440,32,TT +1368,33360,11104,TT +152,80,13736,TN +512,1464,17488,NT +184,344,13320,TN +7488,2544,5440,TT +96,2040,72,NT +184,448,7512,TT +1024,2976,944,NT +592,6552,11672,TN +240,4824,1064,TN +72,512,2680,NN +456,584,1016,TN +1320,1584,864,NT +688,456,3320,TN +72,64,3888,NN +64,128,53688,TT +1312,15240,1736,NT +32,6168,4752,NN +16312,5752,16344,TT +1560,752,16080,NT +864,240,72,TN +5176,280,2872,TN +584,56,888,NN +272,768,672,TT +240,56,8936,TT +4008,64,17728,NT +216,272,1448,NN +3608,3184,1496,NN +216,7632,2976,NT +4040,14888,2736,TN +264,4184,4528,TT +544,3296,904,TN +1008,280,14248,TT +1064,40,12528,TT +608,32,68728,NT +336,1552,2064,TN +312,7928,88,NT +35760,144,28992,NN +200,1312,10672,NT +224,904,584,TN +152,2712,28752,TN +264,97952,5176,TT +4392,2048,10344,NN +27056,10464,1448,NN +392,56,1912,TT +64,72,109800,NT +2120,3056,7216,TN +368,384,10864,TN +360,4768,11848,TT +1296,456,10768,TN +3600,1112,10896,NT +1352,456,32200,TT +368,3032,3952,NN +344,272,640,NT +144,736,768,TN +160,72,161120,NN +320,656,1088,NT +1352,1032,5632,NN +432,432,12824,NN +7928,1304,18528,TN +432,408,139432,NN +1760,23280,2728,TN +1920,16,296,NT +24,246664,464,TT +472,192,9808,TT +2936,40,856,TN +1248,23128,5776,NN +224,1360,7432,TT +1056,200,12488,NN +2072,1152,4992,TT +5416,112,4928,TN +1264,984,74328,NN +1768,4384,67848,NN +368,848,33752,TT +56,224,102608,NT +376,3200,3688,TN +296,280,16,NN +152,5000,9720,NT +680,712,2624,TT +624,2336,27256,TN +264,184,142024,TN +624,1832,9744,NT +1528,448,33752,TT +216,11600,286504,NN +624,800,32,NT +416,2720,3944,NN +1064,432,328,TT +432,528,6840,TT +72,2840,29728,NT +808,1888,20880,NT +824,576,9864,TT +216,144,168736,TT +4984,736,25424,NT +56,7992,12448,NT +255912,120,22480,TN +3072,1264,98640,TN +1632,3176,1696,TN +352,2456,10928,NT +32,5592,6280,TN +560,464,14280,TN +17648,1792,28496,TT +1192,160,7544,TN +856,88,3712,NT +416,32,22072,TT +30864,16,2008,NN +216,48,14832,NN +640,3280,15520,TT +584,1608,656,NN +216,3032,21008,TT +640,13912,28256,TN +4464,344,11720,NT +1616,40,264,TN +544,984,13112,TN +1736,2696,5248,TT +1296,7496,6920,NT +5088,864,19656,TT +128,1096,10184,TN +288,128,320,TT +1328,480,39080,NN +8728,2832,16400,TT +2664,312,2608,TT +3216,8664,232616,TN +296,5504,808,NN +128,2760,2056,TT +10296,1312,3864,TT +15880,9976,24328,TN +2480,544,8352,TN +96,16,9160,TN +3768,4864,5528,TT +24,1584,27984,TT +1952,8,8944,NN +208,696,52104,TT +5152,320,18864,TN +2888,312,296,NN +312,120,14416,TN +3304,1272,94680,TN +344,25232,6448,TT +48,280,3440,TT +760,328,3912,NT +2312,112,3568,NN +432,208,5424,TN +3608,400,4624,NT +10928,2248,4792,NT +40,1856,5272,NT +328,6160,11992,NN +648,2144,5232,NT +96,5560,538888,NN +7384,2960,20512,TN +312,1664,288,NN +696,656,168,NN +2208,304,2520,TN +376,1504,9232,TN +1192,640,10160,TT +160,3472,7072,TT +5704,6728,5248,NT +952,864,10608,TN +872,1656,9088,NN +136,6232,3624,NT +512,304,37656,TN +144,56,4728,NT +1056,528,2600,NN +1672,2496,2768,NT +872,856,151472,NT +12888,1752,22792,TT +1232,3544,45256,NN +20176,1024,6920,TN +1032,912,30568,NN +744,248,15112,NN +168,2920,16432,NT +27496,5400,17520,NT +1360,272,11768,NT +152,688,3568,TT +30288,2336,15920,TT +32,2792,5280,NN +584,16792,38488,NN +256,408,4008,TN +1728,1304,4816,NN +2568,528,5544,TN +488,776,232,TN +992,1656,15992,NN +688,376,116936,NT +264,464,3040,TT +152,1512,5288,NN +2056,2272,24464,TN +9032,304,936,NT +408,1432,12392,NT +240,248,1728,TT +1368,3512,329208,NN +7528,3008,1744,TT +22792,584,3856,TN +181336,944,2760,NN +4288,160,129432,TT +2120,3056,7216,NT +12360,3968,6816,TT +440,1024,14512,NT +184,1168,2456,TN +72,1032,47168,TN +2928,608,41096,NT +4680,1432,11752,TT +992,1384,2400,NN +4616,2384,152304,TT +3288,2272,6384,NN +72792,2680,16224,NT +408,2008,184464,NN +184,512,2712,NN +122376,240,8760,NN +184,3888,47000,NT +2176,208,10040,NT +1080,1640,6792,NT +592,1784,1496,TT +352,2232,1208,TN +480,10056,20040,NT +104,2816,1888,TT +168,800,952,NN +1216,16,5016,NT +216,3592,4384,NN +2536,80,3200,TN +208,1064,70176,NN +216,568,4632,TT +2760,328,70528,TT +232,368,10792,TT +56,7016,472,NT +104,1392,10016,TT +136,984,3984,TN +976,832,696,NT +752,216,10824,NN +152,1536,560,TT +424,280,121040,NN +3896,256,2368,NN +160,896,7136,NT +1560,1088,17824,NN +5056,744,8488,NT +208,16,16536,NN +80,840,1040,TN +8888,528,4344,TN +64,424,11112,TN +1272,1016,15680,NN +688,32,2328,TN +792,1192,11616,NT +2152,832,52040,NT +15472,80,21264,TN +1064,64,16168,TN +320,624,6952,TN +144,1344,138552,NT +45616,3632,4536,NN +4800,16368,13744,TT +32,2040,3224,NN +3296,1224,376,TT +1304,20696,36496,TN +264,136,664,TN +32,160,3144,NN +14720,1024,5976,TN +472,448,66056,TT +5344,40,75832,TN +368,25312,66984,TT +2216,664,21800,TT +336,88048,7832,NT +464,976,7152,NT +328,312,344,NN +3864,8072,151256,NT +159736,9416,2640,NT +1504,688,20920,TT +23568,3664,12712,TT +456,560,1896,NT +2672,248,19704,NN +160,992,2008,TN +1168,1904,1080,TN +448,3200,768,NT +1048,760,59552,NN +184,3056,44480,NT +2056,2272,24464,TT +608,480,6744,TT +264,4904,1544,NT +928,3040,1928,TT +72,880,22144,NT +336,2464,115624,NN +2904,632,33368,NT +161344,3512,1272,TN +1344,87752,456,TT +24,1320,21136,TN +128,1168,14040,NN +3120,432,8560,TN +1032,456,1448,TT +416,680,76624,NT +1336,800,2368,TT +816,4840,21432,TT +728,1264,2432,NN +640,73712,2048,TN +288,4560,5488,NN +1112,2672,4872,TT +24,1576,21936,NN +1840,3960,1664,TN +9272,3544,73352,NN +288,2384,11576,TT +192,984,9880,TN +24,736,22544,TT +1008,13064,19080,NN +624,256,23968,TN +288,216,19688,NT +728,3240,2680,NT +520,112,18424,TT +64,80,4784,NN +1640,21256,592,TT +224,432,624,TN +104,2968,256,NT +7992,608,312,TT +144,56,4728,NN +224,56,3416,NN +2352,13512,12912,NT +40,736,1832,NT +3504,264,6088,TN +880,2048,2896,TT +680,200,25888,TN +72,1296,816,TN +24,12856,39632,TT +1472,528,368,TN +4040,488,3992,NN +744,2192,2496,NN +544,2272,17424,NT +1288,240,4888,NN +88,1088,9160,TN +272,2008,160,NT +168,1176,4192,TT +904,104,968,NT +120,728,3280,TN +16808,408,14576,TT +872,1008,808,NT +32,3288,196848,NT +448,13912,22392,NN +4048,784,12600,TT +368,3872,5088,NN +49720,456,58376,NN +688,488,485320,TN +304,448,3184,TN +448,11872,1056,TT +824,8880,25984,NN +208,320,8976,NT +1400,320,6504,NT +728,2344,91680,NN +4256,536,21280,NN +2256,128,3384,TN +2784,856,1824,TT +712,16,34528,NT +432,152,5928,TN +232,344,4016,TT +840,40,1728,TN +1488,296,17624,TN +8664,104,16992,NT +2896,1016,1744,NN +624,64,19128,TN +288,200,712,NT +16,808,15296,NT +296,968,3968,NT +5840,376,120,TT +1584,400,6840,NN +1144,600,296,TN +24,1104,71448,TN +11192,7720,1736,NT +392,4928,17248,TN +424,1064,3096,TN +584,1144,16976,NN +4528,440,4576,NT +64,88,2720,NN +72,2920,3440,TN +3096,4088,18904,NN +2736,1512,928,TN +5872,1064,3784,NT +4672,552,25424,TN +3992,272,12584,TN +488,6128,592,NT +168,672,3496,TN +1456,11080,20904,TT +72,736,12016,TN +488,168,9488,TN +8296,152,55536,NN +336,1080,7840,TN +3040,128,10664,NN +376,2648,2304,NT +1576,680,1680,TT +4712,6016,38640,TT +392,256,152,NN +96,1144,864,TN +3312,6408,9704,TT +280,784,8656,TN +184,520,912,TT +40,1576,135144,TN +19776,32872,5752,NN +936,6528,5600,NN +336,13960,408,TN +96,3768,10504,NN +7408,904,12656,TN +1448,1344,8032,NN +336,24,6640,NN +4600,272,26384,NT +440,1024,14512,NN +40,80,57184,NN +1536,80,280,TT +984,3392,38496,TN +7416,8784,144,NN +1040,152,9440,NT +424,872,20984,TN +1024,1216,6864,TT +112,328,338416,NN +1488,840,7632,TN +14000,560,19544,NT +48,2400,5640,TT +752,3608,27944,NN +432,544,1776,NT +552,1248,1672,TN +40,904,9480,NN +13152,224,576,NT +2152,17264,24576,TT +1240,64,2856,NT +4176,800,59768,NT +26952,208,62936,TT +1792,24,1160,NN +376,2016,20864,NN +312,1168,1536,TT +2760,728,29384,NT +32,592,82888,TT +20144,232,4592,TT +128,5160,3384,TN +4520,400,48,NN +240,4648,26784,TT +968,360,7992,NT +1072,112,912,NN +960,616,3384,TN +248,136,8112,NT +2384,7424,520,TN +344,8256,4000,TN +1288,136,18216,NN +112,104,2200,TN +1264,200,39232,TN +5840,376,120,NT +16,1272,512,TT +1320,7520,8512,TT +7616,4920,3720,NN +17192,39248,14008,TN +104,88,1632,NT +232,6504,8368,NN +1288,21312,3728,NT +1616,766840,4176,NT +208,112,5104,TT +2376,576,21272,NT +336,104,13232,NT +336,224,1520,TN +1024,2976,944,TT +280,2864,1008,NT +296,240,9368,TN +744,1448,2128,TT +2520,1736,9312,NT +2752,784,8472,TT +152,7256,118272,NN +592,1072,421040,NN +800,42896,24,NN +1856,2280,696,TT +400,2888,83688,NT +400,104,21768,NT +464,7656,12416,TN +8432,800,8192,NN +1120,1016,9768,NN +5488,6552,11192,TN +96,432,3080,TN +4272,7888,1816,NT +776,1216,5664,NT +7144,14912,624,TT +520,600,2872,NT +1752,1312,19920,TN +8024,1416,6472,TT +1632,1448,344080,NT +98552,56,10432,NT +1304,5792,3864,TN +792,7720,536,TT +72,1528,2688,NN +2752,4656,29704,TN +648,24,1896,NN +40,848,1688,TN +128,736,5704,TT +72,16992,26912,NN +72,4664,256,NT +31472,808,3832,TT +472,11696,27088,NT +88,680,4192,TT +2328,240,2136,NT +352,728,25136,NT +1080,1360,1480,NT +80,1216,554472,TT +336,1072,5624,NT +1344,5080,23336,NN +672,1432,192,NN +1024,64,4232,NN +1208,168,36488,NT +392,1288,5032,TN +14768,25432,22272,TT +928,3040,1928,NT +1928,1296,6088,NT +4928,1176,14280,NT +445264,1048,1728,NT +1216,280,5928,NN +64,152,15976,TN +768,344,2072,NT +48,1184,100480,TT +2064,3208,28456,NN +4424,3904,13872,TN +96,47912,544,TT +3488,2144,49552,TT +1904,504,19528,TN +7888,18304,4704,NN +312,32,79512,TT +1016,45960,6360,TN +216,24,6320,TT +272,240,9784,NT +216,9104,30160,NN +64,560,3784,TT +952,2296,5464,NN +3312,1568,15936,TN +2824,2896,11128,TT +512,208,13216,TN +448,488,288,NT +464,384,14456,TT +3152,608,6368,NT +496,4688,12208,NN +64,600,2144,TT +504,1456,488096,NT +3784,5272,1200,NT +14000,560,19544,TN +312,4584,943568,NT +336,1800,7272,NN +496,232,2416,TT +4016,27816,672,NN +1448,856,560,TT +80,3712,21968,NN +520,1816,4200,TN +2032,4576,20632,TT +184,22648,9136,TN +400,82152,776,TN +752,1336,109040,TN +680,712,2624,NN +848,11128,3104,TT +2200,376,1240,NN +1184,2032,21600,TN +1848,56,1720,NT +153728,17016,49168,TN +800,408,2200,TN +7544,37128,112584,NT +424,2008,9432,TT +1488,1416,9712,NN +32,1344,3128,NT +1560,256,3384,NT +192,632,11816,NT +280,88,19400,NN +5168,9512,14528,NT +385848,2800,12880,NN +5728,1096,8128,TT +400,256,3832,NT +552,9408,226272,NN +10928,2248,4792,NN +896,3504,4264,TN +539624,312,10744,NN +200,144,252952,NN +2472,7536,1200,TT +480,96,33808,NT +2064,160,1112,TT +200,80,14064,NT +448,1096,960,NT +7392,8104,85272,TT +168,584,15288,TN +2400,1096,1176,TT +4024,2896,1864,NT +1488,1480,46664,TN +384,760,16752,TN +1376,80,92616,NN +664,18576,11528,TN +216,3600,8600,NN +4296,26056,116640,NN +200,72,53448,NT +352,3704,40672,TT +19544,1352,960,NT +48,3240,148696,TN +12864,8,4544,TN +56,536,22752,TT +96,448,6320,TT +8040,72,26240,NT +2976,24032,100160,TN +4016,576,9664,TN +144,2376,12968,TN +7256,13560,3960,TT +456,320,9024,TN +112,2648,80,NT +472,48,28608,NN +24,4064,14048,TT +21368,2984,24768,TN +272,8688,320,NN +560,624,8960,NT +1264,8536,111848,TN +96,1000,3032,TT +752,128,9712,NN +896,1432,35744,NT +1120,1424,6288,TT +104,1008,8056,NT +912,7824,34752,NT +1232,336,6144,TN +16224,66800,26400,TT +840,256,1240,TT +512,544,26368,TT +1608,1408,8024,TN +80,1264,8088,NN +1088,96,9360,NN +31984,288,7576,NN +32,4088,32000,NN +48,752,3360,NT +4824,152,68488,NT +384,192,10280,TN +25936,344,157240,TN +784,4784,696,TN +64,56,18568,NN +520,600,2872,NN +3952,152,3632,NT +376,1488,18576,NT +368,200,4848,TN +1208,2360,222256,TN +104,888,46152,NN +232,7472,3832,NT +1016,4096,26320,NT +152,32,2208,TT +5688,4024,52840,TN +4584,48,907512,NN +424,7528,11720,NN +5024,3056,112,NN +848,376,28208,NN +432,96,2376,NT +440,6872,1704,NN +768,6872,27440,NN +232,320,50728,TN +296,352,9560,TT +1072,112,912,TN +96,1000,3032,TN +296,80,4488,NT +2000,2944,119232,NT +384,616,11320,NT +1392,56,6592,TT +511208,3616,17568,TN +2152,368,9152,TN +264,12336,1864,NT +1200,224,58112,TN +16,1792,24496,NN +144,184,10000,TT +5808,6232,6952,TT +328,36512,192544,NN +24,26640,32760,NT +34640,576,7224,TT +696,296,6768,TN +5992,1048,4648,NN +368,1664,7688,NN +1976,1616,568,NT +1896,904,5184,TT +216,848,3368,TT +1448,1344,8032,NT +552,5192,2304,TT +2216,270304,2920,NT +1368,128,9544,TT +4216,888,3616,NN +18928,1272,25664,TN +2472,31288,3008,NN +96,464,28608,NN +208,6544,18536,NN +224,16752,5384,NN +880,256,108928,TN +120,840,3336,TN +10776,144,37408,TT +5696,2552,106600,TT +139896,808,584,NT +160,856,19128,NT +2272,344,9688,TN +288,688,9856,TT +63512,1848,47608,TT +30800,168,1888,TN +32,224,2464,TT +376,32,103384,TT +2256,86536,4048,TT +1664,2424,992,TN +208,1664,976,TT +104,1816,64,TN +448,3632,52160,NT +208,12008,3384,TN +2968,4104,21664,TT +1640,16,3016,TN +448,2928,6448,NT +168,2624,382408,TT +112,3512,1776,NT +160,3192,9880,NT +1896,128,218840,TT +91176,832,28944,TN +6096,600,13280,TN +16,1440,70312,NT +152,2504,53816,TN +528,3544,5944,TN +2920,752,5032,TT +1904,1656,168,TN +2360,144,3480,NN +32,912,25680,TN +48,2296,4200,TT +6128,120,12920,TN +6536,912,2960,TT +72,352,2360,NN +584,2568,5320,TT +1720,4712,8752,TN +27552,9920,5456,TN +11376,416,2656,TN +1616,720,608,NN +352,1472,752,NT +880,888,6736,TN +368,200,1184,TN +376,280,44832,TT +4856,1336,23112,NN +256,168,28952,TT +1008,40,11288,TT +11360,5448,2384,TN +360,600,29536,NT +448,2248,3720,NT +2944,16976,329488,TT +1920,1720,5600,TN +139896,808,584,TN +512,176,288,NT +1096,48,11168,NN +360,3400,21008,TN +296,21824,20704,NN +944,4944,4416,NN +760,4624,36080,NN +2040,152,1040,NN +304,2520,160,NN +280,288,248616,NT +352,136,23840,NN +88,19440,4032,NN +7296,264,8904,TT +4976,296,472,NN +4784,1856,2952,NT +880,72,432,NT +240,3448,632,NN +384,7872,7624,NN +2448,1168,2896,TT +1240,312,1056,NN +368,552,256,NT +160,544,203536,TT +72,6504,8848,TN +176,40,512,TN +600,1024,7592,TT +4424,1960,14168,NN +312,1288,5912,NT +56,80,3608,NN +48,3240,148696,NT +16224,66800,26400,TN +4024,2896,1864,NN +96,528,3440,TT +1896,2024,14128,TT +19192,744,2936,NT +168,6320,240,NT +1904,3192,3432,TN +848,720,24512,TT +112,984,2000,NN +176,4568,9592,NT +224,464,541208,NT +72,56,24512,NT +888,56856,128,TT +512,304,37656,NN +1248,440,4512,NT +216,520,1072,TT +864,2368,26824,TN +2152,728,13336,TN +672,1456,82512,TN +15904,488,4200,NT +1160,408,3000,NT +2432,536,14168,NT +1552,80,3776,TN +288,48,1128,NN +104,88,2704,TT +48,2208,8368,NT +96,17880,5464,TN +56,272,6328,TT +776,1056,310616,TT +16,3728,10056,TT +2648,6976,2032,NN +1120,2160,88,TT +2336,744,77680,TN +256,1000,5864,NN +488,2168,968,TN +8280,624,4224,NN +160,1056,9160,NN +6416,1032,1904,NN +944,1000,35112,TN +2960,112,40536,NN +88,2240,33536,NN +24,360,29288,NT +1488,296,8352,TN +1856,560,8344,NN +88,1104,648,TN +400,1936,4920,TN +368,5416,23784,TN +5696,3784,81160,TT +128,2760,2056,NT +896,1432,35744,TT +576,112,27832,TT +512,1032,48600,TN +528,648,19168,TN +32,80,952,TN +40,232,152,NT +80,104,9864,TN +416,1176,37344,NT +1760,23280,2728,TT +6096,136,2776,NN +504,1608,248,NN +4208,1200,210888,NN +808,992,64416,NN +664,2304,9864,TT +57504,3968,1328,NN +1176,18416,472136,NN +384,56,2896,TT +840,2408,7720,TN +1040,6000,3312,NN +288,224,14352,TT +3184,1504,3304,NN +976,568,3376,NN +840,136,2760,NN +64,456,17064,TT +3152,15608,6104,NT +2752,5328,5200,NT +2824,848,86096,TN +3904,8736,97216,TN +3656,344,2096,TT +200,800,5680,TT +704,384,17600,TN +536,480,61096,NT +1384,1496,3136,TN +208,2592,8080,NT +144,96,8008,NT +816,4840,21432,NN +5416,7808,102496,TT +1040,88,680,NT +264,12336,1864,NN +536,592,5624,TT +6064,480,2272,TN +64,13472,4560,TN +1280,760,1008,NT +1008,56,5776,NT +264,3904,3224,NN +40,488,6824,TN +3000,10168,4056,TN +4016,80,1560,NN +592,22520,13840,TN +1360,112,616,NN +19096,2192,18320,NT +936,624,528,TN +944,681952,11256,NT +336,104,13232,TN +512,1544,1952,TT +176,5576,7328,NT +680,784,34304,TT +1936,18368,72,NT +200,144,248112,TN +2488,384,904,NT +464,96,1120,NN +72,640,30024,TN +552,9312,4608,NN +408,2008,184464,TN +1736,1088,2176,TT +528,5024,64,TN +3472,2064,1040,TN +16400,344,7320,NT +720,288,36768,NT +1120,40,115848,TT +7000,5368,6400,NT +128,27832,6808,TT +1712,312,4272,NT +168,32,456,NN +456,72,15312,NN +11648,704,11048,TT +6528,528,1608,NT +392,61800,584,NN +456,920,429392,TN +1224,56,704,NT +1472,16,8592,NN +1056,2936,87984,NN +288,120,3008,NT +704,74392,25224,NT +9672,2624,26856,NN +8248,1648,1400,NT +88,13432,4488,TN +152,1992,59776,TN +256,960,3976,TN +24,592,108136,NT +440,1064,13504,NN +4544,1840,16584,TN +896,2512,13272,TT +360,1280,68448,TT +16,592,97744,NT +1784,208,4000,NN +480,824,8048,TN +792,7720,536,NT +184,11224,12208,TT +960,200,11608,NT +496,632,22056,TT +16,4416,10528,NN +112,112,14392,NT +7304,104,19456,TT +16,7296,34544,TT +64,248,41928,NT +216,576,35344,TT +2384,64,12816,NN +72,3280,25600,TN +128,664,6552,NN +11448,2344,9224,NN +128,96,1048,TT +1072,13008,10848,NN +7536,4960,12000,TT +56,2376,21584,NN +744,3488,5952,TT +440,5392,17848,NN +45616,3632,4536,TN +1624,4888,84480,NT +3816,360,6408,TT +2816,816,984,TT +552,824,1648,NN +8728,2832,16400,NN +288,536,2408,NT +488,2752,35136,TN +7296,3384,784,TT +104,240,4368,TN +5432,376,6584,NT +800,1016,9016,NT +5312,1248,96312,TT +416,352,6312,TT +144,776,10056,TT +984,864,76048,NT +504,23264,448,TN +496,352,4728,TN +64,32232,536,TT +736,928,18400,TN +22984,216,9672,NN +96,11104,11304,NN +3728,3080,2800,NN +56,432,4688,TT +1328,720,34624,TT +1184,16568,76560,NN +3680,1104,28784,TN +88,10632,14040,NT +40,1128,26600,TT +14456,176,1496,NT +776,888,4088,NN +264,640,816,TT +384,248,736,TT +752,1984,1280,NN +32,688,327536,NN +7312,2848,1784,NN +416,224,15536,TN +32,1744,648,NN +4064,944,70968,TT +1024,304,22032,TN +248,1760,403800,TN +32,1152,7816,NT +3320,6544,3784,TT +720,288,36768,TN +2352,5488,68008,TN +2136,1112,22088,TT +464,32,10896,NT +3528,4032,1664,NT +752,232,1360,TN +608,328,61784,NN +9448,4680,6552,TN +56,144,272,NT +352,6936,9808,TN +1896,168,149800,NT +248,1656,506576,NT +3512,400,2608,NT +4688,880,76936,TN +352,3080,5008,NT +720,5368,3864,NT +1024,576,57144,NN +1496,1440,28608,TT +1512,2128,4408,TT +1024,640,4440,NT +16,784,15880,TN +64,176,9440,TT +3416,1360,13216,TT +824,752,2912,NN +96,4392,24,NT +1568,2112,11984,NT +168,224,25072,NN +272,3832,31344,NT +5304,96,632,TN +1344,22584,9376,TN +408,1048,6480,TT +176,3304,11440,NT +560,560,3960,NT +576,208,14776,TN +864,136,17184,NT +2984,696,20744,NN +64,328,25672,NN +136080,512,2008,TT +360,216,66232,TN +584,56,888,NT +248,384,1912,TT +392,1216,3688,NT +40,24,6240,TN +352,1632,5944,NT +587728,296,2440,NT +1024,1016,12888,NN +736,280,18624,NN +192,1976,1592,NT +3112,584,103976,NN +8,992,1056,NT +3392,5056,23008,TN +56,2704,148648,TT +1336,824,3728,TT +9112,3976,5520,NN +448,3200,768,NN +2408,3688,1408,NN +7560,2184,2832,NT +184,520,16040,NN +880,568,13464,NN +587728,296,2440,TT +96,1136,4888,NT +80,1304,30376,TT +832,120,2944,TN +11376,416,2656,NT +472,1192,7000,TT +2544,4136,4928,TT +256,2624,688,TN +856,96,4096,TN +44896,520,176424,NN +1408,192,10648,TT +184,848,105920,NT +216,1416,71472,NN +1280,1136,12888,NT +2272,80,5864,NT +1272,6560,5616,NT +152,456,23568,TN +1184,16568,76560,TT +28496,48,808,NT +280,56672,28848,NT +9440,10536,7000,TT +280,10000,23520,NT +584,2104,4520,TN +24,14720,6456,NT +160,856,19128,TN +928,1544,728,NT +320,960,216,NT +848,4272,169984,NT +216,1968,3648,NN +5768,2768,13432,NN +368,840,104464,TN +10328,1440,1072,TN +160,32,62504,NT +288,4216,2576,TT +392,3232,5480,TN +2224,1536,234960,TN +432,776,2328,TN +112,3184,93024,NT +2320,27536,1368,TT +88,2808,13336,TT +1088,1128,2192,TN +560,10840,3400,NN +1296,7496,6920,TT +928,1544,728,TT +864,34248,2408,NN +576,16216,568,NT +216,584,1104,NT +2632,200,5280,NT +5352,208,10416,NN +1240,9392,4024,TT +624,2832,704,NT +72,2920,3440,NT +1024,192,18088,TN +144,768,12688,TN +3976,192,13416,TT +488,1408,43240,TT +112,16840,10728,TN +456,2264,93448,TN +1024,552,48,NT +128,360,3768,NN +1128,5640,3216,TN +4960,360,8624,NN +1512,24944,159544,TT +176,8240,4792,TT +6984,1272,90336,NT +6680,1880,544,TN +6784,744,80,NN +7720,376,1304,TN +488,4016,22112,TN +400,360,4072,NT +816,608,8392,TT +768,1144,9152,TT +368,792,38448,TT +232,2328,2896,TN +384,376,26368,NN +24,192,5952,NN +17832,1272,7936,TT +89496,744,488,TN +176,6096,1176,NN +392,68032,2712,TN +16,592,97744,TT +528,328,3944,NN +128,72352,14512,TN +888,296,17336,NT +800,392,3080,TN +64,152,1960,NN +2336,376,102800,TT +624,1464,1480,TT +112,1736,384,TT +608,608,16072,TN +640,5336,81576,TT +512,2464,2560,TT +1064,1976,45272,NN +360,120,69944,NN +664,1112,15152,NN +72,3280,25600,NN +4056,632,61272,TT +144,40,6352,TT +3896,1656,36248,NT +1064,2296,31120,NT +432,520,152408,TN +216,108536,6320,TN +72,424,9840,NN +120,2328,88768,NN +7304,208,3656,NN +6136,1104,3816,NT +328,39296,2016,TT +1072,1488,456,TN +10080,328,17264,NN +24,216,9472,TN +296,5504,808,TN +24,256,1296,NN +1400,1736,81224,NN +776,63640,18568,TT +200,66128,12464,TT +24,576,5656,NN +3264,608,4928,TN +512,304,37656,NT +1904,1656,168,NN +41664,440,15624,TT +272,416,512,NN +1832,1744,9648,TT +880,920,19784,TN +4248,1016,3872,TT +42168,15904,8872,NN +4112,1376,10464,NN +32,53168,98696,NN +30944,992,2056,TT +840,256,1240,TN +520,9584,1464,TT +15424,200,288,NN +1520,112,6216,TN +1096,83816,71040,NN +816,728,8312,TN +4608,824,23576,TT +1416,9768,8904,NT +944,681952,11256,NN +776,112,2344,NN +440,2552,53272,TT +4992,472,1192,TN +136,600,15256,TT +776,112,2344,TT +552,2456,39248,NT +3960,80,2304,NT +7552,816,4960,NT +752,1984,1280,TT +24,72,4088,NT +304,896,984,NT +400,3888,15816,TN +1920,56336,5696,NT +80,56432,10328,TN +1064,16384,212736,NN +304,160,148024,TT +1704,7136,551872,NN +10000,2296,5512,TT +544,2280,15712,NT +1616,216,4688,NT +56,704480,13472,NT +2072,1152,4992,NN +8016,56,4208,TN +224,368,28144,NT +2712,18552,1984,NN +5520,1696,256,NN +1600,600,98576,NT +168,7696,1216,TN +2664,344,696,TT +464,1656,7480,TN +16,256,2232,TT +6184,20112,19112,NT +6016,160,10472,TN +1600,56,22408,NN +768,3808,10632,NT +6432,456,944,TN +1048,23320,2072,TT +816,784,10848,NT +15440,1360,22104,TN +1792,10472,14272,TT +2096,13744,2608,NN +320,312,1888,TT +1280,1688,6592,TN +2144,96,464,NN +1560,1440,808,TT +7080,384,210976,TT +424,1984,387928,TT +4696,80,93096,NT +96,5168,37640,TN +472,424,25360,NN +40,136,14304,NN +19096,2192,18320,NN +2096,1072,39448,NT +792,7680,4728,TN +96,440,9832,TT +136,5400,24016,TT +208,56,118336,NT +608,520,7648,NT +568,1912,4360,TT +912,7824,34752,TN +2512,2376,4680,TT +13912,5248,536,TN +1128,328,1496,TT +344,68760,192,TT +936,232,10768,NN +136,640,23848,NN +3168,3384,12768,NN +40,512,5264,NT +888,24,13864,TT +64,656,47736,TN +232,1144,123864,TN +144,216,1240,TT +8176,20656,51584,TN +3160,1576,3184,TN +376,408,54616,NN +872,1008,808,TT +232,2320,4000,TT +6960,1216,1672,TT +3008,88,184,NN +536,3120,210032,NN +1120,272,3632,TT +272,344,47656,TT +10936,152,28512,NT +464,1656,7480,TT +323376,3656,4344,TT +7400,88,43648,TN +3512,376,16376,NT +1248,72,1168,NN +344,16,112,TT +72,1656,73040,NN +33752,4456,2552,NT +144,544,1800,NN +40,1128,26600,TN +88,2480,4400,TT +168,2184,2928,NT +584,208,424,NN +360,2960,2784,NT +448,720,4072,TN +7840,1368,3752,TT +1480,128,3320,TN +360,640,27408,NT +344,352,464,NN +9104,24,1992,NT +1880,1856,9784,NN +8752,23504,1536,TN +936,1736,7008,NT +304,2088,3664,TT +504,5264,9216,NN +464,536,40,NN +152,504,62768,NT +240,312,15384,NT +800,1384,872,TT +176,9760,34192,NN +3400,11496,1688,TT +248,344,2256,TT +200,1032,8240,TT +3728,3080,2800,TT +328,824,4160,NT +1464,104,202264,TT +32,376,3304,NN +1136,696,1160,TT +448,13912,22392,TT +720,496,45368,TN +4064,312,360,TT +808,776,2864,NN +2408,328,1248,TN +640,3560,447944,NN +43792,504,776,NN +198424,256,168,TT +512,1160,2704,NT +680,352,17344,NT +1872,376,3688,NN +64,136,5800,NN +16808,408,14576,NT +1288,2064,42016,TN +80,2760,10576,NT +192,104,3440,NN +7472,232,536,TT +40,848,1688,NT +132480,1400,5384,TT +136,3832,64640,NN +272,2336,920,NT +2664,1840,12688,NN +1336,3240,24168,NT +40,136,14304,TT +1040,96,19304,TT +1816,288,36424,NT +344,2376,16,TN +832,1368,688,TN +1144,22664,6680,TT +2328,640,17840,TT +264,456,6912,TN +1360,528,3816,NN +1752,1312,19920,NN +16416,288,5016,NT +2112,5744,1032,TT +840,480,1368,NN +112,368,23904,TT +208,2424,5392,TN +1448,1624,13688,NN +26464,400,6976,NT +2280,680,9032,NT +1424,408,19344,NN +424,2512,208544,NN +1712,144,19984,TT +560,4496,4904,NN +2096,1072,39448,TT +1264,600,34000,TN +896,2672,6504,NT +1264,1720,65128,NN +1184,776,5792,NN +1896,128,218840,TN +32,4704,36656,TT +16,7352,3312,TN +1928,272,10984,TT +264,4904,1544,NN +1720,712,82776,NT +1064,432,496,NN +7464,20008,15192,NT +16,912,68176,NT +272,432,121032,NT +2872,736,50704,NN +48,168,2808,NT +576,280,3672,TT +600,1616,19912,TN +2736,1008,3208,NN +80,408,13664,NN +22544,272,2352,NT +104,408,34872,TN +1112,137664,7664,NT +664,464,66192,TT +144,416,3616,TT +976,2576,288,TN +7744,744,2712,NN +64,3944,408,TN +3312,6408,9704,NN +96,120,712,TN +600,1024,7592,TN +1400,1568,166128,NT +3832,808,10128,TT +296,520,352,TT +144,336,8008,NT +2104,82432,19000,TN +248,3240,4384,TT +120,2344,8576,NT +3232,48,16032,TT +2672,1016,27496,TN +1136,4152,11232,TN +4344,1192,29536,TT +176,360,3952,NN +384,1416,928,TT +488,1944,9304,NT +1472,9952,1872,TT +96,1376,24064,NN +432,4208,11296,TN +88,184,11080,TT +2432,7944,9200,NT +416,16,121792,NN +1632,496,2648,NN +1984,1240,5768,TN +888,2048,58920,NN +96,968,7832,NT +448,4800,40880,NN +240,2088,1808,NT +728,464,16688,TN +1720,4712,8752,NT +888,5984,25344,TT +384,1192,87056,TN +4360,440,2120,TN +296,6784,9256,NT +104,1888,44864,TT +33856,656,328,NT +4712,6016,38640,NT +216,1664,2056,TT +168,16240,21736,TN +224,56,2232,NN +32,53168,98696,NT +456,2016,3376,NT +1032,8656,3136,NN +143240,1144,75168,TN +72,5616,4008,NT +2440,1288,1408,NT +2032,1800,5584,TN +296,616,15648,NN +528,6264,1920,NT +256,344,11096,NT +3424,15496,1760,NT +3496,1992,792,TN +520,21152,5176,NT +8392,4024,328,NT +3208,288,51632,NT +72,16,1080,TT +184,27600,1536,TT +36032,2184,5480,NT +1336,248,3072,TT +2392,128,15336,TN +192,1056,2224,NT +232,1664,2752,NN +240,1248,15392,NT +512,1160,2704,TN +424,1624,9880,TT +568,1416,24920,NN +8664,2568,7400,NT +2312,2912,1568,TT +712,728,1736,NN +6432,2544,57592,NT +1016,568,4144,TN +304,800,794496,NN +10264,96080,21224,NN +152,128400,2824,TN +592,1072,421040,NT +38464,10736,4680,TT +264,760,10288,TT +264,824,25536,TN +2192,1072,148040,NN +128,2400,816,NN +3128,3576,16384,TT +2592,1536,2608,TN +344,648,69024,NN +952,11904,31528,TN +552,2528,4104,NT +272,208,1768,TT +864,34248,2408,NT +4120,96,3312,NN +288,1544,3472,TN +3232,16544,5416,TN +5520,504,19008,TT +24,96,2256,NN +328,40,44360,NN +1456,1000,9952,TT +7400,88,43648,TT +248,936,120720,NT +408,10664,27240,TT +208,2560,12128,NN +392,1576,18320,NN +2296,512,13472,NT +19992,512,7976,NN +288,224,14352,NT +640,5048,5128,TT +24,1624,33680,NN +2976,2288,20688,TT +136,1040,4864,TT +128,360,3768,TT +624,7488,2344,NN +32,4632,8416,TN +1440,24,98072,TN +488,264,144,TN +576,376,12616,TT +5432,11592,27944,NN +664,1752,45280,NT +24,17640,6352,TN +1064,528,5296,TN +5888,248,752,NN +3352,5040,13744,TT +104,296,6960,NT +736,800,4608,TN +504,1560,8000,TT +2640,152,10688,TN +272,1072,2832,NT +296,464,6304,NT +11664,2880,49936,NN +1000,9288,2472,NN +224,432,17088,NT +1344,1936,34280,NT +4840,1312,8104,NN +48,6280,656,NT +1504,1664,34344,TT +928,4520,13104,TT +2760,328,70528,TN +1176,4968,1368,NN +1832,376,96,NN +2880,1824,1280,NN +320,1424,58736,TN +8280,72,287032,TN +131824,912,16256,TN +224,264,8144,NN +5616,216,3496,TT +96,432,3080,NT +640,672,2552,NN +384,704,16632,NN +136,2744,6240,TN +968,344496,40,NT +456,136,23600,NN +11360,280,2880,TT +3560,2016,4208,NN +448,2192,9248,TT +10088,12512,164904,NN +520,2976,3248,NN +200,1448,6832,NT +136,4120,30256,TT +2472,3280,3496,TT +128,640,872,NN +144,352,34232,NN +128,7840,1000,NT +504,824,3936,TT +3032,1128,5664,TT +960,616,3384,NN +1248,440,4512,TT +7648,232,57416,TN +96,152,1784,TT +384,2720,4424,TT +600,49888,1600,NN +14160,672,1536,NT +240,2656,2168,TN +512,984,6472,TN +1368,13576,10488,TN +144,3712,624,NT +280,32,37216,NN +4432,2848,5880,TN +240,1384,15880,NT +272,12000,20184,NT +584,200,7504,TT +15984,72,36128,NN +72,672,968,TT +16,264,7464,TN +416,128,1072,TT +1392,528,29960,NT +104,888,1968,TT +1512,888,1752,TT +80,248,11016,TN +1728,168,104,TN +864,5440,5088,NN +160,1040,31800,NN +1016,1504,7480,NT +2384,7424,520,NT +808,680,2072,TN +680,2504,16376,TN +80,1288,131328,TT +8176,20656,51584,NT +7472,3072,15032,TT +176,216144,200,TN +160,200,8208,TN +392,1544,3176,NT +848,8760,968,TT +336,1296,7848,NT +240,2744,9624,TN +2896,6568,6000,NT +1504,10136,9120,NT +4496,2376,22152,TT +4256,792,2016,NN +3480,392,10368,TN +1128,56,16664,NN +3528,3008,9248,NN +128,840,20448,TT +744,3480,3968,NT +14728,1360,5344,NT +976,8448,6152,TN +2816,1968,8448,NN +12088,248,312,TN +160,384,18888,TT +4936,1144,64792,NT +792,328,856,TT +760,760,8272,NN +920,976,5416,TN +5416,112,4928,NT +328,688,4528,NN +1024,336,47400,NN +312,632,4208,TT +712,544,27840,NN +264,2856,11592,TT +1384,416,1816,TN +1464,416,5152,TN +2000,19504,4536,NT +384,704,16632,TT +88,480,3560,TT +40,952,1608,TT +488,136,11520,TN +232,64,1784,NT +4568,880,37848,NT +384,6632,2584,TN +40,16,132672,NT +1264,984,74328,NT +344,1960,34536,NT +656,2016,105488,TN +264,184,29520,TT +41736,3848,1784,NN +120,64,12344,TT +13416,1984,56,TN +15984,72,36128,TT +456,888,832,NT +1464,456,840,TT +40,248,7112,TT +1976,432,2696,NN +1768,80,184688,NT +472,18200,6544,TT +1176,1552,2624,TT +640,72,872,NN +4120,1464,1000,NN +1432,1528,40560,TN +32,80,6936,TN +336,40,13160,TT +984,1024,163256,NN +128,28280,82144,NT +920,504,10272,TT +144,120,17128,TT +368,848,33752,TN +32,64,1904,NT +264,816,55296,TT +1464,344,61136,NT +6992,832,1552,TN +616,568,9056,NN +8,368,5064,TN +2592,936,4632,TT +296,6856,4192,NN +760,8480,16984,TT +4912,2504,2432,TN +5352,104,14080,NT +360,712,2392,NN +112,1256,37328,NN +472,792,13568,NT +608,2536,368,NT +5024,1216,1464,TN +1904,3544,26224,NT +1656,256,13696,TN +208,560,1792,NT +16,256,16384,TN +160,360,5672,NN +136,624,112,TN +376,64,5008,NN +528,3264,130776,TN +312,1208,14624,NT +1056,800,25648,TT +3120,4712,75264,NT +24,368,5184,NN +368,304,51488,NT +3688,8392,84064,NN +128,312,56,NT +232,16792,5832,NT +5312,704,368,NN +2376,256,4488,TT +528,3264,130776,TT +592,26512,6632,TN +320,776,10224,TT +2696,648,176,TN +144,544,1024,NT +1592,2304,1088,NT +3160,776,1152,NN +1000,712,24720,TT +2152,728,13336,NN +1040,264,5152,TN +664,192,4464,NT +7184,40,15152,TT +8384,312,42552,TN +1864,1712,95576,NN +48,136,26840,NN +456,43520,1440,TT +480,20120,7712,NN +384,2792,1632,TT +104,216,65656,NT +472,80,4648,TT +2296,776,6416,TN +488,1128,2128,TN +160,1008,424,TT +1384,416,1816,NN +528,512,136,NT +808,2784,816,TN +72,464,1312,TN +14360,856,9792,TT +1224,424,120,TN +144,840,10952,TN +688,1296,17920,TN +1016,520,9688,NT +160,360,4896,TT +312,352,77192,TN +688,2544,13904,TT +648,264,2336,NT +240,2056,4136,NT +1552,392,2536,NN +32,104,7752,TN +896,432,1040,NN +3880,3688,11312,NN +3560,384,3600,TN +336,96,46488,NT +2576,1600,7760,NN +616,208,40,NN +2056,264,744,NT +64,48,1448,NT +376,65992,6280,NT +2368,12648,197568,TT +344,1592,10856,NN +632,608,76480,TT +208,1320,25536,NN +2200,336,6200,NN +1064,432,328,TN +860672,3200,11088,NN +432,120,9424,TT +712,8408,6448,TT +648,1616,166200,NN +104,600,53584,TN +536,1640,4864,NT +2192,2296,21712,NN +24160,488,11104,TT +832,120,2944,NN +7760,12272,10744,TN +248,15824,18624,TN +1048,160,488,TT +12272,56,3944,TT +440,304,840,NT +2760,269320,5600,NT +48,4344,720,NN +64,160,4040,TT +168,1744,50160,TN +1856,2280,696,NT +256,288,6400,NN +3296,2640,1712,NT +4912,6152,5952,NN +32,1344,3128,TN +120,2104,70328,TN +712,328,3408,TN +480,1080,1712,NN +1368,5816,28248,TT +104,640,6488,NN +1336,1344,13488,TN +56,496,22488,NN +888,216,80,TT +56,1656,1008,TT +952,8240,768,NT +824,1688,4696,NT +255912,120,22480,TT +88,2960,1624,NN +9608,9176,24736,TN +1712,33448,5744,TN +72,120,296,NT +9400,1784,15856,TN +560,544,13832,NN +616,2048,10224,NN +80,32,9184,NT +1568,3672,19320,TT +768,136,26448,TN +48,5256,2672,TN +488,6896,3696,TT +464,4168,9744,NT +72,1080,696,TT +400,2864,7152,NT +2968,1400,51624,NN +200,1448,5528,NT +240,1016,5544,NN +840,168,425936,TT +336,112,744,NN +184,232,752,NT +176,408,2128,NT +1376,312,22560,NT +304,128,832,NN +1352,4000,20000,NT +2184,1912,1768,TT +704,560,47744,TN +136,1552,2448,NT +1424,112,360,TT +440,168,11712,NN +104,752,1688,NN +80,1176,35928,NN +832,2384,8296,NN +680,712,2624,NT +4840,992,307600,TT +13000,2608,624,NN +48,480,51744,TT +96,4720,2256,TT +317624,344,6464,NT +1936,1136,6872,TN +1368,944,37376,TT +616,56,22440,TT +568,3000,5376,NN +512,21808,4240,NT +48,192,216,NN +9536,504,19496,TN +336,1552,2064,NN +6064,480,2272,TT +11728,5368,2984,NN +2160,760,10168,NN +168,136,1784,NT +408,72,23512,TN +80,5544,1240,TN +1136,952,13856,NN +2264,7576,4656,NT +1032,2160,712,TT +96,72,15192,TT +312,632,7624,NT +1320,504,19792,NT +3264,944,350640,TT +5320,33928,3464,NT +13104,6448,14376,TT +2376,18872,1504,TN +488,984,3512,TT +552,504,26560,NN +192,3216,19576,TT +5952,128,832,TT +1328,7480,344,TN +9584,912,136,TT +88,272,5056,NT +728,2344,91680,TT +256,16,496,NT +696,944,1856,TN +240,1152,15304,NN +3736,2000,9168,TN +2312,872,464,TN +11664,2880,49936,NT +4432,520,9704,TT +576,34880,10448,TT +264,13624,2296,TN +232,408,440,NN +432,1680,1792,TT +528,168,122264,NT +280,480,15584,TN +336,1072,5624,NN +9608,312,18968,NT +2752,264,19536,TN +3736,280,6496,TT +104,1304,1608,NT +776,1368,400,NT +712,128,400,TN +40,168,6696,NN +32,1496,880,NT +680,344,11784,NT +136,984,3984,NT +536,13184,2144,TN +928,800,16976,TT +3248,1632,8640,TT +472,952,15576,NN +440,5208,2056,NN +11368,27992,2104,TT +3680,1600,278576,TT +2128,64104,44872,NN +1136,4152,11232,TT +1080,104,696368,TN +1920,208,1248,TN +872,168,10096,TT +760,1488,10632,TT +496,168,36624,TT +1408,3144,6384,NN +744,576,4080,NN +224,48,55392,TN +520,240,57032,NT +248,480,56,NT +944,14736,191888,TN +360,3936,3424,TT +1040,1000,6264,TT +2784,856,1824,NN +15928,9328,126416,TT +360,10944,25424,TT +21200,872,13720,NT +344,832,1216,TT +17560,624,7968,TN +192,5472,8936,TN +584,1608,656,TN +4712,400,85488,TT +840,136,2760,TT +1584,1520,4512,TN +816,960,4576,NN +1368,488,4488,NN +1504,680,17992,NN +576,38280,800,TN +968,1080,52064,NN +32,520,7448,TN +176,928,39048,TT +1040,5432,3984,TN +2176,1384,10400,TT +600,512,11904,TT +88704,3640,5096,TN +536,23032,18584,NN +800,136,10464,TN +1472,2608,1144,NT +232,107664,6560,TN +5160,3296,62296,TN +272,60376,4000,TT +1528,1128,167304,NT +3984,768,10168,TN +144,672,2216,TN +8544,3776,496,TN +248,128,1632,TN +2232,104,6464,TN +1496,648,21224,TT +904,6448,1032,NN +32,64,7328,NN +648,1616,166200,NT +240,3840,5552,NT +48,102840,14960,NN +1040,608,23320,NT +2088,8744,2824,NT +560,544,13832,NT +560,104,48120,TT +424,1440,18296,NT +472,14248,12464,TT +4280,360,2600,TT +856,240,5472,TN +312,32,79512,TN +1672,224,767648,TN +24,240,368,TT +952,144,76872,NT +8,528,15088,TT +1512,17208,4976,NN +72,10400,1000,NN +96,2832,80,NT +20144,232,4592,NN +1424,25168,3816,TT +6464,6432,23936,TT +304,1512,712,NN +840,3456,22928,TT +136,112,16872,NN +424,5120,1992,NN +1312,6256,6008,TN +1176,7952,7880,TT +1720,568,816,TN +3544,1496,4304,NN +408,56,10512,NT +21152,152,2784,NN +1008,280,14248,TN +40,3736,12920,TN +104,99256,1184,TT +1208,96,5120,NT +1072,112,912,TT +21368,1664,1280,TT +936,280,76464,NT +656,312,4064,TN +3224,5064,5584,TT +176,7752,2496,NT +288,1368,304,NN +896,2400,344240,TT +2280,336,92192,TN +536,10224,1336,TN +856,2760,153928,TN +1080,280,504,NT +2096,10032,4512,NT +1088,976,216,NN +584,2136,13512,TN +3848,280,5424,NT +352,2240,36208,NN +3800,3208,12200,NN +216,16,14352,TT +1272,720,1680,NN +752,7944,1000,TN +544,752,6480,TN +352,7864,568,TT +584,1144,28864,TN +1880,720,26288,NN +880,928,336,NN +2120,1528,31040,TT +3064,7552,21864,NN +1352,656,768,TN +80,472,13568,TN +1216,2384,3952,TN +160,368,13832,TT +472,3344,5040,TT +80,136,7848,TT +960,200,11608,TN +1048,2376,6312,NT +120,208,21552,TN +2384,368,536,NT +232,64,1784,NN +3144,400,1664,TN +2528,728,1248,TT +368,64,9560,NT +48,408,28512,TT +32,1520,16064,NT +128,1832,3000,TN +1360,2200,20248,TT +152,66904,504,TN +1408,1088,27560,TT +24,3856,440,NT +472,512,49408,NT +56,7352,368,NT +3112,43696,6568,NT +32,1104,11176,TT +928,1264,39880,TN +3728,1648,968,NT +584,152,88,TT +3336,920,80848,TN +72,1784,4472,TN +464,6016,1080,TT +64,432,884096,NT +192,3888,3776,TT +9608,312,18968,TN +1680,2248,1824,NN +1000,208,1608,NN +152,9320,544,NT +272,4024,13840,NT +64,376,632,NT +488,56,3216,TT +1016,72,30944,NN +8616,488,9832,TT +584,184,1856,TT +1472,304,4128,TN +1200,2440,13752,NN +88,464,60216,TT +3800,88,20952,NT +4000,64,1592,TT +7096,2696,11304,NN +1344,360,5976,TT +22544,272,2352,TN +3984,768,10168,NT +752,968,8424,NT +2664,352,3352,TT +2808,9064,4688,TT +576,1560,4640,TT +3016,912,1368,NN +2032,952,136432,NN +104,272,48,TT +128,104,10528,NN +288,113352,25960,TN +2432,456,11896,TT +136,688,1744,NN +1760,256,76512,TN +560,3568,6288,TT +3544,152,5184,TT +160,80,2096,TN +4040,136,9936,TN +288,139608,960,NT +24,1216,7752,TN +616,41552,5624,NT +136,2744,6240,NN +4608,24,3896,TN +17320,2632,896,NN +528,544,1728,NT +152,464,7656,NT +2448,104,30688,TT +120,1144,3472,NN +384,2008,9856,TN +416,104,20520,NT +64,52768,32,NT +72,248,848,TN +3544,944,17224,NN +992,1688,55808,NN +392,240,38576,TN +240,21400,55424,TN +64,72,109800,NN +7424,104,5840,TN +11664,1096,2440,TT +392,40,3240,TN +72904,14992,28208,NN +1352,768,25888,NN +176,32,29584,NN +5352,1232,7832,NN +1152,336,9792,TT +424,280,121040,TT +1472,992,440,NN +928,160,52600,NN +112,296,944,NT +1344,360,5976,TN +400,127600,124224,TT +1042016,2104,152,NN +376,3200,3688,NT +1880,9216,2936,TN +680,19480,2536,TN +11192,3016,760160,NT +1904,408,6624,NT +32,816,2664,NN +736,8320,26136,NT +6104,544,4752,NN +184,392,2456,NT +520,360,752,TT +128,48,7008,NN +912,656,234296,NT +96,376,58560,TT +7832,2216,1192,TN +416,9536,6584,TT +16,136,57808,TN +240,1560,30696,TT +2504,3904,4280,NN +824,4696,4288,TN +1600,432,5736,TN +136,6064,13144,TT +2096,360,1144,TT +3816,9424,9936,NT +3600,1112,10896,NN +5664,1152,33040,NT +10000,2296,5512,TN +1512,592,11920,NN +1552,12880,12920,TN +232,2320,4000,TN +6216,344,503408,TN +7552,968,12304,NN +72,368,8408,TN +104,5832,95296,TT +784,2624,5960,TT +160,664,25680,TT +96,1816,832,TN +18616,8744,5088,NN +7800,8168,2784,TT +11272,240,789848,NN +760,8480,16984,NT +440,680,13712,TT +808,7088,10264,TT +592,1344,4960,TN +144,107776,6944,TT +616,928,4400,NN +1448,352,4096,NN +3312,1056,6336,TN +416,14840,187904,TT +968,160,7728,NT +104,888,1968,NN +103272,168,3264,TT +2272,32,1744,TN +1144,15008,182312,TN +80,4840,1080,NT +408,5168,4712,NT +1432,1528,40560,NN +704,105080,151640,NN +6240,400,26872,TT +688,224,31320,NN +288,768,21464,TT +1008,280,8520,TN +7488,56,3696,NN +336,224,1520,NN +192,720,2888,TT +208,56,6040,TT +32,3288,196848,TN +1784,448,9880,TT +2168,1056,5800,TT +1032,56,6352,NN +4832,7304,14032,NT +2744,128,13512,TN +120,512,19040,NN +312,248,13656,NT +264,960,13920,TT +1240,496,512,TN +888,1016,73232,TN +2288,760,10088,NT +7448,1536,304,NT +5688,4024,52840,NT +600,952,14304,NN +1056,11384,32392,TN +576,5312,17600,NT +168,40,648,TT +360,2112,1368,TN +168,2024,26064,TT +3640,5696,760,NT +80,1360,4776,NT +3208,17664,6712,TN +912,8328,33576,NN +1544,224,1000,TT +216,568,4632,NT +440,168,11712,TT +248,416,3768,TN +1080,336,944,TN +848,4216,728,TT +656,392,72408,TT +7312,392,1752,NT +5000,18832,4072,TT +1944,5792,4104,NT +456,1376,440,TT +256,984,56968,NN +3544,944,17224,TT +680,1776,1168,TT +1040,1576,40640,TT +168,1768,28232,TT +24,26640,32760,NN +7432,912,35240,TN +144,1344,138552,TT +5776,2496,53880,NT +104,120,536,TN +1080,4720,9288,TT +40,46328,9504,NT +200,10608,20232,NN +1312,144,432,NN +576,200,8,TT +712,2496,39104,TT +72,504,35784,NT +4904,376,10456,TN +2480,288,53496,TT +400,160,7560,TN +240,3768,90552,NT +48,12928,60808,TT +1184,744,16656,TN +408,2008,184464,NT +1344,2104,8552,NT +1216,2384,3952,TT +2296,1464,6032,NT +1008,808,10016,TN +104,296,47080,TN +16,3728,10056,NT +736,2568,204888,NT +64,40,5184,NN +1496,648,7368,TT +425120,1240,37056,NT +5232,672,1784,NT +2064,3000,10592,NN +3120,4712,75264,TT +96,488,28688,NN +240,512,39928,NT +48,208,10160,NN +232,32,11656,NN +3976,192,13416,NN +832,18568,504,TN +1256,544,183784,NT +3176,1632,15440,NT +280,784,2592,TN +3472,1232,105664,NT +1184,7344,15672,NT +4496,1848,1976,NT +448,2368,28016,TN +64,5120,2992,TN +936,191184,11160,NT +128,1824,26064,NT +5016,1048,10136,NN +8152,6288,2616,TN +392,56,1072,TT +2472,104,264,TT +656,1872,8600,TT +36776,184,8696,TT +960,160,1040,NT +5288,1592,1848,TN +1504,576,4832,NN +96,5776,5200,NN +1264,88,6032,NT +928,720,2360,TN +440,46496,1200,TT +864,56,4744,NN +832,9992,512,NN +1152,3032,2408,NT +256,248,2040,NN +392,1368,15400,TN +1568,216,4560,NN +56,168,144,NT +32,208,23776,TN +256,208,31544,NT +48,864,7040,TN +64,608,21352,NN +13416,3344,12304,TT +3032,9992,20880,NT +1448,1624,13688,NT +48,3832,5512,TT +1224,56,704,TN +184,4888,6112,TT +6248,896,17408,NT +272,1112,544,TT +4248,464,2008,TT +216,80,5672,NN +640,1096,1248,NT +896,7256,58248,TT +224,64,352,TT +40,2768,23680,TN +376,379240,10048,TN +88,472,880,NN +232,208,2368,TT +1960,104,3672,TN +344,368,49128,NT +888,1016,73232,NT +60328,1968,200,TT +4800,16368,13744,TN +536,94632,86376,NT +96,1520,4696,NT +120,7512,1248,TN +656,96,4024,TN +112,144,51024,NT +96,1328,21200,TT +376,65992,6280,TT +792,7720,536,NN +72,6776,44016,NN +1088,984,424,TT +4672,5040,2912,NN +832,128,30144,NN +2664,56,14664,TN +1536,1976,6040,NN +2904,112,3408,NN +2808,30128,4968,TN +952,6880,64088,TT +7792,2120,9800,NT +656,88,18632,TT +9128,952,3800,TN +608,6352,3352,TN +120,408,2024,TN +440,8328,58424,TN +384,640,32,NN +5104,4472,619896,NT +3928,88,1784,TN +1704,3656,4752,TN +616,5624,309816,TT +2944,3424,16664,TN +640,1232,3936,NT +560,5080,4792,TT +544,16,2240,TN +368,168,4368,NN +448,20104,392,NT +216,1296,1248,TN +80,2288,43768,TN +4104,3928,22064,NN +40,1456,824,NT +456,288,38632,TN +128,1472,584,TN +240,728,121696,TT +2632,4216,1480,TT +1032,456,1448,TN +1336,1944,1560,TT +152,760,5752,NT +432,23864,1064,TN +9792,312,3944,TN +32,880,19304,TT +6336,160,40824,TT +1616,232,22864,TT +4016,152,19560,TN +224,4096,6232,NN +24,3776,11376,NN +2320,1776,1960,NT +2216,19104,87272,NT +1256,280,182936,NN +568,3704,11600,NN +19888,736,9680,TT +184,3120,6776,NT +1808,43856,12328,TT +240,584,8904,NN +296,320,14920,NN +416,248,7776,TN +272,768,672,TN +504,8240,6568,TN +406248,17960,11272,TT +792,856,42248,NT +424,7528,11720,NT +968,712,4072,TT +3240,6240,792,TT +264,1344,15640,NN +16,208,5328,NN +176,1184,46464,NN +680,1608,3968,TT +416,3584,59256,TT +488,136,11520,NT +96,2760,8256,NT +376,1232,13136,NT +232,5384,10040,TT +1192,488,12696,TN +704,560,47744,TT +13520,3384,328,TN +24,1320,21136,TT +32,5888,56,TN +16,1288,448,TT +216,5416,36880,TT +2312,328,280408,NN +88,2816,512,NT +1592,1952,5544,TN +12208,4520,14912,NT +1208,1280,4776,NT +5152,15824,12376,TT +13696,4824,11816,TN +1936,72,2000,NN +344,25232,6448,TN +1584,2888,6992,NN +288,3720,4024,NT +1640,22000,22744,NN +96,256,5368,TN +1072,32384,24568,NN +848,8688,38128,TT +4216,864,11152,TN +5352,104,14080,NN +696,1352,176,TN +208,1064,70176,NT +4712,80,657448,TT +96,360,10608,TN +1848,512,14840,TN +576,184,8032,NN +48,416,1784,NN +2336,8528,920,NN +120,816,2848,NN +32,616,63968,NT +1000,21152,2528,NT +952,8640,3752,TT +280,8880,17392,TN +456,2968,8824,NT +760,643464,4712,NT +864,1344,3696,TN +2376,18872,1504,TT +56,944,2416,TT +560,3168,2880,NT +296,520,352,NN +1048,760,59552,NT +784,944,39072,TN +1312,4864,11688,NN +1704,3656,4752,NN +1472,528,368,NN +1088,2504,9952,NN +168,9440,3160,NN +1024,64,4448,NT +432,304,784,TT +1056,238720,768,TT +496,168,36624,NN +552,400,1784,NN +168,568,1648,NN +312,520,26024,TT +4936,256,2248,NN +272,80,7480,NT +904,840,24208,NT +1200,224,58112,NN +176,2600,9120,NT +152,192,9536,NN +40,3824,82288,TT +1512,9152,100288,NN +8648,43760,18392,NT +784,136,29216,TT +1504,1960,157264,TN +104,80,2456,TN +592,336,7616,NT +304,1544,5264,NT +1232,1568,624,NN +232,32,384,TN +888,11368,9000,TN +224,344,14552,TT +2240,928,1600,TT +1304,736,2520,TN +152,37920,1032,TN +248,1680,1784,TN +584,3024,31504,TN +28504,568,5376,NT +5000,281664,480,NN +3544,112,12664,TN +3840,2144,3848,TN +40,792,7824,NN +32,4632,8416,NN +488,1128,2128,NT +88,56744,24,TN +1080,1056,1120,NT +96,1376,24064,NT +6272,11864,39504,TT +1320,4864,24,TT +2392,3360,1272,NT +16,488,16312,TN +304,3656,7216,NT +2272,3792,2312,TN +1968,72,1792,NN +272,1064,46176,NT +15568,1408,6696,NN +816,960,4576,NT +20096,3320,8152,NT +776,864,9736,NT +3000,2688,13952,NT +176,4824,5464,TT +1848,2064,5192,TT +7176,7464,8544,NT +648,1768,7472,TN +1704,4352,6472,NT +944,4944,4416,TN +464,208,158104,TT +2640,1888,12136,TT +664,448,3080,NN +296,8296,11536,TN +2848,11216,6536,NT +3360,14976,4344,NT +256,296,192,NT +896,552,4704,NN +1336,2272,19088,TN +400,2800,352,NT +352,9520,13456,NN +72,2840,29728,NN +800,720,8312,NT +10800,848,1936,NN +72,40,96,TT +424,872,20984,TT +592,9432,28120,NN +1344,56,6016,TN +2904,10096,6760,TN +152,992,2872,NT +1568,2112,11984,NN +416,6304,2824,NN +7016,2176,20840,TN +200,520,10272,TT +552,1248,1672,NN +144,1176,8656,NN +680,3168,3672,NN +384,1016,366592,TT +1968,72,1792,TN +456,3368,6416,TN +1240,1672,14992,TN +440,112,11888,TN +104,496,7664,NN +408,20176,1576,TT +30248,512,1432,NT +616,4592,1928,NT +552,14696,7080,NN +11032,24,1944,NN +1312,312,5128,TN +6928,24,6392,NT +1648,40,1736,TT +64,1488,3112,TN +1296,144,13136,NT +176,928,39048,NT +944,248,2816,TN +3848,240,1392,NT +1472,102816,5048,TN +136,112,16872,TN +4584,48,907512,TN +2544,3904,13160,NN +3912,208,5248,TT +608,6352,3352,TT +9608,9176,24736,NN +2312,184,9160,NT +3520,520,55176,NN +776,6112,2616,NT +24,2560,6680,NT +480,224,4448,NN +744,12648,17736,TT +1960,5608,352,NN +256,3272,13624,TN +176,6888,9304,TT +536,576,5688,TN +17288,128,8576,TT +16776,1232,78480,TT +632,88,50744,NT +208,3032,35904,TT +16264,328,256,TN +848,39760,1376,TN +64,64,44248,TT +18032,992,3552,TN +2176,208,10040,TT +8888,528,4344,TT +4120,1464,1000,TN +1424,296,6408,NT +24,912,77480,NT +3488,3328,79552,NN +5088,13360,19544,NN +1232,3192,4552,TT +2808,824,1512,NN +168,584,15288,NN +1096,4896,43624,TN +544,104,7904,NN +880,2048,2896,NT +88,64,19840,NN +376,552,4360,TN +88,64,37152,NN +7600,10872,25424,TN +88,272,5056,NN +656,290912,7144,TT +296,6568,11216,NT +2152,728,13336,TT +272,376,2960,NN +160,528,1376,TT +136,512,2000,TT +8320,1592,29936,TN +1776,432,10584,TN +480,1624,6200,NT +6216,24,1704,NT +1520,352,156864,TN +224,5632,4688,TN +12144,2224,30096,TT +488,3944,1832,TT +2408,88,47000,NN +1056,72,4608,TN +2856,288,184,NN +11680,208,17960,NN +8360,3616,125240,NN +48328,33272,1368,TT +688,2424,960,NT +9328,1408,53840,TN +800,1384,872,NT +1368,1152,2336,TN +192,392,92256,TT +408,536,16,TT +200,1328,3080,TN +1080,3232,6024,TN +2144,3296,1136,NN +312,5120,1912,TN +264,880,62792,TT +53088,1088,45784,TN +1960,1872,7496,NT +1440,432,10392,NT +704,8600,3976,TT +312,6224,912,TN +10296,1312,3864,NT +136,1336,38664,TT +10712,3632,11248,NT +1184,368,992,NN +2440,112,2048,NT +448,104,14472,NT +3512,3816,4968,TT +5800,3696,6160,TN +608,920,59064,TT +632,2400,3200,NN +24,4240,4232,NT +11920,6032,536,TN +488,296,1208,TT +688,192,9320,NN +6128,3456,9040,NN +7928,6128,536,TN +744,696,3056,NT +288,2408,3912,NN +192,1768,4360,TN +3592,184,31856,NN +47976,304,101904,NT +2632,5144,51216,NN +4016,13512,51576,TN +5328,1072,14496,NN +496,216,3552,NT +1752,4720,584,NN +11872,1352,73296,NN +192,1512,2896,NT +1424,2936,21280,NN +5040,920,171336,NT +288,864,3384,NN +176,1384,19072,NN +5984,704,56208,TT +344,20456,11584,NN +120,12952,1344,NN +144,9304,286640,NT +88,2808,13336,NN +2296,9432,4296,NT +184,56,3992,TT +1952,400,8808,TT +112,1272,4816,NN +544,432,2552,TT +560,736,2568,NN +13080,6368,4536,TT +608,1128,5840,NT +112,1872,93520,NN +1256,280,182936,TT +120,6648,4520,TN +56,194296,3864,TT +696,19576,5320,NN +224,432,17088,NN +120,1072,15688,TT +1424,6344,8160,NT +264,88,122256,TT +696,3520,3008,TN +440,64,11664,NT +4368,5392,9968,TT +384,9064,3968,TT +688,128,17392,TN +248,64,48600,TT +800,4304,6864,TT +6104,544,4752,NT +536,720,1352,TN +144,3712,624,TN +1360,1840,25328,TT +1192,464,136,TN +2080,400,2840,NT +328,280,5808,TN +2712,4512,3296,NN +2784,856,1824,NT +408,640,64,NT +4376,9544,7120,NT +624,7488,2344,TN +1824,2720,1624,NT +1768,33128,2200,NT +640,13288,12912,NN +1192,96,58864,NT +672,1000,10280,TT +64,3432,8768,NN +104128,576,10240,NT +1840,152,19832,TT +1328,576,12472,NN +480,1296,328,NN +584,45376,5928,NT +368,336,8888,NN +1152,424,4704,NN +1696,2544,1976,TT +376,2352,79800,NN +400,224,1584,NT +21952,640,249384,NT +445896,5752,245784,NN +856,432,4000,NN +8656,984,256464,NN +12008,4496,13272,NT +192,1192,1448,TN +776,384,7472,TT +1112,664,93288,NT +488,4624,4248,TT +3448,40,1328,NT +16,48,1192,TT +108352,5336,19912,TN +2176,1384,10400,NN +816,13880,8624,NN +216,1720,7896,TN +1560,48,121480,TT +560,40016,728,NN +896,3864,2104,NN +2144,120,26904,TT +96,464,888,TN +20968,312,2608,NN +12936,2616,3064,TT +2968,184,360,TT +488,1320,18336,TT +1032,312,72,TT +160,200,1488,NT +464,19152,351728,TN +472,3344,5040,NN +88,344,7080,TN +9720,480704,9216,TN +360,120,19264,TN +752,3608,27944,TN +1600,568,5192,NN +40,360,46800,NT +168,3304,70304,TN +376,2392,1496,TT +368,1664,7688,TN +1112,4208,6984,TN +352,960,800,NT +1400,24,56,NN +16,236536,5680,TN +3016,800,89016,TT +360,104,2280,NN +2808,9064,4688,TN +80,1672,10976,NT +944,14736,191888,TT +15712,224,12976,TN +3016,800,89016,NN +456,23928,3168,NN +1536,2384,5688,NN +6016,2440,16624,NT +1400,416,5560,NN +168,2520,1800,TT +1544,1680,632,NT +408,2896,11544,TT +224,64,43560,NT +1344,1592,3480,TN +96,440,9832,NT +4016,8,4952,NT +280,3424,1336,NN +200,928,2672,TT +7080,1752,10240,TN +312,1112,52496,NN +5232,672,1784,TN +280,2480,72,TN +168,2480,18752,NT +1600,296,6976,TT +152,4352,1632,NN +160,1112,1968,TT +120,10600,343520,NT +1096,16,5720,TT +10728,88,1880,TT +1464,1472,5080,TT +968,752,2520,TT +2408,88,47000,NT +480,5048,19088,TT +1360,872,992,NT +344,544,128632,NT +131160,584,11040,NN +11432,240,5512,TT +40,640,103352,NT +5584,4040,7104,TT +352,2800,5280,TT +1072,13008,10848,TN +360,336,17224,NT +280,33768,3664,TT +592,936,8240,TT +296,192,1712,TN +16,472,7392,NT +864,712,2904,TN +504,1608,4648,TT +48,2208,8368,NN +1120,208,6048,NN +608,1408,7696,TN +3392,5056,23008,TT +920,2144,9720,TN +16,264,7464,NN +736,2656,336,NT +10904,72,1072,NN +152,752,17296,TN +56,2048,2144,TN +72,624,3744,NN +144,240,4992,NT +824,4936,7024,TN +256,240,2664,TT +8488,144,6032,NN +1560,74400,5224,NN +11648,704,11048,NT +592,160,1912,TN +2368,1840,16888,NN +1664,224,200,TT +264,1856,3728,TT +29088,32,7776,TN +131160,584,11040,TN +616,2048,10224,TT +168,40,30536,NN +480,488,1176,TN +1312,3648,14608,TN +72,3792,6296,TN +872,528,144,TN +2704,1472,34856,NT +2408,1376,17240,NT +2080,2288,23720,NN +3896,10968,19400,TT +1344,104,2000,TT +1216,312,4384,NN +4608,24,3896,TT +9992,4520,7320,TN +392,30704,4288,NN +1728,7416,446432,NT +616,208,42096,NN +15568,1408,6696,TT +1280,760,1008,TT +1544,4608,37472,NT +48,232,4224,NT +2920,4432,6856,NN +552,1512,16216,NT +792,1848,4528,NT +2248,376,2432,NN +424,128,4024,NN +2168,1344,12576,NT +7768,440,10032,NN +4160,56,20152,NN +144,768,992,NT +176,8392,17856,TN +3000,65528,2656,NT +1256,496,69472,TN +736,8320,26136,TN +312,56,7128,NN +136,528,6264,NT +4056,88,168,TT +88,23512,5824,TN +4000,928,97680,TN +1288,56,320,NT +128,416,432,NT +80,3344,1528,TT +392,1544,3176,TT +120,1144,3472,NT +19488,5064,13664,NT +288,336,7168,NT +280,600,5504,NN +15880,9976,24328,TT +104,11808,11792,TT +64,760,3648,NN +117312,272,2872,TT +984,1696,37144,NN +568,720,32808,TT +296,8424,15568,TN +317624,344,6464,TN +168,6272,52224,NN +368,200,4848,TT +12488,352,23712,TN +408,1048,6480,NT +3560,2016,4208,TN +392,4480,7880,NT +6616,39016,23112,TN +5016,24,768,TT +3224,240,13616,NT +1152,760,3544,NN +512,328,10856,TN +1840,1040,9280,NN +3080,6320,88,NN +384,11352,4080,NN +144,22856,8344,NT +1464,344,61136,TT +3248,1632,8640,TN +976,6520,3744,TT +2776,896,2552,TN +32,9296,5312,NT +48,1232,55056,TT +72,136,5616,NT +16,7992,11384,TT +4688,304,11680,TN +88,568,14056,NT +480,840,13032,TN +20864,448,2832,TT +1048,200,200304,NN +656,88,18632,TN +600,2448,172272,NT +368,792,38448,NN +1616,544,9472,TN +968,712,4072,NT +776,4376,1104,NN +680,88,2440,NT +48,1288,1288,NN +2256,86536,4048,NN +144,1016,296,NT +88,9800,2312,NT +95216,80,14360,NT +1840,13432,1864,NN +80,104,9864,NT +56,312,1664,TT +232,13824,3224,TT +344,40,3256,NT +3520,6720,9008,NT +904,328,12144,NN +66176,1600,10632,TT +144,336,8008,TT +1152,760,3544,TT +872,2672,5200,NN +2136,360,6200,NT +6064,480,2272,NN +1728,5928,5416,NN +13240,224,5736,TT +40,688,15056,TN +2712,176,29976,TT +240,1152,15304,TT +8192,9352,11072,NN +200,20064,2744,TT +936,128,28040,TN +144,312,58456,TN +80,1360,4776,TT +1752,6320,1832,NN +648,120,2216,NN +56,272,6328,NT +4896,8432,12704,TN +4544,288,88056,NN +4016,1592,58224,TN +2168,1368,24896,TN +3408,144,175816,TT +2184,2696,4960,NT +18552,18760,50224,TN +1160,1360,488,NN +2064,24,10032,TT +48,360,80,NT +4376,4168,95760,NT +1992,1768,1592,NT +120,1888,27760,NN +9280,2168,64176,NN +190032,376,160792,TT +1728,9704,155816,TT +224,2584,3544,TN +1792,888,208,NT +944,72,11960,NT +2432,224,760,NN +720,184,4136,NT +1664,2424,992,TT +3288,456,976,NT +88,5168,24240,NN +264,456,6912,NT +272,29160,6936,TN +168,104,15728,NT +115832,3384,2496,TN +2736,1008,3208,NT +536,552,552,NN +1584,33472,2824,TN +26808,7424,4856,NN +1368,192,1072,TT +4152,368,77976,TT +5824,360,62312,TT +2456,296,14680,NN +1240,1568,16216,NN +1648,1432,3896,NN +1632,704,584,NN +5128,6576,2216,TT +968,432,19392,NN +15904,488,4200,TN +1904,564904,768,NN +312,312,13880,NT +1024,2320,4024,NN +824,2160,984,NT +11040,1528,10608,NT +968,360,7992,NN +7480,424,472,TT +40720,2760,2864,TT +880,944,14592,NT +352,1632,5944,TN +176,240,2352,TT +1120,5648,704,NT +344,504,14880,TT +16,56,150352,NT +1520,112,6216,TT +152,8,32528,TN +2032,4576,20632,NN +160,528,1376,TN +768,2960,8584,NT +1720,1800,600,NN +12328,384,171464,NN +1056,628096,12096,TN +19472,208,4528,NT +400,1328,11192,NT +456,664,6824,TN +320,16,3808,TN +1184,4048,11456,TN +56,720,640,NT +360,568,6008,TN +96,360,10608,NT +248,632,8640,TN +528,1552,3296,NN +424,5120,1992,TN +696,1344,23536,NT +2400,2608,984,NT +4440,504,1184,NN +5264,1208,1416,NT +139040,528,1640,TN +984,22544,56,NN +96,5560,538888,NT +5192,7048,68936,NT +51968,760,1552,TT +1800,344,3496,NT +3056,4152,52040,TT +296,40,173872,TT +1320,2696,80592,NT +1352,33104,92016,TT +152,1616,10104,TT +480,240,1880,TN +624,272,84504,TT +5664,648,128,TT +424,480,49048,TT +1032,88,34200,NT +2720,1048,3848,NT +1056,2936,87984,NT +240,16,680,TN +512,544,2568,NN +1864,1120,872,TT +120,1368,8160,NT +2992,1880,464,NT +344,2024,83552,TN +80,496,3576,NN +4640,40,24,TN +3904,400,18648,TN +696,13336,38456,NT +48,88,1448,TN +264,408,10552,NN +272,1072,2832,NN +256,10888,3952,NT +16,240,2056,TN +7888,18304,4704,TN +56,2392,24176,TT +16224,1936,56,TT +8408,48,3448,NT +1344,360,5976,NT +104,240,4368,NT +336,824,40000,NN +344,1784,368,TN +904,288,53192,NN +3160,776,1152,TN +8000,1080,504,NN +456,1848,37336,NT +264,3816,23336,TN +1080,9888,944,TT +296,2440,22776,TT +272,242216,4112,NN +1224,4632,71440,TN +608,48,141928,TN +56,440,792,NT +1160,4280,33472,TN +7840,1368,3752,TN +6712,168,3376,NT +80,8896,29896,TN +304,4688,768,TT +248,3240,4384,NN +456,248,16816,TT +168,368,26384,TN +48,416,1024,NT +1488,296,6200,TN +864,144,8328,TT +152,1992,59776,NN +392,131784,2816,TN +432,23864,1064,NT +376,48,9456,TT +19064,2248,4392,NT +496,152,6584,NT +17752,8328,3840,NT +16,5512,9144,TT +936,1736,7008,TN +272,184,19536,TT +24,520,25568,TT +4912,1408,4600,TT +112,640,7216,NN +200,536,1208,NT +56,704,1400,NT +160,7568,1600,TT +3464,2624,4480,TN +16,792,5488,NT +16,40,189128,TT +5432,4664,4968,NN +80,2888,4832,NN +24,3624,82384,TN +11528,7960,3784,TT +1744,480,1656,NN +1192,3392,46904,TN +1136,24,20504,TN +176,536,4032,TT +104,624,132840,NT +2192,6480,14600,NN +2736,1512,928,NT +88,64,19840,TN +424,1064,3096,NT +168,928,96,TN diff --git a/benchmarks/python/test_matmul.py b/benchmarks/python/test_matmul.py new file mode 100644 index 00000000000..e05cb502f7a --- /dev/null +++ b/benchmarks/python/test_matmul.py @@ -0,0 +1,56 @@ +# SPDX-FileCopyrightText: Copyright (c) 2024-present NVIDIA CORPORATION & AFFILIATES. +# All rights reserved. +# SPDX-License-Identifier: BSD-3-Clause +import pytest +from nvfuser import FusionDefinition +from .core import run_benchmark, clear_cuda_cache +import torch + +import csv +import os + + +def matmul_fusion(fd: FusionDefinition, inputs: list[torch.Tensor]) -> None: + a = fd.from_pytorch(inputs[0]) + b = fd.from_pytorch(inputs[1]) + out = fd.ops.matmul(a, b) + fd.add_output(out) + + +def load_matmul_problems(): + with open(os.path.join(os.path.dirname(__file__), "matmul_problems.csv"), "r") as f: + reader = csv.reader(f) + next(reader, None) # skip header row + return list((int(m), int(n), int(k), layout) for m, n, k, layout in reader) + + +@pytest.mark.parametrize( + "config", load_matmul_problems(), ids=lambda val: "_".join(str(v) for v in val) +) +@pytest.mark.parametrize("dtype", [torch.float16, torch.bfloat16]) +def test_reduction_nvf_benchmark( + benchmark, + config: tuple, + dtype: torch.dtype, + disable_validation: bool, + disable_benchmarking: bool, +): + clear_cuda_cache() + m, n, k, layout = config + a = torch.randn(m, k, device="cuda", dtype=dtype) + b = torch.randn(k, n, device="cuda", dtype=dtype) + + if layout == "NT" or layout == "NN": + a = a.as_strided(size=[m, k], stride=[1, m]) + if layout == "TN" or layout == "NN": + b = b.as_strided(size=[k, n], stride=[1, k]) + + with FusionDefinition() as fd: + matmul_fusion(fd, [a, b]) + + if not disable_validation: + eager_output = torch.matmul(a, b) + fd.validate([a, b], [eager_output]) + + if not disable_benchmarking: + run_benchmark(benchmark, fd.execute, [a, b])