Time: 0.570
Time: 0.310
Time: 0.310
KNOWN_POINT_LIFTS
Time: 0.160
BIFORM 1 1 [
<[ 2, 0, 0, 0 ], -169948885252182359903946>,
<[ 1, 1, 0, 0 ], -193859257596605153578566>,
<[ 1, 0, 1, 0 ], 617275798817230951692804>,
<[ 1, 0, 0, 1 ], -158335159812637140101736>,
<[ 0, 2, 0, 0 ], -84703620654171245649276>,
<[ 0, 1, 1, 0 ], -294979241739964984732926>,
<[ 0, 1, 0, 1 ], 45102398924295750081834>,
<[ 0, 0, 2, 0 ], -21525425842033248446592>,
<[ 0, 0, 1, 1 ], -51723058948369831289754>,
<[ 0, 0, 0, 2 ], 91399104042269014839942>
]
BIFORM 1 2 [
<[ 2, 0, 0, 0 ], -247686295030747329282849>,
<[ 1, 1, 0, 0 ], -5482562893625987193879>,
<[ 1, 0, 1, 0 ], -62932644143949885631974>,
<[ 1, 0, 0, 1 ], 119271538972580891998716>,
<[ 0, 2, 0, 0 ], -21139619601800999010294>,
<[ 0, 1, 1, 0 ], 39703642531913287363581>,
<[ 0, 1, 0, 1 ], 5165484665557433505921>,
<[ 0, 0, 2, 0 ], 49739455362760682928552>,
<[ 0, 0, 1, 1 ], 14862510185102416192599>,
<[ 0, 0, 0, 2 ], 9852398069264172567423>
]
BIFORM 1 3 [
<[ 2, 0, 0, 0 ], -213653779360089871460706>,
<[ 1, 1, 0, 0 ], -14114820144884743257966>,
<[ 1, 0, 1, 0 ], 354178874118639503842164>,
<[ 1, 0, 0, 1 ], -97059046358938978485576>,
<[ 0, 2, 0, 0 ], -211648924325086267455756>,
<[ 0, 1, 1, 0 ], -298141675271678286920646>,
<[ 0, 1, 0, 1 ], 136693334277085395838914>,
<[ 0, 0, 2, 0 ], 76226878238184887989248>,
<[ 0, 0, 1, 1 ], -158383876575799553410674>,
<[ 0, 0, 0, 2 ], 124380038546113735753902>
]
BIFORM 1 4 [
<[ 2, 0, 0, 0 ], -439432811947201369723488>,
<[ 1, 1, 0, 0 ], -1229712820428522140511408>,
<[ 1, 0, 1, 0 ], 759913486422428058619392>,
<[ 1, 0, 0, 1 ], 127265072129680062864672>,
<[ 0, 2, 0, 0 ], -640485452771838595502208>,
<[ 0, 1, 1, 0 ], 4191024468324085567632>,
<[ 0, 1, 0, 1 ], -357390658720600325255088>,
<[ 0, 0, 2, 0 ], 70854610351315699102464>,
<[ 0, 0, 1, 1 ], -525271553087652783670032>,
<[ 0, 0, 0, 2 ], 587043702749899938509136>
]
BIFORM 2 2 [
<[ 2, 0, 0, 0 ], 363276213694771945553744>,
<[ 1, 1, 0, 0 ], 280843536279975664017424>,
<[ 1, 0, 1, 0 ], 841114228782722644187744>,
<[ 1, 0, 0, 1 ], 222009636019639896587904>,
<[ 0, 2, 0, 0 ], -27839572994895942857536>,
<[ 0, 1, 1, 0 ], 54979656088756756214864>,
<[ 0, 1, 0, 1 ], -92541180192862549134576>,
<[ 0, 0, 2, 0 ], 56948980337037530284688>,
<[ 0, 0, 1, 1 ], -216762557200403735882544>,
<[ 0, 0, 0, 2 ], -45520318618302075559488>
]
BIFORM 2 3 [
<[ 2, 0, 0, 0 ], -291647631194612183842914>,
<[ 1, 1, 0, 0 ], -565315852542687482191854>,
<[ 1, 0, 1, 0 ], 1011790233842627704768116>,
<[ 1, 0, 0, 1 ], 261899023893566974691256>,
<[ 0, 2, 0, 0 ], -342874266380443595809164>,
<[ 0, 1, 1, 0 ], -108672001024532088187974>,
<[ 0, 1, 0, 1 ], -104092548439886186591934>,
<[ 0, 0, 2, 0 ], 63760822982092425832512>,
<[ 0, 0, 1, 1 ], -313660287559759550875506>,
<[ 0, 0, 0, 2 ], 273807036739765992157038>
]
BIFORM 2 4 [
<[ 2, 0, 0, 0 ], -1151251682474173286500147>,
<[ 1, 1, 0, 0 ], -293913352675624540333877>,
<[ 1, 0, 1, 0 ], -1400036355009151780710802>,
<[ 1, 0, 0, 1 ], 1148320841905441512962868>,
<[ 0, 2, 0, 0 ], 400583622895768222902398>,
<[ 0, 1, 1, 0 ], 229000849511554761779783>,
<[ 0, 1, 0, 1 ], 684713689332191422102803>,
<[ 0, 0, 2, 0 ], -71134666813200980271784>,
<[ 0, 0, 1, 1 ], 846227276355951858724917>,
<[ 0, 0, 0, 2 ], -347176314880140275783091>
]
BIFORM 3 3 [
<[ 2, 0, 0, 0 ], 17560798567986291297984>,
<[ 1, 1, 0, 0 ], -448872072467245911297216>,
<[ 1, 0, 1, 0 ], -166722508186724794853376>,
<[ 1, 0, 0, 1 ], 322889685953113154323584>,
<[ 0, 2, 0, 0 ], -324083415303597859364736>,
<[ 0, 1, 1, 0 ], 227190766139916893429184>,
<[ 0, 1, 0, 1 ], -107050528394449881051456>,
<[ 0, 0, 2, 0 ], 68488379026571854735488>,
<[ 0, 0, 1, 1 ], -277897412969588717607744>,
<[ 0, 0, 0, 2 ], 230098264596670733877312>
]
BIFORM 3 4 [
<[ 2, 0, 0, 0 ], -443235602592740262693693>,
<[ 1, 1, 0, 0 ], -1182620721092400724901883>,
<[ 1, 0, 1, 0 ], -1094868274195276720555278>,
<[ 1, 0, 0, 1 ], 143264428378698835170252>,
<[ 0, 2, 0, 0 ], 228657970771749819032802>,
<[ 0, 1, 1, 0 ], 10829276645996037761097>,
<[ 0, 1, 0, 1 ], 274391907019111249913277>,
<[ 0, 0, 2, 0 ], -343150510544375137205016>,
<[ 0, 0, 1, 1 ], 630051451881522051308283>,
<[ 0, 0, 0, 2 ], -3105322103865192023709>
]
BIFORM 4 4 [
<[ 2, 0, 0, 0 ], -3430904795193853921574614>,
<[ 1, 1, 0, 0 ], 267435936870233143007446>,
<[ 1, 0, 1, 0 ], -10893579867428667774622084>,
<[ 1, 0, 0, 1 ], -866878693975135719969144>,
<[ 0, 2, 0, 0 ], 1978530174296312688414236>,
<[ 0, 1, 1, 0 ], 157070747442364342187726>,
<[ 0, 1, 0, 1 ], 2028327738720132268462566>,
<[ 0, 0, 2, 0 ], -544715506082092183625488>,
<[ 0, 0, 1, 1 ], 3733982165024927850313194>,
<[ 0, 0, 0, 2 ], -1225735426266455141043462>
]
DONE
