Time: 0.570
Time: 0.300
Time: 0.320
KNOWN_POINT_LIFTS
Time: 0.160
BIFORM 1 1 [
<[ 2, 0, 0, 0 ], 6303051536383258614728>,
<[ 1, 1, 0, 0 ], -7570698843426722927552>,
<[ 1, 0, 1, 0 ], 16238579744195106164528>,
<[ 1, 0, 0, 1 ], 3837125650219278474744>,
<[ 0, 2, 0, 0 ], -8927253659079735007096>,
<[ 0, 1, 1, 0 ], -6463442758780458276628>,
<[ 0, 1, 0, 1 ], -2892548875997201983740>,
<[ 0, 0, 2, 0 ], 994139400996591320930>,
<[ 0, 0, 1, 1 ], -3204651071830820337612>,
<[ 0, 0, 0, 2 ], 3302535381632004891186>
]
BIFORM 1 2 [
<[ 2, 0, 0, 0 ], -5987224575611108482058>,
<[ 1, 1, 0, 0 ], 21383183306943242336804>,
<[ 1, 0, 1, 0 ], -26408385504961474344134>,
<[ 1, 0, 0, 1 ], 3860797631280894609942>,
<[ 0, 2, 0, 0 ], 10963966099741113175906>,
<[ 0, 1, 1, 0 ], 6697492507999120003372>,
<[ 0, 1, 0, 1 ], 1556309048291197746168>,
<[ 0, 0, 2, 0 ], -3094317502528971733007>,
<[ 0, 0, 1, 1 ], 6327639201144239271510>,
<[ 0, 0, 0, 2 ], -4343749471295150067459>
]
BIFORM 1 3 [
<[ 2, 0, 0, 0 ], -9016936581746596444014>,
<[ 1, 1, 0, 0 ], 3341668041074502359448>,
<[ 1, 0, 1, 0 ], -10300632259929051360>,
<[ 1, 0, 0, 1 ], 70103825925063878784>,
<[ 0, 2, 0, 0 ], 1095829621817713582878>,
<[ 0, 1, 1, 0 ], 116599945330755937128>,
<[ 0, 1, 0, 1 ], 2819681833500689469888>,
<[ 0, 0, 2, 0 ], 400118851887096993513>,
<[ 0, 0, 1, 1 ], -376996741368060568026>,
<[ 0, 0, 0, 2 ], 794485130232767734629>
]
BIFORM 1 4 [
<[ 2, 0, 0, 0 ], 1585311623522665997634>,
<[ 1, 1, 0, 0 ], 7221125123370460732644>,
<[ 1, 0, 1, 0 ], -16304362753263889259016>,
<[ 1, 0, 0, 1 ], -5975481694134684073968>,
<[ 0, 2, 0, 0 ], 9421023407402787623262>,
<[ 0, 1, 1, 0 ], 13010304480491892877416>,
<[ 0, 1, 0, 1 ], 2537961856733808578880>,
<[ 0, 0, 2, 0 ], 1031695680440557689615>,
<[ 0, 0, 1, 1 ], 2019865840797509498214>,
<[ 0, 0, 0, 2 ], -5435346814140604015017>
]
BIFORM 2 2 [
<[ 2, 0, 0, 0 ], -19994923734950758688332>,
<[ 1, 1, 0, 0 ], -22688750280660960099968>,
<[ 1, 0, 1, 0 ], 36416663887858429423976>,
<[ 1, 0, 0, 1 ], -11722136345680983310704>,
<[ 0, 2, 0, 0 ], -6416350198013605327156>,
<[ 0, 1, 1, 0 ], -4354392835200314000500>,
<[ 0, 1, 0, 1 ], 2581077277606074097956>,
<[ 0, 0, 2, 0 ], 3891162969699370174376>,
<[ 0, 0, 1, 1 ], -13976236708201862389176>,
<[ 0, 0, 0, 2 ], 9242292855677679050400>
]
BIFORM 2 3 [
<[ 2, 0, 0, 0 ], -13024568211263550369624>,
<[ 1, 1, 0, 0 ], -7366217898657325072596>,
<[ 1, 0, 1, 0 ], 12635660087729208728142>,
<[ 1, 0, 0, 1 ], -16005779992833867106038>,
<[ 0, 2, 0, 0 ], 4415934619638406656708>,
<[ 0, 1, 1, 0 ], 5893726875914966053560>,
<[ 0, 1, 0, 1 ], 1999955061240740624412>,
<[ 0, 0, 2, 0 ], 829065150466097436402>,
<[ 0, 0, 1, 1 ], -7113034446010265614212>,
<[ 0, 0, 0, 2 ], 3488032188720175830930>
]
BIFORM 2 4 [
<[ 2, 0, 0, 0 ], 17112963455761954640706>,
<[ 1, 1, 0, 0 ], 19292509421392422941712>,
<[ 1, 0, 1, 0 ], -56977702295933819591982>,
<[ 1, 0, 0, 1 ], 14284860306332241591126>,
<[ 0, 2, 0, 0 ], 9108988960682099378358>,
<[ 0, 1, 1, 0 ], -1989139975504819940124>,
<[ 0, 1, 0, 1 ], 2870371027014967448784>,
<[ 0, 0, 2, 0 ], -4842471544159661701191>,
<[ 0, 0, 1, 1 ], 24118368064397977710690>,
<[ 0, 0, 0, 2 ], -14060207489017687109847>
]
BIFORM 3 3 [
<[ 2, 0, 0, 0 ], 12256355360872837712892>,
<[ 1, 1, 0, 0 ], 6813046533647551077288>,
<[ 1, 0, 1, 0 ], -58410424488160194315396>,
<[ 1, 0, 0, 1 ], -9346489810494814428036>,
<[ 0, 2, 0, 0 ], 17484144355968472523436>,
<[ 0, 1, 1, 0 ], 14836241847238081019460>,
<[ 0, 1, 0, 1 ], 12732041031241390477284>,
<[ 0, 0, 2, 0 ], 1241456480043588420564>,
<[ 0, 0, 1, 1 ], 22208186279351283569376>,
<[ 0, 0, 0, 2 ], -18959651537899343419620>
]
BIFORM 3 4 [
<[ 2, 0, 0, 0 ], -5408551825680201347322>,
<[ 1, 1, 0, 0 ], 3130641210113012379744>,
<[ 1, 0, 1, 0 ], 4040727996644162446050>,
<[ 1, 0, 0, 1 ], -399740915689303443498>,
<[ 0, 2, 0, 0 ], 4339999012339613835594>,
<[ 0, 1, 1, 0 ], 10991730270389460294924>,
<[ 0, 1, 0, 1 ], -1848794868592775233416>,
<[ 0, 0, 2, 0 ], 2513231495668723279059>,
<[ 0, 0, 1, 1 ], -9281465743666033033938>,
<[ 0, 0, 0, 2 ], 775034378626530790107>
]
BIFORM 4 4 [
<[ 2, 0, 0, 0 ], -10435183870971315483648>,
<[ 1, 1, 0, 0 ], 6266430474513103346832>,
<[ 1, 0, 1, 0 ], 27520816179690764124552>,
<[ 1, 0, 0, 1 ], -1296689694388149168504>,
<[ 0, 2, 0, 0 ], -3805022372272965699264>,
<[ 0, 1, 1, 0 ], -9997750882498630456152>,
<[ 0, 1, 0, 1 ], -10742312372581692975960>,
<[ 0, 0, 2, 0 ], -7445580366393957263580>,
<[ 0, 0, 1, 1 ], -9195103532259218782008>,
<[ 0, 0, 0, 2 ], 12927823520103349884324>
]
DONE
