Skip to content

Commit

Permalink
Make projective resolutions as trees instead of just sequences. Split…
Browse files Browse the repository at this point in the history 
…ting things up and caching greatly speeds things up in some cases.
  • Loading branch information
@sweeneyde
sweeneyde committed Nov 25, 2024
1 parent ed3c698 commit 7481cc1
Show file tree
Hide file tree
Showing 13 changed files with 1,637 additions and 388 deletions.
627 changes: 341 additions & 286 deletions data_by_min_ideal/order10/min_2_2_1/groupings.txt
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion data_by_min_ideal/order10/min_2_2_C2_sandwich0/groupings.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,4 @@
[C2, Z, C2 x C2, 0, C2 x C2, 0, C2 x C2, 0, C2 x C2, 0] : 2,5,47,49
[C2, Z, C2, 0, C2, 0, C2, 0, C2, 0] : 0,1,3,9,13,15,18,19,33,34,37,38,40,41,42,43,45,53,55,65,68,69,71
[C2, Z, Z x C2, Z, Z x C2, Z, Z x C2, Z, Z x C2, Z] : 8,16,32,36,44,46,51,56,60,64,70
[C2, Z, Z x Z x C2, Z x Z x Z x Z, Z^8 x C2, Z^16, Z^32 x C2, Z^64, Z^128 x C2] : 7,26,29,50,59,63,72,73,74
[C2, Z, Z x Z x C2, Z x Z x Z x Z, Z^8 x C2, Z^16, Z^32 x C2, Z^64, Z^128 x C2, Z^256] : 7,26,29,50,59,63,72,73,74
2 changes: 1 addition & 1 deletion data_by_min_ideal/order10/min_2_2_C2_sandwich1/groupings.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,4 +3,4 @@
[0, Z, C2, 0, C2, 0, C2, 0, C2, 0] : 0,1,3,7,8,9,11,12,14,15,19,20,21,24,25,27,34,35,36,37,38,40,44
[0, Z, C4, 0, C4, 0, C4, 0, C4, 0] : 4
[0, Z, Z x C2, Z, Z x C2, Z, Z x C2, Z, Z x C2, Z] : 6,10,16,18,23,26,29,33,39,41,43
[0, Z, Z x Z x C2, Z x Z x Z x Z, Z^8 x C2, Z^16, Z^32 x C2, Z^64, Z^128 x C2] : 5,17,22,28,30,31,32,42,45
[0, Z, Z x Z x C2, Z x Z x Z x Z, Z^8 x C2, Z^16, Z^32 x C2, Z^64, Z^128 x C2, Z^256] : 5,17,22,28,30,31,32,42,45
40 changes: 20 additions & 20 deletions data_by_min_ideal/order10/min_2_3_1/groupings.txt
View file

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion data_by_min_ideal/order10/min_2_4_1/groupings.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@
[0, Z x Z, 0, 0, 0, 0, 0, 0, 0, 0] : 16,18,27,29,39,41,45,49,50,54,118,119,122,125,127,144,146,153,155,159,160,169,171,174,175,179,180,183,208,211,212,213,215,217,218,221,222,224,254,256,258,259,277,284,286,301,302,311,313,317,319,321,322,324,325,329,330,343,346,347,348,350,352,362,363,370,372,374,375,397,400,401,402,404,406
[0, Z x Z, C2 x C2, 0, C2 x C2, 0, C2 x C2, 0, C2 x C2, 0] : 223
[0, Z x Z, C2, 0, C2, 0, C2, 0, C2, 0] : 13,22
[0, Z x Z, Z x Z x Z, Z^6, Z^12, Z^24, Z^48, Z^96, Z^192] : 123,124,129,130,134,135,176,177,185,186,262,263,268,269,282,283,315,316,326,327,332,333,355,356,359,360,379,380,386,387
[0, Z x Z, Z x Z x Z, Z^6, Z^12, Z^24, Z^48, Z^96, Z^192, Z^384] : 123,124,129,130,134,135,176,177,185,186,262,263,268,269,282,283,315,316,326,327,332,333,355,356,359,360,379,380,386,387
[0, Z x Z, Z x Z, Z x Z, Z x Z, Z x Z, Z x Z, Z x Z, Z x Z, Z x Z] : 139,142,148,151,165,203,206,260,270,307,338,341,376,381,392,395
[0, Z x Z, Z, 0, 0, 0, 0, 0, 0, 0] : 143,152,164,207,220,257,306,342,373,396
[0, Z x Z, Z, Z, Z, Z, Z, Z, Z, Z] : 31,36,131,132,136,137,187,188,271,272,273,334,335,382,383,384,388,389
Expand Down
4 changes: 2 additions & 2 deletions data_by_min_ideal/order7/min_2_2_1/groupings.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@
[0, Z, C2, 0, C2, 0, C2, 0, C2, 0] : 2,11,12,20,21,24,31,38,59,70,86,94
[0, Z, C3, 0, C3, 0, C3, 0, C3, 0] : 4
[0, Z, Z x C2, Z x C2 x C2, Z x C2^5, Z x C2^10, Z x C2^21, Z x C2^42, Z x C2^85, Z x C2^170] : 76
[0, Z, Z x Z x Z, Z^9, Z^27, Z^81, Z^243] : 132,197,205,214
[0, Z, Z x Z, Z x Z x Z x Z, Z^8, Z^16, Z^32, Z^64, Z^128] : 116,121,130,154,184,199,249,258,286,291,305,313,335,345,348,415,444,540
[0, Z, Z x Z x Z, Z^9, Z^27, Z^81, Z^243, Z^729, Z^2187, Z^6561] : 132,197,205,214
[0, Z, Z x Z, Z x Z x Z x Z, Z^8, Z^16, Z^32, Z^64, Z^128, Z^256] : 116,121,130,154,184,199,249,258,286,291,305,313,335,345,348,415,444,540
[0, Z, Z x Z, Z x Z x Z, Z x Z x Z x Z, Z^5, Z^6, Z^7, Z^8, Z^9] : 133,262,276,284,285,331,332,333,334
[0, Z, Z, Z, Z, Z, Z, Z, Z, Z] : 74,75,78,114,115,127,134,137,157,162,165,186,187,195,203,221,224,229,234,235,239,250,260,265,266,274,287,288,292,302,307,308,314,327,328,329,330,337,338,342,343,344,349,351,359,380,405,409,410,422,425,426,432,436,441,443,454,456,482,488,489,491,505,518,521,539,556,566,570,591,595,604
18 changes: 9 additions & 9 deletions data_by_min_ideal/order8/min_2_2_1/groupings.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,9 @@
[0, 0, Z, C3, 0, C3, 0, C3, 0, C3] : 5205
[0, 0, Z, Z x C2, Z x C2 x C2, Z x C2^5, Z x C2^10, Z x C2^21, Z x C2^42, Z x C2^85] : 4670,4708,4943
[0, 0, Z, Z x C2, Z x C2, Z x C2 x C2, Z x C2 x C2, Z x C2 x C2 x C2, Z x C2 x C2 x C2, Z x C2 x C2 x C2 x C2] : 2830,2845,2851,4061,4085,5239,5266,6668
[0, 0, Z, Z x Z, Z x Z x Z x Z, Z^8, Z^16] : 405,889,1180,1285,1302,1323,1336,1390,1395,1686,1701,1712,1731,1780,1792,2037,2237,2253,2269,2333,2342,2349,2354,2401,2417,2441,2883,2903,2911,3114,3144,3215,3539,3667,3699,4145,4155,4257,4288,4530,5293,5773,5785,5788,6675
[0, 0, Z, Z x Z, Z x Z x Z x Z, Z^8, Z^16, Z^32, Z^64, Z^128] : 405,889,1180,1285,1302,1323,1336,1390,1395,1686,1701,1712,1731,1780,1792,2037,2237,2253,2269,2333,2342,2349,2354,2401,2417,2441,2883,2903,2911,3114,3144,3215,3539,3667,3699,4145,4155,4257,4288,4530,5293,5773,5785,5788,6675
[0, 0, Z, Z x Z, Z x Z x Z, Z x Z x Z x Z, Z^5, Z^6, Z^7, Z^8] : 1969,1991,2010,2156,2572,2866,2916,2928,2956,2965,2968,3630,3653,3771,3778,4195,4209,4748,4757,4762,4996,5589,5812,5853,6059,6080,6100,6199,6756
[0, 0, Z, Z, Z x Z, Z x Z x Z, Z^5, Z^8, Z^13] : 491,1316,1351,1357,1370,1392,1397,1769,1775,1812,1835,1846,1862,1864,1917,1918,1994,2036,2066,2076,2101,2119,2193,2221,2469,2514,2525,2541,2559,2585,2591,2704,2749,2759,2769,2838,2930,2939,2975,2985,2988,3028,3090,3135,3139,3197,3468,3551,3648,3650,3665,3696,3741,3755,3841,3918,3920,3926,4176,4186,4254,4286,4314,4369,4677,4693,4811,4813,4905,5251,5804,5850,5883,5913,6008,6057,6226,6656,6693,7011
[0, 0, Z, Z, Z x Z, Z x Z x Z, Z^5, Z^8, Z^13, Z^21] : 491,1316,1351,1357,1370,1392,1397,1769,1775,1812,1835,1846,1862,1864,1917,1918,1994,2036,2066,2076,2101,2119,2193,2221,2469,2514,2525,2541,2559,2585,2591,2704,2749,2759,2769,2838,2930,2939,2975,2985,2988,3028,3090,3135,3139,3197,3468,3551,3648,3650,3665,3696,3741,3755,3841,3918,3920,3926,4176,4186,4254,4286,4314,4369,4677,4693,4811,4813,4905,5251,5804,5850,5883,5913,6008,6057,6226,6656,6693,7011
[0, 0, Z, Z, Z, Z, Z, Z, Z, Z] : 596,645,713,893,1071,1187,1226,1228,1240,1256,1294,1301,1303,1317,1318,1391,1396,1447,1451,1503,1543,1580,1688,1709,1793,1819,1826,1952,1964,1971,1982,1995,2001,2011,2023,2024,2033,2059,2082,2122,2136,2160,2174,2179,2210,2218,2285,2306,2574,2714,2745,2773,2783,2853,2895,2908,2958,2970,3206,3292,3312,3359,3373,3542,3751,3774,3873,3882,3923,3935,3998,3999,4007,4013,4062,4065,4088,4091,4108,4258,4284,4334,4350,4386,4393,4478,4484,4588,4592,4604,4637,4688,4720,4818,4914,4970,4972,5207,5226,5231,5268,5279,5288,5290,5320,5358,5380,5388,5480,5576,5696,5705,5712,5730,5820,5846,5878,5921,6356,6489,6522,6557,6575,6665,6708,6715,6897,6920,6985,7295,7503,7564,7658,7661,7689,7710,7724,7787,7789,7872,8020,8135,8206,8245,8367,8549,8550,8849,8883,9052,9054,9124,9329,9341,9702,10244
[0, C2, 0, C2, 0, C2, 0, C2, 0, C2] : 13,15,16,17,18,19,20,21,22,23,24,25,97,122,135,139,140,143,145,147,148,155,218,263,268,274,295,296,297,380,382,394,403,404,407,408,409,412,413,414,420,421,424,530,549,551,569,571,572,574,575,650,651,653,659,684,699,722,743,766,767,768,783,798,810,821,828,832,840,846,915,3966,3975,4564,4780,4855,5030,5485,5793,6914,7126
[0, C2, C2, C2 x C2, C2 x C2, C2 x C2 x C2, C2 x C2 x C2, C2 x C2 x C2 x C2, C2 x C2 x C2 x C2, C2^5] : 119,182,5805
Expand All @@ -27,19 +27,19 @@
[0, Z, 0, Z, 0, 0, 0, 0, 0, 0] : 41,1355,3986,4113,6952,7175,7468,7490,10120,10128,10129,10334,10415,10421,10517,10518,10565
[0, Z, 0, Z, 0, Z, 0, Z, 0, Z] : 245,251,258,358,624,678,1375,2155,3214,3234,3403,3647,3937,3953,4263,4355,4368,4503,4536,4558,4694,4955,5310,5417,5443,5642,5726,5781,5848,5860,5906,5981,5997,6014,6128,6132,6161,6218,6230,6280,6332,6383,6558,6721,6865,7019,7184,7202,7220,7277,7552,7675,7722,7740,8280,8368,8597,8629,8645,8799,8875,8964,8975,8998,9321,9357,9482,9500,9589,9645,9667,9729,9793,9836,9837,9866,10040,10249,10361,10435,10586,10609,10666,10667,10683
[0, Z, 0, Z, C2, Z, C2 x C2 x C2, Z x C2, C2^7, Z x C2^5] : 2408,7214,7262
[0, Z, 0, Z, Z, Z x Z, Z x Z x Z, Z^5, Z^8] : 237,308,658,1220,1996,2014,2017,2566,2576,3195,3212,3501,3664,3669,3869,4116,4707,5008,5028,5245,5317,6265,6402,7059,7173,7457,7471,10119,10127,10131,10331,10349,10413,10422,10496,10516,10550,10602
[0, Z, 0, Z, Z, Z x Z, Z x Z x Z, Z^5, Z^8, Z^13] : 237,308,658,1220,1996,2014,2017,2566,2576,3195,3212,3501,3664,3669,3869,4116,4707,5008,5028,5245,5317,6265,6402,7059,7173,7457,7471,10119,10127,10131,10331,10349,10413,10422,10496,10516,10550,10602
[0, Z, C2 x C2, C2, C2 x C2 x C2, C2 x C2, C2 x C2 x C2 x C2, C2 x C2 x C2, C2^5, C2 x C2 x C2 x C2] : 38,193
[0, Z, C2, 0, C2, 0, C2, 0, C2, 0] : 2,4,7,12,27,28,29,30,31,32,33,34,35,36,55,57,58,70,78,81,86,87,89,106,114,116,118,120,153,191,198,199,200,205,206,224,252,254,256,257,261,262,277,278,279,281,299,300,325,352,376,378,383,386,395,397,410,411,415,416,422,423,425,559,561,576,627,652,655,657,662,687,697,731,734,748,763,771,785,794,814,823,830,835,843,849,866,875,879,918,3865,3897,3933,4496,4537,4584,4698,4836,4934,4999,5257,5261,5449,5547,5700,6225,6253,6284,6344,6464,6514,6532,6562,6633,6678,6733,6807,6855,6900,6907,7075,7114,7289,7403,7486,7548,7591,7727,7756,7771,7817,7843,7916,7933,7972,7988,8001,8024,8152,8167,8254,8374,8390
[0, Z, C2, Z, C2 x C2 x C2, Z x C2, C2^7, Z x C2^5, C2^16] : 294,5315,6390
[0, Z, C2, Z, C2 x C2 x C2, Z x C2, C2^7, Z x C2^5, C2^16, Z x C2^17] : 294,5315,6390
[0, Z, C3, 0, C3, 0, C3, 0, C3, 0] : 3,83,90,195,628,698,867
[0, Z, C4, 0, C4, 0, C4, 0, C4, 0] : 37,169
[0, Z, Z x C2, Z x C2 x C2, Z x C2^5, Z x C2^10, Z x C2^21, Z x C2^42] : 280,374,375,379,812,920,921,4761,5366,5472,5487,5736,6397,6428,6687,6770,7116,7166,7954,8301
[0, Z, Z x C2, Z x C2 x C2, Z x C2^5, Z x C2^10, Z x C2^21, Z x C2^42, Z x C2^85, Z x C2^170] : 280,374,375,379,812,920,921,4761,5366,5472,5487,5736,6397,6428,6687,6770,7116,7166,7954,8301
[0, Z, Z x C2, Z x C2, Z x C2 x C2, Z x C2 x C2, Z x C2 x C2 x C2, Z x C2 x C2 x C2, Z x C2 x C2 x C2 x C2, Z x C2 x C2 x C2 x C2] : 6923,6925
[0, Z, Z x C3, Z x C3 x C3, Z x C3^5, Z x C3^10, Z x C3^21, Z x C3^42, Z x C3^85, Z x C3^170] : 815
[0, Z, Z x Z x C2, Z x Z x Z x Z x C2 x C2 x C2 x C2, Z^8 x C2^15, Z^16 x C2^50] : 377,5772,6732
[0, Z, Z x Z x Z x Z, Z^16, Z^64] : 550,781,2002,2297,2373,2462,2536,2776
[0, Z, Z x Z x Z, Z^8, Z^21] : 807,1931,2074,2480,2492,2547,3020,3036,3051,3056,3061,3075,3091,3095,3463,3502,3510,3518,3523,3618,3631,5595,5608,5611,5672,5692,5701,5725,5752,5762,5779,5811,6231,6279,6300,6307,6312,6348,6378,6634,6940,6958,6988,6995,7002,7018,7029,7033,7041,7051,7054,7064,8502,8526,8528,8529,8530,8531,8532,8582,8585,8588,8589,8591,8592,8593,8610,8619,8620,8621,8623,8624,8640,8650,8652,8653,8659,8778,8780,8781,8792,8804,8807,8810,8811,8940,8943,8944,8980,9212,9218,9225,9226,9231,9232,9235,9237,9238,9239,9246,9250,9251,9253,9254,9255,9256,9257,9259,9260,9265,9266,9267,9344,9345,9371,9376,9382,9385,9387,9388,9389,9390,9403,9408,9409,9417,9419,9420
[0, Z, Z x Z x Z, Z^9, Z^27] : 906,1080,1281,1362,1514,1516,1616,1747,1887,1906,1907,1928,2064,2446,2464,2478,2489,2628,2779,2834,2888,3105,3128,3323,3409,4300,4644,5242,5482,5539,6386,6659,6698,8968,8978,9421,9422,9493,10420
[0, Z, Z x Z x C2, Z x Z x Z x Z x C2 x C2 x C2 x C2, Z^8 x C2^15, Z^16 x C2^50, Z^32 x C2^161, Z^64 x C2^504, Z^128 x C2^1555, Z^256 x C2^4750] : 377,5772,6732
[0, Z, Z x Z x Z x Z, Z^16, Z^64, Z^256, Z^1024, Z^4096, Z^16384, Z^65536] : 550,781,2002,2297,2373,2462,2536,2776
[0, Z, Z x Z x Z, Z^8, Z^21, Z^55] : 807,1931,2074,2480,2492,2547,3020,3036,3051,3056,3061,3075,3091,3095,3463,3502,3510,3518,3523,3618,3631,5595,5608,5611,5672,5692,5701,5725,5752,5762,5779,5811,6231,6279,6300,6307,6312,6348,6378,6634,6940,6958,6988,6995,7002,7018,7029,7033,7041,7051,7054,7064,8502,8526,8528,8529,8530,8531,8532,8582,8585,8588,8589,8591,8592,8593,8610,8619,8620,8621,8623,8624,8640,8650,8652,8653,8659,8778,8780,8781,8792,8804,8807,8810,8811,8940,8943,8944,8980,9212,9218,9225,9226,9231,9232,9235,9237,9238,9239,9246,9250,9251,9253,9254,9255,9256,9257,9259,9260,9265,9266,9267,9344,9345,9371,9376,9382,9385,9387,9388,9389,9390,9403,9408,9409,9417,9419,9420
[0, Z, Z x Z x Z, Z^9, Z^27, Z^81] : 906,1080,1281,1362,1514,1516,1616,1747,1887,1906,1907,1928,2064,2446,2464,2478,2489,2628,2779,2834,2888,3105,3128,3323,3409,4300,4644,5242,5482,5539,6386,6659,6698,8968,8978,9421,9422,9493,10420
[0, Z, Z x Z, Z x Z x Z x Z, Z^8, Z^16] : 361,369,389,811,907,945,1137,1182,1188,1290,1306,1350,1398,1408,1417,1418,1454,1515,1523,1540,1545,1575,1589,1623,1626,1636,1645,1657,1669,1794,1809,1811,1841,1847,1878,1890,1893,1910,1911,1939,1961,2069,2071,2097,2111,2159,2260,2350,2367,2385,2419,2422,2424,2452,2472,2476,2490,2493,2497,2511,2540,2542,2555,2578,2635,2637,2651,2708,2843,2896,2914,2938,2940,2943,2957,2963,2993,3065,3107,3130,3140,3153,3173,3256,3271,3273,3287,3302,3307,3333,3369,3386,3399,3405,3407,3411,3483,3487,3506,3533,3555,3592,3722,3845,3855,3889,3892,3978,4162,4164,4215,4294,4299,4308,4346,4374,4603,4621,4638,4647,4800,4804,5003,5061,5084,5252,5289,5316,5336,5446,5476,5499,5606,5620,5641,5651,5684,5709,5744,5746,5761,5769,5774,5840,5925,5949,6079,6104,6115,6139,6142,6262,6321,6334,6338,6342,6368,6371,6396,6415,6456,6460,6469,6471,6515,6661,6673,6701,6724,6726,6731,6738,6745,6752,6794,6799,6811,6820,6823,7040,7047,7060,7103,7327,7384,7445,7501,7523,7535,7563,7572,7608,7629,7643,8030,8038,8043,8139,8200,8243,8262,8272,8286,8292,8329,8429,8443,8577,8603,8606,8654,8663,8703,8757,8766,8787,8831,8856,8869,8870,8938,8955,8962,8970,8979,8995,9013,9023,9027,9047,9103,9105,9113,9198,9200,9201,9203,9368,9391,9394,9398,9400,9406,9474,9477,9499,9579,9689,9691,9694,10150,10193,10214,10231,10251,10262,10284,10393,10395,10412,10418,10419,10583
[0, Z, Z x Z, Z x Z x Z, Z x Z x Z x Z, Z^5, Z^6, Z^7, Z^8] : 909,1082,1083,1529,1799,2092,2298,2322,2324,2466,2485,2854,2892,3022,3048,3084,3093,3096,3471,3628,3638,4025,4124,4129,5733,5755,5786,6374,6507,8279,8348,8389,8412,8524,8527,8534,8583,8586,8590,8598,8601,8602,8630,8632,8642,8651,8793,8806,8958,8960,10168,10169,10235,10237,10414,10416
[0, Z, Z x Z, Z x Z x Z, Z^5, Z^9, Z^15, Z^25, Z^43] : 8533,8626,8789
Expand Down
16 changes: 8 additions & 8 deletions data_by_min_ideal/order8/min_2_3_1/groupings.txt
View file
Original file line number Diff line number Diff line change
@@ -1,13 +1,13 @@
[0, Z x Z, 0, 0, 0, 0, 0, 0, 0, 0] : 0,1,4,5,67,92,100,117,120,121,123,127,129,133,135,137,138,139,140,141,151,152,154,157
[0, 0, 0, 0, 0, 0, 0, 0, 0, 0] : 6,7,9,10,11,14,15,16,19,20,25,29,38,43,44,47,49,51,52,53,54,64,66,72,80,82,83,84,85,88,91,93,96,99,101,105,106,107,108,115,116,118,122,124,128,130,134,136,145,150,153
[0, Z, 0, 0, 0, 0, 0, 0, 0, 0] : 12,13,17,18,21,23,28,30,31,32,35,36,37,39,41,42,46,48,56,59,60,61,62,65,69,71,73,75,76,78,79,89,90,103,104,111,112,142,144,146,147,155,160,161,162,164,165,166,168,169,173,174,175,176,177
[0, Z x Z, C2 x C2, 0, C2 x C2, 0, C2 x C2, 0, C2 x C2, 0] : 2
[0, 0, Z x Z, 0, 0, 0, 0, 0, 0, 0] : 8,81,94,143
[0, C2 x C2, 0, C2 x C2, 0, C2 x C2, 0, C2 x C2, 0, C2 x C2] : 3
[0, C2, 0, C2, 0, C2, 0, C2, 0, C2] : 27,70
[0, Z, Z, Z, Z, Z, Z, Z, Z, Z] : 22,33,58,77,110,113,158,163,167,171
[0, Z, Z, 0, 0, 0, 0, 0, 0, 0] : 34,45,74,114,156,170,172
[0, Z, C2, 0, C2, 0, C2, 0, C2, 0] : 40,68
[0, Z, Z, Z x Z, Z x Z x Z x Z, Z^8, Z^16, Z^32, Z^64] : 24,26,50,55,57,63,86,87,95,97
[0, Z x Z, 0, 0, 0, 0, 0, 0, 0, 0] : 0,1,4,5,67,92,100,117,120,121,123,127,129,133,135,137,138,139,140,141,151,152,154,157
[0, Z x Z, C2 x C2, 0, C2 x C2, 0, C2 x C2, 0, C2 x C2, 0] : 2
[0, Z x Z, Z x Z x Z x Z, Z^8, Z^16, Z^32, Z^64, Z^128, Z^256, Z^512] : 98,109,125,131
[0, Z x Z, Z x Z, Z x Z, Z x Z, Z x Z, Z x Z, Z x Z, Z x Z, Z x Z] : 102,119,126,132,148,149,159
[0, Z x Z, Z x Z x Z x Z, Z^8, Z^16, Z^32, Z^64, Z^128] : 98,109,125,131
[0, Z, 0, 0, 0, 0, 0, 0, 0, 0] : 12,13,17,18,21,23,28,30,31,32,35,36,37,39,41,42,46,48,56,59,60,61,62,65,69,71,73,75,76,78,79,89,90,103,104,111,112,142,144,146,147,155,160,161,162,164,165,166,168,169,173,174,175,176,177
[0, Z, C2, 0, C2, 0, C2, 0, C2, 0] : 40,68
[0, Z, Z, 0, 0, 0, 0, 0, 0, 0] : 34,45,74,114,156,170,172
[0, Z, Z, Z x Z, Z x Z x Z x Z, Z^8, Z^16, Z^32, Z^64, Z^128] : 24,26,50,55,57,63,86,87,95,97
[0, Z, Z, Z, Z, Z, Z, Z, Z, Z] : 22,33,58,77,110,113,158,163,167,171
Loading

0 comments on commit 7481cc1

Please sign in to comment.