{"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":"2","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":[60,45,45,45],"ranks_Fbar_minus_f0_powers":[60,45,45,45],"joint_stacked_ranks":[60,45,45,45],"target":{"dimension":35,"kernel_power":2,"f0_coeff_id":0,"nilpotent_ranks":[15,0,0,0],"Jordan_blocks_by_size":{"1":5,"2":15},"rank_N_minus_M":0,"rank_N_plus_M":15,"rank_NM":0,"hoop_algebra_dimension":2,"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":15,"g_coeff_id":28,"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,27],[5,1,3],[6,21,3],[7,22,3],[9,21,27],[10,2,3],[13,22,27],[15,3,3],[16,4,3],[17,23,3],[20,23,27],[21,5,3],[22,24,3],[25,24,27],[26,6,3],[27,25,3],[30,25,27],[31,7,3],[32,8,3],[33,27,3],[34,26,3],[36,27,27],[37,9,3],[40,26,27],[42,10,3],[43,28,3],[46,28,27],[47,11,3],[48,12,3],[49,30,3],[50,31,3],[51,29,3],[52,30,27],[53,13,3],[56,31,27],[58,14,3],[60,29,27],[63,15,3],[64,16,3],[65,33,3],[67,32,3],[68,33,27],[69,17,3],[70,34,3],[73,34,27],[74,18,3],[76,32,27],[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,4],[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,4],[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,4],[5,3,4],[5,4,1],[5,5,0],[5,6,1],[5,7,1],[5,8,4],[5,9,2],[5,11,4],[5,12,4],[5,13,2],[5,14,4],[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,4],[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,4],[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,4],[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,3],[10,29,3],[10,38,3],[10,41,3],[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,4],[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,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,4],[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,4],[20,24,2],[20,45,16],[20,55,13],[20,61,10],[20,75,17],[21,11,3],[21,14,3],[21,17,2],[21,18,4],[21,20,1],[21,21,0],[21,22,1],[21,24,4],[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,4],[22,23,1],[22,25,4],[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,4],[25,24,1],[25,28,4],[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,4],[26,25,1],[26,26,0],[26,27,1],[26,29,4],[26,30,2],[26,39,2],[26,45,1],[26,55,3],[26,61,3],[26,75,1],[26,78,2],[27,11,10],[27,14,13],[27,23,2],[27,30,4],[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,4],[30,29,1],[30,45,16],[30,75,17],[31,11,3],[31,14,3],[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,4],[32,40,2],[32,41,4],[32,59,3],[32,62,3],[32,75,1],[32,78,2],[33,2,10],[33,8,13],[33,28,17],[33,36,4],[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,4],[34,40,4],[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,4],[36,38,1],[36,75,16],[37,2,3],[37,8,3],[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,4],[40,41,1],[40,44,2],[40,45,4],[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,3],[42,8,3],[42,19,2],[42,28,1],[42,34,2],[42,35,4],[42,40,1],[42,42,0],[42,43,1],[42,44,4],[42,46,2],[42,59,5],[42,62,5],[42,75,2],[42,78,1],[43,19,17],[43,35,2],[43,46,4],[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,4],[46,44,1],[46,59,8],[46,62,6],[46,78,16],[47,43,2],[47,46,1],[47,47,0],[47,59,3],[47,62,3],[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,4],[48,55,4],[48,56,2],[48,57,4],[48,59,4],[48,60,2],[48,61,4],[48,62,4],[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,4],[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,4],[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,4],[51,75,5],[52,18,8],[52,19,9],[52,24,6],[52,39,5],[52,49,4],[52,54,1],[52,55,1],[52,66,8],[52,72,6],[52,75,7],[53,18,3],[53,24,3],[53,49,2],[53,52,1],[53,53,0],[53,66,3],[53,72,3],[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,4],[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,3],[58,44,3],[58,50,2],[58,56,1],[58,58,0],[58,66,3],[58,72,3],[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,4],[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,3],[63,24,3],[63,35,3],[63,44,3],[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,3],[64,57,3],[64,64,0],[64,65,1],[64,67,1],[64,68,2],[64,71,4],[64,76,2],[64,77,4],[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,4],[65,77,2],[65,78,4],[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,4],[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,4],[68,71,1],[68,72,2],[68,75,4],[69,3,3],[69,12,3],[69,19,2],[69,28,1],[69,39,1],[69,45,2],[69,54,5],[69,57,5],[69,65,2],[69,66,4],[69,68,1],[69,69,0],[69,70,1],[69,72,4],[69,73,2],[70,19,16],[70,45,17],[70,54,10],[70,57,13],[70,66,2],[70,73,4],[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,4],[73,72,1],[74,54,3],[74,57,3],[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,4],[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,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,4],[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,4],[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,4],[5,3,4],[5,4,1],[5,5,0],[5,6,1],[5,7,1],[5,8,4],[5,9,2],[5,11,4],[5,12,4],[5,13,2],[5,14,4],[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,4],[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,4],[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,4],[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,3],[10,29,3],[10,38,3],[10,41,3],[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,4],[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,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,4],[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,4],[20,24,2],[20,45,17],[20,55,10],[20,61,13],[20,75,16],[21,11,3],[21,14,3],[21,17,2],[21,18,4],[21,20,1],[21,21,0],[21,22,1],[21,24,4],[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,4],[22,23,1],[22,25,4],[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,4],[25,24,1],[25,28,4],[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,4],[26,25,1],[26,26,0],[26,27,1],[26,29,4],[26,30,2],[26,39,2],[26,45,1],[26,55,3],[26,61,3],[26,75,1],[26,78,2],[27,11,13],[27,14,10],[27,23,2],[27,30,4],[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,4],[30,29,1],[30,45,17],[30,75,16],[31,11,3],[31,14,3],[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,4],[32,40,2],[32,41,4],[32,59,3],[32,62,3],[32,75,1],[32,78,2],[33,2,13],[33,8,10],[33,28,16],[33,36,4],[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,4],[34,40,4],[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,4],[36,38,1],[36,75,17],[37,2,3],[37,8,3],[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,4],[40,41,1],[40,44,2],[40,45,4],[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,3],[42,8,3],[42,19,2],[42,28,1],[42,34,2],[42,35,4],[42,40,1],[42,42,0],[42,43,1],[42,44,4],[42,46,2],[42,59,5],[42,62,5],[42,75,2],[42,78,1],[43,19,16],[43,35,2],[43,46,4],[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,4],[46,44,1],[46,59,6],[46,62,8],[46,78,17],[47,43,2],[47,46,1],[47,47,0],[47,59,3],[47,62,3],[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,4],[48,55,4],[48,56,2],[48,57,4],[48,59,4],[48,60,2],[48,61,4],[48,62,4],[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,4],[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,4],[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,4],[51,75,5],[52,18,6],[52,19,7],[52,24,8],[52,39,5],[52,49,4],[52,54,1],[52,55,1],[52,66,6],[52,72,8],[52,75,9],[53,18,3],[53,24,3],[53,49,2],[53,52,1],[53,53,0],[53,66,3],[53,72,3],[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,4],[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,3],[58,44,3],[58,50,2],[58,56,1],[58,58,0],[58,66,3],[58,72,3],[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,4],[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,3],[63,24,3],[63,35,3],[63,44,3],[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,3],[64,57,3],[64,64,0],[64,65,1],[64,67,1],[64,68,2],[64,71,4],[64,76,2],[64,77,4],[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,4],[65,77,2],[65,78,4],[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,4],[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,4],[68,71,1],[68,72,2],[68,75,4],[69,3,3],[69,12,3],[69,19,2],[69,28,1],[69,39,1],[69,45,2],[69,54,5],[69,57,5],[69,65,2],[69,66,4],[69,68,1],[69,69,0],[69,70,1],[69,72,4],[69,73,2],[70,19,17],[70,45,16],[70,54,13],[70,57,10],[70,66,2],[70,73,4],[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,4],[73,72,1],[74,54,3],[74,57,3],[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,4],[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,3],[79,12,3],[79,67,2],[79,76,1],[79,79,0]]}},"target_matrices":{"e_0":{"shape":[35,35],"entries":[[2,0,0],[2,1,26],[2,2,0],[2,16,3],[2,18,3],[2,30,3],[2,34,3],[3,3,0],[3,15,27],[3,17,27],[3,31,3],[4,4,0],[4,14,3],[4,32,3],[5,5,0],[5,19,3],[5,29,27],[5,33,27],[6,6,0],[6,20,3],[6,28,3],[9,7,0],[9,8,26],[9,9,0],[9,23,3],[9,27,3],[10,10,0],[10,22,27],[10,26,27],[11,11,0],[11,21,3],[12,12,0],[12,24,3],[13,13,0],[13,25,3]]},"e_1":{"shape":[35,35],"entries":[[14,0,3],[14,4,3],[14,14,0],[14,15,28],[14,16,0],[17,1,3],[17,3,27],[17,17,0],[18,2,3],[18,18,0],[19,5,3],[19,19,0],[20,6,3],[20,20,0],[21,7,3],[21,11,3],[21,21,0],[21,22,28],[21,23,0],[21,28,3],[21,32,3],[24,12,3],[24,24,0],[24,29,3],[24,31,27],[25,13,3],[25,25,0],[25,30,3],[26,8,3],[26,10,27],[26,26,0],[26,33,3],[27,9,3],[27,27,0],[27,34,3]]},"e_2":{"shape":[35,35],"entries":[[0,0,0],[0,7,3],[0,14,3],[1,1,0],[1,8,3],[1,15,3],[1,17,3],[2,2,0],[2,3,28],[2,4,0],[2,9,3],[2,13,3],[2,16,3],[2,18,3],[5,5,0],[5,10,3],[5,12,27],[5,19,3],[6,6,0],[6,11,3],[6,20,3],[28,21,3],[28,28,0],[29,22,3],[29,24,3],[29,29,0],[30,23,3],[30,25,3],[30,30,0],[30,31,28],[30,32,0],[33,26,3],[33,33,0],[34,27,3],[34,34,0]]},"e_3":{"shape":[35,35],"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],[11,4,3],[11,6,3],[11,11,0],[11,12,28],[11,13,0],[21,14,3],[21,20,3],[21,21,0],[21,24,28],[21,25,0],[21,28,3],[21,32,3],[22,15,3],[22,22,0],[22,29,3],[22,31,27],[23,16,3],[23,23,0],[23,30,3],[26,17,3],[26,19,27],[26,26,0],[26,33,3],[27,18,3],[27,27,0],[27,34,3]]},"e_4":{"shape":[35,35],"entries":[[0,0,0],[0,7,3],[0,28,3],[1,1,0],[1,8,3],[1,29,3],[1,33,3],[2,2,0],[2,5,28],[2,6,0],[2,9,3],[2,13,3],[2,30,3],[2,34,3],[3,3,0],[3,10,3],[3,12,27],[3,31,3],[4,4,0],[4,11,3],[4,32,3],[14,14,0],[14,21,3],[15,15,0],[15,22,3],[16,16,0],[16,23,3],[17,17,0],[17,24,3],[17,26,3],[18,18,0],[18,19,28],[18,20,0],[18,25,3],[18,27,3]]},"e_5":{"shape":[35,35],"entries":[[21,7,3],[21,11,3],[21,14,3],[21,20,3],[21,21,0],[21,26,28],[21,27,0],[22,8,3],[22,10,27],[22,15,3],[22,22,0],[23,9,3],[23,16,3],[23,23,0],[24,12,3],[24,17,3],[24,19,27],[24,24,0],[25,13,3],[25,18,3],[25,25,0],[28,0,3],[28,6,3],[28,28,0],[28,33,28],[28,34,0],[29,1,3],[29,5,27],[29,29,0],[30,2,3],[30,30,0],[31,3,3],[31,31,0],[32,4,3],[32,32,0]]},"Omega":{"shape":[35,35],"entries":[[0,23,3],[1,22,27],[2,21,3],[3,24,3],[4,25,3],[5,26,3],[6,27,3],[7,16,3],[8,15,27],[9,14,3],[10,17,3],[11,18,3],[12,19,3],[13,20,3],[14,30,3],[15,31,3],[16,32,3],[17,29,27],[18,28,3],[19,33,3],[20,34,3],[21,2,3],[22,3,3],[23,4,3],[24,5,3],[25,6,3],[26,1,27],[27,0,3],[28,9,3],[29,10,3],[30,11,3],[31,12,3],[32,13,3],[33,8,27],[34,7,3]]},"F":{"shape":[35,35],"entries":[[0,0,0],[0,1,26],[1,1,0],[2,1,28],[2,2,0],[2,3,26],[2,5,26],[3,3,0],[4,3,28],[4,4,0],[5,5,0],[6,5,28],[6,6,0],[7,7,0],[7,8,26],[8,8,0],[9,8,28],[9,9,0],[9,10,26],[10,10,0],[11,10,28],[11,11,0],[11,12,26],[12,12,0],[13,12,28],[13,13,0],[14,14,0],[14,15,26],[14,17,26],[15,15,0],[16,15,28],[16,16,0],[17,17,0],[18,17,28],[18,18,0],[18,19,26],[19,19,0],[20,19,28],[20,20,0],[21,21,0],[21,22,26],[21,24,26],[21,26,26],[22,22,0],[23,22,28],[23,23,0],[24,24,0],[25,24,28],[25,25,0],[26,26,0],[27,26,28],[27,27,0],[28,28,0],[28,29,26],[28,33,26],[29,29,0],[30,29,28],[30,30,0],[30,31,26],[31,31,0],[32,31,28],[32,32,0],[33,33,0],[34,33,28],[34,34,0]]},"Fbar":{"shape":[35,35],"entries":[[0,0,0],[0,1,26],[1,1,0],[2,1,28],[2,2,0],[2,3,26],[2,5,26],[3,3,0],[4,3,28],[4,4,0],[5,5,0],[6,5,28],[6,6,0],[7,7,0],[7,8,26],[8,8,0],[9,8,28],[9,9,0],[9,10,26],[10,10,0],[11,10,28],[11,11,0],[11,12,26],[12,12,0],[13,12,28],[13,13,0],[14,14,0],[14,15,26],[14,17,26],[15,15,0],[16,15,28],[16,16,0],[17,17,0],[18,17,28],[18,18,0],[18,19,26],[19,19,0],[20,19,28],[20,20,0],[21,21,0],[21,22,26],[21,24,26],[21,26,26],[22,22,0],[23,22,28],[23,23,0],[24,24,0],[25,24,28],[25,25,0],[26,26,0],[27,26,28],[27,27,0],[28,28,0],[28,29,26],[28,33,26],[29,29,0],[30,29,28],[30,30,0],[30,31,26],[31,31,0],[32,31,28],[32,32,0],[33,33,0],[34,33,28],[34,34,0]]},"N":{"shape":[35,35],"entries":[[0,1,26],[2,1,28],[2,3,26],[2,5,26],[4,3,28],[6,5,28],[7,8,26],[9,8,28],[9,10,26],[11,10,28],[11,12,26],[13,12,28],[14,15,26],[14,17,26],[16,15,28],[18,17,28],[18,19,26],[20,19,28],[21,22,26],[21,24,26],[21,26,26],[23,22,28],[25,24,28],[27,26,28],[28,29,26],[28,33,26],[30,29,28],[30,31,26],[32,31,28],[34,33,28]]},"M":{"shape":[35,35],"entries":[[0,1,26],[2,1,28],[2,3,26],[2,5,26],[4,3,28],[6,5,28],[7,8,26],[9,8,28],[9,10,26],[11,10,28],[11,12,26],[13,12,28],[14,15,26],[14,17,26],[16,15,28],[18,17,28],[18,19,26],[20,19,28],[21,22,26],[21,24,26],[21,26,26],[23,22,28],[25,24,28],[27,26,28],[28,29,26],[28,33,26],[30,29,28],[30,31,26],[32,31,28],[34,33,28]]},"D":{"shape":[35,35],"entries":[]},"kernel_basis":{"shape":[80,35],"entries":[[0,0,3],[1,1,27],[4,1,3],[5,2,3],[6,3,27],[7,5,27],[9,3,3],[10,4,3],[13,5,3],[15,6,3],[16,7,3],[17,8,27],[20,8,3],[21,9,3],[22,10,27],[25,10,3],[26,11,3],[27,12,27],[30,12,3],[31,13,3],[32,14,3],[33,15,27],[34,17,27],[36,15,3],[37,16,3],[40,17,3],[42,18,3],[43,19,27],[46,19,3],[47,20,3],[48,21,3],[49,22,27],[50,24,27],[51,26,27],[52,22,3],[53,23,3],[56,24,3],[58,25,3],[60,26,3],[63,27,3],[64,28,3],[65,29,27],[67,33,27],[68,29,3],[69,30,3],[70,31,27],[73,31,3],[74,32,3],[76,33,3],[79,34,3]]}},"rank_certificates":[{"power":1,"rank":60,"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,28,32,33,34,35,36,37,38,39,40,42,43,44,48,49,50,51,52,53,54,55,56,57,58,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,62,65,66,67,68,70,71,72,73,75,76,77,78],"minor_determinant_coeff_id":29,"right_kernel":{"shape":[80,20],"entries":[[0,0,3],[5,1,3],[10,2,3],[15,3,3],[16,4,3],[21,5,3],[26,6,3],[31,7,3],[32,8,3],[37,9,3],[42,10,3],[47,11,3],[48,12,3],[53,13,3],[58,14,3],[63,15,3],[64,16,3],[69,17,3],[74,18,3],[79,19,3]]},"kernel_identity_rows":[0,5,10,15,16,21,26,31,32,37,42,47,48,53,58,63,64,69,74,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":30,"right_kernel":{"shape":[80,35],"entries":[[0,0,3],[1,1,27],[4,1,3],[5,2,3],[6,3,27],[7,5,27],[9,3,3],[10,4,3],[13,5,3],[15,6,3],[16,7,3],[17,8,27],[20,8,3],[21,9,3],[22,10,27],[25,10,3],[26,11,3],[27,12,27],[30,12,3],[31,13,3],[32,14,3],[33,15,27],[34,17,27],[36,15,3],[37,16,3],[40,17,3],[42,18,3],[43,19,27],[46,19,3],[47,20,3],[48,21,3],[49,22,27],[50,24,27],[51,26,27],[52,22,3],[53,23,3],[56,24,3],[58,25,3],[60,26,3],[63,27,3],[64,28,3],[65,29,27],[67,33,27],[68,29,3],[69,30,3],[70,31,27],[73,31,3],[74,32,3],[76,33,3],[79,34,3]]},"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":31,"right_kernel":{"shape":[80,35],"entries":[[0,0,3],[1,1,27],[4,1,3],[5,2,3],[6,3,27],[7,5,27],[9,3,3],[10,4,3],[13,5,3],[15,6,3],[16,7,3],[17,8,27],[20,8,3],[21,9,3],[22,10,27],[25,10,3],[26,11,3],[27,12,27],[30,12,3],[31,13,3],[32,14,3],[33,15,27],[34,17,27],[36,15,3],[37,16,3],[40,17,3],[42,18,3],[43,19,27],[46,19,3],[47,20,3],[48,21,3],[49,22,27],[50,24,27],[51,26,27],[52,22,3],[53,23,3],[56,24,3],[58,25,3],[60,26,3],[63,27,3],[64,28,3],[65,29,27],[67,33,27],[68,29,3],[69,30,3],[70,31,27],[73,31,3],[74,32,3],[76,33,3],[79,34,3]]},"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"],["5/2","0","0","0"],["1","0","0","0"],["1","0","1","-1"],["5","0","0","0"],["0","5/2","0","0"],["1","0","1","0"],["5/2","-5/2","5/2","-5/2"],["1","0","0","-1"],["0","2","0","0"],["0","0","1","0"],["0","0","0","-1"],["2","-2","2","-2"],["5/2","0","5/2","-5/2"],["2","0","2","-2"],["0","1","0","0"],["1","-1","1","-1"],["0","0","5/2","0"],["0","0","0","-5/2"],["0","0","0","1"],["0","0","-1","0"],["0","5","0","0"],["5","-5","5","-5"],["0","0","2","0"],["0","0","0","-2"],["1/2","0","0","0"],["-1","0","0","0"],["-1/2","0","0","0"],["-1024031403/134217728","0","-1263602673/268435456","1263602673/268435456"],["-13747530175453841124447661275/268435456","0","-2287759519270695210654283425/67108864","2287759519270695210654283425/67108864"],["5352851879295942553873219850090625/8192","0","413530566535934742876138338878125/1024","-413530566535934742876138338878125/1024"]],"elapsed_seconds":3.395}