# Automatically generated by makepoly. polytope bilbiro_rhombochoron { dimension 4 vertices { <-3.61803398874989490253e+00, -9.34172358962715665420e-01, -3.56822089773089934361e-01, 0> <-3.61803398874989490253e+00, 9.34172358962715665420e-01, 3.56822089773089934361e-01, 0> <-2.61803398874989490253e+00, -2.66622316653159296962e+00, -3.56822089773089934361e-01, 0> <-2.61803398874989490253e+00, -1.51152262815234150750e+00, -5.77350269189625731059e-01, -1.61803398874989490253e+00> <-2.61803398874989490253e+00, -1.51152262815234150750e+00, -5.77350269189625731059e-01, 1.61803398874989490253e+00> <-2.61803398874989490253e+00, -3.56822089773089934361e-01, 9.34172358962715665420e-01, -1> <-2.61803398874989490253e+00, 3.56822089773089934361e-01, -9.34172358962715665420e-01, -1> <-2.61803398874989490253e+00, 1.51152262815234150750e+00, 5.77350269189625731059e-01, -1.61803398874989490253e+00> <-2.61803398874989490253e+00, 1.51152262815234150750e+00, 5.77350269189625731059e-01, 1.61803398874989490253e+00> <-2.61803398874989490253e+00, 2.66622316653159296962e+00, 3.56822089773089934361e-01, 0> <-2, 0, 0, -2.61803398874989490253e+00> <-2, 0, 0, 2.61803398874989490253e+00> <-1.61803398874989490253e+00, -2.08887289734196723856e+00, 9.34172358962715665420e-01, -1> <-1.61803398874989490253e+00, 2.08887289734196723856e+00, -9.34172358962715665420e-01, -1> <-1, -3.60039552549430874606e+00, 3.56822089773089934361e-01, 0> <-1, -2.44569498711505728394e+00, -9.34172358962715665420e-01, -1> <-1, -1.73205080756887719318e+00, 0, -2.61803398874989490253e+00> <-1, -1.73205080756887719318e+00, 0, 2.61803398874989490253e+00> <-1, -5.77350269189625731059e-01, -1.29099444873580559978e+00, 1.61803398874989490253e+00> <-1, -5.77350269189625731059e-01, 1.51152262815234150750e+00, 0> <-1, 5.77350269189625731059e-01, -1.51152262815234150750e+00, 0> <-1, 5.77350269189625731059e-01, 1.29099444873580559978e+00, 1.61803398874989490253e+00> <-1, 1.73205080756887719318e+00, 0, -2.61803398874989490253e+00> <-1, 1.73205080756887719318e+00, 0, 2.61803398874989490253e+00> <-1, 2.44569498711505728394e+00, 9.34172358962715665420e-01, -1> <-1, 3.60039552549430874606e+00, -3.56822089773089934361e-01, 0> <0, -3.02304525630468301500e+00, 5.77350269189625731059e-01, -1.61803398874989490253e+00> <0, -3.02304525630468301500e+00, 5.77350269189625731059e-01, 1.61803398874989490253e+00> <0, -1.15470053837925146212e+00, -1.51152262815234150750e+00, 0> <0, -1.15470053837925146212e+00, 1.29099444873580559978e+00, 1.61803398874989490253e+00> <0, 1.15470053837925146212e+00, -1.29099444873580559978e+00, 1.61803398874989490253e+00> <0, 1.15470053837925146212e+00, 1.51152262815234150750e+00, 0> <0, 3.02304525630468301500e+00, -5.77350269189625731059e-01, -1.61803398874989490253e+00> <0, 3.02304525630468301500e+00, -5.77350269189625731059e-01, 1.61803398874989490253e+00> <1, -3.60039552549430874606e+00, 3.56822089773089934361e-01, 0> <1, -2.44569498711505728394e+00, -9.34172358962715665420e-01, -1> <1, -1.73205080756887719318e+00, 0, -2.61803398874989490253e+00> <1, -1.73205080756887719318e+00, 0, 2.61803398874989490253e+00> <1, -5.77350269189625731059e-01, -1.29099444873580559978e+00, 1.61803398874989490253e+00> <1, -5.77350269189625731059e-01, 1.51152262815234150750e+00, 0> <1, 5.77350269189625731059e-01, -1.51152262815234150750e+00, 0> <1, 5.77350269189625731059e-01, 1.29099444873580559978e+00, 1.61803398874989490253e+00> <1, 1.73205080756887719318e+00, 0, -2.61803398874989490253e+00> <1, 1.73205080756887719318e+00, 0, 2.61803398874989490253e+00> <1, 2.44569498711505728394e+00, 9.34172358962715665420e-01, -1> <1, 3.60039552549430874606e+00, -3.56822089773089934361e-01, 0> <1.61803398874989490253e+00, -2.08887289734196723856e+00, 9.34172358962715665420e-01, -1> <1.61803398874989490253e+00, 2.08887289734196723856e+00, -9.34172358962715665420e-01, -1> <2, 0, 0, -2.61803398874989490253e+00> <2, 0, 0, 2.61803398874989490253e+00> <2.61803398874989490253e+00, -2.66622316653159296962e+00, -3.56822089773089934361e-01, 0> <2.61803398874989490253e+00, -1.51152262815234150750e+00, -5.77350269189625731059e-01, -1.61803398874989490253e+00> <2.61803398874989490253e+00, -1.51152262815234150750e+00, -5.77350269189625731059e-01, 1.61803398874989490253e+00> <2.61803398874989490253e+00, -3.56822089773089934361e-01, 9.34172358962715665420e-01, -1> <2.61803398874989490253e+00, 3.56822089773089934361e-01, -9.34172358962715665420e-01, -1> <2.61803398874989490253e+00, 1.51152262815234150750e+00, 5.77350269189625731059e-01, -1.61803398874989490253e+00> <2.61803398874989490253e+00, 1.51152262815234150750e+00, 5.77350269189625731059e-01, 1.61803398874989490253e+00> <2.61803398874989490253e+00, 2.66622316653159296962e+00, 3.56822089773089934361e-01, 0> <3.61803398874989490253e+00, -9.34172358962715665420e-01, -3.56822089773089934361e-01, 0> <3.61803398874989490253e+00, 9.34172358962715665420e-01, 3.56822089773089934361e-01, 0> } lattice { 1, { 0,1 } 2, { 0,1,5 } 2, { 0,1,6 } 2, { 0,1,3,7,10 } 3, { 0,1,3,5,7,10 }, <-7.33708496134517051956e+00,-1,2.61803398874989534661e+00,-4.53456788445702230206e+00,-2.65458227684925311962e+01> 3, { 0,1,3,6,7,10 }, <-7.33708496134517584863e+00,1,-2.61803398874989445844e+00,-4.53456788445702674295e+00,-2.65458227684925596179e+01> 2, { 0,1,4,8,11 } 3, { 0,1,2,4,5,8,11,12,14,17,19,21,27,29 }, <-1.73205080756887719318e+00,-1,2.61803398874989490253e+00,1.07046626931926924797e+00,-6.26661869202590082750e+00> 3, { 0,1,4,6,8,9,11,13,18,20,23,25,30,33 }, <-1.73205080756887674909e+00,1,-2.61803398874989445844e+00,1.07046626931926969206e+00,-6.26661869202589993932e+00> 1, { 0,2 } 2, { 0,2,3 } 3, { 0,2,3,5,12 }, <-2.00000000000000088818e+00,-1.15470053837925212825e+00,1.29099444873580626592e+00,-1,-7.85410196624968826029e+00> 3, { 0,2,3,4,6,15,18,20,28 }, <-1.73205080756887741522e+00,-1,-5.23606797749978802869e+00,-3.84592537276712615367e-16,-9.06913576891404815683e+00> 2, { 0,2,4 } 2, { 0,2,5,12 } 1, { 0,3 } 2, { 0,3,5 } 2, { 0,3,6 } 1, { 0,4 } 2, { 0,4,6,18,20 } 1, { 0,5 } 1, { 0,6 } 1, { 1,5 } 2, { 1,5,7 } 3, { 1,5,7,8,9,19,21,24,31 }, <-1.73205080756887963567e+00,1,5.23606797749980046319e+00,3.91736739787049391476e-16,-9.06913576891405881497e+00> 2, { 1,5,8,19,21 } 1, { 1,6 } 2, { 1,6,7 } 3, { 1,6,7,9,13 }, <-2.00000000000000088818e+00,1.15470053837925346052e+00,-1.29099444873580604387e+00,-1,-7.85410196624969181300e+00> 2, { 1,6,9,13 } 1, { 1,7 } 2, { 1,7,9 } 1, { 1,8 } 2, { 1,8,9 } 1, { 1,9 } 1, { 2,3 } 2, { 2,3,12 } 3, { 2,3,12,14,16,26 }, <-1.73205080756887608295e+00,-2.23606797749978802869e+00,1,-1.73205080756887497273e+00,-1.01396020382333080789e+01> 2, { 2,3,15 } 2, { 2,3,14,16,26 } 3, { 2,3,14,15,16,26 }, <-1.07046626931927457704e+00,-2.61803398874990556067e+00,-1,-1.73205080756888407656e+00,-1.01396020382333578169e+01> 1, { 2,4 } 2, { 2,4,14,17,27 } 3, { 2,4,14,15,17,18,27,28,34,35,37,38,50,52 }, <2.96059473233375307531e-16,-1.86834471792543288515e+00,-2.44569498711505461941e+00,1,-5.85410196624968648393e+00> 2, { 2,4,15,18,28 } 1, { 2,12 } 2, { 2,12,14 } 1, { 2,14 } 2, { 2,14,15 } 1, { 2,15 } 1, { 3,5 } 2, { 3,5,10 } 3, { 3,5,10,12,16 }, <-1.73205080756887763727e+00,-1,1.47213595499958027624e+00,-1.73205080756887785931e+00,-7.99866949959478112930e+00> 2, { 3,5,12 } 1, { 3,6 } 2, { 3,6,10 } 3, { 3,6,10,13,15,16,20,22,28,32,35,36,40,42,47,48,51,54 }, <2.51604579837081438158e-15,-4.89231127460991674351e-16,-1.73205080756887808136e+00,-1,-2.61803398874989090572e+00> 2, { 3,6,15,20,28 } 1, { 3,10 } 2, { 3,10,16 } 1, { 3,12 } 2, { 3,12,16 } 1, { 3,15 } 2, { 3,15,16 } 1, { 3,16 } 1, { 4,11 } 2, { 4,11,17 } 3, { 4,11,17,18 }, <-1.73205080756887519478e+00,-1,-5.23606797749979158141e+00,5.60503415377629465866e+00,-1.81382715378280963137e+01> 2, { 4,11,18 } 1, { 4,17 } 2, { 4,17,18 } 1, { 4,18 } 1, { 5,7 } 2, { 5,7,10 } 3, { 5,7,10,12,16,19,22,24,26,31,36,39,42,44,46,48,53,55 }, <-3.07516708689765654373e-15,-8.38681932790269948544e-16,1.73205080756887652704e+00,-1,-2.61803398874990111977e+00> 2, { 5,7,19,24,31 } 1, { 5,10 } 2, { 5,10,12,16 } 1, { 5,12 } 2, { 5,12,19 } 1, { 5,19 } 1, { 6,7 } 2, { 6,7,10 } 3, { 6,7,10,13,22 }, <-1.73205080756887319637e+00,1,-1.47213595499957827784e+00,-1.73205080756887697113e+00,-7.99866949959477047116e+00> 2, { 6,7,13 } 1, { 6,10 } 2, { 6,10,13,22 } 1, { 6,13 } 2, { 6,13,20 } 1, { 6,20 } 1, { 7,9 } 2, { 7,9,13 } 3, { 7,9,13,22,25,32 }, <-1.73205080756887719318e+00,2.23606797749979735457e+00,-1,-1.73205080756888052385e+00,-1.01396020382333400534e+01> 2, { 7,9,24 } 2, { 7,9,22,25,32 } 3, { 7,9,22,24,25,32 }, <-1.07046626931926924797e+00,2.61803398874990111977e+00,1,-1.73205080756887985771e+00,-1.01396020382333347243e+01> 1, { 7,10 } 2, { 7,10,22 } 1, { 7,13 } 2, { 7,13,22 } 1, { 7,22 } 2, { 7,22,24 } 1, { 7,24 } 1, { 8,9 } 2, { 8,9,21,24,31 } 3, { 8,9,21,23,24,25,31,33,41,43,44,45,56,57 }, <-1.82974817149615017729e-16,1.86834471792542933244e+00,2.44569498711505906030e+00,1,-5.85410196624968115486e+00> 2, { 8,9,23,25,33 } 1, { 8,11 } 2, { 8,11,21 } 3, { 8,11,21,23 }, <-1.73205080756887586091e+00,1,5.23606797749979069323e+00,5.60503415377629377048e+00,-1.81382715378280963137e+01> 2, { 8,11,23 } 1, { 8,21 } 2, { 8,21,23 } 1, { 8,23 } 1, { 9,13 } 2, { 9,13,25 } 1, { 9,24 } 2, { 9,24,25 } 1, { 9,25 } 1, { 10,16 } 2, { 10,16,22,36,42,48 } 1, { 10,22 } 1, { 11,17 } 2, { 11,17,18 } 3, { 11,17,18,23,30,37,38,43,49 }, <5.64915446271094878826e-16,8.07022066101564006958e-17,-1,1.29099444873580537774e+00,-3.37986734607777172812e+00> 2, { 11,17,21,29 } 3, { 11,17,21,23,29,37,41,43,49 }, <5.28202799681264866013e-16,2.11281119872505951335e-16,1,1.29099444873580559978e+00,-3.37986734607777217221e+00> 2, { 11,17,23,37,43,49 } 1, { 11,18 } 2, { 11,18,23,30 } 1, { 11,21 } 2, { 11,21,23 } 1, { 11,23 } 1, { 12,14 } 2, { 12,14,26 } 2, { 12,14,19,27,29 } 3, { 12,14,19,26,27,29,34,39,46 }, <-1.79476517395799506467e-15,-1,2.61803398874989357026e+00,3.84592537276713207012e-16,-4.53456788445702230206e+00> 1, { 12,16 } 2, { 12,16,26 } 1, { 12,19 } 2, { 12,19,26,39,46 } 1, { 12,26 } 1, { 13,20 } 2, { 13,20,25,30,33 } 3, { 13,20,25,30,32,33,40,45,47 }, <1.02558009940456638267e-15,1,-2.61803398874989623479e+00,1.02558009940456638267e-15,-4.53456788445702407842e+00> 2, { 13,20,32,40,47 } 1, { 13,22 } 2, { 13,22,32 } 1, { 13,25 } 2, { 13,25,32 } 1, { 13,32 } 1, { 14,15 } 2, { 14,15,26 } 3, { 14,15,26,34,35 }, <-2.30755522366026297182e-15,-2.30940107675850292424e+00,-1.29099444873580138093e+00,-1,-7.85410196624968293122e+00> 2, { 14,15,34,35 } 1, { 14,26 } 2, { 14,26,34 } 1, { 14,27 } 2, { 14,27,34 } 1, { 14,34 } 1, { 15,16 } 2, { 15,16,26 } 3, { 15,16,26,35,36 }, <-2.15280170783444402360e-16,-1.35857017363628895801e+00,-1,-1.17655628319286242878e+00,-5.43337690546188323282e+00> 2, { 15,16,35,36 } 1, { 15,26 } 2, { 15,26,35 } 1, { 15,28 } 2, { 15,28,35 } 1, { 15,35 } 1, { 16,26 } 2, { 16,26,36 } 1, { 16,36 } 1, { 17,18 } 2, { 17,18,37,38 } 1, { 17,27 } 2, { 17,27,29 } 3, { 17,27,29,37 }, <4.44089209850062616169e-16,-1,2.61803398874989490253e+00,2.80251707688814688524e+00,-9.06913576891404815683e+00> 2, { 17,27,37 } 1, { 17,29 } 2, { 17,29,37 } 1, { 17,37 } 1, { 18,20 } 2, { 18,20,28 } 3, { 18,20,28,30,38,40 }, <2.63468859710644604937e-15,8.38310008170232896641e-16,-7.33708496134516430232e+00,1,-1.10901699437494674072e+01> 2, { 18,20,30 } 1, { 18,28 } 2, { 18,28,38 } 1, { 18,30 } 2, { 18,30,38 } 1, { 18,38 } 1, { 19,21 } 2, { 19,21,29 } 3, { 19,21,29,31,39,41 }, <-9.58068580765980295532e-15,-1.43710287114897048274e-15,7.33708496134518028953e+00,1,-1.10901699437494869471e+01> 2, { 19,21,31 } 1, { 19,29 } 2, { 19,29,39 } 1, { 19,31 } 2, { 19,31,39 } 1, { 19,39 } 1, { 20,28 } 2, { 20,28,40 } 1, { 20,30 } 2, { 20,30,40 } 1, { 20,40 } 1, { 21,23 } 2, { 21,23,41,43 } 1, { 21,29 } 2, { 21,29,41 } 1, { 21,31 } 2, { 21,31,41 } 1, { 21,41 } 1, { 22,24 } 2, { 22,24,32 } 3, { 22,24,32,42,44 }, <4.30560341566891467125e-16,1.35857017363629117845e+00,1,-1.17655628319286220673e+00,-5.43337690546188856189e+00> 2, { 22,24,42,44 } 1, { 22,32 } 2, { 22,32,42 } 1, { 22,42 } 1, { 23,30 } 2, { 23,30,33 } 3, { 23,30,33,43 }, <-6.40987562127854802679e-16,1,-2.61803398874989534661e+00,2.80251707688814599706e+00,-9.06913576891404638047e+00> 2, { 23,30,43 } 1, { 23,33 } 2, { 23,33,43 } 1, { 23,43 } 1, { 24,25 } 2, { 24,25,32 } 3, { 24,25,32,44,45 }, <-7.69185074553424047442e-16,2.30940107675850070379e+00,1.29099444873580226911e+00,-1,-7.85410196624967582579e+00> 2, { 24,25,44,45 } 1, { 24,31 } 2, { 24,31,44 } 1, { 24,32 } 2, { 24,32,44 } 1, { 24,44 } 1, { 25,32 } 2, { 25,32,45 } 1, { 25,33 } 2, { 25,33,45 } 1, { 25,45 } 1, { 26,34 } 2, { 26,34,35 } 3, { 26,34,35,36,50,51 }, <1.07046626931927413295e+00,-2.61803398874990644885e+00,-1,-1.73205080756888563087e+00,-1.01396020382333631460e+01> 2, { 26,34,46 } 2, { 26,34,36,50,51 } 3, { 26,34,36,46,50,51 }, <1.73205080756887608295e+00,-2.23606797749978980505e+00,1,-1.73205080756887763727e+00,-1.01396020382333169607e+01> 1, { 26,35 } 2, { 26,35,36 } 1, { 26,36 } 2, { 26,36,46 } 1, { 26,46 } 1, { 27,29 } 2, { 27,29,37 } 2, { 27,29,34,39,46 } 3, { 27,29,34,37,39,41,46,49,50,52,53,56,58,59 }, <1.73205080756887475069e+00,-1,2.61803398874989357026e+00,1.07046626931926969206e+00,-6.26661869202589905115e+00> 1, { 27,34 } 2, { 27,34,37,50,52 } 1, { 27,37 } 1, { 28,35 } 2, { 28,35,38,50,52 } 3, { 28,35,38,40,50,51,52,54,58 }, <1.73205080756887763727e+00,-1,-5.23606797749978891687e+00,-2.45486477590279820121e-15,-9.06913576891404460412e+00> 2, { 28,35,40,51,54 } 1, { 28,38 } 2, { 28,38,40 } 1, { 28,40 } 1, { 29,37 } 2, { 29,37,41,49 } 1, { 29,39 } 2, { 29,39,41 } 1, { 29,41 } 1, { 30,33 } 2, { 30,33,43 } 2, { 30,33,40,45,47 } 3, { 30,33,38,40,43,45,47,49,52,54,56,57,58,59 }, <1.73205080756887785931e+00,1,-2.61803398874989579070e+00,1.07046626931927013615e+00,-6.26661869202590438022e+00> 1, { 30,38 } 2, { 30,38,40 } 2, { 30,38,43,49 } 1, { 30,40 } 1, { 30,43 } 1, { 31,39 } 2, { 31,39,41 } 3, { 31,39,41,44,53,55,56,57,59 }, <1.73205080756887208615e+00,1,5.23606797749977648238e+00,-6.24216374148754077443e-16,-9.06913576891403216962e+00> 2, { 31,39,44,53,55 } 1, { 31,41 } 2, { 31,41,44,56,57 } 1, { 31,44 } 1, { 32,42 } 2, { 32,42,44 } 3, { 32,42,44,45,55,57 }, <1.07046626931926858184e+00,2.61803398874989667888e+00,1,-1.73205080756887785931e+00,-1.01396020382333222898e+01> 2, { 32,42,47 } 2, { 32,42,45,55,57 } 3, { 32,42,45,47,55,57 }, <1.73205080756888163407e+00,2.23606797749979557821e+00,-1,-1.73205080756888230020e+00,-1.01396020382333418297e+01> 1, { 32,44 } 2, { 32,44,45 } 1, { 32,45 } 2, { 32,45,47 } 1, { 32,47 } 1, { 33,43 } 2, { 33,43,45,56,57 } 1, { 33,45 } 1, { 34,35 } 2, { 34,35,50 } 1, { 34,46 } 2, { 34,46,50 } 1, { 34,50 } 1, { 35,36 } 2, { 35,36,51 } 1, { 35,50 } 2, { 35,50,51 } 1, { 35,51 } 1, { 36,46 } 2, { 36,46,51 } 2, { 36,46,48,53 } 3, { 36,46,48,51,53 }, <1.73205080756886697912e+00,-1,1.47213595499955962609e+00,-1.73205080756886387050e+00,-7.99866949959474204945e+00> 1, { 36,48 } 2, { 36,48,51 } 1, { 36,51 } 1, { 37,38 } 2, { 37,38,49 } 3, { 37,38,49,52 }, <1.73205080756887874749e+00,-1,-5.23606797749979602230e+00,5.60503415377630620497e+00,-1.81382715378281247354e+01> 2, { 37,38,52 } 1, { 37,49 } 2, { 37,49,52 } 1, { 37,52 } 1, { 38,40 } 2, { 38,40,52,54,58 } 1, { 38,49 } 2, { 38,49,52 } 1, { 38,52 } 1, { 39,41 } 2, { 39,41,53,56,59 } 1, { 39,46 } 2, { 39,46,53 } 1, { 39,53 } 1, { 40,47 } 2, { 40,47,54 } 1, { 40,54 } 1, { 41,43 } 2, { 41,43,49 } 3, { 41,43,49,56 }, <1.73205080756887808136e+00,1,5.23606797749980668044e+00,5.60503415377631242222e+00,-1.81382715378281389462e+01> 2, { 41,43,56 } 1, { 41,49 } 2, { 41,49,56 } 1, { 41,56 } 1, { 42,44 } 2, { 42,44,55 } 1, { 42,47 } 2, { 42,47,48,54 } 3, { 42,47,48,54,55 }, <1.73205080756888052385e+00,1,-1.47213595499958915802e+00,-1.73205080756888296634e+00,-7.99866949959479089927e+00> 2, { 42,47,55 } 1, { 42,48 } 2, { 42,48,55 } 1, { 42,55 } 1, { 43,49 } 2, { 43,49,56 } 1, { 43,56 } 1, { 44,45 } 2, { 44,45,57 } 1, { 44,55 } 2, { 44,55,57 } 1, { 44,57 } 1, { 45,47 } 2, { 45,47,57 } 1, { 45,57 } 1, { 46,50 } 2, { 46,50,51 } 3, { 46,50,51,53,58 }, <1.99999999999999844569e+00,-1.15470053837925101803e+00,1.29099444873580448956e+00,-1,-7.85410196624968026669e+00> 2, { 46,50,53,58 } 1, { 46,51 } 2, { 46,51,53 } 1, { 46,53 } 1, { 47,54 } 2, { 47,54,55 } 3, { 47,54,55,57,59 }, <2.00000000000000133227e+00,1.15470053837925101803e+00,-1.29099444873580937454e+00,-1,-7.85410196624968470758e+00> 2, { 47,54,57,59 } 1, { 47,55 } 2, { 47,55,57 } 1, { 47,57 } 1, { 48,51 } 2, { 48,51,53 } 3, { 48,51,53,55,58,59 }, <7.33708496134534282618e+00,-1,2.61803398874988335621e+00,-4.53456788445709602087e+00,-2.65458227684930960777e+01> 2, { 48,51,54 } 3, { 48,51,54,55,58,59 }, <7.33708496134527710097e+00,1,-2.61803398874993220602e+00,-4.53456788445708891544e+00,-2.65458227684928935730e+01> 2, { 48,51,55,58,59 } 1, { 48,53 } 2, { 48,53,55 } 1, { 48,54 } 2, { 48,54,55 } 1, { 48,55 } 1, { 49,52 } 2, { 49,52,56,58,59 } 1, { 49,56 } 1, { 50,51 } 2, { 50,51,58 } 1, { 50,52 } 2, { 50,52,58 } 1, { 50,58 } 1, { 51,53 } 2, { 51,53,58 } 1, { 51,54 } 2, { 51,54,58 } 1, { 51,58 } 1, { 52,58 } 1, { 53,55 } 2, { 53,55,59 } 1, { 53,58 } 2, { 53,58,59 } 1, { 53,59 } 1, { 54,55 } 2, { 54,55,59 } 1, { 54,58 } 2, { 54,58,59 } 1, { 54,59 } 1, { 55,57 } 2, { 55,57,59 } 1, { 55,59 } 1, { 56,57 } 2, { 56,57,59 } 1, { 56,59 } 1, { 57,59 } 1, { 58,59 } } }