-
Notifications
You must be signed in to change notification settings - Fork 0
/
sample_output.log
4827 lines (4827 loc) · 281 KB
/
sample_output.log
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
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
=========================================================================
Read in parameters from global_conf
JOB = 2
apply the Continuous Galerkin finite element method
mesh name: Mtopo_6L_1M.1
input directory: models/input/Mtopo1M/
output directory: models/output/Mtopo1M/
polynomial order 1
mpi_size 24
lower frequency in mHz 0.2000000
upper frequency in mHz 2.000000
header file name: models/input/Mtopo1M/Mtopo_6L_1M.1_mesh.header
element file name: models/input/Mtopo1M/Mtopo_6L_1M.1_ele.dat
node file name: models/input/Mtopo1M/Mtopo_6L_1M.1_node.dat
neigh file name: models/input/Mtopo1M/Mtopo_6L_1M.1_neigh.dat
Vp file name: models/input/Mtopo1M/Mtopo_6L_1M.1_vp_pod_1_true.dat
Vs file name: models/input/Mtopo1M/Mtopo_6L_1M.1_vs_pod_1_true.dat
rho file name: models/input/Mtopo1M/Mtopo_6L_1M.1_rho_pod_1_true.dat
apply gravitational acceleration
reference gravitational acceleration file name:
models/input/Mtopo1M/Mtopo_6L_1M.1_pod_1_potential_acceleration_true.dat
==========================================================================
Start program at time elapsed = 0.0 second.
Building reference tetrahedron
Opening file models/input/Mtopo1M/Mtopo_6L_1M.1_mesh.header
# of elements: 1011992
# of vertices: 208264
initial vertex distribution
0 8678 17356 26034 34712 43390
52068 60746 69424 78102 86780 95458
104136 112814 121492 130170 138848 147525
156202 164879 173556 182233 190910 199587
208264
initial elem. distribution
0 42167 84334 126501 168668 210835
253002 295169 337336 379502 421668 463834
506000 548166 590332 632498 674664 716830
758996 801162 843328 885494 927660 969826
1011992
fluid-solid exists
Setup: Max: 0.035, Sum: 0.840, Balance: 1.000
Matching: Max: 0.017, Sum: 0.419, Balance: 1.001
Contraction: Max: 0.016, Sum: 0.382, Balance: 1.001
InitPart: Max: 0.147, Sum: 3.519, Balance: 1.000
Project: Max: 0.000, Sum: 0.006, Balance: 1.382
Initialize: Max: 0.005, Sum: 0.126, Balance: 1.009
K-way: Max: 0.015, Sum: 0.359, Balance: 1.000
Remap: Max: 0.000, Sum: 0.001, Balance: 1.020
Total: Max: 0.236, Sum: 5.654, Balance: 1.000
partition f-s
Time elapsed = 0.733206033706665 seconds.
# of vertices 8520 at rank 0
# of vertices 8691 at rank 23
# of vertices 8686 at rank 1
# of vertices 8614 at rank 2
# of vertices 8680 at rank 3
# of vertices 8682 at rank 4
# of vertices 8623 at rank 5
# of vertices 8680 at rank 6
# of vertices 8644 at rank 7
# of vertices 8699 at rank 8
# of vertices 8689 at rank 9
# of vertices 8680 at rank 10
# of vertices 8692 at rank 11
# of vertices 8801 at rank 12
# of vertices 8686 at rank 13
# of vertices 8630 at rank 14
# of vertices 8682 at rank 15
# of vertices 9034 at rank 16
# of vertices 8688 at rank 17
# of vertices 8687 at rank 18
# of vertices 8698 at rank 19
# of vertices 8676 at rank 20
# of vertices 8585 at rank 21
# of vertices 8517 at rank 22
check weight balance: 80 0
check weight balance: 82 1
check weight balance: 80 2
check weight balance: 81 3
check weight balance: 82 4
check weight balance: 80 5
check weight balance: 81 6
check weight balance: 82 7
check weight balance: 80 8
check weight balance: 81 9
check weight balance: 80 10
check weight balance: 81 11
check weight balance: 80 12
check weight balance: 80 13
check weight balance: 82 14
check weight balance: 82 15
check weight balance: 70 16
check weight balance: 80 17
check weight balance: 81 18
check weight balance: 81 19
check weight balance: 81 20
check weight balance: 82 21
check weight balance: 80 22
check weight balance: 81 23
check weight (v2v) balance: 108700 0
check weight (v2v) balance: 107765 1
check weight (v2v) balance: 108952 2
check weight (v2v) balance: 108407 3
check weight (v2v) balance: 108783 4
check weight (v2v) balance: 108898 5
check weight (v2v) balance: 108347 6
check weight (v2v) balance: 108724 7
check weight (v2v) balance: 108594 8
check weight (v2v) balance: 107863 9
check weight (v2v) balance: 108167 10
check weight (v2v) balance: 108839 11
check weight (v2v) balance: 109593 12
check weight (v2v) balance: 108023 13
check weight (v2v) balance: 108754 14
check weight (v2v) balance: 108290 15
check weight (v2v) balance: 111840 16
check weight (v2v) balance: 108380 17
check weight (v2v) balance: 108161 18
check weight (v2v) balance: 108589 19
check weight (v2v) balance: 108333 20
check weight (v2v) balance: 108823 21
check weight (v2v) balance: 108883 22
check weight (v2v) balance: 108518 23
# of elements 47847 at rank 0
# of elements 44459 at rank 1
# of elements 47368 at rank 2
# of elements 44530 at rank 3
# of elements 46846 at rank 4
# of elements 47296 at rank 5
# of elements 44955 at rank 6
# of elements 46791 at rank 7
# of elements 45570 at rank 8
# of elements 45511 at rank 9
# of elements 45878 at rank 10
# of elements 45751 at rank 11
# of elements 45786 at rank 12
# of elements 45674 at rank 13
# of elements 46463 at rank 14
# of elements 44916 at rank 15
# of elements 46981 at rank 16
# of elements 45250 at rank 17
# of elements 45992 at rank 18
# of elements 45994 at rank 19
# of elements 45245 at rank 20
# of elements 48860 at rank 21
# of elements 48439 at rank 22
# of elements 46011 at rank 23
total # of vertices 10481 at rank 0
total # of vertices 9863 at rank 1
total # of vertices 10416 at rank 2
total # of vertices 9774 at rank 3
total # of vertices 10651 at rank 4
total # of vertices 10478 at rank 5
total # of vertices 9937 at rank 6
total # of vertices 10320 at rank 7
total # of vertices 10139 at rank 8
total # of vertices 10276 at rank 9
total # of vertices 10312 at rank 10
total # of vertices 10142 at rank 11
total # of vertices 10222 at rank 12
total # of vertices 10261 at rank 13
total # of vertices 10296 at rank 14
total # of vertices 9926 at rank 15
total # of vertices 10598 at rank 16
total # of vertices 10057 at rank 17
total # of vertices 10339 at rank 18
total # of vertices 10304 at rank 19
total # of vertices 10102 at rank 20
total # of vertices 10876 at rank 21
total # of vertices 10643 at rank 22
total # of vertices 10297 at rank 23
read in neigh info
Building local Jacobians
Build local normal vectors
Time elapsed = 1.16760802268982 seconds.
read Vp file
read Vs file
read density file
# of s 47653 # of f 194 at rank 0
# of s 44274 # of f 185 at rank 1
# of s 47160 # of f 208 at rank 2
# of s 44327 # of f 203 at rank 3
# of s 46633 # of f 213 at rank 4
# of s 47100 # of f 196 at rank 5
# of s 44767 # of f 188 at rank 6
# of s 46579 # of f 212 at rank 7
# of s 45383 # of f 187 at rank 8
# of s 45324 # of f 187 at rank 9
# of s 45664 # of f 214 at rank 10
# of s 45572 # of f 179 at rank 11
# of s 45592 # of f 194 at rank 12
# of s 45488 # of f 186 at rank 13
# of s 46273 # of f 190 at rank 14
# of s 44732 # of f 184 at rank 15
# of s 46814 # of f 167 at rank 16
# of s 45064 # of f 186 at rank 17
# of s 45807 # of f 185 at rank 18
# of s 45790 # of f 204 at rank 19
# of s 45048 # of f 197 at rank 20
# of s 48647 # of f 213 at rank 21
# of s 48228 # of f 211 at rank 22
# of s 45816 # of f 195 at rank 23
Time elapsed = 2.87316393852234 seconds.
local Ad size 25680 at rank 0
local Ad size 26181 at rank 1
local Ad size 25962 at rank 2
local Ad size 26160 at rank 3
local Ad size 26169 at rank 4
local Ad size 25986 at rank 5
local Ad size 26160 at rank 6
local Ad size 26055 at rank 7
local Ad size 26217 at rank 8
local Ad size 26187 at rank 9
local Ad size 26160 at rank 10
local Ad size 26196 at rank 11
local Ad size 26523 at rank 12
local Ad size 26178 at rank 13
local Ad size 26013 at rank 14
local Ad size 26169 at rank 15
local Ad size 27207 at rank 16
local Ad size 26184 at rank 17
local Ad size 26181 at rank 18
local Ad size 26214 at rank 19
local Ad size 26148 at rank 20
local Ad size 25878 at rank 21
local Ad size 25671 at rank 22
local Ad size 26193 at rank 23
total Ad size 627672
local B size 25680 at rank 0
local B size 26181 at rank 1
local B size 25962 at rank 2
local B size 26160 at rank 3
local B size 26169 at rank 4
local B size 25986 at rank 5
local B size 26160 at rank 6
local B size 26055 at rank 7
local B size 26217 at rank 8
local B size 26187 at rank 9
local B size 26160 at rank 10
local B size 26196 at rank 11
local B size 26523 at rank 12
local B size 26178 at rank 13
local B size 26013 at rank 14
local B size 26169 at rank 15
local B size 27207 at rank 16
local B size 26184 at rank 17
local B size 26181 at rank 18
local B size 26214 at rank 19
local B size 26148 at rank 20
local B size 25878 at rank 21
local B size 25671 at rank 22
local B size 26193 at rank 23
total B size 627672
local Ap size 40 at rank 0
local Ap size 41 at rank 1
local Ap size 40 at rank 2
local Ap size 41 at rank 3
local Ap size 41 at rank 4
local Ap size 41 at rank 5
local Ap size 41 at rank 6
local Ap size 41 at rank 7
local Ap size 40 at rank 8
local Ap size 41 at rank 9
local Ap size 40 at rank 10
local Ap size 41 at rank 11
local Ap size 40 at rank 12
local Ap size 40 at rank 13
local Ap size 41 at rank 14
local Ap size 41 at rank 15
local Ap size 35 at rank 16
local Ap size 40 at rank 17
local Ap size 41 at rank 18
local Ap size 41 at rank 19
local Ap size 41 at rank 20
local Ap size 41 at rank 21
local Ap size 40 at rank 22
local Ap size 41 at rank 23
total Ap size 970
local Ad NNZ 1058949 at rank 0
local Ad NNZ 1052100 at rank 1
local Ad NNZ 1062027 at rank 2
local Ad NNZ 1057626 at rank 3
local Ad NNZ 1061208 at rank 4
local Ad NNZ 1061460 at rank 5
local Ad NNZ 1057059 at rank 6
local Ad NNZ 1060335 at rank 7
local Ad NNZ 1059624 at rank 8
local Ad NNZ 1052838 at rank 9
local Ad NNZ 1055457 at rank 10
local Ad NNZ 1061730 at rank 11
local Ad NNZ 1069560 at rank 12
local Ad NNZ 1054377 at rank 13
local Ad NNZ 1060533 at rank 14
local Ad NNZ 1056798 at rank 15
local Ad NNZ 1091376 at rank 16
local Ad NNZ 1057590 at rank 17
local Ad NNZ 1055511 at rank 18
local Ad NNZ 1059453 at rank 19
local Ad NNZ 1056987 at rank 20
local Ad NNZ 1060722 at rank 21
local Ad NNZ 1060317 at rank 22
local Ad NNZ 1058679 at rank 23
total NNZ: Ad, B, E, ET, Ap
25442316 8480772 63540
63540 10746
local E NNZ 2664 at rank 0
local E NNZ 2694 at rank 1
local E NNZ 2625 at rank 2
local E NNZ 2676 at rank 3
local E NNZ 2682 at rank 4
local E NNZ 2637 at rank 5
local E NNZ 2643 at rank 6
local E NNZ 2682 at rank 7
local E NNZ 2658 at rank 8
local E NNZ 2646 at rank 9
local E NNZ 2565 at rank 10
local E NNZ 2673 at rank 11
local E NNZ 2676 at rank 12
local E NNZ 2664 at rank 13
local E NNZ 2718 at rank 14
local E NNZ 2700 at rank 15
local E NNZ 2340 at rank 16
local E NNZ 2664 at rank 17
local E NNZ 2682 at rank 18
local E NNZ 2688 at rank 19
local E NNZ 2712 at rank 20
local E NNZ 2706 at rank 21
local E NNZ 2496 at rank 22
local E NNZ 2649 at rank 23
local Ap NNZ 447 at rank 0
local Ap NNZ 449 at rank 1
local Ap NNZ 438 at rank 2
local Ap NNZ 465 at rank 3
local Ap NNZ 447 at rank 4
local Ap NNZ 460 at rank 5
local Ap NNZ 457 at rank 6
local Ap NNZ 447 at rank 7
local Ap NNZ 443 at rank 8
local Ap NNZ 452 at rank 9
local Ap NNZ 429 at rank 10
local Ap NNZ 452 at rank 11
local Ap NNZ 446 at rank 12
local Ap NNZ 444 at rank 13
local Ap NNZ 453 at rank 14
local Ap NNZ 450 at rank 15
local Ap NNZ 390 at rank 16
local Ap NNZ 446 at rank 17
local Ap NNZ 463 at rank 18
local Ap NNZ 466 at rank 19
local Ap NNZ 470 at rank 20
local Ap NNZ 452 at rank 21
local Ap NNZ 419 at rank 22
local Ap NNZ 461 at rank 23
the matrix structure (with fluid-solid) is done
warning: a tet 14 has probably two f-s 7
warning: a tet 25 has probably two f-s 19
warning: a tet 33 has probably two f-s 22
warning: a tet 68 has probably two f-s 9
warning: a tet 64 has probably two f-s 8
warning: a tet 69 has probably two f-s 0
warning: a tet 75 has probably two f-s 5
warning: a tet 84 has probably two f-s 6
warning: a tet 83 has probably two f-s 8
warning: a tet 87 has probably two f-s 19
warning: a tet 93 has probably two f-s 15
warning: a tet 90 has probably two f-s 5
warning: a tet 102 has probably two f-s 22
warning: a tet 103 has probably two f-s 10
warning: a tet 110 has probably two f-s 16
warning: a tet 109 has probably two f-s 19
warning: a tet 113 has probably two f-s 19
warning: a tet 118 has probably two f-s 17
warning: a tet 128 has probably two f-s 22
warning: a tet 129 has probably two f-s 19
warning: a tet 135 has probably two f-s 0
warning: a tet 177 has probably two f-s 10
warning: a tet 185 has probably two f-s 8
warning: a tet 192 has probably two f-s 4
warning: a tet 196 has probably two f-s 10
warning: a tet 216 has probably two f-s 8
warning: a tet 233 has probably two f-s 0
warning: a tet 227 has probably two f-s 6
warning: a tet 225 has probably two f-s 8
warning: a tet 241 has probably two f-s 0
warning: a tet 251 has probably two f-s 14
warning: a tet 258 has probably two f-s 0
warning: a tet 246 has probably two f-s 13
warning: a tet 259 has probably two f-s 5
warning: a tet 273 has probably two f-s 13
warning: a tet 289 has probably two f-s 0
warning: a tet 302 has probably two f-s 3
warning: a tet 288 has probably two f-s 5
warning: a tet 299 has probably two f-s 0
warning: a tet 348 has probably two f-s 3
warning: a tet 336 has probably two f-s 2
warning: a tet 337 has probably two f-s 2
warning: a tet 329 has probably two f-s 5
warning: a tet 317 has probably two f-s 11
warning: a tet 342 has probably two f-s 2
warning: a tet 359 has probably two f-s 13
warning: a tet 382 has probably two f-s 10
warning: a tet 369 has probably two f-s 11
warning: a tet 396 has probably two f-s 10
warning: a tet 388 has probably two f-s 13
warning: a tet 435 has probably two f-s 3
warning: a tet 450 has probably two f-s 4
warning: a tet 420 has probably two f-s 16
warning: a tet 452 has probably two f-s 1
warning: a tet 452 has probably two f-s 10
warning: a tet 470 has probably two f-s 17
warning: a tet 477 has probably two f-s 18
warning: a tet 482 has probably two f-s 20
warning: a tet 491 has probably two f-s 18
warning: a tet 479 has probably two f-s 13
warning: a tet 480 has probably two f-s 2
warning: a tet 505 has probably two f-s 4
warning: a tet 476 has probably two f-s 16
warning: a tet 494 has probably two f-s 2
warning: a tet 523 has probably two f-s 10
warning: a tet 513 has probably two f-s 16
warning: a tet 546 has probably two f-s 9
warning: a tet 559 has probably two f-s 4
warning: a tet 522 has probably two f-s 16
warning: a tet 541 has probably two f-s 7
warning: a tet 570 has probably two f-s 4
warning: a tet 547 has probably two f-s 7
warning: a tet 548 has probably two f-s 0
warning: a tet 568 has probably two f-s 15
warning: a tet 599 has probably two f-s 13
warning: a tet 594 has probably two f-s 9
warning: a tet 597 has probably two f-s 6
warning: a tet 606 has probably two f-s 1
warning: a tet 602 has probably two f-s 2
warning: a tet 598 has probably two f-s 7
warning: a tet 613 has probably two f-s 8
warning: a tet 618 has probably two f-s 18
warning: a tet 596 has probably two f-s 16
warning: a tet 637 has probably two f-s 4
warning: a tet 613 has probably two f-s 0
warning: a tet 626 has probably two f-s 10
warning: a tet 614 has probably two f-s 6
warning: a tet 632 has probably two f-s 8
warning: a tet 629 has probably two f-s 22
warning: a tet 629 has probably two f-s 0
warning: a tet 645 has probably two f-s 20
warning: a tet 640 has probably two f-s 19
warning: a tet 648 has probably two f-s 22
warning: a tet 639 has probably two f-s 0
warning: a tet 653 has probably two f-s 6
warning: a tet 667 has probably two f-s 14
warning: a tet 682 has probably two f-s 10
warning: a tet 679 has probably two f-s 19
warning: a tet 693 has probably two f-s 0
warning: a tet 701 has probably two f-s 15
warning: a tet 735 has probably two f-s 0
warning: a tet 740 has probably two f-s 10
warning: a tet 744 has probably two f-s 17
warning: a tet 740 has probably two f-s 19
warning: a tet 751 has probably two f-s 7
warning: a tet 779 has probably two f-s 16
warning: a tet 788 has probably two f-s 19
warning: a tet 792 has probably two f-s 19
warning: a tet 797 has probably two f-s 19
warning: a tet 793 has probably two f-s 20
warning: a tet 807 has probably two f-s 18
warning: a tet 807 has probably two f-s 2
warning: a tet 803 has probably two f-s 19
warning: a tet 814 has probably two f-s 17
warning: a tet 815 has probably two f-s 12
warning: a tet 841 has probably two f-s 4
warning: a tet 822 has probably two f-s 12
warning: a tet 841 has probably two f-s 6
warning: a tet 844 has probably two f-s 18
warning: a tet 830 has probably two f-s 16
warning: a tet 864 has probably two f-s 2
warning: a tet 870 has probably two f-s 2
warning: a tet 869 has probably two f-s 6
warning: a tet 871 has probably two f-s 16
warning: a tet 896 has probably two f-s 6
warning: a tet 913 has probably two f-s 22
warning: a tet 899 has probably two f-s 20
warning: a tet 925 has probably two f-s 22
warning: a tet 893 has probably two f-s 23
warning: a tet 930 has probably two f-s 0
warning: a tet 937 has probably two f-s 14
warning: a tet 928 has probably two f-s 6
warning: a tet 985 has probably two f-s 21
warning: a tet 958 has probably two f-s 12
warning: a tet 1003 has probably two f-s 2
warning: a tet 1023 has probably two f-s 10
warning: a tet 1068 has probably two f-s 4
warning: a tet 1050 has probably two f-s 13
warning: a tet 1060 has probably two f-s 6
warning: a tet 1067 has probably two f-s 7
warning: a tet 1102 has probably two f-s 5
warning: a tet 1111 has probably two f-s 6
warning: a tet 1144 has probably two f-s 4
warning: a tet 1221 has probably two f-s 3
warning: a tet 1269 has probably two f-s 10
warning: a tet 1248 has probably two f-s 11
warning: a tet 1210 has probably two f-s 6
warning: a tet 1214 has probably two f-s 6
warning: a tet 1221 has probably two f-s 6
warning: a tet 1225 has probably two f-s 7
warning: a tet 1257 has probably two f-s 20
warning: a tet 1227 has probably two f-s 6
warning: a tet 1228 has probably two f-s 6
warning: a tet 1292 has probably two f-s 11
warning: a tet 1288 has probably two f-s 8
warning: a tet 1315 has probably two f-s 18
warning: a tet 1315 has probably two f-s 8
warning: a tet 1319 has probably two f-s 8
warning: a tet 1309 has probably two f-s 6
warning: a tet 1325 has probably two f-s 6
warning: a tet 1419 has probably two f-s 21
warning: a tet 1348 has probably two f-s 23
warning: a tet 1439 has probably two f-s 11
warning: a tet 1441 has probably two f-s 11
warning: a tet 1461 has probably two f-s 21
warning: a tet 1446 has probably two f-s 7
warning: a tet 1492 has probably two f-s 20
warning: a tet 1611 has probably two f-s 10
warning: a tet 1565 has probably two f-s 8
warning: a tet 1604 has probably two f-s 16
warning: a tet 1607 has probably two f-s 16
warning: a tet 1765 has probably two f-s 15
warning: a tet 1650 has probably two f-s 17
warning: a tet 1661 has probably two f-s 17
warning: a tet 1664 has probably two f-s 17
warning: a tet 1666 has probably two f-s 17
warning: a tet 1742 has probably two f-s 18
warning: a tet 1886 has probably two f-s 14
warning: a tet 1711 has probably two f-s 19
warning: a tet 1712 has probably two f-s 19
warning: a tet 1846 has probably two f-s 7
warning: a tet 1848 has probably two f-s 7
warning: a tet 1851 has probably two f-s 7
warning: a tet 1949 has probably two f-s 14
warning: a tet 1969 has probably two f-s 14
warning: a tet 1785 has probably two f-s 16
warning: a tet 2005 has probably two f-s 14
warning: a tet 1868 has probably two f-s 13
warning: a tet 1874 has probably two f-s 13
warning: a tet 1875 has probably two f-s 8
warning: a tet 2074 has probably two f-s 14
warning: a tet 1952 has probably two f-s 22
warning: a tet 2079 has probably two f-s 14
warning: a tet 2082 has probably two f-s 14
warning: a tet 1869 has probably two f-s 12
warning: a tet 2050 has probably two f-s 1
warning: a tet 1966 has probably two f-s 13
warning: a tet 2115 has probably two f-s 2
warning: a tet 2079 has probably two f-s 7
warning: a tet 2125 has probably two f-s 0
warning: a tet 2086 has probably two f-s 7
warning: a tet 2163 has probably two f-s 0
warning: a tet 2242 has probably two f-s 20
warning: a tet 2190 has probably two f-s 0
warning: a tet 2054 has probably two f-s 13
warning: a tet 2107 has probably two f-s 17
warning: a tet 2120 has probably two f-s 8
warning: a tet 2176 has probably two f-s 8
warning: a tet 2337 has probably two f-s 3
warning: a tet 2167 has probably two f-s 16
warning: a tet 2339 has probably two f-s 3
warning: a tet 2312 has probably two f-s 18
warning: a tet 2294 has probably two f-s 5
warning: a tet 2235 has probably two f-s 11
warning: a tet 2227 has probably two f-s 13
warning: a tet 2222 has probably two f-s 8
warning: a tet 2352 has probably two f-s 18
warning: a tet 2197 has probably two f-s 12
warning: a tet 2389 has probably two f-s 3
warning: a tet 2509 has probably two f-s 4
warning: a tet 2270 has probably two f-s 11
warning: a tet 2335 has probably two f-s 5
warning: a tet 2373 has probably two f-s 18
warning: a tet 2292 has probably two f-s 13
warning: a tet 2401 has probably two f-s 10
warning: a tet 2477 has probably two f-s 0
warning: a tet 2424 has probably two f-s 10
warning: a tet 2330 has probably two f-s 13
warning: a tet 2402 has probably two f-s 22
warning: a tet 2514 has probably two f-s 0
warning: a tet 2615 has probably two f-s 4
warning: a tet 2618 has probably two f-s 4
warning: a tet 2626 has probably two f-s 4
warning: a tet 2371 has probably two f-s 13
warning: a tet 2541 has probably two f-s 0
warning: a tet 2563 has probably two f-s 0
warning: a tet 2653 has probably two f-s 4
warning: a tet 2655 has probably two f-s 4
warning: a tet 2657 has probably two f-s 4
warning: a tet 2658 has probably two f-s 4
warning: a tet 2663 has probably two f-s 4
warning: a tet 2568 has probably two f-s 2
warning: a tet 2665 has probably two f-s 4
warning: a tet 2354 has probably two f-s 23
warning: a tet 2667 has probably two f-s 4
warning: a tet 2668 has probably two f-s 4
warning: a tet 2396 has probably two f-s 12
warning: a tet 2530 has probably two f-s 5
warning: a tet 2744 has probably two f-s 20
warning: a tet 2544 has probably two f-s 5
warning: a tet 2543 has probably two f-s 17
warning: a tet 2635 has probably two f-s 2
warning: a tet 2660 has probably two f-s 0
warning: a tet 2673 has probably two f-s 0
warning: a tet 2448 has probably two f-s 12
warning: a tet 2584 has probably two f-s 5
warning: a tet 2593 has probably two f-s 5
warning: a tet 2609 has probably two f-s 22
warning: a tet 2618 has probably two f-s 22
warning: a tet 2495 has probably two f-s 12
warning: a tet 2498 has probably two f-s 12
warning: a tet 2499 has probably two f-s 12
warning: a tet 2568 has probably two f-s 11
warning: a tet 2844 has probably two f-s 14
warning: a tet 2769 has probably two f-s 2
warning: a tet 2770 has probably two f-s 2
warning: a tet 2771 has probably two f-s 2
warning: a tet 2772 has probably two f-s 2
warning: a tet 2774 has probably two f-s 2
warning: a tet 2775 has probably two f-s 2
warning: a tet 2902 has probably two f-s 14
warning: a tet 2928 has probably two f-s 14
warning: a tet 2764 has probably two f-s 21
warning: a tet 2759 has probably two f-s 10
warning: a tet 3045 has probably two f-s 20
warning: a tet 2704 has probably two f-s 12
warning: a tet 2739 has probably two f-s 12
warning: a tet 2914 has probably two f-s 5
warning: a tet 2794 has probably two f-s 23
warning: a tet 2921 has probably two f-s 22
warning: a tet 2922 has probably two f-s 17
warning: a tet 2930 has probably two f-s 5
warning: a tet 2933 has probably two f-s 5
warning: a tet 2934 has probably two f-s 5
warning: a tet 2935 has probably two f-s 5
warning: a tet 3064 has probably two f-s 0
warning: a tet 3169 has probably two f-s 14
warning: a tet 2905 has probably two f-s 11
warning: a tet 2922 has probably two f-s 11
warning: a tet 2925 has probably two f-s 11
warning: a tet 2930 has probably two f-s 11
warning: a tet 3220 has probably two f-s 14
warning: a tet 3292 has probably two f-s 14
warning: a tet 3294 has probably two f-s 14
warning: a tet 3058 has probably two f-s 19
warning: a tet 3064 has probably two f-s 19
warning: a tet 3220 has probably two f-s 0
warning: a tet 3276 has probably two f-s 9
warning: a tet 3213 has probably two f-s 2
warning: a tet 3331 has probably two f-s 14
warning: a tet 3240 has probably two f-s 0
warning: a tet 3241 has probably two f-s 0
warning: a tet 3173 has probably two f-s 10
warning: a tet 3174 has probably two f-s 10
warning: a tet 3176 has probably two f-s 10
warning: a tet 3270 has probably two f-s 7
warning: a tet 3215 has probably two f-s 5
warning: a tet 3283 has probably two f-s 7
warning: a tet 3294 has probably two f-s 6
warning: a tet 3296 has probably two f-s 6
warning: a tet 3449 has probably two f-s 3
warning: a tet 3286 has probably two f-s 22
warning: a tet 3380 has probably two f-s 7
warning: a tet 3526 has probably two f-s 1
warning: a tet 3223 has probably two f-s 11
warning: a tet 3547 has probably two f-s 1
warning: a tet 3579 has probably two f-s 20
warning: a tet 3574 has probably two f-s 1
warning: a tet 3591 has probably two f-s 20
warning: a tet 3592 has probably two f-s 20
warning: a tet 3596 has probably two f-s 20
warning: a tet 3476 has probably two f-s 7
warning: a tet 3334 has probably two f-s 13
warning: a tet 3335 has probably two f-s 13
warning: a tet 3336 has probably two f-s 13
warning: a tet 3611 has probably two f-s 15
warning: a tet 3334 has probably two f-s 11
warning: a tet 3413 has probably two f-s 16
warning: a tet 3592 has probably two f-s 7
warning: a tet 3667 has probably two f-s 9
warning: a tet 3588 has probably two f-s 2
warning: a tet 3717 has probably two f-s 1
warning: a tet 3719 has probably two f-s 1
warning: a tet 3427 has probably two f-s 13
warning: a tet 3694 has probably two f-s 9
warning: a tet 3701 has probably two f-s 15
warning: a tet 3427 has probably two f-s 11
warning: a tet 3716 has probably two f-s 15
warning: a tet 3726 has probably two f-s 15
warning: a tet 3727 has probably two f-s 15
warning: a tet 3728 has probably two f-s 15
warning: a tet 3444 has probably two f-s 23
warning: a tet 3777 has probably two f-s 14
warning: a tet 3499 has probably two f-s 13
warning: a tet 3499 has probably two f-s 11
warning: a tet 3814 has probably two f-s 4
warning: a tet 3803 has probably two f-s 3
warning: a tet 3856 has probably two f-s 14
warning: a tet 3857 has probably two f-s 14
warning: a tet 3834 has probably two f-s 9
warning: a tet 3835 has probably two f-s 9
warning: a tet 3837 has probably two f-s 9
warning: a tet 3838 has probably two f-s 9
warning: a tet 3844 has probably two f-s 3
warning: a tet 3724 has probably two f-s 5
warning: a tet 3850 has probably two f-s 3
warning: a tet 3851 has probably two f-s 15
warning: a tet 3743 has probably two f-s 17
warning: a tet 3874 has probably two f-s 9
warning: a tet 3870 has probably two f-s 15
warning: a tet 3909 has probably two f-s 20
warning: a tet 3889 has probably two f-s 3
warning: a tet 3809 has probably two f-s 21
warning: a tet 3929 has probably two f-s 15
warning: a tet 3940 has probably two f-s 7
warning: a tet 3999 has probably two f-s 20
warning: a tet 3978 has probably two f-s 15
warning: a tet 3932 has probably two f-s 2
warning: a tet 4041 has probably two f-s 20
warning: a tet 4043 has probably two f-s 20
warning: a tet 3748 has probably two f-s 23
warning: a tet 4041 has probably two f-s 15
warning: a tet 4042 has probably two f-s 15
warning: a tet 4061 has probably two f-s 3
warning: a tet 4065 has probably two f-s 9
warning: a tet 3802 has probably two f-s 23
warning: a tet 4044 has probably two f-s 7
warning: a tet 3917 has probably two f-s 8
warning: a tet 3929 has probably two f-s 8
warning: a tet 4109 has probably two f-s 3
warning: a tet 4131 has probably two f-s 3
warning: a tet 4137 has probably two f-s 3
warning: a tet 4142 has probably two f-s 3
warning: a tet 4079 has probably two f-s 2
warning: a tet 3997 has probably two f-s 8
warning: a tet 3974 has probably two f-s 16
warning: a tet 4176 has probably two f-s 7
warning: a tet 3980 has probably two f-s 16
warning: a tet 4179 has probably two f-s 7
warning: a tet 4095 has probably two f-s 22
warning: a tet 4232 has probably two f-s 17
warning: a tet 4294 has probably two f-s 4
warning: a tet 4295 has probably two f-s 4
warning: a tet 4337 has probably two f-s 18
warning: a tet 4344 has probably two f-s 18
warning: a tet 4354 has probably two f-s 18
warning: a tet 4077 has probably two f-s 16
warning: a tet 4373 has probably two f-s 17
warning: a tet 4104 has probably two f-s 16
warning: a tet 4323 has probably two f-s 15
warning: a tet 4415 has probably two f-s 18
warning: a tet 4344 has probably two f-s 15
warning: a tet 4426 has probably two f-s 17
warning: a tet 4516 has probably two f-s 18
warning: a tet 4418 has probably two f-s 10
warning: a tet 4454 has probably two f-s 3
warning: a tet 4409 has probably two f-s 2
warning: a tet 4236 has probably two f-s 16
warning: a tet 4237 has probably two f-s 16
warning: a tet 4437 has probably two f-s 2
warning: a tet 4544 has probably two f-s 9
warning: a tet 4545 has probably two f-s 9
warning: a tet 4499 has probably two f-s 3
warning: a tet 4323 has probably two f-s 16
warning: a tet 4638 has probably two f-s 4
warning: a tet 4658 has probably two f-s 14
warning: a tet 4516 has probably two f-s 12
warning: a tet 4526 has probably two f-s 12
warning: a tet 4697 has probably two f-s 14
warning: a tet 4690 has probably two f-s 20
warning: a tet 4461 has probably two f-s 16
warning: a tet 4464 has probably two f-s 16
warning: a tet 4706 has probably two f-s 1
warning: a tet 4676 has probably two f-s 7
warning: a tet 4727 has probably two f-s 1
warning: a tet 4762 has probably two f-s 4
warning: a tet 4705 has probably two f-s 7
warning: a tet 4578 has probably two f-s 23
warning: a tet 4581 has probably two f-s 23
warning: a tet 4736 has probably two f-s 7
warning: a tet 4829 has probably two f-s 18
warning: a tet 4687 has probably two f-s 22
warning: a tet 4688 has probably two f-s 22
warning: a tet 4838 has probably two f-s 4
warning: a tet 4692 has probably two f-s 22
warning: a tet 4693 has probably two f-s 22
warning: a tet 4694 has probably two f-s 22
warning: a tet 4860 has probably two f-s 9
warning: a tet 4861 has probably two f-s 9
warning: a tet 4776 has probably two f-s 8
warning: a tet 4862 has probably two f-s 9
warning: a tet 4870 has probably two f-s 18
warning: a tet 4858 has probably two f-s 1
warning: a tet 4903 has probably two f-s 19
warning: a tet 4872 has probably two f-s 21
warning: a tet 4806 has probably two f-s 22
warning: a tet 4911 has probably two f-s 1
warning: a tet 4907 has probably two f-s 20
warning: a tet 4971 has probably two f-s 9
warning: a tet 4906 has probably two f-s 21
warning: a tet 4920 has probably two f-s 21
warning: a tet 4998 has probably two f-s 4
warning: a tet 5000 has probably two f-s 18
warning: a tet 4933 has probably two f-s 21
warning: a tet 4936 has probably two f-s 21
warning: a tet 4937 has probably two f-s 21
warning: a tet 4960 has probably two f-s 6
warning: a tet 4971 has probably two f-s 15
warning: a tet 5108 has probably two f-s 17
warning: a tet 5091 has probably two f-s 8
warning: a tet 5096 has probably two f-s 1
warning: a tet 5164 has probably two f-s 10
warning: a tet 5165 has probably two f-s 10
warning: a tet 5279 has probably two f-s 19
warning: a tet 5250 has probably two f-s 0
warning: a tet 5290 has probably two f-s 10
warning: a tet 5260 has probably two f-s 0
warning: a tet 5314 has probably two f-s 13
warning: a tet 5305 has probably two f-s 10
warning: a tet 5306 has probably two f-s 10
warning: a tet 5239 has probably two f-s 23
warning: a tet 5324 has probably two f-s 14
warning: a tet 5249 has probably two f-s 12
warning: a tet 5299 has probably two f-s 6
warning: a tet 5260 has probably two f-s 12
warning: a tet 5366 has probably two f-s 13
warning: a tet 5369 has probably two f-s 13
warning: a tet 5319 has probably two f-s 20
warning: a tet 5411 has probably two f-s 18
warning: a tet 5339 has probably two f-s 6
warning: a tet 5414 has probably two f-s 18
warning: a tet 5415 has probably two f-s 18
warning: a tet 5303 has probably two f-s 23
warning: a tet 5419 has probably two f-s 18
warning: a tet 5305 has probably two f-s 23
warning: a tet 5422 has probably two f-s 18
warning: a tet 5306 has probably two f-s 23
warning: a tet 5423 has probably two f-s 18
warning: a tet 5424 has probably two f-s 18
warning: a tet 5355 has probably two f-s 6
warning: a tet 5361 has probably two f-s 7
warning: a tet 5423 has probably two f-s 19
warning: a tet 5389 has probably two f-s 6
warning: a tet 5394 has probably two f-s 6
warning: a tet 5397 has probably two f-s 6
warning: a tet 5433 has probably two f-s 19
warning: a tet 5434 has probably two f-s 19
warning: a tet 5435 has probably two f-s 19
warning: a tet 5437 has probably two f-s 19
warning: a tet 5439 has probably two f-s 19
warning: a tet 5440 has probably two f-s 19
warning: a tet 5441 has probably two f-s 19
warning: a tet 5282 has probably two f-s 16
warning: a tet 5407 has probably two f-s 6
warning: a tet 5288 has probably two f-s 16
warning: a tet 5290 has probably two f-s 16
warning: a tet 5291 has probably two f-s 16
warning: a tet 5296 has probably two f-s 16
warning: a tet 5297 has probably two f-s 16
warning: a tet 5391 has probably two f-s 15
warning: a tet 5456 has probably two f-s 1
warning: a tet 5516 has probably two f-s 21
warning: a tet 5517 has probably two f-s 21
warning: a tet 5519 has probably two f-s 21
warning: a tet 5521 has probably two f-s 17
warning: a tet 5457 has probably two f-s 3
warning: a tet 5533 has probably two f-s 17
warning: a tet 5467 has probably two f-s 3
warning: a tet 5468 has probably two f-s 3
warning: a tet 5469 has probably two f-s 3
warning: a tet 5547 has probably two f-s 19
warning: a tet 5566 has probably two f-s 19
warning: a tet 5567 has probably two f-s 19
warning: a tet 5558 has probably two f-s 3
warning: a tet 5641 has probably two f-s 8
warning: a tet 5537 has probably two f-s 16
warning: a tet 5739 has probably two f-s 21
warning: a tet 5747 has probably two f-s 21
warning: a tet 5749 has probably two f-s 21
warning: a tet 5750 has probably two f-s 21
warning: a tet 5787 has probably two f-s 22
warning: a tet 5853 has probably two f-s 15
warning: a tet 6025 has probably two f-s 19
warning: a tet 6034 has probably two f-s 19
warning: a tet 6044 has probably two f-s 19
warning: a tet 6059 has probably two f-s 8
warning: a tet 6140 has probably two f-s 10
warning: a tet 6134 has probably two f-s 6
warning: a tet 6185 has probably two f-s 6
warning: a tet 6389 has probably two f-s 17
warning: a tet 6379 has probably two f-s 19
warning: a tet 6463 has probably two f-s 22
warning: a tet 6499 has probably two f-s 17
warning: a tet 6508 has probably two f-s 19
warning: a tet 6567 has probably two f-s 10
warning: a tet 6519 has probably two f-s 7
warning: a tet 6470 has probably two f-s 11
warning: a tet 6567 has probably two f-s 19
warning: a tet 6620 has probably two f-s 6
warning: a tet 6617 has probably two f-s 19
warning: a tet 6670 has probably two f-s 19
warning: a tet 6565 has probably two f-s 16
warning: a tet 6618 has probably two f-s 15
warning: a tet 6813 has probably two f-s 22
warning: a tet 6655 has probably two f-s 15
warning: a tet 6659 has probably two f-s 15
warning: a tet 6665 has probably two f-s 15
warning: a tet 6668 has probably two f-s 15
warning: a tet 6669 has probably two f-s 15
warning: a tet 6799 has probably two f-s 19
warning: a tet 6908 has probably two f-s 6
warning: a tet 6837 has probably two f-s 12
warning: a tet 6854 has probably two f-s 12
warning: a tet 6904 has probably two f-s 12
warning: a tet 6906 has probably two f-s 12
warning: a tet 6910 has probably two f-s 12
warning: a tet 6911 has probably two f-s 12
warning: a tet 6913 has probably two f-s 12
warning: a tet 6923 has probably two f-s 12
warning: a tet 6927 has probably two f-s 12
warning: a tet 6931 has probably two f-s 12
warning: a tet 6932 has probably two f-s 12
warning: a tet 7114 has probably two f-s 22
warning: a tet 6961 has probably two f-s 20
warning: a tet 7042 has probably two f-s 6
warning: a tet 6962 has probably two f-s 20
warning: a tet 6968 has probably two f-s 20
warning: a tet 7083 has probably two f-s 10
warning: a tet 6969 has probably two f-s 20
warning: a tet 7143 has probably two f-s 22
warning: a tet 7095 has probably two f-s 10
warning: a tet 7155 has probably two f-s 22
warning: a tet 6991 has probably two f-s 20
warning: a tet 6996 has probably two f-s 20
warning: a tet 7110 has probably two f-s 10
warning: a tet 6997 has probably two f-s 20
warning: a tet 7053 has probably two f-s 19
warning: a tet 7132 has probably two f-s 10
warning: a tet 7106 has probably two f-s 6
warning: a tet 7095 has probably two f-s 9
warning: a tet 7096 has probably two f-s 9
warning: a tet 7152 has probably two f-s 10
warning: a tet 7163 has probably two f-s 18
warning: a tet 7172 has probably two f-s 18
warning: a tet 7141 has probably two f-s 6
warning: a tet 7156 has probably two f-s 6
warning: a tet 7182 has probably two f-s 6
warning: a tet 7157 has probably two f-s 19
warning: a tet 7184 has probably two f-s 17
warning: a tet 7188 has probably two f-s 17
warning: a tet 7192 has probably two f-s 17
warning: a tet 7193 has probably two f-s 17
warning: a tet 7194 has probably two f-s 17
warning: a tet 7195 has probably two f-s 17
warning: a tet 7196 has probably two f-s 17
warning: a tet 7197 has probably two f-s 17
warning: a tet 7198 has probably two f-s 17
warning: a tet 7199 has probably two f-s 17
warning: a tet 7200 has probably two f-s 17
warning: a tet 7201 has probably two f-s 17
warning: a tet 7202 has probably two f-s 17
warning: a tet 7206 has probably two f-s 6
warning: a tet 7205 has probably two f-s 17
warning: a tet 7208 has probably two f-s 6
warning: a tet 7185 has probably two f-s 19
warning: a tet 7203 has probably two f-s 13
warning: a tet 7212 has probably two f-s 17
warning: a tet 7197 has probably two f-s 19
warning: a tet 7199 has probably two f-s 19
warning: a tet 7200 has probably two f-s 19
warning: a tet 7202 has probably two f-s 19
warning: a tet 7203 has probably two f-s 19
warning: a tet 7204 has probably two f-s 19
warning: a tet 7205 has probably two f-s 19
warning: a tet 7206 has probably two f-s 19
warning: a tet 7208 has probably two f-s 19
warning: a tet 7209 has probably two f-s 19
warning: a tet 7233 has probably two f-s 17
warning: a tet 7210 has probably two f-s 19
warning: a tet 7211 has probably two f-s 19
warning: a tet 7212 has probably two f-s 19
warning: a tet 7282 has probably two f-s 14
warning: a tet 7215 has probably two f-s 19
warning: a tet 7239 has probably two f-s 17
warning: a tet 7285 has probably two f-s 14
warning: a tet 7216 has probably two f-s 19
warning: a tet 7217 has probably two f-s 19
warning: a tet 7219 has probably two f-s 19
warning: a tet 7220 has probably two f-s 19
warning: a tet 7289 has probably two f-s 14
warning: a tet 7221 has probably two f-s 19
warning: a tet 7222 has probably two f-s 19
warning: a tet 7223 has probably two f-s 19
warning: a tet 7245 has probably two f-s 17
warning: a tet 7224 has probably two f-s 19
warning: a tet 7225 has probably two f-s 19