: mult b := 1 6 0.00156655 2 2 0.00528672 3 6 0.000935887 4 6 0 5 6 0.00116402 6 6 0 7 6 0.00250243 8 1 0 9 3 0.000181153 10 3 0.000751387 11 6 0.00125122 12 6 0.00483046 13 3 0 14 3 0.00241523 15 6 0.00094684 16 6 0.000935887 17 6 0.00232803 18 6 0.000935887 19 6 0 ; sum{o in Orientationclasses} b[o]*mult[o]*2^n = 1 : mult b := 1 6.000000000000 0.001566545062 2 2.000000000000 0.005286724480 3 6.000000000000 0.000935886539 4 6.000000000000 0.000000000000 5 6.000000000000 0.001164016489 6 6.000000000000 0.000000000000 7 6.000000000000 0.002502431601 8 1.000000000000 0.000000000000 9 3.000000000000 0.000181153071 10 3.000000000000 0.000751386670 11 6.000000000000 0.001251215801 12 6.000000000000 0.004830464579 13 3.000000000000 0.000000000000 14 3.000000000000 0.002415232290 15 6.000000000000 0.000946839697 16 6.000000000000 0.000935886539 17 6.000000000000 0.002328032978 18 6.000000000000 0.000935886539 19 6.000000000000 0.000000000000 ; 0.001566545062267, 0.005286724479871, 0.000935886538909, 0.000000000000000, 0.001164016489128, 0.000000000000000, 0.002502431601177, 0.000000000000000, 0.000181153070633, 0.000751386669860, 0.001251215800588, 0.004830464579433, 0.000000000000000, 0.002415232289716, 0.000946839697362, 0.000935886538909, 0.002328032978256, 0.000935886538909, 0.000000000000000,