Equation 677 Database

← home

Recent activity

• 
  5f44e78d… · Comment: Size-961 = 31² idempotent right-cancellative magma satisfying Eq 677 and Eq 255, in the AG(2, 31) line family. The 992 =…

  2026-05-14 23:41:03 · dwrensha
• 
  2b8e3c08… · Comment: Size-961 = 31² idempotent right-cancellative magma satisfying Eq 677 and Eq 255, in the AG(2, 31) line family. The 992 =…

  2026-05-14 23:41:03 · dwrensha
• 
  fc322ba7… · Comment: Size-961 = 31² idempotent right-cancellative magma satisfying Eq 677 and Eq 255, in the AG(2, 31) line family. The 992 =…

  2026-05-14 23:41:03 · dwrensha
• 
  5f44e78d… · Reorder set to 0,2,5,17,14,11,8,26,23,20,461,458,455,452,449,446,443,440,437,434,431,428,425,422,419,416,413,410,407,404,401,1,417,435,453,27,3,414,432,450,24,6,411,429,447,21,18,408,426,444,462,15,405,423,441,459,12,402,420,438,456,9,775,760,745,823,808,793,778,763,748,826,811,796,781,766,751,829,814,799,784,769,754,832,817,802,787,772,757,835,820,805,790,204,129,147,165,183,201,126,144,162,180,198,123,141,159,177,195,213,138,156,174,192,210,135,153,171,189,207,132,150,168,186,339,357,375,393,318,336,354,372,390,315,333,351,369,387,312,330,348,366,384,309,327,345,363,381,399,324,342,360,378,396,321,663,681,699,717,735,660,678,696,714,732,657,675,693,711,729,654,672,690,708,726,651,669,687,705,723,741,666,684,702,720,738,929,13,463,448,433,418,403,16,22,451,436,421,406,19,25,454,439,424,409,7,28,457,442,427,412,4,10,460,445,430,415,662,659,656,653,650,740,737,734,731,728,725,722,719,716,713,710,707,704,701,698,695,692,689,686,683,680,677,674,671,668,665,228,246,264,282,300,225,243,261,279,297,222,240,258,276,294,219,237,255,273,291,216,234,252,270,288,306,231,249,267,285,303,927,852,870,888,906,924,849,867,885,903,921,846,864,882,900,918,843,861,879,897,915,840,858,876,894,912,837,855,873,891,909,229,307,292,277,262,247,232,217,295,280,265,250,235,220,298,283,268,253,238,223,301,286,271,256,241,226,304,289,274,259,244,773,770,767,764,761,758,755,752,749,746,743,833,830,827,824,821,818,815,812,809,806,803,800,797,794,791,788,785,782,779,776,638,635,632,629,626,623,620,617,614,611,608,605,602,599,596,593,590,587,584,581,578,575,572,569,566,563,560,557,647,644,641,338,335,332,329,326,323,320,317,314,311,308,398,395,392,389,386,383,380,377,374,371,368,365,362,359,356,353,350,347,344,341,926,923,920,917,914,911,908,905,902,899,896,893,890,887,884,881,878,875,872,869,866,863,860,857,854,851,848,845,842,839,836,928,913,898,883,868,853,838,916,901,886,871,856,841,919,904,889,874,859,844,922,907,892,877,862,847,925,910,895,880,865,850,205,190,175,160,145,130,208,193,178,163,148,133,211,196,181,166,151,136,214,199,184,169,154,139,124,202,187,172,157,142,127,48,66,84,102,120,45,63,81,99,117,42,60,78,96,114,39,57,75,93,111,36,54,72,90,108,33,51,69,87,105,30,484,469,547,532,517,502,487,472,550,535,520,505,490,475,553,538,523,508,493,478,556,541,526,511,496,481,466,544,529,514,499,203,200,197,194,191,188,185,182,179,176,173,170,167,164,161,158,155,152,149,146,143,140,137,134,131,128,125,122,212,209,206,227,224,221,218,215,305,302,299,296,293,290,287,284,281,278,275,272,269,266,263,260,257,254,251,248,245,242,239,236,233,230,340,325,310,388,373,358,343,328,313,391,376,361,346,331,316,394,379,364,349,334,319,397,382,367,352,337,322,400,385,370,355,483,501,519,537,555,480,498,516,534,552,477,495,513,531,549,474,492,510,528,546,471,489,507,525,543,468,486,504,522,540,465,960,951,946,935,957,952,944,959,931,932,947,940,937,934,930,933,950,955,948,945,958,936,954,956,941,953,943,939,949,938,942,49,34,112,97,82,67,52,37,115,100,85,70,55,40,118,103,88,73,58,43,121,106,91,76,61,46,31,109,94,79,64,774,792,810,828,753,771,789,807,825,750,768,786,804,822,747,765,783,801,819,744,762,780,798,816,834,759,777,795,813,831,756,664,742,727,712,697,682,667,652,730,715,700,685,670,655,733,718,703,688,673,658,736,721,706,691,676,661,739,724,709,694,679,640,625,610,595,580,565,643,628,613,598,583,568,646,631,616,601,586,571,649,634,619,604,589,574,559,637,622,607,592,577,562,47,44,41,38,35,32,29,119,116,113,110,107,104,101,98,95,92,89,86,83,80,77,74,71,68,65,62,59,56,53,50,482,479,476,473,470,467,464,554,551,548,545,542,539,536,533,530,527,524,521,518,515,512,509,506,503,500,497,494,491,488,485,639,564,582,600,618,636,561,579,597,615,633,558,576,594,612,630,648,573,591,609,627,645,570,588,606,624,642,567,585,603,621

  2026-05-14 23:41:02 · dwrensha
