Sat Mar 14 01:00:13 EDT 2009 BestSoFar ArrayList time 2142 gen 1 score 190580 cov 191 BestSoFar ArrayList time 3450 gen 2 score 201247 cov 202 BestSoFar ArrayList time 4932 gen 3 score 201247 cov 202 BestSoFar ArrayList time 6328 gen 4 score 201247 cov 202 BestSoFar ArrayList time 7865 gen 5 score 203048 cov 204 BestSoFar ArrayList time 9463 gen 6 score 204048 cov 205 BestSoFar ArrayList time 11415 gen 7 score 204558 cov 207 BestSoFar ArrayList time 13658 gen 8 score 204558 cov 207 BestSoFar ArrayList time 16017 gen 9 score 204558 cov 207 BestSoFar ArrayList time 18131 gen 10 score 204558 cov 207 BestSoFar ArrayList time 20985 gen 11 score 205558 cov 208 BestSoFar ArrayList time 23778 gen 12 score 205558 cov 208 BestSoFar ArrayList time 26529 gen 13 score 205558 cov 208 BestSoFar ArrayList time 29255 gen 14 score 205558 cov 208 BestSoFar ArrayList time 31860 gen 15 score 205558 cov 208 BestSoFar ArrayList time 34432 gen 16 score 205558 cov 208 BestSoFar ArrayList time 37082 gen 17 score 205558 cov 208 BestSoFar ArrayList time 39718 gen 18 score 205558 cov 208 BestSoFar ArrayList time 42506 gen 19 score 205558 cov 208 BestSoFar ArrayList time 45152 gen 20 score 205893 cov 208 BestSoFar ArrayList time 47877 gen 21 score 205893 cov 208 BestSoFar ArrayList time 50474 gen 22 score 205893 cov 208 BestSoFar ArrayList time 53056 gen 23 score 205893 cov 208 BestSoFar ArrayList time 55723 gen 24 score 205893 cov 208 BestSoFar ArrayList time 58354 gen 25 score 206226 cov 208 BestSoFar ArrayList time 61113 gen 26 score 206226 cov 208 BestSoFar ArrayList time 63818 gen 27 score 206226 cov 208 BestSoFar ArrayList time 66548 gen 28 score 206226 cov 208 BestSoFar ArrayList time 69317 gen 29 score 206226 cov 208 BestSoFar ArrayList time 72092 gen 30 score 206226 cov 208 BestSoFar ArrayList time 74981 gen 31 score 206226 cov 208 BestSoFar ArrayList time 78097 gen 32 score 206226 cov 208 BestSoFar ArrayList time 80800 gen 33 score 206226 cov 208 BestSoFar ArrayList time 83627 gen 34 score 206226 cov 208 BestSoFar ArrayList time 86627 gen 35 score 206226 cov 208 BestSoFar ArrayList time 89711 gen 36 score 206226 cov 208 BestSoFar ArrayList time 93963 gen 37 score 206639 cov 209 BestSoFar ArrayList time 96956 gen 38 score 206639 cov 209 BestSoFar ArrayList time 99705 gen 39 score 206639 cov 209 BestSoFar ArrayList time 102474 gen 40 score 206639 cov 209 BestSoFar ArrayList time 105282 gen 41 score 206639 cov 209 BestSoFar ArrayList time 107951 gen 42 score 206639 cov 209 BestSoFar ArrayList time 110694 gen 43 score 206639 cov 209 BestSoFar ArrayList time 113346 gen 44 score 206639 cov 209 BestSoFar ArrayList time 116058 gen 45 score 206639 cov 209 BestSoFar ArrayList time 118855 gen 46 score 206639 cov 209 BestSoFar ArrayList time 121558 gen 47 score 206641 cov 209 BestSoFar ArrayList time 124284 gen 48 score 206641 cov 209 BestSoFar ArrayList time 127066 gen 49 score 206641 cov 209 BestSoFar ArrayList time 129844 gen 50 score 206641 cov 209 BestSoFar EnumMap time 2015 gen 1 score 3325 cov 3 BestSoFar EnumMap time 2694 gen 2 score 3657 cov 3 BestSoFar EnumMap time 3314 gen 3 score 3657 cov 3 BestSoFar EnumMap time 3940 gen 4 score 3657 cov 3 BestSoFar EnumMap time 4549 gen 5 score 3657 cov 3 BestSoFar EnumMap time 5143 gen 6 score 6661 cov 6 BestSoFar EnumMap time 5730 gen 7 score 6661 cov 6 BestSoFar EnumMap time 6350 gen 8 score 6661 cov 6 BestSoFar EnumMap time 6898 gen 9 score 6661 cov 6 BestSoFar EnumMap time 7442 gen 10 score 6661 cov 6 BestSoFar EnumMap time 9438 gen 11 score 6661 cov 6 BestSoFar EnumMap time 10033 gen 12 score 6661 cov 6 BestSoFar EnumMap time 10585 gen 13 score 6661 cov 6 BestSoFar EnumMap time 11110 gen 14 score 6661 cov 6 BestSoFar EnumMap time 11631 gen 15 score 6661 cov 6 BestSoFar EnumMap time 12164 gen 16 score 6661 cov 6 BestSoFar EnumMap time 12704 gen 17 score 6661 cov 6 BestSoFar EnumMap time 13238 gen 18 score 6661 cov 6 BestSoFar EnumMap time 13912 gen 19 score 6661 cov 6 BestSoFar EnumMap time 14437 gen 20 score 6661 cov 6 BestSoFar EnumMap time 15661 gen 21 score 6661 cov 6 BestSoFar EnumMap time 16189 gen 22 score 6661 cov 6 BestSoFar EnumMap time 16711 gen 23 score 6661 cov 6 BestSoFar EnumMap time 17243 gen 24 score 6661 cov 6 BestSoFar EnumMap time 17769 gen 25 score 6661 cov 6 BestSoFar EnumMap time 18295 gen 26 score 6661 cov 6 BestSoFar EnumMap time 18820 gen 27 score 6661 cov 6 BestSoFar EnumMap time 19350 gen 28 score 6661 cov 6 BestSoFar EnumMap time 19874 gen 29 score 6661 cov 6 BestSoFar EnumMap time 20391 gen 30 score 6661 cov 6 BestSoFar EnumMap time 21527 gen 31 score 6661 cov 6 BestSoFar EnumMap time 22038 gen 32 score 6661 cov 6 BestSoFar EnumMap time 22535 gen 33 score 6661 cov 6 BestSoFar EnumMap time 23036 gen 34 score 6661 cov 6 BestSoFar EnumMap time 23548 gen 35 score 6661 cov 6 BestSoFar EnumMap time 24050 gen 36 score 6661 cov 6 BestSoFar EnumMap time 24558 gen 37 score 6661 cov 6 BestSoFar EnumMap time 25074 gen 38 score 6661 cov 6 BestSoFar EnumMap time 25566 gen 39 score 6661 cov 6 BestSoFar EnumMap time 26071 gen 40 score 6661 cov 6 BestSoFar EnumMap time 27176 gen 41 score 6661 cov 6 BestSoFar EnumMap time 27675 gen 42 score 6661 cov 6 BestSoFar EnumMap time 28182 gen 43 score 6661 cov 6 BestSoFar EnumMap time 28694 gen 44 score 6661 cov 6 BestSoFar EnumMap time 29205 gen 45 score 6661 cov 6 BestSoFar EnumMap time 29706 gen 46 score 6661 cov 6 BestSoFar EnumMap time 30213 gen 47 score 6661 cov 6 BestSoFar EnumMap time 30707 gen 48 score 6661 cov 6 BestSoFar EnumMap time 31198 gen 49 score 6661 cov 6 BestSoFar EnumMap time 31694 gen 50 score 6661 cov 6 BestSoFar HashMap time 3769 gen 1 score 356033 cov 357 BestSoFar HashMap time 5194 gen 2 score 361035 cov 362 BestSoFar HashMap time 6647 gen 3 score 369366 cov 370 BestSoFar HashMap time 8280 gen 4 score 369366 cov 370 BestSoFar HashMap time 10067 gen 5 score 380300 cov 381 BestSoFar HashMap time 11767 gen 6 score 380300 cov 381 BestSoFar HashMap time 13573 gen 7 score 380300 cov 381 BestSoFar HashMap time 15683 gen 8 score 392925 cov 395 BestSoFar HashMap time 17904 gen 9 score 392925 cov 395 BestSoFar HashMap time 20017 gen 10 score 392925 cov 395 BestSoFar HashMap time 22446 gen 11 score 392925 cov 395 BestSoFar HashMap time 25014 gen 12 score 392925 cov 395 BestSoFar HashMap time 27837 gen 13 score 397592 cov 400 BestSoFar HashMap time 30685 gen 14 score 397592 cov 400 BestSoFar HashMap time 33523 gen 15 score 397925 cov 400 BestSoFar HashMap time 36495 gen 16 score 405181 cov 408 BestSoFar HashMap time 39612 gen 17 score 410515 cov 414 BestSoFar HashMap time 43081 gen 18 score 410515 cov 414 BestSoFar HashMap time 46627 gen 19 score 410515 cov 414 BestSoFar HashMap time 50545 gen 20 score 410515 cov 414 BestSoFar HashMap time 55033 gen 21 score 410515 cov 414 BestSoFar HashMap time 59299 gen 22 score 410515 cov 414 BestSoFar HashMap time 63466 gen 23 score 410515 cov 414 BestSoFar HashMap time 67950 gen 24 score 410515 cov 414 BestSoFar HashMap time 72136 gen 25 score 410515 cov 414 BestSoFar HashMap time 76386 gen 26 score 410515 cov 414 BestSoFar HashMap time 80797 gen 27 score 421745 cov 425 BestSoFar HashMap time 85681 gen 28 score 421745 cov 425 BestSoFar HashMap time 90406 gen 29 score 421745 cov 425 BestSoFar HashMap time 94970 gen 30 score 421745 cov 425 BestSoFar HashMap time 99608 gen 31 score 421745 cov 425 BestSoFar HashMap time 103754 gen 32 score 421745 cov 425 BestSoFar HashMap time 107891 gen 33 score 421745 cov 425 BestSoFar HashMap time 112097 gen 34 score 426081 cov 430 BestSoFar HashMap time 116332 gen 35 score 426081 cov 430 BestSoFar HashMap time 120559 gen 36 score 426081 cov 430 BestSoFar HashMap time 124723 gen 37 score 426745 cov 430 BestSoFar HashMap time 129028 gen 38 score 426745 cov 430 BestSoFar HashMap time 133291 gen 39 score 430412 cov 434 BestSoFar HashMap time 137680 gen 40 score 430745 cov 434 BestSoFar HashMap time 142216 gen 41 score 430745 cov 434 BestSoFar HashMap time 146553 gen 42 score 430745 cov 434 BestSoFar HashMap time 150993 gen 43 score 430745 cov 434 BestSoFar HashMap time 155593 gen 44 score 430745 cov 434 BestSoFar HashMap time 160129 gen 45 score 431412 cov 435 BestSoFar HashMap time 164634 gen 46 score 431412 cov 435 BestSoFar HashMap time 169381 gen 47 score 431412 cov 435 BestSoFar HashMap time 174232 gen 48 score 431412 cov 435 BestSoFar HashMap time 179040 gen 49 score 431412 cov 435 BestSoFar HashMap time 183830 gen 50 score 431412 cov 435 BestSoFar HashSet time 2032 gen 1 score 274476 cov 274 BestSoFar HashSet time 3148 gen 2 score 283045 cov 283 BestSoFar HashSet time 4097 gen 3 score 285641 cov 286 BestSoFar HashSet time 5248 gen 4 score 300314 cov 301 BestSoFar HashSet time 6517 gen 5 score 300314 cov 301 BestSoFar HashSet time 8687 gen 6 score 310704 cov 312 BestSoFar HashSet time 11041 gen 7 score 314314 cov 315 BestSoFar HashSet time 13326 gen 8 score 314646 cov 316 BestSoFar HashSet time 15503 gen 9 score 316312 cov 317 BestSoFar HashSet time 17807 gen 10 score 316312 cov 317 BestSoFar HashSet time 20214 gen 11 score 316312 cov 317 BestSoFar HashSet time 22395 gen 12 score 316312 cov 317 BestSoFar HashSet time 24544 gen 13 score 316312 cov 317 BestSoFar HashSet time 26383 gen 14 score 316312 cov 317 BestSoFar HashSet time 28252 gen 15 score 316312 cov 317 BestSoFar HashSet time 30274 gen 16 score 316312 cov 317 BestSoFar HashSet time 32697 gen 17 score 316312 cov 317 BestSoFar HashSet time 35213 gen 18 score 316312 cov 317 BestSoFar HashSet time 38081 gen 19 score 316312 cov 317 BestSoFar HashSet time 41076 gen 20 score 316312 cov 317 BestSoFar HashSet time 44219 gen 21 score 316312 cov 317 BestSoFar HashSet time 47428 gen 22 score 317449 cov 320 BestSoFar HashSet time 50557 gen 23 score 317449 cov 320 BestSoFar HashSet time 53895 gen 24 score 317449 cov 320 BestSoFar HashSet time 57400 gen 25 score 317449 cov 320 BestSoFar HashSet time 61035 gen 26 score 317449 cov 320 BestSoFar HashSet time 64418 gen 27 score 317449 cov 320 BestSoFar HashSet time 67764 gen 28 score 317449 cov 320 BestSoFar HashSet time 71007 gen 29 score 317449 cov 320 BestSoFar HashSet time 74161 gen 30 score 317449 cov 320 BestSoFar HashSet time 77282 gen 31 score 317449 cov 320 BestSoFar HashSet time 80259 gen 32 score 317457 cov 320 BestSoFar HashSet time 83287 gen 33 score 317457 cov 320 BestSoFar HashSet time 86430 gen 34 score 318457 cov 321 BestSoFar HashSet time 89394 gen 35 score 318457 cov 321 BestSoFar HashSet time 92664 gen 36 score 318457 cov 321 BestSoFar HashSet time 95854 gen 37 score 318457 cov 321 BestSoFar HashSet time 98911 gen 38 score 318457 cov 321 BestSoFar HashSet time 102130 gen 39 score 318457 cov 321 BestSoFar HashSet time 105386 gen 40 score 318457 cov 321 BestSoFar HashSet time 108553 gen 41 score 318457 cov 321 BestSoFar HashSet time 111689 gen 42 score 318457 cov 321 BestSoFar HashSet time 114846 gen 43 score 318457 cov 321 BestSoFar HashSet time 118057 gen 44 score 318457 cov 321 BestSoFar HashSet time 121203 gen 45 score 318457 cov 321 BestSoFar HashSet time 124401 gen 46 score 318457 cov 321 BestSoFar HashSet time 127534 gen 47 score 318457 cov 321 BestSoFar HashSet time 130752 gen 48 score 318457 cov 321 BestSoFar HashSet time 134015 gen 49 score 318457 cov 321 BestSoFar HashSet time 137426 gen 50 score 318457 cov 321 BestSoFar Hashtable time 3012 gen 1 score 373015 cov 374 BestSoFar Hashtable time 5032 gen 2 score 373015 cov 374 BestSoFar Hashtable time 7146 gen 3 score 373015 cov 374 BestSoFar Hashtable time 9265 gen 4 score 382015 cov 383 BestSoFar Hashtable time 11248 gen 5 score 382015 cov 383 BestSoFar Hashtable time 13133 gen 6 score 383682 cov 385 BestSoFar Hashtable time 14970 gen 7 score 389682 cov 391 BestSoFar Hashtable time 16889 gen 8 score 389682 cov 391 BestSoFar Hashtable time 19052 gen 9 score 389682 cov 391 BestSoFar Hashtable time 21132 gen 10 score 389682 cov 391 BestSoFar Hashtable time 23697 gen 11 score 389682 cov 391 BestSoFar Hashtable time 26458 gen 12 score 395910 cov 398 BestSoFar Hashtable time 29763 gen 13 score 395910 cov 398 BestSoFar Hashtable time 32903 gen 14 score 398577 cov 401 BestSoFar Hashtable time 36096 gen 15 score 398577 cov 401 BestSoFar Hashtable time 39225 gen 16 score 399240 cov 402 BestSoFar Hashtable time 42326 gen 17 score 399240 cov 402 BestSoFar Hashtable time 45693 gen 18 score 399240 cov 402 BestSoFar Hashtable time 49121 gen 19 score 399240 cov 402 BestSoFar Hashtable time 52696 gen 20 score 400134 cov 403 BestSoFar Hashtable time 56657 gen 21 score 400134 cov 403 BestSoFar Hashtable time 60354 gen 22 score 400134 cov 403 BestSoFar Hashtable time 64249 gen 23 score 400134 cov 403 BestSoFar Hashtable time 68184 gen 24 score 405689 cov 409 BestSoFar Hashtable time 72575 gen 25 score 406356 cov 410 BestSoFar Hashtable time 76951 gen 26 score 406356 cov 410 BestSoFar Hashtable time 81325 gen 27 score 406356 cov 410 BestSoFar Hashtable time 85704 gen 28 score 406356 cov 410 BestSoFar Hashtable time 90185 gen 29 score 406356 cov 410 BestSoFar Hashtable time 94615 gen 30 score 406356 cov 410 BestSoFar Hashtable time 99226 gen 31 score 406356 cov 410 BestSoFar Hashtable time 103758 gen 32 score 406356 cov 410 BestSoFar Hashtable time 108655 gen 33 score 406356 cov 410 BestSoFar Hashtable time 113135 gen 34 score 406356 cov 410 BestSoFar Hashtable time 117576 gen 35 score 406356 cov 410 BestSoFar Hashtable time 121946 gen 36 score 406356 cov 410 BestSoFar Hashtable time 126419 gen 37 score 406356 cov 410 BestSoFar Hashtable time 130843 gen 38 score 406356 cov 410 BestSoFar Hashtable time 135199 gen 39 score 406356 cov 410 BestSoFar Hashtable time 139627 gen 40 score 406356 cov 410 BestSoFar Hashtable time 144197 gen 41 score 406356 cov 410 BestSoFar Hashtable time 148590 gen 42 score 406356 cov 410 BestSoFar Hashtable time 153175 gen 43 score 406356 cov 410 BestSoFar Hashtable time 157854 gen 44 score 406356 cov 410 BestSoFar Hashtable time 162716 gen 45 score 406732 cov 411 BestSoFar Hashtable time 168369 gen 46 score 408399 cov 413 BestSoFar Hashtable time 173900 gen 47 score 408399 cov 413 BestSoFar Hashtable time 179711 gen 48 score 413068 cov 418 BestSoFar Hashtable time 185703 gen 49 score 414068 cov 419 BestSoFar Hashtable time 192021 gen 50 score 414068 cov 419 BestSoFar IdentityHashMap time 2974 gen 1 score 335990 cov 336 BestSoFar IdentityHashMap time 4208 gen 2 score 335990 cov 336 BestSoFar IdentityHashMap time 5341 gen 3 score 335990 cov 336 BestSoFar IdentityHashMap time 6431 gen 4 score 360134 cov 361 BestSoFar IdentityHashMap time 7837 gen 5 score 360134 cov 361 BestSoFar IdentityHashMap time 9421 gen 6 score 360134 cov 361 BestSoFar IdentityHashMap time 11130 gen 7 score 363641 cov 365 BestSoFar IdentityHashMap time 12807 gen 8 score 375342 cov 376 BestSoFar IdentityHashMap time 14358 gen 9 score 375342 cov 376 BestSoFar IdentityHashMap time 15958 gen 10 score 375342 cov 376 BestSoFar IdentityHashMap time 17729 gen 11 score 380307 cov 381 BestSoFar IdentityHashMap time 19417 gen 12 score 380307 cov 381 BestSoFar IdentityHashMap time 21125 gen 13 score 382007 cov 383 BestSoFar IdentityHashMap time 22939 gen 14 score 393307 cov 394 BestSoFar IdentityHashMap time 24788 gen 15 score 395974 cov 397 BestSoFar IdentityHashMap time 26757 gen 16 score 395976 cov 397 BestSoFar IdentityHashMap time 28672 gen 17 score 395976 cov 397 BestSoFar IdentityHashMap time 30800 gen 18 score 395976 cov 397 BestSoFar IdentityHashMap time 33241 gen 19 score 398790 cov 401 BestSoFar IdentityHashMap time 35820 gen 20 score 398790 cov 401 BestSoFar IdentityHashMap time 38758 gen 21 score 398790 cov 401 BestSoFar IdentityHashMap time 41520 gen 22 score 398790 cov 401 BestSoFar IdentityHashMap time 44269 gen 23 score 398790 cov 401 BestSoFar IdentityHashMap time 47141 gen 24 score 398790 cov 401 BestSoFar IdentityHashMap time 50066 gen 25 score 398790 cov 401 BestSoFar IdentityHashMap time 53065 gen 26 score 398790 cov 401 BestSoFar IdentityHashMap time 55901 gen 27 score 398790 cov 401 BestSoFar IdentityHashMap time 58747 gen 28 score 398790 cov 401 BestSoFar IdentityHashMap time 61519 gen 29 score 398790 cov 401 BestSoFar IdentityHashMap time 64332 gen 30 score 399520 cov 402 BestSoFar IdentityHashMap time 67529 gen 31 score 399520 cov 402 BestSoFar IdentityHashMap time 70446 gen 32 score 399520 cov 402 BestSoFar IdentityHashMap time 73528 gen 33 score 399520 cov 402 BestSoFar IdentityHashMap time 76611 gen 34 score 399520 cov 402 BestSoFar IdentityHashMap time 79685 gen 35 score 401697 cov 405 BestSoFar IdentityHashMap time 83007 gen 36 score 401697 cov 405 BestSoFar IdentityHashMap time 86163 gen 37 score 407125 cov 409 BestSoFar IdentityHashMap time 89270 gen 38 score 407125 cov 409 BestSoFar IdentityHashMap time 92548 gen 39 score 407125 cov 409 BestSoFar IdentityHashMap time 95824 gen 40 score 407125 cov 409 BestSoFar IdentityHashMap time 99149 gen 41 score 407125 cov 409 BestSoFar IdentityHashMap time 102936 gen 42 score 407366 cov 411 BestSoFar IdentityHashMap time 106673 gen 43 score 407366 cov 411 BestSoFar IdentityHashMap time 111028 gen 44 score 407366 cov 411 BestSoFar IdentityHashMap time 115265 gen 45 score 407366 cov 411 BestSoFar IdentityHashMap time 119483 gen 46 score 407366 cov 411 BestSoFar IdentityHashMap time 123692 gen 47 score 408364 cov 412 BestSoFar IdentityHashMap time 127921 gen 48 score 408364 cov 412 BestSoFar IdentityHashMap time 132078 gen 49 score 408364 cov 412 BestSoFar IdentityHashMap time 136279 gen 50 score 408364 cov 412 BestSoFar LinkedHashMap time 2057 gen 1 score 263968 cov 264 BestSoFar LinkedHashMap time 3595 gen 2 score 263968 cov 264 BestSoFar LinkedHashMap time 5834 gen 3 score 279187 cov 280 BestSoFar LinkedHashMap time 7694 gen 4 score 279187 cov 280 BestSoFar LinkedHashMap time 9578 gen 5 score 279187 cov 280 BestSoFar LinkedHashMap time 11400 gen 6 score 279187 cov 280 BestSoFar LinkedHashMap time 13052 gen 7 score 279187 cov 280 BestSoFar LinkedHashMap time 14794 gen 8 score 279187 cov 280 BestSoFar LinkedHashMap time 16613 gen 9 score 281187 cov 282 BestSoFar LinkedHashMap time 18426 gen 10 score 284238 cov 286 BestSoFar LinkedHashMap time 20439 gen 11 score 284238 cov 286 BestSoFar LinkedHashMap time 22316 gen 12 score 292238 cov 294 BestSoFar LinkedHashMap time 24372 gen 13 score 295238 cov 297 BestSoFar LinkedHashMap time 26476 gen 14 score 295238 cov 297 BestSoFar LinkedHashMap time 28651 gen 15 score 295238 cov 297 BestSoFar LinkedHashMap time 31010 gen 16 score 295238 cov 297 BestSoFar LinkedHashMap time 33571 gen 17 score 295238 cov 297 BestSoFar LinkedHashMap time 36267 gen 18 score 295238 cov 297 BestSoFar LinkedHashMap time 38817 gen 19 score 295238 cov 297 BestSoFar LinkedHashMap time 41523 gen 20 score 295238 cov 297 BestSoFar LinkedHashMap time 44272 gen 21 score 295238 cov 297 BestSoFar LinkedHashMap time 47083 gen 22 score 295238 cov 297 BestSoFar LinkedHashMap time 49951 gen 23 score 295238 cov 297 BestSoFar LinkedHashMap time 52767 gen 24 score 295238 cov 297 BestSoFar LinkedHashMap time 55402 gen 25 score 295238 cov 297 BestSoFar LinkedHashMap time 58029 gen 26 score 295238 cov 297 BestSoFar LinkedHashMap time 60736 gen 27 score 295238 cov 297 BestSoFar LinkedHashMap time 63749 gen 28 score 295238 cov 297 BestSoFar LinkedHashMap time 67063 gen 29 score 295238 cov 297 BestSoFar LinkedHashMap time 70103 gen 30 score 295238 cov 297 BestSoFar LinkedHashMap time 73587 gen 31 score 295238 cov 297 BestSoFar LinkedHashMap time 77001 gen 32 score 295941 cov 299 BestSoFar LinkedHashMap time 80169 gen 33 score 295941 cov 299 BestSoFar LinkedHashMap time 84064 gen 34 score 295941 cov 299 BestSoFar LinkedHashMap time 88154 gen 35 score 295941 cov 299 BestSoFar LinkedHashMap time 92274 gen 36 score 295941 cov 299 BestSoFar LinkedHashMap time 96503 gen 37 score 295941 cov 299 BestSoFar LinkedHashMap time 100536 gen 38 score 295941 cov 299 BestSoFar LinkedHashMap time 104646 gen 39 score 295941 cov 299 BestSoFar LinkedHashMap time 108787 gen 40 score 295941 cov 299 BestSoFar LinkedHashMap time 113000 gen 41 score 295941 cov 299 BestSoFar LinkedHashMap time 117116 gen 42 score 295941 cov 299 BestSoFar LinkedHashMap time 121189 gen 43 score 295941 cov 299 BestSoFar LinkedHashMap time 125421 gen 44 score 295941 cov 299 BestSoFar LinkedHashMap time 129707 gen 45 score 295941 cov 299 BestSoFar LinkedHashMap time 134115 gen 46 score 295941 cov 299 BestSoFar LinkedHashMap time 138475 gen 47 score 295941 cov 299 BestSoFar LinkedHashMap time 142741 gen 48 score 295941 cov 299 BestSoFar LinkedHashMap time 147091 gen 49 score 295941 cov 299 BestSoFar LinkedHashMap time 151458 gen 50 score 296274 cov 299 BestSoFar LinkedHashSet time 1990 gen 1 score 258370 cov 259 BestSoFar LinkedHashSet time 3415 gen 2 score 263542 cov 264 BestSoFar LinkedHashSet time 5309 gen 3 score 265705 cov 266 BestSoFar LinkedHashSet time 7158 gen 4 score 267167 cov 269 BestSoFar LinkedHashSet time 8778 gen 5 score 267167 cov 269 BestSoFar LinkedHashSet time 10327 gen 6 score 267167 cov 269 BestSoFar LinkedHashSet time 12104 gen 7 score 267167 cov 269 BestSoFar LinkedHashSet time 14246 gen 8 score 267167 cov 269 BestSoFar LinkedHashSet time 16421 gen 9 score 268240 cov 270 BestSoFar LinkedHashSet time 18535 gen 10 score 268240 cov 270 BestSoFar LinkedHashSet time 20791 gen 11 score 268240 cov 270 BestSoFar LinkedHashSet time 23053 gen 12 score 268240 cov 270 BestSoFar LinkedHashSet time 25470 gen 13 score 268240 cov 270 BestSoFar LinkedHashSet time 28078 gen 14 score 268240 cov 270 BestSoFar LinkedHashSet time 30878 gen 15 score 268240 cov 270 BestSoFar LinkedHashSet time 33608 gen 16 score 268240 cov 270 BestSoFar LinkedHashSet time 36840 gen 17 score 268240 cov 270 BestSoFar LinkedHashSet time 40070 gen 18 score 268868 cov 271 BestSoFar LinkedHashSet time 43332 gen 19 score 268868 cov 271 BestSoFar LinkedHashSet time 46601 gen 20 score 268868 cov 271 BestSoFar LinkedHashSet time 49957 gen 21 score 268868 cov 271 BestSoFar LinkedHashSet time 53300 gen 22 score 268868 cov 271 BestSoFar LinkedHashSet time 56710 gen 23 score 268868 cov 271 BestSoFar LinkedHashSet time 60035 gen 24 score 268868 cov 271 BestSoFar LinkedHashSet time 63358 gen 25 score 269999 cov 272 BestSoFar LinkedHashSet time 66530 gen 26 score 269999 cov 272 BestSoFar LinkedHashSet time 69587 gen 27 score 269999 cov 272 BestSoFar LinkedHashSet time 72820 gen 28 score 269999 cov 272 BestSoFar LinkedHashSet time 75958 gen 29 score 269999 cov 272 BestSoFar LinkedHashSet time 79285 gen 30 score 269999 cov 272 BestSoFar LinkedHashSet time 82588 gen 31 score 269999 cov 272 BestSoFar LinkedHashSet time 85886 gen 32 score 269999 cov 272 BestSoFar LinkedHashSet time 89135 gen 33 score 269999 cov 272 BestSoFar LinkedHashSet time 92425 gen 34 score 269999 cov 272 BestSoFar LinkedHashSet time 95715 gen 35 score 269999 cov 272 BestSoFar LinkedHashSet time 99037 gen 36 score 269999 cov 272 BestSoFar LinkedHashSet time 102622 gen 37 score 269999 cov 272 BestSoFar LinkedHashSet time 106286 gen 38 score 269999 cov 272 BestSoFar LinkedHashSet time 109930 gen 39 score 269999 cov 272 BestSoFar LinkedHashSet time 113556 gen 40 score 269999 cov 272 BestSoFar LinkedHashSet time 117365 gen 41 score 269999 cov 272 BestSoFar LinkedHashSet time 121211 gen 42 score 269999 cov 272 BestSoFar LinkedHashSet time 124901 gen 43 score 270051 cov 272 BestSoFar LinkedHashSet time 128070 gen 44 score 270051 cov 272 BestSoFar LinkedHashSet time 131287 gen 45 score 270051 cov 272 BestSoFar LinkedHashSet time 134450 gen 46 score 270051 cov 272 BestSoFar LinkedHashSet time 137691 gen 47 score 270051 cov 272 BestSoFar LinkedHashSet time 140853 gen 48 score 270051 cov 272 BestSoFar LinkedHashSet time 144149 gen 49 score 270051 cov 272 BestSoFar LinkedHashSet time 147835 gen 50 score 270051 cov 272 BestSoFar LinkedList time 2344 gen 1 score 242035 cov 242 BestSoFar LinkedList time 3954 gen 2 score 261202 cov 262 BestSoFar LinkedList time 5353 gen 3 score 266202 cov 267 BestSoFar LinkedList time 7285 gen 4 score 266202 cov 267 BestSoFar LinkedList time 9138 gen 5 score 268202 cov 269 BestSoFar LinkedList time 10893 gen 6 score 268202 cov 269 BestSoFar LinkedList time 12586 gen 7 score 268202 cov 269 BestSoFar LinkedList time 14210 gen 8 score 270548 cov 272 BestSoFar LinkedList time 15905 gen 9 score 270548 cov 272 BestSoFar LinkedList time 17795 gen 10 score 270548 cov 272 BestSoFar LinkedList time 19859 gen 11 score 270548 cov 272 BestSoFar LinkedList time 21813 gen 12 score 270548 cov 272 BestSoFar LinkedList time 23684 gen 13 score 270548 cov 272 BestSoFar LinkedList time 25638 gen 14 score 270548 cov 272 BestSoFar LinkedList time 27487 gen 15 score 270548 cov 272 BestSoFar LinkedList time 29369 gen 16 score 270548 cov 272 BestSoFar LinkedList time 31261 gen 17 score 270548 cov 272 BestSoFar LinkedList time 33234 gen 18 score 270548 cov 272 BestSoFar LinkedList time 35290 gen 19 score 270548 cov 272 BestSoFar LinkedList time 37349 gen 20 score 270548 cov 272 BestSoFar LinkedList time 39651 gen 21 score 270634 cov 273 BestSoFar LinkedList time 41933 gen 22 score 271634 cov 274 BestSoFar LinkedList time 44114 gen 23 score 271634 cov 274 BestSoFar LinkedList time 46472 gen 24 score 271634 cov 274 BestSoFar LinkedList time 48764 gen 25 score 271634 cov 274 BestSoFar LinkedList time 51486 gen 26 score 271634 cov 274 BestSoFar LinkedList time 55118 gen 27 score 271634 cov 274 BestSoFar LinkedList time 60571 gen 28 score 271634 cov 274 BestSoFar LinkedList time 64384 gen 29 score 271634 cov 274 BestSoFar LinkedList time 67705 gen 30 score 271634 cov 274 BestSoFar LinkedList time 71294 gen 31 score 271634 cov 274 BestSoFar LinkedList time 75465 gen 32 score 271634 cov 274 BestSoFar LinkedList time 78874 gen 33 score 271634 cov 274 BestSoFar LinkedList time 100920 gen 34 score 271634 cov 274 BestSoFar LinkedList time 104661 gen 35 score 271634 cov 274 BestSoFar LinkedList time 108026 gen 36 score 272261 cov 275 BestSoFar LinkedList time 111901 gen 37 score 272261 cov 275 BestSoFar LinkedList time 116190 gen 38 score 272261 cov 275 BestSoFar LinkedList time 120477 gen 39 score 272261 cov 275 BestSoFar LinkedList time 139055 gen 40 score 272261 cov 275 BestSoFar LinkedList time 144061 gen 41 score 272400 cov 275 BestSoFar LinkedList time 149325 gen 42 score 272400 cov 275 BestSoFar LinkedList time 154377 gen 43 score 272400 cov 275 BestSoFar LinkedList time 159806 gen 44 score 272400 cov 275 BestSoFar LinkedList time 168802 gen 45 score 272400 cov 275 BestSoFar LinkedList time 175271 gen 46 score 272400 cov 275 BestSoFar LinkedList time 180741 gen 47 score 272400 cov 275 BestSoFar LinkedList time 185414 gen 48 score 272400 cov 275 BestSoFar LinkedList time 190366 gen 49 score 272400 cov 275 BestSoFar LinkedList time 215800 gen 50 score 272400 cov 275 BestSoFar PriorityQueue time 2495 gen 1 score 205710 cov 207 BestSoFar PriorityQueue time 3984 gen 2 score 205710 cov 207 BestSoFar PriorityQueue time 6138 gen 3 score 205710 cov 207 BestSoFar PriorityQueue time 8025 gen 4 score 205710 cov 207 BestSoFar PriorityQueue time 9787 gen 5 score 205710 cov 207 BestSoFar PriorityQueue time 11584 gen 6 score 207712 cov 209 BestSoFar PriorityQueue time 13328 gen 7 score 207712 cov 209 BestSoFar PriorityQueue time 15023 gen 8 score 207712 cov 209 BestSoFar PriorityQueue time 17052 gen 9 score 207712 cov 209 BestSoFar PriorityQueue time 19643 gen 10 score 218150 cov 220 BestSoFar PriorityQueue time 22424 gen 11 score 218150 cov 220 BestSoFar PriorityQueue time 25030 gen 12 score 218150 cov 220 BestSoFar PriorityQueue time 27608 gen 13 score 218150 cov 220 BestSoFar PriorityQueue time 30212 gen 14 score 218150 cov 220 BestSoFar PriorityQueue time 33084 gen 15 score 218150 cov 220 BestSoFar PriorityQueue time 35974 gen 16 score 218150 cov 220 BestSoFar PriorityQueue time 38949 gen 17 score 218150 cov 220 BestSoFar PriorityQueue time 42133 gen 18 score 218150 cov 220 BestSoFar PriorityQueue time 45731 gen 19 score 218150 cov 220 BestSoFar PriorityQueue time 49200 gen 20 score 218150 cov 220 BestSoFar PriorityQueue time 52993 gen 21 score 218150 cov 220 BestSoFar PriorityQueue time 56493 gen 22 score 218150 cov 220 BestSoFar PriorityQueue time 59990 gen 23 score 218604 cov 221 BestSoFar PriorityQueue time 63421 gen 24 score 218604 cov 221 BestSoFar PriorityQueue time 66826 gen 25 score 218604 cov 221 BestSoFar PriorityQueue time 70161 gen 26 score 218604 cov 221 BestSoFar PriorityQueue time 73758 gen 27 score 220467 cov 224 BestSoFar PriorityQueue time 77608 gen 28 score 226467 cov 230 BestSoFar PriorityQueue time 81986 gen 29 score 226467 cov 230 BestSoFar PriorityQueue time 86243 gen 30 score 228616 cov 232 BestSoFar PriorityQueue time 90665 gen 31 score 228616 cov 232 BestSoFar PriorityQueue time 94966 gen 32 score 228616 cov 232 BestSoFar PriorityQueue time 99519 gen 33 score 228616 cov 232 BestSoFar PriorityQueue time 104150 gen 34 score 228616 cov 232 BestSoFar PriorityQueue time 109614 gen 35 score 228616 cov 232 BestSoFar PriorityQueue time 114201 gen 36 score 228616 cov 232 BestSoFar PriorityQueue time 119696 gen 37 score 228616 cov 232 BestSoFar PriorityQueue time 124333 gen 38 score 228616 cov 232 BestSoFar PriorityQueue time 130312 gen 39 score 228616 cov 232 BestSoFar PriorityQueue time 136656 gen 40 score 228616 cov 232 BestSoFar PriorityQueue time 143141 gen 41 score 228616 cov 232 BestSoFar PriorityQueue time 149289 gen 42 score 228616 cov 232 BestSoFar PriorityQueue time 155548 gen 43 score 228616 cov 232 BestSoFar PriorityQueue time 161962 gen 44 score 228616 cov 232 BestSoFar PriorityQueue time 168438 gen 45 score 228616 cov 232 BestSoFar PriorityQueue time 174857 gen 46 score 228616 cov 232 BestSoFar PriorityQueue time 181086 gen 47 score 228616 cov 232 BestSoFar PriorityQueue time 187344 gen 48 score 228616 cov 232 BestSoFar PriorityQueue time 193564 gen 49 score 228616 cov 232 BestSoFar PriorityQueue time 199868 gen 50 score 230304 cov 235 BestSoFar Properties time 6283 gen 1 score 297551 cov 298 BestSoFar Properties time 12391 gen 2 score 297771 cov 299 BestSoFar Properties time 22915 gen 3 score 297884 cov 298 BestSoFar Properties time 33518 gen 4 score 297884 cov 298 BestSoFar Properties time 43887 gen 5 score 297884 cov 298 BestSoFar Properties time 51785 gen 6 score 297884 cov 298 BestSoFar Properties time 62620 gen 7 score 298220 cov 299 BestSoFar Properties time 73573 gen 8 score 298220 cov 299 BestSoFar Properties time 81046 gen 9 score 298220 cov 299 BestSoFar Properties time 88534 gen 10 score 298220 cov 299 BestSoFar Properties time 94307 gen 11 score 298220 cov 299 BestSoFar Properties time 111115 gen 12 score 298220 cov 299 BestSoFar Properties time 117977 gen 13 score 298220 cov 299 BestSoFar Properties time 129492 gen 14 score 298220 cov 299 BestSoFar Properties time 135239 gen 15 score 298220 cov 299 BestSoFar Properties time 140727 gen 16 score 298220 cov 299 BestSoFar Properties time 148046 gen 17 score 298220 cov 299 BestSoFar Properties time 154461 gen 18 score 298220 cov 299 BestSoFar Properties time 159033 gen 19 score 298220 cov 299 BestSoFar Properties time 169280 gen 20 score 298220 cov 299 BestSoFar Properties time 173891 gen 21 score 298220 cov 299 BestSoFar Properties time 179596 gen 22 score 298220 cov 299 BestSoFar Properties time 190276 gen 23 score 298220 cov 299 BestSoFar Properties time 193945 gen 24 score 298220 cov 299 BestSoFar Properties time 198618 gen 25 score 298220 cov 299 BestSoFar Properties time 209571 gen 26 score 298220 cov 299 BestSoFar Properties time 216440 gen 27 score 298220 cov 299 BestSoFar Properties time 229470 gen 28 score 298220 cov 299 BestSoFar Properties time 247885 gen 29 score 298220 cov 299 BestSoFar Properties time 263613 gen 30 score 298220 cov 299 BestSoFar Properties time 281668 gen 31 score 298220 cov 299 BestSoFar Properties time 292904 gen 32 score 298220 cov 299 BestSoFar Properties time 308594 gen 33 score 298220 cov 299 BestSoFar Properties time 317440 gen 34 score 298220 cov 299 BestSoFar Properties time 329214 gen 35 score 298220 cov 299 BestSoFar Properties time 338789 gen 36 score 298220 cov 299 BestSoFar Properties time 352632 gen 37 score 298220 cov 299 BestSoFar Properties time 365307 gen 38 score 298220 cov 299 BestSoFar Properties time 375742 gen 39 score 298220 cov 299 BestSoFar Properties time 387075 gen 40 score 298220 cov 299 BestSoFar Properties time 393893 gen 41 score 298220 cov 299 BestSoFar Properties time 402028 gen 42 score 298220 cov 299 BestSoFar Properties time 409191 gen 43 score 298220 cov 299 BestSoFar Properties time 417073 gen 44 score 298220 cov 299 BestSoFar Properties time 425141 gen 45 score 298220 cov 299 BestSoFar Properties time 433311 gen 46 score 298220 cov 299 BestSoFar Properties time 443901 gen 47 score 298220 cov 299 BestSoFar Properties time 457090 gen 48 score 298220 cov 299 BestSoFar Properties time 469758 gen 49 score 298220 cov 299 BestSoFar Properties time 480965 gen 50 score 298220 cov 299 BestSoFar Stack time 1455 gen 1 score 77947 cov 78 BestSoFar Stack time 2102 gen 2 score 79722 cov 80 BestSoFar Stack time 2762 gen 3 score 83724 cov 84 BestSoFar Stack time 3667 gen 4 score 83724 cov 84 BestSoFar Stack time 4697 gen 5 score 83995 cov 85 BestSoFar Stack time 5705 gen 6 score 85328 cov 86 BestSoFar Stack time 6420 gen 7 score 86390 cov 86 BestSoFar Stack time 7513 gen 8 score 86390 cov 86 BestSoFar Stack time 9151 gen 9 score 86390 cov 86 BestSoFar Stack time 10844 gen 10 score 86390 cov 86 BestSoFar Stack time 12390 gen 11 score 86390 cov 86 BestSoFar Stack time 13930 gen 12 score 86390 cov 86 BestSoFar Stack time 15507 gen 13 score 86390 cov 86 BestSoFar Stack time 17161 gen 14 score 86390 cov 86 BestSoFar Stack time 18634 gen 15 score 86390 cov 86 BestSoFar Stack time 20044 gen 16 score 86390 cov 86 BestSoFar Stack time 21425 gen 17 score 86390 cov 86 BestSoFar Stack time 22784 gen 18 score 86390 cov 86 BestSoFar Stack time 24035 gen 19 score 86390 cov 86 BestSoFar Stack time 25233 gen 20 score 86390 cov 86 BestSoFar Stack time 26558 gen 21 score 86390 cov 86 BestSoFar Stack time 27867 gen 22 score 86390 cov 86 BestSoFar Stack time 29238 gen 23 score 86390 cov 86 BestSoFar Stack time 30502 gen 24 score 86390 cov 86 BestSoFar Stack time 31899 gen 25 score 86390 cov 86 BestSoFar Stack time 33251 gen 26 score 86390 cov 86 BestSoFar Stack time 34524 gen 27 score 86390 cov 86 BestSoFar Stack time 35618 gen 28 score 86390 cov 86 BestSoFar Stack time 36728 gen 29 score 86390 cov 86 BestSoFar Stack time 37816 gen 30 score 86390 cov 86 BestSoFar Stack time 38862 gen 31 score 86390 cov 86 BestSoFar Stack time 39949 gen 32 score 86390 cov 86 BestSoFar Stack time 41041 gen 33 score 86390 cov 86 BestSoFar Stack time 42081 gen 34 score 86390 cov 86 BestSoFar Stack time 43165 gen 35 score 86390 cov 86 BestSoFar Stack time 44190 gen 36 score 86390 cov 86 BestSoFar Stack time 45127 gen 37 score 86390 cov 86 BestSoFar Stack time 45945 gen 38 score 86390 cov 86 BestSoFar Stack time 46671 gen 39 score 86435 cov 87 BestSoFar Stack time 47499 gen 40 score 86435 cov 87 BestSoFar Stack time 48396 gen 41 score 86435 cov 87 BestSoFar Stack time 49301 gen 42 score 86435 cov 87 BestSoFar Stack time 50179 gen 43 score 86435 cov 87 BestSoFar Stack time 50984 gen 44 score 86435 cov 87 BestSoFar Stack time 51801 gen 45 score 86435 cov 87 BestSoFar Stack time 52687 gen 46 score 86435 cov 87 BestSoFar Stack time 53649 gen 47 score 86435 cov 87 BestSoFar Stack time 54475 gen 48 score 86435 cov 87 BestSoFar Stack time 55354 gen 49 score 86435 cov 87 BestSoFar Stack time 56245 gen 50 score 86435 cov 87 BestSoFar TreeMap time 3100 gen 1 score 454200 cov 455 BestSoFar TreeMap time 4800 gen 2 score 506025 cov 507 BestSoFar TreeMap time 6815 gen 3 score 506025 cov 507 BestSoFar TreeMap time 9195 gen 4 score 513127 cov 515 BestSoFar TreeMap time 11784 gen 5 score 523793 cov 525 BestSoFar TreeMap time 14520 gen 6 score 542793 cov 544 BestSoFar TreeMap time 17213 gen 7 score 542793 cov 544 BestSoFar TreeMap time 19751 gen 8 score 542793 cov 544 BestSoFar TreeMap time 22398 gen 9 score 563127 cov 565 BestSoFar TreeMap time 24919 gen 10 score 563127 cov 565 BestSoFar TreeMap time 27827 gen 11 score 563127 cov 565 BestSoFar TreeMap time 30591 gen 12 score 563127 cov 565 BestSoFar TreeMap time 33311 gen 13 score 563127 cov 565 BestSoFar TreeMap time 36346 gen 14 score 563127 cov 565 BestSoFar TreeMap time 39328 gen 15 score 574721 cov 577 BestSoFar TreeMap time 42463 gen 16 score 574721 cov 577 BestSoFar TreeMap time 45605 gen 17 score 574721 cov 577 BestSoFar TreeMap time 48722 gen 18 score 584305 cov 587 BestSoFar TreeMap time 51730 gen 19 score 593879 cov 596 BestSoFar TreeMap time 54914 gen 20 score 593879 cov 596 BestSoFar TreeMap time 58435 gen 21 score 593879 cov 596 BestSoFar TreeMap time 61897 gen 22 score 601545 cov 604 BestSoFar TreeMap time 65440 gen 23 score 601545 cov 604 BestSoFar TreeMap time 69045 gen 24 score 601545 cov 604 BestSoFar TreeMap time 72761 gen 25 score 602458 cov 605 BestSoFar TreeMap time 76792 gen 26 score 602458 cov 605 BestSoFar TreeMap time 80990 gen 27 score 602458 cov 605 BestSoFar TreeMap time 85197 gen 28 score 602458 cov 605 BestSoFar TreeMap time 89614 gen 29 score 605127 cov 608 BestSoFar TreeMap time 93953 gen 30 score 605127 cov 608 BestSoFar TreeMap time 98340 gen 31 score 605794 cov 609 BestSoFar TreeMap time 102587 gen 32 score 625254 cov 629 BestSoFar TreeMap time 106911 gen 33 score 625254 cov 629 BestSoFar TreeMap time 111308 gen 34 score 625254 cov 629 BestSoFar TreeMap time 115845 gen 35 score 625254 cov 629 BestSoFar TreeMap time 120332 gen 36 score 625254 cov 629 BestSoFar TreeMap time 124816 gen 37 score 625254 cov 629 BestSoFar TreeMap time 129356 gen 38 score 625254 cov 629 BestSoFar TreeMap time 133895 gen 39 score 629918 cov 634 BestSoFar TreeMap time 138722 gen 40 score 629918 cov 634 BestSoFar TreeMap time 143754 gen 41 score 629918 cov 634 BestSoFar TreeMap time 148657 gen 42 score 629918 cov 634 BestSoFar TreeMap time 153681 gen 43 score 629918 cov 634 BestSoFar TreeMap time 158701 gen 44 score 629918 cov 634 BestSoFar TreeMap time 163797 gen 45 score 647918 cov 652 BestSoFar TreeMap time 169031 gen 46 score 647918 cov 652 BestSoFar TreeMap time 174115 gen 47 score 647918 cov 652 BestSoFar TreeMap time 179249 gen 48 score 647918 cov 652 BestSoFar TreeMap time 184388 gen 49 score 647918 cov 652 BestSoFar TreeMap time 189555 gen 50 score 647918 cov 652 BestSoFar TreeSet time 2426 gen 1 score 419294 cov 420 BestSoFar TreeSet time 3974 gen 2 score 456961 cov 458 BestSoFar TreeSet time 5862 gen 3 score 468296 cov 469 BestSoFar TreeSet time 7633 gen 4 score 480629 cov 481 BestSoFar TreeSet time 9344 gen 5 score 480629 cov 481 BestSoFar TreeSet time 10982 gen 6 score 480629 cov 481 BestSoFar TreeSet time 12586 gen 7 score 480629 cov 481 BestSoFar TreeSet time 14139 gen 8 score 493296 cov 494 BestSoFar TreeSet time 15826 gen 9 score 507442 cov 509 BestSoFar TreeSet time 17753 gen 10 score 507442 cov 509 BestSoFar TreeSet time 20088 gen 11 score 553444 cov 555 BestSoFar TreeSet time 22761 gen 12 score 564111 cov 566 BestSoFar TreeSet time 25401 gen 13 score 564111 cov 566 BestSoFar TreeSet time 28071 gen 14 score 570444 cov 572 BestSoFar TreeSet time 30597 gen 15 score 570444 cov 572 BestSoFar TreeSet time 33085 gen 16 score 570444 cov 572 BestSoFar TreeSet time 35632 gen 17 score 570444 cov 572 BestSoFar TreeSet time 38369 gen 18 score 570444 cov 572 BestSoFar TreeSet time 41030 gen 19 score 575107 cov 577 BestSoFar TreeSet time 43811 gen 20 score 575107 cov 577 BestSoFar TreeSet time 46860 gen 21 score 575107 cov 577 BestSoFar TreeSet time 49999 gen 22 score 575107 cov 577 BestSoFar TreeSet time 53182 gen 23 score 575107 cov 577 BestSoFar TreeSet time 56401 gen 24 score 575107 cov 577 BestSoFar TreeSet time 59638 gen 25 score 575107 cov 577 BestSoFar TreeSet time 63071 gen 26 score 575107 cov 577 BestSoFar TreeSet time 66500 gen 27 score 575107 cov 577 BestSoFar TreeSet time 70055 gen 28 score 581636 cov 584 BestSoFar TreeSet time 73589 gen 29 score 581636 cov 584 BestSoFar TreeSet time 77542 gen 30 score 581636 cov 584 BestSoFar TreeSet time 81445 gen 31 score 581636 cov 584 BestSoFar TreeSet time 85809 gen 32 score 581636 cov 584 BestSoFar TreeSet time 90457 gen 33 score 581636 cov 584 BestSoFar TreeSet time 95150 gen 34 score 581636 cov 584 BestSoFar TreeSet time 100315 gen 35 score 584086 cov 588 BestSoFar TreeSet time 105474 gen 36 score 584086 cov 588 BestSoFar TreeSet time 110802 gen 37 score 584086 cov 588 BestSoFar TreeSet time 115967 gen 38 score 584751 cov 589 BestSoFar TreeSet time 121032 gen 39 score 584953 cov 589 BestSoFar TreeSet time 126065 gen 40 score 588286 cov 592 BestSoFar TreeSet time 131211 gen 41 score 588286 cov 592 BestSoFar TreeSet time 136436 gen 42 score 590086 cov 594 BestSoFar TreeSet time 141708 gen 43 score 590086 cov 594 BestSoFar TreeSet time 146876 gen 44 score 590086 cov 594 BestSoFar TreeSet time 152096 gen 45 score 590086 cov 594 BestSoFar TreeSet time 157362 gen 46 score 590086 cov 594 BestSoFar TreeSet time 162842 gen 47 score 590753 cov 595 BestSoFar TreeSet time 168295 gen 48 score 590753 cov 595 BestSoFar TreeSet time 173939 gen 49 score 590753 cov 595 BestSoFar TreeSet time 179502 gen 50 score 590897 cov 595 BestSoFar Vector time 4293 gen 1 score 316193 cov 316 BestSoFar Vector time 6181 gen 2 score 361604 cov 362 BestSoFar Vector time 7890 gen 3 score 361604 cov 362 BestSoFar Vector time 9998 gen 4 score 361604 cov 362 BestSoFar Vector time 11922 gen 5 score 361604 cov 362 BestSoFar Vector time 13825 gen 6 score 361604 cov 362 BestSoFar Vector time 15713 gen 7 score 361604 cov 362 BestSoFar Vector time 17559 gen 8 score 361604 cov 362 BestSoFar Vector time 19661 gen 9 score 375428 cov 377 BestSoFar Vector time 22208 gen 10 score 375428 cov 377 BestSoFar Vector time 25005 gen 11 score 375428 cov 377 BestSoFar Vector time 27711 gen 12 score 375428 cov 377 BestSoFar Vector time 30608 gen 13 score 375428 cov 377 BestSoFar Vector time 33495 gen 14 score 375428 cov 377 BestSoFar Vector time 36166 gen 15 score 390763 cov 392 BestSoFar Vector time 38827 gen 16 score 406095 cov 408 BestSoFar Vector time 41606 gen 17 score 406095 cov 408 BestSoFar Vector time 44649 gen 18 score 406095 cov 408 BestSoFar Vector time 47801 gen 19 score 406095 cov 408 BestSoFar Vector time 51006 gen 20 score 406095 cov 408 BestSoFar Vector time 54723 gen 21 score 406095 cov 408 BestSoFar Vector time 58389 gen 22 score 406095 cov 408 BestSoFar Vector time 62455 gen 23 score 413754 cov 417 BestSoFar Vector time 66523 gen 24 score 415973 cov 418 BestSoFar Vector time 70580 gen 25 score 415973 cov 418 BestSoFar Vector time 74358 gen 26 score 415973 cov 418 BestSoFar Vector time 78119 gen 27 score 415973 cov 418 BestSoFar Vector time 81912 gen 28 score 415973 cov 418 BestSoFar Vector time 85953 gen 29 score 415973 cov 418 BestSoFar Vector time 89955 gen 30 score 415973 cov 418 BestSoFar Vector time 94406 gen 31 score 415973 cov 418 BestSoFar Vector time 98573 gen 32 score 415973 cov 418 BestSoFar Vector time 102796 gen 33 score 415973 cov 418 BestSoFar Vector time 107087 gen 34 score 415973 cov 418 BestSoFar Vector time 111419 gen 35 score 415973 cov 418 BestSoFar Vector time 115783 gen 36 score 415973 cov 418 BestSoFar Vector time 119918 gen 37 score 415973 cov 418 BestSoFar Vector time 123971 gen 38 score 415973 cov 418 BestSoFar Vector time 127967 gen 39 score 415973 cov 418 BestSoFar Vector time 131966 gen 40 score 415973 cov 418 BestSoFar Vector time 136500 gen 41 score 415973 cov 418 BestSoFar Vector time 140588 gen 42 score 415973 cov 418 BestSoFar Vector time 144611 gen 43 score 415973 cov 418 BestSoFar Vector time 148641 gen 44 score 417466 cov 421 BestSoFar Vector time 152705 gen 45 score 417466 cov 421 BestSoFar Vector time 156959 gen 46 score 417466 cov 421 BestSoFar Vector time 161404 gen 47 score 417466 cov 421 BestSoFar Vector time 165838 gen 48 score 417795 cov 421 BestSoFar Vector time 170373 gen 49 score 417795 cov 421 BestSoFar Vector time 174889 gen 50 score 422462 cov 426 BestSoFar WeakHashMap time 2559 gen 1 score 317000 cov 317 BestSoFar WeakHashMap time 3390 gen 2 score 317000 cov 317 BestSoFar WeakHashMap time 4108 gen 3 score 317000 cov 317 BestSoFar WeakHashMap time 4862 gen 4 score 367406 cov 368 BestSoFar WeakHashMap time 5729 gen 5 score 367406 cov 368 BestSoFar WeakHashMap time 7108 gen 6 score 374406 cov 375 BestSoFar WeakHashMap time 8492 gen 7 score 374406 cov 375 BestSoFar WeakHashMap time 9960 gen 8 score 379126 cov 380 BestSoFar WeakHashMap time 11790 gen 9 score 379126 cov 380 BestSoFar WeakHashMap time 13889 gen 10 score 379691 cov 381 BestSoFar WeakHashMap time 16154 gen 11 score 379691 cov 381 BestSoFar WeakHashMap time 18231 gen 12 score 382693 cov 384 BestSoFar WeakHashMap time 20209 gen 13 score 387026 cov 388 BestSoFar WeakHashMap time 22187 gen 14 score 387026 cov 388 BestSoFar WeakHashMap time 24445 gen 15 score 387026 cov 388 BestSoFar WeakHashMap time 26747 gen 16 score 387026 cov 388 BestSoFar WeakHashMap time 28812 gen 17 score 387026 cov 388 BestSoFar WeakHashMap time 30952 gen 18 score 387026 cov 388 BestSoFar WeakHashMap time 33183 gen 19 score 387026 cov 388 BestSoFar WeakHashMap time 35707 gen 20 score 387026 cov 388 BestSoFar WeakHashMap time 38666 gen 21 score 387026 cov 388 BestSoFar WeakHashMap time 41569 gen 22 score 387026 cov 388 BestSoFar WeakHashMap time 44582 gen 23 score 387026 cov 388 BestSoFar WeakHashMap time 47658 gen 24 score 393428 cov 396 BestSoFar WeakHashMap time 50768 gen 25 score 394428 cov 397 BestSoFar WeakHashMap time 53916 gen 26 score 394428 cov 397 BestSoFar WeakHashMap time 57153 gen 27 score 394428 cov 397 BestSoFar WeakHashMap time 60167 gen 28 score 394428 cov 397 BestSoFar WeakHashMap time 63411 gen 29 score 394428 cov 397 BestSoFar WeakHashMap time 67148 gen 30 score 394428 cov 397 BestSoFar WeakHashMap time 71080 gen 31 score 394428 cov 397 BestSoFar WeakHashMap time 74921 gen 32 score 394428 cov 397 BestSoFar WeakHashMap time 78761 gen 33 score 394428 cov 397 BestSoFar WeakHashMap time 83133 gen 34 score 394428 cov 397 BestSoFar WeakHashMap time 87746 gen 35 score 394428 cov 397 BestSoFar WeakHashMap time 92301 gen 36 score 397892 cov 402 BestSoFar WeakHashMap time 96898 gen 37 score 397892 cov 402 BestSoFar WeakHashMap time 101432 gen 38 score 397892 cov 402 BestSoFar WeakHashMap time 106007 gen 39 score 401223 cov 405 BestSoFar WeakHashMap time 110558 gen 40 score 401223 cov 405 BestSoFar WeakHashMap time 115193 gen 41 score 401223 cov 405 BestSoFar WeakHashMap time 119717 gen 42 score 401223 cov 405 BestSoFar WeakHashMap time 124336 gen 43 score 401223 cov 405 BestSoFar WeakHashMap time 128958 gen 44 score 401223 cov 405 BestSoFar WeakHashMap time 133795 gen 45 score 401223 cov 405 BestSoFar WeakHashMap time 138463 gen 46 score 403937 cov 408 BestSoFar WeakHashMap time 142895 gen 47 score 403937 cov 408 BestSoFar WeakHashMap time 147601 gen 48 score 403937 cov 408 BestSoFar WeakHashMap time 152736 gen 49 score 403937 cov 408 BestSoFar WeakHashMap time 157569 gen 50 score 403937 cov 408