[x + 7, 1; x + 8, 1; x + 20, 1; x + 21, 1; x + 24, 1; x + 50, 1; x + 60, 1; 
x + 63, 1; x + 68, 1; x + 72, 1; x + 125, 1; x + 139, 1; x + 146, 1; x + 150
, 1; x + 170, 1; x + 180, 1; x + 189, 1; x + 193, 1; x + 204, 1; x + 212, 1;
 x + 216, 1; x + 239, 1; x + 293, 1; x + 338, 1; x + 343, 1; x + 346, 1; x +
 364, 1; x + 365, 1; x + 375, 1; x + 377, 1; x + 392, 1; x + 406, 1; x + 412
, 1; x + 416, 1; x + 417, 1; x + 425, 1; x + 438, 1; x + 448, 1; x + 450, 1;
 x + 457, 1; x + 463, 1; x + 464, 1; x + 466, 1; x + 502, 1; x + 506, 1; x +
 510, 1; x + 512, 1; x + 530, 1; x + 540, 1; x + 567, 1; x + 578, 1; x + 579
, 1; x + 612, 1; x + 614, 1; x + 622, 1; x + 636, 1; x + 648, 1; x + 682, 1;
 x + 716, 1; x + 717, 1; x + 751, 1; x + 767, 1; x + 769, 1; x + 778, 1; x +
 791, 1; x + 814, 1; x + 826, 1; x + 844, 1; x + 845, 1; x + 865, 1; x + 874
, 1; x + 879, 1; x + 881, 1; x + 904, 1; x + 910, 1; x + 923, 1; x + 944, 1;
 x + 980, 1; x + 982, 1; x + 994, 1; x + 1014, 1; x + 1015, 1; x + 1029, 1; 
x + 1030, 1; x + 1038, 1; x + 1040, 1; x + 1057, 1; x + 1092, 1; x + 1095, 1
; x + 1120, 1; x + 1125, 1; x + 1131, 1; x + 1136, 1; x + 1160, 1; x + 1165,
 1; x + 1176, 1; x + 1178, 1; x + 1208, 1; x + 1218, 1; x + 1223, 1; x + 122
6, 1; x + 1236, 1; x + 1241, 1; x + 1248, 1; x + 1251, 1; x + 1255, 1; x + 1
265, 1; x + 1275, 1; x + 1279, 1; x + 1280, 1; x + 1282, 1; x + 1314, 1; x +
 1325, 1; x + 1327, 1; x + 1344, 1; x + 1350, 1; x + 1371, 1; x + 1373, 1; x
 + 1389, 1; x + 1392, 1; x + 1398, 1; x + 1403, 1; x + 1406, 1; x + 1409, 1;
 x + 1417, 1; x + 1445, 1; x + 1468, 1; x + 1481, 1; x + 1506, 1; x + 1518, 
1; x + 1522, 1; x + 1526, 1; x + 1530, 1; x + 1535, 1; x + 1536, 1; x + 1555
, 1; x + 1573, 1; x + 1590, 1; x + 1620, 1; x + 1658, 1; x + 1681, 1; x + 16
87, 1; x + 1694, 1; x + 1701, 1; x + 1705, 1; x + 1706, 1; x + 1721, 1; x + 
1734, 1; x + 1737, 1; x + 1744, 1; x + 1756, 1; x + 1763, 1; x + 1783, 1; x 
+ 1790, 1; x + 1802, 1; x + 1804, 1; x + 1826, 1; x + 1836, 1; x + 1842, 1; 
x + 1849, 1; x + 1866, 1; x + 1868, 1; x + 1882, 1; x + 1891, 1; x + 1892, 1
; x + 1901, 1; x + 1908, 1; x + 1927, 1; x + 1928, 1; x + 1936, 1; x + 1942,
 1; x + 1944, 1; x + 1945, 1; x + 2021, 1; x + 2035, 1; x + 2046, 1; x + 205
4, 1; x + 2065, 1; x + 2068, 1; x + 2110, 1; x + 2148, 1; x + 2151, 1; x + 2
164, 1; x + 2171, 1; x + 2185, 1; x + 2209, 1; x + 2212, 1; x + 2213, 1; x +
 2231, 1; x + 2253, 1; x + 2257, 1; x + 2260, 1; x + 2275, 1; x + 2276, 1; x
 + 2291, 1; x + 2293, 1; x + 2301, 1; x + 2307, 1; x + 2334, 1; x + 2338, 1;
 x + 2360, 1; x + 2373, 1; x + 2429, 1; x + 2434, 1; x + 2442, 1; x + 2450, 
1; x + 2455, 1; x + 2461, 1; x + 2478, 1; x + 2483, 1; x + 2485, 1; x + 2528
, 1; x + 2532, 1; x + 2535, 1; x + 2575, 1; x + 2593, 1; x + 2595, 1; x + 26
00, 1; x + 2602, 1; x + 2622, 1; x + 2626, 1; x + 2633, 1; x + 2637, 1; x + 
2643, 1; x + 2672, 1; x + 2674, 1; x + 2689, 1; x + 2712, 1; x + 2717, 1; x 
+ 2730, 1; x + 2769, 1; x + 2776, 1; x + 2800, 1; x + 2827, 1; x + 2828, 1; 
x + 2832, 1; x + 2840, 1; x + 2873, 1; x + 2894, 1; x + 2900, 1; x + 2926, 1
; x + 2929, 1; x + 2940, 1; x + 2941, 1; x + 2945, 1; x + 2946, 1; x + 2947,
 1; x + 2957, 1; x + 2982, 1; x + 3007, 1; x + 3017, 1; x + 3019, 1; x + 302
0, 1; x + 3028, 1; x + 3042, 1; x + 3045, 1; x + 3056, 1; x + 3065, 1; x + 3
087, 1; x + 3090, 1; x + 3094, 1; x + 3114, 1; x + 3116, 1; x + 3120, 1; x +
 3121, 1; x + 3154, 1; x + 3163, 1; x + 3171, 1; x + 3200, 1; x + 3205, 1; x
 + 3221, 1; x + 3229, 1; x + 3232, 1; x + 3238, 1; x + 3268, 1; x + 3276, 1;
 x + 3278, 1; x + 3285, 1; x + 3317, 1; x + 3332, 1; x + 3338, 1; x + 3343, 
1; x + 3344, 1; x + 3359, 1; x + 3360, 1; x + 3368, 1; x + 3375, 1; x + 3393
, 1; x + 3407, 1; x + 3408, 1; x + 3418, 1; x + 3448, 1; x + 3449, 1; x + 34
51, 1; x + 3454, 1; x + 3466, 1; x + 3469, 1; x + 3480, 1; x + 3495, 1; x + 
3502, 1; x + 3511, 1; x + 3515, 1; x + 3528, 1; x + 3534, 1; x + 3536, 1; x 
+ 3572, 1; x + 3578, 1; x + 3589, 1; x + 3607, 1; x + 3624, 1; x + 3654, 1; 
x + 3669, 1; x + 3670, 1; x + 3678, 1; x + 3708, 1; x + 3723, 1; x + 3744, 1
; x + 3753, 1; x + 3758, 1; x + 3765, 1; x + 3769, 1; x + 3793, 1; x + 3795,
 1; x + 3805, 1; x + 3808, 1; x + 3815, 1; x + 3821, 1; x + 3825, 1; x + 383
7, 1; x + 3840, 1; x + 3846, 1; x + 3869, 1; x + 3889, 1; x + 3929, 1; x + 3
941, 1; x + 3942, 1; x + 3944, 1; x + 3947, 1; x + 3959, 1; x + 3961, 1; x +
 3975, 1; x + 3981, 1; x + 3982, 1; x + 4032, 1; x + 4050, 1; x + 4094, 1; x
 + 4099, 1; x + 4103, 1; x + 4113, 1; x + 4119, 1; x + 4138, 1; x + 4145, 1;
 x + 4153, 1; x + 4167, 1; x + 4176, 1; x + 4194, 1; x + 4209, 1; x + 4218, 
1; x + 4222, 1; x + 4227, 1; x + 4235, 1; x + 4238, 1; x + 4251, 1; x + 4265
, 1; x + 4267, 1; x + 4273, 1; x + 4289, 1; x + 4301, 1; x + 4335, 1; x + 43
52, 1; x + 4360, 1; x + 4378, 1; x + 4390, 1; x + 4404, 1; x + 4411, 1; x + 
4423, 1; x + 4443, 1; x + 4475, 1; x + 4483, 1; x + 4489, 1; x + 4499, 1; x 
+ 4504, 1; x + 4505, 1; x + 4510, 1; x + 4518, 1; x + 4523, 1; x + 4538, 1; 
x + 4554, 1; x + 4564, 1; x + 4565, 1; x + 4566, 1; x + 4578, 1; x + 4590, 1
; x + 4605, 1; x + 4608, 1; x + 4649, 1; x + 4661, 1; x + 4665, 1; x + 4670,
 1; x + 4684, 1; x + 4693, 1; x + 4697, 1; x + 4705, 1; x + 4719, 1; x + 472
7, 1; x + 4730, 1; x + 4739, 1; x + 4770, 1; x + 4781, 1; x + 4820, 1; x + 4
834, 1; x + 4840, 1; x + 4855, 1; x + 4860, 1; x + 4883, 1; x + 4906, 1; x +
 4913, 1; x + 4924, 1; x + 4939, 1; x + 4963, 1; x + 4974, 1; x + 4987, 1; x
 + 5002, 1; x + 5039, 1; x + 5043, 1; x + 5054, 1; x + 5061, 1; x + 5063, 1;
 x + 5078, 1; x + 5082, 1; x + 5102, 1; x + 5103, 1; x + 5115, 1; x + 5118, 
1; x + 5135, 1; x + 5163, 1; x + 5170, 1; x + 5189, 1; x + 5202, 1; x + 5207
, 1; x + 5209, 1; x + 5211, 1; x + 5216, 1; x + 5219, 1; x + 5232, 1; x + 52
46, 1; x + 5268, 1; x + 5275, 1; x + 5287, 1; x + 5289, 1; x + 5349, 1; x + 
5368, 1; x + 5370, 1; x + 5386, 1; x + 5406, 1; x + 5410, 1; x + 5411, 1; x 
+ 5412, 1; x + 5416, 1; x + 5461, 1; x + 5464, 1; x + 5478, 1; x + 5508, 1; 
x + 5509, 1; x + 5518, 1; x + 5526, 1; x + 5530, 1; x + 5547, 1; x + 5588, 1
; x + 5596, 1; x + 5598, 1; x + 5604, 1; x + 5609, 1; x + 5618, 1; x + 5646,
 1; x + 5650, 1; x + 5653, 1; x + 5662, 1; x + 5672, 1; x + 5673, 1; x + 567
6, 1; x + 5690, 1; x + 5703, 1; x + 5724, 1; x + 5734, 1; x + 5776, 1; x + 5
781, 1; x + 5784, 1; x + 5789, 1; x + 5797, 1; x + 5808, 1; x + 5826, 1; x +
 5832, 1; x + 5835, 1; x + 5836, 1; x + 5845, 1; x + 5900, 1; x + 5959, 1; x
 + 5966, 1; x + 5969, 1; x + 5987, 1; x + 5993, 1; x + 6026, 1; x + 6063, 1;
 x + 6085, 1; x + 6086, 1; x + 6092, 1; x + 6094, 1; x + 6105, 1; x + 6125, 
1; x + 6127, 1; x + 6138, 1; x + 6151, 1; x + 6162, 1; x + 6164, 1; x + 6184
, 1; x + 6195, 1; x + 6197, 1; x + 6203, 1; x + 6204, 1; x + 6226, 1; x + 62
63, 1; x + 6296, 1; x + 6302, 1; x + 6320, 1; x + 6323, 1; x + 6330, 1; x + 
6389, 1; x + 6444, 1; x + 6453, 1; x + 6454, 1; x + 6457, 1; x + 6463, 1; x 
+ 6481, 1; x + 6492, 1; x + 6500, 1; x + 6505, 1; x + 6508, 1; x + 6513, 1; 
x + 6555, 1; x + 6565, 1; x + 6586, 1; x + 6599, 1; x + 6613, 1; x + 6616, 1
; x + 6617, 1; x + 6627, 1; x + 6636, 1; x + 6639, 1; x + 6643, 1; x + 6671,
 1; x + 6680, 1; x + 6685, 1; x + 6691, 1; x + 6693, 1; x + 6701, 1; x + 674
2, 1; x + 6759, 1; x + 6763, 1; x + 6771, 1; x + 6780, 1; x + 6781, 1; x + 6
811, 1; x + 6825, 1; x + 6828, 1; x + 6873, 1; x + 6877, 1; x + 6878, 1; x +
 6879, 1; x + 6883, 1; x + 6903, 1; x + 6919, 1; x + 6921, 1; x + 6940, 1; x
 + 7000, 1; x + 7002, 1; x + 7014, 1; x + 7021, 1; x + 7043, 1; x + 7057, 1;
 x + 7070, 1; x + 7073, 1; x + 7078, 1; x + 7080, 1; x + 7082, 1; x + 7087, 
1; x + 7100, 1; x + 7119, 1; x + 7126, 1; x + 7154, 1; x + 7171, 1; x + 7174
, 1; x + 7186, 1; x + 7187, 1; x + 7207, 1; x + 7211, 1; x + 7226, 1; x + 72
28, 1; x + 7235, 1; x + 7246, 1; x + 7250, 1; x + 7287, 1; x + 7302, 1; x + 
7315, 1; x + 7326, 1; x + 7350, 1; x + 7365, 1; x + 7376, 1; x + 7383, 1; x 
+ 7406, 1; x + 7429, 1; x + 7434, 1; x + 7449, 1; x + 7455, 1; x + 7469, 1; 
x + 7508, 1; x + 7519, 1; x + 7550, 1; x + 7559, 1; x + 7562, 1; x + 7570, 1
; x + 7584, 1; x + 7592, 1; x + 7596, 1; x + 7605, 1; x + 7619, 1; x + 7624,
 1; x + 7628, 1; x + 7640, 1; x + 7681, 1; x + 7684, 1; x + 7699, 1; x + 771
1, 1; x + 7723, 1; x + 7724, 1; x + 7725, 1; x + 7735, 1; x + 7751, 1; x + 7
766, 1; x + 7771, 1; x + 7779, 1; x + 7784, 1; x + 7785, 1; x + 7790, 1; x +
 7800, 1; x + 7806, 1; x + 7814, 1; x + 7846, 1; x + 7866, 1; x + 7878, 1; x
 + 7885, 1; x + 7899, 1; x + 7911, 1; x + 7929, 1; x + 7937, 1; x + 7954, 1;
 x + 7988, 1; x + 8000, 1; x + 8016, 1; x + 8022, 1; x + 8024, 1; x + 8038, 
1; x + 8051, 1; x + 8054, 1; x + 8062, 1; x + 8067, 1; x + 8071, 1; x + 8080
, 1; x + 8095, 1; x + 8113, 1; x + 8122, 1; x + 8136, 1; x + 8144, 1; x + 81
51, 1; x + 8170, 1; x + 8176, 1; x + 8186, 1; x + 8190, 1; x + 8195, 1; x + 
8239, 1; x + 8257, 1; x + 8307, 1; x + 8308, 1; x + 8314, 1; x + 8328, 1; x 
+ 8330, 1; x + 8342, 1; x + 8345, 1; x + 8347, 1; x + 8348, 1; x + 8360, 1; 
x + 8400, 1; x + 8420, 1; x + 8443, 1; x + 8449, 1; x + 8452, 1; x + 8464, 1
; x + 8468, 1; x + 8474, 1; x + 8481, 1; x + 8484, 1; x + 8494, 1; x + 8496,
 1; x + 8520, 1; x + 8524, 1; x + 8531, 1; x + 8536, 1; x + 8545, 1; x + 856
6, 1; x + 8581, 1; x + 8611, 1; x + 8619, 1; x + 8620, 1; x + 8635, 1; x + 8
665, 1; x + 8682, 1; x + 8700, 1; x + 8711, 1; x + 8717, 1; x + 8753, 1; x +
 8755, 1; x + 8761, 1; x + 8774, 1; x + 8778, 1; x + 8787, 1; x + 8794, 1; x
 + 8809, 1; x + 8820, 1; x + 8823, 1; x + 8835, 1; x + 8838, 1; x + 8840, 1;
 x + 8841, 1; x + 8871, 1; x + 8881, 1; x + 8882, 1; x + 8896, 1; x + 8914, 
1; x + 8921, 1; x + 8929, 1; x + 8930, 1; x + 8945, 1; x + 8946, 1; x + 8951
, 1; x + 8957, 1; x + 8972, 1; x + 9004, 1; x + 9011, 1; x + 9013, 1; x + 90
21, 1; x + 9051, 1; x + 9057, 1; x + 9060, 1; x + 9068, 1; x + 9084, 1; x + 
9089, 1; x + 9118, 1; x + 9126, 1; x + 9135, 1; x + 9168, 1; x + 9169, 1; x 
+ 9173, 1; x + 9175, 1; x + 9195, 1; x + 9199, 1; x + 9202, 1; x + 9224, 1; 
x + 9233, 1; x + 9244, 1; x + 9247, 1; x + 9261, 1; x + 9269, 1; x + 9270, 1
; x + 9272, 1; x + 9282, 1; x + 9307, 1; x + 9332, 1; x + 9342, 1; x + 9343,
 1; x + 9344, 1; x + 9348, 1; x + 9349, 1; x + 9360, 1; x + 9363, 1; x + 938
9, 1; x + 9395, 1; x + 9416, 1; x + 9449, 1; x + 9457, 1; x + 9461, 1; x + 9
462, 1; x + 9489, 1; x + 9513, 1; x + 9520, 1; x + 9559, 1; x + 9572, 1; x +
 9577, 1; x + 9600, 1; x + 9615, 1; x + 9617, 1; x + 9646, 1; x + 9652, 1; x
 + 9656, 1; x + 9663, 1; x + 9667, 1; x + 9687, 1; x + 9689, 1; x + 9694, 1;
 x + 9696, 1; x + 9714, 1; x + 9754, 1; x + 9757, 1; x + 9761, 1; x + 9804, 
1; x + 9806, 1; x + 9811, 1; x + 9828, 1; x + 9834, 1; x + 9839, 1; x + 9847
, 1; x + 9855, 1; x + 9860, 1; x + 9916, 1; x + 9929, 1; x + 9951, 1; x + 99
55, 1; x + 9982, 1; x + 9988, 1; x + 9996, 1; x + 9998, 1; x + 10013, 1; x +
 10014, 1; x + 10029, 1; x + 10032, 1; x + 10036, 1; x + 10058, 1; x + 10076
, 1; x + 10077, 1; x + 10080, 1; x + 10104, 1; x + 10118, 1; x + 10125, 1; x
 + 10138, 1; x + 10141, 1; x + 10179, 1; x + 10221, 1; x + 10224, 1; x + 102
35, 1; x + 10243, 1; x + 10254, 1; x + 10268, 1; x + 10344, 1; x + 10345, 1;
 x + 10347, 1; x + 10353, 1; x + 10361, 1; x + 10362, 1; x + 10381, 1; x + 1
0388, 1; x + 10397, 1; x + 10398, 1; x + 10407, 1; x + 10421, 1; x + 10423, 
1; x + 10440, 1; x + 10447, 1; x + 10453, 1; x + 10463, 1; x + 10485, 1; x +
 10487, 1; x + 10499, 1; x + 10506, 1; x + 10526, 1; x + 10533, 1; x + 10545
, 1; x + 10552, 1; x + 10555, 1; x + 10568, 1; x + 10583, 1; x + 10584, 1; x
 + 10588, 1; x + 10595, 1; x + 10602, 1; x + 10608, 1; x + 10631, 1; x + 106
69, 1; x + 10699, 1; x + 10716, 1; x + 10734, 1; x + 10753, 1; x + 10754, 1;
 x + 10759, 1; x + 10763, 1; x + 10767, 1; x + 10771, 1; x + 10783, 1; x + 1
0808, 1; x + 10821, 1; x + 10844, 1; x + 10872, 1; x + 10880, 1; x + 10883, 
1; x + 10886, 1; x + 10891, 1; x + 10897, 1; x + 10900, 1; x + 10916, 1; x +
 10918, 1; x + 10939, 1; x + 10945, 1; x + 10962, 1; x + 10964, 1; x + 10975
, 1; x + 11007, 1; x + 11009, 1; x + 11010, 1; x + 11014, 1; x + 11024, 1; x
 + 11034, 1; x + 11038, 1; x + 11041, 1; x + 11048, 1; x + 11053, 1; x + 110
63, 1; x + 11066, 1; x + 11071, 1; x + 11081, 1; x + 11111, 1; x + 11113, 1;
 x + 11124, 1; x + 11129, 1; x + 11153, 1; x + 11158, 1; x + 11164, 1; x + 1
1169, 1; x + 11194, 1; x + 11197, 1; x + 11232, 1; x + 11249, 1; x + 11251, 
1; x + 11259, 1; x + 11260, 1; x + 11274, 1; x + 11275, 1; x + 11295, 1; x +
 11307, 1; x + 11309, 1; x + 11345, 1; x + 11366, 1; x + 11379, 1; x + 11385
, 1; x + 11408, 1; x + 11410, 1; x + 11415, 1; x + 11424, 1; x + 11444, 1; x
 + 11445, 1; x + 11463, 1; x + 11475, 1; x + 11498, 1; x + 11511, 1; x + 115
20, 1; x + 11522, 1; x + 11538, 1; x + 11572, 1; x + 11573, 1; x + 11607, 1;
 x + 11641, 1; x + 11653, 1; x + 11667, 1; x + 11675, 1; x + 11677, 1; x + 1
1710, 1; x + 11711, 1; x + 11722, 1; x + 11749, 1; x + 11759, 1; x + 11777, 
1; x + 11779, 1; x + 11783, 1; x + 11787, 1; x + 11823, 1; x + 11825, 1; x +
 11826, 1; x + 11832, 1; x + 11839, 1; x + 11841, 1; x + 11851, 1; x + 11864
, 1; x + 11872, 1; x + 11873, 1; x + 11877, 1; x + 11883, 1; x + 11897, 1; x
 + 11912, 1; x + 11914, 1; x + 11924, 1; x + 11925, 1; x + 11943, 1; x + 119
46, 1; x + 11951, 1; x + 11996, 1; x + 12050, 1; x + 12073, 1; x + 12077, 1;
 x + 12085, 1; x + 12096, 1; x + 12100, 1; x + 12109, 1; x + 12119, 1; x + 1
2139, 1; x + 12143, 1; x + 12150, 1; x + 12164, 1; x + 12217, 1; x + 12221, 
1; x + 12226, 1; x + 12229, 1; x + 12239, 1; x + 12265, 1; x + 12268, 1; x +
 12269, 1; x + 12281, 1; x + 12282, 1]

