#define do1 15289

#define do2 7645

#define do3 3822
#define do4 1911
#define do5 956
#define do6 478
#define do7 239
#define dos1 14431
#define dos2 7215
#define dos3 3608
#define dos4 1804
#define dos5 902
#define dos6 451
#define dos7 225
#define re1 13621
#define re2 6810
#define re3 3405
#define re4 1703
#define re5 851
#define re6 426
#define re7 213
#define res1 12856
#define res2 6428
#define res3 3214
#define res4 1607
#define res5 804
#define res6 402
#define res7 201
#define mi1 12135
#define mi2 6067
#define mi3 3034
#define mi4 1517
#define mi5 758
#define mi6 379
#define mi7 190
#define fa1 11454
#define fa2 5727
#define fa3 2863
#define fa4 1432
#define fa5 716
#define fa6 358
#define fa7 179
#define fas1 10811
#define fas2 5405
#define fas3 2703
#define fas4 1351
#define fas5 676
#define fas6 338
#define fas7 169
#define sol1 10204
#define sol2 5102
#define sol3 2551
#define sol4 1276
#define sol5 638
#define sol6 319
#define sol7 159
#define sols1 9631
#define sols2 4816
#define sols3 2408
#define sols4 1204
#define sols5 602
#define sols6 301
#define sols7 150
#define la1 9091
#define la2 4545
#define la3 2273
#define la4 1136
#define la5 568
#define la6 284
#define la7 142
#define las1 8581
#define las2 4290
#define las3 2145
#define las4 1073
#define las5 536
#define las6 268
#define las7 134
#define si1 8099
#define si2 4050
#define si3 2025
#define si4 1012
#define si5 506
#define si6 253
#define si7 127