1
2
3
4
5
6
7
|
x2, x3, x4
0
44*x2+89*x3+68*x4-399618188733716626755,
3541593292951995450990310372960*x3*x4^2+1945129239286751919414305247933037053312*x4^3+3934465960412942563221192837274463643877*x3^2-6160384484930804102826761583954813432864*x3*x4-14762938525851362040635945282536216653225156172528*x4^2-17666114162036664830285741944402853632429598662969829575790*x3+32424589106336347293933964960245539105941703052309739807584*x4-20927023795060259240401449899122357771276530794982866322399620183619,
885398323237998862747577593240*x3^2*x4-371541540088480703708350440616422807936*x4^3+1124617427400488171147647847820165445509*x3^2-3975519936251969185573941899244038227535359168728*x3*x4+854461547485243485091044709341730710308917715344*x4^2-5049635722096270294004840036858123777397405290362075411390*x3+4558815958060872500465546554808567124687618955848218381488*x4-5981725576062516117963907776340935076861123347164376399984701081203,
1216575129605833071064193540279629438242146963993362985294582671957885980422454881835547115520*x4^4-4480500074571222313461555550712328368478449324345890778229459806572786794031983323350*x3^3-5372173954435183355088559628849345823155944031307709946071853400935489844311854146212545484772651069824*x4^3+22713740521808162164164180829866365958885583624671058550325299785238915119989762815716533374386433218081*x3^2-9489540297202917593677549708586512211517715743137735970905260369269382833871244373867826060613624806672*x3*x4-3563398928159630847623779222986927849787492959782077342771003089845964248341475319116250198783932511984444965104*x4^2-11655753253219351337720027224622864114870131373108685141705703481733099567481843693026714651122073866543186374503677319940*x3+21393103651766611559095232296713879192326027965132012305652410479982360923795463524953347611948214651100282124375207293232*x4-13807237060788378542558162238655020068560522341195360845715840601185210051406775057881320256432349651588185157915974174346980800267,
2355716318826789088133648105529234624559076850806531776682055778067694294626606068157110687538211998908287040*x3^4-21154766027597930471377985068881332385907613229037238142385845656049100703749601452133252571427174055073119676303738096046457270*x3^3+5693822871463639181738363427864105154276053853135459997012363302951175976834964701245703391123217290835514705731560224652357270570751616*x4^3+47493422882526153952229605915906163768870143110401084649433436484971000346929405906617908893060067216428804267324311359227071610195121667304273281*x3^2+29052374790540607257545484155858879075243694508505348720831034973286577963836991006969926120424764470459282759894196721851917150431515248*x3*x4-119113119110180707186956342406300503521825138293780371590482893174678212683385897632485036593318360621562939134936094969092408901424478069625584*x4^2+189259162591860961639132830552894016037545162132363887076626104804918344668448901817491345405101816996231360871573576737430233749712133464915400862905202780*x3-140847856610967984418935201431274546929773957976597013105952773638398095845813724050068279605696677829816073315808746734913188934775649098348920318887478608*x4+157548860512296762335337030624565599318584348749022914263956180460928503551381043646998661863636457765077563948485097142138116423690425291173851514232817535769030613
|
