back to table · edit · history · where entries came from · files · download
53429 bytes, as of the version from 2026-10-27 11:53 (current). Recorded here, not run.
{
"table": "T547",
"mode": "dry",
"skill_manifest": "agents/runs/20261027T114054Z-build-skills/manifest.json",
"skill_local_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"skill_live_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"sage": "10.9",
"mpmath": "1.4.1",
"numberdb": "0.1.10",
"census": {
"2": 1,
"3": 2,
"4": 6,
"5": 21,
"6": 112
},
"entries": 142,
"exact_integer_entries": 59,
"irrational_entries": 83,
"named_entries": 18,
"working_bits": 413,
"max_enclosure_width": "1.89091402092e-124",
"longest_written_value": 102,
"entries_json_bytes": 12923,
"sturm_certificates": 142,
"independent_eigenvalue_checks": 142,
"mpmath_dps": 150,
"formula_controls": {
"complete": 5,
"path": 5,
"complete_bipartite": 9,
"cycle": 4
},
"neighbour_keys_checked": [
"T237",
"T238",
"T397",
"T400",
"T545",
"T546"
],
"catalogue_sha256": {
"graph2c.g6": "fae4bfc454bd04363dcd5222772f2973b1193e1ff6f676e822a427323a677ef9",
"graph3c.g6": "5966edf890849db6cb03626431916231a81a30c9db9a4781a4a8f2e5dc7e6129",
"graph4c.g6": "d7da485669f2dc74b81c02f18774a07430937684896833d59f138b10debb5005",
"graph5c.g6": "3c436a6a15f554e3eff3ce9178fddd3d75db6d365b3c6b102b64afe82145050b",
"graph6c.g6": "2dc8cbb1c05a12b5dcb28b6227cee86d585f203347f6aebb8fcbdb2b9bdf5fd7"
},
"elapsed_seconds": 2.66,
"rows": [
{
"g": "A_",
"number": "2",
"laplacian_polynomial": "x^2 - 2*x",
"independent_eigenvalue": "2.0",
"exact": true,
"sturm_certified": true
},
{
"g": "BW",
"number": "1",
"laplacian_polynomial": "x^3 - 4*x^2 + 3*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "Bw",
"number": "3",
"laplacian_polynomial": "x^3 - 6*x^2 + 9*x",
"independent_eigenvalue": "3.0",
"exact": true,
"sturm_certified": true
},
{
"g": "CF",
"number": "1",
"laplacian_polynomial": "x^4 - 6*x^3 + 9*x^2 - 4*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "CL",
"number": "0.5857864376269049511983112757903019214303281246230519268233202620092675215378929611496124656723584273",
"laplacian_polynomial": "x^4 - 6*x^3 + 10*x^2 - 4*x",
"independent_eigenvalue": "0.5857864376269049511983112757903019214303281246230519268233202620092675215378929611496124656723584272649861537690877029750751639441492627873558785",
"exact": false,
"sturm_certified": true
},
{
"g": "CN",
"number": "1",
"laplacian_polynomial": "x^4 - 8*x^3 + 19*x^2 - 12*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "C]",
"number": "2",
"laplacian_polynomial": "x^4 - 8*x^3 + 20*x^2 - 16*x",
"independent_eigenvalue": "2.0",
"exact": true,
"sturm_certified": true
},
{
"g": "C^",
"number": "2",
"laplacian_polynomial": "x^4 - 10*x^3 + 32*x^2 - 32*x",
"independent_eigenvalue": "2.0",
"exact": true,
"sturm_certified": true
},
{
"g": "C~",
"number": "4",
"laplacian_polynomial": "x^4 - 12*x^3 + 48*x^2 - 64*x",
"independent_eigenvalue": "4.0",
"exact": true,
"sturm_certified": true
},
{
"g": "D?{",
"number": "1",
"laplacian_polynomial": "x^5 - 8*x^4 + 18*x^3 - 16*x^2 + 5*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "D@s",
"number": "0.5188056959079843773664627587831428194472547830015232716041068591861630776132349469867088174521460752",
"laplacian_polynomial": "x^5 - 8*x^4 + 20*x^3 - 18*x^2 + 5*x",
"independent_eigenvalue": "0.5188056959079843773664627587831428194472547830015232716041068591861630776132349469867088174521460751819844809357534314406951777502097182068609223",
"exact": false,
"sturm_certified": true
},
{
"g": "D@{",
"number": "1",
"laplacian_polynomial": "x^5 - 10*x^4 + 32*x^3 - 38*x^2 + 15*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "DBg",
"number": "0.3819660112501051517954131656343618822796908201942371378645513772947395371810975502927927958106088625",
"laplacian_polynomial": "x^5 - 8*x^4 + 21*x^3 - 20*x^2 + 5*x",
"independent_eigenvalue": "0.3819660112501051517954131656343618822796908201942371378645513772947395371810975502927927958106088625152459119246131082478733661377764630682068199",
"exact": false,
"sturm_certified": true
},
{
"g": "DBk",
"number": "0.6972243622680053534403893662647520268743517130773768936447734718864165258534947773976904589907546412",
"laplacian_polynomial": "x^5 - 10*x^4 + 33*x^3 - 40*x^2 + 15*x",
"independent_eigenvalue": "0.6972243622680053534403893662647520268743517130773768936447734718864165258534947773976904589907546411632429089879682298119846608676510961474184914",
"exact": false,
"sturm_certified": true
},
{
"g": "DB{",
"number": "1",
"laplacian_polynomial": "x^5 - 12*x^4 + 49*x^3 - 78*x^2 + 40*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "DFw",
"number": "2",
"laplacian_polynomial": "x^5 - 12*x^4 + 51*x^3 - 92*x^2 + 60*x",
"independent_eigenvalue": "2.0",
"exact": true,
"sturm_certified": true
},
{
"g": "DF{",
"number": "2",
"laplacian_polynomial": "x^5 - 14*x^4 + 69*x^3 - 140*x^2 + 100*x",
"independent_eigenvalue": "2.0",
"exact": true,
"sturm_certified": true
},
{
"g": "DIk",
"number": "0.8299135133739662772967442355746290745798603701766900463312725936131549498292526103243458158164240174",
"laplacian_polynomial": "x^5 - 10*x^4 + 34*x^3 - 46*x^2 + 20*x",
"independent_eigenvalue": "0.8299135133739662772967442355746290745798603701766900463312725936131549498292526103243458158164240174252922618685502824065542819055712292857775833",
"exact": false,
"sturm_certified": true
},
{
"g": "DJk",
"number": "0.8299135133739662772967442355746290745798603701766900463312725936131549498292526103243458158164240174",
"laplacian_polynomial": "x^5 - 12*x^4 + 50*x^3 - 82*x^2 + 40*x",
"independent_eigenvalue": "0.8299135133739662772967442355746290745798603701766900463312725936131549498292526103243458158164240174252922618685502824065542819055712292857775833",
"exact": false,
"sturm_certified": true
},
{
"g": "DJ{",
"number": "1",
"laplacian_polynomial": "x^5 - 14*x^4 + 69*x^3 - 136*x^2 + 80*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "DK[",
"number": "0.5188056959079843773664627587831428194472547830015232716041068591861630776132349469867088174521460752",
"laplacian_polynomial": "x^5 - 10*x^4 + 34*x^3 - 44*x^2 + 15*x",
"independent_eigenvalue": "0.5188056959079843773664627587831428194472547830015232716041068591861630776132349469867088174521460751819844809357534314406951777502097182068609223",
"exact": false,
"sturm_certified": true
},
{
"g": "DK{",
"number": "1",
"laplacian_polynomial": "x^5 - 12*x^4 + 50*x^3 - 84*x^2 + 45*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "DLo",
"number": "1.381966011250105151795413165634361882279690820194237137864551377294739537181097550292792795810608863",
"laplacian_polynomial": "x^5 - 10*x^4 + 35*x^3 - 50*x^2 + 25*x",
"independent_eigenvalue": "1.38196601125010515179541316563436188227969082019423713786455137729473953718109755029279279581060886251524591192461310824787336613777646306820682",
"exact": false,
"sturm_certified": true
},
{
"g": "DL{",
"number": "1.585786437626904951198311275790301921430328124623051926823320262009267521537892961149612465672358427",
"laplacian_polynomial": "x^5 - 14*x^4 + 70*x^3 - 146*x^2 + 105*x",
"independent_eigenvalue": "1.585786437626904951198311275790301921430328124623051926823320262009267521537892961149612465672358427264986153769087702975075163944149262787355879",
"exact": false,
"sturm_certified": true
},
{
"g": "DNw",
"number": "2",
"laplacian_polynomial": "x^5 - 14*x^4 + 71*x^3 - 154*x^2 + 120*x",
"independent_eigenvalue": "2.0",
"exact": true,
"sturm_certified": true
},
{
"g": "DN{",
"number": "2",
"laplacian_polynomial": "x^5 - 16*x^4 + 93*x^3 - 230*x^2 + 200*x",
"independent_eigenvalue": "2.0",
"exact": true,
"sturm_certified": true
},
{
"g": "D]{",
"number": "3",
"laplacian_polynomial": "x^5 - 16*x^4 + 94*x^3 - 240*x^2 + 225*x",
"independent_eigenvalue": "3.0",
"exact": true,
"sturm_certified": true
},
{
"g": "D^{",
"number": "3",
"laplacian_polynomial": "x^5 - 18*x^4 + 120*x^3 - 350*x^2 + 375*x",
"independent_eigenvalue": "3.0",
"exact": true,
"sturm_certified": true
},
{
"g": "Dbk",
"number": "1.381966011250105151795413165634361882279690820194237137864551377294739537181097550292792795810608863",
"laplacian_polynomial": "x^5 - 12*x^4 + 51*x^3 - 90*x^2 + 55*x",
"independent_eigenvalue": "1.38196601125010515179541316563436188227969082019423713786455137729473953718109755029279279581060886251524591192461310824787336613777646306820682",
"exact": false,
"sturm_certified": true
},
{
"g": "D~{",
"number": "5",
"laplacian_polynomial": "x^5 - 20*x^4 + 150*x^3 - 500*x^2 + 625*x",
"independent_eigenvalue": "5.0",
"exact": true,
"sturm_certified": true
},
{
"g": "E?Bw",
"number": "1",
"laplacian_polynomial": "x^6 - 10*x^5 + 30*x^4 - 40*x^3 + 25*x^2 - 6*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "E?Fg",
"number": "0.4858630706647089273062251330377825219475236992545954077783286057906583427082264092419295912037834966",
"laplacian_polynomial": "x^6 - 10*x^5 + 33*x^4 - 46*x^3 + 28*x^2 - 6*x",
"independent_eigenvalue": "0.4858630706647089273062251330377825219475236992545954077783286057906583427082264092419295912037834965883123197289347956313859539924408777004535493",
"exact": false,
"sturm_certified": true
},
{
"g": "E?Fw",
"number": "1",
"laplacian_polynomial": "x^6 - 12*x^5 + 48*x^4 - 82*x^3 + 63*x^2 - 18*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "E?NG",
"number": "0.4384471871911697250892950720129614874264003873131897828006832134525228268311892032060681745946578517",
"laplacian_polynomial": "x^6 - 10*x^5 + 34*x^4 - 48*x^3 + 29*x^2 - 6*x",
"independent_eigenvalue": "0.4384471871911697250892950720129614874264003873131897828006832134525228268311892032060681745946578516577279795303929291923492895797920658184602259",
"exact": false,
"sturm_certified": true
},
{
"g": "E?NW",
"number": "0.6313506281127614942307907930556584673161638665482843255733428546619816086953749319880814297505906256",
"laplacian_polynomial": "x^6 - 12*x^5 + 50*x^4 - 88*x^3 + 67*x^2 - 18*x",
"independent_eigenvalue": "0.6313506281127614942307907930556584673161638665482843255733428546619816086953749319880814297505906255542844751800756435510063748017740917502531901",
"exact": false,
"sturm_certified": true
},
{
"g": "E?Nw",
"number": "1",
"laplacian_polynomial": "x^6 - 14*x^5 + 69*x^4 - 148*x^3 + 140*x^2 - 48*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "E?]o",
"number": "0.5857864376269049511983112757903019214303281246230519268233202620092675215378929611496124656723584273",
"laplacian_polynomial": "x^6 - 12*x^5 + 52*x^4 - 100*x^3 + 84*x^2 - 24*x",
"independent_eigenvalue": "0.5857864376269049511983112757903019214303281246230519268233202620092675215378929611496124656723584272649861537690877029750751639441492627873558785",
"exact": false,
"sturm_certified": true
},
{
"g": "E?]w",
"number": "0.7639320225002103035908263312687237645593816403884742757291027545894790743621951005855855916212177250",
"laplacian_polynomial": "x^6 - 14*x^5 + 70*x^4 - 152*x^3 + 144*x^2 - 48*x",
"independent_eigenvalue": "0.7639320225002103035908263312687237645593816403884742757291027545894790743621951005855855916212177250304918238492262164957467322755529261364136399",
"exact": false,
"sturm_certified": true
},
{
"g": "E?^o",
"number": "0.9138698023485059087503783627614001230200121724232700486182668688897714229210952500574037380081130923",
"laplacian_polynomial": "x^6 - 14*x^5 + 72*x^4 - 170*x^3 + 184*x^2 - 72*x",
"independent_eigenvalue": "0.9138698023485059087503783627614001230200121724232700486182668688897714229210952500574037380081130923090875850779382101831977846188373979994437765",
"exact": false,
"sturm_certified": true
},
{
"g": "E?^w",
"number": "1",
"laplacian_polynomial": "x^6 - 16*x^5 + 93*x^4 - 242*x^3 + 284*x^2 - 120*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "E?~o",
"number": "2",
"laplacian_polynomial": "x^6 - 16*x^5 + 96*x^4 - 272*x^3 + 368*x^2 - 192*x",
"independent_eigenvalue": "2.0",
"exact": true,
"sturm_certified": true
},
{
"g": "E?~w",
"number": "2",
"laplacian_polynomial": "x^6 - 18*x^5 + 120*x^4 - 368*x^3 + 528*x^2 - 288*x",
"independent_eigenvalue": "2.0",
"exact": true,
"sturm_certified": true
},
{
"g": "E@FG",
"number": "0.3248691294333539291103782018499395191919674723226272673878461301585579570095006802577938999683472230",
"laplacian_polynomial": "x^6 - 10*x^5 + 35*x^4 - 52*x^3 + 32*x^2 - 6*x",
"independent_eigenvalue": "0.3248691294333539291103782018499395191919674723226272673878461301585579570095006802577938999683472230423386742795525550577160731439119441787666398",
"exact": false,
"sturm_certified": true
},
{
"g": "E@JW",
"number": "0.7639320225002103035908263312687237645593816403884742757291027545894790743621951005855855916212177250",
"laplacian_polynomial": "x^6 - 12*x^5 + 51*x^4 - 96*x^3 + 80*x^2 - 24*x",
"independent_eigenvalue": "0.7639320225002103035908263312687237645593816403884742757291027545894790743621951005855855916212177250304918238492262164957467322755529261364136399",
"exact": false,
"sturm_certified": true
},
{
"g": "E@NW",
"number": "0.7639320225002103035908263312687237645593816403884742757291027545894790743621951005855855916212177250",
"laplacian_polynomial": "x^6 - 14*x^5 + 71*x^4 - 158*x^3 + 148*x^2 - 48*x",
"independent_eigenvalue": "0.7639320225002103035908263312687237645593816403884742757291027545894790743621951005855855916212177250304918238492262164957467322755529261364136399",
"exact": false,
"sturm_certified": true
},
{
"g": "E@Nw",
"number": "1",
"laplacian_polynomial": "x^6 - 16*x^5 + 93*x^4 - 238*x^3 + 256*x^2 - 96*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "E@QW",
"number": "0.3819660112501051517954131656343618822796908201942371378645513772947395371810975502927927958106088625",
"laplacian_polynomial": "x^6 - 10*x^5 + 35*x^4 - 52*x^3 + 31*x^2 - 6*x",
"independent_eigenvalue": "0.3819660112501051517954131656343618822796908201942371378645513772947395371810975502927927958106088625152459119246131082478733661377764630682068199",
"exact": false,
"sturm_certified": true
},
{
"g": "E@Rw",
"number": "1",
"laplacian_polynomial": "x^6 - 14*x^5 + 70*x^4 - 156*x^3 + 153*x^2 - 54*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "E@UW",
"number": "0.6972243622680053534403893662647520268743517130773768936447734718864165258534947773976904589907546412",
"laplacian_polynomial": "x^6 - 12*x^5 + 51*x^4 - 92*x^3 + 69*x^2 - 18*x",
"independent_eigenvalue": "0.6972243622680053534403893662647520268743517130773768936447734718864165258534947773976904589907546411632429089879682298119846608676510961474184914",
"exact": false,
"sturm_certified": true
},
{
"g": "E@Vw",
"number": "1",
"laplacian_polynomial": "x^6 - 16*x^5 + 94*x^4 - 250*x^3 + 297*x^2 - 126*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "E@YO",
"number": "0.2679491924311227064725536584941276330571947461896193719441930205480669830911999629188538132427514243",
"laplacian_polynomial": "x^6 - 10*x^5 + 36*x^4 - 56*x^3 + 35*x^2 - 6*x",
"independent_eigenvalue": "0.2679491924311227064725536584941276330571947461896193719441930205480669830911999629188538132427514243243738585845932969700300549050010475211883445",
"exact": false,
"sturm_certified": true
},
{
"g": "E@YW",
"number": "0.6570769172228297919451409890188583665984643550110148926036023902211686301874657969771140615072405258",
"laplacian_polynomial": "x^6 - 12*x^5 + 52*x^4 - 100*x^3 + 83*x^2 - 24*x",
"independent_eigenvalue": "0.6570769172228297919451409890188583665984643550110148926036023902211686301874657969771140615072405258311989868900465156817056568266218027289765895",
"exact": false,
"sturm_certified": true
},
{
"g": "E@]o",
"number": "0.5857864376269049511983112757903019214303281246230519268233202620092675215378929611496124656723584273",
"laplacian_polynomial": "x^6 - 14*x^5 + 72*x^4 - 164*x^3 + 156*x^2 - 48*x",
"independent_eigenvalue": "0.5857864376269049511983112757903019214303281246230519268233202620092675215378929611496124656723584272649861537690877029750751639441492627873558785",
"exact": false,
"sturm_certified": true
},
{
"g": "E@]w",
"number": "0.7639320225002103035908263312687237645593816403884742757291027545894790743621951005855855916212177250",
"laplacian_polynomial": "x^6 - 16*x^5 + 94*x^4 - 244*x^3 + 264*x^2 - 96*x",
"independent_eigenvalue": "0.7639320225002103035908263312687237645593816403884742757291027545894790743621951005855855916212177250304918238492262164957467322755529261364136399",
"exact": false,
"sturm_certified": true
},
{
"g": "E@^W",
"number": "0.8850924585232442014843859392914560318762437366128237913410128881604287970407926570575241541137027116",
"laplacian_polynomial": "x^6 - 16*x^5 + 95*x^4 - 256*x^3 + 305*x^2 - 126*x",
"independent_eigenvalue": "0.8850924585232442014843859392914560318762437366128237913410128881604287970407926570575241541137027115860595876742384742768155599028287827131166274",
"exact": false,
"sturm_certified": true
},
{
"g": "E@^o",
"number": "0.9138698023485059087503783627614001230200121724232700486182668688897714229210952500574037380081130923",
"laplacian_polynomial": "x^6 - 16*x^5 + 96*x^4 - 266*x^3 + 332*x^2 - 144*x",
"independent_eigenvalue": "0.9138698023485059087503783627614001230200121724232700486182668688897714229210952500574037380081130923090875850779382101831977846188373979994437765",
"exact": false,
"sturm_certified": true
},
{
"g": "E@^w",
"number": "1",
"laplacian_polynomial": "x^6 - 18*x^5 + 121*x^4 - 372*x^3 + 508*x^2 - 240*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "E@`w",
"number": "0.4858630706647089273062251330377825219475236992545954077783286057906583427082264092419295912037834966",
"laplacian_polynomial": "x^6 - 12*x^5 + 51*x^4 - 94*x^3 + 72*x^2 - 18*x",
"independent_eigenvalue": "0.4858630706647089273062251330377825219475236992545954077783286057906583427082264092419295912037834965883123197289347956313859539924408777004535493",
"exact": false,
"sturm_certified": true
},
{
"g": "E@ow",
"number": "0.4384471871911697250892950720129614874264003873131897828006832134525228268311892032060681745946578517",
"laplacian_polynomial": "x^6 - 12*x^5 + 52*x^4 - 98*x^3 + 75*x^2 - 18*x",
"independent_eigenvalue": "0.4384471871911697250892950720129614874264003873131897828006832134525228268311892032060681745946578516577279795303929291923492895797920658184602259",
"exact": false,
"sturm_certified": true
},
{
"g": "E@vw",
"number": "1.518805695907984377366462758783142819447254783001523271604106859186163077613234946986708817452146075",
"laplacian_polynomial": "x^6 - 18*x^5 + 122*x^4 - 386*x^3 + 568*x^2 - 312*x",
"independent_eigenvalue": "1.518805695907984377366462758783142819447254783001523271604106859186163077613234946986708817452146075181984480935753431440695177750209718206860922",
"exact": false,
"sturm_certified": true
},
{
"g": "E@~o",
"number": "2",
"laplacian_polynomial": "x^6 - 18*x^5 + 124*x^4 - 408*x^3 + 640*x^2 - 384*x",
"independent_eigenvalue": "2.0",
"exact": true,
"sturm_certified": true
},
{
"g": "E@~w",
"number": "2",
"laplacian_polynomial": "x^6 - 20*x^5 + 152*x^4 - 544*x^3 + 912*x^2 - 576*x",
"independent_eigenvalue": "2.0",
"exact": true,
"sturm_certified": true
},
{
"g": "EAMw",
"number": "0.6972243622680053534403893662647520268743517130773768936447734718864165258534947773976904589907546412",
"laplacian_polynomial": "x^6 - 14*x^5 + 71*x^4 - 158*x^3 + 149*x^2 - 48*x",
"independent_eigenvalue": "0.6972243622680053534403893662647520268743517130773768936447734718864165258534947773976904589907546411632429089879682298119846608676510961474184914",
"exact": false,
"sturm_certified": true
},
{
"g": "EA]o",
"number": "0.7215863905035550236443008372852981943616992313632918591537653575209284974056613235092668923280508224",
"laplacian_polynomial": "x^6 - 14*x^5 + 73*x^4 - 174*x^3 + 184*x^2 - 66*x",
"independent_eigenvalue": "0.7215863905035550236443008372852981943616992313632918591537653575209284974056613235092668923280508223546356302386547405855947953541144141911756663",
"exact": false,
"sturm_certified": true
},
{
"g": "EBYW",
"number": "0.7639320225002103035908263312687237645593816403884742757291027545894790743621951005855855916212177250",
"laplacian_polynomial": "x^6 - 14*x^5 + 73*x^4 - 176*x^3 + 192*x^2 - 72*x",
"independent_eigenvalue": "0.7639320225002103035908263312687237645593816403884742757291027545894790743621951005855855916212177250304918238492262164957467322755529261364136399",
"exact": false,
"sturm_certified": true
},
{
"g": "EBYw",
"number": "0.8929036232745221478278292191010386510761981045245772868275753239477481845168229350079168526921978486",
"laplacian_polynomial": "x^6 - 16*x^5 + 96*x^4 - 266*x^3 + 333*x^2 - 144*x",
"independent_eigenvalue": "0.8929036232745221478278292191010386510761981045245772868275753239477481845168229350079168526921978485652430515346982137117461108991877137085596349",
"exact": false,
"sturm_certified": true
},
{
"g": "EBZw",
"number": "1",
"laplacian_polynomial": "x^6 - 18*x^5 + 122*x^4 - 384*x^3 + 549*x^2 - 270*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "EB]w",
"number": "0.8929036232745221478278292191010386510761981045245772868275753239477481845168229350079168526921978486",
"laplacian_polynomial": "x^6 - 18*x^5 + 122*x^4 - 380*x^3 + 523*x^2 - 240*x",
"independent_eigenvalue": "0.8929036232745221478278292191010386510761981045245772868275753239477481845168229350079168526921978485652430515346982137117461108991877137085596349",
"exact": false,
"sturm_certified": true
},
{
"g": "EB^w",
"number": "1",
"laplacian_polynomial": "x^6 - 20*x^5 + 152*x^4 - 538*x^3 + 855*x^2 - 450*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "EBhw",
"number": "0.7311853096719155876518630487921012220232577676948872664559871848048156948532982310905679489513055032",
"laplacian_polynomial": "x^6 - 16*x^5 + 96*x^4 - 264*x^3 + 320*x^2 - 126*x",
"independent_eigenvalue": "0.7311853096719155876518630487921012220232577676948872664559871848048156948532982310905679489513055032253002904902245016135778746342056966987134033",
"exact": false,
"sturm_certified": true
},
{
"g": "EBjW",
"number": "1.381966011250105151795413165634361882279690820194237137864551377294739537181097550292792795810608863",
"laplacian_polynomial": "x^6 - 16*x^5 + 97*x^4 - 276*x^3 + 365*x^2 - 180*x",
"independent_eigenvalue": "1.38196601125010515179541316563436188227969082019423713786455137729473953718109755029279279581060886251524591192461310824787336613777646306820682",
"exact": false,
"sturm_certified": true
},
{
"g": "EBjw",
"number": "1.381966011250105151795413165634361882279690820194237137864551377294739537181097550292792795810608863",
"laplacian_polynomial": "x^6 - 18*x^5 + 123*x^4 - 396*x^3 + 595*x^2 - 330*x",
"independent_eigenvalue": "1.38196601125010515179541316563436188227969082019423713786455137729473953718109755029279279581060886251524591192461310824787336613777646306820682",
"exact": false,
"sturm_certified": true
},
{
"g": "EBnW",
"number": "1.697224362268005353440389366264752026874351713077376893644773471886416525853494777397690458990754641",
"laplacian_polynomial": "x^6 - 18*x^5 + 123*x^4 - 394*x^3 + 585*x^2 - 324*x",
"independent_eigenvalue": "1.697224362268005353440389366264752026874351713077376893644773471886416525853494777397690458990754641163242908987968229811984660867651096147418491",
"exact": false,
"sturm_certified": true
},
{
"g": "EBn_",
"number": "1.585786437626904951198311275790301921430328124623051926823320262009267521537892961149612465672358427",
"laplacian_polynomial": "x^6 - 16*x^5 + 98*x^4 - 286*x^3 + 397*x^2 - 210*x",
"independent_eigenvalue": "1.585786437626904951198311275790301921430328124623051926823320262009267521537892961149612465672358427264986153769087702975075163944149262787355879",
"exact": false,
"sturm_certified": true
},
{
"g": "EBnw",
"number": "1.697224362268005353440389366264752026874351713077376893644773471886416525853494777397690458990754641",
"laplacian_polynomial": "x^6 - 20*x^5 + 153*x^4 - 554*x^3 + 939*x^2 - 594*x",
"independent_eigenvalue": "1.697224362268005353440389366264752026874351713077376893644773471886416525853494777397690458990754641163242908987968229811984660867651096147418491",
"exact": false,
"sturm_certified": true
},
{
"g": "EB~o",
"number": "2",
"laplacian_polynomial": "x^6 - 20*x^5 + 155*x^4 - 580*x^3 + 1044*x^2 - 720*x",
"independent_eigenvalue": "2.0",
"exact": true,
"sturm_certified": true
},
{
"g": "EB~w",
"number": "2",
"laplacian_polynomial": "x^6 - 22*x^5 + 187*x^4 - 762*x^3 + 1476*x^2 - 1080*x",
"independent_eigenvalue": "2.0",
"exact": true,
"sturm_certified": true
},
{
"g": "ECXw",
"number": "0.4858630706647089273062251330377825219475236992545954077783286057906583427082264092419295912037834966",
"laplacian_polynomial": "x^6 - 14*x^5 + 72*x^4 - 166*x^3 + 164*x^2 - 48*x",
"independent_eigenvalue": "0.4858630706647089273062251330377825219475236992545954077783286057906583427082264092419295912037834965883123197289347956313859539924408777004535493",
"exact": false,
"sturm_certified": true
},
{
"g": "EC\\w",
"number": "0.7639320225002103035908263312687237645593816403884742757291027545894790743621951005855855916212177250",
"laplacian_polynomial": "x^6 - 16*x^5 + 95*x^4 - 256*x^3 + 304*x^2 - 120*x",
"independent_eigenvalue": "0.7639320225002103035908263312687237645593816403884742757291027545894790743621951005855855916212177250304918238492262164957467322755529261364136399",
"exact": false,
"sturm_certified": true
},
{
"g": "EENg",
"number": "1.438447187191169725089295072012961487426400387313189782800683213452522826831189203206068174594657852",
"laplacian_polynomial": "x^6 - 16*x^5 + 97*x^4 - 278*x^3 + 376*x^2 - 192*x",
"independent_eigenvalue": "1.438447187191169725089295072012961487426400387313189782800683213452522826831189203206068174594657851657727979530392929192349289579792065818460226",
"exact": false,
"sturm_certified": true
},
{
"g": "EFz_",
"number": "3",
"laplacian_polynomial": "x^6 - 18*x^5 + 126*x^4 - 432*x^3 + 729*x^2 - 486*x",
"independent_eigenvalue": "3.0",
"exact": true,
"sturm_certified": true
},
{
"g": "EFzw",
"number": "3",
"laplacian_polynomial": "x^6 - 22*x^5 + 189*x^4 - 792*x^3 + 1620*x^2 - 1296*x",
"independent_eigenvalue": "3.0",
"exact": true,
"sturm_certified": true
},
{
"g": "EF~w",
"number": "3",
"laplacian_polynomial": "x^6 - 24*x^5 + 225*x^4 - 1026*x^3 + 2268*x^2 - 1944*x",
"independent_eigenvalue": "3.0",
"exact": true,
"sturm_certified": true
},
{
"g": "EGNW",
"number": "0.8817161344229549425187509084421912249159137143248718725453922345788571269294060638149631717841507359",
"laplacian_polynomial": "x^6 - 14*x^5 + 72*x^4 - 168*x^3 + 176*x^2 - 66*x",
"independent_eigenvalue": "0.8817161344229549425187509084421912249159137143248718725453922345788571269294060638149631717841507359302799509679252548618224912340164546333142871",
"exact": false,
"sturm_certified": true
},
{
"g": "EGcw",
"number": "0.4130940157074780223065129840810436148397727216576998963568977028848796222804775562118448846715484363",
"laplacian_polynomial": "x^6 - 12*x^5 + 52*x^4 - 98*x^3 + 76*x^2 - 18*x",
"independent_eigenvalue": "0.4130940157074780223065129840810436148397727216576998963568977028848796222804775562118448846715484363370357830281753312028551542665824045175589139",
"exact": false,
"sturm_certified": true
},
{
"g": "EGdo",
"number": "0.3248691294333539291103782018499395191919674723226272673878461301585579570095006802577938999683472230",
"laplacian_polynomial": "x^6 - 12*x^5 + 53*x^4 - 104*x^3 + 84*x^2 - 18*x",
"independent_eigenvalue": "0.3248691294333539291103782018499395191919674723226272673878461301585579570095006802577938999683472230423386742795525550577160731439119441787666398",
"exact": false,
"sturm_certified": true
},
{
"g": "EGdw",
"number": "0.6313506281127614942307907930556584673161638665482843255733428546619816086953749319880814297505906256",
"laplacian_polynomial": "x^6 - 14*x^5 + 72*x^4 - 166*x^3 + 165*x^2 - 54*x",
"independent_eigenvalue": "0.6313506281127614942307907930556584673161638665482843255733428546619816086953749319880814297505906255542844751800756435510063748017740917502531901",
"exact": false,
"sturm_certified": true
},
{
"g": "EHQW",
"number": "0.6972243622680053534403893662647520268743517130773768936447734718864165258534947773976904589907546412",
"laplacian_polynomial": "x^6 - 12*x^5 + 53*x^4 - 106*x^3 + 95*x^2 - 30*x",
"independent_eigenvalue": "0.6972243622680053534403893662647520268743517130773768936447734718864165258534947773976904589907546411632429089879682298119846608676510961474184914",
"exact": false,
"sturm_certified": true
},
{
"g": "EHUW",
"number": "0.6972243622680053534403893662647520268743517130773768936447734718864165258534947773976904589907546412",
"laplacian_polynomial": "x^6 - 14*x^5 + 73*x^4 - 174*x^3 + 185*x^2 - 66*x",
"independent_eigenvalue": "0.6972243622680053534403893662647520268743517130773768936447734718864165258534947773976904589907546411632429089879682298119846608676510961474184914",
"exact": false,
"sturm_certified": true
},
{
"g": "EHuw",
"number": "1.607243752804893091642039128885912405634019012054308303840629468371525942829875040828092874024782397",
"laplacian_polynomial": "x^6 - 18*x^5 + 124*x^4 - 406*x^3 + 628*x^2 - 366*x",
"independent_eigenvalue": "1.607243752804893091642039128885912405634019012054308303840629468371525942829875040828092874024782396601768521036056091373538172965913693089539256",
"exact": false,
"sturm_certified": true
},
{
"g": "EI]w",
"number": "0.9138698023485059087503783627614001230200121724232700486182668688897714229210952500574037380081130923",
"laplacian_polynomial": "x^6 - 18*x^5 + 123*x^4 - 392*x^3 + 564*x^2 - 270*x",
"independent_eigenvalue": "0.9138698023485059087503783627614001230200121724232700486182668688897714229210952500574037380081130923090875850779382101831977846188373979994437765",
"exact": false,
"sturm_certified": true
},
{
"g": "EI_w",
"number": "0.4384471871911697250892950720129614874264003873131897828006832134525228268311892032060681745946578517",
"laplacian_polynomial": "x^6 - 12*x^5 + 53*x^4 - 106*x^3 + 92*x^2 - 24*x",
"independent_eigenvalue": "0.4384471871911697250892950720129614874264003873131897828006832134525228268311892032060681745946578516577279795303929291923492895797920658184602259",
"exact": false,
"sturm_certified": true
},
{
"g": "EIe_",
"number": "1",
"laplacian_polynomial": "x^6 - 12*x^5 + 54*x^4 - 112*x^3 + 105*x^2 - 36*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "EImo",
"number": "1.438447187191169725089295072012961487426400387313189782800683213452522826831189203206068174594657852",
"laplacian_polynomial": "x^6 - 16*x^5 + 98*x^4 - 288*x^3 + 405*x^2 - 216*x",
"independent_eigenvalue": "1.438447187191169725089295072012961487426400387313189782800683213452522826831189203206068174594657851657727979530392929192349289579792065818460226",
"exact": false,
"sturm_certified": true
},
{
"g": "EImw",
"number": "1.438447187191169725089295072012961487426400387313189782800683213452522826831189203206068174594657852",
"laplacian_polynomial": "x^6 - 18*x^5 + 124*x^4 - 406*x^3 + 627*x^2 - 360*x",
"independent_eigenvalue": "1.438447187191169725089295072012961487426400387313189782800683213452522826831189203206068174594657851657727979530392929192349289579792065818460226",
"exact": false,
"sturm_certified": true
},
{
"g": "EIno",
"number": "1.785680256622464812584502299151419511092080362780500565668617683490871953566733725204028749658035648",
"laplacian_polynomial": "x^6 - 18*x^5 + 125*x^4 - 418*x^3 + 672*x^2 - 414*x",
"independent_eigenvalue": "1.785680256622464812584502299151419511092080362780500565668617683490871953566733725204028749658035648065996779910580409974266972063420141084795118",
"exact": false,
"sturm_certified": true
},
{
"g": "EInw",
"number": "1.829913513373966277296744235574629074579860370176690046331272593613154949829252610324345815816424017",
"laplacian_polynomial": "x^6 - 20*x^5 + 154*x^4 - 568*x^3 + 999*x^2 - 666*x",
"independent_eigenvalue": "1.829913513373966277296744235574629074579860370176690046331272593613154949829252610324345815816424017425292261868550282406554281905571229285777583",
"exact": false,
"sturm_certified": true
},
{
"g": "EJYW",
"number": "0.7639320225002103035908263312687237645593816403884742757291027545894790743621951005855855916212177250",
"laplacian_polynomial": "x^6 - 16*x^5 + 97*x^4 - 274*x^3 + 348*x^2 - 144*x",
"independent_eigenvalue": "0.7639320225002103035908263312687237645593816403884742757291027545894790743621951005855855916212177250304918238492262164957467322755529261364136399",
"exact": false,
"sturm_certified": true
},
{
"g": "EJ]w",
"number": "0.9138698023485059087503783627614001230200121724232700486182668688897714229210952500574037380081130923",
"laplacian_polynomial": "x^6 - 20*x^5 + 153*x^4 - 548*x^3 + 880*x^2 - 450*x",
"independent_eigenvalue": "0.9138698023485059087503783627614001230200121724232700486182668688897714229210952500574037380081130923090875850779382101831977846188373979994437765",
"exact": false,
"sturm_certified": true
},
{
"g": "EJ^w",
"number": "1",
"laplacian_polynomial": "x^6 - 22*x^5 + 186*x^4 - 740*x^3 + 1325*x^2 - 750*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "EJeg",
"number": "1",
"laplacian_polynomial": "x^6 - 16*x^5 + 98*x^4 - 284*x^3 + 381*x^2 - 180*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "EJmw",
"number": "1.438447187191169725089295072012961487426400387313189782800683213452522826831189203206068174594657852",
"laplacian_polynomial": "x^6 - 20*x^5 + 154*x^4 - 564*x^3 + 965*x^2 - 600*x",
"independent_eigenvalue": "1.438447187191169725089295072012961487426400387313189782800683213452522826831189203206068174594657851657727979530392929192349289579792065818460226",
"exact": false,
"sturm_certified": true
},
{
"g": "EJnW",
"number": "1.697224362268005353440389366264752026874351713077376893644773471886416525853494777397690458990754641",
"laplacian_polynomial": "x^6 - 20*x^5 + 155*x^4 - 578*x^3 + 1027*x^2 - 684*x",
"independent_eigenvalue": "1.697224362268005353440389366264752026874351713077376893644773471886416525853494777397690458990754641163242908987968229811984660867651096147418491",
"exact": false,
"sturm_certified": true
},
{
"g": "EJnw",
"number": "1.829913513373966277296744235574629074579860370176690046331272593613154949829252610324345815816424017",
"laplacian_polynomial": "x^6 - 22*x^5 + 188*x^4 - 774*x^3 + 1517*x^2 - 1110*x",
"independent_eigenvalue": "1.829913513373966277296744235574629074579860370176690046331272593613154949829252610324345815816424017425292261868550282406554281905571229285777583",
"exact": false,
"sturm_certified": true
},
{
"g": "EJqw",
"number": "1.438447187191169725089295072012961487426400387313189782800683213452522826831189203206068174594657852",
"laplacian_polynomial": "x^6 - 18*x^5 + 125*x^4 - 416*x^3 + 656*x^2 - 384*x",
"independent_eigenvalue": "1.438447187191169725089295072012961487426400387313189782800683213452522826831189203206068174594657851657727979530392929192349289579792065818460226",
"exact": false,
"sturm_certified": true
},
{
"g": "EJ~o",
"number": "2",
"laplacian_polynomial": "x^6 - 22*x^5 + 189*x^4 - 788*x^3 + 1580*x^2 - 1200*x",
"independent_eigenvalue": "2.0",
"exact": true,
"sturm_certified": true
},
{
"g": "EJ~w",
"number": "2",
"laplacian_polynomial": "x^6 - 24*x^5 + 225*x^4 - 1022*x^3 + 2220*x^2 - 1800*x",
"independent_eigenvalue": "2.0",
"exact": true,
"sturm_certified": true
},
{
"g": "EKNG",
"number": "1",
"laplacian_polynomial": "x^6 - 14*x^5 + 74*x^4 - 184*x^3 + 213*x^2 - 90*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "EK\\w",
"number": "0.7639320225002103035908263312687237645593816403884742757291027545894790743621951005855855916212177250",
"laplacian_polynomial": "x^6 - 18*x^5 + 123*x^4 - 390*x^3 + 548*x^2 - 240*x",
"independent_eigenvalue": "0.7639320225002103035908263312687237645593816403884742757291027545894790743621951005855855916212177250304918238492262164957467322755529261364136399",
"exact": false,
"sturm_certified": true
},
{
"g": "EK]w",
"number": "1.186393497351669184558772437639319757815718795234963944673455822777711163295860559593055870343196514",
"laplacian_polynomial": "x^6 - 18*x^5 + 124*x^4 - 404*x^3 + 611*x^2 - 330*x",
"independent_eigenvalue": "1.18639349735166918455877243763931975781571879523496394467345582277771116329586055959305587034319651391978475035129900686522147363140995629673436",
"exact": false,
"sturm_certified": true
},
{
"g": "EK^w",
"number": "1.518805695907984377366462758783142819447254783001523271604106859186163077613234946986708817452146075",
"laplacian_polynomial": "x^6 - 20*x^5 + 154*x^4 - 566*x^3 + 980*x^2 - 624*x",
"independent_eigenvalue": "1.518805695907984377366462758783142819447254783001523271604106859186163077613234946986708817452146075181984480935753431440695177750209718206860922",
"exact": false,
"sturm_certified": true
},
{
"g": "EK`w",
"number": "0.7639320225002103035908263312687237645593816403884742757291027545894790743621951005855855916212177250",
"laplacian_polynomial": "x^6 - 14*x^5 + 73*x^4 - 176*x^3 + 192*x^2 - 72*x",
"independent_eigenvalue": "0.7639320225002103035908263312687237645593816403884742757291027545894790743621951005855855916212177250304918238492262164957467322755529261364136399",
"exact": false,
"sturm_certified": true
},
{
"g": "EK~o",
"number": "2",
"laplacian_polynomial": "x^6 - 20*x^5 + 156*x^4 - 592*x^3 + 1088*x^2 - 768*x",
"independent_eigenvalue": "2.0",
"exact": true,
"sturm_certified": true
},
{
"g": "EK~w",
"number": "2",
"laplacian_polynomial": "x^6 - 22*x^5 + 188*x^4 - 776*x^3 + 1536*x^2 - 1152*x",
"independent_eigenvalue": "2.0",
"exact": true,
"sturm_certified": true
},
{
"g": "ELpw",
"number": "1.697224362268005353440389366264752026874351713077376893644773471886416525853494777397690458990754641",
"laplacian_polynomial": "x^6 - 18*x^5 + 125*x^4 - 416*x^3 + 659*x^2 - 396*x",
"independent_eigenvalue": "1.697224362268005353440389366264752026874351713077376893644773471886416525853494777397690458990754641163242908987968229811984660867651096147418491",
"exact": false,
"sturm_certified": true
},
{
"g": "ELrw",
"number": "2.381966011250105151795413165634361882279690820194237137864551377294739537181097550292792795810608863",
"laplacian_polynomial": "x^6 - 20*x^5 + 155*x^4 - 580*x^3 + 1045*x^2 - 726*x",
"independent_eigenvalue": "2.38196601125010515179541316563436188227969082019423713786455137729473953718109755029279279581060886251524591192461310824787336613777646306820682",
"exact": false,
"sturm_certified": true
},
{
"g": "ELv_",
"number": "2",
"laplacian_polynomial": "x^6 - 18*x^5 + 126*x^4 - 428*x^3 + 705*x^2 - 450*x",
"independent_eigenvalue": "2.0",
"exact": true,
"sturm_certified": true
},
{
"g": "EL~o",
"number": "2.585786437626904951198311275790301921430328124623051926823320262009267521537892961149612465672358427",
"laplacian_polynomial": "x^6 - 22*x^5 + 190*x^4 - 804*x^3 + 1664*x^2 - 1344*x",
"independent_eigenvalue": "2.585786437626904951198311275790301921430328124623051926823320262009267521537892961149612465672358427264986153769087702975075163944149262787355879",
"exact": false,
"sturm_certified": true
},
{
"g": "EL~w",
"number": "2.585786437626904951198311275790301921430328124623051926823320262009267521537892961149612465672358427",
"laplacian_polynomial": "x^6 - 24*x^5 + 226*x^4 - 1040*x^3 + 2328*x^2 - 2016*x",
"independent_eigenvalue": "2.585786437626904951198311275790301921430328124623051926823320262009267521537892961149612465672358427264986153769087702975075163944149262787355879",
"exact": false,
"sturm_certified": true
},
{
"g": "ENzw",
"number": "3",
"laplacian_polynomial": "x^6 - 24*x^5 + 227*x^4 - 1056*x^3 + 2412*x^2 - 2160*x",
"independent_eigenvalue": "3.0",
"exact": true,
"sturm_certified": true
},
{
"g": "EN~w",
"number": "3",
"laplacian_polynomial": "x^6 - 26*x^5 + 267*x^4 - 1350*x^3 + 3348*x^2 - 3240*x",
"independent_eigenvalue": "3.0",
"exact": true,
"sturm_certified": true
},
{
"g": "EPTW",
"number": "0.4384471871911697250892950720129614874264003873131897828006832134525228268311892032060681745946578517",
"laplacian_polynomial": "x^6 - 14*x^5 + 73*x^4 - 172*x^3 + 172*x^2 - 48*x",
"independent_eigenvalue": "0.4384471871911697250892950720129614874264003873131897828006832134525228268311892032060681745946578516577279795303929291923492895797920658184602259",
"exact": false,
"sturm_certified": true
},
{
"g": "ER^W",
"number": "1.785680256622464812584502299151419511092080362780500565668617683490871953566733725204028749658035648",
"laplacian_polynomial": "x^6 - 20*x^5 + 155*x^4 - 578*x^3 + 1028*x^2 - 690*x",
"independent_eigenvalue": "1.785680256622464812584502299151419511092080362780500565668617683490871953566733725204028749658035648065996779910580409974266972063420141084795118",
"exact": false,
"sturm_certified": true
},
{
"g": "E]~o",
"number": "4",
"laplacian_polynomial": "x^6 - 24*x^5 + 228*x^4 - 1072*x^3 + 2496*x^2 - 2304*x",
"independent_eigenvalue": "4.0",
"exact": true,
"sturm_certified": true
},
{
"g": "E]~w",
"number": "4",
"laplacian_polynomial": "x^6 - 26*x^5 + 268*x^4 - 1368*x^3 + 3456*x^2 - 3456*x",
"independent_eigenvalue": "4.0",
"exact": true,
"sturm_certified": true
},
{
"g": "E^~w",
"number": "4",
"laplacian_polynomial": "x^6 - 28*x^5 + 312*x^4 - 1728*x^3 + 4752*x^2 - 5184*x",
"independent_eigenvalue": "4.0",
"exact": true,
"sturm_certified": true
},
{
"g": "E_Nw",
"number": "1",
"laplacian_polynomial": "x^6 - 16*x^5 + 95*x^4 - 260*x^3 + 324*x^2 - 144*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "E_]o",
"number": "1.267949192431122706472553658494127633057194746189619371944193020548066983091199962918853813242751424",
"laplacian_polynomial": "x^6 - 14*x^5 + 74*x^4 - 184*x^3 + 216*x^2 - 96*x",
"independent_eigenvalue": "1.267949192431122706472553658494127633057194746189619371944193020548066983091199962918853813242751424324373858584593296970030054905001047521188344",
"exact": false,
"sturm_certified": true
},
{
"g": "E_]w",
"number": "1.267949192431122706472553658494127633057194746189619371944193020548066983091199962918853813242751424",
"laplacian_polynomial": "x^6 - 16*x^5 + 96*x^4 - 268*x^3 + 348*x^2 - 168*x",
"independent_eigenvalue": "1.267949192431122706472553658494127633057194746189619371944193020548066983091199962918853813242751424324373858584593296970030054905001047521188344",
"exact": false,
"sturm_certified": true
},
{
"g": "E`Lw",
"number": "0.4858630706647089273062251330377825219475236992545954077783286057906583427082264092419295912037834966",
"laplacian_polynomial": "x^6 - 16*x^5 + 96*x^4 - 262*x^3 + 304*x^2 - 96*x",
"independent_eigenvalue": "0.4858630706647089273062251330377825219475236992545954077783286057906583427082264092419295912037834965883123197289347956313859539924408777004535493",
"exact": false,
"sturm_certified": true
},
{
"g": "E`NG",
"number": "0.4384471871911697250892950720129614874264003873131897828006832134525228268311892032060681745946578517",
"laplacian_polynomial": "x^6 - 14*x^5 + 74*x^4 - 180*x^3 + 189*x^2 - 54*x",
"independent_eigenvalue": "0.4384471871911697250892950720129614874264003873131897828006832134525228268311892032060681745946578516577279795303929291923492895797920658184602259",
"exact": false,
"sturm_certified": true
},
{
"g": "E`NW",
"number": "0.7639320225002103035908263312687237645593816403884742757291027545894790743621951005855855916212177250",
"laplacian_polynomial": "x^6 - 16*x^5 + 97*x^4 - 274*x^3 + 348*x^2 - 144*x",
"independent_eigenvalue": "0.7639320225002103035908263312687237645593816403884742757291027545894790743621951005855855916212177250304918238492262164957467322755529261364136399",
"exact": false,
"sturm_certified": true
},
{
"g": "E`Nw",
"number": "1",
"laplacian_polynomial": "x^6 - 18*x^5 + 123*x^4 - 394*x^3 + 576*x^2 - 288*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "E`]o",
"number": "1.267949192431122706472553658494127633057194746189619371944193020548066983091199962918853813242751424",
"laplacian_polynomial": "x^6 - 16*x^5 + 98*x^4 - 284*x^3 + 384*x^2 - 192*x",
"independent_eigenvalue": "1.267949192431122706472553658494127633057194746189619371944193020548066983091199962918853813242751424324373858584593296970030054905001047521188344",
"exact": false,
"sturm_certified": true
},
{
"g": "E`]w",
"number": "1.267949192431122706472553658494127633057194746189619371944193020548066983091199962918853813242751424",
"laplacian_polynomial": "x^6 - 18*x^5 + 124*x^4 - 404*x^3 + 612*x^2 - 336*x",
"independent_eigenvalue": "1.267949192431122706472553658494127633057194746189619371944193020548066983091199962918853813242751424324373858584593296970030054905001047521188344",
"exact": false,
"sturm_certified": true
},
{
"g": "EaMw",
"number": "1.108780151289706483403071476985876502198648078082504817392456610619660769835922179107341306583912866",
"laplacian_polynomial": "x^6 - 16*x^5 + 97*x^4 - 276*x^3 + 364*x^2 - 174*x",
"independent_eigenvalue": "1.108780151289706483403071476985876502198648078082504817392456610619660769835922179107341306583912866201363939731294947157728430344267741934888656",
"exact": false,
"sturm_certified": true
},
{
"g": "Ebnw",
"number": "2.381966011250105151795413165634361882279690820194237137864551377294739537181097550292792795810608863",
"laplacian_polynomial": "x^6 - 22*x^5 + 189*x^4 - 790*x^3 + 1601*x^2 - 1254*x",
"independent_eigenvalue": "2.38196601125010515179541316563436188227969082019423713786455137729473953718109755029279279581060886251524591192461310824787336613777646306820682",
"exact": false,
"sturm_certified": true
},
{
"g": "Ejmw",
"number": "3",
"laplacian_polynomial": "x^6 - 22*x^5 + 190*x^4 - 804*x^3 + 1665*x^2 - 1350*x",
"independent_eigenvalue": "3.0",
"exact": true,
"sturm_certified": true
},
{
"g": "Ek]w",
"number": "2.267949192431122706472553658494127633057194746189619371944193020548066983091199962918853813242751424",
"laplacian_polynomial": "x^6 - 20*x^5 + 156*x^4 - 592*x^3 + 1091*x^2 - 780*x",
"independent_eigenvalue": "2.267949192431122706472553658494127633057194746189619371944193020548066983091199962918853813242751424324373858584593296970030054905001047521188344",
"exact": false,
"sturm_certified": true
},
{
"g": "EoLW",
"number": "1",
"laplacian_polynomial": "x^6 - 14*x^5 + 74*x^4 - 182*x^3 + 205*x^2 - 84*x",
"independent_eigenvalue": "1.0",
"exact": true,
"sturm_certified": true
},
{
"g": "Es\\w",
"number": "3",
"laplacian_polynomial": "x^6 - 20*x^5 + 156*x^4 - 594*x^3 + 1107*x^2 - 810*x",
"independent_eigenvalue": "3.0",
"exact": true,
"sturm_certified": true
},
{
"g": "E~~w",
"number": "6",
"laplacian_polynomial": "x^6 - 30*x^5 + 360*x^4 - 2160*x^3 + 6480*x^2 - 7776*x",
"independent_eigenvalue": "6.0",
"exact": true,
"sturm_certified": true
}
]
}