$\mathcal{H}(3,1^5)$ Extra Branching Occurs Over One Point

This notebook addresses the case where there is a simple zero over at least three of the four $2$-torsion points. The fourth $2$-torsion point has a triple zero above it as well as both of the remaining simple zeros, and they descend to one of the points in $\{(0,0), (1,0)\}$.

We recall that in $\mathcal{H}(3,1^5)$, $d_{opt} = 16$ and by the arrangement above, there is a $2$-torsion point in the boundary of each horizontal cylinder that has exactly one simple zero above it.

In [2]:
import re

Step 1

In [3]:
#This loads all of the 1-cylinder diagrams in H(3,1^3) formatted as python lists

with open('ST5_data//1-cyl_diags//cyl_diags-3_1_1_1-c-1', 'r') as file:
    H3_1t3_cyl_diags = eval(file.read())

H1_1_cyl_diags = [[[[0,1,2,3],[0,1,2,3]]]]

#This loads all of the functions for processing cylinder diagrams

%run ./ST5_fcns/cyl_diag_fcns.ipynb

#This runs almost instantly and constructs
#all of the binary lists associated to each
#simple zero for every cylinder diagram

H3_1t3_vertex_data = strat_odd_sc(H3_1t3_cyl_diags)

H1_1_vertex_data = strat_odd_sc(H1_1_cyl_diags)

Among partitions of $32$ into four odd numbers the minimum of the maximum numbers among all partitions is $2d_{opt}/4 = 8$, which is $9$ in this case because $8$ is not odd.

For the partition of $32$ into $10$ numbers, we have that the minimum is given by $\lceil 32/10 \rceil = 4$.

Solving $32 - 2(9) - 2t_0 \geq 0$ implies that the largest value of $t_0$ is $7$.

Solving $32 - 2s_0 - 2(4) \geq 0$ implies that the largest value of $s_0$ is $12$. Since the number must be odd, the largest value of $s_0$ is in fact $11$.

In summary:

$$s_0 \in \{9, 11\} \text{ and } 4 \leq t_0 \leq 7$$

Step 2

In [8]:
#This loads all of the standard partition functions needed for nearly every case
#It also loads the partition evaluate function

%run ./ST5_fcns/partition_functions.ipynb


if False:
    create_sc_partition_file((), part_length = 4, t0_range = range(9,12), d_opt = 16,
                             filename_root = 'ST5_data//H_3_1t5//1_branch_point//partitions//H1t2_part')

if False:
    create_sc_partition_file((), part_length = 10, t0_range = range(4,8), d_opt = 16,
                             filename_root = 'ST5_data//H_3_1t5//1_branch_point//partitions//H_3_1t3_part')

#Load the partitions

if True:
    with open('ST5_data//H_3_1t5//1_branch_point//partitions//H1t2_part', 'r') as file:
        H1t2_part = eval_part(file.read())

if True:
    with open('ST5_data//H_3_1t5//1_branch_point//partitions//H_3_1t3_part', 'r') as file:
        H_3_1t3_part = eval_part(file.read())

ST5_data//H_3_1t5//1_branch_point//partitions//H1t2_part written
ST5_data//H_3_1t5//1_branch_point//partitions//H_3_1t3_part written

Step 3

In [9]:
#This loads all of the align_list functions needed for nearly every case
#This includes the align_list evaluate function

%run ./ST5_fcns/align_list_fcns.ipynb

if True:
    for t in range(4,8):
        align_list_write_file(H_3_1t3_part, H3_1t3_vertex_data, 
                              'ST5_data//H_3_1t5//1_branch_point//align_list//H_3_1t3_align_list', 
                              t0 = t)

if True:
    for t in [9,11]:
        align_list_write_file(H1t2_part, H1_1_vertex_data, 
                              'ST5_data//H_3_1t5//1_branch_point//align_list//H_1_1_align_list', 
                              t0 = t)

756 partitions to search
5012 partitions to search
32634 partitions to search
('10000 partitions processed', (6, 4, 2, 1, 1, 3, 5, 6, 2, 2))
('20000 partitions processed', (6, 4, 6, 2, 1, 1, 6, 1, 1, 4))
('30000 partitions processed', (6, 1, 3, 3, 5, 2, 2, 2, 2, 6))
13860 partitions to search
('10000 partitions processed', (7, 1, 1, 2, 4, 2, 2, 6, 4, 3))
6 partitions to search
25 partitions to search

Step 4

In [10]:
#This loads all of the visible_align_list functions needed for nearly every case

%run ./ST5_fcns/align_list_visible_fcns.ipynb

if True:
    generate_all_align_list_visible_files(range(4,8), [9,11], 16, 
                                          'ST5_data//H_3_1t5//1_branch_point//', 
                                          'align_list//H_1_1_align_list_', 'align_list_visible//H1_1_align_list_')

if True:
    generate_all_align_list_visible_files([9,11], range(4,8), 16, 
                                          'ST5_data//H_3_1t5//1_branch_point//', 
                                          'align_list//H_3_1t3_align_list_', 
                                          'align_list_visible//H_3_1t3_align_list_')

