29.34964864845291 Coq404

0.4069417588986821 Coq404

0.4069417588986821 Coq404

31.099791728083016 Coq404

6768.840412941498 Coq404

6768.840412941498 Coq404

5.204784553345406 Coq404

19.17144919334474 Coq404

1.495201856749764 Coq404

1.495201856749764 Coq404

2.981467923235627 Coq404

2.981467923235627 Coq404

37.562958065257654 Coq404

140.918644028009 Coq404

59.340475742493 Coq404

4.214315675680722 Coq404

1.0411313882186661 Coq404

5.5923792624210025 Coq404

172.15624225973426 Coq404

223.98678233557087 Coq404

172.15624225973426 Coq404

13 Coq404

20.191685762847463 Coq404

35.63427753759532 Coq404

247.69862870960122 Coq404

35.63427753759532 Coq404

2.988614131357671 Coq404

2.988614131357671 Coq404

2.9862292084505424 Coq404

2.9862292084505424 Coq404

61.032780577226006 Coq404

6.431298880537453 Coq404

53.45926308726583 Coq404

194.43812861097462 Coq404

8.515684404171287 Coq404

38.57375900319155 Coq404

638.279588500864 Coq404

38.57375900319155 Coq404

136.66379714870908 Coq404

45.92682083109875 Coq404

21.457070765784785 Coq404

60.782354617510855 Coq404

129.10616734250624 Coq404

222 Coq404

46.70171625856407 Coq404

56.4101273695308 Coq404

16.442468237650207 Coq404

25.156744394521816 Coq404

45.500601661791656 Coq404

92.62177880831307 Coq404