• 
  2b8e3c08… · Reorder set to 0,7,466,887,399,932,716,282,177,682,84,387,854,514,526,450,591,823,321,362,227,100,265,786,580,154,619,659,735,189,44,1,472,405,722,183,90,860,532,597,327,233,271,556,625,741,50,13,893,938,288,688,393,520,456,829,338,106,792,130,665,195,960,812,806,813,800,802,807,810,794,814,796,805,801,793,804,803,818,819,808,816,820,811,799,809,795,822,817,815,798,821,797,926,210,650,145,777,121,353,844,441,505,378,673,303,953,908,28,65,756,640,571,256,218,312,612,547,875,75,168,707,420,487,920,59,204,750,644,634,139,565,771,250,115,242,347,336,838,606,435,541,499,869,372,69,697,162,297,731,947,414,902,481,22,927,219,674,211,313,304,651,583,954,146,548,909,778,876,29,122,76,66,354,169,757,845,708,641,442,421,572,506,488,257,379,914,429,53,535,198,493,744,863,668,396,628,93,133,691,559,186,765,291,274,725,109,941,236,408,341,896,330,475,832,16,600,916,865,561,943,834,200,95,276,898,431,670,158,238,18,495,135,727,332,55,368,767,410,602,746,693,111,477,537,630,293,343,921,70,243,60,698,348,205,163,307,751,298,839,645,732,607,635,948,436,140,415,542,566,903,500,772,482,870,251,23,373,116,924,503,638,166,119,906,610,208,376,569,705,351,26,545,648,701,254,418,842,63,873,143,301,246,485,439,754,73,775,951,310,4,789,453,285,47,268,529,719,192,103,517,935,738,230,857,402,662,365,390,890,622,324,87,469,127,826,685,10,553,594,180,928,846,910,220,709,779,675,642,877,212,443,30,314,422,123,305,573,77,652,507,37,584,489,355,955,258,170,147,380,758,549,6,721,859,326,555,49,937,392,828,791,194,404,89,596,270,740,892,687,455,105,664,471,182,531,232,624,12,287,519,337,129,919,749,138,249,346,605,498,68,296,413,21,203,633,770,241,837,540,371,161,946,480,58,643,564,114,335,434,868,696,730,901,915,942,94,430,237,134,54,409,692,536,342,560,199,897,157,494,331,766,745,476,292,864,833,275,669,17,726,367,601,110,629,3,284,528,102,737,401,389,323,156,9,179,452,267,191,934,856,364,621,468,684,593,788,46,718,516,229,661,889,86,825,582,918,248,497,412,632,836,160,57,113,867,900,137,604,295,202,240,370,479,563,433,729,748,345,67,20,769,539,945,672,334,695,917,411,159,866,603,239,562,747,19,944,694,496,835,112,136,201,478,728,96,538,333,247,631,56,899,294,369,432,344,768,671,460,656,783,359,447,384,279,884,41,616,262,318,523,81,713,463,216,151,97,850,511,679,959,34,762,577,224,588,881,174,426,461,680,319,657,930,524,784,35,82,360,733,714,448,578,464,385,225,187,280,589,152,885,882,98,42,175,851,617,397,512,263,922,567,840,71,904,646,244,501,703,61,773,608,699,483,636,349,871,949,206,252,437,164,24,141,308,374,416,752,117,543,299,458,614,125,586,382,711,32,654,260,848,879,277,491,760,781,316,509,172,912,214,575,357,551,677,424,39,149,222,445,79,957,462,886,715,681,853,449,320,99,579,658,43,465,931,176,386,525,852,226,785,618,188,36,398,281,83,513,590,361,264,153,734,925,144,352,504,302,27,639,217,546,167,486,649,120,440,702,907,755,255,611,74,419,209,776,843,377,952,64,570,311,874,706,913,534,743,395,132,185,273,940,340,474,599,52,522,667,92,558,290,108,407,329,15,428,197,862,627,690,764,724,235,895,831,923,165,609,568,25,700,841,142,484,72,309,637,905,375,350,647,417,872,245,753,950,502,118,207,704,544,253,62,300,438,774,5,325,936,790,88,739,454,470,231,286,128,858,48,827,403,269,686,663,530,11,366,720,554,391,193,595,891,104,181,623,518,2,101,388,8,266,855,467,787,515,888,581,527,400,155,451,933,620,592,717,660,824,283,736,322,178,190,363,683,45,228,85,459,358,278,615,552,492,126,678,761,587,425,782,383,40,317,712,150,510,33,223,173,655,446,883,261,80,215,849,958,576,880,457,585,31,847,490,315,911,356,423,221,956,124,710,259,306,780,171,574,676,148,78,613,381,653,878,759,508,213,550,38,444,929,394,272,473,521,557,406,427,626,723,830,742,184,339,51,91,107,14,861,763,894,533,131,939,598,666,289,328,196,689,234

  2026-05-14 23:41:02 · dwrensha
• 
  fc322ba7… · Reorder set to 0,5,761,499,276,778,48,870,523,800,664,429,142,216,941,571,97,330,621,477,454,687,179,255,205,402,606,902,727,826,75,1,329,498,453,47,254,799,605,141,825,570,34,620,275,686,869,204,663,901,215,74,96,760,476,777,178,552,401,428,726,940,925,516,35,817,129,558,638,674,192,889,92,748,765,540,416,958,317,441,272,593,843,22,293,857,651,233,114,464,166,389,714,960,345,357,358,339,335,340,349,351,341,347,344,352,338,361,348,363,346,353,337,359,362,356,336,364,355,350,354,343,342,360,3,729,374,181,479,99,218,666,872,278,7,828,608,257,456,332,943,431,525,780,733,77,904,207,689,623,573,144,802,50,501,922,955,711,413,386,537,163,792,491,745,111,89,230,886,648,189,854,701,290,635,19,555,840,126,590,814,269,62,438,513,314,923,90,841,712,887,591,387,190,270,164,702,439,492,636,315,112,556,956,231,127,414,649,815,538,855,63,763,291,514,746,20,370,866,937,683,723,302,425,617,398,31,549,567,175,852,774,138,473,602,757,796,123,251,71,44,242,450,898,495,660,326,201,366,613,770,247,656,719,563,753,446,862,394,134,67,322,298,171,822,894,933,27,469,40,197,421,848,119,521,679,545,598,238,371,568,72,938,823,243,724,139,899,426,603,661,399,797,202,550,252,867,176,45,684,775,451,303,474,496,618,758,327,32,124,914,282,529,148,103,460,211,703,11,784,806,222,306,693,378,832,737,54,670,947,627,155,612,81,505,876,405,577,483,261,908,916,485,878,584,949,739,695,808,705,105,284,263,407,83,629,56,380,224,13,462,531,910,579,507,157,672,834,308,786,213,150,372,662,452,73,798,475,824,551,619,725,868,328,900,46,95,604,776,569,400,304,939,203,497,244,253,759,140,177,33,427,685,929,804,625,906,782,945,259,9,668,481,731,52,575,209,735,403,458,830,874,101,376,503,146,691,79,527,334,610,280,220,183,2,430,180,762,217,206,277,572,607,49,331,728,524,478,76,665,688,6,143,256,500,942,373,779,98,903,871,622,827,801,455,917,264,580,879,84,158,950,57,835,696,225,787,706,433,151,285,911,486,408,508,585,630,643,740,381,309,809,14,214,106,532,369,601,682,122,424,43,30,897,174,325,137,865,756,722,250,616,241,548,494,851,200,472,936,795,301,70,397,449,566,659,773,926,749,294,36,541,652,130,959,115,639,442,167,193,594,715,93,23,517,766,858,818,417,234,559,318,465,675,273,390,890,844,913,53,147,626,210,80,783,404,305,260,831,281,669,102,184,732,504,805,576,692,907,736,528,946,459,611,10,875,221,482,377,928,392,467,236,860,25,596,444,931,543,751,892,677,561,820,519,717,169,117,654,296,846,245,320,419,768,65,195,641,132,38,4,829,905,375,258,690,480,333,574,219,432,803,873,781,502,8,78,730,609,208,182,457,624,100,944,145,667,526,51,279,734,918,788,644,581,434,382,85,286,810,951,487,185,836,509,533,226,631,265,707,741,880,152,310,159,912,15,58,409,107,697,586,368,547,121,199,29,794,324,396,755,658,615,600,493,423,471,896,300,136,448,721,772,240,681,850,42,935,173,69,864,565,249,924,440,816,842,637,856,888,113,764,388,957,515,271,128,21,673,650,91,463,539,713,316,64,592,557,292,191,232,747,165,415,927,168,235,295,595,319,542,94,676,131,518,391,116,859,845,443,418,750,194,560,37,716,466,653,24,274,930,767,891,640,819,921,700,412,18,162,125,744,268,229,512,188,954,289,385,554,791,589,110,61,885,313,853,710,634,536,839,490,813,88,437,647,367,135,198,771,323,849,657,172,522,564,895,546,447,28,239,395,41,614,68,422,248,299,120,720,793,680,754,934,599,863,470,365,893,246,468,562,420,861,520,66,597,170,642,932,655,39,752,847,393,678,321,237,821,769,26,718,196,445,118,133,544,297,920,109,17,312,743,633,511,489,288,436,790,699,60,161,882,267,535,187,812,384,646,588,411,884,154,709,228,838,953,87,553,915,223,583,530,694,506,104,833,406,212,55,484,12,948,909,807,156,283,307,82,149,379,877,461,738,578,704,671,262,785,628,919,186,311,645,510,883,435,227,59,86,266,108,811,742,587,488,153,789,837,160,582,534,16,383,632,410,287,708,698,952,881

  2026-05-14 23:41:02 · dwrensha