total_list generated
ST5_data//H_3_1t5//1_branch_point//align_list//H_1_1_align_list_9 read
6 configurations to search
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_9_visible_4 written
ST5_data//H_3_1t5//1_branch_point//align_list//H_1_1_align_list_9 read
6 configurations to search
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_9_visible_5 written
ST5_data//H_3_1t5//1_branch_point//align_list//H_1_1_align_list_9 read
6 configurations to search
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_9_visible_6 written
ST5_data//H_3_1t5//1_branch_point//align_list//H_1_1_align_list_9 read
6 configurations to search
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_9_visible_7 written
ST5_data//H_3_1t5//1_branch_point//align_list//H_1_1_align_list_11 read
25 configurations to search
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_11_visible_4 written
ST5_data//H_3_1t5//1_branch_point//align_list//H_1_1_align_list_11 read
25 configurations to search
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_11_visible_5 written
total_list generated
ST5_data//H_3_1t5//1_branch_point//align_list//H_3_1t3_align_list_4 read
39744 configurations to search
(10000, ((4, 2, 4, 4, 4, 3, 3, 4, 1, 3), [[[1, 9, 8, 4, 6, 7, 5, 3, 0, 2], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]], [[2, 1, 9, 8, 4, 6, 7, 5, 3, 0], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]]]))
(20000, ((4, 3, 3, 4, 4, 4, 1, 3, 2, 4), [[[0, 9, 7, 2, 3, 4, 6, 5, 8, 1], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]], [[4, 6, 5, 8, 1, 0, 9, 7, 2, 3], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]], [[3, 4, 6, 5, 8, 1, 0, 9, 7, 2], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]], [[1, 0, 9, 7, 2, 3, 4, 6, 5, 8], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]]]))
(30000, ((4, 4, 4, 3, 1, 3, 3, 2, 4, 4), [[[4, 1, 2, 8, 7, 5, 0, 3, 9, 6], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]], [[5, 0, 3, 9, 6, 4, 1, 2, 8, 7], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]]]))
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_4_visible_9 written
ST5_data//H_3_1t5//1_branch_point//align_list//H_3_1t3_align_list_4 read
39744 configurations to search
(10000, ((4, 2, 4, 4, 4, 3, 3, 4, 1, 3), [[[1, 9, 8, 4, 6, 7, 5, 3, 0, 2], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]], [[2, 1, 9, 8, 4, 6, 7, 5, 3, 0], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]]]))
(20000, ((4, 3, 3, 4, 4, 4, 1, 3, 2, 4), [[[0, 9, 7, 2, 3, 4, 6, 5, 8, 1], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]], [[4, 6, 5, 8, 1, 0, 9, 7, 2, 3], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]], [[3, 4, 6, 5, 8, 1, 0, 9, 7, 2], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]], [[1, 0, 9, 7, 2, 3, 4, 6, 5, 8], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]]]))
(30000, ((4, 4, 4, 3, 1, 3, 3, 2, 4, 4), [[[4, 1, 2, 8, 7, 5, 0, 3, 9, 6], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]], [[5, 0, 3, 9, 6, 4, 1, 2, 8, 7], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]]]))
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_4_visible_11 written
ST5_data//H_3_1t5//1_branch_point//align_list//H_3_1t3_align_list_5 read
263488 configurations to search
(10000, ((5, 2, 5, 3, 4, 4, 2, 4, 2, 1), [[[1, 9, 4, 7, 2, 0, 8, 6, 5, 3], [0, 5, 9, 8, 7, 3, 1, 4, 6, 2]]]))
(20000, ((5, 3, 4, 4, 2, 2, 4, 4, 3, 1), [[[0, 8, 5, 7, 3, 1, 9, 4, 6, 2], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]]]))
(30000, ((5, 2, 2, 4, 4, 3, 5, 2, 4, 1), [[[7, 6, 5, 4, 8, 1, 0, 9, 2, 3], [0, 2, 6, 8, 7, 5, 9, 4, 3, 1]]]))
(40000, ((5, 1, 1, 4, 4, 4, 4, 4, 4, 1), [[[9, 2, 7, 5, 4, 3, 6, 8, 1, 0], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]]))
(50000, ((5, 3, 4, 2, 4, 4, 2, 5, 1, 2), [[[6, 4, 8, 0, 9, 7, 3, 2, 5, 1], [0, 1, 4, 9, 3, 8, 5, 7, 6, 2]], [[7, 3, 2, 5, 1, 6, 4, 8, 0, 9], [0, 1, 4, 9, 3, 8, 5, 7, 6, 2]]]))
(60000, ((5, 3, 4, 2, 2, 4, 5, 3, 2, 2), [[[9, 6, 3, 1, 8, 4, 5, 7, 2, 0], [0, 8, 6, 7, 9, 5, 3, 1, 4, 2]]]))
(70000, ((5, 5, 2, 4, 2, 4, 1, 5, 2, 2), [[[3, 7, 4, 6, 5, 8, 1, 0, 9, 2], [0, 2, 6, 7, 5, 9, 4, 8, 3, 1]]]))
(80000, ((5, 3, 2, 5, 3, 4, 2, 2, 4, 2), [[[8, 5, 7, 3, 1, 9, 4, 6, 2, 0], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]], [[9, 4, 6, 2, 0, 8, 5, 7, 3, 1], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]]]))
(90000, ((5, 5, 2, 3, 3, 2, 2, 4, 4, 2), [[[9, 2, 3, 5, 4, 6, 7, 8, 1, 0], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]], [[1, 0, 9, 2, 3, 5, 4, 6, 7, 8], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]]))
(100000, ((5, 3, 4, 2, 4, 4, 2, 1, 5, 2), [[[9, 2, 1, 8, 5, 4, 6, 7, 3, 0], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]], [[1, 8, 5, 4, 6, 7, 3, 0, 9, 2], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]]]))
(110000, ((5, 5, 3, 4, 4, 2, 2, 2, 2, 3), [[[9, 3, 1, 8, 5, 4, 6, 7, 2, 0], [0, 4, 3, 1, 5, 9, 7, 8, 6, 2]]]))
(120000, ((5, 3, 3, 4, 4, 2, 2, 4, 2, 3), [[[0, 3, 7, 5, 1, 8, 4, 2, 9, 6], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]], [[3, 7, 5, 1, 8, 4, 2, 9, 6, 0], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]], [[2, 9, 6, 0, 3, 7, 5, 1, 8, 4], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]]]))
(130000, ((5, 5, 4, 2, 2, 4, 2, 2, 3, 3), [[[0, 8, 5, 4, 6, 2, 1, 9, 7, 3], [0, 4, 9, 6, 8, 7, 5, 2, 1, 3]], [[6, 2, 1, 9, 7, 3, 0, 8, 5, 4], [0, 4, 9, 6, 8, 7, 5, 2, 1, 3]]]))
(140000, ((5, 4, 2, 1, 5, 4, 2, 2, 4, 3), [[[4, 1, 6, 2, 5, 8, 0, 9, 7, 3], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]], [[1, 6, 2, 5, 8, 0, 9, 7, 3, 4], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]]]))
(150000, ((5, 4, 1, 3, 2, 4, 2, 4, 4, 3), [[[4, 5, 7, 2, 0, 9, 6, 3, 1, 8], [0, 8, 6, 7, 9, 5, 3, 1, 4, 2]]]))
(160000, ((5, 5, 2, 4, 4, 4, 2, 1, 1, 4), [[[7, 2, 1, 9, 4, 6, 3, 0, 8, 5], [0, 5, 9, 7, 8, 6, 2, 1, 4, 3]]]))
(170000, ((5, 3, 2, 2, 4, 5, 3, 2, 2, 4), [[[1, 8, 5, 4, 6, 2, 0, 9, 7, 3], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]], [[2, 0, 9, 7, 3, 1, 8, 5, 4, 6], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]]]))
(180000, ((5, 1, 4, 5, 1, 4, 2, 4, 2, 4), [[[9, 2, 3, 7, 6, 5, 4, 8, 1, 0], [0, 2, 6, 8, 7, 5, 9, 4, 3, 1]], [[4, 8, 1, 0, 9, 2, 3, 7, 6, 5], [0, 2, 6, 8, 7, 5, 9, 4, 3, 1]]]))
(190000, ((5, 1, 4, 4, 2, 4, 2, 3, 3, 4), [[[6, 5, 3, 7, 8, 1, 0, 9, 2, 4], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]], [[4, 6, 5, 3, 7, 8, 1, 0, 9, 2], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]]))
(200000, ((5, 5, 3, 1, 2, 2, 4, 2, 4, 4), [[[5, 7, 3, 1, 8, 4, 6, 2, 0, 9], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]], [[4, 6, 2, 0, 9, 5, 7, 3, 1, 8], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]]]))
(210000, ((5, 5, 1, 1, 2, 2, 4, 4, 4, 4), [[[2, 1, 8, 5, 4, 6, 7, 3, 0, 9], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]]]))
(220000, ((5, 1, 4, 2, 4, 2, 4, 4, 1, 5), [[[0, 9, 2, 3, 7, 6, 5, 4, 8, 1], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]]))
(230000, ((5, 5, 1, 2, 2, 4, 4, 2, 2, 5), [[[9, 3, 1, 8, 5, 4, 6, 7, 2, 0], [0, 4, 3, 1, 5, 6, 9, 7, 8, 2]]]))
(240000, ((5, 3, 1, 2, 2, 4, 4, 4, 2, 5), [[[3, 7, 1, 4, 8, 5, 2, 9, 6, 0], [0, 3, 9, 8, 7, 1, 4, 5, 2, 6]], [[2, 9, 6, 0, 3, 7, 1, 4, 8, 5], [0, 3, 9, 8, 7, 1, 4, 5, 2, 6]], [[4, 8, 5, 2, 9, 6, 0, 3, 7, 1], [0, 3, 9, 8, 7, 1, 4, 5, 2, 6]]]))
(250000, ((5, 3, 3, 2, 4, 2, 2, 2, 4, 5), [[[9, 6, 7, 4, 0, 3, 2, 8, 5, 1], [0, 7, 5, 1, 6, 3, 2, 9, 8, 4]]]))
(260000, ((5, 3, 1, 2, 2, 2, 4, 4, 4, 5), [[[4, 6, 2, 0, 9, 7, 3, 1, 8, 5], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]]]))
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_5_visible_9 written
ST5_data//H_3_1t5//1_branch_point//align_list//H_3_1t3_align_list_5 read
263488 configurations to search
(10000, ((5, 2, 5, 3, 4, 4, 2, 4, 2, 1), [[[1, 9, 4, 7, 2, 0, 8, 6, 5, 3], [0, 5, 9, 8, 7, 3, 1, 4, 6, 2]]]))
(20000, ((5, 3, 4, 4, 2, 2, 4, 4, 3, 1), [[[0, 8, 5, 7, 3, 1, 9, 4, 6, 2], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]]]))
(30000, ((5, 2, 2, 4, 4, 3, 5, 2, 4, 1), [[[7, 6, 5, 4, 8, 1, 0, 9, 2, 3], [0, 2, 6, 8, 7, 5, 9, 4, 3, 1]]]))
(40000, ((5, 1, 1, 4, 4, 4, 4, 4, 4, 1), [[[9, 2, 7, 5, 4, 3, 6, 8, 1, 0], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]]))
(50000, ((5, 3, 4, 2, 4, 4, 2, 5, 1, 2), [[[6, 4, 8, 0, 9, 7, 3, 2, 5, 1], [0, 1, 4, 9, 3, 8, 5, 7, 6, 2]], [[7, 3, 2, 5, 1, 6, 4, 8, 0, 9], [0, 1, 4, 9, 3, 8, 5, 7, 6, 2]]]))
(60000, ((5, 3, 4, 2, 2, 4, 5, 3, 2, 2), [[[9, 6, 3, 1, 8, 4, 5, 7, 2, 0], [0, 8, 6, 7, 9, 5, 3, 1, 4, 2]]]))
(70000, ((5, 5, 2, 4, 2, 4, 1, 5, 2, 2), [[[3, 7, 4, 6, 5, 8, 1, 0, 9, 2], [0, 2, 6, 7, 5, 9, 4, 8, 3, 1]]]))
(80000, ((5, 3, 2, 5, 3, 4, 2, 2, 4, 2), [[[8, 5, 7, 3, 1, 9, 4, 6, 2, 0], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]], [[9, 4, 6, 2, 0, 8, 5, 7, 3, 1], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]]]))
(90000, ((5, 5, 2, 3, 3, 2, 2, 4, 4, 2), [[[9, 2, 3, 5, 4, 6, 7, 8, 1, 0], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]], [[1, 0, 9, 2, 3, 5, 4, 6, 7, 8], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]]))
(100000, ((5, 3, 4, 2, 4, 4, 2, 1, 5, 2), [[[9, 2, 1, 8, 5, 4, 6, 7, 3, 0], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]], [[1, 8, 5, 4, 6, 7, 3, 0, 9, 2], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]]]))
(110000, ((5, 5, 3, 4, 4, 2, 2, 2, 2, 3), [[[9, 3, 1, 8, 5, 4, 6, 7, 2, 0], [0, 4, 3, 1, 5, 9, 7, 8, 6, 2]]]))
(120000, ((5, 3, 3, 4, 4, 2, 2, 4, 2, 3), [[[0, 3, 7, 5, 1, 8, 4, 2, 9, 6], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]], [[3, 7, 5, 1, 8, 4, 2, 9, 6, 0], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]], [[2, 9, 6, 0, 3, 7, 5, 1, 8, 4], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]]]))
(130000, ((5, 5, 4, 2, 2, 4, 2, 2, 3, 3), [[[0, 8, 5, 4, 6, 2, 1, 9, 7, 3], [0, 4, 9, 6, 8, 7, 5, 2, 1, 3]], [[6, 2, 1, 9, 7, 3, 0, 8, 5, 4], [0, 4, 9, 6, 8, 7, 5, 2, 1, 3]]]))
(140000, ((5, 4, 2, 1, 5, 4, 2, 2, 4, 3), [[[4, 1, 6, 2, 5, 8, 0, 9, 7, 3], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]], [[1, 6, 2, 5, 8, 0, 9, 7, 3, 4], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]]]))
(150000, ((5, 4, 1, 3, 2, 4, 2, 4, 4, 3), [[[4, 5, 7, 2, 0, 9, 6, 3, 1, 8], [0, 8, 6, 7, 9, 5, 3, 1, 4, 2]]]))
(160000, ((5, 5, 2, 4, 4, 4, 2, 1, 1, 4), [[[7, 2, 1, 9, 4, 6, 3, 0, 8, 5], [0, 5, 9, 7, 8, 6, 2, 1, 4, 3]]]))
(170000, ((5, 3, 2, 2, 4, 5, 3, 2, 2, 4), [[[1, 8, 5, 4, 6, 2, 0, 9, 7, 3], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]], [[2, 0, 9, 7, 3, 1, 8, 5, 4, 6], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]]]))
(180000, ((5, 1, 4, 5, 1, 4, 2, 4, 2, 4), [[[9, 2, 3, 7, 6, 5, 4, 8, 1, 0], [0, 2, 6, 8, 7, 5, 9, 4, 3, 1]], [[4, 8, 1, 0, 9, 2, 3, 7, 6, 5], [0, 2, 6, 8, 7, 5, 9, 4, 3, 1]]]))
(190000, ((5, 1, 4, 4, 2, 4, 2, 3, 3, 4), [[[6, 5, 3, 7, 8, 1, 0, 9, 2, 4], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]], [[4, 6, 5, 3, 7, 8, 1, 0, 9, 2], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]]))
(200000, ((5, 5, 3, 1, 2, 2, 4, 2, 4, 4), [[[5, 7, 3, 1, 8, 4, 6, 2, 0, 9], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]], [[4, 6, 2, 0, 9, 5, 7, 3, 1, 8], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]]]))
(210000, ((5, 5, 1, 1, 2, 2, 4, 4, 4, 4), [[[2, 1, 8, 5, 4, 6, 7, 3, 0, 9], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]]]))
(220000, ((5, 1, 4, 2, 4, 2, 4, 4, 1, 5), [[[0, 9, 2, 3, 7, 6, 5, 4, 8, 1], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]]))
(230000, ((5, 5, 1, 2, 2, 4, 4, 2, 2, 5), [[[9, 3, 1, 8, 5, 4, 6, 7, 2, 0], [0, 4, 3, 1, 5, 6, 9, 7, 8, 2]]]))
(240000, ((5, 3, 1, 2, 2, 4, 4, 4, 2, 5), [[[3, 7, 1, 4, 8, 5, 2, 9, 6, 0], [0, 3, 9, 8, 7, 1, 4, 5, 2, 6]], [[2, 9, 6, 0, 3, 7, 1, 4, 8, 5], [0, 3, 9, 8, 7, 1, 4, 5, 2, 6]], [[4, 8, 5, 2, 9, 6, 0, 3, 7, 1], [0, 3, 9, 8, 7, 1, 4, 5, 2, 6]]]))
(250000, ((5, 3, 3, 2, 4, 2, 2, 2, 4, 5), [[[9, 6, 7, 4, 0, 3, 2, 8, 5, 1], [0, 7, 5, 1, 6, 3, 2, 9, 8, 4]]]))
(260000, ((5, 3, 1, 2, 2, 2, 4, 4, 4, 5), [[[4, 6, 2, 0, 9, 7, 3, 1, 8, 5], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]]]))
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_5_visible_11 written
ST5_data//H_3_1t5//1_branch_point//align_list//H_3_1t3_align_list_6 read
1715616 configurations to search
(10000, ((6, 4, 4, 6, 2, 5, 1, 2, 1, 1), [[[3, 4, 6, 5, 8, 1, 0, 9, 7, 2], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]]))
(20000, ((6, 2, 6, 6, 4, 1, 3, 2, 1, 1), [[[4, 7, 8, 1, 0, 9, 2, 3, 5, 6], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]], [[2, 3, 5, 6, 4, 7, 8, 1, 0, 9], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]]))
(30000, ((6, 2, 2, 6, 3, 5, 4, 2, 1, 1), [[[9, 2, 7, 5, 4, 3, 6, 8, 1, 0], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]]))
(40000, ((6, 5, 3, 2, 2, 4, 6, 2, 1, 1), [[[7, 3, 1, 9, 4, 0, 2, 8, 6, 5], [0, 2, 5, 3, 1, 6, 9, 7, 8, 4]]]))
(50000, ((6, 2, 4, 4, 4, 2, 5, 3, 1, 1), [[[8, 1, 0, 9, 7, 2, 3, 5, 4, 6], [0, 2, 4, 9, 8, 7, 5, 6, 3, 1]]]))
(60000, ((6, 3, 1, 6, 4, 4, 2, 4, 1, 1), [[[1, 0, 9, 2, 3, 5, 6, 4, 7, 8], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]], [[6, 4, 7, 8, 1, 0, 9, 2, 3, 5], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]]))
(70000, ((6, 5, 1, 2, 6, 2, 4, 4, 1, 1), [[[7, 3, 4, 2, 1, 6, 5, 8, 0, 9], [0, 1, 5, 7, 4, 9, 3, 6, 8, 2]], [[3, 4, 2, 1, 6, 5, 8, 0, 9, 7], [0, 1, 5, 7, 4, 9, 3, 6, 8, 2]]]))
(80000, ((6, 2, 4, 1, 5, 2, 6, 4, 1, 1), [[[9, 7, 2, 6, 4, 3, 5, 8, 1, 0], [0, 2, 5, 4, 9, 8, 7, 6, 3, 1]], [[3, 5, 8, 1, 0, 9, 7, 2, 6, 4], [0, 2, 5, 4, 9, 8, 7, 6, 3, 1]]]))
(90000, ((6, 2, 6, 2, 4, 3, 1, 6, 1, 1), [[[6, 3, 1, 8, 4, 5, 7, 2, 0, 9], [0, 8, 6, 7, 9, 5, 3, 1, 4, 2]]]))
(100000, ((6, 2, 4, 6, 2, 1, 3, 6, 1, 1), [[[9, 2, 1, 8, 5, 4, 6, 7, 3, 0], [0, 5, 6, 9, 7, 8, 2, 1, 4, 3]]]))
(110000, ((6, 2, 1, 1, 6, 2, 6, 6, 1, 1), [[[4, 6, 2, 0, 9, 7, 3, 1, 8, 5], [0, 4, 3, 1, 5, 9, 6, 7, 8, 2]]]))
(120000, ((6, 4, 2, 6, 4, 3, 1, 2, 3, 1), [[[2, 8, 0, 9, 7, 6, 1, 4, 5, 3], [0, 1, 5, 8, 7, 4, 9, 3, 6, 2]], [[7, 6, 1, 4, 5, 3, 2, 8, 0, 9], [0, 1, 5, 8, 7, 4, 9, 3, 6, 2]]]))
(130000, ((6, 4, 2, 3, 3, 6, 2, 2, 3, 1), [[[9, 7, 3, 4, 1, 6, 2, 5, 8, 0], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]], [[6, 2, 5, 8, 0, 9, 7, 3, 4, 1], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]]]))
(140000, ((6, 2, 3, 3, 4, 4, 4, 2, 3, 1), [[[4, 3, 6, 8, 1, 0, 9, 2, 7, 5], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]]))
(150000, ((6, 2, 1, 3, 2, 6, 6, 2, 3, 1), [[[9, 7, 3, 2, 5, 1, 6, 4, 8, 0], [0, 1, 4, 9, 3, 8, 5, 7, 6, 2]]]))
(160000, ((6, 1, 5, 6, 2, 2, 2, 4, 3, 1), [[[8, 5, 4, 6, 2, 0, 9, 7, 3, 1], [0, 4, 3, 1, 5, 9, 6, 7, 8, 2]]]))
(170000, ((6, 4, 3, 3, 2, 2, 4, 4, 3, 1), [[[4, 8, 1, 0, 9, 7, 5, 2, 6, 3], [0, 2, 4, 7, 6, 8, 5, 3, 9, 1]], [[3, 4, 8, 1, 0, 9, 7, 5, 2, 6], [0, 2, 4, 7, 6, 8, 5, 3, 9, 1]], [[6, 3, 4, 8, 1, 0, 9, 7, 5, 2], [0, 2, 4, 7, 6, 8, 5, 3, 9, 1]]]))
(180000, ((6, 4, 4, 2, 2, 2, 3, 5, 3, 1), [[[8, 1, 0, 9, 2, 3, 5, 4, 6, 7], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]]))
(190000, ((6, 2, 4, 2, 3, 1, 4, 6, 3, 1), [[[3, 7, 6, 5, 4, 8, 1, 0, 9, 2], [0, 2, 6, 8, 7, 5, 9, 4, 3, 1]]]))
(200000, ((6, 2, 4, 4, 6, 1, 1, 2, 5, 1), [[[5, 4, 8, 1, 0, 9, 2, 3, 7, 6], [0, 2, 6, 8, 7, 5, 9, 4, 3, 1]], [[2, 3, 7, 6, 5, 4, 8, 1, 0, 9], [0, 2, 6, 8, 7, 5, 9, 4, 3, 1]]]))
(210000, ((6, 1, 3, 2, 4, 6, 2, 2, 5, 1), [[[4, 6, 7, 5, 3, 0, 2, 1, 9, 8], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]], [[8, 4, 6, 7, 5, 3, 0, 2, 1, 9], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]]]))
(220000, ((6, 3, 1, 4, 2, 2, 6, 2, 5, 1), [[[8, 3, 1, 4, 0, 2, 9, 6, 5, 7], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]], [[5, 7, 8, 3, 1, 4, 0, 2, 9, 6], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]]]))
(230000, ((6, 2, 2, 4, 3, 3, 2, 4, 5, 1), [[[5, 2, 6, 3, 4, 8, 1, 0, 9, 7], [0, 2, 4, 7, 6, 8, 5, 3, 9, 1]], [[7, 5, 2, 6, 3, 4, 8, 1, 0, 9], [0, 2, 4, 7, 6, 8, 5, 3, 9, 1]], [[9, 7, 5, 2, 6, 3, 4, 8, 1, 0], [0, 2, 4, 7, 6, 8, 5, 3, 9, 1]]]))
(240000, ((6, 4, 4, 1, 1, 2, 2, 6, 5, 1), [[[2, 3, 4, 5, 8, 1, 0, 9, 7, 6], [0, 2, 5, 7, 8, 6, 4, 9, 3, 1]], [[1, 0, 9, 7, 6, 2, 3, 4, 5, 8], [0, 2, 5, 7, 8, 6, 4, 9, 3, 1]]]))
(250000, ((6, 6, 5, 1, 4, 4, 2, 1, 1, 2), [[[1, 8, 4, 5, 6, 7, 2, 0, 9, 3], [0, 8, 6, 9, 7, 5, 3, 1, 4, 2]], [[7, 2, 0, 9, 3, 1, 8, 4, 5, 6], [0, 8, 6, 9, 7, 5, 3, 1, 4, 2]]]))
(260000, ((6, 1, 5, 6, 4, 2, 4, 1, 1, 2), [[[9, 7, 5, 1, 6, 3, 2, 4, 8, 0], [0, 1, 4, 9, 3, 7, 8, 5, 6, 2]]]))
(270000, ((6, 2, 2, 4, 4, 5, 5, 1, 1, 2), [[[8, 5, 6, 4, 0, 2, 9, 7, 3, 1], [0, 2, 8, 7, 6, 3, 1, 5, 9, 4]], [[9, 7, 3, 1, 8, 5, 6, 4, 0, 2], [0, 2, 8, 7, 6, 3, 1, 5, 9, 4]]]))
(280000, ((6, 4, 6, 2, 4, 3, 1, 3, 1, 2), [[[6, 7, 2, 0, 9, 3, 1, 8, 4, 5], [0, 8, 6, 9, 7, 5, 3, 1, 4, 2]]]))
(290000, ((6, 2, 3, 5, 2, 6, 2, 3, 1, 2), [[[9, 6, 2, 1, 8, 5, 4, 7, 3, 0], [0, 8, 2, 1, 4, 9, 7, 6, 5, 3]], [[5, 4, 7, 3, 0, 9, 6, 2, 1, 8], [0, 8, 2, 1, 4, 9, 7, 6, 5, 3]]]))
(300000, ((6, 1, 3, 4, 4, 4, 4, 3, 1, 2), [[[0, 9, 7, 3, 2, 5, 1, 6, 4, 8], [0, 1, 4, 9, 3, 8, 5, 7, 6, 2]]]))
(310000, ((6, 6, 2, 6, 2, 1, 1, 5, 1, 2), [[[4, 6, 2, 0, 9, 7, 3, 1, 8, 5], [0, 4, 3, 1, 5, 9, 6, 7, 8, 2]]]))
(320000, ((6, 2, 5, 1, 2, 6, 2, 5, 1, 2), [[[0, 9, 7, 3, 4, 2, 1, 6, 5, 8], [0, 1, 5, 7, 4, 9, 3, 6, 8, 2]], [[2, 1, 6, 5, 8, 0, 9, 7, 3, 4], [0, 1, 5, 7, 4, 9, 3, 6, 8, 2]]]))
(330000, ((6, 2, 4, 3, 1, 2, 6, 5, 1, 2), [[[0, 2, 8, 7, 6, 3, 1, 9, 5, 4], [0, 2, 5, 7, 3, 1, 6, 9, 8, 4]]]))
(340000, ((6, 3, 1, 6, 4, 6, 1, 1, 2, 2), [[[7, 6, 2, 3, 4, 5, 8, 1, 0, 9], [0, 2, 5, 7, 8, 6, 4, 9, 3, 1]], [[5, 8, 1, 0, 9, 7, 6, 2, 3, 4], [0, 2, 5, 7, 8, 6, 4, 9, 3, 1]]]))
(350000, ((6, 2, 2, 5, 3, 6, 3, 1, 2, 2), [[[6, 5, 7, 4, 8, 1, 0, 9, 2, 3], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]], [[1, 0, 9, 2, 3, 6, 5, 7, 4, 8], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]]))
(360000, ((6, 6, 6, 3, 3, 1, 1, 2, 2, 2), [[[5, 4, 6, 8, 1, 0, 9, 7, 2, 3], [0, 2, 4, 9, 8, 5, 6, 7, 3, 1]]]))
(370000, ((6, 6, 1, 5, 3, 3, 2, 2, 2, 2), [[[6, 7, 5, 1, 2, 9, 4, 0, 3, 8], [0, 3, 6, 9, 5, 1, 2, 7, 8, 4]], [[9, 4, 0, 3, 8, 6, 7, 5, 1, 2], [0, 3, 6, 9, 5, 1, 2, 7, 8, 4]], [[2, 9, 4, 0, 3, 8, 6, 7, 5, 1], [0, 3, 6, 9, 5, 1, 2, 7, 8, 4]]]))
(380000, ((6, 4, 3, 3, 4, 3, 3, 2, 2, 2), [[[1, 6, 4, 8, 0, 9, 7, 5, 3, 2], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]]]))
(390000, ((6, 3, 1, 5, 3, 4, 4, 2, 2, 2), [[[9, 6, 4, 1, 2, 8, 7, 5, 0, 3], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]], [[8, 7, 5, 0, 3, 9, 6, 4, 1, 2], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]]]))
(400000, ((6, 4, 1, 3, 2, 5, 5, 2, 2, 2), [[[0, 9, 7, 2, 3, 5, 6, 4, 8, 1], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]]))
(410000, ((6, 6, 4, 5, 1, 2, 1, 3, 2, 2), [[[6, 7, 2, 0, 9, 3, 1, 8, 5, 4], [0, 4, 3, 1, 5, 9, 7, 8, 6, 2]], [[9, 3, 1, 8, 5, 4, 6, 7, 2, 0], [0, 4, 3, 1, 5, 9, 7, 8, 6, 2]]]))
(420000, ((6, 4, 2, 4, 5, 1, 3, 3, 2, 2), [[[6, 4, 8, 1, 0, 9, 7, 2, 3, 5], [0, 2, 5, 4, 9, 8, 7, 6, 3, 1]]]))
(430000, ((6, 4, 2, 3, 3, 2, 5, 3, 2, 2), [[[3, 1, 9, 4, 6, 2, 0, 8, 5, 7], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]], [[2, 0, 8, 5, 7, 3, 1, 9, 4, 6], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]]]))
(440000, ((6, 4, 4, 3, 1, 5, 1, 4, 2, 2), [[[5, 7, 4, 8, 1, 0, 9, 2, 3, 6], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]]))
(450000, ((6, 4, 1, 3, 3, 5, 2, 4, 2, 2), [[[8, 5, 4, 6, 7, 3, 0, 9, 2, 1], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]]]))
(460000, ((6, 1, 5, 6, 1, 1, 4, 4, 2, 2), [[[2, 0, 9, 3, 1, 8, 4, 5, 6, 7], [0, 8, 6, 9, 7, 5, 3, 1, 4, 2]]]))
(470000, ((6, 2, 1, 3, 6, 1, 5, 4, 2, 2), [[[4, 5, 3, 2, 8, 0, 9, 7, 6, 1], [0, 1, 5, 8, 7, 4, 9, 3, 6, 2]], [[8, 0, 9, 7, 6, 1, 4, 5, 3, 2], [0, 1, 5, 8, 7, 4, 9, 3, 6, 2]]]))
(480000, ((6, 2, 6, 3, 3, 2, 1, 5, 2, 2), [[[9, 3, 2, 7, 5, 6, 4, 8, 1, 0], [0, 2, 5, 4, 9, 8, 7, 6, 3, 1]], [[1, 0, 9, 3, 2, 7, 5, 6, 4, 8], [0, 2, 5, 4, 9, 8, 7, 6, 3, 1]]]))
(490000, ((6, 4, 2, 4, 1, 3, 3, 5, 2, 2), [[[6, 5, 7, 3, 0, 9, 2, 1, 8, 4], [0, 5, 8, 9, 7, 6, 2, 1, 4, 3]], [[1, 8, 4, 6, 5, 7, 3, 0, 9, 2], [0, 5, 8, 9, 7, 6, 2, 1, 4, 3]]]))
(500000, ((6, 6, 2, 1, 3, 3, 1, 6, 2, 2), [[[5, 4, 6, 7, 2, 0, 9, 3, 1, 8], [0, 4, 3, 1, 5, 6, 9, 7, 8, 2]]]))
(510000, ((6, 1, 3, 4, 1, 5, 2, 6, 2, 2), [[[6, 7, 3, 0, 9, 2, 1, 8, 5, 4], [0, 5, 6, 9, 7, 8, 2, 1, 4, 3]]]))
(520000, ((6, 2, 3, 1, 3, 3, 4, 6, 2, 2), [[[6, 7, 5, 1, 2, 9, 4, 0, 3, 8], [0, 3, 6, 9, 5, 1, 2, 7, 8, 4]], [[9, 4, 0, 3, 8, 6, 7, 5, 1, 2], [0, 3, 6, 9, 5, 1, 2, 7, 8, 4]], [[2, 9, 4, 0, 3, 8, 6, 7, 5, 1], [0, 3, 6, 9, 5, 1, 2, 7, 8, 4]]]))
(530000, ((6, 4, 6, 6, 1, 1, 2, 1, 3, 2), [[[0, 9, 5, 7, 3, 1, 8, 4, 6, 2], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]]]))
(540000, ((6, 6, 2, 4, 4, 1, 3, 1, 3, 2), [[[5, 6, 3, 0, 8, 4, 7, 2, 1, 9], [0, 4, 9, 7, 5, 8, 6, 2, 1, 3]], [[4, 7, 2, 1, 9, 5, 6, 3, 0, 8], [0, 4, 9, 7, 5, 8, 6, 2, 1, 3]]]))
(550000, ((6, 3, 1, 4, 2, 6, 4, 1, 3, 2), [[[7, 3, 5, 1, 6, 2, 4, 8, 0, 9], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]], [[0, 9, 7, 3, 5, 1, 6, 2, 4, 8], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]], [[3, 5, 1, 6, 2, 4, 8, 0, 9, 7], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]]]))
(560000, ((6, 2, 2, 4, 6, 3, 1, 3, 3, 2), [[[2, 8, 5, 1, 9, 6, 7, 4, 0, 3], [0, 7, 5, 1, 6, 3, 2, 9, 8, 4]]]))
(570000, ((6, 2, 4, 2, 6, 1, 3, 3, 3, 2), [[[6, 7, 2, 0, 9, 3, 1, 8, 5, 4], [0, 4, 3, 1, 5, 9, 7, 8, 6, 2]]]))
(580000, ((6, 2, 2, 1, 3, 4, 6, 3, 3, 2), [[[4, 8, 0, 9, 7, 3, 2, 1, 6, 5], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]], [[9, 7, 3, 2, 1, 6, 5, 4, 8, 0], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]]]))
(590000, ((6, 2, 4, 1, 3, 2, 4, 5, 3, 2), [[[8, 6, 5, 3, 1, 9, 4, 7, 2, 0], [0, 5, 9, 8, 7, 3, 1, 4, 6, 2]]]))
(600000, ((6, 4, 4, 2, 3, 5, 1, 1, 4, 2), [[[9, 5, 6, 3, 0, 8, 4, 7, 2, 1], [0, 4, 9, 7, 5, 8, 6, 2, 1, 3]], [[8, 4, 7, 2, 1, 9, 5, 6, 3, 0], [0, 4, 9, 7, 5, 8, 6, 2, 1, 3]]]))
(610000, ((6, 2, 4, 2, 3, 5, 3, 1, 4, 2), [[[4, 7, 8, 1, 0, 9, 2, 3, 6, 5], [0, 2, 5, 7, 6, 4, 9, 8, 3, 1]]]))
(620000, ((6, 4, 1, 5, 6, 1, 1, 2, 4, 2), [[[9, 7, 2, 3, 4, 6, 5, 8, 1, 0], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]]))
(630000, ((6, 6, 1, 3, 3, 3, 2, 2, 4, 2), [[[7, 5, 0, 3, 1, 9, 6, 4, 2, 8], [0, 9, 4, 2, 7, 3, 1, 8, 6, 5]]]))
(640000, ((6, 2, 2, 5, 3, 3, 3, 2, 4, 2), [[[1, 4, 8, 5, 2, 6, 0, 3, 9, 7], [0, 3, 5, 2, 8, 7, 1, 4, 9, 6]], [[3, 9, 7, 1, 4, 8, 5, 2, 6, 0], [0, 3, 5, 2, 8, 7, 1, 4, 9, 6]], [[0, 3, 9, 7, 1, 4, 8, 5, 2, 6], [0, 3, 5, 2, 8, 7, 1, 4, 9, 6]]]))
(650000, ((6, 2, 3, 1, 3, 5, 4, 2, 4, 2), [[[3, 1, 8, 4, 6, 2, 0, 9, 5, 7], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]], [[2, 0, 9, 5, 7, 3, 1, 8, 4, 6], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]]]))
(660000, ((6, 1, 1, 4, 3, 3, 6, 2, 4, 2), [[[5, 1, 6, 4, 8, 0, 9, 7, 2, 3], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]], [[1, 6, 4, 8, 0, 9, 7, 2, 3, 5], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]]]))
(670000, ((6, 2, 3, 1, 4, 6, 1, 3, 4, 2), [[[2, 3, 5, 4, 6, 8, 1, 0, 9, 7], [0, 2, 5, 8, 9, 4, 7, 6, 3, 1]], [[5, 4, 6, 8, 1, 0, 9, 7, 2, 3], [0, 2, 5, 8, 9, 4, 7, 6, 3, 1]]]))
(680000, ((6, 2, 5, 5, 2, 1, 1, 4, 4, 2), [[[4, 6, 7, 2, 0, 9, 3, 1, 8, 5], [0, 4, 3, 1, 5, 9, 7, 8, 6, 2]], [[0, 9, 3, 1, 8, 5, 4, 6, 7, 2], [0, 4, 3, 1, 5, 9, 7, 8, 6, 2]]]))
(690000, ((6, 3, 3, 1, 5, 2, 2, 4, 4, 2), [[[3, 1, 8, 4, 5, 6, 2, 0, 9, 7], [0, 8, 9, 6, 7, 5, 3, 1, 4, 2]]]))
(700000, ((6, 6, 3, 1, 1, 1, 4, 4, 4, 2), [[[6, 5, 7, 8, 3, 1, 4, 0, 2, 9], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]]]))
(710000, ((6, 1, 1, 4, 1, 3, 6, 4, 4, 2), [[[2, 3, 7, 6, 5, 4, 8, 1, 0, 9], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]]))
(720000, ((6, 1, 3, 2, 2, 2, 5, 5, 4, 2), [[[7, 6, 2, 3, 5, 4, 8, 1, 0, 9], [0, 2, 8, 7, 5, 6, 4, 9, 3, 1]], [[4, 8, 1, 0, 9, 7, 6, 2, 3, 5], [0, 2, 8, 7, 5, 6, 4, 9, 3, 1]], [[0, 9, 7, 6, 2, 3, 5, 4, 8, 1], [0, 2, 8, 7, 5, 6, 4, 9, 3, 1]], [[3, 5, 4, 8, 1, 0, 9, 7, 6, 2], [0, 2, 8, 7, 5, 6, 4, 9, 3, 1]], [[2, 3, 5, 4, 8, 1, 0, 9, 7, 6], [0, 2, 8, 7, 5, 6, 4, 9, 3, 1]], [[1, 0, 9, 7, 6, 2, 3, 5, 4, 8], [0, 2, 8, 7, 5, 6, 4, 9, 3, 1]]]))
(730000, ((6, 3, 1, 1, 3, 4, 2, 6, 4, 2), [[[2, 0, 9, 7, 3, 1, 8, 5, 4, 6], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]]]))
(740000, ((6, 2, 6, 2, 2, 5, 1, 1, 5, 2), [[[6, 7, 3, 0, 9, 2, 1, 8, 5, 4], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]]]))
(750000, ((6, 4, 4, 2, 2, 3, 3, 1, 5, 2), [[[5, 8, 1, 0, 9, 7, 2, 6, 4, 3], [0, 2, 5, 4, 9, 8, 7, 6, 3, 1]]]))
(760000, ((6, 2, 2, 1, 1, 6, 6, 1, 5, 2), [[[3, 5, 6, 4, 8, 1, 0, 9, 7, 2], [0, 2, 5, 4, 9, 8, 7, 6, 3, 1]]]))
(770000, ((6, 3, 1, 2, 4, 2, 4, 3, 5, 2), [[[0, 9, 7, 3, 5, 2, 1, 6, 4, 8], [0, 1, 7, 6, 8, 5, 4, 9, 3, 2]]]))
(780000, ((6, 2, 4, 5, 3, 2, 1, 1, 6, 2), [[[5, 3, 2, 8, 0, 9, 7, 6, 1, 4], [0, 1, 5, 8, 7, 4, 9, 3, 6, 2]], [[0, 9, 7, 6, 1, 4, 5, 3, 2, 8], [0, 1, 5, 8, 7, 4, 9, 3, 6, 2]]]))
(790000, ((6, 4, 2, 2, 3, 3, 3, 1, 6, 2), [[[8, 7, 5, 6, 4, 0, 2, 9, 3, 1], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]], [[7, 5, 6, 4, 0, 2, 9, 3, 1, 8], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]], [[9, 3, 1, 8, 7, 5, 6, 4, 0, 2], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]]]))
(800000, ((6, 4, 2, 3, 3, 3, 1, 2, 6, 2), [[[2, 1, 9, 7, 3, 0, 8, 5, 4, 6], [0, 4, 9, 6, 8, 7, 5, 2, 1, 3]], [[3, 0, 8, 5, 4, 6, 2, 1, 9, 7], [0, 4, 9, 6, 8, 7, 5, 2, 1, 3]]]))
(810000, ((6, 1, 1, 6, 1, 5, 2, 2, 6, 2), [[[5, 1, 6, 4, 8, 0, 9, 7, 3, 2], [0, 1, 4, 9, 3, 5, 7, 6, 8, 2]], [[9, 7, 3, 2, 5, 1, 6, 4, 8, 0], [0, 1, 4, 9, 3, 5, 7, 6, 8, 2]]]))
(820000, ((6, 1, 3, 2, 3, 3, 4, 2, 6, 2), [[[5, 1, 6, 4, 8, 0, 9, 7, 3, 2], [0, 1, 4, 9, 3, 5, 7, 6, 8, 2]], [[9, 7, 3, 2, 5, 1, 6, 4, 8, 0], [0, 1, 4, 9, 3, 5, 7, 6, 8, 2]]]))
(830000, ((6, 4, 4, 2, 1, 3, 1, 3, 6, 2), [[[4, 8, 5, 2, 6, 0, 3, 9, 7, 1], [0, 3, 5, 2, 8, 7, 1, 4, 9, 6]], [[9, 7, 1, 4, 8, 5, 2, 6, 0, 3], [0, 3, 5, 2, 8, 7, 1, 4, 9, 6]], [[3, 9, 7, 1, 4, 8, 5, 2, 6, 0], [0, 3, 5, 2, 8, 7, 1, 4, 9, 6]]]))
(840000, ((6, 1, 5, 2, 2, 3, 1, 4, 6, 2), [[[0, 6, 7, 8, 9, 3, 2, 4, 1, 5], [0, 7, 3, 2, 6, 9, 4, 1, 8, 5]], [[1, 5, 0, 6, 7, 8, 9, 3, 2, 4], [0, 7, 3, 2, 6, 9, 4, 1, 8, 5]]]))
(850000, ((6, 1, 5, 2, 1, 1, 4, 4, 6, 2), [[[0, 9, 7, 2, 3, 5, 4, 6, 8, 1], [0, 2, 6, 5, 9, 4, 8, 7, 3, 1]]]))
(860000, ((6, 2, 4, 1, 1, 3, 1, 6, 6, 2), [[[1, 9, 4, 7, 2, 0, 8, 6, 5, 3], [0, 5, 9, 8, 7, 3, 1, 4, 6, 2]]]))
(870000, ((6, 4, 4, 2, 4, 4, 3, 1, 1, 3), [[[2, 9, 6, 0, 3, 7, 5, 1, 8, 4], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]], [[9, 6, 0, 3, 7, 5, 1, 8, 4, 2], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]], [[1, 8, 4, 2, 9, 6, 0, 3, 7, 5], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]]]))
(880000, ((6, 6, 4, 3, 1, 4, 2, 2, 1, 3), [[[3, 9, 6, 4, 1, 2, 8, 7, 5, 0], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]], [[2, 8, 7, 5, 0, 3, 9, 6, 4, 1], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]]]))
(890000, ((6, 3, 5, 4, 2, 2, 4, 2, 1, 3), [[[5, 4, 8, 1, 0, 9, 7, 6, 2, 3], [0, 2, 5, 7, 8, 9, 4, 6, 3, 1]], [[3, 5, 4, 8, 1, 0, 9, 7, 6, 2], [0, 2, 5, 7, 8, 9, 4, 6, 3, 1]]]))
(900000, ((6, 2, 4, 5, 1, 2, 6, 2, 1, 3), [[[0, 9, 7, 5, 1, 6, 3, 2, 4, 8], [0, 1, 4, 9, 3, 7, 8, 5, 6, 2]], [[6, 3, 2, 4, 8, 0, 9, 7, 5, 1], [0, 1, 4, 9, 3, 7, 8, 5, 6, 2]]]))
(910000, ((6, 4, 6, 4, 2, 1, 1, 4, 1, 3), [[[6, 7, 8, 1, 0, 9, 2, 3, 5, 4], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]], [[5, 4, 6, 7, 8, 1, 0, 9, 2, 3], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]]))
(920000, ((6, 2, 4, 3, 1, 6, 2, 4, 1, 3), [[[7, 2, 3, 4, 6, 5, 8, 1, 0, 9], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]], [[5, 8, 1, 0, 9, 7, 2, 3, 4, 6], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]], [[9, 7, 2, 3, 4, 6, 5, 8, 1, 0], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]], [[6, 5, 8, 1, 0, 9, 7, 2, 3, 4], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]]]))
(930000, ((6, 2, 6, 2, 1, 1, 6, 4, 1, 3), [[[9, 7, 3, 1, 8, 5, 4, 6, 2, 0], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]]]))
(940000, ((6, 2, 1, 5, 4, 2, 2, 6, 1, 3), [[[9, 4, 7, 2, 0, 8, 6, 5, 3, 1], [0, 5, 9, 8, 7, 3, 1, 4, 6, 2]]]))
(950000, ((6, 2, 4, 4, 4, 4, 1, 1, 3, 3), [[[7, 3, 0, 9, 2, 1, 8, 5, 4, 6], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]]]))
(960000, ((6, 6, 2, 4, 1, 3, 2, 2, 3, 3), [[[7, 5, 4, 3, 6, 8, 1, 0, 9, 2], [0, 2, 4, 6, 7, 8, 5, 3, 9, 1]]]))
(970000, ((6, 2, 4, 4, 1, 3, 4, 2, 3, 3), [[[7, 5, 4, 3, 6, 8, 1, 0, 9, 2], [0, 2, 4, 6, 7, 8, 5, 3, 9, 1]]]))
(980000, ((6, 2, 4, 2, 6, 1, 1, 4, 3, 3), [[[7, 8, 4, 3, 5, 2, 6, 0, 1, 9], [0, 1, 8, 5, 2, 7, 4, 3, 9, 6]]]))
(990000, ((6, 3, 1, 2, 2, 4, 4, 4, 3, 3), [[[3, 1, 8, 4, 6, 2, 0, 9, 5, 7], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]]]))
(1000000, ((6, 2, 2, 2, 4, 6, 1, 1, 5, 3), [[[1, 9, 6, 4, 2, 8, 7, 5, 0, 3], [0, 9, 4, 2, 7, 3, 1, 8, 6, 5]]]))
(1010000, ((6, 2, 4, 4, 1, 1, 4, 2, 5, 3), [[[3, 1, 8, 5, 4, 6, 2, 0, 9, 7], [0, 4, 3, 1, 5, 9, 6, 7, 8, 2]]]))
(1020000, ((6, 2, 2, 2, 1, 3, 4, 4, 5, 3), [[[5, 4, 6, 8, 1, 0, 9, 7, 2, 3], [0, 2, 5, 8, 9, 4, 7, 6, 3, 1]], [[6, 8, 1, 0, 9, 7, 2, 3, 5, 4], [0, 2, 5, 8, 9, 4, 7, 6, 3, 1]]]))
(1030000, ((6, 4, 3, 5, 2, 4, 2, 1, 1, 4), [[[0, 6, 7, 8, 9, 3, 2, 4, 1, 5], [0, 8, 4, 1, 7, 3, 2, 6, 9, 5]], [[3, 2, 4, 1, 5, 0, 6, 7, 8, 9], [0, 8, 4, 1, 7, 3, 2, 6, 9, 5]]]))
(1040000, ((6, 5, 1, 4, 4, 2, 4, 1, 1, 4), [[[7, 3, 1, 9, 4, 0, 2, 8, 6, 5], [0, 2, 5, 9, 7, 6, 3, 1, 8, 4]]]))
(1050000, ((6, 5, 1, 2, 4, 2, 6, 1, 1, 4), [[[4, 7, 8, 1, 0, 9, 2, 3, 6, 5], [0, 2, 5, 7, 6, 4, 9, 8, 3, 1]]]))
(1060000, ((6, 2, 4, 6, 1, 3, 2, 3, 1, 4), [[[2, 1, 8, 6, 3, 0, 9, 5, 4, 7], [0, 5, 8, 7, 9, 6, 2, 1, 4, 3]]]))
(1070000, ((6, 4, 4, 1, 1, 4, 4, 3, 1, 4), [[[4, 8, 0, 9, 7, 3, 5, 1, 6, 2], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]], [[6, 2, 4, 8, 0, 9, 7, 3, 5, 1], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]], [[8, 0, 9, 7, 3, 5, 1, 6, 2, 4], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]]]))
(1080000, ((6, 1, 1, 6, 4, 2, 2, 5, 1, 4), [[[9, 7, 5, 1, 6, 3, 2, 4, 8, 0], [0, 1, 4, 9, 3, 7, 8, 5, 6, 2]]]))
(1090000, ((6, 4, 3, 5, 4, 2, 1, 1, 2, 4), [[[2, 3, 4, 6, 5, 8, 1, 0, 9, 7], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]]))
(1100000, ((6, 6, 4, 1, 3, 2, 3, 1, 2, 4), [[[7, 2, 3, 5, 6, 4, 8, 1, 0, 9], [0, 2, 6, 8, 5, 9, 4, 7, 3, 1]]]))
(1110000, ((6, 2, 1, 3, 6, 2, 5, 1, 2, 4), [[[2, 3, 5, 4, 6, 8, 1, 0, 9, 7], [0, 2, 5, 8, 9, 4, 7, 6, 3, 1]], [[5, 4, 6, 8, 1, 0, 9, 7, 2, 3], [0, 2, 5, 8, 9, 4, 7, 6, 3, 1]]]))
(1120000, ((6, 6, 2, 1, 3, 5, 1, 2, 2, 4), [[[5, 0, 3, 1, 9, 6, 4, 2, 8, 7], [0, 9, 4, 2, 7, 3, 1, 8, 6, 5]]]))
(1130000, ((6, 3, 1, 5, 1, 6, 2, 2, 2, 4), [[[7, 2, 1, 9, 4, 6, 3, 0, 8, 5], [0, 5, 9, 7, 8, 6, 2, 1, 4, 3]], [[6, 3, 0, 8, 5, 7, 2, 1, 9, 4], [0, 5, 9, 7, 8, 6, 2, 1, 4, 3]]]))
(1140000, ((6, 2, 5, 1, 5, 1, 4, 2, 2, 4), [[[4, 0, 3, 2, 8, 5, 1, 9, 6, 7], [0, 7, 5, 1, 6, 3, 2, 9, 8, 4]]]))
(1150000, ((6, 2, 1, 5, 2, 3, 5, 2, 2, 4), [[[1, 6, 4, 8, 0, 9, 7, 2, 3, 5], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]], [[6, 4, 8, 0, 9, 7, 2, 3, 5, 1], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]]]))
(1160000, ((6, 2, 4, 3, 5, 2, 1, 3, 2, 4), [[[5, 3, 2, 8, 0, 9, 7, 6, 1, 4], [0, 1, 5, 8, 7, 4, 9, 3, 6, 2]], [[0, 9, 7, 6, 1, 4, 5, 3, 2, 8], [0, 1, 5, 8, 7, 4, 9, 3, 6, 2]]]))
(1170000, ((6, 4, 1, 3, 2, 4, 3, 3, 2, 4), [[[3, 2, 5, 8, 0, 9, 7, 1, 4, 6], [0, 1, 5, 4, 9, 3, 8, 7, 6, 2]], [[4, 6, 3, 2, 5, 8, 0, 9, 7, 1], [0, 1, 5, 4, 9, 3, 8, 7, 6, 2]]]))
(1180000, ((6, 4, 2, 1, 5, 3, 1, 4, 2, 4), [[[4, 1, 2, 8, 7, 5, 0, 3, 9, 6], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]], [[5, 0, 3, 9, 6, 4, 1, 2, 8, 7], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]]]))
(1190000, ((6, 3, 1, 1, 3, 6, 2, 4, 2, 4), [[[7, 4, 0, 3, 2, 8, 5, 1, 9, 6], [0, 7, 5, 1, 6, 3, 2, 9, 8, 4]]]))
(1200000, ((6, 4, 1, 1, 1, 5, 4, 4, 2, 4), [[[8, 5, 4, 6, 7, 3, 0, 9, 2, 1], [0, 5, 6, 9, 7, 8, 2, 1, 4, 3]]]))
(1210000, ((6, 2, 2, 5, 1, 4, 1, 5, 2, 4), [[[2, 0, 9, 5, 7, 3, 1, 8, 4, 6], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]]]))
(1220000, ((6, 1, 1, 4, 4, 3, 1, 6, 2, 4), [[[5, 4, 0, 2, 8, 7, 6, 3, 1, 9], [0, 2, 5, 7, 3, 1, 6, 9, 8, 4]]]))
(1230000, ((6, 1, 1, 2, 5, 1, 4, 6, 2, 4), [[[6, 2, 0, 9, 7, 3, 1, 8, 5, 4], [0, 4, 3, 1, 5, 9, 6, 7, 8, 2]]]))
(1240000, ((6, 2, 6, 2, 3, 3, 2, 1, 3, 4), [[[9, 2, 7, 5, 4, 3, 6, 8, 1, 0], [0, 2, 4, 6, 7, 8, 5, 3, 9, 1]], [[0, 9, 2, 7, 5, 4, 3, 6, 8, 1], [0, 2, 4, 6, 7, 8, 5, 3, 9, 1]]]))
(1250000, ((6, 2, 2, 5, 1, 4, 4, 1, 3, 4), [[[1, 6, 4, 8, 0, 9, 7, 2, 3, 5], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]]]))
(1260000, ((6, 2, 3, 1, 6, 2, 2, 3, 3, 4), [[[8, 4, 7, 2, 1, 9, 5, 6, 3, 0], [0, 4, 9, 7, 5, 8, 6, 2, 1, 3]], [[9, 5, 6, 3, 0, 8, 4, 7, 2, 1], [0, 4, 9, 7, 5, 8, 6, 2, 1, 3]]]))
(1270000, ((6, 1, 1, 6, 2, 2, 2, 5, 3, 4), [[[3, 6, 4, 8, 2, 0, 1, 9, 7, 5], [0, 1, 3, 8, 7, 6, 5, 4, 9, 2]], [[5, 3, 6, 4, 8, 2, 0, 1, 9, 7], [0, 1, 3, 8, 7, 6, 5, 4, 9, 2]]]))
(1280000, ((6, 2, 6, 2, 1, 5, 1, 1, 4, 4), [[[7, 3, 1, 9, 4, 0, 2, 8, 6, 5], [0, 2, 5, 3, 1, 6, 9, 7, 8, 4]], [[4, 0, 2, 8, 6, 5, 7, 3, 1, 9], [0, 2, 5, 3, 1, 6, 9, 7, 8, 4]]]))
(1290000, ((6, 4, 2, 1, 1, 4, 5, 1, 4, 4), [[[8, 0, 9, 7, 1, 4, 6, 3, 2, 5], [0, 1, 5, 4, 9, 3, 8, 7, 6, 2]]]))
(1300000, ((6, 6, 1, 1, 5, 1, 2, 2, 4, 4), [[[4, 8, 5, 2, 9, 6, 0, 3, 7, 1], [0, 3, 9, 8, 7, 1, 4, 5, 2, 6]], [[0, 3, 7, 1, 4, 8, 5, 2, 9, 6], [0, 3, 9, 8, 7, 1, 4, 5, 2, 6]], [[2, 9, 6, 0, 3, 7, 1, 4, 8, 5], [0, 3, 9, 8, 7, 1, 4, 5, 2, 6]]]))
(1310000, ((6, 3, 1, 4, 2, 3, 3, 2, 4, 4), [[[7, 2, 3, 5, 6, 4, 8, 1, 0, 9], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]]))
(1320000, ((6, 1, 3, 4, 1, 1, 6, 2, 4, 4), [[[6, 4, 7, 8, 3, 0, 2, 1, 9, 5], [0, 4, 8, 9, 6, 2, 1, 5, 7, 3]], [[0, 2, 1, 9, 5, 6, 4, 7, 8, 3], [0, 4, 8, 9, 6, 2, 1, 5, 7, 3]]]))
(1330000, ((6, 1, 1, 2, 6, 2, 3, 3, 4, 4), [[[6, 4, 1, 2, 5, 8, 0, 9, 7, 3], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]], [[8, 0, 9, 7, 3, 6, 4, 1, 2, 5], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]]]))
(1340000, ((6, 6, 1, 1, 1, 3, 2, 4, 4, 4), [[[3, 4, 6, 5, 8, 1, 0, 9, 7, 2], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]]))
(1350000, ((6, 6, 2, 1, 1, 2, 1, 5, 4, 4), [[[0, 2, 1, 9, 8, 4, 6, 7, 5, 3], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]], [[3, 0, 2, 1, 9, 8, 4, 6, 7, 5], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]]]))
(1360000, ((6, 1, 1, 4, 1, 1, 4, 6, 4, 4), [[[0, 9, 7, 2, 6, 4, 3, 5, 8, 1], [0, 2, 5, 4, 9, 8, 7, 6, 3, 1]]]))
(1370000, ((6, 2, 4, 3, 1, 2, 4, 1, 5, 4), [[[1, 9, 8, 4, 6, 7, 5, 3, 0, 2], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]]]))
(1380000, ((6, 4, 6, 2, 1, 1, 1, 1, 6, 4), [[[7, 4, 8, 1, 0, 9, 2, 3, 6, 5], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]]))
(1390000, ((6, 2, 6, 3, 1, 1, 1, 2, 6, 4), [[[5, 7, 8, 3, 1, 4, 0, 2, 9, 6], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]]]))
(1400000, ((6, 1, 1, 2, 3, 5, 2, 2, 6, 4), [[[2, 1, 6, 4, 8, 0, 9, 7, 5, 3], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]]]))
(1410000, ((6, 2, 2, 2, 1, 5, 1, 3, 6, 4), [[[4, 7, 8, 1, 0, 9, 2, 3, 6, 5], [0, 2, 5, 7, 6, 4, 9, 8, 3, 1]]]))
(1420000, ((6, 2, 2, 3, 1, 1, 1, 6, 6, 4), [[[5, 4, 6, 7, 3, 0, 9, 2, 1, 8], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]]]))
(1430000, ((6, 6, 6, 2, 1, 1, 2, 2, 1, 5), [[[9, 7, 3, 1, 8, 5, 4, 6, 2, 0], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]]]))
(1440000, ((6, 2, 4, 2, 4, 3, 3, 2, 1, 5), [[[8, 6, 5, 3, 1, 9, 4, 7, 2, 0], [0, 5, 9, 8, 7, 3, 1, 4, 6, 2]]]))
(1450000, ((6, 4, 6, 2, 2, 2, 1, 3, 1, 5), [[[4, 8, 2, 0, 1, 9, 7, 5, 3, 6], [0, 1, 3, 8, 7, 6, 5, 4, 9, 2]]]))
(1460000, ((6, 2, 3, 1, 2, 6, 2, 4, 1, 5), [[[3, 5, 4, 8, 1, 0, 9, 2, 7, 6], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]]))
(1470000, ((6, 1, 3, 2, 2, 4, 2, 6, 1, 5), [[[8, 3, 1, 4, 0, 2, 9, 6, 5, 7], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]], [[5, 7, 8, 3, 1, 4, 0, 2, 9, 6], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]]]))
(1480000, ((6, 4, 2, 4, 1, 3, 2, 2, 3, 5), [[[3, 7, 6, 5, 4, 8, 1, 0, 9, 2], [0, 2, 6, 8, 7, 5, 9, 4, 3, 1]]]))
(1490000, ((6, 2, 2, 6, 1, 1, 2, 4, 3, 5), [[[9, 2, 7, 6, 3, 5, 4, 8, 1, 0], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]]))
(1500000, ((6, 1, 1, 2, 6, 2, 2, 2, 5, 5), [[[3, 0, 9, 4, 6, 2, 1, 8, 5, 7], [0, 4, 8, 2, 1, 5, 9, 7, 6, 3]]]))
(1510000, ((6, 3, 1, 6, 4, 2, 2, 1, 1, 6), [[[5, 6, 4, 7, 8, 3, 0, 2, 1, 9], [0, 4, 8, 9, 6, 2, 1, 5, 7, 3]]]))
(1520000, ((6, 3, 1, 4, 4, 2, 4, 1, 1, 6), [[[1, 5, 0, 6, 7, 8, 9, 3, 2, 4], [0, 8, 4, 1, 7, 3, 2, 6, 9, 5]], [[2, 4, 1, 5, 0, 6, 7, 8, 9, 3], [0, 8, 4, 1, 7, 3, 2, 6, 9, 5]]]))
(1530000, ((6, 6, 3, 1, 2, 2, 2, 3, 1, 6), [[[9, 2, 7, 6, 3, 5, 4, 8, 1, 0], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]], [[5, 4, 8, 1, 0, 9, 2, 7, 6, 3], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]]))
(1540000, ((6, 2, 2, 2, 4, 3, 1, 5, 1, 6), [[[6, 4, 8, 2, 0, 1, 9, 7, 5, 3], [0, 1, 3, 8, 7, 6, 5, 4, 9, 2]]]))
(1550000, ((6, 2, 3, 5, 2, 4, 1, 1, 2, 6), [[[5, 7, 2, 0, 9, 6, 3, 1, 8, 4], [0, 8, 6, 7, 9, 5, 3, 1, 4, 2]]]))
(1560000, ((6, 4, 2, 3, 1, 2, 5, 1, 2, 6), [[[6, 7, 3, 0, 9, 2, 1, 8, 5, 4], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]], [[3, 0, 9, 2, 1, 8, 5, 4, 6, 7], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]]]))
(1570000, ((6, 6, 3, 3, 1, 1, 2, 2, 2, 6), [[[3, 1, 8, 5, 7, 6, 4, 0, 2, 9], [0, 2, 6, 8, 7, 3, 1, 5, 9, 4]], [[1, 8, 5, 7, 6, 4, 0, 2, 9, 3], [0, 2, 6, 8, 7, 3, 1, 5, 9, 4]]]))
(1580000, ((6, 2, 1, 5, 4, 1, 3, 2, 2, 6), [[[7, 4, 0, 3, 2, 8, 5, 1, 9, 6], [0, 7, 5, 1, 6, 3, 2, 9, 8, 4]]]))
(1590000, ((6, 2, 1, 1, 6, 1, 5, 2, 2, 6), [[[1, 6, 4, 8, 0, 9, 7, 3, 2, 5], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]], [[7, 3, 2, 5, 1, 6, 4, 8, 0, 9], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]], [[6, 4, 8, 0, 9, 7, 3, 2, 5, 1], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]]]))
(1600000, ((6, 2, 2, 4, 3, 1, 3, 3, 2, 6), [[[4, 6, 8, 1, 0, 9, 7, 2, 3, 5], [0, 2, 4, 9, 8, 5, 6, 7, 3, 1]]]))
(1610000, ((6, 1, 3, 4, 3, 1, 2, 4, 2, 6), [[[1, 0, 9, 7, 2, 3, 5, 6, 4, 8], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]]))
(1620000, ((6, 4, 1, 1, 1, 1, 6, 4, 2, 6), [[[6, 3, 1, 9, 5, 7, 4, 0, 2, 8], [0, 2, 6, 9, 7, 3, 1, 5, 8, 4]]]))
(1630000, ((6, 1, 1, 3, 1, 4, 2, 6, 2, 6), [[[4, 6, 5, 3, 7, 8, 1, 0, 9, 2], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]]))
(1640000, ((6, 2, 4, 4, 2, 1, 3, 1, 3, 6), [[[7, 5, 6, 4, 0, 2, 9, 3, 1, 8], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]], [[5, 6, 4, 0, 2, 9, 3, 1, 8, 7], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]], [[3, 1, 8, 7, 5, 6, 4, 0, 2, 9], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]]]))
(1650000, ((6, 2, 4, 2, 2, 1, 1, 5, 3, 6), [[[5, 6, 2, 0, 9, 7, 3, 1, 8, 4], [0, 8, 9, 6, 7, 5, 3, 1, 4, 2]]]))
(1660000, ((6, 2, 1, 1, 4, 4, 3, 1, 4, 6), [[[2, 0, 9, 7, 3, 1, 8, 5, 4, 6], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]]]))
(1670000, ((6, 2, 3, 1, 3, 3, 2, 2, 4, 6), [[[6, 7, 5, 1, 2, 9, 4, 0, 3, 8], [0, 3, 6, 9, 5, 1, 2, 7, 8, 4]], [[9, 4, 0, 3, 8, 6, 7, 5, 1, 2], [0, 3, 6, 9, 5, 1, 2, 7, 8, 4]], [[2, 9, 4, 0, 3, 8, 6, 7, 5, 1], [0, 3, 6, 9, 5, 1, 2, 7, 8, 4]]]))
(1680000, ((6, 1, 3, 4, 2, 2, 1, 3, 4, 6), [[[5, 1, 6, 3, 2, 4, 8, 0, 9, 7], [0, 1, 4, 9, 3, 7, 8, 5, 6, 2]], [[4, 8, 0, 9, 7, 5, 1, 6, 3, 2], [0, 1, 4, 9, 3, 7, 8, 5, 6, 2]]]))
(1690000, ((6, 2, 1, 1, 1, 1, 6, 4, 4, 6), [[[2, 1, 8, 5, 7, 3, 0, 9, 4, 6], [0, 4, 8, 2, 1, 5, 9, 7, 6, 3]]]))
(1700000, ((6, 2, 2, 1, 1, 2, 4, 3, 5, 6), [[[5, 8, 0, 9, 7, 4, 6, 1, 3, 2], [0, 1, 5, 4, 9, 3, 8, 6, 7, 2]], [[2, 5, 8, 0, 9, 7, 4, 6, 1, 3], [0, 1, 5, 4, 9, 3, 8, 6, 7, 2]], [[8, 0, 9, 7, 4, 6, 1, 3, 2, 5], [0, 1, 5, 4, 9, 3, 8, 6, 7, 2]]]))
(1710000, ((6, 3, 1, 2, 2, 1, 3, 2, 6, 6), [[[2, 0, 1, 9, 7, 5, 3, 6, 4, 8], [0, 1, 3, 8, 7, 6, 5, 4, 9, 2]], [[8, 2, 0, 1, 9, 7, 5, 3, 6, 4], [0, 1, 3, 8, 7, 6, 5, 4, 9, 2]]]))
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_6_visible_9 written
ST5_data//H_3_1t5//1_branch_point//align_list//H_3_1t3_align_list_7 read
728640 configurations to search
(10000, ((7, 1, 6, 4, 2, 6, 2, 2, 1, 1), [[[0, 8, 5, 7, 3, 1, 9, 4, 6, 2], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]]]))
(20000, ((7, 2, 2, 4, 4, 2, 6, 3, 1, 1), [[[1, 0, 9, 7, 2, 3, 5, 4, 6, 8], [0, 2, 4, 9, 8, 7, 5, 6, 3, 1]]]))
(30000, ((7, 1, 4, 2, 4, 4, 2, 6, 1, 1), [[[6, 0, 3, 7, 5, 1, 8, 4, 2, 9], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]], [[0, 3, 7, 5, 1, 8, 4, 2, 9, 6], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]], [[4, 2, 9, 6, 0, 3, 7, 5, 1, 8], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]]]))
(40000, ((7, 4, 4, 2, 2, 4, 5, 1, 2, 1), [[[3, 1, 8, 4, 5, 6, 2, 0, 9, 7], [0, 8, 9, 6, 7, 5, 3, 1, 4, 2]]]))
(50000, ((7, 2, 6, 1, 7, 2, 2, 2, 2, 1), [[[8, 0, 9, 7, 5, 3, 2, 1, 6, 4], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]], [[7, 5, 3, 2, 1, 6, 4, 8, 0, 9], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]]]))
(60000, ((7, 4, 2, 6, 2, 3, 3, 2, 2, 1), [[[0, 9, 6, 2, 1, 8, 5, 4, 7, 3], [0, 8, 2, 1, 4, 9, 7, 6, 5, 3]]]))
(70000, ((7, 2, 6, 1, 1, 6, 4, 2, 2, 1), [[[7, 3, 5, 2, 1, 6, 4, 8, 0, 9], [0, 1, 7, 6, 8, 5, 4, 9, 3, 2]]]))
(80000, ((7, 2, 2, 2, 6, 1, 7, 2, 2, 1), [[[6, 5, 8, 1, 0, 9, 7, 2, 3, 4], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]]]))
(90000, ((7, 5, 5, 2, 2, 2, 2, 4, 2, 1), [[[9, 3, 1, 8, 5, 4, 6, 7, 2, 0], [0, 4, 3, 1, 5, 6, 9, 7, 8, 2]]]))
(100000, ((7, 2, 2, 4, 6, 1, 3, 4, 2, 1), [[[6, 3, 1, 9, 5, 7, 4, 0, 2, 8], [0, 2, 6, 9, 7, 3, 1, 5, 8, 4]]]))
(110000, ((7, 2, 4, 1, 1, 4, 6, 4, 2, 1), [[[7, 2, 3, 5, 1, 6, 4, 8, 0, 9], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]]]))
(120000, ((7, 6, 1, 1, 2, 4, 2, 6, 2, 1), [[[8, 0, 9, 7, 3, 2, 1, 6, 5, 4], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]]]))
(130000, ((7, 6, 2, 2, 4, 4, 2, 1, 3, 1), [[[1, 4, 0, 2, 9, 6, 5, 7, 8, 3], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]]]))
(140000, ((7, 6, 2, 2, 2, 4, 2, 3, 3, 1), [[[1, 0, 9, 2, 7, 6, 3, 5, 4, 8], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]]))
(150000, ((7, 4, 2, 4, 2, 6, 1, 1, 4, 1), [[[7, 8, 1, 0, 9, 2, 3, 6, 5, 4], [0, 2, 6, 7, 5, 9, 4, 8, 3, 1]], [[5, 4, 7, 8, 1, 0, 9, 2, 3, 6], [0, 2, 6, 7, 5, 9, 4, 8, 3, 1]]]))
(160000, ((7, 2, 2, 5, 5, 2, 2, 2, 4, 1), [[[5, 7, 4, 0, 2, 8, 6, 3, 1, 9], [0, 2, 6, 9, 7, 3, 1, 5, 8, 4]]]))
(170000, ((7, 6, 2, 1, 3, 2, 4, 2, 4, 1), [[[5, 3, 0, 2, 1, 9, 8, 4, 6, 7], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]]]))
(180000, ((7, 4, 2, 2, 2, 6, 1, 3, 4, 1), [[[6, 5, 1, 9, 4, 0, 3, 2, 8, 7], [0, 9, 6, 3, 2, 7, 5, 1, 8, 4]], [[8, 7, 6, 5, 1, 9, 4, 0, 3, 2], [0, 9, 6, 3, 2, 7, 5, 1, 8, 4]]]))
(190000, ((7, 2, 4, 2, 2, 3, 3, 4, 4, 1), [[[9, 3, 1, 8, 6, 5, 7, 4, 0, 2], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]]]))
(200000, ((7, 4, 1, 1, 2, 2, 4, 6, 4, 1), [[[0, 8, 5, 7, 3, 1, 9, 4, 6, 2], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]], [[1, 9, 4, 6, 2, 0, 8, 5, 7, 3], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]]]))
(210000, ((7, 1, 2, 4, 2, 2, 2, 6, 5, 1), [[[4, 5, 7, 2, 0, 9, 6, 3, 1, 8], [0, 8, 6, 7, 9, 5, 3, 1, 4, 2]]]))
(220000, ((7, 2, 2, 3, 3, 4, 2, 2, 6, 1), [[[7, 3, 2, 5, 1, 6, 4, 8, 0, 9], [0, 1, 4, 9, 3, 8, 5, 7, 6, 2]]]))
(230000, ((7, 2, 3, 1, 4, 2, 2, 4, 6, 1), [[[5, 8, 0, 9, 7, 3, 6, 4, 1, 2], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]], [[6, 4, 1, 2, 5, 8, 0, 9, 7, 3], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]]]))
(240000, ((7, 5, 4, 2, 4, 4, 2, 1, 1, 2), [[[5, 3, 1, 9, 4, 7, 2, 0, 8, 6], [0, 5, 9, 8, 7, 3, 1, 4, 6, 2]]]))
(250000, ((7, 1, 4, 2, 4, 6, 2, 3, 1, 2), [[[3, 6, 8, 1, 0, 9, 2, 7, 5, 4], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]]))
(260000, ((7, 5, 4, 2, 2, 6, 1, 1, 2, 2), [[[3, 1, 8, 5, 4, 6, 2, 0, 9, 7], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]]]))
(270000, ((7, 1, 5, 7, 2, 2, 2, 2, 2, 2), [[[3, 1, 8, 5, 4, 6, 7, 2, 0, 9], [0, 4, 3, 1, 5, 6, 9, 7, 8, 2]]]))
(280000, ((7, 3, 3, 1, 4, 6, 2, 2, 2, 2), [[[1, 9, 7, 8, 4, 3, 5, 2, 6, 0], [0, 1, 8, 5, 2, 7, 4, 3, 9, 6]]]))
(290000, ((7, 3, 2, 1, 5, 4, 4, 2, 2, 2), [[[3, 2, 0, 1, 9, 8, 6, 5, 4, 7], [0, 1, 3, 8, 5, 7, 6, 4, 9, 2]]]))
(300000, ((7, 5, 2, 2, 6, 2, 1, 3, 2, 2), [[[5, 3, 6, 4, 8, 2, 0, 1, 9, 7], [0, 1, 3, 8, 7, 6, 5, 4, 9, 2]], [[7, 5, 3, 6, 4, 8, 2, 0, 1, 9], [0, 1, 3, 8, 7, 6, 5, 4, 9, 2]]]))
(310000, ((7, 1, 1, 5, 6, 2, 2, 4, 2, 2), [[[2, 3, 7, 6, 5, 4, 8, 1, 0, 9], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]]))
(320000, ((7, 1, 6, 1, 1, 4, 4, 4, 2, 2), [[[7, 3, 0, 9, 2, 1, 8, 4, 6, 5], [0, 5, 8, 9, 7, 6, 2, 1, 4, 3]]]))
(330000, ((7, 1, 7, 1, 2, 2, 2, 6, 2, 2), [[[2, 7, 6, 3, 5, 4, 8, 1, 0, 9], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]]))
(340000, ((7, 5, 2, 2, 6, 2, 2, 1, 3, 2), [[[6, 3, 4, 5, 8, 2, 0, 1, 9, 7], [0, 1, 3, 5, 7, 8, 6, 4, 9, 2]], [[7, 6, 3, 4, 5, 8, 2, 0, 1, 9], [0, 1, 3, 5, 7, 8, 6, 4, 9, 2]]]))
(350000, ((7, 1, 2, 2, 2, 2, 4, 7, 3, 2), [[[4, 6, 5, 7, 3, 0, 9, 2, 1, 8], [0, 5, 8, 9, 7, 6, 2, 1, 4, 3]]]))
(360000, ((7, 3, 1, 5, 4, 2, 2, 2, 4, 2), [[[6, 5, 3, 1, 9, 4, 7, 2, 0, 8], [0, 5, 9, 8, 7, 3, 1, 4, 6, 2]]]))
(370000, ((7, 3, 1, 1, 6, 2, 4, 2, 4, 2), [[[2, 3, 6, 5, 4, 7, 8, 1, 0, 9], [0, 2, 5, 7, 6, 4, 9, 8, 3, 1]]]))
(380000, ((7, 1, 2, 4, 5, 1, 2, 4, 4, 2), [[[8, 4, 5, 6, 2, 0, 9, 7, 3, 1], [0, 8, 9, 6, 7, 5, 3, 1, 4, 2]]]))
(390000, ((7, 3, 2, 2, 4, 1, 1, 6, 4, 2), [[[3, 6, 4, 1, 2, 5, 8, 0, 9, 7], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]], [[5, 8, 0, 9, 7, 3, 6, 4, 1, 2], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]]]))
(400000, ((7, 1, 2, 6, 4, 2, 1, 1, 6, 2), [[[4, 8, 1, 0, 9, 7, 2, 3, 5, 6], [0, 2, 6, 8, 5, 9, 4, 7, 3, 1]], [[3, 5, 6, 4, 8, 1, 0, 9, 7, 2], [0, 2, 6, 8, 5, 9, 4, 7, 3, 1]]]))
(410000, ((7, 1, 1, 5, 2, 2, 4, 2, 6, 2), [[[7, 2, 3, 5, 4, 6, 8, 1, 0, 9], [0, 2, 4, 9, 8, 7, 5, 6, 3, 1]]]))
(420000, ((7, 1, 2, 2, 2, 6, 2, 1, 7, 2), [[[8, 1, 0, 9, 2, 3, 7, 6, 5, 4], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]]))
(430000, ((7, 1, 4, 4, 2, 4, 4, 2, 1, 3), [[[4, 0, 2, 9, 6, 5, 7, 8, 3, 1], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]]]))
(440000, ((7, 6, 4, 4, 2, 2, 1, 1, 2, 3), [[[4, 6, 5, 3, 7, 8, 1, 0, 9, 2], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]], [[2, 4, 6, 5, 3, 7, 8, 1, 0, 9], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]]))
(450000, ((7, 5, 3, 4, 2, 2, 2, 2, 2, 3), [[[9, 5, 7, 3, 1, 8, 4, 6, 2, 0], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]], [[8, 4, 6, 2, 0, 9, 5, 7, 3, 1], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]]]))
(460000, ((7, 4, 2, 2, 4, 3, 3, 2, 2, 3), [[[8, 0, 9, 7, 1, 4, 6, 3, 2, 5], [0, 1, 5, 4, 9, 3, 8, 7, 6, 2]], [[2, 5, 8, 0, 9, 7, 1, 4, 6, 3], [0, 1, 5, 4, 9, 3, 8, 7, 6, 2]]]))
(470000, ((7, 2, 1, 3, 2, 4, 6, 2, 2, 3), [[[3, 2, 5, 1, 6, 4, 8, 0, 9, 7], [0, 1, 4, 9, 3, 5, 7, 6, 8, 2]], [[8, 0, 9, 7, 3, 2, 5, 1, 6, 4], [0, 1, 4, 9, 3, 5, 7, 6, 8, 2]]]))
(480000, ((7, 4, 1, 3, 2, 4, 2, 4, 2, 3), [[[3, 4, 2, 1, 6, 5, 8, 0, 9, 7], [0, 1, 5, 7, 4, 9, 3, 6, 8, 2]], [[4, 2, 1, 6, 5, 8, 0, 9, 7, 3], [0, 1, 5, 7, 4, 9, 3, 6, 8, 2]]]))
(490000, ((7, 1, 3, 4, 2, 2, 2, 6, 2, 3), [[[0, 1, 9, 8, 6, 5, 4, 7, 3, 2], [0, 1, 3, 8, 5, 7, 6, 4, 9, 2]], [[1, 9, 8, 6, 5, 4, 7, 3, 2, 0], [0, 1, 3, 8, 5, 7, 6, 4, 9, 2]]]))
(500000, ((7, 2, 2, 2, 6, 2, 2, 3, 3, 3), [[[2, 6, 0, 3, 9, 7, 1, 4, 8, 5], [0, 3, 5, 2, 8, 7, 1, 4, 9, 6]], [[4, 8, 5, 2, 6, 0, 3, 9, 7, 1], [0, 3, 5, 2, 8, 7, 1, 4, 9, 6]], [[1, 4, 8, 5, 2, 6, 0, 3, 9, 7], [0, 3, 5, 2, 8, 7, 1, 4, 9, 6]]]))
(510000, ((7, 1, 5, 2, 4, 2, 2, 2, 4, 3), [[[9, 7, 2, 3, 4, 6, 5, 8, 1, 0], [0, 2, 5, 4, 9, 8, 7, 6, 3, 1]]]))
(520000, ((7, 2, 2, 2, 2, 2, 5, 3, 4, 3), [[[2, 8, 5, 1, 9, 6, 7, 4, 0, 3], [0, 7, 5, 1, 6, 3, 2, 9, 8, 4]]]))
(530000, ((7, 1, 4, 2, 2, 2, 2, 4, 5, 3), [[[0, 9, 2, 7, 6, 3, 5, 4, 8, 1], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]]))
(540000, ((7, 7, 2, 4, 2, 2, 2, 1, 1, 4), [[[2, 1, 9, 5, 6, 4, 7, 8, 3, 0], [0, 4, 8, 9, 6, 2, 1, 5, 7, 3]], [[4, 7, 8, 3, 0, 2, 1, 9, 5, 6], [0, 4, 8, 9, 6, 2, 1, 5, 7, 3]]]))
(550000, ((7, 1, 2, 4, 2, 4, 2, 5, 1, 4), [[[8, 1, 0, 9, 2, 3, 5, 4, 6, 7], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]], [[6, 7, 8, 1, 0, 9, 2, 3, 5, 4], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]]))
(560000, ((7, 5, 4, 1, 3, 2, 2, 2, 2, 4), [[[3, 5, 1, 6, 4, 8, 0, 9, 7, 2], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]], [[5, 1, 6, 4, 8, 0, 9, 7, 2, 3], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]]]))
(570000, ((7, 5, 2, 1, 3, 2, 4, 2, 2, 4), [[[4, 2, 1, 6, 5, 8, 0, 9, 7, 3], [0, 1, 5, 7, 4, 9, 3, 6, 8, 2]], [[2, 1, 6, 5, 8, 0, 9, 7, 3, 4], [0, 1, 5, 7, 4, 9, 3, 6, 8, 2]]]))
(580000, ((7, 1, 2, 4, 2, 5, 1, 4, 2, 4), [[[3, 6, 4, 1, 2, 5, 8, 0, 9, 7], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]], [[5, 8, 0, 9, 7, 3, 6, 4, 1, 2], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]]]))
(590000, ((7, 3, 2, 2, 4, 2, 1, 5, 2, 4), [[[4, 8, 1, 0, 9, 7, 2, 3, 5, 6], [0, 2, 6, 8, 5, 9, 4, 7, 3, 1]], [[3, 5, 6, 4, 8, 1, 0, 9, 7, 2], [0, 2, 6, 8, 5, 9, 4, 7, 3, 1]]]))
(600000, ((7, 1, 2, 2, 4, 2, 2, 5, 3, 4), [[[5, 6, 4, 8, 1, 0, 9, 7, 2, 3], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]]))
(610000, ((7, 3, 2, 2, 3, 1, 4, 2, 4, 4), [[[9, 7, 2, 3, 4, 6, 5, 8, 1, 0], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]]]))
(620000, ((7, 5, 2, 2, 2, 2, 2, 1, 5, 4), [[[5, 4, 3, 6, 8, 1, 0, 9, 2, 7], [0, 2, 4, 6, 7, 8, 5, 3, 9, 1]], [[7, 5, 4, 3, 6, 8, 1, 0, 9, 2], [0, 2, 4, 6, 7, 8, 5, 3, 9, 1]]]))
(630000, ((7, 2, 2, 4, 6, 2, 2, 1, 1, 5), [[[7, 5, 0, 3, 9, 6, 4, 1, 2, 8], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]], [[6, 4, 1, 2, 8, 7, 5, 0, 3, 9], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]]]))
(640000, ((7, 6, 2, 2, 2, 2, 3, 1, 2, 5), [[[8, 0, 9, 7, 6, 1, 4, 5, 3, 2], [0, 1, 5, 8, 7, 4, 9, 3, 6, 2]], [[6, 1, 4, 5, 3, 2, 8, 0, 9, 7], [0, 1, 5, 8, 7, 4, 9, 3, 6, 2]]]))
(650000, ((7, 2, 4, 4, 1, 1, 4, 2, 2, 5), [[[6, 2, 1, 8, 5, 7, 3, 0, 9, 4], [0, 4, 8, 7, 2, 1, 5, 9, 6, 3]], [[7, 3, 0, 9, 4, 6, 2, 1, 8, 5], [0, 4, 8, 7, 2, 1, 5, 9, 6, 3]]]))
(660000, ((7, 1, 1, 4, 2, 2, 4, 4, 2, 5), [[[7, 6, 5, 1, 9, 4, 0, 3, 2, 8], [0, 9, 6, 3, 2, 7, 5, 1, 8, 4]]]))
(670000, ((7, 2, 4, 1, 1, 4, 2, 2, 4, 5), [[[5, 3, 0, 2, 1, 9, 8, 4, 6, 7], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]]]))
(680000, ((7, 3, 2, 2, 4, 2, 4, 1, 1, 6), [[[9, 7, 3, 4, 2, 1, 6, 5, 8, 0], [0, 1, 5, 7, 4, 9, 3, 6, 8, 2]], [[7, 3, 4, 2, 1, 6, 5, 8, 0, 9], [0, 1, 5, 7, 4, 9, 3, 6, 8, 2]]]))
(690000, ((7, 3, 2, 3, 1, 4, 2, 2, 2, 6), [[[1, 0, 9, 7, 2, 3, 5, 4, 6, 8], [0, 2, 6, 5, 9, 4, 8, 7, 3, 1]]]))
(700000, ((7, 1, 2, 2, 3, 1, 4, 4, 2, 6), [[[1, 6, 2, 4, 8, 0, 9, 7, 3, 5], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]], [[3, 5, 1, 6, 2, 4, 8, 0, 9, 7], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]], [[6, 2, 4, 8, 0, 9, 7, 3, 5, 1], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]]]))
(710000, ((7, 1, 2, 2, 3, 1, 2, 4, 4, 6), [[[8, 1, 0, 9, 7, 6, 2, 3, 4, 5], [0, 2, 5, 7, 8, 6, 4, 9, 3, 1]], [[5, 8, 1, 0, 9, 7, 6, 2, 3, 4], [0, 2, 5, 7, 8, 6, 4, 9, 3, 1]]]))
(720000, ((7, 2, 4, 1, 3, 2, 2, 2, 2, 7), [[[5, 4, 6, 2, 0, 9, 7, 3, 1, 8], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]]]))
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_7_visible_9 written

Step 5

In [11]:
#At this point, none of the files above need to be loaded for this to run.
#Once the files above are generated, the file sizes are small enough that these can be loaded on the fly.

#This loads all of the visible_align_list functions needed for nearly every case

%run ./ST5_fcns/combine_align_list_visible_fcns.ipynb 

if True:
    combine_align_list_visible_write_file(s_range = range(4,8), 
                                          s_filename_root = 'align_list_visible//H_3_1t3_align_list_', 
                                          t_range = [9,11], 
                                          t_filename_root = 'align_list_visible//H1_1_align_list_',
                                          d_opt = 16, 
                                          root_dir = 'ST5_data//H_3_1t5//1_branch_point//')

ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_9_visible_4 read
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_4_visible_9 read
empty list
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_11_visible_4 read
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_4_visible_11 read
empty list
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_9_visible_5 read
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_5_visible_9 read
empty list
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_11_visible_5 read
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_5_visible_11 read
empty list
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_9_visible_6 read
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_6_visible_9 read
empty list
empty list
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_9_visible_7 read
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_7_visible_9 read
empty list
empty list
admissible_list written with 0 elements