fork download
  1. #!/usr/bin/perl
  2.  
  3. use strict;
  4. use warnings;
  5. use v5.12;
  6.  
  7. use Math::BigInt "blcm";
  8.  
  9. my $verbose = q/TRUE/;
  10.  
  11. sub test {
  12.  
  13. my $p = shift;
  14.  
  15. # Period of this sequence according to our hypothesis.
  16. my $Hperiod = blcm(1 .. ($p - 1));
  17.  
  18. # Generate the first N terms of the sequence.
  19. my $N = 4 * $Hperiod;
  20.  
  21. my @x = (1);
  22.  
  23. for my $i (0 .. ($N)) {
  24. $x[ $i + 1 ] = $p - 1 - (($p * $i - 1) % $x[$i]);
  25. }
  26.  
  27. # Stringize.
  28. my $xstr = join ',', @x;
  29.  
  30. # Use regular expressions to check that the sequence has a periodicity.
  31. my $term = qr/\d+,/;
  32.  
  33. my $pattern = qr/(?<subsequence>${term}{$Hperiod})
  34. \g{subsequence}\g{subsequence}/x;
  35.  
  36. return 0 unless $xstr =~ /$pattern/;
  37.  
  38. # Success!
  39. my $subseq = $+{'subsequence'};
  40.  
  41. # Find out the index from where the periodicity begins.
  42. my $non_periodic = substr $xstr, 0, $-[0];
  43. my $index = () = $non_periodic =~ /,/g;
  44.  
  45. # Print these details.
  46. if ($verbose =~ /TRUE/) {
  47. say "-" x 65;
  48. say "prime = $p; lcm(" . ($p - 1) . " .. 1) = $Hperiod";
  49. say "";
  50. say "First $N terms: {x_i} = $xstr";
  51. say "";
  52. say "Repeating sub-sequence: $subseq start\@index $index";
  53. }
  54.  
  55. return 1;
  56. }
  57.  
  58. for my $p (2, 3, 5, 7, 11) {
  59. my $result = (test($p) ? q/pass/ : q/FAIL/);
  60. say "$result for p = $p";
  61. }
Success #stdin #stdout 0.06s 6836KB
stdin
Standard input is empty
stdout
-----------------------------------------------------------------
prime = 2; lcm(1 .. 1) = 1

First 4 terms: {x_i} = 1,1,1,1,1,1

Repeating sub-sequence: 1, start@index 0
pass for p = 2
-----------------------------------------------------------------
prime = 3; lcm(2 .. 1) = 2

First 8 terms: {x_i} = 1,2,2,1,2,1,2,1,2,1

Repeating sub-sequence: 2,1, start@index 2
pass for p = 3
-----------------------------------------------------------------
prime = 5; lcm(4 .. 1) = 12

First 48 terms: {x_i} = 1,4,4,3,2,3,4,3,3,4,4,3,4,1,4,3,2,3,4,3,3,4,4,3,4,1,4,3,2,3,4,3,3,4,4,3,4,1,4,3,2,3,4,3,3,4,4,3,4,1

Repeating sub-sequence: 4,3,2,3,4,3,3,4,4,3,4,1, start@index 2
pass for p = 5
-----------------------------------------------------------------
prime = 7; lcm(6 .. 1) = 60

First 240 terms: {x_i} = 1,6,6,5,6,3,5,5,3,5,4,5,5,3,6,5,2,5,3,4,6,5,5,3,5,4,4,5,3,6,2,5,5,3,4,5,2,5,3,5,4,3,5,3,6,5,2,5,3,4,4,5,5,3,5,4,6,5,3,6,2,5,5,3,4,3,5,5,3,5,4,5,5,3,6,5,2,5,3,4,6,5,5,3,5,4,4,5,3,6,2,5,5,3,4,5,2,5,3,5,4,3,5,3,6,5,2,5,3,4,4,5,5,3,5,4,6,5,3,6,2,5,5,3,4,3,5,5,3,5,4,5,5,3,6,5,2,5,3,4,6,5,5,3,5,4,4,5,3,6,2,5,5,3,4,5,2,5,3,5,4,3,5,3,6,5,2,5,3,4,4,5,5,3,5,4,6,5,3,6,2,5,5,3,4,3,5,5,3,5,4,5,5,3,6,5,2,5,3,4,6,5,5,3,5,4,4,5,3,6,2,5,5,3,4,5,2,5,3,5,4,3,5,3,6,5,2,5,3,4,4,5,5,3,5,4,6,5,3,6,2,5

Repeating sub-sequence: 3,5,5,3,5,4,5,5,3,6,5,2,5,3,4,6,5,5,3,5,4,4,5,3,6,2,5,5,3,4,5,2,5,3,5,4,3,5,3,6,5,2,5,3,4,4,5,5,3,5,4,6,5,3,6,2,5,5,3,4, start@index 5
pass for p = 7
-----------------------------------------------------------------
prime = 11; lcm(10 .. 1) = 2520

