-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path4_12_s0
62 lines (61 loc) · 22.5 KB
/
4_12_s0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
version 6.1
command line jprime 4 12 -super 0 -inverse -file 4_12_s0
length 43
length limit 43
states 495
shift cycles 43
short cycles 3
patterns 45
patterns (seen) 1040031338
nodes visited 6805594076
threads 1
hardware threads 12
seconds elapsed 107.1123
seconds working 107.1121
seconds avail 107.1123
patterns
8b22313b7112b12b12a11131a7131918131a1731611 : +++4---+----++1+---+----+a-+---+---+a--+---+--+9---+---++-b----+---++9-----+--++1+-----+--+5-b--+--+--+-b---+--+--+a----+--+-+1+----+--+-b-+----+--+a--+----+-+1+--+----+-b-+--+----+a--+--+---+2-+-+--+---b--+-+--+--b---+-+--+-b----+-+--+9-----+-++-b------+-++2-+-----+-+5--+-b---+-+---+9----+-+-+-b-----+-+-+3--+---+-+-b---+---+-+4---++---+-b----++---+9-----++-+-b------++-+2-+-----++-b--+-----++5---+9----++--+-b-----++--+6-----+++--b------+++-b-------
8b22319b11131a2b14118131a7131918131a1731611 : +++4---+----++1+---+----+a-+---+---+a--+---+--+9---+---++-b----+---++3--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+a--+----+-+1+--+----+-b-+--+----+8--+--+-+--b---+--+-+-b----+--+-+4---+-+--+-b----+-+--+9-----+-++-b------+-++2-+-----+-+5--+-b---+-+---+9----+-+-+-b-----+-+-+3--+---+-+-b---+---+-+4---++---+-b----++---+9-----++-+-b------++-+2-+-----++-b--+-----++5---+9----++--+-b-----++--+6-----+++--b------+++-b-------
8b23191231a29241171a2a141181a1319b111811611 : +++4---+----++1+---+----+a-+---+---+9--+---+-+-b---+---+-+3--+-b---+-+---+a----+-+--+9-----+-++-b------+-++2-+-----+-+a--+-----++3--++-----+a---+8----++-+--b-----++-+-b------++-+5----+--++-b-----+--++2-+----+--+a--+----+-+2-+-+----+-b--+-+----+8---+-+-+--b----+-+-+-b-----+-+-+4---+--+-+-b----+--+-+2-+---+--+-b--+---+--+9---+---++-b----+---++3--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+4---++--+--b----++--+-b-----++--+6-----+++--b------+++-b-------
8b23191231a292411819b11131a2a141181a1711611 : +++4---+----++1+---+----+a-+---+---+9--+---+-+-b---+---+-+3--+-b---+-+---+a----+-+--+9-----+-++-b------+-++2-+-----+-+a--+-----++3--++-----+a---+8----++-+--b-----++-+-b------++-+4---+---++-b----+---++3--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+a--+----+-+2-+-+----+-b--+-+----+8---+-+-+--b----+-+-+-b-----+-+-+4---+--+-+-b----+--+-+2-+---+--+-b--+---+--+5---++--+--b----++--+-b-----++--+6-----+++--b------+++-b-------
93a2b11131a2a141181a131a3191811161aa1231611 : +++3--+-----++9---+----++2-+--+----+a--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+a--+----+-+2-+-+----+-b--+-+----+8---+-+-+--b----+-+-+-b-----+-+-+4---+--+-+-b----+--+-+2-+---+--+-b--+---+--+9---+---++-b----+---++2-+---+---+9--+---+-+-b---+---+-+3--+-b---+-+---+4---++-+---b----++-+--b-----++-+-b------++-+6-----+-++-b------+-++2-+-----+-+2-++-----+-b--++-----+a---+9----++--+-b-----++--+6-----+++--b------+++-b-------
94b12319b11131a61171a118411616b1712b1171411 : +++3--+-----++8---+---+-+1+---+---+-b-+---+---+a--+---+--+9---+---++-b----+---++3--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+6--+--+-+--b---+--+-+-b----+--+-+5----++--+-b-----++--+2-+----++--b--+----++-b---+----++4---+8----++-+--b-----++-+-b------++-+6-----+-++-b------+-++6-----+-+-+1+-----+-+-b-+-----+-+5--+-b---+-+---+a----+-+--+1+----+-+--b-+----+-+-b--+----+-+5---++---+-b----++---+8-----+++--b------+++-b-------
9728111891911181a17119119b11161171a31931511 : +++3--+-----++5---+a----++---+4---+-++---b----+-++--b-----+-++-b------+-++4---+---+-+3--+-b---+-+---+3--+-+-+---b---+-+-+--b----+-+-+-b-----+-+-+4---+--+-+-b----+--+-+2-+---+--+-b--+---+--+5---++--+--b----++--+-b-----++--+3--+---++--b---+---++-b----+---++3--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+6----++-+--b-----++-+-b------++-+5----+--++-b-----+--++2-+----+--+9--+----++-b---+----++3--+-+----+9---+-+--+-b----+-+--+7-----+++--b------+++-b-------
9741161a51913181a17119119b11131a315b1171411 : +++3--+-----++5---+8----++-+--b-----++-+-b------++-+6-----+-++-b------+-++2-+-----+-+7--+---+-+-b---+---+-+3--+-b---+-+---+9----+-+-+-b-----+-+-+4---+--+-+-b----+--+-+2-+---+--+-b--+---+--+5---++--+--b----++--+-b-----++--+3--+---++--b---+---++-b----+---++3--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+9--+----++-b---+----++7----+-+--+1+----+-+--b-+----+-+-b--+----+-+5---++---+-b----++---+8-----+++--b------+++-b-------
9741161a713181a1319b1118118117b112b23181411 : +++3--+-----++5---+8----++-+--b-----++-+-b------++-+6-----+-++-b------+-++2-+-----+-+5--+-b---+-+---+9----+-+-+-b-----+-+-+4---+--+-+-b----+--+-+2-+---+--+-b--+---+--+9---+---++-b----+---++3--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+4---++--+--b----++--+-b-----++--+4---+--++--b----+--++-b-----+--++5----+-+--+1+----+-+--b-+----+-+-b--+----+-+a---+----++1+---+----+a-+---+---+9--+---+-+-b---+---+-+4---++---+-b----++---+8-----+++--b------+++-b-------
9741191681117a17119119b11131ab1141191912511 : +++3--+-----++5---+8----++-+--b-----++-+-b------++-+3--+----++-b---+----++6----++---+4---+-++---b----+-++--b-----+-++-b------+-++5----+--+-+2-+---+--+-b--+---+--+5---++--+--b----++--+-b-----++--+3--+---++--b---+---++-b----+---++3--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+1+-+----+--b-+-+----+-b--+-+----+8---+-+-+--b----+-+-+-b-----+-+-+3--+---+-+-b---+---+-+3--+-b---+-+---+a----+-+--+7-----+++--b------+++-b-------
99241161a519131a151a17119119b11131a31931511 : +++3--+-----++3--++-----+a---+8----++-+--b-----++-+-b------++-+6-----+-++-b------+-++2-+-----+-+7--+---+-+-b---+---+-+3--+-b---+-+---+9----+-+-+-b-----+-+-+2-+----+-+-b--+----+-+7---+--+-+-b----+--+-+2-+---+--+-b--+---+--+5---++--+--b----++--+-b-----++--+3--+---++--b---+---++-b----+---++3--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+9--+----++-b---+----++3--+-+----+9---+-+--+-b----+-+--+7-----+++--b------+++-b-------
9a23131a713181a131a3141a2b12b11161191822611 : +++3--+-----++2-+-+-----+a--+-+----+9---+-+--+-b----+-+--+9-----+-++-b------+-++2-+-----+-+5--+-b---+-+---+9----+-+-+-b-----+-+-+4---+--+-+-b----+--+-+2-+---+--+-b--+---+--+9---+---++-b----+---++2-+---+---+9--+---+-+-b---+---+-+8----+--++-b-----+--++2-+----+--+a--+----+-+1+--+----+-b-+--+----+a--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+6----++-+--b-----++-+-b------++-+3--+----++-b---+----++4---+a----++---+a-----++--+6-----+++--b------+++-b-------
9a31911181a12812a11841171a5119b111511961511 : +++3--+-----++2-+-+-----+9--+-b---+-+---+3--+-+-+---b---+-+-+--b----+-+-+-b-----+-+-+4---+--+-+-b----+--+-+2-+---+--+-b--+---+--+a---+---+-+4---++---+-b----++---+a-----++--+2-+----++--b--+----++-b---+----++4---+8----++-+--b-----++-+-b------++-+5----+--++-b-----+--++2-+----+--+7--+---++--b---+---++-b----+---++3--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+7----+-++--b-----+-++-b------+-++3--+----+-+6---+-+--+-b----+-+--+7-----+++--b------+++-b-------
9b22b11131a611418b12314b1712b11713191831611 : +++3--+-----++1+--+-----+a-+--+----+a--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+6--+--+-+--b---+--+-+-b----+--+-+8-----+-++-b------+-++4---+---+-+1+---+---+-b-+---+---+a--+---+--+9---+---++-b----+---++8-----+-+-+1+-----+-+-b-+-----+-+5--+-b---+-+---+a----+-+--+1+----+-+--b-+----+-+-b--+----+-+5---++---+-b----++---+9-----++-+-b------++-+3--+----++-b---+----++4---+9----++--+-b-----++--+6-----+++--b------+++-b-------
9b41131a2a14119161a11823181a2b113141a712511 : +++3--+-----++1+--+-----+8-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+a--+----+-+2-+-+----+-b--+-+----+8---+-+-+--b----+-+-+-b-----+-+-+3--+---+-+-b---+---+-+6----++--+-b-----++--+2-+----++--b--+----++-b---+----++4---+a----++---+9-----++-+-b------++-+4---+---++-b----+---++2-+---+---+a--+---+--+1+--+---+--b-+--+---+-b--+--+---+9---+--+-+-b----+--+-+8-----+-++-b------+-++2-+-----+-+5--+-b---+-+---+a----+-+--+7-----+++--b------+++-b-------
9b41131a318317119b141181a1191316181a2911411 : +++3--+-----++1+--+-----+8-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+9--+----++-b---+----++4---+9----++--+-b-----++--+5----+-++--b-----+-++-b------+-++3--+----+-+1+--+----+-b-+--+----+8--+--+-+--b---+--+-+-b----+--+-+4---+-+--+-b----+-+--+2-+---+-+--b--+---+-+-b---+---+-+3--+-b---+-+---+9----+-+-+-b-----+-+-+6-----++-+-b------++-+4---+---++-b----+---++2-+---+---+a--+---+--+3--++---+--b---++---+-b----++---+8-----+++--b------+++-b-------
9b41131a318317119b141181a1191316181aa111411 : +++3--+-----++1+--+-----+8-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+9--+----++-b---+----++4---+9----++--+-b-----++--+5----+-++--b-----+-++-b------+-++3--+----+-+1+--+----+-b-+--+----+8--+--+-+--b---+--+-+-b----+--+-+4---+-+--+-b----+-+--+2-+---+-+--b--+---+-+-b---+---+-+3--+-b---+-+---+9----+-+-+-b-----+-+-+6-----++-+-b------++-+4---+---++-b----+---++2-+---+---+2-++---+---b--++---+--b---++---+-b----++---+8-----+++--b------+++-b-------
9b4118112b173131a4182a1118b11141a251a161141 : +++3--+-----++1+--+-----+8-b--+--+--+-b---+--+--+4---++--+--b----++--+-b-----++--+a------++-+1+------++-b-+------++5--+-+----+9---+-+--+-b----+-+--+9-----+-++-b------+-++2-+-----+-+8--+----++-b---+----++4---+a----++---+2-+---++---b--+---++--b---+---++-b----+---++4---+-+---+1+---b-+---+-+--b--+---+-+-b---+---+-+8----+--++-b-----+--++2-+----+--+a--+----+-+7---+--+-+-b----+--+-+2-+---+--+-b--+---+--+6---+-+-+--b----+-+-+-b-----+-+-+8------+++-b-------
9b411811911931a15117a11914119a1411619182411 : +++3--+-----++1+--+-----+8-b--+--+--+-b---+--+--+4---++--+--b----++--+-b-----++--+3--+---++--b---+---++-b----+---++3--+--+---+9---+--+-+-b----+--+-+2-+---+--+-b--+---+--+7---+--++--b----+--++-b-----+--++5----+-+--+2-+---+-+--b--+---+-+-b---+---+-+3--+-b---+-+---+8----+-++--b-----+-++-b------+-++3--+----+-+2-+-+----+-b--+-+----+8---+-+-+--b----+-+-+-b-----+-+-+6-----++-+-b------++-+3--+----++-b---+----++4---+a----++---+8-----+++--b------+++-b-------
a33a2b11131a2a141181a131a3191811161aa123131 : +++2-+------++9--+-----++9---+----++2-+--+----+a--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+a--+----+-+2-+-+----+-b--+-+----+8---+-+-+--b----+-+-+-b-----+-+-+4---+--+-+-b----+--+-+2-+---+--+-b--+---+--+9---+---++-b----+---++2-+---+---+9--+---+-+-b---+---+-+3--+-b---+-+---+4---++-+---b----++-+--b-----++-+-b------++-+6-----+-++-b------+-++2-+-----+-+2-++-----+-b--++-----+a---+9----++--+-b-----++--+9------+++-b-------
a3728111891911181a17119119b11131a3193171151 : +++2-+------++9--+-----++5---+a----++---+4---+-++---b----+-++--b-----+-++-b------+-++4---+---+-+3--+-b---+-+---+3--+-+-+---b---+-+-+--b----+-+-+-b-----+-+-+4---+--+-+-b----+--+-+2-+---+--+-b--+---+--+5---++--+--b----++--+-b-----++--+3--+---++--b---+---++-b----+---++3--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+9--+----++-b---+----++3--+-+----+9---+-+--+-b----+-+--+5----++-+--b-----++-+-b------++-+7------+++-b-------
a39231a114a1291271171a5119b1115119a1a111141 : +++2-+------++9--+-----++3--++-----+a---+9----++--+-b-----++--+2-+----++--b--+----++-b---+----++8----+--+-+2-+---+--+-b--+---+--+a---+---+-+3--+-b---+-+---+a----+-+--+5----++-+--b-----++-+-b------++-+5----+--++-b-----+--++2-+----+--+7--+---++--b---+---++-b----+---++3--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+7----+-++--b-----+-++-b------+-++3--+----+-+2-+-+----+-b--+-+----+2-+-+-+----b--+-+-+---b---+-+-+--b----+-+-+-b-----+-+-+8------+++-b-------
a39231a11571171a5119b1112a12914119a1a111141 : +++2-+------++9--+-----++3--++-----+a---+9----++--+-b-----++--+2-+----++--b--+----++-b---+----++7----+-+--+5----++-+--b-----++-+-b------++-+5----+--++-b-----+--++2-+----+--+7--+---++--b---+---++-b----+---++3--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+a----+--+-+2-+---+--+-b--+---+--+a---+---+-+3--+-b---+-+---+8----+-++--b-----+-++-b------+-++3--+----+-+2-+-+----+-b--+-+----+2-+-+-+----b--+-+-+---b---+-+-+--b----+-+-+-b-----+-+-+8------+++-b-------
a39231a1193171171a5119b111511951a1291911141 : +++2-+------++9--+-----++3--++-----+a---+9----++--+-b-----++--+2-+----++--b--+----++-b---+----++3--+-+----+9---+-+--+-b----+-+--+5----++-+--b-----++-+-b------++-+5----+--++-b-----+--++2-+----+--+7--+---++--b---+---++-b----+---++3--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+7----+-++--b-----+-++-b------+-++3--+----+-+7---+--+-+-b----+--+-+2-+---+--+-b--+---+--+a---+---+-+3--+-b---+-+---+3--+-+-+---b---+-+-+--b----+-+-+-b-----+-+-+8------+++-b-------
a394119119b1112a1291231a41841171a2a1a111141 : +++2-+------++9--+-----++3--++-----+8---++--+--b----++--+-b-----++--+3--+---++--b---+---++-b----+---++3--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+a----+--+-+2-+---+--+-b--+---+--+a---+---+-+3--+-b---+-+---+a----+-+--+9-----+-++-b------+-++2-+-----+-+8--+----++-b---+----++4---+8----++-+--b-----++-+-b------++-+5----+--++-b-----+--++2-+----+--+a--+----+-+2-+-+----+-b--+-+----+2-+-+-+----b--+-+-+---b---+-+-+--b----+-+-+-b-----+-+-+8------+++-b-------
a3a23131a713181a131a3141a2b12b1116119182231 : +++2-+------++9--+-----++2-+-+-----+a--+-+----+9---+-+--+-b----+-+--+9-----+-++-b------+-++2-+-----+-+5--+-b---+-+---+9----+-+-+-b-----+-+-+4---+--+-+-b----+--+-+2-+---+--+-b--+---+--+9---+---++-b----+---++2-+---+---+9--+---+-+-b---+---+-+8----+--++-b-----+--++2-+----+--+a--+----+-+1+--+----+-b-+--+----+a--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+6----++-+--b-----++-+-b------++-+3--+----++-b---+----++4---+a----++---+a-----++--+9------+++-b-------
a3b22b1112a1291231a4183191173171a2a1a111141 : +++2-+------++9--+-----++1+--+-----+a-+--+----+a--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+a----+--+-+2-+---+--+-b--+---+--+a---+---+-+3--+-b---+-+---+a----+-+--+9-----+-++-b------+-++2-+-----+-+8--+----++-b---+----++4---+9----++--+-b-----++--+3--+---++--b---+---++-b----+---++5----++---+9-----++-+-b------++-+5----+--++-b-----+--++2-+----+--+a--+----+-+2-+-+----+-b--+-+----+2-+-+-+----b--+-+-+---b---+-+-+--b----+-+-+-b-----+-+-+8------+++-b-------
a3b22b11131a611418b12314b1712b1171319183131 : +++2-+------++9--+-----++1+--+-----+a-+--+----+a--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+6--+--+-+--b---+--+-+-b----+--+-+8-----+-++-b------+-++4---+---+-+1+---+---+-b-+---+---+a--+---+--+9---+---++-b----+---++8-----+-+-+1+-----+-+-b-+-----+-+5--+-b---+-+---+a----+-+--+1+----+-+--b-+----+-+-b--+----+-+5---++---+-b----++---+9-----++-+-b------++-+3--+----++-b---+----++4---+9----++--+-b-----++--+9------+++-b-------
a4b12b1116119193191141a29231811931a31913141 : +++2-+------++8--+----+-+1+--+----+-b-+--+----+a--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+6----++-+--b-----++-+-b------++-+3--+----++-b---+----++3--+-+----+9---+-+--+-b----+-+--+3--+--+-+--b---+--+-+-b----+--+-+8-----+-++-b------+-++2-+-----+-+a--+-----++3--++-----+a---+9----++--+-b-----++--+4---+--++--b----+--++-b-----+--++3--+---+--+9---+---++-b----+---++2-+---+---+9--+---+-+-b---+---+-+3--+-b---+-+---+9----+-+-+-b-----+-+-+8------+++-b-------
a531a3191291141a41a2b11131a2a141161a1923131 : +++2-+------++7--+---+--+9---+---++-b----+---++2-+---+---+9--+---+-+-b---+---+-+3--+-b---+-+---+a----+-+--+3--+--+-+--b---+--+-+-b----+--+-+8-----+-++-b------+-++2-+-----+-+8--+----++-b---+----++2-+--+----+a--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+a--+----+-+2-+-+----+-b--+-+----+8---+-+-+--b----+-+-+-b-----+-+-+6-----++-+-b------++-+2-+-----++-b--+-----++3--++-----+a---+9----++--+-b-----++--+9------+++-b-------
a57119119b11131a3193191151a1728111891911141 : +++2-+------++7--+---+--+5---++--+--b----++--+-b-----++--+3--+---++--b---+---++-b----+---++3--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+9--+----++-b---+----++3--+-+----+9---+-+--+-b----+-+--+3--+--+-+--b---+--+-+-b----+--+-+7-----++-+-b------++-+2-+-----++-b--+-----++5---+a----++---+4---+-++---b----+-++--b-----+-++-b------+-++4---+---+-+3--+-b---+-+---+3--+-+-+---b---+-+-+--b----+-+-+-b-----+-+-+8------+++-b-------
a5b113171a11823181a3191231a2b41131a2a141141 : +++2-+------++7--+---+--+1+--+---+--b-+--+---+-b--+--+---+9---+--+-+-b----+--+-+5----++--+-b-----++--+2-+----++--b--+----++-b---+----++4---+a----++---+9-----++-+-b------++-+4---+---++-b----+---++2-+---+---+9--+---+-+-b---+---+-+3--+-b---+-+---+a----+-+--+9-----+-++-b------+-++2-+-----+-+a--+-----++1+--+-----+8-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+a--+----+-+2-+-+----+-b--+-+----+8---+-+-+--b----+-+-+-b-----+-+-+8------+++-b-------
a6b11131a3193131a29241181a319131a151a171131 : +++2-+------++6--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+9--+----++-b---+----++3--+-+----+9---+-+--+-b----+-+--+9-----+-++-b------+-++2-+-----+-+a--+-----++3--++-----+a---+8----++-+--b-----++-+-b------++-+4---+---++-b----+---++2-+---+---+9--+---+-+-b---+---+-+3--+-b---+-+---+9----+-+-+-b-----+-+-+2-+----+-+-b--+----+-+7---+--+-+-b----+--+-+2-+---+--+-b--+---+--+5---++--+--b----++--+-b-----++--+9------+++-b-------
a6b11131a31a411418b12314b1712b117131a173131 : +++2-+------++6--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+9--+----++-b---+----++2-+--+----+8--+--+-+--b---+--+-+-b----+--+-+8-----+-++-b------+-++4---+---+-+1+---+---+-b-+---+---+a--+---+--+9---+---++-b----+---++8-----+-+-+1+-----+-+-b-+-----+-+5--+-b---+-+---+a----+-+--+1+----+-+--b-+----+-+-b--+----+-+5---++---+-b----++---+9-----++-+-b------++-+2-+-----++-b--+-----++5---+9----++--+-b-----++--+9------+++-b-------
a6b11131a611418b12314b12a312b11712a11841151 : +++2-+------++6--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+6--+--+-+--b---+--+-+-b----+--+-+8-----+-++-b------+-++4---+---+-+1+---+---+-b-+---+---+a--+---+--+9---+---++-b----+---++8-----+-+-+1+-----+-+-b-+-----+-+a--+-----++2-+-+-----+9--+-b---+-+---+a----+-+--+1+----+-+--b-+----+-+-b--+----+-+5---++---+-b----++---+a-----++--+2-+----++--b--+----++-b---+----++4---+8----++-+--b-----++-+-b------++-+7------+++-b-------
a73131a2a313181a131a3141a2b12b1116119182231 : +++2-+------++5--+-+----+9---+-+--+-b----+-+--+9-----+-++-b------+-++2-+-----+-+a--+-----++2-+-+-----+9--+-b---+-+---+9----+-+-+-b-----+-+-+4---+--+-+-b----+--+-+2-+---+--+-b--+---+--+9---+---++-b----+---++2-+---+---+9--+---+-+-b---+---+-+8----+--++-b-----+--++2-+----+--+a--+----+-+1+--+----+-b-+--+----+a--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+6----++-+--b-----++-+-b------++-+3--+----++-b---+----++4---+a----++---+a-----++--+9------+++-b-------
a73191141a41a2b11131a241a2291911161a1923131 : +++2-+------++5--+-+----+9---+-+--+-b----+-+--+3--+--+-+--b---+--+-+-b----+--+-+8-----+-++-b------+-++2-+-----+-+8--+----++-b---+----++2-+--+----+a--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+a--+----+-+8---+---++-b----+---++2-+---+---+a--+---+--+a---+---+-+3--+-b---+-+---+3--+-+-+---b---+-+-+--b----+-+-+-b-----+-+-+6-----++-+-b------++-+2-+-----++-b--+-----++3--++-----+a---+9----++--+-b-----++--+9------+++-b-------
a73191141a7131a1419b11131a318231a14b1271131 : +++2-+------++5--+-+----+9---+-+--+-b----+-+--+3--+--+-+--b---+--+-+-b----+--+-+8-----+-++-b------+-++2-+-----+-+5--+-b---+-+---+9----+-+-+-b-----+-+-+2-+----+-+-b--+----+-+8---+---++-b----+---++3--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+9--+----++-b---+----++4---+a----++---+9-----++-+-b------++-+2-+-----++-b--+-----++8---+---+-+1+---+---+-b-+---+---+a--+---+--+5---++--+--b----++--+-b-----++--+9------+++-b-------
a731a11914117b122b3161161a172a1113b71181131 : +++2-+------++5--+-+----+9---+-+--+-b----+-+--+2-+---+-+--b--+---+-+-b---+---+-+3--+-b---+-+---+8----+-++--b-----+-++-b------+-++5----+--+-+1+----+--+-b-+----+--+a--+----+-+a---+----++1+---+----+9-+---+--+-b--+---+--+6---+-+-+--b----+-+-+-b-----+-+-+6-----++-+-b------++-+2-+-----++-b--+-----++5---+a----++---+2-+---++---b--+---++--b---+---++-b----+---++9-----+--++1+-----+--+5-b--+--+--+-b---+--+--+4---++--+--b----++--+-b-----++--+9------+++-b-------
a8241171a2a14119191291141a23b22319b11181131 : +++2-+------++4--++-----+a---+8----++-+--b-----++-+-b------++-+5----+--++-b-----+--++2-+----+--+a--+----+-+2-+-+----+-b--+-+----+8---+-+-+--b----+-+-+-b-----+-+-+3--+---+-+-b---+---+-+3--+-b---+-+---+a----+-+--+3--+--+-+--b---+--+-+-b----+--+-+8-----+-++-b------+-++2-+-----+-+a--+-----++9---+----++1+---+----+a-+---+---+a--+---+--+9---+---++-b----+---++3--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+4---++--+--b----++--+-b-----++--+9------+++-b-------
a82411819b11131a2a14119191291141a23b2271131 : +++2-+------++4--++-----+a---+8----++-+--b-----++-+-b------++-+4---+---++-b----+---++3--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+a--+----+-+2-+-+----+-b--+-+----+8---+-+-+--b----+-+-+-b-----+-+-+3--+---+-+-b---+---+-+3--+-b---+-+---+a----+-+--+3--+--+-+--b---+--+-+-b----+--+-+8-----+-++-b------+-++2-+-----+-+a--+-----++9---+----++1+---+----+a-+---+---+a--+---+--+5---++--+--b----++--+-b-----++--+9------+++-b-------
b33728111891911181a17119119b11131a319317112 : +++1+-------++9-+------++9--+-----++5---+a----++---+4---+-++---b----+-++--b-----+-++-b------+-++4---+---+-+3--+-b---+-+---+3--+-+-+---b---+-+-+--b----+-+-+-b-----+-+-+4---+--+-+-b----+--+-+2-+---+--+-b--+---+--+5---++--+--b----++--+-b-----++--+3--+---++--b---+---++-b----+---++3--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+9--+----++-b---+----++3--+-+----+9---+-+--+-b----+-+--+5----++-+--b-----++-+-b------++-+a-------
b36b11131a611418b12314b12a312b11712a1184112 : +++1+-------++9-+------++6--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+6--+--+-+--b---+--+-+-b----+--+-+8-----+-++-b------+-++4---+---+-+1+---+---+-b-+---+---+a--+---+--+9---+---++-b----+---++8-----+-+-+1+-----+-+-b-+-----+-+a--+-----++2-+-+-----+9--+-b---+-+---+a----+-+--+1+----+-+--b-+----+-+-b--+----+-+5---++---+-b----++---+a-----++--+2-+----++--b--+----++-b---+----++4---+8----++-+--b-----++-+-b------++-+a-------
b42b41131a3182a1118b11151a151a17112b1731313 : +++1+-------++8-+-----+-+a--+-----++1+--+-----+8-b--+--+--+-b---+--+--+9----+--++-b-----+--++2-+----+--+9--+----++-b---+----++4---+a----++---+2-+---++---b--+---++--b---+---++-b----+---++4---+-+---+1+---b-+---+-+--b--+---+-+-b---+---+-+7----+-+-+-b-----+-+-+2-+----+-+-b--+----+-+7---+--+-+-b----+--+-+2-+---+--+-b--+---+--+5---++--+--b----++--+-b-----++--+a------++-+1+------++-b-+------++5--+-+----+9---+-+--+-b----+-+--+9-----+-++-b------+-++9-------
b52a1a11112b2392319113b241a2b1112a129127112 : +++1+-------++7-+----+--+a--+----+-+2-+-+----+-b--+-+----+2-+-+-+----b--+-+-+---b---+-+-+--b----+-+-+-b-----+-+-+a------+-++1+------+-+a-+------++9--+-----++3--++-----+a---+9----++--+-b-----++--+3--+---++--b---+---++-b----+---++9-----+--++1+-----+--+a-+-----+-+8--+----++-b---+----++2-+--+----+a--+--+---+1+--+--+---b-b--+--+--+-b---+--+--+a----+--+-+2-+---+--+-b--+---+--+a---+---+-+3--+-b---+-+---+a----+-+--+5----++-+--b-----++-+-b------++-+a-------