• 
  fc322ba7… · Reorder set to 0,5,761,499,276,778,48,870,523,800,664,429,142,216,941,571,97,330,621,477,454,687,179,255,205,402,606,902,727,826,75,1,329,498,453,47,254,799,605,141,825,570,34,620,275,686,869,204,663,901,215,74,96,760,476,777,178,552,401,428,726,940,925,516,35,817,129,558,638,674,192,889,92,748,765,540,416,958,317,441,272,593,843,22,293,857,651,233,114,464,166,389,714,960,345,357,358,339,335,340,349,351,341,347,344,352,338,361,348,363,346,353,337,359,362,356,336,364,355,350,354,343,342,360,3,729,374,181,479,99,218,666,872,278,7,828,608,257,456,332,943,431,525,780,733,77,904,207,689,623,573,144,802,50,501,922,955,711,413,386,537,163,792,491,745,111,89,230,886,648,189,854,701,290,635,19,555,840,126,590,814,269,62,438,513,314,923,90,841,712,887,591,387,190,270,164,702,439,492,636,315,112,556,956,231,127,414,649,815,538,855,63,763,291,514,746,20,370,866,937,683,723,302,425,617,398,31,549,567,175,852,774,138,473,602,757,796,123,251,71,44,242,450,898,495,660,326,201,366,613,770,247,656,719,563,753,446,862,394,134,67,322,298,171,822,894,933,27,469,40,197,421,848,119,521,679,545,598,238,371,568,72,938,823,243,724,139,899,426,603,661,399,797,202,550,252,867,176,45,684,775,451,303,474,496,618,758,327,32,124,914,282,529,148,103,460,211,703,11,784,806,222,306,693,378,832,737,54,670,947,627,155,612,81,505,876,405,577,483,261,908,916,485,878,584,949,739,695,808,705,105,284,263,407,83,629,56,380,224,13,462,531,910,579,507,157,672,834,308,786,213,150,372,662,452,73,798,475,824,551,619,725,868,328,900,46,95,604,776,569,400,304,939,203,497,244,253,759,140,177,33,427,685,929,804,625,906,782,945,259,9,668,481,731,52,575,209,735,403,458,830,874,101,376,503,146,691,79,527,334,610,280,220,183,2,430,180,762,217,206,277,572,607,49,331,728,524,478,76,665,688,6,143,256,500,942,373,779,98,903,871,622,827,801,455,917,264,580,879,84,158,950,57,835,696,225,787,706,433,151,285,911,486,408,508,585,630,643,740,381,309,809,14,214,106,532,369,601,682,122,424,43,30,897,174,325,137,865,756,722,250,616,241,548,494,851,200,472,936,795,301,70,397,449,566,659,773,926,749,294,36,541,652,130,959,115,639,442,167,193,594,715,93,23,517,766,858,818,417,234,559,318,465,675,273,390,890,844,913,53,147,626,210,80,783,404,305,260,831,281,669,102,184,732,504,805,576,692,907,736,528,946,459,611,10,875,221,482,377,928,392,467,236,860,25,596,444,931,543,751,892,677,561,820,519,717,169,117,654,296,846,245,320,419,768,65,195,641,132,38,4,829,905,375,258,690,480,333,574,219,432,803,873,781,502,8,78,730,609,208,182,457,624,100,944,145,667,526,51,279,734,918,788,644,581,434,382,85,286,810,951,487,185,836,509,533,226,631,265,707,741,880,152,310,159,912,15,58,409,107,697,586,368,547,121,199,29,794,324,396,755,658,615,600,493,423,471,896,300,136,448,721,772,240,681,850,42,935,173,69,864,565,249,924,440,816,842,637,856,888,113,764,388,957,515,271,128,21,673,650,91,463,539,713,316,64,592,557,292,191,232,747,165,415,927,168,235,295,595,319,542,94,676,131,518,391,116,859,845,443,418,750,194,560,37,716,466,653,24,274,930,767,891,640,819,921,700,412,18,162,125,744,268,229,512,188,954,289,385,554,791,589,110,61,885,313,853,710,634,536,839,490,813,88,437,647,367,135,198,771,323,849,657,172,522,564,895,546,447,28,239,395,41,614,68,422,248,299,120,720,793,680,754,934,599,863,470,365,893,246,468,562,420,861,520,66,597,170,642,932,655,39,752,847,393,678,321,237,821,769,26,718,196,445,118,133,544,297,920,109,17,312,743,633,511,489,288,436,790,699,60,161,882,267,535,187,812,384,646,588,411,884,154,709,228,838,953,87,553,915,223,583,530,694,506,104,833,406,212,55,484,12,948,909,807,156,283,307,82,149,379,877,461,738,578,704,671,262,785,628,919,186,311,645,510,883,435,227,59,86,266,108,811,742,587,488,153,789,837,160,582,534,16,383,632,410,287,708,698,952,881

  2026-05-14 23:38:05 · dwrensha
