?? proposal distributions ? a1 user_dist_prop(3.14, 4.13) ? a2 user_dist_prop(3.14, 4.13) ? c2 user_dist_prop(3.14, 4.13) ? a4 user_dist_prop(3.14, 4.13) ? a5 user_dist_prop(3.14, 4.13) ? c5 user_dist_prop(3.14, 4.13) ? a7 user_dist_prop(3.14, 4.13) ? a8 user_dist_prop(3.14, 4.13) ? c8 user_dist_prop(3.14, 4.13) ? a10 user_dist_prop(3.14, 4.13) ? c10 user_dist_prop(3.14, 4.13) ? a12 user_dist_prop(3.14, 4.13) ? c12 user_dist_prop(3.14, 4.13) ? a14 user_dist_prop(3.14, 4.13) ? c14 user_dist_prop(3.14, 4.13) ? a16 user_dist_prop(3.14, 4.13) ? c16 user_dist_prop(3.14, 4.13) ? a18 user_dist_prop(3.14, 4.13) ? c18 user_dist_prop(3.14, 4.13) ? a20 user_dist_prop(3.14, 4.13) ? c20 user_dist_prop(3.14, 4.13) ? a22 user_dist_prop(3.14, 4.13) ? c22 user_dist_prop(3.14, 4.13) ? a24 user_dist_prop(3.14, 4.13) ? c24 user_dist_prop(3.14, 4.13) ? a26 user_dist_prop(3.14, 4.13) ? c26 user_dist_prop(3.14, 4.13)