Time: 0.540
Time: 0.280
Time: 0.300
KNOWN_POINT_LIFTS
Time: 0.160
BIFORM 1 1 [
<[ 2, 0, 0, 0 ], 2516254844803334349>,
<[ 1, 1, 0, 0 ], 2708791311329958712>,
<[ 1, 0, 1, 0 ], 899652995949061354>,
<[ 1, 0, 0, 1 ], -211471309924002414>,
<[ 0, 2, 0, 0 ], -156778030285330212>,
<[ 0, 1, 1, 0 ], 979037724029819300>,
<[ 0, 1, 0, 1 ], -485697595215240672>,
<[ 0, 0, 2, 0 ], 66222879832846352>,
<[ 0, 0, 1, 1 ], 80210249405898150>,
<[ 0, 0, 0, 2 ], -65144847224329983>
]
BIFORM 1 2 [
<[ 2, 0, 0, 0 ], 146328429624038532>,
<[ 1, 1, 0, 0 ], -525881269956012152>,
<[ 1, 0, 1, 0 ], 32794560870571708>,
<[ 1, 0, 0, 1 ], -258947186242975776>,
<[ 0, 2, 0, 0 ], 1386343326705032768>,
<[ 0, 1, 1, 0 ], -732033694964150184>,
<[ 0, 1, 0, 1 ], 633107868575936328>,
<[ 0, 0, 2, 0 ], 153107384853215968>,
<[ 0, 0, 1, 1 ], -121873592865714012>,
<[ 0, 0, 0, 2 ], -24615495716107428>
]
BIFORM 1 3 [
<[ 2, 0, 0, 0 ], -469321350864484404>,
<[ 1, 1, 0, 0 ], 347589023477262424>,
<[ 1, 0, 1, 0 ], 1980176315938865044>,
<[ 1, 0, 0, 1 ], 63826322861819232>,
<[ 0, 2, 0, 0 ], 2058021733382680384>,
<[ 0, 1, 1, 0 ], 1023826382161976008>,
<[ 0, 1, 0, 1 ], -219427500381943656>,
<[ 0, 0, 2, 0 ], 599926822739850144>,
<[ 0, 0, 1, 1 ], 219500690448197004>,
<[ 0, 0, 0, 2 ], -337381433533650924>
]
BIFORM 1 4 [
<[ 2, 0, 0, 0 ], 2249887751287339527>,
<[ 1, 1, 0, 0 ], -11690556685271412>,
<[ 1, 0, 1, 0 ], -1765685088854954592>,
<[ 1, 0, 0, 1 ], -755152602651986526>,
<[ 0, 2, 0, 0 ], -604040676216812612>,
<[ 0, 1, 1, 0 ], -921229536654925504>,
<[ 0, 1, 0, 1 ], 49381161088241748>,
<[ 0, 0, 2, 0 ], -236025529984728512>,
<[ 0, 0, 1, 1 ], 56953489444173408>,
<[ 0, 0, 0, 2 ], -69895572388272873>
]
BIFORM 2 2 [
<[ 2, 0, 0, 0 ], -5116850597783267460>,
<[ 1, 1, 0, 0 ], -1443797504852352000>,
<[ 1, 0, 1, 0 ], 3053036556303974760>,
<[ 1, 0, 0, 1 ], 1199658024137809080>,
<[ 0, 2, 0, 0 ], 1414228917452996240>,
<[ 0, 1, 1, 0 ], -638368180793788400>,
<[ 0, 1, 0, 1 ], 132795017872245600>,
<[ 0, 0, 2, 0 ], -330378840316795840>,
<[ 0, 0, 1, 1 ], -361170677730003240>,
<[ 0, 0, 0, 2 ], -39586087193518260>
]
BIFORM 2 3 [
<[ 2, 0, 0, 0 ], -65512221188176620>,
<[ 1, 1, 0, 0 ], 3712379602070048000>,
<[ 1, 0, 1, 0 ], 2049471100033418360>,
<[ 1, 0, 0, 1 ], -26648900933218200>,
<[ 0, 2, 0, 0 ], -1322393442200205520>,
<[ 0, 1, 1, 0 ], 443456899502652080>,
<[ 0, 1, 0, 1 ], 608825670060341280>,
<[ 0, 0, 2, 0 ], -561769357547899200>,
<[ 0, 0, 1, 1 ], -493518404667167160>,
<[ 0, 0, 0, 2 ], -98942056989654780>
]
BIFORM 2 4 [
<[ 2, 0, 0, 0 ], -1859312724037005510>,
<[ 1, 1, 0, 0 ], -1685457135088795640>,
<[ 1, 0, 1, 0 ], 4339098525241417600>,
<[ 1, 0, 0, 1 ], 1338796323843832620>,
<[ 0, 2, 0, 0 ], 4325949852095054760>,
<[ 0, 1, 1, 0 ], -2638344948790931200>,
<[ 0, 1, 0, 1 ], -1584855370436489160>,
<[ 0, 0, 2, 0 ], -770351807560620160>,
<[ 0, 0, 1, 1 ], -225763968761819520>,
<[ 0, 0, 0, 2 ], -31556049860496870>
]
BIFORM 3 3 [
<[ 2, 0, 0, 0 ], 443675836015212060>,
<[ 1, 1, 0, 0 ], 2385117545327761920>,
<[ 1, 0, 1, 0 ], -2030031491037153240>,
<[ 1, 0, 0, 1 ], -2100920224659876360>,
<[ 0, 2, 0, 0 ], -2275327973572719600>,
<[ 0, 1, 1, 0 ], 1322676402228923280>,
<[ 0, 1, 0, 1 ], 2833618043057355360>,
<[ 0, 0, 2, 0 ], 516051632766358080>,
<[ 0, 0, 1, 1 ], -130252984988250600>,
<[ 0, 0, 0, 2 ], -727525057614697620>
]
BIFORM 3 4 [
<[ 2, 0, 0, 0 ], -660804230438693250>,
<[ 1, 1, 0, 0 ], 459460012195397720>,
<[ 1, 0, 1, 0 ], 3863069565877159040>,
<[ 1, 0, 0, 1 ], 1466701042449242340>,
<[ 0, 2, 0, 0 ], 400687157548944440>,
<[ 0, 1, 1, 0 ], -5111293342498382080>,
<[ 0, 1, 0, 1 ], -2222708393832379800>,
<[ 0, 0, 2, 0 ], -2882966962778152320>,
<[ 0, 0, 1, 1 ], -853956762229668480>,
<[ 0, 0, 0, 2 ], 222567213515573790>
]
BIFORM 4 4 [
<[ 2, 0, 0, 0 ], 1037043642064652040>,
<[ 1, 1, 0, 0 ], -4149166934050421920>,
<[ 1, 0, 1, 0 ], -290989784074706080>,
<[ 1, 0, 0, 1 ], 1030090143907646640>,
<[ 0, 2, 0, 0 ], 3152834868679933600>,
<[ 0, 1, 1, 0 ], -1561729188338925120>,
<[ 0, 1, 0, 1 ], -2385990986709996000>,
<[ 0, 0, 2, 0 ], 113542109220634880>,
<[ 0, 0, 1, 1 ], 521441693381262240>,
<[ 0, 0, 0, 2 ], 421271023038870600>
]
DONE
