term,n_exec,count
5,1,1435583
5,2,819289
5,3,529744
5,4,325360
5,5,208061
5,6,143274
5,7,108214
5,8,86289
5,9,80925
5,20,22323
5,11,78052
5,12,67586
5,13,58705
5,10,80386
5,14,53402
5,15,47222
5,16,41410
5,17,35185
5,18,33747
5,19,27392
5,24,12402
5,26,8880
5,31,4023
5,34,5230
5,43,2962
5,46,1174
5,48,714
5,53,400
5,21,18181
5,30,4133
5,25,25477
5,23,13919
5,40,4701
5,22,15534
5,27,7229
5,44,1816
5,33,5050
5,28,5882
5,32,4370
5,29,4585
5,35,4976
5,84,47
5,47,1035
5,37,5509
5,51,405
5,58,540
5,38,5245
5,60,252
5,96,46
5,36,6475
5,39,5173
5,41,4467
5,42,3557
5,45,1371
5,49,506
5,50,437
5,83,40
5,72,63
5,89,22
5,66,54
5,52,551
5,54,1515
5,55,745
5,68,67
5,59,353
5,63,229
5,76,79
5,88,36
5,77,54
5,62,268
5,91,27
5,67,59
5,56,541
5,71,67
5,81,66
5,61,207
5,85,56
5,64,114
5,70,98
5,94,29
5,90,24
5,87,45
5,93,19
5,57,362
5,95,19
5,86,54
5,75,33
5,102,37
5,65,97
5,69,111
5,73,63
5,74,58
5,78,47
5,79,41
5,80,146
5,82,37
5,1035,2
5,1036,2
5,92,27
5,97,18
5,98,35
5,99,23
5,100,54
5,101,41
5,103,44
5,104,51
5,105,40
5,106,47
5,107,38
5,108,68
5,109,87
5,110,83
5,111,79
5,112,81
5,113,55
5,114,70
5,115,55
5,116,60
5,117,59
5,118,84
5,119,47
5,120,75
5,1042,1
5,121,281
5,122,122
5,123,52
5,124,88
5,125,77
5,126,41
5,127,48
5,128,60
5,129,220
5,130,59
5,131,39
5,132,50
5,133,80
5,134,64
5,135,49
5,136,78
5,137,63
5,138,81
5,139,114
5,140,107
5,141,83
5,142,58
5,143,78
5,144,95
5,145,87
5,146,89
5,147,153
5,148,117
5,149,157
5,150,85
5,151,130
5,152,80
5,153,158
5,154,156
5,155,136
5,156,79
5,157,83
5,158,141
5,159,89
5,160,451
5,161,366
5,162,78
5,163,25
5,164,100
5,165,84
5,166,84
5,167,108
5,168,111
5,169,55
5,170,65
5,171,51
5,172,75
5,173,28
5,174,40
5,175,47
5,176,36
5,177,23
5,178,11
5,179,2
5,180,29
5,181,33
5,182,9
5,183,24
5,184,31
5,185,18
5,186,21
5,187,42
5,188,19
5,189,30
5,190,21
5,191,8
5,192,11
5,193,2
5,194,4
5,195,9
5,196,2
5,197,7
5,198,9
5,199,7
5,201,9
5,203,9
5,207,2
5,212,9
5,213,7
5,214,16
5,217,9
5,218,7
5,219,1
5,223,20
5,1062,1
5,225,9
5,229,2
5,1063,3
5,231,11
5,233,2
5,234,9
5,235,2
5,236,2
5,238,2
5,239,7
5,240,2
5,1065,3
5,242,7
5,243,9
5,1066,3
5,246,2
5,1067,2
5,1068,1
5,254,2
5,1069,5
5,263,7
5,267,7
5,271,6
5,273,1
5,274,1
5,276,4
5,277,2
5,281,2
5,284,9
5,289,7
5,292,7
5,303,1
5,304,1
5,305,7
5,321,7
5,324,2
5,326,7
5,331,4
5,339,7
5,341,1
5,342,1
5,349,4
5,350,1
5,351,2
5,352,8
5,353,9
5,354,12
5,355,9
5,356,4
5,357,1
5,359,1
5,360,4
5,363,7
5,373,1
5,410,1
5,412,1
5,413,1
5,515,2
5,516,2
5,528,1
5,531,2
5,535,1
5,536,2
5,577,1
5,581,2
5,582,4
5,585,2
5,586,5
5,588,2
5,592,1
5,595,1
5,597,1
5,639,4
5,676,2
5,704,2
5,706,1
5,707,4
5,708,3
5,709,1
5,710,1
5,711,2
5,713,2
5,714,1
5,720,9
5,727,1
5,837,2
5,861,2
5,917,2
5,925,2
5,932,2
5,934,1
5,993,2
5,996,2
5,997,2
5,999,2
5,1002,2
5,1007,1
5,1008,1
5,1010,2
5,1014,9
5,1016,2
5,1017,3
5,1020,1
5,1021,1
7,1,360442084
7,2,272543021
7,3,216025856
7,4,124877419
7,5,62925596
7,6,29855386
7,7,13572163
7,8,6128473
7,9,3309546
7,10,1951261
7,11,1244001
7,12,906818
7,15,399563
7,16,330510
7,17,272097
7,19,206986
7,20,181123
7,22,148376
7,23,151155
7,24,149487
7,21,161221
7,18,224835
7,13,645789
7,14,496392
7,25,160002
7,26,160696
7,27,150793
7,28,125826
7,29,111941
7,30,90717
7,31,80906
7,32,79031
7,33,68508
7,34,66549
7,35,71667
7,36,59747
7,37,61329
7,38,64888
7,39,77981
7,40,82232
7,41,84160
7,42,89070
7,43,90621
7,44,86082
7,45,96417
7,46,108042
7,47,101718
7,48,108900
7,49,116673
7,50,129788
7,51,146246
7,52,148524
7,53,153762
7,54,145886
7,55,138508
7,56,134493
7,57,111274
7,58,117300
7,59,116667
7,60,112406
7,61,112307
7,62,85945
7,63,99603
7,64,105293
7,65,94841
7,66,92828
7,67,95526
7,68,96768
7,69,84818
7,70,73729
7,71,60843
7,72,49965
7,73,38321
7,74,26904
7,75,25627
7,76,27002
7,77,19432
7,78,24650
7,79,20518
7,80,14156
7,81,16452
7,82,14417
7,83,12478
7,84,13582
7,85,14791
7,86,14317
7,87,11302
7,88,8159
7,89,8659
7,90,9079
7,91,9215
7,92,12643
7,93,11616
7,94,13940
7,95,22439
7,96,26999
7,97,49388
7,98,62481
7,99,74927
7,100,99018
7,101,113161
7,102,116303
7,103,136507
7,104,138811
7,105,153314
7,106,144752
7,107,148431
7,108,145604
7,109,143887
7,110,139170
7,111,136340
7,112,139980
7,113,138264
7,114,132886
7,115,130760
7,116,127397
7,117,126193
7,118,122625
7,119,121904
7,120,131433
7,121,143259
7,122,163657
7,123,164627
7,124,162156
7,125,161201
7,126,161233
7,127,181610
7,128,178895
7,129,187352
7,130,189318
7,131,195230
7,132,213137
7,133,242443
7,134,256043
7,135,310020
7,136,324348
7,137,371844
7,138,408883
7,139,429676
7,140,453906
7,141,469210
7,142,472615
7,143,516273
7,144,509372
7,145,484295
7,146,460603
7,147,441655
7,148,441660
7,149,415559
7,150,413905
7,151,405734
7,152,412711
7,153,396702
7,154,364332
7,155,348628
7,156,328685
7,157,308982
7,158,290157
7,159,251907
7,160,240499
7,161,236437
7,162,217720
7,163,215567
7,164,213964
7,165,225835
7,166,227603
7,167,221617
7,168,207345
7,169,190881
7,170,172384
7,171,138959
7,172,132343
7,173,122713
7,174,97193
7,175,91548
7,176,85932
7,177,75436
7,178,78924
7,179,66587
7,180,82105
7,181,77989
7,182,79262
7,183,72298
7,184,77389
7,185,73468
7,186,66778
7,187,65717
7,188,59482
7,189,56341
7,190,58673
7,191,53569
7,192,51256
7,193,51545
7,194,48291
7,195,46680
7,196,43419
7,197,44082
7,198,44409
7,199,43761
7,200,43575
7,201,46324
7,202,37497
7,203,37464
7,204,36999
7,205,37911
7,206,39120
7,207,36089
7,208,43618
7,209,44100
7,210,36226
7,211,42728
7,212,41033
7,213,35009
7,214,39211
7,215,32179
7,216,37496
7,217,32273
7,218,37070
7,219,36755
7,220,33179
7,221,26762
7,222,32605
7,223,23124
7,224,28458
7,225,28156
7,226,24819
7,227,26123
7,228,26875
7,229,28114
7,230,25725
7,231,24884
7,232,23877
7,233,26665
7,234,24286
7,235,25398
7,236,25521
7,237,22959
7,238,23091
7,239,22462
7,240,23651
7,241,21735
7,242,19122
7,243,19708
7,244,20062
7,245,20649
7,246,24106
7,247,22877
7,248,15534
7,249,16767
7,250,15440
7,251,15618
7,252,16334
7,253,14891
7,254,14133
7,255,15441
7,256,12249
7,257,12712
7,258,14719
7,259,13111
7,260,18097
7,261,12282
7,262,12262
7,263,11555
7,264,11206
7,265,13904
7,266,8666
7,267,8252
7,268,9776
7,269,11541
7,270,11738
7,271,11205
7,272,11817
7,273,9266
7,274,11567
7,275,15458
7,276,12999
7,277,10970
7,278,9572
7,279,12689
7,280,11319
7,281,12329
7,282,11363
7,283,14751
7,284,12024
7,285,12973
7,286,11419
7,287,13391
7,288,13942
7,289,13511
7,290,13157
7,291,14280
7,292,12200
7,293,10822
7,294,10008
7,295,11788
7,296,10663
7,297,9453
7,298,9889
7,299,11826
7,300,10616
7,301,9121
7,302,9371
7,303,8901
7,304,9755
7,305,13207
7,306,8882
7,307,10499
7,308,8642
7,309,7647
7,310,7137
7,311,5259
7,312,5675
7,313,4894
7,314,4603
7,315,4125
7,316,4293
7,317,4059
7,318,4177
7,319,4607
7,320,4307
7,321,4111
7,322,3667
7,323,4705
7,324,4671
7,325,3845
7,326,4386
7,327,5040
7,328,5376
7,329,4474
7,330,4339
7,331,4401
7,332,3934
7,333,4006
7,334,4782
7,335,4656
7,336,5304
7,337,3969
7,338,5315
7,339,4387
7,340,3990
7,341,4195
7,342,5269
7,343,5493
7,344,5531
7,345,4602
7,346,5955
7,347,4458
7,348,4195
7,349,3626
7,350,5264
7,351,7884
7,352,4255
7,353,4880
7,354,5133
7,355,4123
7,356,2330
7,357,2300
7,358,3040
7,359,2969
7,360,1957
7,361,2410
7,362,1271
7,363,1183
7,364,1157
7,365,2936
7,366,1132
7,367,2726
7,368,2502
7,369,2669
7,370,2053
7,371,839
7,372,1096
7,373,356
7,374,714
7,375,266
7,376,241
7,377,170
7,378,2156
7,379,1812
7,380,1191
7,381,250
7,382,842
7,383,898
7,384,2230
7,385,936
7,386,696
7,387,636
7,388,539
7,389,637
7,390,1007
7,391,489
7,392,249
7,393,143
7,394,777
7,395,322
7,396,117
7,397,96
7,398,186
7,399,85
7,400,120
7,401,76
7,402,60
7,403,88
7,404,124
7,405,181
7,406,98
7,407,242
7,408,123
7,409,115
7,410,119
7,411,295
7,412,528
7,413,93
7,414,93
7,415,214
7,416,254
7,417,150
7,418,185
7,419,495
7,420,236
7,421,634
7,422,571
7,423,928
7,424,521
7,425,1336
7,426,154
7,427,79
7,428,86
7,429,255
7,430,71
7,431,290
7,432,106
7,433,262
7,434,646
7,435,272
7,436,72
7,437,267
7,438,292
7,439,140
7,440,80
7,441,58
7,442,46
7,443,42
7,444,57
7,445,66
7,446,34
7,447,42
7,448,66
7,449,46
7,450,34
7,451,36
7,452,28
7,453,32
7,454,38
7,455,36
7,456,34
7,457,36
7,458,40
7,459,36
7,460,38
7,461,36
7,462,46
7,463,51
7,464,44
7,465,38
7,466,42
7,467,52
7,468,34
7,469,38
7,470,44
7,471,40
7,472,620
7,473,896
7,474,1493
7,475,1512
7,476,553
7,477,286
7,478,198
7,479,292
7,480,96
7,481,56
7,482,108
7,483,70
7,484,74
7,485,46
7,486,44
7,487,36
7,488,72
7,489,52
7,490,34
7,491,30
7,492,34
7,493,56
7,494,56
7,495,70
7,496,34
7,497,32
7,498,36
7,499,38
7,500,32
7,501,50
7,502,32
7,503,30
7,504,52
7,505,46
7,506,42
7,507,52
7,508,40
7,509,48
7,510,62
7,511,45
7,512,36
7,513,46
7,514,70
7,515,96
7,516,44
7,517,74
7,518,99
7,519,819
7,520,52
7,521,46
7,522,46
7,523,48
7,524,32
7,525,53
7,526,46
7,527,59
7,528,77
7,529,57
7,530,68
7,531,112
7,532,109
7,533,256
7,534,38
7,535,95
7,536,32
7,537,34
7,538,44
7,539,40
7,540,34
7,541,38
7,542,42
7,543,44
7,544,32
7,545,28
7,546,34
7,547,38
7,548,40
7,549,42
7,550,42
7,551,36
7,552,124
7,553,46
7,554,42
7,555,42
7,556,30
7,557,34
7,558,48
7,559,40
7,560,44
7,561,48
7,562,34
7,563,40
7,564,34
7,565,34
7,566,52
7,567,38
7,568,34
7,569,44
7,570,54
7,571,114
7,572,54
7,573,140
7,574,54
7,575,88
7,576,86
7,577,913
7,578,616
7,579,966
7,580,1221
7,581,2144
7,582,1221
7,583,318
7,584,723
7,585,311
7,586,343
7,587,164
7,588,131
7,589,113
7,590,64
7,591,70
7,592,54
7,593,49
7,594,56
7,595,50
7,596,540
7,597,110
7,598,31
7,599,30
7,600,44
7,601,40
7,602,38
7,603,44
7,604,68
7,605,48
7,606,42
7,607,50
7,608,42
7,609,32
7,610,38
7,611,56
7,612,32
7,613,46
7,614,58
7,615,58
7,616,54
7,617,54
7,618,86
7,619,54
7,620,40
7,621,52
7,622,42
7,623,56
7,624,48
7,625,58
7,626,50
7,627,153
7,628,66
7,629,42
7,630,50
7,631,54
7,632,52
7,633,46
7,634,44
7,635,58
7,636,74
7,637,38
7,638,106
7,639,172
7,640,294
7,641,101
7,642,82
7,643,62
7,644,52
7,645,58
7,646,48
7,647,44
7,648,56
7,649,44
7,650,44
7,651,38
7,652,50
7,653,42
7,654,66
7,655,44
7,656,42
7,657,48
7,658,106
7,659,66
7,660,82
7,661,48
7,662,34
7,663,46
7,664,48
7,665,36
7,666,32
7,667,50
7,668,80
7,669,52
7,670,74
7,671,64
7,672,78
7,673,286
7,674,60
7,675,66
7,676,100
7,677,48
7,678,58
7,679,52
7,680,92
7,681,58
7,682,194
7,683,355
7,684,168
7,685,169
7,686,101
7,687,130
7,688,179
7,689,189
7,690,852
7,691,967
7,692,94
7,693,90
7,694,70
7,695,44
7,696,68
7,697,46
7,698,68
7,699,62
7,700,81
7,701,56
7,702,68
7,703,50
7,704,84
7,705,180
7,706,1244
7,707,573
7,708,294
7,709,1248
7,710,313
7,711,186
7,712,157
7,713,1326
7,714,244
7,715,132
7,716,714
7,717,1942
7,718,74
7,719,32
7,720,46
7,721,18
7,722,42
7,723,26
7,724,653
7,725,761
7,726,214
7,727,1367
7,728,375
7,729,300
7,730,201
7,731,733
7,732,163
7,733,22
7,734,26
7,735,22
7,736,18
7,737,26
7,738,30
7,739,40
7,740,54
7,741,12
7,742,18
7,743,12
7,744,28
7,745,28
7,746,36
7,747,26
7,748,24
7,749,32
7,750,328
7,751,14
7,752,34
7,753,20
7,754,22
7,755,14
7,756,24
7,757,20
7,758,16
7,759,24
7,760,18
7,761,14
7,762,26
7,763,24
7,764,28
7,765,20
7,766,22
7,767,20
7,768,12
7,769,20
7,770,20
7,771,16
7,772,16
7,773,22
7,774,24
7,775,18
7,776,24
7,777,24
7,778,20
7,779,12
7,780,20
7,781,18
7,782,16
7,783,44
7,784,34
7,785,26
7,786,22
7,787,22
7,788,26
7,789,22
7,790,38
7,791,20
7,792,24
7,793,20
7,794,24
7,795,16
7,796,34
7,797,16
7,798,22
7,799,26
7,800,34
7,801,32
7,802,24
7,803,26
7,804,52
7,805,42
7,806,74
7,807,814
7,808,401
7,809,331
7,810,402
7,811,246
7,812,104
7,813,160
7,814,40
7,815,20
7,816,78
7,817,38
7,818,214
7,819,20
7,820,488
7,821,821
7,822,34
7,823,441
7,824,761
7,825,468
7,826,242
7,827,642
7,828,488
7,829,250
7,830,39
7,831,48
7,832,186
7,833,162
7,834,28
7,835,240
7,836,96
7,837,247
7,838,286
7,839,327
7,840,50
7,841,34
7,842,34
7,843,36
7,844,32
7,845,23
7,846,38
7,847,22
7,848,26
7,849,28
7,850,22
7,851,28
7,852,30
7,853,26
7,854,30
7,855,29
7,856,33
7,857,66
7,858,250
7,859,150
7,860,106
7,861,62
7,862,28
7,863,18
7,864,22
7,865,24
7,866,38
7,867,28
7,868,42
7,869,60
7,870,45
7,871,37
7,872,80
7,873,29
7,874,24
7,875,32
7,876,22
7,877,38
7,878,34
7,879,36
7,880,28
7,881,16
7,882,22
7,883,16
7,884,26
7,885,14
7,886,28
7,887,30
7,888,30
7,889,54
7,890,22
7,891,22
7,892,26
7,893,16
7,894,48
7,895,20
7,896,38
7,897,28
7,898,20
7,899,16
7,900,16
7,901,24
7,902,24
7,903,65
7,904,38
7,905,42
7,906,24
7,907,26
7,908,30
7,909,42
7,910,30
7,911,34
7,912,26
7,913,26
7,914,32
7,915,20
7,916,30
7,917,54
7,918,66
7,919,60
7,920,75
7,921,38
7,922,68
7,923,96
7,924,52
7,925,47
7,926,52
7,927,64
7,928,48
7,929,47
7,930,46
7,931,42
7,932,30
7,933,54
7,934,262
7,935,144
7,936,44
7,937,50
7,938,50
7,939,44
7,940,32
7,941,28
7,942,30
7,943,24
7,944,40
7,945,32
7,946,20
7,947,58
7,948,26
7,949,38
7,950,72
7,951,69
7,952,90
7,953,59
7,954,241
7,955,84
7,956,44
7,957,46
7,958,16
7,959,48
7,960,116
7,961,48
7,962,66
7,963,44
7,964,44
7,965,38
7,966,80
7,967,78
7,968,68
7,969,865
7,970,194
7,971,232
7,972,130
7,973,626
7,974,284
7,975,144
7,976,212
7,977,788
7,978,324
7,979,2275
7,980,921
7,981,359
7,982,221
7,983,134
7,984,536
7,985,2205
7,986,801
7,987,387
7,988,44
7,989,435
7,990,421
7,991,406
7,992,1200
7,993,566
7,994,1065
7,995,931
7,996,520
7,997,1338
7,998,692
7,999,60
7,1000,24
7,1001,160
7,1002,530
7,1003,102
7,1004,24
7,1005,27
7,1006,152
7,1007,100
7,1008,587
7,1009,239
7,1010,80
7,1011,83
7,1012,53
7,1013,144
7,1014,674
7,1015,171
7,1016,260
7,1017,115
7,1018,34
7,1019,168
7,1020,22
7,1021,20
7,1022,106
7,1023,505
7,1024,642
7,1025,69
7,1026,38
7,1027,46
7,1028,33
7,1029,22
7,1030,60
7,1031,94
7,1032,49
7,1033,79
7,1034,76
7,1035,90
7,1036,221
7,1037,594
7,1038,687
7,1039,80
7,1040,779
7,1041,116
7,1042,268
7,1043,233
7,1044,356
7,1045,258
7,1046,991
7,1047,148
7,1048,162
7,1049,313
7,1050,126
7,1051,62
7,1052,48
7,1053,24
7,1054,26
7,1055,18
7,1056,14
7,1057,18
7,1058,52
7,1059,597
7,1060,51
7,1061,181
7,1062,164
7,1063,305
7,1064,415
7,1065,823
7,1066,1568
7,1067,632
7,1068,231
7,1069,1154
7,1070,642
7,1071,95
7,1072,10
7,1073,4
7,1074,123
7,1075,10
6,1,12779719
6,2,9420704
6,3,6823880
6,4,3813431
6,5,1923477
6,6,948441
6,8,242508
6,7,470696
6,18,42655
6,21,36156
6,23,41987
6,24,53980
6,14,59173
6,11,96127
6,9,161100
6,16,49021
6,12,80467
6,13,66406
6,15,51028
6,20,35566
6,22,36350
6,10,118968
6,17,44071
6,19,39464
6,26,68972
6,27,63627
6,28,60845
6,29,56343
6,31,51060
6,33,57694
6,36,62236
6,25,62721
6,32,51085
6,35,62302
6,37,59724
6,38,68148
6,40,92937
6,34,59881
6,30,52438
6,39,79312
6,42,121745
6,43,124850
6,47,144234
6,49,149472
6,50,167053
6,51,175398
6,53,170888
6,55,151870
6,56,137510
6,57,134547
6,59,145764
6,61,138039
6,62,133915
6,63,126882
6,45,143433
6,46,142103
6,48,147424
6,41,113114
6,44,128564
6,64,131218
6,66,117842
6,68,104156
6,70,76358
6,72,51973
6,58,141129
6,69,92345
6,74,36422
6,76,24844
6,79,19058
6,81,20863
6,83,16164
6,85,15911
6,87,17507
6,89,11114
6,91,12559
6,93,13241
6,95,24410
6,97,56307
6,99,89141
6,100,116068
6,101,138566
6,54,163333
6,60,146264
6,52,173792
6,77,23376
6,82,21133
6,94,20982
6,96,41112
6,98,73443
6,102,164302
6,113,199056
6,115,185850
6,65,127121
6,80,25933
6,78,20879
6,84,18149
6,86,16947
6,88,13109
6,92,10456
6,71,62205
6,73,40810
6,75,31671
6,67,110201
6,103,180013
6,105,213794
6,107,212326
6,109,215868
6,111,198191
6,104,200443
6,114,192084
6,90,12263
6,106,204463
6,108,221366
6,110,210307
6,116,179807
6,117,168265
6,119,176721
6,121,196675
6,112,202117
6,123,216556
6,125,205652
6,122,212639
6,124,213118
6,118,170066
6,120,186730
6,126,211052
6,127,208950
6,128,201998
6,129,186166
6,130,166072
6,131,160382
6,132,168142
6,133,175706
6,134,193349
6,135,222447
6,136,262851
6,137,309837
6,138,369872
6,139,402368
6,140,434738
6,141,483284
6,142,517667
6,143,537725
6,144,562243
6,145,561738
6,146,551246
6,147,526495
6,148,507855
6,149,479882
6,150,459163
6,151,461084
6,152,446162
6,153,421914
6,154,403570
6,155,371253
6,156,370078
6,157,343273
6,158,328105
6,159,291504
6,160,282096
6,161,262154
6,162,249168
6,163,248177
6,164,247587
6,165,241443
6,166,258374
6,167,261355
6,168,249080
6,169,224534
6,170,213427
6,171,178030
6,172,154003
6,173,132228
6,174,108650
6,175,99426
6,176,94000
6,177,86420
6,178,77872
6,179,84316
6,180,92088
6,181,96747
6,182,95241
6,183,91031
6,184,84473
6,185,82572
6,186,75287
6,187,70215
6,188,55217
6,189,51939
6,190,40583
6,191,38739
6,192,35612
6,193,32249
6,194,28893
6,195,27577
6,196,22775
6,197,21218
6,198,17301
6,199,16965
6,200,13723
6,201,14096
6,202,15493
6,203,13717
6,204,13892
6,205,15542
6,206,14200
6,207,15195
6,208,16771
6,209,16976
6,210,15838
6,211,16999
6,212,15598
6,213,13057
6,214,12504
6,215,13241
6,216,13409
6,217,11716
6,218,13308
6,219,10380
6,220,11263
6,221,9979
6,222,10318
6,223,9732
6,224,10022
6,225,8934
6,226,11047
6,227,10037
6,228,11625
6,229,10913
6,230,9852
6,231,9183
6,232,8047
6,233,7352
6,234,6703
6,235,6830
6,236,7442
6,237,8318
6,238,7497
6,239,9032
6,240,10588
6,241,7610
6,242,6547
6,243,5574
6,244,6260
6,245,6171
6,246,6638
6,247,5649
6,248,7212
6,249,5732
6,250,6019
6,251,5264
6,252,4030
6,253,3974
6,254,4829
6,255,3921
6,256,2937
6,257,3075
6,258,3532
6,259,4057
6,260,3511
6,261,2724
6,262,3231
6,263,2523
6,264,2475
6,265,2774
6,266,1806
6,267,1955
6,268,3170
6,269,3938
6,270,3066
6,271,3610
6,272,4471
6,273,4259
6,274,5173
6,275,4698
6,276,4340
6,277,5176
6,278,4431
6,279,5004
6,280,4539
6,281,4668
6,282,4078
6,283,4563
6,284,4322
6,285,4023
6,286,3879
6,287,3641
6,288,2704
6,289,3519
6,290,2433
6,291,3659
6,292,4904
6,293,4040
6,294,3427
6,295,2829
6,296,3282
6,297,3821
6,298,3931
6,299,3390
6,300,4163
6,301,3591
6,302,3117
6,303,3551
6,304,2918
6,305,3007
6,306,2734
6,307,2870
6,308,2961
6,309,2532
6,310,1602
6,311,1484
6,312,1637
6,313,1374
6,314,1536
6,315,2499
6,316,1622
6,317,1761
6,318,1919
6,319,1753
6,320,2340
6,321,1365
6,322,1097
6,323,1558
6,324,863
6,325,1247
6,326,1542
6,327,1485
6,328,1024
6,329,1809
6,330,1321
6,331,1444
6,332,967
6,333,1048
6,334,1486
6,335,1391
6,336,1154
6,337,1372
6,338,1071
6,339,828
6,340,748
6,341,1518
6,342,842
6,343,1321
6,344,1055
6,345,1881
6,346,1425
6,347,1034
6,348,1102
6,349,1048
6,350,841
6,351,1178
6,352,1377
6,353,1455
6,354,1359
6,355,1482
6,356,930
6,357,619
6,358,618
6,359,868
6,360,921
6,361,294
6,362,280
6,363,535
6,364,353
6,365,456
6,366,474
6,367,410
6,368,444
6,369,434
6,370,460
6,371,522
6,372,272
6,373,198
6,374,135
6,375,94
6,376,44
6,377,50
6,378,182
6,379,124
6,380,34
6,381,170
6,382,750
6,383,803
6,384,1857
6,385,784
6,386,597
6,387,588
6,388,438
6,389,324
6,390,876
6,391,324
6,392,182
6,393,209
6,394,84
6,395,174
6,396,167
6,397,90
6,398,140
6,399,58
6,400,86
6,401,94
6,402,122
6,403,80
6,404,136
6,405,169
6,406,102
6,407,122
6,408,138
6,409,94
6,410,168
6,411,429
6,412,149
6,413,111
6,414,110
6,415,136
6,416,286
6,417,430
6,418,364
6,419,954
6,420,1038
6,421,1270
6,422,1518
6,423,1912
6,424,1921
6,425,486
6,426,30
6,427,28
6,428,32
6,429,58
6,430,256
6,431,263
6,432,52
6,433,620
6,434,632
6,435,62
6,436,384
6,437,431
6,438,136
6,439,20
6,440,14
6,441,12
6,442,24
6,443,24
6,444,22
6,445,24
6,446,12
6,447,4
6,448,16
6,449,4
6,454,2
6,455,4
6,457,2
6,459,2
6,460,2
6,462,4
6,463,8
6,464,6
6,465,2
6,470,2
6,471,2
6,472,610
6,473,1036
6,474,946
6,475,1634
6,476,548
6,477,302
6,478,175
6,479,208
6,480,72
6,481,28
6,482,26
6,483,18
6,484,22
6,485,8
6,486,2
6,487,4
6,488,18
6,489,14
6,490,2
6,491,4
6,493,8
6,494,8
6,495,26
6,496,4
6,500,2
6,502,4
6,503,8
6,505,10
6,506,4
6,507,10
6,508,2
6,509,2
6,510,2
6,511,4
6,512,10
6,513,24
6,514,28
6,515,62
6,516,34
6,517,58
6,518,38
6,519,32
6,520,2
6,522,18
6,524,6
6,525,20
6,526,20
6,527,20
6,528,26
6,529,32
6,530,86
6,531,104
6,532,86
6,533,74
6,534,44
6,535,44
6,536,12
6,537,6
6,539,4
6,540,2
6,541,4
6,542,4
6,543,2
6,544,2
6,545,6
6,546,2
6,547,2
6,548,2
6,549,8
6,550,2
6,551,2
6,552,4
6,553,12
6,554,4
6,555,6
6,556,2
6,558,6
6,559,4
6,560,6
6,561,2
6,563,4
6,564,2
6,565,12
6,566,8
6,567,4
6,568,6
6,569,2
6,570,8
6,571,38
6,572,40
6,573,22
6,574,36
6,575,36
6,576,46
6,577,152
6,578,186
6,579,312
6,580,332
6,581,366
6,582,334
6,583,329
6,584,371
6,585,268
6,586,213
6,587,102
6,588,48
6,589,20
6,590,22
6,591,18
6,592,34
6,593,44
6,594,36
6,595,20
6,596,12
6,597,12
6,598,8
6,599,2
6,602,4
6,604,4
6,605,10
6,606,4
6,608,2
6,609,4
6,611,6
6,612,2
6,615,6
6,616,2
6,617,2
6,618,42
6,619,2
6,620,4
6,621,4
6,622,16
6,624,10
6,625,4
6,626,10
6,627,10
6,628,6
6,629,2
6,630,4
6,631,26
6,632,26
6,633,25
6,634,28
6,635,12
6,636,36
6,637,22
6,638,66
6,639,254
6,640,362
6,641,86
6,642,50
6,643,62
6,644,6
6,645,4
6,646,6
6,647,12
6,648,4
6,649,2
6,650,4
6,651,2
6,652,12
6,653,4
6,654,10
6,655,20
6,656,6
6,657,16
6,658,82
6,659,38
6,660,44
6,661,12
6,662,4
6,663,3
6,664,8
6,665,12
6,666,6
6,667,10
6,668,16
6,669,6
6,670,14
6,671,20
6,672,14
6,673,40
6,674,10
6,675,22
6,676,4
6,677,10
6,679,18
6,680,30
6,681,10
6,682,202
6,683,322
6,684,80
6,685,68
6,686,120
6,687,116
6,688,128
6,689,184
6,690,196
6,691,180
6,692,166
6,693,118
6,694,102
6,695,46
6,696,40
6,697,10
6,698,32
6,699,20
6,700,25
6,701,43
6,702,28
6,703,6
6,704,32
6,705,176
6,706,234
6,707,368
6,708,264
6,709,290
6,710,162
6,711,232
6,712,174
6,713,125
6,714,176
6,715,120
6,716,62
6,717,64
6,718,76
6,719,68
6,720,18
6,721,8
6,722,34
6,723,38
6,724,148
6,725,124
6,726,182
6,727,335
6,728,396
6,729,349
6,730,290
6,731,216
6,732,100
6,733,20
6,734,20
6,735,2
6,736,12
6,737,8
6,738,20
6,739,10
6,740,2
6,742,2
6,743,2
6,744,2
6,745,4
6,746,12
6,747,6
6,748,2
6,749,2
6,751,4
6,752,2
6,753,2
6,755,6
6,756,6
6,758,2
6,775,2
6,776,2
6,782,16
6,783,2
6,784,2
6,785,4
6,797,2
6,803,2
6,804,24
6,805,36
6,806,42
6,807,214
6,808,306
6,809,306
6,810,461
6,811,244
6,812,138
6,813,164
6,814,56
6,815,44
6,816,40
6,817,24
6,819,2
6,820,10
6,821,148
6,822,167
6,823,554
6,824,468
6,825,690
6,826,512
6,827,749
6,828,476
6,829,55
6,830,36
6,831,62
6,832,44
6,833,298
6,834,244
6,835,430
6,836,180
6,837,341
6,838,184
6,839,107
6,840,14
6,841,6
6,842,17
6,843,8
6,844,8
6,845,16
6,846,24
6,847,6
6,848,18
6,849,2
6,850,6
6,851,4
6,852,2
6,854,2
6,855,6
6,856,23
6,857,56
6,858,260
6,859,180
6,860,134
6,861,12
6,862,4
6,865,4
6,867,8
6,868,12
6,869,20
6,870,18
6,871,12
6,872,58
6,873,2
6,874,2
6,876,2
6,877,2
6,878,2
6,879,2
6,880,2
6,883,2
6,886,4
6,887,26
6,888,12
6,889,28
6,890,4
6,891,2
6,904,2
6,905,8
6,908,2
6,909,10
6,910,6
6,911,20
6,914,8
6,915,4
6,916,6
6,917,14
6,918,28
6,919,22
6,920,22
6,921,16
6,922,26
6,923,36
6,924,22
6,925,43
6,926,33
6,927,20
6,928,22
6,929,32
6,930,10
6,931,6
6,933,4
6,934,12
6,935,22
6,936,16
6,937,8
6,938,2
6,939,14
6,940,5
6,941,2
6,942,4
6,943,2
6,944,4
6,948,2
6,949,16
6,950,52
6,951,52
6,952,78
6,953,70
6,954,64
6,955,96
6,956,58
6,957,8
6,958,10
6,959,8
6,960,40
6,961,10
6,962,22
6,963,4
6,964,14
6,965,14
6,966,60
6,967,82
6,968,50
6,969,148
6,970,294
6,971,172
6,972,172
6,973,646
6,974,146
6,975,212
6,976,455
6,977,276
6,978,466
6,979,252
6,980,294
6,981,272
6,982,212
6,983,273
6,984,438
6,985,200
6,986,214
6,987,80
6,988,22
6,989,94
6,990,62
6,991,70
6,992,120
6,993,138
6,994,332
6,995,124
6,996,345
6,997,112
6,998,102
6,999,88
6,1000,48
6,1001,53
6,1002,242
6,1003,90
6,1004,24
6,1005,32
6,1006,36
6,1007,64
6,1008,46
6,1009,30
6,1010,22
6,1011,29
6,1012,52
6,1013,36
6,1014,88
6,1015,62
6,1016,37
6,1017,26
6,1018,28
6,1019,8
6,1020,8
6,1021,28
6,1022,32
6,1023,12
6,1024,10
6,1025,26
6,1026,2
6,1027,4
6,1028,12
6,1029,6
6,1030,10
6,1031,28
6,1032,12
6,1033,26
6,1034,26
6,1035,36
6,1036,58
6,1037,91
6,1038,106
6,1039,66
6,1040,14
6,1041,26
6,1042,104
6,1043,36
6,1044,12
6,1045,20
6,1046,30
6,1047,12
6,1048,22
6,1049,8
6,1050,6
6,1051,8
6,1052,10
6,1053,2
6,1054,6
6,1055,2
6,1056,13
6,1057,26
6,1058,22
6,1059,20
6,1060,12
6,1061,40
6,1062,68
6,1063,144
6,1064,234
6,1065,246
6,1066,420
6,1067,182
6,1068,174
6,1069,120
6,1070,56
6,1071,18
6,1072,4
6,1073,8
6,1074,2
6,1075,2
6,1076,2
4,1,4093792
4,2,2502612
4,3,1835882
4,4,995909
4,5,492680
4,6,232336
4,7,107527
4,8,52418
4,17,5681
4,10,20818
4,16,6575
4,19,4528
4,13,9820
4,18,5096
4,21,3567
4,23,2848
4,25,2658
4,28,2271
4,9,29293
4,11,14783
4,14,7959
4,12,11859
4,24,3130
4,20,3992
4,22,3134
4,26,2645
4,15,7297
4,27,2327
4,30,1323
4,32,1061
4,35,701
4,36,622
4,37,745
4,40,524
4,41,298
4,48,93
4,49,92
4,29,1776
4,31,1148
4,33,934
4,34,808
4,39,325
4,44,219
4,47,117
4,42,456
4,46,123
4,50,188
4,51,365
4,38,379
4,60,57
4,102,17
4,55,61
4,43,423
4,45,129
4,52,91
4,56,45
4,54,48
4,68,20
4,69,23
4,75,27
4,76,29
4,113,19
4,114,8
4,64,43
4,53,60
4,81,16
4,58,46
4,65,26
4,79,18
4,80,22
4,88,18
4,95,12
4,96,15
4,61,44
4,57,38
4,83,7
4,91,10
4,77,15
4,62,29
4,119,17
4,90,8
4,98,45
4,67,26
4,73,15
4,74,29
4,94,14
4,66,12
4,71,22
4,63,36
4,86,8
4,59,60
4,109,29
4,101,31
4,78,35
4,1024,4
4,1031,6
4,70,8
4,1032,2
4,82,7
4,84,9
4,85,17
4,87,4
4,89,6
4,92,1
4,93,10
4,97,16
4,99,16
4,100,20
4,103,30
4,104,30
4,105,24
4,106,18
4,107,37
4,108,19
4,110,12
4,111,22
4,112,9
4,115,12
4,116,14
4,117,39
4,118,25
4,120,32
4,121,30
4,122,23
4,123,94
4,124,89
4,125,83
4,126,108
4,127,180
4,128,161
4,129,77
4,130,132
4,131,83
4,1044,4
4,132,501
4,133,24
4,134,19
4,135,44
4,136,10
4,137,15
4,138,12
4,139,17
4,140,21
4,141,20
4,142,36
4,143,45
4,144,104
4,145,391
4,146,372
4,147,418
4,148,423
4,149,909
4,150,1051
4,151,1267
4,152,1319
4,153,1529
4,154,791
4,155,780
4,156,1445
4,157,951
4,158,357
4,159,655
4,160,434
4,161,349
4,162,398
4,163,558
4,164,304
4,165,248
4,166,116
4,167,218
4,168,128
4,169,181
4,170,201
4,171,156
4,172,79
4,173,14
4,174,17
4,175,19
4,176,195
4,177,18
4,178,5
4,179,208
4,180,1
4,181,13
4,182,7
4,183,2
4,186,11
4,187,1
4,188,7
4,189,4
4,190,6
4,191,9
4,1025,2
4,192,1
4,193,2
4,194,2
4,195,2
4,196,2
4,199,4
4,200,2
4,202,7
4,203,2
4,205,9
4,208,9
4,210,7
4,211,6
4,213,2
4,214,2
4,215,2
4,216,13
4,1026,2
4,217,20
4,218,7
4,221,2
4,222,2
4,224,2
4,225,5
4,228,2
4,229,2
4,232,2
4,237,2
4,1027,2
4,250,4
4,251,5
4,252,6
4,253,4
4,254,2
4,259,2
4,262,1
4,274,3
4,275,2
4,286,2
4,287,3
4,290,4
4,291,4
4,293,1
4,297,1
4,307,2
4,339,2
4,349,1
4,351,1
4,354,2
4,357,2
4,72,27
4,365,2
4,382,2
4,384,6
4,388,2
4,405,2
4,424,2
4,672,2
4,705,2
4,764,2
4,766,2
4,778,2
4,824,4
4,826,12
4,872,2
4,925,2
4,935,2
4,970,2
4,1023,4
8,2,843267
8,4,254514
8,3,498017
8,6,56607
8,7,25818
8,13,2575
8,14,2318
8,8,12388
8,1,1960235
8,15,1860
8,5,122962
8,12,2828
8,20,1661
8,21,1625
8,16,1897
8,17,1856
8,22,1420
8,23,1404
8,32,643
8,33,612
8,9,7180
8,10,4938
8,18,1748
8,19,1617
8,26,1158
8,27,1036
8,34,479
8,35,474
8,38,298
8,40,199
8,42,140
8,49,56
8,11,3388
8,24,1252
8,25,1171
8,29,868
8,30,828
8,28,948
8,39,208
8,31,692
8,36,412
8,41,176
8,45,64
8,46,80
8,67,8
8,37,332
8,43,130
8,101,4
8,102,2
8,59,20
8,55,16
8,56,12
8,60,14
8,62,6
8,63,8
8,53,18
8,54,24
8,47,60
8,48,64
8,44,110
8,66,10
8,51,22
8,68,8
8,69,4
8,61,10
8,84,8
8,85,14
8,65,14
8,80,2
8,78,4
8,50,30
8,88,4
8,89,6
8,112,2
8,113,2
8,57,15
8,64,8
8,90,4
8,99,6
8,100,4
8,74,2
8,75,6
8,72,6
8,73,2
8,52,16
8,76,10
8,83,4
8,58,20
8,97,4
8,98,12
8,71,6
8,95,2
8,106,4
8,120,2
8,121,2
8,110,6
8,93,6
8,94,4
8,82,2
8,77,2
8,91,6
8,92,6
8,86,4
8,111,4
8,70,2
8,107,2
-1,1,25653
-1,2,6717
-1,3,5030
-1,4,3221
-1,7,387
-1,6,650
-1,5,1343
-1,9,257
-1,10,179
-1,13,88
-1,14,79
-1,15,485
-1,8,361
-1,11,111
-1,12,132
-1,17,407
-1,16,405
-1,19,165
-1,18,171
-1,22,43
-1,27,2
-1,28,36
-1,34,2
-1,39,52
-1,42,47
-1,45,2
-1,20,157
-1,21,75
-1,23,60
-1,25,23
-1,32,23
-1,36,35
-1,41,22
-1,24,8
-1,26,247
-1,29,14
-1,30,52
-1,33,6
-1,35,21
-1,38,2
-1,40,20
-1,43,98
-1,54,31
-1,58,37
-1,70,2
-1,75,6
-1,76,1
-1,77,3