Time: 0.390
Time: 0.150
Time: 0.160
KNOWN_POINT_LIFTS
Time: 0.070
BIFORM 1 1 [
<[ 2, 0, 0, 0 ], 314>,
<[ 1, 1, 0, 0 ], -1004>,
<[ 1, 0, 1, 0 ], -1390>,
<[ 1, 0, 0, 1 ], -32>,
<[ 0, 2, 0, 0 ], -801>,
<[ 0, 1, 1, 0 ], -178>,
<[ 0, 1, 0, 1 ], 238>,
<[ 0, 0, 2, 0 ], -973>,
<[ 0, 0, 1, 1 ], -266>,
<[ 0, 0, 0, 2 ], -24>
]
BIFORM 1 2 [
<[ 2, 0, 0, 0 ], 2292>,
<[ 1, 1, 0, 0 ], 1643>,
<[ 1, 0, 1, 0 ], 1715>,
<[ 1, 0, 0, 1 ], -86>,
<[ 0, 2, 0, 0 ], -353>,
<[ 0, 1, 1, 0 ], -279>,
<[ 0, 1, 0, 1 ], 324>,
<[ 0, 0, 2, 0 ], 366>,
<[ 0, 0, 1, 1 ], -18>,
<[ 0, 0, 0, 2 ], -52>
]
BIFORM 1 3 [
<[ 2, 0, 0, 0 ], 1079>,
<[ 1, 1, 0, 0 ], 3331>,
<[ 1, 0, 1, 0 ], -865>,
<[ 1, 0, 0, 1 ], -302>,
<[ 0, 2, 0, 0 ], 749>,
<[ 0, 1, 1, 0 ], -143>,
<[ 0, 1, 0, 1 ], 58>,
<[ 0, 0, 2, 0 ], -263>,
<[ 0, 0, 1, 1 ], 4>,
<[ 0, 0, 0, 2 ], -24>
]
BIFORM 1 4 [
<[ 2, 0, 0, 0 ], -1809>,
<[ 1, 1, 0, 0 ], -1059>,
<[ 1, 0, 1, 0 ], -1961>,
<[ 1, 0, 0, 1 ], -74>,
<[ 0, 2, 0, 0 ], -714>,
<[ 0, 1, 1, 0 ], 385>,
<[ 0, 1, 0, 1 ], 276>,
<[ 0, 0, 2, 0 ], 342>,
<[ 0, 0, 1, 1 ], 378>,
<[ 0, 0, 0, 2 ], 32>
]
BIFORM 2 2 [
<[ 2, 0, 0, 0 ], -5724>,
<[ 1, 1, 0, 0 ], 1744>,
<[ 1, 0, 1, 0 ], -50>,
<[ 1, 0, 0, 1 ], -1128>,
<[ 0, 2, 0, 0 ], -109>,
<[ 0, 1, 1, 0 ], -22>,
<[ 0, 1, 0, 1 ], 202>,
<[ 0, 0, 2, 0 ], -47>,
<[ 0, 0, 1, 1 ], 186>,
<[ 0, 0, 0, 2 ], -96>
]
BIFORM 2 3 [
<[ 2, 0, 0, 0 ], -5588>,
<[ 1, 1, 0, 0 ], -777>,
<[ 1, 0, 1, 0 ], 1465>,
<[ 1, 0, 0, 1 ], -1446>,
<[ 0, 2, 0, 0 ], 272>,
<[ 0, 1, 1, 0 ], 51>,
<[ 0, 1, 0, 1 ], -166>,
<[ 0, 0, 2, 0 ], 121>,
<[ 0, 0, 1, 1 ], 92>,
<[ 0, 0, 0, 2 ], -52>
]
BIFORM 2 4 [
<[ 2, 0, 0, 0 ], 4493>,
<[ 1, 1, 0, 0 ], 558>,
<[ 1, 0, 1, 0 ], 402>,
<[ 1, 0, 0, 1 ], -772>,
<[ 0, 2, 0, 0 ], -272>,
<[ 0, 1, 1, 0 ], -230>,
<[ 0, 1, 0, 1 ], 378>,
<[ 0, 0, 2, 0 ], -79>,
<[ 0, 0, 1, 1 ], -66>,
<[ 0, 0, 0, 2 ], -4>
]
BIFORM 3 3 [
<[ 2, 0, 0, 0 ], -9256>,
<[ 1, 1, 0, 0 ], -4934>,
<[ 1, 0, 1, 0 ], 1010>,
<[ 1, 0, 0, 1 ], -1172>,
<[ 0, 2, 0, 0 ], -626>,
<[ 0, 1, 1, 0 ], 342>,
<[ 0, 1, 0, 1 ], -272>,
<[ 0, 0, 2, 0 ], 72>,
<[ 0, 0, 1, 1 ], 124>,
<[ 0, 0, 0, 2 ], -24>
]
BIFORM 3 4 [
<[ 2, 0, 0, 0 ], 166>,
<[ 1, 1, 0, 0 ], 3211>,
<[ 1, 0, 1, 0 ], -471>,
<[ 1, 0, 0, 1 ], 66>,
<[ 0, 2, 0, 0 ], 626>,
<[ 0, 1, 1, 0 ], -85>,
<[ 0, 1, 0, 1 ], 26>,
<[ 0, 0, 2, 0 ], 17>,
<[ 0, 0, 1, 1 ], 68>,
<[ 0, 0, 0, 2 ], -28>
]
BIFORM 4 4 [
<[ 2, 0, 0, 0 ], -4666>,
<[ 1, 1, 0, 0 ], 908>,
<[ 1, 0, 1, 0 ], 1334>,
<[ 1, 0, 0, 1 ], 1632>,
<[ 0, 2, 0, 0 ], -643>,
<[ 0, 1, 1, 0 ], -214>,
<[ 0, 1, 0, 1 ], -86>,
<[ 0, 0, 2, 0 ], -47>,
<[ 0, 0, 1, 1 ], -190>,
<[ 0, 0, 0, 2 ], -104>
]
DONE