• 
  fc322ba7… · Reorder set to 0,694,355,650,448,762,845,171,264,222,10,311,390,945,602,555,895,105,207,797,726,624,464,127,551,880,419,773,66,511,289,354,1,649,447,554,844,170,263,221,9,310,389,944,601,693,894,104,206,796,725,623,463,126,550,879,418,772,65,510,761,288,695,603,2,356,651,512,733,846,172,265,223,11,312,391,946,449,556,896,106,208,798,727,625,465,128,552,881,420,774,67,290,604,947,696,3,357,68,513,734,847,173,266,224,12,313,392,652,450,557,897,107,209,799,728,626,466,129,523,882,421,775,291,948,393,605,697,4,776,69,514,735,848,174,267,225,13,314,358,653,451,558,898,108,210,800,729,627,467,130,524,853,422,292,890,580,100,202,822,5,306,385,940,597,689,369,350,645,443,721,619,489,152,546,875,414,768,91,506,757,840,166,259,217,284,581,444,891,101,203,218,6,307,386,941,598,690,370,351,646,793,722,620,490,153,547,876,415,769,92,507,758,841,167,260,285,445,647,582,892,102,261,219,7,308,387,942,599,691,371,352,204,794,723,621,491,154,548,877,416,770,93,508,759,842,168,286,648,353,446,553,893,169,262,220,8,309,388,943,600,692,372,103,205,795,724,622,492,125,549,878,417,771,94,509,760,843,287,394,315,949,606,698,423,777,70,515,736,849,175,268,226,14,929,359,654,452,559,899,109,211,801,730,628,468,131,525,854,293,316,15,395,950,607,855,424,778,71,516,737,850,176,269,227,699,913,360,655,453,560,900,110,212,802,731,629,469,132,526,294,16,228,317,396,951,527,856,425,779,72,517,738,851,177,270,608,700,914,361,656,454,561,901,111,213,803,732,630,470,133,295,229,271,17,318,397,134,528,857,426,780,73,518,739,852,178,952,609,701,915,362,657,455,562,902,112,214,804,703,631,471,296,272,179,230,18,319,472,135,529,858,427,781,74,519,740,823,398,953,610,702,916,363,658,456,563,903,113,185,805,704,632,297,180,824,273,231,19,633,473,136,530,859,428,782,75,520,741,320,399,954,611,673,917,364,659,457,564,904,114,186,806,705,298,825,742,181,274,232,706,634,474,137,531,860,429,783,76,521,20,321,400,955,612,674,918,335,660,458,565,905,115,187,807,299,743,522,826,182,245,808,707,635,475,138,532,861,430,784,77,233,21,322,401,956,583,675,919,336,661,459,566,906,116,188,300,493,78,744,827,183,189,809,708,636,476,139,533,862,431,785,246,234,22,323,402,957,584,676,920,337,662,460,567,907,117,301,79,786,494,745,828,118,190,810,709,637,477,140,534,863,432,184,247,235,23,324,373,958,585,677,921,338,663,461,568,908,302,787,403,80,495,746,909,119,191,811,710,638,478,141,535,864,829,155,248,236,24,325,374,959,586,678,922,339,664,462,569,303,404,865,788,81,496,570,910,120,192,812,711,639,479,142,536,747,830,156,249,237,25,326,375,930,587,679,923,340,665,433,304,866,537,405,789,82,434,571,911,121,193,813,712,640,480,143,497,748,831,157,250,238,26,327,376,931,588,680,924,341,666,275,538,144,867,406,790,667,435,572,912,122,194,814,713,641,481,83,498,749,832,158,251,239,27,328,377,932,589,681,925,342,276,145,482,539,868,407,343,668,436,573,883,123,195,815,714,642,791,84,499,750,833,159,252,240,28,329,378,933,590,682,926,277,483,613,146,540,869,927,344,669,437,574,884,124,196,816,715,408,792,85,500,751,834,160,253,241,29,330,379,934,591,683,278,614,716,484,147,541,684,928,345,670,438,575,885,95,197,817,870,409,763,86,501,752,835,161,254,242,30,331,380,935,592,279,717,818,615,485,148,593,685,365,346,671,439,576,886,96,198,542,871,410,764,87,502,753,836,162,255,243,31,332,381,936,280,819,199,718,616,486,937,594,686,366,347,672,440,577,887,97,149,543,872,411,765,88,503,754,837,163,256,244,32,333,382,281,200,98,820,719,617,383,938,595,687,367,348,643,441,578,888,487,150,544,873,412,766,89,504,755,838,164,257,215,33,334,282,99,889,201,821,720,305,384,939,596,688,368,349,644,442,579,618,488,151,545,874,413,767,90,505,756,839,165,258,216,34,283,45,44,46,47,48,64,35,36,37,38,39,40,41,42,43,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,960

  2026-05-14 22:04:06 · b-reinke
• 
  fc322ba7… · Reorder set to 929,959,773,805,360,439,864,365,108,694,835,588,0,469,175,956,272,640,831,608,873,897,35,720,130,468,148,855,865,311,633,31,223,3,205,701,896,403,725,809,107,80,154,848,132,955,320,316,777,457,853,122,708,219,732,927,304,948,750,832,47,498,433,384,885,516,954,39,944,278,411,552,819,539,136,144,800,330,953,448,632,911,401,11,919,199,757,396,333,405,854,926,852,801,755,464,712,137,440,263,184,264,242,162,578,804,531,7,846,180,669,158,393,259,461,508,389,766,767,15,866,204,779,262,245,705,34,203,768,517,380,373,570,77,27,818,957,287,312,886,932,472,862,392,164,528,95,614,414,237,760,546,905,924,581,937,643,789,135,114,651,628,191,425,9,657,381,127,509,812,770,893,273,344,594,336,60,269,697,467,652,139,417,514,859,549,646,103,803,96,774,435,816,662,128,683,431,476,736,949,507,501,787,150,684,363,231,478,884,737,958,556,51,459,255,769,298,424,636,327,704,49,482,562,557,377,280,607,761,179,503,894,740,613,138,84,55,161,76,627,857,479,551,483,759,936,621,492,395,596,351,724,782,834,419,664,37,797,291,210,567,536,188,16,335,289,101,432,538,744,561,796,24,876,45,78,928,788,429,473,268,216,297,155,452,153,347,526,731,225,840,394,820,674,224,532,372,250,21,149,867,456,100,670,825,147,638,324,500,524,912,5,938,438,868,74,496,302,323,772,861,382,690,903,118,898,644,443,342,267,119,123,576,493,892,364,758,194,238,220,125,709,317,444,195,916,790,399,502,935,620,925,340,808,746,92,348,702,480,460,283,12,290,950,427,559,678,428,113,605,63,693,615,286,934,823,172,189,895,83,716,663,672,904,253,159,920,235,648,939,575,931,585,450,793,341,659,397,2,398,778,33,318,256,430,142,923,447,881,374,889,677,366,676,824,299,833,418,497,371,171,169,623,303,544,68,624,579,602,90,310,756,727,126,375,960,416,655,685,236,116,266,415,475,296,355,386,505,206,775,385,56,325,535,176,715,26,625,146,86,595,445,565,356,326,836,301,232,346,4,488,487,72,540,152,400,174,249,215,753,173,20,350,520,408,807,891,749,883,675,665,738,711,343,762,806,79,661,81,592,880,285,407,36,328,637,743,666,209,43,734,899,586,512,276,489,587,534,799,217,284,454,791,213,357,533,564,691,239,8,622,764,484,315,616,243,66,306,563,667,617,109,696,829,111,73,314,910,30,821,437,542,387,358,519,495,121,872,170,485,52,849,641,947,166,145,228,830,187,69,688,163,308,814,1,582,307,573,569,717,251,682,703,131,900,827,568,453,240,591,710,566,54,752,46,75,449,319,729,67,462,583,321,25,877,597,826,521,218,906,337,151,860,599,200,99,281,82,193,733,671,844,390,196,612,525,258,603,871,62,747,515,718,23,879,338,494,421,908,167,44,426,293,795,352,294,88,882,192,140,785,466,70,742,117,660,470,858,124,214,838,104,481,668,332,274,530,802,845,942,412,486,309,933,700,29,918,177,17,252,354,353,227,554,619,545,181,420,53,629,642,368,129,288,618,112,901,499,763,686,367,874,748,890,226,909,230,555,64,361,822,798,943,28,410,813,234,600,548,292,57,771,735,951,580,233,10,212,547,406,143,271,490,93,863,42,645,370,681,185,776,589,202,378,458,719,510,635,295,313,723,257,511,902,649,362,59,65,560,207,160,875,282,178,442,383,134,339,584,698,730,658,91,784,455,277,611,687,115,673,157,409,133,842,656,22,543,917,221,198,98,781,446,609,477,527,120,404,201,786,707,653,156,706,574,471,329,654,436,391,87,14,828,765,839,58,610,110,843,40,878,630,577,94,322,537,841,465,817,71,692,714,634,713,261,48,506,523,305,650,402,921,331,279,913,376,783,695,518,50,741,102,550,792,182,837,334,541,208,780,679,413,165,89,369,463,590,728,915,190,513,61,168,247,914,85,522,379,106,626,300,887,754,940,721,593,851,38,647,572,794,726,388,345,141,941,811,186,41,639,604,229,18,359,275,434,869,631,246,850,504,6,254,952,183,13,907,930,105,856,598,349,248,270,97,699,870,553,423,847,680,491,722,739,601,606,474,19,922,946,888,451,222,244,197,815,422,571,945,558,810,689,241,265,32,260,211,529,441,751,745

  2026-05-14 22:03:11 · b-reinke
