Time: 0.540
Time: 0.290
Time: 0.280
KNOWN_POINT_LIFTS
Time: 0.150
BIFORM 1 1 [
<[ 2, 0, 0, 0 ], 4802090346364819083264>,
<[ 1, 1, 0, 0 ], -4163593738679067262976>,
<[ 1, 0, 1, 0 ], 23937644682171866152960>,
<[ 1, 0, 0, 1 ], 28571204955133522010112>,
<[ 0, 2, 0, 0 ], -11938526940668601417728>,
<[ 0, 1, 1, 0 ], -16284287181992533950464>,
<[ 0, 1, 0, 1 ], -5246931027928228773888>,
<[ 0, 0, 2, 0 ], 5729070704481012547584>,
<[ 0, 0, 1, 1 ], -7651097047535490957312>,
<[ 0, 0, 0, 2 ], -4973919419536507072512>
]
BIFORM 1 2 [
<[ 2, 0, 0, 0 ], -8855200457266391055360>,
<[ 1, 1, 0, 0 ], -11080796054525541427200>,
<[ 1, 0, 1, 0 ], -8531381036124284881920>,
<[ 1, 0, 0, 1 ], -7186098901969512345600>,
<[ 0, 2, 0, 0 ], 7503999398982963978240>,
<[ 0, 1, 1, 0 ], 9789143919875691939840>,
<[ 0, 1, 0, 1 ], 8945544350127620413440>,
<[ 0, 0, 2, 0 ], 526409810965641830400>,
<[ 0, 0, 1, 1 ], 2524689399243797867520>,
<[ 0, 0, 0, 2 ], 891454982371814108160>
]
BIFORM 1 3 [
<[ 2, 0, 0, 0 ], 23519153146490449823232>,
<[ 1, 1, 0, 0 ], 32985387012039813176320>,
<[ 1, 0, 1, 0 ], 14083895365772453292544>,
<[ 1, 0, 0, 1 ], 11546443900904454389760>,
<[ 0, 2, 0, 0 ], -18923636119648300924928>,
<[ 0, 1, 1, 0 ], -22983219046133170592768>,
<[ 0, 1, 0, 1 ], -23265611824314958906368>,
<[ 0, 0, 2, 0 ], -2754407961871330406400>,
<[ 0, 0, 1, 1 ], -5095299468425662831104>,
<[ 0, 0, 0, 2 ], -962971774873053783552>
]
BIFORM 1 4 [
<[ 2, 0, 0, 0 ], -12661942329065534548992>,
<[ 1, 1, 0, 0 ], -19008142291735838480384>,
<[ 1, 0, 1, 0 ], -5576381193918682981376>,
<[ 1, 0, 0, 1 ], -4172568006274239700992>,
<[ 0, 2, 0, 0 ], 9183260562894104903680>,
<[ 0, 1, 1, 0 ], 11020569571831269431296>,
<[ 0, 1, 0, 1 ], 12562338050359007078400>,
<[ 0, 0, 2, 0 ], 2332886158904607399936>,
<[ 0, 0, 1, 1 ], 2269526765978049758208>,
<[ 0, 0, 0, 2 ], 143930018131617991680>
]
BIFORM 2 2 [
<[ 2, 0, 0, 0 ], -41616253042609460260500>,
<[ 1, 1, 0, 0 ], 11061548615118749353200>,
<[ 1, 0, 1, 0 ], 9952964296693933233600>,
<[ 1, 0, 0, 1 ], -18849163046614042325400>,
<[ 0, 2, 0, 0 ], 20495517756426331844400>,
<[ 0, 1, 1, 0 ], 7112438986036604169600>,
<[ 0, 1, 0, 1 ], 566329716765315392400>,
<[ 0, 0, 2, 0 ], -1600360306204447468800>,
<[ 0, 0, 1, 1 ], 3781180308821778676800>,
<[ 0, 0, 0, 2 ], 432898870206698765100>
]
BIFORM 2 3 [
<[ 2, 0, 0, 0 ], -55465648209161080287930>,
<[ 1, 1, 0, 0 ], 6876405105962955750840>,
<[ 1, 0, 1, 0 ], 11134753895152587790560>,
<[ 1, 0, 0, 1 ], -26272553155110449695980>,
<[ 0, 2, 0, 0 ], 73960585890961553059800>,
<[ 0, 1, 1, 0 ], 33705416606151772943040>,
<[ 0, 1, 0, 1 ], 7578229556913403480200>,
<[ 0, 0, 2, 0 ], -4566807570670688799360>,
<[ 0, 0, 1, 1 ], 6946076492254277644320>,
<[ 0, 0, 0, 2 ], 902509940219745018150>
]
BIFORM 2 4 [
<[ 2, 0, 0, 0 ], 60658929880309639890180>,
<[ 1, 1, 0, 0 ], -12309692828733116954160>,
<[ 1, 0, 1, 0 ], 17738820036412818818880>,
<[ 1, 0, 0, 1 ], 24280172159473148078520>,
<[ 0, 2, 0, 0 ], -46979597841852671913840>,
<[ 0, 1, 1, 0 ], -24539055645566027414400>,
<[ 0, 1, 0, 1 ], -11486511851000427458640>,
<[ 0, 0, 2, 0 ], -1823656270929909384960>,
<[ 0, 0, 1, 1 ], -2297577920872469832000>,
<[ 0, 0, 0, 2 ], -562152329290728508860>
]
BIFORM 3 3 [
<[ 2, 0, 0, 0 ], 47564186352378926409387>,
<[ 1, 1, 0, 0 ], -10007011791833455880324>,
<[ 1, 0, 1, 0 ], 10146986738658156599152>,
<[ 1, 0, 0, 1 ], 18449870388897170233338>,
<[ 0, 2, 0, 0 ], -110471489659718953802996>,
<[ 0, 1, 1, 0 ], -50861845842492717383840>,
<[ 0, 1, 0, 1 ], -12311707817025348408156>,
<[ 0, 0, 2, 0 ], 2281746141905983217856>,
<[ 0, 0, 1, 1 ], -3125549117450688361200>,
<[ 0, 0, 0, 2 ], -346299106367783494629>
]
BIFORM 3 4 [
<[ 2, 0, 0, 0 ], -5905350316033466942670>,
<[ 1, 1, 0, 0 ], 9816962136696972886696>,
<[ 1, 0, 1, 0 ], 2099822904302915904928>,
<[ 1, 0, 0, 1 ], -8255121591313323122052>,
<[ 0, 2, 0, 0 ], 60320218115608884763912>,
<[ 0, 1, 1, 0 ], 28923906707764019971648>,
<[ 0, 1, 0, 1 ], -509752253627354898408>,
<[ 0, 0, 2, 0 ], -8981398231897466027904>,
<[ 0, 0, 1, 1 ], 2976749461221017357664>,
<[ 0, 0, 0, 2 ], 1007282791271142993618>
]
BIFORM 4 4 [
<[ 2, 0, 0, 0 ], -22886442413266250239668>,
<[ 1, 1, 0, 0 ], 24307918288415337778800>,
<[ 1, 0, 1, 0 ], -48515201088878803146816>,
<[ 1, 0, 0, 1 ], -21415736658888004282200>,
<[ 0, 2, 0, 0 ], -9646444917854930322768>,
<[ 0, 1, 1, 0 ], 12005723734664302707072>,
<[ 0, 1, 0, 1 ], 3791663900638556888592>,
<[ 0, 0, 2, 0 ], -7888968571729964094720>,
<[ 0, 0, 1, 1 ], -152387164199765697984>,
<[ 0, 0, 0, 2 ], 2743799304842057861388>
]
DONE