First 10080 terms: {x_i} = 1,10,10,9,5,7,5,10,4,7,10,1,10,9,3,10,6,9,4,9,9,7,4,9,10,7,9,4,10,3,10,1,10,9,8,5,6,5,9,7,9,3,10,9,6,7,6,9,7,8,8,5,10,9,4,9,9,7,7,10,2,9,6,7,4,7,10,5,9,10,2,9,4,7,6,7,5,10,4,9,6,7,9,9,7,4,8,9,8,3,10,1,10,9,5,7,9,8,8,5,7,10,10,9,3,10,6,9,4,7,9,7,8,3,10,7,6,7,5,8,6,5,10,9,8,7,8,9,9,7,6,9,10,9,6,7,10,5,9,5,7,4,8,9,4,7,5,10,4,7,10,1,10,9,2,9,7,10,4,9,8,3,10,9,9,7,9,3,10,3,9,4,10,9,7,8,6,7,10,3,10,1,10,9,5,7,6,5,9,4,8,9,7,6,6,7,8,7,7,10,2,9,5,9,10,7,10,5,9,9,7,4,10,9,8,9,4,7,4,9,5,6,10,9,6,7,7,10,4,7,5,6,8,3,10,7,9,7,8,9,10,1,10,9,2,9,7,7,10,3,8,5,10,9,9,7,6,9,10,3,9,4,8,9,7,5,6,7,7,10,2,9,9,7,4,9,10,5,9,4,10,1,10,9,3,10,6,9,4,7,10,1,10,9,10,7,7,10,4,9,7,8,4,9,8,3,10,5,9,7,7,10,10,9,6,7,4,7,10,3,9,10,10,9,4,7,6,7,5,8,8,5,10,9,2,9,7,4,8,5,7,9,4,9,9,7,10,5,9,8,4,9,2,9,7,9,3,10,4,9,4,7,9,7,8,7,7,10,4,7,5,6,10,9,3,10,6,9,4,9,9,7,6,9,10,7,4,9,2,9,7,5,10,9,8,5,6,5,9,7,4,7,10,9,6,7,8,9,7,10,2,9,8,7,4,9,9,7,9,3,10,1,10,9,2,9,7,8,10,3,8,9,4,7,8,5,6,9,10,3,9,4,8,5,8,7,9,10,4,7,7,10,10,9,5,7,4,7,10,3,8,7,8,9,3,10,6,9,4,7,4,9,5,9,10,7,8,7,7,10,2,9,3,10,8,7,10,5,9,7,8,5,10,9,6,7,5,10,4,9,3,10,10,9,4,7,7,10,4,7,5,6,6,7,10,7,9,5,9,10,2,9,4,9,9,7,4,9,10,3,9,4,10,9,7,10,6,7,5,8,10,1,10,9,5,7,8,5,9,4,8,9,7,8,8,5,6,9,4,9,9,7,7,10,8,7,5,10,4,7,10,1,10,9,8,9,4,7,6,7,5,6,10,9,6,7,9,9,7,4,8,9,8,3,10,7,4,7,10,3,10,1,10,9,2,9,7,9,3,10,2,9,4,7,9,7,8,3,10,3,9,4,8,9,7,7,10,5,9,6,10,1,10,9,5,7,5,10,4,9,2,9,7,5,8,7,7,10,4,7,5,6,8,7,10,7,9,4,8,5,7,10,10,9,8,3,10,5,9,7,9,3,10,9,6,7,6,9,7,8,6,7,10,9,4,7,8,9,5,8,8,5,10,9,2,9,7,6,6,7,8,7,7,10,8,3,8,5,9,8,4,9,2,9,7,4,10,5,9,6,10,1,10,9,5,7,9,8,6,7,7,10,10,9,3,10,6,9,4,9,9,7,8,9,10,7,6,7,5,8,4,9,3,10,8,5,6,5,9,7,6,9,10,9,6,7,10,5,9,5,7,4,10,9,4,9,9,7,4,9,10,1,10,9,2,9,7,10,4,7,5,6,10,9,9,7,9,3,10,3,9,4,8,5,8,7,4,9,8,3,10,1,10,9,5,7,6,5,9,4,10,1,10,9,3,10,6,9,4,7,6,7,5,9,10,7,10,5,9,9,7,4,8,5,8,7,5,10,4,7,10,1,10,9,6,7,7,10,4,9,3,10,10,9,4,7,9,7,8,7,7,10,10,9,2,9,7,7,10,3,8,3,10,9,9,7,6,9,10,3,9,4,10,9,7,5,6,7,7,10,2,9,9,7,4,7,10,5,9,4,8,9,7,10,8,5,6,9,4,9,9,7,9,3,10,7,7,10,4,7,5,6,6,7,10,7,9,2,10,3,8,7,6,5,8,3,8,5,9,5,7,5,10,9,4,9,9,7,5,8,6,5,10,9,2,9,7,4,10,3,8,5,10,9,9,7,10,5,9,8,10,1,10,9,7,9,3,10,4,7,10,1,10,9,5,7,7,10,4,9,2,9,7,7,10,7,9,6,10,3,9,7,6,9,10,7,4,7,10,3,10,1,10,9,8,3,10,5,9,7,4,9,10,9,6,7,8,7,7,10,2,9,8,5,8,7,10,5,9,3,10,1,10,9,2,9,7,8,8,5,7,6,10,9,9,7,7,10,4,7,5,6,8,3,10,7,9,10,4,9,4,7,6,7,5,7,4,9,6,7,9,9,7,4,8,9,8,3,10,3,9,7,10,9,10,7,8,5,9,9,7,9,3,10,8,5,6,5,9,7,8,3,10,9,6,7,5,10,4,7,10,1,10,9,4,9,9,7,6,9,10,1,10,9,2,9,7,5,9,10,2,9,4,7,5,7,4,7,10,3,9,4,8,5,8,7,6,7,5,8,8,5,10,9,5,7,8,3,9,4,10,1,10,9,3,10,6,9,4,7,8,9,5,9,10,7,5,10,4,9,7,6,6,7,8,7,7,10,4,7,5,6,10,9,6,7,9,9,7,4,10,1,10,9,4,7,4,9,5,8,4,9,6,7,7,10,6,5,9,10,2,9,4,9,9,7,8,9,10,3,9,4,10,9,7,7,10,5,9,6,10,1,10,9,5,7,5,10,4,7,10,1,10,9,3,10,6,9,4,9,9,7,4,9,10,7,9,4,10,3,10,1,10,9,8,9,4,7,10,3,8,7,8,9,6,7,6,9,7,8,4,9,8,3,10,7,8,7,7,10,2,9,6,7,4,7,10,5,9,10,2,9,4,7,6,7,5,10,4,9,6,7,9,9,7,4,8,5,9,6,10,1,10,9,5,7,9,8,4,9,2,9,7,9,3,10,6,9,4,7,9,7,8,7,7,10,6,7,5,8,10,1,10,9,8,3,10,5,9,7,6,9,10,9,6,7,10,5,9,5,7,4,8,5,8,7,5,10,4,7,10,1,10,9,2,9,7,10,4,9,8,7,4,9,9,7,9,3,10,3,9,4,10,9,7,8,10,5,9,6,10,1,10,9,5,7,6,5,9,4,8,5,10,9,3,10,6,9,4,9,9,7,5,9,10,7,10,5,9,9,7,4,10,9,8,5,6,5,9,7,10,1,10,9,6,7,7,10,4,7,5,6,8,7,10,7,9,7,8,5,7,10,10,9,2,9,7,7,10,3,8,9,4,7,7,10,6,9,10,3,9,4,8,5,8,7,8,9,8,3,10,1,10,9,5,7,10,5,9,4,10,1,10,9,3,10,6,9,4,7,10,1,10,9,10,7,7,10,4,9,7,8,8,5,8,7,9,2,10,3,8,5,10,9,6,7,4,7,10,3,9,10,10,9,4,7,6,7,5,8,4,9,6,7,9,9,7,4,8,9,8,3,10,9,9,7,10,5,9,8,8,5,10,9,7,9,3,10,4,9,4,7,9,7,8,3,10,5,9,4,8,9,7,7,10,7,9,6,10,3,9,7,6,9,10,7,4,9,2,9,7,5,10,9,8,9,4,7,5,8,10,1,10,9,6,7,8,5,9,5,7,9,8,3,10,7,10,5,9,3,10,1,10,9,2,9,7,8,6,7,10,1,10,9,9,7,7,10,4,9,6,7,4,9,7,6,6,7,8,7,7,10,10,9,5,7,4,7,10,3,8,3,10,9,3,10,6,9,4,7,4,9,5,9,10,7,8,3,8,5,7,9,3,10,8,3,10,5,9,7,8,9,10,9,6,7,5,10,4,9,3,10,10,9,4,7,7,10,4,7,5,6,6,7,10,7,9,5,9,10,2,9,4,9,9,7,4,9,10,3,9,4,10,9,7,10,6,7,5,8,6,5,10,9,5,7,8,9,6,7,6,9,7,8,4,9,8,3,10,3,9,7,7,10,8,3,9,4,10,3,10,1,10,9,8,5,6,5,9,7,5,6,10,9,6,7,9,9,7,4,8,5,10,9,4,9,9,7,10,3,10,1,10,9,2,9,7,9,3,10,2,9,4,7,9,7,8,7,7,10,2,9,2,9,7,7,10,5,9,6,10,1,10,9,5,7,5,10,4,9,2,9,7,5,8,3,8,5,9,2,10,1,10,9,10,7,9,4,8,9,7,10,10,9,8,7,4,9,9,7,9,3,10,9,6,7,6,9,7,8,10,1,10,9,4,7,8,5,9,3,10,1,10,9,2,9,7,6,6,7,8,3,10,9,9,7,5,10,4,7,10,1,10,9,7,4,10,5,9,6,10,1,10,9,5,7,9,8,10,3,8,9,7,9,3,10,6,9,4,9,9,7,8,5,8,7,6,7,5,8,8,5,10,9,8,9,4,7,7,10,2,9,10,9,6,7,10,5,9,5,7,4,10,9,4,9,9,7,4,9,10,1,10,9,2,9,7,10,4,7,5,6,10,9,9,7,9,3,10,3,9,4,8,9,7,8,8,5,9,6,10,1,10,9,5,7,6,5,9,4,10,1,10,9,3,10,6,9,4,7,6,7,5,9,10,7,10,5,9,9,7,4,8,9,8,3,10,5,9,7,10,1,10,9,6,7,7,10,4,9,3,10,10,9,4,7,9,7,8,3,10,1,10,9,2,9,7,7,10,3,8,7,8,9,9,7,6,9,10,3,9,4,10,9,7,5,6,7,7,10,2,9,9,7,4,7,10,5,9,4,8,5,10,9,3,10,6,9,4,9,9,7,9,3,10,7,7,10,4,7,5,6,6,7,10,7,9,2,10,3,8,3,10,9,6,7,4,9,7,6,6,7,8,7,7,10,6,7,5,8,10,1,10,9,2,9,7,4,10,3,8,9,4,7,4,9,5,10,4,9,6,7,7,10,8,7,5,10,4,7,10,1,10,9,5,7,7,10,4,9,2,9,7,7,10,7,9,6,10,3,9,7,6,9,10,7,4,7,10,3,10,1,10,9,8,7,6,5,9,7,4,9,10,9,6,7,8,3,10,3,9,10,10,9,4,7,10,5,9,3,10,1,10,9,2,9,7,8,4,9,8,3,10,9,9,7,7,10,4,7,5,6,8,7,10,7,9,10,4,9,4,7,6,7,5,7,4,9,6,7,9,9,7,4,8,5,6,9,4,9,9,7,10,9,10,7,8,9,2,9,7,9,3,10,8,9,4,7,9,7,8,7,7,10,8,3,8,5,9,5,7,6,8,3,10,7,7,10,4,9,10,1,10,9,2,9,7,5,9,10,2,9,4,7,5,7,4,7,10,3,9,4,8,9,7,10,6,7,5,8,4,9,9,7,9,3,10,5,9,4,10,1,10,9,3,10,6,9,4,7,8,5,10,9,10,7,5,10,4,9,7,6,6,7,8,3,10,5,9,7,5,6,10,9,6,7,9,9,7,4,10,1,10,9,4,7,4,9,5,8,8,5,10,9,2,9,7,9,3,10,2,9,4,9,9,7,8,5,9,8,4,9,2,9,7,7,10,5,9,6,10,1,10,9,5,7,5,10,4,7,10,1,10,9,3,10,6,9,4,9,9,7,4,9,10,7,9,4,10,3,10,1,10,9,8,5,6,5,9,7,9,3,10,9,6,7,6,9,7,8,8,5,10,9,4,9,9,7,7,10,2,9,6,7,4,7,10,5,9,10,2,9,4,7,6,7,5,10,4,9,6,7,9,9,7,4,8,9,8,3,10,1,10,9,5,7,9,8,8,5,7,10,10,9,3,10,6,9,4,7,9,7,8,3,10,7,6,7,5,8,6,5,10,9,8,7,8,9,9,7,6,9,10,9,6,7,10,5,9,5,7,4,8,9,4,7,5,10,4,7,10,1,10,9,2,9,7,10,4,9,8,3,10,9,9,7,9,3,10,3,9,4,10,9,7,8,6,7,10,3,10,1,10,9,5,7,6,5,9,4,8,9,7,6,6,7,8,7,7,10,2,9,5,9,10,7,10,5,9,9,7,4,10,9,8,9,4,7,4,9,5,6,10,9,6,7,7,10,4,7,5,6,8,3,10,7,9,7,8,9,10,1,10,9,2,9,7,7,10,3,8,5,10,9,9,7,6,9,10,3,9,4,8,9,7,5,6,7,7,10,2,9,9,7,4,9,10,5,9,4,10,1,10,9,3,10,6,9,4,7,10,1,10,9,10,7,7,10,4,9,7,8,4,9,8,3,10,5,9,7,7,10,10,9,6,7,4,7,10,3,9,10,10,9,4,7,6,7,5,8,8,5,10,9,2,9,7,4,8,5,7,9,4,9,9,7,10,5,9,8,4,9,2,9,7,9,3,10,4,9,4,7,9,7,8,7,7,10,4,7,5,6,10,9,3,10,6,9,4,9,9,7,6,9,10,7,4,9,2,9,7,5,10,9,8,5,6,5,9,7,4,7,10,9,6,7,8,9,7,10,2,9,8,7,4,9,9,7,9,3,10,1,10,9,2,9,7,8,10,3,8,9,4,7,8,5,6,9,10,3,9,4,8,5,8,7,9,10,4,7,7,10,10,9,5,7,4,7,10,3,8,7,8,9,3,10,6,9,4,7,4,9,5,9,10,7,8,7,7,10,2,9,3,10,8,7,10,5,9,7,8,5,10,9,6,7,5,10,4,9,3,10,10,9,4,7,7,10,4,7,5,6,6,7,10,7,9,5,9,10,2,9,4,9,9,7,4,9,10,3,9,4,10,9,7,10,6,7,5,8,10,1,10,9,5,7,8,5,9,4,8,9,7,8,8,5,6,9,4,9,9,7,7,10,8,7,5,10,4,7,10,1,10,9,8,9,4,7,6,7,5,6,10,9,6,7,9,9,7,4,8,9,8,3,10,7,4,7,10,3,10,1,10,9,2,9,7,9,3,10,2,9,4,7,9,7,8,3,10,3,9,4,8,9,7,7,10,5,9,6,10,1,10,9,5,7,5,10,4,9,2,9,7,5,8,7,7,10,4,7,5,6,8,7,10,7,9,4,8,5,7,10,10,9,8,3,10,5,9,7,9,3,10,9,6,7,6,9,7,8,6,7,10,9,4,7,8,9,5,8,8,5,10,9,2,9,7,6,6,7,8,7,7,10,8,3,8,5,9,8,4,9,2,9,7,4,10,5,9,6,10,1,10,9,5,7,9,8,6,7,7,10,10,9,3,10,6,9,4,9,9,7,8,9,10,7,6,7,5,8,4,9,3,10,8,5,6,5,9,7,6,9,10,9,6,7,10,5,9,5,7,4,10,9,4,9,9,7,4,9,10,1,10,9,2,9,7,10,4,7,5,6,10,9,9,7,9,3,10,3,9,4,8,5,8,7,4,9,8,3,10,1,10,9,5,7,6,5,9,4,10,1,10,9,3,10,6,9,4,7,6,7,5,9,10,7,10,5,9,9,7,4,8,5,8,7,5,10,4,7,10,1,10,9,6,7,7,10,4,9,3,10,10,9,4,7,9,7,8,7,7,10,10,9,2,9,7,7,10,3,8,3,10,9,9,7,6,9,10,3,9,4,10,9,7,5,6,7,7,10,2,9,9,7,4,7,10,5,9,4,8,9,7,10,8,5,6,9,4,9,9,7,9,3,10,7,7,10,4,7,5,6,6,7,10,7,9,2,10,3,8,7,6,5,8,3,8,5,9,5,7,5,10,9,4,9,9,7,5,8,6,5,10,9,2,9,7,4,10,3,8,5,10,9,9,7,10,5,9,8,10,1,10,9,7,9,3,10,4,7,10,1,10,9,5,7,7,10,4,9,2,9,7,7,10,7,9,6,10,3,9,7,6,9,10,7,4,7,10,3,10,1,10,9,8,3,10,5,9,7,4,9,10,9,6,7,8,7,7,10,2,9,8,5,8,7,10,5,9,3,10,1,10,9,2,9,7,8,8,5,7,6,10,9,9,7,7,10,4,7,5,6,8,3,10,7,9,10,4,9,4,7,6,7,5,7,4,9,6,7,9,9,7,4,8,9,8,3,10,3,9,7,10,9,10,7,8,5,9,9,7,9,3,10,8,5,6,5,9,7,8,3,10,9,6,7,5,10,4,7,10,1,10,9,4,9,9,7,6,9,10,1,10,9,2,9,7,5,9,10,2,9,4,7,5,7,4,7,10,3,9,4,8,5,8,7,6,7,5,8,8,5,10,9,5,7,8,3,9,4,10,1,10,9,3,10,6,9,4,7,8,9,5,9,10,7,5,10,4,9,7,6,6,7,8,7,7,10,4,7,5,6,10,9,6,7,9,9,7,4,10,1,10,9,4,7,4,9,5,8,4,9,6,7,7,10,6,5,9,10,2,9,4,9,9,7,8,9,10,3,9,4,10,9,7,7,10,5,9,6,10,1,10,9,5,7,5,10,4,7,10,1,10,9,3,10,6,9,4,9,9,7,4,9,10,7,9,4,10,3,10,1,10,9,8,9,4,7,10,3,8,7,8,9,6,7,6,9,7,8,4,9,8,3,10,7,8,7,7,10,2,9,6,7,4,7,10,5,9,10,2,9,4,7,6,7,5,10,4,9,6,7,9,9,7,4,8,5,9,6,10,1,10,9,5,7,9,8,4,9,2,9,7,9,3,10,6,9,4,7,9,7,8,7,7,10,6,7,5,8,10,1,10,9,8,3,10,5,9,7,6,9,10,9,6,7,10,5,9,5,7,4,8,5,8,7,5,10,4,7,10,1,10,9,2,9,7,10,4,9,8,7,4,9,9,7,9,3,10,3,9,4,10,9,7,8,10,5,9,6,10,1,10,9,5,7,6,5,9,4,8,5,10,9,3,10,6,9,4,9,9,7,5,9,10,7,10,5,9,9,7,4,10,9,8,5,6,5,9,7,10,1,10,9,6,7,7,10,4,7,5,6,8,7,10,7,9,7,8,5,7,10,10,9,2,9,7,7,10,3,8,9,4,7,7,10,6,9,10,3,9,4,8,5,8,7,8,9,8,3,10,1,10,9,5,7,10,5,9,4,10,1,10,9,3,10,6,9,4,7,10,1,10,9,10,7,7,10,4,9,7,8,8,5,8,7,9,2,10,3,8,5,10,9,6,7,4,7,10,3,9,10,10,9,4,7,6,7,5,8,4,9,6,7,9,9,7,4,8,9,8,3,10,9,9,7,10,5,9,8,8,5,10,9,7,9,3,10,4,9,4,7,9,7,8,3,10,5,9,4,8,9,7,7,10,7,9,6,10,3,9,7,6,9,10,7,4,9,2,9,7,5,10,9,8,9,4,7,5,8,10,1,10,9,6,7,8,5,9,5,7,9,8,3,10,7,10,5,9,3,10,1,10,9,2,9,7,8,6,7,10,1,10,9,9,7,7,10,4,9,6,7,4,9,7,6,6,7,8,7,7,10,10,9,5,7,4,7,10,3,8,3,10,9,3,10,6,9,4,7,4,9,5,9,10,7,8,3,8,5,7,9,3,10,8,3,10,5,9,7,8,9,10,9,6,7,5,10,4,9,3,10,10,9,4,7,7,10,4,7,5,6,6,7,10,7,9,5,9,10,2,9,4,9,9,7,4,9,10,3,9,4,10,9,7,10,6,7,5,8,6,5,10,9,5,7,8,9,6,7,6,9,7,8,4,9,8,3,10,3,9,7,7,10,8,3,9,4,10,3,10,1,10,9,8,5,6,5,9,7,5,6,10,9,6,7,9,9,7,4,8,5,10,9,4,9,9,7,10,3,10,1,10,9,2,9,7,9,3,10,2,9,4,7,9,7,8,7,7,10,2,9,2,9,7,7,10,5,9,6,10,1,10,9,5,7,5,10,4,9,2,9,7,5,8,3,8,5,9,2,10,1,10,9,10,7,9,4,8,9,7,10,10,9,8,7,4,9,9,7,9,3,10,9,6,7,6,9,7,8,10,1,10,9,4,7,8,5,9,3,10,1,10,9,2,9,7,6,6,7,8,3,10,9,9,7,5,10,4,7,10,1,10,9,7,4,10,5,9,6,10,1,10,9,5,7,9,8,10,3,8,9,7,9,3,10,6,9,4,9,9,7,8,5,8,7,6,7,5,8,8,5,10,9,8,9,4,7,7,10,2,9,10,9,6,7,10,5,9,5,7,4,10,9,4,9,9,7,4,9,10,1,10,9,2,9,7,10,4,7,5,6,10,9,9,7,9,3,10,3,9,4,8,9,7,8,8,5,9,6,10,1,10,9,5,7,6,5,9,4,10,1,10,9,3,10,6,9,4,7,6,7,5,9,10,7,10,5,9,9,7,4,8,9,8,3,10,5,9,7,10,1,10,9,6,7,7,10,4,9,3,10,10,9,4,7,9,7,8,3,10,1,10,9,2,9,7,7,10,3,8,7,8,9,9,7,6,9,10,3,9,4,10,9,7,5,6,7,7,10,2,9,9,7,4,7,10,5,9,4,8,5,10,9,3,10,6,9,4,9,9,7,9,3,10,7,7,10,4,7,5,6,6,7,10,7,9,2,10,3,8,3,10,9,6,7,4,9,7,6,6,7,8,7,7,10,6,7,5,8,10,1,10,9,2,9,7,4,10,3,8,9,4,7,4,9,5,10,4,9,6,7,7,10,8,7,5,10,4,7,10,1,10,9,5,7,7,10,4,9,2,9,7,7,10,7,9,6,10,3,9,7,6,9,10,7,4,7,10,3,10,1,10,9,8,7,6,5,9,7,4,9,10,9,6,7,8,3,10,3,9,10,10,9,4,7,10,5,9,3,10,1,10,9,2,9,7,8,4,9,8,3,10,9,9,7,7,10,4,7,5,6,8,7,10,7,9,10,4,9,4,7,6,7,5,7,4,9,6,7,9,9,7,4,8,5,6,9,4,9,9,7,10,9,10,7,8,9,2,9,7,9,3,10,8,9,4,7,9,7,8,7,7,10,8,3,8,5,9,5,7,6,8,3,10,7,7,10,4,9,10,1,10,9,2,9,7,5,9,10,2,9,4,7,5,7,4,7,10,3,9,4,8,9,7,10,6,7,5,8,4,9,9,7,9,3,10,5,9,4,10,1,10,9,3,10,6,9,4,7,8,5,10,9,10,7,5,10,4,9,7,6,6,7,8,3,10,5,9,7,5,6,10,9,6,7,9,9,7,4,10,1,10,9,4,7,4,9,5,8,8,5,10,9,2,9,7,9,3,10,2,9,4,9,9,7,8,5,9,8,4,9,2,9,7,7,10,5,9,6,10,1,10,9,5,7,5,10,4,7,10,1,10,9,3,10,6,9,4,9,9,7,4,9,10,7,9,4,10,3,10,1,10,9,8,5,6,5,9,7,9,3,10,9,6,7,6,9,7,8,8,5,10,9,4,9,9,7,7,10,2,9,6,7,4,7,10,5,9,10,2,9,4,7,6,7,5,10,4,9,6,7,9,9,7,4,8,9,8,3,10,1,10,9,5,7,9,8,8,5,7,10,10,9,3,10,6,9,4,7,9,7,8,3,10,7,6,7,5,8,6,5,10,9,8,7,8,9,9,7,6,9,10,9,6,7,10,5,9,5,7,4,8,9,4,7,5,10,4,7,10,1,10,9,2,9,7,10,4,9,8,3,10,9,9,7,9,3,10,3,9,4,10,9,7,8,6,7,10,3,10,1,10,9,5,7,6,5,9,4,8,9,7,6,6,7,8,7,7,10,2,9,5,9,10,7,10,5,9,9,7,4,10,9,8,9,4,7,4,9,5,6,10,9,6,7,7,10,4,7,5,6,8,3,10,7,9,7,8,9,10,1,10,9,2,9,7,7,10,3,8,5,10,9,9,7,6,9,10,3,9,4,8,9,7,5,6,7,7,10,2,9,9,7,4,9,10,5,9,4,10,1,10,9,3,10,6,9,4,7,10,1,10,9,10,7,7,10,4,9,7,8,4,9,8,3,10,5,9,7,7,10,10,9,6,7,4,7,10,3,9,10,10,9,4,7,6,7,5,8,8,5,10,9,2,9,7,4,8,5,7,9,4,9,9,7,10,5,9,8,4,9,2,9,7,9,3,10,4,9,4,7,9,7,8,7,7,10,4,7,5,6,10,9,3,10,6,9,4,9,9,7,6,9,10,7,4,9,2,9,7,5,10,9,8,5,6,5,9,7,4,7,10,9,6,7,8,9,7,10,2,9,8,7,4,9,9,7,9,3,10,1,10,9,2,9,7,8,10,3,8,9,4,7,8,5,6,9,10,3,9,4,8,5,8,7,9,10,4,7,7,10,10,9,5,7,4,7,10,3,8,7,8,9,3,10,6,9,4,7,4,9,5,9,10,7,8,7,7,10,2,9,3,10,8,7,10,5,9,7,8,5,10,9,6,7,5,10,4,9,3,10,10,9,4,7,7,10,4,7,5,6,6,7,10,7,9,5,9,10,2,9,4,9,9,7,4,9,10,3,9,4,10,9,7,10,6,7,5,8,10,1,10,9,5,7,8,5,9,4,8,9,7,8,8,5,6,9,4,9,9,7,7,10,8,7,5,10,4,7,10,1,10,9,8,9,4,7,6,7,5,6,10,9,6,7,9,9,7,4,8,9,8,3,10,7,4,7,10,3,10,1,10,9,2,9,7,9,3,10,2,9,4,7,9,7,8,3,10,3,9,4,8,9,7,7,10,5,9,6,10,1,10,9,5,7,5,10,4,9,2,9,7,5,8,7,7,10,4,7,5,6,8,7,10,7,9,4,8,5,7,10,10,9,8,3,10,5,9,7,9,3,10,9,6,7,6,9,7,8,6,7,10,9,4,7,8,9,5,8,8,5,10,9,2,9,7,6,6,7,8,7,7,10,8,3,8,5,9,8,4,9,2,9,7,4,10,5,9,6,10,1,10,9,5,7,9,8,6,7,7,10,10,9,3,10,6,9,4,9,9,7,8,9,10,7,6,7,5,8,4,9,3,10,8,5,6,5,9,7,6,9,10,9,6,7,10,5,9,5,7,4,10,9,4,9,9,7,4,9,10,1,10,9,2,9,7,10,4,7,5,6,10,9,9,7,9,3,10,3,9,4,8,5,8,7,4,9,8,3,10,1,10,9,5,7,6,5,9,4,10,1,10,9,3,10,6,9,4,7,6,7,5,9,10,7,10,5,9,9,7,4,8,5,8,7,5,10,4,7,10,1,10,9,6,7,7,10,4,9,3,10,10,9,4,7,9,7,8,7,7,10,10,9,2,9,7,7,10,3,8,3,10,9,9,7,6,9,10,3,9,4,10,9,7,5,6,7,7,10,2,9,9,7,4,7,10,5,9,4,8,9,7,10,8,5,6,9,4,9,9,7,9,3,10,7,7,10,4,7,5,6,6,7,10,7,9,2,10,3,8,7,6,5,8,3,8,5,9,5,7,5,10,9,4,9,9,7,5,8,6,5,10,9,2,9,7,4,10,3,8,5,10,9,9,7,10,5,9,8,10,1,10,9,7,9,3,10,4,7,10,1,10,9,5,7,7,10,4,9,2,9,7,7,10,7,9,6,10,3,9,7,6,9,10,7,4,7,10,3,10,1,10,9,8,3,10,5,9,7,4,9,10,9,6,7,8,7,7,10,2,9,8,5,8,7,10,5,9,3,10,1,10,9,2,9,7,8,8,5,7,6,10,9,9,7,7,10,4,7,5,6,8,3,10,7,9,10,4,9,4,7,6,7,5,7,4,9,6,7,9,9,7,4,8,9,8,3,10,3,9,7,10,9,10,7,8,5,9,9,7,9,3,10,8,5,6,5,9,7,8,3,10,9,6,7,5,10,4,7,10,1,10,9,4,9,9,7,6,9,10,1,10,9,2,9,7,5,9,10,2,9,4,7,5,7,4,7,10,3,9,4,8,5,8,7,6,7,5,8,8,5,10,9,5,7,8,3,9,4,10,1,10,9,3,10,6,9,4,7,8,9,5,9,10,7,5,10,4,9,7,6,6,7,8,7,7,10,4,7,5,6,10,9,6,7,9,9,7,4,10,1,10,9,4,7,4,9,5,8,4,9,6,7,7,10,6,5,9,10,2,9,4,9,9,7,8,9,10,3,9,4,10,9,7,7,10,5,9,6,10,1,10,9,5,7,5,10,4,7,10,1,10,9,3,10,6,9,4,9,9,7,4,9,10,7,9,4,10,3,10,1,10,9,8,9,4,7,10,3,8,7,8,9,6,7,6,9,7,8,4,9,8,3,10,7,8,7,7,10,2,9,6,7,4,7,10,5,9,10,2,9,4,7,6,7,5,10,4,9,6,7,9,9,7,4,8,5,9,6,10,1,10,9,5,7,9,8,4,9,2,9,7,9,3,10,6,9,4,7,9,7,8,7,7,10,6,7,5,8,10,1,10,9,8,3,10,5,9,7,6,9,10,9,6,7,10,5,9,5,7,4,8,5,8,7,5,10,4,7,10,1,10,9,2,9,7,10,4,9,8,7,4,9,9,7,9,3,10,3,9,4,10,9,7,8,10,5,9,6,10,1,10,9,5,7,6,5,9,4,8,5,10,9,3,10,6,9,4,9,9,7,5,9,10,7,10,5,9,9,7,4,10,9,8,5,6,5,9,7,10,1,10,9,6,7,7,10,4,7,5,6,8,7,10,7,9,7,8,5,7,10,10,9,2,9,7,7,10,3,8,9,4,7,7,10,6,9,10,3,9,4,8,5,8,7,8,9,8,3,10,1,10,9,5,7,10,5,9,4,10,1,10,9,3,10,6,9,4,7,10,1,10,9,10,7,7,10,4,9,7,8,8,5,8,7,9,2,10,3,8,5,10,9,6,7,4,7,10,3,9,10,10,9,4,7,6,7,5,8,4,9,6,7,9,9,7,4,8,9,8,3,10,9,9,7,10,5,9,8,8,5,10,9,7,9,3,10,4,9,4,7,9,7,8,3,10,5,9,4,8,9,7,7,10,7,9,6,10,3,9,7,6,9,10,7,4,9,2,9,7,5,10,9,8,9,4,7,5,8,10,1,10,9,6,7,8,5,9,5,7,9,8,3,10,7,10,5,9,3,10,1,10,9,2,9,7,8,6,7,10,1,10,9,9,7,7,10,4,9,6,7,4,9,7,6,6,7,8,7,7,10,10,9,5,7,4,7,10,3,8,3,10,9,3,10,6,9,4,7,4,9,5,9,10,7,8,3,8,5,7,9,3,10,8,3,10,5,9,7,8,9,10,9,6,7,5,10,4,9,3,10,10,9,4,7,7,10,4,7,5,6,6,7,10,7,9,5,9,10,2,9,4,9,9,7,4,9,10,3,9,4,10,9,7,10,6,7,5,8,6,5,10,9,5,7,8,9,6,7,6,9,7,8,4,9,8,3,10,3,9,7,7,10,8,3,9,4,10,3,10,1,10,9,8,5,6,5,9,7,5,6,10,9,6,7,9,9,7,4,8,5,10,9,4,9,9,7,10,3,10,1,10,9,2,9,7,9,3,10,2,9,4,7,9,7,8,7,7,10,2,9,2,9,7,7,10,5,9,6,10,1,10,9,5,7,5,10,4,9,2,9,7,5,8,3,8,5,9,2,10,1,10,9,10,7,9,4,8,9,7,10,10,9,8,7,4,9,9,7,9,3,10,9,6,7,6,9,7,8,10,1,10,9,4,7,8,5,9,3,10,1,10,9,2,9,7,6,6,7,8,3,10,9,9,7,5,10,4,7,10,1,10,9,7,4,10,5,9,6,10,1,10,9,5,7,9,8,10,3,8,9,7,9,3,10,6,9,4,9,9,7,8,5,8,7,6,7,5,8,8,5,10,9,8,9,4,7,7,10,2,9,10,9,6,7,10,5,9,5,7,4,10,9,4,9,9,7,4,9,10,1,10,9,2,9,7,10,4,7,5,6,10,9,9,7,9,3,10,3,9,4,8,9,7,8,8,5,9,6,10,1,10,9,5,7,6,5,9,4,10,1,10,9,3,10,6,9,4,7,6,7,5,9,10,7,10,5,9,9,7,4,8,9,8,3,10,5,9,7,10,1,10,9,6,7,7,10,4,9,3,10,10,9,4,7,9,7,8,3,10,1,10,9,2,9,7,7,10,3,8,7,8,9,9,7,6,9,10,3,9,4,10,9,7,5,6,7,7,10,2,9,9,7,4,7,10,5,9,4,8,5,10,9,3,10,6,9,4,9,9,7,9,3,10,7,7,10,4,7,5,6,6,7,10,7,9,2,10,3,8,3,10,9,6,7,4,9,7,6,6,7,8,7,7,10,6,7,5,8,10,1,10,9,2,9,7,4,10,3,8,9,4,7,4,9,5,10,4,9,6,7,7,10,8,7,5,10,4,7,10,1,10,9,5,7,7,10,4,9,2,9,7,7,10,7,9,6,10,3,9,7,6,9,10,7,4,7,10,3,10,1,10,9,8,7,6,5,9,7,4,9,10,9,6,7,8,3,10,3,9,10,10,9,4,7,10,5,9,3,10,1,10,9,2,9,7,8,4,9,8,3,10,9,9,7,7,10,4,7,5,6,8,7,10,7,9,10,4,9,4,7,6,7,5,7,4,9,6,7,9,9,7,4,8,5,6,9,4,9,9,7,10,9,10,7,8,9,2,9,7,9,3,10,8,9,4,7,9,7,8,7,7,10,8,3,8,5,9,5,7,6,8,3,10,7,7,10,4,9,10,1,10,9,2,9,7,5,9,10,2,9,4,7,5,7,4,7,10,3,9,4,8,9,7,10,6,7,5,8,4,9,9,7,9,3,10,5,9,4,10,1,10,9,3,10,6,9,4,7,8,5,10,9,10,7,5,10,4,9,7,6,6,7,8,3,10,5,9,7,5,6,10,9,6,7,9,9,7,4,10,1,10,9,4,7,4,9,5,8,8,5,10,9,2,9,7,9,3,10,2,9,4,9,9,7,8,5,9,8,4,9,2,9,7,7,10,5,9,6,10,1,10,9,5,7,5,10,4,7,10,1,10,9,3,10,6,9,4,9,9,7,4,9,10,7,9,4,10,3,10,1,10,9,8,5,6,5,9,7,9,3,10,9,6,7,6,9,7,8,8,5,10,9,4,9,9,7,7,10,2,9,6,7,4,7,10,5,9,10,2,9,4,7,6,7,5,10,4,9,6,7,9,9,7,4,8,9,8,3,10,1,10,9,5,7,9,8,8,5,7,10,10,9,3,10,6,9,4,7,9,7,8,3,10,7,6,7,5,8,6,5,10,9,8,7,8,9,9,7,6,9,10,9,6,7,10,5,9,5,7,4,8,9,4,7,5,10,4,7,10,1,10,9,2,9,7,10,4,9,8,3,10,9,9,7,9,3,10,3,9,4,10,9,7,8,6,7,10,3,10,1,10,9,5,7,6,5,9,4,8,9,7,6,6,7,8,7,7,10,2,9,5,9,10,7,10,5,9,9,7,4,10,9,8,9,4,7,4,9,5,6,10,9,6,7,7,10,4,7,5,6,8,3,10,7,9,7,8,9,10,1,10,9,2,9,7,7,10,3,8,5,10,9,9,7,6,9,10,3,9,4,8,9,7,5,6,7,7,10,2,9,9,7,4,9,10,5,9,4,10,1,10,9,3,10,6,9,4,7,10,1,10,9,10,7,7,10,4,9,7,8,4,9,8,3,10,5,9,7,7,10,10,9,6,7,4,7,10,3,9,10,10,9,4,7,6,7,5,8,8,5,10,9,2,9,7,4,8,5,7,9,4,9,9,7,10,5,9,8,4,9,2,9,7,9,3,10,4,9,4,7,9,7,8,7,7,10,4,7,5,6,10,9,3,10,6,9,4,9,9,7,6,9,10,7,4,9,2,9,7,5,10,9,8,5,6,5,9,7,4,7,10,9,6,7,8,9,7,10,2,9,8,7,4,9,9,7,9,3,10,1,10,9,2,9,7,8,10,3,8,9,4,7,8,5,6,9,10,3,9,4,8,5,8,7,9,10,4,7,7,10,10,9,5,7,4,7,10,3,8,7,8,9,3,10,6,9,4,7,4,9,5,9,10,7,8,7,7,10,2,9,3,10,8,7,10,5,9,7,8,5,10,9,6,7,5,10,4,9,3,10,10,9,4,7,7,10,4,7,5,6,6,7,10,7,9,5,9,10,2,9,4,9,9,7,4,9,10,3,9,4,10,9,7,10,6,7,5,8,10,1,10,9,5,7,8,5,9,4,8,9,7,8,8,5,6,9,4,9,9,7,7,10,8,7,5,10,4,7,10,1,10,9,8,9,4,7,6,7,5,6,10,9,6,7,9,9,7,4,8,9,8,3,10,7,4,7,10,3,10,1,10,9,2,9,7,9,3,10,2,9,4,7,9,7,8,3,10,3,9,4,8,9,7,7,10,5,9,6,10,1,10,9,5,7,5,10,4,9,2,9,7,5,8,7,7,10,4,7,5,6,8,7,10,7,9,4,8,5,7,10,10,9,8,3,10,5,9,7,9,3,10,9,6,7,6,9,7,8,6,7,10,9,4,7,8,9,5,8,8,5,10,9,2,9,7,6,6,7,8,7,7,10,8,3,8,5,9,8,4,9,2,9,7,4,10,5,9,6,10,1,10,9,5,7,9,8,6,7,7,10,10,9,3,10,6,9,4,9,9,7,8,9,10,7,6,7,5,8,4,9,3,10,8,5,6,5,9,7,6,9,10,9,6,7,10,5,9,5,7,4,10,9,4,9,9,7,4,9,10,1,10,9,2,9,7,10,4,7,5,6,10,9,9,7,9,3,10,3,9,4,8,5,8,7,4,9,8,3,10,1,10,9,5,7,6,5,9,4,10,1,10,9,3,10,6,9,4,7,6,7,5,9,10,7,10,5,9,9,7,4,8,5,8,7,5,10,4,7,10,1,10,9,6,7,7,10,4,9,3,10,10,9,4,7,9,7,8,7,7,10,10,9,2,9,7,7,10,3,8,3,10,9,9,7,6,9,10,3,9,4,10,9,7,5,6,7,7,10,2,9,9,7,4,7,10,5,9,4,8,9,7,10,8,5,6,9,4,9,9,7,9,3,10,7,7,10,4,7,5,6,6,7,10,7,9,2,10,3,8,7,6,5,8,3,8,5,9,5,7,5,10,9,4,9,9,7,5,8,6,5,10,9,2,9,7,4,10,3,8,5,10,9,9,7,10,5,9,8,10,1,10,9,7,9,3,10,4,7,10,1,10,9,5,7,7,10,4,9,2,9,7,7,10,7,9,6,10,3,9,7,6,9,10,7,4,7,10,3,10,1,10,9,8,3,10,5,9,7,4,9,10,9,6,7,8,7,7,10,2,9,8,5,8,7,10,5,9,3,10,1,10,9,2,9,7,8,8,5,7,6,10,9,9,7,7,10,4,7,5,6,8,3,10,7,9,10,4,9,4,7,6,7,5,7,4,9,6,7,9,9,7,4,8,9,8,3,10,3,9,7,10,9,10,7,8,5,9,9,7,9,3,10,8,5,6,5,9,7,8,3,10,9,6,7,5,10,4,7,10,1,10,9,4,9,9,7,6,9,10,1,10,9,2,9,7,5,9,10,2,9,4,7,5,7,4,7,10,3,9,4,8,5,8,7,6,7,5,8,8,5,10,9,5,7,8,3,9,4,10,1,10,9,3,10,6,9,4,7,8,9,5,9,10,7,5,10,4,9,7,6,6,7,8,7,7,10,4,7,5,6,10,9,6,7,9,9,7,4,10,1,10,9,4,7,4,9,5,8,4,9,6,7,7,10,6,5,9,10,2,9,4,9,9,7,8,9,10,3,9,4,10,9,7,7,10,5,9,6,10,1,10,9,5,7,5,10,4,7,10,1,10,9,3,10,6,9,4,9,9,7,4,9,10,7,9,4,10,3,10,1,10,9,8,9,4,7,10,3,8,7,8,9,6,7,6,9,7,8,4,9,8,3,10,7,8,7,7,10,2,9,6,7,4,7,10,5,9,10,2,9,4,7,6,7,5,10,4,9,6,7,9,9,7,4,8,5,9,6,10,1,10,9,5,7,9,8,4,9,2,9,7,9,3,10,6,9,4,7,9,7,8,7,7,10,6,7,5,8,10,1,10,9,8,3,10,5,9,7,6,9,10,9,6,7,10,5,9,5,7,4,8,5,8,7,5,10,4,7,10,1,10,9,2,9,7,10,4,9,8,7,4,9,9,7,9,3,10,3,9,4,10,9,7,8,10,5,9,6,10,1,10,9,5,7,6,5,9,4,8,5,10,9,3,10,6,9,4,9,9,7,5,9,10,7,10,5,9,9,7,4,10,9,8,5,6,5,9,7,10,1,10,9,6,7,7,10,4,7,5,6,8,7,10,7,9,7,8,5,7,10,10,9,2,9,7,7,10,3,8,9,4,7,7,10,6,9,10,3,9,4,8,5,8,7,8,9,8,3,10,1,10,9,5,7,10,5,9,4,10,1,10,9,3,10,6,9,4,7,10,1,10,9,10,7,7,10,4,9,7,8,8,5,8,7,9,2,10,3,8,5,10,9,6,7,4,7,10,3,9,10,10,9,4,7,6,7,5,8,4,9,6,7,9,9,7,4,8,9,8,3,10,9,9,7,10,5,9,8,8,5,10,9,7,9,3,10,4,9,4,7,9,7,8,3,10,5,9,4,8,9,7,7,10,7,9,6,10,3,9,7,6,9,10,7,4,9,2,9,7,5,10,9,8,9,4,7,5,8,10,1,10,9,6,7,8,5,9,5,7,9,8,3,10,7,10,5,9,3,10,1,10,9,2,9,7,8,6,7,10,1,10,9,9,7,7,10,4,9,6,7,4,9,7,6,6,7,8,7,7,10,10,9,5,7,4,7,10,3,8,3,10,9,3,10,6,9,4,7,4,9,5,9,10,7,8,3,8,5,7,9,3,10,8,3,10,5,9,7,8,9,10,9,6,7,5,10,4,9,3,10,10,9,4,7,7,10,4,7,5,6,6,7,10,7,9,5,9,10,2,9,4,9,9,7,4,9,10,3,9,4,10,9,7,10,6,7,5,8,6,5,10,9,5,7,8,9,6,7,6,9,7,8,4,9,8,3,10,3,9,7,7,10,8,3,9,4,10,3,10,1,10,9,8,5,6,5,9,7,5,6,10,9,6,7,9,9,7,4,8,5,10,9,4,9,9,7,10,3,10,1,10,9,2,9,7,9,3,10,2,9,4,7,9,7,8,7,7,10,2,9,2,9,7,7,10,5,9,6,10,1,10,9,5,7,5,10,4,9,2,9,7,5,8,3,8,5,9,2,10,1,10,9,10,7,9,4,8,9,7,10,10,9,8,7,4,9,9,7,9,3,10,9,6,7,6,9,7,8,10,1,10,9,4,7,8,5,9,3,10,1,10,9,2,9,7,6,6,7,8,3,10,9,9,7,5,10,4,7,10,1,10,9,7,4,10,5,9,6,10,1,10,9,5,7,9,8,10,3,8,9,7,9,3,10,6,9,4,9,9,7,8,5,8,7,6,7,5,8,8,5,10,9,8,9,4,7,7,10,2,9,10,9,6,7,10,5,9,5,7,4,10,9,4,9,9,7,4,9,10,1,10,9,2,9,7,10,4,7,5,6,10,9,9,7,9,3,10,3,9,4,8,9,7,8,8,5,9,6,10,1,10,9,5,7,6,5,9,4,10,1,10,9,3,10,6,9,4,7,6,7,5,9,10,7,10,5,9,9,7,4,8,9,8,3,10,5,9,7,10,1,10,9,6,7,7,10,4,9,3,10,10,9,4,7,9,7,8,3,10,1,10,9,2,9,7,7,10,3,8,7,8,9,9,7,6,9,10,3,9,4,10,9,7,5,6,7,7,10,2,9,9,7,4,7,10,5,9,4,8,5,10,9,3,10,6,9,4,9,9,7,9,3,10,7,7,10,4,7,5,6,6,7,10,7,9,2,10,3,8,3,10,9,6,7,4,9,7,6,6,7,8,7,7,10,6,7,5,8,10,1,10,9,2,9,7,4,10,3,8,9,4,7,4,9,5,10,4,9,6,7,7,10,8,7,5,10,4,7,10,1,10,9,5,7,7,10,4,9,2,9,7,7,10,7,9,6,10,3,9,7,6,9,10,7,4,7,10,3,10,1,10,9,8,7,6,5,9,7,4,9,10,9,6,7,8,3,10,3,9,10,10,9,4,7,10,5,9,3,10,1,10,9,2,9,7,8,4,9,8,3,10,9,9,7,7,10,4,7,5,6,8,7,10,7,9,10,4,9,4,7,6,7,5,7,4,9,6,7,9,9,7,4,8,5,6,9,4,9,9,7,10,9,10,7,8,9,2,9,7,9,3,10,8,9,4,7,9,7,8,7,7,10,8,3,8,5,9,5,7,6,8,3,10,7,7,10,4,9,10,1,10,9,2,9,7,5,9,10,2,9,4,7,5,7,4,7,10,3,9,4,8,9,7,10,6,7,5,8,4,9,9,7,9,3,10,5,9,4,10,1,10,9,3,10,6,9,4,7,8,5,10,9,10,7,5,10,4,9,7,6,6,7,8,3,10,5,9,7,5,6,10,9,6,7,9,9,7,4,10,1,10,9,4,7,4,9,5,8,8,5,10,9,2,9,7,9,3,10,2,9,4,9,9,7,8,5,9,8,4,9,2,9,7,7,10,5,9,6,10,1