[1 1 1]

[1 1 1]


[1 3 27]

[1 1  1]


[1 2 4 5 15 15 52 131 373 400]

[4 1 1 1  1  1  1   1   1   1]

[Mod(1, 41), Mod(3, 41), Mod(9, 41), Mod(14, 41), Mod(27, 41), Mod(32, 41), 
Mod(38, 41), Mod(40, 41)]~
[Mod(1, 5), Mod(2, 5)]~
[]~

[            Mod(1, 2)*x 1]

[Mod(1, 2)*x + Mod(1, 2) 2]


[Mod(0, 2) 1]

matrix(0,2)
matrix(0,2)
matrix(0,2)

[1 1]

[1 2]

[2 1]


[Mod(1, 2)*x^3 + Mod(1, 2)*x^2 + Mod(1, 2)*x 1]

[                    Mod(1, 2)*x + Mod(1, 2) 2]


[            Mod(1, 2)*x^2 + Mod(1, 2)*x 1]

[Mod(1, 2)*x^2 + Mod(1, 2)*x + Mod(1, 2) 2]

[Mod(1, 7), Mod(2, 7), Mod(3, 7), Mod(5, 7), Mod(6, 7)]~
[]~
[Mod(0, 18446744073709551629)]~
[Mod(9223372036854775814, 18446744073709551629)]~

