{"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":19,"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,0],[1,20,0],[4,20,0],[5,1,0],[6,21,0],[7,22,0],[9,21,0],[10,2,0],[13,22,0],[15,3,0],[16,4,0],[17,23,0],[20,23,0],[21,5,0],[22,24,0],[25,24,0],[26,6,0],[27,25,0],[30,25,0],[31,7,0],[32,8,0],[33,27,0],[34,26,0],[36,27,0],[37,9,0],[40,26,0],[42,10,0],[43,28,0],[46,28,0],[47,11,0],[48,12,0],[49,30,0],[50,31,0],[51,29,0],[52,30,0],[53,13,0],[56,31,0],[58,14,0],[60,29,0],[63,15,0],[64,16,0],[65,33,0],[67,32,0],[68,33,0],[69,17,0],[70,34,0],[73,34,0],[74,18,0],[76,32,0],[79,19,0]]},"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,0],[5,38,0],[5,41,0],[5,42,0],[5,69,0],[5,71,0],[5,77,0],[5,79,0],[6,2,1],[6,6,3],[6,36,0],[6,40,0],[6,70,0],[6,78,0],[7,3,1],[7,7,3],[7,39,0],[7,43,0],[7,68,0],[7,76,0],[9,8,2],[9,9,3],[9,33,0],[9,34,0],[9,73,0],[9,75,0],[10,10,3],[10,32,0],[10,74,0],[11,11,3],[11,35,0],[11,72,0],[13,12,2],[13,13,3],[13,45,0],[13,46,0],[13,65,0],[13,67,0],[14,14,3],[14,44,0],[14,66,0],[15,15,3],[15,47,0],[15,64,0],[21,16,0],[21,17,1],[21,20,2],[21,21,3],[21,53,0],[21,55,0],[21,61,0],[21,63,0],[22,18,1],[22,22,3],[22,52,0],[22,60,0],[23,19,1],[23,23,3],[23,54,0],[23,62,0],[25,24,2],[25,25,3],[25,49,0],[25,51,0],[26,26,3],[26,48,0],[27,27,3],[27,50,0],[29,28,2],[29,29,3],[29,57,0],[29,59,0],[30,30,3],[30,56,0],[31,31,3],[31,58,0]]},"e_1":{"shape":[80,80],"entries":[[32,0,0],[32,2,0],[32,8,0],[32,10,0],[32,32,3],[32,33,2],[32,36,1],[32,37,0],[34,1,0],[34,9,0],[34,34,3],[34,38,1],[35,3,0],[35,11,0],[35,35,3],[35,39,1],[40,4,0],[40,6,0],[40,40,3],[40,41,2],[42,5,0],[42,42,3],[43,7,0],[43,43,3],[44,12,0],[44,14,0],[44,44,3],[44,45,2],[46,13,0],[46,46,3],[47,15,0],[47,47,3],[48,16,0],[48,18,0],[48,24,0],[48,26,0],[48,48,3],[48,49,2],[48,52,1],[48,53,0],[48,64,0],[48,66,0],[48,72,0],[48,74,0],[50,19,0],[50,27,0],[50,50,3],[50,54,1],[50,65,0],[50,73,0],[51,17,0],[51,25,0],[51,51,3],[51,55,1],[51,67,0],[51,75,0],[56,28,0],[56,30,0],[56,56,3],[56,57,2],[56,68,0],[56,70,0],[58,31,0],[58,58,3],[58,69,0],[59,29,0],[59,59,3],[59,71,0],[60,20,0],[60,22,0],[60,60,3],[60,61,2],[60,76,0],[60,78,0],[62,23,0],[62,62,3],[62,77,0],[63,21,0],[63,63,3],[63,79,0]]},"e_2":{"shape":[80,80],"entries":[[0,0,3],[0,16,0],[0,32,0],[1,1,3],[1,2,2],[1,17,0],[1,19,0],[1,33,0],[1,34,0],[3,3,3],[3,18,0],[3,35,0],[4,4,3],[4,8,1],[4,20,0],[4,28,0],[4,36,0],[4,40,0],[5,5,3],[5,6,2],[5,9,1],[5,10,0],[5,21,0],[5,23,0],[5,29,0],[5,31,0],[5,37,0],[5,38,0],[5,41,0],[5,42,0],[7,7,3],[7,11,1],[7,22,0],[7,30,0],[7,39,0],[7,43,0],[12,12,3],[12,24,0],[12,44,0],[13,13,3],[13,14,2],[13,25,0],[13,27,0],[13,45,0],[13,46,0],[15,15,3],[15,26,0],[15,47,0],[64,48,0],[64,64,3],[65,49,0],[65,50,0],[65,65,3],[65,66,2],[67,51,0],[67,67,3],[68,52,0],[68,56,0],[68,68,3],[68,72,1],[69,53,0],[69,54,0],[69,57,0],[69,58,0],[69,69,3],[69,70,2],[69,73,1],[69,74,0],[71,55,0],[71,59,0],[71,71,3],[71,75,1],[76,60,0],[76,76,3],[77,61,0],[77,62,0],[77,77,3],[77,78,2],[79,63,0],[79,79,3]]},"e_3":{"shape":[80,80],"entries":[[16,0,0],[16,16,3],[17,1,0],[17,17,3],[18,2,0],[18,3,0],[18,18,3],[18,19,2],[20,4,0],[20,20,3],[21,5,0],[21,21,3],[22,6,0],[22,7,0],[22,22,3],[22,23,2],[24,8,0],[24,12,0],[24,24,3],[24,28,1],[25,9,0],[25,13,0],[25,25,3],[25,29,1],[26,10,0],[26,11,0],[26,14,0],[26,15,0],[26,26,3],[26,27,2],[26,30,1],[26,31,0],[48,32,0],[48,35,0],[48,44,0],[48,47,0],[48,48,3],[48,50,2],[48,56,1],[48,58,0],[48,64,0],[48,66,0],[48,72,0],[48,74,0],[49,33,0],[49,45,0],[49,49,3],[49,57,1],[49,65,0],[49,73,0],[51,34,0],[51,46,0],[51,51,3],[51,59,1],[51,67,0],[51,75,0],[52,36,0],[52,39,0],[52,52,3],[52,54,2],[52,68,0],[52,70,0],[53,37,0],[53,53,3],[53,69,0],[55,38,0],[55,55,3],[55,71,0],[60,40,0],[60,43,0],[60,60,3],[60,62,2],[60,76,0],[60,78,0],[61,41,0],[61,61,3],[61,77,0],[63,42,0],[63,63,3],[63,79,0]]},"e_4":{"shape":[80,80],"entries":[[0,0,3],[0,16,0],[0,64,0],[1,1,3],[1,3,2],[1,17,0],[1,19,0],[1,65,0],[1,67,0],[2,2,3],[2,18,0],[2,66,0],[4,4,3],[4,12,1],[4,20,0],[4,28,0],[4,68,0],[4,76,0],[5,5,3],[5,7,2],[5,13,1],[5,15,0],[5,21,0],[5,23,0],[5,29,0],[5,31,0],[5,69,0],[5,71,0],[5,77,0],[5,79,0],[6,6,3],[6,14,1],[6,22,0],[6,30,0],[6,70,0],[6,78,0],[8,8,3],[8,24,0],[8,72,0],[9,9,3],[9,11,2],[9,25,0],[9,27,0],[9,73,0],[9,75,0],[10,10,3],[10,26,0],[10,74,0],[32,32,3],[32,48,0],[33,33,3],[33,49,0],[34,34,3],[34,35,2],[34,50,0],[34,51,0],[36,36,3],[36,52,0],[37,37,3],[37,53,0],[38,38,3],[38,39,2],[38,54,0],[38,55,0],[40,40,3],[40,44,1],[40,56,0],[40,60,0],[41,41,3],[41,45,1],[41,57,0],[41,61,0],[42,42,3],[42,43,2],[42,46,1],[42,47,0],[42,58,0],[42,59,0],[42,62,0],[42,63,0]]},"e_5":{"shape":[80,80],"entries":[[48,16,0],[48,18,0],[48,24,0],[48,26,0],[48,32,0],[48,35,0],[48,44,0],[48,47,0],[48,48,3],[48,51,2],[48,60,1],[48,63,0],[49,17,0],[49,25,0],[49,33,0],[49,45,0],[49,49,3],[49,61,1],[50,19,0],[50,27,0],[50,34,0],[50,46,0],[50,50,3],[50,62,1],[52,20,0],[52,22,0],[52,36,0],[52,39,0],[52,52,3],[52,55,2],[53,21,0],[53,37,0],[53,53,3],[54,23,0],[54,38,0],[54,54,3],[56,28,0],[56,30,0],[56,40,0],[56,43,0],[56,56,3],[56,59,2],[57,29,0],[57,41,0],[57,57,3],[58,31,0],[58,42,0],[58,58,3],[64,0,0],[64,3,0],[64,12,0],[64,15,0],[64,64,3],[64,67,2],[64,76,1],[64,79,0],[65,1,0],[65,13,0],[65,65,3],[65,77,1],[66,2,0],[66,14,0],[66,66,3],[66,78,1],[68,4,0],[68,7,0],[68,68,3],[68,71,2],[69,5,0],[69,69,3],[70,6,0],[70,70,3],[72,8,0],[72,11,0],[72,72,3],[72,75,2],[73,9,0],[73,73,3],[74,10,0],[74,74,3]]},"Omega":{"shape":[80,80],"entries":[[0,53,0],[1,52,0],[2,54,0],[3,55,0],[4,49,0],[5,48,0],[6,50,0],[7,51,0],[8,57,0],[9,56,0],[10,58,0],[11,59,0],[12,61,0],[13,60,0],[14,62,0],[15,63,0],[16,37,0],[17,36,0],[18,38,0],[19,39,0],[20,33,0],[21,32,0],[22,34,0],[23,35,0],[24,41,0],[25,40,0],[26,42,0],[27,43,0],[28,45,0],[29,44,0],[30,46,0],[31,47,0],[32,69,0],[33,70,0],[34,68,0],[35,71,0],[36,73,0],[37,74,0],[38,72,0],[39,75,0],[40,65,0],[41,66,0],[42,64,0],[43,67,0],[44,77,0],[45,78,0],[46,76,0],[47,79,0],[48,5,0],[49,6,0],[50,7,0],[51,4,0],[52,9,0],[53,10,0],[54,11,0],[55,8,0],[56,13,0],[57,14,0],[58,15,0],[59,12,0],[60,1,0],[61,2,0],[62,3,0],[63,0,0],[64,21,0],[65,22,0],[66,23,0],[67,20,0],[68,25,0],[69,26,0],[70,27,0],[71,24,0],[72,29,0],[73,30,0],[74,31,0],[75,28,0],[76,17,0],[77,18,0],[78,19,0],[79,16,0]]},"F":{"shape":[80,80],"entries":[[0,0,0],[0,1,1],[0,4,2],[0,38,0],[0,41,0],[0,71,0],[0,77,0],[1,2,1],[1,3,1],[1,4,0],[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,0],[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,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,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,0],[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,0],[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,0],[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,0],[10,29,0],[10,38,0],[10,41,0],[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,0],[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,0],[15,29,0],[15,71,0],[15,77,0],[16,16,0],[16,17,1],[16,20,2],[16,55,0],[16,61,0],[17,18,1],[17,20,0],[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,3],[19,78,3],[20,17,0],[20,24,2],[20,45,6],[20,55,12],[20,61,9],[20,75,8],[21,11,0],[21,14,0],[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,4],[21,61,4],[21,75,2],[21,78,1],[22,11,5],[22,14,7],[22,18,2],[22,19,0],[22,23,1],[22,25,0],[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,0],[25,24,1],[25,28,0],[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,0],[26,25,1],[26,26,0],[26,27,1],[26,29,0],[26,30,2],[26,39,2],[26,45,1],[26,55,0],[26,61,0],[26,75,1],[26,78,2],[27,11,9],[27,14,12],[27,23,2],[27,30,0],[27,39,6],[27,78,8],[28,45,3],[28,75,3],[29,11,11],[29,14,10],[29,28,1],[29,45,13],[29,75,14],[30,11,7],[30,14,5],[30,27,0],[30,29,1],[30,45,6],[30,75,8],[31,11,0],[31,14,0],[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,0],[32,40,2],[32,41,0],[32,59,0],[32,62,0],[32,75,1],[32,78,2],[33,2,9],[33,8,12],[33,28,8],[33,36,0],[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,0],[34,40,0],[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,0],[36,38,1],[36,75,6],[37,2,0],[37,8,0],[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,3],[39,75,3],[40,2,5],[40,8,7],[40,19,6],[40,28,16],[40,34,0],[40,41,1],[40,44,2],[40,45,0],[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,0],[42,8,0],[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,4],[42,62,4],[42,75,2],[42,78,1],[43,19,8],[43,35,2],[43,46,0],[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,3],[45,78,3],[46,28,8],[46,43,0],[46,44,1],[46,59,7],[46,62,5],[46,78,6],[47,43,2],[47,46,1],[47,47,0],[47,59,0],[47,62,0],[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,0],[48,55,0],[48,56,2],[48,57,0],[48,59,0],[48,60,2],[48,61,0],[48,62,0],[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,0],[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,0],[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,0],[51,75,4],[52,18,7],[52,19,8],[52,24,5],[52,39,4],[52,49,0],[52,54,1],[52,55,1],[52,66,7],[52,72,5],[52,75,6],[53,18,0],[53,24,0],[53,49,2],[53,52,1],[53,53,0],[53,66,0],[53,72,0],[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,0],[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,0],[58,44,0],[58,50,2],[58,56,1],[58,58,0],[58,66,0],[58,72,0],[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,0],[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,0],[63,24,0],[63,35,0],[63,44,0],[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,0],[64,57,0],[64,64,0],[64,65,1],[64,67,1],[64,68,2],[64,71,0],[64,76,2],[64,77,0],[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,0],[65,77,2],[65,78,0],[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,0],[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,0],[68,71,1],[68,72,2],[68,75,0],[69,3,0],[69,12,0],[69,19,2],[69,28,1],[69,39,1],[69,45,2],[69,54,4],[69,57,4],[69,65,2],[69,66,0],[69,68,1],[69,69,0],[69,70,1],[69,72,0],[69,73,2],[70,19,6],[70,45,8],[70,54,9],[70,57,12],[70,66,2],[70,73,0],[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,0],[73,72,1],[74,54,0],[74,57,0],[74,70,2],[74,73,1],[74,74,0],[75,28,3],[75,39,3],[76,3,5],[76,12,7],[76,19,6],[76,45,8],[76,67,0],[76,77,1],[77,3,10],[77,12,11],[77,19,13],[77,45,14],[77,78,1],[78,19,3],[78,45,3],[79,3,0],[79,12,0],[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,0],[0,41,0],[0,71,0],[0,77,0],[1,2,1],[1,3,1],[1,4,0],[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,0],[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,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,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,0],[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,0],[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,0],[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,0],[10,29,0],[10,38,0],[10,41,0],[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,0],[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,0],[15,29,0],[15,71,0],[15,77,0],[16,16,0],[16,17,1],[16,20,2],[16,55,0],[16,61,0],[17,18,1],[17,20,0],[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,3],[19,78,3],[20,17,0],[20,24,2],[20,45,8],[20,55,9],[20,61,12],[20,75,6],[21,11,0],[21,14,0],[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,4],[21,61,4],[21,75,2],[21,78,1],[22,11,7],[22,14,5],[22,18,2],[22,19,0],[22,23,1],[22,25,0],[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,0],[25,24,1],[25,28,0],[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,0],[26,25,1],[26,26,0],[26,27,1],[26,29,0],[26,30,2],[26,39,2],[26,45,1],[26,55,0],[26,61,0],[26,75,1],[26,78,2],[27,11,12],[27,14,9],[27,23,2],[27,30,0],[27,39,8],[27,78,6],[28,45,3],[28,75,3],[29,11,10],[29,14,11],[29,28,1],[29,45,14],[29,75,13],[30,11,5],[30,14,7],[30,27,0],[30,29,1],[30,45,8],[30,75,6],[31,11,0],[31,14,0],[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,0],[32,40,2],[32,41,0],[32,59,0],[32,62,0],[32,75,1],[32,78,2],[33,2,12],[33,8,9],[33,28,6],[33,36,0],[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,0],[34,40,0],[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,0],[36,38,1],[36,75,8],[37,2,0],[37,8,0],[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,3],[39,75,3],[40,2,7],[40,8,5],[40,19,8],[40,28,15],[40,34,0],[40,41,1],[40,44,2],[40,45,0],[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,0],[42,8,0],[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,4],[42,62,4],[42,75,2],[42,78,1],[43,19,6],[43,35,2],[43,46,0],[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,3],[45,78,3],[46,28,6],[46,43,0],[46,44,1],[46,59,5],[46,62,7],[46,78,8],[47,43,2],[47,46,1],[47,47,0],[47,59,0],[47,62,0],[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,0],[48,55,0],[48,56,2],[48,57,0],[48,59,0],[48,60,2],[48,61,0],[48,62,0],[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,0],[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,0],[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,0],[51,75,4],[52,18,5],[52,19,6],[52,24,7],[52,39,4],[52,49,0],[52,54,1],[52,55,1],[52,66,5],[52,72,7],[52,75,8],[53,18,0],[53,24,0],[53,49,2],[53,52,1],[53,53,0],[53,66,0],[53,72,0],[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,0],[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,0],[58,44,0],[58,50,2],[58,56,1],[58,58,0],[58,66,0],[58,72,0],[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,0],[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,0],[63,24,0],[63,35,0],[63,44,0],[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,0],[64,57,0],[64,64,0],[64,65,1],[64,67,1],[64,68,2],[64,71,0],[64,76,2],[64,77,0],[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,0],[65,77,2],[65,78,0],[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,0],[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,0],[68,71,1],[68,72,2],[68,75,0],[69,3,0],[69,12,0],[69,19,2],[69,28,1],[69,39,1],[69,45,2],[69,54,4],[69,57,4],[69,65,2],[69,66,0],[69,68,1],[69,69,0],[69,70,1],[69,72,0],[69,73,2],[70,19,8],[70,45,6],[70,54,12],[70,57,9],[70,66,2],[70,73,0],[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,0],[73,72,1],[74,54,0],[74,57,0],[74,70,2],[74,73,1],[74,74,0],[75,28,3],[75,39,3],[76,3,7],[76,12,5],[76,19,8],[76,45,6],[76,67,0],[76,77,1],[77,3,11],[77,12,10],[77,19,14],[77,45,13],[77,78,1],[78,19,3],[78,45,3],[79,3,0],[79,12,0],[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,3],[2,17,0],[2,19,20],[2,20,0],[2,28,22],[2,31,23],[2,35,0],[2,40,20],[2,41,21],[2,42,0],[3,3,3],[3,16,0],[3,18,0],[3,19,22],[3,28,25],[3,31,26],[3,37,0],[3,41,24],[4,4,3],[4,15,0],[4,38,0],[5,5,3],[5,21,0],[5,28,23],[5,31,22],[5,34,0],[5,36,28],[5,39,0],[5,40,22],[5,41,27],[6,6,3],[6,22,0],[6,33,0],[9,7,0],[9,8,19],[9,9,3],[9,25,0],[9,28,22],[9,30,20],[9,31,23],[9,32,0],[9,41,21],[10,10,3],[10,24,0],[10,28,29],[10,29,0],[10,30,22],[10,31,30],[10,36,28],[10,41,2],[11,11,3],[11,23,0],[12,12,3],[12,28,32],[12,31,33],[12,36,3],[12,41,31],[13,13,3],[13,26,0],[14,14,3],[14,27,0]]},"e_1":{"shape":[43,43],"entries":[[15,0,0],[15,4,0],[15,15,3],[15,16,19],[15,17,0],[15,19,35],[15,28,36],[15,31,37],[15,41,34],[18,1,0],[18,3,0],[18,12,28],[18,18,3],[18,19,1],[18,28,39],[18,31,28],[18,41,38],[20,2,0],[20,20,3],[21,5,0],[21,21,3],[22,6,0],[22,22,3],[23,7,0],[23,11,0],[23,23,3],[23,24,19],[23,25,0],[23,28,42],[23,30,35],[23,31,20],[23,33,0],[23,36,40],[23,38,0],[23,41,41],[26,13,0],[26,26,3],[26,28,22],[26,31,23],[26,34,0],[26,36,43],[26,37,0],[26,41,44],[27,14,0],[27,27,3],[27,35,0],[28,12,0],[28,28,3],[28,40,0],[28,41,45],[29,8,0],[29,10,0],[29,12,28],[29,28,47],[29,29,3],[29,30,1],[29,31,48],[29,39,0],[29,41,46],[31,12,0],[31,28,3],[31,40,0],[31,41,45],[32,9,0],[32,32,3],[32,42,0]]},"e_2":{"shape":[43,43],"entries":[[0,0,3],[0,7,0],[0,15,0],[1,1,3],[1,8,0],[1,16,0],[1,18,0],[1,19,43],[1,28,4],[1,31,50],[1,41,49],[2,2,3],[2,3,19],[2,4,0],[2,9,0],[2,12,40],[2,14,0],[2,17,0],[2,19,40],[2,20,0],[2,28,35],[2,31,40],[2,41,51],[5,5,3],[5,10,0],[5,12,43],[5,13,0],[5,21,0],[5,28,53],[5,31,52],[5,41,27],[6,6,3],[6,11,0],[6,22,0],[33,23,0],[33,33,3],[34,24,0],[34,26,0],[34,34,3],[34,36,1],[35,25,0],[35,27,0],[35,35,3],[35,36,35],[35,37,19],[35,38,0],[35,41,40],[39,29,0],[39,39,3],[40,30,0],[40,31,0],[40,40,3],[40,41,2],[42,32,0],[42,42,3]]},"e_3":{"shape":[43,43],"entries":[[7,0,0],[7,7,3],[8,1,0],[8,8,3],[9,2,0],[9,9,3],[10,3,0],[10,5,0],[10,10,3],[10,12,1],[11,4,0],[11,6,0],[11,11,3],[11,12,35],[11,13,19],[11,14,0],[11,28,42],[11,31,20],[11,41,40],[23,15,0],[23,22,0],[23,23,3],[23,26,19],[23,27,0],[23,28,20],[23,31,37],[23,33,0],[23,36,40],[23,38,0],[23,41,54],[24,16,0],[24,24,3],[24,28,23],[24,31,22],[24,34,0],[24,36,43],[24,37,0],[24,41,27],[25,17,0],[25,25,3],[25,35,0],[29,18,0],[29,21,0],[29,28,55],[29,29,3],[29,31,56],[29,39,0],[29,41,0],[30,19,0],[30,30,3],[30,40,0],[32,20,0],[32,32,3],[32,42,0]]},"e_4":{"shape":[43,43],"entries":[[0,0,3],[0,7,0],[0,33,0],[1,1,3],[1,8,0],[1,28,26],[1,31,57],[1,34,0],[1,39,0],[1,40,43],[1,41,36],[2,2,3],[2,5,19],[2,6,0],[2,9,0],[2,12,40],[2,14,0],[2,28,59],[2,31,60],[2,35,0],[2,40,40],[2,41,58],[2,42,0],[3,3,3],[3,10,0],[3,12,43],[3,13,0],[3,28,61],[3,31,62],[3,37,0],[3,41,44],[4,4,3],[4,11,0],[4,38,0],[15,15,3],[15,23,0],[16,16,3],[16,24,0],[17,17,3],[17,25,0],[18,18,3],[18,26,0],[18,28,63],[18,29,0],[18,31,64],[18,41,49],[19,19,3],[19,28,33],[19,30,0],[19,31,64],[19,36,3],[19,41,65],[20,20,3],[20,21,19],[20,22,0],[20,27,0],[20,28,60],[20,31,60],[20,32,0]]},"e_5":{"shape":[43,43],"entries":[[23,7,0],[23,11,0],[23,15,0],[23,22,0],[23,23,3],[23,29,19],[23,30,35],[23,31,35],[23,32,0],[23,41,66],[24,8,0],[24,10,0],[24,12,28],[24,16,0],[24,24,3],[24,28,55],[24,30,1],[24,31,45],[24,41,58],[25,9,0],[25,17,0],[25,25,3],[26,13,0],[26,18,0],[26,21,0],[26,26,3],[26,28,47],[26,31,36],[26,41,0],[27,14,0],[27,20,0],[27,27,3],[33,0,0],[33,6,0],[33,33,3],[33,39,19],[33,40,35],[33,41,40],[33,42,0],[34,1,0],[34,5,0],[34,12,28],[34,28,45],[34,31,55],[34,34,3],[34,40,1],[34,41,39],[35,2,0],[35,35,3],[36,12,3],[36,19,3],[36,28,0],[36,31,3],[36,36,3],[36,41,67],[37,3,0],[37,37,3],[38,4,0],[38,38,3]]},"Omega":{"shape":[43,43],"entries":[[0,25,0],[1,24,0],[1,28,1],[1,30,39],[1,31,43],[1,36,28],[1,41,68],[2,23,0],[3,26,0],[4,27,0],[5,29,0],[6,32,0],[7,17,0],[8,16,0],[8,19,39],[8,28,70],[8,31,2],[8,41,69],[9,15,0],[10,18,0],[11,20,0],[12,28,71],[12,31,72],[12,41,43],[13,21,0],[14,22,0],[15,35,0],[16,37,0],[17,38,0],[18,34,0],[18,36,28],[18,40,39],[19,36,0],[19,41,45],[20,33,0],[21,39,0],[22,42,0],[23,2,0],[24,3,0],[25,4,0],[26,5,0],[27,6,0],[28,28,3],[28,31,0],[28,40,3],[28,41,73],[29,1,0],[29,19,39],[29,28,55],[29,31,45],[29,40,39],[29,41,58],[30,19,3],[30,28,74],[30,31,75],[30,41,70],[31,28,0],[31,31,3],[31,40,3],[31,41,67],[32,0,0],[33,9,0],[34,10,0],[35,11,0],[36,12,0],[37,13,0],[38,14,0],[39,8,0],[39,28,55],[39,30,39],[39,31,45],[39,41,58],[40,28,76],[40,30,3],[40,31,71],[40,41,67],[41,28,49],[41,31,77],[41,41,0],[42,7,0]]},"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,78],[1,31,80],[1,41,79],[2,1,19],[2,2,0],[2,3,19],[2,5,19],[2,12,57],[2,19,81],[2,28,83],[2,31,84],[2,40,81],[2,41,82],[3,3,0],[3,28,86],[3,31,87],[3,41,85],[4,3,19],[4,4,0],[4,12,40],[4,19,40],[4,28,35],[4,31,40],[4,41,51],[5,5,0],[5,28,88],[5,31,89],[5,41,42],[6,5,19],[6,6,0],[6,12,40],[6,28,59],[6,31,60],[6,40,40],[6,41,58],[7,7,0],[7,8,19],[7,28,22],[7,30,20],[7,31,23],[7,41,21],[8,8,0],[8,28,78],[8,31,80],[8,41,79],[9,8,19],[9,9,0],[9,10,19],[9,12,42],[9,28,83],[9,30,81],[9,31,84],[9,41,82],[10,10,0],[10,28,91],[10,31,92],[10,41,90],[11,10,19],[11,11,0],[11,12,94],[11,13,19],[11,28,95],[11,30,40],[11,31,96],[11,41,93],[12,12,0],[12,28,98],[12,31,99],[12,41,97],[13,13,0],[13,28,101],[13,31,102],[13,41,100],[14,12,35],[14,13,19],[14,14,0],[14,28,42],[14,31,20],[14,41,40],[15,15,0],[15,16,19],[15,18,19],[15,19,26],[15,28,104],[15,31,105],[15,41,103],[16,16,0],[16,28,88],[16,31,89],[16,41,42],[17,16,19],[17,17,0],[17,19,35],[17,28,36],[17,31,37],[17,41,34],[18,18,0],[18,28,106],[18,31,107],[18,41,26],[19,19,0],[19,28,108],[19,31,109],[19,41,72],[20,18,19],[20,19,35],[20,20,0],[20,21,19],[20,28,66],[20,31,111],[20,41,110],[21,21,0],[21,28,88],[21,31,89],[21,41,42],[22,21,19],[22,22,0],[22,28,60],[22,31,60],[23,23,0],[23,24,19],[23,26,19],[23,29,19],[23,30,26],[23,31,26],[23,36,57],[23,41,94],[24,24,0],[24,28,88],[24,31,89],[24,41,42],[25,24,19],[25,25,0],[25,28,42],[25,30,35],[25,31,20],[25,36,40],[25,41,41],[26,26,0],[26,28,101],[26,31,102],[26,41,100],[27,26,19],[27,27,0],[27,28,20],[27,31,37],[27,36,40],[27,41,54],[28,28,112],[28,31,108],[28,41,19],[29,28,86],[29,29,0],[29,31,87],[29,41,85],[30,28,99],[30,30,0],[30,31,98],[30,41,113],[31,28,109],[31,31,114],[31,41,19],[32,29,19],[32,30,35],[32,31,35],[32,32,0],[32,41,66],[33,33,0],[33,34,19],[33,36,42],[33,39,19],[33,40,26],[33,41,62],[34,28,116],[34,31,117],[34,34,0],[34,41,115],[35,34,19],[35,35,0],[35,36,94],[35,37,19],[35,40,35],[35,41,62],[36,28,119],[36,31,120],[36,36,0],[36,41,118],[37,28,86],[37,31,87],[37,37,0],[37,41,85],[38,36,35],[38,37,19],[38,38,0],[38,41,40],[39,28,86],[39,31,87],[39,39,0],[39,41,85],[40,28,119],[40,31,120],[40,40,0],[40,41,118],[41,41,0],[42,39,19],[42,40,35],[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,121],[1,31,123],[1,41,122],[2,1,19],[2,2,0],[2,3,19],[2,5,19],[2,12,57],[2,19,81],[2,28,83],[2,31,84],[2,40,81],[2,41,82],[3,3,0],[3,28,87],[3,31,86],[3,41,100],[4,3,19],[4,4,0],[4,12,40],[4,19,40],[4,28,35],[4,31,40],[4,41,51],[5,5,0],[5,28,102],[5,31,101],[5,41,42],[6,5,19],[6,6,0],[6,12,40],[6,28,59],[6,31,60],[6,40,40],[6,41,58],[7,7,0],[7,8,19],[7,28,22],[7,30,20],[7,31,23],[7,41,21],[8,8,0],[8,28,121],[8,31,123],[8,41,122],[9,8,19],[9,9,0],[9,10,19],[9,12,42],[9,28,83],[9,30,81],[9,31,84],[9,41,82],[10,10,0],[10,28,107],[10,31,106],[10,41,115],[11,10,19],[11,11,0],[11,12,94],[11,13,19],[11,28,95],[11,30,40],[11,31,96],[11,41,93],[12,12,0],[12,28,109],[12,31,108],[12,41,118],[13,13,0],[13,28,89],[13,31,88],[13,41,85],[14,12,35],[14,13,19],[14,14,0],[14,28,42],[14,31,20],[14,41,40],[15,15,0],[15,16,19],[15,18,19],[15,19,26],[15,28,104],[15,31,105],[15,41,103],[16,16,0],[16,28,102],[16,31,101],[16,41,42],[17,16,19],[17,17,0],[17,19,35],[17,28,36],[17,31,37],[17,41,34],[18,18,0],[18,28,92],[18,31,91],[18,41,26],[19,19,0],[19,28,99],[19,31,98],[19,41,72],[20,18,19],[20,19,35],[20,20,0],[20,21,19],[20,28,66],[20,31,111],[20,41,110],[21,21,0],[21,28,102],[21,31,101],[21,41,42],[22,21,19],[22,22,0],[22,28,60],[22,31,60],[23,23,0],[23,24,19],[23,26,19],[23,29,19],[23,30,26],[23,31,26],[23,36,57],[23,41,94],[24,24,0],[24,28,102],[24,31,101],[24,41,42],[25,24,19],[25,25,0],[25,28,42],[25,30,35],[25,31,20],[25,36,40],[25,41,41],[26,26,0],[26,28,89],[26,31,88],[26,41,85],[27,26,19],[27,27,0],[27,28,20],[27,31,37],[27,36,40],[27,41,54],[28,28,124],[28,31,99],[28,41,19],[29,28,87],[29,29,0],[29,31,86],[29,41,100],[30,28,108],[30,30,0],[30,31,109],[30,41,125],[31,28,98],[31,31,126],[31,41,19],[32,29,19],[32,30,35],[32,31,35],[32,32,0],[32,41,66],[33,33,0],[33,34,19],[33,36,42],[33,39,19],[33,40,26],[33,41,62],[34,28,117],[34,31,116],[34,34,0],[34,41,90],[35,34,19],[35,35,0],[35,36,94],[35,37,19],[35,40,35],[35,41,62],[36,28,120],[36,31,119],[36,36,0],[36,41,97],[37,28,87],[37,31,86],[37,37,0],[37,41,100],[38,36,35],[38,37,19],[38,38,0],[38,41,40],[39,28,87],[39,31,86],[39,39,0],[39,41,100],[40,28,120],[40,31,119],[40,40,0],[40,41,97],[41,41,0],[42,39,19],[42,40,35],[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,78],[1,31,80],[1,41,79],[2,1,19],[2,3,19],[2,5,19],[2,12,57],[2,19,81],[2,28,83],[2,31,84],[2,40,81],[2,41,82],[3,28,86],[3,31,87],[3,41,85],[4,3,19],[4,12,40],[4,19,40],[4,28,35],[4,31,40],[4,41,51],[5,28,88],[5,31,89],[5,41,42],[6,5,19],[6,12,40],[6,28,59],[6,31,60],[6,40,40],[6,41,58],[7,8,19],[7,28,22],[7,30,20],[7,31,23],[7,41,21],[8,28,78],[8,31,80],[8,41,79],[9,8,19],[9,10,19],[9,12,42],[9,28,83],[9,30,81],[9,31,84],[9,41,82],[10,28,91],[10,31,92],[10,41,90],[11,10,19],[11,12,94],[11,13,19],[11,28,95],[11,30,40],[11,31,96],[11,41,93],[12,28,98],[12,31,99],[12,41,97],[13,28,101],[13,31,102],[13,41,100],[14,12,35],[14,13,19],[14,28,42],[14,31,20],[14,41,40],[15,16,19],[15,18,19],[15,19,26],[15,28,104],[15,31,105],[15,41,103],[16,28,88],[16,31,89],[16,41,42],[17,16,19],[17,19,35],[17,28,36],[17,31,37],[17,41,34],[18,28,106],[18,31,107],[18,41,26],[19,28,108],[19,31,109],[19,41,72],[20,18,19],[20,19,35],[20,21,19],[20,28,66],[20,31,111],[20,41,110],[21,28,88],[21,31,89],[21,41,42],[22,21,19],[22,28,60],[22,31,60],[23,24,19],[23,26,19],[23,29,19],[23,30,26],[23,31,26],[23,36,57],[23,41,94],[24,28,88],[24,31,89],[24,41,42],[25,24,19],[25,28,42],[25,30,35],[25,31,20],[25,36,40],[25,41,41],[26,28,101],[26,31,102],[26,41,100],[27,26,19],[27,28,20],[27,31,37],[27,36,40],[27,41,54],[28,28,109],[28,31,108],[28,41,19],[29,28,86],[29,31,87],[29,41,85],[30,28,99],[30,31,98],[30,41,113],[31,28,109],[31,31,108],[31,41,19],[32,29,19],[32,30,35],[32,31,35],[32,41,66],[33,34,19],[33,36,42],[33,39,19],[33,40,26],[33,41,62],[34,28,116],[34,31,117],[34,41,115],[35,34,19],[35,36,94],[35,37,19],[35,40,35],[35,41,62],[36,28,119],[36,31,120],[36,41,118],[37,28,86],[37,31,87],[37,41,85],[38,36,35],[38,37,19],[38,41,40],[39,28,86],[39,31,87],[39,41,85],[40,28,119],[40,31,120],[40,41,118],[42,39,19],[42,40,35],[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,121],[1,31,123],[1,41,122],[2,1,19],[2,3,19],[2,5,19],[2,12,57],[2,19,81],[2,28,83],[2,31,84],[2,40,81],[2,41,82],[3,28,87],[3,31,86],[3,41,100],[4,3,19],[4,12,40],[4,19,40],[4,28,35],[4,31,40],[4,41,51],[5,28,102],[5,31,101],[5,41,42],[6,5,19],[6,12,40],[6,28,59],[6,31,60],[6,40,40],[6,41,58],[7,8,19],[7,28,22],[7,30,20],[7,31,23],[7,41,21],[8,28,121],[8,31,123],[8,41,122],[9,8,19],[9,10,19],[9,12,42],[9,28,83],[9,30,81],[9,31,84],[9,41,82],[10,28,107],[10,31,106],[10,41,115],[11,10,19],[11,12,94],[11,13,19],[11,28,95],[11,30,40],[11,31,96],[11,41,93],[12,28,109],[12,31,108],[12,41,118],[13,28,89],[13,31,88],[13,41,85],[14,12,35],[14,13,19],[14,28,42],[14,31,20],[14,41,40],[15,16,19],[15,18,19],[15,19,26],[15,28,104],[15,31,105],[15,41,103],[16,28,102],[16,31,101],[16,41,42],[17,16,19],[17,19,35],[17,28,36],[17,31,37],[17,41,34],[18,28,92],[18,31,91],[18,41,26],[19,28,99],[19,31,98],[19,41,72],[20,18,19],[20,19,35],[20,21,19],[20,28,66],[20,31,111],[20,41,110],[21,28,102],[21,31,101],[21,41,42],[22,21,19],[22,28,60],[22,31,60],[23,24,19],[23,26,19],[23,29,19],[23,30,26],[23,31,26],[23,36,57],[23,41,94],[24,28,102],[24,31,101],[24,41,42],[25,24,19],[25,28,42],[25,30,35],[25,31,20],[25,36,40],[25,41,41],[26,28,89],[26,31,88],[26,41,85],[27,26,19],[27,28,20],[27,31,37],[27,36,40],[27,41,54],[28,28,98],[28,31,99],[28,41,19],[29,28,87],[29,31,86],[29,41,100],[30,28,108],[30,31,109],[30,41,125],[31,28,98],[31,31,99],[31,41,19],[32,29,19],[32,30,35],[32,31,35],[32,41,66],[33,34,19],[33,36,42],[33,39,19],[33,40,26],[33,41,62],[34,28,117],[34,31,116],[34,41,90],[35,34,19],[35,36,94],[35,37,19],[35,40,35],[35,41,62],[36,28,120],[36,31,119],[36,41,97],[37,28,87],[37,31,86],[37,41,100],[38,36,35],[38,37,19],[38,41,40],[39,28,87],[39,31,86],[39,41,100],[40,28,120],[40,31,119],[40,41,97],[42,39,19],[42,40,35],[42,41,40]]},"D":{"shape":[43,43],"entries":[[1,28,128],[1,31,129],[1,41,127],[3,28,131],[3,31,132],[3,41,130],[5,28,87],[5,31,86],[8,28,128],[8,31,129],[8,41,127],[10,28,117],[10,31,116],[10,41,133],[12,28,120],[12,31,119],[12,41,134],[13,28,87],[13,31,86],[13,41,135],[16,28,87],[16,31,86],[18,28,117],[18,31,116],[19,28,120],[19,31,119],[21,28,87],[21,31,86],[24,28,87],[24,31,86],[26,28,87],[26,31,86],[26,41,135],[28,28,119],[28,31,120],[29,28,131],[29,31,132],[29,41,130],[30,28,119],[30,31,120],[30,41,136],[31,28,119],[31,31,120],[34,28,138],[34,31,139],[34,41,137],[36,28,140],[36,31,141],[36,41,136],[37,28,131],[37,31,132],[37,41,130],[39,28,131],[39,31,132],[39,41,130],[40,28,140],[40,31,141],[40,41,136]]},"kernel_basis":{"shape":[80,43],"entries":[[0,0,0],[1,1,0],[1,19,39],[1,28,55],[1,31,45],[1,40,39],[1,41,58],[2,19,3],[2,28,74],[2,31,75],[2,41,70],[3,28,0],[3,31,3],[3,40,3],[3,41,67],[4,1,0],[5,2,0],[6,3,0],[6,12,28],[6,19,28],[6,28,39],[6,31,28],[6,41,38],[7,5,0],[7,12,28],[7,28,45],[7,31,55],[7,40,28],[7,41,142],[8,19,3],[8,28,19],[8,31,72],[8,41,70],[9,3,0],[10,4,0],[11,12,3],[11,28,76],[11,31,71],[11,41,67],[12,28,3],[12,31,0],[12,40,3],[12,41,73],[13,5,0],[14,12,3],[14,28,72],[14,31,19],[14,41,73],[15,6,0],[16,7,0],[17,8,0],[17,28,55],[17,30,39],[17,31,45],[17,41,58],[18,28,76],[18,30,3],[18,31,71],[18,41,67],[19,28,49],[19,31,77],[19,41,0],[20,8,0],[21,9,0],[22,10,0],[22,12,28],[22,28,47],[22,30,28],[22,31,48],[22,41,143],[23,12,0],[23,28,3],[23,31,0],[23,41,45],[24,28,72],[24,30,3],[24,31,19],[24,41,147],[25,10,0],[26,11,0],[27,12,39],[27,13,0],[27,28,1],[27,31,43],[27,41,28],[28,28,49],[28,31,77],[28,41,0],[29,12,0],[30,13,0],[31,14,0],[32,15,0],[33,16,0],[33,19,39],[33,28,70],[33,31,2],[33,41,69],[34,18,0],[34,19,39],[34,28,144],[34,31,145],[34,41,69],[35,28,19],[35,31,75],[35,41,70],[36,16,0],[37,17,0],[38,19,0],[38,28,3],[38,31,0],[38,41,39],[39,28,77],[39,31,49],[39,41,43],[40,18,0],[41,19,0],[42,20,0],[43,21,0],[43,28,55],[43,31,55],[44,28,71],[44,31,72],[44,41,43],[45,28,77],[45,31,49],[45,41,43],[46,21,0],[47,22,0],[48,23,0],[49,24,0],[49,28,1],[49,30,39],[49,31,43],[49,36,28],[49,41,68],[50,26,0],[50,28,43],[50,31,2],[50,36,28],[50,41,146],[51,29,0],[51,30,39],[51,31,39],[51,41,40],[52,24,0],[53,25,0],[54,28,3],[54,31,0],[54,36,3],[54,41,73],[55,28,3],[55,30,0],[55,31,0],[55,41,40],[56,26,0],[57,28,0],[57,31,3],[57,36,3],[57,41,67],[58,27,0],[59,28,0],[60,29,0],[61,30,0],[62,31,0],[63,32,0],[64,33,0],[65,34,0],[65,36,28],[65,40,39],[66,36,0],[66,41,45],[67,39,0],[67,40,39],[67,41,28],[68,34,0],[69,35,0],[70,36,39],[70,37,0],[70,41,28],[71,40,0],[71,41,45],[72,36,0],[73,37,0],[74,38,0],[75,41,0],[76,39,0],[77,40,0],[78,41,0],[79,42,0]]}},"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":148,"right_kernel":{"shape":[80,22],"entries":[[0,0,0],[1,15,149],[1,20,150],[2,15,0],[3,20,3],[4,15,151],[4,20,152],[5,1,0],[6,20,151],[7,15,152],[8,15,0],[9,20,149],[10,2,0],[11,15,3],[11,20,0],[12,20,3],[13,15,150],[14,15,3],[14,20,0],[15,3,0],[16,4,0],[17,15,149],[17,20,150],[18,15,0],[18,20,3],[20,15,151],[20,20,152],[21,5,0],[22,15,153],[22,20,154],[23,15,0],[23,20,3],[24,15,0],[24,20,3],[25,15,153],[25,20,154],[26,6,0],[27,15,151],[27,20,152],[29,15,0],[29,20,3],[30,15,149],[30,20,150],[31,7,0],[32,8,0],[33,15,152],[34,15,154],[35,15,3],[36,15,150],[37,9,0],[38,15,3],[40,15,154],[41,15,3],[42,10,0],[43,15,152],[44,15,3],[46,15,150],[47,11,0],[48,12,0],[49,15,152],[50,15,151],[50,20,152],[51,20,151],[52,15,150],[53,13,0],[54,20,3],[55,15,3],[55,20,0],[56,15,149],[56,20,150],[57,20,3],[58,14,0],[59,15,0],[60,20,149],[61,15,3],[61,20,0],[62,15,0],[63,16,0],[64,17,0],[65,20,153],[66,20,0],[67,20,151],[68,20,153],[69,18,0],[70,20,151],[71,20,0],[72,20,0],[73,20,149],[74,19,0],[76,20,149],[77,20,0],[79,21,0]]},"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":155,"right_kernel":{"shape":[80,41],"entries":[[0,0,0],[1,1,0],[1,19,39],[1,39,39],[2,19,3],[3,39,3],[4,1,0],[5,2,0],[6,3,0],[6,12,28],[6,19,28],[7,5,0],[7,12,28],[7,39,28],[8,19,3],[9,3,0],[10,4,0],[11,12,3],[12,39,3],[13,5,0],[14,12,3],[15,6,0],[16,7,0],[17,8,0],[17,29,39],[18,29,3],[20,8,0],[21,9,0],[22,10,0],[22,12,28],[22,29,28],[23,12,0],[24,29,3],[25,10,0],[26,11,0],[27,12,39],[27,13,0],[29,12,0],[30,13,0],[31,14,0],[32,15,0],[33,16,0],[33,19,39],[34,18,0],[34,19,39],[34,30,39],[35,30,3],[36,16,0],[37,17,0],[38,19,0],[40,18,0],[41,19,0],[42,20,0],[43,21,0],[43,30,28],[44,30,3],[46,21,0],[47,22,0],[48,23,0],[49,24,0],[49,29,39],[49,35,28],[50,26,0],[50,30,39],[50,35,28],[51,28,0],[51,29,39],[51,30,39],[52,24,0],[53,25,0],[54,35,3],[55,29,0],[56,26,0],[57,35,3],[58,27,0],[59,30,0],[60,28,0],[61,29,0],[62,30,0],[63,31,0],[64,32,0],[65,33,0],[65,35,28],[65,39,39],[66,35,0],[67,38,0],[67,39,39],[68,33,0],[69,34,0],[70,35,39],[70,36,0],[71,39,0],[72,35,0],[73,36,0],[74,37,0],[76,38,0],[77,39,0],[79,40,0]]},"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":156,"right_kernel":{"shape":[80,43],"entries":[[0,0,0],[1,1,0],[1,19,39],[1,28,55],[1,31,45],[1,40,39],[1,41,58],[2,19,3],[2,28,74],[2,31,75],[2,41,70],[3,28,0],[3,31,3],[3,40,3],[3,41,67],[4,1,0],[5,2,0],[6,3,0],[6,12,28],[6,19,28],[6,28,39],[6,31,28],[6,41,38],[7,5,0],[7,12,28],[7,28,45],[7,31,55],[7,40,28],[7,41,142],[8,19,3],[8,28,19],[8,31,72],[8,41,70],[9,3,0],[10,4,0],[11,12,3],[11,28,76],[11,31,71],[11,41,67],[12,28,3],[12,31,0],[12,40,3],[12,41,73],[13,5,0],[14,12,3],[14,28,72],[14,31,19],[14,41,73],[15,6,0],[16,7,0],[17,8,0],[17,28,55],[17,30,39],[17,31,45],[17,41,58],[18,28,76],[18,30,3],[18,31,71],[18,41,67],[19,28,49],[19,31,77],[19,41,0],[20,8,0],[21,9,0],[22,10,0],[22,12,28],[22,28,47],[22,30,28],[22,31,48],[22,41,143],[23,12,0],[23,28,3],[23,31,0],[23,41,45],[24,28,72],[24,30,3],[24,31,19],[24,41,147],[25,10,0],[26,11,0],[27,12,39],[27,13,0],[27,28,1],[27,31,43],[27,41,28],[28,28,49],[28,31,77],[28,41,0],[29,12,0],[30,13,0],[31,14,0],[32,15,0],[33,16,0],[33,19,39],[33,28,70],[33,31,2],[33,41,69],[34,18,0],[34,19,39],[34,28,144],[34,31,145],[34,41,69],[35,28,19],[35,31,75],[35,41,70],[36,16,0],[37,17,0],[38,19,0],[38,28,3],[38,31,0],[38,41,39],[39,28,77],[39,31,49],[39,41,43],[40,18,0],[41,19,0],[42,20,0],[43,21,0],[43,28,55],[43,31,55],[44,28,71],[44,31,72],[44,41,43],[45,28,77],[45,31,49],[45,41,43],[46,21,0],[47,22,0],[48,23,0],[49,24,0],[49,28,1],[49,30,39],[49,31,43],[49,36,28],[49,41,68],[50,26,0],[50,28,43],[50,31,2],[50,36,28],[50,41,146],[51,29,0],[51,30,39],[51,31,39],[51,41,40],[52,24,0],[53,25,0],[54,28,3],[54,31,0],[54,36,3],[54,41,73],[55,28,3],[55,30,0],[55,31,0],[55,41,40],[56,26,0],[57,28,0],[57,31,3],[57,36,3],[57,41,67],[58,27,0],[59,28,0],[60,29,0],[61,30,0],[62,31,0],[63,32,0],[64,33,0],[65,34,0],[65,36,28],[65,40,39],[66,36,0],[66,41,45],[67,39,0],[67,40,39],[67,41,28],[68,34,0],[69,35,0],[70,36,39],[70,37,0],[70,41,28],[71,40,0],[71,41,45],[72,36,0],[73,37,0],[74,38,0],[75,41,0],[76,39,0],[77,40,0],[78,41,0],[79,42,0]]},"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"],["9/2","0"],["3","0"],["9/8","0"],["-3/2","0"],["3/2","0"],["-11/4","0"],["13/2","0"],["-6","0"],["15/16","0"],["-1/2","0"],["-37/4","0"],["39/4","0"],["25/8","0"],["-8","0"],["9","0"],["-15/8","0"],["-3/4","0"],["15/4","0"],["-15/4","0"],["-3/16","0"],["1/2","0"],["3/4","0"],["21/32","0"],["-3","0"],["-2","0"],["33/16","0"],["1/4","0"],["21/16","0"],["-7/4","0"],["7/4","0"],["-4","0"],["-5","0"],["9/32","0"],["21/4","0"],["-21/4","0"],["-51/32","0"],["-1/4","0"],["9/4","0"],["6","0"],["3/16","0"],["-3/8","0"],["3/8","0"],["-27/4","0"],["27/4","0"],["7","0"],["-9","0"],["-27/8","0"],["-9/8","0"],["5/8","0"],["-7/16","0"],["5/4","0"],["-5/2","0"],["7/2","0"],["-9/2","0"],["11/8","0"],["11/2","0"],["-11/2","0"],["-7/2","0"],["4","0"],["-27/2","6"],["39/8","-9/2"],["27/2","-6"],["33/4","0"],["123/32","0"],["-57/8","0"],["57/8","0"],["15/16","9/8"],["3/2","-3"],["-3/2","3"],["21/4","3/2"],["-21/4","-3/2"],["147/16","-99/8"],["-81/4","33/2"],["81/4","-33/2"],["201/32","0"],["-33/4","0"],["-195/8","0"],["195/8","0"],["45/8","-27/4"],["-27/2","9"],["27/2","-9"],["33/16","-9/8"],["-27/4","3/2"],["27/4","-3/2"],["-21/2","0"],["45/2","0"],["-39/2","0"],["15/4","33/2"],["-15/4","-33/2"],["9/2","9"],["-9/2","-9"],["21/8","0"],["75/8","0"],["-7/2","-9"],["-45/8","27/4"],["11/2","9"],["-51/16","99/8"],["33/2","-33"],["-33/2","33"],["-9/8","27/4"],["9","-18"],["-9","18"],["-15/2","-6"],["3/8","9/2"],["15/2","6"],["-25/2","9"],["9/8","-27/4"],["29/2","-9"],["9/2","-9"],["-6","12"],["6","-12"],["-9/8","9/4"],["3","-6"],["-3","6"],["99/8","-99/4"],["27/4","-27/2"],["9/8","-9/4"],["-27/4","27/2"],["-99/8","99/4"],["33","-66"],["-33","66"],["18","-36"],["-18","36"],["-1/8","0"],["5/16","0"],["-9/4","0"],["11/4","0"],["17/16","0"],["7/8","0"],["-1107867264956562636991125/1073741824","1107867264956562636991125/536870912"],["1/6","0"],["-1/6","0"],["2/3","0"],["-2/3","0"],["11/6","0"],["-11/6","0"],["4650982970445/8192","0"],["76783712624640000","0"]],"elapsed_seconds":2.703}