Time: 0.530
Time: 0.300
Time: 0.280
KNOWN_POINT_LIFTS
Time: 0.160
BIFORM 1 1 [
<[ 2, 0, 0, 0 ], 16402092605102872187838747>,
<[ 1, 1, 0, 0 ], 6799387144938563152960668>,
<[ 1, 0, 1, 0 ], 3143847385506990716850528>,
<[ 1, 0, 0, 1 ], 8679347506886046969134394>,
<[ 0, 2, 0, 0 ], -20393767867673494766123892>,
<[ 0, 1, 1, 0 ], -8602284929631335474566464>,
<[ 0, 1, 0, 1 ], -803589454588993144062012>,
<[ 0, 0, 2, 0 ], 2761323453074334856500288>,
<[ 0, 0, 1, 1 ], -369681795849806612564832>,
<[ 0, 0, 0, 2 ], -700412511711003712835733>
]
BIFORM 1 2 [
<[ 2, 0, 0, 0 ], -14188457718075433853138481>,
<[ 1, 1, 0, 0 ], -3006819562907986815717204>,
<[ 1, 0, 1, 0 ], -244636521499625090148384>,
<[ 1, 0, 0, 1 ], -353746139545979679467502>,
<[ 0, 2, 0, 0 ], 13041697603016433796707036>,
<[ 0, 1, 1, 0 ], -4124881170440651712948288>,
<[ 0, 1, 0, 1 ], -2143606159140011532100044>,
<[ 0, 0, 2, 0 ], -3778246996326257114637504>,
<[ 0, 0, 1, 1 ], -688191562804081731938784>,
<[ 0, 0, 0, 2 ], 980732123509703503748319>
]
BIFORM 1 3 [
<[ 2, 0, 0, 0 ], 6931155227312278438911630>,
<[ 1, 1, 0, 0 ], 673935766010009562959640>,
<[ 1, 0, 1, 0 ], 3335594669637241976640>,
<[ 1, 0, 0, 1 ], -3406447278863678959282620>,
<[ 0, 2, 0, 0 ], -4886181372915182282684040>,
<[ 0, 1, 1, 0 ], 7146710946408602753608320>,
<[ 0, 1, 0, 1 ], 2669577466169764693581480>,
<[ 0, 0, 2, 0 ], 2236105758893908325074560>,
<[ 0, 0, 1, 1 ], 1172308903707667730546880>,
<[ 0, 0, 0, 2 ], -491583543084902669620050>
]
BIFORM 1 4 [
<[ 2, 0, 0, 0 ], 2115696142905350450292432>,
<[ 1, 1, 0, 0 ], 244142865766277584429248>,
<[ 1, 0, 1, 0 ], -114808644487375429574592>,
<[ 1, 0, 0, 1 ], -830708797816999648516896>,
<[ 0, 2, 0, 0 ], -918565323157299482753472>,
<[ 0, 1, 1, 0 ], 1278894789115677350568576>,
<[ 0, 1, 0, 1 ], -194753057178871552623552>,
<[ 0, 0, 2, 0 ], -232210565445978457569792>,
<[ 0, 0, 1, 1 ], 14024239863795618683328>,
<[ 0, 0, 0, 2 ], 42236156589732544678992>
]
BIFORM 2 2 [
<[ 2, 0, 0, 0 ], 1042052173612318804756275>,
<[ 1, 1, 0, 0 ], -15576381681306781659231620>,
<[ 1, 0, 1, 0 ], 7592985732547948650026080>,
<[ 1, 0, 0, 1 ], 5976203204816717651669130>,
<[ 0, 2, 0, 0 ], -9114067786044287945157140>,
<[ 0, 1, 1, 0 ], -1889604798245492583452480>,
<[ 0, 1, 0, 1 ], 3903135362226187381005540>,
<[ 0, 0, 2, 0 ], 3878286854665654616516160>,
<[ 0, 0, 1, 1 ], -2589566452534604805348960>,
<[ 0, 0, 0, 2 ], -1174250970891435977960445>
]
BIFORM 2 3 [
<[ 2, 0, 0, 0 ], -22666020056981629601300586>,
<[ 1, 1, 0, 0 ], 19506672924194729309918136>,
<[ 1, 0, 1, 0 ], -5559616273644398421073344>,
<[ 1, 0, 0, 1 ], -14874019361211176931128652>,
<[ 0, 2, 0, 0 ], 29074375176233257117763736>,
<[ 0, 1, 1, 0 ], 5941228484133171417616512>,
<[ 0, 1, 0, 1 ], -1703912018360644850676984>,
<[ 0, 0, 2, 0 ], -8575741510618374894789504>,
<[ 0, 0, 1, 1 ], 5664773957930826425136576>,
<[ 0, 0, 0, 2 ], 3044074450049991139057974>
]
BIFORM 2 4 [
<[ 2, 0, 0, 0 ], 485032243980703091950992>,
<[ 1, 1, 0, 0 ], -5691354359756293157349952>,
<[ 1, 0, 1, 0 ], 761529974734941258291008>,
<[ 1, 0, 0, 1 ], -1857994940322951762899616>,
<[ 0, 2, 0, 0 ], 2373646493220928058324288>,
<[ 0, 1, 1, 0 ], -1060453727200679892498304>,
<[ 0, 1, 0, 1 ], -2869358460943123737431232>,
<[ 0, 0, 2, 0 ], -3745811014939757029151232>,
<[ 0, 0, 1, 1 ], -531735641930208354092352>,
<[ 0, 0, 0, 2 ], 940079828038706494858512>
]
BIFORM 3 3 [
<[ 2, 0, 0, 0 ], -39280828660339539537542772>,
<[ 1, 1, 0, 0 ], -12526191510997777169537808>,
<[ 1, 0, 1, 0 ], 11216249093049689100892032>,
<[ 1, 0, 0, 1 ], -3079640300217678352176984>,
<[ 0, 2, 0, 0 ], 24624574798039617535822512>,
<[ 0, 1, 1, 0 ], -470599848955318155837696>,
<[ 0, 1, 0, 1 ], 7090485016733690628814992>,
<[ 0, 0, 2, 0 ], -2652008529188530568832768>,
<[ 0, 0, 1, 1 ], 328284201467689366442112>,
<[ 0, 0, 0, 2 ], 1317024392361733440574668>
]
BIFORM 3 4 [
<[ 2, 0, 0, 0 ], 3881700633275828953009056>,
<[ 1, 1, 0, 0 ], -26766626036768033742381696>,
<[ 1, 0, 1, 0 ], 7398369059318315023315584>,
<[ 1, 0, 0, 1 ], 3723907349236203426658752>,
<[ 0, 2, 0, 0 ], -4948150906749597548401536>,
<[ 0, 1, 1, 0 ], -9797292441413500809299712>,
<[ 0, 1, 0, 1 ], -4899371654043891047926656>,
<[ 0, 0, 2, 0 ], -5345096896826190173316096>,
<[ 0, 0, 1, 1 ], -3122425423950164856729216>,
<[ 0, 0, 0, 2 ], 1216261109797656997546656>
]
BIFORM 4 4 [
<[ 2, 0, 0, 0 ], 4266220543874846824248384>,
<[ 1, 1, 0, 0 ], 38090079737453405911362816>,
<[ 1, 0, 1, 0 ], -16055502164000464448830464>,
<[ 1, 0, 0, 1 ], -27592818182536256435498112>,
<[ 0, 2, 0, 0 ], 24336601395712407268137216>,
<[ 0, 1, 1, 0 ], 37410942769177161678415872>,
<[ 0, 1, 0, 1 ], -2885771373070835051599104>,
<[ 0, 0, 2, 0 ], -7531388880032184431898624>,
<[ 0, 0, 1, 1 ], 2398536176137025094982656>,
<[ 0, 0, 0, 2 ], 1599106050735222326036544>
]
DONE
