Time: 0.390
Time: 0.170
Time: 0.160
KNOWN_POINT_LIFTS
Time: 0.070
BIFORM 1 1 [
<[ 2, 0, 0, 0 ], 4206>,
<[ 1, 1, 0, 0 ], -3740>,
<[ 1, 0, 1, 0 ], 1612>,
<[ 1, 0, 0, 1 ], 664>,
<[ 0, 2, 0, 0 ], 332>,
<[ 0, 1, 1, 0 ], 148>,
<[ 0, 1, 0, 1 ], 388>,
<[ 0, 0, 2, 0 ], -46>,
<[ 0, 0, 1, 1 ], 220>,
<[ 0, 0, 0, 2 ], -88>
]
BIFORM 1 2 [
<[ 2, 0, 0, 0 ], -6317>,
<[ 1, 1, 0, 0 ], -215>,
<[ 1, 0, 1, 0 ], -499>,
<[ 1, 0, 0, 1 ], 1362>,
<[ 0, 2, 0, 0 ], 481>,
<[ 0, 1, 1, 0 ], -761>,
<[ 0, 1, 0, 1 ], -186>,
<[ 0, 0, 2, 0 ], -273>,
<[ 0, 0, 1, 1 ], 80>,
<[ 0, 0, 0, 2 ], 56>
]
BIFORM 1 3 [
<[ 2, 0, 0, 0 ], 4945>,
<[ 1, 1, 0, 0 ], 703>,
<[ 1, 0, 1, 0 ], -489>,
<[ 1, 0, 0, 1 ], 486>,
<[ 0, 2, 0, 0 ], 245>,
<[ 0, 1, 1, 0 ], 1053>,
<[ 0, 1, 0, 1 ], -194>,
<[ 0, 0, 2, 0 ], -89>,
<[ 0, 0, 1, 1 ], -132>,
<[ 0, 0, 0, 2 ], -88>
]
BIFORM 1 4 [
<[ 2, 0, 0, 0 ], 4360>,
<[ 1, 1, 0, 0 ], 318>,
<[ 1, 0, 1, 0 ], -954>,
<[ 1, 0, 0, 1 ], -324>,
<[ 0, 2, 0, 0 ], 290>,
<[ 0, 1, 1, 0 ], 898>,
<[ 0, 1, 0, 1 ], 16>,
<[ 0, 0, 2, 0 ], -64>,
<[ 0, 0, 1, 1 ], 28>,
<[ 0, 0, 0, 2 ], -88>
]
BIFORM 2 2 [
<[ 2, 0, 0, 0 ], -1331>,
<[ 1, 1, 0, 0 ], -2805>,
<[ 1, 0, 1, 0 ], -1127>,
<[ 1, 0, 0, 1 ], 1046>,
<[ 0, 2, 0, 0 ], 848>,
<[ 0, 1, 1, 0 ], -273>,
<[ 0, 1, 0, 1 ], 92>,
<[ 0, 0, 2, 0 ], -224>,
<[ 0, 0, 1, 1 ], 250>,
<[ 0, 0, 0, 2 ], -72>
]
BIFORM 2 3 [
<[ 2, 0, 0, 0 ], 6380>,
<[ 1, 1, 0, 0 ], -2186>,
<[ 1, 0, 1, 0 ], 2608>,
<[ 1, 0, 0, 1 ], 1548>,
<[ 0, 2, 0, 0 ], 475>,
<[ 0, 1, 1, 0 ], 1124>,
<[ 0, 1, 0, 1 ], 138>,
<[ 0, 0, 2, 0 ], -177>,
<[ 0, 0, 1, 1 ], 134>,
<[ 0, 0, 0, 2 ], -104>
]
BIFORM 2 4 [
<[ 2, 0, 0, 0 ], -5825>,
<[ 1, 1, 0, 0 ], -641>,
<[ 1, 0, 1, 0 ], 963>,
<[ 1, 0, 0, 1 ], 1718>,
<[ 0, 2, 0, 0 ], 535>,
<[ 0, 1, 1, 0 ], -1191>,
<[ 0, 1, 0, 1 ], 118>,
<[ 0, 0, 2, 0 ], -577>,
<[ 0, 0, 1, 1 ], 164>,
<[ 0, 0, 0, 2 ], 96>
]
BIFORM 3 3 [
<[ 2, 0, 0, 0 ], 8181>,
<[ 1, 1, 0, 0 ], -251>,
<[ 1, 0, 1, 0 ], -2605>,
<[ 1, 0, 0, 1 ], 522>,
<[ 0, 2, 0, 0 ], 74>,
<[ 0, 1, 1, 0 ], 365>,
<[ 0, 1, 0, 1 ], -236>,
<[ 0, 0, 2, 0 ], -100>,
<[ 0, 0, 1, 1 ], -490>,
<[ 0, 0, 0, 2 ], -144>
]
BIFORM 3 4 [
<[ 2, 0, 0, 0 ], -3949>,
<[ 1, 1, 0, 0 ], -1901>,
<[ 1, 0, 1, 0 ], 835>,
<[ 1, 0, 0, 1 ], 102>,
<[ 0, 2, 0, 0 ], -31>,
<[ 0, 1, 1, 0 ], -255>,
<[ 0, 1, 0, 1 ], -6>,
<[ 0, 0, 2, 0 ], 325>,
<[ 0, 0, 1, 1 ], 200>,
<[ 0, 0, 0, 2 ], 16>
]
BIFORM 4 4 [
<[ 2, 0, 0, 0 ], -5954>,
<[ 1, 1, 0, 0 ], -1276>,
<[ 1, 0, 1, 0 ], -4300>,
<[ 1, 0, 0, 1 ], -1768>,
<[ 0, 2, 0, 0 ], -336>,
<[ 0, 1, 1, 0 ], -900>,
<[ 0, 1, 0, 1 ], -276>,
<[ 0, 0, 2, 0 ], 750>,
<[ 0, 0, 1, 1 ], -60>,
<[ 0, 0, 0, 2 ], -24>
]
DONE
