Time: 0.580
Time: 0.320
Time: 0.320
KNOWN_POINT_LIFTS
Time: 0.160
BIFORM 1 1 [
<[ 2, 0, 0, 0 ], 755228573927158856351492>,
<[ 1, 1, 0, 0 ], -6541934639224221955567652>,
<[ 1, 0, 1, 0 ], 11265760303138497053165144>,
<[ 1, 0, 0, 1 ], -1908956123904984852553392>,
<[ 0, 2, 0, 0 ], -3903597964038213732594472>,
<[ 0, 1, 1, 0 ], -2258842471359389618614132>,
<[ 0, 1, 0, 1 ], -491492674295230451793924>,
<[ 0, 0, 2, 0 ], 1312476582405546444952352>,
<[ 0, 0, 1, 1 ], -3487883183388955483185372>,
<[ 0, 0, 0, 2 ], 2182859398477263273450948>
]
BIFORM 1 2 [
<[ 2, 0, 0, 0 ], 2883825215443246805227746>,
<[ 1, 1, 0, 0 ], 5798233638514026753660174>,
<[ 1, 0, 1, 0 ], -10775587668139033174261428>,
<[ 1, 0, 0, 1 ], 1903766406128440570799304>,
<[ 0, 2, 0, 0 ], 2335284823269191191870764>,
<[ 0, 1, 1, 0 ], 380131012551975316472934>,
<[ 0, 1, 0, 1 ], 442496920087214993875038>,
<[ 0, 0, 2, 0 ], -984553881752906519407824>,
<[ 0, 0, 1, 1 ], 3951178043412577669843314>,
<[ 0, 0, 0, 2 ], -2513877508303665208466526>
]
BIFORM 1 3 [
<[ 2, 0, 0, 0 ], -1421999475329853494712049>,
<[ 1, 1, 0, 0 ], 906575364819245583620569>,
<[ 1, 0, 1, 0 ], -4924528179971161994892118>,
<[ 1, 0, 0, 1 ], 281096859155881863323724>,
<[ 0, 2, 0, 0 ], 990013110276590538620234>,
<[ 0, 1, 1, 0 ], 1467247436682593673051629>,
<[ 0, 1, 0, 1 ], 235247487497208439755153>,
<[ 0, 0, 2, 0 ], -327918506680422934076344>,
<[ 0, 0, 1, 1 ], 874582582492791815649159>,
<[ 0, 0, 0, 2 ], -459366129326296776664881>
]
BIFORM 1 4 [
<[ 2, 0, 0, 0 ], -3425171133246406271312287>,
<[ 1, 1, 0, 0 ], 4970958391731396805973047>,
<[ 1, 0, 1, 0 ], -1986880083863013728329834>,
<[ 1, 0, 0, 1 ], -6937954546831926600118188>,
<[ 0, 2, 0, 0 ], 4535810611044928824185942>,
<[ 0, 1, 1, 0 ], 4676029515614853404505827>,
<[ 0, 1, 0, 1 ], 1692585266606492647503039>,
<[ 0, 0, 2, 0 ], 1016584493224565579223128>,
<[ 0, 0, 1, 1 ], -2849224491851657512677783>,
<[ 0, 0, 0, 2 ], -161233838367220326018303>
]
BIFORM 2 2 [
<[ 2, 0, 0, 0 ], -1696165946359207717889502>,
<[ 1, 1, 0, 0 ], -2719779017136669636743538>,
<[ 1, 0, 1, 0 ], 5240363927934717597501036>,
<[ 1, 0, 0, 1 ], -1029895285366545333829848>,
<[ 0, 2, 0, 0 ], -305886989045084082206868>,
<[ 0, 1, 1, 0 ], 435580242948299112858342>,
<[ 0, 1, 0, 1 ], 357107195452212154212894>,
<[ 0, 0, 2, 0 ], 467575199376245817599088>,
<[ 0, 0, 1, 1 ], -1247434724603862088544718>,
<[ 0, 0, 0, 2 ], 290326010534420972371362>
]
BIFORM 2 3 [
<[ 2, 0, 0, 0 ], -800035616561652484199712>,
<[ 1, 1, 0, 0 ], -1651067257855885157070528>,
<[ 1, 0, 1, 0 ], 4496708589285942929328816>,
<[ 1, 0, 0, 1 ], -2628295744019721745083888>,
<[ 0, 2, 0, 0 ], 137573105893588062640992>,
<[ 0, 1, 1, 0 ], 771897892535019232186752>,
<[ 0, 1, 0, 1 ], 587311067472450750903264>,
<[ 0, 0, 2, 0 ], 859952126115733444967328>,
<[ 0, 0, 1, 1 ], -1827653139255138201784608>,
<[ 0, 0, 0, 2 ], 346105926437653757071872>
]
BIFORM 2 4 [
<[ 2, 0, 0, 0 ], 14937053847670425438272169>,
<[ 1, 1, 0, 0 ], 3350725827346033613589711>,
<[ 1, 0, 1, 0 ], -39335664885261162339924042>,
<[ 1, 0, 0, 1 ], 7381477200668011557681156>,
<[ 0, 2, 0, 0 ], 5404655633937990512871846>,
<[ 0, 1, 1, 0 ], 3739264136833870252093851>,
<[ 0, 1, 0, 1 ], 3819064942821508757169207>,
<[ 0, 0, 2, 0 ], -838282993106216070756936>,
<[ 0, 0, 1, 1 ], 17286210791485051125447921>,
<[ 0, 0, 0, 2 ], -11461142357045644277266839>
]
BIFORM 3 3 [
<[ 2, 0, 0, 0 ], -999839289297636964925722>,
<[ 1, 1, 0, 0 ], 5143391453510743129222282>,
<[ 1, 0, 1, 0 ], -6080908642006444768119004>,
<[ 1, 0, 0, 1 ], -477936230551469255737128>,
<[ 0, 2, 0, 0 ], 3777147553367987861071652>,
<[ 0, 1, 1, 0 ], 2473573179259813125666962>,
<[ 0, 1, 0, 1 ], 851579826836384579946234>,
<[ 0, 0, 2, 0 ], -488291717684815320279232>,
<[ 0, 0, 1, 1 ], 1551868571515042262833302>,
<[ 0, 0, 0, 2 ], -1625518376800075598167818>
]
BIFORM 3 4 [
<[ 2, 0, 0, 0 ], -1454788401937675051212586>,
<[ 1, 1, 0, 0 ], -11828640020268909573732134>,
<[ 1, 0, 1, 0 ], 9183409363960700899458548>,
<[ 1, 0, 0, 1 ], 205007968571436137242536>,
<[ 0, 2, 0, 0 ], -2790325742099293253827324>,
<[ 0, 1, 1, 0 ], 695701136670017110180706>,
<[ 0, 1, 0, 1 ], 95198315877431355470442>,
<[ 0, 0, 2, 0 ], 1519793077628423744656784>,
<[ 0, 0, 1, 1 ], -1737399137358717889178874>,
<[ 0, 0, 0, 2 ], 1425866478807283419412566>
]
BIFORM 4 4 [
<[ 2, 0, 0, 0 ], 12007107511382000733557282>,
<[ 1, 1, 0, 0 ], 520991009532140601861358>,
<[ 1, 0, 1, 0 ], -23499415646934352776741076>,
<[ 1, 0, 0, 1 ], 18566712017541871902230568>,
<[ 0, 2, 0, 0 ], -12367535717758225793554612>,
<[ 0, 1, 1, 0 ], -12384139834277935924145722>,
<[ 0, 1, 0, 1 ], -9519772660378623022759554>,
<[ 0, 0, 2, 0 ], -3903640444777686054073408>,
<[ 0, 0, 1, 1 ], 4863134076460426785378738>,
<[ 0, 0, 0, 2 ], 7607270650234613874085458>
]
DONE
