[105760034692003487594982545976950266831, 0, 57468077666170795235818562557923191737, 6]
[159346594259411770574792343708522870403, 0, 148213307783888645108383376256265018230, 6]
[172766711231403429687050033707106117827, 0, 119580166502636587199155315376767758445, 6]
[328485651787756037437754791450365727147, 0, 278516135360904788714681923584849585863, 234]
[12580659688917191015111112190381466257, 0, 1408566353614299670363241444903220188, 37604]
[93703893070219675925422180231121312959, 0, 59347215268467716351189474236711833520, 59714]
[303677225507341874526537187823188786543, 0, 140057528460881998489928608829293088677, 87273]
[262162324503952537363342347039948774493, 0, 87601633366269647552020968574644506799, 246108]
[103381665581568339127181937584884438261, 0, 15158955434635658138690210866882111275, 504972]
[27110782465617424896489184260079015021, 0, 284619298497130844051966466904024965, 544083]
[86156739573022452499646868927153250561, 0, 11729147858020669803140899235495613895, 10895302]
[5480161513712762673797138768195733499, 0, 5042721770648366650438801907620083074, 15275199]
[227635980798888276842428738818668841481, 0, 159444221343908225589639701923799316825, 20877545]