Time: 0.380
Time: 0.170
Time: 0.070
KNOWN_POINT_LIFTS
Time: 0.070
BIFORM 1 1 [
<[ 2, 0, 0, 0 ], 537>,
<[ 1, 1, 0, 0 ], 342>,
<[ 1, 0, 1, 0 ], 348>,
<[ 1, 0, 0, 1 ], 12>,
<[ 0, 2, 0, 0 ], -51>,
<[ 0, 1, 1, 0 ], 48>,
<[ 0, 0, 2, 0 ], -48>,
<[ 0, 0, 1, 1 ], 12>,
<[ 0, 0, 0, 2 ], 12>
]
BIFORM 1 2 [
<[ 2, 0, 0, 0 ], 206>,
<[ 1, 1, 0, 0 ], 12>,
<[ 1, 0, 1, 0 ], 16>,
<[ 1, 0, 0, 1 ], 8>,
<[ 0, 2, 0, 0 ], 34>,
<[ 0, 1, 1, 0 ], -32>,
<[ 0, 0, 2, 0 ], 36>,
<[ 0, 0, 1, 1 ], 8>,
<[ 0, 0, 0, 2 ], 8>
]
BIFORM 1 3 [
<[ 2, 0, 0, 0 ], 1229>,
<[ 1, 1, 0, 0 ], -490>,
<[ 1, 0, 1, 0 ], -412>,
<[ 1, 0, 0, 1 ], -4>,
<[ 0, 2, 0, 0 ], -55>,
<[ 0, 1, 1, 0 ], -200>,
<[ 0, 1, 0, 1 ], -80>,
<[ 0, 0, 2, 0 ], -16>,
<[ 0, 0, 1, 1 ], 76>,
<[ 0, 0, 0, 2 ], -4>
]
BIFORM 1 4 [
<[ 2, 0, 0, 0 ], 1220>,
<[ 1, 1, 0, 0 ], 72>,
<[ 1, 0, 1, 0 ], 64>,
<[ 1, 0, 0, 1 ], -16>,
<[ 0, 2, 0, 0 ], 4>,
<[ 0, 1, 1, 0 ], 208>,
<[ 0, 0, 1, 1 ], -16>,
<[ 0, 0, 0, 2 ], -16>
]
BIFORM 2 2 [
<[ 2, 0, 0, 0 ], -615>,
<[ 1, 1, 0, 0 ], 246>,
<[ 1, 0, 1, 0 ], 252>,
<[ 1, 0, 0, 1 ], 12>,
<[ 0, 2, 0, 0 ], -3>,
<[ 0, 1, 1, 0 ], 144>,
<[ 0, 0, 1, 1 ], 12>,
<[ 0, 0, 0, 2 ], 12>
]
BIFORM 2 3 [
<[ 2, 0, 0, 0 ], -1426>,
<[ 1, 1, 0, 0 ], -84>,
<[ 1, 0, 1, 0 ], -80>,
<[ 1, 0, 0, 1 ], 8>,
<[ 0, 2, 0, 0 ], -38>,
<[ 0, 1, 1, 0 ], -176>,
<[ 0, 0, 2, 0 ], -36>,
<[ 0, 0, 1, 1 ], 8>,
<[ 0, 0, 0, 2 ], 8>
]
BIFORM 2 4 [
<[ 2, 0, 0, 0 ], 1690>,
<[ 1, 1, 0, 0 ], 356>,
<[ 1, 0, 1, 0 ], 432>,
<[ 1, 0, 0, 1 ], -8>,
<[ 0, 2, 0, 0 ], -38>,
<[ 0, 1, 1, 0 ], -216>,
<[ 0, 1, 0, 1 ], -80>,
<[ 0, 0, 1, 1 ], 72>,
<[ 0, 0, 0, 2 ], -8>
]
BIFORM 3 3 [
<[ 2, 0, 0, 0 ], -2840>,
<[ 1, 1, 0, 0 ], -536>,
<[ 1, 0, 1, 0 ], -632>,
<[ 1, 0, 0, 1 ], -32>,
<[ 0, 2, 0, 0 ], 208>,
<[ 0, 1, 1, 0 ], 56>,
<[ 0, 1, 0, 1 ], 80>,
<[ 0, 0, 2, 0 ], 160>,
<[ 0, 0, 1, 1 ], -112>,
<[ 0, 0, 0, 2 ], -32>
]
BIFORM 3 4 [
<[ 2, 0, 0, 0 ], 618>,
<[ 1, 1, 0, 0 ], 36>,
<[ 1, 0, 1, 0 ], 48>,
<[ 1, 0, 0, 1 ], 24>,
<[ 0, 2, 0, 0 ], 102>,
<[ 0, 1, 1, 0 ], -96>,
<[ 0, 0, 2, 0 ], 108>,
<[ 0, 0, 1, 1 ], 24>,
<[ 0, 0, 0, 2 ], 24>
]
BIFORM 4 4 [
<[ 2, 0, 0, 0 ], 155>,
<[ 1, 1, 0, 0 ], -1094>,
<[ 1, 0, 1, 0 ], -1188>,
<[ 1, 0, 0, 1 ], -28>,
<[ 0, 2, 0, 0 ], 47>,
<[ 0, 1, 1, 0 ], -216>,
<[ 0, 1, 0, 1 ], 80>,
<[ 0, 0, 1, 1 ], -108>,
<[ 0, 0, 0, 2 ], -28>
]
DONE