[Mod(1, 18446744073709551629)*x + Mod(2370518075556110396, 18446744073709551
629) 1]

[Mod(1, 18446744073709551629)*x + Mod(16076225998153441233, 1844674407370955
1629) 1]


[1 1]

[1 1]


[2 1]


[Mod(1, 18446744073709551629)*x^2 + Mod(2370518075556110396, 184467440737095
51629) 1]

[Mod(1, 18446744073709551629)*x^2 + Mod(16076225998153441233, 18446744073709
551629) 1]


[2 1]

[2 1]


[4 1]


[Mod(1, 18446744073709551629)*x + Mod(2370518075556110396, 18446744073709551
629) 1]

[Mod(1, 18446744073709551629)*x + Mod(16076225998153441233, 1844674407370955
1629) 1]


[Mod(0, 18446744073709551629) 1]

matrix(0,2)
matrix(0,2)
matrix(0,2)
1
0
0

[Mod(1, 100000000000000000039)*x + Mod(1, 100000000000000000039) 2]

  ***   at top-level: polrootsmod(x^3-1,2^101-1)
  ***                 ^--------------------------
  *** polrootsmod: not a prime number in polrootsmod: 2535301200456458802993406410751.
  ***   at top-level: polrootsmod(x^10-1,1023)
  ***                 ^------------------------
  *** polrootsmod: not a prime number in polrootsmod: 1023.
  ***   at top-level: polrootsmod(Pol(0),p)
  ***                 ^---------------------
  *** polrootsmod: zero polynomial in rootmod.
  ***   at top-level: polrootsmod(Pol(0),2)
  ***                 ^---------------------
  *** polrootsmod: zero polynomial in rootmod.
  ***   at top-level: factormod(x,0)
  ***                 ^--------------
  *** factormod: not a prime number in factormod: 0.
  ***   at top-level: factormod(x^3+1,[y^2+1,2])
  ***                 ^--------------------------
  *** factormod: not an irreducible polynomial in FpX_ffintersect: y^2 + 1.
  ***   at top-level: factormod(x^3+1,[y^2+1,5])
  ***                 ^--------------------------
  *** factormod: not an irreducible polynomial in FpX_ffintersect: y^2 + 1.
Total time spent: 81