• 
  fc322ba7… · Reorder set to 0,694,355,650,448,762,845,171,264,222,10,311,390,945,602,555,895,105,207,797,726,624,464,127,551,880,419,773,66,511,289,354,1,649,447,554,844,170,263,221,9,310,389,944,601,693,894,104,206,796,725,623,463,126,550,879,418,772,65,510,761,288,695,603,2,356,651,512,733,846,172,265,223,11,312,391,946,449,556,896,106,208,798,727,625,465,128,552,881,420,774,67,290,604,947,696,3,357,68,513,734,847,173,266,224,12,313,392,652,450,557,897,107,209,799,728,626,466,129,523,882,421,775,291,948,393,605,697,4,776,69,514,735,848,174,267,225,13,314,358,653,451,558,898,108,210,800,729,627,467,130,524,853,422,292,890,580,100,202,822,5,306,385,940,597,689,369,350,645,443,721,619,489,152,546,875,414,768,91,506,757,840,166,259,217,284,581,444,891,101,203,218,6,307,386,941,598,690,370,351,646,793,722,620,490,153,547,876,415,769,92,507,758,841,167,260,285,445,647,582,892,102,261,219,7,308,387,942,599,691,371,352,204,794,723,621,491,154,548,877,416,770,93,508,759,842,168,286,648,353,446,553,893,169,262,220,8,309,388,943,600,692,372,103,205,795,724,622,492,125,549,878,417,771,94,509,760,843,287,394,315,949,606,698,423,777,70,515,736,849,175,268,226,14,929,359,654,452,559,899,109,211,801,730,628,468,131,525,854,293,316,15,395,950,607,855,424,778,71,516,737,850,176,269,227,699,913,360,655,453,560,900,110,212,802,731,629,469,132,526,294,16,228,317,396,951,527,856,425,779,72,517,738,851,177,270,608,700,914,361,656,454,561,901,111,213,803,732,630,470,133,295,229,271,17,318,397,134,528,857,426,780,73,518,739,852,178,952,609,701,915,362,657,455,562,902,112,214,804,703,631,471,296,272,179,230,18,319,472,135,529,858,427,781,74,519,740,823,398,953,610,702,916,363,658,456,563,903,113,185,805,704,632,297,180,824,273,231,19,633,473,136,530,859,428,782,75,520,741,320,399,954,611,673,917,364,659,457,564,904,114,186,806,705,298,825,742,181,274,232,706,634,474,137,531,860,429,783,76,521,20,321,400,955,612,674,918,335,660,458,565,905,115,187,807,299,743,522,826,182,245,808,707,635,475,138,532,861,430,784,77,233,21,322,401,956,583,675,919,336,661,459,566,906,116,188,300,493,78,744,827,183,189,809,708,636,476,139,533,862,431,785,246,234,22,323,402,957,584,676,920,337,662,460,567,907,117,301,79,786,494,745,828,118,190,810,709,637,477,140,534,863,432,184,247,235,23,324,373,958,585,677,921,338,663,461,568,908,302,787,403,80,495,746,909,119,191,811,710,638,478,141,535,864,829,155,248,236,24,325,374,959,586,678,922,339,664,462,569,303,404,865,788,81,496,570,910,120,192,812,711,639,479,142,536,747,830,156,249,237,25,326,375,930,587,679,923,340,665,433,304,866,537,405,789,82,434,571,911,121,193,813,712,640,480,143,497,748,831,157,250,238,26,327,376,931,588,680,924,341,666,275,538,144,867,406,790,667,435,572,912,122,194,814,713,641,481,83,498,749,832,158,251,239,27,328,377,932,589,681,925,342,276,145,482,539,868,407,343,668,436,573,883,123,195,815,714,642,791,84,499,750,833,159,252,240,28,329,378,933,590,682,926,277,483,613,146,540,869,927,344,669,437,574,884,124,196,816,715,408,792,85,500,751,834,160,253,241,29,330,379,934,591,683,278,614,716,484,147,541,684,928,345,670,438,575,885,95,197,817,870,409,763,86,501,752,835,161,254,242,30,331,380,935,592,279,717,818,615,485,148,593,685,365,346,671,439,576,886,96,198,542,871,410,764,87,502,753,836,162,255,243,31,332,381,936,280,819,199,718,616,486,937,594,686,366,347,672,440,577,887,97,149,543,872,411,765,88,503,754,837,163,256,244,32,333,382,281,200,98,820,719,617,383,938,595,687,367,348,643,441,578,888,487,150,544,873,412,766,89,504,755,838,164,257,215,33,334,282,99,889,201,821,720,305,384,939,596,688,368,349,644,442,579,618,488,151,545,874,413,767,90,505,756,839,165,258,216,34,283,45,44,46,47,48,64,35,36,37,38,39,40,41,42,43,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,960

  2026-05-14 21:54:31 · b-reinke
