{"construction":"Disk noncrossing matchings with ordered puncture-face labels; hoops by auxiliary cup, N skein crossings, and seam cap.","arithmetic":"Exact rational arithmetic in a cyclotomic number field; no floating point rank decisions.","software":{"sympy":"1.14.0"},"parameters":{"N":6,"p":3,"x":"1","y":"2","m":1,"epsilon":-1},"field":{"generator":"q","embedding":"exp(i*pi/3)","modulus_descending":["1","-1","1"],"coefficient_order":"ascending powers 1,q,...","degree":2},"dimension":80,"depth_zero_dimension":20,"exact_checks":{"quadratic_relations":true,"distant_commutation":true,"rotation_relations":true,"full_rotation":true,"adjacent_relations":true,"affine_closure_relation":true,"F_central":true,"Fbar_central":true,"hoops_commute":true,"F_depth_zero_scalar":true},"ranks_F_minus_f0_powers":[58,39,37,37],"ranks_Fbar_minus_f0_powers":[58,39,37,37],"joint_stacked_ranks":[58,39,37,37],"target":{"dimension":43,"kernel_power":3,"f0_coeff_id":0,"nilpotent_ranks":[21,2,0,0],"Jordan_blocks_by_size":{"1":3,"2":17,"3":2},"rank_N_minus_M":2,"rank_N_plus_M":21,"rank_NM":2,"hoop_algebra_dimension":4,"relations":{"N3_zero":true,"M3_zero":true,"NM_equals_N2":true,"M2_equals_N2":true,"ND_zero":true,"D2_zero":true,"F_equals_Fbar_on_target":false},"basis_pivot_rows":[0,1,2,3,4,5,6,7,8,9,10,15,16,17,18,21,22,26,27,31,32,33,34,35,37,42,43,47,48,49,50,51,52,53,58,63,64,65,67,69,70,74,79]},"depth_one":{"dimension":35,"same_face_dimension":20,"edge_dimension":15,"nilpotent_rank":15,"g_coeff_id":39,"checks":{"generator_stable":true,"tree_incidence_formula_F":true,"tree_incidence_formula_Fbar":true,"nilpotent_square_zero":true,"F_equals_Fbar":true},"basis":{"shape":[80,35],"entries":[[0,0,3],[1,20,3],[4,20,0],[5,1,3],[6,21,3],[7,22,3],[9,21,0],[10,2,3],[13,22,0],[15,3,3],[16,4,3],[17,23,3],[20,23,0],[21,5,3],[22,24,3],[25,24,0],[26,6,3],[27,25,3],[30,25,0],[31,7,3],[32,8,3],[33,27,3],[34,26,3],[36,27,0],[37,9,3],[40,26,0],[42,10,3],[43,28,3],[46,28,0],[47,11,3],[48,12,3],[49,30,3],[50,31,3],[51,29,3],[52,30,0],[53,13,3],[56,31,0],[58,14,3],[60,29,0],[63,15,3],[64,16,3],[65,33,3],[67,32,3],[68,33,0],[69,17,3],[70,34,3],[73,34,0],[74,18,3],[76,32,0],[79,19,3]]},"edge_descriptors":[{"matching":[1,0,3,2,5,4],"face_f":[0],"face_h":[1,3,5],"diagonal_rows":[0,5]},{"matching":[1,0,3,2,5,4],"face_f":[1,3,5],"face_h":[2],"diagonal_rows":[5,10]},{"matching":[1,0,3,2,5,4],"face_f":[1,3,5],"face_h":[4],"diagonal_rows":[5,15]},{"matching":[1,0,5,4,3,2],"face_f":[0],"face_h":[1,5],"diagonal_rows":[16,21]},{"matching":[1,0,5,4,3,2],"face_f":[1,5],"face_h":[2,4],"diagonal_rows":[21,26]},{"matching":[1,0,5,4,3,2],"face_f":[2,4],"face_h":[3],"diagonal_rows":[26,31]},{"matching":[3,2,1,0,5,4],"face_f":[0,2],"face_h":[3,5],"diagonal_rows":[32,42]},{"matching":[3,2,1,0,5,4],"face_f":[0,2],"face_h":[1],"diagonal_rows":[32,37]},{"matching":[3,2,1,0,5,4],"face_f":[3,5],"face_h":[4],"diagonal_rows":[42,47]},{"matching":[5,2,1,4,3,0],"face_f":[0,2,4],"face_h":[5],"diagonal_rows":[48,63]},{"matching":[5,2,1,4,3,0],"face_f":[0,2,4],"face_h":[1],"diagonal_rows":[48,53]},{"matching":[5,2,1,4,3,0],"face_f":[0,2,4],"face_h":[3],"diagonal_rows":[48,58]},{"matching":[5,4,3,2,1,0],"face_f":[0,4],"face_h":[5],"diagonal_rows":[64,79]},{"matching":[5,4,3,2,1,0],"face_f":[0,4],"face_h":[1,3],"diagonal_rows":[64,69]},{"matching":[5,4,3,2,1,0],"face_f":[1,3],"face_h":[2],"diagonal_rows":[69,74]}]},"basis_states":[{"matching":[1,0,3,2,5,4],"face_a":[0],"face_b":[0]},{"matching":[1,0,3,2,5,4],"face_a":[0],"face_b":[1,3,5]},{"matching":[1,0,3,2,5,4],"face_a":[0],"face_b":[2]},{"matching":[1,0,3,2,5,4],"face_a":[0],"face_b":[4]},{"matching":[1,0,3,2,5,4],"face_a":[1,3,5],"face_b":[0]},{"matching":[1,0,3,2,5,4],"face_a":[1,3,5],"face_b":[1,3,5]},{"matching":[1,0,3,2,5,4],"face_a":[1,3,5],"face_b":[2]},{"matching":[1,0,3,2,5,4],"face_a":[1,3,5],"face_b":[4]},{"matching":[1,0,3,2,5,4],"face_a":[2],"face_b":[0]},{"matching":[1,0,3,2,5,4],"face_a":[2],"face_b":[1,3,5]},{"matching":[1,0,3,2,5,4],"face_a":[2],"face_b":[2]},{"matching":[1,0,3,2,5,4],"face_a":[2],"face_b":[4]},{"matching":[1,0,3,2,5,4],"face_a":[4],"face_b":[0]},{"matching":[1,0,3,2,5,4],"face_a":[4],"face_b":[1,3,5]},{"matching":[1,0,3,2,5,4],"face_a":[4],"face_b":[2]},{"matching":[1,0,3,2,5,4],"face_a":[4],"face_b":[4]},{"matching":[1,0,5,4,3,2],"face_a":[0],"face_b":[0]},{"matching":[1,0,5,4,3,2],"face_a":[0],"face_b":[1,5]},{"matching":[1,0,5,4,3,2],"face_a":[0],"face_b":[2,4]},{"matching":[1,0,5,4,3,2],"face_a":[0],"face_b":[3]},{"matching":[1,0,5,4,3,2],"face_a":[1,5],"face_b":[0]},{"matching":[1,0,5,4,3,2],"face_a":[1,5],"face_b":[1,5]},{"matching":[1,0,5,4,3,2],"face_a":[1,5],"face_b":[2,4]},{"matching":[1,0,5,4,3,2],"face_a":[1,5],"face_b":[3]},{"matching":[1,0,5,4,3,2],"face_a":[2,4],"face_b":[0]},{"matching":[1,0,5,4,3,2],"face_a":[2,4],"face_b":[1,5]},{"matching":[1,0,5,4,3,2],"face_a":[2,4],"face_b":[2,4]},{"matching":[1,0,5,4,3,2],"face_a":[2,4],"face_b":[3]},{"matching":[1,0,5,4,3,2],"face_a":[3],"face_b":[0]},{"matching":[1,0,5,4,3,2],"face_a":[3],"face_b":[1,5]},{"matching":[1,0,5,4,3,2],"face_a":[3],"face_b":[2,4]},{"matching":[1,0,5,4,3,2],"face_a":[3],"face_b":[3]},{"matching":[3,2,1,0,5,4],"face_a":[0,2],"face_b":[0,2]},{"matching":[3,2,1,0,5,4],"face_a":[0,2],"face_b":[1]},{"matching":[3,2,1,0,5,4],"face_a":[0,2],"face_b":[3,5]},{"matching":[3,2,1,0,5,4],"face_a":[0,2],"face_b":[4]},{"matching":[3,2,1,0,5,4],"face_a":[1],"face_b":[0,2]},{"matching":[3,2,1,0,5,4],"face_a":[1],"face_b":[1]},{"matching":[3,2,1,0,5,4],"face_a":[1],"face_b":[3,5]},{"matching":[3,2,1,0,5,4],"face_a":[1],"face_b":[4]},{"matching":[3,2,1,0,5,4],"face_a":[3,5],"face_b":[0,2]},{"matching":[3,2,1,0,5,4],"face_a":[3,5],"face_b":[1]},{"matching":[3,2,1,0,5,4],"face_a":[3,5],"face_b":[3,5]},{"matching":[3,2,1,0,5,4],"face_a":[3,5],"face_b":[4]},{"matching":[3,2,1,0,5,4],"face_a":[4],"face_b":[0,2]},{"matching":[3,2,1,0,5,4],"face_a":[4],"face_b":[1]},{"matching":[3,2,1,0,5,4],"face_a":[4],"face_b":[3,5]},{"matching":[3,2,1,0,5,4],"face_a":[4],"face_b":[4]},{"matching":[5,2,1,4,3,0],"face_a":[0,2,4],"face_b":[0,2,4]},{"matching":[5,2,1,4,3,0],"face_a":[0,2,4],"face_b":[1]},{"matching":[5,2,1,4,3,0],"face_a":[0,2,4],"face_b":[3]},{"matching":[5,2,1,4,3,0],"face_a":[0,2,4],"face_b":[5]},{"matching":[5,2,1,4,3,0],"face_a":[1],"face_b":[0,2,4]},{"matching":[5,2,1,4,3,0],"face_a":[1],"face_b":[1]},{"matching":[5,2,1,4,3,0],"face_a":[1],"face_b":[3]},{"matching":[5,2,1,4,3,0],"face_a":[1],"face_b":[5]},{"matching":[5,2,1,4,3,0],"face_a":[3],"face_b":[0,2,4]},{"matching":[5,2,1,4,3,0],"face_a":[3],"face_b":[1]},{"matching":[5,2,1,4,3,0],"face_a":[3],"face_b":[3]},{"matching":[5,2,1,4,3,0],"face_a":[3],"face_b":[5]},{"matching":[5,2,1,4,3,0],"face_a":[5],"face_b":[0,2,4]},{"matching":[5,2,1,4,3,0],"face_a":[5],"face_b":[1]},{"matching":[5,2,1,4,3,0],"face_a":[5],"face_b":[3]},{"matching":[5,2,1,4,3,0],"face_a":[5],"face_b":[5]},{"matching":[5,4,3,2,1,0],"face_a":[0,4],"face_b":[0,4]},{"matching":[5,4,3,2,1,0],"face_a":[0,4],"face_b":[1,3]},{"matching":[5,4,3,2,1,0],"face_a":[0,4],"face_b":[2]},{"matching":[5,4,3,2,1,0],"face_a":[0,4],"face_b":[5]},{"matching":[5,4,3,2,1,0],"face_a":[1,3],"face_b":[0,4]},{"matching":[5,4,3,2,1,0],"face_a":[1,3],"face_b":[1,3]},{"matching":[5,4,3,2,1,0],"face_a":[1,3],"face_b":[2]},{"matching":[5,4,3,2,1,0],"face_a":[1,3],"face_b":[5]},{"matching":[5,4,3,2,1,0],"face_a":[2],"face_b":[0,4]},{"matching":[5,4,3,2,1,0],"face_a":[2],"face_b":[1,3]},{"matching":[5,4,3,2,1,0],"face_a":[2],"face_b":[2]},{"matching":[5,4,3,2,1,0],"face_a":[2],"face_b":[5]},{"matching":[5,4,3,2,1,0],"face_a":[5],"face_b":[0,4]},{"matching":[5,4,3,2,1,0],"face_a":[5],"face_b":[1,3]},{"matching":[5,4,3,2,1,0],"face_a":[5],"face_b":[2]},{"matching":[5,4,3,2,1,0],"face_a":[5],"face_b":[5]}],"matrices":{"e_0":{"shape":[80,80],"entries":[[5,0,0],[5,1,1],[5,4,2],[5,5,0],[5,37,3],[5,38,3],[5,41,3],[5,42,3],[5,69,3],[5,71,3],[5,77,3],[5,79,3],[6,2,1],[6,6,0],[6,36,3],[6,40,3],[6,70,3],[6,78,3],[7,3,1],[7,7,0],[7,39,3],[7,43,3],[7,68,3],[7,76,3],[9,8,2],[9,9,0],[9,33,3],[9,34,3],[9,73,3],[9,75,3],[10,10,0],[10,32,3],[10,74,3],[11,11,0],[11,35,3],[11,72,3],[13,12,2],[13,13,0],[13,45,3],[13,46,3],[13,65,3],[13,67,3],[14,14,0],[14,44,3],[14,66,3],[15,15,0],[15,47,3],[15,64,3],[21,16,0],[21,17,1],[21,20,2],[21,21,0],[21,53,3],[21,55,3],[21,61,3],[21,63,3],[22,18,1],[22,22,0],[22,52,3],[22,60,3],[23,19,1],[23,23,0],[23,54,3],[23,62,3],[25,24,2],[25,25,0],[25,49,3],[25,51,3],[26,26,0],[26,48,3],[27,27,0],[27,50,3],[29,28,2],[29,29,0],[29,57,3],[29,59,3],[30,30,0],[30,56,3],[31,31,0],[31,58,3]]},"e_1":{"shape":[80,80],"entries":[[32,0,3],[32,2,3],[32,8,3],[32,10,3],[32,32,0],[32,33,2],[32,36,1],[32,37,0],[34,1,3],[34,9,3],[34,34,0],[34,38,1],[35,3,3],[35,11,3],[35,35,0],[35,39,1],[40,4,3],[40,6,3],[40,40,0],[40,41,2],[42,5,3],[42,42,0],[43,7,3],[43,43,0],[44,12,3],[44,14,3],[44,44,0],[44,45,2],[46,13,3],[46,46,0],[47,15,3],[47,47,0],[48,16,3],[48,18,3],[48,24,3],[48,26,3],[48,48,0],[48,49,2],[48,52,1],[48,53,0],[48,64,3],[48,66,3],[48,72,3],[48,74,3],[50,19,3],[50,27,3],[50,50,0],[50,54,1],[50,65,3],[50,73,3],[51,17,3],[51,25,3],[51,51,0],[51,55,1],[51,67,3],[51,75,3],[56,28,3],[56,30,3],[56,56,0],[56,57,2],[56,68,3],[56,70,3],[58,31,3],[58,58,0],[58,69,3],[59,29,3],[59,59,0],[59,71,3],[60,20,3],[60,22,3],[60,60,0],[60,61,2],[60,76,3],[60,78,3],[62,23,3],[62,62,0],[62,77,3],[63,21,3],[63,63,0],[63,79,3]]},"e_2":{"shape":[80,80],"entries":[[0,0,0],[0,16,3],[0,32,3],[1,1,0],[1,2,2],[1,17,3],[1,19,3],[1,33,3],[1,34,3],[3,3,0],[3,18,3],[3,35,3],[4,4,0],[4,8,1],[4,20,3],[4,28,3],[4,36,3],[4,40,3],[5,5,0],[5,6,2],[5,9,1],[5,10,0],[5,21,3],[5,23,3],[5,29,3],[5,31,3],[5,37,3],[5,38,3],[5,41,3],[5,42,3],[7,7,0],[7,11,1],[7,22,3],[7,30,3],[7,39,3],[7,43,3],[12,12,0],[12,24,3],[12,44,3],[13,13,0],[13,14,2],[13,25,3],[13,27,3],[13,45,3],[13,46,3],[15,15,0],[15,26,3],[15,47,3],[64,48,3],[64,64,0],[65,49,3],[65,50,3],[65,65,0],[65,66,2],[67,51,3],[67,67,0],[68,52,3],[68,56,3],[68,68,0],[68,72,1],[69,53,3],[69,54,3],[69,57,3],[69,58,3],[69,69,0],[69,70,2],[69,73,1],[69,74,0],[71,55,3],[71,59,3],[71,71,0],[71,75,1],[76,60,3],[76,76,0],[77,61,3],[77,62,3],[77,77,0],[77,78,2],[79,63,3],[79,79,0]]},"e_3":{"shape":[80,80],"entries":[[16,0,3],[16,16,0],[17,1,3],[17,17,0],[18,2,3],[18,3,3],[18,18,0],[18,19,2],[20,4,3],[20,20,0],[21,5,3],[21,21,0],[22,6,3],[22,7,3],[22,22,0],[22,23,2],[24,8,3],[24,12,3],[24,24,0],[24,28,1],[25,9,3],[25,13,3],[25,25,0],[25,29,1],[26,10,3],[26,11,3],[26,14,3],[26,15,3],[26,26,0],[26,27,2],[26,30,1],[26,31,0],[48,32,3],[48,35,3],[48,44,3],[48,47,3],[48,48,0],[48,50,2],[48,56,1],[48,58,0],[48,64,3],[48,66,3],[48,72,3],[48,74,3],[49,33,3],[49,45,3],[49,49,0],[49,57,1],[49,65,3],[49,73,3],[51,34,3],[51,46,3],[51,51,0],[51,59,1],[51,67,3],[51,75,3],[52,36,3],[52,39,3],[52,52,0],[52,54,2],[52,68,3],[52,70,3],[53,37,3],[53,53,0],[53,69,3],[55,38,3],[55,55,0],[55,71,3],[60,40,3],[60,43,3],[60,60,0],[60,62,2],[60,76,3],[60,78,3],[61,41,3],[61,61,0],[61,77,3],[63,42,3],[63,63,0],[63,79,3]]},"e_4":{"shape":[80,80],"entries":[[0,0,0],[0,16,3],[0,64,3],[1,1,0],[1,3,2],[1,17,3],[1,19,3],[1,65,3],[1,67,3],[2,2,0],[2,18,3],[2,66,3],[4,4,0],[4,12,1],[4,20,3],[4,28,3],[4,68,3],[4,76,3],[5,5,0],[5,7,2],[5,13,1],[5,15,0],[5,21,3],[5,23,3],[5,29,3],[5,31,3],[5,69,3],[5,71,3],[5,77,3],[5,79,3],[6,6,0],[6,14,1],[6,22,3],[6,30,3],[6,70,3],[6,78,3],[8,8,0],[8,24,3],[8,72,3],[9,9,0],[9,11,2],[9,25,3],[9,27,3],[9,73,3],[9,75,3],[10,10,0],[10,26,3],[10,74,3],[32,32,0],[32,48,3],[33,33,0],[33,49,3],[34,34,0],[34,35,2],[34,50,3],[34,51,3],[36,36,0],[36,52,3],[37,37,0],[37,53,3],[38,38,0],[38,39,2],[38,54,3],[38,55,3],[40,40,0],[40,44,1],[40,56,3],[40,60,3],[41,41,0],[41,45,1],[41,57,3],[41,61,3],[42,42,0],[42,43,2],[42,46,1],[42,47,0],[42,58,3],[42,59,3],[42,62,3],[42,63,3]]},"e_5":{"shape":[80,80],"entries":[[48,16,3],[48,18,3],[48,24,3],[48,26,3],[48,32,3],[48,35,3],[48,44,3],[48,47,3],[48,48,0],[48,51,2],[48,60,1],[48,63,0],[49,17,3],[49,25,3],[49,33,3],[49,45,3],[49,49,0],[49,61,1],[50,19,3],[50,27,3],[50,34,3],[50,46,3],[50,50,0],[50,62,1],[52,20,3],[52,22,3],[52,36,3],[52,39,3],[52,52,0],[52,55,2],[53,21,3],[53,37,3],[53,53,0],[54,23,3],[54,38,3],[54,54,0],[56,28,3],[56,30,3],[56,40,3],[56,43,3],[56,56,0],[56,59,2],[57,29,3],[57,41,3],[57,57,0],[58,31,3],[58,42,3],[58,58,0],[64,0,3],[64,3,3],[64,12,3],[64,15,3],[64,64,0],[64,67,2],[64,76,1],[64,79,0],[65,1,3],[65,13,3],[65,65,0],[65,77,1],[66,2,3],[66,14,3],[66,66,0],[66,78,1],[68,4,3],[68,7,3],[68,68,0],[68,71,2],[69,5,3],[69,69,0],[70,6,3],[70,70,0],[72,8,3],[72,11,3],[72,72,0],[72,75,2],[73,9,3],[73,73,0],[74,10,3],[74,74,0]]},"Omega":{"shape":[80,80],"entries":[[0,53,3],[1,52,3],[2,54,3],[3,55,3],[4,49,3],[5,48,3],[6,50,3],[7,51,3],[8,57,3],[9,56,3],[10,58,3],[11,59,3],[12,61,3],[13,60,3],[14,62,3],[15,63,3],[16,37,3],[17,36,3],[18,38,3],[19,39,3],[20,33,3],[21,32,3],[22,34,3],[23,35,3],[24,41,3],[25,40,3],[26,42,3],[27,43,3],[28,45,3],[29,44,3],[30,46,3],[31,47,3],[32,69,3],[33,70,3],[34,68,3],[35,71,3],[36,73,3],[37,74,3],[38,72,3],[39,75,3],[40,65,3],[41,66,3],[42,64,3],[43,67,3],[44,77,3],[45,78,3],[46,76,3],[47,79,3],[48,5,3],[49,6,3],[50,7,3],[51,4,3],[52,9,3],[53,10,3],[54,11,3],[55,8,3],[56,13,3],[57,14,3],[58,15,3],[59,12,3],[60,1,3],[61,2,3],[62,3,3],[63,0,3],[64,21,3],[65,22,3],[66,23,3],[67,20,3],[68,25,3],[69,26,3],[70,27,3],[71,24,3],[72,29,3],[73,30,3],[74,31,3],[75,28,3],[76,17,3],[77,18,3],[78,19,3],[79,16,3]]},"F":{"shape":[80,80],"entries":[[0,0,0],[0,1,1],[0,4,2],[0,38,3],[0,41,3],[0,71,3],[0,77,3],[1,2,1],[1,3,1],[1,4,3],[1,19,4],[1,38,5],[1,39,6],[1,41,7],[1,71,5],[1,77,7],[1,78,8],[2,19,9],[2,38,10],[2,41,11],[2,78,7],[3,19,12],[3,39,5],[3,71,10],[3,77,11],[4,1,3],[4,8,2],[4,12,2],[4,28,4],[4,38,12],[4,41,9],[4,45,6],[4,71,12],[4,75,8],[4,77,9],[5,1,2],[5,2,3],[5,3,3],[5,4,1],[5,5,0],[5,6,1],[5,7,1],[5,8,3],[5,9,2],[5,11,3],[5,12,3],[5,13,2],[5,14,3],[5,19,2],[5,23,4],[5,28,1],[5,29,4],[5,38,4],[5,39,1],[5,41,4],[5,45,2],[5,71,4],[5,75,2],[5,77,4],[5,78,1],[6,2,2],[6,9,3],[6,14,2],[6,19,6],[6,23,9],[6,29,12],[6,38,9],[6,41,12],[6,45,8],[6,78,4],[7,3,2],[7,11,2],[7,13,3],[7,19,8],[7,23,12],[7,29,9],[7,39,4],[7,71,9],[7,75,6],[7,77,12],[8,28,5],[8,38,11],[8,41,10],[8,75,12],[9,6,3],[9,8,1],[9,11,1],[9,23,7],[9,28,6],[9,29,5],[9,38,7],[9,39,8],[9,41,5],[9,75,4],[10,6,2],[10,9,1],[10,10,0],[10,23,3],[10,29,3],[10,38,3],[10,41,3],[11,23,11],[11,29,10],[11,39,7],[11,75,9],[12,28,7],[12,45,9],[12,71,11],[12,77,10],[13,7,3],[13,12,1],[13,14,1],[13,23,5],[13,28,8],[13,29,7],[13,45,4],[13,71,7],[13,77,5],[13,78,6],[14,23,10],[14,29,11],[14,45,12],[14,78,5],[15,7,2],[15,13,1],[15,15,0],[15,23,3],[15,29,3],[15,71,3],[15,77,3],[16,16,0],[16,17,1],[16,20,2],[16,55,3],[16,61,3],[17,18,1],[17,20,3],[17,39,6],[17,55,5],[17,61,7],[17,78,8],[18,19,1],[18,39,13],[18,55,10],[18,61,11],[18,78,14],[19,39,0],[19,78,0],[20,17,3],[20,24,2],[20,45,6],[20,55,12],[20,61,9],[20,75,8],[21,11,3],[21,14,3],[21,17,2],[21,18,3],[21,20,1],[21,21,0],[21,22,1],[21,24,3],[21,25,2],[21,39,1],[21,45,2],[21,55,4],[21,61,4],[21,75,2],[21,78,1],[22,11,5],[22,14,7],[22,18,2],[22,19,3],[22,23,1],[22,25,3],[22,39,15],[22,45,8],[22,55,9],[22,61,12],[22,75,6],[22,78,16],[23,11,10],[23,14,11],[23,19,2],[23,39,17],[23,78,18],[24,28,2],[24,45,17],[24,55,11],[24,61,10],[24,75,18],[25,11,12],[25,14,9],[25,22,3],[25,24,1],[25,28,3],[25,29,2],[25,39,8],[25,45,15],[25,55,7],[25,61,5],[25,75,16],[25,78,6],[26,11,4],[26,14,4],[26,22,2],[26,23,3],[26,25,1],[26,26,0],[26,27,1],[26,29,3],[26,30,2],[26,39,2],[26,45,1],[26,55,3],[26,61,3],[26,75,1],[26,78,2],[27,11,9],[27,14,12],[27,23,2],[27,30,3],[27,39,6],[27,78,8],[28,45,0],[28,75,0],[29,11,11],[29,14,10],[29,28,1],[29,45,13],[29,75,14],[30,11,7],[30,14,5],[30,27,3],[30,29,1],[30,45,6],[30,75,8],[31,11,3],[31,14,3],[31,27,2],[31,30,1],[31,31,0],[32,2,4],[32,8,4],[32,19,1],[32,28,2],[32,32,0],[32,33,1],[32,34,1],[32,36,2],[32,38,3],[32,40,2],[32,41,3],[32,59,3],[32,62,3],[32,75,1],[32,78,2],[33,2,9],[33,8,12],[33,28,8],[33,36,3],[33,41,2],[33,78,6],[34,2,12],[34,8,9],[34,19,16],[34,28,6],[34,35,1],[34,38,2],[34,39,3],[34,40,3],[34,59,5],[34,62,7],[34,75,15],[34,78,8],[35,19,18],[35,39,2],[35,59,10],[35,62,11],[35,75,17],[36,2,7],[36,8,5],[36,19,8],[36,33,3],[36,38,1],[36,75,6],[37,2,3],[37,8,3],[37,33,2],[37,36,1],[37,37,0],[38,2,11],[38,8,10],[38,19,14],[38,39,1],[38,75,13],[39,19,0],[39,75,0],[40,2,5],[40,8,7],[40,19,6],[40,28,16],[40,34,3],[40,41,1],[40,44,2],[40,45,3],[40,59,12],[40,62,9],[40,75,8],[40,78,15],[41,2,10],[41,8,11],[41,28,18],[41,45,2],[41,78,17],[42,2,3],[42,8,3],[42,19,2],[42,28,1],[42,34,2],[42,35,3],[42,40,1],[42,42,0],[42,43,1],[42,44,3],[42,46,2],[42,59,4],[42,62,4],[42,75,2],[42,78,1],[43,19,8],[43,35,2],[43,46,3],[43,59,9],[43,62,12],[43,75,6],[44,28,14],[44,45,1],[44,59,11],[44,62,10],[44,78,13],[45,28,0],[45,78,0],[46,28,8],[46,43,3],[46,44,1],[46,59,7],[46,62,5],[46,78,6],[47,43,2],[47,46,1],[47,47,0],[47,59,3],[47,62,3],[48,18,4],[48,19,1],[48,24,4],[48,28,2],[48,35,4],[48,39,2],[48,44,4],[48,45,1],[48,48,0],[48,49,1],[48,50,1],[48,51,1],[48,52,2],[48,54,3],[48,55,3],[48,56,2],[48,57,3],[48,59,3],[48,60,2],[48,61,3],[48,62,3],[48,66,4],[48,72,4],[48,75,1],[48,78,2],[49,18,9],[49,24,12],[49,28,8],[49,45,4],[49,52,3],[49,57,2],[49,61,2],[49,66,9],[49,72,12],[49,78,6],[50,19,4],[50,35,9],[50,39,6],[50,44,12],[50,54,2],[50,56,3],[50,62,2],[50,66,12],[50,72,9],[50,78,8],[51,18,12],[51,24,9],[51,28,6],[51,35,12],[51,39,8],[51,44,9],[51,55,2],[51,59,2],[51,60,3],[51,75,4],[52,18,7],[52,19,8],[52,24,5],[52,39,4],[52,49,3],[52,54,1],[52,55,1],[52,66,7],[52,72,5],[52,75,6],[53,18,3],[53,24,3],[53,49,2],[53,52,1],[53,53,0],[53,66,3],[53,72,3],[54,19,7],[54,39,9],[54,66,11],[54,72,10],[55,18,11],[55,24,10],[55,39,12],[55,75,5],[56,28,4],[56,35,7],[56,44,5],[56,45,6],[56,50,3],[56,57,1],[56,59,1],[56,66,5],[56,72,7],[56,75,8],[57,28,12],[57,45,5],[57,66,10],[57,72,11],[58,35,3],[58,44,3],[58,50,2],[58,56,1],[58,58,0],[58,66,3],[58,72,3],[59,28,9],[59,35,11],[59,44,10],[59,75,7],[60,18,5],[60,19,6],[60,24,7],[60,35,5],[60,44,7],[60,45,8],[60,51,3],[60,61,1],[60,62,1],[60,78,4],[61,18,10],[61,24,11],[61,45,7],[61,78,9],[62,19,5],[62,35,10],[62,44,11],[62,78,12],[63,18,3],[63,24,3],[63,35,3],[63,44,3],[63,51,2],[63,60,1],[63,63,0],[64,3,4],[64,12,4],[64,19,1],[64,28,2],[64,39,2],[64,45,1],[64,54,3],[64,57,3],[64,64,0],[64,65,1],[64,67,1],[64,68,2],[64,71,3],[64,76,2],[64,77,3],[65,3,9],[65,12,12],[65,19,15],[65,28,8],[65,39,6],[65,45,16],[65,54,5],[65,57,7],[65,66,1],[65,68,3],[65,77,2],[65,78,3],[66,19,17],[66,45,18],[66,54,10],[66,57,11],[66,78,2],[67,3,12],[67,12,9],[67,28,6],[67,39,8],[67,71,2],[67,76,3],[68,3,7],[68,12,5],[68,19,8],[68,28,15],[68,39,16],[68,45,6],[68,54,12],[68,57,9],[68,65,3],[68,71,1],[68,72,2],[68,75,3],[69,3,3],[69,12,3],[69,19,2],[69,28,1],[69,39,1],[69,45,2],[69,54,4],[69,57,4],[69,65,2],[69,66,3],[69,68,1],[69,69,0],[69,70,1],[69,72,3],[69,73,2],[70,19,6],[70,45,8],[70,54,9],[70,57,12],[70,66,2],[70,73,3],[71,3,11],[71,12,10],[71,28,17],[71,39,18],[71,75,2],[72,28,13],[72,39,14],[72,54,11],[72,57,10],[72,75,1],[73,28,6],[73,39,8],[73,54,7],[73,57,5],[73,70,3],[73,72,1],[74,54,3],[74,57,3],[74,70,2],[74,73,1],[74,74,0],[75,28,0],[75,39,0],[76,3,5],[76,12,7],[76,19,6],[76,45,8],[76,67,3],[76,77,1],[77,3,10],[77,12,11],[77,19,13],[77,45,14],[77,78,1],[78,19,0],[78,45,0],[79,3,3],[79,12,3],[79,67,2],[79,76,1],[79,79,0]]},"Fbar":{"shape":[80,80],"entries":[[0,0,0],[0,1,1],[0,4,2],[0,38,3],[0,41,3],[0,71,3],[0,77,3],[1,2,1],[1,3,1],[1,4,3],[1,19,4],[1,38,7],[1,39,8],[1,41,5],[1,71,7],[1,77,5],[1,78,6],[2,19,12],[2,38,11],[2,41,10],[2,78,5],[3,19,9],[3,39,7],[3,71,11],[3,77,10],[4,1,3],[4,8,2],[4,12,2],[4,28,4],[4,38,9],[4,41,12],[4,45,8],[4,71,9],[4,75,6],[4,77,12],[5,1,2],[5,2,3],[5,3,3],[5,4,1],[5,5,0],[5,6,1],[5,7,1],[5,8,3],[5,9,2],[5,11,3],[5,12,3],[5,13,2],[5,14,3],[5,19,2],[5,23,4],[5,28,1],[5,29,4],[5,38,4],[5,39,1],[5,41,4],[5,45,2],[5,71,4],[5,75,2],[5,77,4],[5,78,1],[6,2,2],[6,9,3],[6,14,2],[6,19,8],[6,23,12],[6,29,9],[6,38,12],[6,41,9],[6,45,6],[6,78,4],[7,3,2],[7,11,2],[7,13,3],[7,19,6],[7,23,9],[7,29,12],[7,39,4],[7,71,12],[7,75,8],[7,77,9],[8,28,7],[8,38,10],[8,41,11],[8,75,9],[9,6,3],[9,8,1],[9,11,1],[9,23,5],[9,28,8],[9,29,7],[9,38,5],[9,39,6],[9,41,7],[9,75,4],[10,6,2],[10,9,1],[10,10,0],[10,23,3],[10,29,3],[10,38,3],[10,41,3],[11,23,10],[11,29,11],[11,39,5],[11,75,12],[12,28,5],[12,45,12],[12,71,10],[12,77,11],[13,7,3],[13,12,1],[13,14,1],[13,23,7],[13,28,6],[13,29,5],[13,45,4],[13,71,5],[13,77,7],[13,78,8],[14,23,11],[14,29,10],[14,45,9],[14,78,7],[15,7,2],[15,13,1],[15,15,0],[15,23,3],[15,29,3],[15,71,3],[15,77,3],[16,16,0],[16,17,1],[16,20,2],[16,55,3],[16,61,3],[17,18,1],[17,20,3],[17,39,8],[17,55,7],[17,61,5],[17,78,6],[18,19,1],[18,39,14],[18,55,11],[18,61,10],[18,78,13],[19,39,0],[19,78,0],[20,17,3],[20,24,2],[20,45,8],[20,55,9],[20,61,12],[20,75,6],[21,11,3],[21,14,3],[21,17,2],[21,18,3],[21,20,1],[21,21,0],[21,22,1],[21,24,3],[21,25,2],[21,39,1],[21,45,2],[21,55,4],[21,61,4],[21,75,2],[21,78,1],[22,11,7],[22,14,5],[22,18,2],[22,19,3],[22,23,1],[22,25,3],[22,39,16],[22,45,6],[22,55,12],[22,61,9],[22,75,8],[22,78,15],[23,11,11],[23,14,10],[23,19,2],[23,39,18],[23,78,17],[24,28,2],[24,45,18],[24,55,10],[24,61,11],[24,75,17],[25,11,9],[25,14,12],[25,22,3],[25,24,1],[25,28,3],[25,29,2],[25,39,6],[25,45,16],[25,55,5],[25,61,7],[25,75,15],[25,78,8],[26,11,4],[26,14,4],[26,22,2],[26,23,3],[26,25,1],[26,26,0],[26,27,1],[26,29,3],[26,30,2],[26,39,2],[26,45,1],[26,55,3],[26,61,3],[26,75,1],[26,78,2],[27,11,12],[27,14,9],[27,23,2],[27,30,3],[27,39,8],[27,78,6],[28,45,0],[28,75,0],[29,11,10],[29,14,11],[29,28,1],[29,45,14],[29,75,13],[30,11,5],[30,14,7],[30,27,3],[30,29,1],[30,45,8],[30,75,6],[31,11,3],[31,14,3],[31,27,2],[31,30,1],[31,31,0],[32,2,4],[32,8,4],[32,19,1],[32,28,2],[32,32,0],[32,33,1],[32,34,1],[32,36,2],[32,38,3],[32,40,2],[32,41,3],[32,59,3],[32,62,3],[32,75,1],[32,78,2],[33,2,12],[33,8,9],[33,28,6],[33,36,3],[33,41,2],[33,78,8],[34,2,9],[34,8,12],[34,19,15],[34,28,8],[34,35,1],[34,38,2],[34,39,3],[34,40,3],[34,59,7],[34,62,5],[34,75,16],[34,78,6],[35,19,17],[35,39,2],[35,59,11],[35,62,10],[35,75,18],[36,2,5],[36,8,7],[36,19,6],[36,33,3],[36,38,1],[36,75,8],[37,2,3],[37,8,3],[37,33,2],[37,36,1],[37,37,0],[38,2,10],[38,8,11],[38,19,13],[38,39,1],[38,75,14],[39,19,0],[39,75,0],[40,2,7],[40,8,5],[40,19,8],[40,28,15],[40,34,3],[40,41,1],[40,44,2],[40,45,3],[40,59,9],[40,62,12],[40,75,6],[40,78,16],[41,2,11],[41,8,10],[41,28,17],[41,45,2],[41,78,18],[42,2,3],[42,8,3],[42,19,2],[42,28,1],[42,34,2],[42,35,3],[42,40,1],[42,42,0],[42,43,1],[42,44,3],[42,46,2],[42,59,4],[42,62,4],[42,75,2],[42,78,1],[43,19,6],[43,35,2],[43,46,3],[43,59,12],[43,62,9],[43,75,8],[44,28,13],[44,45,1],[44,59,10],[44,62,11],[44,78,14],[45,28,0],[45,78,0],[46,28,6],[46,43,3],[46,44,1],[46,59,5],[46,62,7],[46,78,8],[47,43,2],[47,46,1],[47,47,0],[47,59,3],[47,62,3],[48,18,4],[48,19,1],[48,24,4],[48,28,2],[48,35,4],[48,39,2],[48,44,4],[48,45,1],[48,48,0],[48,49,1],[48,50,1],[48,51,1],[48,52,2],[48,54,3],[48,55,3],[48,56,2],[48,57,3],[48,59,3],[48,60,2],[48,61,3],[48,62,3],[48,66,4],[48,72,4],[48,75,1],[48,78,2],[49,18,12],[49,24,9],[49,28,6],[49,45,4],[49,52,3],[49,57,2],[49,61,2],[49,66,12],[49,72,9],[49,78,8],[50,19,4],[50,35,12],[50,39,8],[50,44,9],[50,54,2],[50,56,3],[50,62,2],[50,66,9],[50,72,12],[50,78,6],[51,18,9],[51,24,12],[51,28,8],[51,35,9],[51,39,6],[51,44,12],[51,55,2],[51,59,2],[51,60,3],[51,75,4],[52,18,5],[52,19,6],[52,24,7],[52,39,4],[52,49,3],[52,54,1],[52,55,1],[52,66,5],[52,72,7],[52,75,8],[53,18,3],[53,24,3],[53,49,2],[53,52,1],[53,53,0],[53,66,3],[53,72,3],[54,19,5],[54,39,12],[54,66,10],[54,72,11],[55,18,10],[55,24,11],[55,39,9],[55,75,7],[56,28,4],[56,35,5],[56,44,7],[56,45,8],[56,50,3],[56,57,1],[56,59,1],[56,66,7],[56,72,5],[56,75,6],[57,28,9],[57,45,7],[57,66,11],[57,72,10],[58,35,3],[58,44,3],[58,50,2],[58,56,1],[58,58,0],[58,66,3],[58,72,3],[59,28,12],[59,35,10],[59,44,11],[59,75,5],[60,18,7],[60,19,8],[60,24,5],[60,35,7],[60,44,5],[60,45,6],[60,51,3],[60,61,1],[60,62,1],[60,78,4],[61,18,11],[61,24,10],[61,45,5],[61,78,12],[62,19,7],[62,35,11],[62,44,10],[62,78,9],[63,18,3],[63,24,3],[63,35,3],[63,44,3],[63,51,2],[63,60,1],[63,63,0],[64,3,4],[64,12,4],[64,19,1],[64,28,2],[64,39,2],[64,45,1],[64,54,3],[64,57,3],[64,64,0],[64,65,1],[64,67,1],[64,68,2],[64,71,3],[64,76,2],[64,77,3],[65,3,12],[65,12,9],[65,19,16],[65,28,6],[65,39,8],[65,45,15],[65,54,7],[65,57,5],[65,66,1],[65,68,3],[65,77,2],[65,78,3],[66,19,18],[66,45,17],[66,54,11],[66,57,10],[66,78,2],[67,3,9],[67,12,12],[67,28,8],[67,39,6],[67,71,2],[67,76,3],[68,3,5],[68,12,7],[68,19,6],[68,28,16],[68,39,15],[68,45,8],[68,54,9],[68,57,12],[68,65,3],[68,71,1],[68,72,2],[68,75,3],[69,3,3],[69,12,3],[69,19,2],[69,28,1],[69,39,1],[69,45,2],[69,54,4],[69,57,4],[69,65,2],[69,66,3],[69,68,1],[69,69,0],[69,70,1],[69,72,3],[69,73,2],[70,19,8],[70,45,6],[70,54,12],[70,57,9],[70,66,2],[70,73,3],[71,3,10],[71,12,11],[71,28,18],[71,39,17],[71,75,2],[72,28,14],[72,39,13],[72,54,10],[72,57,11],[72,75,1],[73,28,8],[73,39,6],[73,54,5],[73,57,7],[73,70,3],[73,72,1],[74,54,3],[74,57,3],[74,70,2],[74,73,1],[74,74,0],[75,28,0],[75,39,0],[76,3,7],[76,12,5],[76,19,8],[76,45,6],[76,67,3],[76,77,1],[77,3,11],[77,12,10],[77,19,14],[77,45,13],[77,78,1],[78,19,0],[78,45,0],[79,3,3],[79,12,3],[79,67,2],[79,76,1],[79,79,0]]}},"target_matrices":{"e_0":{"shape":[43,43],"entries":[[2,0,0],[2,1,19],[2,2,0],[2,17,3],[2,19,20],[2,20,3],[2,28,22],[2,31,23],[2,35,3],[2,40,20],[2,41,21],[2,42,3],[3,3,0],[3,16,0],[3,18,0],[3,19,25],[3,28,26],[3,31,27],[3,37,3],[3,41,24],[4,4,0],[4,15,3],[4,38,3],[5,5,0],[5,21,3],[5,28,29],[5,31,30],[5,34,0],[5,36,31],[5,39,0],[5,40,25],[5,41,28],[6,6,0],[6,22,3],[6,33,3],[9,7,0],[9,8,19],[9,9,0],[9,25,3],[9,28,22],[9,30,20],[9,31,23],[9,32,3],[9,41,21],[10,10,0],[10,24,0],[10,28,33],[10,29,0],[10,30,25],[10,31,34],[10,36,31],[10,41,32],[11,11,0],[11,23,3],[12,12,0],[12,28,36],[12,31,37],[12,36,3],[12,41,35],[13,13,0],[13,26,3],[14,14,0],[14,27,3]]},"e_1":{"shape":[43,43],"entries":[[15,0,3],[15,4,3],[15,15,0],[15,16,39],[15,17,0],[15,19,40],[15,28,41],[15,31,42],[15,41,38],[18,1,3],[18,3,0],[18,12,31],[18,18,0],[18,19,44],[18,28,45],[18,31,31],[18,41,43],[20,2,3],[20,20,0],[21,5,3],[21,21,0],[22,6,3],[22,22,0],[23,7,3],[23,11,3],[23,23,0],[23,24,39],[23,25,0],[23,28,47],[23,30,40],[23,31,48],[23,33,3],[23,36,40],[23,38,3],[23,41,46],[26,13,3],[26,26,0],[26,28,29],[26,31,30],[26,34,3],[26,36,44],[26,37,0],[26,41,49],[27,14,3],[27,27,0],[27,35,3],[28,12,3],[28,28,0],[28,40,3],[28,41,50],[29,8,3],[29,10,0],[29,12,31],[29,28,52],[29,29,0],[29,30,44],[29,31,53],[29,39,3],[29,41,51],[31,12,3],[31,28,0],[31,40,3],[31,41,50],[32,9,3],[32,32,0],[32,42,3]]},"e_2":{"shape":[43,43],"entries":[[0,0,0],[0,7,3],[0,15,3],[1,1,0],[1,8,3],[1,16,3],[1,18,3],[1,19,1],[1,28,55],[1,31,56],[1,41,54],[2,2,0],[2,3,39],[2,4,0],[2,9,3],[2,12,40],[2,14,3],[2,17,3],[2,19,40],[2,20,3],[2,28,58],[2,31,40],[2,41,57],[5,5,0],[5,10,3],[5,12,44],[5,13,0],[5,21,3],[5,28,60],[5,31,59],[5,41,28],[6,6,0],[6,11,3],[6,22,3],[33,23,3],[33,33,0],[34,24,3],[34,26,3],[34,34,0],[34,36,1],[35,25,3],[35,27,3],[35,35,0],[35,36,40],[35,37,39],[35,38,0],[35,41,58],[39,29,3],[39,39,0],[40,30,3],[40,31,3],[40,40,0],[40,41,2],[42,32,3],[42,42,0]]},"e_3":{"shape":[43,43],"entries":[[7,0,3],[7,7,0],[8,1,3],[8,8,0],[9,2,3],[9,9,0],[10,3,3],[10,5,3],[10,10,0],[10,12,1],[11,4,3],[11,6,3],[11,11,0],[11,12,40],[11,13,39],[11,14,0],[11,28,47],[11,31,48],[11,41,40],[23,15,3],[23,22,3],[23,23,0],[23,26,39],[23,27,0],[23,28,48],[23,31,42],[23,33,3],[23,36,40],[23,38,3],[23,41,61],[24,16,3],[24,24,0],[24,28,30],[24,31,29],[24,34,3],[24,36,44],[24,37,0],[24,41,62],[25,17,3],[25,25,0],[25,35,3],[29,18,3],[29,21,0],[29,28,63],[29,29,0],[29,31,64],[29,39,3],[29,41,3],[30,19,3],[30,30,0],[30,40,3],[32,20,3],[32,32,0],[32,42,3]]},"e_4":{"shape":[43,43],"entries":[[0,0,0],[0,7,3],[0,33,3],[1,1,0],[1,8,3],[1,28,66],[1,31,67],[1,34,3],[1,39,3],[1,40,1],[1,41,65],[2,2,0],[2,5,39],[2,6,0],[2,9,3],[2,12,40],[2,14,3],[2,28,69],[2,31,70],[2,35,3],[2,40,40],[2,41,68],[2,42,3],[3,3,0],[3,10,3],[3,12,44],[3,13,0],[3,28,72],[3,31,73],[3,37,3],[3,41,71],[4,4,0],[4,11,3],[4,38,3],[15,15,0],[15,23,3],[16,16,0],[16,24,3],[17,17,0],[17,25,3],[18,18,0],[18,26,3],[18,28,75],[18,29,3],[18,31,37],[18,41,74],[19,19,0],[19,28,37],[19,30,3],[19,31,77],[19,36,3],[19,41,76],[20,20,0],[20,21,39],[20,22,0],[20,27,3],[20,28,70],[20,31,70],[20,32,3]]},"e_5":{"shape":[43,43],"entries":[[23,7,3],[23,11,3],[23,15,3],[23,22,3],[23,23,0],[23,29,39],[23,30,40],[23,31,40],[23,32,0],[23,41,78],[24,8,3],[24,10,0],[24,12,31],[24,16,3],[24,24,0],[24,28,80],[24,30,44],[24,31,81],[24,41,79],[25,9,3],[25,17,3],[25,25,0],[26,13,3],[26,18,3],[26,21,0],[26,26,0],[26,28,82],[26,31,83],[26,41,3],[27,14,3],[27,20,3],[27,27,0],[33,0,3],[33,6,3],[33,33,0],[33,39,39],[33,40,40],[33,41,40],[33,42,0],[34,1,3],[34,5,0],[34,12,31],[34,28,50],[34,31,63],[34,34,0],[34,40,44],[34,41,31],[35,2,3],[35,35,0],[36,12,3],[36,19,3],[36,28,0],[36,31,3],[36,36,0],[36,41,84],[37,3,3],[37,37,0],[38,4,3],[38,38,0]]},"Omega":{"shape":[43,43],"entries":[[0,25,3],[1,24,0],[1,28,1],[1,30,31],[1,31,44],[1,36,31],[1,41,85],[2,23,3],[3,26,3],[4,27,3],[5,29,3],[6,32,3],[7,17,3],[8,16,0],[8,19,31],[8,28,2],[8,31,87],[8,41,86],[9,15,3],[10,18,3],[11,20,3],[12,28,88],[12,31,89],[12,41,44],[13,21,3],[14,22,3],[15,35,3],[16,37,3],[17,38,3],[18,34,0],[18,36,31],[18,40,31],[19,36,3],[19,41,63],[20,33,3],[21,39,3],[22,42,3],[23,2,3],[24,3,3],[25,4,3],[26,5,3],[27,6,3],[28,28,3],[28,31,0],[28,40,3],[28,41,90],[29,1,0],[29,19,31],[29,28,50],[29,31,63],[29,40,31],[29,41,43],[30,19,3],[30,28,91],[30,31,92],[30,41,2],[31,28,0],[31,31,3],[31,40,3],[31,41,84],[32,0,3],[33,9,3],[34,10,3],[35,11,3],[36,12,3],[37,13,3],[38,14,3],[39,8,0],[39,28,50],[39,30,31],[39,31,63],[39,41,43],[40,28,93],[40,30,3],[40,31,88],[40,41,84],[41,28,94],[41,31,95],[41,41,0],[42,7,3]]},"F":{"shape":[43,43],"entries":[[0,0,0],[0,1,19],[0,19,20],[0,28,22],[0,31,23],[0,40,20],[0,41,21],[1,1,0],[1,28,96],[1,31,98],[1,41,97],[2,1,39],[2,2,0],[2,3,19],[2,5,19],[2,12,101],[2,19,99],[2,28,102],[2,31,103],[2,40,99],[2,41,100],[3,3,0],[3,28,105],[3,31,106],[3,41,104],[4,3,39],[4,4,0],[4,12,40],[4,19,40],[4,28,58],[4,31,40],[4,41,57],[5,5,0],[5,28,108],[5,31,109],[5,41,107],[6,5,39],[6,6,0],[6,12,40],[6,28,69],[6,31,70],[6,40,40],[6,41,68],[7,7,0],[7,8,19],[7,28,22],[7,30,20],[7,31,23],[7,41,21],[8,8,0],[8,28,96],[8,31,98],[8,41,97],[9,8,39],[9,9,0],[9,10,19],[9,12,20],[9,28,102],[9,30,99],[9,31,103],[9,41,100],[10,10,0],[10,28,111],[10,31,112],[10,41,110],[11,10,39],[11,11,0],[11,12,99],[11,13,19],[11,28,114],[11,30,40],[11,31,115],[11,41,113],[12,12,0],[12,28,117],[12,31,118],[12,41,116],[13,13,0],[13,28,120],[13,31,121],[13,41,119],[14,12,40],[14,13,39],[14,14,0],[14,28,47],[14,31,48],[14,41,40],[15,15,0],[15,16,19],[15,18,19],[15,19,101],[15,28,123],[15,31,124],[15,41,122],[16,16,0],[16,28,109],[16,31,108],[16,41,125],[17,16,39],[17,17,0],[17,19,40],[17,28,41],[17,31,42],[17,41,38],[18,18,0],[18,28,126],[18,31,127],[18,41,74],[19,19,0],[19,28,128],[19,31,129],[19,41,19],[20,18,39],[20,19,40],[20,20,0],[20,21,19],[20,28,130],[20,31,131],[20,41,21],[21,21,0],[21,28,108],[21,31,109],[21,41,107],[22,21,39],[22,22,0],[22,28,70],[22,31,70],[23,23,0],[23,24,19],[23,26,19],[23,29,19],[23,30,101],[23,31,101],[23,36,101],[23,41,132],[24,24,0],[24,28,109],[24,31,108],[24,41,125],[25,24,39],[25,25,0],[25,28,47],[25,30,40],[25,31,48],[25,36,40],[25,41,46],[26,26,0],[26,28,120],[26,31,121],[26,41,119],[27,26,39],[27,27,0],[27,28,48],[27,31,42],[27,36,40],[27,41,61],[28,28,133],[28,31,128],[28,41,39],[29,28,106],[29,29,0],[29,31,105],[29,41,134],[30,28,118],[30,30,0],[30,31,117],[30,41,135],[31,28,129],[31,31,136],[31,41,39],[32,29,39],[32,30,40],[32,31,40],[32,32,0],[32,41,78],[33,33,0],[33,34,19],[33,36,20],[33,39,19],[33,40,101],[33,41,137],[34,28,139],[34,31,140],[34,34,0],[34,41,138],[35,34,39],[35,35,0],[35,36,99],[35,37,19],[35,40,40],[35,41,141],[36,28,143],[36,31,144],[36,36,0],[36,41,142],[37,28,105],[37,31,106],[37,37,0],[37,41,104],[38,36,40],[38,37,39],[38,38,0],[38,41,58],[39,28,106],[39,31,105],[39,39,0],[39,41,134],[40,28,144],[40,31,143],[40,40,0],[40,41,145],[41,41,0],[42,39,39],[42,40,40],[42,41,40],[42,42,0]]},"Fbar":{"shape":[43,43],"entries":[[0,0,0],[0,1,19],[0,19,20],[0,28,22],[0,31,23],[0,40,20],[0,41,21],[1,1,0],[1,28,146],[1,31,148],[1,41,147],[2,1,39],[2,2,0],[2,3,19],[2,5,19],[2,12,101],[2,19,99],[2,28,102],[2,31,103],[2,40,99],[2,41,100],[3,3,0],[3,28,106],[3,31,105],[3,41,149],[4,3,39],[4,4,0],[4,12,40],[4,19,40],[4,28,58],[4,31,40],[4,41,57],[5,5,0],[5,28,120],[5,31,121],[5,41,107],[6,5,39],[6,6,0],[6,12,40],[6,28,69],[6,31,70],[6,40,40],[6,41,68],[7,7,0],[7,8,19],[7,28,22],[7,30,20],[7,31,23],[7,41,21],[8,8,0],[8,28,146],[8,31,148],[8,41,147],[9,8,39],[9,9,0],[9,10,19],[9,12,20],[9,28,102],[9,30,99],[9,31,103],[9,41,100],[10,10,0],[10,28,126],[10,31,127],[10,41,150],[11,10,39],[11,11,0],[11,12,99],[11,13,19],[11,28,114],[11,30,40],[11,31,115],[11,41,113],[12,12,0],[12,28,129],[12,31,128],[12,41,145],[13,13,0],[13,28,108],[13,31,109],[13,41,134],[14,12,40],[14,13,39],[14,14,0],[14,28,47],[14,31,48],[14,41,40],[15,15,0],[15,16,19],[15,18,19],[15,19,101],[15,28,123],[15,31,124],[15,41,122],[16,16,0],[16,28,121],[16,31,120],[16,41,125],[17,16,39],[17,17,0],[17,19,40],[17,28,41],[17,31,42],[17,41,38],[18,18,0],[18,28,111],[18,31,112],[18,41,74],[19,19,0],[19,28,118],[19,31,117],[19,41,19],[20,18,39],[20,19,40],[20,20,0],[20,21,19],[20,28,130],[20,31,131],[20,41,21],[21,21,0],[21,28,120],[21,31,121],[21,41,107],[22,21,39],[22,22,0],[22,28,70],[22,31,70],[23,23,0],[23,24,19],[23,26,19],[23,29,19],[23,30,101],[23,31,101],[23,36,101],[23,41,132],[24,24,0],[24,28,121],[24,31,120],[24,41,125],[25,24,39],[25,25,0],[25,28,47],[25,30,40],[25,31,48],[25,36,40],[25,41,46],[26,26,0],[26,28,108],[26,31,109],[26,41,134],[27,26,39],[27,27,0],[27,28,48],[27,31,42],[27,36,40],[27,41,61],[28,28,151],[28,31,118],[28,41,39],[29,28,105],[29,29,0],[29,31,106],[29,41,119],[30,28,128],[30,30,0],[30,31,129],[30,41,142],[31,28,117],[31,31,152],[31,41,39],[32,29,39],[32,30,40],[32,31,40],[32,32,0],[32,41,78],[33,33,0],[33,34,19],[33,36,20],[33,39,19],[33,40,101],[33,41,137],[34,28,140],[34,31,139],[34,34,0],[34,41,153],[35,34,39],[35,35,0],[35,36,99],[35,37,19],[35,40,40],[35,41,141],[36,28,144],[36,31,143],[36,36,0],[36,41,135],[37,28,106],[37,31,105],[37,37,0],[37,41,149],[38,36,40],[38,37,39],[38,38,0],[38,41,58],[39,28,105],[39,31,106],[39,39,0],[39,41,119],[40,28,143],[40,31,144],[40,40,0],[40,41,116],[41,41,0],[42,39,39],[42,40,40],[42,41,40],[42,42,0]]},"N":{"shape":[43,43],"entries":[[0,1,19],[0,19,20],[0,28,22],[0,31,23],[0,40,20],[0,41,21],[1,28,96],[1,31,98],[1,41,97],[2,1,39],[2,3,19],[2,5,19],[2,12,101],[2,19,99],[2,28,102],[2,31,103],[2,40,99],[2,41,100],[3,28,105],[3,31,106],[3,41,104],[4,3,39],[4,12,40],[4,19,40],[4,28,58],[4,31,40],[4,41,57],[5,28,108],[5,31,109],[5,41,107],[6,5,39],[6,12,40],[6,28,69],[6,31,70],[6,40,40],[6,41,68],[7,8,19],[7,28,22],[7,30,20],[7,31,23],[7,41,21],[8,28,96],[8,31,98],[8,41,97],[9,8,39],[9,10,19],[9,12,20],[9,28,102],[9,30,99],[9,31,103],[9,41,100],[10,28,111],[10,31,112],[10,41,110],[11,10,39],[11,12,99],[11,13,19],[11,28,114],[11,30,40],[11,31,115],[11,41,113],[12,28,117],[12,31,118],[12,41,116],[13,28,120],[13,31,121],[13,41,119],[14,12,40],[14,13,39],[14,28,47],[14,31,48],[14,41,40],[15,16,19],[15,18,19],[15,19,101],[15,28,123],[15,31,124],[15,41,122],[16,28,109],[16,31,108],[16,41,125],[17,16,39],[17,19,40],[17,28,41],[17,31,42],[17,41,38],[18,28,126],[18,31,127],[18,41,74],[19,28,128],[19,31,129],[19,41,19],[20,18,39],[20,19,40],[20,21,19],[20,28,130],[20,31,131],[20,41,21],[21,28,108],[21,31,109],[21,41,107],[22,21,39],[22,28,70],[22,31,70],[23,24,19],[23,26,19],[23,29,19],[23,30,101],[23,31,101],[23,36,101],[23,41,132],[24,28,109],[24,31,108],[24,41,125],[25,24,39],[25,28,47],[25,30,40],[25,31,48],[25,36,40],[25,41,46],[26,28,120],[26,31,121],[26,41,119],[27,26,39],[27,28,48],[27,31,42],[27,36,40],[27,41,61],[28,28,129],[28,31,128],[28,41,39],[29,28,106],[29,31,105],[29,41,134],[30,28,118],[30,31,117],[30,41,135],[31,28,129],[31,31,128],[31,41,39],[32,29,39],[32,30,40],[32,31,40],[32,41,78],[33,34,19],[33,36,20],[33,39,19],[33,40,101],[33,41,137],[34,28,139],[34,31,140],[34,41,138],[35,34,39],[35,36,99],[35,37,19],[35,40,40],[35,41,141],[36,28,143],[36,31,144],[36,41,142],[37,28,105],[37,31,106],[37,41,104],[38,36,40],[38,37,39],[38,41,58],[39,28,106],[39,31,105],[39,41,134],[40,28,144],[40,31,143],[40,41,145],[42,39,39],[42,40,40],[42,41,40]]},"M":{"shape":[43,43],"entries":[[0,1,19],[0,19,20],[0,28,22],[0,31,23],[0,40,20],[0,41,21],[1,28,146],[1,31,148],[1,41,147],[2,1,39],[2,3,19],[2,5,19],[2,12,101],[2,19,99],[2,28,102],[2,31,103],[2,40,99],[2,41,100],[3,28,106],[3,31,105],[3,41,149],[4,3,39],[4,12,40],[4,19,40],[4,28,58],[4,31,40],[4,41,57],[5,28,120],[5,31,121],[5,41,107],[6,5,39],[6,12,40],[6,28,69],[6,31,70],[6,40,40],[6,41,68],[7,8,19],[7,28,22],[7,30,20],[7,31,23],[7,41,21],[8,28,146],[8,31,148],[8,41,147],[9,8,39],[9,10,19],[9,12,20],[9,28,102],[9,30,99],[9,31,103],[9,41,100],[10,28,126],[10,31,127],[10,41,150],[11,10,39],[11,12,99],[11,13,19],[11,28,114],[11,30,40],[11,31,115],[11,41,113],[12,28,129],[12,31,128],[12,41,145],[13,28,108],[13,31,109],[13,41,134],[14,12,40],[14,13,39],[14,28,47],[14,31,48],[14,41,40],[15,16,19],[15,18,19],[15,19,101],[15,28,123],[15,31,124],[15,41,122],[16,28,121],[16,31,120],[16,41,125],[17,16,39],[17,19,40],[17,28,41],[17,31,42],[17,41,38],[18,28,111],[18,31,112],[18,41,74],[19,28,118],[19,31,117],[19,41,19],[20,18,39],[20,19,40],[20,21,19],[20,28,130],[20,31,131],[20,41,21],[21,28,120],[21,31,121],[21,41,107],[22,21,39],[22,28,70],[22,31,70],[23,24,19],[23,26,19],[23,29,19],[23,30,101],[23,31,101],[23,36,101],[23,41,132],[24,28,121],[24,31,120],[24,41,125],[25,24,39],[25,28,47],[25,30,40],[25,31,48],[25,36,40],[25,41,46],[26,28,108],[26,31,109],[26,41,134],[27,26,39],[27,28,48],[27,31,42],[27,36,40],[27,41,61],[28,28,117],[28,31,118],[28,41,39],[29,28,105],[29,31,106],[29,41,119],[30,28,128],[30,31,129],[30,41,142],[31,28,117],[31,31,118],[31,41,39],[32,29,39],[32,30,40],[32,31,40],[32,41,78],[33,34,19],[33,36,20],[33,39,19],[33,40,101],[33,41,137],[34,28,140],[34,31,139],[34,41,153],[35,34,39],[35,36,99],[35,37,19],[35,40,40],[35,41,141],[36,28,144],[36,31,143],[36,41,135],[37,28,106],[37,31,105],[37,41,149],[38,36,40],[38,37,39],[38,41,58],[39,28,105],[39,31,106],[39,41,119],[40,28,143],[40,31,144],[40,41,116],[42,39,39],[42,40,40],[42,41,40]]},"D":{"shape":[43,43],"entries":[[1,28,155],[1,31,156],[1,41,154],[3,28,158],[3,31,159],[3,41,157],[5,28,106],[5,31,105],[8,28,155],[8,31,156],[8,41,154],[10,28,139],[10,31,140],[10,41,160],[12,28,143],[12,31,144],[12,41,161],[13,28,105],[13,31,106],[13,41,157],[16,28,105],[16,31,106],[18,28,140],[18,31,139],[19,28,143],[19,31,144],[21,28,106],[21,31,105],[24,28,105],[24,31,106],[26,28,105],[26,31,106],[26,41,157],[28,28,144],[28,31,143],[29,28,159],[29,31,158],[29,41,162],[30,28,144],[30,31,143],[30,41,163],[31,28,144],[31,31,143],[34,28,164],[34,31,165],[34,41,160],[36,28,166],[36,31,167],[36,41,161],[37,28,158],[37,31,159],[37,41,157],[39,28,159],[39,31,158],[39,41,162],[40,28,167],[40,31,166],[40,41,163]]},"kernel_basis":{"shape":[80,43],"entries":[[0,0,3],[1,1,0],[1,19,31],[1,28,50],[1,31,63],[1,40,31],[1,41,43],[2,19,3],[2,28,91],[2,31,92],[2,41,2],[3,28,0],[3,31,3],[3,40,3],[3,41,84],[4,1,3],[5,2,3],[6,3,0],[6,12,31],[6,19,31],[6,28,45],[6,31,31],[6,41,43],[7,5,0],[7,12,31],[7,28,50],[7,31,63],[7,40,31],[7,41,168],[8,19,3],[8,28,170],[8,31,89],[8,41,2],[9,3,3],[10,4,3],[11,12,3],[11,28,93],[11,31,88],[11,41,84],[12,28,3],[12,31,0],[12,40,3],[12,41,90],[13,5,3],[14,12,3],[14,28,89],[14,31,170],[14,41,90],[15,6,3],[16,7,3],[17,8,0],[17,28,50],[17,30,31],[17,31,63],[17,41,43],[18,28,93],[18,30,3],[18,31,88],[18,41,84],[19,28,94],[19,31,95],[19,41,0],[20,8,3],[21,9,3],[22,10,0],[22,12,31],[22,28,52],[22,30,31],[22,31,53],[22,41,169],[23,12,3],[23,28,0],[23,31,3],[23,41,50],[24,28,89],[24,30,3],[24,31,170],[24,41,173],[25,10,3],[26,11,3],[27,12,31],[27,13,0],[27,28,1],[27,31,44],[27,41,31],[28,28,95],[28,31,94],[28,41,3],[29,12,3],[30,13,3],[31,14,3],[32,15,3],[33,16,0],[33,19,31],[33,28,2],[33,31,87],[33,41,86],[34,18,0],[34,19,31],[34,28,64],[34,31,171],[34,41,86],[35,28,170],[35,31,92],[35,41,2],[36,16,3],[37,17,3],[38,19,3],[38,28,0],[38,31,3],[38,41,45],[39,28,94],[39,31,95],[39,41,44],[40,18,3],[41,19,3],[42,20,3],[43,21,0],[43,28,63],[43,31,63],[44,28,88],[44,31,89],[44,41,44],[45,28,95],[45,31,94],[45,41,1],[46,21,3],[47,22,3],[48,23,3],[49,24,0],[49,28,1],[49,30,31],[49,31,44],[49,36,31],[49,41,85],[50,26,0],[50,28,44],[50,31,87],[50,36,31],[50,41,172],[51,29,0],[51,30,31],[51,31,31],[51,41,177],[52,24,3],[53,25,3],[54,28,0],[54,31,3],[54,36,3],[54,41,174],[55,28,0],[55,30,3],[55,31,3],[55,41,175],[56,26,3],[57,28,3],[57,31,0],[57,36,3],[57,41,176],[58,27,3],[59,28,3],[60,29,3],[61,30,3],[62,31,3],[63,32,3],[64,33,3],[65,34,0],[65,36,31],[65,40,31],[66,36,3],[66,41,63],[67,39,0],[67,40,31],[67,41,31],[68,34,3],[69,35,3],[70,36,31],[70,37,0],[70,41,45],[71,40,3],[71,41,50],[72,36,3],[73,37,3],[74,38,3],[75,41,0],[76,39,3],[77,40,3],[78,41,3],[79,42,3]]}},"rank_certificates":[{"power":1,"rank":58,"minor_rows":[0,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,31,32,33,34,35,36,37,40,42,43,47,48,49,50,51,52,53,54,55,56,58,63,64,65,66,67,68,69,70,74],"minor_columns":[1,2,3,4,6,7,8,9,11,12,13,14,17,18,19,20,22,23,24,25,27,28,29,30,33,34,35,36,38,39,40,41,43,44,45,46,49,50,51,52,54,55,56,57,59,60,61,65,66,67,68,70,71,72,73,75,76,78],"minor_determinant_coeff_id":178,"right_kernel":{"shape":[80,22],"entries":[[0,0,3],[1,15,179],[1,20,180],[2,15,0],[3,20,3],[4,15,181],[4,20,182],[5,1,3],[6,20,181],[7,15,182],[8,15,0],[9,20,179],[10,2,3],[11,15,3],[11,20,0],[12,20,3],[13,15,180],[14,15,3],[14,20,0],[15,3,3],[16,4,3],[17,15,179],[17,20,180],[18,15,0],[18,20,3],[20,15,181],[20,20,182],[21,5,3],[22,15,183],[22,20,184],[23,15,3],[23,20,0],[24,15,0],[24,20,3],[25,15,184],[25,20,183],[26,6,3],[27,15,182],[27,20,181],[29,15,3],[29,20,0],[30,15,180],[30,20,179],[31,7,3],[32,8,3],[33,15,181],[34,15,183],[35,15,3],[36,15,179],[37,9,3],[38,15,0],[40,15,184],[41,15,0],[42,10,3],[43,15,182],[44,15,3],[46,15,180],[47,11,3],[48,12,3],[49,15,181],[50,15,182],[50,20,181],[51,20,182],[52,15,179],[53,13,3],[54,20,0],[55,15,0],[55,20,3],[56,15,180],[56,20,179],[57,20,0],[58,14,3],[59,15,3],[60,20,180],[61,15,0],[61,20,3],[62,15,3],[63,16,3],[64,17,3],[65,20,184],[66,20,0],[67,20,182],[68,20,183],[69,18,3],[70,20,181],[71,20,3],[72,20,0],[73,20,179],[74,19,3],[76,20,180],[77,20,3],[79,21,3]]},"kernel_identity_rows":[0,5,10,15,16,21,26,31,32,37,42,47,48,53,58,62,63,64,69,74,77,79]},{"power":2,"rank":39,"minor_rows":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,16,17,18,21,22,26,32,33,34,35,36,42,48,49,50,51,52,54,56,64,65,66,68,69],"minor_columns":[1,2,3,6,7,8,11,12,14,17,18,19,22,23,24,27,28,33,34,35,38,39,43,44,45,49,50,51,54,55,57,59,65,66,67,70,71,75,78],"minor_determinant_coeff_id":185,"right_kernel":{"shape":[80,41],"entries":[[0,0,3],[1,1,0],[1,19,31],[1,39,31],[2,19,3],[3,39,3],[4,1,3],[5,2,3],[6,3,0],[6,12,31],[6,19,31],[7,5,0],[7,12,31],[7,39,31],[8,19,3],[9,3,3],[10,4,3],[11,12,3],[12,39,3],[13,5,3],[14,12,3],[15,6,3],[16,7,3],[17,8,0],[17,29,31],[18,29,3],[20,8,3],[21,9,3],[22,10,0],[22,12,31],[22,29,31],[23,12,3],[24,29,3],[25,10,3],[26,11,3],[27,12,31],[27,13,0],[29,12,3],[30,13,3],[31,14,3],[32,15,3],[33,16,0],[33,19,31],[34,18,0],[34,19,31],[34,30,31],[35,30,3],[36,16,3],[37,17,3],[38,19,3],[40,18,3],[41,19,3],[42,20,3],[43,21,0],[43,30,31],[44,30,3],[46,21,3],[47,22,3],[48,23,3],[49,24,0],[49,29,31],[49,35,31],[50,26,0],[50,30,31],[50,35,31],[51,28,0],[51,29,31],[51,30,31],[52,24,3],[53,25,3],[54,35,3],[55,29,3],[56,26,3],[57,35,3],[58,27,3],[59,30,3],[60,28,3],[61,29,3],[62,30,3],[63,31,3],[64,32,3],[65,33,0],[65,35,31],[65,39,31],[66,35,3],[67,38,0],[67,39,31],[68,33,3],[69,34,3],[70,35,31],[70,36,0],[71,39,3],[72,35,3],[73,36,3],[74,37,3],[76,38,3],[77,39,3],[79,40,3]]},"kernel_identity_rows":[0,4,5,9,10,13,15,16,20,21,25,26,29,30,31,32,36,37,40,41,42,46,47,48,52,53,56,58,60,61,62,63,64,68,69,72,73,74,76,77,79]},{"power":3,"rank":37,"minor_rows":[0,1,2,3,4,5,6,7,8,9,10,11,12,16,17,18,21,22,26,32,33,34,35,36,42,48,49,50,51,52,54,56,64,65,66,68,69],"minor_columns":[1,2,3,6,7,8,11,12,14,17,18,19,22,23,24,27,28,33,34,35,38,39,43,44,45,49,50,51,54,55,57,65,66,67,70,71,75],"minor_determinant_coeff_id":186,"right_kernel":{"shape":[80,43],"entries":[[0,0,3],[1,1,0],[1,19,31],[1,28,50],[1,31,63],[1,40,31],[1,41,43],[2,19,3],[2,28,91],[2,31,92],[2,41,2],[3,28,0],[3,31,3],[3,40,3],[3,41,84],[4,1,3],[5,2,3],[6,3,0],[6,12,31],[6,19,31],[6,28,45],[6,31,31],[6,41,43],[7,5,0],[7,12,31],[7,28,50],[7,31,63],[7,40,31],[7,41,168],[8,19,3],[8,28,170],[8,31,89],[8,41,2],[9,3,3],[10,4,3],[11,12,3],[11,28,93],[11,31,88],[11,41,84],[12,28,3],[12,31,0],[12,40,3],[12,41,90],[13,5,3],[14,12,3],[14,28,89],[14,31,170],[14,41,90],[15,6,3],[16,7,3],[17,8,0],[17,28,50],[17,30,31],[17,31,63],[17,41,43],[18,28,93],[18,30,3],[18,31,88],[18,41,84],[19,28,94],[19,31,95],[19,41,0],[20,8,3],[21,9,3],[22,10,0],[22,12,31],[22,28,52],[22,30,31],[22,31,53],[22,41,169],[23,12,3],[23,28,0],[23,31,3],[23,41,50],[24,28,89],[24,30,3],[24,31,170],[24,41,173],[25,10,3],[26,11,3],[27,12,31],[27,13,0],[27,28,1],[27,31,44],[27,41,31],[28,28,95],[28,31,94],[28,41,3],[29,12,3],[30,13,3],[31,14,3],[32,15,3],[33,16,0],[33,19,31],[33,28,2],[33,31,87],[33,41,86],[34,18,0],[34,19,31],[34,28,64],[34,31,171],[34,41,86],[35,28,170],[35,31,92],[35,41,2],[36,16,3],[37,17,3],[38,19,3],[38,28,0],[38,31,3],[38,41,45],[39,28,94],[39,31,95],[39,41,44],[40,18,3],[41,19,3],[42,20,3],[43,21,0],[43,28,63],[43,31,63],[44,28,88],[44,31,89],[44,41,44],[45,28,95],[45,31,94],[45,41,1],[46,21,3],[47,22,3],[48,23,3],[49,24,0],[49,28,1],[49,30,31],[49,31,44],[49,36,31],[49,41,85],[50,26,0],[50,28,44],[50,31,87],[50,36,31],[50,41,172],[51,29,0],[51,30,31],[51,31,31],[51,41,177],[52,24,3],[53,25,3],[54,28,0],[54,31,3],[54,36,3],[54,41,174],[55,28,0],[55,30,3],[55,31,3],[55,41,175],[56,26,3],[57,28,3],[57,31,0],[57,36,3],[57,41,176],[58,27,3],[59,28,3],[60,29,3],[61,30,3],[62,31,3],[63,32,3],[64,33,3],[65,34,0],[65,36,31],[65,40,31],[66,36,3],[66,41,63],[67,39,0],[67,40,31],[67,41,31],[68,34,3],[69,35,3],[70,36,31],[70,37,0],[70,41,45],[71,40,3],[71,41,50],[72,36,3],[73,37,3],[74,38,3],[75,41,0],[76,39,3],[77,40,3],[78,41,3],[79,42,3]]},"kernel_identity_rows":[0,4,5,9,10,13,15,16,20,21,25,26,29,30,31,32,36,37,40,41,42,46,47,48,52,53,56,58,59,60,61,62,63,64,68,69,72,73,74,76,77,78,79]}],"coefficient_dictionary":[["-1","0"],["2","0"],["5/2","0"],["1","0"],["5","0"],["0","5/2"],["0","1"],["5/2","-5/2"],["1","-1"],["0","2"],["-1","1"],["0","-1"],["2","-2"],["-5/2","5/2"],["0","-5/2"],["0","5"],["5","-5"],["-2","2"],["0","-2"],["1/2","0"],["-7","0"],["-189/8","0"],["7/2","0"],["-7/2","0"],["-69/4","0"],["-13/2","0"],["47/18","0"],["-64/9","0"],["-135/16","0"],["37/18","0"],["-37/18","0"],["-9/2","0"],["-20","0"],["77/36","0"],["-239/36","0"],["-15/8","0"],["8/9","0"],["1/9","0"],["-185/8","0"],["-1/2","0"],["-37/4","0"],["185/36","0"],["-185/36","0"],["-243/16","0"],["-2","0"],["9/2","0"],["-629/32","0"],["37/9","0"],["-37/9","0"],["-87/16","0"],["9/4","0"],["-299/16","0"],["17/4","0"],["-17/4","0"],["6","0"],["-5/9","0"],["5/9","0"],["-999/32","0"],["37/4","0"],["-61/36","0"],["61/36","0"],["259/32","0"],["135/16","0"],["-9/4","0"],["1/4","0"],["-15/4","0"],["14/9","0"],["-14/9","0"],["-333/16","0"],["37/8","0"],["-37/8","0"],["87/16","0"],["-13/36","0"],["13/36","0"],["-4","0"],["17/9","0"],["-3/8","0"],["-1/9","0"],["-259/8","0"],["-77/16","0"],["79/36","0"],["-79/36","0"],["-7/36","0"],["-65/36","0"],["35/8","0"],["-153/16","0"],["-45/4","0"],["-5/2","0"],["17/18","0"],["1/18","0"],["-19/8","0"],["-19/18","0"],["19/18","0"],["-17/18","0"],["4/9","0"],["-4/9","0"],["7/18","14/9"],["21/8","-21/2"],["-7/18","-14/9"],["-33/4","0"],["-1107/32","0"],["-6","0"],["57/8","0"],["-57/8","0"],["135/16","-111/8"],["-37/18","37/9"],["37/18","-37/9"],["-3","0"],["61/36","-37/18"],["-61/36","37/18"],["67/16","-99/8"],["-1/36","11/6"],["1/36","-11/6"],["-1271/32","0"],["605/72","0"],["-605/72","0"],["-5/8","3/4"],["1/6","-1/9"],["-1/6","1/9"],["87/16","-111/8"],["-13/36","37/18"],["13/36","-37/18"],["-29/2","0"],["-5/18","0"],["-121/18","0"],["3","0"],["65/36","-11/6"],["-65/36","11/6"],["-1/18","-1/9"],["1/18","1/9"],["9/8","0"],["-75/8","0"],["-57/4","0"],["-17/18","1/9"],["-135/16","111/8"],["5/8","-3/4"],["-19/18","-1/9"],["3/4","0"],["131/16","-99/8"],["-11/6","11/3"],["11/6","-11/3"],["-3/4","0"],["-1/8","3/4"],["1/9","-2/9"],["-1/9","2/9"],["1/8","-3/4"],["35/18","-14/9"],["-63/8","21/2"],["-35/18","14/9"],["-87/16","111/8"],["-131/16","99/8"],["-5/6","-1/9"],["-7/6","1/9"],["-67/16","99/8"],["21/2","-21"],["-14/9","28/9"],["14/9","-28/9"],["111/8","-111/4"],["-37/9","74/9"],["37/9","-74/9"],["99/8","-99/4"],["-3/4","3/2"],["-111/8","111/4"],["3/4","-3/2"],["-11/3","22/3"],["11/3","-22/3"],["2/9","-4/9"],["-2/9","4/9"],["-81/8","0"],["-315/16","0"],["-1/18","0"],["-19/4","0"],["63/16","0"],["17/8","0"],["19/8","0"],["27/4","0"],["-35/8","0"],["-63/4","0"],["-2084985122275125/1073741824","2084985122275125/536870912"],["37/2","0"],["-37/2","0"],["-14","0"],["14","0"],["33/2","0"],["-33/2","0"],["5934607020951823249245/8192","0"],["-527267168111285393979801600","0"]],"elapsed_seconds":2.719}