1
// file automatiocally generated by form_div_div_symbolic.cc
2
void init_expect_form_div_div (Float t[6][6][6][6]) {
79
t[0][2][0][4]=(1.0/2.0);
85
t[0][2][1][4]=(3.0/2.0);
91
t[0][2][2][4]=(1.0/2.0);
97
t[0][2][3][4]=(3.0/2.0);
99
t[0][2][4][0]=(1.0/2.0);
100
t[0][2][4][1]=(1.0/2.0);
101
t[0][2][4][2]=(3.0/2.0);
102
t[0][2][4][3]=(1.0/2.0);
104
t[0][2][4][5]=(3.0/2.0);
109
t[0][2][5][4]=(1.0/2.0);
149
t[0][4][0][2]=(1.0/2.0);
151
t[0][4][0][4]=(1.0/3.0);
152
t[0][4][0][5]=(1.0/2.0);
153
t[0][4][1][0]=(1.0/2.0);
154
t[0][4][1][1]=(1.0/2.0);
156
t[0][4][1][3]=(1.0/2.0);
157
t[0][4][1][4]=(5.0/6.0);
161
t[0][4][2][2]=(1.0/2.0);
163
t[0][4][2][4]=(1.0/3.0);
164
t[0][4][2][5]=(1.0/2.0);
165
t[0][4][3][0]=(2.0/3.0);
166
t[0][4][3][1]=(2.0/3.0);
167
t[0][4][3][2]=(7.0/6.0);
168
t[0][4][3][3]=(2.0/3.0);
170
t[0][4][3][5]=(7.0/6.0);
171
t[0][4][4][0]=(1.0/4.0);
172
t[0][4][4][1]=(1.0/4.0);
173
t[0][4][4][2]=(3.0/4.0);
174
t[0][4][4][3]=(1.0/4.0);
175
t[0][4][4][4]=(7.0/12.0);
176
t[0][4][4][5]=(3.0/4.0);
179
t[0][4][5][2]=(1.0/2.0);
181
t[0][4][5][4]=(1.0/3.0);
182
t[0][4][5][5]=(1.0/2.0);
187
t[0][5][0][4]=(1.0/2.0);
188
t[0][5][0][5]=(4.0/3.0);
193
t[0][5][1][4]=(3.0/2.0);
194
t[0][5][1][5]=(7.0/3.0);
199
t[0][5][2][4]=(1.0/2.0);
200
t[0][5][2][5]=(4.0/3.0);
205
t[0][5][3][4]=(3.0/2.0);
206
t[0][5][3][5]=(7.0/3.0);
207
t[0][5][4][0]=(2.0/3.0);
208
t[0][5][4][1]=(2.0/3.0);
209
t[0][5][4][2]=(5.0/3.0);
210
t[0][5][4][3]=(2.0/3.0);
211
t[0][5][4][4]=(7.0/6.0);
217
t[0][5][5][4]=(1.0/2.0);
218
t[0][5][5][5]=(4.0/3.0);
223
t[1][0][0][4]=(1.0/2.0);
229
t[1][0][1][4]=(3.0/2.0);
235
t[1][0][2][4]=(1.0/2.0);
241
t[1][0][3][4]=(3.0/2.0);
243
t[1][0][4][0]=(1.0/2.0);
244
t[1][0][4][1]=(1.0/2.0);
245
t[1][0][4][2]=(3.0/2.0);
246
t[1][0][4][3]=(1.0/2.0);
248
t[1][0][4][5]=(3.0/2.0);
253
t[1][0][5][4]=(1.0/2.0);
259
t[1][1][0][4]=(1.0/2.0);
265
t[1][1][1][4]=(3.0/2.0);
271
t[1][1][2][4]=(1.0/2.0);
277
t[1][1][3][4]=(3.0/2.0);
279
t[1][1][4][0]=(1.0/2.0);
280
t[1][1][4][1]=(1.0/2.0);
281
t[1][1][4][2]=(3.0/2.0);
282
t[1][1][4][3]=(1.0/2.0);
284
t[1][1][4][5]=(3.0/2.0);
289
t[1][1][5][4]=(1.0/2.0);
331
t[1][3][0][4]=(1.0/2.0);
337
t[1][3][1][4]=(3.0/2.0);
343
t[1][3][2][4]=(1.0/2.0);
349
t[1][3][3][4]=(3.0/2.0);
351
t[1][3][4][0]=(1.0/2.0);
352
t[1][3][4][1]=(1.0/2.0);
353
t[1][3][4][2]=(3.0/2.0);
354
t[1][3][4][3]=(1.0/2.0);
356
t[1][3][4][5]=(3.0/2.0);
361
t[1][3][5][4]=(1.0/2.0);
365
t[1][4][0][2]=(3.0/2.0);
367
t[1][4][0][4]=(5.0/6.0);
368
t[1][4][0][5]=(3.0/2.0);
369
t[1][4][1][0]=(3.0/2.0);
370
t[1][4][1][1]=(3.0/2.0);
372
t[1][4][1][3]=(3.0/2.0);
373
t[1][4][1][4]=(7.0/3.0);
377
t[1][4][2][2]=(3.0/2.0);
379
t[1][4][2][4]=(5.0/6.0);
380
t[1][4][2][5]=(3.0/2.0);
381
t[1][4][3][0]=(5.0/3.0);
382
t[1][4][3][1]=(5.0/3.0);
383
t[1][4][3][2]=(19.0/6.0);
384
t[1][4][3][3]=(5.0/3.0);
385
t[1][4][3][4]=(5.0/2.0);
386
t[1][4][3][5]=(19.0/6.0);
387
t[1][4][4][0]=(3.0/4.0);
388
t[1][4][4][1]=(3.0/4.0);
389
t[1][4][4][2]=(9.0/4.0);
390
t[1][4][4][3]=(3.0/4.0);
391
t[1][4][4][4]=(19.0/12.0);
392
t[1][4][4][5]=(9.0/4.0);
395
t[1][4][5][2]=(3.0/2.0);
397
t[1][4][5][4]=(5.0/6.0);
398
t[1][4][5][5]=(3.0/2.0);
404
t[1][5][0][5]=(7.0/3.0);
410
t[1][5][1][5]=(13.0/3.0);
416
t[1][5][2][5]=(7.0/3.0);
422
t[1][5][3][5]=(13.0/3.0);
423
t[1][5][4][0]=(7.0/6.0);
424
t[1][5][4][1]=(7.0/6.0);
425
t[1][5][4][2]=(19.0/6.0);
426
t[1][5][4][3]=(7.0/6.0);
427
t[1][5][4][4]=(13.0/6.0);
428
t[1][5][4][5]=(7.0/2.0);
434
t[1][5][5][5]=(7.0/3.0);
511
t[2][2][0][4]=(1.0/2.0);
517
t[2][2][1][4]=(3.0/2.0);
523
t[2][2][2][4]=(1.0/2.0);
529
t[2][2][3][4]=(3.0/2.0);
531
t[2][2][4][0]=(1.0/2.0);
532
t[2][2][4][1]=(1.0/2.0);
533
t[2][2][4][2]=(3.0/2.0);
534
t[2][2][4][3]=(1.0/2.0);
536
t[2][2][4][5]=(3.0/2.0);
541
t[2][2][5][4]=(1.0/2.0);
581
t[2][4][0][2]=(1.0/2.0);
583
t[2][4][0][4]=(1.0/3.0);
584
t[2][4][0][5]=(1.0/2.0);
585
t[2][4][1][0]=(1.0/2.0);
586
t[2][4][1][1]=(1.0/2.0);
588
t[2][4][1][3]=(1.0/2.0);
589
t[2][4][1][4]=(5.0/6.0);
593
t[2][4][2][2]=(1.0/2.0);
595
t[2][4][2][4]=(1.0/3.0);
596
t[2][4][2][5]=(1.0/2.0);
597
t[2][4][3][0]=(2.0/3.0);
598
t[2][4][3][1]=(2.0/3.0);
599
t[2][4][3][2]=(7.0/6.0);
600
t[2][4][3][3]=(2.0/3.0);
602
t[2][4][3][5]=(7.0/6.0);
603
t[2][4][4][0]=(1.0/4.0);
604
t[2][4][4][1]=(1.0/4.0);
605
t[2][4][4][2]=(3.0/4.0);
606
t[2][4][4][3]=(1.0/4.0);
607
t[2][4][4][4]=(7.0/12.0);
608
t[2][4][4][5]=(3.0/4.0);
611
t[2][4][5][2]=(1.0/2.0);
613
t[2][4][5][4]=(1.0/3.0);
614
t[2][4][5][5]=(1.0/2.0);
619
t[2][5][0][4]=(1.0/2.0);
620
t[2][5][0][5]=(4.0/3.0);
625
t[2][5][1][4]=(3.0/2.0);
626
t[2][5][1][5]=(7.0/3.0);
631
t[2][5][2][4]=(1.0/2.0);
632
t[2][5][2][5]=(4.0/3.0);
637
t[2][5][3][4]=(3.0/2.0);
638
t[2][5][3][5]=(7.0/3.0);
639
t[2][5][4][0]=(2.0/3.0);
640
t[2][5][4][1]=(2.0/3.0);
641
t[2][5][4][2]=(5.0/3.0);
642
t[2][5][4][3]=(2.0/3.0);
643
t[2][5][4][4]=(7.0/6.0);
649
t[2][5][5][4]=(1.0/2.0);
650
t[2][5][5][5]=(4.0/3.0);
655
t[3][0][0][4]=(2.0/3.0);
661
t[3][0][1][4]=(5.0/3.0);
667
t[3][0][2][4]=(2.0/3.0);
669
t[3][0][3][0]=(4.0/3.0);
670
t[3][0][3][1]=(4.0/3.0);
671
t[3][0][3][2]=(7.0/3.0);
672
t[3][0][3][3]=(4.0/3.0);
674
t[3][0][3][5]=(7.0/3.0);
675
t[3][0][4][0]=(1.0/2.0);
676
t[3][0][4][1]=(1.0/2.0);
677
t[3][0][4][2]=(3.0/2.0);
678
t[3][0][4][3]=(1.0/2.0);
679
t[3][0][4][4]=(7.0/6.0);
680
t[3][0][4][5]=(3.0/2.0);
685
t[3][0][5][4]=(2.0/3.0);
691
t[3][1][0][4]=(2.0/3.0);
697
t[3][1][1][4]=(5.0/3.0);
703
t[3][1][2][4]=(2.0/3.0);
705
t[3][1][3][0]=(4.0/3.0);
706
t[3][1][3][1]=(4.0/3.0);
707
t[3][1][3][2]=(7.0/3.0);
708
t[3][1][3][3]=(4.0/3.0);
710
t[3][1][3][5]=(7.0/3.0);
711
t[3][1][4][0]=(1.0/2.0);
712
t[3][1][4][1]=(1.0/2.0);
713
t[3][1][4][2]=(3.0/2.0);
714
t[3][1][4][3]=(1.0/2.0);
715
t[3][1][4][4]=(7.0/6.0);
716
t[3][1][4][5]=(3.0/2.0);
721
t[3][1][5][4]=(2.0/3.0);
727
t[3][2][0][4]=(7.0/6.0);
733
t[3][2][1][4]=(19.0/6.0);
739
t[3][2][2][4]=(7.0/6.0);
741
t[3][2][3][0]=(7.0/3.0);
742
t[3][2][3][1]=(7.0/3.0);
743
t[3][2][3][2]=(13.0/3.0);
744
t[3][2][3][3]=(7.0/3.0);
745
t[3][2][3][4]=(7.0/2.0);
746
t[3][2][3][5]=(13.0/3.0);
751
t[3][2][4][4]=(13.0/6.0);
757
t[3][2][5][4]=(7.0/6.0);
763
t[3][3][0][4]=(2.0/3.0);
769
t[3][3][1][4]=(5.0/3.0);
775
t[3][3][2][4]=(2.0/3.0);
777
t[3][3][3][0]=(4.0/3.0);
778
t[3][3][3][1]=(4.0/3.0);
779
t[3][3][3][2]=(7.0/3.0);
780
t[3][3][3][3]=(4.0/3.0);
782
t[3][3][3][5]=(7.0/3.0);
783
t[3][3][4][0]=(1.0/2.0);
784
t[3][3][4][1]=(1.0/2.0);
785
t[3][3][4][2]=(3.0/2.0);
786
t[3][3][4][3]=(1.0/2.0);
787
t[3][3][4][4]=(7.0/6.0);
788
t[3][3][4][5]=(3.0/2.0);
793
t[3][3][5][4]=(2.0/3.0);
797
t[3][4][0][2]=(3.0/2.0);
800
t[3][4][0][5]=(3.0/2.0);
801
t[3][4][1][0]=(3.0/2.0);
802
t[3][4][1][1]=(3.0/2.0);
804
t[3][4][1][3]=(3.0/2.0);
805
t[3][4][1][4]=(5.0/2.0);
809
t[3][4][2][2]=(3.0/2.0);
812
t[3][4][2][5]=(3.0/2.0);
815
t[3][4][3][2]=(7.0/2.0);
818
t[3][4][3][5]=(7.0/2.0);
819
t[3][4][4][0]=(3.0/4.0);
820
t[3][4][4][1]=(3.0/4.0);
821
t[3][4][4][2]=(9.0/4.0);
822
t[3][4][4][3]=(3.0/4.0);
823
t[3][4][4][4]=(7.0/4.0);
824
t[3][4][4][5]=(9.0/4.0);
827
t[3][4][5][2]=(3.0/2.0);
830
t[3][4][5][5]=(3.0/2.0);
835
t[3][5][0][4]=(7.0/6.0);
836
t[3][5][0][5]=(7.0/3.0);
841
t[3][5][1][4]=(19.0/6.0);
842
t[3][5][1][5]=(13.0/3.0);
847
t[3][5][2][4]=(7.0/6.0);
848
t[3][5][2][5]=(7.0/3.0);
849
t[3][5][3][0]=(7.0/3.0);
850
t[3][5][3][1]=(7.0/3.0);
851
t[3][5][3][2]=(13.0/3.0);
852
t[3][5][3][3]=(7.0/3.0);
853
t[3][5][3][4]=(7.0/2.0);
854
t[3][5][3][5]=(14.0/3.0);
855
t[3][5][4][0]=(7.0/6.0);
856
t[3][5][4][1]=(7.0/6.0);
857
t[3][5][4][2]=(19.0/6.0);
858
t[3][5][4][3]=(7.0/6.0);
859
t[3][5][4][4]=(7.0/3.0);
860
t[3][5][4][5]=(7.0/2.0);
865
t[3][5][5][4]=(7.0/6.0);
866
t[3][5][5][5]=(7.0/3.0);
869
t[4][0][0][2]=(1.0/2.0);
871
t[4][0][0][4]=(1.0/4.0);
872
t[4][0][0][5]=(2.0/3.0);
873
t[4][0][1][0]=(1.0/2.0);
874
t[4][0][1][1]=(1.0/2.0);
876
t[4][0][1][3]=(1.0/2.0);
877
t[4][0][1][4]=(3.0/4.0);
878
t[4][0][1][5]=(7.0/6.0);
881
t[4][0][2][2]=(1.0/2.0);
883
t[4][0][2][4]=(1.0/4.0);
884
t[4][0][2][5]=(2.0/3.0);
885
t[4][0][3][0]=(1.0/2.0);
886
t[4][0][3][1]=(1.0/2.0);
888
t[4][0][3][3]=(1.0/2.0);
889
t[4][0][3][4]=(3.0/4.0);
890
t[4][0][3][5]=(7.0/6.0);
891
t[4][0][4][0]=(1.0/3.0);
892
t[4][0][4][1]=(1.0/3.0);
893
t[4][0][4][2]=(5.0/6.0);
894
t[4][0][4][3]=(1.0/3.0);
895
t[4][0][4][4]=(7.0/12.0);
899
t[4][0][5][2]=(1.0/2.0);
901
t[4][0][5][4]=(1.0/4.0);
902
t[4][0][5][5]=(2.0/3.0);
905
t[4][1][0][2]=(1.0/2.0);
907
t[4][1][0][4]=(1.0/4.0);
908
t[4][1][0][5]=(2.0/3.0);
909
t[4][1][1][0]=(1.0/2.0);
910
t[4][1][1][1]=(1.0/2.0);
912
t[4][1][1][3]=(1.0/2.0);
913
t[4][1][1][4]=(3.0/4.0);
914
t[4][1][1][5]=(7.0/6.0);
917
t[4][1][2][2]=(1.0/2.0);
919
t[4][1][2][4]=(1.0/4.0);
920
t[4][1][2][5]=(2.0/3.0);
921
t[4][1][3][0]=(1.0/2.0);
922
t[4][1][3][1]=(1.0/2.0);
924
t[4][1][3][3]=(1.0/2.0);
925
t[4][1][3][4]=(3.0/4.0);
926
t[4][1][3][5]=(7.0/6.0);
927
t[4][1][4][0]=(1.0/3.0);
928
t[4][1][4][1]=(1.0/3.0);
929
t[4][1][4][2]=(5.0/6.0);
930
t[4][1][4][3]=(1.0/3.0);
931
t[4][1][4][4]=(7.0/12.0);
935
t[4][1][5][2]=(1.0/2.0);
937
t[4][1][5][4]=(1.0/4.0);
938
t[4][1][5][5]=(2.0/3.0);
941
t[4][2][0][2]=(3.0/2.0);
943
t[4][2][0][4]=(3.0/4.0);
944
t[4][2][0][5]=(5.0/3.0);
945
t[4][2][1][0]=(3.0/2.0);
946
t[4][2][1][1]=(3.0/2.0);
948
t[4][2][1][3]=(3.0/2.0);
949
t[4][2][1][4]=(9.0/4.0);
950
t[4][2][1][5]=(19.0/6.0);
953
t[4][2][2][2]=(3.0/2.0);
955
t[4][2][2][4]=(3.0/4.0);
956
t[4][2][2][5]=(5.0/3.0);
957
t[4][2][3][0]=(3.0/2.0);
958
t[4][2][3][1]=(3.0/2.0);
960
t[4][2][3][3]=(3.0/2.0);
961
t[4][2][3][4]=(9.0/4.0);
962
t[4][2][3][5]=(19.0/6.0);
963
t[4][2][4][0]=(5.0/6.0);
964
t[4][2][4][1]=(5.0/6.0);
965
t[4][2][4][2]=(7.0/3.0);
966
t[4][2][4][3]=(5.0/6.0);
967
t[4][2][4][4]=(19.0/12.0);
968
t[4][2][4][5]=(5.0/2.0);
971
t[4][2][5][2]=(3.0/2.0);
973
t[4][2][5][4]=(3.0/4.0);
974
t[4][2][5][5]=(5.0/3.0);
977
t[4][3][0][2]=(1.0/2.0);
979
t[4][3][0][4]=(1.0/4.0);
980
t[4][3][0][5]=(2.0/3.0);
981
t[4][3][1][0]=(1.0/2.0);
982
t[4][3][1][1]=(1.0/2.0);
984
t[4][3][1][3]=(1.0/2.0);
985
t[4][3][1][4]=(3.0/4.0);
986
t[4][3][1][5]=(7.0/6.0);
989
t[4][3][2][2]=(1.0/2.0);
991
t[4][3][2][4]=(1.0/4.0);
992
t[4][3][2][5]=(2.0/3.0);
993
t[4][3][3][0]=(1.0/2.0);
994
t[4][3][3][1]=(1.0/2.0);
996
t[4][3][3][3]=(1.0/2.0);
997
t[4][3][3][4]=(3.0/4.0);
998
t[4][3][3][5]=(7.0/6.0);
999
t[4][3][4][0]=(1.0/3.0);
1000
t[4][3][4][1]=(1.0/3.0);
1001
t[4][3][4][2]=(5.0/6.0);
1002
t[4][3][4][3]=(1.0/3.0);
1003
t[4][3][4][4]=(7.0/12.0);
1007
t[4][3][5][2]=(1.0/2.0);
1009
t[4][3][5][4]=(1.0/4.0);
1010
t[4][3][5][5]=(2.0/3.0);
1015
t[4][4][0][4]=(7.0/12.0);
1016
t[4][4][0][5]=(7.0/6.0);
1021
t[4][4][1][4]=(19.0/12.0);
1022
t[4][4][1][5]=(13.0/6.0);
1027
t[4][4][2][4]=(7.0/12.0);
1028
t[4][4][2][5]=(7.0/6.0);
1029
t[4][4][3][0]=(7.0/6.0);
1030
t[4][4][3][1]=(7.0/6.0);
1031
t[4][4][3][2]=(13.0/6.0);
1032
t[4][4][3][3]=(7.0/6.0);
1033
t[4][4][3][4]=(7.0/4.0);
1034
t[4][4][3][5]=(7.0/3.0);
1035
t[4][4][4][0]=(7.0/12.0);
1036
t[4][4][4][1]=(7.0/12.0);
1037
t[4][4][4][2]=(19.0/12.0);
1038
t[4][4][4][3]=(7.0/12.0);
1039
t[4][4][4][4]=(7.0/6.0);
1040
t[4][4][4][5]=(7.0/4.0);
1045
t[4][4][5][4]=(7.0/12.0);
1046
t[4][4][5][5]=(7.0/6.0);
1049
t[4][5][0][2]=(3.0/2.0);
1051
t[4][5][0][4]=(3.0/4.0);
1053
t[4][5][1][0]=(3.0/2.0);
1054
t[4][5][1][1]=(3.0/2.0);
1056
t[4][5][1][3]=(3.0/2.0);
1057
t[4][5][1][4]=(9.0/4.0);
1058
t[4][5][1][5]=(7.0/2.0);
1061
t[4][5][2][2]=(3.0/2.0);
1063
t[4][5][2][4]=(3.0/4.0);
1065
t[4][5][3][0]=(3.0/2.0);
1066
t[4][5][3][1]=(3.0/2.0);
1068
t[4][5][3][3]=(3.0/2.0);
1069
t[4][5][3][4]=(9.0/4.0);
1070
t[4][5][3][5]=(7.0/2.0);
1073
t[4][5][4][2]=(5.0/2.0);
1075
t[4][5][4][4]=(7.0/4.0);
1079
t[4][5][5][2]=(3.0/2.0);
1081
t[4][5][5][4]=(3.0/4.0);
1159
t[5][2][0][4]=(1.0/2.0);
1165
t[5][2][1][4]=(3.0/2.0);
1171
t[5][2][2][4]=(1.0/2.0);
1177
t[5][2][3][4]=(3.0/2.0);
1179
t[5][2][4][0]=(1.0/2.0);
1180
t[5][2][4][1]=(1.0/2.0);
1181
t[5][2][4][2]=(3.0/2.0);
1182
t[5][2][4][3]=(1.0/2.0);
1184
t[5][2][4][5]=(3.0/2.0);
1189
t[5][2][5][4]=(1.0/2.0);
1229
t[5][4][0][2]=(1.0/2.0);
1231
t[5][4][0][4]=(1.0/3.0);
1232
t[5][4][0][5]=(1.0/2.0);
1233
t[5][4][1][0]=(1.0/2.0);
1234
t[5][4][1][1]=(1.0/2.0);
1236
t[5][4][1][3]=(1.0/2.0);
1237
t[5][4][1][4]=(5.0/6.0);
1241
t[5][4][2][2]=(1.0/2.0);
1243
t[5][4][2][4]=(1.0/3.0);
1244
t[5][4][2][5]=(1.0/2.0);
1245
t[5][4][3][0]=(2.0/3.0);
1246
t[5][4][3][1]=(2.0/3.0);
1247
t[5][4][3][2]=(7.0/6.0);
1248
t[5][4][3][3]=(2.0/3.0);
1250
t[5][4][3][5]=(7.0/6.0);
1251
t[5][4][4][0]=(1.0/4.0);
1252
t[5][4][4][1]=(1.0/4.0);
1253
t[5][4][4][2]=(3.0/4.0);
1254
t[5][4][4][3]=(1.0/4.0);
1255
t[5][4][4][4]=(7.0/12.0);
1256
t[5][4][4][5]=(3.0/4.0);
1259
t[5][4][5][2]=(1.0/2.0);
1261
t[5][4][5][4]=(1.0/3.0);
1262
t[5][4][5][5]=(1.0/2.0);
1267
t[5][5][0][4]=(1.0/2.0);
1268
t[5][5][0][5]=(4.0/3.0);
1273
t[5][5][1][4]=(3.0/2.0);
1274
t[5][5][1][5]=(7.0/3.0);
1279
t[5][5][2][4]=(1.0/2.0);
1280
t[5][5][2][5]=(4.0/3.0);
1285
t[5][5][3][4]=(3.0/2.0);
1286
t[5][5][3][5]=(7.0/3.0);
1287
t[5][5][4][0]=(2.0/3.0);
1288
t[5][5][4][1]=(2.0/3.0);
1289
t[5][5][4][2]=(5.0/3.0);
1290
t[5][5][4][3]=(2.0/3.0);
1291
t[5][5][4][4]=(7.0/6.0);
1297
t[5][5][5][4]=(1.0/2.0);
1298
t[5][5][5][5]=(4.0/3.0);