Time: 0.570
Time: 0.320
Time: 0.310
KNOWN_POINT_LIFTS
Time: 0.160
BIFORM 1 1 [
<[ 2, 0, 0, 0 ], -21687681490047970560096>,
<[ 1, 1, 0, 0 ], -21252985762005254866080>,
<[ 1, 0, 1, 0 ], -16986778114765832176704>,
<[ 1, 0, 0, 1 ], 9692931853569950190720>,
<[ 0, 2, 0, 0 ], -3369234776694072802368>,
<[ 0, 1, 1, 0 ], -5216006829203347006752>,
<[ 0, 1, 0, 1 ], 6522687026612032032864>,
<[ 0, 0, 2, 0 ], -4089829314140843041536>,
<[ 0, 0, 1, 1 ], 2276235288728590251168>,
<[ 0, 0, 0, 2 ], -283573632332719096416>
]
BIFORM 1 2 [
<[ 2, 0, 0, 0 ], 18521413902692350284492>,
<[ 1, 1, 0, 0 ], -3625490553215055776940>,
<[ 1, 0, 1, 0 ], -7348487831841607961592>,
<[ 1, 0, 0, 1 ], -5321934419456320913040>,
<[ 0, 2, 0, 0 ], -2581220614566784115064>,
<[ 0, 1, 1, 0 ], -1133836837897168746396>,
<[ 0, 1, 0, 1 ], 5823197156217174869172>,
<[ 0, 0, 2, 0 ], -1775544848052428783328>,
<[ 0, 0, 1, 1 ], 7998816199924824190764>,
<[ 0, 0, 0, 2 ], 4547056012261706713932>
]
BIFORM 1 3 [
<[ 2, 0, 0, 0 ], -15008866904163386788092>,
<[ 1, 1, 0, 0 ], -6151624161310633588260>,
<[ 1, 0, 1, 0 ], -7322556837966893483208>,
<[ 1, 0, 0, 1 ], -8965667518031702534160>,
<[ 0, 2, 0, 0 ], 2545814322680892411864>,
<[ 0, 1, 1, 0 ], 1440276023187698429196>,
<[ 0, 1, 0, 1 ], -440323120908289285572>,
<[ 0, 0, 2, 0 ], 3977586693411111587328>,
<[ 0, 0, 1, 1 ], 3212622946934552640036>,
<[ 0, 0, 0, 2 ], 6341259598953113236068>
]
BIFORM 1 4 [
<[ 2, 0, 0, 0 ], -23224108218641295738633>,
<[ 1, 1, 0, 0 ], -5699447072927863536015>,
<[ 1, 0, 1, 0 ], -11787750159179722952742>,
<[ 1, 0, 0, 1 ], 8967749811390811628460>,
<[ 0, 2, 0, 0 ], -4294608963420460631814>,
<[ 0, 1, 1, 0 ], -12036248116640723286171>,
<[ 0, 1, 0, 1 ], -1288239414936169089303>,
<[ 0, 0, 2, 0 ], -1283721032888711503128>,
<[ 0, 0, 1, 1 ], 8388867306993035483439>,
<[ 0, 0, 0, 2 ], -4227419276822437889193>
]
BIFORM 2 2 [
<[ 2, 0, 0, 0 ], 33434237532431923606304>,
<[ 1, 1, 0, 0 ], 32441395725710786933920>,
<[ 1, 0, 1, 0 ], 17691642557600811672896>,
<[ 1, 0, 0, 1 ], 208514114199907854720>,
<[ 0, 2, 0, 0 ], -2770079008136433731968>,
<[ 0, 1, 1, 0 ], 2515088165722203330848>,
<[ 0, 1, 0, 1 ], -12615421301214341514336>,
<[ 0, 0, 2, 0 ], 1569221920666276405664>,
<[ 0, 0, 1, 1 ], 2160147307905023700768>,
<[ 0, 0, 0, 2 ], -6429174250696151174016>
]
BIFORM 2 3 [
<[ 2, 0, 0, 0 ], 47632126520355969334317>,
<[ 1, 1, 0, 0 ], 13943124799800169474635>,
<[ 1, 0, 1, 0 ], 16232083024086387644358>,
<[ 1, 0, 0, 1 ], -3965781734541859286340>,
<[ 0, 2, 0, 0 ], 6686425724619027137886>,
<[ 0, 1, 1, 0 ], 4279533543828534920679>,
<[ 0, 1, 0, 1 ], -883922323103216209053>,
<[ 0, 0, 2, 0 ], 3450728382689490579072>,
<[ 0, 0, 1, 1 ], -8204991039847089642411>,
<[ 0, 0, 0, 2 ], 1090272863957385389157>
]
BIFORM 2 4 [
<[ 2, 0, 0, 0 ], -19607464753655075234364>,
<[ 1, 1, 0, 0 ], 347853623248267827180>,
<[ 1, 0, 1, 0 ], 13329608458729550773464>,
<[ 1, 0, 0, 1 ], -23197666898089477531920>,
<[ 0, 2, 0, 0 ], 8610724185759739686888>,
<[ 0, 1, 1, 0 ], -2303473127900412709668>,
<[ 0, 1, 0, 1 ], 8304522703352312240076>,
<[ 0, 0, 2, 0 ], 3602266067001693639576>,
<[ 0, 0, 1, 1 ], -1719380106447469108188>,
<[ 0, 0, 0, 2 ], 6553228489985352130956>
]
BIFORM 3 3 [
<[ 2, 0, 0, 0 ], 16471293594194274947694>,
<[ 1, 1, 0, 0 ], 23322358491574037379570>,
<[ 1, 0, 1, 0 ], 38980545336286412853156>,
<[ 1, 0, 0, 1 ], -32541833260866479837880>,
<[ 0, 2, 0, 0 ], 5130656607808710362052>,
<[ 0, 1, 1, 0 ], 11070137082417751874778>,
<[ 0, 1, 0, 1 ], 10367103881163730821954>,
<[ 0, 0, 2, 0 ], -2255805652654387110696>,
<[ 0, 0, 1, 1 ], -6456741981726871573602>,
<[ 0, 0, 0, 2 ], 4113238737642828041574>
]
BIFORM 3 4 [
<[ 2, 0, 0, 0 ], -42320088097460392686516>,
<[ 1, 1, 0, 0 ], 2303598284461643182020>,
<[ 1, 0, 1, 0 ], -6196907861594709274134>,
<[ 1, 0, 0, 1 ], -11702497964973513081930>,
<[ 0, 2, 0, 0 ], -2073369589070910962328>,
<[ 0, 1, 1, 0 ], 28168663535476829121708>,
<[ 0, 1, 0, 1 ], -16805058781756880509056>,
<[ 0, 0, 2, 0 ], 5560367443405241546394>,
<[ 0, 0, 1, 1 ], -3002982508855469475972>,
<[ 0, 0, 0, 2 ], 7833051236501935357914>
]
BIFORM 4 4 [
<[ 2, 0, 0, 0 ], 5684623596478722431718>,
<[ 1, 1, 0, 0 ], -21160540208976309897210>,
<[ 1, 0, 1, 0 ], -43576071005231588819268>,
<[ 1, 0, 0, 1 ], 37546714204464831551640>,
<[ 0, 2, 0, 0 ], -2127076500910045413456>,
<[ 0, 1, 1, 0 ], 5880412943625976539966>,
<[ 0, 1, 0, 1 ], -22826903533414678477962>,
<[ 0, 0, 2, 0 ], 8359276419964083406338>,
<[ 0, 0, 1, 1 ], -2382930463646613638394>,
<[ 0, 0, 0, 2 ], -131734363709548772172>
]
DONE
