Time: 0.530
Time: 0.290
Time: 0.290
KNOWN_POINT_LIFTS
Time: 0.160
BIFORM 1 1 [
<[ 2, 0, 0, 0 ], 753803761890161982070708>,
<[ 1, 1, 0, 0 ], 460880083039919683759952>,
<[ 1, 0, 1, 0 ], 373688310165781168101792>,
<[ 1, 0, 0, 1 ], 137920948551909728280216>,
<[ 0, 2, 0, 0 ], 32161726499754033913552>,
<[ 0, 1, 1, 0 ], 113881170401986511774784>,
<[ 0, 1, 0, 1 ], -17141907855978145739088>,
<[ 0, 0, 2, 0 ], 55791317809356348736512>,
<[ 0, 0, 1, 1 ], 11142920019769398172512>,
<[ 0, 0, 0, 2 ], -81749059073174604045132>
]
BIFORM 1 2 [
<[ 2, 0, 0, 0 ], -1357154807386124091466342>,
<[ 1, 1, 0, 0 ], 890483692839569259718312>,
<[ 1, 0, 1, 0 ], -78157756930552270460208>,
<[ 1, 0, 0, 1 ], -656872929276526613752884>,
<[ 0, 2, 0, 0 ], 1369881597964913697965672>,
<[ 0, 1, 1, 0 ], 247472294902209566735904>,
<[ 0, 1, 0, 1 ], -149054934266427172489128>,
<[ 0, 0, 2, 0 ], -286838239689892385791488>,
<[ 0, 0, 1, 1 ], 207910357633970611822512>,
<[ 0, 0, 0, 2 ], 120157407695386680021018>
]
BIFORM 1 3 [
<[ 2, 0, 0, 0 ], -1181908702659840458041050>,
<[ 1, 1, 0, 0 ], -1977221472014672140284840>,
<[ 1, 0, 1, 0 ], 733432221021001075268400>,
<[ 1, 0, 0, 1 ], 38709067256949007941300>,
<[ 0, 2, 0, 0 ], 1001239266905506392429720>,
<[ 0, 1, 1, 0 ], -693712164762777724584480>,
<[ 0, 1, 0, 1 ], -330052717706621536324440>,
<[ 0, 0, 2, 0 ], -412674562823380024435200>,
<[ 0, 0, 1, 1 ], -309318108176066431546800>,
<[ 0, 0, 0, 2 ], 77062668248069502416550>
]
BIFORM 1 4 [
<[ 2, 0, 0, 0 ], 3153479099527066559218112>,
<[ 1, 1, 0, 0 ], 980331283161264903962368>,
<[ 1, 0, 1, 0 ], 261980727042478532402688>,
<[ 1, 0, 0, 1 ], 500292404052330716855424>,
<[ 0, 2, 0, 0 ], -2895854706462223342811392>,
<[ 0, 1, 1, 0 ], 579055668172804116704256>,
<[ 0, 1, 0, 1 ], -56741744341381217640192>,
<[ 0, 0, 2, 0 ], 981792732929942127034368>,
<[ 0, 0, 1, 1 ], -93485176575837042028032>,
<[ 0, 0, 0, 2 ], -296255710136924054941248>
]
BIFORM 2 2 [
<[ 2, 0, 0, 0 ], 1763642341519985939285533>,
<[ 1, 1, 0, 0 ], 721902288885349401332372>,
<[ 1, 0, 1, 0 ], -1366583556961028944886808>,
<[ 1, 0, 0, 1 ], -430808391986936243893434>,
<[ 0, 2, 0, 0 ], -1631341026976253169332108>,
<[ 0, 1, 1, 0 ], 1067272370865521263812624>,
<[ 0, 1, 0, 1 ], 495925213137324276714732>,
<[ 0, 0, 2, 0 ], 433994677840526150598912>,
<[ 0, 0, 1, 1 ], 75926997933184313709912>,
<[ 0, 0, 0, 2 ], -81526168384163761439907>
]
BIFORM 2 3 [
<[ 2, 0, 0, 0 ], 794772944371836778617555>,
<[ 1, 1, 0, 0 ], 1696625008698399270151980>,
<[ 1, 0, 1, 0 ], -4230737303240918143080>,
<[ 1, 0, 0, 1 ], 773886208697827251938010>,
<[ 0, 2, 0, 0 ], -1980197495075672465710260>,
<[ 0, 1, 1, 0 ], -1646972415721387518881040>,
<[ 0, 1, 0, 1 ], 73289650962457430128980>,
<[ 0, 0, 2, 0 ], 564524548003763885387520>,
<[ 0, 0, 1, 1 ], 107458726998945923674920>,
<[ 0, 0, 0, 2 ], -90569442567737221531245>
]
BIFORM 2 4 [
<[ 2, 0, 0, 0 ], -1272342590681646431858768>,
<[ 1, 1, 0, 0 ], -860690194706522639432512>,
<[ 1, 0, 1, 0 ], -477415872114540181333632>,
<[ 1, 0, 0, 1 ], -1512094754941468988010336>,
<[ 0, 2, 0, 0 ], 3096854413240315358834368>,
<[ 0, 1, 1, 0 ], 1561541527597989872791296>,
<[ 0, 1, 0, 1 ], 98752675281452039377728>,
<[ 0, 0, 2, 0 ], -919104566151375131185152>,
<[ 0, 0, 1, 1 ], 13206833959056426488448>,
<[ 0, 0, 0, 2 ], 167726441481068366001072>
]
BIFORM 3 3 [
<[ 2, 0, 0, 0 ], -580839845166632433317715>,
<[ 1, 1, 0, 0 ], -3425487797874851935734060>,
<[ 1, 0, 1, 0 ], 3670153983109706481089640>,
<[ 1, 0, 0, 1 ], 4853968576723284131640870>,
<[ 0, 2, 0, 0 ], -2421742714213978714314060>,
<[ 0, 1, 1, 0 ], -5317313566943157545556720>,
<[ 0, 1, 0, 1 ], -659682272072831567583060>,
<[ 0, 0, 2, 0 ], 450903563663695564919040>,
<[ 0, 0, 1, 1 ], -580484553030054309297960>,
<[ 0, 0, 0, 2 ], -182327660937891808810515>
]
BIFORM 3 4 [
<[ 2, 0, 0, 0 ], 730506831798560089453440>,
<[ 1, 1, 0, 0 ], -1985812100496152960524800>,
<[ 1, 0, 1, 0 ], -2877776561578071770403840>,
<[ 1, 0, 0, 1 ], -195554013101742489880320>,
<[ 0, 2, 0, 0 ], -2522973074356060296245760>,
<[ 0, 1, 1, 0 ], -888762404955481624627200>,
<[ 0, 1, 0, 1 ], 1135587051905119567372800>,
<[ 0, 0, 2, 0 ], 100514322669498282639360>,
<[ 0, 0, 1, 1 ], -274516608486447289175040>,
<[ 0, 0, 0, 2 ], 96268816862288386208640>
]
BIFORM 4 4 [
<[ 2, 0, 0, 0 ], -5834104119615490948800272>,
<[ 1, 1, 0, 0 ], -1580413672035673843920448>,
<[ 1, 0, 1, 0 ], 949687423417989462041472>,
<[ 1, 0, 0, 1 ], -2857832908745497263550944>,
<[ 0, 2, 0, 0 ], 6158387262706692474254272>,
<[ 0, 1, 1, 0 ], 1897060705645124003107584>,
<[ 0, 1, 0, 1 ], -1310604735993777459108288>,
<[ 0, 0, 2, 0 ], -1499082404445119552606208>,
<[ 0, 0, 1, 1 ], 3158130527073588926592>,
<[ 0, 0, 0, 2 ], 483334617587248108213488>
]
DONE
