{"d": 3, "n": 5, "f0": 42, "M": [["-1/7", "17/28", "1/12"], ["0", "0", "0"], ["0", "0", "0"], ["0", "0", "0"], ["0", "0", "0"]], "U": [["-19/26", "1/30", "-15/22"], ["0", "-1", "1/16"], ["1/19", "20/23", "-1/2"], ["10/21", "-6/7", "-6/29"], ["6/19", "4/27", "15/16"]], "a": ["47/25", "49/20", "9/4", "14/17", "23/18"], "b": ["16/17", "27/22", "9/8", "28/17", "23/9"], "witnesses": {"1": ["932/1949", "3388/7901", "1"], "3": ["5201/7159", "782/5601", "1"], "4": ["4863/5029", "1", "-7847/9847"], "5": ["2405/9248", "1", "2543/9955"], "6": ["1", "1634/5065", "-6218/9213"], "7": ["1", "97/274", "503/4741"], "9": ["-201/2707", "-589/5361", "1"], "10": ["3412/8851", "-1", "-1560/9641"], "11": ["1733/4106", "-1", "7674/9947"], "14": ["1", "-182/2389", "-1276/3879"], "15": ["1", "-402/5855", "-1689/5419"], "16": ["-1", "59/3427", "524/7841"], "17": ["-1", "1076/9875", "3807/9728"], "20": ["-1894/4713", "1", "-5758/8553"], "21": ["-3295/8849", "1", "1265/7923"], "22": ["197/4272", "1452/6133", "-1"], "24": ["-1", "-1952/9977", "-238/2889"], "25": ["-1", "-1195/9616", "3399/5066"], "26": ["-1337/4217", "-1", "-1137/4226"], "27": ["-1", "-5143/6071", "7593/9310"], "28": ["-1", "-948/6373", "-2325/2926"], "30": ["-3331/4204", "-1826/9033", "-1"], "33": ["1407/7492", "4460/9901", "1"], "35": ["1", "517/4311", "955/1454"], "37": ["-2127/8908", "4679/6866", "1"], "38": ["1", "172/9965", "-2119/3011"], "39": ["1", "261/8312", "557/4984"], "41": ["-4224/7939", "-319/3743", "1"], "42": ["3076/3929", "-1", "-2316/5153"], "43": ["1", "-430/7969", "3989/5463"], "46": ["1", "-1310/8561", "-2550/7681"], "47": ["1", "-214/9987", "461/9760"], "48": ["-1", "-32/8965", "-464/5183"], "49": ["-7493/7562", "2342/5607", "1"], "52": ["-1", "-322/7813", "-2755/4126"], "53": ["-1", "3701/6326", "3719/4285"], "54": ["1167/6709", "-616/9931", "-1"], "56": ["-1", "-1220/8633", "-789/2254"], "57": ["-1", "-79/1032", "2581/2658"], "58": ["-563/3405", "-1", "-5899/9023"], "60": ["-1", "-969/9562", "-7633/9092"], "62": ["-883/9461", "-702/9583", "-1"]}, "combos": {"0": [[15, "46520990714153685707/168472535061152092732"], [21, "289762775461315734571/926598942836336510026"], [30, "95621912309206646333/1853197885672673020052"], [41, "15143625558753280950/42118133765288023183"]], "2": [[15, "128463026769850624707/189464303341390732732"], [21, "99016853665990798611/1042053668377649030026"], [30, "169629770980690661253/2084107336755298060052"], [57, "6894330999415202950/47366075835347683183"]], "8": [[11, "1781582745566687517/4504366500246491917"], [24, "1199494831975663600/4504366500246491917"], [41, "16418858335312939329/99096063005422822174"], [42, "17093497964178158271/99096063005422822174"]], "12": [[14, "98024486887875189557/154476958703349208557"], [21, "2402039428763157120/12051393941396037547"], [30, "104028461162324223080/1699246545736841294127"], [41, "114933055675232000/1095581267399639777"]], "13": [[5, "139762353963606134920/1160296393601527694517"], [15, "4562749395699558217/8229052436890267337"], [21, "115144314743271275000/1160296393601527694517"], [41, "1858454326957536000/8229052436890267337"]], "18": [[21, "889167113967417627/3508227510890187907"], [24, "1040557277339943354/3508227510890187907"], [30, "1265931371109771426/3508227510890187907"], [57, "312571748473055500/3508227510890187907"]], "19": [[21, "2069938686684385537/12051393941396037547"], [30, "2738114270273058910/12051393941396037547"], [41, "6101920639089199421/52587900835182709296"], [57, "25505385474824661379/52587900835182709296"]], "23": [[7, "141962155377902600/1316140074454429691"], [21, "8705951576514815537/14477540818998726601"], [22, "1417309175036057664/14477540818998726601"], [38, "253881487117356800/1316140074454429691"]], "29": [[15, "13047622832369125/104372820442305178"], [21, "21957388113380745/52186410221152589"], [24, "22037716287390881/52186410221152589"], [30, "3334988808392801/104372820442305178"]], "31": [[15, "34987344638041524175/189464303341390732732"], [21, "38854261798885041105/1042053668377649030026"], [30, "1160296393601527694517/2084107336755298060052"], [57, "10482764284944170850/47366075835347683183"]], "32": [[21, "3455306470955403190/12051393941396037547"], [30, "5359075705043301610/12051393941396037547"], [41, "2388321143283451187/13146975208795677324"], [57, "1142964418968184537/13146975208795677324"]], "34": [[14, "265886892491969754/480922166853383471"], [15, "80350443003393/10232386528795393"], [30, "4394902191996825/20909659428407977"], [42, "101920493176991/444886370817191"]], "36": [[20, "14393988141870160/609217876359102961"], [21, "959438253638991280/1827653629077308883"], [30, "4937814100100960/26487733754743607"], [38, "21057575569814821/79463201264230821"]], "40": [[24, "552433211845724828/8198112953134751275"], [30, "3558998449483297972/8198112953134751275"], [42, "1045692712344348829/8198112953134751275"], [57, "3040988579461379646/8198112953134751275"]], "44": [[15, "2921391246167777075/25918851547869552728"], [21, "2823151025046926775/12959425773934776364"], [30, "15444679401713232775/25918851547869552728"], [41, "238309856236836166/3239856443483694091"]], "45": [[5, "187672271279863005105/773530929067685129678"], [15, "464094385458825105/8229052436890267337"], [21, "53578954148530777725/773530929067685129678"], [41, "5198455653257040287/8229052436890267337"]], "50": [[14, "1312994683136935075/21450707308810239437"], [30, "15189607455021900725/21450707308810239437"], [41, "1365957531057681/590632741919681186"], [42, "134877238657091105/590632741919681186"]], "51": [[15, "9850602723615400/21445209046076563"], [41, "1103628340224638747/11323070376328425264"], [42, "39913897741362743/471794599013684386"], [57, "2694353186623855/7513649884756752"]], "55": [[15, "246101316268885179175/378928606682781465464"], [21, "550840651756437178865/2084107336755298060052"], [30, "57622578442298479945/4168214673510596120104"], [57, "3429503552246435358/47366075835347683183"]], "59": [[11, "31124917484308270400/76574230504190362589"], [24, "7735155245952683200/76574230504190362589"], [41, "19248226331359964413/76574230504190362589"], [42, "18465931442569444576/76574230504190362589"]], "61": [[21, "49888090030444695/146213767240934867"], [24, "9099889910957355/146213767240934867"], [41, "89475735494999249/275225914806465632"], [57, "74713981774709583/275225914806465632"]], "63": [[15, "451338138545166925850/912684824358928498621"], [30, "35135403314343860500/912684824358928498621"], [42, "46791070422106026119/214749370437394940852"], [57, "53493937224815788533/214749370437394940852"]]}}