Blame view

SD/TP3_Karatsuba/Elementaire.stats 6.5 KB
37a5f1f0   Vincent Benoist   tpSD jusqu'a comp...
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
  #	n	f(n)
  	1	2
  	2	11
  	3	33
  	4	46
  	5	94
  	6	120
  	7	150
  	8	167
  	9	267
  	10	319
  	11	375
  	12	405
  	13	469
  	14	503
  	15	541
  	16	562
  	17	766
  	18	870
  	19	978
  	20	1034
  	21	1150
  	22	1210
  	23	1274
  	24	1308
  	25	1440
  	26	1508
  	27	1580
  	28	1618
  	29	1698
  	30	1740
  	31	1786
  	32	1811
  	33	2223
  	34	2431
  	35	2643
  	36	2751
  	37	2971
  	38	3083
  	39	3199
  	40	3259
  	41	3495
  	42	3615
  	43	3739
  	44	3803
  	45	3935
  	46	4003
  	47	4075
  	48	4113
  	49	4381
  	50	4517
  	51	4657
  	52	4729
  	53	4877
  	54	4953
  	55	5033
  	56	5075
  	57	5239
  	58	5323
  	59	5411
  	60	5457
  	61	5553
  	62	5603
  	63	5657
  	64	5686
  	65	6514
  	66	6930
  	67	7350
  	68	7562
  	69	7990
  	70	8206
  	71	8426
  	72	8538
  	73	8982
  	74	9206
  	75	9434
  	76	9550
  	77	9786
  	78	9906
  	79	10030
  	80	10094
  	81	10570
  	82	10810
  	83	11054
  	84	11178
  	85	11430
  	86	11558
  	87	11690
  	88	11758
  	89	12026
  	90	12162
  	91	12302
  	92	12374
  	93	12522
  	94	12598
  	95	12678
  	96	12720
  	97	13260
  	98	13532
  	99	13808
  	100	13948
  	101	14232
  	102	14376
  	103	14524
  	104	14600
  	105	14900
  	106	15052
  	107	15208
  	108	15288
  	109	15452
  	110	15536
  	111	15624
  	112	15670
  	113	16002
  	114	16170
  	115	16342
  	116	16430
  	117	16610
  	118	16702
  	119	16798
  	120	16848
  	121	17044
  	122	17144
  	123	17248
  	124	17302
  	125	17414
  	126	17472
  	127	17534
  	128	17567
  	129	19227
  	130	20059
  	131	20895
  	132	21315
  	133	22159
  	134	22583
  	135	23011
  	136	23227
  	137	24087
  	138	24519
  	139	24955
  	140	25175
  	141	25619
  	142	25843
  	143	26071
  	144	26187
  	145	27079
  	146	27527
  	147	27979
  	148	28207
  	149	28667
  	150	28899
  	151	29135
  	152	29255
  	153	29731
  	154	29971
  	155	30215
  	156	30339
  	157	30591
  	158	30719
  	159	30851
  	160	30919
  	161	31875
  	162	32355
  	163	32839
  	164	33083
  	165	33575
  	166	33823
  	167	34075
  	168	34203
  	169	34711
  	170	34967
  	171	35227
  	172	35359
  	173	35627
  	174	35763
  	175	35903
  	176	35975
  	177	36515
  	178	36787
  	179	37063
  	180	37203
  	181	37487
  	182	37631
  	183	37779
  	184	37855
  	185	38155
  	186	38307
  	187	38463
  	188	38543
  	189	38707
  	190	38791
  	191	38879
  	192	38925
  	193	40009
  	194	40553
  	195	41101
  	196	41377
  	197	41933
  	198	42213
  	199	42497
  	200	42641
  	201	43213
  	202	43501
  	203	43793
  	204	43941
  	205	44241
  	206	44393
  	207	44549
  	208	44629
  	209	45233
  	210	45537
  	211	45845
  	212	46001
  	213	46317
  	214	46477
  	215	46641
  	216	46725
  	217	47057
  	218	47225
  	219	47397
  	220	47485
  	221	47665
  	222	47757
  	223	47853
  	224	47903
  	225	48571
  	226	48907
  	227	49247
  	228	49419
  	229	49767
  	230	49943
  	231	50123
  	232	50215
  	233	50579
  	234	50763
  	235	50951
  	236	51047
  	237	51243
  	238	51343
  	239	51447
  	240	51501
  	241	51897
  	242	52097
  	243	52301
  	244	52405
  	245	52617
  	246	52725
  	247	52837
  	248	52895
  	249	53123
  	250	53239
  	251	53359
  	252	53421
  	253	53549
  	254	53615
  	255	53685
  	256	53722
  	257	57046
  	258	58710
  	259	60378
  	260	61214
  	261	62890
  	262	63730
  	263	64574
  	264	64998
  	265	66690
  	266	67538
  	267	68390
  	268	68818
  	269	69678
  	270	70110
  	271	70546
  	272	70766
  	273	72490
  	274	73354
  	275	74222
  	276	74658
  	277	75534
  	278	75974
  	279	76418
  	280	76642
  	281	77534
  	282	77982
  	283	78434
  	284	78662
  	285	79122
  	286	79354
  	287	79590
  	288	79710
  	289	81498
  	290	82394
  	291	83294
  	292	83746
  	293	84654
  	294	85110
  	295	85570
  	296	85802
  	297	86726
  	298	87190
  	299	87658
  	300	87894
  	301	88370
  	302	88610
  	303	88854
  	304	88978
  	305	89934
  	306	90414
  	307	90898
  	308	91142
  	309	91634
  	310	91882
  	311	92134
  	312	92262
  	313	92770
  	314	93026
  	315	93286
  	316	93418
  	317	93686
  	318	93822
  	319	93962
  	320	94034
  	321	95950
  	322	96910
  	323	97874
  	324	98358
  	325	99330
  	326	99818
  	327	100310
  	328	100558
  	329	101546
  	330	102042
  	331	102542
  	332	102794
  	333	103302
  	334	103558
  	335	103818
  	336	103950
  	337	104970
  	338	105482
  	339	105998
  	340	106258
  	341	106782
  	342	107046
  	343	107314
  	344	107450
  	345	107990
  	346	108262
  	347	108538
  	348	108678
  	349	108962
  	350	109106
  	351	109254
  	352	109330
  	353	110414
  	354	110958
  	355	111506
  	356	111782
  	357	112338
  	358	112618
  	359	112902
  	360	113046
  	361	113618
  	362	113906
  	363	114198
  	364	114346
  	365	114646
  	366	114798
  	367	114954
  	368	115034
  	369	115638
  	370	115942
  	371	116250
  	372	116406
  	373	116722
  	374	116882
  	375	117046
  	376	117130
  	377	117462
  	378	117630
  	379	117802
  	380	117890
  	381	118070
  	382	118162
  	383	118258
  	384	118308
  	385	120480
  	386	121568
  	387	122660
  	388	123208
  	389	124308
  	390	124860
  	391	125416
  	392	125696
  	393	126812
  	394	127372
  	395	127936
  	396	128220
  	397	128792
  	398	129080
  	399	129372
  	400	129520
  	401	130668
  	402	131244
  	403	131824
  	404	132116
  	405	132704
  	406	133000
  	407	133300
  	408	133452
  	409	134056
  	410	134360
  	411	134668
  	412	134824
  	413	135140
  	414	135300
  	415	135464
  	416	135548
  	417	136760
  	418	137368
  	419	137980
  	420	138288
  	421	138908
  	422	139220
  	423	139536
  	424	139696
  	425	140332
  	426	140652
  	427	140976
  	428	141140
  	429	141472
  	430	141640
  	431	141812
  	432	141900
  	433	142568
  	434	142904
  	435	143244
  	436	143416
  	437	143764
  	438	143940
  	439	144120
  	440	144212
  	441	144576
  	442	144760
  	443	144948
  	444	145044
  	445	145240
  	446	145340
  	447	145444
  	448	145498
  	449	146838
  	450	147510
  	451	148186
  	452	148526
  	453	149210
  	454	149554
  	455	149902
  	456	150078
  	457	150778
  	458	151130
  	459	151486
  	460	151666
  	461	152030
  	462	152214
  	463	152402
  	464	152498
  	465	153230
  	466	153598
  	467	153970
  	468	154158
  	469	154538
  	470	154730
  	471	154926
  	472	155026
  	473	155422
  	474	155622
  	475	155826
  	476	155930
  	477	156142
  	478	156250
  	479	156362
  	480	156420
  	481	157216
  	482	157616
  	483	158020
  	484	158224
  	485	158636
  	486	158844
  	487	159056
  	488	159164
  	489	159592
  	490	159808
  	491	160028
  	492	160140
  	493	160368
  	494	160484
  	495	160604
  	496	160666
  	497	161126
  	498	161358
  	499	161594
  	500	161714
  	501	161958
  	502	162082
  	503	162210
  	504	162276
  	505	162536
  	506	162668
  	507	162804
  	508	162874
  	509	163018
  	510	163092
  	511	163170
  	512	163211
  	513	169863
  	514	173191
  	515	176523
  	516	178191
  	517	181531
  	518	183203
  	519	184879
  	520	185719
  	521	189075
  	522	190755
  	523	192439
  	524	193283
  	525	194975
  	526	195823
  	527	196675
  	528	197103
  	529	200491
  	530	202187
  	531	203887
  	532	204739
  	533	206447
  	534	207303
  	535	208163
  	536	208595
  	537	210319
  	538	211183
  	539	212051
  	540	212487
  	541	213363
  	542	213803
  	543	214247
  	544	214471
  	545	217923
  	546	219651
  	547	221383
  	548	222251
  	549	223991
  	550	224863
  	551	225739
  	552	226179
  	553	227935
  	554	228815
  	555	229699
  	556	230143
  	557	231035
  	558	231483
  	559	231935
  	560	232163
  	561	233951
  	562	234847
  	563	235747
  	564	236199
  	565	237107
  	566	237563
  	567	238023
  	568	238255
  	569	239179
  	570	239643
  	571	240111
  	572	240347
  	573	240823
  	574	241063
  	575	241307
  	576	241431
  	577	245011
  	578	246803
  	579	248599
  	580	249499
  	581	251303
  	582	252207
  	583	253115
  	584	253571
  	585	255391
  	586	256303
  	587	257219
  	588	257679
  	589	258603
  	590	259067
  	591	259535
  	592	259771
  	593	261623
  	594	262551
  	595	263483
  	596	263951
  	597	264891
  	598	265363
  	599	265839