• 
  fc322ba7… · Reorder set to 958,959,926,940,476,204,936,616,174,601,941,870,0,205,330,950,532,740,911,696,580,952,16,488,59,186,410,837,942,76,572,2,98,6,331,762,948,104,628,461,156,212,583,704,82,945,220,146,403,668,804,527,874,52,782,953,588,882,489,920,154,187,790,312,838,646,939,46,824,685,244,776,725,452,140,304,900,475,932,420,544,769,752,66,893,196,678,642,562,133,821,949,786,910,629,808,916,157,224,284,584,308,531,83,695,934,248,28,657,470,720,41,564,198,754,422,447,849,863,120,947,306,460,261,612,832,11,282,876,670,222,103,483,155,378,703,954,162,88,853,554,268,921,536,110,188,18,813,313,385,744,647,634,938,758,684,797,724,124,303,252,426,72,618,45,399,243,32,451,550,899,930,560,116,319,640,466,443,676,168,274,194,391,595,891,716,845,94,927,24,933,134,656,545,40,298,753,366,848,894,394,247,679,469,322,563,238,421,822,862,957,842,232,713,128,888,415,592,650,388,816,191,539,271,856,165,64,673,764,440,292,937,898,796,175,302,326,71,138,398,866,450,757,567,723,660,251,774,617,370,242,602,549,935,448,600,29,864,240,471,396,368,42,136,615,199,69,772,423,324,249,850,300,658,121,173,956,702,712,291,414,636,387,20,538,556,164,841,763,127,492,591,746,815,112,270,90,63,231,439,951,644,58,741,836,382,697,310,226,810,788,15,707,185,434,107,152,533,286,918,912,265,487,581,409,955,814,290,89,386,438,555,648,792,922,590,701,111,413,62,19,886,163,314,126,854,745,711,269,635,230,944,730,432,375,526,182,781,480,734,100,78,219,905,667,208,873,690,279,624,8,574,829,145,609,803,258,51,943,278,374,573,780,608,99,50,904,332,872,729,623,525,828,479,802,77,456,666,3,689,431,7,181,144,733,257,931,392,768,117,892,860,641,846,820,444,928,419,169,751,236,195,296,561,596,38,320,717,543,467,65,654,677,25,132,960,364,346,347,358,354,359,338,340,360,336,363,341,357,350,337,352,335,342,356,348,351,345,355,353,344,339,343,362,361,946,504,260,147,10,692,669,80,482,528,732,305,53,611,576,281,210,221,736,184,404,913,459,805,831,626,875,907,102,783,377,192,516,233,272,748,129,166,22,416,674,925,651,441,92,817,464,843,540,638,714,857,317,889,35,114,593,765,558,389,293,318,517,442,36,273,818,594,130,844,559,23,639,294,675,858,193,652,890,234,93,115,749,465,766,167,541,390,417,715,825,498,552,215,620,254,726,760,869,141,329,178,901,34,47,428,96,686,605,1,777,663,570,453,401,74,275,799,70,494,865,424,566,472,250,897,369,301,548,137,122,449,200,722,30,773,795,241,325,682,397,851,756,43,659,664,499,902,454,216,48,75,255,97,800,761,606,477,142,778,826,179,571,523,5,402,621,429,276,727,687,809,508,706,158,106,643,285,835,264,309,408,787,84,214,630,151,57,917,381,486,225,879,14,585,433,108,510,698,534,587,227,919,632,789,266,645,708,582,742,435,881,383,153,86,311,287,160,811,883,622,500,478,277,455,779,688,49,180,871,256,524,206,801,373,665,607,430,903,143,728,217,827,12,506,785,877,807,406,223,578,307,484,694,262,379,909,833,915,738,283,55,530,671,149,280,503,735,9,929,79,830,731,906,610,376,209,259,183,691,458,481,625,334,101,575,161,511,553,884,535,436,17,228,384,60,633,87,411,267,288,109,709,812,699,743,427,497,604,619,662,759,400,328,798,33,203,95,551,372,253,569,868,73,177,39,520,365,718,393,170,468,118,237,655,861,297,26,847,597,246,445,321,150,507,380,105,878,834,462,407,739,213,579,56,705,485,672,13,263,395,522,135,680,68,546,323,599,299,239,172,367,793,614,895,771,914,505,54,806,148,577,627,693,211,908,81,737,784,529,405,589,512,412,490,885,289,125,437,710,791,229,700,839,61,568,496,176,661,823,327,775,202,139,371,474,867,603,750,518,295,767,37,859,542,819,653,418,131,235,770,521,27,67,719,598,197,171,446,613,119,463,515,637,747,316,21,113,924,557,91,683,495,123,852,425,201,44,473,31,721,493,794,565,681,896,755,547,887,514,649,315,190,923,855,880,509,85,586,159,631,537,513,840,189,491,457,502,333,4,218,501,207,245,519,349

  2026-05-14 21:54:27 · b-reinke
