{"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":5,"x":"1","y":"-1","m":1,"epsilon":1},"field":{"generator":"q","embedding":"exp(i*pi/5)","modulus_descending":["1","-1","1","-1","1"],"coefficient_order":"ascending powers 1,q,...","degree":4},"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":[45,45,45,45],"ranks_Fbar_minus_f0_powers":[45,45,45,45],"joint_stacked_ranks":[45,45,45,45],"target":{"dimension":35,"kernel_power":1,"f0_coeff_id":0,"nilpotent_ranks":[0,0,0,0],"Jordan_blocks_by_size":{"1":35},"rank_N_minus_M":0,"rank_N_plus_M":0,"rank_NM":0,"hoop_algebra_dimension":1,"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":true},"basis_pivot_rows":[0,1,5,6,7,10,15,16,17,21,22,26,27,31,32,33,34,37,42,43,47,48,49,50,51,53,58,63,64,65,67,69,70,74,79]},"depth_one":{"dimension":35,"same_face_dimension":20,"edge_dimension":15,"nilpotent_rank":0,"g_coeff_id":29,"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,4],[1,20,4],[4,20,4],[5,1,4],[6,21,4],[7,22,4],[9,21,4],[10,2,4],[13,22,4],[15,3,4],[16,4,4],[17,23,4],[20,23,4],[21,5,4],[22,24,4],[25,24,4],[26,6,4],[27,25,4],[30,25,4],[31,7,4],[32,8,4],[33,27,4],[34,26,4],[36,27,4],[37,9,4],[40,26,4],[42,10,4],[43,28,4],[46,28,4],[47,11,4],[48,12,4],[49,30,4],[50,31,4],[51,29,4],[52,30,4],[53,13,4],[56,31,4],[58,14,4],[60,29,4],[63,15,4],[64,16,4],[65,33,4],[67,32,4],[68,33,4],[69,17,4],[70,34,4],[73,34,4],[74,18,4],[76,32,4],[79,19,4]]},"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,3],[5,37,4],[5,38,4],[5,41,4],[5,42,4],[5,69,4],[5,71,4],[5,77,4],[5,79,4],[6,2,1],[6,6,3],[6,36,4],[6,40,4],[6,70,4],[6,78,4],[7,3,1],[7,7,3],[7,39,4],[7,43,4],[7,68,4],[7,76,4],[9,8,2],[9,9,3],[9,33,4],[9,34,4],[9,73,4],[9,75,4],[10,10,3],[10,32,4],[10,74,4],[11,11,3],[11,35,4],[11,72,4],[13,12,2],[13,13,3],[13,45,4],[13,46,4],[13,65,4],[13,67,4],[14,14,3],[14,44,4],[14,66,4],[15,15,3],[15,47,4],[15,64,4],[21,16,0],[21,17,1],[21,20,2],[21,21,3],[21,53,4],[21,55,4],[21,61,4],[21,63,4],[22,18,1],[22,22,3],[22,52,4],[22,60,4],[23,19,1],[23,23,3],[23,54,4],[23,62,4],[25,24,2],[25,25,3],[25,49,4],[25,51,4],[26,26,3],[26,48,4],[27,27,3],[27,50,4],[29,28,2],[29,29,3],[29,57,4],[29,59,4],[30,30,3],[30,56,4],[31,31,3],[31,58,4]]},"e_1":{"shape":[80,80],"entries":[[32,0,4],[32,2,4],[32,8,4],[32,10,4],[32,32,3],[32,33,2],[32,36,1],[32,37,0],[34,1,4],[34,9,4],[34,34,3],[34,38,1],[35,3,4],[35,11,4],[35,35,3],[35,39,1],[40,4,4],[40,6,4],[40,40,3],[40,41,2],[42,5,4],[42,42,3],[43,7,4],[43,43,3],[44,12,4],[44,14,4],[44,44,3],[44,45,2],[46,13,4],[46,46,3],[47,15,4],[47,47,3],[48,16,4],[48,18,4],[48,24,4],[48,26,4],[48,48,3],[48,49,2],[48,52,1],[48,53,0],[48,64,4],[48,66,4],[48,72,4],[48,74,4],[50,19,4],[50,27,4],[50,50,3],[50,54,1],[50,65,4],[50,73,4],[51,17,4],[51,25,4],[51,51,3],[51,55,1],[51,67,4],[51,75,4],[56,28,4],[56,30,4],[56,56,3],[56,57,2],[56,68,4],[56,70,4],[58,31,4],[58,58,3],[58,69,4],[59,29,4],[59,59,3],[59,71,4],[60,20,4],[60,22,4],[60,60,3],[60,61,2],[60,76,4],[60,78,4],[62,23,4],[62,62,3],[62,77,4],[63,21,4],[63,63,3],[63,79,4]]},"e_2":{"shape":[80,80],"entries":[[0,0,3],[0,16,4],[0,32,4],[1,1,3],[1,2,2],[1,17,4],[1,19,4],[1,33,4],[1,34,4],[3,3,3],[3,18,4],[3,35,4],[4,4,3],[4,8,1],[4,20,4],[4,28,4],[4,36,4],[4,40,4],[5,5,3],[5,6,2],[5,9,1],[5,10,0],[5,21,4],[5,23,4],[5,29,4],[5,31,4],[5,37,4],[5,38,4],[5,41,4],[5,42,4],[7,7,3],[7,11,1],[7,22,4],[7,30,4],[7,39,4],[7,43,4],[12,12,3],[12,24,4],[12,44,4],[13,13,3],[13,14,2],[13,25,4],[13,27,4],[13,45,4],[13,46,4],[15,15,3],[15,26,4],[15,47,4],[64,48,4],[64,64,3],[65,49,4],[65,50,4],[65,65,3],[65,66,2],[67,51,4],[67,67,3],[68,52,4],[68,56,4],[68,68,3],[68,72,1],[69,53,4],[69,54,4],[69,57,4],[69,58,4],[69,69,3],[69,70,2],[69,73,1],[69,74,0],[71,55,4],[71,59,4],[71,71,3],[71,75,1],[76,60,4],[76,76,3],[77,61,4],[77,62,4],[77,77,3],[77,78,2],[79,63,4],[79,79,3]]},"e_3":{"shape":[80,80],"entries":[[16,0,4],[16,16,3],[17,1,4],[17,17,3],[18,2,4],[18,3,4],[18,18,3],[18,19,2],[20,4,4],[20,20,3],[21,5,4],[21,21,3],[22,6,4],[22,7,4],[22,22,3],[22,23,2],[24,8,4],[24,12,4],[24,24,3],[24,28,1],[25,9,4],[25,13,4],[25,25,3],[25,29,1],[26,10,4],[26,11,4],[26,14,4],[26,15,4],[26,26,3],[26,27,2],[26,30,1],[26,31,0],[48,32,4],[48,35,4],[48,44,4],[48,47,4],[48,48,3],[48,50,2],[48,56,1],[48,58,0],[48,64,4],[48,66,4],[48,72,4],[48,74,4],[49,33,4],[49,45,4],[49,49,3],[49,57,1],[49,65,4],[49,73,4],[51,34,4],[51,46,4],[51,51,3],[51,59,1],[51,67,4],[51,75,4],[52,36,4],[52,39,4],[52,52,3],[52,54,2],[52,68,4],[52,70,4],[53,37,4],[53,53,3],[53,69,4],[55,38,4],[55,55,3],[55,71,4],[60,40,4],[60,43,4],[60,60,3],[60,62,2],[60,76,4],[60,78,4],[61,41,4],[61,61,3],[61,77,4],[63,42,4],[63,63,3],[63,79,4]]},"e_4":{"shape":[80,80],"entries":[[0,0,3],[0,16,4],[0,64,4],[1,1,3],[1,3,2],[1,17,4],[1,19,4],[1,65,4],[1,67,4],[2,2,3],[2,18,4],[2,66,4],[4,4,3],[4,12,1],[4,20,4],[4,28,4],[4,68,4],[4,76,4],[5,5,3],[5,7,2],[5,13,1],[5,15,0],[5,21,4],[5,23,4],[5,29,4],[5,31,4],[5,69,4],[5,71,4],[5,77,4],[5,79,4],[6,6,3],[6,14,1],[6,22,4],[6,30,4],[6,70,4],[6,78,4],[8,8,3],[8,24,4],[8,72,4],[9,9,3],[9,11,2],[9,25,4],[9,27,4],[9,73,4],[9,75,4],[10,10,3],[10,26,4],[10,74,4],[32,32,3],[32,48,4],[33,33,3],[33,49,4],[34,34,3],[34,35,2],[34,50,4],[34,51,4],[36,36,3],[36,52,4],[37,37,3],[37,53,4],[38,38,3],[38,39,2],[38,54,4],[38,55,4],[40,40,3],[40,44,1],[40,56,4],[40,60,4],[41,41,3],[41,45,1],[41,57,4],[41,61,4],[42,42,3],[42,43,2],[42,46,1],[42,47,0],[42,58,4],[42,59,4],[42,62,4],[42,63,4]]},"e_5":{"shape":[80,80],"entries":[[48,16,4],[48,18,4],[48,24,4],[48,26,4],[48,32,4],[48,35,4],[48,44,4],[48,47,4],[48,48,3],[48,51,2],[48,60,1],[48,63,0],[49,17,4],[49,25,4],[49,33,4],[49,45,4],[49,49,3],[49,61,1],[50,19,4],[50,27,4],[50,34,4],[50,46,4],[50,50,3],[50,62,1],[52,20,4],[52,22,4],[52,36,4],[52,39,4],[52,52,3],[52,55,2],[53,21,4],[53,37,4],[53,53,3],[54,23,4],[54,38,4],[54,54,3],[56,28,4],[56,30,4],[56,40,4],[56,43,4],[56,56,3],[56,59,2],[57,29,4],[57,41,4],[57,57,3],[58,31,4],[58,42,4],[58,58,3],[64,0,4],[64,3,4],[64,12,4],[64,15,4],[64,64,3],[64,67,2],[64,76,1],[64,79,0],[65,1,4],[65,13,4],[65,65,3],[65,77,1],[66,2,4],[66,14,4],[66,66,3],[66,78,1],[68,4,4],[68,7,4],[68,68,3],[68,71,2],[69,5,4],[69,69,3],[70,6,4],[70,70,3],[72,8,4],[72,11,4],[72,72,3],[72,75,2],[73,9,4],[73,73,3],[74,10,4],[74,74,3]]},"Omega":{"shape":[80,80],"entries":[[0,53,4],[1,52,4],[2,54,4],[3,55,4],[4,49,4],[5,48,4],[6,50,4],[7,51,4],[8,57,4],[9,56,4],[10,58,4],[11,59,4],[12,61,4],[13,60,4],[14,62,4],[15,63,4],[16,37,4],[17,36,4],[18,38,4],[19,39,4],[20,33,4],[21,32,4],[22,34,4],[23,35,4],[24,41,4],[25,40,4],[26,42,4],[27,43,4],[28,45,4],[29,44,4],[30,46,4],[31,47,4],[32,69,4],[33,70,4],[34,68,4],[35,71,4],[36,73,4],[37,74,4],[38,72,4],[39,75,4],[40,65,4],[41,66,4],[42,64,4],[43,67,4],[44,77,4],[45,78,4],[46,76,4],[47,79,4],[48,5,4],[49,6,4],[50,7,4],[51,4,4],[52,9,4],[53,10,4],[54,11,4],[55,8,4],[56,13,4],[57,14,4],[58,15,4],[59,12,4],[60,1,4],[61,2,4],[62,3,4],[63,0,4],[64,21,4],[65,22,4],[66,23,4],[67,20,4],[68,25,4],[69,26,4],[70,27,4],[71,24,4],[72,29,4],[73,30,4],[74,31,4],[75,28,4],[76,17,4],[77,18,4],[78,19,4],[79,16,4]]},"F":{"shape":[80,80],"entries":[[0,0,0],[0,1,1],[0,4,2],[0,38,4],[0,41,4],[0,71,4],[0,77,4],[1,2,1],[1,3,1],[1,4,0],[1,19,5],[1,38,6],[1,39,7],[1,41,8],[1,71,6],[1,77,8],[1,78,9],[2,19,10],[2,38,11],[2,41,12],[2,78,8],[3,19,13],[3,39,6],[3,71,11],[3,77,12],[4,1,0],[4,8,2],[4,12,2],[4,28,5],[4,38,13],[4,41,10],[4,45,7],[4,71,13],[4,75,9],[4,77,10],[5,1,2],[5,2,0],[5,3,0],[5,4,1],[5,5,0],[5,6,1],[5,7,1],[5,8,0],[5,9,2],[5,11,0],[5,12,0],[5,13,2],[5,14,0],[5,19,14],[5,23,5],[5,28,15],[5,29,5],[5,38,5],[5,39,15],[5,41,5],[5,45,14],[5,71,5],[5,75,14],[5,77,5],[5,78,15],[6,2,2],[6,9,0],[6,14,2],[6,19,7],[6,23,10],[6,29,13],[6,38,10],[6,41,13],[6,45,9],[6,78,5],[7,3,2],[7,11,2],[7,13,0],[7,19,9],[7,23,13],[7,29,10],[7,39,5],[7,71,10],[7,75,7],[7,77,13],[8,28,6],[8,38,12],[8,41,11],[8,75,13],[9,6,0],[9,8,1],[9,11,1],[9,23,8],[9,28,7],[9,29,6],[9,38,8],[9,39,9],[9,41,6],[9,75,5],[10,6,2],[10,9,1],[10,10,0],[10,23,4],[10,29,4],[10,38,4],[10,41,4],[11,23,12],[11,29,11],[11,39,8],[11,75,10],[12,28,8],[12,45,10],[12,71,12],[12,77,11],[13,7,0],[13,12,1],[13,14,1],[13,23,6],[13,28,9],[13,29,8],[13,45,5],[13,71,8],[13,77,6],[13,78,7],[14,23,11],[14,29,12],[14,45,13],[14,78,6],[15,7,2],[15,13,1],[15,15,0],[15,23,4],[15,29,4],[15,71,4],[15,77,4],[16,16,0],[16,17,1],[16,20,2],[16,55,4],[16,61,4],[17,18,1],[17,20,0],[17,39,16],[17,55,6],[17,61,8],[17,78,17],[18,19,1],[18,39,18],[18,55,11],[18,61,12],[18,78,19],[19,39,20],[19,78,21],[20,17,0],[20,24,2],[20,45,16],[20,55,13],[20,61,10],[20,75,17],[21,11,4],[21,14,4],[21,17,2],[21,18,0],[21,20,1],[21,21,0],[21,22,1],[21,24,0],[21,25,2],[21,39,1],[21,45,2],[21,55,5],[21,61,5],[21,75,2],[21,78,1],[22,11,6],[22,14,8],[22,18,2],[22,19,0],[22,23,1],[22,25,0],[22,39,22],[22,45,17],[22,55,10],[22,61,13],[22,75,16],[22,78,23],[23,11,11],[23,14,12],[23,19,2],[23,39,24],[23,78,25],[24,28,2],[24,45,24],[24,55,12],[24,61,11],[24,75,25],[25,11,13],[25,14,10],[25,22,0],[25,24,1],[25,28,0],[25,29,2],[25,39,17],[25,45,22],[25,55,8],[25,61,6],[25,75,23],[25,78,16],[26,11,5],[26,14,5],[26,22,2],[26,23,0],[26,25,1],[26,26,0],[26,27,1],[26,29,0],[26,30,2],[26,39,2],[26,45,1],[26,55,4],[26,61,4],[26,75,1],[26,78,2],[27,11,10],[27,14,13],[27,23,2],[27,30,0],[27,39,16],[27,78,17],[28,45,20],[28,75,21],[29,11,12],[29,14,11],[29,28,1],[29,45,18],[29,75,19],[30,11,8],[30,14,6],[30,27,0],[30,29,1],[30,45,16],[30,75,17],[31,11,4],[31,14,4],[31,27,2],[31,30,1],[31,31,0],[32,2,5],[32,8,5],[32,19,1],[32,28,2],[32,32,0],[32,33,1],[32,34,1],[32,36,2],[32,38,0],[32,40,2],[32,41,0],[32,59,4],[32,62,4],[32,75,1],[32,78,2],[33,2,10],[33,8,13],[33,28,17],[33,36,0],[33,41,2],[33,78,16],[34,2,13],[34,8,10],[34,19,23],[34,28,16],[34,35,1],[34,38,2],[34,39,0],[34,40,0],[34,59,6],[34,62,8],[34,75,22],[34,78,17],[35,19,25],[35,39,2],[35,59,11],[35,62,12],[35,75,24],[36,2,8],[36,8,6],[36,19,17],[36,33,0],[36,38,1],[36,75,16],[37,2,4],[37,8,4],[37,33,2],[37,36,1],[37,37,0],[38,2,12],[38,8,11],[38,19,19],[38,39,1],[38,75,18],[39,19,21],[39,75,20],[40,2,6],[40,8,8],[40,19,16],[40,28,23],[40,34,0],[40,41,1],[40,44,2],[40,45,0],[40,59,13],[40,62,10],[40,75,17],[40,78,22],[41,2,11],[41,8,12],[41,28,25],[41,45,2],[41,78,24],[42,2,4],[42,8,4],[42,19,2],[42,28,1],[42,34,2],[42,35,0],[42,40,1],[42,42,0],[42,43,1],[42,44,0],[42,46,2],[42,59,5],[42,62,5],[42,75,2],[42,78,1],[43,19,17],[43,35,2],[43,46,0],[43,59,10],[43,62,13],[43,75,16],[44,28,19],[44,45,1],[44,59,12],[44,62,11],[44,78,18],[45,28,21],[45,78,20],[46,28,17],[46,43,0],[46,44,1],[46,59,8],[46,62,6],[46,78,16],[47,43,2],[47,46,1],[47,47,0],[47,59,4],[47,62,4],[48,18,5],[48,19,15],[48,24,5],[48,28,14],[48,35,5],[48,39,14],[48,44,5],[48,45,15],[48,48,0],[48,49,1],[48,50,1],[48,51,1],[48,52,2],[48,54,0],[48,55,0],[48,56,2],[48,57,0],[48,59,0],[48,60,2],[48,61,0],[48,62,0],[48,66,5],[48,72,5],[48,75,15],[48,78,14],[49,18,10],[49,24,13],[49,28,9],[49,45,5],[49,52,0],[49,57,2],[49,61,2],[49,66,10],[49,72,13],[49,78,7],[50,19,5],[50,35,10],[50,39,7],[50,44,13],[50,54,2],[50,56,0],[50,62,2],[50,66,13],[50,72,10],[50,78,9],[51,18,13],[51,24,10],[51,28,7],[51,35,13],[51,39,9],[51,44,10],[51,55,2],[51,59,2],[51,60,0],[51,75,5],[52,18,8],[52,19,9],[52,24,6],[52,39,5],[52,49,0],[52,54,1],[52,55,1],[52,66,8],[52,72,6],[52,75,7],[53,18,4],[53,24,4],[53,49,2],[53,52,1],[53,53,0],[53,66,4],[53,72,4],[54,19,8],[54,39,10],[54,66,12],[54,72,11],[55,18,12],[55,24,11],[55,39,13],[55,75,6],[56,28,5],[56,35,8],[56,44,6],[56,45,7],[56,50,0],[56,57,1],[56,59,1],[56,66,6],[56,72,8],[56,75,9],[57,28,13],[57,45,6],[57,66,11],[57,72,12],[58,35,4],[58,44,4],[58,50,2],[58,56,1],[58,58,0],[58,66,4],[58,72,4],[59,28,10],[59,35,12],[59,44,11],[59,75,8],[60,18,6],[60,19,7],[60,24,8],[60,35,6],[60,44,8],[60,45,9],[60,51,0],[60,61,1],[60,62,1],[60,78,5],[61,18,11],[61,24,12],[61,45,8],[61,78,10],[62,19,6],[62,35,11],[62,44,12],[62,78,13],[63,18,4],[63,24,4],[63,35,4],[63,44,4],[63,51,2],[63,60,1],[63,63,0],[64,3,5],[64,12,5],[64,19,1],[64,28,2],[64,39,2],[64,45,1],[64,54,4],[64,57,4],[64,64,0],[64,65,1],[64,67,1],[64,68,2],[64,71,0],[64,76,2],[64,77,0],[65,3,10],[65,12,13],[65,19,22],[65,28,17],[65,39,16],[65,45,23],[65,54,6],[65,57,8],[65,66,1],[65,68,0],[65,77,2],[65,78,0],[66,19,24],[66,45,25],[66,54,11],[66,57,12],[66,78,2],[67,3,13],[67,12,10],[67,28,16],[67,39,17],[67,71,2],[67,76,0],[68,3,8],[68,12,6],[68,19,17],[68,28,22],[68,39,23],[68,45,16],[68,54,13],[68,57,10],[68,65,0],[68,71,1],[68,72,2],[68,75,0],[69,3,4],[69,12,4],[69,19,2],[69,28,1],[69,39,1],[69,45,2],[69,54,5],[69,57,5],[69,65,2],[69,66,0],[69,68,1],[69,69,0],[69,70,1],[69,72,0],[69,73,2],[70,19,16],[70,45,17],[70,54,10],[70,57,13],[70,66,2],[70,73,0],[71,3,12],[71,12,11],[71,28,24],[71,39,25],[71,75,2],[72,28,18],[72,39,19],[72,54,12],[72,57,11],[72,75,1],[73,28,16],[73,39,17],[73,54,8],[73,57,6],[73,70,0],[73,72,1],[74,54,4],[74,57,4],[74,70,2],[74,73,1],[74,74,0],[75,28,20],[75,39,21],[76,3,6],[76,12,8],[76,19,16],[76,45,17],[76,67,0],[76,77,1],[77,3,11],[77,12,12],[77,19,18],[77,45,19],[77,78,1],[78,19,20],[78,45,21],[79,3,4],[79,12,4],[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,4],[0,41,4],[0,71,4],[0,77,4],[1,2,1],[1,3,1],[1,4,0],[1,19,5],[1,38,8],[1,39,9],[1,41,6],[1,71,8],[1,77,6],[1,78,7],[2,19,13],[2,38,12],[2,41,11],[2,78,6],[3,19,10],[3,39,8],[3,71,12],[3,77,11],[4,1,0],[4,8,2],[4,12,2],[4,28,5],[4,38,10],[4,41,13],[4,45,9],[4,71,10],[4,75,7],[4,77,13],[5,1,2],[5,2,0],[5,3,0],[5,4,1],[5,5,0],[5,6,1],[5,7,1],[5,8,0],[5,9,2],[5,11,0],[5,12,0],[5,13,2],[5,14,0],[5,19,14],[5,23,5],[5,28,15],[5,29,5],[5,38,5],[5,39,15],[5,41,5],[5,45,14],[5,71,5],[5,75,14],[5,77,5],[5,78,15],[6,2,2],[6,9,0],[6,14,2],[6,19,9],[6,23,13],[6,29,10],[6,38,13],[6,41,10],[6,45,7],[6,78,5],[7,3,2],[7,11,2],[7,13,0],[7,19,7],[7,23,10],[7,29,13],[7,39,5],[7,71,13],[7,75,9],[7,77,10],[8,28,8],[8,38,11],[8,41,12],[8,75,10],[9,6,0],[9,8,1],[9,11,1],[9,23,6],[9,28,9],[9,29,8],[9,38,6],[9,39,7],[9,41,8],[9,75,5],[10,6,2],[10,9,1],[10,10,0],[10,23,4],[10,29,4],[10,38,4],[10,41,4],[11,23,11],[11,29,12],[11,39,6],[11,75,13],[12,28,6],[12,45,13],[12,71,11],[12,77,12],[13,7,0],[13,12,1],[13,14,1],[13,23,8],[13,28,7],[13,29,6],[13,45,5],[13,71,6],[13,77,8],[13,78,9],[14,23,12],[14,29,11],[14,45,10],[14,78,8],[15,7,2],[15,13,1],[15,15,0],[15,23,4],[15,29,4],[15,71,4],[15,77,4],[16,16,0],[16,17,1],[16,20,2],[16,55,4],[16,61,4],[17,18,1],[17,20,0],[17,39,17],[17,55,8],[17,61,6],[17,78,16],[18,19,1],[18,39,19],[18,55,12],[18,61,11],[18,78,18],[19,39,21],[19,78,20],[20,17,0],[20,24,2],[20,45,17],[20,55,10],[20,61,13],[20,75,16],[21,11,4],[21,14,4],[21,17,2],[21,18,0],[21,20,1],[21,21,0],[21,22,1],[21,24,0],[21,25,2],[21,39,1],[21,45,2],[21,55,5],[21,61,5],[21,75,2],[21,78,1],[22,11,8],[22,14,6],[22,18,2],[22,19,0],[22,23,1],[22,25,0],[22,39,23],[22,45,16],[22,55,13],[22,61,10],[22,75,17],[22,78,22],[23,11,12],[23,14,11],[23,19,2],[23,39,25],[23,78,24],[24,28,2],[24,45,25],[24,55,11],[24,61,12],[24,75,24],[25,11,10],[25,14,13],[25,22,0],[25,24,1],[25,28,0],[25,29,2],[25,39,16],[25,45,23],[25,55,6],[25,61,8],[25,75,22],[25,78,17],[26,11,5],[26,14,5],[26,22,2],[26,23,0],[26,25,1],[26,26,0],[26,27,1],[26,29,0],[26,30,2],[26,39,2],[26,45,1],[26,55,4],[26,61,4],[26,75,1],[26,78,2],[27,11,13],[27,14,10],[27,23,2],[27,30,0],[27,39,17],[27,78,16],[28,45,21],[28,75,20],[29,11,11],[29,14,12],[29,28,1],[29,45,19],[29,75,18],[30,11,6],[30,14,8],[30,27,0],[30,29,1],[30,45,17],[30,75,16],[31,11,4],[31,14,4],[31,27,2],[31,30,1],[31,31,0],[32,2,5],[32,8,5],[32,19,1],[32,28,2],[32,32,0],[32,33,1],[32,34,1],[32,36,2],[32,38,0],[32,40,2],[32,41,0],[32,59,4],[32,62,4],[32,75,1],[32,78,2],[33,2,13],[33,8,10],[33,28,16],[33,36,0],[33,41,2],[33,78,17],[34,2,10],[34,8,13],[34,19,22],[34,28,17],[34,35,1],[34,38,2],[34,39,0],[34,40,0],[34,59,8],[34,62,6],[34,75,23],[34,78,16],[35,19,24],[35,39,2],[35,59,12],[35,62,11],[35,75,25],[36,2,6],[36,8,8],[36,19,16],[36,33,0],[36,38,1],[36,75,17],[37,2,4],[37,8,4],[37,33,2],[37,36,1],[37,37,0],[38,2,11],[38,8,12],[38,19,18],[38,39,1],[38,75,19],[39,19,20],[39,75,21],[40,2,8],[40,8,6],[40,19,17],[40,28,22],[40,34,0],[40,41,1],[40,44,2],[40,45,0],[40,59,10],[40,62,13],[40,75,16],[40,78,23],[41,2,12],[41,8,11],[41,28,24],[41,45,2],[41,78,25],[42,2,4],[42,8,4],[42,19,2],[42,28,1],[42,34,2],[42,35,0],[42,40,1],[42,42,0],[42,43,1],[42,44,0],[42,46,2],[42,59,5],[42,62,5],[42,75,2],[42,78,1],[43,19,16],[43,35,2],[43,46,0],[43,59,13],[43,62,10],[43,75,17],[44,28,18],[44,45,1],[44,59,11],[44,62,12],[44,78,19],[45,28,20],[45,78,21],[46,28,16],[46,43,0],[46,44,1],[46,59,6],[46,62,8],[46,78,17],[47,43,2],[47,46,1],[47,47,0],[47,59,4],[47,62,4],[48,18,5],[48,19,15],[48,24,5],[48,28,14],[48,35,5],[48,39,14],[48,44,5],[48,45,15],[48,48,0],[48,49,1],[48,50,1],[48,51,1],[48,52,2],[48,54,0],[48,55,0],[48,56,2],[48,57,0],[48,59,0],[48,60,2],[48,61,0],[48,62,0],[48,66,5],[48,72,5],[48,75,15],[48,78,14],[49,18,13],[49,24,10],[49,28,7],[49,45,5],[49,52,0],[49,57,2],[49,61,2],[49,66,13],[49,72,10],[49,78,9],[50,19,5],[50,35,13],[50,39,9],[50,44,10],[50,54,2],[50,56,0],[50,62,2],[50,66,10],[50,72,13],[50,78,7],[51,18,10],[51,24,13],[51,28,9],[51,35,10],[51,39,7],[51,44,13],[51,55,2],[51,59,2],[51,60,0],[51,75,5],[52,18,6],[52,19,7],[52,24,8],[52,39,5],[52,49,0],[52,54,1],[52,55,1],[52,66,6],[52,72,8],[52,75,9],[53,18,4],[53,24,4],[53,49,2],[53,52,1],[53,53,0],[53,66,4],[53,72,4],[54,19,6],[54,39,13],[54,66,11],[54,72,12],[55,18,11],[55,24,12],[55,39,10],[55,75,8],[56,28,5],[56,35,6],[56,44,8],[56,45,9],[56,50,0],[56,57,1],[56,59,1],[56,66,8],[56,72,6],[56,75,7],[57,28,10],[57,45,8],[57,66,12],[57,72,11],[58,35,4],[58,44,4],[58,50,2],[58,56,1],[58,58,0],[58,66,4],[58,72,4],[59,28,13],[59,35,11],[59,44,12],[59,75,6],[60,18,8],[60,19,9],[60,24,6],[60,35,8],[60,44,6],[60,45,7],[60,51,0],[60,61,1],[60,62,1],[60,78,5],[61,18,12],[61,24,11],[61,45,6],[61,78,13],[62,19,8],[62,35,12],[62,44,11],[62,78,10],[63,18,4],[63,24,4],[63,35,4],[63,44,4],[63,51,2],[63,60,1],[63,63,0],[64,3,5],[64,12,5],[64,19,1],[64,28,2],[64,39,2],[64,45,1],[64,54,4],[64,57,4],[64,64,0],[64,65,1],[64,67,1],[64,68,2],[64,71,0],[64,76,2],[64,77,0],[65,3,13],[65,12,10],[65,19,23],[65,28,16],[65,39,17],[65,45,22],[65,54,8],[65,57,6],[65,66,1],[65,68,0],[65,77,2],[65,78,0],[66,19,25],[66,45,24],[66,54,12],[66,57,11],[66,78,2],[67,3,10],[67,12,13],[67,28,17],[67,39,16],[67,71,2],[67,76,0],[68,3,6],[68,12,8],[68,19,16],[68,28,23],[68,39,22],[68,45,17],[68,54,10],[68,57,13],[68,65,0],[68,71,1],[68,72,2],[68,75,0],[69,3,4],[69,12,4],[69,19,2],[69,28,1],[69,39,1],[69,45,2],[69,54,5],[69,57,5],[69,65,2],[69,66,0],[69,68,1],[69,69,0],[69,70,1],[69,72,0],[69,73,2],[70,19,17],[70,45,16],[70,54,13],[70,57,10],[70,66,2],[70,73,0],[71,3,11],[71,12,12],[71,28,25],[71,39,24],[71,75,2],[72,28,19],[72,39,18],[72,54,11],[72,57,12],[72,75,1],[73,28,17],[73,39,16],[73,54,6],[73,57,8],[73,70,0],[73,72,1],[74,54,4],[74,57,4],[74,70,2],[74,73,1],[74,74,0],[75,28,21],[75,39,20],[76,3,8],[76,12,6],[76,19,17],[76,45,16],[76,67,0],[76,77,1],[77,3,12],[77,12,11],[77,19,19],[77,45,18],[77,78,1],[78,19,21],[78,45,20],[79,3,4],[79,12,4],[79,67,2],[79,76,1],[79,79,0]]}},"target_matrices":{"e_0":{"shape":[35,35],"entries":[[2,0,0],[2,2,3],[2,16,4],[2,18,4],[2,30,4],[2,34,4],[3,3,3],[3,15,4],[3,17,4],[3,31,4],[4,4,3],[4,14,4],[4,32,4],[5,5,3],[5,19,4],[5,29,4],[5,33,4],[6,6,3],[6,20,4],[6,28,4],[9,7,0],[9,9,3],[9,23,4],[9,27,4],[10,10,3],[10,22,4],[10,26,4],[11,11,3],[11,21,4],[12,12,3],[12,24,4],[13,13,3],[13,25,4]]},"e_1":{"shape":[35,35],"entries":[[14,0,4],[14,4,4],[14,14,3],[14,16,0],[17,1,4],[17,3,4],[17,17,3],[18,2,4],[18,18,3],[19,5,4],[19,19,3],[20,6,4],[20,20,3],[21,7,4],[21,11,4],[21,21,3],[21,23,0],[21,28,4],[21,32,4],[24,12,4],[24,24,3],[24,29,4],[24,31,4],[25,13,4],[25,25,3],[25,30,4],[26,8,4],[26,10,4],[26,26,3],[26,33,4],[27,9,4],[27,27,3],[27,34,4]]},"e_2":{"shape":[35,35],"entries":[[0,0,3],[0,7,4],[0,14,4],[1,1,3],[1,8,4],[1,15,4],[1,17,4],[2,2,3],[2,4,0],[2,9,4],[2,13,4],[2,16,4],[2,18,4],[5,5,3],[5,10,4],[5,12,4],[5,19,4],[6,6,3],[6,11,4],[6,20,4],[28,21,4],[28,28,3],[29,22,4],[29,24,4],[29,29,3],[30,23,4],[30,25,4],[30,30,3],[30,32,0],[33,26,4],[33,33,3],[34,27,4],[34,34,3]]},"e_3":{"shape":[35,35],"entries":[[7,0,4],[7,7,3],[8,1,4],[8,8,3],[9,2,4],[9,9,3],[10,3,4],[10,5,4],[10,10,3],[11,4,4],[11,6,4],[11,11,3],[11,13,0],[21,14,4],[21,20,4],[21,21,3],[21,25,0],[21,28,4],[21,32,4],[22,15,4],[22,22,3],[22,29,4],[22,31,4],[23,16,4],[23,23,3],[23,30,4],[26,17,4],[26,19,4],[26,26,3],[26,33,4],[27,18,4],[27,27,3],[27,34,4]]},"e_4":{"shape":[35,35],"entries":[[0,0,3],[0,7,4],[0,28,4],[1,1,3],[1,8,4],[1,29,4],[1,33,4],[2,2,3],[2,6,0],[2,9,4],[2,13,4],[2,30,4],[2,34,4],[3,3,3],[3,10,4],[3,12,4],[3,31,4],[4,4,3],[4,11,4],[4,32,4],[14,14,3],[14,21,4],[15,15,3],[15,22,4],[16,16,3],[16,23,4],[17,17,3],[17,24,4],[17,26,4],[18,18,3],[18,20,0],[18,25,4],[18,27,4]]},"e_5":{"shape":[35,35],"entries":[[21,7,4],[21,11,4],[21,14,4],[21,20,4],[21,21,3],[21,27,0],[22,8,4],[22,10,4],[22,15,4],[22,22,3],[23,9,4],[23,16,4],[23,23,3],[24,12,4],[24,17,4],[24,19,4],[24,24,3],[25,13,4],[25,18,4],[25,25,3],[28,0,4],[28,6,4],[28,28,3],[28,34,0],[29,1,4],[29,5,4],[29,29,3],[30,2,4],[30,30,3],[31,3,4],[31,31,3],[32,4,4],[32,32,3]]},"Omega":{"shape":[35,35],"entries":[[0,23,4],[1,22,4],[2,21,4],[3,24,4],[4,25,4],[5,26,4],[6,27,4],[7,16,4],[8,15,4],[9,14,4],[10,17,4],[11,18,4],[12,19,4],[13,20,4],[14,30,4],[15,31,4],[16,32,4],[17,29,4],[18,28,4],[19,33,4],[20,34,4],[21,2,4],[22,3,4],[23,4,4],[24,5,4],[25,6,4],[26,1,4],[27,0,4],[28,9,4],[29,10,4],[30,11,4],[31,12,4],[32,13,4],[33,8,4],[34,7,4]]},"F":{"shape":[35,35],"entries":[[0,0,0],[1,1,0],[2,2,0],[3,3,0],[4,4,0],[5,5,0],[6,6,0],[7,7,0],[8,8,0],[9,9,0],[10,10,0],[11,11,0],[12,12,0],[13,13,0],[14,14,0],[15,15,0],[16,16,0],[17,17,0],[18,18,0],[19,19,0],[20,20,0],[21,21,0],[22,22,0],[23,23,0],[24,24,0],[25,25,0],[26,26,0],[27,27,0],[28,28,0],[29,29,0],[30,30,0],[31,31,0],[32,32,0],[33,33,0],[34,34,0]]},"Fbar":{"shape":[35,35],"entries":[[0,0,0],[1,1,0],[2,2,0],[3,3,0],[4,4,0],[5,5,0],[6,6,0],[7,7,0],[8,8,0],[9,9,0],[10,10,0],[11,11,0],[12,12,0],[13,13,0],[14,14,0],[15,15,0],[16,16,0],[17,17,0],[18,18,0],[19,19,0],[20,20,0],[21,21,0],[22,22,0],[23,23,0],[24,24,0],[25,25,0],[26,26,0],[27,27,0],[28,28,0],[29,29,0],[30,30,0],[31,31,0],[32,32,0],[33,33,0],[34,34,0]]},"N":{"shape":[35,35],"entries":[]},"M":{"shape":[35,35],"entries":[]},"D":{"shape":[35,35],"entries":[]},"kernel_basis":{"shape":[80,35],"entries":[[0,0,4],[1,1,4],[4,1,4],[5,2,4],[6,3,4],[7,5,4],[9,3,4],[10,4,4],[13,5,4],[15,6,4],[16,7,4],[17,8,4],[20,8,4],[21,9,4],[22,10,4],[25,10,4],[26,11,4],[27,12,4],[30,12,4],[31,13,4],[32,14,4],[33,15,4],[34,17,4],[36,15,4],[37,16,4],[40,17,4],[42,18,4],[43,19,4],[46,19,4],[47,20,4],[48,21,4],[49,22,4],[50,24,4],[51,26,4],[52,22,4],[53,23,4],[56,24,4],[58,25,4],[60,26,4],[63,27,4],[64,28,4],[65,29,4],[67,33,4],[68,29,4],[69,30,4],[70,31,4],[73,31,4],[74,32,4],[76,33,4],[79,34,4]]}},"rank_certificates":[{"power":1,"rank":45,"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,26,32,33,34,35,36,37,40,42,48,49,50,51,52,53,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,29,33,34,35,38,39,41,43,44,45,49,50,51,54,55,57,59,61,62,65,66,67,70,71,72,75,77,78],"minor_determinant_coeff_id":26,"right_kernel":{"shape":[80,35],"entries":[[0,0,4],[1,1,4],[4,1,4],[5,2,4],[6,3,4],[7,5,4],[9,3,4],[10,4,4],[13,5,4],[15,6,4],[16,7,4],[17,8,4],[20,8,4],[21,9,4],[22,10,4],[25,10,4],[26,11,4],[27,12,4],[30,12,4],[31,13,4],[32,14,4],[33,15,4],[34,17,4],[36,15,4],[37,16,4],[40,17,4],[42,18,4],[43,19,4],[46,19,4],[47,20,4],[48,21,4],[49,22,4],[50,24,4],[51,26,4],[52,22,4],[53,23,4],[56,24,4],[58,25,4],[60,26,4],[63,27,4],[64,28,4],[65,29,4],[67,33,4],[68,29,4],[69,30,4],[70,31,4],[73,31,4],[74,32,4],[76,33,4],[79,34,4]]},"kernel_identity_rows":[0,4,5,9,10,13,15,16,20,21,25,26,30,31,32,36,37,40,42,46,47,48,52,53,56,58,60,63,64,68,69,73,74,76,79]},{"power":2,"rank":45,"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,26,32,33,34,35,36,37,40,42,48,49,50,51,52,53,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,29,33,34,35,38,39,41,43,44,45,49,50,51,54,55,57,59,61,62,65,66,67,70,71,72,75,77,78],"minor_determinant_coeff_id":27,"right_kernel":{"shape":[80,35],"entries":[[0,0,4],[1,1,4],[4,1,4],[5,2,4],[6,3,4],[7,5,4],[9,3,4],[10,4,4],[13,5,4],[15,6,4],[16,7,4],[17,8,4],[20,8,4],[21,9,4],[22,10,4],[25,10,4],[26,11,4],[27,12,4],[30,12,4],[31,13,4],[32,14,4],[33,15,4],[34,17,4],[36,15,4],[37,16,4],[40,17,4],[42,18,4],[43,19,4],[46,19,4],[47,20,4],[48,21,4],[49,22,4],[50,24,4],[51,26,4],[52,22,4],[53,23,4],[56,24,4],[58,25,4],[60,26,4],[63,27,4],[64,28,4],[65,29,4],[67,33,4],[68,29,4],[69,30,4],[70,31,4],[73,31,4],[74,32,4],[76,33,4],[79,34,4]]},"kernel_identity_rows":[0,4,5,9,10,13,15,16,20,21,25,26,30,31,32,36,37,40,42,46,47,48,52,53,56,58,60,63,64,68,69,73,74,76,79]},{"power":3,"rank":45,"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,26,32,33,34,35,36,37,40,42,48,49,50,51,52,53,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,29,33,34,35,38,39,41,43,44,45,49,50,51,54,55,57,59,61,62,65,66,67,70,71,72,75,77,78],"minor_determinant_coeff_id":28,"right_kernel":{"shape":[80,35],"entries":[[0,0,4],[1,1,4],[4,1,4],[5,2,4],[6,3,4],[7,5,4],[9,3,4],[10,4,4],[13,5,4],[15,6,4],[16,7,4],[17,8,4],[20,8,4],[21,9,4],[22,10,4],[25,10,4],[26,11,4],[27,12,4],[30,12,4],[31,13,4],[32,14,4],[33,15,4],[34,17,4],[36,15,4],[37,16,4],[40,17,4],[42,18,4],[43,19,4],[46,19,4],[47,20,4],[48,21,4],[49,22,4],[50,24,4],[51,26,4],[52,22,4],[53,23,4],[56,24,4],[58,25,4],[60,26,4],[63,27,4],[64,28,4],[65,29,4],[67,33,4],[68,29,4],[69,30,4],[70,31,4],[73,31,4],[74,32,4],[76,33,4],[79,34,4]]},"kernel_identity_rows":[0,4,5,9,10,13,15,16,20,21,25,26,30,31,32,36,37,40,42,46,47,48,52,53,56,58,60,63,64,68,69,73,74,76,79]}],"coefficient_dictionary":[["1","0","1","-1"],["2","0","0","0"],["-2","0","0","0"],["-1","0","-1","1"],["1","0","0","0"],["-4","0","0","0"],["0","-2","0","0"],["1","0","1","0"],["-2","2","-2","2"],["1","0","0","-1"],["0","2","0","0"],["0","0","1","0"],["0","0","0","-1"],["2","-2","2","-2"],["-2","0","-2","2"],["2","0","2","-2"],["0","1","0","0"],["1","-1","1","-1"],["0","0","-2","0"],["0","0","0","2"],["0","0","0","1"],["0","0","-1","0"],["0","-4","0","0"],["-4","4","-4","4"],["0","0","2","0"],["0","0","0","-2"],["-808550400000","0","1308262400000","-1308262400000"],["-3355443200000000","0","10066329600000000","-10066329600000000"],["25907242729472000000000000","0","16011638079488000000000000","-16011638079488000000000000"],["0","0","0","0"]],"elapsed_seconds":2.679}