[8040900943258783961, 3308011871258079953, 779147572928863455, 2]
[19216375643661451, 14790773653848740, 9078869422255336, 2]
[6316844193981534853, 6051411928321530259, 357338004429398024, 3]
[13282407956253574813, 7557322358563246340, 0, 2]
[5278298332222910017, 2024710771408546444, 0, 2]
[10542697480666645517, 2105473460816588302, 0, 2]
[10225782246228992461, 10169432471439397124, 0, 2]
[5579142313917102457, 3112773982097369600, 0, 4]
[6546253128410245273, 5067440162929866514, 0, 4]
[1576509740551152713, 1064656573519843497, 0, 4]
[13001141385859309409, 5319084566118128453, 0, 58]
[8177753454859845253, 4115463216241181325, 0, 226]
[7290401520513038509, 1676227473923521608, 0, 441]
[5408740485329341789, 905764706802102236, 0, 738]
[15112582396954424449, 2010905739996512453, 0, 1914]
[6717051393902806321, 4857259916978051110, 0, 5915]
[11086810784721872201, 2019009746489790771, 0, 9100]
[8685067337036914349, 7987801766885279609, 0, 312638]
[7266734572128171461, 4649130257339648292, 0, 1630010]
[3261898911160920529, 2546303703714797553, 0, 1771639]
[8040900943258783961, 3308011871258079953, 779147572928863455, 2]
[19216375643661451, 14790773653848740, 9078869422255336, 2]
[6316844193981534853, 6051411928321530259, 357338004429398024, 3]
[14872783809052573, 10726230895354086, 11642638620248925, 3]
[3624205600107164053, 465005690735123862, 696425675112761991, 3]
[2674251231890093683, 2286713159724441503, 2454310441522214266, 3]
[3973090027407892541, 1290683921354442628, 1092524398530182075, 4]
[13987537309161377993, 2281968328216456390, 830290096299549721, 4]
[6592106824212084173, 4955474688958581372, 5185725570689952414, 4]
[3345161422518759433, 2617216422966928713, 115178581568976699, 4]
[17577433617152967133, 13788823547674182234, 12197293069442208820, 12]
[9952952198547914417, 22666769200371811, 7448141526979808110, 14]
[2364206718490268611, 1940605278033092285, 953906591347171083, 15]
[7004006736001341991, 3885457006010030183, 2347185004706265835, 42]