• 
  fc322ba7… · Reorder set to 957,959,949,750,366,306,660,844,305,514,770,493,0,331,475,905,270,898,769,652,738,924,136,692,436,27,223,405,789,138,542,3,39,21,505,783,882,108,426,754,26,530,795,816,255,840,62,355,104,698,934,170,607,254,549,932,870,787,714,904,583,34,745,88,433,845,729,137,820,347,586,376,628,538,214,588,494,340,554,478,596,888,548,23,930,142,873,779,271,95,766,894,655,749,455,432,854,33,112,114,812,686,248,278,627,609,44,406,399,225,488,67,318,177,603,537,392,726,929,468,869,639,734,239,778,920,66,87,658,741,85,94,567,20,183,799,939,83,408,804,811,414,914,368,213,42,171,578,101,337,324,859,599,707,701,322,864,602,14,561,86,643,80,871,121,711,559,4,509,737,464,495,228,354,200,740,151,290,846,176,587,111,507,344,913,374,632,13,953,300,582,109,372,622,56,415,576,641,704,937,591,661,885,205,263,294,413,508,785,921,954,551,260,299,40,880,338,272,895,418,656,72,452,503,852,125,12,798,818,224,262,684,955,850,330,533,361,68,175,689,947,479,678,396,575,486,74,933,858,731,531,543,716,635,420,484,435,936,472,246,642,688,79,140,829,196,47,918,565,310,53,747,474,427,498,281,950,781,916,240,313,650,390,210,423,842,110,522,801,32,774,250,375,631,256,473,467,8,238,204,915,814,407,908,946,265,676,65,143,491,702,120,861,610,119,156,528,293,145,881,788,333,669,758,203,945,605,219,437,363,185,827,872,784,923,229,762,234,289,5,190,853,96,115,25,821,349,907,443,625,217,824,743,772,132,841,529,520,480,817,58,173,52,634,675,412,580,487,54,320,36,597,890,329,718,927,179,232,807,685,117,570,490,696,48,211,608,534,552,722,296,826,878,450,919,155,644,651,6,457,753,28,500,304,800,161,525,536,876,381,922,902,760,657,746,314,956,448,195,519,358,126,360,249,370,37,220,401,569,168,17,321,860,325,82,960,590,147,164,417,311,446,687,730,476,640,563,77,389,221,664,264,615,89,362,182,242,131,336,287,116,709,102,535,506,855,316,218,382,55,546,720,212,539,188,782,614,277,759,648,75,471,73,848,584,118,806,713,940,911,371,633,683,81,577,165,84,646,283,532,430,49,141,253,364,815,944,252,245,526,680,808,579,482,697,323,866,163,892,16,303,295,834,189,447,285,181,670,267,22,560,703,319,59,606,208,276,719,309,831,879,97,274,903,307,9,328,459,135,849,158,512,477,391,348,836,187,776,611,230,113,653,744,463,235,445,411,524,11,154,690,24,373,624,1,403,573,483,566,752,107,613,889,57,809,942,592,369,268,63,952,710,504,694,157,527,449,216,547,465,926,835,502,335,275,666,767,654,92,456,600,206,553,593,636,172,122,128,31,900,764,649,393,257,431,851,440,513,793,15,771,251,712,638,677,400,461,422,847,41,139,797,129,941,308,708,184,679,302,585,485,499,379,868,243,645,127,727,105,828,790,174,481,699,317,857,160,893,544,724,359,830,874,777,917,134,768,288,556,353,76,162,60,521,805,273,226,421,662,619,460,428,191,470,523,144,810,357,910,103,626,673,733,581,280,700,35,865,78,367,630,682,404,149,98,695,663,594,601,261,202,728,928,839,875,100,326,227,761,439,64,292,833,45,958,192,901,763,659,739,148,441,198,557,517,691,510,345,589,69,623,71,511,794,822,342,150,153,178,312,466,572,380,244,386,180,193,886,550,721,925,667,169,598,883,545,723,732,416,877,7,282,18,757,90,99,453,434,93,383,46,736,616,429,564,215,186,409,385,346,912,387,351,681,397,637,339,241,469,394,222,123,705,935,773,166,887,558,717,352,832,620,780,91,284,617,775,124,896,38,647,286,454,444,442,258,665,802,813,943,909,823,341,301,377,410,672,398,574,501,706,233,862,604,207,133,209,540,266,735,838,199,19,167,897,765,197,742,462,496,424,152,356,516,803,388,350,259,194,751,315,951,571,489,693,334,863,29,891,541,725,297,419,70,332,899,756,378,30,458,425,159,236,365,796,438,791,621,674,402,146,231,279,938,856,497,298,825,555,786,618,237,106,291,2,518,792,819,343,906,948,629,671,867,595,884,130,61,931,837,748,451,327,843,50,515,395,568,492,51,755,668,269,562,10,43,247,384,612,715,201

  2026-05-14 21:51:09 · b-reinke
• 
  fc322ba7… · Reorder set to 929,959,773,805,360,439,864,365,108,694,835,588,0,469,175,956,272,640,831,608,873,897,35,720,130,468,148,855,865,311,633,31,223,3,205,701,896,403,725,809,107,80,154,848,132,955,320,316,777,457,853,122,708,219,732,927,304,948,750,832,47,498,433,384,885,516,954,39,944,278,411,552,819,539,136,144,800,330,953,448,632,911,401,11,919,199,757,396,333,405,854,926,852,801,755,464,712,137,440,263,184,264,242,162,578,804,531,7,846,180,669,158,393,259,461,508,389,766,767,15,866,204,779,262,245,705,34,203,768,517,380,373,570,77,27,818,957,287,312,886,932,472,862,392,164,528,95,614,414,237,760,546,905,924,581,937,643,789,135,114,651,628,191,425,9,657,381,127,509,812,770,893,273,344,594,336,60,269,697,467,652,139,417,514,859,549,646,103,803,96,774,435,816,662,128,683,431,476,736,949,507,501,787,150,684,363,231,478,884,737,958,556,51,459,255,769,298,424,636,327,704,49,482,562,557,377,280,607,761,179,503,894,740,613,138,84,55,161,76,627,857,479,551,483,759,936,621,492,395,596,351,724,782,834,419,664,37,797,291,210,567,536,188,16,335,289,101,432,538,744,561,796,24,876,45,78,928,788,429,473,268,216,297,155,452,153,347,526,731,225,840,394,820,674,224,532,372,250,21,149,867,456,100,670,825,147,638,324,500,524,912,5,938,438,868,74,496,302,323,772,861,382,690,903,118,898,644,443,342,267,119,123,576,493,892,364,758,194,238,220,125,709,317,444,195,916,790,399,502,935,620,925,340,808,746,92,348,702,480,460,283,12,290,950,427,559,678,428,113,605,63,693,615,286,934,823,172,189,895,83,716,663,672,904,253,159,920,235,648,939,575,931,585,450,793,341,659,397,2,398,778,33,318,256,430,142,923,447,881,374,889,677,366,676,824,299,833,418,497,371,171,169,623,303,544,68,624,579,602,90,310,756,727,126,375,960,416,655,685,236,116,266,415,475,296,355,386,505,206,775,385,56,325,535,176,715,26,625,146,86,595,445,565,356,326,836,301,232,346,4,488,487,72,540,152,400,174,249,215,753,173,20,350,520,408,807,891,749,883,675,665,738,711,343,762,806,79,661,81,592,880,285,407,36,328,637,743,666,209,43,734,899,586,512,276,489,587,534,799,217,284,454,791,213,357,533,564,691,239,8,622,764,484,315,616,243,66,306,563,667,617,109,696,829,111,73,314,910,30,821,437,542,387,358,519,495,121,872,170,485,52,849,641,947,166,145,228,830,187,69,688,163,308,814,1,582,307,573,569,717,251,682,703,131,900,827,568,453,240,591,710,566,54,752,46,75,449,319,729,67,462,583,321,25,877,597,826,521,218,906,337,151,860,599,200,99,281,82,193,733,671,844,390,196,612,525,258,603,871,62,747,515,718,23,879,338,494,421,908,167,44,426,293,795,352,294,88,882,192,140,785,466,70,742,117,660,470,858,124,214,838,104,481,668,332,274,530,802,845,942,412,486,309,933,700,29,918,177,17,252,354,353,227,554,619,545,181,420,53,629,642,368,129,288,618,112,901,499,763,686,367,874,748,890,226,909,230,555,64,361,822,798,943,28,410,813,234,600,548,292,57,771,735,951,580,233,10,212,547,406,143,271,490,93,863,42,645,370,681,185,776,589,202,378,458,719,510,635,295,313,723,257,511,902,649,362,59,65,560,207,160,875,282,178,442,383,134,339,584,698,730,658,91,784,455,277,611,687,115,673,157,409,133,842,656,22,543,917,221,198,98,781,446,609,477,527,120,404,201,786,707,653,156,706,574,471,329,654,436,391,87,14,828,765,839,58,610,110,843,40,878,630,577,94,322,537,841,465,817,71,692,714,634,713,261,48,506,523,305,650,402,921,331,279,913,376,783,695,518,50,741,102,550,792,182,837,334,541,208,780,679,413,165,89,369,463,590,728,915,190,513,61,168,247,914,85,522,379,106,626,300,887,754,940,721,593,851,38,647,572,794,726,388,345,141,941,811,186,41,639,604,229,18,359,275,434,869,631,246,850,504,6,254,952,183,13,907,930,105,856,598,349,248,270,97,699,870,553,423,847,680,491,722,739,601,606,474,19,922,946,888,451,222,244,197,815,422,571,945,558,810,689,241,265,32,260,211,529,441,751,745

  2026-05-14 21:49:45 · b-reinke
