i: 0
x: 1

i: 1
x: 3

i: 2
x: 4

i: 3
x: 5

i: 4
x: 6

i: 5
x: 7

i: 6
x: 8

i: 7
s: 36
c: 7

i: 3
x: 1

i: 4
x: 2

i: 5
x: 3

i: 6
x: 4

i: 7
x: 5

i: 8
s: 51
c: 4

i: 4
x: 1

i: 5
x: 2

i: 6
x: 3

i: 7
x: 4

i: 8
x: 5

i: 9
x: 6

i: 10
s: 72
c: 5

i: 6
x: 1

i: 7
x: 2

i: 8
x: 3

i: 9
x: 4

i: 10
x: 5

i: 11
x: 6

i: 12
x: 7

i: 13
x: 8

i: 14
s: 108
c: 6

i: 10
x: 1

i: 11
x: 2

i: 12
x: 3

i: 13
x: 4

i: 14
x: 5

i: 15
x: 6

i: 16
x: 8

i: 17
x: 9

i: 18
s: 153
c: 6

i: 14
x: 1

i: 15
x: 2

i: 16
x: 4

i: 17
x: 5

i: 18
x: 9

i: 19
x: 10

i: 20
x: 11

i: 21
x: 12

i: 22
s: 231
c: 10

i: 18
x: 4

i: 19
x: 5

i: 20
x: 6

i: 21
x: 7

i: 22
x: 8

i: 23
x: 9

i: 24
x: 10

i: 25
x: 11

i: 26
x: 12

i: 27
x: 13

i: 28
s: 322
c: 6

i: 24
x: 1

i: 25
x: 2

i: 26
x: 3

i: 27
x: 4

i: 28
x: 5

i: 29
x: 6

i: 30
s: 343
c: 4

i: 26
x: 1

i: 27
x: 2

i: 28
x: 3

i: 29
x: 4

i: 30
x: 5

i: 31
s: 358
c: 4

i: 27
x: 1

i: 28
x: 2

i: 29
x: 3

i: 30
x: 4

i: 31
x: 5

i: 32
x: 6

i: 33
s: 379
c: 5

i: 29
x: 1

i: 30
x: 2

i: 31
x: 3

i: 32
x: 4

i: 33
x: 5

i: 34
x: 7

i: 35
x: 8

i: 36
s: 415
c: 6

i: 32
x: 1

i: 33
x: 2

i: 34
x: 4

i: 35
x: 5

i: 36
x: 6

i: 37
s: 436
c: 5

i: 33
x: 1

i: 34
x: 3

i: 35
x: 4

i: 36
x: 5

i: 37
x: 6

i: 38
x: 7

i: 39
x: 8

i: 40
s: 472
c: 4

i: 36
x: 1

i: 37
x: 2

i: 38
x: 3

i: 39
x: 4

i: 40
x: 5

i: 41
x: 6

i: 42
s: 493
c: 5

i: 38
x: 1

i: 39
x: 2

i: 40
x: 3

i: 41
x: 4

i: 42
x: 5

i: 43
x: 6

i: 44
x: 7

i: 45
x: 8

i: 46
x: 9

i: 47
s: 538
c: 5

i: 43
x: 1

i: 44
x: 2

i: 45
x: 3

i: 46
x: 4

i: 47
x: 5

i: 48
x: 6

i: 49
x: 7

i: 50
x: 8

i: 51
x: 9

i: 52
s: 583
c: 5

i: 48
x: 1

i: 49
x: 2

i: 50
x: 3

i: 51
x: 4

i: 52
x: 5

i: 53
x: 6

i: 54
x: 7

i: 55
x: 8

i: 56
x: 9

i: 57
x: 10

i: 58
x: 11

i: 59
s: 649
c: 6

i: 55
x: 1

i: 56
x: 2

i: 57
x: 3

i: 58
x: 4

i: 59
x: 5

i: 60
s: 664
c: 4

i: 56
x: 1

i: 57
x: 2

i: 58
x: 3

i: 59
x: 4

i: 60
x: 5

i: 61
s: 679
c: 4

i: 57
x: 1

i: 58
x: 2

i: 59
x: 3

i: 60
x: 4

i: 61
x: 5

i: 62
x: 6

i: 63
s: 700
c: 5

i: 59
x: 1

i: 60
x: 2

i: 61
x: 3

i: 62
x: 4

i: 63
x: 5

i: 64
x: 6

i: 65
s: 721
c: 5

i: 61
x: 1

i: 62
x: 2

i: 63
x: 3

i: 64
x: 4

i: 65
x: 5

i: 66
s: 736
c: 4

i: 62
x: 1

i: 63
x: 2

i: 64
x: 3

i: 65
x: 4

i: 66
x: 5

i: 67
s: 751
c: 4

i: 63
x: 1

i: 64
x: 2

i: 65
x: 3

i: 66
x: 4

i: 67
x: 5

i: 68
x: 6

i: 69
s: 772
c: 5

i: 65
x: 1

i: 66
x: 2

i: 67
x: 3

i: 68
x: 4

i: 69
x: 5

i: 70
x: 6

i: 71
x: 7

i: 72
s: 800
c: 6

i: 68
x: 1

i: 69
x: 2

i: 70
x: 3

i: 71
x: 4

i: 72
x: 5

i: 73
x: 6

i: 74
s: 821
c: 4

i: 70
x: 1

i: 71
x: 2

i: 72
x: 3

i: 73
x: 4

i: 74
x: 5

i: 75
x: 6

i: 76
s: 842
c: 5

i: 72
x: 1

i: 73
x: 2

i: 74
x: 3

i: 75
x: 4

i: 76
x: 6

i: 77
x: 7

i: 78
x: 8

i: 79
x: 10

i: 80
s: 897
c: 9

i: 76
x: 2

i: 77
x: 3

i: 78
x: 4

i: 79
x: 6

i: 80
x: 7

i: 81
x: 8

i: 82
x: 9

i: 83
x: 10

i: 84
s: 952
c: 6

i: 80
x: 1

i: 81
x: 2

i: 82
x: 3

i: 83
x: 4

i: 84
x: 5

i: 85
x: 6

i: 86
x: 7

i: 87
x: 8

i: 88
x: 9

i: 89
s: 997
c: 4

i: 85
x: 1

i: 86
x: 2

i: 87
x: 3

i: 88
x: 4

i: 89
x: 5

i: 90
s: 1012
c: 4

i: 86
x: 1

i: 87
x: 2

i: 88
x: 3

i: 89
x: 4

i: 90
x: 5

i: 91
s: 1027
c: 4

i: 87
x: 1

i: 88
x: 2

i: 89
x: 3

i: 90
x: 4

i: 91
x: 5

497