7 15 8 2 13 6 3 12 11 0 4 10 9 5 1 14 : 41 43 45 47 49 51 53 18910186 53

real	0m0.630s
user	0m0.620s
sys	0m0.004s
14 13 15 7 11 12 9 5 6 0 2 1 4 8 10 3 : 41 43 45 47 49 51 53 55 57 388009343 57

real	0m12.662s
user	0m12.625s
sys	0m0.012s
13 5 4 10 9 12 8 14 2 3 7 1 0 15 11 6 : 43 45 47 49 51 53 55 15805893 55

real	0m0.520s
user	0m0.512s
sys	0m0.004s
14 7 8 2 13 11 10 4 9 12 5 0 3 6 1 15 : 41 43 45 47 49 51 53 55 57 59 531541735 59

real	0m19.051s
user	0m19.021s
sys	0m0.008s
5 12 10 7 15 11 14 0 8 2 1 13 3 4 9 6 : 42 44 46 48 50 52 54 56 153904610 56

real	0m5.090s
user	0m5.076s
sys	0m0.004s
4 7 14 13 10 3 9 12 11 5 6 15 1 2 8 0 : 42 44 46 48 50 52 54 56 11433734 56

real	0m0.376s
user	0m0.372s
sys	0m0.004s
14 7 1 9 12 3 6 15 8 11 2 5 10 0 4 13 : 36 38 40 42 44 46 48 50 52 28049040 52

real	0m0.937s
user	0m0.924s
sys	0m0.008s
2 11 15 5 13 4 6 7 12 8 10 1 9 3 14 0 : 30 32 34 36 38 40 42 44 46 48 50 52 384235865 52

real	0m12.686s
user	0m12.477s
sys	0m0.020s
12 11 15 3 8 0 4 2 6 13 9 5 14 1 10 7 : 32 34 36 38 40 42 44 46 48 50 40650652 50

real	0m1.454s
user	0m1.348s
sys	0m0.008s
3 14 9 11 5 4 8 2 13 12 6 7 10 1 15 0 : 32 34 36 38 40 42 44 46 1781877 46

real	0m0.066s
user	0m0.060s
sys	0m0.008s