• n=8
  size 8 · Commentary: No magma of size 8 satisfies Equation 677. Jose Brox confirmed this with an exhaustive Mace4 search taking 41 minutes (…

  2026-05-14 21:41:25 · dwrensha
• n=6
  size 6 · Commentary: No magma of size 6 satisfies Equation 677. Verified by exhaustive search. The implication 'Eq 677 ⇒ every row of the Ca…

  2026-05-14 21:41:25 · dwrensha
• n=961
  size 961 · Commentary: Size 961 = 31² admits several distinct families of Eq 677 magmas. 13 entries are currently in the DB; all satisfy Eq 255…

  2026-05-14 21:35:14 · dwrensha
• 
  3c1d2230… · Comment: Size-961 = 31² idempotent right-cancellative magma satisfying Eq 677 and Eq 255 — but in a DIFFERENT family from the AG(…

  2026-05-14 21:34:37 · dwrensha
• 
  3c1d2230… · Reorder set to 0,2,189,826,329,956,259,233,303,546,594,761,51,618,366,153,708,129,380,628,34,766,583,566,304,229,285,937,322,817,186,1,636,193,841,409,307,105,505,176,645,788,606,939,443,573,40,45,571,422,954,603,768,655,167,504,119,300,413,849,206,610,754,657,730,884,800,390,592,228,377,416,692,290,497,902,570,845,574,925,480,317,695,417,369,234,585,400,811,886,718,643,741,929,719,579,221,898,159,808,538,769,451,407,54,164,866,379,367,872,179,63,415,449,787,531,803,155,897,210,598,729,932,666,850,900,660,355,812,484,638,765,203,144,72,32,686,26,256,8,701,53,73,138,196,762,608,493,831,359,640,927,840,774,782,86,947,360,117,412,878,920,278,499,62,5,318,527,664,668,542,289,29,55,510,266,907,892,410,107,354,946,91,330,231,321,791,896,523,19,323,462,236,895,511,860,191,604,312,141,295,605,184,862,498,875,226,470,328,15,514,899,797,699,632,614,688,401,728,621,327,293,836,479,421,197,362,541,767,81,64,760,528,352,202,444,453,854,314,324,625,720,389,246,42,794,43,248,255,642,893,564,133,853,381,387,786,9,474,732,960,716,458,25,770,403,365,837,149,548,877,658,239,104,615,280,264,631,120,704,609,340,298,838,469,428,218,368,512,744,80,65,751,525,378,213,437,463,852,309,343,637,712,385,232,59,778,58,230,405,530,31,344,454,242,891,482,846,168,589,311,157,296,588,175,844,495,879,252,478,339,3,539,912,775,672,630,616,683,781,915,123,394,876,923,282,494,39,13,305,526,652,648,543,302,21,46,483,262,904,894,396,101,376,931,70,337,247,346,75,930,370,815,509,624,746,212,154,89,37,685,24,272,10,702,48,88,128,219,749,622,500,828,371,644,916,834,798,790,856,911,656,375,139,819,515,771,465,399,47,163,888,383,363,882,180,38,391,467,785,522,824,143,914,205,595,735,945,650,948,713,582,194,913,601,250,353,433,679,301,496,909,558,861,554,918,481,306,676,432,361,244,576,406,816,868,714,641,738,757,659,734,870,827,384,488,183,671,784,587,938,438,555,61,56,557,427,955,590,772,661,160,489,121,291,393,857,209,620,17,626,222,833,397,316,103,288,550,599,750,50,612,364,145,724,137,382,634,35,745,578,562,319,249,275,940,345,810,173,18,16,170,801,338,953,269,245,490,215,717,905,125,273,452,136,146,448,271,99,922,731,216,487,687,516,544,617,299,950,737,411,758,943,308,629,568,521,700,577,95,207,477,653,447,225,556,237,418,647,455,192,82,600,320,865,747,779,286,132,944,492,485,949,150,258,777,748,873,331,142,349,187,310,646,93,908,919,84,654,297,188,334,140,783,726,569,281,536,435,835,802,112,809,855,430,533,263,575,722,773,829,456,743,547,98,162,639,181,126,565,752,476,814,667,680,952,41,890,534,69,235,832,858,227,76,535,880,44,941,675,665,100,475,502,325,36,807,804,49,326,507,457,124,740,7,398,698,707,429,776,166,277,869,267,177,780,436,709,689,392,27,755,540,335,127,14,591,357,586,20,97,348,529,611,425,871,90,690,151,386,567,821,204,195,822,545,404,131,697,87,867,440,635,711,83,847,106,677,678,118,843,94,705,185,439,581,926,12,942,240,198,268,372,450,374,276,201,254,951,22,901,596,426,190,238,217,260,358,466,356,284,214,224,958,28,910,597,423,169,721,78,859,102,694,693,122,863,67,727,174,442,580,917,6,935,388,561,806,211,220,805,551,402,135,674,74,887,441,627,513,332,113,4,602,373,607,30,111,351,524,619,424,883,71,681,147,796,161,283,885,261,182,792,445,723,682,414,23,756,108,473,491,342,33,820,823,52,341,486,459,116,739,11,408,673,725,420,92,243,842,848,251,85,518,874,57,936,696,651,830,460,736,549,110,165,623,178,114,563,759,472,813,649,691,957,60,864,519,839,825,96,818,851,419,520,265,553,710,799,156,350,172,313,670,68,903,924,77,662,294,171,333,158,789,706,559,279,517,446,933,501,508,928,148,270,795,763,881,336,584,66,208,471,663,434,253,572,241,431,669,461,223,79,593,347,889,764,793,274,134,742,395,753,934,315,633,560,532,703,503,200,715,906,115,287,464,130,152,468,257,109,921,733,199,506,684,537,552,613,292,959

  2026-05-14 21:34:36 · dwrensha
• 
  5f44e78d… · Comment: Size-961 = 31² idempotent right-cancellative magma satisfying Eq 677 and Eq 255, in the AG(2, 31) line family. The 992 =…

  2026-05-14 21:32:21 · dwrensha
• 
  2b8e3c08… · Comment: Size-961 = 31² idempotent right-cancellative magma satisfying Eq 677 and Eq 255, in the AG(2, 31) line family. The 992 =…

  2026-05-14 21:32:21 · dwrensha