{1,1,1,(0,1,0),[(0, 0, 0), (0, 0, 1)] }
{268,268,270,(1889807555411091146590400229041950860706846754777218000981139464741944939021464140413296047608199984680425804169132554677689744493791660802796287444463080577716192263907985576632296781215724785871489647121514411873306282368019554698109966469732018135083199775597913437,2794291547909379203432499959740262148947817104665018180412543011022527575937517870792378258966371376798337658373171175801391436403242247494885661645741348494133328303809904629592092936992287395570654705306800862955159283484821880946612803103265494437171360632024214733,159123409641885803304570756882964382534999874891625661949254586642561013606721641991654177332112386388235686383599629915455542793766219475821358798060398824201885575403639653767532771606465462096742849874914001403201998808358992284469525699773885501422890452911968468047),[(-4, 11, 2), (-4, 11, 5), (-4, 11, 6), (4, -11, 2), (4, -11, 5), (4, -11, 6)] }
{300,300,302,(446761075375415094348664370149205699961945113086925822371832900750539646807140361024789308922481959455472679127978761888342076841924631439213403725443526605407749656992653976113477849781516494847762257335499847143737766700178413417289056731320095586508223271369274841372262284541144085392037100432399,490748366010305182990474150656636362190389764266925090417492096168051776765545482593353235835437018048897846423001695225704506529352474238680902919831391243154823510294626841155092057036559845199980906348743965722194847215049183296615581521690304391296029446989128920698451724057626849201514644099616,31848123069527289200571887310242148475162436956073309844967234018722478242668230590248519712160838595089154336300240115970398964214358661950158616803336201395663130347314048559298184194270167293021176436056763442575705224732883855569939968854927948969578550229819747639695012262375261234732019528970915),[(0, -11, 0), (0, -11, 1), (0, -11, 3), (0, -11, 4), (0, 11, 0), (0, 11, 1), (0, 11, 3), (0, 11, 4)] }
{380,380,382,(17521087258566732239045041167993878571069231737745335563049099659579044258928819026367486913595910332843648281609653891387248209943022229637983266823945089097971258756895959655607374620790848783305784206860914263883811477561807221891518642790957188822964761314072110856109343853759977091843097927716457819020919065655517791974009618969966580262885938173324935123634700022865785075,44293341628965071156752424368919423342932977379680792445642681061293819101775066554256517248955472985292840639995101480064239772231520040534816943325120397775547440458015980768454660568644137922808043647835458004715128247830038021194120813111492307771604681002309794820051005722456457598325105739222270633637683073449148809695775069102243477101056257501316223960599920930999332896,2099892397440982457043716450270178469160804552368229908901651370782881940105558740604780301824455819105304731841225090647127108722379011324434121430687444934563776742870832558500661312445092169735243193205881998693749849274908414528601691779923362492765734493244388371182541547685155370446144001768353088740401476820863116337019728073087222050453302321725674757788917094487317647679),[(-8, 11, 0), (-8, 11, 1), (-8, 11, 3), (-8, 11, 4), (8, -11, 0), (8, -11, 1), (8, -11, 3), (8, -11, 4)] }
{476,476,478,(38205567384929724394037808226293488900419573925683778362257193043998197551341374614452388718833880701185951997059880960786419196206889989838341773417163684005989284205879566967838850069474566292911516271487531085199580591365853271264087579350420980511512474925601273510891809552174847210902977638107807860078624432976223037734641532315374562558304283745365693293375854094830009412786563388480573151279873724152717070103388201750148277773286735184488086845260930430612108652527,68952987743004926287220462572906667363948435381882809977554408282126568667367593850966593410695887428987687840299875006619419092167530781780590609100784700629106327385360286777625407044936357635301462273735316067869806346764047475524839974502343036773258733526906266336958624485932851757477133000350180519563878282432636635490304405327526473461279618203880528760433836556636310003194829324183570112118313050900693473285318409377286383934345293302336374789516064457016378367213,3640278445827523792310054866195062895657652072608766139914561494575413898192705474912994874980676208176291293751834266557975927625505486516023942228015058408963185756175621277274014517054097809824419789462703992505854458389129296396465320337544848859493112970815007596052631084283368791227781935514672934946844326713419961168119902296311390495936546486212420769833314525695348428925499047411707378493060224004948457310457319356937986878237740718152916461348636581188026177785597),[(-4, -11, 2), (-4, -11, 5), (-4, -11, 6), (4, 11, 2), (4, 11, 5), (4, 11, 6)] }
{635,636,638,(76143836779257671771007925858003050976773696902130287711554761216317620205009364074013909931588048414626010989262381943340741275628157023300682622051379620559748699308187122802245868133291424186117053784871872137716474126945136377588664027908018198840689312220416631552936134098807112632916400048157047861724797614726762513249733562011979877650665668763232170852349371052732575198807160946999529479118910215319671143496272258091487538246419474648511871887404754590472003846721122133331932806533457335164323934212548569894770014133019528945063831633473444695927982987565412034565512023431334164221997361111059210006972283600821532319407,389716000882141302663028270135594015562060654748961831899076622563655335780920569139442543970466537921570468645682110953514466377852992607195659431521824665221187048499049182820538289788111541576317835470811384372898400820812387437547349238841389852269129730796698697089049578807720576469195362403240155282293519287686366516561866081595675245471924672962162178240365998183431570304383980817704514919504574607598117372330883211569215310660158594864637817494450081152586237578469243006273745104178731883199093464825827865953747679996684375548143491563879636443893062044051428345164313271439055384489270218070704426009109434715642338153917,15825629744937501134209358760363814561953486857970381027628861362451628119417615521758197136019021975642223466903668023327153594839155729207148452275496800789189714174876402093255920312583318075846752583121551182096923990275174753845355828537307266242752260623188938769830344841409294137449298261256878649765123247814060756511421902471859341860569135544555642059494529131834391219647942488000152097806732267116988935403328471362389374029182031660942869571994935727840194702177866551843645305153567536777556421045348304790756862164529000522045778005812812207843090040674218339770823464354969501949979056915582538342024378788778721404720813),[(-12, 11, 2), (-12, 11, 5), (-12, 11, 6), (12, -11, 2), (12, -11, 5), (12, -11, 6)] }
{796,797,799,(7652049452547141408741168610688993574237288103790813144177611969686144237346812401198630917357503710553522837146234399505838456691333079070100801347480771941750031585379651890068613056420081815951529110350058978666155192470364288183371361850689958709104500722570472028330630975543281574684548805100023874290314056138228611272098846889041967405111087296558191324350708650547627550516224738346435385592054354370384732553389762138571100788039090848959146785587447768430656100059373419856039807036335711302713215429110571457198204873586225930052072036856515592745846649696673638699524842774991652283388827296114761979092637826334349279871903106496277029187709221241054412345320569146699235277996127211192731327852250402628781370776865846521804320859662909143136459709017569747199497927076920638422355,24699226138371820929700092852794740059354815077900352245794223839290819974472421088541572062501911336950990799052419401544855947216807679739986012597739810132738831544591667665322782419067948592880006086013347152317449395004189734441577039474994474739317996884532513453379750552209656564577069659627426883122779039507808914376089652716194397657366526279117206099246899884711792771621054302650897129499557152489627168989659534820330918100486518976973237183563116123342393596292101955532779647470381236094971435337118551082138865984756024273562495509728301365695039236052693461237249079151433714434105957797565556175484082640989626887359256175867161149013427418177775864215807050836232027357822275274108552669730345486622108601967702503603501802969371147622903247937074272703876135058321903756434399,1099001024628678279298244251207077931289555704489676976581703623797340002189991487507815523637779747451950747988086920448870451644217023050228064821010836048042715050507982850534010575800628367112930435490128169004179155776824050363549493330523413328041683152629505633069651838493093925421810782234249941594960213308001002853732401079852648810468734792068426634087727669076153365890257026073838570354694736909513351390092881293506840107947081668008639913984931126912326399186876174001545077876069640832856506281525639498380723317545175079779063436539165693292711341864761245837591044281171738650219952754939756409882134111036961674339082644130813309418211367201823116226877510967870527224561082281840562042178896043280220762804978602121648608128614938448989393152238114667524845929838815363580314656),[(-8, -11, 0), (-8, -11, 1), (-8, -11, 3), (-8, -11, 4), (8, 11, 0), (8, 11, 1), (8, 11, 3), (8, 11, 4)] }
{1035,1036,1038,(403012108202249902634820658721810288718818497608185260867271538853002918011523806696024157736828148637479182843701133397193006479020085109846817230698587757152208618894799315495919650826393151089021124229033822808811370430909756748278559123109074302745246501906454836649545331569273094055153349013690759850474809548067811368804472535357758190760749611975118155104521725546900079537233884638043448310283806508690889117946704779288719716266829134487764841088774022499590043229741385418421148149617709952833292044599077447090295238395029273378942126579914735592425101037330743665089244014429194983489100308404772469655002007204840977905550906271842702524400830753994169878316403108693964771369816321196754666902048971645626491929504882910554470348057306037386191329202982949032887757869067675043017432046246344450851911679380914460956928889033479854807682553610080550325713675767680398163619573466123699584488468069835901707373162607810732611605458775356099070799173238690577934101692738850842488346655782068249164613977287058007959133039,8870282164339743110315382416431415868708670528509331457302163349033618340580491250813947229905909750320155902639678831404743611249620584578622279400493544955794335805309395345873162776541523355161326399346925357178011203991093377801952318202240038943989003475389245796720941995567740000807295812888035372899377149038329430760242409185715990338208741750965482796493338392990229739656150510277856760187204268855501126562007685215480398703540460400761166632716758923901767655095966083862324540473824899365964726563852436354673713385119304869628110282708545559564671467841891840807132274210754908591522143975492728696075572605632300272394111899786964213800902305896607398698361937737597910926240370251127896291558177133305396104580249459811794350691907770887913522586682670770793021572923027455444289848361570115584161076006185016392296838453745622917013524334664257442269817101507957298267756251386209867988005904408539792744698685605703381263002423495766071613229321575288062333298421666275264365177732495093481821458486534557193151162435,315019684070392082441695599028366016942614856462756045524610421709344991706443577006915953292902016336786926051063047149648490169186464268370723321230041297381614352469494483679048194094741423149706292450072418097497515115895969864233595713063244593062683762028000190194465719423088794609520926692736359281452772242595401791138735613824008229307210269623156191274086402587506405517542921471038662095122893947493600226152474547979915069084939309949215285711906497437974075848559082195288223694640463659422442829353073576181848638893602994763936467934049664916899237968571246809426221267090585398016595160318184475944236872776760154709299479747077389368824313014284517855719220463664013199958598174528743274655771336366537432126418952831004144639198778328370854142603439118543368881837817928594543455074502531470901582935003544593687891979328580941782508122252035812429121064961949192076237167766290635335756129516905308377525136729074823342137363613620046443836515503390396972678109902653024563424960903417992669099987141870882781866827296),[(-16, 11, 0), (-16, 11, 1), (-16, 11, 3), (-16, 11, 4), (16, -11, 0), (16, -11, 1), (16, -11, 3), (16, -11, 4)] }
{1260,1261,1263,(650000796569003042666953428457622721296521663650071462209679083859788503845247637722522377640429650309245415803747524536404675729719967837081995099490809502076209994251242250229352484130045565856269750036337055768939126926694098871110479674603268402990858887595787846823644233639912703374328816263068932441898686880419174615685089157288311569171130110205950851895488291905212018524598504603723858223537426366235347590222742278436764583139018639740302939998923522437826956029894486919392134156016764897263098514540139326635862750445322752375425437361412909664198802453989021634500788524797617949452636453309813907007757179967795812452360874770524067428537509554557755351030586082826379050705247785201705193924159729856859743142711451990374331183299773970160362309330250579156410445621342678133048824410100649310208219891310654647068671758789105856149406310150369156503598680523097754662035277149471233482424067644434050204218923944071967949048917847120792422099456299060948716135425928856632947448915634327957152185228195134895745282014954256302147358077644896411494144576188595765008669734487416678990636290637032930817508329383963619356292421969145035487013774960784948159206348813533069471654648696959655551549379446528818415940303457966195037044878862307997,4927730559525904834956552150207922403372295374800851748922199584361553894790162154572919252765416456034053432263964200835067259948404111956651937599931188137860004101495141605989082658456034088881596407652165437348360555101786669393121621659638807005482241597195458528987649922406107823042138606730718243942637003595129008170674050336784117457963817199367258317132772127888057086004863329466741344038575710742396902425762307925289385716470103274206984531290643063007675583854956488062860474449000227058119955510530059201463592707459502853375163426785628928480767257571757048338916474234731809838730792539605081906825654172739948317120371615833946141286649534547940782185336932018815804466859978564633963947858108347241883040652443978414089092507647028164965295436869162265659843933182058276328635620418846856691766513080542322447986059352654206798142878364463943745429825684738182792416171003702916360284668766697058966861513282734022333246470358247206600947147126759339978089959683928292732888596671609628158980532097870478533741371687079622101035733313136558728218665572362646264493408061757272330377585799898036731548673665720664454722206611106755577768209330755735522756655560730513266939224214498548958502593792618819197280355153916594940000736081660213647,189479654792193840771429428622500139530636906360366759151066406856615093412921879269508768369112780271429148915528471440167779940546962771476622994060062909654444286560939407825619792261919183088767457638189122203116452911700237721974975329692787109454975673862931468461078999996693231969335826973240516819340934081098580950850053357375118342128132743749119031451767804056330956015289167017027219609423215686465809318722440745264998338285877037382092116827066821971315206749635057935030448329084881372914297450147178954494116833611918124849202032015762039202332589178047081245299758280137083432468685196276569660942127035956351600250796464367079757688000121521671229322398363680437718289323950873495538421353491032937343203865102745246095690950487840879357033943971692561712256375102934404541222790606393094837426882519739063668366553914434858476967708850600948919438553564733952828445243134704245511382096007268244038640783566787310579714678634627236771585922487914504898422765045905919535309739318622654987683538284555706076249530577456027156617681684688698113045581807768334558064524092274465850816774678372340633128376817386318885643487326635277824001150066167720465822502950382654409397232815431097831939709219941821646309464177037788514828135667690697271053),[(-12, -11, 2), (-12, -11, 5), (-12, -11, 6), (12, 11, 2), (12, 11, 5), (12, 11, 6)] }