Time: 0.390
Time: 0.150
Time: 0.160
KNOWN_POINT_LIFTS
Time: 0.060
BIFORM 1 1 [
<[ 2, 0, 0, 0 ], -5148>,
<[ 1, 1, 0, 0 ], 3128>,
<[ 1, 0, 1, 0 ], -3120>,
<[ 1, 0, 0, 1 ], -336>,
<[ 0, 2, 0, 0 ], -188>,
<[ 0, 1, 1, 0 ], -1024>,
<[ 0, 1, 0, 1 ], -256>,
<[ 0, 0, 2, 0 ], 176>,
<[ 0, 0, 1, 1 ], -208>,
<[ 0, 0, 0, 2 ], 48>
]
BIFORM 1 2 [
<[ 2, 0, 0, 0 ], 2312>,
<[ 1, 1, 0, 0 ], -1968>,
<[ 1, 0, 1, 0 ], 2368>,
<[ 1, 0, 0, 1 ], -288>,
<[ 0, 2, 0, 0 ], -152>,
<[ 0, 1, 1, 0 ], 544>,
<[ 0, 1, 0, 1 ], 256>,
<[ 0, 0, 2, 0 ], 288>,
<[ 0, 0, 1, 1 ], 224>,
<[ 0, 0, 0, 2 ], -32>
]
BIFORM 1 3 [
<[ 2, 0, 0, 0 ], -10274>,
<[ 1, 1, 0, 0 ], -152>,
<[ 1, 0, 1, 0 ], 1268>,
<[ 1, 0, 0, 1 ], 600>,
<[ 0, 2, 0, 0 ], 362>,
<[ 0, 1, 1, 0 ], -1884>,
<[ 0, 1, 0, 1 ], 24>,
<[ 0, 0, 2, 0 ], -120>,
<[ 0, 0, 1, 1 ], 128>,
<[ 0, 0, 0, 2 ], 104>
]
BIFORM 1 4 [
<[ 2, 0, 0, 0 ], 2537>,
<[ 1, 1, 0, 0 ], -1474>,
<[ 1, 0, 1, 0 ], -684>,
<[ 1, 0, 0, 1 ], -100>,
<[ 0, 2, 0, 0 ], -31>,
<[ 0, 1, 1, 0 ], 1792>,
<[ 0, 1, 0, 1 ], 288>,
<[ 0, 0, 2, 0 ], 60>,
<[ 0, 0, 1, 1 ], -164>,
<[ 0, 0, 0, 2 ], -52>
]
BIFORM 2 2 [
<[ 2, 0, 0, 0 ], -5252>,
<[ 1, 1, 0, 0 ], 1096>,
<[ 1, 0, 1, 0 ], -3472>,
<[ 1, 0, 0, 1 ], -816>,
<[ 0, 2, 0, 0 ], -164>,
<[ 0, 1, 1, 0 ], -960>,
<[ 0, 1, 0, 1 ], -384>,
<[ 0, 0, 2, 0 ], -176>,
<[ 0, 0, 1, 1 ], -304>,
<[ 0, 0, 0, 2 ], 80>
]
BIFORM 2 3 [
<[ 2, 0, 0, 0 ], 1697>,
<[ 1, 1, 0, 0 ], 50>,
<[ 1, 0, 1, 0 ], 144>,
<[ 1, 0, 0, 1 ], -212>,
<[ 0, 2, 0, 0 ], 117>,
<[ 0, 1, 1, 0 ], 1508>,
<[ 0, 1, 0, 1 ], 248>,
<[ 0, 0, 2, 0 ], 220>,
<[ 0, 0, 1, 1 ], -236>,
<[ 0, 0, 0, 2 ], -84>
]
BIFORM 2 4 [
<[ 2, 0, 0, 0 ], 6989>,
<[ 1, 1, 0, 0 ], 2590>,
<[ 1, 0, 1, 0 ], -292>,
<[ 1, 0, 0, 1 ], -564>,
<[ 0, 2, 0, 0 ], -51>,
<[ 0, 1, 1, 0 ], -184>,
<[ 0, 1, 0, 1 ], -464>,
<[ 0, 0, 2, 0 ], -100>,
<[ 0, 0, 1, 1 ], -132>,
<[ 0, 0, 0, 2 ], -68>
]
BIFORM 3 3 [
<[ 2, 0, 0, 0 ], 3619>,
<[ 1, 1, 0, 0 ], -2544>,
<[ 1, 0, 1, 0 ], 3190>,
<[ 1, 0, 0, 1 ], 1588>,
<[ 0, 2, 0, 0 ], 631>,
<[ 0, 1, 1, 0 ], 10>,
<[ 0, 1, 0, 1 ], 76>,
<[ 0, 0, 2, 0 ], -770>,
<[ 0, 0, 1, 1 ], 280>,
<[ 0, 0, 0, 2 ], 4>
]
BIFORM 3 4 [
<[ 2, 0, 0, 0 ], -897>,
<[ 1, 1, 0, 0 ], 2412>,
<[ 1, 0, 1, 0 ], -2990>,
<[ 1, 0, 0, 1 ], 36>,
<[ 0, 2, 0, 0 ], -133>,
<[ 0, 1, 1, 0 ], 390>,
<[ 0, 1, 0, 1 ], -28>,
<[ 0, 0, 2, 0 ], 170>,
<[ 0, 0, 1, 1 ], -240>,
<[ 0, 0, 0, 2 ], -12>
]
BIFORM 4 4 [
<[ 2, 0, 0, 0 ], 6736>,
<[ 1, 1, 0, 0 ], -2076>,
<[ 1, 0, 1, 0 ], 5580>,
<[ 1, 0, 0, 1 ], 192>,
<[ 0, 2, 0, 0 ], 44>,
<[ 0, 1, 1, 0 ], 20>,
<[ 0, 1, 0, 1 ], 184>,
<[ 0, 0, 2, 0 ], 160>,
<[ 0, 0, 1, 1 ], 520>,
<[ 0, 0, 0, 2 ], -64>
]
DONE
