{1,1,1,(0,1,0),[(0, 0, 0), (0, 0, 1)] }
{4229,4230,4233,(18013075765188672461753098106634332401352867267847442043658449973413599295283611993825666178880068879240951435053589397584439349180527788895623267527499101615175121609865505946407340772906051469540360975079895329723885382052743209417819432562642839178770215404577859076913977181498214814902845260403066366946141426551219823764335723750183599405843214649818046332424638542018998811975066268332680653072461299134931387903669710309150850368081150690123677260402867389824802461421072581392240214111514563205355814624120662946545041814088179256165368083223241836756814153808174918739196475384789205036710664873254294042282462999911203362777086371471909322001577235128718444154573492174092584718189795317339803605129730611952407225911314859743204114101038074932292368108027511858968701499885937592211847472095040219008443637222493879124338399074635016732420493533355476620195397418040452256845768629457682641055439748469228474137176005861761919231580351458182505511330208181150559395134815508794152649087357988857595799139099091746210811331744439464432918208954604962112825982978598983334567922624659888607896930501522017034978427833921709376965741148732541577969143329710064067283663574622980722281076382716410534856698115786635399069783814736265442851489336742386204538130951905737536325284416606184362016243733888182501235230865303018195651656696507235657239414194928427287408606556171998131894594437137318901559258674736939083308367002467204032514570727799757793518409237616464329065184050765349574491788169101688874442743594695611763097012973684354976877446665413724379814156249868274834605162574332256248469833214869316657679486361865861137927312426059740462559097454581538716288828913123066710694401899799155287018151439932504018704823474760872779796401110523682488377096501965662682007134497531387593694604542008190642322254337339321592632806631722413442695386529415953724512193313861057263517007659777811802473743074685986514226116525545378902238238205318683376850519309566495273888419728831411341220836072234660950753608672079214023619046181551707400232242378297000851967553325118708165901874941174493881334147845891941005416846865942327241790519871707701055158809475898004914323718080502450374382682747075711604084561755562947339885501270322556194970605717850367863012700719100655348509402926591330043268086420789226942653897917602009105794131226170059555399028127789537215224346766743632716617844658931141122849441013102658237310110502524820251681259626999599524544410550660304344109864187706084713368670986480968545944726598654240899932900729061768729447588357854759093434197404953932102732139755964317213323558196096733070190150671295485487425036201605661974240998009810509264606476825770335888583816792903719767667670926652751146953453412081484086712071874023012937021924722150500020455990290826216545194481928644462154978615147486803008562602018803945894120292994130381233772244127568014116021736490589809380640057127697208388334111075933234641966747267771178072020952791668317167891219352007594741829989875752759744452884958247783572050421523392746600648311654976749193815296683310135574918301158093127375002505521134836255196565253108838415066659380764364001448678950594945070817712303453742811213388055179356190453542445172417306645829048795873158622800165085827217307207908724070834075406622720564174464608568846702994126214709444234849441486853116131739718983564926442681250013919063032093483436524285869684268319471818742631967232742034914896082667762778555920223479601483648093606532366641250954974322901889226083101322148477508726250329203986926111776228924042240837403849986401392673427950821675732811215996382576367109584650887137863793664555304523565806761303252478538370544824728150584137994200754559683149573375270188248848970622908990614109398557232046759270863476562791140440248847287063757857077080540117660198696869933779343839454894824455660958988115203173522304589166257979790410450946490576507449453048917953336525878602347121737234195802933739049236462981613935344106970071170819328174601160241333206031362597199572526445831848993766222079210665565384409718760673637252546513238215600628187905571057966949190038561222514077049048950666915833743322779385295428826104661571327016215993026646502838053,440053639748700254399589835750724080225088466471444966137935117979278324972442560444167275257060805931169607719202940485128559697846126410410985798738134525343355437902804935072757543385256659644545940788214064501058332147218622880593552706329978677088253008423149329732002964289230366867112310658055479349128935868875253053918452118658768254250138144476673286549567443575313282650950494503654165966917013892950627779312294498783934082440468264531366766806241825608626932735826929346878785603522206175908126100038349140716369395250807328447116343524154181731305044596677311781455482290383634287132454262655260771520106912261690692479458162055286588976197831171693346368707835129777655120430727330367563890524020962118226833554225660228552988915769323706838369768365058192385516924316378546067864921224167535241726676633200275185017106620326717829454316949546141096216659382093736257302333267313588498616656164520895807630242919703312181658151095639941383137635051597175486441415519043723377975799672388300383440442854764388949778812822315477087979811821096220938926159456358396989474127791291545554694753180316106891548105445460886948496617577502638326742304400951740010948510228339501435259557118635005716363570168868245870598083593430177243559026893043418726935826060395645543266743786341141472588254110615984130409276898361743827697332550378028906372739467245029179421384598139831580715741524071226809931736471202007988749423911955158516524060554616004787478064532545980694367447739557026692375967612229050371035932666108283889861922967874449307448855981199595958616745788640146544062394221230212583362988174222954157545042224760788538590515551997575307773867762854156057574166670374507128239009603184951188935395002070803601720629943351575772634964128274450191559577051935238176984516675337955103492378053008792721450519729209300357183481013265540231067205446151119227157668768104098248933067144351868457692489974981914413984339071646720325308018875464706503554712338868466960813755485849572712737796578192800796221395077578237031847637293295822734768771560111151010075566350946898714922067211396590844712249055549120745797896811151465642193182001750558894143007223707801074081649598177985916045478494476992148344475794503877062140063292690225130494812425421016282737812067240369875521695071292652690522514965235443230855461271239278406855359339322585825857179885863604349164622388841467168102341026595196489807135993810746607811682469162394470665018087960584723132473073540642347067391791293064663709217669951469712448722874029624559180209809579260569894285511797639498543565290719174982568732962464863304011838455365114932798135057678794501540566120452026739560707871522530533937677326352556406271783606836434351614525398550927285046003656691186829879696595257887466732362157459657696970473094139988737299520270987706659349589185356791073944808373510023746429538452250517178633462621441308122254466116569456375844241482138111692100012102265386139628514712723080137323334408995329247758721388221287260412716296223412548977684979962065455070094666578289781305333895536841019114670875585438818492029604235756665589713328012839513072782477595727140945101751902399307659476760940792550004885594367946571413412258064708172809070002722987657382255667068168298991054613229307029731620134025637729018256119427309804624629820319471995869748246972857042466550259815981345599751041984674343888716378936673397777128081916233213837228784938044935389087053514596506719370087843315492859981719450138870445303743315440034924080258073695544486969793933381067689085530452368132490408527615213853872857793704215239746325086017850139490664502307859580250244753485343530354305623150813800153754204207615824659986072710836629635455299341203044194711513106660619047377714243039160565519190933736166242955785971221002780248895132506373846927289886471928064578697165073937282737798111216021095303688810535233757141317641018632419191121644096409237024466754374910307522840624477440426649687998375112196615232612081328238456442432826508697952826334815960178035303705497105183386626167334676667800334404908662579118418990138762672778481478321839824613770319238768447199284287565608180855816740447672022900077109584491130695046558905909466607106099480453,137418488132072488730662741782379774657238202544057538511264041431721206545847529959897335195142976517247578704444519503100803698081414400382797676433643974519094263237309397979528180308521336975065009401896100278185755434544554766721060618961576437915971266977141910556268922908406826470202994143481860132056758853443800176010093349585188859225529711056760759458698375352237741252392612864499746811088053521125706281669505036092674308260623789548533373498580535371179317365439645245772522995456607935643486166163761670831228650007024949787461763862594076419409949589054671801684708504751118636038318096723426939884481685607938052224924965260706104636614419569398193868126255932904101957451850142350375267646842022270036843339517037163809887396222322262806790813900232511713103306039865411237384927470950578511705180117387342770980991007707639448778992575530911326895483051845144104501690676544351595140964048143337671184014360224426043940104993359764153574272733125895576442188825211651474933129820108855628056911276507646659820898041706756463918192604374967924608683808237258883605948502682985488882173794447599761060305866042715366394963140730549563785573751964449343499389882723515306729976020656500336119567626404827479975116241192349846083204693021605989590882032477743031291728785928274602366037776279691720730348340534400280008717407715433403905785298174830600135005140411647276061144242192670099577200844071009970134227288831261585783735841009865083270593977731539815260077843639519327682311202231023376481373777749296860195798919663487878205252903447826475424164542051926420048676540646607748431070146533687768602046156198226781075060307023470356727773207686820411558619539970257785244174790019880152350672889146706398882745291613687429442245237851069022275725626043654910568046761378681865835305771140393150150743699335823828065906762221450320588299474634529249997582064410909486417985973562860644838025663307339411728917423857439208742846392716466638380414223907935551503057935760328594431197163686805043147357611489650791436333925813362016827151781664901475259656401924731904991165387208474909740637854967687531054605453685947570346607838654199269944858862814842774379453556602592585619683638459332881192152846559654968956026214251394360104086183290307082820092106913070185487864173168195814800838692029681924951826859224547102436707507779333523667455665345813498895624506249414996915413872327638471525351490820597220684183789094861422259780223847112542377633400110483033556073537798762066416549257535875525740959305236902138630794786596416146179848766986055804318156627380684561511229565945326564970456275194237963134896459483783907284187256336660240656727419647587082607122355144234167936679192768958591836757735960676007524961728138190579445112899465361360973473876773007627979923893022712752567999266654708251861765229889231977041862692632691929408482031245078639741076705299995172471716040598029414781022232196786775441199691926837452172786662046331684137691969955006620310720589427633801256908943509822652538167817508496416062777395240415041664064524062757758824755473561881630485219836260848393068068260580672076713342505410521550444015083430896897808856997235924356483800568868459671948171385373431298723322649127212545847181446273666581597794599507863687098302952191769697517812231052555905062238334956713472308582475254618702285209226681742607197779283135367557429379727436974797944937114844886858704351204138595159915594642601928171277776198689559543995666779208985382510530696607825048046529793416164440108634955007895955470557629410704636033255094669678525487701379598417026528722378300491037653966211735558284039094168507183849430410156549860553800077180259448723915778020408527523651487990567422258097335624273446751212786723528864406061182390024636286640615388557301087260810800818769040425340246488039182595592217464278394667274234329630021289039950534782621886689321154853431244100676048227714437036637661835461956889211606684192949532001385035959154867901548976446059139335473347567896666636673378843996769774369907281230860050778431234499346856851141124489580213175007575264551566022095490563662229697839040450183249949012139274221532791525284097196667187017293750790964442781704713489421519672256372),[(-13, 35, 2), (-13, 35, 5), (-13, 35, 6), (13, -35, 2), (13, -35, 5), (13, -35, 6)] }
{4610,4610,4613,(30248305062656706872570825231476835206451095270274197113994022920504424100295988611192956600084526370854198182294803620912482793756912372415083070482006767409032876467403112287516577679364541012968235328040823060525473676650174946205021741493912225137721222548790299656535509673151191483201684175079475090082252192103220998751515186517652201706058237344608335965570514831790574421419041982144987620528642616195144913190922114014589923807682053528140356666337710922346052985613782763028556653366858986900983382629252245374681486962653829616738183365070968576709133593924800557527073346606867774178915482613092311344768728791442018434464190413687508575451397621605742467516659568442291525559066863760352199297376368130477327328767877142886857180444873922501358845928064525889517869095632826865982385523535002367285007426074860839868403156567498592121435642178181502245873148448775953886277319543073295859553258045159065133713988044666102747510963633854066194451267904397440466288609264025503799241261163039659164600590046593560547532483047509786355335909306518807414101702969611126035218781274640230765837541601442751424453685295468701248867083446967029863235557932458379278455577706848879201351074140725288216211079692036328476367835968155126117502426063075329245407142394636760038208009896767149112542680585196341421712169236898750074425090501977214596223700340075940109001090286030175780444528301998989889923257043016596374043575006518749313584560676228151396701301355352425734925964177508863881176385316517467281606214502535556611866237790433439419476771885899267300220504673309527380575662541276452893271106591588868088561068547415281296622544018091026056599426878795318868369844756269055465237333508427120052559727660847455395283351543651776986127010657853697518685323832303517320810398430444498618971848294515330833822451415612275628966012468584462989530062329668294400504174431609847725513936372254940847408067974716110356088200393741736052379849521160183647708598986998239345126938530463513990451363357619673910218985082238006436685527862205254194055937950775922377083163953325720740044978051538532197269960358390628689191839938604556182080531498402786661124830776887040090555149599619311540928707429450135896255164504955877625260534228030561270606275668856038319451741755315940830514879644657269404177631594139721766268219137305779355391797218619009251226748684677185805160588162089591454676783923421367229019148297869298161419071134445955162902311269388234578533932802641703222219900475176142839721752951540033786097574702718007385064649828467899212345733024356349717474424397609016058550937337750237432776830821283546049718671757330276028930919560046989738232925267754002706635858084435753527166391075435779298541389249225495792339024435227063885659459556544214316816096974212428374605950271561501481736530942094120790200014027272256617517065788377387557651610211737747181590255171515456066341786773030464266015373401102900776271772551980818032972490974614989346137712439384336165309847261953390868277793866381073886457338453730999747977288034509070683268490836194300078520326521177911386797134666803690732511729632978753476884808940867451707092334776257281395201615307376995647865007809750212493859202804613528262130438153478077727079345071411288288295740065706437690169360531180731145842712893486880162238087426349233037535934920342716280940778307731390989543801825719145501999583017249106387636469421273521247781638108942454915498963186941344769187898354049557475601275155566647899864138195467544681964955229295110363536767370818724919959317630375772206098613775786474838133586377610727241511857576487219924686489920412684781386764117315941265042618839752869820037825514287284151444169991842184304846701337172391104752417772900679508025982592347343496608795981214754387905382152626850117320993876317907736935529635048689715961369335953476240110787532085508694572246140028683507804097844584752676999178444416819936718356435058960041352161718438993596284695822653104093777655167545345832151342767297703660670831514628693889269622375458051422036642736572047540783631882897725192624820817795078581110250400652356506912274394988200676782078544815689583956725353066699972049809651629328984303564575429267437595463554642519549676371183680676266577815997739034804595087053900734053888076780269574143437312495062422121549934377959669515825637687227197997867011240601420949654570781815594656823213951200458374267218161160340590658950450069649876395673965857761636957978381821882869034345477885759518174579955431289429708950650888176576617906959317586256810290160199667912256589720219272996238333833525051953,66554400575171020658591550804393858483422150311094158499386552811248638411103328741802964094541813988341786188909857030552373234498165157074603084906199049530371051704180802351251366247757182344759270381615600321192383563640842265687752686791475901832710701922437328385054555799457007282426791860060836289840462574181723528918859995524166961105381386563782390857450624554705778336606331474192321331959969304971653682535987684683962500006702014864587277335167566461066066185706963434171876807753660448253300663978621631768592160298707214838893902257508381129090516994516615055830846178485624271841009556826440872767436346967566195408624770987463577656840166451181502289889963411120981100319502757285893830578481084837180180143239371373729800558720979986901056071303190504396454660020768481902259942754744978056803487682334581476055522917699433869722275848445149994122630175629501463696526904726870663391496335865773313746571494305071101727339623538551492975187276090243947659277335941290523417835434837985579346127711581779559104572454156400751293980742078542894856136093317419628334448613964056454174745719648890085216908799653196438119778269967266360191070531849024925576341555914546776644860427144855362801462070137388768673072368324974681101072248958391173392519740538798790203918712341540041701879956522518190593137105886971213309611961231133121700828549238324119231463901735826486547543120710921089790048488057509642037265245643373531738784930062306902176549576523341217674753063031114544811915720440778765007527454019305773368360545173368992835542099738128140158176146744856887020214185101207739014704695036816746157343159135390793712979523069530814803209288726755089809624671955882147140585921863044432871845362449929552692002267641314257151069560669356059368237950404113757114621032767344281164412140058850405303637656615163803547755913377484434012739691651240313208480305251024536576268798698968796435769461914523384952370138461502895626260761622963425230110130094505305278656933013295396933151965066993160497675716856204270619563663785908737635453669482485209178739147553877832057929475445134155784210589075237859512742857870366961342211108716720782090580895367016669001639905851421264212348905380511953068776698437093645598498575281326564902626028947487983983864053251827984805193374075171761726632285236630954020147656465471714543983892758889713186122439583418470454663681139099009838202206688928832174657950908826969748068733421762633299606043557720332411893356819565257005280761878924621678749692839420787193833596600041317214011895160458871055537024726139775901560396952635969498386861280624099667141825775897456636788082939796313397416249274408299379371926319687327255525966797627340364347984202947292800517985796586495324080543873036888024628107136507149404215250711080399661614090663389690902585313495918903307519481110885216739546339919320705682626066250267237581174129236484467283416943528036413486785096878670460551676099352548241231316708302754198468901222875351825850770352709612791523747389071020441898751676568182271902618739079685953463612439969671060902024876065475983372559806096989141479861273105394371890643954740421570452768971278825235013380523801595921697870964088126898255397773733802359434656111054953348439836206662720110675323986716203971789561919040283074026463316275259706130931188275582393294257916073118210983448942836987355847969849478206791401037323041554714477089682847636838153822632143299460182024618155826285872290279300046950699715078237072980734220429925935761514296565753330457351392640944280155172538679700121806654266796611490713927453692065049837990415365601136757973035814839964987822940211489052820051867125551130952984439335205014101703794378823341377611393403007065345744770450257604024940023284402545247818013140308285892768295032330747475426625910353430614240787734633116963364779433527969766854783481780622665000473930869767688150128960561503574816409271179657010962744841138196666167607119562042806539687825188758233342166731365292518264918842798281020528956083732938314468513418548590228215825122817189423524936427939750415881539456582937361283307764687979779686909021899387308660711674557495857042009130475272567625959621412571927153331322662876592711609754874430732460304409482836810698331908433031268653929981099735104250006572421170799102208072906889639315569376405278346305206096041179748138817983870392050754522697869632064549370944819209641811023492381782791125663450953904886999956462171023647770982982054429902204303848162317302438218200298837314997926397096640808620645865390758453955790753273046245515157765822395938316808150289978261235,29040489473468594180835152372671573409089589660540708228023964084944690862737393189834640063729482330409680973088945581203017690388912677404671123022625938797073166376741734498872820029135374803459160352383532015297329028084332835668645177214872825963798451969046731906410028080556731450633978717277921161225481283095665781768390502836756142900600597639349124876388522664951166069343717703213879916843033999688304391590017979190441787170647897671870047217024260454297668291910231362541823799536756417102561106187148171494380059257668879404816662351950286115479258599004875420093607655322635633315484295537555297094771185527636283726899712273894020384771972757966674945589099988950935471865700224561480359290260957350002285083838486423278428819880671188500817743032131268865060771126793706330493808815126724050129655068167308194431670744270366425578261652045334278146534249174664508872112172777714534137649172709120349135142613029557690512349960346925911563508857500007809900638321343641096972814681201715879487868759735202978402998886200051174550323179203319394432494488274704808939166245234543647640448890480608803835037668238302308090454288412245288469099679708468934891599859815032676335334085666492929235657851065203924345168706378376640278031556872476489950870781204557439372558175557102896579243171105395680263178205798735844048372980251500902295005724188247976067645793847300629130326996257886195139742341117381130940364127992739367875526224019440121195539299743163070322128266841539544798404033019159084048557911114796395822695407944141700824905990990593728789280336245823262441949086701793251376823984853192978419623245620407174389149326760126617058836664445443912222606440459749233228723215481014132124251675920444604333115589373200835213928001903368215440269956602369583907645737369350144279888430325175350815894761744490043770845359225037298887372451394782516144237127022275249502365577081395319943348551727774697947240044784159356923574685448908656212732432181611718995720553645184971109341725961611456439846008006049655761845348047643060446254461930601656828825320334958131191368985448383920446424712669685791553521223281405185099865381748940331667201229221595427494751783630351070166591932574588847491646030290597858404296261458788616566260157509963670441327914664906403491465362637884735106974731774520323335187130535747058566446097963609057590388558726661158734996980808224347075464729928724656040495037569983714188502688614347887466086924288812775087673874154991385472207046518709343557826423282442730037757912516685957317186760816562477682960785075964667661874332056775600384670695150159764246034715586439341995278059400083964030012027218281533656799785954798018956272996920411928886662225538269499033146694179789940121502338359345607651034398974159078873374464883226188436891009154582468256870857195629722105316715679442055004539347103817892417656993390968076800282234179775177572690558234134347299942726582070848066338756833833068093324253194661900381901344612104642998405966955615347043564732286860710525708514966306776602987556735119004274751140665293287631708600755195542266285672238313585637007751274931544117073374857113394172132653385796245051071552862638797001466900546224851429405281285045743909566402095265964935914080540952372469419312366897282348194595036363101589790720529040623898138924290903669319005728095333478635104816895145716044321780622474855285127444187696069536241198760200723125894194410435096740125997474391100817146631158567836776117347929107806442297603844526266784853865693705723793102299617491754057452542547576050069723439899822540332739346131371560599388609348496288253095403351087329746223856244082968349600308460404122077538784376532662242103867796878859337003620433180894941229623423945216072934251163076601529711215415795318914602348329093266168650063600581925935642970715746134256275347835353230462737816491754525311504573144428613800559294145339854080323708416000781826846439727166926600903708713757874165462133658908226184549376085711014427254325665132527319647704192257087318562037859156073732271718750341769547028442385300162946805818795205649238962278461886246491189453830587947740194557849554937150400871631777056784434454142395539546489160856893678942757179488442815337766826189980695122292925317815421976415240478960784934967003893221413082742758597323285225720985810227975178893168787481004030823980888444846284140339849524366451203612792828666415467624955036477703848640212316827821559685001639612150616048952573475795940261651024931389447827166743395569178455383437659305054722330468316093281963283939928099342586129335677511340301676365262037969),[(-23, -18, 0), (-23, -18, 1), (-23, -18, 3), (-23, -18, 4), (23, 18, 0), (23, 18, 1), (23, 18, 3), (23, 18, 4)] }