Repeating sub-sequence: 10,9,5,7,5,10,4,7,10,1,10,9,3,10,6,9,4,9,9,7,4,9,10,7,9,4,10,3,10,1,10,9,8,5,6,5,9,7,9,3,10,9,6,7,6,9,7,8,8,5,10,9,4,9,9,7,7,10,2,9,6,7,4,7,10,5,9,10,2,9,4,7,6,7,5,10,4,9,6,7,9,9,7,4,8,9,8,3,10,1,10,9,5,7,9,8,8,5,7,10,10,9,3,10,6,9,4,7,9,7,8,3,10,7,6,7,5,8,6,5,10,9,8,7,8,9,9,7,6,9,10,9,6,7,10,5,9,5,7,4,8,9,4,7,5,10,4,7,10,1,10,9,2,9,7,10,4,9,8,3,10,9,9,7,9,3,10,3,9,4,10,9,7,8,6,7,10,3,10,1,10,9,5,7,6,5,9,4,8,9,7,6,6,7,8,7,7,10,2,9,5,9,10,7,10,5,9,9,7,4,10,9,8,9,4,7,4,9,5,6,10,9,6,7,7,10,4,7,5,6,8,3,10,7,9,7,8,9,10,1,10,9,2,9,7,7,10,3,8,5,10,9,9,7,6,9,10,3,9,4,8,9,7,5,6,7,7,10,2,9,9,7,4,9,10,5,9,4,10,1,10,9,3,10,6,9,4,7,10,1,10,9,10,7,7,10,4,9,7,8,4,9,8,3,10,5,9,7,7,10,10,9,6,7,4,7,10,3,9,10,10,9,4,7,6,7,5,8,8,5,10,9,2,9,7,4,8,5,7,9,4,9,9,7,10,5,9,8,4,9,2,9,7,9,3,10,4,9,4,7,9,7,8,7,7,10,4,7,5,6,10,9,3,10,6,9,4,9,9,7,6,9,10,7,4,9,2,9,7,5,10,9,8,5,6,5,9,7,4,7,10,9,6,7,8,9,7,10,2,9,8,7,4,9,9,7,9,3,10,1,10,9,2,9,7,8,10,3,8,9,4,7,8,5,6,9,10,3,9,4,8,5,8,7,9,10,4,7,7,10,10,9,5,7,4,7,10,3,8,7,8,9,3,10,6,9,4,7,4,9,5,9,10,7,8,7,7,10,2,9,3,10,8,7,10,5,9,7,8,5,10,9,6,7,5,10,4,9,3,10,10,9,4,7,7,10,4,7,5,6,6,7,10,7,9,5,9,10,2,9,4,9,9,7,4,9,10,3,9,4,10,9,7,10,6,7,5,8,10,1,10,9,5,7,8,5,9,4,8,9,7,8,8,5,6,9,4,9,9,7,7,10,8,7,5,10,4,7,10,1,10,9,8,9,4,7,6,7,5,6,10,9,6,7,9,9,7,4,8,9,8,3,10,7,4,7,10,3,10,1,10,9,2,9,7,9,3,10,2,9,4,7,9,7,8,3,10,3,9,4,8,9,7,7,10,5,9,6,10,1,10,9,5,7,5,10,4,9,2,9,7,5,8,7,7,10,4,7,5,6,8,7,10,7,9,4,8,5,7,10,10,9,8,3,10,5,9,7,9,3,10,9,6,7,6,9,7,8,6,7,10,9,4,7,8,9,5,8,8,5,10,9,2,9,7,6,6,7,8,7,7,10,8,3,8,5,9,8,4,9,2,9,7,4,10,5,9,6,10,1,10,9,5,7,9,8,6,7,7,10,10,9,3,10,6,9,4,9,9,7,8,9,10,7,6,7,5,8,4,9,3,10,8,5,6,5,9,7,6,9,10,9,6,7,10,5,9,5,7,4,10,9,4,9,9,7,4,9,10,1,10,9,2,9,7,10,4,7,5,6,10,9,9,7,9,3,10,3,9,4,8,5,8,7,4,9,8,3,10,1,10,9,5,7,6,5,9,4,10,1,10,9,3,10,6,9,4,7,6,7,5,9,10,7,10,5,9,9,7,4,8,5,8,7,5,10,4,7,10,1,10,9,6,7,7,10,4,9,3,10,10,9,4,7,9,7,8,7,7,10,10,9,2,9,7,7,10,3,8,3,10,9,9,7,6,9,10,3,9,4,10,9,7,5,6,7,7,10,2,9,9,7,4,7,10,5,9,4,8,9,7,10,8,5,6,9,4,9,9,7,9,3,10,7,7,10,4,7,5,6,6,7,10,7,9,2,10,3,8,7,6,5,8,3,8,5,9,5,7,5,10,9,4,9,9,7,5,8,6,5,10,9,2,9,7,4,10,3,8,5,10,9,9,7,10,5,9,8,10,1,10,9,7,9,3,10,4,7,10,1,10,9,5,7,7,10,4,9,2,9,7,7,10,7,9,6,10,3,9,7,6,9,10,7,4,7,10,3,10,1,10,9,8,3,10,5,9,7,4,9,10,9,6,7,8,7,7,10,2,9,8,5,8,7,10,5,9,3,10,1,10,9,2,9,7,8,8,5,7,6,10,9,9,7,7,10,4,7,5,6,8,3,10,7,9,10,4,9,4,7,6,7,5,7,4,9,6,7,9,9,7,4,8,9,8,3,10,3,9,7,10,9,10,7,8,5,9,9,7,9,3,10,8,5,6,5,9,7,8,3,10,9,6,7,5,10,4,7,10,1,10,9,4,9,9,7,6,9,10,1,10,9,2,9,7,5,9,10,2,9,4,7,5,7,4,7,10,3,9,4,8,5,8,7,6,7,5,8,8,5,10,9,5,7,8,3,9,4,10,1,10,9,3,10,6,9,4,7,8,9,5,9,10,7,5,10,4,9,7,6,6,7,8,7,7,10,4,7,5,6,10,9,6,7,9,9,7,4,10,1,10,9,4,7,4,9,5,8,4,9,6,7,7,10,6,5,9,10,2,9,4,9,9,7,8,9,10,3,9,4,10,9,7,7,10,5,9,6,10,1,10,9,5,7,5,10,4,7,10,1,10,9,3,10,6,9,4,9,9,7,4,9,10,7,9,4,10,3,10,1,10,9,8,9,4,7,10,3,8,7,8,9,6,7,6,9,7,8,4,9,8,3,10,7,8,7,7,10,2,9,6,7,4,7,10,5,9,10,2,9,4,7,6,7,5,10,4,9,6,7,9,9,7,4,8,5,9,6,10,1,10,9,5,7,9,8,4,9,2,9,7,9,3,10,6,9,4,7,9,7,8,7,7,10,6,7,5,8,10,1,10,9,8,3,10,5,9,7,6,9,10,9,6,7,10,5,9,5,7,4,8,5,8,7,5,10,4,7,10,1,10,9,2,9,7,10,4,9,8,7,4,9,9,7,9,3,10,3,9,4,10,9,7,8,10,5,9,6,10,1,10,9,5,7,6,5,9,4,8,5,10,9,3,10,6,9,4,9,9,7,5,9,10,7,10,5,9,9,7,4,10,9,8,5,6,5,9,7,10,1,10,9,6,7,7,10,4,7,5,6,8,7,10,7,9,7,8,5,7,10,10,9,2,9,7,7,10,3,8,9,4,7,7,10,6,9,10,3,9,4,8,5,8,7,8,9,8,3,10,1,10,9,5,7,10,5,9,4,10,1,10,9,3,10,6,9,4,7,10,1,10,9,10,7,7,10,4,9,7,8,8,5,8,7,9,2,10,3,8,5,10,9,6,7,4,7,10,3,9,10,10,9,4,7,6,7,5,8,4,9,6,7,9,9,7,4,8,9,8,3,10,9,9,7,10,5,9,8,8,5,10,9,7,9,3,10,4,9,4,7,9,7,8,3,10,5,9,4,8,9,7,7,10,7,9,6,10,3,9,7,6,9,10,7,4,9,2,9,7,5,10,9,8,9,4,7,5,8,10,1,10,9,6,7,8,5,9,5,7,9,8,3,10,7,10,5,9,3,10,1,10,9,2,9,7,8,6,7,10,1,10,9,9,7,7,10,4,9,6,7,4,9,7,6,6,7,8,7,7,10,10,9,5,7,4,7,10,3,8,3,10,9,3,10,6,9,4,7,4,9,5,9,10,7,8,3,8,5,7,9,3,10,8,3,10,5,9,7,8,9,10,9,6,7,5,10,4,9,3,10,10,9,4,7,7,10,4,7,5,6,6,7,10,7,9,5,9,10,2,9,4,9,9,7,4,9,10,3,9,4,10,9,7,10,6,7,5,8,6,5,10,9,5,7,8,9,6,7,6,9,7,8,4,9,8,3,10,3,9,7,7,10,8,3,9,4,10,3,10,1,10,9,8,5,6,5,9,7,5,6,10,9,6,7,9,9,7,4,8,5,10,9,4,9,9,7,10,3,10,1,10,9,2,9,7,9,3,10,2,9,4,7,9,7,8,7,7,10,2,9,2,9,7,7,10,5,9,6,10,1,10,9,5,7,5,10,4,9,2,9,7,5,8,3,8,5,9,2,10,1,10,9,10,7,9,4,8,9,7,10,10,9,8,7,4,9,9,7,9,3,10,9,6,7,6,9,7,8,10,1,10,9,4,7,8,5,9,3,10,1,10,9,2,9,7,6,6,7,8,3,10,9,9,7,5,10,4,7,10,1,10,9,7,4,10,5,9,6,10,1,10,9,5,7,9,8,10,3,8,9,7,9,3,10,6,9,4,9,9,7,8,5,8,7,6,7,5,8,8,5,10,9,8,9,4,7,7,10,2,9,10,9,6,7,10,5,9,5,7,4,10,9,4,9,9,7,4,9,10,1,10,9,2,9,7,10,4,7,5,6,10,9,9,7,9,3,10,3,9,4,8,9,7,8,8,5,9,6,10,1,10,9,5,7,6,5,9,4,10,1,10,9,3,10,6,9,4,7,6,7,5,9,10,7,10,5,9,9,7,4,8,9,8,3,10,5,9,7,10,1,10,9,6,7,7,10,4,9,3,10,10,9,4,7,9,7,8,3,10,1,10,9,2,9,7,7,10,3,8,7,8,9,9,7,6,9,10,3,9,4,10,9,7,5,6,7,7,10,2,9,9,7,4,7,10,5,9,4,8,5,10,9,3,10,6,9,4,9,9,7,9,3,10,7,7,10,4,7,5,6,6,7,10,7,9,2,10,3,8,3,10,9,6,7,4,9,7,6,6,7,8,7,7,10,6,7,5,8,10,1,10,9,2,9,7,4,10,3,8,9,4,7,4,9,5,10,4,9,6,7,7,10,8,7,5,10,4,7,10,1,10,9,5,7,7,10,4,9,2,9,7,7,10,7,9,6,10,3,9,7,6,9,10,7,4,7,10,3,10,1,10,9,8,7,6,5,9,7,4,9,10,9,6,7,8,3,10,3,9,10,10,9,4,7,10,5,9,3,10,1,10,9,2,9,7,8,4,9,8,3,10,9,9,7,7,10,4,7,5,6,8,7,10,7,9,10,4,9,4,7,6,7,5,7,4,9,6,7,9,9,7,4,8,5,6,9,4,9,9,7,10,9,10,7,8,9,2,9,7,9,3,10,8,9,4,7,9,7,8,7,7,10,8,3,8,5,9,5,7,6,8,3,10,7,7,10,4,9,10,1,10,9,2,9,7,5,9,10,2,9,4,7,5,7,4,7,10,3,9,4,8,9,7,10,6,7,5,8,4,9,9,7,9,3,10,5,9,4,10,1,10,9,3,10,6,9,4,7,8,5,10,9,10,7,5,10,4,9,7,6,6,7,8,3,10,5,9,7,5,6,10,9,6,7,9,9,7,4,10,1,10,9,4,7,4,9,5,8,8,5,10,9,2,9,7,9,3,10,2,9,4,9,9,7,8,5,9,8,4,9,2,9,7,7,10,5,9,6,10,1, start@index 2
pass for p = 11