{ "date": "2026-10-17", "parameter_order_4": [ "f0", "fq", "g0", "gq" ], "parameter_order_6": [ "f0", "fq", "fp", "g0", "gq", "gp" ], "maps": [ { "id": "S1", "coefficients": [ "2/5", "6/5", "-3/2", "5/2" ] }, { "id": "S2", "coefficients": [ "2/5", "1", "-3/2", "14/5" ] }, { "id": "S3", "coefficients": [ "3/8", "1", "-7/5", "5/2" ] }, { "id": "S*", "coefficients": [ "10478284289/25000000000", "31434852867/25000000000", "-31434852867/20000000000", "10478284289/4000000000" ] }, { "id": "R1", "seed": [ "-3/4", "49/20", "29/20", "-53/20" ], "lower": "24973989/25000000", "upper": "99895959/100000000", "coefficients": [ "-74921967/100000000", "1223725461/500000000", "724245681/500000000", "-1323621417/500000000" ] }, { "id": "R2", "seed": [ "3/4", "23/10", "-1", "6/5" ], "lower": "49333773/50000000", "upper": "98667549/100000000", "coefficients": [ "148001319/200000000", "1134676779/500000000", "-49333773/50000000", "148001319/125000000" ] }, { "id": "R3", "seed": [ "3/4", "-21/4", "3/4", "-27/20" ], "lower": "49041759/50000000", "upper": "98083521/100000000", "coefficients": [ "147125277/200000000", "-1029876939/200000000", "147125277/200000000", "-1324127493/1000000000" ] }, { "id": "R4", "seed": [ "-19/20", "6/5", "3/4", "-33/20" ], "lower": "20190067/20000000", "upper": "50475169/50000000", "coefficients": [ "-383611273/400000000", "60570201/50000000", "60570201/80000000", "-666272211/400000000" ] }, { "id": "R5", "seed": [ "9/20", "6/5", "-8/5", "13/5" ], "lower": "48827497/50000000", "upper": "97654997/100000000", "coefficients": [ "439447473/1000000000", "146482491/125000000", "-48827497/31250000", "634757461/250000000" ] }, { "id": "R6", "seed": [ "3/4", "-17/4", "-9/5", "41/5" ], "lower": "97871127/100000000", "upper": "9787113/10000000", "coefficients": [ "293613381/400000000", "-1663809159/400000000", "-880840143/500000000", "4012716207/500000000" ] }, { "id": "R7", "seed": [ "3/5", "0", "-29/20", "2" ], "lower": "94423179/100000000", "upper": "47211591/50000000", "coefficients": [ "283269537/500000000", "0", "-2738272191/2000000000", "94423179/50000000" ] }, { "id": "R8", "seed": [ "1", "4/3", "-1/2", "-7/10" ], "lower": "2489499/2500000", "upper": "99579963/100000000", "coefficients": [ "2489499/2500000", "829833/625000", "-2489499/5000000", "-17426493/25000000" ] }, { "id": "R9", "seed": [ "0", "-12/5", "8/5", "-9/2" ], "lower": "45540791/50000000", "upper": "18216317/20000000", "coefficients": [ "0", "-136622373/62500000", "45540791/31250000", "-409867119/100000000" ] }, { "id": "R10", "seed": [ "1/2", "-7/5", "-2", "9" ], "lower": "96617699/100000000", "upper": "48308851/50000000", "coefficients": [ "96617699/200000000", "-676323893/500000000", "-96617699/50000000", "869559291/100000000" ] }, { "id": "P1", "seed": [ "3/5", "1/10", "-3/5", "-8/5", "3", "7/10" ], "lower": "50683679/50000000", "upper": "101367361/100000000", "coefficients": [ "152051037/250000000", "50683679/500000000", "-152051037/250000000", "-50683679/31250000", "152051037/50000000", "354785753/500000000" ] }, { "id": "P2", "seed": [ "1/5", "-14/5", "1/5", "13/10", "-7/5", "-1/5" ], "lower": "23767387/25000000", "upper": "95069551/100000000", "coefficients": [ "23767387/125000000", "-166371709/62500000", "23767387/125000000", "308976031/250000000", "-166371709/125000000", "-23767387/125000000" ] }, { "id": "P3", "seed": [ "4/5", "11/5", "-1/5", "-4/5", "-4/5", "2/5" ], "lower": "9977339/10000000", "upper": "99773393/100000000", "coefficients": [ "9977339/12500000", "109750729/50000000", "-9977339/50000000", "-9977339/12500000", "-9977339/12500000", "9977339/25000000" ] }, { "id": "R2*", "lambda_star": "8960/9081", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ] }, { "id": "R5*", "lambda_star": "3040/3113", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ] }, { "id": "Bridge-0", "parameter": "0", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ] }, { "id": "Bridge-1/8", "parameter": "1/8", "coefficients": [ "408336/598849", "1369344/598849", "-621792/598849", "734976/598849" ] }, { "id": "Bridge-1/2", "parameter": "1/2", "coefficients": [ "22704/41737", "84480/41737", "-51744/41737", "67584/41737" ] }, { "id": "Bridge-7/8", "parameter": "7/8", "coefficients": [ "348432/760657", "1080576/760657", "-1125600/760657", "1736448/760657" ] }, { "id": "Bridge-1", "parameter": "1", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ] } ], "conic_bridge": { "denominator": "1329*t**2 + 2042*t + 9081", "numerators": [ "1680*t**2 - 2928*t + 6720", "-14080*t**2 + 8064*t + 20608", "-5088*t**2 - 5408*t - 8960", "17152*t**2 + 3712*t + 10752" ], "radially_sharp": true, "collinear_contact": "(17*t + 165)/(120*t + 336)", "response_at_contact": "0" }, "exact_references": [ { "sides_abc": [ 6, 5, 3 ], "maps": [ { "id": "S1", "coefficients": [ "2/5", "6/5", "-3/2", "5/2" ], "weights": [ "2501629/5145000", "68723/411600", "3568667/10290000" ] }, { "id": "S2", "coefficients": [ "2/5", "1", "-3/2", "14/5" ], "weights": [ "883073/1837500", "89989/525000", "1278931/3675000" ] }, { "id": "S3", "coefficients": [ "3/8", "1", "-7/5", "5/2" ], "weights": [ "60842/128625", "23222/128625", "44561/128625" ] }, { "id": "S*", "coefficients": [ "10478284289/25000000000", "31434852867/25000000000", "-31434852867/20000000000", "10478284289/4000000000" ], "weights": [ "8464174097323927/17150000000000000", "218159508914049/1372000000000000", "11917664082500921/34300000000000000" ] }, { "id": "R1", "coefficients": [ "-74921967/100000000", "1223725461/500000000", "724245681/500000000", "-1323621417/500000000" ], "weights": [ "125325472188601/643125000000000", "631764530566571/1286250000000000", "403834525056227/1286250000000000" ] }, { "id": "R2", "coefficients": [ "148001319/200000000", "1134676779/500000000", "-49333773/50000000", "148001319/125000000" ], "weights": [ "711054770590139/1286250000000000", "595760308687549/2572500000000000", "554630150132173/2572500000000000" ] }, { "id": "R3", "coefficients": [ "147125277/200000000", "-1029876939/200000000", "147125277/200000000", "-1324127493/1000000000" ], "weights": [ "430032491039609/1286250000000000", "1088746655254459/2572500000000000", "623688362666323/2572500000000000" ] }, { "id": "R4", "coefficients": [ "-383611273/400000000", "60570201/50000000", "60570201/80000000", "-666272211/400000000" ], "weights": [ "162953522892341/1029000000000000", "817975058224411/2058000000000000", "914117895990907/2058000000000000" ] }, { "id": "R5", "coefficients": [ "439447473/1000000000", "146482491/125000000", "-48827497/31250000", "634757461/250000000" ], "weights": [ "159321155649367/321562500000000", "102441918154757/643125000000000", "222040770546509/643125000000000" ] }, { "id": "R6", "coefficients": [ "293613381/400000000", "-1663809159/400000000", "-880840143/500000000", "4012716207/500000000" ], "weights": [ "2163862532786147/5145000000000000", "2199428248360597/10290000000000000", "3762846686067109/10290000000000000" ] }, { "id": "R7", "coefficients": [ "283269537/500000000", "0", "-2738272191/2000000000", "94423179/50000000" ], "weights": [ "125797986178807/257250000000000", "90964865436857/514500000000000", "171939162205529/514500000000000" ] }, { "id": "R8", "coefficients": [ "2489499/2500000", "829833/625000", "-2489499/5000000", "-17426493/25000000" ], "weights": [ "5210732668249/9187500000000", "5068044197399/18375000000000", "412212923729/2625000000000" ] }, { "id": "R9", "coefficients": [ "0", "-136622373/62500000", "45540791/31250000", "-409867119/100000000" ], "weights": [ "20832761293307/85750000000000", "81249987990933/171500000000000", "48584489422453/171500000000000" ] }, { "id": "R10", "coefficients": [ "96617699/200000000", "-676323893/500000000", "-96617699/50000000", "869559291/100000000" ], "weights": [ "56190947893879/128625000000000", "51793033362557/257250000000000", "18615014169937/51450000000000" ] }, { "id": "P1", "coefficients": [ "152051037/250000000", "50683679/500000000", "-152051037/250000000", "-50683679/31250000", "152051037/50000000", "354785753/500000000" ], "weights": [ "4662645133628473/9003750000000000", "389636475650729/2572500000000000", "5954754403187951/18007500000000000" ] }, { "id": "P2", "coefficients": [ "23767387/125000000", "-166371709/62500000", "23767387/125000000", "308976031/250000000", "-166371709/125000000", "-23767387/125000000" ], "weights": [ "583756834819961/2250937500000000", "2217708969134791/4501875000000000", "1116652361225287/4501875000000000" ] }, { "id": "P3", "coefficients": [ "9977339/12500000", "109750729/50000000", "-9977339/50000000", "-9977339/12500000", "-9977339/12500000", "9977339/25000000" ], "weights": [ "716772882985867/1260525000000000", "560818395282989/2521050000000000", "526685838745277/2521050000000000" ] }, { "id": "R2*", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ], "weights": [ "461220601/834316875", "193217833/834316875", "179878441/834316875" ] }, { "id": "R5*", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ], "weights": [ "991933519/2002048125", "318901687/2002048125", "691212919/2002048125" ] }, { "id": "Bridge-0", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ], "weights": [ "461220601/834316875", "193217833/834316875", "179878441/834316875" ] }, { "id": "Bridge-1/8", "coefficients": [ "408336/598849", "1369344/598849", "-621792/598849", "734976/598849" ], "weights": [ "209819310391/385134763125", "86029323103/385134763125", "89286129631/385134763125" ] }, { "id": "Bridge-1/2", "coefficients": [ "22704/41737", "84480/41737", "-51744/41737", "67584/41737" ], "weights": [ "14003836879/26842108125", "5268131527/26842108125", "7570139719/26842108125" ] }, { "id": "Bridge-7/8", "coefficients": [ "348432/760657", "1080576/760657", "-1125600/760657", "1736448/760657" ], "weights": [ "35042917729/69885361875", "11762465017/69885361875", "23079979129/69885361875" ] }, { "id": "Bridge-1", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ], "weights": [ "991933519/2002048125", "318901687/2002048125", "691212919/2002048125" ] } ] }, { "sides_abc": [ 9, 8, 7 ], "maps": [ { "id": "S1", "coefficients": [ "2/5", "6/5", "-3/2", "5/2" ], "weights": [ "8312345641/21247027440", "3107416751/10623513720", "6719848297/21247027440" ] }, { "id": "S2", "coefficients": [ "2/5", "1", "-3/2", "14/5" ], "weights": [ "4151522293/10623513720", "1554667703/5311756860", "3362656021/10623513720" ] }, { "id": "S3", "coefficients": [ "3/8", "1", "-7/5", "5/2" ], "weights": [ "4113917341/10623513720", "1568672711/5311756860", "3372250957/10623513720" ] }, { "id": "S*", "coefficients": [ "10478284289/25000000000", "31434852867/25000000000", "-31434852867/20000000000", "10478284289/4000000000" ], "weights": [ "27903915865775545843/70823424800000000000", "10288903184209358893/35411712400000000000", "22341702565805736371/70823424800000000000" ] }, { "id": "R1", "coefficients": [ "-74921967/100000000", "1223725461/500000000", "724245681/500000000", "-1323621417/500000000" ], "weights": [ "67233313079087197/265587843000000000", "49615206833660807/132793921500000000", "99124116253591189/265587843000000000" ] }, { "id": "R2", "coefficients": [ "148001319/200000000", "1134676779/500000000", "-49333773/50000000", "148001319/125000000" ], "weights": [ "440082729957926101/1062351372000000000", "161731245800356571/531175686000000000", "298806150441360757/1062351372000000000" ] }, { "id": "R3", "coefficients": [ "147125277/200000000", "-1029876939/200000000", "147125277/200000000", "-1324127493/1000000000" ], "weights": [ "199497595339447439/531175686000000000", "93067468600394149/265587843000000000", "145543153459764263/531175686000000000" ] }, { "id": "R4", "coefficients": [ "-383611273/400000000", "60570201/50000000", "60570201/80000000", "-666272211/400000000" ], "weights": [ "207048524718102949/849881097600000000", "151360511652462779/424940548800000000", "340111549576971493/849881097600000000" ] }, { "id": "R5", "coefficients": [ "439447473/1000000000", "146482491/125000000", "-48827497/31250000", "634757461/250000000" ], "weights": [ "52511979103719499/132793921500000000", "19301199289713809/66396960750000000", "41679543816852883/132793921500000000" ] }, { "id": "R6", "coefficients": [ "293613381/400000000", "-1663809159/400000000", "-880840143/500000000", "4012716207/500000000" ], "weights": [ "350492326521997241/849881097600000000", "122250862496549431/424940548800000000", "254887046084903897/849881097600000000" ] }, { "id": "R7", "coefficients": [ "283269537/500000000", "0", "-2738272191/2000000000", "94423179/50000000" ], "weights": [ "426397529029110163/1062351372000000000", "156820064658897293/531175686000000000", "322313713653095251/1062351372000000000" ] }, { "id": "R8", "coefficients": [ "2489499/2500000", "829833/625000", "-2489499/5000000", "-17426493/25000000" ], "weights": [ "22696350811770791/53117568600000000", "8389970125431481/26558784300000000", "13641277537366247/53117568600000000" ] }, { "id": "R9", "coefficients": [ "0", "-136622373/62500000", "45540791/31250000", "-409867119/100000000" ], "weights": [ "109271905616187823/354117124000000000", "65655074848918833/177058562000000000", "113535068685974511/354117124000000000" ] }, { "id": "R10", "coefficients": [ "96617699/200000000", "-676323893/500000000", "-96617699/50000000", "869559291/100000000" ], "weights": [ "52918674949276033/132793921500000000", "18862648524447233/66396960750000000", "42149949501829501/132793921500000000" ] }, { "id": "P1", "coefficients": [ "152051037/250000000", "50683679/500000000", "-152051037/250000000", "-50683679/31250000", "152051037/50000000", "354785753/500000000" ], "weights": [ "42084914953127302397/103048083084000000000", "14885702938596259987/51524041542000000000", "31191762253680177629/103048083084000000000" ] }, { "id": "P2", "coefficients": [ "23767387/125000000", "-166371709/62500000", "23767387/125000000", "308976031/250000000", "-166371709/125000000", "-23767387/125000000" ], "weights": [ "8406992511623131987/25762020771000000000", "4710532417132947437/12881010385500000000", "7933963425110973139/25762020771000000000" ] }, { "id": "P3", "coefficients": [ "9977339/12500000", "109750729/50000000", "-9977339/50000000", "-9977339/12500000", "-9977339/12500000", "9977339/25000000" ], "weights": [ "858810769651497581/2060961661680000000", "317731704258481987/1030480830840000000", "113337496702307689/412192332336000000" ] }, { "id": "R2*", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ], "weights": [ "999097820905/2411803202283", "734340720409/2411803202283", "678364660969/2411803202283" ] }, { "id": "R5*", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ], "weights": [ "326939582521/826774955259", "240338533129/826774955259", "259496839609/826774955259" ] }, { "id": "Bridge-0", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ], "weights": [ "999097820905/2411803202283", "734340720409/2411803202283", "678364660969/2411803202283" ] }, { "id": "Bridge-1/8", "coefficients": [ "408336/598849", "1369344/598849", "-621792/598849", "734976/598849" ], "weights": [ "65235387309529/159047014192707", "48238546531729/159047014192707", "45573080351449/159047014192707" ] }, { "id": "Bridge-1/2", "coefficients": [ "22704/41737", "84480/41737", "-51744/41737", "67584/41737" ], "weights": [ "4445689830289/11084839803291", "3309194438521/11084839803291", "3329955534481/11084839803291" ] }, { "id": "Bridge-7/8", "coefficients": [ "348432/760657", "1080576/760657", "-1125600/760657", "1736448/760657" ], "weights": [ "80051091750121/202021251892851", "59135190312865/202021251892851", "62834969829865/202021251892851" ] }, { "id": "Bridge-1", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ], "weights": [ "326939582521/826774955259", "240338533129/826774955259", "259496839609/826774955259" ] } ] }, { "sides_abc": [ 9, 6, 5 ], "maps": [ { "id": "S1", "coefficients": [ "2/5", "6/5", "-3/2", "5/2" ], "weights": [ "4001605753/6098803440", "393097799/3049401720", "1311002089/6098803440" ] }, { "id": "S2", "coefficients": [ "2/5", "1", "-3/2", "14/5" ], "weights": [ "1962377647/3049401720", "207909161/1524700860", "671205751/3049401720" ] }, { "id": "S3", "coefficients": [ "3/8", "1", "-7/5", "5/2" ], "weights": [ "957098201/1524700860", "55894499/381175215", "344024663/1524700860" ] }, { "id": "S*", "coefficients": [ "10478284289/25000000000", "31434852867/25000000000", "-31434852867/20000000000", "10478284289/4000000000" ], "weights": [ "13652547356693843299/20329344800000000000", "1210943393375662517/10164672400000000000", "4254910656554831667/20329344800000000000" ] }, { "id": "R1", "coefficients": [ "-74921967/100000000", "1223725461/500000000", "724245681/500000000", "-1323621417/500000000" ], "weights": [ "8007502005473639/152470086000000000", "39477779400952627/76235043000000000", "65507025192621107/152470086000000000" ] }, { "id": "R2", "coefficients": [ "148001319/200000000", "1134676779/500000000", "-49333773/50000000", "148001319/125000000" ], "weights": [ "43575740244466187/60988034400000000", "4180938273799729/30494017200000000", "1810083521586871/12197606880000000" ] }, { "id": "R3", "coefficients": [ "147125277/200000000", "-1029876939/200000000", "147125277/200000000", "-1324127493/1000000000" ], "weights": [ "1101249289025321/4294932000000000", "870029512768933/2147466000000000", "1453623685436813/4294932000000000" ] }, { "id": "R4", "coefficients": [ "-383611273/400000000", "60570201/50000000", "60570201/80000000", "-666272211/400000000" ], "weights": [ "2728485759039713/48790427520000000", "11483672108141191/24395213760000000", "4618919508935581/9758085504000000" ] }, { "id": "R5", "coefficients": [ "439447473/1000000000", "146482491/125000000", "-48827497/31250000", "634757461/250000000" ], "weights": [ "51377715833933801/76235043000000000", "4506625105463773/38117521500000000", "15844076955138653/76235043000000000" ] }, { "id": "R6", "coefficients": [ "293613381/400000000", "-1663809159/400000000", "-880840143/500000000", "4012716207/500000000" ], "weights": [ "120452980401865043/243952137600000000", "26993512474624489/121976068800000000", "69512132248885979/243952137600000000" ] }, { "id": "R7", "coefficients": [ "283269537/500000000", "0", "-2738272191/2000000000", "94423179/50000000" ], "weights": [ "198239845192563907/304940172000000000", "20596810244309141/152470086000000000", "65506706318817811/304940172000000000" ] }, { "id": "R8", "coefficients": [ "2489499/2500000", "829833/625000", "-2489499/5000000", "-17426493/25000000" ], "weights": [ "10771703743430447/15247008600000000", "1216723975479481/7623504300000000", "2041856905610591/15247008600000000" ] }, { "id": "R9", "coefficients": [ "0", "-136622373/62500000", "45540791/31250000", "-409867119/100000000" ], "weights": [ "2353175783312539/20329344800000000", "4896840451896461/10164672400000000", "8182488112894539/20329344800000000" ] }, { "id": "R10", "coefficients": [ "96617699/200000000", "-676323893/500000000", "-96617699/50000000", "869559291/100000000" ], "weights": [ "81556893504982081/152470086000000000", "15298844319126473/76235043000000000", "40315503856764973/152470086000000000" ] }, { "id": "P1", "coefficients": [ "152051037/250000000", "50683679/500000000", "-152051037/250000000", "-50683679/31250000", "152051037/50000000", "354785753/500000000" ], "weights": [ "12908919775064463733/21650752212000000000", "1770294535026202919/10825376106000000000", "5201243366883130429/21650752212000000000" ] }, { "id": "P2", "coefficients": [ "23767387/125000000", "-166371709/62500000", "23767387/125000000", "308976031/250000000", "-166371709/125000000", "-23767387/125000000" ], "weights": [ "798548559720722033/5412688053000000000", "1292509225636941679/2706344026500000000", "2029121042005394609/5412688053000000000" ] }, { "id": "P3", "coefficients": [ "9977339/12500000", "109750729/50000000", "-9977339/50000000", "-9977339/12500000", "-9977339/12500000", "9977339/25000000" ], "weights": [ "1518761718335420357/2165075221200000000", "158217929366905951/1082537610600000000", "329877644130767741/2165075221200000000" ] }, { "id": "R2*", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ], "weights": [ "494639125801/692290425483", "94917748921/692290425483", "102733550761/692290425483" ] }, { "id": "R5*", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ], "weights": [ "159938830369/237319688859", "28058247289/237319688859", "49322611201/237319688859" ] }, { "id": "Bridge-0", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ], "weights": [ "494639125801/692290425483", "94917748921/692290425483", "102733550761/692290425483" ] }, { "id": "Bridge-1/8", "coefficients": [ "408336/598849", "1369344/598849", "-621792/598849", "734976/598849" ], "weights": [ "32355587105161/45653279265507", "6176714827921/45653279265507", "7120977332425/45653279265507" ] }, { "id": "Bridge-1/2", "coefficients": [ "22704/41737", "84480/41737", "-51744/41737", "67584/41737" ], "weights": [ "2202753678625/3181821989691", "409081044025/3181821989691", "569987267041/3181821989691" ] }, { "id": "Bridge-7/8", "coefficients": [ "348432/760657", "1080576/760657", "-1125600/760657", "1736448/760657" ], "weights": [ "39321164497561/57988719103251", "7007846359201/57988719103251", "11659708246489/57988719103251" ] }, { "id": "Bridge-1", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ], "weights": [ "159938830369/237319688859", "28058247289/237319688859", "49322611201/237319688859" ] } ] }, { "sides_abc": [ 12, 8, 6 ], "maps": [ { "id": "S1", "coefficients": [ "2/5", "6/5", "-3/2", "5/2" ], "weights": [ "143061187/207687615", "19065427/207687615", "45561001/207687615" ] }, { "id": "S2", "coefficients": [ "2/5", "1", "-3/2", "14/5" ], "weights": [ "139550747/207687615", "21315407/207687615", "46821461/207687615" ] }, { "id": "S3", "coefficients": [ "3/8", "1", "-7/5", "5/2" ], "weights": [ "1089621277/1661500920", "189246697/1661500920", "191316473/830750460" ] }, { "id": "S*", "coefficients": [ "10478284289/25000000000", "31434852867/25000000000", "-31434852867/20000000000", "10478284289/4000000000" ], "weights": [ "244320757836055133/346146025000000000", "27776953850952693/346146025000000000", "37024156656496087/173073012500000000" ] }, { "id": "R1", "coefficients": [ "-74921967/100000000", "1223725461/500000000", "724245681/500000000", "-1323621417/500000000" ], "weights": [ "521821678074121/10384380750000000", "5660906699521621/10384380750000000", "2100826186202129/5192190375000000" ] }, { "id": "R2", "coefficients": [ "148001319/200000000", "1134676779/500000000", "-49333773/50000000", "148001319/125000000" ], "weights": [ "31704948571177603/41537523000000000", "4600694455822423/41537523000000000", "2615939986499987/20768761500000000" ] }, { "id": "R3", "coefficients": [ "147125277/200000000", "-1029876939/200000000", "147125277/200000000", "-1324127493/1000000000" ], "weights": [ "4480970609545757/20768761500000000", "9015145073759177/20768761500000000", "3636322908347533/10384380750000000" ] }, { "id": "R4", "coefficients": [ "-383611273/400000000", "60570201/50000000", "60570201/80000000", "-666272211/400000000" ], "weights": [ "749705633273681/16615009200000000", "7926119983742621/16615009200000000", "3969591791491849/8307504600000000" ] }, { "id": "R5", "coefficients": [ "439447473/1000000000", "146482491/125000000", "-48827497/31250000", "634757461/250000000" ], "weights": [ "29417535400745291/41537523000000000", "3287059957172351/41537523000000000", "4416463821041179/20768761500000000" ] }, { "id": "R6", "coefficients": [ "293613381/400000000", "-1663809159/400000000", "-880840143/500000000", "4012716207/500000000" ], "weights": [ "3684474345470939/8307504600000000", "1986666714373679/8307504600000000", "1318181770077691/4153752300000000" ] }, { "id": "R7", "coefficients": [ "283269537/500000000", "0", "-2738272191/2000000000", "94423179/50000000" ], "weights": [ "28101140709073519/41537523000000000", "4137942895777039/41537523000000000", "4649219697574721/20768761500000000" ] }, { "id": "R8", "coefficients": [ "2489499/2500000", "829833/625000", "-2489499/5000000", "-17426493/25000000" ], "weights": [ "392225741310977/519219037500000", "71501045851997/519219037500000", "27746125168513/259609518750000" ] }, { "id": "R9", "coefficients": [ "0", "-136622373/62500000", "45540791/31250000", "-409867119/100000000" ], "weights": [ "329244601185551/3461460250000000", "1744836370261191/3461460250000000", "693689639276629/1730730125000000" ] }, { "id": "R10", "coefficients": [ "96617699/200000000", "-676323893/500000000", "-96617699/50000000", "869559291/100000000" ], "weights": [ "20980736624065427/41537523000000000", "8877752444034167/41537523000000000", "5839516965950203/20768761500000000" ] }, { "id": "P1", "coefficients": [ "152051037/250000000", "50683679/500000000", "-152051037/250000000", "-50683679/31250000", "152051037/50000000", "354785753/500000000" ], "weights": [ "759075980237900719/1266894451500000000", "184444546115442979/1266894451500000000", "161686962573328151/633447225750000000" ] }, { "id": "P2", "coefficients": [ "23767387/125000000", "-166371709/62500000", "23767387/125000000", "308976031/250000000", "-166371709/125000000", "-23767387/125000000" ], "weights": [ "4565064795007903/39590451609375000", "40981353578844701/79180903218750000", "29069420049889493/79180903218750000" ] }, { "id": "P3", "coefficients": [ "9977339/12500000", "109750729/50000000", "-9977339/50000000", "-9977339/12500000", "-9977339/12500000", "9977339/25000000" ], "weights": [ "3813834425902199/5067577806000000", "2949783520476487/25337889030000000", "1659466690006259/12668944515000000" ] }, { "id": "R2*", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ], "weights": [ "287912640649/377202246363", "41778904969/377202246363", "47510700745/377202246363" ] }, { "id": "R5*", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ], "weights": [ "91576788289/129306309099", "10232617249/129306309099", "27496903561/129306309099" ] }, { "id": "Bridge-0", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ], "weights": [ "287912640649/377202246363", "41778904969/377202246363", "47510700745/377202246363" ] }, { "id": "Bridge-1/8", "coefficients": [ "408336/598849", "1369344/598849", "-621792/598849", "734976/598849" ], "weights": [ "18838283864449/24874704111027", "2651651767489/24874704111027", "3384768479089/24874704111027" ] }, { "id": "Bridge-1/2", "coefficients": [ "22704/41737", "84480/41737", "-51744/41737", "67584/41737" ], "weights": [ "1277685125161/1733651597451", "163217224681/1733651597451", "292749247609/1733651597451" ] }, { "id": "Bridge-7/8", "coefficients": [ "348432/760657", "1080576/760657", "-1125600/760657", "1736448/760657" ], "weights": [ "22601220464785/31595807632611", "2610926840785/31595807632611", "6383660327041/31595807632611" ] }, { "id": "Bridge-1", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ], "weights": [ "91576788289/129306309099", "10232617249/129306309099", "27496903561/129306309099" ] } ] }, { "sides_abc": [ 14, 11, 5 ], "maps": [ { "id": "S1", "coefficients": [ "2/5", "6/5", "-3/2", "5/2" ], "weights": [ "734488199/1266720120", "228563473/2533440240", "835900369/2533440240" ] }, { "id": "S2", "coefficients": [ "2/5", "1", "-3/2", "14/5" ], "weights": [ "358166881/633360060", "131117387/1266720120", "419268971/1266720120" ] }, { "id": "S3", "coefficients": [ "3/8", "1", "-7/5", "5/2" ], "weights": [ "87947914/158340015", "36041303/316680030", "104742899/316680030" ] }, { "id": "S*", "coefficients": [ "10478284289/25000000000", "31434852867/25000000000", "-31434852867/20000000000", "10478284289/4000000000" ], "weights": [ "7494225378718873951/12667201200000000000", "1991051493537712577/25334402400000000000", "8354900149024539521/25334402400000000000" ] }, { "id": "R1", "coefficients": [ "-74921967/100000000", "1223725461/500000000", "724245681/500000000", "-1323621417/500000000" ], "weights": [ "1850725558779269/10556001000000000", "11899870395046963/21112002000000000", "5510680487394499/21112002000000000" ] }, { "id": "R2", "coefficients": [ "148001319/200000000", "1134676779/500000000", "-49333773/50000000", "148001319/125000000" ], "weights": [ "64257275700367/93831120000000", "6279286241869/37532448000000", "27751257389921/187662240000000" ] }, { "id": "R3", "coefficients": [ "147125277/200000000", "-1029876939/200000000", "147125277/200000000", "-1324127493/1000000000" ], "weights": [ "543089903678749/2345778000000000", "2108591364593723/4691556000000000", "1496784828048779/4691556000000000" ] }, { "id": "R4", "coefficients": [ "-383611273/400000000", "60570201/50000000", "60570201/80000000", "-666272211/400000000" ], "weights": [ "78777351809417/675584064000000", "115830245088299/270233625600000", "614462198939671/1351168128000000" ] }, { "id": "R5", "coefficients": [ "439447473/1000000000", "146482491/125000000", "-48827497/31250000", "634757461/250000000" ], "weights": [ "9392490989249953/15834001500000000", "2444944334882231/31668003000000000", "10438076686617863/31668003000000000" ] }, { "id": "R6", "coefficients": [ "293613381/400000000", "-1663809159/400000000", "-880840143/500000000", "4012716207/500000000" ], "weights": [ "5822686598039563/16889601600000000", "9130205124309701/33779203200000000", "13003624879611173/33779203200000000" ] }, { "id": "R7", "coefficients": [ "283269537/500000000", "0", "-2738272191/2000000000", "94423179/50000000" ], "weights": [ "626785282813373/1111158000000000", "206420616542371/2222316000000000", "762324817830883/2222316000000000" ] }, { "id": "R8", "coefficients": [ "2489499/2500000", "829833/625000", "-2489499/5000000", "-17426493/25000000" ], "weights": [ "81049490113883/117288900000000", "47458194398341/234577800000000", "25020625373893/234577800000000" ] }, { "id": "R9", "coefficients": [ "0", "-136622373/62500000", "45540791/31250000", "-409867119/100000000" ], "weights": [ "79948215702661/469155600000000", "464723488259867/938311200000000", "313691280334811/938311200000000" ] }, { "id": "R10", "coefficients": [ "96617699/200000000", "-676323893/500000000", "-96617699/50000000", "869559291/100000000" ], "weights": [ "4386652292065591/10556001000000000", "5593405966545857/21112002000000000", "6745291449322961/21112002000000000" ] }, { "id": "P1", "coefficients": [ "152051037/250000000", "50683679/500000000", "-152051037/250000000", "-50683679/31250000", "152051037/50000000", "354785753/500000000" ], "weights": [ "2206754511325602593/3610152342000000000", "452416726762268911/7220304684000000000", "2354378934586525903/7220304684000000000" ] }, { "id": "P2", "coefficients": [ "23767387/125000000", "-166371709/62500000", "23767387/125000000", "308976031/250000000", "-166371709/125000000", "-23767387/125000000" ], "weights": [ "142268805997365953/902538085500000000", "1043296857706884031/1805076171000000000", "477241701298384063/1805076171000000000" ] }, { "id": "P3", "coefficients": [ "9977339/12500000", "109750729/50000000", "-9977339/50000000", "-9977339/12500000", "-9977339/12500000", "9977339/25000000" ], "weights": [ "261554563885315897/361015234200000000", "78737515156027319/722030468400000000", "120183825473340887/722030468400000000" ] }, { "id": "R2*", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ], "weights": [ "21882012209/31953015027", "5345831009/31953015027", "4725171809/31953015027" ] }, { "id": "R5*", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ], "weights": [ "3077771011/5188552281", "36416801/471686571", "1710196459/5188552281" ] }, { "id": "Bridge-0", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ], "weights": [ "21882012209/31953015027", "5345831009/31953015027", "4725171809/31953015027" ] }, { "id": "Bridge-1/8", "coefficients": [ "408336/598849", "1369344/598849", "-621792/598849", "734976/598849" ], "weights": [ "1423867894729/2107150214283", "327377692129/2107150214283", "355904627425/2107150214283" ] }, { "id": "Bridge-1/2", "coefficients": [ "22704/41737", "84480/41737", "-51744/41737", "67584/41737" ], "weights": [ "283184477075/440575813737", "52778180075/440575813737", "104613156587/440575813737" ] }, { "id": "Bridge-7/8", "coefficients": [ "348432/760657", "1080576/760657", "-1125600/760657", "1736448/760657" ], "weights": [ "255955972393/422605055403", "36812870593/422605055403", "129836212417/422605055403" ] }, { "id": "Bridge-1", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ], "weights": [ "3077771011/5188552281", "36416801/471686571", "1710196459/5188552281" ] } ] }, { "sides_abc": [ 30, 21, 11 ], "maps": [ { "id": "S1", "coefficients": [ "2/5", "6/5", "-3/2", "5/2" ], "weights": [ "24087463661687/34265001398520", "2895036305473/68530002797040", "17460039168193/68530002797040" ] }, { "id": "S2", "coefficients": [ "2/5", "1", "-3/2", "14/5" ], "weights": [ "11624233370033/17132500699260", "2115616334827/34265001398520", "8900918323627/34265001398520" ] }, { "id": "S3", "coefficients": [ "3/8", "1", "-7/5", "5/2" ], "weights": [ "2846823390002/4283125174815", "620973593833/8566250349630", "2251629975793/8566250349630" ] }, { "id": "S*", "coefficients": [ "10478284289/25000000000", "31434852867/25000000000", "-31434852867/20000000000", "10478284289/4000000000" ], "weights": [ "82310829368096085128261/114216671328400000000000", "6469801849357414904059/228433342656800000000000", "57341882071250414839419/228433342656800000000000" ] }, { "id": "R1", "coefficients": [ "-74921967/100000000", "1223725461/500000000", "724245681/500000000", "-1323621417/500000000" ], "weights": [ "87861090531392136031/856625034963000000000", "1006098173418857936849/1713250069926000000000", "531429715444357791089/1713250069926000000000" ] }, { "id": "R2", "coefficients": [ "148001319/200000000", "1134676779/500000000", "-49333773/50000000", "148001319/125000000" ], "weights": [ "56189072266558631333/68530002797040000000", "60868669778442304487/685300027970400000000", "62540635526371382183/685300027970400000000" ] }, { "id": "R3", "coefficients": [ "147125277/200000000", "-1029876939/200000000", "147125277/200000000", "-1324127493/1000000000" ], "weights": [ "243396658966709067359/1713250069926000000000", "1616395431561395406481/3426500139852000000000", "1323311390357186458801/3426500139852000000000" ] }, { "id": "R4", "coefficients": [ "-383611273/400000000", "60570201/50000000", "60570201/80000000", "-666272211/400000000" ], "weights": [ "193579519107346459/3224941308096000000", "15075138588989112889/32249413080960000000", "15238479300897422521/32249413080960000000" ] }, { "id": "R5", "coefficients": [ "439447473/1000000000", "146482491/125000000", "-48827497/31250000", "634757461/250000000" ], "weights": [ "309556985615521932049/428312517481500000000", "22268299288097683391/856625034963000000000", "215242764443858452511/856625034963000000000" ] }, { "id": "R6", "coefficients": [ "293613381/400000000", "-1663809159/400000000", "-880840143/500000000", "4012716207/500000000" ], "weights": [ "403638015475242777457/1370600055940800000000", "901029105495001305263/2741200111881600000000", "1032894975436113139823/2741200111881600000000" ] }, { "id": "R7", "coefficients": [ "283269537/500000000", "0", "-2738272191/2000000000", "94423179/50000000" ], "weights": [ "1160272881357963367013/1713250069926000000000", "154002390707027872987/3426500139852000000000", "951951986429045392987/3426500139852000000000" ] }, { "id": "R8", "coefficients": [ "2489499/2500000", "829833/625000", "-2489499/5000000", "-17426493/25000000" ], "weights": [ "70146914088052579753/85662503496300000000", "18970219532291195927/171325006992600000000", "12060959284203644567/171325006992600000000" ] }, { "id": "R9", "coefficients": [ "0", "-136622373/62500000", "45540791/31250000", "-409867119/100000000" ], "weights": [ "10349444273774762237/114216671328400000000", "116464913984253317059/228433342656800000000", "91269540124997158467/228433342656800000000" ] }, { "id": "R10", "coefficients": [ "96617699/200000000", "-676323893/500000000", "-96617699/50000000", "869559291/100000000" ], "weights": [ "341975760907213825109/856625034963000000000", "531238820423334823771/1713250069926000000000", "498059727688237526011/1713250069926000000000" ] }, { "id": "P1", "coefficients": [ "152051037/250000000", "50683679/500000000", "-152051037/250000000", "-50683679/31250000", "152051037/50000000", "354785753/500000000" ], "weights": [ "778571140899510927434627/1252385801115906000000000", "236757056358173174184733/2504771602231812000000000", "710872264074616970946013/2504771602231812000000000" ] }, { "id": "P2", "coefficients": [ "23767387/125000000", "-166371709/62500000", "23767387/125000000", "308976031/250000000", "-166371709/125000000", "-23767387/125000000" ], "weights": [ "20554220506314297170467/313096450278976500000000", "374326771728891142931933/626192900557953000000000", "210757687816433262727133/626192900557953000000000" ] }, { "id": "P3", "coefficients": [ "9977339/12500000", "109750729/50000000", "-9977339/50000000", "-9977339/12500000", "-9977339/12500000", "9977339/25000000" ], "weights": [ "105854679291168782315083/125238580111590600000000", "12343646060516721902357/250477160223181200000000", "26424155580326913467477/250477160223181200000000" ] }, { "id": "R2*", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ], "weights": [ "6378162128070601/7779011942499003", "690935456459641/7779011942499003", "709914357968761/7779011942499003" ] }, { "id": "R5*", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ], "weights": [ "1927301805005641/2666673733839819", "69321205768129/2666673733839819", "670050723066049/2666673733839819" ] }, { "id": "Bridge-0", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ], "weights": [ "6378162128070601/7779011942499003", "690935456459641/7779011942499003", "709914357968761/7779011942499003" ] }, { "id": "Bridge-1/8", "coefficients": [ "408336/598849", "1369344/598849", "-621792/598849", "734976/598849" ], "weights": [ "416878195978091425/512989045562557587", "40350835720270201/512989045562557587", "55760013864195961/512989045562557587" ] }, { "id": "Bridge-1/2", "coefficients": [ "22704/41737", "84480/41737", "-51744/41737", "67584/41737" ], "weights": [ "27892947131323081/35752959084250731", "1856465069628625/35752959084250731", "6003546883299025/35752959084250731" ] }, { "id": "Bridge-7/8", "coefficients": [ "348432/760657", "1080576/760657", "-1125600/760657", "1736448/760657" ], "weights": [ "28280491787752097/38329284071755923", "1205623842216953/38329284071755923", "8843168441786873/38329284071755923" ] }, { "id": "Bridge-1", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ], "weights": [ "1927301805005641/2666673733839819", "69321205768129/2666673733839819", "670050723066049/2666673733839819" ] } ] }, { "sides_abc": [ 1, 1, 1 ], "maps": [ { "id": "S1", "coefficients": [ "2/5", "6/5", "-3/2", "5/2" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "S2", "coefficients": [ "2/5", "1", "-3/2", "14/5" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "S3", "coefficients": [ "3/8", "1", "-7/5", "5/2" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "S*", "coefficients": [ "10478284289/25000000000", "31434852867/25000000000", "-31434852867/20000000000", "10478284289/4000000000" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "R1", "coefficients": [ "-74921967/100000000", "1223725461/500000000", "724245681/500000000", "-1323621417/500000000" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "R2", "coefficients": [ "148001319/200000000", "1134676779/500000000", "-49333773/50000000", "148001319/125000000" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "R3", "coefficients": [ "147125277/200000000", "-1029876939/200000000", "147125277/200000000", "-1324127493/1000000000" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "R4", "coefficients": [ "-383611273/400000000", "60570201/50000000", "60570201/80000000", "-666272211/400000000" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "R5", "coefficients": [ "439447473/1000000000", "146482491/125000000", "-48827497/31250000", "634757461/250000000" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "R6", "coefficients": [ "293613381/400000000", "-1663809159/400000000", "-880840143/500000000", "4012716207/500000000" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "R7", "coefficients": [ "283269537/500000000", "0", "-2738272191/2000000000", "94423179/50000000" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "R8", "coefficients": [ "2489499/2500000", "829833/625000", "-2489499/5000000", "-17426493/25000000" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "R9", "coefficients": [ "0", "-136622373/62500000", "45540791/31250000", "-409867119/100000000" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "R10", "coefficients": [ "96617699/200000000", "-676323893/500000000", "-96617699/50000000", "869559291/100000000" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "P1", "coefficients": [ "152051037/250000000", "50683679/500000000", "-152051037/250000000", "-50683679/31250000", "152051037/50000000", "354785753/500000000" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "P2", "coefficients": [ "23767387/125000000", "-166371709/62500000", "23767387/125000000", "308976031/250000000", "-166371709/125000000", "-23767387/125000000" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "P3", "coefficients": [ "9977339/12500000", "109750729/50000000", "-9977339/50000000", "-9977339/12500000", "-9977339/12500000", "9977339/25000000" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "R2*", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "R5*", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "Bridge-0", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "Bridge-1/8", "coefficients": [ "408336/598849", "1369344/598849", "-621792/598849", "734976/598849" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "Bridge-1/2", "coefficients": [ "22704/41737", "84480/41737", "-51744/41737", "67584/41737" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "Bridge-7/8", "coefficients": [ "348432/760657", "1080576/760657", "-1125600/760657", "1736448/760657" ], "weights": [ "1/3", "1/3", "1/3" ] }, { "id": "Bridge-1", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ], "weights": [ "1/3", "1/3", "1/3" ] } ] }, { "sides_abc": [ 13, 20, 21 ], "maps": [ { "id": "S1", "coefficients": [ "2/5", "6/5", "-3/2", "5/2" ], "weights": [ "1133410600037/3121812030000", "87935617703/312181203000", "1109045252933/3121812030000" ] }, { "id": "S2", "coefficients": [ "2/5", "1", "-3/2", "14/5" ], "weights": [ "2837915996869/7804530075000", "1100596411391/3902265037500", "2765421255349/7804530075000" ] }, { "id": "S3", "coefficients": [ "3/8", "1", "-7/5", "5/2" ], "weights": [ "112762653133/312181203000", "44547250043/156090601500", "110324049781/312181203000" ] }, { "id": "S*", "coefficients": [ "10478284289/25000000000", "31434852867/25000000000", "-31434852867/20000000000", "10478284289/4000000000" ], "weights": [ "37552785261717363131/103030100000000000000", "2876712694770677489/10303010000000000000", "36710187790575861979/103030100000000000000" ] }, { "id": "R1", "coefficients": [ "-74921967/100000000", "1223725461/500000000", "724245681/500000000", "-1323621417/500000000" ], "weights": [ "64038659492860494037/195113251875000000000", "36472323885265637513/97556625937500000000", "58129944611608230937/195113251875000000000" ] }, { "id": "R2", "coefficients": [ "148001319/200000000", "1134676779/500000000", "-49333773/50000000", "148001319/125000000" ], "weights": [ "203340989018364938341/780453007500000000000", "130086874436173442819/390226503750000000000", "316938269609288176021/780453007500000000000" ] }, { "id": "R3", "coefficients": [ "147125277/200000000", "-1029876939/200000000", "147125277/200000000", "-1324127493/1000000000" ], "weights": [ "82905749972843115143/390226503750000000000", "77778005879833974127/195113251875000000000", "151764742017488936603/390226503750000000000" ] }, { "id": "R4", "coefficients": [ "-383611273/400000000", "60570201/50000000", "60570201/80000000", "-666272211/400000000" ], "weights": [ "266607872354997160309/624362406000000000000", "99143529773596268891/312181203000000000000", "159467474097810301909/624362406000000000000" ] }, { "id": "R5", "coefficients": [ "439447473/1000000000", "146482491/125000000", "-48827497/31250000", "634757461/250000000" ], "weights": [ "35283421924302864079/97556625937500000000", "13677382410694097171/48778312968750000000", "34918439191808941579/97556625937500000000" ] }, { "id": "R6", "coefficients": [ "293613381/400000000", "-1663809159/400000000", "-880840143/500000000", "4012716207/500000000" ], "weights": [ "1113758076962886465613/3121812030000000000000", "447516183394428596507/1560906015000000000000", "1113021586248256341373/3121812030000000000000" ] }, { "id": "R7", "coefficients": [ "283269537/500000000", "0", "-2738272191/2000000000", "94423179/50000000" ], "weights": [ "53155666541849141783/156090601500000000000", "22864481979936362137/78045300750000000000", "57205970998278133943/156090601500000000000" ] }, { "id": "R8", "coefficients": [ "2489499/2500000", "829833/625000", "-2489499/5000000", "-17426493/25000000" ], "weights": [ "7726478691785922647/39022650375000000000", "7182643979782576633/19511325187500000000", "16930883723648924087/39022650375000000000" ] }, { "id": "R9", "coefficients": [ "0", "-136622373/62500000", "45540791/31250000", "-409867119/100000000" ], "weights": [ "13486479920142086739/52030200500000000000", "10339052257374329853/26015100250000000000", "3573123213021850711/10406040100000000000" ] }, { "id": "R10", "coefficients": [ "96617699/200000000", "-676323893/500000000", "-96617699/50000000", "869559291/100000000" ], "weights": [ "7401659111083567061/19511325187500000000", "1338023192748767939/4877831296875000000", "6757573305421361183/19511325187500000000" ] }, { "id": "P1", "coefficients": [ "152051037/250000000", "50683679/500000000", "-152051037/250000000", "-50683679/31250000", "152051037/50000000", "354785753/500000000" ], "weights": [ "26965266664917033000961/78825753757500000000000", "11212220551327316435159/39412876878750000000000", "29436045989928334128721/78825753757500000000000" ] }, { "id": "P2", "coefficients": [ "23767387/125000000", "-166371709/62500000", "23767387/125000000", "308976031/250000000", "-166371709/125000000", "-23767387/125000000" ], "weights": [ "4695476002983653616047/19706438439375000000000", "3986620773348610558513/9853219219687500000000", "7037720889694125266927/19706438439375000000000" ] }, { "id": "P3", "coefficients": [ "9977339/12500000", "109750729/50000000", "-9977339/50000000", "-9977339/12500000", "-9977339/12500000", "9977339/25000000" ], "weights": [ "388543947872069790193/1576515075150000000000", "267367733230177294103/788257537575000000000", "653235660817575621601/1576515075150000000000" ] }, { "id": "R2*", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ], "weights": [ "461634878192329/1771823440276875", "590659453378297/1771823440276875", "719529108706249/1771823440276875" ] }, { "id": "R5*", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ], "weights": [ "219674585108953/607387553086875", "170310765388969/607387553086875", "217402202588953/607387553086875" ] }, { "id": "Bridge-0", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ], "weights": [ "461634878192329/1771823440276875", "590659453378297/1771823440276875", "719529108706249/1771823440276875" ] }, { "id": "Bridge-1/8", "coefficients": [ "408336/598849", "1369344/598849", "-621792/598849", "734976/598849" ], "weights": [ "32012084734510777/116843375772091875", "38186257296914161/116843375772091875", "46645033740666937/116843375772091875" ] }, { "id": "Bridge-1/2", "coefficients": [ "22704/41737", "84480/41737", "-51744/41737", "67584/41737" ], "weights": [ "2556515699006833/8143441793506875", "2495145517765849/8143441793506875", "3091780576734193/8143441793506875" ] }, { "id": "Bridge-7/8", "coefficients": [ "348432/760657", "1080576/760657", "-1125600/760657", "1736448/760657" ], "weights": [ "52031130922197961/148414260831481875", "42534270489437953/148414260831481875", "53848859419845961/148414260831481875" ] }, { "id": "Bridge-1", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ], "weights": [ "219674585108953/607387553086875", "170310765388969/607387553086875", "217402202588953/607387553086875" ] } ] }, { "sides_abc": [ 3, 4, 5 ], "maps": [ { "id": "S1", "coefficients": [ "2/5", "6/5", "-3/2", "5/2" ], "weights": [ "1153633/3750000", "363047/1875000", "1870273/3750000" ] }, { "id": "S2", "coefficients": [ "2/5", "1", "-3/2", "14/5" ], "weights": [ "14489989/46875000", "4598207/23437500", "23188597/46875000" ] }, { "id": "S3", "coefficients": [ "3/8", "1", "-7/5", "5/2" ], "weights": [ "581293/1875000", "191579/937500", "910549/1875000" ] }, { "id": "S*", "coefficients": [ "10478284289/25000000000", "31434852867/25000000000", "-31434852867/20000000000", "10478284289/4000000000" ], "weights": [ "3830079725973979/12500000000000000", "1168393998547861/6250000000000000", "6333132276930299/12500000000000000" ] }, { "id": "R1", "coefficients": [ "-74921967/100000000", "1223725461/500000000", "724245681/500000000", "-1323621417/500000000" ], "weights": [ "435702875327077/1171875000000000", "273948323930201/585937500000000", "188275476812521/1171875000000000" ] }, { "id": "R2", "coefficients": [ "148001319/200000000", "1134676779/500000000", "-49333773/50000000", "148001319/125000000" ], "weights": [ "1064728989156901/4687500000000000", "538904302861763/2343750000000000", "2544962405119573/4687500000000000" ] }, { "id": "R3", "coefficients": [ "147125277/200000000", "-1029876939/200000000", "147125277/200000000", "-1324127493/1000000000" ], "weights": [ "603137050032983/2343750000000000", "460954854788479/1171875000000000", "818703240390059/2343750000000000" ] }, { "id": "R4", "coefficients": [ "-383611273/400000000", "60570201/50000000", "60570201/80000000", "-666272211/400000000" ], "weights": [ "1657786192953589/3750000000000000", "766688257177307/1875000000000000", "558837292691797/3750000000000000" ] }, { "id": "R5", "coefficients": [ "439447473/1000000000", "146482491/125000000", "-48827497/31250000", "634757461/250000000" ], "weights": [ "178234936441759/585937500000000", "54805775735267/292968750000000", "298091012087707/585937500000000" ] }, { "id": "R6", "coefficients": [ "293613381/400000000", "-1663809159/400000000", "-880840143/500000000", "4012716207/500000000" ], "weights": [ "5879473517264653/18750000000000000", "1982663571422939/9375000000000000", "8905199339889469/18750000000000000" ] }, { "id": "R7", "coefficients": [ "283269537/500000000", "0", "-2738272191/2000000000", "94423179/50000000" ], "weights": [ "274794652892183/937500000000000", "94294325522329/468750000000000", "474116696063159/937500000000000" ] }, { "id": "R8", "coefficients": [ "2489499/2500000", "829833/625000", "-2489499/5000000", "-17426493/25000000" ], "weights": [ "43585756430807/234375000000000", "30760333682041/117187500000000", "129268576205111/234375000000000" ] }, { "id": "R9", "coefficients": [ "0", "-136622373/62500000", "45540791/31250000", "-409867119/100000000" ], "weights": [ "98657308754387/312500000000000", "70594040586621/156250000000000", "72654610072371/312500000000000" ] }, { "id": "R10", "coefficients": [ "96617699/200000000", "-676323893/500000000", "-96617699/50000000", "869559291/100000000" ], "weights": [ "37893715695197/117187500000000", "5854250691383/29296875000000", "55876781539271/117187500000000" ] }, { "id": "P1", "coefficients": [ "152051037/250000000", "50683679/500000000", "-152051037/250000000", "-50683679/31250000", "152051037/50000000", "354785753/500000000" ], "weights": [ "1379094163874477/4687500000000000", "437760067855051/2343750000000000", "2432885700415421/4687500000000000" ] }, { "id": "P2", "coefficients": [ "23767387/125000000", "-166371709/62500000", "23767387/125000000", "308976031/250000000", "-166371709/125000000", "-23767387/125000000" ], "weights": [ "341803198226563/1171875000000000", "262595286882269/585937500000000", "304881228008899/1171875000000000" ] }, { "id": "P3", "coefficients": [ "9977339/12500000", "109750729/50000000", "-9977339/50000000", "-9977339/12500000", "-9977339/12500000", "9977339/25000000" ], "weights": [ "102335044174801/468750000000000", "54946813383863/234375000000000", "256521329057473/468750000000000" ] }, { "id": "R2*", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ], "weights": [ "2417200969/10641796875", "2446894969/10641796875", "5777700937/10641796875" ] }, { "id": "R5*", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ], "weights": [ "1109690713/3648046875", "682441513/3648046875", "1855914649/3648046875" ] }, { "id": "Bridge-0", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ], "weights": [ "2417200969/10641796875", "2446894969/10641796875", "5777700937/10641796875" ] }, { "id": "Bridge-1/8", "coefficients": [ "408336/598849", "1369344/598849", "-621792/598849", "734976/598849" ], "weights": [ "166807901497/701776171875", "158440304497/701776171875", "376527965881/701776171875" ] }, { "id": "Bridge-1/2", "coefficients": [ "22704/41737", "84480/41737", "-51744/41737", "67584/41737" ], "weights": [ "13131148273/48910546875", "10292758873/48910546875", "25486639729/48910546875" ] }, { "id": "Bridge-7/8", "coefficients": [ "348432/760657", "1080576/760657", "-1125600/760657", "1736448/760657" ], "weights": [ "263842871881/891394921875", "172018116481/891394921875", "455533933513/891394921875" ] }, { "id": "Bridge-1", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ], "weights": [ "1109690713/3648046875", "682441513/3648046875", "1855914649/3648046875" ] } ] }, { "sides_abc": [ 20, 20, 39 ], "maps": [ { "id": "S1", "coefficients": [ "2/5", "6/5", "-3/2", "5/2" ], "weights": [ "35386141169767/435303161035215", "35386141169767/435303161035215", "364530878695681/435303161035215" ] }, { "id": "S2", "coefficients": [ "2/5", "1", "-3/2", "14/5" ], "weights": [ "43393161054491/435303161035215", "43393161054491/435303161035215", "348516838926233/435303161035215" ] }, { "id": "S3", "coefficients": [ "3/8", "1", "-7/5", "5/2" ], "weights": [ "377418606823513/3482425288281720", "377418606823513/3482425288281720", "1363794037317347/1741212644140860" ] }, { "id": "S*", "coefficients": [ "10478284289/25000000000", "31434852867/25000000000", "-31434852867/20000000000", "10478284289/4000000000" ], "weights": [ "4566462011754225269873/65955024399275000000000", "4566462011754225269873/65955024399275000000000", "28411050187883274730127/32977512199637500000000" ] }, { "id": "R1", "coefficients": [ "-74921967/100000000", "1223725461/500000000", "724245681/500000000", "-1323621417/500000000" ], "weights": [ "10692470540479233194131/21765158051760750000000", "10692470540479233194131/21765158051760750000000", "190108485401141805869/10882579025880375000000" ] }, { "id": "R2", "coefficients": [ "148001319/200000000", "1134676779/500000000", "-49333773/50000000", "148001319/125000000" ], "weights": [ "1608981545890504003711/87060632207043000000000", "1608981545890504003711/87060632207043000000000", "41921334557630995996289/43530316103521500000000" ] }, { "id": "R3", "coefficients": [ "147125277/200000000", "-1029876939/200000000", "147125277/200000000", "-1324127493/1000000000" ], "weights": [ "20661803742624333681407/43530316103521500000000", "20661803742624333681407/43530316103521500000000", "1103354309136416318593/21765158051760750000000" ] }, { "id": "R4", "coefficients": [ "-383611273/400000000", "60570201/50000000", "60570201/80000000", "-666272211/400000000" ], "weights": [ "1581510550078128960463/3165841171165200000000", "1581510550078128960463/3165841171165200000000", "1410035504471039537/1582920585582600000000" ] }, { "id": "R5", "coefficients": [ "439447473/1000000000", "146482491/125000000", "-48827497/31250000", "634757461/250000000" ], "weights": [ "5893672529570919560399/87060632207043000000000", "5893672529570919560399/87060632207043000000000", "37636643573950580439601/43530316103521500000000" ] }, { "id": "R6", "coefficients": [ "293613381/400000000", "-1663809159/400000000", "-880840143/500000000", "4012716207/500000000" ], "weights": [ "33826735951661944359781/87060632207043000000000", "33826735951661944359781/87060632207043000000000", "9703580151859555640219/43530316103521500000000" ] }, { "id": "R7", "coefficients": [ "283269537/500000000", "0", "-2738272191/2000000000", "94423179/50000000" ], "weights": [ "1701370092758712472139/17412126441408600000000", "1701370092758712472139/17412126441408600000000", "7004693127945587527861/8706063220704300000000" ] }, { "id": "R8", "coefficients": [ "2489499/2500000", "829833/625000", "-2489499/5000000", "-17426493/25000000" ], "weights": [ "22238387429838648017/1088257902588037500000", "22238387429838648017/1088257902588037500000", "521890563864180101983/544128951294018750000" ] }, { "id": "R9", "coefficients": [ "0", "-136622373/62500000", "45540791/31250000", "-409867119/100000000" ], "weights": [ "3579437485839578657331/7255052683920250000000", "3579437485839578657331/7255052683920250000000", "48088856120546342669/3627526341960125000000" ] }, { "id": "R10", "coefficients": [ "96617699/200000000", "-676323893/500000000", "-96617699/50000000", "869559291/100000000" ], "weights": [ "27972519837469151321231/87060632207043000000000", "27972519837469151321231/87060632207043000000000", "15557796266052348678769/43530316103521500000000" ] }, { "id": "P1", "coefficients": [ "152051037/250000000", "50683679/500000000", "-152051037/250000000", "-50683679/31250000", "152051037/50000000", "354785753/500000000" ], "weights": [ "28028645754947338861133099/101033863676273401500000000", "28028645754947338861133099/101033863676273401500000000", "22488286083189361888866901/50516931838136700750000000" ] }, { "id": "P2", "coefficients": [ "23767387/125000000", "-166371709/62500000", "23767387/125000000", "308976031/250000000", "-166371709/125000000", "-23767387/125000000" ], "weights": [ "3109106982095238148570339/6314616479767087593750000", "3109106982095238148570339/6314616479767087593750000", "48201257788305648304661/3157308239883543796875000" ] }, { "id": "P3", "coefficients": [ "9977339/12500000", "109750729/50000000", "-9977339/50000000", "-9977339/12500000", "-9977339/12500000", "9977339/25000000" ], "weights": [ "547674396687240262636051/10103386367627340150000000", "547674396687240262636051/10103386367627340150000000", "4504018787126429812363949/5051693183813670075000000" ] }, { "id": "R2*", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ], "weights": [ "14611157313807097/790597601072157483", "14611157313807097/790597601072157483", "761375286444543289/790597601072157483" ] }, { "id": "R5*", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ], "weights": [ "18347001713534737/271019748060524859", "18347001713534737/271019748060524859", "234325744633455385/271019748060524859" ] }, { "id": "Bridge-0", "coefficients": [ "2240/3027", "20608/9081", "-8960/9081", "3584/3027" ], "weights": [ "14611157313807097/790597601072157483", "14611157313807097/790597601072157483", "761375286444543289/790597601072157483" ] }, { "id": "Bridge-1/8", "coefficients": [ "408336/598849", "1369344/598849", "-621792/598849", "734976/598849" ], "weights": [ "8933454476862457/430877458979797467", "8933454476862457/430877458979797467", "413010550026072553/430877458979797467" ] }, { "id": "Bridge-1/2", "coefficients": [ "22704/41737", "84480/41737", "-51744/41737", "67584/41737" ], "weights": [ "11787109423964843/330331782402304881", "11787109423964843/330331782402304881", "306757563554375195/330331782402304881" ] }, { "id": "Bridge-7/8", "coefficients": [ "348432/760657", "1080576/760657", "-1125600/760657", "1736448/760657" ], "weights": [ "3902236769636286145/66223279312712707251", "3902236769636286145/66223279312712707251", "58418805773440134961/66223279312712707251" ] }, { "id": "Bridge-1", "coefficients": [ "1368/3113", "3648/3113", "-4864/3113", "7904/3113" ], "weights": [ "18347001713534737/271019748060524859", "18347001713534737/271019748060524859", "234325744633455385/271019748060524859" ] } ] } ], "source_sha256": { "heart_enlargement_report.md": "6b120f3f580aca94b8f0b12dbee560862231eefd03f41bda023c5fb199412b6c", "certify_enlargement_separations.py": "4f6db93acf400ce3f38b8757676f91183b177b4796fa17eabd443e8d36fdcc3a", "conic_bridge_and_cubic_centers.py": "07df69ff8a835a0dc0d75dcc03347ffd0f9a9b5a97822379ac8a5b029f570afc", "certify_conic_bridge_and_extensions.py": "abe905c02b3bdba73429d502d01216ed05030b8c1f8647ca3928c0041e3633f0", "verify_conic_bridge_and_extensions.py": "93c443f5822a130b5ba1005c77aba8b0f96ce4a4f0ae9fd3f50f297b64ce4d65" }, "status": "Global attractivity, new radial brackets and eight separation witnesses replayed. Full maximal Heart remains open. Incoming 1389-shape audit not rerun." }