time1.txt

Author: Michele Alessi
Date: 2024-01-18

Current matrix-type (i.e. text-embedding type: tfidf, wc) in use is: tfidf.
Matrix shape: (423, 14302) ---> (# docs: 423, # words: 14302)

SVD queries info:
for each query, the top 15 documents retrieved are listed in the form: doc_id, score

query_id, doc_id, score
1, 268, 0.8803894340843202
1, 257, 0.8657793975264101
1, 308, 0.8617109983062585
1, 326, 0.8615196358008862
1, 304, 0.8580552101305355
1, 323, 0.8478952311295535
1, 288, 0.7676511375133662
1, 334, 0.7487581441338648
1, 370, 0.6720837801687718
1, 359, 0.5416100057670216
1, 324, 0.5030587372030066
1, 395, 0.4977750057909783
1, 376, 0.4954977124296917
1, 349, 0.4373822654799608
1, 171, 0.43662150822916085
2, 334, 0.8965978039762134
2, 395, 0.843510047266412
2, 383, 0.8319272636121616
2, 304, 0.8217224599203645
2, 171, 0.8158403305189454
2, 370, 0.8127049141707579
2, 349, 0.7909964201992867
2, 211, 0.7293785358570164
2, 359, 0.7234921272414541
2, 419, 0.7221061487080797
2, 326, 0.7069449578958724
2, 257, 0.6883267126263645
2, 376, 0.6812489319151335
2, 268, 0.6177547766285894
2, 350, 0.6033920496836302
3, 211, 0.7472566224995821
3, 349, 0.7313201058608019
3, 12, 0.6714572749924879
3, 407, 0.6646544297218085
3, 29, 0.6260643005678953
3, 383, 0.5851965160054041
3, 350, 0.578655809173551
3, 171, 0.5672374378430682
3, 395, 0.5516295375629304
3, 30, 0.5215741704164926
3, 154, 0.5157829560398965
3, 252, 0.5063264649556524
3, 419, 0.49392353098617764
3, 106, 0.4821904200558005
3, 334, 0.4561599080023268
4, 395, 0.8677500354592054
4, 334, 0.8607572270298187
4, 383, 0.8605684627046012
4, 171, 0.8601537658276556
4, 349, 0.8274219608973421
4, 211, 0.8246883430496869
4, 304, 0.781660824770127
4, 419, 0.7800049161855512
4, 370, 0.7406938406550821
4, 376, 0.7103344525954678
4, 350, 0.6841796092954519
4, 359, 0.663761108907087
4, 326, 0.6430439080998477
4, 257, 0.6321932959087703
4, 30, 0.5970007099212394
5, 211, 0.8692380410777591
5, 349, 0.8344946283442729
5, 171, 0.7970512890023874
5, 395, 0.7542067341010674
5, 383, 0.7463850674023499
5, 12, 0.7384043729276949
5, 407, 0.7118562899060938
5, 350, 0.6840099601443993
5, 29, 0.6582763252147221
5, 419, 0.6582045965755859
5, 30, 0.6453164934216385
5, 334, 0.640323685174449
5, 304, 0.5867416634764978
5, 106, 0.5714237953960097
5, 376, 0.5454569991904755
6, 268, 0.8979888485593087
6, 323, 0.8961467677754155
6, 308, 0.8905574943032054
6, 257, 0.8890319601305111
6, 326, 0.8378036481036509
6, 288, 0.8373326644687739
6, 304, 0.8117320171626932
6, 324, 0.7270554250266212
6, 349, 0.6143689045762143
6, 334, 0.5979659022927897
6, 211, 0.5218035068995668
6, 171, 0.48812975175888534
6, 395, 0.46692817448125823
6, 383, 0.4475601857135312
6, 350, 0.40541056241282164
7, 49, 0.8669604952098902
7, 421, 0.8524782504568046
7, 384, 0.8384781538567683
7, 406, 0.7696344203352328
7, 153, 0.39133631840431526
7, 87, 0.3778944144790021
7, 169, 0.34681924654578516
7, 239, 0.34583623226701193
7, 170, 0.3078650168085623
7, 287, 0.292523018570947
7, 185, 0.2786065782558728
7, 175, 0.21891386823080639
7, 107, 0.2117340323010122
7, 232, 0.20840506188378705
7, 414, 0.19112818624991132
8, 358, 0.9568263980002595
8, 339, 0.8774373736051098
8, 61, 0.860518084902453
8, 156, 0.8018495119190181
8, 303, 0.7956847856364284
8, 155, 0.7951796817687963
8, 242, 0.7589848082645549
8, 269, 0.7161705146152674
8, 212, 0.5549765601560196
8, 36, 0.25370054743401577
8, 68, 0.21886415227580677
8, 258, 0.2183258400160307
8, 238, 0.18507161151750978
8, 198, 0.1846939370120668
8, 144, 0.16826775685633436
9, 269, 0.9111291772902066
9, 61, 0.8695482715288992
9, 339, 0.8599048316555852
9, 242, 0.8577293434836138
9, 358, 0.7981701458427082
9, 156, 0.7307083331951226
9, 198, 0.6718779523830062
9, 238, 0.647763831498901
9, 155, 0.5861151454691846
9, 303, 0.5080114882681365
9, 68, 0.18998815454649848
9, 127, 0.17986762859308786
9, 212, 0.1775749242157889
9, 46, 0.16529798138771848
9, 258, 0.12253096748868922
10, 358, 0.8854985898703877
10, 61, 0.8783025714740689
10, 156, 0.8592502640608236
10, 155, 0.8368650860453659
10, 303, 0.8152171663059137
10, 242, 0.8029373275807711
10, 269, 0.7762597710459151
10, 339, 0.6718103958487083
10, 258, 0.3151027414881592
10, 144, 0.3129619224904664
10, 167, 0.28760587528630943
10, 36, 0.2545584439551633
10, 75, 0.24759591272857878
10, 68, 0.24195796763140187
10, 212, 0.22945345284684437
11, 198, 0.8794637554620355
11, 238, 0.683738485699654
11, 269, 0.5471864539404584
11, 339, 0.5047786795471143
11, 61, 0.4126733841763903
11, 242, 0.39632488664684923
11, 316, 0.306633348648109
11, 358, 0.30443167423664697
11, 127, 0.3033810430124978
11, 272, 0.300272628618445
11, 46, 0.288288803036966
11, 142, 0.27462772516139705
11, 266, 0.2718589987124454
11, 156, 0.2576282928416934
11, 135, 0.25402784674898415
12, 61, 0.9284834701045078
12, 358, 0.9099683072789305
12, 269, 0.9002774984805163
12, 242, 0.8952722190113201
12, 156, 0.863984145691437
12, 339, 0.8056699391101481
12, 155, 0.7665327725090797
12, 303, 0.745743893191472
12, 198, 0.4632254684530427
12, 238, 0.4011156028458217
12, 36, 0.24743142453913064
12, 340, 0.2314890207474916
12, 258, 0.2208227193895251
12, 144, 0.21355562105995265
12, 212, 0.20683335706763814
13, 185, 0.7314972720189274
13, 170, 0.6898820028511505
13, 87, 0.6501349099928075
13, 169, 0.6472732184977583
13, 79, 0.6296868179891791
13, 287, 0.6146215526767975
13, 239, 0.5520600025241054
13, 350, 0.4585423467897657
13, 151, 0.4452027476526019
13, 153, 0.4057618694733835
13, 80, 0.3483450957658018
13, 32, 0.3396910722333776
13, 306, 0.32807169961941884
13, 228, 0.32760209636221105
13, 221, 0.3020934956868967
14, 279, 0.5993666285573277
14, 415, 0.5871240583129569
14, 74, 0.5472307811241648
14, 316, 0.5016795978965555
14, 336, 0.4217661722297088
14, 15, 0.4160804720449024
14, 275, 0.40307929319223174
14, 104, 0.401896073018128
14, 380, 0.4000088554759989
14, 266, 0.398417622987366
14, 367, 0.39070947046236076
14, 290, 0.3905342643976524
14, 206, 0.3862173840977056
14, 343, 0.3825221090676318
14, 382, 0.3812863568755686
15, 422, 0.9702578973140159
15, 118, 0.9562746073133889
15, 164, 0.9468202251583671
15, 94, 0.9319249098083254
15, 128, 0.8996169447414708
15, 166, 0.33957211094576084
15, 354, 0.275891135596215
15, 305, 0.25511471483485815
15, 419, 0.23262270848783603
15, 338, 0.22673142616957892
15, 331, 0.19424225094725953
15, 395, 0.18288421003178776
15, 196, 0.1705017838230654
15, 350, 0.16765478947567514
15, 372, 0.15756604981180872
16, 185, 0.8732016726213356
16, 170, 0.8489153929442678
16, 169, 0.8215189622064157
16, 87, 0.8120459003811998
16, 287, 0.7940561275347114
16, 239, 0.759461857778393
16, 153, 0.5714239596768022
16, 221, 0.4012050405148049
16, 350, 0.37982511788016315
16, 79, 0.3615749305273238
16, 405, 0.2641690107563511
16, 349, 0.2253209430511666
16, 374, 0.22336303509551356
16, 211, 0.1978948660592673
16, 344, 0.196827843726891
17, 303, 0.931077909280716
17, 358, 0.9147981319305559
17, 156, 0.8464370044650825
17, 155, 0.8355787108386559
17, 61, 0.8222418041732503
17, 242, 0.7369045576356994
17, 339, 0.6617704947400384
17, 269, 0.654459049092585
17, 36, 0.3533467152228996
17, 212, 0.3226635480161425
17, 144, 0.2953884708286008
17, 167, 0.2813218638743299
17, 258, 0.27815229052696394
17, 68, 0.2540824894182524
17, 75, 0.22439567793163506
18, 89, 0.5316937917185083
18, 254, 0.5267990509095168
18, 135, 0.5262406543685063
18, 247, 0.5031557236494897
18, 142, 0.5019418458221439
18, 402, 0.49660287444414536
18, 1, 0.47354963579233555
18, 228, 0.4436470933039416
18, 418, 0.4408780563683638
18, 133, 0.42694608128419836
18, 157, 0.42664022445516114
18, 24, 0.4240405371765428
18, 356, 0.4200270576794494
18, 292, 0.4127464781767509
18, 401, 0.3842000627681447
19, 195, 0.9385080444603588
19, 344, 0.9005786000706167
19, 267, 0.8870513652782663
19, 99, 0.8769353065724558
19, 10, 0.763266530666453
19, 100, 0.7558243644086798
19, 159, 0.5709329524908149
19, 234, 0.5685349118158455
19, 115, 0.5297259419914387
19, 121, 0.5055823332278555
19, 36, 0.4887057190995309
19, 86, 0.357681618938269
19, 194, 0.28582227849647873
19, 139, 0.28432345006834947
19, 181, 0.21857423730792452
20, 40, 0.5703703564706819
20, 292, 0.4658696662448782
20, 142, 0.4276446839173464
20, 159, 0.42662172190372377
20, 100, 0.39934400034234796
20, 387, 0.39635982313290397
20, 115, 0.38313380344822184
20, 121, 0.38041445165072113
20, 48, 0.35935580486045104
20, 266, 0.3460339624745118
20, 423, 0.3454930126707377
20, 356, 0.3332047985260415
20, 316, 0.3308207809004221
20, 139, 0.3287126000030622
20, 343, 0.31802506499919486
21, 338, 0.8633652134993612
21, 305, 0.7015306181896995
21, 107, 0.6356413275504322
21, 331, 0.6021175658162808
21, 318, 0.5909288716532944
21, 354, 0.5773015746936947
21, 196, 0.5585053136905723
21, 236, 0.5295416489044564
21, 230, 0.49765438365781206
21, 227, 0.4555859669026072
21, 372, 0.41979621753506186
21, 218, 0.38703069685639485
21, 337, 0.3561671298039878
21, 78, 0.32829888809439783
21, 76, 0.3134032091038745
22, 356, 0.8170946899453766
22, 142, 0.7123775858379081
22, 347, 0.6864916416719563
22, 197, 0.6048912500346977
22, 388, 0.5968377398838816
22, 11, 0.587099564591763
22, 67, 0.5595128927403338
22, 41, 0.5136006603471943
22, 285, 0.5041476709183098
22, 50, 0.5017761947512233
22, 34, 0.4797073641113041
22, 25, 0.459587315577376
22, 5, 0.4488586600954509
22, 319, 0.43954688901980327
22, 236, 0.37109215465008644
23, 423, 0.5618098312844316
23, 409, 0.5307966059186787
23, 40, 0.41826125494458855
23, 142, 0.38745665342208824
23, 160, 0.3515065383788846
23, 100, 0.33618943337915963
23, 159, 0.33326577417947784
23, 292, 0.3291788467285622
23, 115, 0.32370901892119713
23, 294, 0.3097168571353452
23, 377, 0.3057636083382581
23, 156, 0.3040889429297595
23, 258, 0.3022238703892479
23, 215, 0.30037135465064674
23, 151, 0.2985688542269135
24, 318, 0.8427519968177126
24, 236, 0.7217890799417024
24, 338, 0.6012864005287134
24, 107, 0.5626679945120319
24, 78, 0.4338664626138565
24, 218, 0.3946926868254869
24, 230, 0.37747641875522187
24, 227, 0.3721688351642638
24, 399, 0.3585674888266198
24, 109, 0.3491639653124175
24, 66, 0.33554580588510285
24, 361, 0.3156730394303541
24, 416, 0.2906888277560513
24, 258, 0.2905431998570468
24, 305, 0.268301113184048
25, 194, 0.7175794967499662
25, 246, 0.6579197889438805
25, 342, 0.6513335999139691
25, 278, 0.6372936560081046
25, 139, 0.6056743636142229
25, 121, 0.6052128532275934
25, 159, 0.5877997795052763
25, 115, 0.5278949986598093
25, 237, 0.5060701490338692
25, 100, 0.49391564583043646
25, 181, 0.4724366663344843
25, 86, 0.4525326198495829
25, 138, 0.44689009683280667
25, 377, 0.43140419948604003
25, 210, 0.4122316129430518
26, 102, 0.49758500538871486
26, 266, 0.46380875747434164
26, 316, 0.4058052895400104
26, 332, 0.3809418021489464
26, 378, 0.37931702302693515
26, 417, 0.35076185940811555
26, 272, 0.3446310741896851
26, 149, 0.3288929715620435
26, 207, 0.327612928828994
26, 411, 0.3201493773591638
26, 40, 0.31889446459994336
26, 142, 0.3182603604781794
26, 265, 0.31382547640003444
26, 343, 0.3124263163028958
26, 418, 0.30814634869425256
27, 306, 0.515062295197825
27, 295, 0.5001875980191802
27, 111, 0.46195622336132763
27, 378, 0.4439137067456271
27, 228, 0.4437325307506776
27, 418, 0.4028825508989068
27, 79, 0.38185626798759814
27, 38, 0.3803070166239539
27, 151, 0.3799363311061932
27, 47, 0.3774936930140815
27, 401, 0.3724878165128238
27, 133, 0.36387417090510416
27, 247, 0.36275981419089864
27, 202, 0.3583311920201592
27, 303, 0.3517999804529078
28, 265, 0.6084621220532596
28, 150, 0.6018306767547681
28, 387, 0.5890109778757971
28, 325, 0.5836224858251138
28, 207, 0.5691754092867064
28, 81, 0.5510766195909258
28, 189, 0.5206251910327414
28, 332, 0.48643713204980893
28, 390, 0.4740291698780182
28, 225, 0.4241171559812291
28, 219, 0.4195680508515962
28, 277, 0.4135736800900766
28, 360, 0.4129205262114127
28, 369, 0.40347247050738244
28, 243, 0.39858048682401315
29, 192, 0.9374277284628347
29, 341, 0.8490367208814701
29, 158, 0.8194040587511708
29, 329, 0.7619949142371232
29, 105, 0.7337564279132862
29, 364, 0.23101701576577627
29, 184, 0.22898530682327103
29, 418, 0.20997155304679962
29, 224, 0.20101759341029754
29, 292, 0.16489949358988776
29, 315, 0.15479960531156522
29, 367, 0.14330561400089312
29, 157, 0.14226132949943007
29, 383, 0.1386937879340617
29, 276, 0.130234624581731
30, 271, 0.9100837919050703
30, 261, 0.9097676536146347
30, 253, 0.7642687404558851
30, 182, 0.7191283107600663
30, 20, 0.636475175287778
30, 229, 0.6110529973432522
30, 293, 0.5504859951199355
30, 122, 0.5466975550062168
30, 32, 0.4992997047013108
30, 273, 0.4672042019386605
30, 71, 0.4644556969751601
30, 325, 0.45183339749234563
30, 302, 0.43634089506362256
30, 379, 0.4352771797320286
30, 281, 0.4273807209981889
31, 316, 0.9017905109831135
31, 266, 0.8732918966570279
31, 300, 0.8302046528448899
31, 74, 0.6359926009057143
31, 380, 0.6058709213076383
31, 415, 0.6003627901564722
31, 138, 0.5830020197683274
31, 175, 0.5379778240969184
31, 102, 0.5204742341772407
31, 98, 0.4613999607238194
31, 336, 0.41715703332152204
31, 82, 0.4156124245084028
31, 103, 0.4028257022152418
31, 298, 0.38810957581533195
31, 364, 0.38003983175581046
32, 15, 0.6462435647657874
32, 316, 0.6393863309107783
32, 279, 0.6321895408176909
32, 306, 0.6214410257040346
32, 415, 0.6194098620479115
32, 295, 0.5937336469379374
32, 367, 0.5840199308442767
32, 74, 0.5551498224933346
32, 102, 0.5225510331916575
32, 266, 0.5140100702703617
32, 290, 0.5013052767119974
32, 315, 0.4405337203520592
32, 385, 0.43567244406868944
32, 113, 0.4296815606628608
32, 380, 0.42295339284985933
33, 251, 0.8503151193147558
33, 160, 0.5535132593956622
33, 335, 0.5019004056911407
33, 332, 0.3435668052140578
33, 66, 0.3146276461771479
33, 259, 0.252274710783728
33, 125, 0.25191852093935774
33, 361, 0.24485730792746377
33, 326, 0.24078479582338225
33, 286, 0.23452987259765207
33, 110, 0.2265896593698724
33, 91, 0.22457408383800276
33, 283, 0.22408992743957667
33, 308, 0.22147309053024825
33, 255, 0.2126369773320941
34, 294, 0.5888350194962015
34, 327, 0.4259180013057778
34, 32, 0.4101917991506674
34, 114, 0.4030919333948985
34, 328, 0.3880953228752304
34, 238, 0.36856540191670956
34, 398, 0.3601025224167613
34, 371, 0.35192327602605233
34, 93, 0.347295297740091
34, 322, 0.3426792836315262
34, 77, 0.33474858952027625
34, 404, 0.32940783830857123
34, 401, 0.31503108453700235
34, 131, 0.3042465020140187
34, 244, 0.29143135613089544
35, 318, 0.9285731007577168
35, 236, 0.7785483481002844
35, 338, 0.5728875068689971
35, 107, 0.4450355401925509
35, 78, 0.3720671551203775
35, 218, 0.3282512204028083
35, 399, 0.3056282542002331
35, 230, 0.287222697756571
35, 227, 0.28056342921353566
35, 416, 0.25086373242016813
35, 80, 0.24465647219462167
35, 66, 0.22638569285227414
35, 259, 0.2127073732710836
35, 305, 0.21195209472835905
35, 132, 0.2096932285134115
36, 217, 0.7675962018482555
36, 218, 0.5707330995419186
36, 78, 0.37213504518258245
36, 416, 0.3352035883571439
36, 276, 0.3145476513294966
36, 200, 0.299279400851766
36, 178, 0.2691704769678052
36, 362, 0.257999315156977
36, 286, 0.24926716756679104
36, 27, 0.23724395436971915
36, 213, 0.2309802442517782
36, 33, 0.22891510690828126
36, 108, 0.2231627536595865
36, 107, 0.2179905845894903
36, 359, 0.21581545339373642
37, 24, 0.5757486588490879
37, 401, 0.5735654743695585
37, 378, 0.5444164827251458
37, 133, 0.5040468476312301
37, 404, 0.47002951955226135
37, 367, 0.45808312748290847
37, 102, 0.44270436546629444
37, 418, 0.43629709392802213
37, 295, 0.4231348192015876
37, 306, 0.37899621748662804
37, 341, 0.36616172365300237
37, 129, 0.341094548101882
37, 315, 0.33679655410146
37, 292, 0.32391763462739737
37, 114, 0.31795155732769237
38, 174, 0.7641069214499943
38, 48, 0.7216577973865699
38, 228, 0.6235446915298645
38, 89, 0.6181386084755178
38, 53, 0.5909251254804113
38, 202, 0.5880984245781916
38, 135, 0.5162842272291791
38, 47, 0.5078665734690005
38, 402, 0.4849948166825744
38, 1, 0.4766862433439821
38, 254, 0.4591303149322347
38, 157, 0.42496650869476027
38, 93, 0.38666170084318546
38, 152, 0.37678929384587484
38, 313, 0.37061634233133484
39, 360, 0.9166040510455835
39, 277, 0.9161641407512249
39, 22, 0.8668270620119934
39, 394, 0.843903248794234
39, 219, 0.8010300148473732
39, 73, 0.7743488279059917
39, 173, 0.76061099254886
39, 189, 0.7511094191234511
39, 265, 0.6942869705893819
39, 134, 0.478311969785798
39, 255, 0.4559108933154393
39, 150, 0.4531747887699468
39, 81, 0.38079827111444864
39, 332, 0.38057290905348634
39, 387, 0.3794226246927192
40, 272, 0.7139543460879091
40, 39, 0.683556879825653
40, 207, 0.6752698827704359
40, 71, 0.6390232010612361
40, 182, 0.6250519763346175
40, 148, 0.6041459487608708
40, 369, 0.5826515472407602
40, 390, 0.5701769370437431
40, 20, 0.5676768939631346
40, 58, 0.5579912473577875
40, 332, 0.5478496211198609
40, 32, 0.5432464585407968
40, 325, 0.5391330024170325
40, 379, 0.5279006814105218
40, 134, 0.4954759989555263
41, 54, 0.7733378485000216
41, 69, 0.7661627513403694
41, 23, 0.759334654365712
41, 47, 0.7321024673034864
41, 215, 0.7289604229358183
41, 284, 0.7036782536399301
41, 157, 0.6965765031676876
41, 291, 0.684898764433694
41, 53, 0.6833854399166374
41, 116, 0.6358008001383361
41, 351, 0.6267091395763565
41, 260, 0.6213291855187296
41, 1, 0.6181246054453259
41, 90, 0.5722929960355974
41, 231, 0.5439190792170919
42, 157, 0.8110165786090925
42, 1, 0.7793999962873794
42, 47, 0.7714779953235746
42, 54, 0.7635160196807836
42, 53, 0.7541033572477751
42, 23, 0.7368482814196216
42, 174, 0.7234852015719582
42, 89, 0.6412505448111333
42, 69, 0.6141232932228673
42, 291, 0.5955172570861476
42, 228, 0.5869779069921925
42, 402, 0.5855732664138503
42, 135, 0.5697153247448961
42, 284, 0.5686234691169799
42, 215, 0.555440018289612
43, 329, 0.89804475253198
43, 341, 0.8657992412643806
43, 192, 0.601510662816928
43, 158, 0.5850804543210163
43, 367, 0.55307131818866
43, 113, 0.48963526897378373
43, 385, 0.4821814723444167
43, 290, 0.4638655513321844
43, 15, 0.45076298694704764
43, 105, 0.4399522283535467
43, 279, 0.437906715169254
43, 306, 0.4260427105052275
43, 295, 0.39613285985290275
43, 186, 0.3950253889808285
43, 38, 0.354820721857344
44, 295, 0.7314690204907439
44, 306, 0.6874467889560945
44, 315, 0.5972724780676537
44, 38, 0.5592147821146967
44, 102, 0.46407721181378037
44, 82, 0.407035673825994
44, 316, 0.2768110739531439
44, 59, 0.2603723953776492
44, 299, 0.24864096824972295
44, 79, 0.24751686815205035
44, 46, 0.2444685743380445
44, 378, 0.23706255936351753
44, 272, 0.2349839451935764
44, 266, 0.23130271674985514
44, 232, 0.22895219345123227
45, 20, 0.671017401356599
45, 32, 0.6582337623233255
45, 229, 0.6095428360072943
45, 379, 0.5876380385134149
45, 261, 0.5755077635699056
45, 182, 0.575159228905221
45, 271, 0.5571472193515584
45, 365, 0.48798826479229784
45, 272, 0.48709116965947225
45, 262, 0.47756822743829386
45, 54, 0.45952020561114226
45, 71, 0.44577188434744514
45, 39, 0.4421336836104005
45, 148, 0.43970012359164595
45, 247, 0.4373510609909607
46, 47, 0.8235140581426286
46, 202, 0.7728147767088244
46, 54, 0.7640990247959402
46, 53, 0.7194136581387965
46, 151, 0.7061583597972473
46, 80, 0.6628225015162557
46, 23, 0.6538548033784066
46, 291, 0.6492451644122734
46, 20, 0.5501443570473231
46, 69, 0.5486139243358433
46, 215, 0.5338721335214699
46, 284, 0.4957185170184593
46, 260, 0.49182104367799734
46, 351, 0.45300548184059525
46, 348, 0.4522655521066026
47, 174, 0.8140266190025975
47, 48, 0.7598254910686926
47, 53, 0.6229227450957959
47, 202, 0.585383052916795
47, 89, 0.5504777741222042
47, 228, 0.5450338769380759
47, 47, 0.5377834376461766
47, 1, 0.4621943968758906
47, 135, 0.4564299185633081
47, 402, 0.4399354466914735
47, 313, 0.41648011685196895
47, 254, 0.40599182481761414
47, 93, 0.40477080785048475
47, 54, 0.39038864146953967
47, 157, 0.3826968767484144
48, 46, 0.5748998527854127
48, 420, 0.49094888139923176
48, 31, 0.48748238980415165
48, 251, 0.4758217423695179
48, 280, 0.3613228272640026
48, 89, 0.31777523187341694
48, 187, 0.3134416250452992
48, 295, 0.3053151257337644
48, 23, 0.3044686069160224
48, 402, 0.2977435754620004
48, 315, 0.2968817692534696
48, 272, 0.2808934472050147
48, 135, 0.27645404186103545
48, 174, 0.2653020662803328
48, 160, 0.2532585508382182
49, 183, 0.9183432151312259
49, 56, 0.9054138017143116
49, 103, 0.8939157741459348
49, 205, 0.8104279380298139
49, 150, 0.6003488029847225
49, 312, 0.562407141755127
49, 300, 0.5384122385192334
49, 291, 0.42511242795093457
49, 81, 0.3781673974806022
49, 266, 0.35074964393049823
49, 316, 0.34978610600721327
49, 378, 0.34929156740540374
49, 380, 0.3173111515621346
49, 175, 0.2791448164908828
49, 74, 0.27448518860616883
50, 402, 0.7276736289535255
50, 157, 0.7239941156999583
50, 364, 0.6291474349527991
50, 418, 0.5962306220659211
50, 228, 0.5397131931632398
50, 89, 0.5335677743769155
50, 1, 0.5251491603566395
50, 135, 0.5077900595566277
50, 133, 0.4762502131019258
50, 53, 0.4079708526080916
50, 24, 0.3883408901870756
50, 254, 0.3654370024152392
50, 47, 0.34655230234279133
50, 247, 0.3415570583001676
50, 283, 0.3349522456313419
51, 186, 0.6847803210357536
51, 113, 0.6475720888140755
51, 2, 0.6239937087214874
51, 276, 0.6163534552810556
51, 367, 0.6150174215586025
51, 15, 0.6102149666689111
51, 385, 0.5702130495522514
51, 329, 0.5396531305198882
51, 306, 0.5313464765314525
51, 290, 0.5140560910666252
51, 38, 0.4972130191334716
51, 295, 0.4760858956590414
51, 279, 0.47109973297594415
51, 172, 0.46299897650727556
51, 404, 0.459223667344927
52, 186, 0.6902960795096981
52, 276, 0.6706594520369222
52, 2, 0.6243021984937004
52, 15, 0.5951121783819568
52, 113, 0.5410223475499555
52, 367, 0.5226254732148089
52, 290, 0.48379932688574084
52, 385, 0.4794917523628453
52, 279, 0.47481311772069373
52, 329, 0.47446528921709985
52, 114, 0.46670423508783615
52, 341, 0.44701031323782187
52, 190, 0.4224687216313279
52, 306, 0.42233273905264884
52, 172, 0.41426927706437255
53, 295, 0.8122757858063524
53, 306, 0.7883118987554988
53, 38, 0.6815623059680245
53, 315, 0.6312784562193622
53, 367, 0.5063019392806696
53, 15, 0.46223473164252393
53, 290, 0.4466600114711859
53, 402, 0.401424838221843
53, 279, 0.3991119538134457
53, 186, 0.39178982206108476
53, 329, 0.38771963473350524
53, 113, 0.3723875241557148
53, 111, 0.3695619812938856
53, 2, 0.3629536446271155
53, 418, 0.35839804949588433
54, 315, 0.7473928926809941
54, 295, 0.7396688004506458
54, 306, 0.6892142486696492
54, 38, 0.6761225383709337
54, 363, 0.6175946284450267
54, 343, 0.49939570706939773
54, 290, 0.46017631091988115
54, 8, 0.4294687688110844
54, 411, 0.41304540667473816
54, 82, 0.39167505164772215
54, 378, 0.37939580863227684
54, 135, 0.3444677869534539
54, 102, 0.33373801048986085
54, 79, 0.33348218714052663
54, 199, 0.33209345061515055
55, 135, 0.8689952637153355
55, 89, 0.8445475405445135
55, 157, 0.8004978196429356
55, 402, 0.7935165031881065
55, 1, 0.7504655260597517
55, 254, 0.7178224481737205
55, 228, 0.6551283835547993
55, 247, 0.6385815299635819
55, 364, 0.5536666457608441
55, 38, 0.4733324508630756
55, 418, 0.4244056151395906
55, 295, 0.33742517811917533
55, 23, 0.31207227120980696
55, 174, 0.3094725263232634
55, 54, 0.30427811298537105
56, 418, 0.49921363640191924
56, 382, 0.4717505552057292
56, 38, 0.42987812199792613
56, 216, 0.41877177502953605
56, 378, 0.41697174902320916
56, 204, 0.39718445797699825
56, 296, 0.3933821401603141
56, 295, 0.3667098309445629
56, 315, 0.3603012280004769
56, 250, 0.3506610966246829
56, 289, 0.34703101894450616
56, 135, 0.34632471011010235
56, 157, 0.3415992624558673
56, 399, 0.33846316793866943
56, 95, 0.337104323736356
57, 38, 0.7295723317372746
57, 295, 0.7117033622676076
57, 306, 0.7032860513782007
57, 315, 0.6507690160642995
57, 363, 0.45106560729951084
57, 82, 0.43896542769362845
57, 79, 0.4178239107172117
57, 59, 0.3846996782671921
57, 232, 0.3541233169034174
57, 350, 0.2880042566819281
57, 291, 0.25569289627503605
57, 57, 0.1977097639482468
57, 348, 0.17448952285941915
57, 46, 0.14600628397653842
57, 143, 0.1438618285796143
58, 135, 0.8963554137050557
58, 89, 0.8491371866351601
58, 1, 0.7853239133164526
58, 254, 0.7705897893680069
58, 157, 0.7373178261941006
58, 247, 0.6754903359752839
58, 402, 0.6458311508970999
58, 228, 0.5857335131705286
58, 38, 0.4949204745531469
58, 23, 0.3204102198361449
58, 295, 0.29924571148039036
58, 54, 0.2951640318510754
58, 364, 0.29294084860791664
58, 174, 0.2820306623668225
58, 420, 0.2784440419980565
59, 79, 0.8519427966964002
59, 306, 0.615138339920851
59, 350, 0.5785804002055522
59, 38, 0.473870028173575
59, 295, 0.4666677595103175
59, 292, 0.3440420508477465
59, 228, 0.34401197797488264
59, 315, 0.3325355143252711
59, 151, 0.2934657115762534
59, 185, 0.2933443142061033
59, 68, 0.28691923698593597
59, 80, 0.2854654631312415
59, 418, 0.27450528367652
59, 280, 0.2595104607400309
59, 170, 0.24693548087903924
60, 38, 0.7213660593477952
60, 295, 0.7076811513799297
60, 306, 0.7019941384961088
60, 315, 0.6655822312001964
60, 79, 0.43762139179627857
60, 363, 0.4344555682808679
60, 82, 0.41402140085534606
60, 232, 0.38717339104367116
60, 59, 0.3649317915654119
60, 350, 0.307815848592866
60, 291, 0.2555157446059632
60, 102, 0.1974246033845588
60, 348, 0.19648564215996048
60, 57, 0.1831697901725249
60, 8, 0.15213393356422103
61, 135, 0.8079841068381175
61, 89, 0.779692807813405
61, 1, 0.7064005297254307
61, 254, 0.6618435543926436
61, 157, 0.6352343393119886
61, 228, 0.6320572083224012
61, 402, 0.6228216331569566
61, 247, 0.5400639511817368
61, 38, 0.43152079405812926
61, 363, 0.4150049893381212
61, 82, 0.4045115451913769
61, 174, 0.3976977751914675
61, 272, 0.3874884033613688
61, 295, 0.38625930494974736
61, 315, 0.33919005424611165
62, 233, 0.7486891718209936
62, 289, 0.45306972441558546
62, 296, 0.4489328472696228
62, 145, 0.4036814339357704
62, 204, 0.39413048097588704
62, 111, 0.37956473300623755
62, 307, 0.3670865856040139
62, 290, 0.3566892617175948
62, 250, 0.3518212649265882
62, 378, 0.35057731467016684
62, 115, 0.3487492742734751
62, 275, 0.3378574719291713
62, 104, 0.33749779970402494
62, 172, 0.33493872844011385
62, 95, 0.32733132663189235
63, 159, 0.9096359117302009
63, 121, 0.9051973652315248
63, 194, 0.8568997268533632
63, 115, 0.8368369813781386
63, 210, 0.8155357743463914
63, 100, 0.7983869575764618
63, 224, 0.7669318643707504
63, 234, 0.7495407648446252
63, 139, 0.7448762761676333
63, 377, 0.7294423301658775
63, 309, 0.7076335462850352
63, 86, 0.6752414440976341
63, 181, 0.5397334903533493
63, 10, 0.5271825033599195
63, 386, 0.5179810867248468
64, 328, 0.9259561759786485
64, 322, 0.9060441473207914
64, 371, 0.8422778229426555
64, 243, 0.8315726620507585
64, 420, 0.5624615155786918
64, 46, 0.551745182583358
64, 31, 0.36968741426874063
64, 92, 0.3333399433802646
64, 379, 0.3055339688282136
64, 365, 0.3032972773471469
64, 261, 0.2685024894323618
64, 332, 0.2373659495872026
64, 182, 0.23439237482747427
64, 271, 0.22856741200883698
64, 32, 0.22527588128940382
65, 246, 0.7218503679305991
65, 342, 0.6888986305712822
65, 278, 0.6753094696812177
65, 194, 0.5343343694103022
65, 237, 0.5253202203845907
65, 309, 0.5027086908143077
65, 138, 0.4959430896839195
65, 35, 0.47100696642561185
65, 377, 0.3837134187605961
65, 121, 0.37887186857237887
65, 100, 0.3780651255614517
65, 234, 0.3606822657321024
65, 210, 0.3605965563784947
65, 224, 0.3422731737706815
65, 119, 0.33586168711791226
66, 377, 0.7651279995256951
66, 115, 0.7319576363042067
66, 386, 0.6905366497600022
66, 194, 0.6747517891607518
66, 309, 0.6647987523670966
66, 210, 0.6581013869461146
66, 159, 0.6484967634236771
66, 121, 0.6267856798899015
66, 70, 0.6148914035713393
66, 224, 0.6099141135579351
66, 100, 0.6011351645862004
66, 86, 0.5897142729567534
66, 234, 0.49330588828908595
66, 139, 0.4787683944896648
66, 35, 0.4238305732305855
67, 7, 0.9819145190450356
67, 63, 0.9690859206816649
67, 184, 0.9628392499984701
67, 346, 0.8527373057160558
67, 420, 0.4334071231009222
67, 46, 0.345359405465574
67, 8, 0.28773976180146293
67, 31, 0.2260572401586942
67, 371, 0.21955815107242804
67, 92, 0.17466428313251986
67, 322, 0.14645300370984463
67, 328, 0.13605995710765192
67, 411, 0.10239744797898968
67, 192, 0.09952595981036969
67, 280, 0.09371785351848541
68, 46, 0.6879991029940308
68, 31, 0.6562724546646277
68, 307, 0.6220001078559525
68, 289, 0.6069989495655566
68, 275, 0.606709846928491
68, 420, 0.5743570460253417
68, 290, 0.5507404519909979
68, 343, 0.5431915230311759
68, 280, 0.5400043608815351
68, 296, 0.5118709921210014
68, 68, 0.5021984600187869
68, 279, 0.46547169841421915
68, 104, 0.4648714814663141
68, 111, 0.41164216366498046
68, 352, 0.3947416123648052
69, 377, 0.9592254489243202
69, 386, 0.8665874382644363
69, 210, 0.7497306743042875
69, 309, 0.7159905819389272
69, 194, 0.7129473113667399
69, 115, 0.7048782363231394
69, 159, 0.667630549244087
69, 224, 0.6627094150120635
69, 121, 0.6313953115884646
69, 70, 0.626352357979057
69, 100, 0.6036281128835689
69, 234, 0.5605276535009072
69, 86, 0.5460638478316354
69, 139, 0.4603486701625796
69, 35, 0.3764690868763284
70, 226, 0.7180290673776559
70, 137, 0.6911195983444819
70, 264, 0.511712922197462
70, 245, 0.5021239671535774
70, 140, 0.4880526024307589
70, 225, 0.40971862017670635
70, 42, 0.36238716350752415
70, 115, 0.3566186126459759
70, 413, 0.35631135725314134
70, 26, 0.3556244684887503
70, 301, 0.3511481718494454
70, 9, 0.344950346873857
70, 168, 0.3318594485710193
70, 10, 0.29742202049363325
70, 139, 0.29279180083927975
71, 117, 0.8002381871147863
71, 258, 0.5092600886873085
71, 109, 0.48866180489687105
71, 241, 0.39408236172659117
71, 408, 0.3882738855315381
71, 36, 0.3410957397068787
71, 417, 0.3297312970649959
71, 8, 0.3156127542344293
71, 19, 0.29761895032935537
71, 314, 0.29281891871940624
71, 240, 0.2922631744524031
71, 185, 0.289777395400385
71, 403, 0.27183019994122404
71, 31, 0.2699374267223728
71, 107, 0.26733545233059813
72, 305, 0.924296924485539
72, 354, 0.8451484658538344
72, 331, 0.779546305240776
72, 338, 0.7647329896796029
72, 196, 0.7249503478594636
72, 107, 0.5330998749237847
72, 372, 0.4740838870838988
72, 389, 0.4480006439549409
72, 337, 0.4292868155699153
72, 76, 0.4072929439592831
72, 230, 0.3880679543081771
72, 227, 0.3282464387938958
72, 400, 0.31882158021703955
72, 414, 0.2969680160281358
72, 422, 0.2734892690157525
73, 209, 0.9384591432923733
73, 43, 0.936225288415698
73, 320, 0.8736222540937582
73, 37, 0.4792897692054896
73, 236, 0.2703021571617953
73, 168, 0.24515479374636814
73, 6, 0.16589893349296264
73, 132, 0.15967020416283412
73, 91, 0.1498107067699179
73, 351, 0.1424009653407433
73, 159, 0.14002581157934155
73, 65, 0.13630634805592215
73, 121, 0.1329473657062343
73, 17, 0.12704932098645455
73, 2, 0.1126457351741981
74, 285, 0.9750314629277576
74, 41, 0.9536541345483313
74, 34, 0.9487193009249579
74, 25, 0.9287523492111972
74, 5, 0.90323742755689
74, 67, 0.8244295353921123
74, 50, 0.7625193382990364
74, 11, 0.6383036552111688
74, 356, 0.626726113873456
74, 142, 0.5432955845353088
74, 347, 0.5129031823524817
74, 180, 0.4021431258059827
74, 259, 0.2953566000415634
74, 388, 0.22773524895639627
74, 319, 0.19005451988204466
75, 388, 0.7716983561976334
75, 240, 0.6312436226707141
75, 297, 0.6227201678811809
75, 142, 0.5237773219798798
75, 356, 0.5141293973984064
75, 197, 0.5122112519373095
75, 310, 0.45819482263595535
75, 17, 0.4484599967181778
75, 347, 0.43251211977798837
75, 293, 0.40204688860898763
75, 204, 0.4005003180453896
75, 57, 0.39968155261488203
75, 298, 0.3977966833273797
75, 250, 0.3904452472617635
75, 220, 0.33406299149413016
76, 230, 0.7723879617050998
76, 227, 0.7169848046245622
76, 107, 0.6897685534171988
76, 338, 0.6765774918649498
76, 78, 0.5109058435870172
76, 218, 0.5086543527105662
76, 318, 0.4543879315059021
76, 258, 0.4376438779328353
76, 416, 0.39828817916676507
76, 236, 0.3888642000397478
76, 305, 0.38449543761887917
76, 372, 0.3719249306307546
76, 259, 0.3319762652454437
76, 167, 0.32748737631191666
76, 68, 0.3120550901908399
77, 14, 0.6317647178855379
77, 338, 0.5678348691909815
77, 107, 0.5677868690045534
77, 368, 0.5057132110266094
77, 318, 0.5039422490348935
77, 218, 0.49997566742235167
77, 78, 0.42319050975667843
77, 177, 0.40861373138810825
77, 178, 0.38477081739161906
77, 65, 0.36748713932678684
77, 416, 0.3602693823892104
77, 227, 0.3576846865545877
77, 230, 0.3555955127966207
77, 236, 0.33759770078549295
77, 305, 0.30591143900349604
78, 258, 0.9280598871628125
78, 241, 0.8306773084700576
78, 408, 0.8269289709428141
78, 109, 0.8243684962627773
78, 314, 0.7359871291044675
78, 117, 0.7148446140097953
78, 107, 0.5928863613485249
78, 409, 0.3908584864531363
78, 167, 0.354163374085624
78, 144, 0.3039880087359349
78, 36, 0.3023629259533967
78, 338, 0.29714105272843333
78, 423, 0.26290897394912366
78, 196, 0.2617024287331955
78, 230, 0.23306193658766106
79, 320, 0.8795195887620437
79, 209, 0.8654462024634745
79, 43, 0.8556156768915045
79, 37, 0.4094756629239781
79, 332, 0.23963892772818254
79, 391, 0.21140863534768245
79, 168, 0.20908505654825474
79, 236, 0.193337249483288
79, 39, 0.19200476779209713
79, 325, 0.1902532123722299
79, 159, 0.18788814814063795
79, 150, 0.18597104404808376
79, 189, 0.18418684645407624
79, 413, 0.18294925153555075
79, 286, 0.1797900628193313
80, 305, 0.6183390332742549
80, 68, 0.5609225843515813
80, 230, 0.5019283798127115
80, 338, 0.4937365003023039
80, 307, 0.4920799313665007
80, 354, 0.489380923983957
80, 337, 0.4700462947979452
80, 275, 0.4574639807990121
80, 280, 0.45123479077396766
80, 196, 0.4499683323000494
80, 107, 0.4390111494081928
80, 296, 0.41814331065033516
80, 279, 0.4138699791818414
80, 227, 0.4122510773140238
80, 290, 0.4008550269202963
81, 289, 0.6829046126126905
81, 307, 0.67528186713987
81, 275, 0.6664186922927514
81, 296, 0.6384668260209128
81, 290, 0.6247074139296362
81, 280, 0.6031583658075235
81, 343, 0.5497982129100186
81, 378, 0.5200743999688741
81, 104, 0.514735840429442
81, 279, 0.4964111162994628
81, 111, 0.46190603159252464
81, 292, 0.43499615348323495
81, 68, 0.4200060633788452
81, 353, 0.4139943399064871
81, 401, 0.40530962535362497
82, 343, 0.7313363608661312
82, 289, 0.6833556796911868
82, 275, 0.6755398677031695
82, 296, 0.6383255180830697
82, 307, 0.638132482975956
82, 290, 0.6266156971559976
82, 8, 0.5401441050672023
82, 104, 0.515812134448605
82, 411, 0.5020162055033597
82, 280, 0.4931867417169061
82, 216, 0.48624279704723566
82, 279, 0.4563126274612947
82, 31, 0.4387810623535584
82, 315, 0.4387396268928715
82, 111, 0.436447239301568
83, 289, 0.7156555026426019
83, 307, 0.6443494380883922
83, 296, 0.6382104816200056
83, 275, 0.6316048015549345
83, 290, 0.5619153809778055
83, 343, 0.546934562521095
83, 353, 0.5319338561683923
83, 280, 0.517043237625221
83, 68, 0.5059400323918368
83, 111, 0.5057072173236024
83, 238, 0.49613041335762736
83, 315, 0.4551423746356217
83, 216, 0.4455100207286694
83, 279, 0.4207789449905632
83, 31, 0.4078839295787688


AutoEncoder queries info:
for each query, the top 15 documents retrieved are listed in the form: doc_id, score

query_id, doc_id, score
1, 117, 0.9992403756091359
1, 419, 0.9990798576098086
1, 323, 0.9990783762187379
1, 249, 0.9990707197084678
1, 204, 0.9990698421211982
1, 359, 0.9990551549048989
1, 189, 0.9990538344446847
1, 207, 0.9990326550671806
1, 392, 0.9990317776084269
1, 171, 0.9990279603879395
1, 300, 0.9990276791184974
1, 75, 0.9990253825087384
1, 337, 0.9990234466381126
1, 152, 0.9990156276676674
1, 382, 0.9990119659108347
2, 395, 0.9991021623179502
2, 308, 0.9990931814128026
2, 334, 0.9990898310171119
2, 30, 0.9990595313548392
2, 370, 0.9990432111526042
2, 171, 0.9990422239451933
2, 230, 0.9990311742747433
2, 268, 0.9990239196913644
2, 326, 0.999017404762389
2, 257, 0.9990137615264497
2, 304, 0.9989928577292412
2, 77, 0.9989917553865261
2, 116, 0.998971626973877
2, 26, 0.998963736890331
2, 323, 0.9989557167493917
3, 170, 0.9993129656932414
3, 357, 0.9992888012008423
3, 81, 0.9992207813012428
3, 350, 0.9992163228078128
3, 45, 0.9992106312686321
3, 193, 0.9992044535873414
3, 136, 0.9992022298519267
3, 36, 0.999183417296744
3, 152, 0.9991778027368892
3, 105, 0.9991777420252499
3, 342, 0.9991759827333555
3, 40, 0.9991747865514742
3, 12, 0.9991735885746951
3, 325, 0.9991660907670505
3, 382, 0.9991590951582958
4, 171, 0.9991964230249628
4, 215, 0.9991848962211557
4, 70, 0.9991742868156999
4, 211, 0.9991600791806432
4, 30, 0.9991488249065018
4, 23, 0.9991379781510406
4, 152, 0.9991111160506454
4, 260, 0.9991058839595973
4, 37, 0.9990952183913724
4, 47, 0.9990884989788269
4, 12, 0.9990712136477689
4, 170, 0.9990618643706335
4, 420, 0.9990614489337115
4, 357, 0.9990541484713571
4, 271, 0.9990541404684401
5, 176, 0.9991005354174689
5, 12, 0.9990826731658369
5, 211, 0.9990759819096071
5, 110, 0.9990369116285203
5, 407, 0.9990309779557723
5, 40, 0.9990216590162585
5, 301, 0.9990027190717738
5, 375, 0.998998170744976
5, 14, 0.9989910177797843
5, 419, 0.9989797254067685
5, 303, 0.9989767423781857
5, 30, 0.9989763711407493
5, 376, 0.9989706476774057
5, 134, 0.9989688014343935
5, 282, 0.9989682110762533
6, 308, 0.9993168548310183
6, 395, 0.9991995414777625
6, 325, 0.9991788294884039
6, 304, 0.9991779907293827
6, 323, 0.9991653840670124
6, 257, 0.9991627062178539
6, 211, 0.9991289209225525
6, 217, 0.9991266736475274
6, 204, 0.999125259356021
6, 252, 0.9991177248979481
6, 30, 0.9991154464665545
6, 294, 0.9991056063926433
6, 357, 0.9990994987595061
6, 326, 0.9990822148296357
6, 152, 0.9990797947457442
7, 391, 0.9991986665550201
7, 296, 0.999180737236498
7, 49, 0.9991743843533256
7, 51, 0.9991371815518015
7, 340, 0.9991347506935612
7, 145, 0.9991334355529838
7, 155, 0.9990912164224346
7, 310, 0.99908522390908
7, 107, 0.9990751356227014
7, 384, 0.9990686060535593
7, 75, 0.9990482076131768
7, 88, 0.9990394652462662
7, 87, 0.9990314541680904
7, 355, 0.9990139545502704
7, 141, 0.9990061733015287
8, 358, 0.999242550458193
8, 339, 0.9991721488002676
8, 37, 0.999162638006812
8, 61, 0.9991521677884313
8, 303, 0.9991172550616965
8, 47, 0.999098807821234
8, 51, 0.9990905808872528
8, 176, 0.9990892149928243
8, 376, 0.9990825414075303
8, 235, 0.9990752362438851
8, 223, 0.9990740777664181
8, 156, 0.9990740094097589
8, 345, 0.9990626846484565
8, 291, 0.9990587792870882
8, 136, 0.9990560642157702
9, 358, 0.999411751713936
9, 238, 0.9993122833563048
9, 47, 0.9992876362304395
9, 43, 0.9992696849496201
9, 301, 0.999264412951967
9, 291, 0.9992599182880268
9, 102, 0.9992559752380247
9, 61, 0.9992392274388265
9, 156, 0.9992214547420585
9, 256, 0.9992131742693557
9, 53, 0.9992094983350723
9, 349, 0.9992086978507985
9, 211, 0.9991994585076331
9, 171, 0.9991967231096859
9, 312, 0.9991964942913834
10, 358, 0.9994035447888053
10, 303, 0.9993581070968773
10, 176, 0.9993299958840367
10, 61, 0.9993101480297726
10, 300, 0.9992979235157597
10, 155, 0.9992934381872818
10, 143, 0.9992745252740615
10, 413, 0.9992466638490867
10, 27, 0.9992437863033841
10, 332, 0.9992276237821974
10, 162, 0.9992234094571908
10, 47, 0.9992086538599112
10, 75, 0.9992017782890505
10, 301, 0.9991975312965216
10, 345, 0.999195256546981
11, 235, 0.9991652701805086
11, 102, 0.999135865263806
11, 418, 0.9991035917704748
11, 207, 0.9991014167913119
11, 376, 0.9990764309664384
11, 357, 0.9990692173314224
11, 398, 0.9990533871038293
11, 363, 0.9990530437537017
11, 145, 0.9990498457308361
11, 136, 0.9990469328192997
11, 382, 0.9990363838576368
11, 211, 0.9990350419882458
11, 261, 0.9990272318230361
11, 186, 0.9990248056939356
11, 135, 0.9990246128857401
12, 61, 0.9993133776252553
12, 155, 0.9992671548470784
12, 358, 0.9992202981368329
12, 266, 0.9992149107140404
12, 303, 0.9992039572417444
12, 401, 0.999171320008761
12, 8, 0.9991352054592109
12, 37, 0.9991333591867969
12, 378, 0.9991080146128868
12, 23, 0.9990896044746593
12, 156, 0.9990808736205952
12, 82, 0.999038477229464
12, 98, 0.9990303987285631
12, 47, 0.9990223131394355
12, 38, 0.9990139852577964
13, 417, 0.9993313891860818
13, 190, 0.9993174991836021
13, 170, 0.999287358008258
13, 243, 0.9992865275490987
13, 237, 0.9992576980594885
13, 357, 0.9992504381846017
13, 300, 0.9992403425262253
13, 130, 0.9992363787807579
13, 189, 0.9992321789446214
13, 275, 0.9992308337629158
13, 1, 0.9992146715422826
13, 95, 0.9992116805486713
13, 239, 0.9992065004957467
13, 375, 0.9992028917178213
13, 168, 0.9991964603939099
14, 27, 0.9991692634137312
14, 30, 0.9991211261302508
14, 386, 0.9990935080082893
14, 235, 0.9990904895888031
14, 405, 0.9990902914549653
14, 152, 0.9990887103549946
14, 126, 0.9990881289156025
14, 415, 0.9990664203596209
14, 373, 0.999049037566651
14, 262, 0.9990398647599974
14, 304, 0.9990383531412395
14, 413, 0.9990323666106404
14, 102, 0.9990299128070431
14, 61, 0.9990216276946235
14, 358, 0.9990019846359566
15, 118, 0.999299793003385
15, 128, 0.9992229497361422
15, 164, 0.999211110869486
15, 94, 0.9991685338745822
15, 211, 0.9991282315454253
15, 422, 0.9990658160852316
15, 93, 0.9989245954255646
15, 340, 0.9989093212061496
15, 143, 0.9988963717977901
15, 255, 0.9988764919561433
15, 48, 0.9988666451288502
15, 352, 0.9988654260926415
15, 65, 0.9988635567642468
15, 228, 0.9988601503307498
15, 375, 0.9988459337671737
16, 176, 0.9992111835314583
16, 199, 0.9991818491534599
16, 25, 0.9991557728598088
16, 41, 0.9991402523399946
16, 409, 0.9991211227900725
16, 420, 0.9991109731549701
16, 3, 0.9991078946450244
16, 36, 0.9990955681120158
16, 377, 0.9990921152542698
16, 287, 0.9990902524960108
16, 300, 0.9990875069286753
16, 323, 0.9990848121858054
16, 408, 0.9990827933619864
16, 136, 0.9990800758495504
16, 211, 0.9990774961554216
17, 358, 0.9993432130044919
17, 303, 0.9992683593610836
17, 61, 0.9991860998607648
17, 107, 0.9991687210922204
17, 176, 0.9990806216623926
17, 401, 0.9990783144202834
17, 272, 0.9990627797673658
17, 36, 0.9990589479514347
17, 47, 0.9990551283980819
17, 103, 0.9990195958387587
17, 155, 0.99901281851103
17, 143, 0.9990107132706134
17, 300, 0.9990033329376289
17, 28, 0.9989982492793006
17, 375, 0.9989949429528411
18, 135, 0.9991953238365379
18, 142, 0.999131253420015
18, 29, 0.9991227944602505
18, 50, 0.9991055362339747
18, 188, 0.9991042496042163
18, 402, 0.9990832107492773
18, 337, 0.9990827817843961
18, 363, 0.9990801294546976
18, 38, 0.9990630226213796
18, 380, 0.9990601900834646
18, 417, 0.999058495785212
18, 1, 0.9990236557408328
18, 176, 0.9990137183112282
18, 392, 0.9990037964806786
18, 276, 0.9990035996589726
19, 100, 0.9993183364518938
19, 195, 0.9992532909848427
19, 159, 0.9990971397217546
19, 176, 0.9990958055104044
19, 422, 0.9990780500020695
19, 10, 0.9990769610434271
19, 296, 0.9990719955233238
19, 121, 0.9990622704536511
19, 37, 0.9990499235551242
19, 303, 0.9990455699099605
19, 391, 0.9990428679179787
19, 13, 0.9990423916001833
19, 268, 0.9990301978837812
19, 323, 0.9990296422163369
19, 411, 0.9990255026585617
20, 237, 0.9992539218921699
20, 276, 0.9991813748726895
20, 233, 0.9991444567865579
20, 136, 0.9991332254478094
20, 357, 0.9991318701964589
20, 143, 0.9991293130262214
20, 118, 0.9991243130662506
20, 228, 0.999116198575955
20, 340, 0.9991119650577285
20, 168, 0.9991110903076925
20, 56, 0.9991095208321579
20, 391, 0.9991049822086417
20, 359, 0.9991047015697287
20, 422, 0.9990933775609965
20, 13, 0.9990929801481715
21, 294, 0.9992796574102494
21, 236, 0.9992577187003158
21, 318, 0.9992446841543168
21, 342, 0.9992078595276602
21, 204, 0.9992037678572687
21, 413, 0.9992007133182188
21, 170, 0.9991757155723823
21, 280, 0.9991570367097095
21, 37, 0.9991552310154683
21, 344, 0.9991546139756152
21, 230, 0.9991534462377517
21, 209, 0.9991415818570388
21, 217, 0.9991414475190488
21, 208, 0.9991358189715341
21, 222, 0.9991287054868303
22, 21, 0.9991572745971903
22, 50, 0.9991152217330317
22, 380, 0.9991069396039867
22, 396, 0.9990993742398685
22, 296, 0.9990973653841158
22, 417, 0.9990828056318739
22, 190, 0.9990559542193314
22, 363, 0.999054792967331
22, 357, 0.9990444576469658
22, 1, 0.9990275494679741
22, 111, 0.9990236772900591
22, 187, 0.9990215100462037
22, 81, 0.9990097382987317
22, 165, 0.9989872153502016
22, 204, 0.998986130019043
23, 237, 0.9992082587495585
23, 176, 0.9991932315518538
23, 1, 0.9991859526815489
23, 300, 0.9991641852657368
23, 143, 0.9991597406499007
23, 174, 0.999150664518073
23, 160, 0.9991490252750465
23, 303, 0.9991429842551618
23, 119, 0.9991369795628222
23, 245, 0.9991294644055732
23, 381, 0.9991265503693364
23, 88, 0.9991259754966242
23, 38, 0.9991234361977732
23, 422, 0.9991156907892699
23, 298, 0.9991121769252023
24, 230, 0.9992004128290697
24, 10, 0.9991427541635617
24, 236, 0.9991386189633731
24, 61, 0.9991310764192946
24, 222, 0.9991256452974973
24, 318, 0.9991190077965462
24, 391, 0.9991104608933823
24, 176, 0.9991102091688562
24, 410, 0.9991097124683673
24, 155, 0.9991090357081831
24, 109, 0.999100800287238
24, 35, 0.9990825629221636
24, 254, 0.999079655315544
24, 28, 0.9990728011883703
24, 239, 0.9990707095551853
25, 176, 0.9992342185301004
25, 255, 0.9992143762175298
25, 201, 0.9991754389293903
25, 261, 0.9991647072300552
25, 411, 0.999149622854246
25, 199, 0.9991239979001729
25, 55, 0.9991167880504884
25, 70, 0.9991156663182295
25, 25, 0.9991143830680601
25, 81, 0.9990857588883479
25, 253, 0.9990801431527587
25, 164, 0.9990775624293391
25, 264, 0.9990766725688462
25, 409, 0.9990756864993252
25, 387, 0.9990686250770449
26, 340, 0.999059312842103
26, 238, 0.9990576742811573
26, 342, 0.9990547972359258
26, 13, 0.9990445048714918
26, 251, 0.9990434321058304
26, 413, 0.9990415509637657
26, 366, 0.9990080841666542
26, 201, 0.9989907649919296
26, 373, 0.9989904163941341
26, 235, 0.9989861882314475
26, 222, 0.9989803251921663
26, 302, 0.9989757149916298
26, 152, 0.9989748924942168
26, 176, 0.9989746787693794
26, 199, 0.998966101144162
27, 15, 0.999246557291712
27, 23, 0.9992368699741105
27, 375, 0.9991988850219771
27, 271, 0.999173351711329
27, 291, 0.9991589566697943
27, 71, 0.9991549640466977
27, 182, 0.9991533782547017
27, 174, 0.9991479242976155
27, 183, 0.9991317605157025
27, 376, 0.9991237104727917
27, 13, 0.9990956067900048
27, 63, 0.9990943447007157
27, 148, 0.9990915319503695
27, 116, 0.9990912642587737
27, 36, 0.9990879471604457
28, 176, 0.9992887507737527
28, 349, 0.9992659113382897
28, 410, 0.9992227631703718
28, 300, 0.9992104446859644
28, 14, 0.9992044525639954
28, 209, 0.9991999837658185
28, 94, 0.9991984979159674
28, 249, 0.9991966160149905
28, 110, 0.9991940672010508
28, 47, 0.9991886332970255
28, 160, 0.999188341077793
28, 143, 0.9991768508752745
28, 81, 0.9991681820507506
28, 208, 0.9991674334179608
28, 164, 0.9991672856119832
29, 192, 0.999304652349814
29, 341, 0.9992600118191592
29, 25, 0.9991899106660967
29, 176, 0.9991663057279083
29, 119, 0.9991564853320436
29, 357, 0.9991393801916093
29, 105, 0.9991359676920748
29, 51, 0.999130049878787
29, 45, 0.9991251109867612
29, 164, 0.9991179144290192
29, 413, 0.999108179750821
29, 60, 0.999106315446292
29, 300, 0.999096692168118
29, 245, 0.9990932100651242
29, 329, 0.999085299432145
30, 105, 0.9993321832565947
30, 189, 0.9993014834914957
30, 170, 0.9992900726623613
30, 253, 0.9992579765910069
30, 211, 0.9992064765344857
30, 327, 0.9991980899505188
30, 164, 0.9991805102092037
30, 349, 0.9991803952941938
30, 5, 0.9991794358667884
30, 332, 0.9991644970177969
30, 271, 0.9991549028888446
30, 124, 0.9991546919654377
30, 300, 0.9991506470777638
30, 249, 0.9991498632409961
30, 176, 0.9991477265464945
31, 249, 0.9993732252989411
31, 176, 0.9993523216925744
31, 291, 0.9993095356597548
31, 47, 0.9992834809892881
31, 276, 0.9992824960708728
31, 116, 0.9992635922177093
31, 142, 0.9992599362752732
31, 168, 0.9992503661422112
31, 300, 0.9992434843117499
31, 243, 0.9992397339483593
31, 23, 0.9992245607256739
31, 420, 0.9992235455637973
31, 403, 0.9992231345856151
31, 10, 0.9992220191493646
31, 255, 0.9992208669938223
32, 279, 0.9992409092888358
32, 290, 0.9992329863881709
32, 186, 0.9991861680810097
32, 253, 0.999172287993334
32, 300, 0.9991600995540049
32, 410, 0.9991567803967969
32, 111, 0.9991343747753607
32, 68, 0.9991298156875248
32, 316, 0.9991239926577924
32, 28, 0.9991140319861087
32, 275, 0.9991108697416333
32, 280, 0.9991094412692489
32, 145, 0.9990995268239549
32, 307, 0.9990964867474944
32, 263, 0.9990889794042204
33, 45, 0.9992538955520911
33, 62, 0.9992158382541584
33, 176, 0.9992112878925357
33, 152, 0.999199284994666
33, 347, 0.9991640585840469
33, 13, 0.9991623279296211
33, 236, 0.9991594550695094
33, 251, 0.9991549580959437
33, 300, 0.9991540223806079
33, 123, 0.9991525747911179
33, 357, 0.9991397749963102
33, 340, 0.9991322016651627
33, 51, 0.9991318777514775
33, 275, 0.9991289965031732
33, 145, 0.9991255560365284
34, 294, 0.9993231968366368
34, 328, 0.9992930208906515
34, 70, 0.9992224911197376
34, 211, 0.9991984640537078
34, 181, 0.9991684851344802
34, 230, 0.9991582636024448
34, 238, 0.9991328089855832
34, 173, 0.9991318503176867
34, 130, 0.9991236388671774
34, 299, 0.99911904751919
34, 357, 0.9991184237819657
34, 348, 0.9991176424936947
34, 416, 0.999113632120308
34, 146, 0.9991057936098464
34, 342, 0.9991047706773935
35, 378, 0.9992727118137537
35, 280, 0.9992522389107812
35, 37, 0.9992397060844525
35, 318, 0.9992212668838376
35, 66, 0.9992074452600885
35, 155, 0.9991821261670086
35, 170, 0.9991697763535805
35, 204, 0.9991592292631969
35, 209, 0.9991494920022598
35, 312, 0.999145428997066
35, 236, 0.9991440396841618
35, 230, 0.9991343865719866
35, 35, 0.9991341734155452
35, 6, 0.999130589157728
35, 49, 0.9991295161301815
36, 143, 0.9991871295502314
36, 152, 0.9991742530569979
36, 27, 0.9991586272608994
36, 62, 0.9991510329734976
36, 176, 0.9991501245461303
36, 142, 0.999133677517478
36, 36, 0.9991224003577295
36, 108, 0.9991112970643163
36, 130, 0.9991037883882221
36, 386, 0.9991000989445906
36, 420, 0.9990900872203953
36, 211, 0.9990825563630081
36, 255, 0.9990720636425964
36, 47, 0.9990657333451942
36, 45, 0.9990654638181178
37, 174, 0.9991094427632337
37, 35, 0.9990595225816338
37, 340, 0.9990341992800912
37, 233, 0.9990273534994862
37, 56, 0.9990229788223562
37, 62, 0.9990169881806246
37, 357, 0.9990042428463506
37, 93, 0.9990021089833132
37, 74, 0.9989937392132252
37, 235, 0.9989771477548501
37, 37, 0.9989686644824141
37, 14, 0.9989655974856538
37, 307, 0.9989623407386459
37, 266, 0.9989558619156012
37, 422, 0.9989525021365888
38, 36, 0.9992048115417467
38, 118, 0.9991831549373386
38, 13, 0.9991809298369978
38, 343, 0.9991574607954652
38, 254, 0.9991442267884432
38, 340, 0.9991154243307403
38, 55, 0.9991065591119147
38, 142, 0.9991020756675633
38, 342, 0.9991001792081392
38, 388, 0.9990987066777666
38, 271, 0.999093672350861
38, 56, 0.9990932077383896
38, 65, 0.9990832319400449
38, 237, 0.9990758439242314
38, 222, 0.9990749988187431
39, 360, 0.9994060422293358
39, 173, 0.999404124714112
39, 277, 0.9993826227571165
39, 189, 0.9993738500159968
39, 71, 0.9992538808684874
39, 369, 0.9992494066277448
39, 81, 0.9992291298100335
39, 110, 0.9991690882431669
39, 249, 0.9991638871624318
39, 222, 0.9991637191234238
39, 350, 0.9991630083589048
39, 265, 0.9991491131383989
39, 286, 0.9991236504371144
39, 176, 0.9991125376053962
39, 413, 0.9990919471166381
40, 247, 0.9992664237059424
40, 249, 0.9992361078028327
40, 418, 0.9992022786553086
40, 207, 0.9991900066332375
40, 272, 0.9991893814332654
40, 55, 0.9991849389503802
40, 287, 0.9991766976637879
40, 342, 0.999171191707719
40, 222, 0.9991699010628923
40, 135, 0.9991628260159472
40, 51, 0.9991607128531667
40, 357, 0.9991525628856344
40, 275, 0.9991419086361895
40, 182, 0.9991324131526653
40, 260, 0.999125016780226
41, 272, 0.9992414211069498
41, 292, 0.9991841016314065
41, 300, 0.999171205540426
41, 343, 0.9991622776589764
41, 296, 0.9991490564589582
41, 98, 0.9991175107490944
41, 66, 0.9990956251508393
41, 47, 0.9990939309294916
41, 155, 0.9990924152487852
41, 211, 0.9990866461023958
41, 291, 0.9990691061261724
41, 61, 0.9990517700877294
41, 91, 0.9990512064958678
41, 23, 0.9990500899887089
41, 303, 0.9990450215077425
42, 269, 0.9990793010222967
42, 157, 0.9990569554895259
42, 417, 0.9990306357420009
42, 366, 0.9990020847991017
42, 323, 0.9989926156840074
42, 388, 0.998981072865072
42, 13, 0.9989688735577776
42, 283, 0.9989661437759572
42, 70, 0.9989596434787514
42, 140, 0.9989595634362676
42, 179, 0.9989567255732511
42, 313, 0.9989479481633287
42, 76, 0.9989476665401211
42, 396, 0.9989474516909125
42, 1, 0.9989465416264791
43, 176, 0.9992423308037772
43, 357, 0.9992164850563012
43, 199, 0.9991921134107404
43, 254, 0.9991768810811912
43, 300, 0.999151979333285
43, 420, 0.9991488827369474
43, 55, 0.9991450845664889
43, 132, 0.999142192254104
43, 403, 0.999125289309462
43, 280, 0.9991192670952719
43, 326, 0.9991169524683674
43, 423, 0.9991149426886604
43, 329, 0.9991049128065475
43, 211, 0.999084755687635
43, 165, 0.9990799523218576
44, 362, 0.9991441962893213
44, 411, 0.9991367126851531
44, 300, 0.9991149044459957
44, 155, 0.9991094685627823
44, 132, 0.9990799619615935
44, 47, 0.9990780604381015
44, 43, 0.9990727380890969
44, 119, 0.9990707633870257
44, 343, 0.9990606029485865
44, 148, 0.9990575828403038
44, 111, 0.9990553460911957
44, 168, 0.9990435419436987
44, 23, 0.9990396882461325
44, 407, 0.9990345301234542
44, 18, 0.9990307757607819
45, 47, 0.9993020259085015
45, 300, 0.9992710972399441
45, 1, 0.9992480214493202
45, 20, 0.9992393864197586
45, 357, 0.9992345357996546
45, 343, 0.9992043866010137
45, 182, 0.9992011229134279
45, 315, 0.9991957431277567
45, 261, 0.9991878097707214
45, 359, 0.9991821969935129
45, 296, 0.9991769974104519
45, 263, 0.9991760390628519
45, 211, 0.9991691046143194
45, 155, 0.9991671772600366
45, 334, 0.9991590188280606
46, 47, 0.9992265007888859
46, 260, 0.9991553522769989
46, 23, 0.9991329381479568
46, 300, 0.9990884296396891
46, 116, 0.9990768095434978
46, 230, 0.9990639511988622
46, 246, 0.9990615588376067
46, 175, 0.9990216413472617
46, 37, 0.998998586552243
46, 54, 0.9989950351611621
46, 271, 0.9989912764736604
46, 324, 0.9989846181265902
46, 340, 0.9989841995219578
46, 411, 0.9989767727154354
46, 120, 0.9989766609389439
47, 8, 0.999338371774096
47, 420, 0.9992386968622666
47, 101, 0.9992238152890215
47, 143, 0.9992198465588418
47, 291, 0.9992120230267976
47, 358, 0.999179513139605
47, 155, 0.9991665474666547
47, 61, 0.9991652549558456
47, 300, 0.9991639105338508
47, 23, 0.9991540914425356
47, 402, 0.9991533972548154
47, 375, 0.999126474518518
47, 211, 0.9991258178602717
47, 263, 0.99911359117584
47, 378, 0.9991123940736881
48, 420, 0.9992916187092524
48, 8, 0.999259777532448
48, 362, 0.999221014438396
48, 23, 0.9992164929882956
48, 155, 0.9992070258985049
48, 402, 0.9991975451139484
48, 291, 0.9991887505760373
48, 401, 0.9991842097588983
48, 307, 0.9991648653245498
48, 111, 0.9991402999712434
48, 28, 0.9991358439615743
48, 132, 0.9991185964058207
48, 280, 0.999118553730187
48, 340, 0.9991135293606115
48, 275, 0.9991133499965331
49, 183, 0.9992630338019606
49, 56, 0.9992303553898412
49, 41, 0.9991993645610675
49, 300, 0.9991978563161019
49, 94, 0.999195457309096
49, 37, 0.9991601230651579
49, 205, 0.9991394251160137
49, 103, 0.9991261515883567
49, 51, 0.9991224688254225
49, 359, 0.9991088791913888
49, 110, 0.99910693814666
49, 164, 0.9991003369286277
49, 81, 0.9990925822009543
49, 130, 0.9990789257925029
49, 128, 0.9990777742897823
50, 204, 0.9992030918106283
50, 340, 0.9991896011027762
50, 230, 0.9991794114372754
50, 380, 0.999164283717213
50, 37, 0.9991566632504159
50, 253, 0.9991538652950933
50, 157, 0.9991316277963188
50, 342, 0.9991314162993284
50, 66, 0.9991259273306549
50, 372, 0.9991156457604866
50, 71, 0.9991103186831379
50, 123, 0.9991086473586517
50, 160, 0.9990991657166184
50, 108, 0.9990971335739391
50, 271, 0.999093126211942
51, 186, 0.9993184169683975
51, 263, 0.9992745099630385
51, 279, 0.9992676917508531
51, 253, 0.9992211761401522
51, 290, 0.9992207452094374
51, 327, 0.9991725635567685
51, 367, 0.9991671728416385
51, 249, 0.9991608755421117
51, 189, 0.9991572575881046
51, 170, 0.9991527916068538
51, 357, 0.9991506309037861
51, 114, 0.9991489353256577
51, 271, 0.9991375620344856
51, 417, 0.9991284801921143
51, 385, 0.9991258323963901
52, 186, 0.9993496100171088
52, 111, 0.999166614998591
52, 263, 0.9991335094880547
52, 403, 0.9991331543336037
52, 38, 0.9991324215485982
52, 189, 0.9991312236043287
52, 351, 0.9990845549407711
52, 239, 0.9990770492414944
52, 27, 0.999074788211827
52, 357, 0.9990739014123344
52, 237, 0.9990697752711921
52, 72, 0.999063221546526
52, 176, 0.9990611493034269
52, 306, 0.9990524249503644
52, 132, 0.999046227951706
53, 211, 0.9993017568607441
53, 43, 0.9992553813015015
53, 238, 0.9992481689334416
53, 27, 0.9992238378121622
53, 263, 0.9992064918852082
53, 162, 0.9992026497331334
53, 351, 0.9991967511550537
53, 288, 0.9991649217461411
53, 189, 0.9991524077048314
53, 170, 0.9991507406765177
53, 413, 0.9991506953355247
53, 304, 0.9991395691018429
53, 352, 0.9991384385761439
53, 30, 0.9991325957679342
53, 328, 0.9991111835467801
54, 140, 0.9993196039436747
54, 8, 0.9993078075281291
54, 119, 0.9992740914362404
54, 14, 0.9992415258647906
54, 363, 0.9992391165094011
54, 343, 0.9992320453196135
54, 236, 0.9992214121815401
54, 38, 0.9992099450534775
54, 300, 0.9992066684269585
54, 324, 0.9991980605279059
54, 391, 0.9991794929984358
54, 155, 0.9991768819765031
54, 245, 0.9991756875039268
54, 291, 0.9991746146409147
54, 95, 0.9991735630682255
55, 1, 0.9992018093055446
55, 89, 0.9991943400729439
55, 324, 0.9991871848624956
55, 256, 0.999153153300381
55, 157, 0.9991124367231199
55, 342, 0.9991047640049506
55, 130, 0.9990868362671279
55, 340, 0.9990836047838312
55, 363, 0.9990829862061337
55, 376, 0.9990732370422372
55, 126, 0.9990687011241964
55, 332, 0.9990619826886382
55, 417, 0.9990590691887593
55, 6, 0.9990516045461646
55, 271, 0.9990483126754138
56, 332, 0.9992156413564992
56, 281, 0.9991355281880909
56, 391, 0.9990807185397745
56, 178, 0.9990737131181391
56, 369, 0.9990682176160164
56, 223, 0.9990651562725206
56, 27, 0.9990650425776927
56, 283, 0.9990647013747869
56, 66, 0.9990633549848877
56, 296, 0.9990587210695062
56, 207, 0.9990509104051177
56, 14, 0.9990498100684782
56, 238, 0.9990460193071652
56, 363, 0.9990372200833115
56, 167, 0.9990340113497154
57, 55, 0.9993450717732308
57, 249, 0.9993204856723912
57, 176, 0.9993068995422116
57, 8, 0.9992914748442052
57, 160, 0.9992911810574524
57, 169, 0.9992793367185997
57, 42, 0.9992788634981054
57, 397, 0.9992737681931421
57, 328, 0.99927289169008
57, 162, 0.9992728843286334
57, 300, 0.9992714176510671
57, 357, 0.9992672132629821
57, 214, 0.9992619656056253
57, 222, 0.999260981283751
57, 411, 0.9992517567626304
58, 1, 0.9994029302779299
58, 254, 0.9992420766790987
58, 157, 0.9992389796048329
58, 280, 0.9991779075481664
58, 176, 0.9991734499859677
58, 302, 0.9991591245384108
58, 37, 0.9991579028734097
58, 38, 0.999132423823843
58, 209, 0.999132200545964
58, 95, 0.9991319980209993
58, 45, 0.9991299555986086
58, 300, 0.9991284247110287
58, 49, 0.9991168836872548
58, 371, 0.9990993660808446
58, 417, 0.9990960602402511
59, 79, 0.9992346582445548
59, 25, 0.9991940351630066
59, 325, 0.9991585886361899
59, 26, 0.9991327341275398
59, 168, 0.9991202644867949
59, 416, 0.9991134732151616
59, 401, 0.9990929643661466
59, 125, 0.9990809947531265
59, 119, 0.9990596841222497
59, 135, 0.9990366327040945
59, 245, 0.9990220960616268
59, 140, 0.9990152779134788
59, 73, 0.9990146916765057
59, 381, 0.9990138606043748
59, 276, 0.9990079302201267
60, 328, 0.9991852774661696
60, 408, 0.9991506121182747
60, 51, 0.9991478260107016
60, 315, 0.9991464659407686
60, 409, 0.9991459188193886
60, 373, 0.9991334053357164
60, 176, 0.9991153499051921
60, 357, 0.9991148444517975
60, 301, 0.9991081216560629
60, 222, 0.9991077506390675
60, 8, 0.99910203015965
60, 199, 0.9990968868562491
60, 70, 0.9990968245728631
60, 340, 0.9990911737242345
60, 38, 0.9990868705971505
61, 1, 0.9991736525527657
61, 254, 0.999173390987198
61, 135, 0.9991702890623815
61, 89, 0.9991521232925731
61, 237, 0.999094244019872
61, 417, 0.999091243418149
61, 174, 0.9990886629492721
61, 235, 0.9990882529153625
61, 343, 0.999088113508076
61, 342, 0.9990622700311009
61, 138, 0.9990525298169726
61, 204, 0.9990419768775923
61, 45, 0.9990366030334926
61, 392, 0.999036217159417
61, 324, 0.9990335741453066
62, 230, 0.9992386693558438
62, 181, 0.9992356758075058
62, 130, 0.9992229486736834
62, 199, 0.9992126072684396
62, 43, 0.9992019018635727
62, 236, 0.9991948513981473
62, 168, 0.9991914564865538
62, 417, 0.9991823220841759
62, 213, 0.9991803482759984
62, 410, 0.9991761847924556
62, 342, 0.9991687370820426
62, 328, 0.9991636104161985
62, 111, 0.999158238140454
62, 413, 0.9991575711503651
62, 38, 0.9991569899436331
63, 121, 0.9993589637406356
63, 14, 0.9992547734106099
63, 159, 0.9992177251212939
63, 86, 0.9992168151689608
63, 368, 0.9991653552079215
63, 10, 0.9991281619426851
63, 291, 0.9990993870361382
63, 170, 0.9990797281078199
63, 271, 0.9990779808862036
63, 344, 0.9990766773489932
63, 249, 0.9990755708434808
63, 328, 0.9990742753039499
63, 287, 0.9990741709224451
63, 378, 0.9990649595552037
63, 209, 0.9990640510880304
64, 328, 0.999295373912277
64, 55, 0.9992545947314925
64, 176, 0.9992365437992276
64, 312, 0.9992246425230535
64, 70, 0.9992106321368344
64, 125, 0.9992051302302296
64, 173, 0.9992037409121948
64, 314, 0.9991653680375527
64, 300, 0.9991569197506787
64, 255, 0.9991518344077086
64, 162, 0.9991507272989975
64, 179, 0.9991488119136216
64, 322, 0.9991451202580719
64, 376, 0.9991387808769481
64, 164, 0.9991311611084162
65, 342, 0.9991895323325539
65, 204, 0.9991664612795716
65, 161, 0.9991653560452513
65, 138, 0.9991400218817338
65, 51, 0.9991239269821317
65, 136, 0.9991209806709456
65, 309, 0.9991198215107022
65, 360, 0.9991120816607778
65, 381, 0.9991048827291087
65, 27, 0.9990980195883915
65, 376, 0.9990895347941859
65, 253, 0.999083376086883
65, 276, 0.9990793887400091
65, 409, 0.9990763944312651
65, 81, 0.9990650255643854
66, 70, 0.9993361035874806
66, 86, 0.9993145246242379
66, 403, 0.9992900620662438
66, 271, 0.9992838651893785
66, 121, 0.999278242393082
66, 100, 0.9992764951330326
66, 349, 0.9992725386498647
66, 27, 0.9992688516490139
66, 340, 0.9992538459466445
66, 377, 0.9992467258416848
66, 37, 0.9992258824531868
66, 47, 0.999215685919803
66, 355, 0.999213049880453
66, 116, 0.9992098967503549
66, 178, 0.9992086778090388
67, 7, 0.9996478448116946
67, 346, 0.9994134508190569
67, 63, 0.999388027287977
67, 184, 0.9993594951000981
67, 300, 0.9991955432916801
67, 280, 0.9991897840301528
67, 168, 0.9991486472060198
67, 362, 0.999142857793677
67, 272, 0.9991399806014705
67, 420, 0.9991382022411468
67, 363, 0.9991373584516458
67, 389, 0.9991299181674957
67, 249, 0.999128200792051
67, 89, 0.99911764445205
67, 189, 0.9991158298782601
68, 173, 0.9992777017415078
68, 394, 0.9992335568677733
68, 304, 0.9991929887188755
68, 152, 0.99917213613101
68, 189, 0.9991686006657682
68, 30, 0.9991567690354111
68, 211, 0.9991306217327814
68, 219, 0.999130119553331
68, 204, 0.9991216985864134
68, 75, 0.9991161945843711
68, 357, 0.9991111001917872
68, 249, 0.9991061234890432
68, 326, 0.9991012981837408
68, 359, 0.9990986870679561
68, 145, 0.9990912313521998
69, 377, 0.999452353713675
69, 121, 0.999219948800831
69, 403, 0.9991772451645363
69, 70, 0.999164480384412
69, 124, 0.9991446555184569
69, 116, 0.9991442793933567
69, 176, 0.9991388666483519
69, 159, 0.9991364042656912
69, 132, 0.9991178242071006
69, 181, 0.9991169201586514
69, 328, 0.9991158401353197
69, 386, 0.9991131672774166
69, 389, 0.9991115844392233
69, 115, 0.9991035048242072
69, 47, 0.9990972242147833
70, 55, 0.9993783762877093
70, 70, 0.9993060120208168
70, 344, 0.9992573685272903
70, 249, 0.999247732975032
70, 161, 0.9992379338151911
70, 179, 0.9992201818328269
70, 222, 0.9992145681673217
70, 363, 0.9992082100201873
70, 324, 0.9991872934248556
70, 411, 0.9991850062596617
70, 135, 0.9991833291059103
70, 40, 0.9991817553280717
70, 238, 0.9991723378006238
70, 342, 0.999166454843649
70, 355, 0.999164196092011
71, 207, 0.9992204388192822
71, 138, 0.999217141698084
71, 94, 0.9991963686718137
71, 45, 0.9991937006917218
71, 33, 0.9991879964771484
71, 117, 0.9991564085299212
71, 106, 0.9991458397727259
71, 376, 0.9991361859916155
71, 323, 0.9991310271324582
71, 297, 0.9991114550560692
71, 81, 0.9991088147498581
71, 249, 0.9991017267052243
71, 381, 0.9991007816555896
71, 174, 0.9991006655501977
71, 357, 0.999098815989875
72, 236, 0.9993277570875239
72, 138, 0.999280959678883
72, 363, 0.9992457508003592
72, 300, 0.9992314463257879
72, 362, 0.9992103412055298
72, 204, 0.9991996072387153
72, 245, 0.9991837346533277
72, 119, 0.9991813717637064
72, 38, 0.9991718171723214
72, 258, 0.9991694199255288
72, 51, 0.9991682934671582
72, 233, 0.9991635901115425
72, 342, 0.9991579779036358
72, 276, 0.9991506908491543
72, 309, 0.9991422193326062
73, 209, 0.9995577237487421
73, 43, 0.9994496878113609
73, 222, 0.9992789784449811
73, 170, 0.9992580729761251
73, 271, 0.9992480390407861
73, 71, 0.9992394650043279
73, 46, 0.9992312491850515
73, 75, 0.9992262375557591
73, 201, 0.9992108675456705
73, 254, 0.9992017938417268
73, 328, 0.9991958071095655
73, 38, 0.9991947753416506
73, 81, 0.9991854144250577
73, 320, 0.9991844092628246
73, 280, 0.9991736198598795
74, 285, 0.9994125587708773
74, 67, 0.9993001873349412
74, 25, 0.9992966265987878
74, 41, 0.9992441956785383
74, 34, 0.9991711536394916
74, 5, 0.9991473011335099
74, 211, 0.9991434863708806
74, 190, 0.999117270498617
74, 136, 0.9990890093515259
74, 260, 0.999071725825557
74, 345, 0.9990605940257276
74, 170, 0.9990546132692524
74, 240, 0.9990482196460617
74, 325, 0.999043714915612
74, 142, 0.9990432753725903
75, 204, 0.9991883511536238
75, 391, 0.9991758653321118
75, 340, 0.9991143031750362
75, 174, 0.9990826096260558
75, 35, 0.9990415090614537
75, 178, 0.9990398246991613
75, 37, 0.9990372188930139
75, 279, 0.9990273578208522
75, 32, 0.9990245071678333
75, 297, 0.9990237817753278
75, 300, 0.9990214127766355
75, 14, 0.999006979021737
75, 313, 0.9989963274928787
75, 343, 0.9989961828712526
75, 238, 0.998984902566335
76, 300, 0.9991373448685139
76, 338, 0.9990693662703654
76, 230, 0.999046225405088
76, 35, 0.9990338574668671
76, 107, 0.9990319778704551
76, 391, 0.9990309283363661
76, 103, 0.9990296852929332
76, 403, 0.9990267002132778
76, 348, 0.9990243849781856
76, 152, 0.9990215216475344
76, 276, 0.9990214209835502
76, 254, 0.9990145294328427
76, 1, 0.999012565745035
76, 66, 0.9990079947864963
76, 373, 0.9990054982315975
77, 14, 0.9991360123627537
77, 230, 0.9991329568411456
77, 391, 0.9991049439423314
77, 51, 0.9991029402815248
77, 416, 0.9990818885182109
77, 103, 0.99901502220371
77, 105, 0.9990037378504797
77, 37, 0.9989945331082912
77, 170, 0.998987039131759
77, 179, 0.9989867354646575
77, 276, 0.998974346799754
77, 213, 0.9989736229452553
77, 36, 0.9989694184914824
77, 161, 0.9989684632986772
77, 145, 0.9989489176394641
78, 38, 0.9991535373983687
78, 378, 0.999137006985831
78, 176, 0.9991345315268363
78, 406, 0.9991293500404748
78, 258, 0.9991070447322381
78, 107, 0.9991040811533605
78, 43, 0.9990985485062447
78, 230, 0.9990957589471074
78, 315, 0.999095560172983
78, 408, 0.9990926795210875
78, 108, 0.999087090547604
78, 365, 0.9990849685351223
78, 357, 0.9990842025138482
78, 207, 0.9990802124991629
78, 98, 0.9990801924742412
79, 209, 0.9994718970948964
79, 71, 0.9993293836543853
79, 277, 0.9992211463996516
79, 41, 0.9992160764988788
79, 222, 0.9992149407886516
79, 15, 0.9992112428244937
79, 271, 0.9992065490304396
79, 394, 0.9992051215629882
79, 204, 0.9991968629188583
79, 201, 0.9991968128760305
79, 131, 0.9991956441780916
79, 110, 0.9991885453579632
79, 301, 0.9991842229226828
79, 164, 0.9991794266377824
79, 43, 0.9991691008092475
80, 176, 0.9991673354986212
80, 382, 0.9991255965522373
80, 76, 0.999087648150115
80, 254, 0.9990678091368339
80, 43, 0.9990667376723557
80, 408, 0.9990642517203963
80, 300, 0.9990553597622918
80, 211, 0.9990460512338921
80, 328, 0.9990406907409265
80, 280, 0.9990361670420167
80, 301, 0.9990240651883101
80, 112, 0.999015856695098
80, 189, 0.9990118347804016
80, 165, 0.9989986139343344
80, 36, 0.9989985314497134
81, 275, 0.9993584000454372
81, 170, 0.9992230320188396
81, 30, 0.9992161798630541
81, 296, 0.999169277880052
81, 169, 0.9991676336099065
81, 342, 0.9991566706748845
81, 162, 0.9991558328814283
81, 337, 0.9991496461525273
81, 14, 0.9991465819197975
81, 236, 0.9991438347261384
81, 289, 0.9991403065312658
81, 8, 0.9991396661993062
81, 178, 0.9991367359976522
81, 357, 0.9991331451942238
81, 272, 0.9991325485267619
82, 363, 0.9992724821106576
82, 8, 0.9992393653559319
82, 14, 0.9992392542519815
82, 37, 0.9992023319575691
82, 289, 0.9991741350651102
82, 236, 0.9991719095908342
82, 411, 0.9991556913946189
82, 275, 0.9991271285821961
82, 296, 0.9991176139675844
82, 271, 0.9990991344229465
82, 362, 0.9990929756003863
82, 140, 0.9990880359558467
82, 230, 0.9990863265895622
82, 324, 0.9990792984514927
82, 357, 0.9990759924422227
83, 45, 0.9993622834848516
83, 204, 0.9993231736129292
83, 81, 0.9993060710716548
83, 281, 0.9992587232989321
83, 332, 0.9992487405255216
83, 98, 0.9992384097031108
83, 175, 0.999235981917055
83, 300, 0.999230244703209
83, 147, 0.9992222184943118
83, 280, 0.999222190358485
83, 160, 0.9992212221441038
83, 253, 0.999217585930165
83, 213, 0.9992170236924285
83, 276, 0.9992100736437162
83, 51, 0.9992082450244557


VariationalAutoEncoder queries info:
for each query, the top 15 documents retrieved are listed in the form: doc_id, score

query_id, doc_id, score
1, 156, 0.24959308833464403
1, 157, 0.2045868788256498
1, 342, 0.1906381178926623
1, 332, 0.18936201447602063
1, 255, 0.18878377506172656
1, 75, 0.1751883157883769
1, 171, 0.1733084017923563
1, 251, 0.17180622564000447
1, 9, 0.16845997704824237
1, 185, 0.16163979812941548
1, 44, 0.15949781186881612
1, 294, 0.15680550968761817
1, 61, 0.15440540643984219
1, 305, 0.1543030034873593
1, 193, 0.14449157091712017
2, 252, 0.20972802090435344
2, 356, 0.19468313018203773
2, 61, 0.17145614821116342
2, 46, 0.1697263394629526
2, 358, 0.16137067399289728
2, 293, 0.1533542239904779
2, 419, 0.13802151475051364
2, 75, 0.135326846108337
2, 391, 0.13395317130596548
2, 107, 0.13252280562764535
2, 15, 0.13240516152467263
2, 87, 0.12839111839847572
2, 77, 0.12432601798578738
2, 130, 0.12291464973284383
2, 117, 0.12133185903492251
3, 198, 0.24257666187036228
3, 163, 0.196859907232379
3, 2, 0.17790234421821083
3, 368, 0.16140785865499951
3, 143, 0.15974934530038484
3, 379, 0.15940090873625445
3, 174, 0.15420413709471606
3, 7, 0.14802758631938645
3, 203, 0.1442917646294889
3, 381, 0.13972802207105106
3, 384, 0.13969859327146478
3, 214, 0.13596608333998608
3, 133, 0.13142489865682855
3, 362, 0.13098272226300367
3, 319, 0.1287621136474526
4, 407, 0.25550941457755527
4, 224, 0.17687902911978043
4, 265, 0.16308327235120762
4, 198, 0.15918571458525113
4, 256, 0.15318046066820257
4, 343, 0.14353741569468043
4, 147, 0.14297570564215675
4, 117, 0.140487141892178
4, 203, 0.13585944607133899
4, 319, 0.13460559820856588
4, 81, 0.13170356375143577
4, 15, 0.13152661836199414
4, 241, 0.1295932810198257
4, 305, 0.12886494273363025
4, 22, 0.12815318400825135
5, 231, 0.21119634939639337
5, 179, 0.1708534161536257
5, 153, 0.16721571275758368
5, 417, 0.16344223297951277
5, 357, 0.16291562064417758
5, 300, 0.16247747479884384
5, 75, 0.15840743023153253
5, 152, 0.15540108750445542
5, 408, 0.15516658756210536
5, 177, 0.1481212836011997
5, 398, 0.14608505843227296
5, 350, 0.1433318748093662
5, 136, 0.1379470056037885
5, 180, 0.13535281348161932
5, 276, 0.1352328614924468
6, 144, 0.18300692478984146
6, 59, 0.16698756891598943
6, 63, 0.1623884107595842
6, 275, 0.16114625984115352
6, 189, 0.16033264507291048
6, 321, 0.1571444302794125
6, 394, 0.15646220650491388
6, 201, 0.1536026373992091
6, 334, 0.14617025024952054
6, 417, 0.13982027787604479
6, 418, 0.13886976843970517
6, 186, 0.13704499357625402
6, 352, 0.1316064373324233
6, 69, 0.12981775863076356
6, 269, 0.12749445762132983
7, 261, 0.17470760942105779
7, 120, 0.1702357670147771
7, 411, 0.1633934232177412
7, 198, 0.16220167088701368
7, 136, 0.1569875584554171
7, 148, 0.1561661882321454
7, 118, 0.15555630892952874
7, 407, 0.1541209414671318
7, 100, 0.15379194673257737
7, 113, 0.15093324891975116
7, 295, 0.147677106033372
7, 380, 0.14751098617833272
7, 378, 0.1474595310522424
7, 152, 0.14189336427941296
7, 409, 0.13396733930297391
8, 155, 0.19351451791786123
8, 85, 0.17417584621425178
8, 140, 0.16436786272562987
8, 174, 0.16283398439605035
8, 49, 0.15638197453973182
8, 123, 0.15578603579871153
8, 40, 0.15177914333823775
8, 230, 0.1509352406185556
8, 118, 0.1433777170119946
8, 86, 0.14195165696221274
8, 337, 0.1414457513373463
8, 210, 0.13931671668397805
8, 232, 0.13557521991164184
8, 98, 0.12792462065381338
8, 117, 0.12782890084140128
9, 255, 0.2304614345955079
9, 196, 0.168179193775919
9, 268, 0.16329639468038276
9, 309, 0.14509956785544498
9, 334, 0.14509055471806967
9, 146, 0.13719846239515826
9, 219, 0.13565164639373775
9, 266, 0.12761873993188977
9, 27, 0.12690199562238438
9, 96, 0.12538866832298817
9, 185, 0.12070352744844076
9, 130, 0.11898610596715511
9, 239, 0.11799310008530836
9, 301, 0.11705742792744288
9, 63, 0.1155177971410219
10, 54, 0.17726571399729796
10, 186, 0.17235820525895068
10, 401, 0.17046409151725006
10, 159, 0.16661650432943842
10, 70, 0.1646639218534653
10, 36, 0.1644223554281254
10, 44, 0.15532783835756417
10, 61, 0.15409659991735064
10, 355, 0.14631147863211347
10, 423, 0.1431053996887822
10, 305, 0.14175542335938918
10, 144, 0.13554737361781705
10, 238, 0.1354654598831326
10, 171, 0.1335894733992749
10, 216, 0.13274429864226733
11, 193, 0.195729378085828
11, 402, 0.19272342237110257
11, 15, 0.182804055829055
11, 351, 0.17997827143762
11, 138, 0.17896211732331713
11, 257, 0.17741018009925136
11, 297, 0.17624070128317693
11, 348, 0.175262425820074
11, 204, 0.17145035282763313
11, 13, 0.17057228326646606
11, 91, 0.15975688791320217
11, 387, 0.15773259451940996
11, 306, 0.1557153484638361
11, 4, 0.15373037366403053
11, 28, 0.15035538998780892
12, 308, 0.18544990002898773
12, 363, 0.17999659241790056
12, 332, 0.17858853164978256
12, 422, 0.17024740782942155
12, 57, 0.1684279018554211
12, 51, 0.16723035640223338
12, 330, 0.16574735694070503
12, 188, 0.14532478429235768
12, 77, 0.1441916773008221
12, 295, 0.1419258497263836
12, 338, 0.14124190095330877
12, 224, 0.14014416707861474
12, 354, 0.13712727422276336
12, 13, 0.13663242906385398
12, 342, 0.13661853366841525
13, 368, 0.20132316880566448
13, 149, 0.20092268503708838
13, 203, 0.16881301976944973
13, 144, 0.15657392727215855
13, 26, 0.14244332343215022
13, 420, 0.14219870640602403
13, 24, 0.1366748981021653
13, 112, 0.13200869901374318
13, 284, 0.13028758945932473
13, 265, 0.12976130069306696
13, 158, 0.12796906795354823
13, 358, 0.12767189202845133
13, 330, 0.12601299339904176
13, 12, 0.12251340907090018
13, 396, 0.12240707407747317
14, 261, 0.1760496299315082
14, 33, 0.1676966510955218
14, 129, 0.15379587362421204
14, 191, 0.1488318440365392
14, 47, 0.14562179812940518
14, 57, 0.14550211491128442
14, 276, 0.14186857103253508
14, 220, 0.13650833154096575
14, 393, 0.1360023131168498
14, 397, 0.13583850675764209
14, 107, 0.13254997176944341
14, 278, 0.12971112961470252
14, 104, 0.12735983501431963
14, 293, 0.12528951551212653
14, 202, 0.12359184498727602
15, 414, 0.23840929048675655
15, 218, 0.1961945286836812
15, 151, 0.1947060147246895
15, 25, 0.1877415978436217
15, 405, 0.17962693804451998
15, 101, 0.17108410450138867
15, 27, 0.16305525796292877
15, 295, 0.16090715111774645
15, 254, 0.15319596049413267
15, 293, 0.149365065092664
15, 372, 0.14680775950667835
15, 249, 0.142251453901425
15, 193, 0.14105736272872527
15, 281, 0.14096654159805888
15, 81, 0.13748139553613736
16, 327, 0.20848189404572304
16, 22, 0.19890382792690064
16, 88, 0.19213289178087856
16, 402, 0.1886361920604405
16, 340, 0.18733727465077393
16, 329, 0.17950139540393764
16, 338, 0.17541404981273567
16, 62, 0.17506213993256914
16, 422, 0.16257553523730883
16, 423, 0.1565951577722518
16, 324, 0.15627545014223743
16, 153, 0.15059676303040573
16, 395, 0.14187495597279792
16, 286, 0.14160772215348616
16, 84, 0.13881868357379729
17, 407, 0.19918711560186111
17, 326, 0.17255506846754165
17, 329, 0.16665980867502633
17, 320, 0.16086441168261398
17, 315, 0.15792507405908549
17, 344, 0.15618475662604597
17, 387, 0.13467856137727818
17, 97, 0.12743425648039197
17, 377, 0.12649567313156962
17, 194, 0.12534864858655315
17, 254, 0.12260553566790511
17, 48, 0.11884236857572862
17, 235, 0.1178728194851455
17, 29, 0.11424714725577448
17, 39, 0.11315946910001087
18, 414, 0.2161091484087604
18, 329, 0.1951123930042501
18, 356, 0.19222326705362924
18, 388, 0.18826633104613766
18, 41, 0.17867974095707934
18, 79, 0.1543473979502367
18, 347, 0.14936777785259522
18, 258, 0.14752670790697256
18, 62, 0.13969638039818172
18, 114, 0.1373591106160501
18, 332, 0.1371548183921875
18, 177, 0.13423515376625578
18, 141, 0.1342103556741232
18, 234, 0.1330689235270296
18, 381, 0.13008302447619746
19, 112, 0.2677413600141903
19, 173, 0.24344645125200232
19, 68, 0.18326802923935281
19, 82, 0.17047483593095078
19, 225, 0.16754326018655857
19, 76, 0.16386138163843497
19, 165, 0.16343263964373084
19, 11, 0.15975468915475585
19, 303, 0.1585627050404126
19, 330, 0.15562139768525937
19, 363, 0.15480406810349923
19, 222, 0.15282936557419133
19, 16, 0.1441135220721742
19, 299, 0.14218608350956619
19, 83, 0.13668547450976554
20, 263, 0.22625653868865225
20, 369, 0.18230539493353773
20, 44, 0.16214453384209315
20, 104, 0.15813334029891402
20, 140, 0.15385398235384695
20, 63, 0.15078398827233652
20, 91, 0.14620847616458976
20, 380, 0.13977954290120814
20, 65, 0.13699167126130538
20, 287, 0.1359783187518323
20, 406, 0.13512307564853906
20, 241, 0.1336275890751035
20, 95, 0.13002568312163384
20, 266, 0.1255188588139977
20, 236, 0.12113544782383288
21, 49, 0.23278873902596636
21, 6, 0.21832552347182851
21, 354, 0.19421680478230763
21, 57, 0.18783055489766984
21, 227, 0.18571509861372376
21, 421, 0.17142726650847556
21, 338, 0.1575714261505225
21, 35, 0.15072927377830797
21, 370, 0.13829407198674612
21, 398, 0.1353300218427644
21, 89, 0.13321432663802726
21, 213, 0.12887474724096062
21, 164, 0.12436159061878252
21, 75, 0.12129119155303712
21, 207, 0.11714391023442472
22, 359, 0.2182973223465414
22, 176, 0.18092215672824752
22, 231, 0.17963700171482144
22, 376, 0.1465217857381613
22, 106, 0.1447375247462283
22, 181, 0.1320419621143195
22, 159, 0.13091882939945818
22, 208, 0.12648112289268137
22, 199, 0.12631949901253903
22, 281, 0.11935446421717402
22, 203, 0.11843487107352857
22, 200, 0.1173296166140878
22, 180, 0.11723614895696285
22, 126, 0.11716998771483206
22, 70, 0.11551258120622845
23, 268, 0.19661302093085148
23, 222, 0.1890396663776593
23, 253, 0.1801380085750083
23, 94, 0.17506182282438584
23, 224, 0.17080860944535042
23, 141, 0.1616272486766009
23, 423, 0.16147083281741778
23, 66, 0.15009612560422517
23, 386, 0.1498681549023814
23, 163, 0.1484771559656185
23, 114, 0.14838236097779156
23, 382, 0.14788048183284244
23, 369, 0.1444497992132336
23, 64, 0.14386630153116176
23, 116, 0.14051100706074232
24, 144, 0.23266816574975807
24, 122, 0.1695788253587001
24, 61, 0.1674486026326146
24, 247, 0.16678571898912242
24, 412, 0.16270381249226373
24, 244, 0.1619839397262514
24, 195, 0.16124934730806975
24, 296, 0.1466945512377088
24, 263, 0.138266544517065
24, 183, 0.13395918130676343
24, 285, 0.12963133940035668
24, 51, 0.1282855445420096
24, 374, 0.12732484582791467
24, 138, 0.1268480660898195
24, 270, 0.12675543053402127
25, 349, 0.17830562234206393
25, 128, 0.17818308275299616
25, 134, 0.17252645390702753
25, 76, 0.1680798275959276
25, 120, 0.16774396920936335
25, 206, 0.15449215803338254
25, 74, 0.15205878934140718
25, 69, 0.14532499879121397
25, 83, 0.1407263799042114
25, 66, 0.13742785224908582
25, 372, 0.13722399821040643
25, 350, 0.13587825291332412
25, 228, 0.1339112142382728
25, 378, 0.1304253188669141
25, 300, 0.12768193341407869
26, 42, 0.18524054041943902
26, 232, 0.17627395668024903
26, 159, 0.16149487855492867
26, 253, 0.15298825503078148
26, 273, 0.1499840102078865
26, 322, 0.14254834776124609
26, 99, 0.14198594324035324
26, 101, 0.14120350756837904
26, 310, 0.14113094182792968
26, 187, 0.13849732537745008
26, 139, 0.13336345946236297
26, 257, 0.13196244827569378
26, 389, 0.12597291755485196
26, 283, 0.11759527608071725
26, 36, 0.11653043739704852
27, 72, 0.17441727859826828
27, 151, 0.16588913557527563
27, 29, 0.15960210305124511
27, 227, 0.1548672278584961
27, 379, 0.15387504973987615
27, 382, 0.1496868870664786
27, 58, 0.13827182185984677
27, 38, 0.1350304802377952
27, 136, 0.13414772232898947
27, 81, 0.1331469619692599
27, 47, 0.1323323867340857
27, 258, 0.13172089658576078
27, 101, 0.13080359160532054
27, 27, 0.13061017667404315
27, 210, 0.12653851756740092
28, 340, 0.19350826635650842
28, 82, 0.18788421725783894
28, 114, 0.16891415844912547
28, 42, 0.1684921131314513
28, 410, 0.16823341365903222
28, 396, 0.16252460437714622
28, 301, 0.1585912999167418
28, 386, 0.15340717368642365
28, 176, 0.15258954624753496
28, 31, 0.14903914489372347
28, 26, 0.14807008279241332
28, 263, 0.14682997553035546
28, 302, 0.14651245924206924
28, 316, 0.1446044768124453
28, 94, 0.13967042729366963
29, 41, 0.19335459181136974
29, 282, 0.18258279948794642
29, 72, 0.1803225597930719
29, 270, 0.17746312364831945
29, 45, 0.16378866279561938
29, 287, 0.16294367000830162
29, 210, 0.15630401476847594
29, 379, 0.1558906295104957
29, 24, 0.15461961352291062
29, 16, 0.15359075271806769
29, 396, 0.14399652269337676
29, 84, 0.13870780668773613
29, 43, 0.13704891211991166
29, 311, 0.13596000154079632
29, 347, 0.12828008522597134
30, 63, 0.23240924117774242
30, 380, 0.22027285919127715
30, 218, 0.2160740135142959
30, 26, 0.19979746106231322
30, 102, 0.19978809821307109
30, 330, 0.19300110426977785
30, 255, 0.1774082964332609
30, 233, 0.15309210368204182
30, 50, 0.1501517606190139
30, 305, 0.14984341383981567
30, 323, 0.14835299516038888
30, 227, 0.1447652993055321
30, 335, 0.1415666736550259
30, 281, 0.13940363292849603
30, 209, 0.13704766697807708
31, 54, 0.17798949362707406
31, 401, 0.16787593849144805
31, 27, 0.1642876418738667
31, 69, 0.15657530499766134
31, 210, 0.15442672520957512
31, 151, 0.15126640646147954
31, 46, 0.1474729709856792
31, 44, 0.14603126276997613
31, 369, 0.14593388519862982
31, 148, 0.14395782773259375
31, 271, 0.1429785928823122
31, 261, 0.13998340634306336
31, 422, 0.13539688911767053
31, 202, 0.134496399769215
31, 386, 0.13093138813352945
32, 17, 0.3039257139329924
32, 248, 0.22238547657126462
32, 187, 0.20042660647400107
32, 178, 0.1916317424753769
32, 353, 0.17134531676133463
32, 204, 0.1678794957452499
32, 8, 0.16513609354663866
32, 347, 0.15770282672600577
32, 410, 0.1519394170154093
32, 396, 0.14581354482098202
32, 200, 0.14336212899387077
32, 250, 0.14323779079992605
32, 255, 0.13516239554697293
32, 177, 0.1341790919266957
32, 84, 0.12996171666478895
33, 101, 0.20423673026582606
33, 407, 0.18328155202578322
33, 230, 0.16326043273931234
33, 146, 0.1563613171068018
33, 249, 0.15377696486586917
33, 6, 0.14738480098436246
33, 113, 0.14474647065559632
33, 401, 0.1441751691813485
33, 240, 0.14365184351398907
33, 422, 0.14067196133916238
33, 353, 0.13977717180162638
33, 411, 0.13796583081051814
33, 370, 0.1358693549004617
33, 252, 0.13337667826564095
33, 421, 0.13208915449220873
34, 91, 0.25657120555134877
34, 397, 0.23017666521711053
34, 144, 0.21774734892972566
34, 23, 0.19064486679764797
34, 333, 0.19025822154535993
34, 107, 0.16528430227502913
34, 156, 0.1598274406546717
34, 190, 0.1592112437616981
34, 412, 0.15327388800488234
34, 398, 0.15049529715998464
34, 6, 0.14409837375555012
34, 269, 0.1422187505691428
34, 209, 0.13624099083090338
34, 11, 0.12951112707124768
34, 340, 0.12710771370725246
35, 376, 0.21758294583258733
35, 210, 0.17888801258437248
35, 149, 0.1775055071339726
35, 361, 0.16654870714288683
35, 187, 0.16436430670143537
35, 345, 0.1582171780869907
35, 305, 0.15763953924327184
35, 274, 0.1552233388405316
35, 334, 0.153084185105682
35, 59, 0.14766916598771845
35, 156, 0.14421564092943945
35, 266, 0.14408677794293
35, 290, 0.14404982152067175
35, 326, 0.14152856616910814
35, 300, 0.1391517857101491
36, 411, 0.18921633156001477
36, 120, 0.16961151003155184
36, 92, 0.16843504209275764
36, 171, 0.1679363471641619
36, 177, 0.1648790868440957
36, 95, 0.16288932430590877
36, 349, 0.14391721144021996
36, 315, 0.1409248031964117
36, 102, 0.1336626939739573
36, 111, 0.13246420995929684
36, 33, 0.12651889141618783
36, 273, 0.12519202973064011
36, 12, 0.12434246735834262
36, 333, 0.12431729857342116
36, 237, 0.12116650870459117
37, 214, 0.22072748630519468
37, 25, 0.18540789222898116
37, 367, 0.173510694203306
37, 1, 0.1688751181638143
37, 107, 0.1671741070594691
37, 87, 0.16209695590837242
37, 278, 0.15411398332018406
37, 119, 0.1524304050358006
37, 51, 0.15165690387423042
37, 299, 0.1485235380043185
37, 123, 0.14567079785125703
37, 56, 0.13897889876390437
37, 246, 0.1353293237259749
37, 116, 0.12970262035737642
37, 302, 0.1250273640727657
38, 412, 0.2084932604295424
38, 283, 0.1987280546833582
38, 142, 0.1860239735475183
38, 414, 0.179940645299491
38, 225, 0.16931983962654606
38, 352, 0.16157852012480511
38, 160, 0.16032900347401965
38, 12, 0.15866619310439087
38, 185, 0.1572707861413215
38, 57, 0.15347375393192136
38, 422, 0.14835360783653298
38, 238, 0.14648085483860457
38, 106, 0.1464291187727327
38, 347, 0.1394607689718668
38, 275, 0.13727975569213094
39, 16, 0.19556377966207325
39, 142, 0.1833275077629553
39, 345, 0.18031433668945107
39, 40, 0.17576923993938703
39, 14, 0.1698998726268934
39, 187, 0.16751053968448923
39, 188, 0.1520411511153565
39, 229, 0.15147839549108763
39, 226, 0.14736708946064447
39, 392, 0.14634568504593032
39, 347, 0.1441138241770217
39, 127, 0.13935968530895862
39, 145, 0.13806028002434662
39, 180, 0.13621323277845335
39, 418, 0.13402814250327527
40, 354, 0.19007317682412783
40, 190, 0.1784010172906073
40, 282, 0.17598414634232276
40, 254, 0.16384891106142319
40, 57, 0.15208645509183444
40, 157, 0.14919143226714365
40, 61, 0.1485955688497847
40, 278, 0.14447610866382857
40, 268, 0.14040648155685803
40, 223, 0.13308495093295397
40, 186, 0.1308033126119364
40, 100, 0.12839848855763583
40, 162, 0.12751383757672705
40, 11, 0.1251318617589739
40, 59, 0.12354667809804254
41, 156, 0.2610723121403572
41, 312, 0.23151893667303858
41, 169, 0.18354149819927257
41, 59, 0.17537648171395986
41, 94, 0.1697541758305845
41, 383, 0.16668597821766393
41, 237, 0.1596740760167183
41, 138, 0.1514095874526221
41, 423, 0.15031659048347698
41, 370, 0.1444801531538658
41, 66, 0.14242160251197733
41, 308, 0.14129942117788774
41, 65, 0.140824025864793
41, 44, 0.13612832997236807
41, 186, 0.13063866109676592
42, 222, 0.17295777498510123
42, 135, 0.1626251268375138
42, 224, 0.16159852681540254
42, 3, 0.1515784185466173
42, 2, 0.14785105643389612
42, 226, 0.14762537027633776
42, 369, 0.14649458152956696
42, 308, 0.13757147462849106
42, 370, 0.13521426480029358
42, 338, 0.13096069361231866
42, 193, 0.13017958645863137
42, 411, 0.1286522281342631
42, 168, 0.12833266625796205
42, 15, 0.12627991185309229
42, 332, 0.12465112632040151
43, 287, 0.16916087769274796
43, 298, 0.16800143361025016
43, 58, 0.16661133391673968
43, 317, 0.16382249652981457
43, 70, 0.14197182422260304
43, 163, 0.136223032831467
43, 72, 0.13596005479258466
43, 157, 0.13428519193876512
43, 242, 0.13402364197218622
43, 420, 0.1337788280106404
43, 290, 0.12749731595040192
43, 318, 0.12711986353906102
43, 285, 0.12517002908632255
43, 284, 0.12461426560768732
43, 410, 0.12275041254376276
44, 324, 0.20280167287612325
44, 349, 0.19750915319224982
44, 299, 0.18543041312790534
44, 158, 0.18249228933389192
44, 294, 0.1707401900325143
44, 10, 0.16914695668452234
44, 171, 0.16790625263586906
44, 371, 0.1588861181021355
44, 285, 0.1517204065285057
44, 291, 0.15092955423434345
44, 21, 0.14403911198457942
44, 274, 0.14045784257842991
44, 344, 0.14030964368596976
44, 228, 0.140191348710956
44, 147, 0.13697075397332054
45, 237, 0.2215511326633809
45, 11, 0.2189567362813758
45, 411, 0.1891002754909885
45, 291, 0.17750592871866183
45, 130, 0.17653186788252595
45, 73, 0.17454977357476828
45, 402, 0.1618982675921575
45, 47, 0.1606521500786347
45, 74, 0.15573030830035584
45, 309, 0.15397074916902392
45, 315, 0.15292267468656273
45, 285, 0.14561554101548774
45, 72, 0.14509821696835917
45, 163, 0.14390500743804668
45, 64, 0.14059010809142322
46, 25, 0.20653076932288367
46, 98, 0.2014368787293077
46, 388, 0.19799067319429303
46, 396, 0.1936888166062411
46, 410, 0.16292305162739537
46, 163, 0.16270615346210132
46, 2, 0.16143754049723955
46, 34, 0.15538060504307327
46, 51, 0.15537769780291114
46, 64, 0.14792186608935554
46, 72, 0.14774918033760032
46, 8, 0.13661891768689394
46, 248, 0.12979546882242546
46, 157, 0.12761140983478242
46, 230, 0.12554582032187073
47, 355, 0.21447870547086614
47, 111, 0.17710476334643624
47, 252, 0.16851577970066325
47, 399, 0.16808753766438078
47, 59, 0.16375331970442342
47, 42, 0.15876513744094473
47, 202, 0.15868190608232477
47, 113, 0.1558162369151011
47, 95, 0.14581137189310617
47, 191, 0.14428792333769716
47, 392, 0.14244085996243272
47, 144, 0.13496840179284086
47, 317, 0.1345905457764262
47, 105, 0.13213343191487664
47, 198, 0.13147650275151135
48, 204, 0.20295778950126608
48, 259, 0.19623078274412903
48, 18, 0.17014355663201639
48, 4, 0.16067461007857314
48, 233, 0.16002341236356737
48, 302, 0.15888653668095967
48, 188, 0.15801776783728927
48, 421, 0.15264926097118175
48, 88, 0.15084622775730241
48, 246, 0.15058668827639948
48, 19, 0.1496738603090918
48, 181, 0.14729217181511292
48, 26, 0.14566597534543163
48, 349, 0.1425765205048109
48, 358, 0.14047842738713223
49, 205, 0.20150558309193817
49, 204, 0.19636404608682145
49, 306, 0.19594040282607766
49, 84, 0.19484591181009703
49, 364, 0.15636265324343712
49, 301, 0.15179643556386407
49, 187, 0.14554703884215747
49, 51, 0.1432084288784028
49, 386, 0.1404512525147774
49, 112, 0.13970692756385858
49, 396, 0.1343192870545456
49, 270, 0.1313251023423972
49, 157, 0.1306150702759138
49, 290, 0.13011273530341042
49, 73, 0.1294753156394584
50, 103, 0.20763121805389062
50, 192, 0.1508295674128328
50, 386, 0.15030954099994082
50, 423, 0.1447529621625799
50, 372, 0.14420850881714192
50, 211, 0.14130005954846886
50, 183, 0.13866254668656713
50, 383, 0.1366734490782616
50, 205, 0.13463398060394416
50, 16, 0.13386914061047891
50, 407, 0.13157214690565325
50, 323, 0.1306931865320552
50, 128, 0.1304471354336622
50, 320, 0.12384362831223718
50, 67, 0.12264543456488047
51, 356, 0.20850455895274694
51, 46, 0.1735653256365347
51, 312, 0.17238420578969077
51, 156, 0.15023502242682196
51, 248, 0.14428156976499792
51, 52, 0.14379857481667682
51, 110, 0.1431073930901239
51, 299, 0.1403114214599394
51, 415, 0.14010928920949764
51, 305, 0.1376570641364113
51, 384, 0.13475271619103169
51, 406, 0.13136341376095245
51, 283, 0.13007675075477576
51, 144, 0.1273953660000752
51, 7, 0.12550071243619443
52, 353, 0.21178878226886252
52, 76, 0.20965439657182944
52, 15, 0.19258753882093457
52, 8, 0.18411187922364083
52, 228, 0.15588145124980524
52, 79, 0.1555291764503521
52, 256, 0.1552988855519532
52, 325, 0.15452700402570613
52, 63, 0.15283499001475861
52, 221, 0.15061866252286812
52, 163, 0.14845680491037946
52, 133, 0.13467053301555842
52, 11, 0.1335969849347712
52, 271, 0.13349302513796502
52, 188, 0.1325755354459999
53, 357, 0.17861343398463658
53, 94, 0.15985765559102813
53, 82, 0.14830766456147831
53, 61, 0.1476394816202036
53, 273, 0.14718200231774034
53, 292, 0.14201306782521597
53, 239, 0.14182068708590626
53, 406, 0.1414615362458616
53, 193, 0.13913438321782307
53, 169, 0.1335047714724459
53, 302, 0.13036279375017815
53, 364, 0.13002336635864334
53, 67, 0.12974368161316696
53, 405, 0.12415505833647449
53, 16, 0.12319057822968921
54, 239, 0.18185501105439136
54, 120, 0.1787773440955152
54, 4, 0.17112295478586864
54, 235, 0.15473626169468954
54, 33, 0.14378189163042504
54, 137, 0.14289434663284314
54, 218, 0.1357262458963464
54, 238, 0.13163158057655042
54, 185, 0.13000606187040747
54, 257, 0.12298114496500012
54, 367, 0.12005347354211572
54, 224, 0.11925675434825765
54, 255, 0.11891070584086758
54, 169, 0.11704186961768856
54, 66, 0.11693140862313972
55, 43, 0.2053709864721694
55, 213, 0.19213213004849528
55, 151, 0.17013983632536245
55, 317, 0.16687801223555593
55, 332, 0.1607931929153308
55, 194, 0.1550182245132548
55, 259, 0.15424070495079964
55, 339, 0.15331709412635733
55, 155, 0.1518806882705689
55, 418, 0.15149956465866504
55, 95, 0.14704806585209457
55, 267, 0.13757327140505954
55, 24, 0.13004392391542963
55, 207, 0.1271797994374738
55, 209, 0.12479816675251973
56, 380, 0.1960002364778731
56, 348, 0.19076845156698832
56, 40, 0.17490364789693308
56, 244, 0.15713391819828665
56, 118, 0.15422379048843612
56, 408, 0.14701690078991136
56, 365, 0.1450978570897908
56, 309, 0.14444588849854317
56, 30, 0.14408715619167234
56, 88, 0.13871724253565093
56, 55, 0.1290737741301729
56, 259, 0.12807488273901474
56, 328, 0.1277334581444023
56, 35, 0.12761376860619375
56, 15, 0.12718629287778166
57, 194, 0.2494931300569438
57, 258, 0.20653753513437073
57, 237, 0.18261775955626175
57, 8, 0.17970038131028962
57, 32, 0.17489138795744852
57, 175, 0.16515219217784016
57, 246, 0.16045786175628424
57, 361, 0.1573568799775654
57, 339, 0.1544301364265538
57, 117, 0.15070093267994028
57, 412, 0.14500743184420065
57, 243, 0.14388263135654367
57, 59, 0.14251204770536677
57, 65, 0.1358340000155958
57, 220, 0.1306164956967743
58, 379, 0.20313817809597995
58, 371, 0.18473748878092097
58, 392, 0.18460160256258387
58, 161, 0.17358671583605936
58, 206, 0.17191504445906042
58, 146, 0.17004325656118027
58, 132, 0.161925884015902
58, 238, 0.15608280205555528
58, 225, 0.150867090253686
58, 63, 0.15075207783900998
58, 111, 0.14515173918534138
58, 350, 0.14060695514660157
58, 87, 0.1357479908226272
58, 323, 0.13355153718907933
58, 105, 0.1316622941468834
59, 394, 0.21735292014706303
59, 355, 0.18813288805425527
59, 391, 0.16139898187798304
59, 316, 0.14917983622752065
59, 72, 0.13239217360936245
59, 186, 0.13165265805158197
59, 325, 0.1314522713146508
59, 260, 0.1270784523408113
59, 44, 0.12201714906029837
59, 353, 0.12149632536093675
59, 263, 0.12045806332960142
59, 11, 0.11402260693584611
59, 338, 0.11286241919700385
59, 96, 0.109760096434911
59, 392, 0.10908971201057027
60, 63, 0.1728333322308232
60, 150, 0.15954514294331978
60, 193, 0.15379609993545612
60, 88, 0.14060595193171205
60, 375, 0.13998254646878264
60, 401, 0.13974866169370354
60, 318, 0.13331484189591197
60, 287, 0.1316212788322378
60, 413, 0.13043650021621317
60, 64, 0.12905248593146484
60, 58, 0.12643078421545637
60, 27, 0.12605985668083172
60, 130, 0.12423439554004657
60, 259, 0.12102458308042058
60, 223, 0.11853647104144124
61, 13, 0.21486515635065223
61, 269, 0.17239729682118216
61, 63, 0.1640281102272959
61, 309, 0.15907383031658112
61, 340, 0.1577290937728846
61, 37, 0.1483201695759299
61, 275, 0.14408211308789656
61, 195, 0.1439938064739672
61, 240, 0.1385704060094152
61, 134, 0.13694434863328148
61, 179, 0.13590741053508082
61, 335, 0.13394854311282542
61, 86, 0.13386068319778976
61, 15, 0.13172796735928097
61, 271, 0.1295610487820907
62, 204, 0.21544142626843465
62, 118, 0.20488008482164105
62, 412, 0.1757163243551013
62, 293, 0.15864622213444657
62, 271, 0.1570485453260095
62, 152, 0.1566556194782585
62, 290, 0.15586639325969032
62, 298, 0.1502033701656848
62, 113, 0.14422526459503499
62, 44, 0.14373230679166388
62, 288, 0.14303156740039946
62, 82, 0.1314856766820074
62, 1, 0.13115661330206393
62, 48, 0.12998133444435703
62, 249, 0.12861868130414109
63, 176, 0.24695009070552432
63, 244, 0.1871431237486553
63, 382, 0.18511781011178208
63, 216, 0.16903547433274674
63, 217, 0.16156660577147564
63, 407, 0.160988729203974
63, 91, 0.15477701218429785
63, 364, 0.15463299019483767
63, 144, 0.150690781308384
63, 50, 0.146032833729126
63, 113, 0.1409480882297114
63, 286, 0.13683377728938773
63, 363, 0.1350215956654466
63, 220, 0.1323307233749315
63, 166, 0.13137539988587194
64, 400, 0.20690798662101167
64, 377, 0.17539794898230543
64, 308, 0.17162637741036382
64, 333, 0.15703890468330564
64, 269, 0.1528256714609731
64, 403, 0.1462073490572593
64, 81, 0.14533406685361863
64, 254, 0.14522847521558316
64, 199, 0.1392875309217106
64, 409, 0.13924263339107273
64, 90, 0.13390657727964245
64, 186, 0.13336656775823813
64, 17, 0.13067542164949375
64, 236, 0.1293951054263255
64, 32, 0.12842117566207248
65, 291, 0.19670312377911525
65, 131, 0.19339079983801893
65, 183, 0.1889642830136003
65, 17, 0.18246800628346027
65, 339, 0.18094769428235283
65, 335, 0.15787887329215539
65, 295, 0.1558952960904884
65, 89, 0.14911953625827434
65, 337, 0.14902223059828873
65, 38, 0.14791212448044305
65, 244, 0.14698767307705707
65, 159, 0.14314249535373802
65, 266, 0.13922116945190213
65, 56, 0.1289294247995385
65, 406, 0.12714328472161462
66, 368, 0.209820176023719
66, 174, 0.195237048280692
66, 120, 0.1901990796543231
66, 155, 0.17739915578410226
66, 36, 0.1666782094882886
66, 258, 0.15462846553577525
66, 85, 0.1498953944774079
66, 260, 0.14983467673685213
66, 400, 0.14630576373317367
66, 344, 0.1383667236921371
66, 117, 0.1381719396866061
66, 93, 0.13755704504071542
66, 376, 0.13321733708926503
66, 131, 0.1271806519802581
66, 196, 0.12670395800869633
67, 152, 0.1950133824733602
67, 140, 0.19102195828394736
67, 318, 0.18657576409573337
67, 367, 0.18281278102532386
67, 411, 0.1775425209281662
67, 186, 0.17067117957186004
67, 215, 0.16526356722796592
67, 106, 0.16497167631614582
67, 34, 0.1624932335847814
67, 144, 0.1603478106997706
67, 137, 0.15052549577631014
67, 304, 0.15031846204389554
67, 20, 0.14525951371224638
67, 58, 0.14473261338563498
67, 64, 0.14261642517947776
68, 392, 0.16963888624756324
68, 178, 0.16201664506958396
68, 233, 0.1618601509160887
68, 342, 0.16119492376302097
68, 115, 0.15240317850667998
68, 99, 0.15221309059737512